Caml1999O022k:9T)*! ! VCl 2"$ 8! W!8&%2!89'D Ch 3$ )* "$)*O~V @8 !8&%8G2" D C @8 ! !! V!C 1+ 8G"l "@8'% @8 !8&% )* 8" W &E 2&8)F! 8AG! YX  #? # C8!  8 DC!  #! !h @ @ 8""C8?C!8"Z( 8EG !Vh8&)* + s8AG %D! E! F! G!G!G!G!G!G 6@?! G 6@?!h @ @ @@@@@@ @ @( )*! G G G GGFEDC@$ WoC W(2ET^C !6'C 6'C 6'C 6'D C ! !@6'D C @ 6'C  6'C  6'C ! 6'c?h?h?h?h?h?h?h?h?    + R8G "C VC Tc CCCC C C CC> ( )* DC68"8!! D Ch8! ?  # G G G GGGFED C        D C @? """6!! C@! # D C! ## #   ! -c@@@ @@@ @ @6 !l C  D Ck ^l ^l ^l^)V)C !8"?]l^@8 !Tg^6(8G!8"#6)8G!8"# 6*8G!8"# 6+8G!8"# 6,8G!8"# 1""""">3,, )V)C 8E!T5+V+C 8E!T5)8"$*8"       > !08"c(9)* C8" WffffffffffffffffD O TJC ] CT 8!T C8^#V#c8#!G81! 8! A] @8%  h8! ?@?h?@?@@ Y  8G "ZT6 yV5!T D ( )*iyV%(?(D C &D C C 8," D 8," G 8,"G8,"G8,"G8,"G8,"E8C" F 8C" G  8C" G  8C" C yVU D yVM G yVD GyV; GyV3 GyV+ GyV# EyV F yV G yV  G yV (     > ()*CC CF#IC 8F#I( hh8   h8N XV58!6h8'()*58"8!VnD C  hh8  + 8G "Y  8"!Z(6 yV958! 8#68!h8 !68!8 "8 "8 "8 "6h8' 56@[C G&)* Chh8  C8" WD O  TC Wc^i^j^k^l^l ^l ^l ^  ] CT 8!TC8g#V2   > ]# hh  6> ( TT c^i^j^k^l^l ^l ^l ^l ^l  ^  ] CT 8!TC8g#V:    > ]# ? ? h> (     ] CT 8!TC8g#VB          > ]#     ? ?     6> (5% d(e(c(d(c(c(c( T WT TTd(c(e( d(e(c(d(c(c(c( T e( d(c( T%WT TTd(c(e( T e(d(c( T#WT TTd(c(e( TWT TTd(c(e( T!WT TTd(c(e(8F!8G?8 C'+?(8)F! 8AG! YX  #? # C8!  8 DC!  #! !h @ @ 8""C8?C!8"Z( 8EG !Vh8&)* + s8AG %D! E! F! G!G!G!G!G!G ! G 6@?! G 6@?!h @ @ @@@@@@ @ @ @( h8 G!8 DG&8!8 DC%)* A]')*?] #+8G# 8')*V( " E Dh @ @()*! D C! G G G GFEDC@@$ W(2ET^C !6'C 6'C 6'C 6'D C ! !@6'D C @ 6'C  6'C  6'c?h?h?h?h?h?h?h?    + j8G "C VC Tc CCCC C C C>( )*C8!V? I(5 8"%Wc(C !?(C !?()*DC DC68"8!c8! # G G G GFEDC ?         D C # D C # #! *c@@@@@ @ @6!lC  D Ck ^l ^ 6 8G!8"# 6!8G!8"# &>("" VC 8E!T5 V C 8E!T58" 8"!8"   h^j^i^   > !&8"c(.)* ] CT 8!T 8 " VC !# @]' ?]')* ] CT 8!T 8 " VC !# @]' ?]'h&)* ] CT 8!T 8 " VJC D C WC 8E!TC 8 +8G"!T !# @] # @(  ] CT 8!Th8 "? ?]#h @h8 "?h8 "?@()* #A]')* ] CT 8!T 8 " ?]# +8G# 8# 8~C! C8-& )* Chh8  @]'h&h&)*V&C W C 8E% C 8 +8G"%  ] CT 8!T8 +!?h @h8 "?h8 "?(W' ] C(8%(C ?]&C ?]&)* hh8  8" W3333333333333333D O  TC WZ^c^i^j^k^l^l ^ ] CT 8!T 8^#Vhh   6> ( TTc^i^j^k^l^l ^l ^l ^ ] CT 8!T 8^#V ??  h> (    ] CT 8!T 8^#V??6> (5%)*VC ( > ' h&h&)*G FEDCC8" WD O TvC ] CT 8!T  C8^#VN?] #VC    >]#TA] #   8# 8# @( h8! ? @?h?@?@?@?@@ Y 8G "ZT6 yV5!T D Y  8G "ZT6 yV5!T D V C Y$?@?h?@?@@8G "ZT6 yV5!T D    68! C8#68!h8 !68! C8#68!h8 !68!C8#68!h8 !68!C8#68!8 "8 "8 "8 "8 "8 "8 "8 "8 "8 "8 "8 "8 "8 "8 +8"T58! C8#68!h8 !68!C8#68!h8 !68!C8#68!8 "8 "8 "8 "8 "8 "8 "8 "8 "8 "8 +V8"  @()*>]&)*>]& )*Y[C    8G  D C 8G  D C 8G  D C I >]" Z(6 yV5%)*iyV%(?(D C &D C C 8," D 8," E 8,"F8,"G8,"G8,"G8,"G 8," G 8C" G 8C" G  8C" G  8C" C yVa D yVY E 8I"VN F yVF GyV= GyV5 GyV- G yV% GyV G yV G yV  G yV (  > ()*CC CF#IC 8F#I( hh8   h8N XV58!6h8'()*VnD C  hh8  + 8G "Y  8"!Z(6 yV958! 8#68!h8 !68!8 "8 "8 "8 "6h8' 56@[C G& d(e(c(d(c(c(c( T e(d(c( T#WT TTd(c(e( TWT TTd(c(e(D C ] CT 8!T@()* +8G"%e(d(D C ] CT 8!T@()* " C +8G" + "@@%6@&68')* +?(8F!8G?8 C'+?(68'+?(68#81!8%+?(8&)* 8" WQQQQQQQQQQQQQQQQD C O6Oh 8G# @8! 8jG"VO ^ O^ A(5%5%)* ] CT 8!T 8 " @8%)* ] CT 8!T@8%68'+?(68#81!8%+?(!%?(8!68"8G%)*E D C 8!68"8G! h8"??8 DC! 8G F# @A()*+8G ChhA 8G# E Dh8 G! D @ +8G5"88!8"h ?@@h8 "? +Q8G"@??  " h @8""8 G"8EG" 8!8.! D C + 8!C 8G"@(C 8!68"8G!8G G&)*8G!88!8 DG" + 8D"Ic8%8 DD! V C 8~C%58%)*7C8 8 !8G  E C @()*E D C 8!68"8G! h8"?? 8G F# @A()*+8G ChhA 8G# E D 68G!8G F#h8 G! D @ 6" 8 G& h&h&)* 8G!8 +!?@h8 "?8 +!?(h&h&)* ] CT 8!T8 +!?@h8 "?8 +!?()*c8! 8" 8" ? +5  h ?hh6h8 ?@h 8G!hh8 8%c8! 8!  h8 C(c8! 8! 8 # D C @(h&h8 "?(5h @ +8G"h 8 8!8!8"?@h68G!?8 +!@8 8!8"?@ @h8 "?h68G!?@@?(818G"8GC 8GF8G# 8G#Vc8%c8!h8AF&)* +858FC&)*c @?j !@h80'cj !@h80'8&)*+8~C! h8!##h8!8?8+#8<#8%YC8G0G"Z(6 yV"58! 8!68!8 "8 "6h8')*C 8G0F#I()*Y88G#?Z(6 yVc(Y 8!Z(6 yV 58G!?()* 8Q" C Y 8f"CZ(6 yV58!hh8')* ! W 87&8&%87& %8!hh8'+ + + +s ,e+J8G0C? +, + + + + +q + + +~ +2 + + +[ + + :?6h @ + ? h8G#  +6 +X +:6 !6 !6 !6!6!6! + +$+[ ,5h @6@6 +>8G" ++ + 6@6@8G8G"8F! + + +6!6!6!6!6 !6 !6 !6 !6!6!6!6!6!6!8=+48+h +6!@@ +S6!@@ +#6!@@ +6!@@ +6!@@ +@@ + @@ !69"5 GO?8C! C6h8#8C6h8# + + + + +68! G G ++EC>8!$+I+&+'+ ,1R+  +O+-+WA+,+ .13+c 068GJ+ 068G+/ 179H+   /5EN+ eE+DV+$ I+ K+4+69;+ + + +- P+69@6@8G8G"8F! +dh +69!@@ +65!@@ +65!@@ +e65!@@ + 69!@@ +69!@@ +69!@@ +69!@@ +A@@ +B@@$!6["c +X69!@@ +H69!@@ +869!@@ +!A@@ +B@@#!6["5X!68"57!68!69!6:!6;!6<!  In+(C6h8#8C6h8# ++ D+8 .+ + +68! G G ++EC>8!'Pq+  !#%)+.Sclo+c+ ++a  (f+6  7!nqq> v9T)*8Gd! D C 8$ )*h 6@8')* 6@8&7(5 +%VD VD VD VT +(T58%7(V58%c+()*D C 6@ 8')*VC Tc 8# (VND VGD V>D VT;C CC 88!8" 8 8!8"8!8!8" +( T58%)*c8! D CD 8#68!h8 !C8#68!h8 ! 8!8!8 "8 "8 "8 "8 "8 "j8"h8&)*58!h8"7C +8G " (V58%+()*()*(88&#8-%)*()*?()*?(WC %C 88"68!8 &)*8Gd! D C 8$ )*h 6@8')* 6@8&7(5 +%VD VD VD VT +(T58%7(V58%c+()*D C 6@ 8')*VC Tc 8# (VND VGD V>D VT;C CC 88!8" 8 8!8"8!8!8" +( T58%)*c8! D CD 8#68!h8 !C8#68!h8 ! 8!8!8 "8 "8 "8 "8 "8 "j8"h8&)*58!h8"7C +8G " (V58%+()*()*(88&#8-%)*()*?()* ?@()* ?@()*?()* @()*?()*?()*??()*??()*??()*5()*??(WA3C W 58%C 88"68!8 &C 88"68!8 &C W3C68! 8G!68!h8 !68!8 "8 "8 "8 &C68! 8(8 8&#68!h8 !68!8 "8 "8 "8 &C68! 8G!68!h8 !68!8 "8 "8 "8 &C68! 8G!68!h8 !68!8 "8 "8 "8 &D C 88" 88"68!8 "8 &C WAD C68! 8G!68!h8 !88"68!8 "8 "8 "8 "8 &D C68! 8(8 8&#68!h8 !88"68!8 "8 "8 "8 "8 &C 88"68!8 &C 88"68!8 &)* 8&)* 8&)*8%5 8 !yc +h68G!88!?@h8 "@6@@@ +h68G!88!?@h8 "@6@68G!88!?@h8 "@6@@@h68 G Uc +]668G!88!??@h8 "@6@68G!8 8!?@h8 "@6@@@h68 G +!68! 8!688 #hh +8C?68 !?h@@@@ +68 !?h@@@ +8C?68 !?h@@@@ +68 !?8G?68 !?68 !?h@@@@@@ +`68 !?8G??68 !?68 !?h@@@@@@ +&68 !?8G?68 !?68 !?h@@@@@@ +68 !?8G?68 !?68 !?h@@@@@@ +8C?8C?68 !?h@@@@@ +8C?68 !?h@@@@ +d68 !?8G??68 !?8C?68 !?h@@@@@@@ +68 !?8G?68 !?8C?68 !?h@@@@@@@ +8C?68 !?h@@@@hhA@h@h 8#  + 8E"+68! 8!688 #hh +t68 !?68 !??@68 !?h@@@@@hhA@h@h 8#  +/ 8E"c +h@@ +6h@@ +8V"c +@ +@ +8V"5h 8 !??8!8!?@h8 "?@8 8 !?8 8!?@h8 "?@6@88 !?88!?@h8 "?@6@6@@ +8V"wc +h68G!8 8!??@h8 "@6@68G!8 8!??@h8 "@6@68G!h8C8!@@h8 "@6@@@h6 8 G +Z68! 8!688 #hh +9 ?h@@@ +"8C?68 !?h@@@@hhA@h@h 8#  + 8E"+68! 8!688 #hh +68 !?68 !??@68 !?h@@@@@hhA@h@h 8#  +r 8E"c +Wh@@ +yh@@ +D8V"c +*@ +@ +8V"5h 8 !??8!8!?@h8 "?@8 8 !?8 8!?@h8 "?@6@88 !?88!?@h8 "?@6@6@@ +V8V"vc +3h68G!8 8!??@h8 "@6@68G!8 8!??@h8 "@6@68G!8C8!?@h8 "@6@@@h68 G    >  9566A9|f5(@:Newring_plugin.Newring_ast&_none_A@AAA@Q*floatarray@,@@@A@@@/@@@@P5extension_constructor@A#int@,@@@A@@@5@AB$char@O&string@ D%float@ E$bool@,@@а^%false@@@D@а_$true@@@I@@A@@@I@AF$unit@,@@а`"()@@@R@@A@@@R@A#G#exn@,@@AA@@@U@@&H%array@,@M@A@A@@@\@@-I$list@,N@Aаa"[]@@@g@аb"::@ @@O@@s@@A@Y@@t@@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$@@@Ac@X+End_of_fileC+@@@Aj@W)Sys_errorC2@.@@Aɠ$r@[.Sys_blocked_ioC:@@@AР+y@V)Not_foundCA@@@Aנ2@U'FailureCH@D@@Aߠ:@T0Invalid_argumentCP@L@@A砠B@Z.Stack_overflowCX@@@AI@S-Out_of_memoryC_@@@AP@R-Match_failureCf@eab@c@@A]@C%bytes@ِ@*PervasivesA@&ConstrA@(LibnamesA@*ConstrexprA@+Ltac_pluginA'Tacexpr@1*coeff_spec@,&constr -@Aа2-Computational@ 3 .@@ "plugins/setoid_ring/newring_ast.mlS S$@@а3(Abstract@@@ T9; T9E@@а4(Morphism@!3 0@@UWYUWn@@@A@Y@@R@@@5,cst_tac_spec@,@@а6&CstTac@:/raw_tactic_expr@@ 7@@)X*X@@а7&Closed@U)reference@@ :@@ >@@(Pow_spec@@@ k+constr_expr@@ n@@aa@@а?)Sign_spec@+constr_expr@@ q@@cc@@а@(Div_spec@+constr_expr@@ t@@dd7@@@A@Y@@[@@@ðA)field_mod@,&constr @AаB(Ring_mod@C @@ @@gRVgRr@@аC&Inject@+constr_expr@@ @@hsuhs@@@A@Y@@f99@@@D)ring_info@,@@аE,ring_carrier@@%types@@ kk@@аF(ring_req@@)&constr@@ ư l l@@аG+ring_setoid@@5&constr@@ ˰mm@@аH(ring_ext@@A&constr@@ а$n%n@@аI*ring_morph@@M&constr@@ հ0o 1o #@@аJ'ring_th@@Y&constr@@ ڰAc@X+End_of_fileC+@@@AEHj@W)Sys_errorC2@.@@AM$Pr@[.Sys_blocked_ioC:@@@AT+Wy@V)Not_foundCA@@@A[2^@U'FailureCH@D@@Ac:f@T0Invalid_argumentCP@L@@AkBn@Z.Stack_overflowCX@@@ArIu@S-Out_of_memoryC_@@@AyP|@R-Match_failureCf@eab@c@@A]@C%bytes@ِ@*PervasivesA@+Ltac_pluginA@"PpA@$UtilA@%NamesA@&ConstrA@'EConstrA$Varsj@(CClosureA@'EnvironA@(LibnamesA@)GlobnamesA@)Glob_termA$'Tacexpr@@&CoqlibA@)Mod_substA,)TacinterpL@)LibobjectA@'PrinterA@'DeclareA@*Decl_kindsA@'EntriesA@)MisctypesA@+Newring_astA@)ProofviewA)NotationsF%error@@O&string@@@"d @ @  @>plugins/setoid_ring/newring.mldd@@,protect_flag@,@@а$Eval@@@ ii@@а$Prot@@@i@@а#Rec@@@i@@@A@@@i@@AS'tag_arg@@@@&ConstrA&constr@@"'@(CClosureA'fconstr@@"'A'"o@@@#IntA!t@@'"T@@""A""s@@&EsubstA$subs2@@'@@'"w@("{@K"C"@""|@"}"x@"y"t@"u"p@"q"n@zk{k@@5global_head_of_constr@@@#EvdA(evar_map@@:'@@'EConstrA!t@@''@)GlobnamesA0global_reference@@:'@''@''@q`dq`y@@7global_of_constr_nofail@@@&ConstrA&constr@@:B:;@)GlobnamesA0global_reference@@:A:<@:=::@v#'v#>@@ +mk_clos_but@@@@@Zz Zuʠ@@@e@@eAe Z@@Z ZvAZw W6@@@e@@e \@@@e@@e e@e \@\ W;@W< W4@zz@@ /mk_clos_app_but@@C W=@% W>@ W?@H%array@) f@@f  W@@A#int@@@e WA1 WB@WC@WD@WE@WF@WG W5@2D3D@@ *interp_map@@I$list@@@u+ u@f. u@u@@u f%@ f)@@f- f*@f+ f&@f' f$@^P  _P  @@s,protect_maps@@*PervasivesA#ref@$UtilA&StringN#Mapp!t@@#EvdA(evar_map@@rr簖@@'EConstrA&constr@@rr갖@@@rްƠ@Y@@rݰR@@rܐ@r@@rڐ@rr됐@rr萐@rr@@su?@@u>su;@S  S  @@'add_map@@Q#key@@t@NF$unit@@@@@@T * .T * 5@@*lookup_map@@@@fr@@U m qU m {@@+protect_red@@.@@簖@@'EnvironA#env@@밖@ﰖ@{󰖰x@@@@@@@Z  Z  @@+protect_tac@@Z@@@)ProofviewA&tacticF$unit@@@|@@{@ @/`  0`  +@@6.protect_tac_in@@z@@6@@%NamesA"Id@!t@@60+@@@@6@6@6@Wc n rXc n @@G+closed_term@@@'EConstrA!t@@G@I$list@@)GlobnamesA0global_reference@@I6@@5G@)ProofviewA&tactic@@'G%@@$G@G@G@i * .i * 9@@4/closed_term_ast@@.@)GlobnamesA0global_reference@@5@@4@+Ltac_pluginA'Tacexpr@/gen_tactic_expr(constant@q@%dterm@w@%level@@&GenargA&glevel@@4@$term@@ް$name@@ܰ)reference@@ڰ'tacexpr@@ذ'pattern@@ְ@͐@@@4@4@||@@"ic@@@*ConstrexprA+constr_expr@@A@#EvdA(evar_map@@֠@'EConstrA&constr@@@B@C@@%dh&dj@@)ic_unsafe@@.+constr_expr@@߰&constr@@@@=>@@-decl_constant@@O&string@@@*찖@@$UnivA*ContextSetg!t@@P𰖰@@&ConstrA&constr@@i @@@@op@@)ltac_call@@@$LazyA!t-ltac_constant@@Ō_@@`ĥ@/glob_tactic_arg@@ķ@@Ķĩ*g_dispatch@@mļ@@ĻĪ@īĦ@ħĤ@'+'4@@*ltac_lcall@@k@@$ř@I$list@.gen_tactic_arg@Ż@ź@Ź@Ÿ@ŷ@Ŷ@ŵ@Ŵ@ų@Ų@@)MisctypesA&or_var @@ ű@Ű @ů@Ů @ŭ@Ŭ@ūŪũŨŧŦťŤţ@Ţ@@@@ŝV>@@šŞ@şŚ@śŘ@  @@*ltac_apply@@F%ValueA!t@@lG@+)TacinterpL%ValueA!t@@~@@}p@)ProofviewA&tacticF$unit@@@@@q@rH@IF@A=AB=K@@*dummy_goal@@@'EnvironA#env@@_@@#EvdA(evar_map@@c@#EvdA%sigma@$GoalA$goal@@#"@@!d@e`@a^@x8<y8F@@#)constr_of@@)TacinterpL%ValueA!t@@6#-@&ConstrA!t@@K#.@/#,@@@&*tactic_res@9%%value@@%%e@@f&c@@b&_@lplz@@''get_res@ /ml_tactic_entry@@z'h@@@0+exec_tactic@@}@@0|@x@@0̀@A#int@@@0̈́@mf@@E@@D0͈@@'EConstrA&constr@@a13@@20͌H%array@@&ConstrA&constr@@0@@0ޠ@$UnivA*ContextSetg!t@@0@0͍@͎0͉@͊0ͅ@͆0́@͂0}@~0{@)ae*ap@@.stdlib_modules@:@@@@@@@A^bB^p@@,coq_constant@@O&string@@@_4@@gc@@d`@a^@_`@@-coq_reference@@@@Ԝԑ@)GlobnamesA0global_reference@@ԛԕ@@ԖԒ@ԓԐ@~ t x t @@-coq_mk_Setoid@1@@Ա@@԰ԭ@    @@(coq_None@@#@@Ժ@@ԹԶ@!!!!@@(coq_Some@O2@@@@Կ@!'!+!'!3@@&coq_eq@^"@@@@@!K!O!K!U@@(coq_cons@mP@@@@@!k!o!k!w@@'coq_nil@|_@@@@@!!!!@@$lapp@@iU@@@@䰖@H%array@e@@@@谖k@@@@@!!!!@@%plapp@@@*PervasivesA#ref@#EvdA(evar_map@@@@@@)GlobnamesA0global_reference@@#@@$ @F@@1@@0@@-@ @ @ @E!!F!!@@)dest_rel0@@@#EvdA(evar_map@@B@@@SF@@Π@@Ҡ@@@ G@HC@DA@v"A"Ew"A"N@@(dest_rel@@1@@`#@@@_$@@\@@]@@^@[%@&@'"@####@@*plugin_dir@k@@ml@$$$$@@$cdir@~{@@rp@@on@$$$$@@.plugin_modules@OI$list@@@֏։@@ֈ~@@}y@$$$$@@+my_constant@@@@ͰU@@@@@@%%%%@@,my_reference@@@@ @@ @@@@& && &@@.znew_ring_path@@%NamesA'DirPathD!t@@A@&a&e&a&s@@%zltac@@@@\׉֠!'KerNameL!t@@׍@@׎׊@׋׈@8&&9&&@@K&mk_cst@@I$list@@@t@@sKc@@@rKg0global_reference@@qKk@@lKh@iKd@eKb@f"''#g"'')@@N'pol_cst@@@@ڍNڄ"@@ڌ@@ڋNڅ@چNڃ@~#'\'`#'\'g@@P6coq_almost_ring_theory@1@@ڣ@@ڢPڟ@(''(''@@Q-coq_eq_setoid@@#@@ڬ@@ګQڨ@+("(&+("(3@@R,coq_eq_morph@O2@@ڵ@@ڴRڱ@,(K(O,(K([@@S-coq_eq_smorph@^A@@ھ@@ڽSں@-(t(x-(t(@@T/coq_ring_theory@m1@@@@T@0((0((@@U+coq_mk_reqe@|@@@@@U@1((1()@@V4coq_semi_ring_theory@O@@@@V@4)G)K4)G)_@@W+coq_mk_seqe@^@@@@W@5))5))@@X,coq_abstract@m@@@@X@7))7))@@Y(coq_comp@|@@@@Y@8))8))@@Z)coq_morph@Ǡ@@@@Z@#9)*$9)* @@[6ltac_inv_morph_nothing@֠@@@@[@2<*9*=3<*9*S@@\*coq_mkhypo@堰@@@@\ @A?**B?**@@](coq_hypo@@@@@]@P@**Q@**@@^+map_with_eq@@렰렰@@@_z@@{_n@ 8@@Z^W&@@^^X@Y_o@p_j@@i^@@@P^"@@@6^&@*(^?@@>@=^'@(^#@$^@ ^@C++C++!@@g.map_without_eq@@66@@۟hۺ@@ۻhۮn۞hۯ@۰h۪@@۩gێ@@ەgے@@ۙgۖ@@@۝@ۜgۗ@ۘgۓ@۔gۏ@ېgۍ@I++I++@@y$Cmap@#key@,@@@A@&ConstrA!t@@@@-clib/cMap.mliX  X  @@@@@A!t@,!aރ@A@A@#MapA$Make@!t@@נA@@Y  Y  @@@A%empty@!!aޅ@@@-clib/cSig.mliyvzyv@@(is_empty@@!aމ@@۰E$bool@@@@@zz@@#mem@@`@@@2!aގ@@߰@@@@@5{6{@@#add@@@@@!aޔ@S @@尳W @@@@@@R|S|@@)singleton@@9@@@!aޚn@@@@@iCjC@@&remove@@P@@@!aޟ@@@@@@@DD@@%merge@@@m@@@J&option@!aު@@@ !bި@@!cަ@@@@@@@@@Š@@ɠ@@@@@@EF H@@ 'compare@@@!a޷@A#int@@@@@@@@@@@@@@@@@G I MG I @@!%equal@@@!a@@@@ @ @ @@ @@@ @@ @@@@H  H  @@"$iter@@@@@@!aʰF$unit@@@@@@8@@ @@@@@7I  8I  @@#$fold@@@ @@@!a԰@!b@@@@]@@@  @@@@ZJ  [J  (@@$'for_all@@@C@@&@!aݰ\@@%@$@#@~ @@"f@@!@ @@}K ) -~K ) ]@@%&exists@@@f@@.@!a氳@@-@,@+@ @@*@@)@(@'@L ^ bL ^ @@&&filter@@@@@6@!a@@5@4@3@Ġ @@2Ƞ@@1@0@/@M  M  @@')partition@@@@@@@!a@@?@>@=@ @@<@@:@@;@9@8@7@N  N  @@((cardinal@@!a@@C*@@B@A@O  O  !@@)(bindings@@!a@@HI$list@@@G@F@@E@D@$P " &%P " K@@*+min_binding@@7!a @@L@@K @J@I@=Q L P>Q L s@@++max_binding@@P!a@@P/@@O @N@M@VR t xWR t @@,&choose@@i!a@@TH@@S @R@Q@oS  pS  @@-%split@@V@@\@!a@@[ @@X@@Y@@Z@W@V@U@T  T  @@.$find@@@@`@!a#@@_@^@]@U  U  @@/#map@@@!a+!b)@e@Π @@dҠ @@c@b@a@V  V  <@@0$mapi@@@@@l@!a2!b0@k@j@ @@i @@h@g@f@W = AW = l@@1#get@@@@p@!a8@@o@n@m@5dJL6dJg@@2#set@@@@v@!a?@% @@u) @@t@s@r@q@RgSg@@3&modify@@ @@@@@@~@!aF@}@|@I @@{M @@z@y@x@w@vkfhwkf@@4&domain@@[!aO@@Ⴐ@#SetA$Make@!t@@@@oo9@@5$bind@@@N@@ሰ!aS@ᇰ@ @!t@@ᆰ@@@@@rprrp@@6)fold_left@@@n@@ᐰ@!a\@!bZ@@@፰@@@ጰ@  @@@@vv6@@7*fold_right@@@@@ᘰ@!af@!bd@@@ᕰ@Π@@ᔰ@  @@@@yy@@8(smartmap@@@!an@ᝰ@ @@ᜰ @@@@@||@@9)smartmapi@@@@@ᤰ@!at@@ᢰ@ @@ᡰ  @@@@@2LN3L@@:&height@@!a|@@᧰A#int@@@@@JBKB@@;&Unsafe@=#map@@@ @@ᰰ@!a߂@@ᯠ!b߀@@@ᬰ@M@@᫰Q @@@@@zG  #{G  T@@@@}E  ~K 8 =@@<%Monad@>!M@ #MapT&MonadS?$fold@@@G@@Ằ@!aߎ@!bߌ%!t @@@@@ᶰ@@@ᵰ@!t@@@@@@O b fO b @@@)fold_left@@@w@@İ@!aߚ@!bߘ0!t @@@@@@@@῰@>!t@@@@@@P  P  @@A*fold_right@@@@@ΰ@!aߦ@!bߤ_!t @@@@@ʰ@@@ɰ@m!t@@@@@@Q  Q  5@@@@M ? AR 6 ;@@@@ ^/o/o ^/o/@B,from_carrier@@*PervasivesA#refH.@+Newring_astA)ring_info@@AA+@@*BN@@MB@/`//0`//@@C)from_name@#@(LibnamesA%SpmapW!t#B@@C3@@2C-@Ia//Ja//@@D0ring_for_carrier@@7w@@D6A@D@Zc00![c001@@3find_ring_structure@@@'EnvironA#env@@Q@@#EvdA(evar_map@@P@ Q@'EConstrA&constr@@@@mA@@@@e0Q0Ue0Q0h@@ )add_entry@@f#key@@ t@z u@v q@ { @@ |@} r@s p@w33w33"@@(subst_th@@@)Mod_substA,substitution@@栰@@@㰖@@|33|33@@-theory_to_obj@@)ring_info@@#obj@@@@8888@@-2setoid_of_relation@@@'EnvironA#env@@-K@ @#EvdA(evar_map@@P-@@-O@@'EConstrA&constr@@~-S@-W@@-X@Y-T@U-P@Q-L@M-J@*:?:C+:?:U@@9(op_morph@@@@9°@ 9ư@9ʰ@9ΰ@9Ұ@!9ְ@'9ڰ@-9ް@@9@9@9@9@9@9@9@9@9@h;;i;;@@B)op_smorph@@@@"B@ B @B @B@B@!B@@ B@B@B@B@B @ B@B@<*<.<*<7@@I-ring_equality@@@@@I<@I@@@I@@I@@&constr@@GIGIH III@@IJIK@LID@'EConstrA&constr@@I @@I@IE@FIA@BI=@>I;@FFFF@@g3build_setoid_params@@@@(g󰖰@@@'@@&g@J@@$g@ g@g@I@@%g@g @Y]@@!a@@"@ g@@g g@g @ g@ g@g@g@g@g@g@C%OrOvD%OrO@@q)dest_ring@@@'EnvironA#env@@_qI@@#EvdA(evar_map@@TqM@@@]qQ@@Aq@@ q@@q@@q@@q@@q@@qǠ@@q@@q Ӡ@@q@@q $@@q @ qR@SqN@OqJ@KqH@*P P*P P@@-reflect_coeff@@*coeff_spec:@@@@@@@@@9RR9RR@@.interp_cst_tac@@@ٰ@@ݰ@@ᰖ@@尖@@젰@@@@@鰖@K,cst_tac_spec@@@@0glob_tactic_expr@@X@@@@@@@6@SS7@SS@@(make_hyp@@@@@ = 8@@@@@@@@@@@@@`IU#U'aIU#U/@@-make_hyp_list@@@'EnvironA#env@@u󰖰@ i(evar_map@@@@@ &constr@@r @@@&ConstrA&constr@@@@@@MUUMUU@@,interp_power@@]@@@  @@A@@@@頰@@|ʠ@@@@@@@𠰖O@@d@@@@@XWW XWW@@+interp_sign@@@@]@  @@@@a@/@@@@e@@f@gb@c^@_\@gYSYWgYSYb@@*interp_div@@@@4㰖@  @@N@@M簖@_ @@= @@ 밖@@@@@@FpZZGpZZ@@+add_theory0@@@%NamesA"Id@!t@@%i@@#EvdA(evar_map@@p w@@cq@rm@꠰@@@w@Ƞ@@Q@@P{@àv@@@@@ՠ/raw_tactic_expr@@D<@@;㠰@@@@@@򠰒@@@@ @@@@@@1@@0@@@B@@Ag@@@@@@@|@}x@yn@oj@kh@y[[y[[@@-ic_coeff_spec@@=@@@@H@@@@@@bsbwbsb@@(set_once@@O&string@@@İ@ʠJ&option@@@@@Ȱ@ ̰y@@@@@@Icc Jcc@@1process_ring_mods@@䠰6(ring_mod1@@ k +@@ * %@@ $Ӱ9@@ i@@ h "H@@   @ @@ 1 #d@@ @@ 9 $@+Ltac_pluginA'Tacexpr@/raw_tactic_expr@@ @@ A %̠@/raw_tactic_expr@@ @@ I &٠@@  ٠@*ConstrexprA+constr_expr@@  @ @@ Q '󠰳+constr_expr@@ @@ Y (+constr_expr@@ @@ a )@ *@@clcpclc@@*add_theory@@@@  g@@@ | k@@@ @@ @@  o~@@  p@ q l@ m h@ i f@ffff@@,.make_args_list@@ @@ , @󠰖@@ , @@ , @@@ , , @ , @ , @ , @8h)h-9h)h;@@2.make_term_list@@@@ 2 1@@*PervasivesA#ref@#EvdA(evar_map@@ @@ 2 5@@@ 2 9@x3 H@@ G2 =@@ 2 >@ ?2 :@ ;2 6@ 72 2@ 32 0@whhxhh@@:$carg@@@&ConstrA!t@@ :  @@ : @ : @i_ici_ig@@<&tacarg@@0glob_tactic_expr@@ < @@ < @ < @iiii@@>3ltac_ring_structure@@@@ .> ̰8@@ 5> 3@@ 2> @ > @iiij@@K+ring_lookup@@%ValueA!t@@ lK e@䠰L@@ @@ K p@񠰖@@O@@K t@a@@K xvF$unit@@@ @@ K y@ zK u@ vK q@ rK f@ gK d@l ll l@@j.new_field_path@ @@j@oo!oo/@@k*field_ltac@@ @@*kˠ @@k@@k@k@)oyo}*oyo@@-afield_theory@ܠ@@@@@80vv90vv@@,field_theory@렰@@@@@G1vvH1vv@@-sfield_theory@@@@@@V2w wW2w w@@%af_ar@ @@@@@e3w@wDf3w@wI@@#f_r@@@@@@t4w`wdu4w`wg@@%sf_sr@' @@@@@5w|w5w|w@@*dest_field@@@@@԰@@@@@ذ@@@ܰ֠:@@C@@Ѡ'@@Ҡ-@@Ӡ3@@Ԡ9@@ՠ?@@֠J@@@@נ V@@@@ؠ]@@٠c@@ڠi@@۠o@@@@@@@6ww6ww@@2field_from_carrier@*field_info@@$@@@@@L{{ L{{@@/field_from_name@@@@@@2M{{3M{|@@1field_for_carrier@@@@+@@BO|?|CCO|?|T@@4find_field_structure@@@@& @@@%@/@@5@@4S@@ @ @jQ|z|~kQ|z|@@/add_field_entry@@@@I@OJ@KF@qP@@Q@RG@HE@dmqdm@@(subst_th@@@@\@@>@@@h h @@.ftheory_to_obj@@*field_info@@q#obj@@t@w@EIEW@@.field_equality@@a@@@@E@@@I@ M@Q&constr@@R@SN@OJ@KF@GD@@@31add_field_theory0@@@@3󰖰@@@E3@-@@l33@3@@3@U@@Z@@Y3@P@@@@3@]@@3@@3@q@@$3@@3}@@y3q@@p3@3 @B@@>@@@@@ 3@K@@"@@!3@X@@4@@33@@ 3@3@3@3 @ 3@ 3@3@3@3@3@3@ @@m2process_field_mods@@I ~)field_mody@@ n @@ n @@ m .@@ @@ m!Ǡ砰@@!@m!;m!<@!=@@!m!Ƞ@@!@@!m!ɠ@@!@@!m!ʠ R@@!@@!m!ˠK@@!*@@!m!̠!@@!em!bH@@!fm!c@!d@@!m!͠6C@@!x@@"m!Π@A@@!@@"m!@!m /@ 0m -@ 48!4J@@0add_field_theory@@@@"l"@@@"V"@頰@@"F@@"E@@"D"@@"T"@""@""@""@N26O2F@@4ltac_field_structure@@B@@#".@@##@@#"@""@hi@@,field_lookup@@%ValueA!t@@$+$$@@@$@@$$/@@@$~$@@$$3@ @@$Z$7@@$>@@$=$8@$9$4@$5$0@$1$%@$&$#@W[Wg@@@@@+Newring_astA@.Newring_pluginA@A@@@A@@A +F@@Un@@At@@r@@ABCI@@Z@@AV@@tf@@ABc@@M@@X]@@ABCD)i@@}N@@ABO@@`W@@AL_@@BC>`@@y@@A`q@@z@@A(b@@BCDE\@@>a@@ANs@@B^r@@Bt@@~@@ABCr^@@*v@@A x@@}@@A{@@1c@@ABCD]@@Du@@(w@@ABR@@i@@Ag@@Bf@@N@@AV@@BCDEF A@@SZ@@Ag@@Yq@@ABl@@j@@Ak@@v@@ABC b@@d@@Am@@ E@@AB B@@ C@@p@@AByY@@C@@ACDEGD@@U@@AS@@u@@A)|@@BCT@@_@@AB[@@Q@@ABDR@@ \@@A @@B@@@UF@@ACEFE@@+o@@Ak@@Bxl@@da@@A ?J@@BC K@@le@@Ah@@j@@AB p@@s@@A-Y@@BCDH@@K@@oL@@ABPM@@O@@A L@@BC ;D@@`@@ApX@@ I@@Ah@@Ge@@ABCDf[@@o G@@^@@ABX@@}B@@ H@@ABn@@m@@ACDEFGH@@v@(6Newring_plugin.Newringq@@$@@@AA(cache_th@@ '@@~@@@@@@ntn|@@@,@@#!@@AB@@A,p@@@ABCDEF@@A@@ABC@@ABCDE@@ABCDF@@ABCDFGH@@p@(46Newring_plugin.Newring@@)LibobjectA2object_declarations;@@:.AZ@e@@9p@($6Newring_plugin.Newringp@A^@i@@=p@(6Newring_plugin.NewringM{| M{|=@C@r@@ig@B`_DSRE@?F@@AB@ @A @BC@DE>F:@BDEFGH@@j@(6Newring_plugin.Newring5L{{6L{{@+C@@@/@0@0@AB&CVDETFGH@@i@( 6Newring_plugin.NewringG5w|wH5w|w@ϐA @@@.kjTSO@L@AKJCDEFFa@@@ABCD+EFGH@@g@( 6Newring_plugin.Newring^4w`wj_4w`w{@A6@@@X@Y@AN@CF~D=:E(|F GH@@f@(6Newring_plugin.Newringo3w@wLp3w@w_@AF@@@V@@ABCDE-FoH@@e@(6Newring_plugin.Newring2w w2w w?@5AV@@@z"*@@AB^CDEFGH@@d@(6Newring_plugin.Newring1vv1vw @VAg@@@#4@{@ABzCqnE\FAGH@@c@(6Newring_plugin.Newring0vv0vv@vAw@@@@BCDE`FH@@b@(6Newring_plugin.Newring+vUv],vv@F$unit@@@wB@@@b@(6Newring_plugin.Newring,vv@@,ReductionopsA2reduction_function@@xA@$@@(b@(|6Newring_plugin.Newring tt(vvP@ @@B@0@@4b@(h6Newring_plugin.Newring!tt @grA@:@@>b@(6Newring_plugin.Newring$u;u@$u;uT@uYr@@||A@K@@Od@(6Newring_plugin.Newring%ujuo%uju@|A@V@@Zd@(6Newring_plugin.Newring(vv (vv!@|+A@a@@ed@(l6Newring_plugin.Newringoot`t@H@@4B@m@@qb@(X6Newring_plugin.Newring oo @r@A@w@@{b@(6Newring_plugin.Newring' pepi( pep}@rG@@nLnA@@@d@(6Newring_plugin.Newring8 pp9 pp@nA@@@d@(6Newring_plugin.NewringCqOqSDqOqp@nA@@@d@(P6Newring_plugin.NewringNqqOqq@'nِA$@@@d@(6Newring_plugin.NewringYrrZrr@2n A/@@@d@(6Newring_plugin.Newringdrrerr@=n9A:@@@d@(6Newring_plugin.Newringosspss@HniAE@@@d@(6Newring_plugin.Newringzt`td{t`ty@SnAP@@@d@(H6Newring_plugin.Newringo2o4o2ow@}AW@@@@@n@ABmCdaEOF42.@-@A,)B'CDFGH@@`@(46Newring_plugin.Newringo2oA@I$list@,module_ident@@j@@jjBz@@@#`@(L6Newring_plugin.Newring9>9@: :<@@ AA, @@+@*GGAx(cache_th@@ 3@@=>@<1 2@3.@@;/@0-@9999@@@8@@0.@B'@+H@@ABCDE  @@ABCEFf@@A@@@ABCD @@ABCE@@A@@@ABCD@@Av@r@ABo@n@AkjBCDEFG@@H@(6Newring_plugin.Newring 9O9T9O9}@ AA@@@4AZ@q@@9H@(6Newring_plugin.Newringp@A^@u@@=H@(d6Newring_plugin.Newring%a//&a/0@ C@~@@@v@An@Ba^C\[DWVENDF%@%@@AB  C CD?E<@@A5CDEFG@@B@(86Newring_plugin.Newring@`//A`//@0C@@@:@:@A! BWD SEFG@@A@(6Newring_plugin.NewringPL,L,TQY./ @@@ѐB@@@@@ABCD{qFRG@@@@(6Newring_plugin.NewringcM,c,e@rݐA@@@@@(`6Newring_plugin.NewringmP,,nP,,@r@@oo A'@@@"B@(,6Newring_plugin.Newring~Q,-Q,-@o3A2@@@-B@(6Newring_plugin.NewringT--T--@oFA=@@@8B@(6Newring_plugin.NewringU-.U-.@'osAH@@@CB@(6Newring_plugin.NewringY..Y..@2oܣAS@@@NB@(06Newring_plugin.Newring@**@**@eAY@@@W@@ABCDEFpvl@^@ACE]FG@@}@(6Newring_plugin.Newring?**?**@Am@@@l@@A@BCDEFG@@|@(6Newring_plugin.Newring<*9*V<*9*n@A}@)@@@B!CE}FG@@{@(6Newring_plugin.Newring9)* 9)*"@ǐA@8@@4@@ABCDEFG@@z@(6Newring_plugin.Newring8))8))@A@I@@##@@ABCDF%G@@y@(6Newring_plugin.Newring7))7))@A@Y@@320@1@A-BCD(%F5G@@x@(6Newring_plugin.Newring5))5))@%A@i@@42.e*@)@A"@BCD!.EFFG@@w@(6Newring_plugin.Newring!4)G)b"4)G)@EA@z@@!E.@.@A+B%![ - _@@@հ!"ev@@![ - 9![ - ;@@@ @@@ A@@A@A@@A@A@(y6Newring_plugin.Newring!a 2 K!a 2 Z@@'TacticsA0tactic_reduction@@A#\#map@@!`  ,!`  /@@@ >@@@ A@@A@ A@@A@C@(yp6Newring_plugin.Newring!a 2 4!a 2 l@@@@ J@@ A@(yP6Newring_plugin.Newring!d  !d  @&@@66A#7#map@@" c n " c n @@8"id@@"c n "c n @@@ f@@@ A@@B@@AB@ 4A@@A@D@(y(6Newring_plugin.Newring"d  "d  @@@@ t@@B@(x6Newring_plugin.Newring"$k [ ]"%n`@@@#H!t@@"-i * :".i * ;@@I!l@@"3i * <"4i * =@@@,Quote_pluginA@ @@@ A@@B@@AB@@B@(x6Newring_plugin.Newring"BnZ@@"PpA!t@@HIA,J%sigma@@#EvdA(evar_map@@GG-@"`k [ z"ak [ @@K!l@@&ConstrA&constr@@I4@@3I/@"vl  "wl  @@L"cs@@,Quote_pluginA%Quote@)ConstrSetG!t@@I@"m  "m  @@@ @@@C@@A0B@@BA@@AB@gB@@oA@@AB@C@(x6Newring_plugin.Newring"nBx@@AN@ @@C@(x6Newring_plugin.Newring"n("n<@@AU@ @@C@(x6Newring_plugin.Newring"n"n"@#@@H!HCd@ @@'C@(xh6Newring_plugin.Newring"n@@Aj@ @@-CA(xd6Newring_plugin.Newring"m  "m  @ACs@ @@@6@A4@B3@B (x$6Newring_plugin.Newring"m  @@A}@ "@@ BA(x6Newring_plugin.Newring"l  "l  @AB@ ,@@@G@AF@A (w6Newring_plugin.Newring"l  @@@@ 5@@ A@(w6Newring_plugin.Newring""@"Id@!t@@4*4/A$r5!l@ ]@"|"|@@6'tacname@@@5@#}#}@@7'tacname@T@@5@#NT#N[@@]!l@X2@#LocA'located 4@@5@@5@@5@#.#/@@@ @@@"D@A@@1C>B@@AB@@F@(w6Newring_plugin.Newring#>#?t@ @@4S 47@@4U@@4T@4R4_@@4^Bh@ @@*D@(wl6Newring_plugin.Newring#_ #` r@@&GenargA0generic_argument 4@@55B~@ @@@E@(w\6Newring_plugin.Newring#u &#v G@ 6abstract_argument_type@(TactypesA4glob_constr_and_expr@@5C5 5@@55A@ @@^F@(w86Newring_plugin.Newring# I# k@@$DAstA!t@)Glob_termA-glob_constr_rࠠ#any@@@5B@A@@5A5E@@5G6Ġ5@@56`A@ @@F@(w 6Newring_plugin.Newring%@A@ @@@#arg@H@@AB@@H@(w6Newring_plugin.Newring# Z8@@%NamesA"Id@!t@@7679A@ /@@F@(v6Newring_plugin.Newring#t#t@!4@@55B@ @@@E@(v6Newring_plugin.Newring#t#t@{I$list@@)MisctypesA&or_var@#LocA'located!o@@5@@57@@55!M55@@55A*@ q@@F@(v6Newring_plugin.Newring$!t$"t@!Y+genarg_type3@(LibnamesA)reference@@67@@66E6H!0global_reference@@67@@66@@66A^@ @@ F@(v6Newring_plugin.Newring$U$Vt@@Ae@ @@'DA(v6Newring_plugin.Newring$^$_@ABn@ @@@/.B@@C (vh6Newring_plugin.Newring$i@@Aw@ @@ C@(vX6Newring_plugin.Newring$oNP@@A|@ @@@>@;@AB@@B@(vL6Newring_plugin.Newring$x}#@@@@ @@@G@A@@A@(v<6Newring_plugin.Newring$$@bB^"gr@!@$$@@@ @@@ A@@A@@A@(v$6Newring_plugin.Newring$@@@@ @@ A@(v6Newring_plugin.Newring&@@@ @@@#eta@A@@A@A@@A@A@(u6Newring_plugin.Newring$$@@A&(!c@!@$dk$dl@@#env@@'EnvironA#env@@TE@$ou$ox@@%sigma@ b(evar_map@@\Y@$$@@%sigma@!@@b@$$@@!c@!@@c@$$@@@ 9@@@%@D@@AECA@@B>B@@#F2C@@AC@@F@(u6Newring_plugin.Newring$$@.$@dǐCY@ V@@@@A@@AB@@C@(u6Newring_plugin.Newring% f@@Ac@ `@@ CA(u6Newring_plugin.Newring%%@AAl@ j@@@+@+@AB@@B (u6Newring_plugin.Newring%z@@Av@ t@@ BA(u6Newring_plugin.Newring%&o{%'o@AA@ ~@@@?@A@@A (u6Newring_plugin.Newring%1oq@@@@ @@ A@(u6Newring_plugin.Newring%7]c%8]@@#EvdA8in_evar_universe_context" @@D&Ű!c@"@%K %L @@#env@@@@%V%%W(@@%sigma@@@@%a;A%b;F@@@ @@@!A@@AB@@C@@AB@@C@(ul6Newring_plugin.Newring%o]_8@@A,@ @@ CA(uh6Newring_plugin.Newring%w;I%x;Y@AA5@ @@@@@AB@@B (uX6Newring_plugin.Newring%;=L@@A?@ @@ BA(uT6Newring_plugin.Newring%+%7@AAH@ @@@*@A@@A (u@6Newring_plugin.Newring%!_@@@Q@ @@ A@(u,6Newring_plugin.Newring%}%@@%NamesA(ConstantP!t@@jE'3"na@"q@%%@@%univs@"k@%%@@!c@"a@%%@@@&ConstrA#env@@@@%%@@$vars@"$LSetA!t@@@%%@@^%univs@"*ContextSetg!t@@NJ@%%@@_%univs@@'EntriesA8constant_universes_entry@@]\@&NT&NY@@@ W@@@GA@@@D@@ABVC@@G+FVB@@>E@@ABC@@G@(u6Newring_plugin.Newring&}&}@@%NamesA"Id@!t@@)Az@ {@@$L@(t6Newring_plugin.Newring&+&,@90definition_entry@+Safe_typingA1private_constants@@0œ@@ސG@ @@?K@(t|6Newring_plugin.Newring&F}@@A@ @@EG@(tp6Newring_plugin.Newring&LNP@@A@ @@KG@DABC@@FA(tl6Newring_plugin.Newring&W&XJ@AB@ @@XT@ONBC@@E (tX6Newring_plugin.Newring&c@@A@ @@ EA(tT6Newring_plugin.Newring&k&l @AB@ @@lh@c@AC@@D (t@6Newring_plugin.Newring&w@@A@ @@ DA(t<6Newring_plugin.Newring&&@AA@ @@@@A}B@@C (t(6Newring_plugin.Newring&@@@@ @@ C@(t 6Newring_plugin.Newring&W_&W@u"٠"@@@@A(##tac@#.@&'5&'8@@$args@##@@ĵ@@Ĵ@&':&'>@@@ @@@A@@B@@AB@@B@(s6Newring_plugin.Newring(@A@@@@@D@@A  B@@D@(s6Newring_plugin.Newring&Ws&W@$(%g_ref@@~# #M@@h@@@ @@BF@<@@1B@(s6Newring_plugin.Newring&W&W@Р#r4@@3+AV@L@@AC@(s6Newring_plugin.Newring(@AZ@P@@@;@E@@AHGB@@E@(s6Newring_plugin.Newring'W'W@#Ag@]@@RC@(s$6Newring_plugin.Newring' WY|@@@m@c@@XB@(s6Newring_plugin.Newring(@@q@g@@@z@A@@A@A@@A@A@(r6Newring_plugin.Newring)@@{@q@@@@A@@A@_A@@A@A@(r6Newring_plugin.Newring'''(;@ #o#k@@Ž@@ƐA(#tac@#@'='>@@$args@#@'C'D@@@@@@ A@@B@@AB@@B@(r6Newring_plugin.Newring)5@A@@@@@D@@A  B@@D@(r6Newring_plugin.Newring'X'Y:@:#{#@@@B1@@@#B@(r6Newring_plugin.Newring'm'n2@#&lident@@AB@$CAstA@@@7C@(rt6Newring_plugin.Newring)g@A@@@@@E@@A>=B@@E@(rd6Newring_plugin.Newring'"@@%NamesA"Id@!t@@*#A!@@@TC@(rD6Newring_plugin.Newring'w@@@h@@@ZB@(r$6Newring_plugin.Newring)@@+@@@@ @A@@A@%A@@A@A@(r6Newring_plugin.Newring)@@v@@@@@A@@A@aA@@A@A@(q6Newring_plugin.Newring'!'6@%0glob_tactic_expr@@B)L!f@#@@k@'=M'=N@@$args@##@@|@@{@'=['=_@@$fold@@&ƃ@A#int@@@Ɗ(󠰖$A(constant@&@%dterm@&@%level@&@$term@&ƿ@$name@&ƽ@)reference@$A&@@@'tacexpr@&ƹ@'pattern@&Ʒ@@@@@@@ƋZ#MapJ!ta@@ƌ@ƍƇ]@@ڠ#)[@@۠z@@@ƈ@ƉƄ@ƅƂ@(e{(f{@@$args@)a$l@%%g_cst@@Rg@fq@%%g_trm@@Pe@dv@,&glevel@@Nc@b{@@@La@`~@%%g_nam@@J_@^@$à@#LocA'located%6@@V@@U]@@\@[@Z@Y@&%g_pat@@DX@W@VUTSRQPON@M@@L@@l7@(7A(7E@@$lfun@$@@oi@@m8@(7G(7K@@$lfun@$@@ɐɁ@@ɀ{@((@@#ist@ @@bɔ@))@@@Y@@@% @D@@AF;A@@BEB@@2C@@AH@@-G@E@@ABC@%oA@@A@H@(q6Newring_plugin.Newring)e@@A[@s@@H@(q6Newring_plugin.Newring)#)$@*ɘAe@~@@%@@@ABC@G@(q6Newring_plugin.Newring)2z@@Ao@@@ GA(q6Newring_plugin.Newring):);@ACx@@@92@0@,@ABC+@F(q6Newring_plugin.Newring)G)H@ #key@@ɃɋA@@@H@(qd6Newring_plugin.Newring)W@@A@@@F@(qP6Newring_plugin.Newring)]7O)^7~@t@@k6@9j>C@@@@f@Ae@c@AB]@C@(q6Newring_plugin.Newring)x79@@A@@@ C@(p6Newring_plugin.Newring)~{}@@@@@@@u@u@ABl@B@(p6Newring_plugin.Newring))0@*Cɰ#arg@@){){@@!i@@){){@@$vars@@){){@@$lfun@e@){){@@"id@!t@@ƖƓ@))@@!x@%@@İ@@°@@@@ƾ@@Ƽ@%@@ƻ@ƺ@@Ƹ@@ƶ@ƵƴƳƲƱưƯƮƭ@Ƭ@@ƫƪ@))@@@A@@@aB@@A\E@@LF@@ABSC@@%param@A@@A_D@@HG@@ABC@@G@(p6Newring_plugin.Newring**1@@Ay@Y@@G@(p6Newring_plugin.Newring* * @@@ϐB@$CAstA@k@@*$@"@ @ABC@@F@(px6Newring_plugin.Newring*@@A@u@@ FA(pt6Newring_plugin.Newring*'*(@AA@@@@=@=@AB:C@@E(p\6Newring_plugin.Newring*4 @&@@ƗƜB@@@E@(pD6Newring_plugin.Newring*A*B@#@@ƝƤA@@@!E@(p46Newring_plugin.Newring*PN@@A@@@'EA(p6Newring_plugin.NewringUAA@@@@@k@Ad@B@@B (o6Newring_plugin.Newring*a*b@@A+#env@& @*k8G*l8J@@%sigma@&@*q8K*r8P@@"gl@& @@h@*|SZ*}S\@@%sigma@@#EvdA(evar_map@@j@*S_*Sd@@@@@@% }@C@@A.B@@%E@@AD.A@@BC@@E@(o6Newring_plugin.Newring*im*i@1@'EConstrA&constr@@i2@kҐDO@ @@@$@A@B@@B@(o6Newring_plugin.Newring*i*i@@'EnvironA1named_context_val@@Ae@@@G@(o6Newring_plugin.Newring*SUn@@@k@%@@B@(od6Newring_plugin.Newring*:F*:j@@A,\$!v@&Z@**@@@3@@@%k @B@@A A@@B@@B@(oL6Newring_plugin.Newring**9@@A%!c@%&constr@@E$>@**@@@N@@@@AC@@@AB@@C@(o46Newring_plugin.Newring++ @J&option@@@5@@4A:@f@@@0@A@@A@(o6Newring_plugin.Newring+C@@@B@n@@A@(o6Newring_plugin.Newring++&@@A +$args@ @+(2<+)2@@@,#ist@ @+.2A+/2D@@-!n@&Z@@̙)̂@+9GO+:GP@@.$init@@O@@)̦&@@)̧@̨)̥@+N+O@@@@@@1B@@D@@AB.A@@*C@@AC@&A@@A@D@(n6Newring_plugin.Newring+`+a @& &@@))ߐBJ@@@D@(n6Newring_plugin.Newring+oQ@@AP@@@ D@(n6Newring_plugin.Newring+uW@@AU@@@@&@A#"B @CA(n6Newring_plugin.Newring+GS+G@ABa@@@ /@B,@B (n6Newring_plugin.Newring+Gh+G@@&GenargA@&B-1#env@'>@,aq,at@@2#evd@';@, au, ax@@3!n@'8@,ay,az@@4!f@'2@,a{,a|@@5$args@'+@,a},a@@6$fold@@'/@@1͑@B@@1͘-2(?@*@>@+@=@+@<@+ @;@+@:@(z+@@@9@+@8@+$@@@@@1@@1͙7'@@1@@1͚@͛1͕8@@1蠰'`S@@1頰T@@ 1@1͖@͗1͒@͓1͐@,,@@>$args@-(䠰@7@@0г0Z@Y@5@@0б0X@W@3@@0Я0V@U@G@@0Э0T@S@1@@0Ы0R@Q@(򠰖/)`@@0з@@0ж0P@@O@N@2@@030M@L@-@@0Х0K@J@IHGFEDCBA@@@@?@@_1*@-R\-R`@@?$lfun@Ġ(@@\@@`1+@-Rb-Rf@@@#ist@@@w1m@--@@A#lid@+䠰y@@Θ1Ώ@@Ύ1Ί@-,-- @@C!n@*f0generic_argument*m@@ν1δ@@γ1ί@-?IO-@IP@@D'get_res@**@0@*@0@*@*@@!1@߰*@0@ݰ*@0@۰*@@@0Щ0@ٰ*@0@װ*@0@հ@̐@@@1@--@@E&getter@)ʠ@0A@@@0?@>@0=@<@0;@:@09@8@>07@6@++@p0\@[+@o0Z@Y*@*@@ϥ1X@W*@n0V@U*@m0T@S*@l0R@Q*@h0P@O*@g0N@M@LKJIHGFED@C@@B15@4@03@2@10/.-,+*)@(@@'1&@--@@G"gl@))@@@@1@.17.19@@H#gls@@#EvdA%sigmaI$list@@$EvarA!t@@@@@@1@."RX.#R[@@#evd@((evar_map@@1Һ@./.0@@"nf@@@&ConstrA&constr@@ð).@@@1һ@.D.E@@"nf@@)@@1Ȱ)B@@1@1@.X .Y @@@@@@%0K@Q%RN@G@@AINA@@BgE@@GSeD@@ACZB@@SF@@A3M@@N@@ABO@@vP@@AjJ@@BCzH@@cK@@ARLtC@@>TUR@@ABDE@*C@@*HB@@AB)E@@+A@@A)D@@BC@U@(m6Newring_plugin.Newring.$@.$\@)yA@@@>T@(m6Newring_plugin.Newring@@A@@@CT@(m6Newring_plugin.Newring.@@A@@@I98,+)@$@ABDE#@S@(m6Newring_plugin.Newring..@@Ҽ1ҿA@ @@@Z@AX@BU@R@ACQPDCA@BDE:@P@(m|6Newring_plugin.Newring.@((evar_map@@12ӾA@#@@P@(ml6Newring_plugin.Newring.?@@A@)@@PA(mh6Newring_plugin.Newring.R^.R@AB@3@@'trppn@k@ABCj&DE_@O(mP6Newring_plugin.Newring.Rv.R@,l*@@121@@1 11B@N@@P@(m46Newring_plugin.Newring.R.R@0@B@Y@@&P@(m$6Newring_plugin.Newring/ R/ R@+~+}@@3C@@3B3NB"@k@@8P@(l6Newring_plugin.Newring/RT@@A(@q@@>OA(l6Newring_plugin.Newring/#1</$1N@AB1@{@@o@@A@BCnDE@N(l6Newring_plugin.Newring/213@@A>@@@ N@(l6Newring_plugin.Newring/8/9@+(4$name@@1ϋ1@@11σBV@@@@@ABCD@N@(l6Newring_plugin.Newring/V@@Aa@@@ M@(l6Newring_plugin.Newring/\/]@ >*@@1砰 +(@@1@@1@11@@1B~@@@ @@@ABCD@L@(lX6Newring_plugin.Newring/@@A@@@ LA(lT6Newring_plugin.Newring/IS/I@AB@@@ @BCD @K(lD6Newring_plugin.Newring/Ia/I@ *1εg@@1ζ1λA@@@L@(l(6Newring_plugin.Newring/IK@@A@@@KA(l 6Newring_plugin.Newring/ /E@AB@@@G<:@5@ACD0@J(k6Newring_plugin.Newring/'@@A@@@ J@(k6Newring_plugin.Newring//@1qA@@@]@Z@AQBDF@I@(k6Newring_plugin.Newring/<@@A@&@@ I@(k6Newring_plugin.Newring/Rj/R@@@^1)E@,1]11C@=@@@@A0B@}@An@BCi@F@(kl6Newring_plugin.Newring/RT_@@A@I@@ F@(kT6Newring_plugin.Newring/e@@@@O@@@}@ACx@E@(k6Newring_plugin.Newring0 #0 K@nC7#arg@@00@@8!i@@00@@9$vars@@00@@:$lfun@@0"0#@@;"id@{@@ͤ2͡@0-0.@@"{"2?"{"@@#rel@1@@ՐՍ@2I""2J""@@@@@@6@AD@@B(E@@F@@A98BC6@F@(g6Newring_plugin.Newring2Y##2Z##8@+A5@@@G@(g6Newring_plugin.Newring2a##92b##U@+A=@@@F@(gl6Newring_plugin.Newring2i##2j##V@@AD@@@ F@(gd6Newring_plugin.Newring2p""2q"# @@@BR@@@.F@(gH6Newring_plugin.Newring2~""Y@@AX@@@4FA(gD6Newring_plugin.Newring2""2""@AAa@@@>=@=@ABrqCo@E(g(6Newring_plugin.Newring2""2""@,2@@Ք@@Փ՞Cx@@@E@(f6Newring_plugin.Newring2""@@A~@@@E@(f6Newring_plugin.Newring2"{"2"{"@@A@@@$E@(f6Newring_plugin.Newring2"Y"a2"Y"u@@&ConstrA,kind_of_term2*@@O2.@@P23&ESorts@!t@@Q2;)EInstanceA!t@@R@@NB@+@@@@A@B@B@(fl6Newring_plugin.Newring2"Y"[@@@@4@@ B@(fD6Newring_plugin.Newring2$% 2$%@@@4~!d@,',%@@֊ր@2$%2$%@@@I@@@A@@A@,QA@@A@A@(f 6Newring_plugin.Newring2%%2%& @@@4!c@,(@3%%3%%@@@\@@@ A@@A@,SA@@A@A@(f 6Newring_plugin.Newring3%%3%&@@@ېA@o@@@$@A@@A@ B@@,iA@@AB@A@(e6Newring_plugin.Newring3'%%3(%&@0@@C.@@@A@(e6Newring_plugin.Newring33&&!34&&_@@@4ϰ!c@,C@3:& &3;& &@@@@@@ A@@A@,A@@A@A@(ep6Newring_plugin.Newring3F &&3G &'@@@4!s@,*@3M&&3N&&@@@@@@ A@@A@,LA@@A@A@(e86Newring_plugin.Newring3Y &'3Z &'@,P%LabelE!t@@[A@@@@$@A@@A@$B@@,fA@@AB@A@(d6Newring_plugin.Newring3s"''03t"''Y@@@5L!l@,9@3{"''*3|"''+@@M!s@,.@3"'',3"''-@@@@@@B@@A A@@B@@B@(d6Newring_plugin.Newring3#'\'l3#'\'@@@5-O!s@,$@3#'\'h3#'\'i@@@@@@ A@@A@,bB@@-A@@AB@A@(d6Newring_plugin.Newring3F+g+m3F+g+@+=_NB5X_'arg_map@+V@3C++"3C++)@@`%sigma@+3@3C++*3C++/@@a!c@+0@3C++03C++1@@b#req@30@@3_+@3D+4+;3D+4+>@@@@@@$@D@@A%C@@BA@@E@@A$B@@BC@-aC@@A3^A@@2B@@AB@G@(dl6Newring_plugin.Newring3G++3G++@4ڠ++W@^B^F@@_G_gBH@E@@'E@(dD6Newring_plugin.Newring3E+Z+\3G++@@AO@L@@.E@(d86Newring_plugin.Newring3D+4+F3D+4+V@C3t@@4_,3z@@5_-@._2Bh@f@@@E@AD@A@AB@@C@(d(6Newring_plugin.Newring4D+4+6%@@@r@p@@ C@(d 6Newring_plugin.Newring4 G++4!G++@+A}d!c@+@4)G++4*G++@@e#map@+@4/G++40G++@@@@@@C@@A B@@f @@A@@AB@@D@(c6Newring_plugin.Newring4>G++4?G++@@A@@@CA(c6Newring_plugin.Newring4GG++4HG++@A@@@@@@A@@A (c6Newring_plugin.Newring4QF+g+4RF+g+@@A@@@@c ^@A@@A@@AB(cx6Newring_plugin.Newring4^F+g+4_F+g+@@A@@@ A (ch6Newring_plugin.Newring4fF+g+4gF+g+@A@@@@A(c\6Newring_plugin.Newring4nJ,,4oJ,,J@36+Ġ+@gۡ@@g۠gۧB6*h'arg_map@+@4I++4I+,@@@@@@ C@@Am @Bl @A@@B@3[A@@A@C@(c06Newring_plugin.Newring4J,, %@@@@@@C@(c6Newring_plugin.Newring4J,,/4J,,;@+A"i!c@+@4J,,$4J,,%@@j#map@+@4J,,&4J,,)@@@@@@C@@A B@@k @A@@AB@@D@(b6Newring_plugin.Newring4J,,.4J,,@@@A@@@CA(b6Newring_plugin.Newring4J,,4J,,A@A@F@@@@@A@@A (b6Newring_plugin.Newring4Y..4Y..@@A6z@!@@@x @A@@A@@AC(b6Newring_plugin.Newring4Y..4Y..@@A6@.@@ A (bt6Newring_plugin.Newring4Y./4Y./@@A6@6@@A(a6Newring_plugin.Newring4Y..4Y./@A@6@>@@A(a6Newring_plugin.Newring4V..K4V..N@@A6@F@@@w @A@@A@@AC(a6Newring_plugin.Newring4V..?4V..C@@A6@S@@ A (a6Newring_plugin.Newring5V..R5V..V@@A6@[@@A(`6Newring_plugin.Newring5 V..!5 V..W@A@6@c@@A(`6Newring_plugin.Newring5T--5T--@@A6@k@@@v !@A@@A@@AC(`6Newring_plugin.Newring5!T--5"T--@@A6@x@@ A (`6Newring_plugin.Newring5)T--5*T--@@A6@@@A(`l6Newring_plugin.Newring51T--52T--@A@6@@@A(``6Newring_plugin.Newring59Q,-(5:Q,-,@@@6@@@@u F@A@@A@@A@(`T6Newring_plugin.Newring5DP,,5EP,,@@@6@@@@t Q@A@@A@@A@(`H6Newring_plugin.Newring5OO,,5PO,,@@A6@@@@s \@A@@A@@AB(`<6Newring_plugin.Newring5\O,,5]O,,@@A7 @@@ A (`,6Newring_plugin.Newring5dO,,5eO,,@A@7@@@A(` 6Newring_plugin.Newring5lN,r,5mN,r,@@A7@@@@r y@A@@A@@AC(`6Newring_plugin.Newring5yN,r,5zN,r,@@A7)@@@ A (`6Newring_plugin.Newring5N,r,5N,r,@@A71@@@A(_6Newring_plugin.Newring5N,r,5N,r,@A@79@@@A(_6Newring_plugin.Newring5c0065c00O@@@7EE!r@'E@5c0025c003@@@@@@ A@@A@,A@@A'B@@B@A@(_6Newring_plugin.Newring5u235u23@'AiAfAcA7c#env@'Q@5e0Q0i5e0Q0l@@%sigma@'I@5e0Q0m5e0Q0r@@!l@'A@5e0Q0s5e0Q0t@@@@@@C@@A A@@B@@AB@'A@@A@C@(_6Newring_plugin.Newring+@A"@%@@ C@(_6Newring_plugin.Newring5s2r2~5t22@@@ B4!t@'a@5g005g00@@#cl'@6'j@@@5g005g00@@"ty@'q%types@@p@5h005h00@@%check@@'@@ꃰ7*@@@@6i006i00@@@i@@@G@@A3D@@U@$a@H@@ABCW@W@A@E@@2F@@ABDY@H@(_t6Newring_plugin.Newring6(s2r26)t22@@@BS@@@I@(_d6Newring_plugin.Newring66t22@@@ &B`@@@*J@(_T6Newring_plugin.Newring6Ct22@@@(.Bm@@@7K@(_D6Newring_plugin.Newring(6Ps2r2@@@05Az@@@DL@(_,6Newring_plugin.Newring6]t22@@@/@@@)CA(\6Newring_plugin.Newring7w33#OAA@9K@@@@0@0@AB,@B (\\6Newring_plugin.Newring777788@@A9e%subst@(@7|337|33@@"th@(@7|337|33@@"c'@@&ConstrA&constr@@@7}337}33@@#eq'@&constr@@ @7~337~33@@ $set'@ @@HC@74 474 4@@ $ext'@@@WR@7484>7484B@@ &morph'@#@@fa@74d4j74d4p@@ #th'@.@@up@844844@@%thm1'@9@@@844844@@%thm2'@D@@@844844@@$tac'@5s0glob_tactic_expr@@@8'55$8(55(@@(pow_tac'@ @@@825Y5_835Y5g@@'pretac'@@@@8=558>55@@(posttac'@#@@@8H558I55@@@@@@D@@AE@@nG@@eH@@ABC]@A@@O@@A4M@@B*N@@F@@ACC@@IL@@AB@@BlI@@cJ@@ZK@@ABCDE@@O@(\L6Newring_plugin.Newring8o7u78p7u7@@A@@@'O@([ 6Newring_plugin.Newring8v6O6T8w6O6t@X@@$*B@@@6O@(Z6Newring_plugin.Newring866@@A@@@@;@A:9B75C10DE@@N(Z6Newring_plugin.Newring855@@A@@@ NA(Z6Newring_plugin.Newring855855@AB@@@]U@R@AO@BNLCHGDE@@M(Zl6Newring_plugin.Newring855@@A@ @@ MA(Zd6Newring_plugin.Newring85Y5i85Y5@AB@ @@tl@e@AdbC^]DE@@L(Z@6Newring_plugin.Newring85Y5[(@@A$@ @@ LA(Z86Newring_plugin.Newring855*855U@AB-@ )@@y@u@ABtsCD@@K(Z6Newring_plugin.Newring855 >@@A9@ 5@@ KA(Z 6Newring_plugin.Newring844845@ABB@ ?@@+@@ABCD@@J(Y6Newring_plugin.Newring844T@@AN@ K@@ JA(Y6Newring_plugin.Newring844844@ABW@ U@@A@@@ABCD@@I(Y6Newring_plugin.Newring9 44j@@Ac@ a@@ IA(Y6Newring_plugin.Newring944944@ABl@ k@@W@@ABD@@H(Y6Newring_plugin.Newring9 44@@Aw@ v@@ HA(Y6Newring_plugin.Newring9(4d4s9)4d4@AB@ @@@@ABC@@G(Y6Newring_plugin.Newring954d4f@@A@ @@ GA(Y6Newring_plugin.Newring9=484E9>484`@AB@ @@@B+C@@F (Yl6Newring_plugin.Newring9I484:@@A@ @@ FA(Yh6Newring_plugin.Newring9Q4 49R4 44@AB@ @@ @@AB?C@@E(YP6Newring_plugin.Newring9^4 4 @@A@ @@ EA(YL6Newring_plugin.Newring9f~339g~34@AB@ @@@@A@BTC@@D(Y46Newring_plugin.Newring9s~33@@A@ @@ DA(Y06Newring_plugin.Newring9{}339|}33@AB@ @@@-@A"hB@@C (Y6Newring_plugin.Newring9}33@@A@ @@ CA(Y6Newring_plugin.Newring9|33AA@;D@ @@@>@A@@A (X6Newring_plugin.Newring999)999:@@A;Q$name@@999999"@@"th@@999#999%@@@ @@@C@@A@A@@B@@AB@+ A@@A@CA(X6Newring_plugin.Newring999!AA@;o@!@@@@A @A (X6Newring_plugin.Newring9: :.9: ::@@@,!x@@9: :)9: :*@@@! @@@ A@@A@@A@(X6Newring_plugin.Newring999999@@A*!i@9@@@999999@@+!o@@(LibnamesA+object_name@@@@999999@@@!M@@@&B@@AA@@B@=A@@A@B@(X6Newring_plugin.Newring:991@@@0@!Z@@ B@(Xx6Newring_plugin.Newring: ;;: ;;@@A;ư.#env@+!@::?:V::?:Y@@/#evd@+@::?:Z::?:]@@0!a@+ @: :?:^:!:?:_@@1!r@+@:&:?:`:':?:a@@@!}@@@B@@D@@ABC@@$Q@E@@AA@@BC@4B@@A:KA@@4aC@@AB@E@(XL6Newring_plugin.Newring:?;P;V:@;P;@+B>2#evm@+H-[@:P:j:r:Q:j:u@@3#evm@+P(evar_map@@L.c@:]:::^::@@4$refl@+N&constr@@M.d@:j:::k::@@5#evm@+j(evar_map@@c.Z@:w:::x::@@6#sym@+h&constr@@d.[@::::::@@7#evm@+(evar_map@@{.r@::;::;@@8%trans@+&constr@@|.s@::; ::;@@@!@@@$U@P$Y@M$]@J@@AB~@*RFObLlI@@A@ZK@@AAN@@)Q@@ABCD@R@(X 6Newring_plugin.Newring@A|@"@@R@(X6Newring_plugin.Newring:;>;D@@A@"@@%R@(W6Newring_plugin.Newring::;::;:@I=@t.zD@")@@@1@AB@*@A@$@$@ABCD@O@(W6Newring_plugin.Newring::;@@A@"7@@O@(W6Newring_plugin.Newring::::::@t@\.bD@"F@@@K@AB@E@A@A@ABC@L@(WX6Newring_plugin.Newring:::@@A@"S@@ L@(WD6Newring_plugin.Newring;::;::@@e.KD@"b@@@]@A@BC@I@(W6Newring_plugin.Newring;::@@A@"l@@ I@(V6Newring_plugin.Newring;:d:f@@@@"r@@@@AC@D@(V6Newring_plugin.Newring;%;;;&;<(@@@<:!r@+@;3;;;4;;@@;#add@+@;9;;;:;;@@<#mul@+@;?;;;@;;@@=#opp@+@;E;;;F;;@@>#req@+@;K;;;L;;@@?"m1@+@;Q;;;R;;@@@"m2@+@;W;;;X;;@@A"m3@+@;];;;^;;@@@"@@@0G@@AC@@B@@ABA@@1F@@A,E@@AH@@A*D@@BCD@3B@@5A@@AB@H@(VX6Newring_plugin.Newring;y;<*@A@$"@@ZQ@P@e@Q@@ABCRDIHE=@Q@(U6Newring_plugin.Newring<N N@@"PpA!t@@KLB)@$<@@2O@(U6Newring_plugin.Newring<N N <!NO@[@@LMB7@$J@@@P@(U6Newring_plugin.Newring< NN@h@@MNBD@$W@@MQ@(U6Newring_plugin.Newring= NN@u@@NOBQ@$d@@ZR@(U6Newring_plugin.Newring(= NN@@@OPB^@$q@@gS@(Up6Newring_plugin.Newring5=!NhN@@@P Q&Bk@$~@@tT@(U`6Newring_plugin.NewringB=.NhN@@@Q(R.Bx@$@@U@(UP6Newring_plugin.NewringO=;N Nd@@@R0S6B@$@@V@(U@6Newring_plugin.Newring\=HN N[@@@S8T>B@$@@W@(U06Newring_plugin.Newringi=UN NQ@@@T@UFB@$@@X@(U 6Newring_plugin.Newringv=bN N4@@@UHVMA@$@@Y@(U6Newring_plugin.Newring=oN N6@@@UGVVC@$@@X@(T6Newring_plugin.Newring=|N NT5@@@T?UiA@$@@W@(T6Newring_plugin.Newring=N N_O@@@S7TqA@$@@V@(T6Newring_plugin.Newring=NhNi@@@R/SyA@$@@U@(T6Newring_plugin.Newring=NhN@@@Q'RC@%@@T@(Tp6Newring_plugin.Newring= NN@@@PQA@% @@S@(TX6Newring_plugin.Newring= NN@+@@OPA@%@@R@(TD6Newring_plugin.Newring= NN@8@@NOA@%'@@Q@(T,6Newring_plugin.Newring=!NN@E@@MNC!@%4@@*P@(T6Newring_plugin.Newring=!NO=!NO@S@@LMA/@%B@@8O@(S6Newring_plugin.Newring=MM="O"OQ@@A6@%I@@?O@(S6Newring_plugin.Newring=L#L'=MM@:@@J]BF^#opp@.GI6@>  JK>  JK@@_%opp_m@@@EK>@> K K> K K@@`)opp_m_lem@'9@@FK?@> K K>  K K @@a(op_morph@=@@K@>*KK>+KK@@@%@@@$<@Q@AB@@S@@ABCD6P@)R@@A@BCE@S@(S6Newring_plugin.Newring@)@AB@%@@@@c@U@@ABCDE@U@(S6Newring_plugin.Newring>OLPLdV@u@@KLҐBW@%@@+S@(S6Newring_plugin.Newring>\LPLe>]MUM@@@LMڐBe@%@@9T@(S6Newring_plugin.Newring>jMUM@@@MNBr@%@@FU@(St6Newring_plugin.Newring>wMUM{@@@NOB@%@@SV@(Sd6Newring_plugin.Newring(>MUMt@@@OPB@%@@`W@(ST6Newring_plugin.Newring5>LMR@@@PQB@%@@mX@(SD6Newring_plugin.NewringB>LM/@ @@QRB@%@@zY@(S46Newring_plugin.NewringO>LM%@@@RS B@&@@Z@(S$6Newring_plugin.Newring\>LM@&@@S TB@&@@[@(S6Newring_plugin.Newringi>LL@3@@TUB@&"@@\@(S6Newring_plugin.Newringv>LL@@@@UV"B@&/@@]@(R6Newring_plugin.Newring>LPL@M@@V$W*B@&<@@^@(R6Newring_plugin.Newring>LPL@Z@@W,X2B@&I@@_@(R6Newring_plugin.Newring>LPL@g@@X4Y:B@&V@@`@(R6Newring_plugin.Newring?LPLy@t@@Y<ZAA@&c@@a@(R6Newring_plugin.Newring?LPL|@@@Y;ZJC@&p@@`@(R6Newring_plugin.Newring? LPL5@@@X3Y]A(@&}@@_@(Rh6Newring_plugin.Newring?-LPLO@@@W+XeA5@&@@ ^@(RT6Newring_plugin.Newring?:LLi@@@V#WmAB@&@@]@(R<6Newring_plugin.Newring?GLL@@@UVwCO@&@@#\@(R6Newring_plugin.Newring?TLM@@@TUA\@&@@0[@(Q6Newring_plugin.Newring?aLM @@@S TAi@&@@=Z@(Q6Newring_plugin.Newring?nLM(@@@RSAv@&@@JY@(Q6Newring_plugin.Newring?{LM1@@@QRC@&@@WX@(Q6Newring_plugin.Newring?MUMm@@@PQA@&@@dW@(Q6Newring_plugin.Newring?MUMv@@@OPA@&@@qV@(Qt6Newring_plugin.Newring?MUM}9@@@NOŐA@&@@~U@(Q\6Newring_plugin.Newring?MUMS@@@MNϐC@' @@T@(Q46Newring_plugin.Newring?MM?MM@+@@LMA@'@@S@(Q$6Newring_plugin.Newring?MM@@A@' @@SA(Q6Newring_plugin.Newring?KK?KL@AH@'*@@U CD@@R (P6Newring_plugin.Newring?KK@@A@'4@@ R@(P6Newring_plugin.Newring?KK?KK@ܠ@@A@'A@@yl@k@$5 ^@Q@@ABm;CDgE\@Q@(P6Newring_plugin.Newring@A@'M@@ Q@(Pt6Newring_plugin.Newring?K#K+?K#Km@KDB@'X@@NxDm@T@(O6Newring_plugin.Newring@  K K @ MM@@A @'a@@ P@(O6Newring_plugin.Newring@ JJV@@AT@'g@@]O@(O6Newring_plugin.Newring@ JtJ@ JtJ@Ƞ@A_@'t@@@@AB@@A$= @N@@@ABCD@N@(O6Newring_plugin.Newring@Am@'@@N@(Ox6Newring_plugin.Newring@2J#J1@3J#JW@JBx@'@@@@@ABCD@Q@(OL6Newring_plugin.Newring@BJ J @@A@'@@ M@(O(6Newring_plugin.Newring@HII@IIJ@@АA@'@@@@A@@AB@$E @L@@A@BCD@L@(O6Newring_plugin.Newring@A@'@@L@(N6Newring_plugin.Newring@cI{I@dI{I@JԐB@'@@0CD@O@(N6Newring_plugin.Newring@qIcId@@A@'@@ K@(ND6Newring_plugin.Newring@wII@@A@'@@@@@ABCD@JA(N@6Newring_plugin.Newring@HH@HI@AD@'@@@@ABD@I(N06Newring_plugin.Newring@HH@HI @1@@JKA@'@@O@(N6Newring_plugin.Newring@HH@@A@'@@I@(M6Newring_plugin.Newring@HH@HH@@AQ!f@@@@~Jn@@G-G8@G-G9@@R&setoid@@)@@J@@GyG~@GyG@@S(op_morph@@4@@J@@GG@GG@@U&setoid@0@@jJ@@HLHQ@HLHW@@V(op_morph@1@@{Jv@@HH@HH@@@(8@@@$N!@Jm@AkBe@CL@@A$P#len@K@@k@P5N@@ABCDjif@d@.OFM@@ABCEd@PA(M6Newring_plugin.NewringAHHAHH@AC^@([@@#@@@ABCDEt@O(M6Newring_plugin.NewringAHHm@@Ak@(h@@ OA(M6Newring_plugin.NewringAHLHZAHLH}@ACt@(r@@@@'@ABCE@N(M6Newring_plugin.NewringA(HLHM@@A@(~@@ N@(M6Newring_plugin.NewringA.H H#A/H HH@jC@(@@OJH@@ABCD@M@(Md6Newring_plugin.Newring@A@(@@ M@(MT6Newring_plugin.NewringA@GGAAGH @|CT#opp@1w@AIGGAJGG@@@(@@ N0D@N@(M6Newring_plugin.Newring@A@(@@N@(L6Newring_plugin.NewringAXGG@@A@(@@'MA(L6Newring_plugin.NewringA`GyGAaGyG@AC@(@@1D@L (L6Newring_plugin.NewringAkGyGz@@A@(@@ L@(L6Newring_plugin.NewringAqG-GIArG-Gu@@@IIC@(@@L@(L6Newring_plugin.NewringAG-Gb@@@@IJA@(@@#L@(L86Newring_plugin.Newring@A@(@@'L@(K6Newring_plugin.NewringAG GAG G'@ݠA@@YA@@Z@@[@@\@@XB@(@@@+@A(@B%oC"D@H@(K6Newring_plugin.NewringAG G @@A@)@@ HA(Kd6Newring_plugin.NewringAA@Cq@) @@@8@A5@-@AB$@C (KD6Newring_plugin.NewringC@@@)@@@b)@A@@A@~A@@A@A@(K06Newring_plugin.NewringC@@ @) @@@d3@A@@A@A@@A@A@(J6Newring_plugin.NewringA(OOA(OP@@ACh#env@1@A%OrOA%OrO@@i#evd@1@A%OrOA%OrO@@j!r@1@A%OrOA%OrO@@k#add@1@A%OrOA%OrO@@l#mul@1@A%OrOA%OrO@@m#opp@1@B%OrOB%OrO@@n#req@1@B%OrOB %OrO@@o$eqth@1@B%OrOB%OrO@@@)e@@@$E@@8H@@ABA@@6G@@A%D@@BC C@@5F@@AB@@BD@2A@@A@H@(J6Newring_plugin.NewringB('OOB)'OO@@ASp"th@1@B/'OOB0'OO@@@)@@!@ I@@ABD@I@(J6Newring_plugin.NewringB;&OOe@@@d@)@@,H@(J6Newring_plugin.NewringBA6RRBB6RR@@ADr#env@1@BK*P PBL*P P@@s%sigma@1@BQ*P PBR*P P!@@t'th_spec@1@BW*P P"BX*P P)@@u&th_typ@ g@@\rU@Bb+P,P2Bc+P,P8@@@)@@@##T@E@@A%C@@B B@@A@@D@@ABC@:B@@A:C@@:D@@BA@@ABC@E@(JH6Newring_plugin.NewringB}5RdRlB~5RdR@@AE!f@A@@r@B3QQB3QQ@@!r@ r@B3QQB3QQ@@$zero@@B3QQB3QR@@#one@ @B3QRB3QR@@#add@@B3QRB3QR @@#mul@@B3QR B3QR @@#sub@@B3QRB3QR@@#opp@%@B3QRB3QR@@#req@+@B3QRB3QR@@@*@@@##@Fd@)Vz#add@M@@ABh@MZv!f@I@@AC#@G@@2U{#mul@N@@ACWy#one@L@@2S}#opp@P@@A\Yw!r@J@@7R~#req@Q@@ABCD@KT|#sub@O@@A#(switcher@H@@B@@mXx$zero@K@@ABCE@Z@(J@6Newring_plugin.NewringC4RR*C4RR`@ f@@qeqQC@*m@@TZ@(J$6Newring_plugin.NewringC4RRD@B@@qRr[A@*y@@`Z@(I6Newring_plugin.Newring@A@*}@@dZ@(I,6Newring_plugin.NewringC-/Q QC./Q QC@@Aar@C;-PPC<-PP@@Lr@C@-PPCA-PP@@9@CD-PPCE-PP@@a @CH-PPCI-PP@@y @CL-PPCM-PP@@n@CP-PPCQ-PP@@S@CT-PPCU-PP@@j@CX-PPCY-PP@@c@C\-PPC]-PP@@@*@@@@@AB@@AC@@A@@Az@u@ABCD@p@Am@B@@h@ABCE@Q@(I$6Newring_plugin.NewringCt.PPCu.PQ@ @@qqCN@*@@Q@(I6Newring_plugin.NewringC.PP@B@@qrAZ@*@@+Q@(H6Newring_plugin.Newring@A^@*@@/Q@(G6Newring_plugin.NewringC2QQC2QQ@@AX!f@r@C0QDQNC0QDQO@@!r@r@C0QDQRC0QDQS@@$zero@@C0QDQTC0QDQX@@#one@ @C0QDQYC0QDQ\@@#add@@C0QDQ]C0QDQ`@@#mul@@C0QDQaC0QDQd@@#req@@C0QDQeC0QDQh@@@+@@@@M@@ABd@6P@AC@N@@A'L@@6J@@O@@ABCDn@@An@m@6K@@ABCEn@P@(G6Newring_plugin.NewringC1QlQyC1QlQ@!:@@q4q CX@+A@@%P@(Gp6Newring_plugin.NewringC1QlQ@Cb@@q!r*Ad@+M@@1P@(G 6Newring_plugin.Newring@Ah@+Q@@5P@(E6Newring_plugin.NewringD,PePmD,PeP@OCt@@sCx@@tJ@@uF@@v@@rB@+m@@@@AC@D@(E6Newring_plugin.NewringD ,PePg@@A@+v@@ DA(E6Newring_plugin.NewringD(+P,P;D)+P,Pa@AE@+@@@@AB@C (E6Newring_plugin.NewringD4+P,P.@@@@+@@ C@(El6Newring_plugin.NewringD:>SSD;>SS@@AE%rkind@3}@DB9RRDC9RR@@!m@3~@DK>SSDL>SS@@@+@@@B@@AA@@B@<^B@@AA@@ABC@B@(E@6Newring_plugin.NewringD_=SSSlD`=SSS@@A%!c@ @Di=SSSgDj=SSSh@@@+@@@B@@A@B@B@(D6Newring_plugin.NewringDt<S)S;Du<S)SR@@A9@+@@@'@A&@A@(D6Newring_plugin.NewringD};SSC@@@A@+@@A@(D6Newring_plugin.NewringDGTTDGTU!@!e@ɠ@@@@@=@@@ABC;@F@(DH6Newring_plugin.NewringG*@A@,@@@!@H@@ARQBO CE@H@(D86Newring_plugin.NewringENFTTEOFTT@gA@,@@F@(C6Newring_plugin.NewringEXFTT@@A@,@@F@(C6Newring_plugin.NewringE^DTPThE_DTPT@B󠰳B@@@@Bհ"lc@I$list@@(LibnamesA)reference@@@@@ECT6TIECT6TK@@@,@@@#&q@G@@AB@ H@@A@BMCD@H@(C6Newring_plugin.NewringGv@A$@,@@@@!@J@@ABCD@J@(C6Newring_plugin.NewringEDTPTX=@@A1@,@@H@(Cd6Newring_plugin.NewringEBTTEBTT5@@A !t@22@/raw_tactic_expr@@@EBTTEBTT@@@-@@/@@H@@ABCD@H@(C06Newring_plugin.NewringEASS8@@@%@-@@F@(C6Newring_plugin.NewringG@@U@-@@@!(@A@@A@1A@@A@A@(B6Newring_plugin.NewringG@@3@-@@@!2@A@@A@A@@A@A@(B6Newring_plugin.NewringEKUiUlEKUiU@@AG#env@4@EIU#U0EIU#U3@@#evd@4@EIU#U4EIU#U7@@!c@4@EIU#U8EIU#U9@@!t@@@@EJU<UBEJU<UC@@@-M@@@A@@A#C@@B@@D@@ABC@=B@@@A@@AB@DA(B6Newring_plugin.NewringF JU<UFF JU<Ue@AE7@-d@@@@AB@C (B6Newring_plugin.NewringFJU<U>C@@@A@-n@@ C@(Bt6Newring_plugin.NewringFVVVFVVW@@AG#env@4@F+MUUF,MUU@@#evd@4@F1MUUF2MUU@@"lH@4@F7MUUF8MUU@@'carrier@l@@@FBNUUFCNUU@@!l@4@FIOUUFJOUU@@"l'@6t@@ql@FTTVVFUTVV@@"l'@A@@|@F_UVVF`UVV@@@-@@@.D@@AAC@@BA@@ABC@@A@@A>3D@@@B@@AB5AE@@@wC@@AC@GA(Bp6Newring_plugin.NewringFUVVFUVV@AAc@-@@#BC@F (B\6Newring_plugin.NewringFUVVo@@Am@-@@ FA(BX6Newring_plugin.NewringFTVVFTVV@ACv@-@@73@2@A-@BC,@E(B@6Newring_plugin.NewringFTVV@@A@-@@ EA(B<6Newring_plugin.NewringFPUUFRVYV~@AC@.@@LH@A@AC@@D (A6Newring_plugin.NewringFRVYV_ @5-=XC@.@@D@(A6Newring_plugin.NewringFOUU@@A@.@@DA(A6Newring_plugin.NewringFNUUFNUU@AB@.!@@@i@Ah B_@C (A6Newring_plugin.NewringFNUU @@@@A@.1@@C@(AX6Newring_plugin.NewringFNUU@@@@.7@@C@(A6Newring_plugin.NewringFQV V;FQV VO@2DC̰!c@5e@FQV VFQV V@@!l@@@FQV VFQV V@@@.R@@@B@@AA@@B@F@@ALA@@ABD@@E@@A5C@@A B@@ABC@C@(@6Newring_plugin.NewringGQV VGQV VT@@@(@.j@@B@(@6Newring_plugin.NewringG]WWG]WW@#C`C@@ @@@@BH#env@5@G6XWWG7XWW@@#evd@5@G<XWWG=XWW@@#pow@5@GBXWWGCXWW!@@'carrier@w@@@GMYW$W*GNYW$W1@@!t@Cj$8@/@@@@@@@Gd\WWGe\WW@@@.@@@(D@@A;C@@B6B@@2A@@#E@@ABC@DA@@AAC@@BAD@@?8G@@DVB@@ABC?YF@@6HH@@A~E@@ABD@F@(@6Newring_plugin.NewringG]WWG]WW@$h @@3C۠Cؠx$@@A@@@@?K@@JBu@.@@6Newring_plugin.Newring@A@/@@ H@(>6Newring_plugin.NewringH_X3X9@@A@/@@,GBC(@G@(>6Newring_plugin.NewringHZWgWi@@Aq@/@@DA(>6Newring_plugin.NewringHYW$W4HYW$Wc@ABz@/@@@A@A@B;@C (>6Newring_plugin.NewringHYW$WN @B@@A@0@@C@(>86Newring_plugin.NewringHYW$W&@@@@0@@C@(>6Newring_plugin.NewringJ@@@0@@@$+@A@@A@[A@@A@A@(=6Newring_plugin.NewringHjYYHjYY@@AJ#env@6@HgYSYcHgYSYf@@#evd@6@HgYSYgHgYSYj@@$sign@6@HgYSYkHgYSYo@@'carrier@@@mi@HhYrYxHhYrY@@@0F@@@D@@A$C@@BB@@A@@AC@CpB@@ACbC@@B@E@@EA@@A7F@@CD@@ABC@D@(=6Newring_plugin.NewringI mZ9Z?I mZ9Zb@@A?$spec@7 @IkYYIkYY@@$spec@H@@@I!lZZ I"lZZ@@@0x@@2.@-@FE@@ABC0@FA(=6Newring_plugin.NewringI1lZZI2lZZ5@AC&@0@@C?@>@@ABC>@E(=6Newring_plugin.NewringI>lZZ% @n@@A6@0@@E@(=6Newring_plugin.NewringIIlZZ >@@A<@0@@E@(=6Newring_plugin.NewringIOiYYD@@A@0@@_DA(=6Newring_plugin.NewringIWhYrYIXhYrY@AB@0@@@g@AfeBc@C (=t6Newring_plugin.NewringIchYrY @C>@@nyA@0@@C@(=6Newring_plugin.NewringIohYrYtd@@@@0@@C@(<6Newring_plugin.NewringIus[[Ivs[[/@@AK=#env@7_@IpZZIpZZ@@#evd@7\@IpZZIpZZ@@#div@7U@IpZZIpZZ@@'carrier@@@@IqZZIqZZ@@@0@@@D@@AA@@B%C@@!B@@AC@DB@@AD C@@BAeE@@FA@@A8tF@@CD@@ABC@D@(<6Newring_plugin.NewringIv[w[}Iv[w[@@A?$spec@7 @It[0[9It[0[=@@$spec@I1@@0+@Iu[A[KIu[A[O@@@1@@2.@-@FE@@ABC0@FA(<6Newring_plugin.NewringIu[A[RIu[A[s@AC&@10@@C?@>@@ABC>@E(<6Newring_plugin.NewringIu[A[c @@@'A6@1@@@E@(<6Newring_plugin.NewringIu[A[G>@@A<@1F@@E@(`DK`>`E@@#req@@@@K`e`kK`e`n@@#sth@@@@K``K``@@@3?@@@#I,@b#M,@\#Q,@Y#\,@O@@A/S@@\iE@@c@@ABCwA@@`@@AuN@@BDG@@X@@AZ@@BrW@@ge@@~hf@@ABCF@@CR@@AI@@]T@@A.Q@@BCDE")@H",@D@@d@@AJ@@vk@@AB ^@@C@@ACK@@j@@A]@@BulV@@im=P@@a@@ABCDL@@M@@AB@@ _@@Akn2[@@U@@ABCEF@`HL`>`a@AB@4%@@CD/EF@k(:6Newring_plugin.NewringL`>`@D@@A@41@@ k@(:6Newring_plugin.NewringL`%`2L`%`:@@A@48@@@BCDCEF@j@(:6Newring_plugin.NewringL_` L_`$@3Aǰ!t@:8@L_`L_` @@@4N@@B@k@@A@BCEF@k@(:6Newring_plugin.Newring@A@4Z@@ k@(:6Newring_plugin.NewringM __s@@A@4`@@(j@(:t6Newring_plugin.NewringM__M__@@A@4g@@(/@@AZCDrEF@i@(:d6Newring_plugin.NewringM__M__@mA!t@:u@M&__M'__@@@4}@@> B@j@@A@BCEF@j@(:P6Newring_plugin.Newring@A@4@@ j@(:86Newring_plugin.NewringM9_r_t@@A @4@@(iA(:06Newring_plugin.NewringMA_&_*MB_&_n@AF@4@@ZN@KJBCHGDCBE*6F@h(96Newring_plugin.NewringMP__@@A#@4@@ hA(96Newring_plugin.NewringMX^^MY^_@AC,@4@@WVR@Q@L@ABCKJDEBNF@g(96Newring_plugin.NewringMh^^Mi^_@J%@@BB@4@@i@(96Newring_plugin.NewringMv^^Mw^^@:X@@AP@4@@$j@(9t6Newring_plugin.NewringM^^@@AV@4@@*gA(9p6Newring_plugin.NewringM^^M^^@AC_@4@@K@4BC~}DEuFH@f(9h6Newring_plugin.NewringM^^M^^@JX@@̐Bt@4@@h@(9X6Newring_plugin.NewringM^^M^^@:@@ӐA@5@@#i@(9,6Newring_plugin.NewringM^r^t @@A@5 @@)f@(96Newring_plugin.NewringM^T^V&@@A@5@@z@@ABCDEFx@e@(96Newring_plugin.NewringM^7^93@@A@5 @@@@ABCDEF@d@(86Newring_plugin.NewringM]]M^ ^3@q@W^E@56@@@@A@@ABCE@@ABDFEF@a@(86Newring_plugin.NewringM]]M]^ @J|Ju@@e@@d|A@5S@@e@(8H6Newring_plugin.NewringN]]l@@A@5Y@@#aA(8D6Newring_plugin.NewringN ]]N ]]@AA@5c@@-(@@ABCnDF@`(886Newring_plugin.NewringN]]@@A@5p@@ `A(806Newring_plugin.NewringN"]{]N#]{]@AC@5z@@D'@$@AC#\E F@_(86Newring_plugin.NewringN0]{]}@@A@5@@ _A(8 6Newring_plugin.NewringN8]Q]_N9]Q]w@AC@5@@-@@A@BCDF@^(76Newring_plugin.NewringNG]Q]S@@A@5@@ ^@(76Newring_plugin.NewringNM]]3NN]]M@,"@C@5@@@g@AbvB[4CVE=@5@A0@1@A)OBC"$DF@[@(76Newring_plugin.NewringNg]]@@A/@5@@[@(76Newring_plugin.NewringNm~\\Nn~\]@;H6@5@@@~@A|BuNCp@o@Am@BdbC`_DE[<;9@2@ABDF1@X@(7T6Newring_plugin.NewringN~\\@@AI@5@@X@(7H6Newring_plugin.NewringN}\\@@AN@5@@@@AywButCDpEC@W@(66Newring_plugin.NewringN|\p\N|\p\@ڠРƠ@ːCa@5@@@@AB@@@ABCP@@ABpom@BCDd@N@(66Newring_plugin.NewringN|\p\r@@Ar@6 @@NA(66Newring_plugin.NewringN{\T\`N{\T\l@AA{@6@@@@ABCDy@M(66Newring_plugin.NewringNz\%\'Nz\%\R@F$unit@@@A@6+@@M@(66Newring_plugin.NewringNz\%\>@GI@@@@B@6>@@(M@(66Newring_plugin.Newring"V@@A@6C@@-MA(6x6Newring_plugin.Newring]AA@P@6J@@4@@@ABD@I (6\6Newring_plugin.NewringNbbObb@;APȰ!t@<@O bbO bb@@@6b@@@%@A@@B@@AB@KA@@A@B@(6T6Newring_plugin.NewringObb@@A@6p@@BC(686Newring_plugin.NewringO"bbO#bb@<AP!t@<$@O+bbO,bb@@@6@@@ @ B@@AB@B@(606Newring_plugin.NewringO6bb@@A@6@@ B(66Newring_plugin.NewringO=bbO>bc@@AQ@6@@@2@A.@A&(66Newring_plugin.NewringOGbsb @A@Q @6@@ A-(56Newring_plugin.NewringONccPOOccj@O\@@ĐBQ!s@<<@O^ccO_cc@@!r@<6@OdccOecc@@!v@<(@OjccOkcc@@@6@@@B@@AC@@A@@AB@OA@@A@C@(56Newring_plugin.NewringOzccJ,@@A$@6@@C@(56Newring_plugin.NewringOcc9OccD@@A+@6@@C@(56Newring_plugin.NewringOcc!Occ3@,@@A9@6@@$C@(56Newring_plugin.NewringOccG@@@?@6@@*C@(586Newring_plugin.NewringOfxfzOfxf@@AQm!l@@@ @B@B@(406Newring_plugin.NewringPccU@@@K@8F@@@@A@A@(46Newring_plugin.NewringPff"Pff6@@A]!t@=$@@ C@QffQff@@@8Y@@@'@A@@B@@AB@;F@@AK@@B>B@@MA@@AiD@@H@@ABCJ@@3G@@A\E@@>C@@AI@@BCD@BH(36Newring_plugin.NewringQ'eeQ(ef @@A!t@=_@@ @@Q1eeQ2ee@@@8@@@/@B@@AB-@B(36Newring_plugin.NewringQ=eeQ>ee@@A!t@@@@ <@QHeeQIee@@$spec@=@@ =@QQeeQRee@@@8@@@P@AB@@C@@ABO@C9(36Newring_plugin.NewringQ_e[eQ`e[e@=Aǰ#sth@=+constr_expr@@ 8@Qne[ehQoe[ek@@#ext@=+constr_expr@@ 9@Qye[elQze[eo@@@8@@@B@@Ay@C@@ABw@D@(3t6Newring_plugin.NewringQe[eQe[e@> A'@8@@C@(3l6Newring_plugin.NewringQe[etQe[e@@A.@8@@Cq(3<6Newring_plugin.NewringQe"e6Qe"eZ@@A!t@=@@ 5@Qe"e1Qe"e2@@@8@@@@B@@AB@B(36Newring_plugin.NewringQddQde!@@A!t@>@@ 2@QddQdd@@@9@@@@B@@AB@B(26Newring_plugin.NewringQddQdd@@A(!t@@@@ /@QddQdd@@@9$@@@@B@@AB@B(26Newring_plugin.NewringQdddQddd@>oA@!k@A>@@ ,@QdddtQdddu@@@9=@@@B@@A@B@B@(26Newring_plugin.NewringQdddy@@A@9G@@ BҠ(26Newring_plugin.NewringQdOdZQff7@A@\@9O@@@@A@Aܠ(206Newring_plugin.NewringRg.g0Rg.go@@ASذ"id@>*@RffRff@@ #rth@>'@RffRff@@!!l@>$@R!ffR"ff@@"%sigma@O@@ z t@R,ffR-ff@@##rth@O@@ { u@R7ffR8ff@@$!k@AxO @@ @@  @RFffRGff@@%#set@QuO@@ @ @@  @RYffRZff@@&#cst@QA;@@ @@  @RhffRiff@@'#pre@Q>@@ @@  @RwffRxff@@($post@Q>@@ @@  @RffRfg@@)%power@QAk@@ >@@ @ @@  @RfgRfg @@*$sign@Qˠ>@@ @@  @Rfg Rfg@@+#div@Qڠ>@@ @@  @RfgRfg@@@:@@@#3@G#3@D@@mM@@ABH@@C@@O@@ABCA@@YK@@AKJ@@kL@@ABEB@@N@@AF@@@I@@ABCD@@B@@AOA@@?C@@AB@O@(16Newring_plugin.NewringRfgRfg*@xjUG@  A@:M@@@9@A3@B0@)@$@ABC!@F@(16Newring_plugin.NewringSff@@A@:Y@@ F@(16Newring_plugin.NewringS ffS ff@@ v yA@:h@@@M@AJ@A@AB:@C@(16Newring_plugin.NewringSff@@@@:r@@ C@(16Newring_plugin.NewringS"hYhS#hYh@@AT-%sigma@?@S-h)h<S.h)hA@@."rl@?@S3h)hBS4h)hD@@/!t@?@S9h)hES:h)hF@@0"t1@R@@ - @SDhYhjSEhYhl@@1"t2@R@@ - @SOhYhmSPhYho@@@:@@@#4A@D@@A*B@@B1C@@(A@@A#F@@E@@ABC@MA@@A@F@(1t6Newring_plugin.NewringSfhYhsSghYh@R@@ - 6,@ - BP@:@@@"@A!@@AB@C@(1d6Newring_plugin.NewringShYhc]@@AZ@:@@ C@(1X6Newring_plugin.NewringShhShh@@Aa@:@@C@(1L6Newring_plugin.NewringShIhK@@@g@:@@C@(1$6Newring_plugin.NewringSi:i?Si:i]@@AUb3#env@?[@ShhShh@@4#evd@?X@ShhShh@@5'carrier@?G@ShhShh@@6"rl@?D@ShhShh@@7!l@?S3 A@ShhShh@@@; @@@B@@&D@@AB!C@@E@@AA@@BC@N A@@AMB@@MC@@AB@EA(1 6Newring_plugin.NewringShhSii9@AC>@;(@@@@AC@D (06Newring_plugin.NewringSii @?2 p4 nCM@;7@@D@(06Newring_plugin.NewringShhU@@@S@;=@@D@(06Newring_plugin.NewringShhShi@@@\8!x@?@ShhShh@@9!l@3 F@ShhShh@@@;T@@@ A@@B@@AB@cD@@NNA@@ABlC@@N B@@AC@B@(0\6Newring_plugin.NewringTi_iTi_i@O@@: : AU;!c@?@Ti_ihT i_ii@@@;v@@@ A@@A@@A@(0H6Newring_plugin.NewringT)i_il@@@@;@@ A@(0(6Newring_plugin.NewringT/iiT0ii@@)GeninterpA+interp_sign@@< = AV =$expr@?@TBiiTCii@@@;@@@ A@@A@@B@(06Newring_plugin.NewringTLiiTMii@@@@;@@ A@(/l6Newring_plugin.NewringTSkkTTkl @@AV-?!e@?@TeijTfij@@@#req@O@@ ? @TpjjTqjj@@A#sth@O@@ ? @T{j'j-T|j'j0@@B#ext@O@@ ? @TjIjOTjIjR@@C%morph@P @@ ? @TjhjnTjhjs@@D"th@P@@ ? @TjjTjj@@E'cst_tac@P @@ ? @TjjTjj@@F'pow_tac@P+@@ (? %@TjjTjj@@G&lemma1@P6@@ 7? 4@TjkTjk@@H&lemma2@PA@@ E? B@Tkk%Tkk+@@I&pretac@PL@@ S? P@TkDkJTkDkP@@J'posttac@PW@@ ? @TkkTkk@@@<5@@@IG@@AA@@BlD@@7I@@.J@@ABCfE@@L@@AJH@@+K@@ABB@@C@@gF@@ABCD@@A@@A@lB@@B@LA(/h6Newring_plugin.NewringUkkUkk@AA@<\@@'@BCD@K(/@6Newring_plugin.NewringUkk@@A@E@@@2J@@A@EI@@AB@%L@@M@@AB3KTH@@@ACD@M@(-6Newring_plugin.NewringWn&n>Wn&na@TB@@L(@@L'LqAm@>h@@#N@(-d6Newring_plugin.NewringWn&nb@TKL%@@L&LB@>z@@5M@(-T6Newring_plugin.NewringW*n&npW+n&n~@SS @@M@@MMB@>@@GM@(-(6Newring_plugin.Newring@A@>@@KMA(-$6Newring_plugin.NewringWBmn WCmn"@AA@>@@U@P@AMJBC@L(-6Newring_plugin.NewringWOmn@@A@>@@ LA(-6Newring_plugin.NewringWWmmWXmm@AA@>@@j@b@A@BC@K(-6Newring_plugin.NewringWdmm @E@@M C@>@@K@(,6Newring_plugin.NewringWomm@@A@>@@KA(,6Newring_plugin.NewringWwmcmrWxmcm@AA@>@@@@A@BC@J(,6Newring_plugin.NewringWmcm @BD@>@@ J@(,6Newring_plugin.NewringWmcmWmcm@BMA@>@@N@(,6Newring_plugin.NewringWmcmi@@A@>@@JA(,6Newring_plugin.NewringWm1m?Wm1m_@AC@>@@@>B=)C:@I (,x6Newring_plugin.NewringWm1m7@@A@?@@ I@(,l6Newring_plugin.NewringWmm@@A@?@@@N@AM9CJ@HA(,h6Newring_plugin.NewringWllWlm @AC@?@@ YXBV@G (,@6Newring_plugin.NewringWll@@A@?@@ CA(,<6Newring_plugin.NewringWllWll@AA@?'@@@lkBi@B (,$6Newring_plugin.NewringWll@@A@?0@@ BA(, 6Newring_plugin.NewringWl\llWl\l@AA@?:@@@@A|@A (,6Newring_plugin.NewringWl\l`@@@@?C@@ A@(+6Newring_plugin.NewringWooWoo@@@YŰl!s@B@WoyoWoyo@@@?Q@@@ A@@A@BA@@A@A@(+6Newring_plugin.NewringXooXoo@$@@kl)A@?d@@@"&@A@@A@CA@@A"B@@B@A@(+6Newring_plugin.NewringXt`tXt`t@@AY@?s@@@z.)@A@@A@@AC(+|6Newring_plugin.NewringX)t`tX*t`t@@AY@?@@ A (+p6Newring_plugin.NewringX1t`tX2t`t@@AZ@?@@A(*6Newring_plugin.NewringX9t`t{X:t`t@A@Z @?@@A(*6Newring_plugin.NewringXAssXBss@@AZ@?@@@y.N@A@@A@@AC(*6Newring_plugin.NewringXNssXOss@@AZ @?@@ A (*6Newring_plugin.NewringXVssXWss@@AZ(@?@@A()6Newring_plugin.NewringX^ssX_ss@A@Z0@?@@A()6Newring_plugin.NewringXfss4Xgss7@@AZ8@?@@@x.s@A@@A@@AC()6Newring_plugin.NewringXsss(Xtss,@@AZE@?@@ A ()6Newring_plugin.NewringX{ss;X|ss?@@AZM@?@@A()$6Newring_plugin.NewringXss Xss@@A@ZU@?@@A()6Newring_plugin.NewringXrrXrr@@AZ]@?@@@w.@A@@A@@AC() 6Newring_plugin.NewringXrrXrr@@AZj@?@@ A ((6Newring_plugin.NewringXrrXrr@@AZr@?@@A((6Newring_plugin.NewringXrrXrr@A@Zz@?@@A((6Newring_plugin.NewringXqr Xqr@@AZ@@@@@v.@A@@A@@AC((6Newring_plugin.NewringXqqXqr@@AZ@@@@ A ((t6Newring_plugin.NewringXqrXqr@@AZ@@@@A('6Newring_plugin.NewringXqqXqr@A@Z@@$@@A('6Newring_plugin.NewringXqrqXqrq@@AZ@@,@@@u.@A@@A@@AC('6Newring_plugin.NewringXqrqXqrq@@AZ@@9@@ A ('t6Newring_plugin.NewringXqrqXqrq@@AZ@@A@@A(',6Newring_plugin.NewringXqrqxXqrq@A@Z@@I@@A(' 6Newring_plugin.NewringX ppX pp@@@Z@@Q@@@t/@A@@A@@A@('6Newring_plugin.NewringY pepY pep@@@Z@@\@@@s/@A@@A@@A@('6Newring_plugin.NewringY p9pTY p9pX@@AZ@@g@@@r/@A@@A@@AB(&6Newring_plugin.NewringY p9p^Y p9pb@@AZ@@t@@ A (&6Newring_plugin.NewringY% p9pFY& p9pc@A@Z@@|@@A(&6Newring_plugin.NewringY- pp#Y. pp'@@AZ@@@@@q/:@A@@A@@AC(&6Newring_plugin.NewringY: pp+Y; pp.@@A[ @@@@ A (&6Newring_plugin.NewringYB pp2YC pp6@@A[@@@@A(&6Newring_plugin.NewringYJ ppYK pp7@A@[@@@@A(&6Newring_plugin.NewringYR(vvBYS(vvE@@A[$@@@@@/_@A@@A@@AC(&6Newring_plugin.NewringY_(vv7Y`(vv;@@A[1@@@@ A (&6Newring_plugin.NewringYg(vvIYh(vvM@@A[9@@@@A(%6Newring_plugin.NewringYo(vv#Yp(vvN@A@[A@@@@A(%6Newring_plugin.NewringYw%ujuYx%uju@@@[I@@@@@/@A@@A@@A@(%6Newring_plugin.NewringY$u;ucY$u;ug@@@[T@@@@@/@A@@A@@A@(%6Newring_plugin.NewringY#uu*Y#uu.@@A[_@@@@@/@A@@A@@AB(%6Newring_plugin.NewringY#uu4Y#uu8@@A[l@@@@ A (%6Newring_plugin.NewringY#uuY#uu9@A@[t@@@@A(%6Newring_plugin.NewringY"ttY"tt@@A[|@A@@@/@A@@A@@AC(%6Newring_plugin.NewringY"tuY"tu@@A[@A@@ A (%x6Newring_plugin.NewringY"tuY"tu @@A[@A@@A(%X6Newring_plugin.NewringY"ttY"tu @A@[@A@@A(%D6Newring_plugin.NewringYJ{{{YJ{{{@@A[#env@DM@Y6wwY6ww@@#evd@DJ@Y6wwY6ww@@'th_spec@DC@Y6wwY6ww@@@'TermopsA&th_typ@#@@@Y8wwY8ww@@@AK@@@":@E@@A(C@@B#B@@A@@D@@ABC@DF@@ADC@@ZA@@ABDG@@DD@@T B@@ABDH@@DE@@ACD@E@($6Newring_plugin.NewringZDz*z2ZDz*zs@@AT!f@Y@@c4@Z.?yKyUZ/?yKyV@@!r@ 9@Z5?yKyYZ6?yKyZ@@$zero@@Z;?yKy[Z<?yKy_@@#one@ @ZA?yKy`ZB?yKyc@@#add@@ZG?yKydZH?yKyg@@#mul@@ZM?yKyhZN?yKyk@@#sub@@ZS?yKylZT?yKyo@@#opp@%@ZY?yKypZZ?yKys@@#div@+@Z_?yKytZ`?yKyw@@#inv@1@Ze?yKyxZf?yKy{@@#req@7@Zk?yKy|Zl?yKy@@#rth@Y@@@ZvAyyZwAyy@@@A@@@";i@F@A?Z#add@M@@-V#div@Q@@AB@@Aj^!f@I@@4U#inv@R@@ABC"@G@@WY#mul@N@@Ah[#one@L@@VW#opp@P@@AB]!r@J@@PT#req@S@@AO_@@oX#sub@O@@ABC"@H@@@A@\$zero@K@@ABDE@_A($6Newring_plugin.NewringZByyZCyz&@AC@B*@@]?=+@&@A@BCDE@^($86Newring_plugin.NewringZAyy@@A@B7@@ ^@($06Newring_plugin.NewringZ@yyZ@yy@8>@@C@BE@@^@($6Newring_plugin.NewringZ@yyZ@yy@@)GlobnamesA0global_reference@@A@BW@@-_@(#6Newring_plugin.Newring @A@B[@@1^@("6Newring_plugin.Newring[ >yy[ >yyJ@@AH@[:x1x;[:x1x<@@l!@[!:x1x?[":x1x@@@Y@[%:x1xA[&:x1xE@@ @[):x1xF[*:x1xI@@ @[-:x1xJ[.:x1xM@@@[1:x1xN[2:x1xQ@@s@[5:x1xR[6:x1xU@@@[9:x1xV[::x1xY@@@[=:x1xZ[>:x1x]@@!@[A:x1x^[B:x1xa@@%@[E:x1xb[F:x1xe@@#rth@Z@@@[P<xx[Q<xx@@@B@@@@AB[@@ABC@@A@@AB@@AT@@@ABCb@@ABDEb@TA("6Newring_plugin.Newring[k<xx[l=xy@AC`@B@@@@A@BCDEr@S("x6Newring_plugin.Newring[z<xxo@@Am@B@@ S@("p6Newring_plugin.Newring[;xixv[;xix@8@@C{@B@@S@("T6Newring_plugin.Newring[;xix[;xix@@@A@B@@(T@(!6Newring_plugin.Newring@A@B@@,S@( 6Newring_plugin.Newring[I{:{B[I{:{z@@Aڰ!f@L@[Eztz~[Eztz@@!r@Q@[Eztz[Eztz@@$zero@@[Eztz[Eztz@@#one@ @[Eztz[Eztz@@#add@@[Eztz[Eztz@@#mul@@[Eztz[Eztz@@#div@@[Eztz[Eztz@@#inv@%@[Eztz[Eztz@@#req@+@[Eztz[Eztz@@#rth@[U@@|w@[Gzz[Gzz@@@CC@@@v@A0M@@&O@@AB@@AORk@&P@@ABCd@6N@@ACL@@SJ@@A)Q@@%S@@ABCF@ @A@SK@@ABDE @SA( 6Newring_plugin.Newring\Gzz\H{{6@ACs@Cj@@'@@@ABCZDE@R( 06Newring_plugin.Newring\!Gzz@@A@Cw@@ R@( (6Newring_plugin.Newring\'Fzz\(Fzz@9~@@vXC@C@@R@( 6Newring_plugin.Newring\5Fzz\6Fzz@@@@ZiA@C@@(S@(6Newring_plugin.Newring@A@C@@,R@(H6Newring_plugin.Newring\F9x x\G9x x+@)[@@[@@)@@)@@@@B@C@@@d@AcbC^@D@(06Newring_plugin.Newring\e9x x @@A@C@@ DA(,6Newring_plugin.Newring\m8ww\n8wx@AE@C@@u@t@ABq@C (6Newring_plugin.Newring\y8ww@@@@C@@ C@(6Newring_plugin.Newring\O|?|Y\O|?|x@@@^[!r@FJ@\O|?|U\O|?|V@@@C@@@ A@@A@SA@@AFB@@B@A@(6Newring_plugin.Newring\bS_\bSk@F>;8A^y#env@FW@\Q|z|\Q|z|@@%sigma@FT@\Q|z|\Q|z|@@!l@FQ@\Q|z|\Q|z|@@@D@@@C@@A A@@B@@AB@VA@@AFB@@B@C@(6Newring_plugin.Newring-@A$@D@@C@(6Newring_plugin.Newring\`~~\aQ@>@@B6!t@Fs@\T||\T||@@#cl'@]РF|@@6@\T||\T||@@"ty@&@@E>@\U||\U||@@%check@@Np@@dX&@@Y@ZW@\V}$}0]V}$}5@@@DV@@@G@@A0D@@T@ =u@H@@ABCV@V@A=E@@/F@@ABDX@H@(x6Newring_plugin.Newring]`~~]aG@<@@BP@Ds@@I@(h6Newring_plugin.Newring]#a*@<@@B]@D@@*J@(X6Newring_plugin.Newring]0a!@<@@Bj@D@@7K@(H6Newring_plugin.Newring(]=`~ @<@@ Aw@D@@DL@(06Newring_plugin.Newring]Ja@<@@A@D@@QK@(6Newring_plugin.Newring]Wa#5@<@@A@D@@^J@(6Newring_plugin.Newring]da,O@<@@#C@D@@kI@(6Newring_plugin.Newring]qaI]raP@<@@1A@D@@yH@(6Newring_plugin.Newring]_~~@@A@D@@H@(6Newring_plugin.Newring]]~Q~^]]~Q~@GHA@D@@@@ABC@K@(6Newring_plugin.Newring]]~Q~p @OB@@ʐB@D@@K@(x6Newring_plugin.Newring]\~4~<]\~4~O@&@@B@D@@G@(\6Newring_plugin.Newring ]aR@@A@E@@#G@(D6Newring_plugin.Newring]V}$},@@A@E@@@@A@BC@FA(@6Newring_plugin.Newring]U|}]U|} @AE@E@@ @ @@ABC @E(6Newring_plugin.Newring]U|| @@A@E @@ E@(6Newring_plugin.Newring]R||]R||@@@A;@E,@@&C@(6Newring_plugin.Newring]R|| @@@@@"BL@E=@@7C@(6Newring_plugin.NewringX@@@Q@EB@@@E@@)CA(6Newring_plugin.Newring^dmOAA@`v@E@@@0@0@AB,@B (86Newring_plugin.Newring^^"C@@A`%subst@H@^h ^h @@"th@H@^h  ^h "@@"c'@'@@@^i&,^i&.@@#eq'@&@@@^jU[^jU^@@%thm1'@'@@@^k^k@@%thm2'@'@@@^l^l@@%thm3'@'@@@^m^m@@%thm4'@')@@ @^n_n"@@%thm5'@'4@@@_ oPV_ oP[@@$tac'@&@@+&@_p_p@@(pow_tac'@&@@;6@_ q_!q@@'pretac'@'@@KF@_+r_,r @@(posttac'@'@@[V@_6s;A_7s;I@@@F@@@D@@AwE@@B5I@A@@N@@A0L@@'M@@ABCC@@AK@@AB@@BDzF@@rG@@AhH@@_I@@VJ@@ABCE@@N@((6Newring_plugin.Newring_[~_\~@@A@F@@%N@(6Newring_plugin.Newring_bt|~@@A@F@@+NA(6Newring_plugin.Newring_js;K_ks;x@AB@F@@42@3@A.-BC+*D&%E@@M(6Newring_plugin.Newring_ys;=@@A@F@@ MA(6Newring_plugin.Newring_r _r7@AB@F@@KI@I@E@ABCBAD=@@ HA(6Newring_plugin.Newring_m_m@ABF@GH@@WA@@ABC@@G(6Newring_plugin.Newring_mY@@AQ@GS@@ GA(6Newring_plugin.Newring`l`l@ABZ@G]@@l@@@ABC@@F(6Newring_plugin.Newring`ln@@Ae@Gh@@ FA(6Newring_plugin.Newring`k`k@ABn@Gr@@@@AC@@E (6Newring_plugin.Newring`&k@@Ax@G|@@ EA(6Newring_plugin.Newring`.jUa`/jU}@AB@G@@@@A@BC@@D(h6Newring_plugin.Newring`;jUW@@A@G@@ DA(d6Newring_plugin.Newring`Ci&1`Di&Q@AB@G@@@ @A*B@@C (L6Newring_plugin.Newring`Oi&(@@A@G@@ CA(86Newring_plugin.Newring`Wh AA@b4@G@@@@A@@A ((6Newring_plugin.Newring``n`an@@AbA$name@F@`hn~`in@@"th@F@`nn`on@@@G@@@C@@A6}@A@@B@@AB@JA@@A@CA(6Newring_plugin.Newring`n}!AA@b_@G@@@@A @A (6Newring_plugin.Newring`q`q@@@Fװ!x@F@`q`q@@@G@@@ A@@A@@A@(6Newring_plugin.Newring`"`,@@AF!i@`Z@@@``@@!o@&@@ޠF@@``@@@H@@@!B@@AA@@B@G A@@A@B@(6Newring_plugin.Newring` ,@@@+@H@@ B@(6Newring_plugin.Newring``@@Ab#evd@J@``@@!r@J@``@@#inv@J @``@@#req@J @``@@/'_setoid@`a@@}@``@@0)signature@[Ԡ`1J@`=JG@@@@@@@`GJV`SJ]@@@@@@@a2a3%@@1%inv_m@$@@@a=PUa>PZ@@2)inv_m_lem@Jb@@@aHP\aIPe@@@H@@@ B9@H B<@E@@fF@@ABD@@vB@@I@@ABC@@uA@@fG@@ABCD@[B@@AavA@@R{C@@AB@I@(6Newring_plugin.Newringajak@9/@A@H@@@%#B!@ A@H@@A#@B CD@H@(6Newring_plugin.Newring@A@H@@ H@(h6Newring_plugin.Newringahoah@B@H@@7@6@A32CD.@K@(<6Newring_plugin.NewringaPQ@@A@H@@ G@(6Newring_plugin.Newringa@@A@H@@'GB@A@ABC>@FA(6Newring_plugin.Newringaa@AD@H@@@[@AWBQCL@E(6Newring_plugin.Newringaa @R@@A@I@@K@(6Newring_plugin.Newringa@@A@I@@E@(h6Newring_plugin.Newringaa@@A!f@a<@@o@aa@@!c@?n@@@a8Da8E@@.!c@aR@@fc@aa@@@I@@@@ B@F@J"I@@AB@/H@@AC@ ! @G@@A`BD@JA(`6Newring_plugin.Newringbb@AA>@I[@@@@@ABCD@I(P6Newring_plugin.NewringbL@@AJ@Ig@@ IA(L6Newring_plugin.Newringb8Hb8@AAS@Iq@@@1@A*B(C@H(46Newring_plugin.Newringb&8cb'8@@&CoqlibA+coq_eq_data@@`Ak@I@@H@( 6Newring_plugin.Newringb98@t@@Aq@I@@H@(6Newring_plugin.Newringb?b@4@?@@C@I@@,H@(6Newring_plugin.NewringbM!@a@@A@I@@8H@(6Newring_plugin.Newring@A@I@@$odiv@K|@cTcX@@@&ConstrA?%sigma@_@@C4=@cc@@@#fth@_@@D4>@cc@@A#env@>j@@N4K@c$c%@@B#evd@aƠ`@@Y4W@@V4S@c5c6@@C$kind@bdR@@o@@n4\@cDcE@@D!r@b@@p4]@cOcP@@E$zero@b@@q4^@cZc[@@F#one@b@@r4_@cecf@@G#add@b@@s4`@cp cq @@H#mul@b@@t4a@c{ c|@@I#sub@bb@@v@@u4b@cc@@J#opp@bc@@x@@w4c@cc@@K#div@c @@y4d@cc@@L#inv@c@@z4e@cc @@M#req@c#@@{4f@c!c$@@N#rth@c.@@|4g@c%c(@@O#sth@L@cJQcJT@@P#ext@L@cJUcJX@@Q$eqth@cL4L4@4@@4@cc@@R'pow_tac@R@@ 4@c c @@S%pspec@cd@@ 4@c c @@T%sspec@co@@ 4@dAGdAL@@U%dspec@cz@@24-@dkqdkv@@V%inv_m@M6@@E4?@dd@@W"rk@c@@X4U@d'd(@@X¶ms@_$_@@i@@h4^@d6d7@@Y#ctx@_@@j4_@dAdB@@Z&lemma1@_6@@4@dLagdMam@@[&lemma2@_A@@4@dW~dX~@@\&lemma3@_L@@4@dbdc@@]&lemma4@_W@@4@dmdn@@^*cond_lemma@a@@4@dxdy@@`&lemma1@a@@+4&@d_ed_k@@a&lemma2@a&@@R4M@dd@@b&lemma3@a1@@y4t@d d@@c&lemma4@a<@@4@dZ`dZf@@d*cond_lemma@aG@@4@dd@@e'cst_tac@S@@4@d d@@f&pretac@S@@#4@d`fd`l@@h'posttac@S@@x4n@dd@@j!r@@@4@d,2d,3@@k#req@@@4@dSYdS\@@@L=@@@E@hE@aE@]E@R E@M@@AX@@[to@@ABSu.F@@i@@Ae@@P@@ABC:`CH@@Q@@AF^@@NQI@@ABD:E@@wU@@A f@@\@@ABpk@@ql@@Arm@@sn@@ABC^G@@W@@AtJ@@BDE9A@@Y@@AV@@Bl;D@D@@j@@AXK@@~w@@A_c@@BCDWC@@fL@@v@@AB[b@@}x [@@ACEuyT@@:g@@AS@@BUO@@gB@@bd@@AB_@@Z@@ACDFG@SK@@AU{E@@B^D@@b-B@@AOM@@`C@@ABCNO@@PcL@@ANN@@bA@@ATG@@BCSbJ@@SH@@ASI@@TF@@ABDE@y@(6Newring_plugin.Newringe@@@45A@L@@y@(`6Newring_plugin.Newringe~e2@@A @L@@yA(\6Newring_plugin.NewringeS_eSz@AB@L@@lkNMFG?@x (D6Newring_plugin.NewringeSU@@A@L@@ xA(<6Newring_plugin.Newringe,6e,O@AB%@M@@pok@h@ACEedFGV@w($6Newring_plugin.Newringe,.,@@A2@M@@ w@(6Newring_plugin.Newringe e(@@A8@M@@@@ABCDzyEFk@v@(6Newring_plugin.Newringee@AIi!t@N@ee@@@M1@@@w@@A@BCDEF@w@(6Newring_plugin.Newring@A@M=@@ w@(6Newring_plugin.Newringe\@@Aa@MC@@)v@(6Newring_plugin.Newringee@@Ag@MJ@@ /@@AFBCDEF@u@(6Newring_plugin.Newringff@CAxg!t@N@f f @@@Ma@@$F@v@@A@BCDEF@v@(6Newring_plugin.Newring@A@Mm@@ v@(6Newring_plugin.Newringf`b@@A@Ms@@)uA(6Newring_plugin.Newringf%f&\@AF@M}@@@)(C"DE6F@t(6Newring_plugin.Newringf3@@A@M@@ tA( 6Newring_plugin.Newringf;f<@AC@M@@VG@D@ABA@C:7D/.ENF@s(6Newring_plugin.NewringfKfL@c@@45ҐB@M@@u@(6Newring_plugin.NewringfYfZ@S;@@56ِA@M@@$v@(6Newring_plugin.Newringfg@@A@M@@*sA(6Newring_plugin.NewringfoZifp@AC@M@@4_^XUQ@L@ABCKJDEFF@r(6Newring_plugin.NewringfZwfZ@c<@@45B@M@@t@(6Newring_plugin.NewringfZxfZ@So@@56A@M@@$u@(x6Newring_plugin.NewringfZ\ @@A @M@@*rA(t6Newring_plugin.NewringffHV@AC@M@@h4BC~}DEyFK@q(l6Newring_plugin.Newringf#fF@co@@4{5B)@N@@s@(\6Newring_plugin.Newringf$f5@S@@56A7@N@@#t@(,6Newring_plugin.Newringf=@@A=@N$@@)qA((6Newring_plugin.Newringff@ACF@N.@@@@AhBCDEF@p( 6Newring_plugin.Newringff@c@@4T5]B\@ND@@r@(6Newring_plugin.Newringff@S@@5_6dAj@NR@@$s@(6Newring_plugin.Newringgq@@Ap@NX@@*pA(6Newring_plugin.Newringg _ng @ACy@Nb@@4CDEF@o(6Newring_plugin.Newringg_|g_@c@@4-56B@Nv@@q@(6Newring_plugin.Newringg&_}g'_@T@@586=A@N@@"r@(6Newring_plugin.Newringg4_a@@A@N@@(o@(6Newring_plugin.Newringg:AQg;A[@A@N@@@T@G@AB@?C96D.4EMF@n@(6Newring_plugin.Newring@A@N@@ n@(p6Newring_plugin.NewringgMgN@@ܐA_#thm@P@gVgW @@@N@@'c@o@@A@BCDEF@o@(X6Newring_plugin.Newringgegf@5A@N@@p@(46Newring_plugin.Newringgo"gp=@d@@44 B'@N@@ o@(6Newring_plugin.Newring0@A+@N@@$o@(6Newring_plugin.Newringg@@A@N@@En@(6Newring_plugin.Newringg@@A@N@@Kutl@h@f@ABCa`DE\F.@m@(6Newring_plugin.Newringg@@A@N@@X~~z@v@ABCnmDEiF;@l@(6Newring_plugin.Newringg~@@A @N@@e@@@ABC{zDEvFH@k@(6Newring_plugin.Newringgac@@A@O@@r@@ABCEFT@j@(6Newring_plugin.Newringgg/]@@`4gE)@O@@@B@@A@BCDE@BCEFn@g@(x6Newring_plugin.Newringgg.@d_dX@@4n@@4m4AF@O6@@k@(6Newring_plugin.NewringgU@@AL@O<@@#gA(6Newring_plugin.Newringgg@AAU@OF@@-'@@ACDEF@f(6Newring_plugin.Newringgl@@Ab@OS@@ fA(6Newring_plugin.Newringhh@ADk@O]@@D@@@ABCEF@e(6Newring_plugin.Newringh@@Ax@Oj@@ eA(6Newring_plugin.Newringhkyhk@AC@Ot@@[ @@ACDE2F@d(x6Newring_plugin.Newringh+km@@A@O@@ dA(p6Newring_plugin.Newringh3AOh4Ag@AC@O@@lE@@ABDEF@c(T6Newring_plugin.NewringhBAC@@A@O@@ c@(<6Newring_plugin.NewringhH #hI =@f\@4 C@O@@@cBT4CMJDBME%#@@AC@@@AB iC%DEF@`@(6Newring_plugin.Newringhdhe@e@@ǐI@O@@`@( 6Newring_plugin.Newringhp@@A@O@@`@( 6Newring_plugin.Newringhv@@A@O@@%nmDepEH#F@_@( x6Newring_plugin.NewringhJ\hJ@Q{H@O@@@GBfC}@|@Ay@BDvEY4H26@4@0@ABDEF/@\@( 6Newring_plugin.NewringhJL@@A@O@@\@( 6Newring_plugin.Newringh,0h,F@i[QG=3) @h4mC@P@@@@AB+C@@@ABD@~_Bt@s@Ac@a@ABCE[@Q@( 6Newring_plugin.Newringh0@@A@P@@Q@( 6Newring_plugin.Newringh6@@A@P@@@@ACDEl@PA( 6Newring_plugin.Newringhh@AA%@P,@@(@BC'D%E{@O( x6Newring_plugin.NewringhQ@@A1@P8@@ O@( d6Newring_plugin.Newringhh@@?4BA>@PG@@@@A@@ABCCA@@A@BCD@L@( X6Newring_plugin.Newringiprip@4@@3$AS@P\@@L@( H6Newring_plugin.Newringi p @10@@4&@@4%4+Bd@Pm@@&L@( 06Newring_plugin.Newring@@Ai@Pr@@+LA( 6Newring_plugin.Newring`AA@k@Py@@2@@A@@ABD@J ( 6Newring_plugin.Newringi/i00@@Akn!l@Q@i@4KiA4L@@o$kind@g⠰htQm 9@@ 8n 6@@ 5n 2@iTOUiUOY@@p#set@ghQm B@@ An ?@@ >n ;@ihhniihq@@q'cst_tac@h hQm K@@ Jn H@@ Gn D@i|i}@@r#pre@hhQm T@@ Sn Q@@ Pn M@ii@@s$post@h2hĠQm ]@@ \n Z@@ Yn V@ii@@t#inj@hFhؠQm f@@ en c@@ bn _@ii@@u$sign@hZh젰Qm o@@ nn l@@ kn h@ii@@v%power@hniQm x@@ wn u@@ tn q@ii @@w#div@hiQm @@ n ~@@ }n z@ii!@@!k@RFn!@ii@@@QS@@@D@@$J@@ABaG@@K@@AB@@BCA@@}F@@CI@@ABE@@C@@\H@@ABCD@WB@@AfA@@WC@@AB@K@( 6Newring_plugin.Newringj j!@@A@Qw@@@_K@K@@A'&B$@!@AC D@K@( 6Newring_plugin.Newringj/j0@@A!k@Ro!@j8j9@@@Q@@8@L@@A7@BC65D+@L@( \6Newring_plugin.NewringjE02jFq@3@@m B@Q@@NJ&CEDD:@J@( 6Newring_plugin.Newring$@@A"@Q@@J@( 6Newring_plugin.NewringjY*@@A'@Q@@@\@AY5BTSDI@I@( 6Newring_plugin.Newringjc4@@A0@Q@@ \@[@AXWCDS@H@( 6Newring_plugin.Newringjm>@@A9@Q@@f a@`@ABC]@G@( 6Newring_plugin.NewringjwH@@AB@Q@@@z@As@Br Cg@F@( 6Newring_plugin.NewringjR@@AK@Q@@ z@v@At@BCq@E@( 6Newring_plugin.Newringj\@@AT@Q@@@}@ACz@D@( 6Newring_plugin.Newringje@@A\@Q@@@@A B@C@( 6Newring_plugin.Newringjhjn@@Ad@Q@@ @B@B@( 6Newring_plugin.NewringjOQv@@@k@Q@@@@A@A@( d6Newring_plugin.Newringjqjq@RܐA!i@V+constr_expr@@ @jq~jq@@@R@@@B@@A@@A@@B@_F@@AL@@WB@@gA@@ABC)I@@D@@AAH@@BDK@@YG@@AE@@WC@@A"J@@BCE@B@( \6Newring_plugin.Newringjq3@@A0@R6@@$BI( 46Newring_plugin.Newringj>\j>p@@A!t@W@@ @j>Vj>W@@@RI@@@`K@B@@A8@C@@AB8@C( 6Newring_plugin.Newringk'k=@@AҰ!t@W9@@ @k !k "@@@Rb@@N@C@@ABN@C0( 6Newring_plugin.Newringkk@@A~!t@Y@@ @k"k#@@$spec@Wh@@ @k+k,@@@R@@9n@C@@D@@ABCp@DR( 6Newring_plugin.Newringk9mk:m@SuA |#sth@@@ @kFmkGm@@}#ext@@@ @kOmkPm@@@R@@@]@AC@@@D@@ABC@E@( 6Newring_plugin.Newringk]mk^m@SA$@R@@D@( 6Newring_plugin.Newringkfmkgm@@A+@R@@D( \6Newring_plugin.Newringkn*Hko*l@@A?{!t@W@@ @kx*Bky*C@@@R@@@C@@AB@C( 46Newring_plugin.Newringkk)@@AUz!t@W@@ @kk@@@R@@@C@@AB@C( 6Newring_plugin.Newringkk@@Aky!t@Zx@@ @kk@@@R@@@C@@AB@Cɠ(6Newring_plugin.NewringkEkE@SAx!k@Z򠰖Tp @@ @kE^kE_@@@S@@@@AC@@@AB@C@(6Newring_plugin.NewringkEd@@A@S!@@ C(6Newring_plugin.Newringk0;kq@A@@S)@@@@A@A((6Newring_plugin.Newringkk@@Am˰"id@S@k2Gk2I@@!t@S@k2Jk2K@@$mods@S@k2Lk2P@@!k@[;h@@"0@@"/""@l SZl S[@@#set@k8h@@"3@"2@@"1"#@lS\lS_@@#inj@kKh@@"5@@"4"$@l+S`l,Sc@@'cst_tac@kZ[ @@"7@@"6"%@l:Sdl;Sk@@#pre@kiX@@"9@@"8"&@lISllJSo@@$post@kxX@@";@@":"'@lXSplYSt@@%power@k[=@@">X@@"?@"=@@"<"(@lnSuloSz@@$sign@kX@@"A@@"@")@l}S{l~S@@#div@kX@@"C@@"B"*@lSlS@@@S@@@]M~@D@@jJ@@ABE@@C@@A~K@@M@@ABCA@@XH@@AJG@@BiI@@L@@A9F@@B@@ABCD@UA@@AUB@@B@M@(6Newring_plugin.NewringlSlS@rdOA@"+".A@T@@@.@A*@@AB@C@(6Newring_plugin.NewringlSU@@@@T#@@ C@(6Newring_plugin.Newringl l &U@@An°!e@T@ll@@#req@hh@@""@l l@@'cst_tac@hs@@""@l%+l%2@@'pow_tac@h~@@""@mOUmO\@@(field_ok@h@@""@mymy@@.field_simpl_ok@h@@""@mm@@1field_simpl_eq_ok@h@@""@m&m'@@4field_simpl_eq_in_ok@h@@""@m1 m2@@'cond_ok@h@@##@m<?Em=?L@@&pretac@h@@##@mG djmH dp@@'posttac@h@@##@mR mS @@@T@@@(I@@AkC@@~A@@ABXE@@9H@@ACEG@@SF@@K@@ABlD@@-J@@AB@@BCD@XA@@AXB@@B@KA(6Newring_plugin.Newringmv mw @AA@T@@$@@ABCD@J(6Newring_plugin.Newringm @@A@T@@ JA(6Newring_plugin.Newringm dsm d@AA@T@@:4,@)@ACD(@I(6Newring_plugin.Newringm df@@A@T@@ IA(6Newring_plugin.Newringm?Om?`@AA@T@@@N@AL@BKD=@H(6Newring_plugin.Newringm?A@@A@U@@ HA(6Newring_plugin.Newringm m;@AA@U@@^@^@A[@BX,CDS@G(6Newring_plugin.Newringm@@A@U@@ GA(6Newring_plugin.Newringmm@AA@U$@@+t@p@AmABCh@F(6Newring_plugin.Newringm@@A@U/@@ FA(|6Newring_plugin.Newringmm@AA @U9@@?@@AVBC}@E(l6Newring_plugin.Newringm@@A@UD@@ EA(h6Newring_plugin.Newringmymy@AA@UN@@T@@A@BC@D(X6Newring_plugin.Newringny{0@@A(@UY@@ DA(T6Newring_plugin.Newringn O_n Ou@AA1@Uc@@i@@AB@C (H6Newring_plugin.NewringnOQD@@A;@Um@@ CA(D6Newring_plugin.Newringn%5n %K@AAD@Uw@@@B@B (86Newring_plugin.Newringn*%'W@@AM@U@@ BA(46Newring_plugin.Newringn2n3!@AAV@U@@@@A@A ($6Newring_plugin.Newringn=j@@@_@U@@ A@(6Newring_plugin.NewringnCnD@@@p,!f@U@@$*@nPWinQWj@@"lH@U@nVWvnWWx@@"rl@U@n\Wyn]W{@@!t@U@nbW|ncW}@@@U@@@!D@@AC@@BB@@A@@AC@YE@@AX/F@@jkA@@AV'G@@BCZgC@@]B@@AZBD@@BD@D@(6Newring_plugin.Newringnn@@AA"gl@^@@$P$B@nn@@%sigma@Z@@$H$E@nn@@#env@U@@$O$L@nn@@!e@o|@@% %@nn@@@V@@@D@@AC@@B4A@@+B@@AC@ZHE@@AyH@@XF@@ABsI@@jA@@AVyG@@BCZC@@]kB@@AZD@@xJ@@tK@@ABCD@D@(6Newring_plugin.Newringnn@L-@@%% A]@V4@@-D@(p6Newring_plugin.Newring@Aa@V8@@1D@(X6Newring_plugin.NewringnEKnE@ljP@@$A@@$@$̐Bx"rl@Vs$S@o o @@&evdref@m@@$g$e@@$d$a@o,6o,<@@!e@Y$i@oLVoLW@@"rl@j@@$}$z@o#o$@@"lH@j@@$$@o.o/@@%field@jj@@$@@$$@o=#o>(@@@V@@@2J@@A@EI@@M@@ABC@'L@@A3KTH@@@ABD@M@(H6Newring_plugin.NewringoTE]oUE@l֠O@@$@@$$ՐAl@V@@"N@(,6Newring_plugin.NewringofE~@l砰$$@@$$B~@V@@4M@(6Newring_plugin.NewringoxEoyE@k\k[@@$@@$$B@V@@FM@(6Newring_plugin.Newring@A@V@@JMA(6Newring_plugin.Newringo+oA@AA@V@@T@R@ABOC@L(6Newring_plugin.Newringo@@A@V@@ LA(6Newring_plugin.Newringoo@AA@V@@@a@A@BC@K(6Newring_plugin.Newringo @^@@$C@W @@K@(6Newring_plugin.Newringo@@A@W@@KA(6Newring_plugin.Newringoo@AA@W@@5@@A@BC@J(6Newring_plugin.Newringo @WBD@W*@@ J@(6Newring_plugin.Newringoo@WM$A@W5@@N@(\6Newring_plugin.Newringo@@A@W;@@JA(X6Newring_plugin.NewringoLZoL{@AC@WE@@@<]B;)C8@I (<6Newring_plugin.NewringoLR@@A@WO@@ I@(06Newring_plugin.Newringo,2@@A@WU@@@L@AK9CH@HA(,6Newring_plugin.Newringp p (@AC@Wb@@ WVBT@G (6Newring_plugin.Newringp@@A@Wk@@ CA(6Newring_plugin.Newringpp@AA@Wu@@@jiBg@B (6Newring_plugin.Newringp(@@A@W~@@ BA(6Newring_plugin.Newringp0p1@AA@W@@@}@Az@A (6Newring_plugin.Newringp;@@@@W@@ A@(6Newring_plugin.NewringpA #$pB #$@@Aq۰%sigma@i@pJ##pK##@@!t@i@pP##pQ##@@!c@o@@K?@p[ #$ p\ #$ @@@W@@@$QL@C@@D@@AB B@@A@@AC@j#A@@A@i@@@AD@(6Newring_plugin.Newringpp $ $)pq $ $:@@A.@W@@@@AB C@(P6Newring_plugin.Newringpz##p{##@=Ƞo@@/o@@0=@@1=@@2@@.BM@W@@@0@A.@B-+B@(86Newring_plugin.Newringp##)@@@V@W@@ B@(6Newring_plugin.NewringpN  pN  @oAr  %f_map@o@pDpD@@ $subs@o \@pDpD @@ !f@o \@pD!pD"@@ $args@o e \@pD#pD'@@ !n@o \@pD(pD)@@@&ConstrA %fargs@H%array@o e~@@e} ev@pHpH@@ %args'@@@e ew@pHpH@@ "f'@m@@e e@pIpI@@@XP@@@(Q@J(Q@F@@AFB@@%G@@ABPC@@I@@AbE@@=H@@ABHA@@aD@@ACD@pmB@@pA@@AB@p@@@pU@@ABJ@(6Newring_plugin.NewringqN  @@A}@Xu@@%J@(6Newring_plugin.Newringq%M T iq&M T r@p)B #map@pT Z e@q2K q3K @@ !f@@p] e@pG epD e@e e@e e@qEL  qFL  @@@X@@LLDCA@B?@&K@@AA@BCD>:M@(6Newring_plugin.NewringqUM T tqVM T @H%array@p_@@ e eB9@X@@L@(6Newring_plugin.NewringqgM T [qhM T @@A@@X@@"L@(|6Newring_plugin.NewringqnL  @@AE@X@@tj&D_[K@(d6Newring_plugin.NewringqvJqwJ@pA@X@@@|@AzyBwvDlhI@(\6Newring_plugin.NewringqJ @p eA@X@@I@(T6Newring_plugin.NewringqJ@@A@X@@IA(P6Newring_plugin.NewringqIqI@AA@X@@@BCDH(46Newring_plugin.NewringqI@@A@X@@ H@( 6Newring_plugin.NewringqHqH@ڠ@ex e|B @Y@@@@A@@ABCE@(6Newring_plugin.NewringqH@@A@Y@@ E@(6Newring_plugin.NewringqFAiqFAy@p ecA!@Y@@E@(6Newring_plugin.NewringqFAb @@A'@Y"@@E@(6Newring_plugin.NewringqFAC3@@@-@Y(@@!E@(6Newring_plugin.NewringqL  +qL  C@pB !i@@qL  qL  @@ !t@@qL  qL  @@@Y?@@@B@@A A@@B@GC@@AE@@q1B@@AFD@@qA@@ABC@F@(l6Newring_plugin.NewringqL  #qL  P@@@$@YU@@B@(86Newring_plugin.Newringr@hr@h@@As %f_map@qC@rzrz@@ $subs@c W7@rzrz@@ !t@d W8@r!zr"z@@@$TermA !f@  Z \x@r-@hxr.@hy@@ $args@H%array@@@\|@r:@hzr;@h~@@@Y@@@(S,@E(S/@D@@AF@@#G@@AB=C@@9B@@3A@@ABC@qD@@r3C@@AB@qKB@@q@@@ABG@(6Newring_plugin.NewringrZAr[A@qrAU@Y@@@"@A@BCG@(6Newring_plugin.NewringrgArhA@@A`@Y@@ E@(6Newring_plugin.NewringrnBroB@@Ag@Y@@E@(6Newring_plugin.NewringruFUrvFb@o,kind_of_term_ Zo%types@@Z@%SortsA!t@@Z@$UnivA(Instance\!t@@Z@@ZA@Y@@@[@AV@BTSCQMD@(6Newring_plugin.NewringrFNrB@@A@Y@@ D@(p6Newring_plugin.Newringr}r}'@q W:B #map@q@r}r}@@@Z @@r@ E@@ABrqCokI@(P6Newring_plugin.Newringr}r}7@@A@Z@@ E@(x6Newring_plugin.Newringr|r|@qA@Z!@@@@AB~C@(p6Newring_plugin.Newringr| @rA@Z,@@ C@(`6Newring_plugin.Newringr|9@@@@Z2@@C@(H8Newring_plugin.G_newring !plugins/setoid_ring/g_newring.ml4||$'@F$unit@@@WD@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@+Ltac_pluginA@"PpA@$UtilA@(LibnamesA@'PrinterA@+Newring_astA@'NewringA@&StdargA&TacargA@$PcoqA&ConstrN %PltacE1__coq_plugin_name@@@ $ #@NW55OW5T@@-(PptacticD@(PpconstrA z+pr_ring_mod@@@+Newring_astA(ring_mod@*ConstrexprA+constr_expr@@R zN@@N zN@"PpA!t@@QQ zN@N zN@|h}h@@,wit_ring_mod@@&GenargA+genarg_type-@*ConstrexprA+constr_expr@@I@@W:@@W?@@W@@W@vF  @@(ring_mod@@$PcoqA$Gram@%entry-_@@dW@vF  @@,pr_ring_mods@@I$list@ng@@dX@@dWdG@@dFd8c@@d>d9@d:d7@H  H  @@-wit_ring_mods@@^A]I$list@dtH@@tGd^@@dq@@dr@@dp@J  M K N@@)ring_mods@V e@@ePd@J   M K N@@,pr_field_mod@@)field_mod@@@@@@@@$b%b@@-wit_field_mod@@A@+Newring_astA)field_mod@@Hנ@@꠰@@@@@FfCCGj@@)field_mod@!@@@SfCCTj@@-pr_field_mods@@P@@=@@<,@@+@@#@@qlrl@@.wit_field_mods@@AQ@@GC$@@V)@@W@@U@n((q@@*field_mods@꠰@@5e@n((q@@@@@'NewringA@\A@A\\@B@@@hA@@AfJ@@M@@ABH@@_K@@A`B@@E@@ABCD@@G@@AI@@LL@@ABBC@@F@@ACD@@M@(8Newring_plugin.G_newringA@@ @@A@#LocA'located@&ExtendA.ty_user_symbol@+Ltac_pluginA'Tacexpr@/raw_tactic_expr@@x 0glob_tactic_expr@@y@)GeninterpA#Val@!t@@`t@@w@%NamesA"Id@!t@@z@v@@B*TacentriesI@s@@kS@(8Newring_plugin.G_newringA@@P@@A@&GenargA$ArgT@#tagF<7@@A @@@T@(8Newring_plugin.G_newring3A@@m@@A6A+@@@S@(t8Newring_plugin.G_newring>A@@x@@AwrI$list@@*ConstrexprA+constr_expr@@@@@(TactypesA4glob_constr_and_expr@@@@@'EConstrA&constr@@_@@^@@@@@@@ŐBz@@@S@(H8Newring_plugin.G_newringA@@@@AwAܠ1ݠ#@@A@@@T@(,8Newring_plugin.G_newringA@@@@A$A@ @@S@(8Newring_plugin.G_newringA@@@@A栰ᠰom@@2@@|h@@3 @@I$list@g&constr@@[O@@Q@@@@@@@B@N@@FS@(8Newring_plugin.G_newringA@@+@@A۠8%-& '@@(+A@b@@ZT@(8Newring_plugin.G_newringA@@?@@A#8A@m@@eS@(l8Newring_plugin.G_newringswz@F$unit@@@B@|@@tM@(8Newring_plugin.G_newringA@@Y@@AXJ&option@@&GenargA:raw_abstract_argument_type@%NamesA"Id@!t@@[7@@6@@5@&ExtendA&symbol@*VernacexprA+vernac_expr@@2"@@8@4B@@ABR@@@O@(8Newring_plugin.G_newringbA@@@@A7SA]@@@P@(8Newring_plugin.G_newringmA@@@@A%entry=j@@iAn@@@O@(8Newring_plugin.G_newring~A@@@@A_\;@@@@@@PK@@@@@B@@@O@(l8Newring_plugin.G_newringA@@@@AA@ @@P@(H8Newring_plugin.G_newringA@@@@AC'@@A@@@O@(8Newring_plugin.G_newringA@@@@AJ&option@\ @@@@@@࠰ݠ@@@@@B@I@@AO@(8Newring_plugin.G_newringA@@&@@A$A@T@@LP@(8Newring_plugin.G_newringA@@1@@A@&GenargA+genarg_type47@@ @@ D@@ @@ @@A@@@|P@(8Newring_plugin.G_newring'A@@a@@A$@@#A&@@@O@(8Newring_plugin.G_newring6s7wz@&@@vB2@@@M@(P8Newring_plugin.G_newringBsCwz@2@@kB>@@@M@(8Newring_plugin.G_newringNn((Oq@F$unit@@@:BM@@@M@(8Newring_plugin.G_newring]n((^q@@AT@l@@kf@jn((kq@@@@@@'*match*@N@@A@B@M@@ACDE@@NA(8Newring_plugin.G_newring~n((q@AC"@@@BCD@@M(@8Newring_plugin.G_newringA@@@@A@#TokA!t@@A:@@@R@(8Newring_plugin.G_newringA@@@@A@@AH@ @@&Q@(8Newring_plugin.G_newringA@@@@A!@@AV@@@4P@(8Newring_plugin.G_newringn((q@@A]@@@;MA(8Newring_plugin.G_newringn((q@AC@(@@ @BCD@@L(8Newring_plugin.G_newringn((q@@&GenargA6abstract_argument_typev &rlevel@@n@@m~A@G@@L@(8Newring_plugin.G_newringn((q@yvo@@Yn@@Z@@X]A@^@@6H@F@F@ABCBCD@@K@(X8Newring_plugin.G_newringfCCj@@@B@o@@ge@c@AB_^C\D@@J@((8Newring_plugin.G_newringfCCj@@A @r@@@$fCC%j@@@@@@@K@@A@BJ@@@A}|BCz2D@@KA($8Newring_plugin.G_newring7fCC8j@AC!@@@@@ABCAD@@J(8Newring_plugin.G_newringEA@@@@A@@{~A5@@@N@(<8Newring_plugin.G_newringSfCCTj@@A<@@@JA(88Newring_plugin.G_newring\fCC]j@ACP@@@@@@ABCfD@@I(8Newring_plugin.G_newringjfCCkj@Q@@@@Ai@@@I@(8Newring_plugin.G_newring}fCC~j@YVK@@J@@@@A@@@0@@ABD@@H@(8Newring_plugin.G_newring]`@@@D@@@@@ABC@@G@(8Newring_plugin.G_newringA@@@@Aᠰܠ@@FF@@FF@)GeninterpA#Val@!t@@FF@@F@@F@FF@@FBűI@9@@8M@(\8Newring_plugin.G_newringA@@@@A@&GenargA$ArgT@#tag5Fɠ2Fʠ/F@@GGАA@V@@UO@(88Newring_plugin.G_newringA@@3@@A.FA*@a@@`M@(8Newring_plugin.G_newringA@@>@@A=8Ơ@@FaFM@@FLF1@@FbFO@@FNF2E&constr@@F@@FF-@@F06@@F3@F/F>@@F=Bh@@@M@(8Newring_plugin.G_newringBA@@|@@A,3GT)GU GV@@GWGZA}@@@N@(8Newring_plugin.G_newringWA@@@@A$FgA@@@M@(8Newring_plugin.G_newringbA@@@@A!@@FF@@FFz@@FF@@FF{&constr@@FF@@FFv@@Fy@@F|@FxF@@FB@@@M@(T8Newring_plugin.G_newringA@@@@A4G*G G@@GGA@@@N@(88Newring_plugin.G_newringA@@@@A#FA@@@M@(8Newring_plugin.G_newringO P P[@@@ݐB@)@@(G@(8Newring_plugin.G_newringA@@@@A@@m@@l@@k@@h@@n@jx@@wB@S@@RI@(|8Newring_plugin.G_newringA@@0@@A!A@^@@]J@(X8Newring_plugin.G_newringA@@;@@A*@@A@m@@lI@(8Newring_plugin.G_newringA@@J@@AI񠰳@@@@@@Š⠰D @@@@@ѐB!@@@I@(8Newring_plugin.G_newring7A@@q@@AA,@@@J@(8Newring_plugin.G_newringBA@@|@@Aՠ'@@A;@@@I@(8Newring_plugin.G_newringQA@@@@A2/?@@>@@@@&@@@#@@"Be@@@I@(8Newring_plugin.G_newring{A@@@@A!4Ap@@@J@(t8Newring_plugin.G_newringA@@@@A,5@@GA@@@8@@HC@@B9@@7=A@ @@ J@(P8Newring_plugin.G_newringA@@@@ABZ@@YA@@@I@(08Newring_plugin.G_newringO P P[@@@MB@'@@&G@(8Newring_plugin.G_newringO P P[@@@pB@3@@2G@(p8Newring_plugin.G_newringJ  M K N@@@eUB@?@@>G@(@8Newring_plugin.G_newringJ  M K N@@AӰ@=d@@dd@J  M K N@@@S@@@@H@@AM@BEDCB@G@@A= A@@ Ax@@ A@ A A@@ AB g ]qI@@@4G@(@8Newring_plugin.G_newring A@@@@Ap, A) A& A@@ A AA@@@JH@($8Newring_plugin.G_newring A@@@@A' EA#@ @@UG@(8Newring_plugin.G_newring A@@@@A࠰۠@(LibnamesA)reference@@ F< F(@@ F' F @)MisctypesA&or_var@#LocA'located@)GlobnamesA0global_reference@@ F?@@ F>@@ F= F*@@ F) F  @)GlobnamesA0global_reference@@ G=@@ G< F@@ F @@ F@ F  F@@ FB@ a@@G@(8Newring_plugin.G_newring A@@ >@@AR F/C F0# F1@@ F2 F5A@ v@@H@(8Newring_plugin.G_newring A@@ S@@A$ G#A@ @@G@(`8Newring_plugin.G_newring $YVV %^@ #@@ D @ @@A@( 8Newring_plugin.G_newring 0A@@ j@@A i dO&string@@@=~  z@@} J@@@|@@B 9 / CI@ @@G@(8Newring_plugin.G_newring XA@@ @@A B"堰$栰&@@:A@ @@H@(8Newring_plugin.G_newring lA@@ @@A%2A!@ @@%G@(8Newring_plugin.G_newring wA@@ @@A  @%NamesA"Id@!t@@=;à ;Ġ;@@;  @@;@;;@@;ϐBK@ @@OG@(p8Newring_plugin.G_newring A@@ @@A $;ޠ&;ߠ(;@@;;A_@ @@cH@(T8Newring_plugin.G_newring A@@ @@A#;Aj@ @@nG@(8Newring_plugin.G_newring A@@ @@A  @@AXAA A@@A @@A@AA$@@A#B@ A@@G@(8Newring_plugin.G_newring A@@ @@A ΠA2 A3"A4@@A5A8A@ U@@H@(8Newring_plugin.G_newring A@@ 2@@A#AFA@ `@@G@(x8Newring_plugin.G_newring W55 W5T@F$unit@@@ A @ o@@A@(D8Newring_plugin.G_newring ] ]@@@Ű #map@KA?@ A@@ U@@A@ #ist@@)GeninterpA+interp_sign@@AQ@ )A@@ c@@A@@ @@@A@@B@@AB@@B@(8Newring_plugin.G_newring 5[ 6[@@@ #map@A@ ?A@@ y@@A@ "id@;@ FA@@ @@A@ +@*@@;@ NA@@ @@A@@ @@@B@@AA@@C@@AB@@C@(8Newring_plugin.G_newring \bU[ ]bUj@@@ !t@ A@ fA@@ @@A@ !l@ F+@ mA@@ @@A@ R@Q@@ G3@ uA@@ @@A@@ @@@ A@@AB@@C@@AB@@C@(8Newring_plugin.G_newring t t@ @@ zW {WA v !t@@*ConstrexprA+constr_expr@@O@ t t@@@ @@@%param@A@@B@@AB@@C@(8Newring_plugin.G_newring t t@ 9@@ zW {WB$@ @@B@(8Newring_plugin.G_newring t t@@A+@ @@BL(8Newring_plugin.G_newring s s@ P@@ zWb {WgA  !t@;+constr_expr@@O@ s s@@@ 5@@@8@B@@AB@@C@(h8Newring_plugin.G_newring s s@ n@@ zWa {WoB@ G@@B@(L8Newring_plugin.G_newring s s@@A%@ N@@B5(,8Newring_plugin.G_newring qb qb@ @@ zV {VB  !l@I$list@@(LibnamesA)reference@@N@@N@qbvqbw@@ $spec@+constr_expr@@N@qbxqb|@@@ @@@@B@@(D@@AB@C@@AC@@E@(8Newring_plugin.G_newring+qb,qb@ @@ {V |VB9@ @@F@( 8Newring_plugin.G_newring9qb:qb@ @@ |V }VBG@ @@%G@(8Newring_plugin.G_newringGqbHqb@ @@ }V ~VBU@ @@3H@(8Newring_plugin.G_newringUqbVqb@ @@ ~V VAc@ @@AI@(8Newring_plugin.G_newringcqbdqb@ @@ ~V VBq@ @@OH@(8Newring_plugin.G_newringqqbrqb@ @@ }V ~VǐA@ @@]G@(8Newring_plugin.G_newringqbqb@ @@ |V }VϐA@ @@kF@(8Newring_plugin.G_newringqbqb@ @@ {V |VِC@ @@yE@(\8Newring_plugin.G_newringqbqb@ -@@ zV {VA@ @@D@(L8Newring_plugin.G_newringqbqb@@A@ @@D( 8Newring_plugin.G_newringrru@ C@@ zV {WB 'cst_tac@@+Ltac_pluginA'Tacexpr@/raw_tactic_expr@@N@r r@@ $spec@@@N@rr@@@ 7@@@@D@@AB=@C@@AC@@E@(8Newring_plugin.G_newringrr\@ s@@ {W |W B0@ L@@F@(8Newring_plugin.G_newringrrQ@ @@ |W  }WB>@ Z@@#G@(8Newring_plugin.G_newringrrG@ @@ }W ~WBL@ h@@1H@(8Newring_plugin.G_newring r r)@ @@ ~W W"AZ@ v@@?I@(8Newring_plugin.G_newringr-rG@ @@ ~W W*Bh@ @@MH@(8Newring_plugin.G_newring'rK(rQ@ @@ }W ~Wi@@@ zQR {R^B@@@C@(8Newring_plugin.G_newringKiLi@@A$@@@C(8Newring_plugin.G_newringSjTj-@@A>@@@@W@A@B@@B(D8Newring_plugin.G_newring^h_t@A@I@@@@@A@@A((8Newring_plugin.G_newringhx + Tix + t@@@'eq_test@c@qvrF  @@#loc@@#LocA!t@@c@vF  @@@@@@C@@AA@@@B@@AB@@C@( 8Newring_plugin.G_newringy w y w @@@ @@@c~@vF  @@@@@@ A@@@B@@AB@@B@(8Newring_plugin.G_newringz  z  @@@ %morph@ca@vF  @@<@;@@c:@vF  @@@@@@ A@@AC@@ @B@@AB@@C@(8Newring_plugin.G_newring{  {  0@@@ <'cst_tac@@@c$c @vF  @@`@_@@b@vF  @@@=@@@D@@AA@@D@EG@CJ@B@@AB@@E@(8Newring_plugin.G_newring| 3 c| 3 v@@@ f!l@@@b@@bb@vF  @@@@@bQ@vF  @@@k@@@D@@AA@@r@Eu@Cx@B@@AB@@E@(t8Newring_plugin.G_newring} y } y @@@ #pre@@@b;b"@)v*F  @@@@@a@1v2F  @@@@@@ A@@A@E@C@B@@"D@@AB@@E@(T8Newring_plugin.G_newringF~  G~  @@@ $post@}@@aa@SvTF  @@@@@ao@[v\F  @@@@@@ A@@A@E@C@B@@"D@@AB@@E@(08Newring_plugin.G_newringp  #q  2@@@ #ext@@@a[aM@~vF  @@#sth@@@aZa>@vF  @@@@@a@vF  @@@@@@$D@@AA@@B@B@@C@@AC@@D@(8Newring_plugin.G_newring@ 5 [@ 5 n@@@ )sign_spec@@@``@vF  @@>@=@@`@vF  @@@@@@ A@@A @B@@C@@AB@@C@(8Newring_plugin.G_newringB  B  @@@ ?!l@Р@@`@@``@vF  @@(pow_spec@@@``u@vF  @@r@q@@`6@vF  @@@O@@@(E@@AA@@BV@FY@D\@B@@$C@@AC@@F@(8Newring_plugin.G_newringD  )D  L@@@ {{'cst_tac@M@@`_@vF  @@|(pow_spec@@@`_@vF  @@}@@@_@#v$F  @@@@@@$E@@AA@@B@F@D~@B@@$C@@AC@@F@(8Newring_plugin.G_newring:E O s;E O @@@ x(div_spec@@@__@GvHF  @@y@@@^@OvPF  @@@@@@C@@AA@@z@B@@AB@@C@(8Newring_plugin.G_newring^v_F  @@@L@@@@@C@B@A@@A@A@@A@C@(`8Newring_plugin.G_newringqH  rH  @@@d?dECg!l@@H  H  @@@@@@ A@@A@2A@@A@A@(<8Newring_plugin.G_newringH  H  @@@@@@ A@(08Newring_plugin.G_newringL  DL  H@@@ $mods@@J  M K N@@)@(@@d@J  M K N@@@@@@ A@@AC@@ @D@B@@AB@@D@(8Newring_plugin.G_newringJ  M K N@@@@@@@@C@B!@A@@A@A@@A@C@(8Newring_plugin.G_newringRZ@@A@+@@@4.@A@@A@@AB(8Newring_plugin.G_newringO P P[@@A@8@@ A (8Newring_plugin.G_newringO P P[@A@@@@@A(8Newring_plugin.G_newringRZ@@Aװ$atts@@,VernacinterpA$atts@@Dtk@RZ@@"st@@+VernacstateA!t@BCti@ R Z@@@o@@@@C@@A,B@@A@@AB@@CA(8Newring_plugin.G_newringTZ@AB9@@@@@A@B@@B (8Newring_plugin.G_newring(SZ^)SZ@F$unit@@@tBL@@@B@(x8Newring_plugin.G_newring7SZr8SZ@@"PpA!t@@ttA_@@@&B@(`8Newring_plugin.G_newringJRKZ@@@f@@@-B@(<8Newring_plugin.G_newringQVRY@@@|B|JBx"fn@@(LibnamesA%SpmapW#key@@u@lTmT@@"fi@)ring_info@@u@yTzT@@%sigma@@#EvdA(evar_map@@vTu@UU@@#env@@'EnvironA#env@@vUu@UU@@@@@@,@C@@D@@AB6A@@HB@@-E@@ABC@@E@((8Newring_plugin.G_newringW&.Y@>@@|K|SB[@@@E@(8Newring_plugin.G_newringW&/Y@L@@|U|[Bi@%@@(F@(8Newring_plugin.G_newringW&/X^@Z@@|]|cBw@3@@6G@(8Newring_plugin.G_newringW&/X^@h@@|e|kB@A@@DH@(8Newring_plugin.G_newringW&/X^z@v@@|m|sB@O@@RI@(8Newring_plugin.G_newringW&/W&[@@@|u|{B@]@@`J@(8Newring_plugin.G_newringW&/W&T@@@|}|A@k@@nK@(8Newring_plugin.G_newringW&>W&T@@%NamesA"Id@!t@@||A@@@K@(8Newring_plugin.G_newring#W&V$W&[@@@||A@@@J@(8Newring_plugin.G_newring1X^h2X^z@@@|tA@@@I@(t8Newring_plugin.G_newring?X^}@X^@@@|lC@@@H@(T8Newring_plugin.G_newringMX^NX^@@@|dtA@@@G@(@8Newring_plugin.G_newring[Y\Y@@@|\|A @@@F@((8Newring_plugin.G_newringiYjY@@@|TC@@@E@( 8Newring_plugin.G_newringwV xY@@A@@@E@(8Newring_plugin.G_newring~UU@@uvSA,@@@@@@AB@@B@(8Newring_plugin.G_newringUY@@@6@@@ B@(8Newring_plugin.G_newringO P P[@@A@@@@@A@@A@A@@A@AB(8Newring_plugin.G_newringP  Q @@A"id@@&GenargA4raw_generic_argument@@ss@A@@@@A@!t@s@A@@@@A@!l@s@A@@@@A@ @@@ss@P  Q @@@@@ss@P  Q @@@t@@tt@P  Q @@@P@@@@D@C@B@@.HPG@@ABJ;E@@f@,IHF@@ABCh@JA(8Newring_plugin.G_newring P   Q @ABf@q@@!Ct@I (t8Newring_plugin.G_newringP  Q @ 6abstract_argument_type=t,&rlevel@@t(tt @@t tA@@@ J@(d8Newring_plugin.G_newring4P  5Q @=Xt8V@@t"t@@tt7]@@t#t@@tt@@ttA@@@IJ@(P8Newring_plugin.G_newring]P  ^Q @@A@@@PIA(L8Newring_plugin.G_newringfP  gQ @AB@@@{l@@i@ABC@H(<8Newring_plugin.G_newringsP  tQ @\s렰Z@@tss@@ssA@@@I@( 8Newring_plugin.G_newringP  Q @@A@@@%HA(8Newring_plugin.G_newringP  Q @AB@@@@@@AB1C@G( 8Newring_plugin.G_newringP  Q @sΠ@@sss@@ss֐A @@@H@(8Newring_plugin.G_newringP  Q @@A@@@%G(|8Newring_plugin.G_newringO P P[@A@@'@@,A&(t8Newring_plugin.G_newringP  Q @@A'@s@P  Q @@@tjss@P  Q @@@C@@@r@C@@AB@@A@@AB@A@@A C@@B@@AB@C@(h8Newring_plugin.G_newringQ Q @@@t-tFC2!l@t.@Q  Q  @@@h@@@#@A C@@#@AB"@C@(P8Newring_plugin.G_newring@A@q@@ C@(H8Newring_plugin.G_newringQ  Q  @@AI@x@@@3@A1@B0@B@(88Newring_plugin.G_newringQ  Q  @@AT!l@!t6@'Q  (Q  @@@@@@F@A C@@F@ABE@C@( 8Newring_plugin.G_newring3P  4Q @@@h@@@B@(8Newring_plugin.G_newring:O P P;[@@A.!i@A#int@@@stp@KO P PL[@@$depr@e+deprecation@@pp@XO P PY[@@!f@r.vernac_commandw+plugin_args@@p@spp@jO P Pk[@@@@@@%D@@AC@@B5B@@ @A@@AC@@DA(8Newring_plugin.G_newring}O P P~[@A@n@@@@@A@B@@B (8Newring_plugin.G_newringR,RT@@Ay@@@@> @A@@A@@A@(8Newring_plugin.G_newringA@@@@A@A@@@ AB(8Newring_plugin.G_newringO P P[@@A@@@A (8Newring_plugin.G_newringO P P[@A@@@@A(t8Newring_plugin.G_newringR0RS@@@=#loc@F$unit@@@r@R,RT@@@@@@A@@A@@A@(X8Newring_plugin.G_newringO P P[@@A@'@@@< *@A@@A@@AB(,8Newring_plugin.G_newringA@@ @@A@Aİ7'@@&GenargA4raw_generic_argument@@t@A@@@@A@8&@@A@@#@@A@9%@@A@@*@@A@@T@@@@D@C@B@@A6@B@@D4(8Newring_plugin.G_newringO P P[@A@@g@@@A<(8Newring_plugin.G_newring A@@E@@A@@<:#loc@_@A@@L@@A@@v@@@ A@@A@@A@(8Newring_plugin.G_newringO P tO P @@@@@@@; @A@@A@@A@(t8Newring_plugin.G_newring'O P P([@@@5!i@@@{S@4O P P5[@@6!f@@I$list@j@@s@@*VernacexprA5vernac_classification@@q@p@oO@OO P PP[@@@@@@A@@,B@@AB@@B@(88Newring_plugin.G_newring[O P P\[@@@N?!i@ @@!@hO P Pi[@@@!r@I$list@@'EgrammlA1grammar_prod_item@@@@@O P P[@@@@@@(B@@AA@@B@@B@(8Newring_plugin.G_newring__@@AE!f@F@A@@@@A@F"lH@tFP@A@@@@A@G#lrt@F@A@@@@A@H @ @@F@A@@@@A@I!t@)FG@__@@J"lr@6@@G@__@@@)@@@Y@E@@A;D@@(A@@AB7C@@F@@A4B@@'G@@ABC@@G@(8Newring_plugin.G_newring__@0(@GAV@H@@@@A@B@@AC@@D@(8Newring_plugin.G_newring__@@@b@T@@ D@(8Newring_plugin.G_newringdd$@@@A#inj@ t+constr_expr@@@ d  d@@@n@@@B@@A s@A@@B@A@@A@C@(8Newring_plugin.G_newringd(dA@@@ÐB"@@@B@(8Newring_plugin.G_newring'd(dA@@A)@@@BB(l8Newring_plugin.G_newring0c1c@@A"!m@ؠ!@@@;c<c@@@@@@B@@A1@B/@B(L8Newring_plugin.G_newringGbHdA@A@8@@@@;@A9@A"(88Newring_plugin.G_newringQh~Rh~@@@<!m@k@YfCCZj@@@@@@afCCbj@@@@@@ A@@B@@AB@@B@(8Newring_plugin.G_newringmini@@@X#inj@r@@@zfCC{j@@ @@@d@fCCj@@@@@@C@@AA@@ @B@@AB@@C@(8Newring_plugin.G_newringfCCj@@@@@@@ @C @B @A@@A@A@@A@C@(8Newring_plugin.G_newringll&@6@@$*C!l@U@ll@@@@@@ A@@A@A@@A@A@(8Newring_plugin.G_newringll&@@@@"@@ A@(8Newring_plugin.G_newringpepe@@@j$mods@3@n((q@@\@[@@@n((q@@@9@@@ A@@AC@@ @@D C@B@@AB@@D@(8Newring_plugin.G_newringn((q@@@@K@@@ N@C Q@B T@A@@A@A@@A@C@(x8Newring_plugin.G_newringvqs~^v@@A@^@@@ a@A@@A@@AB(\8Newring_plugin.G_newringswz@@A@k@@ A (P8Newring_plugin.G_newringswz@A@@s@@A(H8Newring_plugin.G_newringvqs~^v@@A3@2@@mk@%vqs&~^v@@-@,@kli@2vqs3~^v@@@@@@@C@@A B@@A@@AB@@CA(D8Newring_plugin.G_newringCx D~^t@AB-@@@@@A@B@@B ( 8Newring_plugin.G_newringOwPw @'@@B=@@@B@(8Newring_plugin.G_newring\w @$@@AK@@@B@(8Newring_plugin.G_newringivqsj~^v@@@R@@@%B@(8Newring_plugin.G_newringpzb|q} ]@9@@Bd"fn@@@@x !x #@@"fi@-*field_info@@C@x $x &@@%sigma@@@@y*4y*9@@#env@@@@y*;y*>@@@ @@@:@C@@D@@AB,A@@7B@@#E@@ABC@@E@(8Newring_plugin.G_newring{} \@L@@ĐBJ@%@@E@(8Newring_plugin.G_newring{} 4@Z@@̐BX@3@@(F@(8Newring_plugin.G_newring{| @h@@ԐBf@A@@6G@(x8Newring_plugin.G_newring{|@v@@ܐBt@O@@DH@(h8Newring_plugin.G_newring{|@@@B@]@@RI@(X8Newring_plugin.G_newring{{@@@B@k@@`J@(H8Newring_plugin.G_newring{{@@@A@y@@nK@(88Newring_plugin.G_newring{{@@@A@@@|K@( 8Newring_plugin.G_newring*{+{@@@A@@@J@( 8Newring_plugin.G_newring8|9|@@@ A@@@I@(8Newring_plugin.G_newringF|G|@@@C@@@H@(8Newring_plugin.G_newringT|U| @@@'A@@@G@(8Newring_plugin.G_newringb} c} 4@@@/A@@@F@(8Newring_plugin.G_newringp} 7q} [@@@9C@@@E@(8Newring_plugin.G_newring~zbh} ]@@A@@@E@(x8Newring_plugin.G_newringy*Ay*^@@A@@@@@@AB@@B@(d8Newring_plugin.G_newringy*0} ]@@@@@@ B@(<8Newring_plugin.G_newringswz@@A@@@@@A@@A@4A@@A@AB(8Newring_plugin.G_newringtu"p@@A"id@@@@A@@@@A@!t@ @A@@@@A@!l@@A@@@@A@@@@@tu"p@@@@@@tu"p@@@o@@@tu"p@@@R@@@@D@C@B@@.HKG@@ABJ;E@@a@,IHF@@ABCc@JA(8Newring_plugin.G_newringtu"p@ABa@s@@!Co@I (8Newring_plugin.G_newringtu"p@;@@( @@ A}@@@J@(8Newring_plugin.G_newring2t3u"p@;T6@@"@@5@@#@@@@A@@@EJ@(8Newring_plugin.G_newring[t\u"p@@A@@@LIA(8Newring_plugin.G_newringdteu"p@AB@@@wh@@e@ABC@H(8Newring_plugin.G_newringqtru"p@Z렰X@@@@A@@@I@(8Newring_plugin.G_newringtu"p@@A@@@%HA(8Newring_plugin.G_newringtu"p@AB@@@@@@AB1C@G(8Newring_plugin.G_newringtu"p@Π@@@@֐A@@@H@(p8Newring_plugin.G_newringtu"p@@A @@@%G(8Newring_plugin.G_newringswz@A@@%@@#A(8Newring_plugin.G_newringtu"p@@A@@tu"p@@@j@tu"p@@@A@@@p@C@@AB@@A@@AB@A@@AC@@B@@AB@C@(8Newring_plugin.G_newringu"Wu"n@@@-FC1!l@.@u"*u"+@@@e@@@"@A C@@"@AB!@C@(8Newring_plugin.G_newring@A@n@@ C@(8Newring_plugin.G_newringu"Cu"E@@AH@u@@@2@A0@B/@B@(8Newring_plugin.G_newringu"Ru"S@@AS!l@6@$u"M%u"N@@@@@@E@A C@@E@ABD@C@(8Newring_plugin.G_newring0t1u"p@@@g@@@B@(h8Newring_plugin.G_newring7s8wz@@A1@@@q@DsEwz@@@@@u@NsOwz@@@@@@7v@[s\wz@@@@@@D@@AC@@B)B@@@A@@AC@@DA(T8Newring_plugin.G_newringnsowz@A@e@@@@@A@B@@B (48Newring_plugin.G_newringyvqzvq@@Ap@@@@@A@@A@@A@(08Newring_plugin.G_newringA@@@@A@A{@@@ AB(8Newring_plugin.G_newringswz@@A@@@A (8Newring_plugin.G_newringswz@A@@@@A(8Newring_plugin.G_newringvqvq@@@@@@@vqvq@@@ @@@ A@@A@@A@(8Newring_plugin.G_newringswz@@A@@@@@A@@A@@AB(8Newring_plugin.G_newringA@@@@A@A @@@@A@@@@A@ @ @A@@ @@A@ @@A@@@@A@@<@@@k@Dn@Cq@B@@A1@B@@D/(T8Newring_plugin.G_newringswz@A@@O@@;A7(48Newring_plugin.G_newringA@@-@@A@@7@V@A@@3@@A@@]@@@ A@@A@@A@( 8Newring_plugin.G_newringss@@@@g@@@j@A@@A@@A@(8Newring_plugin.G_newringswz@@@@@@|@swz@@@@_@@@@@@@x@,s-wz@@@@@@A@@"B@@AB@@B@(8Newring_plugin.G_newring8s9wz@@@1@@@@DsEwz@@@۠ؠ@@@@@SsTwz@@@@@@B@@AA@@B@@B@(8Newring_plugin.G_newring_ `!@@AY!f@v@lA@@@@A@"lH@@sA@@@@A@"lt@!@zA@@@@A@_@^@@C@A@@@@A@!t@]I@@@!l@Ӡ@@PJ@@@@@@@"+@E@@A:D@@B&A@@F@@A8C@@3B@@&G@@ABCD@@G@(t8Newring_plugin.G_newring@/'@KNAU@@@@@A@B@@AC@@D@(X8Newring_plugin.G_newring!@@@a@&@@ D@@) 7/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit K/home/gares/work-area/jscoq/coq-external/coq-v8.8+32bit/plugins/setoid_ring@Y>GC(.Newring_pluginP䠠@:Newring_plugin.Newring_astAH@&ConstrA@(CClosureA젠@&ConstrAࠠ 𠠑@$UtilA  Dࠠ !@'EConstrAD@'TacmachAؠ@)ProofviewA𠠑@'EConstrAt@+Ltac_pluginA-@)ProofviewA8@)ProofviewAL@)ProofviewAt@)ProofviewA@)ProofviewA @@@@̠@@@@*field kind@𠠐TV)Not_foundCx .field inverse should be declared as a morphism@@)Mod_substAXt Ԡc8f`il@(LibnamesA蠠@(RetypingA(@,ReductionopsA\ 9arguments of field_simplify do not have all the same type@|@"PpA@%field@@@'CErrorsA@)Field_tac@@@ȠԠ,䠠@(RetypingA0d@'EConstrAr!"@̠8Ԡ@'PrinterA!"@FI$ +cannot find a declared field structure over@4R<ULX\[l^|@%field@@@'CErrorsA@>plugins/setoid_ring/newring.ml@bL@\.Assert_failureC@(RetypingA@'EConstrA<5caml_array_unsafe_get  0 H`x젠@'TermopsA  |@A@ ܠ-! 0!03!@6!P9!h<!?!B!E!ȠH!ࠠD!C"42"d"РP#O#>$$$@@@%$3bad field structure@%H+++Р@'TacmachA,@)ProofviewA,(@'EConstrA,,ؠ-H@)ProofviewA-p@)ProofviewA-@)ProofviewA-@)ProofviewA-Ԡ@)ProofviewA.D@@@@/@@@@/L00,@'EConstrA0P0`2050Ԡ1 @&TypingA10)ring kind@2РH>@(EvarutilA>?@+SmartlocateA?0?T!??@4@#LocA@\/@@#LocA@@#LocA@̠<A0AdA@(EvarutilAAȠJA䠠B(@&TypingABL@'EConstrAB`@(EvarutilAB@(RetypingABdB䠠Ch@+SmartlocateAC8CCܠD@#LocAD<@#LocAD@#LocADDܠEELEx@(RetypingAE@'EConstrAEؠ/F2F5F8F̠;F䠠>F:G9GP7G@A@GĠPHSHVH(YH8\HP_HhbHeHaH`H䠠^IjIȠiJgJ4@@@J2bad ring structure@J@'EConstrAKL@L|LLԠM8M|@&TypingAM@&TypingAMԠ@&GlobalAN$Nࠠ}O .ring addition should be declared as a morphism@OOdO 4ring multiplication should be declared as a morphism@OP`P .ring opposite should be declared as a morphism@P!"@Q aQ()QP%and "@Q`mQhpQ|!"@QyQAQ!"@QРQؠQ젠"",@QRYR0/and morphisms "@R@RHR\!"@RlRtqR.Using setoid "@RRRȠRؠR蠠RSSS(S8SHSXShSxSS@(FeedbackAS@%FlagsAS̠!"@S𠠑ST %and "@T0T8TL!"@T\ TdT/and morphisms "@TTT!"@TȠ"TРT.Using setoid "@U .U1U$4U47UD:UT=Ud@UtCUFUIULU@(FeedbackAUĠ@%FlagsAU蠠<V?VРW,WWԠKX<Xd;cannot find setoid relation@X|Y$Y@Y\YxYYYؠZZ(ZTZZ@&ConstrA[]@(RetypingA]P@,ReductionopsA] 8arguments of ring_simplify do not have all the same type@]]@$ring@@]@'CErrorsA]Ƞ@(RetypingA^,q^`@'EConstrA^^!"@^Ƞ^Р^!"@__ _ *cannot find a declared ring structure over@_0_8_H_X_h_x@$ring@@_@'CErrorsA_@@uL@__bbcHcc젠dX@,Ring_polynom@@@d'newring@dؠ@&CoqlibAdࠠe(e<e\$Ring@e@&CoqlibAe$Ring@e蠠@&CoqlibAe𠠑@)UniversesAf@'EConstrAffP@'EConstrAfxgg8gPpgsg 'ring: cannot find relation (not closed)@g:ring: cannot find relation@gؠhh<@(EvarutilAhdh hh젠i$Ring@i4@&CoqlibAi<$Ring@i|@&CoqlibAi@)UniversesAi@'EConstrAij !x@jj$j4jx!x@jjj@$CAstAjkj蠠kkdkwkl @&StdargAl,@&GenargAl8@&GenargAlH@#LocAllmm<@)ProofviewAmT@'RefinerAmp@(EvarutilAm@#EvdAmmؠn !x@nn$n4 nLn@&StdargAn@&GenargAnnn蠠@)ProofviewAoo @'EConstrAoP9Ring.exec_tactic: anomaly@oh.op@#EvdAo@'EConstrAo@'EnvironAo@$GoalAo̠Ep8!x@pHNpPVp`@$CAstAp^paq BqA0@RA<T@A`@PA@!:@@@lA ؠ@A䠠@jA@%Field@@(@#Add@@8@=A`#$lt@@A3@A@A蠠!]@#$lH@@AN0@A<@Ah![@"$f@@A@A@A䠠,field_lookup@,field_lookup@ 0@8Newring_plugin.G_newringA¸ȠMР@UA@W0f.M6F8a,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 ې0P`~.%`d)Universes0}=YF\)Univdecls0&gocRA[{$Univ0 - ݈N{)Unionfind0W%.;!ԗ#kh+Unification0X=i !=ࠠ&Uint310 @㏔YNPņ%Uchar0YlIs{Gt~Ѡ&UState0N#VȽ7p&UGraph0lMK0>}A. R=iۭҠ+Typeclasses01q+Type_errors0"r+û#Tok01Um!9N 0PTPubuG]$Term09s 3F`&&Ơ(Tactypes0p}i.4DY,Reductionops0SPP)Reduction0fH=Й,,5&Redops0#LIX<Π'Redexpr0Z"p;,-´gJn%Range0z€duVF 0U>YB%/Proofview_monad0ShC)Proofview0x`=xk*Proof_type0ccarz]A~,Proof_global0A!@90p,Proof_bullet0":oJ:R%Proof0fb׫g|@&Printf0d6ȫo'Printer0r#ƃ%݋q)Pretyping0? D]>)Predicate0Vr!: Гb'Pre_env0À5LECQ 'Pputils0PtPV~׸wS(Ppconstr0tNF̝"?2"Pp0vzA"'#bnI $Ploc0@`(h'Plexing0áoD Fz:Hu&Pfedit0g]<=,?/r 0ܗ,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 0Y` TNjW㠠(Libnames0IY8[&Kp/u05`~<8&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* 0+8_72!֠*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|ʎ' 0᩽WϢ]!D.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ܐ@ ̠A$P Ԡ2 נd ;RؠO ̠ wŠ ԠȠT  8 #  0à Hޠ m eנĠRD Ơ  @@@w