diff options
Diffstat (limited to 'talks/sheriff/lout.li')
-rw-r--r-- | talks/sheriff/lout.li | 605 |
1 files changed, 605 insertions, 0 deletions
diff --git a/talks/sheriff/lout.li b/talks/sheriff/lout.li new file mode 100644 index 00000000..5cc3c36c --- /dev/null +++ b/talks/sheriff/lout.li @@ -0,0 +1,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 |