Merge the dynamic fib sequence with the newer versions of the constraints for the rest. Add the sum of sides constraint to the statically coded fib sequence version however with the new constraints it claims to be unsolvable with the domain only going to 55