TITLE("Serialization utilities")
COMPRESSED
120,156,237,90,91,83,219,70,20,254,43,59,67,146,1,215,
54,210,74,178,100,59,205,164,67,66,39,147,52,237,112,153,
62,120,12,90,203,107,123,27,89,114,119,37,192,41,205,111,
239,89,173,36,75,88,6,140,3,133,36,60,96,161,189,156,
219,183,231,124,62,75,15,163,103,207,180,186,182,165,221,240,
211,121,67,71,36,246,163,126,143,153,166,211,37,216,234,126,
122,255,123,187,91,123,189,221,50,119,96,19,29,54,49,108,
221,112,44,67,55,113,11,126,233,134,142,45,108,152,186,131,
219,166,99,24,142,214,241,124,34,68,191,231,99,199,233,74,
201,24,22,97,219,194,186,109,58,166,163,27,182,131,97,45,
214,52,172,217,216,210,77,195,193,86,103,72,133,215,239,17,
199,232,214,14,90,176,200,144,146,96,115,77,111,97,211,54,
177,102,104,216,4,81,186,227,152,186,109,57,70,187,213,234,
120,100,22,177,48,72,101,49,93,199,122,119,160,219,93,80,
249,203,151,47,77,221,212,148,6,38,108,166,107,38,168,170,
195,59,205,196,182,110,181,181,182,229,232,142,102,192,230,150,
173,89,157,25,225,100,90,109,185,220,195,186,209,116,91,235,
176,136,194,22,181,159,116,221,134,37,173,122,107,75,55,109,
48,212,49,76,203,177,53,16,142,49,54,12,172,27,184,221,
198,86,203,178,59,19,74,134,148,167,38,16,80,190,166,195,
82,187,110,111,193,66,205,180,12,108,182,165,179,12,144,132,
113,203,106,235,150,169,89,45,216,169,195,233,223,49,227,116,
74,3,136,216,63,167,255,62,127,251,177,113,124,136,122,194,
232,162,67,202,25,241,217,103,34,29,132,226,136,249,44,98,
84,188,232,247,132,214,53,144,252,180,186,239,81,239,185,166,
53,52,237,196,237,184,157,195,136,83,50,61,65,234,179,159,
14,33,247,197,105,246,252,90,67,127,16,239,147,222,202,7,
183,251,107,238,96,32,145,191,175,163,252,245,182,214,212,154,
216,178,118,16,147,198,84,46,100,249,251,157,190,212,31,47,
172,164,2,25,216,109,12,88,132,134,36,34,117,20,2,48,
166,236,51,11,198,8,222,141,66,142,244,150,26,63,35,126,
76,69,19,189,27,169,71,196,4,200,68,110,195,192,118,203,
78,63,16,39,193,152,214,229,90,24,22,153,148,33,34,2,
97,52,152,71,84,128,140,104,66,249,57,19,20,181,212,43,
68,56,69,177,160,195,166,84,207,236,102,222,173,237,37,102,
55,46,149,95,170,70,25,140,190,1,205,81,20,46,196,229,
19,107,187,232,128,70,49,15,148,202,48,87,36,54,121,19,
194,2,176,177,249,164,195,170,223,121,37,190,130,136,239,210,
244,117,87,26,63,156,182,137,211,214,93,105,254,112,247,255,
227,238,117,87,90,203,229,101,143,248,190,72,157,159,36,92,
74,188,9,10,71,176,205,144,157,177,97,76,252,188,238,192,
206,116,76,57,74,104,4,141,40,23,171,178,114,65,157,65,
24,250,185,216,98,192,63,132,100,184,34,220,82,169,129,84,
233,4,229,143,249,212,151,183,67,198,171,18,52,178,122,83,
225,186,53,0,86,30,92,148,232,41,225,81,46,67,209,17,
78,69,20,114,218,68,75,37,47,41,161,156,206,96,6,176,
26,40,184,131,121,110,101,19,237,51,46,162,58,146,127,196,
51,25,7,47,230,28,230,129,112,18,81,249,66,86,127,89,
178,103,148,67,188,166,178,98,7,67,148,72,27,202,50,63,
165,211,144,207,155,232,104,66,3,53,89,10,244,193,219,48,
62,226,225,20,65,81,71,98,70,61,54,98,116,152,90,149,
176,5,165,180,100,20,5,57,34,246,60,42,196,40,246,209,
118,16,38,97,131,25,111,57,151,96,185,240,104,194,79,229,
196,104,194,195,243,96,167,158,76,129,189,100,53,135,183,60,
166,201,230,165,133,249,244,140,128,120,36,30,79,34,233,11,
57,175,190,80,60,117,100,170,122,234,23,47,156,205,19,179,
75,162,70,196,23,180,146,152,228,225,111,92,102,174,150,49,
73,28,81,10,219,40,14,60,249,80,185,139,10,255,18,199,
89,166,46,210,230,228,0,121,68,114,166,212,131,155,28,150,
67,233,131,111,228,180,148,28,46,200,217,218,135,228,209,68,
56,61,36,231,20,148,157,241,16,78,164,63,207,78,98,38,
124,177,211,6,121,114,31,176,191,207,252,187,33,64,25,179,
70,140,11,90,121,97,32,162,10,181,10,51,38,132,47,38,
184,181,130,140,81,81,227,83,247,231,211,143,199,31,62,228,
56,56,22,50,209,244,78,162,112,198,60,176,98,215,221,221,
3,207,185,187,130,123,238,110,9,37,199,240,221,78,184,207,
104,224,54,98,225,110,73,147,165,87,220,237,220,90,55,183,
210,125,229,214,243,231,157,19,85,102,86,230,19,25,34,169,
230,253,97,42,113,66,227,82,70,47,128,170,249,240,89,227,
40,252,129,156,34,114,18,167,220,10,58,42,233,46,160,35,
115,85,126,176,159,38,106,80,68,167,51,31,102,158,190,172,
138,136,106,107,45,197,204,68,71,249,219,87,167,85,177,92,
151,229,29,157,20,182,44,215,141,139,205,170,206,42,138,251,
48,137,6,157,179,104,2,100,70,205,222,118,95,244,18,139,
234,160,229,145,219,233,228,205,156,29,217,102,41,195,193,203,
57,224,187,64,53,94,208,121,200,135,162,142,212,30,146,37,
229,201,43,22,170,239,35,22,253,33,32,126,209,36,92,52,
102,0,71,50,110,141,203,163,249,44,33,142,225,224,47,234,
69,18,139,25,57,173,0,222,5,44,56,160,35,168,104,129,
71,51,220,170,149,183,108,249,60,57,136,174,226,86,79,7,
163,105,74,59,2,32,86,37,176,251,197,228,15,68,222,75,
210,188,134,242,173,9,204,175,85,148,101,33,90,93,148,55,
207,178,153,197,43,179,109,162,125,162,161,91,203,50,110,238,
166,135,202,188,37,218,248,104,80,159,196,230,91,224,11,215,
83,214,111,16,249,5,131,111,13,252,162,147,30,38,187,23,
72,239,134,152,255,174,16,159,113,2,112,88,194,9,224,115,
53,234,127,17,87,102,172,137,251,69,135,69,238,38,178,32,
174,14,87,210,65,83,50,175,86,204,123,138,223,114,112,148,
120,121,60,35,117,209,87,188,138,84,22,60,154,220,148,213,
155,205,194,180,78,122,186,14,63,55,114,202,3,85,93,74,
151,187,201,119,217,188,132,165,206,223,166,205,113,19,205,56,
61,99,97,44,22,45,172,193,188,12,204,157,175,93,211,110,
100,113,183,130,198,29,78,61,42,124,180,186,232,87,63,28,
16,31,77,195,97,236,19,126,37,75,138,120,54,11,121,148,
174,248,173,114,14,36,74,130,206,24,25,64,122,12,85,67,
92,222,165,100,221,116,48,97,196,198,49,87,147,193,93,100,
54,243,165,98,240,167,72,98,207,68,148,182,221,167,36,152,
43,77,146,43,252,8,65,146,14,207,69,241,62,38,221,118,
215,87,29,245,52,168,32,111,204,206,104,128,198,202,154,178,
208,79,84,53,204,137,47,194,43,202,75,125,124,95,122,104,
146,246,51,101,69,145,89,195,95,163,127,121,22,178,97,229,
169,57,160,99,176,142,114,229,228,189,68,171,229,179,115,47,
165,186,112,20,148,14,34,25,151,149,112,149,147,174,41,53,
239,211,209,167,231,135,43,95,82,51,150,177,232,249,85,72,
49,208,159,19,26,236,251,177,152,108,226,207,186,66,211,72,
238,179,32,28,55,59,249,202,232,66,23,200,57,147,228,190,
40,109,173,165,207,50,93,81,56,3,20,21,174,176,36,172,
151,52,18,229,203,51,153,228,178,180,82,12,141,64,110,3,
146,36,75,166,199,130,202,251,175,115,121,165,150,146,175,52,
103,76,192,118,200,100,3,138,232,133,60,211,44,130,252,9,
137,107,60,166,124,89,167,146,50,143,174,174,41,147,30,41,
237,206,177,39,181,205,201,77,82,202,86,99,79,113,31,145,
220,207,166,87,135,138,250,8,121,95,3,233,84,1,224,97,
122,131,171,171,103,161,174,173,46,137,75,213,243,86,171,210,
99,181,183,50,207,61,42,190,124,155,60,90,58,127,143,29,
172,101,42,14,65,187,177,238,60,26,112,220,177,204,85,39,
211,138,56,109,210,46,45,252,83,164,204,241,149,78,205,169,
238,174,116,199,18,155,185,190,109,40,141,239,255,7,34,217,
24,27,