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