In case anyone's interested, here's the working-out for my lowest-entry-not-in-an-arithmetic-sequence-with-two-other-entries #BigMathsJam competition: gist.github.com/christianp/18d…