p cnf 142 342
c 3 i
c 4 h
c 5 f
c 6 g
c 9 b
c 10 a
c 14 d
c 15 c
c 19 e
32 13 0
33 18 0
3 4 0
-3 -4 0
29 4 0
-29 -4 0
4 3 0
-4 -3 0
30 5 0
-30 -5 0
76 78 30 0
-76 -78 0
-76 -30 0
78 76 30 0
-78 -76 0
-78 -30 0
77 79 30 0
-77 -79 0
-77 -30 0
79 77 30 0
-79 -77 0
-79 -30 0
115 76 79 81 30 0
-115 -76 0
-115 -79 0
-115 -81 0
-115 -30 0
116 78 77 30 0
-116 -78 0
-116 -77 0
-116 -30 0
117 78 83 30 0
-117 -78 0
-117 -83 0
-117 -30 0
82 80 30 0
-82 -80 0
-82 -30 0
81 77 30 0
-81 -77 0
-81 -30 0
83 81 30 0
-83 -81 0
-83 -30 0
93 29 0
-93 -29 0
94 93 0
-94 -93 0
118 94 0
-118 -94 0
78 94 0
79 94 0
119 94 0
-119 -94 0
96 31 0
-96 -31 0
97 96 0
-97 -96 0
120 97 0
-120 -97 0
121 88 78 97 0
-121 -88 0
-121 -78 0
-121 -97 0
101 99 97 0
-101 -99 0
-101 -97 0
122 88 76 102 97 0
-122 -88 0
-122 -76 0
-122 -102 0
-122 -97 0
123 90 78 102 97 0
-123 -90 0
-123 -78 0
-123 -102 0
-123 -97 0
100 89 79 97 0
-100 -89 0
-100 -79 0
-100 -97 0
102 100 97 0
-102 -100 0
-102 -97 0
124 90 76 97 0
-124 -90 0
-124 -76 0
-124 -97 0
125 88 78 97 0
-125 -88 0
-125 -78 0
-125 -97 0
126 91 77 97 0
-126 -91 0
-126 -77 0
-126 -97 0
127 89 79 97 0
-127 -89 0
-127 -79 0
-127 -97 0
101 97 0
128 104 97 0
-128 -104 0
-128 -97 0
30 55 0
31 6 0
-31 -6 0
84 86 31 0
-84 -86 0
-84 -31 0
86 84 31 0
-86 -84 0
-86 -31 0
85 87 31 0
-85 -87 0
-85 -31 0
87 85 31 0
-87 -85 0
-87 -31 0
129 84 87 89 31 0
-129 -84 0
-129 -87 0
-129 -89 0
-129 -31 0
130 86 85 31 0
-130 -86 0
-130 -85 0
-130 -31 0
131 86 91 31 0
-131 -86 0
-131 -91 0
-131 -31 0
90 88 31 0
-90 -88 0
-90 -31 0
89 85 31 0
-89 -85 0
-89 -31 0
91 89 31 0
-91 -89 0
-91 -31 0
106 30 0
-106 -30 0
107 106 0
-107 -106 0
6 107 0
-6 -107 0
132 80 86 107 0
-132 -80 0
-132 -86 0
-132 -107 0
111 109 107 0
-111 -109 0
-111 -107 0
133 80 84 112 107 0
-133 -80 0
-133 -84 0
-133 -112 0
-133 -107 0
134 82 86 112 107 0
-134 -82 0
-134 -86 0
-134 -112 0
-134 -107 0
110 81 87 107 0
-110 -81 0
-110 -87 0
-110 -107 0
112 110 107 0
-112 -110 0
-112 -107 0
135 82 84 107 0
-135 -82 0
-135 -84 0
-135 -107 0
136 80 86 107 0
-136 -80 0
-136 -86 0
-136 -107 0
137 83 85 107 0
-137 -83 0
-137 -85 0
-137 -107 0
138 81 87 107 0
-138 -81 0
-138 -87 0
-138 -107 0
111 107 0
56 114 107 0
-56 -114 0
-56 -107 0
31 56 0
32 7 0
-32 -7 0
7 0
33 8 0
-33 -8 0
8 34 0
-8 -34 0
34 9 0
-34 -9 0
9 45 22 0
-9 -45 0
-9 -22 0
35 10 0
-35 -10 0
10 45 21 0
-10 -45 0
-10 -21 0
36 11 0
-36 -11 0
139 35 0
-139 -35 0
140 34 0
-140 -34 0
12 35 34 0
-12 -35 0
-12 -34 0
13 36 12 0
-13 -36 0
-13 -12 0
39 14 0
-39 -14 0
14 48 24 0
-14 -48 0
-14 -24 0
40 15 0
-40 -15 0
15 48 25 0
-15 -48 0
-15 -25 0
41 16 0
-41 -16 0
141 39 0
-141 -39 0
142 40 0
-142 -40 0
17 39 40 0
-17 -39 0
-17 -40 0
18 41 17 0
-18 -41 0
-18 -17 0
19 0
45 20 0
-45 -20 0
20 32 0
-20 -32 0
21 10 0
-21 -10 0
22 9 0
-22 -9 0
48 23 0
-48 -23 0
23 33 0
-23 -33 0
24 14 0
-24 -14 0
25 15 0
-25 -15 0
-1 0
-2 0
-5 118 120 0
5 -118 0
5 -120 0
-11 139 140 0
11 -139 0
11 -140 0
-16 141 142 0
16 -141 0
16 -142 0
-26 0
-27 0
-28 0
-37 0
-38 0
-42 0
-43 0
-44 0
-46 0
-47 0
-49 0
-50 0
-51 0
-52 0
-53 0
-54 0
-55 119 128 0
55 -119 0
55 -128 0
-57 0
-58 0
-59 0
-60 0
-61 0
-62 0
-63 0
-64 0
-65 0
-66 0
-67 0
-68 0
-69 0
-70 0
-71 0
-72 0
-73 0
-74 0
-75 0
-80 115 116 117 0
80 -115 0
80 -116 0
80 -117 0
-88 129 130 131 0
88 -129 0
88 -130 0
88 -131 0
-92 0
-95 0
-98 0
-99 121 122 123 0
99 -121 0
99 -122 0
99 -123 0
-103 0
-104 124 125 126 127 0
104 -124 0
104 -125 0
104 -126 0
104 -127 0
-105 0
-108 0
-109 132 133 134 0
109 -132 0
109 -133 0
109 -134 0
-113 0
-114 135 136 137 138 0
114 -135 0
114 -136 0
114 -137 0
114 -138 0