; search time: 0.06
; plan length: 20
(push-start s13 b1 a1 a3 b9 oc1b lco)
(push-end s13 a1 a3 b3 b9)
(push-start s13 b7 a1 a3 b1 oca1 oc1b)
(push-end s13 a1 a3 b9 b1)
(pop-start s13 b3 a1 a3 b1 lco oc1b)
(pop-end s13 a1 a3 b7 b1)
(pop-start s13 b8 a1 a3 b3 lco lco)
(pop-end s13 a1 a3 b1 b3)
(push-start s12 b1 a1 a2 b6 oc1b oca1)
(push-end s12 a1 a2 b11 b6)
(push-start s12 b7 a1 a2 b1 oca1 oc1b)
(push-end s12 a1 a2 b6 b1)
(push-start s12 b4 a1 a2 b7 oca1 oca1)
(push-end s12 a1 a2 b1 b7)
(pop-start s12 b5 a1 a2 b7 gasoleo oca1)
(pop-end s12 a1 a2 b4 b7)
(pop-start s12 b11 a1 a2 b5 lco gasoleo)
(pop-end s12 a1 a2 b7 b5)
(pop-start s12 b6 a1 a2 b11 oca1 lco)
(pop-end s12 a1 a2 b5 b11)
