SHA256 (SeDuMi_1_1R3.zip) = a81ca3a00b87e3a1cced26d8b340f90bb170e050513ec219acbc90da0a330b22
SIZE (SeDuMi_1_1R3.zip) = 2235915