"`}D(fraction'algebra(mathcomp@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ$Bool#Coq@0j 2cZ`FW+ssrmatching#Coq@0L1T=>)ssreflect#ssr#Coq@0 zv)ssreflect(mathcomp@0tn|kN0 D/O&ssrfun#ssr#Coq@01 ZP"};o{,ssrnotations)ssreflect(mathcomp@0hPB &ssrfun)ssreflect(mathcomp@0âNO=(V'ssrbool#ssr#Coq@0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q&eqtype)ssreflect(mathcomp@0Wn"2&=zH0;&ssrnat)ssreflect(mathcomp@0ͧMy}yWߘ#seq)ssreflect(mathcomp@0=~(sV,Aڠ#div)ssreflect(mathcomp@0W~ě o+ N&choice)ssreflect(mathcomp@02*{;"W$^6'fintype)ssreflect(mathcomp@0ǒ3fp%tuple)ssreflect(mathcomp@0ýޑР$path)ssreflect(mathcomp@0*%)bhcFrY&finfun)ssreflect(mathcomp@0ƜNtD砠%bigop)ssreflect(mathcomp@0#z xW :G؂b%prime)ssreflect(mathcomp@0.wFbN_&finset)ssreflect(mathcomp@0 @$$~,B|XŠ(binomial)ssreflect(mathcomp@0io  } &ssralg'algebra(mathcomp@0ⴆg {PK$poly'algebra(mathcomp@0*%H,""6ɠ'polydiv'algebra(mathcomp@0ps2g}CaR젠0generic_quotient)ssreflect(mathcomp@0_7"3^,ي00eiHa? ૠР(fraction'algebra(mathcomp@A%ratio,<!R&ssralg@%GRing$Ring@$type;Y@@@@>=z@@'mkRatio$frac)Datatypes$Init#Coq@@$prodt@,@$sort;1GA@@'is_true#œ@$negb&eqtype)ssreflectB@%eq_op&O@&eqType ԷB9@#snd2 ,^Z@$zero'}nh@(zmodType!DC@@@AB@]BB@@#^5@@@@AAB@@A@AA@@@>?ޠA ϲ6Wl@AA вuXo@ A ӳ2[s@ A Գq\w@B@ABCD@AA@@A@*ratio_rect @!P!r@#^5@3X"B@@!fdd!i|\u_pibb'Aj.,k,ABB@@@@D86wx@@>-+?{ +k()= R'> %''+k$'tAD|@@3X"@A@A@A@@@^)ratio_ind @[YWAK@ ` 6AD|@@@@@x)ratio_rec @usq@r@3z@*( @ <+k() 7%'h@@@@@ @><Aba@@@@@(yy.@@MK +k()= R '>''+k7 7 7%'&AB|=@@@@@à(ratio_of @jh@%#ssrK@%phant)`@I1@xv@g 8+k()7$'Ґd@@@tA*sRk@A@@-ratio_subType @Q@'subType:t}@A~!xb𩚠@"{$qr!K e@@#K_S"Px㷐!u{  wErmfa@*vrefl_rect+ [3<@ةE +k+$ 7 7 7!7! +3 +V 7 7 8'7 7 7 7 7"7 7"7$'()= R'> %''+k$'() :'0xhfADXPMҐDE Ð@@@A@A:@AB@@v0ratio_of_subType @n@>8𩜠AW@P +k+% 7 7 7!7! +4 +W 7 L7!8'7 7 7 7 7"7 7"7$'()= R'> %''+k$'() :'0xhAD\dPD'Ġ@@@K@EA@@ABC@@-ratio_EqMixin @fd"@*SubEqMixin1)̄)@+prod_eqTypeY$B٩@,v5(GB8(Equality@(mixin_of3@@ +k7 + 7 7 7!7&'7 7 7 7 7"7 7"7$'(TbXEHx2`WԠFdࠒD>|@@@AIg@A@@,ratio_eqType @>@$pack O@f*ͻ@śK@ qD@ H+k7 7 7%'tX)h@@@A1N@A@@D/ratio_of_eqType @驜&A/@* X+kG 7! 7 L 7!;'5lڠ@\@@@ @x@AB@@b1ratio_ChoiceMixin @ &choice@/sub_choiceMixin45〰 @/prod_choiceType?@*choiceType6B&Choice@;@@+) ,&`"TÐX!HxȠԠ ࠒ|@@@@AӲ&hH@A@@0ratio_choiceType @`^>@<ӑ@hs7@%class V@ I5<Cک @'phantom2"@@T HR@f@}=a@ +k+ 7 7 7 7 7 7#''Р!td0P`=l5@@@@AӾ)t@A@@ 3ratio_of_choiceType @,A@LG0 @h9A@; d+kG 7! 7 7 L 7!;' lxL\@@@.@M@AB@@7,denom_ratioP @@@ܶ /G@@`@@L&ratio0 @A'Zmodule@$\Mש@#one'ptة &Theory@)oner_neq0U@g d+k7 7 7 7 ::'XhDx@@@>9!ؠH&A@A@AB@@%Ratio @:8 !yީ@&insubd60d쐩iߩ@i4_a#@YW,<8 $+k() : 7 7 +7 7 7!7#'7 7 7 7 7"7 7"7$',7td*tDS$3"蠒@ @@@~@AwA@^@AzA@|A@ @ABCD@@+numer_Ratio @@Ana@N4"t;@nid w۩%Logic@"eq @@#fst O@#pUSnS@@@A ůM@AA'caV[&ssrfuna@HA@ABI@F@AB@?@MA1DH*@@@ABCDE@@?+denom_Ratio @@BIK@D=+/@@&@@P,numden_Ratio @^H@i"ՀʩM@#d]@k @+k7 7 :'Xh@@@@@v*Ratio_spec,<@Q@`@Ǡ!dƠ!n,*@/- Ѷ@׶@s@g)RatioNull,RatioNonNull97 ۶@n muZB@ 䶐&d_neq0 |y\CCAAAA@g@E}@@ܡ@@BAABA@AA@CCB@:jh@@@@A=@@[A@@ABCD@Ӡ&RatioP @@CzxSMX@k}@+Nð-P-P@@@㳠LCA@AA*'ssrbool @A@AB@@A@ @ABh@ @A @,@A1HL@ABCDE@@&Ratio0 @@D {UOY|P`[@@@-@G@AB@@2type_fracdomain_of @@V$B¶@Z@@Ŷ@]@@j>8w^ (+k()'@@@@A:)FracFieldA&equivf @蛠.IntegralDomain@S@TB @(ringTypeV{ƷK @#mul'p.S m qީ _@0{'@$boolZ'@ +k() 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7" 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7" 7 7 7&'  P4lP&|txxD<pD( `Dh\܀@@@@@AB@@'equivfE @@\EKcZR5{@t.X@@@@+equivf_refl @@rFay@)reflexiveGw6@@@@A@[A+S٠@_A1GK@ qB s@ABCD@@ޠ*equivf_sym @@G$@)symmetricX#@@@A+ˠr"@A @@AB@&@#@ @ABCD@@,equivf_trans @@H?@*transitive(>@@@2A@A3A@$@AB#@@A#@"@ABC@D@A@>@ABCDE@@,equivf_equiv @֩0generic_quotient{@)equiv_rel]d@Aa @.equiv_class_ofԠI&Ƞ ,@@@@AގgK@@AB@@E+frac_eqType @p@%clone j?c@P:a@'eqMixin{ga}̷d=Jv@@ (+k+r +q /7 7 7 7!7 +[ +Z 7 7  7 7 7 /7 7 7 7!7 +0 +/ 7 7  7 7 77 7#'''''''(@<xY| \,h0Ƞ,sؠ2pP1@@@AP@@AB@@/frac_choiceType @:R@NZ9@%?Р)@(class_of+茢@? @Tl̐ +k+q /7 7 7 7!7 +[ +Z7 7  7 7 77 /7 7 7 7!7 +- +, 7 7  7 7 7 7 7#''''''( pD8hxLH(X)Ԡ䠑Ƞ9Ġl@@@@IA@(@AB@@ࠠ/frac_eqQuotType @@0EqQuotType_clone,%@*eqQuotTypeڳ@-eq_quot_class t]2 $@0eq_quot_class_of @=@,eq_quot_sortuw@ũ@ -$R@K p+k+ /7 7 7 7!7 +q +p7 7  7 7 7 7 7 7 7" /7 7 7 7!7 +8 +7 7 7  7 7 7 7 7 7 7 7#''''''(j,p(dhU䠒HLTX=ԠG"Ƞ <@@@@A屠A@A޵r@@ABC@@E0frac_of_quotType @c@7ĕ@w3 Ʃb _]W@R +k+& 7 7 7 7! 7 L7!7 7 7#''ࠒpL pb@ \d$t@@@@@@ AބA^@ABC@@.frac_of_eqType @ ,D@@@M'h; rMC @5 `+k+F +E /7 7 7 7!7 +/ +. 7 7  7 7 7 7 L7!7#'''''(@+x\,ha"e ؠfPe@@@@5@AB@@Ơ2frac_of_choiceType @ m3 @@4> q @٩/h G@) +k+ 7 7 7 L7!7#''ːpTN`@d@@@@@AB@@2frac_of_eqQuotType @ 4N@!3z n;- @ u@ +k+. 7 7 7 7 7" 7 L7!7 7 7 7#''lddt"\2ΐ PϠD@@@J@@@ABC@@ -*equivf_def @@ I 7۩*  i"Pi@ # 4 t{ w  @@@A@AAh@ AޒcO0@h@g@ABCD@@ Y(equivf_r @@ J cU  Oh  թ   lO$Repr@ V/7*@" = ! h@@@5@Aމ,FcA@ @AB7@ Aޓ٢Pi@A AޔQl@@@@ABCDE@@ (equivf_l @@ NK =UL==E#$?G:>@@$@@ &numer0 @@ `L Og^8  YO  \ gaaK +G C k Bbp  FCt  :v   v@@@A @AA @@AB@ A@A A(@ @AB @ A'@ A@ @ABCDE@@ 砠,Ratio_numden @@ M 㰩rnհy b@@@ @A @ @.@ABC@@ &tofrac @  :@&locked9v F XJ \ Lh@SG e "  B@  +k+ +. 7 T7%'7 7 7 7"L7 7 7 7#'G7%'$ex̠𠑑 *7Hdݐp@@@k@AsA*uȠu |@@A@@ABCD@@ S/tofrac_pi_morph @  ]=@(equal_to,0҂@AV) Oᐩ^SJ ש@r1 ꩚R@'eq_lockjg@h?8e u=a @ ": 'y# <+k()+ 7 7 7 7!7 7 7!:'7 7 7 7"L7 7 7 7#'(#h@ѐxa$蠑 \R PCȀ@@@A޳Ⴀp@A@"Aޣݒ`@AB3A޴q@8A @AlA>@@@o@ABCD@@ à$addf @ j y0ql @#add'p ussvbcuxek@ { A +k() 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7" 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7" 7 7! 7 7 7 7 7"7 7!7 7 7 7 7"7 7" 7 7 7" 7 7&'$ U0|4P4lP `|t̐ؠ\pT( pD( `Dh <@\x*蠒 1܀@@`@@ 0 @  "x0 = J A Ʒy  k@[߶ M j B@  +k+ +EL 7!T7%'()7 7 7 7" 7 7 7 7"7"L7 7 7 7#'+ L7!T'G7%' x젒(|\| +8L@@@i@A@@@@ABCD@@ M&pi_add @@ N  (@*morphism_2vo R G ˩$ ܐ f K i @ @@@h@Ag@A @ABA@(@AA(J@@ABCAC@A+Ql @A@A@ABAM@ A @A@ A@ABC @ @A A@X@A@@ @ABCDEF@@ ,pi_add_morph @ <T!aM!bG  &jc+*  % Z h iu -  Y f   9    Z @)equal_valEb     <@)pi_morph2/G ̀$  q +@0o,    ' J@ DB @H<a0*  +k()$7 7  7  7  7 7 7  L7 7 7 7 7 7 7 7!7" L7  7 7 77 7 7 7!7" 7":'(8+D!pxސd!|à ,P @@@AZ@AS@T@A@@ Aީ f@ABCD@@ $oppf @ ط #ϩƩ b@#opp'ps@  .ѐ 4+k() 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7 7! 7 7&'  lP 8t 'ܠ `Dh x }@@@@ N' @  N Y I Z D?@Fh L BU@  +k+ +3L 7!T7%'7 7 7 7"7!L7 7 7 7#'G7%' Sl8ࠒ(| jwL,|@@?@@ &pi_opp @@ ?O .F:@*morphism_1vnC96 D;  <@u < @@@@A@@ABA@W@A/@@ABC,@"@A@!@AB @ @A @v@@ @ABCDEF@@ ,pi_opp_morph @ Zri 9VeZ +eCHGi  . K% 5@)pi_morph1/G ˀUv : $@P0o#ڀ   C@ y= X^ \+k() 7 7 7 7  7 7 7 L7 7 7 7 7 7 7 7!7" 7!:'(ِ("4t"ذhZDDT접 |@@@@ $mulf @ ŷ  s;@9  +k() 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7" 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7" 7 7&'  P4lP |t  \<pD( `Dh rx@@@@ 2ː @ 20 = .'@=9ˀ%B6@   젒5x(|\| IVL @@@@ f&pi_mul @@P % r 2 u  @ ŀ@@@t@As@ @AB @2@A @@ABC@@A@@AB @ @A@ R@A@@ @ABCDEF@@ ,pi_mul_morph @6NE=  ?a_ީ+ݩ$c z/ {@B0o!c    @JbY Q   +ʐ(8|DdpxSP ,} @@@@ ؠ$invf @  d|@  +k() 7 7! 7 7 7 7 7" 7 7! 7 7 7 7 7" 7 7&'ࠒZlP t ΐ ڐx`Dh>܀@@\@@ #inv @ 署\@7~B@ lࠒР|"Lנ|@@@@2&pi_inv @@Qܷ >1  @⩚@D  @@@@A@@A@ABC@@L,pi_inv_morph @   WةܩNR @10oD@   i(d(4`ht?DDE접t|T 6|@@@@$addA @@IR8 PD@+associative(! BQ7 @@@@A@3@AB2@A(: {@A\@A,@ABCA u@ A@A/Aޥb@@AB*A8@6@A5@ 0A@ABC4@@AA2@Aި͠e@ABA@ @A@@@ABCDEF@@̠$addC @@Ss @+commutative1/5/;@@@l@A7@3@AB.@/@A&@,@ABC(@g@A@Z@ABtA&@ @A @ @ @ABCDE@@&add0_l @@T @'left_id j> @7Grg@@@@Ac@_@ABZ@[@AR@X@ABCT@@A6@T@ABR@!@A@,A0@A6@ C@@ABCDEF@@&addN_l @@U ܩ@,left_inverse:A.@@@@A@@ABv@}@Ay@@ABCY@y@Aw@NA@ABF@D@AZ@ g@B@ABCDE@@A.frac_zmodMixin @  @ k A`@A S% @ߑ @ߓƩ @o..q˩ @F..̿@  +k7 7 7 7 7 7 7 7 7!8'$qxXh&x.HX*hƐ@@@A>2 A'@A@@-frac_zmodType @9 Q A@0$]@A I@=B@Aթ @lm@O g t+k7 7 7 7 : 7 ;'\Xh Dx@@@ 3A>;"VJ`@A@@ˠ$mulA @@Vr :`A@@@g@A2@.@AB)@*@A!@'@ABCV@@A"@!@AB@@A@ @@ABCDE@@頠$mulC @@W @@@@AO@K@ABF@G@A>@D@ABC|@@Aq@@AB @ @ /@ ,@ABCDE@@&mul1_l @@X ĩ{  =@@@ 8@An@j@ABe@f@A]@c@ABC@A@A^@]@AB*@(@A @?@&@ABCDE@@%(mul_addl @@Y 䩚@1left_distributive?_@@@@A@@AB}@@A@ S@ABC@c@A@@AB@O@AK@YA@AB@ @Ae@ r@M@ABCDEF@@L(nonzero1 @@Z ˵LB j^B k@@@%@Aj@h@A~@ @f@ABCD@@e1frac_comRingMixin @  $ 'ComRing@)RingMixin>V9  @<ƈn @9 @9򩚠 @0w @j'@{ @H 6@6 N5@#kZ@ E* G@ %  +k7 7 7 7 7 7 7 7 7!7 7# ',?;hF4H<XD3h mx>x a:X@@@@@Ѡ-frac_ringType @x xA }@ 4@A D 6@'?ڀV @ : h &\XUDx@@@ lA>>d|@A@@0frac_comRingType @ é@C@A #@ j7@A +@P;? r@T!M 6@ ߛx a\XxhD@@@ Am@A@@B&mulV_l @@[  Z@U KK<@@@@A A@@AB@@A@@ABC@@A@@AB@5@Az@x@A@ @v@ABCDEF@@u$inv0 @@-\ 4 p 0@@@@@A@@1RatFieldUnitMixin @, D*&%Field@)UnitMixin-@, @=^  @_0ߤ @1H@H `GC(UnitRing@V@۰'K@ cVꀐ& l+k7 7 7 7 7#'Р"X;Tx0h9H@@@@@נ1frac_unitRingType @~ 7@u2u@A ?@ = @A ө ?@m6P^_ @ E .\XݐxDh@@@ wA @A@@4frac_comUnitRingType @ Ω+ComUnitRing@"By 0@U rli(N@Cdu @^ЀH9_R@2uC@x39@ 3@"n@ +k+# 7 7 +7 7 7 7 7#'''ࠒ#t ldƠpTJC`@@@ Ak&:@A@@n+field_axiom @@&] -@Y4Ā8@@@@@~4RatFieldIdomainMixin @% =@,IdomainMixin!D[ @"6PL@2 J J@%axiomU@ E#\rrh!tX@@@@@0frac_idomainType @W o qA ̩ v@ 7o@A ԩ@# @9ᇀ;J @p  +k7 7 7 7! 7 7 : 7 ;'ࠒx xX`ZDVhT@@@ XA @A@@.frac_fieldType @ k@2|l  q N@Q;sn @7٣  1N G {97@ Λ@2 a@ +k+0 7 ++ 7 7 7 7 7 7 7 :7 7# ''' $`D WpdB1P?@@@ Af$m3@A@@A@@@@@A Ҡ&ssralg'algebra(mathcomp@Aà&eqtype)ssreflect(mathcomp@@BA ϲ6W)Datatypes$Init#Coq@@A вuX @ACA ӳ2[ @ @A @B !@C%A1DH%Logic$Init#Coq@@@A 0A!@A@ q@ABCDE p@ A*sRk)ssreflect#ssr#Coq@@AA@B@P@A@&@A@U@A @BCDE R@@0@AB Y@ F@ACF @@A I@ L@A@BC@@A@@@ABC@@A@މ,F0generic_quotient)ssreflect(mathcomp@A(ˠ&ssrfun#ssr#Coq@@ABDE@AK@A 2@@@AB9@ @ACDFGH@rA*'ssrbool#ssr#Coq@@A{A^@:A ůMx@AA'caV['@Q@ABP@@ X@ABCD @ O@ M@AB@@ACE @ @ (@>=zA@ABCF@sA@uA@ABvA Գq\@A@@ABC|A*0@As@AD&@*@A&@q@AB @q@A<@;@ABC@ #@A>?ޠA@BA@CA@A@ADEF@}@A *@@@ABCH@A@AA1GK@B@AB@BCDGHI@@@ ֐ @٩ A   @  +kG 7! 7 7 7 7!L 7!;'Р 4T h\#H l|@@ @@@  @   @ ␐ $+kG 7! /7 7 7 7!7 +" +!7 7  7 7 7L 7!;''' x ؐp7T ِ` \NР H ܀@@ @@k  @)_ %  %@ Qax -L\ l@@ @@0frac_of_zmodType @,D @ @@lx HL\"l@@@ @@AB@@0frac_of_ringType @IaѰ ] ]@lx hL\@@@ @@AB@@3frac_of_comRingType @f~ z z@ L\9lx@@@ @@AB@@ܠ4frac_of_unitRingType @  @򐐠Ðlx L\@@@@@AB@@7frac_of_comUnitRingType @A @ \;@A 퐩@T:& @̐ |+kG 7! 7 7 7 :L 7!;' ̠d\/l|H@@@J@@AB@@,3frac_of_idomainType @| 3 @f=l L\>x@@@g@\@AB@@I1frac_of_fieldType @ l L\x@@@@6@AB@@t  @@+^2}) ) @@@@A@@@@ABCD@@2tofrac_is_additive @@>_-E+'(Additive@Yɀ@j / @@@@A@ 0@AB /@ V@A@ @ABC !@ @A @ @@@ABCDE@@/tofrac_additive @Um*@#mapC@A'9@g©h-)@Ck6@k8i ghX@@@QA@A@@ࠠ8tofrac_is_multiplicative @@`)RMorphism@ @SbZ@@@ $@A #@@AB X@ @AQ@ C@AB w@ %@A@ @@ABCDE@@0tofrac_rmorphism @ũ&@0Z "Uw@7w@np@R\_qYѩZ5h)O@%applyX#@꩛L@|0OF@H{ +k+7 7 L7 7 7 7 7 7 7 7 L7 7 7# ''  Ґ5ܠ`5.x6p`DlP@@@@A@@\'tofrac0 @@aWhА@@@@@AB@@m'tofracN @@%b, (ڷy T#|, W@@@A @A @@ABC@@'tofracD @@=c,D 8@Ƿ ~ °F  ǰ@@@@'tofracB @@TdC[ OW ޷   ٰ ^  ߰ @@5@@(tofracMn @@me\t5=@#nat@ 5   X @&natmul8z e<9 :<@@@V@A a@U@@ABC@@٠)tofracMNn @@fY$ S   ҩ T ٩ ĠR@@@@'tofrac1 @@gҐ@@w@@'tofracM @@h <h=j Ps n ;Ux@@@@'tofracX @@iж\   V [@#exp'p#k& n@@U@@*)tofrac_eq @@j鶐!pl!q %+*@5 ;n  | Ԡp@.x@@@ y@A x@r@ABzA@ @AA@A@ABC@A@AA@ @AB @u@A @s@Aq@@f@ABCDEF@@e*tofrac_eq0 @@k $;aʰ6 ΰ0"@@@@z@@@ ӳ2@@A@ Գq@@A@3X"#@ABC>@ @A@ ;@ABDEy@ @A @B@C @;@ABCDEP@<@A BW@E@A:@BCF@@A@?@ABJCE FGH@@@AB@>9!ؠH&ssralg'algebra(mathcomp@A*Z'ssrbool#ssr#Coq@@@ABCDA+h2 @ 5@A 4@ @A@@>@ABCDElF@f@A @B@@ACV@S@ @ABDG@@A@BC@A*Z'ssrbool#ssr#Coq@@AAU@A+h2 @ABD  @@A W@BCD@@ABCEF @@A@@@ABCDGHI@@Xwd@'polydiv'algebra(mathcomp@$Pdiv%Field@,eqp_rdiv_divXwd-CommonIdomain@e|8@A@A@'Idomain@ @ e|8@A@T@@)size_divpT@a@A@ABKG@$Ring@+rdivp_smallKG#*CommonRing@"ɟ@A@].@@].@a@A@Aׇ@-@#eqpׇ0+IdomainDefs@ k@A@@5@$divp@ @A@ABC@:@$dvdp @ @A@*`@A@$eqp0*`6@/4@A@A*@F@$eqpP*;@/T@A@K@L@$gcdpKA@Ph@A@ABDB@Q@$modpB$@ @A@#@<@)ltn_rmodp#:@#x@A@AX1@M@2X11@4 k@A@cj@R@/cj6@1 @A@ABc{@V@.c{:@0 @A@c@\@-cb@//4@A@Ac@`@,cf@./T@A@c@e@+ck@-Ph@A@ABCdb@i@*dbÑM@, @A@hF@@.coprimep_XsubChFv@uKy@A@A@@.coprimep_pexpl{@e@A@@@.coprimep_pexpr@k@A@ABDEr@@%div0pr@w@A@w=@@%divp0w=@|@A@Aw>@@%divp1w>@|@A@@@%dvd0p@~@A@AB@@%dvd1p@@A@i@@%dvdUpi@=@A@A*@@%dvdp0*@@A@+@@%dvdp1+@@A@ABCj@@%dvdppj@>@A@ܴ@@%edivpܴ@ @A@A#I@@%egcdp#I@(@A@=q@@%eqp01=q@BE@A@ABDFC@@%eqpxxC@G@A@@@%gcd0p̑@@A@A@@%gcd1pߑ@@A@L@@%gcdp0L@ @A@ABM@@%gcdp1M@!@A@_@@%gcdpC_@3@A@Aa@@%gcdpEa@5@A@@@%gcdpp@`@A@ABC@ @%gdcopۑ@ү@A@߶@@%mod0p߶@@A@A6@@%modp06 @ @A@7@@%modp17@ @A@ABDI@!@%modpCI@@A@v@*@%modppv@J@A@Aƌ@/@%scalpƌё@ p@A@&@#@&)@uKy@A@AB@'@-@e@A@@-@3@k@A@A*>@1@*>7@w@A@*ܾ@6@*ܾ<@|@A@ABC*ܿ@:@*ܿ@@|@A@*@@@%divpE*ӑU+WeakIdomain@:S@A@A*@G@%divpK*ّ@:T@A@*@M@%divpp* @:T&@A@ABDE,+@R@,+X@~@A@,>@Z@,>`@@A@A,@^@,d@=@A@,@c@,i@@A@AB,@g@,m@@A@,@m@%dvdpE,-@:@A@A,@r@%dvdpP,ˑ2@:@A@,@x@,~@>@A@ABC,B5@|@,B5`@ @A@,@@,ʑ@(@A@A-@@-@BE@A@-@@-@G@A@ABDFG0M@@0M@@A@0`@@0`@@A@A0@@0͑@ @A@0@@0Α@!@A@AB0@@0@3@A@0@@0@5@A@A0 @@0 @`@A@03\@@03\@ү@A@ABC=E7@@=E7@@A@=I@@=I@ @A@A=I@@=I@ @A@=I@@=Iʑ@@A@ABD=I@@%modpE=Ȋ@:@A@=I@@=I@J@A@A=B@@%mulKp=B@:jj@A@=@@%mulpK=ܑ@:m@A@ABGR@@GR@ p@A@t@@)gdcop_rect@X@A@Am@@*polyC_eqp1m@A@A@c@@ c@ X@A@ABC8n?@ @(root_gcd8n?@Es@A@qU@@qU@A@A@A@@  @ Es@A@@@-dvdp_size_eqp@@A@ABDEJ@!@-irredp_XsubCPJ@!N@A@h@@ h딑@@A@A@@ !@!N@A@B@2@,eqp_rgcd_gcdB'@Ț@A@AB2@7@*polyXsubCP2,@ ?e@A@<@,@ <Ñ2@Ț@A@Z@C@2edivp_expanded_defZ@q-@A@ABHU@%bigop)ssreflect(mathcomp@&Monoid@&addmACHU &Theory@._N@A@CDFHy@@&addmCAHy@._N@A@@P@+V@- ?e@A@A @T@# ۑ8@%q-@A@ 7@k@-gcdp_addl_mul 7`@!ƛ @A@ :@_@ :e@!ƛ @A@ABC O@-@&mulmAC O$@0GV>@A@ P@5@&mulmCA P,@0GVb@A@A Z@@1Bezout_coprimepPn Zw@"_S@A@ $z@@)modp_eq0P $z}@#1~@A@AB %Z@@)modp_mull %Z@#2_e@A@ %Z@@)modp_mulr %Z@#2_k@A@A /@@ /@"_S@A@ [@@@)rmodp_eq0 [@~@,N@A@ABCD ~(n@@(divp_dvd ~(n@#-B@A@ ~)D@@(divp_eq0 ~)D@#.@A@A ߆@@) ߆@+#1~@A@ @@) @+#2_e@A@AB @@& @(#2_k@A@ 9@@'Bezoutp 9@# @A@A '@@%rdivp '@,Z@A@ &@@%rdvdp &@,k@A@ABC L@@%rgcdp L@,ʡU@A@ j@@%rmodp j@,S@A@A @@: @<#-B@A@ @@6 ő@8#.@A@AB < @@+root_biggcd < @$I@A@ <@@+root_bigmul <ݑ@$I@A@A R6@@2 R6@4# @A@ hKh@@-size_poly_eq1 hKh@$uP<@A@ABCDE P@@*rgdcop_rec P@-*@A@ @@ @!$I@A@A ^@@ ^@$I@A@ @@ @$uP<@A@AB -@@,apply_irredp -@%)@A@ k[@@*eqp_ltrans k[@%x/@A@A @ @  @%)@A@ )@@  )ܑ@ %x/@A@ABCNu@'@*eqp_rtransNu@&[z@A@n@@n#@ &[z@A@A6 @!@,edivp_redivp6 @F@A@z@9@/coprimep_scalelz.@)d@A@ABz@>@/coprimep_scalerz3@)j@A@Zh@'@,Nrdvdp_smallZh%@2į@A@A@8@>@)d@A@@=@C@)j@A@ABCDFGH@S@)gcdp_addlH@* @A@@_@)gcdp_addrT@* @A@A@d@)gcdp_eqp1Y@* @A@@j@)gcdp_modl_@* @A@AB@o@)gcdp_modrd@* @A@@v@)gcdp_mullk@* @A@A @{@)gcdp_mulr p@* @A@( @@.gcdp_comp_poly( v@*5@A@ABCv@@&divpN0v{@*@A@s@|@;s@=* @A@Ay@@3y@5* @A@s@@3s@5* @A@ABFz@@1Fz@3* @A@F@@2F@4* @A@AO@@/O@1* @A@O@@/O@1* @A@ABCD@@&dvd0pP@*@A@@@&dvdpN0먑@*|@A@A@@&egcdp0@*@A@@@&egcdpEБ@*@A@AB@@&egcdpPۑ@*@A@or@@Mor@O*5@A@A@@&eqp_eq@*@A@_@@&gdcop0_@*de@A@ABC_@@&gdcopP_@*d@A@Yl@@&divpKCYl@ Д@A@AY@@dY@f*@A@@@A@C*@A@ABQ)@@<Q)@>*|@A@M@@&edivpPM@ Vu@A@A<@@B<@D*@A@Q@@AQ@C*@A@ABCDE\@@@\@B*@A@-S@@>-S@@*@A@ACP@@(ltn_modpCP @+PT@A@]@@B]@D*de@A@AB]2@ @A]2@C*d@A@_R@@*rmodp_eq0P_Rё@4Rj@A@Aĵ@@ĵ@+PT@A@@.@&scalp0ӑ#@,@A@ABC T@!@ T'@,@A@ i@(@&scalpE i@ h@A@A0 @?@(eqp_dvdl0 4@.=@A@0@E@(eqp_dvdr0:@.=@A@AB0ʟ@J@(eqp_gcdl0ʟ?@.=s@A@0ʥ@Q@(eqp_gcdr0ʥF@.=y@A@A1[@V@(eqp_mull1[K@.>/@A@1a@\@(eqp_mulr1aQ@.>5@A@ABCD2@a@(eqp_root2V@.?@A@24@i@(eqp_size24^@.?@A@A:`@n@*coprimepPn:`c@.Gd@A@@b@5h@7.=@A@AB@f@3l@5.=@A@0 @m@50 s@7.=s@A@A0&@q@20&w@4.=y@A@@v@2ܑ|@4.>/@A@AB@z@0@2.>5@A@h@@1h@3.?@A@A{@@-{@/.?@A@ň@@.ň@0.Gd@A@A|$@X@)mulm_addl|$O@=3p@A@BCDEFG|*@]@)mulm_addr|*T@=3v@A@@@(gcdp_def@/@A@A)@@(gcdp_eq0)@/@A@B@@(gcdp_exp@/@A@+@@(gcdp_rec+͑@/0@A@AZ}@@Z}@/@A@BCZ@@Z@/@A@Zo@@Zo@/@A@AZN@@ZN@/0@A@BDԑ@@.polyXsubC_eqp1ԑ@1e@A@hK@@*Gauss_dvdphKޑ@1uP@A@A:@@:@1e@A@B_@@ _@ 1uP@A@@@,coprimep_def@2@A@A@@,coprimep_sym@2@A@BCMJ@@'rdvd0pPMJ@;@@A@M @@'rdvdpN0M @;@@A@AT/@@,eqp_rmod_modT/@2a4j@A@B=@@=@2@A@T:@@T:@2@A@A @@'rgdcop0 @;j@A@BCDEՕ@ @Օ@2a4j@A@3@$@2coprimep_comp_poly3@37@A@Ay@@y@37@A@B@5@-@*egcdp_recP@5"@4M9@A@o'@4@,dvd_eqp_divlo')@4| @A@A)@@&rdiv0p)@=D@A@BC@ @&rdivp0@=IB@A@3@(@&rdvd0p3&@=@A@A3)@-@&rdvd1p3)+@=@A@B7@2@&rdvdp070@=/@A@7@9@&rdvdp177@=0@A@AZ @>@&redivpZ <@=@A@BCDF-8@C@&rgcd0p-8A@=@A@1@N@&rgcdp01L@=Q@A@A1@S@&rgcdpE1͑Q@=f@A@BKG@X@&rgdcopKGV@=@A@]"@_@&rmod0p]"]@=@A@Aa@d@&rmodp0ab@=;@A@BCa@i@&rmodp1ag@=<@A@a@q@&rmodpCao@=N@A@Aa@v@&rmodppat@={@A@B =@{@&rscalp =y@=^@A@@@s@u4M9@A@Am@@pm@r4| @A@BCD3k@@0Bezout_coprimepP3k@6@#?@A@@@ @ 6@#?@A@AZ@@*dvdp_exp2lZ@7.@A@B`@@*dvdp_exp2r`@74@A@=@@*dvdp_gcdlr=@7@A@Ak@@*dvdp_mul2lkݑ@7p@A@BCk@@*dvdp_mul2rk@7p@A@m@@*dvdp_mulIlm@7rf@A@Am@@*dvdp_mulIrm@7rl@A@B@@*dvdp_trans@7@A@ >@@/ >ۑ@17.@A@A >@@. >@074@A@BCDE @@+ @-7@A@ P8@@/size2_dvdp_gdco P8@8U @A@A ^@@3 ^@57p@A@B d@@2 d@47p@A@ @@0 @27rf@A@A @@/ @17rl@A@BC $al@@. $al@07@A@ &@@-eqp_coprimepl &̑@84@A@A &@@-eqp_coprimepr &ґ @84@A@B ^@@+ltn_rmodpN0 ^@QX@A@ ~@#@*modp_XsubC ~@8@A@A @@4 @68U @A@BCDFGHI -@,@+dvdp_Pexp2l -!@82@A@ bM@'@' bM-@)84@A@A bS@+@& bS1@(84@A@B @A@*modp_small ڑ6@8ޮ@A@!J@6@%!J<@'8@A@A!q@:@ !q@@"82@A@BC!5?[@>@!5?[D@8ޮ@A@!?@W@)mulp_gcdl!?L@9LS@A@A!?@\@)mulp_gcdr!?Q@9LY@A@B!<@a@*gdcop_recP!<V@9@A@!@h@*gdcop_spec!Ñ]@9@A@A!T@[@!Ta@9LS@A@BCD!T@_@!Te@9LY@A@!@y@+dvdp_XsubCl!n@9@A@A"N@l@"Nr@9@A@B"yD@p@"yDv@9@A@"(,@j@,rscalp_small"(,h@F@A@A",#@@)coprime0p",#@::@A@BC",6@@)coprime1p",6@:: @A@"-@@)coprimep0"-@::w@A@A"-@@)coprimep1"-@::x@A@B"-@@)coprimepP"-Ñ@::@A@"-@@)coprimepX"-ˑ@::@A@A"-@@)coprimepp"-@::@A@BCDE"_I@@<"_I@>9@A@"i@@-eqp_div_XsubC"i@:n@A@A"d@@5"d@7::@A@B"d@@4"d@6:: @A@"i$@@2"i$@4::w@A@A"i%@@1"i%@3::x@A@BC"iD@@0"iD@2::@A@"iL@@0"iL@2::@A@A"id@@/"id@1::@A@B"(@@/dvdp_prod_XsubC"(@:@A@"r@@*gcdp_mul2l"rÑ@;w@A@A"r@@*gcdp_mul2r"rɑ@;w@A@BCDF#"2@@3redivp_expanded_def#"2@v@A@#QK@@+dvdp_add_eq#QK@;V@A@A#,g@@G#,g@I:n@A@B#eh@@%#eh@':@A@#uD@@$#uD@&;w@A@A#uJ@@##uJ@%;w@A@BC#@@#̑ @;V@A@$ 2@@)leq_divpl$ 2@<7@A@A$ 2@"@)leq_divpr$ 2@<7@A@B$o@'@)leq_gcdpl$o@<t@A@$o@.@)leq_gcdpr$oǑ#@<t@A@A$v@3@/uniq_roots_dvdp$v(@9T@A@A&6@@*size_gcd1p&6ɑ|@>C@A@B&67@@*size_gcdp1&67@>C @A@&9`@@4&9`@6=/@A@A&9f@@3&9f@5=/@A@BC&Gr@@2&Gr@4=Ҳ@A@&Gx@@2&Gx@4=Ҳ@A@A&B@@$&B@&>9T@A@B&J@@#&J@%>C@A@&@@$&@&>C @A@A&@@0edivp_unlockable&Ց@0¨@A@BCDFG'GDV@@'GDV@0¨@A@(!F@@.dvdp_comp_poly(!F@.K@A@A(,@@(,@.K@A@B)fY@@)dvdp_addl)fY@s^@A@)fY@@)dvdp_addr)fY@s^@A@A)f@@)dvdp_eqp1)fڑ@sܮ@A@BC)f @@)dvdp_gcdl)f @s@A@)f@@)dvdp_gcdr)f@s@A@A)fb@@)dvdp_gdco)fb@s6@A@B)g@@)dvdp_mull)gő@t@A@)g@@)dvdp_mulr)gˑ@t@A@A)hS@@)dvdp_subl)hSɑ@uX@A@BCD)hS@@)dvdp_subr)hSϑ@uX@A@)@ @(leq_divp)@@A@A)E@@(leq_modp)E@@A@B)1@@G)1 @Is^@A@)7@ @F)7@Hs^@A@A)=[@ @E)=[@Gsܮ@A@BC)^@@D)^@Fs@A@)^@@C)^@Es@A@A)_@@B)_"@Ds6@A@B)F@ @A)F&@Ct@A@)L@&@@)L,@Bt@A@A)J@*@?)J0@AuX@A@BCDE)P@.@>)P4@@uX@A@*%#@6@=*%#<@?@A@A*&@:@<*&Ƒ@@>@A@B+E@P@*ltn_modpN0+EE@@A@+Xr@9@+rmodp_small+Xr7@ @A@A+}n@\@1coprimep_addl_mul+}nQ@B@A@BC,+8@O@,+8ƑU@@A@,7`@J@)leq_rdivp,7`H@ +@A@A,8=@[@'divp_eq,8=@".e@A@B,8@T@)leq_rmodp,8R@ ,<@A@,`@g@,`m@B@A@A-JF@}@(dvdp_add-JF̑r@WK@A@BCDF-JM@@(dvdp_exp-JMw@WR@A@-JO/@@(dvdp_gcd-JO/@WT@A@A-JVo@@(dvdp_leq-JVo@W[C@A@B-JX@@(dvdp_mod-JX@W]]@A@-JY@@(dvdp_mul-JY@W]@A@A-J[z@@(dvdp_opp-J[z@W`N@A@BC-Jao@@(dvdp_sub-Jao@WfC@A@-m@@.dvdp_mul_XsubC-mב@{@A@A-e$@@)edivp_key-e$@7H@A@B-ˬM@@=-ˬM@?WK@A@-˳y@@>-˳y@@WR@A@A-˴@@7-˴@9WT@A@BCD-˻@@6-˻@8W[C@A@-˾ @@9-˾ @;W]]@A@A-˾@@6-˾@8W]@A@B-@@5-@7W`N@A@-@@6-@8WfC@A@A-eX@@2-eX@4{@A@BC.r@@'dvdp_eq.r@$@A@.8@@)edivp_def.8@$7@A@A.8ʥ@@>.8ʥ@@7H@A@B/@@'eq_dvdp/@@A@/@@+Gauss_dvdpl/@@A@A/ @ @+Gauss_dvdpr/ @@A@BCDE/(@ @+Gauss_gcdpl/(@@A@/.@ @+Gauss_gcdpr/. @@A@A/@ @'eqp_exp/ʑ @ɞ@A@B/@ @'eqp_gcd/ @@A@/ؘ@ "@'eqp_sym/ؘ @l@A@A/l@ '@0coprimep_div_gcd/l @@@A@BC0@ @50 @7@A@0H@ 3@)root_gdco0H (@ Mf@A@A0"@ &@:0" ,@<@A@B0"@ *@90" 0@;@A@0&@ 0@:0& 6@<@A@A0&@ 4@50& :@7@A@BCDFG0'*K@ 8@40'*K >@6ɞ@A@0'+@ C@:0'+ I@<@A@A0'>@ G@70'> M@9l@A@B0yV@ K@60yV Q@8@@A@0lM@ c@,dvdp_div_eq00lM X@q!@A@A0@ V@50 \@7 Mf@A@BC0.@ N@,comm_redivpP0. L@@A@1 @ a@1 Α g@q!@A@1d%@ f@(edivp_eq1d%đ&@("@A@AB1A@5@'iteropE1A,@H7@A@2@ r@*edivp_spec22@([7@A@A2`@ @)eqp_monic2` ~@ d@A@2@ @)eqp_mul2l2 @ @A@ABCD2@ @)eqp_mul2r2 @ @A@2@ @)eqp_scale2 @ @A@A2 @ @)eqp_trans2  @ @A@2P@ @,modp_coprime2P @ U@A@AB3Ŝ@ @$3Ŝ @& d@A@3_@ @$3_ @& @A@A3_@ @#3_ @% @A@3`d@ @3`d @! @A@ABC3@ @3 @  @A@3ic@ @3ic @! U@A@A5o׷@ @'gtNdvdp5o׷ @ |܋@A@5+ @ @,dvdp_exp_sub5+  @ /@A@AB5̸@ @,irredp_XsubC5̸ @ ь@A@5=8@ @5=8 @ |܋@A@A53@ @*redivp_def53 @列@A@5=@ @*redivp_key5= @咉@A@ABCDE5G@ @*redivp_rec5G @R@A@6@ @$6 @& /@A@A6@ @3root_factor_theorem6 @#@A@629@ @)629 @+ ь@A@AB6B@ @ 6B @ #@A@6̯@ @*divp_small6̯ @у@A@A7C20@ @7C20 @у@A@7]@ @,dvdp_gcd_idl7] @1@A@ABC7c@ @,dvdp_gcd_idr7c @7@A@8@o@ @0irreducible_poly8@o @MC@A@A8[ @ @)rcoprimep8[  @O@A@8m@ @8mޑ @1@A@AB8m@ @8m #@7@A@8@ $@8 *@MC@A@A9@ @0comm_redivp_spec9 @(@A@9+ܷ@ @@(modp_eq09+ܷ 5@8@A@AB9+ @ E@(modp_mod9+  :@8@A@9B8@ :@ 9B8 @@8@A@A9M@ >@ 9M D@ 8@A@:_@ V@)egcdp_rec:_ґ K@d@A@A:Ya@@%add0m:Ya @ hA@A@BCDEFG:Yf?@@%addm0:Yf?@ l@A@:YfP@"@%addmA:YfP@ l@A@A:YfR@'@%addmC:YfR@ l@A@:s@-@%mul0m:s$@ "@A@:s@3@%mul1m:s*@ "@A@ABC:s@8@%mulm0:sΑ/@ "@A@:s@@@%mulm1:sϑ7@ "@A@A:s@E@%mulmA:sߑ<@ "+@A@B:s@J@%mulmC:sA@ "-@A@CD:}ď@O@%simpm:}ďF@ ,@A@:S@ @J:S @Ld@A@A:Ϝ@ @)ltn_divpl:Ϝ @ܡ@A@:ϝ@ @)ltn_divpr:ϝ @ܡ@A@AB;Q}@ @ ;Q} @ ܡ@A@;Q@ @ ;Q @ ܡ@A@A;nY@ @2rcoprimep_coprimep;nY @{-@A@;@ @;ڑ @{-@A@ABC<Ch@ @1coprimep_size_gcd<Ch @(H<@A@<#9|@ @-coprimep_dvdl<#9| @0>P@A@A<#9@ @-coprimep_dvdr<#9 @0>V@A@<#W@ @-coprimep_expl<#W @0\@A@AB<#X@ @-coprimep_expr<#X @0\@A@<#pk@ @-coprimep_gdco<#pk @0u?@A@A<$ @ @-coprimep_modl<$  @1%@A@<$ @ @-coprimep_modr<$ Ƒ @1%@A@ABCDE<$)@ @-coprimep_mull<$)Α @1.@A@<$)@ @-coprimep_mulr<$)ԑ @1.@A@A<$@ @-coprimep_root<$ @1d@A@<@ @C< @E(H<@A@AB<@ @?< @A0>P@A@<@ @@< @B0>V@A@A<~@ @><~ @@0\@A@<@ @>< @@0\@A@ABC<@ @;< @=0u?@A@P-@ A@+irredp_neq0>P- 6@U@A@?I@ 5@?I ;@U@A@?y@ .@)rdvdp_leq?y ,@ mP@A@ABCDEFGHIJK@$Bool#Coq@0j 2cZ`FW@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+%bigop)ssreflect(mathcomp@0#z xW :G؂b(binomial)ssreflect(mathcomp@0io  } &choice)ssreflect(mathcomp@02*{;"W$^6#div)ssreflect(mathcomp@0W~ě o+ N@0Wn"2&=zH0;&finfun)ssreflect(mathcomp@0ƜNtD砠&finset)ssreflect(mathcomp@0 @$$~,B|XŠ'fintype)ssreflect(mathcomp@0ǒ3fpTSR@0_7"3^$path)ssreflect(mathcomp@0*%)bhcFrY$poly'algebra(mathcomp@0*%H,""6ɠ 0ps2g}CaR젠%prime)ssreflect(mathcomp@0.wFbN_#seq)ssreflect(mathcomp@0=~(sV,Aڠޠݠ@0ⴆg {PKjih@0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q@0 zv)ssreflect(mathcomp@0tn|kN0 D/O@01 ZP"};o{&ssrfun)ssreflect(mathcomp@0âNO=(V+ssrmatching#Coq@0L1T=>&ssrnat)ssreflect(mathcomp@0ͧMy}yWߘ,ssrnotations)ssreflect(mathcomp@0hPB %tuple)ssreflect(mathcomp@0ýޑA"_39.z"<-"_49.z"->#_14@@Ȑ@@@+{ ratio _ }@@  @@!{%ratio!T!}@@@! AȠ @@@#_15@@Ȑ@2@.{ fraction _ }@@ @@!{(fractionD0!}@@@ ! AȠ @@@#_16@BB@@B@@@%_ %:F@B  @@$#%:F@@@A@@@@%N$@@B@%$@%@@@@@@#_21%@%#^5A@@@@@@@@@@A@%͑B@A%C@A@@@@#_22'`o@%@%#^5@A@@%@#_23'`o@%@%#^5@AC@@@@%񠐒%֠%@%Y2 Q@@G@#_24&@%d3zK@&B@A%jC@A@@@@@#_252M접&.@%3zDD@A#_26'`o@&7@%3zD@.function_scope@@&2AA%@#_27? 3V/_rect_from_type&S@&O@&U@%%M2 Q@@O@#_28&a@%W2J@&]B@A%C@A@@@@@#_292M접&|@%r2JDD@A#_30'`o@&@%{2JD@NP@@&AA%@#_31? 3V._ind_from_type&@&@&@%%2 Q@@@#_32&@%2J栠@&B@A&C@A@@@@@#_332M접&@%2JDD@A#_34'`o@&@%2JD@@@&̠AA&$@#_35? 3V._rec_from_type&@&@&@%&Ƞ2 Q@@H@#_36&@&"{$4@&B@A@@@@#_372M접'@&"{$BB@A#_38'`o@'@&"{$B@@@'&c@#_39')@'"{$@@@'-@')#^5@7@&t@A#_40L4x':@'6#^5@'>@':@A'A@A@'G@'"{$@@%۠2 Q@@@@#_41'U@%>8@'QB@A@@@@#_422M접'i@%>8@#_43'`o@'r@&>8B@@@'h&@%2 Q@@C@#_46'@%,v5(@@@@@#_472M접'@%,v5(@#_48'`o@'@&,v5(A@@'@#_49(шZ'@&,v5(&@%2 Q@@C@#_50'@%@@@@@#_512M접'@%@#_52'`o@'@%A@@'@#_53(шZ'@%&4@%o2 Q@@@@#_54'@%z*ͻ@@@@@#_552M접'@%*ͻA#_56'`o@'@%*ͻA@@'@%B2 Q@@C@#_57( @%M I5<D@@@@@#_582M접(@%[ I5<@#_59'`o@("@%c I5 q.@@@@@$_1662M접(@&N4> q@$_167'`o@(@&V4> qA@@(@$_168(шZ(@&a4> q@&2 Q@@C@$_169(@&"3z]@@@@@$_1702M접(@&03z@$_171'`o@(@&83zA@@(@$_172(шZ(@&C3z堐@&4-$R@%2 Q@@C@$_173(@%SG@@@@@$_1742M접)@%SG@$_175'`o@) @&SGA@@)@$_176(шZ)@&SG@%Ҡ2 Q@@C@$_177)%@%1F@@@@@$_1782M접)3@%1F@$_179'`o@);@%1FA@@)3@$_180(шZ)F@%1F@%2 Q@@C@$_181)T@%7(;젠@@@@@$_1822M접)b@%7(;@$_183'`o@)j@%7(;A@@)b@$_184(шZ)u@%7(;@%2 Q@@C@$_185)@%73@@@@@$_1862M접)@%73@$_187'`o@)@%73A@@)@$_188(шZ)@%73@%2 Q@@A@$_190)@%l#A@@@@@@/B@A@@@@@$_1912M접)@%l#$_192'`o@)@%l#C@@@@)̠// @%Ġ2 Q@@A@$_194)@%38_A@@@@@@/ёB@A@@@@$_1952M접*@%38_䐐$_196'`o@* @%38_B@@@*/=@%2 Q@@A@$_198*@%38_A@@@@@@0B@A@@@@$_1992M접*4@%38_ސ$_200'`o@*>@%38_B@@@*7/q@%ݠ2 Q@@A@$_202*S@%0<A@@@@@@09B@A@@@@$_2032M접*h@%0<$_204'`o@*r@&0<B@@@*k/@%Ҡ2 Q@@A@$_206*@%77A@@@@@@0mB@A@@@@$_2072M접*@%77$_208'`o@*@%77B@@@*/@%2 Q@@@@$_209*@%14@0B@A@@@@$_2102M접*@& 1ꐐ @*master_keyϠ$_211'`o@*@&1B@*ring_scope@*ؠ)Z@%Ӡ2 Q@@C@$_212*@%?im@0ّB@A@@@@$_2132M접+@%?i@$_214'`o@+@%?iB@3@+ )@$_215(шZ+ @& ?i͠%@%2 Q@@@@$_221+.@%߶@1B@A@@@@@$_2222M접+C@%߶$_223'`o@+K@%߶C@@@@+E00@%Ġ2 Q@@@@$_224+d@% ݠ@1IB@A@@@@@$_2252M접+y@% $_226'`o@+@% C@@@@+{(w(z@%2 Q@@A@$_228+@%0o,A@@@@@@1B@A@@@@@$_2292M접+@%0o,$_230'`o@+@%0o,A@@+@%h2 Q@@C@$_231+@%s"[ 1@1B@A%yD@A%|E@A@@@@@$_2322M접+@%"[ @$_233'`o@+@%"[ E@@@@@@+𠐒1*1-&䠐&@$_234(шZ,@%"[ &@%62 Q@@@@$_235,@%Ah@2B@A@@@@$_2362M접,1@%Uh$_237'`o@,9@%]hB@@@,21l@%Y2 Q@@@@$_238,N@%d <@23B@A@@@@$_2392M접,b@%x <$_240'`o@,j@% 9 $_251'`o@-@%F9C@@@@- 2C2F@,2 Q@@@@$_252-(@, @3 B@A@@@@@$_2532M접-=@- n$_254'`o@-E@- C@@@@-?*;*>@%*2 Q@@A@$_256-^@%50o!cA@@@@@@3DB@A@@@@@$_2572M접-t@%K0o!c$_258'`o@-~@%U0o!cA@@-v@%22 Q@@C@$_259-@%=61@3tB@A'=D@A'@E@A@@@@@$_2602M접-@%^6@$_261'`o@-@%f6E@@@@@@-22񠐒((@$_262(шZ-@%6(@%;2 Q@@@@$_263-@%F~@3ƑB@A@@@@$_2642M접-@%Z~ m$_265'`o@-@%b~B@@@-30@%F2 Q@@@@$_266.@%Q @3B@A@@@@$_2672M접.&@%e W$_268'`o@..@%m B@@@.'+#@%C2 Q@@A@$_270.C@%N0oDA@@@@@@4)B@A@@@@$_2712M접.X@%c0oD$_272'`o@.b@%m0oDA@@.Z@%Y2 Q@@C@$_273.s@%d e0@4XB@A(!C@A@@@@$_2742M접.@%~ e@$_275'`o@.@% eC@@@@.3ɠ)@$_276(шZ.@% e)@%W2 Q@@A@$_278.@%bߑA@@@@@@4B@A@@@@@@$_2792M접.@%yߑ$_280'`o@.@%ߑA@@.@%N2 Q@@A@$_282.@%YߓA@@@@@@4ΑB@A@@@@@$_2832M접.@%oߓ$_284'`o@/@%yߓA@@/@%\2 Q@@A@$_286/@%g..qA@@@@@@4B@A@@@@$_2872M접/.@%|..q$_288'`o@/8@%..qA@@/0@%^2 Q@@A@$_290/I@%i..̿A@@@@@@5/B@A@@@@$_2912M접/^@%~..̿$_292'`o@/h@%..̿A@@/`@%j2 Q@@@@$_293/y@%um0@@@@@$_2942M접/@%m@$_295'`o@/@%mA@@/@%@2 Q@@C@$_296/@%K<ƈW@@@@@$_2972M접/@%Y<ƈ@$_298'`o@/@%a<ƈA@@/@$_299(шZ/@%l<ƈ%b@%62 Q@@A@$_301/@%A9A@@@@@@5B@A@@@@@@$_3022M접/@%X9$_303'`o@/@%b9A@@/@%J2 Q@@A@$_3050@%U9A@@@@@@5瑐B@A@@@@@$_3062M접0@%k9$_307'`o@0!@%u9A@@0@%_2 Q@@A@$_30902@%j0wA@@@@@@6B@A@@@@$_3102M접0G@%0w$_311'`o@0Q@%0wA@@0I@%o2 Q@@A@$_3130b@%z'@{A@@@@@@6HB@A@@@@@@$_3142M접0y@%'@{$_315'`o@0@%'@{A@@0{@%z2 Q@@A@$_3170@% 6A@@@@@@@@@@$_3182M접0@% 6$_319'`o@0@% 6A@@0@%2 Q@@@@$_3200@%'?*@@@@@$_3212M접0@%'?@$_322'`o@0@%'?A@@0@%F2 Q@@C@$_3230@%Q!MQ@@@@@$_3242M접0@%_!M@$_325'`o@0@%g!MA@@0@$_326(шZ1@%r!M6@%B2 Q@@C@$_3271@%M=@@@@@$_3282M접1"@%[=@$_329'`o@1*@%c=A@@1"@$_330(шZ15@%n=%d@%32 Q@@A@$_3321C@%>0ߤA@@@@@@7)B@A*C@A@@@@$_3332M접1^@%Y0ߤ$_334'`o@1h@%c0ߤC@@@@1b/ߠ7@%>2 Q@@A@$_3361@%IHA@@@@@@@@@@$_3372M접1@%XH$_338'`o@1@%bHA@@1@%X2 Q@@@@$_3391@%c6P^*@@@@@$_3402M접1@%q6P^@$_341'`o@1@%y6P^A@@1@%-2 Q@@C@$_3421@%8Q@@@@@$_3432M접1@%F@$_344'`o@1@%NA@@1@$_345(шZ1@%YР%O@%$2 Q@@C@$_3462@%/9@@@@@$_3472M접2@%=9@$_348'`o@2@%E9A@@2@$_349(шZ2"@%P9ᇠ$%GRing%I@$type"n@$2 Q@@A@$_35127@%6PLA@@@@@@8B@A!xC@A@@@@$_3522M접2S@%"6PL$_353'`o@2]@%,6PLA@@2U@%"2 Q@@@@$_3542n@%-=7@8SB@A6D@A!y@A@@@@$_3552M접2@%M=m&?@%I!D$_356'`o@2@%\=A@@2@%02 Q@@C@$_3572@%;;sw@@@@@$_3582M접2@%I;s@$_359'`o@2@%Q;sA@@2@$_360(шZ2@%\;s2@%2 Q@@C@$_3612@%* \@@@@@$_3622M접2@%8 \@$_363'`o@2@%@ \A@@2@$_364(шZ2@%K \$&@2 a@@$_367@.{ fraction _ }m@@$_368%c?@@ @@@93@17ĕA8A@@ @@@@@.{ fraction _ }9@0{ 'fraction' T }3(9D{(@@@30.堳@@@@@@$_369X@$core8@@8鐤8簤8'META3668త9 97'META36788񐛐*9r@5 M#@@@@9n9l889>9<98949+9'9&9T9-9W907939V9*9$999@>mathcomp.algebra.fraction#<>#1/8z@$_373(шZ@23  f@$_374(шZ@1'h@$_375(шZ@1v4> q@$_376(шZ@)<ƈ)u@$_377(шZ@(H!M9@$_378(шZ@(=(@$_379(шZ@'RР'H@$_380(шZ@'"9ᇠ@$_381(шZ@&;s3@$_382(шZ@&Q \@$_383(шZ@.?i͠.@12 Q@@C@$_384:@1 @&k8J$_478'`o@>@&u8JA@@8@&m2 Q@@A@$_480>@&x8fA@@@@@@>B@A@@@@@$_4812M접>5@&8f$_482'`o@>?@&8fA@@8N@&2 Q@@A@$_484>P@&8qA@@@@@@>MC@A@@@@@$_4852M접>f@&8q$_486'`o@>p@&8qB@@8'@&2 Q@@A@$_488>@&OA@@@@@@>B@A@@@@@$_4892M접>@&O$_490'`o@>@&OC@ ࠐ @87;7>@&2 Q@@A@$_492>@&nA@@@@@@>B@A@@@@$_4932M접>@&n䄐$_494'`o@>@&nB@@8񠐑7s@@$_10919@$_36619@9 H$_36519@@$_42419@$_49519@@Ԙ"}+iq@ bw5i@XÚݹPͯo.iÄ@3uzPYQ'V3/4;~?k!R&ssralg'algebra(mathcomp@%GRing$Ring@$type;Y@1__top_assumption_(fraction@%ratio#^5@A(_evar_0_$frac)Datatypes$Init#Coq@@$prodt@6@$sort;1GB!i@'is_true#œ @$negb&eqtype)ssreflectM@%eq_op&[@&eqType ԷC;@#snd4 Ljd@$zero'}nt@(zmodType!!rjD@;6,E'Vx@l"{$ t(!A_}ABB@@@@D)E,j%frac0mk!x|!yh(Equality@ H'Zmodule@h4"tU#ny0ai%Logic@"eq @c@#fst \k&ssrfun#ssr&Option@'default*+@(sub_sort,4٠!!S}}v@-ratio_subType,v5(@&ratio04_@&option >v@A%@#Sub&ɫ%#AII ȩS@(eq_ind_r!2#ਜ਼<㐐Fް %ِ>3,'/_pattern_value_ {qȠl`4G1Ib-].NN@%insub&E=;-(%@&insubT6 /AҷϷf'Na\E?]M-=r$W!n跐!dg}!u}<<_ZP-IC<2Qtr!em@#val&|w!op|@*insub_spec6l&@Щmm%~Hytm~~\Ʃ@*Ratio_spec}@ʠDIߩ()à=AЩΐ^O֩K 2."KI; B臭ZB ]DCACA@@@@@@@@Do rpKI;``YFeܩUIIIJ방2搩K\F]{8@&insubP6&d_neq0!+"hx62#@(ssr_have+Ǜf<=r@?0@'val_inj1Xހ+)$ gug'K)+M@(eq_rec_r!%0[I6{6{]B<`>dbVL<)GlGl@$boolZ'@Kctrv-6J-6nT'ssrbool@%negbK!)[._view_subject_!^ FOmHP=CqLUAR[yC1@@@@@@@@C38A;A"@#notШ) ir#r<@&elimTF% 3@#eqP&⯀ᐑTRgZ©϶ͩːi[=Yک88kVݩRJ @(ratio_of>8ũ@%phant)`@Aө/1{Iy &o%  `ᠩ/,QOH:2)w4<;6t_  caZL DǩS,*(#p5[RMN,ж><7Dɩ(EHge%jh8.:@'eq_reflM5%,U+'Ȑ!H@&eq_ind J4"e0@@@@@@@@D!b@%Falsee@@$Truey@A~@)False_induُ}DXC^|rcTqkuۛ.IntegralDomain@S@3ϐ @(ringTypeV{ͷ8ؐ tF@#mul'p. s ũw '4_,Аİ) 'ComRing@7VꀐI@+comRingType Ű>?K8B3</:9방ᐩY Iް d(QTLAIC&Theory@%mulrCJ%WL̠B)C@)reflexiveG{J)FracField@&equivf.IlMƩ"m}$now|OЩ,AA>>>EFG?"8ܩj:0\32  8 ~Nc"P@&eq_sym5gҰ7װu.u.mD@/nary_congruence$,@#nat@B  A?@ qD@uLDIKN?@B6mΐjj$^ootG|ѩKv&6e{{YCL@)symmetricX3+թӐΐɰ'+ s!zD@ꐩϰͶ@԰Yذ>֐)J!!0"Px03$%#!  *ﰩ-6ꐩ0ީFw9J{@!l)ϰp)@)!װ% 40K<ZݷT#^?^6"Py6p(b`^Q)JHC>4).]u)"+@[@+ /d ˶@fKLɐcsoTMҐUW#L B/(="Pz<@{q3װo@Rmz @DFHMIK'M~R g(""̷ @͐f2ɶ@֐ʰf'h=Mj.oE琩۰ѐIN;Qa<ӰB YF4O76Qz"xyqgFUCf/_view_subject1_`_C[aEY"yzHF?C$=s=7A=xB8ǩ#OG ʩ  6 ! & =m=?@&inj_eq6M!!!N@%mulfIIG&# `Tyy{>vs;.794/,a3ocYѐPðX Ȱ ] NL|@%mulrAJ#VQLIݰ߰.k^gT]]+c00ǩ#.:gȩ©ZwmuI٩w5syݩש ˩٩0/͐^^T[א֐ʰ%*.3| 5#@&mulrCAB ( C\WT۩QJ&ZE&!Ce`]Z@/Tj--s,X*_ rQ q\8C@*transitive(b~vB0generic_quotient@%equiv&choice"&Choice@?=8րf@0ratio_choiceType9A#@,equivf_equiv)Ѐ&Jh]ީ#Q -RAsC uE8@+frac_eqType'h7"Pi@!fH@-frac_quotType3 -P@G4Q xO@&eqmodE'V/.ZΐީvѰf>ߩh$Repr@1/7*@0;-(@%elimTɀ>_!JUʐGݐݩm-h0-9n]to@*equivf_defl#&֐ʰDDਗ਼@)quot_sort h43䐩ذ  @%reprK}@/[7\S'FP`HRwalNQN>PS^KWP,, ON{LKe7Ij9D1@lACCW93gFW? 9VfLͩ =k-ѩө/D:Fdd4 )EquivQuot@-P:Qp)@0defaultEncModRelj@86\@(quotTypeT#v@'type_of k-';@'phantom2"@A@#relᡀ{"{}!@A;BrᰩZwҰg?Yذ(߰کtکLaթ4 6gfǩn@'equivfE ϩH2'"Oݩsĩ.@%mulr1J 7dN<i3Ű;@%mulr0J(u %J0_top_assumption_C   V  @%Ratio#pW   #  # 12 #!aI!p x.) #u̠吩8 " @ 7BBB@@@@D A''! M . Mn+"nd 0 + & X   U** 7 2 () !22 g  . t@0ratio_of_subTypeglm(rEE 7 \ rv_ < a  ~ | ^ Y' GJ ' o m   l g ]Z V  Q J` B `        }? k =s  K T߰    -   ~ ĩ x qLW Щ à =       ԩ  ]%% ک # Ԡ p]   Ʃ*0 0.$<<      ϩ ͐ bN␩ RNF ٩N@>4  D2  3  *`\TS b e 3DB8 e6 7 ꐩ A Ӱ==  ͐ E 2W9  f EE  W 0O 6P  !MMNmyx%     ͷ ~ ɠ  9 8   8٩ @#one'pt  ;  * ( # N  Iܩg R" 4 5 ߩ  Y̩  W©  `C%    e雠 a@$unitUe@ tr5@0frac_of_quotTypeSG zr ?@$addf߶ $ B g@@@@@B #  P@ 7ĕ + /"x0  |! \        M"  " %7B ;     BME ~DOG [A]@@@@@D Md Of ԠW ̐Z  p yU Ls M N@G;Q ؐ3 T@MWސ5 ꐷ [I 찷 ]S ZPr} 7Ov :H کJ  }F& H(  @*master_keyπ   䐩T ʩ_ Ω h   Z e   #ޠ       ԩ5x7x@&eqmodP'V B B # uru mm ߠyE qq }հ 9H;JO̠ S  BDSFU  d "  ]ީ :OO LL S .PP W ʰxzr ;а~  de @  G '   j ^ F@#add'p°ũ ذ>> Y@@Ȱ˩  ^ _FF 7ѩө԰ש PP A\ mTT EUް  t   y`` Q1#( " ĩ    -l     qr >C}k DDc FFiq   K    ll |ٰ\ /vv HB{DC  ~~ PJLK + A  /1 ư ~ک;  Q   ԰  E [  I  _:  ` TRKP 5@+numer_Ratio"Հ]  2 2  ebe 9   uk%  ؠ)Щ  ܠ- Aw  R U O  Ʃ ] _    4ͩ B 66`Z jb L &թ [ް $  (* @+denom_Ratiod]1   ` TM÷ © ~b \ j ^^ r v Pqe  w kdư d  2 s   uuа   ?-   y ݰ ߰ (Y |y }   __  ͩ=n@&mulrDrBL  ة   M  J*  F,3 éU ̩ ) Щ ҩ . " ϩ ѐ Ű e " $  &m@&mulrDlBFƐ  鐩 ݰ ;]0   Y,  .[  \ W T dk> S @'introTF k%Щ onA b M ) ) u1 Y \ [ ^q~U )  _  a lz    ?D jl lh E (y G O w z y |s G 0 } 7  9 ) 5 ɰ  8 a" a D c ְk     c L  S  U0, E Q Ω    T-% <  b=9  Ͱ:    ۩  j  q  sNJ c o ܰ=  + ° -K@   ~YU    Ͱ Щ ϰ    \$   հ   j    ![ ް I \>%_"  M  Omb       ;4$        H           .E  m  䐩  w  o o  v -       4 b[    ީ  MSXD-o   2 " 4 $ 6O-,  G WnM +  -) C  Q\b C\:9  V } " : = <  > Kuz_ " B T D VKML ' g wȩ K  MI OKHHMFq(X cXZY* v  2 Z ] \ $ *@ `     ͠  =  I   m ة okHm q ܩ so uqHnsNS @(equivf_l38_ހ U  @C$\M a.]   FL!ש , ̩  g @~$]@mroV      6   а |  y% +h> Ұ1Z  i ^ j װ)  ܰ;d  ߩ    w İ Y ư W ]Y Lu ϰ  Ѱ   հ  װ lh #  ok ^      #!  ɩ     Ω`S n#  ptͩx       6; P _       (z(- m   ũ2    cV=$  "W ! $XA  ة %   ' 0Z 2N 0 3= 2 55S   6 = 8 5ͷ  [ = 7 ? 8 A @֩t J@ؐhǩ J MW L O N Qo1   R [ T \  wɩ Y ,22# dc𐩷4ߩ b eo d ( f *I4  j |r l ~uE7 ~wvG u x w ; y =\G] }   )b+Y [}U >u3 ?  a  kkokk$e Nrאr    +p Y  `  b+=R ^˰  g2 i2D԰3        q  x  zɷj v }̐G ʰ ͩ ̰ ϩ ΰ ѩc  ɩ; թ ܩ0   '  ڰ o  G   2% Y U  P  Rp)r o l  %@     MΩ    ҩ}  ĩ  #69S    0` < 30  ֩  ة  7H Mg  ,  .B ? !A T 5I H *  ,  c}  0 B 2 D ;*  4 F= g H ?[ = ) ! A S'9  S)hǩ J  L "m~0 P b R d"xJ+  f$zҠ/ 1  @.󐩚 @GD% F   *% !R " .@)mulf_neq0#'>ZeA_ @,is_true_true怩d5\   i3s@,denom_ratioP M#(o@g   tKF>09. xIyZUPHCa\W<;~   Hb]8o Y7prys2b   *- q(g  /rme`6 =1p'C@*morphism_2vo  6 .    !  A w@$   / CZ  I  @$oppfhJAhBC(EDF:ՐFG},ؠI ] h`} 0 laxcz-  k  $i`abXTcUOe"gi { DC2?  ߐ =ϩ> Z =U  ?W[ NY  é     Ѡ          \   ^   b  d,,  = \ f@#opp'pР q- s ؠ y  }  B2FR |  F & [<72 g hZ2 :H<   p,۩ a A(  6 k K(e ht j"^ l$l`   _BAsni7 Ynة|p 6 ˰ 6$,`8  u Ih4 j # ް \[Z S  SAq  UA@L;ũ :  s: '  j  j4-ک    A P3 ʐ  "H [> @%mulNrGݐѰ "Π .8é)Ԡ 47k`.쐩 ݠ =  R?Bv m @%mulrNJ0 1F  K bL  22' @(equivf_r38_jϠE: 2y ?ѩ?7~ Dc C@*morphism_1vnH@ <wX  _婚"@$mulf9ˀⰷܩ  e   n߷ܩ  >~_ < 4 #$ ϩ%{ Ұm  !md,  #of.\ I & #1W & %3uiǩİǩڰ1]é5ϩDRϰҩd  |װDSpHWBw  Q~^^ nn*rr2Щ u zFqbnI    j jz   r r |/ թ0^^$ސҰ0-0=/2`==鐩䐩߰D:eB  @9 IKa  c  (< ˰ϩ©YR,22e5bedgTZl;k3En=%p?WQvEO]1 \WQ2&TZRR/0ɩ>22\^$D%CjLB@=lMA`bqlUVlNZ\PTgia(w^@&mulrACBh/~pd#©_ΩxŰǰηq}s9ΰʩа,8Ұҩ԰۩ ݐ߰&ǩ̩[X]_R 'ϩDay ) A")ʐ \ԩ3֐ʰ%!'#7@␩ְ41 336Ie*w8N^@<BXS>\OLN PD2RdTf9M-Vh;  j= ː1dadcfe)[Ur3i{ !۩plrn2کߠ Mѩ Oש|~WwQW~-7󐩷Y:.M=*W@;7CE9kkqTH IJuVJik tHu uW # #xj^}X \Xiwk1ưT4 ;8lt{sngf*Jscsbsq]5UXR9YũQZɩЩ]OoyyxZ zPw^$~OJ%CN,HE`-]%mbK_A@ ŀBBm: K    @$invf~>=~     5  O K  _2 0.-   j i&%" #"!   ө"## ju  *  ,    /   177 Hgq}77Ԡu;;ؠyB,s}  Cĩ ~{~vvRzzV   b#!^ eF:v*ee _cjj d5pp5; uRB wɰ  }Q *f RDͩŷ!s6MDi~ Lٰun  FyU  J} x  P NF (  rЩϷͶک|֠ѐ8k9  vũ#Ő R. M   <)?  DCAAAA@@@@@@@@D>rs:ݩ{| ǩ^CCg + YX]Ơթsʠ '  Р   ; ?ou 3Q[@&RatioP/XWk6   \ǩ e1 ,%  )NlʩK?7  ة51 ٩TH 3 +  ͩ79 >  @#g B Gfa\q -3 \ ]6TQ  Uzwkcĩ۰  2Y-tϰW h.=\Cְ^ k9EBB e A e A9I g C\  _)awN߷h8ʶ(7 Щd<HکΩΩ Щʩrx թ٩ |  vI5  A񩵩PѐŰ 7U֐ʰ # ڐΰΩ) ͩ d吩ٰ ֶj됩߰ΩO  0  A  }C ĩ @%mul0rEn$51" ׷*%  6_ ਗ਼@%mul1rE 琩?!G ' 'ک٠ݩ LEQ 1 1 ʠÐU  ߩW  v1Nϩ+[Щc'e `j  堩ސn  p  FkVJ   |L1 &?@&numer00< 1Fh\1'&/gcrf2> K</b%* %     0  : 93Ős @c1U g,"co<|m`V[ ̐V  QJ a  izװz B//_view_subject_0^~CHIʐ𐩚[@&introT&2 Ce > # ېְ4 [ f琩۰I됩߰: ֩ Ŷ{ ©O (Q  j   l,.( ݩ* " ;d   ! @". A ö3/#Uɩנ ߐW:.` 1W5ٶ%D?k` l/NID kzx, K;ZUP%aU 8== C2#hx'ܰ: %Ȑ1_the_hidden_goal_xll hک/_discharged_hx_|wn 0p5rUr"bSFy9~   4- #d-p\=}naԩW7\ ͐W<  RK@ oCƩZ [G;>>@zdU<iŰHHM^$a"F<C԰mqiCdJEBv?xq8{H3CmⰩ zBީXWW   aJ©2p .P,+x&䩷·٩p. 3 F8 -ةlө٠ߩr ٩ Qz  PNP{!61,<0"KdHH ( l ( b< XT5 ϰ x0|ZFkIhc^Ͱ$>{rfʩװ.4ǰ\Щ]RQlcZ fmJ߰J `L 0w1*~ edyζ/&y$LzM7r~qܶ=nkilBgŐf%aI 8ZyԐϐʰڐΰΩ) ̩+ d[ɩ萩㐩ްG2{=y? X uuwe*CCnif>c@ 7`G~p[~7C (?JDfBA#U  *% ~U0$٩VΩ*q@ /Ӷض ?:5E&h8_|)Nl/NID$'y$ '<_u/  .   ?   3>~C\LCM-l`sv y/?_0`zASCxhhlO]/ qB n1xF@CGjr<;İVy &d_neq14k`]C 1 .IJ 3@#inv *Vݐ4멷X ^۶[Db:X = ? Aة C䩚@%quotW,吷t8tz %qUo X˩PT ` bթ d  5#!!#r uq>% {wD5 { } 9z*<@|> :8? 4ȰީʰJ   >> Ec%ְ5C(zZ  cVdgik%h = 9/}?P'@)equal_toECs#6@,pi_add_morph"[ [&5@+equal_to_pi.Db$g H& ԰IT}LN)PXhݩz:}l!@"]$:a o:835K0'%4xx#N|..MS{44S88Wǩ>>]=h]ɰLw WWvӰV3-1-2Ԑϐʰ\_&eeggfT.ðXXȷ[U(-ĩQ@ȩVffaFΩ\llҩԩaPةfvv zzЩZp ^ a:,+)zi֠3s3u%w#y|(7FɰXZ] _ddʩ0X0۰4o|gEĩihf*.fJ0J2LNIe.Y"Ѱ! QǩyQ'Uqlg°ZW/^~,̰\9`d'Ұb/g}ɩ27b!8ްf6:?j)nolSz|$~E(ɠɩ/eQ @kDF*+%/afϩͰP +ʩ)q"6Pr/,ްa>c (""'$#-k`(*©@i-ũ/ǩE nS,oǩ~;o=kyѩE}G[I]"K% %'"(t>mjʩ̩^Mt`Mvec.өfh~CAkmCEߩiNK8=کz | AZWDǰ[=;[˰ ^^ "`aǩ-U-ذ7w?a1?vs`,w(c|yf28z:|ecDDFFӰSɩ{S&c*Se-ްR &N&ư^`)mmCyհqװsکJ۰sݰuO٩<t"@ x/LFé,,Ȑǩ-O  >i@k.|9E:G<׷%aAͰ©eEѰTqkAjZO񩚠@%addrAV񐩷AķE(LHm<hjA '@6'@ mķ! 'QSUWY[] 66AdD<iok 7ܩmMErHJOOP  NPZS^QZc3e}ea _h̐ p7k<lMHCک)6vWRM3@wA[V;ũ1]TWm,\$'"a )lg($0+.j{ ~yt '<ez$wTzO'GFBNIש*0- 5\Ʃ^ͩ ;r̶;ΩA 9֩  Gک۩'Qc dz.|ɩi Om6nзT8R;=xA!٩'ݩGBJt#ĩnU5sWq P\D d5 ɩL N P 'A V$],sʠ0 ѩc2   0/Dm  :9y  |Xư" &0@%addrC`֩c}THMB`8vnR6 C>֩< ed<+y/yq ?Q  A"WɷuҰߩհ,N@&tofrac1ꀠ3Uxx˩A ]̩Vcce+6.,Koq"R&EC @V x@/tofrac_pi_morph?ì*AK iG6˩*b2ҩzjk'Ec, ϰکR  ĩ~۰  ש2ߩI0t >14 e36g) 8Yw ^> A* C  6 '" jȩQ*,!ʷu,Fĩ 4] _ R 8aԩ ֐ <%410ob-:#$Hb9 Pj Py3  S<KHGʰ_at{FS<1=ԩa{Rհ i iL .N  mVeba^kI°y'j   !W@%add0r߀%( ԰2uu  q` ٰu u4.U@,Ratio_numden77H?B  } xBy_ Щ@(oner_eq0$wHŀ@ Ω  !驷 '  [n ]  1é    1   @.frac_of_eqType1F   E 2  A {% | ~R T ␩  Ð k #   Mc s + H j@/pi_eq_quot_mono:l @2frac_of_eqQuotType73 W  穚@,pi_opp_morph.K  OOU!  퐩 ?<?@C V;; G I"7>>JM9  VMP HH TVUX K k`!-!! !i_  ̠) ީ 4Ωlש ԩ ٠۩6ݩѩvީ!   !ީ!/!##~M!WmO!&& SJUͰ)Y 00 ]T_43EcG!) f !S !b 6 *N :!{!{!\!Pif!E!z ca!!n!i!d05 %M i&!w!kkư i6ʰ!_pp!7 ;9!d~=`/!!!!ީ۰ީ"0B!u۩!M !2 QH R!!9fƩ!!dʩ f!^-!ש!!  ,;)!  p Ƿ q!!X!!! !۠!!ِ!Ͱ+!(+Bӷ!!!ې!ְ;1 5 !퐩!< + > "!!Ӱ!ũH֩I"$"$"!WMTWn"+Y!#!"""^-A"7"B<"7"" j!3ߩkl!!"#""Ir?"Kt.  i0"O"0"$Y!K4!)5"7"+@"]"]@W hBY"a"B"6ְk5mo!aJ9 -!AM"O"C "wW"w5吩"x"Y"M!t !R "`.""B[@%addNr""^""o " ! *"S"m"hCdB!{33"~"=  "m! 5"2"""|"wE"!90!}:"""\}"dݠ&"ө""&",")0"& Ͱ!" Ω а! "̩ """:q"˶":ͩ"@7"5 !Ʃ  ! " """IܷP"޶"Mک"SЩ"-A !,  !/ " , ""А詷"";Uw 4!"!©!Yѩ!F!!_"M&#!-# !Oީ c@,pi_mul_morph6!Y!#"b|' [ !ک# "}3ð!j# !"qJ /̩˰!S!#/#/;!uFũð %!y#'#6" {+*hj"n #"۠8 v#   @?}"##"G!  ## #_#@#;#6l) }#&5ϩ"a'" "k"E"i o}mj.0" a ah#4#A#B f f#9w;="˰ n ne"Ͱ p pcC#P#QIðK"ٰ | |#0OQ˰S#ͰU!ϰW#d #"77#=dfAذh#mA#n@lG###= zsp#_"O"P# INOy{K@}I#8##%W#Щ#6Xũİ }#٩### #~~I I"t #'xxE|"y#6 rwxް) pcx}~ "#kU#ݩ#8# *#S$$#RlQK6 8·$6#"#^1( ʩ D{ F$$#$$!#mf Ql#ĩ U W#mL/#nǷ#˩#|U :ש$$9 b8 @ݩ* hYϩ jB$C l nEG$I#CC#C yp###u ZD$Y$Y wyp#U$_0$`$A$<$7 $g$H$C$> #e!!$/$I$D"J$Z$x$xI#p!!$}$|M#t!!$$X$S%$U$$f $$i$d$_ #"!'$P$j$eө?"k${$:$j#"!2$$u$p18-3$  $$ ܩ$$#  $$$# Z$$#$)ԩ$!  j$$$-$$ 7Irީg#1Om#5$3$ҩ$ө f ݐ$ש$#M_}٩#Fd- ط#J$.Hj' $$ש | ֐$$9cu  !  ѩ{ !%  !'# #ͩ!+ȷ#Щ$NhG I Щ!6%%!8  %$_& 0 !EA  $!I#$le %)!R%+!T #! #Ԡ%V!{1 Q%5$!l$'$I$ީ$ %A%A F E %4 %C%%$!x%D$ -<9% :!y%O7$D Qש$B!8  %9%Wc$  M$%?%^$ GVSR!!!!!!%'!!$!"!W%m$e V$C!$ک od o! q%{U! s%9 J J% wn y%e$!!%!t!mm^!oo%%$װ5 t!-|%$!${$h!%$ Ʃ !ǰ z%%\)%$L* !!$!!M$~!$!3 \ȩ!F%~%!ݰ! y!V~K%J$!!V$!%0B kש!U!R%%sq;&&%"  ⩷%ƶ%5!%;%8! ?%5 ٩$߰$%% ک   %%%H" %ٶ%H ۩%N E%)C ʩ-$$ % ˩   %%ː%V ]%%Z 穷%` ݩ%:N >$:$< %   8 %%ܐ  %%ܐ%а:$ N$$  Ω$  ЩJ%U%wH$V m\$X $Z   %#=&&%!߰$۩ $ީ°$%&%-%#!$m $p˰$r% &,&. # :  z5$x  %  $z 4($|%&  #&8&& ۩"h!"j!%%נ! 4! &%ߠ!<!"|!%""%!F!"! "!""!$%& "!("!*&#44%!.X!0,"!2&+,!%%&o&P&K&F |"!9&6!!&!=k!?"!CT"!E%{!"!A%ǰ!!&!E{!G!"!K"!M&$%g!#&u&i "İ!L&&Y}}&1!P!Rߩ"ΰ!V%&;!Z!\"ְ!^."ذ!`,+"ڰ!b%-&p "ް!f1"!h&u&M!l!n"!p%&U!t!v5"!zJ7"!|?H)="!~&;& 3&&!_!_&e!°!O#!&O(!T&ܠ&ܩ&&# !#!#!&&}!ڰ! &%!~b%!&ѐ&Ű!J# !\#"!&۩&!!41&w!s''&䐩&ذ#3!'%' &됩&搩& #<!ԩ&Ѱ!!&!ة!ک#D!#F!;&۰!!&!!&!#P!&!!&!!#X!G#Z!0e&!''!#a!#c!u'<#e!&&Ҡ!/! wt'&'!!ҩ&ؠ!5"!թ#u"&%#x"(*"  ,'S'S'4'(#"w#"!#"#w&--&"'Q")԰#"-  'h'I'D'? uTԩ&f!B&D"'R'F!˩#")@#"+'|#"-@&^^'"1o"3#"7''j_"A[Y'''k'_-#"V#"X8H#"Z&԰dd'+"^"` 6#Ȱ"dLT9'@&"0&u"1''w!#Ұ"Zq#԰"\'#ְ"^q&'C"b"d##"h'#"j '젩'''^1#"W-'S&"S&"T''"#"}#"!>#"'ҩ''f"ð"F$"5J#''"j"j'p"Ͱ"$ "Tr l"'栩''ǐ'\$"X'&"~&"'ѐ'Ű"J+$ "'' ''ې'ϰp$*"f('␩'ݐ'ذ $3"o'"|"$9"c$;"k&"''"lM$B"ʩ$D"y(''Z""'"ة"$L"v"('('('$W"!ɩ$["̷(2ʩ'*"'"ĩ(( "p$e"#z$i"(B($(C($($s#=$w#(N'F"'$"(2(&"$# ?Ȱ$# ̩$#(`(B(`%%%''А%LЩ''ؐة$#2$#4Dk$#6'ک$#:`$#<8`(M %%(('̰$#J $#N 8H$#P =JC'#'$#Rb$#Td'f#.'߰(#*$ð#S(y$Ű#U] #)$ɰ#Ys$˰#[6s(1#e$"u('DD$ְ#r&$ذ#t&g'#K!$ް#v&$#x&'#R($( ($#}/#/-(( ^3^$#$#}'#e;0$#X$#X'#l(>D#a%#%#Jj%#%#Ln((k#ig((.U%#%#d>('#%#%#b'#(=^d#(f#%##\%%#\(I"X#o)(Ls%0#̩%2#  \F(#%6#Ω%8# $)""k#"&)(_%C#ߩ%E#%G#%I#  s](#%M#%O#D'#(r#%V#%X#)1U9)1@"#Oɐ)3(ѩ %c#%e$y(3#ة%i$%k$'ܷ(#ݩ(#ҩ%r$%t$%v$%x$wN)QY)Q"$6됩)S(ư@%$%$!" (S#%$!%$#"w )d$"$%$y)f(ٰ S%$2%$4%$6%$8 /& -&(j$%$8%$:(L$(Ű$ 7S)>"$A)(ΰ  %$N%$P~2@ĩ($'%$P%$RCx+(d$,(ݰ$!O%$Q%ð$S%Ű$U%ǰ$W$+))ө"$cT<)(B> B%԰$p%ְ$r$ g`($I%ڰ$r%ܰ$t$K")&#$v&M))UQ* U%$%$%$%$ q ~w($`%$%$|($e)79=$Z)@#+$)ө)qmF q&$&$($x& $& $Ƿ($}).OQU$r&$&$&$&$@?)) #K$֐))?f <&#$&%$" ($&)$&+$"  *$#^$$"*)Ry O&6$ҩ&8$ԩ&:$֩&<$  Ʃ) $&@$ة&B$($)e$7&I$٩&K$*$!r*$B#~$$*&)r k*))u$ķ*,)x$&Z$&\$&^$4*5)%L% ;$Y$Y$Y$Y$*=*_*>)*?*+*@)*A))Щ&oO&p $&q$ǩ&s$ɩ&u$˩&w$ͩ&y$ϩ)$o$o)$({*$s$s)$))$w$w)$)* * &$ߩ&$&$&$&$  *   *'&$&$&$&$&$)&$&$&$!*]*{*{)ǰ!K&%E&%G&%I& KE 5 B9 @ȩ)}%"& F[ )]%%)ְ%&%Hq*&g Kb*)߰!c&%]&ð _Y T)%6&ǰ Zoַ)q%9)%/&̰%\&ΰ%^&а%`&Ұ&&(<*& h*)!&ް%z3&%|j q!'@%S&%|&%~5۩&%WԷ)%Z* %P*ĩ&%}&V*ȩ&%&%bߩ$&%dᐩ*Ω*!&%O&%  ?'^%q'%Q'%*"$7%U *ߩ*+!' %' '% '%  's%'%'%·)%*<%'%N' %'"%IJ'$%'&T*N*5$Y%ѐ+*M!3'/%˩'1 ǩ'3% Ʃ'5% $ Ʃ'%'9%.';%'$"+&$n%2)&+*b!'D%ک'F% J'%'J%'L%J)%*o%+('Q%'S'U%+'W%'Y%H+2Y$%Y+4*"'b%'d& 'f& j9'%٩'j&'l&Xj*%ީ*%ԩ'q&+J"+J'$& _q+L*"'z&'|&K '%'&('&Kn*,%*%'&'&x'&m+d+d'&%' "7X{$&)9Z}+j*":6'&4.'&6 -'&8i -'&'&8'&:i*L&*Ű&  6+~%$&?n+*̰"PL'&JD'&L C'&N C'&P E(&''&P'&R*d&,*ݰ&"8'&O&'&Q++!$&[+*"lh'ʰ&f`'̰&h _'ΰ&j _'а&lZ V(0&C'԰&lC+*~&F*&<R'ٰ&i@'۰&k'ݰ&m++%%&wNː++"')'&W&W++++/++'' &'&'&+ɐ+ɩ+"'& {'  /*&l' *&o+ &e(&+۩(&ک(&.(&/O+' ++/"(& ( E *&( E*&+:&(& (LF_+0'Ͱ  N++E"ɩ('& () ũ(+&  *&(/&*&+R&(4&#(6d,^(8&(:h4b,8%m&1(,+a"(C& ֩(E  ֩+&*&+j&(L&;(N|(P&xx(R&(,+u,++w"(Y&([& 2 +)&Ω(_&(a& 4M+ &ө+&,=(f&<(h(j&,C(l'(nAZ%'C\,I+#(w'(y'({'   :+I&('('*=m++&+&. ,]%%'/Br,_+#/(')('+('-('/  &  $ $R+a'('/('1B +C' +'('.H:,w%'8I ,y+Ű#I('C('E < :+w'('E('G+Y'!+Ұ'('D('F('H('J,,('T(Q%'X,+#i:(ǰ'c(ɰ'e(˰'g ^ \ \+'>(ϰ'g(Ѱ'i+{'C+'9"~,'&'n,+#P(ݰ'y(߰'{('}] e r r+'T('}+'W,'M6L,&' Y,é,#`,Ʃ,'c޷,ɩ,'Z  (:<,,,,@,,,,(,v)"T,'])')' [ W G)'/ ], J J, J J,ް,ީ,*#{)  +')̷+',3'x],,0(°,,:#))   +,)$)&  +-&Z  +#+# +# -,T#ة)6'ҩ)8'ԩ):'֩)<     , ')@+',c'-(퐩-,j#)L')N  ,')R+'ĩ,u')W')Y')[')]  3  -6)  -8,$)f(.)'٩)j()l(. a,'ީ,'-H)q()s  I-L)u( )w(  c&( e-R,$")(F6)')(F-]&(H {-_,$/ )())+ %)(-&)(/ &)()(/ )(1 p,C( ,()(.C)(0| v-y`&(:  y-{,ǰ$K))(E)G A)(I@)(K@B*(")(K )(M- &(O  -,ܰ$`)(Z T)(\I* (3)İ(\ l)ư(^ķ,p(8,(.-)˰([)Ͱ 4)ϰ(_ )Ѱ(a )Ӱ(c  < -Q'(m }*Ӑ-,$~)ܰ(x r)ް(ze)(|s9*@(S)(|)(~ ,(X- (Nz -%'( 鐩-ĩ-$)( )(I*T(g)( )(I ,(l-(b)( f*( j*( --ܩ*(* V ':( X --.$4*( *(*(g*t(*( *(g ,(-=( -%'P( l --D$J*&( *((**(*,(*(*0(*2( ',(-U(8x.'h(# ,.-\$b*>( ԩ*@(ө*B(ө*D( ͩ*(*H( ,(-k(Nt.$'~( $ B.&-r$v))((nr*V( K*X(D.1.1-}%*_(*ae#-/(ԩ*ec Z-(ש-(ͩ*j( .C*l( B*n( *p) .I* gp.K-%*y)*{*}?-K(* v-+(-(*) *.a ^.a*7 .c-%3*-Q$-_)*(? -?)-(*)* *ʩ*~ t t.w.wJ*M1 J.y-Ű%I.*C*)E 52<-w)*)E -W)-а)*.Z')J !.-װ%[@*U*)W*)Y IDPP-)0*)Y*ð)[ 4 .')] 6 .-%n*̰)h*ΰ)jUSa-)A*Ұ)j*԰)lU ɷ-~)F-)<.*ٰ*۰)k*ݰ)m  F  .*߰)w*tb ֩(){d ؐ..%*)*)*)u7-)a*)*) -)f.)\ .%(*) .ҩ.%+)+)+)+) O-)y+ )+ ) {-)~./)t+) :.(D) ..8%]..;)  ..>)  *c<)+")+$) o h i+&) m q. z z. z z...K%?p+);-).P)/ U/ (/ .U%٩+7Y|.)+;U/I*W/.b%+D+F .)+J6 -).m)+O}/( t/(i* =-Ϡ%-Ѡ%( /.// Ϸ/0 .(,,o(./ /%u-   //;  /; /<///(з/C/$// ͩ.A,,(/ /%/ %-& /6/T/T%/U /V Ω.N,,(//2/-%-3/!-6*(/b3/c ޷/d ܩ.\,,(/&/@/;     /l/M/H/C.& g&/t .l* x.J*/X/S/N c%/b/Q//b/]/X / .-,)!/J/d/_ v%ͩ9-e  /u/4/d/ 4/ ..-,)./W/q/l? > ( &  > o//~/y/t1J&?/<.*5x.z*6///~(6%/(////D&&R/ X.*H .*I///;%/   ? dW/, /Ʃ//+/ϩ&, %, &,//.-M+/&Ȱ,%,&˰,//;//(Y/ B(,\/ B(/}-a,"t+@/frac_eqQuotType3z/>? //ؐ/Ӑ/ΰ/,<,*,=/@/,A/,B9/İ/,F:,5,H/ /L/-/,,=,G/S, , /,K?/ְ,,/,O@,G,Q/ /^z0"I'YI0#0//,,U,h]&"0,0 00/'Y'/+,X/ ,Y000 ,",h,"0A/,,/ՠ,&,n,(0,%,%/۠,, / 0./ $",y0O0O000+0&X,M0W+/O,|/-,}0;0601,F,,F(0e 0G#,0g0g0H0C0>p,,c0pD/h,з/F,0T0O0J,_, ',,`040a $200a0\0W1,,0]/,/_,0m0h0c,x20wg$j000w0r0m/,ķ/r,00{0v,0,Ѱ,0,ϩs,А0000/,ط/,000,00,,,㐩0'/.<% 0ȩ0,!, \0./.C,'0 `0-'Ω)D0թ0Ӷ0B- 0H(۶@000)i0S0)&S0z .0ǩX0}ː)k+)-(0+)00А0_-#0@0ѐ0̐,00Y0B&O0"0)k)k /.u,°00W/.x@&0N&l/./),xw0/ 10߰))}.,ʩ&00j,)@3eqQuotType_quotType*/G, 1h1@00l&y),%&&ư0ȩ#-1  0&/&@1 1,00;0}&1)16;Ȱ&*01,@,pi_inv_morph e51@@Q0&!),F&& 0=&0&@0&),H&&z01L0300161T & 1V@18131.-X---41`0X,I06,@1E1@1;,;S-,e0&ҩ),8a00o021 1 ),>g(f,>';';1]_^1{@1]1X1S-}---C10}-!<0[-@1j1e1`,`-,n-,-1'1x1@1x1s1n--\0-~-B0s-@11}1x->1-Ӱ->-0!^0'`*1,&& /1GE1@111--,v0-)[0-@111-X-S11ĩ---`!(#nx01ʩ1**e*b |*1)נv)]xzyyv)i|*|z*`~.Ր)_ )Z)S 1111*n f* h&  j1񐩷11Ґ1ư-۩.!-۩17--ة1-.'-11>0/x1԰-./-1E--1-% l.5-1 +2-а1* )H211-.B-!21111((˩1,#0,21(Ʃ.S,1i((1,20.Y,11p))1Ǡ,2 %-/77292922.#'.i.#B2@'18-C1-2$2(.s- ( .u-2N201 ѩ&$2P212%.:..:..<1.9.91.@6-"2]2>2924D.-2$--1--)1a-9.-f1-=-=2-j"N1E-@2S2G).->2{(;.-@K(=2_1-J-J2-w1&V-y.-{2A222g2[.p..p..r.+.1TQ22p2k2fv.')@1-e11k-f2y2m);.Ȱ-d.ʰ-f2N(c(23&x-<2222z..հ..װ.2lU.Kt2R1-11-22)U.-~.-wh(}D22y@&F=222.9..271-1-22)l.-.-2(2O&\12թ22.M1.k/.r.d.o1.n22-2/-2/.{ ͩ*.} 22̐2.c1.Է1.2Ӑ2ǰ-ǩ/"-22/$.*.ߐ222԰.//.A..ũ1./3%/..1.2됩2߰-3%33.%4../.33222'Q*32-1-322V)3 T3("3)3 33"."3033 3.I2.00u,233 )ة"13#3A"3B3A#2900,3Fq"."3G3G13F2>03K+."3p/3N2n+/""O3Wʠ3Y2N" +/""QW3A20"2(3b3b3F{" ,3Jr3h2+/""2d"#+/""g2D"&2(+.Z(i(fr373z3z ". 3|2Ȱ,/""֩*p3V2z/2X/2Ѱ(ީ, .))*y,.))3q*32۰,/""* *3i2/2k/2(, .)+)#*<3r 32#2ʰ3333{/3i//3+b2/333$..2//ض2 33//ݩ2 3/33/3//3+e2/32//$'2%22*3?*33/h3/c/c3*~2/32-.3J..2/o2/k/k#3ީ3')E,c.),) 3*r*o3Ʃ,g.)0)3*v*s2***v2..꠩2"32*"2//#33333թ3Ӑ3F2T2萩3"C?83ߩ2T*2+43J)t,/'#393-./.3,/'#!3?2.543 //#22ZVON42 2q32t332r***3..14!3j),.c3Y3M4!**343*3..42*3H.S4,.s#3iW233++3#2)22zy2 4@24%4#3C0@0@kn233H0p0p2432/,{zF4U2*4745404+*4+*+*3Y+,+,*!&*2ɩ3.2/3/.*4I3a//* 3),.p 334i..34K4F.˩44XX4z**3 49,.342+:3}0a0a$FH4B4g444g4e4`D24m2+F 434q4o4j4e/e4S/d/dz/c33s2usl4?3)-#/c)s3ְ3ʰ/@@*34e-+/k){3ް4B2a423 4%343 +Z+X+C4374444+&4{/Y/YZ+$3)4 S3'US*43/T/T*wI4)-M/RS434Ƞ4B44/4..4++*ة3 4-^/cd4*4u22&"243d1!4Ʃ4Đ440,3T464))13))QN3s/413]4?+t3+|+| 4C*]-/<94;32t2:32u3/44ᐩ4ܐ4װ0,3q4S5*w*w4044 *{*{$30 444434a+t*4++*4e*>-/# 4ݩ-/%"45"41.D,ש110F5&31f5 ?4 2323051Ҷ3'30*5153Ii31r53K"u009"i011I1ɩ121"e121125'114*-0 *Z*Y4N5KC"5J5.5,5'5)5$V5 51315;23é45V,,04Z,,%%#4*)-0b)) 4[22492ݶ5J5H5C5E5@10u30q5T5R5M5534*~-0A5|ZX5|5`5^5Y*4x24V25g5e5`+?4 05l2B55o41÷U2G3622214ް*).0**,$5C545}X4R3շ5N555{4+.*0n4ݰ˩3.00t45n155,45)555551S5{1N1N,i5 +(.F0+*4,U,R3ǐ,W.L0+*4,[,X5!3ķ4)շ5C4,55555 +4.\0*593ݐ;.b0*5?"53354f2#54P5ʩ5Ȑ5256+`)43e3+43f4r0ն54\5֩5Ԑ5ϐ555D+^.0 = :55ې542?5e43zc43{40524q5!6 !A42I#_i_q"hu&$_i1_,65a1511x1+6ޒcO.@@6"6'.6 6(3.,3+X,56+31TS5ͩ6-5y&5,++,$5),٩50,,H65 ,ܩ5,+6;6;*%542.6666$4*.1,+;*-6n256n6h(UnitRing@6<2uC2@1frac_unitRingTypeЀ6`26>6964@6*;/6P6m6! @6I 6tC66%Field@(mixin_ofY4Ā&62Ƿ5324N62ε-^(0!q(465,)5ܰ+,6,.66 ,+6 -+66 6 -,66-ک/#1*L*I-266+&e6c%q&g6+6@0frac_of_zmodTypej6P6o%} 6++57,N59,P6,!,76.,U6/60-4,61-&+663*6Ġ65-H/I1!!-O+76a%6l+;%5 6h%6u6+6א6֩6"(36/a1++-Ͱ3 +P@6Ʃ%B6A+T /k1++-װ36G/o1++ܩ&&6-ݰ36M3y(L/y1,,|6i1&26-265 6H(Y6/2**-2+v&6%ՠ&6+z /2 **-2677%ݠj/2,+2@&pi_opp0o#ڀ6!76iGD/2,,,6<834/2(,,62*62),8.36&i6?6|417575+/27,+ /29,, 2@&pi_add0o,67B6+i/2+,:+.63u+2N3v3y717 ++63}.@3& 2X6++63k73367,,63y337c6[,769,ҩ6,Щ/2e,,.Z2e m/2i,,.^2i+2=32m7w73--7 2q.h2s&H2G6..72y.p2{7$ 7A32~67E. . 72.z27% 327s6ΰ,,7%3'+j3)76 {776,A02,,E.3ʩ,23˰37IH3Ͱ3GK7777{+7i..7A3/P6-7o--7G3I.3K7v 6-#7-!Q0?2--.2,.2327Z7>32=777-1-17Z3\.3^&.t7 +W3c7Ѡ7ѩ7,{0Y2,,.Ű4,H2ݩ444 7,,7s4 .а4@44B76-S η6-T74-R0p2-9-8.ܰ2,_214272.y.y72.2~7r77H+37 777I,$02,,.40,t3 ,4144%867-vA6-w7W-u03 -\-[.3 ,2ީ4?4@384B3!77X--73/ 3U!+3W!8#8#7o,J03 -,ѩ/4V,3/R4W4Z&3382M80^7(-77-7-ͩ032--/'32,3(4g36' 3 8B)8$t,G8C7,j03,-;,/74v,3Or4w4z 4y8O}7G-!87%-7-03Q--/F3Q,ɰ3%G43U'*3)88a43Y8c!a8E8ҩ+Ϡ8e7-03N-]-/Y4,ܰ3q8R" 7e4N8/7C4O7-q03s,!,/d4 ,/!8{44'H/%8<!c484Q/4\87ΰ-,1 3k-z-0/v4,38o]=74k'Z0.8s7b4n7۰.13,@,=/4*-/@89884ð4}  _/487-Hũ1&3--L/474 l7z47.1/3,X,U/4B-/X8Q5886!z4 w7Y-\8(76/52O8䩚4@)oner_neq0U4(R   8888'e$3̷87.5!7.6888(|838 ؠC88(Additive@%axiomYɀ 58S8␑95*7(F8ѐ8@0frac_of_ringType88`8]455888d 8a8ߐ8ܩ5"8888Eq9 /./w497.8P8!8wo5748859b^.O.K7.7.8_907_X5F4885HQM9".#9"9!8m9-14 .-ѩ05V:14..&Ͱ8F@5)142..844843&B =8 189%T8֩14=,,0.4թ5l489")9E9E5n<35@&pi_mul0o!c8R9N8-+147.F-0B5559;9W8O.88-.Ʃ8.ĩ14Y..0N4YF"a14]..0R4]54_9i54a9M֠9k8.H14T.c.0_5з9r8j.948H.8.14t..ũ0i4t9`<9~8ʰ.([24g.v.,0r555.98."p8].8ְ.024..ک0~4v5499w2198.?r24~..C05N9ʩ8/ "8r/ 8/ E2'4..045Ѱ4"9998.T85!t858/%u274-`-]05Ju99 <8].`8_965@'rmorph0"6ݩ9@0tofrac_rmorphism?.9ΐ965@'rmorphN@965@'rmorphD6:6(5@'rmorphB4": 618s5O5@(rmorphMn;#6&.99:6?85@)rmorphMNnk :$6I5@'rmorph1#C:-6R5@'rmorphM?L:66[8*5@'rmorphXJ(:@6e071{: 7f7a9!::&9p9:5@c5 ;9)cF7h -Щ999۩+6: :*9:#7f:B:B@9"L::*:F@99#9)cg7@(equivPif)V99Ð*9::,*9:7:A:_:_8/@9///8/80@99אE9Q99ܐ#d9T: :v/w:v7ԩ9P25]/l/":|7ݩ9ɰ166e:Aש66g:B11©:6k[9ݩ9԰/:,:J:r91:&9a179۰165Y::R1 1 :*5]15_:20\6Ű5a:Z11:25e15g90d991 9b9:9.}5:@#::8 910,%:915#916891*65|9::4.A5:Z#::8:1A66"98:91H#ķ91I8%:1=6(65:)(:D.U%:ζ8/:2T66":K:91[:x91\88:$1P750:::`.&:8A:-2 :[96u:96v8G:31n:75#::71c9::72 6y:8S:?22::m96:968Y:E1:::7'6#:#68` ;C8a8G8B8?:O6x716:G66:Ȱ66_776::N8H8A:6 8S8>#':e0330/330/&333(/33*;&;4:p"; ;);(:t:"0::0:yĩ:;4 ;5:;9ڠ;\72 S;;:8;+;&;C c:88;"3;):8:8;J;+; + ;L;#;s;Y@)tofrac_eqO;;898%>)M4=U