Generated by generate.py. Do not edit.


  SEQUENCE {
    [0 PRIMITIVE] { `DEADB00F`}
  }
  INTEGER {`1234`}

-----BEGIN AUTHORITY_KEY_IDENTIFIER-----
MAaABN6tsA8CAhI0
-----END AUTHORITY_KEY_IDENTIFIER-----