# Function: sym9
# Used Library: MCT (gates: 210 , quantum costs: 4368)
# This file has been taken from RevLib (www.revlib.org).
.version 1.0
.numvars 10
.variables a b c d e f g h i j
.inputs x1 x2 x3 x4 x5 x6 x7 x8 x9  0 
.outputs g g g g g g g g g  s
.constants ---------0
.garbage 111111111-
.begin
t5 f g h i j
t5 e g h i j
t5 d g h i j
t5 c g h i j
t5 b g h i j
t5 a g h i j
t4 g h i j
t5 e f h i j
t5 d f h i j
t5 c f h i j
t5 b f h i j
t5 a f h i j
t4 f h i j
t5 d e h i j
t5 c e h i j
t5 b e h i j
t5 a e h i j
t4 e h i j
t5 c d h i j
t5 b d h i j
t5 a d h i j
t4 d h i j
t5 b c h i j
t5 a c h i j
t4 c h i j
t5 a b h i j
t4 b h i j
t4 a h i j
t5 e f g i j
t5 d f g i j
t5 c f g i j
t5 b f g i j
t5 a f g i j
t4 f g i j
t5 d e g i j
t5 c e g i j
t5 b e g i j
t5 a e g i j
t4 e g i j
t5 c d g i j
t5 b d g i j
t5 a d g i j
t4 d g i j
t5 b c g i j
t5 a c g i j
t4 c g i j
t5 a b g i j
t4 b g i j
t4 a g i j
t5 d e f i j
t5 c e f i j
t5 b e f i j
t5 a e f i j
t4 e f i j
t5 c d f i j
t5 b d f i j
t5 a d f i j
t4 d f i j
t5 b c f i j
t5 a c f i j
t4 c f i j
t5 a b f i j
t4 b f i j
t4 a f i j
t5 c d e i j
t5 b d e i j
t5 a d e i j
t4 d e i j
t5 b c e i j
t5 a c e i j
t4 c e i j
t5 a b e i j
t4 b e i j
t4 a e i j
t5 b c d i j
t5 a c d i j
t4 c d i j
t5 a b d i j
t4 b d i j
t4 a d i j
t5 a b c i j
t4 b c i j
t4 a c i j
t4 a b i j
t5 e f g h j
t5 d f g h j
t5 c f g h j
t5 b f g h j
t5 a f g h j
t4 f g h j
t5 d e g h j
t5 c e g h j
t5 b e g h j
t5 a e g h j
t4 e g h j
t5 c d g h j
t5 b d g h j
t5 a d g h j
t4 d g h j
t5 b c g h j
t5 a c g h j
t4 c g h j
t5 a b g h j
t4 b g h j
t4 a g h j
t5 d e f h j
t5 c e f h j
t5 b e f h j
t5 a e f h j
t4 e f h j
t5 c d f h j
t5 b d f h j
t5 a d f h j
t4 d f h j
t5 b c f h j
t5 a c f h j
t4 c f h j
t5 a b f h j
t4 b f h j
t4 a f h j
t5 c d e h j
t5 b d e h j
t5 a d e h j
t4 d e h j
t5 b c e h j
t5 a c e h j
t4 c e h j
t5 a b e h j
t4 b e h j
t4 a e h j
t5 b c d h j
t5 a c d h j
t4 c d h j
t5 a b d h j
t4 b d h j
t4 a d h j
t5 a b c h j
t4 b c h j
t4 a c h j
t4 a b h j
t5 d e f g j
t5 c e f g j
t5 b e f g j
t5 a e f g j
t4 e f g j
t5 c d f g j
t5 b d f g j
t5 a d f g j
t4 d f g j
t5 b c f g j
t5 a c f g j
t4 c f g j
t5 a b f g j
t4 b f g j
t4 a f g j
t5 c d e g j
t5 b d e g j
t5 a d e g j
t4 d e g j
t5 b c e g j
t5 a c e g j
t4 c e g j
t5 a b e g j
t4 b e g j
t4 a e g j
t5 b c d g j
t5 a c d g j
t4 c d g j
t5 a b d g j
t4 b d g j
t4 a d g j
t5 a b c g j
t4 b c g j
t4 a c g j
t4 a b g j
t5 c d e f j
t5 b d e f j
t5 a d e f j
t4 d e f j
t5 b c e f j
t5 a c e f j
t4 c e f j
t5 a b e f j
t4 b e f j
t4 a e f j
t5 b c d f j
t5 a c d f j
t4 c d f j
t5 a b d f j
t4 b d f j
t4 a d f j
t5 a b c f j
t4 b c f j
t4 a c f j
t4 a b f j
t5 b c d e j
t5 a c d e j
t4 c d e j
t5 a b d e j
t4 b d e j
t4 a d e j
t5 a b c e j
t4 b c e j
t4 a c e j
t4 a b e j
t5 a b c d j
t4 b c d j
t4 a c d j
t4 a b d j
t4 a b c j
.end