# This file has been generated using RevKit 1.3-snapshot (www.revkit.org) .version 2.0 .numvars 96 .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 .inputs 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 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 z.0 z.1 z.2 z.3 z.4 z.5 z.6 z.7 z.8 z.9 z.10 z.11 z.12 z.13 z.14 z.15 const_1 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 .outputs 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 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 z.0 z.1 z.2 z.3 z.4 z.5 z.6 z.7 z.8 z.9 z.10 z.11 z.12 z.13 z.14 z.15 const_1 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 const_0 .constants ------------------------------------------------100000000000000000000000000000000000000000000000 .garbage ----------------11111111111111111111111111111111111111111111111111111111111111111111111111111111 .begin t2 x32 x64 t2 x48 x64 t3 x32 x48 x64 t2 x33 x65 t2 x49 x65 t3 x33 x49 x65 t2 x34 x66 t2 x50 x66 t3 x34 x50 x66 t2 x35 x67 t2 x51 x67 t3 x35 x51 x67 t2 x36 x68 t2 x52 x68 t3 x36 x52 x68 t2 x37 x69 t2 x53 x69 t3 x37 x53 x69 t2 x38 x70 t2 x54 x70 t3 x38 x54 x70 t2 x39 x71 t2 x55 x71 t3 x39 x55 x71 t2 x40 x72 t2 x56 x72 t3 x40 x56 x72 t2 x41 x73 t2 x57 x73 t3 x41 x57 x73 t2 x42 x74 t2 x58 x74 t3 x42 x58 x74 t2 x43 x75 t2 x59 x75 t3 x43 x59 x75 t2 x44 x76 t2 x60 x76 t3 x44 x60 x76 t2 x45 x77 t2 x61 x77 t3 x45 x61 x77 t2 x46 x78 t2 x62 x78 t3 x46 x62 x78 t2 x47 x79 t2 x63 x79 t3 x47 x63 x79 t3 x16 x64 x80 t3 x17 x65 x81 t3 x18 x66 x82 t3 x19 x67 x83 t3 x20 x68 x84 t3 x21 x69 x85 t3 x22 x70 x86 t3 x23 x71 x87 t3 x24 x72 x88 t3 x25 x73 x89 t3 x26 x74 x90 t3 x27 x75 x91 t3 x28 x76 x92 t3 x29 x77 x93 t3 x30 x78 x94 t3 x31 x79 x95 t2 x81 x1 t2 x82 x2 t2 x83 x3 t2 x84 x4 t2 x85 x5 t2 x86 x6 t2 x87 x7 t2 x88 x8 t2 x89 x9 t2 x90 x10 t2 x91 x11 t2 x92 x12 t2 x93 x13 t2 x94 x14 t2 x95 x15 t2 x94 x95 t2 x93 x94 t2 x92 x93 t2 x91 x92 t2 x90 x91 t2 x89 x90 t2 x88 x89 t2 x87 x88 t2 x86 x87 t2 x85 x86 t2 x84 x85 t2 x83 x84 t2 x82 x83 t2 x81 x82 t3 x0 x80 x81 t3 x1 x81 x82 t3 x2 x82 x83 t3 x3 x83 x84 t3 x4 x84 x85 t3 x5 x85 x86 t3 x6 x86 x87 t3 x7 x87 x88 t3 x8 x88 x89 t3 x9 x89 x90 t3 x10 x90 x91 t3 x11 x91 x92 t3 x12 x92 x93 t3 x13 x93 x94 t3 x14 x94 x95 t2 x95 x15 t3 x14 x94 x95 t2 x94 x14 t3 x13 x93 x94 t2 x93 x13 t3 x12 x92 x93 t2 x92 x12 t3 x11 x91 x92 t2 x91 x11 t3 x10 x90 x91 t2 x90 x10 t3 x9 x89 x90 t2 x89 x9 t3 x8 x88 x89 t2 x88 x8 t3 x7 x87 x88 t2 x87 x7 t3 x6 x86 x87 t2 x86 x6 t3 x5 x85 x86 t2 x85 x5 t3 x4 x84 x85 t2 x84 x4 t3 x3 x83 x84 t2 x83 x3 t3 x2 x82 x83 t2 x82 x2 t3 x1 x81 x82 t2 x81 x1 t3 x0 x80 x81 t2 x81 x82 t2 x82 x83 t2 x83 x84 t2 x84 x85 t2 x85 x86 t2 x86 x87 t2 x87 x88 t2 x88 x89 t2 x89 x90 t2 x90 x91 t2 x91 x92 t2 x92 x93 t2 x93 x94 t2 x94 x95 t2 x80 x0 t2 x81 x1 t2 x82 x2 t2 x83 x3 t2 x84 x4 t2 x85 x5 t2 x86 x6 t2 x87 x7 t2 x88 x8 t2 x89 x9 t2 x90 x10 t2 x91 x11 t2 x92 x12 t2 x93 x13 t2 x94 x14 t2 x95 x15 t3 x31 x79 x95 t3 x30 x78 x94 t3 x29 x77 x93 t3 x28 x76 x92 t3 x27 x75 x91 t3 x26 x74 x90 t3 x25 x73 x89 t3 x24 x72 x88 t3 x23 x71 x87 t3 x22 x70 x86 t3 x21 x69 x85 t3 x20 x68 x84 t3 x19 x67 x83 t3 x18 x66 x82 t3 x17 x65 x81 t3 x16 x64 x80 t3 x47 x63 x79 t2 x63 x79 t2 x47 x79 t3 x46 x62 x78 t2 x62 x78 t2 x46 x78 t3 x45 x61 x77 t2 x61 x77 t2 x45 x77 t3 x44 x60 x76 t2 x60 x76 t2 x44 x76 t3 x43 x59 x75 t2 x59 x75 t2 x43 x75 t3 x42 x58 x74 t2 x58 x74 t2 x42 x74 t3 x41 x57 x73 t2 x57 x73 t2 x41 x73 t3 x40 x56 x72 t2 x56 x72 t2 x40 x72 t3 x39 x55 x71 t2 x55 x71 t2 x39 x71 t3 x38 x54 x70 t2 x54 x70 t2 x38 x70 t3 x37 x53 x69 t2 x53 x69 t2 x37 x69 t3 x36 x52 x68 t2 x52 x68 t2 x36 x68 t3 x35 x51 x67 t2 x51 x67 t2 x35 x67 t3 x34 x50 x66 t2 x50 x66 t2 x34 x66 t3 x33 x49 x65 t2 x49 x65 t2 x33 x65 t3 x32 x48 x64 t2 x48 x64 t2 x32 x64 t2 x31 x15 t2 x30 x14 t2 x29 x13 t2 x28 x12 t2 x27 x11 t2 x26 x10 t2 x25 x9 t2 x24 x8 t2 x23 x7 t2 x22 x6 t2 x21 x5 t2 x20 x4 t2 x19 x3 t2 x18 x2 t2 x17 x1 t2 x16 x0 t2 x30 x31 t2 x29 x30 t2 x28 x29 t2 x27 x28 t2 x26 x27 t2 x25 x26 t2 x24 x25 t2 x23 x24 t2 x22 x23 t2 x21 x22 t2 x20 x21 t2 x19 x20 t2 x18 x19 t2 x17 x18 t3 x0 x16 x17 t2 x17 x1 t3 x1 x17 x18 t2 x18 x2 t3 x2 x18 x19 t2 x19 x3 t3 x3 x19 x20 t2 x20 x4 t3 x4 x20 x21 t2 x21 x5 t3 x5 x21 x22 t2 x22 x6 t3 x6 x22 x23 t2 x23 x7 t3 x7 x23 x24 t2 x24 x8 t3 x8 x24 x25 t2 x25 x9 t3 x9 x25 x26 t2 x26 x10 t3 x10 x26 x27 t2 x27 x11 t3 x11 x27 x28 t2 x28 x12 t3 x12 x28 x29 t2 x29 x13 t3 x13 x29 x30 t2 x30 x14 t3 x14 x30 x31 t2 x31 x15 t3 x14 x30 x31 t3 x13 x29 x30 t3 x12 x28 x29 t3 x11 x27 x28 t3 x10 x26 x27 t3 x9 x25 x26 t3 x8 x24 x25 t3 x7 x23 x24 t3 x6 x22 x23 t3 x5 x21 x22 t3 x4 x20 x21 t3 x3 x19 x20 t3 x2 x18 x19 t3 x1 x17 x18 t3 x0 x16 x17 t2 x17 x18 t2 x18 x19 t2 x19 x20 t2 x20 x21 t2 x21 x22 t2 x22 x23 t2 x23 x24 t2 x24 x25 t2 x25 x26 t2 x26 x27 t2 x27 x28 t2 x28 x29 t2 x29 x30 t2 x30 x31 t2 x31 x15 t2 x30 x14 t2 x29 x13 t2 x28 x12 t2 x27 x11 t2 x26 x10 t2 x25 x9 t2 x24 x8 t2 x23 x7 t2 x22 x6 t2 x21 x5 t2 x20 x4 t2 x19 x3 t2 x18 x2 t2 x17 x1 t2 x16 x64 t2 x17 x65 t2 x18 x66 t2 x19 x67 t2 x20 x68 t2 x21 x69 t2 x22 x70 t2 x23 x71 t2 x24 x72 t2 x25 x73 t2 x26 x74 t2 x27 x75 t2 x28 x76 t2 x29 x77 t2 x30 x78 t2 x31 x79 t2 x63 x79 t2 x62 x78 t2 x61 x77 t2 x60 x76 t2 x59 x75 t2 x58 x74 t2 x57 x73 t2 x56 x72 t2 x55 x71 t2 x54 x70 t2 x53 x69 t2 x52 x68 t2 x51 x67 t2 x50 x66 t2 x48 x65 t2 x49 x64 t2 x62 x63 t2 x61 x62 t2 x60 x61 t2 x59 x60 t2 x58 x59 t2 x57 x58 t2 x56 x57 t2 x55 x56 t2 x54 x55 t2 x53 x54 t2 x52 x53 t2 x51 x52 t2 x50 x51 t2 x48 x50 t3 x49 x64 x48 t2 x48 x65 t3 x48 x65 x50 t2 x50 x66 t3 x50 x66 x51 t2 x51 x67 t3 x51 x67 x52 t2 x52 x68 t3 x52 x68 x53 t2 x53 x69 t3 x53 x69 x54 t2 x54 x70 t3 x54 x70 x55 t2 x55 x71 t3 x55 x71 x56 t2 x56 x72 t3 x56 x72 x57 t2 x57 x73 t3 x57 x73 x58 t2 x58 x74 t3 x58 x74 x59 t2 x59 x75 t3 x59 x75 x60 t2 x60 x76 t3 x60 x76 x61 t2 x61 x77 t3 x61 x77 x62 t2 x62 x78 t3 x62 x78 x63 t2 x63 x79 t3 x62 x78 x63 t3 x61 x77 x62 t3 x60 x76 x61 t3 x59 x75 x60 t3 x58 x74 x59 t3 x57 x73 x58 t3 x56 x72 x57 t3 x55 x71 x56 t3 x54 x70 x55 t3 x53 x69 x54 t3 x52 x68 x53 t3 x51 x67 x52 t3 x50 x66 x51 t3 x48 x65 x50 t3 x49 x64 x48 t2 x48 x50 t2 x50 x51 t2 x51 x52 t2 x52 x53 t2 x53 x54 t2 x54 x55 t2 x55 x56 t2 x56 x57 t2 x57 x58 t2 x58 x59 t2 x59 x60 t2 x60 x61 t2 x61 x62 t2 x62 x63 t2 x63 x79 t2 x62 x78 t2 x61 x77 t2 x60 x76 t2 x59 x75 t2 x58 x74 t2 x57 x73 t2 x56 x72 t2 x55 x71 t2 x54 x70 t2 x53 x69 t2 x52 x68 t2 x51 x67 t2 x50 x66 t2 x48 x65 t2 x65 x1 t2 x66 x2 t2 x67 x3 t2 x68 x4 t2 x69 x5 t2 x70 x6 t2 x71 x7 t2 x72 x8 t2 x73 x9 t2 x74 x10 t2 x75 x11 t2 x76 x12 t2 x77 x13 t2 x78 x14 t2 x79 x15 t2 x78 x79 t2 x77 x78 t2 x76 x77 t2 x75 x76 t2 x74 x75 t2 x73 x74 t2 x72 x73 t2 x71 x72 t2 x70 x71 t2 x69 x70 t2 x68 x69 t2 x67 x68 t2 x66 x67 t2 x65 x66 t3 x0 x64 x65 t3 x1 x65 x66 t3 x2 x66 x67 t3 x3 x67 x68 t3 x4 x68 x69 t3 x5 x69 x70 t3 x6 x70 x71 t3 x7 x71 x72 t3 x8 x72 x73 t3 x9 x73 x74 t3 x10 x74 x75 t3 x11 x75 x76 t3 x12 x76 x77 t3 x13 x77 x78 t3 x14 x78 x79 t2 x79 x15 t3 x14 x78 x79 t2 x78 x14 t3 x13 x77 x78 t2 x77 x13 t3 x12 x76 x77 t2 x76 x12 t3 x11 x75 x76 t2 x75 x11 t3 x10 x74 x75 t2 x74 x10 t3 x9 x73 x74 t2 x73 x9 t3 x8 x72 x73 t2 x72 x8 t3 x7 x71 x72 t2 x71 x7 t3 x6 x70 x71 t2 x70 x6 t3 x5 x69 x70 t2 x69 x5 t3 x4 x68 x69 t2 x68 x4 t3 x3 x67 x68 t2 x67 x3 t3 x2 x66 x67 t2 x66 x2 t3 x1 x65 x66 t2 x65 x1 t3 x0 x64 x65 t2 x65 x66 t2 x66 x67 t2 x67 x68 t2 x68 x69 t2 x69 x70 t2 x70 x71 t2 x71 x72 t2 x72 x73 t2 x73 x74 t2 x74 x75 t2 x75 x76 t2 x76 x77 t2 x77 x78 t2 x78 x79 t2 x64 x0 t2 x65 x1 t2 x66 x2 t2 x67 x3 t2 x68 x4 t2 x69 x5 t2 x70 x6 t2 x71 x7 t2 x72 x8 t2 x73 x9 t2 x74 x10 t2 x75 x11 t2 x76 x12 t2 x77 x13 t2 x78 x14 t2 x79 x15 t2 x48 x65 t2 x50 x66 t2 x51 x67 t2 x52 x68 t2 x53 x69 t2 x54 x70 t2 x55 x71 t2 x56 x72 t2 x57 x73 t2 x58 x74 t2 x59 x75 t2 x60 x76 t2 x61 x77 t2 x62 x78 t2 x63 x79 t2 x62 x63 t2 x61 x62 t2 x60 x61 t2 x59 x60 t2 x58 x59 t2 x57 x58 t2 x56 x57 t2 x55 x56 t2 x54 x55 t2 x53 x54 t2 x52 x53 t2 x51 x52 t2 x50 x51 t2 x48 x50 t3 x49 x64 x48 t3 x48 x65 x50 t3 x50 x66 x51 t3 x51 x67 x52 t3 x52 x68 x53 t3 x53 x69 x54 t3 x54 x70 x55 t3 x55 x71 x56 t3 x56 x72 x57 t3 x57 x73 x58 t3 x58 x74 x59 t3 x59 x75 x60 t3 x60 x76 x61 t3 x61 x77 x62 t3 x62 x78 x63 t2 x63 x79 t3 x62 x78 x63 t2 x62 x78 t3 x61 x77 x62 t2 x61 x77 t3 x60 x76 x61 t2 x60 x76 t3 x59 x75 x60 t2 x59 x75 t3 x58 x74 x59 t2 x58 x74 t3 x57 x73 x58 t2 x57 x73 t3 x56 x72 x57 t2 x56 x72 t3 x55 x71 x56 t2 x55 x71 t3 x54 x70 x55 t2 x54 x70 t3 x53 x69 x54 t2 x53 x69 t3 x52 x68 x53 t2 x52 x68 t3 x51 x67 x52 t2 x51 x67 t3 x50 x66 x51 t2 x50 x66 t3 x48 x65 x50 t2 x48 x65 t3 x49 x64 x48 t2 x48 x50 t2 x50 x51 t2 x51 x52 t2 x52 x53 t2 x53 x54 t2 x54 x55 t2 x55 x56 t2 x56 x57 t2 x57 x58 t2 x58 x59 t2 x59 x60 t2 x60 x61 t2 x61 x62 t2 x62 x63 t2 x49 x64 t2 x48 x65 t2 x50 x66 t2 x51 x67 t2 x52 x68 t2 x53 x69 t2 x54 x70 t2 x55 x71 t2 x56 x72 t2 x57 x73 t2 x58 x74 t2 x59 x75 t2 x60 x76 t2 x61 x77 t2 x62 x78 t2 x63 x79 t2 x31 x79 t2 x30 x78 t2 x29 x77 t2 x28 x76 t2 x27 x75 t2 x26 x74 t2 x25 x73 t2 x24 x72 t2 x23 x71 t2 x22 x70 t2 x21 x69 t2 x20 x68 t2 x19 x67 t2 x18 x66 t2 x17 x65 t2 x16 x64 t2 x16 x49 t2 x17 x50 t2 x18 x51 t2 x19 x52 t2 x20 x53 t2 x21 x54 t2 x22 x55 t2 x23 x56 t2 x24 x57 t2 x25 x58 t2 x26 x59 t2 x27 x60 t2 x28 x61 t2 x29 x62 t2 x30 x63 t2 x31 x64 t2 x33 x50 t2 x34 x51 t2 x35 x52 t2 x36 x53 t2 x37 x54 t2 x38 x55 t2 x39 x56 t2 x40 x57 t2 x41 x58 t2 x42 x59 t2 x43 x60 t2 x44 x61 t2 x45 x62 t2 x46 x63 t2 x47 x64 t2 x46 x47 t2 x45 x46 t2 x44 x45 t2 x43 x44 t2 x42 x43 t2 x41 x42 t2 x40 x41 t2 x39 x40 t2 x38 x39 t2 x37 x38 t2 x36 x37 t2 x35 x36 t2 x34 x35 t2 x33 x34 t3 x32 x49 x33 t3 x33 x50 x34 t3 x34 x51 x35 t3 x35 x52 x36 t3 x36 x53 x37 t3 x37 x54 x38 t3 x38 x55 x39 t3 x39 x56 x40 t3 x40 x57 x41 t3 x41 x58 x42 t3 x42 x59 x43 t3 x43 x60 x44 t3 x44 x61 x45 t3 x45 x62 x46 t3 x46 x63 x47 t2 x47 x64 t3 x46 x63 x47 t2 x46 x63 t3 x45 x62 x46 t2 x45 x62 t3 x44 x61 x45 t2 x44 x61 t3 x43 x60 x44 t2 x43 x60 t3 x42 x59 x43 t2 x42 x59 t3 x41 x58 x42 t2 x41 x58 t3 x40 x57 x41 t2 x40 x57 t3 x39 x56 x40 t2 x39 x56 t3 x38 x55 x39 t2 x38 x55 t3 x37 x54 x38 t2 x37 x54 t3 x36 x53 x37 t2 x36 x53 t3 x35 x52 x36 t2 x35 x52 t3 x34 x51 x35 t2 x34 x51 t3 x33 x50 x34 t2 x33 x50 t3 x32 x49 x33 t2 x33 x34 t2 x34 x35 t2 x35 x36 t2 x36 x37 t2 x37 x38 t2 x38 x39 t2 x39 x40 t2 x40 x41 t2 x41 x42 t2 x42 x43 t2 x43 x44 t2 x44 x45 t2 x45 x46 t2 x46 x47 t2 x32 x49 t2 x33 x50 t2 x34 x51 t2 x35 x52 t2 x36 x53 t2 x37 x54 t2 x38 x55 t2 x39 x56 t2 x40 x57 t2 x41 x58 t2 x42 x59 t2 x43 x60 t2 x44 x61 t2 x45 x62 t2 x46 x63 t2 x47 x64 t2 x49 x0 t2 x50 x1 t2 x51 x2 t2 x52 x3 t2 x53 x4 t2 x54 x5 t2 x55 x6 t2 x56 x7 t2 x57 x8 t2 x58 x9 t2 x59 x10 t2 x60 x11 t2 x61 x12 t2 x62 x13 t2 x63 x14 t2 x64 x15 t2 x47 x64 t2 x46 x63 t2 x45 x62 t2 x44 x61 t2 x43 x60 t2 x42 x59 t2 x41 x58 t2 x40 x57 t2 x39 x56 t2 x38 x55 t2 x37 x54 t2 x36 x53 t2 x35 x52 t2 x34 x51 t2 x33 x50 t2 x32 x49 t2 x46 x47 t2 x45 x46 t2 x44 x45 t2 x43 x44 t2 x42 x43 t2 x41 x42 t2 x40 x41 t2 x39 x40 t2 x38 x39 t2 x37 x38 t2 x36 x37 t2 x35 x36 t2 x34 x35 t2 x33 x34 t3 x32 x49 x33 t2 x33 x50 t3 x33 x50 x34 t2 x34 x51 t3 x34 x51 x35 t2 x35 x52 t3 x35 x52 x36 t2 x36 x53 t3 x36 x53 x37 t2 x37 x54 t3 x37 x54 x38 t2 x38 x55 t3 x38 x55 x39 t2 x39 x56 t3 x39 x56 x40 t2 x40 x57 t3 x40 x57 x41 t2 x41 x58 t3 x41 x58 x42 t2 x42 x59 t3 x42 x59 x43 t2 x43 x60 t3 x43 x60 x44 t2 x44 x61 t3 x44 x61 x45 t2 x45 x62 t3 x45 x62 x46 t2 x46 x63 t3 x46 x63 x47 t2 x47 x64 t3 x46 x63 x47 t3 x45 x62 x46 t3 x44 x61 x45 t3 x43 x60 x44 t3 x42 x59 x43 t3 x41 x58 x42 t3 x40 x57 x41 t3 x39 x56 x40 t3 x38 x55 x39 t3 x37 x54 x38 t3 x36 x53 x37 t3 x35 x52 x36 t3 x34 x51 x35 t3 x33 x50 x34 t3 x32 x49 x33 t2 x33 x34 t2 x34 x35 t2 x35 x36 t2 x36 x37 t2 x37 x38 t2 x38 x39 t2 x39 x40 t2 x40 x41 t2 x41 x42 t2 x42 x43 t2 x43 x44 t2 x44 x45 t2 x45 x46 t2 x46 x47 t2 x47 x64 t2 x46 x63 t2 x45 x62 t2 x44 x61 t2 x43 x60 t2 x42 x59 t2 x41 x58 t2 x40 x57 t2 x39 x56 t2 x38 x55 t2 x37 x54 t2 x36 x53 t2 x35 x52 t2 x34 x51 t2 x33 x50 t2 x31 x64 t2 x30 x63 t2 x29 x62 t2 x28 x61 t2 x27 x60 t2 x26 x59 t2 x25 x58 t2 x24 x57 t2 x23 x56 t2 x22 x55 t2 x21 x54 t2 x20 x53 t2 x19 x52 t2 x18 x51 t2 x17 x50 t2 x16 x49 .end