amb_space 2
cone 2
1 0
0 1
lattice 1
1 0
congruences 1
1 1 2