0
1
2
3
4
5
1
x1
0
2
3
4
5
1
1
0
1
2
3
4
5
0
1
2
3
4
5
x1
0
1
2
3
4
5
1
x1
1
2
3
4
5
1
1
0
1
2
3
4
5
0
1
2
3
4
5
0
1
2
3
4
5
x1
0
1
2
3
4
5
1
x1
1
2
3
4
5
1
1
0
1
2
3
4
5
0
1
2
3
4
5
0
1
2
3
4
5
0
1
2
3
4
5
x1
0
1
1
1
2
1
3
1
4
1
5
1
FULL
TRS//ICFP_2010/40708.srs