(at_right_l rightl0 f1-0f f2-0f f2-1f)
(at_two straight0 f0-1f f1-1f)
(at_two straight1 f0-2f f1-2f)
(clear f0-0f)
(clear f0-3f)
(clear f1-3f)
(clear f2-2f)
(clear f2-3f)
(clear f3-0f)
(clear f3-1f)
(clear f3-2f)
(clear f3-3f)