"` =^#rat'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ڠ&choice)ssreflect(mathcomp@02*{;"W$^6'fintype)ssreflect(mathcomp@0ǒ3fp$path)ssreflect(mathcomp@0*%)bhcFrY#div)ssreflect(mathcomp@0W~ě o+ N%tuple)ssreflect(mathcomp@0ýޑР&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(fingroup(mathcomp@0c"65rk(morphism(fingroup(mathcomp@0ď \n.v($perm(fingroup(mathcomp@0R 嫁_]U,automorphism(fingroup(mathcomp@0$D^ V+b`Š(quotient(fingroup(mathcomp@0鰷 x<G@&action(fingroup(mathcomp@0wԦ-M:AB j3!&finalg'algebra(mathcomp@02!3 o'<%zmodp'algebra(mathcomp@0 SꮔnOA $poly'algebra(mathcomp@0*%H,""6ɠ&ssrnum'algebra(mathcomp@0[7y*Ee/뒠&ssrint'algebra(mathcomp@0M~փasut4wQn"\'HР#rat'algebra(mathcomp@A ,<@@#Rat$valq)Datatypes$Init#Coq@@$prodt@&ssrint.-@@#int%oX@ @@'is_true#œ!@$andb=&ssrnum#Num#Def@#ltr/V_'@1int_numDomainType9򕀩&ssralg.%GRing@$zero'}n)NumDomain@(zmodType#,nR@#sndKKA#div)ssreflectM@'coprime ̀X@$absz/ɀm@#fst  #C@@@AB@~BB@@:Y'@@@@AAB@BA@@@@@@@AA@@A@ @!r@:Y'@@&'@@@@@L@B@@:Y'@)Datatypes$Init#Coq@@t@ +k= R '>''+k677%'xɐ0IABp@@@@@G$ratz @!nΩGAAة$Ring@$sort;1G@(int_Ring5ǧm@#one'pt @)coprimen1 &@.&ssrint'algebra(mathcomp@@#int%oX@k@ +k67 :777"7 7 77 ::'ࠒP|t+\D7p\@hT@@@>=z&ssralg'algebra(mathcomp@A вuX@@A@@+rat_subType @&eqtype@'subType:t}@AY!x\:Ě@a:ej!K ̔@@#K_Sn"PxV!uٷ⩐D##%e 2@*vrefl_rect+ [3/@&eqtype)ssreflect(mathcomp@@>:t}@!x}yG +777!7! +B +e778k777"7 777"7 7! 777"77 7 77"7%'()= R'> %''+k$'() :'<$`TРK4l |XP0TƐ`nX0IADp}@@@@@P+rat_eqMixin @@*SubEqMixin1)̄@+prod_eqTypeY@*int_eqType ^@ ]B(Equality@(mixin_of3@n@ @ 3@ 6 + 777!7"k777"7 777"7 7! 777"77 7 77"7%'8 D.lhxTL̠>d\Nx\Ԡ@@@@@*rat_eqType @L@$pack O@u%0@ˠʠ@Z@$type qD@ 677!kΐL TD@@@@@堠/rat_choiceMixin @&choice@/sub_choiceMixin45〰 @/prod_choiceType?z@.int_choiceType=<̀6B&Choice@;@@&choice)ssreflect(mathcomp@@(mixin_of;@84xD[0d\UhD@@@@@M0rat_subCountType @g@1pack_subCountType'B$dO𚠐N@[1t젩@(sub_sort,4At@ "RZb@T;'@Aiq@@,subCountType|@{@? $+"777 +777 +777!7 k''777"7 777"7 7! 777"77 7 77"7%'LX`1LTӐ tl͠Ԡ|h0$`"lX8ܐm,ȠmD@L@@@@@Ӡ$numq @ Рf@$unitUe@@@@@@B eA kk@"ћn +kG= R'7 777&''+k6' @@ACp}\T d6H@@@@@ $denq @E8/,N)@I'F&ACp\TWHbd@@@@@/(denq_gt0 @@@i)Datatypes$Init#Coq@@#œ&ssrnum'algebra(mathcomp@#Num@/V_&ssrint'algebra(mathcomp@@9򕀩@%GRing@'}n@d:cA@@@@@v(denq_ge0 @r&Theory@$ltrWb٩}@:c@b65@u)Datatypes$Init#Coq@@'is_true#œ^]\@[@#ler/VB[PFE吐 t+k7 7 77 7 77#'ࠒ;\.X6hTt |H@@@@@Π(denq_lt0 @@zA%Logic$Init#Coq@@"eq @)Datatypes$Init#Coq@@$boolZ'@AD)Datatypes$Init#Coq@@$boolZ'@B@@@@@)denq_neq0 @@BK␩)Datatypes$Init#Coq@@$negb-@%eq_op&@ ɀAڀ@,int_ZmodType6k@@@@@F(denq_eq0 @@C/xm)&뀐A @"6kdB@@@@@j/coprime_num_den @@DS;#div)ssreflect(mathcomp@@'coprime ̀/@/ɀ,@:dA (A@@@@@$RatK @@HE!P--A,AN吩AAKKM@R@A1˩.B,BAB@@@@@.fracq_subproof @@F(ҀxxÐȐР)Datatypes$Init#Coq@@$boolZ'@@@@@@@@@CCm'Zmodule@$\M@^!뀐us(UnitRing@(ringType#@0int_unitRingType4 )Datatypes$Init#Coq@@xǀɀAꀐ5@#mul'p.&ssralg'algebra(mathcomp@%GRing=@<#;@%exprzf@B4@#opp'p^Z+@%oX@A&ssrnat)ssreflect(mathcomp@@+nat_of_bool1B%'ssrbool#ssr@@$addb[OlcaAI񩚠h\y@ rpAX?A#div)ssreflect(mathcomp@@$divn$L"Ac@$gcdn$\4\2AeAݐ@(zmodType!뀐Ȑ!d@@@@C@;1G倰⩚ۀАBޠ@'ptAgB]BBB@5ǧm,@=@#,nA󀠩逐BA@@@Rk@A@y@yTo@A@AB@>9!ؠH@ @A>:"I@@@@AB>>%{@@=B&eqtype)ssreflectA@AA@HAA"@ABCA@*'ssrbool#ssr#Coq@A.@A A+@* A4@AA1@,A3@̢BΚ @ABCDE@@%fracq @LڐroDDРR@$boolZ'@@@@@@@@@C %#@x$\M@&}36 7@'p.ɩj@fĩC@~'p}xA&ssrnat/@u1B%'ssrbool@qsgKbui2dG@N$AM@$gcdn$\4H[VRG,A @>wh>@a @ +kG= R1'7 77 777"77"?= R'67 '777"7 777"7 7!777"7 7!9'77 777"77"= R'67 7 7 '777"7 777"7 7!777"7 7!977 7 777"77"77 7 777"77"7!7 977 7 77 7 7!77"77 7"'::''+k67$'+k67 7 7$'+k6'tP<9oOAKpwؠspt<8HPPxp \T`X( tlw4nNiF($H4(0@@A@@IR  ZHdh|ܠ\<\ӠP-ԠXTz0@@@@@)ratz_frac @@ JGW)Ѐ  N@g:dA U@;/A?rYA^@@@A@A1GK@@AB@@Р%valqK @@ |H + @ s:ejAA@@@MȠREA%@㳠L&A1DH)@KA-@ABC@@)scalq_key @@ I@$unitUe@@@@@@ )scalq_def @B   V@@@A@ tA @ABC@@ !)scalq_eq0 @@ J [TI?@&eqType Է! u @;HA‐R/ @&eqType    թF A @@@SBXA @AA@ћ`Aw@B @ B>?ޠ @ABCD@@ q)sgr_scalq @@ K Hj4 @$sort@ܰ  E Щ i f fڰ ] ٩ @:d  e B BB ?ACAC@ s@_:@@ ޡ@   @BAABC@AA@AA  k@@@>9!ؠH /A вuX m@A>=z 4A ϲ6W r@A @B>?ޠ <@ABC@ &fracqP @@ Q -  { @:@AATA@@@#A@AA@A @ iA@ kA c@ABCD@@ 'rat_eqE @@ R R !y QF @ } tBA䀠 BAB倐A@@@kA @AnA@pA @ABqA@tA@AuA ٴa @yA ڴb @}A@ABCD@@ o(sgr_denq @@S  X ) - Ajr@@@A@A@@ *normr_denq @@>䩛B@  H+k()777" 777"77" 777" 777"77" 777" 777"77"77 7":'𠑑0xLDldhTt20` g$@@@A@A@AB@@$addq @O  ( @a49x) @؛ ʀ ΀y +k()7 7 7!L= R'6'$'+k+ 777!T'6'𠑑  @Cp;Ƞ"@Pؠtd@@@@@Р+oppq_subdef @ dW @__@ k t+k777" 777"77!:'Рp@x`X\H4h T@@@A@A@@$oppq @@v@CV9 v@Zz@{;>5~@;>7@o;>@U:@B`f@ @#kZ@ @$]@A O@ @%class%   @Y$\M \677777777k$.L|8TULFdMlH\JtZD@@@@@⠠(rat_Ring @@;Y@A婜@@A %@% |@%La@\@;Y@ @6777 :7;kpD\LT@@@@@!+rat_comRing @@^C@A$@7@A,@;?1@^ 6@@:C@?EpDɐLT!\@@@@@_%mulVq @@ n \ ym@4RH uːAЩ*lll/@ @@@ A .@A A 3@ A @ABA .@A 0@A@A @ABCD@@%invq0 @@NoҀҀR3@@@@@1RatFieldUnitMixin @%Field@)UnitMixin-@,@ @:d Հ@v;>d@7;5}m@5z(UnitRing@ V@@A@;1G@(ringTypeVꀐ@ @L;?  < 67777kР=TD\KdXlEL@@@@@!,rat_unitRing @@^2u@A$@ @A,+@ـ0@`@12u@6<,@$S@A꩜ @7o@A򩚠@#@3&P@aG@S@ T6777!77 :7;kࠒhDDtT"pk\hL@@@@@,-rat_fieldType @s@w2|l - z,@W*rW,P@٣ vؠO]@ 䠩@Y4Ā0@@P2 a@ "+ 7 +77 77777 :77k'' \x3T0\8Dp;d9xLXI@@@@@(numq_eq0 @@.qkeb A8^r pAA"@@@$A@A>@A@ABC@@$subq @nj@웠ހ ‛䀐 H+k()7 7%'ːt}d@@@@@Ҡ$divq @ ηϩL@  %dat@@@@@%ratzE @@r(xXA@&intmul%z>@#one'ptABBA@@@AZ@zAr@AB@@'(numq_int @@s[E2K/ABBjA@@@A[@A@@O(denq_int @@tڀF򀐵Zs+W/ABBT@@@A@A@@z$rat0 @@&u|37BB9@@@@@$rat1 @@LvЀ΀'+oB?B6@@@@@Ơ%numqN @@rwސN䩚Ld0AiYA@@@A@AA#@AB@@%denqN @@x(v"婚XAA@@@A@A@@(intq_eq0 @@yɛD9 󵩚4쩚ABRҀBY A@#nat@A@@@AW@A@A@ABC@@O&fracqE @@z(&)Aٵ^w/[3ABB@#inv'p$@c<~O{SZABB@@@A@AA8@A?@AA@"A@A@ABCD@@,divq_num_den @@V{܀l,f0ΐ@ABPB󀩚WT΀ˀvABiB A@@@DA@A@@)divq_spec,<@@y@{~@@@@ )DivqSpecN)DivqSpecP @ ~B-"((/a n lH @ fF ]+ Y QCC/ACAC@@0C@@,@...@BAABC@AA@BB-@@@ B@A@2%divqP @@|<@PC@АBABAD]ƩAʵBBۀB~†ߵYr۩VߵABB@@@A@AA @A@A@ABC@@}'divq_eq @@)}"nx"dx"ny"dy@au sCD%@q S4թn8JG v@ީRO穚JN񩚠R"@@@7A@ 9B ;@AB@@ꠠ(rat_spec,<@p@r@@@@x@y(Rat_spec}@u7-AB(ӵ@ %z>ܩݵ1BBk@'pw  ,`BB>CC=*CC@@E 3@@:::@AAC@AA@@@@@@@8$ratP @@~r5@[ 3@AA‐A@@@@@V,coprimeq_num @@b@,񀠩瀐B쀐A){  z""QH@(ringType-Z&^ɐ@@@PA@AA@A@A@ B @ABCD@@,coprimeq_den @@l@yjl@YOBTAȩthhူppvv}z󀰩 򀐩 @@@@Cꀰޠ@@@8A6@A8@zBx@ABC@@.&denqVz @@A!i@!A怐 s6‐׀ԩMf8LEÀI@@@Aw@B@AB@@m%numqE @@BV @'Zmodule@$sort$\MR~V AFAfj02 +k7 77 7 77 7 7"77! 7 77!77 7 77 7 7"77 7&',dqpDd6!LlXxlǠxX@@@B@A@@=&le_rat @w9 :@/VBeũgJ@u1yr +k()7 7 77" 7 7 77"77&'ࠒ{|HܠXdht t@@@@@@t<_rat @p4q3@_.ࠒ|H Xdՠht6t@@@@@@'gt_rat0 @@MD&Ӏ(Q@= :@T Ath]an:A@@@ A@A@@͠'lt_rat0 @@yEVT,A 6^A@@@JA,@A@@'ge_rat0 @@F1)@ l A@f/VB]A@@@vAX@A@@#'le_rat0 @@G]کUة,AՀ *詚A‐@@@A@A@@M(le_rat0D @@H3@!W B@-c  R7m ̩@,'p @@@@@(le_rat0M @@.I5h7@V4 B@b@ lJ [ %Ȑ@@@@@,le_rat0_anti @@aJh@e FA@ɀq R署y Z@@@@@ࠠ,sgr_numq_div @@Kk웠otlp t { BBB3'   ABBHԀܐBA@@@AJ@AAt@A@ABA@A@AAR@A}@\B@ABCD@@J(subq_ge0 @@Lb Ҷ2f ֩Y 쀰 A BkBA@@@A@AA@A@ABA*sRkh@A@A@B$@ABCD@@,le_rat_total @@ 4M'ssrbool#ssr#Coq@@%total-@b l@@@@@-numq_sign_mul @@ PN!bg v݀ǩ/i 3 7OԐ = AIBAesYBXA@@@>A @A@@렠,numq_div_lt0 @@ Oʶζ@Ðတ׀ɐBζ@Ր󀐩逰ߩF;܀Щր &?٩#J4M穚1 ]瀐  d󀐩 s@@@{A@AA@Ax@B@ABC@@ n-normr_num_div @@!P '^x`*.4  B!&&,,A&`7 ɐcg$rBMJÀܐvz7A@@@,A@AA@A@ABA@cA@A =A(?z)@ BAo@A CA@ EA'@@B>@ABCDE@@ )norm_ratN @@!Q .  |(!@;?ހ `A A@@@*AM@A@@!,ge_rat0_norm @@!R R˶@ꐩ Ȁ AV".!!@@@LAo@ Aq@AB@@!<*lt_rat_def @@!S vŶ"épũBA9/-AB[BA@@@@@!h*ratLeMixin @!!)RealMixin@"LexЀ0 Aݚ!m@ :@!q@;?ހ!u@7$!y@-!}@:;-!@Fn!@ @  皠!@ī!@8쀚!@e7@X@(mixin_ofV@&ssralg %GRing.IntegralDomain@ V{"\@ *rW, #67777 7 777777777 k<GdX=DDLKT |U\;LF\ ]dPxItol";lTT@@@@@!1rat_numDomainType @"?@ ?'7!7= R< '>'7!7= R/ '>'7!77k''+ k6'+ k6'+ k6'(LXbp"\|WȠ 7 hTDpmAC@FHE A\xH@@@@@"0rat_numFieldType @""(NumField@ )_""@ n jπ @ <3  !թ 7 @ 5}@ @"M2᱀"㚠"@6Ws! J"@@#@ a=$"@#{8@uT@ +77 +77 777k''ࠒXI\"АT.`JLxH@@@@@@"ꠠ2rat_realDomainType @#T#R*RealDomain@!9M "臭DA" nO?Kn"3 @*real_axiom #P@!@#6+̀$]AـS€OA@@@@@$*(numq_lt0 @@$W#d$\Q橚A$yA逐v@@@@@$P(sgr_numq @@$X#$9   @@#%oX@#@#sgz%| 䀐A A@@@A@A@@$|.denq_mulr_sign @@%(Y؛#>M w #@ r& BA =A@@@$A@A@@$)denq_norm @@%_Z#= 瀰  V'A _A@@@A @A@@$ՠ/rat_archimedean @@%[&ssrnum'algebra(mathcomp@ @1archimedean_axiom$yG%/@%clone=u$A1=@@@AJ O O@AA@A2@yA4@B@ABCD@@%)archiType @%k%i0ArchimedeanField@#P Rhڀ %Q%@?4% @-Oŀ@" = $S"@"%@@$ .%a$b"Ġ@1archimedean_axiom$yG/%/z%/)%m@  3@ R@ +7 +77 7777 77k''8LX%BhHpTADp\Bx@@@@@%b$Qint @d@)qualifier& 6@A i 5%h$%i$ % @  %o \+9k67 7 77&'Р t$@H%d%(\@@@@@%(Qint_key @@&?\@(pred_key4n@%@+has_quality.=j7%%@I:a+@@@@@%*Qint_keyed @@.KeyedQualifier-x%L%@- @@/keyed_qualifierjI@ Р%Đd*TL!lA@\@@@@@%䠠(Qint_def @@&]%%\@&in_mem&0%&'@#memڕ%𩚠@,predPredType>h`$`@@@@@&%numqK @@&^@(prop_in16&%F&&    %L& %*&L@)inPhantoma^H&ssrfun#@&cancelں7&&   @@@NA1GK@MA@AB@@&6%QintP @@&_%pj ($Bool&@'reflectc@@"ex @&ѷ!z&ԩǰ&< G C B&m&h@@@~A*ˠW@A1DH@8@ABC@@&i3Qint_subring_closed @@'`&@.subring_closedJ[ـ9Ր@@@A*Zs@AA*ɔv@#@AB@V@AA @A*sRk$@ABA @A-@A+@]@ABCDE@@&-Qint_opprPred @&&$Pred'Exports@(OpprPred-D 6j꩚@5keyed_qualifier_keyed1;4q=񚠐&@(À\yzX `v@`@(semiring,~@ t[67777"77"7777"77" &67777 77"77 7"7777 77777 77"77k<Pdl(+T\n䠒x$ː@'<+d\4pxL,LTA@H\dx"B؀@@@@(f.Qint_smulrPred @@)SmulrPred-r6 (g@ڀѩ@'opp_key_ i @@$smulqy@\<Pdl䠑(T\$$&@(B<f\4pxL,LTA@H\dEdKx"؀@@ @@(0Qint_subringPred @/@+SubringPredg(@j+kc,[ o@(zmod_opp8Fzh v/q@@'subring%}|@e o67777"77"7777"77" :67777 77"77 7"777 77"77 7"7777 77777 77"77k@Idl䠒)z4(T\@(XYd$P pxGLb|@LT?tA@H \dhx"(؀@@m@@)"$Qnat @)(^) )@ )[)d@ +9k77 7 77"7777"77 77" 77"7%'0l?)4x\@` HZT)\A@d)h)t@@@@@)c(Qnat_key @@*aР)`ʰ)b)a@N:aA@@@@@)u*Qnat_keyed @)r )q@q@zР)~dTؐlA@\L@@@@@)(Qnat_def @@*Jb()!֩))ܩ)@@@@@@)%QnatP @@*[c(ywm)m,)*@&natmul8z ejְ)@@@i@f@AB@@)ˠ4Qnat_semiring_closed @@*wd*"@/semiring_closed%Bπm@@@b@A_@@ABA*p*!@A+h2!@A@c@AB^@^@AA @A@:@ABCDE@@)-Qnat_addrPred @W}S)@ Ԁ*Q@0semiring_closedD> z)@?@ B67777"77" 677777 7 77777 7 77"77 7k4rl* \X"JhT|xx)@)LA@pd`$@@<@@*B-Qnat_mulrPred @ ϩR*@0semiring_closedM> zN@۠ 967777"77" 677777 77777 77"77k0lܠ*Y\kX*hTȐ6xx'@rLA@pd`@@@@*1Qnat_semiringPred @uSF*@;12-%)̰NJ@tD <M67777"77" &67777 77"77 7"7777 77777 77"77k8l*\Xߐ*Rx,FhTܠ|$px,`p@LA@d$@@@@*Ѡ(natq_div @@+}e!m)Datatypes$Init#Coq@@#nat@*@&$.@$dvdn$&AB&!%&@&natmul8z e$z#ꀐ~$J+%*򩚠$$%$+9)$7$+@@@#B#@A@@+:$ratr @!R*y+;#`%%8%.*I4+4?&@*+I%1@*2uC +k()7 7 7 7 7 7" 7! 7 7 7 7 7 7" 7 7&' Nh#|蠒%BPt&dQx+@%W\@@@̢+BΚ+@A@@+(ratr_int @@,-fGE5,7+@U:d~+u9HF+Ɛ@@@A3@e@@ABC@@+(ratr_nat @@,Gga_+UQ+@@@1AH@3@AB@@+)rpred_rat @@,[hus!S#@)pred_sortߺ#퐩%%*֩ʐ%ringS@'divring:E@*궐"kS#@*keyed_pred%Z@$ %%++Ʃi+ȩ+ʩ!@,subring_zmod.瀰 +ѩ(@,divring_ring6 怰, +,'!a+,i ArC,2 $.%搩%  $@*unkey_pred&ƀ+!+#;+%-+'([+),.+@@@A@A@@AB:@@A@@6@ABCD@@,$*fmorph_rat @@,i"aRn@*b2 a@"rR!f,,)RMorphism@#map0OF@@&$=ԉ)@%phant)`@A@ `,Jư{@%apply1Щ+r@ ,Iڠ@,unitRingType<̀,,,@@@@AD@@d#1,Bl%9,@ABC@@,|-fmorph_eq_rat @@-(jP@NLI©=@,~5i@%eqfunF`$GU;WLK@,C,˩ Ґ@@@A'hyx{@A=@r@(@ABC@@,*rat_linear @@-Pk!U-,'Lmodule@*%{@{o+A!V@@,`%{k ,@--(Additive@Yɀ!@- O,- -(-&&Linear@J+-1@%scale(_,,˩-9-7%Scale@)scale_law&fΘ  cA@@%%%)@+1$]@ADǩ,X@ %y6 ^@*&?ŀ%>W [ :@@@A@A @A@ BA+Ql*@AB EA+ˠr*@@A@@ABC@@A?w=c-}A(?z@A@ABA@ A X@A A>:"I-@A?v`-@@B?y5k-@ABCDEF@@-H.rat_lrmorphism @@-l!A--(Lalgebra@+.' @!B )@@-.&׀@.@*G @@'Fgׯ---*LRMorphism@*X*@A,C|-E0@-lmod_ringType.$< -l@@@ A@ @?ă -B?̅-@ABC@@-1ratr_is_rmorphism @@.Am!F @+T@=h' @@ 1,!@@@ A*uȠu+E@A A*vx+H@W@AB@ A@A6@ A @ABC A @ A@A5@@ B @uܠz.'B{@.)@ABCDE@@-Π-ratr_additive @97@C@AƩ':@&'ǐ'ÐA!"=@ 0YxJC-@^$-@YW +k7 7 7 7 7 77 7 7 :'ࠒXLpƐdl'X|`@@@@A@@..ratr_rmorphism @A}ِ@-Az7@ L+k7 7 7 :'htFX@@@@A@@.='ler_rat @@.n$@.monomorphism_2<|.@&{-.B.C  .4.- l @-numDomainTypefZz.?.@@@A(=@AA3@@A@3@@ABCD@@.i'ltr_rat @@/oҩ,.g'&Ʒ-.h,.i.&-+/%.$@@@@@AB@@.~%ler0q @@/*p-.{!&C5!ĩ.ܐ.Ґ.d@@@3@A2@g@@ABC@@.%lerq0 @@/Eq-."&ҩ^` .x@@@@.%ltr0q @@/Wr-."$&/-/@@&@@.%ltrq0 @@/gs&$-."4&/)"/*!@@6@@.ˠ'ratr_sg @@/wt64. "DJ% )/ %QL@@@4@A}@MȠR/AA@A@^@@ABCD@@.蠠)ratr_norm @@/uSQ.# 2"ag @@@O@A@@u@6@ABCD@@.@@@'@y'@AB ӳ2@%@A@ Գq@%@A@AC''|@@A@B`@@AC@/@@AB&$A.]@&&A%@ACDE$@8@A!d@ $@AB$@C$@ $@A "@B$@'@ACD'@!@A!!BE!@@A!@!@#X@AB!@'@ACDFG'@%@%@AB%@%@A'@B''CD'@'@#0@AB@@A@@AB@@@A@BCDEFZ@W@7@@ABC@@A @.A%@ABD @@A @ @_@A@BCDEG.A*Z'ssrbool#ssr#Coq@@@A@@A@@AB%9@CDm@m@A@@ABE!@@!B@ '@AB &@@A '@B3@.@ACD-,*@'@ABE'@@@AB$@@A$@B"}@*@A@BCDFGHI@@HU@%bigop)ssreflect(mathcomp@&Monoid@&addmACHU &Theory@._N@A@AHy@@&addmCAHy@._N@A@ O@@&mulmAC O@0GV>@A@ P@@&mulmCA P@0GVb@A@AB|$@"@)mulm_addl|$@=3p@A@CD|*@'@)mulm_addr|*@=3v@A@1A@0@'iteropE1A'@H7@A@A:Ya@5@%add0m:Ya,@ hA@A@B:Yf?@:@%addm0:Yf?1@ l@A@:YfP@A@%addmA:YfP8@ l@A@A:YfR@F@%addmC:YfR=@ l@A@:s@L@%mul0m:sC@ "@A@:s@R@%mul1m:sI@ "@A@ABCD:s@W@%mulm0:sΑN@ "@A@:s@`@%mulm1:sϑW@ "@A@A:s@e@%mulmA:sߑ\@ "+@A@B:s@j@%mulmC:sa@ "-@A@C:}ď@o@%simpm:}ďf@ ,@A@=[Y@u@'mulmACA=[Yl@# @A@ADEF@$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ֱp0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+&action(fingroup(mathcomp@0wԦ-M:AB j3!,automorphism(fingroup(mathcomp@0$D^ V+b`Š%bigop)ssreflect(mathcomp@0#z xW :G؂b(binomial)ssreflect(mathcomp@0io  } .b02*{;"W$^6)0W~ě o+ N/y0Wn"2&=zH0;&finalg'algebra(mathcomp@02!3 o'<&finfun)ssreflect(mathcomp@0ƜNtD砠(fingroup(mathcomp@0c"65rk&finset)ssreflect(mathcomp@0 @$$~,B|XŠ'fintype)ssreflect(mathcomp@0ǒ3fp(morphism(fingroup(mathcomp@0ď \n.v($path)ssreflect(mathcomp@0*%)bhcFrY$perm(fingroup(mathcomp@0R 嫁_]U$poly'algebra(mathcomp@0*%H,""6ɠ%prime)ssreflect(mathcomp@0.wFbN_(quotient(fingroup(mathcomp@0鰷 x<G@#seq)ssreflect(mathcomp@0=~(sV,Aڠ,0ⴆg {PK*T0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q'0 zv)ssreflect(mathcomp@0tn|kN0 D/O 01 ZP"};o{&ssrfun)ssreflect(mathcomp@0âNO=(V,0M~փa+ssrmatching#Coq@0L1T=>*0ͧMy}yWߘ,ssrnotations)ssreflect(mathcomp@0hPB ,ڐ0[7y*Ee/뒠%tuple)ssreflect(mathcomp@0ýޑР%zmodp'algebra(mathcomp@0 SꮔnOA A"_39.z"<-"_49.z"->1N$@@B@1A@1@@@1 @#_1514A@@@@@@@@@A@1B@A@@@@#_16'`o@@@@@#_17'`o@$@AB@@@2 1@22 Q@@H@#_18(7@@@@@#_192M접 AA@A#_20'`o@A@@1@#_21L4x11A2#1,L@/;2 Q@@@@#_674\@/F6t@@@@@#_682M접/&Theory@$ltrWb#_69'`o@A @3@/2 Q@@A@#_714@/6 BA@@@@@@@@@@#_722M접#_73'`o@AG@3@.2 Q@@A@#_754@.3[A@@@@@@@@@@#_762M접#_77'`o@An@4@#_78X@ƒ/@@////ې'META341/.L@@Š/H4A0*/I/>/:/74/5/4-5@9mathcomp.algebra.rat#<>#2,L@//2 Q@@A@#_805 @/:6*A@@@@@@@@@@#_812M접#_82'`o@A@4z@/22 Q@@A@#_845G@/=)!A@@@@@@@@@@#_852M접#_86'`o@A@4@/'2 Q@@B@#_885n@/2:aA@@@@@@4 B@A@@@@#_892M접#_90'`o@B4@@4Ϡ5b@/2 Q@@B@#_925@/whA@@@@@@@@@@#_932M접#_94'`o@A@@4@-b2 Q@@@@#_95,p%@@@@@#_962M접 @#_97'`o@A@@5@,2 Q@@B@#_995@, 7A@@@@@@@@@@$_1002M접$_101'`o@A{@4@,2 Q@@B@$_1036@,;MA@@@@@@@@@@$_1042M접$_105'`o@A@5h@,2 Q@@B@$_10765@,4;KA@@@@@@@@@$_1082M접$_109'`o@@@@,2 Q@@@@$_1106V@,4;B!@@@@@$_1112M접A$_112'`o@A@@,@,\2 Q@@@@$_113+C@@@@@$_1142M접 C$_115'`o@A@@,@,@2 Q@@C@$_1166@,Kf@@@@$_1172M접 @$_118'`o@@@@$_119(шZ,X+2 Q@@B@$_1216@+4;DA@@@@@@@@@@$_1222M접$_123'`o@A@@-@+Ƞ2 Q@@A@$_1256@+7A@@@@@@@@@@$_1262M접$_127'`o@A@@-*@+2 Q@@A@$_1297 @+ !9A@@@@@@@@@@$_1302M접$_131'`o@A@@-P@+2 Q@@A@$_13370@+ !A@@@@@@5̑B@A@@@@$_1342M접$_135'`o@B@@@-}2z@+J2 Q@@B@$_1377`@+U:A@@@@@@5B@A@@@@$_1382M접$_139'`o@B@@@-2@+ 2 Q@@@@$_140*/@@@@$_1412M접 @$_142'`o@@@@*2 Q@@@@$_143"L@@@@$_1442M접 @$_145'`o@@@@*2 Q@@B@$_1477@+ S A@@@@@@@@@@$_1482M접$_149'`o@A^@7@*2 Q@@B@$_1517@+ SA@@@@@@@@@@$_1522M접$_153'`o@A@7@*N$@@B@*'@**@@@&@$_154*{*@@@@@@@ A@6B@A@@@B@@*D@A@@@@@$_155'`o@-@C@@@898<7@$_156'`o@B@AB@@@8L+3@$_157'`o@R@BD@@@@8_5\7Π8M@*2 Q@@B@$_1598@* SA@@@@@@@@@@$_1602M접$_161'`o@A@@8@*2 Q@@A@$_1638@* FA@@@@@@@@@@@$_1642M접$_165'`o@B@@@--!@*2 Q@@A@$_1678@*ږ*A@@@@@@@@@@$_1682M접$_169'`o@A@85@*Ǡ2 Q@@A@$_1719@*>A@@@@@@@@@@$_1722M접$_173'`o@A@8\@*Ǡ2 Q@@A@$_1759)@*-DA@@@@@@@@@@$_1762M접$_177'`o@A@8@*ʠ2 Q@@A@$_1799P@* BkA@@@@@@@@@@@$_1802M접$_181'`o@B@@@--@*2 Q@@B@$_1839{@*۝A@@@@@@8C@A+ǑD@A@@@@@$_1842M접$_185'`o@$D@@@@@/Ѡ/Ԡ4Ѡ4@*n2 Q@@B@$_1879@*y*2ZEA@@@@@@@@@@$_1882M접$_189'`o@A@@9 @*O2 Q@@B@$_1919@*Z)A@@@@@@8|D@A@@@@@@$_1922M접$_193'`o@D@*ring_scope@@.Z2`2c57@*22 Q@@@@$_194(<@@@@@@$_1952M접@$_196'`o@B@@@9n9q@* 2 Q@@@@$_197(c@@@@@@$_1982M접@$_199'`o@B@3ࠐ3@)2 Q@@@@$_200(@@@@@$_2012M접 @$_202'`o@A@@9@)ޠ2 Q@@@@$_203(@@@@@$_2042M접 @$_205'`o@AK@4(@)ʠ2 Q@@B@$_207:@) A@@@@@@@@@@@$_2082M접$_209'`o@@@@)ɠ2 Q@@B@$_211:@) A@@@@@@@@@@@@$_2122M접$_213'`o@@@@)Ԡ2 Q@@B@$_215:@)#D.A@@@@@@9C@A-ED@A@@@@@$_2162M접$_217'`o@$D@@@@@1O1R6O6R@)2 Q@@B@$_219;8@);FA@@@@@@@@@@@$_2202M접$_221'`o@@@@)2 Q@@B@$_223;[@)RlA@@@@@@@@@@$_2242M접$_225'`o@A@@:@)2 Q@@B@$_227;@);FA@@@@@@@@@@$_2282M접$_229'`o@@@@)2 Q@@B@$_231;@);$oA@@@@@@@@@@@$_2322M접$_233'`o@@@@)2 Q@@B@$_235;@);$oA@@@@@@@@@@@@$_2362M접$_237'`o@@@@)2 Q@@B@$_239;@);$kA@@@@@@@@@@$_2402M접$_241'`o@@@@)Ǡ2 Q@@B@$_243< @);$m=A@@@@@@@@@@$_2442M접$_245'`o@@@@)Π2 Q@@@@$_246<.@)@ "@@@@$_2472M접 @$_248'`o@@@@)2 Q@@C@$_249&>'@@@@$_2502M접'@$_251'`o@'@@@$_252(шZ'))2 Q@@@@$_253(_`@@@@@@$_2542M접@$_255'`o@B@@@;;@)v2 Q@@@@$_256(@@@@@@$_2572M접@$_258'`o@B Q S@6063@)e2 Q@@B@$_260<@)pLqA@@@@@@@@@@@$_2612M접$_262'`o@@@@)k2 Q@@B@$_264<@)v ,>A@@@@@@@@@@@@$_2652M접$_266'`o@@@@){2 Q@@@@$_267(x#@@@@@$_2682M접 @$_269'`o@A@@7A@@@@@@@@@@@$_2872M접$_288'`o@@@@)62 Q@@B@$_290=@)A;>5A@@@@@@@@@@@@$_2912M접$_292'`o@@@@)F2 Q@@B@$_294>@)Q;>A@@@@@@@@@@$_2952M접$_296'`o@@@@)J2 Q@@B@$_298>5@)U:A@@@@@@@@@@@@$_2992M접$_300'`o@@@@)W2 Q@@B@$_302>Y@)b`fA@@@@@@@@@$_3032M접$_304'`o@@@@)^2 Q@@@@$_305>z@)i%La!@@@@$_3062M접 @$_307'`o@@@@) 2 Q@@C@$_308(i=(l@@@@$_3092M접(t@$_310'`o@(z@@@$_311(шZ()!(2 Q@@C@$_312(^(!@@@@$_3132M접()@$_314'`o@(/@@@$_315(шZ(4)(Р2 Q@@B@$_317>@(;>dA@@@@@@=vB@A@@@@$_3182M접$_319'`o@B@@@3M:$@(2 Q@@B@$_321? @(;5}mA@@@@@@@@@$_3222M접$_323'`o@@@@(Ǡ2 Q@@@@$_324?+@(!@@@@$_3252M접 @$_326'`o@@@@(}2 Q@@C@$_327%%=%(@@@@$_3282M접%0@$_329'`o@%6@@@$_330(шZ%;((i2 Q@@C@$_331?j@(t3&`@@@@$_3322M접 @$_333'`o@@@@$_334(шZ((N2 Q@@B@$_336?@(Y3EpnA@@@@@@!xB@A@@@@$_3372M접$_338'`o@@@@(Z2 Q@@@@$_339?@(e)@(C@A!y@A@@@@$_3402M접8;)m@(x!D$_341'`o@%@@@(W2 Q@@C@$_342W@@@@$_3432M접@$_344'`o@@@@$_345(шZ(m(02 Q@@C@$_346@@(; jz@@@@$_3472M접 @$_348'`o@@@@$_349(шZ(%'2 Q@@A@$_351@*@(8EA@@@@@@@@@@$_3522M접$_353'`o@A @?@$_354@BBA@B@B@%_ %:Q@B  @B?q#%:Q@@@AA@@@$_355%c?@*ring_scope?@*ring_scope@@@'ϠA!RA@@'Р@@@@@??o@:@@@>@@%n %:Q$_356X@ ;@@:ꐤ:ᰐ:ߤ;'META343;:␠ @@  Ѐ;@ ;;;;;@k::?@@9mathcomp.algebra.rat#<>#3,L<@@<;;񐤐@@;򐛐'META344 @@ Ҡ ؀<7@N<7<-< <@@ѩ<@@:A@9mathcomp.algebra.rat#<>#4,L;@@;鰐<<<4@ݐ@󤐑<5'META345 @@ <@<<#5,L@)2 Q@@@@$_357Ar@)$:e5&H@@@@@@$_3582M접@$_359'`o@B02@;;@)2 Q@@@@$_360A@)*:cr@@@@@@$_3612M접@$_362'`o@BZ\@;9;<@$_363%c?@)rat_scope@4@@@!0A@!0$_364%c?@)rat_scope@,@@@!1A@!1$_365@rrAr@@r@BrA@%_ + _@r @B%_ + _!x!+!y@@@@@AA@" +@A@@B@@@@@$_366%c?@)rat_scope@@@4b@@@0Π@4l@@@@%_ + _B:@%x + y$_367@ccA@cAA@#- _@c  @A#- _!-Y@@@O@ @A@@AA@@@@$_368%c?@)rat_scope@@@@0A@@@@#- _B}@#- x$_369@hhAh@@h@BhA@%_ * _@h @%_ * _!*@@@@AA@" *@A@@B@@@@@$_370%c?@)rat_scopeAOh@@4m@@@.ϠA\5@@@@%_ * _B@%x * y$_371@CCA@C@B@%_ ^-1@C  @B%_ ^-1!x#^-1@@@AA@@@$_372%c?@)rat_scopeA@@@.A@@@@%_ ^-1C@%x ^-1$_373@rrAr@@r@BrA@%_ - _@r @5%_ - _4!-3@@@2@AA@" -@A@@B@@@@@$_374%c?@)rat_scopeA䠠@@5@@@접A5@@@@%_ - _Cl@%x - y$_375@hhAh@@h@BhA@%_ / _@h @%_ / _!/@@@@AA@" /@A@@B@@@@@$_376%c?@)rat_scopeB>W@@5\@@@BL5@@@@%_ / _C@%x / y+,2 Q@@A@$_378C@+7;FA@@@@@@@@@@$_3792M접$_380'`o@Aa@B@+"2 Q@@A@$_382C@+-8 A@@@@@@@@@@$_3832M접$_384'`o@A@B@+!2 Q@@A@$_386D@+,6A@@@@@@@@@@$_3872M접$_388'`o@A@C@+2 Q@@A@$_390DB@+(:d@+2 Q@@B@$_406D@+# uA@@@@@@@@@@$_4072M접$_408'`o@Ag@=@+2 Q@@A@$_410D@+  SA@@@@@@@@@@$_4112M접$_412'`o@A@@DM@*ˠ2 Q@@A@$_414E @*A@@@@@@@@@@$_4152M접$_416'`o@A@Dz@*N$@@B@*V@**@@@U@$_417*j*@@@@@@@@@ A@@=C@A@@@B@@@8(E@A@@@@@$_418'`o@1@E-@EdEgEjEmD@$_419'`o@R@AC@@EE8x@$_420'`o@h@BE02@a@@EEBEE@*2 Q@@A@$_422E@+;+AA@@@@@@@@@@@$_4232M접$_424'`o@Bjl@EϠE@*ڠ2 Q@@A@$_426F@*#8XA@@@@@@@*㑐E@A@*F@A@@@@@$_4272M접 $_428'`o@&FѠӠՠנ@@@????AfAi@*N$@@B@*^@*@@@\@$_429*mO@@@@@@@ A@EuC@A>ʑ@A@@@@$_430'`o@#@C@EРF\F_@$_431'`o@:@AC )nat_scope@@Fp,Fi@*à2 Q@@A@$_433F@*:d\A@@@@@@@@@@$_4342M접$_435'`o@Af@F@*̠2 Q@@A@$_437F@*sBA@@@@@@E葐C@A?=@A@@@@$_4382M접$_439'`o@"Cln@@?֠?٠B"@*2 Q@@A@$_441G@*cA@@@@@@F#C@A?x@A@@@@$_4422M접$_443'`o@"C@@@@B]@*j2 Q@@A@$_445GC@*u ﺑA@@@@@@*wB@A@@@@$_4462M접$_447'`o@Bݠ@@FFB@*\2 Q@@A@$_449Gt@*g;@A@@@@@@@@@@$_4502M접$_451'`o@A4@F@*<2 Q@@A@$_453G@*G;*A@@@@@@@@@@$_4542M접$_455'`o@A[@F@*'2 Q@@@@$_456&&@@@@@$_4572M접 A$_458'`o@A~@A[@)2 Q@@@@$_459)>I@@@@@@$_4602M접A$_461'`o@B@AA@)2 Q@@@@$_462)r@@@@@@$_4632M접A$_464'`o@Bˠ@AA@)2 Q@@A@$_466H7@)-A@@@@@@@@@@$_4672M접$_468'`o@A@A@)2 Q@@A@$_470H^@);A@@@@@@@@@@$_4712M접$_472'`o@A@A@)2 Q@@A@$_474H@)*)A@@@@@@@@@@$_4752M접$_476'`o@AE@B"@)ޠ2 Q@@A@$_478H@)8$A@@@@@@@@@@$_4792M접$_480'`o@Al@BI@)۠2 Q@@B@$_482H@)$A@@@@@@GoC@A;D@A@@@@@$_4832M접$_484'`o@$D@@@BBD+D.@)2 Q@@B@$_486I@)-A@@@@@@GC@A;`D@A@@@@@$_4872M접$_488'`o@$D᠐@@@B BŠDlDo@)2 Q@@B@$_490IU@*:;-A@@@@@@GB@A@@@@@$_4912M접$_492'`o@C@@@BDD@*2 Q@@A@$_494I@* oA@@@@@@@@@@@$_4952M접$_496'`o@B "@HH@)à2 Q@@B@$_498I@)nA@@@@@@@@@@@$_4992M접$_500'`o@B57@C C#@)2 Q@@B@$_502I@)@ A@@@@@@@@@@@$_5032M접$_504'`o@@@@)2 Q@@B@$_506J@)<^CA@@@@@@@@@@@$_5072M접$_508'`o@B*bool_scope#@DB@)2 Q@@B@$_510J6@)!A@@@@@@IQC@ABD@A@@@@@$_5112M접$_512'`o@$D@@@@@>>EE@)\2 Q@@A@$_514Ju@)g:A@@@@@@@@@@@$_5152M접$_516'`o@B  @CsCv@)2 Q@@B@$_518J@)īA@@@@@@@@@@$_5192M접$_520'`o@A@D@)2 Q@@B@$_522J@)8A@@@@@@IeB@A@@@@$_5232M접$_524'`o@B@@DmF@)2 Q@@B@$_526J@)7A@@@@@@@@@@@$_5272M접$_528'`o@B@DD@)2 Q@@@@$_529K'@)-@@@@$_5302M접 @$_531'`o@@@@(2 Q@@C@$_532&I&נ@@@@$_5332M접&@$_534'`o@&@@@$_535(шZ&(e(42 Q@@C@$_536Kf@(? Ul@@@@$_5372M접 @$_538'`o@@@@$_539(шZ('2 Q@@C@$_540K@'u@@@@$_5412M접 @$_542'`o@@@@$_543(шZ''2 Q@@C@$_544K@'-O@@@@$_5452M접 @$_546'`o@@@@$_547(шZ''u2 Q@@A@$_549K@'8 3A@@@@@@@@@@$_5502M접$_551'`o@A@K)@'o2 Q@@A@$_553K@'z8@A@@@@@@@@@@$_5542M접$_555'`o@A@KP@'n2 Q@@A@$_557L@'y8 PA@@@@@@@@@@$_5582M접$_559'`o@A@Kw@'o2 Q@@A@$_561LD@'z8]A@@@@@@@@@@$_5622M접$_563'`o@A@K@'p2 Q@@A@$_565Lk@'{۸A@@@@@@@@@@$_5662M접$_567'`o@A+@K@'k2 Q@@A@$_569L@'v A@@@@@@@@@@@$_5702M접$_571'`o@B@GE@'a2 Q@@A@$_573L@'l3[0A@@@@@@@@@@$_5742M접$_575'`o@A*ring_scope@A@'g2 Q@@B@$_577L@'r4A@@@@@@@@@@$_5782M접$_579'`o@@@@']2 Q@@C@$_580M @'h*"@@@@$_5812M접 @$_582'`o@@@@$_583(шZ'D'2 Q@@@@$_584M,@'*:a+E@@@@$_5852M접M9@'7:a+@$_586'`o@MA@'?:a+@@@'2 Q@@B@$_588MN@' A@@@@@@@@@$_5892M접M\@') $_590'`o@Mf@'3 @@@'2 Q@@C@$_591Ms@'#(;@$_602'`o@M@'H;@@@@'2 Q@@A@$_604M@'$;2A@@@@@@@@@@$_6052M접N @'3;2$_606'`o@N@'=;2A z@E@'2 Q@@B@$_608N%@' 1A@@@@@@@@@$_6092M접N3@'* 1$_610'`o@N=@'4 1@@@' 2 Q@@C@$_611NJ@'%@@@@$_6122M접NW@'%@$_613'`o@N_@'-@@@$_614(шZNf@'4ڠMId',@GTe@&Ġ2 Q@@C@$_615Ny@&93PT@@@@$_6162M접N@&93P@$_617'`o@N@&93P@@@$_618(шZN@&93P/@>e@&2 Q@@C@$_619N@&)@@@@$_6202M접N@&)@$_621'`o@N@&)@@@$_622(шZN@&)ﵠ[@GeH@&o2 Q@@C@$_623N@&zj@@@@$_6242M접N@&j@$_625'`o@N@&j@@@$_626(шZN@&j@&zr@&?2 Q@@C@$_627N@&J*gؠ@@@@$_6282M접O @&W*g@$_629'`o@O@&_*g@@@$_630(шZO@&f*g預@&S,~@&2 Q@@C@$_631O)@&#)z@@@@$_6322M접O6@&0)z@$_633'`o@O>@&8)z@@@$_634(шZOE@&?)z@&#qy@%2 Q@@C@$_635OU@%Y0@@@@$_6362M접Ob@&Y@$_637'`o@Oj@& Y@@@$_638(шZOq@&Y @%%}|@%2 Q@@@@$_640O@%:aAA@@@@@@@@@$_6412M접O@%:aA@$_642'`o@O@%:aA@@@%2 Q@@B@$_644O@%qA@@@@@@@@@$_6452M접O@%q$_646'`o@O@%q@@@%2 Q@@C@$_647O@% %@@@@$_6482M접O@% @$_649'`o@O@% @@@$_650(шZO@% ԠV@%2 Q@@A@$_652O@%A@@@@@@@@@@$_6532M접P@%$_654'`o@P @%A@Oe@%Ġ2 Q@@A@$_656P@%;A@@@@@@@@@@$_6572M접P-@%;$_658'`o@P7@%;A @G@%Ӡ2 Q@@B@$_660PI@%A@@@@@@@@@$_6612M접PW@%$_662'`o@Pa@%@@@%Ӡ2 Q@@C@$_663Pn@%;12%@@@@$_6642M접P{@%;12@$_665'`o@P@%;12@@@$_666(шZP@%;12@%2 Q@@C@$_667P@%, O@@@@$_6682M접P@%, @$_669'`o@P@%, @@@$_670(шZP@%, 헠@%2 Q@@C@$_671P@% y@@@@$_6722M접P@% @$_673'`o@P@% @@@$_674(шZP@% @%p2 Q@@A@$_677P@%{;A@@@@@@%}C@AP @A@@@@$_6782M접$_679'`o@"C  @@%%LA@%B2 Q@@@@$_683Q'@%M:d~;@@@@@@$_6842M접Q6@%\:d~A$_685'`o@Q>@%d:d~B@@:zP@%(2 Q@@A@$_687QT@%30RA@@@@@@@@@@@$_6882M접Qd@%C0R$_689'`o@Qn@%M0RB@@:QT@%>2 Q@@A@$_691Q@%I0hA@@@@@@@@@@@$_6922M접Q@%Y0h$_693'`o@Q@%c0hB@ @:ڠ7@%Z2 Q@@A@$_695Q@%e#GvA@@@@@@%ܢBC@A%m@A%aD@A@@@@@$_6962M접Q@%#Gv$_697'`o@Q@%#GvE@@@@@;%%%|QI@%32 Q@@A@$_701R@%>MA@@@@@@%@C@A%>@A@@@@@$_7022M접R@%YM$_703'`o@R'@%cMD@@@@%a;h%[Q@%2 Q@@A@$_705RE@%) 0A@@@@@@%{B@A@@@@@$_7062M접R[@%? 0$_707'`o@Re@%I 0B@@@;%@%+2 Q@@A@$_714Rz@%6 A@@@@@@%8C@A%/@A%D@A@@@@@@@$_7152M접R@%Y $_716'`o@R@%c D@@.function_scope@@%a%dA%Q@$Ҡ2 Q@@A@$_718R@$'4 A@@@@@@$ߑC@A$ؑ@A&D@A@@@@$_7192M접R@$'4 $_720'`o@R@%'4 D@@H@@%%A$@$̠2 Q@@B@$_726S @$$A@@@@@@@@@@$_7272M접S@$$$_728'`o@S%@$$A@@$@$2 Q@@C@$_729S6@$,*@@@@@$_7302M접SD@$,@$_731'`o@SL@$,A@@%@$_732(шZSW@$,$@$2 Q@@C@$_733Se@$1`Y@@@@@$_7342M접Ss@$1`@$_735'`o@S{@$1`A@@%@@$_736(шZS@$1`&@$2 Q@@A@$_738S@$9 A@@@@@@@@@@@@$_7392M접S@$9 $_740'`o@S@$9 A@@%t@$2 Q@@A@$_742S@$;=A@@@@@@@@@@@@$_7432M접S@$;=$_744'`o@S@$;=A@@%@$à2 Q@@A@$_746S@$;:yGA@@@@@@@@@@@$_7472M접S@$;:yG$_748'`o@T@$;:yGB@!@%͠Sc@$ؠ2 Q@@A@$_750T@$;:}A@@@@@@@@@@@$_7512M접T,@$;:}ِ$_752'`o@T6@$;:}B@!@%S@$2 Q@@A@$_754TL@%;< ,A@@@@@@@@@@@$_7552M접T\@%;< ,$_756'`o@Tf@%;< ,B@"@&-S@%2 Q@@A@$_758T|@%!;<A@@@@@@@@@@@$_7592M접T@%1;<$_760'`o@T@%;;<B@"B@&]S@%62 Q@@A@$_762T@%A HA@@@@@@@@@@@$_7632M접T@%Q H$_764'`o@T@%[ HB@@&K@%I2 Q@@A@$_766T@%T g+A@@@@@@@@@@@$_7672M접T@%d g+$_768'`o@T@%n g+B@#@&KL@$_770U@).:d~A@@@@@B@)0@AA@@@@+rat_to_ringF@@@ './rat.vk{l9k}l}J@4rewrite_#_#_2AAA68B962=|#T.A@@@@`r@k{k{kk!Q!0A %k{k{kk@@hPN@5k{k{kk@@@@ @ @Bk{k{kkEk{k{kk@A@@@@`@Vk{k{kk!Q!1A ak{k{kk@@hM@qk{k{kk@@@@ @  @~k{k{kkk{k{kk@A@@@@`T@kkkk@@@@kkkk@@@@kkkk@!Q@@@@@@@!kkkk@@h6@kkkkˠ A!VA@@ @@@@kkkkǠN@AA@@#@@@@kkkk@,@,@kkkkѐkkkk@A@@@@`r@ kkkkޠ@@@@kkkkڠ@@@@kkkk@!Qxz@@@@ -kkkk@@hOc@=kkkk頠 A!RA@@ @@@@Nkkkk堠@kkll$@@@@kkll @@@@kkl#l$@!QUW@@@@  kkll'@@h@kkl*l/AA@@ @@@@)kkl*l+@@@@2kkl.l/@@9kkl2l5<kkl*l5@A@@@@`@Pl9l9lGlJ@@@@Yl9l9lIlJ@ !Q2 @@@@el9l9lFlM@@h@tl9l9lPlS@@@@@@l9l9lRlS@@l9l9lVlYl9l9lPlY@A@@@@`@l9l9lalf@@@@l9l9lalb@ !Q @@@@l9l9l`li@@hk@l9l9lllqm@@@@@@l9l9lllm@b@l9l9ltlwl9l9lllw@@AB@@@`@l9l9l{l}@@-q@@@+ring_to_ratF@@@ lm*lmbA@@@@`@llll@@@!R!0A$llll@@`@-llll@A@@@@`@Allll@@@!R!1APllll@@`@Yllll@A@@@@`@mllllɠ@@@@@@zllllŠ@@@@@@@llll@$@$!R @@@@/llll@@hg@llllԠ@@@@llllР@@@@llll@@A@@@@`@llllᠠ@@@@@@llllݠ@@@@@@@llll@$@$!RH J@@@@/llll@@hn@ llll젠@@@@llll蠠@@@@llll@@A@@@@`j@/lllm|@@@@@@<llll@@@@Ellmm@!Rs@@@@$Slllm@@hO@_llm m@@@@hllm m @@@@qllm m@@A@@@@`I@llmml@@@@@@llmm@@@@llmm@!R*@@@@$llmm@@h @llm!m&@@@@llm!m"@@@@llm%m&@@A@@@@`@m*m*m8m;@@@@@@m*m*m:m;@!RA @@@@m*m*m7m>@@h@m*m*mAmD@@@@ m*m*mCmD@ @A@@@@`@m*m*mLmQ@@@@@@*m*m*mLmM@!Rg @@@@6m*m*mKmT@@hX@Bm*m*mWm\@@@@Km*m*mWmX@ @@AB@@@q`@\m*m*m`mb@@p@@@@#_1419@#_6219@#_7019@#_7419@#_7919@#_8319@#_8719@#_9119@#_9819@$_10219@$_10619@$_12019@$_12419@$_12819@$_13219@$_13619@$_14619@$_15019@$_15819@$_16219@$_16619@$_17019@$_17419@$_17819@$_18219@$_18619@$_19019@$_20619@$_21019@$_21419@$_21819@$_22219@$_22619@$_23019@$_23419@$_23819@$_24219@$_25919@$_26319@$_27319@$_27719@$_28119@$_28519@$_28919@$_29319@$_29719@$_30119@$_31619@$_32019@$_33519@$_35019@$_37719@$_38119@$_38519@$_38919@$_39319@$_39719@$_40119@$_40519@$_40919@$_41319@$_42119@$_42519@$_43219@$_43619@$_44019@$_44419@$_44819@$_45219@$_46519@$_46919@$_47319@$_47719@$_48119@$_48519@$_48919@$_49319@$_49719@$_50119@$_50519@$_50919@$_51319@$_51719@$_52119@$_52519@$_54819@$_55219@$_55619@$_56019@$_56419@$_56819@$_57219@$_57619@$_63919@$_67519@$_67619@$_69819@$_70819@$_72119@$_76919@$_77119@$_77219@@˃;F#Ğ\wz@?&_,w@@ws5wKkzw̄@8+- ۬cz!x#rat'algebra(mathcomp@@:Y'@(_evar_0_$valq)Datatypes$Init#Coq@@$prodt@&ssrint"@#int%oX@ !i@'is_true#œ!@$andb=&ssrnum>#Num#Def@#ltr/V_'@1int_numDomainType9򕀩&ssralgP%GRing@$zero'}n)NumDomain@(zmodType#,nR@#sndKKA#div)ssreflectn@'coprime ̀X@$absz/ɀm@#fst  #!r_SGB+qq@:ej,AB3@BB@@@@D  1__top_assumption_!a!b!pupY.)A)[BBB@@@@D:3:#!._view_subject_qpfChK:%Logic@#andЖw@ÐVǐCNѐŰP֐ED_*䐩ذ 萩F=A@BBB@@@@DJ)2("a0<"b0:CiР+@$boolZ'@@@@@@@@@CL AAlk@#notШsZ'ssrbool#ssrF@&elimTF% 1uq@$andPsqe@"eq @1=BqQE94@$denq:c@(eq_ind_r!2#F/_pattern_value_I K(YMI\Z&Theory@'ltr_gtFỳYT 62A_.@(denq_gt065@$negbBxs@,int_ZmodType6kc8CS>:3&eqtyped@%eq_op&@*int_eqType {P"L@'gtr_eqF9s )~@,is_true_true怩Őlga9P@%elimTɀ5-rHT@%negPf@)denq_neq03[ƀ  !, #}" ʠ}Ð}w."#pnc=MI?!㠩ِG<5/( "\ XC/Vhfd!P94/#MMOOq@$numq:dn trpXV" kk ! tunl6mhcWR;4 #9/* 2 ;C5L$$$  "P'~yb\RMU mrkDCu_ukfn@'val_inj1Xހ޷@+rat_subType ]]6٩c<b~^񩚠2@#val&mb`^\Ȑ!nڷѩ'Zmodule@$sort$\M$Ring@!뀐(UnitRing@(ringType#@0int_unitRingType4nf@#mul'p.)@%exprzf@#opp'p3 @#one'pt0?A&ssrnat@+nat_of_bool1B%@$addb9-(;/* @$divn$@$gcdn$\4mȐ!dLCg@n;1Gp@(int_Ring5ǧmư4zzڠD ?%( ",' !mAIn`@(alt_specI@NX|.1oUǩP̩e[ 9~{snq"6AV3#X5ͩːEKOGB2*DؐӠΰAnq Ly֩հа˩> ֩ƐtBpvBAAAA@@@@@@D;Ͱ &ph(ש  퐩ӠΠؐH砩ݐ-$ )+ %ѩ@$altP@#eqP&⯀B$Booli@'reflectc@렷"n0`ڐ'ҩhc6@#leq+@#nat@BA2ϩ-B8pk}fYVNv!qxscILiA2-SשNqAih^`o@'ltz_natE=ܩTA@ÐYT%l]'i̐Ǡeje6@(divn_gt0-PBπ;␩ݠd琩}x  쐩@$dvdn$&*ַ۩ߩҐϐǠҩؐߐŠ(G2<@(dvdn_leql9Cް@ ⠩@$muln+ߐ鐩,hF  6L Z@%abszMVxX81ߩ/0a#A(*4u@)absz_sign 5r4IG939T;D@%mul1n,r B@U@(ssr_have+ǛMBxWM|ܰY cö$( h rsi|k598<4|ϐI0 2Ɛ~Ji i]ݐU[ŐFH!àک ͠Њ(/*שɠ1Ġ3@@%div0n%] D$#۠MMR-,G@%gcd0n%l`]=< נhݠqLKxx@%divnn%{[Z)ِIJf(e4,"w@(absz_gt0)Z)t6sB_[<"m0~$At󩚠@&eq_ind JsF-t3Ƕ rZPmSͩNWg;ɶL(/A<'OU8v/Jɐٶ\8?}dȷ_eHĐZUȐ(ש@(absz_nat)bܐYސtog㐩yt琩"$v ©@@A@A@@@@Dͩ%2Щ#Զ( ͠ FƠH6.$"1N߷6é!0Ȑ!H"!e@@@@@@@@D}@%Falsee@@$Truey@A%@)False_induُL֩ةwC7RY 459 lp2'#,LN"H=g9©Bbd8-(]R.}NשW<6K.@;M'o@{lujCeE?nA~C`CvqqsKzM$_n0_$_m0_dҐ0@*nat_eqType4Xi~m t萩~yifԩLΠjnؠ 5Z* @*eqn_pmul2l Ƞ* h85171/ .͠02Ѡ4!O);Ӡ @)muln_gcdrnDS3a㠩ũ``+X^>RVVcCWS%P~2ϩ9;#@*muln_divCA d+m˰O? gJEL}۰-_FaH:G6= o4ZX%@lyT=oΩPNr>9TmOߩaa+cMee-AsթeH\HةbD]p<^YةXGFѐ/c@#orbvqn8 ̩ g|ϩ됩I͠gϠ @(gcdn_gt093 \,-%ԩ c3א4x/ԩ)@%muln1,r_ > |LΠ@G 'Uנ9 I V 6d]]   =kN /򐩚@'eq_reflMxq @%dvdnn%䀐x w=9 ko @)dvdn_gcdr y+t IE &w{⩚ '@)dvdn_gcdl y%  oV 3} 3 Z 9    a] >$N  ֩-nI Mǩ[  9z54{  \X \X0  Ơ-֩H/C ͠ k k2 ͩ Ԡ;V t= B [ yݠY@$orbTU` ϩ  @$ratz:d a @%fracq;/ = u e   C   k E  ưܩ ְ   ũ 6w{{}  ^   ( `  ܰשʐǐmΐ 8 ĩҐ% ǩ V @%gcdn1%ɀ ] 2Ͱ /<  " ": f0 jذ :,  - - !*9  @%divn1% M JW  = =· SE  F F$:C  s- R  b _l  R R0Fj :@%normr0= 3  ]  7  `  qc  d dBXa ) )M g@%abszEN      t t )7  j   ' { /XnSeNA>% @.mulr_sign_norm7~. @2int_realDomainType.             3  K ǐ / U ) " 9 ĩ - & -            [ Щא  8      = 6 = O #Pnd       8F >     O  B  @ Ɛ $W I  ߩ ΐ ,_   ?   9( :) C     l   \ '  x q x"hd ⷐ/_view_subject1_##hnd  M(Equality@ H#    h   bQԐѐɠ 43 ,       ŷ   ΰ 0  # # z t lH 됩   K ݠ ڠ` éf  D Df ǩ * w    y  _  \  O O 2 D 3 (m f F : . $  0   1  j  ] ] @ >=S8J3&# 85 L -(   D  !     s sQgL^G:76>$OB( R H I 5    h~cu^QN x l gW= M[A Q    S !  P    2jy*ũ Bnʷ =o [    &u[7 kא ϩ j ̩    ݩ Z U s թ %  ȩ>0 O%    1   m` ha   8   %@ Щ  @-mulz_sign_absA wGDC   {K   ݰ I< < C 2@'eqz_nat P  WZ  ^     @%negbK!) g  -nq Ðvu 5ҷ  8  :{n n  "@$lt0n+ex   G ݐ   Q .x   , W 퐩   _  ` 7 b  E E   B m   - 4 u ķ / v M x 9 [ [/ 萩  Y Šȩ ɠ D ̩ K ͠ 4W k  ~@$orbCD Ӷ o  *RealDomain@ sC   @ ,6!s F  G  H  I  J  K  L  M  N  O  P  Q " p@'sgr_val/@@dPNML"       t   ˩ © a e f L DR _<4            4A|     ﰩI@-numDomainType KHF 䐩 ڐ  BU                        ObP@@Q:98JY   . @ = O  ݩ װ C G7   zS < ]             v@ &7%fjrYB i W:8,= o7u  #  $  %  &  '  (  )  *  +  ,  -  .s@\lkj'| ( ' ` r o    4u+ ʐyi ΐ  T 4< 8   >   >   >   >  : h67C 'BAAAAAA@@@@@@@@@@@@@@@@@@@@@Dȷ  c  d  e  f  g  h  i j k l m nշ@ط  s  t  u  v  w x y z { | } ~ө@!ax y x    .` Z Ơ| ʠ   c <O      =o D@$sgrP8 ְ Ew B   I© N ҩV?= rDB mE ٩] ` 1  Ȱ٩lSnSU  Ѱ tvѩ~z      (  @$sgrM+ ư /.  )  Ұ  ;ܩ 쐩 ˠՐLؐOQ= @&sgr_idf#ـO 8 S$6A@&intmul%z> D  K  P N K .fѠIqӠK u YV@$intz0t `t] @xI7@&natmul8z e g 6 , ܐ ° ة W   6 搩 ̰ `.| _188z:@'sgr_nat.ـ> ox/*( S   s # /vM ~P>97 .Y*@W HCA lɠ : 5 < 7OѠ B = D ?!s#֩q b][ 㠩8,04i>$6hԩ wrp  i d) l␩ ǰЩ %]C;UYϩcIA[ԩ ܰ rXPj)N "  & Ґ/'L|3%Jѩ5L'h6ҰcYRe   _r`P@94LKJI [ j ?QN`6 Qٰҩ ZJID"<~~JSaDB6GAY-./012345678}@۩ wvu2   32k}zb E} )vېupw<JJJJ@9-pnbsmYZ[\]^_`abcd˷@L^   _^F@ q1,* U@m$< r֩`MzMMzMMzMMzM<9]6 !"#$*)*+,-./01234@A"   O{ɩ Slge ݩB( {אb=`%#V; | ~~| , "s$ ΰ& d''@%mul0rEn ߩ8շ 9ϩ+ưi  t j ٰK착 ɩ-' 1+ݰM)3@Ҁ#@'sgr_cp0./*i/>>>; 3B=?6 8GYGK?n:#CRMGUfx` $Oǰ^Yhɰ50/ZҰif-gh6aٰp@m۰r;oBg@)sgr_scalq7Ԑn?@K4"tj@gb\@@#exp'p#Gr?xz%Cblgo b42]5@;!6:?[i)k$İG 7 ̩/`ʷa˷b̷cͷdηeϷfзgѷhҷiӷjԷkշ)<*ʶ@ l-ɐ~_Zک֐Ðշ3ҩM`Zm[ζ@1\נ㐩0⠩쐩Hַ`Cөz()*+,-./0123϶@^ ȩ> % je(K_2w5UVWXYZ[\]^_`Ƿʷefghijklmnop׷Ҷ@J{FƩbAKFOe;oNXS\r  Ȑ"H0 ,ʷ"e0  wz  tv1rmwr-z0e%g ?C @ Ep  ZjV ^nZаC> r`mkbif@[iallީ 1Jlti{xz&d_neq0 l4ϰ1d$$ͩwr萩0rҠܐߐ ڰ;;ʐU5Il)ܩ 7+U&( ǩpcci{eeCii  K$+C@&scalqE !̀J.+^)`Ӱ i.gf1m2%f5 g>bq<s&(Wک^S|G VVR} zN-\Z\Q`vn "eg>Y*km|,s^5|.z>'|f&h! @*mulr_signM gB'D6ŰeǰE WU˰Ͱ5ZũS԰GE=?ܰe;ް-F@%mulrAJ#2M Pm_Րt/ ې'߷qзϰ1$$.۩~`*@%PoszM1GDw77'  'UHH&R ,a&heXX6 SJ%67p2ccA  Eҩ,;"5@%addKb&)%zzX#"?N'Kwٷ|%Q^7$VBdwBD[\}H2ahwЩy <0bĩ_]\yx_U|Qo!ĩmoguIq4#U][xSuQEưOxs٩аSĠ { ?\Kݰ}ĐӠGKI˩۩i  Hѐ,Аfې3NM3ΰ0c##˩萩R r   D 77s WǩZr ZWJJ(y /ϩ%12 k -^^< #2~" C Щ*9  ĐrrP 7F6 ͩW ">MY Z1 Ud /©KZJ کk 6RaH Eکx CB_nɩ^  Jfu@}(^ ',[  YXu2 _4{8Us  թp"ũ nm `[y +Ω w  y;R < ] {z u Eư $ɰ V9  5R _  `  ˩Yڰ g(ݰ P Nj KK s2 t ߩm(ũ ; ʩ .;%X  % -HFЩ!o4 FӐE!Y2TS L.(ݚI@%zeroq;VT
Cް@33Ġ)   O%.$ҠȩKK)?$6<˩֩ӷ m``CA@V;M6)&-OO̠1+)R,NdF,> L˷M9qon.u KIU {GzQaGM :f$5gS/mSש eu[.k kcw yΩi˩O?&Y LT Mrԩ$'~!/~7 @%mulr0J#> z m·u nE?H*AH OQ6K{  l©`Zc&II lҐϐ کư(x3r{,"" * 吩!t -@$type qD@ [ 4 ] 6t䰩 ;`x. f  g  B W J" dm`SS67ؠ۩K- rUS ߩ;թͰ"yllO1.dh'eMPⰩ*7J2,.dFCy  E~&x_neq0?sWT70q,+rI}a*UQ Rj%B`>.#ũ@*rat_eqType t 㐩so Ɛ 퐩%K(u󐑷ݩBѶ@ҩ>㩛@*fracq_spec:@g=7I jcj|U&Specif@'sumbool7̂K@RSSUF@&eqVneq5Bsq -0  ש/$A·"} <,?2B5BAAAA@@@@@D O QAxTSS%d_eq0쩷F^66K_s@)eq_rect_r?@lDDJm[ɐ]u#o%pzRRX{VVnx@&fracq0 SuA.dķO{  өI   P j䐩ʰ)OD  ^ ) $4b -%?` )@)valq_frac:0FB*& 6[ t:{ <a  xz\  c;~@)scalq_eq04;DA<g!yΩi @+prod_eqTypeY   ː Ldp=#iǠ,$0(n30 h5@'val_eqE1SN.oɩA5R2/-3Y)9کRF/*/@2surjective_pairing , !_SpͩLKQ%RȰk_|٩۩?\TS8J_ /<װ|t*wf  }x {c~>>@@@)xpair_eqEƠ"qocC  Ҡ-ny]  ڠ5  wWK \ VAO ` Z   GV  h  "MŰ\Y] n h ,Wϰf pѰ=" 8$: 1' " @ H?m  o"L NMN;PI7U]3]kRKEĩ_˩K SF j@*normr_denq>:א @&eq_sym X y\]c_o U  oŠ*"q,$i}p1tpðv @'rat_eqE FX)ߠ%'Ω @%andbC4,%q$ .lWO, 6ŵ B  B)Ṵ̋9>ph@שѰt[0 E4w f6TVK.,\C$&~'ک *&<ԩ+J9G/2̩İ _/<D G; Z _&QɰY jS1\԰`d]=u^[?k <g߰? @V{@+int_iDomain:뉚·  ĩy B?]e_3C@&inj_eq6M**"x0S-.v @%mulIfG=/}G@(contraNF89# fvhnd&ΐ #hxyې91 [ɷꐩH@Ω@)absz_denq-DUMʐ)w "`XՐ0.l<1p@/5Mשrj39 39=3B&5(D  ;<KEc@'eqn_dvdwٯU50KZ B`@]*,ZB&g3OJeM iQr@*Gauss_dvdr;>\Xy!c^D. MbA}I+0hGup~W1FBGjdF(oP<mG6$>UZVAmw\Hzrirv̩eةΠݩr]:xdǐ ݠd֐Ѡ::|ߐڠ1t萩㠩0fַ젩C ,(ԩZE8, "1c+4Lsh>C#7FF  *%@۩ @)dvdn_mull 3RR\<7  aAU^^+',HC, ۩^FƩH Hs95px>:5 {}]dG#(&㩚%@+coprime_sym e萩TP1 @/coprime_num_den)!x`<:?<<'hdECulgdxaoFQé pW2 DϷ!fܰ5g@!u@*~#$sݩ\n.0bt5y:}!k9"fxܩڐT:CoAXBu@@@萩bHW[-\֩NK)$Q88f)6j68:>AACAC@@@@@@@@@D/CtN*٩5IzT[߶@x@ - K_nn= Ωlb@&fracqP S\ʠ> @zȐ"H10  , 46x?eek!ggE C3ö@"@!GI°R 2xxV ۷!u~&u_neq0%_Hyp_yٰ|멷V=+*@IDogЩy,{.4)}0'2DC~I]ʶͶƩFѷܰ5g@gbީJLͩnHOFQҩaG2I{2׷`6۷d S@# % hjgnep!gX *T (Ʃ>;ȩ@'аҰV԰ȩذCo@ةPMکR9h  ٩﷐!v"fy6&v_neq01VjQթ7;GکxuQ@۰~e'ComRing@$Vꀐ;@+int_comRing0j=ة!#_iݩ"*ݩ,rDj0X@%mulrCJ%r 8@2B44{D68@H:J<L> Kð*SEU s).W ީY @'mulrACA Y5H6aٰ)i[)k]Ag(&aqc)se8)Grѩzl|n~p:WRW_%hEƐVI{I}aHFTEIcojoK]ީh_թp4_ک4'`&e?0fd%"Z'== 'LLLA@%mulfIIGMHF(;"˰~zͰ˩C*Ӱհҩ.LI @&rat_eq Bk9y_lBk&fsrEAlyz$@)mulf_neq0#'ܰ^.O:<C01B [ PL ȐK@AթU !bx۵޵BBi0{3  5v?4÷vY=שAA CdaI L$Oǰĩ}}K U2]հQ _]";fްL hrfGDo q q2 s-KvU xUNJR}y>{9W__W é^JEckkϠ "d0橷өnR \Wum}}q@$orbFG% hz:<< t?dp ؐR8GKL ᐩ[APSͩE,հZ f ٰש_( #@(fracq_eq۝ s+ ]D$q8/+ðfMͩz2ϩ4 @%mulr1J; :հx_?H©ܰf7H:JV NigVdrƐ c_Kշַ 6o ^ >w0i{2k٩ݩ~ @|yB~ "!ɩ h␩Ȱ0B   /ש5ݩ |d ް۩))r%ct'e11 T  ΩT  ڐ JJFH␩ RRÐ uߠu 6#    3kkg i  ;ss h  b V`  ֐4 1 GȰ{ ʰ}C O GI 鐩G D" ZH۰ ( `    ! X U3 k$c e!c `> vd ΩB zr ҩt L!8!v s :!L !M!} z  X ݐ!L!,!^ !_!1    j  K M2!< u!d!D2 !X p8 b q!!^  x u>!! !y!YӐȩ!'!mͷ!!bܐ°ѩ!0!v֩  PȰX !!~!:!^!#!? ! !;!!}۰©k m_ oa   ,*sedug   +/!ө|/ !U!U~1  @&mulrCABm v !!# ǩ K#  з J(!n$   Ӑi!!թ! / "!! a    6 +K .7!S!  !!!! !婷! !頩 3r!<t!@#add'pİw!pưyd!Ȱ{t!!K̰!x Ұp԰   !!Z!!۰!^%"-!*@%addrC"( ð<!u<9!֩!ְ"!0 !ܰ""!I  ҰK!K&!(!ܩ հ  TBC&ssrfun @+commutative1/5/"G^"Y@+addq_subdef49x)"e"P "Q!z"T"[ "X!ol+Y" -!"S"S!yvoqm5"!}<""b"b![B""D" "$G"'!Kj!!"! ."+T""z"z!6y{\"<!=c"(""! Ek*m ,?o""O r%D"Kt'0) H""!L"!6V2?"_I!<:6/!9=!W"" AͰf?<^:"e/"eA<JC>b<"˩!f""Pܰu_NP"boIX!ZXTVAQu!Y]!w"٩")a ]?|"-eM">"cNTeP`"!"":rrtD,!~|ǰzuɰ|w!!""OF"("Ssְذ$h"ڰ@&mulrDlBF#!#/"i0-Ʃ/é"U!5!!Ȱ#*"zA>q@٩ "Y"KH"1"ީ -(*#D!߰#A"XɩUWWU.!^[]US!c!#P"g"w"iکfh 'S#lfQ@%addrA ki#k"#h"|~ =/y~W! A3o!"#w"$zI)#!2x#" #" / UG'o"  YK" "-#" <>ة dV##=E#=4N#"<#" &KMH s & ugG #Uܩ w *#W##" 4Y =#]": 8 s/ͷ"7 ;"U## ?˰d( |I#  EѰjӰl  E#kd  G#t### QݰvJ#s/l#sjJ#ש"r#R#$ \6  Z {#n U4"f d [ K"c g"#,#3 k,  k yd  o#j  q####C  {t Y## dt$"##N  Ӱ`#V2"h װX "k"$ #]$ !V6#a( %.   2*#4 $#"$ #p7 4" L vR" Lɷ""˰$-#}D AکCv!J#Z$#$ ֐"$:fC@+associative(! B$A$Y $L#$J#$^@@"$c$c@$addq:c; #]q#d"w$apnl$q$Fj#$a#$ud@@b#$z#oZ%#vTK#$o#$@#$s#$>@@<#$)#67#=0#;˷A$h"␩"Ȱש$6$|"ܷ*#X"쐩"Ұ$@$#$a"":#\$ F7#9$Kf0Y#$GC[@ @#D$Vq(d#"$ $#"$c$# $t$$$F$ѷ@#`$թr #ܩސ$!P!P#$жݶ$$٩$+$з$Y$@#s$#$+!c!c# $:$߷$h$$$>$$l$(@$#$$$>!v!v# $eV$ِ#S#9H$$LI#M0Z#ȩ#\#BQ$$U$U$#X#X6#$#%$֩'ɠ$a!! $c%#f$Cy@##%,ɠ$$5נ$o!! 3%6/u%,#ǰ%<٠"$CE$}% % A"!#!#!#ְ%K\$CT$%/%/P$"!-"!)$%L#%\ c$%>%>_ީ"" $Y!"#!۩"$"&$b{#!#%o$v$%Q%Qr % %$m w %l$%|@$%^%^ "<.">0 ##!"B4"D6  #!$%B$%o%o)թ"OA"QC${%*%*"S"= $ %$+%d$%%<"&$"$"$6%`$%%G"m_%F"oa"qc ) v%J"s"&$ȩC]$ʐ%$K%ǐ$%%""3@Ű^@H̩""9>˰d>$>ѩ$\%ؐ%%%%h"%h԰mK"K@&mulrDrBL"MRP %թ$p%쐩%$"\"\#g%ܩ%$6$ %b #$g%%1"i"i6C$h%$%$%%^%<%%ߩ""pC P&@'fracqMM)JU%$g& (&$&&ݩ$$$$%$]$C L Jΐ&% D%&$& '%_&"#$b%%"à5%H6$&+2%j& ".$m%6%"$&2$&4%ǩѠC%+D%>%˩E &:@)ratz_frac 7ـ&5$а&E%⠩N%&)"%"X$&MT%&/"%V"$&R$߰&T[%&6"˩W$%M%_"%%%%"%c&R$&bBk$&f$&g$&ir%&M"%b"&&G5%&e%&uU|0y&l&L$Ɛ$ &&` 3$&u $&.%&i"%"$&%&%&p#$%x%"&'%1-&@)addq_frac#D.2&&2&%/&%&&# %&&D&#j#&C##l###%)#'%%$#(%B&%&&c#%&&W&T#}#0%#&&V#2%ʐ&%U&&ѐ& &&Ͱf&1&c %G#E&3%B#F%`&ܐ&&&ذq%&n+&n##J&>#@#L&@&ԩ%o&@됩&#&&#K%_#]#M%Z#^%x&6&,&&ϩ%%&&C#b#X%R&% % C@*morphism_2vo&& '&޷)&ݷ''+'&f' &&%&&%J&V&&' @&&s&%''@$oppq:d&9!&Y&#̠%\ & &^'#{%a٩&' & $ "''& &r'&'+ \6$&& &{&'&6&& &{' &'4 e c&'$&'8 i ''V &@&'/4%˰'@,%'D%'E%Ӱ'& %%հ'J &&ݩQ&',',#%#%ؐJ%'V  '5 S'X  Q'M%']Id&'?'?$#&h$$ 4 $##&\$j%#%'nZ&cv&'Q'Q''$!% /W@%mulrNJ0 4'p& 'l&##!&'w'W%ѐ%&~&'&$$$?)&'&!'&'*&&'y'y$W$ &  &'2%'"'5'''&5'&'$!$\%'C$&)'&'$+$f%'$&*'&H''P'R̐ '&R'Щ&@'&;'̩&Y'ΩՐ' '$E$&&$7'='hf'ʩ&e'0ᐩ'@+oppq_subdef(?&ڰ(O!Z&')'!([+&(\&(^g''Z''j ''n''n%'p(_&(o A !(w$&(x'(zF("J(('>'(x'(%Z3&'((a&ې& Щ(/(u &&շ( '(C<'(',(>(&R(9CE('M'-M((B('?(]&,E(('& (Y( &(('& (b( q&' 'C(ΩՐw&6'B(ө'`((h/'کr-=?-=(:(l(Ω'i(*{"(*(+'[(퐩>'Z('x(L ('K]K(X(('(H(m(?(s'y)  'x) ') (('թu'(p()')'N'M'')"Ġ'<(Ơ  )!@,addq_subdefA 'E']')+/)':) )'z'`m(ΰ)) n)) ''''B(>''i x(װ) |W'} (۰)!)!(ݰ)#)#((ذ'Z):'U'(''S('8(?'Q)?'Z'(('X('''rf'Y)G'b'( ( '`('' (); '''K(}'d)R'm'(('k('h)V'q'(('o(y'l)Z'u)[);)^'($( 'w(s'' ) )R ' 23B() ',)k''(1(-')'Ő''"',C2))))y()&A˩"):')()-H)%)%)%()(")@ )۷) )()H ()(1))9F(C^p ) )=)(:)())K&q&$'&&s&&&)((0&.(+&/(I)Ő())Z)W&&3m&)&&5&+')[&&7((&9()(\)ѩؐ))) (L٩&&F&<(Iܩ(g)ܩ㐩))))s)s߰x @%add0r߀)ީ(y))-))';2(i&g(d&h) &d)() );))')o@(w&u(9(r&v(* )D))))&Ű&x&n(B@%mul1rEF*(*VV#`*(M(*(*)(R(y*_(3C@'left_id *&*&*,***(*.ˠrr 9 5#~*6(*7(İ*9֠g) ))*0(˰*@ݠ Ih(*G Nm(*K(ذ*M));e*G(*W ^))*N*.(( )*B (*W֩(*g n3V(*m(*o*=)t  x; _)**j)*z )*\*\}'.'>&(])'@&)) )*h*h(&)&':$'J&@(Ƿ)')* )*u*u/*,'U'B('W' ((*0'Y' 'M(Q(ة@%mulNrG*)7* )**,*)')")@* )***L3*LQ/-@%addNr4**(B()W Ӑ* **''?) ) L)N&]*h*ʩ*)''K*]*2*z*Z''Q*c**٩*)3)(**,!)-**)<)"1)4)m))& ''i*{*;*;**3''o"''q *)* )30!   *l*+*)>%E'ΰ')R)'I)'*鐩)G.*'װ')[*'ٰ'R',+*)S:ZZ)'\)'*)ZAa**'')n`'b!Hh+))D+*+ +-ҩ))))F*B))m|=) **ְ)X)X+8)S))))Q*)NC@,left_inverse:A+O+O+O:됑+U+@|+A+H)㰩+E''ͩ*''ϩ( *' R*''ө('*' R)'ש(  'l)'ک)*''* L*''()'u  F+(+'w'ɩ  y'ː+h* *''(6 ('+)'(: , ')'*+*''(A 3  h*''++(E''  /')8C @+:+@+mulq_subdef@+++ 8++*,+*(((_(6+$(a(3+A++*(((g((+, *("("(k(+0++*((((F /+4(q($+Q+R*/(-(v()(x(+"(*.(2*L+*(6(6+V((2>+_+++(<(<  +(>(>((:+L+++ (D(D((@H7 "٩((B+ob+i((E<'(G>(2+ϩ*j+̩+(T(T> 4*X(V *S(W*q+ө+#([([((W+}!+}((YT5 *I+BC+_+++⩷+$.+B++p+,**++@$mulq:d"+f" +D(|(|(Ű(x(ǰ(z,  ,+ +[,+,E*,+z" 'ǩ"!+Y(((ڰ(&(ܰ(++m,+,&W㩷+q,+,*[*,-/+"6&,"7+o((((<+,,&G((Ʃ+X+,0$u*̰,AC"J+,%,%z*(|*($*ذ,+**ڰ,OQ"W+,2,2++)(*(;((,M%*,^*,`*,a%*,d++!,[%*,l"s+,N,N),(+3((()*(*(%,+,y"+,[,[+ީ)9(+@(***()$) , ),C, )I("+P(()N)M)c)H)Z)C)6)3)+,_,S),N,a,U(,P)@)&((),%Oߩ+6,aa+",c+,%Ud+<,,g,DE,@&frac0q S H%`f,,,%fu, ,,8,÷+Q,ƩȠ+,)"ϐ,,,));ԩ))=\)R+,f,ƶӶ,ֶ,ϩ,!,Ʒ,O,ڷ &,>,p+j,ߩ&,B"萩, ,,é))Tw))VPu,K6(+,M,,6,۷,d, ީ,:,߷,h,$"+,&,Y",7,,ک))k))m!*'))p))r!+'#+,i,%+- ,ũ#,N,,)ϰ)H+)J+)%+,,+Z+- #&,^--)߰),,))+e2)琩-%+-/"+-1+-2%+-5,,&$-,%+Ȱ-=#D,|--t))+b+)x+)%.+԰-I#P,-+-+,* ) ,* )\)-H% +-Y+-Z&B,& /->--a+Z-V+-fh,^,ɩ#o,-J-J*(**,T,u*,%**.)FC+)*2$*4&+%,m*6(2{+), -+,,t#,-c-c-*A)?-*C)sC-+6A,~-,-*#,-r-r(*PB(*RDW,,* *VH$*XJP,,*,,-"#,--*aS*cU)U,*eW>->->*g*kQ+Za,,-,?-N#,*+*+H"--,+G,6-#Ȑ-*8*8*sW÷,7-ȩ,U-ʩ̠)x,-_--#Ӑ- --+*~+ -+-g,1-#-+- -ͩ-,', ,,X,,+,,-,*',0',-L-~,,---η-ϩ-,-#-4-*l**h-\-*^թ,s-$-=-*u**q- -e*g,t.,.- -$.,.˩,.Ʒ,.,.$-U-* *}-.,. +",.#ܷ,.$,.&(-.,.,7$3,.1$8,.6,ð.8"--˩:󩚠.:@)mulq_frac? ,.CCK.#.E$Q.H.$o.%N.J.Hq.IK-.O.:.C&H-.A-.UF@.),,-ܰ-d,@.2,,.-[,,.j.j@$invq:d Հ-d$w-.R.RT.gvtr.w.Lp-.g-.{P&NG-.k-.-.o-.r.K-栵'-}'3.Z,Ԑ,ɩ. o,η.c,ݐ,ðҩ.1,$'-R,搩,̰۩.:ߩ-.[,,'4-V.7'@'1-3.>h$-...G.. ...CC'W@*@"-@. $-...S...:.."k0.@.-,.I  - @.-,.m.+J+J--d.o$.+P+Pݷ.Y-U.-P.@.-.-#.g'' -(@.-7-,.00 -1-.,-.W$.5..ة...ک.9+q+qa.}-.'?$7-`/-./ / 3/ .-/%---/%./@,mulq_subdefCLq -/%C հ/'/'(/-/+T/, /-/!-/1357.ɩ(/8-/9-ư/;=.Щ?("@B.F..4/6-Ѱ/FHJKM.ߩ(/N-/O-ܰ/QSUVX.\..\/L-/\^.`a$(/c-/d-/fhjkm...ꐩ/a-/qsC%z-/x%_-/{./}'O/4Eh/u./%-*./%yt-/.//%/%\Z/.%/$$ܩ./%ַ././/%F[/<s{qᐩ/.</,%"/".,/%(-.+/.I//Q/Q"m/.Q/.=p.8q.V/ͩ%Ґ<>3-/cC/@+mul_subdefA ,>.3/(C /ܐ//ߩ/ө.n/堚/@$oneq:dT%*%*)4/.\/.z/ ////Ro/./%g/7,o,o,_,_/i%<.s/&o.7.r0.0//"/.0 &/L,,-,Ͱ,////%U.,Ƿ.,.0&!/Y,,/,ڰ, .?/,ܰ,/ө.0.0)&0/h,,./%m.,.f.,.02&9/q,,//ɩ,,%.o-0-').r.%/ѩ/{,,.w,,.w&C#0D0D_E0J0Hq0I 0J0>.ٰ0NP 젩S#/ )0U.0V.0XZ //N0P.0`b  )0e5.0f.0hj m /r0/r0b.0rt wG%)0y&.0z/0|~ )0/0t/00xͷ0yΩ.0.0/0 *1/0/"0&'/0& /0/-005 ?Fv09&Wp0/;0 M&#.0#X/-0&)./,0/J0&Ɛ0 _0W0WƠs 0/W05 i[/E0X/@0ѩ/^0 p&ܐFw.0l0lZ0Ω/i0G&吩.m0թ0///$00(1/)0ީ0/8/-001T/2/k0&iP-/l0/0'p`Y00  ''< s>0n010␩/@=}6//4|'b/JG,010/R9--01g0İ1 iL--001#1/}/cr0Ѱ1v/w1,1 //l{0ڰ1 m////t[.-0ɰ1*F01-W. -00/\0X/~'\ a4 a00착1N1./s.-ϩa!. -ө."-//A.$-ש.&-//E.(-۩.*-/0ߩ.,-/0..-s" .2-.4-!/S .6-.8-./W.:-.<-//0/-".B-.D-1 V/;.G-.I-6[?/.1b/.P.1).R..T.W/.V. h/.X. "6.\..^.1#aL .a..c.P.e..g.jy/1@.i."G)$a. +&c11/ͩ"R.x.+ZR.z.-XTN07.5"Z..3@..5..70J..9A0<.@1/1d51d..@O .BOJ1ʩ10"۰"t..Mjb..Ohd0Y.W"|..U..W..Ybl..[T0%..].._..a,0d.h1ǐ0% "..j..l..n]k..p..r..t}q11.ð.v"#.z%!2000à0Z800@'introTF k%Щ0];0M4_=0ө-120"&"....oQ0.....k0.015"177"Щ....1z.x250а@D"ݩ/./. 01o0./ ./ . 0p01"-."0r02H0SW"/.ɩ/.˩/.ͩ/.01010.ש/ .ө/". 400.ܩ0fj#/).ܩ/+.2 =0p92@M. ?02h1sw# /6./8.0./<./>.0.1#/E./G./I./K. N0 ]02$Y2$ǩm/21##0@/V/ /X/ "02 ©1//\//^/"00 27$/$00ݐ216#CS/i//k//m/ /o/"M02$02$٩1,/*/s/&/u/(0 01+//1I#V7S2S>//7 021Rư#_//8//:WM2<1D/B//>//@91 1C/G1aѩհ#nO//G//I//K//M 0 0߰#x2u2u/QJ12٩1t>#//Z//\//^{11(2`1h/f//b//d 11g/k1$#//k212-/m 121Z#/ð/v/Ű/x/ǰ/z/ɰ/|/˰/~1H2101H211//ϰ//Ѱ/-161N1/1D#/ذ//ڰ//ܰ/2  1A2:/:1C1[31$~(#$////21/////E1l1/1ð3b7#Щ////////// 1c  1c22V /V1}3;1ְFJ#F0 /0 /0 /1r12©1/ȩ0/ĩ0/i %1x1/ͩ1W[#$b2+:/p ,13U1`d#`0#/֩0%/ة0'/ک0)/ܩ0+/121121/0//01/ C11/2uy$B`3X/ J13s2~$0A/0C/0E/0G/0I;1h)1212*200M?C 202!$.0T00V0 0X0 ~1 j1Ʃ$6f0\00^00`00b00d0 g1 g v13=$4N$\32<$I.0o0"0q0$0s0&0u0(0wi1S13,13,X24020{mq421052Oð$\00500700900;0|w 1 1823cEZtE3ǩ2b&ְ$o00H00J00L00N00P0123T223T~2\0Z0_2Y0]2w$(00]00_00a00c0 2 2$00i00k00m  2`3x32V$00Ű0x0ǰ0z0ɰ0|0˰0~0Ͱ00ϰ1243242L3200Ӱ2020$0ڰ00ܰ00ް000000 2I  2I000000  2O3>␩4'2°26$ϩ000000000`2z2b32z3<21`2f22հEI$^K$01 01 01010é10ũ1 2y  &2y3ɩ 6 2{4Q2\`$*10ҩ1!0ԩ1#0֩1%0ة1'Z22323f21+Z =22os% 1201401601801:,X L =2 L244 \.2) N4w3%1E01G01I01K=2P424.311OA aP31 3#%01V1 1X1  j21Z1 1\11^11`11bTP e e2 t2\4;1d1e v4Ng x43<%I*1o1"1q1$1s1&1ug2P4*24*32101yk P3/133M%Z1131151171x N2 224_11;_ Xra 4ũ3`$԰%m11F11H1234Lԩ3T1R1 11P11R333U1Y3s%&11Y11[11]1 L3 3%411c © Đ43L%(11n11p13$3<4t3|1z1ð թ1Ű1x1ǰ1z 3D3}13 (%1ΰ11а11Ұ  3741԰1  萩53 %1߰1111113J13L43d4,%X111113T11 43n4311 $313ɰ9=%|1111212 43g 3gG%821212  T 3o4Eڰ; 5G3RV%21ȩ21ʩ21̩2 233434@632!2# 5333gk&ԩ2*1ݩ2,1ߩ2.120" 322$ 5 3 D3w&h2612812:, =2<1 3 N35!^0 P35y4&!2G12I12K12M?2OA2QC33p>3535tj42UG2WI iM4 4+&82^22`22b22dV5= v3 v3<25=C!X x\"54<&I(2o2"2q2$2s2&2ug2wi335,35,44 2{m2}o  434QŰ&^22722922;2|2~2 {0 3 3:\5g2 !  5ͩ4hةܰ&uT22N22P22R22.35X4 5X4`822.,50!054&!22g22i2422m2m5q495q4yQ2k4vT4&C2ǰ2z2ɰ2|2˰2~2Ͱ2ϰ2Ѱ  46 465ީ! 64A&2ܰ22ް22ҩ24GG54_504w2ة2 K4e4|4,(0&Ʃ22222 222k4\ 4\5^" \4v644ϰ?gC&ܩ32323545T444ܰLHP&32©32ĩ354x %4x&5-א6N4Y]&32ϩ32ѩ3 545n4Ϸ44fbj'3)2ܩ3+2ީ3-4 ?4@6 ɐ6h5sw'3623823:,3<.45454ѩ3@23B4 T44֩5'#3I23K23M?4 _4&6&3OA a3Q34Ω"sE e4А65)'6@3\33^33`R3bT3dV4Z6465!3hZ3j\ |W5 5>'K(b6H/"c ^65Gߩ'T^3z3-3|3/3~p634635;ٷ565TȰ'a>33:33<3}36fI4 46f%"  52646ͩ65'5 6{666 {5[5545505%5(1666 6O65646 ķ6 ũ5j55455?5%2 1   6566ΐ5H5.;666J<66א5Q57D666mE555565Y5?N5QZ666666J6z65.75)7 7 5555)6%5j5P]\k  665;  7567 7 ©55556625w5]ji  7%5@7&7' ̩5555@6<55gv6հ7zC5{715L72 ׷73 ة5555L6H55s67'z5    C@1left_distributive?7P7P Q쐑5f7W,7%7X@,rat_ZmodType7R@7355,757j l  47n@(rat_Ring 0!#5"@7J5Đ5'76 7  66767x@7Y5Ӑ54I377o64M47-,77g@766P5Ȱ4X4 74[466X@5ԩ607  =<65װTsD77@7@75554s4&57(Q604.k6+4/@76 57V442656R7ǩ ɠ _^7^  ֐7@7665m6L4J 6G4K@76%6 7r7r#nx07ש6r7 頩-𐩚7@+invq_subdef2A77Đ6>6$37w7766877͐6G6-<7@@6A6z8. 6x8 68  7c7 8@)invq_frac.˧7w78 68." 46T68!.( :6C68'68)77 +.2  8#86a ^ȩ676İ U̩6g dΩ37ϐ8186oV447İ8%*78'O54778@8 66784368I8)666676t54Щ78C Ԡ` 5#486s7o6 .s K v788e8E65346)5544 645946&648R685@445B4T85D4 4L488a67 5 75 8h6ư5V5 h8/8/5X5 55 88u6Ӱ5cUY67 55gYT6̷75!86ް8E,8E5<V6[/@)86Ʒ88768Z8887:7{7w67ʩ76`78e888.8`68a68a86ݩ7G7768e778p766됑8ͩ87 ! uzz67p!~4n8y6쐑8쩚5@52uC8@,rat_unitRing<18Ȑ7B7(5@,;/885@8I8C88%Field@(mixin_ofY4Ā#999 77ϩ7G7?67Z7J!G.^2h9 ͷ79!77٩7Q7I67c7S!P8889770#7\7T7 7n7^7V87p770+7d7\7v7f7^7q7x777Ȱ77k7c6ΐ788ԩ7o!lܩ9C@)fracq_eq0*2ZE9>17ڰ9-8789>89R!]?8878 77}670P77c777789@# 7# 789Wfdb9g9<`89W89k!v89B8Щ 8v89<89`89t!a89e89y!85*89(*M8ࠩ9s2(588:860{P8878>8:78?2089j77ʩ88D8077789%7777ҩ077Ԑ92@Mɩ88R8N8 8S2D8+8V8R993/l2JW*999 9868aT007ݰ87߰7&7778,8m0787 8-8t8K8v77 809W77)89Y778,8 ɐ98Z8x0Ơ$0Ƞ$88R 8L80Π 88D8K88i80ՠ0נ 8 9w9w88 8$,Ȱ-88Q9ݩ8x80䠩08v@08x 8j88z8e88880090999E888y8{7{9d9880Y88888|8é88O1/998:@(denq_eq06*9: 88k88c88թ88a991h87j88w7: :@: 8:10>*ΰ7 94:'74׶@ 3 6ې59\:07(4@68468:&@'int_ind <!9T999B:D8߰:T0a4?:$87>88:] 99*,8:=@&mulr0z&/e3:[8:k0r9:M6868:q8:r8:t:: :4_8Ҡ:x#7b5#ihn9 :~04A+N4B:u9:0+67*9+'Y9:l+&67199:pc:%733:r@$intS0s9:9*:n+>p67+@r89N6P7Qy: :? +J|B9W9=:0+L77W9:J:J+TL+:@'mulrzDlaS7#0:9P:ũb0Ԑ7,0֐B,9B:ͩ͠0ܐA9A:ҩ9_::gӰ5+sk":k0L:@%ratzD;F7DQ:֩9q:!EI9_:=9Z:9x:(:: :P9L:S75z9:1+:9:1 79=z+9z:w9u:9;1\+^:zx;9;19Q7à9S7z7Š9U+9$ԩ;!$ַ"H$׵B$ؠ 7Р9`9$:7Ӡ9c. @%opprD 9j7;#9;3"2+Ұ"+԰"9+ڰ 99Ͱ;B1OC9179::۩+ݩI97*9,;C9ް;S1bB1dB&9;[[1j=9;`9;b:a1/,3 :1sH;^9;n 9=9;r59;s:;u"; ; :ؐ9Ԡ;zG8f;[;q: ;_9;4+\9,:;e9:;,$V:B;h;@%ratzE;F:9;q;&8;t;:%;x:74Du: E:+;~98;39;8:;@:;>;8W;;;;;;*;:B;;6;;;&8id;P8k99;&;;6;;*;#;*;;;;;;;;;;;:X;;L;;;<8z;98:9;; ;;ĩ;@;9;@;);;';;;;3:;Ӷ;1:;/:ߩ;4:թ:r;:878888888887Щ;;8:39;88~;8{: ::ط;P:ѩ;j;c;j"hb;;1;ِ:74897j#hab:087q<:;:8K7ՠ8թ8԰88ϰ88ʩ888:/+-<;;;;9ҩ::::::< :8a6;8898888Ӑ8А8Ƞ;˩;;8:x6<;8ݐ8à;Ɛ86A ;7ݩ:;;7;٠<;:ְ<); 8:5W<=;;;\=5=Y=T==<;!> =u>>=s>=q>=o><>)&+:.Ȱ==@#inv'pD.Ѱ==t=n=>%===:>;%>>0=<@8@,protect_termJD}<<հ=:U=ݩ<װ>L%;ߩ.=C#b.!=Y<`>G== @=<=:=<>^&6;./=X5t<7====@(=<=#8><>o&#;+/@<F/D =[=:=ٰ9==29=.>p= >4=>b>b=<©;@4Y+<>h<ȷ<>i=>4(_;K"1db>&=<'::=>=%>(P=>(R= >=*>>2;[2A>4&I&)=>=2>(];c:W|D="TF=U=;>(f;lCR>G>GW>@$rat0:d<>=I>(t;zQn=7=2٩=P>({;Xg>Z>Z1@%invr0[ސ>©=]>(}=I;Gg=E=c>(>k>k;k٩'mgC@=e=l>4;t=:[=t=:W=n>ݩ=x>4;4>^8=>4>d/=B>ڷ=l>=>&ש;>> B? >=?4+;İݠ5>{h8Z?5>/>B>=?=?&;ذ5%>p> B?#?=?)4L;<52B!?!?={=a"p>"t"tF=u?*? ==j"y>ذ"}"}>==Z5K[(=^=հ?J&<ݩ5S>>>U#b4C4>>簩?I=?Y4|5`ʠl0=;Ґ<1s5iӠ&{w= =?j'B>><& 5s.4 ?d=?t45{>?V?V<4;>=l<7;== p=?_>t=?`>?'\5>?f?fJ m=N?"?@(numq_int8 >?>%?45>?|?|&?>>?>0?'}5>??!?>??4ש5>??>/?<>*?>H?'5Đ>??<}<0>?V<<28>?XH?@(denq_int6ـ>ѐ?>[?45א???<M?<;>H?>f?'5␩???<?tW>֐?ש>r?5 5?&??*?L>b<`>>]{?'ȩ5?/????<3?>?55>s>n@'٩6?@???>?<e@ 5.??ߐ>Y>?(<k>>˩>C(@>I?䩚@@(numq_eq08E+@?>l>R>J?9>>>Z?@(@(intq_eq0 u?4@#>}>>>>e??>9@'>B>>>>@?ʩ>>g#v?>z>*K>CC@>Ya>>;?@G@E@9>԰u=ܩ0=ܩ _0>H59@S>@T>=0''Y-l0+>???ܐ@S>g>@R'>@S>(j?>M@]>@m$=) 1 > ?@Q@QuF1D @>@z=6 1L ?@`@`'"B@`B@U1"T @"B@gB@>@?@6@@6'.@@&fracqE S>@*=@x=@y@?@@@@)divq_specC@@%@@@%@@(?@'eq_rect=߀-?ک##<##<@C@C=l C1O G= Ʃ1S K=*?ؐ@9c@@@5@####O##O@$@##ö#@ƶ@#@@@?@ʷ# #@@@C@η##@@@G@ҷ$#1@5#_e_ͩ:A??(X##۷#@޷&k_neq0#٩DB##?@G@y"nx@뷐"dx@"ny@"dy@'dx_neq0@ɐ?C?))&@ 'dy_neq0@Ґ?L?2)/@g @???84&YA@+rat_iDomain*rW,=Ѱ =Ӱ ?+@=װ @@"=ٰ=۰ @3@(?Q4 = @ @-= @@ A@?w?]4F#= @@'@吩48(:??g/&_=1=2@ө= <@&= <W> 2?@?װ@@ߩ?z)>  ;_@4>  ><@?/=&~JJ&sH> ?@P@CAO?@?U>U>WN@[@jHB?*>#[>%]>' ?@@S@S@b?3?@(?hA>0h_?S>4 =&@p>6 @`?'A>8pL-Zr@d@sAu@@;?{>C{@m@lfA|A\?֐?@5g񀐚A@-rat_fieldType jπ@AL@A>MU @g=P@h@2@]?հ>eA>@>gBmaA>il?Z4@%divfK 0F ?aAI=bA@F@q?6>y#k4@+comRingType @> @@@>@>> b@ǩ@@Ʒ@C@a@@̩>=@AmdAm>  @@ѐAө@n@@^>(@@ķAکA@4@^@S@e>c3@ַ@b@@@#><@ݩ><=AA\>>@Ni@A@㠩A@@@2>°#B @+rat_comRing AA@=>Ͱ A @@@@A>а @A #@A@u@AA|B@*BA@j@PABA@q@WA!@@@@6A2@w@]"#=AAAư@HAAǐB9B7B+B:@(rat_spec 3@?@8AZ@&eq_rec V BH? ۵2 ?BB,BBN! `2  @BB2BBT@BUA)V@AABW@,divq_num_denA|BR?J=B7BA@#A@BF@A/?& 3 ; )n)nA<0Ba?Y=BFBP@2A)ABU)sB >?5 3J (0(0AސB^BAB`@AAAA@@@@@DB_BiBaBk@MADABp(QB%Y?P '33e +(N(NABAAA=;7A)B|A<_<BrBfBZBUk?b 9P{ )!BB~BrBfBaA;B)A"BBABH%BB@ũA/ApAl@BMB~BrBm)AA@éB?=b7AOB)<B%? Z3 (;>"B?=n?=p7A]B(<B3? h3t l(L(LI;;?=|?=~7̩AkB(p<BA? v3 z(](]WBOABI7ةAwBAU<(BBBB<;<<A;;AB;B @)False_recu唀°? iҠ 3 <(<BC7C̰?ð  (<Է?=7AB* ?;(1BᐩBհBB٩A(BC B&ro@u@[B?7"BO>{?9BJ>|BhCB@>@@@?Ʃ@=$Cv@ABr8@?Fީ?p޵BB␩CީByCB@#@,@@@>-<Bi>BBd>BCB@,>*@@@?=<C@B?\9=>O5@9XC95C B32H66C C@#ler/VB555CB>2C6$5CBA2V557sBE2Z32BH744BK2 5BM2 2BO2 4 75H9{C+B%C{&D<ЩB6HC6>676JC{BC|BC}BC~BCBCBCBCBCBCBCBCB6D6W6E65@956.6-6,8>>>M?AC"C4C1CCCCѩB˰DC@u8@@A@A @@琩@䐩@ܠ>LDDUD@CאA7C<6hCCCCBBCBBCBB6h649CNCDKD.D,D 616+CT6i6|CCCCCCCCCCCCCCCCCCCC CC!CC"6v66w6g@956`6_6^9>p>@BCTCfCcCuCDBDPC3@9A1A0AFA+A=A&AAA>~DBD6VD2A"D AA8 C<ClC C C:C C C:C C C:C C C:606)9CnDD}D`D^DR6cCt6]66CCICCJCCKCCLCCMCCNCCOCCPCCQCCRCCSCCT6666@9T6669M>>@NBMCCCCDD5C/DCe@9PAcAbAxA]AoAXAKAHA@>DtDhWDdATD;As8>D<Ah6BgCACnCACACnCACACnCACACnCA606-:BiDQ6*66ܷD CwDCxDCyDCzDC{DC|DC}DC~DCDCDCDC666.66DCDCDCD CD!CD"CD#CD$CD%CD&CD'CD(C6666@:5d6669>>@BCCCCDBDtCnDCA9AAAAAAAAA>DDfDADzA8}DY6C6D=ҩCDA8xCu8F8zCp8G=C7 C7CDADgDA°87C38C=CDD7 CjD8%d_gt0D吩Dٰ66D E CDAװAAҰAAͩAAACAD C8mBҷC8nCEAA99cDDA86B٩#8BېE%C:BC:CðED@D˩AB ABAAݐ09]98B%d_lt0EE 7D:7E;CְE)BBBBAAA퐩ADA2B8D;C8B8CC8CE<BB0BB'BBBADA9DDB$86C8L@&mulN1rBWAEeDESB1BGB%BS3BKB)0 &C:B+BY3BQB/0·C:DEbB@BVE9B49A4EB=BOB8B+B(C0ϩ8q@&signrN ׽BfA1ED&EyBIBwBYBo&0JD; BOB}B_Bu&9ķD;D3EE;"E;BdBz-9ɩ ED;EB^BD]D);C_D$;DBEBeBEL3EL{DEgBEB7ECA@?DPEDB2DED~9AӠ1;J(EFEDYE-8DB 1;Z?t-DCuDaECD@ 1;bElE:EΩDiEDBBBCBBgDACDBB"D\@AFDW@DuEDB@BOBBs1DB$@"EB EDEDB*B3BZ;Dn@DDi@DEDB1@/.E';0EB@EEDEDB;AuBk;DB=Aw21;?̷EB@ EE ExEErA@DnEDBIDCD;?DU2?;E?۷A@DwEDBRDLDDD^2H;EEF!hAFDF DB;?{ IB GD NDŰFD1;ĠEE/E9@%div1r ,~ F7DҰF%;ȷF:FEܠE ETDF-EBL2xDF0D߰F2E|EDѐC6B- l6EQF^@,coprimeq_dencBEXEFZDFHE+BD;DE#DDE$DFNE1BF!7FBDsEE+BD<ѩDi<EאDӠFW;FmDDE3E/DFFAfF@)coprime1nր<DFFF{E 2@CGD>?FGDFE 9:CN%F'8F'E=FE$ @NNFFlD搩D̰7= o5EELEѩE2 N;F:FCc:SMOF>SE UcFFDDDD@E-EnDDE7@DFM,FE E5EvEEDFS EDǐFFĩFFFFFF?Fʩ.@#sig#* @AsCJAtE`FE F<F5FLFשF@F9F@F.FǩFζF,FF*FF(FͶFFAC[AEqFĩFFFƩFUD4F'F!F3Fة FTFMFT#_a_FηFEFϩFCAFFԶF˩FɐFĠFFFFFFݩF<FFEFFFFF >ACAEFFFFF|FwFPFFEFFv@׷GDAFFFF쐩F砩FFFѩFGG0FFFF _A̷CAͩEG FȰGGFFFqGGDF;F)G GGGGG GGFFF۰G!G!.ߩFՠFːFFΐ ACAEڰG-FG/G/FFFG5G5CF\FJFF\FFAGMDFAG2G0G+G&GGFGDGDFGFGFF[A)FFFF BCBEGRGGTGTF㐩FޠFGZGZF` FoBӷGoDgBDiB!GUGSGNGIG=G8G!GgGgFGiGiFoALGGGG ȠB5D B6F"GuG1GwGwGGFG}G}CK G@}@{DBBDBDGxGvGqGlG`G[GDGGFGGEYAoG@G6G1G9 BXD/BYFEGGTGGG)G$FGGA 2G#G*FG$G*Y@qAF~FM@o@XFzG[@dԠBmDDBnFZGAGbCG*dDHBr#_i_GGhF@AB~DUBFkG NGAF<G DBG*y@ @BDbBFxGGCDBG*%BDiBFG琑GGGFFGG/0DDlE 9GðGGEFxDv/6FsDwFFGʰGGDİDw/  DGΰGG/ GDȰD{ LF6D}FHFF˩GٰG/JEFDEFDFFҩGG/QGGDڰDE Z'DEFF&H*H(HFFGG1/aGGEGFD/eFDFFGG/GʩGG/8GG-+H.FɰFHGE/sFDEFDFаFH GG/zG)'FGHOHMHAFܰGIVJSFD/FDɩFGPRQOGNLHOFGWJFDEշFD֩FG]I GHFFàGHnHlH`FG&hDiCFD/FDGG-oBpAH mkHnG G4v@FDEFDGG:|? HgeFG>HH/HH@HaHIHDF@HfH@&le_rat l6GHo :&JGGGG[LGG\@F@HzEGH~I&YGGHEMGH@'ge_rat0*)GH@/@0"G6Gw0G1Gx@HH}Hx/Ƕ@AH[2G萩H@>@?HȰHHFa3GKGΰHHFg&ٰGH=GLG@@HGHsJ{. #hnxX#hny[C:HHH&9..$HGHHǐHH- HH̐HH.GuGGG HHH'9..Gl@(addr_ge0{=H..HlHG IGIHᐩ HH.ƷIH搩HH.שGGGG#HHH.G@(mulr_ge07H..HHG8HI$@(denq_ge06H0IG9IjI I(HH.GGGG=H9,HH.ȩH..HH˰GMH̩H..:OI/I7HHHEv@9Gr./.~.FFFEFEE쐩E鐩EᠩII FE/0QIII 'V9FE0WFE/IEE䠩H EHGH@`G./.)GH$I@hI(I#H3EIF1F0FFF+F=F&FFFIBI6F<E//4I3IFI:':FBEIIhIh /<FFEI  K/I>F.FIFII*GŰGFUF/M/ZG٩<}./O/\IIrIZIUHeE٩@H,.aHH_H.HH`I|IdI_HoE@IDF>IDFHIIIoIjHzE@HAHAvH3HtHCH.HuIIyItHE@HKIYSIYHIIİIIHFFFFFFFFuFrFjH_}IͩIհIIFHVHHfHQHIܰIIHF-FFFFFFFFFIII':FFeIwII~/FFit/{IFFIFIF°Fu//IiHp@'ler_gtFBWIIIJI䐩 IIHFK]FթF԰FFϰFFʩFFFfķJIIIש(%:FF/FF/ީHHHHHJ)IIHFhzFFGFFFFڐFאFyBI6IIIӠJ5HPJ6J>II.J;JCJIHIIHXITGJJIFGGG%;Y9J =[IIHlHlHlI멷JLHgJM-JN.HIIHgIcVJJZDJ//IIHw?I[+JiJg1JhJ\@ܶ@ةJ>ؠ G,IeIwHI*HI+@H~@ϩJIgJǐJp@@HI8HI9@@CJJz@@J\JDJ?H IIHJJJEH#GR)IIJ+3D/JJuJ]JXIhFfGfGeG{G`GrG[GNGKGCbJwJkGqG$-JhGXG>JAG;ZI6IwXI1IxJJ|JwIFJZGGGGGGzGmGjGbTJJGGCNJJGwG]J`GZIJqGCJөJ۰JJIGA>I]IImIXIJJJIG"?'J=JJÐJJIG*<NImII}IhIJːJJIG2:7J8JJӐJJIG:LGĩGðG٩GGGGGGI^ZK7IIIII˩J琩JJIGN`GةGװGGҰGGͩGGGJJJݩGG1JکGʐGJG-J)K&K.JJIGmGGH "K/K7JJGGIIIʷIIK@KJJ GH HH%J|FKK|J㠩KEI`KFKGK'OKK IJJ IdJ`SKKJGHHH1G8EKI:JJ KWIrKXK8`K K޷K]IJ#JIvJreK%K HSK'yJKIJwJKwKu"hxKJK"hyKQJKwKW IJ3J}#I3J%GK KKbII2IҩDJLIK)  JKKlKgKV2IީKXI2JJZKoK^2IK`I2IK=꩚J@&eqr_lei KKKEJoJ)JpKKKv1sIKSKS JKKK2JcEJ6JgJ>JKKKf=nJKh/K@'le_rat08$JϐKЩKKJJYJJJTJKKSJK~K~AJ𐩷K/JeJJJ`JKÐKKJK)KVIHKַHpKKK7K穷KJ?ש?[KI4H??aKK?cKKER 68Jz 7J??jKIH˰??nK/?pK.K e ]L D%KcLKL/M% J??|KI%L/#/!/L$K/KoLKL(/Y$ $.KsLKL,/]/[KwLKL0/a/=N$KL&DHBJ°L?KI$?J??J?DH<J˰L KKөH?ǩ??KJ5P?DHV;/J/H/FLK m/DL@J۰L.1I ?שI=F>?>)Iɩ?L/'J@3I=N?>1KQ?>33_J@:JLA?L3eI!?K?ĠL-K?ƠL!.%=<AK`3lLbJLPSI.?"I0=h`2J@QI4=l?נ>OJJ@VK L]I;@I==u?>XK{?>Z3LL?L?.G=ZAK~JLKLnqIL.>L9@ ''L4IU IW I3 K?I[I]GGI_G+K?K3LEL;L;Id@/P2. PNP2LK<LIm!:#HBVFI+(:*`K,KJL\I{/LTI}1>@ >3LX$?@%expr2 :pLK\LIA=M@M8IqK!?>KP#=U@U9IyK)K@XKL'Lv)KK@&sqr_sgzDLީKyLϩI^=j@j9FLWKiKKKdKKLIg=s@s9"Fc:LL\LKLIpIr9+K{=9-Kv=ƩKLIŰyIǰ{LLM @(sgr_denqږ*LMKLI԰*ƩKdKeKLI۰1LLIݰ9J,ǐMKM ֩KtηKuLI?ѩ#$ KMߐM84_3SKLթ+;LѩILM4KϰK  <LLJՐ KL BMLJې+MLILWKL KL F:LL  MNKL VMM+_M3rJM 3v FL ^MM+gM2qJM2uKL#KL%M gM'M"K+rLzJ#LjM  oM/22K@(subr_ge0 MtJlMaIH%MYMWMLFfMMM`MjMaMkM U>LLG MIMD+M:JQJ3 LJEM>JUJL3 MSMNK,+HIM,J^5w>Dv<pBMBMLp > q@CC@@@@@@@@DM-MMMMMM0-M2MMMMMM52LMLx MzMu+ðMkJJ5 M)JvMoJJ9L ǩ İMMK]+ϰyG]LLM4MfM@$ratP:d\LMA M H}$cndxZMӶJMJZHM_M[MMMŷMMƷM^[LvL MM+MJJ^LJEkJMJJdGMX MMK+LJJ>H֠>f\M~N MMMMM~MNMMMMMLLɩ MMƩ,MJӰJMJIzBJʠMéJڰJ@M MMөK,#MJԠϩJ>ǰ@>>˰^]M(M DN BHշ$cndyN+LưL 3MM,<MJJMFJFJA  =MMK֐,HK _>JK(g>&GK@NKA ̷LLM YNN,bN K!JM]KFM aN!NK,lK+D?B RK#K3 ?HJ'N?LNK-N&K=JL.#B L0󐩷NzMM@O NBN=L,7EKL#K@a?GKR)KFg)m?9k1K?E?MM-MX NZNU,NKAKbB- "  N`N[L9,U?NANAK\WKlCA$NMCMn} NpNkLIKx@K$=ԉ .,°K K wrK 9|@,unitRingType<̀ >K~NȩNM"M L?yqL CNѩNM+M Uh JM\9K+,&K/x?KG"K5K©?Iʠ,K=MkNMM NN,NKKqLKBKBIjN -Kưߠ!A@(addf_divGe "(NvNO MMЩ NNͩ-NߩK̠BKܰBNjMBjKҠBKMBnMMɩ "NNݩLKr-/mKvKxKũ mK~NO1M̰M' 9NNLҐL-FKLMKKLxMMN  OOO -XOL BթLBK  < WOOLL-d5N/NL#$O_MN%U gO'O"ML/-tO)O')RMorphism@%apply1KĩI@%phant)`@A@K=Oj@1intmul1_rmorphism/cSIǩHEL O-6-!NN LN(NSF OUOPM.L]-O8LSLc06qO<Le]B@'rmorphM?L&NONBNm OoOjMHLw-HLmJL0A7LL2NIxPL6 G=3Mv9N;}NYNw ưOOM_L-Ӱ_LEVLsLOmOm/LIPMJOѩNlNǩ ٰOOMrL)*rLX-i_LLZI7xL^3oe[aUNcNN OOML>-9(L;LoDvLLqK נ9OOL°J,l]LwL~xlONN OO©MLϰWLY.@کLǠ@X4IeMZLcP%.%7L.&.#@OLԠ@OLLONNNש &OOMLvOǩiLzLL Oͩ.9wLL{LC$@'rmorphB4L Ȑ6fO DPOMݐM @L>(@n?PMNONP#B4PGNONP)B:MM%A.lAFMADA!M1LP(NO.OO0P #P  rP2P-N@&lerNgtYӀEP4PxOO>+NҐPNB_pP=OODNؐPTBe.P9kpPEOOKO"OMNᐩP]BnN*MYA<M.A9>MQA;xکADUqPZP<P< PaP\/FP^PO=OhNN?yDBj?x0JOpN?DBW?~O.OuOLOwNO PBlPvPX`P_OTON?A<PBBfOZOPBjBPPPObOO?BO?stB?nF2vPҩOmOO,O?MDmDEPөDGP?dOcAMDuDMPDOPOdAOOOA?N8P=P@,sgr_numq_divoPOOOOO5?̩MŰy!#?ODSMɰ}ODVP"2~" QOOͩOaOG?ީMװ=D5?QPPPPOD=KODOOݩOqOW?MPDP/.AǩMMPDMA˩MMKF?OPC/:P MDMDKPPPDP O@'gtr0_sg9nqQPݠQ?OڰPOO@k@˩OeOaPN=h'MjQOOPOQ%C6LC0۩OPQ)C:C4PO@,y@)QOP#O@2D̠CDAQ5CFC@PP+O@:@7PQfPP3O@BCLO@C@FOP<OQzQZOԐOOTKYPPFOOK]OQ%jOQQhO␩OȰO[KgPPTO̰OKkOQ3OΰzOQQ8QP@)ler_total*l{G77CPV@%total-Q QPpQ穷QQ PuPLQOPNV?XNucK0Q)NN7?N9?K4O?OطQQPP\QO`NfPکNND 8PJ{Q%PQ'PPhQOlNrPשNNP7QKPQEQةPsQƩOwNQNN[>O}PeNQSPbPQONNd>8QN@&4KUQ\ Q^QPQNBOP{Ny*PvNzPQONQQQNɰN|>O  RPQNàPSOPQNǠPWOPQPQQ*QO0R @%numqN;@QEPR'RPR ONN?7OP]QP^PROéNN?>95QɩNɩ@es?@Q(/?R0P˰ROOϩPNOPNPаR#9DQQةON?OO(< 'PR)OڐO75N5MĩR"PP5QP2zRKPQPA ED2OO .A#NNMKQPA,EƠD>OA-PQ$PQ&RONONRR6R* R%RQQ.PA=BR>DODIQ Q4RBDSDMQRoQQ<PAKDUPA"DAG!RQQGPAVOOFSAU2Q CVOSFWQ CYQ'QR@,R/3QQRQ.QYPѰAhOaF,C!F!<AiFQ FC%F%=ũOIPP߰F(QRdQ#FQAQlPA{OtF?RMAzJRMQ"@'sgr_def.RQPQ{PAOFN"CCFC>OAhQBF&Q=FQ[QPAOFYCNFNAF]?>OtQ$Q FSQRRqAnRq$ RԩQoQQAOFmCbFb<LD!AQaQQQ\QQzQQAOFxCmFmL]JARFQRQQQ(AOFCxFx>LZAQwQQQrQQQQ3AʩOðFCF5LeCF>%LuAR.RnSQQȩQ@AשOаF<AQOF>1QQQҩQJAOڰFRCF>:L|ARF@&mulr1nB߀F>ASQQQ\AOF=>AϩQ=QQ°QQeAOFeRARSF=S2QͰQQpBAqF?oOBLFAwF?uO萩OOkOmQFRP F>k=0F5@*signr_addbEXFOuOwSORRQRQB&>B#RQoSVQL RR RRʠDQŐPUSJOSKSaQGJHS)QP1کJDSQ P9DP=DuFEXRRXD$IRGdPGDwRQGgRGiISH3Q!PP5iD5 S- ʩR@(normrEsg4<{SR0G~4Q4PcH*|DHPiDD9SBR&G0R!GR?G$QCPrWDU! PvD`RESOI="ISRMGQQQPePgQP7iH@P@nAnKWP=oS1'RGP;S:PxS:SlcPI{ƩePK}RRN RlGQQpPSxDPO^S|>PXR𐩷SR{GQP.ǠPPg0-DPi2/SRs,*82Rp/RGsQPPðPxA>PzC@S[SbP|BSpTRSQPҰP԰DPذPSUDDYR>T,@ ;TPSSdfRJRTQŐP٩P۩DٰuSSѩP(G"@%invfM-T<RװT*۩QېQ 5TT+ComUnitRing@ T[@/rat_comUnitRing3&QICQARQ#Q%EW>Q)>RRTPRTQ.Q0 ߩQ2ZIG5(KIToS T]RQ=3Q?5E"EDBE}CKQ'TQFbSF\Q+RېRCXSFbu2S EVEE BưEC[Q7F5Q8R萩RΰCeSFoSEbS0TR4QcYQe[2~BQi_TDTSBTFRFQukQwm8E\('E;E6BECQaEשQbSRCT_FiSCEGS>ES\TAR`QQEt@?ESENCECQyQzS*SCSF7Twa*aO6=3=T==TݶT4SyIАCSFT>STBQ:S SFĩS%CSFTST٩JTRQEjiS֠@RQðQŰEtsEEC<FCѩQQS^T4JEEECHFCݩQTFTFQSm.Q&\dSܩQ<S@T!FLTU!UURTSTQ{SðJTGSfCTGTͩSǰUJƠTR͐QE߰RVERՐRREEȰEéC}FDDQUG)SG#D)EE԰EMQS(R 5cSQ9rQ6TTT5TT!TQSQG=SD5QG?USURJU,SR4FOOFQ,SR>4R@6F#FECF~DLR(URGcOG]~cũF/FF CðFDXR4U^GoQHGiR8S0R\R(u&UTUTUT6UK5UcS<RkPFNG~SBRqgRsiFV"!F5F0CFDR[UGGGR_BFc/.1RzTAUGT<UTZUKYUS`Rt\ҩSdRRFxDCFWFRʩRhUtTUBU֩TqUĩKpUSwUSzR8TfTaTUҩK~ SRRBUURL6D8UTUSURTRT}TU*SUR̰©Rΰ[I?,?!TuU&n_neq0UPo>٩TVSRשR٩FưFFRRTyj>ӷU>穷V#UzUTUT°VKUSȐROSΐRRFFF~Sϩ  URb]VDV'V%2UU URTmTH(TE TH*UTV=SSSGͩFF<<GөFF]ϠTRD<RAUU)UUU,UƩRUPHHTE@PHJVU V]L V7TS?$G"K2ZG&PTSI?SKAG.G GD°GEWS3V]HnKFHhnnЩG:GGDΰGEcS?ViHzPHtScY$|"V UsVVVU=VL<VjTCSrW TISxnSzpG])(G<G7 SxǩUAVHU<VUZVLYVT`StW^TdSSSaVrUV@VԩUoV©LnVTuSTySS0SUi Ud UVթLVTSVTSSVSVVM>VUV$TSȰ $U&UUVTSѰǩSӰVVSհ@&ېWUVSްԩS֩GðGG)@@5CW!UW6TSSEdةS*pGڰGG&UqEp UtUӰW&TאTTV!*V*W.@)intr_sign#YZWLUW:aT됩TT+5E-IAU1UUWI4TT)T+!E:o(W#dWjVWXU T8.T:0IEdT0T^hT-jbU_Em zUbVWlWUTLBTND#W'IW'g_Jx@)invr_sign:꿀WV-WU1T`VEӰXTVTQTGT?!PEްc TOTGc)V'VEWUITxnWQsWQTzp}7mrn4WVRW̩TT6ET8E UZVDWTT>ET@E UbuVEWVcWWkWkUgT+|W@-numq_sign_mul<^C.WةVsWTTWFTYFTWWW%WWÐV=V#;2UV5WQBVWWWVlVVWݩMWUT|ؠTðTv?UTǰ BWTwX@,numq_div_lt0!R'SWyW5@%canRL@ TTTܠT8'WK@'signrMK GT=XVT0bVTVTVTWũUWǩTTFcTF^TԐWWWL6VTvWFWԐXFX8VӰXHUHM֠X9!`HVUHc*iHVRVX;DVX<VX`U۩5tI̩V U$ IҩMX$?mAI VXV 6TXiWXyU51$(VX[VVX\W XU<!INX<U4V? XWX@%denqN;*ˀWXWXAAW LoN  wWLqW%XUV;#.4X/N&XTW@&normrN7e WXTXXX@X]W<XX@%normq;?ހWXW.Wo(W)Wp@VéWHX WWXQ(XUXU:SdX ?X;XƷXXXXX> ;@XW˩WZXϩWW / %XGXҷXXXXXJ G  WX?UXUQS{] V%n_ge0XҩWmXUIMLVuUISRIWVNzX`Š I]\WsU!͠  WsLשVUIkj,נ IonNXWzLWY Uɰ !IzyW  XNXͩV Y@-normr_num_div:XYWY%UƩIİVUdA;5Y Y(XWM XWM WY6UשIհVɐUũ PIݰN̠X  VIWŐ  XNԠYX0W@)ger0_normY X7X栩YHWYXVI©V됩V3 rIrlYWY7_YYFWMD *WMEWYnV*J ةWV042 XשOY. 7,Y0 9Y YoX Y!W"V="V J"dW)XYY 7YVF+J)Wc J/X}>WYWY,YY@YYX,XWYlW퐩WӰM??Y_??YtWW۰AYBY vX&XgY|WWM,>> @X'XnXEXpYMYXWAXX kYSY IX)@'ltr_defy OYXWX+YXW??? XIXX?>>߷XFXXdXYX%X MT??کװY??کYX YvXBYFX:ŠYHX쐩XDXYYYVYζVhTY mYiYYYӷYYԷYl iXX-񰚠Y@1rat_numDomainType6WYY X c YY{ZYYYYY~ { 84YrVYVT ZXXF ·ZY琩Y۰XXѩ"XXԩXX֩YYY(# X@*pmulr_lge0"{/ YZXXccXX)XXXXXYYȩ-<7驚Z@%ler0z̸CY1XXuZ5ZZ LG XXZ PK oXTY4X@(invr_gt0'fW vZGFXY ZZZ XbYZ7@%ltr0z^eXfZeZcZWXY_ZZWZWcrZmSY%gZ'Z"WZWXY*YY,Z n}Y}xZ pZ0WZ+X@(oppr_ge0,ǀ`ZuYY;}Z=Z8XS /X 0YYCYZ!nZYYI*Y YM [&Z,ZQZL)Z@(numq_ge08 3.ZY1Y\;;YY^Z 7Z=0Z Y YeDZZZYAYlYLXIZkZ~ZOY3YtYLX5ZsY2YyYPY{ZXZYZZZ6Y0@<rNgewkÀP$ZXBZĩY_YYΰLZ@2rat_realDomainTypeuZrߩYVYY+۰ ZFYUYYsYY2LAZZZZZO&ZQZYYY?#YnYQYiYYYY+YF(ZZ@[@(numq_le08@Z%YcY5[[ [YYƩYZ LZXZYYͩYaLZXYYҩYYZZZZXPwXZӐ[YYYq!S+ZYYYw'Y1ZYYYYY~.M ZB7ZZ˩ZqaZ;[0Y˰YY:YY=YYYY԰YYxYCuMZRZ4ZmYZ*[V[T[H[(YY~[8@#sgz%|RgZYdYC G YYVZ[`TYM[[#MZZ-ZZ.ZZ/ZZ0ZZ1ZZ2ZZ3ZZ4ZZ5ZZ6ZZ7ZZ8ZZ9ZZ:ZZ;ZZ<ZZ=ZZ>MM[_[iM[k@'sgz_val'@\FM M>MtMKMLMMMP?UUW@Y?ZxZZZZ['[fYİY>[PY)XZXZPZPZPZPZ#Z#ZPZ#Z#ZPZ#Z#ZPZ#Z#ZPZ#Z#,,YܩA[[6[[y[w[kѩ[Z[P[ZZeZZfZZgZZhZZi[Zj[Zk[Zl[Zm[Zn[Zo[Zp[Zq[Zr[ Zs[ Zt[ Zu[ ZvMPMQ[[Mͩ8\*xM>MpMM}MLMMMPqUUWrYqZZZZ['[Y[YYp[Y[Y[0XZUZUZZUZUZZUZUZZUZUZZUZUZZUZUZZթXwMxX6HBZ[k[˶[[[Z5[,Z[-Z[.Z[/Z[0Z[1Z[2Z[3Z[4Z[5Z[6Z[7Z[8Z[9Z[:Z[;Z[<Z[=ZMM[[ҷMi\)MoMMMMMMMMPUVWYZZZZ[X[[ɐZ'Z[YZ[aXZZZZZZZZZZZZZZZZZZXZXX56J,{C1Z[~BAAAAAA@@@@@@@@@@@@@@@@@@@@@@@@@@@@D[vZ[wZ[xZ[yZ[zZ[{Z[|Z[}Z[~Z[Z[Z[Z[Z[Z[Z[Z[Z[ZNE˷NF̷\\NHJ[Z[Z[Z[Z[Z[Z[Z[Z[Z[[[[[[[[[[[[[[[[[[N\N]\)\3N_\~o MNN9NNJM~NINHNGQVYVhXZ[=[O[L[^[[\+ZZ\Yp[XMN NCNNTMNSNRNQQVcVrXZ[G[Y[V[h[[\A@$sgzP1vw[]M\_U\@ZK YNZ[*Z[+U[[}U\ ZZZ\\i[ [6ZZ(.X\GNXNRY[[=ZZJ\MN^YNX[[CZZ Z\m@'sgz_cp0'QZ [)\\lZʰK6Z-.N[\0[\\uZӰK?Z6N\:[\S3KBN\\\\s\D\0[*[k2[%[l\\\}[U\NZZWY \<A:\>E\\\ک[=[~\[E\@(numq_gt08 P[퐷\#\c\Ķ\\\\j.\P[P[R[K[\U\p[ [yK\y"\ն\\[][ \{_\@(numq_lt08]\ \\\?[\ \詷\D[[\ة[w 9[x[\\J[[\ީ[} /[j[EU\O[\Q[[\[ *B\p[\j\[\[ %[[< [=[\[ [|\  ]CD[\[CQ\[ C<] CI[I\~ \  C@]"P][][YWKVY(YX\[#[Y^K]`/Yΐ\^\\[&\ʩR[@*normrEsign*_e\]4Cp[]"[C}\ש[]F@.denq_mulr_sign \Cp]SQ*\@%clone=u]Z_\@%class=$]]cW@'phantom2"@]@(class_of@Q]\@"ex @AX"ubX]O]C.S 0\MZ_Q 6Z/]X萩][]]a]U@SB](;N\Z;N]'[\ ]v]jUS2W\]=]=N$'$Y  P@%mulrSJ5][ķ]]]~i]m]cm7]]qN>A>]LDǩ\?\\|[\ϩ]ySV{\;ͰKHNJMJB'\:@*ltr_spaddlhR Q ]:]l[\B@%ltr01wk]ԩ]ܰSNc`Z_\`PNheZA\^T]K]S]@&pmulrn&-X]]͐lN|y \x]m\s]]֐`N]Sh]]ߐ~SN[\|SƩN[-]N]@)intr_norm"ܩ[^]!SکZ&]\Z&]\^.]^8@%numqE;@]]^3^;[SѠ\^OEv[ ]]BѩSܠ\f]Sߠ&\@&normrM7d ]^S\n^T^4\^Y^9aS\]%]!\x]tg[-S"O$D' Es\@*ler_pemulr4e+ ]^\\@)normr_ge0*#^y^Y8O(DʩW>O,  D˷]A^dC^)^)DyE]^^mZY^%\]]YZ ZD\^8T]@%ler1nus[D␩^^\]*]k\\\]6\\^LX D퐩^] ]4]u]D\^R\C^^@1archimedean_axiom$yGu]r@(pred_key4n@A^ө]y@+has_quality.=jZ9^ښ^@$Qint:a+C^^]A]]] \[L^^^^]@&in_mem&0^^]@#memڕ^]@,predPredType>h`_2"Zx]^][o_]_[̰'^^]$[а'^ ]$]_^^^^_]_[۰'^&$^&]_[]_]_&['^$^^F$^_]_-['^4'^4]$'ķ]$٩]_4['^,^^,^$R@'rmorph1#['Ω'А_3]ΰ_C^H^H] q^8] r/^٩\'^;'۩? '^=]_M^RC^x^^^F]H]߰_T^Y]M]]}[B_8^ Z]][BZU^C^@(prop_in16_fo_i_g]_iP%8'_o_m\^_^@)inPhantoma^H=$@&cancelں7_Y_{P%_%&^%@$iffP_X%1__l=*_m^%8^%` ^7@#idP^^^(_P:%l(2]___=?_^1%M:%uX%O<^%P_<^_ 9_ F^%UVC^٩J^ϩ&_=N_^@%\^%_@%numqK;@__3____ _*Xj:_=b_^T%p^%_۰%t^֐]_ _1_c]BBB@@@@DX)_B_;_B=w__1^j%^%_ө_%"=^\%!^W%b_{^_I_ݩ_^^ u\R^f^^^ v\V]_%!_@(Qint_def ! __А^.^&\e\e^y_\g^t__א^5^-_\l_  D"^@$and3@A_琩'!E("!G!IJ_@,subr_2closed4s%Q_@,mulr_2closed(X^?#_x_%շ#_y_%ط_\`D%_?%ߩ:%g_`1`B`_=`!^а%_)&_X`'=`(^װ%]&@`_%_5`#c%>T&$\]&&^#`:__YԠ`>___ɐ`e`A_`X@`9y&_a5`=}&>n&>"]&@_W=^&"#^&@`I&"^&E`M&&>~&N_]/&P\/M`^._䐷Up_A`|``i_ԩ>)`l_&7Z&__Y8`r>0`s_"&>Z&f`i&B>&j",]K&lZi/```5ҷYJ````G`__7&S\X&{``&Y>&"?]b&#_-&_"f_(&``˰&d>&F`RZ` `__z_u:`>b`_T&p>Ȱ&"Z]y&"{&_{ .ЩG`>o`_a&}>հ&_]&"&&_`@%QintP;2`vs` >_$_90`ܩ_w&u][)l@]d">Q_ש]Q`VQ&)ZA&]h) ;_l&_&`Q&)?_?\$`:]r)^` _b&CU___ĩ_Ʃ`ߐ&?&"ݐ_ϩ&&_!_ʩ<_`C`D___͠l_ʐn@`1&`(`5&Ω?&&`]נ&`_~>&`59_T`7`ķ"^"_`^aF"d``a/a@a`Y@aT"r`*-aX"v^)\^3|Y```aSa/`aF@a'g"`O@a+k"^)# `CF_"#_"@a5u"_Na9y"^')`]Ta_`ΐVZ`+afawaS`꩷ZaJ"^8*# [~eZ&ܩ ```鐷Haa`کaxaX"^F*##s`"#<_"aa"^O*&a(|a([`a`Y`P`Kaz?8a{`*'F^[*2#0#O'p`O /Щa?Ca`5'Q^f*=3#^'{'U``ҐaC@a^o^"`aa`D'`B^(*L~RX'*P ["H^.*R+<`2"`P'laXRb'*Z^^6]u`a\*Ɛ`''tCVũa"^*e#_C`@a#`a# ^*q``a]Fa皠a@$Qnat:aAC  aa`L`aa'a]|q\^\`'aaRz'`aΠbah·`w`]\^\`'aaa'arb.b@(Qnat_defa8a,#,aJawa=a"a䩷ba{a>b0a59a}b:aaOb Ib;a1Db 5D?a5\_+\`ϰ'_Da# aaa aacb]bOaBXaaaa|&abIbZb6aa©[Ҡb<?b=ab2Zid^ڠ]_P]`(\iibJaa['aaaאabObe_]]bJbTaͶaĩbJr|\]_h] a ((W,\Cbt_l]$bYbcaaөbY\]._w]/a(7T~  bfbpbhbraabhWE]=_]>a*(FTbab_]Baa/(K`O(%baby(!]N_]Oa;(W'a'(Y(a"(Zbbt+]X_]YaE(aabM\bbb b a8ayb{bv(5a5a|b`ϩ=]j_]kaW(sSi(+a_oabbǰ($(C#_b_f]z,aީa5(SU$_]~b2ak(`S}(+u dbֶb1b߰r_]_]ay(ae(>b\bQbb@bƐanaajabHar]_]a(S(+ ab  éϠ ÐbW[\Va[[ab[[]_]a(bC"Cb@aaaɠTaƐVbgܐaZ.(b)aҩDbbCbLaaaՠaҐa&a۩a&bb0cc0]϶bw$b[ة]շ`]֩a°(b-7c c] bbn[6bbb`,]bc8ccZcLS%VE T Oa(va(6bbHbcGc'c"aaaؐ_abaaaސ_Ʒabc6c1b` o jS%b{cmvx cccCc>aaa(_Щa)"(ηa)#cNcI>c%.cvcVcQߩach_acic]cX  (c$b(#(ĐccicdbMbbSbOb bTcpckc5c5%ccwcrb[b baG6c>abc`@+addr_closed+l)ѩcg@+mulr_closed3_,NةbcѰ)j)n̰)lਗ਼bk@(prop_in26)s F/)tE)uc)y)(eF7)|E)}TCc)K)cζ@cܶ@c)cE!c)A)bb'babc )b_b@a@cĐ)b3cȐ)A)bb9c )c;cc@&@' b{bbvb@cڐcՠ @]+c+d@4@5c䐩cߠ&d0!   2bbҩc砩.d B)c'c+  ) $bb۶@@Hc7) f cWPccJdFd(ccccTdNd@c$Id : I Dc(@dd dd]dOBN*_aZ I X Sc2ccc/c# ccc"xQ#YJ(c(dVcd7wdibrc ccd@dr^{dDd?dxBw*GY%^z r  |c[cdcXcЩcdUd`3'ccc𐷐"yQ'-ddad\cE   B*d^^ddj(YG((򩚠cF@*unkey_pred&ƀ(԰`(ϩd[dY$Pred@'add_key0р-[ d@-Qint_addrPred93Pc_@5keyed_qualifier_keyed1;4)`d@*Qint_keyed(d2 dddА0ZW5d5ecd dd eGeBe{b7.Z(_}!u  dXddddꐷ%eyeYeTd=!  bI. __eeb&Z?&{&ĩŰ`&@'mul_key27x.2 e@-Qint_mulrPred)﵀&aed dad]ddbe~eyeC!  bn.EWWdİebr.IWWX@&rpredM .P'WWe eReIXe-e.d;d|dxIQd˩!  de*CZmCdٶ@թeee۩!ʰ  CŐb)`xb`yX@.char0_natf_div $IdG@(char_numn eFex!Rb@N2u@CeΩed- ebbeVbԐbe'Рe`Vd~+ dzeefdued-dbŰbeVbbe'eV&V ee&&e7f d)bٰ(''eV)'b+dfbdfd b'e e&&geLf"d>::dbce=V԰cbeddɰ6e)eѩb  (eGV߰  bY&@%divr1 1ePdZVigc;`󩚠fR@(ratr_int0Re`tr!Se@)pred_sortߺcKcBc:eөm%ringS@'divring:E@eٷ"kSe!@*keyed_pred%Z@cgKe婚@'opp_key_Re쩚@(zmod_opp8FzhYe󩚠@,subring_zmod.瀰ce@,divring_ring6 WeffdffuccyeWGccTd!   e e @'div_mul:C2ee@(sdiv_div)V耰ee@,divring_sdiv6 TeeeeзffްcCcdWpcc}e@ ې ; eC eé)deũ$deǩdeeeةe\eede-bf@$ratr:d~GʩcאcΐcbY dw dr dm dhbdeeY@)rpred_div._- bdMbdH fWcNWNfsfe'ge"eeee frf@)rpred_int=$ufUf$de%ge.eeee,f3~W°{zeyf f.ee/"aR.&@O2 a@"rRLJg@#map0OF@f_֩@.;@d$2᱀fgTfgIg=eذ˩d ЩfFА@fJNfWd2d*fQdd)1fe,féW e[zJhedL[gmNdQdHd@fhd-fԩ)FIЩfom@8fs.ftfXdYdQf{d+d|fX$ fe#f gffg!ff󩚠Zt@*fmorph_div!fffgf)dZjX=ihe1D>f=XAef@f4=de;g>)~f6Щf@.@pf.ffXRddfdcf&1gPHg@*rmorph_int9_Mfe7gfTGd+)fҩXjekfFjXnfPfCmfajdhXuldlNک); PgoWgff[f;_}K0x}e@gg;-gf{ny0p@ggV'a?-%fg-f0z@gKfgsgg`%gfdЩJҩ@&wgm')ߠgRgq'fX @g|]g !{g0@h g%dܰ0)/4!&gg+!hfd!ɩffɩfƩdgǩ*g,zȩ@0g.'g'~2gBeh2yfqog)9gIffCE@%eqfunF`e0S-0X͐@hR/hgYgigs!Uh h 'Lmodule@Q%{@0 a!VK@@eK%{k1 g"fBh%h#(Additive@%axiomYɀ$@h O1 ghg)J1ngJZ!1gqȐ#phi@ZC@AЩ1+6fE1-8g@e gg   hg4 F8@0X#Щ31DOd_1@ehKhi@%scale(_1Pdkggĩ)hTh"F+ 1Vfpggg̩ggg>_hOeQ1bmbFаU1fqbh6hh+ 'V@h<#1nbggЩ2.h@ggOgmhuF,1wbgʩdgީdgh{fF鰩e@Q$]@A1mc@$base%y61 @ &?ŀ 'h[@&raddfDlj:Xhj.hhgocKig[4fhcb@/nary_congruence$,dLLLi -ifhifh@G Z?TwQU@f Vh.q1c+hh!GhZ^ h2h Fhi"gz1fߩe1&ʩ+ 0H sb*fe1͵Yڰ/ 1ҵNBiBi@+0RY/1صOBi$BiFg*sg԰|'1cZhehhA&hCiAgܰ1ff'M&g*f'Q+,0kY/*1O&hf1&J'W&iVg1g21g&bfQ2e|2w2e#2 e%&g%hngh[ii2e+(\a@'scalerA(2e2-'  n ͩ g8հg: װsg<+d +\u@'scalerK(#(gE %iing萩gΰgPghhZgҰgOeggi9g԰(M( i@(intr_eq05]Onigh)hjhfgiGgghgihF2gh HZZA2R8glPh8WZ`GUMOyh6[hT_ @cکcܩZj/2bOibibXi@*scaler_intY,2geO]i˩hfRZx_!]g6P$hXfȐ}+ e-ZpOh_ h})iZvOi=9e!(;eO#ihuSO#~@MfiZVOQJcQ^<@AfT3d!isjGZCiOȐ<h(i,i@'raddfMz#P1iODjhyuI&in2eԩZŰ/iQ&i/mh_t2d=Z˰/i&Oi#hdhjb%@g~]d<iAiJiϩZٰocOj@)scalerMzlԀ2dTi;i8Pj:hհoLiߩ2e :iSc/g 2iHh/hG"i\2dYiiOgi+j7@&mulrzr&/ۀ2iVPjUhܩgi2f'inc+'h+i 4idjbhtj[i{Qvhg][ioP/hLj3d(ir3dP4itjvi[#jiQͩij[+j#PFii|j&i}iPJihݩh֐!AjTjR(Lalgebra@S[.' @H!B M߶@@g.&׀F0_top_assumption_B@ O @@ggׯAVjXjΩVg3`ki©gj2%mixin]@13mxii᩷!c(#H i֩jj*LRMorphism@ ~*@3h/c73O@-lmod_ringType.$<ki퐩AA#ij^jDCBB@@@@D(N.+jpjijpj4A"fZjj&Linear@J3(?3+Oe3j$jj%Scale@)scale_law&fΘ i@,X@hCǰ3=38hLа3KG3B#"fMocbA3h[Zj?QЩ^jB=@VMр3aհ33jMH@.class_of_axiom#< 3   jT? i@,@hHy3s3nhQ4}4x!jk g@&U*Cjm:k~@*rat_linear lijk!FkNkL(NumField@TCT@eIE@)injectiveЀkkz !4/hn@ 1k k@(intr_inj5'injZtoQekkkii䰩.@_D&^jé\Zh7@hف|j̩hmikx?@kj=kHjԩ4ah2jkkթk &jNj "j klj#jЩ\yhjթhj_kj٩=]@]fZjji 2&nz_den>4hSj k1S1I@%canLR@ hqBx@)fieldType3Sj Q+ hŰM jk\hꐩQjhjJ1k(Q;hհk-P\hhkhiJ'1k@J) h \˰ i.\ϰjhh\հiɩ. \ٰj5_ @%mulfKIIC\Ⱙi!kAhj%kR&Qjਗ਼@_Z>kK\ jөk\kv9iY/lMj谩hАQiEiN*i$@%jhߐQ!kVi-N*i2JwiTiLkdi;] i* S.W]#ji6iF]) j.a]-k]/jk)k"i Q䐩LjHiX];izirjQiLj5J2wk]Gij[iVSlClCilDin<"_@&mulrACBFC)lkKc_i|]JiaictivigxkCiA]JϰiibVCiifOGkI kgE@iN+Glt]~74k`=lwn_@&mulrBlB xYlalk{iJ0,llǐkAk'+kvl+akvit%]e`Tkuki{RUhiɰ]i됩i㐩uhéij ]i\h˩iRީi۰N͐+bK#jli֠i i]˰T0/]ϰ#T0]Ѱkli[i8/]ڰT;+?jl?m7kҰjKHij j  kjjɷkkj~K[j8]\j llѐmXk i 萶@ij*iJk)fi@i ⠩k fkkl mj:K$j0&j@jB^%T/]^)km!jJ"^-j&kml$<1jU6KojK۩j[<*j>!@jةSmbf۩2j8)@j!"k$ll!l?=j#4@j,-"jvj)TjxKbjndj~mW:mWoj3Sk9l/Rz^fk©lm4d3ml[sjsj jojq; lMljgjiK۰ ]jjokjQq96RV^lcطlV{ltRjR7^A>lVmmjj~ =~ml(jK8j5j<jc9ly6L4j°$j8jư,(l|?lx&3m5+-1nlFjҰLVjȠX{׷nmlilO('l$jI@jj*T%l,l'j'j)@jjSh73jj'S^۰%"U<j!LAk%^72S j$mmknkp)c,m+nEljkjlPCgjǠkjll޷llmk Le k$gkGmk(jjlngm"k3LxjTc8gjөUmlmjϩkDjlkFL0n!$n!jUm nm 8@kQ2 k4L_1TkI_3TXgkϩ*k0SSmm3"n;Lة3k9SkZ̩lk=SSnm@X`>k$Rksk& nhDk*J'L_WSʩko_YSm3mQ/@nYnYkUQk7W k9Y nm\nzj2ngnǛk@W;Y@nn_xkmkmnrrkkNm^kkP$nvmذ/nکmunk7}uk[7wk]7l_47;mi4n4V4k7nZnki7kk7m{mn4mon_47kkrM_Uk_U&n_47,`kz7momokΰ7kа7k7**(m4&k70k72mm4ȩmo#k߰7n$n+zk7momo,k7k7Bk7Dm4۩@k7Jyk7L&m4mȰo=k7Щk7ҩk7Uk7WVA'nnة_57fk7 5o>mٰoN<l 7MO5k7fUfl5#k7jUh(m5o^5V55k7r#Tik7t%Tim5 moe(l!7nk7{,n3'k7.TtTro`mop^l,8Mq5Al08k8 ;l$Hm5! k8AV}m5&n oDl=8M5Rol35T k8LU"o+k8NVnono~lL8#M5a lB5clR8) !l8+]m)jn5C(n5Fn,odl]84M5rla88 0l8:lVBo<Il8<nmnon;oll8Cln8E =l#8GymEj@&locked9v5fѩl{8R/ Jl08Tn@ n;5m5on85pnVo˩l8^l8`7l8bMа5.l5l8h[ojj'@$lock(oҩnmol8ul8w`58{)H/l8{M5l8Q/l5l8/)R`58i>onfonol8l8//l8M5Ωl8-/l5ҩl8//oOp 2onpl˰8lͰ8lϰ8#)u/-n5lӰ8`58n5énplڰ8lܰ8o/Ʃlް8%`58Co`ð58pnp.l8N/5l8/FBn5&n5ީnİp9l8̩l8Ωl8/l8ҩN@6)@o/ oJp9n԰pI:m8ܩNJ6l6m 8$)_n5"n5npVm8NW6'm8H0m 6+>:o&pSnpcTm8Nd645m66m%.cm'.ep)0{n1m+.im-.ko0)ӷn1opv=m29 Nw6G Vp m69 K0 .to)0"psoptm?9mA9N6VXm76X 0<i64mI9 N6^m?6`")o6;o!p]mR9)p+tp+N6gmV9-)mJ6k/91*/po0pma98mc9:me9<* 0\i6Tmi9@0So6Wo=pymn9E*"pG%9G0ZoppoFpmw9Nmy9P*0pj 1m}9Tm9V0i*%o51oSpp[m9[m9]m9_&Y0rpam9am9c0v*2\9e0x*4pɩodp٩m.өm. 8oT2 m.٩m. pv"/."pکoupm.m.m.*P0Kogme.m.m.0*Xohopm.p5p\.0*_o\q]poo{ooopop&o pooooopopopIJ2<m!q2?X<2@qX>mm萩zpmװp~po 5.9mq%2OXL2Pqomm尩Rאې@/comUnitRingType rp,3a԰oDaذnm omȩmRp/3Ωa˩o&a&oo߰mpnnpn RqRo:9n9n ;806o&n$%n&'o+on+S!Fo"3Iԩbթo&b&qqn9: n@b#A>OnDnZ"3` T-dq@%mulKfGcp]qp&`nWnY;opnn_nabD[?%p p7n"o5qCqCnl J] J0qpD~nunwny9p6 n}nD;p5%pSMnq]q]%]%KBqp\nөnթnpN8nЩnQOqp]SQ WnqxSWnq{3X Wnq Wnq3Ǡn#1/qpn"no"@nxd"yn°nup?3kRi"ny"@nc"n"z'~p{prpinѰiq,nӰknհmbqnqnٰ"tn'prp("n(&#nn$p!Ukt"n#""nn'ppppqqȩn,"n.-* U"n0, pr0p˰BnB"nDB?on ok"n?>;"YKppڰ"n"ϐ@nǩnǐ#Vn"onɩon'YZpǩoqq"nWSYarWpiA"nigdo%n'ok̩"ndc`"٠o-n%Yropөq'r r o2m#nonk "nqm orqq r_Y omrao@nVqoBnorq}c"rqroK;"#o;$Vc08b;(,q 8>#"o;,^kq 8Cq)rr1c;8m;3o\oo^o*YYr7cA8s;9""o;9kxq%rq8roi;@ok;B#:o ;Dvv q*8\#@o&;J|(%q)8aqGrrO##o+;O(*q'rqNro;V#No4;X/q>8pՠ#To:;^\Wq=8uq[rЩo;co;e#]oC;g(Hrirics8;kR#-oG;kipMrϩqjr2o;ro;t#loR;voMq\8#roX;|oq[8qyro;rtr%#Eo_;Y񐩷rqro;o;#oj;pG4- o;o;#ot;ʩq pq46R48(vq|49qsDo˰;oͰ;%lr(}< s qsoհ;oװ;oٰ;gs!*c8;q,2֩o;o;2ީq8ҩo;us/(c̰8;ĩqq8۩qs6o;ɩo;˩cװ9 ;ϩqs@(02rөcݰ9;թp s9q԰sI0p;ܩp;,3q8?q8qݰsRp;p;p;2p;p;"r3r3sQqsaHp;6q9 4q9 qshp$;p&;2Xrr4saqsqp-<p/<p1<d9F< @,3*p5< p7<LPls(qsr sp><p@<Y3*pB<pD<3;vzs]]srspL<#l4pP<'pR<))d59g<-L׷r 4ǩr(ss0pY<0p[<2d>9p<6)s6p_<6pa<83K-_<:3M- sr9spj%&<*&6%&>,(&lsWsְt1C%r ?%&A%ϐ@ I7&uSst1[~r!}frCrtP7?'r,7"7G')xsftr#ts(st t61xZr>tu7Wtv' rDzz7,7_|~'eu#7!@s?ut$tO1rW67pf<86'`1tf@)'tt3t^1rffIrUq[7uD)uDǠ#'a%'utEtp1!rxԩf[WUtLt7Щf_Htt4өtRt}1r7fj!'hrudEudC7Euɩtdt1Ѱ@r7f|xv;tXfi;StUtst1!rܩf@t?u`'b;`utt1r :oa>uuϐuðtuux"t|t1rŰ JjCf`2"t~tũttu2 rϰ>' ' 'uv2 NrӰ -7 t@.ler_pdivl_mulr>UjY6uvtt02 Bv*@0rat_numFieldType U逩r착 q ''7v&vuu鐩uߐ'`tt26r''7tttаt2=s XLs7f鰩s(;rp`8$f'ff (f  u=uu.>0''7uvPtu2X{sX"9pes%Dtres*X" Epvs18Jַt uu22tVv@vs:vs<x    vyuu?)2bsGX9"=bhsN8(E8g m(@8Eus sksYs[80'ũ8t (u u1u\2sdXV"ZkTskũ2vF8SvFsosq8F'۩ *8H'ݐvuIut2Ws|#9vvv:$u>u2su=uu[uvc2ȰsGsI'(8B'8cv92u@@.ler_pdivr_mulrek0vrvԩuou&2ܰTs8(v۩vv(Qudu2ȩsf(z(s8(xueuuu2WsX"Ysvvd2ܩsz8ڠs(81(8vwuuƩ3+'s'@ss''X[7pe's'@ssz' '\uuuީ3 v_;v'st<w!uu3)L!'s:'@ss yq<'B(Yp's'@ss;''uuհv3B$'s'̐@sĩsĐW'1'Rvevt'svK(wMuv,3U6'sԩ'ߐ@sשsא٩''p's 'uuv$3fH$'sg'@ss.'3)3pQw w ۩'su'<ꐩwqv v7P3yZ$( sS(@ssX')Lp(s] 'uvvH$3k(t 50'w)w)tRf9J('thv(wv*vU3wW')b3zh@tAtMB'hDt!tQ")lv"vc3we).'vvfv=vhwE3hQ'hS)SwK3-hWttd)=h[tth'w@'ler_intM<)H'wvYv//vEv#v@vv^v3˰w')pwhwh3Ͱht43)Xhv21')\'v:vAwԩwwww)v]vwww)Luw})Nuw vevuw+e)Tuw4vkvuw=fuw4vqvvwq=lvCU@.monomorphism_2<|x? gv ax x_0x4wkwx _4?" <4 (wwqw  v{@)lerW_mono)],U 3w vx@'ler_rat9 w  x'x%xvvߩ4! DwKB \@ǩD ^wx#vu?2 DwM F@ҩvu w XU'@ڷvvϰv4< _w>wک] %w<PwwwBvذu2?L7xxFvw 4N]@wvwU/vwvwwpw4VQ)v owéGwi@wŐvw%x[vuP?j xx uK v? x'vw.+xxDk]@'rmorph0"A wv  xxx~wwD4ebd%x`wXTwYw!wL4RQx+4wwQPxw*wU4x4A:6wwY-"1x74Fowx AAA # !xxxw;wfxtxw)yuw$zwBwmx{sx|xpoxwIwtxhw6wwxx÷_xĩx0)xXxgx@'ltr_rat;=iw)wh J HxxөxǩwbwxIķxwPwKwiwxHxGxAxթwpwxFҩw]w'-gx|xE$DwHw i gxҩxw  &iruԐlg*uuuuwPw6lx lhߩwig>u/uw`wFx{ww@34xl} ;8 x)xlz&k{yw5ivlg^uuuҐx x됩x uِwwol wm9i°v$lgzuuuyGyxuwwl wwFyKi߰mgmjvMvwwgxvqyylΠd&yixmiNJvwǐw7y7wx9w7x7wx<xk%jvdmOgv=v8v.yX tMv2wy*:ly@*fmorph_eq0!῀8Rxyx.jxgҰxt,xx_qxx`x7Ij&$g۰$!svLww8&x8yIby@%ltrq0;<wyxLj;R*LBV *C@:x&x@VyϩvWjHhyce*ZBd *Q@;TŷxFbxdyljSQhQNt-yp Щl@(rmorphMn;#Bw dՐy۩xvߩje|hvvOxi'h!vxh,x-"y*l@+rmorph_sign+MBx_b~z 驷yx#=oo(BvаmkhDvǠvvoHyxvްhQ oPyx xA o 4y4oJyyx@(numEsignuz,xǰ0/oƠvphmrS*Bt|&xѩzJ{w 2hw 4vvty␩*Ba,xީx8*oߠpyymf7m;@+rmorphMsignĀBo.:zUxYXo<%x#o\x&xQCzzoaw,h~B$x@*normrMsign*!H)lI+zpy tsdzuzU6}x1cyndN tpyyyAqrp  Zz*yp! !Mz.xzzr6  yy\6  xz;#z@%ler0q;:yGyzxy)yjyfxzG5 xrJ_7fnF7P