; total time: 15.21
; plan length: 26
(push-start s12 b1 a1 a2 b6 oc1b oca1 ta1-1-oc1b)
(push-end s12 a1 a2 b11 b6 lco ta2-3-lco)
(push-start s13 b7 a1 a3 b9 oca1 lco ta1-1-oca1)
(push-end s13 a1 a3 b3 b9 lco ta3-2-lco)
(push-start s13 b4 a1 a3 b7 oca1 oca1 ta1-2-oca1)
(push-end s13 a1 a3 b9 b7 lco ta3-3-lco)
(pop-start s13 b3 a1 a3 b7 lco oca1 ta3-2-lco)
(pop-end s13 a1 a3 b4 b7 oc1b ta1-1-oc1b)
(pop-start s13 b8 a1 a3 b3 lco lco ta3-1-lco)
(pop-end s13 a1 a3 b7 b3 oca1 ta1-1-oca1)
(pop-start s13 b10 a1 a3 b8 oca1 lco ta3-1-oca1)
(pop-end s13 a1 a3 b3 b8 gasoleo ta1-1-gasoleo)
(push-start s12 b7 a1 a2 b1 oca1 oc1b ta1-1-oca1)
(push-end s12 a1 a2 b6 b1 oca1 ta2-2-oca1)
(pop-start s12 b5 a1 a2 b1 gasoleo oc1b ta2-1-gasoleo)
(pop-end s12 a1 a2 b7 b1 oca1 ta1-1-oca1)
(pop-start s12 b11 a1 a2 b5 lco gasoleo ta2-3-lco)
(pop-end s12 a1 a2 b1 b5 oca1 ta1-2-oca1)
(pop-start s12 b6 a1 a2 b11 oca1 lco ta2-2-oca1)
(pop-end s12 a1 a2 b5 b11 lco ta1-3-lco)
(push-start s12 b1 a1 a2 b11 oc1b lco ta1-1-oc1b)
(push-end s12 a1 a2 b6 b11 oca1 ta2-3-oca1)
(push-start s12 b7 a1 a2 b1 oca1 oc1b ta1-1-oca1)
(push-end s12 a1 a2 b11 b1 lco ta2-2-lco)
(push-start s12 b3 a1 a2 b7 lco oca1 ta1-3-lco)
(push-end s12 a1 a2 b1 b7 oc1b ta2-1-oc1b)
