1 
2 const char __pvs_msg[1084] = {
3 /*    0 */ 0x00,  0x75,  0x73,  0x61,  0x67,  0x65,  0x3a,  0x20,  0x25,  0x73,
4 /*   10 */ 0x20,  0x5b,  0x2d,  0x43,  0x64,  0x6c,  0x6e,  0x6f,  0x72,  0x73,
5 /*   20 */ 0x76,  0x5d,  0x20,  0x5b,  0x2d,  0x49,  0x20,  0x69,  0x6e,  0x64,
6 /*   30 */ 0x65,  0x78,  0x5d,  0x20,  0x5b,  0x2d,  0x4e,  0x20,  0x4e,  0x61,
7 /*   40 */ 0x6d,  0x65,  0x5d,  0x20,  0x66,  0x69,  0x6c,  0x65,  0x28,  0x73,
8 /*   50 */ 0x29,  0x0a,  0x00,  0x09,  0x5b,  0x2d,  0x43,  0x5d,  0x09,  0x09,
9 /*   60 */ 0x64,  0x65,  0x6d,  0x61,  0x6e,  0x67,  0x6c,  0x65,  0x20,  0x43,
10 /*   70 */ 0x2b,  0x2b,  0x20,  0x73,  0x79,  0x6d,  0x62,  0x6f,  0x6c,  0x20,
11 /*   80 */ 0x6e,  0x61,  0x6d,  0x65,  0x73,  0x0a,  0x09,  0x5b,  0x2d,  0x64,
12 /*   90 */ 0x5d,  0x09,  0x09,  0x70,  0x72,  0x69,  0x6e,  0x74,  0x20,  0x76,
13 /*  100 */ 0x65,  0x72,  0x73,  0x69,  0x6f,  0x6e,  0x20,  0x64,  0x65,  0x66,
14 /*  110 */ 0x69,  0x6e,  0x69,  0x74,  0x69,  0x6f,  0x6e,  0x20,  0x69,  0x6e,
15 /*  120 */ 0x66,  0x6f,  0x72,  0x6d,  0x61,  0x74,  0x69,  0x6f,  0x6e,  0x0a,
16 /*  130 */ 0x09,  0x5b,  0x2d,  0x49,  0x20,  0x69,  0x6e,  0x64,  0x65,  0x78,
17 /*  140 */ 0x5d,  0x09,  0x71,  0x75,  0x61,  0x6c,  0x69,  0x66,  0x79,  0x20,
18 /*  150 */ 0x76,  0x65,  0x72,  0x73,  0x69,  0x6f,  0x6e,  0x20,  0x77,  0x69,
19 /*  160 */ 0x74,  0x68,  0x20,  0x61,  0x6e,  0x20,  0x69,  0x6e,  0x64,  0x65,
20 /*  170 */ 0x78,  0x0a,  0x09,  0x5b,  0x2d,  0x6c,  0x5d,  0x09,  0x09,  0x70,
21 /*  180 */ 0x72,  0x69,  0x6e,  0x74,  0x20,  0x72,  0x65,  0x64,  0x75,  0x63,
22 /*  190 */ 0x65,  0x64,  0x20,  0x73,  0x79,  0x6d,  0x62,  0x6f,  0x6c,  0x73,
23 /*  200 */ 0x0a,  0x09,  0x5b,  0x2d,  0x4e,  0x20,  0x6e,  0x61,  0x6d,  0x65,
24 /*  210 */ 0x5d,  0x09,  0x71,  0x75,  0x61,  0x6c,  0x69,  0x66,  0x79,  0x20,
25 /*  220 */ 0x76,  0x65,  0x72,  0x73,  0x69,  0x6f,  0x6e,  0x20,  0x77,  0x69,
26 /*  230 */ 0x74,  0x68,  0x20,  0x60,  0x6e,  0x61,  0x6d,  0x65,  0x27,  0x0a,
27 /*  240 */ 0x09,  0x5b,  0x2d,  0x6e,  0x5d,  0x09,  0x09,  0x6e,  0x6f,  0x72,
28 /*  250 */ 0x6d,  0x61,  0x6c,  0x69,  0x7a,  0x65,  0x20,  0x76,  0x65,  0x72,
29 /*  260 */ 0x73,  0x69,  0x6f,  0x6e,  0x20,  0x64,  0x65,  0x66,  0x69,  0x6e,
30 /*  270 */ 0x69,  0x74,  0x69,  0x6f,  0x6e,  0x20,  0x69,  0x6e,  0x66,  0x6f,
31 /*  280 */ 0x72,  0x6d,  0x61,  0x74,  0x69,  0x6f,  0x6e,  0x0a,  0x09,  0x5b,
32 /*  290 */ 0x2d,  0x6f,  0x5d,  0x09,  0x09,  0x6f,  0x6e,  0x65,  0x2d,  0x6c,
33 /*  300 */ 0x69,  0x6e,  0x65,  0x20,  0x76,  0x65,  0x72,  0x73,  0x69,  0x6f,
34 /*  310 */ 0x6e,  0x20,  0x64,  0x65,  0x66,  0x69,  0x6e,  0x69,  0x74,  0x69,
35 /*  320 */ 0x6f,  0x6e,  0x20,  0x6f,  0x75,  0x74,  0x70,  0x75,  0x74,  0x0a,
36 /*  330 */ 0x09,  0x5b,  0x2d,  0x72,  0x5d,  0x09,  0x09,  0x70,  0x72,  0x69,
37 /*  340 */ 0x6e,  0x74,  0x20,  0x76,  0x65,  0x72,  0x73,  0x69,  0x6f,  0x6e,
38 /*  350 */ 0x20,  0x64,  0x65,  0x70,  0x65,  0x6e,  0x64,  0x65,  0x6e,  0x63,
39 /*  360 */ 0x79,  0x20,  0x28,  0x72,  0x65,  0x71,  0x75,  0x69,  0x72,  0x65,
40 /*  370 */ 0x6d,  0x65,  0x6e,  0x74,  0x73,  0x29,  0x20,  0x69,  0x6e,  0x66,
41 /*  380 */ 0x6f,  0x72,  0x6d,  0x61,  0x74,  0x69,  0x6f,  0x6e,  0x0a,  0x09,
42 /*  390 */ 0x5b,  0x2d,  0x73,  0x5d,  0x09,  0x09,  0x70,  0x72,  0x69,  0x6e,
43 /*  400 */ 0x74,  0x20,  0x76,  0x65,  0x72,  0x73,  0x69,  0x6f,  0x6e,  0x20,
44 /*  410 */ 0x64,  0x65,  0x66,  0x69,  0x6e,  0x69,  0x74,  0x69,  0x6f,  0x6e,
45 /*  420 */ 0x20,  0x73,  0x79,  0x6d,  0x62,  0x6f,  0x6c,  0x73,  0x0a,  0x09,
46 /*  430 */ 0x5b,  0x2d,  0x76,  0x5d,  0x09,  0x09,  0x70,  0x72,  0x69,  0x6e,
47 /*  440 */ 0x74,  0x20,  0x76,  0x65,  0x72,  0x62,  0x6f,  0x73,  0x65,  0x20,
48 /*  450 */ 0x69,  0x6e,  0x66,  0x6f,  0x72,  0x6d,  0x61,  0x74,  0x69,  0x6f,
49 /*  460 */ 0x6e,  0x0a,  0x00,  0x25,  0x73,  0x3a,  0x20,  0x77,  0x61,  0x72,
50 /*  470 */ 0x6e,  0x69,  0x6e,  0x67,  0x3a,  0x20,  0x25,  0x73,  0x3a,  0x20,
51 /*  480 */ 0x76,  0x65,  0x72,  0x73,  0x69,  0x6f,  0x6e,  0x20,  0x72,  0x65,
52 /*  490 */ 0x76,  0x69,  0x73,  0x69,  0x6f,  0x6e,  0x20,  0x25,  0x64,  0x20,
53 /*  500 */ 0x69,  0x73,  0x20,  0x68,  0x69,  0x67,  0x68,  0x65,  0x72,  0x20,
54 /*  510 */ 0x74,  0x68,  0x61,  0x6e,  0x20,  0x65,  0x78,  0x70,  0x65,  0x63,
55 /*  520 */ 0x74,  0x65,  0x64,  0x20,  0x25,  0x64,  0x0a,  0x00,  0x25,  0x73,
56 /*  530 */ 0x3a,  0x20,  0x77,  0x61,  0x72,  0x6e,  0x69,  0x6e,  0x67,  0x3a,
57 /*  540 */ 0x20,  0x25,  0x73,  0x3a,  0x20,  0x75,  0x6e,  0x61,  0x62,  0x6c,
58 /*  550 */ 0x65,  0x20,  0x74,  0x6f,  0x20,  0x64,  0x65,  0x64,  0x75,  0x63,
59 /*  560 */ 0x65,  0x20,  0x72,  0x65,  0x64,  0x75,  0x63,  0x65,  0x64,  0x20,
60 /*  570 */ 0x73,  0x79,  0x6d,  0x62,  0x6f,  0x6c,  0x73,  0x3a,  0x0a,  0x00,
61 /*  580 */ 0x09,  0x6d,  0x61,  0x6c,  0x66,  0x6f,  0x72,  0x6d,  0x65,  0x64,
62 /*  590 */ 0x20,  0x73,  0x79,  0x6d,  0x62,  0x6f,  0x6c,  0x20,  0x74,  0x61,
63 /*  600 */ 0x62,  0x6c,  0x65,  0x5b,  0x31,  0x5d,  0x3d,  0x25,  0x73,  0x3a,
64 /*  610 */ 0x20,  0x64,  0x6f,  0x65,  0x73,  0x20,  0x6e,  0x6f,  0x74,  0x20,
65 /*  620 */ 0x65,  0x71,  0x75,  0x61,  0x6c,  0x20,  0x53,  0x54,  0x54,  0x5f,
66 /*  630 */ 0x46,  0x49,  0x4c,  0x45,  0x0a,  0x00,  0x09,  0x6e,  0x6f,  0x20,
67 /*  640 */ 0x73,  0x79,  0x6d,  0x62,  0x6f,  0x6c,  0x20,  0x74,  0x61,  0x62,
68 /*  650 */ 0x6c,  0x65,  0x20,  0x28,  0x53,  0x48,  0x54,  0x5f,  0x53,  0x59,
69 /*  660 */ 0x4d,  0x54,  0x41,  0x42,  0x29,  0x20,  0x66,  0x6f,  0x75,  0x6e,
70 /*  670 */ 0x64,  0x0a,  0x00,  0x25,  0x73,  0x3a,  0x20,  0x25,  0x73,  0x3a,
71 /*  680 */ 0x20,  0x69,  0x73,  0x20,  0x6e,  0x6f,  0x74,  0x20,  0x45,  0x4c,
72 /*  690 */ 0x46,  0x0a,  0x00,  0x25,  0x73,  0x3a,  0x20,  0x25,  0x73,  0x3a,
73 /*  700 */ 0x20,  0x63,  0x61,  0x6e,  0x6e,  0x6f,  0x74,  0x20,  0x6f,  0x70,
74 /*  710 */ 0x65,  0x6e,  0x20,  0x66,  0x69,  0x6c,  0x65,  0x3a,  0x20,  0x25,
75 /*  720 */ 0x73,  0x0a,  0x00,  0x25,  0x73,  0x3a,  0x20,  0x25,  0x73,  0x3a,
76 /*  730 */ 0x20,  0x6d,  0x61,  0x6c,  0x6c,  0x6f,  0x63,  0x20,  0x66,  0x61,
77 /*  740 */ 0x69,  0x6c,  0x65,  0x64,  0x3a,  0x20,  0x25,  0x73,  0x0a,  0x00,
78 /*  750 */ 0x6d,  0x61,  0x74,  0x63,  0x68,  0x20,  0x72,  0x65,  0x63,  0x6f,
79 /*  760 */ 0x72,  0x64,  0x20,  0x28,  0x2d,  0x49,  0x2f,  0x2d,  0x4e,  0x29,
80 /*  770 */ 0x00,  0x25,  0x73,  0x3a,  0x20,  0x25,  0x73,  0x3a,  0x20,  0x65,
81 /*  780 */ 0x6c,  0x66,  0x5f,  0x62,  0x65,  0x67,  0x69,  0x6e,  0x3a,  0x20,
82 /*  790 */ 0x25,  0x73,  0x0a,  0x00,  0x25,  0x73,  0x3a,  0x20,  0x25,  0x73,
83 /*  800 */ 0x3a,  0x20,  0x65,  0x6c,  0x66,  0x5f,  0x67,  0x65,  0x74,  0x65,
84 /*  810 */ 0x68,  0x64,  0x72,  0x3a,  0x20,  0x25,  0x73,  0x0a,  0x00,  0x25,
85 /*  820 */ 0x73,  0x3a,  0x20,  0x25,  0x73,  0x3a,  0x20,  0x65,  0x6c,  0x66,
86 /*  830 */ 0x5f,  0x67,  0x65,  0x74,  0x73,  0x63,  0x6e,  0x3a,  0x20,  0x25,
87 /*  840 */ 0x73,  0x0a,  0x00,  0x25,  0x73,  0x3a,  0x20,  0x25,  0x73,  0x3a,
88 /*  850 */ 0x20,  0x65,  0x6c,  0x66,  0x5f,  0x67,  0x65,  0x74,  0x73,  0x68,
89 /*  860 */ 0x64,  0x72,  0x3a,  0x20,  0x25,  0x73,  0x0a,  0x00,  0x25,  0x73,
90 /*  870 */ 0x3a,  0x20,  0x25,  0x73,  0x3a,  0x20,  0x65,  0x6c,  0x66,  0x5f,
91 /*  880 */ 0x67,  0x65,  0x74,  0x64,  0x61,  0x74,  0x61,  0x3a,  0x20,  0x25,
92 /*  890 */ 0x73,  0x0a,  0x00,  0x25,  0x73,  0x3a,  0x20,  0x25,  0x73,  0x3a,
93 /*  900 */ 0x20,  0x65,  0x6c,  0x66,  0x5f,  0x67,  0x65,  0x74,  0x73,  0x68,
94 /*  910 */ 0x64,  0x72,  0x6e,  0x75,  0x6d,  0x3a,  0x20,  0x25,  0x73,  0x0a,
95 /*  920 */ 0x00,  0x43,  0x64,  0x49,  0x3a,  0x6c,  0x6e,  0x6f,  0x72,  0x73,
96 /*  930 */ 0x76,  0x4e,  0x3a,  0x00,  0x29,  0x3a,  0x0a,  0x00,  0x09,  0x09,
97 /*  940 */ 0x25,  0x73,  0x20,  0x28,  0x25,  0x6c,  0x64,  0x29,  0x3b,  0x0a,
98 /*  950 */ 0x00,  0x09,  0x25,  0x73,  0x20,  0x28,  0x00,  0x09,  0x25,  0x73,
99 /*  960 */ 0x00,  0x2c,  0x20,  0x25,  0x73,  0x00,  0x25,  0x73,  0x20,  0x2d,
100 /*  970 */ 0x00,  0x09,  0x25,  0x73,  0x3a,  0x0a,  0x00,  0x09,  0x09,  0x25,
101 /*  980 */ 0x73,  0x3b,  0x0a,  0x00,  0x20,  0x5b,  0x25,  0x73,  0x5d,  0x00,
102 /*  990 */ 0x25,  0x73,  0x20,  0x2d,  0x09,  0x25,  0x73,  0x3a,  0x20,  0x00,
103 /* 1000 */ 0x25,  0x73,  0x20,  0x2d,  0x09,  0x25,  0x73,  0x20,  0x28,  0x25,
104 /* 1010 */ 0x73,  0x29,  0x3a,  0x20,  0x00,  0x3a,  0x20,  0x20,  0x20,  0x20,
105 /* 1020 */ 0x20,  0x20,  0x20,  0x09,  0x7b,  0x25,  0x73,  0x00,  0x3a,  0x20,
106 /* 1030 */ 0x7b,  0x25,  0x73,  0x00,  0x3a,  0x09,  0x7b,  0x25,  0x73,  0x00,
107 /* 1040 */ 0x7d,  0x00,  0x09,  0x5f,  0x4c,  0x4f,  0x43,  0x41,  0x4c,  0x5f,
108 /* 1050 */ 0x3a,  0x0a,  0x00,  0x25,  0x73,  0x20,  0x2d,  0x09,  0x5f,  0x4c,
109 /* 1060 */ 0x4f,  0x43,  0x41,  0x4c,  0x5f,  0x3a,  0x20,  0x25,  0x73,  0x0a,
110 /* 1070 */ 0x00,  0x53,  0x55,  0x4e,  0x57,  0x5f,  0x4f,  0x53,  0x54,  0x5f,
111 /* 1080 */ 0x53,  0x47,  0x53,  0x00 };
112