R2x12Rx1R3x13Rx1R1x1L3x13Lx1L3x12Lx1L2x10Lx12Rx1Rbx1c1bx13cx1c1x12c1x1c0R1x12c0x1c00x1R1213111L101b1c1FULL./SRS/Zantema06/while1.srs