amb_space 9 equations 2 1 6 -7 -18 25 -36 6 8 -9 7 -13 15 6 -9 -8 11 12 -2 total_degree