# Function: hwb8 # Used Library: MCT (gates: 637, quantum costs: 16530) # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 8 .variables a b c d e f g h .inputs a b c d e f g h .outputs a b c d e f g h .constants -------- .garbage -------- .begin t4 a e f b t3 a h d t3 b d f t3 b d e t3 a d h t3 b d a t4 b c g d t3 b g a t4 a c d g t4 a c d b t2 f d t3 c f b t5 a b c d h t5 a b c d f t3 e g c t2 g a t5 a b c e g t4 a d e b t4 a d e f t4 a d e c t4 a d e h t4 c d g e t3 e f b t5 b c d e f t2 f g t4 c d e f t5 b c d e a t2 f b t2 f a t4 c d g f t3 a g d t5 a b c f g t3 a g f t5 a b d f e t4 d e f h t4 d e f b t4 b e f c t4 a d f g t4 a c g e t4 a f g d t5 a d e f c t5 b d e f g t5 a d e f g t5 b d e f c t4 a d g e t5 a d g h f t2 g b t6 a b d e f g t4 a b g c t3 d g c t6 a b d e f h t4 a b g f t3 e g a t4 a c g d t4 d f g b t4 b d g f t4 a c g e t4 b d g h t5 c e f g d t4 c d g f t4 c d g e t4 d f g c t3 e g a t4 d f g e t6 b c d e g f t5 c d e g f t5 b c f g a t6 b c d e g h t4 f g h d t4 c f g h t5 b c f g d t5 a c g h b t6 b c d f g h t4 e f g a t6 b c d f g a t3 f h b t4 e f h g t5 b e f g h t5 e f g h c t5 c e f g h t4 d e h g t6 a c e f g h t6 a c e f g d t4 e g h c t4 e g h f t4 e g h b t6 b c e f g h t4 b d h f t4 a e h c t6 a d e f g h t6 a d e f g b t4 a e h f t4 a g h d t6 c d e f g h t6 c d e f g a t5 b d f h e t2 h c t7 b c d e f g h t4 b c h d t4 a c h b t4 b c h g t3 b h g t4 c g h d t3 b h e t4 c d h g t3 e h d t6 a b c d h e t5 a b e h d t4 b e h d t4 d f h c t4 b e h g t5 a d f h e t6 a b c e h d t5 a c e h d t5 a d e h g t5 c e g h d t5 a c e h f t5 c d e h g t3 f h e t4 b f h c t5 a b f h d t7 a b c d e h f t3 f h a t4 a f h c t4 a f h b t5 a c g h f t5 c d f h g t5 a c f h e t5 a c f h g t5 c d f h e t5 b e g h f t5 b c g h d t5 c f g h e t6 b c d f h g t5 d e f h b t5 c e f h g t6 b c f g h d t6 a d e f h g t6 a d e f h c t6 a d e f h b t4 f g h e t5 c f g h d t7 a c d e f h g t4 d g h e t7 b c d e f h g t5 c f g h b t5 b c g h a t5 b c g h f t5 a d g h c t6 a b c g h d t6 a b c g h e t4 d g h b t6 a b d g h e t5 a f g h b t4 f g h e t6 a b e g h f t6 b c e g h f t5 e f g h b t5 d e g h b t6 b d e g h c t6 b d e g h f t6 b c f g h d t6 b d f g h c t7 a b d e g h f t5 b f g h e t7 b c d e g h f t5 c f g h a t7 c d e f g h b t8 a b c d e g h f t5 a f g h d t2 c e t6 b d f g h a t5 e f g h b t6 a c f g h e t5 c f g h d t6 b e f g h c t2 c e t7 a b c f g h e t4 f g h c t5 e f g h d t1 a t6 a d f g h e t8 a c d e f g h b t1 a t6 a d f g h b t6 d e f g h b t7 a c e f g h b t8 a b c e f g h d t6 a e f g h d t5 d f g h c t6 c d f g h a t7 c d e f g h a t6 b e f g h c t7 a b e f g h d t4 a d f c t7 a c d f g h e t7 a b c e g h d t6 a e f g h b t7 c d e f g h a t6 c e f g h b t4 a d f c t7 b c e f g h a t6 a b f g h c t8 a b c d f g h e t5 e f g h d t6 c e f g h d t5 d f g h a t5 b f g h c t6 a c e g h d t6 c d e g h f t7 b c d e g h f t7 a c d e g h f t5 d f g h b t7 a b d e g h f t6 d e f g h c t7 a b d f g h e t5 d e g h f t6 a d e g h b t5 c e g h f t6 b d e g h a t4 f g h b t6 b c f g h a t5 b e g h f t5 b f g h c t4 e g h b t5 a e g h f t4 f g h b t7 a b c d g h e t6 b d e g h c t6 b c d g h e t6 b c e g h d t5 b e g h c t4 e g h a t5 a e g h b t6 a c d g h e t5 a e g h d t5 a d g h e t5 c d g h b t5 d e g h c t5 b d g h c t5 a c g h e t4 c g h a t5 a b g h f t4 e g h c t5 b d g h f t5 a f g h b t4 c g h e t5 c e g h d t5 a e g h c t4 b g h e t3 g h a t8 a b c d e f h g t6 a b e g h f t5 c d g h b t5 c d g h a t6 c d e f h g t5 c f g h d t7 a b d e f h c t6 b d e f h g t7 b d e f g h a t6 c d e f h a t7 a b c e f h g t6 b c e g h d t5 d e g h b t5 e f g h c t6 b c e f h g t5 b c g h d t5 d e f h a t6 a c e f h g t4 f g h e t6 a b e f h d t6 a b e f h c t6 a d e f h b t5 b e f h g t5 b e g h a t6 a b e g h f t4 e g h b t5 a e f h d t7 a b c d f h g t6 a c d f h b t4 e f h g t6 a b d f h e t4 a g h e t6 a b e f h d t5 b d f h g t5 b d g h f t5 a d f h e t5 d e f h b t5 b e f h d t4 d f h g t4 d g h e t5 e f g h c t4 c g h a t6 a b c f h d t6 a b c f h g t6 a b c f h e t6 a d e g h f t4 b g h c t5 b c f h g t5 b f g h d t4 c g h f t4 c f h g t4 b f h g t4 f g h c t4 b f h d t5 a b f h c t5 b f g h a t4 b g h f t6 b c d e h g t4 d g h f t6 b c e g h d t6 a c d e h f t5 c e f h d t6 a b d e h g t4 e g h d t5 b d e h f t4 b f h c t3 f h d t4 b f h e t4 c f h b t4 d e h f t4 d f h e t5 b c e h g t3 f h d t5 b c e h f t3 g h c t4 c e h g t4 e g h d t5 c d g h e t3 g h c t4 a e h g t5 a e g h c t3 e h g t4 e g h d t5 a c d h e t5 b c d h e t5 a d e h c t4 d e h a t4 b d h f t5 a b d h e t4 b e h c t5 b c d h a t4 b d h c t4 b f h d t4 a d h f t4 a d h c t4 d f h a t3 d h g t4 d g h f t3 f h a t5 a b c h g t5 a b g h c t3 c h e t3 f h d t3 c h f t4 a b h g t4 e f h c t3 g h e t4 a e h d t3 a h e t4 a e h c t3 e h a t2 h f t3 f h d t8 a b c d e f g h t4 a d h c t4 d f h a t4 d f h e t7 a c d e f g h t7 a d e f g h b t5 c d e h g t4 a b h d t7 a b d e f g h t5 a b d h c t4 f g h b t4 e f h a t6 b d e f g h t3 g h a t5 a b g h d t5 d e f g c t6 c d e f g a t6 c d e f g b t7 a b c e f g h t5 a c f h g t6 a b e f h c t6 a b e f g h t5 a e f g h t4 a g h d t3 d h f t7 a b c d f g e t4 e f g d t6 a b e f g c t6 a c d f g h t5 a d g h b t3 b h f t4 a c h g t5 c d f g h t6 a b d f g h t5 a d g h c t4 d f g h t5 b d f g e t5 d e f g c t6 c d e f g a t5 a e f g b t3 g h e t5 a d f g b t4 e f g a t6 a b c f g e t4 e f g c t5 a c f g h t5 a f g h b t4 b g h a t3 g h c t5 a b f g h t4 b g h f t4 a g h b t4 b f g e t4 e f g d t5 d e f g a t3 f g d t4 d f g c t4 a f g h t4 a f g e t6 a e f g h b t7 a b c d e g h t7 a b c d e g f t4 a e h c t6 a d e g h b t6 a c d e g h t4 c d h b t4 e g h f t5 a d e h g t4 b f h a t6 a b d e g h t4 a d h c t4 b g h d t5 a b c h e t5 a d e g h t5 b d e g f t5 b d f g c t5 a e g h d t4 d e g c t5 c d e g a t6 a b c e g h t4 c e h b t2 h a t4 c e g h t5 a c e g f t5 b c e g d t4 c f g b t5 b c f g a t4 c e g f t5 a b e g f t5 a b e g h t3 g h d t5 a b f h g t4 a e g f t4 a f g d t5 a d f g c t4 c e g a t6 a b c d g f t5 a d f g c t5 b c d g h t4 c d h g t5 a c d g h t4 c d h e t4 a e h b t4 a b h g t4 a c h d t5 a b d g h t4 b g h f t5 a d f g c t5 b d f h e t4 c e h g t4 a d g h t3 g h e t3 e g c t4 b d g c t4 c g h a t3 d g c t3 d g h t4 d g h b t3 d g a t5 a b c g f t4 a f g c t3 g h d t4 b c g h t4 b c h g t3 b h f t4 b f h c t3 c g e t4 c e g d t3 b g c t3 c g b t3 a g h t4 a g h e t2 g h t3 g h c t4 c g h b t5 b c g h a t6 b c d e f h t5 b c d h a t3 d h g t3 a g c t6 a c d e f g t5 c d e g b t6 a b c f g d t5 c d e f h t5 b c e g a t3 f h b t6 a b c e f h t6 a b c e f d t5 a b c h e t3 d h c t5 b c e f g t4 b f g d t6 b d e f g c t4 c e f d t4 d e f b t5 a b e f h t5 a c e f g t4 d e f c t4 a b h d t4 a e f h t4 a e h f t3 e h g t3 e f h t3 e f c t6 a b c d f h t4 c d h f t4 c d h e t3 b h d t5 b c d f g t5 b c d f e t5 b c e f a t5 b c e g f t5 a c d f g t4 a c g d t4 c d f e t4 c d f g t3 e f c t4 b d f h t5 b d f h a t3 d h f t4 a d h b t3 d f h t4 d f h e t3 d f c t4 b c f g t3 b g d t3 b g a t5 a c d f b t4 a c f h t4 c f h b t3 a h c t3 a h g t4 a b g f t3 c f h t3 c h f t3 b f c t4 a b f g t2 g a t3 b f d t4 b d f a t3 a f c t2 h c t3 c f a t3 c f b t6 a b c d e h t2 h g t3 b h e t4 c d h f t5 a c d e h t4 a c h e t3 c h b t5 a b d e g t4 b e g f t4 a b f e t4 a f g b t3 a f d t2 f a t4 b d e f t4 b e f c t5 b c d f e t2 f d t3 d e g t3 d g e t4 b c e f t4 b c e a t4 a c e h t4 a c f b t2 h f t3 a f b t4 a b f e t3 c e b t3 c e d t3 b e c t4 a b e h t2 g d t3 b e g t4 a b e c t3 a e g t4 a b e f t3 e g b t2 g e t2 e f t4 b c d h t2 e a t3 b g a t3 c h b t3 a f e t3 c d f t4 c d f a t4 a b d h t2 h e t4 a d f c t3 a e d t2 d e t3 b h c t2 d b t3 b e d t3 b c e t4 a b c f t3 b e c t2 f a t3 a c e t2 e b t2 e c t2 c d t2 b c t3 b e a t2 d c t3 a b d t3 b d a t2 a b t2 c b t2 b a .end