c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 250  1065 
 -150 172 -242 0
-171 -161 -78 0
135 60 -61 0
194 64 -141 0
-55 -214 141 0
42 120 -18 0
182 205 -37 0
-145 228 -54 0
167 -32 231 0
-31 -208 68 0
17 222 -158 0
-160 -185 -147 0
-191 88 218 0
-162 208 -86 0
247 -45 -196 0
102 233 98 0
201 176 -37 0
86 62 68 0
-108 217 67 0
-183 -105 127 0
5 20 74 0
-204 229 -15 0
220 -161 197 0
-146 71 219 0
-45 196 181 0
13 -78 -119 0
-176 133 -126 0
77 -92 110 0
-26 -24 -144 0
70 -31 -103 0
-99 213 -4 0
-113 -225 -66 0
188 242 -31 0
121 41 -182 0
171 104 -199 0
-198 -203 -112 0
135 32 -200 0
208 42 169 0
-127 -97 -9 0
60 235 126 0
-31 -41 136 0
116 241 -181 0
204 -218 22 0
-199 -100 175 0
134 -49 -40 0
-33 -162 -169 0
-214 9 -119 0
-125 -28 97 0
-225 98 -169 0
-204 -189 206 0
121 -230 -248 0
166 113 -149 0
163 132 -250 0
-78 -2 246 0
153 104 -240 0
-195 216 167 0
-83 -170 -177 0
-203 116 65 0
101 -202 -94 0
-147 -99 -98 0
-73 151 -160 0
-53 -176 84 0
-162 109 153 0
-69 161 -228 0
157 154 -23 0
198 112 -130 0
21 -152 148 0
141 43 -162 0
70 -88 -133 0
-222 -156 43 0
223 -107 194 0
-75 234 195 0
-26 227 -119 0
159 -90 -225 0
-181 108 130 0
-56 -74 147 0
-43 -1 -93 0
-63 -248 -157 0
69 -94 -16 0
-18 66 9 0
188 96 184 0
193 137 111 0
216 187 82 0
49 -187 -110 0
-216 -249 61 0
85 -84 197 0
-129 -110 178 0
-74 -111 239 0
172 32 43 0
26 62 -21 0
-188 -121 -250 0
175 19 -25 0
-154 -82 31 0
249 -158 -44 0
64 215 -201 0
-1 239 -107 0
-166 -47 15 0
-111 -53 104 0
-154 -193 -248 0
87 -47 -151 0
-23 -131 192 0
-126 -47 110 0
163 -97 60 0
106 141 -198 0
-40 -175 228 0
143 235 239 0
147 -240 -166 0
14 43 -249 0
78 165 -128 0
-207 -57 141 0
42 -140 -86 0
151 119 190 0
-218 -138 -113 0
203 38 87 0
-45 -20 -161 0
37 246 48 0
72 -176 139 0
-81 -209 150 0
-115 -126 -148 0
-55 -250 -231 0
-124 221 -179 0
190 -165 131 0
-91 -6 80 0
-101 63 130 0
-210 68 85 0
124 156 241 0
-7 16 -248 0
9 -184 -179 0
-92 26 -190 0
-57 -234 20 0
-161 47 207 0
-234 -105 -48 0
155 250 -75 0
-210 -180 25 0
102 208 -32 0
-173 -9 2 0
-162 143 -205 0
-99 29 197 0
-173 -72 214 0
245 -73 -72 0
-230 -116 178 0
81 157 229 0
-232 -214 -131 0
-212 59 63 0
40 250 106 0
-30 -5 -165 0
44 -66 22 0
83 144 -4 0
-221 90 58 0
185 94 -196 0
76 123 159 0
76 174 134 0
-221 107 -207 0
220 -88 -76 0
118 -168 -14 0
-58 38 5 0
-34 -146 36 0
-231 -214 167 0
-173 -159 121 0
-169 54 -21 0
65 -175 22 0
-181 175 -238 0
-27 72 -194 0
227 -181 -41 0
-200 99 -30 0
-204 -95 -71 0
66 94 -137 0
-33 87 50 0
-110 6 -239 0
-126 52 16 0
52 -225 141 0
-85 14 -147 0
-198 99 43 0
55 185 -78 0
211 231 227 0
168 -226 -163 0
125 188 113 0
43 -104 -111 0
-94 -114 -10 0
98 158 -169 0
97 -192 145 0
225 -107 7 0
155 244 114 0
-198 127 156 0
145 -111 11 0
-233 30 -226 0
-197 14 64 0
214 6 8 0
120 -219 -167 0
-129 -70 -40 0
-174 -116 4 0
-108 -190 -56 0
-186 -107 -162 0
-234 55 150 0
80 209 145 0
94 -22 -143 0
-140 -29 -76 0
101 136 77 0
194 -63 -65 0
168 -43 -104 0
-89 6 -223 0
-118 -242 174 0
-163 38 10 0
249 243 152 0
209 4 158 0
-14 -155 -76 0
131 -3 170 0
-178 109 -143 0
-26 -95 185 0
-42 -118 25 0
19 -193 -245 0
-22 59 134 0
-46 -41 188 0
130 -4 129 0
85 -222 155 0
-200 188 -26 0
-75 -53 13 0
-37 -39 -165 0
-7 -107 146 0
173 6 -47 0
-160 64 -155 0
-139 82 -238 0
-26 76 -19 0
-83 -56 101 0
53 -114 -27 0
-67 99 -206 0
-157 173 45 0
-125 98 -159 0
-137 120 -14 0
10 -151 68 0
-179 67 -106 0
-97 193 -62 0
-226 211 232 0
92 -241 -139 0
-60 238 -136 0
-134 203 -202 0
-129 183 182 0
74 -50 229 0
-74 -26 72 0
198 190 38 0
-219 -201 14 0
159 69 32 0
108 -82 155 0
-168 -210 -113 0
39 -119 -183 0
-138 171 -200 0
1 249 -208 0
138 195 -48 0
-131 -198 144 0
-236 226 -184 0
169 190 -56 0
-9 91 -145 0
-182 11 -177 0
163 -183 156 0
121 162 68 0
-189 249 -59 0
141 125 240 0
-17 23 -123 0
151 -164 108 0
-148 -91 194 0
-85 83 -23 0
42 218 15 0
144 -18 -128 0
191 -112 44 0
81 65 -103 0
49 114 -80 0
-211 49 -125 0
-81 -224 144 0
-88 -180 -216 0
-144 60 -197 0
244 -134 89 0
230 -166 -144 0
230 -222 -197 0
-228 -18 116 0
75 42 -153 0
246 32 120 0
181 -84 -240 0
-48 168 103 0
180 -18 -50 0
138 35 241 0
-28 -51 -61 0
-222 -66 -249 0
-93 -187 -104 0
227 -110 161 0
-226 42 -155 0
245 110 -10 0
-219 -230 211 0
153 -34 -38 0
149 -205 -78 0
180 -207 24 0
44 -167 -216 0
-198 -189 -203 0
9 58 -177 0
14 211 110 0
73 200 -48 0
-202 -78 136 0
141 -79 -44 0
-236 246 6 0
-68 -56 29 0
18 219 249 0
-34 -16 -111 0
24 -74 70 0
16 152 53 0
90 132 151 0
-167 -76 16 0
199 173 96 0
51 -115 102 0
-178 -198 -170 0
-75 -59 -116 0
22 93 -249 0
-117 207 -61 0
241 -67 -16 0
111 114 145 0
-14 -169 172 0
52 -165 -191 0
-188 68 -156 0
-149 21 -238 0
112 224 -38 0
120 -17 -50 0
140 -197 109 0
-29 -185 -128 0
107 -81 179 0
18 106 16 0
-187 232 -36 0
180 -164 128 0
-98 -23 -59 0
133 -64 71 0
104 -175 172 0
-139 -167 16 0
-105 83 -203 0
-107 -219 -218 0
-156 -77 -239 0
-42 242 71 0
246 -249 218 0
50 28 204 0
-198 117 -44 0
91 -187 -64 0
225 -205 194 0
96 -163 -53 0
-184 -223 3 0
212 172 -128 0
242 178 96 0
-8 230 -212 0
4 -120 -41 0
31 116 -186 0
-45 -215 -81 0
-81 211 95 0
-184 -23 80 0
24 227 -224 0
-27 64 22 0
-122 141 -239 0
-121 144 -168 0
-65 -3 -207 0
-250 -172 -156 0
-129 -13 2 0
-175 97 239 0
121 -169 195 0
-222 199 -18 0
108 93 87 0
-202 194 84 0
51 -19 -155 0
91 52 122 0
51 -62 204 0
233 97 -139 0
-141 61 -148 0
-33 65 -10 0
140 -195 243 0
-17 31 -144 0
-17 -81 230 0
110 41 -150 0
248 -49 227 0
-199 -126 25 0
-23 154 -36 0
49 140 214 0
117 -155 -154 0
-179 -159 -218 0
236 115 -78 0
16 -78 -118 0
-186 43 -132 0
-13 -188 -81 0
86 132 150 0
6 23 -180 0
-48 49 63 0
157 -36 -98 0
214 198 106 0
-35 200 -191 0
-250 8 1 0
-165 138 -83 0
-32 -210 -219 0
-48 211 -102 0
-212 -40 -166 0
-131 -224 176 0
-164 68 -155 0
-180 -77 -168 0
-52 -4 -126 0
119 -170 -35 0
151 117 -128 0
-195 -88 48 0
121 -208 172 0
-71 168 212 0
-93 -192 -12 0
-79 -113 22 0
-101 89 129 0
153 -151 -219 0
161 -240 50 0
-215 -57 65 0
-130 -13 139 0
192 -69 -121 0
82 -120 -51 0
-183 -105 -210 0
-105 -192 -230 0
195 -47 -175 0
-116 -140 -213 0
-137 41 -48 0
158 23 97 0
40 109 -16 0
182 221 -230 0
-250 -170 66 0
-140 -43 -67 0
180 -137 27 0
43 42 117 0
244 39 -29 0
99 -12 22 0
-199 -210 114 0
67 76 -201 0
193 -122 -176 0
-108 177 33 0
92 -124 137 0
159 132 -15 0
-43 -85 30 0
127 -120 -231 0
46 -36 91 0
203 -13 -240 0
-144 34 54 0
-112 99 157 0
-250 218 -204 0
-143 -66 168 0
99 -97 -103 0
11 -80 12 0
137 -100 166 0
127 -240 -225 0
-212 112 -60 0
219 194 -49 0
49 42 65 0
128 242 -153 0
50 -162 132 0
18 203 212 0
30 51 249 0
-63 -171 -72 0
181 -108 -169 0
225 -201 115 0
-206 242 -58 0
-223 -98 190 0
2 239 -232 0
-1 -46 -70 0
-123 -103 -172 0
-92 165 -137 0
-38 54 -53 0
40 27 216 0
234 101 127 0
-24 -142 107 0
-90 219 230 0
-182 -156 -115 0
-212 -173 167 0
-9 -177 -118 0
-140 -3 -30 0
62 37 -126 0
-102 -195 150 0
106 141 -205 0
-40 -76 74 0
44 101 56 0
230 -160 39 0
-100 53 -247 0
-31 -125 -66 0
-133 186 -209 0
10 -136 21 0
67 189 -28 0
-158 -144 32 0
-80 -173 175 0
-29 -41 7 0
-158 7 -235 0
47 -139 -132 0
54 152 -71 0
135 137 136 0
-129 60 85 0
-234 -205 -89 0
161 179 48 0
219 -56 194 0
-1 25 -137 0
180 212 228 0
-96 81 229 0
-94 209 40 0
-184 220 -99 0
127 -9 13 0
-182 75 -58 0
-184 185 235 0
24 212 -241 0
-106 -37 -211 0
-193 41 228 0
52 -235 198 0
-13 -78 221 0
29 15 -51 0
-11 -184 190 0
-190 81 -143 0
-40 -88 181 0
-24 -208 -152 0
-83 233 -157 0
-37 -12 168 0
-80 172 -136 0
169 129 -10 0
174 -139 164 0
218 216 100 0
109 136 113 0
-82 -191 17 0
-140 -82 234 0
105 -104 237 0
-135 147 -86 0
-86 -129 -70 0
44 -236 122 0
-165 -93 116 0
-246 96 150 0
-103 -247 -225 0
-122 67 124 0
-122 59 -14 0
-27 -33 59 0
188 -176 146 0
-165 -11 -5 0
135 70 53 0
36 132 -126 0
16 151 -25 0
124 231 130 0
27 233 -49 0
17 7 66 0
137 50 207 0
5 -114 232 0
234 62 6 0
-152 -108 -57 0
196 -156 -185 0
88 111 249 0
124 -126 -212 0
-130 138 212 0
209 153 151 0
-193 48 -195 0
77 -147 -29 0
-174 -65 -26 0
-34 -49 68 0
-38 -142 222 0
-227 -99 -121 0
90 -53 78 0
19 -51 82 0
224 -220 -50 0
110 -3 126 0
154 168 130 0
206 178 157 0
-50 65 86 0
-132 81 -241 0
165 232 -208 0
-70 -216 -65 0
-54 -196 -81 0
246 -27 191 0
102 -39 130 0
47 -134 233 0
-152 -243 11 0
-119 -245 -196 0
76 201 200 0
-65 -133 146 0
-196 21 -248 0
-223 -176 163 0
-234 -11 99 0
103 37 4 0
159 118 -167 0
-169 -8 -161 0
-87 -158 111 0
-102 124 -14 0
3 -155 11 0
-41 -116 -181 0
98 89 -250 0
194 92 -93 0
58 -192 -107 0
46 -144 64 0
119 -191 136 0
41 247 -145 0
225 198 241 0
-51 -60 -22 0
-67 -177 -56 0
151 -100 146 0
-92 -189 41 0
-136 205 -243 0
-207 -72 -56 0
-141 -45 113 0
151 75 194 0
-91 -203 31 0
-176 -75 -215 0
-164 -158 58 0
155 -26 81 0
112 -122 -80 0
-148 -8 143 0
-189 -65 156 0
-138 146 -14 0
231 20 -176 0
-67 -149 -18 0
-87 102 193 0
-62 218 -146 0
74 -9 -24 0
-237 -185 -158 0
58 -63 93 0
-10 46 -148 0
-34 87 145 0
57 -127 -23 0
-219 201 -160 0
-71 -171 -218 0
209 -5 -223 0
-33 -241 -84 0
-192 227 -13 0
190 -27 177 0
-6 -223 -209 0
150 -95 -209 0
-119 -234 157 0
90 103 54 0
79 7 138 0
44 111 -14 0
-206 234 -244 0
-81 -225 179 0
65 16 191 0
231 -196 14 0
-159 -245 231 0
71 203 -48 0
-10 -198 127 0
-26 250 -69 0
-224 -99 132 0
107 125 77 0
-151 -117 -25 0
-101 -190 90 0
31 153 -25 0
-35 94 -241 0
250 188 -82 0
-149 176 -243 0
-66 -225 -113 0
-179 232 142 0
96 116 -105 0
43 32 -123 0
-1 -6 -72 0
167 -244 169 0
-19 77 -103 0
171 -125 49 0
210 -4 -112 0
229 128 -224 0
-245 37 146 0
-34 -85 -121 0
69 -165 -24 0
197 -150 238 0
-27 210 242 0
152 -4 -149 0
-91 201 49 0
-111 155 -208 0
119 217 46 0
-220 52 -237 0
-73 204 -249 0
-186 92 -116 0
-28 163 -106 0
-131 166 93 0
-204 -240 -169 0
-186 -23 -174 0
-100 -180 16 0
167 -191 231 0
-148 -57 -193 0
108 -187 -204 0
-247 -64 -177 0
94 98 100 0
-177 230 -205 0
-186 -149 129 0
246 -107 -46 0
-18 47 127 0
-31 -142 -147 0
-67 -184 -115 0
161 -82 181 0
-132 -215 -206 0
127 -4 235 0
-49 222 171 0
-105 -178 -58 0
-213 63 73 0
-243 -233 -8 0
136 36 -248 0
150 87 161 0
194 136 200 0
243 -68 165 0
108 -203 -249 0
109 -36 -193 0
-45 55 67 0
-228 69 234 0
-30 -62 156 0
-211 235 -69 0
116 209 -4 0
40 109 214 0
-204 -42 -157 0
-26 -249 -38 0
47 153 -149 0
84 227 207 0
-245 -75 -130 0
-47 135 -236 0
-178 98 -203 0
129 -75 -48 0
-26 24 -135 0
-3 105 -245 0
77 109 -60 0
-17 -239 229 0
114 82 161 0
136 -46 204 0
121 10 119 0
-80 -180 -104 0
-157 -229 -215 0
-239 13 54 0
-218 -8 121 0
-45 -246 35 0
207 -78 36 0
46 125 -5 0
232 -239 199 0
-110 106 -79 0
7 -71 -200 0
-148 -190 -26 0
-210 45 119 0
151 37 -108 0
-171 -181 -101 0
-204 -168 -197 0
-102 107 119 0
-121 -250 -163 0
-108 -114 4 0
211 -134 -5 0
-187 -87 84 0
-63 -92 -149 0
-48 89 -188 0
-178 -185 -15 0
5 -110 -113 0
175 -108 83 0
-50 -53 -164 0
136 -32 220 0
-224 169 -232 0
217 104 -242 0
-74 37 19 0
-229 93 63 0
-23 -177 77 0
40 -223 237 0
-152 178 189 0
55 -80 -87 0
-83 215 223 0
190 -129 16 0
-161 163 -70 0
-83 52 -95 0
29 138 233 0
185 -88 86 0
18 -73 -39 0
-118 104 140 0
-93 117 65 0
82 -121 -9 0
176 -156 -219 0
-110 2 -235 0
126 153 31 0
29 182 -93 0
200 143 222 0
-189 21 -73 0
-60 7 -219 0
84 195 -177 0
-128 216 -173 0
-184 33 -88 0
9 -234 -222 0
65 -244 232 0
180 -35 218 0
98 -12 217 0
215 165 -82 0
-4 -79 110 0
-200 225 -38 0
-206 187 -24 0
-174 -140 -169 0
189 -125 -65 0
146 -180 213 0
50 104 97 0
76 -241 41 0
-7 -87 -223 0
-76 -165 -6 0
-25 81 111 0
-110 -136 -118 0
60 -48 143 0
-182 153 143 0
36 153 -34 0
224 67 -49 0
-99 163 -21 0
119 178 -41 0
-68 209 -89 0
79 -148 69 0
-80 -163 -177 0
14 95 143 0
27 -179 -188 0
4 -8 173 0
8 -46 184 0
187 238 35 0
-94 -129 -126 0
-247 190 115 0
149 9 63 0
107 -109 -76 0
-162 -121 221 0
228 78 -216 0
-39 -60 68 0
208 -142 -82 0
-51 69 -41 0
110 -21 97 0
-167 195 -159 0
11 -85 32 0
-151 -195 -168 0
-165 -15 200 0
181 1 78 0
108 -248 239 0
238 -141 121 0
-45 119 53 0
92 -16 -33 0
-99 -153 175 0
-221 37 -4 0
245 40 -24 0
223 103 -110 0
44 -156 -227 0
-250 -45 101 0
-179 -191 67 0
66 144 -159 0
-81 232 -69 0
-152 -50 -39 0
-77 125 -30 0
207 -227 190 0
143 225 -232 0
17 146 -221 0
218 238 -28 0
241 193 28 0
-19 77 -53 0
46 242 187 0
-17 -59 -146 0
-215 112 220 0
-145 -108 -29 0
248 146 224 0
-11 -149 66 0
198 -192 167 0
75 -144 171 0
-130 -30 146 0
56 -199 168 0
-103 -9 170 0
-26 -153 -38 0
-2 71 -110 0
211 -244 -25 0
129 -207 -176 0
-67 89 -183 0
82 -33 41 0
-86 -227 -107 0
-190 -109 215 0
191 -93 73 0
-41 -206 -147 0
-111 -24 -187 0
188 -228 137 0
-15 112 144 0
-95 -17 202 0
225 -174 -45 0
-26 -7 -11 0
122 -96 130 0
-44 -154 -164 0
-46 -227 -7 0
-87 -119 -63 0
-118 -15 216 0
-31 98 219 0
-212 149 -12 0
115 -132 121 0
11 215 132 0
-33 214 137 0
121 123 211 0
-197 244 215 0
-102 235 183 0
236 -116 26 0
-240 -223 -86 0
-239 -92 50 0
-15 127 -76 0
-31 -187 179 0
24 144 150 0
171 -1 62 0
-184 116 123 0
-64 78 180 0
83 88 201 0
-45 74 3 0
34 44 -16 0
-127 -234 8 0
-53 -29 -149 0
-247 250 44 0
-56 167 59 0
-33 -84 -89 0
4 117 239 0
56 111 -209 0
-33 28 208 0
36 95 218 0
168 128 -91 0
-237 9 -92 0
35 67 -243 0
137 -91 -115 0
-152 224 -133 0
-164 -196 -231 0
-157 -209 -47 0
-167 -37 5 0
-66 -27 157 0
-96 45 10 0
118 204 -23 0
55 -30 -182 0
72 -78 189 0
143 -52 -106 0
85 77 43 0
172 -36 -195 0
-75 189 99 0
248 -177 189 0
215 -214 123 0
-99 22 -163 0
115 248 -32 0
228 94 -129 0
77 17 156 0
-34 55 -32 0
-27 167 249 0
-185 224 72 0
156 11 -183 0
-14 -164 218 0
237 213 -112 0
-246 145 -96 0
-68 -19 -179 0
-229 -140 223 0
113 188 -223 0
-138 93 -114 0
178 106 -126 0
228 -167 156 0
-34 102 -91 0
-58 214 123 0
25 162 138 0
-201 -128 -245 0
201 -143 -183 0
224 -232 246 0
214 234 236 0
-111 -146 -216 0
117 120 115 0
-66 -43 -235 0
-142 -122 165 0
-159 -151 -75 0
-199 97 91 0
152 211 -129 0
109 -137 -14 0
-25 -34 189 0
-71 120 104 0
164 203 -139 0
-230 7 -28 0
-105 214 -12 0
-222 122 -206 0
190 105 -45 0
-91 234 -104 0
-129 42 -157 0
-154 143 199 0
88 -62 -168 0
218 -161 -56 0
164 44 -109 0
167 151 -211 0
58 210 -142 0
-51 212 43 0
-170 -223 -174 0
-101 -148 -170 0
130 -81 -93 0
-89 -211 -109 0
211 -17 -195 0
-17 -154 -171 0
-67 -229 -53 0
178 -67 -47 0
169 -246 -161 0
-10 -187 -143 0
153 -207 -31 0
228 -212 139 0
248 -125 143 0
-244 64 46 0
-31 101 -209 0
50 207 -104 0
-241 8 -212 0
205 36 -34 0
-148 -74 242 0
-215 -8 -184 0
-71 231 -195 0
-175 -52 233 0
46 -135 -57 0
-7 130 -211 0
81 -38 -197 0
-2 -31 -108 0
-171 131 -222 0
-175 -62 37 0
118 -147 -149 0
-17 -226 -9 0
-91 -241 -250 0
118 109 85 0
240 -186 163 0
-45 35 199 0
-164 130 68 0
-141 -184 -48 0
-95 249 93 0
-31 77 -40 0
-245 148 242 0
36 -5 234 0
-160 -68 -10 0
192 -53 -140 0
-138 -13 -54 0
-135 -201 -55 0
-230 179 149 0
40 -191 143 0
191 89 -152 0
57 -11 146 0
18 -73 -52 0
216 -178 -123 0
190 -181 -94 0
182 171 -80 0
217 -58 -212 0
215 186 -223 0
211 223 -98 0
236 27 -169 0
-71 40 69 0
102 -90 128 0
-213 -167 -231 0
-105 -143 210 0
191 212 -73 0
8 112 221 0
146 -113 -184 0
69 139 -54 0
-36 -179 129 0
41 -71 65 0
43 188 -217 0
107 -160 92 0
-176 1 -156 0
215 85 158 0
196 -119 110 0
116 23 -227 0
-61 -142 151 0
170 107 -83 0
-55 -50 216 0
1 88 -163 0
-150 214 -166 0
117 108 92 0
-99 179 -130 0
64 58 -14 0
-73 -20 244 0
128 -29 56 0
244 21 -210 0
-109 136 -148 0
-202 -131 -208 0
122 -232 -247 0
206 -94 155 0
113 -131 79 0
-41 74 1 0
88 -14 198 0
23 -100 88 0
146 -171 149 0
-108 45 -166 0
52 157 206 0
121 -182 30 0
175 250 109 0
-67 -165 -244 0
-1 72 220 0
48 60 242 0
19 233 -17 0
-57 -226 244 0
-239 55 -177 0
-157 -20 -212 0
-211 -233 -30 0
37 4 -125 0
47 109 -151 0