1Generated by generate.py. Do not edit.
2
3
4  SEQUENCE {
5    INTEGER {`1234`}
6  }
7
8-----BEGIN AUTHORITY_KEY_IDENTIFIER-----
9MAQCAhI0
10-----END AUTHORITY_KEY_IDENTIFIER-----