Delete grn_mip.py~