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