案例分析题在某机械装置上装有两台三相交流电动机M1、M2，进行关联控制：当按下正向启动按钮SF2，M1正转；当按下反向启动按钮SF3，M1反转；只有当M1运行时，并按下启动按钮SF4，M2才能运行，M2为单向运行；两台电动机有同一个按钮SF1控制停止；BB1和BB2是热继电器，分别控制M1、M2过载停转。

请你设计一个满足要求的梯形图程序。