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