libksba  1.6.0
About: KSBA is a library to make the tasks of working with X.509 certificates, CMS data and related objects more easy.
  Fossies Dox: libksba-1.6.0.tar.bz2  ("unofficial" and yet experimental doxygen-generated source code documentation)  

asn1-tables.c
Go to the documentation of this file.
1 
2 #include <config.h>
3 #include <stdio.h>
4 #include <string.h>
5 #include "ksba.h"
6 #include "asn1-func.h"
7 
8 static const static_asn tmttv2_asn1_tab[] = {
9  {254,136, {0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
10  {0,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
11  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
12  {4755,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
13  {76,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},11},
14  {545,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
15  {563,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
16  {920,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
17  {811,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
18  {80,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},21},
19  {180,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
20  {2330,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
21  {39,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
22  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},30},
23  {1008,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
24  {2187,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2022},
25  {3359,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
26  {801,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
27  {3397,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
28  {641,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
29  {953,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,1,0,1,0},0},
30  {641,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
31  {2022,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
32  {474,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},1},
33  {0,131, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},51},
34  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},338},
35  {1593,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4563},
36  {801,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
37  {275,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},112},
38  {572,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},491},
39  {442,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},112},
40  {4029,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3840},
41  {2097,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
42  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2628},
43  {2410,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},259},
44  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2628},
45  {898,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5},
46  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},843},
47  {338,2, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
48  {51,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1},
49  {258,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
50  {54,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},259},
51  {4563,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
52  {112,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
53  {1236,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},1068},
54  {1068,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
55  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},5129},
56  {5129,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
57  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},4071},
58  {581,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
59  {152,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1606},
60  {331,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
61  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1872},
62  {821,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
63  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},581},
64  {4071,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
65  {152,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1606},
66  {228,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1872},
67  {1606,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
68  {1872,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
69  {2218,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
70  {2394,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
71  {386,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
72  {1830,20, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
73  {386,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
74  {997,12, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
75  {386,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
76  {671,30, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
77  {386,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
78  {2426,28, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
79  {386,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
80  {491,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
81  {741,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},117},
82  {554,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},117},
83  {117,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
84  {466,23, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},0},
85  {1164,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},0},
86  {3840,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
87  {641,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
88  {2866,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
89  {843,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
90  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
91  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},601},
92  {601,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
93  {268,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
94  {509,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},0},
95  {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0},0},
96  {701,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
97  {2628,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
98  {4379,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
99  {1760,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
100  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3826},
101  {3577,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
102  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1398},
103  {5155,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},259},
104  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4563},
105  {3826,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
106  {482,3, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
107  {2696,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1},
108  {2112,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
109  {2346,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
110  {2645,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
111  {1541,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},7},
112  {1200,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
113  {346,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},11},
114  {1515,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},22},
115  {1463,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},13},
116  {3437,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
117  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
118  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},2990},
119  {2990,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
120  {2832,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1346},
121  {2849,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},0},
122  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
123  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},3517},
124  {1346,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
125  {3517,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
126  {3152,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3008},
127  {791,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
128  {3152,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
129  {3008,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
130  {3798,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
131  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
132  {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
133  {3340,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1346},
134  {3737,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1346},
135  {2007,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1398},
136  {1398,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
137  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
138  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1056},
139  {1056,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
140  {751,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},1},
141  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},621},
142  {964,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},3},
143  {0,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
144  {362,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},259},
145  {0,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
146  {1308,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},5},
147  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},611},
148  {1718,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},7},
149  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},112},
150  {1502,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},9},
151  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1372},
152  {5285,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},11},
153  {0,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
154  {721,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},22},
155  {0,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
156  {1580,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},13},
157  {0,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},0},
158  {621,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
159  {458,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
160  {228,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},1},
161  {0,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
162  {458,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
163  {1372,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
164  {1567,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
165  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2218},
166  {761,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},3},
167  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2218},
168  {5392,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
169  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
170  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},581},
171  {1620,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
172  {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
173  {317,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
174  {228,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
175  {317,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
176  {2458,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
177  {36,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},0},
178  {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0},0},
179  {3116,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,0,1,0},0},
180  {1,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},64},
181  {2250,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
182  {3134,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
183  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2234},
184  {2747,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3},
185  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2234},
186  {2234,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
187  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
188  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1917},
189  {1917,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
190  {122,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1056},
191  {402,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},1},
192  {0,131, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1},1},
193  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1320},
194  {394,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3},
195  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1320},
196  {1320,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
197  {1,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},64},
198  {4659,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
199  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
200  {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
201  {4313,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
202  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},631},
203  {3966,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3},
204  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},631},
205  {631,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
206  {1,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},64},
207  {3417,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
208  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
209  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},2954},
210  {2954,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
211  {3044,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
212  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4093},
213  {434,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
214  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1080},
215  {681,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},259},
216  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1398},
217  {4093,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
218  {527,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},1},
219  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1398},
220  {4779,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},3},
221  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},5129},
222  {1080,3, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
223  {324,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1},
224  {1746,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
225  {1424,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
226  {3283,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
227  {975,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},7},
228  {3861,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
229  {2282,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},11},
230  {5473,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
231  {5586,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
232  {4683,22, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
233  {2037,12, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
234  {2202,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
235  {1272,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1116},
236  {3359,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
237  {2172,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
238  {1116,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
239  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},338},
240  {801,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
241  {275,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},112},
242  {986,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},117},
243  {931,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},117},
244  {3717,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},0},
245  {0,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1,0},0},
246  {2442,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4563},
247  {2157,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},117},
248  {3302,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},843},
249  {1704,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},1},
250  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},843},
251  {591,10, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
252  {1296,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1},
253  {1746,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
254  {1424,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
255  {3283,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
256  {975,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},7},
257  {3861,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
258  {2282,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},11},
259  {1802,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},13},
260  {1932,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
261  {2936,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1398},
262  {691,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
263  {3,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},64},
264  {5000,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
265  {3044,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
266  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4093},
267  {4291,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},3},
268  {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1},0},
269  {0,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
270  {3657,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,1},259},
271  {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1},0},
272  {0,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
273  {2378,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5},
274  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1080},
275  {1188,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0},7},
276  {0,131, {0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,0,0,1},0},
277  {0,1, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
278  {4900,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
279  {4950,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},338},
280  {442,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},112},
281  {4029,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3840},
282  {887,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},1},
283  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},821},
284  {611,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
285  {5615,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5025},
286  {5926,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},5732},
287  {3903,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},3477},
288  {5025,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
289  {1450,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},1044},
290  {5419,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},4875},
291  {2362,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
292  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1947},
293  {3757,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
294  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3226},
295  {3677,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},259},
296  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3026},
297  {3098,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},5},
298  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2543},
299  {4803,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},7},
300  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4181},
301  {1788,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},9},
302  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1411},
303  {5207,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},11},
304  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4635},
305  {1044,130, {1,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},3},
306  {0,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
307  {1858,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
308  {0,132, {0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5763},
309  {3987,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
310  {0,132, {0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5644},
311  {4875,130, {1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},259},
312  {0,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
313  {418,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
314  {4335,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},1},
315  {771,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
316  {4335,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},1},
317  {1947,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1128},
318  {1128,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
319  {4540,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
320  {3226,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
321  {4357,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
322  {3026,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
323  {418,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},0},
324  {4335,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
325  {771,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},0},
326  {4335,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
327  {2543,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
328  {5529,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
329  {4181,18, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
330  {5233,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
331  {1411,17, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
332  {450,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},1},
333  {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
334  {3170,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
335  {909,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
336  {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
337  {4050,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
338  {536,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},259},
339  {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
340  {3378,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
341  {3924,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5},
342  {0,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0},0},
343  {5794,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
344  {4635,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
345  {4851,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
346  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},4402},
347  {4402,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
348  {5961,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
349  {5732,133, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
350  {5673,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
351  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},5702},
352  {5702,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
353  {152,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
354  {6033,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
355  {228,19, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
356  {6073,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
357  {3477,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
358  {4827,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
359  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},3207},
360  {3207,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
361  {4975,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},1},
362  {0,2, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
363  {1,132, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4827},
364  {5181,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},3},
365  {0,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
366  {4975,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
367  {0,0}
368 };
369 static const static_asn cms_asn1_tab[] = {
370  {5338,136, {0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
371  {0,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
372  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
373  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
374  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
375  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
376  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
377  {289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
378  {222,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},18},
379  {410,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1},
380  {72,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
381  {1020,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
382  {1152,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1032},
383  {354,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},1},
384  {0,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,1,0},0},
385  {1152,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
386  {1032,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
387  {854,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
388  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
389  {2679,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5365},
390  {2713,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4587},
391  {1437,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
392  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1902},
393  {127,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
394  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},5311},
395  {1260,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1092},
396  {5365,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
397  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},5051},
398  {1092,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
399  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},865},
400  {4587,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
401  {1489,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1032},
402  {518,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},1},
403  {0,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
404  {865,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
405  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
406  {104,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},2594},
407  {2298,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5051},
408  {1248,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
409  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2577},
410  {3359,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5557},
411  {801,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1992},
412  {1844,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3},
413  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3245},
414  {2594,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
415  {4269,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},4115},
416  {4008,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},1},
417  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3819},
418  {2577,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
419  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
420  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},581},
421  {3245,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
422  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
423  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},581},
424  {581,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
425  {500,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
426  {876,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0},0},
427  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1872},
428  {1872,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
429  {1992,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
430  {1648,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
431  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
432  {2127,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
433  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1962},
434  {2142,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1977},
435  {3882,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3777},
436  {2883,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3},
437  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4247},
438  {2900,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
439  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
440  {2127,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
441  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1962},
442  {2142,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1977},
443  {4925,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3777},
444  {661,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
445  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1887},
446  {88,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5077},
447  {1284,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},259},
448  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2611},
449  {1962,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
450  {174,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
451  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1902},
452  {127,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3},
453  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},5311},
454  {1977,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
455  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},1690},
456  {3777,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
457  {1152,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1032},
458  {5446,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5996},
459  {2730,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},1},
460  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2492},
461  {2492,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
462  {4247,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
463  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
464  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},581},
465  {1690,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
466  {137,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},4159},
467  {132,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},3},
468  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4137},
469  {192,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},259},
470  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2509},
471  {147,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},5},
472  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4203},
473  {1385,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
474  {4159,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
475  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
476  {100,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3557},
477  {4494,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5858},
478  {1528,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1385},
479  {3557,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
480  {4269,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},4115},
481  {4008,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},1},
482  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3819},
483  {4137,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
484  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
485  {942,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},1},
486  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5103},
487  {108,130, {2,1,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
488  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3264},
489  {4494,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5858},
490  {4517,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4425},
491  {5103,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
492  {4269,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},4115},
493  {4008,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,1},1},
494  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3819},
495  {1774,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},3},
496  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3497},
497  {3497,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
498  {641,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
499  {781,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
500  {4425,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
501  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},4225},
502  {4225,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
503  {100,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5501},
504  {1528,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1385},
505  {5501,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
506  {4269,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},4115},
507  {296,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},1},
508  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4448},
509  {4448,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
510  {4008,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3819},
511  {937,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},0},
512  {198,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},2972},
513  {3819,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
514  {2509,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
515  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
516  {186,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1662},
517  {4494,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5858},
518  {1528,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1385},
519  {1662,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
520  {1760,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
521  {937,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,1},0},
522  {198,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0},2972},
523  {4203,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
524  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
525  {4471,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
526  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},5825},
527  {4494,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5858},
528  {1528,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1385},
529  {1359,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
530  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
531  {2298,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5051},
532  {2713,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4587},
533  {261,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},247},
534  {247,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
535  {1634,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
536  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
537  {3882,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3777},
538  {2883,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},3},
539  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},4247},
540  {2918,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
541  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
542  {2127,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},1},
543  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1962},
544  {2142,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1977},
545  {1554,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5891},
546  {2298,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},3},
547  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},5051},
548  {2713,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4587},
549  {4707,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,1},259},
550  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},1887},
551  {88,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5077},
552  {5259,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,1,0},5},
553  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},2611},
554  {1887,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
555  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
556  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},581},
557  {2611,135, {0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
558  {64,132, {0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,1,0,0,0,1},3},
559  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},581},
560  {5077,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
561  {5051,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
562  {5557,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
563  {5858,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
564  {5825,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
565  {5996,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
566  {5891,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
567  {5311,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
568  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},2202},
569  {3188,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
570  {1140,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},1008},
571  {3617,130, {2,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0},1},
572  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0},3457},
573  {1902,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
574  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},3188},
575  {4115,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
576  {275,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},112},
577  {1593,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},4563},
578  {832,2, {0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
579  {48,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1},
580  {51,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
581  {258,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
582  {54,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
583  {57,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},7},
584  {3264,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
585  {2972,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
586  {731,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
587  {378,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,1,0,1,0},0},
588  {731,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
589  {1676,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
590  {1104,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},117},
591  {117,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
592  {466,23, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1},0},
593  {1164,24, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},0},
594  {2475,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},865},
595  {216,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
596  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
597  {4755,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
598  {96,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},15},
599  {310,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
600  {641,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
601  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},27},
602  {92,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
603  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
604  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
605  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
606  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
607  {2298,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
608  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},9},
609  {2764,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
610  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
611  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
612  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
613  {234,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},162},
614  {157,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},7},
615  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5},
616  {1816,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
617  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
618  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
619  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
620  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
621  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
622  {282,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
623  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
624  {2662,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
625  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
626  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
627  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
628  {651,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},168},
629  {1224,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
630  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
631  {1176,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
632  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
633  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
634  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
635  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
636  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
637  {289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
638  {222,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},18},
639  {68,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
640  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},9},
641  {3321,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
642  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
643  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
644  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
645  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
646  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
647  {289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
648  {222,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},18},
649  {68,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
650  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},11},
651  {3062,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
652  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
653  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
654  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
655  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
656  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
657  {289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
658  {222,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},18},
659  {68,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
660  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},22},
661  {1476,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
662  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
663  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
664  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
665  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
666  {3597,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
667  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},22},
668  {426,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
669  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
670  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
671  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
672  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
673  {3597,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
674  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},259},
675  {711,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
676  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
677  {4755,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5},
678  {76,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},11},
679  {545,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
680  {563,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
681  {920,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},9},
682  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},13},
683  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
684  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},259},
685  {2526,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3397},
686  {2560,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3537},
687  {3537,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
688  {1333,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},33},
689  {33,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
690  {2266,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
691  {3697,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
692  {42,4, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
693  {3080,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
694  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
695  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
696  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
697  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
698  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
699  {289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
700  {222,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},18},
701  {447,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
702  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},11},
703  {370,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
704  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
705  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
706  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
707  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
708  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
709  {204,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},22},
710  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},3},
711  {1732,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
712  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
713  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
714  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
715  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
716  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
717  {204,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},22},
718  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},259},
719  {2798,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
720  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
721  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
722  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
723  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
724  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
725  {204,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},22},
726  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5},
727  {2314,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
728  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
729  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
730  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
731  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
732  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
733  {204,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},22},
734  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},9},
735  {2781,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
736  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
737  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
738  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
739  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
740  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
741  {204,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},22},
742  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},11},
743  {2067,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
744  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
745  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
746  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
747  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
748  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
749  {289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
750  {222,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},18},
751  {447,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
752  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},259},
753  {3945,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
754  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
755  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
756  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
757  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
758  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
759  {289,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
760  {222,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},18},
761  {447,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
762  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},24},
763  {2052,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
764  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
765  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
766  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
767  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
768  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
769  {210,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
770  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},5},
771  {2815,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
772  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
773  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
774  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
775  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
776  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
777  {210,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
778  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},7},
779  {2082,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
780  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
781  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
782  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
783  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
784  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
785  {210,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
786  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},9},
787  {3637,6, {0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
788  {84,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
789  {1212,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},259},
790  {45,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},60},
791  {303,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},240},
792  {142,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},3},
793  {210,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},31},
794  {0,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},11},
795  {3457,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
796  {4731,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},4611},
797  {3359,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},5557},
798  {801,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2703},
799  {4611,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
800  {474,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},832},
801  {1140,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1008},
802  {887,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},2611},
803  {2703,3, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
804  {112,137, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
805  {1236,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0},1068},
806  {1068,133, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
807  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},5129},
808  {5129,135, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
809  {0,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0},4071},
810  {4071,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
811  {152,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},1606},
812  {228,129, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},1872},
813  {1606,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
814  {1872,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
815  {3397,16, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,1},0},
816  {641,6, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1},0},
817  {953,134, {0,0,0,0,0,0,0,0,0,0,1,0,0,0,1,0,0,0,0,1,0,1,0},0},
818  {641,128, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
819  {1008,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
820  {2202,134, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,1},0},
821  {4563,2, {0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0},0},
822  {0,0}
823 };
824 
825 static const char string_table[] = {
826  '\0',
827  '0','\0',
828  '1','\0',
829  '3','\0',
830  '4','\0',
831  '5','\0',
832  '6','\0',
833  '8','\0',
834  '1','4','\0',
835  '1','6','\0',
836  '1','7','\0',
837  '2','3','\0',
838  '2','6','\0',
839  '2','9','\0',
840  'I','V','\0',
841  'c','A','\0',
842  'd','s','\0',
843  'i','v','\0',
844  'u','s','\0',
845  'v','0','\0',
846  'v','1','\0',
847  'v','3','\0',
848  'v','4','\0',
849  '8','4','0','\0',
850  'M','A','X','\0',
851  'a','l','g','\0',
852  'c','m','s','\0',
853  'd','o','d','\0',
854  'f','o','o','\0',
855  'i','s','o','\0',
856  'm','a','c','\0',
857  'm','d','5','\0',
858  'o','i','w','\0',
859  'r','i','d','\0',
860  's','i','d','\0',
861  'u','k','m','\0',
862  'N','a','m','e','\0',
863  'T','i','m','e','\0',
864  'b','a','s','e','\0',
865  'c','r','l','s','\0',
866  'k','a','r','i','\0',
867  'k','t','r','i','\0',
868  'p','k','c','s','\0',
869  'p','w','r','i','\0',
870  't','y','p','e','\0',
871  'x','9','c','m','\0',
872  '1','0','0','4','0','\0',
873  '1','0','0','4','6','\0',
874  'c','e','r','t','s','\0',
875  'i','d','-','c','e','\0',
876  'k','e','k','i','d','\0',
877  'k','e','k','r','i','\0',
878  'o','t','h','e','r','\0',
879  'p','k','c','s','7','\0',
880  'p','k','c','s','9','\0',
881  's','h','a','-','1','\0',
882  's','m','i','m','e','\0',
883  'v','a','l','u','e','\0',
884  'x','9','-','5','7','\0',
885  '1','1','3','5','4','9','\0',
886  'D','i','g','e','s','t','\0',
887  'T','M','T','T','v','2','\0',
888  'd','i','g','e','s','t','\0',
889  'e','x','t','n','I','D','\0',
890  'i','s','s','u','e','r','\0',
891  'p','k','c','s','-','1','\0',
892  'p','k','c','s','-','9','\0',
893  'r','K','e','y','I','d','\0',
894  'r','s','a','d','s','i','\0',
895  's','e','c','s','i','g','\0',
896  't','y','p','e','I','d','\0',
897  'u','n','u','s','e','d','\0',
898  'v','a','l','u','e','s','\0',
899  'V','e','r','s','i','o','n','\0',
900  'c','R','L','S','i','g','n','\0',
901  'c','o','n','t','e','n','t','\0',
902  'd','N','S','N','a','m','e','\0',
903  'i','d','-','d','a','t','a','\0',
904  'k','e','y','A','t','t','r','\0',
905  'm','a','x','S','i','z','e','\0',
906  'm','a','x','i','m','u','m','\0',
907  'm','i','n','i','m','u','m','\0',
908  'm','o','d','u','l','e','s','\0',
909  'n','u','m','e','r','i','c','\0',
910  'r','c','2','-','c','b','c','\0',
911  'r','e','a','s','o','n','s','\0',
912  's','u','b','j','e','c','t','\0',
913  's','u','r','n','a','m','e','\0',
914  't','y','p','e','-','i','d','\0',
915  'u','t','c','T','i','m','e','\0',
916  'v','e','r','s','i','o','n','\0',
917  'K','e','y','U','s','a','g','e','\0',
918  'V','a','l','i','d','i','t','y','\0',
919  'a','t','t','r','T','y','p','e','\0',
920  'c','r','i','t','i','c','a','l','\0',
921  'e','C','o','n','t','e','n','t','\0',
922  'f','u','l','l','N','a','m','e','\0',
923  'i','n','i','t','i','a','l','s','\0',
924  'i','n','t','e','r','n','e','t','\0',
925  'n','o','t','A','f','t','e','r','\0',
926  's','e','c','u','r','i','t','y','\0',
927  'v','a','l','i','d','i','t','y','\0',
928  'A','t','t','r','i','b','u','t','e','\0',
929  'C','R','L','R','e','a','s','o','n','\0',
930  'E','x','t','e','n','s','i','o','n','\0',
931  'O','R','A','d','d','r','e','s','s','\0',
932  'O','t','h','e','r','N','a','m','e','\0',
933  'S','k','i','p','C','e','r','t','s','\0',
934  'a','l','g','o','r','i','t','h','m','\0',
935  'a','n','s','i','-','x','9','4','2','\0',
936  'a','u','t','h','A','t','t','r','s','\0',
937  'b','m','p','S','t','r','i','n','g','\0',
938  'c','R','L','I','s','s','u','e','r','\0',
939  'c','R','L','N','u','m','b','e','r','\0',
940  'e','x','t','n','V','a','l','u','e','\0',
941  'h','M','A','C','-','S','H','A','1','\0',
942  'i','P','A','d','d','r','e','s','s','\0',
943  'k','e','y','A','t','t','r','I','d','\0',
944  'n','o','t','B','e','f','o','r','e','\0',
945  'o','t','h','e','r','N','a','m','e','\0',
946  'p','a','r','t','y','N','a','m','e','\0',
947  'p','r','i','n','t','a','b','l','e','\0',
948  'p','u','b','l','i','c','K','e','y','\0',
949  'q','u','a','l','i','f','i','e','r','\0',
950  's','i','g','n','a','t','u','r','e','\0',
951  't','e','l','e','t','r','u','s','t','\0',
952  'A','t','t','r','i','b','u','t','e','s','\0',
953  'C','M','S','V','e','r','s','i','o','n','\0',
954  'E','x','t','e','n','s','i','o','n','s','\0',
955  'S','i','g','n','e','d','D','a','t','a','\0',
956  'S','i','g','n','e','r','I','n','f','o','\0',
957  'a','t','t','r','V','a','l','u','e','s','\0',
958  'a','t','t','r','i','b','u','t','e','s','\0',
959  'e','x','t','e','n','s','i','o','n','s','\0',
960  'g','i','v','e','n','-','n','a','m','e','\0',
961  'm','e','c','h','a','n','i','s','m','s','\0',
962  'n','e','x','t','U','p','d','a','t','e','\0',
963  'o','r','i','g','i','n','a','t','o','r','\0',
964  'p','a','r','a','m','e','t','e','r','s','\0',
965  'r','f','c','8','2','2','N','a','m','e','\0',
966  's','u','p','e','r','s','e','d','e','d','\0',
967  't','h','i','s','U','p','d','a','t','e','\0',
968  'u','t','f','8','S','t','r','i','n','g','\0',
969  'C','e','r','t','i','f','i','c','a','t','e','\0',
970  'C','o','n','t','e','n','t','I','n','f','o','\0',
971  'C','o','n','t','e','n','t','T','y','p','e','\0',
972  'C','o','u','n','t','r','y','N','a','m','e','\0',
973  'G','e','n','e','r','a','l','N','a','m','e','\0',
974  'R','D','N','S','e','q','u','e','n','c','e','\0',
975  'R','e','a','s','o','n','F','l','a','g','s','\0',
976  'S','i','g','n','e','r','I','n','f','o','s','\0',
977  'S','i','g','n','i','n','g','T','i','m','e','\0',
978  'T','B','S','C','e','r','t','L','i','s','t','\0',
979  'X','1','2','1','A','d','d','r','e','s','s','\0',
980  'c','e','r','t','i','f','i','c','a','t','e','\0',
981  'c','o','n','t','e','n','t','T','y','p','e','\0',
982  'g','e','n','e','r','a','l','T','i','m','e','\0',
983  'i','d','-','a','l','g','-','E','S','D','H','\0',
984  'i','n','d','i','r','e','c','t','C','R','L','\0',
985  'k','e','y','C','e','r','t','S','i','g','n','\0',
986  'm','e','m','b','e','r','-','b','o','d','y','\0',
987  'n','u','m','b','e','r','-','t','y','p','e','\0',
988  'r','d','n','S','e','q','u','e','n','c','e','\0',
989  's','i','g','n','e','d','A','t','t','r','s','\0',
990  's','i','g','n','e','r','I','n','f','o','s','\0',
991  't','b','s','C','e','r','t','L','i','s','t','\0',
992  'u','n','a','u','t','h','A','t','t','r','s','\0',
993  'u','n','s','p','e','c','i','f','i','e','d','\0',
994  'x','4','0','0','A','d','d','r','e','s','s','\0',
995  'B','a','s','e','D','i','s','t','a','n','c','e','\0',
996  'C','B','C','P','a','r','a','m','e','t','e','r','\0',
997  'C','e','r','t','P','o','l','i','c','y','I','d','\0',
998  'D','i','g','e','s','t','e','d','D','a','t','a','\0',
999  'E','D','I','P','a','r','t','y','N','a','m','e','\0',
1000  'E','n','c','r','y','p','t','e','d','K','e','y','\0',
1001  'G','e','n','e','r','a','l','N','a','m','e','s','\0',
1002  'P','e','r','s','o','n','a','l','N','a','m','e','\0',
1003  'c','A','C','o','m','p','r','o','m','i','s','e','\0',
1004  'c','e','r','t','i','f','i','c','a','t','e','s','\0',
1005  'c','o','u','n','t','r','y','-','n','a','m','e','\0',
1006  'd','e','c','i','p','h','e','r','O','n','l','y','\0',
1007  'd','e','s','-','e','d','e','3','-','c','b','c','\0',
1008  'e','C','o','n','t','e','n','t','T','y','p','e','\0',
1009  'e','d','i','P','a','r','t','y','N','a','m','e','\0',
1010  'e','n','c','i','p','h','e','r','O','n','l','y','\0',
1011  'e','n','c','r','y','p','t','e','d','K','e','y','\0',
1012  'k','e','y','A','g','r','e','e','m','e','n','t','\0',
1013  'm','a','c','A','l','g','o','r','i','t','h','m','\0',
1014  'n','a','m','e','A','s','s','i','g','n','e','r','\0',
1015  'r','e','g','i','s','t','e','r','e','d','I','D','\0',
1016  's','e','r','i','a','l','N','u','m','b','e','r','\0',
1017  'A','t','t','r','i','b','u','t','e','T','y','p','e','\0',
1018  'B','i','o','m','e','t','r','i','c','D','a','t','a','\0',
1019  'E','n','c','r','y','p','t','e','d','D','a','t','a','\0',
1020  'E','n','v','e','l','o','p','e','d','D','a','t','a','\0',
1021  'K','E','K','I','d','e','n','t','i','f','i','e','r','\0',
1022  'M','e','s','s','a','g','e','D','i','g','e','s','t','\0',
1023  'R','e','c','i','p','i','e','n','t','I','n','f','o','\0',
1024  'c','r','l','E','x','t','e','n','s','i','o','n','s','\0',
1025  'd','i','r','e','c','t','o','r','y','N','a','m','e','\0',
1026  'i','d','-','s','i','g','n','e','d','D','a','t','a','\0',
1027  'k','e','y','C','o','m','p','r','o','m','i','s','e','\0',
1028  'k','e','y','I','d','e','n','t','i','f','i','e','r','\0',
1029  'o','r','i','g','i','n','a','t','o','r','K','e','y','\0',
1030  'p','e','r','s','o','n','a','l','-','n','a','m','e','\0',
1031  'r','e','m','o','v','e','F','r','o','m','C','R','L','\0',
1032  'r','s','a','E','n','c','r','y','p','t','i','o','n','\0',
1033  't','e','l','e','t','e','x','S','t','r','i','n','g','\0',
1034  'u','n','s','i','g','n','e','d','A','t','t','r','s','\0',
1035  'x','1','2','1','-','d','c','c','-','c','o','d','e','\0',
1036  'A','t','t','r','i','b','u','t','e','V','a','l','u','e','\0',
1037  'A','u','t','h','A','t','t','r','i','b','u','t','e','s','\0',
1038  'C','e','r','t','i','f','i','c','a','t','e','S','e','t','\0',
1039  'G','e','n','e','r','a','l','S','u','b','t','r','e','e','\0',
1040  'I','n','v','a','l','i','d','i','t','y','D','a','t','e','\0',
1041  'N','e','t','w','o','r','k','A','d','d','r','e','s','s','\0',
1042  'O','r','i','g','i','n','a','t','o','r','I','n','f','o','\0',
1043  'R','e','c','i','p','i','e','n','t','I','n','f','o','s','\0',
1044  'S','i','g','n','a','t','u','r','e','V','a','l','u','e','\0',
1045  'S','u','b','j','e','c','t','A','l','t','N','a','m','e','\0',
1046  'T','B','S','C','e','r','t','i','f','i','c','a','t','e','\0',
1047  'T','e','s','t','I','d','e','n','t','i','f','i','e','r','\0',
1048  'i','d','-','c','o','n','t','e','n','t','T','y','p','e','\0',
1049  'i','d','-','c','t','-','a','u','t','h','D','a','t','a','\0',
1050  'i','d','-','s','i','g','n','i','n','g','T','i','m','e','\0',
1051  'i','s','s','u','e','r','U','n','i','q','u','e','I','D','\0',
1052  'n','o','n','R','e','p','u','d','i','a','t','i','o','n','\0',
1053  'o','r','i','g','i','n','a','t','o','r','I','n','f','o','\0',
1054  'r','e','c','i','p','i','e','n','t','I','n','f','o','s','\0',
1055  'r','e','v','o','c','a','t','i','o','n','D','a','t','e','\0',
1056  's','i','g','n','a','t','u','r','e','V','a','l','u','e','\0',
1057  't','b','s','C','e','r','t','i','f','i','c','a','t','e','\0',
1058  'C','e','r','t','i','f','i','c','a','t','e','L','i','s','t','\0',
1059  'D','i','r','e','c','t','o','r','y','S','t','r','i','n','g','\0',
1060  'G','e','n','e','r','a','l','S','u','b','t','r','e','e','s','\0',
1061  'N','a','m','e','C','o','n','s','t','r','a','i','n','t','s','\0',
1062  'R','C','2','C','B','C','P','a','r','a','m','e','t','e','r','\0',
1063  'c','e','r','t','i','f','i','c','a','t','e','H','o','l','d','\0',
1064  'd','i','g','e','s','t','A','l','g','o','r','i','t','h','m','\0',
1065  'i','d','-','d','i','g','e','s','t','e','d','D','a','t','a','\0',
1066  'j','o','i','n','t','-','i','s','o','-','c','c','i','t','t','\0',
1067  'k','e','y','E','n','c','i','p','h','e','r','m','e','n','t','\0',
1068  'n','e','t','w','o','r','k','-','a','d','d','r','e','s','s','\0',
1069  'o','n','l','y','S','o','m','e','R','e','a','s','o','n','s','\0',
1070  'p','r','i','n','t','a','b','l','e','S','t','r','i','n','g','\0',
1071  's','u','b','j','e','c','t','U','n','i','q','u','e','I','D','\0',
1072  'u','n','i','v','e','r','s','a','l','S','t','r','i','n','g','\0',
1073  'u','s','e','r','C','e','r','t','i','f','i','c','a','t','e','\0',
1074  'B','a','s','i','c','C','o','n','s','t','r','a','i','n','t','s','\0',
1075  'C','o','u','n','t','e','r','s','i','g','n','a','t','u','r','e','\0',
1076  'E','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t','\0',
1077  'K','E','K','R','e','c','i','p','i','e','n','t','I','n','f','o','\0',
1078  'K','e','y','W','r','a','p','A','l','g','o','r','i','t','h','m','\0',
1079  'O','r','g','a','n','i','z','a','t','i','o','n','N','a','m','e','\0',
1080  'R','C','2','w','r','a','p','P','a','r','a','m','e','t','e','r','\0',
1081  'S','i','g','n','e','d','A','t','t','r','i','b','u','t','e','s','\0',
1082  'S','i','g','n','e','r','I','d','e','n','t','i','f','i','e','r','\0',
1083  'U','n','a','u','t','h','A','t','t','r','i','b','u','t','e','s','\0',
1084  'U','n','i','q','u','e','I','d','e','n','t','i','f','i','e','r','\0',
1085  'd','a','t','a','E','n','c','i','p','h','e','r','m','e','n','t','\0',
1086  'd','h','-','p','u','b','l','i','c','-','n','u','m','b','e','r','\0',
1087  'd','i','g','e','s','t','A','l','g','o','r','i','t','h','m','s','\0',
1088  'd','i','g','i','t','a','l','S','i','g','n','a','t','u','r','e','\0',
1089  'e','n','c','a','p','C','o','n','t','e','n','t','I','n','f','o','\0',
1090  'e','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t','\0',
1091  'e','x','c','l','u','d','e','d','S','u','b','t','r','e','e','s','\0',
1092  'i','d','-','d','s','a','-','w','i','t','h','-','s','h','a','1','\0',
1093  'i','d','-','e','n','c','r','y','p','t','e','d','D','a','t','a','\0',
1094  'i','d','-','e','n','v','e','l','o','p','e','d','D','a','t','a','\0',
1095  'i','d','-','m','e','s','s','a','g','e','D','i','g','e','s','t','\0',
1096  'p','o','l','i','c','y','I','d','e','n','t','i','f','i','e','r','\0',
1097  'p','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','s','\0',
1098  's','u','b','j','e','c','t','P','u','b','l','i','c','K','e','y','\0',
1099  'u','n','p','r','o','t','e','c','t','e','d','A','t','t','r','s','\0',
1100  'A','u','t','h','E','n','v','e','l','o','p','e','d','D','a','t',
1101  'a','\0',
1102  'A','u','t','h','e','n','t','i','c','a','t','e','d','D','a','t',
1103  'a','\0',
1104  'C','e','r','t','i','f','i','c','a','t','e','I','s','s','u','e',
1105  'r','\0',
1106  'D','i','s','t','r','i','b','u','t','i','o','n','P','o','i','n',
1107  't','\0',
1108  'O','t','h','e','r','K','e','y','A','t','t','r','i','b','u','t',
1109  'e','\0',
1110  'P','o','l','i','c','y','I','n','f','o','r','m','a','t','i','o',
1111  'n','\0',
1112  'P','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','I',
1113  'd','\0',
1114  'P','r','i','v','a','t','e','D','o','m','a','i','n','N','a','m',
1115  'e','\0',
1116  'd','i','s','t','r','i','b','u','t','i','o','n','P','o','i','n',
1117  't','\0',
1118  'i','d','-','a','l','g','-','C','M','S','R','C','2','w','r','a',
1119  'p','\0',
1120  'i','d','-','c','t','-','c','o','n','t','e','n','t','I','n','f',
1121  'o','\0',
1122  'o','r','g','a','n','i','z','a','t','i','o','n','-','n','a','m',
1123  'e','\0',
1124  'p','a','t','h','L','e','n','C','o','n','s','t','r','a','i','n',
1125  't','\0',
1126  'p','e','r','m','i','t','t','e','d','S','u','b','t','r','e','e',
1127  's','\0',
1128  'p','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','I',
1129  'd','\0',
1130  'u','b','-','s','u','r','n','a','m','e','-','l','e','n','g','t',
1131  'h','\0',
1132  'C','e','r','t','i','f','i','c','a','t','e','C','h','o','i','c',
1133  'e','s','\0',
1134  'E','x','t','e','n','s','i','o','n','A','t','t','r','i','b','u',
1135  't','e','\0',
1136  'T','e','r','m','i','n','a','l','I','d','e','n','t','i','f','i',
1137  'e','r','\0',
1138  'U','n','s','i','g','n','e','d','A','t','t','r','i','b','u','t',
1139  'e','s','\0',
1140  'U','s','e','r','K','e','y','i','n','g','M','a','t','e','r','i',
1141  'a','l','\0',
1142  'a','f','f','i','l','i','a','t','i','o','n','C','h','a','n','g',
1143  'e','d','\0',
1144  'c','r','l','E','n','t','r','y','E','x','t','e','n','s','i','o',
1145  'n','s','\0',
1146  'i','d','-','a','l','g','-','C','M','S','3','D','E','S','w','r',
1147  'a','p','\0',
1148  'i','s','s','u','e','r','D','o','m','a','i','n','P','o','l','i',
1149  'c','y','\0',
1150  's','i','g','n','a','t','u','r','e','A','l','g','o','r','i','t',
1151  'h','m','\0',
1152  'u','b','-','i','n','i','t','i','a','l','s','-','l','e','n','g',
1153  't','h','\0',
1154  'A','l','g','o','r','i','t','h','m','I','d','e','n','t','i','f',
1155  'i','e','r','\0',
1156  'C','R','L','D','i','s','t','P','o','i','n','t','s','S','y','n',
1157  't','a','x','\0',
1158  'C','e','r','t','i','f','i','c','a','t','e','P','o','l','i','c',
1159  'i','e','s','\0',
1160  'E','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
1161  'a','t','e','\0',
1162  'E','x','t','e','n','s','i','o','n','A','t','t','r','i','b','u',
1163  't','e','s','\0',
1164  'O','r','i','g','i','n','a','t','o','r','P','u','b','l','i','c',
1165  'K','e','y','\0',
1166  'P','o','l','i','c','y','Q','u','a','l','i','f','i','e','r','I',
1167  'n','f','o','\0',
1168  'R','C','2','P','a','r','a','m','e','t','e','r','V','e','r','s',
1169  'i','o','n','\0',
1170  'R','e','c','i','p','i','e','n','t','I','d','e','n','t','i','f',
1171  'i','e','r','\0',
1172  'a','u','t','h','o','r','i','t','y','C','e','r','t','I','s','s',
1173  'u','e','r','\0',
1174  'e','n','c','r','y','p','t','i','o','n','A','l','g','o','r','i',
1175  't','h','m','\0',
1176  'e','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
1177  'a','t','e','\0',
1178  'i','d','-','c','o','u','n','t','e','r','s','i','g','n','a','t',
1179  'u','r','e','\0',
1180  'o','n','l','y','C','o','n','t','a','i','n','s','C','A','C','e',
1181  'r','t','s','\0',
1182  'p','r','i','v','a','t','e','-','d','o','m','a','i','n','-','n',
1183  'a','m','e','\0',
1184  'r','c','2','P','a','r','a','m','e','t','e','r','V','e','r','s',
1185  'i','o','n','\0',
1186  'r','e','v','o','k','e','d','C','e','r','t','i','f','i','c','a',
1187  't','e','s','\0',
1188  's','u','b','j','e','c','t','D','o','m','a','i','n','P','o','l',
1189  'i','c','y','\0',
1190  't','e','r','m','i','n','a','l','-','i','d','e','n','t','i','f',
1191  'i','e','r','\0',
1192  'E','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t',
1193  'I','n','f','o','\0',
1194  'P','o','l','i','c','y','M','a','p','p','i','n','g','s','S','y',
1195  'n','t','a','x','\0',
1196  'S','u','b','j','e','c','t','K','e','y','I','d','e','n','t','i',
1197  'f','i','e','r','\0',
1198  'S','u','b','j','e','c','t','P','u','b','l','i','c','K','e','y',
1199  'I','n','f','o','\0',
1200  'c','e','s','s','a','t','i','o','n','O','f','O','p','e','r','a',
1201  't','i','o','n','\0',
1202  'e','n','c','r','y','p','t','e','d','C','o','n','t','e','n','t',
1203  'I','n','f','o','\0',
1204  'e','x','t','e','n','s','i','o','n','-','a','t','t','r','i','b',
1205  'u','t','e','s','\0',
1206  'g','e','n','e','r','a','t','i','o','n','-','q','u','a','l','i',
1207  'f','i','e','r','\0',
1208  'i','d','-','a','u','t','h','E','n','v','e','l','o','p','e','d',
1209  'D','a','t','a','\0',
1210  'i','n','h','i','b','i','t','P','o','l','i','c','y','M','a','p',
1211  'p','i','n','g','\0',
1212  'i','s','o','-','3','1','6','6','-','a','l','p','h','a','2','-',
1213  'c','o','d','e','\0',
1214  's','u','b','j','e','c','t','K','e','y','I','d','e','n','t','i',
1215  'f','i','e','r','\0',
1216  's','u','b','j','e','c','t','P','u','b','l','i','c','K','e','y',
1217  'I','n','f','o','\0',
1218  'u','b','-','g','i','v','e','n','-','n','a','m','e','-','l','e',
1219  'n','g','t','h','\0',
1220  'A','t','t','r','i','b','u','t','e','T','y','p','e','A','n','d',
1221  'V','a','l','u','e','\0',
1222  'D','i','s','t','r','i','b','u','t','i','o','n','P','o','i','n',
1223  't','N','a','m','e','\0',
1224  'I','s','s','u','e','r','A','n','d','S','e','r','i','a','l','N',
1225  'u','m','b','e','r','\0',
1226  'K','e','y','A','g','r','e','e','R','e','c','i','p','i','e','n',
1227  't','I','n','f','o','\0',
1228  'K','e','y','T','r','a','n','s','R','e','c','i','p','i','e','n',
1229  't','I','n','f','o','\0',
1230  'N','u','m','e','r','i','c','U','s','e','r','I','d','e','n','t',
1231  'i','f','i','e','r','\0',
1232  'P','a','s','s','w','o','r','d','R','e','c','i','p','i','e','n',
1233  't','I','n','f','o','\0',
1234  'R','e','c','i','p','i','e','n','t','E','n','c','r','y','p','t',
1235  'e','d','K','e','y','\0',
1236  'U','n','p','r','o','t','e','c','t','e','d','A','t','t','r','i',
1237  'b','u','t','e','s','\0',
1238  'i','s','s','u','e','r','A','n','d','S','e','r','i','a','l','N',
1239  'u','m','b','e','r','\0',
1240  'o','n','l','y','C','o','n','t','a','i','n','s','U','s','e','r',
1241  'C','e','r','t','s','\0',
1242  'r','e','q','u','i','r','e','E','x','p','l','i','c','i','t','P',
1243  'o','l','i','c','y','\0',
1244  'u','b','-','d','o','m','a','i','n','-','n','a','m','e','-','l',
1245  'e','n','g','t','h','\0',
1246  'u','b','-','t','e','r','m','i','n','a','l','-','i','d','-','l',
1247  'e','n','g','t','h','\0',
1248  'A','u','t','h','o','r','i','t','y','K','e','y','I','d','e','n',
1249  't','i','f','i','e','r','\0',
1250  'O','r','g','a','n','i','z','a','t','i','o','n','a','l','U','n',
1251  'i','t','N','a','m','e','\0',
1252  'R','e','c','i','p','i','e','n','t','E','n','c','r','y','p','t',
1253  'e','d','K','e','y','s','\0',
1254  'R','e','c','i','p','i','e','n','t','K','e','y','I','d','e','n',
1255  't','i','f','i','e','r','\0',
1256  'k','e','y','D','e','r','i','v','a','t','i','o','n','A','l','g',
1257  'o','r','i','t','h','m','\0',
1258  'k','e','y','E','n','c','r','y','p','t','i','o','n','A','l','g',
1259  'o','r','i','t','h','m','\0',
1260  'r','e','c','i','p','i','e','n','t','E','n','c','r','y','p','t',
1261  'e','d','K','e','y','s','\0',
1262  'u','b','-','x','1','2','1','-','a','d','d','r','e','s','s','-',
1263  'l','e','n','g','t','h','\0',
1264  'C','e','r','t','i','f','i','c','a','t','e','S','e','r','i','a',
1265  'l','N','u','m','b','e','r','\0',
1266  'E','n','c','a','p','s','u','l','a','t','e','d','C','o','n','t',
1267  'e','n','t','I','n','f','o','\0',
1268  'E','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
1269  'a','t','e','I','n','f','o','\0',
1270  'O','r','g','a','n','i','z','a','t','i','o','n','a','l','U','n',
1271  'i','t','N','a','m','e','s','\0',
1272  'P','o','l','i','c','y','C','o','n','s','t','r','a','i','n','t',
1273  's','S','y','n','t','a','x','\0',
1274  'P','o','l','i','c','y','D','i','s','t','r','i','b','u','t','i',
1275  'o','n','P','o','i','n','t','\0',
1276  'a','u','t','h','e','n','t','i','c','a','t','e','d','A','t','t',
1277  'r','i','b','u','t','e','s','\0',
1278  'e','x','t','e','n','d','e','d','C','e','r','t','i','f','i','c',
1279  'a','t','e','I','n','f','o','\0',
1280  'i','d','e','n','t','i','f','i','e','d','-','o','r','g','a','n',
1281  'i','z','a','t','i','o','n','\0',
1282  'n','a','m','e','R','e','l','a','t','i','v','e','T','o','C','R',
1283  'L','I','s','s','u','e','r','\0',
1284  'n','u','m','e','r','i','c','-','u','s','e','r','-','i','d','e',
1285  'n','t','i','f','i','e','r','\0',
1286  'u','b','-','e','x','t','e','n','s','i','o','n','-','a','t','t',
1287  'r','i','b','u','t','e','s','\0',
1288  'u','b','-','o','r','g','a','n','i','z','a','t','i','o','n','a',
1289  'l','-','u','n','i','t','s','\0',
1290  'A','d','m','i','n','i','s','t','r','a','t','i','o','n','D','o',
1291  'm','a','i','n','N','a','m','e','\0',
1292  'C','e','r','t','i','f','i','c','a','t','i','o','n','R','e','q',
1293  'u','e','s','t','I','n','f','o','\0',
1294  'a','u','t','h','E','n','c','r','y','p','t','e','d','C','o','n',
1295  't','e','n','t','I','n','f','o','\0',
1296  'c','e','r','t','i','f','i','c','a','t','i','o','n','R','e','q',
1297  'u','e','s','t','I','n','f','o','\0',
1298  'e','x','t','e','n','s','i','o','n','-','a','t','t','r','i','b',
1299  'u','t','e','-','t','y','p','e','\0',
1300  'i','s','s','u','i','n','g','D','i','s','t','r','i','b','u','t',
1301  'i','o','n','P','o','i','n','t','\0',
1302  'B','u','i','l','t','I','n','S','t','a','n','d','a','r','d','A',
1303  't','t','r','i','b','u','t','e','s','\0',
1304  'D','i','g','e','s','t','A','l','g','o','r','i','t','h','m','I',
1305  'd','e','n','t','i','f','i','e','r','\0',
1306  'M','e','s','s','a','g','e','A','u','t','h','e','n','t','i','c',
1307  'a','t','i','o','n','C','o','d','e','\0',
1308  'O','r','i','g','i','n','a','t','o','r','I','d','e','n','t','i',
1309  'f','i','e','r','O','r','K','e','y','\0',
1310  'R','e','l','a','t','i','v','e','D','i','s','t','i','n','g','u',
1311  'i','s','h','e','d','N','a','m','e','\0',
1312  'a','u','t','h','o','r','i','t','y','C','e','r','t','S','e','r',
1313  'i','a','l','N','u','m','b','e','r','\0',
1314  'e','x','t','e','n','s','i','o','n','-','a','t','t','r','i','b',
1315  'u','t','e','-','v','a','l','u','e','\0',
1316  'o','r','g','a','n','i','z','a','t','i','o','n','a','l','-','u',
1317  'n','i','t','-','n','a','m','e','s','\0',
1318  'u','b','-','n','u','m','e','r','i','c','-','u','s','e','r','-',
1319  'i','d','-','l','e','n','g','t','h','\0',
1320  'u','n','a','u','t','h','e','n','t','i','c','a','t','e','d','A',
1321  't','t','r','i','b','u','t','e','s','\0',
1322  'u','n','i','f','o','r','m','R','e','s','o','u','r','c','e','I',
1323  'd','e','n','t','i','f','i','e','r','\0',
1324  'C','e','r','t','i','f','i','c','a','t','e','R','e','v','o','c',
1325  'a','t','i','o','n','L','i','s','t','s','\0',
1326  'C','r','y','p','t','o','g','r','a','p','h','i','c','M','e','s',
1327  's','a','g','e','S','y','n','t','a','x','\0',
1328  'D','i','g','e','s','t','A','l','g','o','r','i','t','h','m','I',
1329  'd','e','n','t','i','f','i','e','r','s','\0',
1330  'S','u','b','j','e','c','t','D','i','r','e','c','t','o','r','y',
1331  'A','t','t','r','i','b','u','t','e','s','\0',
1332  'a','d','m','i','n','i','s','t','r','a','t','i','o','n','-','d',
1333  'o','m','a','i','n','-','n','a','m','e','\0',
1334  'c','o','n','t','e','n','t','E','n','c','r','y','p','t','i','o',
1335  'n','A','l','g','o','r','i','t','h','m','\0',
1336  'I','s','s','u','e','r','C','e','r','t','D','i','s','t','r','i',
1337  'b','u','t','i','o','n','P','o','i','n','t','\0',
1338  'K','e','y','A','g','r','e','e','R','e','c','i','p','i','e','n',
1339  't','I','d','e','n','t','i','f','i','e','r','\0',
1340  'u','b','-','o','r','g','a','n','i','z','a','t','i','o','n','-',
1341  'n','a','m','e','-','l','e','n','g','t','h','\0',
1342  'S','i','g','n','a','t','u','r','e','A','l','g','o','r','i','t',
1343  'h','m','I','d','e','n','t','i','f','i','e','r','\0',
1344  'S','u','b','j','e','c','t','C','e','r','t','D','i','s','t','r',
1345  'i','b','u','t','i','o','n','P','o','i','n','t','\0',
1346  'b','u','i','l','t','-','i','n','-','s','t','a','n','d','a','r',
1347  'd','-','a','t','t','r','i','b','u','t','e','s','\0',
1348  'u','b','-','c','o','u','n','t','r','y','-','n','a','m','e','-',
1349  'a','l','p','h','a','-','l','e','n','g','t','h','\0',
1350  'u','b','-','d','o','m','a','i','n','-','d','e','f','i','n','e',
1351  'd','-','a','t','t','r','i','b','u','t','e','s','\0',
1352  'B','u','i','l','t','I','n','D','o','m','a','i','n','D','e','f',
1353  'i','n','e','d','A','t','t','r','i','b','u','t','e','\0',
1354  'B','u','i','l','t','I','n','D','o','m','a','i','n','D','e','f',
1355  'i','n','e','d','A','t','t','r','i','b','u','t','e','s','\0',
1356  'u','b','-','c','o','u','n','t','r','y','-','n','a','m','e','-',
1357  'n','u','m','e','r','i','c','-','l','e','n','g','t','h','\0',
1358  'u','b','-','g','e','n','e','r','a','t','i','o','n','-','q','u',
1359  'a','l','i','f','i','e','r','-','l','e','n','g','t','h','\0',
1360  'K','e','y','D','e','r','i','v','a','t','i','o','n','A','l','g',
1361  'o','r','i','t','h','m','I','d','e','n','t','i','f','i','e','r','\0',
1362  'K','e','y','E','n','c','r','y','p','t','i','o','n','A','l','g',
1363  'o','r','i','t','h','m','I','d','e','n','t','i','f','i','e','r','\0',
1364  'M','e','s','s','a','g','e','A','u','t','h','e','n','t','i','c',
1365  'a','t','i','o','n','C','o','d','e','A','l','g','o','r','i','t',
1366  'h','m','\0',
1367  'b','u','i','l','t','-','i','n','-','d','o','m','a','i','n','-',
1368  'd','e','f','i','n','e','d','-','a','t','t','r','i','b','u','t',
1369  'e','s','\0',
1370  'u','b','-','o','r','g','a','n','i','z','a','t','i','o','n','a',
1371  'l','-','u','n','i','t','-','n','a','m','e','-','l','e','n','g',
1372  't','h','\0',
1373  'C','o','n','t','e','n','t','E','n','c','r','y','p','t','i','o',
1374  'n','A','l','g','o','r','i','t','h','m','I','d','e','n','t','i',
1375  'f','i','e','r','\0',
1376  'u','b','-','d','o','m','a','i','n','-','d','e','f','i','n','e',
1377  'd','-','a','t','t','r','i','b','u','t','e','-','t','y','p','e',
1378  '-','l','e','n','g','t','h','\0',
1379  'u','b','-','d','o','m','a','i','n','-','d','e','f','i','n','e',
1380  'd','-','a','t','t','r','i','b','u','t','e','-','v','a','l','u',
1381  'e','-','l','e','n','g','t','h','\0',
1382  '\0' };
1383 /* (412 strings) */
1384 
1385 
1386 const static_asn *
1387 _ksba_asn_lookup_table (const char *name, const char **stringtbl)
1388 {
1389  *stringtbl = string_table;
1390  if (!strcmp (name, "cms"))
1391  return cms_asn1_tab;
1392  if (!strcmp (name, "tmttv2"))
1393  return tmttv2_asn1_tab;
1394 
1395  return NULL;
1396 }
static const static_asn cms_asn1_tab[]
Definition: asn1-tables.c:369
static const char string_table[]
Definition: asn1-tables.c:825
const static_asn * _ksba_asn_lookup_table(const char *name, const char **stringtbl)
Definition: asn1-tables.c:1387
static const static_asn tmttv2_asn1_tab[]
Definition: asn1-tables.c:8
const char * name
Definition: dn.c:47