d424df598211c86b4e24bf8316b47d33bc90922d7a7fe9e92effa084c89b3d67 *mosektoolsosx64x86.tar.bz2