# This b-file was computed by Antti Karttunen, 2024-05-05
# in GP/PARI CALCULATOR Version 2.9.4 (released) amd64 running linux (x86-64/GMP-6.1.2 kernel) 64-bit version, compiled: Dec 19 2017, gcc version 7.3.0 (Ubuntu 7.3.0-1ubuntu1), threading engine: pthread
# with the following program:
#
# A000523(n) = logint(n,2);
# A371094(n) = { my(m=1+3*n, e=valuation(m,2)); ((m*(2^e)) + (((4^e)-1)/3)); };
# A372444(n) = { my(x=27); while(n, x=A371094(x); n--); (x); };
# A086893(n) = (if(n%2, 2^(n+1), 2^(n+1)+2^(n-1))\3);
# A372454(n) = { my(x=A372444(n)); (x - A086893(1+A000523(x))); };
# for(n=0,10,write("b372454.txt", n, " ", A372454(n)));
0 6
1 -48
2 2560
3 -1572864
4 -3848290697216
5 6649092007880460460883968
6 -18999521285301737936647902825311679255527123058688
7 76895533293152762966220781422103876125697362804839499718093497881599910128103059800826635129716736
8 437994299291730740989552474147227967189749936695861753335602481718330416052033029104567629886467654378749661719065063101826115653252042047832255486693332562072191488738585435207955922455673962496
9 -1619973830235124388303499806473565185914388338262568069538309199115620787272039183665009044626752794722353239368755930300713269319419050666022160183360463622107614909877413368378904442008126156464015187889406823735477697460661625638684979415485046337887556639300911560640347464626477928355088562634157729669892474649474415816763558086950307451278810861772698018722444849156574086806345089024
10 130852281971301587289380894248898493036398750415641931507540881378444967846390020770988814046975421526941639090367289036112900812291496144457317184315215343400722550461219367918898983604852768284775729980768930183040763648840726773160404229405667704875920997295900449959153327431415334843088905693051336597236270368316411956648237554481819791816967850804220666411564063969249653418953532152780677593772187121166363106834875689456374998009023659958436785748179112025769973836353791757476664457493586188607059554395446575491984115786826504403253336609402405989103500502543569102540419209235705574076867650456130868388269246979785948479825382406830098535346524904118287285452744923972273830440497550671639446559782127941262211731805301471755070397014089652090073579597786648766578688