Caml1999O022BTh&C !8& ~ 8!i8C&68&)*V1D C8 "V  2"jpin( 8 "V 2"jp(Tc([8! W;;;;;;;;;;;;;;D C ] CT 8!T "Vl&[,xY+ !?Z( yVc()*]c ^T7]$c ^8 !Vd ^8 !Ve ^8 !V]T58!6 8# &)*c(e rj q 2"h 7T7@8"@()*,l "h ] CT 8!T@ 8"@ 8&5%68')*8! Wc(C 8&)*8G! !8&)*8G! !8&8G8G"8F%5 8 !h]6@ + + + +66 "6 "ih @@ ?+d +[? + +  +x + + %dhh@8 +!@A@68     #>95?97 &e$( Ascii_syntax_plugin.Ascii_syntax>plugins/syntax/ascii_syntax.mlW  Z  W@F$unit@@@RD@Q*floatarray@,@@@A@@@&_none_A@A@@@@P5extension_constructor@A#int@,@@@A@@@ @AB$char@O&string@D%float@E$bool@,@@а^%false@@@@а_$true@@@@@A@@@@AF$unit@,@@а`"()@@@&@@A@@@&@A#G#exn@,@@AA@@@)@@&H%array@,@M@A@A@@@0@@-I$list@,N@Aаa"[]@@@;@аb"::@ @@O@@G@@A@Y@@H@@EJ&option@,P@Aаc$None@@@S@аd$Some@ @@Y@@A@Y@@Z@@WN&lazy_t@,1Q@A@A@Y@@`@@]K)nativeint@cL%int32@eM%int64@g]:Undefined_recursive_moduleCD@g@@Jq@@@@V@@Ay=ocaml.warn_on_literal_pattern}O@\.Assert_failureC@@X@@A\@Y0Division_by_zeroC$@@@Ac@X+End_of_fileC+@@@Aj@W)Sys_errorC2@.@@A$r@[.Sys_blocked_ioC:@@@A+y@V)Not_foundCA@@@A2@U'FailureCH@D@@A:@T0Invalid_argumentCP@L@@AB@Z.Stack_overflowCX@@@A I@S-Out_of_memoryC_@@@AɠP@R-Match_failureCf@eab@c@@A֠]@C%bytes@ܐ@*PervasivesA1__coq_plugin_name@t@@@-M.M@@@"PpA@'CErrorsA@$UtilA@%NamesA@)Glob_termA@)GlobnamesA@&CoqlibA0Non_closed_ascii@@@@AIX{{JX{@@(make_dir@@I$list@O&string@@@22@@2 #@%NamesA'DirPathD!t@@ L $@ % "@pZqZ@@ @'make_kn@@'"@@5@@5 @5C@,@@5 @5G@%NamesA&MutIndV!t@@5N @5H@5I @5D@5E @5B@[[@@ _)make_path@@OJ@@:&@@:% _6@T@@:, _6@(LibnamesA)full_path@@6 _6@6 _6@6 _6@\#\,@@ %is_gr@@@$DAstA!t@)Glob_termA-glob_constr_r@; @@;  ::@@: :5@@)GlobnamesA0global_reference@@; :9E$bool@@@; ::@:; :6@:7 :4@^ko^kt@@ ,ascii_module@P@@;0 ;.@@;- ;,@ b b@@ *ascii_path@\@@;? ;;@dd@@ (ascii_kn@@@;M ;I@ f%)!f%1@@ -path_of_Ascii@@@;^ ;[}@@;_ ;\@;] ;X@@;a ;Y@;Z ;W@AgQUBgQb@@ 1static_glob_Ascii@a@@ ;c@LhvzMhv@@ .make_reference@@O&string@@@; ;w@)GlobnamesA0global_reference@@; ;x@;y ;v@hjij@@ *glob_Ascii@Ҡ@@; ;@@; ;@zk{k@@@$LazyA ,interp_ascii@#loc@#LocA!t@@< ;@@; ;@A#int@@@>9 ;ưޠ٠<@@< <<@@< ;@; ;@; ;@o48o4D@@ I3interp_ascii_string@#loc87@@F I>]@@>^ I>Z@O&string@@@E I>a F@@FF@@F I>b@>c I>[@>\ I>Y@wfjwf}@@ C.uninterp_ascii@@' G@@GޠG@@G CFrd@@G CG@@G CF@F CF@ B B@@ P1make_ascii_string@@A#int@@@O PG󰖰O&string@@@H PG@G PG@#P  $P  @@ g5uninterp_ascii_string@@[/any_glob_constr@@P  gPJ&option@!@@PPP@@P gP@P gP@BT 8 <CT 8 Q@@@@@@@'*match*@B@@A C@@+A@@:J@@ABCXH@@KI@@AN@@O@@ABP@@G@@TR@@ABCD@@E@@AF@@M@@ABFK@@(L@@AQ@@IS@@ABCDE@@S@( d Ascii_syntax_plugin.Ascii_syntaxrZ  sZ  8@ࠠ#any@@@ lS@A@@ lS lS@@ lS mSɠ lS@@ lS mSA@@@@MY@( L Ascii_syntax_plugin.Ascii_syntaxO@A@@@@QM@M@A m#arg@[@@O@ABCNME@@[@(\ Ascii_syntax_plugin.Ascii_syntaxf%4f%P@B@@@@d`@_@AB\@Y@AS@BCP@M@M@ABD@@I@(H Ascii_syntax_plugin.Ascii_syntaxdd#@B@@@@uqm@c@ABC`D@@H@( Ascii_syntax_plugin.Ascii_syntaxNN$@h@@TA@@@@@@A@@A@( Ascii_syntax_plugin.Ascii_syntaxZZ@I$list@y,module_ident@@ N@@ M2B˰!l@@ZZ@@@@@@@ A@@A@@A@(l Ascii_syntax_plugin.Ascii_syntaxZ!@@@@@@@ A@(X Ascii_syntax_plugin.Ascii_syntax[[ @s'DirPathD!t@@ @5P A5A A#dir@@[[@@ B"id@@[[@@@@@@@B@@A A@@B@A@@A@C@(L Ascii_syntax_plugin.Ascii_syntax"[ #[@"Id@!t@@ @5O A5A'@@@@B@(0 Ascii_syntax_plugin.Ascii_syntax4[@@@-@@@@B@( Ascii_syntax_plugin.Ascii_syntax:\I;\W@@%NamesA'DirPathD!t@@ _6 `:$A2 `#dir@@P\-Q\0@@ a"id@@V\1W\3@@@@@@@B@@A A@@B@A@@A@C@( Ascii_syntax_plugin.Ascii_syntaxd\Xe\i@*"Id@!t@@ _6 `:+A'@@@@B@( Ascii_syntax_plugin.Ascii_syntaxv\6@@@-@@@@B@( Ascii_syntax_plugin.Ascii_syntax|_}_@@Ah !c@@^ku^kv@@ "gr@@^kw^ky@@ !r@@)GlobnamesA0global_reference@@;@__@@@@@@@V@C@@A!B@@A@@D@@ABC@@D@( Ascii_syntax_plugin.Ascii_syntax``@@A-@@@@@ @AB@@C@(d Ascii_syntax_plugin.Ascii_syntax^k^k@A9@@@@@@A@B@@B@(P Ascii_syntax_plugin.Ascii_syntax^k|@@@B@@@@ B@( Ascii_syntax_plugin.Ascii_syntaxjj@@@ "id@w@jj@@@@@@@ A@@A@A@@A@A@( Ascii_syntax_plugin.Ascii_syntaxu-uZ@9 <@@ < <۠? <@@ < <ѐB m@J&option@m@@ < ;@o4Fo4I@@ !p@g@o4Jo4K@@ #aux@@@#IntA!t@@; ;˰@}@@< ;̰]XSA@@AB@A@@A@D@( Ascii_syntax_plugin.Ascii_syntaxEuDFuT@@@ < 4Bu@@@@.C@(P Ascii_syntax_plugin.Ascii_syntaxjukud@@A|@@@@5C@(< Ascii_syntax_plugin.Ascii_syntaxqpNP@@@@@@@@:@A8@B7@B@( Ascii_syntax_plugin.Ascii_syntaxzs{s@Y <B !n@x@pN\pN]@@ !p@r@pN^pN_@@ "mp@@@; ;@rr@@@@@@@C@@AB@@A@@AB@A@@A@@@@AD@( Ascii_syntax_plugin.Ascii_syntaxss@@A-@@@@E@( Ascii_syntax_plugin.Ascii_syntaxss@@A4@@@@E@( Ascii_syntax_plugin.Ascii_syntaxtt@ ;B>@@@@#C@( Ascii_syntax_plugin.Ascii_syntaxI @@AC@@@@(C@( Ascii_syntax_plugin.Ascii_syntaxr@@AH@@@@@-@A+@B*(B@( Ascii_syntax_plugin.Ascii_syntaxqb}qb@@AR@@@@ B@( Ascii_syntax_plugin.Ascii_syntaxqbg@@@X@@@@B@(l Ascii_syntax_plugin.Ascii_syntax@@@@A԰ J%@]#@@ IF I>_@wfwf@@ K!s@"@wfwf@@ L!p@Z@@E J>e@xx@@@@@@@"B@@AC@@A@@AB@A@@A@C@(h Ascii_syntax_plugin.Ascii_syntax~YZ@ JEC3@@@@@@A@B@B@(L Ascii_syntax_plugin.Ascii_syntax@@"PpA!t@@ JE KFAH@@@@B@(4 Ascii_syntax_plugin.Ascii_syntax @AL@@@@B@(, Ascii_syntax_plugin.Ascii_syntax2|3>3|3M@> JEAV@@@@#B@( Ascii_syntax_plugin.Ascii_syntax @AZ@@@@'B@( Ascii_syntax_plugin.Ascii_syntax@{$A{2@E$bool@@@ LEa MEwAk@@@@8B@( Ascii_syntax_plugin.Ascii_syntaxQ{-@B$char@@@ MEx NE}Az@@@@GB@( Ascii_syntax_plugin.Ascii_syntax`{a{ @ @@ LEb MEgA@@@@VB@( Ascii_syntax_plugin.Ascii_syntaxo{@@@ MEh NEmA@@@@bB@( Ascii_syntax_plugin.Ascii_syntax{{|{@@@ KEJ LEOA@@@@pB@( Ascii_syntax_plugin.Ascii_syntax{ @8@@ LEP MEUA@@@@|B@( Ascii_syntax_plugin.Ascii_syntax{@@A@@@@B@( Ascii_syntax_plugin.Ascii_syntaxyy@B$char@@@ JE  KE%A@@@@B@(x Ascii_syntax_plugin.Ascii_syntaxy@@A@@@@B@(` Ascii_syntax_plugin.Ascii_syntaxx@@@@@@@B@(@ Ascii_syntax_plugin.Ascii_syntaxN  N  @@A D!r@@BB@@ E2uninterp_bool_list@@@@F DFư@Ҡ G,@@G+ DF񠰖G- DF@@F DF@@F DFȰ@@GC DF@F@F DF@C C @@@@@@@#exn@C@@A;A@@7B@@AB@A@@AC@@>B@@AB@C@( Ascii_syntax_plugin.Ascii_syntaxL  L  @AN L#aux@@GB?G DGy@@Gx DGnBGp@@Go DGg@@G DGh@Gi DGf@%I  &I  @@@@@@@%G@@A76B4@G@( Ascii_syntax_plugin.Ascii_syntax0L  .@@A+@@@@ G@( Ascii_syntax_plugin.Ascii_syntax6H  @@A~@@@@@EDBB@B@( Ascii_syntax_plugin.Ascii_syntax>C@@@@@@@@M@AJ@A@( Ascii_syntax_plugin.Ascii_syntaxFK l }GK l @G#exn@@@ DG EGA M!c@G@VI  WI  @@@@@@@@B@@A A@@B@A@@AC@@BB@@D@@AC@B@( Ascii_syntax_plugin.Ascii_syntaxkK l w%@@A@@@@B@( Ascii_syntax_plugin.Ascii_syntaxqJ  UrJ  k@@A$ N!r@c@@Gz@}J  ,~J  -@@ O!l@+(p@@G|@@G{@J  /J  0@@@@@@52@C@@D@@ABC5@D@( Ascii_syntax_plugin.Ascii_syntaxJ  7J  Q@K@@ DG DGB/@@@@D@( Ascii_syntax_plugin.Ascii_syntaxJ  ?@@@ DG EGA;@@@@!D@($ Ascii_syntax_plugin.Ascii_syntax@A?@@@@%D@( Ascii_syntax_plugin.Ascii_syntaxI  I  @Aj@@@@@`@A_@A@( Ascii_syntax_plugin.Ascii_syntaxI  |@@@r@@@@A@( Ascii_syntax_plugin.Ascii_syntaxG  G  @@@ DG] EG_A F!n@ @C C @@@@@@@ B@@A K%param@A@@B@A@@A#B@@B@$@@@AB@( Ascii_syntax_plugin.Ascii_syntaxG  !@@A@@@@BC( Ascii_syntax_plugin.Ascii_syntaxD ! @D ! A@@A#@@@@B@( Ascii_syntax_plugin.Ascii_syntaxD ! /D ! <@@A*@@@@#B(p Ascii_syntax_plugin.Ascii_syntaxF  F  @ DG B7 I!r@6 DF@ F   F  @@ J!l@ @@F@F  F  @@@@@@@E H!l@C@@AF@F@F G!r@D@@ABCIEF@(X Ascii_syntax_plugin.Ascii_syntax,F  ,@@A(@@@@F@(P Ascii_syntax_plugin.Ascii_syntax2F  3F  @@@ DG> DG(B6@@@@#F@(D Ascii_syntax_plugin.Ascii_syntax@A:@@@@'F@( Ascii_syntax_plugin.Ascii_syntaxDE B lEE B @F DFB|&y DF@OE B HPE B I@@2ʠ@@F@WE B KXE B L@@@@@@@?@A@@:@ABC|D@( Ascii_syntax_plugin.Ascii_syntaxcE B h@@A@@@@ D@( Ascii_syntax_plugin.Ascii_syntaxiE B RjE B c@@@ DF DFB(@@@@D@( Ascii_syntax_plugin.Ascii_syntax@A,@@@@D( Ascii_syntax_plugin.Ascii_syntaxAA@@@@@B( Ascii_syntax_plugin.Ascii_syntaxR  R  6@@Ax Q!n@v@P  P  @@@@@@@ A@@A@@A@(| Ascii_syntax_plugin.Ascii_syntaxQ  Q  @B$char@@@ PH QHA@@@@A@(h Ascii_syntax_plugin.Ascii_syntaxQ  @@A!@@@@A@(H Ascii_syntax_plugin.Ascii_syntaxQ  (@@@'@@@@ A@(p Ascii_syntax_plugin.Ascii_syntaxT 8 T 8 @@@PPPP@@PPPPA!r.uninterp_ascii1make_ascii_string@ j!r@o i1$AnyGlobConstr_'r@@@PQP@@P@T 8 aT 8 b@@@ ,@@@A@@ h h@@@A@@@@@ k@A@@B@@AB@B@@A@@AB@B@(h Ascii_syntax_plugin.Ascii_syntaxT 8 f>@@A/@@@@BA(\ Ascii_syntax_plugin.Ascii_syntaxT 8 RGAA@@@@@@@A@A (H Ascii_syntax_plugin.Ascii_syntax@@@@@@@ l#eta@A@@A@kA@@A@A@@( 7/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit F/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit/plugins/syntax@b @ (3Ascii_syntax_pluginP `@&OptionAx@*PervasivesAp@$UtilA@D@@BC@@@@$%03d@@@&PrintfA@&CoqlibA䠠<@$DAstA,caml_obj_tag,@0CamlinternalLazyAh5caml_ml_string_lengthh/caml_string_getE ܠK䠠Q 2caml_int_of_string( 8Expects a single character or a three-digits ascii code.@8@"PpA@@3interp_ascii_string@@P@'CErrorsA\O蠠R@$DAstAMtL@$DAstAࠠ@$DAstA%Ascii@4Ascii interpretation@,v4@$DAstAX@)GlobnamesA̠@%NamesA𠠑@(LibnamesA 8@)GlobnamesA\t3ascii_syntax_plugin@@%MltopAĠ0caml_fresh_oo_idؠ=Ascii_syntax.Non_closed_ascii@ࠠ@#Coq@@'Strings@@%Ascii@@@@@0%ascii@8%ascii@L@$DAstA @*char_scope@ @(NotationA @ Ascii_syntax_plugin.Ascii_syntaxA D L@A \@02mnH9G;,Xml_datatype0_d oS:D@4(Vmvalues0IMGy?[!*Vernacexpr0 ã0=J Cs$Util0,zt@CYS)Universes0}=YF\$Univ0 - ݈N{)Unionfind0W%.;!ԗ#kh&Uint310 @㏔YNPņ%Uchar0YlIs{Gt~Ѡ&UState0N#VȽ7p&UGraph0lMK#Tok01Um!9N$Term09s 3F`&&Ơ'Summary0aa_NkU&String0榛"x:Cr&Stream0(,Vd`,z#Str0p,' V%Store0_ aF𒠠'Stateid064*-f%%Sorts0 q<ȲN""Ԡ#Set0(-l1|0=m+Safe_typing0hxIkW3iΠ%Rtree0ypRC۠.Retroknowledge0EL l+t-RemoteCounter0|ʄ I%Sɠ)Reduction0fH=Й,,5%Range0z€duVF0d6ȫo)Predicate0Vr!: Гb'Pre_env0À5LECQ (Ppextend0UK>iz{$Bࠠ"Pp0vzA"'#bnI $Ploc0@`(h'Plexing0áoD Fz:Hu0ܗ,4(z٢ː0$cLxs:+Opaqueproof0-;"eX;xJDɠ#Obj0IyIf.pk-Notation_term0^w8ckg jӐ0wa9{~0Aݠ,Nativevalues0Kї֢.yΥ%*,Nativelambda0zX}]џFm+Nativeinstr0~vՆ*Nativecode0o11ƙXd%Names0gCwM.t%Monad0 f( r o5)Mod_subst0-c;7)!Ҫm3L}60/p"py;)Misctypes0깢hH]4Ԡ#Map0P"pV2.砠%Locus0( 1*Isa#Loc0Fwԯ-ړݠ$List0zkr e8D(Libnames0IY8[&Kp/&Lexing0 qe 3&($Lazy0K(vڠ%Int320(՗Ymyi#Int0HJɀ`M) $K$'Entries0%B^F'EConstr0ʨ/@(ɢjح#Dyn0UXzOD*&Digest08Qr%lSe7򵠠,Declarations0!GI&젠*Decl_kinds0VXTuV@$DAst0Oyhznl0s՗0!O'Cooking0\QWB d(f+Conv_oracle0aTQr{(Π'Context0|.ާ m|ʎ' *Constrexpr0 a(f.ݠ&Constr0X*ӕ8n锁GD(Classops0(Wa=Tʠ&Cinstr0M4 T4e69*Cemitcodes0?ž V *Cbytecodes0Pi~I\tN0e;fk7a38CamlinternalFormatBasics0ySkDTVǗ 'CString0Xb ɲS&CStack03zs$CSig09e++k1C$CSet00ef +CPrimitives09B6$ݯ$CMap0Iz\#%CList0d;:=>2;Bs&CLexer0%PܹnM%MSV0ѳj V `5g]*CEphemeron0cTdt=}#$CAst0"% KfFb*TJ&CArray0D%([U[&Buffer069=wFqFF)&Bigint0 B4#!1Ҡ%Array0#Uxkܐ@۠'MYU6S@@@ p8K