# Function: mlp4 # Used Library: MCT (Gates: 131, Quantum costs: 3753) # 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 16 .variables f7 f6 f5 f4 f3 f2 f1 f0 x7 x6 x5 x4 x3 x2 x1 x0 .inputs 0 0 0 0 0 0 0 0 x7 x6 x5 x4 x3 x2 x1 x0 .outputs f7 f6 f5 f4 f3 f2 f1 f0 x7 x6 x5 x4 x3 x2 x1 x0 .constants 00000000-------- .garbage 11111111-------- .begin t3 x1 x5 f3 t4 x1 x4 x5 f1 t3 x1 x4 f2 t3 x0 x4 f1 t5 x0 x1 x4 x6 f0 t5 x0 x1 x4 x6 f1 t5 x0 x2 x4 x6 f2 t3 x0 x6 f3 t3 x1 x6 f4 t3 x2 x5 f4 t3 x2 x4 f3 t3 x2 x6 f5 t3 x2 x7 f6 t3 x3 x4 f4 t5 x2 x3 x4 x5 f2 t5 x2 x3 x4 x5 f3 t3 x3 x5 f5 t6 x0 x1 x3 x4 x6 f1 t6 x0 x1 x3 x4 x6 f2 t3 x0 x7 f4 t5 x0 x3 x4 x7 f2 t5 x0 x3 x4 x7 f3 t3 x0 x5 f2 t5 x2 x3 x6 x7 f2 t5 x2 x3 x6 x7 f3 t5 x2 x3 x6 x7 f4 t5 x2 x3 x6 x7 f5 t7 x0 x1 x3 x4 x5 x7 f1 t7 x0 x1 x3 x4 x5 x7 f3 t3 x1 x7 f5 t6 x0 x2 x4 x5 x7 f1 t6 x0 x2 x4 x5 x7 f2 t5 x0 x2 x5 x7 f1 t5 x0 x2 x5 x7 f2 t5 x0 x2 x5 x7 f3 t3 x3 x6 f6 t5 x1 x3 x5 x7 f4 t3 x3 x7 f7 t1 x7 t8 x0 x1 x2 x3 x5 x6 x7 f1 t6 x2 x3 x5 x6 x7 f4 t6 x1 x2 x5 x6 x7 f2 t6 x1 x2 x5 x6 x7 f3 t1 x7 t1 x1 t8 x0 x1 x3 x4 x5 x6 x7 f0 t8 x0 x1 x3 x4 x5 x6 x7 f1 t1 x7 t8 x0 x1 x2 x3 x4 x5 x7 f0 t8 x0 x1 x2 x3 x4 x5 x7 f1 t7 x1 x2 x3 x4 x6 x7 f2 t1 x4 t8 x0 x1 x2 x4 x5 x6 x7 f1 t7 x0 x2 x4 x5 x6 x7 f1 t8 x0 x2 x3 x4 x5 x6 x7 f1 t1 x7 t7 x1 x2 x3 x4 x5 x6 f2 t7 x1 x2 x3 x4 x5 x6 f3 t1 x1 t1 x0 t7 x0 x2 x3 x4 x6 x7 f2 t7 x0 x1 x3 x4 x5 x7 f2 t7 x0 x1 x3 x4 x5 x7 f3 t1 x4 t1 x1 t7 x0 x1 x2 x3 x6 x7 f3 t7 x0 x1 x2 x3 x5 x6 f2 t1 x1 t1 x5 t6 x1 x3 x4 x5 x6 f1 t6 x1 x3 x4 x5 x6 f3 t7 x2 x3 x4 x5 x6 x7 f3 t7 x2 x3 x4 x5 x6 x7 f2 t6 x2 x3 x4 x5 x6 f2 t1 x3 t6 x1 x2 x3 x6 x7 f2 t6 x1 x2 x3 x6 x7 f3 t6 x1 x2 x3 x6 x7 f4 t8 x1 x2 x3 x4 x5 x6 x7 f2 t9 x0 x1 x2 x3 x4 x5 x6 x7 f1 t8 x0 x1 x2 x3 x5 x6 x7 f2 t1 x5 t1 x0 t1 x1 t8 x0 x1 x2 x3 x4 x5 x6 f0 t8 x0 x1 x2 x3 x4 x5 x6 f1 t1 x1 t1 x3 t1 x2 t6 x0 x1 x2 x6 x7 f3 t6 x0 x1 x2 x5 x6 f1 t6 x0 x1 x2 x5 x6 f2 t7 x1 x2 x3 x4 x5 x6 f1 t7 x1 x2 x3 x4 x5 x6 f2 t7 x1 x2 x3 x4 x5 x6 f3 t1 x5 t7 x0 x1 x2 x5 x6 x7 f2 t1 x7 t1 x3 t9 x0 x1 x2 x3 x4 x5 x6 x7 f0 t9 x0 x1 x2 x3 x4 x5 x6 x7 f1 t1 x3 t1 x7 t1 x0 t8 x0 x1 x2 x3 x4 x5 x6 f1 t1 x5 t6 x0 x1 x2 x4 x5 f1 t1 x0 t1 x6 t6 x0 x1 x4 x5 x6 f0 t7 x1 x2 x3 x5 x6 x7 f1 t7 x1 x2 x3 x5 x6 x7 f2 t7 x1 x2 x3 x5 x6 x7 f3 t7 x0 x2 x3 x4 x6 x7 f2 t1 x2 t7 x1 x2 x3 x4 x5 x6 f2 t6 x1 x2 x4 x5 x6 f2 t1 x1 t7 x0 x1 x2 x5 x6 x7 f1 t7 x0 x1 x2 x5 x6 x7 f2 t8 x0 x1 x2 x4 x5 x6 x7 f0 t1 x1 t1 x0 t1 x2 t9 x0 x1 x2 x3 x4 x5 x6 x7 f1 t8 x0 x1 x2 x3 x5 x6 x7 f1 t1 x2 t1 x0 t1 x5 t9 x0 x1 x2 x3 x4 x5 x6 x7 f0 t9 x0 x1 x2 x3 x4 x5 x6 x7 f1 .end