phyLS/benchmarks/sqrt.aig