# This b-file was computed by Antti Karttunen, 2024-05-07 # 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: # # default(parisizemax,2^31); # v372555 = readvec("b372555_to.txt"); \\ Precomputed # A372555(n) = v372555[1+n]; # A130249(n) = (#binary(3*n+1)-1); # A001045(n) = (2^n - (-1)^n) / 3; # A265745(n) = { my(s=0); while(n,s++; n -= A001045(A130249(n))); (s); }; # isA372557(k) = (A372555(k)