crypton-2.0.0: tests/MAC/Poly1305Vectors.hs
{-# LANGUAGE OverloadedStrings #-}
-- | Poly1305 tags from OpenSSL 3.6.4 through EVP_MAC, over patterned keys
-- and messages at lengths either side of the block size and of the groups
-- the bulk loops take.
--
-- The keys are worth looking at: key 1 is every bit set, which the clamping
-- cuts down to the largest r the algorithm allows, and key 2 has r = 1.
-- Together with the all-ones messages those are what drive the accumulator
-- up against 2^130 - 5, which is where an implementation's carries either
-- work or do not.
module MAC.Poly1305Vectors (
KATPoly1305,
polyKey,
polyMessage,
vectors,
) where
import qualified Data.ByteString as B
import Data.ByteString.Char8 ()
import Data.Word (Word8)
-- (key, message pattern, message length, tag)
type KATPoly1305 = (Int, Int, Int, B.ByteString)
polyKey :: Int -> B.ByteString
polyKey 0 = B.pack [fromIntegral (0x40 + i) :: Word8 | i <- [0 .. 31 :: Int]]
polyKey 1 = B.replicate 32 0xff
polyKey 2 = B.singleton 1 `B.append` B.replicate 31 0
polyKey _ = B.pack [fromIntegral (i * 7 + 3) :: Word8 | i <- [0 .. 31 :: Int]]
polyMessage :: Int -> Int -> B.ByteString
polyMessage 0 n = B.replicate n 0
polyMessage 1 n = B.replicate n 0xff
polyMessage _ n = B.pack [fromIntegral (i * 7 + 3) :: Word8 | i <- [0 .. n - 1]]
vectors :: [KATPoly1305]
vectors =
[ (0, 0, 0, "\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5a\x5b\x5c\x5d\x5e\x5f")
, (0, 0, 1, "\x5f\x91\x93\x95\x57\x99\x9b\x9d\x5f\xa1\xa3\xa5\x67\xa9\xab\xad")
, (0, 0, 15, "\x20\x64\x56\xe8\x2a\x6d\x5f\xf1\x33\x76\x68\xfa\x3c\x7f\x71\x9f")
, (0, 0, 16, "\xe0\x22\x65\x57\xe9\x2b\x6e\x60\xf2\x34\x77\x69\xfb\x3d\x80\x72")
, (0, 0, 17, "\x80\x32\xd6\x2b\xb6\x3a\x5d\xeb\x76\xb6\x52\x14\x9c\x91\xa2\x92")
, (0, 0, 31, "\x3c\x05\x99\x7e\x89\x0e\x21\x3f\x4b\x8b\x17\x69\x71\x67\x68\x84")
, (0, 0, 32, "\xfc\xc3\xa7\xed\x47\xcd\x2f\xae\x09\x4a\x26\xd8\x2f\x26\x77\x57")
, (0, 0, 33, "\x4e\x31\xba\x66\xd7\x64\xd4\x9a\x3b\x50\x48\xaf\x3d\x5e\x1c\x4b")
, (0, 0, 48, "\xca\xc2\x8b\x28\x69\xf7\xa6\x5d\xce\xe3\x1b\x73\xd1\xf2\xf0\x0f")
, (0, 0, 63, "\xa0\x75\x12\xc0\x68\x81\x66\xaf\xbd\x35\x7f\xdd\x1d\x85\x93\x78")
, (0, 0, 64, "\x5b\x34\x21\x2f\x27\x40\x75\x1e\x7c\xf4\x8d\x4c\xdc\x43\xa2\x4b")
, (0, 0, 65, "\xb0\x0a\xac\x16\x14\x0d\x22\xf8\xea\x1c\x63\x2a\xa4\xf4\xe6\xa4")
, (0, 0, 95, "\x57\x7c\x6c\x1e\x14\x3f\xce\x8d\xdd\xdd\xe8\x30\x83\x44\xbc\x9f")
, (0, 0, 96, "\x17\x3b\x7b\x8d\xd2\xfd\xdc\xfc\x9b\x9c\xf7\x9f\x41\x03\xcb\x72")
, (0, 0, 97, "\xb6\x00\xf4\xcb\xe5\xf0\xe6\x2c\x13\x77\xc0\x56\xe2\xc4\x3e\xfb")
, (0, 0, 127, "\x62\xe9\xab\x54\xe9\x73\x2c\xf0\x6a\x36\xd9\x85\x88\xa4\xc5\x1e")
, (0, 0, 128, "\x1d\xa8\xba\xc3\xa7\x32\x3b\x5f\x29\xf5\xe7\xf4\x46\x63\xd4\xf1")
, (0, 0, 129, "\x6b\x5a\xe6\x91\x98\x67\x6f\x9c\xd0\xe7\xce\x11\xf5\x51\x43\x56")
, (0, 0, 191, "\x34\xf2\xf5\xe5\x00\x93\x9f\x79\x9b\xe4\xc1\xd3\xa8\x31\xc2\x4d")
, (0, 0, 192, "\xf4\xb0\x04\x55\xbf\x51\xae\xe8\x59\xa3\xd0\x42\x67\xf0\xd0\x20")
, (0, 0, 255, "\xc8\xae\x35\x70\x15\x3c\xcb\x35\xa5\x49\x53\xda\x08\xb1\x0b\x39")
, (0, 0, 256, "\x88\x6d\x44\xdf\xd3\xfa\xd9\xa4\x63\x08\x62\x49\xc7\x6f\x1a\x0c")
, (0, 0, 257, "\x74\x1b\x9c\xd4\xc3\xc7\x45\xf2\x1b\xca\x71\x64\x6b\xe6\xb8\x1e")
, (0, 0, 1023, "\x5e\xb3\xd4\x07\x60\x46\xba\xf7\x3f\x5b\x43\x23\xf2\xa7\xa0\x99")
, (0, 0, 1024, "\x1e\x72\xe3\x76\x1e\x05\xc9\x66\xfe\x19\x52\x92\xb0\x66\xaf\x6c")
, (0, 0, 1025, "\x44\xef\xa3\x46\x95\x94\xac\x88\x45\xde\x91\xed\xf0\xb1\x67\x79")
, (0, 0, 4096, "\x67\x6f\xd3\x2b\x9b\x8b\x98\x8b\x9a\xc9\x4a\x43\xb4\xa3\xc3\x05")
, (0, 0, 8191, "\x9e\x5c\x85\x39\xbe\x9a\x49\x7c\xaa\x51\x5a\x34\x71\x73\x11\x2f")
, (0, 1, 0, "\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5a\x5b\x5c\x5d\x5e\x5f")
, (0, 1, 1, "\x33\x90\x92\xd4\x16\x98\x9a\xdc\x1e\xa0\xa2\xe4\x26\xa8\xaa\xec")
, (0, 1, 15, "\xb0\x35\x18\x7a\xbd\x3f\x22\x84\xc7\x49\x2c\x8e\xd1\x53\x36\xd0")
, (0, 1, 16, "\x30\xb3\x35\x58\x3a\xbd\x3f\x62\x44\xc7\x49\x6c\x4e\xd1\x53\x76")
, (0, 1, 17, "\xbd\x84\xe2\x88\xbb\x59\xe9\x39\xa1\xec\xa7\x9c\x32\x25\x06\x99")
, (0, 1, 31, "\x3a\x2a\x68\x2e\x62\x01\x71\xe1\x49\x96\x31\x46\xdd\xd0\x91\x7c")
, (0, 1, 32, "\xba\xa7\x85\x0c\xdf\x7e\x8e\xbf\xc6\x13\x4f\x24\x5a\x4e\xaf\x22")
, (0, 1, 33, "\x84\xb6\x8d\xcf\x49\x8c\xab\x3f\x8d\x0b\x35\xf0\x5a\xb4\xfe\x0f")
, (0, 1, 48, "\x7c\xd9\x30\x53\x6d\xb1\x50\xc5\xb2\x32\xdc\x77\x82\xdd\xa7\x99")
, (0, 1, 63, "\xae\x4a\x60\xe3\x3a\x8b\xf7\x34\xd3\x62\x14\x05\x79\xf4\x2b\x3b")
, (0, 1, 64, "\x2e\xc8\x7d\xc1\xb7\x08\x15\x13\x50\xe0\x31\xe3\xf5\x71\x49\xe1")
, (0, 1, 65, "\x60\xbb\x7c\x6f\x5f\x89\xd5\xe2\x92\x67\x88\x1d\x09\x9c\xbe\x7b")
, (0, 1, 95, "\xf4\x85\xff\xba\x3b\xd5\x40\xa6\x2c\xc6\x2c\x69\xbf\x73\xf6\x36")
, (0, 1, 96, "\x6f\x03\x1d\x99\xb8\x52\x5e\x84\xa9\x43\x4a\x47\x3c\xf1\x13\xdd")
, (0, 1, 97, "\x33\x7c\x39\x7c\xc1\x9a\x8e\x88\x29\x3a\xc5\x52\xed\x95\xc1\x49")
, (0, 1, 127, "\xcb\x08\xb2\x95\x3b\xae\x7e\x4f\xd6\x96\xb3\x68\x5f\x4d\x9b\x02")
, (0, 1, 128, "\x4b\x86\xcf\x73\xb8\x2b\x9c\x2d\x53\x14\xd1\x46\xdc\xca\xb8\xa8")
, (0, 1, 129, "\xd6\xe7\xf5\x9c\x31\x29\xff\xa7\xd9\x27\x70\x66\x9d\xa5\x60\x1d")
, (0, 1, 191, "\xcb\x79\xa4\xdd\x57\xa0\xd5\x5a\xdd\x67\x64\xf9\x52\x90\xfd\x3a")
, (0, 1, 192, "\x46\xf7\xc1\xbb\xd4\x1d\xf3\x38\x5a\xe5\x81\xd7\xcf\x0d\x1b\xe1")
, (0, 1, 255, "\xe4\x28\x24\x1d\x0a\x38\x3d\xd6\xb5\x7a\xac\x67\xf9\xf5\x88\x88")
, (0, 1, 256, "\x5f\xa6\x41\xfb\x86\xb5\x5a\xb4\x32\xf8\xc9\x45\x76\x73\xa6\x2e")
, (0, 1, 257, "\x15\x69\x36\x20\xff\x02\x9a\xa8\xcd\x9d\x33\x63\x2b\xbe\xed\x0d")
, (0, 1, 1023, "\x98\x61\x49\x06\xca\xaa\xf5\xbe\xa2\x5c\x99\x25\xde\xb7\x3b\xc9")
, (0, 1, 1024, "\x13\xdf\x66\xe4\x46\x28\x13\x9d\x1f\xda\xb6\x03\x5b\x35\x59\x6f")
, (0, 1, 1025, "\x75\x9a\x0c\xa9\x2d\x5f\x15\x5d\xcc\x82\xc0\x07\x32\x7f\xbf\x7a")
, (0, 1, 4096, "\xd6\xdb\x86\xbd\x0f\x30\x0c\x96\x74\x46\xe1\xa4\x92\x7e\x71\x8d")
, (0, 1, 8191, "\x15\x93\x50\xa8\xd4\xdc\xd4\x2a\xbc\xea\xb4\xd3\xa9\x45\xf6\xe2")
, (0, 2, 0, "\x50\x51\x52\x53\x54\x55\x56\x57\x58\x59\x5a\x5b\x5c\x5d\x5e\x5f")
, (0, 2, 1, "\x1f\x55\x5a\x9f\x23\x69\x6e\xb3\x37\x7d\x82\xc7\x4b\x91\x96\xdb")
, (0, 2, 15, "\x3b\xdf\xb2\xf6\x07\x93\x47\x65\x49\xa0\x19\xf5\x8f\x96\xb8\x01")
, (0, 2, 16, "\x60\x8e\x79\x43\x4d\x60\x2c\xd0\xac\x8b\x1c\x7e\x11\xa0\xd9\xdc")
, (0, 2, 17, "\xf4\x27\x1a\xd8\x3e\x68\xcd\x2c\x40\x26\x0d\x51\x8f\xf2\x64\xe7")
, (0, 2, 31, "\xdc\x4e\xd3\x5a\xda\x9c\x04\x97\x25\x00\x3e\x02\x02\x99\x9a\x5a")
, (0, 2, 32, "\xb0\x39\x62\xd9\x00\xd8\xe3\x65\x9c\x8b\x6d\x21\xc9\x74\x1a\x3e")
, (0, 2, 33, "\xf3\x10\xd2\x3a\xfc\xb6\x7f\x4d\x6f\x8d\x95\x06\x3e\xd3\xb1\x54")
, (0, 2, 48, "\x99\xe5\x5f\xe8\x87\x52\x38\xc3\x99\xc7\xd1\xdd\xa0\x15\xbf\xbe")
, (0, 2, 63, "\xa1\x38\xe8\xc8\x77\x9c\x80\xf3\xac\x50\x84\x2b\x7f\x01\x72\x4e")
, (0, 2, 64, "\x48\xc9\xf4\xa6\xcb\xdc\x3c\x81\xb0\x40\xf0\x68\x32\xa1\x8d\x2f")
, (0, 2, 65, "\x2f\x59\x9e\xf7\x24\xb2\x3a\xdf\x6c\x73\xb4\x78\x0c\xa2\x1d\xb6")
, (0, 2, 95, "\x10\x8d\x3f\x55\xbd\x4a\xb1\xbb\x78\xa6\xd4\x9d\x5f\x45\xd9\xba")
, (0, 2, 96, "\x85\xc3\xc9\x92\x3e\x90\x4a\x08\x09\xfb\x7c\xf9\xfe\xa8\x90\x99")
, (0, 2, 97, "\x7b\x20\x42\x0e\x3e\x16\xf5\xe1\x01\x17\xbd\x81\x67\xe4\x62\xcd")
, (0, 2, 127, "\x57\xa6\x86\x72\x39\x65\x64\xe9\x04\x82\x68\x57\xc0\xe0\x15\xb2")
, (0, 2, 128, "\x9a\x82\x8e\x0f\xe8\xaf\xda\xf4\x21\x3b\x4d\xd1\x4b\x08\x69\x8e")
, (0, 2, 129, "\x3a\x56\x1b\xff\x4d\xb4\x9a\x3c\xe1\x8e\x89\x6e\xbe\x65\x78\xe7")
, (0, 2, 191, "\xcd\xed\xba\x31\x2a\x1d\x7e\xf0\xb3\x62\xd2\x2d\x9a\xc1\x69\x31")
, (0, 2, 192, "\xa7\x15\xbe\x8d\x33\x72\xae\x79\xea\xe4\x2f\xe4\xfd\x70\xf4\x08")
, (0, 2, 255, "\xb5\x9d\xce\x3a\xe1\x77\x6b\xab\x85\x23\x73\x10\x5d\xbb\xd3\xf1")
, (0, 2, 256, "\xc0\xe2\xdf\x59\xda\xad\x6d\xbb\x6f\x4a\x66\x11\x38\xd3\xb7\xd7")
, (0, 2, 257, "\x7f\x48\x60\x7e\x67\x5a\x85\xf4\xbd\x2e\x9f\x1e\x35\xc4\xaa\x59")
, (0, 2, 1023, "\xfd\x6c\xaf\x92\x51\x28\x77\x4e\x0a\x2b\x69\x79\x82\xf6\x90\xcb")
, (0, 2, 1024, "\x08\xb2\xc0\xb1\x4a\x5e\x79\x5e\xf4\x51\x5c\x7a\x5d\x0e\x75\xb1")
, (0, 2, 1025, "\x87\xaa\x4c\xa2\x96\xf6\xfe\xb9\xc1\x5b\xdc\x22\x0f\x8a\xfc\x7b")
, (0, 2, 4096, "\x8a\x90\x94\x87\xcd\x36\x97\x1f\xfc\xc3\xd6\x98\xce\x27\x63\x2a")
, (0, 2, 8191, "\xa9\x28\x1b\xfb\x38\x40\xbf\x3b\xa0\x7a\x2f\x00\x3c\x0e\x71\xf3")
, (1, 0, 0, "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff")
, (1, 0, 1, "\x0e\xff\xff\xff\x0f\xfc\xff\xff\x0f\xfc\xff\xff\x0f\xfc\xff\xff")
, (1, 0, 15, "\xfa\xff\x13\xfb\xff\xff\x13\xfb\xff\xff\x13\xfb\xff\xff\x13\xff")
, (1, 0, 16, "\xfa\xff\xff\x13\xfb\xff\xff\x13\xfb\xff\xff\x13\xfb\xff\xff\x13")
, (1, 0, 17, "\x59\xff\x3f\x86\x49\xfc\xef\xad\x44\xfc\x9f\xd5\x3f\xfc\x4f\xfd")
, (1, 0, 31, "\x45\x00\x54\x81\x39\x00\x04\xa9\x34\x00\xb4\xd0\x2f\x00\x64\xfc")
, (1, 0, 32, "\x45\x00\x40\x9a\x34\x00\xf0\xc1\x2f\x00\xa0\xe9\x2a\x00\x50\x11")
, (1, 0, 33, "\x0c\x7c\x2e\x70\x03\x79\xc5\xd6\x23\xb9\x6d\x78\x3f\x39\x27\x55")
, (1, 0, 48, "\xf8\x7c\x2e\x84\xee\x7c\xc5\xea\x0e\xbd\x6d\x8c\x2a\x3d\x27\x69")
, (1, 0, 63, "\x4e\xe2\xfb\xe0\x25\xa5\x75\x45\xa2\x0c\x31\x7b\x2b\x13\x53\xd4")
, (1, 0, 64, "\x49\xe2\xe7\xf9\x20\xa5\x61\x5e\x9d\x0c\x1d\x94\x26\x13\x3f\xe9")
, (1, 0, 65, "\x57\x35\x14\x8c\x66\x80\xfb\x93\xe4\x3c\xd1\x53\x74\xef\x25\xa2")
, (1, 0, 95, "\xd8\xb9\x3a\x01\x74\xd7\x6b\x7a\xac\x5f\x1e\xe3\xb7\x25\xa3\x0a")
, (1, 0, 96, "\xd8\xb9\x26\x1a\x6f\xd7\x57\x93\xa7\x5f\x0a\xfc\xb2\x25\x8f\x1f")
, (1, 0, 97, "\x0a\x57\xd8\xf6\x4a\xe9\x5a\x39\x3e\x82\x2f\xd1\x94\xd0\x5c\x8f")
, (1, 0, 127, "\x23\x39\x46\xb0\xb9\x84\xfd\xec\x07\x6a\x75\xf4\x72\x6b\xc5\xd6")
, (1, 0, 128, "\x23\x39\x32\xc9\xb4\x84\xe9\x05\x03\x6a\x61\x0d\x6e\x6b\xb1\xeb")
, (1, 0, 129, "\xad\xa6\x83\xab\x24\x42\x6e\x94\xff\xb5\x1f\xac\x06\xa0\x8b\x7a")
, (1, 0, 191, "\xef\x04\x96\xb1\xd8\xf2\xd7\x28\x9b\xad\x3a\x00\x20\xe0\xa8\x26")
, (1, 0, 192, "\xef\x04\x82\xca\xd3\xf2\xc3\x41\x96\xad\x26\x19\x1b\xe0\x94\x3b")
, (1, 0, 255, "\xa4\x0a\xde\x3f\x60\xf5\x63\x8c\x03\xf6\x27\xed\x1d\x3a\x49\x19")
, (1, 0, 256, "\xa4\x0a\xca\x58\x5b\xf5\x4f\xa5\xfe\xf5\x13\x06\x19\x3a\x35\x2e")
, (1, 0, 257, "\xef\xf8\x27\xcb\x3b\x83\xa6\xe8\x4e\x3b\x71\x16\xdf\xf1\xf1\x58")
, (1, 0, 1023, "\x1d\x06\x39\x15\x75\xf1\x25\xf2\x8b\xcc\x58\xe3\x3f\x33\x2a\x6f")
, (1, 0, 1024, "\x1d\x06\x25\x2e\x70\xf1\x11\x0b\x87\xcc\x44\xfc\x3a\x33\x16\x84")
, (1, 0, 1025, "\x47\xaa\x39\x03\x90\xc6\x59\xe4\x95\xdc\x0a\x98\xba\x30\xa4\xc7")
, (1, 0, 4096, "\xa2\xa0\xa0\xd6\xbf\x6d\x5e\xd9\x7a\xcc\x51\x04\x15\x59\x10\xeb")
, (1, 0, 8191, "\xa4\x4b\xbf\xb2\x34\xd7\xb3\xb1\x69\x64\x34\xb5\x48\x52\x1f\x00")
, (1, 1, 0, "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff")
, (1, 1, 1, "\x23\xfe\xff\xef\x23\xf8\xff\xef\x23\xf8\xff\xef\x23\xf8\xff\xef")
, (1, 1, 15, "\xfb\xff\x27\xe6\x03\x00\x28\xe6\x03\x00\x28\xe6\x03\x00\x28\xee")
, (1, 1, 16, "\xfb\xff\xff\x17\xfa\xff\xff\x17\xfa\xff\xff\x17\xfa\xff\xff\x17")
, (1, 1, 17, "\x7c\xfe\x7f\xf7\x68\xf8\x1f\x27\x63\xf8\xbf\x56\x5d\xf8\x5f\x86")
, (1, 1, 31, "\x54\x00\xa8\xed\x48\x00\x48\x1d\x43\x00\xe8\x4c\x3d\x00\x88\x84")
, (1, 1, 32, "\x54\x00\x80\x1f\x3f\x00\x20\x4f\x39\x00\xc0\x7e\x33\x00\x60\xae")
, (1, 1, 33, "\x86\xfa\x6a\x43\x7b\xf4\xec\x24\xa2\x74\x50\x4d\xc3\x74\x95\xbc")
, (1, 1, 48, "\x5e\xfc\x6a\x6b\x51\xfc\xec\x4c\x78\x7c\x50\x75\x99\x7c\x95\xe4")
, (1, 1, 63, "\x90\x0f\x0b\xfa\xca\x5f\xd0\xa5\xc6\xa8\x17\xb3\xd1\xe3\xa6\x87")
, (1, 1, 64, "\x90\x0f\xe3\x2b\xc1\x5f\xa8\xd7\xbc\xa8\xef\xe4\xc7\xe3\x7e\xb1")
, (1, 1, 65, "\xe4\xd8\xb1\x31\xf2\x96\xfa\x07\x23\x79\x61\x21\x69\x4f\xfa\x18")
, (1, 1, 95, "\xa1\x78\x56\xba\x28\x9c\xc4\x4b\x39\xd9\x9a\xfc\x46\x2d\x3a\x2f")
, (1, 1, 96, "\x9c\x78\x2e\xec\x1e\x9c\x9c\x7d\x2f\xd9\x72\x2e\x3d\x2d\x12\x59")
, (1, 1, 97, "\xeb\x9a\x03\xe5\x9d\xe1\x39\x9b\x8e\xff\x38\x1e\x90\x5d\x6f\x02")
, (1, 1, 127, "\xfd\xaa\xca\xf2\x15\x6c\x73\x08\xa7\xe5\x9c\x44\xf4\x80\x96\x8a")
, (1, 1, 128, "\xf8\xaa\xa2\x24\x0c\x6c\x4b\x3a\x9d\xe5\x74\x76\xea\x80\x6e\xb4")
, (1, 1, 129, "\x14\x94\x37\x24\xa3\xb2\xea\x6e\x43\xd7\xf2\x24\x7f\x56\x74\xe9")
, (1, 1, 191, "\x21\x39\xf7\x8d\xa1\x56\x46\x50\xf1\x69\x56\xec\xc3\xd9\x0d\x84")
, (1, 1, 192, "\x1c\x39\xcf\xbf\x97\x56\x1e\x82\xe7\x69\x2e\x1e\xba\xd9\xe5\xad")
, (1, 1, 255, "\xc8\x0c\xb4\x38\x44\xf3\x87\x94\x6e\x5a\xa6\x08\x5b\xdf\x67\xda")
, (1, 1, 256, "\xc3\x0c\x8c\x6a\x3a\xf3\x5f\xc6\x64\x5a\x7e\x3a\x51\xdf\x3f\x04")
, (1, 1, 257, "\x2d\x5d\x96\xb0\x8b\xcd\xc7\xa0\xa2\xdd\x87\xa4\x4f\x52\x22\xc1")
, (1, 1, 1023, "\x25\xd4\xba\x38\x5d\xbb\x70\xdb\xab\x28\x14\x30\xea\xa3\x42\x0e")
, (1, 1, 1024, "\x25\xd4\x92\x6a\x53\xbb\x48\x0d\xa2\x28\xec\x61\xe0\xa3\x1a\x38")
, (1, 1, 1025, "\x04\x32\x45\x5a\x8a\x51\x05\x02\x2b\x9f\xa6\xd9\x23\x04\xc5\x12")
, (1, 1, 4096, "\x28\x27\x27\x9b\x4c\x1d\x3e\x6b\x93\x28\x62\x38\x19\x9e\x13\x1a")
, (1, 1, 8191, "\xc4\x5a\xc2\xf5\x0f\xcf\xe7\x5a\x1c\x12\x82\xc5\xf4\x95\x35\xbc")
, (1, 2, 0, "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff")
, (1, 2, 1, "\x10\xff\xff\x2f\x04\xfc\xff\x2f\x04\xfc\xff\x2f\x04\xfc\xff\x2f")
, (1, 2, 15, "\xd1\x94\xfa\x5a\x1e\xcb\x1b\x67\x15\xad\xe8\x1e\xb8\x3a\x61\xd6")
, (1, 2, 16, "\xcc\x94\x56\x60\x17\xcb\x77\x6c\x0e\xad\x44\x24\xb1\x3a\xbd\x87")
, (1, 2, 17, "\x3b\x31\xb9\x36\x76\x40\x13\x6a\x3d\xb4\x0c\x7c\x22\x85\xa2\x69")
, (1, 2, 31, "\x80\xe3\x0f\xe5\x15\xdc\x39\xd3\x82\xe0\xae\x4b\xb9\xed\x6b\xdf")
, (1, 2, 32, "\x80\xe3\x2b\xc3\x0c\xdc\x55\xb1\x79\xe0\xca\x29\xb0\xed\x87\x29")
, (1, 2, 33, "\xbe\x62\x25\xc1\x2e\x73\xec\x09\x7f\x09\x51\xb6\x50\xf3\x68\x1e")
, (1, 2, 48, "\x69\xff\x86\x7c\x2f\xa9\xc8\x2a\xd0\x7e\x5a\xef\xa4\x56\x4b\x1b")
, (1, 2, 63, "\x1a\x5e\x06\xc3\xf7\x2d\xd2\x55\x0b\xfc\x12\x19\xe5\x0c\xfb\xaa")
, (1, 2, 64, "\x1a\x5e\xa2\x3e\xef\x2d\x6e\xd1\x02\xfc\xae\x94\xdc\x0c\x97\x12")
, (1, 2, 65, "\xd8\x51\x2b\x80\x7c\x60\x02\x4d\x02\x0e\x2e\x20\x7c\x91\x2a\x3a")
, (1, 2, 95, "\xb9\xba\x11\xaf\xea\x25\x04\xad\xac\x81\xee\xba\x8e\x13\x32\xda")
, (1, 2, 96, "\xb4\xba\x2d\xc8\xe2\x25\x20\xc6\xa4\x81\x0a\xd4\x86\x13\x4e\x5f")
, (1, 2, 97, "\xad\x9d\x97\x3b\x35\x49\x6e\x70\x88\x5d\x1f\xdb\xae\xfc\xe7\xc0")
, (1, 2, 127, "\x81\x05\x0f\x62\xce\x71\x46\x9b\xbb\x74\xdb\xc3\x66\xa1\xc2\xda")
, (1, 2, 128, "\x81\x05\xab\x18\xc7\x71\xe2\x51\xb4\x74\x77\x7a\x5f\xa1\x5e\x7d")
, (1, 2, 129, "\xda\x18\x6a\x12\xc3\x1e\x90\xf3\x77\x12\x7f\x16\x06\x5c\xa9\x1e")
, (1, 2, 191, "\xfc\xdb\x96\x58\x66\x37\x62\x5e\xdb\x79\x9a\xed\x48\xa8\xf7\x7a")
, (1, 2, 192, "\xfc\xdb\x32\x4a\x60\x37\xfe\x4f\xd5\x79\x36\xdf\x42\xa8\x93\x58")
, (1, 2, 255, "\x66\x13\xde\xb0\x3a\x3a\xd9\x22\x8d\xf1\x03\xc1\xed\xa9\xa5\x53")
, (1, 2, 256, "\x61\x13\x7a\xf1\x30\x3a\x75\x63\x83\xf1\x9f\x01\xe4\xa9\x41\x80")
, (1, 2, 257, "\xe0\x11\x9c\x10\x1b\xd5\x3c\x06\xad\x17\xcf\xd4\xec\x6a\xef\x40")
, (1, 2, 1023, "\xac\xac\xb6\x9d\xcd\x83\x9d\x5e\xb1\x32\x9b\xdb\x81\x80\x20\x25")
, (1, 2, 1024, "\xa7\xac\x52\xde\xc3\x83\x39\x9f\xa7\x32\x37\x1c\x78\x80\xbc\x51")
, (1, 2, 1025, "\xba\x3d\x31\x86\x0a\xf9\xa5\x58\x4e\x52\x59\x4d\x6d\xdf\x34\x5f")
, (1, 2, 4096, "\x78\x43\x04\x8a\x27\xd6\xbb\x5c\xe4\x10\x0b\xf8\xb5\xcb\x8c\x90")
, (1, 2, 8191, "\xef\x45\x90\x25\x1c\x7b\x36\x2b\x18\xb4\xb5\xe0\x74\x84\x8d\xb7")
, (2, 0, 0, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 1, "\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 15, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 16, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 17, "\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 31, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 32, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 33, "\x00\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 48, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 63, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 64, "\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 65, "\x05\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 95, "\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 96, "\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 97, "\x05\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 127, "\x05\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 128, "\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 129, "\x0a\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 191, "\x0a\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 192, "\x0f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 255, "\x0f\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 256, "\x14\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 257, "\x14\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 1023, "\x4b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 0, 1024, "\x50\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 1025, "\x50\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 4096, "\x40\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 0, 8191, "\x7b\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x01")
, (2, 1, 0, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 1, "\xff\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 15, "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x01")
, (2, 1, 16, "\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff")
, (2, 1, 17, "\xfe\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 31, "\xfe\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\xff\x01")
, (2, 1, 32, "\x03\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 33, "\x02\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 48, "\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 63, "\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02")
, (2, 1, 64, "\x06\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 65, "\x05\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 95, "\x04\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02")
, (2, 1, 96, "\x09\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 97, "\x08\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 127, "\x07\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02")
, (2, 1, 128, "\x0c\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 129, "\x0b\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 191, "\x0d\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02")
, (2, 1, 192, "\x12\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 255, "\x13\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02")
, (2, 1, 256, "\x18\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 257, "\x17\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 1023, "\x5b\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02")
, (2, 1, 1024, "\x60\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 1025, "\x5f\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 4096, "\x80\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 1, 8191, "\xfb\x02\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x02")
, (2, 2, 0, "\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 2, 1, "\x03\x01\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00")
, (2, 2, 15, "\x03\x0a\x11\x18\x1f\x26\x2d\x34\x3b\x42\x49\x50\x57\x5e\x65\x01")
, (2, 2, 16, "\x03\x0a\x11\x18\x1f\x26\x2d\x34\x3b\x42\x49\x50\x57\x5e\x65\x6c")
, (2, 2, 17, "\x76\x0b\x11\x18\x1f\x26\x2d\x34\x3b\x42\x49\x50\x57\x5e\x65\x6c")
, (2, 2, 31, "\x76\x84\x92\xa0\xae\xbc\xca\xd8\xe6\xf4\x02\x11\x1f\x2d\x3b\x6e")
, (2, 2, 32, "\x76\x84\x92\xa0\xae\xbc\xca\xd8\xe6\xf4\x02\x11\x1f\x2d\x3b\x49")
, (2, 2, 33, "\x59\x86\x92\xa0\xae\xbc\xca\xd8\xe6\xf4\x02\x11\x1f\x2d\x3b\x49")
, (2, 2, 48, "\x5e\x6f\x84\x99\xae\xc3\xd7\xec\x01\x17\x2c\x41\x56\x6b\x80\x95")
, (2, 2, 63, "\xb1\xc9\xe5\x01\x1e\x3a\x55\x71\x8d\xa9\xc5\xe1\xfd\x19\x36\x97")
, (2, 2, 64, "\xb1\xc9\xe5\x01\x1e\x3a\x55\x71\x8d\xa9\xc5\xe1\xfd\x19\x36\x52")
, (2, 2, 65, "\x74\xcb\xe5\x01\x1e\x3a\x55\x71\x8d\xa9\xc5\xe1\xfd\x19\x36\x52")
, (2, 2, 95, "\xa7\xce\xf8\x22\x4d\x77\xa0\xca\xf4\x1e\x48\x72\x9c\xc6\xf0\x7f")
, (2, 2, 96, "\xac\xce\xf8\x22\x4d\x77\xa0\xca\xf4\x1e\x48\x72\x9c\xc6\xf0\x1a")
, (2, 2, 97, "\x4f\xd0\xf8\x22\x4d\x77\xa0\xca\xf4\x1e\x48\x72\x9c\xc6\xf0\x1a")
, (2, 2, 127, "\x62\x93\xcb\x03\x3c\x74\xab\xe3\x1b\x54\x8b\xc3\xfb\x33\x6c\x28")
, (2, 2, 128, "\x62\x93\xcb\x03\x3c\x74\xab\xe3\x1b\x54\x8b\xc3\xfb\x33\x6c\xa3")
, (2, 2, 129, "\xe5\x94\xcb\x03\x3c\x74\xab\xe3\x1b\x54\x8b\xc3\xfb\x33\x6c\xa3")
, (2, 2, 191, "\x18\x5e\xb2\x05\x5a\xae\x01\x56\xa9\xfd\x50\xa5\xf9\x4d\xa2\xba")
, (2, 2, 192, "\x18\x5e\xb2\x05\x5a\xae\x01\x56\xa9\xfd\x50\xa5\xf9\x4d\xa2\xf5")
, (2, 2, 255, "\xc9\x27\x98\x07\x78\xe8\x57\xc8\x37\xa8\x17\x88\xf7\x67\xd8\x4c")
, (2, 2, 256, "\xce\x27\x98\x07\x78\xe8\x57\xc8\x37\xa8\x17\x88\xf7\x67\xd8\x47")
, (2, 2, 257, "\xd1\x28\x98\x07\x78\xe8\x57\xc8\x37\xa8\x17\x88\xf7\x67\xd8\x47")
, (2, 2, 1023, "\x33\x9f\x60\x1e\xe0\xa1\x5f\x21\xdf\xa0\x5e\x20\xde\x9f\x61\x24")
, (2, 2, 1024, "\x38\x9f\x60\x1e\xe0\xa1\x5f\x21\xdf\xa0\x5e\x20\xde\x9f\x61\x1f")
, (2, 2, 1025, "\x3b\xa0\x60\x1e\xe0\xa1\x5f\x21\xdf\xa0\x5e\x20\xde\x9f\x61\x1f")
, (2, 2, 4096, "\xe5\x7c\x82\x79\x80\x87\x7e\x85\x7c\x83\x7a\x81\x78\x7f\x86\x7d")
, (2, 2, 8191, "\xc5\xf9\x04\xf3\x00\x0f\xfd\x0a\xf9\x06\xf5\x02\xf1\xfe\x0c\x00")
, (3, 0, 0, "\x73\x7a\x81\x88\x8f\x96\x9d\xa4\xab\xb2\xb9\xc0\xc7\xce\xd5\xdc")
, (3, 0, 1, "\x82\x7d\x8b\x99\x97\xb2\xc3\xd1\xaf\xea\xfb\x09\xc8\x22\x34\x42")
, (3, 0, 15, "\xbd\x8f\x8b\x2b\xff\xce\xa2\x6a\x3e\x0e\xba\xa9\x7d\x4d\xe5\xdf")
, (3, 0, 16, "\xf3\xc6\x96\x92\x32\x06\xd6\xa9\x71\x45\x15\xc1\xb0\x84\x54\xec")
, (3, 0, 17, "\xc5\xa4\xba\xba\xd8\x73\x8d\x31\xf4\xd7\x48\x11\x65\x28\x97\x4c")
, (3, 0, 31, "\x00\xb7\xba\x4c\x40\x90\x6c\xca\x82\xfb\x06\xb1\x1a\x53\x48\xea")
, (3, 0, 32, "\x3b\xee\xc5\xb3\x73\xc7\x9f\x09\xb6\x32\x62\xc8\x4d\x8a\xb7\xf6")
, (3, 0, 33, "\x9c\x1a\x1e\x2b\x12\x97\xaa\xfc\x50\xb8\x6e\x81\xd0\x00\xc0\x88")
, (3, 0, 48, "\x0d\x64\x29\x24\xad\xea\xbc\xd4\x12\x13\x88\x38\xb9\x62\xe0\x32")
, (3, 0, 63, "\xe7\x60\x81\x2c\x17\x5f\xa3\xd2\x5a\xb5\xf9\xa0\xbb\xa3\xa7\xdd")
, (3, 0, 64, "\x1d\x98\x8c\x93\x4a\x96\xd6\x11\x8e\xec\x54\xb8\xee\xda\x16\xea")
, (3, 0, 65, "\x7e\x5d\xcf\xbc\xde\x22\x8b\x75\xad\x1a\x88\x44\xb3\x62\xfb\xd3")
, (3, 0, 95, "\xd1\x24\xdf\xb8\x7b\xc3\x0c\x6d\xe9\x4a\x72\x37\xeb\x25\xc9\x95")
, (3, 0, 96, "\x07\x5c\xea\x1f\xaf\xfa\x3f\xac\x1c\x82\xcd\x4e\x1e\x5d\x38\xa2")
, (3, 0, 97, "\xaa\x75\x6f\x48\x7c\xc6\x03\x92\x25\xe7\x85\xc5\x00\xc6\x76\xbb")
, (3, 0, 127, "\xa9\x67\xa2\xea\xff\xaf\x32\x7a\xdf\x56\xf8\x44\xd2\x08\x3b\xf9")
, (3, 0, 128, "\xdf\x9e\xad\x51\x33\xe7\x65\xb9\x12\x8e\x53\x5c\x05\x40\xaa\x05")
, (3, 0, 129, "\x6f\xf4\xd0\x8f\xed\x62\xd2\x78\x66\x20\x24\xe4\x3b\x02\x27\x7b")
, (3, 0, 191, "\x12\x74\xd7\x6e\xa0\x0c\x65\x0c\xe4\x2c\xb9\xf8\x6e\x86\xc5\xa0")
, (3, 0, 192, "\x4d\xab\xe2\xd5\xd3\x43\x98\x4b\x17\x64\x14\x10\xa2\xbd\x34\xad")
, (3, 0, 255, "\x2e\x72\x79\xb4\x86\x0f\xb8\x4f\x8f\x2c\xcc\xfa\x16\x10\xeb\x2d")
, (3, 0, 256, "\x64\xa9\x84\x1b\xba\x46\xeb\x8e\xc2\x63\x27\x12\x4a\x47\x5a\x3a")
, (3, 0, 257, "\x1d\xce\xdc\xfc\x31\x6f\xc9\x27\xd6\x40\xde\xa3\xa5\x27\xb2\x39")
, (3, 0, 1023, "\xdf\xab\x40\xfd\xcb\x6d\x49\xa4\x68\xb2\x27\x10\xb3\x3f\x47\x48")
, (3, 0, 1024, "\x15\xe3\x4b\x64\xff\xa4\x7c\xe3\x9b\xe9\x82\x27\xe6\x76\xb6\x54")
, (3, 0, 1025, "\xb3\x73\xd8\xb5\xef\x8d\xd8\x56\x3d\x37\x0e\x1c\x9f\xbb\xe9\xf9")
, (3, 0, 4096, "\x0e\xa3\x46\xb2\xe1\x7e\xc9\x4f\xfc\xcb\x5d\xcf\xb8\x31\xdc\x5d")
, (3, 0, 8191, "\x3e\xaf\x23\x2b\x79\x15\x05\xe0\xb9\x02\x31\xa5\x76\x72\x3c\x48")
, (3, 1, 0, "\x73\x7a\x81\x88\x8f\x96\x9d\xa4\xab\xb2\xb9\xc0\xc7\xce\xd5\xdc")
, (3, 1, 1, "\x8e\x76\x84\xa2\x83\xa8\xbc\xfa\x7b\xe0\xf4\x52\x74\x18\x2d\x9b")
, (3, 1, 15, "\x04\x9b\x84\xc6\x52\xe1\x7a\x2c\x99\x27\x71\x92\xdf\x6d\x8f\xd6")
, (3, 1, 16, "\x75\x09\x9b\x94\xb9\x4f\xe1\xaa\xff\x95\x27\xc1\x45\xdc\x6d\xef")
, (3, 1, 17, "\x78\x72\x23\x97\x9e\xc3\xae\x6d\x34\xfd\x1d\xc2\x30\x1f\xd7\xda")
, (3, 1, 31, "\xf3\x96\x23\xbb\x6d\xfc\x6c\x9f\x51\x44\x9a\x01\x9c\x74\x39\x16")
, (3, 1, 32, "\x5f\x05\x3a\x89\xd4\x6a\xd3\x1d\xb8\xb2\x50\x30\x02\xe3\x17\x2f")
, (3, 1, 33, "\x7b\x99\x67\x84\xe3\xed\x04\xfb\xd6\x70\x4b\xe2\xe4\x22\x08\x23")
, (3, 1, 48, "\x62\x2c\x7e\x76\x19\x95\x29\xab\x5a\x26\x7e\x50\xb6\xe6\x48\x77")
, (3, 1, 63, "\xd0\x62\x78\x94\x6f\xc1\xae\x0f\x88\x56\x8a\x21\x5d\xd5\xab\xa0")
, (3, 1, 64, "\x41\xd1\x8e\x62\xd6\x2f\x15\x8e\xee\xc4\x40\x50\xc3\x43\x8a\xb9")
, (3, 1, 65, "\x54\x83\x6f\x66\x3f\x2f\xdf\x58\xac\xb3\x36\x99\x8e\xcb\xb5\xe3")
, (3, 1, 95, "\x1f\x81\x82\xd6\x81\xd3\xc6\x95\x99\xa3\xb4\x6f\xc9\xa4\x6d\x4a")
, (3, 1, 96, "\x90\xef\x98\xa4\xe8\x41\x2d\x14\x00\x12\x6b\x9e\x2f\x13\x4c\x63")
, (3, 1, 97, "\xc1\x06\x96\xa7\x2f\x8d\x09\x7b\x3c\xdc\x00\x34\x85\x0f\x7d\xf9")
, (3, 1, 127, "\xef\x6a\x06\xdf\x86\x22\xc1\xd8\xc0\x7e\x55\xe6\x11\xb5\x5c\x5b")
, (3, 1, 128, "\x5b\xd9\x1c\xad\xed\x90\x27\x57\x27\xed\x0b\x15\x78\x23\x3b\x74")
, (3, 1, 129, "\x46\x05\x0b\xca\xea\x48\xce\x5c\x8a\xba\xbe\x58\xff\x8a\x50\xac")
, (3, 1, 191, "\x70\x13\x46\x17\xe1\xc4\x30\x88\xf9\xe5\x3c\xf1\xcd\x4b\x69\x24")
, (3, 1, 192, "\xdc\x81\x5c\xe5\x47\x33\x97\x06\x60\x54\xf3\x1f\x34\xba\x47\x3d")
, (3, 1, 255, "\xf7\xdd\x6e\x04\x8f\xfb\x2d\x0c\xc7\x18\xba\xf3\xfd\xf0\x2f\x34")
, (3, 1, 256, "\x63\x4c\x85\xd2\xf5\x69\x94\x8a\x2d\x87\x70\x22\x64\x5f\x0e\x4d")
, (3, 1, 257, "\x45\xd7\xb2\x19\x70\x24\x5d\xc8\x76\xe1\x6a\xd8\x17\xeb\x5d\xf7")
, (3, 1, 1023, "\x65\x56\xc4\x5b\x15\xd3\x42\x0b\xff\x52\x8e\x40\xb9\xc3\xd1\x53")
, (3, 1, 1024, "\xd1\xc4\xda\x29\x7c\x41\xa9\x89\x65\xc1\x44\x6f\x1f\x32\xb0\x6c")
, (3, 1, 1025, "\x01\x9e\xad\xf7\x86\x7c\xa2\xcd\x25\x09\x3e\x02\x10\x03\x07\xde")
, (3, 1, 4096, "\x31\xab\x07\x21\xf2\x46\xd2\x3e\xd9\x9d\x7e\x05\xe9\xab\x10\xde")
, (3, 1, 8191, "\xd7\xc0\xd4\x92\x4b\x9c\xbd\x1f\xfa\x4c\x66\xf3\xa3\x00\xf8\x86")
, (3, 2, 0, "\x73\x7a\x81\x88\x8f\x96\x9d\xa4\xab\xb2\xb9\xc0\xc7\xce\xd5\xdc")
, (3, 2, 1, "\x8b\x9b\xbe\xb1\xeb\x24\x4b\xde\x57\xb1\xd7\x0a\xc4\x3d\x64\x67")
, (3, 2, 15, "\x7f\xc5\xb4\xd6\xda\xf9\x4c\xda\x60\xd0\xfa\x66\xe3\x16\x30\x39")
, (3, 2, 16, "\x00\xf9\x00\x06\x27\x00\xb4\xa3\x7f\xa9\x7c\xca\xd4\xc2\x28\x90")
, (3, 2, 17, "\x2d\x5d\xb7\xae\xee\xb7\x09\xd6\xc7\xe3\xf4\x39\xee\xd7\x3b\xd0")
, (3, 2, 31, "\xd2\x3a\x59\x9f\x59\x9b\x7d\x62\xfe\xa1\x87\x22\x24\x18\xec\x88")
, (3, 2, 32, "\xcb\xbf\x0e\x23\x7d\x52\x2d\xce\x53\x8b\x31\x76\xab\x33\xac\x36")
, (3, 2, 33, "\x3f\x68\xd1\xc1\x88\x18\x77\x00\x31\xeb\x9a\xb9\xad\x1a\xed\xba")
, (3, 2, 48, "\x0e\x5f\x30\xa8\x47\xe3\x32\x37\x21\x00\xa4\xdc\x54\x6f\xa9\x3b")
, (3, 2, 63, "\x0f\x7c\x9f\x25\x29\xe6\x54\x3f\x25\x22\xbd\x2c\x6a\x20\x83\x2f")
, (3, 2, 64, "\x78\x57\x12\x48\x58\x8f\x5d\xea\x21\x99\x5b\x60\x34\x65\x53\x7b")
, (3, 2, 65, "\x25\xe3\xed\x15\xa5\x78\x8e\x53\x98\xec\x13\x2c\x8f\x5a\xe4\xf8")
, (3, 2, 95, "\xf3\xb9\x08\x15\x0c\x87\x05\x8a\xb8\xe8\x96\xbb\x0d\xae\x41\x36")
, (3, 2, 96, "\xcc\xeb\x38\xd6\x46\x22\x67\x74\x5c\xed\x29\xcf\x1a\x1c\x22\x20")
, (3, 2, 97, "\x5e\x4d\x61\xd7\x7e\x46\xc2\xac\x18\x88\x12\x02\x42\x35\x4f\x1c")
, (3, 2, 127, "\x4c\x4c\x4c\x1a\xe7\x66\x2f\xb2\x2d\xdd\x06\xf8\x78\xea\x39\x0a")
, (3, 2, 128, "\x95\xd4\x39\x7a\x2d\xf4\xe9\xdb\x78\x6f\x8e\xeb\xc8\x81\x2a\x92")
, (3, 2, 129, "\x39\xc5\xbd\x6b\x01\xc7\x0c\x76\x81\xc8\xbb\x75\xa4\xf7\x8f\x4c")
, (3, 2, 191, "\x18\xaf\xb1\xeb\xf6\xce\xd4\xe4\xe0\xd1\x39\x0c\xf8\x5c\x2b\x82")
, (3, 2, 192, "\x41\xe4\x19\x89\x54\x40\x41\x8d\x7a\x7f\xaa\xbf\xcd\x46\x3c\x46")
, (3, 2, 255, "\xc9\x40\x39\x72\x8f\x24\x2c\x6a\x1d\x32\xec\xf2\x51\x77\x3c\x73")
, (3, 2, 256, "\x52\x6f\x31\x57\xa7\xe9\x82\x96\xcb\x8d\xa1\x66\x96\x69\xec\x82")
, (3, 2, 257, "\x2b\xa9\xcc\xcf\x60\x2a\xf7\x42\xf5\x4d\x3f\xed\xcc\xa3\xf0\xee")
, (3, 2, 1023, "\x7b\x31\x59\xeb\x2d\x3c\x78\x6d\xb6\x98\xf3\x02\x43\x32\x57\xac")
, (3, 2, 1024, "\x04\x60\x51\xd0\x45\x01\xcf\x99\x64\xf4\xa8\x76\x87\x24\x07\xbc")
, (3, 2, 1025, "\x54\xf4\x5c\x58\x7e\x82\x4d\x01\x28\x48\xcb\xa7\x1a\x44\x06\xad")
, (3, 2, 4096, "\x63\x86\x57\x0e\xdd\xc2\xd7\xcf\x95\x72\xdb\xb5\x15\x17\xf7\x5c")
, (3, 2, 8191, "\xd2\x60\xb6\x4a\x6c\x0c\x2f\x78\x19\x14\xfe\x10\x91\xe7\xd3\xab")
]