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