c 
c Converted automatically from UAI file 2.uai
c 
p wcnf 32 128
0.54577 -1 0
1.8323 -2 0
0.93894 -3 0
1.065 -4 0
0.89205 -5 0
1.121 -6 0
0.56292 -7 0
1.7765 -8 0
0.47117 -9 0
2.1224 -10 0
1.5093 -11 0
0.66257 -12 0
0.48011 -13 0
2.0828 -14 0
2.6332 -15 0
0.37977 -16 0
1.992 -17 0
0.50202 -18 0
1.6443 -19 0
0.60817 -20 0
0.39909 -21 0
2.5057 -22 0
1.9965 -23 0
0.50087 -24 0
2.4581 -25 0
0.40681 -26 0
2.0481 -27 0
0.48826 -28 0
0.6477 -29 0
1.5439 -30 0
0.93844 -31 0
1.0656 -32 0
1.3207 -1 -3 0
0.75717 -1 -4 0
0.75717 -2 -3 0
1.3207 -2 -4 0
0.00024189 -3 -5 0
4134.2 -3 -6 0
4134.2 -4 -5 0
0.00024189 -4 -6 0
0.0043227 -5 -7 0
231.34 -5 -8 0
231.34 -6 -7 0
0.0043227 -6 -8 0
31.228 -9 -11 0
0.032023 -9 -12 0
0.032023 -10 -11 0
31.228 -10 -12 0
0.43897 -11 -13 0
2.278 -11 -14 0
2.278 -12 -13 0
0.43897 -12 -14 0
3033.9 -13 -15 0
0.00032961 -13 -16 0
0.00032961 -14 -15 0
3033.9 -14 -16 0
314.11 -17 -19 0
0.0031836 -17 -20 0
0.0031836 -18 -19 0
314.11 -18 -20 0
0.3764 -19 -21 0
2.6568 -19 -22 0
2.6568 -20 -21 0
0.3764 -20 -22 0
3892.6 -21 -23 0
0.0002569 -21 -24 0
0.0002569 -22 -23 0
3892.6 -22 -24 0
0.014559 -25 -27 0
68.687 -25 -28 0
68.687 -26 -27 0
0.014559 -26 -28 0
20.155 -27 -29 0
0.049615 -27 -30 0
0.049615 -28 -29 0
20.155 -28 -30 0
0.013435 -29 -31 0
74.435 -29 -32 0
74.435 -30 -31 0
0.013435 -30 -32 0
16.14 -1 -9 0
0.061959 -1 -10 0
0.061959 -2 -9 0
16.14 -2 -10 0
0.001312 -9 -17 0
762.21 -9 -18 0
762.21 -10 -17 0
0.001312 -10 -18 0
0.00099042 -17 -25 0
1009.7 -17 -26 0
1009.7 -18 -25 0
0.00099042 -18 -26 0
352.33 -3 -11 0
0.0028383 -3 -12 0
0.0028383 -4 -11 0
352.33 -4 -12 0
19.263 -11 -19 0
0.051912 -11 -20 0
0.051912 -12 -19 0
19.263 -12 -20 0
141.3 -19 -27 0
0.007077 -19 -28 0
0.007077 -20 -27 0
141.3 -20 -28 0
0.00023442 -5 -13 0
4265.9 -5 -14 0
4265.9 -6 -13 0
0.00023442 -6 -14 0
134.43 -13 -21 0
0.0074387 -13 -22 0
0.0074387 -14 -21 0
134.43 -14 -22 0
0.00015823 -21 -29 0
6320 -21 -30 0
6320 -22 -29 0
0.00015823 -22 -30 0
1994 -7 -15 0
0.0005015 -7 -16 0
0.0005015 -8 -15 0
1994 -8 -16 0
0.022576 -15 -23 0
44.295 -15 -24 0
44.295 -16 -23 0
0.022576 -16 -24 0
0.0018291 -23 -31 0
546.72 -23 -32 0
546.72 -24 -31 0
0.0018291 -24 -32 0
0.0 1 2 0
0.0 -1 -2 0
0.0 3 4 0
0.0 -3 -4 0
0.0 5 6 0
0.0 -5 -6 0
0.0 7 8 0
0.0 -7 -8 0
0.0 9 10 0
0.0 -9 -10 0
0.0 11 12 0
0.0 -11 -12 0
0.0 13 14 0
0.0 -13 -14 0
0.0 15 16 0
0.0 -15 -16 0
0.0 17 18 0
0.0 -17 -18 0
0.0 19 20 0
0.0 -19 -20 0
0.0 21 22 0
0.0 -21 -22 0
0.0 23 24 0
0.0 -23 -24 0
0.0 25 26 0
0.0 -25 -26 0
0.0 27 28 0
0.0 -27 -28 0
0.0 29 30 0
0.0 -29 -30 0
0.0 31 32 0
0.0 -31 -32 0