File: finalize.6.ok

package info (click to toggle)
mlton 20210117%2Bdfsg-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 58,464 kB
  • sloc: ansic: 27,682; sh: 4,455; asm: 3,569; lisp: 2,879; makefile: 2,347; perl: 1,169; python: 191; pascal: 68; javascript: 7
file content (500 lines) | stat: -rw-r--r-- 3,892 bytes parent folder | download | duplicates (7)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
5000000
4990000
4980000
4970000
4960000
4950000
4940000
4930000
4920000
4910000
4900000
4890000
4880000
4870000
4860000
4850000
4840000
4830000
4820000
4810000
4800000
4790000
4780000
4770000
4760000
4750000
4740000
4730000
4720000
4710000
4700000
4690000
4680000
4670000
4660000
4650000
4640000
4630000
4620000
4610000
4600000
4590000
4580000
4570000
4560000
4550000
4540000
4530000
4520000
4510000
4500000
4490000
4480000
4470000
4460000
4450000
4440000
4430000
4420000
4410000
4400000
4390000
4380000
4370000
4360000
4350000
4340000
4330000
4320000
4310000
4300000
4290000
4280000
4270000
4260000
4250000
4240000
4230000
4220000
4210000
4200000
4190000
4180000
4170000
4160000
4150000
4140000
4130000
4120000
4110000
4100000
4090000
4080000
4070000
4060000
4050000
4040000
4030000
4020000
4010000
4000000
3990000
3980000
3970000
3960000
3950000
3940000
3930000
3920000
3910000
3900000
3890000
3880000
3870000
3860000
3850000
3840000
3830000
3820000
3810000
3800000
3790000
3780000
3770000
3760000
3750000
3740000
3730000
3720000
3710000
3700000
3690000
3680000
3670000
3660000
3650000
3640000
3630000
3620000
3610000
3600000
3590000
3580000
3570000
3560000
3550000
3540000
3530000
3520000
3510000
3500000
3490000
3480000
3470000
3460000
3450000
3440000
3430000
3420000
3410000
3400000
3390000
3380000
3370000
3360000
3350000
3340000
3330000
3320000
3310000
3300000
3290000
3280000
3270000
3260000
3250000
3240000
3230000
3220000
3210000
3200000
3190000
3180000
3170000
3160000
3150000
3140000
3130000
3120000
3110000
3100000
3090000
3080000
3070000
3060000
3050000
3040000
3030000
3020000
3010000
3000000
2990000
2980000
2970000
2960000
2950000
2940000
2930000
2920000
2910000
2900000
2890000
2880000
2870000
2860000
2850000
2840000
2830000
2820000
2810000
2800000
2790000
2780000
2770000
2760000
2750000
2740000
2730000
2720000
2710000
2700000
2690000
2680000
2670000
2660000
2650000
2640000
2630000
2620000
2610000
2600000
2590000
2580000
2570000
2560000
2550000
2540000
2530000
2520000
2510000
2500000
2490000
2480000
2470000
2460000
2450000
2440000
2430000
2420000
2410000
2400000
2390000
2380000
2370000
2360000
2350000
2340000
2330000
2320000
2310000
2300000
2290000
2280000
2270000
2260000
2250000
2240000
2230000
2220000
2210000
2200000
2190000
2180000
2170000
2160000
2150000
2140000
2130000
2120000
2110000
2100000
2090000
2080000
2070000
2060000
2050000
2040000
2030000
2020000
2010000
2000000
1990000
1980000
1970000
1960000
1950000
1940000
1930000
1920000
1910000
1900000
1890000
1880000
1870000
1860000
1850000
1840000
1830000
1820000
1810000
1800000
1790000
1780000
1770000
1760000
1750000
1740000
1730000
1720000
1710000
1700000
1690000
1680000
1670000
1660000
1650000
1640000
1630000
1620000
1610000
1600000
1590000
1580000
1570000
1560000
1550000
1540000
1530000
1520000
1510000
1500000
1490000
1480000
1470000
1460000
1450000
1440000
1430000
1420000
1410000
1400000
1390000
1380000
1370000
1360000
1350000
1340000
1330000
1320000
1310000
1300000
1290000
1280000
1270000
1260000
1250000
1240000
1230000
1220000
1210000
1200000
1190000
1180000
1170000
1160000
1150000
1140000
1130000
1120000
1110000
1100000
1090000
1080000
1070000
1060000
1050000
1040000
1030000
1020000
1010000
1000000
990000
980000
970000
960000
950000
940000
930000
920000
910000
900000
890000
880000
870000
860000
850000
840000
830000
820000
810000
800000
790000
780000
770000
760000
750000
740000
730000
720000
710000
700000
690000
680000
670000
660000
650000
640000
630000
620000
610000
600000
590000
580000
570000
560000
550000
540000
530000
520000
510000
500000
490000
480000
470000
460000
450000
440000
430000
420000
410000
400000
390000
380000
370000
360000
350000
340000
330000
320000
310000
300000
290000
280000
270000
260000
250000
240000
230000
220000
210000
200000
190000
180000
170000
160000
150000
140000
130000
120000
110000
100000
90000
80000
70000
60000
50000
40000
30000
20000
10000