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