# Function: urf5
# Used Library: MCT (gates: 499, quantum costs: 24253)
# This file has been taken from RevLib (www.revlib.org).
.version 1.0
.numvars 9
.variables a b c d e f g h i
.inputs  a b c d e f g h i
.outputs a b c d e f g h i
.begin
t3 a h e
t3 d h c
t4 b d h c
t4 b e h a
t3 d h e
t5 a b d h g
t5 a b d h f
t5 a b d h e
t4 d e h c
t4 d e h a
t5 a c d h e
t3 e h a
t3 a f e
t3 e h f
t3 a f e
t5 b d f h e
t5 b d g h c
t5 b c e h g
t5 b c e h f
t5 b c e h d
t4 e f h c
t6 b c d e h f
t4 e f h a
t4 a f h e
t4 a f h c
t5 a d f h g
t5 b d f h a
t5 a d f h e
t6 a c d f h g
t6 a c d f h e
t5 b e g h f
t2 c g
t6 b e f g h c
t2 c g
t7 a b c e f h g
t6 a d e f h g
t6 c d e f h g
t4 b g h a
t5 a d g h c
t5 a b g h d
t5 a d g h e
t4 e g h a
t6 a b d g h e
t6 a b d g h c
t5 d f g h c
t6 b c d g h f
t6 b c d g h a
t6 b c e g h d
t7 b c d e g h f
t6 b d f g h a
t8 a b c d f g h e
t6 b e f g h c
t4 a b i f
t6 c d e g i a
t6 a b e h i d
t7 a c d e g i h
t7 a c d e g i b
t8 a c d e f g i h
t8 a c d e f g i b
t4 b h i d
t4 c h i f
t4 c h i a
t5 a c h i d
t8 a c e f g h i b
t6 a b c h i g
t6 a b c h i f
t6 a b c h i e
t4 g h i d
t4 d h i g
t4 d h i b
t6 a d f h i c
t6 b c d h i f
t6 b c d h i a
t5 b g h i e
t4 g h i a
t6 a b e h i g
t5 c f h i e
t5 c e h i f
t6 b c g h i e
t6 b c e h i g
t5 d e h i f
t5 d e h i c
t7 a d e g h i b
t6 b d e h i g
t6 b d e h i a
t6 d e f h i b
t7 a b d e h i f
t7 b c d e h i g
t7 b c d e h i a
t6 a f g h i b
t5 b f h i g
t5 e f h i a
t5 b f h i e
t6 a b f h i e
t6 a b f h i d
t7 a b c f h i e
t5 a g h i f
t5 d f h i g
t5 d f h i a
t6 c d f h i a
t6 a d f h i g
t6 a d f h i c
t5 f g h i d
t5 e f h i b
t6 b d f h i g
t6 b d f h i e
t7 a b c g h i d
t7 a b d f h i g
t7 a b d f h i c
t5 e g h i c
t6 c d f h i g
t3 a e d
t6 c d f h i e
t3 a e d
t6 b e g h i f
t6 b e g h i a
t7 a b e f h i g
t6 c e f h i d
t6 c e f h i a
t5 e g h i f
t7 b c e f h i g
t4 g h i f
t7 a d e f h i g
t6 d e f h i a
t7 a d e f h i c
t6 b d g h i f
t6 e f g h i c
t7 b d e f h i g
t7 a e f g h i d
t5 a g h i b
t5 e g h i a
t8 b c d e f h i g
t5 b g h i f
t5 d g h i b
t6 b e g h i f
t6 d e g h i b
t7 a b e g h i d
t5 d g h i c
t6 c e g h i f
t6 c f g h i b
t8 a b c e g h i f
t6 c e g h i a
t7 b e f g h i d
t5 f g h i a
t7 a d e g h i f
t7 a d e g h i b
t6 e f g h i d
t6 c f g h i b
t6 c f g h i a
t8 a b d e g h i f
t8 a b d e g h i c
t6 b f g h i e
t5 f g h i b
t6 b f g h i d
t6 c f g h i d
t7 b d f g h i c
t6 c f g h i a
t8 a b c f g h i d
t7 b d f g h i a
t8 a c e f g h i b
t7 c e f g h i a
t8 a c e f g h i d
t8 a d e f g h i b
t8 c d e f g h i b
t9 a b d e f g h i c
t2 a b
t9 b c d e f g h i a
t8 c d e f g h i a
t2 a b
t8 b d e f g h i c
t7 d e f g h i c
t9 a b c e f g h i d
t9 b c d e f g h i a
t3 a b c
t7 c e f g h i a
t3 a b c
t7 b e f g h i a
t7 a e f g h i c
t6 e f g h i c
t9 a b c d f g h i e
t7 b e f g h i d
t7 c e f g h i b
t8 b c d f g h i e
t7 b e f g h i c
t8 a c d f g h i e
t7 d e f g h i c
t7 d e f g h i a
t7 c d f g h i e
t7 c e f g h i d
t8 a b d f g h i c
t8 a c d f g h i b
t7 a d f g h i e
t6 e f g h i b
t7 a c f g h i e
t6 e f g h i d
t7 b c f g h i e
t6 d f g h i a
t7 a b f g h i e
t7 b e f g h i c
t6 a f g h i e
t7 a e f g h i d
t7 a d f g h i b
t7 b e f g h i a
t9 a b c d e g h i f
t6 b f g h i d
t2 a f
t8 c d e f g h i a
t2 a f
t6 e f g h i c
t7 c d e g h i a
t7 b d e g h i f
t7 b d e g h i c
t7 b c f g h i e
t5 f g h i b
t6 d e g h i c
t6 d e g h i b
t7 a c e g h i f
t6 e f g h i c
t5 f g h i a
t6 a e g h i f
t6 a e g h i b
t6 e f g h i a
t8 a b c d g h i f
t6 b f g h i e
t7 b c d g h i e
t7 b c e g h i d
t6 b e g h i c
t5 e g h i b
t7 a c d g h i f
t7 a c d g h i e
t6 c d g h i e
t6 c e g h i a
t7 a b d g h i e
t6 b d g h i f
t7 b d f g h i e
t7 b e f g h i d
t5 e g h i b
t6 a d g h i b
t7 a b c g h i f
t7 a b c g h i e
t6 a e g h i d
t6 b c g h i f
t6 b c g h i e
t6 c f g h i a
t6 a c g h i f
t6 a f g h i b
t6 a f g h i c
t6 a b g h i d
t5 a g h i f
t5 f g h i d
t5 d g h i c
t9 a b c d e f h i g
t6 b d g h i a
t8 a c d e f h i g
t6 a c g h i f
t7 c d e f h i g
t7 c d f g h i e
t6 c f g h i d
t8 a b d e f h i g
t5 b g h i f
t6 a e g h i d
t4 g h i a
t8 a b c e f h i g
t5 c g h i d
t5 c g h i e
t6 b d g h i c
t7 a c e f h i g
t5 e g h i f
t6 a c g h i e
t4 g h i a
t6 b e f h i g
t6 e f g h i d
t4 g h i f
t5 e f h i g
t8 a b c d f h i g
t6 d f g h i c
t5 a g h i b
t5 d g h i a
t7 b c d f h i e
t6 c e f h i a
t7 a b e f h i d
t5 e f h i b
t6 b c f h i e
t6 b c f h i a
t7 a b e f h i c
t6 a e f h i b
t6 a c f h i g
t6 a c f h i d
t5 c f h i g
t5 c f h i e
t5 c g h i f
t5 e g h i c
t5 a f h i g
t4 f h i g
t5 f g h i a
t8 a b c d e h i f
t6 b d f h i c
t6 d e f h i b
t7 a c d e h i g
t7 a c d e h i b
t5 c g h i e
t6 c d e h i g
t5 d g h i c
t6 a d e h i g
t5 d g h i f
t5 d g h i b
t6 b e f h i d
t7 a b c e h i g
t7 a b c g h i d
t6 a c e h i g
t6 a e g h i f
t5 a f h i e
t5 b e h i f
t6 b e f h i c
t6 b c f h i e
t5 c f h i b
t5 a e h i g
t4 e h i g
t4 e h i f
t5 e g h i c
t5 c f h i e
t7 a b c d h i g
t6 a b g h i e
t5 e g h i d
t6 a c d h i g
t4 g h i f
t6 c d f h i b
t4 f h i c
t5 c d h i f
t5 c d h i e
t5 d f h i a
t6 a b d h i g
t5 a g h i d
t5 b d h i g
t5 b d h i e
t5 a d h i g
t5 a g h i b
t5 b c h i d
t5 b d h i a
t4 d h i c
t5 a b h i g
t5 a b h i f
t5 a f h i c
t7 a c f g h i b
t4 c h i a
t4 a h i f
t4 f h i e
t4 e h i d
t4 e h i a
t3 h i d
t3 h i b
t9 a b c d e f g i h
t8 b c d e f g i a
t7 c d e f g i a
t8 a b c d e g i h
t6 a b e h i d
t7 b c d e g i a
t3 a e f
t4 b f i a
t3 a e f
t3 b i e
t8 b c d e f g h a
t7 b d e f g h c
t7 a d e f g h c
t6 d e f g h c
t7 b c e f g h d
t3 a b d
t6 d e f g h a
t3 a b d
t5 e f g h c
t7 b c d f g h a
t7 a c d f g h e
t6 c d f g h e
t7 a b d f g h e
t6 b e f g h d
t5 d f g h e
t5 e f g h c
t6 a d f g h e
t6 c d f g h a
t7 a b c f g h e
t7 b c e f g h a
t6 b c f g h d
t6 b c f g h a
t7 a b d f g h c
t6 a b f g h e
t5 b f g h d
t5 d f g h c
t5 a f g h c
t8 a b c d e g h f
t6 b e f g h d
t6 b c f g h a
t7 a c d e g h f
t6 c d f g h a
t6 c d e g h f
t7 a b d e g h f
t3 d e f
t5 b f g h e
t3 d e f
t6 a d e g h f
t5 a f g h c
t5 d e g h f
t7 a b c e g h d
t5 d e g h a
t6 a b e g h f
t5 b f g h d
t5 b e g h d
t5 d e g h c
t5 b e g h a
t5 a e g h c
t4 e g h c
t7 a b c d g h e
t6 a c d g h e
t5 c d g h e
t4 e g h a
t4 e g h c
t5 b d g h f
t5 b f g h c
t4 d g h e
t6 a b c g h f
t6 b c f g h d
t5 b f g h c
t8 a b c d e f h g
t6 a b c g h f
t7 a b c e g h d
t7 b c d e f h g
t7 b c d e g h f
t4 e g h c
t7 a c d e f h g
t6 c d e g h a
t7 a b d e f h g
t5 a d g h f
t6 a b e g h d
t6 b d e f h g
t6 b d e f h c
t5 e f g h a
t6 a b e f h g
t6 a b e g h d
t5 b f g h e
t5 b e f h d
t5 a e f h c
t4 e f h g
t5 e f g h a
t7 a b c d f h g
t6 b c f g h d
t5 b c g h a
t6 b c d f h g
t4 b g h a
t5 c d f h e
t6 a b d f h e
t4 e f h c
t4 d f h c
t6 a b c f h e
t5 b c f h e
t6 b c e f h d
t6 b c d f h a
t5 a b f h d
t5 b d f h a
t7 a b c d e h g
t6 b d e g h f
t7 b c e f g h d
t6 a c d e h g
t5 c d g h f
t4 d f h c
t5 c d e h f
t5 c d f h e
t4 d f h c
t6 a b d e h g
t5 b e g h d
t5 b d e h g
t5 a d e h g
t5 a e g h c
t5 c d g h a
t6 a b c e h f
t5 a b f h d
t5 b d e h c
t5 a b e h f
t4 a f h e
t4 b e h g
t5 b e g h d
t6 a b c d h g
t5 b d g h c
t5 b c d h f
t5 b c f h a
t4 c d h g
t4 c d h f
t4 a d h g
t4 a d h f
t5 a b c h f
t6 a b c f h e
t3 b g d
t3 c h g
t4 a b h f
t4 a b h e
t4 a e h c
t3 e h a
t3 e f a
t3 a e f
t3 c d a
t3 a f e
.end