# Function: f51m # Used Library: MCT (Gates: 663, Quantum costs: 37400) # 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 22 .variables f7 f6 f5 f4 f3 f2 f1 f0 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .inputs 0 0 0 0 0 0 0 0 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .outputs f7 f6 f5 f4 f3 f2 f1 f0 x13 x12 x11 x10 x9 x8 x7 x6 x5 x4 x3 x2 x1 x0 .constants 00000000-------------- .garbage 11111111111111-------- .begin t3 x12 x13 f0 t3 x12 x13 f1 t3 x12 x13 f2 t3 x3 x7 f3 t3 x3 x7 f4 t3 x3 x7 f5 t5 x0 x1 x3 x6 f7 t6 x0 x4 x11 x12 x13 f1 t6 x0 x4 x11 x12 x13 f2 t4 x2 x6 x11 f2 t4 x1 x5 x11 f1 t4 x0 x4 x11 f0 t1 x8 t12 x0 x2 x3 x4 x5 x8 x9 x10 x11 x12 x13 f6 t6 x0 x8 x10 x11 x13 f0 t6 x0 x8 x10 x11 x13 f1 t6 x0 x8 x10 x11 x13 f2 t8 x1 x2 x5 x8 x9 x10 x13 f3 t10 x1 x2 x6 x7 x8 x9 x10 x11 x13 f6 t8 x1 x5 x8 x9 x10 x11 x13 f1 t6 x2 x8 x10 x11 x13 f2 t6 x2 x8 x10 x11 x13 f6 t8 x3 x7 x8 x9 x10 x11 x13 f3 t8 x3 x7 x8 x9 x10 x11 x13 f6 t1 x4 t5 x1 x3 x4 x6 f7 t4 x0 x4 x10 f0 t6 x0 x4 x10 x12 x13 f1 t6 x0 x4 x10 x12 x13 f2 t8 x0 x4 x8 x9 x10 x11 x13 f0 t8 x0 x4 x8 x9 x10 x11 x13 f1 t8 x0 x4 x8 x9 x10 x11 x13 f2 t10 x0 x4 x5 x6 x8 x9 x10 x12 x13 f3 t1 x7 t4 x3 x7 x10 f3 t5 x0 x1 x6 x7 f7 t5 x1 x4 x6 x7 f7 t1 x4 t12 x0 x1 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x2 t5 x0 x1 x2 x3 f7 t6 x2 x6 x8 x9 x13 f3 t9 x2 x3 x6 x8 x9 x10 x11 x13 f6 t4 x2 x6 x8 f2 t5 x0 x1 x2 x7 f7 t12 x0 x1 x2 x4 x7 x8 x9 x10 x11 x12 x13 f6 t1 x4 t5 x1 x2 x3 x4 f7 t10 x0 x2 x4 x5 x8 x9 x10 x12 x13 f3 t1 x8 t5 x1 x2 x4 x7 f7 t1 x7 t1 x4 t1 x9 t5 x3 x9 x10 x13 f3 t7 x3 x8 x9 x10 x11 x13 f3 t7 x3 x8 x9 x10 x11 x13 f6 t8 x1 x2 x6 x8 x9 x11 x13 f3 t1 x8 t8 x0 x8 x9 x10 x11 x12 x13 f1 t7 x1 x8 x9 x10 x11 x13 f1 t7 x1 x8 x9 x10 x11 x13 f3 t5 x2 x9 x11 x13 f3 t10 x0 x1 x2 x3 x8 x9 x10 x11 x13 f6 t1 x8 t1 x11 t4 x9 x11 x13 f3 t9 x4 x5 x6 x8 x10 x11 x12 x13 f3 t4 x3 x7 x11 f3 t5 x9 x10 x11 x13 f0 t5 x9 x10 x11 x13 f6 t6 x0 x9 x10 x11 x13 f0 t11 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x9 t11 x1 x2 x4 x5 x6 x7 x9 x10 x11 x13 f6 t10 x1 x4 x5 x6 x7 x9 x10 x11 x13 f6 t11 x1 x2 x4 x5 x7 x8 x9 x10 x11 x13 f6 t1 x9 t6 x2 x9 x10 x11 x13 f2 t10 x1 x2 x4 x5 x9 x10 x11 x12 x13 f3 t10 x1 x2 x4 x5 x9 x10 x11 x12 x13 f6 t1 x2 t1 x8 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t1 x7 t15 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x1 x2 x3 x4 x5 x7 x9 x10 x11 x12 x13 f6 t11 x1 x3 x4 x5 x7 x9 x10 x11 x12 x13 f6 t1 x9 t1 x7 t1 x11 t1 x0 t7 x0 x1 x5 x11 x12 x13 f2 t11 x0 x1 x2 x5 x6 x7 x8 x9 x10 x13 f6 t10 x0 x1 x5 x8 x9 x10 x11 x12 x13 f2 t4 x0 x4 x8 f0 t1 x8 t1 x11 t1 x4 t12 x0 x2 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t11 x0 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t1 x4 t1 x9 t8 x0 x4 x8 x9 x10 x11 x13 f1 t8 x0 x4 x8 x9 x10 x11 x13 f2 t10 x0 x2 x5 x6 x9 x10 x11 x12 x13 f3 t10 x0 x2 x5 x6 x9 x10 x11 x12 x13 f6 t1 x4 t4 x0 x4 x9 f0 t1 x7 t13 x0 x1 x2 x3 x5 x6 x7 x9 x10 x11 x12 x13 f6 t1 x9 t1 x2 t11 x0 x1 x2 x4 x5 x8 x9 x10 x11 x13 f6 t13 x0 x1 x2 x3 x4 x5 x7 x8 x9 x10 x11 x13 f6 t1 x8 t1 x9 t12 x0 x1 x2 x4 x5 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x2 x4 x5 x8 x9 x10 x11 x12 x13 f6 t14 x0 x1 x2 x3 x4 x5 x7 x8 x9 x10 x11 x12 x13 f6 t1 x11 t9 x0 x1 x2 x8 x9 x10 x11 x13 f3 t1 x4 t1 x7 t1 x8 t1 x2 t1 x3 t9 x2 x3 x7 x8 x9 x10 x11 x13 f6 t1 x11 t11 x3 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t13 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x2 t11 x1 x2 x3 x6 x7 x8 x9 x10 x11 x13 f6 t10 x1 x2 x3 x6 x7 x8 x9 x10 x13 f6 t13 x1 x2 x3 x4 x5 x7 x8 x9 x10 x11 x12 x13 f6 t1 x2 t1 x7 t3 x3 x7 f4 t4 x3 x7 x9 f3 t1 x9 t12 x1 x3 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t12 x0 x2 x3 x4 x6 x7 x8 x9 x10 x11 x13 f6 t11 x0 x2 x3 x6 x7 x8 x9 x10 x11 x13 f6 t1 x7 t1 x8 t4 x3 x7 x8 f3 t11 x2 x3 x4 x5 x6 x8 x9 x10 x11 x13 f6 t10 x0 x2 x3 x5 x6 x8 x9 x10 x13 f6 t1 x0 t1 x3 t1 x1 t12 x0 x1 x3 x4 x6 x8 x9 x10 x11 x12 x13 f6 t11 x0 x1 x3 x4 x6 x8 x9 x10 x12 x13 f6 t8 x1 x2 x8 x9 x10 x12 x13 f3 t4 x1 x5 x8 f1 t11 x1 x3 x4 x6 x7 x8 x9 x10 x11 x13 f6 t10 x1 x3 x4 x6 x7 x9 x10 x11 x13 f6 t1 x3 t11 x1 x2 x3 x5 x6 x8 x9 x10 x11 x13 f6 t10 x1 x2 x3 x5 x6 x8 x9 x10 x13 f6 t1 x8 t10 x1 x2 x3 x4 x6 x9 x10 x11 x13 f6 t1 x9 t6 x1 x9 x10 x11 x13 f1 t9 x0 x1 x5 x8 x9 x10 x11 x13 f2 t10 x0 x1 x4 x6 x9 x10 x11 x12 x13 f3 t10 x0 x1 x4 x6 x9 x10 x11 x12 x13 f6 t12 x1 x3 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x11 t9 x1 x2 x3 x8 x9 x10 x11 x13 f6 t8 x1 x2 x3 x9 x10 x11 x13 f6 t1 x2 t12 x0 x1 x2 x5 x6 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x2 x3 x5 x6 x7 x8 x9 x11 x13 f6 t1 x9 t11 x0 x1 x2 x3 x4 x8 x9 x10 x11 x13 f6 t10 x0 x1 x2 x3 x4 x8 x9 x10 x13 f6 t1 x3 t1 x8 t12 x0 x1 x2 x3 x4 x8 x9 x10 x11 x12 x13 f6 t1 x4 t10 x0 x1 x4 x6 x8 x9 x10 x12 x13 f3 t10 x0 x1 x4 x5 x8 x9 x10 x12 x13 f2 t10 x0 x1 x2 x4 x8 x9 x10 x12 x13 f3 t1 x8 t1 x9 t10 x1 x4 x5 x8 x9 x10 x11 x12 x13 f2 t9 x1 x4 x5 x8 x9 x10 x12 x13 f2 t1 x9 t1 x0 t9 x0 x1 x2 x8 x9 x11 x12 x13 f3 t1 x11 t12 x0 x1 x2 x3 x4 x7 x8 x9 x10 x11 x13 f6 t1 x3 t8 x0 x1 x2 x3 x9 x10 x13 f6 t1 x9 t12 x0 x1 x3 x6 x7 x8 x9 x10 x11 x12 x13 f6 t9 x0 x1 x2 x9 x10 x11 x12 x13 f3 t9 x0 x1 x2 x9 x10 x11 x12 x13 f6 t12 x0 x1 x2 x3 x7 x8 x9 x10 x11 x12 x13 f6 t11 x0 x1 x4 x6 x8 x9 x10 x11 x12 x13 f3 t11 x0 x1 x4 x6 x8 x9 x10 x11 x12 x13 f6 t1 x8 t9 x0 x1 x3 x6 x8 x9 x10 x13 f6 t8 x0 x1 x3 x6 x8 x10 x13 f6 t1 x3 t1 x7 t11 x1 x3 x4 x6 x7 x9 x10 x11 x12 x13 f6 t10 x1 x3 x6 x7 x9 x10 x11 x12 x13 f6 t13 x0 x1 x3 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x9 t1 x8 t1 x0 t1 x1 t1 x5 t5 x0 x3 x5 x6 f7 t4 x1 x5 x10 f1 t5 x0 x5 x6 x7 f7 t5 x3 x4 x5 x6 f7 t5 x4 x5 x6 x7 f7 t5 x0 x2 x3 x5 f7 t5 x0 x2 x5 x7 f7 t5 x2 x3 x4 x5 f7 t5 x2 x4 x5 x7 f7 t1 x7 t1 x4 t1 x2 t9 x0 x1 x4 x5 x10 x11 x12 x13 f2 t1 x1 t12 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t1 x4 t11 x1 x2 x4 x5 x6 x7 x9 x10 x11 x13 f6 t13 x0 x1 x2 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t1 x4 t1 x2 t10 x1 x2 x4 x5 x8 x10 x11 x12 x13 f3 t1 x9 t4 x1 x5 x9 f1 t10 x0 x1 x5 x8 x9 x10 x11 x12 x13 f2 t9 x0 x1 x5 x8 x9 x10 x12 x13 f2 t12 x1 x2 x4 x5 x7 x8 x9 x10 x11 x12 x13 f6 t1 x2 t1 x1 t1 x0 t7 x0 x1 x5 x10 x12 x13 f2 t11 x0 x1 x4 x5 x8 x9 x10 x11 x12 x13 f2 t1 x1 t1 x4 t1 x7 t14 x0 x1 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x9 t11 x0 x1 x4 x5 x8 x9 x10 x11 x12 x13 f3 t1 x3 t14 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t13 x0 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t1 x4 t1 x0 t1 x2 t12 x1 x2 x3 x4 x5 x8 x9 x10 x11 x12 x13 f6 t11 x1 x2 x3 x4 x5 x8 x10 x11 x12 x13 f6 t1 x11 t1 x2 t1 x3 t1 x8 t12 x0 x2 x4 x5 x7 x8 x9 x10 x11 x12 x13 f6 t1 x7 t11 x0 x1 x4 x5 x8 x9 x10 x11 x12 x13 f2 t10 x0 x4 x5 x8 x9 x10 x11 x12 x13 f2 t11 x0 x1 x2 x5 x6 x7 x8 x9 x10 x13 f6 t1 x0 t1 x9 t1 x11 t12 x0 x1 x2 x5 x6 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x2 x5 x6 x8 x9 x10 x11 x12 x13 f6 t1 x11 t1 x9 t1 x0 t1 x5 t1 x6 t4 x2 x6 x10 f2 t12 x0 x3 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t6 x6 x8 x9 x12 x13 f3 t8 x2 x6 x8 x9 x10 x11 x13 f2 t8 x2 x6 x8 x9 x10 x11 x13 f6 t1 x2 t11 x1 x2 x5 x6 x7 x8 x9 x10 x11 x13 f6 t1 x11 t11 x1 x2 x3 x4 x6 x7 x9 x10 x11 x13 f6 t12 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t1 x8 t12 x0 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t1 x0 t10 x0 x2 x5 x6 x8 x10 x11 x12 x13 f3 t1 x11 t1 x8 t10 x0 x2 x5 x6 x7 x8 x9 x10 x13 f6 t10 x0 x1 x2 x6 x7 x8 x9 x10 x13 f6 t1 x3 t11 x1 x2 x3 x5 x6 x8 x9 x10 x11 x13 f6 t1 x1 t10 x0 x2 x3 x5 x6 x8 x9 x10 x13 f6 t1 x7 t8 x6 x7 x8 x9 x10 x11 x13 f6 t12 x1 x2 x3 x4 x5 x6 x7 x9 x10 x11 x13 f6 t11 x1 x2 x3 x4 x5 x6 x7 x9 x10 x13 f6 t1 x5 t9 x1 x5 x6 x8 x9 x10 x12 x13 f3 t11 x0 x4 x5 x6 x7 x8 x9 x11 x12 x13 f6 t10 x4 x5 x6 x7 x8 x9 x11 x12 x13 f6 t1 x1 t1 x11 t13 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t1 x8 t1 x3 t1 x2 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x2 x5 x6 x8 x9 x10 x11 x12 x13 f3 t1 x5 t1 x0 t1 x9 t1 x2 t4 x2 x6 x9 f2 t1 x8 t12 x0 x1 x2 x4 x6 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x2 x4 x6 x8 x9 x10 x11 x12 x13 f6 t14 x0 x1 x2 x3 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x8 t1 x0 t12 x0 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x0 x1 x2 x3 x6 x7 x9 x10 x11 x12 x13 f6 t1 x1 t1 x7 t12 x0 x2 x3 x5 x6 x8 x9 x10 x11 x12 x13 f6 t1 x3 t1 x11 t1 x2 t1 x0 t1 x9 t1 x12 t1 x8 t8 x2 x5 x8 x9 x10 x12 x13 f3 t9 x0 x4 x8 x9 x10 x11 x12 x13 f1 t9 x0 x4 x8 x9 x10 x11 x12 x13 f2 t1 x0 t8 x0 x4 x5 x8 x9 x12 x13 f2 t6 x0 x4 x8 x12 x13 f1 t6 x0 x4 x8 x12 x13 f2 t9 x0 x1 x4 x8 x9 x10 x12 x13 f2 t10 x0 x1 x2 x4 x8 x9 x10 x12 x13 f3 t10 x0 x1 x4 x6 x8 x9 x10 x12 x13 f3 t1 x1 t6 x1 x5 x8 x12 x13 f2 t8 x1 x5 x6 x8 x9 x12 x13 f3 t1 x6 t1 x4 t12 x0 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x0 x2 x3 x4 x5 x8 x9 x10 x11 x12 x13 f6 t12 x0 x1 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x0 x1 x2 x3 x4 x8 x9 x10 x11 x12 x13 f6 t1 x6 t12 x0 x3 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t12 x0 x1 x3 x4 x6 x8 x9 x10 x11 x12 x13 f6 t1 x6 t1 x2 t12 x0 x2 x4 x5 x7 x8 x9 x10 x11 x12 x13 f6 t12 x0 x1 x2 x4 x7 x8 x9 x10 x11 x12 x13 f6 t1 x8 t1 x4 t1 x1 t1 x9 t7 x0 x1 x9 x11 x12 x13 f2 t10 x0 x1 x4 x5 x8 x9 x11 x12 x13 f2 t1 x1 t10 x1 x2 x5 x6 x8 x9 x11 x12 x13 f3 t14 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x11 x12 x13 f6 t1 x4 t6 x0 x4 x9 x12 x13 f1 t6 x0 x4 x9 x12 x13 f2 t12 x0 x1 x2 x4 x5 x6 x8 x9 x11 x12 x13 f3 t1 x2 t1 x0 t1 x4 t1 x8 t10 x0 x1 x2 x8 x9 x10 x11 x12 x13 f3 t11 x0 x1 x2 x3 x8 x9 x10 x11 x12 x13 f6 t1 x3 t1 x0 t8 x0 x1 x5 x8 x9 x12 x13 f2 t1 x9 t1 x5 t10 x0 x2 x4 x5 x8 x9 x10 x12 x13 f3 t1 x6 t9 x0 x4 x5 x6 x8 x9 x12 x13 f3 t1 x8 t1 x9 t10 x0 x4 x5 x8 x9 x10 x11 x12 x13 f2 t1 x0 t7 x0 x1 x5 x9 x12 x13 f2 t1 x5 t1 x11 t8 x0 x1 x9 x10 x11 x12 x13 f2 t1 x1 t1 x0 t7 x0 x9 x10 x11 x12 x13 f1 t7 x0 x9 x10 x11 x12 x13 f2 t1 x9 t1 x0 t1 x11 t1 x12 t1 x10 t5 x8 x9 x10 x13 f0 t5 x8 x9 x10 x13 f1 t5 x8 x9 x10 x13 f2 t5 x8 x9 x10 x13 f3 t5 x8 x9 x10 x13 f6 t5 x8 x9 x10 x11 f0 t5 x8 x9 x10 x11 f1 t5 x8 x9 x10 x11 f2 t5 x8 x9 x10 x11 f3 t6 x3 x7 x10 x11 x13 f6 t8 x6 x8 x9 x10 x11 x12 x13 f3 t9 x1 x5 x6 x9 x10 x11 x12 x13 f3 t1 x3 t11 x1 x2 x3 x5 x6 x7 x8 x10 x11 x13 f6 t1 x5 t10 x0 x4 x5 x6 x9 x10 x11 x12 x13 f3 t13 x0 x1 x2 x3 x4 x5 x6 x7 x8 x10 x11 x13 f6 t1 x6 t9 x2 x3 x6 x7 x8 x10 x11 x13 f6 t1 x2 t12 x0 x1 x2 x4 x5 x6 x8 x10 x11 x12 x13 f3 t10 x1 x2 x5 x6 x8 x10 x11 x12 x13 f3 t11 x1 x2 x3 x5 x7 x8 x9 x10 x11 x13 f6 t10 x1 x2 x3 x7 x8 x9 x10 x11 x13 f6 t13 x0 x1 x2 x3 x4 x5 x7 x8 x9 x10 x11 x13 f6 t1 x2 t1 x7 t7 x2 x6 x7 x10 x11 x13 f6 t13 x0 x1 x2 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t11 x0 x1 x4 x5 x7 x8 x9 x10 x11 x13 f6 t1 x5 t9 x1 x5 x6 x7 x9 x10 x11 x13 f6 t8 x1 x5 x7 x9 x10 x11 x13 f6 t1 x9 t9 x2 x3 x6 x7 x9 x10 x11 x13 f6 t1 x2 t10 x1 x2 x5 x6 x7 x8 x10 x11 x13 f6 t11 x1 x2 x3 x5 x6 x8 x9 x10 x11 x13 f6 t1 x5 t13 x0 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x0 x2 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t13 x0 x1 x2 x3 x5 x6 x7 x8 x9 x10 x11 x13 f6 t12 x0 x1 x2 x3 x5 x6 x8 x9 x10 x11 x13 f6 t1 x2 t1 x3 t1 x5 t1 x6 t10 x1 x2 x3 x6 x7 x9 x10 x11 x13 f6 t1 x1 t11 x0 x1 x4 x5 x6 x8 x10 x11 x12 x13 f3 t8 x1 x2 x6 x9 x10 x11 x13 f3 t14 x0 x1 x2 x3 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t14 x0 x1 x2 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t1 x9 t12 x0 x1 x3 x4 x6 x7 x8 x9 x10 x11 x13 f6 t1 x6 t1 x3 t10 x0 x1 x3 x4 x8 x9 x10 x11 x13 f6 t12 x0 x1 x2 x3 x4 x6 x8 x9 x10 x11 x13 f6 t1 x2 t1 x9 t12 x0 x1 x2 x4 x5 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x2 x3 x4 x6 x7 x8 x10 x11 x13 f6 t11 x0 x1 x2 x4 x6 x7 x8 x10 x11 x13 f6 t1 x7 t10 x0 x1 x4 x5 x9 x10 x11 x12 x13 f2 t9 x0 x1 x4 x9 x10 x11 x12 x13 f2 t1 x1 t1 x4 t9 x0 x1 x4 x5 x10 x11 x12 x13 f2 t14 x0 x1 x2 x3 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t14 x0 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x3 t1 x5 t1 x7 t13 x0 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x13 f6 t1 x2 t1 x6 t12 x0 x1 x2 x4 x5 x6 x9 x10 x11 x12 x13 f3 t14 x0 x1 x2 x3 x4 x5 x6 x7 x9 x10 x11 x12 x13 f6 t1 x9 t1 x5 t1 x6 t1 x2 t12 x0 x1 x2 x4 x6 x8 x9 x10 x11 x12 x13 f3 t11 x0 x2 x4 x6 x8 x9 x10 x11 x12 x13 f3 t1 x4 t1 x12 t1 x9 t13 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t13 x1 x2 x3 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x1 t13 x0 x1 x2 x3 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x2 t1 x6 t11 x0 x1 x2 x5 x6 x8 x9 x10 x12 x13 f3 t11 x0 x1 x2 x5 x6 x8 x9 x10 x12 x13 f6 t13 x1 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x1 x2 x3 x5 x6 x8 x9 x10 x11 x12 x13 f6 t1 x3 t12 x1 x2 x3 x5 x6 x7 x8 x9 x10 x12 x13 f6 t1 x7 t1 x1 t1 x5 t15 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t14 x0 x1 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x3 t1 x5 t1 x0 t11 x0 x1 x2 x4 x6 x8 x9 x10 x12 x13 f3 t11 x0 x1 x2 x4 x6 x8 x9 x10 x12 x13 f6 t11 x0 x2 x4 x5 x6 x8 x9 x10 x12 x13 f3 t11 x0 x2 x4 x5 x6 x8 x9 x10 x12 x13 f6 t1 x5 t9 x0 x1 x5 x9 x10 x11 x12 x13 f2 t10 x0 x1 x2 x5 x6 x9 x10 x11 x13 f3 t14 x0 x1 x2 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x0 x1 x2 x3 x5 x6 x7 x9 x10 x11 x13 f6 t11 x0 x1 x2 x3 x5 x6 x9 x10 x11 x13 f6 t14 x0 x1 x2 x3 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t1 x5 t1 x1 t1 x4 t15 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x3 t14 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x12 x13 f6 t13 x0 x1 x2 x3 x4 x5 x6 x8 x9 x10 x12 x13 f6 t1 x6 t1 x4 t1 x5 t10 x0 x1 x4 x5 x8 x9 x10 x12 x13 f2 t1 x1 t1 x2 t15 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x2 x5 x6 x8 x9 x10 x11 x12 x13 f3 t1 x12 t1 x9 t1 x5 t1 x1 t11 x0 x1 x2 x6 x8 x9 x10 x11 x12 x13 f3 t10 x0 x1 x2 x8 x9 x10 x11 x12 x13 f3 t1 x1 t1 x2 t1 x0 t1 x11 t7 x8 x9 x10 x11 x12 x13 f0 t7 x8 x9 x10 x11 x12 x13 f1 t7 x8 x9 x10 x11 x12 x13 f2 t1 x9 t1 x12 t9 x0 x1 x2 x9 x10 x11 x12 x13 f3 t9 x0 x1 x2 x9 x10 x11 x12 x13 f6 t1 x7 t10 x1 x3 x7 x8 x9 x10 x11 x12 x13 f6 t1 x2 t11 x0 x1 x2 x6 x8 x9 x10 x11 x12 x13 f3 t11 x0 x1 x2 x6 x8 x9 x10 x11 x12 x13 f6 t1 x2 t1 x0 t11 x0 x1 x4 x6 x8 x9 x10 x11 x12 x13 f3 t11 x0 x1 x4 x6 x8 x9 x10 x11 x12 x13 f6 t1 x4 t13 x0 x1 x3 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x1 t10 x1 x5 x6 x8 x9 x10 x11 x12 x13 f3 t10 x1 x5 x6 x8 x9 x10 x11 x12 x13 f6 t12 x1 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t12 x0 x1 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t12 x0 x1 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t14 x0 x1 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x4 t1 x1 t1 x6 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t14 x0 x1 x2 x3 x4 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x0 t13 x0 x1 x2 x3 x6 x7 x8 x9 x10 x11 x12 x13 f6 t11 x1 x3 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x12 t1 x9 t1 x7 t1 x6 t1 x8 t1 x1 t10 x0 x1 x4 x5 x8 x10 x11 x12 x13 f2 t9 x0 x1 x4 x5 x8 x10 x12 x13 f2 t9 x2 x6 x8 x9 x10 x11 x12 x13 f3 t1 x12 t9 x2 x6 x8 x9 x10 x11 x12 x13 f6 t11 x1 x2 x5 x6 x8 x9 x10 x11 x12 x13 f3 t11 x1 x2 x5 x6 x8 x9 x10 x11 x12 x13 f6 t11 x2 x3 x6 x7 x8 x9 x10 x11 x12 x13 f6 t13 x1 x2 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x1 t1 x0 t11 x0 x1 x4 x5 x8 x9 x10 x11 x12 x13 f2 t11 x0 x1 x4 x5 x8 x9 x10 x11 x12 x13 f3 t11 x0 x1 x4 x5 x8 x9 x10 x11 x12 x13 f6 t13 x0 x1 x3 x4 x5 x7 x8 x9 x10 x11 x12 x13 f6 t1 x6 t10 x1 x5 x6 x8 x9 x10 x11 x12 x13 f6 t12 x1 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x3 t1 x6 t1 x5 t12 x0 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t12 x0 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t1 x6 t11 x3 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t13 x0 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x6 t1 x3 t14 x0 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x5 t1 x2 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f3 t13 x0 x1 x2 x4 x5 x6 x8 x9 x10 x11 x12 x13 f6 t15 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 f6 t1 x2 t1 x7 t1 x5 t1 x6 t9 x5 x6 x7 x8 x9 x10 x12 x13 f6 t11 x0 x4 x5 x6 x7 x8 x9 x10 x12 x13 f6 t1 x0 t1 x9 t11 x0 x1 x2 x3 x8 x9 x10 x11 x12 x13 f6 t1 x11 t1 x3 t1 x8 t1 x13 t5 x8 x10 x11 x13 f0 t5 x8 x10 x11 x13 f1 t5 x8 x10 x11 x13 f2 t5 x8 x10 x11 x13 f3 t1 x8 t8 x3 x7 x8 x9 x10 x11 x13 f3 t8 x2 x6 x8 x9 x10 x11 x13 f2 t8 x1 x5 x8 x9 x10 x11 x13 f1 t1 x4 t8 x0 x4 x8 x9 x10 x11 x13 f0 t1 x10 t1 x9 t1 x11 t6 x8 x9 x10 x11 x13 f0 t6 x8 x9 x10 x11 x13 f1 t6 x8 x9 x10 x11 x13 f2 t6 x8 x9 x10 x11 x13 f3 .end