(:trajectory

(:state (at t_1 p_2_2) (at t_2 p_2_1) (at t_3 p_1_1) (empty p_1_2) (neighbor p_1_1 p_1_2) (neighbor p_1_1 p_2_1) (neighbor p_1_2 p_1_1) (neighbor p_1_2 p_2_2) (neighbor p_2_1 p_1_1) (neighbor p_2_1 p_2_2) (neighbor p_2_2 p_1_2) (neighbor p_2_2 p_2_1))

(:action (move t_1 p_2_2 p_1_2))

(:state (at t_1 p_1_2) (at t_2 p_2_1) (at t_3 p_1_1) (empty p_2_2) (neighbor p_1_1 p_1_2) (neighbor p_1_1 p_2_1) (neighbor p_1_2 p_1_1) (neighbor p_1_2 p_2_2) (neighbor p_2_1 p_1_1) (neighbor p_2_1 p_2_2) (neighbor p_2_2 p_1_2) (neighbor p_2_2 p_2_1))

(:action (move t_2 p_2_1 p_2_2))

(:state (at t_1 p_1_2) (at t_2 p_2_2) (at t_3 p_1_1) (empty p_2_1) (neighbor p_1_1 p_1_2) (neighbor p_1_1 p_2_1) (neighbor p_1_2 p_1_1) (neighbor p_1_2 p_2_2) (neighbor p_2_1 p_1_1) (neighbor p_2_1 p_2_2) (neighbor p_2_2 p_1_2) (neighbor p_2_2 p_2_1))

(:action (move t_3 p_1_1 p_2_1))

(:state (at t_1 p_1_2) (at t_2 p_2_2) (at t_3 p_2_1) (empty p_1_1) (neighbor p_1_1 p_1_2) (neighbor p_1_1 p_2_1) (neighbor p_1_2 p_1_1) (neighbor p_1_2 p_2_2) (neighbor p_2_1 p_1_1) (neighbor p_2_1 p_2_2) (neighbor p_2_2 p_1_2) (neighbor p_2_2 p_2_1))

(:action (move t_1 p_1_2 p_1_1))

(:state (at t_1 p_1_1) (at t_2 p_2_2) (at t_3 p_2_1) (empty p_1_2) (neighbor p_1_1 p_1_2) (neighbor p_1_1 p_2_1) (neighbor p_1_2 p_1_1) (neighbor p_1_2 p_2_2) (neighbor p_2_1 p_1_1) (neighbor p_2_1 p_2_2) (neighbor p_2_2 p_1_2) (neighbor p_2_2 p_2_1))

(:action (move t_2 p_2_2 p_1_2))

(:state (at t_1 p_1_1) (at t_2 p_1_2) (at t_3 p_2_1) (empty p_2_2) (neighbor p_1_1 p_1_2) (neighbor p_1_1 p_2_1) (neighbor p_1_2 p_1_1) (neighbor p_1_2 p_2_2) (neighbor p_2_1 p_1_1) (neighbor p_2_1 p_2_2) (neighbor p_2_2 p_1_2) (neighbor p_2_2 p_2_1))

)