circuits.aux circuits.log circuits.pdf