c satplan version 1.0
c created: Thu Jul 24 14:13:58 PDT 1997
c operators: bw_orig.ops
c facts: anomaly.facts
c goal: 3
c wff: anomaly.cnf
c map: anomaly.map
c type: wff
p cnf 48 261
-1 -3 4 0
-1 -5 6 0
-8 -7 9 0
-8 -5 10 0
-1 -11 -2 0
-8 -13 -10 0
-14 15 0
-11 16 0
-12 17 0
-7 -15 0
-3 -17 0
-1 -12 0
-1 -13 0
-8 -14 0
-8 -11 0
7 15 0
3 17 0
1 2 0
8 10 0
11 -16 0
1 -4 0
1 -6 0
8 -9 0
3 -4 0
5 -6 0
7 -9 0
1 8 0
14 11 12 13 0
7 3 5 0
-1 -8 0
-8 -1 0
-14 -11 0
-14 -12 0
-14 -13 0
-11 -14 0
-11 -12 0
-11 -13 0
-12 -14 0
-12 -11 0
-12 -13 0
-13 -14 0
-13 -11 0
-13 -12 0
-7 -3 0
-7 -5 0
-3 -7 0
-3 -5 0
-5 -7 0
-5 -3 0
-1 -14 0
-8 -12 0
-1 -7 0
-8 -3 0
-14 -7 0
-12 -3 0
-13 -5 0
-18 -19 20 0
-18 -21 22 0
-18 -23 24 0
-25 -26 27 0
-25 -21 28 0
-25 -23 29 0
-30 -26 31 0
-30 -19 32 0
-30 -23 33 0
-18 -34 -20 0
-18 -35 -22 0
-18 -36 -24 0
-25 -36 -29 0
-30 -37 -31 0
-30 -36 -33 0
-37 38 0
-34 39 0
-35 40 0
-26 -38 0
-19 -39 0
-21 -40 0
-18 -34 2 0
-18 -35 4 0
-18 -36 6 0
-25 -37 0
-25 -35 0
-30 -37 9 0
-30 -34 0
-30 -36 10 0
-18 15 0
-25 16 0
-30 17 0
-26 15 0
-19 16 0
-21 17 0
26 -15 38 0
19 -16 39 0
21 -17 40 0
18 -2 20 0
18 -4 22 0
18 -6 24 0
25 29 0
30 -9 31 0
30 -10 33 0
37 15 -38 0
34 16 -39 0
35 17 -40 0
18 2 -20 0
18 4 -22 0
18 6 -24 0
25 -27 0
25 -28 0
30 9 -31 0
30 -32 0
30 10 -33 0
19 2 -20 0
21 4 -22 0
23 6 -24 0
26 -27 0
21 -28 0
26 9 -31 0
19 -32 0
23 10 -33 0
18 25 30 0
37 34 35 36 0
26 19 21 23 0
-18 -25 0
-18 -30 0
-25 -18 0
-25 -30 0
-30 -18 0
-30 -25 0
-37 -34 0
-37 -35 0
-37 -36 0
-34 -37 0
-34 -35 0
-34 -36 0
-35 -37 0
-35 -34 0
-35 -36 0
-36 -37 0
-36 -34 0
-36 -35 0
-26 -19 0
-26 -21 0
-26 -23 0
-19 -26 0
-19 -21 0
-19 -23 0
-21 -26 0
-21 -19 0
-21 -23 0
-23 -26 0
-23 -19 0
-23 -21 0
-18 -37 0
-25 -34 0
-30 -35 0
-18 -26 0
-25 -19 0
-30 -21 0
-37 -26 0
-34 -19 0
-35 -21 0
-36 -23 0
-41 -42 0
-44 -45 0
-44 -43 0
-46 -43 0
-41 -48 0
-41 -47 20 0
-44 -48 29 0
-46 -47 32 0
-46 -48 33 0
-41 38 0
-44 39 0
-46 40 0
-45 38 0
-42 40 0
45 -38 0
42 -40 0
41 -20 0
41 -22 0
44 -27 0
44 -29 0
46 -32 0
46 -33 0
47 39 0
41 24 0
44 28 0
46 31 0
43 24 0
42 28 0
45 31 0
41 44 46 0
47 48 0
45 42 43 0
-41 -44 0
-41 -46 0
-44 -41 0
-44 -46 0
-46 -41 0
-46 -44 0
-47 -48 0
-48 -47 0
-45 -42 0
-45 -43 0
-42 -45 0
-42 -43 0
-43 -45 0
-43 -42 0
-44 -47 0
-41 -45 0
-46 -42 0
-48 -43 0
-4 -9 0
-9 -4 0
-2 -4 0
-2 -6 0
-4 -2 0
-4 -6 0
-6 -2 0
-6 -4 0
-9 -10 0
-10 -9 0
-2 -16 0
-4 -17 0
-9 -15 0
-20 -27 0
-22 -31 0
-27 -20 0
-28 -32 0
-31 -22 0
-32 -28 0
-20 -32 0
-22 -28 0
-27 -31 0
-28 -22 0
-31 -27 0
-32 -20 0
-20 -22 0
-20 -24 0
-22 -20 0
-22 -24 0
-24 -20 0
-24 -22 0
-27 -28 0
-27 -29 0
-28 -27 0
-28 -29 0
-29 -27 0
-29 -28 0
-31 -32 0
-31 -33 0
-32 -31 0
-32 -33 0
-33 -31 0
-33 -32 0
-20 -39 0
-22 -40 0
-27 -38 0
-28 -40 0
-31 -38 0
-32 -39 0