SHA256 (solver.tar.gz) = 12cfc44df7ff5d60abeb9bbceefb20559b949550ab7d6685a3a4f4cd8979226f
SIZE (solver.tar.gz) = 36037