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