amb_space 1
inhom_congruences 3
2 1 5
1 -1 7
-1 5 11