c pigeon-14: placing 15 pigeons into 14 holes
c 
c File generated by 'pigeonhole', (c) Tjark Weber
c 
c The SAT encoding of this problem is very straightforward.  For each pigeon i
c and each hole j we have a variable x_{n*(i-1)+j} which means that pigeon i
c is placed in hole j.  Then we have n+1 clauses which say that a pigeon has
c to be placed in some hole.  Then for each hole we have a set of clauses
c ensuring that only one single pigeon is placed into that hole.
c 
c This encoding leads to a total of (n+1) * n propositional variables and
c (n+1) + n * (n * (n+1) / 2) clauses.
c 
c The resulting SAT problem is unsatisfiable.
c 
p cnf 210 1485
1 2 3 4 5 6 7 8 9 10 11 12 13 14 0
15 16 17 18 19 20 21 22 23 24 25 26 27 28 0
29 30 31 32 33 34 35 36 37 38 39 40 41 42 0
43 44 45 46 47 48 49 50 51 52 53 54 55 56 0
57 58 59 60 61 62 63 64 65 66 67 68 69 70 0
71 72 73 74 75 76 77 78 79 80 81 82 83 84 0
85 86 87 88 89 90 91 92 93 94 95 96 97 98 0
99 100 101 102 103 104 105 106 107 108 109 110 111 112 0
113 114 115 116 117 118 119 120 121 122 123 124 125 126 0
127 128 129 130 131 132 133 134 135 136 137 138 139 140 0
141 142 143 144 145 146 147 148 149 150 151 152 153 154 0
155 156 157 158 159 160 161 162 163 164 165 166 167 168 0
169 170 171 172 173 174 175 176 177 178 179 180 181 182 0
183 184 185 186 187 188 189 190 191 192 193 194 195 196 0
197 198 199 200 201 202 203 204 205 206 207 208 209 210 0
-1 -15 0
-1 -29 0
-1 -43 0
-1 -57 0
-1 -71 0
-1 -85 0
-1 -99 0
-1 -113 0
-1 -127 0
-1 -141 0
-1 -155 0
-1 -169 0
-1 -183 0
-1 -197 0
-15 -29 0
-15 -43 0
-15 -57 0
-15 -71 0
-15 -85 0
-15 -99 0
-15 -113 0
-15 -127 0
-15 -141 0
-15 -155 0
-15 -169 0
-15 -183 0
-15 -197 0
-29 -43 0
-29 -57 0
-29 -71 0
-29 -85 0
-29 -99 0
-29 -113 0
-29 -127 0
-29 -141 0
-29 -155 0
-29 -169 0
-29 -183 0
-29 -197 0
-43 -57 0
-43 -71 0
-43 -85 0
-43 -99 0
-43 -113 0
-43 -127 0
-43 -141 0
-43 -155 0
-43 -169 0
-43 -183 0
-43 -197 0
-57 -71 0
-57 -85 0
-57 -99 0
-57 -113 0
-57 -127 0
-57 -141 0
-57 -155 0
-57 -169 0
-57 -183 0
-57 -197 0
-71 -85 0
-71 -99 0
-71 -113 0
-71 -127 0
-71 -141 0
-71 -155 0
-71 -169 0
-71 -183 0
-71 -197 0
-85 -99 0
-85 -113 0
-85 -127 0
-85 -141 0
-85 -155 0
-85 -169 0
-85 -183 0
-85 -197 0
-99 -113 0
-99 -127 0
-99 -141 0
-99 -155 0
-99 -169 0
-99 -183 0
-99 -197 0
-113 -127 0
-113 -141 0
-113 -155 0
-113 -169 0
-113 -183 0
-113 -197 0
-127 -141 0
-127 -155 0
-127 -169 0
-127 -183 0
-127 -197 0
-141 -155 0
-141 -169 0
-141 -183 0
-141 -197 0
-155 -169 0
-155 -183 0
-155 -197 0
-169 -183 0
-169 -197 0
-183 -197 0
-2 -16 0
-2 -30 0
-2 -44 0
-2 -58 0
-2 -72 0
-2 -86 0
-2 -100 0
-2 -114 0
-2 -128 0
-2 -142 0
-2 -156 0
-2 -170 0
-2 -184 0
-2 -198 0
-16 -30 0
-16 -44 0
-16 -58 0
-16 -72 0
-16 -86 0
-16 -100 0
-16 -114 0
-16 -128 0
-16 -142 0
-16 -156 0
-16 -170 0
-16 -184 0
-16 -198 0
-30 -44 0
-30 -58 0
-30 -72 0
-30 -86 0
-30 -100 0
-30 -114 0
-30 -128 0
-30 -142 0
-30 -156 0
-30 -170 0
-30 -184 0
-30 -198 0
-44 -58 0
-44 -72 0
-44 -86 0
-44 -100 0
-44 -114 0
-44 -128 0
-44 -142 0
-44 -156 0
-44 -170 0
-44 -184 0
-44 -198 0
-58 -72 0
-58 -86 0
-58 -100 0
-58 -114 0
-58 -128 0
-58 -142 0
-58 -156 0
-58 -170 0
-58 -184 0
-58 -198 0
-72 -86 0
-72 -100 0
-72 -114 0
-72 -128 0
-72 -142 0
-72 -156 0
-72 -170 0
-72 -184 0
-72 -198 0
-86 -100 0
-86 -114 0
-86 -128 0
-86 -142 0
-86 -156 0
-86 -170 0
-86 -184 0
-86 -198 0
-100 -114 0
-100 -128 0
-100 -142 0
-100 -156 0
-100 -170 0
-100 -184 0
-100 -198 0
-114 -128 0
-114 -142 0
-114 -156 0
-114 -170 0
-114 -184 0
-114 -198 0
-128 -142 0
-128 -156 0
-128 -170 0
-128 -184 0
-128 -198 0
-142 -156 0
-142 -170 0
-142 -184 0
-142 -198 0
-156 -170 0
-156 -184 0
-156 -198 0
-170 -184 0
-170 -198 0
-184 -198 0
-3 -17 0
-3 -31 0
-3 -45 0
-3 -59 0
-3 -73 0
-3 -87 0
-3 -101 0
-3 -115 0
-3 -129 0
-3 -143 0
-3 -157 0
-3 -171 0
-3 -185 0
-3 -199 0
-17 -31 0
-17 -45 0
-17 -59 0
-17 -73 0
-17 -87 0
-17 -101 0
-17 -115 0
-17 -129 0
-17 -143 0
-17 -157 0
-17 -171 0
-17 -185 0
-17 -199 0
-31 -45 0
-31 -59 0
-31 -73 0
-31 -87 0
-31 -101 0
-31 -115 0
-31 -129 0
-31 -143 0
-31 -157 0
-31 -171 0
-31 -185 0
-31 -199 0
-45 -59 0
-45 -73 0
-45 -87 0
-45 -101 0
-45 -115 0
-45 -129 0
-45 -143 0
-45 -157 0
-45 -171 0
-45 -185 0
-45 -199 0
-59 -73 0
-59 -87 0
-59 -101 0
-59 -115 0
-59 -129 0
-59 -143 0
-59 -157 0
-59 -171 0
-59 -185 0
-59 -199 0
-73 -87 0
-73 -101 0
-73 -115 0
-73 -129 0
-73 -143 0
-73 -157 0
-73 -171 0
-73 -185 0
-73 -199 0
-87 -101 0
-87 -115 0
-87 -129 0
-87 -143 0
-87 -157 0
-87 -171 0
-87 -185 0
-87 -199 0
-101 -115 0
-101 -129 0
-101 -143 0
-101 -157 0
-101 -171 0
-101 -185 0
-101 -199 0
-115 -129 0
-115 -143 0
-115 -157 0
-115 -171 0
-115 -185 0
-115 -199 0
-129 -143 0
-129 -157 0
-129 -171 0
-129 -185 0
-129 -199 0
-143 -157 0
-143 -171 0
-143 -185 0
-143 -199 0
-157 -171 0
-157 -185 0
-157 -199 0
-171 -185 0
-171 -199 0
-185 -199 0
-4 -18 0
-4 -32 0
-4 -46 0
-4 -60 0
-4 -74 0
-4 -88 0
-4 -102 0
-4 -116 0
-4 -130 0
-4 -144 0
-4 -158 0
-4 -172 0
-4 -186 0
-4 -200 0
-18 -32 0
-18 -46 0
-18 -60 0
-18 -74 0
-18 -88 0
-18 -102 0
-18 -116 0
-18 -130 0
-18 -144 0
-18 -158 0
-18 -172 0
-18 -186 0
-18 -200 0
-32 -46 0
-32 -60 0
-32 -74 0
-32 -88 0
-32 -102 0
-32 -116 0
-32 -130 0
-32 -144 0
-32 -158 0
-32 -172 0
-32 -186 0
-32 -200 0
-46 -60 0
-46 -74 0
-46 -88 0
-46 -102 0
-46 -116 0
-46 -130 0
-46 -144 0
-46 -158 0
-46 -172 0
-46 -186 0
-46 -200 0
-60 -74 0
-60 -88 0
-60 -102 0
-60 -116 0
-60 -130 0
-60 -144 0
-60 -158 0
-60 -172 0
-60 -186 0
-60 -200 0
-74 -88 0
-74 -102 0
-74 -116 0
-74 -130 0
-74 -144 0
-74 -158 0
-74 -172 0
-74 -186 0
-74 -200 0
-88 -102 0
-88 -116 0
-88 -130 0
-88 -144 0
-88 -158 0
-88 -172 0
-88 -186 0
-88 -200 0
-102 -116 0
-102 -130 0
-102 -144 0
-102 -158 0
-102 -172 0
-102 -186 0
-102 -200 0
-116 -130 0
-116 -144 0
-116 -158 0
-116 -172 0
-116 -186 0
-116 -200 0
-130 -144 0
-130 -158 0
-130 -172 0
-130 -186 0
-130 -200 0
-144 -158 0
-144 -172 0
-144 -186 0
-144 -200 0
-158 -172 0
-158 -186 0
-158 -200 0
-172 -186 0
-172 -200 0
-186 -200 0
-5 -19 0
-5 -33 0
-5 -47 0
-5 -61 0
-5 -75 0
-5 -89 0
-5 -103 0
-5 -117 0
-5 -131 0
-5 -145 0
-5 -159 0
-5 -173 0
-5 -187 0
-5 -201 0
-19 -33 0
-19 -47 0
-19 -61 0
-19 -75 0
-19 -89 0
-19 -103 0
-19 -117 0
-19 -131 0
-19 -145 0
-19 -159 0
-19 -173 0
-19 -187 0
-19 -201 0
-33 -47 0
-33 -61 0
-33 -75 0
-33 -89 0
-33 -103 0
-33 -117 0
-33 -131 0
-33 -145 0
-33 -159 0
-33 -173 0
-33 -187 0
-33 -201 0
-47 -61 0
-47 -75 0
-47 -89 0
-47 -103 0
-47 -117 0
-47 -131 0
-47 -145 0
-47 -159 0
-47 -173 0
-47 -187 0
-47 -201 0
-61 -75 0
-61 -89 0
-61 -103 0
-61 -117 0
-61 -131 0
-61 -145 0
-61 -159 0
-61 -173 0
-61 -187 0
-61 -201 0
-75 -89 0
-75 -103 0
-75 -117 0
-75 -131 0
-75 -145 0
-75 -159 0
-75 -173 0
-75 -187 0
-75 -201 0
-89 -103 0
-89 -117 0
-89 -131 0
-89 -145 0
-89 -159 0
-89 -173 0
-89 -187 0
-89 -201 0
-103 -117 0
-103 -131 0
-103 -145 0
-103 -159 0
-103 -173 0
-103 -187 0
-103 -201 0
-117 -131 0
-117 -145 0
-117 -159 0
-117 -173 0
-117 -187 0
-117 -201 0
-131 -145 0
-131 -159 0
-131 -173 0
-131 -187 0
-131 -201 0
-145 -159 0
-145 -173 0
-145 -187 0
-145 -201 0
-159 -173 0
-159 -187 0
-159 -201 0
-173 -187 0
-173 -201 0
-187 -201 0
-6 -20 0
-6 -34 0
-6 -48 0
-6 -62 0
-6 -76 0
-6 -90 0
-6 -104 0
-6 -118 0
-6 -132 0
-6 -146 0
-6 -160 0
-6 -174 0
-6 -188 0
-6 -202 0
-20 -34 0
-20 -48 0
-20 -62 0
-20 -76 0
-20 -90 0
-20 -104 0
-20 -118 0
-20 -132 0
-20 -146 0
-20 -160 0
-20 -174 0
-20 -188 0
-20 -202 0
-34 -48 0
-34 -62 0
-34 -76 0
-34 -90 0
-34 -104 0
-34 -118 0
-34 -132 0
-34 -146 0
-34 -160 0
-34 -174 0
-34 -188 0
-34 -202 0
-48 -62 0
-48 -76 0
-48 -90 0
-48 -104 0
-48 -118 0
-48 -132 0
-48 -146 0
-48 -160 0
-48 -174 0
-48 -188 0
-48 -202 0
-62 -76 0
-62 -90 0
-62 -104 0
-62 -118 0
-62 -132 0
-62 -146 0
-62 -160 0
-62 -174 0
-62 -188 0
-62 -202 0
-76 -90 0
-76 -104 0
-76 -118 0
-76 -132 0
-76 -146 0
-76 -160 0
-76 -174 0
-76 -188 0
-76 -202 0
-90 -104 0
-90 -118 0
-90 -132 0
-90 -146 0
-90 -160 0
-90 -174 0
-90 -188 0
-90 -202 0
-104 -118 0
-104 -132 0
-104 -146 0
-104 -160 0
-104 -174 0
-104 -188 0
-104 -202 0
-118 -132 0
-118 -146 0
-118 -160 0
-118 -174 0
-118 -188 0
-118 -202 0
-132 -146 0
-132 -160 0
-132 -174 0
-132 -188 0
-132 -202 0
-146 -160 0
-146 -174 0
-146 -188 0
-146 -202 0
-160 -174 0
-160 -188 0
-160 -202 0
-174 -188 0
-174 -202 0
-188 -202 0
-7 -21 0
-7 -35 0
-7 -49 0
-7 -63 0
-7 -77 0
-7 -91 0
-7 -105 0
-7 -119 0
-7 -133 0
-7 -147 0
-7 -161 0
-7 -175 0
-7 -189 0
-7 -203 0
-21 -35 0
-21 -49 0
-21 -63 0
-21 -77 0
-21 -91 0
-21 -105 0
-21 -119 0
-21 -133 0
-21 -147 0
-21 -161 0
-21 -175 0
-21 -189 0
-21 -203 0
-35 -49 0
-35 -63 0
-35 -77 0
-35 -91 0
-35 -105 0
-35 -119 0
-35 -133 0
-35 -147 0
-35 -161 0
-35 -175 0
-35 -189 0
-35 -203 0
-49 -63 0
-49 -77 0
-49 -91 0
-49 -105 0
-49 -119 0
-49 -133 0
-49 -147 0
-49 -161 0
-49 -175 0
-49 -189 0
-49 -203 0
-63 -77 0
-63 -91 0
-63 -105 0
-63 -119 0
-63 -133 0
-63 -147 0
-63 -161 0
-63 -175 0
-63 -189 0
-63 -203 0
-77 -91 0
-77 -105 0
-77 -119 0
-77 -133 0
-77 -147 0
-77 -161 0
-77 -175 0
-77 -189 0
-77 -203 0
-91 -105 0
-91 -119 0
-91 -133 0
-91 -147 0
-91 -161 0
-91 -175 0
-91 -189 0
-91 -203 0
-105 -119 0
-105 -133 0
-105 -147 0
-105 -161 0
-105 -175 0
-105 -189 0
-105 -203 0
-119 -133 0
-119 -147 0
-119 -161 0
-119 -175 0
-119 -189 0
-119 -203 0
-133 -147 0
-133 -161 0
-133 -175 0
-133 -189 0
-133 -203 0
-147 -161 0
-147 -175 0
-147 -189 0
-147 -203 0
-161 -175 0
-161 -189 0
-161 -203 0
-175 -189 0
-175 -203 0
-189 -203 0
-8 -22 0
-8 -36 0
-8 -50 0
-8 -64 0
-8 -78 0
-8 -92 0
-8 -106 0
-8 -120 0
-8 -134 0
-8 -148 0
-8 -162 0
-8 -176 0
-8 -190 0
-8 -204 0
-22 -36 0
-22 -50 0
-22 -64 0
-22 -78 0
-22 -92 0
-22 -106 0
-22 -120 0
-22 -134 0
-22 -148 0
-22 -162 0
-22 -176 0
-22 -190 0
-22 -204 0
-36 -50 0
-36 -64 0
-36 -78 0
-36 -92 0
-36 -106 0
-36 -120 0
-36 -134 0
-36 -148 0
-36 -162 0
-36 -176 0
-36 -190 0
-36 -204 0
-50 -64 0
-50 -78 0
-50 -92 0
-50 -106 0
-50 -120 0
-50 -134 0
-50 -148 0
-50 -162 0
-50 -176 0
-50 -190 0
-50 -204 0
-64 -78 0
-64 -92 0
-64 -106 0
-64 -120 0
-64 -134 0
-64 -148 0
-64 -162 0
-64 -176 0
-64 -190 0
-64 -204 0
-78 -92 0
-78 -106 0
-78 -120 0
-78 -134 0
-78 -148 0
-78 -162 0
-78 -176 0
-78 -190 0
-78 -204 0
-92 -106 0
-92 -120 0
-92 -134 0
-92 -148 0
-92 -162 0
-92 -176 0
-92 -190 0
-92 -204 0
-106 -120 0
-106 -134 0
-106 -148 0
-106 -162 0
-106 -176 0
-106 -190 0
-106 -204 0
-120 -134 0
-120 -148 0
-120 -162 0
-120 -176 0
-120 -190 0
-120 -204 0
-134 -148 0
-134 -162 0
-134 -176 0
-134 -190 0
-134 -204 0
-148 -162 0
-148 -176 0
-148 -190 0
-148 -204 0
-162 -176 0
-162 -190 0
-162 -204 0
-176 -190 0
-176 -204 0
-190 -204 0
-9 -23 0
-9 -37 0
-9 -51 0
-9 -65 0
-9 -79 0
-9 -93 0
-9 -107 0
-9 -121 0
-9 -135 0
-9 -149 0
-9 -163 0
-9 -177 0
-9 -191 0
-9 -205 0
-23 -37 0
-23 -51 0
-23 -65 0
-23 -79 0
-23 -93 0
-23 -107 0
-23 -121 0
-23 -135 0
-23 -149 0
-23 -163 0
-23 -177 0
-23 -191 0
-23 -205 0
-37 -51 0
-37 -65 0
-37 -79 0
-37 -93 0
-37 -107 0
-37 -121 0
-37 -135 0
-37 -149 0
-37 -163 0
-37 -177 0
-37 -191 0
-37 -205 0
-51 -65 0
-51 -79 0
-51 -93 0
-51 -107 0
-51 -121 0
-51 -135 0
-51 -149 0
-51 -163 0
-51 -177 0
-51 -191 0
-51 -205 0
-65 -79 0
-65 -93 0
-65 -107 0
-65 -121 0
-65 -135 0
-65 -149 0
-65 -163 0
-65 -177 0
-65 -191 0
-65 -205 0
-79 -93 0
-79 -107 0
-79 -121 0
-79 -135 0
-79 -149 0
-79 -163 0
-79 -177 0
-79 -191 0
-79 -205 0
-93 -107 0
-93 -121 0
-93 -135 0
-93 -149 0
-93 -163 0
-93 -177 0
-93 -191 0
-93 -205 0
-107 -121 0
-107 -135 0
-107 -149 0
-107 -163 0
-107 -177 0
-107 -191 0
-107 -205 0
-121 -135 0
-121 -149 0
-121 -163 0
-121 -177 0
-121 -191 0
-121 -205 0
-135 -149 0
-135 -163 0
-135 -177 0
-135 -191 0
-135 -205 0
-149 -163 0
-149 -177 0
-149 -191 0
-149 -205 0
-163 -177 0
-163 -191 0
-163 -205 0
-177 -191 0
-177 -205 0
-191 -205 0
-10 -24 0
-10 -38 0
-10 -52 0
-10 -66 0
-10 -80 0
-10 -94 0
-10 -108 0
-10 -122 0
-10 -136 0
-10 -150 0
-10 -164 0
-10 -178 0
-10 -192 0
-10 -206 0
-24 -38 0
-24 -52 0
-24 -66 0
-24 -80 0
-24 -94 0
-24 -108 0
-24 -122 0
-24 -136 0
-24 -150 0
-24 -164 0
-24 -178 0
-24 -192 0
-24 -206 0
-38 -52 0
-38 -66 0
-38 -80 0
-38 -94 0
-38 -108 0
-38 -122 0
-38 -136 0
-38 -150 0
-38 -164 0
-38 -178 0
-38 -192 0
-38 -206 0
-52 -66 0
-52 -80 0
-52 -94 0
-52 -108 0
-52 -122 0
-52 -136 0
-52 -150 0
-52 -164 0
-52 -178 0
-52 -192 0
-52 -206 0
-66 -80 0
-66 -94 0
-66 -108 0
-66 -122 0
-66 -136 0
-66 -150 0
-66 -164 0
-66 -178 0
-66 -192 0
-66 -206 0
-80 -94 0
-80 -108 0
-80 -122 0
-80 -136 0
-80 -150 0
-80 -164 0
-80 -178 0
-80 -192 0
-80 -206 0
-94 -108 0
-94 -122 0
-94 -136 0
-94 -150 0
-94 -164 0
-94 -178 0
-94 -192 0
-94 -206 0
-108 -122 0
-108 -136 0
-108 -150 0
-108 -164 0
-108 -178 0
-108 -192 0
-108 -206 0
-122 -136 0
-122 -150 0
-122 -164 0
-122 -178 0
-122 -192 0
-122 -206 0
-136 -150 0
-136 -164 0
-136 -178 0
-136 -192 0
-136 -206 0
-150 -164 0
-150 -178 0
-150 -192 0
-150 -206 0
-164 -178 0
-164 -192 0
-164 -206 0
-178 -192 0
-178 -206 0
-192 -206 0
-11 -25 0
-11 -39 0
-11 -53 0
-11 -67 0
-11 -81 0
-11 -95 0
-11 -109 0
-11 -123 0
-11 -137 0
-11 -151 0
-11 -165 0
-11 -179 0
-11 -193 0
-11 -207 0
-25 -39 0
-25 -53 0
-25 -67 0
-25 -81 0
-25 -95 0
-25 -109 0
-25 -123 0
-25 -137 0
-25 -151 0
-25 -165 0
-25 -179 0
-25 -193 0
-25 -207 0
-39 -53 0
-39 -67 0
-39 -81 0
-39 -95 0
-39 -109 0
-39 -123 0
-39 -137 0
-39 -151 0
-39 -165 0
-39 -179 0
-39 -193 0
-39 -207 0
-53 -67 0
-53 -81 0
-53 -95 0
-53 -109 0
-53 -123 0
-53 -137 0
-53 -151 0
-53 -165 0
-53 -179 0
-53 -193 0
-53 -207 0
-67 -81 0
-67 -95 0
-67 -109 0
-67 -123 0
-67 -137 0
-67 -151 0
-67 -165 0
-67 -179 0
-67 -193 0
-67 -207 0
-81 -95 0
-81 -109 0
-81 -123 0
-81 -137 0
-81 -151 0
-81 -165 0
-81 -179 0
-81 -193 0
-81 -207 0
-95 -109 0
-95 -123 0
-95 -137 0
-95 -151 0
-95 -165 0
-95 -179 0
-95 -193 0
-95 -207 0
-109 -123 0
-109 -137 0
-109 -151 0
-109 -165 0
-109 -179 0
-109 -193 0
-109 -207 0
-123 -137 0
-123 -151 0
-123 -165 0
-123 -179 0
-123 -193 0
-123 -207 0
-137 -151 0
-137 -165 0
-137 -179 0
-137 -193 0
-137 -207 0
-151 -165 0
-151 -179 0
-151 -193 0
-151 -207 0
-165 -179 0
-165 -193 0
-165 -207 0
-179 -193 0
-179 -207 0
-193 -207 0
-12 -26 0
-12 -40 0
-12 -54 0
-12 -68 0
-12 -82 0
-12 -96 0
-12 -110 0
-12 -124 0
-12 -138 0
-12 -152 0
-12 -166 0
-12 -180 0
-12 -194 0
-12 -208 0
-26 -40 0
-26 -54 0
-26 -68 0
-26 -82 0
-26 -96 0
-26 -110 0
-26 -124 0
-26 -138 0
-26 -152 0
-26 -166 0
-26 -180 0
-26 -194 0
-26 -208 0
-40 -54 0
-40 -68 0
-40 -82 0
-40 -96 0
-40 -110 0
-40 -124 0
-40 -138 0
-40 -152 0
-40 -166 0
-40 -180 0
-40 -194 0
-40 -208 0
-54 -68 0
-54 -82 0
-54 -96 0
-54 -110 0
-54 -124 0
-54 -138 0
-54 -152 0
-54 -166 0
-54 -180 0
-54 -194 0
-54 -208 0
-68 -82 0
-68 -96 0
-68 -110 0
-68 -124 0
-68 -138 0
-68 -152 0
-68 -166 0
-68 -180 0
-68 -194 0
-68 -208 0
-82 -96 0
-82 -110 0
-82 -124 0
-82 -138 0
-82 -152 0
-82 -166 0
-82 -180 0
-82 -194 0
-82 -208 0
-96 -110 0
-96 -124 0
-96 -138 0
-96 -152 0
-96 -166 0
-96 -180 0
-96 -194 0
-96 -208 0
-110 -124 0
-110 -138 0
-110 -152 0
-110 -166 0
-110 -180 0
-110 -194 0
-110 -208 0
-124 -138 0
-124 -152 0
-124 -166 0
-124 -180 0
-124 -194 0
-124 -208 0
-138 -152 0
-138 -166 0
-138 -180 0
-138 -194 0
-138 -208 0
-152 -166 0
-152 -180 0
-152 -194 0
-152 -208 0
-166 -180 0
-166 -194 0
-166 -208 0
-180 -194 0
-180 -208 0
-194 -208 0
-13 -27 0
-13 -41 0
-13 -55 0
-13 -69 0
-13 -83 0
-13 -97 0
-13 -111 0
-13 -125 0
-13 -139 0
-13 -153 0
-13 -167 0
-13 -181 0
-13 -195 0
-13 -209 0
-27 -41 0
-27 -55 0
-27 -69 0
-27 -83 0
-27 -97 0
-27 -111 0
-27 -125 0
-27 -139 0
-27 -153 0
-27 -167 0
-27 -181 0
-27 -195 0
-27 -209 0
-41 -55 0
-41 -69 0
-41 -83 0
-41 -97 0
-41 -111 0
-41 -125 0
-41 -139 0
-41 -153 0
-41 -167 0
-41 -181 0
-41 -195 0
-41 -209 0
-55 -69 0
-55 -83 0
-55 -97 0
-55 -111 0
-55 -125 0
-55 -139 0
-55 -153 0
-55 -167 0
-55 -181 0
-55 -195 0
-55 -209 0
-69 -83 0
-69 -97 0
-69 -111 0
-69 -125 0
-69 -139 0
-69 -153 0
-69 -167 0
-69 -181 0
-69 -195 0
-69 -209 0
-83 -97 0
-83 -111 0
-83 -125 0
-83 -139 0
-83 -153 0
-83 -167 0
-83 -181 0
-83 -195 0
-83 -209 0
-97 -111 0
-97 -125 0
-97 -139 0
-97 -153 0
-97 -167 0
-97 -181 0
-97 -195 0
-97 -209 0
-111 -125 0
-111 -139 0
-111 -153 0
-111 -167 0
-111 -181 0
-111 -195 0
-111 -209 0
-125 -139 0
-125 -153 0
-125 -167 0
-125 -181 0
-125 -195 0
-125 -209 0
-139 -153 0
-139 -167 0
-139 -181 0
-139 -195 0
-139 -209 0
-153 -167 0
-153 -181 0
-153 -195 0
-153 -209 0
-167 -181 0
-167 -195 0
-167 -209 0
-181 -195 0
-181 -209 0
-195 -209 0
-14 -28 0
-14 -42 0
-14 -56 0
-14 -70 0
-14 -84 0
-14 -98 0
-14 -112 0
-14 -126 0
-14 -140 0
-14 -154 0
-14 -168 0
-14 -182 0
-14 -196 0
-14 -210 0
-28 -42 0
-28 -56 0
-28 -70 0
-28 -84 0
-28 -98 0
-28 -112 0
-28 -126 0
-28 -140 0
-28 -154 0
-28 -168 0
-28 -182 0
-28 -196 0
-28 -210 0
-42 -56 0
-42 -70 0
-42 -84 0
-42 -98 0
-42 -112 0
-42 -126 0
-42 -140 0
-42 -154 0
-42 -168 0
-42 -182 0
-42 -196 0
-42 -210 0
-56 -70 0
-56 -84 0
-56 -98 0
-56 -112 0
-56 -126 0
-56 -140 0
-56 -154 0
-56 -168 0
-56 -182 0
-56 -196 0
-56 -210 0
-70 -84 0
-70 -98 0
-70 -112 0
-70 -126 0
-70 -140 0
-70 -154 0
-70 -168 0
-70 -182 0
-70 -196 0
-70 -210 0
-84 -98 0
-84 -112 0
-84 -126 0
-84 -140 0
-84 -154 0
-84 -168 0
-84 -182 0
-84 -196 0
-84 -210 0
-98 -112 0
-98 -126 0
-98 -140 0
-98 -154 0
-98 -168 0
-98 -182 0
-98 -196 0
-98 -210 0
-112 -126 0
-112 -140 0
-112 -154 0
-112 -168 0
-112 -182 0
-112 -196 0
-112 -210 0
-126 -140 0
-126 -154 0
-126 -168 0
-126 -182 0
-126 -196 0
-126 -210 0
-140 -154 0
-140 -168 0
-140 -182 0
-140 -196 0
-140 -210 0
-154 -168 0
-154 -182 0
-154 -196 0
-154 -210 0
-168 -182 0
-168 -196 0
-168 -210 0
-182 -196 0
-182 -210 0
-196 -210 0