144861446b355af0a76e2a662bee341544a720e29f47281dd4aa16334806ec4c *mosektoolslinux64x86.tar.bz2