; total time: 0.19
; plan length: 52
(push-start s13 b6 a1 a3 b10 lco oca1)
(push-end s13 a1 a3 b3 b10)
(pop-start s12 b13 a1 a2 b15 gasoleo gasoleo)
(pop-end s12 a1 a2 b1 b15)
(push-start s13 b0 a1 a3 b6 oc1b lco)
(push-end s13 a1 a3 b10 b6)
(pop-start s12 b14 a1 a2 b13 oca1 gasoleo)
(pop-end s12 a1 a2 b15 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)
(pop-start s13 b2 a1 a3 b6 lco lco)
(pop-end s13 a1 a3 b0 b6)
(pop-start s13 b5 a1 a3 b2 oc1b lco)
(pop-end s13 a1 a3 b6 b2)
(pop-start s13 b11 a1 a3 b5 lco oc1b)
(pop-end s13 a1 a3 b2 b5)
(push-start s12 b6 a1 a2 b8 lco oc1b)
(push-end s12 a1 a2 b7 b8)
(pop-start s13 b9 a1 a3 b11 oca1 lco)
(pop-end s13 a1 a3 b5 b11)
(push-start s12 b2 a1 a2 b6 lco lco)
(push-end s12 a1 a2 b8 b6)
(pop-start s13 b3 a1 a3 b9 oca1 oca1)
(pop-end s13 a1 a3 b11 b9)
(push-start s12 b13 a1 a2 b2 gasoleo lco)
(push-end s12 a1 a2 b6 b2)
(push-start s12 b11 a1 a2 b13 lco gasoleo)
(push-end s12 a1 a2 b2 b13)
(push-start s12 b5 a1 a2 b11 oc1b lco)
(push-end s12 a1 a2 b13 b11)
(push-start s12 b0 a1 a2 b5 oc1b oc1b)
(push-end s12 a1 a2 b11 b5)
(pop-start s12 b8 a1 a2 b5 oc1b oc1b)
(pop-end s12 a1 a2 b0 b5)
(pop-start s12 b2 a1 a2 b8 lco oc1b)
(pop-end s12 a1 a2 b5 b8)
(pop-start s12 b13 a1 a2 b2 gasoleo lco)
(pop-end s12 a1 a2 b8 b2)
(pop-start s12 b4 a1 a2 b13 rat-a gasoleo)
(pop-end s12 a1 a2 b2 b13)
(pop-start s12 b12 a1 a2 b4 rat-a rat-a)
(pop-end s12 a1 a2 b13 b4)
(push-start s12 b2 a1 a2 b4 lco rat-a)
(push-end s12 a1 a2 b12 b4)
(push-start s12 b0 a1 a2 b2 oc1b lco)
(push-end s12 a1 a2 b4 b2)
(push-start s12 b8 a1 a2 b0 oc1b oc1b)
(push-end s12 a1 a2 b2 b0)
(push-start s12 b5 a1 a2 b8 oc1b oc1b)
(push-end s12 a1 a2 b0 b8)
