User blog comment:Fejfo/Pythagorian Triple Ramsey Function/@comment-31966679-20180624003128/@comment-25337554-20180624102554

Just for curious: How did you find the length?