amb_space 5
cone 8
0 0 0 0 1
1 0 0 0 1
0 1 0 0 1
1 1 2 0 1
0 0 0 1 1
1 0 0 1 1
0 1 0 1 1
0 0 1 1 1
subspace 4
0 0 0 0 1
1 0 0 0 1
0 1 0 0 1
1 1 2 0 1