PUCCH-Format3-Conf-r13 ::= SEQUENCE { n3PUCCH-AN-List-r13 SEQUENCE (SIZE (1..4)) OF INTEGER (0..549) OPTIONAL, -- Need ON twoAntennaPortActivatedPUCCH-Format3-r13 CHOICE { release NULL, setup SEQUENCE { n3PUCCH-AN-ListP1-r13 SEQUENCE (SIZE (1..4)) OF INTEGER (0..549) } } OPTIONAL -- Need ON }