%FILES%
data/
data/data/
data/data/com.termux/
data/data/com.termux/files/
data/data/com.termux/files/usr/
data/data/com.termux/files/usr/bin/
data/data/com.termux/files/usr/bin/z3
data/data/com.termux/files/usr/include/
data/data/com.termux/files/usr/include/z3++.h
data/data/com.termux/files/usr/include/z3.h
data/data/com.termux/files/usr/include/z3_algebraic.h
data/data/com.termux/files/usr/include/z3_api.h
data/data/com.termux/files/usr/include/z3_ast_containers.h
data/data/com.termux/files/usr/include/z3_fixedpoint.h
data/data/com.termux/files/usr/include/z3_fpa.h
data/data/com.termux/files/usr/include/z3_macros.h
data/data/com.termux/files/usr/include/z3_optimization.h
data/data/com.termux/files/usr/include/z3_polynomial.h
data/data/com.termux/files/usr/include/z3_rcf.h
data/data/com.termux/files/usr/include/z3_spacer.h
data/data/com.termux/files/usr/include/z3_v1.h
data/data/com.termux/files/usr/include/z3_version.h
data/data/com.termux/files/usr/lib/
data/data/com.termux/files/usr/lib/libz3.so
data/data/com.termux/files/usr/share/
data/data/com.termux/files/usr/share/doc/
data/data/com.termux/files/usr/share/doc/z3/
data/data/com.termux/files/usr/share/doc/z3/copyright
