entropy_encode_static.go 34 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826382738283829383038313832383338343835383638373838383938403841384238433844384538463847384838493850385138523853385438553856385738583859386038613862386338643865386638673868386938703871387238733874387538763877387838793880388138823883388438853886388738883889389038913892389338943895389638973898389939003901390239033904390539063907390839093910391139123913391439153916391739183919392039213922392339243925392639273928392939303931393239333934393539363937393839393940394139423943394439453946394739483949395039513952395339543955395639573958395939603961396239633964396539663967396839693970397139723973397439753976397739783979398039813982398339843985398639873988398939903991399239933994399539963997399839994000400140024003400440054006400740084009401040114012401340144015401640174018401940204021402240234024402540264027402840294030403140324033403440354036403740384039404040414042404340444045404640474048404940504051405240534054405540564057405840594060406140624063406440654066406740684069407040714072407340744075407640774078407940804081408240834084408540864087408840894090409140924093409440954096409740984099410041014102410341044105410641074108410941104111411241134114411541164117411841194120412141224123412441254126412741284129413041314132413341344135413641374138413941404141414241434144414541464147414841494150415141524153415441554156415741584159416041614162416341644165416641674168416941704171417241734174417541764177417841794180418141824183418441854186418741884189419041914192419341944195419641974198419942004201420242034204420542064207420842094210421142124213421442154216421742184219422042214222422342244225422642274228422942304231423242334234423542364237423842394240424142424243424442454246424742484249425042514252425342544255425642574258425942604261426242634264426542664267426842694270427142724273427442754276427742784279428042814282428342844285428642874288428942904291429242934294429542964297429842994300430143024303430443054306430743084309431043114312431343144315431643174318431943204321432243234324432543264327432843294330433143324333433443354336433743384339434043414342434343444345434643474348434943504351435243534354435543564357435843594360436143624363436443654366436743684369437043714372437343744375437643774378437943804381438243834384438543864387438843894390439143924393439443954396439743984399
  1. package brotli
  2. var kCodeLengthDepth = [18]byte{4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 0, 4, 4}
  3. var kStaticCommandCodeDepth = [numCommandSymbols]byte{
  4. 9,
  5. 9,
  6. 9,
  7. 9,
  8. 9,
  9. 9,
  10. 9,
  11. 9,
  12. 9,
  13. 9,
  14. 9,
  15. 9,
  16. 9,
  17. 9,
  18. 9,
  19. 9,
  20. 9,
  21. 9,
  22. 9,
  23. 9,
  24. 9,
  25. 9,
  26. 9,
  27. 9,
  28. 9,
  29. 9,
  30. 9,
  31. 9,
  32. 9,
  33. 9,
  34. 9,
  35. 9,
  36. 9,
  37. 9,
  38. 9,
  39. 9,
  40. 9,
  41. 9,
  42. 9,
  43. 9,
  44. 9,
  45. 9,
  46. 9,
  47. 9,
  48. 9,
  49. 9,
  50. 9,
  51. 9,
  52. 9,
  53. 9,
  54. 9,
  55. 9,
  56. 9,
  57. 9,
  58. 9,
  59. 9,
  60. 9,
  61. 9,
  62. 9,
  63. 9,
  64. 9,
  65. 9,
  66. 9,
  67. 9,
  68. 9,
  69. 9,
  70. 9,
  71. 9,
  72. 9,
  73. 9,
  74. 9,
  75. 9,
  76. 9,
  77. 9,
  78. 9,
  79. 9,
  80. 9,
  81. 9,
  82. 9,
  83. 9,
  84. 9,
  85. 9,
  86. 9,
  87. 9,
  88. 9,
  89. 9,
  90. 9,
  91. 9,
  92. 9,
  93. 9,
  94. 9,
  95. 9,
  96. 9,
  97. 9,
  98. 9,
  99. 9,
  100. 9,
  101. 9,
  102. 9,
  103. 9,
  104. 9,
  105. 9,
  106. 9,
  107. 9,
  108. 9,
  109. 9,
  110. 9,
  111. 9,
  112. 9,
  113. 9,
  114. 9,
  115. 9,
  116. 9,
  117. 9,
  118. 9,
  119. 9,
  120. 9,
  121. 9,
  122. 9,
  123. 9,
  124. 9,
  125. 9,
  126. 9,
  127. 9,
  128. 9,
  129. 9,
  130. 9,
  131. 9,
  132. 9,
  133. 9,
  134. 9,
  135. 9,
  136. 9,
  137. 9,
  138. 9,
  139. 9,
  140. 9,
  141. 9,
  142. 9,
  143. 9,
  144. 9,
  145. 9,
  146. 9,
  147. 9,
  148. 9,
  149. 9,
  150. 9,
  151. 9,
  152. 9,
  153. 9,
  154. 9,
  155. 9,
  156. 9,
  157. 9,
  158. 9,
  159. 9,
  160. 9,
  161. 9,
  162. 9,
  163. 9,
  164. 9,
  165. 9,
  166. 9,
  167. 9,
  168. 9,
  169. 9,
  170. 9,
  171. 9,
  172. 9,
  173. 9,
  174. 9,
  175. 9,
  176. 9,
  177. 9,
  178. 9,
  179. 9,
  180. 9,
  181. 9,
  182. 9,
  183. 9,
  184. 9,
  185. 9,
  186. 9,
  187. 9,
  188. 9,
  189. 9,
  190. 9,
  191. 9,
  192. 9,
  193. 9,
  194. 9,
  195. 9,
  196. 9,
  197. 9,
  198. 9,
  199. 9,
  200. 9,
  201. 9,
  202. 9,
  203. 9,
  204. 9,
  205. 9,
  206. 9,
  207. 9,
  208. 9,
  209. 9,
  210. 9,
  211. 9,
  212. 9,
  213. 9,
  214. 9,
  215. 9,
  216. 9,
  217. 9,
  218. 9,
  219. 9,
  220. 9,
  221. 9,
  222. 9,
  223. 9,
  224. 9,
  225. 9,
  226. 9,
  227. 9,
  228. 9,
  229. 9,
  230. 9,
  231. 9,
  232. 9,
  233. 9,
  234. 9,
  235. 9,
  236. 9,
  237. 9,
  238. 9,
  239. 9,
  240. 9,
  241. 9,
  242. 9,
  243. 9,
  244. 9,
  245. 9,
  246. 9,
  247. 9,
  248. 9,
  249. 9,
  250. 9,
  251. 9,
  252. 9,
  253. 9,
  254. 9,
  255. 9,
  256. 9,
  257. 9,
  258. 9,
  259. 9,
  260. 9,
  261. 9,
  262. 9,
  263. 9,
  264. 9,
  265. 9,
  266. 9,
  267. 9,
  268. 9,
  269. 9,
  270. 9,
  271. 9,
  272. 9,
  273. 9,
  274. 9,
  275. 9,
  276. 9,
  277. 9,
  278. 9,
  279. 9,
  280. 9,
  281. 9,
  282. 9,
  283. 9,
  284. 9,
  285. 9,
  286. 9,
  287. 9,
  288. 9,
  289. 9,
  290. 9,
  291. 9,
  292. 9,
  293. 9,
  294. 9,
  295. 9,
  296. 9,
  297. 9,
  298. 9,
  299. 9,
  300. 9,
  301. 9,
  302. 9,
  303. 9,
  304. 9,
  305. 9,
  306. 9,
  307. 9,
  308. 9,
  309. 9,
  310. 9,
  311. 9,
  312. 9,
  313. 9,
  314. 9,
  315. 9,
  316. 9,
  317. 9,
  318. 9,
  319. 9,
  320. 9,
  321. 9,
  322. 9,
  323. 9,
  324. 9,
  325. 9,
  326. 9,
  327. 9,
  328. 9,
  329. 9,
  330. 9,
  331. 9,
  332. 9,
  333. 9,
  334. 9,
  335. 9,
  336. 9,
  337. 9,
  338. 9,
  339. 9,
  340. 9,
  341. 9,
  342. 9,
  343. 9,
  344. 9,
  345. 9,
  346. 9,
  347. 9,
  348. 9,
  349. 9,
  350. 9,
  351. 9,
  352. 9,
  353. 9,
  354. 9,
  355. 9,
  356. 9,
  357. 9,
  358. 9,
  359. 9,
  360. 9,
  361. 9,
  362. 9,
  363. 9,
  364. 9,
  365. 9,
  366. 9,
  367. 9,
  368. 9,
  369. 9,
  370. 9,
  371. 9,
  372. 9,
  373. 9,
  374. 9,
  375. 9,
  376. 9,
  377. 9,
  378. 9,
  379. 9,
  380. 9,
  381. 9,
  382. 9,
  383. 9,
  384. 9,
  385. 9,
  386. 9,
  387. 9,
  388. 9,
  389. 9,
  390. 9,
  391. 9,
  392. 9,
  393. 9,
  394. 9,
  395. 9,
  396. 9,
  397. 9,
  398. 9,
  399. 9,
  400. 9,
  401. 9,
  402. 9,
  403. 9,
  404. 9,
  405. 9,
  406. 9,
  407. 9,
  408. 9,
  409. 9,
  410. 9,
  411. 9,
  412. 9,
  413. 9,
  414. 9,
  415. 9,
  416. 9,
  417. 9,
  418. 9,
  419. 9,
  420. 9,
  421. 9,
  422. 9,
  423. 9,
  424. 9,
  425. 9,
  426. 9,
  427. 9,
  428. 9,
  429. 9,
  430. 9,
  431. 9,
  432. 9,
  433. 9,
  434. 9,
  435. 9,
  436. 9,
  437. 9,
  438. 9,
  439. 9,
  440. 9,
  441. 9,
  442. 9,
  443. 9,
  444. 9,
  445. 9,
  446. 9,
  447. 9,
  448. 9,
  449. 9,
  450. 9,
  451. 9,
  452. 11,
  453. 11,
  454. 11,
  455. 11,
  456. 11,
  457. 11,
  458. 11,
  459. 11,
  460. 11,
  461. 11,
  462. 11,
  463. 11,
  464. 11,
  465. 11,
  466. 11,
  467. 11,
  468. 11,
  469. 11,
  470. 11,
  471. 11,
  472. 11,
  473. 11,
  474. 11,
  475. 11,
  476. 11,
  477. 11,
  478. 11,
  479. 11,
  480. 11,
  481. 11,
  482. 11,
  483. 11,
  484. 11,
  485. 11,
  486. 11,
  487. 11,
  488. 11,
  489. 11,
  490. 11,
  491. 11,
  492. 11,
  493. 11,
  494. 11,
  495. 11,
  496. 11,
  497. 11,
  498. 11,
  499. 11,
  500. 11,
  501. 11,
  502. 11,
  503. 11,
  504. 11,
  505. 11,
  506. 11,
  507. 11,
  508. 11,
  509. 11,
  510. 11,
  511. 11,
  512. 11,
  513. 11,
  514. 11,
  515. 11,
  516. 11,
  517. 11,
  518. 11,
  519. 11,
  520. 11,
  521. 11,
  522. 11,
  523. 11,
  524. 11,
  525. 11,
  526. 11,
  527. 11,
  528. 11,
  529. 11,
  530. 11,
  531. 11,
  532. 11,
  533. 11,
  534. 11,
  535. 11,
  536. 11,
  537. 11,
  538. 11,
  539. 11,
  540. 11,
  541. 11,
  542. 11,
  543. 11,
  544. 11,
  545. 11,
  546. 11,
  547. 11,
  548. 11,
  549. 11,
  550. 11,
  551. 11,
  552. 11,
  553. 11,
  554. 11,
  555. 11,
  556. 11,
  557. 11,
  558. 11,
  559. 11,
  560. 11,
  561. 11,
  562. 11,
  563. 11,
  564. 11,
  565. 11,
  566. 11,
  567. 11,
  568. 11,
  569. 11,
  570. 11,
  571. 11,
  572. 11,
  573. 11,
  574. 11,
  575. 11,
  576. 11,
  577. 11,
  578. 11,
  579. 11,
  580. 11,
  581. 11,
  582. 11,
  583. 11,
  584. 11,
  585. 11,
  586. 11,
  587. 11,
  588. 11,
  589. 11,
  590. 11,
  591. 11,
  592. 11,
  593. 11,
  594. 11,
  595. 11,
  596. 11,
  597. 11,
  598. 11,
  599. 11,
  600. 11,
  601. 11,
  602. 11,
  603. 11,
  604. 11,
  605. 11,
  606. 11,
  607. 11,
  608. 11,
  609. 11,
  610. 11,
  611. 11,
  612. 11,
  613. 11,
  614. 11,
  615. 11,
  616. 11,
  617. 11,
  618. 11,
  619. 11,
  620. 11,
  621. 11,
  622. 11,
  623. 11,
  624. 11,
  625. 11,
  626. 11,
  627. 11,
  628. 11,
  629. 11,
  630. 11,
  631. 11,
  632. 11,
  633. 11,
  634. 11,
  635. 11,
  636. 11,
  637. 11,
  638. 11,
  639. 11,
  640. 11,
  641. 11,
  642. 11,
  643. 11,
  644. 11,
  645. 11,
  646. 11,
  647. 11,
  648. 11,
  649. 11,
  650. 11,
  651. 11,
  652. 11,
  653. 11,
  654. 11,
  655. 11,
  656. 11,
  657. 11,
  658. 11,
  659. 11,
  660. 11,
  661. 11,
  662. 11,
  663. 11,
  664. 11,
  665. 11,
  666. 11,
  667. 11,
  668. 11,
  669. 11,
  670. 11,
  671. 11,
  672. 11,
  673. 11,
  674. 11,
  675. 11,
  676. 11,
  677. 11,
  678. 11,
  679. 11,
  680. 11,
  681. 11,
  682. 11,
  683. 11,
  684. 11,
  685. 11,
  686. 11,
  687. 11,
  688. 11,
  689. 11,
  690. 11,
  691. 11,
  692. 11,
  693. 11,
  694. 11,
  695. 11,
  696. 11,
  697. 11,
  698. 11,
  699. 11,
  700. 11,
  701. 11,
  702. 11,
  703. 11,
  704. 11,
  705. 11,
  706. 11,
  707. 11,
  708. }
  709. var kStaticDistanceCodeDepth = [64]byte{
  710. 6,
  711. 6,
  712. 6,
  713. 6,
  714. 6,
  715. 6,
  716. 6,
  717. 6,
  718. 6,
  719. 6,
  720. 6,
  721. 6,
  722. 6,
  723. 6,
  724. 6,
  725. 6,
  726. 6,
  727. 6,
  728. 6,
  729. 6,
  730. 6,
  731. 6,
  732. 6,
  733. 6,
  734. 6,
  735. 6,
  736. 6,
  737. 6,
  738. 6,
  739. 6,
  740. 6,
  741. 6,
  742. 6,
  743. 6,
  744. 6,
  745. 6,
  746. 6,
  747. 6,
  748. 6,
  749. 6,
  750. 6,
  751. 6,
  752. 6,
  753. 6,
  754. 6,
  755. 6,
  756. 6,
  757. 6,
  758. 6,
  759. 6,
  760. 6,
  761. 6,
  762. 6,
  763. 6,
  764. 6,
  765. 6,
  766. 6,
  767. 6,
  768. 6,
  769. 6,
  770. 6,
  771. 6,
  772. 6,
  773. 6,
  774. }
  775. var kCodeLengthBits = [18]uint32{0, 8, 4, 12, 2, 10, 6, 14, 1, 9, 5, 13, 3, 15, 31, 0, 11, 7}
  776. func storeStaticCodeLengthCode(storage_ix *uint, storage []byte) {
  777. writeBits(40, 0x0000FF55555554, storage_ix, storage)
  778. }
  779. func storeStaticCodeLengthCodeBW(bw *bitWriter) {
  780. bw.writeBits(32, 0x55555554)
  781. bw.writeBits(8, 0xFF)
  782. }
  783. var kZeroRepsBits = [numCommandSymbols]uint64{
  784. 0x00000000,
  785. 0x00000000,
  786. 0x00000000,
  787. 0x00000007,
  788. 0x00000017,
  789. 0x00000027,
  790. 0x00000037,
  791. 0x00000047,
  792. 0x00000057,
  793. 0x00000067,
  794. 0x00000077,
  795. 0x00000770,
  796. 0x00000b87,
  797. 0x00001387,
  798. 0x00001b87,
  799. 0x00002387,
  800. 0x00002b87,
  801. 0x00003387,
  802. 0x00003b87,
  803. 0x00000397,
  804. 0x00000b97,
  805. 0x00001397,
  806. 0x00001b97,
  807. 0x00002397,
  808. 0x00002b97,
  809. 0x00003397,
  810. 0x00003b97,
  811. 0x000003a7,
  812. 0x00000ba7,
  813. 0x000013a7,
  814. 0x00001ba7,
  815. 0x000023a7,
  816. 0x00002ba7,
  817. 0x000033a7,
  818. 0x00003ba7,
  819. 0x000003b7,
  820. 0x00000bb7,
  821. 0x000013b7,
  822. 0x00001bb7,
  823. 0x000023b7,
  824. 0x00002bb7,
  825. 0x000033b7,
  826. 0x00003bb7,
  827. 0x000003c7,
  828. 0x00000bc7,
  829. 0x000013c7,
  830. 0x00001bc7,
  831. 0x000023c7,
  832. 0x00002bc7,
  833. 0x000033c7,
  834. 0x00003bc7,
  835. 0x000003d7,
  836. 0x00000bd7,
  837. 0x000013d7,
  838. 0x00001bd7,
  839. 0x000023d7,
  840. 0x00002bd7,
  841. 0x000033d7,
  842. 0x00003bd7,
  843. 0x000003e7,
  844. 0x00000be7,
  845. 0x000013e7,
  846. 0x00001be7,
  847. 0x000023e7,
  848. 0x00002be7,
  849. 0x000033e7,
  850. 0x00003be7,
  851. 0x000003f7,
  852. 0x00000bf7,
  853. 0x000013f7,
  854. 0x00001bf7,
  855. 0x000023f7,
  856. 0x00002bf7,
  857. 0x000033f7,
  858. 0x00003bf7,
  859. 0x0001c387,
  860. 0x0005c387,
  861. 0x0009c387,
  862. 0x000dc387,
  863. 0x0011c387,
  864. 0x0015c387,
  865. 0x0019c387,
  866. 0x001dc387,
  867. 0x0001cb87,
  868. 0x0005cb87,
  869. 0x0009cb87,
  870. 0x000dcb87,
  871. 0x0011cb87,
  872. 0x0015cb87,
  873. 0x0019cb87,
  874. 0x001dcb87,
  875. 0x0001d387,
  876. 0x0005d387,
  877. 0x0009d387,
  878. 0x000dd387,
  879. 0x0011d387,
  880. 0x0015d387,
  881. 0x0019d387,
  882. 0x001dd387,
  883. 0x0001db87,
  884. 0x0005db87,
  885. 0x0009db87,
  886. 0x000ddb87,
  887. 0x0011db87,
  888. 0x0015db87,
  889. 0x0019db87,
  890. 0x001ddb87,
  891. 0x0001e387,
  892. 0x0005e387,
  893. 0x0009e387,
  894. 0x000de387,
  895. 0x0011e387,
  896. 0x0015e387,
  897. 0x0019e387,
  898. 0x001de387,
  899. 0x0001eb87,
  900. 0x0005eb87,
  901. 0x0009eb87,
  902. 0x000deb87,
  903. 0x0011eb87,
  904. 0x0015eb87,
  905. 0x0019eb87,
  906. 0x001deb87,
  907. 0x0001f387,
  908. 0x0005f387,
  909. 0x0009f387,
  910. 0x000df387,
  911. 0x0011f387,
  912. 0x0015f387,
  913. 0x0019f387,
  914. 0x001df387,
  915. 0x0001fb87,
  916. 0x0005fb87,
  917. 0x0009fb87,
  918. 0x000dfb87,
  919. 0x0011fb87,
  920. 0x0015fb87,
  921. 0x0019fb87,
  922. 0x001dfb87,
  923. 0x0001c397,
  924. 0x0005c397,
  925. 0x0009c397,
  926. 0x000dc397,
  927. 0x0011c397,
  928. 0x0015c397,
  929. 0x0019c397,
  930. 0x001dc397,
  931. 0x0001cb97,
  932. 0x0005cb97,
  933. 0x0009cb97,
  934. 0x000dcb97,
  935. 0x0011cb97,
  936. 0x0015cb97,
  937. 0x0019cb97,
  938. 0x001dcb97,
  939. 0x0001d397,
  940. 0x0005d397,
  941. 0x0009d397,
  942. 0x000dd397,
  943. 0x0011d397,
  944. 0x0015d397,
  945. 0x0019d397,
  946. 0x001dd397,
  947. 0x0001db97,
  948. 0x0005db97,
  949. 0x0009db97,
  950. 0x000ddb97,
  951. 0x0011db97,
  952. 0x0015db97,
  953. 0x0019db97,
  954. 0x001ddb97,
  955. 0x0001e397,
  956. 0x0005e397,
  957. 0x0009e397,
  958. 0x000de397,
  959. 0x0011e397,
  960. 0x0015e397,
  961. 0x0019e397,
  962. 0x001de397,
  963. 0x0001eb97,
  964. 0x0005eb97,
  965. 0x0009eb97,
  966. 0x000deb97,
  967. 0x0011eb97,
  968. 0x0015eb97,
  969. 0x0019eb97,
  970. 0x001deb97,
  971. 0x0001f397,
  972. 0x0005f397,
  973. 0x0009f397,
  974. 0x000df397,
  975. 0x0011f397,
  976. 0x0015f397,
  977. 0x0019f397,
  978. 0x001df397,
  979. 0x0001fb97,
  980. 0x0005fb97,
  981. 0x0009fb97,
  982. 0x000dfb97,
  983. 0x0011fb97,
  984. 0x0015fb97,
  985. 0x0019fb97,
  986. 0x001dfb97,
  987. 0x0001c3a7,
  988. 0x0005c3a7,
  989. 0x0009c3a7,
  990. 0x000dc3a7,
  991. 0x0011c3a7,
  992. 0x0015c3a7,
  993. 0x0019c3a7,
  994. 0x001dc3a7,
  995. 0x0001cba7,
  996. 0x0005cba7,
  997. 0x0009cba7,
  998. 0x000dcba7,
  999. 0x0011cba7,
  1000. 0x0015cba7,
  1001. 0x0019cba7,
  1002. 0x001dcba7,
  1003. 0x0001d3a7,
  1004. 0x0005d3a7,
  1005. 0x0009d3a7,
  1006. 0x000dd3a7,
  1007. 0x0011d3a7,
  1008. 0x0015d3a7,
  1009. 0x0019d3a7,
  1010. 0x001dd3a7,
  1011. 0x0001dba7,
  1012. 0x0005dba7,
  1013. 0x0009dba7,
  1014. 0x000ddba7,
  1015. 0x0011dba7,
  1016. 0x0015dba7,
  1017. 0x0019dba7,
  1018. 0x001ddba7,
  1019. 0x0001e3a7,
  1020. 0x0005e3a7,
  1021. 0x0009e3a7,
  1022. 0x000de3a7,
  1023. 0x0011e3a7,
  1024. 0x0015e3a7,
  1025. 0x0019e3a7,
  1026. 0x001de3a7,
  1027. 0x0001eba7,
  1028. 0x0005eba7,
  1029. 0x0009eba7,
  1030. 0x000deba7,
  1031. 0x0011eba7,
  1032. 0x0015eba7,
  1033. 0x0019eba7,
  1034. 0x001deba7,
  1035. 0x0001f3a7,
  1036. 0x0005f3a7,
  1037. 0x0009f3a7,
  1038. 0x000df3a7,
  1039. 0x0011f3a7,
  1040. 0x0015f3a7,
  1041. 0x0019f3a7,
  1042. 0x001df3a7,
  1043. 0x0001fba7,
  1044. 0x0005fba7,
  1045. 0x0009fba7,
  1046. 0x000dfba7,
  1047. 0x0011fba7,
  1048. 0x0015fba7,
  1049. 0x0019fba7,
  1050. 0x001dfba7,
  1051. 0x0001c3b7,
  1052. 0x0005c3b7,
  1053. 0x0009c3b7,
  1054. 0x000dc3b7,
  1055. 0x0011c3b7,
  1056. 0x0015c3b7,
  1057. 0x0019c3b7,
  1058. 0x001dc3b7,
  1059. 0x0001cbb7,
  1060. 0x0005cbb7,
  1061. 0x0009cbb7,
  1062. 0x000dcbb7,
  1063. 0x0011cbb7,
  1064. 0x0015cbb7,
  1065. 0x0019cbb7,
  1066. 0x001dcbb7,
  1067. 0x0001d3b7,
  1068. 0x0005d3b7,
  1069. 0x0009d3b7,
  1070. 0x000dd3b7,
  1071. 0x0011d3b7,
  1072. 0x0015d3b7,
  1073. 0x0019d3b7,
  1074. 0x001dd3b7,
  1075. 0x0001dbb7,
  1076. 0x0005dbb7,
  1077. 0x0009dbb7,
  1078. 0x000ddbb7,
  1079. 0x0011dbb7,
  1080. 0x0015dbb7,
  1081. 0x0019dbb7,
  1082. 0x001ddbb7,
  1083. 0x0001e3b7,
  1084. 0x0005e3b7,
  1085. 0x0009e3b7,
  1086. 0x000de3b7,
  1087. 0x0011e3b7,
  1088. 0x0015e3b7,
  1089. 0x0019e3b7,
  1090. 0x001de3b7,
  1091. 0x0001ebb7,
  1092. 0x0005ebb7,
  1093. 0x0009ebb7,
  1094. 0x000debb7,
  1095. 0x0011ebb7,
  1096. 0x0015ebb7,
  1097. 0x0019ebb7,
  1098. 0x001debb7,
  1099. 0x0001f3b7,
  1100. 0x0005f3b7,
  1101. 0x0009f3b7,
  1102. 0x000df3b7,
  1103. 0x0011f3b7,
  1104. 0x0015f3b7,
  1105. 0x0019f3b7,
  1106. 0x001df3b7,
  1107. 0x0001fbb7,
  1108. 0x0005fbb7,
  1109. 0x0009fbb7,
  1110. 0x000dfbb7,
  1111. 0x0011fbb7,
  1112. 0x0015fbb7,
  1113. 0x0019fbb7,
  1114. 0x001dfbb7,
  1115. 0x0001c3c7,
  1116. 0x0005c3c7,
  1117. 0x0009c3c7,
  1118. 0x000dc3c7,
  1119. 0x0011c3c7,
  1120. 0x0015c3c7,
  1121. 0x0019c3c7,
  1122. 0x001dc3c7,
  1123. 0x0001cbc7,
  1124. 0x0005cbc7,
  1125. 0x0009cbc7,
  1126. 0x000dcbc7,
  1127. 0x0011cbc7,
  1128. 0x0015cbc7,
  1129. 0x0019cbc7,
  1130. 0x001dcbc7,
  1131. 0x0001d3c7,
  1132. 0x0005d3c7,
  1133. 0x0009d3c7,
  1134. 0x000dd3c7,
  1135. 0x0011d3c7,
  1136. 0x0015d3c7,
  1137. 0x0019d3c7,
  1138. 0x001dd3c7,
  1139. 0x0001dbc7,
  1140. 0x0005dbc7,
  1141. 0x0009dbc7,
  1142. 0x000ddbc7,
  1143. 0x0011dbc7,
  1144. 0x0015dbc7,
  1145. 0x0019dbc7,
  1146. 0x001ddbc7,
  1147. 0x0001e3c7,
  1148. 0x0005e3c7,
  1149. 0x0009e3c7,
  1150. 0x000de3c7,
  1151. 0x0011e3c7,
  1152. 0x0015e3c7,
  1153. 0x0019e3c7,
  1154. 0x001de3c7,
  1155. 0x0001ebc7,
  1156. 0x0005ebc7,
  1157. 0x0009ebc7,
  1158. 0x000debc7,
  1159. 0x0011ebc7,
  1160. 0x0015ebc7,
  1161. 0x0019ebc7,
  1162. 0x001debc7,
  1163. 0x0001f3c7,
  1164. 0x0005f3c7,
  1165. 0x0009f3c7,
  1166. 0x000df3c7,
  1167. 0x0011f3c7,
  1168. 0x0015f3c7,
  1169. 0x0019f3c7,
  1170. 0x001df3c7,
  1171. 0x0001fbc7,
  1172. 0x0005fbc7,
  1173. 0x0009fbc7,
  1174. 0x000dfbc7,
  1175. 0x0011fbc7,
  1176. 0x0015fbc7,
  1177. 0x0019fbc7,
  1178. 0x001dfbc7,
  1179. 0x0001c3d7,
  1180. 0x0005c3d7,
  1181. 0x0009c3d7,
  1182. 0x000dc3d7,
  1183. 0x0011c3d7,
  1184. 0x0015c3d7,
  1185. 0x0019c3d7,
  1186. 0x001dc3d7,
  1187. 0x0001cbd7,
  1188. 0x0005cbd7,
  1189. 0x0009cbd7,
  1190. 0x000dcbd7,
  1191. 0x0011cbd7,
  1192. 0x0015cbd7,
  1193. 0x0019cbd7,
  1194. 0x001dcbd7,
  1195. 0x0001d3d7,
  1196. 0x0005d3d7,
  1197. 0x0009d3d7,
  1198. 0x000dd3d7,
  1199. 0x0011d3d7,
  1200. 0x0015d3d7,
  1201. 0x0019d3d7,
  1202. 0x001dd3d7,
  1203. 0x0001dbd7,
  1204. 0x0005dbd7,
  1205. 0x0009dbd7,
  1206. 0x000ddbd7,
  1207. 0x0011dbd7,
  1208. 0x0015dbd7,
  1209. 0x0019dbd7,
  1210. 0x001ddbd7,
  1211. 0x0001e3d7,
  1212. 0x0005e3d7,
  1213. 0x0009e3d7,
  1214. 0x000de3d7,
  1215. 0x0011e3d7,
  1216. 0x0015e3d7,
  1217. 0x0019e3d7,
  1218. 0x001de3d7,
  1219. 0x0001ebd7,
  1220. 0x0005ebd7,
  1221. 0x0009ebd7,
  1222. 0x000debd7,
  1223. 0x0011ebd7,
  1224. 0x0015ebd7,
  1225. 0x0019ebd7,
  1226. 0x001debd7,
  1227. 0x0001f3d7,
  1228. 0x0005f3d7,
  1229. 0x0009f3d7,
  1230. 0x000df3d7,
  1231. 0x0011f3d7,
  1232. 0x0015f3d7,
  1233. 0x0019f3d7,
  1234. 0x001df3d7,
  1235. 0x0001fbd7,
  1236. 0x0005fbd7,
  1237. 0x0009fbd7,
  1238. 0x000dfbd7,
  1239. 0x0011fbd7,
  1240. 0x0015fbd7,
  1241. 0x0019fbd7,
  1242. 0x001dfbd7,
  1243. 0x0001c3e7,
  1244. 0x0005c3e7,
  1245. 0x0009c3e7,
  1246. 0x000dc3e7,
  1247. 0x0011c3e7,
  1248. 0x0015c3e7,
  1249. 0x0019c3e7,
  1250. 0x001dc3e7,
  1251. 0x0001cbe7,
  1252. 0x0005cbe7,
  1253. 0x0009cbe7,
  1254. 0x000dcbe7,
  1255. 0x0011cbe7,
  1256. 0x0015cbe7,
  1257. 0x0019cbe7,
  1258. 0x001dcbe7,
  1259. 0x0001d3e7,
  1260. 0x0005d3e7,
  1261. 0x0009d3e7,
  1262. 0x000dd3e7,
  1263. 0x0011d3e7,
  1264. 0x0015d3e7,
  1265. 0x0019d3e7,
  1266. 0x001dd3e7,
  1267. 0x0001dbe7,
  1268. 0x0005dbe7,
  1269. 0x0009dbe7,
  1270. 0x000ddbe7,
  1271. 0x0011dbe7,
  1272. 0x0015dbe7,
  1273. 0x0019dbe7,
  1274. 0x001ddbe7,
  1275. 0x0001e3e7,
  1276. 0x0005e3e7,
  1277. 0x0009e3e7,
  1278. 0x000de3e7,
  1279. 0x0011e3e7,
  1280. 0x0015e3e7,
  1281. 0x0019e3e7,
  1282. 0x001de3e7,
  1283. 0x0001ebe7,
  1284. 0x0005ebe7,
  1285. 0x0009ebe7,
  1286. 0x000debe7,
  1287. 0x0011ebe7,
  1288. 0x0015ebe7,
  1289. 0x0019ebe7,
  1290. 0x001debe7,
  1291. 0x0001f3e7,
  1292. 0x0005f3e7,
  1293. 0x0009f3e7,
  1294. 0x000df3e7,
  1295. 0x0011f3e7,
  1296. 0x0015f3e7,
  1297. 0x0019f3e7,
  1298. 0x001df3e7,
  1299. 0x0001fbe7,
  1300. 0x0005fbe7,
  1301. 0x0009fbe7,
  1302. 0x000dfbe7,
  1303. 0x0011fbe7,
  1304. 0x0015fbe7,
  1305. 0x0019fbe7,
  1306. 0x001dfbe7,
  1307. 0x0001c3f7,
  1308. 0x0005c3f7,
  1309. 0x0009c3f7,
  1310. 0x000dc3f7,
  1311. 0x0011c3f7,
  1312. 0x0015c3f7,
  1313. 0x0019c3f7,
  1314. 0x001dc3f7,
  1315. 0x0001cbf7,
  1316. 0x0005cbf7,
  1317. 0x0009cbf7,
  1318. 0x000dcbf7,
  1319. 0x0011cbf7,
  1320. 0x0015cbf7,
  1321. 0x0019cbf7,
  1322. 0x001dcbf7,
  1323. 0x0001d3f7,
  1324. 0x0005d3f7,
  1325. 0x0009d3f7,
  1326. 0x000dd3f7,
  1327. 0x0011d3f7,
  1328. 0x0015d3f7,
  1329. 0x0019d3f7,
  1330. 0x001dd3f7,
  1331. 0x0001dbf7,
  1332. 0x0005dbf7,
  1333. 0x0009dbf7,
  1334. 0x000ddbf7,
  1335. 0x0011dbf7,
  1336. 0x0015dbf7,
  1337. 0x0019dbf7,
  1338. 0x001ddbf7,
  1339. 0x0001e3f7,
  1340. 0x0005e3f7,
  1341. 0x0009e3f7,
  1342. 0x000de3f7,
  1343. 0x0011e3f7,
  1344. 0x0015e3f7,
  1345. 0x0019e3f7,
  1346. 0x001de3f7,
  1347. 0x0001ebf7,
  1348. 0x0005ebf7,
  1349. 0x0009ebf7,
  1350. 0x000debf7,
  1351. 0x0011ebf7,
  1352. 0x0015ebf7,
  1353. 0x0019ebf7,
  1354. 0x001debf7,
  1355. 0x0001f3f7,
  1356. 0x0005f3f7,
  1357. 0x0009f3f7,
  1358. 0x000df3f7,
  1359. 0x0011f3f7,
  1360. 0x0015f3f7,
  1361. 0x0019f3f7,
  1362. 0x001df3f7,
  1363. 0x0001fbf7,
  1364. 0x0005fbf7,
  1365. 0x0009fbf7,
  1366. 0x000dfbf7,
  1367. 0x0011fbf7,
  1368. 0x0015fbf7,
  1369. 0x0019fbf7,
  1370. 0x001dfbf7,
  1371. 0x00e1c387,
  1372. 0x02e1c387,
  1373. 0x04e1c387,
  1374. 0x06e1c387,
  1375. 0x08e1c387,
  1376. 0x0ae1c387,
  1377. 0x0ce1c387,
  1378. 0x0ee1c387,
  1379. 0x00e5c387,
  1380. 0x02e5c387,
  1381. 0x04e5c387,
  1382. 0x06e5c387,
  1383. 0x08e5c387,
  1384. 0x0ae5c387,
  1385. 0x0ce5c387,
  1386. 0x0ee5c387,
  1387. 0x00e9c387,
  1388. 0x02e9c387,
  1389. 0x04e9c387,
  1390. 0x06e9c387,
  1391. 0x08e9c387,
  1392. 0x0ae9c387,
  1393. 0x0ce9c387,
  1394. 0x0ee9c387,
  1395. 0x00edc387,
  1396. 0x02edc387,
  1397. 0x04edc387,
  1398. 0x06edc387,
  1399. 0x08edc387,
  1400. 0x0aedc387,
  1401. 0x0cedc387,
  1402. 0x0eedc387,
  1403. 0x00f1c387,
  1404. 0x02f1c387,
  1405. 0x04f1c387,
  1406. 0x06f1c387,
  1407. 0x08f1c387,
  1408. 0x0af1c387,
  1409. 0x0cf1c387,
  1410. 0x0ef1c387,
  1411. 0x00f5c387,
  1412. 0x02f5c387,
  1413. 0x04f5c387,
  1414. 0x06f5c387,
  1415. 0x08f5c387,
  1416. 0x0af5c387,
  1417. 0x0cf5c387,
  1418. 0x0ef5c387,
  1419. 0x00f9c387,
  1420. 0x02f9c387,
  1421. 0x04f9c387,
  1422. 0x06f9c387,
  1423. 0x08f9c387,
  1424. 0x0af9c387,
  1425. 0x0cf9c387,
  1426. 0x0ef9c387,
  1427. 0x00fdc387,
  1428. 0x02fdc387,
  1429. 0x04fdc387,
  1430. 0x06fdc387,
  1431. 0x08fdc387,
  1432. 0x0afdc387,
  1433. 0x0cfdc387,
  1434. 0x0efdc387,
  1435. 0x00e1cb87,
  1436. 0x02e1cb87,
  1437. 0x04e1cb87,
  1438. 0x06e1cb87,
  1439. 0x08e1cb87,
  1440. 0x0ae1cb87,
  1441. 0x0ce1cb87,
  1442. 0x0ee1cb87,
  1443. 0x00e5cb87,
  1444. 0x02e5cb87,
  1445. 0x04e5cb87,
  1446. 0x06e5cb87,
  1447. 0x08e5cb87,
  1448. 0x0ae5cb87,
  1449. 0x0ce5cb87,
  1450. 0x0ee5cb87,
  1451. 0x00e9cb87,
  1452. 0x02e9cb87,
  1453. 0x04e9cb87,
  1454. 0x06e9cb87,
  1455. 0x08e9cb87,
  1456. 0x0ae9cb87,
  1457. 0x0ce9cb87,
  1458. 0x0ee9cb87,
  1459. 0x00edcb87,
  1460. 0x02edcb87,
  1461. 0x04edcb87,
  1462. 0x06edcb87,
  1463. 0x08edcb87,
  1464. 0x0aedcb87,
  1465. 0x0cedcb87,
  1466. 0x0eedcb87,
  1467. 0x00f1cb87,
  1468. 0x02f1cb87,
  1469. 0x04f1cb87,
  1470. 0x06f1cb87,
  1471. 0x08f1cb87,
  1472. 0x0af1cb87,
  1473. 0x0cf1cb87,
  1474. 0x0ef1cb87,
  1475. 0x00f5cb87,
  1476. 0x02f5cb87,
  1477. 0x04f5cb87,
  1478. 0x06f5cb87,
  1479. 0x08f5cb87,
  1480. 0x0af5cb87,
  1481. 0x0cf5cb87,
  1482. 0x0ef5cb87,
  1483. 0x00f9cb87,
  1484. 0x02f9cb87,
  1485. 0x04f9cb87,
  1486. 0x06f9cb87,
  1487. 0x08f9cb87,
  1488. }
  1489. var kZeroRepsDepth = [numCommandSymbols]uint32{
  1490. 0,
  1491. 4,
  1492. 8,
  1493. 7,
  1494. 7,
  1495. 7,
  1496. 7,
  1497. 7,
  1498. 7,
  1499. 7,
  1500. 7,
  1501. 11,
  1502. 14,
  1503. 14,
  1504. 14,
  1505. 14,
  1506. 14,
  1507. 14,
  1508. 14,
  1509. 14,
  1510. 14,
  1511. 14,
  1512. 14,
  1513. 14,
  1514. 14,
  1515. 14,
  1516. 14,
  1517. 14,
  1518. 14,
  1519. 14,
  1520. 14,
  1521. 14,
  1522. 14,
  1523. 14,
  1524. 14,
  1525. 14,
  1526. 14,
  1527. 14,
  1528. 14,
  1529. 14,
  1530. 14,
  1531. 14,
  1532. 14,
  1533. 14,
  1534. 14,
  1535. 14,
  1536. 14,
  1537. 14,
  1538. 14,
  1539. 14,
  1540. 14,
  1541. 14,
  1542. 14,
  1543. 14,
  1544. 14,
  1545. 14,
  1546. 14,
  1547. 14,
  1548. 14,
  1549. 14,
  1550. 14,
  1551. 14,
  1552. 14,
  1553. 14,
  1554. 14,
  1555. 14,
  1556. 14,
  1557. 14,
  1558. 14,
  1559. 14,
  1560. 14,
  1561. 14,
  1562. 14,
  1563. 14,
  1564. 14,
  1565. 21,
  1566. 21,
  1567. 21,
  1568. 21,
  1569. 21,
  1570. 21,
  1571. 21,
  1572. 21,
  1573. 21,
  1574. 21,
  1575. 21,
  1576. 21,
  1577. 21,
  1578. 21,
  1579. 21,
  1580. 21,
  1581. 21,
  1582. 21,
  1583. 21,
  1584. 21,
  1585. 21,
  1586. 21,
  1587. 21,
  1588. 21,
  1589. 21,
  1590. 21,
  1591. 21,
  1592. 21,
  1593. 21,
  1594. 21,
  1595. 21,
  1596. 21,
  1597. 21,
  1598. 21,
  1599. 21,
  1600. 21,
  1601. 21,
  1602. 21,
  1603. 21,
  1604. 21,
  1605. 21,
  1606. 21,
  1607. 21,
  1608. 21,
  1609. 21,
  1610. 21,
  1611. 21,
  1612. 21,
  1613. 21,
  1614. 21,
  1615. 21,
  1616. 21,
  1617. 21,
  1618. 21,
  1619. 21,
  1620. 21,
  1621. 21,
  1622. 21,
  1623. 21,
  1624. 21,
  1625. 21,
  1626. 21,
  1627. 21,
  1628. 21,
  1629. 21,
  1630. 21,
  1631. 21,
  1632. 21,
  1633. 21,
  1634. 21,
  1635. 21,
  1636. 21,
  1637. 21,
  1638. 21,
  1639. 21,
  1640. 21,
  1641. 21,
  1642. 21,
  1643. 21,
  1644. 21,
  1645. 21,
  1646. 21,
  1647. 21,
  1648. 21,
  1649. 21,
  1650. 21,
  1651. 21,
  1652. 21,
  1653. 21,
  1654. 21,
  1655. 21,
  1656. 21,
  1657. 21,
  1658. 21,
  1659. 21,
  1660. 21,
  1661. 21,
  1662. 21,
  1663. 21,
  1664. 21,
  1665. 21,
  1666. 21,
  1667. 21,
  1668. 21,
  1669. 21,
  1670. 21,
  1671. 21,
  1672. 21,
  1673. 21,
  1674. 21,
  1675. 21,
  1676. 21,
  1677. 21,
  1678. 21,
  1679. 21,
  1680. 21,
  1681. 21,
  1682. 21,
  1683. 21,
  1684. 21,
  1685. 21,
  1686. 21,
  1687. 21,
  1688. 21,
  1689. 21,
  1690. 21,
  1691. 21,
  1692. 21,
  1693. 21,
  1694. 21,
  1695. 21,
  1696. 21,
  1697. 21,
  1698. 21,
  1699. 21,
  1700. 21,
  1701. 21,
  1702. 21,
  1703. 21,
  1704. 21,
  1705. 21,
  1706. 21,
  1707. 21,
  1708. 21,
  1709. 21,
  1710. 21,
  1711. 21,
  1712. 21,
  1713. 21,
  1714. 21,
  1715. 21,
  1716. 21,
  1717. 21,
  1718. 21,
  1719. 21,
  1720. 21,
  1721. 21,
  1722. 21,
  1723. 21,
  1724. 21,
  1725. 21,
  1726. 21,
  1727. 21,
  1728. 21,
  1729. 21,
  1730. 21,
  1731. 21,
  1732. 21,
  1733. 21,
  1734. 21,
  1735. 21,
  1736. 21,
  1737. 21,
  1738. 21,
  1739. 21,
  1740. 21,
  1741. 21,
  1742. 21,
  1743. 21,
  1744. 21,
  1745. 21,
  1746. 21,
  1747. 21,
  1748. 21,
  1749. 21,
  1750. 21,
  1751. 21,
  1752. 21,
  1753. 21,
  1754. 21,
  1755. 21,
  1756. 21,
  1757. 21,
  1758. 21,
  1759. 21,
  1760. 21,
  1761. 21,
  1762. 21,
  1763. 21,
  1764. 21,
  1765. 21,
  1766. 21,
  1767. 21,
  1768. 21,
  1769. 21,
  1770. 21,
  1771. 21,
  1772. 21,
  1773. 21,
  1774. 21,
  1775. 21,
  1776. 21,
  1777. 21,
  1778. 21,
  1779. 21,
  1780. 21,
  1781. 21,
  1782. 21,
  1783. 21,
  1784. 21,
  1785. 21,
  1786. 21,
  1787. 21,
  1788. 21,
  1789. 21,
  1790. 21,
  1791. 21,
  1792. 21,
  1793. 21,
  1794. 21,
  1795. 21,
  1796. 21,
  1797. 21,
  1798. 21,
  1799. 21,
  1800. 21,
  1801. 21,
  1802. 21,
  1803. 21,
  1804. 21,
  1805. 21,
  1806. 21,
  1807. 21,
  1808. 21,
  1809. 21,
  1810. 21,
  1811. 21,
  1812. 21,
  1813. 21,
  1814. 21,
  1815. 21,
  1816. 21,
  1817. 21,
  1818. 21,
  1819. 21,
  1820. 21,
  1821. 21,
  1822. 21,
  1823. 21,
  1824. 21,
  1825. 21,
  1826. 21,
  1827. 21,
  1828. 21,
  1829. 21,
  1830. 21,
  1831. 21,
  1832. 21,
  1833. 21,
  1834. 21,
  1835. 21,
  1836. 21,
  1837. 21,
  1838. 21,
  1839. 21,
  1840. 21,
  1841. 21,
  1842. 21,
  1843. 21,
  1844. 21,
  1845. 21,
  1846. 21,
  1847. 21,
  1848. 21,
  1849. 21,
  1850. 21,
  1851. 21,
  1852. 21,
  1853. 21,
  1854. 21,
  1855. 21,
  1856. 21,
  1857. 21,
  1858. 21,
  1859. 21,
  1860. 21,
  1861. 21,
  1862. 21,
  1863. 21,
  1864. 21,
  1865. 21,
  1866. 21,
  1867. 21,
  1868. 21,
  1869. 21,
  1870. 21,
  1871. 21,
  1872. 21,
  1873. 21,
  1874. 21,
  1875. 21,
  1876. 21,
  1877. 21,
  1878. 21,
  1879. 21,
  1880. 21,
  1881. 21,
  1882. 21,
  1883. 21,
  1884. 21,
  1885. 21,
  1886. 21,
  1887. 21,
  1888. 21,
  1889. 21,
  1890. 21,
  1891. 21,
  1892. 21,
  1893. 21,
  1894. 21,
  1895. 21,
  1896. 21,
  1897. 21,
  1898. 21,
  1899. 21,
  1900. 21,
  1901. 21,
  1902. 21,
  1903. 21,
  1904. 21,
  1905. 21,
  1906. 21,
  1907. 21,
  1908. 21,
  1909. 21,
  1910. 21,
  1911. 21,
  1912. 21,
  1913. 21,
  1914. 21,
  1915. 21,
  1916. 21,
  1917. 21,
  1918. 21,
  1919. 21,
  1920. 21,
  1921. 21,
  1922. 21,
  1923. 21,
  1924. 21,
  1925. 21,
  1926. 21,
  1927. 21,
  1928. 21,
  1929. 21,
  1930. 21,
  1931. 21,
  1932. 21,
  1933. 21,
  1934. 21,
  1935. 21,
  1936. 21,
  1937. 21,
  1938. 21,
  1939. 21,
  1940. 21,
  1941. 21,
  1942. 21,
  1943. 21,
  1944. 21,
  1945. 21,
  1946. 21,
  1947. 21,
  1948. 21,
  1949. 21,
  1950. 21,
  1951. 21,
  1952. 21,
  1953. 21,
  1954. 21,
  1955. 21,
  1956. 21,
  1957. 21,
  1958. 21,
  1959. 21,
  1960. 21,
  1961. 21,
  1962. 21,
  1963. 21,
  1964. 21,
  1965. 21,
  1966. 21,
  1967. 21,
  1968. 21,
  1969. 21,
  1970. 21,
  1971. 21,
  1972. 21,
  1973. 21,
  1974. 21,
  1975. 21,
  1976. 21,
  1977. 21,
  1978. 21,
  1979. 21,
  1980. 21,
  1981. 21,
  1982. 21,
  1983. 21,
  1984. 21,
  1985. 21,
  1986. 21,
  1987. 21,
  1988. 21,
  1989. 21,
  1990. 21,
  1991. 21,
  1992. 21,
  1993. 21,
  1994. 21,
  1995. 21,
  1996. 21,
  1997. 21,
  1998. 21,
  1999. 21,
  2000. 21,
  2001. 21,
  2002. 21,
  2003. 21,
  2004. 21,
  2005. 21,
  2006. 21,
  2007. 21,
  2008. 21,
  2009. 21,
  2010. 21,
  2011. 21,
  2012. 21,
  2013. 21,
  2014. 21,
  2015. 21,
  2016. 21,
  2017. 21,
  2018. 21,
  2019. 21,
  2020. 21,
  2021. 21,
  2022. 21,
  2023. 21,
  2024. 21,
  2025. 21,
  2026. 21,
  2027. 21,
  2028. 21,
  2029. 21,
  2030. 21,
  2031. 21,
  2032. 21,
  2033. 21,
  2034. 21,
  2035. 21,
  2036. 21,
  2037. 21,
  2038. 21,
  2039. 21,
  2040. 21,
  2041. 21,
  2042. 21,
  2043. 21,
  2044. 21,
  2045. 21,
  2046. 21,
  2047. 21,
  2048. 21,
  2049. 21,
  2050. 21,
  2051. 21,
  2052. 21,
  2053. 21,
  2054. 21,
  2055. 21,
  2056. 21,
  2057. 21,
  2058. 21,
  2059. 21,
  2060. 21,
  2061. 21,
  2062. 21,
  2063. 21,
  2064. 21,
  2065. 21,
  2066. 21,
  2067. 21,
  2068. 21,
  2069. 21,
  2070. 21,
  2071. 21,
  2072. 21,
  2073. 21,
  2074. 21,
  2075. 21,
  2076. 21,
  2077. 28,
  2078. 28,
  2079. 28,
  2080. 28,
  2081. 28,
  2082. 28,
  2083. 28,
  2084. 28,
  2085. 28,
  2086. 28,
  2087. 28,
  2088. 28,
  2089. 28,
  2090. 28,
  2091. 28,
  2092. 28,
  2093. 28,
  2094. 28,
  2095. 28,
  2096. 28,
  2097. 28,
  2098. 28,
  2099. 28,
  2100. 28,
  2101. 28,
  2102. 28,
  2103. 28,
  2104. 28,
  2105. 28,
  2106. 28,
  2107. 28,
  2108. 28,
  2109. 28,
  2110. 28,
  2111. 28,
  2112. 28,
  2113. 28,
  2114. 28,
  2115. 28,
  2116. 28,
  2117. 28,
  2118. 28,
  2119. 28,
  2120. 28,
  2121. 28,
  2122. 28,
  2123. 28,
  2124. 28,
  2125. 28,
  2126. 28,
  2127. 28,
  2128. 28,
  2129. 28,
  2130. 28,
  2131. 28,
  2132. 28,
  2133. 28,
  2134. 28,
  2135. 28,
  2136. 28,
  2137. 28,
  2138. 28,
  2139. 28,
  2140. 28,
  2141. 28,
  2142. 28,
  2143. 28,
  2144. 28,
  2145. 28,
  2146. 28,
  2147. 28,
  2148. 28,
  2149. 28,
  2150. 28,
  2151. 28,
  2152. 28,
  2153. 28,
  2154. 28,
  2155. 28,
  2156. 28,
  2157. 28,
  2158. 28,
  2159. 28,
  2160. 28,
  2161. 28,
  2162. 28,
  2163. 28,
  2164. 28,
  2165. 28,
  2166. 28,
  2167. 28,
  2168. 28,
  2169. 28,
  2170. 28,
  2171. 28,
  2172. 28,
  2173. 28,
  2174. 28,
  2175. 28,
  2176. 28,
  2177. 28,
  2178. 28,
  2179. 28,
  2180. 28,
  2181. 28,
  2182. 28,
  2183. 28,
  2184. 28,
  2185. 28,
  2186. 28,
  2187. 28,
  2188. 28,
  2189. 28,
  2190. 28,
  2191. 28,
  2192. 28,
  2193. 28,
  2194. }
  2195. var kNonZeroRepsBits = [numCommandSymbols]uint64{
  2196. 0x0000000b,
  2197. 0x0000001b,
  2198. 0x0000002b,
  2199. 0x0000003b,
  2200. 0x000002cb,
  2201. 0x000006cb,
  2202. 0x00000acb,
  2203. 0x00000ecb,
  2204. 0x000002db,
  2205. 0x000006db,
  2206. 0x00000adb,
  2207. 0x00000edb,
  2208. 0x000002eb,
  2209. 0x000006eb,
  2210. 0x00000aeb,
  2211. 0x00000eeb,
  2212. 0x000002fb,
  2213. 0x000006fb,
  2214. 0x00000afb,
  2215. 0x00000efb,
  2216. 0x0000b2cb,
  2217. 0x0001b2cb,
  2218. 0x0002b2cb,
  2219. 0x0003b2cb,
  2220. 0x0000b6cb,
  2221. 0x0001b6cb,
  2222. 0x0002b6cb,
  2223. 0x0003b6cb,
  2224. 0x0000bacb,
  2225. 0x0001bacb,
  2226. 0x0002bacb,
  2227. 0x0003bacb,
  2228. 0x0000becb,
  2229. 0x0001becb,
  2230. 0x0002becb,
  2231. 0x0003becb,
  2232. 0x0000b2db,
  2233. 0x0001b2db,
  2234. 0x0002b2db,
  2235. 0x0003b2db,
  2236. 0x0000b6db,
  2237. 0x0001b6db,
  2238. 0x0002b6db,
  2239. 0x0003b6db,
  2240. 0x0000badb,
  2241. 0x0001badb,
  2242. 0x0002badb,
  2243. 0x0003badb,
  2244. 0x0000bedb,
  2245. 0x0001bedb,
  2246. 0x0002bedb,
  2247. 0x0003bedb,
  2248. 0x0000b2eb,
  2249. 0x0001b2eb,
  2250. 0x0002b2eb,
  2251. 0x0003b2eb,
  2252. 0x0000b6eb,
  2253. 0x0001b6eb,
  2254. 0x0002b6eb,
  2255. 0x0003b6eb,
  2256. 0x0000baeb,
  2257. 0x0001baeb,
  2258. 0x0002baeb,
  2259. 0x0003baeb,
  2260. 0x0000beeb,
  2261. 0x0001beeb,
  2262. 0x0002beeb,
  2263. 0x0003beeb,
  2264. 0x0000b2fb,
  2265. 0x0001b2fb,
  2266. 0x0002b2fb,
  2267. 0x0003b2fb,
  2268. 0x0000b6fb,
  2269. 0x0001b6fb,
  2270. 0x0002b6fb,
  2271. 0x0003b6fb,
  2272. 0x0000bafb,
  2273. 0x0001bafb,
  2274. 0x0002bafb,
  2275. 0x0003bafb,
  2276. 0x0000befb,
  2277. 0x0001befb,
  2278. 0x0002befb,
  2279. 0x0003befb,
  2280. 0x002cb2cb,
  2281. 0x006cb2cb,
  2282. 0x00acb2cb,
  2283. 0x00ecb2cb,
  2284. 0x002db2cb,
  2285. 0x006db2cb,
  2286. 0x00adb2cb,
  2287. 0x00edb2cb,
  2288. 0x002eb2cb,
  2289. 0x006eb2cb,
  2290. 0x00aeb2cb,
  2291. 0x00eeb2cb,
  2292. 0x002fb2cb,
  2293. 0x006fb2cb,
  2294. 0x00afb2cb,
  2295. 0x00efb2cb,
  2296. 0x002cb6cb,
  2297. 0x006cb6cb,
  2298. 0x00acb6cb,
  2299. 0x00ecb6cb,
  2300. 0x002db6cb,
  2301. 0x006db6cb,
  2302. 0x00adb6cb,
  2303. 0x00edb6cb,
  2304. 0x002eb6cb,
  2305. 0x006eb6cb,
  2306. 0x00aeb6cb,
  2307. 0x00eeb6cb,
  2308. 0x002fb6cb,
  2309. 0x006fb6cb,
  2310. 0x00afb6cb,
  2311. 0x00efb6cb,
  2312. 0x002cbacb,
  2313. 0x006cbacb,
  2314. 0x00acbacb,
  2315. 0x00ecbacb,
  2316. 0x002dbacb,
  2317. 0x006dbacb,
  2318. 0x00adbacb,
  2319. 0x00edbacb,
  2320. 0x002ebacb,
  2321. 0x006ebacb,
  2322. 0x00aebacb,
  2323. 0x00eebacb,
  2324. 0x002fbacb,
  2325. 0x006fbacb,
  2326. 0x00afbacb,
  2327. 0x00efbacb,
  2328. 0x002cbecb,
  2329. 0x006cbecb,
  2330. 0x00acbecb,
  2331. 0x00ecbecb,
  2332. 0x002dbecb,
  2333. 0x006dbecb,
  2334. 0x00adbecb,
  2335. 0x00edbecb,
  2336. 0x002ebecb,
  2337. 0x006ebecb,
  2338. 0x00aebecb,
  2339. 0x00eebecb,
  2340. 0x002fbecb,
  2341. 0x006fbecb,
  2342. 0x00afbecb,
  2343. 0x00efbecb,
  2344. 0x002cb2db,
  2345. 0x006cb2db,
  2346. 0x00acb2db,
  2347. 0x00ecb2db,
  2348. 0x002db2db,
  2349. 0x006db2db,
  2350. 0x00adb2db,
  2351. 0x00edb2db,
  2352. 0x002eb2db,
  2353. 0x006eb2db,
  2354. 0x00aeb2db,
  2355. 0x00eeb2db,
  2356. 0x002fb2db,
  2357. 0x006fb2db,
  2358. 0x00afb2db,
  2359. 0x00efb2db,
  2360. 0x002cb6db,
  2361. 0x006cb6db,
  2362. 0x00acb6db,
  2363. 0x00ecb6db,
  2364. 0x002db6db,
  2365. 0x006db6db,
  2366. 0x00adb6db,
  2367. 0x00edb6db,
  2368. 0x002eb6db,
  2369. 0x006eb6db,
  2370. 0x00aeb6db,
  2371. 0x00eeb6db,
  2372. 0x002fb6db,
  2373. 0x006fb6db,
  2374. 0x00afb6db,
  2375. 0x00efb6db,
  2376. 0x002cbadb,
  2377. 0x006cbadb,
  2378. 0x00acbadb,
  2379. 0x00ecbadb,
  2380. 0x002dbadb,
  2381. 0x006dbadb,
  2382. 0x00adbadb,
  2383. 0x00edbadb,
  2384. 0x002ebadb,
  2385. 0x006ebadb,
  2386. 0x00aebadb,
  2387. 0x00eebadb,
  2388. 0x002fbadb,
  2389. 0x006fbadb,
  2390. 0x00afbadb,
  2391. 0x00efbadb,
  2392. 0x002cbedb,
  2393. 0x006cbedb,
  2394. 0x00acbedb,
  2395. 0x00ecbedb,
  2396. 0x002dbedb,
  2397. 0x006dbedb,
  2398. 0x00adbedb,
  2399. 0x00edbedb,
  2400. 0x002ebedb,
  2401. 0x006ebedb,
  2402. 0x00aebedb,
  2403. 0x00eebedb,
  2404. 0x002fbedb,
  2405. 0x006fbedb,
  2406. 0x00afbedb,
  2407. 0x00efbedb,
  2408. 0x002cb2eb,
  2409. 0x006cb2eb,
  2410. 0x00acb2eb,
  2411. 0x00ecb2eb,
  2412. 0x002db2eb,
  2413. 0x006db2eb,
  2414. 0x00adb2eb,
  2415. 0x00edb2eb,
  2416. 0x002eb2eb,
  2417. 0x006eb2eb,
  2418. 0x00aeb2eb,
  2419. 0x00eeb2eb,
  2420. 0x002fb2eb,
  2421. 0x006fb2eb,
  2422. 0x00afb2eb,
  2423. 0x00efb2eb,
  2424. 0x002cb6eb,
  2425. 0x006cb6eb,
  2426. 0x00acb6eb,
  2427. 0x00ecb6eb,
  2428. 0x002db6eb,
  2429. 0x006db6eb,
  2430. 0x00adb6eb,
  2431. 0x00edb6eb,
  2432. 0x002eb6eb,
  2433. 0x006eb6eb,
  2434. 0x00aeb6eb,
  2435. 0x00eeb6eb,
  2436. 0x002fb6eb,
  2437. 0x006fb6eb,
  2438. 0x00afb6eb,
  2439. 0x00efb6eb,
  2440. 0x002cbaeb,
  2441. 0x006cbaeb,
  2442. 0x00acbaeb,
  2443. 0x00ecbaeb,
  2444. 0x002dbaeb,
  2445. 0x006dbaeb,
  2446. 0x00adbaeb,
  2447. 0x00edbaeb,
  2448. 0x002ebaeb,
  2449. 0x006ebaeb,
  2450. 0x00aebaeb,
  2451. 0x00eebaeb,
  2452. 0x002fbaeb,
  2453. 0x006fbaeb,
  2454. 0x00afbaeb,
  2455. 0x00efbaeb,
  2456. 0x002cbeeb,
  2457. 0x006cbeeb,
  2458. 0x00acbeeb,
  2459. 0x00ecbeeb,
  2460. 0x002dbeeb,
  2461. 0x006dbeeb,
  2462. 0x00adbeeb,
  2463. 0x00edbeeb,
  2464. 0x002ebeeb,
  2465. 0x006ebeeb,
  2466. 0x00aebeeb,
  2467. 0x00eebeeb,
  2468. 0x002fbeeb,
  2469. 0x006fbeeb,
  2470. 0x00afbeeb,
  2471. 0x00efbeeb,
  2472. 0x002cb2fb,
  2473. 0x006cb2fb,
  2474. 0x00acb2fb,
  2475. 0x00ecb2fb,
  2476. 0x002db2fb,
  2477. 0x006db2fb,
  2478. 0x00adb2fb,
  2479. 0x00edb2fb,
  2480. 0x002eb2fb,
  2481. 0x006eb2fb,
  2482. 0x00aeb2fb,
  2483. 0x00eeb2fb,
  2484. 0x002fb2fb,
  2485. 0x006fb2fb,
  2486. 0x00afb2fb,
  2487. 0x00efb2fb,
  2488. 0x002cb6fb,
  2489. 0x006cb6fb,
  2490. 0x00acb6fb,
  2491. 0x00ecb6fb,
  2492. 0x002db6fb,
  2493. 0x006db6fb,
  2494. 0x00adb6fb,
  2495. 0x00edb6fb,
  2496. 0x002eb6fb,
  2497. 0x006eb6fb,
  2498. 0x00aeb6fb,
  2499. 0x00eeb6fb,
  2500. 0x002fb6fb,
  2501. 0x006fb6fb,
  2502. 0x00afb6fb,
  2503. 0x00efb6fb,
  2504. 0x002cbafb,
  2505. 0x006cbafb,
  2506. 0x00acbafb,
  2507. 0x00ecbafb,
  2508. 0x002dbafb,
  2509. 0x006dbafb,
  2510. 0x00adbafb,
  2511. 0x00edbafb,
  2512. 0x002ebafb,
  2513. 0x006ebafb,
  2514. 0x00aebafb,
  2515. 0x00eebafb,
  2516. 0x002fbafb,
  2517. 0x006fbafb,
  2518. 0x00afbafb,
  2519. 0x00efbafb,
  2520. 0x002cbefb,
  2521. 0x006cbefb,
  2522. 0x00acbefb,
  2523. 0x00ecbefb,
  2524. 0x002dbefb,
  2525. 0x006dbefb,
  2526. 0x00adbefb,
  2527. 0x00edbefb,
  2528. 0x002ebefb,
  2529. 0x006ebefb,
  2530. 0x00aebefb,
  2531. 0x00eebefb,
  2532. 0x002fbefb,
  2533. 0x006fbefb,
  2534. 0x00afbefb,
  2535. 0x00efbefb,
  2536. 0x0b2cb2cb,
  2537. 0x1b2cb2cb,
  2538. 0x2b2cb2cb,
  2539. 0x3b2cb2cb,
  2540. 0x0b6cb2cb,
  2541. 0x1b6cb2cb,
  2542. 0x2b6cb2cb,
  2543. 0x3b6cb2cb,
  2544. 0x0bacb2cb,
  2545. 0x1bacb2cb,
  2546. 0x2bacb2cb,
  2547. 0x3bacb2cb,
  2548. 0x0becb2cb,
  2549. 0x1becb2cb,
  2550. 0x2becb2cb,
  2551. 0x3becb2cb,
  2552. 0x0b2db2cb,
  2553. 0x1b2db2cb,
  2554. 0x2b2db2cb,
  2555. 0x3b2db2cb,
  2556. 0x0b6db2cb,
  2557. 0x1b6db2cb,
  2558. 0x2b6db2cb,
  2559. 0x3b6db2cb,
  2560. 0x0badb2cb,
  2561. 0x1badb2cb,
  2562. 0x2badb2cb,
  2563. 0x3badb2cb,
  2564. 0x0bedb2cb,
  2565. 0x1bedb2cb,
  2566. 0x2bedb2cb,
  2567. 0x3bedb2cb,
  2568. 0x0b2eb2cb,
  2569. 0x1b2eb2cb,
  2570. 0x2b2eb2cb,
  2571. 0x3b2eb2cb,
  2572. 0x0b6eb2cb,
  2573. 0x1b6eb2cb,
  2574. 0x2b6eb2cb,
  2575. 0x3b6eb2cb,
  2576. 0x0baeb2cb,
  2577. 0x1baeb2cb,
  2578. 0x2baeb2cb,
  2579. 0x3baeb2cb,
  2580. 0x0beeb2cb,
  2581. 0x1beeb2cb,
  2582. 0x2beeb2cb,
  2583. 0x3beeb2cb,
  2584. 0x0b2fb2cb,
  2585. 0x1b2fb2cb,
  2586. 0x2b2fb2cb,
  2587. 0x3b2fb2cb,
  2588. 0x0b6fb2cb,
  2589. 0x1b6fb2cb,
  2590. 0x2b6fb2cb,
  2591. 0x3b6fb2cb,
  2592. 0x0bafb2cb,
  2593. 0x1bafb2cb,
  2594. 0x2bafb2cb,
  2595. 0x3bafb2cb,
  2596. 0x0befb2cb,
  2597. 0x1befb2cb,
  2598. 0x2befb2cb,
  2599. 0x3befb2cb,
  2600. 0x0b2cb6cb,
  2601. 0x1b2cb6cb,
  2602. 0x2b2cb6cb,
  2603. 0x3b2cb6cb,
  2604. 0x0b6cb6cb,
  2605. 0x1b6cb6cb,
  2606. 0x2b6cb6cb,
  2607. 0x3b6cb6cb,
  2608. 0x0bacb6cb,
  2609. 0x1bacb6cb,
  2610. 0x2bacb6cb,
  2611. 0x3bacb6cb,
  2612. 0x0becb6cb,
  2613. 0x1becb6cb,
  2614. 0x2becb6cb,
  2615. 0x3becb6cb,
  2616. 0x0b2db6cb,
  2617. 0x1b2db6cb,
  2618. 0x2b2db6cb,
  2619. 0x3b2db6cb,
  2620. 0x0b6db6cb,
  2621. 0x1b6db6cb,
  2622. 0x2b6db6cb,
  2623. 0x3b6db6cb,
  2624. 0x0badb6cb,
  2625. 0x1badb6cb,
  2626. 0x2badb6cb,
  2627. 0x3badb6cb,
  2628. 0x0bedb6cb,
  2629. 0x1bedb6cb,
  2630. 0x2bedb6cb,
  2631. 0x3bedb6cb,
  2632. 0x0b2eb6cb,
  2633. 0x1b2eb6cb,
  2634. 0x2b2eb6cb,
  2635. 0x3b2eb6cb,
  2636. 0x0b6eb6cb,
  2637. 0x1b6eb6cb,
  2638. 0x2b6eb6cb,
  2639. 0x3b6eb6cb,
  2640. 0x0baeb6cb,
  2641. 0x1baeb6cb,
  2642. 0x2baeb6cb,
  2643. 0x3baeb6cb,
  2644. 0x0beeb6cb,
  2645. 0x1beeb6cb,
  2646. 0x2beeb6cb,
  2647. 0x3beeb6cb,
  2648. 0x0b2fb6cb,
  2649. 0x1b2fb6cb,
  2650. 0x2b2fb6cb,
  2651. 0x3b2fb6cb,
  2652. 0x0b6fb6cb,
  2653. 0x1b6fb6cb,
  2654. 0x2b6fb6cb,
  2655. 0x3b6fb6cb,
  2656. 0x0bafb6cb,
  2657. 0x1bafb6cb,
  2658. 0x2bafb6cb,
  2659. 0x3bafb6cb,
  2660. 0x0befb6cb,
  2661. 0x1befb6cb,
  2662. 0x2befb6cb,
  2663. 0x3befb6cb,
  2664. 0x0b2cbacb,
  2665. 0x1b2cbacb,
  2666. 0x2b2cbacb,
  2667. 0x3b2cbacb,
  2668. 0x0b6cbacb,
  2669. 0x1b6cbacb,
  2670. 0x2b6cbacb,
  2671. 0x3b6cbacb,
  2672. 0x0bacbacb,
  2673. 0x1bacbacb,
  2674. 0x2bacbacb,
  2675. 0x3bacbacb,
  2676. 0x0becbacb,
  2677. 0x1becbacb,
  2678. 0x2becbacb,
  2679. 0x3becbacb,
  2680. 0x0b2dbacb,
  2681. 0x1b2dbacb,
  2682. 0x2b2dbacb,
  2683. 0x3b2dbacb,
  2684. 0x0b6dbacb,
  2685. 0x1b6dbacb,
  2686. 0x2b6dbacb,
  2687. 0x3b6dbacb,
  2688. 0x0badbacb,
  2689. 0x1badbacb,
  2690. 0x2badbacb,
  2691. 0x3badbacb,
  2692. 0x0bedbacb,
  2693. 0x1bedbacb,
  2694. 0x2bedbacb,
  2695. 0x3bedbacb,
  2696. 0x0b2ebacb,
  2697. 0x1b2ebacb,
  2698. 0x2b2ebacb,
  2699. 0x3b2ebacb,
  2700. 0x0b6ebacb,
  2701. 0x1b6ebacb,
  2702. 0x2b6ebacb,
  2703. 0x3b6ebacb,
  2704. 0x0baebacb,
  2705. 0x1baebacb,
  2706. 0x2baebacb,
  2707. 0x3baebacb,
  2708. 0x0beebacb,
  2709. 0x1beebacb,
  2710. 0x2beebacb,
  2711. 0x3beebacb,
  2712. 0x0b2fbacb,
  2713. 0x1b2fbacb,
  2714. 0x2b2fbacb,
  2715. 0x3b2fbacb,
  2716. 0x0b6fbacb,
  2717. 0x1b6fbacb,
  2718. 0x2b6fbacb,
  2719. 0x3b6fbacb,
  2720. 0x0bafbacb,
  2721. 0x1bafbacb,
  2722. 0x2bafbacb,
  2723. 0x3bafbacb,
  2724. 0x0befbacb,
  2725. 0x1befbacb,
  2726. 0x2befbacb,
  2727. 0x3befbacb,
  2728. 0x0b2cbecb,
  2729. 0x1b2cbecb,
  2730. 0x2b2cbecb,
  2731. 0x3b2cbecb,
  2732. 0x0b6cbecb,
  2733. 0x1b6cbecb,
  2734. 0x2b6cbecb,
  2735. 0x3b6cbecb,
  2736. 0x0bacbecb,
  2737. 0x1bacbecb,
  2738. 0x2bacbecb,
  2739. 0x3bacbecb,
  2740. 0x0becbecb,
  2741. 0x1becbecb,
  2742. 0x2becbecb,
  2743. 0x3becbecb,
  2744. 0x0b2dbecb,
  2745. 0x1b2dbecb,
  2746. 0x2b2dbecb,
  2747. 0x3b2dbecb,
  2748. 0x0b6dbecb,
  2749. 0x1b6dbecb,
  2750. 0x2b6dbecb,
  2751. 0x3b6dbecb,
  2752. 0x0badbecb,
  2753. 0x1badbecb,
  2754. 0x2badbecb,
  2755. 0x3badbecb,
  2756. 0x0bedbecb,
  2757. 0x1bedbecb,
  2758. 0x2bedbecb,
  2759. 0x3bedbecb,
  2760. 0x0b2ebecb,
  2761. 0x1b2ebecb,
  2762. 0x2b2ebecb,
  2763. 0x3b2ebecb,
  2764. 0x0b6ebecb,
  2765. 0x1b6ebecb,
  2766. 0x2b6ebecb,
  2767. 0x3b6ebecb,
  2768. 0x0baebecb,
  2769. 0x1baebecb,
  2770. 0x2baebecb,
  2771. 0x3baebecb,
  2772. 0x0beebecb,
  2773. 0x1beebecb,
  2774. 0x2beebecb,
  2775. 0x3beebecb,
  2776. 0x0b2fbecb,
  2777. 0x1b2fbecb,
  2778. 0x2b2fbecb,
  2779. 0x3b2fbecb,
  2780. 0x0b6fbecb,
  2781. 0x1b6fbecb,
  2782. 0x2b6fbecb,
  2783. 0x3b6fbecb,
  2784. 0x0bafbecb,
  2785. 0x1bafbecb,
  2786. 0x2bafbecb,
  2787. 0x3bafbecb,
  2788. 0x0befbecb,
  2789. 0x1befbecb,
  2790. 0x2befbecb,
  2791. 0x3befbecb,
  2792. 0x0b2cb2db,
  2793. 0x1b2cb2db,
  2794. 0x2b2cb2db,
  2795. 0x3b2cb2db,
  2796. 0x0b6cb2db,
  2797. 0x1b6cb2db,
  2798. 0x2b6cb2db,
  2799. 0x3b6cb2db,
  2800. 0x0bacb2db,
  2801. 0x1bacb2db,
  2802. 0x2bacb2db,
  2803. 0x3bacb2db,
  2804. 0x0becb2db,
  2805. 0x1becb2db,
  2806. 0x2becb2db,
  2807. 0x3becb2db,
  2808. 0x0b2db2db,
  2809. 0x1b2db2db,
  2810. 0x2b2db2db,
  2811. 0x3b2db2db,
  2812. 0x0b6db2db,
  2813. 0x1b6db2db,
  2814. 0x2b6db2db,
  2815. 0x3b6db2db,
  2816. 0x0badb2db,
  2817. 0x1badb2db,
  2818. 0x2badb2db,
  2819. 0x3badb2db,
  2820. 0x0bedb2db,
  2821. 0x1bedb2db,
  2822. 0x2bedb2db,
  2823. 0x3bedb2db,
  2824. 0x0b2eb2db,
  2825. 0x1b2eb2db,
  2826. 0x2b2eb2db,
  2827. 0x3b2eb2db,
  2828. 0x0b6eb2db,
  2829. 0x1b6eb2db,
  2830. 0x2b6eb2db,
  2831. 0x3b6eb2db,
  2832. 0x0baeb2db,
  2833. 0x1baeb2db,
  2834. 0x2baeb2db,
  2835. 0x3baeb2db,
  2836. 0x0beeb2db,
  2837. 0x1beeb2db,
  2838. 0x2beeb2db,
  2839. 0x3beeb2db,
  2840. 0x0b2fb2db,
  2841. 0x1b2fb2db,
  2842. 0x2b2fb2db,
  2843. 0x3b2fb2db,
  2844. 0x0b6fb2db,
  2845. 0x1b6fb2db,
  2846. 0x2b6fb2db,
  2847. 0x3b6fb2db,
  2848. 0x0bafb2db,
  2849. 0x1bafb2db,
  2850. 0x2bafb2db,
  2851. 0x3bafb2db,
  2852. 0x0befb2db,
  2853. 0x1befb2db,
  2854. 0x2befb2db,
  2855. 0x3befb2db,
  2856. 0x0b2cb6db,
  2857. 0x1b2cb6db,
  2858. 0x2b2cb6db,
  2859. 0x3b2cb6db,
  2860. 0x0b6cb6db,
  2861. 0x1b6cb6db,
  2862. 0x2b6cb6db,
  2863. 0x3b6cb6db,
  2864. 0x0bacb6db,
  2865. 0x1bacb6db,
  2866. 0x2bacb6db,
  2867. 0x3bacb6db,
  2868. 0x0becb6db,
  2869. 0x1becb6db,
  2870. 0x2becb6db,
  2871. 0x3becb6db,
  2872. 0x0b2db6db,
  2873. 0x1b2db6db,
  2874. 0x2b2db6db,
  2875. 0x3b2db6db,
  2876. 0x0b6db6db,
  2877. 0x1b6db6db,
  2878. 0x2b6db6db,
  2879. 0x3b6db6db,
  2880. 0x0badb6db,
  2881. 0x1badb6db,
  2882. 0x2badb6db,
  2883. 0x3badb6db,
  2884. 0x0bedb6db,
  2885. 0x1bedb6db,
  2886. 0x2bedb6db,
  2887. 0x3bedb6db,
  2888. 0x0b2eb6db,
  2889. 0x1b2eb6db,
  2890. 0x2b2eb6db,
  2891. 0x3b2eb6db,
  2892. 0x0b6eb6db,
  2893. 0x1b6eb6db,
  2894. 0x2b6eb6db,
  2895. 0x3b6eb6db,
  2896. 0x0baeb6db,
  2897. 0x1baeb6db,
  2898. 0x2baeb6db,
  2899. 0x3baeb6db,
  2900. }
  2901. var kNonZeroRepsDepth = [numCommandSymbols]uint32{
  2902. 6,
  2903. 6,
  2904. 6,
  2905. 6,
  2906. 12,
  2907. 12,
  2908. 12,
  2909. 12,
  2910. 12,
  2911. 12,
  2912. 12,
  2913. 12,
  2914. 12,
  2915. 12,
  2916. 12,
  2917. 12,
  2918. 12,
  2919. 12,
  2920. 12,
  2921. 12,
  2922. 18,
  2923. 18,
  2924. 18,
  2925. 18,
  2926. 18,
  2927. 18,
  2928. 18,
  2929. 18,
  2930. 18,
  2931. 18,
  2932. 18,
  2933. 18,
  2934. 18,
  2935. 18,
  2936. 18,
  2937. 18,
  2938. 18,
  2939. 18,
  2940. 18,
  2941. 18,
  2942. 18,
  2943. 18,
  2944. 18,
  2945. 18,
  2946. 18,
  2947. 18,
  2948. 18,
  2949. 18,
  2950. 18,
  2951. 18,
  2952. 18,
  2953. 18,
  2954. 18,
  2955. 18,
  2956. 18,
  2957. 18,
  2958. 18,
  2959. 18,
  2960. 18,
  2961. 18,
  2962. 18,
  2963. 18,
  2964. 18,
  2965. 18,
  2966. 18,
  2967. 18,
  2968. 18,
  2969. 18,
  2970. 18,
  2971. 18,
  2972. 18,
  2973. 18,
  2974. 18,
  2975. 18,
  2976. 18,
  2977. 18,
  2978. 18,
  2979. 18,
  2980. 18,
  2981. 18,
  2982. 18,
  2983. 18,
  2984. 18,
  2985. 18,
  2986. 24,
  2987. 24,
  2988. 24,
  2989. 24,
  2990. 24,
  2991. 24,
  2992. 24,
  2993. 24,
  2994. 24,
  2995. 24,
  2996. 24,
  2997. 24,
  2998. 24,
  2999. 24,
  3000. 24,
  3001. 24,
  3002. 24,
  3003. 24,
  3004. 24,
  3005. 24,
  3006. 24,
  3007. 24,
  3008. 24,
  3009. 24,
  3010. 24,
  3011. 24,
  3012. 24,
  3013. 24,
  3014. 24,
  3015. 24,
  3016. 24,
  3017. 24,
  3018. 24,
  3019. 24,
  3020. 24,
  3021. 24,
  3022. 24,
  3023. 24,
  3024. 24,
  3025. 24,
  3026. 24,
  3027. 24,
  3028. 24,
  3029. 24,
  3030. 24,
  3031. 24,
  3032. 24,
  3033. 24,
  3034. 24,
  3035. 24,
  3036. 24,
  3037. 24,
  3038. 24,
  3039. 24,
  3040. 24,
  3041. 24,
  3042. 24,
  3043. 24,
  3044. 24,
  3045. 24,
  3046. 24,
  3047. 24,
  3048. 24,
  3049. 24,
  3050. 24,
  3051. 24,
  3052. 24,
  3053. 24,
  3054. 24,
  3055. 24,
  3056. 24,
  3057. 24,
  3058. 24,
  3059. 24,
  3060. 24,
  3061. 24,
  3062. 24,
  3063. 24,
  3064. 24,
  3065. 24,
  3066. 24,
  3067. 24,
  3068. 24,
  3069. 24,
  3070. 24,
  3071. 24,
  3072. 24,
  3073. 24,
  3074. 24,
  3075. 24,
  3076. 24,
  3077. 24,
  3078. 24,
  3079. 24,
  3080. 24,
  3081. 24,
  3082. 24,
  3083. 24,
  3084. 24,
  3085. 24,
  3086. 24,
  3087. 24,
  3088. 24,
  3089. 24,
  3090. 24,
  3091. 24,
  3092. 24,
  3093. 24,
  3094. 24,
  3095. 24,
  3096. 24,
  3097. 24,
  3098. 24,
  3099. 24,
  3100. 24,
  3101. 24,
  3102. 24,
  3103. 24,
  3104. 24,
  3105. 24,
  3106. 24,
  3107. 24,
  3108. 24,
  3109. 24,
  3110. 24,
  3111. 24,
  3112. 24,
  3113. 24,
  3114. 24,
  3115. 24,
  3116. 24,
  3117. 24,
  3118. 24,
  3119. 24,
  3120. 24,
  3121. 24,
  3122. 24,
  3123. 24,
  3124. 24,
  3125. 24,
  3126. 24,
  3127. 24,
  3128. 24,
  3129. 24,
  3130. 24,
  3131. 24,
  3132. 24,
  3133. 24,
  3134. 24,
  3135. 24,
  3136. 24,
  3137. 24,
  3138. 24,
  3139. 24,
  3140. 24,
  3141. 24,
  3142. 24,
  3143. 24,
  3144. 24,
  3145. 24,
  3146. 24,
  3147. 24,
  3148. 24,
  3149. 24,
  3150. 24,
  3151. 24,
  3152. 24,
  3153. 24,
  3154. 24,
  3155. 24,
  3156. 24,
  3157. 24,
  3158. 24,
  3159. 24,
  3160. 24,
  3161. 24,
  3162. 24,
  3163. 24,
  3164. 24,
  3165. 24,
  3166. 24,
  3167. 24,
  3168. 24,
  3169. 24,
  3170. 24,
  3171. 24,
  3172. 24,
  3173. 24,
  3174. 24,
  3175. 24,
  3176. 24,
  3177. 24,
  3178. 24,
  3179. 24,
  3180. 24,
  3181. 24,
  3182. 24,
  3183. 24,
  3184. 24,
  3185. 24,
  3186. 24,
  3187. 24,
  3188. 24,
  3189. 24,
  3190. 24,
  3191. 24,
  3192. 24,
  3193. 24,
  3194. 24,
  3195. 24,
  3196. 24,
  3197. 24,
  3198. 24,
  3199. 24,
  3200. 24,
  3201. 24,
  3202. 24,
  3203. 24,
  3204. 24,
  3205. 24,
  3206. 24,
  3207. 24,
  3208. 24,
  3209. 24,
  3210. 24,
  3211. 24,
  3212. 24,
  3213. 24,
  3214. 24,
  3215. 24,
  3216. 24,
  3217. 24,
  3218. 24,
  3219. 24,
  3220. 24,
  3221. 24,
  3222. 24,
  3223. 24,
  3224. 24,
  3225. 24,
  3226. 24,
  3227. 24,
  3228. 24,
  3229. 24,
  3230. 24,
  3231. 24,
  3232. 24,
  3233. 24,
  3234. 24,
  3235. 24,
  3236. 24,
  3237. 24,
  3238. 24,
  3239. 24,
  3240. 24,
  3241. 24,
  3242. 30,
  3243. 30,
  3244. 30,
  3245. 30,
  3246. 30,
  3247. 30,
  3248. 30,
  3249. 30,
  3250. 30,
  3251. 30,
  3252. 30,
  3253. 30,
  3254. 30,
  3255. 30,
  3256. 30,
  3257. 30,
  3258. 30,
  3259. 30,
  3260. 30,
  3261. 30,
  3262. 30,
  3263. 30,
  3264. 30,
  3265. 30,
  3266. 30,
  3267. 30,
  3268. 30,
  3269. 30,
  3270. 30,
  3271. 30,
  3272. 30,
  3273. 30,
  3274. 30,
  3275. 30,
  3276. 30,
  3277. 30,
  3278. 30,
  3279. 30,
  3280. 30,
  3281. 30,
  3282. 30,
  3283. 30,
  3284. 30,
  3285. 30,
  3286. 30,
  3287. 30,
  3288. 30,
  3289. 30,
  3290. 30,
  3291. 30,
  3292. 30,
  3293. 30,
  3294. 30,
  3295. 30,
  3296. 30,
  3297. 30,
  3298. 30,
  3299. 30,
  3300. 30,
  3301. 30,
  3302. 30,
  3303. 30,
  3304. 30,
  3305. 30,
  3306. 30,
  3307. 30,
  3308. 30,
  3309. 30,
  3310. 30,
  3311. 30,
  3312. 30,
  3313. 30,
  3314. 30,
  3315. 30,
  3316. 30,
  3317. 30,
  3318. 30,
  3319. 30,
  3320. 30,
  3321. 30,
  3322. 30,
  3323. 30,
  3324. 30,
  3325. 30,
  3326. 30,
  3327. 30,
  3328. 30,
  3329. 30,
  3330. 30,
  3331. 30,
  3332. 30,
  3333. 30,
  3334. 30,
  3335. 30,
  3336. 30,
  3337. 30,
  3338. 30,
  3339. 30,
  3340. 30,
  3341. 30,
  3342. 30,
  3343. 30,
  3344. 30,
  3345. 30,
  3346. 30,
  3347. 30,
  3348. 30,
  3349. 30,
  3350. 30,
  3351. 30,
  3352. 30,
  3353. 30,
  3354. 30,
  3355. 30,
  3356. 30,
  3357. 30,
  3358. 30,
  3359. 30,
  3360. 30,
  3361. 30,
  3362. 30,
  3363. 30,
  3364. 30,
  3365. 30,
  3366. 30,
  3367. 30,
  3368. 30,
  3369. 30,
  3370. 30,
  3371. 30,
  3372. 30,
  3373. 30,
  3374. 30,
  3375. 30,
  3376. 30,
  3377. 30,
  3378. 30,
  3379. 30,
  3380. 30,
  3381. 30,
  3382. 30,
  3383. 30,
  3384. 30,
  3385. 30,
  3386. 30,
  3387. 30,
  3388. 30,
  3389. 30,
  3390. 30,
  3391. 30,
  3392. 30,
  3393. 30,
  3394. 30,
  3395. 30,
  3396. 30,
  3397. 30,
  3398. 30,
  3399. 30,
  3400. 30,
  3401. 30,
  3402. 30,
  3403. 30,
  3404. 30,
  3405. 30,
  3406. 30,
  3407. 30,
  3408. 30,
  3409. 30,
  3410. 30,
  3411. 30,
  3412. 30,
  3413. 30,
  3414. 30,
  3415. 30,
  3416. 30,
  3417. 30,
  3418. 30,
  3419. 30,
  3420. 30,
  3421. 30,
  3422. 30,
  3423. 30,
  3424. 30,
  3425. 30,
  3426. 30,
  3427. 30,
  3428. 30,
  3429. 30,
  3430. 30,
  3431. 30,
  3432. 30,
  3433. 30,
  3434. 30,
  3435. 30,
  3436. 30,
  3437. 30,
  3438. 30,
  3439. 30,
  3440. 30,
  3441. 30,
  3442. 30,
  3443. 30,
  3444. 30,
  3445. 30,
  3446. 30,
  3447. 30,
  3448. 30,
  3449. 30,
  3450. 30,
  3451. 30,
  3452. 30,
  3453. 30,
  3454. 30,
  3455. 30,
  3456. 30,
  3457. 30,
  3458. 30,
  3459. 30,
  3460. 30,
  3461. 30,
  3462. 30,
  3463. 30,
  3464. 30,
  3465. 30,
  3466. 30,
  3467. 30,
  3468. 30,
  3469. 30,
  3470. 30,
  3471. 30,
  3472. 30,
  3473. 30,
  3474. 30,
  3475. 30,
  3476. 30,
  3477. 30,
  3478. 30,
  3479. 30,
  3480. 30,
  3481. 30,
  3482. 30,
  3483. 30,
  3484. 30,
  3485. 30,
  3486. 30,
  3487. 30,
  3488. 30,
  3489. 30,
  3490. 30,
  3491. 30,
  3492. 30,
  3493. 30,
  3494. 30,
  3495. 30,
  3496. 30,
  3497. 30,
  3498. 30,
  3499. 30,
  3500. 30,
  3501. 30,
  3502. 30,
  3503. 30,
  3504. 30,
  3505. 30,
  3506. 30,
  3507. 30,
  3508. 30,
  3509. 30,
  3510. 30,
  3511. 30,
  3512. 30,
  3513. 30,
  3514. 30,
  3515. 30,
  3516. 30,
  3517. 30,
  3518. 30,
  3519. 30,
  3520. 30,
  3521. 30,
  3522. 30,
  3523. 30,
  3524. 30,
  3525. 30,
  3526. 30,
  3527. 30,
  3528. 30,
  3529. 30,
  3530. 30,
  3531. 30,
  3532. 30,
  3533. 30,
  3534. 30,
  3535. 30,
  3536. 30,
  3537. 30,
  3538. 30,
  3539. 30,
  3540. 30,
  3541. 30,
  3542. 30,
  3543. 30,
  3544. 30,
  3545. 30,
  3546. 30,
  3547. 30,
  3548. 30,
  3549. 30,
  3550. 30,
  3551. 30,
  3552. 30,
  3553. 30,
  3554. 30,
  3555. 30,
  3556. 30,
  3557. 30,
  3558. 30,
  3559. 30,
  3560. 30,
  3561. 30,
  3562. 30,
  3563. 30,
  3564. 30,
  3565. 30,
  3566. 30,
  3567. 30,
  3568. 30,
  3569. 30,
  3570. 30,
  3571. 30,
  3572. 30,
  3573. 30,
  3574. 30,
  3575. 30,
  3576. 30,
  3577. 30,
  3578. 30,
  3579. 30,
  3580. 30,
  3581. 30,
  3582. 30,
  3583. 30,
  3584. 30,
  3585. 30,
  3586. 30,
  3587. 30,
  3588. 30,
  3589. 30,
  3590. 30,
  3591. 30,
  3592. 30,
  3593. 30,
  3594. 30,
  3595. 30,
  3596. 30,
  3597. 30,
  3598. 30,
  3599. 30,
  3600. 30,
  3601. 30,
  3602. 30,
  3603. 30,
  3604. 30,
  3605. 30,
  3606. }
  3607. var kStaticCommandCodeBits = [numCommandSymbols]uint16{
  3608. 0,
  3609. 256,
  3610. 128,
  3611. 384,
  3612. 64,
  3613. 320,
  3614. 192,
  3615. 448,
  3616. 32,
  3617. 288,
  3618. 160,
  3619. 416,
  3620. 96,
  3621. 352,
  3622. 224,
  3623. 480,
  3624. 16,
  3625. 272,
  3626. 144,
  3627. 400,
  3628. 80,
  3629. 336,
  3630. 208,
  3631. 464,
  3632. 48,
  3633. 304,
  3634. 176,
  3635. 432,
  3636. 112,
  3637. 368,
  3638. 240,
  3639. 496,
  3640. 8,
  3641. 264,
  3642. 136,
  3643. 392,
  3644. 72,
  3645. 328,
  3646. 200,
  3647. 456,
  3648. 40,
  3649. 296,
  3650. 168,
  3651. 424,
  3652. 104,
  3653. 360,
  3654. 232,
  3655. 488,
  3656. 24,
  3657. 280,
  3658. 152,
  3659. 408,
  3660. 88,
  3661. 344,
  3662. 216,
  3663. 472,
  3664. 56,
  3665. 312,
  3666. 184,
  3667. 440,
  3668. 120,
  3669. 376,
  3670. 248,
  3671. 504,
  3672. 4,
  3673. 260,
  3674. 132,
  3675. 388,
  3676. 68,
  3677. 324,
  3678. 196,
  3679. 452,
  3680. 36,
  3681. 292,
  3682. 164,
  3683. 420,
  3684. 100,
  3685. 356,
  3686. 228,
  3687. 484,
  3688. 20,
  3689. 276,
  3690. 148,
  3691. 404,
  3692. 84,
  3693. 340,
  3694. 212,
  3695. 468,
  3696. 52,
  3697. 308,
  3698. 180,
  3699. 436,
  3700. 116,
  3701. 372,
  3702. 244,
  3703. 500,
  3704. 12,
  3705. 268,
  3706. 140,
  3707. 396,
  3708. 76,
  3709. 332,
  3710. 204,
  3711. 460,
  3712. 44,
  3713. 300,
  3714. 172,
  3715. 428,
  3716. 108,
  3717. 364,
  3718. 236,
  3719. 492,
  3720. 28,
  3721. 284,
  3722. 156,
  3723. 412,
  3724. 92,
  3725. 348,
  3726. 220,
  3727. 476,
  3728. 60,
  3729. 316,
  3730. 188,
  3731. 444,
  3732. 124,
  3733. 380,
  3734. 252,
  3735. 508,
  3736. 2,
  3737. 258,
  3738. 130,
  3739. 386,
  3740. 66,
  3741. 322,
  3742. 194,
  3743. 450,
  3744. 34,
  3745. 290,
  3746. 162,
  3747. 418,
  3748. 98,
  3749. 354,
  3750. 226,
  3751. 482,
  3752. 18,
  3753. 274,
  3754. 146,
  3755. 402,
  3756. 82,
  3757. 338,
  3758. 210,
  3759. 466,
  3760. 50,
  3761. 306,
  3762. 178,
  3763. 434,
  3764. 114,
  3765. 370,
  3766. 242,
  3767. 498,
  3768. 10,
  3769. 266,
  3770. 138,
  3771. 394,
  3772. 74,
  3773. 330,
  3774. 202,
  3775. 458,
  3776. 42,
  3777. 298,
  3778. 170,
  3779. 426,
  3780. 106,
  3781. 362,
  3782. 234,
  3783. 490,
  3784. 26,
  3785. 282,
  3786. 154,
  3787. 410,
  3788. 90,
  3789. 346,
  3790. 218,
  3791. 474,
  3792. 58,
  3793. 314,
  3794. 186,
  3795. 442,
  3796. 122,
  3797. 378,
  3798. 250,
  3799. 506,
  3800. 6,
  3801. 262,
  3802. 134,
  3803. 390,
  3804. 70,
  3805. 326,
  3806. 198,
  3807. 454,
  3808. 38,
  3809. 294,
  3810. 166,
  3811. 422,
  3812. 102,
  3813. 358,
  3814. 230,
  3815. 486,
  3816. 22,
  3817. 278,
  3818. 150,
  3819. 406,
  3820. 86,
  3821. 342,
  3822. 214,
  3823. 470,
  3824. 54,
  3825. 310,
  3826. 182,
  3827. 438,
  3828. 118,
  3829. 374,
  3830. 246,
  3831. 502,
  3832. 14,
  3833. 270,
  3834. 142,
  3835. 398,
  3836. 78,
  3837. 334,
  3838. 206,
  3839. 462,
  3840. 46,
  3841. 302,
  3842. 174,
  3843. 430,
  3844. 110,
  3845. 366,
  3846. 238,
  3847. 494,
  3848. 30,
  3849. 286,
  3850. 158,
  3851. 414,
  3852. 94,
  3853. 350,
  3854. 222,
  3855. 478,
  3856. 62,
  3857. 318,
  3858. 190,
  3859. 446,
  3860. 126,
  3861. 382,
  3862. 254,
  3863. 510,
  3864. 1,
  3865. 257,
  3866. 129,
  3867. 385,
  3868. 65,
  3869. 321,
  3870. 193,
  3871. 449,
  3872. 33,
  3873. 289,
  3874. 161,
  3875. 417,
  3876. 97,
  3877. 353,
  3878. 225,
  3879. 481,
  3880. 17,
  3881. 273,
  3882. 145,
  3883. 401,
  3884. 81,
  3885. 337,
  3886. 209,
  3887. 465,
  3888. 49,
  3889. 305,
  3890. 177,
  3891. 433,
  3892. 113,
  3893. 369,
  3894. 241,
  3895. 497,
  3896. 9,
  3897. 265,
  3898. 137,
  3899. 393,
  3900. 73,
  3901. 329,
  3902. 201,
  3903. 457,
  3904. 41,
  3905. 297,
  3906. 169,
  3907. 425,
  3908. 105,
  3909. 361,
  3910. 233,
  3911. 489,
  3912. 25,
  3913. 281,
  3914. 153,
  3915. 409,
  3916. 89,
  3917. 345,
  3918. 217,
  3919. 473,
  3920. 57,
  3921. 313,
  3922. 185,
  3923. 441,
  3924. 121,
  3925. 377,
  3926. 249,
  3927. 505,
  3928. 5,
  3929. 261,
  3930. 133,
  3931. 389,
  3932. 69,
  3933. 325,
  3934. 197,
  3935. 453,
  3936. 37,
  3937. 293,
  3938. 165,
  3939. 421,
  3940. 101,
  3941. 357,
  3942. 229,
  3943. 485,
  3944. 21,
  3945. 277,
  3946. 149,
  3947. 405,
  3948. 85,
  3949. 341,
  3950. 213,
  3951. 469,
  3952. 53,
  3953. 309,
  3954. 181,
  3955. 437,
  3956. 117,
  3957. 373,
  3958. 245,
  3959. 501,
  3960. 13,
  3961. 269,
  3962. 141,
  3963. 397,
  3964. 77,
  3965. 333,
  3966. 205,
  3967. 461,
  3968. 45,
  3969. 301,
  3970. 173,
  3971. 429,
  3972. 109,
  3973. 365,
  3974. 237,
  3975. 493,
  3976. 29,
  3977. 285,
  3978. 157,
  3979. 413,
  3980. 93,
  3981. 349,
  3982. 221,
  3983. 477,
  3984. 61,
  3985. 317,
  3986. 189,
  3987. 445,
  3988. 125,
  3989. 381,
  3990. 253,
  3991. 509,
  3992. 3,
  3993. 259,
  3994. 131,
  3995. 387,
  3996. 67,
  3997. 323,
  3998. 195,
  3999. 451,
  4000. 35,
  4001. 291,
  4002. 163,
  4003. 419,
  4004. 99,
  4005. 355,
  4006. 227,
  4007. 483,
  4008. 19,
  4009. 275,
  4010. 147,
  4011. 403,
  4012. 83,
  4013. 339,
  4014. 211,
  4015. 467,
  4016. 51,
  4017. 307,
  4018. 179,
  4019. 435,
  4020. 115,
  4021. 371,
  4022. 243,
  4023. 499,
  4024. 11,
  4025. 267,
  4026. 139,
  4027. 395,
  4028. 75,
  4029. 331,
  4030. 203,
  4031. 459,
  4032. 43,
  4033. 299,
  4034. 171,
  4035. 427,
  4036. 107,
  4037. 363,
  4038. 235,
  4039. 491,
  4040. 27,
  4041. 283,
  4042. 155,
  4043. 411,
  4044. 91,
  4045. 347,
  4046. 219,
  4047. 475,
  4048. 59,
  4049. 315,
  4050. 187,
  4051. 443,
  4052. 123,
  4053. 379,
  4054. 251,
  4055. 507,
  4056. 7,
  4057. 1031,
  4058. 519,
  4059. 1543,
  4060. 263,
  4061. 1287,
  4062. 775,
  4063. 1799,
  4064. 135,
  4065. 1159,
  4066. 647,
  4067. 1671,
  4068. 391,
  4069. 1415,
  4070. 903,
  4071. 1927,
  4072. 71,
  4073. 1095,
  4074. 583,
  4075. 1607,
  4076. 327,
  4077. 1351,
  4078. 839,
  4079. 1863,
  4080. 199,
  4081. 1223,
  4082. 711,
  4083. 1735,
  4084. 455,
  4085. 1479,
  4086. 967,
  4087. 1991,
  4088. 39,
  4089. 1063,
  4090. 551,
  4091. 1575,
  4092. 295,
  4093. 1319,
  4094. 807,
  4095. 1831,
  4096. 167,
  4097. 1191,
  4098. 679,
  4099. 1703,
  4100. 423,
  4101. 1447,
  4102. 935,
  4103. 1959,
  4104. 103,
  4105. 1127,
  4106. 615,
  4107. 1639,
  4108. 359,
  4109. 1383,
  4110. 871,
  4111. 1895,
  4112. 231,
  4113. 1255,
  4114. 743,
  4115. 1767,
  4116. 487,
  4117. 1511,
  4118. 999,
  4119. 2023,
  4120. 23,
  4121. 1047,
  4122. 535,
  4123. 1559,
  4124. 279,
  4125. 1303,
  4126. 791,
  4127. 1815,
  4128. 151,
  4129. 1175,
  4130. 663,
  4131. 1687,
  4132. 407,
  4133. 1431,
  4134. 919,
  4135. 1943,
  4136. 87,
  4137. 1111,
  4138. 599,
  4139. 1623,
  4140. 343,
  4141. 1367,
  4142. 855,
  4143. 1879,
  4144. 215,
  4145. 1239,
  4146. 727,
  4147. 1751,
  4148. 471,
  4149. 1495,
  4150. 983,
  4151. 2007,
  4152. 55,
  4153. 1079,
  4154. 567,
  4155. 1591,
  4156. 311,
  4157. 1335,
  4158. 823,
  4159. 1847,
  4160. 183,
  4161. 1207,
  4162. 695,
  4163. 1719,
  4164. 439,
  4165. 1463,
  4166. 951,
  4167. 1975,
  4168. 119,
  4169. 1143,
  4170. 631,
  4171. 1655,
  4172. 375,
  4173. 1399,
  4174. 887,
  4175. 1911,
  4176. 247,
  4177. 1271,
  4178. 759,
  4179. 1783,
  4180. 503,
  4181. 1527,
  4182. 1015,
  4183. 2039,
  4184. 15,
  4185. 1039,
  4186. 527,
  4187. 1551,
  4188. 271,
  4189. 1295,
  4190. 783,
  4191. 1807,
  4192. 143,
  4193. 1167,
  4194. 655,
  4195. 1679,
  4196. 399,
  4197. 1423,
  4198. 911,
  4199. 1935,
  4200. 79,
  4201. 1103,
  4202. 591,
  4203. 1615,
  4204. 335,
  4205. 1359,
  4206. 847,
  4207. 1871,
  4208. 207,
  4209. 1231,
  4210. 719,
  4211. 1743,
  4212. 463,
  4213. 1487,
  4214. 975,
  4215. 1999,
  4216. 47,
  4217. 1071,
  4218. 559,
  4219. 1583,
  4220. 303,
  4221. 1327,
  4222. 815,
  4223. 1839,
  4224. 175,
  4225. 1199,
  4226. 687,
  4227. 1711,
  4228. 431,
  4229. 1455,
  4230. 943,
  4231. 1967,
  4232. 111,
  4233. 1135,
  4234. 623,
  4235. 1647,
  4236. 367,
  4237. 1391,
  4238. 879,
  4239. 1903,
  4240. 239,
  4241. 1263,
  4242. 751,
  4243. 1775,
  4244. 495,
  4245. 1519,
  4246. 1007,
  4247. 2031,
  4248. 31,
  4249. 1055,
  4250. 543,
  4251. 1567,
  4252. 287,
  4253. 1311,
  4254. 799,
  4255. 1823,
  4256. 159,
  4257. 1183,
  4258. 671,
  4259. 1695,
  4260. 415,
  4261. 1439,
  4262. 927,
  4263. 1951,
  4264. 95,
  4265. 1119,
  4266. 607,
  4267. 1631,
  4268. 351,
  4269. 1375,
  4270. 863,
  4271. 1887,
  4272. 223,
  4273. 1247,
  4274. 735,
  4275. 1759,
  4276. 479,
  4277. 1503,
  4278. 991,
  4279. 2015,
  4280. 63,
  4281. 1087,
  4282. 575,
  4283. 1599,
  4284. 319,
  4285. 1343,
  4286. 831,
  4287. 1855,
  4288. 191,
  4289. 1215,
  4290. 703,
  4291. 1727,
  4292. 447,
  4293. 1471,
  4294. 959,
  4295. 1983,
  4296. 127,
  4297. 1151,
  4298. 639,
  4299. 1663,
  4300. 383,
  4301. 1407,
  4302. 895,
  4303. 1919,
  4304. 255,
  4305. 1279,
  4306. 767,
  4307. 1791,
  4308. 511,
  4309. 1535,
  4310. 1023,
  4311. 2047,
  4312. }
  4313. func storeStaticCommandHuffmanTree(storage_ix *uint, storage []byte) {
  4314. writeBits(56, 0x92624416307003, storage_ix, storage)
  4315. writeBits(3, 0x00000000, storage_ix, storage)
  4316. }
  4317. var kStaticDistanceCodeBits = [64]uint16{
  4318. 0,
  4319. 32,
  4320. 16,
  4321. 48,
  4322. 8,
  4323. 40,
  4324. 24,
  4325. 56,
  4326. 4,
  4327. 36,
  4328. 20,
  4329. 52,
  4330. 12,
  4331. 44,
  4332. 28,
  4333. 60,
  4334. 2,
  4335. 34,
  4336. 18,
  4337. 50,
  4338. 10,
  4339. 42,
  4340. 26,
  4341. 58,
  4342. 6,
  4343. 38,
  4344. 22,
  4345. 54,
  4346. 14,
  4347. 46,
  4348. 30,
  4349. 62,
  4350. 1,
  4351. 33,
  4352. 17,
  4353. 49,
  4354. 9,
  4355. 41,
  4356. 25,
  4357. 57,
  4358. 5,
  4359. 37,
  4360. 21,
  4361. 53,
  4362. 13,
  4363. 45,
  4364. 29,
  4365. 61,
  4366. 3,
  4367. 35,
  4368. 19,
  4369. 51,
  4370. 11,
  4371. 43,
  4372. 27,
  4373. 59,
  4374. 7,
  4375. 39,
  4376. 23,
  4377. 55,
  4378. 15,
  4379. 47,
  4380. 31,
  4381. 63,
  4382. }
  4383. func storeStaticDistanceHuffmanTree(storage_ix *uint, storage []byte) {
  4384. writeBits(28, 0x0369DC03, storage_ix, storage)
  4385. }