PDCCH-BlindDetectionCG-UE-MixedExt-r16 ::= SEQUENCE { pdcch-BlindDetectionCG-UE1-r16 INTEGER (0..15), pdcch-BlindDetectionCG-UE2-r16 INTEGER (0..15) }