P2P message format

This page details the structure and layout of messages used by the Tezos P2P layer.

The elementary types used for message or header fields are documented in the Data_encoding module, for example:

• unsigned 8-bit integer

• unsigned 16-bit integer

• signed 32-bit integer

• signed 64-bit integer

Additionally, the type unsigned 30-bit integer is used to denote the subset of positive integers of type signed 31-bit integers.

Note

31-bit integers: The internal representation of integers in OCaml reserves one bit for GC tagging. The remaining bits encode a signed integer. For compatibility with 32-bit machines, we restrict these native integers to the 31-bit range.

Block header (shell)

Name	Size	Contents
level	4 bytes	signed 32-bit integer
proto	1 byte	unsigned 8-bit integer
predecessor	32 bytes	bytes
timestamp	8 bytes	signed 64-bit integer
validation_pass	1 byte	unsigned 8-bit integer
operations_hash	32 bytes	bytes
# bytes in field “fitness”	4 bytes	unsigned 30-bit integer
fitness	Variable	sequence of $fitness.elem
context	32 bytes	bytes
protocol_data	Variable	bytes

fitness.elem

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	bytes

Operation (shell)

Name	Size	Contents
branch	32 bytes	bytes
data	Variable	bytes

Block_header (alpha-specific)

Name	Size	Contents
payload_hash	32 bytes	bytes
payload_round	4 bytes	signed 32-bit integer
proof_of_work_nonce	8 bytes	bytes
? presence of field “seed_nonce_hash”	1 byte	boolean (0 for false, 255 for true)
seed_nonce_hash	32 bytes	bytes
liquidity_baking_toggle_vote	1 byte	signed 8-bit integer
signature	64 bytes	bytes

Operation (alpha-specific)

Name	Size	Contents
contents	Variable	sequence of $alpha.operation.alpha.contents
signature	64 bytes	bytes

public_key_hash (21 bytes, 8-bit tag)

Ed25519 (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Ed25519.Public_key_hash	20 bytes	bytes

Secp256k1 (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Secp256k1.Public_key_hash	20 bytes	bytes

P256 (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
P256.Public_key_hash	20 bytes	bytes

N.t

A variable-length sequence of bytes encoding a Zarith natural number. Each byte has a running unary size bit: the most significant bit of each byte indicates whether this is the last byte in the sequence (0) or whether the sequence continues (1). Size bits ignored, the data is the binary representation of the number in little-endian order.

Name	Size	Contents
N.t	Determined from data	bytes

X_2

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	bytes

X_3

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
new_state	Variable	sequence of bytes
fee	32 bytes	bytes
exit_validity	1 byte	boolean (0 for false, 255 for true)

X_1

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_3

X_6

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
new_state	Variable	sequence of bytes
fee	32 bytes	bytes

X_4

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_6

X_7

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of bytes

X_9

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	48 bytes	bytes

X_22

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	32 bytes	bytes

X_21

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_22

X_19

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_21

X_18

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_19

X_13

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
cm_t_map	Variable	sequence of $X_9
# bytes in next field	4 bytes	unsigned 30-bit integer
pc_proof	Variable	sequence of $X_9
# bytes in next field	4 bytes	unsigned 30-bit integer
pc_answers	Variable	sequence of $X_18

X_8

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
perm_and_plook	Variable	sequence of $X_9
# bytes in next field	4 bytes	unsigned 30-bit integer
wires_cm	Variable	sequence of $X_9
proof	Determined from data	$X_13

X_0

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
pending_pis	Variable	sequence of $X_1
# bytes in next field	4 bytes	unsigned 30-bit integer
private_pis	Variable	sequence of $X_4
fee_pi	Determined from data	$X_7
proof	Determined from data	$X_8

Z.t

A variable-length sequence of bytes encoding a Zarith integer. Each byte has a running unary size bit: the most significant bit of each byte indicates whether this is the last byte in the sequence (0) or whether the sequence continues (1). The second most significant bit of the first byte is reserved for the sign (0 for positive, 1 for negative). Size and sign bits ignored, the data is the binary representation of the absolute value of the number in little-endian order.

Name	Size	Contents
Z.t	Determined from data	bytes

X_26

Name	Size	Contents
id	32 bytes	bytes
amount	Determined from data	$Z.t

X_25

Name	Size	Contents
op_code	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823
price	Determined from data	$X_26
l1_dst	21 bytes	$public_key_hash
rollup_id	20 bytes	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
payload	Variable	sequence of bytes

alpha.michelson.v1.primitives (Enumeration: unsigned 8-bit integer):

Case number	Encoded string
0	parameter
1	storage
2	code
3	False
4	Elt
5	Left
6	None
7	Pair
8	Right
9	Some
10	True
11	Unit
12	PACK
13	UNPACK
14	BLAKE2B
15	SHA256
16	SHA512
17	ABS
18	ADD
19	AMOUNT
20	AND
21	BALANCE
22	CAR
23	CDR
24	CHECK_SIGNATURE
25	COMPARE
26	CONCAT
27	CONS
28	CREATE_ACCOUNT
29	CREATE_CONTRACT
30	IMPLICIT_ACCOUNT
31	DIP
32	DROP
33	DUP
34	EDIV
35	EMPTY_MAP
36	EMPTY_SET
37	EQ
38	EXEC
39	FAILWITH
40	GE
41	GET
42	GT
43	HASH_KEY
44	IF
45	IF_CONS
46	IF_LEFT
47	IF_NONE
48	INT
49	LAMBDA
50	LE
51	LEFT
52	LOOP
53	LSL
54	LSR
55	LT
56	MAP
57	MEM
58	MUL
59	NEG
60	NEQ
61	NIL
62	NONE
63	NOT
64	NOW
65	OR
66	PAIR
67	PUSH
68	RIGHT
69	SIZE
70	SOME
71	SOURCE
72	SENDER
73	SELF
74	STEPS_TO_QUOTA
75	SUB
76	SWAP
77	TRANSFER_TOKENS
78	SET_DELEGATE
79	UNIT
80	UPDATE
81	XOR
82	ITER
83	LOOP_LEFT
84	ADDRESS
85	CONTRACT
86	ISNAT
87	CAST
88	RENAME
89	bool
90	contract
91	int
92	key
93	key_hash
94	lambda
95	list
96	map
97	big_map
98	nat
99	option
100	or
101	pair
102	set
103	signature
104	string
105	bytes
106	mutez
107	timestamp
108	unit
109	operation
110	address
111	SLICE
112	DIG
113	DUG
114	EMPTY_BIG_MAP
115	APPLY
116	chain_id
117	CHAIN_ID
118	LEVEL
119	SELF_ADDRESS
120	never
121	NEVER
122	UNPAIR
123	VOTING_POWER
124	TOTAL_VOTING_POWER
125	KECCAK
126	SHA3
127	PAIRING_CHECK
128	bls12_381_g1
129	bls12_381_g2
130	bls12_381_fr
131	sapling_state
132	sapling_transaction_deprecated
133	SAPLING_EMPTY_STATE
134	SAPLING_VERIFY_UPDATE
135	ticket
136	TICKET_DEPRECATED
137	READ_TICKET
138	SPLIT_TICKET
139	JOIN_TICKETS
140	GET_AND_UPDATE
141	chest
142	chest_key
143	OPEN_CHEST
144	VIEW
145	view
146	constant
147	SUB_MUTEZ
148	tx_rollup_l2_address
149	MIN_BLOCK_TIME
150	sapling_transaction
151	EMIT
152	Lambda_rec
153	LAMBDA_REC
154	TICKET

micheline.alpha.michelson_v1.expression (Determined from data, 8-bit tag)

Int (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
int	Determined from data	$Z.t

String (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
string	Variable	bytes

Sequence (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $micheline.alpha.michelson_v1.expression

Prim__no_args__no_annots (tag 3)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
prim	1 byte	unsigned 8-bit integer encoding an enumeration (see alpha.michelson.v1.primitives)

Prim__no_args__some_annots (tag 4)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
prim	1 byte	unsigned 8-bit integer encoding an enumeration (see alpha.michelson.v1.primitives)
# bytes in next field	4 bytes	unsigned 30-bit integer
annots	Variable	bytes

Prim__1_arg__no_annots (tag 5)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
prim	1 byte	unsigned 8-bit integer encoding an enumeration (see alpha.michelson.v1.primitives)
arg	Determined from data	$micheline.alpha.michelson_v1.expression

Prim__1_arg__some_annots (tag 6)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
prim	1 byte	unsigned 8-bit integer encoding an enumeration (see alpha.michelson.v1.primitives)
arg	Determined from data	$micheline.alpha.michelson_v1.expression
# bytes in next field	4 bytes	unsigned 30-bit integer
annots	Variable	bytes

Prim__2_args__no_annots (tag 7)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
prim	1 byte	unsigned 8-bit integer encoding an enumeration (see alpha.michelson.v1.primitives)
arg1	Determined from data	$micheline.alpha.michelson_v1.expression
arg2	Determined from data	$micheline.alpha.michelson_v1.expression

Prim__2_args__some_annots (tag 8)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
prim	1 byte	unsigned 8-bit integer encoding an enumeration (see alpha.michelson.v1.primitives)
arg1	Determined from data	$micheline.alpha.michelson_v1.expression
arg2	Determined from data	$micheline.alpha.michelson_v1.expression
# bytes in next field	4 bytes	unsigned 30-bit integer
annots	Variable	bytes

Prim__generic (tag 9)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
prim	1 byte	unsigned 8-bit integer encoding an enumeration (see alpha.michelson.v1.primitives)
# bytes in next field	4 bytes	unsigned 30-bit integer
args	Variable	sequence of $micheline.alpha.michelson_v1.expression
# bytes in next field	4 bytes	unsigned 30-bit integer
annots	Variable	bytes

Bytes (tag 10)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
bytes	Variable	bytes

alpha.contract_id (22 bytes, 8-bit tag)

Implicit (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Signature.Public_key_hash	21 bytes	$public_key_hash

Originated (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Contract_hash	20 bytes	bytes
padding	1 byte	padding

X_29 (Determined from data, 8-bit tag)

None (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

Some (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
contents	Determined from data	$micheline.alpha.michelson_v1.expression
ty	Determined from data	$micheline.alpha.michelson_v1.expression
ticketer	22 bytes	$alpha.contract_id

X_24

Name	Size	Contents
Unnamed field 0	Determined from data	$X_25
Unnamed field 1	Determined from data	$X_29

X_34

Name	Size	Contents
encoding_1	96 bytes	bytes
encoding_x	96 bytes	bytes

X_33

Name	Size	Contents
pc_public_parameter	192 bytes	$X_34
subgroup_size	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823
# bytes in next field	4 bytes	unsigned 30-bit integer
cm_g_map	Variable	sequence of $X_9

X_40

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_2

X_38

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_40

X_48

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823

X_47

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_48

X_46

Name	Size	Contents
Unnamed field 0	Determined from data	$X_47
Unnamed field 1	32 bytes	bytes

X_45

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_46

X_43

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_45

X_52

Name	Size	Contents
Unnamed field 0	Determined from data	$X_7
Unnamed field 1	32 bytes	bytes
Unnamed field 2	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823

X_54 (Determined from data, 8-bit tag)

public (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
public	Determined from data	$X_52

permutation (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
permutation	32 bytes	bytes

plookup (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

X_50

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_54

X_37

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
v_map	Variable	sequence of $X_38
# bytes in next field	4 bytes	unsigned 30-bit integer
identities	Variable	sequence of $X_43
# bytes in next field	4 bytes	unsigned 30-bit integer
not_committed	Variable	sequence of $X_50

X_32

Name	Size	Contents
n	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823
generator	32 bytes	bytes
pp_public_parameters	Determined from data	$X_33
query	Determined from data	$X_37
# bytes in next field	4 bytes	unsigned 30-bit integer
common_keys	Variable	sequence of $X_2

X_58

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
gates	Variable	sequence of $X_2
nb_wires	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823
alpha	32 bytes	bytes
ultra	1 byte	boolean (0 for false, 255 for true)

X_56

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	Determined from data	$X_58

X_31

Name	Size	Contents
common_pp	Determined from data	$X_32
# bytes in next field	4 bytes	unsigned 30-bit integer
circuits_map	Variable	sequence of $X_56

X_61

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	bytes

X_30

Name	Size	Contents
Unnamed field 0	Determined from data	$X_31
Unnamed field 1	Determined from data	$X_61

X_64 (1 byte, 8-bit tag) ********************

Public (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

Private (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

Fee (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

X_62

Name	Size	Contents
Unnamed field 0	Determined from data	$X_2
Unnamed field 1	1 byte	$X_64

X_65

Name	Size	Contents
level	4 bytes	signed 32-bit integer
index	1 byte	unsigned 8-bit integer
commitment	48 bytes	bytes

X_66

Name	Size	Contents
alice	21 bytes	$public_key_hash
bob	21 bytes	$public_key_hash

X_68

Name	Size	Contents
# bytes in next field	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	bytes

X_73

Name	Size	Contents
Unnamed field 0	Determined from data	$X_68
Unnamed field 1	Determined from data	$tree_encoding

X_200

Name	Size	Contents
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	$inode_tree

X_199

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_200

inode_tree (Determined from data, 8-bit tag)

case 0 (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer

case 1 (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer

case 2 (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer

case 3 (tag 3)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer

case 4 (tag 4)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 5 (tag 5)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 6 (tag 6)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 7 (tag 7)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 8 (tag 8)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 9 (tag 9)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 10 (tag 10)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 11 (tag 11)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 12 (tag 12)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 13 (tag 13)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 14 (tag 14)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 15 (tag 15)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 16 (tag 16)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 17 (tag 17)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 18 (tag 18)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 19 (tag 19)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 20 (tag 20)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 21 (tag 21)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 22 (tag 22)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 23 (tag 23)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 24 (tag 24)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 25 (tag 25)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 26 (tag 26)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 27 (tag 27)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 28 (tag 28)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 29 (tag 29)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 30 (tag 30)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 31 (tag 31)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 32 (tag 32)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 33 (tag 33)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 34 (tag 34)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 35 (tag 35)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 36 (tag 36)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 37 (tag 37)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 38 (tag 38)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 39 (tag 39)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 40 (tag 40)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 41 (tag 41)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 42 (tag 42)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 43 (tag 43)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 44 (tag 44)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 45 (tag 45)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 46 (tag 46)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 47 (tag 47)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 48 (tag 48)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 49 (tag 49)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 50 (tag 50)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 51 (tag 51)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 52 (tag 52)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 53 (tag 53)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 54 (tag 54)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 55 (tag 55)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 56 (tag 56)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 57 (tag 57)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 58 (tag 58)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 59 (tag 59)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 60 (tag 60)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	$X_199

case 61 (tag 61)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	$X_199

case 62 (tag 62)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	$X_199

case 63 (tag 63)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	$X_199

case 64 (tag 64)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 65 (tag 65)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 66 (tag 66)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 67 (tag 67)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 128 (tag 128)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

case 129 (tag 129)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 1 $X_73

case 130 (tag 130)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 2 $X_73

case 131 (tag 131)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 3 $X_73

case 132 (tag 132)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 4 $X_73

case 133 (tag 133)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 5 $X_73

case 134 (tag 134)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 6 $X_73

case 135 (tag 135)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 7 $X_73

case 136 (tag 136)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 8 $X_73

case 137 (tag 137)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 9 $X_73

case 138 (tag 138)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 10 $X_73

case 139 (tag 139)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 11 $X_73

case 140 (tag 140)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 12 $X_73

case 141 (tag 141)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 13 $X_73

case 142 (tag 142)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 14 $X_73

case 143 (tag 143)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 15 $X_73

case 144 (tag 144)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 16 $X_73

case 145 (tag 145)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 17 $X_73

case 146 (tag 146)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 18 $X_73

case 147 (tag 147)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 19 $X_73

case 148 (tag 148)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 20 $X_73

case 149 (tag 149)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 21 $X_73

case 150 (tag 150)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 22 $X_73

case 151 (tag 151)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 23 $X_73

case 152 (tag 152)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 24 $X_73

case 153 (tag 153)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 25 $X_73

case 154 (tag 154)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 26 $X_73

case 155 (tag 155)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 27 $X_73

case 156 (tag 156)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 28 $X_73

case 157 (tag 157)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 29 $X_73

case 158 (tag 158)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 30 $X_73

case 159 (tag 159)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 31 $X_73

case 160 (tag 160)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 32 $X_73

case 161 (tag 161)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 33 $X_73

case 162 (tag 162)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 34 $X_73

case 163 (tag 163)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 35 $X_73

case 164 (tag 164)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 36 $X_73

case 165 (tag 165)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 37 $X_73

case 166 (tag 166)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 38 $X_73

case 167 (tag 167)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 39 $X_73

case 168 (tag 168)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 40 $X_73

case 169 (tag 169)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 41 $X_73

case 170 (tag 170)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 42 $X_73

case 171 (tag 171)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 43 $X_73

case 172 (tag 172)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 44 $X_73

case 173 (tag 173)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 45 $X_73

case 174 (tag 174)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 46 $X_73

case 175 (tag 175)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 47 $X_73

case 176 (tag 176)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 48 $X_73

case 177 (tag 177)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 49 $X_73

case 178 (tag 178)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 50 $X_73

case 179 (tag 179)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 51 $X_73

case 180 (tag 180)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 52 $X_73

case 181 (tag 181)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 53 $X_73

case 182 (tag 182)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 54 $X_73

case 183 (tag 183)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 55 $X_73

case 184 (tag 184)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 56 $X_73

case 185 (tag 185)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 57 $X_73

case 186 (tag 186)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 58 $X_73

case 187 (tag 187)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 59 $X_73

case 188 (tag 188)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 60 $X_73

case 189 (tag 189)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 61 $X_73

case 190 (tag 190)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 62 $X_73

case 191 (tag 191)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_73

case 192 (tag 192)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Context_hash	32 bytes	bytes

case 208 (tag 208)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 209 (tag 209)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 210 (tag 210)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 211 (tag 211)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 224 (tag 224)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

tree_encoding (Determined from data, 8-bit tag)

case 0 (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer

case 1 (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer

case 2 (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer

case 3 (tag 3)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer

case 4 (tag 4)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 5 (tag 5)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 6 (tag 6)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 7 (tag 7)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 1 $X_200

case 8 (tag 8)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 9 (tag 9)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 10 (tag 10)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 11 (tag 11)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 2 $X_200

case 12 (tag 12)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 13 (tag 13)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 14 (tag 14)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 15 (tag 15)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 3 $X_200

case 16 (tag 16)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 17 (tag 17)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 18 (tag 18)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 19 (tag 19)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 4 $X_200

case 20 (tag 20)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 21 (tag 21)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 22 (tag 22)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 23 (tag 23)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 5 $X_200

case 24 (tag 24)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 25 (tag 25)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 26 (tag 26)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 27 (tag 27)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 6 $X_200

case 28 (tag 28)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 29 (tag 29)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 30 (tag 30)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 31 (tag 31)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 7 $X_200

case 32 (tag 32)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 33 (tag 33)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 34 (tag 34)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 35 (tag 35)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 8 $X_200

case 36 (tag 36)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 37 (tag 37)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 38 (tag 38)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 39 (tag 39)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 9 $X_200

case 40 (tag 40)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 41 (tag 41)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 42 (tag 42)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 43 (tag 43)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 10 $X_200

case 44 (tag 44)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 45 (tag 45)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 46 (tag 46)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 47 (tag 47)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 11 $X_200

case 48 (tag 48)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 49 (tag 49)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 50 (tag 50)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 51 (tag 51)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 12 $X_200

case 52 (tag 52)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 53 (tag 53)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 54 (tag 54)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 55 (tag 55)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 13 $X_200

case 56 (tag 56)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 57 (tag 57)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 58 (tag 58)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 59 (tag 59)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 14 $X_200

case 60 (tag 60)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	$X_199

case 61 (tag 61)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	$X_199

case 62 (tag 62)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	$X_199

case 63 (tag 63)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	$X_199

case 64 (tag 64)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 65 (tag 65)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 66 (tag 66)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 67 (tag 67)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	sequence of exactly 32 $inode_tree

case 128 (tag 128)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

case 129 (tag 129)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 1 $X_73

case 130 (tag 130)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 2 $X_73

case 131 (tag 131)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 3 $X_73

case 132 (tag 132)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 4 $X_73

case 133 (tag 133)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 5 $X_73

case 134 (tag 134)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 6 $X_73

case 135 (tag 135)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 7 $X_73

case 136 (tag 136)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 8 $X_73

case 137 (tag 137)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 9 $X_73

case 138 (tag 138)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 10 $X_73

case 139 (tag 139)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 11 $X_73

case 140 (tag 140)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 12 $X_73

case 141 (tag 141)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 13 $X_73

case 142 (tag 142)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 14 $X_73

case 143 (tag 143)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 15 $X_73

case 144 (tag 144)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 16 $X_73

case 145 (tag 145)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 17 $X_73

case 146 (tag 146)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 18 $X_73

case 147 (tag 147)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 19 $X_73

case 148 (tag 148)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 20 $X_73

case 149 (tag 149)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 21 $X_73

case 150 (tag 150)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 22 $X_73

case 151 (tag 151)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 23 $X_73

case 152 (tag 152)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 24 $X_73

case 153 (tag 153)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 25 $X_73

case 154 (tag 154)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 26 $X_73

case 155 (tag 155)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 27 $X_73

case 156 (tag 156)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 28 $X_73

case 157 (tag 157)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 29 $X_73

case 158 (tag 158)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 30 $X_73

case 159 (tag 159)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 31 $X_73

case 160 (tag 160)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 32 $X_73

case 161 (tag 161)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 33 $X_73

case 162 (tag 162)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 34 $X_73

case 163 (tag 163)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 35 $X_73

case 164 (tag 164)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 36 $X_73

case 165 (tag 165)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 37 $X_73

case 166 (tag 166)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 38 $X_73

case 167 (tag 167)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 39 $X_73

case 168 (tag 168)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 40 $X_73

case 169 (tag 169)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 41 $X_73

case 170 (tag 170)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 42 $X_73

case 171 (tag 171)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 43 $X_73

case 172 (tag 172)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 44 $X_73

case 173 (tag 173)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 45 $X_73

case 174 (tag 174)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 46 $X_73

case 175 (tag 175)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 47 $X_73

case 176 (tag 176)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 48 $X_73

case 177 (tag 177)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 49 $X_73

case 178 (tag 178)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 50 $X_73

case 179 (tag 179)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 51 $X_73

case 180 (tag 180)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 52 $X_73

case 181 (tag 181)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 53 $X_73

case 182 (tag 182)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 54 $X_73

case 183 (tag 183)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 55 $X_73

case 184 (tag 184)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 56 $X_73

case 185 (tag 185)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 57 $X_73

case 186 (tag 186)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 58 $X_73

case 187 (tag 187)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 59 $X_73

case 188 (tag 188)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 60 $X_73

case 189 (tag 189)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 61 $X_73

case 190 (tag 190)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	sequence of exactly 62 $X_73

case 191 (tag 191)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_73

case 192 (tag 192)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	bytes

case 193 (tag 193)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	2 bytes	unsigned 16-bit integer
Unnamed field 0	Variable	bytes

case 195 (tag 195)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	bytes

case 200 (tag 200)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Context_hash	32 bytes	bytes

case 208 (tag 208)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Context_hash	32 bytes	bytes

case 216 (tag 216)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 217 (tag 217)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 218 (tag 218)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 219 (tag 219)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer
Unnamed field 1	Determined from data	$X_68
Unnamed field 2	Determined from data	$inode_tree

case 224 (tag 224)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

X_53888 (Determined from data, 8-bit tag)

case 0 (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	signed 16-bit integer
Unnamed field 1	32 bytes	bytes
Unnamed field 2	32 bytes	bytes
Unnamed field 3	Determined from data	$tree_encoding

case 1 (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	signed 16-bit integer
Unnamed field 1	32 bytes	bytes
Unnamed field 2	32 bytes	bytes
Unnamed field 3	Determined from data	$tree_encoding

case 2 (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	signed 16-bit integer
Unnamed field 1	32 bytes	bytes
Unnamed field 2	32 bytes	bytes
Unnamed field 3	Determined from data	$tree_encoding

case 3 (tag 3)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	signed 16-bit integer
Unnamed field 1	32 bytes	bytes
Unnamed field 2	32 bytes	bytes
Unnamed field 3	Determined from data	$tree_encoding

X_107710 (Determined from data, 8-bit tag)

Arithmetic PVM with proof (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
proof	Determined from data	$X_53888

Wasm 2.0.0 PVM with proof (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
proof	Determined from data	$X_53888

Unencodable (tag 255)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

X_107711

Name	Size	Contents
published_level	4 bytes	signed 32-bit integer
slot_index	1 byte	unsigned 8-bit integer
page_index	2 bytes	signed 16-bit integer

X_107713 (Determined from data, 8-bit tag)

raw data proof (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
raw_data	Determined from data	$X_2

metadata proof (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

dal page proof (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
dal_page_id	7 bytes	$X_107711
# bytes in next field	4 bytes	unsigned 30-bit integer
dal_proof	Variable	bytes

X_107714 (Determined from data, 8-bit tag)

inbox proof (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
level	4 bytes	signed 32-bit integer
message_counter	Determined from data	$N.t
# bytes in next field	4 bytes	unsigned 30-bit integer
serialized_proof	Variable	bytes

reveal proof (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
reveal_proof	Determined from data	$X_107713

first input (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

X_107715

Name	Size	Contents
? presence of field “state”	1 byte	boolean (0 for false, 255 for true)
state	32 bytes	bytes
tick	Determined from data	$N.t

X_107716 (Determined from data, 8-bit tag)

Dissection (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
Unnamed field 0	Variable	sequence of $X_107715

Proof (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
pvm_step	Determined from data	$X_107710
? presence of field “input_proof”	1 byte	boolean (0 for false, 255 for true)
input_proof	Determined from data	$X_107714

X_67

Name	Size	Contents
choice	Determined from data	$N.t
step	Determined from data	$X_107716

X_107717

Name	Size	Contents
compressed_state	32 bytes	bytes
inbox_level	4 bytes	signed 32-bit integer
predecessor	32 bytes	bytes
number_of_ticks	8 bytes	signed 64-bit integer

X_107719 (Enumeration: unsigned 8-bit integer):

Case number	Encoded string
0	arith_pvm_kind
1	wasm_2_0_0_pvm_kind

X_107721 (Determined from data, 8-bit tag)

case 0 (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	1 byte	unsigned 8-bit integer

case 1 (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	2 bytes	unsigned 16-bit integer

case 2 (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	4 bytes	signed 32-bit integer

case 3 (tag 3)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Unnamed field 0	8 bytes	signed 64-bit integer

X_107720

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
contents	Variable	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
ty	Variable	bytes
ticketer	22 bytes	$alpha.contract_id
amount	Determined from data	$X_107721
claimer	21 bytes	$public_key_hash

X_107722

Name	Size	Contents
sender	21 bytes	$public_key_hash
destination	20 bytes	bytes
ticket_hash	32 bytes	bytes
amount	Determined from data	$X_107721

X_107724 (Determined from data, 8-bit tag)

Batch (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
batch	Variable	bytes

Deposit (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
deposit	Determined from data	$X_107722

X_107725

Name	Size	Contents
context_hash	32 bytes	bytes
withdraw_list_hash	32 bytes	bytes

X_107727 (Determined from data, 8-bit tag)

None (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

Some (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Commitment_hash	32 bytes	bytes

X_107726

Name	Size	Contents
level	4 bytes	signed 32-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
messages	Variable	sequence of bytes
predecessor	Determined from data	$X_107727
inbox_merkle_root	32 bytes	bytes

public_key (Determined from data, 8-bit tag)

Ed25519 (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Ed25519.Public_key	32 bytes	bytes

Secp256k1 (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Secp256k1.Public_key	33 bytes	bytes

P256 (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
P256.Public_key	33 bytes	bytes

alpha.contract_id.originated (22 bytes, 8-bit tag)

Originated (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
Contract_hash	20 bytes	bytes
padding	1 byte	padding

alpha.scripted.contracts

Name	Size	Contents
# bytes in next field	4 bytes	unsigned 30-bit integer
code	Variable	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
storage	Variable	bytes

alpha.entrypoint (Determined from data, 8-bit tag)

default (tag 0)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

root (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

do (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

set_delegate (tag 3)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

remove_delegate (tag 4)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

deposit (tag 5)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer

named (tag 255)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	1 byte	unsigned 8-bit integer
Unnamed field 0	Variable	bytes

X_107728

Name	Size	Contents
entrypoint	Determined from data	$alpha.entrypoint
# bytes in next field	4 bytes	unsigned 30-bit integer
value	Variable	bytes

X_107729

Name	Size	Contents
Unnamed field 0	100 bytes	bytes
Unnamed field 1	100 bytes	bytes

alpha.inlined.preendorsement.contents (43 bytes, 8-bit tag)

Preendorsement (tag 20)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
slot	2 bytes	unsigned 16-bit integer
level	4 bytes	signed 32-bit integer
round	4 bytes	signed 32-bit integer
block_payload_hash	32 bytes	bytes

alpha.inlined.preendorsement

Name	Size	Contents
branch	32 bytes	bytes
operations	43 bytes	$alpha.inlined.preendorsement.contents
signature	Variable	bytes

alpha.block_header.alpha.full_header

Name	Size	Contents
level	4 bytes	signed 32-bit integer
proto	1 byte	unsigned 8-bit integer
predecessor	32 bytes	bytes
timestamp	8 bytes	signed 64-bit integer
validation_pass	1 byte	unsigned 8-bit integer
operations_hash	32 bytes	bytes
# bytes in field “fitness”	4 bytes	unsigned 30-bit integer
fitness	Variable	sequence of $X_61
context	32 bytes	bytes
payload_hash	32 bytes	bytes
payload_round	4 bytes	signed 32-bit integer
proof_of_work_nonce	8 bytes	bytes
? presence of field “seed_nonce_hash”	1 byte	boolean (0 for false, 255 for true)
seed_nonce_hash	32 bytes	bytes
liquidity_baking_toggle_vote	1 byte	signed 8-bit integer
signature	64 bytes	bytes

alpha.inlined.endorsement_mempool.contents (43 bytes, 8-bit tag)

Endorsement (tag 21)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
slot	2 bytes	unsigned 16-bit integer
level	4 bytes	signed 32-bit integer
round	4 bytes	signed 32-bit integer
block_payload_hash	32 bytes	bytes

alpha.inlined.endorsement

Name	Size	Contents
branch	32 bytes	bytes
operations	43 bytes	$alpha.inlined.endorsement_mempool.contents
signature	Variable	bytes

alpha.operation.alpha.contents (Determined from data, 8-bit tag)

Seed_nonce_revelation (tag 1)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
level	4 bytes	signed 32-bit integer
nonce	32 bytes	bytes

Double_endorsement_evidence (tag 2)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
op1	Variable	$alpha.inlined.endorsement
# bytes in next field	4 bytes	unsigned 30-bit integer
op2	Variable	$alpha.inlined.endorsement

Double_baking_evidence (tag 3)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
bh1	Determined from data	$alpha.block_header.alpha.full_header
# bytes in next field	4 bytes	unsigned 30-bit integer
bh2	Determined from data	$alpha.block_header.alpha.full_header

Activate_account (tag 4)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
pkh	20 bytes	bytes
secret	20 bytes	bytes

Proposals (tag 5)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
period	4 bytes	signed 32-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
proposals	Variable	sequence of at most 20 bytes

Ballot (tag 6)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
period	4 bytes	signed 32-bit integer
proposal	32 bytes	bytes
ballot	1 byte	signed 8-bit integer

Double_preendorsement_evidence (tag 7)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
op1	Variable	$alpha.inlined.preendorsement
# bytes in next field	4 bytes	unsigned 30-bit integer
op2	Variable	$alpha.inlined.preendorsement

Vdf_revelation (tag 8)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
solution	200 bytes	$X_107729

Drain_delegate (tag 9)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
consensus_key	21 bytes	$public_key_hash
delegate	21 bytes	$public_key_hash
destination	21 bytes	$public_key_hash

Failing_noop (tag 17)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
# bytes in next field	4 bytes	unsigned 30-bit integer
arbitrary	Variable	bytes

Preendorsement (tag 20)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
slot	2 bytes	unsigned 16-bit integer
level	4 bytes	signed 32-bit integer
round	4 bytes	signed 32-bit integer
block_payload_hash	32 bytes	bytes

Endorsement (tag 21)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
slot	2 bytes	unsigned 16-bit integer
level	4 bytes	signed 32-bit integer
round	4 bytes	signed 32-bit integer
block_payload_hash	32 bytes	bytes

Dal_attestation (tag 22)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
attestor	21 bytes	$public_key_hash
attestation	Determined from data	$Z.t
level	4 bytes	signed 32-bit integer

Reveal (tag 107)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
public_key	Determined from data	$public_key

Transaction (tag 108)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
amount	Determined from data	$N.t
destination	22 bytes	$alpha.contract_id
? presence of field “parameters”	1 byte	boolean (0 for false, 255 for true)
parameters	Determined from data	$X_107728

Origination (tag 109)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
balance	Determined from data	$N.t
? presence of field “delegate”	1 byte	boolean (0 for false, 255 for true)
delegate	21 bytes	$public_key_hash
script	Determined from data	$alpha.scripted.contracts

Delegation (tag 110)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
? presence of field “delegate”	1 byte	boolean (0 for false, 255 for true)
delegate	21 bytes	$public_key_hash

Register_global_constant (tag 111)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in next field	4 bytes	unsigned 30-bit integer
value	Variable	bytes

Set_deposits_limit (tag 112)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
? presence of field “limit”	1 byte	boolean (0 for false, 255 for true)
limit	Determined from data	$N.t

Increase_paid_storage (tag 113)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
amount	Determined from data	$Z.t
destination	22 bytes	$alpha.contract_id.originated

Update_consensus_key (tag 114)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
pk	Determined from data	$public_key

Tx_rollup_origination (tag 150)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t

Tx_rollup_submit_batch (tag 151)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
rollup	20 bytes	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
content	Variable	bytes
? presence of field “burn_limit”	1 byte	boolean (0 for false, 255 for true)
burn_limit	Determined from data	$N.t

Tx_rollup_commit (tag 152)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
rollup	20 bytes	bytes
commitment	Determined from data	$X_107726

Tx_rollup_return_bond (tag 153)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
rollup	20 bytes	bytes

Tx_rollup_finalize_commitment (tag 154)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
rollup	20 bytes	bytes

Tx_rollup_remove_commitment (tag 155)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
rollup	20 bytes	bytes

Tx_rollup_rejection (tag 156)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
rollup	20 bytes	bytes
level	4 bytes	signed 32-bit integer
message	Determined from data	$X_107724
message_position	Determined from data	$N.t
# bytes in next field	4 bytes	unsigned 30-bit integer
message_path	Variable	sequence of bytes
message_result_hash	32 bytes	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
message_result_path	Variable	sequence of bytes
previous_message_result	64 bytes	$X_107725
# bytes in next field	4 bytes	unsigned 30-bit integer
previous_message_result_path	Variable	sequence of bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
proof	Variable	bytes

Tx_rollup_dispatch_tickets (tag 157)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
tx_rollup	20 bytes	bytes
level	4 bytes	signed 32-bit integer
context_hash	32 bytes	bytes
message_index	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823
# bytes in next field	4 bytes	unsigned 30-bit integer
message_result_path	Variable	sequence of bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
tickets_info	Variable	sequence of $X_107720

Transfer_ticket (tag 158)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in next field	4 bytes	unsigned 30-bit integer
ticket_contents	Variable	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
ticket_ty	Variable	bytes
ticket_ticketer	22 bytes	$alpha.contract_id
ticket_amount	Determined from data	$N.t
destination	22 bytes	$alpha.contract_id
# bytes in next field	4 bytes	unsigned 30-bit integer
entrypoint	Variable	bytes

Sc_rollup_originate (tag 200)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
pvm_kind	1 byte	unsigned 8-bit integer encoding an enumeration (see X_107719)
# bytes in next field	4 bytes	unsigned 30-bit integer
boot_sector	Variable	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
origination_proof	Variable	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
parameters_ty	Variable	bytes

Sc_rollup_add_messages (tag 201)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in next field	4 bytes	unsigned 30-bit integer
message	Variable	sequence of $X_2

Sc_rollup_cement (tag 202)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in field “alpha.rollup_address”	4 bytes	unsigned 30-bit integer
rollup	Variable	bytes
commitment	32 bytes	bytes

Sc_rollup_publish (tag 203)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in field “alpha.rollup_address”	4 bytes	unsigned 30-bit integer
rollup	Variable	bytes
commitment	76 bytes	$X_107717

Sc_rollup_refute (tag 204)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in field “alpha.rollup_address”	4 bytes	unsigned 30-bit integer
rollup	Variable	bytes
opponent	21 bytes	$public_key_hash
? presence of field “refutation”	1 byte	boolean (0 for false, 255 for true)
refutation	Determined from data	$X_67

Sc_rollup_timeout (tag 205)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in field “alpha.rollup_address”	4 bytes	unsigned 30-bit integer
rollup	Variable	bytes
stakers	42 bytes	$X_66

Sc_rollup_execute_outbox_message (tag 206)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
# bytes in field “alpha.rollup_address”	4 bytes	unsigned 30-bit integer
rollup	Variable	bytes
cemented_commitment	32 bytes	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
output_proof	Variable	bytes

Sc_rollup_recover_bond (tag 207)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
rollup	20 bytes	bytes

Dal_publish_slot_header (tag 230)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
slot_header	53 bytes	$X_65

Zk_rollup_origination (tag 250)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
public_parameters	Determined from data	$X_30
# bytes in next field	4 bytes	unsigned 30-bit integer
circuits_info	Variable	sequence of $X_62
# bytes in next field	4 bytes	unsigned 30-bit integer
init_state	Variable	sequence of bytes
nb_ops	4 bytes	signed 31-bit integer in the range -1073741824 to 1073741823

Zk_rollup_publish (tag 251)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
zk_rollup	20 bytes	bytes
# bytes in next field	4 bytes	unsigned 30-bit integer
op	Variable	sequence of $X_24

Zk_rollup_update (tag 252)

Name	Size	Contents
Tag	1 byte	unsigned 8-bit integer
source	21 bytes	$public_key_hash
fee	Determined from data	$N.t
counter	Determined from data	$N.t
gas_limit	Determined from data	$N.t
storage_limit	Determined from data	$N.t
zk_rollup	20 bytes	bytes
update	Determined from data	$X_0