machine-backward-cp.mir 8.54 KB