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