MD5 (mindtermbin-v199.zip) = a8319a11979efb1140bea1ebc7e8f138
RMD160 (mindtermbin-v199.zip) = df23f463bac009fe9fe0567ba7673d1501c7c011
SHA1 (mindtermbin-v199.zip) = f2f1553a1a9b109e01d9a3426d9d06079d8dd9de
