# Function: cm163a
# Used Library: MCT (Gates: 39, Quantum costs: 756)
# This file have been taken from RevLib (www.revlib.org).
.version  1.0
# Created by tfc2real J. Rice Jan 2009
# Parameters for Exorcism: -n 1 -r 1 -a 0 -b 1 -c 1
# Templates applied in both directions
.numvars 29
.variables  f12 f11 f10 f9 f8 f7 f6 f5 f4 f3 f2 f1 f0 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0
.inputs  0 0 0 0 0 0 0 0 0 0 0 0 0 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0
.outputs  f12 f11 f10 f9 f8 f7 f6 f5 f4 f3 f2 f1 f0 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0
.constants 0000000000000----------------
.garbage 1111111111111111-------------
.begin
t2 x15 f7
t2 x14 f4
t1 f0
t1 f1
t1 f2
t1 f3
t1 f4
t1 f5
t1 f7
t1 f8
t3 x1 x9 f6
t2 x13 f5
t4 x9 x11 x12 f3
t6 x1 x2 x3 x4 x9 f6
t8 x5 x6 x7 x8 x9 x11 x12 f2
t8 x5 x6 x7 x8 x9 x11 x12 f3
t1 x10
t4 x0 x10 x11 f8
t4 x0 x10 x11 f9
t9 x0 x2 x3 x4 x9 x10 x11 x12 f8
t9 x0 x2 x3 x4 x9 x10 x11 x12 f10
t5 x0 x1 x10 x11 f11
t10 x0 x1 x2 x3 x4 x9 x10 x11 x12 f11
t5 x0 x10 x11 x12 f10
t1 x12
t5 x0 x10 x11 x12 f11
t4 x0 x10 x12 f9
t1 x12
t1 x9
t6 x0 x9 x10 x11 x12 f10
t6 x0 x9 x10 x11 x12 f12
t7 x0 x1 x9 x10 x11 x12 f11
t1 x9
t1 x11
t3 x11 x12 f1
t8 x1 x2 x3 x4 x9 x11 x12 f6
t1 x12
t1 x1
t4 x1 x11 x12 f0
.end