Number of lines in file = 48
Number of Elem. Ops = 48
Number of CNOTS (SIGX with single control) = 15
List of distinct variable numbers encountered (length=0)=
[]
List of distinct function names encountered (length=0)=
[]
