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