https://customleathercraftpk2080gbetterthan.blogspot.com/2024/05/using-z3py-with-python-33.html