# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename apex2_101.pla --realname apex2_101.real # Based on the approach proposed in R. Wille and R. Drechsler. BDD-based synthesis of reversible logic for large functions. In Design Automation Conf., pages 270-275, 2009. .version 2.0 .numvars 498 .variables x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449 x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 x481 x482 x483 x484 x485 x486 x487 x488 x489 x490 x491 x492 x493 x494 x495 x496 x497 .inputs x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 0 1 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 .outputs g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g f0 g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g f1 g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g f2 .constants ---------------------------------------011100000001000001100000000100000000000000001000001000010000000000010000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000010000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001000000000000000001000000001000010000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 .garbage 11111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111-111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111-1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111- .begin t2 x26 x39 t3 x24 x26 x39 t2 x24 x39 t3 x35 x39 x40 t2 x39 x40 t3 x34 x40 x41 t2 x40 x41 t3 x22 x41 x42 t2 x22 x42 t2 x42 x43 t3 x21 x41 x43 t3 x21 x42 x43 t2 x43 x44 t3 x20 x41 x44 t3 x20 x43 x44 t2 x41 x45 t3 x21 x42 x45 t3 x21 x41 x45 t2 x42 x45 t3 x20 x45 x42 t2 x42 x46 t3 x33 x44 x46 t3 x33 x42 x46 t2 x35 x47 t3 x35 x39 x47 t2 x39 x47 t2 x34 x48 t3 x34 x47 x48 t2 x47 x48 t2 x41 x49 t3 x7 x48 x49 t3 x7 x41 x49 t3 x36 x49 x50 t2 x36 x50 t2 x50 x51 t3 x33 x41 x51 t3 x33 x50 x51 t2 x51 x52 t3 x29 x46 x52 t3 x29 x51 x52 t2 x42 x46 t3 x25 x46 x42 t2 x50 x51 t3 x25 x51 x50 t2 x50 x42 t3 x29 x42 x50 t2 x50 x52 t3 x14 x52 x50 t2 x32 x53 t3 x32 x50 x53 t2 x50 x53 t2 x31 x54 t3 x31 x53 x54 t2 x53 x54 t2 x30 x55 t3 x30 x54 x55 t2 x54 x55 t2 x34 x56 t2 x40 x56 t3 x24 x34 x56 t3 x34 x40 x56 t3 x22 x56 x57 t2 x22 x57 t2 x57 x58 t3 x21 x56 x58 t3 x21 x57 x58 t2 x58 x59 t3 x20 x56 x59 t3 x20 x58 x59 t2 x56 x60 t3 x21 x57 x60 t3 x21 x56 x60 t2 x57 x61 t3 x20 x60 x61 t3 x20 x57 x61 t2 x61 x62 t3 x33 x59 x62 t3 x33 x61 x62 t2 x35 x63 t3 x24 x35 x63 t2 x24 x63 t2 x47 x64 t3 x34 x63 x64 t3 x34 x47 x64 t2 x56 x65 t3 x7 x64 x65 t3 x7 x56 x65 t3 x36 x65 x66 t2 x36 x66 t2 x66 x67 t3 x33 x56 x67 t3 x33 x66 x67 t2 x67 x68 t3 x29 x62 x68 t3 x29 x67 x68 t2 x61 x69 t3 x25 x62 x69 t3 x25 x61 x69 t2 x66 x70 t3 x25 x67 x70 t3 x25 x66 x70 t2 x70 x71 t3 x29 x69 x71 t3 x29 x70 x71 t2 x71 x72 t3 x14 x68 x72 t3 x14 x71 x72 t2 x32 x73 t3 x32 x72 x73 t2 x72 x73 t2 x31 x74 t3 x31 x73 x74 t2 x73 x74 t2 x30 x75 t3 x30 x74 x75 t2 x74 x75 t2 x39 x76 t3 x22 x56 x76 t3 x22 x39 x76 t2 x76 x77 t3 x21 x56 x77 t3 x21 x76 x77 t2 x77 x78 t3 x20 x56 x78 t3 x20 x77 x78 t2 x76 x79 t3 x21 x57 x79 t3 x21 x76 x79 t2 x79 x80 t3 x20 x60 x80 t3 x20 x79 x80 t2 x61 x81 t3 x0 x80 x81 t3 x0 x61 x81 t2 x81 x82 t3 x33 x78 x82 t3 x33 x81 x82 t3 x33 x56 x83 t2 x33 x83 t2 x83 x84 t3 x29 x82 x84 t3 x29 x83 x84 t2 x13 x85 t3 x13 x84 x85 t2 x84 x85 t2 x81 x86 t3 x7 x78 x86 t3 x7 x81 x86 t2 x86 x87 t3 x33 x78 x87 t3 x33 x86 x87 t2 x86 x88 t3 x25 x87 x88 t3 x25 x86 x88 t3 x7 x56 x89 t2 x7 x89 t2 x89 x90 t3 x33 x56 x90 t3 x33 x89 x90 t2 x89 x91 t3 x25 x90 x91 t3 x25 x89 x91 t2 x91 x92 t3 x29 x88 x92 t3 x29 x91 x92 t2 x81 x93 t3 x25 x82 x93 t3 x25 x81 x93 t3 x25 x83 x94 t2 x25 x94 t2 x94 x95 t3 x29 x93 x95 t3 x29 x94 x95 t2 x95 x96 t3 x13 x92 x96 t3 x13 x95 x96 t2 x96 x97 t3 x14 x85 x97 t3 x14 x96 x97 t2 x90 x98 t3 x29 x87 x98 t3 x29 x90 x98 t2 x13 x99 t3 x13 x98 x99 t2 x98 x99 t2 x92 x100 t3 x14 x99 x100 t3 x14 x92 x100 t2 x100 x101 t3 x11 x97 x101 t3 x11 x100 x101 t2 x101 x97 t3 x19 x97 x101 t2 x95 x102 t3 x14 x85 x102 t3 x14 x95 x102 t2 x102 x103 t3 x10 x101 x103 t3 x10 x102 x103 t2 x102 x104 t3 x31 x103 x104 t3 x31 x102 x104 t2 x7 x105 t3 x7 x56 x105 t2 x56 x105 t3 x36 x105 x106 t2 x36 x106 t2 x106 x107 t3 x33 x56 x107 t3 x33 x106 x107 t2 x107 x108 t3 x29 x82 x108 t3 x29 x107 x108 t2 x13 x109 t3 x13 x108 x109 t2 x108 x109 t2 x89 x110 t3 x36 x56 x110 t3 x36 x89 x110 t2 x110 x111 t3 x33 x56 x111 t3 x33 x110 x111 t2 x110 x112 t3 x25 x111 x112 t3 x25 x110 x112 t2 x112 x113 t3 x29 x88 x113 t3 x29 x112 x113 t2 x106 x114 t3 x25 x107 x114 t3 x25 x106 x114 t2 x114 x115 t3 x29 x93 x115 t3 x29 x114 x115 t2 x115 x116 t3 x13 x113 x116 t3 x13 x115 x116 t2 x116 x117 t3 x14 x109 x117 t3 x14 x116 x117 t2 x111 x118 t3 x29 x87 x118 t3 x29 x111 x118 t2 x13 x119 t3 x13 x118 x119 t2 x118 x119 t2 x113 x120 t3 x14 x119 x120 t3 x14 x113 x120 t2 x120 x121 t3 x11 x117 x121 t3 x11 x120 x121 t2 x121 x117 t3 x19 x117 x121 t2 x121 x122 t3 x8 x101 x122 t3 x8 x121 x122 t2 x121 x122 t3 x32 x122 x121 t2 x115 x109 t3 x14 x109 x115 t2 x115 x123 t3 x8 x102 x123 t3 x8 x115 x123 t2 x115 x123 t3 x32 x123 x115 t2 x115 x124 t3 x10 x121 x124 t3 x10 x115 x124 t2 x67 x125 t3 x29 x82 x125 t3 x29 x67 x125 t2 x13 x126 t3 x13 x125 x126 t2 x125 x126 t2 x70 x127 t3 x29 x93 x127 t3 x29 x70 x127 t2 x127 x128 t3 x14 x126 x128 t3 x14 x127 x128 t2 x128 x129 t3 x8 x102 x129 t3 x8 x128 x129 t2 x125 x130 t3 x13 x68 x130 t3 x13 x125 x130 t2 x127 x131 t3 x14 x130 x131 t3 x14 x127 x131 t2 x131 x129 t3 x32 x129 x131 t2 x131 x132 t3 x31 x124 x132 t3 x31 x131 x132 t2 x132 x133 t3 x30 x104 x133 t3 x30 x132 x133 t2 x80 x134 t3 x7 x78 x134 t3 x7 x80 x134 t2 x134 x135 t3 x33 x78 x135 t3 x33 x134 x135 t2 x134 x136 t3 x25 x135 x136 t3 x25 x134 x136 t2 x91 x137 t3 x29 x136 x137 t3 x29 x91 x137 t2 x92 x138 t3 x13 x137 x138 t3 x13 x92 x138 t2 x138 x139 t3 x14 x99 x139 t3 x14 x138 x139 t2 x90 x140 t3 x29 x135 x140 t3 x29 x90 x140 t2 x13 x141 t3 x13 x140 x141 t2 x140 x141 t2 x137 x142 t3 x14 x141 x142 t3 x14 x137 x142 t2 x142 x143 t3 x11 x139 x143 t3 x11 x142 x143 t2 x143 x139 t3 x19 x139 x143 t2 x142 x144 t3 x10 x143 x144 t3 x10 x142 x144 t2 x80 x145 t3 x33 x78 x145 t3 x33 x80 x145 t2 x80 x146 t3 x25 x145 x146 t3 x25 x80 x146 t2 x94 x147 t3 x29 x146 x147 t3 x29 x94 x147 t2 x95 x148 t3 x13 x147 x148 t3 x13 x95 x148 t2 x148 x149 t3 x14 x85 x149 t3 x14 x148 x149 t2 x83 x150 t3 x29 x145 x150 t3 x29 x83 x150 t2 x13 x151 t3 x13 x150 x151 t2 x150 x151 t2 x147 x152 t3 x14 x151 x152 t3 x14 x147 x152 t2 x152 x153 t3 x11 x149 x153 t3 x11 x152 x153 t2 x153 x149 t3 x19 x149 x153 t2 x152 x154 t3 x10 x153 x154 t3 x10 x152 x154 t2 x154 x144 t3 x31 x144 x154 t2 x112 x155 t3 x29 x136 x155 t3 x29 x112 x155 t2 x113 x156 t3 x13 x155 x156 t3 x13 x113 x156 t2 x156 x119 t3 x14 x119 x156 t2 x111 x157 t3 x29 x135 x157 t3 x29 x111 x157 t2 x13 x158 t3 x13 x157 x158 t2 x157 x158 t2 x155 x159 t3 x14 x158 x159 t3 x14 x155 x159 t2 x159 x160 t3 x11 x156 x160 t3 x11 x159 x160 t2 x160 x156 t3 x19 x156 x160 t2 x160 x161 t3 x8 x143 x161 t3 x8 x160 x161 t2 x160 x161 t3 x32 x161 x160 t2 x159 x162 t3 x8 x142 x162 t3 x8 x159 x162 t2 x159 x163 t3 x32 x162 x163 t3 x32 x159 x163 t2 x163 x164 t3 x10 x160 x164 t3 x10 x163 x164 t2 x70 x165 t3 x29 x146 x165 t3 x29 x70 x165 t2 x127 x166 t3 x13 x165 x166 t3 x13 x127 x166 t2 x166 x167 t3 x14 x126 x167 t3 x14 x166 x167 t2 x67 x168 t3 x29 x145 x168 t3 x29 x67 x168 t2 x13 x169 t3 x13 x168 x169 t2 x168 x169 t2 x165 x170 t3 x14 x169 x170 t3 x14 x165 x170 t2 x170 x171 t3 x11 x167 x171 t3 x11 x170 x171 t2 x171 x167 t3 x19 x167 x171 t2 x171 x153 t3 x8 x153 x171 t2 x166 x130 t3 x14 x130 x166 t2 x168 x172 t3 x13 x68 x172 t3 x13 x168 x172 t2 x165 x172 t3 x14 x172 x165 t2 x165 x173 t3 x11 x166 x173 t3 x11 x165 x173 t2 x173 x166 t3 x19 x166 x173 t2 x173 x171 t3 x32 x171 x173 t2 x170 x174 t3 x8 x152 x174 t3 x8 x170 x174 t2 x165 x174 t3 x32 x174 x165 t2 x165 x175 t3 x10 x173 x175 t3 x10 x165 x175 t2 x175 x164 t3 x31 x164 x175 t2 x175 x154 t3 x30 x154 x175 t2 x175 x133 t3 x9 x133 x175 t2 x175 x176 t3 x17 x75 x176 t3 x17 x175 x176 t2 x147 x137 t3 x13 x137 x147 t2 x147 x151 t3 x14 x151 x147 t2 x142 x177 t3 x11 x147 x177 t3 x11 x142 x177 t2 x177 x147 t3 x19 x147 x177 t2 x152 x178 t3 x10 x177 x178 t3 x10 x152 x178 t2 x152 x179 t3 x31 x178 x179 t3 x31 x152 x179 t2 x107 x180 t3 x29 x145 x180 t3 x29 x107 x180 t2 x13 x181 t3 x13 x180 x181 t2 x180 x181 t2 x114 x182 t3 x29 x146 x182 t3 x29 x114 x182 t2 x182 x183 t3 x13 x155 x183 t3 x13 x182 x183 t2 x183 x184 t3 x14 x181 x184 t3 x14 x183 x184 t2 x159 x185 t3 x11 x184 x185 t3 x11 x159 x185 t2 x185 x184 t3 x19 x184 x185 t2 x185 x186 t3 x8 x177 x186 t3 x8 x185 x186 t2 x185 x186 t3 x32 x186 x185 t2 x182 x181 t3 x14 x181 x182 t2 x182 x187 t3 x8 x152 x187 t3 x8 x182 x187 t2 x182 x187 t3 x32 x187 x182 t2 x182 x188 t3 x10 x185 x188 t3 x10 x182 x188 t2 x165 x189 t3 x31 x188 x189 t3 x31 x165 x189 t2 x189 x179 t3 x30 x179 x189 t2 x152 x190 t3 x31 x142 x190 t3 x31 x152 x190 t2 x165 x191 t3 x31 x163 x191 t3 x31 x165 x191 t2 x191 x190 t3 x30 x190 x191 t2 x191 x192 t3 x9 x189 x192 t3 x9 x191 x192 t2 x192 x176 t3 x12 x176 x192 t2 x102 x193 t3 x10 x100 x193 t3 x10 x102 x193 t2 x102 x194 t3 x31 x193 x194 t3 x31 x102 x194 t2 x120 x195 t3 x8 x100 x195 t3 x8 x120 x195 t2 x120 x195 t3 x32 x195 x120 t2 x115 x120 t3 x10 x120 x115 t2 x131 x115 t3 x31 x115 x131 t2 x131 x196 t3 x30 x194 x196 t3 x30 x131 x196 t2 x191 x197 t3 x9 x196 x197 t3 x9 x191 x197 t2 x197 x198 t3 x17 x75 x198 t3 x17 x197 x198 t2 x152 x199 t3 x10 x142 x199 t3 x10 x152 x199 t2 x152 x199 t3 x31 x199 x152 t2 x182 x163 t3 x10 x163 x182 t2 x165 x182 t3 x31 x182 x165 t2 x165 x152 t3 x30 x152 x165 t2 x191 x165 t3 x9 x165 x191 t2 x191 x198 t3 x12 x198 x191 t2 x192 x200 t3 x3 x191 x200 t3 x3 x192 x200 t2 x200 x192 t3 x18 x192 x200 t2 x80 x201 t3 x7 x81 x201 t3 x7 x80 x201 t2 x81 x202 t3 x36 x201 x202 t3 x36 x81 x202 t2 x202 x203 t3 x33 x78 x203 t3 x33 x202 x203 t2 x107 x204 t3 x29 x203 x204 t3 x29 x107 x204 t2 x13 x205 t3 x13 x204 x205 t2 x204 x205 t2 x86 x134 t3 x36 x134 x86 t2 x86 x206 t3 x33 x78 x206 t3 x33 x86 x206 t2 x86 x207 t3 x25 x206 x207 t3 x25 x86 x207 t2 x112 x207 t3 x29 x207 x112 t2 x202 x203 t3 x25 x203 x202 t2 x114 x202 t3 x29 x202 x114 t2 x114 x208 t3 x13 x112 x208 t3 x13 x114 x208 t2 x208 x209 t3 x14 x205 x209 t3 x14 x208 x209 t2 x111 x206 t3 x29 x206 x111 t2 x13 x210 t3 x13 x111 x210 t2 x111 x210 t2 x112 x211 t3 x14 x210 x211 t3 x14 x112 x211 t2 x211 x212 t3 x11 x209 x212 t3 x11 x211 x212 t2 x212 x209 t3 x19 x209 x212 t2 x212 x213 t3 x8 x101 x213 t3 x8 x212 x213 t2 x212 x213 t3 x32 x213 x212 t2 x114 x205 t3 x14 x205 x114 t2 x114 x214 t3 x8 x102 x214 t3 x8 x114 x214 t2 x114 x214 t3 x32 x214 x114 t2 x114 x215 t3 x10 x212 x215 t3 x10 x114 x215 t2 x47 x216 t3 x22 x56 x216 t3 x22 x47 x216 t2 x216 x217 t3 x21 x57 x217 t3 x21 x216 x217 t2 x217 x60 t3 x20 x60 x217 t2 x217 x218 t3 x0 x80 x218 t3 x0 x217 x218 t2 x80 x218 t3 x7 x218 x80 t2 x81 x80 t3 x36 x80 x81 t2 x81 x219 t3 x33 x78 x219 t3 x33 x81 x219 t2 x67 x220 t3 x29 x219 x220 t3 x29 x67 x220 t2 x13 x221 t3 x13 x220 x221 t2 x220 x221 t2 x81 x219 t3 x25 x219 x81 t2 x70 x81 t3 x29 x81 x70 t2 x70 x222 t3 x14 x221 x222 t3 x14 x70 x222 t2 x222 x223 t3 x8 x102 x223 t3 x8 x222 x223 t2 x220 x68 t3 x13 x68 x220 t2 x70 x224 t3 x14 x220 x224 t3 x14 x70 x224 t2 x224 x225 t3 x32 x223 x225 t3 x32 x224 x225 t2 x225 x226 t3 x31 x215 x226 t3 x31 x225 x226 t2 x226 x227 t3 x30 x104 x227 t3 x30 x226 x227 t2 x102 x228 t3 x31 x100 x228 t3 x31 x102 x228 t2 x211 x229 t3 x8 x100 x229 t3 x8 x211 x229 t2 x211 x230 t3 x32 x229 x230 t3 x32 x211 x230 t2 x225 x231 t3 x31 x230 x231 t3 x31 x225 x231 t2 x231 x232 t3 x30 x228 x232 t3 x30 x231 x232 t2 x232 x233 t3 x9 x227 x233 t3 x9 x232 x233 t2 x233 x234 t3 x17 x75 x234 t3 x17 x233 x234 t2 x233 x234 t3 x12 x234 x233 t2 x114 x235 t3 x10 x230 x235 t3 x10 x114 x235 t2 x225 x236 t3 x31 x235 x236 t3 x31 x225 x236 t2 x236 x237 t3 x30 x194 x237 t3 x30 x236 x237 t2 x232 x238 t3 x9 x237 x238 t3 x9 x232 x238 t2 x238 x239 t3 x17 x75 x239 t3 x17 x238 x239 t2 x238 x239 t3 x12 x239 x238 t2 x233 x240 t3 x3 x238 x240 t3 x3 x233 x240 t2 x240 x233 t3 x18 x233 x240 t2 x92 x112 t3 x13 x112 x92 t2 x92 x99 t3 x14 x99 x92 t2 x211 x241 t3 x11 x92 x241 t3 x11 x211 x241 t2 x241 x92 t3 x19 x92 x241 t2 x241 x242 t3 x8 x100 x242 t3 x8 x241 x242 t2 x241 x242 t3 x32 x242 x241 t2 x230 x243 t3 x10 x241 x243 t3 x10 x230 x243 t2 x95 x70 t3 x13 x70 x95 t2 x95 x85 t3 x14 x85 x95 t2 x222 x244 t3 x11 x95 x244 t3 x11 x222 x244 t2 x244 x95 t3 x19 x95 x244 t2 x244 x245 t3 x8 x102 x245 t3 x8 x244 x245 t2 x244 x245 t3 x32 x245 x244 t2 x222 x223 t3 x32 x223 x222 t2 x222 x246 t3 x10 x244 x246 t3 x10 x222 x246 t2 x246 x243 t3 x31 x243 x246 t2 x231 x247 t3 x30 x246 x247 t3 x30 x231 x247 t2 x247 x227 t3 x9 x227 x247 t2 x222 x248 t3 x31 x215 x248 t3 x31 x222 x248 t2 x226 x248 t3 x30 x248 x226 t2 x222 x249 t3 x31 x230 x249 t3 x31 x222 x249 t2 x231 x249 t3 x30 x249 x231 t2 x231 x250 t3 x9 x226 x250 t3 x9 x231 x250 t2 x250 x251 t3 x1 x247 x251 t3 x1 x250 x251 t2 x251 x252 t3 x17 x75 x252 t3 x17 x251 x252 t2 x250 x252 t3 x12 x252 x250 t2 x231 x253 t3 x9 x237 x253 t3 x9 x231 x253 t2 x222 x235 t3 x31 x235 x222 t2 x236 x222 t3 x30 x222 x236 t2 x231 x236 t3 x9 x236 x231 t2 x231 x254 t3 x1 x253 x254 t3 x1 x231 x254 t2 x254 x255 t3 x17 x75 x255 t3 x17 x254 x255 t2 x231 x255 t3 x12 x255 x231 t2 x250 x256 t3 x3 x231 x256 t3 x3 x250 x256 t2 x256 x250 t3 x18 x250 x256 t2 x256 x257 t3 x6 x240 x257 t3 x6 x256 x257 t2 x257 x258 t3 x5 x240 x258 t3 x5 x257 x258 t2 x258 x240 t3 x4 x240 x258 t2 x258 x200 t3 x2 x200 x258 t2 x258 x259 t3 x16 x75 x259 t3 x16 x258 x259 t2 x259 x75 t3 x27 x75 x259 t2 x259 x55 t3 x23 x55 x259 t2 x28 x260 t3 x28 x259 x260 t2 x259 x260 t2 x43 x261 t3 x33 x44 x261 t3 x33 x43 x261 t2 x43 x261 t3 x25 x261 x43 t3 x37 x49 x262 t2 x37 x262 t2 x262 x263 t3 x33 x41 x263 t3 x33 x262 x263 t2 x33 x264 t3 x33 x262 x264 t2 x262 x264 t2 x264 x265 t3 x25 x263 x265 t3 x25 x264 x265 t2 x265 x266 t3 x29 x43 x266 t3 x29 x265 x266 t2 x262 x263 t3 x25 x263 x262 t2 x262 x43 t3 x29 x43 x262 t2 x262 x266 t3 x14 x266 x262 t2 x32 x267 t3 x32 x262 x267 t2 x262 x267 t2 x31 x268 t3 x31 x267 x268 t2 x267 x268 t2 x30 x269 t3 x30 x268 x269 t2 x268 x269 t2 x58 x270 t3 x33 x59 x270 t3 x33 x58 x270 t2 x58 x271 t3 x25 x270 x271 t3 x25 x58 x271 t3 x37 x65 x272 t2 x37 x272 t2 x272 x273 t3 x33 x56 x273 t3 x33 x272 x273 t2 x33 x274 t3 x33 x272 x274 t2 x272 x274 t2 x274 x275 t3 x25 x273 x275 t3 x25 x274 x275 t2 x275 x276 t3 x29 x271 x276 t3 x29 x275 x276 t2 x272 x273 t3 x25 x273 x272 t2 x272 x277 t3 x29 x271 x277 t3 x29 x272 x277 t2 x277 x278 t3 x14 x276 x278 t3 x14 x277 x278 t2 x32 x279 t3 x32 x278 x279 t2 x278 x279 t2 x31 x280 t3 x31 x279 x280 t2 x279 x280 t2 x30 x281 t3 x30 x280 x281 t2 x280 x281 t2 x77 x282 t3 x20 x58 x282 t3 x20 x77 x282 t2 x282 x283 t3 x7 x78 x283 t3 x7 x282 x283 t2 x283 x284 t3 x33 x78 x284 t3 x33 x283 x284 t2 x283 x284 t3 x25 x284 x283 t2 x91 x285 t3 x29 x283 x285 t3 x29 x91 x285 t2 x13 x286 t3 x13 x285 x286 t2 x285 x286 t2 x285 x286 t3 x14 x286 x285 t2 x282 x287 t3 x33 x78 x287 t3 x33 x282 x287 t2 x282 x288 t3 x25 x287 x288 t3 x25 x282 x288 t2 x94 x289 t3 x29 x288 x289 t3 x29 x94 x289 t2 x13 x290 t3 x13 x289 x290 t2 x289 x290 t2 x289 x290 t3 x14 x290 x289 t2 x289 x291 t3 x31 x285 x291 t3 x31 x289 x291 t2 x89 x292 t3 x37 x56 x292 t3 x37 x89 x292 t2 x292 x293 t3 x33 x56 x293 t3 x33 x292 x293 t2 x292 x294 t3 x33 x89 x294 t3 x33 x292 x294 t2 x294 x295 t3 x25 x293 x295 t3 x25 x294 x295 t2 x295 x296 t3 x29 x283 x296 t3 x29 x295 x296 t2 x13 x297 t3 x13 x296 x297 t2 x296 x297 t2 x292 x293 t3 x25 x293 x292 t2 x292 x298 t3 x29 x283 x298 t3 x29 x292 x298 t2 x298 x297 t3 x14 x297 x298 t2 x298 x299 t3 x8 x285 x299 t3 x8 x298 x299 t2 x298 x299 t3 x32 x299 x298 t2 x275 x300 t3 x29 x288 x300 t3 x29 x275 x300 t2 x13 x301 t3 x13 x300 x301 t2 x300 x301 t2 x272 x302 t3 x29 x288 x302 t3 x29 x272 x302 t2 x302 x303 t3 x14 x301 x303 t3 x14 x302 x303 t2 x303 x289 t3 x8 x289 x303 t2 x300 x304 t3 x13 x276 x304 t3 x13 x300 x304 t2 x302 x304 t3 x14 x304 x302 t2 x302 x303 t3 x32 x303 x302 t2 x302 x298 t3 x31 x298 x302 t2 x302 x291 t3 x30 x291 x302 t2 x302 x305 t3 x17 x281 x305 t3 x17 x302 x305 t2 x302 x305 t3 x12 x305 x302 t2 x58 x306 t3 x7 x78 x306 t3 x7 x58 x306 t2 x306 x307 t3 x33 x78 x307 t3 x33 x306 x307 t2 x306 x308 t3 x25 x307 x308 t3 x25 x306 x308 t2 x91 x308 t3 x29 x308 x91 t2 x13 x309 t3 x13 x91 x309 t2 x91 x309 t2 x91 x310 t3 x14 x309 x310 t3 x14 x91 x310 t2 x58 x311 t3 x33 x78 x311 t3 x33 x58 x311 t2 x58 x312 t3 x25 x311 x312 t3 x25 x58 x312 t2 x94 x312 t3 x29 x312 x94 t2 x13 x313 t3 x13 x94 x313 t2 x94 x313 t2 x94 x314 t3 x14 x313 x314 t3 x14 x94 x314 t2 x314 x315 t3 x31 x310 x315 t3 x31 x314 x315 t2 x282 x316 t3 x0 x58 x316 t3 x0 x282 x316 t2 x316 x317 t3 x7 x78 x317 t3 x7 x316 x317 t2 x306 x318 t3 x37 x317 x318 t3 x37 x306 x318 t2 x318 x319 t3 x33 x78 x319 t3 x33 x318 x319 t2 x318 x320 t3 x33 x306 x320 t3 x33 x318 x320 t2 x320 x321 t3 x25 x319 x321 t3 x25 x320 x321 t2 x295 x321 t3 x29 x321 x295 t2 x13 x322 t3 x13 x295 x322 t2 x295 x322 t2 x318 x319 t3 x25 x319 x318 t2 x292 x318 t3 x29 x318 x292 t2 x292 x323 t3 x14 x322 x323 t3 x14 x292 x323 t2 x323 x324 t3 x8 x310 x324 t3 x8 x323 x324 t2 x323 x325 t3 x32 x324 x325 t3 x32 x323 x325 t2 x216 x326 t3 x21 x56 x326 t3 x21 x216 x326 t2 x326 x327 t3 x20 x58 x327 t3 x20 x326 x327 t2 x327 x328 t3 x0 x58 x328 t3 x0 x327 x328 t2 x316 x328 t3 x7 x328 x316 t2 x58 x329 t3 x37 x316 x329 t3 x37 x58 x329 t2 x329 x330 t3 x33 x78 x330 t3 x33 x329 x330 t2 x329 x331 t3 x33 x58 x331 t3 x33 x329 x331 t2 x331 x332 t3 x25 x330 x332 t3 x25 x331 x332 t2 x275 x332 t3 x29 x332 x275 t2 x13 x333 t3 x13 x275 x333 t2 x275 x333 t2 x329 x330 t3 x25 x330 x329 t2 x272 x329 t3 x29 x329 x272 t2 x272 x334 t3 x14 x333 x334 t3 x14 x272 x334 t2 x334 x335 t3 x8 x314 x335 t3 x8 x334 x335 t2 x275 x276 t3 x13 x276 x275 t2 x272 x336 t3 x14 x275 x336 t3 x14 x272 x336 t2 x336 x337 t3 x32 x335 x337 t3 x32 x336 x337 t2 x337 x338 t3 x31 x325 x338 t3 x31 x337 x338 t2 x338 x339 t3 x30 x315 x339 t3 x30 x338 x339 t2 x339 x340 t3 x17 x281 x340 t3 x17 x339 x340 t2 x339 x341 t3 x12 x340 x341 t3 x12 x339 x341 t2 x91 x292 t3 x13 x292 x91 t2 x91 x309 t3 x14 x309 x91 t2 x323 x342 t3 x11 x91 x342 t3 x11 x323 x342 t2 x342 x91 t3 x19 x91 x342 t2 x342 x343 t3 x8 x310 x343 t3 x8 x342 x343 t2 x342 x343 t3 x32 x343 x342 t2 x325 x344 t3 x10 x342 x344 t3 x10 x325 x344 t2 x94 x272 t3 x13 x272 x94 t2 x94 x313 t3 x14 x313 x94 t2 x334 x345 t3 x11 x94 x345 t3 x11 x334 x345 t2 x345 x94 t3 x19 x94 x345 t2 x345 x346 t3 x8 x314 x346 t3 x8 x345 x346 t2 x345 x346 t3 x32 x346 x345 t2 x334 x335 t3 x32 x335 x334 t2 x334 x347 t3 x10 x345 x347 t3 x10 x334 x347 t2 x347 x344 t3 x31 x344 x347 t2 x338 x348 t3 x30 x347 x348 t3 x30 x338 x348 t2 x348 x349 t3 x9 x339 x349 t3 x9 x348 x349 t2 x334 x325 t3 x31 x325 x334 t2 x338 x334 t3 x30 x334 x338 t2 x338 x350 t3 x1 x349 x350 t3 x1 x338 x350 t2 x350 x351 t3 x17 x281 x351 t3 x17 x350 x351 t2 x338 x352 t3 x12 x351 x352 t3 x12 x338 x352 t2 x338 x353 t3 x9 x339 x353 t3 x9 x338 x353 t2 x338 x354 t3 x1 x353 x354 t3 x1 x338 x354 t2 x354 x355 t3 x17 x281 x355 t3 x17 x354 x355 t2 x338 x355 t3 x12 x355 x338 t2 x352 x356 t3 x3 x338 x356 t3 x3 x352 x356 t2 x356 x352 t3 x18 x352 x356 t2 x356 x357 t3 x6 x341 x357 t3 x6 x356 x357 t2 x357 x358 t3 x5 x341 x358 t3 x5 x357 x358 t2 x358 x341 t3 x4 x341 x358 t2 x358 x302 t3 x2 x302 x358 t2 x358 x359 t3 x16 x281 x359 t3 x16 x358 x359 t2 x359 x281 t3 x27 x281 x359 t2 x359 x269 t3 x23 x269 x359 t2 x28 x360 t3 x28 x359 x360 t2 x359 x360 t2 x56 x361 t3 x29 x78 x361 t3 x29 x56 x361 t3 x24 x34 x362 t2 x34 x362 t2 x56 x363 t3 x22 x362 x363 t3 x22 x56 x363 t2 x39 x364 t3 x22 x362 x364 t3 x22 x39 x364 t2 x364 x365 t3 x21 x363 x365 t3 x21 x364 x365 t2 x365 x363 t3 x20 x363 x365 t2 x365 x366 t3 x33 x78 x366 t3 x33 x365 x366 t2 x47 x367 t3 x24 x34 x367 t3 x34 x47 x367 t2 x56 x368 t3 x7 x367 x368 t3 x7 x56 x368 t2 x362 x369 t3 x38 x368 x369 t3 x38 x362 x369 t2 x369 x370 t3 x33 x56 x370 t3 x33 x369 x370 t2 x370 x366 t3 x29 x366 x370 t2 x369 x371 t3 x33 x362 x371 t3 x33 x369 x371 t2 x369 x371 t3 x25 x371 x369 t2 x369 x365 t3 x29 x365 x369 t2 x369 x370 t3 x14 x370 x369 t2 x369 x372 t3 x32 x361 x372 t3 x32 x369 x372 t2 x372 x373 t3 x31 x361 x373 t3 x31 x372 x373 t2 x373 x374 t3 x30 x361 x374 t3 x30 x373 x374 t2 x22 x375 t3 x22 x56 x375 t2 x56 x375 t2 x22 x376 t3 x22 x39 x376 t2 x39 x376 t2 x376 x377 t3 x21 x375 x377 t3 x21 x376 x377 t2 x377 x378 t3 x20 x375 x378 t3 x20 x377 x378 t2 x378 x379 t3 x33 x78 x379 t3 x33 x378 x379 t3 x38 x65 x380 t2 x38 x380 t2 x380 x381 t3 x33 x56 x381 t3 x33 x380 x381 t2 x381 x382 t3 x29 x379 x382 t3 x29 x381 x382 t2 x33 x383 t3 x33 x380 x383 t2 x380 x383 t2 x380 x383 t3 x25 x383 x380 t2 x380 x384 t3 x29 x378 x384 t3 x29 x380 x384 t2 x384 x385 t3 x14 x382 x385 t3 x14 x384 x385 t2 x385 x386 t3 x32 x361 x386 t3 x32 x385 x386 t2 x386 x387 t3 x31 x361 x387 t3 x31 x386 x387 t2 x387 x388 t3 x30 x361 x388 t3 x30 x387 x388 t3 x21 x375 x389 t2 x21 x389 t2 x389 x390 t3 x20 x375 x390 t3 x20 x389 x390 t2 x390 x391 t3 x33 x78 x391 t3 x33 x390 x391 t2 x83 x392 t3 x29 x391 x392 t3 x29 x83 x392 t2 x392 x393 t3 x13 x361 x393 t3 x13 x392 x393 t3 x29 x390 x394 t2 x29 x394 t2 x394 x395 t3 x14 x393 x395 t3 x14 x394 x395 t2 x22 x396 t3 x22 x47 x396 t2 x47 x396 t2 x396 x397 t3 x21 x375 x397 t3 x21 x396 x397 t2 x397 x375 t3 x20 x375 x397 t2 x378 x398 t3 x7 x397 x398 t3 x7 x378 x398 t2 x390 x399 t3 x38 x398 x399 t3 x38 x390 x399 t2 x399 x400 t3 x33 x78 x400 t3 x33 x399 x400 t2 x381 x401 t3 x29 x400 x401 t3 x29 x381 x401 t2 x401 x402 t3 x13 x361 x402 t3 x13 x401 x402 t2 x378 x403 t3 x7 x390 x403 t3 x7 x378 x403 t2 x390 x404 t3 x38 x403 x404 t3 x38 x390 x404 t2 x404 x405 t3 x33 x390 x405 t3 x33 x404 x405 t2 x404 x406 t3 x25 x405 x406 t3 x25 x404 x406 t3 x38 x105 x407 t2 x38 x407 t2 x33 x408 t3 x33 x407 x408 t2 x407 x408 t2 x407 x409 t3 x25 x408 x409 t3 x25 x407 x409 t2 x409 x410 t3 x29 x406 x410 t3 x29 x409 x410 t2 x399 x411 t3 x33 x390 x411 t3 x33 x399 x411 t2 x399 x411 t3 x25 x411 x399 t2 x380 x412 t3 x29 x399 x412 t3 x29 x380 x412 t2 x412 x413 t3 x13 x410 x413 t3 x13 x412 x413 t2 x413 x414 t3 x14 x402 x414 t3 x14 x413 x414 t2 x404 x78 t3 x33 x78 x404 t2 x407 x56 t3 x33 x56 x407 t2 x407 x415 t3 x29 x404 x415 t3 x29 x407 x415 t2 x415 x416 t3 x13 x361 x416 t3 x13 x415 x416 t2 x410 x417 t3 x14 x416 x417 t3 x14 x410 x417 t2 x417 x418 t3 x11 x414 x418 t3 x11 x417 x418 t2 x418 x414 t3 x19 x414 x418 t2 x418 x419 t3 x8 x395 x419 t3 x8 x418 x419 t2 x418 x419 t3 x32 x419 x418 t2 x412 x420 t3 x14 x402 x420 t3 x14 x412 x420 t2 x420 x421 t3 x8 x395 x421 t3 x8 x420 x421 t2 x420 x422 t3 x32 x421 x422 t3 x32 x420 x422 t2 x422 x423 t3 x10 x418 x423 t3 x10 x422 x423 t2 x401 x424 t3 x13 x382 x424 t3 x13 x401 x424 t2 x412 x425 t3 x14 x424 x425 t3 x14 x412 x425 t2 x425 x421 t3 x32 x421 x425 t2 x425 x426 t3 x31 x423 x426 t3 x31 x425 x426 t2 x426 x427 t3 x30 x395 x427 t3 x30 x426 x427 t2 x409 x428 t3 x29 x390 x428 t3 x29 x409 x428 t2 x410 x429 t3 x13 x428 x429 t3 x13 x410 x429 t2 x429 x416 t3 x14 x416 x429 t2 x407 x430 t3 x29 x391 x430 t3 x29 x407 x430 t2 x430 x431 t3 x13 x361 x431 t3 x13 x430 x431 t2 x428 x432 t3 x14 x431 x432 t3 x14 x428 x432 t2 x432 x433 t3 x11 x429 x433 t3 x11 x432 x433 t2 x433 x429 t3 x19 x429 x433 t2 x433 x434 t3 x8 x395 x434 t3 x8 x433 x434 t2 x433 x434 t3 x32 x434 x433 t2 x432 x435 t3 x8 x395 x435 t3 x8 x432 x435 t2 x432 x436 t3 x32 x435 x436 t3 x32 x432 x436 t2 x436 x437 t3 x10 x433 x437 t3 x10 x436 x437 t2 x380 x390 t3 x29 x390 x380 t2 x412 x438 t3 x13 x380 x438 t3 x13 x412 x438 t2 x438 x439 t3 x14 x402 x439 t3 x14 x438 x439 t2 x381 x391 t3 x29 x391 x381 t2 x381 x440 t3 x13 x361 x440 t3 x13 x381 x440 t2 x380 x441 t3 x14 x440 x441 t3 x14 x380 x441 t2 x441 x442 t3 x11 x439 x442 t3 x11 x441 x442 t2 x442 x439 t3 x19 x439 x442 t2 x442 x443 t3 x8 x395 x443 t3 x8 x442 x443 t2 x438 x424 t3 x14 x424 x438 t2 x381 x382 t3 x13 x382 x381 t2 x380 x444 t3 x14 x381 x444 t3 x14 x380 x444 t2 x444 x445 t3 x11 x438 x445 t3 x11 x444 x445 t2 x445 x438 t3 x19 x438 x445 t2 x445 x443 t3 x32 x443 x445 t2 x441 x446 t3 x8 x395 x446 t3 x8 x441 x446 t2 x444 x447 t3 x32 x446 x447 t3 x32 x444 x447 t2 x447 x448 t3 x10 x445 x448 t3 x10 x447 x448 t2 x448 x437 t3 x31 x437 x448 t2 x448 x449 t3 x30 x395 x449 t3 x30 x448 x449 t2 x449 x450 t3 x9 x427 x450 t3 x9 x449 x450 t2 x450 x451 t3 x17 x388 x451 t3 x17 x450 x451 t2 x380 x428 t3 x13 x428 x380 t2 x380 x440 t3 x14 x440 x380 t2 x432 x452 t3 x11 x380 x452 t3 x11 x432 x452 t2 x452 x380 t3 x19 x380 x452 t2 x452 x453 t3 x8 x395 x453 t3 x8 x452 x453 t2 x452 x453 t3 x32 x453 x452 t2 x441 x446 t3 x32 x446 x441 t2 x441 x454 t3 x10 x452 x454 t3 x10 x441 x454 t2 x447 x455 t3 x31 x454 x455 t3 x31 x447 x455 t2 x455 x456 t3 x30 x395 x456 t3 x30 x455 x456 t2 x447 x457 t3 x31 x436 x457 t3 x31 x447 x457 t2 x457 x458 t3 x30 x395 x458 t3 x30 x457 x458 t2 x458 x459 t3 x9 x456 x459 t3 x9 x458 x459 t2 x459 x451 t3 x12 x451 x459 t2 x417 x460 t3 x8 x395 x460 t3 x8 x417 x460 t2 x417 x461 t3 x32 x460 x461 t3 x32 x417 x461 t2 x422 x462 t3 x10 x461 x462 t3 x10 x422 x462 t2 x425 x463 t3 x31 x462 x463 t3 x31 x425 x463 t2 x463 x464 t3 x30 x395 x464 t3 x30 x463 x464 t2 x458 x465 t3 x9 x464 x465 t3 x9 x458 x465 t2 x465 x466 t3 x17 x388 x466 t3 x17 x465 x466 t2 x441 x436 t3 x10 x436 x441 t2 x447 x441 t3 x31 x441 x447 t2 x447 x467 t3 x30 x395 x467 t3 x30 x447 x467 t2 x458 x467 t3 x9 x467 x458 t2 x458 x466 t3 x12 x466 x458 t2 x459 x468 t3 x3 x458 x468 t3 x3 x459 x468 t2 x468 x459 t3 x18 x459 x468 t2 x425 x469 t3 x31 x461 x469 t3 x31 x425 x469 t2 x469 x470 t3 x30 x395 x470 t3 x30 x469 x470 t2 x470 x471 t3 x9 x427 x471 t3 x9 x470 x471 t2 x471 x472 t3 x17 x388 x472 t3 x17 x471 x472 t2 x471 x472 t3 x12 x472 x471 t2 x470 x473 t3 x9 x464 x473 t3 x9 x470 x473 t2 x473 x474 t3 x17 x388 x474 t3 x17 x473 x474 t2 x473 x474 t3 x12 x474 x473 t2 x471 x475 t3 x3 x473 x475 t3 x3 x471 x475 t2 x475 x471 t3 x18 x471 x475 t2 x394 x476 t3 x13 x410 x476 t3 x13 x394 x476 t2 x476 x477 t3 x14 x393 x477 t3 x14 x476 x477 t2 x417 x478 t3 x11 x477 x478 t3 x11 x417 x478 t2 x478 x477 t3 x19 x477 x478 t2 x478 x479 t3 x8 x395 x479 t3 x8 x478 x479 t2 x478 x479 t3 x32 x479 x478 t2 x461 x480 t3 x10 x478 x480 t3 x10 x461 x480 t2 x394 x412 t3 x13 x412 x394 t2 x394 x393 t3 x14 x393 x394 t2 x420 x481 t3 x11 x394 x481 t3 x11 x420 x481 t2 x481 x394 t3 x19 x394 x481 t2 x481 x482 t3 x8 x395 x482 t3 x8 x481 x482 t2 x481 x482 t3 x32 x482 x481 t2 x422 x483 t3 x10 x481 x483 t3 x10 x422 x483 t2 x483 x480 t3 x31 x480 x483 t2 x469 x484 t3 x30 x483 x484 t3 x30 x469 x484 t2 x484 x427 t3 x9 x427 x484 t2 x422 x485 t3 x31 x423 x485 t3 x31 x422 x485 t2 x426 x485 t3 x30 x485 x426 t2 x422 x486 t3 x31 x461 x486 t3 x31 x422 x486 t2 x469 x486 t3 x30 x486 x469 t2 x469 x487 t3 x9 x426 x487 t3 x9 x469 x487 t2 x487 x488 t3 x1 x484 x488 t3 x1 x487 x488 t2 x488 x489 t3 x17 x388 x489 t3 x17 x488 x489 t2 x487 x489 t3 x12 x489 x487 t2 x469 x490 t3 x9 x464 x490 t3 x9 x469 x490 t2 x422 x462 t3 x31 x462 x422 t2 x463 x422 t3 x30 x422 x463 t2 x469 x463 t3 x9 x463 x469 t2 x469 x491 t3 x1 x490 x491 t3 x1 x469 x491 t2 x491 x492 t3 x17 x388 x492 t3 x17 x491 x492 t2 x469 x492 t3 x12 x492 x469 t2 x487 x493 t3 x3 x469 x493 t3 x3 x487 x493 t2 x493 x487 t3 x18 x487 x493 t2 x493 x494 t3 x6 x475 x494 t3 x6 x493 x494 t2 x494 x495 t3 x5 x475 x495 t3 x5 x494 x495 t2 x495 x475 t3 x4 x475 x495 t2 x495 x468 t3 x2 x468 x495 t2 x495 x496 t3 x16 x388 x496 t3 x16 x495 x496 t2 x496 x388 t3 x27 x388 x496 t2 x496 x374 t3 x23 x374 x496 t2 x28 x497 t3 x28 x496 x497 t2 x496 x497 t1 x260 t1 x360 t1 x497 .end