RES
1b:x-lara-PEN-x:x
2r:r1
3b:a-lara-PEN-1:4
LIN
1:1o(5+1)2n
2:2n(5+1)3d
REP
REP1:4o(5+1)4d=-1--1
RES
4b:a-lara-PEN-1:4