SIGX AT 3 U_2_ #1 20.000000 0.000000 40.000000 AT 0 U_2_ #1 20.000000 0.000000 0.000000 AT 1 U_2_ #1 20.000000 0.000000 40.000000 AT 0 IF 4F 3T SWAP 1 0 SWAP 1 0 IF 4F 3T SWAY 1 0 BY #1 20.000000 SWAY 1 0 BY #1 20.000000 IF 4F 3T