# Function: hwb8 # Used Library: MCT+P (gates: 610, quantum costs: 14691) # 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 -------- .define p a b c .cost 4 .description Peres gate t a b c t a b .enddefine .define pi a b c .cost 4 .description inverse Peres gate t a b t a b c .enddefine .begin t2 h b t3 a b h t2 h a t2 h c t3 b c h t3 a c h t2 h b t2 h d t3 c d h t2 h c t2 h g t5 a b c d h t2 e h t3 b e h t2 f a t2 e f t2 f b t2 f c t4 a b e f t2 h c t2 h g t3 c e h t2 f d t2 f e t5 a b c e f t4 b d e h t4 a d e h t3 d e h t2 g b t2 g c t2 g e t2 g f t5 a b d e g t2 g d t2 g e t4 c d e g t2 h a t2 h c t2 h e t2 h f t4 a c f d t4 a c f h t2 h b t2 h f t5 a b c f h t2 h d t2 h g t4 c d f e t4 c d f h t2 h f t5 a c d f b t5 a c d f h t2 h e t2 h f t3 e f h t2 h e t2 g d t2 h g t4 a e f h t2 g e t2 g f t2 c a t5 a b e f c t4 b e f g t2 c a t5 a c e f g t2 h b t2 h f t6 a b c e f d t6 a b c e f h t2 h b t2 h f t4 d e f h t2 h f t2 h g t2 b c t5 c d e f h t2 g a t2 g b t2 b c t2 g e t6 b c d e f g t2 g d t2 g e t7 a b c d e f g t3 b g a t3 c g h t3 b g c t2 h b t2 h f t2 e b t4 b c g e t2 e b t4 a c g d t4 a c g h t2 h e t4 b d g h t2 h b t2 h d t2 h f t2 h g t5 a b d g h t2 h d t4 c g h e t4 c d g h t3 f h b pi h g f t5 b c d g h t4 d e g a t4 d e g c t5 a b e g d t5 a b e g f t6 a b c e g h t2 h d t4 d e h g t4 d e g h t4 d g h e t5 a d e g h t4 a f g b t6 a b d e g f t6 a b d e g h t3 f g b t4 c f g a t4 e f g b t4 a f g c t4 a f g e t4 f g h b t2 h c t4 b f g h t3 c h g t4 c g h a t4 c f g h t4 c f h a t3 g h e t5 a c f g h t3 b h g p h d c t5 b c f g h t5 a d g h f t4 d g h a t4 d f g b t4 d f g h t5 c e f g d t5 c d f g e t5 b d f h e t7 a b c d f g h t6 a c f g h e t3 g h c t5 a e f g h t3 e h b t4 a b h f t4 b g h a t5 b e f g h t4 c f h e t5 c d g h a t5 c e f g d t5 c e f g h pi h b g t5 b e f h c t6 b c e f g h t3 a h b t4 b f h g t7 a b c e f g h t3 a h d t4 d f h g t6 a d e f g h t5 a b g h d t7 a b d e f g h t5 c d f h e t5 a d e h g t4 b e h a t7 b c d e f g h t4 d g h c p h g d t3 a h b t3 b h d t3 f h b t4 a b h c t5 a b f h e t4 a b h f t4 c g h b t3 g h f t4 b c h g t4 c d h b t3 d h c t4 d g h c t4 c d h e t4 c g h f t4 c d h g t4 d f h a t5 a d f h c t5 a c d h f t4 e f h c t3 e h f t4 e g h a t4 a e h c t4 e g h f t4 a e h g t4 d e h b t5 b e f h a t5 b e f h d t4 b e h f t3 f h e t4 e g h f t5 a b e h g t4 e f h a t4 c e h f t6 a c d g h e t4 e g h d t5 a c e h g t4 b f h e t5 b c e h f t4 b g h c t6 a b c g h e t6 a b c e h g t5 a d e h c t5 b d e h g t6 a c d g h b t7 a b c d e h g t3 f h e t3 f h g t4 d f h b t4 b f h d t4 f g h a t4 c f h d t4 c f h g t4 d f h b t4 d g h c t5 a e g h d t6 a b c f h e t6 a b c f h g t3 b g d t4 d f h g t3 b g d t4 d g h a t5 a b g h e t6 a b d f h g t5 c e f h b t6 b c d f h e t4 a g h b t5 a e g h c t4 d g h f t5 c d g h e t7 a b c d f h g t5 c f g h e t5 e f g h c t4 e f h g t6 a e f g h c t5 a e f h g t5 b e g h d t5 b e f h g t6 a b e f h c t5 c e g h d t6 a c e f h g t6 a d e f h b t7 a b c e f h d t5 c d g h e t4 e g h f t4 e g h c t5 d e f h g t6 a b e g h d t5 a f g h b t6 a d e f h g t5 c f g h d t4 c g h e t6 b d f g h c t6 b d e f h g t6 c d e f h g t6 a e f g h c t5 c f g h d t8 a b c d e f h g t3 g h f t4 a g h e t5 a e g h b t5 b e g h a t4 b g h e t4 f g h e t4 c g h f t5 a c g h f t4 f g h b t5 b f g h c t5 b c g h f t6 b c e g h a t6 a b c g h e t5 d f g h c t5 c d g h f t6 b c d g h a t6 a c d g h b t4 f g h b t5 d f g h c t6 b c d g h f t5 a e g h b t5 a e g h d t2 c e t7 a b d e g h c t2 c e t5 a e g h b t5 b e g h f t4 f g h e t6 a b e g h c t6 a b e g h f t5 c f g h e t6 b c e g h d t6 b c e g h f t5 d e g h c t7 a b c e g h d t5 e f g h a t5 a f g h d t7 a b d e g h f t7 b c d f g h e t6 c d e g h b t6 c d e g h f t6 b c f g h d t7 b c d e g h f t4 f g h e t5 a f g h c t6 a b f g h c t6 a b f g h d t5 c f g h b t6 a e f g h c t6 a c f g h e t5 d f g h c t7 a b c f g h d t7 a b c f g h e t6 c d f g h a t7 a b d f g h c t7 a c e f g h d t7 a c d f g h e t6 a e f g h b t7 b d e f g h c t8 a b c d f g h e t5 e f g h a t6 a e f g h c t6 c e f g h d t7 a b e f g h c t7 a d e f g h b t7 b c e f g h a t7 b c e f g h d t2 b c t7 c d e f g h b t2 b c t8 a b d e f g h c t2 a b t7 c d e f g h a t8 b c d e f g h a t2 a b t7 a c e f g h d t6 b e f g h d t6 a d f g h e t7 b c d f g h a t6 c d f g h e t6 b d f g h e t5 e f g h b t6 b d f g h a t5 d f g h a t5 d f g h e t6 b c f g h a t8 a b c d e g h f t6 c d f g h b t6 b d e g h f t6 d e f g h a t5 b f g h d t6 a d e g h f t4 f g h d t5 a f g h e t5 d e g h a t6 a c e g h b t5 c e g h d t6 a b d g h f t5 a f g h d t5 b d g h e t3 b f d t4 d g h f t3 b f d t5 a d g h e t5 a d g h f t4 f g h d t5 a b g h e t7 b c d e f h g t5 b e g h a t6 b d f g h e t7 a c d e f h g t5 a c g h d t5 c e g h f t7 a b d e f h c t7 b c d e f h a t6 b c e f h g t5 c e f h b t6 b c e f h d t5 d e f h c t6 a c d f h b t3 a g d t5 c d f h g t3 a g d t5 c d f h a t5 c d f h b t5 b d g h f t5 a d f h e t5 a d f h g t4 f g h d t5 b c f h e t4 e f h b t5 a c f h e t5 c e f h a t5 a b f h d t5 a b f h e t4 d f h a t4 a f h e t6 b c d e h a t6 b c d e h f t4 b f h c t5 c d e h b t5 c d e h f t4 c f h d t6 a b d e h c t6 a c d e h b t4 d e h b t4 d e h c t6 a b c d h e t4 a e h c t2 b e t5 c d e h b t2 b e t5 a b d h c t5 a b d h e t4 b e h a t3 e h d t4 b d h f t3 f h b t4 a d h e t3 e h a t3 e h d t5 a b c h g t4 a g h c t4 a c h b t4 a c h g t3 a e c t3 c h e t3 a e c t3 c h b t3 c h d t8 a b c d e f g h t5 a d g h e t7 a c d e f g h t6 a e f g h c t6 a e f g h d t6 b d e f g a t6 c d e f g b t6 b d e f g h t5 a d e h g t6 a b e f g d t5 d e f g h t6 a c e f g h t4 a d h b t5 a d g h e t4 e f g h t4 e g h f t6 b c d f g e t6 b c d f g h t3 d h g t6 a c d f g b t6 a c d f g e t6 a b e f g d t6 a b d f g c t6 a b d f g h t4 d f h b t3 a h g t5 b d f g a t5 b d f g c t5 b d f g e t5 b d f g h t5 a b c h g t5 a d f g b t6 a b c f g d t6 a b c f g h t3 f h b t5 a d f h g t5 a b f g e t5 a b f g h t4 f g h b t7 a b c d e g h t4 c g h e t6 b c d e g h t5 c d e h b t6 a c d e g h t2 h a t2 h c t2 h d t3 g h e t5 c d e g f t3 f g d t5 b d e g h t2 h e t4 b d h g t2 h b t4 c e g f t6 a b c e g h t5 a c e g h t2 h f t4 b e g h t2 h d t2 h b t4 a e g h t2 h g t2 e b t4 a d g e t4 a d g f t3 e g h t5 a c g h b t5 a c g h d t2 h g t2 h e t3 d g e t2 e b t5 a b c g h t2 h f t2 h a t2 g b t4 a b g h t4 a b g c t2 h d t2 h a t2 g e t6 a c d e f b t6 a c d e f h t2 h f t2 h e t2 h c t2 h a t6 a b d e f h t2 h f t5 a d e f g t5 b c e f h t2 h e t2 h d t4 c e f g t2 g f t2 g c t2 g a t6 a b c d f g t2 g d t2 g b t5 b c d f h t2 h d t5 a b d f e t5 a b d f h t2 h f t2 h b t3 d f h t4 a d f h t4 a d f g t2 h f t2 h e t2 h b t4 b c f g t3 c f h t2 h g t2 g b t4 a b f e t4 a b f g t2 g d t2 c a t2 h d t2 g c t3 b f c t2 h e t6 a b c d e h t6 a b c d e f t2 c a t2 h d t2 h e t3 a f h t2 h c t2 h a t5 a c d e g t2 g c t2 g a t4 b c e h t2 h g t2 h e t2 h d t3 a e h t4 a c e b t4 a c e d t2 h a t4 b c d g t2 g c t2 g a t4 a c d f t2 f e t2 f d t4 a b d g t2 g d t2 c a t2 g c t3 b d c t2 c a t3 a d f t2 f d t2 f b t2 d e t2 e d t4 a b c f t2 f a t2 c d t2 d c t2 b c t2 c b t2 a b t2 b a .end