Caml1999O022+)Tg )* 8~C!E"U? 8" Wc(C 2'D C 2#V 2"8G&(( ')* 8"#U: 8!8" Wc(C 2'D 2+8G&()*V,D C 8]#V( #V  @@(2" @(c @()*8! ,V DC 2" &c(8AG! 8)F! 8!8G" #  c@   C V9D VT0D C  D V @]@8!%?]@8!%56@[+8AG%+!8FC& 8)D&8)D" +8G" + 8AG:!8FC&)* +8AG %8AG! 8)F!  8!8G"# 8AE!  c@   C V?D VT6D C  D Ve @]@8!h8'e ?]@8!h8'56@[+~8AG%+!8FC& 8)D&8)D" +8G" + 8AG:!8FC&)* +8AG % @&)*VD C 2+ 8AG:!8FC&8G!8%,c &D C ! !@(VGD C D C Y/  8 8G G!  +8G" "Z(8 yV2%D VpCG VC F#Vh i@@&Y 8~C! G"Z(6 yV0h C!i@@"  C @ I 8~C! G#(G VC h i@@&58!hh8'2   , C %)*58!gC!h?i? ,  8G"EC8G!8G !" @( D C 8~C! @()* +8G" 8~C! 8,"8%c(d w2!j riy@()*?] V ] CT 8!TT ] CT 8!T@8%, ] CT 8!T !8G!+8G' }V( }V ^>]@8%jp2! jp2! ^>]@8%)*Oi w ] CT 8!T?] ] CT 8!T@8!   ,fd %)*8R" D C 8C! 8+"V%8@"8G!D ? I(8Q" D C VxD VqD VhD V_D VT`C C 8+"VE8+"V< ] CT 8!T"V 8G!D ? I(T TT C n    8G!D @@ I( )*8AG! 8)F! Y 8I"ZT85 yVc!T D C 8D" @h8!86" 8! " WC C C O TD TD C O TD O  TE O  Tc ^ 8R" D C 8C!h8N# " Wc% F Dh?h?h?   &(+ 8G "C8!VC8!Vc! 8" WT E 8.!T CC%F8G# CC8G!>(%c% 8" W$8"8'C 2%D C 8+"V  8@"yV8G&!8@" !?? ( 28G" 8"8#@()* , %o8 %)* 8" WHHHHHHHHHHHHHHHHC C D T*D C + 8D"  h@@@8!@8% c%8!68"8G%8G! ]i 8F#]()* 8;" 8&58!hh8'56&56&56&56&56&56&)* 6@68#81!8%+ +? +? +? +?+?+?6 GO?8C! +y +g +K +5 + +  +,> +~  + ,~,5 G\ GI@8! +a  + +  +  +    "$&(*,.02>9T)*c 8&)* 8&)*c !8$)* !8$ )*8 DC!hh8"??@h8"?@h8 "?8C 8G G"8G F#@ h8 "? 8 G&5 8 !58G!68G! + ic+~h68G!8C8!?@h8 "@6@68G!8 8!?@h8 "@6@6@68G!88!??@h8 "@6@68G!88!?@h8 "@6@@@+h68G!8C8!?@h8 "@6@68G!8 8!?@h8 "@6@68G!88!?@h8 "@6@@@ +y668G!88!??@h8 "@6@68G!88!?@h8 "@6@@@ +'h68G!88!?@h8 "@6@@@h6 8 G  >956@9*m((L2Quote_plugin.Quote&_none_A@AAA@Q*floatarray@,@@@A@@@I@@@@P5extension_constructor@A#int@,@@@A@@@O@AB$char@O&string@ D%float@ E$bool@,@@а^%false@@@^@а_$true@@@c@@A@@@c@AF$unit@,@@а`"()@@@l@@A@@@l@A#G#exn@,@@AA@@@o@@&H%array@,@M@A@A@@@v@@-I$list@,N@Aаa"[]@@@@аb"::@ @@O@@@@A@Y@@@@EJ&option@,P@Aаc$None@@@@аd$Some@ @@@@A@Y@@@@WN&lazy_t@,1Q@A@A@Y@@@@]K)nativeint@`L%int32@bM%int64@d]:Undefined_recursive_moduleCD@g@@Jq@@@@V@@A=ocaml.warn_on_literal_patternO@\.Assert_failureC@@X@@A͠\@Y0Division_by_zeroC$@@@AԠc@X+End_of_fileC+@@@A۠j@W)Sys_errorC2@.@@A㠠$r@[.Sys_blocked_ioC:@@@Aꠠ+y@V)Not_foundCA@@@A񠠠2@U'FailureCH@D@@A:@T0Invalid_argumentCP@L@@AB@Z.Stack_overflowCX@@@AI @S-Out_of_memoryC_@@@AP@R-Match_failureCf@eab@c@@A]@C%bytes@ِ@*PervasivesA@'CErrorsA@$UtilA@%NamesA@&ConstrA@'EConstrA@'PatternA@*PatternopsA@/Constr_matchingA@'TacmachA@)ProofviewA)NotationsF(constant@@ŠO&string@@@11@@1@ @@1@'EConstrA!t@@@@@6plugins/quote/quote.mlzKOzKW@@ ,coq_Empty_vm@٠@@1 1@@1 1@~~@@ +coq_Node_vm@(@@1 1@@1 1@$%@@ /coq_varmap_find@#9@@1 1@@1 1@56:66I@@ -coq_Right_idx@4J@@1 1@@1 1@FtxGt@@ ,coq_Left_idx@E[@@1 1@@1 1@WX@@ +coq_End_idx@Vl@@2  2@@2 2@hi@@ )ConstrSet@ :#elt@,@@@A@&ConstrA!t@@3@@-clib/cSet.mliT&-T&;@@@@@A ;!t@,@@@A@#SetA$Make@!t@@3@@U<BU<X@@@A <%empty@@@3@'set.mliG  G  @@ =(is_empty@@@@3E$bool@@@3@3@J  J  0@@ >#mem@@O@@3 @(@@3 @@3 @3@3@+M a e,M a ~@@ ?#add@@@@3@>@@3A@@3@3 @3 @@P  AP  @@ @)singleton@@,@@3Q@@3@3@PV  QV  @@ A&remove@@<@@3@c@@3f@@3@3@3@eY G KfY G d@@ B%union@@s@@3@x@@3{@@3@3@3@z_lp{_l@@ C%inter@@@@3"@@@3!@@3 @3@3@bb@@ D$diff@@@@3'@@@3&@@3%@3$@3#@ee@@ E'compare@@@@3,@@@3+A#int@@@3*@3)@3(@h h +@@ F%equal@@@@31@@@30@@3/@3.@3-@ll@@ G&subset@@@@36@@@35@@34@33@32@p)-p)G@@ H$iter@@@@@3=F$unit@@@3<@3;@@@3: @@39@38@37@tt@@ I#map@@@@@3D@@3C@3B@@@3A!@@3@@3?@3>@ y!y@@ J$fold@@@@@3K@!a2o@3J@3I@;@@3H@  @3G@3F@3E@<=@@ K'for_all@@@*@@3R=@@3Q@3P@U@@3OF@@3N@3M@3L@XLPYLw@@ L&exists@@@F@@3YY@@3X@3W@q@@3Vb@@3U@3T@3S@tu@@ M&filter@@@b@@3`u@@3_@3^@@@3]@@3\@3[@3Z@hlh@@ N)partition@@@}@@3i@@3h@3g@@@3f@@3d@@3e@3c@3b@3a@@@ O(cardinal@@@@3l@@3k@3j@@@ P(elements@@@@3pI$list@@@3o@@3n@3m@!%!@@@ Q'min_elt@@@@3s@@3r@3q@"&";@@ R+min_elt_opt@@@@3wJ&option@@@3v@@3u@3t@@@ S'max_elt@@@@3z@@3y@3x@@@ T+max_elt_opt@@@@3~'@@3}@@3|@3{@%%)&%I@@ U&choose@@3@@3@@3@3@56@@ V*choose_opt@@C@@3L(@@3@@3@3@JK@@ W%split@@6@@3@]@@3c@@3U@@3l@@3@3@3@3@kl@@ X$find@@W@@3@~@@3_@@3@3@3@8<8U@@ Y(find_opt@@l@@3@@@3x@@3@@3@3@3@    1@@ Z*find_first@@@@@3@@3@3@@@3@@3@3@3@   ! @@ [.find_first_opt@@@@@3@@3@3@@@3נ@@3@@3@3@3@"""#@@ \)find_last@@@@@3@@3@3@@@3@@3@3@3@$ $$ $7@@ ]-find_last_opt@@@@@3@@3@3@ @@3@@3@@3@3@3@%%%%P@@ ^'of_list@@K@@3@@3&@@3@3@%&?&C&&?&]@@@@NNNq@ _0inversion_scheme@,@@а `.normal_lhs_rhs@@̠&constr@@3.constr_pattern@@3@3@@3ð@@а a,variable_lhs@@Π0&constr@@3@@3Ͱ@@а b+return_type@@=&constr@@3Ӱ@@а c)constants@@!t@@4@@а d,constant_lhs@@Z&constr@@4@@4 !1@@@@A@@@#ss$3@@@J e/i_can't_do_that@@<@@4 e4а@7C e4@4 e4@7@D8@S@@ +decomp_term@@@#EvdA(evar_map@@E 7G@@'EConstrA&constr@@E 7K@&ConstrA,kind_of_termk@@7So@@7Tt&ESorts@!t@@7U|)EInstanceA!t@@7V@@7R 7L@7M 7H@7I 7F@{|@@ /coerce_meta_out@@@%NamesA"Id@!t@@F E尖A#int@@@H E@E E@vzv@@ .coerce_meta_in@@@@Oe OP$@@OV OQ@OR OO@@@ +compute_lhs@@@#EvdA(evar_map@@O Om@@@O Oq@>@@Xl Ou@H@@X9 Oy@@XC Oz@O{ Ov@Ow Or@Os On@Oo Ol@"&"1@@ +compute_rhs@@@'EnvironA#env@@] X@@#EvdA(evar_map@@] X@@@] X@@#IntA!t@@Y  X@'PatternA.constr_pattern@@] X@X X@X X@X X@X X@'(@@ +compute_ivs@@;@@b~ ^@I$list@@@ @@ ^@@)ProofviewA$GoalA!t@@bq ^@@Q ^ @^  ^@^ ^@^ ]@`a@@,closed_under@@@@Ӱ@/@@԰@@@fE$bool@@@h@g@@@/,_,g/,_,s@@.btree_of_array@@H%array@@@ @@@  @@@D..D..@@+path_of_int@@@@d@@e@fc@W11W11&@@'subterm@@@#EvdA%sigma@*Proof_typeA$goal@@E@@D@&constr@@ @ E$bool@@@@@@@m4:4Bm4:4I@@,sort_subterm@@2-@@@@@.@@@@  @@@@@w55w55@@*Constrhash@)#key@,@@@A@&ConstrA!t@@ @@+hashtbl.mli.0l0.0l0@@@@@A*!t@,!a@A@A@'HashtblA$MakeR@@!G@@-E-I-E-R@@@A+&create@@A#int@@@$(!a@@#@"@5-S-W6-S-o@@,%clear@@!a@@'F$unit@@@&@%@M-p-tN-p-@@-%reset@@+!a@@*@@)@(@c--d--@@.$copy@@A!a@@-I@@,@+@y--z--@@/#add@@W!a@@3@@@2@ L@@1@0@/@.@---.@@0&remove@@u!a@@8@@@7g@@6@5@4@....(@@1$find@@!a@@<@9@@; @:@9@.).-.).I@@2(find_opt@@!a@@A@P@@@J&option@@@?@>@=@.J.N.J.u@@3(find_all@@Š!a@@F@n@@EI$list@@@D@C@B@!..!..@@4'replace@@㠰!a@@L@@@K@ @@J@I@H@G@""..#"..@@5#mem@@!a@@Q@@@PE$bool@@@O@N@M@?#..@#./@@6$iter@@@@@Y@!aհ @@X@W@V@. @@U@@T@S@R@b$// c$//:@@72filter_map_inplace@@@@@a@!aް@@`@_@^@R@@];@@\@[@Z@%/;/?%/;/@@8$fold@@@@@i@!a@!b@h@g@f@w@@e@  @d@c@b@(//(//@@9&length@@!a@@l@@k@j@)//)//@@:%stats@@!a@@o@'HashtblA*statistics@@n@m@*//*/0@@@@77778@;*subst_meta@@Ԡ@&ConstrA,metavariable@@<.@@<@<@@;q@8@@;u=@@;v@w;r@s;p@87:7>97:7H@@B+quote_terms@@@'EnvironA#env@@B@@@B@@@BŰ@T&constr@@C@@Bɰ:&constr@@@@B@@B@B@B@B@B@B@8889@@5pf_constrs_of_globals@@@)GlobnamesA0global_reference@@@@@)ProofviewA&tacticl@'EConstrA&constr@@@@@@@@A*A.A*AC@@ %quote@@@%NamesA"Id@!t@@ ư@ @@"@@ ʰ=F$unit@@@@@ @ @ @BB BB@@3)gen_quote@@@@@3\@@@@ 3A3@@@X3@S@@3@a@@5@@3L@@@@3@3@3@3@3@ 0EzE~ 1EzE@@@@@@@H@@A&U@@Q@@ABP@@L@@ACK@@O@@AM@@BD`N@@ tA@@A HB@@G@@A F@@BC ;C@@ E@@A 0D@@BJ@@qZ@@A6I@@R@@ABCX@@Y@@A)W@@BvT@@aV@@AS@@BCDEF@@Z@(%2Quote_plugin.Quote l{`w m|@@&ConstrA&constr@@.ߐA ̰#dir@ @ zKX zK[@@!s@ @ zK\ zK]@@@@@@@B@@A A@@B@@B@(%|2Quote_plugin.Quote |&@@)GlobnamesA0global_reference@@/C#@@@@B@(%L2Quote_plugin.Quote {`b6@@@)@@@@B@($|2Quote_plugin.Quote @f @@@"PpA!t@@ e4 f7=A @"PpA@@@@@ %param@A@@A@@A@($d2Quote_plugin.Quote @Y @@@@ @@@@ A@($L2Quote_plugin.Quote  @~&constr@@ EÐB 0 %sigma@@  @@ !c@@  @@@@@@@ A@@B@@AB@@B@($42Quote_plugin.Quote !@@@@@@@ B@($2Quote_plugin.Quote  @O&string@@@ H O1C [ "id@@ v v@@ !s@O&string@@@F E@  @@@@@@@A@@B@@AB@@B@(#2Quote_plugin.Quote ,@@A!@@@@ BA(#2Quote_plugin.Quote & '@AA*@@@@@@A@@A (#2Quote_plugin.Quote 1?@@@3@@@@ A@(#2Quote_plugin.Quote 7  8 @1@@ OW O\B  !n@@ F G@@@@@@@ A@@A@@A@(#2Quote_plugin.Quote P Q@^@@ O] OdA@@@@A@(#2Quote_plugin.Quote _(@@@@@@@A@(#t2Quote_plugin.Quote e  f@@A Ȱ %sigma@@ o"2 p"7@@ #typ@@ u"8 v";@@ !i@@ {"< |"=@@ &nargsi@@ "> "D@@@@@@@'*match*@E@@AB@@BA@@%D@@A C@@BC@nA@@A@E@(#X2Quote_plugin.Quote  @ @@ XE XNA< "sp@"&MutIndV!t@@O O@ kv kx@@ !u@E@@O O@ k| k}@@ %argsi@1 @@X/ X&@@X% O@  @@@@@@@L@HO@GR@FU@A!K@@T@ABS@R@@J@@ABS@3I@@ACDT@L@(#2Quote_plugin.Quote  @@AK@@@@KA(#2Quote_plugin.Quote  @ABT@@@@@&@Ao@BnDi@J("2Quote_plugin.Quote @@A_@@@@ J@("H2Quote_plugin.Quote GO Ge@ @@O @@O@@O@@O@@OB@@@@@@AC@D@("02Quote_plugin.Quote $GI@@@@@@@ D@("2Quote_plugin.Quote * +@@@ !j@@@ X8 X(@ 7 8@@@@@@@A@@A@A@@A@A@(!2Quote_plugin.Quote C D@@A  #env@`@ N O@@ %sigma@X@ T U@@ %bodyi@P@ Z [@@ *index_of_f@M@ ` a@@ #aux@@ t@@] ]ȰR@@Y ]@] X@ t u@@@@@@@E@@A'B@@5D@@AB$A@@2C@@AC@A@@A@E@(!2Quote_plugin.Quote E@@@C@@@@@B C @D@(!2Quote_plugin.Quote  0@x@@ Y YCX !c@7 X@  @@ !f@ @@X X@  @@ $args@H%array@@@X@  @@@@@@@8@B@@AE $args@C@@-A@@A'F@@ !j@D@@ABC@8A@@AB@@ByD@@C@@AC@w@@@AG@(!2Quote_plugin.Quote L@@&ConstrA&constr@@ Y ]BP@@@@.G@(!2Quote_plugin.Quote 2 D@H%array@@@ Y ]ŐBb@@@@@F@(!l2Quote_plugin.Quote  E@@Ai@@@@GF@(!H2Quote_plugin.Quote  @@)MisctypesA&patvar@@ Y2 YA}Ls X@  @@Ym@@X@ $ %"@@ !i@A#int@@@Y" Y@ 2y 3y@@@@@@xs@p@AE@@o@ABCldE@(!@2Quote_plugin.Quote ? @@@A+@@@@ EA(!<2Quote_plugin.Quote Hy Iy@AB4@@@@@@@ABCyD(!(2Quote_plugin.Quote Uy @ b@@ Y# Y)AF@@@@D@(! 2Quote_plugin.Quote by#@@AL@@@@D@(!2Quote_plugin.Quote hD iU@Y@@ Y  YBZ@@@@&E@( 2Quote_plugin.Quote v) w6@@@ X XBi@@@@5D@( 2Quote_plugin.Quote `@@Ao@@@@;D@( 2Quote_plugin.Quote F^ Fc@@A !c@ X@ FT FU@@@@@@@@A C@BC@( 2Quote_plugin.Quote d d@@@ ] ]B @@@@@BB@( h2Quote_plugin.Quote dq@@A@@@@B@( 2Quote_plugin.Quote  @^ @@X @@XY@@XU@@X@@XB0@@@@@@AA@( 2Quote_plugin.Quote 4@@@8@@@@A@(2Quote_plugin.Quote */*9 */*K@@AD !f@@  @@"cs@@  @@"gl@@  @@#env@@'EnvironA#env@@^N ^ @    @@%sigma@@#EvdA(evar_map@@bp a@ (. (3@@#cst@@%NamesA(ConstantP!t@@b| bu@ 'PW (PZ@@!u@!t@@b} bv@ 4P\ 5P]@@!u@@$UnivA(Instance\!t@@b b@ F G@@#$body@@&ConstrA&constr@@i i@ V W@@$$body@ f@@k j@ a   b  @@@@@@@M@L@F@@K)J@@ABB@@^H@@AD@@BCC@@A@@AtE@@GIVG@@ABD@ B@@AE@@BF@@ bA@@A PD@@ fC@@ABC@L@(2Quote_plugin.Quote ) )+ ) )>@  @@ T @@ U@ S@@ RAհ%#len@A#int@@@k/ k5@  M [  M ^@@&$name@@%NamesA$NameA!t@@kC kF@  M k  M o@@'#typ@ @@kx kh@  M w  M z@@(%body2@ @@kw kl@  M   M @@)%args3@I$list@$NameA!t@@k @@k@k@@k k@    @@*%body3@@@k k@    @@+&nargs3@A#int@@@z k@    @@'is_conv@@@'EConstrA&constr@@|@ &constr@@|E$bool@@@|@|@| z@= !> !@@!p@M@@}/ }"@H!_!rI!_!s@@!c@ @N!_!tO!_!u@@#lci@@@}'@Y!_!vZ!_!y@@)n_lhs_rhs@@*PervasivesA#refh @@ }?@@}> }9@r!!s!!@@ %v_lhs@a&constr@@(@@' @@ }:@!!!!@@ %c_lhs@1y&constr@@>@@= 3@@2 };@!" !"@@!p@ Y&constr@@B @((((@@@@@@@/@_L2@Z^5@W]8@US;@SR>@RQA@QPD@OOG@NNJ@Mm@\@@ABi@Y@@A[@@Qd@@ABClkDg@g@A^@@`@@AB_#len@X`@Va@Tb @P@@b@@A]@@Rea@@AB~@}@c@@ABCDE|@i@(2Quote_plugin.Quote))))@ @@ wCe@@@@Uf@(|2Quote_plugin.Quote ) ) ))@@Al@@@@\e@(`2Quote_plugin.Quote((((@lAu!p@%@@7+@ ((!((@@@@@@@@etVBTCDNI=;@f:@AB9CDE@f@(P2Quote_plugin.Quote#@A@@@@f@(82Quote_plugin.Quote9((:((@@A@@@@a\PN@K@ABJCDE@e@(2Quote_plugin.QuoteF((G((@ U@@Y@@ @@ @@@@B@@@@"E@d@(2Quote_plugin.Quoted((Y@@A@@@@d@(2Quote_plugin.Quotej '(Fk '(X@}@@   A@@@@d@(2Quote_plugin.Quote@A@@@@d@(2Quote_plugin.Quote} '(*~ '(@@ @@ A@@@@*d@(2Quote_plugin.Quote '( '(&@@@ A@@@@8d@(2Quote_plugin.Quote"2"@ ''@F$unit@@@ JB@@@@Gd@(2Quote_plugin.Quote@@A@@@@Ld@(2Quote_plugin.Quote!!@@A @@@@F@@@ABCEDD@@xB?>CDE:@a@(2Quote_plugin.Quote)*)*"@@A@@@@L@K@@AB@@AMLBCEH@_@(|2Quote_plugin.Quote!,!B!,!Y@ t@@}@@} o@@} k@@}@@}B:@@@@@.Bz4CwvDr&Ei@^@(h2Quote_plugin.Quote!,!6*#*.@@AF@@@@ ^A(d2Quote_plugin.Quote !  !(@ACO@@@@@@A8BCE@](H2Quote_plugin.Quote  @@A[@@@@ ]A(@2Quote_plugin.Quote      @AAd@@@@,@@1@ABCE@\(,2Quote_plugin.Quote  -@@Ap@@@@ \@(2Quote_plugin.Quote     @:@k kB}@@@@@r@A@W@ABCD@Y@(2Quote_plugin.Quote4  H@@A@@@@ Y@(2Quote_plugin.Quote: ) 1; ) G@ 㠰I@@kM@@k @@k @@k@@k Bv@@@@@BCD@K@(2Quote_plugin.QuoteZ ) +@@A@@@@ KA(2Quote_plugin.Quoteb  c  %@AA@@@@@@@ABCD@J(x2Quote_plugin.Quotep  @@A@@@@ JA(t2Quote_plugin.Quotexy@AB@@@@@@AC  D@I(d2Quote_plugin.Quote@@'EnvironA#env@@ ijA@@@@J@(D2Quote_plugin.Quote@@A@@@@IA(@2Quote_plugin.Quote@AB@@@@(0/-@*@ABD)@H((2Quote_plugin.Quote@@A@@@@ H@(2Quote_plugin.QuotePP@@bwA@@@@@O@AK@#exn@F@@ABN@L@L@ABCG@F@(2Quote_plugin.Quote@A@@@@F@(2Quote_plugin.QuotePePv@ b{B@@@@@g@d@ABcCZ@I@(2Quote_plugin.QuotePR@@A@@@@ EA(2Quote_plugin.Quote(6(L@AA@@@@u@s@ACm@D (2Quote_plugin.Quote(*@@A@@@@ DA(2Quote_plugin.Quote$@AA@@@@@@AB@C (p2Quote_plugin.Quote,@@@$@@@@ C@(@2Quote_plugin.Quote ''+ ''[@x Dt!i@ K@@  P@"L"a "L"b@@"ci@/@@ b L@*"L"c+"L"e@@%argsi@B?@@_D@@`@^@@]V@@"i"A"i"@@%bodyi@P@@aW@K"i"L"i"@@&nargsi@;@@kh@V""W""@@@@@@@@H@G@C@@A:E@@&D@@ABHA@@VB@@A F@@#vmf@I@@ABC@F@@AK@@ B@@AB C@@WA@@AD@@`H@@ABC&I@@rG@@A~E@@J@@ABD@K@((2Quote_plugin.Quote''B''Q@@@@@@ÐA@@@@GP@(2Quote_plugin.Quote']'w']'@  ӐD@@@@RJ@(2Quote_plugin.Quote&' ''@@A@@@@YI@(D2Quote_plugin.Quote%& &a&@@@6~DS@@@%*%A%*%D@@"a3@@@@%*%M%*%O@@"a4@ @%*%Q%*%S@@@@@@@[@M^@La@Kd@J@A%O@@N@@ABCD@O@(,2Quote_plugin.Quote&&P&&_@@@@@@AK@@@@-T@(2Quote_plugin.Quote%%Y@@AQ@@@@3O@(2Quote_plugin.Quote%V%%%@@@"4B_@@@@AO@(2Quote_plugin.Quote#%%@@@5_Ak@@@@MO@(l2Quote_plugin.Quote/%V%0%V%@@@#)By@@@@[O@(H2Quote_plugin.Quote=%V%t>%V%@@@B@@@@iO@(02Quote_plugin.Quote5@@A@@@@nO@(2Quote_plugin.QuoteP$% Q$%$@_@@נkg@@@@@֐BR@@@@@@AB@@@ABC@F@(2Quote_plugin.Quoten$$o ''@@A_@@@@ F@(h2Quote_plugin.Quoteu$)$Lv$u$@@@Dm@@@@F@(P2Quote_plugin.Quote$)$d$)$s@@@ @@@ƐA@@@@4K@(2Quote_plugin.Quote$)$>'@@A@@@@:F@(2Quote_plugin.Quote#$ #$!@ @@B@@@@HF@(2Quote_plugin.Quote####@:@@yB@@@@VF@(2Quote_plugin.Quote##P@@A@@@@\FA(2Quote_plugin.Quote""""@AA@@@@fd@b@AC\@E (2Quote_plugin.Quote""d@@A@@@@ E@(2Quote_plugin.Quote"i""i"@@X\B@@@@@}Bt@B@(2Quote_plugin.Quote"i"|{@@@@@@@B@(p2Quote_plugin.QuoteP0Y0[P0Y0`@@AY!a@ l@D..D..@@"ty@ `@D..D..@@)size_of_a@A#int@@@@E..E..@@.semi_size_of_a@@@@F./F./@@$node@,@@@'G/'/-(G/'/1@@%empty@7@@@2H/K/Q3H/K/V@@#aux@@@@@ư @@DI//EI//@@@@@@@TB@@AG@@&F@@AB2E@@AD@@APC@@XA@@ABC@VA@@AEB@@B@G@(D2Quote_plugin.Quote^I//o@@Am@@@@@@@ABC@FA(@2Quote_plugin.QuotejH/K/YkH/K/@AAy@@@@@'@A#!BC@E((2Quote_plugin.QuotewH/K/`xH/K/w@@@A@@@@F@(2Quote_plugin.QuoteG/'/4G/'/J@fA@@@@@B@<@AB;:C8@D@(H2Quote_plugin.QuoteG/'/)@@A@@@@ D@(<2Quote_plugin.QuoteF..@@A@@@@@R@AJIBG@C@(02Quote_plugin.QuoteE..@@@@@@@@[@AQ@BP@B@(2Quote_plugin.QuoteN000N007@A!n@v@I//I//@@@@@@@ A@@A@A@@AF@@BE@@D@@AC@@B@@ABC@@@@AC@(2Quote_plugin.QuoteN009N00B@ԐA"@@@@B@(2Quote_plugin.QuoteN00DN00O@>A+@@@@$A@(2Quote_plugin.QuoteN00N00S@@A2@@@@+A@(d2Quote_plugin.QuoteM//M/0@FA;@@@@4C@(<2Quote_plugin.QuoteM//M/0@@AB@@@@;A@((2Quote_plugin.QuoteL//@@AH@@@@AA@(2Quote_plugin.QuoteK//K//@@AO@@@@HA@(2Quote_plugin.QuoteJ//$@@@U@@@@NA@(2Quote_plugin.Quoteb22b22@Ѡ-@@@@ܐA{!n@m@W11'W11(@@-digits_of_int@@@@riE$bool@@@}@@~j@kh@:Z11;Z11@@@@@@@"B@@A)A@@B@C@@AB@@A@@AB@C@(2Quote_plugin.QuoteLb22Mb22@H@@AD@@@@C@(2Quote_plugin.Quote`c22ac22@AN@@@@)B@(H2Quote_plugin.Quotej^11 @@AT@@@@/B@(82Quote_plugin.QuotepZ11@@@Y@@@@@3@A2@A@(2Quote_plugin.Quotex`2G2ey`2G2|@@@Ak!b@v@_2 2_2 2@@!c@@_2 2_2 2@@@@@@@B@@AA@@B@PB@@cA@@AB@C@(2Quote_plugin.Quote&@A@@@@ C@(2Quote_plugin.Quote_2 2._2 2F@*A'@@@@C@(D2Quote_plugin.Quote @A+@@@@C@($2Quote_plugin.Quote_2 2a22@@@2@@@@"B@(2Quote_plugin.Quote\11\11@zA!n@@Z11Z11@@@@@@@ A@@A@@@@@AA@(2Quote_plugin.Quote\11@@A@@@@ A@(2Quote_plugin.Quote[11[11@@A@@@@A@(2Quote_plugin.Quote[11#@@@@@@@A@(2Quote_plugin.Quote7777@@&ConstrA&constr@@;BU<%subst@ @7:7I7:7N@@=!c@ @7:7O7:7P@@>%subst@  ;@&ConstrA!t@@<@<~@@}<y@7S7Y7S7^@@@@@@@'A@@#C1B@@AB@@C@(2Quote_plugin.Quote$77%77@@&ConstrA&constr@@<<AF@@@@C@(2Quote_plugin.Quote777W@@AL@@@@ CA(2Quote_plugin.Quote?7S7a@7S7@ABU@@@@@*@'@AB@@B (X2Quote_plugin.QuoteK7S7Uk@@@_@@@@ B@(82Quote_plugin.QuoteQ7S7|R7S7@HAj?!i@ B@[7S7p\7S7q@@@!c@ =@a7S7sb7S7t@@@@@@@ B@@AC@@A @A@@AB@@C@($2Quote_plugin.Quotep7S7y@@A@@@@CA(2Quote_plugin.Quotex7S7jy7S7@A@@@@@@@A@@A (2Quote_plugin.Quote@@@I@}@@ BÐBC#env@ S@8989@@D%sigma@ K@8989 @@E#ivs@ H@89 89@@F"lc@ E@8989@@G'varhash@!t ;@@>@@=C@9N9T9N9[@@'varlist@` a@@@@C@@C}@9999@@'counter@v@@C@@C@9999@@#aux@@ @@WC w@@C@C@::::@@"lp@  @@C@@C@@"@(@"@*@@@@@@@,H@@A>G@@BD@@uB@@ACpA@@!I@@AC@@BpE@@`F@@ACD@ E@@AC@@BB@@A@@A}D@@!F@@ABC@I@(2Quote_plugin.Quote+@@@Y,@@@|@@@BBɐA@@@@.J@(2Quote_plugin.Quote:@@@h;@@@{@I$list@ C@@CCϐA@@@@BJ@(2Quote_plugin.QuoteN@@@DO@}@@@A@@@@IIA(2Quote_plugin.QuoteW@"@-X@"@<@AB@@@@SK@H@AGFBDD@H(2Quote_plugin.Quoted@"@$@@A@@@@ H@(D2Quote_plugin.Quotej::@@A@@@@@b@Aa`B^CU@G@(82Quote_plugin.Quotet99&@@A@@@@@k@Ai@BhC_@F@(,2Quote_plugin.Quote~990@@A@@@@ p@l@l@ABCi@EA((2Quote_plugin.Quote9N9`9N9t@AA@@@@~@z@ACv@D (2Quote_plugin.Quote9999L@F$unit@@@BАA@@@@D@(2Quote_plugin.QuoteV@@@@@@@D@(2Quote_plugin.Quote@@@@@@A%!c@@::::@@$auxl@@@@FD@'PatternA.constr_pattern@@D@D@@DD@D@:":.:":2@@@@@@@,B@@A3A@@B@D@@AB@@lA@@ABK@@[F@@ACPH@@IC@@A[G@@E@@ABLI@@@AD@@;@AB: D@(2Quote_plugin.Quoteb;;c<<@@AQ@@@@@G@AE@BD*B@(2Quote_plugin.Quotel?(?Gm?(?@@@DmCb'var_lhs@@@lEi@~<<<<@@&newvar@@@E@>>@>>F@@@@@@@ @Dq@@E@@ABr@F@@A$C@@BCu[F@(2Quote_plugin.Quote?(?^?(?z@@@EoEA5@@@@G@(2Quote_plugin.QuoteA??@@A;@@@@#F@(l2Quote_plugin.Quote>?@@AA@@@@)F@(d2Quote_plugin.Quote>>??@@AH@@@@0FA(\2Quote_plugin.Quote>I>h>>@ABQ@@@@:@1@ACE (<2Quote_plugin.Quote>I>w>I>@@@EF,Ac@@@@G@( 2Quote_plugin.Quote>><#@@Ai@@@@E@( 2Quote_plugin.Quote====@DBt@@@@@]@A$BH@( 2Quote_plugin.Quote==@R@@DD A@@@@H@( 2Quote_plugin.Quote==??@@A@@@@D@( 2Quote_plugin.Quote=\=`=\=w@@A%c_lhs@@@E@==+==0@@@@@@@@E@@ABPCE@( x2Quote_plugin.Quote==6==X@@@DD̐C@@@@E@( \2Quote_plugin.Quote@A#@@@@E@( 82Quote_plugin.Quote.<</??@@A@@@@kBC@( 2Quote_plugin.Quote7;;8??@@A&@@@@@@AA@( 2Quote_plugin.Quote@;<;gA;<;p@@A2#lhs@@I:J:UJ:J:X@@#rhs@@O:J:ZP:J:]@@$tail@:@@@Y:J:`Z:J:d@@@@@@@ @C@@f@F@@ABA@"E@@AD@@B@@ABCF,F@( 2Quote_plugin.Quoten;;*o;;;@CEB3"s1@I$list@#MapJ#key@@@'EConstrA&constr@@E@@@E@:~::~:@@"s2@)@@.E)C*@+E@@E@::::@@@@@@@W@AQBO@DJ@@A!K@@R@ABC}K@( 2Quote_plugin.QuoteQ@AK@@@@ KA( 2Quote_plugin.Quote:::;@ABT@@@@d@@Ad@BCJ( 2Quote_plugin.Quote::d@@A_@@@@ JA( 2Quote_plugin.Quote:~::~:@AA@@@@+|CI ( `2Quote_plugin.Quote:~: @@,Ltac_pretypeA*patvar_map@@ED@@@@I@( 2Quote_plugin.Quote:h:t;q;@@A@@@@E@( 2Quote_plugin.Quote:7:=@@@@@@@A@( 2Quote_plugin.Quote:::;@]A!i@@@E=E/E"@::::@@#c_i@1CE#@::::@@@@@@@B@@AC@@h@A@@AB@GB@@A@@AB@D@( 2Quote_plugin.Quote/:;0:; @DA-@@@@C@( 2Quote_plugin.Quote8::9:; @@A4@@@@CA( 2Quote_plugin.QuoteA::B:;@A@@@@@@!@A@A ( 2Quote_plugin.QuoteKAALAB@@A!l@@SA*ADTA*AE@@#aux@@\@@@@@Q@@@@נԠ @@ @@@@@AHARAHAU@@@@@@@4B@@A;A@@B@@B@( 2Quote_plugin.QuoteAHAJC@@@A@@@@@ @A@@A@( |2Quote_plugin.QuoteAoAAoA@AO!l@C@AHAVAHAW@@#acc@<@AHAXAHA[@@@@@@@ A@@B@@AB@@[@@@AB@( `2Quote_plugin.QuoteAoA{@@A@@@@ B@( H2Quote_plugin.QuoteAAAA@ T@@A."hd@j@AAAA@@"tl@ @@@AAAA@@@@@@@2@D@@AB2@C@@AC@3E@( 2Quote_plugin.Quote+AA@@A @@@@ D@( 2Quote_plugin.QuoteA^Ab@@@R@@@@DB@( 2Quote_plugin.QuoteAA @@@-!g@@AAAA@@@@@@@ A@@A@^B@@AA@@4C@@AB@A@( 2Quote_plugin.QuoteBBEsEx@@@t!!f@O@BBBB@@"#lid@E@BBBB@@@@@@@B@@A A@@B@A@@AC@@B@@AB@B@( l2Quote_plugin.Quote'BB(BB@@@! !@@!! A0#"gl@@)ProofviewA$GoalA!t@@  @IBB;JBB=@@$"fg@@)GlobnamesA0global_reference@@"@YBABIZBABK@@%#clg@렰@@"@@"@jBlBtkBlBw@@@@@@@C@@A'B@@;A@@AB@OA@@AnD@@BiE@@C@@DB@@ABC@D@( 82Quote_plugin.Quote[EkEr@@AM@@@@CA( 42Quote_plugin.QuoteBlBzBlB@ABV@@@@@ @A@B@B ( 2Quote_plugin.QuoteBlBp@@A`@@@@ BA( 2Quote_plugin.QuoteBABNBABh@ABi@@@@@1@A0@A ( 2Quote_plugin.QuoteBABE(@@@r@@@@ A@( 2Quote_plugin.QuoteBlBBlB@@@{&"id@@BlBBlB@@@@@@@ A@@A@A@@A@A@( 2Quote_plugin.QuoteBBBC@((@@!#!a&X@@"W"@@""!A'!f@@BBBB@@@@@@@ A@@A@D@@A@@ABbC@@B@@AC@B@( 2Quote_plugin.Quote.n@@@@@@@A@( L2Quote_plugin.QuoteCCt@@@("cl@0""@BCBC@@@@@@@ A@@A@A@@A,C@@B@@AB@A@( H2Quote_plugin.Quote DD DD@@@%@@%@A-)"gl@$GoalA!t@@#o#2@0CC:1CC<@@*#env@;@@8%5@;C@CJ<C@CM@@+%sigma@6@@?%<@FCiCsGCiCx@@,#ivs@@@H%C@QCCRCC@@-%concl@@'EConstrA&constr@@n%k@aCCbCC@@.,quoted_terms@@@|@@{ @@}@z%t@wDDxDD$@@@@@@@_@G@@A.E@@QB@@ABaA@@?D@@A%F@@MC@@ABC@D@@fA@@ABC@@XB@@AC@G@( 02Quote_plugin.Quote@Ax@@@@G@( 2Quote_plugin.QuoteDDDE@@'EConstrA%types@@$J$TA/!p@@DLDWDLDX@@0"vm@@DLDZDLD\@@@@@@@\3@O`6@HC@AA@B>@=@@Nb@L1!p@J@@ABF@E@ @Mc#@K2"vm@I@@ABCDN@P@(2Quote_plugin.QuoteDDDE@@A6@@@@(O@(2Quote_plugin.QuoteEEFEE^@I$uAA@@@@3P@(2Quote_plugin.QuoteEE0EEj@@AH@@@@:O@(2Quote_plugin.QuoteDD@@AN@@@@@=@A{zBx:Dq@N@(p2Quote_plugin.QuoteDxDDxD@@A8@@&@ DxD DxD@@6@@&@DxDDxD@@@@@@@@Q@AB@@H@ABCD@J@((2Quote_plugin.Quote!DLDR3@@A@@@@@@A@BC@FA($2Quote_plugin.Quote-DD'.DDH@AD@@@@@@A@BC@E(2Quote_plugin.Quote:DDL@@A@@@@ EA(2Quote_plugin.QuoteBCCCCD @AA&@@@@@@AC@D (2Quote_plugin.QuoteNCC`@@A0@@@@ DA(2Quote_plugin.QuoteVCCWCC@AC9@@@@@@AB@C (2Quote_plugin.QuotebCCcCC@,'@@%K@@%J%UBO@@@@D@(2Quote_plugin.QuotetCCuCC@@%`&V@&Y&_A`@@@@'E@(2Quote_plugin.QuoteCC@@Af@@@@-CA(2Quote_plugin.QuoteCiC{CiC@AAo@@@@K@B @B (|2Quote_plugin.QuoteCiCo@@Ax@@@@ BA(x2Quote_plugin.QuoteC@CPC@Ce@AA@@@@@#@A@A (\2Quote_plugin.QuoteC@CF@@@@@@@ A@(2Quote_plugin.QuoteEEHH@@@!4$cont@@EzEEzE@@5!c@@EzEEzE@@6!f@@EzEEzE@@7#lid@@EzEEzE@@@@@@@C@@D@@ABB@@A@@AC@A@@AUC@@B@@AB@D@(2Quote_plugin.QuoteF/F3F/FW@IB@@44@@44AB8"gl@@@33@EEEE@@9"fg@@@5@ EE EE@@:#clg@@@5@@5@EEEE@@@@@@@C@@A"B@@/A@@AB@kE@@AA@@tD@@ABiF@@fG@@AC@@B@@ABC@D@(2Quote_plugin.QuoteS6HH@@AE@@@@CA(2Quote_plugin.Quote>EE?EF+@ABN@@@@@$@A"@B!@B (2Quote_plugin.QuoteJEE@@AX@@@@ BA(|2Quote_plugin.QuoteREESEE@ABa@@@@@5@A4@A (\2Quote_plugin.Quote]EE(@@@j@@@@ A@(<2Quote_plugin.QuotecEF dEF&@@@s;"id@I@jEFkEF@@@@@@@ A@@A@}A@@A@A@($2Quote_plugin.QuotevFeFiwFeF@ܠq@@5508'@@5&5@@55A"gl@@@6?6@FFFF@@?#env@@@8@FFFF@@@%sigma@@@8@FFFF@@A"cl@@&ConstrA!t@@/8%@@$8 @GGGG@@B#ivs@@@>89@GJGT GJGW@@C,quoted_terms@@@U@@T@@V@S8M@5GqG{6GqG@@@@@@@[@G@@A?D@@WB@@ABcA@@/E@@A%F@@SC@@ABC@D@@AF@@&A@@ABC@@E@@B@@ABC@G@(2Quote_plugin.Quote@A~@@@@ G@(|2Quote_plugin.Quote\H:HO]H:Hc@iAD!p@@fGGgGG@@E"vm@@lGGmGG@@@@@@@X@O\@H=@A;:B8@7@@N^@LF!p@J@@AB@@?@ @M_#@KG"vm@I@@ABCDH@O@(H2Quote_plugin.QuoteH:HJ8@@A5@@@@'O@(<2Quote_plugin.QuoteHdH{HdH@8ʐA@@@@@2O@(2Quote_plugin.QuoteHdHv @@AF@@@@8O@(2Quote_plugin.QuoteHH@@AL@@@@@;@AsrBp8Di@N@(2Quote_plugin.QuoteGGGG@@A6C@@9|@GGGG@@4]@@9y@GGGG@@@@@@@@O@AB@@F@ABCD@J@(2Quote_plugin.QuoteGG=@@A@@@@@@A@BC@FA(2Quote_plugin.QuoteGqGGqG@AD @@@@@@A@BC@E(\2Quote_plugin.QuoteGqGwV@@A@@@@ EA(X2Quote_plugin.QuoteGJGZGJGm@AC @@@@#@@AC@D (D2Quote_plugin.QuoteGJGPj@@A*@@@@ DA(@2Quote_plugin.Quote GG! GGF@AB3@@@@@@AB@C ((2Quote_plugin.QuoteGG*GGC@@@8(8.AD@@@@D@(2Quote_plugin.Quote%GG@@AJ@@@@CA( 2Quote_plugin.Quote-FF.FG@AAS@@@@!@B@B (2Quote_plugin.Quote8FF@@A\@@@@ BA(2Quote_plugin.Quote@FFAFF@AAe@@@@@@A@A (2Quote_plugin.QuoteKFF@@@n@@@@ A@(2Quote_plugin.QuoteQ66R66@@A "gl@e@[w55\w55@@!l@`@aw55bw55@@%sigma@(evar_map@@@nx55ox55@@&insert@@@@@~ @@ m@@@@@y55y56@@@@@@@>B@@'D@@AB;A@@7C@@AC@A@@A@@@@AD@(2Quote_plugin.Quote6667@BV!h@ @6666@@!t@  @@ @6666@@@@@@@+@AF@@+@AB*@)@E@@ABC*(F@(2Quote_plugin.Quote66&@@A"@@@@F@(2Quote_plugin.Quote~66,@@A|@@@@?D@(x2Quote_plugin.Quotey552@@A@@@@@E@ABAB?=CA(t2Quote_plugin.Quotex55x55@AA@@@@ N@BKIB (`2Quote_plugin.Quotex55H@@@@@@@ B@(<2Quote_plugin.Quotez66z66 @@A!c@@y56y56@@@@@@@ B@@A!l@A@@B@B@@AC@@KA@@AB@@@@ABB((2Quote_plugin.Quote |66 |66@ϐB$!h@@ |66 |66@@!t@! @@@ %|66 &|66@@@@@@@.@F!h@D@@AB3@E!t@C@@AC60F@(2Quote_plugin.Quote ;|66,@@A(@@@@F@(2Quote_plugin.Quote A|66 B|66@@A/@@@@F@(2Quote_plugin.Quote H|66 I|66@ <@@C=@@@@*F@(2Quote_plugin.Quote V|66G@@AC@@@@0F@(2Quote_plugin.Quote \{6!6W ]{6!6X@@Ao2@ j{6!6( k{6!6)@@7!U@@@ u{6!6+ v{6!6,@@xv @@@ }{6!6' ~{6!62@@@@@@@@V@AB@Q@AC~D@(2Quote_plugin.Quote {6!68 {6!6S@ }@@ؐC4@@@@D@(2Quote_plugin.Quote@A8@@@@D(2Quote_plugin.QuoteAA@I@@@@B(<2Quote_plugin.Quote p44 p44@@A" "gl@@ m4:4J m4:4L@@!t@ &constr@@@ m4:4N m4:4O@@"t'@@@ @ m4:4[ m4:4]@@!f@ @@gP@ p44 p44@@$args@@@T@ p44 p44@@@@@@@jU@D@@AE@@9C@@AB4B@@+A@@AC@@+@@@AE@(2Quote_plugin.Quote q45 q45@@AH!t@+[@ q44 q44@@@@@@@@A@B EC@E@(2Quote_plugin.Quote!r55%!r55*@@A\@@@@ #"C@ D@(2Quote_plugin.Quote! o44! o44@!@@9!@@:@@;@@<@@8Bz@@@@@C@ABAB@?C@(2Quote_plugin.Quote!(o44!)o44@t@@>CA@@@@D@(2Quote_plugin.Quote!6n4j4l!7n4j4@V@@C@@@@ C@(h2Quote_plugin.Quote!Er55+@@@@@@@&C@(D2Quote_plugin.Quote!Kp44!Lp44@@@!t@yx@!Sp44!Tp44@@@@@@@ A@@A@B@@AA@@C@@AB@A@(2Quote_plugin.Quote!c3- -K!d3- -d@B"Ͱ%sigma@@!p/,_,t!q/,_,y@@$cset@@!v/,_,z!w/,_,~@@!t@@!~/,_,!/,_,@@!f@!@@=1@!3- -!3- -@@!l@ܠ@@5@!3- -!3- -@@@@@@@x@D@@A+B@@F@@ABE@@6C@@,A@@ABC@!@(TactypesA4glob_constr_and_expr@@ Ng N?@'EConstrA&constr@@ O N:@@ N=L@@ N@@ N< NK@@ NJBE@@@J@(.4Quote_plugin.G_quoteA@@@@AB4 NY, NZ$ N[@@ N\ N_A[@@@K@(.4Quote_plugin.G_quote3A@@@@A% O{Af@@@J@(.T4Quote_plugin.G_quote>A@@@@A@+Ltac_pluginA'Tacexpr@/raw_tactic_expr@@ O O 0glob_tactic_expr@@ O O@@ O O@@ O@@ O@ O O@@ OB@@@J@(.04Quote_plugin.G_quoterA@@@@A. O$ O O@@ O OA@@@K@(.4Quote_plugin.G_quoteA@@@@A% OA@@@J@(-4Quote_plugin.G_quoteA@@@@A񠰖@@ Q# P  P  P@@ P@@ P @ P P@@ PB@+@@#J@(-4Quote_plugin.G_quoteA@@@@A۠ P$ P%! P&@@ P' P*A@?@@7K@(-t4Quote_plugin.G_quoteA@@.@@A# P8A@J@@BJ@(-<4Quote_plugin.G_quoteA@@9@@A8330@/@@ Q" Pg@@ Pf PK Pi@@ Ph PL@@ Q! PG@@ PJ:@@ PM@ PI PX@@ PWB3@@@xJ@(-4Quote_plugin.G_quote A@@o@@A0+ Pn- Po/ Pp@@ Pq PtAG@@@K@(,4Quote_plugin.G_quoteA@@@@A# PAR@@@J@(,4Quote_plugin.G_quote*A@@@@AG@@ P PB@@ P P=@@ Q$ P@@ P@@ P@ P P@@ PB}@@@J@(,4Quote_plugin.G_quoteUA@@@@Az% P" P P@@ P PA@@@K@(,l4Quote_plugin.G_quotekA@@@@A% PȐA@@@J@(,44Quote_plugin.G_quotevA@@@@A٠Ԡ8@@ Q P۠1@@ Q Pܠ5@@ Q4 P@@ Pڠ@@ P@ P P@@ PB@@@J@(,4Quote_plugin.G_quoteA@@@@AƠ% P" P P@@ P PA@,@@$K@(+4Quote_plugin.G_quoteA@@@@A% Q A@7@@/J@(+4Quote_plugin.G_quoteWMUWMe@wA@@@@@7@7@AB@@B@(+x4Quote_plugin.G_quoteV.9V.L@A@L@@@C@A@@A@(+X4Quote_plugin.G_quoteTT,@F$unit@@@ ?A@]@@A@(+4Quote_plugin.G_quote]w]w@K.gen_tactic_arg*g_dispatch@@ G] G_@@ Gz H@@ HB !k@@@(p@ Ygv Ygw@@ !c@@@+@YgYg@@ !c@)TacinterpL%ValueA!t@@, +@%Z&Z@@ #tac@<(constant@%g_cst@@ G 1@1%dterm@%g_trm@@ G 1@1%level@@&GenargA&glevel@@ G 1@1$term@@@ G 1@1$name@%g_nam@@ G 1@1)reference@@)MisctypesA&or_var@#LocA'located9-ltac_constant@@ H@@ H 2 @@2  1@1'tacexpr@G0glob_tactic_expr@@ B 1@1'pattern@S%g_pat@@ G 1@1@111111111~@1}@@1| 1{@[[@@ #ist@@)GeninterpA+interp_sign@@@ @@\!\$@@@6@@@CA@@E@@ABB@@D@@AC@A@@AB@@B@E@(+4Quote_plugin.G_quote]wy]w@@A@L@@E@(*4Quote_plugin.G_quote\0\X@@%NamesA"Id@#MapJ!t@@ BC @@@ @C@g@@@1@A,+B)@E@(*4Quote_plugin.G_quote\B\X@#MapJ!t B0@@ B1 B=B@@@E@(*4Quote_plugin.G_quote \ ]w@@A @@@D@(*4Quote_plugin.G_quote[[@tI$list@3@@ 1@@ 1@ 1 1@@ 1B)@@@@m@i@ABf@C@(*l4Quote_plugin.G_quote2[3[@&lident@@ 2  2{B=@$CAstA@@@D@(*<4Quote_plugin.G_quoteF[ G[@ 2BL@$CAstA@@@&D@(*$4Quote_plugin.G_quoteU[V]w@@AV@@@-CA(* 4Quote_plugin.G_quote^Z_Z@AA_@@@@7B@B (*4Quote_plugin.G_quoteiZj]w@@@i@@@ B@()4Quote_plugin.G_quotepfqf@@@'EConstrA!t@@ Q(@)ProofviewA&tacticF$unit@@@ Q'@@ Q&@ Q% Q0Að!f@ P1@A@@@@A@"lc@ Pj@A@@@@A@!c@c P@A@@ @@A@!k@ Q@A@@@@A@#ist@@)GeninterpA+interp_sign@@ Q@A@@"@@A@@:@@@!C@@1E@@ABA@@B@@/D@@ABC@zA@@A@H@()4Quote_plugin.G_quoteff @@@C@N@@E@()4Quote_plugin.G_quoteciwci@@i@@ Oڰd_@@ O@@ Oؐ@ O OA!f@G N$@A@@Z@@A@!c@ Nh@A@@a@@A@!k@ O@A@@h@@A@T@S@@ O@ A@@p@@A@@@@@C@@$D@@ABA@@B@@AC@A@@A@G@()4Quote_plugin.G_quotecimci@@@3@@@D@()d4Quote_plugin.G_quote%a!&a+@@@W!f@ Mt@/A@@@@A@"lc@ M@6A@@@@A@@@@ M@>A@@@@A@@@@@C@@AA@@B@@AB@@C@()<4Quote_plugin.G_quoteL`M`@@@}!f@ LI@UA@@@@A@@@@ M&@]A@@@@A@@@@@B@@AA@@B@@B@@( 7/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit E/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit/plugins/quote@"M`(,Quote_pluginP1@'EConstrA`@'EConstrAP@$UtilA@'TacmachAx@'EConstrAX@'EConstrAh@)ProofviewAࠠ@'TacmachA@'EConstrA,,/caml_make_array@'EConstrA0 Xp@6plugins/quote/quote.ml@񠐐O@\.Assert_failureC@)ProofviewAԠ@)ProofviewA(@'TacmachAH@'TacmachAle@)TacticalsAࠠ@)ProofviewAD@)ProofviewAd@'TacmachA@'EConstrA@)ProofviewAܠ]\@'TacticsAԠhg @'TacticsA @d@۠M@ 4c <@)ProofviewA la @'TacmachA Р@'TacmachA  @)TacticalsA Xv p@)ProofviewA @)TacticalsA 4 L h@)ProofviewA @/Constr_matchingA P@%NamesA d @/Constr_matchingA ࠠ@'EConstrA РV)Not_foundC @'EConstrA #invalid inversion scheme for quote.@@@"PpAH@'CErrorsA`@#Coq@@%quote@@%Quote@@@@@@&CoqlibA03Ƞ6ࠠ@'EConstrA(>p@'EConstrA@'TermopsA@'EConstrA!4,caml_obj_tagP@0CamlinternalLazyA /(Tkn젠.caml_array_get`FxE 䠠ON1P0[:̠9`4ciࠠl<ru<x`[Z@)ProofviewAx@'TacmachA@&ConstrAؠ0@&GlobalAX@'EnvironAh@'EConstrA|5caml_array_unsafe_get 0@,ReductionopsAXl@&OptionA@&OptionA@'EConstrAܠ@'TermopsATȠ@'EConstrA @'EConstrA t@*PatternopsA  Р !!0%!t@'EConstrA!!"@'EConstrA"<8##L #d@*PervasivesA#!M@# #f#i#Ԡ5caml_ml_string_length#𠠑Y$2caml_int_of_string$@'TermopsA$@@'EConstrA$T-x@[A-@ZA-%quote@-"$k@-@wA-.@vA.$@uA.H%using@.`"$c@.p@A.xt.@A.@A."in@.ؠ"$f@.蠠@A.𠠑/@A/@A/8%quote@/P@!]@@@/#$lc@/@A//@A/@A/ࠠ![@/"$f@0@A00(@A04@A0X%quote@0p"$f@0@A00Ġ@A0Р@A0%quote@1 %quote@10o1@@4Quote_plugin.G_quoteA111@A1@0U>YB%,Xml_datatype0_d oS:D@4(Vmvalues0IMGy?[!+Vernacstate0.O@E;`!:,Vernacinterp0/s ku֞pI*Vernacexpr0 ã0=J Cs-Vernacentries0|r }11Vernac_classifier0mJ0Ǎ4Mnpdz$Util0,zt@CYS)Universes0}=YF\)Univdecls0&gocRA[{$Univ0 - ݈N{)Unionfind0W%.;!ԗ#kh+Unification0X=i !=ࠠ&Uint310 @㏔YNPņ%Uchar0YlIs{Gt~Ѡ&UState0N#VȽ7p&UGraph0lMK+Typeclasses01q+Type_errors0"r+û#Tok01Um!9N'Termops0PTPubuG]$Term09s 3F`&&Ơ(Tactypes0p})Predicate0Vr!: Гb'Pre_env0À5LECQ 'Pputils0PtPV~׸wS(Ppconstr0tNF̝"?2"Pp0vzA"'#bnI $Ploc0@`(h'Plexing0áoD Fz:Hu&Pfedit0g]<=,?/r*Pervasives0ܗ,4(z٢$Pcoq0g[NrԢ;k*Patternops0)AY~'Pattern0}ߣB rr=%T&Option0$cLxs:+Opaqueproof0-;"eX;xJDɠ+Obligations0ֳT j v:rQ#Obj0IyIf.pk-Notation_term0^w8ckg j,Nativevalues0Kї֢.yΥ%*,Nativelambda0zX}]џFm+Nativeinstr0~vՆ*Nativecode0o11ƙXd'Nametab0Ru/݋W%Ƞ%Names0gCwM.t%Monad0 f( r o5)Mod_subst0-c;7)!Ҫm3L}%Mltop0/p"py;)Misctypes0깢hH]4Ԡ#Map0P"pV2.砠,Ltac_pretype0.i)bP;,Sa +,0^{g)t{` +Logic_monad0P>]A(j PI6(Locusops0]( ݛf%Locus0( 1*Isa(Locality03dKj8)%#Loc0Fwԯ-ړݠ$List0zkr e8D(Libnames0IY8[&Kp/&Lexing0 qe 3&(&Lemmas0GDY`헕,s$Lazy0K(vڠ%Int320(՗Ymyi#Int0HJɀ`MT=0n P-̠)Glob_term0wCϟpCpt*Genredexpr0t\0䘍cQgYF(Genprint0Ms#g8{'y)Geninterp0 (b)Genintern07resͭF̛&Genarg0dK3y+JA㠠(G_vernac0Tѣ3Rn7M(G_proofs02PifHU@Hj&Future0: 6@VGn'Ftactic0n0.x'T#'Fstream0M3AZ, `a䊒ڕR&Format0S$FQ'GQSӵ%Flags0hBAxX(Feedback0o]$ӡOA &Extend0mmp@1Cf'Exninfo0m H p3|#Evd0V/`g**Evardefine0L%/擔֠*Evar_kinds0X la_㠠$Evar0!5#򟹠&Esubst0%i 7&z)w](Equality0nu着.1t(Eqdecide0r&O 59'Environ0XIu>) $K$'Entries0%B^F$Elim0pVIB+Z=^gM'Egramml0Ař.{q8N%Eauto0,kyGTd-Π'EConstr0ʨ/@(ɢjح#Dyn0UXzOD*&Digest08Qr%lSe7򵠠'Declare0tbNZOO$7,Declarations0!GI&젠*Decl_kinds0VXTuV@$DAst0Oyhznl&Coqlib0s՗0!O'Cooking0\QWB d(f+Conv_oracle0aTQr{(Π'Context0|.ާ m|ʎ' .Constrexpr_ops0/NV9?}.*Constrexpr0 a(f.ݠ/Constr_matching0fcݪU hl&Constr0X*ӕ8n锁GD%Clenv0Zv ~x'CString0Xb ɲS&CStack03zs$CSig09e++k1C$CSet00ef +CPrimitives09B6$ݯ$CMap0Iz\#%CList0d;:=>2;Bs&CLexer0%PܹnM%MSV'CErrors0ѳj V `5g]*CEphemeron0cTdt=}#(CClosure0u !:m$CAst0"% KfFb*TJ&CArray0D%([U[&Buffer069=wFqFF)+Autorewrite0)>q Er(~頠$Auto0<{Nf ?7i%Array0#Uxkܐ@ˠ0@A8S[+@àzMxdڠR<B@@@1u