Caml1999O022]mT8! W^^^#^^^^^^^^^^C 8"V7(T<D V5D VT.C C "V 2!8 %  "V 2!8 !8% T[h&C Y !?Z( yVc(8! W22222222222222D VD VTC C "V%T[h&h&)*c "@h@8 +!@8 +%)*8G! 8&8! WWWW#WWWWWWWWWWC 8"V7(T5D V.D VT'C C "V%  "V !8% T[h&h&h&)*7 8"UGch 8!V  T8! c "@h @8 +!@8 +%c@8 +%h&h&8! D C #8 8"Uc 2!@@8 +%(c 2!@@8 +%h&h&h&)*c@8 +!h@8 +!h@8 +! ,{ %)* 8&)*8! Wc(C 8&)*8G! !8&8G8G"8F%5 8 !h]6@6 + + +6 " +68G!! "h @?ih @@jh@@kh@@ ? ? ? + ,5"68G!! "h @?ih @@jh@@kh@@ ? ? ?  +  +66 " +v6 ! "? +B #+ "+ %chh @8 +!@A6 @68     "$&(*,.02468:<?ACF>#%95?9Lm 6y4(8R_syntax_plugin.R_syntax:plugins/syntax/r_syntax.ml@F$unit@@@CD@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@ܐ@*PervasivesA@$UtilA@%NamesA@)GlobnamesA@)Glob_termA@&BigintA1__coq_plugin_name@@@@KRLR@@1Non_closed_number@@@@ARUaaSUa|@@'binnums@נ@@@@~}@d[Z^e[Ze@@(make_dir@@I$list@O&string@@@131 @@1 @%NamesA'DirPathD!t@@@@]]@@ A)make_path@@'"@@7@@7 A3@,@@7 A3@(LibnamesA)full_path@@4v A3@3 A3@3 A3@^^@@ %is_gr@@@$DAstA!t@)Glob_termA-glob_constr_r@8@@8 8G8I@@8H 7ᰖ@@)GlobnamesA0global_reference@@8 7尖E$bool@@@8 7@7 7@7 7@` ` @@ -positive_path@J@@8 8@dhldhy@@ 'make_kn@@@%NamesA'DirPathD!t@@8 8簖@"Id@!t@@8 8밖&MutIndV!t@@8 8@8 8@8 8@"g#g@@ +positive_kn@@@9 9@-i.i@@ -glob_positive@Z@@v 9@8j/39j/@@@ *path_of_xI@/@@9 9Š@@9 9@9 9 @@9 9@9 9@YkZ^ZkZh@@ *path_of_xO@P@@9 9Ѡ@@9 9@9 9Π@@9 9@9 9@zl{l@@ *path_of_xH@q@@9 9ݠ@@9 9@9 9ڠ@@9 9@9 9@mm@@ 'glob_xI@n 9@nn@@ 'glob_xO@v 9@oo@@ 'glob_xH@~ : @pp @@ -pos_of_bignat@#loc&@:"@@:# :@@&BigintA&bigint@@< :&-glob_constr_g<@@< :'@:( : @:! :@r<@r<M@@ q-bignat_of_pos@@.)&= q=@@= q= q=@@= q= .@@= q=@= q= @B  B  @@ x&z_path@^@@= x=@ L   L  @@ y$z_kn@@@= y=@M  M  @@ z&glob_z@ z=@N  N  @@ {,path_of_ZERO@@@> {>k@@> {>@> {>q@@> {>@> {>@>O 3 7?O 3 C@@ |+path_of_POS@5@@>" |>@@># |> @>! |>@@>% |>@> |>@_P S W`P S b@@ }+path_of_NEG@V@@>. }>+@@>/ }>,@>- }>(@@>1 }>)@>* }>'@Q r vQ r @@ ~)glob_ZERO@S ~>3@R  R  @@ (glob_POS@[ >F@S  S  @@ (glob_NEG@c >Y@T  T  @@ (z_of_int@#loc堰> >p@@>q >m@@@> >t>@@> >>@@> >u@>v >n@>o >l@V  V  @@ +bigint_of_z@@ ? ?M@@?L ?B?D@@?C ?;@@? ?<@?= ?:@bb@@ ,rdefinitions@-@@@ @@@@ @@ll@@ &r_path@U@@@ @@mm@@ )make_path@@ 'DirPathD!t@@@. @!@@@@ @%(ConstantP!t@@@, @&@@' @"@@# @ @&pX\'pXe@@ (glob_IZR@ @@.r/r@@ (r_of_int@#loc{rA_ @@@@ @@{@@A] AA@@A AA@@A A@A @@@ @@[t\t@@ +bigint_of_r@@A A@@A A|A~@@A} Au@@A Av@Aw At@{{|{*@@ *uninterp_r@@/any_glob_constr@@A Aܰ󠰖@@A A@@A A@A A@@@@@@@@'*match*@B@@AYC@@BeA@@Md@@A^@@S@@ABCZD@@b@@A"\@@B+[@@6Z@@AK@@Q@@ABCO@@P@@AV@@G@@ABDE]E@@I@@Aa>F@@lY@@ABX@@W@@VN@@ABCL@@|M@@$R@@ABJ@@H@@c@@ABC`@@_@@ge@@ABU@@N]@@AT@@BCDEF@@e@(8R_syntax_plugin.R_syntaxz~z@61ࠠ#any@@@E @A@@EE @@EE0E1@@E/E'A@@@@qk@(8R_syntax_plugin.R_syntax@A@@@@uo@#arg@m@@Ar@BqpCDnmEYXF@@m@(8R_syntax_plugin.R_syntaxr r@#(ConstantP!t@@ @ @B@@@@@@ABC@@AB~C|{DEutfd`@a@A^@\@ABYXCDEF@@a@( 8R_syntax_plugin.R_syntaxArBr@:@@ @ @A;@@@@b@( 8R_syntax_plugin.R_syntaxOm!Pm;@UBB@@@@'BC@@|@AByxCDEF@@_@( 8R_syntax_plugin.R_syntaxaM  bM  @SBI@@@@@@@ABC@B@@A@BCD@@AB@@@ABCDE@@T@( 8R_syntax_plugin.R_syntaxzM  {M  @~@@ y= z=Ag@@@@U@( 8R_syntax_plugin.R_syntaxM  '@{@@ y= z=At@@@@+T@( 8R_syntax_plugin.R_syntaxL  L  @B|@@@@4,@@ACDE@@S@( 8R_syntax_plugin.R_syntaxii.@}B@@@@ @@AB@@A@@ABCD@@I@( 8R_syntax_plugin.R_syntaxii@@@ 9 9A@@@@J@( 8R_syntax_plugin.R_syntaxi@@@ 9 9A@@@@#I@( p8R_syntax_plugin.R_syntaxdh|dh@B@@@@,)*@@ABC@@G@( 8R_syntax_plugin.R_syntaxS.7S._@r@@wA@@@@@C@A@@A@( 8R_syntax_plugin.R_syntax]]@I$list@w,module_ident@@@@1B԰!l@@]]@@@@@@@ A@@A@@A@( 8R_syntax_plugin.R_syntax]!@@@@@@@ A@( 8R_syntax_plugin.R_syntax^^@@%NamesA'DirPathD!t@@ A4x B7АA B#dir@@*^+^@@ C"id@@0^1^@@@@@@@B@@A A@@B@A@@A@C@( 8R_syntax_plugin.R_syntax>^?^ @*"Id@!t@@ A4w B7אA'@@@@B@( h8R_syntax_plugin.R_syntaxP^@@@-@@@@B@( D8R_syntax_plugin.R_syntaxVa4EWa4Y@@A1 !c@@_` `` @@ "gr@@e` f` @@ !r@@)GlobnamesA0global_reference@@8@sa4<ta4=@@@@@@@@C@@A!B@@A@@D@@ABC@@D@( ,8R_syntax_plugin.R_syntaxbZabZf@@A-@@@@@ @AB@@C@( 8R_syntax_plugin.R_syntax` $` .@͐A9@@@@@@A@B@@B@( 8R_syntax_plugin.R_syntax` @@@B@@@@ B@( 8R_syntax_plugin.R_syntaxgg@@@| #dir@@gg@@ "id@@gg@@@@@@@B@@A A@@B@@B@( 8R_syntax_plugin.R_syntax||@@A @@@ :$@r<Or<R@@ !x@@r<Sr<T@@ &ref_xI@ :A@@:@ :7 :8@@:6 :*@sW]sWc@@ &ref_xH@1, :c@@:b :Y :Z@@:X :L@tt@@ !&ref_xO@HC2 :@@: :{ :|@@:z :n@uu@@ $&pos_of@@Q@@: :L ;'@@;* :@: :@)v*v@@@@@@@oB@@AF@@LD@@ABdC@@9E@@AnA@@BC@C@@AA@@B@@AB@F@( t8R_syntax_plugin.R_syntaxCv@@A@@@@@@@ABC@EA( p8R_syntax_plugin.R_syntaxOuPu@AA@@@@!@@AC@D ( X8R_syntax_plugin.R_syntax@A@@@@@ #G@F@@A1B- C(@F@( <8R_syntax_plugin.R_syntaxeu@@A@@@@DA( 88R_syntax_plugin.R_syntaxmtnt@AA@@@@@D@A@B;@C ( 8R_syntax_plugin.R_syntax#@A@@@@@ e@E@@AO@BK*CF@E@( 8R_syntax_plugin.R_syntaxt@@A@@@@CA( 8R_syntax_plugin.R_syntaxsWfsW@AA@@@@@b@AZ@BY@B (8R_syntax_plugin.R_syntaxA@A@@@@@ @D@@Al@e@ABd@D@(8R_syntax_plugin.R_syntaxsWY@@@@@@@B@(8R_syntax_plugin.R_syntaxQ@@@@@@@ #eta@A@@A@A@@A@A@(8R_syntax_plugin.R_syntax\@@@@@@@  @A@@A@:A@@A@A@(8R_syntax_plugin.R_syntaxf@@@@@@@ "@A@@A@bA@@A@A@(d8R_syntax_plugin.R_syntaxp@A  %!x@@vv@@ >!q@@@; :@x(1x(2@@@@@@@:@C=@B@@ B@F@@ABD@@ A@@AC@B@@AA@@C@@AB@@@@AF@(@8R_syntax_plugin.R_syntaxx(Xx(`@ՐA2@@@@@@ABE@(08R_syntax_plugin.R_syntaxx(=x(b@@A<@@@@ D@($8R_syntax_plugin.R_syntaxzz@@AC @!q@< ;@zz@@@@@@ ?!q@E32B0*E@(8R_syntax_plugin.R_syntax@AUL :@yclycm@@@@@@@H@ p @G@@ABBC@:G@(8R_syntax_plugin.R_syntax+yc,yc@ A@@@@F@(8R_syntax_plugin.R_syntax4yc5yc@@A@@@@&E@(8R_syntax_plugin.R_syntax;yc} >r@V  V  @@ !n@@V  V  @@@@@@@ @D@@AB@@A@@AB@D@@AC@@#B@@A@@ABC@D@(8R_syntax_plugin.R_syntax\  \ @@A*@@@@@@A@B@B@(8R_syntax_plugin.R_syntax_@A3 #sgn@@@> >@X F NX F Q@@ !n@ > >@X F SX F T@@@@@@@ @F@@A5@BC5@D@@AC6@F@(8R_syntax_plugin.R_syntaxZ  Z  @") >@@ > >Ӡ/ >@@ > >ʐA<@@@@C" BT@E@(8R_syntax_plugin.R_syntax@AB@@@@@ @G@@Aa@B,*C^@G@(8R_syntax_plugin.R_syntax Z   Z  @-J >@@ >BW@@@@E@(8R_syntax_plugin.R_syntax Z   Z  @@A^@@@@"D@(`8R_syntax_plugin.R_syntax Y W  Y W @j >A@@@@oD@(L8R_syntax_plugin.R_syntax !Y W  @@A@@@@uD@(8R_syntax_plugin.R_syntax 'Y W v (Y W @@A@@@@|D@(8R_syntax_plugin.R_syntax .Y W ` /Y W p@@@ > >A@@@@D@(8R_syntax_plugin.R_syntax =X F J-@@A@@@@B@(8R_syntax_plugin.R_syntax CW " + DW " @@@@ >{ >B@@@@B@(8R_syntax_plugin.R_syntax QW " $@@@@@@@B@(8R_syntax_plugin.R_syntax @@@@@@@ @A@@A@aA@@A@A@(8R_syntax_plugin.R_syntax @@@@@@@ @A@@A@A@@A@A@(8R_syntax_plugin.R_syntax @@@@@@@ @A@@A@A@@A@A@(8R_syntax_plugin.R_syntax uf vf@G#exn@@@ ? ?A n !c@@ b  b @@@@@@@@B@@A A@@B@EA@@AC@@F@@AB E@@D@@B@@ABC@B@(8R_syntax_plugin.R_syntax f)@@A@@@@B@(T8R_syntax_plugin.R_syntax d] d]@@@ ? ?ѐA/ !r@۠ ? ?W@@?X@ d]g d]h@@ !a@@@?Z ?\@ d]j d]k@@@@@@@*@D-@CG@AG !a@E@@K@+H !r@F@@ABCP@H@(H8R_syntax_plugin.R_syntax d]>@@A6@@@@H@(@8R_syntax_plugin.R_syntax d]s d]@@@ ? ?BD@@@@)H@(48R_syntax_plugin.R_syntax@AH@@@@-H@(8R_syntax_plugin.R_syntax c#M c#\@@A~"(*@@?N@ c#- c#.@@124@@?P ?R@ c#0 c#1@@@@@@H?@@:@ABC@F@( 8R_syntax_plugin.R_syntax c#9 c#I@@@ ? ?xB&@@@@F@(8R_syntax_plugin.R_syntax@A*@@@@F@(8R_syntax_plugin.R_syntax +e ,e@@A !a@@@?b@ 5e 6e@@@@@@@@AC@@@AB@C@(8R_syntax_plugin.R_syntax Ae Be@@@ ? ?B@@@@C@(p8R_syntax_plugin.R_syntax@A!@@@@C@(8R_syntax_plugin.R_syntax Sb Tb@A@@@@@@A@A@(8R_syntax_plugin.R_syntax ^b @@@@@@@A@(8R_syntax_plugin.R_syntax dpX epX@h"Id@!t@@ @- @ؐA c #dir@l@ wpXf xpXi@@ "id@e@ }pXj ~pXl@@@@@@@B@@A A@@B@@B@(8R_syntax_plugin.R_syntax pXo%@@@@@@@ B@(8R_syntax_plugin.R_syntax 9@A  Y@ԠW@@ A^ A@ t t@@ !z@X@ t t@@@@@@@ @D@@AB@@A@@AB@B@@A@@AB@D@(8R_syntax_plugin.R_syntax u  u)@l A!@@ A# A5r A6@@ A4 A,A;@@@@@&@A$@B#@C@(x8R_syntax_plugin.R_syntax {@AB@@@@@ @E@@A/@.@AB-@E@(P8R_syntax_plugin.R_syntax u, u;@ "  AN@@ AP AZ A\@@ AYBb@@@@'C@(<8R_syntax_plugin.R_syntax u u=@@@i@@@@.B@(8R_syntax_plugin.R_syntax @@m@@@@@ U@A@@A@-A@@A@A@(8R_syntax_plugin.R_syntax @@w@@@@@ _@A@@A@fA@@A@A@(8R_syntax_plugin.R_syntax ~ ~@@@ A AA  !c@@ {+ {,@@@@@@@@B@@A A@@B@ A@@AdC@@BD@@ {B@@AC@B@(8R_syntax_plugin.R_syntax 2~"@@A@@@@B@(8R_syntax_plugin.R_syntax 8}pv 9}p@@A$ !r@h@@A@ D|EO E|EP@@ !a@t@@A A@ P|ES Q|ET@@@@@@@!@D @C9@AE@@9@$F@@ABC:@F@(8R_syntax_plugin.R_syntax d|E\ e|El@6@@ A AB3@@@@F@(8R_syntax_plugin.R_syntax@A7@@@@F@(,8R_syntax_plugin.R_syntax v{5 w{?@Ab@@@@@X@AW@A@(8R_syntax_plugin.R_syntax {/q@@@j@@@@A@(8R_syntax_plugin.R_syntax   @@A !p+bigint_of_r@ !p@ 1$AnyGlobConstr_'r@@@AA@@A@  @@@ ,@@@A@@   Q@@ N@A@@@@@#exn@C@@AB@@%param@A@@AB@ hA@@AYB@@B@C@(8R_syntax_plugin.R_syntax  @*A5@@@@@@A@B@F@(8R_syntax_plugin.R_syntax @@@A?'@@@@ BA(8R_syntax_plugin.R_syntax IAA@ @@@@@%@A"@A (8R_syntax_plugin.R_syntax @@ @@@@@2@A@@A@A@@A@A@(8R_syntax_plugin.R_syntax F   F  @n@@ q= r=A ϰ r!c@ @ B   B  @@@@@@@T@B@@A A@@B@ A@@A QE@@B bC@@ \D@@ PB@@ABC@ $@@@AB@(8R_syntax_plugin.R_syntax F  &@@A@@@@B@(t8R_syntax_plugin.R_syntax D 6 e D 6 ~@ G@@ q= r=A/ u!r@ F . q=)@@=*@ #D 6 @ $D 6 A@@ v!a@ S @@=, r=.@ /D 6 D 0D 6 E@@@@@@@@D@CE@AG t!a@E@@I@)H s!r@F@@ABCNDH@(d8R_syntax_plugin.R_syntax KD 6 l LD 6 }@ U q=iA8@@@@H@(X8R_syntax_plugin.R_syntax UD 6 `F@@A>@@@@%H@(P8R_syntax_plugin.R_syntax [D 6 M \D 6 \@-@@ q= q=BL@@@@3H@(D8R_syntax_plugin.R_syntax@AP@@@@7H@($8R_syntax_plugin.R_syntax mC  $ nC  5@ wA.  @@= @ yC   zC  @@=  @@=" r=$@ C   C  @@@@@@TK@@F@ABCF@(8R_syntax_plugin.R_syntax C  !@@A@@@@ F@(8R_syntax_plugin.R_syntax C   C  @f@@ q=e q=JB,@@@@F@(8R_syntax_plugin.R_syntax@A0@@@@F@(8R_syntax_plugin.R_syntax E   E  @@A w!a@B@@=4@ E   E  @@@@@@@@AC@@@ABC@(8R_syntax_plugin.R_syntax E   E  @@@ q= q=B@@@@C@(t8R_syntax_plugin.R_syntax@A!@@@@C@(\8R_syntax_plugin.R_syntax B   B  @ A@@@@@@AA@(H8R_syntax_plugin.R_syntax B  @@@@@@@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@s M (/R_syntax_pluginPD@$DAstAP@)GlobnamesA|@&BigintA@&BigintA(hx@$DAstA @$DAstAl@$DAstA@%NamesAؠ@)GlobnamesA@$DAstA @)GlobnamesAx@&BigintA@&BigintAX8Ԡ@&BigintA䠠@@&BigintAT@$DAstA@$DAstA蠠@$DAstA$W|Z@&BigintA@$DAstA@$DAstAX@$DAstAܠ@$DAstA @$DAstA L@)GlobnamesA @$DAstA ؠ@)GlobnamesA Lp p@(LibnamesA x @$UtilA  ؠ/r_syntax_plugin@ 𠠑@%MltopA 0caml_fresh_oo_id :R_syntax.Non_closed_number@ @#Coq@@'Numbers@@'BinNums@@@@@ ((positive@ `(positive@  !Z@ !Z@  @#Coq@@%Reals@@,Rdefinitions@@@@@ Ƞ!R@ Р#IZR@ @$DAstA@#Coq@@%Reals@@,Rdefinitions@@@@@ؠ'R_scope@𠠑@(NotationA@8R_syntax_plugin.R_syntaxA(0@JA@@L0a Ns,Xml_datatype0_d oS:D@4(Vmvalues0IMGy?[!*Vernacexpr0 ã0=J Cs0,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€duVF)Predicate0Vr!: Гb'Pre_env0À5LECQ (Ppextend0UK>iz{$Bࠠ"Pp0vzA"'#bnI $Ploc0@`(h'Plexing0áoD Fz:Hu*Pervasives0ܗ,4(z٢+Opaqueproof0-;"eX;xJDɠ#Obj0IyIf.pk-Notation_term0^w8ckg jː0wa9{~0Aݠ,Nativevalues0Kї֢.yΥ%*,Nativelambda0zX}]џFm+Nativeinstr0~vՆ*Nativecode0o11ƙXd0gCwM.t%Monad0 f( r o5)Mod_subst0-c;7)!Ҫm3L}w0/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@$DAst0Oyhznl'Cooking0\QWB d(f+Conv_oracle0aTQr{(Π'Context0|.ާ m|ʎ' *Constrexpr0 a(f.ݠ&Constr0X*ӕ8n锁GD(Classops0(Wa=Tʠ&Cinstr0M4 T4e69*Cemitcodes0?ž V *Cbytecodes0Pi~I\tN8CamlinternalFormatBasics0ySkDTVǗ 'CString0Xb ɲS&CStack03zs$CSig09e++k1C$CSet00ef +CPrimitives09B6$ݯ$CMap0Iz\#%CList0d;:=>2;Bs&CLexer0%PܹnM%MSV*CEphemeron0cTdt=}#$CAst0"% KfFb*TJ&CArray0D%([U[&Buffer069=wFqFF)O0 B4#!1Ҡ%Array0#Uxkܐ@X٠ՠΠC5@@@TM