35e219d53cfb0e47386d44117ec2ae4d599dc9ec7628bd49186e4991165583ba *mosektoolslinux64x86.tar.bz2