# Used Library: EQ (gates: 305, quantum costs: 305) # This file have been taken from RevLib (www.revlib.org). .version 1.0 .numvars 35 .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 .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 .outputs 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 .begin v x0 x2 v x1 x2 v x3 x5 v x4 x5 v x6 x9 v x7 x9 v x10 x12 v x11 x12 v x13 x16 v x14 x16 v x17 x20 v x18 x20 v x21 x24 v x22 x24 v x25 x27 v x26 x27 v x28 x31 v x29 x31 v x32 x34 v x33 x34 t2 x0 x1 v+ x1 x2 t2 x6 x7 v+ x7 x9 t2 x10 x11 t2 x13 x14 v+ x14 x16 t2 x17 x18 t2 x21 x22 v+ x22 x24 t2 x25 x26 t2 x28 x29 v+ x29 x31 t2 x32 x33 v x7 x8 v x11 x8 t2 x11 x7 v+ x7 x8 t2 x11 x7 v x14 x15 v x18 x15 t2 x18 x14 v+ x14 x15 t2 x18 x14 v x22 x23 v x26 x23 t2 x26 x22 v+ x22 x23 t2 x26 x22 v x29 x30 v x33 x30 t2 x33 x29 v+ x29 x30 t2 x33 x29 v x15 x19 v x23 x19 t2 x23 x15 v+ x15 x19 t2 x23 x15 v x2 x5 t2 x2 x4 t2 x4 x3 v+ x3 x5 t2 x4 x3 v x9 x12 t2 x9 x11 v+ x11 x12 t2 x9 x11 v x16 x20 t2 x16 x18 v+ x18 x20 t2 x16 x18 v x24 x27 t2 x24 x26 v+ x26 x27 t2 x24 x26 v x31 x34 t2 x31 x33 v+ x33 x34 t2 x31 x33 v x5 x12 v x8 x12 t2 x5 x8 v+ x8 x12 t2 x5 x8 v x20 x27 v x23 x27 t2 x20 x23 v+ x23 x27 t2 x20 x23 v x12 x27 v x19 x27 t2 x12 x19 v+ x19 x27 t2 x12 x19 v x12 x20 v x15 x20 t2 x12 x15 v+ x15 x20 t2 x12 x15 v x27 x34 v x30 x34 t2 x27 x30 v+ x30 x34 t2 x27 x30 v x5 x9 v x7 x9 t2 x5 x7 v+ x7 x9 t2 x5 x7 v x12 x16 v x14 x16 t2 x12 x14 v+ x14 x16 t2 x12 x14 v x20 x24 v x22 x24 t2 x20 x22 v+ x22 x24 t2 x20 x22 v x27 x31 v x29 x31 t2 x27 x29 v+ x29 x31 t2 x27 x29 v x15 x19 v x23 x19 t2 x15 x23 v+ x23 x19 t2 x15 x23 v x7 x8 v x11 x8 t2 x7 x11 v+ x11 x8 t1 x7 t2 x7 x11 v x14 x15 v x18 x15 t2 x18 x14 v+ x14 x15 t1 x18 t2 x18 x14 v x22 x23 v x26 x23 t2 x22 x26 v+ x26 x23 t1 x22 t2 x22 x26 v x29 x30 v x33 x30 t2 x33 x29 v+ x29 x30 t2 x33 x29 t2 x5 x7 t2 x9 x11 t2 x12 x14 t2 x16 x18 t2 x20 x22 t2 x24 x26 t2 x31 x33 t1 x1 t1 x4 t1 x29 t2 x6 x7 t2 x10 x11 t2 x13 x14 t2 x17 x18 t2 x21 x22 t2 x25 x26 v x7 x8 v x11 x8 t2 x11 x7 v+ x7 x8 t2 x11 x7 v x14 x15 v x18 x15 t2 x18 x14 v+ x14 x15 t2 x18 x14 v x22 x23 v x26 x23 t2 x26 x22 v+ x22 x23 t2 x26 x22 v x15 x19 v x23 x19 t2 x23 x15 v+ x15 x19 t2 x23 x15 v x5 x9 v x7 x9 t2 x7 x5 v+ x5 x9 t2 x7 x5 v x12 x16 v x14 x16 t2 x14 x12 v+ x12 x16 t2 x14 x12 v x20 x24 v x22 x24 t2 x22 x20 v+ x20 x24 t2 x22 x20 v x27 x31 t2 x29 x28 v+ x28 x31 t2 x29 x28 t2 x27 x29 v x12 x20 v x15 x20 t2 x15 x12 v+ x12 x20 t2 x15 x12 v x12 x27 v x19 x27 t2 x19 x12 v+ x12 x27 t2 x19 x12 v x5 x12 v x8 x12 t2 x8 x5 v+ x5 x12 t2 x8 x5 v x20 x27 v x23 x27 t2 x23 x20 v+ x20 x27 t2 x23 x20 v x2 x5 t2 x4 x2 v+ x2 x5 t2 x4 x2 v x9 x12 t2 x11 x9 v+ x9 x12 t2 x11 x9 v x16 x20 t2 x18 x16 v+ x16 x20 t2 x18 x16 v x24 x27 t2 x26 x24 v+ x24 x27 t2 x26 x24 v x15 x19 v x23 x19 t2 x23 x15 v+ x15 x19 t2 x23 x15 v x7 x8 v x11 x8 t2 x11 x7 v+ x7 x8 t2 x11 x7 v x14 x15 v x18 x15 t2 x18 x14 v+ x14 x15 t2 x18 x14 v x22 x23 v x26 x23 t2 x26 x22 v+ x22 x23 t2 x26 x22 v x0 x2 v x1 x2 t2 x1 x0 v+ x0 x2 t2 x1 x0 v x3 x5 t2 x3 x4 v x4 x5 v x6 x9 v+ x7 x9 t2 x6 x7 v x7 x9 v x10 x12 t2 x10 x11 v x11 x12 v x13 x16 v+ x14 x16 t2 x13 x14 v x14 x16 v x17 x20 t2 x17 x18 v x18 x20 v x21 x24 v+ x22 x24 t2 x21 x22 v x22 x24 v x25 x27 t2 x25 x26 v x26 x27 v x28 x31 v x29 x31 t1 x1 t1 x4 t1 x7 t1 x11 t1 x14 t1 x18 t1 x22 t1 x26 t1 x29 .end