# This file has been generated using RevKit 1.3-snapshot (www.revkit.org) .version 2.0 .numvars 69 .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 .inputs a.0 b.0 x.0 x.1 x.2 x.3 x.4 x.5 x.6 x.7 x.8 x.9 x.10 x.11 x.12 x.13 x.14 x.15 x.16 x.17 x.18 x.19 x.20 x.21 x.22 x.23 x.24 x.25 x.26 x.27 x.28 x.29 x.30 x.31 y.0 y.1 y.2 y.3 y.4 y.5 y.6 y.7 y.8 y.9 y.10 y.11 y.12 y.13 y.14 y.15 y.16 y.17 y.18 y.19 y.20 y.21 y.22 y.23 y.24 y.25 y.26 y.27 y.28 y.29 y.30 y.31 const_0 const_0 const_0 .outputs a.0 b.0 x.0 x.1 x.2 x.3 x.4 x.5 x.6 x.7 x.8 x.9 x.10 x.11 x.12 x.13 x.14 x.15 x.16 x.17 x.18 x.19 x.20 x.21 x.22 x.23 x.24 x.25 x.26 x.27 x.28 x.29 x.30 x.31 y.0 y.1 y.2 y.3 y.4 y.5 y.6 y.7 y.8 y.9 y.10 y.11 y.12 y.13 y.14 y.15 y.16 y.17 y.18 y.19 y.20 y.21 y.22 y.23 y.24 y.25 y.26 y.27 y.28 y.29 y.30 y.31 const_0 const_0 const_0 .constants ------------------------------------------------------------------000 .garbage ------------------------------------------------------------------111 .begin t2 x0 x66 t3 x1 x66 x67 t3 x66 x67 x68 t3 x35 x68 x3 t3 x36 x68 x4 t3 x37 x68 x5 t3 x38 x68 x6 t3 x39 x68 x7 t3 x40 x68 x8 t3 x41 x68 x9 t3 x42 x68 x10 t3 x43 x68 x11 t3 x44 x68 x12 t3 x45 x68 x13 t3 x46 x68 x14 t3 x47 x68 x15 t3 x48 x68 x16 t3 x49 x68 x17 t3 x50 x68 x18 t3 x51 x68 x19 t3 x52 x68 x20 t3 x53 x68 x21 t3 x54 x68 x22 t3 x55 x68 x23 t3 x56 x68 x24 t3 x57 x68 x25 t3 x58 x68 x26 t3 x59 x68 x27 t3 x60 x68 x28 t3 x61 x68 x29 t3 x62 x68 x30 t3 x63 x68 x31 t3 x64 x68 x32 t3 x65 x68 x33 t3 x64 x68 x65 t3 x63 x68 x64 t3 x62 x68 x63 t3 x61 x68 x62 t3 x60 x68 x61 t3 x59 x68 x60 t3 x58 x68 x59 t3 x57 x68 x58 t3 x56 x68 x57 t3 x55 x68 x56 t3 x54 x68 x55 t3 x53 x68 x54 t3 x52 x68 x53 t3 x51 x68 x52 t3 x50 x68 x51 t3 x49 x68 x50 t3 x48 x68 x49 t3 x47 x68 x48 t3 x46 x68 x47 t3 x45 x68 x46 t3 x44 x68 x45 t3 x43 x68 x44 t3 x42 x68 x43 t3 x41 x68 x42 t3 x40 x68 x41 t3 x39 x68 x40 t3 x38 x68 x39 t3 x37 x68 x38 t3 x36 x68 x37 t3 x35 x68 x36 t4 x2 x34 x68 x35 t4 x3 x35 x68 x36 t4 x4 x36 x68 x37 t4 x5 x37 x68 x38 t4 x6 x38 x68 x39 t4 x7 x39 x68 x40 t4 x8 x40 x68 x41 t4 x9 x41 x68 x42 t4 x10 x42 x68 x43 t4 x11 x43 x68 x44 t4 x12 x44 x68 x45 t4 x13 x45 x68 x46 t4 x14 x46 x68 x47 t4 x15 x47 x68 x48 t4 x16 x48 x68 x49 t4 x17 x49 x68 x50 t4 x18 x50 x68 x51 t4 x19 x51 x68 x52 t4 x20 x52 x68 x53 t4 x21 x53 x68 x54 t4 x22 x54 x68 x55 t4 x23 x55 x68 x56 t4 x24 x56 x68 x57 t4 x25 x57 x68 x58 t4 x26 x58 x68 x59 t4 x27 x59 x68 x60 t4 x28 x60 x68 x61 t4 x29 x61 x68 x62 t4 x30 x62 x68 x63 t4 x31 x63 x68 x64 t4 x32 x64 x68 x65 t3 x65 x68 x33 t4 x32 x64 x68 x65 t3 x64 x68 x32 t4 x31 x63 x68 x64 t3 x63 x68 x31 t4 x30 x62 x68 x63 t3 x62 x68 x30 t4 x29 x61 x68 x62 t3 x61 x68 x29 t4 x28 x60 x68 x61 t3 x60 x68 x28 t4 x27 x59 x68 x60 t3 x59 x68 x27 t4 x26 x58 x68 x59 t3 x58 x68 x26 t4 x25 x57 x68 x58 t3 x57 x68 x25 t4 x24 x56 x68 x57 t3 x56 x68 x24 t4 x23 x55 x68 x56 t3 x55 x68 x23 t4 x22 x54 x68 x55 t3 x54 x68 x22 t4 x21 x53 x68 x54 t3 x53 x68 x21 t4 x20 x52 x68 x53 t3 x52 x68 x20 t4 x19 x51 x68 x52 t3 x51 x68 x19 t4 x18 x50 x68 x51 t3 x50 x68 x18 t4 x17 x49 x68 x50 t3 x49 x68 x17 t4 x16 x48 x68 x49 t3 x48 x68 x16 t4 x15 x47 x68 x48 t3 x47 x68 x15 t4 x14 x46 x68 x47 t3 x46 x68 x14 t4 x13 x45 x68 x46 t3 x45 x68 x13 t4 x12 x44 x68 x45 t3 x44 x68 x12 t4 x11 x43 x68 x44 t3 x43 x68 x11 t4 x10 x42 x68 x43 t3 x42 x68 x10 t4 x9 x41 x68 x42 t3 x41 x68 x9 t4 x8 x40 x68 x41 t3 x40 x68 x8 t4 x7 x39 x68 x40 t3 x39 x68 x7 t4 x6 x38 x68 x39 t3 x38 x68 x6 t4 x5 x37 x68 x38 t3 x37 x68 x5 t4 x4 x36 x68 x37 t3 x36 x68 x4 t4 x3 x35 x68 x36 t3 x35 x68 x3 t4 x2 x34 x68 x35 t3 x35 x68 x36 t3 x36 x68 x37 t3 x37 x68 x38 t3 x38 x68 x39 t3 x39 x68 x40 t3 x40 x68 x41 t3 x41 x68 x42 t3 x42 x68 x43 t3 x43 x68 x44 t3 x44 x68 x45 t3 x45 x68 x46 t3 x46 x68 x47 t3 x47 x68 x48 t3 x48 x68 x49 t3 x49 x68 x50 t3 x50 x68 x51 t3 x51 x68 x52 t3 x52 x68 x53 t3 x53 x68 x54 t3 x54 x68 x55 t3 x55 x68 x56 t3 x56 x68 x57 t3 x57 x68 x58 t3 x58 x68 x59 t3 x59 x68 x60 t3 x60 x68 x61 t3 x61 x68 x62 t3 x62 x68 x63 t3 x63 x68 x64 t3 x64 x68 x65 t3 x34 x68 x2 t3 x35 x68 x3 t3 x36 x68 x4 t3 x37 x68 x5 t3 x38 x68 x6 t3 x39 x68 x7 t3 x40 x68 x8 t3 x41 x68 x9 t3 x42 x68 x10 t3 x43 x68 x11 t3 x44 x68 x12 t3 x45 x68 x13 t3 x46 x68 x14 t3 x47 x68 x15 t3 x48 x68 x16 t3 x49 x68 x17 t3 x50 x68 x18 t3 x51 x68 x19 t3 x52 x68 x20 t3 x53 x68 x21 t3 x54 x68 x22 t3 x55 x68 x23 t3 x56 x68 x24 t3 x57 x68 x25 t3 x58 x68 x26 t3 x59 x68 x27 t3 x60 x68 x28 t3 x61 x68 x29 t3 x62 x68 x30 t3 x63 x68 x31 t3 x64 x68 x32 t3 x65 x68 x33 t3 x66 x67 x68 t2 x66 x67 t3 x66 x67 x68 t3 x3 x68 x35 t3 x4 x68 x36 t3 x5 x68 x37 t3 x6 x68 x38 t3 x7 x68 x39 t3 x8 x68 x40 t3 x9 x68 x41 t3 x10 x68 x42 t3 x11 x68 x43 t3 x12 x68 x44 t3 x13 x68 x45 t3 x14 x68 x46 t3 x15 x68 x47 t3 x16 x68 x48 t3 x17 x68 x49 t3 x18 x68 x50 t3 x19 x68 x51 t3 x20 x68 x52 t3 x21 x68 x53 t3 x22 x68 x54 t3 x23 x68 x55 t3 x24 x68 x56 t3 x25 x68 x57 t3 x26 x68 x58 t3 x27 x68 x59 t3 x28 x68 x60 t3 x29 x68 x61 t3 x30 x68 x62 t3 x31 x68 x63 t3 x32 x68 x64 t3 x33 x68 x65 t3 x32 x68 x33 t3 x31 x68 x32 t3 x30 x68 x31 t3 x29 x68 x30 t3 x28 x68 x29 t3 x27 x68 x28 t3 x26 x68 x27 t3 x25 x68 x26 t3 x24 x68 x25 t3 x23 x68 x24 t3 x22 x68 x23 t3 x21 x68 x22 t3 x20 x68 x21 t3 x19 x68 x20 t3 x18 x68 x19 t3 x17 x68 x18 t3 x16 x68 x17 t3 x15 x68 x16 t3 x14 x68 x15 t3 x13 x68 x14 t3 x12 x68 x13 t3 x11 x68 x12 t3 x10 x68 x11 t3 x9 x68 x10 t3 x8 x68 x9 t3 x7 x68 x8 t3 x6 x68 x7 t3 x5 x68 x6 t3 x4 x68 x5 t3 x3 x68 x4 t4 x2 x34 x68 x3 t4 x3 x35 x68 x4 t4 x4 x36 x68 x5 t4 x5 x37 x68 x6 t4 x6 x38 x68 x7 t4 x7 x39 x68 x8 t4 x8 x40 x68 x9 t4 x9 x41 x68 x10 t4 x10 x42 x68 x11 t4 x11 x43 x68 x12 t4 x12 x44 x68 x13 t4 x13 x45 x68 x14 t4 x14 x46 x68 x15 t4 x15 x47 x68 x16 t4 x16 x48 x68 x17 t4 x17 x49 x68 x18 t4 x18 x50 x68 x19 t4 x19 x51 x68 x20 t4 x20 x52 x68 x21 t4 x21 x53 x68 x22 t4 x22 x54 x68 x23 t4 x23 x55 x68 x24 t4 x24 x56 x68 x25 t4 x25 x57 x68 x26 t4 x26 x58 x68 x27 t4 x27 x59 x68 x28 t4 x28 x60 x68 x29 t4 x29 x61 x68 x30 t4 x30 x62 x68 x31 t4 x31 x63 x68 x32 t4 x32 x64 x68 x33 t3 x33 x68 x65 t4 x32 x64 x68 x33 t3 x32 x68 x64 t4 x31 x63 x68 x32 t3 x31 x68 x63 t4 x30 x62 x68 x31 t3 x30 x68 x62 t4 x29 x61 x68 x30 t3 x29 x68 x61 t4 x28 x60 x68 x29 t3 x28 x68 x60 t4 x27 x59 x68 x28 t3 x27 x68 x59 t4 x26 x58 x68 x27 t3 x26 x68 x58 t4 x25 x57 x68 x26 t3 x25 x68 x57 t4 x24 x56 x68 x25 t3 x24 x68 x56 t4 x23 x55 x68 x24 t3 x23 x68 x55 t4 x22 x54 x68 x23 t3 x22 x68 x54 t4 x21 x53 x68 x22 t3 x21 x68 x53 t4 x20 x52 x68 x21 t3 x20 x68 x52 t4 x19 x51 x68 x20 t3 x19 x68 x51 t4 x18 x50 x68 x19 t3 x18 x68 x50 t4 x17 x49 x68 x18 t3 x17 x68 x49 t4 x16 x48 x68 x17 t3 x16 x68 x48 t4 x15 x47 x68 x16 t3 x15 x68 x47 t4 x14 x46 x68 x15 t3 x14 x68 x46 t4 x13 x45 x68 x14 t3 x13 x68 x45 t4 x12 x44 x68 x13 t3 x12 x68 x44 t4 x11 x43 x68 x12 t3 x11 x68 x43 t4 x10 x42 x68 x11 t3 x10 x68 x42 t4 x9 x41 x68 x10 t3 x9 x68 x41 t4 x8 x40 x68 x9 t3 x8 x68 x40 t4 x7 x39 x68 x8 t3 x7 x68 x39 t4 x6 x38 x68 x7 t3 x6 x68 x38 t4 x5 x37 x68 x6 t3 x5 x68 x37 t4 x4 x36 x68 x5 t3 x4 x68 x36 t4 x3 x35 x68 x4 t3 x3 x68 x35 t4 x2 x34 x68 x3 t3 x3 x68 x4 t3 x4 x68 x5 t3 x5 x68 x6 t3 x6 x68 x7 t3 x7 x68 x8 t3 x8 x68 x9 t3 x9 x68 x10 t3 x10 x68 x11 t3 x11 x68 x12 t3 x12 x68 x13 t3 x13 x68 x14 t3 x14 x68 x15 t3 x15 x68 x16 t3 x16 x68 x17 t3 x17 x68 x18 t3 x18 x68 x19 t3 x19 x68 x20 t3 x20 x68 x21 t3 x21 x68 x22 t3 x22 x68 x23 t3 x23 x68 x24 t3 x24 x68 x25 t3 x25 x68 x26 t3 x26 x68 x27 t3 x27 x68 x28 t3 x28 x68 x29 t3 x29 x68 x30 t3 x30 x68 x31 t3 x31 x68 x32 t3 x32 x68 x33 t3 x2 x68 x34 t3 x3 x68 x35 t3 x4 x68 x36 t3 x5 x68 x37 t3 x6 x68 x38 t3 x7 x68 x39 t3 x8 x68 x40 t3 x9 x68 x41 t3 x10 x68 x42 t3 x11 x68 x43 t3 x12 x68 x44 t3 x13 x68 x45 t3 x14 x68 x46 t3 x15 x68 x47 t3 x16 x68 x48 t3 x17 x68 x49 t3 x18 x68 x50 t3 x19 x68 x51 t3 x20 x68 x52 t3 x21 x68 x53 t3 x22 x68 x54 t3 x23 x68 x55 t3 x24 x68 x56 t3 x25 x68 x57 t3 x26 x68 x58 t3 x27 x68 x59 t3 x28 x68 x60 t3 x29 x68 x61 t3 x30 x68 x62 t3 x31 x68 x63 t3 x32 x68 x64 t3 x33 x68 x65 t3 x66 x67 x68 t2 x66 x67 t3 x1 x66 x67 t1 x66 t3 x1 x66 x67 t3 x66 x67 x68 t3 x65 x68 x33 t3 x64 x68 x32 t3 x63 x68 x31 t3 x62 x68 x30 t3 x61 x68 x29 t3 x60 x68 x28 t3 x59 x68 x27 t3 x58 x68 x26 t3 x57 x68 x25 t3 x56 x68 x24 t3 x55 x68 x23 t3 x54 x68 x22 t3 x53 x68 x21 t3 x52 x68 x20 t3 x51 x68 x19 t3 x50 x68 x18 t3 x49 x68 x17 t3 x48 x68 x16 t3 x47 x68 x15 t3 x46 x68 x14 t3 x45 x68 x13 t3 x44 x68 x12 t3 x43 x68 x11 t3 x42 x68 x10 t3 x41 x68 x9 t3 x40 x68 x8 t3 x39 x68 x7 t3 x38 x68 x6 t3 x37 x68 x5 t3 x36 x68 x4 t3 x35 x68 x3 t3 x34 x68 x2 t3 x64 x68 x65 t3 x63 x68 x64 t3 x62 x68 x63 t3 x61 x68 x62 t3 x60 x68 x61 t3 x59 x68 x60 t3 x58 x68 x59 t3 x57 x68 x58 t3 x56 x68 x57 t3 x55 x68 x56 t3 x54 x68 x55 t3 x53 x68 x54 t3 x52 x68 x53 t3 x51 x68 x52 t3 x50 x68 x51 t3 x49 x68 x50 t3 x48 x68 x49 t3 x47 x68 x48 t3 x46 x68 x47 t3 x45 x68 x46 t3 x44 x68 x45 t3 x43 x68 x44 t3 x42 x68 x43 t3 x41 x68 x42 t3 x40 x68 x41 t3 x39 x68 x40 t3 x38 x68 x39 t3 x37 x68 x38 t3 x36 x68 x37 t3 x35 x68 x36 t4 x2 x34 x68 x35 t3 x35 x68 x3 t4 x3 x35 x68 x36 t3 x36 x68 x4 t4 x4 x36 x68 x37 t3 x37 x68 x5 t4 x5 x37 x68 x38 t3 x38 x68 x6 t4 x6 x38 x68 x39 t3 x39 x68 x7 t4 x7 x39 x68 x40 t3 x40 x68 x8 t4 x8 x40 x68 x41 t3 x41 x68 x9 t4 x9 x41 x68 x42 t3 x42 x68 x10 t4 x10 x42 x68 x43 t3 x43 x68 x11 t4 x11 x43 x68 x44 t3 x44 x68 x12 t4 x12 x44 x68 x45 t3 x45 x68 x13 t4 x13 x45 x68 x46 t3 x46 x68 x14 t4 x14 x46 x68 x47 t3 x47 x68 x15 t4 x15 x47 x68 x48 t3 x48 x68 x16 t4 x16 x48 x68 x49 t3 x49 x68 x17 t4 x17 x49 x68 x50 t3 x50 x68 x18 t4 x18 x50 x68 x51 t3 x51 x68 x19 t4 x19 x51 x68 x52 t3 x52 x68 x20 t4 x20 x52 x68 x53 t3 x53 x68 x21 t4 x21 x53 x68 x54 t3 x54 x68 x22 t4 x22 x54 x68 x55 t3 x55 x68 x23 t4 x23 x55 x68 x56 t3 x56 x68 x24 t4 x24 x56 x68 x57 t3 x57 x68 x25 t4 x25 x57 x68 x58 t3 x58 x68 x26 t4 x26 x58 x68 x59 t3 x59 x68 x27 t4 x27 x59 x68 x60 t3 x60 x68 x28 t4 x28 x60 x68 x61 t3 x61 x68 x29 t4 x29 x61 x68 x62 t3 x62 x68 x30 t4 x30 x62 x68 x63 t3 x63 x68 x31 t4 x31 x63 x68 x64 t3 x64 x68 x32 t4 x32 x64 x68 x65 t3 x65 x68 x33 t4 x32 x64 x68 x65 t4 x31 x63 x68 x64 t4 x30 x62 x68 x63 t4 x29 x61 x68 x62 t4 x28 x60 x68 x61 t4 x27 x59 x68 x60 t4 x26 x58 x68 x59 t4 x25 x57 x68 x58 t4 x24 x56 x68 x57 t4 x23 x55 x68 x56 t4 x22 x54 x68 x55 t4 x21 x53 x68 x54 t4 x20 x52 x68 x53 t4 x19 x51 x68 x52 t4 x18 x50 x68 x51 t4 x17 x49 x68 x50 t4 x16 x48 x68 x49 t4 x15 x47 x68 x48 t4 x14 x46 x68 x47 t4 x13 x45 x68 x46 t4 x12 x44 x68 x45 t4 x11 x43 x68 x44 t4 x10 x42 x68 x43 t4 x9 x41 x68 x42 t4 x8 x40 x68 x41 t4 x7 x39 x68 x40 t4 x6 x38 x68 x39 t4 x5 x37 x68 x38 t4 x4 x36 x68 x37 t4 x3 x35 x68 x36 t4 x2 x34 x68 x35 t3 x35 x68 x36 t3 x36 x68 x37 t3 x37 x68 x38 t3 x38 x68 x39 t3 x39 x68 x40 t3 x40 x68 x41 t3 x41 x68 x42 t3 x42 x68 x43 t3 x43 x68 x44 t3 x44 x68 x45 t3 x45 x68 x46 t3 x46 x68 x47 t3 x47 x68 x48 t3 x48 x68 x49 t3 x49 x68 x50 t3 x50 x68 x51 t3 x51 x68 x52 t3 x52 x68 x53 t3 x53 x68 x54 t3 x54 x68 x55 t3 x55 x68 x56 t3 x56 x68 x57 t3 x57 x68 x58 t3 x58 x68 x59 t3 x59 x68 x60 t3 x60 x68 x61 t3 x61 x68 x62 t3 x62 x68 x63 t3 x63 x68 x64 t3 x64 x68 x65 t3 x65 x68 x33 t3 x64 x68 x32 t3 x63 x68 x31 t3 x62 x68 x30 t3 x61 x68 x29 t3 x60 x68 x28 t3 x59 x68 x27 t3 x58 x68 x26 t3 x57 x68 x25 t3 x56 x68 x24 t3 x55 x68 x23 t3 x54 x68 x22 t3 x53 x68 x21 t3 x52 x68 x20 t3 x51 x68 x19 t3 x50 x68 x18 t3 x49 x68 x17 t3 x48 x68 x16 t3 x47 x68 x15 t3 x46 x68 x14 t3 x45 x68 x13 t3 x44 x68 x12 t3 x43 x68 x11 t3 x42 x68 x10 t3 x41 x68 x9 t3 x40 x68 x8 t3 x39 x68 x7 t3 x38 x68 x6 t3 x37 x68 x5 t3 x36 x68 x4 t3 x35 x68 x3 t3 x66 x67 x68 t2 x66 x67 t3 x66 x67 x68 t3 x33 x68 x65 t3 x32 x68 x64 t3 x31 x68 x63 t3 x30 x68 x62 t3 x29 x68 x61 t3 x28 x68 x60 t3 x27 x68 x59 t3 x26 x68 x58 t3 x25 x68 x57 t3 x24 x68 x56 t3 x23 x68 x55 t3 x22 x68 x54 t3 x21 x68 x53 t3 x20 x68 x52 t3 x19 x68 x51 t3 x18 x68 x50 t3 x17 x68 x49 t3 x16 x68 x48 t3 x15 x68 x47 t3 x14 x68 x46 t3 x13 x68 x45 t3 x12 x68 x44 t3 x11 x68 x43 t3 x10 x68 x42 t3 x9 x68 x41 t3 x8 x68 x40 t3 x7 x68 x39 t3 x6 x68 x38 t3 x5 x68 x37 t3 x4 x68 x36 t3 x3 x68 x35 t3 x2 x68 x34 t3 x32 x68 x33 t3 x31 x68 x32 t3 x30 x68 x31 t3 x29 x68 x30 t3 x28 x68 x29 t3 x27 x68 x28 t3 x26 x68 x27 t3 x25 x68 x26 t3 x24 x68 x25 t3 x23 x68 x24 t3 x22 x68 x23 t3 x21 x68 x22 t3 x20 x68 x21 t3 x19 x68 x20 t3 x18 x68 x19 t3 x17 x68 x18 t3 x16 x68 x17 t3 x15 x68 x16 t3 x14 x68 x15 t3 x13 x68 x14 t3 x12 x68 x13 t3 x11 x68 x12 t3 x10 x68 x11 t3 x9 x68 x10 t3 x8 x68 x9 t3 x7 x68 x8 t3 x6 x68 x7 t3 x5 x68 x6 t3 x4 x68 x5 t3 x3 x68 x4 t4 x2 x34 x68 x3 t3 x3 x68 x35 t4 x3 x35 x68 x4 t3 x4 x68 x36 t4 x4 x36 x68 x5 t3 x5 x68 x37 t4 x5 x37 x68 x6 t3 x6 x68 x38 t4 x6 x38 x68 x7 t3 x7 x68 x39 t4 x7 x39 x68 x8 t3 x8 x68 x40 t4 x8 x40 x68 x9 t3 x9 x68 x41 t4 x9 x41 x68 x10 t3 x10 x68 x42 t4 x10 x42 x68 x11 t3 x11 x68 x43 t4 x11 x43 x68 x12 t3 x12 x68 x44 t4 x12 x44 x68 x13 t3 x13 x68 x45 t4 x13 x45 x68 x14 t3 x14 x68 x46 t4 x14 x46 x68 x15 t3 x15 x68 x47 t4 x15 x47 x68 x16 t3 x16 x68 x48 t4 x16 x48 x68 x17 t3 x17 x68 x49 t4 x17 x49 x68 x18 t3 x18 x68 x50 t4 x18 x50 x68 x19 t3 x19 x68 x51 t4 x19 x51 x68 x20 t3 x20 x68 x52 t4 x20 x52 x68 x21 t3 x21 x68 x53 t4 x21 x53 x68 x22 t3 x22 x68 x54 t4 x22 x54 x68 x23 t3 x23 x68 x55 t4 x23 x55 x68 x24 t3 x24 x68 x56 t4 x24 x56 x68 x25 t3 x25 x68 x57 t4 x25 x57 x68 x26 t3 x26 x68 x58 t4 x26 x58 x68 x27 t3 x27 x68 x59 t4 x27 x59 x68 x28 t3 x28 x68 x60 t4 x28 x60 x68 x29 t3 x29 x68 x61 t4 x29 x61 x68 x30 t3 x30 x68 x62 t4 x30 x62 x68 x31 t3 x31 x68 x63 t4 x31 x63 x68 x32 t3 x32 x68 x64 t4 x32 x64 x68 x33 t3 x33 x68 x65 t4 x32 x64 x68 x33 t4 x31 x63 x68 x32 t4 x30 x62 x68 x31 t4 x29 x61 x68 x30 t4 x28 x60 x68 x29 t4 x27 x59 x68 x28 t4 x26 x58 x68 x27 t4 x25 x57 x68 x26 t4 x24 x56 x68 x25 t4 x23 x55 x68 x24 t4 x22 x54 x68 x23 t4 x21 x53 x68 x22 t4 x20 x52 x68 x21 t4 x19 x51 x68 x20 t4 x18 x50 x68 x19 t4 x17 x49 x68 x18 t4 x16 x48 x68 x17 t4 x15 x47 x68 x16 t4 x14 x46 x68 x15 t4 x13 x45 x68 x14 t4 x12 x44 x68 x13 t4 x11 x43 x68 x12 t4 x10 x42 x68 x11 t4 x9 x41 x68 x10 t4 x8 x40 x68 x9 t4 x7 x39 x68 x8 t4 x6 x38 x68 x7 t4 x5 x37 x68 x6 t4 x4 x36 x68 x5 t4 x3 x35 x68 x4 t4 x2 x34 x68 x3 t3 x3 x68 x4 t3 x4 x68 x5 t3 x5 x68 x6 t3 x6 x68 x7 t3 x7 x68 x8 t3 x8 x68 x9 t3 x9 x68 x10 t3 x10 x68 x11 t3 x11 x68 x12 t3 x12 x68 x13 t3 x13 x68 x14 t3 x14 x68 x15 t3 x15 x68 x16 t3 x16 x68 x17 t3 x17 x68 x18 t3 x18 x68 x19 t3 x19 x68 x20 t3 x20 x68 x21 t3 x21 x68 x22 t3 x22 x68 x23 t3 x23 x68 x24 t3 x24 x68 x25 t3 x25 x68 x26 t3 x26 x68 x27 t3 x27 x68 x28 t3 x28 x68 x29 t3 x29 x68 x30 t3 x30 x68 x31 t3 x31 x68 x32 t3 x32 x68 x33 t3 x33 x68 x65 t3 x32 x68 x64 t3 x31 x68 x63 t3 x30 x68 x62 t3 x29 x68 x61 t3 x28 x68 x60 t3 x27 x68 x59 t3 x26 x68 x58 t3 x25 x68 x57 t3 x24 x68 x56 t3 x23 x68 x55 t3 x22 x68 x54 t3 x21 x68 x53 t3 x20 x68 x52 t3 x19 x68 x51 t3 x18 x68 x50 t3 x17 x68 x49 t3 x16 x68 x48 t3 x15 x68 x47 t3 x14 x68 x46 t3 x13 x68 x45 t3 x12 x68 x44 t3 x11 x68 x43 t3 x10 x68 x42 t3 x9 x68 x41 t3 x8 x68 x40 t3 x7 x68 x39 t3 x6 x68 x38 t3 x5 x68 x37 t3 x4 x68 x36 t3 x3 x68 x35 t3 x66 x67 x68 t2 x66 x67 t3 x1 x66 x67 t1 x66 t2 x0 x66 .end