3
0
1
0
0
0
0
-1
x2
0
1
-1
arg2
0
1
-1
arg1
0
-1
x8
x8
0
x8
-1
x8
0
-1
x7
x7
0
x7
-1
x7
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
1
2
0
0
0
0
0
0
0
0
0
0
0
0
-1
x7
0
1
-1
arg2
0
1
-1
arg1
0
-99
x7
-100
x8
0
-1
x7
100
x8
0
-1
arg1P
x7
-100
x8
0
arg1P
-1
x7
100
x8
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
x2
x2
0
x2
-1
x2
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
2
2
0
0
0
0
1
-1
arg2
0
0
0
1
-1
arg1
0
-1
-1
arg1P
arg1
0
1
arg1P
-1
arg1
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
x8
x8
0
x8
-1
x8
0
-1
x7
x7
0
x7
-1
x7
0
-1
x2
x2
0
x2
-1
x2
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
3
0
0
0
0
0
0
0
0
0
-1
arg1P
arg1
0
arg1P
-1
arg1
0
-1
arg2P
arg2
0
arg2P
-1
arg2
0
-1
x8
x8
0
x8
-1
x8
0
-1
x7
x7
0
x7
-1
x7
0
-1
x2
x2
0
x2
-1
x2
0
2.4
0
1
1
-1
arg1
0
1
-1
arg2
0
-1
x2
0
2
1
-1
arg2
0
-1
x2
0
-1
x7
0
3
3
0
0
0
1
1
1
-1
arg1
0
1
-1
arg2
0
-1
x2
0
1
1
2
2
1
-1
arg2
0
-1
x2
0
-1
x7
0
2
2
2
3
3
3
0
2
4
-1
x8
x8
0
x8
-1
x8
0
-1
x7
x7
0
x7
-1
x7
0
-1
x2
x2
0
x2
-1
x2
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
3
0
0
0
1
0
2
0
3
-5
0
-6
1
-7
2
-8
2_var_snapshot
-8
2*
-8
-13
0
1
3
7
2
-1
x8
x8
0
x8
-1
x8
0
-1
x7
x7
0
x7
-1
x7
0
-1
x2
x2
0
x2
-1
x2
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
5
2_var_snapshot
-1
x8
x8
0
x8
-1
x8
0
-1
x7
x7
0
x7
-1
x7
0
-1
x2
x2
0
x2
-1
x2
0
-1
arg2P
arg2P
0
arg2P
-1
arg2P
0
-1
arg2
arg2
0
arg2
-1
arg2
0
-1
arg1P
arg1P
0
arg1P
-1
arg1P
0
-1
arg1
arg1
0
arg1
-1
arg1
0
2
2_var_snapshot
2*
2
1
3
arg1
2_var_snapshot
3
arg1
2*
2
3
arg1
2
2
2
0
2_var_snapshot
-1
2*
arg2
-1
5
7
4
T2Cert
1.0