# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename pdc_191.pla --realname pdc_191.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 619 .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 x498 x499 x500 x501 x502 x503 x504 x505 x506 x507 x508 x509 x510 x511 x512 x513 x514 x515 x516 x517 x518 x519 x520 x521 x522 x523 x524 x525 x526 x527 x528 x529 x530 x531 x532 x533 x534 x535 x536 x537 x538 x539 x540 x541 x542 x543 x544 x545 x546 x547 x548 x549 x550 x551 x552 x553 x554 x555 x556 x557 x558 x559 x560 x561 x562 x563 x564 x565 x566 x567 x568 x569 x570 x571 x572 x573 x574 x575 x576 x577 x578 x579 x580 x581 x582 x583 x584 x585 x586 x587 x588 x589 x590 x591 x592 x593 x594 x595 x596 x597 x598 x599 x600 x601 x602 x603 x604 x605 x606 x607 x608 x609 x610 x611 x612 x613 x614 x615 x616 x617 x618 .inputs x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 1 1 0 1 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 0 0 1 0 1 1 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 1 0 1 1 0 0 1 0 1 0 0 1 1 1 0 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 1 0 0 1 0 1 1 1 0 0 0 1 1 1 0 0 0 0 0 1 0 0 1 0 1 1 1 0 1 0 1 1 1 1 1 0 0 1 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 1 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 1 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 1 1 1 0 0 1 1 .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 f39 g f0 g g g g g g g g g f1 g g g g g g g g f2 g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g f3 g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g f4 g g g g g g g g g g g g g g g g g g g g f5 g g f6 g g g g g g g f7 g g g g g g g g g g g g g g g g g g g g g g g g g g g f8 g g g g g g g g g g g g g g g g g g g g f9 g g g g g g g g f10 g g g g g g f11 g g g g g g f12 g g g g f13 g f27 f14 g g g f15 g g g g g g g g g g g g g g g f16 g g g g g g g g g g g g g g g g g f17 g g g g g g g g g g g g g g g g g g g g g g g f18 g g g g g g g g g g g g f19 g g g g g g g g f20 g g g g f21 g g g g f22 g g g g g g g g g g g g g g g g f36 g f23 g g g g g g g f24 g f25 g g g g f26 g g g g g g g g g g g g g g g g g g g g g g g f28 g g g g g g g g g g g g g g g g g g g g g g f29 g g g g g g g g g g g g g g f30 g g g g g g g g g f31 g g g g g g f32 g g g g g g g g g g g g g g g g g g g g f33 g g g g g g g g g g g g g g g g g g g g g g g f34 g g g g g g g g g g g g g g g g g g g g f35 g g g g g g g g g g g f37 g g g g f38 g g .constants ----------------110100001000111010101000010000100000000011000101001011111000000111000010001000010110101010100100000001111000110110110010100111001110111011010010101110110111000101100111100010001001001000110001000000001101001011100011100000100101110101111100100000101110001011000000010111000101100001110000001110001111000010001001010001001001000000000011010110000000010010010100001110000000010010010000000011110001100001000100000010101100000011011100000010000000100011000100101011011000101000000001010100100010010000110000001010001000000100010000000101011101000100000000101010011100001000000101010011001000100110101110011 .garbage 1111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111-1-111111111-11111111-111111111111111111111111111111111111-1111111111111111111111111111111111-11111111111111111111-11-1111111-111111111111111111111111111-11111111111111111111-11111111-111111-111111-1111-1--111-111111111111111-11111111111111111-11111111111111111111111-111111111111-11111111-1111-1111-1111111111111111-1-1111111-1-1111-11111111111111111111111-1111111111111111111111-11111111111111-111111111-111111-11111111111111111111-11111111111111111111111-11111111111111111111-11111111111-1111-11 .begin t3 x4 x7 x16 t2 x7 x16 t3 x4 x7 x17 t2 x4 x17 t2 x17 x18 t3 x6 x16 x18 t3 x6 x17 x18 t2 x6 x19 t2 x7 x19 t2 x19 x20 t3 x5 x18 x20 t3 x5 x19 x20 t2 x3 x21 t3 x3 x20 x21 t2 x20 x21 t2 x2 x22 t3 x2 x21 x22 t2 x21 x22 t2 x3 x23 t3 x3 x4 x23 t2 x4 x23 t2 x1 x24 t2 x23 x24 t3 x1 x22 x24 t3 x1 x23 x24 t2 x9 x25 t3 x9 x10 x25 t2 x10 x25 t2 x8 x26 t3 x8 x25 x26 t2 x25 x26 t2 x7 x27 t3 x7 x26 x27 t2 x26 x27 t3 x4 x27 x28 t2 x27 x28 t3 x7 x26 x29 t2 x7 x29 t3 x4 x29 x30 t2 x29 x30 t2 x30 x31 t3 x6 x28 x31 t3 x6 x30 x31 t2 x9 x32 t2 x10 x32 t2 x32 x33 t3 x8 x25 x33 t3 x8 x32 x33 t3 x7 x33 x34 t2 x33 x34 t2 x7 x35 t3 x7 x33 x35 t2 x33 x35 t2 x4 x36 t2 x35 x36 t3 x4 x34 x36 t3 x4 x35 x36 t2 x36 x37 t3 x4 x6 x37 t3 x6 x36 x37 t2 x37 x38 t3 x5 x31 x38 t3 x5 x37 x38 t2 x15 x39 t3 x14 x15 x39 t2 x14 x39 t2 x12 x40 t3 x12 x39 x40 t2 x39 x40 t2 x15 x41 t2 x14 x41 t2 x12 x42 t3 x12 x41 x42 t2 x41 x42 t2 x42 x43 t3 x13 x40 x43 t3 x13 x42 x43 t2 x11 x44 t3 x11 x43 x44 t2 x43 x44 t2 x10 x45 t3 x10 x44 x45 t2 x44 x45 t3 x10 x44 x46 t2 x10 x46 t2 x46 x47 t3 x9 x45 x47 t3 x9 x46 x47 t2 x8 x48 t3 x8 x47 x48 t2 x47 x48 t3 x10 x44 x49 t2 x49 x50 t3 x9 x44 x50 t3 x9 x49 x50 t2 x8 x51 t3 x8 x50 x51 t2 x50 x51 t2 x51 x52 t3 x7 x48 x52 t3 x7 x51 x52 t2 x13 x53 t3 x13 x40 x53 t2 x40 x53 t2 x11 x54 t3 x11 x53 x54 t2 x53 x54 t2 x10 x55 t3 x10 x54 x55 t2 x54 x55 t3 x9 x55 x56 t2 x9 x56 t3 x8 x56 x57 t2 x8 x57 t2 x46 x58 t3 x9 x44 x58 t3 x9 x46 x58 t2 x8 x59 t3 x8 x58 x59 t2 x58 x59 t2 x59 x60 t3 x7 x57 x60 t3 x7 x59 x60 t3 x4 x60 x61 t2 x4 x61 t2 x61 x62 t3 x6 x52 x62 t3 x6 x61 x62 t3 x10 x54 x63 t2 x10 x63 t2 x63 x64 t3 x9 x55 x64 t3 x9 x63 x64 t2 x50 x65 t3 x8 x64 x65 t3 x8 x50 x65 t3 x7 x65 x66 t2 x65 x66 t3 x4 x66 x67 t2 x5 x68 t2 x67 x68 t3 x5 x62 x68 t3 x5 x67 x68 t2 x3 x69 t2 x68 x69 t3 x3 x38 x69 t3 x3 x68 x69 t3 x2 x69 x70 t2 x69 x70 t3 x14 x15 x71 t2 x14 x71 t3 x12 x71 x72 t2 x12 x72 t2 x13 x73 t3 x13 x72 x73 t2 x72 x73 t2 x11 x74 t3 x11 x73 x74 t2 x73 x74 t3 x14 x15 x75 t3 x12 x75 x76 t3 x13 x76 x77 t3 x11 x77 x78 t2 x10 x79 t2 x78 x79 t3 x10 x74 x79 t3 x10 x78 x79 t3 x12 x71 x80 t2 x71 x80 t2 x13 x81 t2 x80 x81 t3 x13 x71 x81 t3 x13 x80 x81 t2 x11 x82 t3 x11 x81 x82 t2 x81 x82 t2 x12 x83 t3 x12 x75 x83 t2 x75 x83 t2 x75 x84 t3 x13 x83 x84 t3 x13 x75 x84 t3 x11 x84 x85 t2 x10 x86 t2 x85 x86 t3 x10 x82 x86 t3 x10 x85 x86 t2 x86 x87 t3 x9 x79 x87 t3 x9 x86 x87 t2 x79 x88 t3 x9 x86 x88 t3 x9 x79 x88 t2 x88 x89 t3 x8 x87 x89 t3 x8 x88 x89 t3 x7 x89 x90 t2 x89 x90 t3 x4 x90 x91 t2 x12 x92 t3 x12 x71 x92 t2 x71 x92 t2 x13 x93 t3 x13 x92 x93 t2 x92 x93 t2 x9 x94 t3 x9 x93 x94 t2 x93 x94 t3 x9 x93 x95 t2 x9 x95 t2 x95 x96 t3 x8 x94 x96 t3 x8 x95 x96 t3 x7 x96 x97 t2 x96 x97 t2 x8 x98 t2 x9 x98 t3 x7 x98 x99 t2 x4 x100 t2 x99 x100 t3 x4 x97 x100 t3 x4 x99 x100 t2 x100 x101 t3 x6 x91 x101 t3 x6 x100 x101 t3 x13 x76 x102 t2 x76 x102 t2 x9 x103 t3 x9 x102 x103 t2 x102 x103 t3 x9 x102 x104 t2 x9 x104 t2 x104 x105 t3 x8 x103 x105 t3 x8 x104 x105 t3 x7 x105 x106 t2 x7 x106 t2 x10 x107 t3 x10 x11 x107 t2 x11 x107 t2 x9 x108 t3 x9 x107 x108 t2 x107 x108 t2 x10 x109 t2 x11 x109 t2 x109 x110 t3 x9 x107 x110 t3 x9 x109 x110 t2 x110 x111 t3 x8 x108 x111 t3 x8 x110 x111 t3 x7 x111 x112 t2 x112 x113 t3 x4 x106 x113 t3 x4 x112 x113 t2 x9 x114 t3 x9 x55 x114 t2 x55 x114 t2 x8 x115 t3 x8 x114 x115 t2 x114 x115 t2 x7 x116 t3 x7 x115 x116 t2 x115 x116 t3 x4 x116 x117 t2 x116 x117 t2 x6 x118 t2 x117 x118 t3 x6 x113 x118 t3 x6 x117 x118 t2 x5 x119 t2 x118 x119 t3 x5 x101 x119 t3 x5 x118 x119 t3 x3 x119 x120 t2 x119 x120 t2 x2 x121 t3 x2 x120 x121 t2 x120 x121 t2 x121 x122 t3 x1 x70 x122 t3 x1 x121 x122 t2 x122 x123 t3 x0 x24 x123 t3 x0 x122 x123 t3 x3 x4 x124 t2 x4 x124 t2 x1 x125 t2 x124 x125 t3 x1 x22 x125 t3 x1 x124 x125 t2 x54 x55 t3 x9 x55 x54 t2 x50 x126 t3 x8 x54 x126 t3 x8 x50 x126 t3 x7 x126 x127 t2 x126 x127 t3 x4 x127 x128 t2 x127 x128 t2 x128 x129 t3 x5 x62 x129 t3 x5 x128 x129 t2 x3 x130 t2 x129 x130 t3 x3 x38 x130 t3 x3 x129 x130 t3 x2 x130 x131 t2 x130 x131 t2 x121 x132 t3 x1 x131 x132 t3 x1 x121 x132 t2 x132 x133 t3 x0 x125 x133 t3 x0 x132 x133 t3 x4 x5 x134 t2 x5 x134 t2 x3 x135 t3 x3 x134 x135 t2 x134 x135 t2 x1 x136 t2 x135 x136 t3 x1 x22 x136 t3 x1 x135 x136 t2 x127 x137 t3 x4 x66 x137 t3 x4 x127 x137 t2 x137 x138 t3 x6 x67 x138 t3 x6 x137 x138 t2 x5 x139 t2 x138 x139 t3 x5 x62 x139 t3 x5 x138 x139 t2 x3 x140 t2 x139 x140 t3 x3 x38 x140 t3 x3 x139 x140 t3 x2 x140 x141 t2 x140 x141 t2 x121 x142 t3 x1 x141 x142 t3 x1 x121 x142 t2 x142 x136 t3 x0 x136 x142 t3 x4 x5 x143 t3 x3 x143 x144 t2 x143 x144 t2 x1 x145 t2 x144 x145 t3 x1 x22 x145 t3 x1 x144 x145 t2 x6 x146 t2 x137 x146 t3 x6 x128 x146 t3 x6 x137 x146 t2 x146 x147 t3 x5 x62 x147 t3 x5 x146 x147 t2 x3 x148 t2 x147 x148 t3 x3 x38 x148 t3 x3 x147 x148 t3 x2 x148 x149 t2 x148 x149 t3 x10 x78 x150 t2 x78 x150 t2 x75 x151 t3 x12 x71 x151 t3 x12 x75 x151 t3 x12 x75 x152 t2 x75 x152 t2 x13 x153 t2 x152 x153 t3 x13 x151 x153 t3 x13 x152 x153 t3 x11 x153 x154 t3 x10 x154 x155 t2 x154 x155 t2 x155 x156 t3 x9 x150 x156 t3 x9 x155 x156 t2 x150 x157 t3 x9 x155 x157 t3 x9 x150 x157 t2 x157 x156 t3 x8 x156 x157 t2 x7 x158 t2 x157 x158 t3 x7 x81 x158 t3 x7 x157 x158 t3 x4 x158 x159 t3 x11 x93 x160 t2 x11 x160 t2 x9 x161 t3 x9 x160 x161 t2 x160 x161 t3 x9 x160 x162 t2 x9 x162 t2 x162 x161 t3 x8 x161 x162 t2 x7 x163 t2 x162 x163 t3 x7 x81 x163 t3 x7 x162 x163 t3 x9 x11 x164 t2 x11 x164 t3 x9 x11 x165 t1 x165 t3 x8 x165 x164 t3 x8 x164 x165 t2 x7 x166 t2 x81 x166 t3 x7 x165 x166 t3 x7 x81 x166 t1 x166 t3 x4 x166 x163 t3 x4 x163 x166 t2 x166 x159 t3 x6 x159 x166 t3 x11 x102 x167 t2 x11 x167 t2 x9 x168 t3 x9 x167 x168 t2 x167 x168 t3 x9 x167 x169 t2 x9 x169 t2 x169 x168 t3 x8 x168 x169 t3 x7 x169 x170 t2 x7 x170 t3 x11 x81 x171 t2 x81 x171 t2 x10 x172 t3 x10 x171 x172 t2 x171 x172 t2 x9 x173 t3 x9 x172 x173 t2 x172 x173 t3 x11 x81 x174 t1 x174 t3 x10 x174 x171 t3 x10 x171 x174 t2 x174 x172 t3 x9 x172 x174 t2 x174 x173 t3 x8 x173 x174 t2 x7 x175 t2 x81 x175 t3 x7 x174 x175 t3 x7 x81 x175 t2 x175 x176 t3 x4 x170 x176 t3 x4 x175 x176 t2 x4 x177 t2 x116 x177 t3 x4 x81 x177 t3 x4 x116 x177 t1 x177 t3 x6 x177 x176 t3 x6 x176 x177 t1 x177 t3 x5 x177 x166 t3 x5 x166 x177 t3 x3 x177 x178 t2 x177 x178 t2 x2 x179 t3 x2 x178 x179 t2 x178 x179 t2 x179 x149 t3 x1 x149 x179 t2 x179 x145 t3 x0 x145 x179 t3 x1 x22 x180 t2 x5 x181 t2 x137 x181 t3 x5 x62 x181 t3 x5 x137 x181 t2 x3 x182 t2 x181 x182 t3 x3 x38 x182 t3 x3 x181 x182 t3 x2 x182 x183 t2 x182 x183 t3 x10 x74 x184 t2 x10 x184 t2 x71 x185 t3 x12 x75 x185 t3 x12 x71 x185 t2 x185 x186 t3 x13 x92 x186 t3 x13 x185 x186 t2 x11 x187 t3 x11 x186 x187 t2 x186 x187 t3 x10 x187 x188 t2 x10 x188 t2 x188 x189 t3 x9 x184 x189 t3 x9 x188 x189 t2 x184 x190 t3 x9 x188 x190 t3 x9 x184 x190 t2 x190 x189 t3 x8 x189 x190 t2 x190 x191 t3 x7 x84 x191 t3 x7 x190 x191 t3 x4 x191 x192 t2 x4 x192 t2 x11 x193 t3 x11 x93 x193 t2 x93 x193 t2 x9 x194 t3 x9 x193 x194 t2 x193 x194 t3 x9 x193 x195 t2 x9 x195 t2 x195 x194 t3 x8 x194 x195 t2 x195 x196 t3 x7 x84 x196 t3 x7 x195 x196 t2 x9 x197 t3 x9 x11 x197 t2 x11 x197 t3 x9 x11 x198 t2 x9 x198 t2 x198 x197 t3 x8 x197 x198 t2 x84 x199 t3 x7 x198 x199 t3 x7 x84 x199 t2 x199 x196 t3 x4 x196 x199 t2 x199 x192 t3 x6 x192 x199 t2 x11 x200 t3 x11 x102 x200 t2 x102 x200 t2 x9 x201 t3 x9 x200 x201 t2 x200 x201 t3 x9 x200 x202 t2 x9 x202 t2 x202 x201 t3 x8 x201 x202 t3 x7 x202 x203 t2 x7 x203 t2 x11 x204 t3 x11 x84 x204 t2 x84 x204 t2 x10 x205 t3 x10 x204 x205 t2 x204 x205 t2 x9 x206 t3 x9 x205 x206 t2 x205 x206 t3 x11 x84 x207 t2 x11 x207 t2 x207 x204 t3 x10 x204 x207 t2 x207 x205 t3 x9 x205 x207 t2 x207 x206 t3 x8 x206 x207 t2 x84 x208 t3 x7 x207 x208 t3 x7 x84 x208 t2 x208 x209 t3 x4 x203 x209 t3 x4 x208 x209 t2 x116 x210 t3 x4 x84 x210 t3 x4 x116 x210 t2 x210 x209 t3 x6 x209 x210 t2 x210 x199 t3 x5 x199 x210 t2 x3 x211 t3 x3 x210 x211 t2 x210 x211 t2 x2 x212 t3 x2 x211 x212 t2 x211 x212 t2 x212 x213 t3 x1 x183 x213 t3 x1 x212 x213 t2 x213 x214 t3 x0 x180 x214 t3 x0 x213 x214 t3 x12 x41 x215 t3 x12 x41 x216 t2 x41 x216 t2 x13 x217 t2 x216 x217 t3 x13 x215 x217 t3 x13 x216 x217 t1 x152 t3 x13 x152 x215 t3 x13 x215 x152 t3 x11 x152 x218 t3 x10 x218 x219 t2 x218 x219 t2 x219 x220 t3 x9 x150 x220 t3 x9 x219 x220 t2 x150 x221 t3 x9 x219 x221 t3 x9 x150 x221 t2 x221 x220 t3 x8 x220 x221 t2 x7 x222 t2 x221 x222 t3 x7 x217 x222 t3 x7 x221 x222 t3 x4 x222 x223 t2 x7 x224 t2 x162 x224 t3 x7 x217 x224 t3 x7 x162 x224 t2 x7 x225 t2 x217 x225 t3 x7 x165 x225 t3 x7 x217 x225 t1 x225 t3 x4 x225 x224 t3 x4 x224 x225 t2 x225 x223 t3 x6 x223 x225 t3 x11 x217 x226 t2 x217 x226 t2 x10 x227 t3 x10 x226 x227 t2 x226 x227 t2 x9 x228 t3 x9 x227 x228 t2 x227 x228 t3 x11 x217 x229 t1 x229 t3 x10 x229 x226 t3 x10 x226 x229 t2 x229 x227 t3 x9 x227 x229 t2 x229 x228 t3 x8 x228 x229 t2 x7 x230 t2 x217 x230 t3 x7 x229 x230 t3 x7 x217 x230 t2 x230 x170 t3 x4 x170 x230 t2 x4 x231 t2 x116 x231 t3 x4 x217 x231 t3 x4 x116 x231 t1 x231 t3 x6 x231 x230 t3 x6 x230 x231 t1 x231 t3 x5 x231 x225 t3 x5 x225 x231 t3 x3 x231 x232 t2 x231 x232 t2 x2 x233 t3 x2 x232 x233 t2 x232 x233 t2 x233 x234 t3 x1 x183 x234 t3 x1 x233 x234 t2 x234 x235 t3 x0 x180 x235 t3 x0 x234 x235 t2 x2 x236 t3 x2 x182 x236 t2 x182 x236 t2 x120 x237 t3 x2 x3 x237 t3 x2 x120 x237 t1 x237 t3 x1 x237 x236 t3 x1 x236 x237 t2 x0 x238 t2 x237 x238 t3 x0 x180 x238 t3 x0 x237 x238 t2 x5 x239 t3 x4 x5 x239 t2 x4 x239 t2 x3 x240 t3 x3 x239 x240 t2 x239 x240 t2 x1 x241 t2 x240 x241 t3 x1 x22 x241 t3 x1 x240 x241 t2 x67 x242 t3 x6 x137 x242 t3 x6 x67 x242 t2 x5 x243 t2 x242 x243 t3 x5 x62 x243 t3 x5 x242 x243 t2 x3 x244 t2 x243 x244 t3 x3 x38 x244 t3 x3 x243 x244 t3 x2 x244 x245 t2 x244 x245 t2 x121 x246 t3 x1 x245 x246 t3 x1 x121 x246 t2 x246 x241 t3 x0 x241 x246 t3 x4 x5 x247 t2 x4 x247 t2 x3 x248 t3 x3 x247 x248 t2 x247 x248 t2 x1 x249 t2 x248 x249 t3 x1 x22 x249 t3 x1 x248 x249 t1 x128 t3 x6 x128 x137 t3 x6 x137 x128 t2 x5 x250 t2 x128 x250 t3 x5 x62 x250 t3 x5 x128 x250 t2 x3 x251 t2 x250 x251 t3 x3 x38 x251 t3 x3 x250 x251 t3 x2 x251 x252 t2 x251 x252 t3 x14 x15 x253 t2 x15 x253 t3 x12 x253 x254 t2 x253 x255 t3 x13 x254 x255 t3 x13 x253 x255 t2 x12 x256 t2 x71 x256 t3 x12 x253 x256 t3 x12 x71 x256 t1 x256 t3 x13 x256 x72 t3 x13 x72 x256 t2 x11 x257 t3 x11 x256 x257 t2 x256 x257 t2 x75 x258 t3 x13 x254 x258 t3 x13 x75 x258 t3 x11 x258 x259 t1 x259 t3 x10 x259 x257 t3 x10 x257 x259 t2 x259 x260 t3 x9 x79 x260 t3 x9 x259 x260 t2 x79 x261 t3 x9 x259 x261 t3 x9 x79 x261 t2 x261 x260 t3 x8 x260 x261 t2 x7 x262 t2 x261 x262 t3 x7 x255 x262 t3 x7 x261 x262 t3 x4 x262 x263 t2 x7 x264 t2 x96 x264 t3 x7 x255 x264 t3 x7 x96 x264 t2 x7 x265 t2 x255 x265 t3 x7 x98 x265 t3 x7 x255 x265 t1 x265 t3 x4 x265 x264 t3 x4 x264 x265 t2 x265 x263 t3 x6 x263 x265 t3 x11 x255 x266 t2 x255 x266 t2 x10 x267 t3 x10 x266 x267 t2 x266 x267 t2 x9 x268 t3 x9 x267 x268 t2 x267 x268 t3 x11 x255 x269 t1 x269 t3 x10 x269 x266 t3 x10 x266 x269 t2 x269 x267 t3 x9 x267 x269 t2 x269 x268 t3 x8 x268 x269 t2 x7 x270 t2 x255 x270 t3 x7 x269 x270 t3 x7 x255 x270 t2 x270 x271 t3 x4 x106 x271 t3 x4 x270 x271 t2 x4 x272 t2 x116 x272 t3 x4 x255 x272 t3 x4 x116 x272 t1 x272 t3 x6 x272 x271 t3 x6 x271 x272 t1 x272 t3 x5 x272 x265 t3 x5 x265 x272 t3 x3 x272 x273 t2 x272 x273 t2 x2 x274 t3 x2 x273 x274 t2 x273 x274 t2 x274 x252 t3 x1 x252 x274 t2 x274 x249 t3 x0 x249 x274 t3 x12 x39 x275 t2 x275 x276 t3 x13 x39 x276 t3 x13 x275 x276 t1 x275 t3 x13 x275 x71 t3 x13 x71 x275 t2 x11 x277 t3 x11 x275 x277 t2 x275 x277 t2 x75 x39 t3 x12 x39 x75 t2 x76 x75 t3 x13 x75 x76 t3 x11 x76 x278 t1 x278 t3 x10 x278 x277 t3 x10 x277 x278 t2 x278 x279 t3 x9 x79 x279 t3 x9 x278 x279 t2 x79 x280 t3 x9 x278 x280 t3 x9 x79 x280 t2 x280 x279 t3 x8 x279 x280 t2 x7 x281 t2 x280 x281 t3 x7 x276 x281 t3 x7 x280 x281 t3 x4 x281 x282 t2 x7 x283 t2 x96 x283 t3 x7 x276 x283 t3 x7 x96 x283 t2 x7 x284 t2 x276 x284 t3 x7 x98 x284 t3 x7 x276 x284 t1 x284 t3 x4 x284 x283 t3 x4 x283 x284 t2 x284 x282 t3 x6 x282 x284 t3 x11 x276 x285 t2 x276 x285 t2 x10 x286 t3 x10 x285 x286 t2 x285 x286 t2 x9 x287 t3 x9 x286 x287 t2 x286 x287 t3 x11 x276 x288 t1 x288 t3 x10 x288 x285 t3 x10 x285 x288 t2 x288 x286 t3 x9 x286 x288 t2 x288 x287 t3 x8 x287 x288 t2 x7 x289 t2 x276 x289 t3 x7 x288 x289 t3 x7 x276 x289 t2 x289 x290 t3 x4 x106 x290 t3 x4 x289 x290 t2 x4 x291 t2 x116 x291 t3 x4 x276 x291 t3 x4 x116 x291 t1 x291 t3 x6 x291 x290 t3 x6 x290 x291 t1 x291 t3 x5 x291 x284 t3 x5 x284 x291 t3 x3 x291 x292 t2 x291 x292 t2 x2 x293 t3 x2 x292 x293 t2 x292 x293 t2 x293 x294 t3 x1 x183 x294 t3 x1 x293 x294 t2 x294 x295 t3 x0 x180 x295 t3 x0 x294 x295 t2 x7 x296 t3 x7 x89 x296 t2 x89 x296 t3 x4 x296 x297 t2 x4 x297 t2 x4 x298 t2 x99 x298 t3 x4 x7 x298 t3 x4 x99 x298 t2 x6 x299 t2 x298 x299 t3 x6 x297 x299 t3 x6 x298 x299 t2 x118 x300 t3 x5 x299 x300 t3 x5 x118 x300 t2 x3 x301 t3 x3 x300 x301 t2 x300 x301 t2 x2 x302 t3 x2 x301 x302 t2 x301 x302 t2 x302 x303 t3 x1 x183 x303 t3 x1 x302 x303 t2 x303 x304 t3 x0 x180 x304 t3 x0 x303 x304 t2 x7 x305 t3 x4 x106 x305 t3 x4 x7 x305 t2 x6 x306 t2 x117 x306 t3 x6 x305 x306 t3 x6 x117 x306 t2 x5 x307 t2 x306 x307 t3 x5 x101 x307 t3 x5 x306 x307 t3 x3 x307 x308 t2 x307 x308 t2 x2 x309 t3 x2 x308 x309 t2 x308 x309 t2 x309 x310 t3 x1 x183 x310 t3 x1 x309 x310 t2 x310 x311 t3 x0 x180 x311 t3 x0 x310 x311 t2 x4 x312 t2 x116 x312 t3 x4 x7 x312 t3 x4 x116 x312 t2 x6 x313 t2 x312 x313 t3 x6 x113 x313 t3 x6 x312 x313 t2 x5 x314 t2 x313 x314 t3 x5 x101 x314 t3 x5 x313 x314 t3 x3 x314 x315 t2 x314 x315 t2 x2 x316 t3 x2 x315 x316 t2 x315 x316 t2 x316 x317 t3 x1 x183 x317 t3 x1 x316 x317 t2 x317 x318 t3 x0 x180 x318 t3 x0 x317 x318 t2 x116 x319 t3 x4 x7 x319 t3 x4 x116 x319 t2 x319 x113 t3 x6 x113 x319 t1 x319 t3 x5 x319 x101 t3 x5 x101 x319 t3 x3 x319 x320 t2 x319 x320 t2 x2 x321 t3 x2 x320 x321 t2 x320 x321 t2 x321 x322 t3 x1 x183 x322 t3 x1 x321 x322 t2 x322 x323 t3 x0 x180 x323 t3 x0 x322 x323 t3 x1 x22 x324 t2 x1 x324 t2 x121 x325 t3 x1 x183 x325 t3 x1 x121 x325 t2 x325 x326 t3 x0 x324 x326 t3 x0 x325 x326 t2 x1 x327 t2 x2 x327 t3 x1 x22 x327 t3 x1 x2 x327 t2 x3 x328 t3 x3 x119 x328 t2 x119 x328 t3 x2 x328 x329 t2 x328 x329 t2 x329 x330 t3 x1 x183 x330 t3 x1 x329 x330 t2 x330 x327 t3 x0 x327 x330 t2 x8 x331 t3 x8 x88 x331 t2 x88 x331 t2 x331 x332 t3 x7 x8 x332 t3 x7 x331 x332 t3 x4 x332 x333 t2 x4 x333 t2 x8 x334 t3 x8 x95 x334 t2 x95 x334 t2 x334 x335 t3 x7 x8 x335 t3 x7 x334 x335 t3 x8 x9 x336 t2 x9 x336 t2 x8 x337 t3 x7 x336 x337 t3 x7 x8 x337 t2 x337 x335 t3 x4 x335 x337 t2 x337 x333 t3 x6 x333 x337 t2 x8 x338 t3 x8 x104 x338 t2 x104 x338 t3 x7 x338 x339 t2 x7 x339 t2 x8 x340 t3 x8 x110 x340 t2 x110 x340 t2 x8 x341 t3 x7 x340 x341 t3 x7 x8 x341 t2 x341 x339 t3 x4 x339 x341 t2 x116 x342 t3 x4 x8 x342 t3 x4 x116 x342 t2 x342 x341 t3 x6 x341 x342 t2 x342 x337 t3 x5 x337 x342 t2 x3 x343 t3 x3 x342 x343 t2 x342 x343 t2 x2 x344 t3 x2 x343 x344 t2 x343 x344 t2 x344 x345 t3 x1 x183 x345 t3 x1 x344 x345 t2 x345 x346 t3 x0 x180 x346 t3 x0 x345 x346 t2 x9 x347 t3 x9 x86 x347 t2 x86 x347 t2 x9 x348 t3 x9 x79 x348 t2 x79 x348 t2 x348 x347 t3 x8 x347 x348 t2 x348 x349 t3 x7 x9 x349 t3 x7 x348 x349 t3 x4 x349 x350 t2 x4 x350 t3 x8 x94 x351 t2 x8 x351 t2 x351 x352 t3 x7 x9 x352 t3 x7 x351 x352 t3 x8 x9 x353 t2 x8 x353 t2 x9 x354 t3 x7 x353 x354 t3 x7 x9 x354 t2 x354 x352 t3 x4 x352 x354 t2 x354 x350 t3 x6 x350 x354 t3 x8 x103 x355 t2 x8 x355 t3 x7 x355 x356 t2 x7 x356 t2 x9 x357 t3 x9 x109 x357 t2 x109 x357 t2 x357 x358 t3 x8 x108 x358 t3 x8 x357 x358 t2 x9 x359 t3 x7 x358 x359 t3 x7 x9 x359 t2 x359 x356 t3 x4 x356 x359 t2 x116 x360 t3 x4 x9 x360 t3 x4 x116 x360 t2 x360 x359 t3 x6 x359 x360 t2 x360 x354 t3 x5 x354 x360 t2 x3 x361 t3 x3 x360 x361 t2 x360 x361 t2 x2 x362 t3 x2 x361 x362 t2 x361 x362 t2 x362 x363 t3 x1 x183 x363 t3 x1 x362 x363 t2 x363 x364 t3 x0 x180 x364 t3 x0 x363 x364 t3 x10 x85 x365 t2 x85 x365 t2 x365 x366 t3 x9 x150 x366 t3 x9 x365 x366 t2 x150 x365 t3 x9 x365 x150 t2 x150 x366 t3 x8 x366 x150 t2 x150 x367 t3 x7 x10 x367 t3 x7 x150 x367 t3 x4 x367 x368 t2 x4 x368 t2 x10 x369 t3 x10 x93 x369 t2 x93 x369 t2 x9 x370 t3 x9 x369 x370 t2 x369 x370 t3 x9 x369 x371 t2 x9 x371 t2 x371 x370 t3 x8 x370 x371 t2 x371 x372 t3 x7 x10 x372 t3 x7 x371 x372 t3 x9 x10 x373 t2 x9 x373 t2 x373 x374 t3 x8 x25 x374 t3 x8 x373 x374 t2 x10 x375 t3 x7 x374 x375 t3 x7 x10 x375 t2 x375 x372 t3 x4 x372 x375 t2 x375 x368 t3 x6 x368 x375 t2 x10 x376 t3 x10 x102 x376 t2 x102 x376 t2 x9 x377 t3 x9 x376 x377 t2 x376 x377 t3 x9 x376 x378 t2 x9 x378 t2 x378 x377 t3 x8 x377 x378 t3 x7 x378 x379 t2 x7 x379 t3 x10 x11 x380 t2 x11 x380 t2 x380 x381 t3 x9 x107 x381 t3 x9 x380 x381 t2 x381 x382 t3 x8 x108 x382 t3 x8 x381 x382 t2 x10 x383 t3 x7 x382 x383 t3 x7 x10 x383 t2 x383 x379 t3 x4 x379 x383 t2 x116 x384 t3 x4 x10 x384 t3 x4 x116 x384 t2 x384 x383 t3 x6 x383 x384 t2 x384 x375 t3 x5 x375 x384 t2 x3 x385 t3 x3 x384 x385 t2 x384 x385 t2 x2 x386 t3 x2 x385 x386 t2 x385 x386 t2 x386 x387 t3 x1 x183 x387 t3 x1 x386 x387 t2 x387 x388 t3 x0 x180 x388 t3 x0 x387 x388 t3 x10 x82 x389 t2 x10 x389 t2 x389 x390 t3 x9 x184 x390 t3 x9 x389 x390 t2 x184 x389 t3 x9 x389 x184 t2 x184 x390 t3 x8 x390 x184 t2 x184 x391 t3 x7 x11 x391 t3 x7 x184 x391 t3 x4 x391 x392 t2 x4 x392 t2 x195 x393 t3 x7 x11 x393 t3 x7 x195 x393 t2 x11 x394 t3 x7 x198 x394 t3 x7 x11 x394 t2 x394 x393 t3 x4 x393 x394 t2 x394 x392 t3 x6 x392 x394 t3 x10 x11 x395 t2 x10 x395 t2 x395 x107 t3 x9 x107 x395 t2 x395 x108 t3 x8 x108 x395 t2 x11 x396 t3 x7 x395 x396 t3 x7 x11 x396 t2 x396 x203 t3 x4 x203 x396 t2 x116 x397 t3 x4 x11 x397 t3 x4 x116 x397 t2 x397 x396 t3 x6 x396 x397 t2 x397 x394 t3 x5 x394 x397 t2 x3 x398 t3 x3 x397 x398 t2 x397 x398 t2 x2 x399 t3 x2 x398 x399 t2 x398 x399 t2 x399 x400 t3 x1 x183 x400 t3 x1 x399 x400 t2 x400 x401 t3 x0 x180 x401 t3 x0 x400 x401 t3 x4 x97 x402 t2 x402 x403 t3 x6 x91 x403 t3 x6 x402 x403 t3 x4 x106 x404 t2 x4 x404 t2 x6 x405 t2 x117 x405 t3 x6 x404 x405 t3 x6 x117 x405 t2 x5 x406 t2 x405 x406 t3 x5 x403 x406 t3 x5 x405 x406 t3 x3 x406 x407 t2 x406 x407 t2 x2 x408 t3 x2 x407 x408 t2 x407 x408 t2 x408 x409 t3 x1 x183 x409 t3 x1 x408 x409 t2 x409 x410 t3 x0 x180 x410 t3 x0 x409 x410 t2 x5 x411 t2 x118 x411 t3 x5 x403 x411 t3 x5 x118 x411 t3 x3 x411 x412 t2 x411 x412 t2 x2 x413 t3 x2 x412 x413 t2 x412 x413 t2 x413 x414 t3 x1 x183 x414 t3 x1 x413 x414 t2 x414 x415 t3 x0 x180 x415 t3 x0 x414 x415 t2 x298 x91 t3 x6 x91 x298 t2 x4 x416 t3 x4 x112 x416 t2 x112 x416 t1 x117 t3 x6 x117 x416 t3 x6 x416 x117 t1 x117 t3 x5 x117 x298 t3 x5 x298 x117 t3 x3 x117 x417 t2 x117 x417 t2 x2 x418 t3 x2 x417 x418 t2 x417 x418 t2 x418 x419 t3 x1 x183 x419 t3 x1 x418 x419 t2 x419 x420 t3 x0 x180 x420 t3 x0 x419 x420 t2 x4 x421 t2 x29 x421 t3 x4 x7 x421 t3 x4 x29 x421 t2 x421 x422 t3 x6 x28 x422 t3 x6 x421 x422 t2 x37 x423 t3 x5 x422 x423 t3 x5 x37 x423 t2 x49 x424 t3 x9 x45 x424 t3 x9 x49 x424 t2 x8 x425 t3 x8 x424 x425 t2 x424 x425 t2 x425 x426 t3 x7 x48 x426 t3 x7 x425 x426 t2 x48 x427 t3 x7 x57 x427 t3 x7 x48 x427 t3 x4 x427 x428 t2 x4 x428 t2 x428 x426 t3 x6 x426 x428 t2 x424 x429 t3 x8 x64 x429 t3 x8 x424 x429 t3 x7 x429 x430 t2 x429 x430 t2 x424 x431 t3 x8 x54 x431 t3 x8 x424 x431 t3 x7 x431 x432 t2 x431 x432 t2 x432 x430 t3 x4 x430 x432 t1 x432 t3 x5 x432 x428 t3 x5 x428 x432 t1 x432 t3 x3 x432 x423 t3 x3 x423 x432 t3 x2 x432 x433 t2 x432 x433 t2 x7 x434 t3 x7 x96 x434 t2 x96 x434 t2 x99 x434 t3 x4 x434 x99 t2 x99 x297 t3 x6 x297 x99 t2 x118 x435 t3 x5 x99 x435 t3 x5 x118 x435 t2 x3 x436 t3 x3 x435 x436 t2 x435 x436 t2 x2 x437 t3 x2 x436 x437 t2 x436 x437 t2 x437 x438 t3 x1 x433 x438 t3 x1 x437 x438 t2 x438 x439 t3 x0 x180 x439 t3 x0 x438 x439 t3 x7 x57 x440 t2 x7 x440 t3 x4 x440 x441 t2 x4 x441 t2 x441 x442 t3 x6 x52 x442 t3 x6 x441 x442 t2 x5 x443 t2 x66 x443 t3 x5 x442 x443 t3 x5 x66 x443 t2 x3 x444 t2 x443 x444 t3 x3 x38 x444 t3 x3 x443 x444 t3 x2 x444 x445 t2 x444 x445 t2 x121 x446 t3 x1 x445 x446 t3 x1 x121 x446 t2 x446 x447 t3 x0 x180 x447 t3 x0 x446 x447 t2 x437 x448 t3 x1 x183 x448 t3 x1 x437 x448 t2 x448 x449 t3 x0 x180 x449 t3 x0 x448 x449 t3 x4 x7 x450 t2 x100 x451 t3 x6 x450 x451 t3 x6 x100 x451 t1 x118 t3 x5 x118 x451 t3 x5 x451 x118 t3 x3 x118 x452 t2 x118 x452 t2 x2 x453 t3 x2 x452 x453 t2 x452 x453 t2 x453 x183 t3 x1 x183 x453 t2 x453 x454 t3 x0 x180 x454 t3 x0 x453 x454 t2 x6 x455 t3 x6 x17 x455 t2 x17 x455 t2 x19 x455 t3 x5 x455 x19 t2 x3 x456 t3 x3 x19 x456 t2 x19 x456 t2 x2 x457 t3 x2 x456 x457 t2 x456 x457 t3 x1 x457 x458 t2 x325 x458 t3 x0 x458 x325 t2 x3 x459 t3 x3 x7 x459 t2 x7 x459 t2 x1 x460 t2 x459 x460 t3 x1 x22 x460 t3 x1 x459 x460 t2 x8 x461 t3 x8 x373 x461 t2 x373 x461 t2 x7 x462 t3 x7 x461 x462 t2 x461 x462 t2 x6 x463 t3 x6 x462 x463 t2 x462 x463 t2 x5 x464 t2 x463 x464 t3 x5 x31 x464 t3 x5 x463 x464 t3 x9 x45 x465 t2 x9 x465 t2 x8 x466 t3 x8 x465 x466 t2 x465 x466 t2 x10 x467 t3 x9 x44 x467 t3 x9 x10 x467 t2 x8 x468 t3 x8 x467 x468 t2 x467 x468 t2 x468 x466 t3 x7 x466 x468 t3 x9 x44 x469 t2 x9 x469 t2 x8 x470 t3 x8 x469 x470 t2 x469 x470 t2 x470 x471 t3 x7 x57 x471 t3 x7 x470 x471 t3 x4 x471 x472 t2 x4 x472 t2 x472 x468 t3 x6 x468 x472 t2 x467 x473 t3 x8 x64 x473 t3 x8 x467 x473 t3 x7 x473 x474 t2 x473 x474 t2 x467 x475 t3 x8 x54 x475 t3 x8 x467 x475 t3 x7 x475 x476 t2 x475 x476 t2 x476 x474 t3 x4 x474 x476 t1 x476 t3 x5 x476 x472 t3 x5 x472 x476 t1 x476 t3 x3 x476 x464 t3 x3 x464 x476 t3 x2 x476 x477 t2 x476 x477 t2 x121 x478 t3 x1 x477 x478 t3 x1 x121 x478 t2 x478 x460 t3 x0 x460 x478 t3 x3 x7 x479 t2 x7 x479 t2 x1 x480 t2 x479 x480 t3 x1 x22 x480 t3 x1 x479 x480 t2 x4 x481 t3 x4 x27 x481 t2 x27 x481 t2 x29 x482 t3 x4 x7 x482 t3 x4 x29 x482 t2 x482 x483 t3 x6 x481 x483 t3 x6 x482 x483 t3 x9 x10 x484 t2 x10 x484 t2 x8 x485 t3 x8 x484 x485 t2 x484 x485 t3 x7 x485 x486 t2 x485 x486 t2 x7 x487 t3 x7 x485 x487 t2 x485 x487 t1 x487 t3 x4 x487 x486 t3 x4 x486 x487 t2 x487 x488 t3 x4 x6 x488 t3 x6 x487 x488 t1 x488 t3 x5 x488 x483 t3 x5 x483 x488 t2 x9 x489 t3 x9 x46 x489 t2 x46 x489 t2 x8 x490 t3 x8 x489 x490 t2 x489 x490 t2 x49 x491 t3 x9 x46 x491 t3 x9 x49 x491 t2 x8 x492 t3 x8 x491 x492 t2 x491 x492 t2 x492 x490 t3 x7 x490 x492 t2 x8 x493 t3 x8 x46 x493 t2 x46 x493 t2 x493 x494 t3 x7 x57 x494 t3 x7 x493 x494 t3 x4 x494 x495 t2 x4 x495 t2 x495 x492 t3 x6 x492 x495 t2 x491 x496 t3 x8 x64 x496 t3 x8 x491 x496 t3 x7 x496 x497 t2 x496 x497 t2 x491 x498 t3 x8 x54 x498 t3 x8 x491 x498 t3 x7 x498 x499 t2 x498 x499 t2 x499 x497 t3 x4 x497 x499 t1 x499 t3 x5 x499 x495 t3 x5 x495 x499 t2 x499 x488 t3 x3 x488 x499 t2 x2 x500 t3 x2 x499 x500 t2 x499 x500 t2 x121 x501 t3 x1 x500 x501 t3 x1 x121 x501 t2 x501 x480 t3 x0 x480 x501 t2 x1 x502 t2 x3 x502 t3 x1 x22 x502 t3 x1 x3 x502 t2 x10 x503 t3 x9 x46 x503 t3 x9 x10 x503 t2 x8 x504 t3 x8 x503 x504 t2 x503 x504 t2 x7 x505 t3 x7 x504 x505 t2 x504 x505 t3 x9 x46 x506 t2 x9 x506 t2 x8 x507 t3 x8 x506 x507 t2 x506 x507 t2 x507 x508 t3 x7 x57 x508 t3 x7 x507 x508 t3 x4 x508 x509 t2 x4 x509 t2 x509 x505 t3 x6 x505 x509 t2 x503 x510 t3 x8 x64 x510 t3 x8 x503 x510 t2 x7 x511 t3 x7 x510 x511 t2 x510 x511 t2 x503 x512 t3 x8 x54 x512 t3 x8 x503 x512 t2 x7 x513 t3 x7 x512 x513 t2 x512 x513 t2 x513 x511 t3 x4 x511 x513 t2 x513 x509 t3 x5 x509 x513 t2 x3 x514 t2 x513 x514 t3 x3 x38 x514 t3 x3 x513 x514 t3 x2 x514 x515 t2 x514 x515 t2 x121 x516 t3 x1 x515 x516 t3 x1 x121 x516 t2 x516 x502 t3 x0 x502 x516 t2 x450 x517 t3 x4 x6 x517 t3 x6 x450 x517 t2 x517 x518 t3 x5 x31 x518 t3 x5 x517 x518 t2 x59 x48 t3 x7 x48 x59 t2 x59 x519 t3 x4 x52 x519 t3 x4 x59 x519 t2 x61 x520 t3 x6 x519 x520 t3 x6 x61 x520 t2 x58 x521 t3 x8 x54 x521 t3 x8 x58 x521 t3 x7 x521 x522 t2 x521 x522 t2 x522 x523 t3 x4 x66 x523 t3 x4 x522 x523 t1 x523 t3 x5 x523 x520 t3 x5 x520 x523 t1 x523 t3 x3 x523 x518 t3 x3 x518 x523 t3 x2 x523 x524 t2 x523 x524 t2 x121 x525 t3 x1 x524 x525 t3 x1 x121 x525 t2 x525 x526 t3 x0 x180 x526 t3 x0 x525 x526 t2 x27 x527 t3 x4 x7 x527 t3 x4 x27 x527 t1 x421 t3 x6 x421 x527 t3 x6 x527 x421 t2 x6 x528 t2 x36 x528 t3 x6 x17 x528 t3 x6 x36 x528 t2 x528 x421 t3 x5 x421 x528 t2 x7 x529 t3 x7 x65 x529 t2 x65 x529 t2 x7 x530 t3 x7 x126 x530 t2 x126 x530 t2 x530 x529 t3 x4 x529 x530 t2 x530 x62 t3 x5 x62 x530 t2 x530 x528 t3 x3 x528 x530 t2 x2 x531 t3 x2 x530 x531 t2 x530 x531 t2 x121 x532 t3 x1 x531 x532 t3 x1 x121 x532 t2 x532 x533 t3 x0 x180 x533 t3 x0 x532 x533 t2 x3 x534 t3 x3 x6 x534 t2 x6 x534 t2 x1 x535 t2 x534 x535 t3 x1 x22 x535 t3 x1 x534 x535 t2 x92 x536 t3 x13 x40 x536 t3 x13 x92 x536 t2 x11 x537 t3 x11 x536 x537 t2 x536 x537 t2 x10 x538 t3 x10 x537 x538 t2 x537 x538 t3 x10 x537 x539 t2 x10 x539 t2 x539 x540 t3 x9 x538 x540 t3 x9 x539 x540 t2 x8 x541 t3 x8 x540 x541 t2 x540 x541 t3 x10 x537 x542 t2 x542 x543 t3 x9 x537 x543 t3 x9 x542 x543 t2 x8 x544 t3 x8 x543 x544 t2 x543 x544 t2 x544 x541 t3 x7 x541 x544 t2 x539 x537 t3 x9 x537 x539 t2 x8 x545 t3 x8 x539 x545 t2 x539 x545 t2 x545 x546 t3 x7 x57 x546 t3 x7 x545 x546 t3 x4 x546 x547 t2 x4 x547 t2 x547 x544 t3 x6 x544 x547 t2 x539 x548 t3 x8 x64 x548 t3 x8 x539 x548 t3 x7 x548 x549 t2 x548 x549 t2 x543 x550 t3 x8 x54 x550 t3 x8 x543 x550 t3 x7 x550 x551 t2 x550 x551 t2 x551 x549 t3 x4 x549 x551 t1 x551 t3 x5 x551 x547 t3 x5 x547 x551 t2 x3 x552 t2 x551 x552 t3 x3 x38 x552 t3 x3 x551 x552 t3 x2 x552 x553 t2 x552 x553 t2 x121 x554 t3 x1 x553 x554 t3 x1 x121 x554 t2 x554 x535 t3 x0 x535 x554 t3 x3 x6 x555 t2 x6 x555 t1 x555 t3 x1 x555 x22 t3 x1 x22 x555 t2 x12 x556 t3 x12 x253 x556 t2 x253 x556 t2 x556 x40 t3 x13 x40 x556 t2 x11 x557 t3 x11 x556 x557 t2 x556 x557 t2 x10 x558 t3 x10 x557 x558 t2 x557 x558 t3 x10 x557 x559 t2 x10 x559 t2 x559 x560 t3 x9 x558 x560 t3 x9 x559 x560 t2 x8 x561 t3 x8 x560 x561 t2 x560 x561 t2 x559 x562 t3 x9 x557 x562 t3 x9 x559 x562 t2 x8 x563 t3 x8 x562 x563 t2 x562 x563 t2 x563 x564 t3 x7 x561 x564 t3 x7 x563 x564 t3 x10 x557 x565 t2 x565 x557 t3 x9 x557 x565 t2 x8 x566 t3 x8 x565 x566 t2 x565 x566 t2 x566 x561 t3 x7 x561 x566 t2 x566 x564 t3 x4 x564 x566 t2 x563 x567 t3 x7 x57 x567 t3 x7 x563 x567 t3 x4 x567 x568 t2 x4 x568 t2 x568 x566 t3 x6 x566 x568 t2 x562 x569 t3 x8 x64 x569 t3 x8 x562 x569 t3 x7 x569 x570 t2 x569 x570 t2 x565 x571 t3 x8 x54 x571 t3 x8 x565 x571 t3 x7 x571 x572 t2 x571 x572 t2 x572 x573 t3 x4 x570 x573 t3 x4 x572 x573 t2 x565 x574 t3 x8 x64 x574 t3 x8 x565 x574 t3 x7 x574 x575 t2 x574 x575 t2 x572 x575 t3 x4 x575 x572 t2 x572 x573 t3 x6 x573 x572 t1 x572 t3 x5 x572 x568 t3 x5 x568 x572 t2 x3 x576 t2 x572 x576 t3 x3 x38 x576 t3 x3 x572 x576 t3 x2 x576 x577 t2 x576 x577 t2 x437 x578 t3 x1 x577 x578 t3 x1 x437 x578 t2 x578 x555 t3 x0 x555 x578 t2 x13 x579 t3 x13 x42 x579 t2 x42 x579 t2 x11 x580 t3 x11 x579 x580 t2 x579 x580 t2 x10 x581 t3 x10 x580 x581 t2 x580 x581 t3 x10 x580 x582 t2 x10 x582 t2 x582 x583 t3 x9 x581 x583 t3 x9 x582 x583 t2 x8 x584 t3 x8 x583 x584 t2 x583 x584 t3 x10 x580 x585 t2 x585 x586 t3 x9 x580 x586 t3 x9 x585 x586 t2 x8 x587 t3 x8 x586 x587 t2 x586 x587 t2 x587 x584 t3 x7 x584 x587 t2 x582 x580 t3 x9 x580 x582 t2 x8 x588 t3 x8 x582 x588 t2 x582 x588 t2 x588 x57 t3 x7 x57 x588 t3 x4 x588 x589 t2 x4 x589 t2 x589 x587 t3 x6 x587 x589 t2 x586 x590 t3 x8 x64 x590 t3 x8 x586 x590 t3 x7 x590 x591 t2 x590 x591 t2 x586 x592 t3 x8 x54 x592 t3 x8 x586 x592 t3 x7 x592 x593 t2 x592 x593 t2 x593 x594 t3 x4 x591 x594 t3 x4 x593 x594 t2 x582 x595 t3 x8 x64 x595 t3 x8 x582 x595 t3 x7 x595 x596 t2 x595 x596 t2 x593 x596 t3 x4 x596 x593 t2 x593 x594 t3 x6 x594 x593 t1 x593 t3 x5 x593 x589 t3 x5 x589 x593 t1 x593 t3 x3 x593 x38 t3 x3 x38 x593 t3 x2 x593 x597 t2 x593 x597 t2 x121 x598 t3 x1 x597 x598 t3 x1 x121 x598 t2 x598 x599 t3 x0 x180 x599 t3 x0 x598 x599 t2 x4 x600 t2 x35 x600 t3 x4 x7 x600 t3 x4 x35 x600 t2 x600 x601 t3 x4 x6 x601 t3 x6 x600 x601 t2 x601 x422 t3 x5 x422 x601 t2 x52 x602 t3 x4 x27 x602 t3 x4 x52 x602 t2 x441 x602 t3 x6 x602 x441 t2 x25 x64 t3 x8 x64 x25 t2 x7 x603 t3 x7 x25 x603 t2 x25 x603 t1 x127 t3 x4 x127 x603 t3 x4 x603 x127 t2 x127 x441 t3 x5 x441 x127 t1 x127 t3 x3 x127 x601 t3 x3 x601 x127 t3 x2 x127 x604 t2 x127 x604 t2 x437 x604 t3 x1 x604 x437 t2 x437 x125 t3 x0 x125 x437 t3 x4 x34 x605 t2 x605 x606 t3 x4 x6 x606 t3 x6 x605 x606 t2 x606 x31 t3 x5 x31 x606 t3 x4 x52 x607 t2 x4 x607 t2 x61 x607 t3 x6 x607 x61 t3 x8 x54 x608 t2 x8 x608 t2 x7 x609 t3 x7 x608 x609 t2 x608 x609 t1 x609 t3 x4 x609 x66 t3 x4 x66 x609 t1 x609 t3 x5 x609 x61 t3 x5 x61 x609 t1 x609 t3 x3 x609 x606 t3 x3 x606 x609 t3 x2 x609 x610 t2 x609 x610 t2 x121 x611 t3 x1 x610 x611 t3 x1 x121 x611 t2 x611 x24 t3 x0 x24 x611 t1 x482 t3 x6 x482 x28 t3 x6 x28 x482 t2 x6 x612 t2 x35 x612 t3 x4 x6 x612 t3 x6 x35 x612 t2 x612 x482 t3 x5 x482 x612 t2 x3 x613 t2 x181 x613 t3 x3 x612 x613 t3 x3 x181 x613 t3 x2 x613 x614 t2 x613 x614 t2 x121 x615 t3 x1 x614 x615 t3 x1 x121 x615 t2 x615 x616 t3 x0 x180 x616 t3 x0 x615 x616 t2 x4 x617 t2 x27 x617 t3 x4 x7 x617 t3 x4 x27 x617 t2 x30 x617 t3 x6 x617 x30 t2 x36 x450 t3 x6 x450 x36 t2 x36 x30 t3 x5 x30 x36 t1 x181 t3 x3 x181 x36 t3 x3 x36 x181 t3 x2 x181 x618 t2 x181 x618 t2 x121 x618 t3 x1 x618 x121 t2 x121 x180 t3 x0 x180 x121 .end