; search time: 1.05
; plan length: 70
(push-start s23 b16 a2 a3 b5 oc1b lco)
(push-end s23 a2 a3 b14 b10)
(push-start s23 b15 a2 a3 b16 gasoleo oc1b)
(push-start s12 b9 a1 a2 b17 gasoleo oc1b)
(push-end s12 a1 a2 b8 b17)
(pop-start s13 b3 a1 a3 b12 lco lco)
(pop-end s13 a1 a3 b7 b12)
(push-start s13 b1 a1 a3 b12 oc1b lco)
(push-end s13 a1 a3 b3 b12)
(push-start s12 b0 a1 a2 b9 rat-a gasoleo)
(push-start s13 b2 a1 a3 b1 oc1b oc1b)
(push-end s13 a1 a3 b12 b1)
(push-end s23 a2 a3 b10 b5)
(push-end s12 a1 a2 b17 b9)
(push-start s23 b17 a2 a3 b15 oc1b gasoleo)
(push-end s23 a2 a3 b5 b16)
(push-start s23 b8 a2 a3 b17 gasoleo oc1b)
(push-end s23 a2 a3 b16 b15)
(pop-start s23 b5 a2 a3 b15 lco gasoleo)
(pop-end s23 a2 a3 b8 b17)
(push-start s13 b7 a1 a3 b2 lco oc1b)
(push-end s13 a1 a3 b1 b2)
(pop-start s13 b12 a1 a3 b2 lco oc1b)
(pop-start s23 b4 a2 a3 b5 rat-a lco)
(pop-end s13 a1 a3 b7 b2)
(pop-end s23 a2 a3 b17 b15)
(pop-start s23 b14 a2 a3 b4 gasoleo rat-a)
(pop-end s23 a2 a3 b15 b5)
(push-start s23 b17 a2 a3 b5 oc1b lco)
(push-end s23 a2 a3 b14 b4)
(push-start s13 b7 a1 a3 b2 lco oc1b)
(push-end s13 a1 a3 b12 b2)
(pop-start s12 b15 a1 a2 b9 gasoleo gasoleo)
(pop-end s12 a1 a2 b0 b9)
(push-start s13 b0 a1 a3 b7 rat-a lco)
(push-end s13 a1 a3 b2 b7)
(push-unitarypipe s34 b2 a3 a4 b11 oc1b oca1)
(push-unitarypipe s34 b12 a3 a4 b2 lco oc1b)
(pop-start s13 b3 a1 a3 b7 lco lco)
(pop-end s13 a1 a3 b0 b7)
(pop-start s13 b10 a1 a3 b3 rat-a lco)
(pop-end s13 a1 a3 b7 b3)
(push-start s23 b8 a2 a3 b17 gasoleo oc1b)
(push-end s23 a2 a3 b4 b5)
(pop-start s13 b14 a1 a3 b10 gasoleo rat-a)
(push-start s12 b0 a1 a2 b9 rat-a gasoleo)
(push-end s12 a1 a2 b15 b9)
(pop-start s23 b4 a2 a3 b5 rat-a lco)
(pop-end s23 a2 a3 b8 b17)
(push-start s23 b15 a2 a3 b17 gasoleo oc1b)
(push-end s23 a2 a3 b4 b5)
(push-start s23 b8 a2 a3 b15 gasoleo gasoleo)
(push-end s23 a2 a3 b5 b17)
(push-start s12 b7 a1 a2 b0 lco rat-a)
(push-end s12 a1 a2 b9 b0)
(pop-start s23 b16 a2 a3 b17 oc1b oc1b)
(pop-end s23 a2 a3 b8 b15)
(push-start s23 b9 a2 a3 b15 gasoleo gasoleo)
(push-end s23 a2 a3 b16 b17)
(push-start s23 b8 a2 a3 b9 gasoleo gasoleo)
(push-end s23 a2 a3 b17 b15)
(push-unitarypipe s34 b17 a3 a4 b12 oc1b lco)
(push-unitarypipe s34 b6 a3 a4 b17 lco oc1b)
(pop-start s23 b5 a2 a3 b15 lco gasoleo)
(pop-end s23 a2 a3 b8 b9)
(pop-start s12 b8 a1 a2 b0 gasoleo rat-a)
(pop-end s13 a1 a3 b3 b10)
(pop-end s12 a1 a2 b7 b0)
(push-start s12 b3 a1 a2 b0 lco rat-a)
(push-end s12 a1 a2 b8 b0)
