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