| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/modisom/gap/pilib/ (GAP Algebra Version 4.15.1©) Datei vom 23.8.2024 mit Größe 126 kB |
|
Quellcode-Bibliothek kur_4_3_3.gi Sprache: unbekannt |
|
|
Spracherkennung für: .gi vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen] BindGlobal( "Kur_4_3_3", function()
local A, i; A := rec(); A.rnk := 4; A.dim := 971; A.com := false; A.fld := GF(3); A.wgs := [ 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 1 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 11, 11, 11, 11, 11, 11, 11, 11, 12 ]; A.wds := [ ,,,, [ 1, 1 ], [ 2, 1 ], [ 3, 1 ], [ 4, 1 ], [ 1, 2 ], [ 2, 2 ], [ 3, 2 ], [ 4, 2 ], [ 1, 3 ], [ 2, 3 ], [ 3, 3 ], [ 4, 3 ], [ 1, 4 ], [ 2, 4 ], [ 3, 4 ], [ 4, 4 ], [ 2, 5 ], [ 3, 5 ], [ 4, 5 ], [ 1, 6 ], [ 2, 6 ], [ 3, 6 ], [ 4, 6 ], [ 1, 7 ], [ 2, 7 ], [ 3, 7 ], [ 4, 7 ], [ 1, 8 ], [ 2, 8 ], [ 3, 8 ], [ 4, 8 ], [ 2, 9 ], [ 3, 9 ], [ 4, 9 ], [ 3, 10 ], [ 4, 10 ], [ 1, 11 ], [ 2, 11 ], [ 3, 11 ], [ 4, 11 ], [ 1, 12 ], [ 2, 12 ], [ 3, 12 ], [ 4, 12 ], [ 2, 13 ], [ 3, 13 ], [ 4, 13 ], [ 3, 14 ], [ 4, 14 ], [ 4, 15 ], [ 1, 16 ], [ 2, 16 ], [ 3, 16 ], [ 4, 16 ], [ 2, 17 ], [ 3, 17 ], [ 4, 17 ], [ 3, 18 ], [ 4, 18 ], [ 4, 19 ], [ 1, 21 ], [ 2, 21 ], [ 3, 21 ], [ 4, 21 ], [ 1, 22 ], [ 2, 22 ], [ 3, 22 ], [ 4, 22 ], [ 1, 23 ], [ 2, 23 ], [ 3, 23 ], [ 4, 23 ], [ 2, 24 ], [ 3, 24 ], [ 4, 24 ], [ 3, 25 ], [ 4, 25 ], [ 1, 26 ], [ 2, 26 ], [ 3, 26 ], [ 4, 26 ], [ 1, 27 ], [ 2, 27 ], [ 3, 27 ], [ 4, 27 ], [ 2, 28 ], [ 3, 28 ], [ 4, 28 ], [ 3, 29 ], [ 4, 29 ], [ 4, 30 ], [ 1, 31 ], [ 2, 31 ], [ 3, 31 ], [ 4, 31 ], [ 2, 32 ], [ 3, 32 ], [ 4, 32 ], [ 3, 33 ], [ 4, 33 ], [ 4, 34 ], [ 2, 36 ], [ 3, 36 ], [ 4, 36 ], [ 3, 37 ], [ 4, 37 ], [ 3, 38 ], [ 4, 38 ], [ 1, 39 ], [ 2, 39 ], [ 3, 39 ], [ 4, 39 ], [ 1, 40 ], [ 2, 40 ], [ 3, 40 ], [ 4, 40 ], [ 2, 41 ], [ 3, 41 ], [ 4, 41 ], [ 3, 42 ], [ 4, 42 ], [ 4, 43 ], [ 1, 44 ], [ 2, 44 ], [ 3, 44 ], [ 4, 44 ], [ 2, 45 ], [ 3, 45 ], [ 4, 45 ], [ 3, 46 ], [ 4, 46 ], [ 4, 47 ], [ 3, 49 ], [ 4, 49 ], [ 3, 50 ], [ 4, 50 ], [ 4, 51 ], [ 3, 52 ], [ 4, 52 ], [ 4, 53 ], [ 1, 54 ], [ 2, 54 ], [ 3, 54 ], [ 4, 54 ], [ 2, 55 ], [ 3, 55 ], [ 4, 55 ], [ 3, 56 ], [ 4, 56 ], [ 4, 57 ], [ 4, 59 ], [ 4, 60 ], [ 4, 61 ], [ 4, 62 ], [ 4, 63 ], [ 4, 64 ], [ 2, 65 ], [ 3, 65 ], [ 4, 65 ], [ 3, 66 ], [ 4, 66 ], [ 1, 67 ], [ 2, 67 ], [ 3, 67 ], [ 4, 67 ], [ 1, 68 ], [ 2, 68 ], [ 3, 68 ], [ 4, 68 ], [ 2, 69 ], [ 3, 69 ], [ 4, 69 ], [ 3, 70 ], [ 4, 70 ], [ 4, 71 ], [ 1, 72 ], [ 2, 72 ], [ 3, 72 ], [ 4, 72 ], [ 2, 73 ], [ 3, 73 ], [ 4, 73 ], [ 3, 74 ], [ 4, 74 ], [ 4, 75 ], [ 2, 77 ], [ 3, 77 ], [ 4, 77 ], [ 3, 78 ], [ 4, 78 ], [ 3, 79 ], [ 4, 79 ], [ 1, 80 ], [ 2, 80 ], [ 3, 80 ], [ 4, 80 ], [ 1, 81 ], [ 2, 81 ], [ 3, 81 ], [ 4, 81 ], [ 2, 82 ], [ 3, 82 ], [ 4, 82 ], [ 3, 83 ], [ 4, 83 ], [ 4, 84 ], [ 1, 85 ], [ 2, 85 ], [ 3, 85 ], [ 4, 85 ], [ 2, 86 ], [ 3, 86 ], [ 4, 86 ], [ 3, 87 ], [ 4, 87 ], [ 4, 88 ], [ 3, 90 ], [ 4, 90 ], [ 3, 91 ], [ 4, 91 ], [ 4, 92 ], [ 3, 93 ], [ 4, 93 ], [ 4, 94 ], [ 1, 95 ], [ 2, 95 ], [ 3, 95 ], [ 4, 95 ], [ 2, 96 ], [ 3, 96 ], [ 4, 96 ], [ 3, 97 ], [ 4, 97 ], [ 4, 98 ], [ 4, 100 ], [ 4, 101 ], [ 4, 102 ], [ 4, 103 ], [ 4, 104 ], [ 4, 105 ], [ 3, 106 ], [ 4, 106 ], [ 3, 107 ], [ 4, 107 ], [ 3, 108 ], [ 4, 108 ], [ 4, 109 ], [ 3, 110 ], [ 4, 110 ], [ 4, 111 ], [ 2, 113 ], [ 3, 113 ], [ 4, 113 ], [ 3, 114 ], [ 4, 114 ], [ 4, 115 ], [ 1, 116 ], [ 2, 116 ], [ 3, 116 ], [ 4, 116 ], [ 2, 117 ], [ 3, 117 ], [ 4, 117 ], [ 3, 118 ], [ 4, 118 ], [ 4, 119 ], [ 3, 121 ], [ 4, 121 ], [ 3, 122 ], [ 4, 122 ], [ 4, 123 ], [ 3, 124 ], [ 4, 124 ], [ 4, 125 ], [ 1, 126 ], [ 2, 126 ], [ 3, 126 ], [ 4, 126 ], [ 2, 127 ], [ 3, 127 ], [ 4, 127 ], [ 3, 128 ], [ 4, 128 ], [ 4, 129 ], [ 4, 131 ], [ 4, 132 ], [ 4, 133 ], [ 4, 134 ], [ 4, 135 ], [ 4, 136 ], [ 3, 137 ], [ 4, 137 ], [ 4, 138 ], [ 4, 139 ], [ 4, 140 ], [ 4, 142 ], [ 4, 143 ], [ 2, 145 ], [ 3, 145 ], [ 4, 145 ], [ 3, 146 ], [ 4, 146 ], [ 4, 147 ], [ 4, 149 ], [ 4, 150 ], [ 4, 151 ], [ 4, 152 ], [ 4, 153 ], [ 4, 154 ], [ 4, 155 ], [ 4, 156 ], [ 4, 158 ], [ 2, 161 ], [ 3, 161 ], [ 4, 161 ], [ 3, 162 ], [ 4, 162 ], [ 3, 163 ], [ 4, 163 ], [ 1, 164 ], [ 2, 164 ], [ 3, 164 ], [ 4, 164 ], [ 1, 165 ], [ 2, 165 ], [ 3, 165 ], [ 4, 165 ], [ 2, 166 ], [ 3, 166 ], [ 4, 166 ], [ 3, 167 ], [ 4, 167 ], [ 4, 168 ], [ 1, 169 ], [ 2, 169 ], [ 3, 169 ], [ 4, 169 ], [ 2, 170 ], [ 3, 170 ], [ 4, 170 ], [ 3, 171 ], [ 4, 171 ], [ 4, 172 ], [ 3, 174 ], [ 4, 174 ], [ 3, 175 ], [ 4, 175 ], [ 4, 176 ], [ 3, 177 ], [ 4, 177 ], [ 4, 178 ], [ 1, 179 ], [ 2, 179 ], [ 3, 179 ], [ 4, 179 ], [ 2, 180 ], [ 3, 180 ], [ 4, 180 ], [ 3, 181 ], [ 4, 181 ], [ 4, 182 ], [ 4, 184 ], [ 4, 185 ], [ 4, 186 ], [ 4, 187 ], [ 4, 188 ], [ 4, 189 ], [ 3, 190 ], [ 4, 190 ], [ 3, 191 ], [ 4, 191 ], [ 3, 192 ], [ 4, 192 ], [ 4, 193 ], [ 3, 194 ], [ 4, 194 ], [ 4, 195 ], [ 2, 197 ], [ 3, 197 ], [ 4, 197 ], [ 3, 198 ], [ 4, 198 ], [ 4, 199 ], [ 1, 200 ], [ 2, 200 ], [ 3, 200 ], [ 4, 200 ], [ 2, 201 ], [ 3, 201 ], [ 4, 201 ], [ 3, 202 ], [ 4, 202 ], [ 4, 203 ], [ 3, 205 ], [ 4, 205 ], [ 3, 206 ], [ 4, 206 ], [ 4, 207 ], [ 3, 208 ], [ 4, 208 ], [ 4, 209 ], [ 1, 210 ], [ 2, 210 ], [ 3, 210 ], [ 4, 210 ], [ 2, 211 ], [ 3, 211 ], [ 4, 211 ], [ 3, 212 ], [ 4, 212 ], [ 4, 213 ], [ 4, 215 ], [ 4, 216 ], [ 4, 217 ], [ 4, 218 ], [ 4, 219 ], [ 4, 220 ], [ 3, 221 ], [ 4, 221 ], [ 4, 222 ], [ 4, 223 ], [ 4, 224 ], [ 4, 226 ], [ 4, 227 ], [ 2, 229 ], [ 3, 229 ], [ 4, 229 ], [ 3, 230 ], [ 4, 230 ], [ 4, 231 ], [ 4, 233 ], [ 4, 234 ], [ 4, 235 ], [ 4, 236 ], [ 4, 237 ], [ 4, 238 ], [ 4, 239 ], [ 4, 240 ], [ 4, 242 ], [ 3, 245 ], [ 4, 245 ], [ 3, 246 ], [ 4, 246 ], [ 4, 247 ], [ 3, 248 ], [ 4, 248 ], [ 4, 249 ], [ 3, 251 ], [ 4, 251 ], [ 4, 252 ], [ 4, 254 ], [ 3, 255 ], [ 4, 255 ], [ 3, 256 ], [ 4, 256 ], [ 4, 257 ], [ 3, 258 ], [ 4, 258 ], [ 4, 259 ], [ 1, 260 ], [ 2, 260 ], [ 3, 260 ], [ 4, 260 ], [ 2, 261 ], [ 3, 261 ], [ 4, 261 ], [ 3, 262 ], [ 4, 262 ], [ 4, 263 ], [ 4, 265 ], [ 4, 266 ], [ 4, 267 ], [ 4, 268 ], [ 4, 269 ], [ 4, 270 ], [ 3, 271 ], [ 4, 271 ], [ 4, 272 ], [ 4, 273 ], [ 4, 274 ], [ 4, 276 ], [ 4, 277 ], [ 2, 279 ], [ 3, 279 ], [ 4, 279 ], [ 3, 280 ], [ 4, 280 ], [ 4, 281 ], [ 4, 283 ], [ 4, 284 ], [ 4, 285 ], [ 4, 286 ], [ 4, 287 ], [ 4, 288 ], [ 4, 289 ], [ 4, 290 ], [ 4, 292 ], [ 4, 295 ], [ 4, 296 ], [ 4, 298 ], [ 4, 300 ], [ 4, 302 ], [ 4, 303 ], [ 4, 304 ], [ 4, 305 ], [ 4, 306 ], [ 4, 307 ], [ 4, 308 ], [ 4, 309 ], [ 4, 311 ], [ 3, 317 ], [ 4, 317 ], [ 3, 318 ], [ 4, 318 ], [ 3, 319 ], [ 4, 319 ], [ 4, 320 ], [ 3, 321 ], [ 4, 321 ], [ 4, 322 ], [ 2, 324 ], [ 3, 324 ], [ 4, 324 ], [ 3, 325 ], [ 4, 325 ], [ 4, 326 ], [ 1, 327 ], [ 2, 327 ], [ 3, 327 ], [ 4, 327 ], [ 2, 328 ], [ 3, 328 ], [ 4, 328 ], [ 3, 329 ], [ 4, 329 ], [ 4, 330 ], [ 3, 332 ], [ 4, 332 ], [ 3, 333 ], [ 4, 333 ], [ 4, 334 ], [ 3, 335 ], [ 4, 335 ], [ 4, 336 ], [ 1, 337 ], [ 2, 337 ], [ 3, 337 ], [ 4, 337 ], [ 2, 338 ], [ 3, 338 ], [ 4, 338 ], [ 3, 339 ], [ 4, 339 ], [ 4, 340 ], [ 4, 342 ], [ 4, 343 ], [ 4, 344 ], [ 4, 345 ], [ 4, 346 ], [ 4, 347 ], [ 3, 348 ], [ 4, 348 ], [ 4, 349 ], [ 4, 350 ], [ 4, 351 ], [ 4, 353 ], [ 4, 354 ], [ 2, 356 ], [ 3, 356 ], [ 4, 356 ], [ 3, 357 ], [ 4, 357 ], [ 4, 358 ], [ 4, 360 ], [ 4, 361 ], [ 4, 362 ], [ 4, 363 ], [ 4, 364 ], [ 4, 365 ], [ 4, 366 ], [ 4, 367 ], [ 4, 369 ], [ 3, 372 ], [ 4, 372 ], [ 3, 373 ], [ 4, 373 ], [ 4, 374 ], [ 3, 375 ], [ 4, 375 ], [ 4, 376 ], [ 3, 378 ], [ 4, 378 ], [ 4, 379 ], [ 4, 381 ], [ 3, 382 ], [ 4, 382 ], [ 3, 383 ], [ 4, 383 ], [ 4, 384 ], [ 3, 385 ], [ 4, 385 ], [ 4, 386 ], [ 1, 387 ], [ 2, 387 ], [ 3, 387 ], [ 4, 387 ], [ 2, 388 ], [ 3, 388 ], [ 4, 388 ], [ 3, 389 ], [ 4, 389 ], [ 4, 390 ], [ 4, 392 ], [ 4, 393 ], [ 4, 394 ], [ 4, 395 ], [ 4, 396 ], [ 4, 397 ], [ 3, 398 ], [ 4, 398 ], [ 4, 399 ], [ 4, 400 ], [ 4, 401 ], [ 4, 403 ], [ 4, 404 ], [ 2, 406 ], [ 3, 406 ], [ 4, 406 ], [ 3, 407 ], [ 4, 407 ], [ 4, 408 ], [ 4, 410 ], [ 4, 411 ], [ 4, 412 ], [ 4, 413 ], [ 4, 414 ], [ 4, 415 ], [ 4, 416 ], [ 4, 417 ], [ 4, 419 ], [ 4, 422 ], [ 4, 423 ], [ 4, 425 ], [ 4, 427 ], [ 4, 429 ], [ 4, 430 ], [ 4, 431 ], [ 4, 432 ], [ 4, 433 ], [ 4, 434 ], [ 4, 435 ], [ 4, 436 ], [ 4, 438 ], [ 4, 444 ], [ 3, 445 ], [ 4, 445 ], [ 4, 446 ], [ 3, 448 ], [ 4, 448 ], [ 4, 449 ], [ 4, 451 ], [ 4, 452 ], [ 4, 454 ], [ 3, 456 ], [ 4, 456 ], [ 4, 457 ], [ 4, 458 ], [ 4, 459 ], [ 4, 461 ], [ 4, 462 ], [ 2, 464 ], [ 3, 464 ], [ 4, 464 ], [ 3, 465 ], [ 4, 465 ], [ 4, 466 ], [ 4, 468 ], [ 4, 469 ], [ 4, 470 ], [ 4, 471 ], [ 4, 472 ], [ 4, 473 ], [ 4, 474 ], [ 4, 475 ], [ 4, 477 ], [ 4, 480 ], [ 4, 481 ], [ 4, 483 ], [ 4, 485 ], [ 4, 487 ], [ 4, 488 ], [ 4, 489 ], [ 4, 490 ], [ 4, 491 ], [ 4, 492 ], [ 4, 493 ], [ 4, 494 ], [ 4, 496 ], [ 4, 502 ], [ 4, 506 ], [ 4, 507 ], [ 4, 509 ], [ 3, 515 ], [ 4, 515 ], [ 3, 516 ], [ 4, 516 ], [ 4, 517 ], [ 3, 518 ], [ 4, 518 ], [ 4, 519 ], [ 3, 521 ], [ 4, 521 ], [ 4, 522 ], [ 4, 524 ], [ 3, 525 ], [ 4, 525 ], [ 3, 526 ], [ 4, 526 ], [ 4, 527 ], [ 3, 528 ], [ 4, 528 ], [ 4, 529 ], [ 1, 530 ], [ 2, 530 ], [ 3, 530 ], [ 4, 530 ], [ 2, 531 ], [ 3, 531 ], [ 4, 531 ], [ 3, 532 ], [ 4, 532 ], [ 4, 533 ], [ 4, 535 ], [ 4, 536 ], [ 4, 537 ], [ 4, 538 ], [ 4, 539 ], [ 4, 540 ], [ 3, 541 ], [ 4, 541 ], [ 4, 542 ], [ 4, 543 ], [ 4, 544 ], [ 4, 546 ], [ 4, 547 ], [ 2, 549 ], [ 3, 549 ], [ 4, 549 ], [ 3, 550 ], [ 4, 550 ], [ 4, 551 ], [ 4, 553 ], [ 4, 554 ], [ 4, 555 ], [ 4, 556 ], [ 4, 557 ], [ 4, 558 ], [ 4, 559 ], [ 4, 560 ], [ 4, 562 ], [ 4, 565 ], [ 4, 566 ], [ 4, 568 ], [ 4, 570 ], [ 4, 572 ], [ 4, 573 ], [ 4, 574 ], [ 4, 575 ], [ 4, 576 ], [ 4, 577 ], [ 4, 578 ], [ 4, 579 ], [ 4, 581 ], [ 4, 587 ], [ 3, 588 ], [ 4, 588 ], [ 4, 589 ], [ 3, 591 ], [ 4, 591 ], [ 4, 592 ], [ 4, 594 ], [ 4, 595 ], [ 4, 597 ], [ 3, 599 ], [ 4, 599 ], [ 4, 600 ], [ 4, 601 ], [ 4, 602 ], [ 4, 604 ], [ 4, 605 ], [ 2, 607 ], [ 3, 607 ], [ 4, 607 ], [ 3, 608 ], [ 4, 608 ], [ 4, 609 ], [ 4, 611 ], [ 4, 612 ], [ 4, 613 ], [ 4, 614 ], [ 4, 615 ], [ 4, 616 ], [ 4, 617 ], [ 4, 618 ], [ 4, 620 ], [ 4, 623 ], [ 4, 624 ], [ 4, 626 ], [ 4, 628 ], [ 4, 630 ], [ 4, 631 ], [ 4, 632 ], [ 4, 633 ], [ 4, 634 ], [ 4, 635 ], [ 4, 636 ], [ 4, 637 ], [ 4, 639 ], [ 4, 645 ], [ 4, 649 ], [ 4, 650 ], [ 4, 652 ], [ 3, 658 ], [ 4, 658 ], [ 4, 659 ], [ 4, 661 ], [ 4, 662 ], [ 4, 664 ], [ 4, 666 ], [ 4, 668 ], [ 4, 669 ], [ 4, 671 ], [ 4, 673 ], [ 4, 675 ], [ 4, 676 ], [ 4, 677 ], [ 4, 678 ], [ 4, 679 ], [ 4, 680 ], [ 4, 681 ], [ 4, 682 ], [ 4, 684 ], [ 4, 690 ], [ 4, 694 ], [ 4, 695 ], [ 4, 697 ], [ 4, 707 ], [ 3, 708 ], [ 4, 708 ], [ 4, 709 ], [ 3, 711 ], [ 4, 711 ], [ 4, 712 ], [ 4, 714 ], [ 4, 715 ], [ 4, 717 ], [ 3, 719 ], [ 4, 719 ], [ 4, 720 ], [ 4, 721 ], [ 4, 722 ], [ 4, 724 ], [ 4, 725 ], [ 2, 727 ], [ 3, 727 ], [ 4, 727 ], [ 3, 728 ], [ 4, 728 ], [ 4, 729 ], [ 4, 731 ], [ 4, 732 ], [ 4, 733 ], [ 4, 734 ], [ 4, 735 ], [ 4, 736 ], [ 4, 737 ], [ 4, 738 ], [ 4, 740 ], [ 4, 743 ], [ 4, 744 ], [ 4, 746 ], [ 4, 748 ], [ 4, 750 ], [ 4, 751 ], [ 4, 752 ], [ 4, 753 ], [ 4, 754 ], [ 4, 755 ], [ 4, 756 ], [ 4, 757 ], [ 4, 759 ], [ 4, 765 ], [ 4, 769 ], [ 4, 770 ], [ 4, 772 ], [ 3, 778 ], [ 4, 778 ], [ 4, 779 ], [ 4, 781 ], [ 4, 782 ], [ 4, 784 ], [ 4, 786 ], [ 4, 788 ], [ 4, 789 ], [ 4, 791 ], [ 4, 793 ], [ 4, 795 ], [ 4, 796 ], [ 4, 797 ], [ 4, 798 ], [ 4, 799 ], [ 4, 800 ], [ 4, 801 ], [ 4, 802 ], [ 4, 804 ], [ 4, 810 ], [ 4, 814 ], [ 4, 815 ], [ 4, 817 ], [ 4, 827 ], [ 4, 829 ], [ 4, 831 ], [ 4, 834 ], [ 4, 838 ], [ 4, 839 ], [ 4, 841 ], [ 3, 851 ], [ 4, 851 ], [ 4, 852 ], [ 4, 854 ], [ 4, 855 ], [ 4, 857 ], [ 4, 859 ], [ 4, 861 ], [ 4, 862 ], [ 4, 864 ], [ 4, 866 ], [ 4, 868 ], [ 4, 869 ], [ 4, 870 ], [ 4, 871 ], [ 4, 872 ], [ 4, 873 ], [ 4, 874 ], [ 4, 875 ], [ 4, 877 ], [ 4, 883 ], [ 4, 887 ], [ 4, 888 ], [ 4, 890 ], [ 4, 900 ], [ 4, 902 ], [ 4, 904 ], [ 4, 907 ], [ 4, 911 ], [ 4, 912 ], [ 4, 914 ], [ 4, 924 ], [ 4, 931 ], [ 4, 933 ], [ 4, 935 ], [ 4, 938 ], [ 4, 942 ], [ 4, 943 ], [ 4, 945 ], [ 4, 955 ], [ 4, 963 ] ]; A.tab := [ ]; A.tab[1] := [ [ 1, 5, 1 ], [ 2, 9, 1 ], [ 3, 13, 1 ], [ 4, 17, 1 ], [ 6, 24, 1 ], [ 7, 28, 1 ], [ 8, 32, 1 ], [ 9, 21, 2 ], [ 9, 24, 2 ], [ 10, 25, 2 ], [ 10, 36, 2 ], [ 11, 41, 1 ], [ 12, 45, 1 ], [ 13, 22, 2 ], [ 13, 28, 2 ], [ 14, 26, 2 ], [ 14, 29, 2 ], [ 14, 37, 2 ], [ 14, 41, 2 ], [ 14, 49, 2 ], [ 15, 30, 2 ], [ 15, 50, 2 ], [ 16, 55, 1 ], [ 17, 23, 2 ], [ 17, 32, 2 ], [ 18, 27, 2 ], [ 18, 33, 2 ], [ 18, 38, 2 ], [ 18, 45, 2 ], [ 18, 59, 2 ], [ 19, 31, 2 ], [ 19, 34, 2 ], [ 19, 51, 2 ], [ 19, 55, 2 ], [ 19, 60, 2 ], [ 20, 35, 2 ], [ 20, 61, 2 ], [ 21, 65, 1 ], [ 22, 69, 1 ], [ 23, 73, 1 ], [ 24, 65, 2 ], [ 25, 66, 2 ], [ 25, 77, 2 ], [ 26, 82, 1 ], [ 27, 86, 1 ], [ 28, 69, 2 ], [ 29, 67, 2 ], [ 29, 70, 2 ], [ 29, 78, 2 ], [ 29, 82, 2 ], [ 29, 90, 2 ], [ 30, 71, 2 ], [ 30, 91, 2 ], [ 31, 96, 1 ], [ 32, 73, 2 ], [ 33, 68, 2 ], [ 33, 74, 2 ], [ 33, 79, 2 ], [ 33, 86, 2 ], [ 33, 100, 2 ], [ 34, 72, 2 ], [ 34, 75, 2 ], [ 34, 92, 2 ], [ 34, 96, 2 ], [ 34, 101, 2 ], [ 35, 76, 2 ], [ 35, 102, 2 ], [ 36, 66, 1 ], [ 37, 67, 2 ], [ 37, 78, 1 ], [ 37, 82, 1 ], [ 38, 68, 2 ], [ 38, 79, 1 ], [ 38, 86, 1 ], [ 39, 113, 1 ], [ 40, 117, 1 ], [ 41, 67, 2 ], [ 41, 82, 2 ], [ 42, 80, 2 ], [ 42, 83, 2 ], [ 42, 107, 2 ], [ 42, 113, 2 ], [ 42, 121, 2 ], [ 43, 109, 2 ], [ 43, 122, 2 ], [ 44, 127, 1 ], [ 45, 68, 2 ], [ 45, 86, 2 ], [ 46, 81, 2 ], [ 46, 87, 2 ], [ 46, 108, 2 ], [ 46, 117, 2 ], [ 46, 131, 2 ], [ 47, 110, 2 ], [ 47, 111, 2 ], [ 47, 123, 2 ], [ 47, 127, 2 ], [ 47, 132, 2 ], [ 48, 112, 2 ], [ 48, 133, 2 ], [ 49, 67, 2 ], [ 49, 70, 1 ], [ 49, 78, 2 ], [ 49, 82, 2 ], [ 50, 71, 1 ], [ 51, 72, 2 ], [ 51, 92, 1 ], [ 51, 96, 1 ], [ 52, 84, 2 ], [ 52, 93, 2 ], [ 52, 109, 1 ], [ 52, 137, 2 ], [ 53, 88, 2 ], [ 53, 94, 2 ], [ 53, 110, 1 ], [ 53, 111, 1 ], [ 53, 123, 1 ], [ 53, 127, 1 ], [ 53, 138, 2 ], [ 54, 145, 1 ], [ 55, 72, 2 ], [ 55, 96, 2 ], [ 56, 85, 2 ], [ 56, 97, 2 ], [ 56, 110, 2 ], [ 56, 127, 2 ], [ 56, 149, 2 ], [ 57, 95, 2 ], [ 57, 98, 2 ], [ 57, 140, 2 ], [ 57, 145, 2 ], [ 57, 150, 2 ], [ 58, 141, 2 ], [ 58, 151, 2 ], [ 59, 68, 2 ], [ 59, 74, 1 ], [ 59, 79, 2 ], [ 59, 86, 2 ], [ 60, 72, 2 ], [ 60, 75, 1 ], [ 60, 92, 2 ], [ 60, 96, 2 ], [ 61, 76, 1 ], [ 62, 85, 2 ], [ 62, 94, 2 ], [ 62, 97, 1 ], [ 62, 103, 1 ], [ 62, 111, 1 ], [ 62, 123, 1 ], [ 62, 132, 2 ], [ 62, 138, 1 ], [ 62, 149, 2 ], [ 63, 89, 2 ], [ 63, 104, 2 ], [ 63, 112, 1 ], [ 63, 155, 2 ], [ 64, 99, 2 ], [ 64, 105, 2 ], [ 64, 141, 1 ], [ 64, 156, 2 ], [ 66, 161, 2 ], [ 67, 166, 1 ], [ 68, 170, 1 ], [ 70, 162, 2 ], [ 70, 166, 2 ], [ 70, 174, 2 ], [ 71, 175, 2 ], [ 72, 180, 1 ], [ 74, 163, 2 ], [ 74, 170, 2 ], [ 74, 184, 2 ], [ 75, 176, 2 ], [ 75, 180, 2 ], [ 75, 185, 2 ], [ 76, 186, 2 ], [ 78, 162, 1 ], [ 78, 166, 1 ], [ 79, 163, 1 ], [ 79, 170, 1 ], [ 80, 197, 1 ], [ 81, 201, 1 ], [ 82, 166, 2 ], [ 83, 164, 2 ], [ 83, 167, 2 ], [ 83, 191, 2 ], [ 83, 197, 2 ], [ 83, 205, 2 ], [ 84, 193, 2 ], [ 84, 206, 2 ], [ 85, 211, 1 ], [ 86, 170, 2 ], [ 87, 165, 2 ], [ 87, 171, 2 ], [ 87, 192, 2 ], [ 87, 201, 2 ], [ 87, 215, 2 ], [ 88, 194, 2 ], [ 88, 195, 2 ], [ 88, 207, 2 ], [ 88, 211, 2 ], [ 88, 216, 2 ], [ 89, 196, 2 ], [ 89, 217, 2 ], [ 90, 162, 2 ], [ 90, 166, 2 ], [ 92, 176, 1 ], [ 92, 180, 1 ], [ 93, 168, 2 ], [ 93, 177, 2 ], [ 93, 193, 1 ], [ 93, 221, 2 ], [ 94, 172, 2 ], [ 94, 178, 2 ], [ 94, 194, 1 ], [ 94, 195, 1 ], [ 94, 207, 1 ], [ 94, 211, 1 ], [ 94, 222, 2 ], [ 95, 229, 1 ], [ 96, 180, 2 ], [ 97, 169, 2 ], [ 97, 181, 2 ], [ 97, 194, 2 ], [ 97, 211, 2 ], [ 97, 233, 2 ], [ 98, 179, 2 ], [ 98, 182, 2 ], [ 98, 224, 2 ], [ 98, 229, 2 ], [ 98, 234, 2 ], [ 99, 225, 2 ], [ 99, 235, 2 ], [ 100, 163, 2 ], [ 100, 170, 2 ], [ 101, 176, 2 ], [ 101, 180, 2 ], [ 103, 169, 2 ], [ 103, 178, 2 ], [ 103, 181, 1 ], [ 103, 187, 1 ], [ 103, 195, 1 ], [ 103, 207, 1 ], [ 103, 216, 2 ], [ 103, 222, 1 ], [ 103, 233, 2 ], [ 104, 173, 2 ], [ 104, 188, 2 ], [ 104, 196, 1 ], [ 104, 239, 2 ], [ 105, 183, 2 ], [ 105, 189, 2 ], [ 105, 225, 1 ], [ 105, 240, 2 ], [ 106, 190, 1 ], [ 107, 164, 2 ], [ 107, 191, 1 ], [ 107, 197, 1 ], [ 108, 165, 2 ], [ 108, 192, 1 ], [ 108, 201, 1 ], [ 109, 168, 2 ], [ 109, 206, 2 ], [ 110, 169, 2 ], [ 110, 194, 1 ], [ 110, 211, 1 ], [ 111, 172, 2 ], [ 111, 194, 2 ], [ 111, 207, 2 ], [ 111, 211, 2 ], [ 111, 216, 2 ], [ 112, 173, 2 ], [ 112, 217, 2 ], [ 113, 164, 2 ], [ 113, 197, 2 ], [ 114, 198, 2 ], [ 114, 245, 2 ], [ 114, 255, 2 ], [ 115, 199, 1 ], [ 115, 247, 1 ], [ 115, 256, 2 ], [ 116, 261, 1 ], [ 117, 165, 2 ], [ 117, 201, 2 ], [ 118, 202, 2 ], [ 118, 246, 2 ], [ 118, 265, 2 ], [ 119, 200, 1 ], [ 119, 203, 1 ], [ 119, 248, 1 ], [ 119, 249, 1 ], [ 119, 257, 2 ], [ 119, 261, 2 ], [ 119, 266, 2 ], [ 120, 204, 1 ], [ 120, 250, 1 ], [ 120, 267, 2 ], [ 121, 164, 2 ], [ 121, 167, 1 ], [ 121, 191, 2 ], [ 121, 197, 2 ], [ 122, 168, 2 ], [ 122, 193, 2 ], [ 123, 169, 2 ], [ 123, 207, 1 ], [ 123, 211, 1 ], [ 124, 208, 2 ], [ 124, 271, 2 ], [ 125, 203, 2 ], [ 125, 209, 2 ], [ 125, 248, 1 ], [ 125, 249, 1 ], [ 125, 257, 1 ], [ 125, 261, 1 ], [ 125, 272, 2 ], [ 126, 279, 1 ], [ 127, 169, 2 ], [ 127, 211, 2 ], [ 128, 200, 2 ], [ 128, 212, 2 ], [ 128, 248, 2 ], [ 128, 261, 2 ], [ 128, 283, 2 ], [ 129, 251, 2 ], [ 129, 252, 2 ], [ 129, 274, 2 ], [ 129, 279, 2 ], [ 129, 284, 2 ], [ 130, 275, 2 ], [ 130, 285, 2 ], [ 131, 165, 2 ], [ 131, 171, 1 ], [ 131, 192, 2 ], [ 131, 201, 2 ], [ 132, 172, 2 ], [ 132, 194, 2 ], [ 132, 195, 2 ], [ 132, 207, 2 ], [ 132, 211, 2 ], [ 133, 173, 2 ], [ 133, 196, 2 ], [ 134, 203, 1 ], [ 134, 209, 2 ], [ 134, 212, 1 ], [ 134, 218, 1 ], [ 134, 248, 2 ], [ 134, 257, 1 ], [ 134, 266, 2 ], [ 134, 272, 1 ], [ 134, 283, 2 ], [ 135, 219, 2 ], [ 135, 289, 2 ], [ 136, 253, 2 ], [ 136, 254, 2 ], [ 136, 275, 1 ], [ 136, 290, 2 ], [ 137, 168, 2 ], [ 137, 177, 1 ], [ 137, 193, 1 ], [ 138, 172, 2 ], [ 138, 178, 1 ], [ 138, 194, 1 ], [ 138, 195, 1 ], [ 138, 207, 1 ], [ 138, 211, 1 ], [ 139, 223, 1 ], [ 140, 179, 2 ], [ 140, 224, 1 ], [ 140, 229, 1 ], [ 141, 183, 2 ], [ 141, 235, 2 ], [ 142, 226, 2 ], [ 142, 273, 1 ], [ 142, 295, 2 ], [ 143, 213, 2 ], [ 143, 227, 2 ], [ 143, 251, 1 ], [ 143, 252, 1 ], [ 143, 274, 1 ], [ 143, 279, 1 ], [ 143, 296, 2 ], [ 144, 214, 1 ], [ 144, 220, 1 ], [ 144, 228, 2 ], [ 144, 254, 2 ], [ 144, 285, 2 ], [ 144, 297, 2 ], [ 145, 179, 2 ], [ 145, 229, 2 ], [ 146, 210, 2 ], [ 146, 230, 2 ], [ 146, 251, 2 ], [ 146, 279, 2 ], [ 146, 302, 2 ], [ 147, 231, 2 ], [ 147, 298, 2 ], [ 147, 303, 2 ], [ 148, 232, 1 ], [ 148, 299, 1 ], [ 148, 304, 2 ], [ 149, 169, 2 ], [ 149, 181, 1 ], [ 149, 194, 2 ], [ 149, 211, 2 ], [ 150, 179, 2 ], [ 150, 182, 1 ], [ 150, 224, 2 ], [ 150, 229, 2 ], [ 151, 183, 2 ], [ 151, 225, 2 ], [ 152, 210, 2 ], [ 152, 227, 2 ], [ 152, 230, 1 ], [ 152, 236, 1 ], [ 152, 252, 1 ], [ 152, 274, 1 ], [ 152, 284, 2 ], [ 152, 296, 1 ], [ 152, 302, 2 ], [ 153, 220, 2 ], [ 153, 237, 2 ], [ 153, 253, 1 ], [ 153, 254, 1 ], [ 153, 275, 2 ], [ 153, 308, 2 ], [ 154, 238, 2 ], [ 154, 309, 2 ], [ 155, 173, 2 ], [ 155, 188, 1 ], [ 155, 196, 1 ], [ 156, 183, 2 ], [ 156, 189, 1 ], [ 156, 225, 1 ], [ 157, 241, 1 ], [ 158, 214, 2 ], [ 158, 228, 2 ], [ 158, 237, 1 ], [ 158, 242, 1 ], [ 158, 254, 1 ], [ 158, 285, 1 ], [ 158, 290, 2 ], [ 158, 297, 1 ], [ 158, 308, 2 ], [ 159, 243, 2 ], [ 159, 291, 1 ], [ 159, 314, 2 ], [ 160, 244, 2 ], [ 160, 310, 1 ], [ 160, 315, 2 ], [ 164, 324, 1 ], [ 165, 328, 1 ], [ 167, 318, 2 ], [ 167, 324, 2 ], [ 167, 332, 2 ], [ 168, 320, 2 ], [ 168, 333, 2 ], [ 169, 338, 1 ], [ 171, 319, 2 ], [ 171, 328, 2 ], [ 171, 342, 2 ], [ 172, 321, 2 ], [ 172, 322, 2 ], [ 172, 334, 2 ], [ 172, 338, 2 ], [ 172, 343, 2 ], [ 173, 323, 2 ], [ 173, 344, 2 ], [ 177, 320, 1 ], [ 177, 348, 2 ], [ 178, 321, 1 ], [ 178, 322, 1 ], [ 178, 334, 1 ], [ 178, 338, 1 ], [ 178, 349, 2 ], [ 179, 356, 1 ], [ 181, 321, 2 ], [ 181, 338, 2 ], [ 181, 360, 2 ], [ 182, 351, 2 ], [ 182, 356, 2 ], [ 182, 361, 2 ], [ 183, 352, 2 ], [ 183, 362, 2 ], [ 187, 322, 1 ], [ 187, 334, 1 ], [ 187, 343, 2 ], [ 187, 349, 1 ], [ 187, 360, 2 ], [ 188, 323, 1 ], [ 188, 366, 2 ], [ 189, 352, 1 ], [ 189, 367, 2 ], [ 190, 317, 1 ], [ 191, 318, 1 ], [ 191, 324, 1 ], [ 192, 319, 1 ], [ 192, 328, 1 ], [ 193, 333, 2 ], [ 194, 321, 1 ], [ 194, 338, 1 ], [ 195, 321, 2 ], [ 195, 334, 2 ], [ 195, 338, 2 ], [ 195, 343, 2 ], [ 196, 344, 2 ], [ 197, 324, 2 ], [ 198, 325, 2 ], [ 198, 372, 2 ], [ 198, 382, 2 ], [ 199, 326, 1 ], [ 199, 374, 1 ], [ 199, 383, 2 ], [ 200, 388, 1 ], [ 201, 328, 2 ], [ 202, 329, 2 ], [ 202, 373, 2 ], [ 202, 392, 2 ], [ 203, 327, 1 ], [ 203, 330, 1 ], [ 203, 375, 1 ], [ 203, 376, 1 ], [ 203, 384, 2 ], [ 203, 388, 2 ], [ 203, 393, 2 ], [ 204, 331, 1 ], [ 204, 377, 1 ], [ 204, 394, 2 ], [ 205, 318, 2 ], [ 205, 324, 2 ], [ 206, 320, 2 ], [ 207, 334, 1 ], [ 207, 338, 1 ], [ 208, 335, 2 ], [ 208, 398, 2 ], [ 209, 330, 2 ], [ 209, 336, 2 ], [ 209, 375, 1 ], [ 209, 376, 1 ], [ 209, 384, 1 ], [ 209, 388, 1 ], [ 209, 399, 2 ], [ 210, 406, 1 ], [ 211, 338, 2 ], [ 212, 327, 2 ], [ 212, 339, 2 ], [ 212, 375, 2 ], [ 212, 388, 2 ], [ 212, 410, 2 ], [ 213, 378, 2 ], [ 213, 379, 2 ], [ 213, 401, 2 ], [ 213, 406, 2 ], [ 213, 411, 2 ], [ 214, 402, 2 ], [ 214, 412, 2 ], [ 215, 319, 2 ], [ 215, 328, 2 ], [ 216, 321, 2 ], [ 216, 322, 2 ], [ 216, 334, 2 ], [ 216, 338, 2 ], [ 217, 323, 2 ], [ 218, 330, 1 ], [ 218, 336, 2 ], [ 218, 339, 1 ], [ 218, 345, 1 ], [ 218, 375, 2 ], [ 218, 384, 1 ], [ 218, 393, 2 ], [ 218, 399, 1 ], [ 218, 410, 2 ], [ 219, 346, 2 ], [ 219, 416, 2 ], [ 220, 380, 2 ], [ 220, 381, 2 ], [ 220, 402, 1 ], [ 220, 417, 2 ], [ 221, 320, 1 ], [ 222, 321, 1 ], [ 222, 322, 1 ], [ 222, 334, 1 ], [ 222, 338, 1 ], [ 223, 350, 1 ], [ 224, 351, 1 ], [ 224, 356, 1 ], [ 225, 362, 2 ], [ 226, 353, 2 ], [ 226, 400, 1 ], [ 226, 422, 2 ], [ 227, 340, 2 ], [ 227, 354, 2 ], [ 227, 378, 1 ], [ 227, 379, 1 ], [ 227, 401, 1 ], [ 227, 406, 1 ], [ 227, 423, 2 ], [ 228, 341, 1 ], [ 228, 347, 1 ], [ 228, 355, 2 ], [ 228, 381, 2 ], [ 228, 412, 2 ], [ 228, 424, 2 ], [ 229, 356, 2 ], [ 230, 337, 2 ], [ 230, 357, 2 ], [ 230, 378, 2 ], [ 230, 406, 2 ], [ 230, 429, 2 ], [ 231, 358, 2 ], [ 231, 425, 2 ], [ 231, 430, 2 ], [ 232, 359, 1 ], [ 232, 426, 1 ], [ 232, 431, 2 ], [ 233, 321, 2 ], [ 233, 338, 2 ], [ 234, 351, 2 ], [ 234, 356, 2 ], [ 235, 352, 2 ], [ 236, 337, 2 ], [ 236, 354, 2 ], [ 236, 357, 1 ], [ 236, 363, 1 ], [ 236, 379, 1 ], [ 236, 401, 1 ], [ 236, 411, 2 ], [ 236, 423, 1 ], [ 236, 429, 2 ], [ 237, 347, 2 ], [ 237, 364, 2 ], [ 237, 380, 1 ], [ 237, 381, 1 ], [ 237, 402, 2 ], [ 237, 435, 2 ], [ 238, 365, 2 ], [ 238, 436, 2 ], [ 239, 323, 1 ], [ 240, 352, 1 ], [ 241, 368, 1 ], [ 242, 341, 2 ], [ 242, 355, 2 ], [ 242, 364, 1 ], [ 242, 369, 1 ], [ 242, 381, 1 ], [ 242, 412, 1 ], [ 242, 417, 2 ], [ 242, 424, 1 ], [ 242, 435, 2 ], [ 243, 370, 2 ], [ 243, 418, 1 ], [ 243, 441, 2 ], [ 244, 371, 2 ], [ 244, 437, 1 ], [ 244, 442, 2 ], [ 245, 372, 1 ], [ 246, 373, 1 ], [ 247, 374, 2 ], [ 247, 383, 2 ], [ 248, 327, 2 ], [ 248, 375, 1 ], [ 248, 388, 1 ], [ 249, 327, 1 ], [ 249, 375, 1 ], [ 249, 376, 2 ], [ 249, 384, 2 ], [ 249, 388, 2 ], [ 249, 393, 2 ], [ 250, 377, 2 ], [ 250, 394, 2 ], [ 251, 337, 2 ], [ 251, 378, 1 ], [ 251, 406, 1 ], [ 252, 340, 2 ], [ 252, 378, 2 ], [ 252, 401, 2 ], [ 252, 406, 2 ], [ 252, 411, 2 ], [ 253, 341, 2 ], [ 253, 380, 1 ], [ 253, 402, 2 ], [ 253, 412, 2 ], [ 254, 347, 2 ], [ 254, 380, 2 ], [ 254, 402, 1 ], [ 254, 417, 2 ], [ 255, 325, 1 ], [ 255, 372, 2 ], [ 256, 374, 1 ], [ 257, 327, 2 ], [ 257, 384, 1 ], [ 257, 388, 1 ], [ 258, 385, 2 ], [ 258, 444, 2 ], [ 258, 456, 2 ], [ 259, 386, 2 ], [ 259, 445, 1 ], [ 259, 446, 1 ], [ 259, 457, 2 ], [ 260, 464, 1 ], [ 261, 327, 2 ], [ 261, 388, 2 ], [ 262, 389, 2 ], [ 262, 445, 2 ], [ 262, 468, 2 ], [ 263, 387, 1 ], [ 263, 390, 1 ], [ 263, 448, 1 ], [ 263, 449, 1 ], [ 263, 459, 2 ], [ 263, 464, 2 ], [ 263, 469, 2 ], [ 264, 460, 2 ], [ 264, 470, 2 ], [ 265, 329, 1 ], [ 265, 373, 2 ], [ 266, 327, 1 ], [ 266, 375, 1 ], [ 266, 376, 1 ], [ 266, 384, 2 ], [ 266, 388, 2 ], [ 267, 377, 1 ], [ 268, 386, 2 ], [ 268, 389, 1 ], [ 268, 395, 1 ], [ 268, 445, 1 ], [ 268, 446, 2 ], [ 268, 457, 1 ], [ 268, 468, 2 ], [ 269, 396, 2 ], [ 269, 447, 2 ], [ 269, 474, 2 ], [ 270, 391, 1 ], [ 270, 397, 1 ], [ 270, 450, 1 ], [ 270, 451, 1 ], [ 270, 460, 1 ], [ 270, 475, 2 ], [ 271, 335, 1 ], [ 272, 330, 2 ], [ 272, 336, 1 ], [ 272, 375, 1 ], [ 272, 376, 1 ], [ 272, 384, 1 ], [ 272, 388, 1 ], [ 273, 400, 1 ], [ 274, 337, 2 ], [ 274, 401, 1 ], [ 274, 406, 1 ], [ 275, 341, 2 ], [ 275, 412, 2 ], [ 276, 403, 2 ], [ 276, 458, 1 ], [ 276, 480, 2 ], [ 277, 390, 2 ], [ 277, 404, 2 ], [ 277, 448, 1 ], [ 277, 449, 1 ], [ 277, 459, 1 ], [ 277, 464, 1 ], [ 277, 481, 2 ], [ 278, 391, 1 ], [ 278, 397, 1 ], [ 278, 405, 2 ], [ 278, 451, 2 ], [ 278, 470, 2 ], [ 278, 482, 2 ], [ 279, 337, 2 ], [ 279, 406, 2 ], [ 280, 387, 2 ], [ 280, 407, 2 ], [ 280, 448, 2 ], [ 280, 464, 2 ], [ 280, 487, 2 ], [ 281, 452, 2 ], [ 281, 483, 2 ], [ 281, 488, 2 ], [ 282, 453, 1 ], [ 282, 484, 1 ], [ 282, 489, 2 ], [ 283, 327, 2 ], [ 283, 339, 1 ], [ 283, 375, 2 ], [ 283, 388, 2 ], [ 284, 340, 2 ], [ 284, 378, 2 ], [ 284, 379, 2 ], [ 284, 401, 2 ], [ 284, 406, 2 ], [ 285, 341, 2 ], [ 285, 402, 2 ], [ 286, 390, 1 ], [ 286, 404, 2 ], [ 286, 407, 1 ], [ 286, 413, 1 ], [ 286, 448, 2 ], [ 286, 459, 1 ], [ 286, 469, 2 ], [ 286, 481, 1 ], [ 286, 487, 2 ], [ 287, 397, 2 ], [ 287, 414, 2 ], [ 287, 450, 1 ], [ 287, 451, 1 ], [ 287, 460, 2 ], [ 287, 493, 2 ], [ 288, 454, 2 ], [ 288, 494, 2 ], [ 289, 346, 1 ], [ 290, 347, 2 ], [ 290, 380, 2 ], [ 290, 381, 2 ], [ 290, 402, 1 ], [ 291, 418, 1 ], [ 292, 397, 1 ], [ 292, 405, 2 ], [ 292, 414, 1 ], [ 292, 419, 1 ], [ 292, 450, 2 ], [ 292, 470, 1 ], [ 292, 475, 2 ], [ 292, 482, 1 ], [ 292, 493, 2 ], [ 293, 420, 2 ], [ 293, 476, 1 ], [ 293, 499, 2 ], [ 294, 455, 2 ], [ 294, 495, 1 ], [ 294, 500, 2 ], [ 295, 353, 1 ], [ 295, 400, 1 ], [ 296, 340, 2 ], [ 296, 354, 1 ], [ 296, 378, 1 ], [ 296, 379, 1 ], [ 296, 401, 1 ], [ 296, 406, 1 ], [ 297, 341, 1 ], [ 297, 347, 1 ], [ 297, 355, 1 ], [ 297, 381, 2 ], [ 297, 412, 2 ], [ 298, 425, 1 ], [ 299, 426, 2 ], [ 299, 431, 2 ], [ 300, 408, 2 ], [ 300, 427, 2 ], [ 300, 452, 1 ], [ 300, 483, 1 ], [ 300, 502, 2 ], [ 301, 409, 1 ], [ 301, 415, 1 ], [ 301, 428, 2 ], [ 301, 453, 1 ], [ 301, 454, 2 ], [ 301, 484, 2 ], [ 301, 489, 2 ], [ 301, 503, 2 ], [ 302, 337, 2 ], [ 302, 357, 1 ], [ 302, 378, 2 ], [ 302, 406, 2 ], [ 303, 358, 1 ], [ 303, 425, 2 ], [ 304, 426, 1 ], [ 305, 427, 2 ], [ 305, 432, 1 ], [ 305, 452, 1 ], [ 305, 483, 1 ], [ 305, 488, 2 ], [ 305, 502, 1 ], [ 306, 409, 1 ], [ 306, 415, 1 ], [ 306, 433, 2 ], [ 306, 453, 1 ], [ 306, 454, 2 ], [ 306, 484, 1 ], [ 306, 506, 2 ], [ 307, 434, 2 ], [ 307, 504, 2 ], [ 307, 507, 2 ], [ 308, 347, 2 ], [ 308, 364, 1 ], [ 308, 380, 1 ], [ 308, 381, 1 ], [ 308, 402, 2 ], [ 309, 365, 1 ], [ 310, 437, 1 ], [ 311, 415, 2 ], [ 311, 428, 2 ], [ 311, 433, 1 ], [ 311, 438, 1 ], [ 311, 454, 2 ], [ 311, 484, 2 ], [ 311, 489, 1 ], [ 311, 494, 2 ], [ 311, 503, 1 ], [ 311, 506, 2 ], [ 312, 421, 1 ], [ 312, 439, 2 ], [ 312, 455, 2 ], [ 312, 495, 1 ], [ 312, 512, 2 ], [ 313, 440, 2 ], [ 313, 508, 1 ], [ 313, 513, 2 ], [ 314, 370, 1 ], [ 314, 418, 1 ], [ 315, 371, 1 ], [ 315, 437, 1 ], [ 316, 439, 1 ], [ 316, 443, 1 ], [ 316, 455, 1 ], [ 316, 495, 2 ], [ 316, 500, 2 ], [ 316, 512, 2 ], [ 325, 515, 2 ], [ 325, 525, 2 ], [ 326, 517, 1 ], [ 326, 526, 2 ], [ 327, 531, 1 ], [ 329, 516, 2 ], [ 329, 535, 2 ], [ 330, 518, 1 ], [ 330, 519, 1 ], [ 330, 527, 2 ], [ 330, 531, 2 ], [ 330, 536, 2 ], [ 331, 520, 1 ], [ 331, 537, 2 ], [ 335, 541, 2 ], [ 336, 518, 1 ], [ 336, 519, 1 ], [ 336, 527, 1 ], [ 336, 531, 1 ], [ 336, 542, 2 ], [ 337, 549, 1 ], [ 339, 518, 2 ], [ 339, 531, 2 ], [ 339, 553, 2 ], [ 340, 521, 2 ], [ 340, 522, 2 ], [ 340, 544, 2 ], [ 340, 549, 2 ], [ 340, 554, 2 ], [ 341, 545, 2 ], [ 341, 555, 2 ], [ 345, 518, 2 ], [ 345, 527, 1 ], [ 345, 536, 2 ], [ 345, 542, 1 ], [ 345, 553, 2 ], [ 346, 559, 2 ], [ 347, 523, 2 ], [ 347, 524, 2 ], [ 347, 545, 1 ], [ 347, 560, 2 ], [ 353, 543, 1 ], [ 353, 565, 2 ], [ 354, 521, 1 ], [ 354, 522, 1 ], [ 354, 544, 1 ], [ 354, 549, 1 ], [ 354, 566, 2 ], [ 355, 524, 2 ], [ 355, 555, 2 ], [ 355, 567, 2 ], [ 357, 521, 2 ], [ 357, 549, 2 ], [ 357, 572, 2 ], [ 358, 568, 2 ], [ 358, 573, 2 ], [ 359, 569, 1 ], [ 359, 574, 2 ], [ 363, 522, 1 ], [ 363, 544, 1 ], [ 363, 554, 2 ], [ 363, 566, 1 ], [ 363, 572, 2 ], [ 364, 523, 1 ], [ 364, 524, 1 ], [ 364, 545, 2 ], [ 364, 578, 2 ], [ 365, 579, 2 ], [ 369, 524, 1 ], [ 369, 555, 1 ], [ 369, 560, 2 ], [ 369, 567, 1 ], [ 369, 578, 2 ], [ 370, 561, 1 ], [ 370, 584, 2 ], [ 371, 580, 1 ], [ 371, 585, 2 ], [ 372, 515, 1 ], [ 373, 516, 1 ], [ 374, 517, 2 ], [ 374, 526, 2 ], [ 375, 518, 1 ], [ 375, 531, 1 ], [ 376, 518, 1 ], [ 376, 519, 2 ], [ 376, 527, 2 ], [ 376, 531, 2 ], [ 376, 536, 2 ], [ 377, 520, 2 ], [ 377, 537, 2 ], [ 378, 521, 1 ], [ 378, 549, 1 ], [ 379, 521, 2 ], [ 379, 544, 2 ], [ 379, 549, 2 ], [ 379, 554, 2 ], [ 380, 523, 1 ], [ 380, 545, 2 ], [ 380, 555, 2 ], [ 381, 523, 2 ], [ 381, 545, 1 ], [ 381, 560, 2 ], [ 382, 515, 2 ], [ 383, 517, 1 ], [ 384, 527, 1 ], [ 384, 531, 1 ], [ 385, 528, 2 ], [ 385, 587, 2 ], [ 385, 599, 2 ], [ 386, 529, 2 ], [ 386, 588, 1 ], [ 386, 589, 1 ], [ 386, 600, 2 ], [ 387, 607, 1 ], [ 388, 531, 2 ], [ 389, 532, 2 ], [ 389, 588, 2 ], [ 389, 611, 2 ], [ 390, 530, 1 ], [ 390, 533, 1 ], [ 390, 591, 1 ], [ 390, 592, 1 ], [ 390, 602, 2 ], [ 390, 607, 2 ], [ 390, 612, 2 ], [ 391, 603, 2 ], [ 391, 613, 2 ], [ 392, 516, 2 ], [ 393, 518, 1 ], [ 393, 519, 1 ], [ 393, 527, 2 ], [ 393, 531, 2 ], [ 394, 520, 1 ], [ 395, 529, 2 ], [ 395, 532, 1 ], [ 395, 538, 1 ], [ 395, 588, 1 ], [ 395, 589, 2 ], [ 395, 600, 1 ], [ 395, 611, 2 ], [ 396, 539, 2 ], [ 396, 590, 2 ], [ 396, 617, 2 ], [ 397, 534, 1 ], [ 397, 540, 1 ], [ 397, 593, 1 ], [ 397, 594, 1 ], [ 397, 603, 1 ], [ 397, 618, 2 ], [ 399, 518, 1 ], [ 399, 519, 1 ], [ 399, 527, 1 ], [ 399, 531, 1 ], [ 400, 543, 1 ], [ 401, 544, 1 ], [ 401, 549, 1 ], [ 402, 555, 2 ], [ 403, 546, 2 ], [ 403, 601, 1 ], [ 403, 623, 2 ], [ 404, 533, 2 ], [ 404, 547, 2 ], [ 404, 591, 1 ], [ 404, 592, 1 ], [ 404, 602, 1 ], [ 404, 607, 1 ], [ 404, 624, 2 ], [ 405, 534, 1 ], [ 405, 540, 1 ], [ 405, 548, 2 ], [ 405, 594, 2 ], [ 405, 613, 2 ], [ 405, 625, 2 ], [ 406, 549, 2 ], [ 407, 530, 2 ], [ 407, 550, 2 ], [ 407, 591, 2 ], [ 407, 607, 2 ], [ 407, 630, 2 ], [ 408, 595, 2 ], [ 408, 626, 2 ], [ 408, 631, 2 ], [ 409, 596, 1 ], [ 409, 627, 1 ], [ 409, 632, 2 ], [ 410, 518, 2 ], [ 410, 531, 2 ], [ 411, 521, 2 ], [ 411, 522, 2 ], [ 411, 544, 2 ], [ 411, 549, 2 ], [ 412, 545, 2 ], [ 413, 533, 1 ], [ 413, 547, 2 ], [ 413, 550, 1 ], [ 413, 556, 1 ], [ 413, 591, 2 ], [ 413, 602, 1 ], [ 413, 612, 2 ], [ 413, 624, 1 ], [ 413, 630, 2 ], [ 414, 540, 2 ], [ 414, 557, 2 ], [ 414, 593, 1 ], [ 414, 594, 1 ], [ 414, 603, 2 ], [ 414, 636, 2 ], [ 415, 597, 2 ], [ 415, 637, 2 ], [ 417, 523, 2 ], [ 417, 524, 2 ], [ 417, 545, 1 ], [ 418, 561, 1 ], [ 419, 540, 1 ], [ 419, 548, 2 ], [ 419, 557, 1 ], [ 419, 562, 1 ], [ 419, 593, 2 ], [ 419, 613, 1 ], [ 419, 618, 2 ], [ 419, 625, 1 ], [ 419, 636, 2 ], [ 420, 563, 2 ], [ 420, 619, 1 ], [ 420, 642, 2 ], [ 421, 598, 2 ], [ 421, 638, 1 ], [ 421, 643, 2 ], [ 422, 543, 1 ], [ 423, 521, 1 ], [ 423, 522, 1 ], [ 423, 544, 1 ], [ 423, 549, 1 ], [ 424, 524, 2 ], [ 424, 555, 2 ], [ 425, 568, 1 ], [ 426, 569, 2 ], [ 426, 574, 2 ], [ 427, 551, 2 ], [ 427, 570, 2 ], [ 427, 595, 1 ], [ 427, 626, 1 ], [ 427, 645, 2 ], [ 428, 552, 1 ], [ 428, 558, 1 ], [ 428, 571, 2 ], [ 428, 596, 1 ], [ 428, 597, 2 ], [ 428, 627, 2 ], [ 428, 632, 2 ], [ 428, 646, 2 ], [ 429, 521, 2 ], [ 429, 549, 2 ], [ 430, 568, 2 ], [ 431, 569, 1 ], [ 432, 570, 2 ], [ 432, 575, 1 ], [ 432, 595, 1 ], [ 432, 626, 1 ], [ 432, 631, 2 ], [ 432, 645, 1 ], [ 433, 552, 1 ], [ 433, 558, 1 ], [ 433, 576, 2 ], [ 433, 596, 1 ], [ 433, 597, 2 ], [ 433, 627, 1 ], [ 433, 649, 2 ], [ 434, 577, 2 ], [ 434, 647, 2 ], [ 434, 650, 2 ], [ 435, 523, 1 ], [ 435, 524, 1 ], [ 435, 545, 2 ], [ 437, 580, 1 ], [ 438, 558, 2 ], [ 438, 571, 2 ], [ 438, 576, 1 ], [ 438, 581, 1 ], [ 438, 597, 2 ], [ 438, 627, 2 ], [ 438, 632, 1 ], [ 438, 637, 2 ], [ 438, 646, 1 ], [ 438, 649, 2 ], [ 439, 564, 1 ], [ 439, 582, 2 ], [ 439, 598, 2 ], [ 439, 638, 1 ], [ 439, 655, 2 ], [ 440, 583, 2 ], [ 440, 651, 1 ], [ 440, 656, 2 ], [ 441, 561, 1 ], [ 442, 580, 1 ], [ 443, 582, 1 ], [ 443, 586, 1 ], [ 443, 598, 1 ], [ 443, 638, 2 ], [ 443, 643, 2 ], [ 443, 655, 2 ], [ 444, 587, 1 ], [ 445, 588, 1 ], [ 446, 589, 1 ], [ 447, 590, 1 ], [ 448, 530, 2 ], [ 448, 591, 1 ], [ 448, 607, 1 ], [ 449, 530, 1 ], [ 449, 591, 1 ], [ 449, 592, 2 ], [ 449, 602, 2 ], [ 449, 607, 2 ], [ 449, 612, 2 ], [ 450, 534, 2 ], [ 450, 593, 1 ], [ 450, 603, 2 ], [ 450, 613, 2 ], [ 451, 534, 1 ], [ 451, 593, 1 ], [ 451, 594, 2 ], [ 451, 603, 1 ], [ 451, 618, 2 ], [ 452, 551, 2 ], [ 452, 626, 2 ], [ 452, 631, 2 ], [ 453, 552, 2 ], [ 453, 596, 2 ], [ 453, 627, 1 ], [ 453, 632, 2 ], [ 454, 558, 2 ], [ 454, 637, 2 ], [ 455, 564, 2 ], [ 455, 638, 1 ], [ 455, 643, 2 ], [ 456, 528, 1 ], [ 456, 587, 2 ], [ 457, 529, 1 ], [ 457, 588, 1 ], [ 457, 589, 1 ], [ 458, 601, 1 ], [ 459, 530, 2 ], [ 459, 602, 1 ], [ 459, 607, 1 ], [ 460, 534, 2 ], [ 460, 613, 2 ], [ 461, 604, 2 ], [ 461, 668, 2 ], [ 462, 605, 2 ], [ 462, 658, 1 ], [ 462, 659, 1 ], [ 462, 669, 2 ], [ 463, 606, 2 ], [ 463, 661, 2 ], [ 463, 670, 2 ], [ 464, 530, 2 ], [ 464, 607, 2 ], [ 465, 608, 2 ], [ 465, 658, 2 ], [ 465, 675, 2 ], [ 466, 609, 1 ], [ 466, 662, 1 ], [ 466, 671, 2 ], [ 466, 676, 2 ], [ 467, 610, 2 ], [ 467, 663, 2 ], [ 467, 672, 1 ], [ 467, 677, 2 ], [ 468, 532, 1 ], [ 468, 588, 2 ], [ 469, 530, 1 ], [ 469, 591, 1 ], [ 469, 592, 1 ], [ 469, 602, 2 ], [ 469, 607, 2 ], [ 470, 534, 2 ], [ 470, 603, 2 ], [ 471, 605, 2 ], [ 471, 608, 1 ], [ 471, 614, 1 ], [ 471, 658, 1 ], [ 471, 659, 2 ], [ 471, 669, 1 ], [ 471, 675, 2 ], [ 472, 615, 2 ], [ 472, 660, 1 ], [ 472, 661, 1 ], [ 472, 681, 2 ], [ 473, 616, 1 ], [ 473, 664, 1 ], [ 473, 682, 2 ], [ 474, 539, 1 ], [ 474, 590, 2 ], [ 475, 534, 1 ], [ 475, 593, 1 ], [ 475, 594, 1 ], [ 475, 603, 1 ], [ 476, 619, 1 ], [ 477, 606, 2 ], [ 477, 615, 1 ], [ 477, 620, 1 ], [ 477, 660, 1 ], [ 477, 661, 2 ], [ 477, 670, 1 ], [ 477, 681, 2 ], [ 478, 621, 2 ], [ 478, 687, 2 ], [ 479, 622, 1 ], [ 479, 665, 1 ], [ 479, 683, 1 ], [ 479, 688, 2 ], [ 480, 546, 1 ], [ 480, 601, 1 ], [ 481, 533, 2 ], [ 481, 547, 1 ], [ 481, 591, 1 ], [ 481, 592, 1 ], [ 481, 602, 1 ], [ 481, 607, 1 ], [ 482, 534, 1 ], [ 482, 540, 1 ], [ 482, 548, 1 ], [ 482, 594, 2 ], [ 482, 613, 2 ], [ 483, 626, 1 ], [ 484, 552, 2 ], [ 484, 596, 1 ], [ 484, 627, 2 ], [ 484, 632, 2 ], [ 485, 609, 2 ], [ 485, 628, 2 ], [ 485, 662, 1 ], [ 485, 671, 1 ], [ 485, 690, 2 ], [ 486, 616, 1 ], [ 486, 629, 2 ], [ 486, 663, 2 ], [ 486, 664, 2 ], [ 486, 672, 2 ], [ 486, 677, 2 ], [ 486, 691, 2 ], [ 487, 530, 2 ], [ 487, 550, 1 ], [ 487, 591, 2 ], [ 487, 607, 2 ], [ 488, 551, 2 ], [ 488, 595, 2 ], [ 488, 626, 2 ], [ 489, 552, 2 ], [ 489, 596, 1 ], [ 489, 627, 1 ], [ 490, 609, 1 ], [ 490, 628, 2 ], [ 490, 633, 1 ], [ 490, 671, 1 ], [ 490, 676, 2 ], [ 490, 690, 1 ], [ 491, 616, 1 ], [ 491, 634, 2 ], [ 491, 663, 2 ], [ 491, 664, 2 ], [ 491, 672, 1 ], [ 491, 694, 2 ], [ 492, 666, 2 ], [ 492, 692, 2 ], [ 492, 695, 2 ], [ 493, 540, 2 ], [ 493, 557, 1 ], [ 493, 593, 1 ], [ 493, 594, 1 ], [ 493, 603, 2 ], [ 494, 558, 2 ], [ 494, 597, 2 ], [ 495, 638, 1 ], [ 496, 629, 2 ], [ 496, 634, 1 ], [ 496, 639, 1 ], [ 496, 664, 1 ], [ 496, 672, 2 ], [ 496, 677, 1 ], [ 496, 682, 2 ], [ 496, 691, 1 ], [ 496, 694, 2 ], [ 497, 622, 1 ], [ 497, 640, 2 ], [ 497, 665, 2 ], [ 497, 683, 1 ], [ 497, 700, 2 ], [ 498, 667, 2 ], [ 498, 696, 1 ], [ 498, 701, 2 ], [ 499, 563, 1 ], [ 499, 619, 1 ], [ 500, 564, 2 ], [ 500, 598, 2 ], [ 500, 638, 1 ], [ 501, 622, 1 ], [ 501, 640, 1 ], [ 501, 644, 1 ], [ 501, 683, 2 ], [ 501, 688, 2 ], [ 501, 700, 2 ], [ 502, 551, 2 ], [ 502, 570, 1 ], [ 502, 595, 1 ], [ 502, 626, 1 ], [ 503, 552, 1 ], [ 503, 558, 1 ], [ 503, 571, 1 ], [ 503, 596, 1 ], [ 503, 597, 2 ], [ 503, 627, 2 ], [ 503, 632, 2 ], [ 504, 647, 1 ], [ 505, 635, 1 ], [ 505, 648, 2 ], [ 505, 666, 2 ], [ 505, 692, 1 ], [ 505, 703, 2 ], [ 506, 552, 1 ], [ 506, 558, 1 ], [ 506, 576, 1 ], [ 506, 596, 1 ], [ 506, 597, 2 ], [ 506, 627, 1 ], [ 507, 577, 1 ], [ 507, 647, 2 ], [ 508, 651, 1 ], [ 509, 635, 1 ], [ 509, 648, 2 ], [ 509, 652, 1 ], [ 509, 692, 1 ], [ 509, 695, 2 ], [ 509, 703, 1 ], [ 510, 641, 2 ], [ 510, 653, 2 ], [ 510, 667, 1 ], [ 510, 696, 1 ], [ 510, 704, 2 ], [ 511, 654, 2 ], [ 511, 705, 2 ], [ 512, 564, 1 ], [ 512, 582, 1 ], [ 512, 598, 2 ], [ 512, 638, 1 ], [ 513, 583, 1 ], [ 513, 651, 1 ], [ 514, 641, 1 ], [ 514, 653, 1 ], [ 514, 657, 1 ], [ 514, 696, 2 ], [ 514, 701, 2 ], [ 514, 704, 2 ], [ 528, 707, 2 ], [ 528, 719, 2 ], [ 529, 708, 1 ], [ 529, 709, 1 ], [ 529, 720, 2 ], [ 530, 727, 1 ], [ 532, 708, 2 ], [ 532, 731, 2 ], [ 533, 711, 1 ], [ 533, 712, 1 ], [ 533, 722, 2 ], [ 533, 727, 2 ], [ 533, 732, 2 ], [ 534, 723, 2 ], [ 534, 733, 2 ], [ 538, 708, 1 ], [ 538, 709, 2 ], [ 538, 720, 1 ], [ 538, 731, 2 ], [ 539, 710, 2 ], [ 539, 737, 2 ], [ 540, 713, 1 ], [ 540, 714, 1 ], [ 540, 723, 1 ], [ 540, 738, 2 ], [ 546, 721, 1 ], [ 546, 743, 2 ], [ 547, 711, 1 ], [ 547, 712, 1 ], [ 547, 722, 1 ], [ 547, 727, 1 ], [ 547, 744, 2 ], [ 548, 714, 2 ], [ 548, 733, 2 ], [ 548, 745, 2 ], [ 550, 711, 2 ], [ 550, 727, 2 ], [ 550, 750, 2 ], [ 551, 715, 2 ], [ 551, 746, 2 ], [ 551, 751, 2 ], [ 552, 716, 1 ], [ 552, 747, 1 ], [ 552, 752, 2 ], [ 556, 711, 2 ], [ 556, 722, 1 ], [ 556, 732, 2 ], [ 556, 744, 1 ], [ 556, 750, 2 ], [ 557, 713, 1 ], [ 557, 714, 1 ], [ 557, 723, 2 ], [ 557, 756, 2 ], [ 558, 717, 2 ], [ 558, 757, 2 ], [ 562, 713, 2 ], [ 562, 733, 1 ], [ 562, 738, 2 ], [ 562, 745, 1 ], [ 562, 756, 2 ], [ 563, 739, 1 ], [ 563, 762, 2 ], [ 564, 718, 2 ], [ 564, 758, 1 ], [ 564, 763, 2 ], [ 570, 715, 1 ], [ 570, 746, 1 ], [ 570, 765, 2 ], [ 571, 716, 1 ], [ 571, 717, 2 ], [ 571, 747, 2 ], [ 571, 752, 2 ], [ 571, 766, 2 ], [ 575, 715, 1 ], [ 575, 746, 1 ], [ 575, 751, 2 ], [ 575, 765, 1 ], [ 576, 716, 1 ], [ 576, 717, 2 ], [ 576, 747, 1 ], [ 576, 769, 2 ], [ 577, 767, 2 ], [ 577, 770, 2 ], [ 581, 717, 2 ], [ 581, 747, 2 ], [ 581, 752, 1 ], [ 581, 757, 2 ], [ 581, 766, 1 ], [ 581, 769, 2 ], [ 582, 718, 2 ], [ 582, 758, 1 ], [ 582, 775, 2 ], [ 583, 771, 1 ], [ 583, 776, 2 ], [ 586, 718, 1 ], [ 586, 758, 2 ], [ 586, 763, 2 ], [ 586, 775, 2 ], [ 587, 707, 1 ], [ 588, 708, 1 ], [ 589, 709, 1 ], [ 590, 710, 1 ], [ 591, 711, 1 ], [ 591, 727, 1 ], [ 592, 711, 1 ], [ 592, 712, 2 ], [ 592, 722, 2 ], [ 592, 727, 2 ], [ 592, 732, 2 ], [ 593, 713, 1 ], [ 593, 723, 2 ], [ 593, 733, 2 ], [ 594, 713, 1 ], [ 594, 714, 2 ], [ 594, 723, 1 ], [ 594, 738, 2 ], [ 595, 746, 2 ], [ 595, 751, 2 ], [ 596, 716, 2 ], [ 596, 747, 1 ], [ 596, 752, 2 ], [ 597, 757, 2 ], [ 598, 758, 1 ], [ 598, 763, 2 ], [ 599, 707, 2 ], [ 600, 708, 1 ], [ 600, 709, 1 ], [ 601, 721, 1 ], [ 602, 722, 1 ], [ 602, 727, 1 ], [ 603, 733, 2 ], [ 604, 724, 2 ], [ 604, 788, 2 ], [ 605, 725, 2 ], [ 605, 778, 1 ], [ 605, 779, 1 ], [ 605, 789, 2 ], [ 606, 726, 2 ], [ 606, 781, 2 ], [ 606, 790, 2 ], [ 607, 727, 2 ], [ 608, 728, 2 ], [ 608, 778, 2 ], [ 608, 795, 2 ], [ 609, 729, 1 ], [ 609, 782, 1 ], [ 609, 791, 2 ], [ 609, 796, 2 ], [ 610, 730, 2 ], [ 610, 783, 2 ], [ 610, 792, 1 ], [ 610, 797, 2 ], [ 611, 708, 2 ], [ 612, 711, 1 ], [ 612, 712, 1 ], [ 612, 722, 2 ], [ 612, 727, 2 ], [ 613, 723, 2 ], [ 614, 725, 2 ], [ 614, 728, 1 ], [ 614, 734, 1 ], [ 614, 778, 1 ], [ 614, 779, 2 ], [ 614, 789, 1 ], [ 614, 795, 2 ], [ 615, 735, 2 ], [ 615, 780, 1 ], [ 615, 781, 1 ], [ 615, 801, 2 ], [ 616, 736, 1 ], [ 616, 784, 1 ], [ 616, 802, 2 ], [ 617, 710, 2 ], [ 618, 713, 1 ], [ 618, 714, 1 ], [ 618, 723, 1 ], [ 619, 739, 1 ], [ 620, 726, 2 ], [ 620, 735, 1 ], [ 620, 740, 1 ], [ 620, 780, 1 ], [ 620, 781, 2 ], [ 620, 790, 1 ], [ 620, 801, 2 ], [ 621, 741, 2 ], [ 621, 807, 2 ], [ 622, 742, 1 ], [ 622, 785, 1 ], [ 622, 803, 1 ], [ 622, 808, 2 ], [ 623, 721, 1 ], [ 624, 711, 1 ], [ 624, 712, 1 ], [ 624, 722, 1 ], [ 624, 727, 1 ], [ 625, 714, 2 ], [ 625, 733, 2 ], [ 626, 746, 1 ], [ 627, 716, 1 ], [ 627, 747, 2 ], [ 627, 752, 2 ], [ 628, 729, 2 ], [ 628, 748, 2 ], [ 628, 782, 1 ], [ 628, 791, 1 ], [ 628, 810, 2 ], [ 629, 736, 1 ], [ 629, 749, 2 ], [ 629, 783, 2 ], [ 629, 784, 2 ], [ 629, 792, 2 ], [ 629, 797, 2 ], [ 629, 811, 2 ], [ 630, 711, 2 ], [ 630, 727, 2 ], [ 631, 715, 2 ], [ 631, 746, 2 ], [ 632, 716, 1 ], [ 632, 747, 1 ], [ 633, 729, 1 ], [ 633, 748, 2 ], [ 633, 753, 1 ], [ 633, 791, 1 ], [ 633, 796, 2 ], [ 633, 810, 1 ], [ 634, 736, 1 ], [ 634, 754, 2 ], [ 634, 783, 2 ], [ 634, 784, 2 ], [ 634, 792, 1 ], [ 634, 814, 2 ], [ 635, 786, 2 ], [ 635, 812, 2 ], [ 635, 815, 2 ], [ 636, 713, 1 ], [ 636, 714, 1 ], [ 636, 723, 2 ], [ 637, 717, 2 ], [ 638, 758, 1 ], [ 639, 749, 2 ], [ 639, 754, 1 ], [ 639, 759, 1 ], [ 639, 784, 1 ], [ 639, 792, 2 ], [ 639, 797, 1 ], [ 639, 802, 2 ], [ 639, 811, 1 ], [ 639, 814, 2 ], [ 640, 742, 1 ], [ 640, 760, 2 ], [ 640, 785, 2 ], [ 640, 803, 1 ], [ 640, 820, 2 ], [ 641, 787, 2 ], [ 641, 816, 1 ], [ 641, 821, 2 ], [ 642, 739, 1 ], [ 643, 718, 2 ], [ 643, 758, 1 ], [ 644, 742, 1 ], [ 644, 760, 1 ], [ 644, 764, 1 ], [ 644, 803, 2 ], [ 644, 808, 2 ], [ 644, 820, 2 ], [ 645, 715, 1 ], [ 645, 746, 1 ], [ 646, 716, 1 ], [ 646, 717, 2 ], [ 646, 747, 2 ], [ 646, 752, 2 ], [ 647, 767, 1 ], [ 648, 755, 1 ], [ 648, 768, 2 ], [ 648, 786, 2 ], [ 648, 812, 1 ], [ 648, 823, 2 ], [ 649, 716, 1 ], [ 649, 717, 2 ], [ 649, 747, 1 ], [ 650, 767, 2 ], [ 651, 771, 1 ], [ 652, 755, 1 ], [ 652, 768, 2 ], [ 652, 772, 1 ], [ 652, 812, 1 ], [ 652, 815, 2 ], [ 652, 823, 1 ], [ 653, 761, 2 ], [ 653, 773, 2 ], [ 653, 787, 1 ], [ 653, 816, 1 ], [ 653, 824, 2 ], [ 654, 774, 2 ], [ 654, 825, 2 ], [ 655, 718, 2 ], [ 655, 758, 1 ], [ 656, 771, 1 ], [ 657, 761, 1 ], [ 657, 773, 1 ], [ 657, 777, 1 ], [ 657, 816, 2 ], [ 657, 821, 2 ], [ 657, 824, 2 ], [ 658, 778, 1 ], [ 659, 779, 1 ], [ 660, 780, 1 ], [ 661, 781, 1 ], [ 662, 782, 2 ], [ 662, 791, 2 ], [ 662, 796, 2 ], [ 663, 730, 1 ], [ 663, 792, 1 ], [ 663, 797, 2 ], [ 664, 784, 2 ], [ 664, 802, 2 ], [ 665, 785, 2 ], [ 665, 803, 1 ], [ 665, 808, 2 ], [ 666, 755, 2 ], [ 666, 812, 2 ], [ 666, 815, 2 ], [ 667, 761, 2 ], [ 667, 816, 1 ], [ 667, 821, 2 ], [ 668, 724, 1 ], [ 669, 725, 1 ], [ 669, 778, 1 ], [ 669, 779, 1 ], [ 670, 726, 1 ], [ 670, 781, 2 ], [ 671, 791, 1 ], [ 672, 730, 1 ], [ 672, 783, 2 ], [ 672, 792, 2 ], [ 672, 797, 2 ], [ 673, 793, 2 ], [ 673, 827, 1 ], [ 673, 834, 2 ], [ 674, 794, 2 ], [ 674, 829, 2 ], [ 674, 835, 2 ], [ 675, 728, 1 ], [ 675, 778, 2 ], [ 676, 782, 1 ], [ 676, 791, 2 ], [ 677, 730, 1 ], [ 677, 783, 2 ], [ 677, 792, 1 ], [ 678, 793, 2 ], [ 678, 798, 1 ], [ 678, 827, 2 ], [ 678, 834, 1 ], [ 679, 799, 2 ], [ 679, 829, 2 ], [ 679, 838, 2 ], [ 680, 800, 1 ], [ 680, 831, 1 ], [ 680, 836, 2 ], [ 680, 839, 2 ], [ 681, 735, 1 ], [ 681, 780, 1 ], [ 681, 781, 1 ], [ 682, 784, 1 ], [ 683, 803, 1 ], [ 684, 794, 2 ], [ 684, 799, 1 ], [ 684, 804, 1 ], [ 684, 835, 1 ], [ 684, 838, 2 ], [ 685, 805, 2 ], [ 685, 830, 2 ], [ 685, 844, 2 ], [ 686, 806, 1 ], [ 686, 832, 1 ], [ 686, 840, 1 ], [ 686, 845, 2 ], [ 687, 741, 1 ], [ 688, 785, 1 ], [ 688, 803, 1 ], [ 689, 805, 1 ], [ 689, 809, 1 ], [ 689, 830, 2 ], [ 689, 844, 2 ], [ 690, 729, 2 ], [ 690, 748, 1 ], [ 690, 782, 1 ], [ 690, 791, 1 ], [ 691, 736, 1 ], [ 691, 749, 1 ], [ 691, 783, 2 ], [ 691, 784, 2 ], [ 691, 792, 2 ], [ 691, 797, 2 ], [ 692, 812, 1 ], [ 693, 800, 1 ], [ 693, 813, 2 ], [ 693, 831, 2 ], [ 693, 836, 1 ], [ 693, 847, 2 ], [ 694, 736, 1 ], [ 694, 754, 1 ], [ 694, 783, 2 ], [ 694, 784, 2 ], [ 694, 792, 1 ], [ 695, 755, 2 ], [ 695, 786, 2 ], [ 695, 812, 2 ], [ 696, 816, 1 ], [ 697, 800, 2 ], [ 697, 813, 2 ], [ 697, 817, 1 ], [ 697, 831, 2 ], [ 697, 836, 1 ], [ 697, 839, 2 ], [ 697, 847, 1 ], [ 698, 806, 2 ], [ 698, 818, 2 ], [ 698, 832, 1 ], [ 698, 840, 1 ], [ 698, 848, 2 ], [ 699, 833, 2 ], [ 699, 849, 2 ], [ 700, 742, 1 ], [ 700, 760, 1 ], [ 700, 785, 2 ], [ 700, 803, 1 ], [ 701, 761, 2 ], [ 701, 787, 2 ], [ 701, 816, 1 ], [ 702, 806, 2 ], [ 702, 818, 1 ], [ 702, 822, 1 ], [ 702, 832, 2 ], [ 702, 840, 2 ], [ 702, 845, 2 ], [ 702, 848, 2 ], [ 703, 755, 1 ], [ 703, 768, 1 ], [ 703, 786, 2 ], [ 703, 812, 1 ], [ 704, 761, 2 ], [ 704, 773, 1 ], [ 704, 787, 1 ], [ 704, 816, 1 ], [ 705, 774, 1 ], [ 706, 819, 2 ], [ 706, 826, 1 ], [ 706, 833, 2 ], [ 706, 849, 2 ], [ 724, 861, 2 ], [ 725, 851, 1 ], [ 725, 852, 1 ], [ 725, 862, 2 ], [ 726, 854, 2 ], [ 726, 863, 2 ], [ 728, 851, 2 ], [ 728, 868, 2 ], [ 729, 855, 1 ], [ 729, 864, 2 ], [ 729, 869, 2 ], [ 730, 856, 2 ], [ 730, 865, 1 ], [ 730, 870, 2 ], [ 734, 851, 1 ], [ 734, 852, 2 ], [ 734, 862, 1 ], [ 734, 868, 2 ], [ 735, 853, 1 ], [ 735, 854, 1 ], [ 735, 874, 2 ], [ 736, 857, 1 ], [ 736, 875, 2 ], [ 740, 853, 1 ], [ 740, 854, 2 ], [ 740, 863, 1 ], [ 740, 874, 2 ], [ 741, 880, 2 ], [ 742, 858, 1 ], [ 742, 876, 1 ], [ 742, 881, 2 ], [ 748, 855, 1 ], [ 748, 864, 1 ], [ 748, 883, 2 ], [ 749, 856, 2 ], [ 749, 857, 2 ], [ 749, 865, 2 ], [ 749, 870, 2 ], [ 749, 884, 2 ], [ 753, 864, 1 ], [ 753, 869, 2 ], [ 753, 883, 1 ], [ 754, 856, 2 ], [ 754, 857, 2 ], [ 754, 865, 1 ], [ 754, 887, 2 ], [ 755, 859, 2 ], [ 755, 885, 2 ], [ 755, 888, 2 ], [ 759, 857, 1 ], [ 759, 865, 2 ], [ 759, 870, 1 ], [ 759, 875, 2 ], [ 759, 884, 1 ], [ 759, 887, 2 ], [ 760, 858, 2 ], [ 760, 876, 1 ], [ 760, 893, 2 ], [ 761, 860, 2 ], [ 761, 889, 1 ], [ 761, 894, 2 ], [ 764, 876, 2 ], [ 764, 881, 2 ], [ 764, 893, 2 ], [ 768, 859, 2 ], [ 768, 885, 1 ], [ 768, 896, 2 ], [ 772, 885, 1 ], [ 772, 888, 2 ], [ 772, 896, 1 ], [ 773, 860, 1 ], [ 773, 889, 1 ], [ 773, 897, 2 ], [ 774, 898, 2 ], [ 777, 889, 2 ], [ 777, 894, 2 ], [ 777, 897, 2 ], [ 778, 851, 1 ], [ 779, 852, 1 ], [ 780, 853, 1 ], [ 781, 854, 1 ], [ 782, 855, 2 ], [ 782, 864, 2 ], [ 782, 869, 2 ], [ 783, 865, 1 ], [ 783, 870, 2 ], [ 784, 857, 2 ], [ 784, 875, 2 ], [ 785, 858, 2 ], [ 785, 876, 1 ], [ 785, 881, 2 ], [ 786, 885, 2 ], [ 786, 888, 2 ], [ 787, 889, 1 ], [ 787, 894, 2 ], [ 789, 851, 1 ], [ 789, 852, 1 ], [ 790, 854, 2 ], [ 791, 864, 1 ], [ 792, 856, 2 ], [ 792, 865, 2 ], [ 792, 870, 2 ], [ 793, 866, 2 ], [ 793, 900, 1 ], [ 793, 907, 2 ], [ 794, 867, 2 ], [ 794, 902, 2 ], [ 794, 908, 2 ], [ 795, 851, 2 ], [ 796, 855, 1 ], [ 796, 864, 2 ], [ 797, 856, 2 ], [ 797, 865, 1 ], [ 798, 866, 2 ], [ 798, 871, 1 ], [ 798, 900, 2 ], [ 798, 907, 1 ], [ 799, 872, 2 ], [ 799, 902, 2 ], [ 799, 911, 2 ], [ 800, 873, 1 ], [ 800, 904, 1 ], [ 800, 909, 2 ], [ 800, 912, 2 ], [ 801, 853, 1 ], [ 801, 854, 1 ], [ 802, 857, 1 ], [ 803, 876, 1 ], [ 804, 867, 2 ], [ 804, 872, 1 ], [ 804, 877, 1 ], [ 804, 908, 1 ], [ 804, 911, 2 ], [ 805, 878, 2 ], [ 805, 903, 2 ], [ 805, 917, 2 ], [ 806, 879, 1 ], [ 806, 905, 1 ], [ 806, 913, 1 ], [ 806, 918, 2 ], [ 808, 858, 1 ], [ 808, 876, 1 ], [ 809, 878, 1 ], [ 809, 882, 1 ], [ 809, 903, 2 ], [ 809, 917, 2 ], [ 810, 855, 1 ], [ 810, 864, 1 ], [ 811, 856, 2 ], [ 811, 857, 2 ], [ 811, 865, 2 ], [ 811, 870, 2 ], [ 812, 885, 1 ], [ 813, 873, 1 ], [ 813, 886, 2 ], [ 813, 904, 2 ], [ 813, 909, 1 ], [ 813, 920, 2 ], [ 814, 856, 2 ], [ 814, 857, 2 ], [ 814, 865, 1 ], [ 815, 859, 2 ], [ 815, 885, 2 ], [ 816, 889, 1 ], [ 817, 873, 2 ], [ 817, 886, 2 ], [ 817, 890, 1 ], [ 817, 904, 2 ], [ 817, 909, 1 ], [ 817, 912, 2 ], [ 817, 920, 1 ], [ 818, 879, 2 ], [ 818, 891, 2 ], [ 818, 905, 1 ], [ 818, 913, 1 ], [ 818, 921, 2 ], [ 819, 906, 2 ], [ 819, 922, 2 ], [ 820, 858, 2 ], [ 820, 876, 1 ], [ 821, 860, 2 ], [ 821, 889, 1 ], [ 822, 879, 2 ], [ 822, 891, 1 ], [ 822, 895, 1 ], [ 822, 905, 2 ], [ 822, 913, 2 ], [ 822, 918, 2 ], [ 822, 921, 2 ], [ 823, 859, 2 ], [ 823, 885, 1 ], [ 824, 860, 1 ], [ 824, 889, 1 ], [ 826, 892, 2 ], [ 826, 899, 1 ], [ 826, 906, 2 ], [ 826, 922, 2 ], [ 827, 900, 1 ], [ 828, 901, 1 ], [ 829, 902, 1 ], [ 830, 903, 1 ], [ 831, 904, 2 ], [ 831, 909, 2 ], [ 831, 912, 2 ], [ 832, 905, 2 ], [ 832, 913, 1 ], [ 832, 918, 2 ], [ 833, 892, 2 ], [ 833, 922, 2 ], [ 834, 866, 1 ], [ 834, 900, 1 ], [ 835, 867, 1 ], [ 835, 902, 2 ], [ 836, 909, 1 ], [ 837, 910, 2 ], [ 837, 924, 2 ], [ 837, 927, 2 ], [ 838, 872, 1 ], [ 838, 902, 2 ], [ 839, 904, 1 ], [ 839, 909, 2 ], [ 840, 913, 1 ], [ 841, 910, 2 ], [ 841, 914, 1 ], [ 841, 924, 1 ], [ 841, 927, 1 ], [ 842, 915, 2 ], [ 842, 925, 1 ], [ 842, 928, 2 ], [ 843, 916, 1 ], [ 843, 926, 1 ], [ 843, 929, 2 ], [ 844, 878, 1 ], [ 844, 903, 2 ], [ 845, 905, 1 ], [ 845, 913, 1 ], [ 846, 915, 1 ], [ 846, 919, 1 ], [ 846, 925, 1 ], [ 846, 928, 2 ], [ 847, 873, 1 ], [ 847, 886, 1 ], [ 847, 904, 2 ], [ 847, 909, 1 ], [ 848, 879, 2 ], [ 848, 891, 1 ], [ 848, 905, 1 ], [ 848, 913, 1 ], [ 849, 892, 2 ], [ 849, 906, 2 ], [ 850, 923, 1 ], [ 850, 926, 1 ], [ 850, 929, 2 ], [ 866, 931, 1 ], [ 866, 938, 2 ], [ 867, 933, 2 ], [ 867, 939, 2 ], [ 871, 931, 2 ], [ 871, 938, 1 ], [ 872, 933, 2 ], [ 872, 942, 2 ], [ 873, 935, 1 ], [ 873, 940, 2 ], [ 873, 943, 2 ], [ 877, 939, 1 ], [ 877, 942, 2 ], [ 878, 934, 2 ], [ 878, 948, 2 ], [ 879, 936, 1 ], [ 879, 944, 1 ], [ 879, 949, 2 ], [ 882, 934, 2 ], [ 882, 948, 2 ], [ 886, 935, 2 ], [ 886, 940, 1 ], [ 886, 951, 2 ], [ 890, 935, 2 ], [ 890, 940, 1 ], [ 890, 943, 2 ], [ 890, 951, 1 ], [ 891, 936, 1 ], [ 891, 944, 1 ], [ 891, 952, 2 ], [ 892, 937, 2 ], [ 892, 953, 2 ], [ 895, 936, 2 ], [ 895, 944, 2 ], [ 895, 949, 2 ], [ 895, 952, 2 ], [ 899, 937, 2 ], [ 899, 953, 2 ], [ 900, 931, 1 ], [ 901, 932, 1 ], [ 902, 933, 1 ], [ 903, 934, 1 ], [ 904, 935, 2 ], [ 904, 940, 2 ], [ 904, 943, 2 ], [ 905, 936, 2 ], [ 905, 944, 1 ], [ 905, 949, 2 ], [ 906, 953, 2 ], [ 907, 931, 1 ], [ 908, 933, 2 ], [ 909, 940, 1 ], [ 910, 941, 2 ], [ 910, 955, 2 ], [ 910, 958, 2 ], [ 911, 933, 2 ], [ 912, 935, 1 ], [ 912, 940, 2 ], [ 913, 944, 1 ], [ 914, 941, 2 ], [ 914, 945, 1 ], [ 914, 955, 1 ], [ 914, 958, 1 ], [ 915, 946, 2 ], [ 915, 956, 1 ], [ 915, 959, 2 ], [ 916, 947, 1 ], [ 916, 957, 1 ], [ 916, 960, 2 ], [ 917, 934, 2 ], [ 918, 936, 1 ], [ 918, 944, 1 ], [ 919, 946, 1 ], [ 919, 950, 1 ], [ 919, 956, 1 ], [ 919, 959, 2 ], [ 920, 935, 2 ], [ 920, 940, 1 ], [ 921, 936, 1 ], [ 921, 944, 1 ], [ 922, 937, 2 ], [ 923, 954, 1 ], [ 923, 957, 1 ], [ 923, 960, 2 ], [ 924, 955, 1 ], [ 925, 956, 1 ], [ 926, 957, 2 ], [ 926, 960, 2 ], [ 927, 941, 1 ], [ 927, 955, 2 ], [ 928, 946, 1 ], [ 928, 956, 1 ], [ 929, 957, 1 ], [ 930, 961, 1 ], [ 941, 963, 2 ], [ 941, 966, 2 ], [ 945, 963, 1 ], [ 945, 966, 1 ], [ 946, 964, 1 ], [ 946, 967, 2 ], [ 947, 965, 1 ], [ 947, 968, 2 ], [ 950, 964, 1 ], [ 950, 967, 2 ], [ 954, 965, 1 ], [ 954, 968, 2 ], [ 955, 963, 1 ], [ 956, 964, 1 ], [ 957, 965, 2 ], [ 957, 968, 2 ], [ 958, 963, 2 ], [ 959, 964, 1 ], [ 960, 965, 1 ], [ 961, 969, 1 ], [ 962, 970, 1 ], [ 970, 971, 1 ] ]; A.tab[2] := [ [ 1, 6, 1 ], [ 2, 10, 1 ], [ 3, 14, 1 ], [ 4, 18, 1 ], [ 5, 21, 1 ], [ 6, 25, 1 ], [ 7, 29, 1 ], [ 8, 33, 1 ], [ 9, 36, 1 ], [ 11, 42, 1 ], [ 12, 46, 1 ], [ 13, 49, 1 ], [ 14, 39, 2 ], [ 14, 42, 2 ], [ 15, 43, 2 ], [ 15, 52, 2 ], [ 16, 56, 1 ], [ 17, 59, 1 ], [ 18, 40, 2 ], [ 18, 46, 2 ], [ 19, 44, 2 ], [ 19, 47, 2 ], [ 19, 53, 2 ], [ 19, 56, 2 ], [ 19, 62, 2 ], [ 20, 48, 2 ], [ 20, 63, 2 ], [ 21, 66, 1 ], [ 22, 70, 1 ], [ 23, 74, 1 ], [ 24, 77, 1 ], [ 26, 83, 1 ], [ 27, 87, 1 ], [ 28, 90, 1 ], [ 29, 80, 2 ], [ 29, 83, 2 ], [ 30, 84, 2 ], [ 30, 93, 2 ], [ 31, 97, 1 ], [ 32, 100, 1 ], [ 33, 81, 2 ], [ 33, 87, 2 ], [ 34, 85, 2 ], [ 34, 88, 2 ], [ 34, 94, 2 ], [ 34, 97, 2 ], [ 34, 103, 2 ], [ 35, 89, 2 ], [ 35, 104, 2 ], [ 36, 106, 1 ], [ 37, 80, 2 ], [ 37, 83, 1 ], [ 37, 107, 1 ], [ 38, 81, 2 ], [ 38, 87, 1 ], [ 38, 108, 1 ], [ 39, 114, 1 ], [ 40, 118, 1 ], [ 41, 121, 1 ], [ 42, 114, 2 ], [ 43, 115, 2 ], [ 43, 124, 2 ], [ 44, 128, 1 ], [ 45, 131, 1 ], [ 46, 118, 2 ], [ 47, 116, 2 ], [ 47, 119, 2 ], [ 47, 125, 2 ], [ 47, 128, 2 ], [ 47, 134, 2 ], [ 48, 120, 2 ], [ 48, 135, 2 ], [ 49, 113, 2 ], [ 49, 121, 2 ], [ 50, 84, 2 ], [ 50, 93, 1 ], [ 50, 137, 1 ], [ 51, 85, 2 ], [ 51, 88, 1 ], [ 51, 94, 2 ], [ 51, 97, 1 ], [ 51, 110, 1 ], [ 51, 111, 2 ], [ 51, 138, 1 ], [ 52, 115, 1 ], [ 53, 116, 2 ], [ 53, 125, 1 ], [ 53, 128, 1 ], [ 54, 146, 1 ], [ 55, 149, 1 ], [ 56, 116, 2 ], [ 56, 128, 2 ], [ 57, 126, 2 ], [ 57, 129, 2 ], [ 57, 143, 2 ], [ 57, 146, 2 ], [ 57, 152, 2 ], [ 58, 144, 2 ], [ 58, 153, 2 ], [ 59, 117, 2 ], [ 59, 131, 2 ], [ 60, 88, 1 ], [ 60, 97, 1 ], [ 60, 103, 2 ], [ 60, 110, 2 ], [ 60, 123, 1 ], [ 60, 127, 2 ], [ 60, 132, 1 ], [ 60, 138, 2 ], [ 60, 149, 1 ], [ 61, 89, 2 ], [ 61, 104, 1 ], [ 61, 155, 1 ], [ 62, 116, 2 ], [ 62, 119, 1 ], [ 62, 125, 2 ], [ 62, 128, 2 ], [ 63, 120, 1 ], [ 64, 130, 2 ], [ 64, 136, 2 ], [ 64, 144, 1 ], [ 64, 158, 2 ], [ 65, 161, 1 ], [ 67, 167, 1 ], [ 68, 171, 1 ], [ 69, 174, 1 ], [ 70, 164, 2 ], [ 70, 167, 2 ], [ 71, 168, 2 ], [ 71, 177, 2 ], [ 72, 181, 1 ], [ 73, 184, 1 ], [ 74, 165, 2 ], [ 74, 171, 2 ], [ 75, 169, 2 ], [ 75, 172, 2 ], [ 75, 178, 2 ], [ 75, 181, 2 ], [ 75, 187, 2 ], [ 76, 173, 2 ], [ 76, 188, 2 ], [ 77, 190, 1 ], [ 78, 164, 2 ], [ 78, 167, 1 ], [ 78, 191, 1 ], [ 79, 165, 2 ], [ 79, 171, 1 ], [ 79, 192, 1 ], [ 80, 198, 1 ], [ 81, 202, 1 ], [ 82, 205, 1 ], [ 83, 198, 2 ], [ 84, 199, 2 ], [ 84, 208, 2 ], [ 85, 212, 1 ], [ 86, 215, 1 ], [ 87, 202, 2 ], [ 88, 200, 2 ], [ 88, 203, 2 ], [ 88, 209, 2 ], [ 88, 212, 2 ], [ 88, 218, 2 ], [ 89, 204, 2 ], [ 89, 219, 2 ], [ 90, 197, 2 ], [ 90, 205, 2 ], [ 91, 168, 2 ], [ 91, 177, 1 ], [ 91, 221, 1 ], [ 92, 169, 2 ], [ 92, 172, 1 ], [ 92, 178, 2 ], [ 92, 181, 1 ], [ 92, 194, 1 ], [ 92, 195, 2 ], [ 92, 222, 1 ], [ 93, 199, 1 ], [ 94, 200, 2 ], [ 94, 209, 1 ], [ 94, 212, 1 ], [ 95, 230, 1 ], [ 96, 233, 1 ], [ 97, 200, 2 ], [ 97, 212, 2 ], [ 98, 210, 2 ], [ 98, 213, 2 ], [ 98, 227, 2 ], [ 98, 230, 2 ], [ 98, 236, 2 ], [ 99, 228, 2 ], [ 99, 237, 2 ], [ 100, 201, 2 ], [ 100, 215, 2 ], [ 101, 172, 1 ], [ 101, 181, 1 ], [ 101, 187, 2 ], [ 101, 194, 2 ], [ 101, 207, 1 ], [ 101, 211, 2 ], [ 101, 216, 1 ], [ 101, 222, 2 ], [ 101, 233, 1 ], [ 102, 173, 2 ], [ 102, 188, 1 ], [ 102, 239, 1 ], [ 103, 200, 2 ], [ 103, 203, 1 ], [ 103, 209, 2 ], [ 103, 212, 2 ], [ 104, 204, 1 ], [ 105, 214, 2 ], [ 105, 220, 2 ], [ 105, 228, 1 ], [ 105, 242, 2 ], [ 107, 198, 1 ], [ 107, 245, 1 ], [ 108, 202, 1 ], [ 108, 246, 1 ], [ 109, 199, 1 ], [ 109, 208, 2 ], [ 109, 247, 1 ], [ 110, 200, 2 ], [ 110, 212, 1 ], [ 110, 248, 1 ], [ 111, 200, 2 ], [ 111, 203, 1 ], [ 111, 209, 2 ], [ 111, 212, 2 ], [ 111, 218, 2 ], [ 111, 249, 1 ], [ 112, 204, 1 ], [ 112, 219, 2 ], [ 112, 250, 1 ], [ 113, 255, 1 ], [ 115, 258, 2 ], [ 116, 262, 1 ], [ 117, 265, 1 ], [ 119, 259, 2 ], [ 119, 262, 2 ], [ 119, 268, 2 ], [ 120, 269, 2 ], [ 121, 255, 2 ], [ 122, 199, 2 ], [ 122, 208, 1 ], [ 122, 271, 1 ], [ 123, 200, 2 ], [ 123, 203, 1 ], [ 123, 209, 2 ], [ 123, 212, 1 ], [ 123, 248, 1 ], [ 123, 249, 2 ], [ 123, 272, 1 ], [ 125, 259, 1 ], [ 125, 262, 1 ], [ 126, 280, 1 ], [ 127, 283, 1 ], [ 128, 262, 2 ], [ 129, 260, 2 ], [ 129, 263, 2 ], [ 129, 277, 2 ], [ 129, 280, 2 ], [ 129, 286, 2 ], [ 130, 278, 2 ], [ 130, 287, 2 ], [ 131, 265, 2 ], [ 132, 203, 1 ], [ 132, 212, 1 ], [ 132, 218, 2 ], [ 132, 248, 2 ], [ 132, 257, 1 ], [ 132, 261, 2 ], [ 132, 266, 1 ], [ 132, 272, 2 ], [ 132, 283, 1 ], [ 133, 204, 2 ], [ 133, 219, 1 ], [ 133, 289, 1 ], [ 134, 259, 2 ], [ 134, 262, 2 ], [ 136, 264, 2 ], [ 136, 270, 2 ], [ 136, 278, 1 ], [ 136, 292, 2 ], [ 137, 199, 2 ], [ 137, 208, 1 ], [ 137, 256, 2 ], [ 137, 271, 2 ], [ 138, 200, 2 ], [ 138, 203, 1 ], [ 138, 209, 2 ], [ 138, 212, 1 ], [ 138, 248, 1 ], [ 138, 249, 2 ], [ 138, 257, 2 ], [ 138, 272, 2 ], [ 139, 226, 2 ], [ 139, 295, 1 ], [ 140, 210, 2 ], [ 140, 213, 1 ], [ 140, 227, 2 ], [ 140, 230, 1 ], [ 140, 251, 1 ], [ 140, 252, 2 ], [ 140, 296, 1 ], [ 141, 214, 1 ], [ 141, 220, 2 ], [ 141, 228, 1 ], [ 141, 237, 2 ], [ 141, 253, 2 ], [ 141, 254, 1 ], [ 141, 297, 1 ], [ 142, 276, 1 ], [ 143, 260, 2 ], [ 143, 277, 1 ], [ 143, 280, 1 ], [ 144, 264, 2 ], [ 144, 287, 2 ], [ 145, 302, 1 ], [ 146, 260, 2 ], [ 146, 280, 2 ], [ 147, 281, 2 ], [ 147, 300, 2 ], [ 147, 305, 2 ], [ 148, 282, 1 ], [ 148, 301, 1 ], [ 148, 306, 2 ], [ 149, 261, 2 ], [ 149, 283, 2 ], [ 150, 213, 1 ], [ 150, 230, 1 ], [ 150, 236, 2 ], [ 150, 251, 2 ], [ 150, 274, 1 ], [ 150, 279, 2 ], [ 150, 284, 1 ], [ 150, 296, 2 ], [ 150, 302, 1 ], [ 151, 214, 2 ], [ 151, 220, 1 ], [ 151, 228, 2 ], [ 151, 237, 1 ], [ 151, 253, 1 ], [ 151, 254, 2 ], [ 151, 308, 1 ], [ 152, 260, 2 ], [ 152, 263, 1 ], [ 152, 277, 2 ], [ 152, 280, 2 ], [ 153, 264, 2 ], [ 153, 278, 2 ], [ 154, 288, 2 ], [ 154, 311, 2 ], [ 155, 204, 2 ], [ 155, 219, 1 ], [ 155, 267, 2 ], [ 155, 289, 2 ], [ 156, 220, 1 ], [ 156, 228, 2 ], [ 156, 237, 2 ], [ 156, 242, 2 ], [ 156, 253, 2 ], [ 156, 275, 1 ], [ 156, 285, 2 ], [ 156, 290, 1 ], [ 156, 297, 2 ], [ 156, 308, 1 ], [ 157, 243, 2 ], [ 157, 314, 1 ], [ 158, 264, 2 ], [ 158, 270, 1 ], [ 158, 278, 1 ], [ 159, 293, 1 ], [ 160, 294, 2 ], [ 160, 312, 1 ], [ 160, 316, 2 ], [ 161, 317, 1 ], [ 162, 318, 1 ], [ 163, 319, 1 ], [ 164, 325, 1 ], [ 165, 329, 1 ], [ 166, 332, 1 ], [ 167, 325, 2 ], [ 168, 326, 2 ], [ 168, 335, 2 ], [ 169, 339, 1 ], [ 170, 342, 1 ], [ 171, 329, 2 ], [ 172, 327, 2 ], [ 172, 330, 2 ], [ 172, 336, 2 ], [ 172, 339, 2 ], [ 172, 345, 2 ], [ 173, 331, 2 ], [ 173, 346, 2 ], [ 174, 324, 2 ], [ 174, 332, 2 ], [ 175, 348, 1 ], [ 176, 321, 1 ], [ 176, 322, 2 ], [ 176, 349, 1 ], [ 177, 326, 1 ], [ 178, 327, 2 ], [ 178, 336, 1 ], [ 178, 339, 1 ], [ 179, 357, 1 ], [ 180, 360, 1 ], [ 181, 327, 2 ], [ 181, 339, 2 ], [ 182, 337, 2 ], [ 182, 340, 2 ], [ 182, 354, 2 ], [ 182, 357, 2 ], [ 182, 363, 2 ], [ 183, 355, 2 ], [ 183, 364, 2 ], [ 184, 328, 2 ], [ 184, 342, 2 ], [ 185, 321, 2 ], [ 185, 334, 1 ], [ 185, 338, 2 ], [ 185, 343, 1 ], [ 185, 349, 2 ], [ 185, 360, 1 ], [ 186, 366, 1 ], [ 187, 327, 2 ], [ 187, 330, 1 ], [ 187, 336, 2 ], [ 187, 339, 2 ], [ 188, 331, 1 ], [ 189, 341, 2 ], [ 189, 347, 2 ], [ 189, 355, 1 ], [ 189, 369, 2 ], [ 191, 325, 1 ], [ 191, 372, 1 ], [ 192, 329, 1 ], [ 192, 373, 1 ], [ 193, 326, 1 ], [ 193, 335, 2 ], [ 193, 374, 1 ], [ 194, 327, 2 ], [ 194, 339, 1 ], [ 194, 375, 1 ], [ 195, 327, 2 ], [ 195, 330, 1 ], [ 195, 336, 2 ], [ 195, 339, 2 ], [ 195, 345, 2 ], [ 195, 376, 1 ], [ 196, 331, 1 ], [ 196, 346, 2 ], [ 196, 377, 1 ], [ 197, 382, 1 ], [ 199, 385, 2 ], [ 200, 389, 1 ], [ 201, 392, 1 ], [ 203, 386, 2 ], [ 203, 389, 2 ], [ 203, 395, 2 ], [ 204, 396, 2 ], [ 205, 382, 2 ], [ 206, 326, 2 ], [ 206, 335, 1 ], [ 206, 398, 1 ], [ 207, 327, 2 ], [ 207, 330, 1 ], [ 207, 336, 2 ], [ 207, 339, 1 ], [ 207, 375, 1 ], [ 207, 376, 2 ], [ 207, 399, 1 ], [ 209, 386, 1 ], [ 209, 389, 1 ], [ 210, 407, 1 ], [ 211, 410, 1 ], [ 212, 389, 2 ], [ 213, 387, 2 ], [ 213, 390, 2 ], [ 213, 404, 2 ], [ 213, 407, 2 ], [ 213, 413, 2 ], [ 214, 405, 2 ], [ 214, 414, 2 ], [ 215, 392, 2 ], [ 216, 330, 1 ], [ 216, 339, 1 ], [ 216, 345, 2 ], [ 216, 375, 2 ], [ 216, 384, 1 ], [ 216, 388, 2 ], [ 216, 393, 1 ], [ 216, 399, 2 ], [ 216, 410, 1 ], [ 217, 331, 2 ], [ 217, 346, 1 ], [ 217, 416, 1 ], [ 218, 386, 2 ], [ 218, 389, 2 ], [ 220, 391, 2 ], [ 220, 397, 2 ], [ 220, 405, 1 ], [ 220, 419, 2 ], [ 221, 326, 2 ], [ 221, 335, 1 ], [ 221, 383, 2 ], [ 221, 398, 2 ], [ 222, 327, 2 ], [ 222, 330, 1 ], [ 222, 336, 2 ], [ 222, 339, 1 ], [ 222, 375, 1 ], [ 222, 376, 2 ], [ 222, 384, 2 ], [ 222, 399, 2 ], [ 223, 353, 2 ], [ 223, 422, 1 ], [ 224, 337, 2 ], [ 224, 340, 1 ], [ 224, 354, 2 ], [ 224, 357, 1 ], [ 224, 378, 1 ], [ 224, 379, 2 ], [ 224, 423, 1 ], [ 225, 341, 1 ], [ 225, 347, 2 ], [ 225, 355, 1 ], [ 225, 364, 2 ], [ 225, 380, 2 ], [ 225, 381, 1 ], [ 225, 424, 1 ], [ 226, 403, 1 ], [ 227, 387, 2 ], [ 227, 404, 1 ], [ 227, 407, 1 ], [ 228, 391, 2 ], [ 228, 414, 2 ], [ 229, 429, 1 ], [ 230, 387, 2 ], [ 230, 407, 2 ], [ 231, 408, 2 ], [ 231, 427, 2 ], [ 231, 432, 2 ], [ 232, 409, 1 ], [ 232, 428, 1 ], [ 232, 433, 2 ], [ 233, 388, 2 ], [ 233, 410, 2 ], [ 234, 340, 1 ], [ 234, 357, 1 ], [ 234, 363, 2 ], [ 234, 378, 2 ], [ 234, 401, 1 ], [ 234, 406, 2 ], [ 234, 411, 1 ], [ 234, 423, 2 ], [ 234, 429, 1 ], [ 235, 341, 2 ], [ 235, 347, 1 ], [ 235, 355, 2 ], [ 235, 364, 1 ], [ 235, 380, 1 ], [ 235, 381, 2 ], [ 235, 435, 1 ], [ 236, 387, 2 ], [ 236, 390, 1 ], [ 236, 404, 2 ], [ 236, 407, 2 ], [ 237, 391, 2 ], [ 237, 405, 2 ], [ 238, 415, 2 ], [ 238, 438, 2 ], [ 239, 331, 2 ], [ 239, 346, 1 ], [ 239, 394, 2 ], [ 239, 416, 2 ], [ 240, 347, 1 ], [ 240, 355, 2 ], [ 240, 364, 2 ], [ 240, 369, 2 ], [ 240, 380, 2 ], [ 240, 402, 1 ], [ 240, 412, 2 ], [ 240, 417, 1 ], [ 240, 424, 2 ], [ 240, 435, 1 ], [ 241, 370, 2 ], [ 241, 441, 1 ], [ 242, 391, 2 ], [ 242, 397, 1 ], [ 242, 405, 1 ], [ 243, 420, 1 ], [ 244, 421, 2 ], [ 244, 439, 1 ], [ 244, 443, 2 ], [ 247, 385, 2 ], [ 247, 444, 1 ], [ 248, 389, 1 ], [ 248, 445, 1 ], [ 249, 386, 2 ], [ 249, 389, 2 ], [ 249, 395, 2 ], [ 249, 446, 1 ], [ 250, 396, 2 ], [ 250, 447, 1 ], [ 251, 387, 2 ], [ 251, 407, 1 ], [ 251, 448, 1 ], [ 252, 387, 2 ], [ 252, 390, 1 ], [ 252, 404, 2 ], [ 252, 407, 2 ], [ 252, 413, 2 ], [ 252, 449, 1 ], [ 253, 391, 2 ], [ 253, 405, 2 ], [ 253, 414, 2 ], [ 253, 450, 1 ], [ 254, 391, 2 ], [ 254, 397, 1 ], [ 254, 405, 1 ], [ 254, 419, 2 ], [ 254, 451, 1 ], [ 256, 385, 1 ], [ 256, 456, 1 ], [ 257, 386, 2 ], [ 257, 389, 1 ], [ 257, 445, 1 ], [ 257, 446, 2 ], [ 257, 457, 1 ], [ 260, 465, 1 ], [ 261, 468, 1 ], [ 263, 462, 2 ], [ 263, 465, 2 ], [ 263, 471, 2 ], [ 264, 463, 2 ], [ 264, 472, 2 ], [ 266, 389, 1 ], [ 266, 395, 2 ], [ 266, 445, 2 ], [ 266, 457, 2 ], [ 266, 468, 1 ], [ 267, 396, 1 ], [ 267, 474, 1 ], [ 270, 463, 1 ], [ 270, 477, 2 ], [ 271, 385, 1 ], [ 271, 456, 2 ], [ 272, 386, 2 ], [ 272, 389, 1 ], [ 272, 445, 1 ], [ 272, 446, 2 ], [ 272, 457, 2 ], [ 273, 403, 2 ], [ 273, 480, 1 ], [ 274, 387, 2 ], [ 274, 390, 1 ], [ 274, 404, 2 ], [ 274, 407, 1 ], [ 274, 448, 1 ], [ 274, 449, 2 ], [ 274, 481, 1 ], [ 275, 391, 1 ], [ 275, 397, 2 ], [ 275, 405, 1 ], [ 275, 414, 2 ], [ 275, 450, 2 ], [ 275, 451, 1 ], [ 275, 482, 1 ], [ 276, 461, 1 ], [ 277, 462, 1 ], [ 277, 465, 1 ], [ 278, 472, 2 ], [ 279, 487, 1 ], [ 280, 465, 2 ], [ 281, 466, 2 ], [ 281, 485, 2 ], [ 281, 490, 2 ], [ 282, 467, 1 ], [ 282, 486, 1 ], [ 282, 491, 2 ], [ 283, 468, 2 ], [ 284, 390, 1 ], [ 284, 407, 1 ], [ 284, 413, 2 ], [ 284, 448, 2 ], [ 284, 459, 1 ], [ 284, 464, 2 ], [ 284, 469, 1 ], [ 284, 481, 2 ], [ 284, 487, 1 ], [ 285, 391, 2 ], [ 285, 397, 1 ], [ 285, 405, 2 ], [ 285, 414, 1 ], [ 285, 450, 1 ], [ 285, 451, 2 ], [ 285, 493, 1 ], [ 286, 462, 2 ], [ 286, 465, 2 ], [ 287, 463, 2 ], [ 288, 473, 2 ], [ 288, 496, 2 ], [ 289, 396, 1 ], [ 289, 474, 2 ], [ 290, 397, 1 ], [ 290, 405, 2 ], [ 290, 414, 2 ], [ 290, 419, 2 ], [ 290, 450, 2 ], [ 290, 460, 1 ], [ 290, 470, 2 ], [ 290, 475, 1 ], [ 290, 482, 2 ], [ 290, 493, 1 ], [ 291, 420, 2 ], [ 291, 499, 1 ], [ 292, 463, 1 ], [ 293, 478, 1 ], [ 294, 479, 2 ], [ 294, 497, 1 ], [ 294, 501, 2 ], [ 295, 403, 2 ], [ 295, 458, 2 ], [ 295, 480, 2 ], [ 296, 387, 2 ], [ 296, 390, 1 ], [ 296, 404, 2 ], [ 296, 407, 1 ], [ 296, 448, 1 ], [ 296, 449, 2 ], [ 296, 459, 2 ], [ 296, 481, 2 ], [ 297, 391, 1 ], [ 297, 397, 2 ], [ 297, 405, 1 ], [ 297, 414, 2 ], [ 297, 450, 2 ], [ 297, 451, 1 ], [ 297, 460, 2 ], [ 297, 482, 2 ], [ 298, 408, 1 ], [ 298, 427, 2 ], [ 298, 452, 2 ], [ 298, 502, 1 ], [ 299, 409, 2 ], [ 299, 415, 2 ], [ 299, 433, 2 ], [ 299, 453, 2 ], [ 299, 454, 1 ], [ 299, 503, 1 ], [ 300, 485, 1 ], [ 301, 486, 2 ], [ 301, 491, 2 ], [ 302, 464, 2 ], [ 302, 487, 2 ], [ 303, 408, 1 ], [ 303, 432, 2 ], [ 303, 483, 1 ], [ 303, 488, 1 ], [ 303, 502, 2 ], [ 304, 409, 2 ], [ 304, 415, 2 ], [ 304, 428, 1 ], [ 304, 433, 1 ], [ 304, 453, 2 ], [ 304, 454, 1 ], [ 304, 506, 1 ], [ 305, 466, 1 ], [ 305, 485, 2 ], [ 306, 486, 1 ], [ 307, 492, 2 ], [ 307, 505, 2 ], [ 307, 509, 2 ], [ 308, 391, 2 ], [ 308, 397, 1 ], [ 308, 405, 2 ], [ 308, 414, 1 ], [ 308, 450, 1 ], [ 308, 451, 2 ], [ 308, 470, 2 ], [ 308, 493, 2 ], [ 309, 415, 2 ], [ 309, 428, 1 ], [ 309, 433, 2 ], [ 309, 438, 2 ], [ 309, 454, 2 ], [ 309, 484, 1 ], [ 309, 489, 2 ], [ 309, 494, 1 ], [ 309, 503, 2 ], [ 309, 506, 1 ], [ 310, 421, 2 ], [ 310, 439, 2 ], [ 310, 455, 1 ], [ 310, 512, 1 ], [ 311, 473, 1 ], [ 312, 497, 1 ], [ 313, 498, 2 ], [ 313, 510, 1 ], [ 313, 514, 2 ], [ 314, 420, 2 ], [ 314, 476, 2 ], [ 314, 499, 2 ], [ 315, 421, 1 ], [ 315, 443, 2 ], [ 315, 495, 2 ], [ 315, 500, 1 ], [ 315, 512, 1 ], [ 316, 479, 1 ], [ 316, 497, 1 ], [ 318, 515, 1 ], [ 319, 516, 1 ], [ 320, 517, 1 ], [ 321, 518, 1 ], [ 322, 519, 1 ], [ 323, 520, 1 ], [ 324, 525, 1 ], [ 326, 528, 2 ], [ 327, 532, 1 ], [ 328, 535, 1 ], [ 330, 529, 2 ], [ 330, 532, 2 ], [ 330, 538, 2 ], [ 331, 539, 2 ], [ 332, 525, 2 ], [ 333, 541, 1 ], [ 334, 518, 1 ], [ 334, 519, 2 ], [ 334, 542, 1 ], [ 336, 529, 1 ], [ 336, 532, 1 ], [ 337, 550, 1 ], [ 338, 553, 1 ], [ 339, 532, 2 ], [ 340, 530, 2 ], [ 340, 533, 2 ], [ 340, 547, 2 ], [ 340, 550, 2 ], [ 340, 556, 2 ], [ 341, 548, 2 ], [ 341, 557, 2 ], [ 342, 535, 2 ], [ 343, 518, 2 ], [ 343, 527, 1 ], [ 343, 531, 2 ], [ 343, 536, 1 ], [ 343, 542, 2 ], [ 343, 553, 1 ], [ 344, 559, 1 ], [ 345, 529, 2 ], [ 345, 532, 2 ], [ 347, 534, 2 ], [ 347, 540, 2 ], [ 347, 548, 1 ], [ 347, 562, 2 ], [ 348, 526, 2 ], [ 348, 541, 2 ], [ 349, 518, 1 ], [ 349, 519, 2 ], [ 349, 527, 2 ], [ 349, 542, 2 ], [ 350, 565, 1 ], [ 351, 521, 1 ], [ 351, 522, 2 ], [ 351, 566, 1 ], [ 352, 523, 2 ], [ 352, 524, 1 ], [ 352, 567, 1 ], [ 353, 546, 1 ], [ 354, 530, 2 ], [ 354, 547, 1 ], [ 354, 550, 1 ], [ 355, 534, 2 ], [ 355, 557, 2 ], [ 356, 572, 1 ], [ 357, 530, 2 ], [ 357, 550, 2 ], [ 358, 551, 2 ], [ 358, 570, 2 ], [ 358, 575, 2 ], [ 359, 552, 1 ], [ 359, 571, 1 ], [ 359, 576, 2 ], [ 360, 531, 2 ], [ 360, 553, 2 ], [ 361, 521, 2 ], [ 361, 544, 1 ], [ 361, 549, 2 ], [ 361, 554, 1 ], [ 361, 566, 2 ], [ 361, 572, 1 ], [ 362, 523, 1 ], [ 362, 524, 2 ], [ 362, 578, 1 ], [ 363, 530, 2 ], [ 363, 533, 1 ], [ 363, 547, 2 ], [ 363, 550, 2 ], [ 364, 534, 2 ], [ 364, 548, 2 ], [ 365, 558, 2 ], [ 365, 581, 2 ], [ 366, 537, 2 ], [ 366, 559, 2 ], [ 367, 523, 2 ], [ 367, 545, 1 ], [ 367, 555, 2 ], [ 367, 560, 1 ], [ 367, 567, 2 ], [ 367, 578, 1 ], [ 368, 584, 1 ], [ 369, 534, 2 ], [ 369, 540, 1 ], [ 369, 548, 1 ], [ 370, 563, 1 ], [ 371, 564, 2 ], [ 371, 582, 1 ], [ 371, 586, 2 ], [ 374, 528, 2 ], [ 374, 587, 1 ], [ 375, 532, 1 ], [ 375, 588, 1 ], [ 376, 529, 2 ], [ 376, 532, 2 ], [ 376, 538, 2 ], [ 376, 589, 1 ], [ 377, 539, 2 ], [ 377, 590, 1 ], [ 378, 530, 2 ], [ 378, 550, 1 ], [ 378, 591, 1 ], [ 379, 530, 2 ], [ 379, 533, 1 ], [ 379, 547, 2 ], [ 379, 550, 2 ], [ 379, 556, 2 ], [ 379, 592, 1 ], [ 380, 534, 2 ], [ 380, 548, 2 ], [ 380, 557, 2 ], [ 380, 593, 1 ], [ 381, 534, 2 ], [ 381, 540, 1 ], [ 381, 548, 1 ], [ 381, 562, 2 ], [ 381, 594, 1 ], [ 383, 528, 1 ], [ 383, 599, 1 ], [ 384, 529, 2 ], [ 384, 532, 1 ], [ 384, 588, 1 ], [ 384, 589, 2 ], [ 384, 600, 1 ], [ 387, 608, 1 ], [ 388, 611, 1 ], [ 390, 605, 2 ], [ 390, 608, 2 ], [ 390, 614, 2 ], [ 391, 606, 2 ], [ 391, 615, 2 ], [ 393, 532, 1 ], [ 393, 538, 2 ], [ 393, 588, 2 ], [ 393, 600, 2 ], [ 393, 611, 1 ], [ 394, 539, 1 ], [ 394, 617, 1 ], [ 397, 606, 1 ], [ 397, 620, 2 ], [ 398, 528, 1 ], [ 398, 599, 2 ], [ 399, 529, 2 ], [ 399, 532, 1 ], [ 399, 588, 1 ], [ 399, 589, 2 ], [ 399, 600, 2 ], [ 400, 546, 2 ], [ 400, 623, 1 ], [ 401, 530, 2 ], [ 401, 533, 1 ], [ 401, 547, 2 ], [ 401, 550, 1 ], [ 401, 591, 1 ], [ 401, 592, 2 ], [ 401, 624, 1 ], [ 402, 534, 1 ], [ 402, 540, 2 ], [ 402, 548, 1 ], [ 402, 557, 2 ], [ 402, 593, 2 ], [ 402, 594, 1 ], [ 402, 625, 1 ], [ 403, 604, 1 ], [ 404, 605, 1 ], [ 404, 608, 1 ], [ 405, 615, 2 ], [ 406, 630, 1 ], [ 407, 608, 2 ], [ 408, 609, 2 ], [ 408, 628, 2 ], [ 408, 633, 2 ], [ 409, 610, 1 ], [ 409, 629, 1 ], [ 409, 634, 2 ], [ 410, 611, 2 ], [ 411, 533, 1 ], [ 411, 550, 1 ], [ 411, 556, 2 ], [ 411, 591, 2 ], [ 411, 602, 1 ], [ 411, 607, 2 ], [ 411, 612, 1 ], [ 411, 624, 2 ], [ 411, 630, 1 ], [ 412, 534, 2 ], [ 412, 540, 1 ], [ 412, 548, 2 ], [ 412, 557, 1 ], [ 412, 593, 1 ], [ 412, 594, 2 ], [ 412, 636, 1 ], [ 413, 605, 2 ], [ 413, 608, 2 ], [ 414, 606, 2 ], [ 415, 616, 2 ], [ 415, 639, 2 ], [ 416, 539, 1 ], [ 416, 617, 2 ], [ 417, 540, 1 ], [ 417, 548, 2 ], [ 417, 557, 2 ], [ 417, 562, 2 ], [ 417, 593, 2 ], [ 417, 603, 1 ], [ 417, 613, 2 ], [ 417, 618, 1 ], [ 417, 625, 2 ], [ 417, 636, 1 ], [ 418, 563, 2 ], [ 418, 642, 1 ], [ 419, 606, 1 ], [ 420, 621, 1 ], [ 421, 622, 2 ], [ 421, 640, 1 ], [ 421, 644, 2 ], [ 422, 546, 2 ], [ 422, 601, 2 ], [ 422, 623, 2 ], [ 423, 530, 2 ], [ 423, 533, 1 ], [ 423, 547, 2 ], [ 423, 550, 1 ], [ 423, 591, 1 ], [ 423, 592, 2 ], [ 423, 602, 2 ], [ 423, 624, 2 ], [ 424, 534, 1 ], [ 424, 540, 2 ], [ 424, 548, 1 ], [ 424, 557, 2 ], [ 424, 593, 2 ], [ 424, 594, 1 ], [ 424, 603, 2 ], [ 424, 625, 2 ], [ 425, 551, 1 ], [ 425, 570, 2 ], [ 425, 595, 2 ], [ 425, 645, 1 ], [ 426, 552, 2 ], [ 426, 558, 2 ], [ 426, 576, 2 ], [ 426, 596, 2 ], [ 426, 597, 1 ], [ 426, 646, 1 ], [ 427, 628, 1 ], [ 428, 629, 2 ], [ 428, 634, 2 ], [ 429, 607, 2 ], [ 429, 630, 2 ], [ 430, 551, 1 ], [ 430, 575, 2 ], [ 430, 626, 1 ], [ 430, 631, 1 ], [ 430, 645, 2 ], [ 431, 552, 2 ], [ 431, 558, 2 ], [ 431, 571, 1 ], [ 431, 576, 1 ], [ 431, 596, 2 ], [ 431, 597, 1 ], [ 431, 649, 1 ], [ 432, 609, 1 ], [ 432, 628, 2 ], [ 433, 629, 1 ], [ 434, 635, 2 ], [ 434, 648, 2 ], [ 434, 652, 2 ], [ 435, 534, 2 ], [ 435, 540, 1 ], [ 435, 548, 2 ], [ 435, 557, 1 ], [ 435, 593, 1 ], [ 435, 594, 2 ], [ 435, 613, 2 ], [ 435, 636, 2 ], [ 436, 558, 2 ], [ 436, 571, 1 ], [ 436, 576, 2 ], [ 436, 581, 2 ], [ 436, 597, 2 ], [ 436, 627, 1 ], [ 436, 632, 2 ], [ 436, 637, 1 ], [ 436, 646, 2 ], [ 436, 649, 1 ], [ 437, 564, 2 ], [ 437, 582, 2 ], [ 437, 598, 1 ], [ 437, 655, 1 ], [ 438, 616, 1 ], [ 439, 640, 1 ], [ 440, 641, 2 ], [ 440, 653, 1 ], [ 440, 657, 2 ], [ 441, 563, 2 ], [ 441, 619, 2 ], [ 441, 642, 2 ], [ 442, 564, 1 ], [ 442, 586, 2 ], [ 442, 638, 2 ], [ 442, 643, 1 ], [ 442, 655, 1 ], [ 443, 622, 1 ], [ 443, 640, 1 ], [ 448, 608, 1 ], [ 448, 658, 1 ], [ 449, 605, 2 ], [ 449, 608, 2 ], [ 449, 614, 2 ], [ 449, 659, 1 ], [ 450, 606, 2 ], [ 450, 615, 2 ], [ 450, 660, 1 ], [ 451, 606, 1 ], [ 451, 620, 2 ], [ 451, 661, 1 ], [ 452, 609, 1 ], [ 452, 628, 2 ], [ 452, 633, 2 ], [ 452, 662, 1 ], [ 453, 629, 1 ], [ 453, 634, 2 ], [ 453, 663, 1 ], [ 454, 616, 1 ], [ 454, 639, 2 ], [ 454, 664, 1 ], [ 455, 622, 1 ], [ 455, 640, 1 ], [ 455, 644, 2 ], [ 455, 665, 1 ], [ 458, 604, 2 ], [ 458, 668, 1 ], [ 459, 605, 2 ], [ 459, 608, 1 ], [ 459, 658, 1 ], [ 459, 659, 2 ], [ 459, 669, 1 ], [ 460, 606, 1 ], [ 460, 615, 2 ], [ 460, 660, 2 ], [ 460, 661, 1 ], [ 460, 670, 1 ], [ 464, 675, 1 ], [ 466, 673, 2 ], [ 466, 678, 2 ], [ 467, 674, 1 ], [ 467, 679, 2 ], [ 469, 608, 1 ], [ 469, 614, 2 ], [ 469, 658, 2 ], [ 469, 669, 2 ], [ 469, 675, 1 ], [ 470, 606, 2 ], [ 470, 615, 1 ], [ 470, 660, 1 ], [ 470, 661, 2 ], [ 470, 681, 1 ], [ 473, 684, 2 ], [ 475, 606, 2 ], [ 475, 615, 2 ], [ 475, 620, 2 ], [ 475, 660, 2 ], [ 475, 670, 2 ], [ 475, 681, 1 ], [ 476, 621, 2 ], [ 476, 687, 1 ], [ 479, 685, 1 ], [ 479, 689, 2 ], [ 480, 604, 2 ], [ 480, 668, 2 ], [ 481, 605, 2 ], [ 481, 608, 1 ], [ 481, 658, 1 ], [ 481, 659, 2 ], [ 481, 669, 2 ], [ 482, 606, 1 ], [ 482, 615, 2 ], [ 482, 660, 2 ], [ 482, 661, 1 ], [ 482, 670, 2 ], [ 483, 609, 1 ], [ 483, 628, 2 ], [ 483, 662, 2 ], [ 483, 690, 1 ], [ 484, 610, 2 ], [ 484, 616, 2 ], [ 484, 634, 2 ], [ 484, 663, 2 ], [ 484, 664, 1 ], [ 484, 691, 1 ], [ 485, 673, 1 ], [ 486, 674, 2 ], [ 486, 679, 2 ], [ 487, 675, 2 ], [ 488, 609, 1 ], [ 488, 633, 2 ], [ 488, 671, 1 ], [ 488, 676, 1 ], [ 488, 690, 2 ], [ 489, 610, 2 ], [ 489, 616, 2 ], [ 489, 629, 1 ], [ 489, 634, 1 ], [ 489, 663, 2 ], [ 489, 664, 1 ], [ 489, 694, 1 ], [ 490, 673, 2 ], [ 491, 674, 1 ], [ 492, 680, 2 ], [ 492, 693, 2 ], [ 492, 697, 2 ], [ 493, 606, 2 ], [ 493, 615, 1 ], [ 493, 660, 1 ], [ 493, 661, 2 ], [ 493, 681, 2 ], [ 494, 616, 2 ], [ 494, 629, 1 ], [ 494, 634, 2 ], [ 494, 639, 2 ], [ 494, 664, 2 ], [ 494, 672, 1 ], [ 494, 677, 2 ], [ 494, 682, 1 ], [ 494, 691, 2 ], [ 494, 694, 1 ], [ 495, 622, 2 ], [ 495, 640, 2 ], [ 495, 665, 1 ], [ 495, 700, 1 ], [ 497, 685, 1 ], [ 498, 686, 2 ], [ 498, 698, 1 ], [ 498, 702, 2 ], [ 499, 621, 2 ], [ 499, 687, 2 ], [ 500, 622, 1 ], [ 500, 644, 2 ], [ 500, 683, 2 ], [ 500, 688, 1 ], [ 500, 700, 1 ], [ 501, 685, 1 ], [ 502, 609, 1 ], [ 502, 628, 2 ], [ 502, 662, 2 ], [ 502, 671, 2 ], [ 502, 690, 2 ], [ 503, 610, 2 ], [ 503, 616, 2 ], [ 503, 634, 2 ], [ 503, 663, 2 ], [ 503, 664, 1 ], [ 503, 672, 2 ], [ 503, 691, 2 ], [ 504, 635, 2 ], [ 504, 648, 2 ], [ 504, 666, 1 ], [ 504, 703, 1 ], [ 505, 693, 1 ], [ 506, 610, 2 ], [ 506, 616, 2 ], [ 506, 629, 1 ], [ 506, 634, 1 ], [ 506, 663, 2 ], [ 506, 664, 1 ], [ 506, 677, 2 ], [ 506, 694, 2 ], [ 507, 652, 2 ], [ 507, 666, 1 ], [ 507, 692, 1 ], [ 507, 695, 1 ], [ 507, 703, 2 ], [ 508, 641, 1 ], [ 508, 653, 2 ], [ 508, 667, 2 ], [ 508, 704, 1 ], [ 509, 680, 1 ], [ 509, 693, 2 ], [ 510, 698, 1 ], [ 511, 699, 2 ], [ 511, 706, 2 ], [ 512, 622, 2 ], [ 512, 640, 2 ], [ 512, 665, 1 ], [ 512, 683, 2 ], [ 512, 700, 2 ], [ 513, 657, 2 ], [ 513, 667, 1 ], [ 513, 696, 2 ], [ 513, 701, 1 ], [ 513, 704, 1 ], [ 514, 686, 1 ], [ 514, 698, 1 ], [ 517, 707, 1 ], [ 518, 708, 1 ], [ 519, 709, 1 ], [ 520, 710, 1 ], [ 521, 711, 1 ], [ 522, 712, 1 ], [ 523, 713, 1 ], [ 524, 714, 1 ], [ 526, 719, 1 ], [ 527, 708, 1 ], [ 527, 709, 2 ], [ 527, 720, 1 ], [ 530, 728, 1 ], [ 531, 731, 1 ], [ 533, 725, 2 ], [ 533, 728, 2 ], [ 533, 734, 2 ], [ 534, 726, 2 ], [ 534, 735, 2 ], [ 536, 708, 2 ], [ 536, 720, 2 ], [ 536, 731, 1 ], [ 537, 737, 1 ], [ 540, 726, 1 ], [ 540, 740, 2 ], [ 541, 719, 2 ], [ 542, 708, 1 ], [ 542, 709, 2 ], [ 542, 720, 2 ], [ 543, 743, 1 ], [ 544, 711, 1 ], [ 544, 712, 2 ], [ 544, 744, 1 ], [ 545, 713, 2 ], [ 545, 714, 1 ], [ 545, 745, 1 ], [ 546, 724, 1 ], [ 547, 725, 1 ], [ 547, 728, 1 ], [ 548, 735, 2 ], [ 549, 750, 1 ], [ 550, 728, 2 ], [ 551, 729, 2 ], [ 551, 748, 2 ], [ 551, 753, 2 ], [ 552, 730, 1 ], [ 552, 749, 1 ], [ 552, 754, 2 ], [ 553, 731, 2 ], [ 554, 711, 2 ], [ 554, 722, 1 ], [ 554, 727, 2 ], [ 554, 732, 1 ], [ 554, 744, 2 ], [ 554, 750, 1 ], [ 555, 713, 1 ], [ 555, 714, 2 ], [ 555, 756, 1 ], [ 556, 725, 2 ], [ 556, 728, 2 ], [ 557, 726, 2 ], [ 558, 736, 2 ], [ 558, 759, 2 ], [ 559, 737, 2 ], [ 560, 713, 2 ], [ 560, 723, 1 ], [ 560, 733, 2 ], [ 560, 738, 1 ], [ 560, 745, 2 ], [ 560, 756, 1 ], [ 561, 762, 1 ], [ 562, 726, 1 ], [ 563, 741, 1 ], [ 564, 742, 2 ], [ 564, 760, 1 ], [ 564, 764, 2 ], [ 565, 721, 2 ], [ 565, 743, 2 ], [ 566, 711, 1 ], [ 566, 712, 2 ], [ 566, 722, 2 ], [ 566, 744, 2 ], [ 567, 713, 2 ], [ 567, 714, 1 ], [ 567, 723, 2 ], [ 567, 745, 2 ], [ 568, 715, 2 ], [ 568, 765, 1 ], [ 569, 716, 2 ], [ 569, 717, 1 ], [ 569, 766, 1 ], [ 570, 748, 1 ], [ 571, 749, 2 ], [ 571, 754, 2 ], [ 572, 727, 2 ], [ 572, 750, 2 ], [ 573, 746, 1 ], [ 573, 751, 1 ], [ 573, 765, 2 ], [ 574, 716, 2 ], [ 574, 717, 1 ], [ 574, 769, 1 ], [ 575, 729, 1 ], [ 575, 748, 2 ], [ 576, 749, 1 ], [ 577, 755, 2 ], [ 577, 768, 2 ], [ 577, 772, 2 ], [ 578, 713, 1 ], [ 578, 714, 2 ], [ 578, 733, 2 ], [ 578, 756, 2 ], [ 579, 717, 2 ], [ 579, 747, 1 ], [ 579, 752, 2 ], [ 579, 757, 1 ], [ 579, 766, 2 ], [ 579, 769, 1 ], [ 580, 718, 1 ], [ 580, 775, 1 ], [ 581, 736, 1 ], [ 582, 760, 1 ], [ 583, 761, 2 ], [ 583, 773, 1 ], [ 583, 777, 2 ], [ 584, 739, 2 ], [ 584, 762, 2 ], [ 585, 758, 2 ], [ 585, 763, 1 ], [ 585, 775, 1 ], [ 586, 742, 1 ], [ 586, 760, 1 ], [ 591, 728, 1 ], [ 591, 778, 1 ], [ 592, 725, 2 ], [ 592, 728, 2 ], [ 592, 734, 2 ], [ 592, 779, 1 ], [ 593, 726, 2 ], [ 593, 735, 2 ], [ 593, 780, 1 ], [ 594, 726, 1 ], [ 594, 740, 2 ], [ 594, 781, 1 ], [ 595, 729, 1 ], [ 595, 748, 2 ], [ 595, 753, 2 ], [ 595, 782, 1 ], [ 596, 749, 1 ], [ 596, 754, 2 ], [ 596, 783, 1 ], [ 597, 736, 1 ], [ 597, 759, 2 ], [ 597, 784, 1 ], [ 598, 742, 1 ], [ 598, 760, 1 ], [ 598, 764, 2 ], [ 598, 785, 1 ], [ 601, 724, 2 ], [ 601, 788, 1 ], [ 602, 725, 2 ], [ 602, 728, 1 ], [ 602, 778, 1 ], [ 602, 779, 2 ], [ 602, 789, 1 ], [ 603, 726, 1 ], [ 603, 735, 2 ], [ 603, 780, 2 ], [ 603, 781, 1 ], [ 603, 790, 1 ], [ 607, 795, 1 ], [ 609, 793, 2 ], [ 609, 798, 2 ], [ 610, 794, 1 ], [ 610, 799, 2 ], [ 612, 728, 1 ], [ 612, 734, 2 ], [ 612, 778, 2 ], [ 612, 789, 2 ], [ 612, 795, 1 ], [ 613, 726, 2 ], [ 613, 735, 1 ], [ 613, 780, 1 ], [ 613, 781, 2 ], [ 613, 801, 1 ], [ 616, 804, 2 ], [ 618, 726, 2 ], [ 618, 735, 2 ], [ 618, 740, 2 ], [ 618, 780, 2 ], [ 618, 790, 2 ], [ 618, 801, 1 ], [ 619, 741, 2 ], [ 619, 807, 1 ], [ 622, 805, 1 ], [ 622, 809, 2 ], [ 623, 724, 2 ], [ 623, 788, 2 ], [ 624, 725, 2 ], [ 624, 728, 1 ], [ 624, 778, 1 ], [ 624, 779, 2 ], [ 624, 789, 2 ], [ 625, 726, 1 ], [ 625, 735, 2 ], [ 625, 780, 2 ], [ 625, 781, 1 ], [ 625, 790, 2 ], [ 626, 729, 1 ], [ 626, 748, 2 ], [ 626, 782, 2 ], [ 626, 810, 1 ], [ 627, 730, 2 ], [ 627, 736, 2 ], [ 627, 754, 2 ], [ 627, 783, 2 ], [ 627, 784, 1 ], [ 627, 811, 1 ], [ 628, 793, 1 ], [ 629, 794, 2 ], [ 629, 799, 2 ], [ 630, 795, 2 ], [ 631, 729, 1 ], [ 631, 753, 2 ], [ 631, 791, 1 ], [ 631, 796, 1 ], [ 631, 810, 2 ], [ 632, 730, 2 ], [ 632, 736, 2 ], [ 632, 749, 1 ], [ 632, 754, 1 ], [ 632, 783, 2 ], [ 632, 784, 1 ], [ 632, 814, 1 ], [ 633, 793, 2 ], [ 634, 794, 1 ], [ 635, 800, 2 ], [ 635, 813, 2 ], [ 635, 817, 2 ], [ 636, 726, 2 ], [ 636, 735, 1 ], [ 636, 780, 1 ], [ 636, 781, 2 ], [ 636, 801, 2 ], [ 637, 736, 2 ], [ 637, 749, 1 ], [ 637, 754, 2 ], [ 637, 759, 2 ], [ 637, 784, 2 ], [ 637, 792, 1 ], [ 637, 797, 2 ], [ 637, 802, 1 ], [ 637, 811, 2 ], [ 637, 814, 1 ], [ 638, 742, 2 ], [ 638, 760, 2 ], [ 638, 785, 1 ], [ 638, 820, 1 ], [ 640, 805, 1 ], [ 641, 806, 2 ], [ 641, 818, 1 ], [ 641, 822, 2 ], [ 642, 741, 2 ], [ 642, 807, 2 ], [ 643, 742, 1 ], [ 643, 764, 2 ], [ 643, 803, 2 ], [ 643, 808, 1 ], [ 643, 820, 1 ], [ 644, 805, 1 ], [ 645, 729, 1 ], [ 645, 748, 2 ], [ 645, 782, 2 ], [ 645, 791, 2 ], [ 645, 810, 2 ], [ 646, 730, 2 ], [ 646, 736, 2 ], [ 646, 754, 2 ], [ 646, 783, 2 ], [ 646, 784, 1 ], [ 646, 792, 2 ], [ 646, 811, 2 ], [ 647, 755, 2 ], [ 647, 768, 2 ], [ 647, 786, 1 ], [ 647, 823, 1 ], [ 648, 813, 1 ], [ 649, 730, 2 ], [ 649, 736, 2 ], [ 649, 749, 1 ], [ 649, 754, 1 ], [ 649, 783, 2 ], [ 649, 784, 1 ], [ 649, 797, 2 ], [ 649, 814, 2 ], [ 650, 772, 2 ], [ 650, 786, 1 ], [ 650, 812, 1 ], [ 650, 815, 1 ], [ 650, 823, 2 ], [ 651, 761, 1 ], [ 651, 773, 2 ], [ 651, 787, 2 ], [ 651, 824, 1 ], [ 652, 800, 1 ], [ 652, 813, 2 ], [ 653, 818, 1 ], [ 654, 819, 2 ], [ 654, 826, 2 ], [ 655, 742, 2 ], [ 655, 760, 2 ], [ 655, 785, 1 ], [ 655, 803, 2 ], [ 655, 820, 2 ], [ 656, 777, 2 ], [ 656, 787, 1 ], [ 656, 816, 2 ], [ 656, 821, 1 ], [ 656, 824, 1 ], [ 657, 806, 1 ], [ 657, 818, 1 ], [ 662, 793, 2 ], [ 662, 798, 2 ], [ 662, 827, 1 ], [ 663, 794, 1 ], [ 663, 799, 2 ], [ 663, 828, 1 ], [ 664, 804, 2 ], [ 664, 829, 1 ], [ 665, 805, 1 ], [ 665, 809, 2 ], [ 665, 830, 1 ], [ 666, 800, 1 ], [ 666, 813, 2 ], [ 666, 817, 2 ], [ 666, 831, 1 ], [ 667, 806, 1 ], [ 667, 818, 1 ], [ 667, 822, 2 ], [ 667, 832, 1 ], [ 671, 793, 2 ], [ 671, 827, 2 ], [ 671, 834, 1 ], [ 672, 799, 2 ], [ 672, 828, 2 ], [ 672, 829, 1 ], [ 672, 835, 1 ], [ 676, 798, 2 ], [ 676, 834, 2 ], [ 677, 794, 1 ], [ 677, 799, 1 ], [ 677, 828, 2 ], [ 677, 829, 1 ], [ 677, 838, 1 ], [ 680, 837, 2 ], [ 680, 841, 2 ], [ 682, 794, 1 ], [ 682, 799, 2 ], [ 682, 804, 2 ], [ 682, 829, 2 ], [ 682, 835, 2 ], [ 682, 838, 1 ], [ 683, 805, 2 ], [ 683, 830, 1 ], [ 683, 844, 1 ], [ 686, 842, 1 ], [ 686, 846, 2 ], [ 688, 809, 2 ], [ 688, 844, 1 ], [ 690, 793, 2 ], [ 690, 827, 2 ], [ 690, 834, 2 ], [ 691, 799, 2 ], [ 691, 828, 2 ], [ 691, 829, 1 ], [ 691, 835, 2 ], [ 692, 800, 2 ], [ 692, 813, 2 ], [ 692, 831, 1 ], [ 692, 847, 1 ], [ 693, 837, 1 ], [ 694, 794, 1 ], [ 694, 799, 1 ], [ 694, 828, 2 ], [ 694, 829, 1 ], [ 694, 838, 2 ], [ 695, 817, 2 ], [ 695, 831, 1 ], [ 695, 836, 1 ], [ 695, 839, 1 ], [ 695, 847, 2 ], [ 696, 806, 1 ], [ 696, 818, 2 ], [ 696, 832, 2 ], [ 696, 848, 1 ], [ 697, 837, 2 ], [ 698, 842, 1 ], [ 699, 843, 2 ], [ 699, 850, 2 ], [ 700, 805, 2 ], [ 700, 830, 1 ], [ 700, 844, 2 ], [ 701, 822, 2 ], [ 701, 832, 1 ], [ 701, 840, 2 ], [ 701, 845, 1 ], [ 701, 848, 1 ], [ 702, 842, 1 ], [ 703, 800, 2 ], [ 703, 813, 2 ], [ 703, 831, 1 ], [ 703, 836, 2 ], [ 703, 847, 2 ], [ 704, 806, 1 ], [ 704, 818, 2 ], [ 704, 832, 2 ], [ 704, 840, 2 ], [ 704, 848, 2 ], [ 705, 819, 2 ], [ 705, 826, 2 ], [ 705, 833, 2 ], [ 705, 849, 1 ], [ 706, 843, 1 ], [ 711, 851, 1 ], [ 712, 852, 1 ], [ 713, 853, 1 ], [ 714, 854, 1 ], [ 715, 855, 1 ], [ 716, 856, 1 ], [ 717, 857, 1 ], [ 718, 858, 1 ], [ 721, 861, 1 ], [ 722, 851, 1 ], [ 722, 852, 2 ], [ 722, 862, 1 ], [ 723, 853, 2 ], [ 723, 854, 1 ], [ 723, 863, 1 ], [ 727, 868, 1 ], [ 729, 866, 2 ], [ 729, 871, 2 ], [ 730, 867, 1 ], [ 730, 872, 2 ], [ 732, 851, 2 ], [ 732, 862, 2 ], [ 732, 868, 1 ], [ 733, 853, 1 ], [ 733, 854, 2 ], [ 733, 874, 1 ], [ 736, 877, 2 ], [ 738, 853, 2 ], [ 738, 863, 2 ], [ 738, 874, 1 ], [ 739, 880, 1 ], [ 742, 878, 1 ], [ 742, 882, 2 ], [ 743, 861, 2 ], [ 744, 851, 1 ], [ 744, 852, 2 ], [ 744, 862, 2 ], [ 745, 853, 2 ], [ 745, 854, 1 ], [ 745, 863, 2 ], [ 746, 855, 2 ], [ 746, 883, 1 ], [ 747, 856, 2 ], [ 747, 857, 1 ], [ 747, 884, 1 ], [ 748, 866, 1 ], [ 749, 867, 2 ], [ 749, 872, 2 ], [ 750, 868, 2 ], [ 751, 864, 1 ], [ 751, 869, 1 ], [ 751, 883, 2 ], [ 752, 856, 2 ], [ 752, 857, 1 ], [ 752, 887, 1 ], [ 753, 866, 2 ], [ 754, 867, 1 ], [ 755, 873, 2 ], [ 755, 886, 2 ], [ 755, 890, 2 ], [ 756, 853, 1 ], [ 756, 854, 2 ], [ 756, 874, 2 ], [ 757, 857, 2 ], [ 757, 865, 1 ], [ 757, 870, 2 ], [ 757, 875, 1 ], [ 757, 884, 2 ], [ 757, 887, 1 ], [ 758, 858, 1 ], [ 758, 893, 1 ], [ 760, 878, 1 ], [ 761, 879, 2 ], [ 761, 891, 1 ], [ 761, 895, 2 ], [ 762, 880, 2 ], [ 763, 876, 2 ], [ 763, 881, 1 ], [ 763, 893, 1 ], [ 764, 878, 1 ], [ 765, 855, 2 ], [ 765, 864, 2 ], [ 765, 883, 2 ], [ 766, 856, 2 ], [ 766, 857, 1 ], [ 766, 865, 2 ], [ 766, 884, 2 ], [ 767, 859, 1 ], [ 767, 896, 1 ], [ 768, 886, 1 ], [ 769, 856, 2 ], [ 769, 857, 1 ], [ 769, 870, 2 ], [ 769, 887, 2 ], [ 770, 859, 1 ], [ 770, 885, 1 ], [ 770, 888, 1 ], [ 770, 896, 2 ], [ 771, 860, 2 ], [ 771, 897, 1 ], [ 772, 873, 1 ], [ 772, 886, 2 ], [ 773, 891, 1 ], [ 774, 892, 2 ], [ 774, 899, 2 ], [ 775, 858, 1 ], [ 775, 876, 2 ], [ 775, 893, 2 ], [ 776, 860, 1 ], [ 776, 889, 2 ], [ 776, 894, 1 ], [ 776, 897, 1 ], [ 777, 879, 1 ], [ 777, 891, 1 ], [ 782, 866, 2 ], [ 782, 871, 2 ], [ 782, 900, 1 ], [ 783, 867, 1 ], [ 783, 872, 2 ], [ 783, 901, 1 ], [ 784, 877, 2 ], [ 784, 902, 1 ], [ 785, 878, 1 ], [ 785, 882, 2 ], [ 785, 903, 1 ], [ 786, 873, 1 ], [ 786, 886, 2 ], [ 786, 890, 2 ], [ 786, 904, 1 ], [ 787, 879, 1 ], [ 787, 891, 1 ], [ 787, 895, 2 ], [ 787, 905, 1 ], [ 791, 866, 2 ], [ 791, 900, 2 ], [ 791, 907, 1 ], [ 792, 872, 2 ], [ 792, 901, 2 ], [ 792, 902, 1 ], [ 792, 908, 1 ], [ 796, 871, 2 ], [ 796, 907, 2 ], [ 797, 867, 1 ], [ 797, 872, 1 ], [ 797, 901, 2 ], [ 797, 902, 1 ], [ 797, 911, 1 ], [ 800, 910, 2 ], [ 800, 914, 2 ], [ 802, 867, 1 ], [ 802, 872, 2 ], [ 802, 877, 2 ], [ 802, 902, 2 ], [ 802, 908, 2 ], [ 802, 911, 1 ], [ 803, 878, 2 ], [ 803, 903, 1 ], [ 803, 917, 1 ], [ 806, 915, 1 ], [ 806, 919, 2 ], [ 808, 882, 2 ], [ 808, 917, 1 ], [ 810, 866, 2 ], [ 810, 900, 2 ], [ 810, 907, 2 ], [ 811, 872, 2 ], [ 811, 901, 2 ], [ 811, 902, 1 ], [ 811, 908, 2 ], [ 812, 873, 2 ], [ 812, 886, 2 ], [ 812, 904, 1 ], [ 812, 920, 1 ], [ 813, 910, 1 ], [ 814, 867, 1 ], [ 814, 872, 1 ], [ 814, 901, 2 ], [ 814, 902, 1 ], [ 814, 911, 2 ], [ 815, 890, 2 ], [ 815, 904, 1 ], [ 815, 909, 1 ], [ 815, 912, 1 ], [ 815, 920, 2 ], [ 816, 879, 1 ], [ 816, 891, 2 ], [ 816, 905, 2 ], [ 816, 921, 1 ], [ 817, 910, 2 ], [ 818, 915, 1 ], [ 819, 916, 2 ], [ 819, 923, 2 ], [ 820, 878, 2 ], [ 820, 903, 1 ], [ 820, 917, 2 ], [ 821, 895, 2 ], [ 821, 905, 1 ], [ 821, 913, 2 ], [ 821, 918, 1 ], [ 821, 921, 1 ], [ 822, 915, 1 ], [ 823, 873, 2 ], [ 823, 886, 2 ], [ 823, 904, 1 ], [ 823, 909, 2 ], [ 823, 920, 2 ], [ 824, 879, 1 ], [ 824, 891, 2 ], [ 824, 905, 2 ], [ 824, 913, 2 ], [ 824, 921, 2 ], [ 825, 892, 2 ], [ 825, 899, 2 ], [ 825, 906, 2 ], [ 825, 922, 1 ], [ 826, 916, 1 ], [ 831, 910, 2 ], [ 831, 914, 2 ], [ 831, 924, 1 ], [ 832, 915, 1 ], [ 832, 919, 2 ], [ 832, 925, 1 ], [ 833, 916, 1 ], [ 833, 923, 2 ], [ 833, 926, 1 ], [ 836, 910, 2 ], [ 836, 924, 1 ], [ 836, 927, 1 ], [ 839, 914, 2 ], [ 839, 924, 1 ], [ 839, 927, 2 ], [ 840, 915, 2 ], [ 840, 925, 2 ], [ 840, 928, 1 ], [ 843, 930, 2 ], [ 845, 919, 2 ], [ 845, 925, 1 ], [ 845, 928, 1 ], [ 847, 910, 2 ], [ 847, 924, 1 ], [ 847, 927, 2 ], [ 848, 915, 2 ], [ 848, 925, 2 ], [ 848, 928, 2 ], [ 849, 916, 2 ], [ 849, 923, 2 ], [ 849, 926, 2 ], [ 849, 929, 1 ], [ 855, 931, 1 ], [ 856, 932, 1 ], [ 857, 933, 1 ], [ 858, 934, 1 ], [ 859, 935, 1 ], [ 860, 936, 1 ], [ 864, 931, 2 ], [ 864, 938, 1 ], [ 865, 932, 2 ], [ 865, 933, 1 ], [ 865, 939, 1 ], [ 869, 938, 2 ], [ 870, 932, 2 ], [ 870, 933, 1 ], [ 870, 942, 1 ], [ 873, 941, 2 ], [ 873, 945, 2 ], [ 875, 933, 2 ], [ 875, 939, 2 ], [ 875, 942, 1 ], [ 876, 934, 1 ], [ 876, 948, 1 ], [ 879, 946, 1 ], [ 879, 950, 2 ], [ 881, 948, 1 ], [ 883, 931, 2 ], [ 883, 938, 2 ], [ 884, 932, 2 ], [ 884, 933, 1 ], [ 884, 939, 2 ], [ 885, 935, 1 ], [ 885, 951, 1 ], [ 886, 941, 1 ], [ 887, 932, 2 ], [ 887, 933, 1 ], [ 887, 942, 2 ], [ 888, 935, 1 ], [ 888, 940, 1 ], [ 888, 943, 1 ], [ 888, 951, 2 ], [ 889, 936, 2 ], [ 889, 952, 1 ], [ 890, 941, 2 ], [ 891, 946, 1 ], [ 892, 947, 2 ], [ 892, 954, 2 ], [ 893, 934, 1 ], [ 893, 948, 2 ], [ 894, 936, 1 ], [ 894, 944, 2 ], [ 894, 949, 1 ], [ 894, 952, 1 ], [ 895, 946, 1 ], [ 896, 935, 1 ], [ 896, 940, 2 ], [ 896, 951, 2 ], [ 897, 936, 2 ], [ 897, 944, 2 ], [ 897, 952, 2 ], [ 898, 937, 2 ], [ 898, 953, 1 ], [ 899, 947, 1 ], [ 904, 941, 2 ], [ 904, 945, 2 ], [ 904, 955, 1 ], [ 905, 946, 1 ], [ 905, 950, 2 ], [ 905, 956, 1 ], [ 906, 947, 1 ], [ 906, 954, 2 ], [ 906, 957, 1 ], [ 909, 941, 2 ], [ 909, 955, 1 ], [ 909, 958, 1 ], [ 912, 945, 2 ], [ 912, 955, 1 ], [ 912, 958, 2 ], [ 913, 946, 2 ], [ 913, 956, 2 ], [ 913, 959, 1 ], [ 916, 961, 2 ], [ 918, 950, 2 ], [ 918, 956, 1 ], [ 918, 959, 1 ], [ 920, 941, 2 ], [ 920, 955, 1 ], [ 920, 958, 2 ], [ 921, 946, 2 ], [ 921, 956, 2 ], [ 921, 959, 2 ], [ 922, 947, 2 ], [ 922, 954, 2 ], [ 922, 957, 2 ], [ 922, 960, 1 ], [ 926, 961, 2 ], [ 926, 962, 1 ], [ 929, 961, 2 ], [ 929, 962, 2 ], [ 935, 963, 1 ], [ 936, 964, 1 ], [ 937, 965, 1 ], [ 940, 963, 1 ], [ 940, 966, 1 ], [ 943, 963, 1 ], [ 943, 966, 2 ], [ 944, 964, 2 ], [ 944, 967, 1 ], [ 947, 969, 2 ], [ 949, 964, 1 ], [ 949, 967, 1 ], [ 951, 963, 1 ], [ 951, 966, 2 ], [ 952, 964, 2 ], [ 952, 967, 2 ], [ 953, 965, 2 ], [ 953, 968, 1 ], [ 957, 969, 2 ], [ 957, 970, 1 ], [ 960, 969, 2 ], [ 960, 970, 2 ], [ 965, 971, 1 ], [ 968, 971, 2 ] ]; A.tab[3] := [ [ 1, 7, 1 ], [ 2, 11, 1 ], [ 3, 15, 1 ], [ 4, 19, 1 ], [ 5, 22, 1 ], [ 6, 26, 1 ], [ 7, 30, 1 ], [ 8, 34, 1 ], [ 9, 37, 1 ], [ 10, 39, 1 ], [ 11, 43, 1 ], [ 12, 47, 1 ], [ 13, 50, 1 ], [ 14, 52, 1 ], [ 16, 57, 1 ], [ 17, 60, 1 ], [ 18, 62, 1 ], [ 19, 54, 2 ], [ 19, 57, 2 ], [ 20, 58, 2 ], [ 20, 64, 2 ], [ 21, 67, 1 ], [ 22, 71, 1 ], [ 23, 75, 1 ], [ 24, 78, 1 ], [ 25, 80, 1 ], [ 26, 84, 1 ], [ 27, 88, 1 ], [ 28, 91, 1 ], [ 29, 93, 1 ], [ 31, 98, 1 ], [ 32, 101, 1 ], [ 33, 103, 1 ], [ 34, 95, 2 ], [ 34, 98, 2 ], [ 35, 99, 2 ], [ 35, 105, 2 ], [ 36, 107, 1 ], [ 37, 109, 1 ], [ 38, 111, 1 ], [ 39, 115, 1 ], [ 40, 119, 1 ], [ 41, 122, 1 ], [ 42, 124, 1 ], [ 44, 129, 1 ], [ 45, 132, 1 ], [ 46, 134, 1 ], [ 47, 126, 2 ], [ 47, 129, 2 ], [ 48, 130, 2 ], [ 48, 136, 2 ], [ 49, 137, 1 ], [ 50, 139, 1 ], [ 51, 95, 2 ], [ 51, 98, 1 ], [ 51, 140, 1 ], [ 52, 142, 1 ], [ 53, 126, 2 ], [ 53, 129, 1 ], [ 53, 143, 1 ], [ 54, 147, 1 ], [ 55, 150, 1 ], [ 56, 152, 1 ], [ 57, 147, 2 ], [ 58, 148, 2 ], [ 58, 154, 2 ], [ 59, 94, 1 ], [ 59, 97, 2 ], [ 59, 103, 1 ], [ 59, 111, 2 ], [ 59, 123, 1 ], [ 59, 127, 2 ], [ 59, 132, 1 ], [ 59, 138, 2 ], [ 59, 149, 1 ], [ 60, 145, 2 ], [ 60, 150, 2 ], [ 61, 99, 2 ], [ 61, 105, 1 ], [ 61, 156, 1 ], [ 62, 146, 2 ], [ 62, 152, 2 ], [ 63, 130, 2 ], [ 63, 136, 1 ], [ 63, 158, 1 ], [ 64, 148, 1 ], [ 65, 162, 1 ], [ 66, 164, 1 ], [ 67, 168, 1 ], [ 68, 172, 1 ], [ 69, 175, 1 ], [ 70, 177, 1 ], [ 72, 182, 1 ], [ 73, 185, 1 ], [ 74, 187, 1 ], [ 75, 179, 2 ], [ 75, 182, 2 ], [ 76, 183, 2 ], [ 76, 189, 2 ], [ 77, 191, 1 ], [ 78, 193, 1 ], [ 79, 195, 1 ], [ 80, 199, 1 ], [ 81, 203, 1 ], [ 82, 206, 1 ], [ 83, 208, 1 ], [ 85, 213, 1 ], [ 86, 216, 1 ], [ 87, 218, 1 ], [ 88, 210, 2 ], [ 88, 213, 2 ], [ 89, 214, 2 ], [ 89, 220, 2 ], [ 90, 221, 1 ], [ 91, 223, 1 ], [ 92, 179, 2 ], [ 92, 182, 1 ], [ 92, 224, 1 ], [ 93, 226, 1 ], [ 94, 210, 2 ], [ 94, 213, 1 ], [ 94, 227, 1 ], [ 95, 231, 1 ], [ 96, 234, 1 ], [ 97, 236, 1 ], [ 98, 231, 2 ], [ 99, 232, 2 ], [ 99, 238, 2 ], [ 100, 178, 1 ], [ 100, 181, 2 ], [ 100, 187, 1 ], [ 100, 195, 2 ], [ 100, 207, 1 ], [ 100, 211, 2 ], [ 100, 216, 1 ], [ 100, 222, 2 ], [ 100, 233, 1 ], [ 101, 229, 2 ], [ 101, 234, 2 ], [ 102, 183, 2 ], [ 102, 189, 1 ], [ 102, 240, 1 ], [ 103, 230, 2 ], [ 103, 236, 2 ], [ 104, 214, 2 ], [ 104, 220, 1 ], [ 104, 242, 1 ], [ 105, 232, 1 ], [ 106, 245, 1 ], [ 107, 247, 1 ], [ 108, 249, 1 ], [ 110, 252, 1 ], [ 111, 251, 2 ], [ 111, 252, 2 ], [ 112, 253, 2 ], [ 112, 254, 2 ], [ 113, 256, 1 ], [ 114, 258, 1 ], [ 116, 263, 1 ], [ 117, 266, 1 ], [ 118, 268, 1 ], [ 119, 260, 2 ], [ 119, 263, 2 ], [ 120, 264, 2 ], [ 120, 270, 2 ], [ 121, 271, 1 ], [ 122, 273, 1 ], [ 123, 251, 2 ], [ 123, 252, 1 ], [ 123, 274, 1 ], [ 124, 276, 1 ], [ 125, 260, 2 ], [ 125, 263, 1 ], [ 125, 277, 1 ], [ 126, 281, 1 ], [ 127, 284, 1 ], [ 128, 286, 1 ], [ 129, 281, 2 ], [ 130, 282, 2 ], [ 130, 288, 2 ], [ 131, 209, 1 ], [ 131, 212, 2 ], [ 131, 218, 1 ], [ 131, 249, 2 ], [ 131, 257, 1 ], [ 131, 261, 2 ], [ 131, 266, 1 ], [ 131, 272, 2 ], [ 131, 283, 1 ], [ 132, 279, 2 ], [ 132, 284, 2 ], [ 133, 253, 2 ], [ 133, 254, 1 ], [ 133, 290, 1 ], [ 134, 280, 2 ], [ 134, 286, 2 ], [ 135, 264, 2 ], [ 135, 270, 1 ], [ 135, 292, 1 ], [ 136, 282, 1 ], [ 137, 295, 1 ], [ 138, 210, 2 ], [ 138, 213, 1 ], [ 138, 296, 1 ], [ 140, 231, 1 ], [ 140, 298, 1 ], [ 141, 232, 1 ], [ 141, 238, 2 ], [ 141, 299, 1 ], [ 143, 281, 1 ], [ 143, 300, 1 ], [ 144, 282, 1 ], [ 144, 288, 2 ], [ 144, 301, 1 ], [ 145, 303, 1 ], [ 146, 305, 1 ], [ 148, 307, 2 ], [ 149, 227, 1 ], [ 149, 230, 2 ], [ 149, 236, 1 ], [ 149, 252, 2 ], [ 149, 274, 1 ], [ 149, 279, 2 ], [ 149, 284, 1 ], [ 149, 296, 2 ], [ 149, 302, 1 ], [ 150, 303, 2 ], [ 151, 232, 2 ], [ 151, 238, 1 ], [ 151, 309, 1 ], [ 152, 305, 2 ], [ 153, 282, 2 ], [ 153, 288, 1 ], [ 153, 311, 1 ], [ 155, 214, 2 ], [ 155, 220, 1 ], [ 155, 228, 1 ], [ 155, 237, 2 ], [ 155, 242, 1 ], [ 155, 254, 2 ], [ 155, 275, 1 ], [ 155, 285, 2 ], [ 155, 290, 1 ], [ 155, 297, 2 ], [ 155, 308, 1 ], [ 156, 232, 2 ], [ 156, 238, 1 ], [ 156, 304, 2 ], [ 156, 309, 2 ], [ 157, 244, 2 ], [ 157, 315, 1 ], [ 158, 282, 2 ], [ 158, 288, 1 ], [ 158, 306, 2 ], [ 158, 311, 2 ], [ 159, 294, 2 ], [ 159, 316, 1 ], [ 160, 313, 1 ], [ 161, 318, 1 ], [ 162, 320, 1 ], [ 163, 322, 1 ], [ 164, 326, 1 ], [ 165, 330, 1 ], [ 166, 333, 1 ], [ 167, 335, 1 ], [ 169, 340, 1 ], [ 170, 343, 1 ], [ 171, 345, 1 ], [ 172, 337, 2 ], [ 172, 340, 2 ], [ 173, 341, 2 ], [ 173, 347, 2 ], [ 174, 348, 1 ], [ 175, 350, 1 ], [ 176, 351, 1 ], [ 177, 353, 1 ], [ 178, 337, 2 ], [ 178, 340, 1 ], [ 178, 354, 1 ], [ 179, 358, 1 ], [ 180, 361, 1 ], [ 181, 363, 1 ], [ 182, 358, 2 ], [ 183, 359, 2 ], [ 183, 365, 2 ], [ 184, 322, 2 ], [ 184, 334, 1 ], [ 184, 338, 2 ], [ 184, 343, 1 ], [ 184, 349, 2 ], [ 184, 360, 1 ], [ 185, 356, 2 ], [ 185, 361, 2 ], [ 186, 367, 1 ], [ 187, 357, 2 ], [ 187, 363, 2 ], [ 188, 341, 2 ], [ 188, 347, 1 ], [ 188, 369, 1 ], [ 189, 359, 1 ], [ 190, 372, 1 ], [ 191, 374, 1 ], [ 192, 376, 1 ], [ 194, 379, 1 ], [ 195, 378, 2 ], [ 195, 379, 2 ], [ 196, 380, 2 ], [ 196, 381, 2 ], [ 197, 383, 1 ], [ 198, 385, 1 ], [ 200, 390, 1 ], [ 201, 393, 1 ], [ 202, 395, 1 ], [ 203, 387, 2 ], [ 203, 390, 2 ], [ 204, 391, 2 ], [ 204, 397, 2 ], [ 205, 398, 1 ], [ 206, 400, 1 ], [ 207, 378, 2 ], [ 207, 379, 1 ], [ 207, 401, 1 ], [ 208, 403, 1 ], [ 209, 387, 2 ], [ 209, 390, 1 ], [ 209, 404, 1 ], [ 210, 408, 1 ], [ 211, 411, 1 ], [ 212, 413, 1 ], [ 213, 408, 2 ], [ 214, 409, 2 ], [ 214, 415, 2 ], [ 215, 336, 1 ], [ 215, 339, 2 ], [ 215, 345, 1 ], [ 215, 376, 2 ], [ 215, 384, 1 ], [ 215, 388, 2 ], [ 215, 393, 1 ], [ 215, 399, 2 ], [ 215, 410, 1 ], [ 216, 406, 2 ], [ 216, 411, 2 ], [ 217, 380, 2 ], [ 217, 381, 1 ], [ 217, 417, 1 ], [ 218, 407, 2 ], [ 218, 413, 2 ], [ 219, 391, 2 ], [ 219, 397, 1 ], [ 219, 419, 1 ], [ 220, 409, 1 ], [ 221, 422, 1 ], [ 222, 337, 2 ], [ 222, 340, 1 ], [ 222, 423, 1 ], [ 224, 358, 1 ], [ 224, 425, 1 ], [ 225, 359, 1 ], [ 225, 365, 2 ], [ 225, 426, 1 ], [ 227, 408, 1 ], [ 227, 427, 1 ], [ 228, 409, 1 ], [ 228, 415, 2 ], [ 228, 428, 1 ], [ 229, 430, 1 ], [ 230, 432, 1 ], [ 232, 434, 2 ], [ 233, 354, 1 ], [ 233, 357, 2 ], [ 233, 363, 1 ], [ 233, 379, 2 ], [ 233, 401, 1 ], [ 233, 406, 2 ], [ 233, 411, 1 ], [ 233, 423, 2 ], [ 233, 429, 1 ], [ 234, 430, 2 ], [ 235, 359, 2 ], [ 235, 365, 1 ], [ 235, 436, 1 ], [ 236, 432, 2 ], [ 237, 409, 2 ], [ 237, 415, 1 ], [ 237, 438, 1 ], [ 239, 341, 2 ], [ 239, 347, 1 ], [ 239, 355, 1 ], [ 239, 364, 2 ], [ 239, 369, 1 ], [ 239, 381, 2 ], [ 239, 402, 1 ], [ 239, 412, 2 ], [ 239, 417, 1 ], [ 239, 424, 2 ], [ 239, 435, 1 ], [ 240, 359, 2 ], [ 240, 365, 1 ], [ 240, 431, 2 ], [ 240, 436, 2 ], [ 241, 371, 2 ], [ 241, 442, 1 ], [ 242, 409, 2 ], [ 242, 415, 1 ], [ 242, 433, 2 ], [ 242, 438, 2 ], [ 243, 421, 2 ], [ 243, 443, 1 ], [ 244, 440, 1 ], [ 245, 444, 1 ], [ 246, 446, 1 ], [ 248, 449, 1 ], [ 249, 448, 2 ], [ 249, 449, 2 ], [ 250, 450, 2 ], [ 250, 451, 2 ], [ 251, 452, 1 ], [ 252, 452, 2 ], [ 253, 453, 2 ], [ 253, 454, 2 ], [ 254, 453, 1 ], [ 255, 456, 1 ], [ 256, 458, 1 ], [ 257, 387, 1 ], [ 257, 390, 2 ], [ 257, 448, 1 ], [ 257, 449, 2 ], [ 257, 459, 1 ], [ 258, 461, 1 ], [ 259, 462, 1 ], [ 260, 466, 1 ], [ 261, 469, 1 ], [ 262, 471, 1 ], [ 263, 466, 2 ], [ 264, 467, 2 ], [ 264, 473, 2 ], [ 265, 386, 1 ], [ 265, 389, 2 ], [ 265, 395, 1 ], [ 265, 446, 2 ], [ 265, 457, 2 ], [ 265, 468, 1 ], [ 266, 464, 2 ], [ 266, 469, 2 ], [ 267, 391, 1 ], [ 267, 397, 2 ], [ 267, 450, 1 ], [ 267, 451, 2 ], [ 267, 475, 1 ], [ 268, 465, 2 ], [ 268, 471, 2 ], [ 269, 477, 1 ], [ 270, 467, 1 ], [ 271, 480, 1 ], [ 272, 448, 2 ], [ 272, 449, 1 ], [ 272, 481, 1 ], [ 274, 452, 1 ], [ 274, 483, 1 ], [ 275, 453, 1 ], [ 275, 454, 2 ], [ 275, 484, 1 ], [ 277, 466, 1 ], [ 277, 485, 1 ], [ 278, 467, 1 ], [ 278, 473, 2 ], [ 278, 486, 1 ], [ 279, 488, 1 ], [ 280, 490, 1 ], [ 282, 492, 2 ], [ 283, 404, 1 ], [ 283, 407, 2 ], [ 283, 413, 1 ], [ 283, 449, 2 ], [ 283, 459, 1 ], [ 283, 464, 2 ], [ 283, 469, 1 ], [ 283, 481, 2 ], [ 283, 487, 1 ], [ 284, 488, 2 ], [ 285, 453, 2 ], [ 285, 454, 1 ], [ 285, 494, 1 ], [ 286, 490, 2 ], [ 287, 467, 2 ], [ 287, 473, 1 ], [ 287, 496, 1 ], [ 289, 405, 1 ], [ 289, 414, 2 ], [ 289, 419, 1 ], [ 289, 450, 2 ], [ 289, 460, 1 ], [ 289, 470, 2 ], [ 289, 475, 1 ], [ 289, 482, 2 ], [ 289, 493, 1 ], [ 290, 453, 2 ], [ 290, 454, 1 ], [ 290, 489, 2 ], [ 290, 494, 2 ], [ 291, 455, 2 ], [ 291, 500, 1 ], [ 292, 467, 2 ], [ 292, 473, 1 ], [ 292, 491, 2 ], [ 292, 496, 2 ], [ 293, 479, 2 ], [ 293, 501, 1 ], [ 294, 498, 1 ], [ 296, 408, 1 ], [ 296, 502, 1 ], [ 297, 409, 1 ], [ 297, 415, 2 ], [ 297, 503, 1 ], [ 299, 434, 2 ], [ 299, 504, 1 ], [ 301, 492, 2 ], [ 301, 505, 1 ], [ 302, 427, 1 ], [ 302, 432, 1 ], [ 302, 452, 2 ], [ 302, 483, 1 ], [ 302, 488, 1 ], [ 302, 502, 2 ], [ 304, 434, 1 ], [ 304, 507, 1 ], [ 306, 492, 1 ], [ 306, 509, 1 ], [ 308, 409, 2 ], [ 308, 415, 1 ], [ 308, 428, 1 ], [ 308, 433, 2 ], [ 308, 438, 1 ], [ 308, 454, 2 ], [ 308, 484, 1 ], [ 308, 489, 2 ], [ 308, 494, 1 ], [ 308, 503, 2 ], [ 308, 506, 1 ], [ 309, 434, 1 ], [ 309, 507, 2 ], [ 310, 440, 2 ], [ 310, 513, 1 ], [ 311, 492, 1 ], [ 311, 509, 2 ], [ 312, 498, 2 ], [ 312, 514, 1 ], [ 313, 511, 1 ], [ 314, 421, 2 ], [ 314, 439, 2 ], [ 314, 443, 1 ], [ 314, 455, 2 ], [ 314, 495, 2 ], [ 314, 500, 1 ], [ 314, 512, 1 ], [ 315, 440, 2 ], [ 315, 508, 2 ], [ 315, 513, 2 ], [ 316, 498, 2 ], [ 316, 510, 2 ], [ 316, 514, 2 ], [ 317, 515, 1 ], [ 318, 517, 1 ], [ 319, 519, 1 ], [ 321, 522, 1 ], [ 322, 521, 2 ], [ 322, 522, 2 ], [ 323, 523, 2 ], [ 323, 524, 2 ], [ 324, 526, 1 ], [ 325, 528, 1 ], [ 327, 533, 1 ], [ 328, 536, 1 ], [ 329, 538, 1 ], [ 330, 530, 2 ], [ 330, 533, 2 ], [ 331, 534, 2 ], [ 331, 540, 2 ], [ 332, 541, 1 ], [ 333, 543, 1 ], [ 334, 521, 2 ], [ 334, 522, 1 ], [ 334, 544, 1 ], [ 335, 546, 1 ], [ 336, 530, 2 ], [ 336, 533, 1 ], [ 336, 547, 1 ], [ 337, 551, 1 ], [ 338, 554, 1 ], [ 339, 556, 1 ], [ 340, 551, 2 ], [ 341, 552, 2 ], [ 341, 558, 2 ], [ 342, 519, 2 ], [ 342, 527, 1 ], [ 342, 531, 2 ], [ 342, 536, 1 ], [ 342, 542, 2 ], [ 342, 553, 1 ], [ 343, 549, 2 ], [ 343, 554, 2 ], [ 344, 523, 2 ], [ 344, 524, 1 ], [ 344, 560, 1 ], [ 345, 550, 2 ], [ 345, 556, 2 ], [ 346, 534, 2 ], [ 346, 540, 1 ], [ 346, 562, 1 ], [ 347, 552, 1 ], [ 348, 565, 1 ], [ 349, 566, 1 ], [ 351, 568, 1 ], [ 352, 569, 1 ], [ 354, 551, 1 ], [ 354, 570, 1 ], [ 355, 552, 1 ], [ 355, 558, 2 ], [ 355, 571, 1 ], [ 356, 573, 1 ], [ 357, 575, 1 ], [ 359, 577, 2 ], [ 360, 522, 2 ], [ 360, 544, 1 ], [ 360, 549, 2 ], [ 360, 554, 1 ], [ 360, 566, 2 ], [ 360, 572, 1 ], [ 361, 573, 2 ], [ 362, 579, 1 ], [ 363, 575, 2 ], [ 364, 552, 2 ], [ 364, 558, 1 ], [ 364, 581, 1 ], [ 366, 524, 2 ], [ 366, 545, 1 ], [ 366, 555, 2 ], [ 366, 560, 1 ], [ 366, 567, 2 ], [ 366, 578, 1 ], [ 367, 574, 2 ], [ 367, 579, 2 ], [ 368, 585, 1 ], [ 369, 552, 2 ], [ 369, 558, 1 ], [ 369, 576, 2 ], [ 369, 581, 2 ], [ 370, 564, 2 ], [ 370, 586, 1 ], [ 371, 583, 1 ], [ 372, 587, 1 ], [ 373, 589, 1 ], [ 375, 592, 1 ], [ 376, 591, 2 ], [ 376, 592, 2 ], [ 377, 593, 2 ], [ 377, 594, 2 ], [ 378, 595, 1 ], [ 379, 595, 2 ], [ 380, 596, 2 ], [ 380, 597, 2 ], [ 381, 596, 1 ], [ 382, 599, 1 ], [ 383, 601, 1 ], [ 384, 530, 1 ], [ 384, 533, 2 ], [ 384, 591, 1 ], [ 384, 592, 2 ], [ 384, 602, 1 ], [ 385, 604, 1 ], [ 386, 605, 1 ], [ 387, 609, 1 ], [ 388, 612, 1 ], [ 389, 614, 1 ], [ 390, 609, 2 ], [ 391, 610, 2 ], [ 391, 616, 2 ], [ 392, 529, 1 ], [ 392, 532, 2 ], [ 392, 538, 1 ], [ 392, 589, 2 ], [ 392, 600, 2 ], [ 392, 611, 1 ], [ 393, 607, 2 ], [ 393, 612, 2 ], [ 394, 534, 1 ], [ 394, 540, 2 ], [ 394, 593, 1 ], [ 394, 594, 2 ], [ 394, 618, 1 ], [ 395, 608, 2 ], [ 395, 614, 2 ], [ 396, 620, 1 ], [ 397, 610, 1 ], [ 398, 623, 1 ], [ 399, 591, 2 ], [ 399, 592, 1 ], [ 399, 624, 1 ], [ 401, 595, 1 ], [ 401, 626, 1 ], [ 402, 596, 1 ], [ 402, 597, 2 ], [ 402, 627, 1 ], [ 404, 609, 1 ], [ 404, 628, 1 ], [ 405, 610, 1 ], [ 405, 616, 2 ], [ 405, 629, 1 ], [ 406, 631, 1 ], [ 407, 633, 1 ], [ 409, 635, 2 ], [ 410, 547, 1 ], [ 410, 550, 2 ], [ 410, 556, 1 ], [ 410, 592, 2 ], [ 410, 602, 1 ], [ 410, 607, 2 ], [ 410, 612, 1 ], [ 410, 624, 2 ], [ 410, 630, 1 ], [ 411, 631, 2 ], [ 412, 596, 2 ], [ 412, 597, 1 ], [ 412, 637, 1 ], [ 413, 633, 2 ], [ 414, 610, 2 ], [ 414, 616, 1 ], [ 414, 639, 1 ], [ 416, 548, 1 ], [ 416, 557, 2 ], [ 416, 562, 1 ], [ 416, 593, 2 ], [ 416, 603, 1 ], [ 416, 613, 2 ], [ 416, 618, 1 ], [ 416, 625, 2 ], [ 416, 636, 1 ], [ 417, 596, 2 ], [ 417, 597, 1 ], [ 417, 632, 2 ], [ 417, 637, 2 ], [ 418, 598, 2 ], [ 418, 643, 1 ], [ 419, 610, 2 ], [ 419, 616, 1 ], [ 419, 634, 2 ], [ 419, 639, 2 ], [ 420, 622, 2 ], [ 420, 644, 1 ], [ 421, 641, 1 ], [ 423, 551, 1 ], [ 423, 645, 1 ], [ 424, 552, 1 ], [ 424, 558, 2 ], [ 424, 646, 1 ], [ 426, 577, 2 ], [ 426, 647, 1 ], [ 428, 635, 2 ], [ 428, 648, 1 ], [ 429, 570, 1 ], [ 429, 575, 1 ], [ 429, 595, 2 ], [ 429, 626, 1 ], [ 429, 631, 1 ], [ 429, 645, 2 ], [ 431, 577, 1 ], [ 431, 650, 1 ], [ 433, 635, 1 ], [ 433, 652, 1 ], [ 435, 552, 2 ], [ 435, 558, 1 ], [ 435, 571, 1 ], [ 435, 576, 2 ], [ 435, 581, 1 ], [ 435, 597, 2 ], [ 435, 627, 1 ], [ 435, 632, 2 ], [ 435, 637, 1 ], [ 435, 646, 2 ], [ 435, 649, 1 ], [ 436, 577, 1 ], [ 436, 650, 2 ], [ 437, 583, 2 ], [ 437, 656, 1 ], [ 438, 635, 1 ], [ 438, 652, 2 ], [ 439, 641, 2 ], [ 439, 657, 1 ], [ 440, 654, 1 ], [ 441, 564, 2 ], [ 441, 582, 2 ], [ 441, 586, 1 ], [ 441, 598, 2 ], [ 441, 638, 2 ], [ 441, 643, 1 ], [ 441, 655, 1 ], [ 442, 583, 2 ], [ 442, 651, 2 ], [ 442, 656, 2 ], [ 443, 641, 2 ], [ 443, 653, 2 ], [ 443, 657, 2 ], [ 445, 659, 1 ], [ 446, 658, 2 ], [ 446, 659, 2 ], [ 447, 660, 2 ], [ 447, 661, 2 ], [ 448, 662, 1 ], [ 449, 662, 2 ], [ 450, 663, 2 ], [ 450, 664, 2 ], [ 451, 663, 1 ], [ 453, 666, 2 ], [ 455, 667, 1 ], [ 456, 668, 1 ], [ 457, 658, 1 ], [ 457, 659, 2 ], [ 457, 669, 1 ], [ 459, 609, 2 ], [ 459, 662, 2 ], [ 459, 671, 1 ], [ 460, 610, 2 ], [ 460, 616, 1 ], [ 460, 663, 2 ], [ 460, 664, 1 ], [ 460, 672, 1 ], [ 462, 673, 1 ], [ 463, 674, 1 ], [ 464, 676, 1 ], [ 465, 678, 1 ], [ 467, 680, 2 ], [ 468, 605, 1 ], [ 468, 608, 2 ], [ 468, 614, 1 ], [ 468, 659, 2 ], [ 468, 669, 2 ], [ 468, 675, 1 ], [ 469, 676, 2 ], [ 470, 610, 1 ], [ 470, 616, 2 ], [ 470, 663, 1 ], [ 470, 664, 2 ], [ 470, 682, 1 ], [ 471, 678, 2 ], [ 472, 684, 1 ], [ 474, 606, 1 ], [ 474, 615, 2 ], [ 474, 620, 1 ], [ 474, 660, 1 ], [ 474, 661, 1 ], [ 474, 670, 2 ], [ 474, 681, 1 ], [ 475, 610, 1 ], [ 475, 616, 2 ], [ 475, 663, 1 ], [ 475, 664, 2 ], [ 475, 677, 2 ], [ 475, 682, 2 ], [ 476, 622, 1 ], [ 476, 665, 1 ], [ 476, 688, 1 ], [ 477, 679, 2 ], [ 477, 684, 2 ], [ 478, 689, 1 ], [ 479, 686, 1 ], [ 481, 662, 1 ], [ 481, 690, 1 ], [ 482, 663, 1 ], [ 482, 664, 2 ], [ 482, 691, 1 ], [ 484, 666, 2 ], [ 484, 692, 1 ], [ 486, 680, 2 ], [ 486, 693, 1 ], [ 487, 628, 1 ], [ 487, 633, 1 ], [ 487, 662, 2 ], [ 487, 671, 1 ], [ 487, 676, 1 ], [ 487, 690, 2 ], [ 489, 666, 1 ], [ 489, 695, 1 ], [ 491, 680, 1 ], [ 491, 697, 1 ], [ 493, 629, 1 ], [ 493, 634, 2 ], [ 493, 639, 1 ], [ 493, 663, 2 ], [ 493, 672, 1 ], [ 493, 677, 2 ], [ 493, 682, 1 ], [ 493, 691, 2 ], [ 493, 694, 1 ], [ 494, 666, 1 ], [ 494, 695, 2 ], [ 495, 667, 2 ], [ 495, 701, 1 ], [ 496, 680, 1 ], [ 496, 697, 2 ], [ 497, 686, 2 ], [ 497, 702, 1 ], [ 498, 699, 1 ], [ 499, 640, 2 ], [ 499, 644, 1 ], [ 499, 665, 1 ], [ 499, 683, 2 ], [ 499, 688, 1 ], [ 499, 700, 1 ], [ 500, 667, 2 ], [ 500, 696, 2 ], [ 500, 701, 2 ], [ 501, 686, 2 ], [ 501, 698, 2 ], [ 501, 702, 2 ], [ 503, 635, 2 ], [ 503, 703, 1 ], [ 506, 635, 1 ], [ 506, 648, 1 ], [ 506, 652, 1 ], [ 506, 666, 2 ], [ 506, 692, 1 ], [ 506, 695, 1 ], [ 506, 703, 2 ], [ 508, 654, 2 ], [ 508, 705, 1 ], [ 510, 699, 2 ], [ 510, 706, 1 ], [ 512, 641, 2 ], [ 512, 653, 2 ], [ 512, 657, 1 ], [ 512, 667, 2 ], [ 512, 696, 2 ], [ 512, 701, 1 ], [ 512, 704, 1 ], [ 513, 654, 2 ], [ 513, 705, 2 ], [ 514, 699, 2 ], [ 514, 706, 2 ], [ 515, 707, 1 ], [ 516, 709, 1 ], [ 518, 712, 1 ], [ 519, 711, 2 ], [ 519, 712, 2 ], [ 520, 713, 2 ], [ 520, 714, 2 ], [ 521, 715, 1 ], [ 522, 715, 2 ], [ 523, 716, 2 ], [ 523, 717, 2 ], [ 524, 716, 1 ], [ 525, 719, 1 ], [ 526, 721, 1 ], [ 527, 711, 1 ], [ 527, 712, 2 ], [ 527, 722, 1 ], [ 528, 724, 1 ], [ 529, 725, 1 ], [ 530, 729, 1 ], [ 531, 732, 1 ], [ 532, 734, 1 ], [ 533, 729, 2 ], [ 534, 730, 2 ], [ 534, 736, 2 ], [ 535, 709, 2 ], [ 535, 720, 2 ], [ 535, 731, 1 ], [ 536, 727, 2 ], [ 536, 732, 2 ], [ 537, 713, 1 ], [ 537, 714, 2 ], [ 537, 738, 1 ], [ 538, 728, 2 ], [ 538, 734, 2 ], [ 539, 740, 1 ], [ 540, 730, 1 ], [ 541, 743, 1 ], [ 542, 711, 2 ], [ 542, 712, 1 ], [ 542, 744, 1 ], [ 544, 715, 1 ], [ 544, 746, 1 ], [ 545, 716, 1 ], [ 545, 717, 2 ], [ 545, 747, 1 ], [ 547, 729, 1 ], [ 547, 748, 1 ], [ 548, 730, 1 ], [ 548, 736, 2 ], [ 548, 749, 1 ], [ 549, 751, 1 ], [ 550, 753, 1 ], [ 552, 755, 2 ], [ 553, 712, 2 ], [ 553, 722, 1 ], [ 553, 727, 2 ], [ 553, 732, 1 ], [ 553, 744, 2 ], [ 553, 750, 1 ], [ 554, 751, 2 ], [ 555, 716, 2 ], [ 555, 717, 1 ], [ 555, 757, 1 ], [ 556, 753, 2 ], [ 557, 730, 2 ], [ 557, 736, 1 ], [ 557, 759, 1 ], [ 559, 713, 2 ], [ 559, 723, 1 ], [ 559, 733, 2 ], [ 559, 738, 1 ], [ 559, 745, 2 ], [ 559, 756, 1 ], [ 560, 716, 2 ], [ 560, 717, 1 ], [ 560, 752, 2 ], [ 560, 757, 2 ], [ 561, 718, 2 ], [ 561, 763, 1 ], [ 562, 730, 2 ], [ 562, 736, 1 ], [ 562, 754, 2 ], [ 562, 759, 2 ], [ 563, 742, 2 ], [ 563, 764, 1 ], [ 564, 761, 1 ], [ 566, 765, 1 ], [ 567, 766, 1 ], [ 569, 767, 1 ], [ 571, 755, 2 ], [ 571, 768, 1 ], [ 572, 715, 2 ], [ 572, 746, 1 ], [ 572, 751, 1 ], [ 572, 765, 2 ], [ 574, 770, 1 ], [ 576, 755, 1 ], [ 576, 772, 1 ], [ 578, 717, 2 ], [ 578, 747, 1 ], [ 578, 752, 2 ], [ 578, 757, 1 ], [ 578, 766, 2 ], [ 578, 769, 1 ], [ 579, 770, 2 ], [ 580, 776, 1 ], [ 581, 755, 1 ], [ 581, 772, 2 ], [ 582, 761, 2 ], [ 582, 777, 1 ], [ 583, 774, 1 ], [ 584, 718, 2 ], [ 584, 758, 2 ], [ 584, 763, 1 ], [ 584, 775, 1 ], [ 585, 771, 2 ], [ 585, 776, 2 ], [ 586, 761, 2 ], [ 586, 773, 2 ], [ 586, 777, 2 ], [ 588, 779, 1 ], [ 589, 778, 2 ], [ 589, 779, 2 ], [ 590, 780, 2 ], [ 590, 781, 2 ], [ 591, 782, 1 ], [ 592, 782, 2 ], [ 593, 783, 2 ], [ 593, 784, 2 ], [ 594, 783, 1 ], [ 596, 786, 2 ], [ 598, 787, 1 ], [ 599, 788, 1 ], [ 600, 778, 1 ], [ 600, 779, 2 ], [ 600, 789, 1 ], [ 602, 729, 2 ], [ 602, 782, 2 ], [ 602, 791, 1 ], [ 603, 730, 2 ], [ 603, 736, 1 ], [ 603, 783, 2 ], [ 603, 784, 1 ], [ 603, 792, 1 ], [ 605, 793, 1 ], [ 606, 794, 1 ], [ 607, 796, 1 ], [ 608, 798, 1 ], [ 610, 800, 2 ], [ 611, 725, 1 ], [ 611, 728, 2 ], [ 611, 734, 1 ], [ 611, 779, 2 ], [ 611, 789, 2 ], [ 611, 795, 1 ], [ 612, 796, 2 ], [ 613, 730, 1 ], [ 613, 736, 2 ], [ 613, 783, 1 ], [ 613, 784, 2 ], [ 613, 802, 1 ], [ 614, 798, 2 ], [ 615, 804, 1 ], [ 617, 726, 1 ], [ 617, 735, 2 ], [ 617, 740, 1 ], [ 617, 780, 1 ], [ 617, 781, 1 ], [ 617, 790, 2 ], [ 617, 801, 1 ], [ 618, 730, 1 ], [ 618, 736, 2 ], [ 618, 783, 1 ], [ 618, 784, 2 ], [ 618, 797, 2 ], [ 618, 802, 2 ], [ 619, 742, 1 ], [ 619, 785, 1 ], [ 619, 808, 1 ], [ 620, 799, 2 ], [ 620, 804, 2 ], [ 621, 809, 1 ], [ 622, 806, 1 ], [ 624, 782, 1 ], [ 624, 810, 1 ], [ 625, 783, 1 ], [ 625, 784, 2 ], [ 625, 811, 1 ], [ 627, 786, 2 ], [ 627, 812, 1 ], [ 629, 800, 2 ], [ 629, 813, 1 ], [ 630, 748, 1 ], [ 630, 753, 1 ], [ 630, 782, 2 ], [ 630, 791, 1 ], [ 630, 796, 1 ], [ 630, 810, 2 ], [ 632, 786, 1 ], [ 632, 815, 1 ], [ 634, 800, 1 ], [ 634, 817, 1 ], [ 636, 749, 1 ], [ 636, 754, 2 ], [ 636, 759, 1 ], [ 636, 783, 2 ], [ 636, 792, 1 ], [ 636, 797, 2 ], [ 636, 802, 1 ], [ 636, 811, 2 ], [ 636, 814, 1 ], [ 637, 786, 1 ], [ 637, 815, 2 ], [ 638, 787, 2 ], [ 638, 821, 1 ], [ 639, 800, 1 ], [ 639, 817, 2 ], [ 640, 806, 2 ], [ 640, 822, 1 ], [ 641, 819, 1 ], [ 642, 760, 2 ], [ 642, 764, 1 ], [ 642, 785, 1 ], [ 642, 803, 2 ], [ 642, 808, 1 ], [ 642, 820, 1 ], [ 643, 787, 2 ], [ 643, 816, 2 ], [ 643, 821, 2 ], [ 644, 806, 2 ], [ 644, 818, 2 ], [ 644, 822, 2 ], [ 646, 755, 2 ], [ 646, 823, 1 ], [ 649, 755, 1 ], [ 649, 768, 1 ], [ 649, 772, 1 ], [ 649, 786, 2 ], [ 649, 812, 1 ], [ 649, 815, 1 ], [ 649, 823, 2 ], [ 651, 774, 2 ], [ 651, 825, 1 ], [ 653, 819, 2 ], [ 653, 826, 1 ], [ 655, 761, 2 ], [ 655, 773, 2 ], [ 655, 777, 1 ], [ 655, 787, 2 ], [ 655, 816, 2 ], [ 655, 821, 1 ], [ 655, 824, 1 ], [ 656, 774, 2 ], [ 656, 825, 2 ], [ 657, 819, 2 ], [ 657, 826, 2 ], [ 658, 827, 1 ], [ 659, 827, 2 ], [ 660, 828, 2 ], [ 660, 829, 2 ], [ 661, 828, 1 ], [ 663, 831, 2 ], [ 665, 832, 1 ], [ 667, 833, 1 ], [ 669, 827, 2 ], [ 669, 834, 1 ], [ 670, 828, 2 ], [ 670, 829, 1 ], [ 670, 835, 1 ], [ 672, 800, 1 ], [ 672, 831, 1 ], [ 672, 836, 1 ], [ 674, 837, 1 ], [ 675, 793, 1 ], [ 675, 798, 1 ], [ 675, 827, 2 ], [ 675, 834, 2 ], [ 677, 800, 2 ], [ 677, 831, 2 ], [ 677, 839, 1 ], [ 679, 841, 1 ], [ 681, 794, 1 ], [ 681, 799, 2 ], [ 681, 804, 1 ], [ 681, 828, 1 ], [ 681, 829, 1 ], [ 681, 835, 2 ], [ 681, 838, 1 ], [ 682, 800, 2 ], [ 682, 831, 2 ], [ 682, 839, 2 ], [ 683, 806, 1 ], [ 683, 832, 1 ], [ 683, 845, 1 ], [ 684, 841, 2 ], [ 685, 846, 1 ], [ 686, 843, 1 ], [ 687, 805, 2 ], [ 687, 809, 1 ], [ 687, 844, 1 ], [ 688, 806, 1 ], [ 688, 832, 1 ], [ 688, 840, 2 ], [ 688, 845, 2 ], [ 689, 842, 2 ], [ 689, 846, 2 ], [ 691, 831, 2 ], [ 691, 847, 1 ], [ 694, 813, 1 ], [ 694, 817, 1 ], [ 694, 836, 1 ], [ 694, 839, 1 ], [ 694, 847, 2 ], [ 696, 833, 2 ], [ 696, 849, 1 ], [ 698, 843, 2 ], [ 698, 850, 1 ], [ 700, 818, 2 ], [ 700, 822, 1 ], [ 700, 832, 1 ], [ 700, 840, 2 ], [ 700, 845, 1 ], [ 700, 848, 1 ], [ 701, 833, 2 ], [ 701, 849, 2 ], [ 702, 843, 2 ], [ 702, 850, 2 ], [ 704, 819, 2 ], [ 704, 826, 1 ], [ 704, 833, 2 ], [ 704, 849, 1 ], [ 708, 852, 1 ], [ 709, 851, 2 ], [ 709, 852, 2 ], [ 710, 853, 2 ], [ 710, 854, 2 ], [ 711, 855, 1 ], [ 712, 855, 2 ], [ 713, 856, 2 ], [ 713, 857, 2 ], [ 714, 856, 1 ], [ 716, 859, 2 ], [ 718, 860, 1 ], [ 719, 861, 1 ], [ 720, 851, 1 ], [ 720, 852, 2 ], [ 720, 862, 1 ], [ 722, 855, 2 ], [ 722, 864, 1 ], [ 723, 856, 2 ], [ 723, 857, 1 ], [ 723, 865, 1 ], [ 725, 866, 1 ], [ 726, 867, 1 ], [ 727, 869, 1 ], [ 728, 871, 1 ], [ 730, 873, 2 ], [ 731, 852, 2 ], [ 731, 862, 2 ], [ 731, 868, 1 ], [ 732, 869, 2 ], [ 733, 856, 1 ], [ 733, 857, 2 ], [ 733, 875, 1 ], [ 734, 871, 2 ], [ 735, 877, 1 ], [ 737, 853, 1 ], [ 737, 854, 1 ], [ 737, 863, 2 ], [ 737, 874, 1 ], [ 738, 856, 1 ], [ 738, 857, 2 ], [ 738, 870, 2 ], [ 738, 875, 2 ], [ 739, 858, 1 ], [ 739, 881, 1 ], [ 740, 872, 2 ], [ 740, 877, 2 ], [ 741, 882, 1 ], [ 742, 879, 1 ], [ 744, 855, 1 ], [ 744, 883, 1 ], [ 745, 856, 1 ], [ 745, 857, 2 ], [ 745, 884, 1 ], [ 747, 859, 2 ], [ 747, 885, 1 ], [ 749, 873, 2 ], [ 749, 886, 1 ], [ 750, 855, 2 ], [ 750, 864, 1 ], [ 750, 869, 1 ], [ 750, 883, 2 ], [ 752, 859, 1 ], [ 752, 888, 1 ], [ 754, 873, 1 ], [ 754, 890, 1 ], [ 756, 856, 2 ], [ 756, 865, 1 ], [ 756, 870, 2 ], [ 756, 875, 1 ], [ 756, 884, 2 ], [ 756, 887, 1 ], [ 757, 859, 1 ], [ 757, 888, 2 ], [ 758, 860, 2 ], [ 758, 894, 1 ], [ 759, 873, 1 ], [ 759, 890, 2 ], [ 760, 879, 2 ], [ 760, 895, 1 ], [ 761, 892, 1 ], [ 762, 858, 1 ], [ 762, 876, 2 ], [ 762, 881, 1 ], [ 762, 893, 1 ], [ 763, 860, 2 ], [ 763, 889, 2 ], [ 763, 894, 2 ], [ 764, 879, 2 ], [ 764, 891, 2 ], [ 764, 895, 2 ], [ 766, 896, 1 ], [ 769, 859, 2 ], [ 769, 885, 1 ], [ 769, 888, 1 ], [ 769, 896, 2 ], [ 771, 898, 1 ], [ 773, 892, 2 ], [ 773, 899, 1 ], [ 775, 860, 2 ], [ 775, 889, 2 ], [ 775, 894, 1 ], [ 775, 897, 1 ], [ 776, 898, 2 ], [ 777, 892, 2 ], [ 777, 899, 2 ], [ 778, 900, 1 ], [ 779, 900, 2 ], [ 780, 901, 2 ], [ 780, 902, 2 ], [ 781, 901, 1 ], [ 783, 904, 2 ], [ 785, 905, 1 ], [ 787, 906, 1 ], [ 789, 900, 2 ], [ 789, 907, 1 ], [ 790, 901, 2 ], [ 790, 902, 1 ], [ 790, 908, 1 ], [ 792, 873, 1 ], [ 792, 904, 1 ], [ 792, 909, 1 ], [ 794, 910, 1 ], [ 795, 866, 1 ], [ 795, 871, 1 ], [ 795, 900, 2 ], [ 795, 907, 2 ], [ 797, 873, 2 ], [ 797, 904, 2 ], [ 797, 912, 1 ], [ 799, 914, 1 ], [ 801, 867, 1 ], [ 801, 872, 2 ], [ 801, 877, 1 ], [ 801, 901, 1 ], [ 801, 902, 1 ], [ 801, 908, 2 ], [ 801, 911, 1 ], [ 802, 873, 2 ], [ 802, 904, 2 ], [ 802, 912, 2 ], [ 803, 879, 1 ], [ 803, 905, 1 ], [ 803, 918, 1 ], [ 804, 914, 2 ], [ 805, 919, 1 ], [ 806, 916, 1 ], [ 807, 878, 2 ], [ 807, 882, 1 ], [ 807, 917, 1 ], [ 808, 879, 1 ], [ 808, 905, 1 ], [ 808, 913, 2 ], [ 808, 918, 2 ], [ 809, 915, 2 ], [ 809, 919, 2 ], [ 811, 904, 2 ], [ 811, 920, 1 ], [ 814, 886, 1 ], [ 814, 890, 1 ], [ 814, 909, 1 ], [ 814, 912, 1 ], [ 814, 920, 2 ], [ 816, 906, 2 ], [ 816, 922, 1 ], [ 818, 916, 2 ], [ 818, 923, 1 ], [ 820, 891, 2 ], [ 820, 895, 1 ], [ 820, 905, 1 ], [ 820, 913, 2 ], [ 820, 918, 1 ], [ 820, 921, 1 ], [ 821, 906, 2 ], [ 821, 922, 2 ], [ 822, 916, 2 ], [ 822, 923, 2 ], [ 824, 892, 2 ], [ 824, 899, 1 ], [ 824, 906, 2 ], [ 824, 922, 1 ], [ 828, 924, 2 ], [ 830, 925, 1 ], [ 832, 926, 1 ], [ 835, 924, 1 ], [ 835, 927, 1 ], [ 838, 910, 1 ], [ 838, 914, 1 ], [ 838, 924, 1 ], [ 838, 927, 2 ], [ 840, 916, 1 ], [ 840, 926, 1 ], [ 840, 929, 1 ], [ 842, 930, 1 ], [ 844, 915, 2 ], [ 844, 919, 1 ], [ 844, 928, 1 ], [ 845, 916, 1 ], [ 845, 926, 1 ], [ 845, 929, 2 ], [ 846, 930, 2 ], [ 848, 923, 1 ], [ 848, 926, 1 ], [ 848, 929, 1 ], [ 851, 931, 1 ], [ 852, 931, 2 ], [ 853, 932, 2 ], [ 853, 933, 2 ], [ 854, 932, 1 ], [ 856, 935, 2 ], [ 858, 936, 1 ], [ 860, 937, 1 ], [ 862, 931, 2 ], [ 862, 938, 1 ], [ 863, 932, 2 ], [ 863, 933, 1 ], [ 863, 939, 1 ], [ 865, 935, 1 ], [ 865, 940, 1 ], [ 867, 941, 1 ], [ 868, 931, 2 ], [ 868, 938, 2 ], [ 870, 935, 2 ], [ 870, 943, 1 ], [ 872, 945, 1 ], [ 874, 932, 1 ], [ 874, 933, 1 ], [ 874, 939, 2 ], [ 874, 942, 1 ], [ 875, 935, 2 ], [ 875, 943, 2 ], [ 876, 936, 1 ], [ 876, 949, 1 ], [ 877, 945, 2 ], [ 878, 950, 1 ], [ 879, 947, 1 ], [ 880, 948, 1 ], [ 881, 936, 1 ], [ 881, 944, 2 ], [ 881, 949, 2 ], [ 882, 946, 2 ], [ 882, 950, 2 ], [ 884, 935, 2 ], [ 884, 951, 1 ], [ 887, 940, 1 ], [ 887, 943, 1 ], [ 887, 951, 2 ], [ 889, 937, 2 ], [ 889, 953, 1 ], [ 891, 947, 2 ], [ 891, 954, 1 ], [ 893, 936, 1 ], [ 893, 944, 2 ], [ 893, 949, 1 ], [ 893, 952, 1 ], [ 894, 937, 2 ], [ 894, 953, 2 ], [ 895, 947, 2 ], [ 895, 954, 2 ], [ 897, 937, 2 ], [ 897, 953, 1 ], [ 901, 955, 2 ], [ 903, 956, 1 ], [ 905, 957, 1 ], [ 908, 955, 1 ], [ 908, 958, 1 ], [ 911, 941, 1 ], [ 911, 945, 1 ], [ 911, 955, 1 ], [ 911, 958, 2 ], [ 913, 947, 1 ], [ 913, 957, 1 ], [ 913, 960, 1 ], [ 915, 961, 1 ], [ 917, 946, 2 ], [ 917, 950, 1 ], [ 917, 959, 1 ], [ 918, 947, 1 ], [ 918, 957, 1 ], [ 918, 960, 2 ], [ 919, 961, 2 ], [ 921, 954, 1 ], [ 921, 957, 1 ], [ 921, 960, 1 ], [ 925, 962, 1 ], [ 928, 961, 1 ], [ 932, 963, 2 ], [ 934, 964, 1 ], [ 936, 965, 1 ], [ 939, 963, 1 ], [ 939, 966, 1 ], [ 942, 963, 1 ], [ 942, 966, 2 ], [ 944, 965, 1 ], [ 944, 968, 1 ], [ 946, 969, 1 ], [ 948, 967, 1 ], [ 949, 965, 1 ], [ 949, 968, 2 ], [ 950, 969, 2 ], [ 952, 965, 1 ], [ 952, 968, 1 ], [ 956, 970, 1 ], [ 959, 969, 1 ], [ 964, 971, 1 ] ]; A.tab[4] := [ [ 1, 8, 1 ], [ 2, 12, 1 ], [ 3, 16, 1 ], [ 4, 20, 1 ], [ 5, 23, 1 ], [ 6, 27, 1 ], [ 7, 31, 1 ], [ 8, 35, 1 ], [ 9, 38, 1 ], [ 10, 40, 1 ], [ 11, 44, 1 ], [ 12, 48, 1 ], [ 13, 51, 1 ], [ 14, 53, 1 ], [ 15, 54, 1 ], [ 16, 58, 1 ], [ 17, 61, 1 ], [ 18, 63, 1 ], [ 19, 64, 1 ], [ 21, 68, 1 ], [ 22, 72, 1 ], [ 23, 76, 1 ], [ 24, 79, 1 ], [ 25, 81, 1 ], [ 26, 85, 1 ], [ 27, 89, 1 ], [ 28, 92, 1 ], [ 29, 94, 1 ], [ 30, 95, 1 ], [ 31, 99, 1 ], [ 32, 102, 1 ], [ 33, 104, 1 ], [ 34, 105, 1 ], [ 36, 108, 1 ], [ 37, 110, 1 ], [ 38, 112, 1 ], [ 39, 116, 1 ], [ 40, 120, 1 ], [ 41, 123, 1 ], [ 42, 125, 1 ], [ 43, 126, 1 ], [ 44, 130, 1 ], [ 45, 133, 1 ], [ 46, 135, 1 ], [ 47, 136, 1 ], [ 49, 138, 1 ], [ 50, 140, 1 ], [ 51, 141, 1 ], [ 52, 143, 1 ], [ 53, 144, 1 ], [ 54, 148, 1 ], [ 55, 151, 1 ], [ 56, 153, 1 ], [ 57, 154, 1 ], [ 59, 155, 1 ], [ 60, 156, 1 ], [ 61, 157, 1 ], [ 62, 158, 1 ], [ 63, 159, 1 ], [ 64, 160, 1 ], [ 65, 163, 1 ], [ 66, 165, 1 ], [ 67, 169, 1 ], [ 68, 173, 1 ], [ 69, 176, 1 ], [ 70, 178, 1 ], [ 71, 179, 1 ], [ 72, 183, 1 ], [ 73, 186, 1 ], [ 74, 188, 1 ], [ 75, 189, 1 ], [ 77, 192, 1 ], [ 78, 194, 1 ], [ 79, 196, 1 ], [ 80, 200, 1 ], [ 81, 204, 1 ], [ 82, 207, 1 ], [ 83, 209, 1 ], [ 84, 210, 1 ], [ 85, 214, 1 ], [ 86, 217, 1 ], [ 87, 219, 1 ], [ 88, 220, 1 ], [ 90, 222, 1 ], [ 91, 224, 1 ], [ 92, 225, 1 ], [ 93, 227, 1 ], [ 94, 228, 1 ], [ 95, 232, 1 ], [ 96, 235, 1 ], [ 97, 237, 1 ], [ 98, 238, 1 ], [ 100, 239, 1 ], [ 101, 240, 1 ], [ 102, 241, 1 ], [ 103, 242, 1 ], [ 104, 243, 1 ], [ 105, 244, 1 ], [ 106, 246, 1 ], [ 107, 248, 1 ], [ 108, 250, 1 ], [ 109, 251, 1 ], [ 110, 253, 1 ], [ 111, 254, 1 ], [ 113, 257, 1 ], [ 114, 259, 1 ], [ 115, 260, 1 ], [ 116, 264, 1 ], [ 117, 267, 1 ], [ 118, 269, 1 ], [ 119, 270, 1 ], [ 121, 272, 1 ], [ 122, 274, 1 ], [ 123, 275, 1 ], [ 124, 277, 1 ], [ 125, 278, 1 ], [ 126, 282, 1 ], [ 127, 285, 1 ], [ 128, 287, 1 ], [ 129, 288, 1 ], [ 131, 289, 1 ], [ 132, 290, 1 ], [ 133, 291, 1 ], [ 134, 292, 1 ], [ 135, 293, 1 ], [ 136, 294, 1 ], [ 137, 296, 1 ], [ 138, 297, 1 ], [ 139, 298, 1 ], [ 140, 299, 1 ], [ 142, 300, 1 ], [ 143, 301, 1 ], [ 145, 304, 1 ], [ 146, 306, 1 ], [ 147, 307, 1 ], [ 149, 308, 1 ], [ 150, 309, 1 ], [ 151, 310, 1 ], [ 152, 311, 1 ], [ 153, 312, 1 ], [ 154, 313, 1 ], [ 155, 314, 1 ], [ 156, 315, 1 ], [ 158, 316, 1 ], [ 161, 319, 1 ], [ 162, 321, 1 ], [ 163, 323, 1 ], [ 164, 327, 1 ], [ 165, 331, 1 ], [ 166, 334, 1 ], [ 167, 336, 1 ], [ 168, 337, 1 ], [ 169, 341, 1 ], [ 170, 344, 1 ], [ 171, 346, 1 ], [ 172, 347, 1 ], [ 174, 349, 1 ], [ 175, 351, 1 ], [ 176, 352, 1 ], [ 177, 354, 1 ], [ 178, 355, 1 ], [ 179, 359, 1 ], [ 180, 362, 1 ], [ 181, 364, 1 ], [ 182, 365, 1 ], [ 184, 366, 1 ], [ 185, 367, 1 ], [ 186, 368, 1 ], [ 187, 369, 1 ], [ 188, 370, 1 ], [ 189, 371, 1 ], [ 190, 373, 1 ], [ 191, 375, 1 ], [ 192, 377, 1 ], [ 193, 378, 1 ], [ 194, 380, 1 ], [ 195, 381, 1 ], [ 197, 384, 1 ], [ 198, 386, 1 ], [ 199, 387, 1 ], [ 200, 391, 1 ], [ 201, 394, 1 ], [ 202, 396, 1 ], [ 203, 397, 1 ], [ 205, 399, 1 ], [ 206, 401, 1 ], [ 207, 402, 1 ], [ 208, 404, 1 ], [ 209, 405, 1 ], [ 210, 409, 1 ], [ 211, 412, 1 ], [ 212, 414, 1 ], [ 213, 415, 1 ], [ 215, 416, 1 ], [ 216, 417, 1 ], [ 217, 418, 1 ], [ 218, 419, 1 ], [ 219, 420, 1 ], [ 220, 421, 1 ], [ 221, 423, 1 ], [ 222, 424, 1 ], [ 223, 425, 1 ], [ 224, 426, 1 ], [ 226, 427, 1 ], [ 227, 428, 1 ], [ 229, 431, 1 ], [ 230, 433, 1 ], [ 231, 434, 1 ], [ 233, 435, 1 ], [ 234, 436, 1 ], [ 235, 437, 1 ], [ 236, 438, 1 ], [ 237, 439, 1 ], [ 238, 440, 1 ], [ 239, 441, 1 ], [ 240, 442, 1 ], [ 242, 443, 1 ], [ 245, 445, 1 ], [ 246, 447, 1 ], [ 247, 448, 1 ], [ 248, 450, 1 ], [ 249, 451, 1 ], [ 251, 453, 1 ], [ 252, 454, 1 ], [ 254, 455, 1 ], [ 255, 457, 1 ], [ 256, 459, 1 ], [ 257, 460, 1 ], [ 258, 462, 1 ], [ 259, 463, 1 ], [ 260, 467, 1 ], [ 261, 470, 1 ], [ 262, 472, 1 ], [ 263, 473, 1 ], [ 265, 474, 1 ], [ 266, 475, 1 ], [ 267, 476, 1 ], [ 268, 477, 1 ], [ 269, 478, 1 ], [ 270, 479, 1 ], [ 271, 481, 1 ], [ 272, 482, 1 ], [ 273, 483, 1 ], [ 274, 484, 1 ], [ 276, 485, 1 ], [ 277, 486, 1 ], [ 279, 489, 1 ], [ 280, 491, 1 ], [ 281, 492, 1 ], [ 283, 493, 1 ], [ 284, 494, 1 ], [ 285, 495, 1 ], [ 286, 496, 1 ], [ 287, 497, 1 ], [ 288, 498, 1 ], [ 289, 499, 1 ], [ 290, 500, 1 ], [ 292, 501, 1 ], [ 295, 502, 1 ], [ 296, 503, 1 ], [ 298, 504, 1 ], [ 300, 505, 1 ], [ 302, 506, 1 ], [ 303, 507, 1 ], [ 304, 508, 1 ], [ 305, 509, 1 ], [ 306, 510, 1 ], [ 307, 511, 1 ], [ 308, 512, 1 ], [ 309, 513, 1 ], [ 311, 514, 1 ], [ 317, 516, 1 ], [ 318, 518, 1 ], [ 319, 520, 1 ], [ 320, 521, 1 ], [ 321, 523, 1 ], [ 322, 524, 1 ], [ 324, 527, 1 ], [ 325, 529, 1 ], [ 326, 530, 1 ], [ 327, 534, 1 ], [ 328, 537, 1 ], [ 329, 539, 1 ], [ 330, 540, 1 ], [ 332, 542, 1 ], [ 333, 544, 1 ], [ 334, 545, 1 ], [ 335, 547, 1 ], [ 336, 548, 1 ], [ 337, 552, 1 ], [ 338, 555, 1 ], [ 339, 557, 1 ], [ 340, 558, 1 ], [ 342, 559, 1 ], [ 343, 560, 1 ], [ 344, 561, 1 ], [ 345, 562, 1 ], [ 346, 563, 1 ], [ 347, 564, 1 ], [ 348, 566, 1 ], [ 349, 567, 1 ], [ 350, 568, 1 ], [ 351, 569, 1 ], [ 353, 570, 1 ], [ 354, 571, 1 ], [ 356, 574, 1 ], [ 357, 576, 1 ], [ 358, 577, 1 ], [ 360, 578, 1 ], [ 361, 579, 1 ], [ 362, 580, 1 ], [ 363, 581, 1 ], [ 364, 582, 1 ], [ 365, 583, 1 ], [ 366, 584, 1 ], [ 367, 585, 1 ], [ 369, 586, 1 ], [ 372, 588, 1 ], [ 373, 590, 1 ], [ 374, 591, 1 ], [ 375, 593, 1 ], [ 376, 594, 1 ], [ 378, 596, 1 ], [ 379, 597, 1 ], [ 381, 598, 1 ], [ 382, 600, 1 ], [ 383, 602, 1 ], [ 384, 603, 1 ], [ 385, 605, 1 ], [ 386, 606, 1 ], [ 387, 610, 1 ], [ 388, 613, 1 ], [ 389, 615, 1 ], [ 390, 616, 1 ], [ 392, 617, 1 ], [ 393, 618, 1 ], [ 394, 619, 1 ], [ 395, 620, 1 ], [ 396, 621, 1 ], [ 397, 622, 1 ], [ 398, 624, 1 ], [ 399, 625, 1 ], [ 400, 626, 1 ], [ 401, 627, 1 ], [ 403, 628, 1 ], [ 404, 629, 1 ], [ 406, 632, 1 ], [ 407, 634, 1 ], [ 408, 635, 1 ], [ 410, 636, 1 ], [ 411, 637, 1 ], [ 412, 638, 1 ], [ 413, 639, 1 ], [ 414, 640, 1 ], [ 415, 641, 1 ], [ 416, 642, 1 ], [ 417, 643, 1 ], [ 419, 644, 1 ], [ 422, 645, 1 ], [ 423, 646, 1 ], [ 425, 647, 1 ], [ 427, 648, 1 ], [ 429, 649, 1 ], [ 430, 650, 1 ], [ 431, 651, 1 ], [ 432, 652, 1 ], [ 433, 653, 1 ], [ 434, 654, 1 ], [ 435, 655, 1 ], [ 436, 656, 1 ], [ 438, 657, 1 ], [ 444, 658, 1 ], [ 445, 660, 1 ], [ 446, 661, 1 ], [ 448, 663, 1 ], [ 449, 664, 1 ], [ 451, 665, 1 ], [ 452, 666, 1 ], [ 454, 667, 1 ], [ 456, 669, 1 ], [ 457, 670, 1 ], [ 458, 671, 1 ], [ 459, 672, 1 ], [ 461, 673, 1 ], [ 462, 674, 1 ], [ 464, 677, 1 ], [ 465, 679, 1 ], [ 466, 680, 1 ], [ 468, 681, 1 ], [ 469, 682, 1 ], [ 470, 683, 1 ], [ 471, 684, 1 ], [ 472, 685, 1 ], [ 473, 686, 1 ], [ 474, 687, 1 ], [ 475, 688, 1 ], [ 477, 689, 1 ], [ 480, 690, 1 ], [ 481, 691, 1 ], [ 483, 692, 1 ], [ 485, 693, 1 ], [ 487, 694, 1 ], [ 488, 695, 1 ], [ 489, 696, 1 ], [ 490, 697, 1 ], [ 491, 698, 1 ], [ 492, 699, 1 ], [ 493, 700, 1 ], [ 494, 701, 1 ], [ 496, 702, 1 ], [ 502, 703, 1 ], [ 506, 704, 1 ], [ 507, 705, 1 ], [ 509, 706, 1 ], [ 515, 708, 1 ], [ 516, 710, 1 ], [ 517, 711, 1 ], [ 518, 713, 1 ], [ 519, 714, 1 ], [ 521, 716, 1 ], [ 522, 717, 1 ], [ 524, 718, 1 ], [ 525, 720, 1 ], [ 526, 722, 1 ], [ 527, 723, 1 ], [ 528, 725, 1 ], [ 529, 726, 1 ], [ 530, 730, 1 ], [ 531, 733, 1 ], [ 532, 735, 1 ], [ 533, 736, 1 ], [ 535, 737, 1 ], [ 536, 738, 1 ], [ 537, 739, 1 ], [ 538, 740, 1 ], [ 539, 741, 1 ], [ 540, 742, 1 ], [ 541, 744, 1 ], [ 542, 745, 1 ], [ 543, 746, 1 ], [ 544, 747, 1 ], [ 546, 748, 1 ], [ 547, 749, 1 ], [ 549, 752, 1 ], [ 550, 754, 1 ], [ 551, 755, 1 ], [ 553, 756, 1 ], [ 554, 757, 1 ], [ 555, 758, 1 ], [ 556, 759, 1 ], [ 557, 760, 1 ], [ 558, 761, 1 ], [ 559, 762, 1 ], [ 560, 763, 1 ], [ 562, 764, 1 ], [ 565, 765, 1 ], [ 566, 766, 1 ], [ 568, 767, 1 ], [ 570, 768, 1 ], [ 572, 769, 1 ], [ 573, 770, 1 ], [ 574, 771, 1 ], [ 575, 772, 1 ], [ 576, 773, 1 ], [ 577, 774, 1 ], [ 578, 775, 1 ], [ 579, 776, 1 ], [ 581, 777, 1 ], [ 587, 778, 1 ], [ 588, 780, 1 ], [ 589, 781, 1 ], [ 591, 783, 1 ], [ 592, 784, 1 ], [ 594, 785, 1 ], [ 595, 786, 1 ], [ 597, 787, 1 ], [ 599, 789, 1 ], [ 600, 790, 1 ], [ 601, 791, 1 ], [ 602, 792, 1 ], [ 604, 793, 1 ], [ 605, 794, 1 ], [ 607, 797, 1 ], [ 608, 799, 1 ], [ 609, 800, 1 ], [ 611, 801, 1 ], [ 612, 802, 1 ], [ 613, 803, 1 ], [ 614, 804, 1 ], [ 615, 805, 1 ], [ 616, 806, 1 ], [ 617, 807, 1 ], [ 618, 808, 1 ], [ 620, 809, 1 ], [ 623, 810, 1 ], [ 624, 811, 1 ], [ 626, 812, 1 ], [ 628, 813, 1 ], [ 630, 814, 1 ], [ 631, 815, 1 ], [ 632, 816, 1 ], [ 633, 817, 1 ], [ 634, 818, 1 ], [ 635, 819, 1 ], [ 636, 820, 1 ], [ 637, 821, 1 ], [ 639, 822, 1 ], [ 645, 823, 1 ], [ 649, 824, 1 ], [ 650, 825, 1 ], [ 652, 826, 1 ], [ 658, 828, 1 ], [ 659, 829, 1 ], [ 661, 830, 1 ], [ 662, 831, 1 ], [ 664, 832, 1 ], [ 666, 833, 1 ], [ 668, 834, 1 ], [ 669, 835, 1 ], [ 671, 836, 1 ], [ 673, 837, 1 ], [ 675, 838, 1 ], [ 676, 839, 1 ], [ 677, 840, 1 ], [ 678, 841, 1 ], [ 679, 842, 1 ], [ 680, 843, 1 ], [ 681, 844, 1 ], [ 682, 845, 1 ], [ 684, 846, 1 ], [ 690, 847, 1 ], [ 694, 848, 1 ], [ 695, 849, 1 ], [ 697, 850, 1 ], [ 707, 851, 1 ], [ 708, 853, 1 ], [ 709, 854, 1 ], [ 711, 856, 1 ], [ 712, 857, 1 ], [ 714, 858, 1 ], [ 715, 859, 1 ], [ 717, 860, 1 ], [ 719, 862, 1 ], [ 720, 863, 1 ], [ 721, 864, 1 ], [ 722, 865, 1 ], [ 724, 866, 1 ], [ 725, 867, 1 ], [ 727, 870, 1 ], [ 728, 872, 1 ], [ 729, 873, 1 ], [ 731, 874, 1 ], [ 732, 875, 1 ], [ 733, 876, 1 ], [ 734, 877, 1 ], [ 735, 878, 1 ], [ 736, 879, 1 ], [ 737, 880, 1 ], [ 738, 881, 1 ], [ 740, 882, 1 ], [ 743, 883, 1 ], [ 744, 884, 1 ], [ 746, 885, 1 ], [ 748, 886, 1 ], [ 750, 887, 1 ], [ 751, 888, 1 ], [ 752, 889, 1 ], [ 753, 890, 1 ], [ 754, 891, 1 ], [ 755, 892, 1 ], [ 756, 893, 1 ], [ 757, 894, 1 ], [ 759, 895, 1 ], [ 765, 896, 1 ], [ 769, 897, 1 ], [ 770, 898, 1 ], [ 772, 899, 1 ], [ 778, 901, 1 ], [ 779, 902, 1 ], [ 781, 903, 1 ], [ 782, 904, 1 ], [ 784, 905, 1 ], [ 786, 906, 1 ], [ 788, 907, 1 ], [ 789, 908, 1 ], [ 791, 909, 1 ], [ 793, 910, 1 ], [ 795, 911, 1 ], [ 796, 912, 1 ], [ 797, 913, 1 ], [ 798, 914, 1 ], [ 799, 915, 1 ], [ 800, 916, 1 ], [ 801, 917, 1 ], [ 802, 918, 1 ], [ 804, 919, 1 ], [ 810, 920, 1 ], [ 814, 921, 1 ], [ 815, 922, 1 ], [ 817, 923, 1 ], [ 827, 924, 1 ], [ 829, 925, 1 ], [ 831, 926, 1 ], [ 834, 927, 1 ], [ 838, 928, 1 ], [ 839, 929, 1 ], [ 841, 930, 1 ], [ 851, 932, 1 ], [ 852, 933, 1 ], [ 854, 934, 1 ], [ 855, 935, 1 ], [ 857, 936, 1 ], [ 859, 937, 1 ], [ 861, 938, 1 ], [ 862, 939, 1 ], [ 864, 940, 1 ], [ 866, 941, 1 ], [ 868, 942, 1 ], [ 869, 943, 1 ], [ 870, 944, 1 ], [ 871, 945, 1 ], [ 872, 946, 1 ], [ 873, 947, 1 ], [ 874, 948, 1 ], [ 875, 949, 1 ], [ 877, 950, 1 ], [ 883, 951, 1 ], [ 887, 952, 1 ], [ 888, 953, 1 ], [ 890, 954, 1 ], [ 900, 955, 1 ], [ 902, 956, 1 ], [ 904, 957, 1 ], [ 907, 958, 1 ], [ 911, 959, 1 ], [ 912, 960, 1 ], [ 914, 961, 1 ], [ 924, 962, 1 ], [ 931, 963, 1 ], [ 933, 964, 1 ], [ 935, 965, 1 ], [ 938, 966, 1 ], [ 942, 967, 1 ], [ 943, 968, 1 ], [ 945, 969, 1 ], [ 955, 970, 1 ], [ 963, 971, 1 ] ]; for i in [1..A.rnk] do A.tab[i] := ListToMat(A.tab[i],A.dim,A.fld); od; return A; end ); [0.215QuellennavigatorsProjekt 2026-06-05] |
2026-07-09