APO/z3-use-case/reviews/329575/solution-badd1.md