c seed= 1810902447
p cnf 100 425
8 -94 48 0
26 -13 9 0
-14 97 82 0
-35 -26 -34 0
-94 2 86 0
-77 4 -25 0
-50 56 9 0
1 -70 -4 0
80 79 9 0
-31 18 -56 0
47 -64 -21 0
-68 41 7 0
-84 50 -36 0
-22 63 10 0
36 10 52 0
-9 -77 6 0
32 -18 -36 0
4 81 35 0
-71 -93 32 0
67 -62 -20 0
12 -65 26 0
13 -30 42 0
-33 -75 -19 0
-37 -36 81 0
30 86 -68 0
50 19 -36 0
-51 48 63 0
-82 80 -59 0
40 87 -12 0
27 35 -17 0
-17 -37 -42 0
89 -13 -28 0
88 37 6 0
22 28 90 0
-15 -78 81 0
-58 91 3 0
-80 -35 -78 0
-34 76 -22 0
-42 95 41 0
-29 -45 -17 0
27 -37 81 0
99 68 -60 0
-13 60 24 0
48 -91 -88 0
53 -18 95 0
91 33 65 0
-74 88 2 0
14 -25 -100 0
64 -34 88 0
-54 -58 4 0
-82 6 70 0
93 49 44 0
34 74 61 0
70 11 -93 0
-48 -52 -14 0
-49 -34 -13 0
12 -32 -8 0
23 87 29 0
3 95 -81 0
11 -96 2 0
-14 -82 -74 0
-94 -4 -49 0
21 68 99 0
-37 -3 30 0
-5 -77 -18 0
-67 55 -99 0
29 -82 74 0
-89 -7 -38 0
71 -93 92 0
-74 66 34 0
-9 42 -81 0
-29 14 2 0
-24 -78 -95 0
50 87 -94 0
51 12 -72 0
-10 -63 40 0
62 -49 -38 0
51 78 -9 0
-98 -40 -64 0
-98 35 13 0
67 31 82 0
83 33 -3 0
-3 98 35 0
39 -91 68 0
55 31 -87 0
-39 21 87 0
74 13 43 0
-85 -38 39 0
47 -91 75 0
67 -99 91 0
61 -8 -14 0
10 -1 -56 0
94 13 -81 0
68 82 74 0
-1 14 -68 0
36 79 96 0
-44 35 26 0
-41 84 19 0
57 86 -35 0
-99 -28 96 0
-6 -57 -93 0
27 52 -5 0
-58 -43 30 0
-81 -23 -34 0
-49 3 -39 0
10 -26 -17 0
72 -57 77 0
74 17 73 0
50 76 14 0
47 -43 20 0
97 -49 -70 0
91 -21 -56 0
-97 73 -32 0
-12 77 -3 0
-94 9 39 0
-57 -94 26 0
25 1 100 0
46 -68 -72 0
56 52 26 0
-6 21 49 0
-73 -41 88 0
-77 94 99 0
-26 -71 -37 0
-47 54 76 0
12 20 23 0
6 -40 100 0
-95 -18 63 0
62 22 58 0
-75 69 -10 0
-57 -8 -44 0
-90 77 -50 0
-11 68 60 0
60 -25 78 0
73 -48 -68 0
57 58 -18 0
-62 -30 -14 0
2 33 6 0
17 41 -46 0
-57 14 12 0
47 76 44 0
12 -96 98 0
76 -2 -41 0
58 -23 1 0
-100 64 79 0
37 -3 -72 0
65 -64 -34 0
-97 -65 -5 0
97 15 -85 0
62 68 59 0
41 -19 66 0
-51 15 -33 0
87 -24 -86 0
-54 60 -57 0
86 70 -93 0
58 54 94 0
-44 20 11 0
49 42 -62 0
29 91 -85 0
11 -70 -13 0
-30 -22 -84 0
70 -92 -73 0
-70 -20 69 0
7 -35 48 0
-87 82 -49 0
81 -69 -34 0
68 -65 -74 0
-67 17 64 0
-93 -58 56 0
-71 38 12 0
35 -21 68 0
2 -3 78 0
71 61 42 0
7 92 98 0
-92 -5 -39 0
-54 -9 -3 0
34 82 92 0
89 30 99 0
70 -74 -90 0
20 -31 29 0
40 38 16 0
31 -96 77 0
-60 47 65 0
7 98 4 0
24 -87 25 0
-58 87 -99 0
-68 10 -55 0
-31 -95 -63 0
-78 62 40 0
27 -85 -94 0
-12 -45 -28 0
-21 -37 -17 0
92 -15 -94 0
-97 -91 -10 0
-42 2 55 0
-28 67 -39 0
-13 -1 96 0
-80 -23 47 0
-21 -25 2 0
53 -54 -29 0
-1 19 -51 0
98 90 83 0
25 50 -36 0
82 95 89 0
-63 -81 54 0
-75 -41 64 0
60 -81 -29 0
-7 50 48 0
-58 67 99 0
55 -76 56 0
72 -7 15 0
-12 -70 -83 0
-63 -96 -80 0
-66 -78 67 0
18 -24 -89 0
24 -43 -10 0
93 54 -68 0
-8 24 57 0
39 -97 -6 0
-19 81 -50 0
-61 28 -16 0
-68 -10 64 0
100 -44 49 0
-85 -21 -28 0
16 96 75 0
-37 14 6 0
62 55 -81 0
53 -41 12 0
-32 -85 14 0
-53 41 90 0
-57 -46 8 0
-86 62 50 0
35 -43 -83 0
91 -79 68 0
98 -94 -34 0
-81 -29 88 0
35 28 50 0
-26 79 33 0
-44 67 -6 0
4 -72 -39 0
84 -39 91 0
-10 14 -60 0
-50 -75 -35 0
-61 -78 -77 0
12 -96 23 0
64 -20 -71 0
-90 3 -67 0
-5 15 41 0
-1 9 56 0
-80 37 -43 0
34 54 -98 0
-9 -49 -93 0
-42 -6 -20 0
61 -96 -76 0
-11 -3 -38 0
83 -89 81 0
70 -5 41 0
-20 73 47 0
59 -18 -41 0
-34 -96 -71 0
50 -35 -67 0
-22 36 -19 0
-3 22 -1 0
71 -49 38 0
-89 -82 76 0
61 16 -19 0
65 70 52 0
-81 -92 -75 0
31 -26 -6 0
21 70 48 0
93 -21 -19 0
-52 24 -7 0
61 38 85 0
24 -71 48 0
-16 72 -7 0
-63 -1 32 0
37 -91 9 0
-53 80 92 0
-79 100 58 0
-64 9 -84 0
-81 -86 92 0
98 7 69 0
-61 6 -70 0
-91 -25 97 0
13 18 99 0
-39 -20 -8 0
-60 34 -37 0
-19 -4 46 0
86 49 -17 0
72 -13 -88 0
96 -51 99 0
33 -92 67 0
9 -94 61 0
94 -18 -20 0
-32 -75 85 0
-46 -45 47 0
78 -31 75 0
54 60 -91 0
-85 59 45 0
27 4 22 0
-7 -21 -15 0
-36 -45 -96 0
-7 -94 -9 0
-24 -95 33 0
15 -29 8 0
58 -98 -3 0
-37 38 15 0
33 58 -100 0
-15 -82 -5 0
51 -15 -86 0
41 -8 -22 0
-64 -19 -13 0
84 87 22 0
93 94 61 0
6 -91 -75 0
-16 41 83 0
64 -99 36 0
-92 12 28 0
92 86 -52 0
12 -92 -87 0
13 -50 80 0
13 -53 12 0
-41 -23 -3 0
78 30 -34 0
-25 96 10 0
50 -46 -93 0
94 -57 34 0
-97 -49 40 0
46 60 -31 0
3 92 -63 0
-67 -22 99 0
40 -74 14 0
45 -29 71 0
93 -46 8 0
-76 -26 96 0
45 -9 93 0
-23 47 -35 0
19 -88 -48 0
-89 26 41 0
52 76 -93 0
70 10 -96 0
-23 27 49 0
76 38 82 0
18 -19 93 0
25 70 -21 0
4 -38 -96 0
54 -26 78 0
96 -62 82 0
45 -53 -77 0
34 90 17 0
-91 -62 -74 0
37 -66 -3 0
11 66 50 0
-54 -91 -37 0
-77 65 39 0
-81 -60 -9 0
-31 34 38 0
-73 -10 26 0
-6 7 -15 0
43 17 58 0
81 -42 -86 0
62 31 69 0
11 -40 78 0
-59 71 -88 0
18 59 45 0
5 -71 -99 0
25 29 93 0
-37 -86 -38 0
-35 -73 -59 0
77 -94 30 0
-8 -59 -38 0
-26 -46 -16 0
31 -61 100 0
-38 -71 22 0
82 57 -55 0
-2 -71 49 0
-26 97 68 0
54 -45 -53 0
54 59 27 0
82 96 90 0
98 29 80 0
-61 -44 70 0
58 7 13 0
-16 -24 11 0
-82 58 -97 0
-54 -51 83 0
-87 -98 -77 0
-68 -59 46 0
33 -41 -43 0
97 16 -75 0
51 -43 78 0
-18 -65 -64 0
-85 92 76 0
49 56 88 0
-60 -99 41 0
-62 -45 -24 0
6 -46 -67 0
-86 -76 -82 0
-61 57 60 0
-74 -10 -13 0
48 58 52 0
21 6 26 0
-30 -13 44 0
-15 -85 -60 0
-88 10 -20 0
-60 74 72 0
91 17 26 0
-37 -85 -64 0
84 -61 -25 0
57 26 22 0
-43 37 -22 0
-86 90 -35 0
-66 95 -79 0
-70 62 -38 0
-7 66 1 0
28 87 67 0
-19 -38 -56 0
-99 -65 -59 0
53 -67 99 0
17 19 24 0
-48 26 55 0
80 -97 -44 0
-99 52 12 0
46 32 76 0
55 -90 10 0
98 -6 84 0