2
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
i_1
0
-1
i_1
0
-1
i_1
tmp10_post
0
i_1
-1
tmp10_post
0
-1
-1
i_1
i_2
0
1
i_1
-1
i_2
0
-1
i_2
tmp___011_post
0
i_2
-1
tmp___011_post
0
-1
-1
i_2
i_3
0
1
i_2
-1
i_3
0
-1
i_3
tmp13_post
0
i_3
-1
tmp13_post
0
-1
-1
i_3
i_4
0
1
i_3
-1
i_4
0
-1
i_4
tmp___014_post
0
i_4
-1
tmp___014_post
0
-1
-1
i_4
i_post
0
1
i_4
-1
i_post
0
i_0
-1
i_post
0
-1
i_0
i_post
0
tmp10_0
-1
tmp10_post
0
-1
tmp10_0
tmp10_post
0
tmp13_0
-1
tmp13_post
0
-1
tmp13_0
tmp13_post
0
tmp___011_0
-1
tmp___011_post
0
-1
tmp___011_0
tmp___011_post
0
tmp___014_0
-1
tmp___014_post
0
-1
tmp___014_0
tmp___014_post
0
1
0
-1
tmp___014_post
tmp___014_post
0
tmp___014_post
-1
tmp___014_post
0
-1
tmp___014_0
tmp___014_0
0
tmp___014_0
-1
tmp___014_0
0
-1
tmp___011_post
tmp___011_post
0
tmp___011_post
-1
tmp___011_post
0
-1
tmp___011_0
tmp___011_0
0
tmp___011_0
-1
tmp___011_0
0
-1
tmp13_post
tmp13_post
0
tmp13_post
-1
tmp13_post
0
-1
tmp13_0
tmp13_0
0
tmp13_0
-1
tmp13_0
0
-1
tmp10_post
tmp10_post
0
tmp10_post
-1
tmp10_post
0
-1
tmp10_0
tmp10_0
0
tmp10_0
-1
tmp10_0
0
-1
i_post
i_post
0
i_post
-1
i_post
0
-1
i_4
i_4
0
i_4
-1
i_4
0
-1
i_3
i_3
0
i_3
-1
i_3
0
-1
i_2
i_2
0
i_2
-1
i_2
0
-1
i_1
i_1
0
i_1
-1
i_1
0
-1
i_0
i_0
0
i_0
-1
i_0
0
2.4
0
1
tmp10_post
0
i_1
0
-1
i_1
0
tmp10_0
0
2
2
0
0
0
1
1
tmp10_post
0
i_1
0
-1
i_1
0
tmp10_0
0
1
2
2
1
0
2
0
0
0
1
0
2
-4
0
-5
1
-6
-8
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
T2Cert
1.0