PKIX1 { }
DEFINITIONS IMPLICIT TAGS ::=
BEGIN
id-ce             IMPLICIT TAG    [0] KeyI
      tyCertIs