; total time: 2.98
; plan length: 58
(pop-start s12 b14 a1 a2 b15 oca1 gasoleo)
(pop-end s12 a1 a2 b1 b15)
(push-start s12 b6 a1 a2 b15 lco gasoleo)
(push-start s13 b0 a1 a3 b10 oc1b oca1)
(push-end s13 a1 a3 b3 b10)
(pop-start s13 b11 a1 a3 b10 lco oca1)
(pop-end s13 a1 a3 b0 b10)
(pop-start s13 b3 a1 a3 b11 oca1 lco)
(pop-end s13 a1 a3 b10 b11)
(pop-start s13 b2 a1 a3 b3 lco oca1)
(push-end s12 a1 a2 b14 b15)
(push-start s12 b10 a1 a2 b6 oca1 lco)
(push-end s12 a1 a2 b15 b6)
(push-start s12 b0 a1 a2 b10 oc1b oca1)
(push-end s12 a1 a2 b6 b10)
(pop-start s12 b15 a1 a2 b10 gasoleo oca1)
(pop-end s12 a1 a2 b0 b10)
(pop-start s12 b14 a1 a2 b15 oca1 gasoleo)
(pop-end s12 a1 a2 b10 b15)
(pop-start s12 b13 a1 a2 b14 gasoleo oca1)
(pop-end s12 a1 a2 b15 b14)
(push-start s12 b0 a1 a2 b14 oc1b oca1)
(pop-end s13 a1 a3 b11 b3)
(push-start s13 b10 a1 a3 b3 oca1 oca1)
(push-end s13 a1 a3 b2 b3)
(push-end s12 a1 a2 b13 b14)
(push-start s12 b11 a1 a2 b0 lco oc1b)
(push-end s12 a1 a2 b14 b0)
(push-start s12 b15 a1 a2 b11 gasoleo lco)
(push-end s12 a1 a2 b0 b11)
(pop-start s12 b14 a1 a2 b11 oca1 lco)
(pop-end s12 a1 a2 b15 b11)
(pop-start s13 b2 a1 a3 b3 lco oca1)
(pop-end s13 a1 a3 b10 b3)
(push-start s12 b10 a1 a2 b11 oca1 lco)
(pop-start s13 b9 a1 a3 b2 oca1 lco)
(push-end s12 a1 a2 b14 b11)
(pop-end s13 a1 a3 b3 b2)
(push-start s12 b3 a1 a2 b10 oca1 oca1)
(push-end s12 a1 a2 b11 b10)
(pop-start s13 b5 a1 a3 b9 oc1b oca1)
(pop-end s13 a1 a3 b2 b9)
(push-start s13 b2 a1 a3 b9 lco oca1)
(pop-start s12 b13 a1 a2 b10 gasoleo oca1)
(pop-end s12 a1 a2 b3 b10)
(pop-start s12 b14 a1 a2 b13 oca1 gasoleo)
(pop-end s12 a1 a2 b10 b13)
(pop-start s12 b8 a1 a2 b14 oc1b oca1)
(pop-end s12 a1 a2 b13 b14)
(pop-start s12 b7 a1 a2 b8 oca1 oc1b)
(pop-end s12 a1 a2 b14 b8)
(push-end s13 a1 a3 b5 b9)
(push-start s13 b10 a1 a3 b2 oca1 lco)
(push-end s13 a1 a3 b9 b2)
(push-start s13 b13 a1 a3 b10 gasoleo oca1)
(push-end s13 a1 a3 b2 b10)
(push-start s13 b3 a1 a3 b13 oca1 gasoleo)
(push-end s13 a1 a3 b10 b13)
