tiny.reticulum.conformance.token

1pub const token = @import("token.zig");

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 sealed7//! from them.8//! The HKDF vectors use RNS/Cryptography/HKDF.py:35.9//! The padding vectors use RNS/Cryptography/PKCS7.py:35,42.1011pub 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};2021pub 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};2930pub const Pkcs7Vector = struct {31    name: []const u8,32    input: []const u8,33    padded: []const u8,34    unpadded: []const u8,35    unpad_verdict: bool,36};3738pub 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};108109pub 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};167168pub 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};