; total time: 2.64
; plan length: 54
(pop-start s13 b6 a1 a3 b7 lco lco)
(pop-end s13 a1 a3 b12 b7)
(push-start s12 b8 a1 a2 b10 rat-a rat-a)
(push-end s12 a1 a2 b1 b10)
(pop-start s13 b13 a1 a3 b6 rat-a lco)
(pop-end s13 a1 a3 b7 b6)
(pop-start s12 b3 a1 a2 b10 rat-a rat-a)
(pop-end s12 a1 a2 b8 b10)
(pop-start s12 b0 a1 a2 b3 rat-a rat-a)
(pop-end s12 a1 a2 b10 b3)
(push-start s12 b8 a1 a2 b3 rat-a rat-a)
(push-start s13 b10 a1 a3 b6 rat-a lco)
(push-end s12 a1 a2 b0 b3)
(push-end s13 a1 a3 b13 b6)
(pop-start s12 b0 a1 a2 b3 rat-a rat-a)
(pop-end s12 a1 a2 b8 b3)
(push-start s13 b8 a1 a3 b10 rat-a rat-a)
(pop-start s12 b5 a1 a2 b0 rat-a rat-a)
(pop-end s12 a1 a2 b3 b0)
(push-end s13 a1 a3 b6 b10)
(push-start s13 b3 a1 a3 b8 rat-a rat-a)
(push-end s13 a1 a3 b10 b8)
(pop-start s13 b13 a1 a3 b8 rat-a rat-a)
(pop-end s13 a1 a3 b3 b8)
(push-start s12 b3 a1 a2 b0 rat-a rat-a)
(pop-start s13 b10 a1 a3 b13 rat-a rat-a)
(pop-end s13 a1 a3 b8 b13)
(push-end s12 a1 a2 b5 b0)
(push-start s12 b8 a1 a2 b3 rat-a rat-a)
(push-end s12 a1 a2 b0 b3)
(pop-start s13 b6 a1 a3 b10 lco rat-a)
(pop-end s13 a1 a3 b13 b10)
(pop-start s13 b4 a1 a3 b6 oca1 lco)
(pop-end s13 a1 a3 b10 b6)
(push-start s12 b10 a1 a2 b8 rat-a rat-a)
(push-start s13 b9 a1 a3 b6 oc1b lco)
(push-end s12 a1 a2 b3 b8)
(push-start s12 b13 a1 a2 b10 rat-a rat-a)
(push-end s12 a1 a2 b8 b10)
(pop-start s12 b3 a1 a2 b10 rat-a rat-a)
(pop-end s12 a1 a2 b13 b10)
(push-end s13 a1 a3 b4 b6)
(pop-start s12 b0 a1 a2 b3 rat-a rat-a)
(pop-start s13 b4 a1 a3 b6 oca1 lco)
(pop-end s13 a1 a3 b9 b6)
(pop-end s12 a1 a2 b10 b3)
(pop-start s12 b5 a1 a2 b0 rat-a rat-a)
(pop-end s12 a1 a2 b3 b0)
(push-start s13 b3 a1 a3 b6 rat-a lco)
(push-end s13 a1 a3 b4 b6)
(push-start s13 b10 a1 a3 b3 rat-a rat-a)
(push-end s13 a1 a3 b6 b3)
(push-start s13 b13 a1 a3 b10 rat-a rat-a)
(push-end s13 a1 a3 b3 b10)
