d8dcab42f45d23b95e02aef26ccb83ea878a7173e10430bfb3cbc2e3f62ebe89 *mosektoolsosx64x86.tar.bz2