1package brotli
2
3var kCodeLengthDepth = [18]byte{4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 0, 4, 4}
4
5var kStaticCommandCodeDepth = [numCommandSymbols]byte{
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	9,
453	9,
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	11,
709	11,
710}
711
712var kStaticDistanceCodeDepth = [64]byte{
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	6,
775	6,
776	6,
777}
778
779var kCodeLengthBits = [18]uint32{0, 8, 4, 12, 2, 10, 6, 14, 1, 9, 5, 13, 3, 15, 31, 0, 11, 7}
780
781func storeStaticCodeLengthCode(storage_ix *uint, storage []byte) {
782	writeBits(40, 0x0000FF55555554, storage_ix, storage)
783}
784
785var kZeroRepsBits = [numCommandSymbols]uint64{
786	0x00000000,
787	0x00000000,
788	0x00000000,
789	0x00000007,
790	0x00000017,
791	0x00000027,
792	0x00000037,
793	0x00000047,
794	0x00000057,
795	0x00000067,
796	0x00000077,
797	0x00000770,
798	0x00000b87,
799	0x00001387,
800	0x00001b87,
801	0x00002387,
802	0x00002b87,
803	0x00003387,
804	0x00003b87,
805	0x00000397,
806	0x00000b97,
807	0x00001397,
808	0x00001b97,
809	0x00002397,
810	0x00002b97,
811	0x00003397,
812	0x00003b97,
813	0x000003a7,
814	0x00000ba7,
815	0x000013a7,
816	0x00001ba7,
817	0x000023a7,
818	0x00002ba7,
819	0x000033a7,
820	0x00003ba7,
821	0x000003b7,
822	0x00000bb7,
823	0x000013b7,
824	0x00001bb7,
825	0x000023b7,
826	0x00002bb7,
827	0x000033b7,
828	0x00003bb7,
829	0x000003c7,
830	0x00000bc7,
831	0x000013c7,
832	0x00001bc7,
833	0x000023c7,
834	0x00002bc7,
835	0x000033c7,
836	0x00003bc7,
837	0x000003d7,
838	0x00000bd7,
839	0x000013d7,
840	0x00001bd7,
841	0x000023d7,
842	0x00002bd7,
843	0x000033d7,
844	0x00003bd7,
845	0x000003e7,
846	0x00000be7,
847	0x000013e7,
848	0x00001be7,
849	0x000023e7,
850	0x00002be7,
851	0x000033e7,
852	0x00003be7,
853	0x000003f7,
854	0x00000bf7,
855	0x000013f7,
856	0x00001bf7,
857	0x000023f7,
858	0x00002bf7,
859	0x000033f7,
860	0x00003bf7,
861	0x0001c387,
862	0x0005c387,
863	0x0009c387,
864	0x000dc387,
865	0x0011c387,
866	0x0015c387,
867	0x0019c387,
868	0x001dc387,
869	0x0001cb87,
870	0x0005cb87,
871	0x0009cb87,
872	0x000dcb87,
873	0x0011cb87,
874	0x0015cb87,
875	0x0019cb87,
876	0x001dcb87,
877	0x0001d387,
878	0x0005d387,
879	0x0009d387,
880	0x000dd387,
881	0x0011d387,
882	0x0015d387,
883	0x0019d387,
884	0x001dd387,
885	0x0001db87,
886	0x0005db87,
887	0x0009db87,
888	0x000ddb87,
889	0x0011db87,
890	0x0015db87,
891	0x0019db87,
892	0x001ddb87,
893	0x0001e387,
894	0x0005e387,
895	0x0009e387,
896	0x000de387,
897	0x0011e387,
898	0x0015e387,
899	0x0019e387,
900	0x001de387,
901	0x0001eb87,
902	0x0005eb87,
903	0x0009eb87,
904	0x000deb87,
905	0x0011eb87,
906	0x0015eb87,
907	0x0019eb87,
908	0x001deb87,
909	0x0001f387,
910	0x0005f387,
911	0x0009f387,
912	0x000df387,
913	0x0011f387,
914	0x0015f387,
915	0x0019f387,
916	0x001df387,
917	0x0001fb87,
918	0x0005fb87,
919	0x0009fb87,
920	0x000dfb87,
921	0x0011fb87,
922	0x0015fb87,
923	0x0019fb87,
924	0x001dfb87,
925	0x0001c397,
926	0x0005c397,
927	0x0009c397,
928	0x000dc397,
929	0x0011c397,
930	0x0015c397,
931	0x0019c397,
932	0x001dc397,
933	0x0001cb97,
934	0x0005cb97,
935	0x0009cb97,
936	0x000dcb97,
937	0x0011cb97,
938	0x0015cb97,
939	0x0019cb97,
940	0x001dcb97,
941	0x0001d397,
942	0x0005d397,
943	0x0009d397,
944	0x000dd397,
945	0x0011d397,
946	0x0015d397,
947	0x0019d397,
948	0x001dd397,
949	0x0001db97,
950	0x0005db97,
951	0x0009db97,
952	0x000ddb97,
953	0x0011db97,
954	0x0015db97,
955	0x0019db97,
956	0x001ddb97,
957	0x0001e397,
958	0x0005e397,
959	0x0009e397,
960	0x000de397,
961	0x0011e397,
962	0x0015e397,
963	0x0019e397,
964	0x001de397,
965	0x0001eb97,
966	0x0005eb97,
967	0x0009eb97,
968	0x000deb97,
969	0x0011eb97,
970	0x0015eb97,
971	0x0019eb97,
972	0x001deb97,
973	0x0001f397,
974	0x0005f397,
975	0x0009f397,
976	0x000df397,
977	0x0011f397,
978	0x0015f397,
979	0x0019f397,
980	0x001df397,
981	0x0001fb97,
982	0x0005fb97,
983	0x0009fb97,
984	0x000dfb97,
985	0x0011fb97,
986	0x0015fb97,
987	0x0019fb97,
988	0x001dfb97,
989	0x0001c3a7,
990	0x0005c3a7,
991	0x0009c3a7,
992	0x000dc3a7,
993	0x0011c3a7,
994	0x0015c3a7,
995	0x0019c3a7,
996	0x001dc3a7,
997	0x0001cba7,
998	0x0005cba7,
999	0x0009cba7,
1000	0x000dcba7,
1001	0x0011cba7,
1002	0x0015cba7,
1003	0x0019cba7,
1004	0x001dcba7,
1005	0x0001d3a7,
1006	0x0005d3a7,
1007	0x0009d3a7,
1008	0x000dd3a7,
1009	0x0011d3a7,
1010	0x0015d3a7,
1011	0x0019d3a7,
1012	0x001dd3a7,
1013	0x0001dba7,
1014	0x0005dba7,
1015	0x0009dba7,
1016	0x000ddba7,
1017	0x0011dba7,
1018	0x0015dba7,
1019	0x0019dba7,
1020	0x001ddba7,
1021	0x0001e3a7,
1022	0x0005e3a7,
1023	0x0009e3a7,
1024	0x000de3a7,
1025	0x0011e3a7,
1026	0x0015e3a7,
1027	0x0019e3a7,
1028	0x001de3a7,
1029	0x0001eba7,
1030	0x0005eba7,
1031	0x0009eba7,
1032	0x000deba7,
1033	0x0011eba7,
1034	0x0015eba7,
1035	0x0019eba7,
1036	0x001deba7,
1037	0x0001f3a7,
1038	0x0005f3a7,
1039	0x0009f3a7,
1040	0x000df3a7,
1041	0x0011f3a7,
1042	0x0015f3a7,
1043	0x0019f3a7,
1044	0x001df3a7,
1045	0x0001fba7,
1046	0x0005fba7,
1047	0x0009fba7,
1048	0x000dfba7,
1049	0x0011fba7,
1050	0x0015fba7,
1051	0x0019fba7,
1052	0x001dfba7,
1053	0x0001c3b7,
1054	0x0005c3b7,
1055	0x0009c3b7,
1056	0x000dc3b7,
1057	0x0011c3b7,
1058	0x0015c3b7,
1059	0x0019c3b7,
1060	0x001dc3b7,
1061	0x0001cbb7,
1062	0x0005cbb7,
1063	0x0009cbb7,
1064	0x000dcbb7,
1065	0x0011cbb7,
1066	0x0015cbb7,
1067	0x0019cbb7,
1068	0x001dcbb7,
1069	0x0001d3b7,
1070	0x0005d3b7,
1071	0x0009d3b7,
1072	0x000dd3b7,
1073	0x0011d3b7,
1074	0x0015d3b7,
1075	0x0019d3b7,
1076	0x001dd3b7,
1077	0x0001dbb7,
1078	0x0005dbb7,
1079	0x0009dbb7,
1080	0x000ddbb7,
1081	0x0011dbb7,
1082	0x0015dbb7,
1083	0x0019dbb7,
1084	0x001ddbb7,
1085	0x0001e3b7,
1086	0x0005e3b7,
1087	0x0009e3b7,
1088	0x000de3b7,
1089	0x0011e3b7,
1090	0x0015e3b7,
1091	0x0019e3b7,
1092	0x001de3b7,
1093	0x0001ebb7,
1094	0x0005ebb7,
1095	0x0009ebb7,
1096	0x000debb7,
1097	0x0011ebb7,
1098	0x0015ebb7,
1099	0x0019ebb7,
1100	0x001debb7,
1101	0x0001f3b7,
1102	0x0005f3b7,
1103	0x0009f3b7,
1104	0x000df3b7,
1105	0x0011f3b7,
1106	0x0015f3b7,
1107	0x0019f3b7,
1108	0x001df3b7,
1109	0x0001fbb7,
1110	0x0005fbb7,
1111	0x0009fbb7,
1112	0x000dfbb7,
1113	0x0011fbb7,
1114	0x0015fbb7,
1115	0x0019fbb7,
1116	0x001dfbb7,
1117	0x0001c3c7,
1118	0x0005c3c7,
1119	0x0009c3c7,
1120	0x000dc3c7,
1121	0x0011c3c7,
1122	0x0015c3c7,
1123	0x0019c3c7,
1124	0x001dc3c7,
1125	0x0001cbc7,
1126	0x0005cbc7,
1127	0x0009cbc7,
1128	0x000dcbc7,
1129	0x0011cbc7,
1130	0x0015cbc7,
1131	0x0019cbc7,
1132	0x001dcbc7,
1133	0x0001d3c7,
1134	0x0005d3c7,
1135	0x0009d3c7,
1136	0x000dd3c7,
1137	0x0011d3c7,
1138	0x0015d3c7,
1139	0x0019d3c7,
1140	0x001dd3c7,
1141	0x0001dbc7,
1142	0x0005dbc7,
1143	0x0009dbc7,
1144	0x000ddbc7,
1145	0x0011dbc7,
1146	0x0015dbc7,
1147	0x0019dbc7,
1148	0x001ddbc7,
1149	0x0001e3c7,
1150	0x0005e3c7,
1151	0x0009e3c7,
1152	0x000de3c7,
1153	0x0011e3c7,
1154	0x0015e3c7,
1155	0x0019e3c7,
1156	0x001de3c7,
1157	0x0001ebc7,
1158	0x0005ebc7,
1159	0x0009ebc7,
1160	0x000debc7,
1161	0x0011ebc7,
1162	0x0015ebc7,
1163	0x0019ebc7,
1164	0x001debc7,
1165	0x0001f3c7,
1166	0x0005f3c7,
1167	0x0009f3c7,
1168	0x000df3c7,
1169	0x0011f3c7,
1170	0x0015f3c7,
1171	0x0019f3c7,
1172	0x001df3c7,
1173	0x0001fbc7,
1174	0x0005fbc7,
1175	0x0009fbc7,
1176	0x000dfbc7,
1177	0x0011fbc7,
1178	0x0015fbc7,
1179	0x0019fbc7,
1180	0x001dfbc7,
1181	0x0001c3d7,
1182	0x0005c3d7,
1183	0x0009c3d7,
1184	0x000dc3d7,
1185	0x0011c3d7,
1186	0x0015c3d7,
1187	0x0019c3d7,
1188	0x001dc3d7,
1189	0x0001cbd7,
1190	0x0005cbd7,
1191	0x0009cbd7,
1192	0x000dcbd7,
1193	0x0011cbd7,
1194	0x0015cbd7,
1195	0x0019cbd7,
1196	0x001dcbd7,
1197	0x0001d3d7,
1198	0x0005d3d7,
1199	0x0009d3d7,
1200	0x000dd3d7,
1201	0x0011d3d7,
1202	0x0015d3d7,
1203	0x0019d3d7,
1204	0x001dd3d7,
1205	0x0001dbd7,
1206	0x0005dbd7,
1207	0x0009dbd7,
1208	0x000ddbd7,
1209	0x0011dbd7,
1210	0x0015dbd7,
1211	0x0019dbd7,
1212	0x001ddbd7,
1213	0x0001e3d7,
1214	0x0005e3d7,
1215	0x0009e3d7,
1216	0x000de3d7,
1217	0x0011e3d7,
1218	0x0015e3d7,
1219	0x0019e3d7,
1220	0x001de3d7,
1221	0x0001ebd7,
1222	0x0005ebd7,
1223	0x0009ebd7,
1224	0x000debd7,
1225	0x0011ebd7,
1226	0x0015ebd7,
1227	0x0019ebd7,
1228	0x001debd7,
1229	0x0001f3d7,
1230	0x0005f3d7,
1231	0x0009f3d7,
1232	0x000df3d7,
1233	0x0011f3d7,
1234	0x0015f3d7,
1235	0x0019f3d7,
1236	0x001df3d7,
1237	0x0001fbd7,
1238	0x0005fbd7,
1239	0x0009fbd7,
1240	0x000dfbd7,
1241	0x0011fbd7,
1242	0x0015fbd7,
1243	0x0019fbd7,
1244	0x001dfbd7,
1245	0x0001c3e7,
1246	0x0005c3e7,
1247	0x0009c3e7,
1248	0x000dc3e7,
1249	0x0011c3e7,
1250	0x0015c3e7,
1251	0x0019c3e7,
1252	0x001dc3e7,
1253	0x0001cbe7,
1254	0x0005cbe7,
1255	0x0009cbe7,
1256	0x000dcbe7,
1257	0x0011cbe7,
1258	0x0015cbe7,
1259	0x0019cbe7,
1260	0x001dcbe7,
1261	0x0001d3e7,
1262	0x0005d3e7,
1263	0x0009d3e7,
1264	0x000dd3e7,
1265	0x0011d3e7,
1266	0x0015d3e7,
1267	0x0019d3e7,
1268	0x001dd3e7,
1269	0x0001dbe7,
1270	0x0005dbe7,
1271	0x0009dbe7,
1272	0x000ddbe7,
1273	0x0011dbe7,
1274	0x0015dbe7,
1275	0x0019dbe7,
1276	0x001ddbe7,
1277	0x0001e3e7,
1278	0x0005e3e7,
1279	0x0009e3e7,
1280	0x000de3e7,
1281	0x0011e3e7,
1282	0x0015e3e7,
1283	0x0019e3e7,
1284	0x001de3e7,
1285	0x0001ebe7,
1286	0x0005ebe7,
1287	0x0009ebe7,
1288	0x000debe7,
1289	0x0011ebe7,
1290	0x0015ebe7,
1291	0x0019ebe7,
1292	0x001debe7,
1293	0x0001f3e7,
1294	0x0005f3e7,
1295	0x0009f3e7,
1296	0x000df3e7,
1297	0x0011f3e7,
1298	0x0015f3e7,
1299	0x0019f3e7,
1300	0x001df3e7,
1301	0x0001fbe7,
1302	0x0005fbe7,
1303	0x0009fbe7,
1304	0x000dfbe7,
1305	0x0011fbe7,
1306	0x0015fbe7,
1307	0x0019fbe7,
1308	0x001dfbe7,
1309	0x0001c3f7,
1310	0x0005c3f7,
1311	0x0009c3f7,
1312	0x000dc3f7,
1313	0x0011c3f7,
1314	0x0015c3f7,
1315	0x0019c3f7,
1316	0x001dc3f7,
1317	0x0001cbf7,
1318	0x0005cbf7,
1319	0x0009cbf7,
1320	0x000dcbf7,
1321	0x0011cbf7,
1322	0x0015cbf7,
1323	0x0019cbf7,
1324	0x001dcbf7,
1325	0x0001d3f7,
1326	0x0005d3f7,
1327	0x0009d3f7,
1328	0x000dd3f7,
1329	0x0011d3f7,
1330	0x0015d3f7,
1331	0x0019d3f7,
1332	0x001dd3f7,
1333	0x0001dbf7,
1334	0x0005dbf7,
1335	0x0009dbf7,
1336	0x000ddbf7,
1337	0x0011dbf7,
1338	0x0015dbf7,
1339	0x0019dbf7,
1340	0x001ddbf7,
1341	0x0001e3f7,
1342	0x0005e3f7,
1343	0x0009e3f7,
1344	0x000de3f7,
1345	0x0011e3f7,
1346	0x0015e3f7,
1347	0x0019e3f7,
1348	0x001de3f7,
1349	0x0001ebf7,
1350	0x0005ebf7,
1351	0x0009ebf7,
1352	0x000debf7,
1353	0x0011ebf7,
1354	0x0015ebf7,
1355	0x0019ebf7,
1356	0x001debf7,
1357	0x0001f3f7,
1358	0x0005f3f7,
1359	0x0009f3f7,
1360	0x000df3f7,
1361	0x0011f3f7,
1362	0x0015f3f7,
1363	0x0019f3f7,
1364	0x001df3f7,
1365	0x0001fbf7,
1366	0x0005fbf7,
1367	0x0009fbf7,
1368	0x000dfbf7,
1369	0x0011fbf7,
1370	0x0015fbf7,
1371	0x0019fbf7,
1372	0x001dfbf7,
1373	0x00e1c387,
1374	0x02e1c387,
1375	0x04e1c387,
1376	0x06e1c387,
1377	0x08e1c387,
1378	0x0ae1c387,
1379	0x0ce1c387,
1380	0x0ee1c387,
1381	0x00e5c387,
1382	0x02e5c387,
1383	0x04e5c387,
1384	0x06e5c387,
1385	0x08e5c387,
1386	0x0ae5c387,
1387	0x0ce5c387,
1388	0x0ee5c387,
1389	0x00e9c387,
1390	0x02e9c387,
1391	0x04e9c387,
1392	0x06e9c387,
1393	0x08e9c387,
1394	0x0ae9c387,
1395	0x0ce9c387,
1396	0x0ee9c387,
1397	0x00edc387,
1398	0x02edc387,
1399	0x04edc387,
1400	0x06edc387,
1401	0x08edc387,
1402	0x0aedc387,
1403	0x0cedc387,
1404	0x0eedc387,
1405	0x00f1c387,
1406	0x02f1c387,
1407	0x04f1c387,
1408	0x06f1c387,
1409	0x08f1c387,
1410	0x0af1c387,
1411	0x0cf1c387,
1412	0x0ef1c387,
1413	0x00f5c387,
1414	0x02f5c387,
1415	0x04f5c387,
1416	0x06f5c387,
1417	0x08f5c387,
1418	0x0af5c387,
1419	0x0cf5c387,
1420	0x0ef5c387,
1421	0x00f9c387,
1422	0x02f9c387,
1423	0x04f9c387,
1424	0x06f9c387,
1425	0x08f9c387,
1426	0x0af9c387,
1427	0x0cf9c387,
1428	0x0ef9c387,
1429	0x00fdc387,
1430	0x02fdc387,
1431	0x04fdc387,
1432	0x06fdc387,
1433	0x08fdc387,
1434	0x0afdc387,
1435	0x0cfdc387,
1436	0x0efdc387,
1437	0x00e1cb87,
1438	0x02e1cb87,
1439	0x04e1cb87,
1440	0x06e1cb87,
1441	0x08e1cb87,
1442	0x0ae1cb87,
1443	0x0ce1cb87,
1444	0x0ee1cb87,
1445	0x00e5cb87,
1446	0x02e5cb87,
1447	0x04e5cb87,
1448	0x06e5cb87,
1449	0x08e5cb87,
1450	0x0ae5cb87,
1451	0x0ce5cb87,
1452	0x0ee5cb87,
1453	0x00e9cb87,
1454	0x02e9cb87,
1455	0x04e9cb87,
1456	0x06e9cb87,
1457	0x08e9cb87,
1458	0x0ae9cb87,
1459	0x0ce9cb87,
1460	0x0ee9cb87,
1461	0x00edcb87,
1462	0x02edcb87,
1463	0x04edcb87,
1464	0x06edcb87,
1465	0x08edcb87,
1466	0x0aedcb87,
1467	0x0cedcb87,
1468	0x0eedcb87,
1469	0x00f1cb87,
1470	0x02f1cb87,
1471	0x04f1cb87,
1472	0x06f1cb87,
1473	0x08f1cb87,
1474	0x0af1cb87,
1475	0x0cf1cb87,
1476	0x0ef1cb87,
1477	0x00f5cb87,
1478	0x02f5cb87,
1479	0x04f5cb87,
1480	0x06f5cb87,
1481	0x08f5cb87,
1482	0x0af5cb87,
1483	0x0cf5cb87,
1484	0x0ef5cb87,
1485	0x00f9cb87,
1486	0x02f9cb87,
1487	0x04f9cb87,
1488	0x06f9cb87,
1489	0x08f9cb87,
1490}
1491
1492var kZeroRepsDepth = [numCommandSymbols]uint32{
1493	0,
1494	4,
1495	8,
1496	7,
1497	7,
1498	7,
1499	7,
1500	7,
1501	7,
1502	7,
1503	7,
1504	11,
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	14,
1566	14,
1567	14,
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	21,
2078	21,
2079	21,
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	28,
2195	28,
2196	28,
2197}
2198
2199var kNonZeroRepsBits = [numCommandSymbols]uint64{
2200	0x0000000b,
2201	0x0000001b,
2202	0x0000002b,
2203	0x0000003b,
2204	0x000002cb,
2205	0x000006cb,
2206	0x00000acb,
2207	0x00000ecb,
2208	0x000002db,
2209	0x000006db,
2210	0x00000adb,
2211	0x00000edb,
2212	0x000002eb,
2213	0x000006eb,
2214	0x00000aeb,
2215	0x00000eeb,
2216	0x000002fb,
2217	0x000006fb,
2218	0x00000afb,
2219	0x00000efb,
2220	0x0000b2cb,
2221	0x0001b2cb,
2222	0x0002b2cb,
2223	0x0003b2cb,
2224	0x0000b6cb,
2225	0x0001b6cb,
2226	0x0002b6cb,
2227	0x0003b6cb,
2228	0x0000bacb,
2229	0x0001bacb,
2230	0x0002bacb,
2231	0x0003bacb,
2232	0x0000becb,
2233	0x0001becb,
2234	0x0002becb,
2235	0x0003becb,
2236	0x0000b2db,
2237	0x0001b2db,
2238	0x0002b2db,
2239	0x0003b2db,
2240	0x0000b6db,
2241	0x0001b6db,
2242	0x0002b6db,
2243	0x0003b6db,
2244	0x0000badb,
2245	0x0001badb,
2246	0x0002badb,
2247	0x0003badb,
2248	0x0000bedb,
2249	0x0001bedb,
2250	0x0002bedb,
2251	0x0003bedb,
2252	0x0000b2eb,
2253	0x0001b2eb,
2254	0x0002b2eb,
2255	0x0003b2eb,
2256	0x0000b6eb,
2257	0x0001b6eb,
2258	0x0002b6eb,
2259	0x0003b6eb,
2260	0x0000baeb,
2261	0x0001baeb,
2262	0x0002baeb,
2263	0x0003baeb,
2264	0x0000beeb,
2265	0x0001beeb,
2266	0x0002beeb,
2267	0x0003beeb,
2268	0x0000b2fb,
2269	0x0001b2fb,
2270	0x0002b2fb,
2271	0x0003b2fb,
2272	0x0000b6fb,
2273	0x0001b6fb,
2274	0x0002b6fb,
2275	0x0003b6fb,
2276	0x0000bafb,
2277	0x0001bafb,
2278	0x0002bafb,
2279	0x0003bafb,
2280	0x0000befb,
2281	0x0001befb,
2282	0x0002befb,
2283	0x0003befb,
2284	0x002cb2cb,
2285	0x006cb2cb,
2286	0x00acb2cb,
2287	0x00ecb2cb,
2288	0x002db2cb,
2289	0x006db2cb,
2290	0x00adb2cb,
2291	0x00edb2cb,
2292	0x002eb2cb,
2293	0x006eb2cb,
2294	0x00aeb2cb,
2295	0x00eeb2cb,
2296	0x002fb2cb,
2297	0x006fb2cb,
2298	0x00afb2cb,
2299	0x00efb2cb,
2300	0x002cb6cb,
2301	0x006cb6cb,
2302	0x00acb6cb,
2303	0x00ecb6cb,
2304	0x002db6cb,
2305	0x006db6cb,
2306	0x00adb6cb,
2307	0x00edb6cb,
2308	0x002eb6cb,
2309	0x006eb6cb,
2310	0x00aeb6cb,
2311	0x00eeb6cb,
2312	0x002fb6cb,
2313	0x006fb6cb,
2314	0x00afb6cb,
2315	0x00efb6cb,
2316	0x002cbacb,
2317	0x006cbacb,
2318	0x00acbacb,
2319	0x00ecbacb,
2320	0x002dbacb,
2321	0x006dbacb,
2322	0x00adbacb,
2323	0x00edbacb,
2324	0x002ebacb,
2325	0x006ebacb,
2326	0x00aebacb,
2327	0x00eebacb,
2328	0x002fbacb,
2329	0x006fbacb,
2330	0x00afbacb,
2331	0x00efbacb,
2332	0x002cbecb,
2333	0x006cbecb,
2334	0x00acbecb,
2335	0x00ecbecb,
2336	0x002dbecb,
2337	0x006dbecb,
2338	0x00adbecb,
2339	0x00edbecb,
2340	0x002ebecb,
2341	0x006ebecb,
2342	0x00aebecb,
2343	0x00eebecb,
2344	0x002fbecb,
2345	0x006fbecb,
2346	0x00afbecb,
2347	0x00efbecb,
2348	0x002cb2db,
2349	0x006cb2db,
2350	0x00acb2db,
2351	0x00ecb2db,
2352	0x002db2db,
2353	0x006db2db,
2354	0x00adb2db,
2355	0x00edb2db,
2356	0x002eb2db,
2357	0x006eb2db,
2358	0x00aeb2db,
2359	0x00eeb2db,
2360	0x002fb2db,
2361	0x006fb2db,
2362	0x00afb2db,
2363	0x00efb2db,
2364	0x002cb6db,
2365	0x006cb6db,
2366	0x00acb6db,
2367	0x00ecb6db,
2368	0x002db6db,
2369	0x006db6db,
2370	0x00adb6db,
2371	0x00edb6db,
2372	0x002eb6db,
2373	0x006eb6db,
2374	0x00aeb6db,
2375	0x00eeb6db,
2376	0x002fb6db,
2377	0x006fb6db,
2378	0x00afb6db,
2379	0x00efb6db,
2380	0x002cbadb,
2381	0x006cbadb,
2382	0x00acbadb,
2383	0x00ecbadb,
2384	0x002dbadb,
2385	0x006dbadb,
2386	0x00adbadb,
2387	0x00edbadb,
2388	0x002ebadb,
2389	0x006ebadb,
2390	0x00aebadb,
2391	0x00eebadb,
2392	0x002fbadb,
2393	0x006fbadb,
2394	0x00afbadb,
2395	0x00efbadb,
2396	0x002cbedb,
2397	0x006cbedb,
2398	0x00acbedb,
2399	0x00ecbedb,
2400	0x002dbedb,
2401	0x006dbedb,
2402	0x00adbedb,
2403	0x00edbedb,
2404	0x002ebedb,
2405	0x006ebedb,
2406	0x00aebedb,
2407	0x00eebedb,
2408	0x002fbedb,
2409	0x006fbedb,
2410	0x00afbedb,
2411	0x00efbedb,
2412	0x002cb2eb,
2413	0x006cb2eb,
2414	0x00acb2eb,
2415	0x00ecb2eb,
2416	0x002db2eb,
2417	0x006db2eb,
2418	0x00adb2eb,
2419	0x00edb2eb,
2420	0x002eb2eb,
2421	0x006eb2eb,
2422	0x00aeb2eb,
2423	0x00eeb2eb,
2424	0x002fb2eb,
2425	0x006fb2eb,
2426	0x00afb2eb,
2427	0x00efb2eb,
2428	0x002cb6eb,
2429	0x006cb6eb,
2430	0x00acb6eb,
2431	0x00ecb6eb,
2432	0x002db6eb,
2433	0x006db6eb,
2434	0x00adb6eb,
2435	0x00edb6eb,
2436	0x002eb6eb,
2437	0x006eb6eb,
2438	0x00aeb6eb,
2439	0x00eeb6eb,
2440	0x002fb6eb,
2441	0x006fb6eb,
2442	0x00afb6eb,
2443	0x00efb6eb,
2444	0x002cbaeb,
2445	0x006cbaeb,
2446	0x00acbaeb,
2447	0x00ecbaeb,
2448	0x002dbaeb,
2449	0x006dbaeb,
2450	0x00adbaeb,
2451	0x00edbaeb,
2452	0x002ebaeb,
2453	0x006ebaeb,
2454	0x00aebaeb,
2455	0x00eebaeb,
2456	0x002fbaeb,
2457	0x006fbaeb,
2458	0x00afbaeb,
2459	0x00efbaeb,
2460	0x002cbeeb,
2461	0x006cbeeb,
2462	0x00acbeeb,
2463	0x00ecbeeb,
2464	0x002dbeeb,
2465	0x006dbeeb,
2466	0x00adbeeb,
2467	0x00edbeeb,
2468	0x002ebeeb,
2469	0x006ebeeb,
2470	0x00aebeeb,
2471	0x00eebeeb,
2472	0x002fbeeb,
2473	0x006fbeeb,
2474	0x00afbeeb,
2475	0x00efbeeb,
2476	0x002cb2fb,
2477	0x006cb2fb,
2478	0x00acb2fb,
2479	0x00ecb2fb,
2480	0x002db2fb,
2481	0x006db2fb,
2482	0x00adb2fb,
2483	0x00edb2fb,
2484	0x002eb2fb,
2485	0x006eb2fb,
2486	0x00aeb2fb,
2487	0x00eeb2fb,
2488	0x002fb2fb,
2489	0x006fb2fb,
2490	0x00afb2fb,
2491	0x00efb2fb,
2492	0x002cb6fb,
2493	0x006cb6fb,
2494	0x00acb6fb,
2495	0x00ecb6fb,
2496	0x002db6fb,
2497	0x006db6fb,
2498	0x00adb6fb,
2499	0x00edb6fb,
2500	0x002eb6fb,
2501	0x006eb6fb,
2502	0x00aeb6fb,
2503	0x00eeb6fb,
2504	0x002fb6fb,
2505	0x006fb6fb,
2506	0x00afb6fb,
2507	0x00efb6fb,
2508	0x002cbafb,
2509	0x006cbafb,
2510	0x00acbafb,
2511	0x00ecbafb,
2512	0x002dbafb,
2513	0x006dbafb,
2514	0x00adbafb,
2515	0x00edbafb,
2516	0x002ebafb,
2517	0x006ebafb,
2518	0x00aebafb,
2519	0x00eebafb,
2520	0x002fbafb,
2521	0x006fbafb,
2522	0x00afbafb,
2523	0x00efbafb,
2524	0x002cbefb,
2525	0x006cbefb,
2526	0x00acbefb,
2527	0x00ecbefb,
2528	0x002dbefb,
2529	0x006dbefb,
2530	0x00adbefb,
2531	0x00edbefb,
2532	0x002ebefb,
2533	0x006ebefb,
2534	0x00aebefb,
2535	0x00eebefb,
2536	0x002fbefb,
2537	0x006fbefb,
2538	0x00afbefb,
2539	0x00efbefb,
2540	0x0b2cb2cb,
2541	0x1b2cb2cb,
2542	0x2b2cb2cb,
2543	0x3b2cb2cb,
2544	0x0b6cb2cb,
2545	0x1b6cb2cb,
2546	0x2b6cb2cb,
2547	0x3b6cb2cb,
2548	0x0bacb2cb,
2549	0x1bacb2cb,
2550	0x2bacb2cb,
2551	0x3bacb2cb,
2552	0x0becb2cb,
2553	0x1becb2cb,
2554	0x2becb2cb,
2555	0x3becb2cb,
2556	0x0b2db2cb,
2557	0x1b2db2cb,
2558	0x2b2db2cb,
2559	0x3b2db2cb,
2560	0x0b6db2cb,
2561	0x1b6db2cb,
2562	0x2b6db2cb,
2563	0x3b6db2cb,
2564	0x0badb2cb,
2565	0x1badb2cb,
2566	0x2badb2cb,
2567	0x3badb2cb,
2568	0x0bedb2cb,
2569	0x1bedb2cb,
2570	0x2bedb2cb,
2571	0x3bedb2cb,
2572	0x0b2eb2cb,
2573	0x1b2eb2cb,
2574	0x2b2eb2cb,
2575	0x3b2eb2cb,
2576	0x0b6eb2cb,
2577	0x1b6eb2cb,
2578	0x2b6eb2cb,
2579	0x3b6eb2cb,
2580	0x0baeb2cb,
2581	0x1baeb2cb,
2582	0x2baeb2cb,
2583	0x3baeb2cb,
2584	0x0beeb2cb,
2585	0x1beeb2cb,
2586	0x2beeb2cb,
2587	0x3beeb2cb,
2588	0x0b2fb2cb,
2589	0x1b2fb2cb,
2590	0x2b2fb2cb,
2591	0x3b2fb2cb,
2592	0x0b6fb2cb,
2593	0x1b6fb2cb,
2594	0x2b6fb2cb,
2595	0x3b6fb2cb,
2596	0x0bafb2cb,
2597	0x1bafb2cb,
2598	0x2bafb2cb,
2599	0x3bafb2cb,
2600	0x0befb2cb,
2601	0x1befb2cb,
2602	0x2befb2cb,
2603	0x3befb2cb,
2604	0x0b2cb6cb,
2605	0x1b2cb6cb,
2606	0x2b2cb6cb,
2607	0x3b2cb6cb,
2608	0x0b6cb6cb,
2609	0x1b6cb6cb,
2610	0x2b6cb6cb,
2611	0x3b6cb6cb,
2612	0x0bacb6cb,
2613	0x1bacb6cb,
2614	0x2bacb6cb,
2615	0x3bacb6cb,
2616	0x0becb6cb,
2617	0x1becb6cb,
2618	0x2becb6cb,
2619	0x3becb6cb,
2620	0x0b2db6cb,
2621	0x1b2db6cb,
2622	0x2b2db6cb,
2623	0x3b2db6cb,
2624	0x0b6db6cb,
2625	0x1b6db6cb,
2626	0x2b6db6cb,
2627	0x3b6db6cb,
2628	0x0badb6cb,
2629	0x1badb6cb,
2630	0x2badb6cb,
2631	0x3badb6cb,
2632	0x0bedb6cb,
2633	0x1bedb6cb,
2634	0x2bedb6cb,
2635	0x3bedb6cb,
2636	0x0b2eb6cb,
2637	0x1b2eb6cb,
2638	0x2b2eb6cb,
2639	0x3b2eb6cb,
2640	0x0b6eb6cb,
2641	0x1b6eb6cb,
2642	0x2b6eb6cb,
2643	0x3b6eb6cb,
2644	0x0baeb6cb,
2645	0x1baeb6cb,
2646	0x2baeb6cb,
2647	0x3baeb6cb,
2648	0x0beeb6cb,
2649	0x1beeb6cb,
2650	0x2beeb6cb,
2651	0x3beeb6cb,
2652	0x0b2fb6cb,
2653	0x1b2fb6cb,
2654	0x2b2fb6cb,
2655	0x3b2fb6cb,
2656	0x0b6fb6cb,
2657	0x1b6fb6cb,
2658	0x2b6fb6cb,
2659	0x3b6fb6cb,
2660	0x0bafb6cb,
2661	0x1bafb6cb,
2662	0x2bafb6cb,
2663	0x3bafb6cb,
2664	0x0befb6cb,
2665	0x1befb6cb,
2666	0x2befb6cb,
2667	0x3befb6cb,
2668	0x0b2cbacb,
2669	0x1b2cbacb,
2670	0x2b2cbacb,
2671	0x3b2cbacb,
2672	0x0b6cbacb,
2673	0x1b6cbacb,
2674	0x2b6cbacb,
2675	0x3b6cbacb,
2676	0x0bacbacb,
2677	0x1bacbacb,
2678	0x2bacbacb,
2679	0x3bacbacb,
2680	0x0becbacb,
2681	0x1becbacb,
2682	0x2becbacb,
2683	0x3becbacb,
2684	0x0b2dbacb,
2685	0x1b2dbacb,
2686	0x2b2dbacb,
2687	0x3b2dbacb,
2688	0x0b6dbacb,
2689	0x1b6dbacb,
2690	0x2b6dbacb,
2691	0x3b6dbacb,
2692	0x0badbacb,
2693	0x1badbacb,
2694	0x2badbacb,
2695	0x3badbacb,
2696	0x0bedbacb,
2697	0x1bedbacb,
2698	0x2bedbacb,
2699	0x3bedbacb,
2700	0x0b2ebacb,
2701	0x1b2ebacb,
2702	0x2b2ebacb,
2703	0x3b2ebacb,
2704	0x0b6ebacb,
2705	0x1b6ebacb,
2706	0x2b6ebacb,
2707	0x3b6ebacb,
2708	0x0baebacb,
2709	0x1baebacb,
2710	0x2baebacb,
2711	0x3baebacb,
2712	0x0beebacb,
2713	0x1beebacb,
2714	0x2beebacb,
2715	0x3beebacb,
2716	0x0b2fbacb,
2717	0x1b2fbacb,
2718	0x2b2fbacb,
2719	0x3b2fbacb,
2720	0x0b6fbacb,
2721	0x1b6fbacb,
2722	0x2b6fbacb,
2723	0x3b6fbacb,
2724	0x0bafbacb,
2725	0x1bafbacb,
2726	0x2bafbacb,
2727	0x3bafbacb,
2728	0x0befbacb,
2729	0x1befbacb,
2730	0x2befbacb,
2731	0x3befbacb,
2732	0x0b2cbecb,
2733	0x1b2cbecb,
2734	0x2b2cbecb,
2735	0x3b2cbecb,
2736	0x0b6cbecb,
2737	0x1b6cbecb,
2738	0x2b6cbecb,
2739	0x3b6cbecb,
2740	0x0bacbecb,
2741	0x1bacbecb,
2742	0x2bacbecb,
2743	0x3bacbecb,
2744	0x0becbecb,
2745	0x1becbecb,
2746	0x2becbecb,
2747	0x3becbecb,
2748	0x0b2dbecb,
2749	0x1b2dbecb,
2750	0x2b2dbecb,
2751	0x3b2dbecb,
2752	0x0b6dbecb,
2753	0x1b6dbecb,
2754	0x2b6dbecb,
2755	0x3b6dbecb,
2756	0x0badbecb,
2757	0x1badbecb,
2758	0x2badbecb,
2759	0x3badbecb,
2760	0x0bedbecb,
2761	0x1bedbecb,
2762	0x2bedbecb,
2763	0x3bedbecb,
2764	0x0b2ebecb,
2765	0x1b2ebecb,
2766	0x2b2ebecb,
2767	0x3b2ebecb,
2768	0x0b6ebecb,
2769	0x1b6ebecb,
2770	0x2b6ebecb,
2771	0x3b6ebecb,
2772	0x0baebecb,
2773	0x1baebecb,
2774	0x2baebecb,
2775	0x3baebecb,
2776	0x0beebecb,
2777	0x1beebecb,
2778	0x2beebecb,
2779	0x3beebecb,
2780	0x0b2fbecb,
2781	0x1b2fbecb,
2782	0x2b2fbecb,
2783	0x3b2fbecb,
2784	0x0b6fbecb,
2785	0x1b6fbecb,
2786	0x2b6fbecb,
2787	0x3b6fbecb,
2788	0x0bafbecb,
2789	0x1bafbecb,
2790	0x2bafbecb,
2791	0x3bafbecb,
2792	0x0befbecb,
2793	0x1befbecb,
2794	0x2befbecb,
2795	0x3befbecb,
2796	0x0b2cb2db,
2797	0x1b2cb2db,
2798	0x2b2cb2db,
2799	0x3b2cb2db,
2800	0x0b6cb2db,
2801	0x1b6cb2db,
2802	0x2b6cb2db,
2803	0x3b6cb2db,
2804	0x0bacb2db,
2805	0x1bacb2db,
2806	0x2bacb2db,
2807	0x3bacb2db,
2808	0x0becb2db,
2809	0x1becb2db,
2810	0x2becb2db,
2811	0x3becb2db,
2812	0x0b2db2db,
2813	0x1b2db2db,
2814	0x2b2db2db,
2815	0x3b2db2db,
2816	0x0b6db2db,
2817	0x1b6db2db,
2818	0x2b6db2db,
2819	0x3b6db2db,
2820	0x0badb2db,
2821	0x1badb2db,
2822	0x2badb2db,
2823	0x3badb2db,
2824	0x0bedb2db,
2825	0x1bedb2db,
2826	0x2bedb2db,
2827	0x3bedb2db,
2828	0x0b2eb2db,
2829	0x1b2eb2db,
2830	0x2b2eb2db,
2831	0x3b2eb2db,
2832	0x0b6eb2db,
2833	0x1b6eb2db,
2834	0x2b6eb2db,
2835	0x3b6eb2db,
2836	0x0baeb2db,
2837	0x1baeb2db,
2838	0x2baeb2db,
2839	0x3baeb2db,
2840	0x0beeb2db,
2841	0x1beeb2db,
2842	0x2beeb2db,
2843	0x3beeb2db,
2844	0x0b2fb2db,
2845	0x1b2fb2db,
2846	0x2b2fb2db,
2847	0x3b2fb2db,
2848	0x0b6fb2db,
2849	0x1b6fb2db,
2850	0x2b6fb2db,
2851	0x3b6fb2db,
2852	0x0bafb2db,
2853	0x1bafb2db,
2854	0x2bafb2db,
2855	0x3bafb2db,
2856	0x0befb2db,
2857	0x1befb2db,
2858	0x2befb2db,
2859	0x3befb2db,
2860	0x0b2cb6db,
2861	0x1b2cb6db,
2862	0x2b2cb6db,
2863	0x3b2cb6db,
2864	0x0b6cb6db,
2865	0x1b6cb6db,
2866	0x2b6cb6db,
2867	0x3b6cb6db,
2868	0x0bacb6db,
2869	0x1bacb6db,
2870	0x2bacb6db,
2871	0x3bacb6db,
2872	0x0becb6db,
2873	0x1becb6db,
2874	0x2becb6db,
2875	0x3becb6db,
2876	0x0b2db6db,
2877	0x1b2db6db,
2878	0x2b2db6db,
2879	0x3b2db6db,
2880	0x0b6db6db,
2881	0x1b6db6db,
2882	0x2b6db6db,
2883	0x3b6db6db,
2884	0x0badb6db,
2885	0x1badb6db,
2886	0x2badb6db,
2887	0x3badb6db,
2888	0x0bedb6db,
2889	0x1bedb6db,
2890	0x2bedb6db,
2891	0x3bedb6db,
2892	0x0b2eb6db,
2893	0x1b2eb6db,
2894	0x2b2eb6db,
2895	0x3b2eb6db,
2896	0x0b6eb6db,
2897	0x1b6eb6db,
2898	0x2b6eb6db,
2899	0x3b6eb6db,
2900	0x0baeb6db,
2901	0x1baeb6db,
2902	0x2baeb6db,
2903	0x3baeb6db,
2904}
2905
2906var kNonZeroRepsDepth = [numCommandSymbols]uint32{
2907	6,
2908	6,
2909	6,
2910	6,
2911	12,
2912	12,
2913	12,
2914	12,
2915	12,
2916	12,
2917	12,
2918	12,
2919	12,
2920	12,
2921	12,
2922	12,
2923	12,
2924	12,
2925	12,
2926	12,
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	18,
2987	18,
2988	18,
2989	18,
2990	18,
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	24,
3243	24,
3244	24,
3245	24,
3246	24,
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	30,
3607	30,
3608	30,
3609	30,
3610	30,
3611}
3612
3613var kStaticCommandCodeBits = [numCommandSymbols]uint16{
3614	0,
3615	256,
3616	128,
3617	384,
3618	64,
3619	320,
3620	192,
3621	448,
3622	32,
3623	288,
3624	160,
3625	416,
3626	96,
3627	352,
3628	224,
3629	480,
3630	16,
3631	272,
3632	144,
3633	400,
3634	80,
3635	336,
3636	208,
3637	464,
3638	48,
3639	304,
3640	176,
3641	432,
3642	112,
3643	368,
3644	240,
3645	496,
3646	8,
3647	264,
3648	136,
3649	392,
3650	72,
3651	328,
3652	200,
3653	456,
3654	40,
3655	296,
3656	168,
3657	424,
3658	104,
3659	360,
3660	232,
3661	488,
3662	24,
3663	280,
3664	152,
3665	408,
3666	88,
3667	344,
3668	216,
3669	472,
3670	56,
3671	312,
3672	184,
3673	440,
3674	120,
3675	376,
3676	248,
3677	504,
3678	4,
3679	260,
3680	132,
3681	388,
3682	68,
3683	324,
3684	196,
3685	452,
3686	36,
3687	292,
3688	164,
3689	420,
3690	100,
3691	356,
3692	228,
3693	484,
3694	20,
3695	276,
3696	148,
3697	404,
3698	84,
3699	340,
3700	212,
3701	468,
3702	52,
3703	308,
3704	180,
3705	436,
3706	116,
3707	372,
3708	244,
3709	500,
3710	12,
3711	268,
3712	140,
3713	396,
3714	76,
3715	332,
3716	204,
3717	460,
3718	44,
3719	300,
3720	172,
3721	428,
3722	108,
3723	364,
3724	236,
3725	492,
3726	28,
3727	284,
3728	156,
3729	412,
3730	92,
3731	348,
3732	220,
3733	476,
3734	60,
3735	316,
3736	188,
3737	444,
3738	124,
3739	380,
3740	252,
3741	508,
3742	2,
3743	258,
3744	130,
3745	386,
3746	66,
3747	322,
3748	194,
3749	450,
3750	34,
3751	290,
3752	162,
3753	418,
3754	98,
3755	354,
3756	226,
3757	482,
3758	18,
3759	274,
3760	146,
3761	402,
3762	82,
3763	338,
3764	210,
3765	466,
3766	50,
3767	306,
3768	178,
3769	434,
3770	114,
3771	370,
3772	242,
3773	498,
3774	10,
3775	266,
3776	138,
3777	394,
3778	74,
3779	330,
3780	202,
3781	458,
3782	42,
3783	298,
3784	170,
3785	426,
3786	106,
3787	362,
3788	234,
3789	490,
3790	26,
3791	282,
3792	154,
3793	410,
3794	90,
3795	346,
3796	218,
3797	474,
3798	58,
3799	314,
3800	186,
3801	442,
3802	122,
3803	378,
3804	250,
3805	506,
3806	6,
3807	262,
3808	134,
3809	390,
3810	70,
3811	326,
3812	198,
3813	454,
3814	38,
3815	294,
3816	166,
3817	422,
3818	102,
3819	358,
3820	230,
3821	486,
3822	22,
3823	278,
3824	150,
3825	406,
3826	86,
3827	342,
3828	214,
3829	470,
3830	54,
3831	310,
3832	182,
3833	438,
3834	118,
3835	374,
3836	246,
3837	502,
3838	14,
3839	270,
3840	142,
3841	398,
3842	78,
3843	334,
3844	206,
3845	462,
3846	46,
3847	302,
3848	174,
3849	430,
3850	110,
3851	366,
3852	238,
3853	494,
3854	30,
3855	286,
3856	158,
3857	414,
3858	94,
3859	350,
3860	222,
3861	478,
3862	62,
3863	318,
3864	190,
3865	446,
3866	126,
3867	382,
3868	254,
3869	510,
3870	1,
3871	257,
3872	129,
3873	385,
3874	65,
3875	321,
3876	193,
3877	449,
3878	33,
3879	289,
3880	161,
3881	417,
3882	97,
3883	353,
3884	225,
3885	481,
3886	17,
3887	273,
3888	145,
3889	401,
3890	81,
3891	337,
3892	209,
3893	465,
3894	49,
3895	305,
3896	177,
3897	433,
3898	113,
3899	369,
3900	241,
3901	497,
3902	9,
3903	265,
3904	137,
3905	393,
3906	73,
3907	329,
3908	201,
3909	457,
3910	41,
3911	297,
3912	169,
3913	425,
3914	105,
3915	361,
3916	233,
3917	489,
3918	25,
3919	281,
3920	153,
3921	409,
3922	89,
3923	345,
3924	217,
3925	473,
3926	57,
3927	313,
3928	185,
3929	441,
3930	121,
3931	377,
3932	249,
3933	505,
3934	5,
3935	261,
3936	133,
3937	389,
3938	69,
3939	325,
3940	197,
3941	453,
3942	37,
3943	293,
3944	165,
3945	421,
3946	101,
3947	357,
3948	229,
3949	485,
3950	21,
3951	277,
3952	149,
3953	405,
3954	85,
3955	341,
3956	213,
3957	469,
3958	53,
3959	309,
3960	181,
3961	437,
3962	117,
3963	373,
3964	245,
3965	501,
3966	13,
3967	269,
3968	141,
3969	397,
3970	77,
3971	333,
3972	205,
3973	461,
3974	45,
3975	301,
3976	173,
3977	429,
3978	109,
3979	365,
3980	237,
3981	493,
3982	29,
3983	285,
3984	157,
3985	413,
3986	93,
3987	349,
3988	221,
3989	477,
3990	61,
3991	317,
3992	189,
3993	445,
3994	125,
3995	381,
3996	253,
3997	509,
3998	3,
3999	259,
4000	131,
4001	387,
4002	67,
4003	323,
4004	195,
4005	451,
4006	35,
4007	291,
4008	163,
4009	419,
4010	99,
4011	355,
4012	227,
4013	483,
4014	19,
4015	275,
4016	147,
4017	403,
4018	83,
4019	339,
4020	211,
4021	467,
4022	51,
4023	307,
4024	179,
4025	435,
4026	115,
4027	371,
4028	243,
4029	499,
4030	11,
4031	267,
4032	139,
4033	395,
4034	75,
4035	331,
4036	203,
4037	459,
4038	43,
4039	299,
4040	171,
4041	427,
4042	107,
4043	363,
4044	235,
4045	491,
4046	27,
4047	283,
4048	155,
4049	411,
4050	91,
4051	347,
4052	219,
4053	475,
4054	59,
4055	315,
4056	187,
4057	443,
4058	123,
4059	379,
4060	251,
4061	507,
4062	7,
4063	1031,
4064	519,
4065	1543,
4066	263,
4067	1287,
4068	775,
4069	1799,
4070	135,
4071	1159,
4072	647,
4073	1671,
4074	391,
4075	1415,
4076	903,
4077	1927,
4078	71,
4079	1095,
4080	583,
4081	1607,
4082	327,
4083	1351,
4084	839,
4085	1863,
4086	199,
4087	1223,
4088	711,
4089	1735,
4090	455,
4091	1479,
4092	967,
4093	1991,
4094	39,
4095	1063,
4096	551,
4097	1575,
4098	295,
4099	1319,
4100	807,
4101	1831,
4102	167,
4103	1191,
4104	679,
4105	1703,
4106	423,
4107	1447,
4108	935,
4109	1959,
4110	103,
4111	1127,
4112	615,
4113	1639,
4114	359,
4115	1383,
4116	871,
4117	1895,
4118	231,
4119	1255,
4120	743,
4121	1767,
4122	487,
4123	1511,
4124	999,
4125	2023,
4126	23,
4127	1047,
4128	535,
4129	1559,
4130	279,
4131	1303,
4132	791,
4133	1815,
4134	151,
4135	1175,
4136	663,
4137	1687,
4138	407,
4139	1431,
4140	919,
4141	1943,
4142	87,
4143	1111,
4144	599,
4145	1623,
4146	343,
4147	1367,
4148	855,
4149	1879,
4150	215,
4151	1239,
4152	727,
4153	1751,
4154	471,
4155	1495,
4156	983,
4157	2007,
4158	55,
4159	1079,
4160	567,
4161	1591,
4162	311,
4163	1335,
4164	823,
4165	1847,
4166	183,
4167	1207,
4168	695,
4169	1719,
4170	439,
4171	1463,
4172	951,
4173	1975,
4174	119,
4175	1143,
4176	631,
4177	1655,
4178	375,
4179	1399,
4180	887,
4181	1911,
4182	247,
4183	1271,
4184	759,
4185	1783,
4186	503,
4187	1527,
4188	1015,
4189	2039,
4190	15,
4191	1039,
4192	527,
4193	1551,
4194	271,
4195	1295,
4196	783,
4197	1807,
4198	143,
4199	1167,
4200	655,
4201	1679,
4202	399,
4203	1423,
4204	911,
4205	1935,
4206	79,
4207	1103,
4208	591,
4209	1615,
4210	335,
4211	1359,
4212	847,
4213	1871,
4214	207,
4215	1231,
4216	719,
4217	1743,
4218	463,
4219	1487,
4220	975,
4221	1999,
4222	47,
4223	1071,
4224	559,
4225	1583,
4226	303,
4227	1327,
4228	815,
4229	1839,
4230	175,
4231	1199,
4232	687,
4233	1711,
4234	431,
4235	1455,
4236	943,
4237	1967,
4238	111,
4239	1135,
4240	623,
4241	1647,
4242	367,
4243	1391,
4244	879,
4245	1903,
4246	239,
4247	1263,
4248	751,
4249	1775,
4250	495,
4251	1519,
4252	1007,
4253	2031,
4254	31,
4255	1055,
4256	543,
4257	1567,
4258	287,
4259	1311,
4260	799,
4261	1823,
4262	159,
4263	1183,
4264	671,
4265	1695,
4266	415,
4267	1439,
4268	927,
4269	1951,
4270	95,
4271	1119,
4272	607,
4273	1631,
4274	351,
4275	1375,
4276	863,
4277	1887,
4278	223,
4279	1247,
4280	735,
4281	1759,
4282	479,
4283	1503,
4284	991,
4285	2015,
4286	63,
4287	1087,
4288	575,
4289	1599,
4290	319,
4291	1343,
4292	831,
4293	1855,
4294	191,
4295	1215,
4296	703,
4297	1727,
4298	447,
4299	1471,
4300	959,
4301	1983,
4302	127,
4303	1151,
4304	639,
4305	1663,
4306	383,
4307	1407,
4308	895,
4309	1919,
4310	255,
4311	1279,
4312	767,
4313	1791,
4314	511,
4315	1535,
4316	1023,
4317	2047,
4318}
4319
4320func storeStaticCommandHuffmanTree(storage_ix *uint, storage []byte) {
4321	writeBits(56, 0x92624416307003, storage_ix, storage)
4322	writeBits(3, 0x00000000, storage_ix, storage)
4323}
4324
4325var kStaticDistanceCodeBits = [64]uint16{
4326	0,
4327	32,
4328	16,
4329	48,
4330	8,
4331	40,
4332	24,
4333	56,
4334	4,
4335	36,
4336	20,
4337	52,
4338	12,
4339	44,
4340	28,
4341	60,
4342	2,
4343	34,
4344	18,
4345	50,
4346	10,
4347	42,
4348	26,
4349	58,
4350	6,
4351	38,
4352	22,
4353	54,
4354	14,
4355	46,
4356	30,
4357	62,
4358	1,
4359	33,
4360	17,
4361	49,
4362	9,
4363	41,
4364	25,
4365	57,
4366	5,
4367	37,
4368	21,
4369	53,
4370	13,
4371	45,
4372	29,
4373	61,
4374	3,
4375	35,
4376	19,
4377	51,
4378	11,
4379	43,
4380	27,
4381	59,
4382	7,
4383	39,
4384	23,
4385	55,
4386	15,
4387	47,
4388	31,
4389	63,
4390}
4391
4392func storeStaticDistanceHuffmanTree(storage_ix *uint, storage []byte) {
4393	writeBits(28, 0x0369DC03, storage_ix, storage)
4394}
4395