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