; total time: 112.08
; plan length: 383
(push-start s12 b3 a1 a2 b21 oca1 lco ta1-1-oca1)
(push-unitarypipe s34 b14 a3 a4 b11 gasoleo oc1b ta3-2-gasoleo ta4-3-oc1b)
(push-start s23 b1 a2 a3 b18 oca1 lco ta2-2-oca1)
(push-end s12 a1 a2 b15 b21 oca1 ta2-3-oca1)
(push-start s13 b19 a1 a3 b7 oc1b gasoleo ta1-1-oc1b)
(push-start s12 b20 a1 a2 b3 gasoleo oca1 ta1-1-gasoleo)
(push-unitarypipe s34 b2 a3 a4 b14 rat-a gasoleo ta3-2-rat-a ta4-2-gasoleo)
(push-end s12 a1 a2 b21 b3 lco ta2-3-lco)
(push-end s23 a2 a3 b9 b5 lco ta3-3-lco)
(pop-unitarypipe s34 b6 a3 a4 b2 lco rat-a ta3-2-rat-a ta4-1-lco)
(push-start s23 b21 a2 a3 b1 lco oca1 ta2-3-lco)
(pop-unitarypipe s34 b16 a3 a4 b6 oc1b lco ta3-1-lco ta4-1-oc1b)
(push-end s23 a2 a3 b5 b18 oc1b ta3-3-oc1b)
(push-end s13 a1 a3 b8 b7 lco ta3-2-lco)
(pop-start s13 b5 a1 a3 b7 oc1b gasoleo ta3-3-oc1b)
(pop-unitarypipe s34 b14 a3 a4 b16 gasoleo oc1b ta3-2-oc1b ta4-2-gasoleo)
(pop-end s13 a1 a3 b19 b7 gasoleo ta1-2-gasoleo)
(push-start s23 b12 a2 a3 b21 oca1 lco ta2-1-oca1)
(push-unitarypipe s34 b6 a3 a4 b14 lco gasoleo ta3-1-lco ta4-1-gasoleo)
(pop-start s13 b4 a1 a3 b5 gasoleo oc1b ta3-1-gasoleo)
(pop-end s13 a1 a3 b7 b5 oc1b ta1-3-oc1b)
(push-start s12 b19 a1 a2 b20 oc1b gasoleo ta1-3-oc1b)
(push-end s12 a1 a2 b3 b20 oca1 ta2-1-oca1)
(pop-unitarypipe s34 b11 a3 a4 b6 oc1b lco ta3-1-lco ta4-2-oc1b)
(pop-start s13 b8 a1 a3 b4 lco gasoleo ta3-3-lco)
(pop-end s13 a1 a3 b5 b4 lco ta1-3-lco)
(pop-start s13 b16 a1 a3 b8 oc1b lco ta3-2-oc1b)
(push-start s12 b7 a1 a2 b19 gasoleo oc1b ta1-2-gasoleo)
(push-end s12 a1 a2 b20 b19 gasoleo ta2-1-gasoleo)
(pop-end s13 a1 a3 b4 b8 lco ta1-2-lco)
(push-end s23 a2 a3 b18 b1 lco ta3-3-lco)
(pop-unitarypipe s34 b14 a3 a4 b11 gasoleo oc1b ta3-3-oc1b ta4-1-gasoleo)
(pop-start s13 b6 a1 a3 b16 lco oc1b ta3-1-lco)
(pop-end s13 a1 a3 b8 b16 oc1b ta1-1-oc1b)
(pop-start s13 b11 a1 a3 b6 oc1b lco ta3-3-oc1b)
(pop-start s23 b18 a2 a3 b1 lco oca1 ta3-3-lco)
(pop-end s13 a1 a3 b16 b6 oc1b ta1-2-oc1b)
(pop-end s23 a2 a3 b12 b21 lco ta2-3-lco)
(push-start s23 b3 a2 a3 b21 oca1 lco ta2-3-oca1)
(push-unitarypipe s34 b9 a3 a4 b14 lco gasoleo ta3-2-lco ta4-2-gasoleo)
(push-start s12 b16 a1 a2 b7 oc1b gasoleo ta1-1-oc1b)
(push-end s23 a2 a3 b18 b1 lco ta3-3-lco)
(push-end s12 a1 a2 b19 b7 oc1b ta2-2-oc1b)
(push-start s23 b19 a2 a3 b3 oc1b oca1 ta2-2-oc1b)
(push-end s23 a2 a3 b1 b21 oca1 ta3-1-oca1)
(pop-unitarypipe s34 b17 a3 a4 b9 oca1 lco ta3-2-lco ta4-2-oca1)
(pop-start s13 b1 a1 a3 b11 oca1 oc1b ta3-1-oca1)
(push-unitarypipe s34 b18 a3 a4 b17 lco oca1 ta3-3-lco ta4-3-oca1)
(pop-start s12 b15 a1 a2 b7 oca1 gasoleo ta2-1-oca1)
(pop-end s12 a1 a2 b16 b7 lco ta1-1-lco)
(pop-end s13 a1 a3 b6 b11 gasoleo ta1-2-gasoleo)
(push-unitarypipe s34 b0 a3 a4 b18 rat-a lco ta3-1-rat-a ta4-1-lco)
(push-start s12 b16 a1 a2 b7 oc1b gasoleo ta1-2-oc1b)
(push-start s23 b20 a2 a3 b19 gasoleo oc1b ta2-1-gasoleo)
(push-end s12 a1 a2 b15 b7 oca1 ta2-1-oca1)
(push-end s23 a2 a3 b21 b3 lco ta3-1-lco)
(push-unitarypipe s34 b9 a3 a4 b0 lco rat-a ta3-1-lco ta4-1-rat-a)
(pop-unitarypipe s34 b13 a3 a4 b9 oca1 lco ta3-1-lco ta4-3-oca1)
(pop-start s12 b15 a1 a2 b7 oca1 gasoleo ta2-1-oca1)
(pop-start s13 b9 a1 a3 b1 lco oca1 ta3-2-lco)
(pop-end s12 a1 a2 b16 b7 gasoleo ta1-1-gasoleo)
(pop-end s13 a1 a3 b11 b1 rat-a ta1-1-rat-a)
(pop-start s23 b21 a2 a3 b3 lco oca1 ta3-1-lco)
(push-start s12 b6 a1 a2 b7 lco gasoleo ta1-1-lco)
(pop-end s23 a2 a3 b20 b19 oca1 ta2-1-oca1)
(push-end s12 a1 a2 b15 b7 oca1 ta2-2-oca1)
(pop-start s12 b12 a1 a2 b7 oca1 gasoleo ta2-1-oca1)
(pop-end s12 a1 a2 b6 b7 lco ta1-1-lco)
(push-start s13 b6 a1 a3 b1 lco oca1 ta1-1-lco)
(push-start s23 b15 a2 a3 b19 oca1 oc1b ta2-2-oca1)
(push-end s23 a2 a3 b21 b3 lco ta3-1-lco)
(push-end s13 a1 a3 b9 b1 lco ta3-2-lco)
(pop-start s23 b9 a2 a3 b3 lco oca1 ta3-1-lco)
(pop-end s23 a2 a3 b15 b19 gasoleo ta2-2-gasoleo)
(pop-start s12 b20 a1 a2 b12 gasoleo oca1 ta2-2-gasoleo)
(pop-end s12 a1 a2 b7 b12 lco ta1-1-lco)
(pop-start s13 b21 a1 a3 b1 lco oca1 ta3-2-lco)
(pop-end s13 a1 a3 b6 b1 oca1 ta1-3-oca1)
(pop-start s23 b2 a2 a3 b9 rat-a lco ta3-2-rat-a)
(pop-end s23 a2 a3 b19 b3 oc1b ta2-3-oc1b)
(pop-start s12 b19 a1 a2 b20 oc1b gasoleo ta2-3-oc1b)
(pop-end s12 a1 a2 b12 b20 oca1 ta1-2-oca1)
(push-start s13 b6 a1 a3 b1 lco oca1 ta1-1-lco)
(push-end s13 a1 a3 b21 b1 lco ta3-3-lco)
(pop-start s23 b21 a2 a3 b2 lco rat-a ta3-3-lco)
(pop-end s23 a2 a3 b3 b9 lco ta2-2-lco)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-3-oca1 ta4-1-lco)
(push-start s13 b7 a1 a3 b6 gasoleo lco ta1-1-gasoleo)
(push-end s13 a1 a3 b1 b6 oca1 ta3-1-oca1)
(pop-start s23 b1 a2 a3 b21 oca1 lco ta3-3-oca1)
(push-unitarypipe s34 b13 a3 a4 b18 oca1 lco ta3-1-oca1 ta4-1-lco)
(pop-end s23 a2 a3 b9 b2 oca1 ta2-3-oca1)
(pop-start s12 b3 a1 a2 b19 oca1 oc1b ta2-3-oca1)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-3-oca1 ta4-1-lco)
(pop-end s12 a1 a2 b20 b19 oc1b ta1-3-oc1b)
(pop-start s12 b9 a1 a2 b3 lco oca1 ta2-3-lco)
(pop-start s13 b13 a1 a3 b6 oca1 lco ta3-3-oca1)
(pop-end s12 a1 a2 b19 b3 lco ta1-1-lco)
(pop-end s13 a1 a3 b7 b6 oc1b ta1-1-oc1b)
(pop-unitarypipe s34 b14 a3 a4 b18 gasoleo lco ta3-1-lco ta4-2-gasoleo)
(pop-start s13 b18 a1 a3 b13 lco oca1 ta3-1-lco)
(pop-end s13 a1 a3 b6 b13 gasoleo ta1-1-gasoleo)
(push-start s12 b11 a1 a2 b3 oc1b oca1 ta1-1-oc1b)
(push-end s12 a1 a2 b9 b3 lco ta2-1-lco)
(push-start s13 b19 a1 a3 b13 oc1b oca1 ta1-3-oc1b)
(push-end s13 a1 a3 b18 b13 lco ta3-1-lco)
(pop-unitarypipe s34 b0 a3 a4 b14 rat-a gasoleo ta3-1-gasoleo ta4-1-rat-a)
(push-start s13 b6 a1 a3 b19 lco oc1b ta1-1-lco)
(push-end s13 a1 a3 b13 b19 oca1 ta3-1-oca1)
(pop-start s12 b9 a1 a2 b3 lco oca1 ta2-2-lco)
(pop-end s12 a1 a2 b11 b3 lco ta1-1-lco)
(pop-start s13 b13 a1 a3 b19 oca1 oc1b ta3-1-oca1)
(push-unitarypipe s34 b18 a3 a4 b0 lco rat-a ta3-1-lco ta4-1-rat-a)
(pop-end s13 a1 a3 b6 b19 oca1 ta1-1-oca1)
(pop-unitarypipe s34 b0 a3 a4 b18 rat-a lco ta3-3-lco ta4-1-rat-a)
(pop-start s23 b14 a2 a3 b1 gasoleo oca1 ta3-1-gasoleo)
(pop-end s23 a2 a3 b2 b21 lco ta2-3-lco)
(push-start s12 b4 a1 a2 b3 gasoleo oca1 ta1-2-gasoleo)
(push-end s12 a1 a2 b9 b3 lco ta2-2-lco)
(pop-start s23 b18 a2 a3 b14 lco gasoleo ta3-3-lco)
(pop-end s23 a2 a3 b21 b1 gasoleo ta2-2-gasoleo)
(push-start s23 b9 a2 a3 b1 lco oca1 ta2-1-lco)
(push-start s13 b6 a1 a3 b19 lco oc1b ta1-1-lco)
(push-end s13 a1 a3 b13 b19 oca1 ta3-1-oca1)
(push-end s23 a2 a3 b18 b14 lco ta3-1-lco)
(push-start s12 b8 a1 a2 b4 lco gasoleo ta1-3-lco)
(pop-start s13 b13 a1 a3 b19 oca1 oc1b ta3-1-oca1)
(push-end s12 a1 a2 b3 b4 oca1 ta2-3-oca1)
(push-unitarypipe s34 b18 a3 a4 b0 lco rat-a ta3-1-lco ta4-1-rat-a)
(push-start s23 b3 a2 a3 b9 oca1 lco ta2-3-oca1)
(pop-end s13 a1 a3 b6 b19 lco ta1-1-lco)
(push-end s23 a2 a3 b14 b1 gasoleo ta3-1-gasoleo)
(pop-start s12 b21 a1 a2 b4 lco gasoleo ta2-3-lco)
(pop-unitarypipe s34 b0 a3 a4 b18 rat-a lco ta3-3-lco ta4-1-rat-a)
(push-start s13 b6 a1 a3 b19 lco oc1b ta1-1-lco)
(push-end s13 a1 a3 b13 b19 oca1 ta3-1-oca1)
(pop-end s12 a1 a2 b8 b4 lco ta1-3-lco)
(push-start s12 b8 a1 a2 b4 lco gasoleo ta1-3-lco)
(pop-start s23 b14 a2 a3 b1 gasoleo oca1 ta3-1-gasoleo)
(push-unitarypipe s34 b18 a3 a4 b0 lco rat-a ta3-3-lco ta4-1-rat-a)
(pop-end s23 a2 a3 b3 b9 oca1 ta2-3-oca1)
(push-end s12 a1 a2 b21 b4 lco ta2-1-lco)
(push-start s13 b20 a1 a3 b6 gasoleo lco ta1-1-gasoleo)
(pop-start s12 b3 a1 a2 b4 oca1 gasoleo ta2-3-oca1)
(push-unitarypipe s34 b13 a3 a4 b18 oca1 lco ta3-1-oca1 ta4-1-lco)
(push-end s13 a1 a3 b19 b6 oc1b ta3-1-oc1b)
(pop-end s12 a1 a2 b8 b4 lco ta1-3-lco)
(pop-start s23 b19 a2 a3 b14 oc1b gasoleo ta3-1-oc1b)
(pop-start s12 b21 a1 a2 b3 lco oca1 ta2-2-lco)
(push-start s13 b12 a1 a3 b20 oca1 gasoleo ta1-3-oca1)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-3-oca1 ta4-1-lco)
(pop-end s12 a1 a2 b4 b3 lco ta1-1-lco)
(pop-end s23 a2 a3 b9 b1 oca1 ta2-3-oca1)
(pop-start s12 b15 a1 a2 b21 oca1 lco ta2-3-oca1)
(push-end s13 a1 a3 b6 b20 lco ta3-1-lco)
(push-unitarypipe s34 b13 a3 a4 b18 oca1 lco ta3-3-oca1 ta4-1-lco)
(pop-end s12 a1 a2 b3 b21 oc1b ta1-1-oc1b)
(push-start s13 b8 a1 a3 b12 lco oca1 ta1-3-lco)
(pop-start s23 b6 a2 a3 b19 lco oc1b ta3-1-lco)
(push-end s13 a1 a3 b20 b12 gasoleo ta3-1-gasoleo)
(pop-end s23 a2 a3 b1 b14 lco ta2-3-lco)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-3-oca1 ta4-1-lco)
(pop-start s13 b20 a1 a3 b12 gasoleo oca1 ta3-1-gasoleo)
(push-start s12 b11 a1 a2 b21 oc1b lco ta1-1-oc1b)
(pop-start s23 b13 a2 a3 b6 oca1 lco ta3-3-oca1)
(pop-end s13 a1 a3 b8 b12 lco ta1-3-lco)
(push-end s12 a1 a2 b15 b21 oca1 ta2-3-oca1)
(push-start s12 b3 a1 a2 b11 oca1 oc1b ta1-1-oca1)
(pop-unitarypipe s34 b10 a3 a4 b18 oc1b lco ta3-3-lco ta4-3-oc1b)
(pop-end s23 a2 a3 b14 b19 lco ta2-2-lco)
(push-start s13 b8 a1 a3 b12 lco oca1 ta1-3-lco)
(pop-unitarypipe s34 b17 a3 a4 b10 oca1 oc1b ta3-1-oc1b ta4-1-oca1)
(push-end s13 a1 a3 b20 b12 gasoleo ta3-1-gasoleo)
(push-start s23 b9 a2 a3 b19 lco oc1b ta2-1-lco)
(push-unitarypipe s34 b18 a3 a4 b17 lco oca1 ta3-3-lco ta4-2-oca1)
(push-end s12 a1 a2 b21 b11 lco ta2-1-lco)
(push-end s23 a2 a3 b13 b6 oca1 ta3-1-oca1)
(pop-start s13 b10 a1 a3 b12 oc1b oca1 ta3-1-oc1b)
(pop-end s13 a1 a3 b8 b12 oc1b ta1-1-oc1b)
(push-start s12 b16 a1 a2 b3 oc1b oca1 ta1-1-oc1b)
(push-end s12 a1 a2 b11 b3 oc1b ta2-1-oc1b)
(push-unitarypipe s34 b13 a3 a4 b18 oca1 lco ta3-1-oca1 ta4-1-lco)
(push-start s12 b8 a1 a2 b16 lco oc1b ta1-1-lco)
(push-start s23 b14 a2 a3 b9 gasoleo lco ta2-2-gasoleo)
(push-end s23 a2 a3 b6 b19 lco ta3-1-lco)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-3-oca1 ta4-1-lco)
(pop-start s23 b6 a2 a3 b19 lco oc1b ta3-1-lco)
(pop-end s23 a2 a3 b14 b9 gasoleo ta2-2-gasoleo)
(push-end s12 a1 a2 b3 b16 oca1 ta2-1-oca1)
(push-unitarypipe s34 b13 a3 a4 b18 oca1 lco ta3-3-oca1 ta4-1-lco)
(push-start s23 b3 a2 a3 b9 oca1 lco ta2-3-oca1)
(pop-start s12 b14 a1 a2 b16 gasoleo oc1b ta2-2-gasoleo)
(pop-start s13 b20 a1 a3 b10 gasoleo oc1b ta3-1-gasoleo)
(pop-end s12 a1 a2 b8 b16 oc1b ta1-1-oc1b)
(push-end s23 a2 a3 b6 b19 lco ta3-1-lco)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-3-oca1 ta4-1-lco)
(push-start s12 b8 a1 a2 b16 lco oc1b ta1-2-lco)
(pop-end s13 a1 a3 b12 b10 oc1b ta1-2-oc1b)
(pop-start s23 b6 a2 a3 b19 lco oc1b ta3-1-lco)
(push-end s12 a1 a2 b14 b16 gasoleo ta2-1-gasoleo)
(pop-end s23 a2 a3 b3 b9 gasoleo ta2-2-gasoleo)
(push-start s23 b14 a2 a3 b9 gasoleo lco ta2-1-gasoleo)
(push-unitarypipe s34 b13 a3 a4 b18 oca1 lco ta3-3-oca1 ta4-1-lco)
(push-start s13 b12 a1 a3 b10 oca1 oc1b ta1-2-oca1)
(push-end s23 a2 a3 b6 b19 lco ta3-1-lco)
(push-start s23 b11 a2 a3 b14 oc1b gasoleo ta2-1-oc1b)
(push-end s13 a1 a3 b20 b10 gasoleo ta3-1-gasoleo)
(pop-start s12 b3 a1 a2 b16 oca1 oc1b ta2-1-oca1)
(pop-end s12 a1 a2 b8 b16 oc1b ta1-3-oc1b)
(push-end s23 a2 a3 b19 b9 oc1b ta3-1-oc1b)
(pop-start s13 b6 a1 a3 b10 lco oc1b ta3-1-lco)
(pop-start s12 b21 a1 a2 b3 lco oca1 ta2-3-lco)
(pop-end s12 a1 a2 b16 b3 lco ta1-3-lco)
(pop-end s13 a1 a3 b12 b10 oca1 ta1-3-oca1)
(pop-start s23 b19 a2 a3 b9 oc1b lco ta3-1-oc1b)
(pop-end s23 a2 a3 b11 b14 oca1 ta2-1-oca1)
(pop-start s13 b20 a1 a3 b6 gasoleo lco ta3-1-gasoleo)
(pop-end s13 a1 a3 b10 b6 oca1 ta1-1-oca1)
(push-start s12 b16 a1 a2 b3 oc1b oca1 ta1-1-oc1b)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-1-oca1 ta4-1-lco)
(push-unitarypipe s34 b13 a3 a4 b18 oca1 lco ta3-1-oca1 ta4-1-lco)
(push-end s12 a1 a2 b21 b3 lco ta2-3-lco)
(push-start s13 b12 a1 a3 b6 oca1 lco ta1-1-oca1)
(push-start s23 b1 a2 a3 b14 oca1 gasoleo ta2-1-oca1)
(push-end s13 a1 a3 b20 b6 gasoleo ta3-1-gasoleo)
(push-end s23 a2 a3 b19 b9 oc1b ta3-1-oc1b)
(push-start s12 b8 a1 a2 b16 lco oc1b ta1-3-lco)
(pop-start s23 b20 a2 a3 b9 gasoleo lco ta3-1-gasoleo)
(push-end s12 a1 a2 b3 b16 oca1 ta2-3-oca1)
(pop-end s23 a2 a3 b1 b14 gasoleo ta2-1-gasoleo)
(push-start s23 b3 a2 a3 b14 oca1 gasoleo ta2-3-oca1)
(pop-start s12 b21 a1 a2 b16 lco oc1b ta2-1-lco)
(pop-start s13 b19 a1 a3 b6 oc1b lco ta3-1-oc1b)
(pop-end s13 a1 a3 b12 b6 oc1b ta1-1-oc1b)
(push-end s23 a2 a3 b20 b9 gasoleo ta3-1-gasoleo)
(pop-end s12 a1 a2 b8 b16 oca1 ta1-1-oca1)
(pop-start s23 b20 a2 a3 b9 gasoleo lco ta3-1-gasoleo)
(pop-end s23 a2 a3 b3 b14 oc1b ta2-2-oc1b)
(push-start s13 b5 a1 a3 b6 oc1b lco ta1-1-oc1b)
(pop-unitarypipe s34 b18 a3 a4 b13 lco oca1 ta3-1-oca1 ta4-1-lco)
(push-end s13 a1 a3 b19 b6 oc1b ta3-1-oc1b)
(push-unitarypipe s34 b19 a3 a4 b18 oc1b lco ta3-1-oc1b ta4-1-lco)
(pop-start s23 b13 a2 a3 b20 oca1 gasoleo ta3-1-oca1)
(pop-start s12 b11 a1 a2 b21 oc1b lco ta2-2-oc1b)
(pop-end s23 a2 a3 b14 b9 lco ta2-1-lco)
(pop-end s12 a1 a2 b16 b21 lco ta1-3-lco)
(pop-unitarypipe s34 b18 a3 a4 b19 lco oc1b ta3-1-oc1b ta4-1-lco)
(pop-start s23 b19 a2 a3 b13 oc1b oca1 ta3-1-oc1b)
(pop-end s23 a2 a3 b9 b20 oca1 ta2-1-oca1)
(pop-start s12 b14 a1 a2 b11 gasoleo oc1b ta2-1-gasoleo)
(push-start s23 b3 a2 a3 b20 oca1 gasoleo ta2-1-oca1)
(pop-end s12 a1 a2 b21 b11 oc1b ta1-1-oc1b)
(push-end s23 a2 a3 b19 b13 oc1b ta3-1-oc1b)
(push-unitarypipe s34 b19 a3 a4 b18 oc1b lco ta3-1-oc1b ta4-1-lco)
(push-start s23 b9 a2 a3 b3 lco oca1 ta2-1-lco)
(push-end s23 a2 a3 b13 b20 oca1 ta3-1-oca1)
(pop-unitarypipe s34 b18 a3 a4 b19 lco oc1b ta3-3-oc1b ta4-1-lco)
(push-start s12 b12 a1 a2 b11 oca1 oc1b ta1-1-oca1)
(pop-start s23 b13 a2 a3 b20 oca1 gasoleo ta3-1-oca1)
(push-start s13 b8 a1 a3 b5 lco oc1b ta1-3-lco)
(push-end s12 a1 a2 b14 b11 gasoleo ta2-1-gasoleo)
(pop-end s23 a2 a3 b9 b3 lco ta2-1-lco)
(push-start s23 b14 a2 a3 b3 gasoleo oca1 ta2-2-gasoleo)
(push-unitarypipe s34 b19 a3 a4 b18 oc1b lco ta3-3-oc1b ta4-1-lco)
(push-end s13 a1 a3 b6 b5 lco ta3-1-lco)
(push-end s23 a2 a3 b13 b20 oca1 ta3-3-oca1)
(push-start s23 b9 a2 a3 b14 lco gasoleo ta2-3-lco)
(push-end s23 a2 a3 b20 b3 gasoleo ta3-1-gasoleo)
(pop-unitarypipe s34 b18 a3 a4 b19 lco oc1b ta3-3-oc1b ta4-1-lco)
(pop-start s23 b6 a2 a3 b3 lco oca1 ta3-1-lco)
(push-start s13 b10 a1 a3 b8 oc1b lco ta1-1-oc1b)
(push-unitarypipe s34 b19 a3 a4 b18 oc1b lco ta3-3-oc1b ta4-1-lco)
(push-end s13 a1 a3 b5 b8 oc1b ta3-1-oc1b)
(push-start s12 b16 a1 a2 b12 oc1b oca1 ta1-2-oc1b)
(pop-end s23 a2 a3 b9 b14 oca1 ta2-1-oca1)
(push-end s12 a1 a2 b11 b12 oc1b ta2-1-oc1b)
(pop-start s23 b13 a2 a3 b6 oca1 lco ta3-3-oca1)
(pop-end s23 a2 a3 b14 b3 lco ta2-3-lco)
(pop-unitarypipe s34 b18 a3 a4 b19 lco oc1b ta3-3-oc1b ta4-1-lco)
(pop-start s23 b5 a2 a3 b13 oc1b oca1 ta3-1-oc1b)
(pop-end s23 a2 a3 b3 b6 oc1b ta2-2-oc1b)
(pop-start s13 b20 a1 a3 b8 gasoleo lco ta3-1-gasoleo)
(pop-end s13 a1 a3 b10 b8 lco ta1-3-lco)
(push-start s23 b14 a2 a3 b6 gasoleo lco ta2-1-gasoleo)
(push-unitarypipe s34 b19 a3 a4 b18 oc1b lco ta3-3-oc1b ta4-1-lco)
(push-end s23 a2 a3 b5 b13 oc1b ta3-1-oc1b)
(push-start s13 b10 a1 a3 b8 oc1b lco ta1-3-oc1b)
(push-start s23 b11 a2 a3 b14 oc1b gasoleo ta2-2-oc1b)
(push-end s13 a1 a3 b20 b8 gasoleo ta3-1-gasoleo)
(push-end s23 a2 a3 b13 b6 oca1 ta3-1-oca1)
(pop-unitarypipe s34 b18 a3 a4 b19 lco oc1b ta3-3-oc1b ta4-1-lco)
(push-start s13 b21 a1 a3 b10 lco oc1b ta1-3-lco)
(pop-start s12 b9 a1 a2 b12 lco oca1 ta2-3-lco)
(push-end s13 a1 a3 b8 b10 lco ta3-1-lco)
(push-start s23 b3 a2 a3 b11 oca1 oc1b ta2-1-oca1)
(push-unitarypipe s34 b5 a3 a4 b18 oc1b lco ta3-1-oc1b ta4-1-lco)
(push-end s23 a2 a3 b6 b14 lco ta3-2-lco)
(pop-end s12 a1 a2 b16 b12 gasoleo ta1-1-gasoleo)
(pop-start s13 b8 a1 a3 b10 lco oc1b ta3-1-lco)
(pop-end s13 a1 a3 b21 b10 oc1b ta1-1-oc1b)
(pop-start s13 b13 a1 a3 b8 oca1 lco ta3-1-oca1)
(pop-end s13 a1 a3 b10 b8 lco ta1-3-lco)
(push-start s12 b10 a1 a2 b12 oc1b oca1 ta1-1-oc1b)
(pop-start s23 b6 a2 a3 b14 lco gasoleo ta3-2-lco)
(push-end s12 a1 a2 b9 b12 lco ta2-3-lco)
(push-start s12 b7 a1 a2 b10 gasoleo oc1b ta1-1-gasoleo)
(pop-start s13 b19 a1 a3 b13 oc1b oca1 ta3-3-oc1b)
(pop-end s23 a2 a3 b3 b11 oca1 ta2-3-oca1)
(push-end s12 a1 a2 b12 b10 oca1 ta2-1-oca1)
(pop-start s23 b20 a2 a3 b6 gasoleo lco ta3-1-gasoleo)
(pop-end s13 a1 a3 b8 b13 oc1b ta1-1-oc1b)
(pop-end s23 a2 a3 b11 b14 gasoleo ta2-2-gasoleo)
(push-start s23 b12 a2 a3 b14 oca1 gasoleo ta2-1-oca1)
(push-start s13 b21 a1 a3 b13 lco oca1 ta1-3-lco)
(push-end s13 a1 a3 b19 b13 oc1b ta3-1-oc1b)
(push-end s23 a2 a3 b20 b6 gasoleo ta3-1-gasoleo)
(push-start s23 b11 a2 a3 b12 oc1b oca1 ta2-1-oc1b)
(pop-unitarypipe s34 b18 a3 a4 b5 lco oc1b ta3-3-oc1b ta4-1-lco)
(pop-start s12 b3 a1 a2 b10 oca1 oc1b ta2-3-oca1)
(pop-end s12 a1 a2 b7 b10 oc1b ta1-2-oc1b)
(push-end s23 a2 a3 b6 b14 lco ta3-1-lco)
(pop-start s13 b6 a1 a3 b13 lco oca1 ta3-1-lco)
(push-unitarypipe s34 b5 a3 a4 b18 oc1b lco ta3-1-oc1b ta4-1-lco)
(pop-end s13 a1 a3 b21 b13 oc1b ta1-3-oc1b)
(pop-start s13 b20 a1 a3 b6 gasoleo lco ta3-1-gasoleo)
(push-start s23 b9 a2 a3 b11 lco oc1b ta2-3-lco)
(push-end s23 a2 a3 b14 b12 gasoleo ta3-2-gasoleo)
(pop-end s13 a1 a3 b13 b6 oca1 ta1-1-oca1)
(push-unitarypipe s34 b14 a3 a4 b5 gasoleo oc1b ta3-2-gasoleo ta4-2-oc1b)
(pop-start s23 b19 a2 a3 b12 oc1b oca1 ta3-3-oc1b)
(pop-end s23 a2 a3 b9 b11 oc1b ta2-1-oc1b)
(pop-unitarypipe s34 b17 a3 a4 b14 oca1 gasoleo ta3-2-gasoleo ta4-2-oca1)
(push-start s12 b13 a1 a2 b10 oca1 oc1b ta1-3-oca1)
(pop-unitarypipe s34 b18 a3 a4 b17 lco oca1 ta3-1-oca1 ta4-1-lco)
(push-start s23 b9 a2 a3 b11 lco oc1b ta2-2-lco)
(push-end s23 a2 a3 b19 b12 oc1b ta3-1-oc1b)
(pop-start s23 b19 a2 a3 b12 oc1b oca1 ta3-1-oc1b)
(push-unitarypipe s34 b14 a3 a4 b18 gasoleo lco ta3-2-gasoleo ta4-1-lco)
(push-end s12 a1 a2 b3 b10 oca1 ta2-3-oca1)
(pop-end s23 a2 a3 b9 b11 oc1b ta2-2-oc1b)
(push-start s23 b3 a2 a3 b11 oca1 oc1b ta2-3-oca1)
(push-start s13 b16 a1 a3 b6 oc1b lco ta1-3-oc1b)
(push-unitarypipe s34 b17 a3 a4 b14 oca1 gasoleo ta3-1-oca1 ta4-1-gasoleo)
(push-end s13 a1 a3 b20 b6 gasoleo ta3-1-gasoleo)
(pop-unitarypipe s34 b18 a3 a4 b17 lco oca1 ta3-3-oca1 ta4-1-lco)
(push-end s23 a2 a3 b19 b12 oc1b ta3-1-oc1b)
(push-start s23 b9 a2 a3 b3 lco oca1 ta2-1-lco)
(push-end s23 a2 a3 b12 b11 oca1 ta3-1-oca1)
(push-unitarypipe s34 b19 a3 a4 b18 oc1b lco ta3-1-oc1b ta4-1-lco)
(pop-start s23 b12 a2 a3 b11 oca1 oc1b ta3-1-oca1)
(pop-end s23 a2 a3 b9 b3 rat-a ta2-1-rat-a)
(pop-start s13 b17 a1 a3 b6 oca1 lco ta3-3-oca1)
(pop-end s13 a1 a3 b16 b6 oc1b ta1-3-oc1b)
(pop-unitarypipe s34 b18 a3 a4 b19 lco oc1b ta3-3-oc1b ta4-1-lco)
(push-start s12 b16 a1 a2 b13 oc1b oca1 ta1-3-oc1b)
(pop-start s13 b20 a1 a3 b17 gasoleo oca1 ta3-1-gasoleo)
(pop-end s13 a1 a3 b6 b17 lco ta1-3-lco)
(push-end s12 a1 a2 b10 b13 oc1b ta2-3-oc1b)
(push-start s23 b10 a2 a3 b3 oc1b oca1 ta2-2-oc1b)
(push-end s23 a2 a3 b12 b11 oca1 ta3-1-oca1)
(push-unitarypipe s34 b12 a3 a4 b18 oca1 lco ta3-1-oca1 ta4-1-lco)
(pop-unitarypipe s34 b18 a3 a4 b12 lco oca1 ta3-3-oca1 ta4-1-lco)
(pop-start s13 b12 a1 a3 b20 oca1 gasoleo ta3-3-oca1)
(push-unitarypipe s34 b19 a3 a4 b18 oc1b lco ta3-3-oc1b ta4-1-lco)
(pop-end s13 a1 a3 b17 b20 lco ta1-2-lco)
(pop-unitarypipe s34 b18 a3 a4 b19 lco oc1b ta3-3-oc1b ta4-1-lco)
(push-start s12 b6 a1 a2 b16 lco oc1b ta1-2-lco)
(push-end s12 a1 a2 b13 b16 oca1 ta2-1-oca1)
(push-start s23 b1 a2 a3 b10 oca1 oc1b ta2-1-oca1)
(push-end s23 a2 a3 b11 b3 oc1b ta3-1-oc1b)
(push-unitarypipe s34 b11 a3 a4 b18 oc1b lco ta3-1-oc1b ta4-1-lco)
(push-start s12 b17 a1 a2 b6 oca1 lco ta1-1-oca1)
(push-end s12 a1 a2 b16 b6 oc1b ta2-2-oc1b)
(push-start s23 b16 a2 a3 b1 oc1b oca1 ta2-1-oc1b)
(pop-start s12 b2 a1 a2 b6 rat-a lco ta2-1-rat-a)
(pop-end s12 a1 a2 b17 b6 oc1b ta1-3-oc1b)
(push-end s23 a2 a3 b3 b10 oca1 ta3-1-oca1)
(pop-start s23 b3 a2 a3 b10 oca1 oc1b ta3-1-oca1)
(pop-end s23 a2 a3 b16 b1 lco ta2-3-lco)
(pop-start s12 b9 a1 a2 b2 lco rat-a ta2-3-lco)
(pop-end s12 a1 a2 b6 b2 lco ta1-2-lco)
(push-start s23 b16 a2 a3 b1 oc1b oca1 ta2-2-oc1b)
(push-end s23 a2 a3 b3 b10 oca1 ta3-1-oca1)
