/* Generated from js/src/shell/DebugSessionHost.js. Do not edit. */
static const char DebugSessionHostSource[] = {
47, 42, 32, 84, 104, 105, 115, 32, 83, 111, 117, 114, 99, 101, 32, 67,
111, 100, 101, 32, 70, 111, 114, 109, 32, 105, 115, 32, 115, 117, 98, 106,
101, 99, 116, 32, 116, 111, 32, 116, 104, 101, 32, 116, 101, 114, 109, 115,
32, 111, 102, 32, 116, 104, 101, 32, 77, 111, 122, 105, 108, 108, 97, 32,
80, 117, 98, 108, 105, 99, 10, 32, 42, 32, 76, 105, 99, 101, 110, 115,
101, 44, 32, 118, 46, 32, 50, 46, 48, 46, 32, 73, 102, 32, 97, 32,
99, 111, 112, 121, 32, 111, 102, 32, 116, 104, 101, 32, 77, 80, 76, 32,
119, 97, 115, 32, 110, 111, 116, 32, 100, 105, 115, 116, 114, 105, 98, 117,
116, 101, 100, 32, 119, 105, 116, 104, 32, 116, 104, 105, 115, 10, 32, 42,
32, 102, 105, 108, 101, 44, 32, 89, 111, 117, 32, 99, 97, 110, 32, 111,
98, 116, 97, 105, 110, 32, 111, 110, 101, 32, 97, 116, 32, 104, 116, 116,
112, 58, 47, 47, 109, 111, 122, 105, 108, 108, 97, 46, 111, 114, 103, 47,
77, 80, 76, 47, 50, 46, 48, 47, 46, 32, 42, 47, 10, 10, 47, 42,
10, 32, 42, 32, 74, 83, 32, 115, 104, 101, 108, 108, 32, 104, 111, 115,
116, 32, 102, 111, 114, 32, 116, 104, 101, 32, 68, 101, 98, 117, 103, 83,
101, 115, 115, 105, 111, 110, 32, 109, 111, 100, 117, 108, 101, 32, 105, 110,
32, 68, 101, 98, 117, 103, 83, 101, 115, 115, 105, 111, 110, 46, 115, 121,
115, 46, 109, 106, 115, 46, 10, 32, 42, 32, 83, 101, 101, 32, 116, 104,
101, 32, 83, 77, 68, 79, 67, 32, 99, 111, 109, 109, 101, 110, 116, 32,
105, 110, 32, 68, 101, 98, 117, 103, 83, 101, 115, 115, 105, 111, 110, 46,
99, 112, 112, 46, 10, 32, 42, 10, 32, 42, 32, 84, 104, 105, 115, 32,
115, 99, 114, 105, 112, 116, 32, 101, 118, 97, 108, 117, 97, 116, 101, 115,
32, 116, 111, 32, 97, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 116,
104, 97, 116, 32, 116, 97, 107, 101, 115, 32, 116, 104, 101, 32, 109, 111,
100, 117, 108, 101, 32, 110, 97, 109, 101, 115, 112, 97, 99, 101, 32, 97,
110, 100, 10, 32, 42, 32, 114, 101, 116, 117, 114, 110, 115, 32, 116, 104,
101, 32, 101, 110, 116, 114, 121, 32, 112, 111, 105, 110, 116, 115, 32, 99,
97, 108, 108, 101, 100, 32, 98, 121, 32, 116, 104, 101, 32, 110, 97, 116,
105, 118, 101, 115, 58, 10, 32, 42, 10, 32, 42, 32, 32, 32, 99, 114,
101, 97, 116, 101, 40, 100, 101, 98, 117, 103, 103, 101, 101, 41, 32, 32,
32, 32, 32, 32, 32, 32, 67, 114, 101, 97, 116, 101, 32, 116, 104, 101,
32, 100, 101, 98, 117, 103, 32, 115, 101, 115, 115, 105, 111, 110, 46, 32,
84, 104, 101, 114, 101, 32, 99, 97, 110, 32, 111, 110, 108, 121, 32, 98,
101, 32, 111, 110, 101, 10, 32, 42, 32, 32, 32, 32, 32, 32, 32, 32,
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
32, 32, 32, 97, 116, 32, 97, 32, 116, 105, 109, 101, 46, 10, 32, 42,
32, 32, 32, 99, 111, 109, 109, 97, 110, 100, 40, 110, 97, 109, 101, 44,
32, 97, 114, 103, 74, 83, 79, 78, 41, 32, 32, 67, 111, 109, 109, 97,
110, 100, 115, 32, 111, 102, 32, 116, 104, 101, 32, 115, 101, 115, 115, 105,
111, 110, 46, 32, 78, 111, 116, 32, 97, 108, 108, 111, 119, 101, 100, 32,
119, 104, 105, 108, 101, 32, 105, 116, 32, 105, 115, 10, 32, 42, 32, 32,
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
32, 32, 32, 32, 32, 32, 32, 32, 32, 112, 97, 117, 115, 101, 100, 46,
10, 32, 42, 47, 10, 10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 32,
40, 110, 115, 41, 32, 123, 10, 32, 32, 34, 117, 115, 101, 32, 115, 116,
114, 105, 99, 116, 34, 59, 10, 10, 32, 32, 99, 111, 110, 115, 116, 32,
123, 32, 68, 101, 98, 117, 103, 83, 101, 115, 115, 105, 111, 110, 32, 125,
32, 61, 32, 110, 115, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 65,
67, 84, 73, 79, 78, 83, 32, 61, 32, 91, 34, 114, 101, 115, 117, 109,
101, 34, 44, 32, 34, 115, 116, 101, 112, 73, 110, 116, 111, 34, 44, 32,
34, 115, 116, 101, 112, 79, 117, 116, 34, 44, 32, 34, 115, 116, 101, 112,
79, 118, 101, 114, 34, 93, 59, 10, 10, 32, 32, 47, 47, 32, 84, 104,
101, 32, 115, 116, 97, 116, 101, 32, 111, 102, 32, 116, 104, 101, 32, 99,
117, 114, 114, 101, 110, 116, 32, 115, 101, 115, 115, 105, 111, 110, 44, 32,
111, 114, 32, 110, 117, 108, 108, 46, 10, 32, 32, 108, 101, 116, 32, 99,
117, 114, 114, 101, 110, 116, 32, 61, 32, 110, 117, 108, 108, 59, 10, 10,
32, 32, 47, 42, 42, 10, 32, 32, 32, 42, 32, 69, 114, 114, 111, 114,
115, 32, 114, 101, 112, 111, 114, 116, 101, 100, 32, 116, 111, 32, 116, 104,
101, 32, 110, 97, 116, 105, 118, 101, 115, 32, 97, 115, 32, 123, 101, 114,
114, 111, 114, 125, 46, 10, 32, 32, 32, 42, 47, 10, 32, 32, 99, 108,
97, 115, 115, 32, 72, 111, 115, 116, 69, 114, 114, 111, 114, 32, 101, 120,
116, 101, 110, 100, 115, 32, 69, 114, 114, 111, 114, 32, 123, 125, 10, 10,
32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 115, 101, 114, 105, 97,
108, 105, 122, 101, 86, 97, 108, 117, 101, 40, 118, 97, 108, 117, 101, 41,
32, 123, 10, 32, 32, 32, 32, 105, 102, 32, 40, 118, 97, 108, 117, 101,
32, 105, 110, 115, 116, 97, 110, 99, 101, 111, 102, 32, 68, 101, 98, 117,
103, 103, 101, 114, 46, 79, 98, 106, 101, 99, 116, 41, 32, 123, 10, 32,
32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 123, 32, 116, 121,
112, 101, 58, 32, 34, 111, 98, 106, 101, 99, 116, 34, 44, 32, 99, 108,
97, 115, 115, 58, 32, 118, 97, 108, 117, 101, 46, 99, 108, 97, 115, 115,
32, 125, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 115, 119,
105, 116, 99, 104, 32, 40, 116, 121, 112, 101, 111, 102, 32, 118, 97, 108,
117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 97, 115, 101,
32, 34, 117, 110, 100, 101, 102, 105, 110, 101, 100, 34, 58, 10, 32, 32,
32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 123, 32, 116,
121, 112, 101, 58, 32, 34, 117, 110, 100, 101, 102, 105, 110, 101, 100, 34,
32, 125, 59, 10, 32, 32, 32, 32, 32, 32, 99, 97, 115, 101, 32, 34,
98, 111, 111, 108, 101, 97, 110, 34, 58, 10, 32, 32, 32, 32, 32, 32,
99, 97, 115, 101, 32, 34, 115, 116, 114, 105, 110, 103, 34, 58, 10, 32,
32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 123, 32,
116, 121, 112, 101, 58, 32, 116, 121, 112, 101, 111, 102, 32, 118, 97, 108,
117, 101, 44, 32, 118, 97, 108, 117, 101, 32, 125, 59, 10, 32, 32, 32,
32, 32, 32, 99, 97, 115, 101, 32, 34, 110, 117, 109, 98, 101, 114, 34,
58, 10, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 78,
117, 109, 98, 101, 114, 46, 105, 115, 70, 105, 110, 105, 116, 101, 40, 118,
97, 108, 117, 101, 41, 32, 124, 124, 32, 79, 98, 106, 101, 99, 116, 46,
105, 115, 40, 118, 97, 108, 117, 101, 44, 32, 45, 48, 41, 41, 32, 123,
10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114,
110, 32, 123, 32, 116, 121, 112, 101, 58, 32, 34, 110, 117, 109, 98, 101,
114, 34, 44, 32, 118, 97, 108, 117, 101, 58, 32, 83, 116, 114, 105, 110,
103, 40, 118, 97, 108, 117, 101, 41, 32, 125, 59, 10, 32, 32, 32, 32,
32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101,
116, 117, 114, 110, 32, 123, 32, 116, 121, 112, 101, 58, 32, 34, 110, 117,
109, 98, 101, 114, 34, 44, 32, 118, 97, 108, 117, 101, 32, 125, 59, 10,
32, 32, 32, 32, 32, 32, 99, 97, 115, 101, 32, 34, 98, 105, 103, 105,
110, 116, 34, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116,
117, 114, 110, 32, 123, 32, 116, 121, 112, 101, 58, 32, 34, 98, 105, 103,
105, 110, 116, 34, 44, 32, 118, 97, 108, 117, 101, 58, 32, 83, 116, 114,
105, 110, 103, 40, 118, 97, 108, 117, 101, 41, 32, 125, 59, 10, 32, 32,
32, 32, 32, 32, 99, 97, 115, 101, 32, 34, 115, 121, 109, 98, 111, 108,
34, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114,
110, 32, 123, 32, 116, 121, 112, 101, 58, 32, 34, 115, 121, 109, 98, 111,
108, 34, 44, 32, 100, 101, 115, 99, 114, 105, 112, 116, 105, 111, 110, 58,
32, 118, 97, 108, 117, 101, 46, 100, 101, 115, 99, 114, 105, 112, 116, 105,
111, 110, 32, 63, 63, 32, 110, 117, 108, 108, 32, 125, 59, 10, 32, 32,
32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 118, 97, 108, 117,
101, 32, 61, 61, 61, 32, 110, 117, 108, 108, 41, 32, 123, 10, 32, 32,
32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 123, 32, 116, 121, 112,
101, 58, 32, 34, 110, 117, 108, 108, 34, 32, 125, 59, 10, 32, 32, 32,
32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 123, 32,
116, 121, 112, 101, 58, 32, 34, 117, 110, 107, 110, 111, 119, 110, 34, 32,
125, 59, 10, 32, 32, 125, 10, 10, 32, 32, 102, 117, 110, 99, 116, 105,
111, 110, 32, 99, 104, 101, 99, 107, 66, 114, 101, 97, 107, 112, 111, 105,
110, 116, 115, 40, 97, 114, 103, 41, 32, 123, 10, 32, 32, 32, 32, 105,
102, 32, 40, 33, 65, 114, 114, 97, 121, 46, 105, 115, 65, 114, 114, 97,
121, 40, 97, 114, 103, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69, 114,
114, 111, 114, 40, 34, 115, 101, 116, 66, 114, 101, 97, 107, 112, 111, 105,
110, 116, 115, 32, 101, 120, 112, 101, 99, 116, 115, 32, 97, 110, 32, 97,
114, 114, 97, 121, 34, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32,
32, 32, 99, 111, 110, 115, 116, 32, 98, 114, 101, 97, 107, 112, 111, 105,
110, 116, 115, 32, 61, 32, 91, 93, 59, 10, 32, 32, 32, 32, 102, 111,
114, 32, 40, 99, 111, 110, 115, 116, 32, 98, 112, 32, 111, 102, 32, 97,
114, 103, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40,
116, 121, 112, 101, 111, 102, 32, 98, 112, 32, 33, 61, 61, 32, 34, 111,
98, 106, 101, 99, 116, 34, 32, 124, 124, 32, 98, 112, 32, 61, 61, 61,
32, 110, 117, 108, 108, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32,
32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69,
114, 114, 111, 114, 40, 34, 98, 114, 101, 97, 107, 112, 111, 105, 110, 116,
32, 109, 117, 115, 116, 32, 98, 101, 32, 97, 110, 32, 111, 98, 106, 101,
99, 116, 34, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32,
32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 123, 32, 105, 100, 44, 32,
117, 114, 108, 44, 32, 108, 105, 110, 101, 44, 32, 99, 111, 108, 117, 109,
110, 32, 125, 32, 61, 32, 98, 112, 59, 10, 32, 32, 32, 32, 32, 32,
105, 102, 32, 40, 116, 121, 112, 101, 111, 102, 32, 105, 100, 32, 33, 61,
61, 32, 34, 115, 116, 114, 105, 110, 103, 34, 32, 38, 38, 32, 116, 121,
112, 101, 111, 102, 32, 105, 100, 32, 33, 61, 61, 32, 34, 110, 117, 109,
98, 101, 114, 34, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69, 114,
114, 111, 114, 40, 34, 98, 114, 101, 97, 107, 112, 111, 105, 110, 116, 32,
105, 100, 32, 109, 117, 115, 116, 32, 98, 101, 32, 97, 32, 115, 116, 114,
105, 110, 103, 32, 111, 114, 32, 110, 117, 109, 98, 101, 114, 34, 41, 59,
10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105,
102, 32, 40, 116, 121, 112, 101, 111, 102, 32, 117, 114, 108, 32, 33, 61,
61, 32, 34, 115, 116, 114, 105, 110, 103, 34, 41, 32, 123, 10, 32, 32,
32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32,
72, 111, 115, 116, 69, 114, 114, 111, 114, 40, 34, 98, 114, 101, 97, 107,
112, 111, 105, 110, 116, 32, 117, 114, 108, 32, 109, 117, 115, 116, 32, 98,
101, 32, 97, 32, 115, 116, 114, 105, 110, 103, 34, 41, 59, 10, 32, 32,
32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40,
33, 78, 117, 109, 98, 101, 114, 46, 105, 115, 73, 110, 116, 101, 103, 101,
114, 40, 108, 105, 110, 101, 41, 32, 124, 124, 32, 108, 105, 110, 101, 32,
60, 32, 49, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116,
104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69, 114, 114,
111, 114, 40, 34, 98, 114, 101, 97, 107, 112, 111, 105, 110, 116, 32, 108,
105, 110, 101, 32, 109, 117, 115, 116, 32, 98, 101, 32, 97, 32, 112, 111,
115, 105, 116, 105, 118, 101, 32, 105, 110, 116, 101, 103, 101, 114, 34, 41,
59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32,
105, 102, 32, 40, 99, 111, 108, 117, 109, 110, 32, 33, 61, 61, 32, 117,
110, 100, 101, 102, 105, 110, 101, 100, 32, 38, 38, 32, 40, 33, 78, 117,
109, 98, 101, 114, 46, 105, 115, 73, 110, 116, 101, 103, 101, 114, 40, 99,
111, 108, 117, 109, 110, 41, 32, 124, 124, 32, 99, 111, 108, 117, 109, 110,
32, 60, 32, 49, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32,
32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69,
114, 114, 111, 114, 40, 34, 98, 114, 101, 97, 107, 112, 111, 105, 110, 116,
32, 99, 111, 108, 117, 109, 110, 32, 109, 117, 115, 116, 32, 98, 101, 32,
97, 32, 112, 111, 115, 105, 116, 105, 118, 101, 32, 105, 110, 116, 101, 103,
101, 114, 34, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32,
32, 32, 32, 32, 98, 114, 101, 97, 107, 112, 111, 105, 110, 116, 115, 46,
112, 117, 115, 104, 40, 123, 32, 105, 100, 58, 32, 83, 116, 114, 105, 110,
103, 40, 105, 100, 41, 44, 32, 117, 114, 108, 44, 32, 108, 105, 110, 101,
44, 32, 99, 111, 108, 117, 109, 110, 32, 125, 41, 59, 10, 32, 32, 32,
32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 98, 114,
101, 97, 107, 112, 111, 105, 110, 116, 115, 59, 10, 32, 32, 125, 10, 10,
32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 99, 104, 101, 99, 107,
65, 99, 116, 105, 111, 110, 115, 40, 97, 114, 103, 41, 32, 123, 10, 32,
32, 32, 32, 105, 102, 32, 40, 33, 65, 114, 114, 97, 121, 46, 105, 115,
65, 114, 114, 97, 121, 40, 97, 114, 103, 41, 41, 32, 123, 10, 32, 32,
32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111,
115, 116, 69, 114, 114, 111, 114, 40, 34, 115, 101, 116, 80, 97, 117, 115,
101, 65, 99, 116, 105, 111, 110, 115, 32, 101, 120, 112, 101, 99, 116, 115,
32, 97, 110, 32, 97, 114, 114, 97, 121, 34, 41, 59, 10, 32, 32, 32,
32, 125, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 97, 99, 116,
105, 111, 110, 115, 32, 61, 32, 91, 93, 59, 10, 32, 32, 32, 32, 102,
111, 114, 32, 40, 99, 111, 110, 115, 116, 32, 97, 99, 116, 105, 111, 110,
32, 111, 102, 32, 97, 114, 103, 41, 32, 123, 10, 32, 32, 32, 32, 32,
32, 105, 102, 32, 40, 116, 121, 112, 101, 111, 102, 32, 97, 99, 116, 105,
111, 110, 32, 61, 61, 61, 32, 34, 115, 116, 114, 105, 110, 103, 34, 41,
32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 33,
65, 67, 84, 73, 79, 78, 83, 46, 105, 110, 99, 108, 117, 100, 101, 115,
40, 97, 99, 116, 105, 111, 110, 41, 41, 32, 123, 10, 32, 32, 32, 32,
32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32,
72, 111, 115, 116, 69, 114, 114, 111, 114, 40, 34, 117, 110, 107, 110, 111,
119, 110, 32, 112, 97, 117, 115, 101, 32, 97, 99, 116, 105, 111, 110, 58,
32, 34, 32, 43, 32, 97, 99, 116, 105, 111, 110, 41, 59, 10, 32, 32,
32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32,
97, 99, 116, 105, 111, 110, 115, 46, 112, 117, 115, 104, 40, 97, 99, 116,
105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111,
110, 116, 105, 110, 117, 101, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10,
32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 121, 112, 101, 111, 102,
32, 97, 99, 116, 105, 111, 110, 32, 33, 61, 61, 32, 34, 111, 98, 106,
101, 99, 116, 34, 32, 124, 124, 32, 97, 99, 116, 105, 111, 110, 32, 61,
61, 61, 32, 110, 117, 108, 108, 41, 32, 123, 10, 32, 32, 32, 32, 32,
32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115,
116, 69, 114, 114, 111, 114, 40, 34, 112, 97, 117, 115, 101, 32, 97, 99,
116, 105, 111, 110, 32, 109, 117, 115, 116, 32, 98, 101, 32, 97, 32, 115,
116, 114, 105, 110, 103, 32, 111, 114, 32, 97, 110, 32, 111, 98, 106, 101,
99, 116, 34, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32,
32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 123, 32, 101, 118, 97, 108,
117, 97, 116, 101, 58, 32, 101, 120, 112, 114, 101, 115, 115, 105, 111, 110,
44, 32, 102, 114, 97, 109, 101, 32, 61, 32, 48, 32, 125, 32, 61, 32,
97, 99, 116, 105, 111, 110, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102,
32, 40, 116, 121, 112, 101, 111, 102, 32, 101, 120, 112, 114, 101, 115, 115,
105, 111, 110, 32, 33, 61, 61, 32, 34, 115, 116, 114, 105, 110, 103, 34,
41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111,
119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69, 114, 114, 111, 114, 40,
34, 101, 118, 97, 108, 117, 97, 116, 101, 32, 97, 99, 116, 105, 111, 110,
32, 101, 120, 112, 101, 99, 116, 115, 32, 97, 110, 32, 101, 120, 112, 114,
101, 115, 115, 105, 111, 110, 32, 115, 116, 114, 105, 110, 103, 34, 41, 59,
10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105,
102, 32, 40, 33, 78, 117, 109, 98, 101, 114, 46, 105, 115, 73, 110, 116,
101, 103, 101, 114, 40, 102, 114, 97, 109, 101, 41, 32, 124, 124, 32, 102,
114, 97, 109, 101, 32, 60, 32, 48, 41, 32, 123, 10, 32, 32, 32, 32,
32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111,
115, 116, 69, 114, 114, 111, 114, 40, 34, 102, 114, 97, 109, 101, 32, 105,
110, 100, 101, 120, 32, 109, 117, 115, 116, 32, 98, 101, 32, 97, 32, 110,
111, 110, 45, 110, 101, 103, 97, 116, 105, 118, 101, 32, 105, 110, 116, 101,
103, 101, 114, 34, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32,
32, 32, 32, 32, 32, 97, 99, 116, 105, 111, 110, 115, 46, 112, 117, 115,
104, 40, 123, 32, 101, 118, 97, 108, 117, 97, 116, 101, 58, 32, 101, 120,
112, 114, 101, 115, 115, 105, 111, 110, 44, 32, 102, 114, 97, 109, 101, 32,
125, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101,
116, 117, 114, 110, 32, 97, 99, 116, 105, 111, 110, 115, 59, 10, 32, 32,
125, 10, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 101, 118,
97, 108, 117, 97, 116, 101, 40, 101, 110, 116, 114, 121, 44, 32, 101, 120,
112, 114, 101, 115, 115, 105, 111, 110, 44, 32, 102, 114, 97, 109, 101, 73,
110, 100, 101, 120, 41, 32, 123, 10, 32, 32, 32, 32, 108, 101, 116, 32,
102, 114, 97, 109, 101, 32, 61, 32, 101, 110, 116, 114, 121, 46, 101, 110,
118, 105, 114, 111, 110, 109, 101, 110, 116, 63, 46, 102, 114, 97, 109, 101,
59, 10, 32, 32, 32, 32, 102, 111, 114, 32, 40, 108, 101, 116, 32, 105,
32, 61, 32, 48, 59, 32, 102, 114, 97, 109, 101, 32, 38, 38, 32, 105,
32, 60, 32, 102, 114, 97, 109, 101, 73, 110, 100, 101, 120, 59, 32, 105,
43, 43, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 102, 114, 97, 109,
101, 32, 61, 32, 102, 114, 97, 109, 101, 46, 111, 108, 100, 101, 114, 59,
10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 33,
102, 114, 97, 109, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114,
101, 116, 117, 114, 110, 32, 123, 32, 101, 114, 114, 111, 114, 58, 32, 34,
110, 111, 32, 102, 114, 97, 109, 101, 32, 119, 105, 116, 104, 32, 105, 110,
100, 101, 120, 32, 34, 32, 43, 32, 102, 114, 97, 109, 101, 73, 110, 100,
101, 120, 32, 125, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
99, 111, 110, 115, 116, 32, 99, 111, 109, 112, 108, 101, 116, 105, 111, 110,
32, 61, 32, 102, 114, 97, 109, 101, 46, 101, 118, 97, 108, 40, 101, 120,
112, 114, 101, 115, 115, 105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 105,
102, 32, 40, 33, 99, 111, 109, 112, 108, 101, 116, 105, 111, 110, 41, 32,
123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 123,
32, 116, 101, 114, 109, 105, 110, 97, 116, 101, 100, 58, 32, 116, 114, 117,
101, 32, 125, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105,
102, 32, 40, 34, 116, 104, 114, 111, 119, 34, 32, 105, 110, 32, 99, 111,
109, 112, 108, 101, 116, 105, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32,
32, 32, 114, 101, 116, 117, 114, 110, 32, 123, 32, 116, 104, 114, 111, 119,
58, 32, 115, 101, 114, 105, 97, 108, 105, 122, 101, 86, 97, 108, 117, 101,
40, 99, 111, 109, 112, 108, 101, 116, 105, 111, 110, 46, 116, 104, 114, 111,
119, 41, 32, 125, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
114, 101, 116, 117, 114, 110, 32, 123, 32, 114, 101, 116, 117, 114, 110, 58,
32, 115, 101, 114, 105, 97, 108, 105, 122, 101, 86, 97, 108, 117, 101, 40,
99, 111, 109, 112, 108, 101, 116, 105, 111, 110, 46, 114, 101, 116, 117, 114,
110, 41, 32, 125, 59, 10, 32, 32, 125, 10, 10, 32, 32, 47, 47, 32,
82, 117, 110, 32, 116, 104, 101, 32, 112, 97, 117, 115, 101, 32, 97, 99,
116, 105, 111, 110, 115, 32, 111, 102, 32, 124, 101, 110, 116, 114, 121, 124,
32, 117, 110, 116, 105, 108, 32, 97, 32, 114, 101, 115, 117, 109, 101, 32,
111, 114, 32, 115, 116, 101, 112, 32, 97, 99, 116, 105, 111, 110, 44, 32,
97, 110, 100, 32, 114, 101, 116, 117, 114, 110, 10, 32, 32, 47, 47, 32,
116, 104, 97, 116, 32, 97, 99, 116, 105, 111, 110, 46, 10, 32, 32, 102,
117, 110, 99, 116, 105, 111, 110, 32, 114, 117, 110, 80, 97, 117, 115, 101,
65, 99, 116, 105, 111, 110, 115, 40, 101, 110, 116, 114, 121, 41, 32, 123,
10, 32, 32, 32, 32, 119, 104, 105, 108, 101, 32, 40, 101, 110, 116, 114,
121, 46, 97, 99, 116, 105, 111, 110, 115, 46, 108, 101, 110, 103, 116, 104,
41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
97, 99, 116, 105, 111, 110, 32, 61, 32, 101, 110, 116, 114, 121, 46, 97,
99, 116, 105, 111, 110, 115, 46, 115, 104, 105, 102, 116, 40, 41, 59, 10,
32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 121, 112, 101, 111, 102,
32, 97, 99, 116, 105, 111, 110, 32, 61, 61, 61, 32, 34, 115, 116, 114,
105, 110, 103, 34, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
114, 101, 116, 117, 114, 110, 32, 97, 99, 116, 105, 111, 110, 59, 10, 32,
32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110,
115, 116, 32, 123, 32, 101, 118, 97, 108, 117, 97, 116, 101, 58, 32, 101,
120, 112, 114, 101, 115, 115, 105, 111, 110, 44, 32, 102, 114, 97, 109, 101,
32, 125, 32, 61, 32, 97, 99, 116, 105, 111, 110, 59, 10, 32, 32, 32,
32, 32, 32, 99, 111, 110, 115, 116, 32, 108, 111, 103, 69, 110, 116, 114,
121, 32, 61, 32, 123, 32, 116, 121, 112, 101, 58, 32, 34, 101, 118, 97,
108, 117, 97, 116, 101, 34, 44, 32, 101, 120, 112, 114, 101, 115, 115, 105,
111, 110, 44, 32, 102, 114, 97, 109, 101, 44, 32, 114, 101, 115, 117, 108,
116, 58, 32, 110, 117, 108, 108, 32, 125, 59, 10, 32, 32, 32, 32, 32,
32, 101, 110, 116, 114, 121, 46, 108, 111, 103, 46, 112, 117, 115, 104, 40,
108, 111, 103, 69, 110, 116, 114, 121, 41, 59, 10, 32, 32, 32, 32, 32,
32, 108, 111, 103, 69, 110, 116, 114, 121, 46, 114, 101, 115, 117, 108, 116,
32, 61, 32, 101, 118, 97, 108, 117, 97, 116, 101, 40, 101, 110, 116, 114,
121, 44, 32, 101, 120, 112, 114, 101, 115, 115, 105, 111, 110, 44, 32, 102,
114, 97, 109, 101, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
32, 114, 101, 116, 117, 114, 110, 32, 34, 114, 101, 115, 117, 109, 101, 34,
59, 10, 32, 32, 125, 10, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111,
110, 32, 99, 114, 101, 97, 116, 101, 40, 100, 101, 98, 117, 103, 103, 101,
101, 41, 32, 123, 10, 32, 32, 32, 32, 105, 102, 32, 40, 99, 117, 114,
114, 101, 110, 116, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 116, 104,
114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69, 114, 114, 111,
114, 40, 34, 97, 32, 100, 101, 98, 117, 103, 32, 115, 101, 115, 115, 105,
111, 110, 32, 97, 108, 114, 101, 97, 100, 121, 32, 101, 120, 105, 115, 116,
115, 34, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99,
111, 110, 115, 116, 32, 101, 110, 116, 114, 121, 32, 61, 32, 123, 10, 32,
32, 32, 32, 32, 32, 97, 99, 116, 105, 111, 110, 115, 58, 32, 91, 93,
44, 10, 32, 32, 32, 32, 32, 32, 101, 110, 118, 105, 114, 111, 110, 109,
101, 110, 116, 58, 32, 110, 117, 108, 108, 44, 10, 32, 32, 32, 32, 32,
32, 108, 111, 103, 58, 32, 91, 93, 44, 10, 32, 32, 32, 32, 32, 32,
112, 97, 117, 115, 101, 100, 73, 110, 102, 111, 58, 32, 110, 117, 108, 108,
44, 10, 32, 32, 32, 32, 32, 32, 115, 101, 115, 115, 105, 111, 110, 58,
32, 110, 117, 108, 108, 44, 10, 32, 32, 32, 32, 125, 59, 10, 10, 32,
32, 32, 32, 101, 110, 116, 114, 121, 46, 115, 101, 115, 115, 105, 111, 110,
32, 61, 32, 110, 101, 119, 32, 68, 101, 98, 117, 103, 83, 101, 115, 115,
105, 111, 110, 40, 100, 101, 98, 117, 103, 103, 101, 101, 44, 32, 123, 10,
32, 32, 32, 32, 32, 32, 99, 114, 101, 97, 116, 101, 68, 101, 98, 117,
103, 103, 101, 114, 58, 32, 40, 41, 32, 61, 62, 32, 110, 101, 119, 32,
68, 101, 98, 117, 103, 103, 101, 114, 40, 41, 44, 10, 32, 32, 32, 32,
32, 32, 119, 97, 105, 116, 87, 104, 105, 108, 101, 80, 97, 117, 115, 101,
100, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111,
110, 115, 116, 32, 108, 111, 103, 69, 110, 116, 114, 121, 32, 61, 32, 123,
32, 116, 121, 112, 101, 58, 32, 34, 112, 97, 117, 115, 101, 100, 34, 44,
32, 46, 46, 46, 101, 110, 116, 114, 121, 46, 112, 97, 117, 115, 101, 100,
73, 110, 102, 111, 44, 32, 97, 99, 116, 105, 111, 110, 58, 32, 110, 117,
108, 108, 32, 125, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 101, 110,
116, 114, 121, 46, 108, 111, 103, 46, 112, 117, 115, 104, 40, 108, 111, 103,
69, 110, 116, 114, 121, 41, 59, 10, 10, 32, 32, 32, 32, 32, 32, 32,
32, 99, 111, 110, 115, 116, 32, 97, 99, 116, 105, 111, 110, 32, 61, 32,
114, 117, 110, 80, 97, 117, 115, 101, 65, 99, 116, 105, 111, 110, 115, 40,
101, 110, 116, 114, 121, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32,
108, 111, 103, 69, 110, 116, 114, 121, 46, 97, 99, 116, 105, 111, 110, 32,
61, 32, 97, 99, 116, 105, 111, 110, 59, 10, 32, 32, 32, 32, 32, 32,
32, 32, 101, 110, 116, 114, 121, 46, 115, 101, 115, 115, 105, 111, 110, 91,
97, 99, 116, 105, 111, 110, 93, 40, 41, 59, 10, 32, 32, 32, 32, 32,
32, 125, 44, 10, 32, 32, 32, 32, 32, 32, 115, 101, 114, 105, 97, 108,
105, 122, 101, 86, 97, 108, 117, 101, 44, 10, 32, 32, 32, 32, 32, 32,
115, 101, 114, 105, 97, 108, 105, 122, 101, 85, 110, 97, 118, 97, 105, 108,
97, 98, 108, 101, 86, 97, 114, 105, 97, 98, 108, 101, 40, 107, 105, 110,
100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116,
117, 114, 110, 32, 123, 32, 116, 121, 112, 101, 58, 32, 107, 105, 110, 100,
32, 125, 59, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32,
32, 32, 32, 99, 114, 101, 97, 116, 101, 69, 114, 114, 111, 114, 40, 107,
105, 110, 100, 44, 32, 109, 101, 115, 115, 97, 103, 101, 41, 32, 123, 10,
32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 110,
101, 119, 32, 72, 111, 115, 116, 69, 114, 114, 111, 114, 40, 107, 105, 110,
100, 32, 43, 32, 34, 58, 32, 34, 32, 43, 32, 109, 101, 115, 115, 97,
103, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32,
32, 32, 32, 32, 115, 101, 116, 68, 101, 98, 117, 103, 103, 101, 114, 69,
110, 118, 105, 114, 111, 110, 109, 101, 110, 116, 40, 101, 110, 118, 105, 114,
111, 110, 109, 101, 110, 116, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
32, 32, 101, 110, 116, 114, 121, 46, 101, 110, 118, 105, 114, 111, 110, 109,
101, 110, 116, 32, 61, 32, 101, 110, 118, 105, 114, 111, 110, 109, 101, 110,
116, 59, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32,
32, 32, 111, 110, 80, 97, 117, 115, 101, 100, 40, 105, 110, 102, 111, 41,
32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 101, 110, 116, 114, 121,
46, 112, 97, 117, 115, 101, 100, 73, 110, 102, 111, 32, 61, 32, 105, 110,
102, 111, 59, 10, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32,
32, 32, 32, 111, 110, 82, 101, 115, 117, 109, 101, 100, 40, 41, 32, 123,
10, 32, 32, 32, 32, 32, 32, 32, 32, 101, 110, 116, 114, 121, 46, 112,
97, 117, 115, 101, 100, 73, 110, 102, 111, 32, 61, 32, 110, 117, 108, 108,
59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 101, 110, 116, 114, 121, 46,
108, 111, 103, 46, 112, 117, 115, 104, 40, 123, 32, 116, 121, 112, 101, 58,
32, 34, 114, 101, 115, 117, 109, 101, 100, 34, 32, 125, 41, 59, 10, 32,
32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32, 32, 125, 41, 59, 10,
10, 32, 32, 32, 32, 99, 117, 114, 114, 101, 110, 116, 32, 61, 32, 101,
110, 116, 114, 121, 59, 10, 32, 32, 125, 10, 10, 32, 32, 102, 117, 110,
99, 116, 105, 111, 110, 32, 99, 111, 109, 109, 97, 110, 100, 40, 110, 97,
109, 101, 44, 32, 97, 114, 103, 41, 32, 123, 10, 32, 32, 32, 32, 99,
111, 110, 115, 116, 32, 101, 110, 116, 114, 121, 32, 61, 32, 99, 117, 114,
114, 101, 110, 116, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 33, 101,
110, 116, 114, 121, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 116, 104,
114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69, 114, 114, 111,
114, 40, 34, 110, 111, 32, 100, 101, 98, 117, 103, 32, 115, 101, 115, 115,
105, 111, 110, 34, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
32, 99, 111, 110, 115, 116, 32, 123, 32, 115, 101, 115, 115, 105, 111, 110,
32, 125, 32, 61, 32, 101, 110, 116, 114, 121, 59, 10, 32, 32, 32, 32,
47, 47, 32, 69, 118, 97, 108, 117, 97, 116, 101, 100, 32, 100, 101, 98,
117, 103, 103, 101, 101, 32, 99, 111, 100, 101, 32, 109, 117, 115, 116, 32,
110, 111, 116, 32, 99, 104, 97, 110, 103, 101, 32, 116, 104, 101, 32, 115,
101, 115, 115, 105, 111, 110, 32, 100, 117, 114, 105, 110, 103, 32, 97, 32,
112, 97, 117, 115, 101, 46, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115,
101, 115, 115, 105, 111, 110, 46, 112, 97, 117, 115, 101, 100, 41, 32, 123,
10, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119,
32, 72, 111, 115, 116, 69, 114, 114, 111, 114, 40, 110, 97, 109, 101, 32,
43, 32, 34, 32, 105, 115, 32, 110, 111, 116, 32, 97, 108, 108, 111, 119,
101, 100, 32, 119, 104, 105, 108, 101, 32, 116, 104, 101, 32, 115, 101, 115,
115, 105, 111, 110, 32, 105, 115, 32, 112, 97, 117, 115, 101, 100, 34, 41,
59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 115, 119, 105, 116,
99, 104, 32, 40, 110, 97, 109, 101, 41, 32, 123, 10, 32, 32, 32, 32,
32, 32, 99, 97, 115, 101, 32, 34, 101, 110, 97, 98, 108, 101, 34, 58,
10, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 115, 101,
115, 115, 105, 111, 110, 46, 101, 110, 97, 98, 108, 101, 40, 41, 41, 32,
123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 101, 115, 115,
105, 111, 110, 46, 100, 105, 115, 97, 98, 108, 101, 40, 41, 59, 10, 32,
32, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110,
101, 119, 32, 72, 111, 115, 116, 69, 114, 114, 111, 114, 40, 34, 99, 97,
110, 39, 116, 32, 100, 101, 98, 117, 103, 32, 116, 104, 105, 115, 32, 103,
108, 111, 98, 97, 108, 34, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32,
32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114,
110, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32,
32, 32, 32, 99, 97, 115, 101, 32, 34, 100, 105, 115, 97, 98, 108, 101,
34, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32, 115, 101, 115, 115, 105,
111, 110, 46, 100, 105, 115, 97, 98, 108, 101, 40, 41, 59, 10, 32, 32,
32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 117, 110, 100,
101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 99, 97,
115, 101, 32, 34, 100, 101, 115, 116, 114, 111, 121, 34, 58, 10, 32, 32,
32, 32, 32, 32, 32, 32, 99, 117, 114, 114, 101, 110, 116, 32, 61, 32,
110, 117, 108, 108, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 115, 101,
115, 115, 105, 111, 110, 46, 100, 101, 115, 116, 114, 111, 121, 40, 41, 59,
10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32,
117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32,
32, 99, 97, 115, 101, 32, 34, 115, 101, 116, 66, 114, 101, 97, 107, 112,
111, 105, 110, 116, 115, 34, 58, 10, 32, 32, 32, 32, 32, 32, 32, 32,
115, 101, 115, 115, 105, 111, 110, 46, 115, 101, 116, 66, 114, 101, 97, 107,
112, 111, 105, 110, 116, 115, 40, 99, 104, 101, 99, 107, 66, 114, 101, 97,
107, 112, 111, 105, 110, 116, 115, 40, 97, 114, 103, 41, 41, 59, 10, 32,
32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 117, 110,
100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 99,
97, 115, 101, 32, 34, 115, 101, 116, 80, 97, 117, 115, 101, 79, 110, 69,
120, 99, 101, 112, 116, 105, 111, 110, 115, 34, 58, 10, 32, 32, 32, 32,
32, 32, 32, 32, 105, 102, 32, 40, 116, 121, 112, 101, 111, 102, 32, 97,
114, 103, 32, 33, 61, 61, 32, 34, 115, 116, 114, 105, 110, 103, 34, 41,
32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114,
111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69, 114, 114, 111, 114,
40, 34, 115, 101, 116, 80, 97, 117, 115, 101, 79, 110, 69, 120, 99, 101,
112, 116, 105, 111, 110, 115, 32, 101, 120, 112, 101, 99, 116, 115, 32, 97,
32, 109, 111, 100, 101, 32, 115, 116, 114, 105, 110, 103, 34, 41, 59, 10,
32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32,
32, 32, 115, 101, 115, 115, 105, 111, 110, 46, 115, 101, 116, 80, 97, 117,
115, 101, 79, 110, 69, 120, 99, 101, 112, 116, 105, 111, 110, 115, 40, 97,
114, 103, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116,
117, 114, 110, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32,
32, 32, 32, 32, 32, 99, 97, 115, 101, 32, 34, 115, 101, 116, 80, 97,
117, 115, 101, 65, 99, 116, 105, 111, 110, 115, 34, 58, 10, 32, 32, 32,
32, 32, 32, 32, 32, 101, 110, 116, 114, 121, 46, 97, 99, 116, 105, 111,
110, 115, 32, 61, 32, 99, 104, 101, 99, 107, 65, 99, 116, 105, 111, 110,
115, 40, 97, 114, 103, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32,
114, 101, 116, 117, 114, 110, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100,
59, 10, 32, 32, 32, 32, 32, 32, 99, 97, 115, 101, 32, 34, 108, 105,
115, 116, 83, 99, 114, 105, 112, 116, 115, 34, 58, 10, 32, 32, 32, 32,
32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 115, 101, 115, 115, 105,
111, 110, 46, 108, 105, 115, 116, 83, 99, 114, 105, 112, 116, 115, 40, 41,
59, 10, 32, 32, 32, 32, 32, 32, 99, 97, 115, 101, 32, 34, 103, 101,
116, 83, 99, 114, 105, 112, 116, 83, 111, 117, 114, 99, 101, 34, 58, 10,
32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 121, 112, 101,
111, 102, 32, 97, 114, 103, 32, 33, 61, 61, 32, 34, 115, 116, 114, 105,
110, 103, 34, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32,
32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 72, 111, 115, 116, 69,
114, 114, 111, 114, 40, 34, 103, 101, 116, 83, 99, 114, 105, 112, 116, 83,
111, 117, 114, 99, 101, 32, 101, 120, 112, 101, 99, 116, 115, 32, 97, 32,
85, 82, 76, 32, 115, 116, 114, 105, 110, 103, 34, 41, 59, 10, 32, 32,
32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32,
114, 101, 116, 117, 114, 110, 32, 115, 101, 115, 115, 105, 111, 110, 46, 103,
101, 116, 83, 99, 114, 105, 112, 116, 83, 111, 117, 114, 99, 101, 40, 97,
114, 103, 41, 59, 10, 32, 32, 32, 32, 32, 32, 99, 97, 115, 101, 32,
34, 116, 97, 107, 101, 76, 111, 103, 34, 58, 32, 123, 10, 32, 32, 32,
32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 108, 111, 103, 32, 61,
32, 101, 110, 116, 114, 121, 46, 108, 111, 103, 59, 10, 32, 32, 32, 32,
32, 32, 32, 32, 101, 110, 116, 114, 121, 46, 108, 111, 103, 32, 61, 32,
91, 93, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
114, 110, 32, 108, 111, 103, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10,
32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32,
110, 101, 119, 32, 72, 111, 115, 116, 69, 114, 114, 111, 114, 40, 34, 117,
110, 107, 110, 111, 119, 110, 32, 99, 111, 109, 109, 97, 110, 100, 58, 32,
34, 32, 43, 32, 110, 97, 109, 101, 41, 59, 10, 32, 32, 125, 10, 10,
32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 101, 114, 114, 111, 114,
77, 101, 115, 115, 97, 103, 101, 40, 101, 41, 32, 123, 10, 32, 32, 32,
32, 105, 102, 32, 40, 101, 32, 105, 110, 115, 116, 97, 110, 99, 101, 111,
102, 32, 69, 114, 114, 111, 114, 41, 32, 123, 10, 32, 32, 32, 32, 32,
32, 114, 101, 116, 117, 114, 110, 32, 101, 46, 109, 101, 115, 115, 97, 103,
101, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 116,
117, 114, 110, 32, 34, 117, 110, 107, 110, 111, 119, 110, 32, 101, 114, 114,
111, 114, 34, 59, 10, 32, 32, 125, 10, 10, 32, 32, 47, 47, 32, 84,
104, 101, 32, 101, 110, 116, 114, 121, 32, 112, 111, 105, 110, 116, 115, 32,
111, 110, 108, 121, 32, 114, 101, 116, 117, 114, 110, 32, 74, 83, 79, 78,
32, 115, 116, 114, 105, 110, 103, 115, 46, 32, 65, 114, 103, 117, 109, 101,
110, 116, 115, 32, 97, 114, 114, 105, 118, 101, 32, 97, 115, 32, 74, 83,
79, 78, 32, 115, 116, 114, 105, 110, 103, 115, 10, 32, 32, 47, 47, 32,
97, 110, 100, 32, 101, 114, 114, 111, 114, 115, 32, 97, 114, 101, 32, 114,
101, 112, 111, 114, 116, 101, 100, 32, 97, 115, 32, 123, 101, 114, 114, 111,
114, 125, 32, 105, 110, 115, 116, 101, 97, 100, 32, 111, 102, 32, 116, 104,
114, 111, 119, 105, 110, 103, 32, 111, 98, 106, 101, 99, 116, 115, 32, 111,
102, 32, 116, 104, 105, 115, 10, 32, 32, 47, 47, 32, 103, 108, 111, 98,
97, 108, 46, 10, 32, 32, 114, 101, 116, 117, 114, 110, 32, 123, 10, 32,
32, 32, 32, 99, 114, 101, 97, 116, 101, 40, 100, 101, 98, 117, 103, 103,
101, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 116, 114, 121, 32,
123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99, 114, 101, 97, 116, 101,
40, 100, 101, 98, 117, 103, 103, 101, 101, 41, 59, 10, 32, 32, 32, 32,
32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 74, 83, 79, 78, 46,
115, 116, 114, 105, 110, 103, 105, 102, 121, 40, 123, 32, 114, 101, 115, 117,
108, 116, 58, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 32, 125, 41,
59, 10, 32, 32, 32, 32, 32, 32, 125, 32, 99, 97, 116, 99, 104, 32,
40, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101,
116, 117, 114, 110, 32, 74, 83, 79, 78, 46, 115, 116, 114, 105, 110, 103,
105, 102, 121, 40, 123, 32, 101, 114, 114, 111, 114, 58, 32, 101, 114, 114,
111, 114, 77, 101, 115, 115, 97, 103, 101, 40, 101, 41, 32, 125, 41, 59,
10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 125, 44, 10,
32, 32, 32, 32, 99, 111, 109, 109, 97, 110, 100, 40, 110, 97, 109, 101,
44, 32, 97, 114, 103, 74, 83, 79, 78, 41, 32, 123, 10, 32, 32, 32,
32, 32, 32, 116, 114, 121, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32,
32, 99, 111, 110, 115, 116, 32, 97, 114, 103, 32, 61, 32, 97, 114, 103,
74, 83, 79, 78, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110,
101, 100, 32, 63, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 32, 58,
32, 74, 83, 79, 78, 46, 112, 97, 114, 115, 101, 40, 97, 114, 103, 74,
83, 79, 78, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101,
116, 117, 114, 110, 32, 74, 83, 79, 78, 46, 115, 116, 114, 105, 110, 103,
105, 102, 121, 40, 123, 32, 114, 101, 115, 117, 108, 116, 58, 32, 99, 111,
109, 109, 97, 110, 100, 40, 110, 97, 109, 101, 44, 32, 97, 114, 103, 41,
32, 125, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 32, 99, 97, 116,
99, 104, 32, 40, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32,
32, 114, 101, 116, 117, 114, 110, 32, 74, 83, 79, 78, 46, 115, 116, 114,
105, 110, 103, 105, 102, 121, 40, 123, 32, 101, 114, 114, 111, 114, 58, 32,
101, 114, 114, 111, 114, 77, 101, 115, 115, 97, 103, 101, 40, 101, 41, 32,
125, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
125, 44, 10, 32, 32, 125, 59, 10, 125, 41, 59, 10,
0};