===> Cleaning for monotone-1.1nb32