[2,0][3/2,0]
1
[1,?]
2
[1,1][2,0]
3
[1,?]*
4
(0,0,[])
5
[1,?]*
7
[1,1](-1,1,[1])
8
[1,?]*
6
(0,0,[])
9
[1,?]*
10
[1,?]
11
[1,?]*
12
(0,0,[])
13
(0,0,[])
15
[1,?]*
14