; total time: 1.26
; plan length: 40
(push-start s12 b0 a1 a2 b9 gasoleo lco)
(push-end s12 a1 a2 b1 b9)
(pop-start s13 b2 a1 a3 b6 rat-a gasoleo)
(pop-end s13 a1 a3 b7 b6)
(pop-start s13 b8 a1 a3 b2 gasoleo rat-a)
(pop-end s13 a1 a3 b6 b2)
(push-start s12 b6 a1 a2 b0 gasoleo gasoleo)
(push-start s13 b5 a1 a3 b2 gasoleo rat-a)
(push-end s12 a1 a2 b9 b0)
(push-start s12 b7 a1 a2 b6 gasoleo gasoleo)
(push-end s12 a1 a2 b0 b6)
(pop-start s12 b9 a1 a2 b6 lco gasoleo)
(pop-end s12 a1 a2 b7 b6)
(push-end s13 a1 a3 b8 b2)
(pop-start s13 b8 a1 a3 b2 gasoleo rat-a)
(pop-end s13 a1 a3 b5 b2)
(pop-start s13 b3 a1 a3 b8 lco gasoleo)
(pop-end s13 a1 a3 b2 b8)
(push-start s12 b5 a1 a2 b6 gasoleo gasoleo)
(push-start s13 b2 a1 a3 b8 rat-a gasoleo)
(push-end s12 a1 a2 b9 b6)
(push-start s12 b7 a1 a2 b5 gasoleo gasoleo)
(push-end s12 a1 a2 b6 b5)
(pop-start s12 b9 a1 a2 b5 lco gasoleo)
(pop-end s12 a1 a2 b7 b5)
(pop-start s12 b4 a1 a2 b9 gasoleo lco)
(push-end s13 a1 a3 b3 b8)
(pop-end s12 a1 a2 b5 b9)
(pop-start s12 b0 a1 a2 b4 gasoleo gasoleo)
(pop-end s12 a1 a2 b9 b4)
(push-start s13 b9 a1 a3 b2 lco rat-a)
(push-end s13 a1 a3 b8 b2)
(push-start s13 b5 a1 a3 b9 gasoleo lco)
(push-end s13 a1 a3 b2 b9)
(push-start s13 b7 a1 a3 b5 gasoleo gasoleo)
(push-end s13 a1 a3 b9 b5)
(pop-start s13 b3 a1 a3 b5 lco gasoleo)
(pop-end s13 a1 a3 b7 b5)
(push-start s12 b7 a1 a2 b4 gasoleo gasoleo)
(push-end s12 a1 a2 b0 b4)
