c
c
p cnf 50 250
20 40 -10 -39 -28 -32 26 46 -36 -31 -13 -41 -21 6 11 42 15 0
25 15 27 21 -15 41 4 -27 10 -45 -4 0
-4 49 -43 -27 39 34 -2 47 -37 37 0
-35 23 -42 12 18 48 33 22 0
41 -46 11 -47 45 22 15 -16 0
-10 -28 9 -6 25 0
47 20 -19 12 -13 -37 -40 -38 -48 -27 13 37 49 -38 7 -4 -11 41 -38 8 0
-45 -50 -44 1 -30 0
20 -41 28 23 0
27 16 0
44 -32 38 47 42 38 50 -25 42 4 13 12 0
-17 4 12 26 15 -36 24 0
-23 -43 -1 30 12 -25 16 10 -3 35 -32 10 32 17 11 35 13 -5 44 0
-6 29 0
15 -15 10 1 -17 22 46 -35 -35 39 46 11 -28 46 0
25 -9 -44 24 -25 10 -37 -31 42 -9 -25 -7 17 46 42 -25 20 -31 0
-4 -33 -15 -5 0
-30 33 -25 45 -26 -28 -42 -13 37 -50 -45 -21 40 -15 44 -3 50 -11 -44 0
-20 33 0
-3 23 -35 0
30 27 -19 0
-24 31 31 12 -4 -47 -25 -42 18 18 -33 13 32 -16 10 6 40 -11 0
-22 20 8 -1 -20 -37 33 0
35 -35 -33 27 31 -26 19 41 -8 4 10 36 -1 -16 33 -10 34 -33 -45 0
26 34 -10 36 0
37 12 28 25 47 41 33 -47 44 32 39 0
-31 9 44 -34 31 33 0
-29 36 42 0
25 3 20 0
-8 -13 1 29 -30 24 -3 33 -12 32 0
-24 43 48 -39 -27 24 24 -49 23 39 13 -49 21 28 -10 0
33 11 -44 -19 33 34 3 -29 0
-18 0
31 45 -9 25 32 -8 -45 45 -24 -48 44 36 -10 -9 -32 -7 -48 -9 24 0
6 -4 -25 -15 46 -10 22 -38 -50 -27 34 17 -33 3 41 35 16 15 10 0
-6 -13 0
3 -48 -47 13 9 24 47 30 -12 32 1 -18 0
-21 34 -23 -36 11 13 1 43 17 27 -13 0
26 31 0
48 -18 -3 -1 15 42 -24 -10 -47 -5 36 5 -44 24 -39 29 38 0
40 -6 0
-41 -38 9 -39 50 0
-35 22 17 -7 -19 -33 45 0
34 16 -39 2 -20 0
-9 -22 -33 -24 40 35 -44 3 9 -6 0
32 -27 42 -47 -40 -20 -41 38 43 36 26 26 0
2 -30 -8 39 -37 -34 6 -6 -14 15 -48 26 -47 15 0
-44 34 42 -39 30 39 -15 -45 -9 -23 -33 17 -31 0
-38 -19 14 4 22 -34 -24 -12 -29 7 -25 10 -7 -10 -46 41 -35 0
48 0
-44 50 -34 0
45 -21 -42 -34 18 23 -36 -28 -14 -35 12 -11 -26 -18 5 44 -27 0
-18 43 -40 -8 0
31 6 8 0
-20 27 49 -5 3 -45 -21 0
39 -4 -21 31 -29 0
-34 -49 -20 47 6 -44 47 5 49 -1 15 14 2 18 15 34 32 0
1 19 -5 -41 10 -20 35 1 9 0
47 -44 -28 0
-12 23 -28 43 20 -9 -13 46 19 -26 26 1 31 27 13 -37 -40 0
17 -10 -2 -21 20 -7 8 0
-27 12 45 -12 -37 -5 48 -33 -11 -23 16 0
26 33 50 20 17 38 27 5 17 3 26 22 7 12 1 24 -40 9 0
-28 -13 -2 37 11 47 37 16 -8 40 -17 -44 -43 47 28 -46 -1 -16 -14 0
24 -30 -22 -29 24 -44 -50 -10 6 -4 8 -50 -39 0
-41 -30 -45 -2 -38 37 -41 -35 19 18 3 -29 0
-17 -17 0
45 -34 18 -41 36 -38 0
28 4 -12 3 3 -15 2 -15 0
-27 -33 -37 39 -20 -5 -47 35 -27 50 22 -29 1 23 2 0
-29 2 -40 -27 -22 21 48 13 0
33 -47 22 -25 14 -5 -38 44 0
32 -28 47 -10 -27 11 44 23 28 -50 -2 0
49 31 -50 27 -6 -3 -3 0
20 32 -18 11 3 -17 -42 -25 17 -38 0
12 -25 36 32 -29 -8 37 -24 -49 14 -30 28 40 14 -23 40 -46 1 41 -19 0
26 -24 49 -11 48 -42 25 -3 3 -32 -32 15 16 37 -13 0
38 -9 30 12 -40 -33 -33 5 24 24 29 -7 -5 -11 0
17 2 -46 26 -14 -27 0
-29 20 47 -32 -35 8 -35 42 -14 -11 -6 -46 33 22 10 48 -48 22 -9 14 0
21 47 25 46 3 -35 0
43 -24 42 8 -21 6 -50 -46 -8 34 -6 16 12 -49 -30 -49 -1 0
-43 45 26 -38 -50 -14 -11 -46 -27 -18 -23 22 42 -30 -31 0
-24 0
5 47 50 -45 -8 -35 -7 -14 34 -36 17 36 -43 49 -40 41 37 37 33 0
40 34 42 -6 29 1 10 -21 21 -4 -27 -6 46 8 25 -32 -24 -7 -10 29 0
-29 -15 -44 0
-30 -41 33 28 39 -10 23 28 7 -10 48 0
-3 -28 0
21 -1 11 8 38 21 20 39 -21 38 0
47 0
36 -1 -25 28 4 -47 -21 -6 39 -34 -6 50 40 3 34 -38 42 -23 5 -12 0
-9 -49 -28 -1 -41 -9 9 3 37 29 31 -23 0
-39 -20 32 -9 -47 -30 23 44 -42 0
-26 -34 -3 43 -10 2 -4 -50 6 -13 45 38 -7 43 12 27 0
11 -12 41 -33 0
-13 -21 13 10 -34 -10 -3 42 -3 44 -40 40 -16 -29 45 -6 43 -18 3 0
37 -39 -35 50 -7 23 41 26 41 -7 32 7 0
-34 38 -34 -23 6 -50 29 17 -1 22 28 -18 -6 47 0
34 9 16 23 17 39 37 -25 -16 -15 0
41 -26 11 -26 -28 -41 9 -23 -2 20 -44 0
43 -40 -46 -25 -45 -48 30 28 7 -27 0
6 -40 -41 46 -25 -27 10 -11 9 8 -30 -8 36 -15 21 0
-26 0
-33 1 -40 -49 -40 50 -22 32 -36 37 -19 38 -37 12 34 -29 31 0
-21 44 -43 36 23 -25 29 -38 -4 9 -48 49 -50 -14 6 11 -45 12 0
47 29 5 0
-40 39 29 29 14 -11 -2 0
-7 40 11 43 49 29 29 7 -22 -35 3 43 0
20 -8 13 29 -25 -39 3 17 15 21 -50 -19 2 27 -26 28 43 -17 0
45 -45 -22 -8 -28 -22 -21 22 0
45 -21 22 26 -41 -33 -23 -2 -47 -27 15 -37 -7 35 -29 -13 0
34 34 20 19 16 0
18 -16 34 24 -28 0
-34 -47 -48 -22 -32 0
15 36 -2 13 34 6 46 0
19 19 -49 48 11 15 17 37 -12 -18 21 21 -24 -4 47 -15 30 0
28 -43 45 38 4 13 46 -3 3 -25 18 6 22 5 27 -32 -22 -28 0
16 15 6 46 3 0
-47 -42 49 -4 -45 -9 46 -27 -15 34 20 -41 33 -15 -43 11 -37 0
36 0
7 -15 -15 0
41 19 0
-45 38 -34 25 -40 0
-50 -48 8 -1 40 0
-5 -39 -50 28 -27 -9 7 34 -39 48 -23 -48 0
-31 -24 -19 25 0
34 -5 21 34 45 20 -22 -2 -9 -21 49 -36 -4 -41 -30 -45 0
-50 14 8 27 -12 -20 6 29 9 28 -21 43 42 -6 -43 2 -44 -24 0
50 -19 19 0
-6 -40 -2 -3 19 0
10 -5 -37 20 17 -4 -41 -17 8 -47 -41 -8 16 8 -44 -37 47 21 15 12 0
15 -15 -16 -26 20 42 1 50 4 -21 0
-24 15 35 34 -10 -12 22 24 -6 14 0
48 12 -27 35 -21 -20 0
-13 2 -5 -4 -19 47 -19 16 1 -31 0
28 -7 23 21 1 -5 -46 -14 5 26 -27 49 34 -29 12 6 -6 0
28 0
20 -16 -47 -26 19 41 -9 -12 45 0
-24 -49 14 -8 39 -14 -5 26 49 -4 6 50 -42 12 -12 37 0
35 -29 -44 11 -17 -33 0
-12 -32 25 -48 37 41 -38 -5 -36 -8 48 -17 40 -17 28 5 50 -4 0
1 11 -40 27 13 27 8 29 16 -27 0
37 29 28 28 -3 -32 -12 -42 47 33 -10 -3 44 -25 17 -18 24 -44 0
21 -27 14 33 -21 -30 -35 13 -28 -42 0
14 31 -36 27 -6 50 -28 -50 3 -27 13 39 42 -16 30 8 16 -24 -42 0
-47 30 -29 34 -3 -13 30 -46 33 33 -13 -3 30 0
31 -30 29 -41 10 46 -44 -7 42 -47 32 41 0
5 47 20 -15 6 30 16 -46 37 49 48 40 46 -28 -38 16 -34 0
3 -41 -43 33 -32 25 -10 -36 13 -47 30 0
5 -41 -25 -33 -27 42 -14 13 39 17 46 -12 45 -50 27 0
31 -30 -2 -33 -29 -43 17 -21 -39 -26 -2 -26 -2 -5 48 44 0
23 28 12 -5 -23 -31 34 11 -15 -43 50 0
-21 -27 -2 46 -43 -5 36 -23 7 0
-29 21 10 -14 -6 49 -34 -5 -3 48 -18 35 -8 0
8 43 -5 9 0
-43 23 -20 -27 23 -5 -7 -4 24 0
-31 16 -33 27 0
35 42 -37 -27 -36 -11 -35 33 18 0
-42 -23 32 -10 47 -50 0
-30 -48 -24 -24 27 -18 49 -2 -36 0
10 30 26 0
-23 4 0
33 43 -22 23 -43 -48 5 -6 -33 28 -9 32 46 -7 38 -16 -44 -20 25 0
17 -44 2 -27 23 -50 -5 45 3 -45 18 39 34 8 21 45 47 9 28 0
50 -21 37 -8 30 -20 -5 41 44 0
-43 49 46 -25 -44 -39 -2 -34 -7 22 -40 1 -12 -33 -5 4 -28 -35 -47 28 0
-17 13 37 43 -48 0
-6 -29 -36 22 -31 -39 -27 -32 -33 14 -26 -6 4 -5 30 0
-36 -16 39 25 8 -18 26 47 -23 -14 31 22 -35 48 34 -23 0
-39 -17 46 23 14 -21 -34 27 34 -21 -15 -48 0
-34 -37 -22 45 -33 0
29 33 -21 -45 -23 -44 -14 20 -27 46 1 -24 20 -2 -21 50 0
33 16 -35 -9 -13 20 34 -3 44 2 -14 -11 -10 -24 -22 -17 13 40 0
-49 0
-13 41 20 -47 34 4 0
15 18 24 0
-46 -13 -38 6 0
-9 0
32 -9 -39 -15 -5 -20 0
20 19 18 -39 40 12 -3 -43 -5 43 15 -38 -8 0
26 -36 -49 27 -33 -30 43 18 -29 27 0
32 23 -25 16 21 9 -26 48 43 23 0
29 45 -22 14 11 31 9 -17 0
50 -33 -39 25 -49 -25 13 50 37 -22 -9 20 -50 4 -29 18 -13 0
-2 10 7 13 -39 28 -42 -10 31 21 29 -29 -11 23 -15 0
16 -35 -38 -15 -50 43 -12 -49 45 -33 0
15 -12 1 0
-15 38 -39 33 33 42 0
-34 29 20 43 -23 4 -11 0
11 26 -6 5 35 0
18 11 1 21 43 20 37 48 0
-9 -42 -4 -45 30 -4 -37 -31 35 22 -1 22 0
7 -13 16 -14 34 24 28 29 37 0
-10 36 -3 -23 8 43 0
19 0
34 -19 -16 0
16 12 7 -38 -8 -7 -13 -24 -21 8 19 -40 0
22 14 44 -4 0
49 0
-36 0
-46 -10 21 24 0
32 0
8 -43 1 31 -28 42 25 -30 0
30 21 42 -8 2 26 39 -40 -38 -19 0
7 10 49 38 -9 7 33 -33 -2 -13 33 40 -34 15 26 0
33 37 -33 -18 28 -17 -14 -1 -12 -37 40 0
-17 0
-31 -35 -33 -1 0
33 15 17 9 -8 36 31 18 33 45 -13 -30 39 -1 -47 2 -8 -23 11 0
-19 45 32 -18 0
-16 19 23 -47 45 16 -16 -21 0
44 -44 -6 25 -12 37 -30 45 -25 -22 20 -17 -49 -32 0
4 -22 43 -6 -20 -17 43 5 -40 -23 25 -32 0
-48 19 22 -33 20 0
15 19 45 10 -30 -36 0
9 -42 13 -14 5 39 -31 0
-50 -12 42 49 -16 23 -22 14 16 -30 7 -33 -33 -5 -46 6 -28 -9 -48 0
-13 -28 0
-36 -25 -16 -20 -33 -40 18 -23 19 8 -45 16 -23 5 -49 0
34 49 -50 -5 -35 12 -25 21 25 -46 0
12 36 8 -23 2 39 -45 35 -28 31 18 -8 1 48 -41 -42 6 -38 0
-10 -18 -7 50 37 7 27 0
6 -34 44 5 50 0
-5 -25 39 -36 40 10 22 35 -39 19 -18 -33 -12 28 -15 0
20 8 36 22 -31 -2 36 -5 -36 33 34 -19 12 -35 0
10 -16 -48 42 24 20 36 23 44 -20 -19 -43 23 -30 35 2 -26 -50 19 0
43 31 -12 2 13 0
-22 -18 25 -15 45 41 0
-17 43 32 -2 10 -4 -2 -16 43 36 -47 25 15 -31 20 7 40 -27 0
28 -42 -48 -11 -28 -46 11 -3 19 26 20 18 -46 0
45 7 -8 -19 49 -28 -8 -48 13 -17 -12 -50 25 -26 35 0
-29 -14 -18 0
-35 -4 -16 -15 26 5 -2 -48 -25 -40 0
25 -1 -41 -8 29 42 -34 8 -20 20 -25 49 -9 15 -41 -25 -46 17 0
24 -17 -36 38 17 9 -3 -11 -5 -23 -16 46 -28 -27 -26 41 0
-8 -41 42 0
24 19 46 -40 -30 6 -16 26 -10 45 16 -35 44 -12 0
42 3 12 27 18 20 -32 45 40 42 33 -8 0
-29 1 22 -32 -33 0
11 16 16 8 -49 29 -39 -32 47 -39 -17 0
-7 38 -37 -1 0
40 -9 -13 -2 18 -1 49 28 -21 3 -16 44 49 0
19 36 -23 9 -27 28 -43 39 -7 -27 0
-43 -28 -16 -46 -4 33 6 -9 42 -46 13 -9 -22 27 34 34 -32 0
47 -29 36 -44 4 -30 -18 18 -28 42 23 -24 -32 -49 0
10 29 20 -28 33 -22 29 26 -12 -21 -50 36 -41 0
42 -38 8 2 48 -27 23 38 4 7 -43 -17 15 0
-14 41 17 31 -47 41 6 -23 5 9 1 43 -33 14 22 29 -23 0
-39 9 -6 -19 23 24 -4 3 22 -32 26 -33 0