construct/mc hadamard

construct/mc hadamard: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). Find two sequences x 0..142 and y 0..142 with entries in {-1, +1} (a Legendre pair of length 143) such that (a) sum(x) = 1 and sum(y) = 1, and (b) for every k = 1..71: sum {i=0}^{142} x i x (i+k) mod 143 + sum…