; search time: 0.07
; plan length: 18
(pop-start s12 b11 a1 a2 b0 gasoleo lco)
(pop-end s12 a1 a2 b5 b0)
(pop-start s12 b2 a1 a2 b11 rat-a gasoleo)
(pop-end s12 a1 a2 b0 b11)
(push-start s12 b6 a1 a2 b11 rat-a gasoleo)
(push-end s12 a1 a2 b2 b11)
(push-start s12 b1 a1 a2 b6 gasoleo rat-a)
(push-end s12 a1 a2 b11 b6)
(push-start s12 b5 a1 a2 b1 oc1b gasoleo)
(push-end s12 a1 a2 b6 b1)
(pop-start s12 b11 a1 a2 b1 gasoleo gasoleo)
(pop-end s12 a1 a2 b5 b1)
(pop-start s12 b2 a1 a2 b11 rat-a gasoleo)
(pop-end s12 a1 a2 b1 b11)
(pop-start s12 b6 a1 a2 b2 rat-a rat-a)
(pop-end s12 a1 a2 b11 b2)
(push-start s12 b1 a1 a2 b2 gasoleo rat-a)
(push-end s12 a1 a2 b6 b2)
