# Function: frg1 # Used Library: MCT (Gates: 212, Quantum costs: 15265) # 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 31 .variables f2 f1 f0 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .inputs 0 0 0 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .outputs f2 f1 f0 x27 x26 x25 x24 x23 x22 x21 x20 x19 x18 x17 x16 x15 x14 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .constants 000---------------------------- .garbage 1111111111111111111111111111--- .begin t3 x1 x2 f0 t1 f0 t1 f1 t1 x2 t5 x2 x5 x8 x12 f0 t8 x2 x5 x6 x7 x8 x10 x12 f0 t6 x2 x6 x7 x10 x12 f0 t1 x3 t2 x3 f2 t1 x0 t10 x0 x2 x3 x5 x6 x7 x8 x10 x12 f0 t8 x0 x2 x3 x6 x7 x10 x12 f0 t7 x0 x2 x3 x5 x8 x12 f0 t5 x0 x2 x3 x27 f0 t5 x0 x2 x3 x26 f2 t6 x0 x2 x3 x4 x25 f1 t1 x13 t1 x14 t1 x15 t1 x16 t1 x17 t1 x18 t1 x19 t1 x20 t1 x21 t1 x22 t1 x23 t1 x24 t22 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 f0 t24 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 f0 t1 x11 t18 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 f0 t20 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 f0 t1 x11 t1 x9 t18 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x21 x22 x23 x24 f0 t20 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x21 x22 x23 x24 f0 t1 x11 t14 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 f0 t16 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 f0 t1 x11 t1 x9 t1 x4 t4 x0 x2 x4 f1 t1 x8 t16 x2 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 x19 x20 x23 x24 f0 t18 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 x19 x20 x23 x24 f0 t1 x11 t14 x2 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 x19 x20 f0 t16 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 x19 x20 f0 t1 x20 t1 x19 t1 x9 t12 x2 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 f0 t14 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 f0 t1 x11 t14 x2 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 x23 x24 f0 t16 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x15 x16 x23 x24 f0 t1 x24 t1 x9 t1 x6 t11 x2 x5 x6 x7 x8 x10 x11 x12 x16 x24 f0 t13 x2 x5 x6 x7 x8 x9 x10 x11 x12 x16 x20 x24 f0 t11 x2 x5 x6 x7 x8 x9 x10 x12 x16 x20 f0 t1 x16 t9 x2 x5 x6 x7 x8 x10 x12 x16 f0 t11 x0 x2 x3 x5 x6 x7 x8 x10 x12 x16 f0 t1 x16 t13 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x16 x24 f0 t13 x0 x2 x3 x5 x6 x7 x8 x9 x10 x12 x16 x20 f0 t15 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x16 x20 x24 f0 t1 x8 t1 x20 t1 x24 t17 x2 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 x17 x18 x20 x22 x24 f0 t19 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 x17 x18 x20 x22 x24 f0 t1 x11 t15 x2 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 x17 x18 x20 f0 t17 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 x17 x18 x20 f0 t1 x20 t1 x11 t1 x9 t14 x2 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 x22 x24 f0 t16 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 x22 x24 f0 t1 x24 t1 x11 t12 x2 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 f0 t14 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 x16 f0 t1 x11 t1 x9 t1 x6 t1 x7 t16 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x17 x18 x21 x22 f0 t18 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x17 x18 x21 x22 f0 t1 x11 t12 x2 x5 x7 x8 x9 x10 x11 x12 x14 x17 x18 f0 t14 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x17 x18 f0 t13 x2 x5 x6 x7 x8 x9 x10 x11 x12 x14 x17 x18 f0 t16 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x17 x18 f0 t1 x3 t1 x9 t12 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 f0 t11 x2 x3 x5 x7 x8 x9 x10 x11 x12 x14 f0 t12 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 f0 t1 x3 t14 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 f0 t1 x11 t14 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x21 x22 f0 t16 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x21 x22 f0 t1 x0 t1 x6 t14 x2 x5 x6 x7 x8 x9 x10 x11 x12 x14 x17 x18 x22 f0 t13 x2 x5 x6 x7 x8 x10 x11 x12 x14 x17 x18 x22 f0 t13 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 x22 f0 t12 x2 x5 x6 x7 x8 x9 x10 x11 x12 x14 x22 f0 t1 x22 t14 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 x22 f0 t12 x0 x2 x3 x5 x6 x7 x8 x9 x10 x12 x14 f0 t1 x9 t1 x0 t16 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x14 x17 x18 x22 f0 t14 x0 x2 x3 x5 x6 x7 x8 x9 x10 x12 x14 x17 x18 f0 t1 x6 t1 x7 t1 x5 t13 x2 x5 x6 x7 x8 x10 x11 x12 x13 x15 x21 x23 f0 t15 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x15 x19 x21 x23 f0 t15 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x13 x15 x21 x23 f0 t17 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x15 x19 x21 x23 f0 t1 x23 t1 x21 t1 x13 t1 x11 t13 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 x15 x19 f0 t11 x2 x5 x6 x7 x9 x10 x11 x12 x15 x19 f0 t15 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 x15 x19 f0 t13 x0 x2 x3 x5 x6 x7 x9 x10 x11 x12 x15 x19 f0 t1 x13 t11 x2 x5 x6 x7 x8 x10 x11 x12 x13 x15 f0 t13 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x13 x15 f0 t1 x11 t1 x8 t11 x2 x5 x6 x7 x8 x10 x11 x12 x15 x23 f0 t9 x2 x5 x6 x7 x8 x10 x12 x15 f0 t13 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x15 x23 f0 t11 x0 x2 x3 x5 x6 x7 x8 x10 x12 x15 f0 t1 x23 t13 x2 x5 x6 x7 x8 x9 x10 x11 x12 x15 x19 x23 f0 t15 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x15 x19 x23 f0 t1 x23 t1 x8 t1 x7 t11 x2 x5 x6 x7 x8 x10 x11 x12 x13 x21 f0 t13 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x13 x21 f0 t1 x13 t9 x2 x5 x6 x7 x8 x10 x12 x13 f0 t11 x0 x2 x3 x5 x6 x7 x8 x10 x12 x13 f0 t1 x7 t1 x5 t1 x12 t10 x2 x5 x7 x8 x10 x11 x12 x22 x24 f0 t8 x2 x5 x8 x10 x11 x12 x22 f0 t8 x2 x5 x7 x10 x11 x12 x24 f0 t10 x2 x5 x6 x8 x10 x11 x12 x21 x22 f0 t8 x2 x6 x8 x10 x11 x12 x21 f0 t10 x0 x2 x3 x5 x7 x10 x11 x12 x24 f0 t12 x0 x2 x3 x5 x7 x8 x10 x11 x12 x22 x24 f0 t10 x0 x2 x3 x5 x8 x10 x11 x12 x22 f0 t12 x0 x2 x3 x5 x6 x8 x10 x11 x12 x21 x22 f0 t10 x0 x2 x3 x6 x8 x10 x11 x12 x21 f0 t1 x22 t12 x2 x5 x6 x7 x8 x10 x11 x12 x21 x22 x24 f0 t14 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x21 x22 x24 f0 t1 x21 t1 x24 t13 x2 x5 x6 x7 x8 x10 x11 x12 x21 x22 x23 x24 f0 t15 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x21 x22 x23 x24 f0 t1 x21 t1 x5 t11 x2 x5 x6 x7 x8 x10 x11 x12 x21 x23 f0 t9 x2 x5 x6 x7 x10 x11 x12 x23 f0 t13 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x21 x23 f0 t11 x0 x2 x3 x5 x6 x7 x10 x11 x12 x23 f0 t1 x5 t1 x8 t11 x2 x5 x6 x7 x8 x10 x11 x12 x23 x24 f0 t13 x0 x2 x3 x5 x6 x7 x8 x10 x11 x12 x23 x24 f0 t1 x8 t1 x12 t1 x10 t9 x2 x5 x8 x9 x10 x12 x17 x18 f0 t11 x2 x5 x7 x8 x9 x10 x12 x17 x18 x20 f0 t11 x0 x2 x3 x5 x8 x9 x10 x12 x17 x18 f0 t13 x0 x2 x3 x5 x7 x8 x9 x10 x12 x17 x18 x20 f0 t1 x20 t13 x2 x5 x6 x7 x8 x9 x10 x12 x17 x18 x19 x20 f0 t15 x0 x2 x3 x5 x6 x7 x8 x9 x10 x12 x17 x18 x19 x20 f0 t1 x20 t1 x8 t9 x2 x5 x7 x8 x9 x10 x12 x20 f0 t11 x0 x2 x3 x5 x7 x8 x9 x10 x12 x20 f0 t1 x20 t11 x2 x5 x6 x7 x8 x9 x10 x12 x19 x20 f0 t13 x0 x2 x3 x5 x6 x7 x8 x9 x10 x12 x19 x20 f0 t1 x8 t1 x9 t7 x2 x5 x8 x9 x10 x12 f0 t9 x0 x2 x3 x5 x8 x9 x10 x12 f0 t1 x9 t1 x5 t9 x2 x5 x6 x7 x9 x10 x12 x19 f0 t11 x0 x2 x3 x5 x6 x7 x9 x10 x12 x19 f0 .end