|
|
1.1 root 1: reading symbolic information ...
2: type BigEnum = (A1, A2, A3, A4, A5, A6, A7, A8, A9, A10, A11, A12, A13, A14, A15, B1, B2, B3, B4, B5, B6, B7, B8, B9, B10, B11, B12, B13, B14, B15, C1, C2, C3, C4, C5, C6, C7, C8, C9, C10, C11, C12, C13, C14, C15, D1, D2, D3, D4, D5, D6, D7, D8, D9, D10, D11, D12, D13, D14, D15, E1, E2, E3, E4, E5, E6, E7, E8, E9, E10, E11, E12, E13, E14, E15, F1, F2, F3, F4, F5, F6, F7, F8, F9, F10, F11, F12, F13, F14, F15, G1, G2, G3, G4, G5, G6, G7, G8, G9, G10, G11, G12, G13, G14, G15, H1, H2, H3, H4, H5, H6, H7, H8, H9, H10, H11, H12, H13, H14, H15, I1, I2, I3, I4, I5, I6, I7, I8, I9, I10, I11, I12, I13, I14, I15, J1, J2, J3, J4, J5, J6, J7, J8, J9, J10, J11, J12, J13, J14, J15, K1, K2, K3, K4, K5, K6, K7, K8, K9, K10, K11, K12, K13, K14, K15, L1, L2, L3, L4, L5, L6, L7, L8, L9, L10, L11, L12, L13, L14, L15, M1, M2, M3, M4, M5, M6, M7, M8, M9, M10, M11, M12, M13, M14, M15, N1, N2, N3, N4, N5, N6, N7, N8, N9, N10, N11, N12, N13, N14, N15, O1, O2, O3, O4, O5, O6, O7, O8, O9, O10, O11, O12, O13, O14, O15, P1, P2, P3, P4, P5, P6, P7, P8, P9, P10, P11, P12, P13, P14, P15, Q1, Q2, Q3, Q4, Q5, Q6, Q7, Q8, Q9, Q10, Q11, Q12, Q13, Q14, Q15, R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14, R15, S1, S2, S3, S4, S5, S6, S7, S8, S9, S10, S11, S12, S13, S14, S15, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, U1, U2, U3, U4, U5, U6, U7, U8, U9, U10, U11, U12, U13, U14, U15, V1, V2, V3, V4, V5, V6, V7, V8, V9, V10, V11, V12, V13, V14, V15, W1, W2, W3, W4, W5, W6, W7, W8, W9, W10, W11, W12, W13, W14, W15, X1, X2, X3, X4, X5, X6, X7, X8, X9, X10, X11, X12, X13, X14, X15, Y1, Y2, Y3, Y4, Y5, Y6, Y7, Y8, Y9, Y10, Y11, Y12, Y13, Y14, Y15, Z1, Z2, Z3, Z4, Z5, Z6, Z7, Z8, Z9, Z10, Z11, Z12, Z13, Z14, Z15);
3: type BigRec = record
4: A1 : integer;
5: A2 : integer;
6: A3 : integer;
7: A4 : integer;
8: A5 : integer;
9: A6 : integer;
10: A7 : integer;
11: A8 : integer;
12: A9 : integer;
13: A10 : integer;
14: A11 : integer;
15: A12 : integer;
16: A13 : integer;
17: A14 : integer;
18: A15 : integer;
19: B1 : integer;
20: B2 : integer;
21: B3 : integer;
22: B4 : integer;
23: B5 : integer;
24: B6 : integer;
25: B7 : integer;
26: B8 : integer;
27: B9 : integer;
28: B10 : integer;
29: B11 : integer;
30: B12 : integer;
31: B13 : integer;
32: B14 : integer;
33: B15 : integer;
34: C1 : integer;
35: C2 : integer;
36: C3 : integer;
37: C4 : integer;
38: C5 : integer;
39: C6 : integer;
40: C7 : integer;
41: C8 : integer;
42: C9 : integer;
43: C10 : integer;
44: C11 : integer;
45: C12 : integer;
46: C13 : integer;
47: C14 : integer;
48: C15 : integer;
49: D1 : integer;
50: D2 : integer;
51: D3 : integer;
52: D4 : integer;
53: D5 : integer;
54: D6 : integer;
55: D7 : integer;
56: D8 : integer;
57: D9 : integer;
58: D10 : integer;
59: D11 : integer;
60: D12 : integer;
61: D13 : integer;
62: D14 : integer;
63: D15 : integer;
64: E1 : integer;
65: E2 : integer;
66: E3 : integer;
67: E4 : integer;
68: E5 : integer;
69: E6 : integer;
70: E7 : integer;
71: E8 : integer;
72: E9 : integer;
73: E10 : integer;
74: E11 : integer;
75: E12 : integer;
76: E13 : integer;
77: E14 : integer;
78: E15 : integer;
79: F1 : integer;
80: F2 : integer;
81: F3 : integer;
82: F4 : integer;
83: F5 : integer;
84: F6 : integer;
85: F7 : integer;
86: F8 : integer;
87: F9 : integer;
88: F10 : integer;
89: F11 : integer;
90: F12 : integer;
91: F13 : integer;
92: F14 : integer;
93: F15 : integer;
94: G1 : integer;
95: G2 : integer;
96: G3 : integer;
97: G4 : integer;
98: G5 : integer;
99: G6 : integer;
100: G7 : integer;
101: G8 : integer;
102: G9 : integer;
103: G10 : integer;
104: G11 : integer;
105: G12 : integer;
106: G13 : integer;
107: G14 : integer;
108: G15 : integer;
109: H1 : integer;
110: H2 : integer;
111: H3 : integer;
112: H4 : integer;
113: H5 : integer;
114: H6 : integer;
115: H7 : integer;
116: H8 : integer;
117: H9 : integer;
118: H10 : integer;
119: H11 : integer;
120: H12 : integer;
121: H13 : integer;
122: H14 : integer;
123: H15 : integer;
124: I1 : integer;
125: I2 : integer;
126: I3 : integer;
127: I4 : integer;
128: I5 : integer;
129: I6 : integer;
130: I7 : integer;
131: I8 : integer;
132: I9 : integer;
133: I10 : integer;
134: I11 : integer;
135: I12 : integer;
136: I13 : integer;
137: I14 : integer;
138: I15 : integer;
139: J1 : integer;
140: J2 : integer;
141: J3 : integer;
142: J4 : integer;
143: J5 : integer;
144: J6 : integer;
145: J7 : integer;
146: J8 : integer;
147: J9 : integer;
148: J10 : integer;
149: J11 : integer;
150: J12 : integer;
151: J13 : integer;
152: J14 : integer;
153: J15 : integer;
154: K1 : integer;
155: K2 : integer;
156: K3 : integer;
157: K4 : integer;
158: K5 : integer;
159: K6 : integer;
160: K7 : integer;
161: K8 : integer;
162: K9 : integer;
163: K10 : integer;
164: K11 : integer;
165: K12 : integer;
166: K13 : integer;
167: K14 : integer;
168: K15 : integer;
169: L1 : integer;
170: L2 : integer;
171: L3 : integer;
172: L4 : integer;
173: L5 : integer;
174: L6 : integer;
175: L7 : integer;
176: L8 : integer;
177: L9 : integer;
178: L10 : integer;
179: L11 : integer;
180: L12 : integer;
181: L13 : integer;
182: L14 : integer;
183: L15 : integer;
184: M1 : integer;
185: M2 : integer;
186: M3 : integer;
187: M4 : integer;
188: M5 : integer;
189: M6 : integer;
190: M7 : integer;
191: M8 : integer;
192: M9 : integer;
193: M10 : integer;
194: M11 : integer;
195: M12 : integer;
196: M13 : integer;
197: M14 : integer;
198: M15 : integer;
199: N1 : integer;
200: N2 : integer;
201: N3 : integer;
202: N4 : integer;
203: N5 : integer;
204: N6 : integer;
205: N7 : integer;
206: N8 : integer;
207: N9 : integer;
208: N10 : integer;
209: N11 : integer;
210: N12 : integer;
211: N13 : integer;
212: N14 : integer;
213: N15 : integer;
214: O1 : integer;
215: O2 : integer;
216: O3 : integer;
217: O4 : integer;
218: O5 : integer;
219: O6 : integer;
220: O7 : integer;
221: O8 : integer;
222: O9 : integer;
223: O10 : integer;
224: O11 : integer;
225: O12 : integer;
226: O13 : integer;
227: O14 : integer;
228: O15 : integer;
229: P1 : integer;
230: P2 : integer;
231: P3 : integer;
232: P4 : integer;
233: P5 : integer;
234: P6 : integer;
235: P7 : integer;
236: P8 : integer;
237: P9 : integer;
238: P10 : integer;
239: P11 : integer;
240: P12 : integer;
241: P13 : integer;
242: P14 : integer;
243: P15 : integer;
244: Q1 : integer;
245: Q2 : integer;
246: Q3 : integer;
247: Q4 : integer;
248: Q5 : integer;
249: Q6 : integer;
250: Q7 : integer;
251: Q8 : integer;
252: Q9 : integer;
253: Q10 : integer;
254: Q11 : integer;
255: Q12 : integer;
256: Q13 : integer;
257: Q14 : integer;
258: Q15 : integer;
259: R1 : integer;
260: R2 : integer;
261: R3 : integer;
262: R4 : integer;
263: R5 : integer;
264: R6 : integer;
265: R7 : integer;
266: R8 : integer;
267: R9 : integer;
268: R10 : integer;
269: R11 : integer;
270: R12 : integer;
271: R13 : integer;
272: R14 : integer;
273: R15 : integer;
274: S1 : integer;
275: S2 : integer;
276: S3 : integer;
277: S4 : integer;
278: S5 : integer;
279: S6 : integer;
280: S7 : integer;
281: S8 : integer;
282: S9 : integer;
283: S10 : integer;
284: S11 : integer;
285: S12 : integer;
286: S13 : integer;
287: S14 : integer;
288: S15 : integer;
289: T1 : integer;
290: T2 : integer;
291: T3 : integer;
292: T4 : integer;
293: T5 : integer;
294: T6 : integer;
295: T7 : integer;
296: T8 : integer;
297: T9 : integer;
298: T10 : integer;
299: T11 : integer;
300: T12 : integer;
301: T13 : integer;
302: T14 : integer;
303: T15 : integer;
304: U1 : integer;
305: U2 : integer;
306: U3 : integer;
307: U4 : integer;
308: U5 : integer;
309: U6 : integer;
310: U7 : integer;
311: U8 : integer;
312: U9 : integer;
313: U10 : integer;
314: U11 : integer;
315: U12 : integer;
316: U13 : integer;
317: U14 : integer;
318: U15 : integer;
319: V1 : integer;
320: V2 : integer;
321: V3 : integer;
322: V4 : integer;
323: V5 : integer;
324: V6 : integer;
325: V7 : integer;
326: V8 : integer;
327: V9 : integer;
328: V10 : integer;
329: V11 : integer;
330: V12 : integer;
331: V13 : integer;
332: V14 : integer;
333: V15 : integer;
334: W1 : integer;
335: W2 : integer;
336: W3 : integer;
337: W4 : integer;
338: W5 : integer;
339: W6 : integer;
340: W7 : integer;
341: W8 : integer;
342: W9 : integer;
343: W10 : integer;
344: W11 : integer;
345: W12 : integer;
346: W13 : integer;
347: W14 : integer;
348: W15 : integer;
349: X1 : integer;
350: X2 : integer;
351: X3 : integer;
352: X4 : integer;
353: X5 : integer;
354: X6 : integer;
355: X7 : integer;
356: X8 : integer;
357: X9 : integer;
358: X10 : integer;
359: X11 : integer;
360: X12 : integer;
361: X13 : integer;
362: X14 : integer;
363: X15 : integer;
364: Y1 : integer;
365: Y2 : integer;
366: Y3 : integer;
367: Y4 : integer;
368: Y5 : integer;
369: Y6 : integer;
370: Y7 : integer;
371: Y8 : integer;
372: Y9 : integer;
373: Y10 : integer;
374: Y11 : integer;
375: Y12 : integer;
376: Y13 : integer;
377: Y14 : integer;
378: Y15 : integer;
379: Z1 : integer;
380: Z2 : integer;
381: Z3 : integer;
382: Z4 : integer;
383: Z5 : integer;
384: Z6 : integer;
385: Z7 : integer;
386: Z8 : integer;
387: Z9 : integer;
388: Z10 : integer;
389: Z11 : integer;
390: Z12 : integer;
391: Z13 : integer;
392: Z14 : integer;
393: Z15 : integer;
394: end;
395: type BigRec2 = record
396: abcdefghijklmnopqrstuvwxyz : integer;
397: bcdefghijklmnopqrstuvwxyza : integer;
398: cdefghijklmnopqrstuvwxyzab : integer;
399: defghijklmnopqrstuvwxyzabc : integer;
400: efghijklmnopqrstuvwxyzabcd : integer;
401: fghijklmnopqrstuvwxyzabcde : integer;
402: end;
403:
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.