yosys-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
techmap.inc
Go to the documentation of this file.
1 // autogenerated from techlibs/common/techmap.v
2 static char stdcells_code[] = {
3  47, 42, 10, 32, 42, 32, 32, 121, 111, 115, 121, 115, 32, 45, 45, 32,
4  89, 111, 115, 121, 115, 32, 79, 112, 101, 110, 32, 83, 89, 110, 116, 104,
5  101, 115, 105, 115, 32, 83, 117, 105, 116, 101, 10, 32, 42, 10, 32, 42,
6  32, 32, 67, 111, 112, 121, 114, 105, 103, 104, 116, 32, 40, 67, 41, 32,
7  50, 48, 49, 50, 32, 32, 67, 108, 105, 102, 102, 111, 114, 100, 32, 87,
8  111, 108, 102, 32, 60, 99, 108, 105, 102, 102, 111, 114, 100, 64, 99, 108,
9  105, 102, 102, 111, 114, 100, 46, 97, 116, 62, 10, 32, 42, 32, 32, 10,
10  32, 42, 32, 32, 80, 101, 114, 109, 105, 115, 115, 105, 111, 110, 32, 116,
11  111, 32, 117, 115, 101, 44, 32, 99, 111, 112, 121, 44, 32, 109, 111, 100,
12  105, 102, 121, 44, 32, 97, 110, 100, 47, 111, 114, 32, 100, 105, 115, 116,
13  114, 105, 98, 117, 116, 101, 32, 116, 104, 105, 115, 32, 115, 111, 102, 116,
14  119, 97, 114, 101, 32, 102, 111, 114, 32, 97, 110, 121, 10, 32, 42, 32,
15  32, 112, 117, 114, 112, 111, 115, 101, 32, 119, 105, 116, 104, 32, 111, 114,
16  32, 119, 105, 116, 104, 111, 117, 116, 32, 102, 101, 101, 32, 105, 115, 32,
17  104, 101, 114, 101, 98, 121, 32, 103, 114, 97, 110, 116, 101, 100, 44, 32,
18  112, 114, 111, 118, 105, 100, 101, 100, 32, 116, 104, 97, 116, 32, 116, 104,
19  101, 32, 97, 98, 111, 118, 101, 10, 32, 42, 32, 32, 99, 111, 112, 121,
20  114, 105, 103, 104, 116, 32, 110, 111, 116, 105, 99, 101, 32, 97, 110, 100,
21  32, 116, 104, 105, 115, 32, 112, 101, 114, 109, 105, 115, 115, 105, 111, 110,
22  32, 110, 111, 116, 105, 99, 101, 32, 97, 112, 112, 101, 97, 114, 32, 105,
23  110, 32, 97, 108, 108, 32, 99, 111, 112, 105, 101, 115, 46, 10, 32, 42,
24  32, 32, 10, 32, 42, 32, 32, 84, 72, 69, 32, 83, 79, 70, 84, 87,
25  65, 82, 69, 32, 73, 83, 32, 80, 82, 79, 86, 73, 68, 69, 68, 32,
26  34, 65, 83, 32, 73, 83, 34, 32, 65, 78, 68, 32, 84, 72, 69, 32,
27  65, 85, 84, 72, 79, 82, 32, 68, 73, 83, 67, 76, 65, 73, 77, 83,
28  32, 65, 76, 76, 32, 87, 65, 82, 82, 65, 78, 84, 73, 69, 83, 10,
29  32, 42, 32, 32, 87, 73, 84, 72, 32, 82, 69, 71, 65, 82, 68, 32,
30  84, 79, 32, 84, 72, 73, 83, 32, 83, 79, 70, 84, 87, 65, 82, 69,
31  32, 73, 78, 67, 76, 85, 68, 73, 78, 71, 32, 65, 76, 76, 32, 73,
32  77, 80, 76, 73, 69, 68, 32, 87, 65, 82, 82, 65, 78, 84, 73, 69,
33  83, 32, 79, 70, 10, 32, 42, 32, 32, 77, 69, 82, 67, 72, 65, 78,
34  84, 65, 66, 73, 76, 73, 84, 89, 32, 65, 78, 68, 32, 70, 73, 84,
35  78, 69, 83, 83, 46, 32, 73, 78, 32, 78, 79, 32, 69, 86, 69, 78,
36  84, 32, 83, 72, 65, 76, 76, 32, 84, 72, 69, 32, 65, 85, 84, 72,
37  79, 82, 32, 66, 69, 32, 76, 73, 65, 66, 76, 69, 32, 70, 79, 82,
38  10, 32, 42, 32, 32, 65, 78, 89, 32, 83, 80, 69, 67, 73, 65, 76,
39  44, 32, 68, 73, 82, 69, 67, 84, 44, 32, 73, 78, 68, 73, 82, 69,
40  67, 84, 44, 32, 79, 82, 32, 67, 79, 78, 83, 69, 81, 85, 69, 78,
41  84, 73, 65, 76, 32, 68, 65, 77, 65, 71, 69, 83, 32, 79, 82, 32,
42  65, 78, 89, 32, 68, 65, 77, 65, 71, 69, 83, 10, 32, 42, 32, 32,
43  87, 72, 65, 84, 83, 79, 69, 86, 69, 82, 32, 82, 69, 83, 85, 76,
44  84, 73, 78, 71, 32, 70, 82, 79, 77, 32, 76, 79, 83, 83, 32, 79,
45  70, 32, 85, 83, 69, 44, 32, 68, 65, 84, 65, 32, 79, 82, 32, 80,
46  82, 79, 70, 73, 84, 83, 44, 32, 87, 72, 69, 84, 72, 69, 82, 32,
47  73, 78, 32, 65, 78, 10, 32, 42, 32, 32, 65, 67, 84, 73, 79, 78,
48  32, 79, 70, 32, 67, 79, 78, 84, 82, 65, 67, 84, 44, 32, 78, 69,
49  71, 76, 73, 71, 69, 78, 67, 69, 32, 79, 82, 32, 79, 84, 72, 69,
50  82, 32, 84, 79, 82, 84, 73, 79, 85, 83, 32, 65, 67, 84, 73, 79,
51  78, 44, 32, 65, 82, 73, 83, 73, 78, 71, 32, 79, 85, 84, 32, 79,
52  70, 10, 32, 42, 32, 32, 79, 82, 32, 73, 78, 32, 67, 79, 78, 78,
53  69, 67, 84, 73, 79, 78, 32, 87, 73, 84, 72, 32, 84, 72, 69, 32,
54  85, 83, 69, 32, 79, 82, 32, 80, 69, 82, 70, 79, 82, 77, 65, 78,
55  67, 69, 32, 79, 70, 32, 84, 72, 73, 83, 32, 83, 79, 70, 84, 87,
56  65, 82, 69, 46, 10, 32, 42, 10, 32, 42, 32, 32, 45, 45, 45, 10,
57  32, 42, 10, 32, 42, 32, 32, 84, 104, 101, 32, 105, 110, 116, 101, 114,
58  110, 97, 108, 32, 108, 111, 103, 105, 99, 32, 99, 101, 108, 108, 32, 116,
59  101, 99, 104, 110, 111, 108, 111, 103, 121, 32, 109, 97, 112, 112, 101, 114,
60  46, 10, 32, 42, 10, 32, 42, 32, 32, 84, 104, 105, 115, 32, 118, 101,
61  114, 105, 108, 111, 103, 32, 108, 105, 98, 114, 97, 114, 121, 32, 99, 111,
62  110, 116, 97, 105, 110, 115, 32, 116, 104, 101, 32, 109, 97, 112, 112, 105,
63  110, 103, 32, 111, 102, 32, 105, 110, 116, 101, 114, 110, 97, 108, 32, 99,
64  101, 108, 108, 115, 32, 40, 101, 46, 103, 46, 32, 36, 110, 111, 116, 32,
65  119, 105, 116, 104, 10, 32, 42, 32, 32, 118, 97, 114, 105, 97, 98, 108,
66  101, 32, 98, 105, 116, 32, 119, 105, 100, 116, 104, 41, 32, 116, 111, 32,
67  116, 104, 101, 32, 105, 110, 116, 101, 114, 110, 97, 108, 32, 108, 111, 103,
68  105, 99, 32, 99, 101, 108, 108, 115, 32, 40, 115, 117, 99, 104, 32, 97,
69  115, 32, 116, 104, 101, 32, 115, 105, 110, 103, 108, 101, 32, 98, 105, 116,
70  32, 36, 95, 78, 79, 84, 95, 32, 10, 32, 42, 32, 32, 103, 97, 116,
71  101, 41, 46, 32, 85, 115, 117, 97, 108, 108, 121, 32, 116, 104, 105, 115,
72  32, 108, 111, 103, 105, 99, 32, 110, 101, 116, 119, 111, 114, 107, 32, 105,
73  115, 32, 116, 104, 101, 110, 32, 109, 97, 112, 112, 101, 100, 32, 116, 111,
74  32, 116, 104, 101, 32, 97, 99, 116, 117, 97, 108, 32, 116, 101, 99, 104,
75  110, 111, 108, 111, 103, 121, 10, 32, 42, 32, 32, 117, 115, 105, 110, 103,
76  32, 101, 46, 103, 46, 32, 116, 104, 101, 32, 34, 97, 98, 99, 34, 32,
77  112, 97, 115, 115, 46, 10, 32, 42, 10, 32, 42, 32, 32, 78, 111, 116,
78  101, 32, 116, 104, 97, 116, 32, 116, 104, 105, 115, 32, 108, 105, 98, 114,
79  97, 114, 121, 32, 100, 111, 101, 115, 32, 110, 111, 116, 32, 109, 97, 112,
80  32, 36, 109, 101, 109, 32, 99, 101, 108, 108, 115, 46, 32, 84, 104, 101,
81  121, 32, 109, 117, 115, 116, 32, 98, 101, 32, 109, 97, 112, 112, 101, 100,
82  32, 116, 111, 32, 108, 111, 103, 105, 99, 10, 32, 42, 32, 32, 97, 110,
83  100, 32, 36, 100, 102, 102, 32, 99, 101, 108, 108, 115, 32, 117, 115, 105,
84  110, 103, 32, 116, 104, 101, 32, 34, 109, 101, 109, 111, 114, 121, 95, 109,
85  97, 112, 34, 32, 112, 97, 115, 115, 32, 102, 105, 114, 115, 116, 46, 32,
86  40, 79, 114, 32, 109, 97, 112, 32, 105, 116, 32, 116, 111, 32, 99, 117,
87  115, 116, 111, 109, 32, 99, 101, 108, 108, 115, 44, 10, 32, 42, 32, 32,
88  119, 104, 105, 99, 104, 32, 105, 115, 32, 111, 102, 32, 99, 111, 117, 114,
89  115, 101, 32, 104, 105, 103, 104, 108, 121, 32, 114, 101, 99, 111, 109, 109,
90  101, 110, 100, 101, 100, 32, 102, 111, 114, 32, 108, 97, 114, 103, 101, 114,
91  32, 109, 101, 109, 111, 114, 105, 101, 115, 46, 41, 10, 32, 42, 10, 32,
92  42, 47, 10, 10, 96, 100, 101, 102, 105, 110, 101, 32, 77, 73, 78, 40,
93  95, 97, 44, 32, 95, 98, 41, 32, 40, 40, 95, 97, 41, 32, 60, 32,
94  40, 95, 98, 41, 32, 63, 32, 40, 95, 97, 41, 32, 58, 32, 40, 95,
95  98, 41, 41, 10, 96, 100, 101, 102, 105, 110, 101, 32, 77, 65, 88, 40,
96  95, 97, 44, 32, 95, 98, 41, 32, 40, 40, 95, 97, 41, 32, 62, 32,
97  40, 95, 98, 41, 32, 63, 32, 40, 95, 97, 41, 32, 58, 32, 40, 95,
98  98, 41, 41, 10, 10, 10, 47, 47, 32, 45, 45, 45, 45, 45, 45, 45,
99  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
100  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
101  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
102  45, 10, 47, 47, 32, 85, 115, 101, 32, 115, 105, 109, 112, 108, 101, 109,
103  97, 112, 32, 102, 111, 114, 32, 116, 114, 105, 118, 105, 97, 108, 32, 99,
104  101, 108, 108, 32, 116, 121, 112, 101, 115, 10, 47, 47, 32, 45, 45, 45,
105  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
106  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
107  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
108  45, 45, 45, 45, 45, 10, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97,
109  112, 95, 115, 105, 109, 112, 108, 101, 109, 97, 112, 32, 42, 41, 10, 40,
110  42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108, 116, 121,
111  112, 101, 32, 61, 32, 34, 36, 110, 111, 116, 32, 36, 97, 110, 100, 32,
112  36, 111, 114, 32, 36, 120, 111, 114, 32, 36, 120, 110, 111, 114, 34, 32,
113  42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95, 115, 105,
114  109, 112, 108, 101, 109, 97, 112, 95, 98, 111, 111, 108, 95, 111, 112, 115,
115  59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 40, 42, 32,
116  116, 101, 99, 104, 109, 97, 112, 95, 115, 105, 109, 112, 108, 101, 109, 97,
117  112, 32, 42, 41, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95,
118  99, 101, 108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36, 114, 101, 100,
119  117, 99, 101, 95, 97, 110, 100, 32, 36, 114, 101, 100, 117, 99, 101, 95,
120  111, 114, 32, 36, 114, 101, 100, 117, 99, 101, 95, 120, 111, 114, 32, 36,
121  114, 101, 100, 117, 99, 101, 95, 120, 110, 111, 114, 32, 36, 114, 101, 100,
122  117, 99, 101, 95, 98, 111, 111, 108, 34, 32, 42, 41, 10, 109, 111, 100,
123  117, 108, 101, 32, 95, 57, 48, 95, 115, 105, 109, 112, 108, 101, 109, 97,
124  112, 95, 114, 101, 100, 117, 99, 101, 95, 111, 112, 115, 59, 10, 101, 110,
125  100, 109, 111, 100, 117, 108, 101, 10, 10, 40, 42, 32, 116, 101, 99, 104,
126  109, 97, 112, 95, 115, 105, 109, 112, 108, 101, 109, 97, 112, 32, 42, 41,
127  10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108,
128  116, 121, 112, 101, 32, 61, 32, 34, 36, 108, 111, 103, 105, 99, 95, 110,
129  111, 116, 32, 36, 108, 111, 103, 105, 99, 95, 97, 110, 100, 32, 36, 108,
130  111, 103, 105, 99, 95, 111, 114, 34, 32, 42, 41, 10, 109, 111, 100, 117,
131  108, 101, 32, 95, 57, 48, 95, 115, 105, 109, 112, 108, 101, 109, 97, 112,
132  95, 108, 111, 103, 105, 99, 95, 111, 112, 115, 59, 10, 101, 110, 100, 109,
133  111, 100, 117, 108, 101, 10, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97,
134  112, 95, 115, 105, 109, 112, 108, 101, 109, 97, 112, 32, 42, 41, 10, 40,
135  42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108, 116, 121,
136  112, 101, 32, 61, 32, 34, 36, 112, 111, 115, 32, 36, 115, 108, 105, 99,
137  101, 32, 36, 99, 111, 110, 99, 97, 116, 32, 36, 109, 117, 120, 34, 32,
138  42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95, 115, 105,
139  109, 112, 108, 101, 109, 97, 112, 95, 118, 97, 114, 105, 111, 117, 115, 59,
140  10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 40, 42, 32, 116,
141  101, 99, 104, 109, 97, 112, 95, 115, 105, 109, 112, 108, 101, 109, 97, 112,
142  32, 42, 41, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99,
143  101, 108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36, 115, 114, 32, 36,
144  100, 102, 102, 32, 36, 97, 100, 102, 102, 32, 36, 100, 102, 102, 115, 114,
145  32, 36, 100, 108, 97, 116, 99, 104, 34, 32, 42, 41, 10, 109, 111, 100,
146  117, 108, 101, 32, 95, 57, 48, 95, 115, 105, 109, 112, 108, 101, 109, 97,
147  112, 95, 114, 101, 103, 105, 115, 116, 101, 114, 115, 59, 10, 101, 110, 100,
148  109, 111, 100, 117, 108, 101, 10, 10, 10, 47, 47, 32, 45, 45, 45, 45,
149  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
150  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
151  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
152  45, 45, 45, 45, 10, 47, 47, 32, 83, 104, 105, 102, 116, 32, 111, 112,
153  101, 114, 97, 116, 111, 114, 115, 10, 47, 47, 32, 45, 45, 45, 45, 45,
154  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
155  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
156  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
157  45, 45, 45, 10, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95,
158  99, 101, 108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36, 115, 104, 114,
159  32, 36, 115, 104, 108, 32, 36, 115, 115, 104, 108, 32, 36, 115, 115, 104,
160  114, 34, 32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48,
161  95, 115, 104, 105, 102, 116, 95, 111, 112, 115, 95, 115, 104, 114, 95, 115,
162  104, 108, 95, 115, 115, 104, 108, 95, 115, 115, 104, 114, 32, 40, 65, 44,
163  32, 66, 44, 32, 89, 41, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116,
164  101, 114, 32, 65, 95, 83, 73, 71, 78, 69, 68, 32, 61, 32, 48, 59,
165  10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 66, 95, 83, 73,
166  71, 78, 69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97, 109,
167  101, 116, 101, 114, 32, 65, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49,
168  59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 66, 95, 87,
169  73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114, 97, 109,
170  101, 116, 101, 114, 32, 89, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49,
171  59, 10, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 95, 84,
172  69, 67, 72, 77, 65, 80, 95, 67, 69, 76, 76, 84, 89, 80, 69, 95,
173  32, 61, 32, 34, 34, 59, 10, 9, 108, 111, 99, 97, 108, 112, 97, 114,
174  97, 109, 32, 115, 104, 105, 102, 116, 95, 108, 101, 102, 116, 32, 61, 32,
175  95, 84, 69, 67, 72, 77, 65, 80, 95, 67, 69, 76, 76, 84, 89, 80,
176  69, 95, 32, 61, 61, 32, 34, 36, 115, 104, 108, 34, 32, 124, 124, 32,
177  95, 84, 69, 67, 72, 77, 65, 80, 95, 67, 69, 76, 76, 84, 89, 80,
178  69, 95, 32, 61, 61, 32, 34, 36, 115, 115, 104, 108, 34, 59, 10, 9,
179  108, 111, 99, 97, 108, 112, 97, 114, 97, 109, 32, 115, 105, 103, 110, 95,
180  101, 120, 116, 101, 110, 100, 32, 61, 32, 65, 95, 83, 73, 71, 78, 69,
181  68, 32, 38, 38, 32, 95, 84, 69, 67, 72, 77, 65, 80, 95, 67, 69,
182  76, 76, 84, 89, 80, 69, 95, 32, 61, 61, 32, 34, 36, 115, 115, 104,
183  114, 34, 59, 10, 10, 9, 105, 110, 112, 117, 116, 32, 91, 65, 95, 87,
184  73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 59, 10, 9, 105, 110,
185  112, 117, 116, 32, 91, 66, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48,
186  93, 32, 66, 59, 10, 9, 111, 117, 116, 112, 117, 116, 32, 91, 89, 95,
187  87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 89, 59, 10, 10, 9,
188  108, 111, 99, 97, 108, 112, 97, 114, 97, 109, 32, 87, 73, 68, 84, 72,
189  32, 61, 32, 96, 77, 65, 88, 40, 65, 95, 87, 73, 68, 84, 72, 44,
190  32, 89, 95, 87, 73, 68, 84, 72, 41, 59, 10, 9, 108, 111, 99, 97,
191  108, 112, 97, 114, 97, 109, 32, 66, 66, 95, 87, 73, 68, 84, 72, 32,
192  61, 32, 96, 77, 73, 78, 40, 36, 99, 108, 111, 103, 50, 40, 115, 104,
193  105, 102, 116, 95, 108, 101, 102, 116, 32, 63, 32, 89, 95, 87, 73, 68,
194  84, 72, 32, 58, 32, 65, 95, 83, 73, 71, 78, 69, 68, 32, 63, 32,
195  87, 73, 68, 84, 72, 32, 58, 32, 65, 95, 87, 73, 68, 84, 72, 41,
196  32, 43, 32, 49, 44, 32, 66, 95, 87, 73, 68, 84, 72, 41, 59, 10,
197  10, 9, 119, 105, 114, 101, 32, 91, 49, 48, 50, 51, 58, 48, 93, 32,
198  95, 84, 69, 67, 72, 77, 65, 80, 95, 68, 79, 95, 48, 48, 95, 32,
199  61, 32, 34, 112, 114, 111, 99, 59, 59, 34, 59, 10, 9, 119, 105, 114,
200  101, 32, 91, 49, 48, 50, 51, 58, 48, 93, 32, 95, 84, 69, 67, 72,
201  77, 65, 80, 95, 68, 79, 95, 48, 49, 95, 32, 61, 32, 34, 82, 69,
202  67, 85, 82, 83, 73, 79, 78, 59, 32, 67, 79, 78, 83, 84, 77, 65,
203  80, 59, 32, 111, 112, 116, 95, 109, 117, 120, 116, 114, 101, 101, 59, 32,
204  111, 112, 116, 95, 99, 111, 110, 115, 116, 32, 45, 109, 117, 120, 95, 117,
205  110, 100, 101, 102, 32, 45, 109, 117, 120, 95, 98, 111, 111, 108, 32, 45,
206  102, 105, 110, 101, 59, 59, 59, 34, 59, 10, 10, 9, 105, 110, 116, 101,
207  103, 101, 114, 32, 105, 59, 10, 9, 114, 101, 103, 32, 91, 87, 73, 68,
208  84, 72, 45, 49, 58, 48, 93, 32, 98, 117, 102, 102, 101, 114, 59, 10,
209  9, 114, 101, 103, 32, 111, 118, 101, 114, 102, 108, 111, 119, 59, 10, 10,
210  9, 97, 108, 119, 97, 121, 115, 32, 64, 42, 32, 98, 101, 103, 105, 110,
211  10, 9, 9, 111, 118, 101, 114, 102, 108, 111, 119, 32, 61, 32, 66, 95,
212  87, 73, 68, 84, 72, 32, 62, 32, 66, 66, 95, 87, 73, 68, 84, 72,
213  32, 63, 32, 124, 66, 91, 66, 95, 87, 73, 68, 84, 72, 45, 49, 58,
214  66, 66, 95, 87, 73, 68, 84, 72, 93, 32, 58, 32, 49, 39, 98, 48,
215  59, 10, 9, 9, 98, 117, 102, 102, 101, 114, 32, 61, 32, 111, 118, 101,
216  114, 102, 108, 111, 119, 32, 63, 32, 123, 87, 73, 68, 84, 72, 123, 115,
217  105, 103, 110, 95, 101, 120, 116, 101, 110, 100, 32, 63, 32, 65, 91, 65,
218  95, 87, 73, 68, 84, 72, 45, 49, 93, 32, 58, 32, 49, 39, 98, 48,
219  125, 125, 32, 58, 32, 123, 123, 87, 73, 68, 84, 72, 45, 65, 95, 87,
220  73, 68, 84, 72, 123, 65, 95, 83, 73, 71, 78, 69, 68, 32, 63, 32,
221  65, 91, 65, 95, 87, 73, 68, 84, 72, 45, 49, 93, 32, 58, 32, 49,
222  39, 98, 48, 125, 125, 44, 32, 65, 125, 59, 10, 10, 9, 9, 102, 111,
223  114, 32, 40, 105, 32, 61, 32, 48, 59, 32, 105, 32, 60, 32, 66, 66,
224  95, 87, 73, 68, 84, 72, 59, 32, 105, 32, 61, 32, 105, 43, 49, 41,
225  10, 9, 9, 9, 105, 102, 32, 40, 66, 91, 105, 93, 41, 32, 98, 101,
226  103, 105, 110, 10, 9, 9, 9, 9, 105, 102, 32, 40, 115, 104, 105, 102,
227  116, 95, 108, 101, 102, 116, 41, 10, 9, 9, 9, 9, 9, 98, 117, 102,
228  102, 101, 114, 32, 61, 32, 123, 98, 117, 102, 102, 101, 114, 44, 32, 40,
229  50, 42, 42, 105, 41, 39, 98, 48, 125, 59, 10, 9, 9, 9, 9, 101,
230  108, 115, 101, 32, 105, 102, 32, 40, 50, 42, 42, 105, 32, 60, 32, 87,
231  73, 68, 84, 72, 41, 10, 9, 9, 9, 9, 9, 98, 117, 102, 102, 101,
232  114, 32, 61, 32, 123, 123, 50, 42, 42, 105, 123, 115, 105, 103, 110, 95,
233  101, 120, 116, 101, 110, 100, 32, 63, 32, 98, 117, 102, 102, 101, 114, 91,
234  87, 73, 68, 84, 72, 45, 49, 93, 32, 58, 32, 49, 39, 98, 48, 125,
235  125, 44, 32, 98, 117, 102, 102, 101, 114, 91, 87, 73, 68, 84, 72, 45,
236  49, 32, 58, 32, 50, 42, 42, 105, 93, 125, 59, 10, 9, 9, 9, 9,
237  101, 108, 115, 101, 10, 9, 9, 9, 9, 9, 98, 117, 102, 102, 101, 114,
238  32, 61, 32, 123, 87, 73, 68, 84, 72, 123, 115, 105, 103, 110, 95, 101,
239  120, 116, 101, 110, 100, 32, 63, 32, 98, 117, 102, 102, 101, 114, 91, 87,
240  73, 68, 84, 72, 45, 49, 93, 32, 58, 32, 49, 39, 98, 48, 125, 125,
241  59, 10, 9, 9, 9, 101, 110, 100, 10, 9, 101, 110, 100, 10, 10, 9,
242  97, 115, 115, 105, 103, 110, 32, 89, 32, 61, 32, 98, 117, 102, 102, 101,
243  114, 59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 40, 42,
244  32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108, 116, 121, 112,
245  101, 32, 61, 32, 34, 36, 115, 104, 105, 102, 116, 32, 36, 115, 104, 105,
246  102, 116, 120, 34, 32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95,
247  57, 48, 95, 115, 104, 105, 102, 116, 95, 115, 104, 105, 102, 116, 120, 32,
248  40, 65, 44, 32, 66, 44, 32, 89, 41, 59, 10, 9, 112, 97, 114, 97,
249  109, 101, 116, 101, 114, 32, 65, 95, 83, 73, 71, 78, 69, 68, 32, 61,
250  32, 48, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 66,
251  95, 83, 73, 71, 78, 69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97,
252  114, 97, 109, 101, 116, 101, 114, 32, 65, 95, 87, 73, 68, 84, 72, 32,
253  61, 32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32,
254  66, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97,
255  114, 97, 109, 101, 116, 101, 114, 32, 89, 95, 87, 73, 68, 84, 72, 32,
256  61, 32, 49, 59, 10, 10, 9, 105, 110, 112, 117, 116, 32, 91, 65, 95,
257  87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 59, 10, 9, 105,
258  110, 112, 117, 116, 32, 91, 66, 95, 87, 73, 68, 84, 72, 45, 49, 58,
259  48, 93, 32, 66, 59, 10, 9, 111, 117, 116, 112, 117, 116, 32, 91, 89,
260  95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 89, 59, 10, 10,
261  9, 108, 111, 99, 97, 108, 112, 97, 114, 97, 109, 32, 66, 66, 95, 87,
262  73, 68, 84, 72, 32, 61, 32, 96, 77, 73, 78, 40, 36, 99, 108, 111,
263  103, 50, 40, 96, 77, 65, 88, 40, 65, 95, 87, 73, 68, 84, 72, 44,
264  32, 89, 95, 87, 73, 68, 84, 72, 41, 41, 32, 43, 32, 40, 66, 95,
265  83, 73, 71, 78, 69, 68, 32, 63, 32, 50, 32, 58, 32, 49, 41, 44,
266  32, 66, 95, 87, 73, 68, 84, 72, 41, 59, 10, 9, 108, 111, 99, 97,
267  108, 112, 97, 114, 97, 109, 32, 87, 73, 68, 84, 72, 32, 61, 32, 96,
268  77, 65, 88, 40, 65, 95, 87, 73, 68, 84, 72, 44, 32, 89, 95, 87,
269  73, 68, 84, 72, 41, 32, 43, 32, 40, 66, 95, 83, 73, 71, 78, 69,
270  68, 32, 63, 32, 50, 42, 42, 40, 66, 66, 95, 87, 73, 68, 84, 72,
271  45, 49, 41, 32, 58, 32, 48, 41, 59, 10, 10, 9, 112, 97, 114, 97,
272  109, 101, 116, 101, 114, 32, 95, 84, 69, 67, 72, 77, 65, 80, 95, 67,
273  69, 76, 76, 84, 89, 80, 69, 95, 32, 61, 32, 34, 34, 59, 10, 9,
274  108, 111, 99, 97, 108, 112, 97, 114, 97, 109, 32, 101, 120, 116, 98, 105,
275  116, 32, 61, 32, 95, 84, 69, 67, 72, 77, 65, 80, 95, 67, 69, 76,
276  76, 84, 89, 80, 69, 95, 32, 61, 61, 32, 34, 36, 115, 104, 105, 102,
277  116, 34, 32, 63, 32, 49, 39, 98, 48, 32, 58, 32, 49, 39, 98, 120,
278  59, 10, 10, 9, 119, 105, 114, 101, 32, 91, 49, 48, 50, 51, 58, 48,
279  93, 32, 95, 84, 69, 67, 72, 77, 65, 80, 95, 68, 79, 95, 48, 48,
280  95, 32, 61, 32, 34, 112, 114, 111, 99, 59, 59, 34, 59, 10, 9, 119,
281  105, 114, 101, 32, 91, 49, 48, 50, 51, 58, 48, 93, 32, 95, 84, 69,
282  67, 72, 77, 65, 80, 95, 68, 79, 95, 48, 49, 95, 32, 61, 32, 34,
283  67, 79, 78, 83, 84, 77, 65, 80, 59, 32, 111, 112, 116, 95, 109, 117,
284  120, 116, 114, 101, 101, 59, 32, 111, 112, 116, 95, 99, 111, 110, 115, 116,
285  32, 45, 109, 117, 120, 95, 117, 110, 100, 101, 102, 32, 45, 109, 117, 120,
286  95, 98, 111, 111, 108, 32, 45, 102, 105, 110, 101, 59, 59, 59, 34, 59,
287  10, 10, 9, 105, 110, 116, 101, 103, 101, 114, 32, 105, 59, 10, 9, 114,
288  101, 103, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 98,
289  117, 102, 102, 101, 114, 59, 10, 9, 114, 101, 103, 32, 111, 118, 101, 114,
290  102, 108, 111, 119, 59, 10, 10, 9, 97, 108, 119, 97, 121, 115, 32, 64,
291  42, 32, 98, 101, 103, 105, 110, 10, 9, 9, 111, 118, 101, 114, 102, 108,
292  111, 119, 32, 61, 32, 48, 59, 10, 9, 9, 98, 117, 102, 102, 101, 114,
293  32, 61, 32, 123, 87, 73, 68, 84, 72, 123, 101, 120, 116, 98, 105, 116,
294  125, 125, 59, 10, 9, 9, 98, 117, 102, 102, 101, 114, 91, 96, 77, 65,
295  88, 40, 65, 95, 87, 73, 68, 84, 72, 44, 32, 89, 95, 87, 73, 68,
296  84, 72, 41, 45, 49, 58, 48, 93, 32, 61, 32, 65, 59, 10, 10, 9,
297  9, 105, 102, 32, 40, 66, 95, 87, 73, 68, 84, 72, 32, 62, 32, 66,
298  66, 95, 87, 73, 68, 84, 72, 41, 32, 98, 101, 103, 105, 110, 10, 9,
299  9, 9, 105, 102, 32, 40, 66, 95, 83, 73, 71, 78, 69, 68, 41, 32,
300  98, 101, 103, 105, 110, 10, 9, 9, 9, 9, 102, 111, 114, 32, 40, 105,
301  32, 61, 32, 66, 66, 95, 87, 73, 68, 84, 72, 59, 32, 105, 32, 60,
302  32, 66, 95, 87, 73, 68, 84, 72, 59, 32, 105, 32, 61, 32, 105, 43,
303  49, 41, 10, 9, 9, 9, 9, 9, 105, 102, 32, 40, 66, 91, 105, 93,
304  32, 33, 61, 32, 66, 91, 66, 66, 95, 87, 73, 68, 84, 72, 45, 49,
305  93, 41, 10, 9, 9, 9, 9, 9, 9, 111, 118, 101, 114, 102, 108, 111,
306  119, 32, 61, 32, 49, 59, 10, 9, 9, 9, 101, 110, 100, 32, 101, 108,
307  115, 101, 10, 9, 9, 9, 9, 111, 118, 101, 114, 102, 108, 111, 119, 32,
308  61, 32, 124, 66, 91, 66, 95, 87, 73, 68, 84, 72, 45, 49, 58, 66,
309  66, 95, 87, 73, 68, 84, 72, 93, 59, 10, 9, 9, 9, 105, 102, 32,
310  40, 111, 118, 101, 114, 102, 108, 111, 119, 41, 10, 9, 9, 9, 9, 98,
311  117, 102, 102, 101, 114, 32, 61, 32, 123, 87, 73, 68, 84, 72, 123, 101,
312  120, 116, 98, 105, 116, 125, 125, 59, 10, 9, 9, 101, 110, 100, 10, 10,
313  9, 9, 102, 111, 114, 32, 40, 105, 32, 61, 32, 66, 66, 95, 87, 73,
314  68, 84, 72, 45, 49, 59, 32, 105, 32, 62, 61, 32, 48, 59, 32, 105,
315  32, 61, 32, 105, 45, 49, 41, 10, 9, 9, 9, 105, 102, 32, 40, 66,
316  91, 105, 93, 41, 32, 98, 101, 103, 105, 110, 10, 9, 9, 9, 9, 105,
317  102, 32, 40, 66, 95, 83, 73, 71, 78, 69, 68, 32, 38, 38, 32, 105,
318  32, 61, 61, 32, 66, 66, 95, 87, 73, 68, 84, 72, 45, 49, 41, 10,
319  9, 9, 9, 9, 9, 98, 117, 102, 102, 101, 114, 32, 61, 32, 123, 98,
320  117, 102, 102, 101, 114, 44, 32, 123, 50, 42, 42, 105, 123, 101, 120, 116,
321  98, 105, 116, 125, 125, 125, 59, 10, 9, 9, 9, 9, 101, 108, 115, 101,
322  32, 105, 102, 32, 40, 50, 42, 42, 105, 32, 60, 32, 87, 73, 68, 84,
323  72, 41, 10, 9, 9, 9, 9, 9, 98, 117, 102, 102, 101, 114, 32, 61,
324  32, 123, 123, 50, 42, 42, 105, 123, 101, 120, 116, 98, 105, 116, 125, 125,
325  44, 32, 98, 117, 102, 102, 101, 114, 91, 87, 73, 68, 84, 72, 45, 49,
326  32, 58, 32, 50, 42, 42, 105, 93, 125, 59, 10, 9, 9, 9, 9, 101,
327  108, 115, 101, 10, 9, 9, 9, 9, 9, 98, 117, 102, 102, 101, 114, 32,
328  61, 32, 123, 87, 73, 68, 84, 72, 123, 101, 120, 116, 98, 105, 116, 125,
329  125, 59, 10, 9, 9, 9, 101, 110, 100, 10, 9, 101, 110, 100, 10, 10,
330  9, 97, 115, 115, 105, 103, 110, 32, 89, 32, 61, 32, 98, 117, 102, 102,
331  101, 114, 59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 10,
332  47, 47, 32, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
333  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
334  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
335  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 47, 47, 32, 65,
336  114, 105, 116, 104, 109, 101, 116, 105, 99, 32, 111, 112, 101, 114, 97, 116,
337  111, 114, 115, 10, 47, 47, 32, 45, 45, 45, 45, 45, 45, 45, 45, 45,
338  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
339  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
340  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10,
341  10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108,
342  116, 121, 112, 101, 32, 61, 32, 34, 36, 102, 97, 34, 32, 42, 41, 10,
343  109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95, 102, 97, 32, 40, 65,
344  44, 32, 66, 44, 32, 67, 44, 32, 88, 44, 32, 89, 41, 59, 10, 9,
345  112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 87, 73, 68, 84, 72, 32,
346  61, 32, 49, 59, 10, 10, 9, 105, 110, 112, 117, 116, 32, 91, 87, 73,
347  68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 44, 32, 66, 44, 32, 67,
348  59, 10, 9, 111, 117, 116, 112, 117, 116, 32, 91, 87, 73, 68, 84, 72,
349  45, 49, 58, 48, 93, 32, 88, 44, 32, 89, 59, 10, 10, 9, 119, 105,
350  114, 101, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 116,
351  49, 44, 32, 116, 50, 44, 32, 116, 51, 59, 10, 10, 9, 97, 115, 115,
352  105, 103, 110, 32, 116, 49, 32, 61, 32, 65, 32, 94, 32, 66, 44, 32,
353  116, 50, 32, 61, 32, 65, 32, 38, 32, 66, 44, 32, 116, 51, 32, 61,
354  32, 67, 32, 38, 32, 116, 49, 59, 10, 9, 97, 115, 115, 105, 103, 110,
355  32, 89, 32, 61, 32, 116, 49, 32, 94, 32, 67, 44, 32, 88, 32, 61,
356  32, 116, 50, 32, 124, 32, 116, 51, 59, 10, 101, 110, 100, 109, 111, 100,
357  117, 108, 101, 10, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95,
358  99, 101, 108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36, 108, 99, 117,
359  34, 32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95,
360  108, 99, 117, 32, 40, 80, 44, 32, 71, 44, 32, 67, 73, 44, 32, 67,
361  79, 41, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 87,
362  73, 68, 84, 72, 32, 61, 32, 50, 59, 10, 10, 9, 105, 110, 112, 117,
363  116, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 80, 44,
364  32, 71, 59, 10, 9, 105, 110, 112, 117, 116, 32, 67, 73, 59, 10, 10,
365  9, 111, 117, 116, 112, 117, 116, 32, 91, 87, 73, 68, 84, 72, 45, 49,
366  58, 48, 93, 32, 67, 79, 59, 10, 10, 9, 105, 110, 116, 101, 103, 101,
367  114, 32, 105, 44, 32, 106, 59, 10, 9, 114, 101, 103, 32, 91, 87, 73,
368  68, 84, 72, 45, 49, 58, 48, 93, 32, 112, 44, 32, 103, 59, 10, 10,
369  9, 119, 105, 114, 101, 32, 91, 49, 48, 50, 51, 58, 48, 93, 32, 95,
370  84, 69, 67, 72, 77, 65, 80, 95, 68, 79, 95, 32, 61, 32, 34, 112,
371  114, 111, 99, 59, 32, 111, 112, 116, 32, 45, 102, 97, 115, 116, 34, 59,
372  10, 10, 9, 97, 108, 119, 97, 121, 115, 32, 64, 42, 32, 98, 101, 103,
373  105, 110, 10, 9, 9, 112, 32, 61, 32, 80, 59, 10, 9, 9, 103, 32,
374  61, 32, 71, 59, 10, 10, 9, 9, 47, 47, 32, 105, 110, 32, 97, 108,
375  109, 111, 115, 116, 32, 97, 108, 108, 32, 99, 97, 115, 101, 115, 32, 67,
376  73, 32, 119, 105, 108, 108, 32, 98, 101, 32, 99, 111, 110, 115, 116, 97,
377  110, 116, 32, 122, 101, 114, 111, 10, 9, 9, 103, 91, 48, 93, 32, 61,
378  32, 103, 91, 48, 93, 32, 124, 32, 40, 112, 91, 48, 93, 32, 38, 32,
379  67, 73, 41, 59, 10, 10, 9, 9, 47, 47, 32, 91, 91, 67, 73, 84,
380  69, 93, 93, 32, 66, 114, 101, 110, 116, 32, 75, 117, 110, 103, 32, 65,
381  100, 100, 101, 114, 10, 9, 9, 47, 47, 32, 82, 46, 32, 80, 46, 32,
382  66, 114, 101, 110, 116, 32, 97, 110, 100, 32, 72, 46, 32, 84, 46, 32,
383  75, 117, 110, 103, 44, 32, -30, -128, -100, 65, 32, 82, 101, 103, 117, 108,
384  97, 114, 32, 76, 97, 121, 111, 117, 116, 32, 102, 111, 114, 32, 80, 97,
385  114, 97, 108, 108, 101, 108, 32, 65, 100, 100, 101, 114, 115, -30, -128, -99,
386  44, 10, 9, 9, 47, 47, 32, 73, 69, 69, 69, 32, 84, 114, 97, 110,
387  115, 97, 99, 116, 105, 111, 110, 32, 111, 110, 32, 67, 111, 109, 112, 117,
388  116, 101, 114, 115, 44, 32, 86, 111, 108, 46, 32, 67, 45, 51, 49, 44,
389  32, 78, 111, 46, 32, 51, 44, 32, 112, 46, 32, 50, 54, 48, 45, 50,
390  54, 52, 44, 32, 77, 97, 114, 99, 104, 44, 32, 49, 57, 56, 50, 10,
391  10, 9, 9, 47, 47, 32, 77, 97, 105, 110, 32, 116, 114, 101, 101, 10,
392  9, 9, 102, 111, 114, 32, 40, 105, 32, 61, 32, 49, 59, 32, 105, 32,
393  60, 61, 32, 36, 99, 108, 111, 103, 50, 40, 87, 73, 68, 84, 72, 41,
394  59, 32, 105, 32, 61, 32, 105, 43, 49, 41, 32, 98, 101, 103, 105, 110,
395  10, 9, 9, 9, 102, 111, 114, 32, 40, 106, 32, 61, 32, 50, 42, 42,
396  105, 32, 45, 32, 49, 59, 32, 106, 32, 60, 32, 87, 73, 68, 84, 72,
397  59, 32, 106, 32, 61, 32, 106, 32, 43, 32, 50, 42, 42, 105, 41, 32,
398  98, 101, 103, 105, 110, 10, 9, 9, 9, 9, 103, 91, 106, 93, 32, 61,
399  32, 103, 91, 106, 93, 32, 124, 32, 112, 91, 106, 93, 32, 38, 32, 103,
400  91, 106, 32, 45, 32, 50, 42, 42, 40, 105, 45, 49, 41, 93, 59, 10,
401  9, 9, 9, 9, 112, 91, 106, 93, 32, 61, 32, 112, 91, 106, 93, 32,
402  38, 32, 112, 91, 106, 32, 45, 32, 50, 42, 42, 40, 105, 45, 49, 41,
403  93, 59, 10, 9, 9, 9, 101, 110, 100, 10, 9, 9, 101, 110, 100, 10,
404  10, 9, 9, 47, 47, 32, 73, 110, 118, 101, 114, 115, 101, 32, 116, 114,
405  101, 101, 10, 9, 9, 102, 111, 114, 32, 40, 105, 32, 61, 32, 36, 99,
406  108, 111, 103, 50, 40, 87, 73, 68, 84, 72, 41, 59, 32, 105, 32, 62,
407  32, 48, 59, 32, 105, 32, 61, 32, 105, 45, 49, 41, 32, 98, 101, 103,
408  105, 110, 10, 9, 9, 9, 102, 111, 114, 32, 40, 106, 32, 61, 32, 50,
409  42, 42, 105, 32, 43, 32, 50, 42, 42, 40, 105, 45, 49, 41, 32, 45,
410  32, 49, 59, 32, 106, 32, 60, 32, 87, 73, 68, 84, 72, 59, 32, 106,
411  32, 61, 32, 106, 32, 43, 32, 50, 42, 42, 105, 41, 32, 98, 101, 103,
412  105, 110, 10, 9, 9, 9, 9, 103, 91, 106, 93, 32, 61, 32, 103, 91,
413  106, 93, 32, 124, 32, 112, 91, 106, 93, 32, 38, 32, 103, 91, 106, 32,
414  45, 32, 50, 42, 42, 40, 105, 45, 49, 41, 93, 59, 10, 9, 9, 9,
415  9, 112, 91, 106, 93, 32, 61, 32, 112, 91, 106, 93, 32, 38, 32, 112,
416  91, 106, 32, 45, 32, 50, 42, 42, 40, 105, 45, 49, 41, 93, 59, 10,
417  9, 9, 9, 101, 110, 100, 10, 9, 9, 101, 110, 100, 10, 9, 101, 110,
418  100, 10, 10, 9, 97, 115, 115, 105, 103, 110, 32, 67, 79, 32, 61, 32,
419  103, 59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 40, 42,
420  32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108, 116, 121, 112,
421  101, 32, 61, 32, 34, 36, 97, 108, 117, 34, 32, 42, 41, 10, 109, 111,
422  100, 117, 108, 101, 32, 95, 57, 48, 95, 97, 108, 117, 32, 40, 65, 44,
423  32, 66, 44, 32, 67, 73, 44, 32, 66, 73, 44, 32, 88, 44, 32, 89,
424  44, 32, 67, 79, 41, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101,
425  114, 32, 65, 95, 83, 73, 71, 78, 69, 68, 32, 61, 32, 48, 59, 10,
426  9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 66, 95, 83, 73, 71,
427  78, 69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97, 109, 101,
428  116, 101, 114, 32, 65, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59,
429  10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 66, 95, 87, 73,
430  68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101,
431  116, 101, 114, 32, 89, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59,
432  10, 10, 9, 105, 110, 112, 117, 116, 32, 91, 65, 95, 87, 73, 68, 84,
433  72, 45, 49, 58, 48, 93, 32, 65, 59, 10, 9, 105, 110, 112, 117, 116,
434  32, 91, 66, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 66,
435  59, 10, 9, 111, 117, 116, 112, 117, 116, 32, 91, 89, 95, 87, 73, 68,
436  84, 72, 45, 49, 58, 48, 93, 32, 88, 44, 32, 89, 59, 10, 10, 9,
437  105, 110, 112, 117, 116, 32, 67, 73, 44, 32, 66, 73, 59, 10, 9, 111,
438  117, 116, 112, 117, 116, 32, 91, 89, 95, 87, 73, 68, 84, 72, 45, 49,
439  58, 48, 93, 32, 67, 79, 59, 10, 10, 9, 119, 105, 114, 101, 32, 91,
440  89, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 95, 98,
441  117, 102, 44, 32, 66, 95, 98, 117, 102, 59, 10, 9, 92, 36, 112, 111,
442  115, 32, 35, 40, 46, 65, 95, 83, 73, 71, 78, 69, 68, 40, 65, 95,
443  83, 73, 71, 78, 69, 68, 41, 44, 32, 46, 65, 95, 87, 73, 68, 84,
444  72, 40, 65, 95, 87, 73, 68, 84, 72, 41, 44, 32, 46, 89, 95, 87,
445  73, 68, 84, 72, 40, 89, 95, 87, 73, 68, 84, 72, 41, 41, 32, 65,
446  95, 99, 111, 110, 118, 32, 40, 46, 65, 40, 65, 41, 44, 32, 46, 89,
447  40, 65, 95, 98, 117, 102, 41, 41, 59, 10, 9, 92, 36, 112, 111, 115,
448  32, 35, 40, 46, 65, 95, 83, 73, 71, 78, 69, 68, 40, 66, 95, 83,
449  73, 71, 78, 69, 68, 41, 44, 32, 46, 65, 95, 87, 73, 68, 84, 72,
450  40, 66, 95, 87, 73, 68, 84, 72, 41, 44, 32, 46, 89, 95, 87, 73,
451  68, 84, 72, 40, 89, 95, 87, 73, 68, 84, 72, 41, 41, 32, 66, 95,
452  99, 111, 110, 118, 32, 40, 46, 65, 40, 66, 41, 44, 32, 46, 89, 40,
453  66, 95, 98, 117, 102, 41, 41, 59, 10, 10, 9, 119, 105, 114, 101, 32,
454  91, 89, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 65,
455  32, 61, 32, 65, 95, 98, 117, 102, 59, 10, 9, 119, 105, 114, 101, 32,
456  91, 89, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 66, 66,
457  32, 61, 32, 66, 73, 32, 63, 32, 126, 66, 95, 98, 117, 102, 32, 58,
458  32, 66, 95, 98, 117, 102, 59, 10, 10, 9, 92, 36, 108, 99, 117, 32,
459  35, 40, 46, 87, 73, 68, 84, 72, 40, 89, 95, 87, 73, 68, 84, 72,
460  41, 41, 32, 108, 99, 117, 32, 40, 46, 80, 40, 88, 41, 44, 32, 46,
461  71, 40, 65, 65, 32, 38, 32, 66, 66, 41, 44, 32, 46, 67, 73, 40,
462  67, 73, 41, 44, 32, 46, 67, 79, 40, 67, 79, 41, 41, 59, 10, 10,
463  9, 97, 115, 115, 105, 103, 110, 32, 88, 32, 61, 32, 65, 65, 32, 94,
464  32, 66, 66, 59, 10, 9, 97, 115, 115, 105, 103, 110, 32, 89, 32, 61,
465  32, 88, 32, 94, 32, 123, 67, 79, 44, 32, 67, 73, 125, 59, 10, 101,
466  110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 40, 42, 32, 116, 101, 99,
467  104, 109, 97, 112, 95, 109, 97, 99, 99, 109, 97, 112, 32, 42, 41, 10,
468  40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108, 116,
469  121, 112, 101, 32, 61, 32, 34, 36, 109, 97, 99, 99, 34, 32, 42, 41,
470  10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95, 109, 97, 99, 99,
471  59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 40, 42, 32,
472  116, 101, 99, 104, 109, 97, 112, 95, 119, 114, 97, 112, 32, 61, 32, 34,
473  97, 108, 117, 109, 97, 99, 99, 34, 32, 42, 41, 10, 40, 42, 32, 116,
474  101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108, 116, 121, 112, 101, 32,
475  61, 32, 34, 36, 108, 116, 32, 36, 108, 101, 32, 36, 103, 101, 32, 36,
476  103, 116, 32, 36, 97, 100, 100, 32, 36, 115, 117, 98, 32, 36, 110, 101,
477  103, 32, 36, 109, 117, 108, 34, 32, 42, 41, 10, 109, 111, 100, 117, 108,
478  101, 32, 95, 57, 48, 95, 97, 108, 117, 109, 97, 99, 99, 59, 10, 101,
479  110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 10, 47, 47, 32, 45, 45,
480  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
481  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
482  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
483  45, 45, 45, 45, 45, 45, 10, 47, 47, 32, 68, 105, 118, 105, 100, 101,
484  32, 97, 110, 100, 32, 77, 111, 100, 117, 108, 111, 10, 47, 47, 32, 45,
485  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
486  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
487  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
488  45, 45, 45, 45, 45, 45, 45, 10, 10, 109, 111, 100, 117, 108, 101, 32,
489  92, 36, 95, 95, 100, 105, 118, 95, 109, 111, 100, 95, 117, 32, 40, 65,
490  44, 32, 66, 44, 32, 89, 44, 32, 82, 41, 59, 10, 9, 112, 97, 114,
491  97, 109, 101, 116, 101, 114, 32, 87, 73, 68, 84, 72, 32, 61, 32, 49,
492  59, 10, 10, 9, 105, 110, 112, 117, 116, 32, 91, 87, 73, 68, 84, 72,
493  45, 49, 58, 48, 93, 32, 65, 44, 32, 66, 59, 10, 9, 111, 117, 116,
494  112, 117, 116, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32,
495  89, 44, 32, 82, 59, 10, 10, 9, 119, 105, 114, 101, 32, 91, 87, 73,
496  68, 84, 72, 42, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 99,
497  104, 97, 105, 110, 100, 97, 116, 97, 59, 10, 9, 97, 115, 115, 105, 103,
498  110, 32, 82, 32, 61, 32, 99, 104, 97, 105, 110, 100, 97, 116, 97, 91,
499  87, 73, 68, 84, 72, 42, 87, 73, 68, 84, 72, 45, 49, 58, 87, 73,
500  68, 84, 72, 42, 40, 87, 73, 68, 84, 72, 45, 49, 41, 93, 59, 10,
501  10, 9, 103, 101, 110, 118, 97, 114, 32, 105, 59, 10, 9, 103, 101, 110,
502  101, 114, 97, 116, 101, 32, 98, 101, 103, 105, 110, 10, 9, 9, 102, 111,
503  114, 32, 40, 105, 32, 61, 32, 48, 59, 32, 105, 32, 60, 32, 87, 73,
504  68, 84, 72, 59, 32, 105, 61, 105, 43, 49, 41, 32, 98, 101, 103, 105,
505  110, 58, 115, 116, 97, 103, 101, 10, 9, 9, 9, 119, 105, 114, 101, 32,
506  91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 115, 116, 97, 103,
507  101, 95, 105, 110, 59, 10, 10, 9, 9, 9, 105, 102, 32, 40, 105, 32,
508  61, 61, 32, 48, 41, 32, 98, 101, 103, 105, 110, 58, 99, 112, 10, 9,
509  9, 9, 9, 97, 115, 115, 105, 103, 110, 32, 115, 116, 97, 103, 101, 95,
510  105, 110, 32, 61, 32, 65, 59, 10, 9, 9, 9, 101, 110, 100, 32, 101,
511  108, 115, 101, 32, 98, 101, 103, 105, 110, 58, 99, 112, 10, 9, 9, 9,
512  9, 97, 115, 115, 105, 103, 110, 32, 115, 116, 97, 103, 101, 95, 105, 110,
513  32, 61, 32, 99, 104, 97, 105, 110, 100, 97, 116, 97, 91, 105, 42, 87,
514  73, 68, 84, 72, 45, 49, 58, 40, 105, 45, 49, 41, 42, 87, 73, 68,
515  84, 72, 93, 59, 10, 9, 9, 9, 101, 110, 100, 10, 10, 9, 9, 9,
516  97, 115, 115, 105, 103, 110, 32, 89, 91, 87, 73, 68, 84, 72, 45, 40,
517  105, 43, 49, 41, 93, 32, 61, 32, 115, 116, 97, 103, 101, 95, 105, 110,
518  32, 62, 61, 32, 123, 66, 44, 32, 123, 87, 73, 68, 84, 72, 45, 40,
519  105, 43, 49, 41, 123, 49, 39, 98, 48, 125, 125, 125, 59, 10, 9, 9,
520  9, 97, 115, 115, 105, 103, 110, 32, 99, 104, 97, 105, 110, 100, 97, 116,
521  97, 91, 40, 105, 43, 49, 41, 42, 87, 73, 68, 84, 72, 45, 49, 58,
522  105, 42, 87, 73, 68, 84, 72, 93, 32, 61, 32, 89, 91, 87, 73, 68,
523  84, 72, 45, 40, 105, 43, 49, 41, 93, 32, 63, 32, 115, 116, 97, 103,
524  101, 95, 105, 110, 32, 45, 32, 123, 66, 44, 32, 123, 87, 73, 68, 84,
525  72, 45, 40, 105, 43, 49, 41, 123, 49, 39, 98, 48, 125, 125, 125, 32,
526  58, 32, 115, 116, 97, 103, 101, 95, 105, 110, 59, 10, 9, 9, 101, 110,
527  100, 10, 9, 101, 110, 100, 32, 101, 110, 100, 103, 101, 110, 101, 114, 97,
528  116, 101, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10, 109, 111,
529  100, 117, 108, 101, 32, 92, 36, 95, 95, 100, 105, 118, 95, 109, 111, 100,
530  32, 40, 65, 44, 32, 66, 44, 32, 89, 44, 32, 82, 41, 59, 10, 9,
531  112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65, 95, 83, 73, 71, 78,
532  69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116,
533  101, 114, 32, 66, 95, 83, 73, 71, 78, 69, 68, 32, 61, 32, 48, 59,
534  10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65, 95, 87, 73,
535  68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101,
536  116, 101, 114, 32, 66, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59,
537  10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 89, 95, 87, 73,
538  68, 84, 72, 32, 61, 32, 49, 59, 10, 10, 9, 108, 111, 99, 97, 108,
539  112, 97, 114, 97, 109, 32, 87, 73, 68, 84, 72, 32, 61, 10, 9, 9,
540  9, 65, 95, 87, 73, 68, 84, 72, 32, 62, 61, 32, 66, 95, 87, 73,
541  68, 84, 72, 32, 38, 38, 32, 65, 95, 87, 73, 68, 84, 72, 32, 62,
542  61, 32, 89, 95, 87, 73, 68, 84, 72, 32, 63, 32, 65, 95, 87, 73,
543  68, 84, 72, 32, 58, 10, 9, 9, 9, 66, 95, 87, 73, 68, 84, 72,
544  32, 62, 61, 32, 65, 95, 87, 73, 68, 84, 72, 32, 38, 38, 32, 66,
545  95, 87, 73, 68, 84, 72, 32, 62, 61, 32, 89, 95, 87, 73, 68, 84,
546  72, 32, 63, 32, 66, 95, 87, 73, 68, 84, 72, 32, 58, 32, 89, 95,
547  87, 73, 68, 84, 72, 59, 10, 10, 9, 105, 110, 112, 117, 116, 32, 91,
548  65, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 59, 10,
549  9, 105, 110, 112, 117, 116, 32, 91, 66, 95, 87, 73, 68, 84, 72, 45,
550  49, 58, 48, 93, 32, 66, 59, 10, 9, 111, 117, 116, 112, 117, 116, 32,
551  91, 89, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 89, 44,
552  32, 82, 59, 10, 10, 9, 119, 105, 114, 101, 32, 91, 87, 73, 68, 84,
553  72, 45, 49, 58, 48, 93, 32, 65, 95, 98, 117, 102, 44, 32, 66, 95,
554  98, 117, 102, 59, 10, 9, 92, 36, 112, 111, 115, 32, 35, 40, 46, 65,
555  95, 83, 73, 71, 78, 69, 68, 40, 65, 95, 83, 73, 71, 78, 69, 68,
556  41, 44, 32, 46, 65, 95, 87, 73, 68, 84, 72, 40, 65, 95, 87, 73,
557  68, 84, 72, 41, 44, 32, 46, 89, 95, 87, 73, 68, 84, 72, 40, 87,
558  73, 68, 84, 72, 41, 41, 32, 65, 95, 99, 111, 110, 118, 32, 40, 46,
559  65, 40, 65, 41, 44, 32, 46, 89, 40, 65, 95, 98, 117, 102, 41, 41,
560  59, 10, 9, 92, 36, 112, 111, 115, 32, 35, 40, 46, 65, 95, 83, 73,
561  71, 78, 69, 68, 40, 66, 95, 83, 73, 71, 78, 69, 68, 41, 44, 32,
562  46, 65, 95, 87, 73, 68, 84, 72, 40, 66, 95, 87, 73, 68, 84, 72,
563  41, 44, 32, 46, 89, 95, 87, 73, 68, 84, 72, 40, 87, 73, 68, 84,
564  72, 41, 41, 32, 66, 95, 99, 111, 110, 118, 32, 40, 46, 65, 40, 66,
565  41, 44, 32, 46, 89, 40, 66, 95, 98, 117, 102, 41, 41, 59, 10, 10,
566  9, 119, 105, 114, 101, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48,
567  93, 32, 65, 95, 98, 117, 102, 95, 117, 44, 32, 66, 95, 98, 117, 102,
568  95, 117, 44, 32, 89, 95, 117, 44, 32, 82, 95, 117, 59, 10, 9, 97,
569  115, 115, 105, 103, 110, 32, 65, 95, 98, 117, 102, 95, 117, 32, 61, 32,
570  65, 95, 83, 73, 71, 78, 69, 68, 32, 38, 38, 32, 65, 95, 98, 117,
571  102, 91, 87, 73, 68, 84, 72, 45, 49, 93, 32, 63, 32, 45, 65, 95,
572  98, 117, 102, 32, 58, 32, 65, 95, 98, 117, 102, 59, 10, 9, 97, 115,
573  115, 105, 103, 110, 32, 66, 95, 98, 117, 102, 95, 117, 32, 61, 32, 66,
574  95, 83, 73, 71, 78, 69, 68, 32, 38, 38, 32, 66, 95, 98, 117, 102,
575  91, 87, 73, 68, 84, 72, 45, 49, 93, 32, 63, 32, 45, 66, 95, 98,
576  117, 102, 32, 58, 32, 66, 95, 98, 117, 102, 59, 10, 10, 9, 92, 36,
577  95, 95, 100, 105, 118, 95, 109, 111, 100, 95, 117, 32, 35, 40, 10, 9,
578  9, 46, 87, 73, 68, 84, 72, 40, 87, 73, 68, 84, 72, 41, 10, 9,
579  41, 32, 100, 105, 118, 95, 109, 111, 100, 95, 117, 32, 40, 10, 9, 9,
580  46, 65, 40, 65, 95, 98, 117, 102, 95, 117, 41, 44, 10, 9, 9, 46,
581  66, 40, 66, 95, 98, 117, 102, 95, 117, 41, 44, 10, 9, 9, 46, 89,
582  40, 89, 95, 117, 41, 44, 10, 9, 9, 46, 82, 40, 82, 95, 117, 41,
583  10, 9, 41, 59, 10, 10, 9, 97, 115, 115, 105, 103, 110, 32, 89, 32,
584  61, 32, 65, 95, 83, 73, 71, 78, 69, 68, 32, 38, 38, 32, 66, 95,
585  83, 73, 71, 78, 69, 68, 32, 38, 38, 32, 40, 65, 95, 98, 117, 102,
586  91, 87, 73, 68, 84, 72, 45, 49, 93, 32, 33, 61, 32, 66, 95, 98,
587  117, 102, 91, 87, 73, 68, 84, 72, 45, 49, 93, 41, 32, 63, 32, 45,
588  89, 95, 117, 32, 58, 32, 89, 95, 117, 59, 10, 9, 97, 115, 115, 105,
589  103, 110, 32, 82, 32, 61, 32, 65, 95, 83, 73, 71, 78, 69, 68, 32,
590  38, 38, 32, 66, 95, 83, 73, 71, 78, 69, 68, 32, 38, 38, 32, 65,
591  95, 98, 117, 102, 91, 87, 73, 68, 84, 72, 45, 49, 93, 32, 63, 32,
592  45, 82, 95, 117, 32, 58, 32, 82, 95, 117, 59, 10, 101, 110, 100, 109,
593  111, 100, 117, 108, 101, 10, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97,
594  112, 95, 99, 101, 108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36, 100,
595  105, 118, 34, 32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57,
596  48, 95, 100, 105, 118, 32, 40, 65, 44, 32, 66, 44, 32, 89, 41, 59,
597  10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65, 95, 83, 73,
598  71, 78, 69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97, 109,
599  101, 116, 101, 114, 32, 66, 95, 83, 73, 71, 78, 69, 68, 32, 61, 32,
600  48, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65, 95,
601  87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114, 97,
602  109, 101, 116, 101, 114, 32, 66, 95, 87, 73, 68, 84, 72, 32, 61, 32,
603  49, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 89, 95,
604  87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 10, 9, 105, 110, 112,
605  117, 116, 32, 91, 65, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93,
606  32, 65, 59, 10, 9, 105, 110, 112, 117, 116, 32, 91, 66, 95, 87, 73,
607  68, 84, 72, 45, 49, 58, 48, 93, 32, 66, 59, 10, 9, 111, 117, 116,
608  112, 117, 116, 32, 91, 89, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48,
609  93, 32, 89, 59, 10, 10, 9, 92, 36, 95, 95, 100, 105, 118, 95, 109,
610  111, 100, 32, 35, 40, 10, 9, 9, 46, 65, 95, 83, 73, 71, 78, 69,
611  68, 40, 65, 95, 83, 73, 71, 78, 69, 68, 41, 44, 10, 9, 9, 46,
612  66, 95, 83, 73, 71, 78, 69, 68, 40, 66, 95, 83, 73, 71, 78, 69,
613  68, 41, 44, 10, 9, 9, 46, 65, 95, 87, 73, 68, 84, 72, 40, 65,
614  95, 87, 73, 68, 84, 72, 41, 44, 10, 9, 9, 46, 66, 95, 87, 73,
615  68, 84, 72, 40, 66, 95, 87, 73, 68, 84, 72, 41, 44, 10, 9, 9,
616  46, 89, 95, 87, 73, 68, 84, 72, 40, 89, 95, 87, 73, 68, 84, 72,
617  41, 10, 9, 41, 32, 100, 105, 118, 95, 109, 111, 100, 32, 40, 10, 9,
618  9, 46, 65, 40, 65, 41, 44, 10, 9, 9, 46, 66, 40, 66, 41, 44,
619  10, 9, 9, 46, 89, 40, 89, 41, 10, 9, 41, 59, 10, 101, 110, 100,
620  109, 111, 100, 117, 108, 101, 10, 10, 40, 42, 32, 116, 101, 99, 104, 109,
621  97, 112, 95, 99, 101, 108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36,
622  109, 111, 100, 34, 32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95,
623  57, 48, 95, 109, 111, 100, 32, 40, 65, 44, 32, 66, 44, 32, 89, 41,
624  59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65, 95, 83,
625  73, 71, 78, 69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97,
626  109, 101, 116, 101, 114, 32, 66, 95, 83, 73, 71, 78, 69, 68, 32, 61,
627  32, 48, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65,
628  95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114,
629  97, 109, 101, 116, 101, 114, 32, 66, 95, 87, 73, 68, 84, 72, 32, 61,
630  32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 89,
631  95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 10, 9, 105, 110,
632  112, 117, 116, 32, 91, 65, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48,
633  93, 32, 65, 59, 10, 9, 105, 110, 112, 117, 116, 32, 91, 66, 95, 87,
634  73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 66, 59, 10, 9, 111, 117,
635  116, 112, 117, 116, 32, 91, 89, 95, 87, 73, 68, 84, 72, 45, 49, 58,
636  48, 93, 32, 89, 59, 10, 10, 9, 92, 36, 95, 95, 100, 105, 118, 95,
637  109, 111, 100, 32, 35, 40, 10, 9, 9, 46, 65, 95, 83, 73, 71, 78,
638  69, 68, 40, 65, 95, 83, 73, 71, 78, 69, 68, 41, 44, 10, 9, 9,
639  46, 66, 95, 83, 73, 71, 78, 69, 68, 40, 66, 95, 83, 73, 71, 78,
640  69, 68, 41, 44, 10, 9, 9, 46, 65, 95, 87, 73, 68, 84, 72, 40,
641  65, 95, 87, 73, 68, 84, 72, 41, 44, 10, 9, 9, 46, 66, 95, 87,
642  73, 68, 84, 72, 40, 66, 95, 87, 73, 68, 84, 72, 41, 44, 10, 9,
643  9, 46, 89, 95, 87, 73, 68, 84, 72, 40, 89, 95, 87, 73, 68, 84,
644  72, 41, 10, 9, 41, 32, 100, 105, 118, 95, 109, 111, 100, 32, 40, 10,
645  9, 9, 46, 65, 40, 65, 41, 44, 10, 9, 9, 46, 66, 40, 66, 41,
646  44, 10, 9, 9, 46, 82, 40, 89, 41, 10, 9, 41, 59, 10, 101, 110,
647  100, 109, 111, 100, 117, 108, 101, 10, 10, 10, 47, 47, 32, 45, 45, 45,
648  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
649  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
650  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
651  45, 45, 45, 45, 45, 10, 47, 47, 32, 80, 111, 119, 101, 114, 10, 47,
652  47, 32, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
653  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
654  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
655  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 10, 40, 42, 32, 116,
656  101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108, 116, 121, 112, 101, 32,
657  61, 32, 34, 36, 112, 111, 119, 34, 32, 42, 41, 10, 109, 111, 100, 117,
658  108, 101, 32, 95, 57, 48, 95, 112, 111, 119, 32, 40, 65, 44, 32, 66,
659  44, 32, 89, 41, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114,
660  32, 65, 95, 83, 73, 71, 78, 69, 68, 32, 61, 32, 48, 59, 10, 9,
661  112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 66, 95, 83, 73, 71, 78,
662  69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116,
663  101, 114, 32, 65, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10,
664  9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 66, 95, 87, 73, 68,
665  84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116,
666  101, 114, 32, 89, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10,
667  10, 9, 105, 110, 112, 117, 116, 32, 91, 65, 95, 87, 73, 68, 84, 72,
668  45, 49, 58, 48, 93, 32, 65, 59, 10, 9, 105, 110, 112, 117, 116, 32,
669  91, 66, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 66, 59,
670  10, 9, 111, 117, 116, 112, 117, 116, 32, 91, 89, 95, 87, 73, 68, 84,
671  72, 45, 49, 58, 48, 93, 32, 89, 59, 10, 10, 9, 119, 105, 114, 101,
672  32, 95, 84, 69, 67, 72, 77, 65, 80, 95, 70, 65, 73, 76, 95, 32,
673  61, 32, 49, 59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10,
674  10, 47, 47, 32, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
675  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
676  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
677  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 47, 47, 32,
678  69, 113, 117, 97, 108, 32, 97, 110, 100, 32, 78, 111, 116, 45, 69, 113,
679  117, 97, 108, 10, 47, 47, 32, 45, 45, 45, 45, 45, 45, 45, 45, 45,
680  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
681  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
682  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10,
683  10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108,
684  116, 121, 112, 101, 32, 61, 32, 34, 36, 101, 113, 32, 36, 101, 113, 120,
685  34, 32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95,
686  101, 113, 95, 101, 113, 120, 32, 40, 65, 44, 32, 66, 44, 32, 89, 41,
687  59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65, 95, 83,
688  73, 71, 78, 69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97,
689  109, 101, 116, 101, 114, 32, 66, 95, 83, 73, 71, 78, 69, 68, 32, 61,
690  32, 48, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65,
691  95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114,
692  97, 109, 101, 116, 101, 114, 32, 66, 95, 87, 73, 68, 84, 72, 32, 61,
693  32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 89,
694  95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 10, 9, 108, 111,
695  99, 97, 108, 112, 97, 114, 97, 109, 32, 87, 73, 68, 84, 72, 32, 61,
696  32, 65, 95, 87, 73, 68, 84, 72, 32, 62, 32, 66, 95, 87, 73, 68,
697  84, 72, 32, 63, 32, 65, 95, 87, 73, 68, 84, 72, 32, 58, 32, 66,
698  95, 87, 73, 68, 84, 72, 59, 10, 10, 9, 105, 110, 112, 117, 116, 32,
699  91, 65, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 59,
700  10, 9, 105, 110, 112, 117, 116, 32, 91, 66, 95, 87, 73, 68, 84, 72,
701  45, 49, 58, 48, 93, 32, 66, 59, 10, 9, 111, 117, 116, 112, 117, 116,
702  32, 91, 89, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 89,
703  59, 10, 10, 9, 119, 105, 114, 101, 32, 99, 97, 114, 114, 121, 44, 32,
704  99, 97, 114, 114, 121, 95, 115, 105, 103, 110, 59, 10, 9, 119, 105, 114,
705  101, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 95,
706  98, 117, 102, 44, 32, 66, 95, 98, 117, 102, 59, 10, 9, 92, 36, 112,
707  111, 115, 32, 35, 40, 46, 65, 95, 83, 73, 71, 78, 69, 68, 40, 65,
708  95, 83, 73, 71, 78, 69, 68, 41, 44, 32, 46, 65, 95, 87, 73, 68,
709  84, 72, 40, 65, 95, 87, 73, 68, 84, 72, 41, 44, 32, 46, 89, 95,
710  87, 73, 68, 84, 72, 40, 87, 73, 68, 84, 72, 41, 41, 32, 65, 95,
711  99, 111, 110, 118, 32, 40, 46, 65, 40, 65, 41, 44, 32, 46, 89, 40,
712  65, 95, 98, 117, 102, 41, 41, 59, 10, 9, 92, 36, 112, 111, 115, 32,
713  35, 40, 46, 65, 95, 83, 73, 71, 78, 69, 68, 40, 66, 95, 83, 73,
714  71, 78, 69, 68, 41, 44, 32, 46, 65, 95, 87, 73, 68, 84, 72, 40,
715  66, 95, 87, 73, 68, 84, 72, 41, 44, 32, 46, 89, 95, 87, 73, 68,
716  84, 72, 40, 87, 73, 68, 84, 72, 41, 41, 32, 66, 95, 99, 111, 110,
717  118, 32, 40, 46, 65, 40, 66, 41, 44, 32, 46, 89, 40, 66, 95, 98,
718  117, 102, 41, 41, 59, 10, 10, 9, 97, 115, 115, 105, 103, 110, 32, 89,
719  32, 61, 32, 126, 124, 40, 65, 95, 98, 117, 102, 32, 94, 32, 66, 95,
720  98, 117, 102, 41, 59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10,
721  10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101, 108, 108,
722  116, 121, 112, 101, 32, 61, 32, 34, 36, 110, 101, 32, 36, 110, 101, 120,
723  34, 32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95,
724  110, 101, 95, 110, 101, 120, 32, 40, 65, 44, 32, 66, 44, 32, 89, 41,
725  59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65, 95, 83,
726  73, 71, 78, 69, 68, 32, 61, 32, 48, 59, 10, 9, 112, 97, 114, 97,
727  109, 101, 116, 101, 114, 32, 66, 95, 83, 73, 71, 78, 69, 68, 32, 61,
728  32, 48, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 65,
729  95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114,
730  97, 109, 101, 116, 101, 114, 32, 66, 95, 87, 73, 68, 84, 72, 32, 61,
731  32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 89,
732  95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10, 10, 9, 108, 111,
733  99, 97, 108, 112, 97, 114, 97, 109, 32, 87, 73, 68, 84, 72, 32, 61,
734  32, 65, 95, 87, 73, 68, 84, 72, 32, 62, 32, 66, 95, 87, 73, 68,
735  84, 72, 32, 63, 32, 65, 95, 87, 73, 68, 84, 72, 32, 58, 32, 66,
736  95, 87, 73, 68, 84, 72, 59, 10, 10, 9, 105, 110, 112, 117, 116, 32,
737  91, 65, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 59,
738  10, 9, 105, 110, 112, 117, 116, 32, 91, 66, 95, 87, 73, 68, 84, 72,
739  45, 49, 58, 48, 93, 32, 66, 59, 10, 9, 111, 117, 116, 112, 117, 116,
740  32, 91, 89, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 89,
741  59, 10, 10, 9, 119, 105, 114, 101, 32, 99, 97, 114, 114, 121, 44, 32,
742  99, 97, 114, 114, 121, 95, 115, 105, 103, 110, 59, 10, 9, 119, 105, 114,
743  101, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 95,
744  98, 117, 102, 44, 32, 66, 95, 98, 117, 102, 59, 10, 9, 92, 36, 112,
745  111, 115, 32, 35, 40, 46, 65, 95, 83, 73, 71, 78, 69, 68, 40, 65,
746  95, 83, 73, 71, 78, 69, 68, 41, 44, 32, 46, 65, 95, 87, 73, 68,
747  84, 72, 40, 65, 95, 87, 73, 68, 84, 72, 41, 44, 32, 46, 89, 95,
748  87, 73, 68, 84, 72, 40, 87, 73, 68, 84, 72, 41, 41, 32, 65, 95,
749  99, 111, 110, 118, 32, 40, 46, 65, 40, 65, 41, 44, 32, 46, 89, 40,
750  65, 95, 98, 117, 102, 41, 41, 59, 10, 9, 92, 36, 112, 111, 115, 32,
751  35, 40, 46, 65, 95, 83, 73, 71, 78, 69, 68, 40, 66, 95, 83, 73,
752  71, 78, 69, 68, 41, 44, 32, 46, 65, 95, 87, 73, 68, 84, 72, 40,
753  66, 95, 87, 73, 68, 84, 72, 41, 44, 32, 46, 89, 95, 87, 73, 68,
754  84, 72, 40, 87, 73, 68, 84, 72, 41, 41, 32, 66, 95, 99, 111, 110,
755  118, 32, 40, 46, 65, 40, 66, 41, 44, 32, 46, 89, 40, 66, 95, 98,
756  117, 102, 41, 41, 59, 10, 10, 9, 97, 115, 115, 105, 103, 110, 32, 89,
757  32, 61, 32, 124, 40, 65, 95, 98, 117, 102, 32, 94, 32, 66, 95, 98,
758  117, 102, 41, 59, 10, 101, 110, 100, 109, 111, 100, 117, 108, 101, 10, 10,
759  10, 47, 47, 32, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
760  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
761  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
762  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 10, 47, 47, 32,
763  80, 97, 114, 97, 108, 108, 101, 108, 32, 77, 117, 108, 116, 105, 112, 108,
764  101, 120, 101, 114, 115, 10, 47, 47, 32, 45, 45, 45, 45, 45, 45, 45,
765  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
766  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
767  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
768  45, 10, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99, 101,
769  108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36, 112, 109, 117, 120, 34,
770  32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95, 112,
771  109, 117, 120, 32, 40, 65, 44, 32, 66, 44, 32, 83, 44, 32, 89, 41,
772  59, 10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 87, 73, 68,
773  84, 72, 32, 61, 32, 49, 59, 10, 9, 112, 97, 114, 97, 109, 101, 116,
774  101, 114, 32, 83, 95, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59, 10,
775  10, 9, 105, 110, 112, 117, 116, 32, 91, 87, 73, 68, 84, 72, 45, 49,
776  58, 48, 93, 32, 65, 59, 10, 9, 105, 110, 112, 117, 116, 32, 91, 87,
777  73, 68, 84, 72, 42, 83, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48,
778  93, 32, 66, 59, 10, 9, 105, 110, 112, 117, 116, 32, 91, 83, 95, 87,
779  73, 68, 84, 72, 45, 49, 58, 48, 93, 32, 83, 59, 10, 9, 111, 117,
780  116, 112, 117, 116, 32, 91, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93,
781  32, 89, 59, 10, 10, 9, 119, 105, 114, 101, 32, 91, 87, 73, 68, 84,
782  72, 45, 49, 58, 48, 93, 32, 89, 95, 66, 59, 10, 10, 9, 103, 101,
783  110, 118, 97, 114, 32, 105, 44, 32, 106, 59, 10, 9, 103, 101, 110, 101,
784  114, 97, 116, 101, 10, 9, 9, 119, 105, 114, 101, 32, 91, 87, 73, 68,
785  84, 72, 42, 83, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93, 32,
786  66, 95, 65, 78, 68, 95, 83, 59, 10, 9, 9, 102, 111, 114, 32, 40,
787  105, 32, 61, 32, 48, 59, 32, 105, 32, 60, 32, 83, 95, 87, 73, 68,
788  84, 72, 59, 32, 105, 32, 61, 32, 105, 32, 43, 32, 49, 41, 32, 98,
789  101, 103, 105, 110, 58, 66, 95, 65, 78, 68, 10, 9, 9, 9, 97, 115,
790  115, 105, 103, 110, 32, 66, 95, 65, 78, 68, 95, 83, 91, 87, 73, 68,
791  84, 72, 42, 40, 105, 43, 49, 41, 45, 49, 58, 87, 73, 68, 84, 72,
792  42, 105, 93, 32, 61, 32, 66, 91, 87, 73, 68, 84, 72, 42, 40, 105,
793  43, 49, 41, 45, 49, 58, 87, 73, 68, 84, 72, 42, 105, 93, 32, 38,
794  32, 123, 87, 73, 68, 84, 72, 123, 83, 91, 105, 93, 125, 125, 59, 10,
795  9, 9, 101, 110, 100, 58, 66, 95, 65, 78, 68, 10, 9, 9, 102, 111,
796  114, 32, 40, 105, 32, 61, 32, 48, 59, 32, 105, 32, 60, 32, 87, 73,
797  68, 84, 72, 59, 32, 105, 32, 61, 32, 105, 32, 43, 32, 49, 41, 32,
798  98, 101, 103, 105, 110, 58, 66, 95, 79, 82, 10, 9, 9, 9, 119, 105,
799  114, 101, 32, 91, 83, 95, 87, 73, 68, 84, 72, 45, 49, 58, 48, 93,
800  32, 66, 95, 65, 78, 68, 95, 66, 73, 84, 83, 59, 10, 9, 9, 9,
801  102, 111, 114, 32, 40, 106, 32, 61, 32, 48, 59, 32, 106, 32, 60, 32,
802  83, 95, 87, 73, 68, 84, 72, 59, 32, 106, 32, 61, 32, 106, 32, 43,
803  32, 49, 41, 32, 98, 101, 103, 105, 110, 58, 66, 95, 65, 78, 68, 95,
804  66, 73, 84, 83, 95, 67, 79, 76, 76, 69, 67, 84, 10, 9, 9, 9,
805  9, 97, 115, 115, 105, 103, 110, 32, 66, 95, 65, 78, 68, 95, 66, 73,
806  84, 83, 91, 106, 93, 32, 61, 32, 66, 95, 65, 78, 68, 95, 83, 91,
807  87, 73, 68, 84, 72, 42, 106, 43, 105, 93, 59, 10, 9, 9, 9, 101,
808  110, 100, 58, 66, 95, 65, 78, 68, 95, 66, 73, 84, 83, 95, 67, 79,
809  76, 76, 69, 67, 84, 10, 9, 9, 9, 97, 115, 115, 105, 103, 110, 32,
810  89, 95, 66, 91, 105, 93, 32, 61, 32, 124, 66, 95, 65, 78, 68, 95,
811  66, 73, 84, 83, 59, 10, 9, 9, 101, 110, 100, 58, 66, 95, 79, 82,
812  10, 9, 101, 110, 100, 103, 101, 110, 101, 114, 97, 116, 101, 10, 10, 9,
813  97, 115, 115, 105, 103, 110, 32, 89, 32, 61, 32, 124, 83, 32, 63, 32,
814  89, 95, 66, 32, 58, 32, 65, 59, 10, 101, 110, 100, 109, 111, 100, 117,
815  108, 101, 10, 10, 10, 47, 47, 32, 45, 45, 45, 45, 45, 45, 45, 45,
816  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
817  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
818  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
819  10, 47, 47, 32, 76, 85, 84, 115, 10, 47, 47, 32, 45, 45, 45, 45,
820  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
821  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
822  45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45, 45,
823  45, 45, 45, 45, 10, 10, 96, 105, 102, 110, 100, 101, 102, 32, 78, 79,
824  76, 85, 84, 10, 40, 42, 32, 116, 101, 99, 104, 109, 97, 112, 95, 99,
825  101, 108, 108, 116, 121, 112, 101, 32, 61, 32, 34, 36, 108, 117, 116, 34,
826  32, 42, 41, 10, 109, 111, 100, 117, 108, 101, 32, 95, 57, 48, 95, 108,
827  117, 116, 32, 40, 65, 44, 32, 89, 41, 59, 10, 9, 112, 97, 114, 97,
828  109, 101, 116, 101, 114, 32, 87, 73, 68, 84, 72, 32, 61, 32, 49, 59,
829  10, 9, 112, 97, 114, 97, 109, 101, 116, 101, 114, 32, 76, 85, 84, 32,
830  61, 32, 48, 59, 10, 10, 9, 105, 110, 112, 117, 116, 32, 91, 87, 73,
831  68, 84, 72, 45, 49, 58, 48, 93, 32, 65, 59, 10, 9, 111, 117, 116,
832  112, 117, 116, 32, 89, 59, 10, 10, 9, 97, 115, 115, 105, 103, 110, 32,
833  89, 32, 61, 32, 76, 85, 84, 91, 65, 93, 59, 10, 101, 110, 100, 109,
834  111, 100, 117, 108, 101, 10, 96, 101, 110, 100, 105, 102, 10, 10,
835 0};