4 1
0 1 -1
1 ! p0
3 t
-1
1 0 0 -1
2 t
-1
2 0 0 -1
2 t
-1
3 0 -1
1 ! p0
3 t
-1
