1#![allow(non_upper_case_globals)]
11
12use crate::context::*;
13use crate::transform::*;
14use crate::util::*;
15
16const TOKEN_CDF_Q_CTXS: usize = 4;
17
18pub static av1_default_dc_sign_cdfs: [[[[u16; 2]; DC_SIGN_CONTEXTS];
19 PLANE_TYPES]; TOKEN_CDF_Q_CTXS] = cdf_4d([
20 [
21 [[128 * 125], [128 * 102], [128 * 147]],
22 [[128 * 119], [128 * 101], [128 * 135]],
23 ],
24 [
25 [[128 * 125], [128 * 102], [128 * 147]],
26 [[128 * 119], [128 * 101], [128 * 135]],
27 ],
28 [
29 [[128 * 125], [128 * 102], [128 * 147]],
30 [[128 * 119], [128 * 101], [128 * 135]],
31 ],
32 [
33 [[128 * 125], [128 * 102], [128 * 147]],
34 [[128 * 119], [128 * 101], [128 * 135]],
35 ],
36]);
37
38pub static av1_default_txb_skip_cdfs: [[[[u16; 2]; TXB_SKIP_CONTEXTS];
39 TxSize::TX_SIZES]; TOKEN_CDF_Q_CTXS] = cdf_4d([
40 [
41 [
42 [31849],
43 [5892],
44 [12112],
45 [21935],
46 [20289],
47 [27473],
48 [32487],
49 [7654],
50 [19473],
51 [29984],
52 [9961],
53 [30242],
54 [32117],
55 ],
56 [
57 [31548],
58 [1549],
59 [10130],
60 [16656],
61 [18591],
62 [26308],
63 [32537],
64 [5403],
65 [18096],
66 [30003],
67 [16384],
68 [16384],
69 [16384],
70 ],
71 [
72 [29957],
73 [5391],
74 [18039],
75 [23566],
76 [22431],
77 [25822],
78 [32197],
79 [3778],
80 [15336],
81 [28981],
82 [16384],
83 [16384],
84 [16384],
85 ],
86 [
87 [17920],
88 [1818],
89 [7282],
90 [25273],
91 [10923],
92 [31554],
93 [32624],
94 [1366],
95 [15628],
96 [30462],
97 [146],
98 [5132],
99 [31657],
100 ],
101 [
102 [6308],
103 [117],
104 [1638],
105 [2161],
106 [16384],
107 [10923],
108 [30247],
109 [16384],
110 [16384],
111 [16384],
112 [16384],
113 [16384],
114 [16384],
115 ],
116 ],
117 [
118 [
119 [30371],
120 [7570],
121 [13155],
122 [20751],
123 [20969],
124 [27067],
125 [32013],
126 [5495],
127 [17942],
128 [28280],
129 [16384],
130 [16384],
131 [16384],
132 ],
133 [
134 [31782],
135 [1836],
136 [10689],
137 [17604],
138 [21622],
139 [27518],
140 [32399],
141 [4419],
142 [16294],
143 [28345],
144 [16384],
145 [16384],
146 [16384],
147 ],
148 [
149 [31901],
150 [10311],
151 [18047],
152 [24806],
153 [23288],
154 [27914],
155 [32296],
156 [4215],
157 [15756],
158 [28341],
159 [16384],
160 [16384],
161 [16384],
162 ],
163 [
164 [26726],
165 [1045],
166 [11703],
167 [20590],
168 [18554],
169 [25970],
170 [31938],
171 [5583],
172 [21313],
173 [29390],
174 [641],
175 [22265],
176 [31452],
177 ],
178 [
179 [26584],
180 [188],
181 [8847],
182 [24519],
183 [22938],
184 [30583],
185 [32608],
186 [16384],
187 [16384],
188 [16384],
189 [16384],
190 [16384],
191 [16384],
192 ],
193 ],
194 [
195 [
196 [29614],
197 [9068],
198 [12924],
199 [19538],
200 [17737],
201 [24619],
202 [30642],
203 [4119],
204 [16026],
205 [25657],
206 [16384],
207 [16384],
208 [16384],
209 ],
210 [
211 [31957],
212 [3230],
213 [11153],
214 [18123],
215 [20143],
216 [26536],
217 [31986],
218 [3050],
219 [14603],
220 [25155],
221 [16384],
222 [16384],
223 [16384],
224 ],
225 [
226 [32363],
227 [10692],
228 [19090],
229 [24357],
230 [24442],
231 [28312],
232 [32169],
233 [3648],
234 [15690],
235 [26815],
236 [16384],
237 [16384],
238 [16384],
239 ],
240 [
241 [30669],
242 [3832],
243 [11663],
244 [18889],
245 [19782],
246 [23313],
247 [31330],
248 [5124],
249 [18719],
250 [28468],
251 [3082],
252 [20982],
253 [29443],
254 ],
255 [
256 [28573],
257 [3183],
258 [17802],
259 [25977],
260 [26677],
261 [27832],
262 [32387],
263 [16384],
264 [16384],
265 [16384],
266 [16384],
267 [16384],
268 [16384],
269 ],
270 ],
271 [
272 [
273 [26887],
274 [6729],
275 [10361],
276 [17442],
277 [15045],
278 [22478],
279 [29072],
280 [2713],
281 [11861],
282 [20773],
283 [16384],
284 [16384],
285 [16384],
286 ],
287 [
288 [31903],
289 [2044],
290 [7528],
291 [14618],
292 [16182],
293 [24168],
294 [31037],
295 [2786],
296 [11194],
297 [20155],
298 [16384],
299 [16384],
300 [16384],
301 ],
302 [
303 [32510],
304 [8430],
305 [17318],
306 [24154],
307 [23674],
308 [28789],
309 [32139],
310 [3440],
311 [13117],
312 [22702],
313 [16384],
314 [16384],
315 [16384],
316 ],
317 [
318 [31671],
319 [2056],
320 [11746],
321 [16852],
322 [18635],
323 [24715],
324 [31484],
325 [4656],
326 [16074],
327 [24704],
328 [1806],
329 [14645],
330 [25336],
331 ],
332 [
333 [31539],
334 [8433],
335 [20576],
336 [27904],
337 [27852],
338 [30026],
339 [32441],
340 [16384],
341 [16384],
342 [16384],
343 [16384],
344 [16384],
345 [16384],
346 ],
347 ],
348]);
349
350pub static av1_default_eob_extra_cdfs: [[[[[u16; 2]; EOB_COEF_CONTEXTS];
351 PLANE_TYPES]; TxSize::TX_SIZES];
352 TOKEN_CDF_Q_CTXS] = cdf_5d([
353 [
354 [
355 [
356 [16961],
357 [17223],
358 [7621],
359 [16384],
360 [16384],
361 [16384],
362 [16384],
363 [16384],
364 [16384],
365 ],
366 [
367 [19069],
368 [22525],
369 [13377],
370 [16384],
371 [16384],
372 [16384],
373 [16384],
374 [16384],
375 [16384],
376 ],
377 ],
378 [
379 [
380 [20401],
381 [17025],
382 [12845],
383 [12873],
384 [14094],
385 [16384],
386 [16384],
387 [16384],
388 [16384],
389 ],
390 [
391 [20681],
392 [20701],
393 [15250],
394 [15017],
395 [14928],
396 [16384],
397 [16384],
398 [16384],
399 [16384],
400 ],
401 ],
402 [
403 [
404 [23905],
405 [17194],
406 [16170],
407 [17695],
408 [13826],
409 [15810],
410 [12036],
411 [16384],
412 [16384],
413 ],
414 [
415 [23959],
416 [20799],
417 [19021],
418 [16203],
419 [17886],
420 [14144],
421 [12010],
422 [16384],
423 [16384],
424 ],
425 ],
426 [
427 [
428 [27399],
429 [16327],
430 [18071],
431 [19584],
432 [20721],
433 [18432],
434 [19560],
435 [10150],
436 [8805],
437 ],
438 [
439 [24932],
440 [20833],
441 [12027],
442 [16670],
443 [19914],
444 [15106],
445 [17662],
446 [13783],
447 [28756],
448 ],
449 ],
450 [
451 [
452 [23406],
453 [21845],
454 [18432],
455 [16384],
456 [17096],
457 [12561],
458 [17320],
459 [22395],
460 [21370],
461 ],
462 [
463 [16384],
464 [16384],
465 [16384],
466 [16384],
467 [16384],
468 [16384],
469 [16384],
470 [16384],
471 [16384],
472 ],
473 ],
474 ],
475 [
476 [
477 [
478 [17471],
479 [20223],
480 [11357],
481 [16384],
482 [16384],
483 [16384],
484 [16384],
485 [16384],
486 [16384],
487 ],
488 [
489 [20335],
490 [21667],
491 [14818],
492 [16384],
493 [16384],
494 [16384],
495 [16384],
496 [16384],
497 [16384],
498 ],
499 ],
500 [
501 [
502 [20430],
503 [20662],
504 [15367],
505 [16970],
506 [14657],
507 [16384],
508 [16384],
509 [16384],
510 [16384],
511 ],
512 [
513 [22117],
514 [22028],
515 [18650],
516 [16042],
517 [15885],
518 [16384],
519 [16384],
520 [16384],
521 [16384],
522 ],
523 ],
524 [
525 [
526 [22409],
527 [21012],
528 [15650],
529 [17395],
530 [15469],
531 [20205],
532 [19511],
533 [16384],
534 [16384],
535 ],
536 [
537 [24220],
538 [22480],
539 [17737],
540 [18916],
541 [19268],
542 [18412],
543 [18844],
544 [16384],
545 [16384],
546 ],
547 ],
548 [
549 [
550 [25991],
551 [20314],
552 [17731],
553 [19678],
554 [18649],
555 [17307],
556 [21798],
557 [17549],
558 [15630],
559 ],
560 [
561 [26585],
562 [21469],
563 [20432],
564 [17735],
565 [19280],
566 [15235],
567 [20297],
568 [22471],
569 [28997],
570 ],
571 ],
572 [
573 [
574 [26605],
575 [11304],
576 [16726],
577 [16560],
578 [20866],
579 [23524],
580 [19878],
581 [13469],
582 [23084],
583 ],
584 [
585 [16384],
586 [16384],
587 [16384],
588 [16384],
589 [16384],
590 [16384],
591 [16384],
592 [16384],
593 [16384],
594 ],
595 ],
596 ],
597 [
598 [
599 [
600 [18983],
601 [20512],
602 [14885],
603 [16384],
604 [16384],
605 [16384],
606 [16384],
607 [16384],
608 [16384],
609 ],
610 [
611 [20090],
612 [19444],
613 [17286],
614 [16384],
615 [16384],
616 [16384],
617 [16384],
618 [16384],
619 [16384],
620 ],
621 ],
622 [
623 [
624 [19139],
625 [21487],
626 [18959],
627 [20910],
628 [19089],
629 [16384],
630 [16384],
631 [16384],
632 [16384],
633 ],
634 [
635 [20536],
636 [20664],
637 [20625],
638 [19123],
639 [14862],
640 [16384],
641 [16384],
642 [16384],
643 [16384],
644 ],
645 ],
646 [
647 [
648 [19833],
649 [21502],
650 [17485],
651 [20267],
652 [18353],
653 [23329],
654 [21478],
655 [16384],
656 [16384],
657 ],
658 [
659 [22041],
660 [23434],
661 [20001],
662 [20554],
663 [20951],
664 [20145],
665 [15562],
666 [16384],
667 [16384],
668 ],
669 ],
670 [
671 [
672 [23312],
673 [21607],
674 [16526],
675 [18957],
676 [18034],
677 [18934],
678 [24247],
679 [16921],
680 [17080],
681 ],
682 [
683 [26579],
684 [24910],
685 [18637],
686 [19800],
687 [20388],
688 [9887],
689 [15642],
690 [30198],
691 [24721],
692 ],
693 ],
694 [
695 [
696 [26998],
697 [16737],
698 [17838],
699 [18922],
700 [19515],
701 [18636],
702 [17333],
703 [15776],
704 [22658],
705 ],
706 [
707 [16384],
708 [16384],
709 [16384],
710 [16384],
711 [16384],
712 [16384],
713 [16384],
714 [16384],
715 [16384],
716 ],
717 ],
718 ],
719 [
720 [
721 [
722 [20177],
723 [20789],
724 [20262],
725 [16384],
726 [16384],
727 [16384],
728 [16384],
729 [16384],
730 [16384],
731 ],
732 [
733 [21416],
734 [20855],
735 [23410],
736 [16384],
737 [16384],
738 [16384],
739 [16384],
740 [16384],
741 [16384],
742 ],
743 ],
744 [
745 [
746 [20238],
747 [21057],
748 [19159],
749 [22337],
750 [20159],
751 [16384],
752 [16384],
753 [16384],
754 [16384],
755 ],
756 [
757 [20125],
758 [20559],
759 [21707],
760 [22296],
761 [17333],
762 [16384],
763 [16384],
764 [16384],
765 [16384],
766 ],
767 ],
768 [
769 [
770 [19941],
771 [20527],
772 [21470],
773 [22487],
774 [19558],
775 [22354],
776 [20331],
777 [16384],
778 [16384],
779 ],
780 [
781 [22752],
782 [25006],
783 [22075],
784 [21576],
785 [17740],
786 [21690],
787 [19211],
788 [16384],
789 [16384],
790 ],
791 ],
792 [
793 [
794 [21442],
795 [22358],
796 [18503],
797 [20291],
798 [19945],
799 [21294],
800 [21178],
801 [19400],
802 [10556],
803 ],
804 [
805 [24648],
806 [24949],
807 [20708],
808 [23905],
809 [20501],
810 [9558],
811 [9423],
812 [30365],
813 [19253],
814 ],
815 ],
816 [
817 [
818 [26064],
819 [22098],
820 [19613],
821 [20525],
822 [17595],
823 [16618],
824 [20497],
825 [18989],
826 [15513],
827 ],
828 [
829 [16384],
830 [16384],
831 [16384],
832 [16384],
833 [16384],
834 [16384],
835 [16384],
836 [16384],
837 [16384],
838 ],
839 ],
840 ],
841]);
842
843pub static av1_default_eob_multi16_cdfs: [[[[u16; 5]; 2]; PLANE_TYPES];
844 TOKEN_CDF_Q_CTXS] = cdf_4d([
845 [
846 [[840, 1039, 1980, 4895], [370, 671, 1883, 4471]],
847 [[3247, 4950, 9688, 14563], [1904, 3354, 7763, 14647]],
848 ],
849 [
850 [[2125, 2551, 5165, 8946], [513, 765, 1859, 6339]],
851 [[7637, 9498, 14259, 19108], [2497, 4096, 8866, 16993]],
852 ],
853 [
854 [[4016, 4897, 8881, 14968], [716, 1105, 2646, 10056]],
855 [[11139, 13270, 18241, 23566], [3192, 5032, 10297, 19755]],
856 ],
857 [
858 [[6708, 8958, 14746, 22133], [1222, 2074, 4783, 15410]],
859 [[19575, 21766, 26044, 29709], [7297, 10767, 19273, 28194]],
860 ],
861]);
862
863pub static av1_default_eob_multi32_cdfs: [[[[u16; 6]; 2]; PLANE_TYPES];
864 TOKEN_CDF_Q_CTXS] = cdf_4d([
865 [
866 [[400, 520, 977, 2102, 6542], [210, 405, 1315, 3326, 7537]],
867 [[2636, 4273, 7588, 11794, 20401], [1786, 3179, 6902, 11357, 19054]],
868 ],
869 [
870 [[989, 1249, 2019, 4151, 10785], [313, 441, 1099, 2917, 8562]],
871 [[8394, 10352, 13932, 18855, 26014], [2578, 4124, 8181, 13670, 24234]],
872 ],
873 [
874 [[2515, 3003, 4452, 8162, 16041], [574, 821, 1836, 5089, 13128]],
875 [[13468, 16303, 20361, 25105, 29281], [3542, 5502, 10415, 16760, 25644]],
876 ],
877 [
878 [[4617, 5709, 8446, 13584, 23135], [1156, 1702, 3675, 9274, 20539]],
879 [[22086, 24282, 27010, 29770, 31743], [7699, 10897, 20891, 26926, 31628]],
880 ],
881]);
882
883pub static av1_default_eob_multi64_cdfs: [[[[u16; 7]; 2]; PLANE_TYPES];
884 TOKEN_CDF_Q_CTXS] = cdf_4d([
885 [
886 [[329, 498, 1101, 1784, 3265, 7758], [335, 730, 1459, 5494, 8755, 12997]],
887 [
888 [3505, 5304, 10086, 13814, 17684, 23370],
889 [1563, 2700, 4876, 10911, 14706, 22480],
890 ],
891 ],
892 [
893 [
894 [1260, 1446, 2253, 3712, 6652, 13369],
895 [401, 605, 1029, 2563, 5845, 12626],
896 ],
897 [
898 [8609, 10612, 14624, 18714, 22614, 29024],
899 [1923, 3127, 5867, 9703, 14277, 27100],
900 ],
901 ],
902 [
903 [
904 [2374, 2772, 4583, 7276, 12288, 19706],
905 [497, 810, 1315, 3000, 7004, 15641],
906 ],
907 [
908 [15050, 17126, 21410, 24886, 28156, 30726],
909 [4034, 6290, 10235, 14982, 21214, 28491],
910 ],
911 ],
912 [
913 [
914 [6307, 7541, 12060, 16358, 22553, 27865],
915 [1289, 2320, 3971, 7926, 14153, 24291],
916 ],
917 [
918 [24212, 25708, 28268, 30035, 31307, 32049],
919 [8726, 12378, 19409, 26450, 30038, 32462],
920 ],
921 ],
922]);
923
924pub static av1_default_eob_multi128_cdfs: [[[[u16; 8]; 2]; PLANE_TYPES];
925 TOKEN_CDF_Q_CTXS] = cdf_4d([
926 [
927 [
928 [219, 482, 1140, 2091, 3680, 6028, 12586],
929 [371, 699, 1254, 4830, 9479, 12562, 17497],
930 ],
931 [
932 [5245, 7456, 12880, 15852, 20033, 23932, 27608],
933 [2054, 3472, 5869, 14232, 18242, 20590, 26752],
934 ],
935 ],
936 [
937 [
938 [685, 933, 1488, 2714, 4766, 8562, 19254],
939 [217, 352, 618, 2303, 5261, 9969, 17472],
940 ],
941 [
942 [8045, 11200, 15497, 19595, 23948, 27408, 30938],
943 [2310, 4160, 7471, 14997, 17931, 20768, 30240],
944 ],
945 ],
946 [
947 [
948 [1366, 1738, 2527, 5016, 9355, 15797, 24643],
949 [354, 558, 944, 2760, 7287, 14037, 21779],
950 ],
951 [
952 [13627, 16246, 20173, 24429, 27948, 30415, 31863],
953 [6275, 9889, 14769, 23164, 27988, 30493, 32272],
954 ],
955 ],
956 [
957 [
958 [3472, 4885, 7489, 12481, 18517, 24536, 29635],
959 [886, 1731, 3271, 8469, 15569, 22126, 28383],
960 ],
961 [
962 [24313, 26062, 28385, 30107, 31217, 31898, 32345],
963 [9165, 13282, 21150, 30286, 31894, 32571, 32712],
964 ],
965 ],
966]);
967
968pub static av1_default_eob_multi256_cdfs: [[[[u16; 9]; 2]; PLANE_TYPES];
969 TOKEN_CDF_Q_CTXS] = cdf_4d([
970 [
971 [
972 [310, 584, 1887, 3589, 6168, 8611, 11352, 15652],
973 [998, 1850, 2998, 5604, 17341, 19888, 22899, 25583],
974 ],
975 [
976 [2520, 3240, 5952, 8870, 12577, 17558, 19954, 24168],
977 [2203, 4130, 7435, 10739, 20652, 23681, 25609, 27261],
978 ],
979 ],
980 [
981 [
982 [1448, 2109, 4151, 6263, 9329, 13260, 17944, 23300],
983 [399, 1019, 1749, 3038, 10444, 15546, 22739, 27294],
984 ],
985 [
986 [6402, 8148, 12623, 15072, 18728, 22847, 26447, 29377],
987 [1674, 3252, 5734, 10159, 22397, 23802, 24821, 30940],
988 ],
989 ],
990 [
991 [
992 [3089, 3920, 6038, 9460, 14266, 19881, 25766, 29176],
993 [1084, 2358, 3488, 5122, 11483, 18103, 26023, 29799],
994 ],
995 [
996 [11514, 13794, 17480, 20754, 24361, 27378, 29492, 31277],
997 [6571, 9610, 15516, 21826, 29092, 30829, 31842, 32708],
998 ],
999 ],
1000 [
1001 [
1002 [5348, 7113, 11820, 15924, 22106, 26777, 30334, 31757],
1003 [2453, 4474, 6307, 8777, 16474, 22975, 29000, 31547],
1004 ],
1005 [
1006 [23110, 24597, 27140, 28894, 30167, 30927, 31392, 32094],
1007 [9998, 17661, 25178, 28097, 31308, 32038, 32403, 32695],
1008 ],
1009 ],
1010]);
1011
1012pub static av1_default_eob_multi512_cdfs: [[[[u16; 10]; 2]; PLANE_TYPES];
1013 TOKEN_CDF_Q_CTXS] = cdf_4d([
1014 [
1015 [
1016 [641, 983, 3707, 5430, 10234, 14958, 18788, 23412, 26061],
1017 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1018 ],
1019 [
1020 [5095, 6446, 9996, 13354, 16017, 17986, 20919, 26129, 29140],
1021 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1022 ],
1023 ],
1024 [
1025 [
1026 [1230, 2278, 5035, 7776, 11871, 15346, 19590, 24584, 28749],
1027 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1028 ],
1029 [
1030 [7265, 9979, 15819, 19250, 21780, 23846, 26478, 28396, 31811],
1031 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1032 ],
1033 ],
1034 [
1035 [
1036 [2624, 3936, 6480, 9686, 13979, 17726, 23267, 28410, 31078],
1037 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1038 ],
1039 [
1040 [12015, 14769, 19588, 22052, 24222, 25812, 27300, 29219, 32114],
1041 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1042 ],
1043 ],
1044 [
1045 [
1046 [5927, 7809, 10923, 14597, 19439, 24135, 28456, 31142, 32060],
1047 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1048 ],
1049 [
1050 [21093, 23043, 25742, 27658, 29097, 29716, 30073, 30820, 31956],
1051 [3277, 6554, 9830, 13107, 16384, 19661, 22938, 26214, 29491],
1052 ],
1053 ],
1054]);
1055
1056pub static av1_default_eob_multi1024_cdfs: [[[[u16; 11]; 2]; PLANE_TYPES];
1057 TOKEN_CDF_Q_CTXS] = cdf_4d([
1058 [
1059 [
1060 [393, 421, 751, 1623, 3160, 6352, 13345, 18047, 22571, 25830],
1061 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1062 ],
1063 [
1064 [1865, 1988, 2930, 4242, 10533, 16538, 21354, 27255, 28546, 31784],
1065 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1066 ],
1067 ],
1068 [
1069 [
1070 [696, 948, 3145, 5702, 9706, 13217, 17851, 21856, 25692, 28034],
1071 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1072 ],
1073 [
1074 [2672, 3591, 9330, 17084, 22725, 24284, 26527, 28027, 28377, 30876],
1075 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1076 ],
1077 ],
1078 [
1079 [
1080 [2784, 3831, 7041, 10521, 14847, 18844, 23155, 26682, 29229, 31045],
1081 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1082 ],
1083 [
1084 [9577, 12466, 17739, 20750, 22061, 23215, 24601, 25483, 25843, 32056],
1085 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1086 ],
1087 ],
1088 [
1089 [
1090 [6698, 8334, 11961, 15762, 20186, 23862, 27434, 29326, 31082, 32050],
1091 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1092 ],
1093 [
1094 [20569, 22426, 25569, 26859, 28053, 28913, 29486, 29724, 29807, 32570],
1095 [2979, 5958, 8937, 11916, 14895, 17873, 20852, 23831, 26810, 29789],
1096 ],
1097 ],
1098]);
1099
1100pub static av1_default_coeff_lps_multi_cdfs: [[[[[u16; BR_CDF_SIZE];
1101 LEVEL_CONTEXTS];
1102 PLANE_TYPES];
1103 TxSize::TX_SIZES];
1104 TOKEN_CDF_Q_CTXS] = cdf_5d([
1105 [
1106 [
1107 [
1108 [14298, 20718, 24174],
1109 [12536, 19601, 23789],
1110 [8712, 15051, 19503],
1111 [6170, 11327, 15434],
1112 [4742, 8926, 12538],
1113 [3803, 7317, 10546],
1114 [1696, 3317, 4871],
1115 [14392, 19951, 22756],
1116 [15978, 23218, 26818],
1117 [12187, 19474, 23889],
1118 [9176, 15640, 20259],
1119 [7068, 12655, 17028],
1120 [5656, 10442, 14472],
1121 [2580, 4992, 7244],
1122 [12136, 18049, 21426],
1123 [13784, 20721, 24481],
1124 [10836, 17621, 21900],
1125 [8372, 14444, 18847],
1126 [6523, 11779, 16000],
1127 [5337, 9898, 13760],
1128 [3034, 5860, 8462],
1129 ],
1130 [
1131 [15967, 22905, 26286],
1132 [13534, 20654, 24579],
1133 [9504, 16092, 20535],
1134 [6975, 12568, 16903],
1135 [5364, 10091, 14020],
1136 [4357, 8370, 11857],
1137 [2506, 4934, 7218],
1138 [23032, 28815, 30936],
1139 [19540, 26704, 29719],
1140 [15158, 22969, 27097],
1141 [11408, 18865, 23650],
1142 [8885, 15448, 20250],
1143 [7108, 12853, 17416],
1144 [4231, 8041, 11480],
1145 [19823, 26490, 29156],
1146 [18890, 25929, 28932],
1147 [15660, 23491, 27433],
1148 [12147, 19776, 24488],
1149 [9728, 16774, 21649],
1150 [7919, 14277, 19066],
1151 [5440, 10170, 14185],
1152 ],
1153 ],
1154 [
1155 [
1156 [14406, 20862, 24414],
1157 [11824, 18907, 23109],
1158 [8257, 14393, 18803],
1159 [5860, 10747, 14778],
1160 [4475, 8486, 11984],
1161 [3606, 6954, 10043],
1162 [1736, 3410, 5048],
1163 [14430, 20046, 22882],
1164 [15593, 22899, 26709],
1165 [12102, 19368, 23811],
1166 [9059, 15584, 20262],
1167 [6999, 12603, 17048],
1168 [5684, 10497, 14553],
1169 [2822, 5438, 7862],
1170 [15785, 21585, 24359],
1171 [18347, 25229, 28266],
1172 [14974, 22487, 26389],
1173 [11423, 18681, 23271],
1174 [8863, 15350, 20008],
1175 [7153, 12852, 17278],
1176 [3707, 7036, 9982],
1177 ],
1178 [
1179 [15460, 21696, 25469],
1180 [12170, 19249, 23191],
1181 [8723, 15027, 19332],
1182 [6428, 11704, 15874],
1183 [4922, 9292, 13052],
1184 [4139, 7695, 11010],
1185 [2291, 4508, 6598],
1186 [19856, 26920, 29828],
1187 [17923, 25289, 28792],
1188 [14278, 21968, 26297],
1189 [10910, 18136, 22950],
1190 [8423, 14815, 19627],
1191 [6771, 12283, 16774],
1192 [4074, 7750, 11081],
1193 [19852, 26074, 28672],
1194 [19371, 26110, 28989],
1195 [16265, 23873, 27663],
1196 [12758, 20378, 24952],
1197 [10095, 17098, 21961],
1198 [8250, 14628, 19451],
1199 [5205, 9745, 13622],
1200 ],
1201 ],
1202 [
1203 [
1204 [10563, 16233, 19763],
1205 [9794, 16022, 19804],
1206 [6750, 11945, 15759],
1207 [4963, 9186, 12752],
1208 [3845, 7435, 10627],
1209 [3051, 6085, 8834],
1210 [1311, 2596, 3830],
1211 [11246, 16404, 19689],
1212 [12315, 18911, 22731],
1213 [10557, 17095, 21289],
1214 [8136, 14006, 18249],
1215 [6348, 11474, 15565],
1216 [5196, 9655, 13400],
1217 [2349, 4526, 6587],
1218 [13337, 18730, 21569],
1219 [19306, 26071, 28882],
1220 [15952, 23540, 27254],
1221 [12409, 19934, 24430],
1222 [9760, 16706, 21389],
1223 [8004, 14220, 18818],
1224 [4138, 7794, 10961],
1225 ],
1226 [
1227 [10870, 16684, 20949],
1228 [9664, 15230, 18680],
1229 [6886, 12109, 15408],
1230 [4825, 8900, 12305],
1231 [3630, 7162, 10314],
1232 [3036, 6429, 9387],
1233 [1671, 3296, 4940],
1234 [13819, 19159, 23026],
1235 [11984, 19108, 23120],
1236 [10690, 17210, 21663],
1237 [7984, 14154, 18333],
1238 [6868, 12294, 16124],
1239 [5274, 8994, 12868],
1240 [2988, 5771, 8424],
1241 [19736, 26647, 29141],
1242 [18933, 26070, 28984],
1243 [15779, 23048, 27200],
1244 [12638, 20061, 24532],
1245 [10692, 17545, 22220],
1246 [9217, 15251, 20054],
1247 [5078, 9284, 12594],
1248 ],
1249 ],
1250 [
1251 [
1252 [2331, 3662, 5244],
1253 [2891, 4771, 6145],
1254 [4598, 7623, 9729],
1255 [3520, 6845, 9199],
1256 [3417, 6119, 9324],
1257 [2601, 5412, 7385],
1258 [600, 1173, 1744],
1259 [7672, 13286, 17469],
1260 [4232, 7792, 10793],
1261 [2915, 5317, 7397],
1262 [2318, 4356, 6152],
1263 [2127, 4000, 5554],
1264 [1850, 3478, 5275],
1265 [977, 1933, 2843],
1266 [18280, 24387, 27989],
1267 [15852, 22671, 26185],
1268 [13845, 20951, 24789],
1269 [11055, 17966, 22129],
1270 [9138, 15422, 19801],
1271 [7454, 13145, 17456],
1272 [3370, 6393, 9013],
1273 ],
1274 [
1275 [5842, 9229, 10838],
1276 [2313, 3491, 4276],
1277 [2998, 6104, 7496],
1278 [2420, 7447, 9868],
1279 [3034, 8495, 10923],
1280 [4076, 8937, 10975],
1281 [1086, 2370, 3299],
1282 [9714, 17254, 20444],
1283 [8543, 13698, 17123],
1284 [4918, 9007, 11910],
1285 [4129, 7532, 10553],
1286 [2364, 5533, 8058],
1287 [1834, 3546, 5563],
1288 [1473, 2908, 4133],
1289 [15405, 21193, 25619],
1290 [15691, 21952, 26561],
1291 [12962, 19194, 24165],
1292 [10272, 17855, 22129],
1293 [8588, 15270, 20718],
1294 [8682, 14669, 19500],
1295 [4870, 9636, 13205],
1296 ],
1297 ],
1298 [
1299 [
1300 [8192, 16384, 24576],
1301 [8192, 16384, 24576],
1302 [8192, 16384, 24576],
1303 [8192, 16384, 24576],
1304 [8192, 16384, 24576],
1305 [8192, 16384, 24576],
1306 [8192, 16384, 24576],
1307 [8192, 16384, 24576],
1308 [8192, 16384, 24576],
1309 [8192, 16384, 24576],
1310 [8192, 16384, 24576],
1311 [8192, 16384, 24576],
1312 [8192, 16384, 24576],
1313 [8192, 16384, 24576],
1314 [8192, 16384, 24576],
1315 [8192, 16384, 24576],
1316 [8192, 16384, 24576],
1317 [8192, 16384, 24576],
1318 [8192, 16384, 24576],
1319 [8192, 16384, 24576],
1320 [8192, 16384, 24576],
1321 ],
1322 [
1323 [8192, 16384, 24576],
1324 [8192, 16384, 24576],
1325 [8192, 16384, 24576],
1326 [8192, 16384, 24576],
1327 [8192, 16384, 24576],
1328 [8192, 16384, 24576],
1329 [8192, 16384, 24576],
1330 [8192, 16384, 24576],
1331 [8192, 16384, 24576],
1332 [8192, 16384, 24576],
1333 [8192, 16384, 24576],
1334 [8192, 16384, 24576],
1335 [8192, 16384, 24576],
1336 [8192, 16384, 24576],
1337 [8192, 16384, 24576],
1338 [8192, 16384, 24576],
1339 [8192, 16384, 24576],
1340 [8192, 16384, 24576],
1341 [8192, 16384, 24576],
1342 [8192, 16384, 24576],
1343 [8192, 16384, 24576],
1344 ],
1345 ],
1346 ],
1347 [
1348 [
1349 [
1350 [14995, 21341, 24749],
1351 [13158, 20289, 24601],
1352 [8941, 15326, 19876],
1353 [6297, 11541, 15807],
1354 [4817, 9029, 12776],
1355 [3731, 7273, 10627],
1356 [1847, 3617, 5354],
1357 [14472, 19659, 22343],
1358 [16806, 24162, 27533],
1359 [12900, 20404, 24713],
1360 [9411, 16112, 20797],
1361 [7056, 12697, 17148],
1362 [5544, 10339, 14460],
1363 [2954, 5704, 8319],
1364 [12464, 18071, 21354],
1365 [15482, 22528, 26034],
1366 [12070, 19269, 23624],
1367 [8953, 15406, 20106],
1368 [7027, 12730, 17220],
1369 [5887, 10913, 15140],
1370 [3793, 7278, 10447],
1371 ],
1372 [
1373 [15571, 22232, 25749],
1374 [14506, 21575, 25374],
1375 [10189, 17089, 21569],
1376 [7316, 13301, 17915],
1377 [5783, 10912, 15190],
1378 [4760, 9155, 13088],
1379 [2993, 5966, 8774],
1380 [23424, 28903, 30778],
1381 [20775, 27666, 30290],
1382 [16474, 24410, 28299],
1383 [12471, 20180, 24987],
1384 [9410, 16487, 21439],
1385 [7536, 13614, 18529],
1386 [5048, 9586, 13549],
1387 [21090, 27290, 29756],
1388 [20796, 27402, 30026],
1389 [17819, 25485, 28969],
1390 [13860, 21909, 26462],
1391 [11002, 18494, 23529],
1392 [8953, 15929, 20897],
1393 [6448, 11918, 16454],
1394 ],
1395 ],
1396 [
1397 [
1398 [15999, 22208, 25449],
1399 [13050, 19988, 24122],
1400 [8594, 14864, 19378],
1401 [6033, 11079, 15238],
1402 [4554, 8683, 12347],
1403 [3672, 7139, 10337],
1404 [1900, 3771, 5576],
1405 [15788, 21340, 23949],
1406 [16825, 24235, 27758],
1407 [12873, 20402, 24810],
1408 [9590, 16363, 21094],
1409 [7352, 13209, 17733],
1410 [5960, 10989, 15184],
1411 [3232, 6234, 9007],
1412 [15761, 20716, 23224],
1413 [19318, 25989, 28759],
1414 [15529, 23094, 26929],
1415 [11662, 18989, 23641],
1416 [8955, 15568, 20366],
1417 [7281, 13106, 17708],
1418 [4248, 8059, 11440],
1419 ],
1420 [
1421 [14899, 21217, 24503],
1422 [13519, 20283, 24047],
1423 [9429, 15966, 20365],
1424 [6700, 12355, 16652],
1425 [5088, 9704, 13716],
1426 [4243, 8154, 11731],
1427 [2702, 5364, 7861],
1428 [22745, 28388, 30454],
1429 [20235, 27146, 29922],
1430 [15896, 23715, 27637],
1431 [11840, 19350, 24131],
1432 [9122, 15932, 20880],
1433 [7488, 13581, 18362],
1434 [5114, 9568, 13370],
1435 [20845, 26553, 28932],
1436 [20981, 27372, 29884],
1437 [17781, 25335, 28785],
1438 [13760, 21708, 26297],
1439 [10975, 18415, 23365],
1440 [9045, 15789, 20686],
1441 [6130, 11199, 15423],
1442 ],
1443 ],
1444 [
1445 [
1446 [13549, 19724, 23158],
1447 [11844, 18382, 22246],
1448 [7919, 13619, 17773],
1449 [5486, 10143, 13946],
1450 [4166, 7983, 11324],
1451 [3364, 6506, 9427],
1452 [1598, 3160, 4674],
1453 [15281, 20979, 23781],
1454 [14939, 22119, 25952],
1455 [11363, 18407, 22812],
1456 [8609, 14857, 19370],
1457 [6737, 12184, 16480],
1458 [5506, 10263, 14262],
1459 [2990, 5786, 8380],
1460 [20249, 25253, 27417],
1461 [21070, 27518, 30001],
1462 [16854, 24469, 28074],
1463 [12864, 20486, 25000],
1464 [9962, 16978, 21778],
1465 [8074, 14338, 19048],
1466 [4494, 8479, 11906],
1467 ],
1468 [
1469 [13960, 19617, 22829],
1470 [11150, 17341, 21228],
1471 [7150, 12964, 17190],
1472 [5331, 10002, 13867],
1473 [4167, 7744, 11057],
1474 [3480, 6629, 9646],
1475 [1883, 3784, 5686],
1476 [18752, 25660, 28912],
1477 [16968, 24586, 28030],
1478 [13520, 21055, 25313],
1479 [10453, 17626, 22280],
1480 [8386, 14505, 19116],
1481 [6742, 12595, 17008],
1482 [4273, 8140, 11499],
1483 [22120, 27827, 30233],
1484 [20563, 27358, 29895],
1485 [17076, 24644, 28153],
1486 [13362, 20942, 25309],
1487 [10794, 17965, 22695],
1488 [9014, 15652, 20319],
1489 [5708, 10512, 14497],
1490 ],
1491 ],
1492 [
1493 [
1494 [5705, 10930, 15725],
1495 [7946, 12765, 16115],
1496 [6801, 12123, 16226],
1497 [5462, 10135, 14200],
1498 [4189, 8011, 11507],
1499 [3191, 6229, 9408],
1500 [1057, 2137, 3212],
1501 [10018, 17067, 21491],
1502 [7380, 12582, 16453],
1503 [6068, 10845, 14339],
1504 [5098, 9198, 12555],
1505 [4312, 8010, 11119],
1506 [3700, 6966, 9781],
1507 [1693, 3326, 4887],
1508 [18757, 24930, 27774],
1509 [17648, 24596, 27817],
1510 [14707, 22052, 26026],
1511 [11720, 18852, 23292],
1512 [9357, 15952, 20525],
1513 [7810, 13753, 18210],
1514 [3879, 7333, 10328],
1515 ],
1516 [
1517 [8278, 13242, 15922],
1518 [10547, 15867, 18919],
1519 [9106, 15842, 20609],
1520 [6833, 13007, 17218],
1521 [4811, 9712, 13923],
1522 [3985, 7352, 11128],
1523 [1688, 3458, 5262],
1524 [12951, 21861, 26510],
1525 [9788, 16044, 20276],
1526 [6309, 11244, 14870],
1527 [5183, 9349, 12566],
1528 [4389, 8229, 11492],
1529 [3633, 6945, 10620],
1530 [3600, 6847, 9907],
1531 [21748, 28137, 30255],
1532 [19436, 26581, 29560],
1533 [16359, 24201, 27953],
1534 [13961, 21693, 25871],
1535 [11544, 18686, 23322],
1536 [9372, 16462, 20952],
1537 [6138, 11210, 15390],
1538 ],
1539 ],
1540 [
1541 [
1542 [8192, 16384, 24576],
1543 [8192, 16384, 24576],
1544 [8192, 16384, 24576],
1545 [8192, 16384, 24576],
1546 [8192, 16384, 24576],
1547 [8192, 16384, 24576],
1548 [8192, 16384, 24576],
1549 [8192, 16384, 24576],
1550 [8192, 16384, 24576],
1551 [8192, 16384, 24576],
1552 [8192, 16384, 24576],
1553 [8192, 16384, 24576],
1554 [8192, 16384, 24576],
1555 [8192, 16384, 24576],
1556 [8192, 16384, 24576],
1557 [8192, 16384, 24576],
1558 [8192, 16384, 24576],
1559 [8192, 16384, 24576],
1560 [8192, 16384, 24576],
1561 [8192, 16384, 24576],
1562 [8192, 16384, 24576],
1563 ],
1564 [
1565 [8192, 16384, 24576],
1566 [8192, 16384, 24576],
1567 [8192, 16384, 24576],
1568 [8192, 16384, 24576],
1569 [8192, 16384, 24576],
1570 [8192, 16384, 24576],
1571 [8192, 16384, 24576],
1572 [8192, 16384, 24576],
1573 [8192, 16384, 24576],
1574 [8192, 16384, 24576],
1575 [8192, 16384, 24576],
1576 [8192, 16384, 24576],
1577 [8192, 16384, 24576],
1578 [8192, 16384, 24576],
1579 [8192, 16384, 24576],
1580 [8192, 16384, 24576],
1581 [8192, 16384, 24576],
1582 [8192, 16384, 24576],
1583 [8192, 16384, 24576],
1584 [8192, 16384, 24576],
1585 [8192, 16384, 24576],
1586 ],
1587 ],
1588 ],
1589 [
1590 [
1591 [
1592 [16138, 22223, 25509],
1593 [15347, 22430, 26332],
1594 [9614, 16736, 21332],
1595 [6600, 12275, 16907],
1596 [4811, 9424, 13547],
1597 [3748, 7809, 11420],
1598 [2254, 4587, 6890],
1599 [15196, 20284, 23177],
1600 [18317, 25469, 28451],
1601 [13918, 21651, 25842],
1602 [10052, 17150, 21995],
1603 [7499, 13630, 18587],
1604 [6158, 11417, 16003],
1605 [4014, 7785, 11252],
1606 [15048, 21067, 24384],
1607 [18202, 25346, 28553],
1608 [14302, 22019, 26356],
1609 [10839, 18139, 23166],
1610 [8715, 15744, 20806],
1611 [7536, 13576, 18544],
1612 [5413, 10335, 14498],
1613 ],
1614 [
1615 [17394, 24501, 27895],
1616 [15889, 23420, 27185],
1617 [11561, 19133, 23870],
1618 [8285, 14812, 19844],
1619 [6496, 12043, 16550],
1620 [4771, 9574, 13677],
1621 [3603, 6830, 10144],
1622 [21656, 27704, 30200],
1623 [21324, 27915, 30511],
1624 [17327, 25336, 28997],
1625 [13417, 21381, 26033],
1626 [10132, 17425, 22338],
1627 [8580, 15016, 19633],
1628 [5694, 11477, 16411],
1629 [24116, 29780, 31450],
1630 [23853, 29695, 31591],
1631 [20085, 27614, 30428],
1632 [15326, 24335, 28575],
1633 [11814, 19472, 24810],
1634 [10221, 18611, 24767],
1635 [7689, 14558, 20321],
1636 ],
1637 ],
1638 [
1639 [
1640 [16214, 22380, 25770],
1641 [14213, 21304, 25295],
1642 [9213, 15823, 20455],
1643 [6395, 11758, 16139],
1644 [4779, 9187, 13066],
1645 [3821, 7501, 10953],
1646 [2293, 4567, 6795],
1647 [15859, 21283, 23820],
1648 [18404, 25602, 28726],
1649 [14325, 21980, 26206],
1650 [10669, 17937, 22720],
1651 [8297, 14642, 19447],
1652 [6746, 12389, 16893],
1653 [4324, 8251, 11770],
1654 [16532, 21631, 24475],
1655 [20667, 27150, 29668],
1656 [16728, 24510, 28175],
1657 [12861, 20645, 25332],
1658 [10076, 17361, 22417],
1659 [8395, 14940, 19963],
1660 [5731, 10683, 14912],
1661 ],
1662 [
1663 [14433, 21155, 24938],
1664 [14658, 21716, 25545],
1665 [9923, 16824, 21557],
1666 [6982, 13052, 17721],
1667 [5419, 10503, 15050],
1668 [4852, 9162, 13014],
1669 [3271, 6395, 9630],
1670 [22210, 27833, 30109],
1671 [20750, 27368, 29821],
1672 [16894, 24828, 28573],
1673 [13247, 21276, 25757],
1674 [10038, 17265, 22563],
1675 [8587, 14947, 20327],
1676 [5645, 11371, 15252],
1677 [22027, 27526, 29714],
1678 [23098, 29146, 31221],
1679 [19886, 27341, 30272],
1680 [15609, 23747, 28046],
1681 [11993, 20065, 24939],
1682 [9637, 18267, 23671],
1683 [7625, 13801, 19144],
1684 ],
1685 ],
1686 [
1687 [
1688 [14438, 20798, 24089],
1689 [12621, 19203, 23097],
1690 [8177, 14125, 18402],
1691 [5674, 10501, 14456],
1692 [4236, 8239, 11733],
1693 [3447, 6750, 9806],
1694 [1986, 3950, 5864],
1695 [16208, 22099, 24930],
1696 [16537, 24025, 27585],
1697 [12780, 20381, 24867],
1698 [9767, 16612, 21416],
1699 [7686, 13738, 18398],
1700 [6333, 11614, 15964],
1701 [3941, 7571, 10836],
1702 [22819, 27422, 29202],
1703 [22224, 28514, 30721],
1704 [17660, 25433, 28913],
1705 [13574, 21482, 26002],
1706 [10629, 17977, 22938],
1707 [8612, 15298, 20265],
1708 [5607, 10491, 14596],
1709 ],
1710 [
1711 [13569, 19800, 23206],
1712 [13128, 19924, 23869],
1713 [8329, 14841, 19403],
1714 [6130, 10976, 15057],
1715 [4682, 8839, 12518],
1716 [3656, 7409, 10588],
1717 [2577, 5099, 7412],
1718 [22427, 28684, 30585],
1719 [20913, 27750, 30139],
1720 [15840, 24109, 27834],
1721 [12308, 20029, 24569],
1722 [10216, 16785, 21458],
1723 [8309, 14203, 19113],
1724 [6043, 11168, 15307],
1725 [23166, 28901, 30998],
1726 [21899, 28405, 30751],
1727 [18413, 26091, 29443],
1728 [15233, 23114, 27352],
1729 [12683, 20472, 25288],
1730 [10702, 18259, 23409],
1731 [8125, 14464, 19226],
1732 ],
1733 ],
1734 [
1735 [
1736 [9040, 14786, 18360],
1737 [9979, 15718, 19415],
1738 [7913, 13918, 18311],
1739 [5859, 10889, 15184],
1740 [4593, 8677, 12510],
1741 [3820, 7396, 10791],
1742 [1730, 3471, 5192],
1743 [11803, 18365, 22709],
1744 [11419, 18058, 22225],
1745 [9418, 15774, 20243],
1746 [7539, 13325, 17657],
1747 [6233, 11317, 15384],
1748 [5137, 9656, 13545],
1749 [2977, 5774, 8349],
1750 [21207, 27246, 29640],
1751 [19547, 26578, 29497],
1752 [16169, 23871, 27690],
1753 [12820, 20458, 25018],
1754 [10224, 17332, 22214],
1755 [8526, 15048, 19884],
1756 [5037, 9410, 13118],
1757 ],
1758 [
1759 [12339, 17329, 20140],
1760 [13505, 19895, 23225],
1761 [9847, 16944, 21564],
1762 [7280, 13256, 18348],
1763 [4712, 10009, 14454],
1764 [4361, 7914, 12477],
1765 [2870, 5628, 7995],
1766 [20061, 25504, 28526],
1767 [15235, 22878, 26145],
1768 [12985, 19958, 24155],
1769 [9782, 16641, 21403],
1770 [9456, 16360, 20760],
1771 [6855, 12940, 18557],
1772 [5661, 10564, 15002],
1773 [25656, 30602, 31894],
1774 [22570, 29107, 31092],
1775 [18917, 26423, 29541],
1776 [15940, 23649, 27754],
1777 [12803, 20581, 25219],
1778 [11082, 18695, 23376],
1779 [7939, 14373, 19005],
1780 ],
1781 ],
1782 [
1783 [
1784 [8192, 16384, 24576],
1785 [8192, 16384, 24576],
1786 [8192, 16384, 24576],
1787 [8192, 16384, 24576],
1788 [8192, 16384, 24576],
1789 [8192, 16384, 24576],
1790 [8192, 16384, 24576],
1791 [8192, 16384, 24576],
1792 [8192, 16384, 24576],
1793 [8192, 16384, 24576],
1794 [8192, 16384, 24576],
1795 [8192, 16384, 24576],
1796 [8192, 16384, 24576],
1797 [8192, 16384, 24576],
1798 [8192, 16384, 24576],
1799 [8192, 16384, 24576],
1800 [8192, 16384, 24576],
1801 [8192, 16384, 24576],
1802 [8192, 16384, 24576],
1803 [8192, 16384, 24576],
1804 [8192, 16384, 24576],
1805 ],
1806 [
1807 [8192, 16384, 24576],
1808 [8192, 16384, 24576],
1809 [8192, 16384, 24576],
1810 [8192, 16384, 24576],
1811 [8192, 16384, 24576],
1812 [8192, 16384, 24576],
1813 [8192, 16384, 24576],
1814 [8192, 16384, 24576],
1815 [8192, 16384, 24576],
1816 [8192, 16384, 24576],
1817 [8192, 16384, 24576],
1818 [8192, 16384, 24576],
1819 [8192, 16384, 24576],
1820 [8192, 16384, 24576],
1821 [8192, 16384, 24576],
1822 [8192, 16384, 24576],
1823 [8192, 16384, 24576],
1824 [8192, 16384, 24576],
1825 [8192, 16384, 24576],
1826 [8192, 16384, 24576],
1827 [8192, 16384, 24576],
1828 ],
1829 ],
1830 ],
1831 [
1832 [
1833 [
1834 [18315, 24289, 27551],
1835 [16854, 24068, 27835],
1836 [10140, 17927, 23173],
1837 [6722, 12982, 18267],
1838 [4661, 9826, 14706],
1839 [3832, 8165, 12294],
1840 [2795, 6098, 9245],
1841 [17145, 23326, 26672],
1842 [20733, 27680, 30308],
1843 [16032, 24461, 28546],
1844 [11653, 20093, 25081],
1845 [9290, 16429, 22086],
1846 [7796, 14598, 19982],
1847 [6502, 12378, 17441],
1848 [21681, 27732, 30320],
1849 [22389, 29044, 31261],
1850 [19027, 26731, 30087],
1851 [14739, 23755, 28624],
1852 [11358, 20778, 25511],
1853 [10995, 18073, 24190],
1854 [9162, 14990, 20617],
1855 ],
1856 [
1857 [21425, 27952, 30388],
1858 [18062, 25838, 29034],
1859 [11956, 19881, 24808],
1860 [7718, 15000, 20980],
1861 [5702, 11254, 16143],
1862 [4898, 9088, 16864],
1863 [3679, 6776, 11907],
1864 [23294, 30160, 31663],
1865 [24397, 29896, 31836],
1866 [19245, 27128, 30593],
1867 [13202, 19825, 26404],
1868 [11578, 19297, 23957],
1869 [8073, 13297, 21370],
1870 [5461, 10923, 19745],
1871 [27367, 30521, 31934],
1872 [24904, 30671, 31940],
1873 [23075, 28460, 31299],
1874 [14400, 23658, 30417],
1875 [13885, 23882, 28325],
1876 [14746, 22938, 27853],
1877 [5461, 16384, 27307],
1878 ],
1879 ],
1880 [
1881 [
1882 [18274, 24813, 27890],
1883 [15537, 23149, 27003],
1884 [9449, 16740, 21827],
1885 [6700, 12498, 17261],
1886 [4988, 9866, 14198],
1887 [4236, 8147, 11902],
1888 [2867, 5860, 8654],
1889 [17124, 23171, 26101],
1890 [20396, 27477, 30148],
1891 [16573, 24629, 28492],
1892 [12749, 20846, 25674],
1893 [10233, 17878, 22818],
1894 [8525, 15332, 20363],
1895 [6283, 11632, 16255],
1896 [20466, 26511, 29286],
1897 [23059, 29174, 31191],
1898 [19481, 27263, 30241],
1899 [15458, 23631, 28137],
1900 [12416, 20608, 25693],
1901 [10261, 18011, 23261],
1902 [8016, 14655, 19666],
1903 ],
1904 [
1905 [17616, 24586, 28112],
1906 [15809, 23299, 27155],
1907 [10767, 18890, 23793],
1908 [7727, 14255, 18865],
1909 [6129, 11926, 16882],
1910 [4482, 9704, 14861],
1911 [3277, 7452, 11522],
1912 [22956, 28551, 30730],
1913 [22724, 28937, 30961],
1914 [18467, 26324, 29580],
1915 [13234, 20713, 25649],
1916 [11181, 17592, 22481],
1917 [8291, 18358, 24576],
1918 [7568, 11881, 14984],
1919 [24948, 29001, 31147],
1920 [25674, 30619, 32151],
1921 [20841, 26793, 29603],
1922 [14669, 24356, 28666],
1923 [11334, 23593, 28219],
1924 [8922, 14762, 22873],
1925 [8301, 13544, 20535],
1926 ],
1927 ],
1928 [
1929 [
1930 [17113, 23733, 27081],
1931 [14139, 21406, 25452],
1932 [8552, 15002, 19776],
1933 [5871, 11120, 15378],
1934 [4455, 8616, 12253],
1935 [3469, 6910, 10386],
1936 [2255, 4553, 6782],
1937 [18224, 24376, 27053],
1938 [19290, 26710, 29614],
1939 [14936, 22991, 27184],
1940 [11238, 18951, 23762],
1941 [8786, 15617, 20588],
1942 [7317, 13228, 18003],
1943 [5101, 9512, 13493],
1944 [22639, 28222, 30210],
1945 [23216, 29331, 31307],
1946 [19075, 26762, 29895],
1947 [15014, 23113, 27457],
1948 [11938, 19857, 24752],
1949 [9942, 17280, 22282],
1950 [7167, 13144, 17752],
1951 ],
1952 [
1953 [15820, 22738, 26488],
1954 [13530, 20885, 25216],
1955 [8395, 15530, 20452],
1956 [6574, 12321, 16380],
1957 [5353, 10419, 14568],
1958 [4613, 8446, 12381],
1959 [3440, 7158, 9903],
1960 [24247, 29051, 31224],
1961 [22118, 28058, 30369],
1962 [16498, 24768, 28389],
1963 [12920, 21175, 26137],
1964 [10730, 18619, 25352],
1965 [10187, 16279, 22791],
1966 [9310, 14631, 22127],
1967 [24970, 30558, 32057],
1968 [24801, 29942, 31698],
1969 [22432, 28453, 30855],
1970 [19054, 25680, 29580],
1971 [14392, 23036, 28109],
1972 [12495, 20947, 26650],
1973 [12442, 20326, 26214],
1974 ],
1975 ],
1976 [
1977 [
1978 [12162, 18785, 22648],
1979 [12749, 19697, 23806],
1980 [8580, 15297, 20346],
1981 [6169, 11749, 16543],
1982 [4836, 9391, 13448],
1983 [3821, 7711, 11613],
1984 [2228, 4601, 7070],
1985 [16319, 24725, 28280],
1986 [15698, 23277, 27168],
1987 [12726, 20368, 25047],
1988 [9912, 17015, 21976],
1989 [7888, 14220, 19179],
1990 [6777, 12284, 17018],
1991 [4492, 8590, 12252],
1992 [23249, 28904, 30947],
1993 [21050, 27908, 30512],
1994 [17440, 25340, 28949],
1995 [14059, 22018, 26541],
1996 [11288, 18903, 23898],
1997 [9411, 16342, 21428],
1998 [6278, 11588, 15944],
1999 ],
2000 [
2001 [13981, 20067, 23226],
2002 [16922, 23580, 26783],
2003 [11005, 19039, 24487],
2004 [7389, 14218, 19798],
2005 [5598, 11505, 17206],
2006 [6090, 11213, 15659],
2007 [3820, 7371, 10119],
2008 [21082, 26925, 29675],
2009 [21262, 28627, 31128],
2010 [18392, 26454, 30437],
2011 [14870, 22910, 27096],
2012 [12620, 19484, 24908],
2013 [9290, 16553, 22802],
2014 [6668, 14288, 20004],
2015 [27704, 31055, 31949],
2016 [24709, 29978, 31788],
2017 [21668, 29264, 31657],
2018 [18295, 26968, 30074],
2019 [16399, 24422, 29313],
2020 [14347, 23026, 28104],
2021 [12370, 19806, 24477],
2022 ],
2023 ],
2024 [
2025 [
2026 [8192, 16384, 24576],
2027 [8192, 16384, 24576],
2028 [8192, 16384, 24576],
2029 [8192, 16384, 24576],
2030 [8192, 16384, 24576],
2031 [8192, 16384, 24576],
2032 [8192, 16384, 24576],
2033 [8192, 16384, 24576],
2034 [8192, 16384, 24576],
2035 [8192, 16384, 24576],
2036 [8192, 16384, 24576],
2037 [8192, 16384, 24576],
2038 [8192, 16384, 24576],
2039 [8192, 16384, 24576],
2040 [8192, 16384, 24576],
2041 [8192, 16384, 24576],
2042 [8192, 16384, 24576],
2043 [8192, 16384, 24576],
2044 [8192, 16384, 24576],
2045 [8192, 16384, 24576],
2046 [8192, 16384, 24576],
2047 ],
2048 [
2049 [8192, 16384, 24576],
2050 [8192, 16384, 24576],
2051 [8192, 16384, 24576],
2052 [8192, 16384, 24576],
2053 [8192, 16384, 24576],
2054 [8192, 16384, 24576],
2055 [8192, 16384, 24576],
2056 [8192, 16384, 24576],
2057 [8192, 16384, 24576],
2058 [8192, 16384, 24576],
2059 [8192, 16384, 24576],
2060 [8192, 16384, 24576],
2061 [8192, 16384, 24576],
2062 [8192, 16384, 24576],
2063 [8192, 16384, 24576],
2064 [8192, 16384, 24576],
2065 [8192, 16384, 24576],
2066 [8192, 16384, 24576],
2067 [8192, 16384, 24576],
2068 [8192, 16384, 24576],
2069 [8192, 16384, 24576],
2070 ],
2071 ],
2072 ],
2073]);
2074
2075pub static av1_default_coeff_base_multi_cdfs: [[[[[u16; NUM_BASE_LEVELS + 2];
2076 SIG_COEF_CONTEXTS];
2077 PLANE_TYPES];
2078 TxSize::TX_SIZES];
2079 TOKEN_CDF_Q_CTXS] = cdf_5d([
2080 [
2081 [
2082 [
2083 [4034, 8930, 12727],
2084 [18082, 29741, 31877],
2085 [12596, 26124, 30493],
2086 [9446, 21118, 27005],
2087 [6308, 15141, 21279],
2088 [2463, 6357, 9783],
2089 [20667, 30546, 31929],
2090 [13043, 26123, 30134],
2091 [8151, 18757, 24778],
2092 [5255, 12839, 18632],
2093 [2820, 7206, 11161],
2094 [8192, 16384, 24576],
2095 [8192, 16384, 24576],
2096 [8192, 16384, 24576],
2097 [8192, 16384, 24576],
2098 [8192, 16384, 24576],
2099 [8192, 16384, 24576],
2100 [8192, 16384, 24576],
2101 [8192, 16384, 24576],
2102 [8192, 16384, 24576],
2103 [8192, 16384, 24576],
2104 [15736, 27553, 30604],
2105 [11210, 23794, 28787],
2106 [5947, 13874, 19701],
2107 [4215, 9323, 13891],
2108 [2833, 6462, 10059],
2109 [19605, 30393, 31582],
2110 [13523, 26252, 30248],
2111 [8446, 18622, 24512],
2112 [3818, 10343, 15974],
2113 [1481, 4117, 6796],
2114 [22649, 31302, 32190],
2115 [14829, 27127, 30449],
2116 [8313, 17702, 23304],
2117 [3022, 8301, 12786],
2118 [1536, 4412, 7184],
2119 [22354, 29774, 31372],
2120 [14723, 25472, 29214],
2121 [6673, 13745, 18662],
2122 [2068, 5766, 9322],
2123 [8192, 16384, 24576],
2124 [8192, 16384, 24576],
2125 ],
2126 [
2127 [6302, 16444, 21761],
2128 [23040, 31538, 32475],
2129 [15196, 28452, 31496],
2130 [10020, 22946, 28514],
2131 [6533, 16862, 23501],
2132 [3538, 9816, 15076],
2133 [24444, 31875, 32525],
2134 [15881, 28924, 31635],
2135 [9922, 22873, 28466],
2136 [6527, 16966, 23691],
2137 [4114, 11303, 17220],
2138 [8192, 16384, 24576],
2139 [8192, 16384, 24576],
2140 [8192, 16384, 24576],
2141 [8192, 16384, 24576],
2142 [8192, 16384, 24576],
2143 [8192, 16384, 24576],
2144 [8192, 16384, 24576],
2145 [8192, 16384, 24576],
2146 [8192, 16384, 24576],
2147 [8192, 16384, 24576],
2148 [20201, 30770, 32209],
2149 [14754, 28071, 31258],
2150 [8378, 20186, 26517],
2151 [5916, 15299, 21978],
2152 [4268, 11583, 17901],
2153 [24361, 32025, 32581],
2154 [18673, 30105, 31943],
2155 [10196, 22244, 27576],
2156 [5495, 14349, 20417],
2157 [2676, 7415, 11498],
2158 [24678, 31958, 32585],
2159 [18629, 29906, 31831],
2160 [9364, 20724, 26315],
2161 [4641, 12318, 18094],
2162 [2758, 7387, 11579],
2163 [25433, 31842, 32469],
2164 [18795, 29289, 31411],
2165 [7644, 17584, 23592],
2166 [3408, 9014, 15047],
2167 [8192, 16384, 24576],
2168 [8192, 16384, 24576],
2169 ],
2170 ],
2171 [
2172 [
2173 [4536, 10072, 14001],
2174 [25459, 31416, 32206],
2175 [16605, 28048, 30818],
2176 [11008, 22857, 27719],
2177 [6915, 16268, 22315],
2178 [2625, 6812, 10537],
2179 [24257, 31788, 32499],
2180 [16880, 29454, 31879],
2181 [11958, 25054, 29778],
2182 [7916, 18718, 25084],
2183 [3383, 8777, 13446],
2184 [22720, 31603, 32393],
2185 [14960, 28125, 31335],
2186 [9731, 22210, 27928],
2187 [6304, 15832, 22277],
2188 [2910, 7818, 12166],
2189 [20375, 30627, 32131],
2190 [13904, 27284, 30887],
2191 [9368, 21558, 27144],
2192 [5937, 14966, 21119],
2193 [2667, 7225, 11319],
2194 [23970, 31470, 32378],
2195 [17173, 29734, 32018],
2196 [12795, 25441, 29965],
2197 [8981, 19680, 25893],
2198 [4728, 11372, 16902],
2199 [24287, 31797, 32439],
2200 [16703, 29145, 31696],
2201 [10833, 23554, 28725],
2202 [6468, 16566, 23057],
2203 [2415, 6562, 10278],
2204 [26610, 32395, 32659],
2205 [18590, 30498, 32117],
2206 [12420, 25756, 29950],
2207 [7639, 18746, 24710],
2208 [3001, 8086, 12347],
2209 [25076, 32064, 32580],
2210 [17946, 30128, 32028],
2211 [12024, 24985, 29378],
2212 [7517, 18390, 24304],
2213 [3243, 8781, 13331],
2214 [8192, 16384, 24576],
2215 ],
2216 [
2217 [6037, 16771, 21957],
2218 [24774, 31704, 32426],
2219 [16830, 28589, 31056],
2220 [10602, 22828, 27760],
2221 [6733, 16829, 23071],
2222 [3250, 8914, 13556],
2223 [25582, 32220, 32668],
2224 [18659, 30342, 32223],
2225 [12546, 26149, 30515],
2226 [8420, 20451, 26801],
2227 [4636, 12420, 18344],
2228 [27581, 32362, 32639],
2229 [18987, 30083, 31978],
2230 [11327, 24248, 29084],
2231 [7264, 17719, 24120],
2232 [3995, 10768, 16169],
2233 [25893, 31831, 32487],
2234 [16577, 28587, 31379],
2235 [10189, 22748, 28182],
2236 [6832, 17094, 23556],
2237 [3708, 10110, 15334],
2238 [25904, 32282, 32656],
2239 [19721, 30792, 32276],
2240 [12819, 26243, 30411],
2241 [8572, 20614, 26891],
2242 [5364, 14059, 20467],
2243 [26580, 32438, 32677],
2244 [20852, 31225, 32340],
2245 [12435, 25700, 29967],
2246 [8691, 20825, 26976],
2247 [4446, 12209, 17269],
2248 [27350, 32429, 32696],
2249 [21372, 30977, 32272],
2250 [12673, 25270, 29853],
2251 [9208, 20925, 26640],
2252 [5018, 13351, 18732],
2253 [27351, 32479, 32713],
2254 [21398, 31209, 32387],
2255 [12162, 25047, 29842],
2256 [7896, 18691, 25319],
2257 [4670, 12882, 18881],
2258 [8192, 16384, 24576],
2259 ],
2260 ],
2261 [
2262 [
2263 [5487, 10460, 13708],
2264 [21597, 28303, 30674],
2265 [11037, 21953, 26476],
2266 [8147, 17962, 22952],
2267 [5242, 13061, 18532],
2268 [1889, 5208, 8182],
2269 [26774, 32133, 32590],
2270 [17844, 29564, 31767],
2271 [11690, 24438, 29171],
2272 [7542, 18215, 24459],
2273 [2993, 8050, 12319],
2274 [28023, 32328, 32591],
2275 [18651, 30126, 31954],
2276 [12164, 25146, 29589],
2277 [7762, 18530, 24771],
2278 [3492, 9183, 13920],
2279 [27591, 32008, 32491],
2280 [17149, 28853, 31510],
2281 [11485, 24003, 28860],
2282 [7697, 18086, 24210],
2283 [3075, 7999, 12218],
2284 [28268, 32482, 32654],
2285 [19631, 31051, 32404],
2286 [13860, 27260, 31020],
2287 [9605, 21613, 27594],
2288 [4876, 12162, 17908],
2289 [27248, 32316, 32576],
2290 [18955, 30457, 32075],
2291 [11824, 23997, 28795],
2292 [7346, 18196, 24647],
2293 [3403, 9247, 14111],
2294 [29711, 32655, 32735],
2295 [21169, 31394, 32417],
2296 [13487, 27198, 30957],
2297 [8828, 21683, 27614],
2298 [4270, 11451, 17038],
2299 [28708, 32578, 32731],
2300 [20120, 31241, 32482],
2301 [13692, 27550, 31321],
2302 [9418, 22514, 28439],
2303 [4999, 13283, 19462],
2304 [8192, 16384, 24576],
2305 ],
2306 [
2307 [5673, 14302, 19711],
2308 [26251, 30701, 31834],
2309 [12782, 23783, 27803],
2310 [9127, 20657, 25808],
2311 [6368, 16208, 21462],
2312 [2465, 7177, 10822],
2313 [29961, 32563, 32719],
2314 [18318, 29891, 31949],
2315 [11361, 24514, 29357],
2316 [7900, 19603, 25607],
2317 [4002, 10590, 15546],
2318 [29637, 32310, 32595],
2319 [18296, 29913, 31809],
2320 [10144, 21515, 26871],
2321 [5358, 14322, 20394],
2322 [3067, 8362, 13346],
2323 [28652, 32470, 32676],
2324 [17538, 30771, 32209],
2325 [13924, 26882, 30494],
2326 [10496, 22837, 27869],
2327 [7236, 16396, 21621],
2328 [30743, 32687, 32746],
2329 [23006, 31676, 32489],
2330 [14494, 27828, 31120],
2331 [10174, 22801, 28352],
2332 [6242, 15281, 21043],
2333 [25817, 32243, 32720],
2334 [18618, 31367, 32325],
2335 [13997, 28318, 31878],
2336 [12255, 26534, 31383],
2337 [9561, 21588, 28450],
2338 [28188, 32635, 32724],
2339 [22060, 32365, 32728],
2340 [18102, 30690, 32528],
2341 [14196, 28864, 31999],
2342 [12262, 25792, 30865],
2343 [24176, 32109, 32628],
2344 [18280, 29681, 31963],
2345 [10205, 23703, 29664],
2346 [7889, 20025, 27676],
2347 [6060, 16743, 23970],
2348 [8192, 16384, 24576],
2349 ],
2350 ],
2351 [
2352 [
2353 [5141, 7096, 8260],
2354 [27186, 29022, 29789],
2355 [6668, 12568, 15682],
2356 [2172, 6181, 8638],
2357 [1126, 3379, 4531],
2358 [443, 1361, 2254],
2359 [26083, 31153, 32436],
2360 [13486, 24603, 28483],
2361 [6508, 14840, 19910],
2362 [3386, 8800, 13286],
2363 [1530, 4322, 7054],
2364 [29639, 32080, 32548],
2365 [15897, 27552, 30290],
2366 [8588, 20047, 25383],
2367 [4889, 13339, 19269],
2368 [2240, 6871, 10498],
2369 [28165, 32197, 32517],
2370 [20735, 30427, 31568],
2371 [14325, 24671, 27692],
2372 [5119, 12554, 17805],
2373 [1810, 5441, 8261],
2374 [31212, 32724, 32748],
2375 [23352, 31766, 32545],
2376 [14669, 27570, 31059],
2377 [8492, 20894, 27272],
2378 [3644, 10194, 15204],
2379 [8192, 16384, 24576],
2380 [8192, 16384, 24576],
2381 [8192, 16384, 24576],
2382 [8192, 16384, 24576],
2383 [8192, 16384, 24576],
2384 [8192, 16384, 24576],
2385 [8192, 16384, 24576],
2386 [8192, 16384, 24576],
2387 [8192, 16384, 24576],
2388 [8192, 16384, 24576],
2389 [8192, 16384, 24576],
2390 [8192, 16384, 24576],
2391 [8192, 16384, 24576],
2392 [8192, 16384, 24576],
2393 [8192, 16384, 24576],
2394 [8192, 16384, 24576],
2395 ],
2396 [
2397 [2461, 7013, 9371],
2398 [24749, 29600, 30986],
2399 [9466, 19037, 22417],
2400 [3584, 9280, 14400],
2401 [1505, 3929, 5433],
2402 [677, 1500, 2736],
2403 [23987, 30702, 32117],
2404 [13554, 24571, 29263],
2405 [6211, 14556, 21155],
2406 [3135, 10972, 15625],
2407 [2435, 7127, 11427],
2408 [31300, 32532, 32550],
2409 [14757, 30365, 31954],
2410 [4405, 11612, 18553],
2411 [580, 4132, 7322],
2412 [1695, 10169, 14124],
2413 [30008, 32282, 32591],
2414 [19244, 30108, 31748],
2415 [11180, 24158, 29555],
2416 [5650, 14972, 19209],
2417 [2114, 5109, 8456],
2418 [31856, 32716, 32748],
2419 [23012, 31664, 32572],
2420 [13694, 26656, 30636],
2421 [8142, 19508, 26093],
2422 [4253, 10955, 16724],
2423 [8192, 16384, 24576],
2424 [8192, 16384, 24576],
2425 [8192, 16384, 24576],
2426 [8192, 16384, 24576],
2427 [8192, 16384, 24576],
2428 [8192, 16384, 24576],
2429 [8192, 16384, 24576],
2430 [8192, 16384, 24576],
2431 [8192, 16384, 24576],
2432 [8192, 16384, 24576],
2433 [8192, 16384, 24576],
2434 [8192, 16384, 24576],
2435 [8192, 16384, 24576],
2436 [8192, 16384, 24576],
2437 [8192, 16384, 24576],
2438 [8192, 16384, 24576],
2439 ],
2440 ],
2441 [
2442 [
2443 [601, 983, 1311],
2444 [18725, 23406, 28087],
2445 [5461, 8192, 10923],
2446 [3781, 15124, 21425],
2447 [2587, 7761, 12072],
2448 [106, 458, 810],
2449 [22282, 29710, 31894],
2450 [8508, 20926, 25984],
2451 [3726, 12713, 18083],
2452 [1620, 7112, 10893],
2453 [729, 2236, 3495],
2454 [30163, 32474, 32684],
2455 [18304, 30464, 32000],
2456 [11443, 26526, 29647],
2457 [6007, 15292, 21299],
2458 [2234, 6703, 8937],
2459 [30954, 32177, 32571],
2460 [17363, 29562, 31076],
2461 [9686, 22464, 27410],
2462 [8192, 16384, 21390],
2463 [1755, 8046, 11264],
2464 [31168, 32734, 32748],
2465 [22486, 31441, 32471],
2466 [12833, 25627, 29738],
2467 [6980, 17379, 23122],
2468 [3111, 8887, 13479],
2469 [8192, 16384, 24576],
2470 [8192, 16384, 24576],
2471 [8192, 16384, 24576],
2472 [8192, 16384, 24576],
2473 [8192, 16384, 24576],
2474 [8192, 16384, 24576],
2475 [8192, 16384, 24576],
2476 [8192, 16384, 24576],
2477 [8192, 16384, 24576],
2478 [8192, 16384, 24576],
2479 [8192, 16384, 24576],
2480 [8192, 16384, 24576],
2481 [8192, 16384, 24576],
2482 [8192, 16384, 24576],
2483 [8192, 16384, 24576],
2484 [8192, 16384, 24576],
2485 ],
2486 [
2487 [8192, 16384, 24576],
2488 [8192, 16384, 24576],
2489 [8192, 16384, 24576],
2490 [8192, 16384, 24576],
2491 [8192, 16384, 24576],
2492 [8192, 16384, 24576],
2493 [8192, 16384, 24576],
2494 [8192, 16384, 24576],
2495 [8192, 16384, 24576],
2496 [8192, 16384, 24576],
2497 [8192, 16384, 24576],
2498 [8192, 16384, 24576],
2499 [8192, 16384, 24576],
2500 [8192, 16384, 24576],
2501 [8192, 16384, 24576],
2502 [8192, 16384, 24576],
2503 [8192, 16384, 24576],
2504 [8192, 16384, 24576],
2505 [8192, 16384, 24576],
2506 [8192, 16384, 24576],
2507 [8192, 16384, 24576],
2508 [8192, 16384, 24576],
2509 [8192, 16384, 24576],
2510 [8192, 16384, 24576],
2511 [8192, 16384, 24576],
2512 [8192, 16384, 24576],
2513 [8192, 16384, 24576],
2514 [8192, 16384, 24576],
2515 [8192, 16384, 24576],
2516 [8192, 16384, 24576],
2517 [8192, 16384, 24576],
2518 [8192, 16384, 24576],
2519 [8192, 16384, 24576],
2520 [8192, 16384, 24576],
2521 [8192, 16384, 24576],
2522 [8192, 16384, 24576],
2523 [8192, 16384, 24576],
2524 [8192, 16384, 24576],
2525 [8192, 16384, 24576],
2526 [8192, 16384, 24576],
2527 [8192, 16384, 24576],
2528 [8192, 16384, 24576],
2529 ],
2530 ],
2531 ],
2532 [
2533 [
2534 [
2535 [6041, 11854, 15927],
2536 [20326, 30905, 32251],
2537 [14164, 26831, 30725],
2538 [9760, 20647, 26585],
2539 [6416, 14953, 21219],
2540 [2966, 7151, 10891],
2541 [23567, 31374, 32254],
2542 [14978, 27416, 30946],
2543 [9434, 20225, 26254],
2544 [6658, 14558, 20535],
2545 [3916, 8677, 12989],
2546 [8192, 16384, 24576],
2547 [8192, 16384, 24576],
2548 [8192, 16384, 24576],
2549 [8192, 16384, 24576],
2550 [8192, 16384, 24576],
2551 [8192, 16384, 24576],
2552 [8192, 16384, 24576],
2553 [8192, 16384, 24576],
2554 [8192, 16384, 24576],
2555 [8192, 16384, 24576],
2556 [18088, 29545, 31587],
2557 [13062, 25843, 30073],
2558 [8940, 16827, 22251],
2559 [7654, 13220, 17973],
2560 [5733, 10316, 14456],
2561 [22879, 31388, 32114],
2562 [15215, 27993, 30955],
2563 [9397, 19445, 24978],
2564 [3442, 9813, 15344],
2565 [1368, 3936, 6532],
2566 [25494, 32033, 32406],
2567 [16772, 27963, 30718],
2568 [9419, 18165, 23260],
2569 [2677, 7501, 11797],
2570 [1516, 4344, 7170],
2571 [26556, 31454, 32101],
2572 [17128, 27035, 30108],
2573 [8324, 15344, 20249],
2574 [1903, 5696, 9469],
2575 [8192, 16384, 24576],
2576 [8192, 16384, 24576],
2577 ],
2578 [
2579 [8455, 19003, 24368],
2580 [23563, 32021, 32604],
2581 [16237, 29446, 31935],
2582 [10724, 23999, 29358],
2583 [6725, 17528, 24416],
2584 [3927, 10927, 16825],
2585 [26313, 32288, 32634],
2586 [17430, 30095, 32095],
2587 [11116, 24606, 29679],
2588 [7195, 18384, 25269],
2589 [4726, 12852, 19315],
2590 [8192, 16384, 24576],
2591 [8192, 16384, 24576],
2592 [8192, 16384, 24576],
2593 [8192, 16384, 24576],
2594 [8192, 16384, 24576],
2595 [8192, 16384, 24576],
2596 [8192, 16384, 24576],
2597 [8192, 16384, 24576],
2598 [8192, 16384, 24576],
2599 [8192, 16384, 24576],
2600 [22822, 31648, 32483],
2601 [16724, 29633, 31929],
2602 [10261, 23033, 28725],
2603 [7029, 17840, 24528],
2604 [4867, 13886, 21502],
2605 [25298, 31892, 32491],
2606 [17809, 29330, 31512],
2607 [9668, 21329, 26579],
2608 [4774, 12956, 18976],
2609 [2322, 7030, 11540],
2610 [25472, 31920, 32543],
2611 [17957, 29387, 31632],
2612 [9196, 20593, 26400],
2613 [4680, 12705, 19202],
2614 [2917, 8456, 13436],
2615 [26471, 32059, 32574],
2616 [18458, 29783, 31909],
2617 [8400, 19464, 25956],
2618 [3812, 10973, 17206],
2619 [8192, 16384, 24576],
2620 [8192, 16384, 24576],
2621 ],
2622 ],
2623 [
2624 [
2625 [6779, 13743, 17678],
2626 [24806, 31797, 32457],
2627 [17616, 29047, 31372],
2628 [11063, 23175, 28003],
2629 [6521, 16110, 22324],
2630 [2764, 7504, 11654],
2631 [25266, 32367, 32637],
2632 [19054, 30553, 32175],
2633 [12139, 25212, 29807],
2634 [7311, 18162, 24704],
2635 [3397, 9164, 14074],
2636 [25988, 32208, 32522],
2637 [16253, 28912, 31526],
2638 [9151, 21387, 27372],
2639 [5688, 14915, 21496],
2640 [2717, 7627, 12004],
2641 [23144, 31855, 32443],
2642 [16070, 28491, 31325],
2643 [8702, 20467, 26517],
2644 [5243, 13956, 20367],
2645 [2621, 7335, 11567],
2646 [26636, 32340, 32630],
2647 [19990, 31050, 32341],
2648 [13243, 26105, 30315],
2649 [8588, 19521, 25918],
2650 [4717, 11585, 17304],
2651 [25844, 32292, 32582],
2652 [19090, 30635, 32097],
2653 [11963, 24546, 28939],
2654 [6218, 16087, 22354],
2655 [2340, 6608, 10426],
2656 [28046, 32576, 32694],
2657 [21178, 31313, 32296],
2658 [13486, 26184, 29870],
2659 [7149, 17871, 23723],
2660 [2833, 7958, 12259],
2661 [27710, 32528, 32686],
2662 [20674, 31076, 32268],
2663 [12413, 24955, 29243],
2664 [6676, 16927, 23097],
2665 [2966, 8333, 12919],
2666 [8192, 16384, 24576],
2667 ],
2668 [
2669 [8639, 19339, 24429],
2670 [24404, 31837, 32525],
2671 [16997, 29425, 31784],
2672 [11253, 24234, 29149],
2673 [6751, 17394, 24028],
2674 [3490, 9830, 15191],
2675 [26283, 32471, 32714],
2676 [19599, 31168, 32442],
2677 [13146, 26954, 30893],
2678 [8214, 20588, 26890],
2679 [4699, 13081, 19300],
2680 [28212, 32458, 32669],
2681 [18594, 30316, 32100],
2682 [11219, 24408, 29234],
2683 [6865, 17656, 24149],
2684 [3678, 10362, 16006],
2685 [25825, 32136, 32616],
2686 [17313, 29853, 32021],
2687 [11197, 24471, 29472],
2688 [6947, 17781, 24405],
2689 [3768, 10660, 16261],
2690 [27352, 32500, 32706],
2691 [20850, 31468, 32469],
2692 [14021, 27707, 31133],
2693 [8964, 21748, 27838],
2694 [5437, 14665, 21187],
2695 [26304, 32492, 32698],
2696 [20409, 31380, 32385],
2697 [13682, 27222, 30632],
2698 [8974, 21236, 26685],
2699 [4234, 11665, 16934],
2700 [26273, 32357, 32711],
2701 [20672, 31242, 32441],
2702 [14172, 27254, 30902],
2703 [9870, 21898, 27275],
2704 [5164, 13506, 19270],
2705 [26725, 32459, 32728],
2706 [20991, 31442, 32527],
2707 [13071, 26434, 30811],
2708 [8184, 20090, 26742],
2709 [4803, 13255, 19895],
2710 [8192, 16384, 24576],
2711 ],
2712 ],
2713 [
2714 [
2715 [7555, 14942, 18501],
2716 [24410, 31178, 32287],
2717 [14394, 26738, 30253],
2718 [8413, 19554, 25195],
2719 [4766, 12924, 18785],
2720 [2029, 5806, 9207],
2721 [26776, 32364, 32663],
2722 [18732, 29967, 31931],
2723 [11005, 23786, 28852],
2724 [6466, 16909, 23510],
2725 [3044, 8638, 13419],
2726 [29208, 32582, 32704],
2727 [20068, 30857, 32208],
2728 [12003, 25085, 29595],
2729 [6947, 17750, 24189],
2730 [3245, 9103, 14007],
2731 [27359, 32465, 32669],
2732 [19421, 30614, 32174],
2733 [11915, 25010, 29579],
2734 [6950, 17676, 24074],
2735 [3007, 8473, 13096],
2736 [29002, 32676, 32735],
2737 [22102, 31849, 32576],
2738 [14408, 28009, 31405],
2739 [9027, 21679, 27931],
2740 [4694, 12678, 18748],
2741 [28216, 32528, 32682],
2742 [20849, 31264, 32318],
2743 [12756, 25815, 29751],
2744 [7565, 18801, 24923],
2745 [3509, 9533, 14477],
2746 [30133, 32687, 32739],
2747 [23063, 31910, 32515],
2748 [14588, 28051, 31132],
2749 [9085, 21649, 27457],
2750 [4261, 11654, 17264],
2751 [29518, 32691, 32748],
2752 [22451, 31959, 32613],
2753 [14864, 28722, 31700],
2754 [9695, 22964, 28716],
2755 [4932, 13358, 19502],
2756 [8192, 16384, 24576],
2757 ],
2758 [
2759 [6465, 16958, 21688],
2760 [25199, 31514, 32360],
2761 [14774, 27149, 30607],
2762 [9257, 21438, 26972],
2763 [5723, 15183, 21882],
2764 [3150, 8879, 13731],
2765 [26989, 32262, 32682],
2766 [17396, 29937, 32085],
2767 [11387, 24901, 29784],
2768 [7289, 18821, 25548],
2769 [3734, 10577, 16086],
2770 [29728, 32501, 32695],
2771 [17431, 29701, 31903],
2772 [9921, 22826, 28300],
2773 [5896, 15434, 22068],
2774 [3430, 9646, 14757],
2775 [28614, 32511, 32705],
2776 [19364, 30638, 32263],
2777 [13129, 26254, 30402],
2778 [8754, 20484, 26440],
2779 [4378, 11607, 17110],
2780 [30292, 32671, 32744],
2781 [21780, 31603, 32501],
2782 [14314, 27829, 31291],
2783 [9611, 22327, 28263],
2784 [4890, 13087, 19065],
2785 [25862, 32567, 32733],
2786 [20794, 32050, 32567],
2787 [17243, 30625, 32254],
2788 [13283, 27628, 31474],
2789 [9669, 22532, 28918],
2790 [27435, 32697, 32748],
2791 [24922, 32390, 32714],
2792 [21449, 31504, 32536],
2793 [16392, 29729, 31832],
2794 [11692, 24884, 29076],
2795 [24193, 32290, 32735],
2796 [18909, 31104, 32563],
2797 [12236, 26841, 31403],
2798 [8171, 21840, 29082],
2799 [7224, 17280, 25275],
2800 [8192, 16384, 24576],
2801 ],
2802 ],
2803 [
2804 [
2805 [3078, 6839, 9890],
2806 [13837, 20450, 24479],
2807 [5914, 14222, 19328],
2808 [3866, 10267, 14762],
2809 [2612, 7208, 11042],
2810 [1067, 2991, 4776],
2811 [25817, 31646, 32529],
2812 [13708, 26338, 30385],
2813 [7328, 18585, 24870],
2814 [4691, 13080, 19276],
2815 [1825, 5253, 8352],
2816 [29386, 32315, 32624],
2817 [17160, 29001, 31360],
2818 [9602, 21862, 27396],
2819 [5915, 15772, 22148],
2820 [2786, 7779, 12047],
2821 [29246, 32450, 32663],
2822 [18696, 29929, 31818],
2823 [10510, 23369, 28560],
2824 [6229, 16499, 23125],
2825 [2608, 7448, 11705],
2826 [30753, 32710, 32748],
2827 [21638, 31487, 32503],
2828 [12937, 26854, 30870],
2829 [8182, 20596, 26970],
2830 [3637, 10269, 15497],
2831 [8192, 16384, 24576],
2832 [8192, 16384, 24576],
2833 [8192, 16384, 24576],
2834 [8192, 16384, 24576],
2835 [8192, 16384, 24576],
2836 [8192, 16384, 24576],
2837 [8192, 16384, 24576],
2838 [8192, 16384, 24576],
2839 [8192, 16384, 24576],
2840 [8192, 16384, 24576],
2841 [8192, 16384, 24576],
2842 [8192, 16384, 24576],
2843 [8192, 16384, 24576],
2844 [8192, 16384, 24576],
2845 [8192, 16384, 24576],
2846 [8192, 16384, 24576],
2847 ],
2848 [
2849 [5244, 12150, 16906],
2850 [20486, 26858, 29701],
2851 [7756, 18317, 23735],
2852 [3452, 9256, 13146],
2853 [2020, 5206, 8229],
2854 [1801, 4993, 7903],
2855 [27051, 31858, 32531],
2856 [15988, 27531, 30619],
2857 [9188, 21484, 26719],
2858 [6273, 17186, 23800],
2859 [3108, 9355, 14764],
2860 [31076, 32520, 32680],
2861 [18119, 30037, 31850],
2862 [10244, 22969, 27472],
2863 [4692, 14077, 19273],
2864 [3694, 11677, 17556],
2865 [30060, 32581, 32720],
2866 [21011, 30775, 32120],
2867 [11931, 24820, 29289],
2868 [7119, 17662, 24356],
2869 [3833, 10706, 16304],
2870 [31954, 32731, 32748],
2871 [23913, 31724, 32489],
2872 [15520, 28060, 31286],
2873 [11517, 23008, 28571],
2874 [6193, 14508, 20629],
2875 [8192, 16384, 24576],
2876 [8192, 16384, 24576],
2877 [8192, 16384, 24576],
2878 [8192, 16384, 24576],
2879 [8192, 16384, 24576],
2880 [8192, 16384, 24576],
2881 [8192, 16384, 24576],
2882 [8192, 16384, 24576],
2883 [8192, 16384, 24576],
2884 [8192, 16384, 24576],
2885 [8192, 16384, 24576],
2886 [8192, 16384, 24576],
2887 [8192, 16384, 24576],
2888 [8192, 16384, 24576],
2889 [8192, 16384, 24576],
2890 [8192, 16384, 24576],
2891 ],
2892 ],
2893 [
2894 [
2895 [1035, 2807, 4156],
2896 [13162, 18138, 20939],
2897 [2696, 6633, 8755],
2898 [1373, 4161, 6853],
2899 [1099, 2746, 4716],
2900 [340, 1021, 1599],
2901 [22826, 30419, 32135],
2902 [10395, 21762, 26942],
2903 [4726, 12407, 17361],
2904 [2447, 7080, 10593],
2905 [1227, 3717, 6011],
2906 [28156, 31424, 31934],
2907 [16915, 27754, 30373],
2908 [9148, 20990, 26431],
2909 [5950, 15515, 21148],
2910 [2492, 7327, 11526],
2911 [30602, 32477, 32670],
2912 [20026, 29955, 31568],
2913 [11220, 23628, 28105],
2914 [6652, 17019, 22973],
2915 [3064, 8536, 13043],
2916 [31769, 32724, 32748],
2917 [22230, 30887, 32373],
2918 [12234, 25079, 29731],
2919 [7326, 18816, 25353],
2920 [3933, 10907, 16616],
2921 [8192, 16384, 24576],
2922 [8192, 16384, 24576],
2923 [8192, 16384, 24576],
2924 [8192, 16384, 24576],
2925 [8192, 16384, 24576],
2926 [8192, 16384, 24576],
2927 [8192, 16384, 24576],
2928 [8192, 16384, 24576],
2929 [8192, 16384, 24576],
2930 [8192, 16384, 24576],
2931 [8192, 16384, 24576],
2932 [8192, 16384, 24576],
2933 [8192, 16384, 24576],
2934 [8192, 16384, 24576],
2935 [8192, 16384, 24576],
2936 [8192, 16384, 24576],
2937 ],
2938 [
2939 [8192, 16384, 24576],
2940 [8192, 16384, 24576],
2941 [8192, 16384, 24576],
2942 [8192, 16384, 24576],
2943 [8192, 16384, 24576],
2944 [8192, 16384, 24576],
2945 [8192, 16384, 24576],
2946 [8192, 16384, 24576],
2947 [8192, 16384, 24576],
2948 [8192, 16384, 24576],
2949 [8192, 16384, 24576],
2950 [8192, 16384, 24576],
2951 [8192, 16384, 24576],
2952 [8192, 16384, 24576],
2953 [8192, 16384, 24576],
2954 [8192, 16384, 24576],
2955 [8192, 16384, 24576],
2956 [8192, 16384, 24576],
2957 [8192, 16384, 24576],
2958 [8192, 16384, 24576],
2959 [8192, 16384, 24576],
2960 [8192, 16384, 24576],
2961 [8192, 16384, 24576],
2962 [8192, 16384, 24576],
2963 [8192, 16384, 24576],
2964 [8192, 16384, 24576],
2965 [8192, 16384, 24576],
2966 [8192, 16384, 24576],
2967 [8192, 16384, 24576],
2968 [8192, 16384, 24576],
2969 [8192, 16384, 24576],
2970 [8192, 16384, 24576],
2971 [8192, 16384, 24576],
2972 [8192, 16384, 24576],
2973 [8192, 16384, 24576],
2974 [8192, 16384, 24576],
2975 [8192, 16384, 24576],
2976 [8192, 16384, 24576],
2977 [8192, 16384, 24576],
2978 [8192, 16384, 24576],
2979 [8192, 16384, 24576],
2980 [8192, 16384, 24576],
2981 ],
2982 ],
2983 ],
2984 [
2985 [
2986 [
2987 [8896, 16227, 20630],
2988 [23629, 31782, 32527],
2989 [15173, 27755, 31321],
2990 [10158, 21233, 27382],
2991 [6420, 14857, 21558],
2992 [3269, 8155, 12646],
2993 [24835, 32009, 32496],
2994 [16509, 28421, 31579],
2995 [10957, 21514, 27418],
2996 [7881, 15930, 22096],
2997 [5388, 10960, 15918],
2998 [8192, 16384, 24576],
2999 [8192, 16384, 24576],
3000 [8192, 16384, 24576],
3001 [8192, 16384, 24576],
3002 [8192, 16384, 24576],
3003 [8192, 16384, 24576],
3004 [8192, 16384, 24576],
3005 [8192, 16384, 24576],
3006 [8192, 16384, 24576],
3007 [8192, 16384, 24576],
3008 [20745, 30773, 32093],
3009 [15200, 27221, 30861],
3010 [13032, 20873, 25667],
3011 [12285, 18663, 23494],
3012 [11563, 17481, 21489],
3013 [26260, 31982, 32320],
3014 [15397, 28083, 31100],
3015 [9742, 19217, 24824],
3016 [3261, 9629, 15362],
3017 [1480, 4322, 7499],
3018 [27599, 32256, 32460],
3019 [16857, 27659, 30774],
3020 [9551, 18290, 23748],
3021 [3052, 8933, 14103],
3022 [2021, 5910, 9787],
3023 [29005, 32015, 32392],
3024 [17677, 27694, 30863],
3025 [9204, 17356, 23219],
3026 [2403, 7516, 12814],
3027 [8192, 16384, 24576],
3028 [8192, 16384, 24576],
3029 ],
3030 [
3031 [10808, 22056, 26896],
3032 [25739, 32313, 32676],
3033 [17288, 30203, 32221],
3034 [11359, 24878, 29896],
3035 [6949, 17767, 24893],
3036 [4287, 11796, 18071],
3037 [27880, 32521, 32705],
3038 [19038, 31004, 32414],
3039 [12564, 26345, 30768],
3040 [8269, 19947, 26779],
3041 [5674, 14657, 21674],
3042 [8192, 16384, 24576],
3043 [8192, 16384, 24576],
3044 [8192, 16384, 24576],
3045 [8192, 16384, 24576],
3046 [8192, 16384, 24576],
3047 [8192, 16384, 24576],
3048 [8192, 16384, 24576],
3049 [8192, 16384, 24576],
3050 [8192, 16384, 24576],
3051 [8192, 16384, 24576],
3052 [25742, 32319, 32671],
3053 [19557, 31164, 32454],
3054 [13381, 26381, 30755],
3055 [10101, 21466, 26722],
3056 [9209, 19650, 26825],
3057 [27107, 31917, 32432],
3058 [18056, 28893, 31203],
3059 [10200, 21434, 26764],
3060 [4660, 12913, 19502],
3061 [2368, 6930, 12504],
3062 [26960, 32158, 32613],
3063 [18628, 30005, 32031],
3064 [10233, 22442, 28232],
3065 [5471, 14630, 21516],
3066 [3235, 10767, 17109],
3067 [27696, 32440, 32692],
3068 [20032, 31167, 32438],
3069 [8700, 21341, 28442],
3070 [5662, 14831, 21795],
3071 [8192, 16384, 24576],
3072 [8192, 16384, 24576],
3073 ],
3074 ],
3075 [
3076 [
3077 [9704, 17294, 21132],
3078 [26762, 32278, 32633],
3079 [18382, 29620, 31819],
3080 [10891, 23475, 28723],
3081 [6358, 16583, 23309],
3082 [3248, 9118, 14141],
3083 [27204, 32573, 32699],
3084 [19818, 30824, 32329],
3085 [11772, 25120, 30041],
3086 [6995, 18033, 25039],
3087 [3752, 10442, 16098],
3088 [27222, 32256, 32559],
3089 [15356, 28399, 31475],
3090 [8821, 20635, 27057],
3091 [5511, 14404, 21239],
3092 [2935, 8222, 13051],
3093 [24875, 32120, 32529],
3094 [15233, 28265, 31445],
3095 [8605, 20570, 26932],
3096 [5431, 14413, 21196],
3097 [2994, 8341, 13223],
3098 [28201, 32604, 32700],
3099 [21041, 31446, 32456],
3100 [13221, 26213, 30475],
3101 [8255, 19385, 26037],
3102 [4930, 12585, 18830],
3103 [28768, 32448, 32627],
3104 [19705, 30561, 32021],
3105 [11572, 23589, 28220],
3106 [5532, 15034, 21446],
3107 [2460, 7150, 11456],
3108 [29874, 32619, 32699],
3109 [21621, 31071, 32201],
3110 [12511, 24747, 28992],
3111 [6281, 16395, 22748],
3112 [3246, 9278, 14497],
3113 [29715, 32625, 32712],
3114 [20958, 31011, 32283],
3115 [11233, 23671, 28806],
3116 [6012, 16128, 22868],
3117 [3427, 9851, 15414],
3118 [8192, 16384, 24576],
3119 ],
3120 [
3121 [11016, 22111, 26794],
3122 [25946, 32357, 32677],
3123 [17890, 30452, 32252],
3124 [11678, 25142, 29816],
3125 [6720, 17534, 24584],
3126 [4230, 11665, 17820],
3127 [28400, 32623, 32747],
3128 [21164, 31668, 32575],
3129 [13572, 27388, 31182],
3130 [8234, 20750, 27358],
3131 [5065, 14055, 20897],
3132 [28981, 32547, 32705],
3133 [18681, 30543, 32239],
3134 [10919, 24075, 29286],
3135 [6431, 17199, 24077],
3136 [3819, 10464, 16618],
3137 [26870, 32467, 32693],
3138 [19041, 30831, 32347],
3139 [11794, 25211, 30016],
3140 [6888, 18019, 24970],
3141 [4370, 12363, 18992],
3142 [29578, 32670, 32744],
3143 [23159, 32007, 32613],
3144 [15315, 28669, 31676],
3145 [9298, 22607, 28782],
3146 [6144, 15913, 22968],
3147 [28110, 32499, 32669],
3148 [21574, 30937, 32015],
3149 [12759, 24818, 28727],
3150 [6545, 16761, 23042],
3151 [3649, 10597, 16833],
3152 [28163, 32552, 32728],
3153 [22101, 31469, 32464],
3154 [13160, 25472, 30143],
3155 [7303, 18684, 25468],
3156 [5241, 13975, 20955],
3157 [28400, 32631, 32744],
3158 [22104, 31793, 32603],
3159 [13557, 26571, 30846],
3160 [7749, 19861, 26675],
3161 [4873, 14030, 21234],
3162 [8192, 16384, 24576],
3163 ],
3164 ],
3165 [
3166 [
3167 [9800, 17635, 21073],
3168 [26153, 31885, 32527],
3169 [15038, 27852, 31006],
3170 [8718, 20564, 26486],
3171 [5128, 14076, 20514],
3172 [2636, 7566, 11925],
3173 [27551, 32504, 32701],
3174 [18310, 30054, 32100],
3175 [10211, 23420, 29082],
3176 [6222, 16876, 23916],
3177 [3462, 9954, 15498],
3178 [29991, 32633, 32721],
3179 [19883, 30751, 32201],
3180 [11141, 24184, 29285],
3181 [6420, 16940, 23774],
3182 [3392, 9753, 15118],
3183 [28465, 32616, 32712],
3184 [19850, 30702, 32244],
3185 [10983, 24024, 29223],
3186 [6294, 16770, 23582],
3187 [3244, 9283, 14509],
3188 [30023, 32717, 32748],
3189 [22940, 32032, 32626],
3190 [14282, 27928, 31473],
3191 [8562, 21327, 27914],
3192 [4846, 13393, 19919],
3193 [29981, 32590, 32695],
3194 [20465, 30963, 32166],
3195 [11479, 23579, 28195],
3196 [5916, 15648, 22073],
3197 [3031, 8605, 13398],
3198 [31146, 32691, 32739],
3199 [23106, 31724, 32444],
3200 [13783, 26738, 30439],
3201 [7852, 19468, 25807],
3202 [3860, 11124, 16853],
3203 [31014, 32724, 32748],
3204 [23629, 32109, 32628],
3205 [14747, 28115, 31403],
3206 [8545, 21242, 27478],
3207 [4574, 12781, 19067],
3208 [8192, 16384, 24576],
3209 ],
3210 [
3211 [9185, 19694, 24688],
3212 [26081, 31985, 32621],
3213 [16015, 29000, 31787],
3214 [10542, 23690, 29206],
3215 [6732, 17945, 24677],
3216 [3916, 11039, 16722],
3217 [28224, 32566, 32744],
3218 [19100, 31138, 32485],
3219 [12528, 26620, 30879],
3220 [7741, 20277, 26885],
3221 [4566, 12845, 18990],
3222 [29933, 32593, 32718],
3223 [17670, 30333, 32155],
3224 [10385, 23600, 28909],
3225 [6243, 16236, 22407],
3226 [3976, 10389, 16017],
3227 [28377, 32561, 32738],
3228 [19366, 31175, 32482],
3229 [13327, 27175, 31094],
3230 [8258, 20769, 27143],
3231 [4703, 13198, 19527],
3232 [31086, 32706, 32748],
3233 [22853, 31902, 32583],
3234 [14759, 28186, 31419],
3235 [9284, 22382, 28348],
3236 [5585, 15192, 21868],
3237 [28291, 32652, 32746],
3238 [19849, 32107, 32571],
3239 [14834, 26818, 29214],
3240 [10306, 22594, 28672],
3241 [6615, 17384, 23384],
3242 [28947, 32604, 32745],
3243 [25625, 32289, 32646],
3244 [18758, 28672, 31403],
3245 [10017, 23430, 28523],
3246 [6862, 15269, 22131],
3247 [23933, 32509, 32739],
3248 [19927, 31495, 32631],
3249 [11903, 26023, 30621],
3250 [7026, 20094, 27252],
3251 [5998, 18106, 24437],
3252 [8192, 16384, 24576],
3253 ],
3254 ],
3255 [
3256 [
3257 [4456, 11274, 15533],
3258 [21219, 29079, 31616],
3259 [11173, 23774, 28567],
3260 [7282, 18293, 24263],
3261 [4890, 13286, 19115],
3262 [1890, 5508, 8659],
3263 [26651, 32136, 32647],
3264 [14630, 28254, 31455],
3265 [8716, 21287, 27395],
3266 [5615, 15331, 22008],
3267 [2675, 7700, 12150],
3268 [29954, 32526, 32690],
3269 [16126, 28982, 31633],
3270 [9030, 21361, 27352],
3271 [5411, 14793, 21271],
3272 [2943, 8422, 13163],
3273 [29539, 32601, 32730],
3274 [18125, 30385, 32201],
3275 [10422, 24090, 29468],
3276 [6468, 17487, 24438],
3277 [2970, 8653, 13531],
3278 [30912, 32715, 32748],
3279 [20666, 31373, 32497],
3280 [12509, 26640, 30917],
3281 [8058, 20629, 27290],
3282 [4231, 12006, 18052],
3283 [8192, 16384, 24576],
3284 [8192, 16384, 24576],
3285 [8192, 16384, 24576],
3286 [8192, 16384, 24576],
3287 [8192, 16384, 24576],
3288 [8192, 16384, 24576],
3289 [8192, 16384, 24576],
3290 [8192, 16384, 24576],
3291 [8192, 16384, 24576],
3292 [8192, 16384, 24576],
3293 [8192, 16384, 24576],
3294 [8192, 16384, 24576],
3295 [8192, 16384, 24576],
3296 [8192, 16384, 24576],
3297 [8192, 16384, 24576],
3298 [8192, 16384, 24576],
3299 ],
3300 [
3301 [10202, 20633, 25484],
3302 [27336, 31445, 32352],
3303 [12420, 24384, 28552],
3304 [7648, 18115, 23856],
3305 [5662, 14341, 19902],
3306 [3611, 10328, 15390],
3307 [30945, 32616, 32736],
3308 [18682, 30505, 32253],
3309 [11513, 25336, 30203],
3310 [7449, 19452, 26148],
3311 [4482, 13051, 18886],
3312 [32022, 32690, 32747],
3313 [18578, 30501, 32146],
3314 [11249, 23368, 28631],
3315 [5645, 16958, 22158],
3316 [5009, 11444, 16637],
3317 [31357, 32710, 32748],
3318 [21552, 31494, 32504],
3319 [13891, 27677, 31340],
3320 [9051, 22098, 28172],
3321 [5190, 13377, 19486],
3322 [32364, 32740, 32748],
3323 [24839, 31907, 32551],
3324 [17160, 28779, 31696],
3325 [12452, 24137, 29602],
3326 [6165, 15389, 22477],
3327 [8192, 16384, 24576],
3328 [8192, 16384, 24576],
3329 [8192, 16384, 24576],
3330 [8192, 16384, 24576],
3331 [8192, 16384, 24576],
3332 [8192, 16384, 24576],
3333 [8192, 16384, 24576],
3334 [8192, 16384, 24576],
3335 [8192, 16384, 24576],
3336 [8192, 16384, 24576],
3337 [8192, 16384, 24576],
3338 [8192, 16384, 24576],
3339 [8192, 16384, 24576],
3340 [8192, 16384, 24576],
3341 [8192, 16384, 24576],
3342 [8192, 16384, 24576],
3343 ],
3344 ],
3345 [
3346 [
3347 [2575, 7281, 11077],
3348 [14002, 20866, 25402],
3349 [6343, 15056, 19658],
3350 [4474, 11858, 17041],
3351 [2865, 8299, 12534],
3352 [1344, 3949, 6391],
3353 [24720, 31239, 32459],
3354 [12585, 25356, 29968],
3355 [7181, 18246, 24444],
3356 [5025, 13667, 19885],
3357 [2521, 7304, 11605],
3358 [29908, 32252, 32584],
3359 [17421, 29156, 31575],
3360 [9889, 22188, 27782],
3361 [5878, 15647, 22123],
3362 [2814, 8665, 13323],
3363 [30183, 32568, 32713],
3364 [18528, 30195, 32049],
3365 [10982, 24606, 29657],
3366 [6957, 18165, 25231],
3367 [3508, 10118, 15468],
3368 [31761, 32736, 32748],
3369 [21041, 31328, 32546],
3370 [12568, 26732, 31166],
3371 [8052, 20720, 27733],
3372 [4336, 12192, 18396],
3373 [8192, 16384, 24576],
3374 [8192, 16384, 24576],
3375 [8192, 16384, 24576],
3376 [8192, 16384, 24576],
3377 [8192, 16384, 24576],
3378 [8192, 16384, 24576],
3379 [8192, 16384, 24576],
3380 [8192, 16384, 24576],
3381 [8192, 16384, 24576],
3382 [8192, 16384, 24576],
3383 [8192, 16384, 24576],
3384 [8192, 16384, 24576],
3385 [8192, 16384, 24576],
3386 [8192, 16384, 24576],
3387 [8192, 16384, 24576],
3388 [8192, 16384, 24576],
3389 ],
3390 [
3391 [8192, 16384, 24576],
3392 [8192, 16384, 24576],
3393 [8192, 16384, 24576],
3394 [8192, 16384, 24576],
3395 [8192, 16384, 24576],
3396 [8192, 16384, 24576],
3397 [8192, 16384, 24576],
3398 [8192, 16384, 24576],
3399 [8192, 16384, 24576],
3400 [8192, 16384, 24576],
3401 [8192, 16384, 24576],
3402 [8192, 16384, 24576],
3403 [8192, 16384, 24576],
3404 [8192, 16384, 24576],
3405 [8192, 16384, 24576],
3406 [8192, 16384, 24576],
3407 [8192, 16384, 24576],
3408 [8192, 16384, 24576],
3409 [8192, 16384, 24576],
3410 [8192, 16384, 24576],
3411 [8192, 16384, 24576],
3412 [8192, 16384, 24576],
3413 [8192, 16384, 24576],
3414 [8192, 16384, 24576],
3415 [8192, 16384, 24576],
3416 [8192, 16384, 24576],
3417 [8192, 16384, 24576],
3418 [8192, 16384, 24576],
3419 [8192, 16384, 24576],
3420 [8192, 16384, 24576],
3421 [8192, 16384, 24576],
3422 [8192, 16384, 24576],
3423 [8192, 16384, 24576],
3424 [8192, 16384, 24576],
3425 [8192, 16384, 24576],
3426 [8192, 16384, 24576],
3427 [8192, 16384, 24576],
3428 [8192, 16384, 24576],
3429 [8192, 16384, 24576],
3430 [8192, 16384, 24576],
3431 [8192, 16384, 24576],
3432 [8192, 16384, 24576],
3433 ],
3434 ],
3435 ],
3436 [
3437 [
3438 [
3439 [7062, 16472, 22319],
3440 [24538, 32261, 32674],
3441 [13675, 28041, 31779],
3442 [8590, 20674, 27631],
3443 [5685, 14675, 22013],
3444 [3655, 9898, 15731],
3445 [26493, 32418, 32658],
3446 [16376, 29342, 32090],
3447 [10594, 22649, 28970],
3448 [8176, 17170, 24303],
3449 [5605, 12694, 19139],
3450 [8192, 16384, 24576],
3451 [8192, 16384, 24576],
3452 [8192, 16384, 24576],
3453 [8192, 16384, 24576],
3454 [8192, 16384, 24576],
3455 [8192, 16384, 24576],
3456 [8192, 16384, 24576],
3457 [8192, 16384, 24576],
3458 [8192, 16384, 24576],
3459 [8192, 16384, 24576],
3460 [23888, 31902, 32542],
3461 [18612, 29687, 31987],
3462 [16245, 24852, 29249],
3463 [15765, 22608, 27559],
3464 [19895, 24699, 27510],
3465 [28401, 32212, 32457],
3466 [15274, 27825, 30980],
3467 [9364, 18128, 24332],
3468 [2283, 8193, 15082],
3469 [1228, 3972, 7881],
3470 [29455, 32469, 32620],
3471 [17981, 28245, 31388],
3472 [10921, 20098, 26240],
3473 [3743, 11829, 18657],
3474 [2374, 9593, 15715],
3475 [31068, 32466, 32635],
3476 [20321, 29572, 31971],
3477 [10771, 20255, 27119],
3478 [2795, 10410, 17361],
3479 [8192, 16384, 24576],
3480 [8192, 16384, 24576],
3481 ],
3482 [
3483 [9320, 22102, 27840],
3484 [27057, 32464, 32724],
3485 [16331, 30268, 32309],
3486 [10319, 23935, 29720],
3487 [6189, 16448, 24106],
3488 [3589, 10884, 18808],
3489 [29026, 32624, 32748],
3490 [19226, 31507, 32587],
3491 [12692, 26921, 31203],
3492 [7049, 19532, 27635],
3493 [7727, 15669, 23252],
3494 [8192, 16384, 24576],
3495 [8192, 16384, 24576],
3496 [8192, 16384, 24576],
3497 [8192, 16384, 24576],
3498 [8192, 16384, 24576],
3499 [8192, 16384, 24576],
3500 [8192, 16384, 24576],
3501 [8192, 16384, 24576],
3502 [8192, 16384, 24576],
3503 [8192, 16384, 24576],
3504 [28056, 32625, 32748],
3505 [22383, 32075, 32669],
3506 [15417, 27098, 31749],
3507 [18127, 26493, 27190],
3508 [5461, 16384, 21845],
3509 [27982, 32091, 32584],
3510 [19045, 29868, 31972],
3511 [10397, 22266, 27932],
3512 [5990, 13697, 21500],
3513 [1792, 6912, 15104],
3514 [28198, 32501, 32718],
3515 [21534, 31521, 32569],
3516 [11109, 25217, 30017],
3517 [5671, 15124, 26151],
3518 [4681, 14043, 18725],
3519 [28688, 32580, 32741],
3520 [22576, 32079, 32661],
3521 [10627, 22141, 28340],
3522 [9362, 14043, 28087],
3523 [8192, 16384, 24576],
3524 [8192, 16384, 24576],
3525 ],
3526 ],
3527 [
3528 [
3529 [7754, 16948, 22142],
3530 [25670, 32330, 32691],
3531 [15663, 29225, 31994],
3532 [9878, 23288, 29158],
3533 [6419, 17088, 24336],
3534 [3859, 11003, 17039],
3535 [27562, 32595, 32725],
3536 [17575, 30588, 32399],
3537 [10819, 24838, 30309],
3538 [7124, 18686, 25916],
3539 [4479, 12688, 19340],
3540 [28385, 32476, 32673],
3541 [15306, 29005, 31938],
3542 [8937, 21615, 28322],
3543 [5982, 15603, 22786],
3544 [3620, 10267, 16136],
3545 [27280, 32464, 32667],
3546 [15607, 29160, 32004],
3547 [9091, 22135, 28740],
3548 [6232, 16632, 24020],
3549 [4047, 11377, 17672],
3550 [29220, 32630, 32718],
3551 [19650, 31220, 32462],
3552 [13050, 26312, 30827],
3553 [9228, 20870, 27468],
3554 [6146, 15149, 21971],
3555 [30169, 32481, 32623],
3556 [17212, 29311, 31554],
3557 [9911, 21311, 26882],
3558 [4487, 13314, 20372],
3559 [2570, 7772, 12889],
3560 [30924, 32613, 32708],
3561 [19490, 30206, 32107],
3562 [11232, 23998, 29276],
3563 [6769, 17955, 25035],
3564 [4398, 12623, 19214],
3565 [30609, 32627, 32722],
3566 [19370, 30582, 32287],
3567 [10457, 23619, 29409],
3568 [6443, 17637, 24834],
3569 [4645, 13236, 20106],
3570 [8192, 16384, 24576],
3571 ],
3572 [
3573 [8626, 20271, 26216],
3574 [26707, 32406, 32711],
3575 [16999, 30329, 32286],
3576 [11445, 25123, 30286],
3577 [6411, 18828, 25601],
3578 [6801, 12458, 20248],
3579 [29918, 32682, 32748],
3580 [20649, 31739, 32618],
3581 [12879, 27773, 31581],
3582 [7896, 21751, 28244],
3583 [5260, 14870, 23698],
3584 [29252, 32593, 32731],
3585 [17072, 30460, 32294],
3586 [10653, 24143, 29365],
3587 [6536, 17490, 23983],
3588 [4929, 13170, 20085],
3589 [28137, 32518, 32715],
3590 [18171, 30784, 32407],
3591 [11437, 25436, 30459],
3592 [7252, 18534, 26176],
3593 [4126, 13353, 20978],
3594 [31162, 32726, 32748],
3595 [23017, 32222, 32701],
3596 [15629, 29233, 32046],
3597 [9387, 22621, 29480],
3598 [6922, 17616, 25010],
3599 [28838, 32265, 32614],
3600 [19701, 30206, 31920],
3601 [11214, 22410, 27933],
3602 [5320, 14177, 23034],
3603 [5049, 12881, 17827],
3604 [27484, 32471, 32734],
3605 [21076, 31526, 32561],
3606 [12707, 26303, 31211],
3607 [8169, 21722, 28219],
3608 [6045, 19406, 27042],
3609 [27753, 32572, 32745],
3610 [20832, 31878, 32653],
3611 [13250, 27356, 31674],
3612 [7718, 21508, 29858],
3613 [7209, 18350, 25559],
3614 [8192, 16384, 24576],
3615 ],
3616 ],
3617 [
3618 [
3619 [7876, 16901, 21741],
3620 [24001, 31898, 32625],
3621 [14529, 27959, 31451],
3622 [8273, 20818, 27258],
3623 [5278, 14673, 21510],
3624 [2983, 8843, 14039],
3625 [28016, 32574, 32732],
3626 [17471, 30306, 32301],
3627 [10224, 24063, 29728],
3628 [6602, 17954, 25052],
3629 [4002, 11585, 17759],
3630 [30190, 32634, 32739],
3631 [17497, 30282, 32270],
3632 [10229, 23729, 29538],
3633 [6344, 17211, 24440],
3634 [3849, 11189, 17108],
3635 [28570, 32583, 32726],
3636 [17521, 30161, 32238],
3637 [10153, 23565, 29378],
3638 [6455, 17341, 24443],
3639 [3907, 11042, 17024],
3640 [30689, 32715, 32748],
3641 [21546, 31840, 32610],
3642 [13547, 27581, 31459],
3643 [8912, 21757, 28309],
3644 [5548, 15080, 22046],
3645 [30783, 32540, 32685],
3646 [17540, 29528, 31668],
3647 [10160, 21468, 26783],
3648 [4724, 13393, 20054],
3649 [2702, 8174, 13102],
3650 [31648, 32686, 32742],
3651 [20954, 31094, 32337],
3652 [12420, 25698, 30179],
3653 [7304, 19320, 26248],
3654 [4366, 12261, 18864],
3655 [31581, 32723, 32748],
3656 [21373, 31586, 32525],
3657 [12744, 26625, 30885],
3658 [7431, 20322, 26950],
3659 [4692, 13323, 20111],
3660 [8192, 16384, 24576],
3661 ],
3662 [
3663 [7833, 18369, 24095],
3664 [26650, 32273, 32702],
3665 [16371, 29961, 32191],
3666 [11055, 24082, 29629],
3667 [6892, 18644, 25400],
3668 [5006, 13057, 19240],
3669 [29834, 32666, 32748],
3670 [19577, 31335, 32570],
3671 [12253, 26509, 31122],
3672 [7991, 20772, 27711],
3673 [5677, 15910, 23059],
3674 [30109, 32532, 32720],
3675 [16747, 30166, 32252],
3676 [10134, 23542, 29184],
3677 [5791, 16176, 23556],
3678 [4362, 10414, 17284],
3679 [29492, 32626, 32748],
3680 [19894, 31402, 32525],
3681 [12942, 27071, 30869],
3682 [8346, 21216, 27405],
3683 [6572, 17087, 23859],
3684 [32035, 32735, 32748],
3685 [22957, 31838, 32618],
3686 [14724, 28572, 31772],
3687 [10364, 23999, 29553],
3688 [7004, 18433, 25655],
3689 [27528, 32277, 32681],
3690 [16959, 31171, 32096],
3691 [10486, 23593, 27962],
3692 [8192, 16384, 23211],
3693 [8937, 17873, 20852],
3694 [27715, 32002, 32615],
3695 [15073, 29491, 31676],
3696 [11264, 24576, 28672],
3697 [2341, 18725, 23406],
3698 [7282, 18204, 25486],
3699 [28547, 32213, 32657],
3700 [20788, 29773, 32239],
3701 [6780, 21469, 30508],
3702 [5958, 14895, 23831],
3703 [16384, 21845, 27307],
3704 [8192, 16384, 24576],
3705 ],
3706 ],
3707 [
3708 [
3709 [5992, 14304, 19765],
3710 [22612, 31238, 32456],
3711 [13456, 27162, 31087],
3712 [8001, 20062, 26504],
3713 [5168, 14105, 20764],
3714 [2632, 7771, 12385],
3715 [27034, 32344, 32709],
3716 [15850, 29415, 31997],
3717 [9494, 22776, 28841],
3718 [6151, 16830, 23969],
3719 [3461, 10039, 15722],
3720 [30134, 32569, 32731],
3721 [15638, 29422, 31945],
3722 [9150, 21865, 28218],
3723 [5647, 15719, 22676],
3724 [3402, 9772, 15477],
3725 [28530, 32586, 32735],
3726 [17139, 30298, 32292],
3727 [10200, 24039, 29685],
3728 [6419, 17674, 24786],
3729 [3544, 10225, 15824],
3730 [31333, 32726, 32748],
3731 [20618, 31487, 32544],
3732 [12901, 27217, 31232],
3733 [8624, 21734, 28171],
3734 [5104, 14191, 20748],
3735 [8192, 16384, 24576],
3736 [8192, 16384, 24576],
3737 [8192, 16384, 24576],
3738 [8192, 16384, 24576],
3739 [8192, 16384, 24576],
3740 [8192, 16384, 24576],
3741 [8192, 16384, 24576],
3742 [8192, 16384, 24576],
3743 [8192, 16384, 24576],
3744 [8192, 16384, 24576],
3745 [8192, 16384, 24576],
3746 [8192, 16384, 24576],
3747 [8192, 16384, 24576],
3748 [8192, 16384, 24576],
3749 [8192, 16384, 24576],
3750 [8192, 16384, 24576],
3751 ],
3752 [
3753 [11206, 21090, 26561],
3754 [28759, 32279, 32671],
3755 [14171, 27952, 31569],
3756 [9743, 22907, 29141],
3757 [6871, 17886, 24868],
3758 [4960, 13152, 19315],
3759 [31077, 32661, 32748],
3760 [19400, 31195, 32515],
3761 [12752, 26858, 31040],
3762 [8370, 22098, 28591],
3763 [5457, 15373, 22298],
3764 [31697, 32706, 32748],
3765 [17860, 30657, 32333],
3766 [12510, 24812, 29261],
3767 [6180, 19124, 24722],
3768 [5041, 13548, 17959],
3769 [31552, 32716, 32748],
3770 [21908, 31769, 32623],
3771 [14470, 28201, 31565],
3772 [9493, 22982, 28608],
3773 [6858, 17240, 24137],
3774 [32543, 32752, 32756],
3775 [24286, 32097, 32666],
3776 [15958, 29217, 32024],
3777 [10207, 24234, 29958],
3778 [6929, 18305, 25652],
3779 [8192, 16384, 24576],
3780 [8192, 16384, 24576],
3781 [8192, 16384, 24576],
3782 [8192, 16384, 24576],
3783 [8192, 16384, 24576],
3784 [8192, 16384, 24576],
3785 [8192, 16384, 24576],
3786 [8192, 16384, 24576],
3787 [8192, 16384, 24576],
3788 [8192, 16384, 24576],
3789 [8192, 16384, 24576],
3790 [8192, 16384, 24576],
3791 [8192, 16384, 24576],
3792 [8192, 16384, 24576],
3793 [8192, 16384, 24576],
3794 [8192, 16384, 24576],
3795 ],
3796 ],
3797 [
3798 [
3799 [4137, 10847, 15682],
3800 [17824, 27001, 30058],
3801 [10204, 22796, 28291],
3802 [6076, 15935, 22125],
3803 [3852, 10937, 16816],
3804 [2252, 6324, 10131],
3805 [25840, 32016, 32662],
3806 [15109, 28268, 31531],
3807 [9385, 22231, 28340],
3808 [6082, 16672, 23479],
3809 [3318, 9427, 14681],
3810 [30594, 32574, 32718],
3811 [16836, 29552, 31859],
3812 [9556, 22542, 28356],
3813 [6305, 16725, 23540],
3814 [3376, 9895, 15184],
3815 [29383, 32617, 32745],
3816 [18891, 30809, 32401],
3817 [11688, 25942, 30687],
3818 [7468, 19469, 26651],
3819 [3909, 11358, 17012],
3820 [31564, 32736, 32748],
3821 [20906, 31611, 32600],
3822 [13191, 27621, 31537],
3823 [8768, 22029, 28676],
3824 [5079, 14109, 20906],
3825 [8192, 16384, 24576],
3826 [8192, 16384, 24576],
3827 [8192, 16384, 24576],
3828 [8192, 16384, 24576],
3829 [8192, 16384, 24576],
3830 [8192, 16384, 24576],
3831 [8192, 16384, 24576],
3832 [8192, 16384, 24576],
3833 [8192, 16384, 24576],
3834 [8192, 16384, 24576],
3835 [8192, 16384, 24576],
3836 [8192, 16384, 24576],
3837 [8192, 16384, 24576],
3838 [8192, 16384, 24576],
3839 [8192, 16384, 24576],
3840 [8192, 16384, 24576],
3841 ],
3842 [
3843 [8192, 16384, 24576],
3844 [8192, 16384, 24576],
3845 [8192, 16384, 24576],
3846 [8192, 16384, 24576],
3847 [8192, 16384, 24576],
3848 [8192, 16384, 24576],
3849 [8192, 16384, 24576],
3850 [8192, 16384, 24576],
3851 [8192, 16384, 24576],
3852 [8192, 16384, 24576],
3853 [8192, 16384, 24576],
3854 [8192, 16384, 24576],
3855 [8192, 16384, 24576],
3856 [8192, 16384, 24576],
3857 [8192, 16384, 24576],
3858 [8192, 16384, 24576],
3859 [8192, 16384, 24576],
3860 [8192, 16384, 24576],
3861 [8192, 16384, 24576],
3862 [8192, 16384, 24576],
3863 [8192, 16384, 24576],
3864 [8192, 16384, 24576],
3865 [8192, 16384, 24576],
3866 [8192, 16384, 24576],
3867 [8192, 16384, 24576],
3868 [8192, 16384, 24576],
3869 [8192, 16384, 24576],
3870 [8192, 16384, 24576],
3871 [8192, 16384, 24576],
3872 [8192, 16384, 24576],
3873 [8192, 16384, 24576],
3874 [8192, 16384, 24576],
3875 [8192, 16384, 24576],
3876 [8192, 16384, 24576],
3877 [8192, 16384, 24576],
3878 [8192, 16384, 24576],
3879 [8192, 16384, 24576],
3880 [8192, 16384, 24576],
3881 [8192, 16384, 24576],
3882 [8192, 16384, 24576],
3883 [8192, 16384, 24576],
3884 [8192, 16384, 24576],
3885 ],
3886 ],
3887 ],
3888]);
3889
3890pub static av1_default_coeff_base_eob_multi_cdfs: [[[[[u16;
3891 NUM_BASE_LEVELS + 1];
3892 SIG_COEF_CONTEXTS_EOB];
3893 PLANE_TYPES];
3894 TxSize::TX_SIZES];
3895 TOKEN_CDF_Q_CTXS] = cdf_5d([
3896 [
3897 [
3898 [[17837, 29055], [29600, 31446], [30844, 31878], [24926, 28948]],
3899 [[21365, 30026], [30512, 32423], [31658, 32621], [29630, 31881]],
3900 ],
3901 [
3902 [[5717, 26477], [30491, 31703], [31550, 32158], [29648, 31491]],
3903 [[12608, 27820], [30680, 32225], [30809, 32335], [31299, 32423]],
3904 ],
3905 [
3906 [[1786, 12612], [30663, 31625], [32339, 32468], [31148, 31833]],
3907 [[18857, 23865], [31428, 32428], [31744, 32373], [31775, 32526]],
3908 ],
3909 [
3910 [[1787, 2532], [30832, 31662], [31824, 32682], [32133, 32569]],
3911 [[13751, 22235], [32089, 32409], [27084, 27920], [29291, 32594]],
3912 ],
3913 [
3914 [[1725, 3449], [31102, 31935], [32457, 32613], [32412, 32649]],
3915 [[10923, 21845], [10923, 21845], [10923, 21845], [10923, 21845]],
3916 ],
3917 ],
3918 [
3919 [
3920 [[17560, 29888], [29671, 31549], [31007, 32056], [27286, 30006]],
3921 [[26594, 31212], [31208, 32582], [31835, 32637], [30595, 32206]],
3922 ],
3923 [
3924 [[15239, 29932], [31315, 32095], [32130, 32434], [30864, 31996]],
3925 [[26279, 30968], [31142, 32495], [31713, 32540], [31929, 32594]],
3926 ],
3927 [
3928 [[2644, 25198], [32038, 32451], [32639, 32695], [32166, 32518]],
3929 [[17187, 27668], [31714, 32550], [32283, 32678], [31930, 32563]],
3930 ],
3931 [
3932 [[1044, 2257], [30755, 31923], [32208, 32693], [32244, 32615]],
3933 [[21317, 26207], [29133, 30868], [29311, 31231], [29657, 31087]],
3934 ],
3935 [
3936 [[478, 1834], [31005, 31987], [32317, 32724], [30865, 32648]],
3937 [[10923, 21845], [10923, 21845], [10923, 21845], [10923, 21845]],
3938 ],
3939 ],
3940 [
3941 [
3942 [[20092, 30774], [30695, 32020], [31131, 32103], [28666, 30870]],
3943 [[27258, 31095], [31804, 32623], [31763, 32528], [31438, 32506]],
3944 ],
3945 [
3946 [[18049, 30489], [31706, 32286], [32163, 32473], [31550, 32184]],
3947 [[27116, 30842], [31971, 32598], [32088, 32576], [32067, 32664]],
3948 ],
3949 [
3950 [[12854, 29093], [32272, 32558], [32667, 32729], [32306, 32585]],
3951 [[25476, 30366], [32169, 32687], [32479, 32689], [31673, 32634]],
3952 ],
3953 [
3954 [[2809, 19301], [32205, 32622], [32338, 32730], [31786, 32616]],
3955 [[22737, 29105], [30810, 32362], [30014, 32627], [30528, 32574]],
3956 ],
3957 [
3958 [[935, 3382], [30789, 31909], [32466, 32756], [30860, 32513]],
3959 [[10923, 21845], [10923, 21845], [10923, 21845], [10923, 21845]],
3960 ],
3961 ],
3962 [
3963 [
3964 [[22497, 31198], [31715, 32495], [31606, 32337], [30388, 31990]],
3965 [[27877, 31584], [32170, 32728], [32155, 32688], [32219, 32702]],
3966 ],
3967 [
3968 [[21457, 31043], [31951, 32483], [32153, 32562], [31473, 32215]],
3969 [[27558, 31151], [32020, 32640], [32097, 32575], [32242, 32719]],
3970 ],
3971 [
3972 [[19980, 30591], [32219, 32597], [32581, 32706], [31803, 32287]],
3973 [[26473, 30507], [32431, 32723], [32196, 32611], [31588, 32528]],
3974 ],
3975 [
3976 [[24647, 30463], [32412, 32695], [32468, 32720], [31269, 32523]],
3977 [[28482, 31505], [32152, 32701], [31732, 32598], [31767, 32712]],
3978 ],
3979 [
3980 [[12358, 24977], [31331, 32385], [32634, 32756], [30411, 32548]],
3981 [[10923, 21845], [10923, 21845], [10923, 21845], [10923, 21845]],
3982 ],
3983 ],
3984]);