blob: 5cc3c36c8f55a1d8fae00f2300c0c2d22960a839 (
plain) (
blame)
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
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
|
00 Basser Lout Version 3.39 (September 2010) database index file
00symbol 10 @BasicSetup @DocumentSetup @FigurePrefixMarker
00symbol 11 @BasicSetup @DocumentSetup @FigureCounterMarker
00symbol 12 @BasicSetup @DocumentSetup @FootNoteCounterMarker
00symbol 13 @BasicSetup @PageMarker
00symbol 14 @BasicSetup @DocumentSetup @Runner
00symbol 15 @BasicSetup @DocumentSetup @OverheadSetup @OverheadsList
00symbol 16 @BasicSetup @DocumentSetup @OverheadSetup @Overhead
00symbol 17 @BasicSetup @NumberMarker
00symbol 18 @BasicSetup @TitleMarker
00symbol 19 @BasicSetup listitem
00symbol 1 @BasicSetup @DocumentSetup @OverheadSetup @StoreTitle
00symbol 2 @BasicSetup @DocumentSetup @TheoremCounterMarker
00symbol 3 @BasicSetup @DocumentSetup @DefinitionCounterMarker
00symbol 4 @BasicSetup @DocumentSetup @ClaimCounterMarker
00symbol 5 @BasicSetup @DocumentSetup @PropositionCounterMarker
00symbol 6 @BasicSetup @DocumentSetup @LemmaCounterMarker
00symbol 7 @BasicSetup @DocumentSetup @CorollaryCounterMarker
00symbol 8 @BasicSetup @DocumentSetup @ExampleCounterMarker
00symbol 9 @BasicSetup @NumDispCounterMarker
10&9.3762.all.1 0 00010 1675 119 all
10&9.3762.all.2 0 00012 1829 133 all
11&9.3770.all.1 0 00011 1751 126 all
11&9.3770.all.2 0 00013 1905 140 all
12&9.1551.all.1 0 00014 1983 147 all
12&9.1551.all.10 0 00228 41745 2807 all
12&9.1551.all.11 0 00239 45616 3042 all
12&9.1551.all.12 0 00254 49875 3308 all
12&9.1551.all.13 0 00277 54559 3613 all
12&9.1551.all.14 0 00292 58760 3879 all
12&9.1551.all.15 0 00303 62628 4114 all
12&9.1551.all.16 0 00330 67506 4440 all
12&9.1551.all.17 0 00341 71377 4675 all
12&9.1551.all.18 0 00352 75263 4911 all
12&9.1551.all.19 0 00363 79167 5146 all
12&9.1551.all.2 0 00020 3155 243 all
12&9.1551.all.20 0 00374 83071 5382 all
12&9.1551.all.21 0 00385 86927 5617 all
12&9.1551.all.22 0 00412 91791 5943 all
12&9.1551.all.23 0 00455 97685 6356 all
12&9.1551.all.24 0 00490 103102 6726 all
12&9.1551.all.25 0 00517 108010 7051 all
12&9.1551.all.26 0 00552 113392 7424 all
12&9.1551.all.27 0 00571 117788 7709 all
12&9.1551.all.3 0 00031 6962 478 all
12&9.1551.all.4 0 00054 11628 784 all
12&9.1551.all.5 0 00065 15481 1019 all
12&9.1551.all.6 0 00096 20613 1369 all
12&9.1551.all.7 0 00135 26241 1758 all
12&9.1551.all.8 0 00170 31673 2128 all
12&9.1551.all.9 0 00193 36286 2433 all
13&10.260.all.1 0 00024 3235 250 all
13&10.260.all.10 0 00243 45697 3049 all
13&10.260.all.11 0 00258 49956 3315 all
13&10.260.all.12 0 00281 54640 3620 all
13&10.260.all.13 0 00296 58841 3886 all
13&10.260.all.14 0 00307 62709 4121 all
13&10.260.all.15 0 00334 67587 4447 all
13&10.260.all.16 0 00345 71458 4682 all
13&10.260.all.17 0 00356 75344 4918 all
13&10.260.all.18 0 00367 79248 5153 all
13&10.260.all.19 0 00378 83152 5389 all
13&10.260.all.2 0 00035 7042 485 all
13&10.260.all.20 0 00389 87008 5624 all
13&10.260.all.21 0 00416 91872 5950 all
13&10.260.all.22 0 00459 97766 6363 all
13&10.260.all.23 0 00494 103183 6733 all
13&10.260.all.24 0 00521 108091 7058 all
13&10.260.all.25 0 00556 113473 7431 all
13&10.260.all.26 0 00575 117869 7716 all
13&10.260.all.3 0 00058 11708 791 all
13&10.260.all.4 0 00069 15561 1026 all
13&10.260.all.5 0 00100 20693 1376 all
13&10.260.all.6 0 00139 26321 1765 all
13&10.260.all.7 0 00174 31753 2135 all
13&10.260.all.8 0 00197 36366 2440 all
13&10.260.all.9 0 00232 41826 2814 all
13&4.1230.all.1 0 00015 2063 154 all
13&4.1230.all.10 0 00229 41826 2814 all
13&4.1230.all.11 0 00240 45697 3049 all
13&4.1230.all.12 0 00255 49956 3315 all
13&4.1230.all.13 0 00278 54640 3620 all
13&4.1230.all.14 0 00293 58841 3886 all
13&4.1230.all.15 0 00304 62709 4121 all
13&4.1230.all.16 0 00331 67587 4447 all
13&4.1230.all.17 0 00342 71458 4682 all
13&4.1230.all.18 0 00353 75344 4918 all
13&4.1230.all.19 0 00364 79248 5153 all
13&4.1230.all.2 0 00021 3235 250 all
13&4.1230.all.20 0 00375 83152 5389 all
13&4.1230.all.21 0 00386 87008 5624 all
13&4.1230.all.22 0 00413 91872 5950 all
13&4.1230.all.23 0 00456 97766 6363 all
13&4.1230.all.24 0 00491 103183 6733 all
13&4.1230.all.25 0 00518 108091 7058 all
13&4.1230.all.26 0 00553 113473 7431 all
13&4.1230.all.27 0 00572 117869 7716 all
13&4.1230.all.3 0 00032 7042 485 all
13&4.1230.all.4 0 00055 11708 791 all
13&4.1230.all.5 0 00066 15561 1026 all
13&4.1230.all.6 0 00097 20693 1376 all
13&4.1230.all.7 0 00136 26321 1765 all
13&4.1230.all.8 0 00171 31753 2135 all
13&4.1230.all.9 0 00194 36366 2440 all
13&4.1748.all.1 0 00042 7042 485 all
13&4.1748.all.10 0 00127 20693 1376 all
13&4.1748.all.11 0 00114 20693 1376 all
13&4.1748.all.12 0 00118 20693 1376 all
13&4.1748.all.13 0 00122 20693 1376 all
13&4.1748.all.14 0 00126 20693 1376 all
13&4.1748.all.15 0 00131 20693 1376 all
13&4.1748.all.16 0 00146 26321 1765 all
13&4.1748.all.17 0 00150 26321 1765 all
13&4.1748.all.18 0 00158 26321 1765 all
13&4.1748.all.19 0 00157 26321 1765 all
13&4.1748.all.2 0 00046 7042 485 all
13&4.1748.all.20 0 00162 26321 1765 all
13&4.1748.all.21 0 00166 26321 1765 all
13&4.1748.all.22 0 00181 31753 2135 all
13&4.1748.all.23 0 00185 31753 2135 all
13&4.1748.all.24 0 00189 31753 2135 all
13&4.1748.all.25 0 00208 36366 2440 all
13&4.1748.all.26 0 00207 36366 2440 all
13&4.1748.all.27 0 00224 36366 2440 all
13&4.1748.all.28 0 00215 36366 2440 all
13&4.1748.all.29 0 00219 36366 2440 all
13&4.1748.all.3 0 00050 7042 485 all
13&4.1748.all.30 0 00223 36366 2440 all
13&4.1748.all.31 0 00250 45697 3049 all
13&4.1748.all.32 0 00265 49956 3315 all
13&4.1748.all.33 0 00269 49956 3315 all
13&4.1748.all.34 0 00273 49956 3315 all
13&4.1748.all.35 0 00288 54640 3620 all
13&4.1748.all.36 0 00314 62709 4121 all
13&4.1748.all.37 0 00318 62709 4121 all
13&4.1748.all.38 0 00322 62709 4121 all
13&4.1748.all.39 0 00326 62709 4121 all
13&4.1748.all.4 0 00076 15561 1026 all
13&4.1748.all.40 0 00396 87008 5624 all
13&4.1748.all.41 0 00400 87008 5624 all
13&4.1748.all.42 0 00404 87008 5624 all
13&4.1748.all.43 0 00408 87008 5624 all
13&4.1748.all.44 0 00423 91872 5950 all
13&4.1748.all.45 0 00431 91872 5950 all
13&4.1748.all.46 0 00430 91872 5950 all
13&4.1748.all.47 0 00447 91872 5950 all
13&4.1748.all.48 0 00438 91872 5950 all
13&4.1748.all.49 0 00442 91872 5950 all
13&4.1748.all.5 0 00088 15561 1026 all
13&4.1748.all.50 0 00446 91872 5950 all
13&4.1748.all.51 0 00451 91872 5950 all
13&4.1748.all.52 0 00466 97766 6363 all
13&4.1748.all.53 0 00478 97766 6363 all
13&4.1748.all.54 0 00473 97766 6363 all
13&4.1748.all.55 0 00477 97766 6363 all
13&4.1748.all.56 0 00482 97766 6363 all
13&4.1748.all.57 0 00486 97766 6363 all
13&4.1748.all.58 0 00501 103183 6733 all
13&4.1748.all.59 0 00505 103183 6733 all
13&4.1748.all.6 0 00083 15561 1026 all
13&4.1748.all.60 0 00509 103183 6733 all
13&4.1748.all.61 0 00513 103183 6733 all
13&4.1748.all.62 0 00528 108091 7058 all
13&4.1748.all.63 0 00532 108091 7058 all
13&4.1748.all.64 0 00536 108091 7058 all
13&4.1748.all.65 0 00540 108091 7058 all
13&4.1748.all.66 0 00548 108091 7058 all
13&4.1748.all.67 0 00547 108091 7058 all
13&4.1748.all.68 0 00563 113473 7431 all
13&4.1748.all.69 0 00567 113473 7431 all
13&4.1748.all.7 0 00087 15561 1026 all
13&4.1748.all.70 0 00582 117869 7716 all
13&4.1748.all.8 0 00092 15561 1026 all
13&4.1748.all.9 0 00107 20693 1376 all
13&last.page 0 00584 117869 7716 all
14&9.952.all.1 0 00585 121773 7960 all
14&9.952.all.10 0 00062 14991 981 all
14&9.952.all.12 0 00057 13374 886 all
14&9.952.all.13 0 00093 20115 1331 all
14&9.952.all.15 0 00068 17211 1122 all
14&9.952.all.16 0 00132 25722 1720 all
14&9.952.all.18 0 00099 22345 1471 all
14&9.952.all.19 0 00167 31190 2090 all
14&9.952.all.2 0 00017 2878 218 all
14&9.952.all.21 0 00138 27998 1861 all
14&9.952.all.22 0 00190 35781 2395 all
14&9.952.all.24 0 00173 33390 2230 all
14&9.952.all.25 0 00225 41238 2769 all
14&9.952.all.27 0 00196 38029 2536 all
14&9.952.all.28 0 00236 45104 3004 all
14&9.952.all.30 0 00231 43491 2909 all
14&9.952.all.31 0 00251 49365 3270 all
14&9.952.all.33 0 00242 47372 3145 all
14&9.952.all.34 0 00274 54067 3575 all
14&9.952.all.36 0 00257 51624 3410 all
14&9.952.all.37 0 00289 58245 3841 all
14&9.952.all.39 0 00280 56294 3716 all
14&9.952.all.4 0 00028 6461 440 all
14&9.952.all.40 0 00300 62136 4076 all
14&9.952.all.42 0 00295 60514 3981 all
14&9.952.all.43 0 00327 66998 4402 all
14&9.952.all.45 0 00306 64363 4217 all
14&9.952.all.46 0 00338 70868 4637 all
14&9.952.all.48 0 00333 69253 4542 all
14&9.952.all.49 0 00349 74745 4873 all
14&9.952.all.51 0 00344 73129 4778 all
14&9.952.all.52 0 00360 78645 5108 all
14&9.952.all.54 0 00355 77020 5013 all
14&9.952.all.55 0 00371 82561 5344 all
14&9.952.all.57 0 00366 80932 5249 all
14&9.952.all.58 0 00382 86437 5579 all
14&9.952.all.6 0 00023 4874 345 all
14&9.952.all.60 0 00377 84820 5484 all
14&9.952.all.61 0 00409 91291 5905 all
14&9.952.all.63 0 00388 88660 5720 all
14&9.952.all.64 0 00452 97185 6318 all
14&9.952.all.66 0 00415 93530 6045 all
14&9.952.all.67 0 00487 102597 6688 all
14&9.952.all.69 0 00458 99428 6459 all
14&9.952.all.7 0 00051 11116 746 all
14&9.952.all.70 0 00514 107522 7013 all
14&9.952.all.72 0 00493 104847 6828 all
14&9.952.all.73 0 00549 112902 7386 all
14&9.952.all.75 0 00520 109737 7154 all
14&9.952.all.76 0 00568 117303 7671 all
14&9.952.all.78 0 00555 115122 7526 all
14&9.952.all.79 0 00583 121436 7937 all
14&9.952.all.81 0 00574 119509 7812 all
14&9.952.all.9 0 00034 8701 581 all
14&all_11 0 00056 13374 886 all
14&all_14 0 00067 17211 1122 all
14&all_17 0 00098 22345 1471 all
14&all_20 0 00137 27998 1861 all
14&all_23 0 00172 33390 2230 all
14&all_26 0 00195 38029 2536 all
14&all_29 0 00230 43491 2909 all
14&all_3 0 00016 2878 218 all
14&all_32 0 00241 47372 3145 all
14&all_35 0 00256 51624 3410 all
14&all_38 0 00279 56294 3716 all
14&all_41 0 00294 60514 3981 all
14&all_44 0 00305 64363 4217 all
14&all_47 0 00332 69253 4542 all
14&all_5 0 00022 4874 345 all
14&all_50 0 00343 73129 4778 all
14&all_53 0 00354 77020 5013 all
14&all_56 0 00365 80932 5249 all
14&all_59 0 00376 84820 5484 all
14&all_62 0 00387 88660 5720 all
14&all_65 0 00414 93530 6045 all
14&all_68 0 00457 99428 6459 all
14&all_71 0 00492 104847 6828 all
14&all_74 0 00519 109737 7154 all
14&all_77 0 00554 115122 7526 all
14&all_8 0 00033 8701 581 all
14&all_80 0 00573 119509 7812 all
15&10.121.all.1 0 00018 2997 228 all
15&10.121.all.10 0 00237 45438 3027 all
15&10.121.all.11 0 00252 49700 3293 all
15&10.121.all.12 0 00275 54402 3598 all
15&10.121.all.13 0 00290 58580 3864 all
15&10.121.all.14 0 00301 62471 4099 all
15&10.121.all.15 0 00328 67333 4425 all
15&10.121.all.16 0 00339 71203 4660 all
15&10.121.all.17 0 00350 75080 4896 all
15&10.121.all.18 0 00361 78980 5131 all
15&10.121.all.19 0 00372 82896 5367 all
15&10.121.all.2 0 00029 6790 463 all
15&10.121.all.20 0 00383 86772 5602 all
15&10.121.all.21 0 00410 91626 5928 all
15&10.121.all.22 0 00453 97520 6341 all
15&10.121.all.23 0 00488 102933 6711 all
15&10.121.all.24 0 00515 107859 7036 all
15&10.121.all.25 0 00550 113239 7409 all
15&10.121.all.26 0 00569 117640 7694 all
15&10.121.all.3 0 00052 11446 769 all
15&10.121.all.4 0 00063 15323 1004 all
15&10.121.all.5 0 00094 20449 1354 all
15&10.121.all.6 0 00133 26056 1743 all
15&10.121.all.7 0 00168 31524 2113 all
15&10.121.all.8 0 00191 36115 2418 all
15&10.121.all.9 0 00226 41572 2792 all
15&10.260.all.1 0 00025 2997 228 all
15&10.260.all.10 0 00244 45438 3027 all
15&10.260.all.11 0 00259 49700 3293 all
15&10.260.all.12 0 00282 54402 3598 all
15&10.260.all.13 0 00297 58580 3864 all
15&10.260.all.14 0 00308 62471 4099 all
15&10.260.all.15 0 00335 67333 4425 all
15&10.260.all.16 0 00346 71203 4660 all
15&10.260.all.17 0 00357 75080 4896 all
15&10.260.all.18 0 00368 78980 5131 all
15&10.260.all.19 0 00379 82896 5367 all
15&10.260.all.2 0 00036 6790 463 all
15&10.260.all.20 0 00390 86772 5602 all
15&10.260.all.21 0 00417 91626 5928 all
15&10.260.all.22 0 00460 97520 6341 all
15&10.260.all.23 0 00495 102933 6711 all
15&10.260.all.24 0 00522 107859 7036 all
15&10.260.all.25 0 00557 113239 7409 all
15&10.260.all.26 0 00576 117640 7694 all
15&10.260.all.3 0 00059 11446 769 all
15&10.260.all.4 0 00070 15323 1004 all
15&10.260.all.5 0 00101 20449 1354 all
15&10.260.all.6 0 00140 26056 1743 all
15&10.260.all.7 0 00175 31524 2113 all
15&10.260.all.8 0 00198 36115 2418 all
15&10.260.all.9 0 00233 41572 2792 all
16&10.260.all.1 0 00019 3069 235 all
16&10.260.all.10 0 00238 45512 3034 all
16&10.260.all.11 0 00253 49774 3300 all
16&10.260.all.12 0 00276 54476 3605 all
16&10.260.all.13 0 00291 58654 3871 all
16&10.260.all.14 0 00302 62545 4106 all
16&10.260.all.15 0 00329 67407 4432 all
16&10.260.all.16 0 00340 71277 4667 all
16&10.260.all.17 0 00351 75154 4903 all
16&10.260.all.18 0 00362 79054 5138 all
16&10.260.all.19 0 00373 82970 5374 all
16&10.260.all.2 0 00030 6862 470 all
16&10.260.all.20 0 00384 86846 5609 all
16&10.260.all.21 0 00411 91700 5935 all
16&10.260.all.22 0 00454 97594 6348 all
16&10.260.all.23 0 00489 103007 6718 all
16&10.260.all.24 0 00516 107933 7043 all
16&10.260.all.25 0 00551 113313 7416 all
16&10.260.all.26 0 00570 117714 7701 all
16&10.260.all.3 0 00053 11518 776 all
16&10.260.all.4 0 00064 15395 1011 all
16&10.260.all.5 0 00095 20521 1361 all
16&10.260.all.6 0 00134 26128 1750 all
16&10.260.all.7 0 00169 31596 2120 all
16&10.260.all.8 0 00192 36187 2425 all
16&10.260.all.9 0 00227 41644 2799 all
17&10.260.all.1 0 00026 6218 418 all
17&10.260.all.10 0 00245 48741 3218 all
17&10.260.all.11 0 00260 52990 3483 all
17&10.260.all.12 0 00283 57642 3789 all
17&10.260.all.13 0 00298 61885 4054 all
17&10.260.all.14 0 00309 65711 4290 all
17&10.260.all.15 0 00336 70617 4615 all
17&10.260.all.16 0 00347 74494 4851 all
17&10.260.all.17 0 00358 78394 5086 all
17&10.260.all.18 0 00369 82310 5322 all
17&10.260.all.19 0 00380 86186 5557 all
17&10.260.all.2 0 00037 10059 654 all
17&10.260.all.20 0 00391 90006 5793 all
17&10.260.all.21 0 00418 94886 6118 all
17&10.260.all.22 0 00461 100784 6532 all
17&10.260.all.23 0 00496 106209 6901 all
17&10.260.all.24 0 00523 111077 7227 all
17&10.260.all.25 0 00558 116468 7599 all
17&10.260.all.26 0 00577 120843 7885 all
17&10.260.all.3 0 00060 14745 959 all
17&10.260.all.4 0 00071 18560 1195 all
17&10.260.all.5 0 00102 23700 1544 all
17&10.260.all.6 0 00141 29374 1934 all
17&10.260.all.7 0 00176 34730 2303 all
17&10.260.all.8 0 00199 39391 2609 all
17&10.260.all.9 0 00234 44855 2982 all
17&4.1200.all.10 0 00077 19162 1247 all
17&4.1200.all.100 0 00443 96727 6278 all
17&4.1200.all.102 0 00448 96956 6298 all
17&4.1200.all.104 0 00463 101035 6554 all
17&4.1200.all.106 0 00467 101397 6584 all
17&4.1200.all.108 0 00470 101628 6604 all
17&4.1200.all.110 0 00474 101904 6628 all
17&4.1200.all.112 0 00479 102135 6648 all
17&4.1200.all.114 0 00483 102366 6668 all
17&4.1200.all.116 0 00498 106463 6923 all
17&4.1200.all.118 0 00502 106829 6953 all
17&4.1200.all.12 0 00080 19389 1267 all
17&4.1200.all.120 0 00506 107060 6973 all
17&4.1200.all.122 0 00510 107291 6993 all
17&4.1200.all.124 0 00525 111354 7252 all
17&4.1200.all.126 0 00529 111702 7282 all
17&4.1200.all.128 0 00533 111933 7302 all
17&4.1200.all.130 0 00537 112164 7322 all
17&4.1200.all.132 0 00541 112395 7342 all
17&4.1200.all.134 0 00544 112626 7362 all
17&4.1200.all.136 0 00560 116722 7621 all
17&4.1200.all.138 0 00564 117072 7651 all
17&4.1200.all.14 0 00084 19661 1291 all
17&4.1200.all.140 0 00579 121091 7907 all
17&4.1200.all.16 0 00089 19888 1311 all
17&4.1200.all.18 0 00104 23949 1566 all
17&4.1200.all.2 0 00039 10302 676 all
17&4.1200.all.20 0 00108 24309 1596 all
17&4.1200.all.22 0 00111 24537 1616 all
17&4.1200.all.24 0 00115 24810 1640 all
17&4.1200.all.26 0 00119 25038 1660 all
17&4.1200.all.28 0 00123 25266 1680 all
17&4.1200.all.30 0 00128 25494 1700 all
17&4.1200.all.32 0 00143 29623 1956 all
17&4.1200.all.34 0 00147 30005 1986 all
17&4.1200.all.36 0 00151 30233 2006 all
17&4.1200.all.38 0 00154 30461 2026 all
17&4.1200.all.4 0 00043 10668 706 all
17&4.1200.all.40 0 00159 30734 2050 all
17&4.1200.all.42 0 00163 30962 2070 all
17&4.1200.all.44 0 00178 34979 2325 all
17&4.1200.all.46 0 00182 35325 2355 all
17&4.1200.all.48 0 00186 35553 2375 all
17&4.1200.all.50 0 00201 39640 2631 all
17&4.1200.all.52 0 00204 40008 2661 all
17&4.1200.all.54 0 00209 40281 2685 all
17&4.1200.all.56 0 00212 40509 2705 all
17&4.1200.all.58 0 00216 40782 2729 all
17&4.1200.all.6 0 00047 10892 726 all
17&4.1200.all.60 0 00220 41010 2749 all
17&4.1200.all.62 0 00247 48992 3240 all
17&4.1200.all.64 0 00262 53241 3505 all
17&4.1200.all.66 0 00266 53611 3535 all
17&4.1200.all.68 0 00270 53839 3555 all
17&4.1200.all.70 0 00285 57893 3811 all
17&4.1200.all.72 0 00311 65962 4312 all
17&4.1200.all.74 0 00315 66314 4342 all
17&4.1200.all.76 0 00319 66542 4362 all
17&4.1200.all.78 0 00323 66770 4382 all
17&4.1200.all.8 0 00073 18809 1217 all
17&4.1200.all.80 0 00393 90257 5815 all
17&4.1200.all.82 0 00397 90607 5845 all
17&4.1200.all.84 0 00401 90835 5865 all
17&4.1200.all.86 0 00405 91063 5885 all
17&4.1200.all.88 0 00420 95137 6140 all
17&4.1200.all.90 0 00424 95497 6170 all
17&4.1200.all.92 0 00427 95725 6190 all
17&4.1200.all.94 0 00432 95998 6214 all
17&4.1200.all.96 0 00435 96226 6234 all
17&4.1200.all.98 0 00439 96499 6258 all
17&4.1748.all.1 0 00041 10302 676 all
17&4.1748.all.10 0 00110 24309 1596 all
17&4.1748.all.11 0 00113 24537 1616 all
17&4.1748.all.12 0 00117 24810 1640 all
17&4.1748.all.13 0 00121 25038 1660 all
17&4.1748.all.14 0 00125 25266 1680 all
17&4.1748.all.15 0 00130 25494 1700 all
17&4.1748.all.16 0 00145 29623 1956 all
17&4.1748.all.17 0 00149 30005 1986 all
17&4.1748.all.18 0 00153 30233 2006 all
17&4.1748.all.19 0 00156 30461 2026 all
17&4.1748.all.2 0 00045 10668 706 all
17&4.1748.all.20 0 00161 30734 2050 all
17&4.1748.all.21 0 00165 30962 2070 all
17&4.1748.all.22 0 00180 34979 2325 all
17&4.1748.all.23 0 00184 35325 2355 all
17&4.1748.all.24 0 00188 35553 2375 all
17&4.1748.all.25 0 00203 39640 2631 all
17&4.1748.all.26 0 00206 40008 2661 all
17&4.1748.all.27 0 00211 40281 2685 all
17&4.1748.all.28 0 00214 40509 2705 all
17&4.1748.all.29 0 00218 40782 2729 all
17&4.1748.all.3 0 00049 10892 726 all
17&4.1748.all.30 0 00222 41010 2749 all
17&4.1748.all.31 0 00249 48992 3240 all
17&4.1748.all.32 0 00264 53241 3505 all
17&4.1748.all.33 0 00268 53611 3535 all
17&4.1748.all.34 0 00272 53839 3555 all
17&4.1748.all.35 0 00287 57893 3811 all
17&4.1748.all.36 0 00313 65962 4312 all
17&4.1748.all.37 0 00317 66314 4342 all
17&4.1748.all.38 0 00321 66542 4362 all
17&4.1748.all.39 0 00325 66770 4382 all
17&4.1748.all.4 0 00075 18809 1217 all
17&4.1748.all.40 0 00395 90257 5815 all
17&4.1748.all.41 0 00399 90607 5845 all
17&4.1748.all.42 0 00403 90835 5865 all
17&4.1748.all.43 0 00407 91063 5885 all
17&4.1748.all.44 0 00422 95137 6140 all
17&4.1748.all.45 0 00426 95497 6170 all
17&4.1748.all.46 0 00429 95725 6190 all
17&4.1748.all.47 0 00434 95998 6214 all
17&4.1748.all.48 0 00437 96226 6234 all
17&4.1748.all.49 0 00441 96499 6258 all
17&4.1748.all.5 0 00079 19162 1247 all
17&4.1748.all.50 0 00445 96727 6278 all
17&4.1748.all.51 0 00450 96956 6298 all
17&4.1748.all.52 0 00465 101035 6554 all
17&4.1748.all.53 0 00469 101397 6584 all
17&4.1748.all.54 0 00472 101628 6604 all
17&4.1748.all.55 0 00476 101904 6628 all
17&4.1748.all.56 0 00481 102135 6648 all
17&4.1748.all.57 0 00485 102366 6668 all
17&4.1748.all.58 0 00500 106463 6923 all
17&4.1748.all.59 0 00504 106829 6953 all
17&4.1748.all.6 0 00082 19389 1267 all
17&4.1748.all.60 0 00508 107060 6973 all
17&4.1748.all.61 0 00512 107291 6993 all
17&4.1748.all.62 0 00527 111354 7252 all
17&4.1748.all.63 0 00531 111702 7282 all
17&4.1748.all.64 0 00535 111933 7302 all
17&4.1748.all.65 0 00539 112164 7322 all
17&4.1748.all.66 0 00543 112395 7342 all
17&4.1748.all.67 0 00546 112626 7362 all
17&4.1748.all.68 0 00562 116722 7621 all
17&4.1748.all.69 0 00566 117072 7651 all
17&4.1748.all.7 0 00086 19661 1291 all
17&4.1748.all.70 0 00581 121091 7907 all
17&4.1748.all.8 0 00091 19888 1311 all
17&4.1748.all.9 0 00106 23949 1566 all
18&10.260.all.1 0 00027 6383 433 all
18&10.260.all.10 0 00246 48911 3233 all
18&10.260.all.11 0 00261 53160 3498 all
18&10.260.all.12 0 00284 57812 3804 all
18&10.260.all.13 0 00299 62055 4069 all
18&10.260.all.14 0 00310 65881 4305 all
18&10.260.all.15 0 00337 70787 4630 all
18&10.260.all.16 0 00348 74664 4866 all
18&10.260.all.17 0 00359 78564 5101 all
18&10.260.all.18 0 00370 82480 5337 all
18&10.260.all.19 0 00381 86356 5572 all
18&10.260.all.2 0 00038 10224 669 all
18&10.260.all.20 0 00392 90176 5808 all
18&10.260.all.21 0 00419 95056 6133 all
18&10.260.all.22 0 00462 100954 6547 all
18&10.260.all.23 0 00497 106381 6916 all
18&10.260.all.24 0 00524 111249 7242 all
18&10.260.all.25 0 00559 116640 7614 all
18&10.260.all.26 0 00578 121015 7900 all
18&10.260.all.3 0 00061 14912 974 all
18&10.260.all.4 0 00072 18729 1210 all
18&10.260.all.5 0 00103 23869 1559 all
18&10.260.all.6 0 00142 29543 1949 all
18&10.260.all.7 0 00177 34899 2318 all
18&10.260.all.8 0 00200 39560 2624 all
18&10.260.all.9 0 00235 45024 2997 all
19&4.1748.all.1 0 00040 10601 699 all
19&4.1748.all.10 0 00109 24468 1609 all
19&4.1748.all.11 0 00112 24741 1633 all
19&4.1748.all.12 0 00116 24969 1653 all
19&4.1748.all.13 0 00120 25197 1673 all
19&4.1748.all.14 0 00124 25425 1693 all
19&4.1748.all.15 0 00129 25653 1713 all
19&4.1748.all.16 0 00144 29936 1979 all
19&4.1748.all.17 0 00148 30164 1999 all
19&4.1748.all.18 0 00152 30392 2019 all
19&4.1748.all.19 0 00155 30665 2043 all
19&4.1748.all.2 0 00044 10825 719 all
19&4.1748.all.20 0 00160 30893 2063 all
19&4.1748.all.21 0 00164 31121 2083 all
19&4.1748.all.22 0 00179 35256 2348 all
19&4.1748.all.23 0 00183 35484 2368 all
19&4.1748.all.24 0 00187 35712 2388 all
19&4.1748.all.25 0 00202 39939 2654 all
19&4.1748.all.26 0 00205 40212 2678 all
19&4.1748.all.27 0 00210 40440 2698 all
19&4.1748.all.28 0 00213 40713 2722 all
19&4.1748.all.29 0 00217 40941 2742 all
19&4.1748.all.3 0 00048 11049 739 all
19&4.1748.all.30 0 00221 41169 2762 all
19&4.1748.all.31 0 00248 49296 3263 all
19&4.1748.all.32 0 00263 53542 3528 all
19&4.1748.all.33 0 00267 53770 3548 all
19&4.1748.all.34 0 00271 53998 3568 all
19&4.1748.all.35 0 00286 58176 3834 all
19&4.1748.all.36 0 00312 66245 4335 all
19&4.1748.all.37 0 00316 66473 4355 all
19&4.1748.all.38 0 00320 66701 4375 all
19&4.1748.all.39 0 00324 66929 4395 all
19&4.1748.all.4 0 00074 19094 1240 all
19&4.1748.all.40 0 00394 90538 5838 all
19&4.1748.all.41 0 00398 90766 5858 all
19&4.1748.all.42 0 00402 90994 5878 all
19&4.1748.all.43 0 00406 91222 5898 all
19&4.1748.all.44 0 00421 95428 6163 all
19&4.1748.all.45 0 00425 95656 6183 all
19&4.1748.all.46 0 00428 95929 6207 all
19&4.1748.all.47 0 00433 96157 6227 all
19&4.1748.all.48 0 00436 96430 6251 all
19&4.1748.all.49 0 00440 96658 6271 all
19&4.1748.all.5 0 00078 19321 1260 all
19&4.1748.all.50 0 00444 96887 6291 all
19&4.1748.all.51 0 00449 97116 6311 all
19&4.1748.all.52 0 00464 101327 6577 all
19&4.1748.all.53 0 00468 101558 6597 all
19&4.1748.all.54 0 00471 101834 6621 all
19&4.1748.all.55 0 00475 102065 6641 all
19&4.1748.all.56 0 00480 102296 6661 all
19&4.1748.all.57 0 00484 102527 6681 all
19&4.1748.all.58 0 00499 106759 6946 all
19&4.1748.all.59 0 00503 106990 6966 all
19&4.1748.all.6 0 00081 19593 1284 all
19&4.1748.all.60 0 00507 107221 6986 all
19&4.1748.all.61 0 00511 107452 7006 all
19&4.1748.all.62 0 00526 111632 7275 all
19&4.1748.all.63 0 00530 111863 7295 all
19&4.1748.all.64 0 00534 112094 7315 all
19&4.1748.all.65 0 00538 112325 7335 all
19&4.1748.all.66 0 00542 112556 7355 all
19&4.1748.all.67 0 00545 112832 7379 all
19&4.1748.all.68 0 00561 117002 7644 all
19&4.1748.all.69 0 00565 117233 7664 all
19&4.1748.all.7 0 00085 19820 1304 all
19&4.1748.all.70 0 00580 121366 7930 all
19&4.1748.all.8 0 00090 20047 1324 all
19&4.1748.all.9 0 00105 24241 1589 all
1&save 0 00001 0 1 all
2&9.2859.all.1 0 00002 479 31 all
3&9.2918.all.1 0 00003 617 41 all
4&9.2973.all.1 0 00004 761 51 all
5&9.3028.all.1 0 00005 895 61 all
6&9.3083.all.1 0 00006 1041 71 all
7&9.3138.all.1 0 00007 1175 81 all
8&9.3193.all.1 0 00008 1317 91 all
9&4.1429.all.1 0 00009 1455 101 all
|