RMs <[bdef4X|9^<;