lib/reticulum/src/conformance/token.zig
daab053ee43316e1809a84551d573ddd1e5bf3d2
1 //! Generated by `lib/reticulum/build/generate` with `rns==1.5.0`.
2 //! The upstream source is Reticulum commit `e32d4df754a7b87b1bf1bb0d08675d12ff505ae6`.
3 //! Hand edits are lost.
4 //!
5 //! The token vectors use Reticulum@1.5.0 RNS/Cryptography/Token.py:53,77,87,
6 //! and each vector is a key and a plaintext with the token the reference sealed
7 //! from them.
8 //! The HKDF vectors use RNS/Cryptography/HKDF.py:35.
9 //! The padding vectors use RNS/Cryptography/PKCS7.py:35,42.
10
11 pub const Vector = struct {
12 name: []const u8,
13 key: []const u8,
14 plaintext: []const u8,
15 iv: []const u8,
16 token: []const u8,
17 corrupted_token: []const u8,
18 corrupted_verify_hmac: bool,
19 };
20
21 pub const HkdfVector = struct {
22 name: []const u8,
23 length: u16,
24 key_material: []const u8,
25 salt: []const u8,
26 context: []const u8,
27 output: []const u8,
28 };
29
30 pub const Pkcs7Vector = struct {
31 name: []const u8,
32 input: []const u8,
33 padded: []const u8,
34 unpadded: []const u8,
35 unpad_verdict: bool,
36 };
37
38 pub const vectors: []const Vector = &.{
39 .{
40 .name = "aes-256-empty",
41 .key = &.{
42 0x04, 0x65, 0xd7, 0xdb, 0xea, 0xda, 0xf9, 0x54, 0x59, 0xd8, 0xf1, 0x1b,
43 0x54, 0xd4, 0x36, 0xb9, 0x5e, 0x81, 0x6f, 0xbe, 0x19, 0x38, 0xe9, 0x89,
44 0xba, 0x09, 0x4d, 0x6f, 0x5c, 0xf5, 0x79, 0x1d, 0xa4, 0x91, 0x78, 0x8e,
45 0xc6, 0xb7, 0x8c, 0xa7, 0xe2, 0xcf, 0xda, 0x5c, 0x16, 0xa9, 0xb4, 0xbb,
46 0x9c, 0xbc, 0x9c, 0xa2, 0x96, 0x64, 0xdc, 0x8f, 0x7e, 0x47, 0x03, 0xe3,
47 0x76, 0x92, 0xe6, 0x74,
48 },
49 .plaintext = &.{},
50 .iv = &.{
51 0xdb, 0xfd, 0xb0, 0xa8, 0xec, 0x1f, 0x49, 0x88, 0x66, 0xee, 0x0e, 0xa0,
52 0x89, 0xa4, 0x3a, 0xc1,
53 },
54 .token = &.{
55 0xdb, 0xfd, 0xb0, 0xa8, 0xec, 0x1f, 0x49, 0x88, 0x66, 0xee, 0x0e, 0xa0,
56 0x89, 0xa4, 0x3a, 0xc1, 0x52, 0x88, 0x3f, 0x20, 0x1d, 0xa0, 0x99, 0x24,
57 0x31, 0xe6, 0x6d, 0x72, 0xbf, 0x19, 0x10, 0x73, 0x45, 0x01, 0x54, 0xaf,
58 0x02, 0x59, 0x81, 0x6f, 0x14, 0xaf, 0xce, 0x18, 0x4d, 0x6c, 0x72, 0x35,
59 0xcf, 0xf3, 0x16, 0x7c, 0x98, 0x71, 0x2b, 0x22, 0xf6, 0x7c, 0xbf, 0xe6,
60 0x58, 0xb0, 0x63, 0xbe,
61 },
62 .corrupted_token = &.{
63 0xdb, 0xfd, 0xb0, 0xa8, 0xec, 0x1f, 0x49, 0x88, 0x66, 0xee, 0x0e, 0xa0,
64 0x89, 0xa4, 0x3a, 0xc1, 0x52, 0x88, 0x3f, 0x20, 0x1d, 0xa0, 0x99, 0x24,
65 0x31, 0xe6, 0x6d, 0x72, 0xbf, 0x19, 0x10, 0x73, 0x45, 0x01, 0x54, 0xaf,
66 0x02, 0x59, 0x81, 0x6f, 0x14, 0xaf, 0xce, 0x18, 0x4d, 0x6c, 0x72, 0x35,
67 0xcf, 0xf3, 0x16, 0x7c, 0x98, 0x71, 0x2b, 0x22, 0xf6, 0x7c, 0xbf, 0xe6,
68 0x58, 0xb0, 0x63, 0x3e,
69 },
70 .corrupted_verify_hmac = false,
71 },
72 .{
73 .name = "aes-128-seventeen",
74 .key = &.{
75 0x58, 0xc3, 0xde, 0x19, 0xc9, 0xf7, 0x35, 0xe9, 0x46, 0x96, 0x06, 0x6e,
76 0xfa, 0xec, 0x87, 0xb7, 0x26, 0xf3, 0x86, 0x8e, 0x7d, 0x0f, 0x0a, 0xa1,
77 0x95, 0x8c, 0x83, 0x59, 0x5b, 0xf7, 0xf6, 0xea,
78 },
79 .plaintext = &.{
80 0x63, 0x88, 0xad, 0xd2, 0xf7, 0x1c, 0x41, 0x66, 0x8b, 0xb0, 0xd5, 0xfa,
81 0x1f, 0x44, 0x69, 0x8e, 0xb3,
82 },
83 .iv = &.{
84 0x97, 0xcb, 0x60, 0x97, 0xd4, 0x97, 0xa3, 0x90, 0x4b, 0x00, 0xe6, 0xc0,
85 0x07, 0xe1, 0x35, 0x16,
86 },
87 .token = &.{
88 0x97, 0xcb, 0x60, 0x97, 0xd4, 0x97, 0xa3, 0x90, 0x4b, 0x00, 0xe6, 0xc0,
89 0x07, 0xe1, 0x35, 0x16, 0x82, 0x62, 0xc6, 0xe8, 0x01, 0xbc, 0xc2, 0xa3,
90 0x87, 0x19, 0xd9, 0xf9, 0xf3, 0x02, 0xfe, 0xc8, 0x5e, 0xcd, 0xc8, 0x93,
91 0xda, 0x40, 0x73, 0x89, 0xc7, 0x15, 0x95, 0x7d, 0xcc, 0xac, 0x8d, 0x65,
92 0xba, 0x50, 0x96, 0xf0, 0x20, 0x5f, 0x43, 0x4f, 0x0f, 0x7e, 0x66, 0xb9,
93 0x42, 0xe3, 0xda, 0xe8, 0x27, 0x01, 0x05, 0x0e, 0x4d, 0x44, 0xf6, 0x5e,
94 0xbf, 0x32, 0xe0, 0x4f, 0x97, 0x25, 0x95, 0x24,
95 },
96 .corrupted_token = &.{
97 0x97, 0xcb, 0x60, 0x97, 0xd4, 0x97, 0xa3, 0x90, 0x4b, 0x00, 0xe6, 0xc0,
98 0x07, 0xe1, 0x35, 0x16, 0x82, 0x62, 0xc6, 0xe8, 0x01, 0xbc, 0xc2, 0xa3,
99 0x87, 0x19, 0xd9, 0xf9, 0xf3, 0x02, 0xfe, 0xc8, 0x5e, 0xcd, 0xc8, 0x93,
100 0xda, 0x40, 0x73, 0x89, 0xc7, 0x15, 0x95, 0x7d, 0xcc, 0xac, 0x8d, 0x65,
101 0xba, 0x50, 0x96, 0xf0, 0x20, 0x5f, 0x43, 0x4f, 0x0f, 0x7e, 0x66, 0xb9,
102 0x42, 0xe3, 0xda, 0xe8, 0x27, 0x01, 0x05, 0x0e, 0x4d, 0x44, 0xf6, 0x5e,
103 0xbf, 0x32, 0xe0, 0x4f, 0x97, 0x25, 0x95, 0xa4,
104 },
105 .corrupted_verify_hmac = false,
106 },
107 };
108
109 pub const hkdf_vectors: []const HkdfVector = &.{
110 .{
111 .name = "one-byte-defaults",
112 .length = 1,
113 .key_material = &.{0x6b},
114 .salt = &.{},
115 .context = &.{},
116 .output = &.{0xe4},
117 },
118 .{
119 .name = "sha256-width",
120 .length = 32,
121 .key_material = &.{
122 0x34, 0x59, 0x7e, 0xa3, 0xc8, 0xed, 0x12, 0x37, 0x5c, 0x81, 0xa6, 0xcb,
123 0xf0, 0x15, 0x3a, 0x5f, 0x84, 0xa9, 0xce, 0xf3, 0x18, 0x3d, 0x62, 0x87,
124 0xac, 0xd1, 0xf6, 0x1b, 0x40, 0x65, 0x8a, 0xaf, 0xd4,
125 },
126 .salt = &.{
127 0x31, 0x56, 0x7b, 0xa0, 0xc5, 0xea, 0x0f, 0x34, 0x59, 0x7e, 0xa3, 0xc8,
128 0xed, 0x12, 0x37, 0x5c,
129 },
130 .context = &.{ 0x74, 0x69, 0x6e, 0x79 },
131 .output = &.{
132 0xc4, 0xd7, 0x07, 0xcf, 0x84, 0xd6, 0xde, 0x36, 0xe7, 0x05, 0xaf, 0x0c,
133 0x3e, 0x09, 0x27, 0x94, 0x72, 0x67, 0x61, 0x45, 0x7c, 0x3a, 0x73, 0x65,
134 0x94, 0x24, 0x11, 0x44, 0xc3, 0xd7, 0xc9, 0xdc,
135 },
136 },
137 .{
138 .name = "two-block-context",
139 .length = 64,
140 .key_material = &.{
141 0x6a, 0x8f, 0xb4, 0xd9, 0xfe, 0x23, 0x48, 0x6d, 0x92, 0xb7, 0xdc, 0x01,
142 0x26, 0x4b, 0x70, 0x95, 0xba, 0xdf, 0x04, 0x29, 0x4e, 0x73, 0x98, 0xbd,
143 0xe2, 0x07, 0x2c, 0x51, 0x76, 0x9b, 0xc0, 0xe5, 0x0a, 0x2f, 0x54, 0x79,
144 0x9e, 0xc3, 0xe8, 0x0d, 0x32, 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35,
145 0x5a, 0x7f, 0xa4, 0xc9, 0xee, 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1,
146 0x16, 0x3b, 0x60, 0x85,
147 },
148 .salt = &.{
149 0x53, 0x78, 0x9d, 0xc2, 0xe7, 0x0c, 0x31, 0x56, 0x7b, 0xa0, 0xc5, 0xea,
150 0x0f, 0x34, 0x59, 0x7e, 0xa3, 0xc8, 0xed, 0x12, 0x37, 0x5c, 0x81, 0xa6,
151 0xcb, 0xf0, 0x15, 0x3a, 0x5f, 0x84, 0xa9, 0xce,
152 },
153 .context = &.{
154 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35, 0x5a, 0x7f, 0xa4, 0xc9, 0xee,
155 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1,
156 },
157 .output = &.{
158 0x9d, 0xcd, 0xbb, 0x0c, 0xf5, 0xf2, 0x12, 0xcb, 0x72, 0xc8, 0xb1, 0x6a,
159 0xa6, 0x45, 0xee, 0x02, 0xcb, 0x39, 0xa9, 0xd8, 0x71, 0x60, 0xb5, 0x90,
160 0xb9, 0xeb, 0x0f, 0x8d, 0x5e, 0x3b, 0x99, 0x49, 0x86, 0xe7, 0xd4, 0x10,
161 0xea, 0xdf, 0x82, 0x5d, 0xc4, 0xd2, 0x3a, 0x2e, 0xe3, 0x18, 0x1b, 0xdf,
162 0xf5, 0x8f, 0x14, 0x23, 0xe4, 0x4d, 0x3f, 0x5c, 0xa7, 0x44, 0xc6, 0xc7,
163 0xf8, 0x13, 0xeb, 0x98,
164 },
165 },
166 };
167
168 pub const pkcs7_vectors: []const Pkcs7Vector = &.{
169 .{
170 .name = "length-0",
171 .input = &.{},
172 .padded = &.{
173 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10,
174 0x10, 0x10, 0x10, 0x10,
175 },
176 .unpadded = &.{},
177 .unpad_verdict = true,
178 },
179 .{
180 .name = "length-1",
181 .input = &.{0x74},
182 .padded = &.{
183 0x74, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f,
184 0x0f, 0x0f, 0x0f, 0x0f,
185 },
186 .unpadded = &.{0x74},
187 .unpad_verdict = true,
188 },
189 .{
190 .name = "length-15",
191 .input = &.{
192 0x82, 0xa7, 0xcc, 0xf1, 0x16, 0x3b, 0x60, 0x85, 0xaa, 0xcf, 0xf4, 0x19,
193 0x3e, 0x63, 0x88,
194 },
195 .padded = &.{
196 0x82, 0xa7, 0xcc, 0xf1, 0x16, 0x3b, 0x60, 0x85, 0xaa, 0xcf, 0xf4, 0x19,
197 0x3e, 0x63, 0x88, 0x01,
198 },
199 .unpadded = &.{
200 0x82, 0xa7, 0xcc, 0xf1, 0x16, 0x3b, 0x60, 0x85, 0xaa, 0xcf, 0xf4, 0x19,
201 0x3e, 0x63, 0x88,
202 },
203 .unpad_verdict = true,
204 },
205 .{
206 .name = "length-16",
207 .input = &.{
208 0x83, 0xa8, 0xcd, 0xf2, 0x17, 0x3c, 0x61, 0x86, 0xab, 0xd0, 0xf5, 0x1a,
209 0x3f, 0x64, 0x89, 0xae,
210 },
211 .padded = &.{
212 0x83, 0xa8, 0xcd, 0xf2, 0x17, 0x3c, 0x61, 0x86, 0xab, 0xd0, 0xf5, 0x1a,
213 0x3f, 0x64, 0x89, 0xae, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10,
214 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10, 0x10,
215 },
216 .unpadded = &.{
217 0x83, 0xa8, 0xcd, 0xf2, 0x17, 0x3c, 0x61, 0x86, 0xab, 0xd0, 0xf5, 0x1a,
218 0x3f, 0x64, 0x89, 0xae,
219 },
220 .unpad_verdict = true,
221 },
222 .{
223 .name = "length-17",
224 .input = &.{
225 0x84, 0xa9, 0xce, 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6, 0x1b,
226 0x40, 0x65, 0x8a, 0xaf, 0xd4,
227 },
228 .padded = &.{
229 0x84, 0xa9, 0xce, 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6, 0x1b,
230 0x40, 0x65, 0x8a, 0xaf, 0xd4, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f,
231 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f, 0x0f,
232 },
233 .unpadded = &.{
234 0x84, 0xa9, 0xce, 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6, 0x1b,
235 0x40, 0x65, 0x8a, 0xaf, 0xd4,
236 },
237 .unpad_verdict = true,
238 },
239 .{
240 .name = "length-500",
241 .input = &.{
242 0x67, 0x8c, 0xb1, 0xd6, 0xfb, 0x20, 0x45, 0x6a, 0x8f, 0xb4, 0xd9, 0xfe,
243 0x23, 0x48, 0x6d, 0x92, 0xb7, 0xdc, 0x01, 0x26, 0x4b, 0x70, 0x95, 0xba,
244 0xdf, 0x04, 0x29, 0x4e, 0x73, 0x98, 0xbd, 0xe2, 0x07, 0x2c, 0x51, 0x76,
245 0x9b, 0xc0, 0xe5, 0x0a, 0x2f, 0x54, 0x79, 0x9e, 0xc3, 0xe8, 0x0d, 0x32,
246 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35, 0x5a, 0x7f, 0xa4, 0xc9, 0xee,
247 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1, 0x16, 0x3b, 0x60, 0x85, 0xaa,
248 0xcf, 0xf4, 0x19, 0x3e, 0x63, 0x88, 0xad, 0xd2, 0xf7, 0x1c, 0x41, 0x66,
249 0x8b, 0xb0, 0xd5, 0xfa, 0x1f, 0x44, 0x69, 0x8e, 0xb3, 0xd8, 0xfd, 0x22,
250 0x47, 0x6c, 0x91, 0xb6, 0xdb, 0x00, 0x25, 0x4a, 0x6f, 0x94, 0xb9, 0xde,
251 0x03, 0x28, 0x4d, 0x72, 0x97, 0xbc, 0xe1, 0x06, 0x2b, 0x50, 0x75, 0x9a,
252 0xbf, 0xe4, 0x09, 0x2e, 0x53, 0x78, 0x9d, 0xc2, 0xe7, 0x0c, 0x31, 0x56,
253 0x7b, 0xa0, 0xc5, 0xea, 0x0f, 0x34, 0x59, 0x7e, 0xa3, 0xc8, 0xed, 0x12,
254 0x37, 0x5c, 0x81, 0xa6, 0xcb, 0xf0, 0x15, 0x3a, 0x5f, 0x84, 0xa9, 0xce,
255 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6, 0x1b, 0x40, 0x65, 0x8a,
256 0xaf, 0xd4, 0xf9, 0x1e, 0x43, 0x68, 0x8d, 0xb2, 0xd7, 0xfc, 0x21, 0x46,
257 0x6b, 0x90, 0xb5, 0xda, 0xff, 0x24, 0x49, 0x6e, 0x93, 0xb8, 0xdd, 0x02,
258 0x27, 0x4c, 0x71, 0x96, 0xbb, 0xe0, 0x05, 0x2a, 0x4f, 0x74, 0x99, 0xbe,
259 0xe3, 0x08, 0x2d, 0x52, 0x77, 0x9c, 0xc1, 0xe6, 0x0b, 0x30, 0x55, 0x7a,
260 0x9f, 0xc4, 0xe9, 0x0e, 0x33, 0x58, 0x7d, 0xa2, 0xc7, 0xec, 0x11, 0x36,
261 0x5b, 0x80, 0xa5, 0xca, 0xef, 0x14, 0x39, 0x5e, 0x83, 0xa8, 0xcd, 0xf2,
262 0x17, 0x3c, 0x61, 0x86, 0xab, 0xd0, 0xf5, 0x1a, 0x3f, 0x64, 0x89, 0xae,
263 0xd3, 0xf8, 0x1d, 0x42, 0x67, 0x8c, 0xb1, 0xd6, 0xfb, 0x20, 0x45, 0x6a,
264 0x8f, 0xb4, 0xd9, 0xfe, 0x23, 0x48, 0x6d, 0x92, 0xb7, 0xdc, 0x01, 0x26,
265 0x4b, 0x70, 0x95, 0xba, 0xdf, 0x04, 0x29, 0x4e, 0x73, 0x98, 0xbd, 0xe2,
266 0x07, 0x2c, 0x51, 0x76, 0x9b, 0xc0, 0xe5, 0x0a, 0x2f, 0x54, 0x79, 0x9e,
267 0xc3, 0xe8, 0x0d, 0x32, 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35, 0x5a,
268 0x7f, 0xa4, 0xc9, 0xee, 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1, 0x16,
269 0x3b, 0x60, 0x85, 0xaa, 0xcf, 0xf4, 0x19, 0x3e, 0x63, 0x88, 0xad, 0xd2,
270 0xf7, 0x1c, 0x41, 0x66, 0x8b, 0xb0, 0xd5, 0xfa, 0x1f, 0x44, 0x69, 0x8e,
271 0xb3, 0xd8, 0xfd, 0x22, 0x47, 0x6c, 0x91, 0xb6, 0xdb, 0x00, 0x25, 0x4a,
272 0x6f, 0x94, 0xb9, 0xde, 0x03, 0x28, 0x4d, 0x72, 0x97, 0xbc, 0xe1, 0x06,
273 0x2b, 0x50, 0x75, 0x9a, 0xbf, 0xe4, 0x09, 0x2e, 0x53, 0x78, 0x9d, 0xc2,
274 0xe7, 0x0c, 0x31, 0x56, 0x7b, 0xa0, 0xc5, 0xea, 0x0f, 0x34, 0x59, 0x7e,
275 0xa3, 0xc8, 0xed, 0x12, 0x37, 0x5c, 0x81, 0xa6, 0xcb, 0xf0, 0x15, 0x3a,
276 0x5f, 0x84, 0xa9, 0xce, 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6,
277 0x1b, 0x40, 0x65, 0x8a, 0xaf, 0xd4, 0xf9, 0x1e, 0x43, 0x68, 0x8d, 0xb2,
278 0xd7, 0xfc, 0x21, 0x46, 0x6b, 0x90, 0xb5, 0xda, 0xff, 0x24, 0x49, 0x6e,
279 0x93, 0xb8, 0xdd, 0x02, 0x27, 0x4c, 0x71, 0x96, 0xbb, 0xe0, 0x05, 0x2a,
280 0x4f, 0x74, 0x99, 0xbe, 0xe3, 0x08, 0x2d, 0x52, 0x77, 0x9c, 0xc1, 0xe6,
281 0x0b, 0x30, 0x55, 0x7a, 0x9f, 0xc4, 0xe9, 0x0e, 0x33, 0x58, 0x7d, 0xa2,
282 0xc7, 0xec, 0x11, 0x36, 0x5b, 0x80, 0xa5, 0xca, 0xef, 0x14, 0x39, 0x5e,
283 0x83, 0xa8, 0xcd, 0xf2, 0x17, 0x3c, 0x61, 0x86,
284 },
285 .padded = &.{
286 0x67, 0x8c, 0xb1, 0xd6, 0xfb, 0x20, 0x45, 0x6a, 0x8f, 0xb4, 0xd9, 0xfe,
287 0x23, 0x48, 0x6d, 0x92, 0xb7, 0xdc, 0x01, 0x26, 0x4b, 0x70, 0x95, 0xba,
288 0xdf, 0x04, 0x29, 0x4e, 0x73, 0x98, 0xbd, 0xe2, 0x07, 0x2c, 0x51, 0x76,
289 0x9b, 0xc0, 0xe5, 0x0a, 0x2f, 0x54, 0x79, 0x9e, 0xc3, 0xe8, 0x0d, 0x32,
290 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35, 0x5a, 0x7f, 0xa4, 0xc9, 0xee,
291 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1, 0x16, 0x3b, 0x60, 0x85, 0xaa,
292 0xcf, 0xf4, 0x19, 0x3e, 0x63, 0x88, 0xad, 0xd2, 0xf7, 0x1c, 0x41, 0x66,
293 0x8b, 0xb0, 0xd5, 0xfa, 0x1f, 0x44, 0x69, 0x8e, 0xb3, 0xd8, 0xfd, 0x22,
294 0x47, 0x6c, 0x91, 0xb6, 0xdb, 0x00, 0x25, 0x4a, 0x6f, 0x94, 0xb9, 0xde,
295 0x03, 0x28, 0x4d, 0x72, 0x97, 0xbc, 0xe1, 0x06, 0x2b, 0x50, 0x75, 0x9a,
296 0xbf, 0xe4, 0x09, 0x2e, 0x53, 0x78, 0x9d, 0xc2, 0xe7, 0x0c, 0x31, 0x56,
297 0x7b, 0xa0, 0xc5, 0xea, 0x0f, 0x34, 0x59, 0x7e, 0xa3, 0xc8, 0xed, 0x12,
298 0x37, 0x5c, 0x81, 0xa6, 0xcb, 0xf0, 0x15, 0x3a, 0x5f, 0x84, 0xa9, 0xce,
299 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6, 0x1b, 0x40, 0x65, 0x8a,
300 0xaf, 0xd4, 0xf9, 0x1e, 0x43, 0x68, 0x8d, 0xb2, 0xd7, 0xfc, 0x21, 0x46,
301 0x6b, 0x90, 0xb5, 0xda, 0xff, 0x24, 0x49, 0x6e, 0x93, 0xb8, 0xdd, 0x02,
302 0x27, 0x4c, 0x71, 0x96, 0xbb, 0xe0, 0x05, 0x2a, 0x4f, 0x74, 0x99, 0xbe,
303 0xe3, 0x08, 0x2d, 0x52, 0x77, 0x9c, 0xc1, 0xe6, 0x0b, 0x30, 0x55, 0x7a,
304 0x9f, 0xc4, 0xe9, 0x0e, 0x33, 0x58, 0x7d, 0xa2, 0xc7, 0xec, 0x11, 0x36,
305 0x5b, 0x80, 0xa5, 0xca, 0xef, 0x14, 0x39, 0x5e, 0x83, 0xa8, 0xcd, 0xf2,
306 0x17, 0x3c, 0x61, 0x86, 0xab, 0xd0, 0xf5, 0x1a, 0x3f, 0x64, 0x89, 0xae,
307 0xd3, 0xf8, 0x1d, 0x42, 0x67, 0x8c, 0xb1, 0xd6, 0xfb, 0x20, 0x45, 0x6a,
308 0x8f, 0xb4, 0xd9, 0xfe, 0x23, 0x48, 0x6d, 0x92, 0xb7, 0xdc, 0x01, 0x26,
309 0x4b, 0x70, 0x95, 0xba, 0xdf, 0x04, 0x29, 0x4e, 0x73, 0x98, 0xbd, 0xe2,
310 0x07, 0x2c, 0x51, 0x76, 0x9b, 0xc0, 0xe5, 0x0a, 0x2f, 0x54, 0x79, 0x9e,
311 0xc3, 0xe8, 0x0d, 0x32, 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35, 0x5a,
312 0x7f, 0xa4, 0xc9, 0xee, 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1, 0x16,
313 0x3b, 0x60, 0x85, 0xaa, 0xcf, 0xf4, 0x19, 0x3e, 0x63, 0x88, 0xad, 0xd2,
314 0xf7, 0x1c, 0x41, 0x66, 0x8b, 0xb0, 0xd5, 0xfa, 0x1f, 0x44, 0x69, 0x8e,
315 0xb3, 0xd8, 0xfd, 0x22, 0x47, 0x6c, 0x91, 0xb6, 0xdb, 0x00, 0x25, 0x4a,
316 0x6f, 0x94, 0xb9, 0xde, 0x03, 0x28, 0x4d, 0x72, 0x97, 0xbc, 0xe1, 0x06,
317 0x2b, 0x50, 0x75, 0x9a, 0xbf, 0xe4, 0x09, 0x2e, 0x53, 0x78, 0x9d, 0xc2,
318 0xe7, 0x0c, 0x31, 0x56, 0x7b, 0xa0, 0xc5, 0xea, 0x0f, 0x34, 0x59, 0x7e,
319 0xa3, 0xc8, 0xed, 0x12, 0x37, 0x5c, 0x81, 0xa6, 0xcb, 0xf0, 0x15, 0x3a,
320 0x5f, 0x84, 0xa9, 0xce, 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6,
321 0x1b, 0x40, 0x65, 0x8a, 0xaf, 0xd4, 0xf9, 0x1e, 0x43, 0x68, 0x8d, 0xb2,
322 0xd7, 0xfc, 0x21, 0x46, 0x6b, 0x90, 0xb5, 0xda, 0xff, 0x24, 0x49, 0x6e,
323 0x93, 0xb8, 0xdd, 0x02, 0x27, 0x4c, 0x71, 0x96, 0xbb, 0xe0, 0x05, 0x2a,
324 0x4f, 0x74, 0x99, 0xbe, 0xe3, 0x08, 0x2d, 0x52, 0x77, 0x9c, 0xc1, 0xe6,
325 0x0b, 0x30, 0x55, 0x7a, 0x9f, 0xc4, 0xe9, 0x0e, 0x33, 0x58, 0x7d, 0xa2,
326 0xc7, 0xec, 0x11, 0x36, 0x5b, 0x80, 0xa5, 0xca, 0xef, 0x14, 0x39, 0x5e,
327 0x83, 0xa8, 0xcd, 0xf2, 0x17, 0x3c, 0x61, 0x86, 0x0c, 0x0c, 0x0c, 0x0c,
328 0x0c, 0x0c, 0x0c, 0x0c, 0x0c, 0x0c, 0x0c, 0x0c,
329 },
330 .unpadded = &.{
331 0x67, 0x8c, 0xb1, 0xd6, 0xfb, 0x20, 0x45, 0x6a, 0x8f, 0xb4, 0xd9, 0xfe,
332 0x23, 0x48, 0x6d, 0x92, 0xb7, 0xdc, 0x01, 0x26, 0x4b, 0x70, 0x95, 0xba,
333 0xdf, 0x04, 0x29, 0x4e, 0x73, 0x98, 0xbd, 0xe2, 0x07, 0x2c, 0x51, 0x76,
334 0x9b, 0xc0, 0xe5, 0x0a, 0x2f, 0x54, 0x79, 0x9e, 0xc3, 0xe8, 0x0d, 0x32,
335 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35, 0x5a, 0x7f, 0xa4, 0xc9, 0xee,
336 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1, 0x16, 0x3b, 0x60, 0x85, 0xaa,
337 0xcf, 0xf4, 0x19, 0x3e, 0x63, 0x88, 0xad, 0xd2, 0xf7, 0x1c, 0x41, 0x66,
338 0x8b, 0xb0, 0xd5, 0xfa, 0x1f, 0x44, 0x69, 0x8e, 0xb3, 0xd8, 0xfd, 0x22,
339 0x47, 0x6c, 0x91, 0xb6, 0xdb, 0x00, 0x25, 0x4a, 0x6f, 0x94, 0xb9, 0xde,
340 0x03, 0x28, 0x4d, 0x72, 0x97, 0xbc, 0xe1, 0x06, 0x2b, 0x50, 0x75, 0x9a,
341 0xbf, 0xe4, 0x09, 0x2e, 0x53, 0x78, 0x9d, 0xc2, 0xe7, 0x0c, 0x31, 0x56,
342 0x7b, 0xa0, 0xc5, 0xea, 0x0f, 0x34, 0x59, 0x7e, 0xa3, 0xc8, 0xed, 0x12,
343 0x37, 0x5c, 0x81, 0xa6, 0xcb, 0xf0, 0x15, 0x3a, 0x5f, 0x84, 0xa9, 0xce,
344 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6, 0x1b, 0x40, 0x65, 0x8a,
345 0xaf, 0xd4, 0xf9, 0x1e, 0x43, 0x68, 0x8d, 0xb2, 0xd7, 0xfc, 0x21, 0x46,
346 0x6b, 0x90, 0xb5, 0xda, 0xff, 0x24, 0x49, 0x6e, 0x93, 0xb8, 0xdd, 0x02,
347 0x27, 0x4c, 0x71, 0x96, 0xbb, 0xe0, 0x05, 0x2a, 0x4f, 0x74, 0x99, 0xbe,
348 0xe3, 0x08, 0x2d, 0x52, 0x77, 0x9c, 0xc1, 0xe6, 0x0b, 0x30, 0x55, 0x7a,
349 0x9f, 0xc4, 0xe9, 0x0e, 0x33, 0x58, 0x7d, 0xa2, 0xc7, 0xec, 0x11, 0x36,
350 0x5b, 0x80, 0xa5, 0xca, 0xef, 0x14, 0x39, 0x5e, 0x83, 0xa8, 0xcd, 0xf2,
351 0x17, 0x3c, 0x61, 0x86, 0xab, 0xd0, 0xf5, 0x1a, 0x3f, 0x64, 0x89, 0xae,
352 0xd3, 0xf8, 0x1d, 0x42, 0x67, 0x8c, 0xb1, 0xd6, 0xfb, 0x20, 0x45, 0x6a,
353 0x8f, 0xb4, 0xd9, 0xfe, 0x23, 0x48, 0x6d, 0x92, 0xb7, 0xdc, 0x01, 0x26,
354 0x4b, 0x70, 0x95, 0xba, 0xdf, 0x04, 0x29, 0x4e, 0x73, 0x98, 0xbd, 0xe2,
355 0x07, 0x2c, 0x51, 0x76, 0x9b, 0xc0, 0xe5, 0x0a, 0x2f, 0x54, 0x79, 0x9e,
356 0xc3, 0xe8, 0x0d, 0x32, 0x57, 0x7c, 0xa1, 0xc6, 0xeb, 0x10, 0x35, 0x5a,
357 0x7f, 0xa4, 0xc9, 0xee, 0x13, 0x38, 0x5d, 0x82, 0xa7, 0xcc, 0xf1, 0x16,
358 0x3b, 0x60, 0x85, 0xaa, 0xcf, 0xf4, 0x19, 0x3e, 0x63, 0x88, 0xad, 0xd2,
359 0xf7, 0x1c, 0x41, 0x66, 0x8b, 0xb0, 0xd5, 0xfa, 0x1f, 0x44, 0x69, 0x8e,
360 0xb3, 0xd8, 0xfd, 0x22, 0x47, 0x6c, 0x91, 0xb6, 0xdb, 0x00, 0x25, 0x4a,
361 0x6f, 0x94, 0xb9, 0xde, 0x03, 0x28, 0x4d, 0x72, 0x97, 0xbc, 0xe1, 0x06,
362 0x2b, 0x50, 0x75, 0x9a, 0xbf, 0xe4, 0x09, 0x2e, 0x53, 0x78, 0x9d, 0xc2,
363 0xe7, 0x0c, 0x31, 0x56, 0x7b, 0xa0, 0xc5, 0xea, 0x0f, 0x34, 0x59, 0x7e,
364 0xa3, 0xc8, 0xed, 0x12, 0x37, 0x5c, 0x81, 0xa6, 0xcb, 0xf0, 0x15, 0x3a,
365 0x5f, 0x84, 0xa9, 0xce, 0xf3, 0x18, 0x3d, 0x62, 0x87, 0xac, 0xd1, 0xf6,
366 0x1b, 0x40, 0x65, 0x8a, 0xaf, 0xd4, 0xf9, 0x1e, 0x43, 0x68, 0x8d, 0xb2,
367 0xd7, 0xfc, 0x21, 0x46, 0x6b, 0x90, 0xb5, 0xda, 0xff, 0x24, 0x49, 0x6e,
368 0x93, 0xb8, 0xdd, 0x02, 0x27, 0x4c, 0x71, 0x96, 0xbb, 0xe0, 0x05, 0x2a,
369 0x4f, 0x74, 0x99, 0xbe, 0xe3, 0x08, 0x2d, 0x52, 0x77, 0x9c, 0xc1, 0xe6,
370 0x0b, 0x30, 0x55, 0x7a, 0x9f, 0xc4, 0xe9, 0x0e, 0x33, 0x58, 0x7d, 0xa2,
371 0xc7, 0xec, 0x11, 0x36, 0x5b, 0x80, 0xa5, 0xca, 0xef, 0x14, 0x39, 0x5e,
372 0x83, 0xa8, 0xcd, 0xf2, 0x17, 0x3c, 0x61, 0x86,
373 },
374 .unpad_verdict = true,
375 },
376 };