1SeqOfExternal DEFINITIONS IMPLICIT TAGS ::= 2 3BEGIN 4 5IMPORTS XSeqNT, XSeqImp, XSeqExp FROM External; 6 7 8NT ::= SEQUENCE { 9 os OCTET STRING, 10 bool BOOLEAN} 11Imp ::= [21] SEQUENCE { 12 os OCTET STRING, 13 bool BOOLEAN} 14Exp ::= [22] EXPLICIT SEQUENCE { 15 os OCTET STRING, 16 bool BOOLEAN} 17 18NTNT ::= SEQUENCE OF NT 19ImpNT ::= [3] SEQUENCE OF NT 20ExpNT ::= [4] EXPLICIT SEQUENCE OF NT 21 22NTImp ::= SEQUENCE OF Imp 23ImpImp ::= [5] SEQUENCE OF Imp 24ExpImp ::= [6] EXPLICIT SEQUENCE OF Imp 25 26NTExp ::= SEQUENCE OF Exp 27ImpExp ::= [7] SEQUENCE OF Exp 28ExpExp ::= [8] EXPLICIT SEQUENCE OF Exp 29 30XNTNT ::= SEQUENCE OF XSeqNT 31XImpNT ::= [3] SEQUENCE OF XSeqNT 32XExpNT ::= [4] EXPLICIT SEQUENCE OF XSeqNT 33 34XNTImp ::= SEQUENCE OF XSeqImp 35XImpImp ::= [5] SEQUENCE OF XSeqImp 36XExpImp ::= [6] EXPLICIT SEQUENCE OF XSeqImp 37 38XNTExp ::= SEQUENCE OF XSeqExp 39XImpExp ::= [7] SEQUENCE OF XSeqExp 40XExpExp ::= [8] EXPLICIT SEQUENCE OF XSeqExp 41 42END 43