{-# LANGUAGE OverloadedStrings #-} {-# LANGUAGE RankNTypes #-} module Main where import Control.Monad import qualified Data.Binary.Get as Bin import qualified Data.Binary.Put as Bin import Data.Bits import qualified Data.ByteString as B import qualified Data.ByteString.Lazy as BL import qualified Data.ByteString.Short as BS import Data.Foldable import Data.Int import Numeric.Natural import Test.Tasty (TestTree, testGroup) import qualified Test.Tasty as Tasty import Test.Tasty.HUnit (testCase, (@?=), Assertion) import Test.Tasty.Hedgehog (HedgehogTestLimit (..), testProperty) import qualified Test.Tasty.Runners as Tasty import Hedgehog (MonadTest, forAll, property, (===)) import qualified Hedgehog.Gen as Gen import qualified Hedgehog.Range as Range import qualified Data.Binary.ULEB128 as U import qualified Data.Binary.SLEB128 as S -------------------------------------------------------------------------------- main :: IO () main = Tasty.defaultMainWithIngredients [Tasty.consoleTestReporter, Tasty.listingTests] $ Tasty.localOption (HedgehogTestLimit (Just 1000)) tt tt :: TestTree tt = testGroup "leb128-binary" [ tt_ULEB128 , tt_SLEB128 ] tt_ULEB128 :: TestTree tt_ULEB128 = testGroup "ULEB128" [ testGroup "Too big" [ testCase "0, 0" $ dec (U.getNatural 0) "" @?= Left "input too big\nULEB128" , testCase "0, 1" $ dec (U.getNatural 0) "\x00" @?= Left "input too big\nULEB128" , testCase "0, 1.5" $ dec (U.getNatural 0) "\x80" @?= Left "input too big\nULEB128" , testCase "1, 1.5" $ dec (U.getNatural 1) "\x80" @?= Left "input too big\nULEB128" , testCase "1, 2" $ dec (U.getNatural 1) "\x80\x01" @?= Left "input too big\nULEB128" , testCase "1, 3" $ dec (U.getNatural 1) "\xfd\x82\x01" @?= Left "input too big\nULEB128" , testCase "2, 3" $ dec (U.getNatural 2) "\xfd\x82\x01" @?= Left "input too big\nULEB128" ] , testGroup "Known" [ tt_ULEB128_known 0 "\x00" , tt_ULEB128_known 1 "\x01" , tt_ULEB128_known 6 "\x06" , tt_ULEB128_known 125 "\x7d" , tt_ULEB128_known 127 "\x7f" , tt_ULEB128_known 128 "\x80\x01" , tt_ULEB128_known 129 "\x81\x01" , tt_ULEB128_known 255 "\xff\x01" , tt_ULEB128_known 256 "\x80\x02" , tt_ULEB128_known 257 "\x81\x02" , tt_ULEB128_known 417 "\xa1\x03" , tt_ULEB128_known 670 "\x9e\x05" , tt_ULEB128_known 949 "\xb5\x07" , tt_ULEB128_known 1325 "\xad\x0a" , tt_ULEB128_known 1469 "\xbd\x0b" , tt_ULEB128_known 1860 "\xc4\x0e" , tt_ULEB128_known 1869 "\xcd\x0e" , tt_ULEB128_known 2316 "\x8c\x12" , tt_ULEB128_known 2765 "\xcd\x15" , tt_ULEB128_known 2842 "\x9a\x16" , tt_ULEB128_known 2994 "\xb2\x17" , tt_ULEB128_known 2995 "\xb3\x17" , tt_ULEB128_known 3178 "\xea\x18" , tt_ULEB128_known 3309 "\xed\x19" , tt_ULEB128_known 3723 "\x8b\x1d" , tt_ULEB128_known 3842 "\x82\x1e" , tt_ULEB128_known 4000 "\xa0\x1f" , tt_ULEB128_known 4101 "\x85\x20" , tt_ULEB128_known 4690 "\xd2\x24" , tt_ULEB128_known 4745 "\x89\x25" , tt_ULEB128_known 4892 "\x9c\x26" , tt_ULEB128_known 4932 "\xc4\x26" , tt_ULEB128_known 5181 "\xbd\x28" , tt_ULEB128_known 5723 "\xdb\x2c" , tt_ULEB128_known 6346 "\xca\x31" , tt_ULEB128_known 6416 "\x90\x32" , tt_ULEB128_known 6647 "\xf7\x33" , tt_ULEB128_known 6936 "\x98\x36" , tt_ULEB128_known 7074 "\xa2\x37" , tt_ULEB128_known 7409 "\xf1\x39" , tt_ULEB128_known 7492 "\xc4\x3a" , tt_ULEB128_known 7663 "\xef\x3b" , tt_ULEB128_known 8325 "\x85\x41" , tt_ULEB128_known 8585 "\x89\x43" , tt_ULEB128_known 8640 "\xc0\x43" , tt_ULEB128_known 8750 "\xae\x44" , tt_ULEB128_known 9014 "\xb6\x46" , tt_ULEB128_known 9220 "\x84\x48" , tt_ULEB128_known 9471 "\xff\x49" , tt_ULEB128_known 10256 "\x90\x50" , tt_ULEB128_known 10515 "\x93\x52" , tt_ULEB128_known 10697 "\xc9\x53" , tt_ULEB128_known 11413 "\x95\x59" , tt_ULEB128_known 11477 "\xd5\x59" , tt_ULEB128_known 11718 "\xc6\x5b" , tt_ULEB128_known 12035 "\x83\x5e" , tt_ULEB128_known 12136 "\xe8\x5e" , tt_ULEB128_known 12568 "\x98\x62" , tt_ULEB128_known 13026 "\xe2\x65" , tt_ULEB128_known 13054 "\xfe\x65" , tt_ULEB128_known 13508 "\xc4\x69" , tt_ULEB128_known 14012 "\xbc\x6d" , tt_ULEB128_known 14134 "\xb6\x6e" , tt_ULEB128_known 14713 "\xf9\x72" , tt_ULEB128_known 14744 "\x98\x73" , tt_ULEB128_known 15248 "\x90\x77" , tt_ULEB128_known 15436 "\xcc\x78" , tt_ULEB128_known 15638 "\x96\x7a" , tt_ULEB128_known 15674 "\xba\x7a" , tt_ULEB128_known 15937 "\xc1\x7c" , tt_ULEB128_known 16493 "\xed\x80\x01" , tt_ULEB128_known 16508 "\xfc\x80\x01" , tt_ULEB128_known 17033 "\x89\x85\x01" , tt_ULEB128_known 17383 "\xe7\x87\x01" , tt_ULEB128_known 17469 "\xbd\x88\x01" , tt_ULEB128_known 17684 "\x94\x8a\x01" , tt_ULEB128_known 17814 "\x96\x8b\x01" , tt_ULEB128_known 18370 "\xc2\x8f\x01" , tt_ULEB128_known 18538 "\xea\x90\x01" , tt_ULEB128_known 18918 "\xe6\x93\x01" , tt_ULEB128_known 18953 "\x89\x94\x01" , tt_ULEB128_known 19096 "\x98\x95\x01" , tt_ULEB128_known 19257 "\xb9\x96\x01" , tt_ULEB128_known 19303 "\xe7\x96\x01" , tt_ULEB128_known 19810 "\xe2\x9a\x01" , tt_ULEB128_known 19926 "\xd6\x9b\x01" , tt_ULEB128_known 20130 "\xa2\x9d\x01" , tt_ULEB128_known 21056 "\xc0\xa4\x01" , tt_ULEB128_known 21131 "\x8b\xa5\x01" , tt_ULEB128_known 21287 "\xa7\xa6\x01" , tt_ULEB128_known 21858 "\xe2\xaa\x01" , tt_ULEB128_known 22147 "\x83\xad\x01" , tt_ULEB128_known 22273 "\x81\xae\x01" , tt_ULEB128_known 22492 "\xdc\xaf\x01" , tt_ULEB128_known 22804 "\x94\xb2\x01" , tt_ULEB128_known 23342 "\xae\xb6\x01" , tt_ULEB128_known 23481 "\xb9\xb7\x01" , tt_ULEB128_known 23997 "\xbd\xbb\x01" , tt_ULEB128_known 24528 "\xd0\xbf\x01" , tt_ULEB128_known 24645 "\xc5\xc0\x01" , tt_ULEB128_known 25070 "\xee\xc3\x01" , tt_ULEB128_known 26661 "\xa5\xd0\x01" , tt_ULEB128_known 26673 "\xb1\xd0\x01" , tt_ULEB128_known 27427 "\xa3\xd6\x01" , tt_ULEB128_known 27684 "\xa4\xd8\x01" , tt_ULEB128_known 28569 "\x99\xdf\x01" , tt_ULEB128_known 28982 "\xb6\xe2\x01" , tt_ULEB128_known 29119 "\xbf\xe3\x01" , tt_ULEB128_known 29215 "\x9f\xe4\x01" , tt_ULEB128_known 29290 "\xea\xe4\x01" , tt_ULEB128_known 29383 "\xc7\xe5\x01" , tt_ULEB128_known 29944 "\xf8\xe9\x01" , tt_ULEB128_known 29969 "\x91\xea\x01" , tt_ULEB128_known 30328 "\xf8\xec\x01" , tt_ULEB128_known 30684 "\xdc\xef\x01" , tt_ULEB128_known 30720 "\x80\xf0\x01" , tt_ULEB128_known 31070 "\xde\xf2\x01" , tt_ULEB128_known 31846 "\xe6\xf8\x01" , tt_ULEB128_known 31905 "\xa1\xf9\x01" , tt_ULEB128_known 31907 "\xa3\xf9\x01" , tt_ULEB128_known 32143 "\x8f\xfb\x01" , tt_ULEB128_known 32369 "\xf1\xfc\x01" , tt_ULEB128_known 32436 "\xb4\xfd\x01" , tt_ULEB128_known 32715 "\xcb\xff\x01" , tt_ULEB128_known 32768 "\x80\x80\x02" , tt_ULEB128_known 32957 "\xbd\x81\x02" , tt_ULEB128_known 33215 "\xbf\x83\x02" , tt_ULEB128_known 33359 "\xcf\x84\x02" , tt_ULEB128_known 33438 "\x9e\x85\x02" , tt_ULEB128_known 33671 "\x87\x87\x02" , tt_ULEB128_known 33674 "\x8a\x87\x02" , tt_ULEB128_known 33749 "\xd5\x87\x02" , tt_ULEB128_known 33806 "\x8e\x88\x02" , tt_ULEB128_known 33938 "\x92\x89\x02" , tt_ULEB128_known 34042 "\xfa\x89\x02" , tt_ULEB128_known 34636 "\xcc\x8e\x02" , tt_ULEB128_known 35058 "\xf2\x91\x02" , tt_ULEB128_known 35077 "\x85\x92\x02" , tt_ULEB128_known 35229 "\x9d\x93\x02" , tt_ULEB128_known 35356 "\x9c\x94\x02" , tt_ULEB128_known 35514 "\xba\x95\x02" , tt_ULEB128_known 35572 "\xf4\x95\x02" , tt_ULEB128_known 35650 "\xc2\x96\x02" , tt_ULEB128_known 36807 "\xc7\x9f\x02" , tt_ULEB128_known 37064 "\xc8\xa1\x02" , tt_ULEB128_known 37202 "\xd2\xa2\x02" , tt_ULEB128_known 37498 "\xfa\xa4\x02" , tt_ULEB128_known 37589 "\xd5\xa5\x02" , tt_ULEB128_known 37710 "\xce\xa6\x02" , tt_ULEB128_known 37899 "\x8b\xa8\x02" , tt_ULEB128_known 38184 "\xa8\xaa\x02" , tt_ULEB128_known 38328 "\xb8\xab\x02" , tt_ULEB128_known 38948 "\xa4\xb0\x02" , tt_ULEB128_known 39149 "\xed\xb1\x02" , tt_ULEB128_known 39346 "\xb2\xb3\x02" , tt_ULEB128_known 39709 "\x9d\xb6\x02" , tt_ULEB128_known 39871 "\xbf\xb7\x02" , tt_ULEB128_known 39951 "\x8f\xb8\x02" , tt_ULEB128_known 40033 "\xe1\xb8\x02" , tt_ULEB128_known 40078 "\x8e\xb9\x02" , tt_ULEB128_known 40159 "\xdf\xb9\x02" , tt_ULEB128_known 40388 "\xc4\xbb\x02" , tt_ULEB128_known 40710 "\x86\xbe\x02" , tt_ULEB128_known 40782 "\xce\xbe\x02" , tt_ULEB128_known 41247 "\x9f\xc2\x02" , tt_ULEB128_known 41853 "\xfd\xc6\x02" , tt_ULEB128_known 42127 "\x8f\xc9\x02" , tt_ULEB128_known 42371 "\x83\xcb\x02" , tt_ULEB128_known 42714 "\xda\xcd\x02" , tt_ULEB128_known 43060 "\xb4\xd0\x02" , tt_ULEB128_known 43084 "\xcc\xd0\x02" , tt_ULEB128_known 43300 "\xa4\xd2\x02" , tt_ULEB128_known 43338 "\xca\xd2\x02" , tt_ULEB128_known 43930 "\x9a\xd7\x02" , tt_ULEB128_known 43942 "\xa6\xd7\x02" , tt_ULEB128_known 44189 "\x9d\xd9\x02" , tt_ULEB128_known 44381 "\xdd\xda\x02" , tt_ULEB128_known 44414 "\xfe\xda\x02" , tt_ULEB128_known 44510 "\xde\xdb\x02" , tt_ULEB128_known 44949 "\x95\xdf\x02" , tt_ULEB128_known 45100 "\xac\xe0\x02" , tt_ULEB128_known 45345 "\xa1\xe2\x02" , tt_ULEB128_known 45378 "\xc2\xe2\x02" , tt_ULEB128_known 45732 "\xa4\xe5\x02" , tt_ULEB128_known 45867 "\xab\xe6\x02" , tt_ULEB128_known 46111 "\x9f\xe8\x02" , tt_ULEB128_known 46337 "\x81\xea\x02" , tt_ULEB128_known 46769 "\xb1\xed\x02" , tt_ULEB128_known 46918 "\xc6\xee\x02" , tt_ULEB128_known 47501 "\x8d\xf3\x02" , tt_ULEB128_known 47545 "\xb9\xf3\x02" , tt_ULEB128_known 47662 "\xae\xf4\x02" , tt_ULEB128_known 47673 "\xb9\xf4\x02" , tt_ULEB128_known 47819 "\xcb\xf5\x02" , tt_ULEB128_known 48388 "\x84\xfa\x02" , tt_ULEB128_known 48432 "\xb0\xfa\x02" , tt_ULEB128_known 49063 "\xa7\xff\x02" , tt_ULEB128_known 49084 "\xbc\xff\x02" , tt_ULEB128_known 50004 "\xd4\x86\x03" , tt_ULEB128_known 50456 "\x98\x8a\x03" , tt_ULEB128_known 50918 "\xe6\x8d\x03" , tt_ULEB128_known 50940 "\xfc\x8d\x03" , tt_ULEB128_known 52310 "\xd6\x98\x03" , tt_ULEB128_known 52832 "\xe0\x9c\x03" , tt_ULEB128_known 53006 "\x8e\x9e\x03" , tt_ULEB128_known 53514 "\x8a\xa2\x03" , tt_ULEB128_known 53644 "\x8c\xa3\x03" , tt_ULEB128_known 53800 "\xa8\xa4\x03" , tt_ULEB128_known 54057 "\xa9\xa6\x03" , tt_ULEB128_known 54230 "\xd6\xa7\x03" , tt_ULEB128_known 54315 "\xab\xa8\x03" , tt_ULEB128_known 54743 "\xd7\xab\x03" , tt_ULEB128_known 55193 "\x99\xaf\x03" , tt_ULEB128_known 55219 "\xb3\xaf\x03" , tt_ULEB128_known 55375 "\xcf\xb0\x03" , tt_ULEB128_known 55376 "\xd0\xb0\x03" , tt_ULEB128_known 55492 "\xc4\xb1\x03" , tt_ULEB128_known 55732 "\xb4\xb3\x03" , tt_ULEB128_known 55875 "\xc3\xb4\x03" , tt_ULEB128_known 56084 "\x94\xb6\x03" , tt_ULEB128_known 56098 "\xa2\xb6\x03" , tt_ULEB128_known 56131 "\xc3\xb6\x03" , tt_ULEB128_known 56207 "\x8f\xb7\x03" , tt_ULEB128_known 56226 "\xa2\xb7\x03" , tt_ULEB128_known 56451 "\x83\xb9\x03" , tt_ULEB128_known 56941 "\xed\xbc\x03" , tt_ULEB128_known 57066 "\xea\xbd\x03" , tt_ULEB128_known 57261 "\xad\xbf\x03" , tt_ULEB128_known 57378 "\xa2\xc0\x03" , tt_ULEB128_known 57990 "\x86\xc5\x03" , tt_ULEB128_known 58289 "\xb1\xc7\x03" , tt_ULEB128_known 58457 "\xd9\xc8\x03" , tt_ULEB128_known 58497 "\x81\xc9\x03" , tt_ULEB128_known 58562 "\xc2\xc9\x03" , tt_ULEB128_known 58679 "\xb7\xca\x03" , tt_ULEB128_known 58680 "\xb8\xca\x03" , tt_ULEB128_known 58965 "\xd5\xcc\x03" , tt_ULEB128_known 59138 "\x82\xce\x03" , tt_ULEB128_known 59169 "\xa1\xce\x03" , tt_ULEB128_known 59441 "\xb1\xd0\x03" , tt_ULEB128_known 59480 "\xd8\xd0\x03" , tt_ULEB128_known 59649 "\x81\xd2\x03" , tt_ULEB128_known 60020 "\xf4\xd4\x03" , tt_ULEB128_known 60135 "\xe7\xd5\x03" , tt_ULEB128_known 60236 "\xcc\xd6\x03" , tt_ULEB128_known 60244 "\xd4\xd6\x03" , tt_ULEB128_known 60566 "\x96\xd9\x03" , tt_ULEB128_known 60998 "\xc6\xdc\x03" , tt_ULEB128_known 61490 "\xb2\xe0\x03" , tt_ULEB128_known 61495 "\xb7\xe0\x03" , tt_ULEB128_known 61840 "\x90\xe3\x03" , tt_ULEB128_known 62036 "\xd4\xe4\x03" , tt_ULEB128_known 62082 "\x82\xe5\x03" , tt_ULEB128_known 62223 "\x8f\xe6\x03" , tt_ULEB128_known 62946 "\xe2\xeb\x03" , tt_ULEB128_known 63475 "\xf3\xef\x03" , tt_ULEB128_known 63591 "\xe7\xf0\x03" , tt_ULEB128_known 63646 "\x9e\xf1\x03" , tt_ULEB128_known 64203 "\xcb\xf5\x03" , tt_ULEB128_known 64278 "\x96\xf6\x03" , tt_ULEB128_known 64439 "\xb7\xf7\x03" , tt_ULEB128_known 64493 "\xed\xf7\x03" , tt_ULEB128_known 64517 "\x85\xf8\x03" , tt_ULEB128_known 64900 "\x84\xfb\x03" , tt_ULEB128_known 65376 "\xe0\xfe\x03" , tt_ULEB128_known 65522 "\xf2\xff\x03" , tt_ULEB128_known 7424679 "\xa7\x95\xc5\x03" , tt_ULEB128_known 14100549 "\xc5\xd0\xdc\x06" , tt_ULEB128_known 68235555 "\xa3\xe2\xc4\x20" , tt_ULEB128_known 69098825 "\xc9\xba\xf9\x20" , tt_ULEB128_known 75674906 "\x9a\xea\x8a\x24" , tt_ULEB128_known 91177824 "\xe0\x86\xbd\x2b" , tt_ULEB128_known 153954905 "\xd9\xd4\xb4\x49" , tt_ULEB128_known 185527771 "\xdb\xdb\xbb\x58" , tt_ULEB128_known 220020303 "\xcf\xfc\xf4\x68" , tt_ULEB128_known 248856297 "\xe9\xfd\xd4\x76" , tt_ULEB128_known 263450205 "\xdd\xdc\xcf\x7d" , tt_ULEB128_known 275512216 "\x98\xf7\xaf\x83\x01" , tt_ULEB128_known 282020545 "\xc1\x95\xbd\x86\x01" , tt_ULEB128_known 297510487 "\xd7\xcc\xee\x8d\x01" , tt_ULEB128_known 331228009 "\xe9\xc6\xf8\x9d\x01" , tt_ULEB128_known 338637064 "\x88\xe2\xbc\xa1\x01" , tt_ULEB128_known 340593328 "\xb0\x95\xb4\xa2\x01" , tt_ULEB128_known 378543011 "\xa3\xb7\xc0\xb4\x01" , tt_ULEB128_known 383008357 "\xe5\xfc\xd0\xb6\x01" , tt_ULEB128_known 441168468 "\xd4\xe4\xae\xd2\x01" , tt_ULEB128_known 497717516 "\x8c\xa2\xaa\xed\x01" , tt_ULEB128_known 499253479 "\xe7\x81\x88\xee\x01" , tt_ULEB128_known 509345770 "\xea\xff\xef\xf2\x01" , tt_ULEB128_known 516942760 "\xa8\xd7\xbf\xf6\x01" , tt_ULEB128_known 524622237 "\x9d\xb3\x94\xfa\x01" , tt_ULEB128_known 539765297 "\xb1\xd4\xb0\x81\x02" , tt_ULEB128_known 603936895 "\xff\xb0\xfd\x9f\x02" , tt_ULEB128_known 632925525 "\xd5\xda\xe6\xad\x02" , tt_ULEB128_known 639957245 "\xfd\xf1\x93\xb1\x02" , tt_ULEB128_known 672284862 "\xbe\x81\xc9\xc0\x02" , tt_ULEB128_known 693267104 "\xa0\xd5\xc9\xca\x02" , tt_ULEB128_known 707821343 "\x9f\xfe\xc1\xd1\x02" , tt_ULEB128_known 710236774 "\xe6\xb4\xd5\xd2\x02" , tt_ULEB128_known 719183242 "\x8a\xbb\xf7\xd6\x02" , tt_ULEB128_known 732240829 "\xbd\xb7\x94\xdd\x02" , tt_ULEB128_known 742113873 "\xd1\x84\xef\xe1\x02" , tt_ULEB128_known 749077709 "\xcd\x89\x98\xe5\x02" , tt_ULEB128_known 780774180 "\xa4\xd6\xa6\xf4\x02" , tt_ULEB128_known 781087442 "\xd2\xe5\xb9\xf4\x02" , tt_ULEB128_known 790485926 "\xa6\xb7\xf7\xf8\x02" , tt_ULEB128_known 800833378 "\xe2\xfe\xee\xfd\x02" , tt_ULEB128_known 805343149 "\xad\x9f\x82\x80\x03" , tt_ULEB128_known 806936703 "\xff\xc0\xe3\x80\x03" , tt_ULEB128_known 813712125 "\xfd\x85\x81\x84\x03" , tt_ULEB128_known 830853841 "\xd1\xa5\x97\x8c\x03" , tt_ULEB128_known 837811858 "\x92\xfd\xbf\x8f\x03" , tt_ULEB128_known 845785612 "\x8c\xd4\xa6\x93\x03" , tt_ULEB128_known 869729327 "\xaf\x88\xdc\x9e\x03" , tt_ULEB128_known 875381905 "\x91\x89\xb5\xa1\x03" , tt_ULEB128_known 913118848 "\x80\xad\xb4\xb3\x03" , tt_ULEB128_known 922694503 "\xe7\xe6\xfc\xb7\x03" , tt_ULEB128_known 932838607 "\xcf\xf9\xe7\xbc\x03" , tt_ULEB128_known 961912600 "\x98\xbe\xd6\xca\x03" , tt_ULEB128_known 965674411 "\xab\x8b\xbc\xcc\x03" , tt_ULEB128_known 969765839 "\xcf\xe7\xb5\xce\x03" , tt_ULEB128_known 999371334 "\xc6\xe4\xc4\xdc\x03" , tt_ULEB128_known 1009980302 "\x8e\xa7\xcc\xe1\x03" , tt_ULEB128_known 1039207051 "\x8b\x95\xc4\xef\x03" , tt_ULEB128_known 1050278887 "\xe7\xf7\xe7\xf4\x03" , tt_ULEB128_known 1053226166 "\xb6\xe9\x9b\xf6\x03" , tt_ULEB128_known 1064623603 "\xf3\xbb\xd3\xfb\x03" , tt_ULEB128_known 1074553497 "\x99\xc5\xb1\x80\x04" , tt_ULEB128_known 1127625082 "\xfa\xe2\xd8\x99\x04" , tt_ULEB128_known 1139110863 "\xcf\xe7\x95\x9f\x04" , tt_ULEB128_known 1149278908 "\xbc\xb5\x82\xa4\x04" , tt_ULEB128_known 1158802511 "\xcf\xd8\xc7\xa8\x04" , tt_ULEB128_known 1163553324 "\xac\xd4\xe9\xaa\x04" , tt_ULEB128_known 1180182155 "\x8b\xcd\xe0\xb2\x04" , tt_ULEB128_known 1183276330 "\xaa\xba\x9d\xb4\x04" , tt_ULEB128_known 1190518037 "\x95\xba\xd7\xb7\x04" , tt_ULEB128_known 1202551545 "\xf9\xf5\xb5\xbd\x04" , tt_ULEB128_known 1248214829 "\xad\xfe\x98\xd3\x04" , tt_ULEB128_known 1256675466 "\x8a\xb1\x9d\xd7\x04" , tt_ULEB128_known 1313825099 "\xcb\xc2\xbd\xf2\x04" , tt_ULEB128_known 1314838143 "\xff\xac\xfb\xf2\x04" , tt_ULEB128_known 1402000705 "\xc1\xaa\xc3\x9c\x05" , tt_ULEB128_known 1414423930 "\xfa\xca\xb9\xa2\x05" , tt_ULEB128_known 1441945961 "\xe9\xb2\xc9\xaf\x05" , tt_ULEB128_known 1449454191 "\xef\xd4\x93\xb3\x05" , tt_ULEB128_known 1453144899 "\xc3\xf6\xf4\xb4\x05" , tt_ULEB128_known 1456639920 "\xb0\x9f\xca\xb6\x05" , tt_ULEB128_known 1457544425 "\xe9\xb9\x81\xb7\x05" , tt_ULEB128_known 1469203333 "\x85\x87\xc9\xbc\x05" , tt_ULEB128_known 1474946464 "\xa0\xcb\xa7\xbf\x05" , tt_ULEB128_known 1523966010 "\xba\xc0\xd7\xd6\x05" , tt_ULEB128_known 1528412212 "\xb4\xf0\xe6\xd8\x05" , tt_ULEB128_known 1531557470 "\xde\xec\xa6\xda\x05" , tt_ULEB128_known 1550196940 "\xcc\xc1\x98\xe3\x05" , tt_ULEB128_known 1553515984 "\xd0\x8b\xe3\xe4\x05" , tt_ULEB128_known 1560913891 "\xe3\xcf\xa6\xe8\x05" , tt_ULEB128_known 1576622459 "\xfb\xb2\xe5\xef\x05" , tt_ULEB128_known 1595762393 "\xd9\xcd\xf5\xf8\x05" , tt_ULEB128_known 1597034808 "\xb8\xa2\xc3\xf9\x05" , tt_ULEB128_known 1599194849 "\xe1\x8d\xc7\xfa\x05" , tt_ULEB128_known 1609605426 "\xb2\xc2\xc2\xff\x05" , tt_ULEB128_known 1641244705 "\xa1\xd0\xcd\x8e\x06" , tt_ULEB128_known 1661751507 "\xd3\xa1\xb1\x98\x06" , tt_ULEB128_known 1683329584 "\xb0\xa4\xd6\xa2\x06" , tt_ULEB128_known 1689190329 "\xb9\xff\xbb\xa5\x06" , tt_ULEB128_known 1691131815 "\xa7\xbf\xb2\xa6\x06" , tt_ULEB128_known 1706153109 "\x95\xa9\xc7\xad\x06" , tt_ULEB128_known 1716906204 "\xdc\xd1\xd7\xb2\x06" , tt_ULEB128_known 1733225139 "\xb3\xd5\xbb\xba\x06" , tt_ULEB128_known 1793703115 "\xcb\xf9\xa6\xd7\x06" , tt_ULEB128_known 1805517085 "\x9d\x82\xf8\xdc\x06" , tt_ULEB128_known 1870883730 "\x92\xd7\x8d\xfc\x06" , tt_ULEB128_known 1899187297 "\xe1\x98\xcd\x89\x07" , tt_ULEB128_known 1973360424 "\xa8\xae\xfc\xac\x07" , tt_ULEB128_known 1986252720 "\xb0\x9f\x8f\xb3\x07" , tt_ULEB128_known 2019542236 "\xdc\x89\xff\xc2\x07" , tt_ULEB128_known 2049800081 "\x91\xef\xb5\xd1\x07" , tt_ULEB128_known 2126356025 "\xb9\xbc\xf6\xf5\x07" , tt_ULEB128_known 2129105334 "\xb6\xa3\x9e\xf7\x07" , tt_ULEB128_known 2137829658 "\x9a\xe2\xb2\xfb\x07" , tt_ULEB128_known 2165033856 "\x80\x97\xaf\x88\x08" , tt_ULEB128_known 2172962693 "\x85\x8f\x93\x8c\x08" , tt_ULEB128_known 2178914725 "\xa5\xb3\xfe\x8e\x08" , tt_ULEB128_known 2197647374 "\x8e\xe0\xf5\x97\x08" , tt_ULEB128_known 2204900736 "\x80\xbb\xb0\x9b\x08" , tt_ULEB128_known 2206666819 "\xc3\xa0\x9c\x9c\x08" , tt_ULEB128_known 2245394147 "\xe3\xfd\xd7\xae\x08" , tt_ULEB128_known 2251211916 "\x8c\x89\xbb\xb1\x08" , tt_ULEB128_known 2285263560 "\xc8\xb5\xd9\xc1\x08" , tt_ULEB128_known 2296034148 "\xe4\xe6\xea\xc6\x08" , tt_ULEB128_known 2297733394 "\x92\xc2\xd2\xc7\x08" , tt_ULEB128_known 2308950307 "\xa3\x92\xff\xcc\x08" , tt_ULEB128_known 2353965320 "\x88\xd2\xba\xe2\x08" , tt_ULEB128_known 2376378142 "\x9e\xce\x92\xed\x08" , tt_ULEB128_known 2377899272 "\x88\xba\xef\xed\x08" , tt_ULEB128_known 2382104382 "\xbe\x8e\xf0\xef\x08" , tt_ULEB128_known 2387606507 "\xeb\xf7\xbf\xf2\x08" , tt_ULEB128_known 2399355301 "\xa5\x83\x8d\xf8\x08" , tt_ULEB128_known 2401253919 "\x9f\xf4\x80\xf9\x08" , tt_ULEB128_known 2405125211 "\xdb\x98\xed\xfa\x08" , tt_ULEB128_known 2428204406 "\xf6\xea\xed\x85\x09" , tt_ULEB128_known 2444829847 "\x97\xc9\xe4\x8d\x09" , tt_ULEB128_known 2450163298 "\xe2\x8c\xaa\x90\x09" , tt_ULEB128_known 2461047003 "\xdb\xb1\xc2\x95\x09" , tt_ULEB128_known 2494558124 "\xac\xdf\xbf\xa5\x09" , tt_ULEB128_known 2503664640 "\x80\xc8\xeb\xa9\x09" , tt_ULEB128_known 2505819863 "\xd7\x8d\xef\xaa\x09" , tt_ULEB128_known 2512858203 "\xdb\xd8\x9c\xae\x09" , tt_ULEB128_known 2521021176 "\xf8\xf5\x8e\xb2\x09" , tt_ULEB128_known 2567620135 "\xa7\x8c\xab\xc8\x09" , tt_ULEB128_known 2571092296 "\xc8\x82\xff\xc9\x09" , tt_ULEB128_known 2581410360 "\xb8\xe4\xf4\xce\x09" , tt_ULEB128_known 2581759998 "\xfe\x8f\x8a\xcf\x09" , tt_ULEB128_known 2589390623 "\x9f\xee\xdb\xd2\x09" , tt_ULEB128_known 2591128222 "\x9e\xf5\xc5\xd3\x09" , tt_ULEB128_known 2629767619 "\xc3\xa3\xfc\xe5\x09" , tt_ULEB128_known 2633373322 "\x8a\xad\xd8\xe7\x09" , tt_ULEB128_known 2641580787 "\xf3\xa5\xcd\xeb\x09" , tt_ULEB128_known 2645675237 "\xe5\x99\xc7\xed\x09" , tt_ULEB128_known 2649315202 "\x82\xaf\xa5\xef\x09" , tt_ULEB128_known 2681864530 "\xd2\x82\xe8\xfe\x09" , tt_ULEB128_known 2733002807 "\xb7\xa0\x99\x97\x0a" , tt_ULEB128_known 2745283454 "\xfe\xe6\x86\x9d\x0a" , tt_ULEB128_known 2761376567 "\xb7\x86\xdd\xa4\x0a" , tt_ULEB128_known 2787404081 "\xb1\xd2\x91\xb1\x0a" , tt_ULEB128_known 2791367114 "\xca\xc3\x83\xb3\x0a" , tt_ULEB128_known 2798865857 "\xc1\x9b\xcd\xb6\x0a" , tt_ULEB128_known 2813755235 "\xe3\xfe\xd9\xbd\x0a" , tt_ULEB128_known 2817817952 "\xe0\xfa\xd1\xbf\x0a" , tt_ULEB128_known 2839422414 "\xce\xcb\xf8\xc9\x0a" , tt_ULEB128_known 2870451344 "\x90\xb9\xde\xd8\x0a" , tt_ULEB128_known 2883096695 "\xf7\xa0\xe2\xde\x0a" , tt_ULEB128_known 2883179007 "\xff\xa3\xe7\xde\x0a" , tt_ULEB128_known 2905111067 "\x9b\xf4\xa1\xe9\x0a" , tt_ULEB128_known 2933694237 "\x9d\xbe\xf2\xf6\x0a" , tt_ULEB128_known 2936137684 "\xd4\xcf\x87\xf8\x0a" , tt_ULEB128_known 2950144350 "\xde\xc2\xde\xfe\x0a" , tt_ULEB128_known 2976345039 "\xcf\xd7\x9d\x8b\x0b" , tt_ULEB128_known 2986169099 "\x8b\xa6\xf5\x8f\x0b" , tt_ULEB128_known 2995829608 "\xe8\xf6\xc2\x94\x0b" , tt_ULEB128_known 3005775514 "\x9a\xfd\xa1\x99\x0b" , tt_ULEB128_known 3010530387 "\xd3\x98\xc4\x9b\x0b" , tt_ULEB128_known 3026902730 "\xca\xbd\xab\xa3\x0b" , tt_ULEB128_known 3049593858 "\x82\xb8\x94\xae\x0b" , tt_ULEB128_known 3069717007 "\x8f\xd4\xe0\xb7\x0b" , tt_ULEB128_known 3084835320 "\xf8\xb3\xfb\xbe\x0b" , tt_ULEB128_known 3137095172 "\x84\x8c\xf1\xd7\x0b" , tt_ULEB128_known 3148225718 "\xb6\xb9\x98\xdd\x0b" , tt_ULEB128_known 3175882084 "\xe4\xba\xb0\xea\x0b" , tt_ULEB128_known 3183785705 "\xe9\xed\x92\xee\x0b" , tt_ULEB128_known 3190934636 "\xec\x98\xc7\xf1\x0b" , tt_ULEB128_known 3207291398 "\x86\xc4\xad\xf9\x0b" , tt_ULEB128_known 3212735579 "\xdb\xe8\xf9\xfb\x0b" , tt_ULEB128_known 3233206445 "\xad\xa1\xdb\x85\x0c" , tt_ULEB128_known 3235504188 "\xbc\xc0\xe7\x86\x0c" , tt_ULEB128_known 3337222955 "\xab\xf6\xa7\xb7\x0c" , tt_ULEB128_known 3344176246 "\xf6\xa8\xd0\xba\x0c" , tt_ULEB128_known 3347759669 "\xb5\x84\xab\xbc\x0c" , tt_ULEB128_known 3349023016 "\xa8\x92\xf8\xbc\x0c" , tt_ULEB128_known 3400985995 "\x8b\xdb\xdb\xd5\x0c" , tt_ULEB128_known 3414245763 "\x83\x83\x85\xdc\x0c" , tt_ULEB128_known 3434162685 "\xfd\xd3\xc4\xe5\x0c" , tt_ULEB128_known 3475754455 "\xd7\x9b\xaf\xf9\x0c" , tt_ULEB128_known 3494374883 "\xe3\xdb\x9f\x82\x0d" , tt_ULEB128_known 3495457228 "\xcc\xe3\xe1\x82\x0d" , tt_ULEB128_known 3535907129 "\xb9\xd2\x86\x96\x0d" , tt_ULEB128_known 3537905033 "\x89\xcb\x80\x97\x0d" , tt_ULEB128_known 3580860466 "\xb2\xb0\xbe\xab\x0d" , tt_ULEB128_known 3597650236 "\xbc\x92\xbf\xb3\x0d" , tt_ULEB128_known 3660178372 "\xc4\xc7\xa7\xd1\x0d" , tt_ULEB128_known 3672796657 "\xf1\xdb\xa9\xd7\x0d" , tt_ULEB128_known 3674100778 "\xaa\xa8\xf9\xd7\x0d" , tt_ULEB128_known 3717759897 "\x99\x87\xe2\xec\x0d" , tt_ULEB128_known 3728526525 "\xbd\x99\xf3\xf1\x0d" , tt_ULEB128_known 3739660092 "\xbc\xde\x9a\xf7\x0d" , tt_ULEB128_known 3749882228 "\xf4\xd2\x8a\xfc\x0d" , tt_ULEB128_known 3749978539 "\xab\xc3\x90\xfc\x0d" , tt_ULEB128_known 3771544098 "\xa2\xe4\xb4\x86\x0e" , tt_ULEB128_known 3774432974 "\xce\x8d\xe5\x87\x0e" , tt_ULEB128_known 3774511384 "\x98\xf2\xe9\x87\x0e" , tt_ULEB128_known 3779422746 "\x9a\xd4\x95\x8a\x0e" , tt_ULEB128_known 3788467130 "\xba\xd7\xbd\x8e\x0e" , tt_ULEB128_known 3823824438 "\xb6\xdc\xab\x9f\x0e" , tt_ULEB128_known 3826295571 "\x93\xc6\xc2\xa0\x0e" , tt_ULEB128_known 3827909534 "\x9e\x87\xa5\xa1\x0e" , tt_ULEB128_known 3836660377 "\x99\x95\xbb\xa5\x0e" , tt_ULEB128_known 3841161226 "\x8a\xf0\xcd\xa7\x0e" , tt_ULEB128_known 3884454891 "\xeb\xa7\xa0\xbc\x0e" , tt_ULEB128_known 3884507512 "\xf8\xc2\xa3\xbc\x0e" , tt_ULEB128_known 3916312506 "\xba\xdf\xb8\xcb\x0e" , tt_ULEB128_known 3918895609 "\xf9\xb3\xd6\xcc\x0e" , tt_ULEB128_known 3950335172 "\xc4\xa9\xd5\xdb\x0e" , tt_ULEB128_known 3990487004 "\xdc\xff\xe7\xee\x0e" , tt_ULEB128_known 3994954592 "\xe0\xd6\xf8\xf0\x0e" , tt_ULEB128_known 3996089698 "\xe2\xfa\xbd\xf1\x0e" , tt_ULEB128_known 4007859466 "\x8a\xaa\x8c\xf7\x0e" , tt_ULEB128_known 4033383511 "\xd7\x98\xa2\x83\x0f" , tt_ULEB128_known 4039087780 "\xa4\xad\xfe\x85\x0f" , tt_ULEB128_known 4047558201 "\xb9\xac\x83\x8a\x0f" , tt_ULEB128_known 4055401811 "\xd3\x8a\xe2\x8d\x0f" , tt_ULEB128_known 4059618015 "\xdf\xb5\xe3\x8f\x0f" , tt_ULEB128_known 4079856829 "\xbd\xd9\xb6\x99\x0f" , tt_ULEB128_known 4083247540 "\xb4\xd3\x85\x9b\x0f" , tt_ULEB128_known 4092196862 "\xfe\xef\xa7\x9f\x0f" , tt_ULEB128_known 4103958027 "\x8b\xdc\xf5\xa4\x0f" , tt_ULEB128_known 4107691575 "\xb7\xcc\xd9\xa6\x0f" , tt_ULEB128_known 4111629699 "\x83\xfb\xc9\xa8\x0f" , tt_ULEB128_known 4126313733 "\x85\x9a\xca\xaf\x0f" , tt_ULEB128_known 4142098808 "\xf8\xd2\x8d\xb7\x0f" , tt_ULEB128_known 4142777074 "\xf2\x85\xb7\xb7\x0f" , tt_ULEB128_known 4189355970 "\xc2\xff\xd1\xcd\x0f" , tt_ULEB128_known 4203404220 "\xbc\xb7\xab\xd4\x0f" , tt_ULEB128_known 4219956182 "\xd6\xd7\x9d\xdc\x0f" , tt_ULEB128_known 4221874260 "\xd4\xe0\x92\xdd\x0f" , tt_ULEB128_known 4245632140 "\x8c\xe9\xbc\xe8\x0f" , tt_ULEB128_known 4250667884 "\xec\x96\xf0\xea\x0f" , tt_ULEB128_known 4258793638 "\xa6\x91\xe0\xee\x0f" , tt_ULEB128_known 4262615991 "\xb7\xb7\xc9\xf0\x0f" , tt_ULEB128_known 4272222672 "\xd0\xe3\x93\xf5\x0f" , tt_ULEB128_known 4273640298 "\xea\xa6\xea\xf5\x0f" , tt_ULEB128_known 4273706408 "\xa8\xab\xee\xf5\x0f" , tt_ULEB128_known 4285571791 "\xcf\xc5\xc2\xfb\x0f" , tt_ULEB128_known 227823842728710 "\x86\xb6\xde\xf9\xc5\xe6\x33" , tt_ULEB128_known 75261474164892201 "\xa9\xc4\xfb\xc6\x97\xbd\xd8\x85\x01" , tt_ULEB128_known 168485408808666162 "\xb2\x88\x82\xef\xe2\x92\xa5\xab\x02" , tt_ULEB128_known 717755936680095145 "\xa9\xdb\xfa\xc9\x8b\xe7\xfe\xfa\x09" , tt_ULEB128_known 734695070650939283 "\x93\xef\x84\x83\xe3\xa8\x8a\x99\x0a" , tt_ULEB128_known 990738819831151138 "\xa2\xf4\xe6\xe9\xd1\xf6\xf3\xdf\x0d" , tt_ULEB128_known 1050338103191410594 "\xa2\xaf\xa0\xf6\x89\x9e\xe3\xc9\x0e" , tt_ULEB128_known 1068136536003572080 "\xf0\xe2\xef\x80\xd3\x90\xb2\xe9\x0e" , tt_ULEB128_known 1075878753333237396 "\x94\xad\xc5\x8e\xea\xc0\x92\xf7\x0e" , tt_ULEB128_known 1113684928626427234 "\xe2\x8a\xf0\x93\xac\xd1\xa6\xba\x0f" , tt_ULEB128_known 1114278600321221100 "\xec\x83\xdd\xc7\xbb\xcf\xad\xbb\x0f" , tt_ULEB128_known 1152991407683701572 "\xc4\x96\xc2\xa0\xb9\xf2\x8f\x80\x10" , tt_ULEB128_known 1174735752806106832 "\xd0\x8d\xd6\x97\x97\xfe\xdf\xa6\x10" , tt_ULEB128_known 1236259003500982012 "\xfc\xdd\xb7\x90\xb8\xe0\x84\x94\x11" , tt_ULEB128_known 1280682687926913479 "\xc7\x93\x81\xdf\xe8\xc3\xf9\xe2\x11" , tt_ULEB128_known 1357168659508766305 "\xe1\xcc\xc0\xd2\xc8\xb6\xe8\xea\x12" , tt_ULEB128_known 1393366409401905860 "\xc4\xe5\xf2\x92\xdf\xeb\x8e\xab\x13" , tt_ULEB128_known 1406191118217599678 "\xbe\xb5\xad\xbd\xf2\xeb\xf2\xc1\x13" , tt_ULEB128_known 1427964220740374637 "\xed\xa0\xca\x89\xca\xbc\xc9\xe8\x13" , tt_ULEB128_known 1435843736633158116 "\xe4\xd3\xf4\x97\xd6\x88\xc9\xf6\x13" , tt_ULEB128_known 1475587601107919743 "\xff\xc6\x88\xf8\xae\xe3\x95\xbd\x14" , tt_ULEB128_known 1500959912189480795 "\xdb\x9e\x9f\xa1\xe7\xe2\x9e\xea\x14" , tt_ULEB128_known 1570152583066146974 "\x9e\xb1\xc7\xe6\xc8\xae\x93\xe5\x15" , tt_ULEB128_known 1740551343930355483 "\x9b\xde\xb0\xc2\x9b\xc7\xeb\x93\x18" , tt_ULEB128_known 1865654390810688288 "\xa0\xf6\xac\xaf\x8a\xd9\x88\xf2\x19" , tt_ULEB128_known 1873271405493943285 "\xf5\xf7\xf3\xa2\xb1\xcd\xcc\xff\x19" , tt_ULEB128_known 1874387577747180441 "\x99\x97\x9a\xf8\xa2\xb2\xca\x81\x1a" , tt_ULEB128_known 1885997661622250280 "\xa8\xd6\xd8\xe1\x97\x9c\x9a\x96\x1a" , tt_ULEB128_known 1895133965637192732 "\x9c\x98\xd4\xbc\xd0\xc9\xb7\xa6\x1a" , tt_ULEB128_known 1900119664317415511 "\xd7\x80\xff\xb2\xc7\x98\xa5\xaf\x1a" , tt_ULEB128_known 1988695039543172212 "\xf4\xb8\xb5\xb4\xa1\xf3\xd0\xcc\x1b" , tt_ULEB128_known 2018975808039210530 "\xa2\x9c\xa3\xc2\xce\xf9\xb5\x82\x1c" , tt_ULEB128_known 2191009178272376218 "\x9a\xcb\xae\xd4\xd3\xe7\x81\xb4\x1e" , tt_ULEB128_known 2286873011306353768 "\xe8\xa8\xdf\xea\xb2\xdc\xa6\xde\x1f" , tt_ULEB128_known 2359136898918748254 "\xde\xa0\xc6\xa4\xaa\xd0\xd5\xde\x20" , tt_ULEB128_known 2387629661863056173 "\xad\xa6\xa2\xd4\xef\x90\xa4\x91\x21" , tt_ULEB128_known 2458535091929179151 "\x8f\xc8\x95\xb2\xbe\x94\x9e\x8f\x22" , tt_ULEB128_known 2563897145003893317 "\xc5\xc4\xe1\xc4\xe8\xdb\xb2\xca\x23" , tt_ULEB128_known 2747545226467382795 "\x8b\xac\xa2\xdf\xb8\xba\xcf\x90\x26" , tt_ULEB128_known 2790287985116613059 "\xc3\x93\xaa\xef\xb8\x84\xc6\xdc\x26" , tt_ULEB128_known 2928980676484332701 "\x9d\xf9\xd3\xbe\x82\x8d\xf5\xd2\x28" , tt_ULEB128_known 2944295686823961901 "\xad\xca\xed\xf6\xbd\xaa\x8f\xee\x28" , tt_ULEB128_known 3022973414962426465 "\xe1\xe4\xa3\xa2\xdf\xc9\xf0\xf9\x29" , tt_ULEB128_known 3076345003319675583 "\xbf\x95\xab\xcb\xb3\xef\xd7\xd8\x2a" , tt_ULEB128_known 3133664910589528302 "\xee\x91\xae\x86\xa2\xf4\xc0\xbe\x2b" , tt_ULEB128_known 3144190332643264855 "\xd7\x92\xad\xdb\xae\x8e\x9a\xd1\x2b" , tt_ULEB128_known 3298539645723045748 "\xf4\xde\xf5\xa6\xcd\x8a\xb1\xe3\x2d" , tt_ULEB128_known 3384806410955606790 "\x86\x96\xe5\xf3\xf4\xef\xcf\xfc\x2e" , tt_ULEB128_known 3415009868491440130 "\x82\x80\x8b\x9f\x9c\xac\xa3\xb2\x2f" , tt_ULEB128_known 3449890764261488679 "\xa7\xf0\xd3\xed\xf2\xab\x9e\xf0\x2f" , tt_ULEB128_known 3563137885558970298 "\xba\xaf\xea\x93\xf5\xe0\xb3\xb9\x31" , tt_ULEB128_known 3657563100074945951 "\x9f\xdb\xac\xdc\xac\xc8\x91\xe1\x32" , tt_ULEB128_known 3700587972716690644 "\xd4\xf9\xf1\xae\xf9\xa4\xc8\xad\x33" , tt_ULEB128_known 3751617101016806029 "\x8d\xe5\x8c\xfb\x85\xfc\x9a\x88\x34" , tt_ULEB128_known 3782283879983012434 "\xd2\xb4\xcb\x90\xe4\xe4\xd7\xbe\x34" , tt_ULEB128_known 3841378177801331069 "\xfd\xc2\xa4\xbe\x9a\xa3\xd4\xa7\x35" , tt_ULEB128_known 3843212937304183130 "\xda\xa2\xce\xa1\xde\xb9\xf5\xaa\x35" , tt_ULEB128_known 3878245798820074584 "\xd8\xa8\xc9\xb2\x99\x80\x93\xe9\x35" , tt_ULEB128_known 3893609823214902851 "\xc3\xbc\xc8\xb5\x94\xb0\xb8\x84\x36" , tt_ULEB128_known 3956728337499169408 "\x80\xc5\xf0\xaa\xd9\xee\xc7\xf4\x36" , tt_ULEB128_known 3982128255237019230 "\xde\xac\xcb\xbb\xcc\x91\xd7\xa1\x37" , tt_ULEB128_known 4043542914206254024 "\xc8\x87\xbf\xda\xb5\x9b\xe3\x8e\x38" , tt_ULEB128_known 4045118881321648135 "\x87\x80\x9c\xdb\x8c\xc6\xc9\x91\x38" , tt_ULEB128_known 4134256720751534067 "\xf3\xbf\xaa\x95\xd5\x92\xf5\xaf\x39" , tt_ULEB128_known 4210079315543515777 "\x81\xc5\xc3\xf9\xcd\x9a\xcd\xb6\x3a" , tt_ULEB128_known 4278215864147998546 "\xd2\xee\xed\xb7\x95\xd5\xd1\xaf\x3b" , tt_ULEB128_known 4294505698158362143 "\x9f\xfc\xfa\x84\xde\xc5\xc9\xcc\x3b" , tt_ULEB128_known 4323175936829160300 "\xec\xf6\xdf\x81\xc0\xb3\xc0\xff\x3b" , tt_ULEB128_known 4437625949942147625 "\xa9\xd4\xed\xc2\xa3\xa9\xe7\xca\x3d" , tt_ULEB128_known 4444393973837935956 "\xd4\xea\xfc\xa3\xd9\x98\xea\xd6\x3d" , tt_ULEB128_known 4527576189882154517 "\x95\xfc\xc4\xdb\xe7\xd1\xcb\xea\x3e" , tt_ULEB128_known 4630711960513531005 "\xfd\x98\xbf\xbc\xe5\xff\xe5\xa1\x40" , tt_ULEB128_known 4738544158561718530 "\x82\xa2\xcb\xdc\xe6\x99\xac\xe1\x41" , tt_ULEB128_known 4823566444556896307 "\xb3\x90\xbb\xf2\xff\x83\xb0\xf8\x42" , tt_ULEB128_known 4969364902516834905 "\xd9\x84\xbd\xee\xcc\xe1\xae\xfb\x44" , tt_ULEB128_known 4999940398370050992 "\xb0\xa7\xe3\xf7\xd2\xe9\xd6\xb1\x45" , tt_ULEB128_known 5047528203842621028 "\xe4\x9c\xb8\xfe\x88\x85\x9b\x86\x46" , tt_ULEB128_known 5056090879529063593 "\xa9\xa9\xb0\xd3\xdd\xfb\xb5\x95\x46" , tt_ULEB128_known 5138682769057202779 "\xdb\x84\xcd\xb8\x8a\x98\x91\xa8\x47" , tt_ULEB128_known 5192771009703340673 "\x81\xd5\xc1\xca\x88\xb7\x9b\x88\x48" , tt_ULEB128_known 5203591044982965645 "\x8d\x8b\xf4\x84\xc5\xcf\xb7\x9b\x48" , tt_ULEB128_known 5205595947569509765 "\x85\xeb\xdf\x98\xf1\xbd\xff\x9e\x48" , tt_ULEB128_known 5245335121816452570 "\xda\xfb\xff\xbd\x89\x90\xcb\xe5\x48" , tt_ULEB128_known 5281614765525499435 "\xab\xfc\xeb\x9c\xd6\x94\x84\xa6\x49" , tt_ULEB128_known 5415006522766295924 "\xf4\x86\xa2\xaf\xe1\xf7\xfd\x92\x4b" , tt_ULEB128_known 5506039178247142939 "\x9b\xfc\xb7\xd6\xdd\xae\xd8\xb4\x4c" , tt_ULEB128_known 5510634334482130396 "\xdc\xcb\x83\xcf\xb0\x97\xed\xbc\x4c" , tt_ULEB128_known 5511632168482070686 "\x9e\xc1\xf5\xf7\x95\x88\xd0\xbe\x4c" , tt_ULEB128_known 5528732412273215974 "\xe6\x93\xef\x9d\xe2\x9a\x80\xdd\x4c" , tt_ULEB128_known 5542048674121246859 "\x8b\xd1\xaf\xa7\xff\xfc\xd3\xf4\x4c" , tt_ULEB128_known 5601897801686080844 "\xcc\xba\xa9\xcc\xed\x8b\xfc\xde\x4d" , tt_ULEB128_known 5609378649501280170 "\xaa\xcf\xbc\xb1\x97\x85\xa1\xec\x4d" , tt_ULEB128_known 5667120534244932029 "\xbd\xf3\xf6\xb7\x9a\x83\xea\xd2\x4e" , tt_ULEB128_known 5788166731354978227 "\xb3\xef\x96\x99\x9a\xdf\xec\xa9\x50" , tt_ULEB128_known 5835458901455749877 "\xf5\x85\xa5\xd5\xc0\xde\xed\xfd\x50" , tt_ULEB128_known 6045420329007298572 "\x8c\xf0\x9e\xe3\xa5\xb8\xe9\xf2\x53" , tt_ULEB128_known 6082603178276280450 "\x82\xb1\xc7\xb6\xd1\xeb\xef\xb4\x54" , tt_ULEB128_known 6271761304563999046 "\xc6\xc2\xcf\x94\xd6\xb5\xf1\x84\x57" , tt_ULEB128_known 6376283519002828267 "\xeb\xbb\xdd\xca\xbd\x82\xc7\xbe\x58" , tt_ULEB128_known 6617393968943300669 "\xbd\x80\xb6\xcd\x91\x98\xed\xea\x5b" , tt_ULEB128_known 6692377965772467354 "\x9a\xd9\x93\xc4\xd5\xc9\x86\xf0\x5c" , tt_ULEB128_known 6827839821837000505 "\xb9\xbe\xf1\xde\xc7\x84\xd7\xe0\x5e" , tt_ULEB128_known 6843499419089188695 "\xd7\xee\x9c\xbb\xe9\xce\xbf\xfc\x5e" , tt_ULEB128_known 6945363918775826385 "\xd1\xef\xca\xf3\xf9\xf5\xb8\xb1\x60" , tt_ULEB128_known 7003418245793840538 "\x9a\xfb\x9f\x90\x9f\xf9\xc8\x98\x61" , tt_ULEB128_known 7019050392006902605 "\xcd\x86\x8d\xe1\xc9\xa4\xab\xb4\x61" , tt_ULEB128_known 7074114660671564637 "\xdd\xd6\xd8\xcd\xdb\xb9\x93\x96\x62" , tt_ULEB128_known 7337278415349509923 "\xa3\xde\xb1\xe8\x81\xfb\xcf\xe9\x65" , tt_ULEB128_known 7363375970986704126 "\xfe\xf9\xbc\xd2\xec\xed\xfd\x97\x66" , tt_ULEB128_known 7442628686330531987 "\x93\xa1\xf4\x9e\xb8\xeb\xe1\xa4\x67" , tt_ULEB128_known 7485339658625876641 "\xa1\x85\xa8\xfc\xaa\x98\xd1\xf0\x67" , tt_ULEB128_known 7593087050568726701 "\xad\xf1\x91\xee\x94\x8e\x84\xb0\x69" , tt_ULEB128_known 7616993389808968746 "\xaa\xc8\xbf\xc0\x9a\xe4\xbf\xda\x69" , tt_ULEB128_known 7652912018846076278 "\xf6\x9a\x8d\xe5\xf2\xdd\xa6\x9a\x6a" , tt_ULEB128_known 7841396255184312349 "\x9d\xb0\xdb\xea\x93\x8b\x8f\xe9\x6c" , tt_ULEB128_known 7862375172691359479 "\xf7\xed\xf9\xd8\x81\x92\xb1\x8e\x6d" , tt_ULEB128_known 8002043003097211607 "\xd7\xc5\x89\xa8\xef\xf6\xbd\x86\x6f" , tt_ULEB128_known 8012357224138885541 "\xa5\x93\xd5\xf2\x9a\x8e\xe7\x98\x6f" , tt_ULEB128_known 8053099365893889619 "\xd3\xbc\x9d\xa8\xcc\xe6\x96\xe1\x6f" , tt_ULEB128_known 8069181957144908666 "\xfa\xa6\xf4\xbc\xcd\xc7\xdf\xfd\x6f" , tt_ULEB128_known 8070986252393944622 "\xae\xac\x82\x88\xc1\xe7\xf9\x80\x70" , tt_ULEB128_known 8092118975093648323 "\xc3\xd7\x9e\xf5\xd7\xea\xbe\xa6\x70" , tt_ULEB128_known 8127488305158606999 "\x97\xa1\xfb\x88\xd6\xf1\xa8\xe5\x70" , tt_ULEB128_known 8173669839824647064 "\x98\xe7\xc9\x90\x9d\xad\xad\xb7\x71" , tt_ULEB128_known 8204921825036634609 "\xf1\x93\xa2\xb9\xda\x9d\xef\xee\x71" , tt_ULEB128_known 8244731277729298875 "\xbb\xf3\xed\xac\xa2\xed\xca\xb5\x72" , tt_ULEB128_known 8327374118332948680 "\xc8\xc1\x91\xd8\xbe\xd4\xb1\xc8\x73" , tt_ULEB128_known 8444002472442420534 "\xb6\xba\xcd\xe3\xaa\xf0\xc7\x97\x75" , tt_ULEB128_known 8460080481274843743 "\xdf\xa4\xe9\x8c\xfd\xcb\x8f\xb4\x75" , tt_ULEB128_known 8558966579069034438 "\xc6\xbf\xe6\xee\x99\xd8\xe3\xe3\x76" , tt_ULEB128_known 8608031914317356491 "\xcb\xbb\xf2\xa0\xb3\xed\xf7\xba\x77" , tt_ULEB128_known 8717063203043061758 "\xfe\xdf\x8a\xb0\xc5\xd9\xce\xfc\x78" , tt_ULEB128_known 8731691902328862096 "\x90\xeb\xdd\xf3\xdc\xf0\xcc\x96\x79" , tt_ULEB128_known 8735249437125091689 "\xe9\xc2\x96\xe2\xce\xe2\xf5\x9c\x79" , tt_ULEB128_known 8765939449468784786 "\x92\xa1\xae\x81\xc4\xef\xb7\xd3\x79" , tt_ULEB128_known 8846810664494540287 "\xff\xcb\xd6\xe2\xd4\xed\x8b\xe3\x7a" , tt_ULEB128_known 8863797907167105568 "\xa0\xa4\xaf\x8c\xbf\xa7\xa2\x81\x7b" , tt_ULEB128_known 8874913961157715656 "\xc8\xcd\xd7\x97\x9f\xe7\x81\x95\x7b" , tt_ULEB128_known 9095902393560545338 "\xba\xf0\xb4\xbe\x8e\xe1\xc8\x9d\x7e" , tt_ULEB128_known 9278357653237088389 "\x85\x81\xe5\xa1\x87\xa4\xd6\xe1\x80\x01" , tt_ULEB128_known 9345651036153697948 "\x9c\xad\xcf\xe5\xa1\x83\x9b\xd9\x81\x01" , tt_ULEB128_known 9484121148456758217 "\xc9\xd7\xa3\xe4\xf7\xbd\x97\xcf\x83\x01" , tt_ULEB128_known 9488398371130531571 "\xf3\xbd\x85\xf5\xbf\x81\xe4\xd6\x83\x01" , tt_ULEB128_known 9740039616846814260 "\xb4\xb8\x8b\xa3\xd3\xcd\xe4\x95\x87\x01" , tt_ULEB128_known 9777013101649715726 "\x8e\xc4\xaf\xc1\xd7\xb3\xbb\xd7\x87\x01" , tt_ULEB128_known 9801441920966166937 "\x99\x93\xbe\x8e\xf3\xef\xed\x82\x88\x01" , tt_ULEB128_known 9897207218105991608 "\xb8\x83\x8f\xbd\xef\xb0\xfc\xac\x89\x01" , tt_ULEB128_known 10060108146541440626 "\xf2\xdc\xf6\xe4\xef\xe1\xab\xce\x8b\x01" , tt_ULEB128_known 10105846657260489569 "\xe1\x96\xd2\x84\xde\xbf\xcb\x9f\x8c\x01" , tt_ULEB128_known 10110759008783538163 "\xf3\xaf\xfe\xc0\xfd\xb7\xa8\xa8\x8c\x01" , tt_ULEB128_known 10186751003295074837 "\x95\x94\x87\xb6\x8d\x82\xa7\xaf\x8d\x01" , tt_ULEB128_known 10226525623380170998 "\xf6\xb1\x85\xe0\xf3\xdb\xfa\xf5\x8d\x01" , tt_ULEB128_known 10242529200753152505 "\xf9\xa3\xd4\xa3\xa7\xc1\xb1\x92\x8e\x01" , tt_ULEB128_known 10272916768788366883 "\xa3\x8c\xa3\xd6\xf7\xeb\xae\xc8\x8e\x01" , tt_ULEB128_known 10405418797642988611 "\xc3\xf8\xba\xa5\xc2\xa8\xde\xb3\x90\x01" , tt_ULEB128_known 10469894606496237985 "\xa1\x93\xf2\xbf\xc3\xb5\xa2\xa6\x91\x01" , tt_ULEB128_known 10485683442469938049 "\x81\xc7\xf6\xfc\x90\xb1\xa8\xc2\x91\x01" , tt_ULEB128_known 10514734800163341226 "\xaa\x87\xb2\xf9\xf5\xf2\xf5\xf5\x91\x01" , tt_ULEB128_known 10516557500424622678 "\xd6\xa4\x9e\xc6\xbd\xaa\x94\xf9\x91\x01" , tt_ULEB128_known 10532633304015060167 "\xc7\xf9\x90\xda\xf8\xc5\xdb\x95\x92\x01" , tt_ULEB128_known 10562228117401896415 "\xdf\x8b\x88\xf3\xaf\xd0\xa4\xca\x92\x01" , tt_ULEB128_known 10607748610367498417 "\xb1\xd1\xe4\xdc\x8a\xe5\x92\x9b\x93\x01" , tt_ULEB128_known 10715779747999238730 "\xca\x94\xc7\xd6\xff\x9c\x86\xdb\x94\x01" , tt_ULEB128_known 10794028799708388741 "\x85\xbb\xd1\xef\x90\x80\x86\xe6\x95\x01" , tt_ULEB128_known 11076654462981947196 "\xbc\xfe\xa2\xae\xc2\xd1\x8b\xdc\x99\x01" , tt_ULEB128_known 11112029803825057860 "\xc4\xa0\xaf\xb4\xb8\x87\xf7\x9a\x9a\x01" , tt_ULEB128_known 11204063524666424848 "\x90\xfc\x9c\xe5\x9f\x8d\xb5\xbe\x9b\x01" , tt_ULEB128_known 11217857190501866486 "\xf6\xb7\xb3\xa7\xe1\xb5\xf5\xd6\x9b\x01" , tt_ULEB128_known 11227690731560178118 "\xc6\xa3\xdc\xb4\xbc\xa7\xb1\xe8\x9b\x01" , tt_ULEB128_known 11233273182042669342 "\x9e\x82\xcd\x84\x95\xce\xa6\xf2\x9b\x01" , tt_ULEB128_known 11257190893642734044 "\xdc\xb3\xd9\x82\x98\xef\xe4\x9c\x9c\x01" , tt_ULEB128_known 11316140797099052479 "\xbf\x9b\x94\xbb\x97\xc3\xc0\x85\x9d\x01" , tt_ULEB128_known 11439500404765512453 "\x85\xa6\xf1\x8f\xa5\xa0\xd1\xe0\x9e\x01" , tt_ULEB128_known 11487841127191890497 "\xc1\x94\x95\xb3\xbd\xd4\xc0\xb6\x9f\x01" , tt_ULEB128_known 11573419706116713613 "\x8d\xd9\xde\x9c\xf7\xfc\xc2\xce\xa0\x01" , tt_ULEB128_known 11825700855638588116 "\xd4\xf5\xfb\x82\xde\x88\xd5\x8e\xa4\x01" , tt_ULEB128_known 11962454006436529282 "\x82\x89\xe4\xfc\x9f\x91\xcb\x81\xa6\x01" , tt_ULEB128_known 12094674477893877376 "\x80\xfd\xe3\xc6\xb7\xcb\xba\xec\xa7\x01" , tt_ULEB128_known 12095595652187308684 "\x8c\x85\x89\x9b\x91\x85\x8c\xee\xa7\x01" , tt_ULEB128_known 12117614803696436543 "\xbf\x8a\xdd\xda\xe4\xce\x9a\x95\xa8\x01" , tt_ULEB128_known 12348568270978276187 "\xdb\xb6\xc7\xe2\xab\xad\xbb\xaf\xab\x01" , tt_ULEB128_known 12530379333244790682 "\x9a\xcf\xce\x97\xd6\xb3\xb6\xf2\xad\x01" , tt_ULEB128_known 12535116550804629314 "\xc2\xce\xd1\xe6\xec\xc2\xeb\xfa\xad\x01" , tt_ULEB128_known 12590579628698639224 "\xf8\xb6\xe8\xe6\xee\xae\xae\xdd\xae\x01" , tt_ULEB128_known 12643216874244515033 "\xd9\xc9\xc6\xfc\xaa\xd8\xee\xba\xaf\x01" , tt_ULEB128_known 12665910134576977208 "\xb8\xaa\xec\xc3\x91\xc5\x96\xe3\xaf\x01" , tt_ULEB128_known 13025394675902087618 "\xc2\x83\xa2\xe3\xa3\xee\xdf\xe1\xb4\x01" , tt_ULEB128_known 13076173724363569287 "\x87\xf1\xf2\xaf\x8c\xd7\xf9\xbb\xb5\x01" , tt_ULEB128_known 13119112646413862286 "\x8e\x8b\xd5\x8e\x9a\xee\x9c\x88\xb6\x01" , tt_ULEB128_known 13179126492408335310 "\xce\x97\xc1\xaf\x80\xb7\xea\xf2\xb6\x01" , tt_ULEB128_known 13344414739953353340 "\xfc\x84\xa0\xb3\x91\xd0\xb8\x98\xb9\x01" , tt_ULEB128_known 13587730528178406622 "\xde\x89\xb8\xde\xca\x9d\xd4\xc8\xbc\x01" , tt_ULEB128_known 13590176164891917038 "\xee\xf5\xf3\xba\xfd\xa6\x80\xcd\xbc\x01" , tt_ULEB128_known 13601956848995391445 "\xd5\xaf\xbf\xd4\x81\xf6\xf6\xe1\xbc\x01" , tt_ULEB128_known 13609900213639311091 "\xf3\xdd\xef\xf3\xac\x84\x85\xf0\xbc\x01" , tt_ULEB128_known 13622021734351412017 "\xb1\xb6\xaa\xb5\x84\x93\xc9\x85\xbd\x01" , tt_ULEB128_known 13679751921386162979 "\xa3\x96\xc2\x8d\xce\xbc\x8f\xec\xbd\x01" , tt_ULEB128_known 13685618867296918967 "\xb7\xbb\xf7\xe4\x9a\xbb\xc5\xf6\xbd\x01" , tt_ULEB128_known 13715042894693961232 "\x90\x9c\xea\xcb\x8e\xdb\xe7\xaa\xbe\x01" , tt_ULEB128_known 13867437321366946997 "\xb5\x89\xc9\xe8\xd5\x98\xc2\xb9\xc0\x01" , tt_ULEB128_known 13884858018854964648 "\xa8\x9b\xd6\x94\xd9\x99\xbb\xd8\xc0\x01" , tt_ULEB128_known 14109693877532310998 "\xd6\xfb\xc4\x9e\xb4\xfa\xec\xe7\xc3\x01" , tt_ULEB128_known 14159978080673443788 "\xcc\xdf\xee\xae\xaa\xa1\x96\xc1\xc4\x01" , tt_ULEB128_known 14187365854017477836 "\xcc\xb9\xdf\xd9\xb8\xc2\xe9\xf1\xc4\x01" , tt_ULEB128_known 14299237009190957872 "\xb0\xe6\xc8\xdf\xc9\x89\xc6\xb8\xc6\x01" , tt_ULEB128_known 14440442733995446828 "\xac\xa4\xad\xb9\x86\xc5\xb0\xb3\xc8\x01" , tt_ULEB128_known 14474524103216191221 "\xf5\xad\x9f\xc8\xb8\xdf\xf5\xef\xc8\x01" , tt_ULEB128_known 14493564399040357302 "\xb6\xc7\xb1\xf0\xfd\x80\xdf\x91\xc9\x01" , tt_ULEB128_known 14495297497968030852 "\x84\xe9\xf8\xbf\xe6\x88\xe9\x94\xc9\x01" , tt_ULEB128_known 14536154376438558816 "\xe0\xe0\xf0\xbe\xbb\xec\xb2\xdd\xc9\x01" , tt_ULEB128_known 14738538189932390152 "\x88\xce\xcb\xbb\xd4\xcc\xf3\xc4\xcc\x01" , tt_ULEB128_known 14769995374197693954 "\x82\xbc\xdd\xe9\x9b\x91\xe4\xfc\xcc\x01" , tt_ULEB128_known 14863488181145897913 "\xb9\x97\xac\xc3\x82\xf8\xed\xa2\xce\x01" , tt_ULEB128_known 15068877586868647463 "\xa7\xec\x9a\x89\xbb\x8a\xda\x8f\xd1\x01" , tt_ULEB128_known 15075290977826340765 "\x9d\xff\xf5\x97\xda\xa8\x8c\x9b\xd1\x01" , tt_ULEB128_known 15097000880341691964 "\xbc\xdc\x9a\xb4\x83\xca\xd4\xc1\xd1\x01" , tt_ULEB128_known 15315359322966216613 "\xa5\x9f\xf9\xa6\x8f\xc5\xc5\xc5\xd4\x01" , tt_ULEB128_known 15332238884456094609 "\x91\xb7\xbf\xfb\x81\xc1\xc3\xe3\xd4\x01" , tt_ULEB128_known 15355656764698617296 "\xd0\xcb\xbd\x85\x84\x8f\x90\x8d\xd5\x01" , tt_ULEB128_known 15451913260127887220 "\xf4\xbe\xc8\xd0\xe0\xa7\x8e\xb8\xd6\x01" , tt_ULEB128_known 15469952299346770796 "\xec\xf6\xb4\xb6\xf2\xf4\x93\xd8\xd6\x01" , tt_ULEB128_known 15529439428856688579 "\xc3\xdf\xca\xef\x9c\xdc\xe9\xc1\xd7\x01" , tt_ULEB128_known 15561213538269371436 "\xac\xb8\xae\xb4\xc2\xa8\xa2\xfa\xd7\x01" , tt_ULEB128_known 15670949158519500554 "\x8a\xde\x8b\xf6\xb3\xa7\x99\xbd\xd9\x01" , tt_ULEB128_known 15768132723588903218 "\xb2\xe2\xea\x85\xb4\xa5\xea\xe9\xda\x01" , tt_ULEB128_known 15777457821124589455 "\x8f\xef\xdb\xb6\xbb\xc9\xb2\xfa\xda\x01" , tt_ULEB128_known 15948109888341212272 "\xf0\xf8\xe3\xeb\xa5\xae\xc4\xa9\xdd\x01" , tt_ULEB128_known 15989613841619609519 "\xaf\xcf\x9f\xab\xa8\xa2\xa1\xf3\xdd\x01" , tt_ULEB128_known 16017135281365759761 "\x91\xee\xba\xe9\xd0\xf5\x92\xa4\xde\x01" , tt_ULEB128_known 16318616824692571020 "\x8c\xf7\x8d\xac\xad\xf1\xd7\xbb\xe2\x01" , tt_ULEB128_known 16466066235311737763 "\xa3\x97\xbd\x9e\x80\x80\xce\xc1\xe4\x01" , tt_ULEB128_known 16488195901431596315 "\x9b\x8a\x87\xdf\x86\xda\xf5\xe8\xe4\x01" , tt_ULEB128_known 16497666429405569624 "\xd8\xc4\xec\xdc\xd8\x86\xdf\xf9\xe4\x01" , tt_ULEB128_known 16687025645117266970 "\x9a\xb8\xb1\xf8\x99\xad\x8e\xca\xe7\x01" , tt_ULEB128_known 16717941301969772540 "\xfc\xbf\xf5\xbd\x9e\xe1\x83\x81\xe8\x01" , tt_ULEB128_known 16732013103060218250 "\x8a\xe3\xd7\xc8\xc6\xa8\x83\x9a\xe8\x01" , tt_ULEB128_known 16732215193639573532 "\x9c\xb0\x9f\xd2\x94\xa2\xb1\x9a\xe8\x01" , tt_ULEB128_known 16823652378989721398 "\xb6\xee\xd9\x92\xc0\xd6\xe7\xbc\xe9\x01" , tt_ULEB128_known 16901939111747112304 "\xf0\x9a\xdf\x97\xa6\x82\xf0\xc7\xea\x01" , tt_ULEB128_known 16925540598690529784 "\xf8\x83\x9b\xc3\xfc\xaf\xe6\xf1\xea\x01" , tt_ULEB128_known 17253201377649926326 "\xb6\xc1\xea\xc8\xdd\xe7\xeb\xb7\xef\x01" , tt_ULEB128_known 17278784277645343305 "\xc9\xf4\x9e\xdd\x8e\xd8\xa4\xe5\xef\x01" , tt_ULEB128_known 17343838944915026409 "\xe9\xe3\xfb\xc9\x8f\xb4\xec\xd8\xf0\x01" , tt_ULEB128_known 17356087171625683816 "\xe8\x96\xda\xdb\xb7\xaa\xcd\xee\xf0\x01" , tt_ULEB128_known 17358307530478456555 "\xeb\x9d\xa0\x81\xb1\x97\xc6\xf2\xf0\x01" , tt_ULEB128_known 17375028618161701841 "\xd1\x87\x99\xde\x8a\x8f\xa0\x90\xf1\x01" , tt_ULEB128_known 17431587162243082439 "\xc7\xd1\x88\xa6\xae\x85\xdc\xf4\xf1\x01" , tt_ULEB128_known 17468619073700264256 "\xc0\xf2\x91\xe4\xea\x8f\xc0\xb6\xf2\x01" , tt_ULEB128_known 17677645154584602864 "\xf0\xd1\xae\x83\xba\x93\xe7\xa9\xf5\x01" , tt_ULEB128_known 17680852272158274921 "\xe9\xea\x9b\x81\xee\xae\xc0\xaf\xf5\x01" , tt_ULEB128_known 17760608059192644565 "\xd5\xa7\xf8\xd8\xe1\xdd\x96\xbd\xf6\x01" , tt_ULEB128_known 17790454869050497143 "\xf7\xb0\xfe\xf2\xa0\x8e\x99\xf2\xf6\x01" , tt_ULEB128_known 17844543005813556250 "\x9a\x88\xcb\x85\x9c\xaa\xa3\xd2\xf7\x01" , tt_ULEB128_known 18108784008520238429 "\xdd\x8a\xfe\xf0\xc7\xe3\xd4\xa7\xfb\x01" , tt_ULEB128_known 18140543185983641493 "\x95\xaf\xc0\xc9\xa3\xfd\x89\xe0\xfb\x01" , tt_ULEB128_known 18247503505561409945 "\x99\xb3\xbb\xb5\xa4\xf8\x89\x9e\xfd\x01" ] , testGroup "Round trip" [ testProperty "putWord8" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecULEB128 n (enc (U.putWord8 n)) , testProperty "putWord16" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecULEB128 n (enc (U.putWord16 n)) , testProperty "putWord32" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecULEB128 n (enc (U.putWord32 n)) , testProperty "putWord64" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecULEB128 n (enc (U.putWord64 n)) , testProperty "putWord" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecULEB128 n (enc (U.putWord n)) , testProperty "putNatural" $ property $ do n <- forAll $ Gen.integral rangeNatural512 propDecULEB128 n (enc (U.putNatural n)) ] , testGroup "ByteString (strict)" [ testProperty "Round trip" $ property $ do i <- forAll $ Gen.integral $ Range.constantFrom 0 0 1000 let raw = B.replicate i 222 dec U.getByteString (enc (U.putByteString raw)) === Right raw , testProperty "Known" $ property $ do i <- forAll $ Gen.integral $ Range.constantFrom 0 0 1000 let pre = enc (U.putWord (fromIntegral (i :: Int))) raw = B.replicate i 222 enc (U.putByteString raw) === pre <> BL.fromStrict raw ] , testGroup "ByteString (lazy)" [ testProperty "Round trip" $ property $ do i <- forAll $ Gen.integral $ Range.constantFrom 0 0 1000 let raw = BL.replicate i 222 dec U.getLazyByteString (enc (U.putLazyByteString raw)) === Right raw , testProperty "Known" $ property $ do i <- forAll $ Gen.integral $ Range.constantFrom 0 0 1000 let pre = enc (U.putWord (fromIntegral (i :: Int64))) raw = BL.replicate i 222 enc (U.putLazyByteString raw) === pre <> raw ] , testGroup "ByteString (strict)" [ testProperty "Round trip" $ property $ do i <- forAll $ Gen.integral $ Range.constantFrom 0 0 1000 let raw = BS.toShort (B.replicate i 222) dec U.getShortByteString (enc (U.putShortByteString raw)) === Right raw , testProperty "Known" $ property $ do i <- forAll $ Gen.integral $ Range.constantFrom 0 0 1000 let pre = enc (U.putWord (fromIntegral (i :: Int))) raw = BS.toShort (B.replicate i 222) enc (U.putShortByteString raw) === pre <> BL.fromStrict (BS.fromShort raw) ] ] tt_ULEB128_known :: Natural -> BL.ByteString -> TestTree tt_ULEB128_known n bl = testGroup (show n) [ testCase "put" $ enc (U.putNatural n) @?= bl , testCase "get" $ assertDecULEB128 n bl ] tt_SLEB128 :: TestTree tt_SLEB128 = testGroup "SLEB128" [ testGroup "Too big" [ testCase "0, 0" $ dec (S.getInteger 0) "" @?= Left "input too big\nSLEB128" , testCase "0, 1" $ dec (S.getInteger 0) "\x00" @?= Left "input too big\nSLEB128" , testCase "0, 1.5" $ dec (S.getInteger 0) "\x80" @?= Left "input too big\nSLEB128" , testCase "1, 1.5" $ dec (S.getInteger 1) "\x80" @?= Left "input too big\nSLEB128" , testCase "1, 2" $ dec (S.getInteger 1) "\x89\x3b" @?= Left "input too big\nSLEB128" , testCase "1, 3" $ dec (S.getInteger 1) "\xc9\xc1\x00" @?= Left "input too big\nSLEB128" , testCase "2, 3" $ dec (S.getInteger 2) "\xc9\xc1\x00" @?= Left "input too big\nSLEB128" ] , testGroup "Known" [ tt_SLEB128_known (-9015451631251509835) "\xb5\xdb\xa6\xec\x9d\xd0\xab\xf1\x82\x7f" , tt_SLEB128_known (-8845873988257394623) "\xc1\xa0\xb3\x90\x9a\x8f\xc9\x9e\x85\x7f" , tt_SLEB128_known (-8842841274936780126) "\xa2\xb5\xec\xd1\xe3\xd6\xfa\xa3\x85\x7f" , tt_SLEB128_known (-8556157385587939139) "\xbd\xd1\xc8\xad\x8b\x86\x9b\xa1\x89\x7f" , tt_SLEB128_known (-8522800211221181049) "\x87\x9b\xa6\xb4\xd1\xcb\xbb\xdc\x89\x7f" , tt_SLEB128_known (-8485791988481748275) "\xcd\xa5\xc2\xc5\xd6\xa4\x9a\x9e\x8a\x7f" , tt_SLEB128_known (-8483754184008751867) "\x85\xca\xb2\xe3\xcb\xd0\xe9\xa1\x8a\x7f" , tt_SLEB128_known (-8276697308179582507) "\xd5\xe3\x98\xc4\xe6\xf4\xd0\x91\x8d\x7f" , tt_SLEB128_known (-8107645367689656885) "\xcb\x8b\x91\xb0\xe8\xef\xf6\xbd\x8f\x7f" , tt_SLEB128_known (-7897285947534482093) "\xd3\xca\x97\xbc\xdb\x88\xcd\xb3\x92\x7f" , tt_SLEB128_known (-7772703118602814481) "\xef\xf7\xee\xb8\x9f\xf6\xf3\x90\x94\x7f" , tt_SLEB128_known (-7701038245294958103) "\xe9\xb3\xfc\xdb\xc8\xd0\x9a\x90\x95\x7f" , tt_SLEB128_known (-7621567507177824854) "\xaa\xbb\x86\xb8\xba\x97\xb0\x9d\x96\x7f" , tt_SLEB128_known (-7496317180987688968) "\xf8\xef\xc8\xbc\xdb\xe7\xee\xfb\x97\x7f" , tt_SLEB128_known (-7478508143247252325) "\x9b\xc9\x86\xff\xf6\x8e\xc0\x9b\x98\x7f" , tt_SLEB128_known (-7429215717708838129) "\x8f\x96\xdd\xd1\xa9\xf5\x87\xf3\x98\x7f" , tt_SLEB128_known (-7322751059733054785) "\xbf\xf5\xfb\x8f\xd7\x96\x97\xb0\x9a\x7f" , tt_SLEB128_known (-7280002181293982082) "\xfe\xfc\x9c\x9f\xe5\x92\x8f\xfc\x9a\x7f" , tt_SLEB128_known (-7276726830436499218) "\xee\x81\x9d\x82\x86\xf0\xf7\x81\x9b\x7f" , tt_SLEB128_known (-7272820501303806738) "\xee\xe9\xee\x84\x98\x89\xf0\x88\x9b\x7f" , tt_SLEB128_known (-7271078635291017708) "\x94\xfc\xaf\xcc\x94\x90\xfc\x8b\x9b\x7f" , tt_SLEB128_known (-7224058460184500729) "\x87\xcc\xb0\xe0\xae\xa3\xbf\xdf\x9b\x7f" , tt_SLEB128_known (-7218513110023818091) "\x95\xe9\x9e\xf4\xa5\x92\xac\xe9\x9b\x7f" , tt_SLEB128_known (-7169700919810018527) "\xa1\xe6\xba\xc7\x80\xe0\x86\xc0\x9c\x7f" , tt_SLEB128_known (-6848037735711187469) "\xf3\xbb\xdb\xd3\xe3\xbe\xb8\xfb\xa0\x7f" , tt_SLEB128_known (-6779538613528389993) "\x97\xad\xe2\xfc\xce\xb1\x8f\xf5\xa1\x7f" , tt_SLEB128_known (-6573916454518439344) "\xd0\x84\xd5\x8a\x89\xba\xb0\xe2\xa4\x7f" , tt_SLEB128_known (-6554927559093407642) "\xe6\xe0\xc6\xfe\xd4\x83\x8e\x84\xa5\x7f" , tt_SLEB128_known (-6493158617924639365) "\xfb\xca\xd7\xa2\xba\xd4\xea\xf1\xa5\x7f" , tt_SLEB128_known (-6442875855316439363) "\xbd\xdd\xb0\xff\xb9\xd1\x93\xcb\xa6\x7f" , tt_SLEB128_known (-6374141538702420700) "\xa4\xaa\xd2\xec\xac\x81\xa0\xc5\xa7\x7f" , tt_SLEB128_known (-6296776333015610931) "\xcd\x93\x92\x84\x97\xe9\xd6\xce\xa8\x7f" , tt_SLEB128_known (-6211278320953137430) "\xea\xcd\x83\xf4\xe9\xe8\xc6\xe6\xa9\x7f" , tt_SLEB128_known (-6206032071712417024) "\x80\xb6\x99\xa7\xe3\xd6\xef\xef\xa9\x7f" , tt_SLEB128_known (-6190903940917779093) "\xeb\xca\x9e\x98\xaa\xb5\xdf\x8a\xaa\x7f" , tt_SLEB128_known (-6166955670678844237) "\xb3\x99\xed\xfc\xdc\xcf\xa4\xb5\xaa\x7f" , tt_SLEB128_known (-6147525758390505168) "\xb0\xe2\xc7\xdc\xcc\xbc\xe6\xd7\xaa\x7f" , tt_SLEB128_known (-5979470863740975152) "\xd0\x8f\xaf\xaf\xe1\xdd\xa9\x82\xad\x7f" , tt_SLEB128_known (-5956359947341419360) "\xa0\xd9\xe6\x82\xfa\xc5\xb0\xab\xad\x7f" , tt_SLEB128_known (-5935045008163866456) "\xa8\xf1\xbf\x93\xaa\x80\x9f\xd1\xad\x7f" , tt_SLEB128_known (-5787331914243643991) "\xa9\xcb\xe7\xf1\x95\x89\xd1\xd7\xaf\x7f" , tt_SLEB128_known (-5779439755263686250) "\x96\x93\xf3\x95\x9d\xc5\xd3\xe5\xaf\x7f" , tt_SLEB128_known (-5778280777440391568) "\xf0\x9c\xca\x81\xf6\x87\xdb\xe7\xaf\x7f" , tt_SLEB128_known (-5722955693957385186) "\x9e\xe8\xfb\xe2\xe2\xc3\xfe\xc9\xb0\x7f" , tt_SLEB128_known (-5678952082115941293) "\xd3\xd8\x8e\x88\xb7\xe5\x93\x98\xb1\x7f" , tt_SLEB128_known (-5635936467873333755) "\x85\xfc\xf5\xbd\xc9\xb4\xc8\xe4\xb1\x7f" , tt_SLEB128_known (-5622710758104924047) "\xf1\x80\x8e\xe3\xb1\xcb\x87\xfc\xb1\x7f" , tt_SLEB128_known (-5552306137205707020) "\xf4\xdd\x87\xfd\xc4\xdf\x8f\xf9\xb2\x7f" , tt_SLEB128_known (-5432329272797841740) "\xb4\xed\xb6\xff\xed\xa9\x9f\xce\xb4\x7f" , tt_SLEB128_known (-5409157020114747574) "\xca\xfe\xff\x8d\x96\x8b\xb4\xf7\xb4\x7f" , tt_SLEB128_known (-5377759596865526605) "\xb3\xc9\x87\xab\xba\x84\x97\xaf\xb5\x7f" , tt_SLEB128_known (-5293955917046730683) "\xc5\xe0\xe8\xde\xc5\xe4\x85\xc4\xb6\x7f" , tt_SLEB128_known (-5276524690623660565) "\xeb\xfb\xb1\xb6\x80\x98\x81\xe3\xb6\x7f" , tt_SLEB128_known (-5275542185978577043) "\xed\xfe\xa2\xb9\xd3\xca\xe0\xe4\xb6\x7f" , tt_SLEB128_known (-5080028964182223657) "\xd7\xa9\xe4\xe9\xa7\x92\x87\xc0\xb9\x7f" , tt_SLEB128_known (-4893379532346778144) "\xe0\xbb\xb6\xba\xdd\xa7\xce\x8b\xbc\x7f" , tt_SLEB128_known (-4844991702395721618) "\xee\xd0\xf3\xf7\xf6\xb6\xc8\xe1\xbc\x7f" , tt_SLEB128_known (-4594607936156968693) "\x8b\xb2\xb1\x99\xce\x8d\xab\x9e\x40" , tt_SLEB128_known (-4591896550820938510) "\xf2\xf9\xe7\xd7\xa7\xcd\x93\xa3\x40" , tt_SLEB128_known (-4589574099668352347) "\xa5\x85\xbd\xb7\xc4\xd5\xa3\xa7\x40" , tt_SLEB128_known (-4532775902251836953) "\xe7\xb3\xd0\x9e\xd2\x8a\x96\x8c\x41" , tt_SLEB128_known (-4531935102467665968) "\xd0\x9f\xaa\xc2\x91\xa1\xd5\x8d\x41" , tt_SLEB128_known (-4518171459184852569) "\xa7\x83\xea\xa7\xf0\xdf\x8e\xa6\x41" , tt_SLEB128_known (-4484711469774604056) "\xe8\xf1\xdb\x9f\xde\xd5\xc6\xe1\x41" , tt_SLEB128_known (-4323123947915954171) "\x85\xf0\xf0\xe3\xc9\xb5\xcb\x80\x44" , tt_SLEB128_known (-4291837239673002165) "\xcb\xce\xfd\xbb\xd0\x98\x95\xb8\x44" , tt_SLEB128_known (-4234243536084555642) "\x86\xd1\xbe\xd9\x81\xbe\xbc\x9e\x45" , tt_SLEB128_known (-4089601000917788115) "\xad\xb4\xda\xd9\xea\xb1\xb4\x9f\x47" , tt_SLEB128_known (-3998247270963412067) "\x9d\x87\xb4\xd0\xa6\xe9\xd7\xc1\x48" , tt_SLEB128_known (-3992189355246770035) "\x8d\xd1\xae\xa3\xed\x9d\xb9\xcc\x48" , tt_SLEB128_known (-3960425873444320581) "\xbb\x95\xd7\xf0\xeb\xb4\xef\x84\x49" , tt_SLEB128_known (-3920918428027768861) "\xe3\xdf\xfc\x80\xeb\xae\x86\xcb\x49" , tt_SLEB128_known (-3896772997752851503) "\xd1\xe7\xed\x94\xac\xb3\xf8\xf5\x49" , tt_SLEB128_known (-3830059077683584617) "\x97\xc3\xa3\xaf\xfb\xb1\xb9\xec\x4a" , tt_SLEB128_known (-3773749753308058581) "\xab\xd8\xeb\x96\xff\xd2\xbc\xd0\x4b" , tt_SLEB128_known (-3709363437631825438) "\xe2\xb3\x88\xa9\xb4\xb3\xec\xc2\x4c" , tt_SLEB128_known (-3551864614040605682) "\x8e\xd8\xd1\xee\xbb\xbe\xcf\xda\x4e" , tt_SLEB128_known (-3538458889709326407) "\xb9\xdf\xb5\xd4\xb2\xcc\xb7\xf2\x4e" , tt_SLEB128_known (-3510807628900196704) "\xa0\xbd\xb0\xa5\x80\xe2\xc6\xa3\x4f" , tt_SLEB128_known (-3493896362524734461) "\x83\x98\xbc\xed\xd0\xf8\xcb\xc1\x4f" , tt_SLEB128_known (-3480526772758105880) "\xe8\xe1\x90\xf4\xf3\xea\xab\xd9\x4f" , tt_SLEB128_known (-3446394694547916167) "\xf9\xf4\xb8\xdd\x8f\xc9\xfc\x95\x50" , tt_SLEB128_known (-3426262981006668988) "\xc4\x96\x9b\xf0\x8c\xff\xdd\xb9\x50" , tt_SLEB128_known (-3395109590119605005) "\xf3\xb9\x98\xdb\x8d\xba\x89\xf1\x50" , tt_SLEB128_known (-3349882385064699251) "\x8d\xb5\x85\xf7\x81\xf7\xb4\xc1\x51" , tt_SLEB128_known (-3194600936394437380) "\xfc\x99\xd1\x98\xfc\xeb\x9f\xd5\x53" , tt_SLEB128_known (-3182545557078683548) "\xe4\xa0\xcf\xe6\xd7\xf5\xd4\xea\x53" , tt_SLEB128_known (-3172377041564524708) "\xdc\xbe\xc4\xff\xb7\xfc\xdc\xfc\x53" , tt_SLEB128_known (-3001491593507913480) "\xf8\x81\x8f\xe5\xc5\xe9\xa3\xac\x56" , tt_SLEB128_known (-2978756232555591187) "\xed\x93\xac\xb0\xd1\x9f\xd5\xd4\x56" , tt_SLEB128_known (-2893347837054065560) "\xe8\xc8\xfd\xc5\x8c\xef\xb0\xec\x57" , tt_SLEB128_known (-2791206811152809932) "\xb4\x80\xd8\xb4\x99\x86\xe9\xa1\x59" , tt_SLEB128_known (-2750458018244304965) "\xbb\xbf\xb1\xa7\x94\xa0\x9a\xea\x59" , tt_SLEB128_known (-2672965747832870286) "\xf2\xd4\x8a\xbd\x87\xfa\xed\xf3\x5a" , tt_SLEB128_known (-2553681548773257126) "\xda\xa0\x9a\xff\x94\x85\xe0\xc7\x5c" , tt_SLEB128_known (-2543542719845913221) "\xfb\xda\xb6\x84\xf6\xab\xe1\xd9\x5c" , tt_SLEB128_known (-2540322427720969431) "\xa9\xa6\xef\x85\xe1\xc6\xbd\xdf\x5c" , tt_SLEB128_known (-2535716587620118949) "\xdb\x9c\xd9\xbe\xac\xe6\xd4\xe7\x5c" , tt_SLEB128_known (-2507055343404571362) "\x9e\xca\x80\xc1\xab\xce\xc9\x9a\x5d" , tt_SLEB128_known (-2504855703159012186) "\xa6\x89\xe2\xfc\xa5\xe0\xbd\x9e\x5d" , tt_SLEB128_known (-2342405984312446314) "\x96\xe5\xba\xca\xaf\xc5\x86\xbf\x5f" , tt_SLEB128_known (-2112449394162310082) "\xbe\xc8\xdd\xf7\xfd\xce\xc4\xd7\x62" , tt_SLEB128_known (-2085412304362508580) "\xdc\xdd\xf9\xa1\xee\x91\xc8\x87\x63" , tt_SLEB128_known (-2015802339231676599) "\xc9\x8e\xc7\x85\xbe\xce\x9b\x83\x64" , tt_SLEB128_known (-1991599610167483452) "\xc4\xc7\xa4\xe9\xcd\xd6\x9a\xae\x64" , tt_SLEB128_known (-1802299514279593542) "\xba\xf3\x85\xc4\xc0\xc4\xbc\xfe\x66" , tt_SLEB128_known (-1788025794814968433) "\x8f\xfb\xc5\x96\xb5\x80\xea\x97\x67" , tt_SLEB128_known (-1633568702721236735) "\x81\xc2\xeb\xf0\xb7\xbd\x99\xaa\x69" , tt_SLEB128_known (-1563953070423669007) "\xf1\x8d\x90\xc0\xff\x9e\xee\xa5\x6a" , tt_SLEB128_known (-1531343856302388803) "\xbd\x93\xfa\xc0\x84\xdc\xe4\xdf\x6a" , tt_SLEB128_known (-1443846670923883028) "\xec\xbb\xce\xab\xa4\xa3\x9b\xfb\x6b" , tt_SLEB128_known (-1324900659139526206) "\xc2\x83\xbb\x8a\xec\xbb\xc0\xce\x6d" , tt_SLEB128_known (-973503881282136363) "\xd5\xad\xdb\xc5\x8b\xec\xda\xbe\x72" , tt_SLEB128_known (-922574221217393149) "\x83\xac\x9e\x8b\xa4\xf4\x96\x99\x73" , tt_SLEB128_known (-827603766902525297) "\x8f\xe5\xff\x97\xa4\xd8\xf0\xc1\x74" , tt_SLEB128_known (-573796989413515899) "\x85\xbb\xc6\x86\xda\xd5\xdd\x84\x78" , tt_SLEB128_known (-569993810965739236) "\x9c\x92\xdd\xe9\xe1\xb4\xbe\x8b\x78" , tt_SLEB128_known (-466253085031555368) "\xd8\xbd\x8e\xda\xa1\xa9\xe2\xc3\x79" , tt_SLEB128_known (-232927486339319927) "\x89\xef\xc7\xf2\xf6\xb5\x9e\xe2\x7c" , tt_SLEB128_known (-171536181428024305) "\x8f\x98\xec\xbe\x87\x98\xa5\xcf\x7d" , tt_SLEB128_known (-62821989041134405) "\xbb\xc9\xfa\xd8\xbd\xf7\xb3\x90\x7f" , tt_SLEB128_known (-2140227152) "\xb0\xf3\xba\x83\x78" , tt_SLEB128_known (-2127666182) "\xfa\xc7\xb9\x89\x78" , tt_SLEB128_known (-2127550250) "\xd6\xd1\xc0\x89\x78" , tt_SLEB128_known (-2122511773) "\xe3\x94\xf4\x8b\x78" , tt_SLEB128_known (-2115766272) "\x80\xf0\x8f\x8f\x78" , tt_SLEB128_known (-2081080403) "\xad\xf7\xd4\x9f\x78" , tt_SLEB128_known (-2073690705) "\xaf\xfb\x97\xa3\x78" , tt_SLEB128_known (-2062501071) "\xb1\xf6\xc2\xa8\x78" , tt_SLEB128_known (-2048048916) "\xec\x81\xb5\xaf\x78" , tt_SLEB128_known (-1998164561) "\xaf\xdb\x99\xc7\x78" , tt_SLEB128_known (-1946109476) "\xdc\xf3\x82\xe0\x78" , tt_SLEB128_known (-1934574707) "\x8d\xf7\xc2\xe5\x78" , tt_SLEB128_known (-1910851719) "\xf9\xee\xea\xf0\x78" , tt_SLEB128_known (-1908171085) "\xb3\xbd\x8e\xf2\x78" , tt_SLEB128_known (-1876224949) "\xcb\xa8\xac\x81\x79" , tt_SLEB128_known (-1867480917) "\xab\x81\xc2\x85\x79" , tt_SLEB128_known (-1832114620) "\xc4\xcc\xb0\x96\x79" , tt_SLEB128_known (-1828819581) "\x83\xdb\xf9\x97\x79" , tt_SLEB128_known (-1818041564) "\xa4\xc6\x8b\x9d\x79" , tt_SLEB128_known (-1812464891) "\x85\xf6\xdf\x9f\x79" , tt_SLEB128_known (-1801863077) "\xdb\x80\xe7\xa4\x79" , tt_SLEB128_known (-1781899811) "\xdd\xbb\xa9\xae\x79" , tt_SLEB128_known (-1779805230) "\xd2\xa7\xa9\xaf\x79" , tt_SLEB128_known (-1774888330) "\xf6\xb4\xd5\xb1\x79" , tt_SLEB128_known (-1772085860) "\x9c\xbb\x80\xb3\x79" , tt_SLEB128_known (-1733093001) "\xf7\xb2\xcc\xc5\x79" , tt_SLEB128_known (-1729295792) "\xd0\x94\xb4\xc7\x79" , tt_SLEB128_known (-1701024960) "\xc0\xd6\xf1\xd4\x79" , tt_SLEB128_known (-1699416675) "\x9d\xeb\xd3\xd5\x79" , tt_SLEB128_known (-1696813956) "\xfc\xd8\xf2\xd6\x79" , tt_SLEB128_known (-1696023128) "\xa8\xfb\xa2\xd7\x79" , tt_SLEB128_known (-1680472232) "\xd8\x8e\xd8\xde\x79" , tt_SLEB128_known (-1673941798) "\xda\xd9\xe6\xe1\x79" , tt_SLEB128_known (-1672027781) "\xfb\xc2\xdb\xe2\x79" , tt_SLEB128_known (-1662424457) "\xf7\xd4\xa5\xe7\x79" , tt_SLEB128_known (-1624275774) "\xc2\x89\xbe\xf9\x79" , tt_SLEB128_known (-1617846754) "\x9e\xbc\xc6\xfc\x79" , tt_SLEB128_known (-1616451762) "\xce\xce\x9b\xfd\x79" , tt_SLEB128_known (-1610689836) "\xd4\xa5\xfb\xff\x79" , tt_SLEB128_known (-1608446160) "\xb0\x9e\x84\x81\x7a" , tt_SLEB128_known (-1606116365) "\xf3\xb7\x92\x82\x7a" , tt_SLEB128_known (-1604221749) "\xcb\x89\x86\x83\x7a" , tt_SLEB128_known (-1567520880) "\x90\x8f\xc6\x94\x7a" , tt_SLEB128_known (-1562827802) "\xe6\xc7\xe4\x96\x7a" , tt_SLEB128_known (-1552298105) "\x87\x9f\xe7\x9b\x7a" , tt_SLEB128_known (-1540724929) "\xbf\xce\xa9\xa1\x7a" , tt_SLEB128_known (-1526746287) "\xd1\xe6\xfe\xa7\x7a" , tt_SLEB128_known (-1524897325) "\xd3\xd3\xef\xa8\x7a" , tt_SLEB128_known (-1503022886) "\xda\xe1\xa6\xb3\x7a" , tt_SLEB128_known (-1502181668) "\xdc\x8d\xda\xb3\x7a" , tt_SLEB128_known (-1481127424) "\x80\x94\xdf\xbd\x7a" , tt_SLEB128_known (-1472651910) "\xfa\xba\xe4\xc1\x7a" , tt_SLEB128_known (-1448565203) "\xad\xcc\xa2\xcd\x7a" , tt_SLEB128_known (-1431958913) "\xff\x94\x98\xd5\x7a" , tt_SLEB128_known (-1431106751) "\xc1\x96\xcc\xd5\x7a" , tt_SLEB128_known (-1370603172) "\xdc\x82\xb9\xf2\x7a" , tt_SLEB128_known (-1356302298) "\xa6\xf0\xa1\xf9\x7a" , tt_SLEB128_known (-1307074103) "\xc9\xc3\xde\x90\x7b" , tt_SLEB128_known (-1262972701) "\xe3\xa1\xe2\xa5\x7b" , tt_SLEB128_known (-1229050970) "\xa6\xd7\xf8\xb5\x7b" , tt_SLEB128_known (-1224829917) "\xa3\xa8\xfa\xb7\x7b" , tt_SLEB128_known (-1191777396) "\x8c\xd7\xdb\xc7\x7b" , tt_SLEB128_known (-1148490108) "\x84\xdd\xad\xdc\x7b" , tt_SLEB128_known (-1117746188) "\xf4\x97\x82\xeb\x7b" , tt_SLEB128_known (-1111424379) "\x85\x85\x84\xee\x7b" , tt_SLEB128_known (-1102673542) "\xfa\x92\x9a\xf2\x7b" , tt_SLEB128_known (-1078535311) "\xf1\xb6\xdb\xfd\x7b" , tt_SLEB128_known (-1060201049) "\xa7\xbb\xba\x86\x7c" , tt_SLEB128_known (-1052806457) "\xc7\xe5\xfd\x89\x7c" , tt_SLEB128_known (-993557311) "\xc1\x89\x9e\xa6\x7c" , tt_SLEB128_known (-985922027) "\x95\x8c\xf0\xa9\x7c" , tt_SLEB128_known (-974571241) "\x97\xf2\xa4\xaf\x7c" , tt_SLEB128_known (-938132241) "\xef\xf9\xd4\xc0\x7c" , tt_SLEB128_known (-927436188) "\xe4\xe4\xe1\xc5\x7c" , tt_SLEB128_known (-902034296) "\x88\x99\xf0\xd1\x7c" , tt_SLEB128_known (-895774541) "\xb3\xa1\xee\xd4\x7c" , tt_SLEB128_known (-882683495) "\x99\xa3\x8d\xdb\x7c" , tt_SLEB128_known (-880130888) "\xb8\x89\xa9\xdc\x7c" , tt_SLEB128_known (-867929629) "\xe3\xe3\x91\xe2\x7c" , tt_SLEB128_known (-849861506) "\xfe\xc8\xe0\xea\x7c" , tt_SLEB128_known (-838720401) "\xef\xc8\x88\xf0\x7c" , tt_SLEB128_known (-829518712) "\x88\x99\xba\xf4\x7c" , tt_SLEB128_known (-828342709) "\xcb\xfc\x81\xf5\x7c" , tt_SLEB128_known (-818235523) "\xfd\xee\xea\xf9\x7c" , tt_SLEB128_known (-787077562) "\xc6\xcc\xd8\x88\x7d" , tt_SLEB128_known (-756372772) "\xdc\xd5\xaa\x97\x7d" , tt_SLEB128_known (-756100565) "\xab\xa4\xbb\x97\x7d" , tt_SLEB128_known (-753465411) "\xbd\x8f\xdc\x98\x7d" , tt_SLEB128_known (-746574635) "\xd5\xd9\x80\x9c\x7d" , tt_SLEB128_known (-744194014) "\xa2\x80\x92\x9d\x7d" , tt_SLEB128_known (-723379706) "\x86\xb4\x88\xa7\x7d" , tt_SLEB128_known (-716928155) "\xe5\x96\x92\xaa\x7d" , tt_SLEB128_known (-708523764) "\x8c\x92\x93\xae\x7d" , tt_SLEB128_known (-677366077) "\xc3\xed\x80\xbd\x7d" , tt_SLEB128_known (-665428015) "\xd1\xbf\xd9\xc2\x7d" , tt_SLEB128_known (-664005752) "\x88\xa7\xb0\xc3\x7d" , tt_SLEB128_known (-631537179) "\xe5\x83\xee\xd2\x7d" , tt_SLEB128_known (-629824963) "\xbd\xc4\xd6\xd3\x7d" , tt_SLEB128_known (-614546227) "\xcd\x89\xfb\xda\x7d" , tt_SLEB128_known (-613505955) "\xdd\xc8\xba\xdb\x7d" , tt_SLEB128_known (-590957484) "\xd4\xe8\x9a\xe6\x7d" , tt_SLEB128_known (-570346284) "\xd4\xe9\x84\xf0\x7d" , tt_SLEB128_known (-568014405) "\xbb\x93\x93\xf1\x7d" , tt_SLEB128_known (-558187008) "\x80\xfc\xea\xf5\x7d" , tt_SLEB128_known (-554930165) "\x8b\xe0\xb1\xf7\x7d" , tt_SLEB128_known (-524108653) "\x93\xf9\x8a\x86\x7e" , tt_SLEB128_known (-511003921) "\xef\xe5\xaa\x8c\x7e" , tt_SLEB128_known (-500617726) "\x82\xdc\xa4\x91\x7e" , tt_SLEB128_known (-462860973) "\xd3\x9a\xa5\xa3\x7e" , tt_SLEB128_known (-451523301) "\x9b\x9a\xd9\xa8\x7e" , tt_SLEB128_known (-439073323) "\xd5\x8b\xd1\xae\x7e" , tt_SLEB128_known (-417947106) "\x9e\xc4\xda\xb8\x7e" , tt_SLEB128_known (-396034016) "\xa0\x80\x94\xc3\x7e" , tt_SLEB128_known (-393498089) "\x97\xe4\xae\xc4\x7e" , tt_SLEB128_known (-385071153) "\xcf\x8f\xb1\xc8\x7e" , tt_SLEB128_known (-377531844) "\xbc\xa4\xfd\xcb\x7e" , tt_SLEB128_known (-370571987) "\xad\x8a\xa6\xcf\x7e" , tt_SLEB128_known (-354023403) "\x95\x90\x98\xd7\x7e" , tt_SLEB128_known (-341701040) "\xd0\x9c\x88\xdd\x7e" , tt_SLEB128_known (-324280602) "\xe6\xbd\xaf\xe5\x7e" , tt_SLEB128_known (-282781627) "\xc5\xb0\x94\xf9\x7e" , tt_SLEB128_known (-277891402) "\xb6\xed\xbe\xfb\x7e" , tt_SLEB128_known (-261722993) "\x8f\xd9\x99\x83\x7f" , tt_SLEB128_known (-255554825) "\xf7\x95\x92\x86\x7f" , tt_SLEB128_known (-236387687) "\x99\x85\xa4\x8f\x7f" , tt_SLEB128_known (-202528688) "\xd0\xd0\xb6\x9f\x7f" , tt_SLEB128_known (-190351805) "\xc3\xec\x9d\xa5\x7f" , tt_SLEB128_known (-123893637) "\xfb\x90\xf6\x44" , tt_SLEB128_known (-122140000) "\xa0\x95\xe1\x45" , tt_SLEB128_known (-119184036) "\xdc\xca\x95\x47" , tt_SLEB128_known (-108762683) "\xc5\xd3\x91\x4c" , tt_SLEB128_known (-98728904) "\xb8\x88\xf6\x50" , tt_SLEB128_known (-32534) "\xea\x81\x7e" , tt_SLEB128_known (-31605) "\x8b\x89\x7e" , tt_SLEB128_known (-31465) "\x97\x8a\x7e" , tt_SLEB128_known (-31435) "\xb5\x8a\x7e" , tt_SLEB128_known (-30949) "\x9b\x8e\x7e" , tt_SLEB128_known (-30595) "\xfd\x90\x7e" , tt_SLEB128_known (-30417) "\xaf\x92\x7e" , tt_SLEB128_known (-30351) "\xf1\x92\x7e" , tt_SLEB128_known (-30326) "\x8a\x93\x7e" , tt_SLEB128_known (-30256) "\xd0\x93\x7e" , tt_SLEB128_known (-29994) "\xd6\x95\x7e" , tt_SLEB128_known (-29932) "\x94\x96\x7e" , tt_SLEB128_known (-29474) "\xde\x99\x7e" , tt_SLEB128_known (-29117) "\xc3\x9c\x7e" , tt_SLEB128_known (-29068) "\xf4\x9c\x7e" , tt_SLEB128_known (-28526) "\x92\xa1\x7e" , tt_SLEB128_known (-28272) "\x90\xa3\x7e" , tt_SLEB128_known (-28262) "\x9a\xa3\x7e" , tt_SLEB128_known (-28014) "\x92\xa5\x7e" , tt_SLEB128_known (-27200) "\xc0\xab\x7e" , tt_SLEB128_known (-27049) "\xd7\xac\x7e" , tt_SLEB128_known (-26894) "\xf2\xad\x7e" , tt_SLEB128_known (-26876) "\x84\xae\x7e" , tt_SLEB128_known (-26864) "\x90\xae\x7e" , tt_SLEB128_known (-26360) "\x88\xb2\x7e" , tt_SLEB128_known (-25615) "\xf1\xb7\x7e" , tt_SLEB128_known (-25398) "\xca\xb9\x7e" , tt_SLEB128_known (-25368) "\xe8\xb9\x7e" , tt_SLEB128_known (-25220) "\xfc\xba\x7e" , tt_SLEB128_known (-25218) "\xfe\xba\x7e" , tt_SLEB128_known (-24927) "\xa1\xbd\x7e" , tt_SLEB128_known (-24911) "\xb1\xbd\x7e" , tt_SLEB128_known (-24044) "\x94\xc4\x7e" , tt_SLEB128_known (-24013) "\xb3\xc4\x7e" , tt_SLEB128_known (-23226) "\xc6\xca\x7e" , tt_SLEB128_known (-22569) "\xd7\xcf\x7e" , tt_SLEB128_known (-22456) "\xc8\xd0\x7e" , tt_SLEB128_known (-22438) "\xda\xd0\x7e" , tt_SLEB128_known (-22310) "\xda\xd1\x7e" , tt_SLEB128_known (-22005) "\x8b\xd4\x7e" , tt_SLEB128_known (-21951) "\xc1\xd4\x7e" , tt_SLEB128_known (-21723) "\xa5\xd6\x7e" , tt_SLEB128_known (-21339) "\xa5\xd9\x7e" , tt_SLEB128_known (-21202) "\xae\xda\x7e" , tt_SLEB128_known (-20914) "\xce\xdc\x7e" , tt_SLEB128_known (-20500) "\xec\xdf\x7e" , tt_SLEB128_known (-20424) "\xb8\xe0\x7e" , tt_SLEB128_known (-20363) "\xf5\xe0\x7e" , tt_SLEB128_known (-19962) "\x86\xe4\x7e" , tt_SLEB128_known (-19432) "\x98\xe8\x7e" , tt_SLEB128_known (-19214) "\xf2\xe9\x7e" , tt_SLEB128_known (-19202) "\xfe\xe9\x7e" , tt_SLEB128_known (-19006) "\xc2\xeb\x7e" , tt_SLEB128_known (-18671) "\x91\xee\x7e" , tt_SLEB128_known (-18544) "\x90\xef\x7e" , tt_SLEB128_known (-18487) "\xc9\xef\x7e" , tt_SLEB128_known (-17881) "\xa7\xf4\x7e" , tt_SLEB128_known (-17624) "\xa8\xf6\x7e" , tt_SLEB128_known (-17596) "\xc4\xf6\x7e" , tt_SLEB128_known (-17556) "\xec\xf6\x7e" , tt_SLEB128_known (-17481) "\xb7\xf7\x7e" , tt_SLEB128_known (-17174) "\xea\xf9\x7e" , tt_SLEB128_known (-15697) "\xaf\x85\x7f" , tt_SLEB128_known (-15692) "\xb4\x85\x7f" , tt_SLEB128_known (-15498) "\xf6\x86\x7f" , tt_SLEB128_known (-15227) "\x85\x89\x7f" , tt_SLEB128_known (-14692) "\x9c\x8d\x7f" , tt_SLEB128_known (-14512) "\xd0\x8e\x7f" , tt_SLEB128_known (-14136) "\xc8\x91\x7f" , tt_SLEB128_known (-13761) "\xbf\x94\x7f" , tt_SLEB128_known (-13595) "\xe5\x95\x7f" , tt_SLEB128_known (-12992) "\xc0\x9a\x7f" , tt_SLEB128_known (-12251) "\xa5\xa0\x7f" , tt_SLEB128_known (-12244) "\xac\xa0\x7f" , tt_SLEB128_known (-12170) "\xf6\xa0\x7f" , tt_SLEB128_known (-11996) "\xa4\xa2\x7f" , tt_SLEB128_known (-11761) "\x8f\xa4\x7f" , tt_SLEB128_known (-11700) "\xcc\xa4\x7f" , tt_SLEB128_known (-11677) "\xe3\xa4\x7f" , tt_SLEB128_known (-10743) "\x89\xac\x7f" , tt_SLEB128_known (-10561) "\xbf\xad\x7f" , tt_SLEB128_known (-10100) "\x8c\xb1\x7f" , tt_SLEB128_known (-10081) "\x9f\xb1\x7f" , tt_SLEB128_known (-9920) "\xc0\xb2\x7f" , tt_SLEB128_known (-9589) "\x8b\xb5\x7f" , tt_SLEB128_known (-9237) "\xeb\xb7\x7f" , tt_SLEB128_known (-9156) "\xbc\xb8\x7f" , tt_SLEB128_known (-9132) "\xd4\xb8\x7f" , tt_SLEB128_known (-9091) "\xfd\xb8\x7f" , tt_SLEB128_known (-7980) "\xd4\x41" , tt_SLEB128_known (-7979) "\xd5\x41" , tt_SLEB128_known (-7726) "\xd2\x43" , tt_SLEB128_known (-7666) "\x8e\x44" , tt_SLEB128_known (-7431) "\xf9\x45" , tt_SLEB128_known (-7297) "\xff\x46" , tt_SLEB128_known (-7009) "\x9f\x49" , tt_SLEB128_known (-6731) "\xb5\x4b" , tt_SLEB128_known (-6461) "\xc3\x4d" , tt_SLEB128_known (-6420) "\xec\x4d" , tt_SLEB128_known (-6278) "\xfa\x4e" , tt_SLEB128_known (-6059) "\xd5\x50" , tt_SLEB128_known (-6052) "\xdc\x50" , tt_SLEB128_known (-5743) "\x91\x53" , tt_SLEB128_known (-5526) "\xea\x54" , tt_SLEB128_known (-5496) "\x88\x55" , tt_SLEB128_known (-3247) "\xd1\x66" , tt_SLEB128_known (-3191) "\x89\x67" , tt_SLEB128_known (-3164) "\xa4\x67" , tt_SLEB128_known (-2584) "\xe8\x6b" , tt_SLEB128_known (-2483) "\xcd\x6c" , tt_SLEB128_known (-2242) "\xbe\x6e" , tt_SLEB128_known (-2029) "\x93\x70" , tt_SLEB128_known (-1976) "\xc8\x70" , tt_SLEB128_known (-1510) "\x9a\x74" , tt_SLEB128_known (-1500) "\xa4\x74" , tt_SLEB128_known (-1478) "\xba\x74" , tt_SLEB128_known (-1225) "\xb7\x76" , tt_SLEB128_known (-865) "\x9f\x79" , tt_SLEB128_known (-816) "\xd0\x79" , tt_SLEB128_known (-719) "\xb1\x7a" , tt_SLEB128_known (-473) "\xa7\x7c" , tt_SLEB128_known (-127) "\x81\x7f" , tt_SLEB128_known (-123) "\x85\x7f" , tt_SLEB128_known (-121) "\x87\x7f" , tt_SLEB128_known (-117) "\x8b\x7f" , tt_SLEB128_known (-116) "\x8c\x7f" , tt_SLEB128_known (-115) "\x8d\x7f" , tt_SLEB128_known (-114) "\x8e\x7f" , tt_SLEB128_known (-112) "\x90\x7f" , tt_SLEB128_known (-111) "\x91\x7f" , tt_SLEB128_known (-110) "\x92\x7f" , tt_SLEB128_known (-109) "\x93\x7f" , tt_SLEB128_known (-106) "\x96\x7f" , tt_SLEB128_known (-105) "\x97\x7f" , tt_SLEB128_known (-104) "\x98\x7f" , tt_SLEB128_known (-103) "\x99\x7f" , tt_SLEB128_known (-102) "\x9a\x7f" , tt_SLEB128_known (-101) "\x9b\x7f" , tt_SLEB128_known (-100) "\x9c\x7f" , tt_SLEB128_known (-99) "\x9d\x7f" , tt_SLEB128_known (-98) "\x9e\x7f" , tt_SLEB128_known (-97) "\x9f\x7f" , tt_SLEB128_known (-94) "\xa2\x7f" , tt_SLEB128_known (-92) "\xa4\x7f" , tt_SLEB128_known (-91) "\xa5\x7f" , tt_SLEB128_known (-90) "\xa6\x7f" , tt_SLEB128_known (-88) "\xa8\x7f" , tt_SLEB128_known (-87) "\xa9\x7f" , tt_SLEB128_known (-86) "\xaa\x7f" , tt_SLEB128_known (-83) "\xad\x7f" , tt_SLEB128_known (-82) "\xae\x7f" , tt_SLEB128_known (-81) "\xaf\x7f" , tt_SLEB128_known (-78) "\xb2\x7f" , tt_SLEB128_known (-77) "\xb3\x7f" , tt_SLEB128_known (-74) "\xb6\x7f" , tt_SLEB128_known (-73) "\xb7\x7f" , tt_SLEB128_known (-71) "\xb9\x7f" , tt_SLEB128_known (-70) "\xba\x7f" , tt_SLEB128_known (-69) "\xbb\x7f" , tt_SLEB128_known (-66) "\xbe\x7f" , tt_SLEB128_known (-65) "\xbf\x7f" , tt_SLEB128_known (-64) "\x40" , tt_SLEB128_known (-63) "\x41" , tt_SLEB128_known (-62) "\x42" , tt_SLEB128_known (-59) "\x45" , tt_SLEB128_known (-58) "\x46" , tt_SLEB128_known (-57) "\x47" , tt_SLEB128_known (-56) "\x48" , tt_SLEB128_known (-55) "\x49" , tt_SLEB128_known (-54) "\x4a" , tt_SLEB128_known (-52) "\x4c" , tt_SLEB128_known (-51) "\x4d" , tt_SLEB128_known (-50) "\x4e" , tt_SLEB128_known (-49) "\x4f" , tt_SLEB128_known (-48) "\x50" , tt_SLEB128_known (-46) "\x52" , tt_SLEB128_known (-44) "\x54" , tt_SLEB128_known (-43) "\x55" , tt_SLEB128_known (-42) "\x56" , tt_SLEB128_known (-41) "\x57" , tt_SLEB128_known (-38) "\x5a" , tt_SLEB128_known (-37) "\x5b" , tt_SLEB128_known (-36) "\x5c" , tt_SLEB128_known (-33) "\x5f" , tt_SLEB128_known (-32) "\x60" , tt_SLEB128_known (-31) "\x61" , tt_SLEB128_known (-30) "\x62" , tt_SLEB128_known (-29) "\x63" , tt_SLEB128_known (-28) "\x64" , tt_SLEB128_known (-27) "\x65" , tt_SLEB128_known (-26) "\x66" , tt_SLEB128_known (-23) "\x69" , tt_SLEB128_known (-21) "\x6b" , tt_SLEB128_known (-19) "\x6d" , tt_SLEB128_known (-18) "\x6e" , tt_SLEB128_known (-17) "\x6f" , tt_SLEB128_known (-11) "\x75" , tt_SLEB128_known (-10) "\x76" , tt_SLEB128_known (-9) "\x77" , tt_SLEB128_known (-8) "\x78" , tt_SLEB128_known (-5) "\x7b" , tt_SLEB128_known (-4) "\x7c" , tt_SLEB128_known (-3) "\x7d" , tt_SLEB128_known (-1) "\x7f" , tt_SLEB128_known 0 "\x00" , tt_SLEB128_known 1 "\x01" , tt_SLEB128_known 2 "\x02" , tt_SLEB128_known 5 "\x05" , tt_SLEB128_known 7 "\x07" , tt_SLEB128_known 10 "\x0a" , tt_SLEB128_known 12 "\x0c" , tt_SLEB128_known 13 "\x0d" , tt_SLEB128_known 14 "\x0e" , tt_SLEB128_known 15 "\x0f" , tt_SLEB128_known 16 "\x10" , tt_SLEB128_known 20 "\x14" , tt_SLEB128_known 21 "\x15" , tt_SLEB128_known 25 "\x19" , tt_SLEB128_known 26 "\x1a" , tt_SLEB128_known 27 "\x1b" , tt_SLEB128_known 28 "\x1c" , tt_SLEB128_known 30 "\x1e" , tt_SLEB128_known 31 "\x1f" , tt_SLEB128_known 32 "\x20" , tt_SLEB128_known 34 "\x22" , tt_SLEB128_known 36 "\x24" , tt_SLEB128_known 38 "\x26" , tt_SLEB128_known 41 "\x29" , tt_SLEB128_known 42 "\x2a" , tt_SLEB128_known 44 "\x2c" , tt_SLEB128_known 45 "\x2d" , tt_SLEB128_known 46 "\x2e" , tt_SLEB128_known 48 "\x30" , tt_SLEB128_known 49 "\x31" , tt_SLEB128_known 50 "\x32" , tt_SLEB128_known 52 "\x34" , tt_SLEB128_known 53 "\x35" , tt_SLEB128_known 54 "\x36" , tt_SLEB128_known 55 "\x37" , tt_SLEB128_known 56 "\x38" , tt_SLEB128_known 58 "\x3a" , tt_SLEB128_known 61 "\x3d" , tt_SLEB128_known 62 "\x3e" , tt_SLEB128_known 63 "\x3f" , tt_SLEB128_known 66 "\xc2\x00" , tt_SLEB128_known 69 "\xc5\x00" , tt_SLEB128_known 70 "\xc6\x00" , tt_SLEB128_known 71 "\xc7\x00" , tt_SLEB128_known 74 "\xca\x00" , tt_SLEB128_known 76 "\xcc\x00" , tt_SLEB128_known 77 "\xcd\x00" , tt_SLEB128_known 78 "\xce\x00" , tt_SLEB128_known 79 "\xcf\x00" , tt_SLEB128_known 80 "\xd0\x00" , tt_SLEB128_known 81 "\xd1\x00" , tt_SLEB128_known 83 "\xd3\x00" , tt_SLEB128_known 84 "\xd4\x00" , tt_SLEB128_known 85 "\xd5\x00" , tt_SLEB128_known 86 "\xd6\x00" , tt_SLEB128_known 89 "\xd9\x00" , tt_SLEB128_known 90 "\xda\x00" , tt_SLEB128_known 92 "\xdc\x00" , tt_SLEB128_known 94 "\xde\x00" , tt_SLEB128_known 96 "\xe0\x00" , tt_SLEB128_known 98 "\xe2\x00" , tt_SLEB128_known 99 "\xe3\x00" , tt_SLEB128_known 100 "\xe4\x00" , tt_SLEB128_known 101 "\xe5\x00" , tt_SLEB128_known 103 "\xe7\x00" , tt_SLEB128_known 107 "\xeb\x00" , tt_SLEB128_known 108 "\xec\x00" , tt_SLEB128_known 111 "\xef\x00" , tt_SLEB128_known 113 "\xf1\x00" , tt_SLEB128_known 115 "\xf3\x00" , tt_SLEB128_known 116 "\xf4\x00" , tt_SLEB128_known 117 "\xf5\x00" , tt_SLEB128_known 119 "\xf7\x00" , tt_SLEB128_known 127 "\xff\x00" , tt_SLEB128_known 233 "\xe9\x01" , tt_SLEB128_known 445 "\xbd\x03" , tt_SLEB128_known 634 "\xfa\x04" , tt_SLEB128_known 800 "\xa0\x06" , tt_SLEB128_known 1128 "\xe8\x08" , tt_SLEB128_known 1312 "\xa0\x0a" , tt_SLEB128_known 1689 "\x99\x0d" , tt_SLEB128_known 1748 "\xd4\x0d" , tt_SLEB128_known 1819 "\x9b\x0e" , tt_SLEB128_known 2021 "\xe5\x0f" , tt_SLEB128_known 2098 "\xb2\x10" , tt_SLEB128_known 2136 "\xd8\x10" , tt_SLEB128_known 2399 "\xdf\x12" , tt_SLEB128_known 2480 "\xb0\x13" , tt_SLEB128_known 2681 "\xf9\x14" , tt_SLEB128_known 2762 "\xca\x15" , tt_SLEB128_known 2836 "\x94\x16" , tt_SLEB128_known 2918 "\xe6\x16" , tt_SLEB128_known 2960 "\x90\x17" , tt_SLEB128_known 3004 "\xbc\x17" , tt_SLEB128_known 3059 "\xf3\x17" , tt_SLEB128_known 3536 "\xd0\x1b" , tt_SLEB128_known 3544 "\xd8\x1b" , tt_SLEB128_known 3714 "\x82\x1d" , tt_SLEB128_known 4088 "\xf8\x1f" , tt_SLEB128_known 4298 "\xca\x21" , tt_SLEB128_known 4597 "\xf5\x23" , tt_SLEB128_known 5055 "\xbf\x27" , tt_SLEB128_known 5401 "\x99\x2a" , tt_SLEB128_known 6328 "\xb8\x31" , tt_SLEB128_known 6625 "\xe1\x33" , tt_SLEB128_known 6812 "\x9c\x35" , tt_SLEB128_known 6818 "\xa2\x35" , tt_SLEB128_known 6971 "\xbb\x36" , tt_SLEB128_known 7495 "\xc7\x3a" , tt_SLEB128_known 7561 "\x89\x3b" , tt_SLEB128_known 8393 "\xc9\xc1\x00" , tt_SLEB128_known 8754 "\xb2\xc4\x00" , tt_SLEB128_known 8787 "\xd3\xc4\x00" , tt_SLEB128_known 9416 "\xc8\xc9\x00" , tt_SLEB128_known 9632 "\xa0\xcb\x00" , tt_SLEB128_known 9787 "\xbb\xcc\x00" , tt_SLEB128_known 9882 "\x9a\xcd\x00" , tt_SLEB128_known 10052 "\xc4\xce\x00" , tt_SLEB128_known 10097 "\xf1\xce\x00" , tt_SLEB128_known 10476 "\xec\xd1\x00" , tt_SLEB128_known 11119 "\xef\xd6\x00" , tt_SLEB128_known 11817 "\xa9\xdc\x00" , tt_SLEB128_known 11834 "\xba\xdc\x00" , tt_SLEB128_known 12060 "\x9c\xde\x00" , tt_SLEB128_known 12224 "\xc0\xdf\x00" , tt_SLEB128_known 12336 "\xb0\xe0\x00" , tt_SLEB128_known 12460 "\xac\xe1\x00" , tt_SLEB128_known 13280 "\xe0\xe7\x00" , tt_SLEB128_known 13399 "\xd7\xe8\x00" , tt_SLEB128_known 13532 "\xdc\xe9\x00" , tt_SLEB128_known 13550 "\xee\xe9\x00" , tt_SLEB128_known 13564 "\xfc\xe9\x00" , tt_SLEB128_known 13591 "\x97\xea\x00" , tt_SLEB128_known 13904 "\xd0\xec\x00" , tt_SLEB128_known 14459 "\xfb\xf0\x00" , tt_SLEB128_known 14630 "\xa6\xf2\x00" , tt_SLEB128_known 14725 "\x85\xf3\x00" , tt_SLEB128_known 14804 "\xd4\xf3\x00" , tt_SLEB128_known 14842 "\xfa\xf3\x00" , tt_SLEB128_known 15847 "\xe7\xfb\x00" , tt_SLEB128_known 16765 "\xfd\x82\x01" , tt_SLEB128_known 16861 "\xdd\x83\x01" , tt_SLEB128_known 17445 "\xa5\x88\x01" , tt_SLEB128_known 17461 "\xb5\x88\x01" , tt_SLEB128_known 17921 "\x81\x8c\x01" , tt_SLEB128_known 17927 "\x87\x8c\x01" , tt_SLEB128_known 18058 "\x8a\x8d\x01" , tt_SLEB128_known 18354 "\xb2\x8f\x01" , tt_SLEB128_known 18786 "\xe2\x92\x01" , tt_SLEB128_known 19166 "\xde\x95\x01" , tt_SLEB128_known 19211 "\x8b\x96\x01" , tt_SLEB128_known 19835 "\xfb\x9a\x01" , tt_SLEB128_known 19838 "\xfe\x9a\x01" , tt_SLEB128_known 19925 "\xd5\x9b\x01" , tt_SLEB128_known 20455 "\xe7\x9f\x01" , tt_SLEB128_known 21115 "\xfb\xa4\x01" , tt_SLEB128_known 21889 "\x81\xab\x01" , tt_SLEB128_known 21949 "\xbd\xab\x01" , tt_SLEB128_known 22522 "\xfa\xaf\x01" , tt_SLEB128_known 22666 "\x8a\xb1\x01" , tt_SLEB128_known 23093 "\xb5\xb4\x01" , tt_SLEB128_known 23293 "\xfd\xb5\x01" , tt_SLEB128_known 23336 "\xa8\xb6\x01" , tt_SLEB128_known 23957 "\x95\xbb\x01" , tt_SLEB128_known 23972 "\xa4\xbb\x01" , tt_SLEB128_known 24607 "\x9f\xc0\x01" , tt_SLEB128_known 24909 "\xcd\xc2\x01" , tt_SLEB128_known 25267 "\xb3\xc5\x01" , tt_SLEB128_known 25342 "\xfe\xc5\x01" , tt_SLEB128_known 25639 "\xa7\xc8\x01" , tt_SLEB128_known 25913 "\xb9\xca\x01" , tt_SLEB128_known 26116 "\x84\xcc\x01" , tt_SLEB128_known 26424 "\xb8\xce\x01" , tt_SLEB128_known 26852 "\xe4\xd1\x01" , tt_SLEB128_known 27098 "\xda\xd3\x01" , tt_SLEB128_known 27443 "\xb3\xd6\x01" , tt_SLEB128_known 27621 "\xe5\xd7\x01" , tt_SLEB128_known 28072 "\xa8\xdb\x01" , tt_SLEB128_known 28570 "\x9a\xdf\x01" , tt_SLEB128_known 28648 "\xe8\xdf\x01" , tt_SLEB128_known 28848 "\xb0\xe1\x01" , tt_SLEB128_known 29009 "\xd1\xe2\x01" , tt_SLEB128_known 29287 "\xe7\xe4\x01" , tt_SLEB128_known 29302 "\xf6\xe4\x01" , tt_SLEB128_known 29457 "\x91\xe6\x01" , tt_SLEB128_known 29483 "\xab\xe6\x01" , tt_SLEB128_known 29549 "\xed\xe6\x01" , tt_SLEB128_known 29595 "\x9b\xe7\x01" , tt_SLEB128_known 29674 "\xea\xe7\x01" , tt_SLEB128_known 29865 "\xa9\xe9\x01" , tt_SLEB128_known 30181 "\xe5\xeb\x01" , tt_SLEB128_known 30262 "\xb6\xec\x01" , tt_SLEB128_known 30373 "\xa5\xed\x01" , tt_SLEB128_known 30728 "\x88\xf0\x01" , tt_SLEB128_known 30845 "\xfd\xf0\x01" , tt_SLEB128_known 31065 "\xd9\xf2\x01" , tt_SLEB128_known 31185 "\xd1\xf3\x01" , tt_SLEB128_known 31251 "\x93\xf4\x01" , tt_SLEB128_known 31526 "\xa6\xf6\x01" , tt_SLEB128_known 31546 "\xba\xf6\x01" , tt_SLEB128_known 31757 "\x8d\xf8\x01" , tt_SLEB128_known 31828 "\xd4\xf8\x01" , tt_SLEB128_known 31920 "\xb0\xf9\x01" , tt_SLEB128_known 31972 "\xe4\xf9\x01" , tt_SLEB128_known 32327 "\xc7\xfc\x01" , tt_SLEB128_known 32527 "\x8f\xfe\x01" , tt_SLEB128_known 32557 "\xad\xfe\x01" , tt_SLEB128_known 32584 "\xc8\xfe\x01" , tt_SLEB128_known 30820535 "\xb7\x91\xd9\x0e" , tt_SLEB128_known 54185204 "\xf4\x99\xeb\x19" , tt_SLEB128_known 54452448 "\xe0\xc1\xfb\x19" , tt_SLEB128_known 67741227 "\xab\xcc\xa6\x20" , tt_SLEB128_known 76120615 "\xa7\x84\xa6\x24" , tt_SLEB128_known 146401541 "\x85\xd2\xe7\xc5\x00" , tt_SLEB128_known 152484912 "\xb0\xf8\xda\xc8\x00" , tt_SLEB128_known 155306425 "\xb9\x93\x87\xca\x00" , tt_SLEB128_known 156723024 "\xd0\xce\xdd\xca\x00" , tt_SLEB128_known 164568219 "\x9b\xb9\xbc\xce\x00" , tt_SLEB128_known 167643376 "\xf0\x91\xf8\xcf\x00" , tt_SLEB128_known 188951315 "\x93\xd6\x8c\xda\x00" , tt_SLEB128_known 194751635 "\x93\xd9\xee\xdc\x00" , tt_SLEB128_known 203976048 "\xf0\xda\xa1\xe1\x00" , tt_SLEB128_known 219074728 "\xa8\xa1\xbb\xe8\x00" , tt_SLEB128_known 223986788 "\xe4\x88\xe7\xea\x00" , tt_SLEB128_known 228027580 "\xbc\xd9\xdd\xec\x00" , tt_SLEB128_known 240746611 "\xf3\x80\xe6\xf2\x00" , tt_SLEB128_known 290782649 "\xb9\xfb\xd3\x8a\x01" , tt_SLEB128_known 310098077 "\x9d\xf1\xee\x93\x01" , tt_SLEB128_known 312108312 "\x98\xca\xe9\x94\x01" , tt_SLEB128_known 336286145 "\xc1\xa3\xad\xa0\x01" , tt_SLEB128_known 338630976 "\xc0\xb2\xbc\xa1\x01" , tt_SLEB128_known 356371619 "\xa3\x99\xf7\xa9\x01" , tt_SLEB128_known 387032757 "\xb5\xcd\xc6\xb8\x01" , tt_SLEB128_known 392861225 "\xa9\xac\xaa\xbb\x01" , tt_SLEB128_known 398347666 "\x92\x9b\xf9\xbd\x01" , tt_SLEB128_known 432698678 "\xb6\xea\xa9\xce\x01" , tt_SLEB128_known 437455786 "\xaa\x97\xcc\xd0\x01" , tt_SLEB128_known 451723339 "\xcb\x80\xb3\xd7\x01" , tt_SLEB128_known 491059828 "\xf4\xf4\x93\xea\x01" , tt_SLEB128_known 509843088 "\x90\xad\x8e\xf3\x01" , tt_SLEB128_known 512089466 "\xfa\xba\x97\xf4\x01" , tt_SLEB128_known 512628512 "\xa0\xae\xb8\xf4\x01" , tt_SLEB128_known 531971183 "\xef\xf8\xd4\xfd\x01" , tt_SLEB128_known 549155369 "\xa9\xe4\xed\x85\x02" , tt_SLEB128_known 557139109 "\xa5\x89\xd5\x89\x02" , tt_SLEB128_known 558423016 "\xe8\xb7\xa3\x8a\x02" , tt_SLEB128_known 565707053 "\xad\x82\xe0\x8d\x02" , tt_SLEB128_known 590553306 "\xda\xc1\xcc\x99\x02" , tt_SLEB128_known 594058808 "\xb8\xbc\xa2\x9b\x02" , tt_SLEB128_known 619078172 "\x9c\xc4\x99\xa7\x02" , tt_SLEB128_known 621854289 "\xd1\xfc\xc2\xa8\x02" , tt_SLEB128_known 623600501 "\xf5\xc6\xad\xa9\x02" , tt_SLEB128_known 637003915 "\x8b\xd1\xdf\xaf\x02" , tt_SLEB128_known 638074973 "\xdd\x80\xa1\xb0\x02" , tt_SLEB128_known 645964671 "\xff\xc6\x82\xb4\x02" , tt_SLEB128_known 671205267 "\x93\x8f\x87\xc0\x02" , tt_SLEB128_known 694740715 "\xeb\xcd\xa3\xcb\x02" , tt_SLEB128_known 719627570 "\xb2\xca\x92\xd7\x02" , tt_SLEB128_known 741239109 "\xc5\xd2\xb9\xe1\x02" , tt_SLEB128_known 746718307 "\xe3\x88\x88\xe4\x02" , tt_SLEB128_known 756645306 "\xba\xfb\xe5\xe8\x02" , tt_SLEB128_known 776700162 "\x82\x82\xae\xf2\x02" , tt_SLEB128_known 793517802 "\xea\xbd\xb0\xfa\x02" , tt_SLEB128_known 795680718 "\xce\xbf\xb4\xfb\x02" , tt_SLEB128_known 801015649 "\xe1\x8e\xfa\xfd\x02" , tt_SLEB128_known 808521482 "\x8a\x9e\xc4\x81\x03" , tt_SLEB128_known 828595710 "\xfe\xbb\x8d\x8b\x03" , tt_SLEB128_known 857769296 "\xd0\x8a\x82\x99\x03" , tt_SLEB128_known 877076572 "\xdc\xc0\x9c\xa2\x03" , tt_SLEB128_known 879441342 "\xbe\xeb\xac\xa3\x03" , tt_SLEB128_known 901069894 "\xc6\xf8\xd4\xad\x03" , tt_SLEB128_known 915051381 "\xf5\xa6\xaa\xb4\x03" , tt_SLEB128_known 988137529 "\xb9\x90\x97\xd7\x03" , tt_SLEB128_known 990901136 "\x90\xe7\xbf\xd8\x03" , tt_SLEB128_known 1061928252 "\xbc\xfa\xae\xfa\x03" , tt_SLEB128_known 1090995064 "\xf8\x86\x9d\x88\x04" , tt_SLEB128_known 1118264374 "\xb6\xb8\x9d\x95\x04" , tt_SLEB128_known 1131156210 "\xf2\xa5\xb0\x9b\x04" , tt_SLEB128_known 1140825765 "\xa5\xbd\xfe\x9f\x04" , tt_SLEB128_known 1144313454 "\xee\xac\xd3\xa1\x04" , tt_SLEB128_known 1150136681 "\xe9\xe2\xb6\xa4\x04" , tt_SLEB128_known 1177334242 "\xe2\xe3\xb2\xb1\x04" , tt_SLEB128_known 1183392887 "\xf7\xc8\xa4\xb4\x04" , tt_SLEB128_known 1198250140 "\x9c\xb1\xaf\xbb\x04" , tt_SLEB128_known 1222116657 "\xb1\x8a\xe0\xc6\x04" , tt_SLEB128_known 1253387367 "\xe7\xd8\xd4\xd5\x04" , tt_SLEB128_known 1302523980 "\xcc\xe0\x8b\xed\x04" , tt_SLEB128_known 1307163713 "\xc1\xf8\xa6\xef\x04" , tt_SLEB128_known 1311105462 "\xb6\xc3\x97\xf1\x04" , tt_SLEB128_known 1317018748 "\xfc\xb8\x80\xf4\x04" , tt_SLEB128_known 1317235197 "\xfd\xd3\x8d\xf4\x04" , tt_SLEB128_known 1335418030 "\xae\xb9\xe3\xfc\x04" , tt_SLEB128_known 1349151545 "\xb9\xd6\xa9\x83\x05" , tt_SLEB128_known 1376218739 "\xf3\xdc\x9d\x90\x05" , tt_SLEB128_known 1381938156 "\xec\xe7\xfa\x92\x05" , tt_SLEB128_known 1389006397 "\xbd\x9c\xaa\x96\x05" , tt_SLEB128_known 1396236313 "\x99\xc0\xe3\x99\x05" , tt_SLEB128_known 1422044246 "\xd6\xd8\x8a\xa6\x05" , tt_SLEB128_known 1424571991 "\xd7\xfc\xa4\xa7\x05" , tt_SLEB128_known 1431634128 "\xd0\x81\xd4\xaa\x05" , tt_SLEB128_known 1449079907 "\xe3\xe8\xfc\xb2\x05" , tt_SLEB128_known 1458536356 "\xa4\xff\xbd\xb7\x05" , tt_SLEB128_known 1463843218 "\x92\xf3\x81\xba\x05" , tt_SLEB128_known 1499620392 "\xa8\xc8\x89\xcb\x05" , tt_SLEB128_known 1503705467 "\xfb\xf2\x82\xcd\x05" , tt_SLEB128_known 1519963249 "\xf1\x98\xe3\xd4\x05" , tt_SLEB128_known 1522174627 "\xa3\x95\xea\xd5\x05" , tt_SLEB128_known 1524349890 "\xc2\xf7\xee\xd6\x05" , tt_SLEB128_known 1536793596 "\xfc\xb7\xe6\xdc\x05" , tt_SLEB128_known 1546599379 "\xd3\xf7\xbc\xe1\x05" , tt_SLEB128_known 1556052618 "\x8a\xf5\xfd\xe5\x05" , tt_SLEB128_known 1590192706 "\xc2\xd4\xa1\xf6\x05" , tt_SLEB128_known 1598896974 "\xce\xf6\xb4\xfa\x05" , tt_SLEB128_known 1616941558 "\xf6\xa3\x82\x83\x06" , tt_SLEB128_known 1625170515 "\xd3\xc4\xf8\x86\x06" , tt_SLEB128_known 1637346847 "\x9f\xdc\xdf\x8c\x06" , tt_SLEB128_known 1662854158 "\x8e\xc8\xf4\x98\x06" , tt_SLEB128_known 1663241193 "\xe9\x97\x8c\x99\x06" , tt_SLEB128_known 1689481187 "\xe3\xdf\xcd\xa5\x06" , tt_SLEB128_known 1700298502 "\x86\xfe\xe1\xaa\x06" , tt_SLEB128_known 1705384384 "\xc0\xb3\x98\xad\x06" , tt_SLEB128_known 1710097269 "\xf5\x86\xb8\xaf\x06" , tt_SLEB128_known 1715726890 "\xaa\xd4\x8f\xb2\x06" , tt_SLEB128_known 1737515212 "\xcc\xc1\xc1\xbc\x06" , tt_SLEB128_known 1761092444 "\xdc\xc6\xe0\xc7\x06" , tt_SLEB128_known 1866406765 "\xed\xb6\xfc\xf9\x06" , tt_SLEB128_known 1906660898 "\xa2\xac\x95\x8d\x07" , tt_SLEB128_known 1907500476 "\xbc\xcb\xc8\x8d\x07" , tt_SLEB128_known 1961805726 "\x9e\x8f\xbb\xa7\x07" , tt_SLEB128_known 2018201191 "\xe7\x9c\xad\xc2\x07" , tt_SLEB128_known 2104989848 "\x98\xb1\xde\xeb\x07" , tt_SLEB128_known 2141974662 "\x86\xe1\xaf\xfd\x07" , tt_SLEB128_known 77897111127919137 "\xa1\x94\xbc\xae\xa8\xe0\xaf\x8a\x01" , tt_SLEB128_known 262231303773617553 "\x91\xfb\xa7\xf3\xb3\xbf\xe8\xd1\x03" , tt_SLEB128_known 273922687615936246 "\xf6\xcd\x92\xda\xba\xe7\xca\xe6\x03" , tt_SLEB128_known 300937269882522802 "\xb2\x99\x98\xf8\xa3\x9b\xc9\x96\x04" , tt_SLEB128_known 536630527899226143 "\x9f\xa0\xc1\xb8\xf3\xd3\x9f\xb9\x07" , tt_SLEB128_known 752843520619383432 "\x88\x95\xe4\xcf\x97\xe6\xa8\xb9\x0a" , tt_SLEB128_known 762388058533688319 "\xff\xe7\x99\x8f\xe6\xfc\xa2\xca\x0a" , tt_SLEB128_known 789471440916181149 "\x9d\xe1\xff\xe0\xfb\x82\xb1\xfa\x0a" , tt_SLEB128_known 792640191116149912 "\x98\x89\xb4\x91\xde\xc1\x81\x80\x0b" , tt_SLEB128_known 821061612412789019 "\x9b\xc2\xcb\x94\xfb\xe5\xbf\xb2\x0b" , tt_SLEB128_known 851217854692026439 "\xc7\xd0\x8d\xfb\x8f\xc4\x88\xe8\x0b" , tt_SLEB128_known 1163598511564577811 "\x93\xb8\xeb\xb7\xe6\xd5\xfb\x92\x10" , tt_SLEB128_known 1315442208010158808 "\xd8\x85\x81\xd8\xff\xf6\xd8\xa0\x12" , tt_SLEB128_known 1331218022305811852 "\x8c\x9b\x8b\xd1\xcf\xf7\xdb\xbc\x12" , tt_SLEB128_known 1415057224764416882 "\xf2\xc6\xbb\x97\xc7\xe1\xd2\xd1\x13" , tt_SLEB128_known 1431719763524378113 "\x81\xbc\x9b\x96\xa1\xb1\x9f\xef\x13" , tt_SLEB128_known 1532600219281232624 "\xf0\xa5\xc6\xa7\xf8\xf8\xb8\xa2\x15" , tt_SLEB128_known 1567284526904680904 "\xc8\xc3\xfa\x80\x93\x9f\x87\xe0\x15" , tt_SLEB128_known 1617000314023815493 "\xc5\xd2\xd6\xb8\xfe\xa6\xaf\xb8\x16" , tt_SLEB128_known 1633954117999019776 "\x80\x8e\xf9\xf4\xcf\x93\xbe\xd6\x16" , tt_SLEB128_known 1684447867088912431 "\xaf\x80\xff\xc3\x91\x8d\x97\xb0\x17" , tt_SLEB128_known 1811240089168032013 "\x8d\xe2\xba\xae\xbc\xa8\xb4\x91\x19" , tt_SLEB128_known 1845000590005876091 "\xfb\xea\xbe\xcd\xae\xc8\xb0\xcd\x19" , tt_SLEB128_known 1850424091051842564 "\x84\xb8\xe1\xb7\x82\xdd\x81\xd7\x19" , tt_SLEB128_known 1990638717472956861 "\xbd\xc3\xf5\xf8\xdd\xeb\x8a\xd0\x1b" , tt_SLEB128_known 2031976714474610935 "\xf7\xc1\xff\x90\xe5\x81\xc2\x99\x1c" , tt_SLEB128_known 2052987474778287514 "\x9a\xdb\xf1\xd3\xb2\xa7\xeb\xbe\x1c" , tt_SLEB128_known 2174700203147877119 "\xff\xb5\xe5\xec\x80\xca\x85\x97\x1e" , tt_SLEB128_known 2238228741409014760 "\xe8\x87\x84\x8e\xe8\xa5\xf2\x87\x1f" , tt_SLEB128_known 2385151848139604305 "\xd1\x82\xe9\x9d\x80\xdf\xf0\x8c\x21" , tt_SLEB128_known 2423010991394925670 "\xe6\xd8\xd8\xa7\x8b\xf5\x90\xd0\x21" , tt_SLEB128_known 2481936201139769293 "\xcd\x9f\xf9\xc0\xb3\xfa\xe6\xb8\x22" , tt_SLEB128_known 2528043057117208223 "\x9f\xbd\xf4\xe2\xc2\xb8\xda\x8a\x23" , tt_SLEB128_known 2599353785506738716 "\x9c\xe4\xc8\xb5\xef\xcf\xb0\x89\x24" , tt_SLEB128_known 2617408687338066000 "\xd0\xa0\xba\x86\xd6\xea\xb9\xa9\x24" , tt_SLEB128_known 2654386888249066281 "\xa9\x86\xa9\x94\xfb\xd9\x91\xeb\x24" , tt_SLEB128_known 2681377212024914560 "\x80\x85\xca\xbc\xe2\xcb\x8a\x9b\x25" , tt_SLEB128_known 2686683925822690212 "\xa4\xa7\xa7\xf3\xbb\x99\xc1\xa4\x25" , tt_SLEB128_known 2771609536681578438 "\xc6\x9f\xf6\x8f\x86\x86\xaf\xbb\x26" , tt_SLEB128_known 2787605036686649034 "\xca\xcd\xb0\x8e\xaf\x80\xe4\xd7\x26" , tt_SLEB128_known 2847422287175818170 "\xba\xb7\x94\x85\xbe\xef\x84\xc2\x27" , tt_SLEB128_known 2889241843213539345 "\x91\xb0\xc0\xb7\xe0\xc4\xa9\x8c\x28" , tt_SLEB128_known 2921997595792207886 "\x8e\xe0\xf5\xdd\xcf\xaa\xc1\xc6\x28" , tt_SLEB128_known 2922611585456332576 "\xa0\xbe\xc3\xbc\x89\xf8\xcc\xc7\x28" , tt_SLEB128_known 2954022553703925616 "\xf0\x8e\x8f\xe0\xc8\xfb\xb2\xff\x28" , tt_SLEB128_known 3037843567655826805 "\xf5\xea\xd2\xea\x92\xd4\xa5\x94\x2a" , tt_SLEB128_known 3281306703837989327 "\xcf\x93\xfc\x8a\xfe\xe1\xe2\xc4\x2d" , tt_SLEB128_known 3328552264639739130 "\xfa\xe9\xb1\xb1\xe3\x94\xd9\x98\x2e" , tt_SLEB128_known 3508229690431827270 "\xc6\xda\xab\xc5\x8e\x8a\xef\xd7\x30" , tt_SLEB128_known 3579447585051565989 "\xa5\xbf\x83\xb9\xd2\x93\xb0\xd6\x31" , tt_SLEB128_known 3582844041345008027 "\x9b\x83\xfa\x8f\xc4\xb5\xb4\xdc\x31" , tt_SLEB128_known 3591864919434541601 "\xa1\xf4\xd4\xe0\xd1\xc3\xb7\xec\x31" , tt_SLEB128_known 3600247828980990210 "\x82\x82\xa2\xae\xb5\xca\xa9\xfb\x31" , tt_SLEB128_known 3623670621805681668 "\x84\xb8\xfc\x9d\xb4\xa7\xf7\xa4\x32" , tt_SLEB128_known 3644048037985052406 "\xf6\xcd\xbb\x84\xa3\xcc\x90\xc9\x32" , tt_SLEB128_known 3648434166598593390 "\xee\xd6\x87\xb4\xb5\xf1\xf5\xd0\x32" , tt_SLEB128_known 3741708248961789441 "\x81\xdc\x90\xc4\xbf\xfa\xcd\xf6\x33" , tt_SLEB128_known 3776760975322363109 "\xe5\xe9\x96\xfd\x8c\x83\xf0\xb4\x34" , tt_SLEB128_known 3856595619634880935 "\xa7\xc3\xa8\xf5\x86\xa9\xd8\xc2\x35" , tt_SLEB128_known 3944792956832413902 "\xce\xf1\xd5\xc3\xb3\x89\xae\xdf\x36" , tt_SLEB128_known 4103161484643623377 "\xd1\xc3\xfd\xe1\x97\xf4\xd6\xf8\x38" , tt_SLEB128_known 4132753277204215288 "\xf8\xeb\xda\xc0\xd9\xa6\x9f\xad\x39" , tt_SLEB128_known 4145633508785338927 "\xaf\xf4\xec\xa0\xe3\xf6\x8f\xc4\x39" , tt_SLEB128_known 4191926494068517598 "\xde\xd5\x82\x9c\xfc\xdd\xad\x96\x3a" , tt_SLEB128_known 4199347535970806966 "\xb6\xd9\xce\xcf\xdb\x8a\xc5\xa3\x3a" , tt_SLEB128_known 4419048529340123694 "\xae\x94\x9f\xe4\x96\xa7\xe7\xa9\x3d" , tt_SLEB128_known 4455083374148249713 "\xf1\xd0\xeb\xc6\x98\xd7\xe8\xe9\x3d" , tt_SLEB128_known 4556141255674613490 "\xf2\x9d\xf3\x97\xd2\xca\xaa\x9d\x3f" , tt_SLEB128_known 4901557005331034230 "\xf6\xe0\xd5\xa8\x87\x84\xf5\x82\xc4\x00" , tt_SLEB128_known 4953286460025105580 "\xac\xd9\xb1\x84\xab\xf9\xe6\xde\xc4\x00" , tt_SLEB128_known 5045167886354394053 "\xc5\xd7\xf2\x92\xe5\xae\x82\x82\xc6\x00" , tt_SLEB128_known 5096346593941490257 "\xd1\x94\x9e\x81\x9c\x87\xf7\xdc\xc6\x00" , tt_SLEB128_known 5110716740488584708 "\x84\xbc\xdb\xc3\xc3\xb9\xba\xf6\xc6\x00" , tt_SLEB128_known 5251537772479181262 "\xce\xe3\xab\xe9\xfb\xb8\xcd\xf0\xc8\x00" , tt_SLEB128_known 5424495271496989819 "\xfb\xf8\xf4\xfa\xd8\xb6\xeb\xa3\xcb\x00" , tt_SLEB128_known 5637155912369669356 "\xec\x89\xa6\xa2\xf7\xed\xcc\x9d\xce\x00" , tt_SLEB128_known 5656138666606963108 "\xa4\xd3\xd6\xbb\xe5\x84\xa9\xbf\xce\x00" , tt_SLEB128_known 5696576265281547238 "\xe6\xd7\x9c\xc0\xe7\xbd\x93\x87\xcf\x00" , tt_SLEB128_known 5822603727664217699 "\xe3\xfc\xa9\xba\xda\xe7\x82\xe7\xd0\x00" , tt_SLEB128_known 5861396459144691389 "\xbd\xfd\xb4\xd8\xe4\xa0\xf7\xab\xd1\x00" , tt_SLEB128_known 5872561561198404427 "\xcb\xc6\xe0\x86\x83\xf4\xe1\xbf\xd1\x00" , tt_SLEB128_known 5960960492615612805 "\x85\xf3\xf6\xd3\xc4\xbf\xe5\xdc\xd2\x00" , tt_SLEB128_known 5982527046032636480 "\xc0\xf4\xc4\xef\xec\x94\x8d\x83\xd3\x00" , tt_SLEB128_known 5995002221617381565 "\xbd\x81\xba\xb9\x9f\xd8\xa1\x99\xd3\x00" , tt_SLEB128_known 6041003950471360021 "\x95\xdc\xce\xd4\xe1\xa2\xfd\xea\xd3\x00" , tt_SLEB128_known 6078236340301084731 "\xbb\xf0\x90\xa4\xf6\xf7\x8e\xad\xd4\x00" , tt_SLEB128_known 6203547570860777324 "\xec\xbe\x93\xe3\xdd\xb4\xdb\x8b\xd6\x00" , tt_SLEB128_known 6355660132335479029 "\xf5\xd1\xdf\xa7\xf7\xe6\xf5\x99\xd8\x00" , tt_SLEB128_known 6387328730631759352 "\xf8\xcb\xcf\xa7\xb9\xb4\x96\xd2\xd8\x00" , tt_SLEB128_known 6394692322857845157 "\xa5\x83\xf0\xfe\x97\xd9\xa0\xdf\xd8\x00" , tt_SLEB128_known 6425964547531840549 "\xa5\xb8\x8e\x97\xdb\x96\xe7\x96\xd9\x00" , tt_SLEB128_known 6473112946808070161 "\x91\xc0\xe8\xcb\xdd\xbd\xc7\xea\xd9\x00" , tt_SLEB128_known 6485808696913935799 "\xb7\xfb\xc6\xa5\xd8\x94\x8e\x81\xda\x00" , tt_SLEB128_known 6571515130884375421 "\xfd\x86\xdf\xa3\x9b\xc6\xad\x99\xdb\x00" , tt_SLEB128_known 6638965462576089153 "\xc1\x90\xbd\xc7\x9d\xfd\x95\x91\xdc\x00" , tt_SLEB128_known 6890775738228699463 "\xc7\xe2\x81\xc0\xe6\x80\xbd\xd0\xdf\x00" , tt_SLEB128_known 6914526363952000407 "\x97\xdb\xba\x8b\xfe\xa2\xd5\xfa\xdf\x00" , tt_SLEB128_known 6933097952413144173 "\xed\xa8\xcb\xb4\xac\xfb\xd3\x9b\xe0\x00" , tt_SLEB128_known 7032181223721684836 "\xe4\x9e\xe9\xe0\x89\xf2\xd4\xcb\xe1\x00" , tt_SLEB128_known 7162922528771624224 "\xa0\x9a\xcd\x88\xed\x82\xf4\xb3\xe3\x00" , tt_SLEB128_known 7205322524829226382 "\x8e\xab\xc4\x84\x93\xd5\x9c\xff\xe3\x00" , tt_SLEB128_known 7238057873582600864 "\xa0\xe5\xf0\x94\x98\xe9\xaf\xb9\xe4\x00" , tt_SLEB128_known 7256629043231079705 "\x99\xfa\xc8\xa4\xae\xb5\xae\xda\xe4\x00" , tt_SLEB128_known 7357901855678698491 "\xfb\xa7\xaa\xff\x8f\x98\xa1\x8e\xe6\x00" , tt_SLEB128_known 7415482293595141532 "\x9c\xeb\xbf\xdf\xb6\xbb\xc5\xf4\xe6\x00" , tt_SLEB128_known 7464470122701447342 "\xae\xc1\x8b\xa1\xf3\x80\xc8\xcb\xe7\x00" , tt_SLEB128_known 7539467086860256510 "\xfe\x89\xb8\xa0\xea\xab\xe4\xd0\xe8\x00" , tt_SLEB128_known 7600297399029821247 "\xbf\xde\xfd\x83\xf6\xc6\xeb\xbc\xe9\x00" , tt_SLEB128_known 7617806199745078829 "\xad\xcc\xcb\xbc\x8b\xcc\xf8\xdb\xe9\x00" , tt_SLEB128_known 7767893289178425805 "\xcd\xd3\xfb\xd4\xa5\xb9\xc6\xe6\xeb\x00" , tt_SLEB128_known 7824309355749348443 "\xdb\xa8\xd2\x91\xf7\xfc\xe1\xca\xec\x00" , tt_SLEB128_known 7858694681180540595 "\xb3\x9d\x92\xb0\xce\xa5\xec\x87\xed\x00" , tt_SLEB128_known 7865586331763820127 "\xdf\x8c\xcd\xb7\x85\xa3\x8b\x94\xed\x00" , tt_SLEB128_known 7867379394904051495 "\xa7\x9e\xef\x93\x86\xfc\xa2\x97\xed\x00" , tt_SLEB128_known 7872131855186111995 "\xfb\xdb\x9e\xab\xec\xc6\xdb\x9f\xed\x00" , tt_SLEB128_known 8153330444982341041 "\xb1\x9b\xb3\xec\xf6\xda\x9c\x93\xf1\x00" , tt_SLEB128_known 8169316313223349691 "\xbb\x8b\xed\xdb\xf6\xbc\xcf\xaf\xf1\x00" , tt_SLEB128_known 8208923558131629487 "\xaf\xfb\x95\xf6\xbb\x8f\xfd\xf5\xf1\x00" , tt_SLEB128_known 8268349867323678312 "\xe8\xbc\xe7\x83\xd9\x8c\xc5\xdf\xf2\x00" , tt_SLEB128_known 8300371820353604781 "\xad\x99\xdb\xfe\x97\x86\xb6\x98\xf3\x00" , tt_SLEB128_known 8446794406616112204 "\xcc\xb8\xf0\x88\xa8\xd8\xc2\x9c\xf5\x00" , tt_SLEB128_known 8448831201312377775 "\xaf\x97\xd8\xcb\xeb\xe6\x91\xa0\xf5\x00" , tt_SLEB128_known 8565431986913687688 "\x88\xf1\x88\xfe\xaa\xe0\xa1\xef\xf6\x00" , tt_SLEB128_known 8629983544958868022 "\xb6\xb4\xf5\xf5\xf7\x89\xf7\xe1\xf7\x00" , tt_SLEB128_known 8668207299393572773 "\xa5\x9f\xb5\xbe\xcd\x93\xea\xa5\xf8\x00" , tt_SLEB128_known 8714610830351436396 "\xec\x94\xfa\x96\x8d\x8c\xa1\xf8\xf8\x00" , tt_SLEB128_known 8785404403908288579 "\xc3\xc0\xec\xf8\xa1\xd8\x81\xf6\xf9\x00" , tt_SLEB128_known 8843802306698213837 "\xcd\xf3\x9b\xd4\xf6\xea\xdf\xdd\xfa\x00" , tt_SLEB128_known 8850640218143925141 "\x95\xc7\x84\xea\xab\xcc\xf2\xe9\xfa\x00" , tt_SLEB128_known 8920698040007351562 "\x8a\xba\xa5\xf9\xa7\xf3\xab\xe6\xfb\x00" , tt_SLEB128_known 8923616810142251375 "\xef\xf2\xee\x81\xda\xc6\xc3\xeb\xfb\x00" , tt_SLEB128_known 9028981872620672023 "\x97\xa8\xfc\x87\xcf\xe5\xd8\xa6\xfd\x00" , tt_SLEB128_known 9040127731630765776 "\xd0\xed\x89\xc0\xe7\x88\xbf\xba\xfd\x00" , tt_SLEB128_known 9097620239540597421 "\xad\xe5\xe2\xb9\x81\xad\xcf\xa0\xfe\x00" , tt_SLEB128_known 9159289276857505834 "\xaa\xb0\x8b\xf1\x9b\xa2\x95\x8e\xff\x00" ] , testGroup "Round trip" [ testProperty "putInt8" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putInt8 n)) , testProperty "putInt16" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putInt16 n)) , testProperty "putInt32" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putInt32 n)) , testProperty "putInt64" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putInt64 n)) , testProperty "putInt" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putInt n)) , testProperty "putInteger" $ property $ do i <- forAll $ Gen.integral rangeInteger512 propDecSLEB128 i (enc (S.putInteger i)) , testProperty "putWord8" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putWord8 n)) , testProperty "putWord16" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putWord16 n)) , testProperty "putWord32" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putWord32 n)) , testProperty "putWord64" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putWord64 n)) , testProperty "putWord" $ property $ do n <- forAll $ Gen.integral Range.constantBounded propDecSLEB128 n (enc (S.putWord n)) , testProperty "putNatural" $ property $ do n <- forAll $ Gen.integral rangeNatural512 propDecSLEB128 n (enc (S.putNatural n)) ] ] tt_SLEB128_known :: Integer -> BL.ByteString -> TestTree tt_SLEB128_known i bl = testGroup (show i) [ testCase "put" $ enc (S.putInteger i) @?= bl , testCase "get" $ assertDecSLEB128 i bl ] propDecULEB128 :: (Integral a, Bits a, MonadTest m) => a -> BL.ByteString -> m () propDecULEB128 = decULEB128 (===) assertDecULEB128 :: (Integral a, Bits a) => a -> BL.ByteString -> Assertion assertDecULEB128 = decULEB128 (@?=) decULEB128 :: (Integral a, Bits a, Monad m) => (forall x. (Eq x, Show x) => x -> x -> m ()) -> a -> BL.ByteString -> m () decULEB128 eq = \a bl -> do let l = fromIntegral (BL.length bl) :: Word for_ (toIntegralSized a) $ \b -> eq (dec (U.getNatural l) bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec (U.getInteger l) bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getWord bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getWord8 bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getWord16 bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getWord32 bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getWord64 bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getInt bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getInt8 bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getInt16 bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getInt32 bl) (Right b) for_ (toIntegralSized a) $ \b -> eq (dec U.getInt64 bl) (Right b) propDecSLEB128 :: (Integral a, Bits a, MonadTest m) => a -> BL.ByteString -> m () propDecSLEB128 = decSLEB128 (===) assertDecSLEB128 :: (Integral a, Bits a) => a -> BL.ByteString -> Assertion assertDecSLEB128 = decSLEB128 (@?=) decSLEB128 :: (Integral a, Bits a, Monad m) => (forall x. (Eq x, Show x) => x -> x -> m ()) -> a -> BL.ByteString -> m () decSLEB128 eq = \a bl -> do let i = toInteger a l = fromIntegral (BL.length bl) :: Word when (a >= 0) $ eq (dec (S.getNatural l) bl) (Right (fromInteger i)) for_ (toIntegralSized i) $ \b -> eq (dec (S.getInteger l) bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getWord bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getWord8 bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getWord16 bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getWord32 bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getWord64 bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getInt bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getInt8 bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getInt16 bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getInt32 bl) (Right b) for_ (toIntegralSized i) $ \b -> eq (dec S.getInt64 bl) (Right b) rangeInteger512 :: Range.Range Integer rangeInteger512 = let x = 2 ^ (511 :: Int) :: Integer in Range.constantFrom 0 (negate x) (x - 1) rangeNatural512 :: Range.Range Natural rangeNatural512 = Range.constantFrom 0 0 ((2 ^ (512 :: Int)) - 1) enc :: Bin.Put -> BL.ByteString enc = Bin.runPut dec :: Bin.Get a -> BL.ByteString -> Either String a dec g b = case Bin.runGetOrFail g b of Left (_, _, e) -> Left e Right (l, _, a) | BL.null l -> Right a | otherwise -> Left "parsed successfully, but got leftovers"