Z3QFree.scala 8 KB