c 
c Converted automatically from UAI file 1.uai
c 
p wcnf 18 66
0.87269-1 0
1.1459-2 0
1.0696-3 0
0.93492-4 0
0.50955-5 0
1.9625-6 0
1.3823-7 0
0.72345-8 0
2.0507-9 0
0.48763-10 0
0.83542-11 0
1.197-12 0
0.40954-13 0
2.4418-14 0
2.0889-15 0
0.47872-16 0
0.49618-17 0
2.0154-18 0
368.08-1 -3 0
0.0027168-1 -4 0
0.0027168-2 -3 0
368.08-2 -4 0
93.843-3 -5 0
0.010656-3 -6 0
0.010656-4 -5 0
93.843-4 -6 0
1514.8-7 -9 0
0.00066016-7 -10 0
0.00066016-8 -9 0
1514.8-8 -10 0
802.39-9 -11 0
0.0012463-9 -12 0
0.0012463-10 -11 0
802.39-10 -12 0
0.39677-13 -15 0
2.5203-13 -16 0
2.5203-14 -15 0
0.39677-14 -16 0
0.24393-15 -17 0
4.0996-15 -18 0
4.0996-16 -17 0
0.24393-16 -18 0
0.00067306-1 -7 0
1485.8-1 -8 0
1485.8-2 -7 0
0.00067306-2 -8 0
0.015296-7 -13 0
65.377-7 -14 0
65.377-8 -13 0
0.015296-8 -14 0
10.748-3 -9 0
0.093037-3 -10 0
0.093037-4 -9 0
10.748-4 -10 0
0.0018837-9 -15 0
530.87-9 -16 0
530.87-10 -15 0
0.0018837-10 -16 0
0.0082845-5 -11 0
120.71-5 -12 0
120.71-6 -11 0
0.0082845-6 -12 0
0.00041451-11 -17 0
2412.5-11 -18 0
2412.5-12 -17 0
0.00041451-12 -18 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