tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

cmac-vectors.h (49583B)


      1 /* vim: set ts=2 et sw=2 tw=80: */
      2 /* This Source Code Form is subject to the terms of the Mozilla Public
      3 * License, v. 2.0. If a copy of the MPL was not distributed with this file,
      4 * You can obtain one at http://mozilla.org/MPL/2.0/. */
      5 
      6 /* This file is generated from sources in nss/gtests/common/wycheproof
      7 * automatically and should not be touched manually.
      8 * Generation is trigged by calling python3 genTestVectors.py */
      9 
     10 #ifndef cmac_vectors_h__
     11 #define cmac_vectors_h__
     12 
     13 #include "testvectors_base/test-structs.h"
     14 
     15 const AesCmacTestVector kCmacWycheproofVectors[] = {
     16    {1, "empty message", "e34f15c7bd819930fe9d66e0c166e61c", "",
     17     "d47afca1d857a5933405b1eb7a5cb7af", false},
     18 
     19    {2, "short message", "e1e726677f4893890f8c027f9d8ef80d", "3f",
     20     "15f856bbed3b321952a584b3c4437a63", false},
     21 
     22    {3, "short message", "b151f491c4c006d1f28214aa3da9a985", "27d9",
     23     "bdbbebac982dd62b9f682618a6a604e9", false},
     24 
     25    {4, "short message", "c36ff15f72777ee21deec07b63c1a0cd", "50b428",
     26     "be0c3ede157568af394023eb9a7cc983", false},
     27 
     28    {5, "short message", "32b9c5c78c3a0689a86052420fa1e8fc", "0b9262ec",
     29     "57e1506856c55dd32cd9ca821adb6c81", false},
     30 
     31    {6, "short message", "43151bbaef367277ebfc97509d0aa49c", "eaa91273e7",
     32     "e01adc3be6a7621824232c4285dd35b9", false},
     33 
     34    {7, "short message", "481440298525cc261f8159159aedf62d", "6123c556c5cc",
     35     "a281e0d2d5378dfdcc1310fd9782ca56", false},
     36 
     37    {8, "short message", "9ca26eb88731efbf7f810d5d95e196ac", "7e48f06183aa40",
     38     "fc81761f2f7b4ce13b53d36e32677332", false},
     39 
     40    {9, "short message", "48f0d03e41cc55c4b58f737b5acdea32", "f4a133aa6d5985a0",
     41     "1f1cd0327c02e6d00086915937dd61d9", false},
     42 
     43    {10, "short message", "1c958849f31996b28939ce513087d1be",
     44     "b0d2fee11b8e2f86b7", "555f462151f7dd16de698d639fb26760", false},
     45 
     46    {11, "short message", "39de0ebea97c09b2301a90009a423253",
     47     "81e5c33b4c620852f044", "9b004f15b7f6f366374954e64bc58f5f", false},
     48 
     49    {12, "short message", "91656d8fc0aced60ddb1c4006d0dde53",
     50     "7b3e440fe566790064b2ec", "76672ed16c29be449e0c80785cc38e89", false},
     51 
     52    {13, "short message", "af7d5134720b5386158d51ea126e7cf9",
     53     "7cc6fcc925c20f3c83b5567c", "2dc5c88cf3b80ab6c0199f40be904abc", false},
     54 
     55    {14, "short message", "4ed56753de6f75a032ebabca3ce27971",
     56     "0c8c0f5619d9f8da5339281285", "eab4366d97e99a0850f077329ad058c0", false},
     57 
     58    {15, "short message", "beba50c936b696c15e25046dffb23a64",
     59     "821ea8532fbabffb6e3d212e9b46", "22f33cab09c173f75d3401fe44efeead", false},
     60 
     61    {16, "short message", "501d81ebf912ddb87fbe3b7aac1437bc",
     62     "2368e3c3636b5e8e94d2081adbf798", "aeb784a3825168ddd61f72d0202125e6",
     63     false},
     64 
     65    {17, "", "e09eaa5a3f5e56d279d5e7a03373f6ea",
     66     "ef4eab37181f98423e53e947e7050fd0", "40facf0e2fb51b73a7472681b033d6dc",
     67     false},
     68 
     69    {18, "", "831e664c9e3f0c3094c0b27b9d908eb2",
     70     "26603bb76dd0a0180791c4ed4d3b058807", "a8144c8b24f2aa47d9c160cff4ab1716",
     71     false},
     72 
     73    {19, "", "549bd282ee21b4d7c3b1d02e3ee20ef7",
     74     "d84bf73c5eecbd38444f1a73556e2fa3253f4c54d6916545",
     75     "7ed458afe02f4a513f59715b664b1bbe", false},
     76 
     77    {20, "", "9bd3902ed0996c869b572272e76f3889",
     78     "a7ba19d49ee1ea02f098aa8e30c740d893a4456ccc294040484ed8a00a55f93e",
     79     "45082218c2d05eef32247feb1133d0a3", false},
     80 
     81    {21, "Flipped bit 0 in tag", "000102030405060708090a0b0c0d0e0f", "",
     82     "96dd6e5a882cbd564c39ae7d1c5a31aa", true},
     83 
     84    {22, "Flipped bit 0 in tag", "000102030405060708090a0b0c0d0e0f",
     85     "0001020304050607", "43802eb1931f0032afe984443738cd31", true},
     86 
     87    {23, "Flipped bit 0 in tag", "000102030405060708090a0b0c0d0e0f",
     88     "000102030405060708090a0b0c0d0e0f", "7acfbbca7a2ea68b966fc5399f74809e",
     89     true},
     90 
     91    {24, "Flipped bit 1 in tag", "000102030405060708090a0b0c0d0e0f", "",
     92     "95dd6e5a882cbd564c39ae7d1c5a31aa", true},
     93 
     94    {25, "Flipped bit 1 in tag", "000102030405060708090a0b0c0d0e0f",
     95     "0001020304050607", "40802eb1931f0032afe984443738cd31", true},
     96 
     97    {26, "Flipped bit 1 in tag", "000102030405060708090a0b0c0d0e0f",
     98     "000102030405060708090a0b0c0d0e0f", "79cfbbca7a2ea68b966fc5399f74809e",
     99     true},
    100 
    101    {27, "Flipped bit 7 in tag", "000102030405060708090a0b0c0d0e0f", "",
    102     "17dd6e5a882cbd564c39ae7d1c5a31aa", true},
    103 
    104    {28, "Flipped bit 7 in tag", "000102030405060708090a0b0c0d0e0f",
    105     "0001020304050607", "c2802eb1931f0032afe984443738cd31", true},
    106 
    107    {29, "Flipped bit 7 in tag", "000102030405060708090a0b0c0d0e0f",
    108     "000102030405060708090a0b0c0d0e0f", "fbcfbbca7a2ea68b966fc5399f74809e",
    109     true},
    110 
    111    {30, "Flipped bit 8 in tag", "000102030405060708090a0b0c0d0e0f", "",
    112     "97dc6e5a882cbd564c39ae7d1c5a31aa", true},
    113 
    114    {31, "Flipped bit 8 in tag", "000102030405060708090a0b0c0d0e0f",
    115     "0001020304050607", "42812eb1931f0032afe984443738cd31", true},
    116 
    117    {32, "Flipped bit 8 in tag", "000102030405060708090a0b0c0d0e0f",
    118     "000102030405060708090a0b0c0d0e0f", "7bcebbca7a2ea68b966fc5399f74809e",
    119     true},
    120 
    121    {33, "Flipped bit 31 in tag", "000102030405060708090a0b0c0d0e0f", "",
    122     "97dd6eda882cbd564c39ae7d1c5a31aa", true},
    123 
    124    {34, "Flipped bit 31 in tag", "000102030405060708090a0b0c0d0e0f",
    125     "0001020304050607", "42802e31931f0032afe984443738cd31", true},
    126 
    127    {35, "Flipped bit 31 in tag", "000102030405060708090a0b0c0d0e0f",
    128     "000102030405060708090a0b0c0d0e0f", "7bcfbb4a7a2ea68b966fc5399f74809e",
    129     true},
    130 
    131    {36, "Flipped bit 32 in tag", "000102030405060708090a0b0c0d0e0f", "",
    132     "97dd6e5a892cbd564c39ae7d1c5a31aa", true},
    133 
    134    {37, "Flipped bit 32 in tag", "000102030405060708090a0b0c0d0e0f",
    135     "0001020304050607", "42802eb1921f0032afe984443738cd31", true},
    136 
    137    {38, "Flipped bit 32 in tag", "000102030405060708090a0b0c0d0e0f",
    138     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7b2ea68b966fc5399f74809e",
    139     true},
    140 
    141    {39, "Flipped bit 33 in tag", "000102030405060708090a0b0c0d0e0f", "",
    142     "97dd6e5a8a2cbd564c39ae7d1c5a31aa", true},
    143 
    144    {40, "Flipped bit 33 in tag", "000102030405060708090a0b0c0d0e0f",
    145     "0001020304050607", "42802eb1911f0032afe984443738cd31", true},
    146 
    147    {41, "Flipped bit 33 in tag", "000102030405060708090a0b0c0d0e0f",
    148     "000102030405060708090a0b0c0d0e0f", "7bcfbbca782ea68b966fc5399f74809e",
    149     true},
    150 
    151    {42, "Flipped bit 63 in tag", "000102030405060708090a0b0c0d0e0f", "",
    152     "97dd6e5a882cbdd64c39ae7d1c5a31aa", true},
    153 
    154    {43, "Flipped bit 63 in tag", "000102030405060708090a0b0c0d0e0f",
    155     "0001020304050607", "42802eb1931f00b2afe984443738cd31", true},
    156 
    157    {44, "Flipped bit 63 in tag", "000102030405060708090a0b0c0d0e0f",
    158     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea60b966fc5399f74809e",
    159     true},
    160 
    161    {45, "Flipped bit 64 in tag", "000102030405060708090a0b0c0d0e0f", "",
    162     "97dd6e5a882cbd564d39ae7d1c5a31aa", true},
    163 
    164    {46, "Flipped bit 64 in tag", "000102030405060708090a0b0c0d0e0f",
    165     "0001020304050607", "42802eb1931f0032aee984443738cd31", true},
    166 
    167    {47, "Flipped bit 64 in tag", "000102030405060708090a0b0c0d0e0f",
    168     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b976fc5399f74809e",
    169     true},
    170 
    171    {48, "Flipped bit 71 in tag", "000102030405060708090a0b0c0d0e0f", "",
    172     "97dd6e5a882cbd56cc39ae7d1c5a31aa", true},
    173 
    174    {49, "Flipped bit 71 in tag", "000102030405060708090a0b0c0d0e0f",
    175     "0001020304050607", "42802eb1931f00322fe984443738cd31", true},
    176 
    177    {50, "Flipped bit 71 in tag", "000102030405060708090a0b0c0d0e0f",
    178     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b166fc5399f74809e",
    179     true},
    180 
    181    {51, "Flipped bit 77 in tag", "000102030405060708090a0b0c0d0e0f", "",
    182     "97dd6e5a882cbd564c19ae7d1c5a31aa", true},
    183 
    184    {52, "Flipped bit 77 in tag", "000102030405060708090a0b0c0d0e0f",
    185     "0001020304050607", "42802eb1931f0032afc984443738cd31", true},
    186 
    187    {53, "Flipped bit 77 in tag", "000102030405060708090a0b0c0d0e0f",
    188     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b964fc5399f74809e",
    189     true},
    190 
    191    {54, "Flipped bit 80 in tag", "000102030405060708090a0b0c0d0e0f", "",
    192     "97dd6e5a882cbd564c39af7d1c5a31aa", true},
    193 
    194    {55, "Flipped bit 80 in tag", "000102030405060708090a0b0c0d0e0f",
    195     "0001020304050607", "42802eb1931f0032afe985443738cd31", true},
    196 
    197    {56, "Flipped bit 80 in tag", "000102030405060708090a0b0c0d0e0f",
    198     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc4399f74809e",
    199     true},
    200 
    201    {57, "Flipped bit 96 in tag", "000102030405060708090a0b0c0d0e0f", "",
    202     "97dd6e5a882cbd564c39ae7d1d5a31aa", true},
    203 
    204    {58, "Flipped bit 96 in tag", "000102030405060708090a0b0c0d0e0f",
    205     "0001020304050607", "42802eb1931f0032afe984443638cd31", true},
    206 
    207    {59, "Flipped bit 96 in tag", "000102030405060708090a0b0c0d0e0f",
    208     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc5399e74809e",
    209     true},
    210 
    211    {60, "Flipped bit 97 in tag", "000102030405060708090a0b0c0d0e0f", "",
    212     "97dd6e5a882cbd564c39ae7d1e5a31aa", true},
    213 
    214    {61, "Flipped bit 97 in tag", "000102030405060708090a0b0c0d0e0f",
    215     "0001020304050607", "42802eb1931f0032afe984443538cd31", true},
    216 
    217    {62, "Flipped bit 97 in tag", "000102030405060708090a0b0c0d0e0f",
    218     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc5399d74809e",
    219     true},
    220 
    221    {63, "Flipped bit 103 in tag", "000102030405060708090a0b0c0d0e0f", "",
    222     "97dd6e5a882cbd564c39ae7d9c5a31aa", true},
    223 
    224    {64, "Flipped bit 103 in tag", "000102030405060708090a0b0c0d0e0f",
    225     "0001020304050607", "42802eb1931f0032afe98444b738cd31", true},
    226 
    227    {65, "Flipped bit 103 in tag", "000102030405060708090a0b0c0d0e0f",
    228     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc5391f74809e",
    229     true},
    230 
    231    {66, "Flipped bit 120 in tag", "000102030405060708090a0b0c0d0e0f", "",
    232     "97dd6e5a882cbd564c39ae7d1c5a31ab", true},
    233 
    234    {67, "Flipped bit 120 in tag", "000102030405060708090a0b0c0d0e0f",
    235     "0001020304050607", "42802eb1931f0032afe984443738cd30", true},
    236 
    237    {68, "Flipped bit 120 in tag", "000102030405060708090a0b0c0d0e0f",
    238     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc5399f74809f",
    239     true},
    240 
    241    {69, "Flipped bit 121 in tag", "000102030405060708090a0b0c0d0e0f", "",
    242     "97dd6e5a882cbd564c39ae7d1c5a31a8", true},
    243 
    244    {70, "Flipped bit 121 in tag", "000102030405060708090a0b0c0d0e0f",
    245     "0001020304050607", "42802eb1931f0032afe984443738cd33", true},
    246 
    247    {71, "Flipped bit 121 in tag", "000102030405060708090a0b0c0d0e0f",
    248     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc5399f74809c",
    249     true},
    250 
    251    {72, "Flipped bit 126 in tag", "000102030405060708090a0b0c0d0e0f", "",
    252     "97dd6e5a882cbd564c39ae7d1c5a31ea", true},
    253 
    254    {73, "Flipped bit 126 in tag", "000102030405060708090a0b0c0d0e0f",
    255     "0001020304050607", "42802eb1931f0032afe984443738cd71", true},
    256 
    257    {74, "Flipped bit 126 in tag", "000102030405060708090a0b0c0d0e0f",
    258     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc5399f7480de",
    259     true},
    260 
    261    {75, "Flipped bit 127 in tag", "000102030405060708090a0b0c0d0e0f", "",
    262     "97dd6e5a882cbd564c39ae7d1c5a312a", true},
    263 
    264    {76, "Flipped bit 127 in tag", "000102030405060708090a0b0c0d0e0f",
    265     "0001020304050607", "42802eb1931f0032afe984443738cdb1", true},
    266 
    267    {77, "Flipped bit 127 in tag", "000102030405060708090a0b0c0d0e0f",
    268     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea68b966fc5399f74801e",
    269     true},
    270 
    271    {78, "Flipped bits 0 and 64 in tag", "000102030405060708090a0b0c0d0e0f", "",
    272     "96dd6e5a882cbd564d39ae7d1c5a31aa", true},
    273 
    274    {79, "Flipped bits 0 and 64 in tag", "000102030405060708090a0b0c0d0e0f",
    275     "0001020304050607", "43802eb1931f0032aee984443738cd31", true},
    276 
    277    {80, "Flipped bits 0 and 64 in tag", "000102030405060708090a0b0c0d0e0f",
    278     "000102030405060708090a0b0c0d0e0f", "7acfbbca7a2ea68b976fc5399f74809e",
    279     true},
    280 
    281    {81, "Flipped bits 31 and 63 in tag", "000102030405060708090a0b0c0d0e0f",
    282     "", "97dd6eda882cbdd64c39ae7d1c5a31aa", true},
    283 
    284    {82, "Flipped bits 31 and 63 in tag", "000102030405060708090a0b0c0d0e0f",
    285     "0001020304050607", "42802e31931f00b2afe984443738cd31", true},
    286 
    287    {83, "Flipped bits 31 and 63 in tag", "000102030405060708090a0b0c0d0e0f",
    288     "000102030405060708090a0b0c0d0e0f", "7bcfbb4a7a2ea60b966fc5399f74809e",
    289     true},
    290 
    291    {84, "Flipped bits 63 and 127 in tag", "000102030405060708090a0b0c0d0e0f",
    292     "", "97dd6e5a882cbdd64c39ae7d1c5a312a", true},
    293 
    294    {85, "Flipped bits 63 and 127 in tag", "000102030405060708090a0b0c0d0e0f",
    295     "0001020304050607", "42802eb1931f00b2afe984443738cdb1", true},
    296 
    297    {86, "Flipped bits 63 and 127 in tag", "000102030405060708090a0b0c0d0e0f",
    298     "000102030405060708090a0b0c0d0e0f", "7bcfbbca7a2ea60b966fc5399f74801e",
    299     true},
    300 
    301    {87, "all bits of tag flipped", "000102030405060708090a0b0c0d0e0f", "",
    302     "682291a577d342a9b3c65182e3a5ce55", true},
    303 
    304    {88, "all bits of tag flipped", "000102030405060708090a0b0c0d0e0f",
    305     "0001020304050607", "bd7fd14e6ce0ffcd50167bbbc8c732ce", true},
    306 
    307    {89, "all bits of tag flipped", "000102030405060708090a0b0c0d0e0f",
    308     "000102030405060708090a0b0c0d0e0f", "8430443585d1597469903ac6608b7f61",
    309     true},
    310 
    311    {90, "Tag changed to all zero", "000102030405060708090a0b0c0d0e0f", "",
    312     "00000000000000000000000000000000", true},
    313 
    314    {91, "Tag changed to all zero", "000102030405060708090a0b0c0d0e0f",
    315     "0001020304050607", "00000000000000000000000000000000", true},
    316 
    317    {92, "Tag changed to all zero", "000102030405060708090a0b0c0d0e0f",
    318     "000102030405060708090a0b0c0d0e0f", "00000000000000000000000000000000",
    319     true},
    320 
    321    {93, "tag changed to all 1", "000102030405060708090a0b0c0d0e0f", "",
    322     "ffffffffffffffffffffffffffffffff", true},
    323 
    324    {94, "tag changed to all 1", "000102030405060708090a0b0c0d0e0f",
    325     "0001020304050607", "ffffffffffffffffffffffffffffffff", true},
    326 
    327    {95, "tag changed to all 1", "000102030405060708090a0b0c0d0e0f",
    328     "000102030405060708090a0b0c0d0e0f", "ffffffffffffffffffffffffffffffff",
    329     true},
    330 
    331    {96, "msbs changed in tag", "000102030405060708090a0b0c0d0e0f", "",
    332     "175deeda08ac3dd6ccb92efd9cdab12a", true},
    333 
    334    {97, "msbs changed in tag", "000102030405060708090a0b0c0d0e0f",
    335     "0001020304050607", "c200ae31139f80b22f6904c4b7b84db1", true},
    336 
    337    {98, "msbs changed in tag", "000102030405060708090a0b0c0d0e0f",
    338     "000102030405060708090a0b0c0d0e0f", "fb4f3b4afaae260b16ef45b91ff4001e",
    339     true},
    340 
    341    {99, "lsbs changed in tag", "000102030405060708090a0b0c0d0e0f", "",
    342     "96dc6f5b892dbc574d38af7c1d5b30ab", true},
    343 
    344    {100, "lsbs changed in tag", "000102030405060708090a0b0c0d0e0f",
    345     "0001020304050607", "43812fb0921e0133aee885453639cc30", true},
    346 
    347    {101, "lsbs changed in tag", "000102030405060708090a0b0c0d0e0f",
    348     "000102030405060708090a0b0c0d0e0f", "7acebacb7b2fa78a976ec4389e75819f",
    349     true},
    350 
    351    {102, "empty message", "3d6bf9edae6d881eade0ff8c7076a4835b71320c1f36b631",
    352     "", "a8dd15fe2ce3495ec5b666744ec29220", false},
    353 
    354    {103, "short message", "915429743435c28997a33b33b6574a953d81dae0e7032e6a",
    355     "58", "e13b3f7f7f510c3a059df7a68c7e2ad5", false},
    356 
    357    {104, "short message", "f0c288ba26b284f9fb321b444a6517b3cdda1a799d55fdff",
    358     "0f7e", "06ef847f5f9dbf03a4f283da8c400220", false},
    359 
    360    {105, "short message", "6b55e4d4fd6847a80a6bfb0dcc0aa93f9fd797fc5c50292e",
    361     "33f530", "dd135053a47ca8f282c299e83b8c57c4", false},
    362 
    363    {106, "short message", "1eb21a9e995a8e45c9e71ecbd6fe615b3e0318007c64b644",
    364     "3aa73c48", "1e93fff846934a6eea0575eecb0f0e1f", false},
    365 
    366    {107, "short message", "710e2d5d4a9f0bc7e50796655e046a18cc5769d7764355da",
    367     "7e4c690a88", "016d4df06c68a6a788a9ea052e1b550d", false},
    368 
    369    {108, "short message", "d8c09ea400779b63e774bdacd0cb7b5dd6f736ca23d52acf",
    370     "e9520280973b", "8030ae9f98f5d20c6089f6b1bd87c29e", false},
    371 
    372    {109, "short message", "8e67e9a0863b55bed408866f1cbc05357abe3f9d79f406f2",
    373     "4880b412287a0b", "bcaf50785f062a8fb8dd3c2c4cead2e1", false},
    374 
    375    {110, "short message", "28d8da67806410e5565bcc5a9d7ab9fb357413fa0158378c",
    376     "004e3f4a4e6db955", "c4c2c0876be9eabeb5a956da53846b08", false},
    377 
    378    {111, "short message", "dc968dd89fd602bb7eca6f3a8a13e4f59c08d02a514b1934",
    379     "41a25354efeb1bc3b8", "f33a62caf397f9aff71fe42941ba41d8", false},
    380 
    381    {112, "short message", "7658951c0f620d82afd92756cc2d7983b79da3e56fdd1b78",
    382     "f0e82fb5c5666f4af49f", "4d724d05f3402967eb65ae1e32d5469e", false},
    383 
    384    {113, "short message", "d9574c3a221b986690931faac5258d9d3c52362b2cb9b054",
    385     "178ea8404ba54ee4e4522c", "64a0e0b6757309ab58d74f72c310e473", false},
    386 
    387    {114, "short message", "704409bab28085c44981f28f75dd143a4f747106f63f262e",
    388     "cda5709e7f115624e74ab031", "6ab2074334be14a95b6a241f897a43de", false},
    389 
    390    {115, "short message", "d8d06ef6a53bbff5c8f12d791b8f4c67e574bf440736d1cc",
    391     "a1171eae1979f48345dd9485a0", "7aa57cf98b24897cc9230e3316758e61", false},
    392 
    393    {116, "short message", "71129e781613f39d9ac39fbde2628b44c250c14deb5ef9e2",
    394     "967593cc64bcbf7f3c58d04cb82b", "6cc488b0a40eadbe4bcee2623239d126", false},
    395 
    396    {117, "short message", "850fc859e9f7b89a367611dee6698f33962d8245ca8dc331",
    397     "586f4f171af116519061a8e0e77940", "fb11a360c9776991d73d6e41d07710a2",
    398     false},
    399 
    400    {118, "", "f4bfa5aa4f0f4d62cf736cd2969c43d580fdb92f2753bedb",
    401     "0e239f239705b282ce2200fe20de1165", "ab20a6cf60873665b1d6999b05c7f9c6",
    402     false},
    403 
    404    {119, "", "cfd3f68873d81a27d2bfce876c79f6e609074dec39e34614",
    405     "b1973cb25aa87ef9d1a8888b0a0f5c04c6", "b95a016b83a0ae4194023333c8a7345a",
    406     false},
    407 
    408    {120, "", "648a44468d67bb6744b235ee7a3fcd6ed4bdc29ec5b5fa1a",
    409     "c59d0d6981cca1be1d5519fc7881e6d230f39f6c12a9e827",
    410     "a1b96272ae7f9aef567271795f21d1d3", false},
    411 
    412    {121, "", "9d11abc1fcb248a436598e695be12c3c2ed90a18ba09d62c",
    413     "aa5182cae2a8fb068c0b3fb2be3e57ae523d13dffd1a944587707c2b67447f3f",
    414     "8597d9a04d1c271d61d42f007b435175", false},
    415 
    416    {122, "Flipped bit 0 in tag",
    417     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    418     "ed12390ea0a7ed15d9d37a6eca1fc990", true},
    419 
    420    {123, "Flipped bit 0 in tag",
    421     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    422     "c81307df60859acb911c7be61be7ca90", true},
    423 
    424    {124, "Flipped bit 0 in tag",
    425     "000102030405060708090a0b0c0d0e0f1011121314151617",
    426     "000102030405060708090a0b0c0d0e0f", "f91bde0069a6e389573bf04e7cde688c",
    427     true},
    428 
    429    {125, "Flipped bit 1 in tag",
    430     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    431     "ee12390ea0a7ed15d9d37a6eca1fc990", true},
    432 
    433    {126, "Flipped bit 1 in tag",
    434     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    435     "cb1307df60859acb911c7be61be7ca90", true},
    436 
    437    {127, "Flipped bit 1 in tag",
    438     "000102030405060708090a0b0c0d0e0f1011121314151617",
    439     "000102030405060708090a0b0c0d0e0f", "fa1bde0069a6e389573bf04e7cde688c",
    440     true},
    441 
    442    {128, "Flipped bit 7 in tag",
    443     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    444     "6c12390ea0a7ed15d9d37a6eca1fc990", true},
    445 
    446    {129, "Flipped bit 7 in tag",
    447     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    448     "491307df60859acb911c7be61be7ca90", true},
    449 
    450    {130, "Flipped bit 7 in tag",
    451     "000102030405060708090a0b0c0d0e0f1011121314151617",
    452     "000102030405060708090a0b0c0d0e0f", "781bde0069a6e389573bf04e7cde688c",
    453     true},
    454 
    455    {131, "Flipped bit 8 in tag",
    456     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    457     "ec13390ea0a7ed15d9d37a6eca1fc990", true},
    458 
    459    {132, "Flipped bit 8 in tag",
    460     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    461     "c91207df60859acb911c7be61be7ca90", true},
    462 
    463    {133, "Flipped bit 8 in tag",
    464     "000102030405060708090a0b0c0d0e0f1011121314151617",
    465     "000102030405060708090a0b0c0d0e0f", "f81ade0069a6e389573bf04e7cde688c",
    466     true},
    467 
    468    {134, "Flipped bit 31 in tag",
    469     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    470     "ec12398ea0a7ed15d9d37a6eca1fc990", true},
    471 
    472    {135, "Flipped bit 31 in tag",
    473     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    474     "c913075f60859acb911c7be61be7ca90", true},
    475 
    476    {136, "Flipped bit 31 in tag",
    477     "000102030405060708090a0b0c0d0e0f1011121314151617",
    478     "000102030405060708090a0b0c0d0e0f", "f81bde8069a6e389573bf04e7cde688c",
    479     true},
    480 
    481    {137, "Flipped bit 32 in tag",
    482     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    483     "ec12390ea1a7ed15d9d37a6eca1fc990", true},
    484 
    485    {138, "Flipped bit 32 in tag",
    486     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    487     "c91307df61859acb911c7be61be7ca90", true},
    488 
    489    {139, "Flipped bit 32 in tag",
    490     "000102030405060708090a0b0c0d0e0f1011121314151617",
    491     "000102030405060708090a0b0c0d0e0f", "f81bde0068a6e389573bf04e7cde688c",
    492     true},
    493 
    494    {140, "Flipped bit 33 in tag",
    495     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    496     "ec12390ea2a7ed15d9d37a6eca1fc990", true},
    497 
    498    {141, "Flipped bit 33 in tag",
    499     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    500     "c91307df62859acb911c7be61be7ca90", true},
    501 
    502    {142, "Flipped bit 33 in tag",
    503     "000102030405060708090a0b0c0d0e0f1011121314151617",
    504     "000102030405060708090a0b0c0d0e0f", "f81bde006ba6e389573bf04e7cde688c",
    505     true},
    506 
    507    {143, "Flipped bit 63 in tag",
    508     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    509     "ec12390ea0a7ed95d9d37a6eca1fc990", true},
    510 
    511    {144, "Flipped bit 63 in tag",
    512     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    513     "c91307df60859a4b911c7be61be7ca90", true},
    514 
    515    {145, "Flipped bit 63 in tag",
    516     "000102030405060708090a0b0c0d0e0f1011121314151617",
    517     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e309573bf04e7cde688c",
    518     true},
    519 
    520    {146, "Flipped bit 64 in tag",
    521     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    522     "ec12390ea0a7ed15d8d37a6eca1fc990", true},
    523 
    524    {147, "Flipped bit 64 in tag",
    525     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    526     "c91307df60859acb901c7be61be7ca90", true},
    527 
    528    {148, "Flipped bit 64 in tag",
    529     "000102030405060708090a0b0c0d0e0f1011121314151617",
    530     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389563bf04e7cde688c",
    531     true},
    532 
    533    {149, "Flipped bit 71 in tag",
    534     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    535     "ec12390ea0a7ed1559d37a6eca1fc990", true},
    536 
    537    {150, "Flipped bit 71 in tag",
    538     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    539     "c91307df60859acb111c7be61be7ca90", true},
    540 
    541    {151, "Flipped bit 71 in tag",
    542     "000102030405060708090a0b0c0d0e0f1011121314151617",
    543     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389d73bf04e7cde688c",
    544     true},
    545 
    546    {152, "Flipped bit 77 in tag",
    547     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    548     "ec12390ea0a7ed15d9f37a6eca1fc990", true},
    549 
    550    {153, "Flipped bit 77 in tag",
    551     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    552     "c91307df60859acb913c7be61be7ca90", true},
    553 
    554    {154, "Flipped bit 77 in tag",
    555     "000102030405060708090a0b0c0d0e0f1011121314151617",
    556     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389571bf04e7cde688c",
    557     true},
    558 
    559    {155, "Flipped bit 80 in tag",
    560     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    561     "ec12390ea0a7ed15d9d37b6eca1fc990", true},
    562 
    563    {156, "Flipped bit 80 in tag",
    564     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    565     "c91307df60859acb911c7ae61be7ca90", true},
    566 
    567    {157, "Flipped bit 80 in tag",
    568     "000102030405060708090a0b0c0d0e0f1011121314151617",
    569     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf14e7cde688c",
    570     true},
    571 
    572    {158, "Flipped bit 96 in tag",
    573     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    574     "ec12390ea0a7ed15d9d37a6ecb1fc990", true},
    575 
    576    {159, "Flipped bit 96 in tag",
    577     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    578     "c91307df60859acb911c7be61ae7ca90", true},
    579 
    580    {160, "Flipped bit 96 in tag",
    581     "000102030405060708090a0b0c0d0e0f1011121314151617",
    582     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf04e7dde688c",
    583     true},
    584 
    585    {161, "Flipped bit 97 in tag",
    586     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    587     "ec12390ea0a7ed15d9d37a6ec81fc990", true},
    588 
    589    {162, "Flipped bit 97 in tag",
    590     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    591     "c91307df60859acb911c7be619e7ca90", true},
    592 
    593    {163, "Flipped bit 97 in tag",
    594     "000102030405060708090a0b0c0d0e0f1011121314151617",
    595     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf04e7ede688c",
    596     true},
    597 
    598    {164, "Flipped bit 103 in tag",
    599     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    600     "ec12390ea0a7ed15d9d37a6e4a1fc990", true},
    601 
    602    {165, "Flipped bit 103 in tag",
    603     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    604     "c91307df60859acb911c7be69be7ca90", true},
    605 
    606    {166, "Flipped bit 103 in tag",
    607     "000102030405060708090a0b0c0d0e0f1011121314151617",
    608     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf04efcde688c",
    609     true},
    610 
    611    {167, "Flipped bit 120 in tag",
    612     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    613     "ec12390ea0a7ed15d9d37a6eca1fc991", true},
    614 
    615    {168, "Flipped bit 120 in tag",
    616     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    617     "c91307df60859acb911c7be61be7ca91", true},
    618 
    619    {169, "Flipped bit 120 in tag",
    620     "000102030405060708090a0b0c0d0e0f1011121314151617",
    621     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf04e7cde688d",
    622     true},
    623 
    624    {170, "Flipped bit 121 in tag",
    625     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    626     "ec12390ea0a7ed15d9d37a6eca1fc992", true},
    627 
    628    {171, "Flipped bit 121 in tag",
    629     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    630     "c91307df60859acb911c7be61be7ca92", true},
    631 
    632    {172, "Flipped bit 121 in tag",
    633     "000102030405060708090a0b0c0d0e0f1011121314151617",
    634     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf04e7cde688e",
    635     true},
    636 
    637    {173, "Flipped bit 126 in tag",
    638     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    639     "ec12390ea0a7ed15d9d37a6eca1fc9d0", true},
    640 
    641    {174, "Flipped bit 126 in tag",
    642     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    643     "c91307df60859acb911c7be61be7cad0", true},
    644 
    645    {175, "Flipped bit 126 in tag",
    646     "000102030405060708090a0b0c0d0e0f1011121314151617",
    647     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf04e7cde68cc",
    648     true},
    649 
    650    {176, "Flipped bit 127 in tag",
    651     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    652     "ec12390ea0a7ed15d9d37a6eca1fc910", true},
    653 
    654    {177, "Flipped bit 127 in tag",
    655     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    656     "c91307df60859acb911c7be61be7ca10", true},
    657 
    658    {178, "Flipped bit 127 in tag",
    659     "000102030405060708090a0b0c0d0e0f1011121314151617",
    660     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e389573bf04e7cde680c",
    661     true},
    662 
    663    {179, "Flipped bits 0 and 64 in tag",
    664     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    665     "ed12390ea0a7ed15d8d37a6eca1fc990", true},
    666 
    667    {180, "Flipped bits 0 and 64 in tag",
    668     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    669     "c81307df60859acb901c7be61be7ca90", true},
    670 
    671    {181, "Flipped bits 0 and 64 in tag",
    672     "000102030405060708090a0b0c0d0e0f1011121314151617",
    673     "000102030405060708090a0b0c0d0e0f", "f91bde0069a6e389563bf04e7cde688c",
    674     true},
    675 
    676    {182, "Flipped bits 31 and 63 in tag",
    677     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    678     "ec12398ea0a7ed95d9d37a6eca1fc990", true},
    679 
    680    {183, "Flipped bits 31 and 63 in tag",
    681     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    682     "c913075f60859a4b911c7be61be7ca90", true},
    683 
    684    {184, "Flipped bits 31 and 63 in tag",
    685     "000102030405060708090a0b0c0d0e0f1011121314151617",
    686     "000102030405060708090a0b0c0d0e0f", "f81bde8069a6e309573bf04e7cde688c",
    687     true},
    688 
    689    {185, "Flipped bits 63 and 127 in tag",
    690     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    691     "ec12390ea0a7ed95d9d37a6eca1fc910", true},
    692 
    693    {186, "Flipped bits 63 and 127 in tag",
    694     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    695     "c91307df60859a4b911c7be61be7ca10", true},
    696 
    697    {187, "Flipped bits 63 and 127 in tag",
    698     "000102030405060708090a0b0c0d0e0f1011121314151617",
    699     "000102030405060708090a0b0c0d0e0f", "f81bde0069a6e309573bf04e7cde680c",
    700     true},
    701 
    702    {188, "all bits of tag flipped",
    703     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    704     "13edc6f15f5812ea262c859135e0366f", true},
    705 
    706    {189, "all bits of tag flipped",
    707     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    708     "36ecf8209f7a65346ee38419e418356f", true},
    709 
    710    {190, "all bits of tag flipped",
    711     "000102030405060708090a0b0c0d0e0f1011121314151617",
    712     "000102030405060708090a0b0c0d0e0f", "07e421ff96591c76a8c40fb183219773",
    713     true},
    714 
    715    {191, "Tag changed to all zero",
    716     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    717     "00000000000000000000000000000000", true},
    718 
    719    {192, "Tag changed to all zero",
    720     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    721     "00000000000000000000000000000000", true},
    722 
    723    {193, "Tag changed to all zero",
    724     "000102030405060708090a0b0c0d0e0f1011121314151617",
    725     "000102030405060708090a0b0c0d0e0f", "00000000000000000000000000000000",
    726     true},
    727 
    728    {194, "tag changed to all 1",
    729     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    730     "ffffffffffffffffffffffffffffffff", true},
    731 
    732    {195, "tag changed to all 1",
    733     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    734     "ffffffffffffffffffffffffffffffff", true},
    735 
    736    {196, "tag changed to all 1",
    737     "000102030405060708090a0b0c0d0e0f1011121314151617",
    738     "000102030405060708090a0b0c0d0e0f", "ffffffffffffffffffffffffffffffff",
    739     true},
    740 
    741    {197, "msbs changed in tag",
    742     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    743     "6c92b98e20276d955953faee4a9f4910", true},
    744 
    745    {198, "msbs changed in tag",
    746     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    747     "4993875fe0051a4b119cfb669b674a10", true},
    748 
    749    {199, "msbs changed in tag",
    750     "000102030405060708090a0b0c0d0e0f1011121314151617",
    751     "000102030405060708090a0b0c0d0e0f", "789b5e80e9266309d7bb70cefc5ee80c",
    752     true},
    753 
    754    {200, "lsbs changed in tag",
    755     "000102030405060708090a0b0c0d0e0f1011121314151617", "",
    756     "ed13380fa1a6ec14d8d27b6fcb1ec891", true},
    757 
    758    {201, "lsbs changed in tag",
    759     "000102030405060708090a0b0c0d0e0f1011121314151617", "0001020304050607",
    760     "c81206de61849bca901d7ae71ae6cb91", true},
    761 
    762    {202, "lsbs changed in tag",
    763     "000102030405060708090a0b0c0d0e0f1011121314151617",
    764     "000102030405060708090a0b0c0d0e0f", "f91adf0168a7e288563af14f7ddf698d",
    765     true},
    766 
    767    {203, "empty message",
    768     "7bf9e536b66a215c22233fe2daaa743a898b9acb9f7802de70b40e3d6e43ef97", "",
    769     "736c7b56957db774c5ddf7c7a70ba8a8", false},
    770 
    771    {204, "short message",
    772     "e754076ceab3fdaf4f9bcab7d4f0df0cbbafbc87731b8f9b7cd2166472e8eebc", "40",
    773     "9d47482c2d9252bace43a75a8335b8b8", false},
    774 
    775    {205, "short message",
    776     "ea3b016bdd387dd64d837c71683808f335dbdc53598a4ea8c5f952473fafaf5f", "6601",
    777     "c7c44e31c466334992d6f9de3c771634", false},
    778 
    779    {206, "short message",
    780     "73d4709637857dafab6ad8b2b0a51b06524717fedf100296644f7cfdaae1805b",
    781     "f1d300", "b7086603a85e11fceb8cadea9bd30939", false},
    782 
    783    {207, "short message",
    784     "d5c81b399d4c0d1583a13da56de6d2dc45a66e7b47c24ab1192e246dc961dd77",
    785     "2ae63cbf", "ba383a3a15c9df64bba50d611113a024", false},
    786 
    787    {208, "short message",
    788     "2521203fa0dddf59d837b2830f87b1aa61f958155df3ca4d1df2457cb4284dc8",
    789     "af3a015ea1", "b457137c548908c629f714fe83b1ed90", false},
    790 
    791    {209, "short message",
    792     "665a02bc265a66d01775091da56726b6668bfd903cb7af66fb1b78a8a062e43c",
    793     "3f56935def3f", "b6d6fde93fc85de289b36b446d77b423", false},
    794 
    795    {210, "short message",
    796     "facd75b22221380047305bc981f570e2a1af38928ea7e2059e3af5fc6b82b493",
    797     "57bb86beed156f", "8b1ef72d0a612735b08efef981f213c2", false},
    798 
    799    {211, "short message",
    800     "505aa98819809ef63b9a368a1e8bc2e922da45b03ce02d9a7966b15006dba2d5",
    801     "2e4e7ef728fe11af", "f79606b83a7706a2a19e068bce818898", false},
    802 
    803    {212, "short message",
    804     "f942093842808ba47f64e427f7351dde6b9546e66de4e7d60aa6f328182712cf",
    805     "852a21d92848e627c7", "a5a877f22ac743b7fb9e050d2e3ddb02", false},
    806 
    807    {213, "short message",
    808     "64be162b39c6e5f1fed9c32d9f674d9a8cde6eaa2443214d86bd4a1fb53b81b4",
    809     "195a3b292f93baff0a2c", "6ea172e5c4d2fac075ca602de5757a62", false},
    810 
    811    {214, "short message",
    812     "b259a555d44b8a20c5489e2f38392ddaa6be9e35b9833b67e1b5fdf6cb3e4c6c",
    813     "afd73117330c6e8528a6e4", "68020bfc9bd73fd80d3ce581ba3b1208", false},
    814 
    815    {215, "short message",
    816     "2c6fc62daa77ba8c6881b3dd6989898fef646663cc7b0a3db8228a707b85f2dc",
    817     "0ff54d6b6759120c2e8a51e3", "110edd727a9bf7fa11a6358afe617d9d", false},
    818 
    819    {216, "short message",
    820     "abab815d51df29f740e4e2079fb798e0152836e6ab57d1536ae8929e52c06eb8",
    821     "f0058d412a104e53d820b95a7f", "1fa24c6625a0f8e1fc37827ac84d3cc4", false},
    822 
    823    {217, "short message",
    824     "3d5da1af83f7287458bff7a7651ea5d8db72259401333f6b82096996dd7eaf19",
    825     "aacc36972f183057919ff57b49e1", "868765a8fa6aa898ddec0f4123e996be", false},
    826 
    827    {218, "short message",
    828     "c19bdf314c6cf64381425467f42aefa17c1cc9358be16ce31b1d214859ce86aa",
    829     "5d066a92c300e9b6ddd63a7c13ae33", "b96818b7acaf879c7a7f8271375a6914",
    830     false},
    831 
    832    {219, "",
    833     "612e837843ceae7f61d49625faa7e7494f9253e20cb3adcea686512b043936cd",
    834     "cc37fae15f745a2f40e2c8b192f2b38d", "4b88e193000c5a4b23e95c7f2b26530b",
    835     false},
    836 
    837    {220, "",
    838     "73216fafd0022d0d6ee27198b2272578fa8f04dd9f44467fbb6437aa45641bf7",
    839     "d5247b8f6c3edcbfb1d591d13ece23d2f5", "86911c7da51dc0823d6e93d4290d1ad4",
    840     false},
    841 
    842    {221, "",
    843     "0427a70e257528f3ab70640bba1a5de12cf3885dd4c8e284fbbb55feb35294a5",
    844     "13937f8544f44270d01175a011f7670e93fa6ba7ef02336e",
    845     "ccb2c51bfbe2598f9109fc70ed07f0eb", false},
    846 
    847    {222, "",
    848     "96e1e4896fb2cd05f133a6a100bc5609a7ac3ca6d81721e922dadd69ad07a892",
    849     "91a17e4dfcc3166a1add26ff0e7c12056e8a654f28a6de24f4ba739ceb5b5b18",
    850     "925f177d85ea297ef14b203fe409f9ab", false},
    851 
    852    {223, "Flipped bit 0 in tag",
    853     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    854     "6af0a293d8cba0101f0089727691b7fb", true},
    855 
    856    {224, "Flipped bit 0 in tag",
    857     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    858     "0001020304050607", "d709717c3a4ef8a2ea200b297d2accec", true},
    859 
    860    {225, "Flipped bit 0 in tag",
    861     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    862     "000102030405060708090a0b0c0d0e0f", "58ee3f3b5f83e290cae26dad29bba32d",
    863     true},
    864 
    865    {226, "Flipped bit 1 in tag",
    866     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    867     "69f0a293d8cba0101f0089727691b7fb", true},
    868 
    869    {227, "Flipped bit 1 in tag",
    870     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    871     "0001020304050607", "d409717c3a4ef8a2ea200b297d2accec", true},
    872 
    873    {228, "Flipped bit 1 in tag",
    874     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    875     "000102030405060708090a0b0c0d0e0f", "5bee3f3b5f83e290cae26dad29bba32d",
    876     true},
    877 
    878    {229, "Flipped bit 7 in tag",
    879     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    880     "ebf0a293d8cba0101f0089727691b7fb", true},
    881 
    882    {230, "Flipped bit 7 in tag",
    883     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    884     "0001020304050607", "5609717c3a4ef8a2ea200b297d2accec", true},
    885 
    886    {231, "Flipped bit 7 in tag",
    887     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    888     "000102030405060708090a0b0c0d0e0f", "d9ee3f3b5f83e290cae26dad29bba32d",
    889     true},
    890 
    891    {232, "Flipped bit 8 in tag",
    892     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    893     "6bf1a293d8cba0101f0089727691b7fb", true},
    894 
    895    {233, "Flipped bit 8 in tag",
    896     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    897     "0001020304050607", "d608717c3a4ef8a2ea200b297d2accec", true},
    898 
    899    {234, "Flipped bit 8 in tag",
    900     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    901     "000102030405060708090a0b0c0d0e0f", "59ef3f3b5f83e290cae26dad29bba32d",
    902     true},
    903 
    904    {235, "Flipped bit 31 in tag",
    905     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    906     "6bf0a213d8cba0101f0089727691b7fb", true},
    907 
    908    {236, "Flipped bit 31 in tag",
    909     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    910     "0001020304050607", "d60971fc3a4ef8a2ea200b297d2accec", true},
    911 
    912    {237, "Flipped bit 31 in tag",
    913     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    914     "000102030405060708090a0b0c0d0e0f", "59ee3fbb5f83e290cae26dad29bba32d",
    915     true},
    916 
    917    {238, "Flipped bit 32 in tag",
    918     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    919     "6bf0a293d9cba0101f0089727691b7fb", true},
    920 
    921    {239, "Flipped bit 32 in tag",
    922     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    923     "0001020304050607", "d609717c3b4ef8a2ea200b297d2accec", true},
    924 
    925    {240, "Flipped bit 32 in tag",
    926     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    927     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5e83e290cae26dad29bba32d",
    928     true},
    929 
    930    {241, "Flipped bit 33 in tag",
    931     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    932     "6bf0a293dacba0101f0089727691b7fb", true},
    933 
    934    {242, "Flipped bit 33 in tag",
    935     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    936     "0001020304050607", "d609717c384ef8a2ea200b297d2accec", true},
    937 
    938    {243, "Flipped bit 33 in tag",
    939     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    940     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5d83e290cae26dad29bba32d",
    941     true},
    942 
    943    {244, "Flipped bit 63 in tag",
    944     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    945     "6bf0a293d8cba0901f0089727691b7fb", true},
    946 
    947    {245, "Flipped bit 63 in tag",
    948     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    949     "0001020304050607", "d609717c3a4ef822ea200b297d2accec", true},
    950 
    951    {246, "Flipped bit 63 in tag",
    952     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    953     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e210cae26dad29bba32d",
    954     true},
    955 
    956    {247, "Flipped bit 64 in tag",
    957     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    958     "6bf0a293d8cba0101e0089727691b7fb", true},
    959 
    960    {248, "Flipped bit 64 in tag",
    961     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    962     "0001020304050607", "d609717c3a4ef8a2eb200b297d2accec", true},
    963 
    964    {249, "Flipped bit 64 in tag",
    965     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    966     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cbe26dad29bba32d",
    967     true},
    968 
    969    {250, "Flipped bit 71 in tag",
    970     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    971     "6bf0a293d8cba0109f0089727691b7fb", true},
    972 
    973    {251, "Flipped bit 71 in tag",
    974     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    975     "0001020304050607", "d609717c3a4ef8a26a200b297d2accec", true},
    976 
    977    {252, "Flipped bit 71 in tag",
    978     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    979     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e2904ae26dad29bba32d",
    980     true},
    981 
    982    {253, "Flipped bit 77 in tag",
    983     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    984     "6bf0a293d8cba0101f2089727691b7fb", true},
    985 
    986    {254, "Flipped bit 77 in tag",
    987     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    988     "0001020304050607", "d609717c3a4ef8a2ea000b297d2accec", true},
    989 
    990    {255, "Flipped bit 77 in tag",
    991     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    992     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cac26dad29bba32d",
    993     true},
    994 
    995    {256, "Flipped bit 80 in tag",
    996     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    997     "6bf0a293d8cba0101f0088727691b7fb", true},
    998 
    999    {257, "Flipped bit 80 in tag",
   1000     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1001     "0001020304050607", "d609717c3a4ef8a2ea200a297d2accec", true},
   1002 
   1003    {258, "Flipped bit 80 in tag",
   1004     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1005     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26cad29bba32d",
   1006     true},
   1007 
   1008    {259, "Flipped bit 96 in tag",
   1009     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1010     "6bf0a293d8cba0101f0089727791b7fb", true},
   1011 
   1012    {260, "Flipped bit 96 in tag",
   1013     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1014     "0001020304050607", "d609717c3a4ef8a2ea200b297c2accec", true},
   1015 
   1016    {261, "Flipped bit 96 in tag",
   1017     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1018     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26dad28bba32d",
   1019     true},
   1020 
   1021    {262, "Flipped bit 97 in tag",
   1022     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1023     "6bf0a293d8cba0101f0089727491b7fb", true},
   1024 
   1025    {263, "Flipped bit 97 in tag",
   1026     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1027     "0001020304050607", "d609717c3a4ef8a2ea200b297f2accec", true},
   1028 
   1029    {264, "Flipped bit 97 in tag",
   1030     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1031     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26dad2bbba32d",
   1032     true},
   1033 
   1034    {265, "Flipped bit 103 in tag",
   1035     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1036     "6bf0a293d8cba0101f008972f691b7fb", true},
   1037 
   1038    {266, "Flipped bit 103 in tag",
   1039     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1040     "0001020304050607", "d609717c3a4ef8a2ea200b29fd2accec", true},
   1041 
   1042    {267, "Flipped bit 103 in tag",
   1043     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1044     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26dada9bba32d",
   1045     true},
   1046 
   1047    {268, "Flipped bit 120 in tag",
   1048     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1049     "6bf0a293d8cba0101f0089727691b7fa", true},
   1050 
   1051    {269, "Flipped bit 120 in tag",
   1052     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1053     "0001020304050607", "d609717c3a4ef8a2ea200b297d2acced", true},
   1054 
   1055    {270, "Flipped bit 120 in tag",
   1056     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1057     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26dad29bba32c",
   1058     true},
   1059 
   1060    {271, "Flipped bit 121 in tag",
   1061     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1062     "6bf0a293d8cba0101f0089727691b7f9", true},
   1063 
   1064    {272, "Flipped bit 121 in tag",
   1065     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1066     "0001020304050607", "d609717c3a4ef8a2ea200b297d2accee", true},
   1067 
   1068    {273, "Flipped bit 121 in tag",
   1069     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1070     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26dad29bba32f",
   1071     true},
   1072 
   1073    {274, "Flipped bit 126 in tag",
   1074     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1075     "6bf0a293d8cba0101f0089727691b7bb", true},
   1076 
   1077    {275, "Flipped bit 126 in tag",
   1078     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1079     "0001020304050607", "d609717c3a4ef8a2ea200b297d2accac", true},
   1080 
   1081    {276, "Flipped bit 126 in tag",
   1082     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1083     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26dad29bba36d",
   1084     true},
   1085 
   1086    {277, "Flipped bit 127 in tag",
   1087     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1088     "6bf0a293d8cba0101f0089727691b77b", true},
   1089 
   1090    {278, "Flipped bit 127 in tag",
   1091     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1092     "0001020304050607", "d609717c3a4ef8a2ea200b297d2acc6c", true},
   1093 
   1094    {279, "Flipped bit 127 in tag",
   1095     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1096     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e290cae26dad29bba3ad",
   1097     true},
   1098 
   1099    {280, "Flipped bits 0 and 64 in tag",
   1100     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1101     "6af0a293d8cba0101e0089727691b7fb", true},
   1102 
   1103    {281, "Flipped bits 0 and 64 in tag",
   1104     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1105     "0001020304050607", "d709717c3a4ef8a2eb200b297d2accec", true},
   1106 
   1107    {282, "Flipped bits 0 and 64 in tag",
   1108     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1109     "000102030405060708090a0b0c0d0e0f", "58ee3f3b5f83e290cbe26dad29bba32d",
   1110     true},
   1111 
   1112    {283, "Flipped bits 31 and 63 in tag",
   1113     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1114     "6bf0a213d8cba0901f0089727691b7fb", true},
   1115 
   1116    {284, "Flipped bits 31 and 63 in tag",
   1117     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1118     "0001020304050607", "d60971fc3a4ef822ea200b297d2accec", true},
   1119 
   1120    {285, "Flipped bits 31 and 63 in tag",
   1121     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1122     "000102030405060708090a0b0c0d0e0f", "59ee3fbb5f83e210cae26dad29bba32d",
   1123     true},
   1124 
   1125    {286, "Flipped bits 63 and 127 in tag",
   1126     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1127     "6bf0a293d8cba0901f0089727691b77b", true},
   1128 
   1129    {287, "Flipped bits 63 and 127 in tag",
   1130     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1131     "0001020304050607", "d609717c3a4ef822ea200b297d2acc6c", true},
   1132 
   1133    {288, "Flipped bits 63 and 127 in tag",
   1134     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1135     "000102030405060708090a0b0c0d0e0f", "59ee3f3b5f83e210cae26dad29bba3ad",
   1136     true},
   1137 
   1138    {289, "all bits of tag flipped",
   1139     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1140     "940f5d6c27345fefe0ff768d896e4804", true},
   1141 
   1142    {290, "all bits of tag flipped",
   1143     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1144     "0001020304050607", "29f68e83c5b1075d15dff4d682d53313", true},
   1145 
   1146    {291, "all bits of tag flipped",
   1147     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1148     "000102030405060708090a0b0c0d0e0f", "a611c0c4a07c1d6f351d9252d6445cd2",
   1149     true},
   1150 
   1151    {292, "Tag changed to all zero",
   1152     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1153     "00000000000000000000000000000000", true},
   1154 
   1155    {293, "Tag changed to all zero",
   1156     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1157     "0001020304050607", "00000000000000000000000000000000", true},
   1158 
   1159    {294, "Tag changed to all zero",
   1160     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1161     "000102030405060708090a0b0c0d0e0f", "00000000000000000000000000000000",
   1162     true},
   1163 
   1164    {295, "tag changed to all 1",
   1165     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1166     "ffffffffffffffffffffffffffffffff", true},
   1167 
   1168    {296, "tag changed to all 1",
   1169     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1170     "0001020304050607", "ffffffffffffffffffffffffffffffff", true},
   1171 
   1172    {297, "tag changed to all 1",
   1173     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1174     "000102030405060708090a0b0c0d0e0f", "ffffffffffffffffffffffffffffffff",
   1175     true},
   1176 
   1177    {298, "msbs changed in tag",
   1178     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1179     "eb702213584b20909f8009f2f611377b", true},
   1180 
   1181    {299, "msbs changed in tag",
   1182     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1183     "0001020304050607", "5689f1fcbace78226aa08ba9fdaa4c6c", true},
   1184 
   1185    {300, "msbs changed in tag",
   1186     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1187     "000102030405060708090a0b0c0d0e0f", "d96ebfbbdf0362104a62ed2da93b23ad",
   1188     true},
   1189 
   1190    {301, "lsbs changed in tag",
   1191     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
   1192     "6af1a392d9caa1111e0188737790b6fa", true},
   1193 
   1194    {302, "lsbs changed in tag",
   1195     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1196     "0001020304050607", "d708707d3b4ff9a3eb210a287c2bcded", true},
   1197 
   1198    {303, "lsbs changed in tag",
   1199     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
   1200     "000102030405060708090a0b0c0d0e0f", "58ef3e3a5e82e391cbe36cac28baa22c",
   1201     true},
   1202 
   1203    {304, "invalid key size", "", "00b9449326d39416", "", true},
   1204 
   1205    {305, "invalid key size", "0f", "4538b79a1397e2aa", "", true},
   1206 
   1207    {306, "invalid key size", "a88e385af7185148", "dc63b7ef08096e4f", "", true},
   1208 
   1209    {307, "invalid key size", "003a228008d390b645929df73a2b2bdd8298918d",
   1210     "ad1d3c3122ab7ac6", "", true},
   1211 
   1212    {308, "invalid key size",
   1213     "94baaac150e2645ae1ec1939c7bcefb73f6edb146fae02289b6c6326ff39bc265d612bef2"
   1214     "727fa72",
   1215     "e3f75a886c4a5591", "", true}};
   1216 
   1217 #endif  // cmac_vectors_h__