# This file has been generated using RevKit 1.1 (www.revkit.org) # Command Line: # ./tools/bdd_synthesis.py --filename e64_149.pla --realname e64_149.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 195 .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 .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 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 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 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 f5 g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g g 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 f1 g g g g g g g g g g g g g g g g g g g g f2 f3 f4 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 f16 f17 f18 f19 f20 f21 f22 f23 f24 f25 f26 f27 f28 f29 f30 f31 f32 f33 f34 f35 f36 f37 f38 f39 f40 f41 f42 f43 f44 f45 f46 f47 f48 f49 g g f50 g f51 f52 f53 f54 f55 f56 f57 f58 f59 f60 f61 f62 f63 f64 .constants -----------------------------------------------------------------1000000000000000000000000000000000000000000110000000000000000000101011111111111111111111111111111111111111111111100101111111111111 .garbage 11111111111111111111111111111-111111111111111111111111111111111111111111111111111111111111111111111111111111--11111111111111111111-----------------------------------------------11-1-------------- .begin t3 x15 x29 x65 t2 x29 x65 t2 x37 x66 t3 x37 x65 x66 t2 x65 x66 t2 x28 x67 t3 x28 x66 x67 t2 x66 x67 t2 x43 x68 t3 x43 x67 x68 t2 x67 x68 t2 x14 x69 t3 x14 x68 x69 t2 x68 x69 t2 x58 x70 t3 x58 x69 x70 t2 x69 x70 t2 x10 x71 t3 x10 x70 x71 t2 x70 x71 t2 x50 x72 t3 x50 x71 x72 t2 x71 x72 t2 x40 x73 t3 x40 x72 x73 t2 x72 x73 t2 x39 x74 t3 x39 x73 x74 t2 x73 x74 t2 x46 x75 t3 x46 x74 x75 t2 x74 x75 t2 x60 x76 t3 x60 x75 x76 t2 x75 x76 t2 x25 x77 t3 x25 x76 x77 t2 x76 x77 t2 x24 x78 t3 x24 x77 x78 t2 x77 x78 t2 x11 x79 t3 x11 x78 x79 t2 x78 x79 t2 x30 x80 t3 x30 x79 x80 t2 x79 x80 t2 x56 x81 t3 x56 x80 x81 t2 x80 x81 t2 x47 x82 t3 x47 x81 x82 t2 x81 x82 t2 x8 x83 t3 x8 x82 x83 t2 x82 x83 t2 x7 x84 t3 x7 x83 x84 t2 x83 x84 t2 x62 x85 t3 x62 x84 x85 t2 x84 x85 t2 x3 x86 t3 x3 x85 x86 t2 x85 x86 t2 x26 x87 t3 x26 x86 x87 t2 x86 x87 t2 x41 x88 t3 x41 x87 x88 t2 x87 x88 t2 x6 x89 t3 x6 x88 x89 t2 x88 x89 t2 x22 x90 t3 x22 x89 x90 t2 x89 x90 t2 x18 x91 t3 x18 x90 x91 t2 x90 x91 t2 x0 x92 t3 x0 x91 x92 t2 x91 x92 t2 x51 x93 t3 x51 x92 x93 t2 x92 x93 t2 x35 x94 t3 x35 x93 x94 t2 x93 x94 t2 x55 x95 t3 x55 x94 x95 t2 x94 x95 t2 x61 x96 t3 x61 x95 x96 t2 x95 x96 t2 x4 x97 t3 x4 x96 x97 t2 x96 x97 t2 x42 x98 t3 x42 x97 x98 t2 x97 x98 t2 x59 x99 t3 x59 x98 x99 t2 x98 x99 t2 x17 x100 t3 x17 x99 x100 t2 x99 x100 t2 x9 x101 t3 x9 x100 x101 t2 x100 x101 t2 x34 x102 t3 x34 x101 x102 t2 x101 x102 t2 x33 x103 t3 x33 x102 x103 t2 x102 x103 t2 x54 x104 t3 x54 x103 x104 t2 x103 x104 t2 x53 x105 t3 x53 x104 x105 t2 x104 x105 t2 x31 x106 t3 x31 x105 x106 t2 x105 x106 t2 x5 x107 t3 x5 x106 x107 t2 x106 x107 t3 x45 x107 x108 t2 x45 x108 t3 x5 x106 x109 t2 x5 x109 t2 x45 x110 t3 x45 x107 x110 t2 x107 x110 t2 x2 x111 t3 x2 x110 x111 t2 x110 x111 t2 x1 x112 t3 x1 x111 x112 t2 x111 x112 t2 x57 x113 t3 x57 x112 x113 t2 x112 x113 t2 x48 x114 t3 x48 x113 x114 t2 x113 x114 t2 x49 x115 t3 x49 x114 x115 t2 x114 x115 t2 x64 x116 t3 x64 x115 x116 t2 x115 x116 t2 x63 x117 t3 x63 x116 x117 t2 x116 x117 t2 x12 x118 t3 x12 x117 x118 t2 x117 x118 t2 x36 x119 t3 x36 x118 x119 t2 x118 x119 t2 x21 x120 t3 x21 x119 x120 t2 x119 x120 t2 x52 x121 t3 x52 x120 x121 t2 x120 x121 t2 x16 x122 t3 x16 x121 x122 t2 x121 x122 t2 x20 x123 t3 x20 x122 x123 t2 x122 x123 t2 x13 x124 t3 x13 x123 x124 t2 x123 x124 t2 x32 x125 t3 x32 x124 x125 t2 x124 x125 t2 x19 x126 t3 x19 x125 x126 t2 x125 x126 t2 x23 x127 t3 x23 x126 x127 t2 x126 x127 t2 x38 x128 t3 x38 x127 x128 t2 x127 x128 t3 x27 x128 x129 t2 x27 x129 t2 x44 x130 t3 x44 x129 x130 t2 x129 x130 t3 x44 x128 x131 t2 x44 x131 t3 x15 x29 x132 t3 x14 x68 x133 t2 x14 x133 t3 x43 x67 x134 t2 x43 x134 t3 x38 x127 x135 t2 x38 x135 t3 x23 x126 x136 t2 x23 x136 t3 x28 x66 x137 t2 x28 x137 t3 x37 x65 x138 t2 x37 x138 t3 x6 x88 x139 t2 x6 x139 t3 x41 x87 x140 t2 x41 x140 t3 x50 x71 x141 t2 x50 x141 t3 x10 x70 x142 t2 x10 x142 t3 x26 x86 x143 t2 x26 x143 t3 x3 x85 x144 t2 x3 x144 t3 x62 x84 x145 t2 x62 x145 t3 x64 x115 x146 t2 x64 x146 t3 x51 x92 x147 t2 x51 x147 t3 x0 x91 x148 t2 x0 x148 t3 x36 x118 x149 t2 x36 x149 t3 x16 x121 x150 t2 x16 x150 t3 x11 x78 x151 t2 x11 x151 t3 x24 x77 x152 t2 x24 x152 t3 x32 x124 x153 t2 x32 x153 t3 x13 x123 x154 t2 x13 x154 t3 x25 x76 x155 t2 x25 x155 t3 x60 x75 x156 t2 x60 x156 t3 x52 x120 x157 t2 x52 x157 t3 x21 x119 x158 t2 x21 x158 t3 x46 x74 x159 t2 x46 x159 t3 x39 x73 x160 t2 x39 x160 t3 x58 x69 x161 t2 x58 x161 t3 x4 x96 x162 t2 x4 x162 t3 x61 x95 x163 t2 x61 x163 t3 x19 x125 x164 t2 x19 x164 t3 x59 x98 x165 t2 x59 x165 t3 x42 x97 x166 t2 x42 x166 t3 x54 x103 x167 t2 x54 x167 t3 x33 x102 x168 t2 x33 x168 t3 x49 x112 x169 t2 x49 x169 t3 x1 x111 x170 t2 x1 x170 t3 x2 x110 x171 t2 x2 x171 t3 x34 x101 x172 t2 x34 x172 t3 x9 x100 x173 t2 x9 x173 t3 x17 x99 x174 t2 x17 x174 t3 x31 x105 x175 t2 x31 x175 t3 x53 x104 x176 t2 x53 x176 t3 x57 x112 x177 t2 x57 x177 t2 x48 x178 t3 x48 x177 x178 t2 x177 x178 t2 x49 x179 t3 x49 x178 x179 t2 x178 x179 t3 x48 x112 x180 t2 x48 x180 t2 x49 x181 t3 x49 x180 x181 t2 x180 x181 t3 x12 x117 x182 t2 x12 x182 t3 x63 x116 x183 t2 x63 x183 t3 x55 x94 x184 t2 x55 x184 t3 x35 x93 x185 t2 x35 x185 t3 x20 x122 x186 t2 x20 x186 t3 x18 x90 x187 t2 x18 x187 t3 x22 x89 x188 t2 x22 x188 t3 x40 x72 x189 t2 x40 x189 t3 x7 x83 x190 t2 x7 x190 t3 x8 x82 x191 t2 x8 x191 t3 x47 x81 x192 t2 x47 x192 t3 x56 x80 x193 t2 x56 x193 t3 x30 x79 x194 t2 x30 x194 t1 x108 t1 x109 t1 x130 t1 x131 t1 x133 t1 x134 t1 x135 t1 x136 t1 x137 t1 x138 t1 x139 t1 x140 t1 x141 t1 x142 t1 x143 t1 x144 t1 x145 t1 x146 t1 x147 t1 x148 t1 x149 t1 x150 t1 x151 t1 x152 t1 x153 t1 x154 t1 x155 t1 x156 t1 x157 t1 x158 t1 x159 t1 x160 t1 x161 t1 x162 t1 x163 t1 x164 t1 x165 t1 x166 t1 x167 t1 x168 t1 x169 t1 x170 t1 x171 t1 x172 t1 x173 t1 x174 t1 x175 t1 x176 t1 x179 t1 x181 t1 x182 t1 x183 t1 x184 t1 x185 t1 x186 t1 x187 t1 x188 t1 x189 t1 x190 t1 x191 t1 x192 t1 x193 t1 x194 .end