t4

p cnf 381 616
-379 -381  0
-376 -378  0
-375 379 380  0
-374 376 377  0
-370 372 373  0
-369 -371  0
-368 374  0
-368 375  0
-367 369 370  0
-364 -366  0
-363 367  0
-363 368  0
-362 364 365  0
-359 360 361  0
-357 358 359  0
-355 356 357  0
-353 354 355  0
-351 352 353  0
-348 350 351  0
-347 -349  0
-346 362  0
-346 363  0
-345 347 348  0
-342 -344  0
-341 -343  0
-340 341  0
-340 342  0
-336 -338  0
-335 -337  0
-334 335  0
-334 336  0
-332 339  0
-332 340  0
-331 333  0
-331 334  0
-328 -330  0
-327 -329  0
-326 327  0
-326 328  0
-324 331 332  0
-323 325  0
-323 326  0
-321 323 324  0
-320 -322  0
-319 345  0
-319 346  0
-318 320 321  0
-315 -317  0
-314 318  0
-314 319  0
-313 315 316  0
-310 -312  0
-309 313  0
-309 314  0
-308 310 311  0
-305 -307  0
-304 308  0
-304 309  0
-303 305 306  0
-300 -302  0
-299 303  0
-299 304  0
-298 300 301  0
-295 -297  0
-294 298  0
-294 299  0
-293 295 296  0
-290 -292  0
-289 293  0
-289 294  0
-288 290 291  0
-285 -287  0
-284 288  0
-284 289  0
-283 285 286  0
-280 -282  0
-279 283  0
-279 284  0
-278 280 281  0
-275 -277  0
-274 278  0
-274 279  0
-273 275 276  0
-270 -272  0
-269 273  0
-269 274  0
-268 270 271  0
-265 -267  0
-264 268  0
-264 269  0
-263 265 266  0
-260 -262  0
-259 263  0
-259 264  0
-258 260 261  0
-255 -257  0
-254 258  0
-254 259  0
-253 255 256  0
-250 251 252  0
-248 249 250  0
-246 247 248  0
-244 245 246  0
-242 243 244  0
-240 241 242  0
-238 239 240  0
-236 237 238  0
-233 235 236  0
-232 -234  0
-231 253  0
-231 254  0
-230 232 233  0
-227 -229  0
-226 230  0
-226 231  0
-225 227 228  0
-222 -224  0
-221 225  0
-221 226  0
-220 222 223  0
-217 -219  0
-216 220  0
-216 221  0
-215 217 218  0
-212 -214  0
-211 -213  0
-209 211  0
-209 212  0
-208 -210  0
-206 208  0
-206 209  0
-205 -207  0
-203 205  0
-203 206  0
-202 -204  0
-200 202  0
-200 203  0
-199 -201  0
-197 199  0
-197 200  0
-196 -198  0
-195 196  0
-195 197  0
-191 -193  0
-190 -192  0
-188 190  0
-188 191  0
-187 -189  0
-185 187  0
-185 188  0
-184 -186  0
-182 184  0
-182 185  0
-181 -183  0
-179 181  0
-179 182  0
-178 -180  0
-176 178  0
-176 179  0
-175 -177  0
-174 175  0
-174 176  0
-172 194  0
-172 195  0
-171 173  0
-171 174  0
-168 -170  0
-167 -169  0
-165 167  0
-165 168  0
-164 -166  0
-162 164  0
-162 165  0
-161 -163  0
-159 161  0
-159 162  0
-158 -160  0
-156 158  0
-156 159  0
-155 -157  0
-153 155  0
-153 156  0
-152 -154  0
-151 152  0
-151 153  0
-149 171 172  0
-148 150  0
-148 151  0
-145 -147  0
-144 -146  0
-142 144  0
-142 145  0
-141 -143  0
-139 141  0
-139 142  0
-138 -140  0
-136 138  0
-136 139  0
-135 -137  0
-133 135  0
-133 136  0
-132 -134  0
-130 132  0
-130 133  0
-129 -131  0
-128 129  0
-128 130  0
-126 148 149  0
-125 127  0
-125 128  0
-122 -124  0
-121 -123  0
-119 121  0
-119 122  0
-118 -120  0
-116 118  0
-116 119  0
-115 -117  0
-113 115  0
-113 116  0
-112 -114  0
-110 112  0
-110 113  0
-109 -111  0
-107 109  0
-107 110  0
-106 -108  0
-105 106  0
-105 107  0
-103 125 126  0
-102 104  0
-102 105  0
-99 -101  0
-98 -100  0
-96 98  0
-96 99  0
-95 -97  0
-93 95  0
-93 96  0
-92 -94  0
-90 92  0
-90 93  0
-89 -91  0
-87 89  0
-87 90  0
-86 -88  0
-84 86  0
-84 87  0
-83 -85  0
-82 83  0
-82 84  0
-80 102 103  0
-79 81  0
-79 82  0
-76 -78  0
-75 -77  0
-73 75  0
-73 76  0
-72 -74  0
-70 72  0
-70 73  0
-69 -71  0
-67 69  0
-67 70  0
-66 -68  0
-64 66  0
-64 67  0
-63 -65  0
-61 63  0
-61 64  0
-60 -62  0
-59 60  0
-59 61  0
-57 79 80  0
-56 58  0
-56 59  0
-53 -55  0
-52 -54  0
-50 52  0
-50 53  0
-49 -51  0
-47 49  0
-47 50  0
-46 -48  0
-44 46  0
-44 47  0
-43 -45  0
-41 43  0
-41 44  0
-40 -42  0
-38 40  0
-38 41  0
-37 -39  0
-36 37  0
-36 38  0
-34 56 57  0
-33 35  0
-33 36  0
-31 33 34  0
-30 -32  0
-29 215  0
-29 216  0
-28 30 31  0
-25 -27  0
-24 28  0
-24 29  0
-23 25 26  0
-20 -22  0
-19 23  0
-19 24  0
-18 20 21  0
-15 -17  0
-14 18  0
-14 19  0
-13 15 16  0
-10 -12  0
-9 13  0
-9 14  0
-8 10 11  0
-5 -7  0
-4 8  0
-4 9  0
-3 5 6  0
-2 3  0
-2 4  0
1  0
2  0
2 -3 -4  0
3 -6  0
3 -5  0
4 -8 -9  0
5 7  0
8 -11  0
8 -10  0
9 -13 -14  0
10 12  0
13 -16  0
13 -15  0
14 -18 -19  0
15 17  0
18 -21  0
18 -20  0
19 -23 -24  0
20 22  0
23 -26  0
23 -25  0
24 -28 -29  0
25 27  0
28 -31  0
28 -30  0
29 -215 -216  0
30 32  0
31 -34  0
31 -33  0
33 -35 -36  0
34 -57  0
34 -56  0
36 -37 -38  0
37 39  0
38 -40 -41  0
40 42  0
41 -43 -44  0
43 45  0
44 -46 -47  0
46 48  0
47 -49 -50  0
49 51  0
50 -52 -53  0
52 54  0
53 55  0
56 -58 -59  0
57 -80  0
57 -79  0
59 -60 -61  0
60 62  0
61 -63 -64  0
63 65  0
64 -66 -67  0
66 68  0
67 -69 -70  0
69 71  0
70 -72 -73  0
72 74  0
73 -75 -76  0
75 77  0
76 78  0
79 -81 -82  0
80 -103  0
80 -102  0
82 -83 -84  0
83 85  0
84 -86 -87  0
86 88  0
87 -89 -90  0
89 91  0
90 -92 -93  0
92 94  0
93 -95 -96  0
95 97  0
96 -98 -99  0
98 100  0
99 101  0
102 -104 -105  0
103 -126  0
103 -125  0
105 -106 -107  0
106 108  0
107 -109 -110  0
109 111  0
110 -112 -113  0
112 114  0
113 -115 -116  0
115 117  0
116 -118 -119  0
118 120  0
119 -121 -122  0
121 123  0
122 124  0
125 -127 -128  0
126 -149  0
126 -148  0
128 -129 -130  0
129 131  0
130 -132 -133  0
132 134  0
133 -135 -136  0
135 137  0
136 -138 -139  0
138 140  0
139 -141 -142  0
141 143  0
142 -144 -145  0
144 146  0
145 147  0
148 -150 -151  0
149 -172  0
149 -171  0
151 -152 -153  0
152 154  0
153 -155 -156  0
155 157  0
156 -158 -159  0
158 160  0
159 -161 -162  0
161 163  0
162 -164 -165  0
164 166  0
165 -167 -168  0
167 169  0
168 170  0
171 -173 -174  0
172 -194 -195  0
174 -175 -176  0
175 177  0
176 -178 -179  0
178 180  0
179 -181 -182  0
181 183  0
182 -184 -185  0
184 186  0
185 -187 -188  0
187 189  0
188 -190 -191  0
190 192  0
191 193  0
195 -196 -197  0
196 198  0
197 -199 -200  0
199 201  0
200 -202 -203  0
202 204  0
203 -205 -206  0
205 207  0
206 -208 -209  0
208 210  0
209 -211 -212  0
211 213  0
212 214  0
215 -218  0
215 -217  0
216 -220 -221  0
217 219  0
220 -223  0
220 -222  0
221 -225 -226  0
222 224  0
225 -228  0
225 -227  0
226 -230 -231  0
227 229  0
230 -233  0
230 -232  0
231 -253 -254  0
232 234  0
233 -236  0
233 -235  0
236 -238  0
236 -237  0
238 -240  0
238 -239  0
240 -242  0
240 -241  0
242 -244  0
242 -243  0
244 -246  0
244 -245  0
246 -248  0
246 -247  0
248 -250  0
248 -249  0
250 -252  0
250 -251  0
253 -256  0
253 -255  0
254 -258 -259  0
255 257  0
258 -261  0
258 -260  0
259 -263 -264  0
260 262  0
263 -266  0
263 -265  0
264 -268 -269  0
265 267  0
268 -271  0
268 -270  0
269 -273 -274  0
270 272  0
273 -276  0
273 -275  0
274 -278 -279  0
275 277  0
278 -281  0
278 -280  0
279 -283 -284  0
280 282  0
283 -286  0
283 -285  0
284 -288 -289  0
285 287  0
288 -291  0
288 -290  0
289 -293 -294  0
290 292  0
293 -296  0
293 -295  0
294 -298 -299  0
295 297  0
298 -301  0
298 -300  0
299 -303 -304  0
300 302  0
303 -306  0
303 -305  0
304 -308 -309  0
305 307  0
308 -311  0
308 -310  0
309 -313 -314  0
310 312  0
313 -316  0
313 -315  0
314 -318 -319  0
315 317  0
318 -321  0
318 -320  0
319 -345 -346  0
320 322  0
321 -324  0
321 -323  0
323 -325 -326  0
324 -332  0
324 -331  0
326 -327 -328  0
327 329  0
328 330  0
331 -333 -334  0
332 -339 -340  0
334 -335 -336  0
335 337  0
336 338  0
340 -341 -342  0
341 343  0
342 344  0
345 -348  0
345 -347  0
346 -362 -363  0
347 349  0
348 -351  0
348 -350  0
351 -353  0
351 -352  0
353 -355  0
353 -354  0
355 -357  0
355 -356  0
357 -359  0
357 -358  0
359 -361  0
359 -360  0
362 -365  0
362 -364  0
363 -367 -368  0
364 366  0
367 -370  0
367 -369  0
368 -374 -375  0
369 371  0
370 -373  0
370 -372  0
374 -377  0
374 -376  0
375 -380  0
375 -379  0
376 378  0
379 381  0