4
0
1
-1
tmp3_post
tmp3_post
0
tmp3_post
-1
tmp3_post
0
-1
tmp3_0
tmp3_0
0
tmp3_0
-1
tmp3_0
0
-1
tmp2_post
tmp2_post
0
tmp2_post
-1
tmp2_post
0
-1
tmp2_0
tmp2_0
0
tmp2_0
-1
tmp2_0
0
-1
tmp1_post
tmp1_post
0
tmp1_post
-1
tmp1_post
0
-1
tmp1_0
tmp1_0
0
tmp1_0
-1
tmp1_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
1
0
-1
tmp3_post
tmp3_post
0
tmp3_post
-1
tmp3_post
0
-1
tmp3_0
tmp3_0
0
tmp3_0
-1
tmp3_0
0
-1
tmp2_post
tmp2_post
0
tmp2_post
-1
tmp2_post
0
-1
tmp2_0
tmp2_0
0
tmp2_0
-1
tmp2_0
0
-1
tmp1_post
tmp1_post
0
tmp1_post
-1
tmp1_post
0
-1
tmp1_0
tmp1_0
0
tmp1_0
-1
tmp1_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
2
0
-1
tmp3_post
tmp3_post
0
tmp3_post
-1
tmp3_post
0
-1
tmp3_0
tmp3_0
0
tmp3_0
-1
tmp3_0
0
-1
tmp2_post
tmp2_post
0
tmp2_post
-1
tmp2_post
0
-1
tmp2_0
tmp2_0
0
tmp2_0
-1
tmp2_0
0
-1
tmp1_post
tmp1_post
0
tmp1_post
-1
tmp1_post
0
-1
tmp1_0
tmp1_0
0
tmp1_0
-1
tmp1_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
3
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
i_post
0
-1
i_post
0
-1
j_post
0
1
-1
j_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
j_0
-1
j_post
0
-1
j_0
j_post
0
tmp1_0
-1
tmp1_post
0
-1
tmp1_0
tmp1_post
0
tmp2_0
-1
tmp2_post
0
-1
tmp2_0
tmp2_post
0
tmp3_0
-1
tmp3_post
0
-1
tmp3_0
tmp3_post
0
4
3
-1
tmp3_post
tmp3_post
0
tmp3_post
-1
tmp3_post
0
-1
tmp3_0
tmp3_0
0
tmp3_0
-1
tmp3_0
0
-1
tmp2_post
tmp2_post
0
tmp2_post
-1
tmp2_post
0
-1
tmp2_0
tmp2_0
0
tmp2_0
-1
tmp2_0
0
-1
tmp1_post
tmp1_post
0
tmp1_post
-1
tmp1_post
0
-1
tmp1_0
tmp1_0
0
tmp1_0
-1
tmp1_0
0
-1
j_post
j_post
0
j_post
-1
j_post
0
-1
j_0
j_0
0
j_0
-1
j_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_0
i_0
0
i_0
-1
i_0
0
2.4
0
i_post
0
-1
i_post
0
-1
j_post
0
1
-1
j_post
0
i_0
0
-1
i_0
0
-1
j_0
0
1
-1
j_0
0
1
i_post
0
-1
i_post
0
-1
j_post
0
1
-1
j_post
0
i_0
0
-1
i_0
0
-1
j_0
0
1
-1
j_0
0
2
i_post
0
-1
i_post
0
-1
j_post
0
1
-1
j_post
0
i_0
0
-1
i_0
0
-1
j_0
0
1
-1
j_0
0
3
4
4
0
i_post
0
-1
i_post
0
-1
j_post
0
1
-1
j_post
0
i_0
0
-1
i_0
0
-1
j_0
0
1
-1
j_0
0
0
0
1
1
i_post
0
-1
i_post
0
-1
j_post
0
1
-1
j_post
0
i_0
0
-1
i_0
0
-1
j_0
0
1
-1
j_0
0
1
2
i_post
0
-1
i_post
0
-1
j_post
0
1
-1
j_post
0
i_0
0
-1
i_0
0
-1
j_0
0
1
-1
j_0
0
2
1
0
2
0
3
3
3
2
4
4
4
3
4
0
3
0
2
0
0
0
1
0
4
-6
3
-7
2
-8
0
-9
1
-10
-12
0
1
2
3
4
T2Cert
1.0