puresat-0.1: dimacs/parity/par8-2.cnf
c FILE: par8-2.cnf
c
c SOURCE: James Crawford (jc@research.att.com)
c
c DESCRIPTION: Instance arises from the problem of learning the parity
c function.
c
c parxx-y denotes a parity problem on xx bits. y is simply the
c intance number.
c
c parxx-y-c denotes an instance identical to parxx-y except that
c the instances have been simplified (to create an equivalent
c problem).
c
c NOTE: Satisfiable (checked for 8 and 16 size instances. All
c instances are satisfiable by construction)
c
c NOTE: Number of clauses corrected August 3, 1993
c
c Converted from tableau format Tue Aug 3 09:55:28 EDT 1993
p cnf 350 1157
1
0
2 -1
0
-2 1
0
146 -2 3
0
-146 2 3
0
146 2 -3
0
-146 -2 -3
0
4 -3
0
-4 3
0
148 -4 5
0
-148 4 5
0
148 4 -5
0
-148 -4 -5
0
149 -5 6
0
-149 5 6
0
149 5 -6
0
-149 -5 -6
0
150 -6 7
0
-150 6 7
0
150 6 -7
0
-150 -6 -7
0
8 -7
0
-8 7
0
9 -8
0
-9 8
0
10
0
11 -10
0
-11 10
0
12 -11
0
-12 11
0
13 -12
0
-13 12
0
14 -13
0
-14 13
0
149 -14 15
0
-149 14 15
0
149 14 -15
0
-149 -14 -15
0
16 -15
0
-16 15
0
17 -16
0
-17 16
0
152 -17 18
0
-152 17 18
0
152 17 -18
0
-152 -17 -18
0
-19
0
20 -19
0
-20 19
0
146 -20 21
0
-146 20 21
0
146 20 -21
0
-146 -20 -21
0
147 -21 22
0
-147 21 22
0
147 21 -22
0
-147 -21 -22
0
23 -22
0
-23 22
0
24 -23
0
-24 23
0
25 -24
0
-25 24
0
26 -25
0
-26 25
0
27 -26
0
-27 26
0
28
0
29 -28
0
-29 28
0
146 -29 30
0
-146 29 30
0
146 29 -30
0
-146 -29 -30
0
147 -30 31
0
-147 30 31
0
147 30 -31
0
-147 -30 -31
0
32 -31
0
-32 31
0
33 -32
0
-33 32
0
34 -33
0
-34 33
0
151 -34 35
0
-151 34 35
0
151 34 -35
0
-151 -34 -35
0
152 -35 36
0
-152 35 36
0
152 35 -36
0
-152 -35 -36
0
37
0
145 -37 38
0
-145 37 38
0
145 37 -38
0
-145 -37 -38
0
146 -38 39
0
-146 38 39
0
146 38 -39
0
-146 -38 -39
0
147 -39 40
0
-147 39 40
0
147 39 -40
0
-147 -39 -40
0
41 -40
0
-41 40
0
149 -41 42
0
-149 41 42
0
149 41 -42
0
-149 -41 -42
0
43 -42
0
-43 42
0
151 -43 44
0
-151 43 44
0
151 43 -44
0
-151 -43 -44
0
152 -44 45
0
-152 44 45
0
152 44 -45
0
-152 -44 -45
0
-46
0
47 -46
0
-47 46
0
48 -47
0
-48 47
0
147 -48 49
0
-147 48 49
0
147 48 -49
0
-147 -48 -49
0
50 -49
0
-50 49
0
51 -50
0
-51 50
0
150 -51 52
0
-150 51 52
0
150 51 -52
0
-150 -51 -52
0
151 -52 53
0
-151 52 53
0
151 52 -53
0
-151 -52 -53
0
54 -53
0
-54 53
0
55
0
145 -55 56
0
-145 55 56
0
145 55 -56
0
-145 -55 -56
0
146 -56 57
0
-146 56 57
0
146 56 -57
0
-146 -56 -57
0
147 -57 58
0
-147 57 58
0
147 57 -58
0
-147 -57 -58
0
59 -58
0
-59 58
0
60 -59
0
-60 59
0
150 -60 61
0
-150 60 61
0
150 60 -61
0
-150 -60 -61
0
151 -61 62
0
-151 61 62
0
151 61 -62
0
-151 -61 -62
0
63 -62
0
-63 62
0
-64
0
145 -64 65
0
-145 64 65
0
145 64 -65
0
-145 -64 -65
0
146 -65 66
0
-146 65 66
0
146 65 -66
0
-146 -65 -66
0
67 -66
0
-67 66
0
68 -67
0
-68 67
0
69 -68
0
-69 68
0
150 -69 70
0
-150 69 70
0
150 69 -70
0
-150 -69 -70
0
71 -70
0
-71 70
0
152 -71 72
0
-152 71 72
0
152 71 -72
0
-152 -71 -72
0
-73
0
74 -73
0
-74 73
0
146 -74 75
0
-146 74 75
0
146 74 -75
0
-146 -74 -75
0
76 -75
0
-76 75
0
77 -76
0
-77 76
0
149 -77 78
0
-149 77 78
0
149 77 -78
0
-149 -77 -78
0
150 -78 79
0
-150 78 79
0
150 78 -79
0
-150 -78 -79
0
80 -79
0
-80 79
0
81 -80
0
-81 80
0
82
0
83 -82
0
-83 82
0
146 -83 84
0
-146 83 84
0
146 83 -84
0
-146 -83 -84
0
85 -84
0
-85 84
0
86 -85
0
-86 85
0
149 -86 87
0
-149 86 87
0
149 86 -87
0
-149 -86 -87
0
150 -87 88
0
-150 87 88
0
150 87 -88
0
-150 -87 -88
0
151 -88 89
0
-151 88 89
0
151 88 -89
0
-151 -88 -89
0
90 -89
0
-90 89
0
91
0
92 -91
0
-92 91
0
146 -92 93
0
-146 92 93
0
146 92 -93
0
-146 -92 -93
0
147 -93 94
0
-147 93 94
0
147 93 -94
0
-147 -93 -94
0
95 -94
0
-95 94
0
96 -95
0
-96 95
0
150 -96 97
0
-150 96 97
0
150 96 -97
0
-150 -96 -97
0
98 -97
0
-98 97
0
99 -98
0
-99 98
0
100
0
145 -100 101
0
-145 100 101
0
145 100 -101
0
-145 -100 -101
0
102 -101
0
-102 101
0
147 -102 103
0
-147 102 103
0
147 102 -103
0
-147 -102 -103
0
104 -103
0
-104 103
0
105 -104
0
-105 104
0
106 -105
0
-106 105
0
107 -106
0
-107 106
0
108 -107
0
-108 107
0
109
0
110 -109
0
-110 109
0
111 -110
0
-111 110
0
147 -111 112
0
-147 111 112
0
147 111 -112
0
-147 -111 -112
0
148 -112 113
0
-148 112 113
0
148 112 -113
0
-148 -112 -113
0
149 -113 114
0
-149 113 114
0
149 113 -114
0
-149 -113 -114
0
150 -114 115
0
-150 114 115
0
150 114 -115
0
-150 -114 -115
0
116 -115
0
-116 115
0
117 -116
0
-117 116
0
118
0
145 -118 119
0
-145 118 119
0
145 118 -119
0
-145 -118 -119
0
146 -119 120
0
-146 119 120
0
146 119 -120
0
-146 -119 -120
0
121 -120
0
-121 120
0
122 -121
0
-122 121
0
149 -122 123
0
-149 122 123
0
149 122 -123
0
-149 -122 -123
0
124 -123
0
-124 123
0
151 -124 125
0
-151 124 125
0
151 124 -125
0
-151 -124 -125
0
152 -125 126
0
-152 125 126
0
152 125 -126
0
-152 -125 -126
0
-127
0
128 -127
0
-128 127
0
129 -128
0
-129 128
0
130 -129
0
-130 129
0
148 -130 131
0
-148 130 131
0
148 130 -131
0
-148 -130 -131
0
132 -131
0
-132 131
0
133 -132
0
-133 132
0
151 -133 134
0
-151 133 134
0
151 133 -134
0
-151 -133 -134
0
152 -134 135
0
-152 134 135
0
152 134 -135
0
-152 -134 -135
0
136
0
145 -136 137
0
-145 136 137
0
145 136 -137
0
-145 -136 -137
0
146 -137 138
0
-146 137 138
0
146 137 -138
0
-146 -137 -138
0
147 -138 139
0
-147 138 139
0
147 138 -139
0
-147 -138 -139
0
140 -139
0
-140 139
0
149 -140 141
0
-149 140 141
0
149 140 -141
0
-149 -140 -141
0
150 -141 142
0
-150 141 142
0
150 141 -142
0
-150 -141 -142
0
151 -142 143
0
-151 142 143
0
151 142 -143
0
-151 -142 -143
0
152 -143 144
0
-152 143 144
0
152 143 -144
0
-152 -143 -144
0
-153
0
-154
0
-155
0
-156
0
-157
0
-158
0
9 -255
0
-9 255
0
255 -153 159
0
-255 153 159
0
255 153 -159
0
-255 -153 -159
0
256 -154 160
0
-256 154 160
0
256 154 -160
0
-256 -154 -160
0
255 -256
0
153 -256
0
-255 -153 256
0
-153 159 256
0
257 -155 161
0
-257 155 161
0
257 155 -161
0
-257 -155 -161
0
256 -257
0
154 -257
0
-256 -154 257
0
-154 160 257
0
258 -156 162
0
-258 156 162
0
258 156 -162
0
-258 -156 -162
0
257 -258
0
155 -258
0
-257 -155 258
0
-155 161 258
0
259 -157 163
0
-259 157 163
0
259 157 -163
0
-259 -157 -163
0
258 -259
0
156 -259
0
-258 -156 259
0
-156 162 259
0
260 -158 164
0
-260 158 164
0
260 158 -164
0
-260 -158 -164
0
259 -260
0
157 -260
0
-259 -157 260
0
-157 163 260
0
18 -261
0
-18 261
0
261 -159 165
0
-261 159 165
0
261 159 -165
0
-261 -159 -165
0
262 -160 166
0
-262 160 166
0
262 160 -166
0
-262 -160 -166
0
261 -262
0
159 -262
0
-261 -159 262
0
-159 165 262
0
263 -161 167
0
-263 161 167
0
263 161 -167
0
-263 -161 -167
0
262 -263
0
160 -263
0
-262 -160 263
0
-160 166 263
0
264 -162 168
0
-264 162 168
0
264 162 -168
0
-264 -162 -168
0
263 -264
0
161 -264
0
-263 -161 264
0
-161 167 264
0
265 -163 169
0
-265 163 169
0
265 163 -169
0
-265 -163 -169
0
264 -265
0
162 -265
0
-264 -162 265
0
-162 168 265
0
266 -164 170
0
-266 164 170
0
266 164 -170
0
-266 -164 -170
0
265 -266
0
163 -266
0
-265 -163 266
0
-163 169 266
0
27 -267
0
-27 267
0
267 -165 171
0
-267 165 171
0
267 165 -171
0
-267 -165 -171
0
268 -166 172
0
-268 166 172
0
268 166 -172
0
-268 -166 -172
0
267 -268
0
165 -268
0
-267 -165 268
0
-165 171 268
0
269 -167 173
0
-269 167 173
0
269 167 -173
0
-269 -167 -173
0
268 -269
0
166 -269
0
-268 -166 269
0
-166 172 269
0
270 -168 174
0
-270 168 174
0
270 168 -174
0
-270 -168 -174
0
269 -270
0
167 -270
0
-269 -167 270
0
-167 173 270
0
271 -169 175
0
-271 169 175
0
271 169 -175
0
-271 -169 -175
0
270 -271
0
168 -271
0
-270 -168 271
0
-168 174 271
0
272 -170 176
0
-272 170 176
0
272 170 -176
0
-272 -170 -176
0
271 -272
0
169 -272
0
-271 -169 272
0
-169 175 272
0
36 -273
0
-36 273
0
273 -171 177
0
-273 171 177
0
273 171 -177
0
-273 -171 -177
0
274 -172 178
0
-274 172 178
0
274 172 -178
0
-274 -172 -178
0
273 -274
0
171 -274
0
-273 -171 274
0
-171 177 274
0
275 -173 179
0
-275 173 179
0
275 173 -179
0
-275 -173 -179
0
274 -275
0
172 -275
0
-274 -172 275
0
-172 178 275
0
276 -174 180
0
-276 174 180
0
276 174 -180
0
-276 -174 -180
0
275 -276
0
173 -276
0
-275 -173 276
0
-173 179 276
0
277 -175 181
0
-277 175 181
0
277 175 -181
0
-277 -175 -181
0
276 -277
0
174 -277
0
-276 -174 277
0
-174 180 277
0
278 -176 182
0
-278 176 182
0
278 176 -182
0
-278 -176 -182
0
277 -278
0
175 -278
0
-277 -175 278
0
-175 181 278
0
45 -279
0
-45 279
0
279 -177 183
0
-279 177 183
0
279 177 -183
0
-279 -177 -183
0
280 -178 184
0
-280 178 184
0
280 178 -184
0
-280 -178 -184
0
279 -280
0
177 -280
0
-279 -177 280
0
-177 183 280
0
281 -179 185
0
-281 179 185
0
281 179 -185
0
-281 -179 -185
0
280 -281
0
178 -281
0
-280 -178 281
0
-178 184 281
0
282 -180 186
0
-282 180 186
0
282 180 -186
0
-282 -180 -186
0
281 -282
0
179 -282
0
-281 -179 282
0
-179 185 282
0
283 -181 187
0
-283 181 187
0
283 181 -187
0
-283 -181 -187
0
282 -283
0
180 -283
0
-282 -180 283
0
-180 186 283
0
284 -182 188
0
-284 182 188
0
284 182 -188
0
-284 -182 -188
0
283 -284
0
181 -284
0
-283 -181 284
0
-181 187 284
0
54 -285
0
-54 285
0
285 -183 189
0
-285 183 189
0
285 183 -189
0
-285 -183 -189
0
286 -184 190
0
-286 184 190
0
286 184 -190
0
-286 -184 -190
0
285 -286
0
183 -286
0
-285 -183 286
0
-183 189 286
0
287 -185 191
0
-287 185 191
0
287 185 -191
0
-287 -185 -191
0
286 -287
0
184 -287
0
-286 -184 287
0
-184 190 287
0
288 -186 192
0
-288 186 192
0
288 186 -192
0
-288 -186 -192
0
287 -288
0
185 -288
0
-287 -185 288
0
-185 191 288
0
289 -187 193
0
-289 187 193
0
289 187 -193
0
-289 -187 -193
0
288 -289
0
186 -289
0
-288 -186 289
0
-186 192 289
0
290 -188 194
0
-290 188 194
0
290 188 -194
0
-290 -188 -194
0
289 -290
0
187 -290
0
-289 -187 290
0
-187 193 290
0
63 -291
0
-63 291
0
291 -189 195
0
-291 189 195
0
291 189 -195
0
-291 -189 -195
0
292 -190 196
0
-292 190 196
0
292 190 -196
0
-292 -190 -196
0
291 -292
0
189 -292
0
-291 -189 292
0
-189 195 292
0
293 -191 197
0
-293 191 197
0
293 191 -197
0
-293 -191 -197
0
292 -293
0
190 -293
0
-292 -190 293
0
-190 196 293
0
294 -192 198
0
-294 192 198
0
294 192 -198
0
-294 -192 -198
0
293 -294
0
191 -294
0
-293 -191 294
0
-191 197 294
0
295 -193 199
0
-295 193 199
0
295 193 -199
0
-295 -193 -199
0
294 -295
0
192 -295
0
-294 -192 295
0
-192 198 295
0
296 -194 200
0
-296 194 200
0
296 194 -200
0
-296 -194 -200
0
295 -296
0
193 -296
0
-295 -193 296
0
-193 199 296
0
72 -297
0
-72 297
0
297 -195 201
0
-297 195 201
0
297 195 -201
0
-297 -195 -201
0
298 -196 202
0
-298 196 202
0
298 196 -202
0
-298 -196 -202
0
297 -298
0
195 -298
0
-297 -195 298
0
-195 201 298
0
299 -197 203
0
-299 197 203
0
299 197 -203
0
-299 -197 -203
0
298 -299
0
196 -299
0
-298 -196 299
0
-196 202 299
0
300 -198 204
0
-300 198 204
0
300 198 -204
0
-300 -198 -204
0
299 -300
0
197 -300
0
-299 -197 300
0
-197 203 300
0
301 -199 205
0
-301 199 205
0
301 199 -205
0
-301 -199 -205
0
300 -301
0
198 -301
0
-300 -198 301
0
-198 204 301
0
302 -200 206
0
-302 200 206
0
302 200 -206
0
-302 -200 -206
0
301 -302
0
199 -302
0
-301 -199 302
0
-199 205 302
0
81 -303
0
-81 303
0
303 -201 207
0
-303 201 207
0
303 201 -207
0
-303 -201 -207
0
304 -202 208
0
-304 202 208
0
304 202 -208
0
-304 -202 -208
0
303 -304
0
201 -304
0
-303 -201 304
0
-201 207 304
0
305 -203 209
0
-305 203 209
0
305 203 -209
0
-305 -203 -209
0
304 -305
0
202 -305
0
-304 -202 305
0
-202 208 305
0
306 -204 210
0
-306 204 210
0
306 204 -210
0
-306 -204 -210
0
305 -306
0
203 -306
0
-305 -203 306
0
-203 209 306
0
307 -205 211
0
-307 205 211
0
307 205 -211
0
-307 -205 -211
0
306 -307
0
204 -307
0
-306 -204 307
0
-204 210 307
0
308 -206 212
0
-308 206 212
0
308 206 -212
0
-308 -206 -212
0
307 -308
0
205 -308
0
-307 -205 308
0
-205 211 308
0
90 -309
0
-90 309
0
309 -207 213
0
-309 207 213
0
309 207 -213
0
-309 -207 -213
0
310 -208 214
0
-310 208 214
0
310 208 -214
0
-310 -208 -214
0
309 -310
0
207 -310
0
-309 -207 310
0
-207 213 310
0
311 -209 215
0
-311 209 215
0
311 209 -215
0
-311 -209 -215
0
310 -311
0
208 -311
0
-310 -208 311
0
-208 214 311
0
312 -210 216
0
-312 210 216
0
312 210 -216
0
-312 -210 -216
0
311 -312
0
209 -312
0
-311 -209 312
0
-209 215 312
0
313 -211 217
0
-313 211 217
0
313 211 -217
0
-313 -211 -217
0
312 -313
0
210 -313
0
-312 -210 313
0
-210 216 313
0
314 -212 218
0
-314 212 218
0
314 212 -218
0
-314 -212 -218
0
313 -314
0
211 -314
0
-313 -211 314
0
-211 217 314
0
99 -315
0
-99 315
0
315 -213 219
0
-315 213 219
0
315 213 -219
0
-315 -213 -219
0
316 -214 220
0
-316 214 220
0
316 214 -220
0
-316 -214 -220
0
315 -316
0
213 -316
0
-315 -213 316
0
-213 219 316
0
317 -215 221
0
-317 215 221
0
317 215 -221
0
-317 -215 -221
0
316 -317
0
214 -317
0
-316 -214 317
0
-214 220 317
0
318 -216 222
0
-318 216 222
0
318 216 -222
0
-318 -216 -222
0
317 -318
0
215 -318
0
-317 -215 318
0
-215 221 318
0
319 -217 223
0
-319 217 223
0
319 217 -223
0
-319 -217 -223
0
318 -319
0
216 -319
0
-318 -216 319
0
-216 222 319
0
320 -218 224
0
-320 218 224
0
320 218 -224
0
-320 -218 -224
0
319 -320
0
217 -320
0
-319 -217 320
0
-217 223 320
0
108 -321
0
-108 321
0
321 -219 225
0
-321 219 225
0
321 219 -225
0
-321 -219 -225
0
322 -220 226
0
-322 220 226
0
322 220 -226
0
-322 -220 -226
0
321 -322
0
219 -322
0
-321 -219 322
0
-219 225 322
0
323 -221 227
0
-323 221 227
0
323 221 -227
0
-323 -221 -227
0
322 -323
0
220 -323
0
-322 -220 323
0
-220 226 323
0
324 -222 228
0
-324 222 228
0
324 222 -228
0
-324 -222 -228
0
323 -324
0
221 -324
0
-323 -221 324
0
-221 227 324
0
325 -223 229
0
-325 223 229
0
325 223 -229
0
-325 -223 -229
0
324 -325
0
222 -325
0
-324 -222 325
0
-222 228 325
0
326 -224 230
0
-326 224 230
0
326 224 -230
0
-326 -224 -230
0
325 -326
0
223 -326
0
-325 -223 326
0
-223 229 326
0
117 -327
0
-117 327
0
327 -225 231
0
-327 225 231
0
327 225 -231
0
-327 -225 -231
0
328 -226 232
0
-328 226 232
0
328 226 -232
0
-328 -226 -232
0
327 -328
0
225 -328
0
-327 -225 328
0
-225 231 328
0
329 -227 233
0
-329 227 233
0
329 227 -233
0
-329 -227 -233
0
328 -329
0
226 -329
0
-328 -226 329
0
-226 232 329
0
330 -228 234
0
-330 228 234
0
330 228 -234
0
-330 -228 -234
0
329 -330
0
227 -330
0
-329 -227 330
0
-227 233 330
0
331 -229 235
0
-331 229 235
0
331 229 -235
0
-331 -229 -235
0
330 -331
0
228 -331
0
-330 -228 331
0
-228 234 331
0
332 -230 236
0
-332 230 236
0
332 230 -236
0
-332 -230 -236
0
331 -332
0
229 -332
0
-331 -229 332
0
-229 235 332
0
126 -333
0
-126 333
0
333 -231 237
0
-333 231 237
0
333 231 -237
0
-333 -231 -237
0
334 -232 238
0
-334 232 238
0
334 232 -238
0
-334 -232 -238
0
333 -334
0
231 -334
0
-333 -231 334
0
-231 237 334
0
335 -233 239
0
-335 233 239
0
335 233 -239
0
-335 -233 -239
0
334 -335
0
232 -335
0
-334 -232 335
0
-232 238 335
0
336 -234 240
0
-336 234 240
0
336 234 -240
0
-336 -234 -240
0
335 -336
0
233 -336
0
-335 -233 336
0
-233 239 336
0
337 -235 241
0
-337 235 241
0
337 235 -241
0
-337 -235 -241
0
336 -337
0
234 -337
0
-336 -234 337
0
-234 240 337
0
338 -236 242
0
-338 236 242
0
338 236 -242
0
-338 -236 -242
0
337 -338
0
235 -338
0
-337 -235 338
0
-235 241 338
0
135 -339
0
-135 339
0
339 -237 243
0
-339 237 243
0
339 237 -243
0
-339 -237 -243
0
340 -238 244
0
-340 238 244
0
340 238 -244
0
-340 -238 -244
0
339 -340
0
237 -340
0
-339 -237 340
0
-237 243 340
0
341 -239 245
0
-341 239 245
0
341 239 -245
0
-341 -239 -245
0
340 -341
0
238 -341
0
-340 -238 341
0
-238 244 341
0
342 -240 246
0
-342 240 246
0
342 240 -246
0
-342 -240 -246
0
341 -342
0
239 -342
0
-341 -239 342
0
-239 245 342
0
343 -241 247
0
-343 241 247
0
343 241 -247
0
-343 -241 -247
0
342 -343
0
240 -343
0
-342 -240 343
0
-240 246 343
0
344 -242 248
0
-344 242 248
0
344 242 -248
0
-344 -242 -248
0
343 -344
0
241 -344
0
-343 -241 344
0
-241 247 344
0
144 -345
0
-144 345
0
345 -243 249
0
-345 243 249
0
345 243 -249
0
-345 -243 -249
0
346 -244 250
0
-346 244 250
0
346 244 -250
0
-346 -244 -250
0
345 -346
0
243 -346
0
-345 -243 346
0
-243 249 346
0
347 -245 251
0
-347 245 251
0
347 245 -251
0
-347 -245 -251
0
346 -347
0
244 -347
0
-346 -244 347
0
-244 250 347
0
348 -246 252
0
-348 246 252
0
348 246 -252
0
-348 -246 -252
0
347 -348
0
245 -348
0
-347 -245 348
0
-245 251 348
0
349 -247 253
0
-349 247 253
0
349 247 -253
0
-349 -247 -253
0
348 -349
0
246 -349
0
-348 -246 349
0
-246 252 349
0
350 -248 254
0
-350 248 254
0
350 248 -254
0
-350 -248 -254
0
349 -350
0
247 -350
0
-349 -247 350
0
-247 253 350
0
-254
0
-253
0
-252
0
-251
0
-250
0
-260
0
-266
0
-272
0
-278
0
-284
0
-290
0
-296
0
-302
0
-308
0
-314
0
-320
0
-326
0
-332
0
-338
0
-344
0
-350
0