Gitiles
Code Review Sign In
gerrit-public.fairphone.software / platform / libcore / 319a3b994703aac84df7bcde272adfcb3cdbbbf0 / . / jdk / src / share / classes / sun / nio / cs / IBM737.java
blob: 2d5b7509b2c333a0ad2dab2327d2f62169e21f98 [file] [log] [blame]
J. Duke319a3b92007-12-01 00:00:00 +0000[diff] [blame^]1/*
2 * Copyright 2003-2005 Sun Microsystems, Inc. All Rights Reserved.
3 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
4 *
5 * This code is free software; you can redistribute it and/or modify it
6 * under the terms of the GNU General Public License version 2 only, as
7 * published by the Free Software Foundation. Sun designates this
8 * particular file as subject to the "Classpath" exception as provided
9 * by Sun in the LICENSE file that accompanied this code.
10 *
11 * This code is distributed in the hope that it will be useful, but WITHOUT
12 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
14 * version 2 for more details (a copy is included in the LICENSE file that
15 * accompanied this code).
16 *
17 * You should have received a copy of the GNU General Public License version
18 * 2 along with this work; if not, write to the Free Software Foundation,
19 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
20 *
21 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
22 * CA 95054 USA or visit www.sun.com if you need additional information or
23 * have any questions.
24 */
25
26package sun.nio.cs;
27
28
29import java.nio.charset.Charset;
30import java.nio.charset.CharsetDecoder;
31import java.nio.charset.CharsetEncoder;
32import sun.nio.cs.StandardCharsets;
33import sun.nio.cs.SingleByteDecoder;
34import sun.nio.cs.SingleByteEncoder;
35import sun.nio.cs.HistoricallyNamedCharset;
36
37public class IBM737
38 extends Charset
39 implements HistoricallyNamedCharset
40{
41
42 public IBM737() {
43 super("x-IBM737", StandardCharsets.aliases_IBM737);
44 }
45
46 public String historicalName() {
47 return "Cp737";
48 }
49
50 public boolean contains(Charset cs) {
51 return (cs instanceof IBM737);
52 }
53
54 public CharsetDecoder newDecoder() {
55 return new Decoder(this);
56 }
57
58 public CharsetEncoder newEncoder() {
59 return new Encoder(this);
60 }
61
62
63 /**
64 * These accessors are temporarily supplied while sun.io
65 * converters co-exist with the sun.nio.cs.{ext} charset coders
66 * These facilitate sharing of conversion tables between the
67 * two co-existing implementations. When sun.io converters
68 * are made extinct these will be unncessary and should be removed
69 */
70
71 public String getDecoderSingleByteMappings() {
72 return Decoder.byteToCharTable;
73
74 }
75
76 public short[] getEncoderIndex1() {
77 return Encoder.index1;
78
79 }
80 public String getEncoderIndex2() {
81 return Encoder.index2;
82
83 }
84
85 private static class Decoder extends SingleByteDecoder {
86 public Decoder(Charset cs) {
87 super(cs, byteToCharTable);
88 }
89
90 private final static String byteToCharTable =
91
92 "\u0391\u0392\u0393\u0394\u0395\u0396\u0397\u0398" + // 0x80 - 0x87
93 "\u0399\u039A\u039B\u039C\u039D\u039E\u039F\u03A0" + // 0x88 - 0x8F
94 "\u03A1\u03A3\u03A4\u03A5\u03A6\u03A7\u03A8\u03A9" + // 0x90 - 0x97
95 "\u03B1\u03B2\u03B3\u03B4\u03B5\u03B6\u03B7\u03B8" + // 0x98 - 0x9F
96 "\u03B9\u03BA\u03BB\u03BC\u03BD\u03BE\u03BF\u03C0" + // 0xA0 - 0xA7
97 "\u03C1\u03C3\u03C2\u03C4\u03C5\u03C6\u03C7\u03C8" + // 0xA8 - 0xAF
98 "\u2591\u2592\u2593\u2502\u2524\u2561\u2562\u2556" + // 0xB0 - 0xB7
99 "\u2555\u2563\u2551\u2557\u255D\u255C\u255B\u2510" + // 0xB8 - 0xBF
100 "\u2514\u2534\u252C\u251C\u2500\u253C\u255E\u255F" + // 0xC0 - 0xC7
101 "\u255A\u2554\u2569\u2566\u2560\u2550\u256C\u2567" + // 0xC8 - 0xCF
102 "\u2568\u2564\u2565\u2559\u2558\u2552\u2553\u256B" + // 0xD0 - 0xD7
103 "\u256A\u2518\u250C\u2588\u2584\u258C\u2590\u2580" + // 0xD8 - 0xDF
104 "\u03C9\u03AC\u03AD\u03AE\u03CA\u03AF\u03CC\u03CD" + // 0xE0 - 0xE7
105 "\u03CB\u03CE\u0386\u0388\u0389\u038A\u038C\u038E" + // 0xE8 - 0xEF
106 "\u038F\u00B1\u2265\u2264\u03AA\u03AB\u00F7\u2248" + // 0xF0 - 0xF7
107 "\u00B0\u2219\u00B7\u221A\u207F\u00B2\u25A0\u00A0" + // 0xF8 - 0xFF
108 "\u0000\u0001\u0002\u0003\u0004\u0005\u0006\u0007" + // 0x00 - 0x07
109 "\b\t\n\u000B\f\r\u000E\u000F" + // 0x08 - 0x0F
110 "\u0010\u0011\u0012\u0013\u0014\u0015\u0016\u0017" + // 0x10 - 0x17
111 "\u0018\u0019\u001A\u001B\u001C\u001D\u001E\u001F" + // 0x18 - 0x1F
112 "\u0020\u0021\"\u0023\u0024\u0025\u0026\'" + // 0x20 - 0x27
113 "\u0028\u0029\u002A\u002B\u002C\u002D\u002E\u002F" + // 0x28 - 0x2F
114 "\u0030\u0031\u0032\u0033\u0034\u0035\u0036\u0037" + // 0x30 - 0x37
115 "\u0038\u0039\u003A\u003B\u003C\u003D\u003E\u003F" + // 0x38 - 0x3F
116 "\u0040\u0041\u0042\u0043\u0044\u0045\u0046\u0047" + // 0x40 - 0x47
117 "\u0048\u0049\u004A\u004B\u004C\u004D\u004E\u004F" + // 0x48 - 0x4F
118 "\u0050\u0051\u0052\u0053\u0054\u0055\u0056\u0057" + // 0x50 - 0x57
119 "\u0058\u0059\u005A\u005B\\\u005D\u005E\u005F" + // 0x58 - 0x5F
120 "\u0060\u0061\u0062\u0063\u0064\u0065\u0066\u0067" + // 0x60 - 0x67
121 "\u0068\u0069\u006A\u006B\u006C\u006D\u006E\u006F" + // 0x68 - 0x6F
122 "\u0070\u0071\u0072\u0073\u0074\u0075\u0076\u0077" + // 0x70 - 0x77
123 "\u0078\u0079\u007A\u007B\u007C\u007D\u007E\u007F"; // 0x78 - 0x7F
124
125 }
126
127 private static class Encoder extends SingleByteEncoder {
128 public Encoder(Charset cs) {
129 super(cs, index1, index2, 0xFF00, 0x00FF, 8);
130 }
131
132 private final static String index2 =
133
134
135 "\u0000\u0001\u0002\u0003\u0004\u0005\u0006\u0007" +
136 "\b\t\n\u000B\f\r\u000E\u000F" +
137 "\u0010\u0011\u0012\u0013\u0014\u0015\u0016\u0017" +
138 "\u0018\u0019\u001A\u001B\u001C\u001D\u001E\u001F" +
139 "\u0020\u0021\"\u0023\u0024\u0025\u0026\'" +
140 "\u0028\u0029\u002A\u002B\u002C\u002D\u002E\u002F" +
141 "\u0030\u0031\u0032\u0033\u0034\u0035\u0036\u0037" +
142 "\u0038\u0039\u003A\u003B\u003C\u003D\u003E\u003F" +
143 "\u0040\u0041\u0042\u0043\u0044\u0045\u0046\u0047" +
144 "\u0048\u0049\u004A\u004B\u004C\u004D\u004E\u004F" +
145 "\u0050\u0051\u0052\u0053\u0054\u0055\u0056\u0057" +
146 "\u0058\u0059\u005A\u005B\\\u005D\u005E\u005F" +
147 "\u0060\u0061\u0062\u0063\u0064\u0065\u0066\u0067" +
148 "\u0068\u0069\u006A\u006B\u006C\u006D\u006E\u006F" +
149 "\u0070\u0071\u0072\u0073\u0074\u0075\u0076\u0077" +
150 "\u0078\u0079\u007A\u007B\u007C\u007D\u007E\u007F" +
151 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
152 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
153 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
154 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
155 "\u00FF\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
156 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
157 "\u00F8\u00F1\u00FD\u0000\u0000\u0000\u0000\u00FA" +
158 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
159 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
160 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
161 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
162 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
163 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
164 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
165 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u00F6" +
166 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
167 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
168 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
169 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
170 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
171 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
172 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
173 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
174 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
175 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
176 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
177 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
178 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
179 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
180 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
181 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
182 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
183 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
184 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
185 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
186 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
187 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
188 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
189 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
190 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
191 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
192 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
193 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
194 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
195 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
196 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
197 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
198 "\u00EA\u0000\u00EB\u00EC\u00ED\u0000\u00EE\u0000" +
199 "\u00EF\u00F0\u0000\u0080\u0081\u0082\u0083\u0084" +
200 "\u0085\u0086\u0087\u0088\u0089\u008A\u008B\u008C" +
201 "\u008D\u008E\u008F\u0090\u0000\u0091\u0092\u0093" +
202 "\u0094\u0095\u0096\u0097\u00F4\u00F5\u00E1\u00E2" +
203 "\u00E3\u00E5\u0000\u0098\u0099\u009A\u009B\u009C" +
204 "\u009D\u009E\u009F\u00A0\u00A1\u00A2\u00A3\u00A4" +
205 "\u00A5\u00A6\u00A7\u00A8\u00AA\u00A9\u00AB\u00AC" +
206 "\u00AD\u00AE\u00AF\u00E0\u00E4\u00E8\u00E6\u00E7" +
207 "\u00E9\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
208 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
209 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
210 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
211 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
212 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
213 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
214 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
215 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
216 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
217 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
218 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
219 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
220 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
221 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
222 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
223 "\u00FC\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
224 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
225 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
226 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
227 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
228 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
229 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
230 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
231 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
232 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
233 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
234 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
235 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
236 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
237 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
238 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
239 "\u0000\u00F9\u00FB\u0000\u0000\u0000\u0000\u0000" +
240 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
241 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
242 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
243 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
244 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
245 "\u00F7\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
246 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
247 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
248 "\u0000\u0000\u0000\u0000\u00F3\u00F2\u0000\u0000" +
249 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
250 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
251 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
252 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
253 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
254 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
255 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
256 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
257 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
258 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
259 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
260 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
261 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
262 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
263 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
264 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
265 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
266 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
267 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
268 "\u00C4\u0000\u00B3\u0000\u0000\u0000\u0000\u0000" +
269 "\u0000\u0000\u0000\u0000\u00DA\u0000\u0000\u0000" +
270 "\u00BF\u0000\u0000\u0000\u00C0\u0000\u0000\u0000" +
271 "\u00D9\u0000\u0000\u0000\u00C3\u0000\u0000\u0000" +
272 "\u0000\u0000\u0000\u0000\u00B4\u0000\u0000\u0000" +
273 "\u0000\u0000\u0000\u0000\u00C2\u0000\u0000\u0000" +
274 "\u0000\u0000\u0000\u0000\u00C1\u0000\u0000\u0000" +
275 "\u0000\u0000\u0000\u0000\u00C5\u0000\u0000\u0000" +
276 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
277 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
278 "\u00CD\u00BA\u00D5\u00D6\u00C9\u00B8\u00B7\u00BB" +
279 "\u00D4\u00D3\u00C8\u00BE\u00BD\u00BC\u00C6\u00C7" +
280 "\u00CC\u00B5\u00B6\u00B9\u00D1\u00D2\u00CB\u00CF" +
281 "\u00D0\u00CA\u00D8\u00D7\u00CE\u0000\u0000\u0000" +
282 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
283 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
284 "\u00DF\u0000\u0000\u0000\u00DC\u0000\u0000\u0000" +
285 "\u00DB\u0000\u0000\u0000\u00DD\u0000\u0000\u0000" +
286 "\u00DE\u00B0\u00B1\u00B2\u0000\u0000\u0000\u0000" +
287 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
288 "\u00FE\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
289 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
290 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
291 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
292 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
293 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
294 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
295 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
296 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
297 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
298 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000" +
299 "\u0000\u0000\u0000\u0000\u0000\u0000\u0000\u0000";
300
301 private final static short index1[] = {
302 0, 248, 248, 370, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
303 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
304 577, 248, 808, 248, 248, 1064, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
305 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
306 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
307 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
308 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
309 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
310 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
311 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
312 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
313 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
314 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
315 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
316 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
317 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248, 248,
318
319 };
320 }
321}