1SeqExternal DEFINITIONS IMPLICIT TAGS ::= 2 3BEGIN 4 5IMPORTS XSet1, XSeqNT, XSeqImp, XSeqExp FROM External; 6 7 8 9SeqXSet1 ::= SEQUENCE 10{ 11 set XSet1, 12 bool BOOLEAN, 13 int INTEGER 14} 15 16 17SeqXSet2 ::= SEQUENCE 18{ 19 bool BOOLEAN, 20 set XSet1, 21 int INTEGER 22} 23 24 25SeqXSet3 ::= SEQUENCE 26{ 27 bool BOOLEAN, 28 int INTEGER, 29 set XSet1 30} 31 32 33 34NT ::= SEQUENCE { 35 os OCTET STRING, 36 bool BOOLEAN} 37Imp ::= [1] SEQUENCE { 38 os OCTET STRING, 39 bool BOOLEAN} 40Exp ::= [2] EXPLICIT SEQUENCE { 41 os OCTET STRING, 42 bool BOOLEAN} 43 44NTNT ::= NT 45ImpNT ::= [3] NT 46ExpNT ::= [4] EXPLICIT NT 47 48NTImp ::= Imp 49ImpImp ::= [5] Imp 50ExpImp ::= [6] EXPLICIT Imp 51 52NTExp ::= Exp 53ImpExp ::= [7] Exp 54ExpExp ::= [8] EXPLICIT Exp 55 56XNTNT ::= XSeqNT 57XImpNT ::= [3] XSeqNT 58XExpNT ::= [4] EXPLICIT XSeqNT 59 60XNTImp ::= XSeqImp 61XImpImp ::= [5] XSeqImp 62XExpImp ::= [6] EXPLICIT XSeqImp 63 64XNTExp ::= XSeqExp 65XImpExp ::= [7] XSeqExp 66XExpExp ::= [8] EXPLICIT XSeqExp 67 68END 69