; total time: 32.46
; plan length: 686
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-start s13 b13 a1 a3 b4 lco rat-a)
(push-end s13 a1 a3 b12 b4)
(push-start s13 b20 a1 a3 b13 oca1 lco)
(pop-start s12 b23 a1 a2 b16 oc1b gasoleo)
(pop-end s12 a1 a2 b8 b16)
(push-start s23 b18 a2 a3 b10 oca1 oc1b)
(push-unitarypipe s34 b7 a3 a4 b21 gasoleo oca1)
(push-end s13 a1 a3 b4 b13)
(pop-end s15 a1 a5 b1 b3)
(push-start s12 b8 a1 a2 b16 oc1b gasoleo)
(push-unitarypipe s34 b17 a3 a4 b7 rat-a gasoleo)
(push-end s12 a1 a2 b23 b16)
(push-start s12 b1 a1 a2 b8 gasoleo oc1b)
(push-end s23 a2 a3 b9 b22)
(pop-start s13 b19 a1 a3 b13 gasoleo lco)
(pop-end s13 a1 a3 b20 b13)
(push-end s12 a1 a2 b16 b8)
(push-start s23 b16 a2 a3 b18 gasoleo oca1)
(push-end s23 a2 a3 b22 b10)
(push-start s12 b20 a1 a2 b1 oca1 gasoleo)
(pop-start s13 b15 a1 a3 b19 oca1 gasoleo)
(push-end s12 a1 a2 b8 b1)
(pop-end s13 a1 a3 b13 b19)
(push-start s23 b23 a2 a3 b16 oc1b gasoleo)
(push-end s23 a2 a3 b10 b18)
(push-start s12 b13 a1 a2 b20 lco oca1)
(push-end s12 a1 a2 b1 b20)
(pop-start s13 b10 a1 a3 b15 oc1b oca1)
(pop-end s13 a1 a3 b19 b15)
(pop-start s23 b22 a2 a3 b18 oc1b oca1)
(pop-start s12 b8 a1 a2 b20 oc1b oca1)
(pop-end s23 a2 a3 b23 b16)
(pop-end s12 a1 a2 b13 b20)
(push-start s13 b13 a1 a3 b15 lco oca1)
(push-start s15 b19 a1 a5 b3 gasoleo oc1b)
(push-end s13 a1 a3 b10 b15)
(push-end s15 a1 a5 b11 b6)
(pop-unitarypipe s34 b0 a3 a4 b17 gasoleo rat-a)
(pop-unitarypipe s34 b21 a3 a4 b0 oca1 gasoleo)
(pop-start s12 b1 a1 a2 b8 gasoleo oc1b)
(pop-start s13 b10 a1 a3 b15 oc1b oca1)
(pop-start s23 b0 a2 a3 b22 gasoleo oc1b)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s12 a1 a2 b20 b8)
(pop-end s15 a1 a5 b19 b3)
(push-start s12 b19 a1 a2 b8 gasoleo oc1b)
(pop-unitarypipe s34 b7 a3 a4 b21 gasoleo oca1)
(pop-end s13 a1 a3 b13 b15)
(pop-end s23 a2 a3 b16 b18)
(push-end s12 a1 a2 b1 b8)
(pop-start s23 b21 a2 a3 b0 oca1 gasoleo)
(push-start s12 b13 a1 a2 b19 lco gasoleo)
(push-end s12 a1 a2 b8 b19)
(pop-end s23 a2 a3 b18 b22)
(push-start s12 b20 a1 a2 b13 oca1 lco)
(push-unitarypipe s34 b17 a3 a4 b7 rat-a gasoleo)
(push-end s12 a1 a2 b19 b13)
(pop-start s23 b9 a2 a3 b21 oc1b oca1)
(pop-end s23 a2 a3 b22 b0)
(pop-start s12 b18 a1 a2 b13 oca1 lco)
(pop-end s12 a1 a2 b20 b13)
(push-start s23 b22 a2 a3 b0 oc1b gasoleo)
(push-end s23 a2 a3 b9 b21)
(pop-start s12 b19 a1 a2 b18 gasoleo oca1)
(pop-end s12 a1 a2 b13 b18)
(push-start s15 b13 a1 a5 b3 lco oc1b)
(push-end s15 a1 a5 b11 b6)
(pop-start s23 b9 a2 a3 b21 oc1b oca1)
(pop-start s12 b8 a1 a2 b19 oc1b gasoleo)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s23 a2 a3 b22 b0)
(pop-end s12 a1 a2 b18 b19)
(pop-end s15 a1 a5 b13 b3)
(push-start s12 b13 a1 a2 b19 lco gasoleo)
(push-end s12 a1 a2 b8 b19)
(push-start s15 b20 a1 a5 b3 oca1 oc1b)
(push-start s23 b23 a2 a3 b0 oc1b gasoleo)
(push-end s15 a1 a5 b2 b6)
(push-end s23 a2 a3 b9 b21)
(push-start s12 b18 a1 a2 b13 oca1 lco)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-end s12 a1 a2 b19 b13)
(pop-start s12 b19 a1 a2 b13 gasoleo lco)
(pop-end s15 a1 a5 b20 b3)
(pop-start s23 b9 a2 a3 b21 oc1b oca1)
(pop-end s12 a1 a2 b18 b13)
(pop-end s23 a2 a3 b23 b0)
(push-start s15 b20 a1 a5 b3 oca1 oc1b)
(pop-start s12 b22 a1 a2 b19 oc1b gasoleo)
(pop-end s12 a1 a2 b13 b19)
(push-start s23 b23 a2 a3 b0 oc1b gasoleo)
(push-end s23 a2 a3 b9 b21)
(pop-start s12 b5 a1 a2 b22 gasoleo oc1b)
(pop-end s12 a1 a2 b19 b22)
(push-end s15 a1 a5 b11 b6)
(pop-start s23 b9 a2 a3 b21 oc1b oca1)
(push-start s13 b13 a1 a3 b15 lco oca1)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b20 b3)
(push-start s15 b19 a1 a5 b3 gasoleo oc1b)
(push-end s13 a1 a3 b10 b15)
(push-start s13 b18 a1 a3 b13 oca1 lco)
(push-end s13 a1 a3 b15 b13)
(push-start s12 b20 a1 a2 b22 oca1 oc1b)
(push-end s15 a1 a5 b2 b6)
(pop-end s23 a2 a3 b23 b0)
(pop-start s13 b15 a1 a3 b13 oca1 lco)
(pop-end s13 a1 a3 b18 b13)
(push-end s12 a1 a2 b5 b22)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b19 b3)
(pop-start s12 b16 a1 a2 b22 gasoleo oc1b)
(push-start s15 b19 a1 a5 b3 gasoleo oc1b)
(pop-end s12 a1 a2 b20 b22)
(push-start s12 b20 a1 a2 b22 oca1 oc1b)
(push-start s23 b8 a2 a3 b0 oc1b gasoleo)
(push-end s12 a1 a2 b16 b22)
(push-end s23 a2 a3 b9 b21)
(push-end s15 a1 a5 b11 b6)
(push-start s23 b16 a2 a3 b8 gasoleo oc1b)
(push-start s13 b18 a1 a3 b13 oca1 lco)
(push-end s13 a1 a3 b15 b13)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b19 b3)
(pop-start s13 b4 a1 a3 b13 rat-a lco)
(push-start s12 b19 a1 a2 b20 gasoleo oca1)
(push-end s12 a1 a2 b22 b20)
(pop-end s13 a1 a3 b18 b13)
(push-end s23 a2 a3 b21 b0)
(pop-start s12 b5 a1 a2 b20 gasoleo oca1)
(push-start s15 b18 a1 a5 b3 oca1 oc1b)
(push-end s15 a1 a5 b2 b6)
(pop-end s12 a1 a2 b19 b20)
(push-start s23 b23 a2 a3 b16 oc1b gasoleo)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-end s23 a2 a3 b0 b8)
(push-start s13 b19 a1 a3 b13 gasoleo lco)
(push-end s13 a1 a3 b4 b13)
(pop-start s12 b22 a1 a2 b5 oc1b gasoleo)
(pop-start s13 b0 a1 a3 b13 gasoleo lco)
(pop-end s15 a1 a5 b18 b3)
(pop-end s12 a1 a2 b20 b5)
(pop-start s12 b1 a1 a2 b22 gasoleo oc1b)
(pop-end s13 a1 a3 b19 b13)
(pop-end s12 a1 a2 b5 b22)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(pop-start s13 b21 a1 a3 b0 oca1 gasoleo)
(pop-end s13 a1 a3 b13 b0)
(push-end s15 a1 a5 b11 b6)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b5 b3)
(push-start s15 b13 a1 a5 b3 lco oc1b)
(pop-start s13 b10 a1 a3 b21 oc1b oca1)
(push-end s15 a1 a5 b2 b6)
(pop-end s13 a1 a3 b0 b21)
(push-start s15 b19 a1 a5 b13 gasoleo lco)
(pop-start s23 b15 a2 a3 b8 oca1 oc1b)
(pop-end s23 a2 a3 b23 b16)
(push-start s12 b0 a1 a2 b22 gasoleo oc1b)
(push-end s15 a1 a5 b6 b14)
(push-end s12 a1 a2 b1 b22)
(push-start s23 b23 a2 a3 b16 oc1b gasoleo)
(push-end s23 a2 a3 b15 b8)
(pop-start s13 b15 a1 a3 b10 oca1 oc1b)
(push-start s23 b1 a2 a3 b23 gasoleo oc1b)
(pop-start s15 b6 a1 a5 b14 oc1b gasoleo)
(push-end s23 a2 a3 b8 b16)
(push-start s12 b20 a1 a2 b0 oca1 gasoleo)
(push-end s12 a1 a2 b22 b0)
(pop-end s15 a1 a5 b19 b13)
(pop-end s13 a1 a3 b21 b10)
(pop-start s23 b4 a2 a3 b16 rat-a gasoleo)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-start s13 b8 a1 a3 b15 oc1b oca1)
(pop-end s13 a1 a3 b10 b15)
(pop-end s15 a1 a5 b13 b3)
(pop-end s23 a2 a3 b1 b23)
(pop-start s12 b22 a1 a2 b0 oc1b gasoleo)
(push-start s15 b19 a1 a5 b3 gasoleo oc1b)
(push-start s13 b13 a1 a3 b15 lco oca1)
(push-end s15 a1 a5 b11 b6)
(pop-end s12 a1 a2 b20 b0)
(push-end s13 a1 a3 b8 b15)
(push-start s23 b1 a2 a3 b23 gasoleo oc1b)
(push-end s23 a2 a3 b4 b16)
(push-start s12 b20 a1 a2 b0 oca1 gasoleo)
(push-start s13 b21 a1 a3 b13 oca1 lco)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-end s13 a1 a3 b15 b13)
(pop-end s15 a1 a5 b19 b3)
(pop-start s13 b4 a1 a3 b13 rat-a lco)
(push-end s12 a1 a2 b22 b0)
(pop-end s13 a1 a3 b21 b13)
(pop-start s12 b22 a1 a2 b0 oc1b gasoleo)
(pop-end s12 a1 a2 b20 b0)
(push-start s15 b20 a1 a5 b3 oca1 oc1b)
(pop-start s23 b12 a2 a3 b16 rat-a gasoleo)
(push-start s12 b18 a1 a2 b0 oca1 gasoleo)
(push-end s12 a1 a2 b22 b0)
(pop-end s23 a2 a3 b1 b23)
(push-end s15 a1 a5 b11 b6)
(push-start s13 b21 a1 a3 b13 oca1 lco)
(push-end s13 a1 a3 b4 b13)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b20 b3)
(pop-start s12 b22 a1 a2 b0 oc1b gasoleo)
(pop-end s12 a1 a2 b18 b0)
(push-start s15 b19 a1 a5 b3 gasoleo oc1b)
(push-start s13 b5 a1 a3 b21 gasoleo oca1)
(push-end s13 a1 a3 b13 b21)
(push-end s15 a1 a5 b2 b6)
(push-unitarypipe s34 b13 a3 a4 b17 lco rat-a)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-unitarypipe s34 b4 a3 a4 b13 rat-a lco)
(pop-end s15 a1 a5 b19 b3)
(pop-unitarypipe s34 b7 a3 a4 b4 gasoleo rat-a)
(push-start s12 b20 a1 a2 b0 oca1 gasoleo)
(push-start s13 b10 a1 a3 b5 oc1b gasoleo)
(push-end s13 a1 a3 b21 b5)
(push-end s12 a1 a2 b22 b0)
(pop-start s13 b4 a1 a3 b5 rat-a gasoleo)
(push-start s12 b19 a1 a2 b20 gasoleo oca1)
(pop-end s13 a1 a3 b10 b5)
(push-end s12 a1 a2 b0 b20)
(push-start s23 b0 a2 a3 b23 gasoleo oc1b)
(pop-unitarypipe s34 b17 a3 a4 b7 rat-a gasoleo)
(pop-start s13 b7 a1 a3 b4 gasoleo rat-a)
(push-start s12 b18 a1 a2 b19 oca1 gasoleo)
(push-end s23 a2 a3 b12 b16)
(push-end s12 a1 a2 b20 b19)
(pop-end s13 a1 a3 b5 b4)
(push-start s23 b22 a2 a3 b0 oc1b gasoleo)
(pop-start s13 b21 a1 a3 b7 oca1 gasoleo)
(pop-end s13 a1 a3 b4 b7)
(push-start s12 b10 a1 a2 b18 oc1b oca1)
(push-end s23 a2 a3 b16 b23)
(pop-start s13 b9 a1 a3 b21 oc1b oca1)
(push-end s12 a1 a2 b19 b18)
(pop-end s13 a1 a3 b7 b21)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-start s23 b19 a2 a3 b22 gasoleo oc1b)
(push-end s15 a1 a5 b11 b6)
(pop-start s12 b1 a1 a2 b18 gasoleo oca1)
(push-end s23 a2 a3 b23 b0)
(pop-start s13 b15 a1 a3 b9 oca1 oc1b)
(pop-end s13 a1 a3 b21 b9)
(push-start s15 b4 a1 a5 b5 rat-a gasoleo)
(pop-end s12 a1 a2 b10 b18)
(push-end s15 a1 a5 b6 b14)
(push-start s12 b10 a1 a2 b18 oc1b oca1)
(pop-start s15 b6 a1 a5 b14 oc1b gasoleo)
(pop-start s13 b16 a1 a3 b15 gasoleo oca1)
(push-start s23 b20 a2 a3 b19 oca1 gasoleo)
(pop-end s15 a1 a5 b4 b5)
(push-end s12 a1 a2 b1 b18)
(pop-end s13 a1 a3 b9 b15)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b5 b3)
(pop-start s12 b1 a1 a2 b18 gasoleo oca1)
(push-end s23 a2 a3 b0 b22)
(pop-start s13 b12 a1 a3 b16 rat-a gasoleo)
(pop-end s12 a1 a2 b10 b18)
(pop-end s13 a1 a3 b15 b16)
(push-start s15 b21 a1 a5 b3 oca1 oc1b)
(push-end s15 a1 a5 b11 b6)
(push-start s13 b4 a1 a3 b16 rat-a gasoleo)
(push-end s13 a1 a3 b12 b16)
(push-start s12 b10 a1 a2 b18 oc1b oca1)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b21 b3)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(pop-start s13 b12 a1 a3 b16 rat-a gasoleo)
(push-end s12 a1 a2 b1 b18)
(pop-start s12 b1 a1 a2 b18 gasoleo oca1)
(pop-end s12 a1 a2 b10 b18)
(pop-end s13 a1 a3 b4 b16)
(push-end s15 a1 a5 b11 b6)
(pop-start s13 b0 a1 a3 b12 gasoleo rat-a)
(pop-end s13 a1 a3 b16 b12)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b5 b3)
(push-start s12 b5 a1 a2 b18 gasoleo oca1)
(pop-start s13 b23 a1 a3 b0 oc1b gasoleo)
(pop-end s13 a1 a3 b12 b0)
(push-start s15 b21 a1 a5 b3 oca1 oc1b)
(push-end s15 a1 a5 b2 b6)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b21 b3)
(push-end s12 a1 a2 b1 b18)
(push-start s13 b4 a1 a3 b0 rat-a gasoleo)
(push-end s13 a1 a3 b23 b0)
(pop-start s12 b1 a1 a2 b18 gasoleo oca1)
(pop-end s12 a1 a2 b5 b18)
(push-start s15 b21 a1 a5 b3 oca1 oc1b)
(push-start s13 b16 a1 a3 b4 gasoleo rat-a)
(push-end s13 a1 a3 b0 b4)
(push-start s12 b10 a1 a2 b18 oc1b oca1)
(pop-start s13 b0 a1 a3 b4 gasoleo rat-a)
(push-end s12 a1 a2 b1 b18)
(push-end s15 a1 a5 b11 b6)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b21 b3)
(pop-start s12 b1 a1 a2 b18 gasoleo oca1)
(pop-end s13 a1 a3 b16 b4)
(pop-end s12 a1 a2 b10 b18)
(push-start s15 b21 a1 a5 b3 oca1 oc1b)
(push-end s15 a1 a5 b2 b6)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b21 b3)
(push-start s12 b10 a1 a2 b18 oc1b oca1)
(push-start s13 b5 a1 a3 b4 gasoleo rat-a)
(push-end s13 a1 a3 b0 b4)
(push-end s12 a1 a2 b1 b18)
(push-start s12 b21 a1 a2 b10 oca1 oc1b)
(push-start s23 b1 a2 a3 b20 gasoleo oca1)
(push-end s12 a1 a2 b18 b10)
(push-end s23 a2 a3 b22 b19)
(push-start s12 b7 a1 a2 b21 gasoleo oca1)
(pop-start s13 b0 a1 a3 b4 gasoleo rat-a)
(pop-end s13 a1 a3 b5 b4)
(push-end s12 a1 a2 b10 b21)
(push-start s15 b15 a1 a5 b3 oca1 oc1b)
(push-end s15 a1 a5 b11 b6)
(push-start s12 b9 a1 a2 b7 oc1b gasoleo)
(push-end s12 a1 a2 b21 b7)
(push-start s23 b21 a2 a3 b1 oca1 gasoleo)
(push-start s13 b5 a1 a3 b4 gasoleo rat-a)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-end s13 a1 a3 b0 b4)
(pop-end s15 a1 a5 b15 b3)
(push-start s12 b15 a1 a2 b9 oca1 oc1b)
(push-end s23 a2 a3 b19 b20)
(pop-start s13 b0 a1 a3 b4 gasoleo rat-a)
(pop-end s13 a1 a3 b5 b4)
(push-end s12 a1 a2 b7 b9)
(push-start s23 b7 a2 a3 b21 gasoleo oca1)
(push-end s23 a2 a3 b20 b1)
(push-start s12 b16 a1 a2 b15 gasoleo oca1)
(pop-start s13 b23 a1 a3 b0 oc1b gasoleo)
(pop-end s13 a1 a3 b4 b0)
(push-end s12 a1 a2 b9 b15)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-end s15 a1 a5 b11 b6)
(push-start s12 b4 a1 a2 b16 rat-a gasoleo)
(push-end s12 a1 a2 b15 b16)
(push-start s23 b15 a2 a3 b7 oca1 gasoleo)
(push-start s13 b12 a1 a3 b0 rat-a gasoleo)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-end s13 a1 a3 b23 b0)
(pop-end s15 a1 a5 b5 b3)
(push-start s12 b5 a1 a2 b4 gasoleo rat-a)
(push-end s23 a2 a3 b1 b21)
(pop-start s13 b23 a1 a3 b0 oc1b gasoleo)
(pop-end s13 a1 a3 b12 b0)
(push-end s12 a1 a2 b16 b4)
(push-start s23 b16 a2 a3 b15 gasoleo oca1)
(push-start s13 b12 a1 a3 b0 rat-a gasoleo)
(push-end s23 a2 a3 b21 b7)
(push-start s23 b9 a2 a3 b16 oc1b gasoleo)
(push-end s23 a2 a3 b7 b15)
(push-end s13 a1 a3 b23 b0)
(pop-start s23 b23 a2 a3 b15 oc1b oca1)
(pop-start s13 b21 a1 a3 b0 oca1 gasoleo)
(pop-end s13 a1 a3 b12 b0)
(pop-end s23 a2 a3 b9 b16)
(pop-start s13 b19 a1 a3 b21 gasoleo oca1)
(pop-end s13 a1 a3 b0 b21)
(push-start s23 b9 a2 a3 b16 oc1b gasoleo)
(pop-start s13 b22 a1 a3 b19 oc1b gasoleo)
(push-end s23 a2 a3 b23 b15)
(pop-end s13 a1 a3 b21 b19)
(push-start s15 b0 a1 a5 b3 gasoleo oc1b)
(push-end s15 a1 a5 b11 b6)
(push-start s15 b12 a1 a5 b0 rat-a gasoleo)
(pop-start s13 b7 a1 a3 b22 gasoleo oc1b)
(push-start s23 b18 a2 a3 b9 oca1 oc1b)
(push-start s12 b21 a1 a2 b5 oca1 gasoleo)
(push-end s15 a1 a5 b6 b14)
(push-end s12 a1 a2 b4 b5)
(pop-start s15 b6 a1 a5 b14 oc1b gasoleo)
(push-end s23 a2 a3 b15 b16)
(pop-start s12 b10 a1 a2 b5 oc1b gasoleo)
(pop-end s15 a1 a5 b12 b0)
(pop-end s12 a1 a2 b21 b5)
(pop-end s13 a1 a3 b19 b22)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-start s13 b15 a1 a3 b7 oca1 gasoleo)
(pop-end s13 a1 a3 b22 b7)
(pop-end s15 a1 a5 b0 b3)
(push-start s15 b21 a1 a5 b3 oca1 oc1b)
(pop-start s13 b8 a1 a3 b15 oc1b oca1)
(push-end s15 a1 a5 b11 b6)
(pop-end s13 a1 a3 b7 b15)
(pop-start s23 b20 a2 a3 b16 oca1 gasoleo)
(pop-end s23 a2 a3 b18 b9)
(push-start s15 b0 a1 a5 b21 gasoleo oca1)
(pop-start s13 b1 a1 a3 b8 gasoleo oc1b)
(pop-start s12 b18 a1 a2 b10 oca1 oc1b)
(push-end s15 a1 a5 b6 b14)
(pop-end s12 a1 a2 b5 b10)
(pop-end s13 a1 a3 b15 b8)
(pop-start s15 b6 a1 a5 b14 oc1b gasoleo)
(pop-start s13 b23 a1 a3 b1 oc1b gasoleo)
(pop-end s15 a1 a5 b0 b21)
(pop-end s13 a1 a3 b8 b1)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b21 b3)
(push-start s13 b21 a1 a3 b1 oca1 gasoleo)
(push-start s12 b0 a1 a2 b10 gasoleo oc1b)
(push-end s13 a1 a3 b23 b1)
(push-end s12 a1 a2 b18 b10)
(pop-start s13 b23 a1 a3 b1 oc1b gasoleo)
(pop-start s12 b18 a1 a2 b10 oca1 oc1b)
(pop-end s13 a1 a3 b21 b1)
(pop-end s12 a1 a2 b0 b10)
(push-start s13 b21 a1 a3 b1 oca1 gasoleo)
(push-start s15 b0 a1 a5 b3 gasoleo oc1b)
(push-end s15 a1 a5 b11 b6)
(push-end s13 a1 a3 b23 b1)
(push-start s12 b15 a1 a2 b10 oca1 oc1b)
(pop-start s13 b23 a1 a3 b1 oc1b gasoleo)
(push-start s15 b12 a1 a5 b0 rat-a gasoleo)
(push-end s15 a1 a5 b6 b14)
(pop-end s13 a1 a3 b21 b1)
(pop-start s15 b6 a1 a5 b14 oc1b gasoleo)
(push-end s12 a1 a2 b18 b10)
(push-start s13 b21 a1 a3 b1 oca1 gasoleo)
(pop-start s12 b18 a1 a2 b10 oca1 oc1b)
(pop-end s15 a1 a5 b12 b0)
(pop-end s12 a1 a2 b15 b10)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-end s13 a1 a3 b23 b1)
(pop-end s15 a1 a5 b0 b3)
(push-start s15 b15 a1 a5 b3 oca1 oc1b)
(pop-start s23 b23 a2 a3 b20 oc1b oca1)
(push-start s12 b0 a1 a2 b10 gasoleo oc1b)
(push-end s12 a1 a2 b18 b10)
(pop-end s23 a2 a3 b9 b16)
(push-end s15 a1 a5 b11 b6)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b15 b3)
(push-start s13 b8 a1 a3 b21 oc1b oca1)
(push-start s12 b15 a1 a2 b0 oca1 gasoleo)
(push-start s23 b4 a2 a3 b16 rat-a gasoleo)
(push-start s15 b19 a1 a5 b3 gasoleo oc1b)
(push-end s23 a2 a3 b23 b20)
(push-end s15 a1 a5 b2 b6)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(push-end s12 a1 a2 b10 b0)
(push-end s13 a1 a3 b1 b21)
(pop-end s15 a1 a5 b19 b3)
(push-start s13 b19 a1 a3 b8 gasoleo oc1b)
(push-end s13 a1 a3 b21 b8)
(pop-start s13 b1 a1 a3 b8 gasoleo oc1b)
(push-start s12 b22 a1 a2 b15 oc1b oca1)
(pop-end s13 a1 a3 b19 b8)
(push-end s12 a1 a2 b0 b15)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-start s23 b0 a2 a3 b4 gasoleo rat-a)
(push-end s15 a1 a5 b11 b6)
(pop-start s12 b10 a1 a2 b15 oc1b oca1)
(push-end s23 a2 a3 b20 b16)
(pop-start s13 b21 a1 a3 b1 oca1 gasoleo)
(pop-end s13 a1 a3 b8 b1)
(push-start s15 b12 a1 a5 b5 rat-a gasoleo)
(pop-end s12 a1 a2 b22 b15)
(push-end s15 a1 a5 b6 b14)
(pop-start s15 b6 a1 a5 b14 oc1b gasoleo)
(pop-start s13 b23 a1 a3 b21 oc1b oca1)
(pop-end s15 a1 a5 b12 b5)
(pop-end s13 a1 a3 b1 b21)
(pop-start s23 b20 a2 a3 b16 oca1 gasoleo)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-end s23 a2 a3 b0 b4)
(pop-end s15 a1 a5 b5 b3)
(push-start s12 b19 a1 a2 b15 gasoleo oca1)
(push-start s23 b0 a2 a3 b4 gasoleo rat-a)
(push-start s13 b7 a1 a3 b21 gasoleo oca1)
(push-end s23 a2 a3 b20 b16)
(push-end s13 a1 a3 b23 b21)
(pop-start s23 b23 a2 a3 b16 oc1b gasoleo)
(pop-end s23 a2 a3 b0 b4)
(push-start s13 b22 a1 a3 b7 oc1b gasoleo)
(push-end s13 a1 a3 b21 b7)
(push-start s13 b5 a1 a3 b22 gasoleo oc1b)
(push-end s12 a1 a2 b10 b15)
(push-start s12 b8 a1 a2 b19 oc1b gasoleo)
(push-end s12 a1 a2 b15 b19)
(pop-start s23 b21 a2 a3 b23 oca1 oc1b)
(push-start s12 b1 a1 a2 b8 gasoleo oc1b)
(push-end s13 a1 a3 b7 b22)
(pop-end s23 a2 a3 b4 b16)
(push-end s12 a1 a2 b19 b8)
(pop-start s12 b0 a1 a2 b8 gasoleo oc1b)
(pop-start s13 b7 a1 a3 b22 gasoleo oc1b)
(pop-end s12 a1 a2 b1 b8)
(push-start s23 b4 a2 a3 b16 rat-a gasoleo)
(push-start s15 b1 a1 a5 b3 gasoleo oc1b)
(push-end s23 a2 a3 b21 b23)
(pop-start s12 b9 a1 a2 b0 oc1b gasoleo)
(pop-end s12 a1 a2 b8 b0)
(push-end s15 a1 a5 b11 b6)
(pop-end s13 a1 a3 b5 b22)
(pop-start s23 b20 a2 a3 b23 oca1 oc1b)
(pop-start s13 b21 a1 a3 b7 oca1 gasoleo)
(pop-end s13 a1 a3 b22 b7)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-end s15 a1 a5 b1 b3)
(push-start s13 b22 a1 a3 b7 oc1b gasoleo)
(push-start s12 b12 a1 a2 b0 rat-a gasoleo)
(push-end s12 a1 a2 b9 b0)
(pop-end s23 a2 a3 b4 b16)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-end s13 a1 a3 b21 b7)
(push-end s15 a1 a5 b2 b6)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-start s12 b9 a1 a2 b0 oc1b gasoleo)
(pop-start s13 b21 a1 a3 b7 oca1 gasoleo)
(pop-end s12 a1 a2 b12 b0)
(pop-end s15 a1 a5 b5 b3)
(pop-end s13 a1 a3 b22 b7)
(push-start s13 b22 a1 a3 b7 oc1b gasoleo)
(push-start s12 b12 a1 a2 b0 rat-a gasoleo)
(push-end s12 a1 a2 b9 b0)
(push-start s23 b10 a2 a3 b16 oc1b gasoleo)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-end s13 a1 a3 b21 b7)
(push-end s15 a1 a5 b11 b6)
(push-end s23 a2 a3 b20 b23)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-start s23 b21 a2 a3 b23 oca1 oc1b)
(pop-start s12 b9 a1 a2 b0 oc1b gasoleo)
(pop-end s15 a1 a5 b5 b3)
(pop-start s13 b20 a1 a3 b7 oca1 gasoleo)
(pop-end s12 a1 a2 b12 b0)
(pop-end s13 a1 a3 b22 b7)
(push-start s13 b22 a1 a3 b7 oc1b gasoleo)
(push-start s12 b12 a1 a2 b0 rat-a gasoleo)
(push-end s12 a1 a2 b9 b0)
(pop-end s23 a2 a3 b10 b16)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-end s13 a1 a3 b20 b7)
(push-end s15 a1 a5 b2 b6)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-start s12 b9 a1 a2 b0 oc1b gasoleo)
(pop-start s13 b20 a1 a3 b7 oca1 gasoleo)
(pop-end s12 a1 a2 b12 b0)
(pop-end s15 a1 a5 b5 b3)
(pop-end s13 a1 a3 b22 b7)
(push-start s12 b22 a1 a2 b0 oc1b gasoleo)
(push-end s12 a1 a2 b9 b0)
(push-start s23 b10 a2 a3 b16 oc1b gasoleo)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-end s23 a2 a3 b21 b23)
(push-end s15 a1 a5 b11 b6)
(pop-start s15 b2 a1 a5 b6 gasoleo oc1b)
(pop-start s23 b21 a2 a3 b23 oca1 oc1b)
(pop-start s12 b9 a1 a2 b0 oc1b gasoleo)
(pop-end s15 a1 a5 b5 b3)
(push-start s13 b8 a1 a3 b7 oc1b gasoleo)
(pop-end s12 a1 a2 b22 b0)
(push-end s13 a1 a3 b20 b7)
(pop-start s13 b20 a1 a3 b7 oca1 gasoleo)
(pop-start s12 b19 a1 a2 b9 gasoleo oc1b)
(pop-end s13 a1 a3 b8 b7)
(pop-end s23 a2 a3 b10 b16)
(pop-end s12 a1 a2 b0 b9)
(push-start s15 b5 a1 a5 b3 gasoleo oc1b)
(push-end s15 a1 a5 b2 b6)
(pop-start s15 b11 a1 a5 b6 gasoleo oc1b)
(pop-start s12 b4 a1 a2 b19 rat-a gasoleo)
(pop-end s12 a1 a2 b9 b19)
(pop-end s15 a1 a5 b5 b3)
(push-start s13 b22 a1 a3 b7 oc1b gasoleo)
(push-end s13 a1 a3 b20 b7)
(pop-start s13 b20 a1 a3 b7 oca1 gasoleo)
(pop-end s13 a1 a3 b22 b7)
(push-start s15 b0 a1 a5 b3 gasoleo oc1b)
(push-start s12 b12 a1 a2 b19 rat-a gasoleo)
(push-end s15 a1 a5 b11 b6)
(push-end s12 a1 a2 b4 b19)
(push-start s15 b22 a1 a5 b0 oc1b gasoleo)
(pop-start s12 b4 a1 a2 b19 rat-a gasoleo)
(push-end s15 a1 a5 b6 b14)
(pop-end s12 a1 a2 b12 b19)
(push-start s15 b1 a1 a5 b22 gasoleo oc1b)
(push-start s23 b15 a2 a3 b16 oca1 gasoleo)
(push-end s15 a1 a5 b14 b3)
(push-start s15 b8 a1 a5 b1 oc1b gasoleo)
(push-start s12 b12 a1 a2 b19 rat-a gasoleo)
(push-end s23 a2 a3 b21 b23)
(push-end s12 a1 a2 b4 b19)
(pop-start s12 b4 a1 a2 b19 rat-a gasoleo)
(push-end s15 a1 a5 b3 b0)
(pop-end s12 a1 a2 b12 b19)
(push-start s15 b5 a1 a5 b8 gasoleo oc1b)
(pop-start s23 b21 a2 a3 b23 oca1 oc1b)
(push-start s13 b9 a1 a3 b7 oc1b gasoleo)
(push-end s15 a1 a5 b0 b22)
(pop-end s23 a2 a3 b15 b16)
(push-end s13 a1 a3 b20 b7)
(pop-start s15 b0 a1 a5 b22 gasoleo oc1b)
(push-start s12 b12 a1 a2 b19 rat-a gasoleo)
(pop-start s13 b20 a1 a3 b7 oca1 gasoleo)
(push-end s12 a1 a2 b4 b19)
(pop-end s13 a1 a3 b9 b7)
(push-start s23 b10 a2 a3 b16 oc1b gasoleo)
(pop-end s15 a1 a5 b5 b8)
(pop-start s15 b3 a1 a5 b0 oc1b gasoleo)
(push-end s23 a2 a3 b21 b23)
(pop-end s15 a1 a5 b8 b1)
(pop-start s12 b4 a1 a2 b19 rat-a gasoleo)
(push-start s15 b8 a1 a5 b1 oc1b gasoleo)
(push-end s15 a1 a5 b3 b0)
(pop-end s12 a1 a2 b12 b19)
(pop-start s23 b21 a2 a3 b23 oca1 oc1b)
(pop-end s23 a2 a3 b10 b16)
(push-start s23 b15 a2 a3 b16 oca1 gasoleo)
(push-start s13 b12 a1 a3 b7 rat-a gasoleo)
(push-start s15 b5 a1 a5 b8 gasoleo oc1b)
(push-end s23 a2 a3 b21 b23)
(push-end s15 a1 a5 b0 b22)
(push-start s15 b9 a1 a5 b5 oc1b gasoleo)
(push-end s15 a1 a5 b22 b1)
(pop-start s15 b3 a1 a5 b1 oc1b gasoleo)
(push-end s13 a1 a3 b20 b7)
(pop-end s15 a1 a5 b9 b5)
(pop-start s13 b21 a1 a3 b7 oca1 gasoleo)
(push-start s15 b9 a1 a5 b5 oc1b gasoleo)
(pop-end s13 a1 a3 b12 b7)
(push-end s15 a1 a5 b3 b1)
(push-start s23 b10 a2 a3 b15 oc1b oca1)
(push-end s23 a2 a3 b23 b16)
(pop-start s13 b23 a1 a3 b21 oc1b oca1)
(pop-end s13 a1 a3 b7 b21)
(push-start s12 b12 a1 a2 b19 rat-a gasoleo)
(push-end s12 a1 a2 b4 b19)
(pop-start s12 b18 a1 a2 b19 oca1 gasoleo)
(pop-start s15 b3 a1 a5 b1 oc1b gasoleo)
(pop-start s13 b20 a1 a3 b23 oca1 oc1b)
(pop-end s15 a1 a5 b9 b5)
(pop-end s13 a1 a3 b21 b23)
(pop-start s15 b0 a1 a5 b3 gasoleo oc1b)
(pop-end s15 a1 a5 b5 b8)
(push-start s15 b21 a1 a5 b8 oca1 oc1b)
(pop-end s12 a1 a2 b12 b19)
(push-end s15 a1 a5 b0 b3)
(pop-start s15 b11 a1 a5 b3 gasoleo oc1b)
(pop-end s15 a1 a5 b21 b8)
(push-start s13 b5 a1 a3 b23 gasoleo oc1b)
(pop-start s15 b22 a1 a5 b11 oc1b gasoleo)
(push-start s12 b12 a1 a2 b19 rat-a gasoleo)
(push-end s13 a1 a3 b20 b23)
(pop-end s15 a1 a5 b8 b1)
(push-end s12 a1 a2 b18 b19)
(pop-start s12 b4 a1 a2 b19 rat-a gasoleo)
(pop-start s13 b20 a1 a3 b23 oca1 oc1b)
(push-start s23 b18 a2 a3 b10 oca1 oc1b)
(push-end s23 a2 a3 b16 b15)
(pop-end s12 a1 a2 b12 b19)
(pop-start s15 b0 a1 a5 b22 gasoleo oc1b)
(pop-end s13 a1 a3 b5 b23)
(pop-end s15 a1 a5 b1 b3)
(push-start s13 b21 a1 a3 b23 oca1 oc1b)
(pop-start s15 b6 a1 a5 b0 oc1b gasoleo)
(pop-end s15 a1 a5 b3 b11)
(push-start s12 b3 a1 a2 b19 oc1b gasoleo)
(push-end s13 a1 a3 b20 b23)
(push-end s12 a1 a2 b4 b19)
(pop-start s15 b14 a1 a5 b6 gasoleo oc1b)
(pop-start s13 b16 a1 a3 b23 gasoleo oc1b)
(pop-end s13 a1 a3 b21 b23)
(pop-end s15 a1 a5 b11 b22)
(push-start s12 b5 a1 a2 b3 gasoleo oc1b)
(push-end s12 a1 a2 b19 b3)
(push-start s13 b11 a1 a3 b23 gasoleo oc1b)
(push-end s13 a1 a3 b16 b23)
(push-start s12 b21 a1 a2 b5 oca1 gasoleo)
(push-end s12 a1 a2 b3 b5)
(push-start s13 b8 a1 a3 b11 oc1b gasoleo)
(push-end s13 a1 a3 b23 b11)
(push-start s13 b7 a1 a3 b8 gasoleo oc1b)
(push-end s13 a1 a3 b11 b8)
(push-unitarypipe s34 b11 a3 a4 b17 gasoleo rat-a)
(push-unitarypipe s34 b20 a3 a4 b11 oca1 gasoleo)
