#!/usr/bin/awk -f
BEGIN {
    RS="\n+M END\n+"
    ORS="\nM END\n"
}
{ print }