![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to ml.lex.sml CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [Research Unix] / researchv10no / cmd / sml / src / lex|
Return to ml.lex.sml CVS log | Up to [Research Unix] / researchv10no / cmd / sml / src / lex |
1.1 root 1: (* Copyright 1989 by AT&T Bell Laboratories *)
2: structure Mlex=
3: struct
4: structure UserDeclarations =
5: struct
6: type lexresult = Token.token
7: type lexarg = {comLevel : int ref, lineNum : int ref, complain : string->unit}
8: val eof = fn {comLevel,lineNum,complain} =>
9: (if !comLevel>0 then complain "unclosed comment" else ();
10: Token.EOF)
11: val charlist = ref (nil : string list)
12: fun addString (s:string) = charlist := s :: (!charlist)
13: fun makeInt s = revfold (fn (c,a) => a*10 + (ord c - Ascii.zero)) (explode s) 0
14: end (* end of user routines *)
15: exception LexError (* raised if illegal leaf action tried *)
16: structure Internal =
17: struct
18:
19: datatype yyfinstate = N of int
20: type statedata = {fin : yyfinstate list, trans: string}
21: (* transition & final state table *)
22: val tab = let
23: val s0 =
24: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
25: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
26: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
27: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
28: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
29: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
30: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
31: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
32: val s1 =
33: "\009\009\009\009\009\009\009\009\009\217\219\009\009\009\009\009\
34: \\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\009\
35: \\217\193\216\215\193\193\193\213\211\210\209\193\208\206\203\193\
36: \\201\201\201\201\201\201\201\201\201\201\200\199\193\197\193\193\
37: \\193\024\024\024\024\024\024\024\024\024\024\024\024\024\024\024\
38: \\024\024\024\024\024\024\024\024\024\024\024\196\193\195\193\194\
39: \\193\172\024\168\159\140\132\024\126\109\024\024\102\024\096\079\
40: \\024\024\072\049\042\024\039\027\024\024\024\023\022\021\010\009"
41: val s3 =
42: "\220\220\220\220\220\220\220\220\220\220\225\220\220\220\220\220\
43: \\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\
44: \\220\220\220\220\220\220\220\220\223\220\221\220\220\220\220\220\
45: \\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\
46: \\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\
47: \\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\
48: \\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\
49: \\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220\220"
50: val s5 =
51: "\226\226\226\226\226\226\226\226\226\226\240\226\226\226\226\226\
52: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
53: \\226\226\239\226\226\226\226\226\226\226\226\226\226\226\226\226\
54: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
55: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
56: \\226\226\226\226\226\226\226\226\226\226\226\226\227\226\226\226\
57: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
58: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226"
59: val s7 =
60: "\241\241\241\241\241\241\241\241\241\243\245\241\241\241\241\241\
61: \\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\
62: \\243\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\
63: \\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\
64: \\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\
65: \\241\241\241\241\241\241\241\241\241\241\241\241\242\241\241\241\
66: \\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\
67: \\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241\241"
68: val s10 =
69: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
70: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
71: \\000\011\000\011\011\011\011\000\000\000\011\011\000\011\000\011\
72: \\012\012\012\012\012\012\012\012\012\012\011\000\011\011\011\011\
73: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
74: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000\
75: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
76: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000"
77: val s11 =
78: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
79: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
80: \\000\011\000\011\011\011\011\000\000\000\011\011\000\011\000\011\
81: \\000\000\000\000\000\000\000\000\000\000\011\000\011\011\011\011\
82: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
83: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000\
84: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
85: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000"
86: val s12 =
87: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
88: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
89: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\016\000\
90: \\012\012\012\012\012\012\012\012\012\012\000\000\000\000\000\000\
91: \\000\000\000\000\000\013\000\000\000\000\000\000\000\000\000\000\
92: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
93: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
94: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
95: val s13 =
96: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
97: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
98: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
99: \\015\015\015\015\015\015\015\015\015\015\000\000\000\000\000\000\
100: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
101: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
102: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
103: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\014\000"
104: val s14 =
105: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
106: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
107: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
108: \\015\015\015\015\015\015\015\015\015\015\000\000\000\000\000\000\
109: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
110: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
111: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
112: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
113: val s16 =
114: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
115: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
116: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
117: \\017\017\017\017\017\017\017\017\017\017\000\000\000\000\000\000\
118: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
119: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
120: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
121: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
122: val s17 =
123: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
124: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
125: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
126: \\017\017\017\017\017\017\017\017\017\017\000\000\000\000\000\000\
127: \\000\000\000\000\000\018\000\000\000\000\000\000\000\000\000\000\
128: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
129: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
130: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
131: val s18 =
132: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
133: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
134: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
135: \\020\020\020\020\020\020\020\020\020\020\000\000\000\000\000\000\
136: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
137: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
138: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
139: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\019\000"
140: val s19 =
141: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
142: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
143: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
144: \\020\020\020\020\020\020\020\020\020\020\000\000\000\000\000\000\
145: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
146: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
147: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
148: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
149: val s24 =
150: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
151: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
152: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
153: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
154: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
155: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
156: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
157: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
158: val s27 =
159: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
160: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
161: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
162: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
163: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
164: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
165: \\000\025\025\025\025\025\025\025\035\028\025\025\025\025\025\025\
166: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
167: val s28 =
168: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
169: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
170: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
171: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
172: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
173: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
174: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
175: \\025\025\025\025\029\025\025\025\025\025\025\000\000\000\000\000"
176: val s29 =
177: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
178: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
179: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
180: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
181: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
182: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
183: \\000\025\025\025\025\025\025\025\030\025\025\025\025\025\025\025\
184: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
185: val s30 =
186: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
187: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
188: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
189: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
190: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
191: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
192: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
193: \\025\025\025\025\031\025\025\025\025\025\025\000\000\000\000\000"
194: val s31 =
195: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
196: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
197: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
198: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
199: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
200: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
201: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
202: \\025\025\025\025\025\025\025\025\025\032\025\000\000\000\000\000"
203: val s32 =
204: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
205: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
206: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
207: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
208: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
209: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
210: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
211: \\033\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
212: val s33 =
213: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
214: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
215: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
216: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
217: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
218: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
219: \\000\025\025\025\025\034\025\025\025\025\025\025\025\025\025\025\
220: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
221: val s35 =
222: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
223: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
224: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
225: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
226: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
227: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
228: \\000\025\025\025\025\025\025\025\025\036\025\025\025\025\025\025\
229: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
230: val s36 =
231: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
232: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
233: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
234: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
235: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
236: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
237: \\000\025\025\025\025\025\025\025\025\025\025\025\037\025\025\025\
238: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
239: val s37 =
240: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
241: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
242: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
243: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
244: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
245: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
246: \\000\025\025\025\025\038\025\025\025\025\025\025\025\025\025\025\
247: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
248: val s39 =
249: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
250: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
251: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
252: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
253: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
254: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
255: \\000\040\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
256: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
257: val s40 =
258: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
259: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
260: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
261: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
262: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
263: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
264: \\000\025\025\025\025\025\025\025\025\025\025\025\041\025\025\025\
265: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
266: val s42 =
267: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
268: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
269: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
270: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
271: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
272: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
273: \\000\025\025\025\025\025\025\025\046\025\025\025\025\025\025\025\
274: \\025\025\025\025\025\025\025\025\025\043\025\000\000\000\000\000"
275: val s43 =
276: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
277: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
278: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
279: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
280: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
281: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
282: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
283: \\044\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
284: val s44 =
285: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
286: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
287: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
288: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
289: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
290: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
291: \\000\025\025\025\025\045\025\025\025\025\025\025\025\025\025\025\
292: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
293: val s46 =
294: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
295: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
296: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
297: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
298: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
299: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
300: \\000\025\025\025\025\047\025\025\025\025\025\025\025\025\025\025\
301: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
302: val s47 =
303: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
304: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
305: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
306: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
307: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
308: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
309: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\048\025\
310: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
311: val s49 =
312: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
313: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
314: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
315: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
316: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
317: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
318: \\000\025\025\025\025\025\025\025\066\058\025\025\025\025\025\025\
319: \\025\025\025\025\050\025\025\025\025\025\025\000\000\000\000\000"
320: val s50 =
321: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
322: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
323: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
324: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
325: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
326: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
327: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
328: \\025\025\051\025\025\025\025\025\025\025\025\000\000\000\000\000"
329: val s51 =
330: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
331: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
332: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
333: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
334: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
335: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
336: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
337: \\025\025\025\025\025\052\025\025\025\025\025\000\000\000\000\000"
338: val s52 =
339: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
340: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
341: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
342: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
343: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
344: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
345: \\000\025\025\053\025\025\025\025\025\025\025\025\025\025\025\025\
346: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
347: val s53 =
348: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
349: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
350: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
351: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
352: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
353: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
354: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
355: \\025\025\025\025\054\025\025\025\025\025\025\000\000\000\000\000"
356: val s54 =
357: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
358: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
359: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
360: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
361: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
362: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
363: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
364: \\025\025\025\025\025\055\025\025\025\025\025\000\000\000\000\000"
365: val s55 =
366: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
367: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
368: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
369: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
370: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
371: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
372: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
373: \\025\025\056\025\025\025\025\025\025\025\025\000\000\000\000\000"
374: val s56 =
375: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
376: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
377: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
378: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
379: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
380: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
381: \\000\025\025\025\025\057\025\025\025\025\025\025\025\025\025\025\
382: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
383: val s58 =
384: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
385: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
386: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
387: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
388: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
389: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
390: \\000\025\025\025\025\025\025\059\025\025\025\025\025\025\025\025\
391: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
392: val s59 =
393: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
394: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
395: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
396: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
397: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
398: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
399: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\060\025\
400: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
401: val s60 =
402: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
403: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
404: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
405: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
406: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
407: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
408: \\000\061\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
409: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
410: val s61 =
411: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
412: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
413: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
414: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
415: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
416: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
417: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
418: \\025\025\025\025\062\025\025\025\025\025\025\000\000\000\000\000"
419: val s62 =
420: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
421: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
422: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
423: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
424: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
425: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
426: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
427: \\025\025\025\025\025\063\025\025\025\025\025\000\000\000\000\000"
428: val s63 =
429: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
430: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
431: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
432: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
433: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
434: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
435: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
436: \\025\025\064\025\025\025\025\025\025\025\025\000\000\000\000\000"
437: val s64 =
438: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
439: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
440: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
441: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
442: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
443: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
444: \\000\025\025\025\025\065\025\025\025\025\025\025\025\025\025\025\
445: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
446: val s66 =
447: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
448: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
449: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
450: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
451: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
452: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
453: \\000\067\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
454: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
455: val s67 =
456: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
457: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
458: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
459: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
460: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
461: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
462: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
463: \\025\025\068\025\025\025\025\025\025\025\025\000\000\000\000\000"
464: val s68 =
465: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
466: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
467: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
468: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
469: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
470: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
471: \\000\025\025\025\025\025\025\025\025\069\025\025\025\025\025\025\
472: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
473: val s69 =
474: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
475: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
476: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
477: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
478: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
479: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
480: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\070\025\
481: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
482: val s70 =
483: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
484: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
485: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
486: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
487: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
488: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
489: \\000\025\025\025\025\025\025\071\025\025\025\025\025\025\025\025\
490: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
491: val s72 =
492: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
493: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
494: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
495: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
496: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
497: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
498: \\000\075\025\025\025\073\025\025\025\025\025\025\025\025\025\025\
499: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
500: val s73 =
501: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
502: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
503: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
504: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
505: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
506: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
507: \\000\025\025\074\025\025\025\025\025\025\025\025\025\025\025\025\
508: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
509: val s75 =
510: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
511: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
512: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
513: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
514: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
515: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
516: \\000\025\025\025\025\025\025\025\025\076\025\025\025\025\025\025\
517: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
518: val s76 =
519: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
520: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
521: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
522: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
523: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
524: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
525: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
526: \\025\025\025\077\025\025\025\025\025\025\025\000\000\000\000\000"
527: val s77 =
528: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
529: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
530: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
531: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
532: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
533: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
534: \\000\025\025\025\025\078\025\025\025\025\025\025\025\025\025\025\
535: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
536: val s79 =
537: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
538: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
539: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
540: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
541: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
542: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
543: \\000\025\025\025\025\025\095\025\025\025\025\025\025\025\025\025\
544: \\092\025\087\025\025\025\080\025\025\025\025\000\000\000\000\000"
545: val s80 =
546: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
547: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
548: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
549: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
550: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
551: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
552: \\000\025\025\025\025\081\025\025\025\025\025\025\025\025\025\025\
553: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
554: val s81 =
555: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
556: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
557: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
558: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
559: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
560: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
561: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
562: \\025\025\082\025\025\025\025\025\025\025\025\000\000\000\000\000"
563: val s82 =
564: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
565: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
566: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
567: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
568: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
569: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
570: \\000\025\025\025\025\025\025\025\025\025\025\025\083\025\025\025\
571: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
572: val s83 =
573: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
574: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
575: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
576: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
577: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
578: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
579: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\084\
580: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
581: val s84 =
582: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
583: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
584: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
585: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
586: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
587: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
588: \\000\085\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
589: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
590: val s85 =
591: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
592: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
593: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
594: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
595: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
596: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
597: \\000\025\025\025\086\025\025\025\025\025\025\025\025\025\025\025\
598: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
599: val s87 =
600: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
601: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
602: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
603: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
604: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
605: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
606: \\000\025\025\025\025\088\025\025\025\025\025\025\025\025\025\025\
607: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
608: val s88 =
609: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
610: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
611: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
612: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
613: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
614: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
615: \\000\025\025\025\025\025\025\025\025\025\025\025\089\025\025\025\
616: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
617: val s89 =
618: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
619: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
620: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
621: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
622: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
623: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
624: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
625: \\025\025\025\090\025\025\025\025\025\025\025\000\000\000\000\000"
626: val s90 =
627: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
628: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
629: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
630: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
631: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
632: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
633: \\000\025\025\025\025\091\025\025\025\025\025\025\025\025\025\025\
634: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
635: val s92 =
636: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
637: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
638: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
639: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
640: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
641: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
642: \\000\025\025\025\025\093\025\025\025\025\025\025\025\025\025\025\
643: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
644: val s93 =
645: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
646: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
647: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
648: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
649: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
650: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
651: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\094\025\
652: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
653: val s96 =
654: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
655: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
656: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
657: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
658: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
659: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
660: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\097\
661: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
662: val s97 =
663: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
664: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
665: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
666: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
667: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
668: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
669: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\098\025\
670: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
671: val s98 =
672: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
673: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
674: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
675: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
676: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
677: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
678: \\000\025\025\025\025\025\099\025\025\025\025\025\025\025\025\025\
679: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
680: val s99 =
681: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
682: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
683: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
684: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
685: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
686: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
687: \\000\025\025\025\025\025\025\025\025\100\025\025\025\025\025\025\
688: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
689: val s100 =
690: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
691: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
692: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
693: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
694: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
695: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
696: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
697: \\025\025\025\025\025\025\025\025\101\025\025\000\000\000\000\000"
698: val s102 =
699: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
700: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
701: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
702: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
703: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
704: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
705: \\000\025\025\025\025\107\025\025\025\025\025\025\025\025\025\103\
706: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
707: val s103 =
708: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
709: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
710: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
711: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
712: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
713: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
714: \\000\025\025\104\025\025\025\025\025\025\025\025\025\025\025\025\
715: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
716: val s104 =
717: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
718: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
719: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
720: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
721: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
722: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
723: \\000\105\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
724: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
725: val s105 =
726: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
727: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
728: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
729: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
730: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
731: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
732: \\000\025\025\025\025\025\025\025\025\025\025\025\106\025\025\025\
733: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
734: val s107 =
735: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
736: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
737: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
738: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
739: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
740: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
741: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
742: \\025\025\025\025\108\025\025\025\025\025\025\000\000\000\000\000"
743: val s109 =
744: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
745: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
746: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
747: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
748: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
749: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
750: \\000\025\025\025\025\025\125\025\025\025\025\025\025\120\110\025\
751: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
752: val s110 =
753: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
754: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
755: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
756: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
757: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
758: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
759: \\000\025\025\115\025\025\111\025\025\025\025\025\025\025\025\025\
760: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
761: val s111 =
762: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
763: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
764: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
765: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
766: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
767: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
768: \\000\025\025\025\025\025\025\025\025\112\025\025\025\025\025\025\
769: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
770: val s112 =
771: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
772: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
773: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
774: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
775: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
776: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
777: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
778: \\025\025\025\025\025\025\025\025\113\025\025\000\000\000\000\000"
779: val s113 =
780: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
781: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
782: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
783: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
784: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
785: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
786: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
787: \\025\025\114\025\025\025\025\025\025\025\025\000\000\000\000\000"
788: val s115 =
789: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
790: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
791: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
792: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
793: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
794: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
795: \\000\025\025\025\025\025\025\025\025\025\025\025\116\025\025\025\
796: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
797: val s116 =
798: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
799: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
800: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
801: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
802: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
803: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
804: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
805: \\025\025\025\025\025\117\025\025\025\025\025\000\000\000\000\000"
806: val s117 =
807: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
808: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
809: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
810: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
811: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
812: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
813: \\000\025\025\025\118\025\025\025\025\025\025\025\025\025\025\025\
814: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
815: val s118 =
816: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
817: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
818: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
819: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
820: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
821: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
822: \\000\025\025\025\025\119\025\025\025\025\025\025\025\025\025\025\
823: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
824: val s120 =
825: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
826: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
827: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
828: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
829: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
830: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
831: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
832: \\121\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
833: val s121 =
834: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
835: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
836: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
837: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
838: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
839: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
840: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\122\
841: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
842: val s122 =
843: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
844: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
845: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
846: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
847: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
848: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
849: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
850: \\025\025\123\025\025\025\025\025\025\025\025\000\000\000\000\000"
851: val s123 =
852: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
853: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
854: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
855: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
856: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
857: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
858: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
859: \\025\025\025\025\124\025\025\025\025\025\025\000\000\000\000\000"
860: val s126 =
861: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
862: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
863: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
864: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
865: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
866: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
867: \\000\127\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
868: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
869: val s127 =
870: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
871: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
872: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
873: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
874: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
875: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
876: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\128\025\
877: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
878: val s128 =
879: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
880: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
881: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
882: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
883: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
884: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
885: \\000\025\025\025\129\025\025\025\025\025\025\025\025\025\025\025\
886: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
887: val s129 =
888: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
889: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
890: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
891: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
892: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
893: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
894: \\000\025\025\025\025\025\025\025\025\025\025\025\130\025\025\025\
895: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
896: val s130 =
897: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
898: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
899: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
900: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
901: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
902: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
903: \\000\025\025\025\025\131\025\025\025\025\025\025\025\025\025\025\
904: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
905: val s132 =
906: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
907: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
908: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
909: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
910: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
911: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
912: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\139\025\
913: \\025\025\025\025\025\133\025\025\025\025\025\000\000\000\000\000"
914: val s133 =
915: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
916: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
917: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
918: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
919: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
920: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
921: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\134\025\
922: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
923: val s134 =
924: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
925: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
926: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
927: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
928: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
929: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
930: \\000\025\025\135\025\025\025\025\025\025\025\025\025\025\025\025\
931: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
932: val s135 =
933: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
934: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
935: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
936: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
937: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
938: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
939: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
940: \\025\025\025\025\136\025\025\025\025\025\025\000\000\000\000\000"
941: val s136 =
942: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
943: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
944: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
945: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
946: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
947: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
948: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\137\
949: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
950: val s137 =
951: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
952: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
953: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
954: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
955: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
956: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
957: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
958: \\025\025\138\025\025\025\025\025\025\025\025\000\000\000\000\000"
959: val s140 =
960: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
961: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
962: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
963: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
964: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
965: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
966: \\000\025\025\025\025\025\025\025\025\025\025\025\156\025\154\025\
967: \\025\149\025\025\025\025\025\025\141\025\025\000\000\000\000\000"
968: val s141 =
969: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
970: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
971: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
972: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
973: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
974: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
975: \\000\025\025\142\025\025\025\025\025\025\025\025\025\025\025\025\
976: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
977: val s142 =
978: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
979: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
980: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
981: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
982: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
983: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
984: \\000\025\025\025\025\143\025\025\025\025\025\025\025\025\025\025\
985: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
986: val s143 =
987: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
988: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
989: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
990: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
991: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
992: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
993: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
994: \\144\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
995: val s144 =
996: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
997: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
998: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
999: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1000: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1001: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1002: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1003: \\025\025\025\025\145\025\025\025\025\025\025\000\000\000\000\000"
1004: val s145 =
1005: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1006: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1007: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1008: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1009: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1010: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1011: \\000\025\025\025\025\025\025\025\025\146\025\025\025\025\025\025\
1012: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1013: val s146 =
1014: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1015: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1016: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1017: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1018: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1019: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1020: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\147\
1021: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1022: val s147 =
1023: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1024: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1025: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1026: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1027: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1028: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1029: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\148\025\
1030: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1031: val s149 =
1032: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1033: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1034: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1035: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1036: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1037: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1038: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1039: \\025\025\025\025\150\025\025\025\025\025\025\000\000\000\000\000"
1040: val s150 =
1041: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1042: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1043: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1044: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1045: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1046: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1047: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1048: \\025\025\025\025\025\025\025\025\025\151\025\000\000\000\000\000"
1049: val s151 =
1050: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1051: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1052: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1053: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1054: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1055: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1056: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1057: \\152\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1058: val s152 =
1059: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1060: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1061: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1062: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1063: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1064: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1065: \\000\025\025\025\025\153\025\025\025\025\025\025\025\025\025\025\
1066: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1067: val s154 =
1068: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1069: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1070: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1071: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1072: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1073: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1074: \\000\025\025\025\155\025\025\025\025\025\025\025\025\025\025\025\
1075: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1076: val s156 =
1077: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1078: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1079: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1080: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1081: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1082: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1083: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1084: \\025\025\025\157\025\025\025\025\025\025\025\000\000\000\000\000"
1085: val s157 =
1086: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1087: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1088: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1089: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1090: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1091: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1092: \\000\025\025\025\025\158\025\025\025\025\025\025\025\025\025\025\
1093: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1094: val s159 =
1095: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1096: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1097: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1098: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1099: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1100: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1101: \\000\161\025\025\025\025\025\025\025\025\025\025\025\025\025\160\
1102: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1103: val s161 =
1104: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1105: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1106: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1107: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1108: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1109: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1110: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1111: \\025\025\025\025\162\025\025\025\025\025\025\000\000\000\000\000"
1112: val s162 =
1113: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1114: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1115: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1116: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1117: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1118: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1119: \\000\163\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1120: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1121: val s163 =
1122: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1123: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1124: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1125: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1126: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1127: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1128: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1129: \\025\025\025\025\164\025\025\025\025\025\025\000\000\000\000\000"
1130: val s164 =
1131: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1132: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1133: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1134: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1135: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1136: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1137: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1138: \\025\025\025\025\025\025\025\025\025\165\025\000\000\000\000\000"
1139: val s165 =
1140: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1141: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1142: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1143: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1144: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1145: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1146: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1147: \\166\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1148: val s166 =
1149: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1150: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1151: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1152: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1153: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1154: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1155: \\000\025\025\025\025\167\025\025\025\025\025\025\025\025\025\025\
1156: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1157: val s168 =
1158: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1159: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1160: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1161: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1162: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1163: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1164: \\000\169\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1165: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1166: val s169 =
1167: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1168: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1169: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1170: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1171: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1172: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1173: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1174: \\025\025\025\170\025\025\025\025\025\025\025\000\000\000\000\000"
1175: val s170 =
1176: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1177: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1178: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1179: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1180: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1181: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1182: \\000\025\025\025\025\171\025\025\025\025\025\025\025\025\025\025\
1183: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1184: val s172 =
1185: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1186: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1187: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1188: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1189: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1190: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1191: \\000\025\180\025\025\025\025\025\025\025\025\025\025\025\174\025\
1192: \\025\025\025\173\025\025\025\025\025\025\025\000\000\000\000\000"
1193: val s174 =
1194: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1195: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1196: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1197: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1198: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1199: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1200: \\000\025\025\025\175\025\025\025\025\025\025\025\025\025\025\025\
1201: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1202: val s175 =
1203: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1204: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1205: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1206: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1207: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1208: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1209: \\000\176\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1210: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1211: val s176 =
1212: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1213: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1214: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1215: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1216: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1217: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1218: \\000\025\025\025\025\025\025\025\025\025\025\025\177\025\025\025\
1219: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1220: val s177 =
1221: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1222: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1223: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1224: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1225: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1226: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1227: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1228: \\025\025\025\178\025\025\025\025\025\025\025\000\000\000\000\000"
1229: val s178 =
1230: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1231: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1232: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1233: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1234: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1235: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1236: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\179\
1237: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1238: val s180 =
1239: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1240: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1241: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1242: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1243: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1244: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1245: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1246: \\025\025\025\181\025\025\025\025\025\025\025\000\000\000\000\000"
1247: val s181 =
1248: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1249: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1250: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1251: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1252: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1253: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1254: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1255: \\025\025\025\025\182\025\025\025\025\025\025\000\000\000\000\000"
1256: val s182 =
1257: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1258: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1259: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1260: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1261: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1262: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1263: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1264: \\025\025\186\025\025\025\025\025\025\183\025\000\000\000\000\000"
1265: val s183 =
1266: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1267: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1268: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1269: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1270: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1271: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1272: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1273: \\184\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1274: val s184 =
1275: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1276: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1277: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1278: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1279: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1280: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1281: \\000\025\025\025\025\185\025\025\025\025\025\025\025\025\025\025\
1282: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1283: val s186 =
1284: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1285: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1286: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1287: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1288: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1289: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1290: \\000\187\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1291: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1292: val s187 =
1293: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1294: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1295: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1296: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1297: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1298: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1299: \\000\025\025\188\025\025\025\025\025\025\025\025\025\025\025\025\
1300: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1301: val s188 =
1302: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1303: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1304: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1305: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1306: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1307: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1308: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1309: \\025\025\025\025\189\025\025\025\025\025\025\000\000\000\000\000"
1310: val s189 =
1311: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1312: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1313: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1314: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1315: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1316: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1317: \\000\025\025\025\025\025\025\025\025\190\025\025\025\025\025\025\
1318: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1319: val s190 =
1320: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1321: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1322: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1323: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1324: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1325: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1326: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\191\
1327: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1328: val s191 =
1329: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1330: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1331: \\000\000\000\000\000\000\000\025\000\000\000\000\000\000\026\000\
1332: \\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000\000\
1333: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\025\025\
1334: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\025\
1335: \\000\025\025\025\025\025\025\025\025\025\025\025\025\025\192\025\
1336: \\025\025\025\025\025\025\025\025\025\025\025\000\000\000\000\000"
1337: val s197 =
1338: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1339: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1340: \\000\011\000\011\011\011\011\000\000\000\011\011\000\011\000\011\
1341: \\000\000\000\000\000\000\000\000\000\000\011\000\011\011\198\011\
1342: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1343: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000\
1344: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1345: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000"
1346: val s201 =
1347: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1348: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1349: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\016\000\
1350: \\202\202\202\202\202\202\202\202\202\202\000\000\000\000\000\000\
1351: \\000\000\000\000\000\013\000\000\000\000\000\000\000\000\000\000\
1352: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1353: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1354: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1355: val s203 =
1356: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1357: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1358: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\204\000\
1359: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1360: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1361: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1362: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1363: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1364: val s204 =
1365: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1366: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1367: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\205\000\
1368: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1369: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1370: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1371: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1372: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1373: val s206 =
1374: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1375: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1376: \\000\011\000\011\011\011\011\000\000\000\011\011\000\011\000\011\
1377: \\000\000\000\000\000\000\000\000\000\000\011\000\011\011\207\011\
1378: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1379: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000\
1380: \\011\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1381: \\000\000\000\000\000\000\000\000\000\000\000\000\011\000\011\000"
1382: val s211 =
1383: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1384: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1385: \\000\000\000\000\000\000\000\000\000\000\212\000\000\000\000\000\
1386: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1387: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1388: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1389: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1390: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1391: val s213 =
1392: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1393: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1394: \\000\000\000\000\000\000\000\214\000\000\000\000\000\000\026\000\
1395: \\214\214\214\214\214\214\214\214\214\214\000\000\000\000\000\000\
1396: \\000\214\214\214\214\214\214\214\214\214\214\214\214\214\214\214\
1397: \\214\214\214\214\214\214\214\214\214\214\214\000\000\000\000\214\
1398: \\000\214\214\214\214\214\214\214\214\214\214\214\214\214\214\214\
1399: \\214\214\214\214\214\214\214\214\214\214\214\000\000\000\000\000"
1400: val s217 =
1401: "\000\000\000\000\000\000\000\000\000\218\000\000\000\000\000\000\
1402: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1403: \\218\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1404: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1405: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1406: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1407: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1408: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1409: val s221 =
1410: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1411: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1412: \\000\000\000\000\000\000\000\000\000\222\000\000\000\000\000\000\
1413: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1414: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1415: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1416: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1417: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1418: val s223 =
1419: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1420: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1421: \\000\000\000\000\000\000\000\000\000\000\224\000\000\000\000\000\
1422: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1423: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1424: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1425: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1426: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1427: val s226 =
1428: "\226\226\226\226\226\226\226\226\226\226\000\226\226\226\226\226\
1429: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
1430: \\226\226\000\226\226\226\226\226\226\226\226\226\226\226\226\226\
1431: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
1432: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
1433: \\226\226\226\226\226\226\226\226\226\226\226\226\000\226\226\226\
1434: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\
1435: \\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226\226"
1436: val s227 =
1437: "\000\000\000\000\000\000\000\000\000\237\238\000\000\000\000\000\
1438: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1439: \\237\000\236\000\000\000\000\000\000\000\000\000\000\000\000\000\
1440: \\233\233\233\233\233\233\233\233\233\233\000\000\000\000\000\000\
1441: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1442: \\000\000\000\000\000\000\000\000\000\000\000\000\232\000\230\000\
1443: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\229\000\
1444: \\000\000\000\000\228\000\000\000\000\000\000\000\000\000\000\000"
1445: val s230 =
1446: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1447: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1448: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1449: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1450: \\231\231\231\231\231\231\231\231\231\231\231\231\231\231\231\231\
1451: \\231\231\231\231\231\231\231\231\231\231\231\231\231\231\231\231\
1452: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1453: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1454: val s233 =
1455: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1456: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1457: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1458: \\234\234\234\234\234\234\234\234\234\234\000\000\000\000\000\000\
1459: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1460: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1461: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1462: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1463: val s234 =
1464: "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1465: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1466: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1467: \\235\235\235\235\235\235\235\235\235\235\000\000\000\000\000\000\
1468: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1469: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1470: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1471: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1472: val s243 =
1473: "\000\000\000\000\000\000\000\000\000\244\000\000\000\000\000\000\
1474: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1475: \\244\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1476: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1477: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1478: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1479: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
1480: \\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000"
1481: in arrayoflist
1482: [{fin = [], trans = s0},
1483: {fin = [(N 1)], trans = s1},
1484: {fin = [(N 1)], trans = s1},
1485: {fin = [], trans = s3},
1486: {fin = [], trans = s3},
1487: {fin = [(N 375)], trans = s5},
1488: {fin = [(N 375)], trans = s5},
1489: {fin = [(N 385)], trans = s7},
1490: {fin = [(N 385)], trans = s7},
1491: {fin = [(N 359)], trans = s0},
1492: {fin = [(N 325),(N 359)], trans = s10},
1493: {fin = [(N 325)], trans = s11},
1494: {fin = [(N 352)], trans = s12},
1495: {fin = [], trans = s13},
1496: {fin = [], trans = s14},
1497: {fin = [(N 345)], trans = s14},
1498: {fin = [], trans = s16},
1499: {fin = [(N 345)], trans = s17},
1500: {fin = [], trans = s18},
1501: {fin = [], trans = s19},
1502: {fin = [(N 345)], trans = s19},
1503: {fin = [(N 21),(N 359)], trans = s0},
1504: {fin = [(N 7),(N 325),(N 359)], trans = s11},
1505: {fin = [(N 19),(N 359)], trans = s0},
1506: {fin = [(N 325),(N 359)], trans = s24},
1507: {fin = [(N 325)], trans = s24},
1508: {fin = [(N 306)], trans = s0},
1509: {fin = [(N 325),(N 359)], trans = s27},
1510: {fin = [(N 325)], trans = s28},
1511: {fin = [(N 325)], trans = s29},
1512: {fin = [(N 271),(N 325)], trans = s30},
1513: {fin = [(N 325)], trans = s31},
1514: {fin = [(N 325)], trans = s32},
1515: {fin = [(N 325)], trans = s33},
1516: {fin = [(N 280),(N 325)], trans = s24},
1517: {fin = [(N 325)], trans = s35},
1518: {fin = [(N 325)], trans = s36},
1519: {fin = [(N 325)], trans = s37},
1520: {fin = [(N 266),(N 325)], trans = s24},
1521: {fin = [(N 325),(N 359)], trans = s39},
1522: {fin = [(N 325)], trans = s40},
1523: {fin = [(N 260),(N 325)], trans = s24},
1524: {fin = [(N 325),(N 359)], trans = s42},
1525: {fin = [(N 325)], trans = s43},
1526: {fin = [(N 325)], trans = s44},
1527: {fin = [(N 256),(N 325)], trans = s24},
1528: {fin = [(N 325)], trans = s46},
1529: {fin = [(N 325)], trans = s47},
1530: {fin = [(N 251),(N 325)], trans = s24},
1531: {fin = [(N 325),(N 359)], trans = s49},
1532: {fin = [(N 325)], trans = s50},
1533: {fin = [(N 325)], trans = s51},
1534: {fin = [(N 325)], trans = s52},
1535: {fin = [(N 325)], trans = s53},
1536: {fin = [(N 236),(N 325)], trans = s54},
1537: {fin = [(N 325)], trans = s55},
1538: {fin = [(N 325)], trans = s56},
1539: {fin = [(N 246),(N 325)], trans = s24},
1540: {fin = [(N 325)], trans = s58},
1541: {fin = [(N 219),(N 325)], trans = s59},
1542: {fin = [(N 325)], trans = s60},
1543: {fin = [(N 325)], trans = s61},
1544: {fin = [(N 325)], trans = s62},
1545: {fin = [(N 325)], trans = s63},
1546: {fin = [(N 325)], trans = s64},
1547: {fin = [(N 229),(N 325)], trans = s24},
1548: {fin = [(N 325)], trans = s66},
1549: {fin = [(N 325)], trans = s67},
1550: {fin = [(N 325)], trans = s68},
1551: {fin = [(N 325)], trans = s69},
1552: {fin = [(N 325)], trans = s70},
1553: {fin = [(N 215),(N 325)], trans = s24},
1554: {fin = [(N 325),(N 359)], trans = s72},
1555: {fin = [(N 325)], trans = s73},
1556: {fin = [(N 207),(N 325)], trans = s24},
1557: {fin = [(N 325)], trans = s75},
1558: {fin = [(N 325)], trans = s76},
1559: {fin = [(N 325)], trans = s77},
1560: {fin = [(N 203),(N 325)], trans = s24},
1561: {fin = [(N 325),(N 359)], trans = s79},
1562: {fin = [(N 325)], trans = s80},
1563: {fin = [(N 325)], trans = s81},
1564: {fin = [(N 325)], trans = s82},
1565: {fin = [(N 325)], trans = s83},
1566: {fin = [(N 325)], trans = s84},
1567: {fin = [(N 325)], trans = s85},
1568: {fin = [(N 197),(N 325)], trans = s24},
1569: {fin = [(N 325)], trans = s87},
1570: {fin = [(N 325)], trans = s88},
1571: {fin = [(N 325)], trans = s89},
1572: {fin = [(N 325)], trans = s90},
1573: {fin = [(N 287),(N 325)], trans = s24},
1574: {fin = [(N 183),(N 325)], trans = s92},
1575: {fin = [(N 325)], trans = s93},
1576: {fin = [(N 188),(N 325)], trans = s24},
1577: {fin = [(N 180),(N 325)], trans = s24},
1578: {fin = [(N 325),(N 359)], trans = s96},
1579: {fin = [(N 325)], trans = s97},
1580: {fin = [(N 325)], trans = s98},
1581: {fin = [(N 325)], trans = s99},
1582: {fin = [(N 325)], trans = s100},
1583: {fin = [(N 177),(N 325)], trans = s24},
1584: {fin = [(N 325),(N 359)], trans = s102},
1585: {fin = [(N 325)], trans = s103},
1586: {fin = [(N 325)], trans = s104},
1587: {fin = [(N 325)], trans = s105},
1588: {fin = [(N 170),(N 325)], trans = s24},
1589: {fin = [(N 325)], trans = s107},
1590: {fin = [(N 164),(N 325)], trans = s24},
1591: {fin = [(N 325),(N 359)], trans = s109},
1592: {fin = [(N 139),(N 325)], trans = s110},
1593: {fin = [(N 325)], trans = s111},
1594: {fin = [(N 325)], trans = s112},
1595: {fin = [(N 153),(N 325)], trans = s113},
1596: {fin = [(N 160),(N 325)], trans = s24},
1597: {fin = [(N 325)], trans = s115},
1598: {fin = [(N 325)], trans = s116},
1599: {fin = [(N 325)], trans = s117},
1600: {fin = [(N 325)], trans = s118},
1601: {fin = [(N 147),(N 325)], trans = s24},
1602: {fin = [(N 325)], trans = s120},
1603: {fin = [(N 325)], trans = s121},
1604: {fin = [(N 325)], trans = s122},
1605: {fin = [(N 325)], trans = s123},
1606: {fin = [(N 302),(N 325)], trans = s24},
1607: {fin = [(N 136),(N 325)], trans = s24},
1608: {fin = [(N 325),(N 359)], trans = s126},
1609: {fin = [(N 325)], trans = s127},
1610: {fin = [(N 325)], trans = s128},
1611: {fin = [(N 325)], trans = s129},
1612: {fin = [(N 325)], trans = s130},
1613: {fin = [(N 133),(N 325)], trans = s24},
1614: {fin = [(N 325),(N 359)], trans = s132},
1615: {fin = [(N 325)], trans = s133},
1616: {fin = [(N 118),(N 325)], trans = s134},
1617: {fin = [(N 325)], trans = s135},
1618: {fin = [(N 325)], trans = s136},
1619: {fin = [(N 325)], trans = s137},
1620: {fin = [(N 126),(N 325)], trans = s24},
1621: {fin = [(N 114),(N 325)], trans = s24},
1622: {fin = [(N 325),(N 359)], trans = s140},
1623: {fin = [(N 325)], trans = s141},
1624: {fin = [(N 325)], trans = s142},
1625: {fin = [(N 325)], trans = s143},
1626: {fin = [(N 325)], trans = s144},
1627: {fin = [(N 325)], trans = s145},
1628: {fin = [(N 325)], trans = s146},
1629: {fin = [(N 325)], trans = s147},
1630: {fin = [(N 105),(N 325)], trans = s24},
1631: {fin = [(N 325)], trans = s149},
1632: {fin = [(N 325)], trans = s150},
1633: {fin = [(N 325)], trans = s151},
1634: {fin = [(N 325)], trans = s152},
1635: {fin = [(N 95),(N 325)], trans = s24},
1636: {fin = [(N 325)], trans = s154},
1637: {fin = [(N 88),(N 325)], trans = s24},
1638: {fin = [(N 325)], trans = s156},
1639: {fin = [(N 325)], trans = s157},
1640: {fin = [(N 84),(N 325)], trans = s24},
1641: {fin = [(N 325),(N 359)], trans = s159},
1642: {fin = [(N 108),(N 325)], trans = s24},
1643: {fin = [(N 325)], trans = s161},
1644: {fin = [(N 325)], trans = s162},
1645: {fin = [(N 325)], trans = s163},
1646: {fin = [(N 325)], trans = s164},
1647: {fin = [(N 325)], trans = s165},
1648: {fin = [(N 325)], trans = s166},
1649: {fin = [(N 75),(N 325)], trans = s24},
1650: {fin = [(N 325),(N 359)], trans = s168},
1651: {fin = [(N 325)], trans = s169},
1652: {fin = [(N 325)], trans = s170},
1653: {fin = [(N 66),(N 325)], trans = s24},
1654: {fin = [(N 325),(N 359)], trans = s172},
1655: {fin = [(N 61),(N 325)], trans = s24},
1656: {fin = [(N 325)], trans = s174},
1657: {fin = [(N 35),(N 325)], trans = s175},
1658: {fin = [(N 325)], trans = s176},
1659: {fin = [(N 325)], trans = s177},
1660: {fin = [(N 325)], trans = s178},
1661: {fin = [(N 295),(N 325)], trans = s24},
1662: {fin = [(N 325)], trans = s180},
1663: {fin = [(N 325)], trans = s181},
1664: {fin = [(N 325)], trans = s182},
1665: {fin = [(N 325)], trans = s183},
1666: {fin = [(N 325)], trans = s184},
1667: {fin = [(N 55),(N 325)], trans = s24},
1668: {fin = [(N 325)], trans = s186},
1669: {fin = [(N 325)], trans = s187},
1670: {fin = [(N 325)], trans = s188},
1671: {fin = [(N 325)], trans = s189},
1672: {fin = [(N 325)], trans = s190},
1673: {fin = [(N 325)], trans = s191},
1674: {fin = [(N 47),(N 325)], trans = s24},
1675: {fin = [(N 325),(N 359)], trans = s11},
1676: {fin = [(N 13),(N 325),(N 359)], trans = s24},
1677: {fin = [(N 25),(N 359)], trans = s0},
1678: {fin = [(N 23),(N 359)], trans = s0},
1679: {fin = [(N 11),(N 325),(N 359)], trans = s197},
1680: {fin = [(N 111),(N 325)], trans = s11},
1681: {fin = [(N 27),(N 359)], trans = s0},
1682: {fin = [(N 9),(N 325),(N 359)], trans = s11},
1683: {fin = [(N 348),(N 359)], trans = s201},
1684: {fin = [(N 348)], trans = s201},
1685: {fin = [(N 359)], trans = s203},
1686: {fin = [], trans = s204},
1687: {fin = [(N 79),(N 310)], trans = s0},
1688: {fin = [(N 325),(N 359)], trans = s206},
1689: {fin = [(N 58),(N 325)], trans = s11},
1690: {fin = [(N 17),(N 359)], trans = s0},
1691: {fin = [(N 5),(N 325),(N 359)], trans = s11},
1692: {fin = [(N 31),(N 359)], trans = s0},
1693: {fin = [(N 29),(N 359)], trans = s211},
1694: {fin = [(N 357)], trans = s0},
1695: {fin = [(N 325),(N 359)], trans = s213},
1696: {fin = [(N 314),(N 325)], trans = s213},
1697: {fin = [(N 15),(N 325),(N 359)], trans = s11},
1698: {fin = [(N 354),(N 359)], trans = s0},
1699: {fin = [(N 1),(N 359)], trans = s217},
1700: {fin = [(N 1)], trans = s217},
1701: {fin = [(N 3)], trans = s0},
1702: {fin = [(N 369)], trans = s0},
1703: {fin = [(N 369)], trans = s221},
1704: {fin = [(N 367)], trans = s0},
1705: {fin = [(N 369)], trans = s223},
1706: {fin = [(N 362)], trans = s0},
1707: {fin = [(N 364)], trans = s0},
1708: {fin = [(N 375)], trans = s226},
1709: {fin = [(N 412)], trans = s227},
1710: {fin = [(N 392)], trans = s0},
1711: {fin = [(N 395)], trans = s0},
1712: {fin = [], trans = s230},
1713: {fin = [(N 405)], trans = s0},
1714: {fin = [(N 398)], trans = s0},
1715: {fin = [], trans = s233},
1716: {fin = [], trans = s234},
1717: {fin = [(N 410)], trans = s0},
1718: {fin = [(N 401)], trans = s0},
1719: {fin = [(N 381)], trans = s0},
1720: {fin = [(N 378)], trans = s0},
1721: {fin = [(N 371)], trans = s0},
1722: {fin = [(N 373)], trans = s0},
1723: {fin = [(N 389)], trans = s0},
1724: {fin = [(N 387),(N 389)], trans = s0},
1725: {fin = [(N 385),(N 389)], trans = s243},
1726: {fin = [(N 385)], trans = s243},
1727: {fin = [(N 383)], trans = s0}]
1728: end
1729: structure StartStates =
1730: struct
1731: datatype yystartstate = STARTSTATE of int
1732:
1733: (* start state definitions *)
1734:
1735: val A = STARTSTATE 3;
1736: val F = STARTSTATE 7;
1737: val INITIAL = STARTSTATE 1;
1738: val S = STARTSTATE 5;
1739:
1740: end
1741: type result = UserDeclarations.lexresult
1742: exception LexerError (* raised if illegal leaf action tried *)
1743: end
1744:
1745: fun makeLexer yyinput =
1746: let
1747: val yyb = ref "\n" (* buffer *)
1748: val yybl = ref 1 (*buffer length *)
1749: val yypos = ref 1 (* location of next character to use *)
1750: val yydone = ref false (* eof found yet? *)
1751: val yybegin = ref 1 (*Current 'start state' for lexer *)
1752:
1753: val YYBEGIN = fn (Internal.StartStates.STARTSTATE x) =>
1754: yybegin := x
1755:
1756: fun lex (yyarg as (arg as {comLevel,lineNum,complain})) =
1757: let fun continue() : Internal.result =
1758: let fun scan (s,AcceptingLeaves : Internal.yyfinstate list list,l,i0) =
1759: let fun action (i,nil) = raise LexError
1760: | action (i,nil::l) = action (i-1,l)
1761: | action (i,(node::acts)::l) =
1762: case node of
1763: Internal.N yyk =>
1764: (let val yytext = substring(!yyb,i0,i-i0)
1765: open UserDeclarations Internal.StartStates
1766: in (yypos := i; case yyk of
1767:
1768: (* Application actions *)
1769:
1770: 1 => (continue())
1771: | 105 => (Token.EXCEPTION)
1772: | 108 => (Token.DO)
1773: | 11 => (Token.EQUAL)
1774: | 111 => (Token.DARROW)
1775: | 114 => (Token.FN)
1776: | 118 => (Token.FUN)
1777: | 126 => (Token.FUNCTOR)
1778: | 13 => (Token.WILD)
1779: | 133 => (Token.HANDLE)
1780: | 136 => (Token.IF)
1781: | 139 => (Token.IN)
1782: | 147 => (Token.INCLUDE)
1783: | 15 => (Token.HASH)
1784: | 153 => (Token.INFIX)
1785: | 160 => (Token.INFIXR)
1786: | 164 => (Token.LET)
1787: | 17 => (Token.COMMA)
1788: | 170 => (Token.LOCAL)
1789: | 177 => (Token.NONFIX)
1790: | 180 => (Token.OF)
1791: | 183 => (Token.OP)
1792: | 188 => (Token.OPEN)
1793: | 19 => (Token.LBRACE)
1794: | 197 => (Token.OVERLOAD)
1795: | 203 => (Token.RAISE)
1796: | 207 => (Token.REC)
1797: | 21 => (Token.RBRACE)
1798: | 215 => (Token.SHARING)
1799: | 219 => (Token.SIG)
1800: | 229 => (Token.SIGNATURE)
1801: | 23 => (Token.LBRACKET)
1802: | 236 => (Token.STRUCT)
1803: | 246 => (Token.STRUCTURE)
1804: | 25 => (Token.RBRACKET)
1805: | 251 => (Token.THEN)
1806: | 256 => (Token.TYPE)
1807: | 260 => (Token.VAL)
1808: | 266 => (Token.WHILE)
1809: | 27 => (Token.SEMICOLON)
1810: | 271 => (Token.WITH)
1811: | 280 => (Token.WITHTYPE)
1812: | 287 => (Token.ORELSE)
1813: | 29 => (Token.LPAREN)
1814: | 295 => (Token.ANDALSO)
1815: | 3 => (inc lineNum; continue())
1816: | 302 => (Token.IMPORT)
1817: | 306 => (Token.IDDOT (Symbol.symbol(substring(yytext,0,size(yytext)-1))))
1818: | 31 => (Token.RPAREN)
1819: | 310 => (Token.DOTDOTDOT)
1820: | 314 => (Token.TYVAR(Symbol.symbol yytext))
1821: | 325 => (Token.ID(Symbol.symbol yytext))
1822: | 345 => (Token.REAL yytext)
1823: | 348 => (Token.INT(makeInt yytext
1824: handle Overflow => (complain "integer too large"; 0)))
1825: | 35 => (Token.AND)
1826: | 352 => (Token.INT(~(makeInt(substring(yytext,1,size(yytext)-1)))
1827: handle Overflow => (complain "integer too large"; 0)))
1828: | 354 => (charlist := nil; YYBEGIN S; continue())
1829: | 357 => (YYBEGIN A; comLevel := 1; continue())
1830: | 359 => (complain "illegal token"; continue())
1831: | 362 => (inc comLevel; continue())
1832: | 364 => (inc lineNum; continue())
1833: | 367 => (dec comLevel; if !comLevel=0 then YYBEGIN INITIAL else (); continue())
1834: | 369 => (continue())
1835: | 371 => (YYBEGIN INITIAL; Token.STRING(implode(rev(!charlist))))
1836: | 373 => (complain "unclosed string"; YYBEGIN INITIAL; Token.STRING "")
1837: | 375 => (addString yytext; continue())
1838: | 378 => (inc lineNum; YYBEGIN F; continue())
1839: | 381 => (YYBEGIN F; continue())
1840: | 383 => (inc lineNum; continue())
1841: | 385 => (continue())
1842: | 387 => (YYBEGIN S; continue())
1843: | 389 => (complain "unclosed string"; YYBEGIN INITIAL; Token.STRING "")
1844: | 392 => (addString "\t"; continue())
1845: | 395 => (addString "\n"; continue())
1846: | 398 => (addString "\\"; continue())
1847: | 401 => (addString(chr(Ascii.dquote)); continue())
1848: | 405 => (addString(chr(ordof(yytext,2)-ord("@"))); continue())
1849: | 410 => (let val x = ordof(yytext,1)*100
1850: +ordof(yytext,2)*10
1851: +ordof(yytext,3)
1852: -(Ascii.zero*111)
1853: in (if x>255
1854: then complain ("illegal ascii escape '"^yytext^"'")
1855: else addString (chr x);
1856: continue())
1857: end)
1858: | 412 => (complain "illegal string escape"; continue())
1859: | 47 => (Token.ABSTRACTION)
1860: | 5 => (Token.ASTERISK)
1861: | 55 => (Token.ABSTYPE)
1862: | 58 => (Token.ARROW)
1863: | 61 => (Token.AS)
1864: | 66 => (Token.CASE)
1865: | 7 => (Token.BAR)
1866: | 75 => (Token.DATATYPE)
1867: | 79 => (Token.DOTDOTDOT)
1868: | 84 => (Token.ELSE)
1869: | 88 => (Token.END)
1870: | 9 => (Token.COLON)
1871: | 95 => (Token.EQTYPE)
1872: | _ => raise Internal.LexerError
1873:
1874: ) end )
1875:
1876: val {fin,trans} = Internal.tab sub s
1877: val NewAcceptingLeaves = fin::AcceptingLeaves
1878: in if l = !yybl then
1879: let val newchars= if !yydone then "" else yyinput 1024
1880: in if (size newchars)=0
1881: then (yydone := true;
1882: if (l=i0) then UserDeclarations.eof yyarg
1883: else action(l,NewAcceptingLeaves))
1884: else (if i0=l then yyb := newchars
1885: else yyb := substring(!yyb,i0,l-i0)^newchars;
1886: yybl := size (!yyb);
1887: scan (s,AcceptingLeaves,l-i0,0))
1888: end
1889: else let val NewChar = ordof(!yyb,l)
1890: val NewState = ordof(trans,NewChar)
1891: in if NewState=0 then action(l,NewAcceptingLeaves)
1892: else scan(NewState,NewAcceptingLeaves,l+1,i0)
1893: end
1894: end
1895: (*
1896: val start= if substring(!yyb,!yypos-1,1)="\n"
1897: then !yybegin+1 else !yybegin
1898: *)
1899: in scan(!yybegin (* start *),nil,!yypos,!yypos)
1900: end
1901: in continue end
1902: in lex
1903: end
1904: end
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.