tor-browser

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

hmac-sha256-vectors.h (37771B)


      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 hmac_sha256_vectors_h__
     11 #define hmac_sha256_vectors_h__
     12 
     13 #include "testvectors_base/test-structs.h"
     14 
     15 const HmacTestVector kHmacSha256WycheproofVectors[] = {
     16    {1, "empty message",
     17     "1e225cafb90339bba1b24076d4206c3e79c355805d851682bc818baa4f5a7779", "",
     18     "b175b57d89ea6cb606fb3363f2538abd73a4c00b4a1386905bac809004cf1933", false},
     19 
     20    {2, "short message",
     21     "8159fd15133cd964c9a6964c94f0ea269a806fd9f43f0da58b6cd1b33d189b2a", "77",
     22     "dfc5105d5eecf7ae7b8b8de3930e7659e84c4172f2555142f1e568fc1872ad93", false},
     23 
     24    {3, "short message",
     25     "85a7cbaae825bb82c9b6f6c5c2af5ac03d1f6daa63d2a93c189948ec41b9ded9", "a59b",
     26     "0fe2f13bba2198f6dda1a084be928e304e9cb16a56bc0b7b939a073280244373", false},
     27 
     28    {4, "short message",
     29     "48f3029334e55cfbd574ccc765fb2c3685aab1f4837d23370874a3e634c3a76d",
     30     "c7b8b2",
     31     "6c13f79bb2d5b6f9a315fe8fd6cbb5cb817a660687009deccd88c377429e596d", false},
     32 
     33    {5, "short message",
     34     "de8b5b5b2f09645be47ecb6407a4e1d9c6b33ae3c2d22517d3357da0357a3139",
     35     "cc021d65",
     36     "e87538eb167e62d7cb236690ff3f034a9c12d417aa8dfa694d7405f9e1f85fe8", false},
     37 
     38    {6, "short message",
     39     "b7938910f518f13205ca1492c669001a14ff913c8ab4a0dc3564e7418e91297c",
     40     "a4a6ef6ebd",
     41     "01a93f4ed216d0b280896301e366aa67b25e6b6a5a6e84f291a13391c6e496c5", false},
     42 
     43    {7, "short message",
     44     "1bb997ff4de8a5a391de5c08a33bc2c7c2891e47ad5b9c63110192f78b98fe78",
     45     "667e015df7fc",
     46     "06b5d8c5392323a802bc5cdd0b3c527454a873d9651c368836eaa4ad982ba546", false},
     47 
     48    {8, "short message",
     49     "32fdeda39f98b4f4426c2d2ac00ab5dd4bfabb68f311447256ed6d3d3a51b154",
     50     "4163a9f77e41f5",
     51     "1b0103729f48c2772bb132aef9ebd6dd6aafc9145df6d5c514b233ee92ef4a00", false},
     52 
     53    {9, "short message",
     54     "233e4fdee70bcc20235b6977ddfc05b0df66f5635d827c66e5a63cdb16a24938",
     55     "fdb2ee4b6d1a0ac2",
     56     "120b26ee1355c134c262513c7922deb6c4fd90303de4cd61b9f9cd08f22d6e18", false},
     57 
     58    {10, "short message",
     59     "b984c6734e0bd12b1737b2fc7a1b3803b4dfec402140a57b9eccc35414ae661b",
     60     "dea584d0e2a14ad5fd",
     61     "88bc2282e5fce47ec6d9895395cd47fff91a0cdc589a8fd56d8d344616533a3d", false},
     62 
     63    {11, "short message",
     64     "d0caf1456ac5e255fa6afd61a79dc8c716f5358a298a508271363fe1ff983561",
     65     "18261dc806913c534666",
     66     "f678f081d83cf126ad6bd52c2dffd786214f519c47452b85a97458d0c10c3ee5", false},
     67 
     68    {12, "short message",
     69     "835bc8241ed817735ec9d3d0e2df4c173ee4dded4a8ef0c04a96c48f11820463",
     70     "26f8083e944bacf04e9a4d",
     71     "e0e46cd7d1a75b3d102893da64def46e455308761f1d908786628ca7ee22a0eb", false},
     72 
     73    {13, "short message",
     74     "055f95c9461b0809575eccdfa5cdd06275f25d30915c4eb8db40e1acd3ab7591",
     75     "bfb7d6a08dbaa5225f320887",
     76     "e76d5c8c070a6b3c4824e9f342dc3056e63819509e1def98b585aeba0d638a00", false},
     77 
     78    {14, "short message",
     79     "e40f7a3eb88ddec4c6347ea4d67610756c82c8ebcc237629bf873ccabc32984a",
     80     "7fe43febc78474649e45bf99b2",
     81     "aa57d020aa24ad823472c2b80ff2d0cf475f7de0068f9a59e8112fede53a3581", false},
     82 
     83    {15, "short message",
     84     "b020ad1de1c141f7ec615ee5701521773f9b232e4d06376c382894ce51a61f48",
     85     "81c7581a194b5e71b41146a582c1",
     86     "f45c72603cc160c0762f703407844a7781dfe0f1ddf0aaf4ccd8205e94469aed", false},
     87 
     88    {16, "short message",
     89     "9f3fd61a105202648ecff6074c95e502c1c51acd32ec538a5cce89ef841f7989",
     90     "2a76f2acdace42e3b779724946912c",
     91     "0226ee13cc05e2340135b3f4b27a9da1a160f6170fe805dadd98a3711ec9c421", false},
     92 
     93    {17, "", "6fa353868c82e5deeedac7f09471a61bf749ab5498239e947e012eee3c82d7c4",
     94     "aeed3e4d4cb9bbb60d482e98c126c0f5",
     95     "9ed7f0e73812a27a87a3808ee0c89a6456499e835974ba57c5aab2a0d8c69e93", false},
     96 
     97    {18, "", "5300489494ca86221c91d6d953952ae1a5e097139dc9cf1179c2f56433753824",
     98     "90fea6cf2bd811b449f333ee9233e57697",
     99     "5b692cba13b54fffc3adcbb0e015cc011fbfd61235303ff0ad2a49775083bf22", false},
    100 
    101    {19, "", "383e7c5c13476a62268423ef0500479f9e86e236c5a081c6449189e6afdf2af5",
    102     "3202705af89f9555c540b0e1276911d01971abb2c35c78b2",
    103     "4e4901592ba46476408d758435c7d1b489d2689afd84ceaaee78bfb91fd9391d", false},
    104 
    105    {20, "", "186e248ad824e1eb93329a7fdcd565b6cb4eaf3f85b90b910777128d8c538d27",
    106     "92ef9ff52f46eccc7e38b9ee19fd2de3b37726c8e6ce9e1b96db5dda4c317902",
    107     "3fc1d73dd4a8858c1fc3d8c4a3f33ed5ad0c70210038394a5902cb26fe287348", false},
    108 
    109    {21, "long message",
    110     "28855c7efc8532d92567300933cc1ca2d0586f55dcc9f054fcca2f05254fbf7f",
    111     "9c09207ff0e6e582cb3747dca954c94d45c05e93f1e6f21179cf0e25b4cede74b5479d32f"
    112     "5166935c86f0441905865",
    113     "788c0589000fb7f0b5d51f1596472bc9ec413421a43df96ee32b02b5d275ffe3", false},
    114 
    115    {22, "long message",
    116     "8e540cb30c94836ae2a5950f355d482a7002e255207e94fda3f7ef1a099013a0",
    117     "d6500f95e11262e308bf3df4df4b855f33e857563d4543f195639a0a17b442eb9fdcc1367"
    118     "d2eee75c8f805730b89290f",
    119     "39697e70ce741feb33dedc069f00b5627fd9b837d10cbdd5b6d19cfbd511dd2c", false},
    120 
    121    {23, "long message",
    122     "69c50d5274358188cff4c0fae742243d4e8a5e5ba55d94ff40edd90f6a43dd10",
    123     "1ac5255aff052828d8ea21b376f1ebdd4bb879949913900405aebce83e48feb6813b5e9c8"
    124     "9f94501a8ade41b26b815c521",
    125     "4b0b4d0416fa2e11586fbfa7fb11261e69991dfa34019b9893d69a2be8c1fc80", false},
    126 
    127    {24, "long message",
    128     "23209b7c5aadcbd13f7279af1a86d3c7ae8f179d1bcaaad0dff9a15302e78dbf",
    129     "84bdac37e1af35d9356404e2787d47ece58348dea76a4a46e8aade3463d4db8c94a051be3"
    130     "733b38d756984865d56c60e8025f15e3f968f093e7fb7ebc7e31189c5692d15ed4256737b"
    131     "9b1894e5809503aaa1c9983fb096aa21916361eeb6ef455b129723a1a1ddf9deddea20852"
    132     "9a648",
    133     "4a85c479d1650dbd73bc5248074a55ff50218bddaa8d1fddaaf44946dc19aefb", false},
    134 
    135    {25, "long message",
    136     "7c9cc667cae175f448faa96647319633b2d48531373ae7d316c44ddd8b9f69cf",
    137     "9233c1d73b498c5106ff88951e07b9652cb0ddae740737ec205c9876d094978bfc947f7dc"
    138     "937119fd6a93915b19b625958a7a22363aa2ac33fb869ed16b303336ab740a0498a2df66a"
    139     "6599da710094481a7b544bd955b6f97135ba4673401db2db144a6e287041e47a51ed9b6ba"
    140     "956c13508c1c0c25310105239ab73629e30",
    141     "ca1b80441d333909c2bb30769650055051ed20f17de8ee953cb9070af56c704f", false},
    142 
    143    {26, "long message",
    144     "82314540564ea3ce30591e97f68b2602de40fa29f773c2508327471b8348e8c4",
    145     "6a6d2f45cebf2757ae16ea33c68617671d77f8fdf80bed8fc5cdc5c8b7086bd28e7eb3eec"
    146     "c7163491104e5309455e67f836579b82a1da3bf5991a8e2b2f189a49e05700e46c409ed5d"
    147     "e77780a5f389e3f13dad406c9d55675329c5c921f07034180937c0f6ef34a2308b6ff3e1a"
    148     "0e9dc1ea65f5632730e8744d1db2c40a6595b",
    149     "0900b3e6535d34f90e2c335775e86bf38ee7e3d26fb60cd9cdf639eb3496b94c", false},
    150 
    151    {27, "long message",
    152     "d115acc9a636915241795f48852052e07b51273ae2448251ec1d0d0f9807f3db",
    153     "696d2456de853fa028f486fef437b6b6d1b530a8475e299db3a9005ae9cef8401985b7d31"
    154     "e172e8f439ccd1ad1ec44c9b86b78f3f243c1305b53bc21abad7a8fc5256311bfd34c98e3"
    155     "7dfdc649e7ae4bda08cf2994b063c0c7106ed0b02a1f48af9191cbfb0d6a953b7e04327df"
    156     "e8c93779cb574ba9cba575d01674e83621aa0c5f400d6e6cd24b301e33c9f3303e73bf357"
    157     "408c1be86c2489c09de998ff2ef32df554f1247d9313ce1a7160115d06f4c18d6556ff798"
    158     "6ef8a55e2adcfa27e4c69c71cc2ff01639e9d49bd9ed0687f530ffeb0890132457df20880"
    159     "81bc4a2f7f0a9f4dcea2c80d991db7f3747a1803d7619aaf3dd382c69536a0bcdb931cbe",
    160     "82f92977f0b605eaada510ffceb53ad75fde16a8029f1b75b406a84270dbb8b7", false},
    161 
    162    {28, "Flipped bit 0 in tag",
    163     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    164     "d28b42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    165 
    166    {29, "Flipped bit 0 in tag",
    167     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    168     "000102030405060708090a0b0c0d0e0f",
    169     "d9b99f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    170 
    171    {30, "Flipped bit 1 in tag",
    172     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    173     "d18b42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    174 
    175    {31, "Flipped bit 1 in tag",
    176     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    177     "000102030405060708090a0b0c0d0e0f",
    178     "dab99f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    179 
    180    {32, "Flipped bit 7 in tag",
    181     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    182     "538b42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    183 
    184    {33, "Flipped bit 7 in tag",
    185     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    186     "000102030405060708090a0b0c0d0e0f",
    187     "58b99f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    188 
    189    {34, "Flipped bit 8 in tag",
    190     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    191     "d38a42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    192 
    193    {35, "Flipped bit 8 in tag",
    194     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    195     "000102030405060708090a0b0c0d0e0f",
    196     "d8b89f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    197 
    198    {36, "Flipped bit 31 in tag",
    199     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    200     "d38b42896d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    201 
    202    {37, "Flipped bit 31 in tag",
    203     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    204     "000102030405060708090a0b0c0d0e0f",
    205     "d8b99fa709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    206 
    207    {38, "Flipped bit 32 in tag",
    208     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    209     "d38b42096c80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    210 
    211    {39, "Flipped bit 32 in tag",
    212     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    213     "000102030405060708090a0b0c0d0e0f",
    214     "d8b99f2708a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    215 
    216    {40, "Flipped bit 33 in tag",
    217     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    218     "d38b42096f80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    219 
    220    {41, "Flipped bit 33 in tag",
    221     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    222     "000102030405060708090a0b0c0d0e0f",
    223     "d8b99f270ba3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    224 
    225    {42, "Flipped bit 63 in tag",
    226     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    227     "d38b42096d80f4df826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    228 
    229    {43, "Flipped bit 63 in tag",
    230     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    231     "000102030405060708090a0b0c0d0e0f",
    232     "d8b99f2709a3caf4172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    233 
    234    {44, "Flipped bit 64 in tag",
    235     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    236     "d38b42096d80f45f836b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    237 
    238    {45, "Flipped bit 64 in tag",
    239     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    240     "000102030405060708090a0b0c0d0e0f",
    241     "d8b99f2709a3ca74162cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    242 
    243    {46, "Flipped bit 71 in tag",
    244     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    245     "d38b42096d80f45f026b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    246 
    247    {47, "Flipped bit 71 in tag",
    248     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    249     "000102030405060708090a0b0c0d0e0f",
    250     "d8b99f2709a3ca74972cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    251 
    252    {48, "Flipped bit 77 in tag",
    253     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    254     "d38b42096d80f45f824b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    255 
    256    {49, "Flipped bit 77 in tag",
    257     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    258     "000102030405060708090a0b0c0d0e0f",
    259     "d8b99f2709a3ca74170cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    260 
    261    {50, "Flipped bit 80 in tag",
    262     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    263     "d38b42096d80f45f826b45a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    264 
    265    {51, "Flipped bit 80 in tag",
    266     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    267     "000102030405060708090a0b0c0d0e0f",
    268     "d8b99f2709a3ca74172cbf93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    269 
    270    {52, "Flipped bit 96 in tag",
    271     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    272     "d38b42096d80f45f826b44a9d4607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    273 
    274    {53, "Flipped bit 96 in tag",
    275     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    276     "000102030405060708090a0b0c0d0e0f",
    277     "d8b99f2709a3ca74172cbe93834c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    278 
    279    {54, "Flipped bit 97 in tag",
    280     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    281     "d38b42096d80f45f826b44a9d7607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    282 
    283    {55, "Flipped bit 97 in tag",
    284     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    285     "000102030405060708090a0b0c0d0e0f",
    286     "d8b99f2709a3ca74172cbe93804c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    287 
    288    {56, "Flipped bit 103 in tag",
    289     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    290     "d38b42096d80f45f826b44a955607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    291 
    292    {57, "Flipped bit 103 in tag",
    293     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    294     "000102030405060708090a0b0c0d0e0f",
    295     "d8b99f2709a3ca74172cbe93024c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    296 
    297    {58, "Flipped bit 248 in tag",
    298     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    299     "d38b42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1ca", true},
    300 
    301    {59, "Flipped bit 248 in tag",
    302     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    303     "000102030405060708090a0b0c0d0e0f",
    304     "d8b99f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14f", true},
    305 
    306    {60, "Flipped bit 249 in tag",
    307     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    308     "d38b42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1c9", true},
    309 
    310    {61, "Flipped bit 249 in tag",
    311     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    312     "000102030405060708090a0b0c0d0e0f",
    313     "d8b99f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14c", true},
    314 
    315    {62, "Flipped bit 254 in tag",
    316     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    317     "d38b42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc18b", true},
    318 
    319    {63, "Flipped bit 254 in tag",
    320     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    321     "000102030405060708090a0b0c0d0e0f",
    322     "d8b99f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef10e", true},
    323 
    324    {64, "Flipped bit 255 in tag",
    325     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    326     "d38b42096d80f45f826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc14b", true},
    327 
    328    {65, "Flipped bit 255 in tag",
    329     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    330     "000102030405060708090a0b0c0d0e0f",
    331     "d8b99f2709a3ca74172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef1ce", true},
    332 
    333    {66, "Flipped bits 0 and 64 in tag",
    334     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    335     "d28b42096d80f45f836b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    336 
    337    {67, "Flipped bits 0 and 64 in tag",
    338     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    339     "000102030405060708090a0b0c0d0e0f",
    340     "d9b99f2709a3ca74162cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    341 
    342    {68, "Flipped bits 31 and 63 in tag",
    343     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    344     "d38b42896d80f4df826b44a9d5607de72496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    345 
    346    {69, "Flipped bits 31 and 63 in tag",
    347     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    348     "000102030405060708090a0b0c0d0e0f",
    349     "d8b99fa709a3caf4172cbe93824c1f29b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    350 
    351    {70, "Flipped bits 63 and 127 in tag",
    352     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    353     "d38b42096d80f4df826b44a9d5607d672496a415d3f4a1a8c88e3bb9da8dc1cb", true},
    354 
    355    {71, "Flipped bits 63 and 127 in tag",
    356     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    357     "000102030405060708090a0b0c0d0e0f",
    358     "d8b99f2709a3caf4172cbe93824c1fa9b23a0c1e9c21bd851ff2d2c39dbef14e", true},
    359 
    360    {72, "all bits of tag flipped",
    361     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    362     "2c74bdf6927f0ba07d94bb562a9f8218db695bea2c0b5e573771c44625723e34", true},
    363 
    364    {73, "all bits of tag flipped",
    365     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    366     "000102030405060708090a0b0c0d0e0f",
    367     "274660d8f65c358be8d3416c7db3e0d64dc5f3e163de427ae00d2d3c62410eb1", true},
    368 
    369    {74, "Tag changed to all zero",
    370     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    371     "0000000000000000000000000000000000000000000000000000000000000000", true},
    372 
    373    {75, "Tag changed to all zero",
    374     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    375     "000102030405060708090a0b0c0d0e0f",
    376     "0000000000000000000000000000000000000000000000000000000000000000", true},
    377 
    378    {76, "tag changed to all 1",
    379     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    380     "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", true},
    381 
    382    {77, "tag changed to all 1",
    383     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    384     "000102030405060708090a0b0c0d0e0f",
    385     "ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff", true},
    386 
    387    {78, "msbs changed in tag",
    388     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    389     "530bc289ed0074df02ebc42955e0fd67a416249553742128480ebb395a0d414b", true},
    390 
    391    {79, "msbs changed in tag",
    392     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    393     "000102030405060708090a0b0c0d0e0f",
    394     "58391fa789234af497ac3e1302cc9fa932ba8c9e1ca13d059f7252431d3e71ce", true},
    395 
    396    {80, "lsbs changed in tag",
    397     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    398     "d28a43086c81f55e836a45a8d4617ce62597a514d2f5a0a9c98f3ab8db8cc0ca", true},
    399 
    400    {81, "lsbs changed in tag",
    401     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    402     "000102030405060708090a0b0c0d0e0f",
    403     "d9b89e2608a2cb75162dbf92834d1e28b33b0d1f9d20bc841ef3d3c29cbff04f", true},
    404 
    405    {82, "empty message",
    406     "7bf9e536b66a215c22233fe2daaa743a898b9acb9f7802de70b40e3d6e43ef97", "",
    407     "f4605585949747de26f3ee98a738b172", false},
    408 
    409    {83, "short message",
    410     "e754076ceab3fdaf4f9bcab7d4f0df0cbbafbc87731b8f9b7cd2166472e8eebc", "40",
    411     "0dc00d7217bbafe8d78bf961189b8fd2", false},
    412 
    413    {84, "short message",
    414     "ea3b016bdd387dd64d837c71683808f335dbdc53598a4ea8c5f952473fafaf5f", "6601",
    415     "ff296b368d3bf059cc48682f6949ccaa", false},
    416 
    417    {85, "short message",
    418     "73d4709637857dafab6ad8b2b0a51b06524717fedf100296644f7cfdaae1805b",
    419     "f1d300", "2d02bd1c25b1fe52b1ead07374d6e883", false},
    420 
    421    {86, "short message",
    422     "d5c81b399d4c0d1583a13da56de6d2dc45a66e7b47c24ab1192e246dc961dd77",
    423     "2ae63cbf", "4d9e8bddf9b7a1218309d5988aa1b0d9", false},
    424 
    425    {87, "short message",
    426     "2521203fa0dddf59d837b2830f87b1aa61f958155df3ca4d1df2457cb4284dc8",
    427     "af3a015ea1", "cb8a4b413350b42f4ac3533cc7f47864", false},
    428 
    429    {88, "short message",
    430     "665a02bc265a66d01775091da56726b6668bfd903cb7af66fb1b78a8a062e43c",
    431     "3f56935def3f", "1cfce745db1ca7de9a1d4420e612ca55", false},
    432 
    433    {89, "short message",
    434     "facd75b22221380047305bc981f570e2a1af38928ea7e2059e3af5fc6b82b493",
    435     "57bb86beed156f", "0bde0d0c756df09d4f6da81b299a3adf", false},
    436 
    437    {90, "short message",
    438     "505aa98819809ef63b9a368a1e8bc2e922da45b03ce02d9a7966b15006dba2d5",
    439     "2e4e7ef728fe11af", "406a5c2bd3e6a9595f9b7dff608d59a7", false},
    440 
    441    {91, "short message",
    442     "f942093842808ba47f64e427f7351dde6b9546e66de4e7d60aa6f328182712cf",
    443     "852a21d92848e627c7", "0b1bf9e98d0a794fa55c09b63e25799f", false},
    444 
    445    {92, "short message",
    446     "64be162b39c6e5f1fed9c32d9f674d9a8cde6eaa2443214d86bd4a1fb53b81b4",
    447     "195a3b292f93baff0a2c", "71f33f6021d90858cadb1353d7fbe8d7", false},
    448 
    449    {93, "short message",
    450     "b259a555d44b8a20c5489e2f38392ddaa6be9e35b9833b67e1b5fdf6cb3e4c6c",
    451     "afd73117330c6e8528a6e4", "4b8d76372ebe5e5caa56ca4e5c59cdd3", false},
    452 
    453    {94, "short message",
    454     "2c6fc62daa77ba8c6881b3dd6989898fef646663cc7b0a3db8228a707b85f2dc",
    455     "0ff54d6b6759120c2e8a51e3", "c580c542846a96e84ea77701778455bf", false},
    456 
    457    {95, "short message",
    458     "abab815d51df29f740e4e2079fb798e0152836e6ab57d1536ae8929e52c06eb8",
    459     "f0058d412a104e53d820b95a7f", "13cdb005059338f0f28e2d8ce1af5d0a", false},
    460 
    461    {96, "short message",
    462     "3d5da1af83f7287458bff7a7651ea5d8db72259401333f6b82096996dd7eaf19",
    463     "aacc36972f183057919ff57b49e1", "bd993e4428cbc0e275e4d80b6f520363", false},
    464 
    465    {97, "short message",
    466     "c19bdf314c6cf64381425467f42aefa17c1cc9358be16ce31b1d214859ce86aa",
    467     "5d066a92c300e9b6ddd63a7c13ae33", "86c9f4dde0b257a7053a7b03c7504409",
    468     false},
    469 
    470    {98, "", "612e837843ceae7f61d49625faa7e7494f9253e20cb3adcea686512b043936cd",
    471     "cc37fae15f745a2f40e2c8b192f2b38d", "b96bcacafac30094f18ac5039e7b3656",
    472     false},
    473 
    474    {99, "", "73216fafd0022d0d6ee27198b2272578fa8f04dd9f44467fbb6437aa45641bf7",
    475     "d5247b8f6c3edcbfb1d591d13ece23d2f5", "6e597c4c3861a380c06854b446fc2a87",
    476     false},
    477 
    478    {100, "",
    479     "0427a70e257528f3ab70640bba1a5de12cf3885dd4c8e284fbbb55feb35294a5",
    480     "13937f8544f44270d01175a011f7670e93fa6ba7ef02336e",
    481     "f731aaf2f04023d621f10495344679a0", false},
    482 
    483    {101, "",
    484     "96e1e4896fb2cd05f133a6a100bc5609a7ac3ca6d81721e922dadd69ad07a892",
    485     "91a17e4dfcc3166a1add26ff0e7c12056e8a654f28a6de24f4ba739ceb5b5b18",
    486     "95243eb1a9d448174ae4fccf4a53ebfe", false},
    487 
    488    {102, "long message",
    489     "41201567be4e6ea06de2295fd0e6e8a7d862bb57311894f525d8adeabba4a3e4",
    490     "58c8c73bdd3f350c97477816eae4d0789c9369c0e99c248902c700bc29ed986425985eb3f"
    491     "a55709b73bf620cd9b1cb",
    492     "343367207f71425d8f81f3110b0405f6", false},
    493 
    494    {103, "long message",
    495     "649e373e681ef52e3c10ac265484750932a9918f28fb824f7cb50adab39781fe",
    496     "39b447bd3a01983c1cb761b456d69000948ceb870562a536126a0d18a8e7e49b16de8fe67"
    497     "2f13d0808d8b7d957899917",
    498     "151618eec4f503f3b63b539de0a58966", false},
    499 
    500    {104, "long message",
    501     "7b0d237f7b536e2c6950990e61b361b384333dda690045c591321a4e3f79747f",
    502     "3d6283d11c0219b525620e9bf5b9fd887d3f0f707acb1fbdffab0d97a5c6d07fc547762e0"
    503     "e7dd7c43ad35fab1c790f8047",
    504     "ce201c0dcfdc3f2bef360609a31fb19e", false},
    505 
    506    {105, "long message",
    507     "17c92663741f012e5bb6714e614c2d155948617f10936269d954c58aba2ae62d",
    508     "7fdd6a15c861d0313f6635d77dc55e115ff18c8ab063b5d03eab472eeca87a378188f2581"
    509     "3515cf90b6cffa94a8ff36b29d65603eab3fbd2aa9500b261e184049893dc6ca2010becac"
    510     "163053f211070bdda621b8bd8af77e450268603b52db34c90be836dfebddef42303f724e6"
    511     "3bf0f",
    512     "76e8dfd94db4af9d79d9718eec46cb2d", false},
    513 
    514    {106, "long message",
    515     "424c6b22606fcc094ae82fc5d3cbe484174c2211b3ec778091cac34a8e38a152",
    516     "d96ff062e2490e8e0c54c5a8b89e85b25a66d93d7c2b93bdfef846b70d38672746a4b988d"
    517     "08f15a5c527ca4f2c80e53f7c6ac0521bc57ebe38209180cbf934e0bbeb58cfb63d75da64"
    518     "af41d09ce174af1896f42522910fced35ea000402e95fd3ac7aa6d5e0a6b533b0879bc466"
    519     "019b3a5e6b16e4bd1ea6cdfc9ccc1d6f0f0",
    520     "eda709c7009714c372d0d6a63dfde469", false},
    521 
    522    {107, "long message",
    523     "15d553c8da433d53cdc7f15087a70349caab57b379a4078928ce9b99302e31a6",
    524     "d6c0c53b73f74fb426adfdc143d70db7f7a8f8ed32a2faef263cf9ab117537b6b9d1728bd"
    525     "1000c1f28906c6ce6ad21862bfa4d689c1a8ebe3868b992098b7f981b2af5189a6adedff5"
    526     "3a6c70c83693f5c8d6385a9a8a4dca017c5716ac4d5b9765c5ca2ab5f9867e02795198c0b"
    527     "9527e07d08af52dbcb91ceb3d8b412a2b2402",
    528     "8ca1402bf8fc23442ac2067be925b828", false},
    529 
    530    {108, "long message",
    531     "ffe559468a1031dfb3ced2e381e74b5821a36d9abf5f2e59895a7fdca0fa56a0",
    532     "238899a84a3cf15202a1fbef4741e133fb24c009a0cd83854c6d1d7c9266d4c3eafe6d1df"
    533     "c18f13845ccdad7fe277627b5fd5ff2555ce6dfde1ee078540a0a3590c6d9bf2fb63ba9af"
    534     "be9380e797be7cd017645c5a3613eef38ef89e3b7461e6e700ff2b4deef5636c9d2198b14"
    535     "3f797ca1820a3dcc5d462ebf4a8c4c09eb202a23592eb9524082c79adda8fcd56d256041a"
    536     "26bf8f523962ba911ce5a5786570d65be3c4df722ed8830302065febdf944715298a1fbb7"
    537     "d10b68d7da2bf889324314ce51e815c7fbf03aa0a8358aff3a86eb7a33f9a4923660db304"
    538     "7e793bebb0c6918f4395d400381723fdae2832c36efc8e368a68f30f6351c3bc942cd560",
    539     "a830b313f4936dea56a3aefd6a3ebe7d", false},
    540 
    541    {109, "Flipped bit 0 in tag",
    542     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    543     "d28b42096d80f45f826b44a9d5607de7", true},
    544 
    545    {110, "Flipped bit 0 in tag",
    546     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    547     "000102030405060708090a0b0c0d0e0f", "d9b99f2709a3ca74172cbe93824c1f29",
    548     true},
    549 
    550    {111, "Flipped bit 1 in tag",
    551     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    552     "d18b42096d80f45f826b44a9d5607de7", true},
    553 
    554    {112, "Flipped bit 1 in tag",
    555     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    556     "000102030405060708090a0b0c0d0e0f", "dab99f2709a3ca74172cbe93824c1f29",
    557     true},
    558 
    559    {113, "Flipped bit 7 in tag",
    560     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    561     "538b42096d80f45f826b44a9d5607de7", true},
    562 
    563    {114, "Flipped bit 7 in tag",
    564     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    565     "000102030405060708090a0b0c0d0e0f", "58b99f2709a3ca74172cbe93824c1f29",
    566     true},
    567 
    568    {115, "Flipped bit 8 in tag",
    569     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    570     "d38a42096d80f45f826b44a9d5607de7", true},
    571 
    572    {116, "Flipped bit 8 in tag",
    573     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    574     "000102030405060708090a0b0c0d0e0f", "d8b89f2709a3ca74172cbe93824c1f29",
    575     true},
    576 
    577    {117, "Flipped bit 31 in tag",
    578     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    579     "d38b42896d80f45f826b44a9d5607de7", true},
    580 
    581    {118, "Flipped bit 31 in tag",
    582     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    583     "000102030405060708090a0b0c0d0e0f", "d8b99fa709a3ca74172cbe93824c1f29",
    584     true},
    585 
    586    {119, "Flipped bit 32 in tag",
    587     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    588     "d38b42096c80f45f826b44a9d5607de7", true},
    589 
    590    {120, "Flipped bit 32 in tag",
    591     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    592     "000102030405060708090a0b0c0d0e0f", "d8b99f2708a3ca74172cbe93824c1f29",
    593     true},
    594 
    595    {121, "Flipped bit 33 in tag",
    596     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    597     "d38b42096f80f45f826b44a9d5607de7", true},
    598 
    599    {122, "Flipped bit 33 in tag",
    600     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    601     "000102030405060708090a0b0c0d0e0f", "d8b99f270ba3ca74172cbe93824c1f29",
    602     true},
    603 
    604    {123, "Flipped bit 63 in tag",
    605     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    606     "d38b42096d80f4df826b44a9d5607de7", true},
    607 
    608    {124, "Flipped bit 63 in tag",
    609     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    610     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3caf4172cbe93824c1f29",
    611     true},
    612 
    613    {125, "Flipped bit 64 in tag",
    614     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    615     "d38b42096d80f45f836b44a9d5607de7", true},
    616 
    617    {126, "Flipped bit 64 in tag",
    618     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    619     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74162cbe93824c1f29",
    620     true},
    621 
    622    {127, "Flipped bit 71 in tag",
    623     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    624     "d38b42096d80f45f026b44a9d5607de7", true},
    625 
    626    {128, "Flipped bit 71 in tag",
    627     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    628     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74972cbe93824c1f29",
    629     true},
    630 
    631    {129, "Flipped bit 77 in tag",
    632     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    633     "d38b42096d80f45f824b44a9d5607de7", true},
    634 
    635    {130, "Flipped bit 77 in tag",
    636     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    637     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74170cbe93824c1f29",
    638     true},
    639 
    640    {131, "Flipped bit 80 in tag",
    641     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    642     "d38b42096d80f45f826b45a9d5607de7", true},
    643 
    644    {132, "Flipped bit 80 in tag",
    645     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    646     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbf93824c1f29",
    647     true},
    648 
    649    {133, "Flipped bit 96 in tag",
    650     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    651     "d38b42096d80f45f826b44a9d4607de7", true},
    652 
    653    {134, "Flipped bit 96 in tag",
    654     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    655     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbe93834c1f29",
    656     true},
    657 
    658    {135, "Flipped bit 97 in tag",
    659     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    660     "d38b42096d80f45f826b44a9d7607de7", true},
    661 
    662    {136, "Flipped bit 97 in tag",
    663     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    664     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbe93804c1f29",
    665     true},
    666 
    667    {137, "Flipped bit 103 in tag",
    668     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    669     "d38b42096d80f45f826b44a955607de7", true},
    670 
    671    {138, "Flipped bit 103 in tag",
    672     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    673     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbe93024c1f29",
    674     true},
    675 
    676    {139, "Flipped bit 120 in tag",
    677     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    678     "d38b42096d80f45f826b44a9d5607de6", true},
    679 
    680    {140, "Flipped bit 120 in tag",
    681     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    682     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbe93824c1f28",
    683     true},
    684 
    685    {141, "Flipped bit 121 in tag",
    686     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    687     "d38b42096d80f45f826b44a9d5607de5", true},
    688 
    689    {142, "Flipped bit 121 in tag",
    690     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    691     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbe93824c1f2b",
    692     true},
    693 
    694    {143, "Flipped bit 126 in tag",
    695     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    696     "d38b42096d80f45f826b44a9d5607da7", true},
    697 
    698    {144, "Flipped bit 126 in tag",
    699     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    700     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbe93824c1f69",
    701     true},
    702 
    703    {145, "Flipped bit 127 in tag",
    704     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    705     "d38b42096d80f45f826b44a9d5607d67", true},
    706 
    707    {146, "Flipped bit 127 in tag",
    708     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    709     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3ca74172cbe93824c1fa9",
    710     true},
    711 
    712    {147, "Flipped bits 0 and 64 in tag",
    713     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    714     "d28b42096d80f45f836b44a9d5607de7", true},
    715 
    716    {148, "Flipped bits 0 and 64 in tag",
    717     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    718     "000102030405060708090a0b0c0d0e0f", "d9b99f2709a3ca74162cbe93824c1f29",
    719     true},
    720 
    721    {149, "Flipped bits 31 and 63 in tag",
    722     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    723     "d38b42896d80f4df826b44a9d5607de7", true},
    724 
    725    {150, "Flipped bits 31 and 63 in tag",
    726     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    727     "000102030405060708090a0b0c0d0e0f", "d8b99fa709a3caf4172cbe93824c1f29",
    728     true},
    729 
    730    {151, "Flipped bits 63 and 127 in tag",
    731     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    732     "d38b42096d80f4df826b44a9d5607d67", true},
    733 
    734    {152, "Flipped bits 63 and 127 in tag",
    735     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    736     "000102030405060708090a0b0c0d0e0f", "d8b99f2709a3caf4172cbe93824c1fa9",
    737     true},
    738 
    739    {153, "all bits of tag flipped",
    740     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    741     "2c74bdf6927f0ba07d94bb562a9f8218", true},
    742 
    743    {154, "all bits of tag flipped",
    744     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    745     "000102030405060708090a0b0c0d0e0f", "274660d8f65c358be8d3416c7db3e0d6",
    746     true},
    747 
    748    {155, "Tag changed to all zero",
    749     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    750     "00000000000000000000000000000000", true},
    751 
    752    {156, "Tag changed to all zero",
    753     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    754     "000102030405060708090a0b0c0d0e0f", "00000000000000000000000000000000",
    755     true},
    756 
    757    {157, "tag changed to all 1",
    758     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    759     "ffffffffffffffffffffffffffffffff", true},
    760 
    761    {158, "tag changed to all 1",
    762     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    763     "000102030405060708090a0b0c0d0e0f", "ffffffffffffffffffffffffffffffff",
    764     true},
    765 
    766    {159, "msbs changed in tag",
    767     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    768     "530bc289ed0074df02ebc42955e0fd67", true},
    769 
    770    {160, "msbs changed in tag",
    771     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    772     "000102030405060708090a0b0c0d0e0f", "58391fa789234af497ac3e1302cc9fa9",
    773     true},
    774 
    775    {161, "lsbs changed in tag",
    776     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f", "",
    777     "d28a43086c81f55e836a45a8d4617ce6", true},
    778 
    779    {162, "lsbs changed in tag",
    780     "000102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f",
    781     "000102030405060708090a0b0c0d0e0f", "d9b89e2608a2cb75162dbf92834d1e28",
    782     true},
    783 
    784    {163, "short key", "a349ac0a9f9f74e48e099cc3dbf9a9c9", "",
    785     "3a8437b877b75cc08a4d8d7559a8fc6869a58c713da63d1d4b350d59b597e30c", false},
    786 
    787    {164, "short key", "ac686ba0f1a51b4ec4f0b30492b7f556",
    788     "2fa43a14ae500507deb95ab5bd32b0fe",
    789     "008532a53d0c0ab22027ae249023375374e2239b959609e8339b05a15742a675", false},
    790 
    791    {165, "short key", "73ef9ef1a4225e51e3c1db3ace1fa24f",
    792     "ffad380d9aabb0acede5c1bf112925cdfc3d379fc2376a4fe2644490d0430ac3",
    793     "9c7cb9f7c207ec46d1e3c55764731c4ab5ddbae4e1401e52a895df0cff4787c9", false},
    794 
    795    {166, "short key", "e34f15c7bd819930fe9d66e0c166e61c", "",
    796     "1d765ab9e29892f7bfec2975ad4bc2dc", false},
    797 
    798    {167, "short key", "e09eaa5a3f5e56d279d5e7a03373f6ea",
    799     "ef4eab37181f98423e53e947e7050fd0", "cfc19ec07902ec8be489606d8f40d172",
    800     false},
    801 
    802    {168, "short key", "9bd3902ed0996c869b572272e76f3889",
    803     "a7ba19d49ee1ea02f098aa8e30c740d893a4456ccc294040484ed8a00a55f93e",
    804     "ac50adad9785a89c7282d8ab881dc615", false},
    805 
    806    {169, "long key",
    807     "8a0c46eb8a2959e39865330079763341e7439dab149694ee57e0d61ec73d947e1d5301cd9"
    808     "74e18a5e0d1cf0d2c37e8aadd9fd589d57ef32e47024a99bc3f70c077",
    809     "", "f5bfb940561fb4db73ebba49bf2e4893bb0cca618a71b7ecf6aca38231e167ea",
    810     false},
    811 
    812    {170, "long key",
    813     "2877ebb81f80334fd00516337446c5cf5ad4a3a2e197269e5b0ad1889dfe2b4b0aaa676fa"
    814     "c55b36ce3affc7f1092ab89c53273a837bd5bc94d1a9d9e5b02e9856f",
    815     "ba448db88f154f775028fdecf9e6752d",
    816     "1690ed4180642899e0deb9ec2270374e8b0a484217f5a682c524316eca219b64", false},
    817 
    818    {171, "long key",
    819     "21178e26bc28ffc27c06f762ba190a627075856d7ca6feab79ac63149b17126e34fd9e559"
    820     "0e0e90aac801df09505d8af2dd0a2703b352c573ac9d2cb063927f2af",
    821     "7d5f1d6b993452b1b53a4375760d10a20d46a0ab9ec3943fc4b07a2ce735e731",
    822     "e542ac8ac8f364bae4b7da8b7a0777df350f001de4e8cfa2d9ef0b15019496ec", false},
    823 
    824    {172, "long key",
    825     "813e0c078c221375e80590ace6774eafd2d2c242350988d02efa550e05aecbe100c1b8bf1"
    826     "54c932cf9e57177015c816c42bc7fbc71ceaa5328c7316b7f0f30330f",
    827     "", "bb6ab66f51e53fa086c9c61a26ca27e0", false},
    828 
    829    {173, "long key",
    830     "5713343096b0aaf0562a6b92c1a15535924160475a4e4233589159728c562e3b2ad96f740"
    831     "c6a4da2bc3f768ce98c9bd66bac28d1646ff592028c940d455f35eeb4",
    832     "71712de2fac1fb855673bff72af64257", "c18165b8b97db1ca5e2486a32b39731e",
    833     false},
    834 
    835    {174, "long key",
    836     "7208afbecf5f1f34828f98b719414e280716de64f5edd1ae1c774153cd2022337bb20fade"
    837     "1b7856f1dbfd40e2b4307f1293ceff1692ee90d8c90b5fdf953ab01a5",
    838     "43b53302b604d613e62db002044a4782d572ac8fbd3cd0ece91b43bc52e18e98",
    839     "2fecfe45d79339c57dddba68ab34f5f1", false}};
    840 
    841 #endif  // hmac_sha256_vectors_h__