challenge4-Spec-VC_take_lemma_1.smt2 11.2 KB