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