# Function: plus63mod4096 # Used Library: MCT (gates: 429 , quantum costs: 32539) # This file has been taken from RevLib (www.revlib.org). .version 1.0 .numvars 12 .variables a b c d e f g h i j k l .inputs a b c d e f g h i j k l .outputs a b c d e f g h i j k l .begin t3 g h f t4 f g h e t5 e f g h d t6 d e f g h c t7 c d e f g h b t3 g i f t4 f g i e t5 e f g i d t6 d e f g i c t7 c d e f g i b t3 h i f t4 f h i e t5 e f h i d t6 d e f h i c t7 c d e f h i b t8 c d e f g h i b t3 g j f t4 f g j e t5 e f g j d t6 d e f g j c t7 c d e f g j b t3 h j f t4 f h j e t5 e f h j d t6 d e f h j c t7 c d e f h j b t8 c d e f g h j b t3 i j f t4 f i j e t5 e f i j d t6 d e f i j c t7 c d e f i j b t8 c d e f g i j b t5 g h i j f t8 c d e f h i j b t6 f g h i j e t7 e f g h i j d t8 d e f g h i j c t3 g k f t4 f g k e t5 e f g k d t6 d e f g k c t7 c d e f g k b t3 h k f t4 f h k e t5 e f h k d t6 d e f h k c t7 c d e f h k b t8 c d e f g h k b t3 i k f t4 f i k e t5 e f i k d t6 d e f i k c t7 c d e f i k b t8 c d e f g i k b t5 g h i k f t8 c d e f h i k b t6 f g h i k e t7 e f g h i k d t8 d e f g h i k c t3 j k f t4 f j k e t5 e f j k d t6 d e f j k c t7 c d e f j k b t8 c d e f g j k b t5 g h j k f t8 c d e f h j k b t6 f g h j k e t7 e f g h j k d t8 d e f g h j k c t5 g i j k f t8 c d e f i j k b t6 f g i j k e t7 e f g i j k d t8 d e f g i j k c t5 h i j k f t8 c d e h i j k b t6 f h i j k e t7 e f h i j k d t8 d e f h i j k c t9 d e f g h i j k c t10 c d e f g h i j k b t3 g l f t4 f g l e t5 e f g l d t6 d e f g l c t7 c d e f g l b t3 h l f t4 f h l e t5 e f h l d t6 d e f h l c t7 c d e f h l b t8 c d e f g h l b t3 i l f t4 f i l e t5 e f i l d t6 d e f i l c t7 c d e f i l b t8 c d e f g i l b t5 g h i l f t8 c d e f h i l b t6 f g h i l e t7 e f g h i l d t8 d e f g h i l c t3 j l f t4 f j l e t5 e f j l d t6 d e f j l c t7 c d e f j l b t8 c d e f g j l b t5 g h j l f t8 c d e f h j l b t6 f g h j l e t7 e f g h j l d t8 d e f g h j l c t5 g i j l f t8 c d e f i j l b t6 f g i j l e t7 e f g i j l d t8 d e f g i j l c t5 h i j l f t8 c d e h i j l b t6 f h i j l e t7 e f h i j l d t8 d e f h i j l c t9 d e f g h i j l c t10 c d e f g h i j l b t3 k l f t4 f k l e t5 e f k l d t6 d e f k l c t7 c d e f k l b t8 c d e f g k l b t5 g h k l f t8 c d e f h k l b t6 f g h k l e t7 e f g h k l d t8 d e f g h k l c t5 g i k l f t8 c d e f i k l b t6 f g i k l e t7 e f g i k l d t8 d e f g i k l c t5 h i k l f t8 c d e h i k l b t6 f h i k l e t7 e f h i k l d t8 d e f h i k l c t9 d e f g h i k l c t10 c d e f g h i k l b t5 g j k l f t8 c d e f j k l b t6 f g j k l e t7 e f g j k l d t8 d e f g j k l c t5 h j k l f t8 c d e h j k l b t6 f h j k l e t7 e f h j k l d t8 d e f h j k l c t9 d e f g h j k l c t10 c d e f g h j k l b t5 i j k l f t8 c d e i j k l b t6 f i j k l e t7 e f i j k l d t8 d e f i j k l c t9 d e f g i j k l c t10 c d e f g i j k l b t9 d e f h i j k l c t10 c d e f h i j k l b t7 g h i j k l f t8 f g h i j k l e t9 e f g h i j k l d t10 d e f g h i j k l c t11 c d e f g h i j k l b t12 b c d e f g h i j k l a t11 b c d f g h i j k l a t10 c d e g h i j k l b t9 d e g h i j k l c t9 c d g h i j k l b t8 c d h i j k l b t8 e f h i j k l d t7 f h i j k l e t11 b c d e f h i j k l a t6 h i j k l f t8 c d g i j k l b t8 e f g i j k l d t7 f g i j k l e t11 b c d e f g i j k l a t6 g i j k l f t10 b c d e f i j k l a t9 c d e f i j k l b t8 c d f i j k l b t9 b c d e i j k l a t8 c d g h j k l b t8 e f g h j k l d t7 f g h j k l e t11 b c d e f g h j k l a t6 g h j k l f t10 b c d e f h j k l a t9 c d e f h j k l b t8 c d f h j k l b t9 b c d e h j k l a t10 b c d e f g j k l a t9 c d e f g j k l b t8 c d f g j k l b t9 b c d e g j k l a t7 d e f j k l c t6 e f j k l d t5 f j k l e t4 j k l f t9 b c d e f j k l a t8 c d g h i k l b t8 e f g h i k l d t7 f g h i k l e t11 b c d e f g h i k l a t6 g h i k l f t10 b c d e f h i k l a t9 c d e f h i k l b t8 c d f h i k l b t9 b c d e h i k l a t10 b c d e f g i k l a t9 c d e f g i k l b t8 c d f g i k l b t9 b c d e g i k l a t7 d e f i k l c t6 e f i k l d t5 f i k l e t4 i k l f t9 b c d e f i k l a t10 b c d e f g h k l a t9 c d e f g h k l b t8 c d f g h k l b t9 b c d e g h k l a t7 d e f h k l c t6 e f h k l d t5 f h k l e t4 h k l f t9 b c d e f h k l a t7 d e f g k l c t6 e f g k l d t5 f g k l e t4 g k l f t9 b c d e f g k l a t8 b c d e f k l a t8 c d g h i j l b t8 e f g h i j l d t7 f g h i j l e t11 b c d e f g h i j l a t6 g h i j l f t10 b c d e f h i j l a t9 c d e f h i j l b t8 c d f h i j l b t9 b c d e h i j l a t10 b c d e f g i j l a t9 c d e f g i j l b t8 c d f g i j l b t9 b c d e g i j l a t7 d e f i j l c t6 e f i j l d t5 f i j l e t4 i j l f t9 b c d e f i j l a t10 b c d e f g h j l a t9 c d e f g h j l b t8 c d f g h j l b t9 b c d e g h j l a t7 d e f h j l c t6 e f h j l d t5 f h j l e t4 h j l f t9 b c d e f h j l a t7 d e f g j l c t6 e f g j l d t5 f g j l e t4 g j l f t9 b c d e f g j l a t8 b c d e f j l a t10 b c d e f g h i l a t9 c d e f g h i l b t8 c d f g h i l b t9 b c d e g h i l a t7 d e f h i l c t6 e f h i l d t5 f h i l e t4 h i l f t9 b c d e f h i l a t7 d e f g i l c t6 e f g i l d t5 f g i l e t4 g i l f t9 b c d e f g i l a t8 b c d e f i l a t7 d e f g h l c t6 e f g h l d t5 f g h l e t4 g h l f t9 b c d e f g h l a t8 b c d e f h l a t8 b c d e f g l a t7 b c d e f l a t6 c d e f l b t5 d e f l c t4 e f l d t3 f l e t2 l f t8 c d g h i j k b t8 e f g h i j k d t7 f g h i j k e t11 b c d e f g h i j k a t6 g h i j k f t10 b c d e f h i j k a t9 c d e f h i j k b t8 c d f h i j k b t9 b c d e h i j k a t10 b c d e f g i j k a t9 c d e f g i j k b t8 c d f g i j k b t9 b c d e g i j k a t7 d e f i j k c t6 e f i j k d t5 f i j k e t4 i j k f t9 b c d e f i j k a t10 b c d e f g h j k a t9 c d e f g h j k b t8 c d f g h j k b t9 b c d e g h j k a t7 d e f h j k c t6 e f h j k d t5 f h j k e t4 h j k f t9 b c d e f h j k a t7 d e f g j k c t6 e f g j k d t5 f g j k e t4 g j k f t9 b c d e f g j k a t8 b c d e f j k a t10 b c d e f g h i k a t9 c d e f g h i k b t8 c d f g h i k b t9 b c d e g h i k a t7 d e f h i k c t6 e f h i k d t5 f h i k e t4 h i k f t9 b c d e f h i k a t7 d e f g i k c t6 e f g i k d t5 f g i k e t4 g i k f t9 b c d e f g i k a t8 b c d e f i k a t7 d e f g h k c t6 e f g h k d t5 f g h k e t4 g h k f t9 b c d e f g h k a t8 b c d e f h k a t8 b c d e f g k a t7 b c d e f k a t6 c d e f k b t5 d e f k c t4 e f k d t3 f k e t2 k f t10 b c d e f g h i j a t9 c d e f g h i j b t8 c d f g h i j b t9 b c d e g h i j a t7 d e f h i j c t6 e f h i j d t5 f h i j e t4 h i j f t9 b c d e f h i j a t7 d e f g i j c t6 e f g i j d t5 f g i j e t4 g i j f t9 b c d e f g i j a t8 b c d e f i j a t7 d e f g h j c t6 e f g h j d t5 f g h j e t4 g h j f t9 b c d e f g h j a t8 b c d e f h j a t8 b c d e f g j a t7 b c d e f j a t6 c d e f j b t5 d e f j c t4 e f j d t3 f j e t2 j f t7 d e f g h i c t6 e f g h i d t5 f g h i e t4 g h i f t9 b c d e f g h i a t8 b c d e f h i a t8 b c d e f g i a t7 b c d e f i a t6 c d e f i b t5 d e f i c t4 e f i d t3 f i e t2 i f t8 b c d e f g h a t7 b c d e f h a t6 c d e f h b t5 d e f h c t4 e f h d t3 f h e t2 h f t7 b c d e f g a t6 c d e f g b t5 d e f g c t4 e f g d t3 f g e t2 g f t1 l t2 l k t3 k l j t4 j k l i t5 i j k l h t6 h i j k l g .end