/ open-webui.git / app / env / lib / python3.11 / site-packages / sympy / logic / utilities