construct/mc langford

construct/mc langford: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A Langford sequence L(2,15) is a sequence seq 0..29 of length 30 that contains exactly two copies of each integer 1..15, such that the two copies of every value v are exactly v+1 positions apart (their indices…