MD5 (solver_1.11.tar.gz) = 5e56f326af726ebd22149025ab0d5a9a
SHA256 (solver_1.11.tar.gz) = 3e2d39d0863f6dbd83058b81ee6be25a482c1cd6ed8140b7517e1e334eb9ff7b
SIZE (solver_1.11.tar.gz) = 27787