Def DEFINITIONS IMPLICIT TAGS ::= 

BEGIN

Def1 ::=  SEQUENCE 
{
  bool0 [0] BOOLEAN,
  bool1 [1] BOOLEAN DEFAULT false,
  bool2 [2] BOOLEAN DEFAULT false,
  bool3 [3] BOOLEAN DEFAULT false
}


Def2 ::=  SEQUENCE 
{
  bool10 [10] BOOLEAN,
  bool11 [11] BOOLEAN DEFAULT false,
  bool12 [12] BOOLEAN DEFAULT false,
  bool13 [13] BOOLEAN 
}


Def3 ::=  SEQUENCE 
{
  bool30 [30] BOOLEAN DEFAULT false,
  bool31 [31] BOOLEAN DEFAULT false,
  bool32 [32] BOOLEAN DEFAULT false,
  bool33 [33] BOOLEAN DEFAULT false 
}

END