File: cinterface.tex.flc

package info (click to toggle)
blas 1.2-2
  • links: PTS
  • area: main
  • in suites: lenny
  • size: 6,764 kB
  • ctags: 6,097
  • sloc: fortran: 34,921; ansic: 25,875; makefile: 604; sh: 28
file content (2 lines) | stat: -rw-r--r-- 41,961 bytes parent folder | download | duplicates (5) 
1
2
 

(fast-lock-cache-data 3 (quote (16944 . 50367)) (quote nil) (quote nil) (quote (t ("\\\\\\(\\\\\\*\\|allowdisplaybreaks\\|clear\\(doublepage\\|page\\)\\|displaybreak\\|enlargethispage\\|linebreak\\|n\\(ew\\(line\\|page\\)\\|o\\(linebreak\\|pagebreak\\)\\)\\|pagebreak\\|[\\-]\\)" (0 font-latex-warning-face)) ("\\$\\$\\([^$]+\\)\\$\\$" (1 font-latex-math-face)) (font-latex-match-quotation (0 font-latex-string-face)) (font-latex-match-font-outside-braces (0 font-lock-keyword-face append t) (1 font-latex-italic-face append t) (2 font-latex-bold-face append t) (3 font-lock-type-face append t)) (font-latex-match-font-inside-braces (0 font-lock-keyword-face append t) (1 font-latex-italic-face append t) (2 font-latex-bold-face append t) (3 font-lock-type-face append t)) (font-latex-match-reference (0 font-lock-keyword-face append t) (1 font-lock-variable-name-face append t) (2 font-lock-reference-face append t)) (font-latex-match-function (0 font-lock-keyword-face append t) (1 font-lock-variable-name-face append t) (2 font-lock-function-name-face append t)) (font-latex-match-textual (0 font-lock-keyword-face append t) (1 font-lock-variable-name-face append t) (2 font-lock-type-face append t)) (font-latex-match-variable (0 font-lock-keyword-face nil t) (1 font-lock-variable-name-face append t) (2 font-lock-variable-name-face append t)) (font-latex-match-math-env (0 font-latex-math-face append t)) (font-latex-match-math-envII (0 font-latex-math-face append t)) ("\\\\[@A-Za-z]+" (0 font-latex-sedate-face append)))) (quote (((font-latex-warning-face font-latex-sedate-face) 85314 85324) ((font-latex-math-face font-lock-function-name-face) 83380 83387 83326 83333 83276 83283 83230 83237 83025 83032 82968 82975 82745 82752 82697 82704) ((font-latex-math-face font-lock-keyword-face font-latex-sedate-face) 83376 83380 83320 83326 83272 83276 83224 83230 83021 83025 82962 82968 82741 82745 82691 82697) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face) 78358 78367) ((font-lock-comment-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 72349 72351 72014 72016) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-keyword-face) 72363 72366 72272 72275 72028 72031 71937 71940) ((font-latex-warning-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 71922 71924 71869 71871 71816 71818 71689 71693 71602 71604 71547 71549 71496 71498) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-keyword-face) 71708 71711 71617 71620 71386 71389) ((font-lock-comment-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 71694 71696 71372 71374) ((font-lock-comment-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 71035 71037) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-keyword-face) 71295 71298 71049 71052 70958 70961) ((font-latex-warning-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 71367 71371 71280 71282 71214 71216 71163 71165 71030 71034 70943 70945 70888 70890) ((font-lock-comment-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70713 70715) ((font-latex-math-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70821 70826 70795 70801 70692 70697 70666 70672) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70826 70827 70820 70821 70801 70802 70794 70795 70697 70698 70691 70692 70672 70673 70665 70666) ((font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70827 70837 70802 70820 70731 70794 70698 70708 70673 70691 70640 70665) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-keyword-face) 70727 70730 70636 70639) ((font-latex-math-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 71351 71356 71325 71331 71147 71152 71121 71127 71014 71019 70988 70994 70611 70616 70594 70600 70583 70593 70556 70561 70543 70549 70532 70542) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 71356 71357 71350 71351 71331 71332 71324 71325 71152 71153 71146 71147 71127 71128 71120 71121 71019 71020 71013 71014 70994 70995 70987 70988 70616 70621 70600 70611 70593 70594 70578 70583 70561 70564 70549 70556 70542 70543 70529 70532) ((font-latex-warning-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70837 70839 70708 70712 70621 70623 70564 70566 70515 70517) ((font-latex-math-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70499 70504 70473 70479) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70504 70505 70498 70499 70479 70480 70472 70473) ((font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70505 70515 70480 70498 70407 70472) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-keyword-face font-lock-type-face font-lock-keyword-face) 70403 70406) ((font-lock-type-face font-lock-function-name-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70377 70386) ((font-lock-type-face font-lock-keyword-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 70371 70377) ((font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 71357 71367 71332 71350 71299 71324 71153 71163 71128 71146 71053 71120 71020 71030 70995 71013 70962 70987 70839 70840 70730 70731 70715 70727 70712 70713 70639 70640 70623 70636 70566 70578 70517 70529 70406 70407 70386 70403 70370 70371) ((font-latex-warning-face font-lock-type-face) 70241 70245 70172 70174 70107 70109 70046 70048) ((font-lock-type-face font-lock-function-name-face) 70250 70259 69937 69946) ((font-lock-type-face font-lock-keyword-face font-latex-sedate-face) 70246 70250 70187 70190 69963 69966 69931 69937) ((font-latex-math-face font-lock-type-face font-latex-sedate-face) 76560 76565 76534 76540 76286 76291 76260 76266 76161 76166 76135 76141 75887 75892 75861 75867 70152 70158 70137 70143 70126 70136 70089 70095 70074 70080 70063 70073 69415 69424 69396 69405 69386 69392 69044 69050 68819 68828 68809 68815 68643 68649 68353 68362 68343 68349 68144 68150 67940 67946 67778 67784 66916 66925) ((font-latex-math-face font-lock-type-face) 76565 76566 76559 76560 76540 76541 76533 76534 76291 76292 76285 76286 76266 76267 76259 76260 76166 76167 76160 76161 76141 76142 76134 76135 75892 75893 75886 75887 75867 75868 75860 75861 70158 70171 70143 70152 70136 70137 70121 70126 70095 70106 70080 70089 70073 70074 70060 70063 69424 69428 69414 69415 69405 69409 69395 69396 69392 69393 69385 69386 69050 69051 69043 69044 68828 68832 68818 68819 68815 68816 68808 68809 68649 68650 68642 68643 68362 68366 68352 68353 68349 68350 68342 68343 68150 68151 68143 68144 67946 67947 67939 67940 67784 67785 67777 67778 66925 66929 66915 66916) ((font-lock-comment-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face) 66050 66055 66023 66029 65975 65978) ((font-lock-comment-face font-lock-type-face font-lock-type-face font-latex-sedate-face) 66179 66184 66152 66158 66133 66136 66109 66114 66096 66102 66085 66095 65326 65331 65299 65305 65280 65283 65256 65261 65243 65249 65232 65242 65197 65202 65170 65176 65122 65125) ((font-lock-comment-face font-lock-type-face font-lock-type-face) 73021 73023 66184 66199 66158 66179 66136 66152 66114 66133 66102 66109 66095 66096 66070 66085 65331 65346 65305 65326 65283 65299 65261 65280 65249 65256 65242 65243 65202 65232 65176 65197 65125 65170 65107 65122) ((font-latex-math-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 74228 74233 74210 74216 72461 72466 72435 72441 72328 72333 72302 72308 72124 72129 72098 72104 71993 71998 71967 71973 71912 71917 71899 71905 71888 71898 71861 71866 71844 71850 71833 71843 71592 71597 71577 71583 71566 71576 71539 71544 71524 71530 71513 71523 69657 69663 65564 65569 65537 65543 64897 64902 64870 64876) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 74233 74234 74227 74228 74216 74217 74209 74210 72466 72467 72460 72461 72441 72442 72434 72435 72333 72334 72327 72328 72308 72309 72301 72302 72129 72130 72123 72124 72104 72105 72097 72098 71998 71999 71992 71993 71973 71974 71966 71967 71917 71922 71905 71912 71898 71899 71883 71888 71866 71869 71850 71861 71843 71844 71830 71833 71597 71602 71583 71592 71576 71577 71561 71566 71544 71547 71530 71539 71523 71524 71510 71513 69663 69664 69656 69657 65569 65570 65563 65564 65543 65544 65536 65537 64902 64903 64896 64897 64876 64877 64869 64870) ((font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 74234 74244 74217 74227 74149 74209 72467 72477 72442 72460 72367 72434 72334 72344 72309 72327 72276 72301 72130 72140 72105 72123 72032 72097 71999 72009 71974 71992 71941 71966 71924 71925 71871 71883 71818 71830 71711 71712 71696 71708 71693 71694 71620 71621 71604 71617 71549 71561 71498 71510 71389 71390 71374 71386 69664 69683 69614 69656 65570 65581 65544 65563 65493 65536 64903 64914 64877 64896 64826 64869) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-keyword-face font-lock-type-face font-lock-keyword-face) 74145 74148 69610 69613 65489 65492 64822 64825) ((font-lock-type-face font-lock-function-name-face font-lock-type-face font-lock-type-face) 74119 74128 69584 69593 64796 64805) ((font-lock-type-face font-lock-keyword-face font-latex-sedate-face font-lock-type-face font-lock-type-face) 74113 74119 69578 69584 64790 64796) ((font-lock-type-face font-lock-type-face font-lock-function-name-face) 79265 79274 77982 77991 75712 75721 74749 74758 74071 74080 73375 73384 69847 69856 66203 66212 65350 65359 64199 64208) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face font-latex-sedate-face) 79231 79237 74724 74729 74698 74704 73350 73355 73324 73330 73135 73140 73109 73115 69812 69818 65085 65090 65058 65064 64169 64178 64159 64164 64149 64158 64130 64139 64111 64117 64101 64110) ((font-lock-type-face font-lock-type-face font-lock-keyword-face font-latex-sedate-face) 79261 79265 79193 79196 77978 77982 75708 75712 74745 74749 74671 74674 74067 74071 73371 73375 73294 73297 73035 73038 69843 69847 69794 69797 66199 66203 65346 65350 65039 65042 64195 64199 64079 64082) ((font-lock-type-face font-lock-type-face) 79274 79276 79260 79261 79196 79197 79180 79193 79126 79138 79086 79097 77991 77993 75721 75723 74758 74760 74744 74745 74674 74675 74658 74671 74604 74615 74080 74082 73384 73386 73370 73371 73297 73298 73281 73294 73206 73218 73153 73165 73038 73039 73023 73035 70213 70241 70191 70205 70018 70046 69967 70010 69856 69858 69842 69843 69797 69798 69782 69794 66212 66214 65359 65361 65106 65107 65042 65043 65026 65039 64208 64210 64194 64195 64082 64083 64066 64079) ((font-latex-warning-face font-lock-type-face font-lock-type-face) 79256 79260 79178 79180 79124 79126 74740 74744 74656 74658 73366 73370 73279 73281 73204 73206 73151 73153 69838 69842 65102 65106 65024 65026 64190 64194 64064 64066) ((font-latex-math-face font-lock-type-face font-lock-type-face font-latex-sedate-face) 79165 79174 79154 79160 79143 79153 79111 79117 79100 79110 74646 74651 74631 74637 74620 74630 73269 73274 73254 73263 73241 73250 73234 73240 73223 73233 73196 73201 73179 73185 73168 73178 70206 70212 70011 70017 65016 65021 65001 65007 64990 65000 64049 64058 64042 64047 64032 64041 64004 64013 63992 63998 63982 63991 63971 63981 63958 63967 63947 63956) ((font-latex-math-face font-lock-type-face font-lock-type-face) 79174 79178 79160 79165 79153 79154 79138 79143 79117 79124 79110 79111 79097 79100 74651 74656 74637 74646 74630 74631 74615 74620 73274 73279 73263 73269 73250 73254 73240 73241 73233 73234 73218 73223 73201 73204 73185 73196 73178 73179 73165 73168 70212 70213 70205 70206 70017 70018 70010 70011 65021 65024 65007 65016 65000 65001 64976 64990 64058 64064 64047 64049 64041 64042 64013 64032 63998 64004 63991 63992 63981 63982 63967 63971 63956 63958 63936 63947) ((font-lock-comment-face font-lock-type-face font-lock-type-face font-lock-type-face) 78960 78962 78674 78676 77487 77489 75387 75389 74439 74441 73753 73755 72686 72688 66055 66070 66029 66050 65978 66023 65960 65975 63759 63761 63513 63515) ((font-latex-math-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face) 79058 79064 78930 78936 78768 78774 78644 78650 77957 77962 77930 77936 77920 77929 77595 77600 77569 77575 77466 77471 77439 77445 77429 77438 77376 77381 77357 77366 77350 77356 77331 77340 77323 77329 77313 77322 77290 77295 77271 77280 77263 77269 77253 77262 77234 77243 77227 77233 77216 77226 77189 77194 77173 77179 77163 77172 77148 77154 77137 77147 75687 75692 75661 75667 75486 75491 75468 75474 75366 75371 75340 75346 74534 74539 74516 74522 74418 74423 74392 74398 74046 74051 74020 74026 73856 73861 73830 73836 73732 73737 73706 73712 73000 73005 72974 72980 72796 72801 72770 72776 72665 72670 72639 72645 72247 72252 72230 72239 72223 72229 72212 72222 72185 72190 72168 72174 72157 72167 65934 65943 65924 65929 65914 65923 65892 65901 65873 65879 65863 65872 63855 63860 63828 63834 63737 63742 63710 63716 63605 63610 63578 63584 63491 63496 63464 63470) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 79064 79065 79057 79058 78936 78937 78929 78930 78774 78775 78767 78768 78650 78651 78643 78644 77962 77963 77956 77957 77936 77938 77929 77930 77919 77920 77600 77601 77594 77595 77575 77576 77568 77569 77471 77472 77465 77466 77445 77447 77438 77439 77428 77429 77381 77386 77366 77376 77356 77357 77340 77350 77329 77331 77322 77323 77295 77313 77280 77290 77269 77271 77262 77263 77243 77253 77233 77234 77226 77227 77211 77216 77194 77197 77179 77189 77172 77173 77154 77163 77147 77148 77134 77137 75692 75693 75686 75687 75667 75668 75660 75661 75491 75492 75485 75486 75474 75475 75467 75468 75371 75372 75365 75366 75346 75347 75339 75340 74539 74540 74533 74534 74522 74523 74515 74516 74423 74424 74417 74418 74398 74399 74391 74392 74051 74052 74045 74046 74026 74027 74019 74020 73861 73862 73855 73856 73836 73837 73829 73830 73737 73738 73731 73732 73712 73713 73705 73706 73005 73006 72999 73000 72980 72981 72973 72974 72801 72802 72795 72796 72776 72777 72769 72770 72670 72671 72664 72665 72645 72646 72638 72639 72252 72257 72239 72247 72229 72230 72222 72223 72207 72212 72190 72193 72174 72185 72167 72168 72154 72157 65943 65947 65933 65934 65929 65931 65923 65924 65913 65914 65901 65905 65891 65892 65879 65881 65872 65873 65862 65863 63860 63861 63854 63855 63834 63835 63827 63828 63742 63743 63736 63737 63716 63717 63709 63710 63610 63611 63604 63605 63584 63585 63577 63578 63496 63497 63490 63491 63470 63471 63463 63464) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-keyword-face) 78974 78977 78892 78895 78688 78691 78606 78609 77892 77895 77501 77504 77401 77404 75634 75637 75401 75404 75313 75316 74453 74456 74365 74368 73993 73996 73767 73770 73679 73682 72944 72947 72700 72703 72609 72612 65844 65847 63773 63776 63688 63691 63527 63530 63442 63445) ((font-latex-warning-face font-lock-type-face font-lock-type-face font-lock-type-face) 79083 79085 78955 78959 78877 78879 78834 78836 78793 78795 78669 78673 78591 78593 78546 78548 77973 77977 77877 77879 77688 77690 77611 77613 77482 77486 75703 75707 75619 75621 75553 75555 75502 75504 75382 75386 75298 75300 75232 75234 74601 74603 74550 74552 74434 74438 74350 74352 74295 74297 74244 74246 74062 74066 73978 73980 73921 73923 73872 73874 73748 73752 73664 73666 73607 73609 73016 73020 72929 72931 72865 72867 72812 72814 72681 72685 72594 72596 72528 72530 69779 69781 69729 69731 69683 69685 65955 65959 65829 65831 65581 65583 64914 64916 63872 63874 63754 63758 63673 63675 63622 63624 63508 63512 63427 63429) ((font-latex-math-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face) 78864 78870 78853 78863 78821 78827 78810 78820 78576 78582 78565 78575 78535 78541 78524 78534 77867 77872 77852 77861 77841 77847 77826 77835 77814 77820 77804 77813 77781 77786 77766 77775 77754 77760 77744 77753 77729 77738 77718 77724 77707 77717 77680 77685 77664 77670 77654 77663 77639 77645 77628 77638 75609 75614 75594 75603 75583 75589 75572 75582 75545 75550 75530 75536 75519 75529 75288 75293 75269 75278 75262 75268 75251 75261 75224 75229 75209 75215 75198 75208 74593 74598 74578 74584 74567 74577 74340 74345 74325 74331 74314 74324 74287 74292 74272 74278 74261 74271 73968 73973 73951 73957 73940 73950 73913 73918 73900 73906 73889 73899 73654 73659 73637 73643 73626 73636 73599 73604 73586 73592 73575 73585 72919 72924 72904 72913 72895 72901 72884 72894 72857 72862 72840 72846 72829 72839 72584 72589 72569 72578 72558 72564 72547 72557 72520 72525 72505 72511 72494 72504 69759 69765 69748 69758 69711 69717 69700 69710 65814 65823 65807 65812 65797 65806 65771 65780 65759 65765 65749 65758 65738 65748 65725 65734 65714 65723 65690 65701 65682 65687 65667 65673 65656 65666 65630 65641 65622 65627 65609 65615 65598 65608 64963 64974 64955 64960 64942 64948 64931 64941 63923 63934 63915 63920 63900 63906 63889 63899 63665 63670 63650 63656 63639 63649 63419 63424 63406 63412 63395 63405) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face) 79237 79238 79230 79231 78870 78877 78863 78864 78848 78853 78827 78834 78820 78821 78807 78810 78582 78591 78575 78576 78560 78565 78541 78546 78534 78535 78521 78524 77872 77877 77861 77867 77847 77852 77835 77841 77820 77826 77813 77814 77786 77804 77775 77781 77760 77766 77753 77754 77738 77744 77724 77729 77717 77718 77702 77707 77685 77688 77670 77680 77663 77664 77645 77654 77638 77639 77625 77628 75614 75619 75603 75609 75589 75594 75582 75583 75567 75572 75550 75553 75536 75545 75529 75530 75516 75519 75293 75298 75278 75288 75268 75269 75261 75262 75246 75251 75229 75232 75215 75224 75208 75209 75195 75198 74729 74730 74723 74724 74704 74705 74697 74698 74598 74601 74584 74593 74577 74578 74564 74567 74345 74350 74331 74340 74324 74325 74309 74314 74292 74295 74278 74287 74271 74272 74258 74261 73973 73978 73957 73968 73950 73951 73935 73940 73918 73921 73906 73913 73899 73900 73886 73889 73659 73664 73643 73654 73636 73637 73621 73626 73604 73607 73592 73599 73585 73586 73572 73575 73355 73356 73349 73350 73330 73331 73323 73324 73140 73141 73134 73135 73115 73116 73108 73109 72924 72929 72913 72919 72901 72904 72894 72895 72879 72884 72862 72865 72846 72857 72839 72840 72826 72829 72589 72594 72578 72584 72564 72569 72557 72558 72542 72547 72525 72528 72511 72520 72504 72505 72491 72494 69818 69819 69811 69812 69765 69778 69758 69759 69743 69748 69717 69728 69710 69711 69697 69700 65823 65829 65812 65814 65806 65807 65780 65797 65765 65771 65758 65759 65748 65749 65734 65738 65723 65725 65701 65714 65687 65690 65673 65682 65666 65667 65641 65656 65627 65630 65615 65622 65608 65609 65595 65598 65090 65091 65084 65085 65064 65065 65057 65058 64974 64976 64960 64963 64948 64955 64941 64942 64928 64931 64178 64182 64168 64169 64164 64166 64158 64159 64148 64149 64139 64143 64129 64130 64117 64119 64110 64111 64100 64101 63934 63936 63920 63923 63906 63915 63899 63900 63886 63889 63670 63673 63656 63665 63649 63650 63636 63639 63424 63427 63412 63419 63405 63406 63392 63395) ((font-lock-type-face font-lock-type-face font-lock-type-face) 79238 79256 79197 79230 79085 79086 78977 78978 78962 78974 78959 78960 78895 78896 78879 78892 78836 78848 78795 78807 78691 78692 78676 78688 78673 78674 78609 78610 78593 78606 78548 78560 78510 78521 77977 77978 77895 77896 77879 77892 77690 77702 77613 77625 77504 77505 77489 77501 77486 77487 77404 77405 77389 77401 75707 75708 75637 75638 75621 75634 75555 75567 75504 75516 75404 75405 75389 75401 75386 75387 75316 75317 75300 75313 75234 75246 75184 75195 74730 74740 74705 74723 74675 74697 74603 74604 74552 74564 74456 74457 74441 74453 74438 74439 74368 74369 74352 74365 74297 74309 74246 74258 74148 74149 74128 74145 74112 74113 74066 74067 73996 73997 73980 73993 73923 73935 73874 73886 73770 73771 73755 73767 73752 73753 73682 73683 73666 73679 73609 73621 73561 73572 73356 73366 73331 73349 73298 73323 73141 73151 73116 73134 73039 73108 73020 73021 72947 72948 72931 72944 72867 72879 72814 72826 72703 72704 72688 72700 72685 72686 72612 72613 72596 72609 72530 72542 72480 72491 69819 69838 69798 69811 69781 69782 69778 69779 69731 69743 69728 69729 69685 69697 69613 69614 69593 69610 69577 69578 65959 65960 65847 65848 65831 65844 65583 65595 65492 65493 65477 65489 65091 65102 65065 65084 65043 65057 64916 64928 64825 64826 64805 64822 64789 64790 64182 64190 64166 64168 64143 64148 64119 64129 64083 64100 63874 63886 63776 63777 63761 63773 63758 63759 63691 63692 63675 63688 63624 63636 63530 63531 63515 63527 63512 63513 63445 63446 63429 63442 63381 63392) ((font-latex-warning-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 78507 78509 77386 77388 77197 77199 77120 77122 75181 75183 73558 73560 72477 72479 72344 72348 72257 72259 72193 72195 72140 72142 72009 72013 63378 63380) ((font-latex-math-face font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 78482 78488 77104 77109 77078 77084 75165 75170 75147 75153 73542 73547 73516 73522 71800 71805 71774 71780 71673 71678 71647 71653 71480 71485 71454 71460 71270 71275 71251 71260 71244 71250 71233 71243 71206 71211 71191 71197 71180 71190 70933 70938 70918 70924 70907 70917 70880 70885 70865 70871 70854 70864 63361 63366 63334 63340) ((font-latex-math-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 78488 78489 78481 78482 77109 77110 77103 77104 77084 77085 77077 77078 75170 75171 75164 75165 75153 75154 75146 75147 73547 73548 73541 73542 73522 73523 73515 73516 71805 71806 71799 71800 71780 71781 71773 71774 71678 71679 71672 71673 71653 71654 71646 71647 71485 71486 71479 71480 71460 71461 71453 71454 71275 71280 71260 71270 71250 71251 71243 71244 71228 71233 71211 71214 71197 71206 71190 71191 71177 71180 70938 70943 70924 70933 70917 70918 70902 70907 70885 70888 70871 70880 70864 70865 70851 70854 63366 63367 63360 63361 63340 63341 63333 63334) ((font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 78489 78507 78404 78481 77110 77120 77085 77103 77016 77077 75171 75181 75154 75164 75086 75146 73548 73558 73523 73541 73458 73515 71806 71816 71781 71799 71712 71773 71679 71689 71654 71672 71621 71646 71486 71496 71461 71479 71390 71453 71371 71372 71298 71299 71282 71295 71216 71228 71165 71177 71052 71053 71037 71049 71034 71035 70961 70962 70945 70958 70890 70902 70840 70851 63367 63378 63341 63360 63285 63333) ((font-lock-type-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-keyword-face font-lock-type-face font-lock-keyword-face) 78400 78403 77012 77015 75082 75085 73454 73457 63281 63284) ((font-lock-type-face font-lock-function-name-face font-lock-type-face font-lock-type-face font-lock-type-face) 78374 78383 76986 76995 75056 75065 73428 73437 65463 65472 63255 63264) ((font-lock-type-face font-lock-keyword-face font-latex-sedate-face font-lock-type-face font-lock-type-face font-lock-type-face) 78368 78374 76980 76986 75050 75056 73422 73428 65457 65463 63249 63255) ((font-lock-type-face font-lock-type-face font-lock-type-face font-lock-type-face) 79065 79083 78978 79057 78937 78955 78896 78929 78775 78793 78692 78767 78651 78669 78610 78643 78509 78510 78403 78404 78383 78400 78367 78368 78357 78358 77963 77973 77938 77956 77896 77919 77601 77611 77576 77594 77505 77568 77472 77482 77447 77465 77405 77428 77388 77389 77199 77211 77122 77134 77015 77016 76995 77012 76979 76980 75693 75703 75668 75686 75638 75660 75492 75502 75475 75485 75405 75467 75372 75382 75347 75365 75317 75339 75183 75184 75085 75086 75065 75082 75049 75050 74540 74550 74523 74533 74457 74515 74424 74434 74399 74417 74369 74391 74052 74062 74027 74045 73997 74019 73862 73872 73837 73855 73771 73829 73738 73748 73713 73731 73683 73705 73560 73561 73457 73458 73437 73454 73421 73422 73006 73016 72981 72999 72948 72973 72802 72812 72777 72795 72704 72769 72671 72681 72646 72664 72613 72638 72479 72480 72366 72367 72351 72363 72348 72349 72275 72276 72259 72272 72195 72207 72142 72154 72031 72032 72016 72028 72013 72014 71940 71941 71925 71937 65947 65955 65931 65933 65905 65913 65881 65891 65848 65862 65472 65477 65456 65457 63861 63872 63835 63854 63777 63827 63743 63754 63717 63736 63692 63709 63611 63622 63585 63604 63531 63577 63497 63508 63471 63490 63446 63463 63380 63381 63284 63285 63264 63281 63248 63249) ((font-lock-keyword-face font-latex-sedate-face font-lock-keyword-face font-lock-keyword-face font-lock-keyword-face) 78344 78357 76966 76979 75043 75049 73415 73421 65450 65456 63242 63248) ((font-latex-italic-face font-lock-type-face) 24709 24727 24647 24671 24593 24609 24444 24475 24248 24283 24173 24189 24040 24060) ((font-lock-keyword-face font-lock-type-face font-latex-sedate-face) 24705 24708 24643 24646 24589 24592 24440 24443 24244 24247 24169 24172 24036 24039) ((font-lock-keyword-face) 24703 24704 24641 24642 24587 24588 24438 24439 24242 24243 24167 24168 24034 24035 23778 23779 23684 23685) ((font-latex-bold-face) 22180 22207 20117 20194 19765 19840 19518 19570) ((font-latex-italic-face font-lock-constant-face) 16330 16346) ((font-lock-string-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 15491 15503) ((font-lock-keyword-face font-latex-sedate-face font-lock-keyword-face font-lock-keyword-face) 74106 74112 69571 69577 64783 64789 15059 15062) ((font-latex-italic-face font-latex-italic-face font-lock-function-name-face) 13156 13167) ((font-latex-italic-face font-latex-italic-face font-lock-keyword-face font-latex-sedate-face) 13152 13156) ((font-latex-italic-face font-latex-italic-face) 15532 16048 13167 13169 12804 13152) ((font-latex-italic-face font-latex-sedate-face font-latex-italic-face font-latex-italic-face) 12527 12532) ((font-latex-warning-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 12524 12526) ((font-latex-italic-face font-latex-sedate-face font-latex-italic-face font-lock-type-face font-latex-italic-face font-lock-type-face) 12300 12306) ((font-latex-italic-face font-latex-italic-face font-latex-italic-face) 15503 15532 15080 15491 15062 15063 12532 12804 12526 12527 12478 12524 12306 12464 12290 12300) ((font-latex-italic-face font-lock-function-name-face font-latex-italic-face font-latex-italic-face) 15069 15080 12468 12478 12280 12290) ((font-latex-italic-face font-lock-keyword-face font-latex-sedate-face font-latex-italic-face font-latex-italic-face) 15063 15069 12464 12468 12274 12280) ((font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 12137 12274) ((font-latex-italic-face font-latex-sedate-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 11928 11933) ((font-latex-warning-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 11925 11927) ((font-latex-italic-face font-lock-function-name-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 11797 11808) ((font-latex-italic-face font-lock-keyword-face font-latex-sedate-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 11791 11797) ((font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face font-latex-italic-face) 11933 12137 11927 11928 11808 11925 11790 11791) ((font-lock-keyword-face font-latex-sedate-face font-lock-keyword-face font-lock-keyword-face font-lock-keyword-face font-lock-keyword-face font-lock-keyword-face font-lock-keyword-face) 70357 70370 11787 11790) (font-latex-warning-face 76576 76580 76491 76493 76368 76370 76302 76304 76177 76181 76092 76094 75969 75971 75903 75905 69441 69445 69352 69354 69142 69144 69079 69081 68845 68849 68776 68778 68715 68717 68669 68671 68391 68395 68311 68313 68225 68227 68179 68181 67975 67979 67908 67910 67859 67861 67813 67815 66937 66941 66863 66865 66772 66774 66667 66671 66606 66608 66572 66574 66471 66475 66410 66412 66378 66380 22207 22209 14362 14364 14293 14295 9067 9069) ((font-latex-warning-face font-latex-italic-face) 8631 8633) ((font-lock-type-face font-latex-sedate-face) 81032 81038 80388 80394 75749 75762 68957 68963 68557 68563 68066 68072 67690 67696 66255 66261 25108 25114 20221 20227 19867 19873 19597 19603 18069 18075 5393 5399) ((font-latex-math-face font-latex-sedate-face) 83388 83394 83312 83317 83294 83305 83284 83290 83216 83221 83033 83039 82954 82959 82753 82759 82683 82688 76481 76486 76466 76472 76451 76457 76428 76433 76413 76419 76398 76404 76387 76397 76360 76365 76345 76351 76330 76336 76319 76329 76082 76087 76067 76073 76052 76058 76029 76034 76014 76020 75999 76005 75988 75998 75961 75966 75946 75952 75931 75937 75920 75930 69329 69338 69322 69328 69308 69317 69290 69299 69276 69285 69269 69275 69216 69225 69208 69214 69198 69207 69179 69188 69172 69178 69161 69171 69125 69131 69107 69113 69096 69106 68752 68761 68745 68751 68734 68744 68697 68703 68686 68696 68287 68296 68280 68286 68255 68261 68244 68254 68207 68213 68196 68206 67889 67895 67878 67888 67841 67847 67830 67840 66848 66857 66829 66838 66818 66827 66806 66817 66789 66799 66589 66599 66395 66405 64549 64558 64445 64454 64411 64420 63148 63157 61339 61345 61324 61334 60877 60883 60864 60874 60822 60828 60809 60819 17879 17885 3852 3856 3550 3554 3543 3547) (font-latex-math-face 84723 84732 84358 84363 84302 84305 83779 83784 83769 83774 83453 83458 83429 83434 83394 83397 83387 83388 83333 83376 83317 83320 83305 83312 83290 83294 83283 83284 83237 83272 83221 83224 83209 83216 83039 83044 83032 83033 82975 83021 82959 82962 82946 82954 82892 82901 82881 82890 82759 82765 82752 82753 82704 82741 82688 82691 82677 82683 82586 82591 82576 82581 82562 82565 82554 82557 82368 82373 82204 82209 80889 80894 80313 80318 80163 80168 76937 76940 76929 76932 76849 76852 76753 76756 76735 76740 76486 76491 76472 76481 76457 76466 76433 76451 76419 76428 76404 76413 76397 76398 76382 76387 76365 76368 76351 76360 76336 76345 76329 76330 76316 76319 76087 76092 76073 76082 76058 76067 76034 76052 76020 76029 76005 76014 75998 75999 75983 75988 75966 75969 75952 75961 75937 75946 75930 75931 75917 75920 75015 75018 74945 74948 74870 74873 69544 69547 69536 69539 69474 69478 69338 69351 69328 69329 69317 69322 69299 69308 69285 69290 69275 69276 69225 69269 69214 69216 69207 69208 69188 69198 69178 69179 69171 69172 69156 69161 69131 69141 69113 69125 69106 69107 69093 69096 68911 68914 68885 68888 68761 68775 68751 68752 68744 68745 68729 68734 68703 68714 68696 68697 68683 68686 68488 68491 68443 68446 68296 68310 68286 68287 68261 68280 68254 68255 68239 68244 68213 68224 68206 68207 68193 68196 67895 67907 67888 67889 67873 67878 67847 67858 67840 67841 67827 67830 67230 67234 67073 67076 66857 66863 66838 66848 66827 66829 66817 66818 66799 66806 66786 66789 66599 66606 66586 66589 66405 66410 66392 66395 65429 65432 65406 65410 64684 64690 64652 64655 64558 64562 64544 64549 64454 64458 64440 64445 64420 64424 64410 64411 64341 64344 63168 63177 63157 63161 63147 63148 62002 62006 61969 61972 61345 61350 61334 61339 61319 61324 61148 61153 61128 61131 60883 60886 60874 60877 60861 60864 60828 60831 60819 60822 60806 60809 59534 59537 59367 59370 17982 17985 17960 17963 17945 17948 17885 17888 17876 17879 16861 16865 16838 16841 4417 4422 3856 3863 3849 3852 3628 3631 3565 3568 3554 3557 3547 3550 3540 3543) ((font-latex-italic-face font-latex-sedate-face) 22210 22213 8635 8638 6329 6332 6190 6193 6156 6159 5909 5912 5893 5896 2499 2502 2485 2488) ((font-latex-italic-face font-lock-function-name-face) 8517 8528 5793 5804 2408 2419) ((font-latex-italic-face font-lock-keyword-face font-latex-sedate-face) 16326 16330 8511 8517 5787 5793 2402 2408) ((font-latex-italic-face) 60613 60623 16346 16568 16048 16326 8638 8994 8633 8635 8528 8631 8510 8511 6332 6346 6193 6329 6159 6190 5912 6156 5896 5909 5804 5893 5786 5787 2502 2571 2488 2499 2419 2485 2401 2402 1067 1078 1013 1032 847 866) (font-lock-string-face 11662 11677 11461 11476 688 696) ((font-lock-comment-face font-latex-sedate-face) 57704 57708 57652 57655 57637 57650 25016 25020 24964 24967 24949 24962 23590 23594 23538 23541 23523 23536 23198 23201 23193 23196 22970 22974 22887 22891 22805 22809 22723 22727 22671 22674 22656 22669 21772 21776 21692 21696 21611 21615 21559 21562 21544 21557 20894 20898 20817 20821 20706 20710 20654 20657 20639 20652 13552 13556 13467 13471 13384 13388 13301 13305 13249 13252 13234 13247 10863 10867 10779 10783 10697 10701 10615 10619 10563 10566 10548 10561 7431 7435 7345 7349 7261 7265 7177 7181 7125 7128 7110 7123 4809 4813 4735 4739 4663 4667 4591 4595 4539 4542 4524 4537 3425 3429 3312 3316 3242 3246 3171 3175 3100 3104 3048 3051 3033 3046 2094 2098 2011 2015 1930 1934 1849 1853 1797 1800 1782 1795 515 519 445 449 377 381 309 313 257 260 242 255) ((font-lock-constant-face) 79315 79328 57617 57633 24933 24945 24143 24157 23503 23519 22628 22652 22112 22124 21518 21540 20616 20635 13205 13230 10520 10544 7080 7106 4506 4520 3016 3029 1755 1778 228 238) ((font-lock-type-face) 85178 85184 85163 85168 84559 84564 83801 83818 79292 79309 78290 78296 78253 78258 78093 78100 78077 78082 78065 78070 78009 78020 76957 76964 76888 76894 76800 76805 76566 76576 76541 76559 76510 76533 76292 76302 76267 76285 76200 76259 76167 76177 76142 76160 76111 76134 75893 75903 75868 75886 75799 75860 75739 75746 75035 75041 74956 74966 74899 74904 74098 74104 73402 73413 70349 70355 70319 70333 70259 70261 70245 70246 70190 70191 70174 70187 70171 70172 70109 70121 70106 70107 70048 70060 69966 69967 69946 69963 69930 69931 69916 69922 69564 69569 69428 69441 69409 69414 69393 69395 69371 69385 69051 69079 69000 69043 68948 68954 68832 68845 68816 68818 68795 68808 68650 68669 68600 68642 68549 68554 68527 68532 68511 68516 68366 68391 68350 68352 68330 68342 68151 68179 68109 68143 68057 68063 67947 67975 67927 67939 67785 67813 67743 67777 67531 67541 67323 67329 66929 66937 66882 66915 66690 66772 66625 66667 66494 66572 66429 66471 66298 66378 66230 66241 65377 65383 64725 64731 63223 63229 63194 63208 63024 63041 62991 63010 62101 62107 61442 61447 60160 60166 60125 60130 59896 59902 59838 59843 57550 57610 24904 24926 24870 24876 24708 24709 24704 24705 24646 24647 24642 24643 24592 24593 24588 24589 24443 24444 24439 24440 24247 24248 24243 24244 24217 24223 24172 24173 24168 24169 24039 24040 24035 24036 23897 23910 23760 23768 23439 23496 22606 22622 22524 22528 22499 22507 22163 22171 21924 21932 21486 21512 21146 21166 21047 21053 20587 20610 17599 17601 17558 17560 15037 15057 14920 14933 14861 14868 14735 14749 14668 14672 14586 14593 14398 14412 14301 14361 13182 13199 11765 11785 11265 11271 10478 10514 9075 9122 8485 8505 7683 7690 7668 7674 7555 7562 7042 7074 5761 5781 5303 5309 5197 5202 5176 5186 5164 5169 5152 5157 4478 4499 4430 4438 4308 4316 4180 4188 4134 4147 4007 4020 3952 3960 2988 3009 2875 2877 2674 2679 2376 2396 2346 2359 2326 2332 2287 2295 1734 1749 1715 1719 190 222) (font-lock-comment-face 76182 76184 66672 66674 66476 66478 57708 57773 57655 57704 57650 57652 57635 57637 25020 25081 24967 25016 24962 24964 24947 24949 23594 23659 23541 23590 23536 23538 23521 23523 23201 23427 23196 23198 23191 23193 22974 23047 22891 22970 22809 22887 22727 22805 22674 22723 22669 22671 22654 22656 21776 21847 21696 21772 21615 21692 21562 21611 21557 21559 21542 21544 20898 20966 20821 20894 20710 20817 20657 20706 20652 20654 20637 20639 16972 17056 13747 14121 13556 13631 13471 13552 13388 13467 13305 13384 13252 13301 13247 13249 13232 13234 10867 10941 10783 10863 10701 10779 10619 10697 10566 10615 10561 10563 10546 10548 7435 7511 7349 7431 7265 7345 7181 7261 7128 7177 7123 7125 7108 7110 4813 4877 4739 4809 4667 4735 4595 4663 4542 4591 4537 4539 4522 4524 3429 3491 3316 3425 3246 3312 3175 3242 3104 3171 3051 3100 3046 3048 3031 3033 2098 2171 2015 2094 1934 2011 1853 1930 1800 1849 1795 1797 1780 1782 519 579 449 515 381 445 313 377 260 309 255 257 240 242 127 181 105 126) ((font-latex-sedate-face) 80996 81005 80352 80361 67697 67706 66243 66252 63231 63240 24419 24424 20102 20111 19750 19759 19503 19512 19464 19469 18638 18643 9541 9546 9526 9531 47 57 25 39) ((font-lock-function-name-face) 85329 85339 81170 81180 81012 81022 80648 80658 80368 80378 76585 76594 75769 75778 69450 69459 68970 68979 68854 68863 68570 68579 68400 68409 68079 68088 67984 67993 67713 67722 66946 66955 66268 66277 57527 57537 25088 25098 24882 24891 23666 23675 20561 20572 20461 20471 20201 20211 20090 20100 19847 19857 19738 19748 19577 19587 18244 18254 18049 18059 10452 10463 7016 7027 5735 5745 5373 5383 2962 2973 93 103 75 85 15 24) ((font-lock-keyword-face font-latex-sedate-face) 85325 85329 85174 85177 85159 85162 84555 84558 83787 83801 81166 81170 81006 81012 80644 80648 80362 80368 79309 79315 79278 79292 78286 78289 78249 78252 78089 78092 78073 78076 78061 78064 77995 78009 76943 76957 76884 76887 76796 76799 76581 76585 76506 76509 76196 76199 76107 76110 75795 75798 75763 75769 75725 75739 75021 75035 74952 74955 74895 74898 74084 74098 73388 73402 70335 70349 70305 70319 69924 69930 69902 69916 69550 69564 69446 69450 69367 69370 68996 68999 68964 68970 68934 68948 68850 68854 68791 68794 68596 68599 68564 68570 68535 68549 68523 68526 68507 68510 68396 68400 68326 68329 68105 68108 68073 68079 68043 68057 67980 67984 67923 67926 67739 67742 67707 67713 67517 67531 67319 67322 66942 66946 66878 66881 66686 66689 66621 66624 66490 66493 66425 66428 66294 66297 66262 66268 66216 66230 65363 65377 64711 64725 63209 63223 63180 63194 63020 63023 62987 62990 62097 62100 61438 61441 60609 60612 60156 60159 60121 60124 59892 59895 59834 59837 57611 57617 57539 57550 57523 57527 25082 25088 24927 24933 24893 24904 24878 24882 24866 24869 24698 24703 24636 24641 24582 24587 24433 24438 24237 24242 24213 24216 24162 24167 24139 24143 24029 24034 23893 23896 23773 23778 23756 23759 23679 23684 23660 23666 23497 23503 23428 23439 22622 22628 22595 22606 22520 22523 22495 22498 22176 22179 22159 22162 22108 22112 21920 21923 21512 21518 21475 21486 21132 21146 21043 21046 20610 20616 20576 20587 20557 20561 20457 20461 20195 20201 20113 20116 20086 20090 19841 19847 19761 19764 19734 19738 19571 19577 19514 19517 18240 18244 18043 18049 17595 17598 17554 17557 15023 15037 14916 14919 14857 14860 14731 14734 14664 14667 14582 14585 14394 14397 14297 14300 13199 13205 13171 13182 11751 11765 11261 11264 10514 10520 10467 10478 10448 10452 9071 9074 8507 8510 8471 8485 7679 7682 7664 7667 7551 7554 7074 7080 7031 7042 7012 7016 5783 5786 5747 5761 5731 5735 5367 5373 5299 5302 5193 5196 5172 5175 5160 5163 5148 5151 4500 4506 4467 4478 4426 4429 4304 4307 4176 4179 4130 4133 4003 4006 3948 3951 3010 3016 2977 2988 2958 2962 2871 2874 2670 2673 2398 2401 2362 2376 2342 2345 2322 2325 2283 2286 1749 1755 1723 1734 1711 1714 1063 1066 1009 1012 843 846 222 228 182 190 87 93 64 75 1 15))))