3#include <alicorn/std.memory/binary-data.hpp>
13const ::alicorn::extension::std::memory::BinaryData_t Predefined =
15 0xd, 0xa, 0x23, 0x69, 0x66, 0x64, 0x65, 0x66, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49,
16 0x54, 0x45, 0x5f, 0x53, 0x48, 0x41, 0x44, 0x45, 0x52, 0x5f, 0x48, 0x4c, 0x53, 0x4c, 0x20, 0x2f,
17 0x2f, 0x20, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
18 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
19 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x20,
20 0x2f, 0x2f, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20,
21 0x6d, 0x65, 0x64, 0x69, 0x75, 0x6d, 0x70, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65,
22 0x20, 0x6c, 0x6f, 0x77, 0x70, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69,
23 0x6e, 0x65, 0x20, 0x69, 0x76, 0x65, 0x63, 0x34, 0x20, 0x69, 0x6e, 0x74, 0x34, 0xd, 0xa, 0x23,
24 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x76, 0x65, 0x63, 0x34, 0x20, 0x66, 0x6c, 0x6f, 0x61,
25 0x74, 0x34, 0x20, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x76,
26 0x65, 0x63, 0x33, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x33, 0x20, 0x20, 0x20, 0xd, 0xa, 0x23,
27 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x76, 0x65, 0x63, 0x32, 0x20, 0x66, 0x6c, 0x6f, 0x61,
28 0x74, 0x32, 0x20, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x6d,
29 0x61, 0x74, 0x34, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x34, 0x78, 0x34, 0x20, 0xd, 0xa, 0x23,
30 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x6d, 0x61, 0x74, 0x33, 0x20, 0x66, 0x6c, 0x6f, 0x61,
31 0x74, 0x33, 0x78, 0x33, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x54, 0x6f,
32 0x4d, 0x61, 0x74, 0x72, 0x69, 0x78, 0x33, 0x78, 0x33, 0x28, 0x6d, 0x29, 0x20, 0x28, 0x66, 0x6c,
33 0x6f, 0x61, 0x74, 0x33, 0x78, 0x33, 0x29, 0x6d, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64,
34 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x64, 0x46, 0x64, 0x78, 0x28, 0x61, 0x29, 0x20, 0x64, 0x64,
35 0x78, 0x28, 0x61, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x64, 0x46,
36 0x64, 0x79, 0x28, 0x61, 0x29, 0x20, 0x64, 0x64, 0x79, 0x28, 0x61, 0x29, 0xd, 0xa, 0x23, 0x64,
37 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x6d, 0x69, 0x78, 0x28, 0x61, 0x2c, 0x20, 0x62, 0x2c, 0x20,
38 0x63, 0x29, 0x20, 0x6c, 0x65, 0x72, 0x70, 0x28, 0x61, 0x2c, 0x20, 0x62, 0x2c, 0x20, 0x63, 0x29,
39 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f,
40 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x49, 0x4e, 0x50, 0x55, 0x54, 0x5f, 0x53, 0x45,
41 0x4d, 0x41, 0x4e, 0x54, 0x49, 0x43, 0x28, 0x76, 0x61, 0x6c, 0x75, 0x65, 0x29, 0x20, 0x5c, 0xd,
42 0xa, 0x20, 0x20, 0x3a, 0x20, 0x76, 0x61, 0x6c, 0x75, 0x65, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66,
43 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45,
44 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x43, 0x4f, 0x4e, 0x53, 0x54, 0x5f, 0x42, 0x55, 0x46, 0x46,
45 0x45, 0x52, 0x28, 0x74, 0x79, 0x70, 0x65, 0x2c, 0x20, 0x63, 0x62, 0x6e, 0x61, 0x6d, 0x65, 0x2c,
46 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x5c, 0xd,
47 0xa, 0x20, 0x20, 0x63, 0x62, 0x75, 0x66, 0x66, 0x65, 0x72, 0x20, 0x63, 0x62, 0x23, 0x23, 0x6e,
48 0x61, 0x6d, 0x65, 0x20, 0x3a, 0x20, 0x72, 0x65, 0x67, 0x69, 0x73, 0x74, 0x65, 0x72, 0x28, 0x62,
49 0x23, 0x23, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x7b, 0x20, 0x63, 0x6f, 0x6e, 0x73, 0x74,
50 0x20, 0x74, 0x79, 0x70, 0x65, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x3b, 0x20, 0x7d, 0xd, 0xa, 0x23,
51 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45,
52 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x43, 0x4f, 0x4e, 0x53, 0x54, 0x5f, 0x42,
53 0x55, 0x46, 0x46, 0x45, 0x52, 0x5f, 0x49, 0x4e, 0x53, 0x49, 0x44, 0x45, 0x28, 0x74, 0x79, 0x70,
54 0x65, 0x2c, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20,
55 0x5c, 0xd, 0xa, 0x20, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44,
56 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x43, 0x4f, 0x4e, 0x53, 0x54, 0x5f, 0x42, 0x55, 0x46,
57 0x46, 0x45, 0x52, 0x28, 0x74, 0x79, 0x70, 0x65, 0x2c, 0x20, 0x64, 0x75, 0x6d, 0x6d, 0x79, 0x2c,
58 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0xd, 0xa, 0x20,
59 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c,
60 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x53, 0x54, 0x41,
61 0x54, 0x49, 0x43, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x73, 0x74, 0x61, 0x74, 0x69, 0x63, 0xd,
62 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49,
63 0x54, 0x45, 0x5f, 0x4d, 0x41, 0x54, 0x52, 0x49, 0x58, 0x5f, 0x52, 0x4f, 0x57, 0x28, 0x6d, 0x2c,
64 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x6d, 0x5b, 0x69,
65 0x6e, 0x64, 0x65, 0x78, 0x5d, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43,
66 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x4d, 0x41, 0x54, 0x52, 0x49, 0x58, 0x5f,
67 0x43, 0x4f, 0x4c, 0x55, 0x4d, 0x4e, 0x28, 0x6d, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29,
68 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x34, 0x28, 0x6d, 0x5b, 0x30,
69 0x5d, 0x5b, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x5d, 0x2c, 0x20, 0x6d, 0x5b, 0x31, 0x5d, 0x5b, 0x69,
70 0x6e, 0x64, 0x65, 0x78, 0x5d, 0x2c, 0x20, 0x6d, 0x5b, 0x32, 0x5d, 0x5b, 0x69, 0x6e, 0x64, 0x65,
71 0x78, 0x5d, 0x2c, 0x20, 0x6d, 0x5b, 0x33, 0x5d, 0x5b, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x5d, 0x29,
72 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f,
73 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f,
74 0x54, 0x45, 0x58, 0x32, 0x44, 0x28, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65,
75 0x78, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x54, 0x65, 0x78, 0x74, 0x75, 0x72, 0x65, 0x32,
76 0x44, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x20, 0x3a, 0x20, 0x72, 0x65, 0x67, 0x69, 0x73, 0x74, 0x65,
77 0x72, 0x28, 0x74, 0x23, 0x23, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x3b, 0x20, 0x5c, 0xd, 0xa,
78 0x20, 0x20, 0x53, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x72, 0x53, 0x74, 0x61, 0x74, 0x65, 0x20, 0x54,
79 0x65, 0x78, 0x53, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x72, 0x23, 0x23, 0x69, 0x6e, 0x64, 0x65, 0x78,
80 0x20, 0x3a, 0x20, 0x72, 0x65, 0x67, 0x69, 0x73, 0x74, 0x65, 0x72, 0x28, 0x73, 0x23, 0x23, 0x69,
81 0x6e, 0x64, 0x65, 0x78, 0x29, 0x3b, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20,
82 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52,
83 0x45, 0x5f, 0x54, 0x45, 0x58, 0x32, 0x44, 0x5f, 0x41, 0x52, 0x52, 0x41, 0x59, 0x28, 0x6e, 0x61,
84 0x6d, 0x65, 0x2c, 0x20, 0x63, 0x6f, 0x75, 0x6e, 0x74, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78,
85 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x54, 0x65, 0x78, 0x74, 0x75, 0x72, 0x65, 0x32, 0x44,
86 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x5b, 0x63, 0x6f, 0x75, 0x6e, 0x74, 0x5d, 0x20, 0x3a, 0x20, 0x72,
87 0x65, 0x67, 0x69, 0x73, 0x74, 0x65, 0x72, 0x28, 0x74, 0x23, 0x23, 0x69, 0x6e, 0x64, 0x65, 0x78,
88 0x29, 0x3b, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x53, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x72, 0x53,
89 0x74, 0x61, 0x74, 0x65, 0x20, 0x54, 0x65, 0x78, 0x53, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x72, 0x23,
90 0x23, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x20, 0x3a, 0x20, 0x72, 0x65, 0x67, 0x69, 0x73, 0x74, 0x65,
91 0x72, 0x28, 0x73, 0x23, 0x23, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x3b, 0xd, 0xa, 0x23, 0x64,
92 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f,
93 0x54, 0x45, 0x58, 0x32, 0x44, 0x5f, 0x43, 0x4f, 0x4c, 0x4f, 0x52, 0x28, 0x74, 0x65, 0x78, 0x2c,
94 0x20, 0x75, 0x76, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x74, 0x65, 0x78, 0x2e, 0x53, 0x61,
95 0x6d, 0x70, 0x6c, 0x65, 0x28, 0x54, 0x65, 0x78, 0x53, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x72, 0x30,
96 0x2c, 0x20, 0x75, 0x76, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43,
97 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x54, 0x45, 0x58, 0x32, 0x44, 0x5f, 0x41,
98 0x52, 0x52, 0x41, 0x59, 0x5f, 0x43, 0x4f, 0x4c, 0x4f, 0x52, 0x28, 0x74, 0x65, 0x78, 0x2c, 0x20,
99 0x69, 0x2c, 0x20, 0x75, 0x76, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x74, 0x65, 0x78, 0x5b,
100 0x69, 0x5d, 0x2e, 0x53, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x28, 0x54, 0x65, 0x78, 0x53, 0x61, 0x6d,
101 0x70, 0x6c, 0x65, 0x72, 0x30, 0x2c, 0x20, 0x75, 0x76, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66,
102 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45,
103 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x4d, 0x55, 0x4c, 0x54, 0x49, 0x5f, 0x54, 0x41, 0x52, 0x47,
104 0x45, 0x54, 0x5f, 0x53, 0x54, 0x52, 0x55, 0x43, 0x54, 0x55, 0x52, 0x45, 0x28, 0x6e, 0x61, 0x6d,
105 0x65, 0x2c, 0x20, 0x63, 0x6f, 0x75, 0x6e, 0x74, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x73,
106 0x74, 0x72, 0x75, 0x63, 0x74, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x20, 0x7b, 0x20, 0x66, 0x6c, 0x6f,
107 0x61, 0x74, 0x34, 0x20, 0x54, 0x61, 0x72, 0x67, 0x65, 0x74, 0x5b, 0x63, 0x6f, 0x75, 0x6e, 0x74,
108 0x5d, 0x20, 0x3a, 0x20, 0x53, 0x56, 0x5f, 0x54, 0x61, 0x72, 0x67, 0x65, 0x74, 0x3b, 0x20, 0x7d,
109 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x65, 0x6c, 0x69, 0x66, 0x20, 0x64, 0x65, 0x66, 0x69,
110 0x6e, 0x65, 0x64, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x53, 0x48,
111 0x41, 0x44, 0x45, 0x52, 0x5f, 0x47, 0x4c, 0x53, 0x4c, 0x20, 0x2f, 0x2f, 0x20, 0x2a, 0x2a, 0x2a,
112 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
113 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
114 0x2a, 0x2a, 0x2a, 0x20, 0x2f, 0x2f, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x70, 0x72, 0x65, 0x63,
115 0x69, 0x73, 0x69, 0x6f, 0x6e, 0x20, 0x68, 0x69, 0x67, 0x68, 0x70, 0x20, 0x66, 0x6c, 0x6f, 0x61,
116 0x74, 0x3b, 0xd, 0xa, 0x70, 0x72, 0x65, 0x63, 0x69, 0x73, 0x69, 0x6f, 0x6e, 0x20, 0x68, 0x69,
117 0x67, 0x68, 0x70, 0x20, 0x69, 0x6e, 0x74, 0x3b, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64,
118 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x69, 0x6e, 0x74, 0x34, 0x20, 0x69, 0x76, 0x65, 0x63, 0x34,
119 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x34,
120 0x20, 0x76, 0x65, 0x63, 0x34, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x66,
121 0x6c, 0x6f, 0x61, 0x74, 0x33, 0x20, 0x76, 0x65, 0x63, 0x33, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66,
122 0x69, 0x6e, 0x65, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x32, 0x20, 0x76, 0x65, 0x63, 0x32, 0xd,
123 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x34, 0x78,
124 0x34, 0x20, 0x6d, 0x61, 0x74, 0x34, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20,
125 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x33, 0x78, 0x33, 0x20, 0x6d, 0x61, 0x74, 0x33, 0xd, 0xa, 0x23,
126 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x54, 0x6f, 0x4d, 0x61, 0x74, 0x72, 0x69, 0x78, 0x33,
127 0x78, 0x33, 0x28, 0x6d, 0x29, 0x20, 0x6d, 0x61, 0x74, 0x33, 0x28, 0x6d, 0x29, 0xd, 0xa, 0x20,
128 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x64, 0x64, 0x78, 0x28, 0x61,
129 0x29, 0x20, 0x64, 0x46, 0x64, 0x78, 0x28, 0x61, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69,
130 0x6e, 0x65, 0x20, 0x64, 0x64, 0x79, 0x28, 0x61, 0x29, 0x20, 0x64, 0x46, 0x64, 0x79, 0x28, 0x61,
131 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x6d, 0x75, 0x6c, 0x28, 0x61,
132 0x2c, 0x20, 0x62, 0x29, 0x20, 0x28, 0x28, 0x61, 0x29, 0x20, 0x2a, 0x20, 0x28, 0x62, 0x29, 0x29,
133 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x73, 0x61, 0x74, 0x75, 0x72, 0x61,
134 0x74, 0x65, 0x28, 0x61, 0x29, 0x20, 0x63, 0x6c, 0x61, 0x6d, 0x70, 0x28, 0x61, 0x2c, 0x20, 0x30,
135 0x2e, 0x30, 0x66, 0x2c, 0x20, 0x31, 0x2e, 0x30, 0x66, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66,
136 0x69, 0x6e, 0x65, 0x20, 0x72, 0x73, 0x71, 0x72, 0x74, 0x28, 0x61, 0x29, 0x20, 0x28, 0x31, 0x2e,
137 0x30, 0x66, 0x20, 0x2f, 0x20, 0x73, 0x71, 0x72, 0x74, 0x28, 0x61, 0x29, 0x29, 0xd, 0xa, 0x23,
138 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x6c, 0x65, 0x72, 0x70, 0x28, 0x61, 0x2c, 0x20, 0x62,
139 0x2c, 0x20, 0x63, 0x29, 0x20, 0x6d, 0x69, 0x78, 0x28, 0x61, 0x2c, 0x20, 0x62, 0x2c, 0x20, 0x63,
140 0x29, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43,
141 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x49, 0x4e, 0x50, 0x55, 0x54, 0x5f, 0x53,
142 0x45, 0x4d, 0x41, 0x4e, 0x54, 0x49, 0x43, 0x28, 0x76, 0x61, 0x6c, 0x75, 0x65, 0x29, 0xd, 0xa,
143 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54,
144 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x43, 0x4f, 0x4e, 0x53, 0x54, 0x5f,
145 0x42, 0x55, 0x46, 0x46, 0x45, 0x52, 0x28, 0x74, 0x79, 0x70, 0x65, 0x2c, 0x20, 0x63, 0x62, 0x6e,
146 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78,
147 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x6c, 0x61, 0x79, 0x6f, 0x75, 0x74, 0x20, 0x28, 0x73,
148 0x74, 0x64, 0x31, 0x34, 0x30, 0x29, 0x20, 0x75, 0x6e, 0x69, 0x66, 0x6f, 0x72, 0x6d, 0x20, 0x63,
149 0x62, 0x6e, 0x61, 0x6d, 0x65, 0x20, 0x7b, 0x20, 0x74, 0x79, 0x70, 0x65, 0x20, 0x6e, 0x61, 0x6d,
150 0x65, 0x3b, 0x20, 0x7d, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f,
151 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f,
152 0x43, 0x4f, 0x4e, 0x53, 0x54, 0x5f, 0x42, 0x55, 0x46, 0x46, 0x45, 0x52, 0x5f, 0x49, 0x4e, 0x53,
153 0x49, 0x44, 0x45, 0x28, 0x74, 0x79, 0x70, 0x65, 0x2c, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20,
154 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x75, 0x6e, 0x69, 0x66,
155 0x6f, 0x72, 0x6d, 0x20, 0x74, 0x79, 0x70, 0x65, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0xd, 0xa, 0x20,
156 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c,
157 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x53, 0x54, 0x41,
158 0x54, 0x49, 0x43, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56,
159 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x4d, 0x41, 0x54, 0x52, 0x49, 0x58, 0x5f, 0x52, 0x4f,
160 0x57, 0x28, 0x6d, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20,
161 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x34, 0x28, 0x6d, 0x5b, 0x30, 0x5d, 0x5b, 0x69, 0x6e, 0x64,
162 0x65, 0x78, 0x5d, 0x2c, 0x20, 0x6d, 0x5b, 0x31, 0x5d, 0x5b, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x5d,
163 0x2c, 0x20, 0x6d, 0x5b, 0x32, 0x5d, 0x5b, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x5d, 0x2c, 0x20, 0x6d,
164 0x5b, 0x33, 0x5d, 0x5b, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x5d, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65,
165 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x4d,
166 0x41, 0x54, 0x52, 0x49, 0x58, 0x5f, 0x43, 0x4f, 0x4c, 0x55, 0x4d, 0x4e, 0x28, 0x6d, 0x2c, 0x20,
167 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x6d, 0x5b, 0x69, 0x6e,
168 0x64, 0x65, 0x78, 0x5d, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e,
169 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c,
170 0x41, 0x52, 0x45, 0x5f, 0x54, 0x45, 0x58, 0x32, 0x44, 0x28, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20,
171 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x75, 0x6e, 0x69, 0x66,
172 0x6f, 0x72, 0x6d, 0x20, 0x73, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x72, 0x32, 0x44, 0x20, 0x6e, 0x61,
173 0x6d, 0x65, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45,
174 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x54, 0x45,
175 0x58, 0x32, 0x44, 0x5f, 0x41, 0x52, 0x52, 0x41, 0x59, 0x28, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20,
176 0x63, 0x6f, 0x75, 0x6e, 0x74, 0x2c, 0x20, 0x69, 0x6e, 0x64, 0x65, 0x78, 0x29, 0x20, 0x5c, 0xd,
177 0xa, 0x20, 0x20, 0x75, 0x6e, 0x69, 0x66, 0x6f, 0x72, 0x6d, 0x20, 0x68, 0x69, 0x67, 0x68, 0x70,
178 0x20, 0x73, 0x61, 0x6d, 0x70, 0x6c, 0x65, 0x72, 0x32, 0x44, 0x41, 0x72, 0x72, 0x61, 0x79, 0x20,
179 0x6e, 0x61, 0x6d, 0x65, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f,
180 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x54, 0x45, 0x58, 0x32, 0x44, 0x5f, 0x43, 0x4f,
181 0x4c, 0x4f, 0x52, 0x28, 0x74, 0x65, 0x78, 0x2c, 0x20, 0x75, 0x76, 0x29, 0x20, 0x5c, 0xd, 0xa,
182 0x20, 0x20, 0x74, 0x65, 0x78, 0x74, 0x75, 0x72, 0x65, 0x28, 0x74, 0x65, 0x78, 0x2c, 0x20, 0x75,
183 0x76, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45,
184 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x54, 0x45, 0x58, 0x32, 0x44, 0x5f, 0x41, 0x52, 0x52, 0x41,
185 0x59, 0x5f, 0x43, 0x4f, 0x4c, 0x4f, 0x52, 0x28, 0x74, 0x65, 0x78, 0x2c, 0x20, 0x69, 0x2c, 0x20,
186 0x75, 0x76, 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x74, 0x65, 0x78, 0x74, 0x75, 0x72, 0x65,
187 0x28, 0x74, 0x65, 0x78, 0x2c, 0x20, 0x76, 0x65, 0x63, 0x33, 0x28, 0x75, 0x76, 0x2c, 0x20, 0x69,
188 0x29, 0x29, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45,
189 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x4d, 0x55,
190 0x4c, 0x54, 0x49, 0x5f, 0x54, 0x41, 0x52, 0x47, 0x45, 0x54, 0x5f, 0x53, 0x54, 0x52, 0x55, 0x43,
191 0x54, 0x55, 0x52, 0x45, 0x28, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x63, 0x6f, 0x75, 0x6e, 0x74,
192 0x29, 0x20, 0x5c, 0xd, 0xa, 0x20, 0x20, 0x73, 0x74, 0x72, 0x75, 0x63, 0x74, 0x20, 0x6e, 0x61,
193 0x6d, 0x65, 0x20, 0x7b, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x34, 0x20, 0x54, 0x61, 0x72, 0x67,
194 0x65, 0x74, 0x5b, 0x63, 0x6f, 0x75, 0x6e, 0x74, 0x5d, 0x3b, 0x20, 0x7d, 0x3b, 0x20, 0x5c, 0xd,
195 0xa, 0x20, 0x20, 0x6f, 0x75, 0x74, 0x20, 0x66, 0x6c, 0x6f, 0x61, 0x74, 0x34, 0x20, 0x43, 0x6f,
196 0x76, 0x65, 0x6c, 0x6c, 0x69, 0x74, 0x65, 0x5f, 0x4d, 0x75, 0x6c, 0x74, 0x69, 0x4f, 0x75, 0x74,
197 0x50, 0x69, 0x78, 0x65, 0x6c, 0x43, 0x6f, 0x6c, 0x6f, 0x72, 0x5b, 0x63, 0x6f, 0x75, 0x6e, 0x74,
198 0x5d, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x65, 0x6e, 0x64, 0x69, 0x66, 0x20, 0x2f, 0x2f,
199 0x20, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
200 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
201 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
202 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a, 0x2a,
203 0x2a, 0x2a, 0x2a, 0x2a, 0x20, 0x2f, 0x2f, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65,
204 0x66, 0x69, 0x6e, 0x65, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44,
205 0x45, 0x43, 0x4c, 0x41, 0x52, 0x45, 0x5f, 0x43, 0x4f, 0x4e, 0x53, 0x54, 0x5f, 0x55, 0x53, 0x45,
206 0x52, 0x5f, 0x42, 0x55, 0x46, 0x46, 0x45, 0x52, 0x28, 0x74, 0x79, 0x70, 0x65, 0x2c, 0x20, 0x63,
207 0x62, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x6e, 0x61, 0x6d, 0x65, 0x29, 0x20, 0x5c, 0xd, 0xa,
208 0x20, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x44, 0x45, 0x43, 0x4c,
209 0x41, 0x52, 0x45, 0x5f, 0x43, 0x4f, 0x4e, 0x53, 0x54, 0x5f, 0x42, 0x55, 0x46, 0x46, 0x45, 0x52,
210 0x28, 0x74, 0x79, 0x70, 0x65, 0x2c, 0x20, 0x63, 0x62, 0x6e, 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x6e,
211 0x61, 0x6d, 0x65, 0x2c, 0x20, 0x43, 0x4f, 0x56, 0x45, 0x4c, 0x4c, 0x49, 0x54, 0x45, 0x5f, 0x42,
212 0x55, 0x46, 0x46, 0x45, 0x52, 0x5f, 0x49, 0x4e, 0x44, 0x45, 0x58, 0x5f, 0x55, 0x53, 0x45, 0x52,
213 0x29, 0xd, 0xa, 0x20, 0x20, 0xd, 0xa, 0x23, 0x64, 0x65, 0x66, 0x69, 0x6e, 0x65, 0x20, 0x54,
214 0x6f, 0x46, 0x6c, 0x6f, 0x61, 0x74, 0x33, 0x28, 0x76, 0x29, 0x20, 0x76, 0x2e, 0x78, 0x79, 0x7a,