"`,Y.Ncring_polynom+setoid_ring#Coq@+Ring_theory+setoid_ring#Coq@,Ring_polynom+setoid_ring#Coq@)Morphisms'Classes#Coq@$Init'Classes#Coq@/RelationClasses'Classes#Coq@4Relation_Definitions)Relations#Coq@-SetoidTactics'Classes#Coq@&Setoid'Setoids#Coq@$Bool#Coq@&BinNat&NArith#Coq@%Zeven&ZArith#Coq@'Zminmax&ZArith#Coq@$Zmin&ZArith#Coq@'BinNums'Numbers#Coq@)BinPosDef&PArith#Coq@&BinPos&PArith#Coq@$Pnat&PArith#Coq@&BinInt&ZArith#Coq@(Zcompare&ZArith#Coq@&Zorder&ZArith#Coq@$Zmax&ZArith#Coq@$Zabs&ZArith#Coq@$Znat&ZArith#Coq@(PeanoNat%Arith#Coq@"Gt%Arith#Coq@$Plus%Arith#Coq@%Minus%Arith#Coq@"Le%Arith#Coq@"Lt%Arith#Coq@$Mult%Arith#Coq@'Between%Arith#Coq@)Peano_dec%Arith#Coq@)Factorial%Arith#Coq@%EqNat%Arith#Coq@&Wf_nat%Arith#Coq@*Arith_base%Arith#Coq@+Compare_dec%Arith#Coq@)auxiliary&ZArith#Coq@*ZArith_dec&ZArith#Coq@%Zbool&ZArith#Coq@%Zmisc&ZArith#Coq@$Wf_Z&ZArith#Coq@&Zhints&ZArith#Coq@+ZArith_base&ZArith#Coq@)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@.Algebra_syntax+setoid_ring#Coq@&Ncring+setoid_ring#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̂"&/r'Prelude$Init#Coq@0JqTttֱ&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI'BinList+setoid_ring#Coq@0Au)BinNatDef&NArith#Coq@03@1O,[{ &BinNat&NArith#Coq@0K11ڤs+Π$Pnat&PArith#Coq@0,?pr.gZ'ZAxioms(Abstract'Integer'Numbers#Coq@0\}zK=PK%ZBase(Abstract'Integer'Numbers#Coq@0 TL}2_} ؠ$ZAdd(Abstract'Integer'Numbers#Coq@0Y9Vgⲫ򐠠$ZMul(Abstract'Integer'Numbers#Coq@0Mtr\b"H#ZLt(Abstract'Integer'Numbers#Coq@0xK|j2[&=}۠)ZAddOrder(Abstract'Integer'Numbers#Coq@0w:}H#NK}{)ZMulOrder(Abstract'Integer'Numbers#Coq@0Dr~-~ECM'ZMaxMin(Abstract'Integer'Numbers#Coq@0bAX1'ZSgnAbs(Abstract'Integer'Numbers#Coq@02`ou{Z'ZParity(Abstract'Integer'Numbers#Coq@0S)*Dd$ZPow(Abstract'Integer'Numbers#Coq@0AşsאI)ZDivTrunc(Abstract'Integer'Numbers#Coq@0`]f5FԠ)ZDivFloor(Abstract'Integer'Numbers#Coq@0dj_TYQc|$ZGcd(Abstract'Integer'Numbers#Coq@0G0=$ZLcm(Abstract'Integer'Numbers#Coq@0(9g%MmN]%ZBits(Abstract'Integer'Numbers#Coq@0ܹCF5s+ZProperties(Abstract'Integer'Numbers#Coq@0Ve*ʞ_OV)BinIntDef&ZArith#Coq@0ådR4Tuy&BinInt&ZArith#Coq@0BpHޞun^+Ring_theory+setoid_ring#Coq@0S.JvfI咠0gaKw9`UW$Mult%Arith#Coq@0햖Qyb0(Zcompare&ZArith#Coq@0'ҤjI=D'Between%Arith#Coq@06v*0ur`C0)Peano_dec%Arith#Coq@0Kݢ*k+Compare_dec%Arith#Coq@0jXF 8)Factorial%Arith#Coq@0@oehJd%EqNat%Arith#Coq@0AIgՋXRV &Wf_nat%Arith#Coq@0UJX AJhO*Arith_base%Arith#Coq@0Ĕ}CS&Zorder&ZArith#Coq@0fVk.BG)%Zeven&ZArith#Coq@0i?eK#$'>3 3 # ''+k$'+7 Tk$'fH,AJ|@@^@g@A@A@@@'Pol_ind @~|Aq@#!HLAJ|@@@@@'Pol_rec @@@y@ G <+k() 7%'h@@@@@Π"cO @&$%ring0@*( (+k()'@@@@@㠠"cI @;9%ring1&&@?=($@@@@@"P0 @OM)85#add@;@$&#mul@(@+'#sub@/@,ͷ#opp'ring_eq@Զ@~"Ro&Ncringk@(Ring_ops( @ BFD\Z^ک.Algebra_syntaxw@$zero#*䩚@-zero_notationS$UYWomq@dsPp;97531/1-+)'ΐ +k()         7 7!9'  p@@@AA'@AV C7@AB@@Y"P1 @wb`^\ZXVXTRPN6C@#one#ҍ$V@,one_notation:2@@?6 p@@@AC\@AXKl@AB@@)Equalityb,<!A_ [@@@@ /Build_Equalityb)equalityb@@ᛠ)Datatypes$Init@$boolZ'@@@AA@@1"@@@AAA@BA@AA20@@_ @0@A@A@@͠% @=;F@L"@ AAA@@@@@@:@@@!>#@US +k()= R '>''+k+T'+T'6'HĠ7AA|@@@@@.equalityb_coef @VT$Ceqb^4AB!xE!yJKV@fdl3 d+k()+9'() %'@@@kA@A@@!#Peq @yw#A@i"P' ܷ#p^ t"c'`%@,Buǀ+@O:À l5緐"p0"p1"p2朠BE!i!n!QI" 6>9"i'"n'"Q'YLР@*comparison;f@@@@@@@@@@@@Dv ک&BinPos&PArith#Pos@'compare#)BinPosDef @ )QڀWа!Ұ@@@@@@@@A!bKdɠTTTTT@~ (+k() ,'(*()= 1R'>= R'> 7!7#'>H''>= R'>H'>7!= BERg ' 7!= (+RK ' 3!= R1 ' 3% ' H' ' H' H' ' H' H' ' ''+k6'+ k6'+ k6'+ k6'+k6'+k6'+7 Tk+7 T'6' /B@@A@B@AC}z蠑ࠑ lDtAGX7@@A@ABD@@@@ݠ-equalityb_pol @53;ݠ@.<1&$(@A?G x+k() +9'() 7#'`@@@@@$mkPX @XV2A>  @Ķ@JgFGMNOC| P  Lh$!iWUmkghƩQķ1"S*R,@q2B;2@].;$ ,36;Dx@\=)7 7!7!7= R''8''>7!= anR'*7  7! 7 7= RQ' 7! 8'8''8'8'''+k7$'+k7$'+k7$'+k7$'0ȠAOĠ<t9蠒;Tlp8h2ASDAC$m̠G0i@@@P@M@@ABC@@$mkXi @VTm@b.;$pw{m@jh# +k()          7   7 8' 䠒p@@@@@۠#mkX @31 ޷ڷڷԷз@K.G*,(&*!C@FD / ,-ꐐ +k() G          7# ' t@@@@@ $Popp @ca=L)I   @@  ȷ^`@(oppositeG@,opp_notation-\[$'VZXr"qjkvt@kzWwB@><:868420.& +k(), S' *(= *R7'>  7 7"9'>3 3 8''+k7$'+7 Tk7$'&,8dAN@@@AˠL6@A_kF@AB@@h&PaddCl @qomkigegca_]A@R3imUql'nm"c1Xqe@(addition;53xx@,add_notation$"MTXӷ%>˷<̷:}Vvթ_@ݶڶ, <+k(), Y' (*()= .R:'>  7 79'>3! 8''+k7$'+Tk+7 T'7$'%D( Ġ^AR)0@@@AE@AYS@AB@@ˠ%PaddX @#!  ҷηʷʷķ˷$Padd@˶@jB@ː+ʩ@.G8R1/ӷ+,|㐐U}Р3@!Z7@@@AA@AA@@@@@@D &BinInt&ZArithe@'pos_sub<)BinIntDef@+ie18T IGc!k\98- jRPhfa>82  $B86Yq$8oF8![sq[wJ8 %]a@l{XxCA?=;979531/D:om4c |+k()             , Y' (*()= (R:'>    7#'>7!= R'7!=~ -R'> 3"  7#'> . 7     7  !  7#'   !  7#''3"   7#'   7#'''+k7$'+k7$'+k7$'+7Tk+7T'+7 T'7$'$?ϐtW@@AABAAU蠐AU$LhLlxAYؠ 䠒 ,HhH@@@@@z @Ϸ~|zxvxtrpny@@8~"P2η"; |Ϡn~@8::,*U\`׷o6ӷ4Է2~@.<p4_fjk@( p+k()           , a' (*()= #RB'>  7# '>3! 3  7#''+k7$'+7 Tk+7 T'7$'\@점kASȠ-$@@@@@Р$Psub @(&׷ӷϷϷɷŷзͷ@ .D0p@ @.D(vF  '@@>)&ݶ1 +k()          7            7# ' x!@@@@@ )PmulC_aux @b`<K(H     @@ |]ʷ ^ @.multiplication+-@,mul_notation%[C$ )Xtp$#lmK8!&/bdzx@o~[{FDB@><:<8642G=+ +k()           , p' (*()= /RQ'>  7 79'>3! 3!  7#''+k7$'+7 Tk+T'7$'Р8)P=T(iARȠm@@@AG>@AϠHB@A[[R@ABC@@t%PmulC @ʷ}{ywusqsomki~tmqXoEAũe]W@Y O ͩ*%_ͩz@)_0&QX\@[ D+k() *7 7!7!7= #R ' 7# ' *7 7!7!7= R- '  '             7# ' ' ' + k7$'+ k7$'( da<0AL(蠒N̠nDx@@@x@AC@u@A@@ABCD@@͠$Pmul @%# Էз̷̷Ʒ·͞A@UUTqV"Щ@{.0yI(*ٷ"#ͩO<O(Q20[@M +k()           , }' (*()= %R^'>   7# '>3! 3!   7   7#''+k7$'+7 Tk+7 T'7$'Р,^\AUȠ-Ȁ@@@@@'Psquare @nlHW4T    @^.D'0JNLdbff@}YhEe0.,*(&$&" 1' +k()             7# ' @@@@@D$Pphi @!RFB@@%ring2%ring3$add0Z$mul0X$sub0V$opp0X(ring_eq0T#Ro0R#Rh0H@'Bracket-2Gd)A@8!l@$list]@sq  ·ut0wqoȠcqj@'bracketguxѷ{<ɷ:ʷ8b'BinList@#nthxkmx$o3^oȐ"xn@'pow_pos+,ly= l)v$$xp}Azzpxrz@vtnlj¶hfdb`^\M +k()            , ' (*()= R'> 7#'>3! _< $   7 7!7  7  3!   7 7   7 7# ''+k'+7 Tk+7 T''0@TxODؠȐA]Р>$\ːȠĐ@@@JAǠP@AA@A@@ABA@A@AA Q@A@ABAG@A@AAWe@AGAv@A alk@ABCDE@@&Peq_ok @@@vtضQ\=_(!$ @I@@@ QUSkim"Cr@$Ring,@$-\`^vtx.@˶@)$@+@'$@)@' @#@5 nrp"Rr$ swu2"RhB@-Ring_morphism@Tb=#(:ADIR"_@V@W'Ceqb_eq_]X@%Logic@"eq @hAW@(equality78zZk@+eq_notation($%'fLDQ¶vq"]tY@%T|Q"![$hz,@d.Dh4\ o3eʩ4 q5g@@@A@A@cAIN@gAaݠs@@ABCD@@%Pphi0 @@ &A  ywzx(vtrpnlk}[Yک]wW$yg7 ;4y{i9   ${é@@@@A@@AB :Ap@AviA)Morphisms'Classes A@AAۓό^@@ABCJ@@AA݋X_A/RelationClasses @@AO@Ae͠C@Aqˠ@ABCDE@@ %Pphi1 @@ yB h fʶC N/ Q {޶޶ܶڶֶԶжSR4 N R h jzPȠΩW@@@@A>@@ABO@L@AE@A@ABC@:@AC@A@A@?@<@ABCDE@@ I'mkPX_ok @@ C  | h SLOHK+G+E)A'%#I   ` Sڶ     QƩȩ$+8JQTY̩4].;MTW\ * 8 wR 7    ѩ OԩJ 4 8EW^af  4  ,:GY`ch ۩۩^ݩV   4AN`gjo =  Ð@@@A@A A@@AB?@ A@A@y@ABC@@A@@AB@@A@@ABCD@@A@@AB@@A@@VAᾘ@@ABCDEF@@ )PaddCl_ok @@ D  hf  ige~c|az_z]x[vtrZpnl c  bMdN`H$bX(   ,4?dZ*     6,Aln  HhCFFk  54Hmc3      @@@@A@@AB@@A@@ABC@@A@7@AB@@A@@ABC@8@A@@A@@@ABCDEF@@ ,PmulC_aux_ok @@ ^E M K ( 3  6׶׶նӶ϶`ǶŶöö*phiCR_comm $r    7 V > T Z@@x@$* c a  4 !  l03 V j l4(  s o  s@@@@A@F@AB@X@AS@M@ABCF@H@AG@D@AB@E@AN@B@ABCA@A@A@K@ABA@H@?@<@ABCDEF@@ W(PmulC_ok @@ F     v  a Z ] V Y9 U9 S7 O531W¶)' % %#!b`oS Q I `߶۩٩4ASZ]bk 7 JI@@@ 5@A @@AB@ 4@A@@ABC@n@A@@AB@P@A@@ABCD@@A@@ABP@@A@@A@@@ABCDEF@@ 'Popp_ok @@ G  XV  ڶ  ݶ     ~ ~ | zxvYWUnSlQjOjMhKfdbJ`^\  U=;?W4SYI t {    (U]z ]"4Z`P  {      @@@p@A@m@AB@@A@@ABC@@A@Ax@AB%@@A@@ABCD@@AA{@)@AB@@A@=@@@ABCDEF@@ 砠'PaddXPX @@ PH ? =  (  %            ܶ  ( )ߩW<W     (Y     "  8 6 :  < 8_    $ ( & > < 8 9  8j ũ00l   3  1 M D!8oq<q7(s    T < : R P K(8v <0x ө,8z C  [k   X/8 }  D \ Z<  کE(     F b58     H L@@@@@ /)PaddX_ok2 @@ I   b m N p 9 2 5 . 1 - + '   / F@#andЖw@ ?ƶ٩ǩ֩$3:=BK 45<?DM   }0_:    ީ4<CFKT  $  4>EHMV  &   Qض?   ͩ4)6HORW % < rM 2(tO 4    K43@RY\a  /  ,5BT[^c ֩   4 9FX_bg  5  @@@ 9@A@@AB 6@@A@@ABC=AۀߠK@@A@@AB@@A@@ABCD@@A@@AB@@A@@A@@@ABCDEF@@ 'Padd_ok @@ J  _]            }`^ \uZsXqVqToRmkiQgec [WU 4 _2l@@@@A@@@@ABCD@@ ̠(PaddX_ok @@ 5K $ "      ϶  ˶    ̶ 7}{z ~X]@@@@A@@AB@A@A@@AB@@@A@@@ABCDE@@ 'Psub_ok @@ dL S Q . 9  <     ݶ ݶ ۶ ٶն fͶ˶ɶɶǶŶ   ĩéz4    x    Y @T.DÓ0$ G [ ] @+subtraction @,sub_notationgǀϐ@@@G@A@@8@ABAMJ @h@A@A@ABC3@A]c %@Ag@@@@/@ABCDE@@ J'Pmul_ok @@ M   }  i  T M P I L, H, F* B(&$ J   US bFD Rٶ 7ҶΩ̩4 4 F M P U   ^ * I0  pK 1   E=<@@@}@A@@AB{@{@Az@w@ABC@y@A@v@ABu@t@A@@Au@r@o@ABCDEF@@ *Psquare_ok @@ N  FD  ȶ  ˶     l l j hfdG E C\AZ?X=X;V9TRP8NLJ ? ,S-(R 4*     7   b m 詚 @ wA,"GMO t l  22\RR@@@@A@ @A@@@ABCD@@  ,power_theory,<$rpow@ %@  &Cp_phi@ @!N7@ $Cpow &u Šz ̠ ՠ ؠ ߠ 栠  &@ , )        D,*31 d c(mkpow_th ; 8      / S;9B@*rpow_pow_N!r  @ ܩ N M  @%pow_N ݀,    w     < T X 0   y     > B @ X V@@ <"AA@ @g K@@ 9@AAA jBA@LLgecaZ ~  $ - 0 7 > x ~@@@@@:@ABC@ M@ @   S O K K E A  D B@ K@LAA@@@@ RN_ O  H$ J Q T Y   b ' .   ^, N U X ]   f + 2   mk `  [ M   i, ` c h   q 6 = A   @860 . , * ( |& |$ v" r ֶö u1 +k()  = R ' >''            +  k   + T'   + 7T'  7    !  7 7#'Р4mAA@ϐt@@@@@ &PEeval @ge_ ] [ Y W U S Q OM @ H@  A@KI "pe,Ring_polynom@%PExprk@  [Y  A$@@AABBBAB$@@AABBBAB@$@@@@@@@@@@@@@@@@@@@@D#!  )$ ʠ ɩ   ̩   g   3!j,` X86#pe1#pe27  z  u +*@-,F   ȩ  $  ͩ  )  ީ q; . K< @rpԶ\Y "     Q u][doe +k()             , B'(*()=  EmR '> 7#'>   7 7!7#'> 3! 3!   7 7#'> 3! 3!   7 7#'> 3! 3!   7 7# '> 3!   7 7&'> 3! %'  7 7%'  7 7%''+k'+7 Tk+7 T''D,jࠑe$@@A@AABACBDBEBFAGBAP  !$ D ͐d 182ŐĠ ҐP X D =K@@@}@AAB@~@AB?@~@A}@z@ABCG@@A|@y@ABA@z@Aw@G@A@u@r@ABCDEF@@$mk_X @ η ˷            ̩@ ."3"3"   7 $'> 3"3&'   7 $''+k7$'+7 Tk+7 T'+7T'7$'䠒?lMh7AABA@@APԀ@@@@@&Ppow_N @Ϸ~|zxvxtrpn  yecs · +@@A@A@@@@D 3 v͠  |Ʃy@|08 }  %  PW[  d@ٶֶ    J +k()  =E R\ ' > 7 7#'7# ' ' + k7$'(Р/@@AAAOD @@@@@ +pow_pos_gen @C@ $@@!m@@       " ѩ  %'++ ")@ ,Mk(*()=2 R2'>3 !%'>3 %'''+k'+7Tk+ + TT'+T'+7T''+T''(T0ȠAH\@@@3@A@A@@@S+Ppow_pos_ok @@vPecǶ@K,N     x߶ݶ۶۶ٶ׶ӶѶͶ% @׶@ũ4        $k4        &mq˶"ƶ"l^$       " '4_      " % * f8d~|     4  %    " ) , 1 m.@,Bр5 -(4 1    . 5 8 = y@@@A@Al@f@AB\@Z@A@d@AS@@^@ABCDE@@)pow_N_gen @ "Q@@"x1@@mace4@ 7 xl +k()= R'>7# '''+k'AlAE@@@Q@'@A@A@)A@A@@⠠)Ppow_N_ok @@Q X Vڶݶ~~|zxv Y  W Un Sl Qj Oj Mh Kfdb J`^\Q >e@Q_BL<$N  {     L 4P  }     N 婚@Q:Rv4"+G9^df (4X       V @kЩ $.7SEjpr ֩ (09UGlrt @@@,Ao@A@@AB@@A@2@AB@@A@1@@ABCDE@@1(norm_aux @CA, ) 랠@@86  <;9 >+>< D$ڠ@D.;l@7.; X%O7(z?C[#!V H$Y a$ G0 HLKb  K0 LQRga f R0 $T50(W ̷ i=3;@6> C9 [(*3bf F<t4).7fj/,@vbMKIGECAC?=;9NDQ +k()          , ' *(= 0[zR'>9'> 7# '>= 0OnR'>3 3   7# '>3 3   7# '>3 3   7# '>3 3   7# '>3 3   7# '>3 3   7# '>3 3   7# '3 3   7# '3 3   7# ''>3 3   7# '>3 3   7# '>3  7# '> 3 +:  7# '7!9'7!9''+k7$''+k7$'+7 Tk7$',ؠANؠ ;𠑑IhL XOtd_$ܠ  | @@@@A@@ɠ*norm_subst @ٷķ~|zxo} ̐z@,&QX\@T +k()            7# '  x@@@@@-norm_aux_spec @@R g e       h f d } b { ` y ^ y \ w Z u s q Y o m k `@ I@ %&pow_ths0 3\,    V Tg   Z@3:È@ 8 <4 :J,n : C _ Q v | ~@@@@Af@ @ABr@@Ae@ @ABC@e@A@ @AB@ @A @ @ABCD@#@A G@ @AB@ @A@ @ABC @@A#@ K@AB@ @A@_@ @ABCDEF@@N/norm_subst_spec @@qS`^  ¶;F'I          s  ڶ  ض  ֶ  ֶ  Զ  Ҷ  ζ  ̶  ȶ  MqYW`][Y WaV U 4 f@GS@@@@ @ @ABC@@-interp_PElist @    | E A = = 7 3  ߷t~A@ #lpe ܐ@$prodt@ΐ  鐩  A@B@B@@@@@D  @$Truey@h ) '(BBB@@@@Dv2Tɐ"meͩː t-B @  ٠ % ~ $ f^k}/@  h`m1\cީ@  jbo3^e  . ,Pd 6 P 0$ R  wo|@ R T  yq~Bt٩@ T V  {sDvpx@ t r l j h f d b ` ^ \ Z s +k()              ,,'(*()= R'>= R'>=y R'>3! a!      7 !      7   7 77% '      7        7   7 7# '''6''+k6'+k6'+k6'+7 Tk+7 7 7!7 T'6', VdYABA\  f a𠑑@@ABAZ\蠒( b@𠑑@@@@A Q@ N@ @ABC@@N-norm_subst_ok @@qT@@@@X,ring_correct @@{Ujh  ̶EP1S         }          ޶  ܶ  ض  ֶ  Ҷ  *   W{cajgec a7`5j@ ʰ!`,       z,        ̩   $  I$ !(q@a L' $+3 kmt@ N)&-5 mo@@@@A c@ ]@AB @ X@ @ R@ABCD@@@@@We@We&Ncring+setoid_ring#Coq@@A@A_]@_] @A@Bᾘ@ᾘ @A@ƚ@ƚ@A@AE@@A@BCF@ #@A@N@NݠJ@A@AO@OK@A@BW@WS@A@XS@XST@A@A^@B_ @~@Q@AB ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ACDEF@cA@A.0TQ+Ring_theory+setoid_ring#Coq@@BA.U>[J @ABQAUAQ@UAe͠CU@ACLA@PA@ @ABl@C7@@A Y@B U@b@ACAIN+setoid_ring#Coq@@ @Q@ABDEFA@{@AF@ @ b@ABCn@Aaݠst@#A#@ABDG$Apy@@@AB@ @ACS@ @ @AB  BCDE 2 @ A9@ @ABC  @@A @BC 7@ @A @ @AB L@ @A@ @]@ABCDEFGH@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@A\@&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@>@&squareѓ5@y@A@@D@&to_intϑ;@@A@z@5@&doublez,@/!@A@ABCD/@O@)log2_iter/F@wd@A@NH/@B@&moduloNH/9@1,@A@A\d@G@&of_int\d>@1?A @A@bz@M@&of_natbzD@1?G!@A@#@S@&shiftl#J@1dV@A@#@Y@&shiftr#P@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@x@&square6o@19@A@AV+L@}@&to_intV+Lt@2@A@V1b@@&to_natV1bz@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@@@6@(sub_mask@-@)@A@ADEF c@@'testbit c@!ć@A@7 B@D@'of_uint7 B;@*`]?@A@AG@I@)mask_rectG@@+ED@A@F˱@O@)add_carryF˱F@+p@A@AB^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Aq@@'testbitq@5)@A@ݎO@@+succ_doubleݎO@6r@A@A p@l@0double_pred_mask pc@0-+m@A@BCD T@&BinNat&NArith#Coq@!N@!t T)BinNatDef&NArith#Coq@!N@ 2@A@ @@#add @3 @A@A l@@#div l@3@A@ Y@%@#eqb Y@3@A@AB #@*@#gcd #!@3n@A@ T@0@#leb T'@3@A@ACEG "@5@#lor ",@3m@A@ q@?@#ltb q6@3@A@A @D@#max ;@3@A@ @J@#min A@3`@A@AB @O@#mul F@3B@A@ ~@U@#odd ~L@3@A@AC =@Z@#one =Q@3@A@ @b@#pow ˑY@3@A@A c@g@#sub c^@3@A@ @m@#two d@3J@A@AB hx@r@$div2 hxi@>@A@ @x@$even o@>4@A@ACD @}@$ggcd Бt@>U@A@ @@$iter }@>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@ *@@%ldiff *@@A@AB g_@1@+pred_double g_(@25\@A@CD m@6@÷ m-@2j@A@S@=@&of_intS㫑4@4}5@A@AS@B@&of_natS9@4};@A@BEFGH\R@G@(mask_ind\R>@4@A@\^@Q@(mask_rec\^H@4@A@A!,@V@&pred_N!,M@4s)@A@B@[@&shiftlR@5X@A@@b@&shiftrY@5X@A@A&@g@&square&ّ^@5,x@A@BC"@l@&to_int"c@5L@A@"@t@&to_nat"k@5L @A@AnTq@y@+testbit_natnTqp@6n@A@B@@(succ_posB@@A@I@@'abs_natI@?n@A@AB.@@'of_uint.@MS@A@3~@@'sqrtrem3~@7]%{@A@ACD,@ @'bitwise,@/v@A@>4'@@'testbit>4'@8g$@A@A{U@@,sqrtrem_step{U@8R@A@u^@9@(div_euclu^0@ @A@Afz@@'to_uintfz@9w@A@Bl@'@'comparel@3R@A@CDEFs8@,@+of_uint_accs8#@5+@A@}@R@,pos_div_eucl}I@&`@A@3x@(@'compare3x@]=@A@A@^@&doubleU@'޺_@A@BCq@@+of_succ_natq@$@A@w@i@&modulowɑ`@)1@A@ADK@n@&of_intKe@)j,I@A@K@v@&of_natKm@)j2_@A@AI@{@&shiftlIr@*O@A@O@@&shiftrOx@*O@A@AB,@@&square,}@*ow@A@Z@@&to_intZ@*81@A@ACE`@@&to_nat`@*9G@A@e@@+testbit_nateđ@+@A@A+{@@'sqrtrem+{ё@,J@A@5z@@'testbit5z@-T|@A@A @@'to_uint ͑@.@A@ @@+succ_double @.^4@A@A#@'@'compare#ݑ@ )Q@A@BCD%t2@,@(size_nat%t2#@ @A@%9@3@+of_uint_acc%9*@ ΋@A@A%V@8@+double_mask%V/@ S@A@%%@>@'div2_up%%5@ "@A@ABEF'ş@C@'Ndouble'ş:@ @A@(b0@K@*shiftl_nat(b0B@9-@A@A(nՖ@P@*shiftr_nat(nՖG@'@A@(@V@0succ_double_mask(M@@A@*W$@\@,compare_cont*W$S@!@A@.0@b@.sub_mask_carry.0Y@΂@A@ABCD.@@!t.@ ;@A@.먩@@#add.먩@ `@A@A.U@@#div.U@ @A@.B@@#eqb.B@ @A@A. @@#gcd. @ @A@.=@@#leb.=@ @A@ABCEGHI. @@#lor. @ @A@.Z@ @#ltb.Z@ @A@A.p@@#max.p@ '@A@B.@@#min. @ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@&@#one.&@ @A@A.뾴@+@#pow.뾴"@ k@A@.L@1@#sub.L(@ @A@.@7@#two..@ @A@ABCD.,a@<@$div2.,a3@ @A@.Xz@D@$even.Xz;@ ?1@A@A.@I@$iter.ؑ@@ @A@B. @N@$land. E@ @A@. @T@$log2. K@ @A@ACE.@Y@$lxor.P@ R@A@.y@`@$pred.yW@ `<@A@A.Ʉ@e@$sqrt.Ʉ\@ ;@A@.@l@$succ.c@ @A@.t @r@$zero.t i@ Z@A@AB/@w@.to_little_uint/n@ @A@CDF/@|@%ldiff/s@ H@A@00@@'compare00@?H{@A@A1P%@w@!t1P%n@  @A@B1P@|@#abs1Ps@ @A@1P&@@#add1P&z@ @A@A1P@@#div1Pґ@ y@A@BC1P@@#eqb1P@ f@A@1P@@#gcd1P@ 0@A@A1P@@#geb1P@ T@A@B1P@@#gtb1Pʑ@ q@A@1Pĺ@@#leb1Pĺ@ a@A@A1Pň@@#lor1Pň@ /@A@BCD1P@@#ltb1Pב@ ~@A@1P@@#max1P@ @A@A1P{@@#min1P{@ "@A@B1P]@@#mul1P]@ @A@1P@@#odd1P@ @A@A1Pɣ@@#one1Pɣ@ J@A@BC1P@@#opp1Pԑ@ {@A@1P1@@#pow1P1@ @A@A1P;@@#rem1P;@ @A@B1P@@#sgn1Pˑ@ r@A@1P@@#sub1Pɑ@ p@A@A1Pe@@#two1Pe@  @A@BCDE1[8@@$div21[8ޑ@ @A@1[d@@$even1[d@ I@A@A1[6@@$ggcd1[6@ i@A@B1[U@ @$iter1[U@ @A@1\@@$land1\@ /@A@A1\@@$log21\ @ 6@A@BC1\$@@$lxor1\$@ @A@1\Y@$@$of_N1\YÑ@ >j@A@A1\@)@$pred1\ @ j@A@B1\@.@$quot1\֑%@ }@A@1\@5@$sqrt1\,@ @A@A1\w@:@$succ1\w1@ @A@BC1\k@?@$to_N1\k6@ @A@1]@G@$zero1]>@ eD@A@A2:@L@%abs_N2:C@ @A@21@R@%ldiff21I@ ߵ@A@2=*@X@%quot22=*O@ @A@ABC2kF@@(size_nat2kF@{@A@3@x@(tail_add3o@^q@A@ADEFGH3@}@(tail_mul3t@^@A@5Z@@*shiftl_nat5Z@y/@A@5f}@@*shiftr_nat5f}@4@A@AB5a@@'iter_op5a@ @A@C6w~@@'of_uint6w~@^5@A@8j@@'of_uint8j@'"h@A@9E@@(div_eucl9Eđ@(*k@A@AB:x@6@,Nsucc_double:x-@ ʭ@A@CD@[@&divmod>R@C@A@>@b@&double>Y@NĴ@A@?2@S@,pos_div_eucl?2J@-u@A@AB?;@m@&modulo?;d@"i@A@CEFGIJ@ H@0^CIۂ{$|*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Compare_dec%Arith#Coq@0jXF 8tsr@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ)Factorial%Arith#Coq@0@oehJd-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh."Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I%Logic$Init#Coq@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏%Minus%Arith#Coq@0LFtR")Morphisms'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠@0A,~jC9*s;{bѠ$Nnat&NArith#Coq@0$W;s #%M)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ)Peano_dec%Arith#Coq@0Kݢ*k$Plus%Arith#Coq@04tmG$Pnat&PArith#Coq@0,?pr.gZ'Prelude$Init#Coq@0JqTttֱ/RelationClasses'Classes#Coq@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0-SetoidTactics'Classes#Coq@0S_`nOU$&Specif$Init#Coq@0;RWMi\N'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03 N$@@B@@@@@@@@#_95@.<2`AA@@@@@@@@@A@$B@A@@@B@1B@A@@@@@@@#_96'`o@M@I.<2`@A*type_scope@@@#_97'`o@\@X.<2`@AB@@@@@#_98'`o@l@h.<2`@BE@.positive_scope@@@@OR @2 Q@@G@#_99@$yr@B@A@@@@@@@$_1002M접@;yEE@A$_101'`o@@DyEd.function_scope@@@AAAJ@$_102? 3V/_rect_from_type@@@f2 Q@@O@$_103@@ېB@A@@@@@@@$_1042M접@ EE@A$_105'`o@@ENPR@@@AAA@$_106? 3V._ind_from_type @ @ @32 Q@@@$_107 ,@! @ (B@A@@@@@@@$_1082M접 C@8EE@A$_109'`o@ L@AE@@@AAA@$_110? 3V._rec_from_type k@ g@ m@bD2 Q@@@@$_111 z@O.;AA@@@@@ wB@A%ring0@AA@@@$_1122M접 @h.;BB@@$_113'`o@ @q.;BO@@@@@d2 Q@@@@$_114 @o.;AA@@@@@ B@A%ring1@5@@@$_1152M접 @.;BB@@$_116'`o@ @.;B@@@@@2 Q@@@@$_117 @.;4@ ߐB@Ah@g6@j#add@n#mul@r#sub@v#opp@z'ring_eq@~"Ro@@@@$_1182M접!@.;@$_119'`o@!@.;IϠ@@moqsu@@@@@AAAAA@2 Q@@@@$_120!I@.;@!EB@A@͠@Рf@Ӡe@֠d@٠c@ܠb@ߠa@@@@$_1212M접!t@.;@$_122'`o@!|@.;I/@@͠ϠѠӠՠ@@@@@AAAAA #@N$@@B@@@@@@$_126!@"AA@@@@@@@@@A@ʐB@A@@@@$_127'`o@!@"@A}@@@$_128'`o@!@"@AB'@@A@ݠ2 Q@@K@$_129!@,BuA@ B@A@@@@@@$_1302M접"@,BuBB@A$_131'`o@" @ ,BuD@@@@@@@@$_132"!@ ,BuuD@ 6@AA B@AA@@@@@$_133L4x"8@ M"@"<@ Q@A :A@"C@ >,Bu@$_134/@"M@ b"@@@ _ ^@@@A@"3)Datatypes$Init#Coq@@$boolZ'@@+@"l@ g@@@ 2 Q@@J@$_140"y@ :͠@"uB@A@@@@$_1412M접"@ 2:@$_142'`o@"@ ::BH@@A@ !2 Q@@E@$_145"@ ,.<1@"B@A@@@@@@$_1462M접"@ B.<1DD@A$_147'`o@"@ K.<1D|@@@@A"Z"]@2 Q@@m@$_148"@2B;9@"ᐐB@A@@@@$_1492M접"@2B;@$_150'`o@#@2B;BP@@A@2 Q@@@@$_153#@.Gj@#B@A@i@3@2@1@0@/@.@@@@@@@@@$_1542M접#F@.GNK@A$_155'`o@#O@.GN@@@@@@@@@AAAAA!A##P#S# @2 Q@@@@$_156#@.G*栠@#B@A@@@@@"@%@(@+@@@@@$_1572M접#@.G*@$_158'`o@#@.G*Kz@@ @gi@@@@AAAAA"r##@2 Q@@@@$_159#@.@=@@@@@@@$_1852M접&S@ &.DÓLKAA$_186'`o@&\@ /.DÓL@@@@@@@@@AAAAA%A& & @ #2 Q@@E@$_189&@ .)_ᠠ@&B@A@@@@"@%@(@+@.@@@@@@$_1902M접&@ \)_KK@A$_191'`o@&@ e)_L@@!#%@(@@@@@@AAAAA%wA&y@@ '2 Q@@@@$_192'@ 2.O@&B@A@V@ @@@@@@@@@@@@$_1932M접'1@ `.A$_194'`o@'9@ h.L@@@@@@@@@AAAAA%䠐A&@@ ;2 Q@@E@$_195'p@ F.D'@'lB@A@@@@@@@@ @@@@@@$_1962M접'@ t.D'LL@A$_197'`o@'@ }.D'LZ@@@@@@@@@AAAAA&RA'T'W@ b2 Q@@@@$_200'@ m wA,@'ܐB@Ae@d3@g@j@m@p@s@v@y@@@@@$_2012M접( @  wAKK@A$_202'`o@(@  wAKɠ@@gikmo@r@@@@@AAAAA&A'@ 2 Q@@E@$_203(K@ .Dh@(GK@A C@A @ՠ @ؠ @۠ @ޠ @᠐ @䠐 @砐 @ꠐ @@@@@@$_2042M접(@ .DhMM@A$_205'`o@(@ .DhM = ?@@ݠߠ᠐㠐@@*list_scope@@@@@@AAAAA': 蠐 ٠(@@ C2 Q@@A@$_209(@ N:߇AA@@@@@(ƐC@A!/L@AU@T#@W@Z@]@`@c@f@i d@l!G@o!G@r!G@u!G@x!G@{!G@~!G@!G@ b@!J@ `@@@@@@@@@@$_2102M접)%@ :߇Ɛ$_211'`o@)/@ :߇\ ⠐ @@     @@@@     @@@@  @@@@@@@@AAAAA' ڠ@@AAAAA( 점! ͠AA)) Ơ!@ 2 Q@@A@$_212)@ .!AA@@@@@)C@A" L@A 1@ 0@ 3@ 6@ 9@ <@ ?@ B@ E!@@ H"#@ K"#@ N"#@ Q"#@ T"#@ W"#@ Z"#@ ]"#@ `!>@ c"&@ f!<@ i@@@@$_2132M접)@ .!$_214'`o@*@ .!W  @@ Y [ ] _ a@@@@ g i k m o@@@@@@@@@AAAAA(Ġ!@@AAAAA(֠!"!"{@ 2 Q@@A@$_215*h@ .!AA@@@@@*eC@A"ΐL@A @ 󠐰 @  @  @  @  @  @  @ "@ "@ "@ "@ "@ "@ "@ "@ "@ #"@ &"@ )!@ ,@@@@$_2162M접*@!R.!$_217'`o@*@!\.!W | ~@@    " $@@@@ * , . 0 2@@@@O@@@@@AAAAA)"m@@AAAAA)"#J"`#>@!z2 Q@@A@$_218++@!0V\AA@@@@@+(C@A#L@A @  @  O@  N@  M@   L@ Š K@ Ƞ J@ ˠ"@ Π#@ Ѡ#@ Ԡ#@ נ#@ ڠ#@ ݠ#@ ࠐ#@ 㠐#@ 栐"@ 預#@ 점"@ @@@@@@@@@@$_2192M접+@!0V\$_220'`o@+@!0V\] E G@@ 堐 砐 預 렐 @@@@     @@@@  @ L N@@@@@@AAAAA*Z#@@@AAAAA*l#R$#3AA$+|+̠+Ϡ+@!2 Q@@A@$_221,@"AA@@@@@, C@A$tL@A @  h@  2@  1@  0@  /@  .@  -@ #@ $@ $@ $@ $@ $@ $@ à$@ Ơ$@ ɠ#@ ̠$@ Ϡ#@ Ҡ@@@@@@$_2222M접,g@"^$_223'`o@,q@"hY $ &@@ Ġ Ơ Ƞ ʠ ̠@@@@ Ҡ Ԡ ֠ ؠ ڠ@@@@@@@@@@@AAAAA+1$@@AAAAA+C$)$$ @,M$@"|2 Q@@A@$_224,@"=AA@@@@@,֐C@A%?L@A e@ d 3@ g @ j @ m @ p @ s @ v @ y$t@ |%W@ %W@ %W@ %W@ %W@ %W@ %W@ %W@ $r@ %Z@ $p@ @@@@@@@@@$_2252M접-5@"=$_226'`o@-?@"=\  @@     @@@@     @@@@   @@@@@@@AAAAA,$@@AAAAA,$%Ƞ$ޠAAA@-'%@"2 Q@@A@$_227-@"UAA@@@@@-C@A&L@A ?@ > @ A @ D @ G @ J @ M @ P @ S%N@ V&1@ Y&1@ \&1@ _&1@ b&1@ e&1@ h&1@ k&1@ n%L@ q&4@ t%J@ w@@@@@@@@@$_2282M접.@#[U琐$_229'`o@.@#eU\̠Π@@lnprt@@@@z|~@@@@@@@@@@@AAAAA,ߠ%Š@@AAAAA,񠐒%נ&%AAA@.&@#2 Q@@A@$_230.@#ݚAA@@@@@.C@A&L@A@ @ @ @! @$ @' @* @-&(@0' @3' @6' @9' @<' @?' @B' @E' @H&&@K'@N&$@Q@@@@@$_2312M접.@#ݚ$_232'`o@.@#ݚX@@BDFHJ@@@@PRTVX@@@@@v@@@@@AAAAA-&@@AAAAA-&'q&.ɠ'h@$2 Q@@A@$_233/U@$|jAA@@@@@/RB@A@ڠ@ݠs@ࠐr@㠐q@栐p@預o@점n@@@@@@@@@$_2342M접/@$B|j$_235'`o@/@$L|jNC@@᠐㠐堐砐@@35@@@@@AAAAA.?A/A///J@$<2 Q@@A@$_236/@$G 'AA@@@@@/АC@A(9L@A_@^-@a@d@g@j@m@p@s'n@v(Q@y(Q@|(Q@(Q@(Q@(Q@(Q@(Q@'l@(T@'j@@@@@@@$_2372M접0,@$ '$_238'`o@06@$ 'Y預@@@@@@@@@@@@@@@@AAAAA.'ݠ@@AAAAA/ '('РAA0@$2 Q@@A@$_2390@$AA@@@@@0C@A)L@A+@*@-@0@3@6@9@<@?(:@B)@E)@H)@K)@N)@Q)@T)@W)@Z(8@]) @`(6@c@@@@@@@@$_2402M접0@$$_241'`o@1@%[@@WY[]_@@@@egikm@@@@su@@@@@@@AAAAA/Ƞ(@@AAAAA/ڠ()(AA0砐0ꠐ)@%B2 Q@@A@$_2421v@%M4RAA@@@@@1sC@A)ܐL@A@@@@ @ @@@)@)@)@)@")@%)@()@+)@.)@1)@4)@7) @:@@@@@@@@@@$_2432M접1@%4R琐$_244'`o@1@%4R]@@02468@@@@>@BDF@@@@LN@@ m@@@@@AAAAA0)@@AAAAA0)*h)~AA1Ġ1Ǡ22*l@%2 Q@@A@$_2452Y@& }5AA@@@@@2VC@A*L@A@䠐@砐}@ꠐ|@{@𠐰z@󠐰y@x@)@*@*@*@*@*@ *@*@*@)@*@)@@@@@@@@@$_2462M접2@&\ }5ꐐ$_247'`o@2@&f }5[qs@@@@@@!#%'@@@@-/@@ J@@@@@AAAAA1*h@@AAAAA1*z+E*[AA22+C@&~2 Q@@A@$_24830@&FAA@@@@@3-C@A+L@A@@T@S@ĠR@ǠQ@ʠP@͠O@Р*@Ӡ+@֠+@٠+@ܠ+@ߠ+@⠐+@堐+@蠐+@렐*@+@񠐰*@@@@@@@@@@$_2492M접3@&F$_250'`o@3@&F\IK@@預렐@@@@@@@@ @@ $@@@@@AAAAA2\+B@@AAAAA2n+T,+5AAA3}3,@'2 Q@@A@$_2514 @'%WjmAA@@@@@4 C@A,rL@A@f@0@/@.@-@,@+@+@,@,@,@,@,@,@,@Ġ,@Ǡ+@ʠ,@͠+@Р@@@@@@@@$_2522M접4g@'Wjm$_253'`o@4q@'Wjm[$&@@ĠƠȠʠ̠@@@@ҠԠ֠ؠڠ@@@@ࠐ⠐@ @@@@@AAAAA36,@@AAAAA3H,.,,AAA4W,@'N$@@B@'@'@@@@$_2634@' KAA@@@@@@-GB@A-D@l-D@o-D@r-D@u-D@x-D@{-D@~-D@'֐K@A@@@@-A@-sB@A-p@-p@-p@-p@-p@-p@-p@-p@(K@A@@@@@@$_264'`o@5I@(* K@L@@@ @@@@AAAAA3@AA@$_265'`o@5@(` K@AM2@@РҠԠ֠ؠ@Aݠߠ@@@@AAAAA4.@AAA@(G2 Q@@H@$_2665@(R֠@.B@A.@@.@C.@F.@I.@L.@O.@R.@U(K@A(M@A(ǐ@A@@@@@@$_2672M접5@(MM@A$_268'`o@6@(O@@UWY[]@Ơbd@@'N_scope@@@@AAAAA4@AA(z@) @$_269L4x6D@)% K@6H@))@A(A@6O@(@(I2 Q@@E@$_2826\@(T:ÈAA@@@@@6YK@A.C@A.@砐.@ꠐ.@.@𠐰.@󠐰.@.@.@.@)TM@A@@@@@@@$_2832M접6@(:ÈPP@A$_284'`o@6@(:ÈPWY@@@@i @@@@@@AAAAA5Y/@AA.(@$_285 {OD@@'@@(2 Q@@@@$_2866@( .G@6B@A|@{J@~@@@@@@@@@@$_2872M접7#@(9.G@$_288'`o@7+@(A.GJޠ@@|~@@@@@AAAAA5Ԡ7!@(32 Q@@A@$_2897]@(>?0AA@@@@@7ZC@A/ÐL@A@蠐@렐@@񠐰@~@}@|@.@/@/@/@ /@ /@/@/@/@.@/@.@!@@@@@$_2902M접7@(?0$_291'`o@7@(?0Xrt@@@@@@ "$&(@@@@rG@@@@@AAAAA6/e@@AAAAA6/w0B/X7砐09@(2 Q@@E@$_2958&@(|0AA@@@@@8#B@A@z@D@C@B@A@@@?@@@@@@@@@$_2962M접8W@(|0NN@A$_297'`o@8`@(|0N@@@@@@@@@AAAAA7AA888f@(2 Q@@@@$_2988@(:Rv|@8B@A'@&@)@,@/@2@5@8@;@@@@@@@$_2992M접8@(:RvMM@A$_300'`o@8@):RvM@@+-/13@68@@@@@AAAAA7AA8+@(2 Q@@E@$_3019@(,B򠠑@1wB@A@@@@@@$_3022M접9.@) ,BDD@A$_303'`o@97@),BDꠐ@@@A@9@(ޠ2 Q@@A@$_3049S@(:_iAA@@@@@9PC@A1L@A@ޠ@᠐w@䠐v@砐u@ꠐt@s@𠐰r@󠐰0@1@1@1@1@1@1@1@ 1@0@1@0@@@@@@@@@@@@@$_3052M접9@)H:_i$_306'`o@9@)R:_i_oq@@@@@@!#%@@@@+-/1J5@@}@@@@@AAAAA81n@@AAAAA812K1aAAAA2GA99:@)p2 Q@@@@$_307:?@){젠@2B@A@@@@@@@$_3082M접:V@)EE@A$_309'`o@:_@)E@@J@@@A@-?@)y2 Q@@A@$_310:}@)AA@@@@@:zC@A2㐐L@A @@ @@@@@@2@ 2@#2@&2@)2@,2@/2@22@52@82@;2@>2@A@@@@@@@@@@@$_3112M접:@)됐$_312'`o@:@)^@@8:<>@@@@@FHJLN@@@@TVXZs^@@@@@@AAAAA92@@AAAAA9 23s2AAAA3oA:ؠ.&@*2 Q@@E@$_322;d@*AA@@@@@;aB@A@預@점@@򠐰@@~@}@@@@@@$_3232M접;@*JKK@A$_324'`o@;@*SKN@@점@@@@@@AAAAA:EA-@)2 Q@@@@$_325;@)Gl@;̐B@AU@T#@W@Z@]@`@c@f@i@@@@@$_3262M접;@*GKK@A$_327'`o@<@*&GK@@WY[]_@b@@@@@AAAAA:A.@*(2 Q@@A@$_328<;@*3 AA@@@@@<8C@A4L@A@Ơ@ɠ_@̠^@Ϡ]@Ҡ\@ՠ[@ؠZ@۠3@ޠ4@᠐4@䠐4@砐4@ꠐ4@4@𠐰4@󠐰4@3@4@3@@@@/W[@A/h]@A/t@A@@@@@@$_3292M접<@* $_330'`o@<@* _eg@@   @@@@@@@@!#%)+@E@@@@@@AAAAA;~4d@@AAAAA;4v5A4WAAA@AA/c5D.@*Ġ2 Q@@A@$_331=4@*2AA@@@@@=1C@A5L@A@@ X@ŠW@ȠV@ˠU@ΠT@ѠS@Ԡ4@נ5@ڠ5@ݠ5@ࠐ5@㠐5@栐5@預5@점5@4@򠐰5@4@@@@0P[@A0a]@A0m@A@@@@@@$_3322M접=@+<2$_333'`o@=@+F2_^`@@@@@@ @@@@"$@>@@@@@@AAAAA-@+ * AA@@@@@>*K@A6C@A6@6@6@6@6@Ġ6@Ǡ6@ʠ6@͠6@Р1%M@A@@@@@@@$_3352M접>l@+ * PP@A$_336'`o@>u@+ * P(*@@Ƞʠ̠ΠР@@:֠ؠ@@@@@AAAAA=+6٠@AA6Р6@+P2 Q@@A@$_337>@+[AA@@@@@>C@A7&L@AL@K@N@Q@T@W@Z@]@`6[@c7>@f7>@i7>@l7>@o7>@r7>@u7>@x7>@{6Y@~7A@6W@@@@1ܐ[@A1퐐]@A1@A@@@@@@$_3382M접?-@+Đ$_339'`o@?7@+_ꠐ@@@@@@@@@@ @ʠ@@@@@@AAAAA>6@@AAAAA>67Ơ6ܠAAA@AA1蠐7ɠ1@,?2 Q@@A@$_340?@,JAA@@@@@?C@A8L@AE@D@G@J@M@P@S@V@Y7T@\87@_87@b87@e87@h87@k87@n87@q87@t7R@w8:@z7P@}@@@2Ր[@A2搐]@A2@A@@@@@@@@$_3412M접@(@,$_342'`o@@2@,a 堐 @@     @@@@     @@@@   !   @Š@@@@@@@@AAAAA?7@@AAAAA?78à7٠AAA@AA2堐8Ơ2|27@@#_13:}9 @@E,@AF,@BN,@O,@ACW,@XS,@AD@@AǠP,@A,@,@AB,@9A Q,@A,@9A,@9Aqˠ-@ABCD@˻*L aS&\@_HBi(OXW@QbcţЗ|@4چA}OW R GB|-{!X!CEA.Ncring_polynom+setoid_ring#Coq@@@!RFB@@%ring0B%ring1C#add@D@EF#mul@@G#sub@ @H#opp'ring_eq@@IA"Ro&Ncring@@(Ring_ops( @  &').2A"Cr@$Ring,@$J'-346;? %ring2%ring3K$add0@L@MN$mul0@@O$sub0@ @P$opp0(ring_eq0@@QA#Ro0? V\]_dh6"Rr5$RV\bcejn<#Rh0.Algebra_syntax@'Bracket-2GTS"RhY@-Ring_morphism@TU '06<=?DKhqw}~W$Ceqb@V@W)Datatypes$Init@$boolZ'@'Ceqb_eq!x!yX@%Logic@"eq @!$AE@(equality78zZ@+eq_notation($!68=JIXcŷ!P@#Pol.<2`@-@'Pol_indАY"P'$@<T@)equalityb,Buǀ#[%@-equalityb_pol2B;B!li@$list]@I\D$;@$Pphi.Dh4] 4  !c953IAADAD@@@@@@@@D!p5@{?]&9(bA-*{97 z't$)04^,.540 7 "c0R!H:CR @0ring_morphism_eq_Y dDNbw .DK>FMQC@ĩp1/--W&c*P)'W4'R +4)[#P'1wE'BinNums'Numbers{@(positive*@"p0#P'2@7Ұ꜠Bʷ_Ȑ"H0B@@@@@D@]@ߩc$ *&@'bracketgd FZ.@(addition;53~@,add_notation;@.multiplication+-@,mul_notation%[C#4',.3@?Nb@'pow_pos+,.35:GFU'BinList@#nthx8[@$zero#*?@-zero_notationSCǩ4=G7LNS`_nې[e]gȐ"H1;@&eq_ind JYo!e\\@@@@@@@@D!beàO@%Falsee@U@$Truey@AR^@)False_induُzڐ۶@h]]ZaU$~byto  j 4  e,ɩ`XS'#4) A}C@OmH.sB6;? J©`$A4571E49 ;ABDI"P2v$IHP1w6"P3O$IHP2@ѩ}.-c1n$#b4V&6_d4X(8f6YO-@ʰdf3>hbnoqHǶg$i|4k /PHFlrx4o  $3TTyFI @@e$ 4f #1R,%֠`g4 ,: <)3+5 ~@! ##4%*,1>=L`t,',.3@?N)4!+027DCRf(#-hC@4RPNNMK49)>@ERQ`kz;˷pc"p1p"p2seE5MРM@*comparison;f@@@@@@@@@@@@DI Z&BinPos&PArith#Pos@'compare#)BinPosDef @ )Qڀ!r@@@@Aww>@#Peq.<1ps^vĩ̐ @r6T0m+)lgg$&:jO#4h)=mRש&4!+?oTҩ &@NlH/CA~$3=Qf:4i 6@Ti=4 8BVk75Z@,compare_spec*YJ9@+CompareSpec!Q]@ Ck@"lt=LKs"uIyCAAAAAA@@@@@@@@D^@#ʰ468D6Ѱz |yxl8|2d     ҩ$rwG S~   4m{P\z,}R^ʠ,74 YeB4 _!kU,"a#m$[`4&e'qi'HXkȩŠ^k.Iq1l???vHpMKIAԠ^{ة_۷@y eL|sN~uP'?а̩pF|\^^^%"$?J>H\= 83  .4qHSGQeA*,JUISg%_d4 Q\PZnsOD4 WbV`t9,"YdXbv4$4&]h\fzVYqo-x0U7y|@h]r^sY$|{4t~/4ީy"ro~y)4 Bt, ogb^24"!$&&84#('é,*)~,թ>4). -@9RPf9$;%*7<J4:=',9>L4<?).;@ ַũNDV@(eq_ind_r!2#AKJM:OO98,Q'>CPS6731  XWZG\\FE,^4KP]4B><%lemmag.v4fiSXej/x4hkUZgl1)Morphisms'Classes@=trans_co_eq_inv_impl_morphism&ni$tԠvu/RelationClasses@6Equivalence_TransitiveW n@+ring_setoid8(]ty  vutckzim{@.ring_plus_comp+K@j   p@.ring_mult_comp<@quss3@6reflexive_proper_proxy5.,@5Equivalence_Reflexive2<PC45@4>RyT$JH3V@>Reflexive_partial_app_morphism 2R,Ŷ@R^@*respectful%WO?YYDBJ5^0(_@+reflexivity(ϓ/ߩ<<`([fZdYTOJC,cnbl>615va@Ȑ"H2)۠/Ƿ 1=6k=;'ˠ C@}A_:ݩ %*.{9y-4Fv[14Jz_-.05VTHF@>=;:831.,),'%  ߷ѷ\Z̵̩$:CIOPYЩ$֩ $ש٩$ %,IRX^ް("$)0MV\bcgΩ$!ER@.ring_morphism0 &)dX(.457<C`iouvx}͠,Ͱ(?DKhqw}~(C24CHOlu{[@"P0.;32zxljac_]\ZUSPNKNIGDB@>;9-+Z9$X$&B@#one#ҍ+@,one_notation:2` 5iE$6_[.#8%W=d @@.ring_morphism1 &)eVKUSC"M4MO@"P1.;"ڷշշηǷ|zqo`^p:&!i!n!QVܩ 4L࠷#2O@.equalityb_coef:ÀRM$!5eJ~%!I"i'Ʒ"n'ɷ"Q'RIZG/2C_Rp#L% $'3=Qf*8)W@?=ADDL4GF ,I KM&PMUU4%PO[RNRȐ"Hh`,Wau $A0.$0ey޶@386$8 !":+p<-T@Ұ=x<$>JuN@?~4rB "+18cN|Mw`yyKJNNMQG,S (3<BUˠWVy4Z! /:CIP{|`/'$)!.-<GPV\i+ak-c1/@>trans_sym_co_inv_impl_morphism'\|rts*@/Equivalence_PER/;{ '(}27DCR]flr%4 43,y$I %6/&@>CPO^irx~= !@@ERQ`ktz< ::=668Ԑ[c#[40] 61,*F!AU6TMQJA@Y^kjy%<@[`ml{%QUUNNoXk.G\^cpo~w7oHCqq>J7,tlyx2vIDB^Ymc`W@otebb,@,ring_mul_0_l)"c9,|Paidc04`[Yuuݠ@,ring_add_0_lҒ, ,ctc(C@j{x5}4? C@w+4 1)*,C@64$:KĠ6Cة@44D2c1I+F̩#NCEJP4   D ,"  $&RKTY4) M[C U Tb°Xfi[ 2Yhd@)а:l#<n%p>J$|4 6hk:$x}MYVzMQrY[RYv4 $#=S ,&%נ'aZh4  -,F\iIO@&Peq_ok:߇ƀh r4~%',98GR[agh'$t6ɶ@),+4#.138ES4%035:GU5$'&0Dڷ8@#; 2$4-BDI46/DFKWѷE נAE<7HH24K+DY[`l -,M-F[]b(O Q4T4MbdiujqMenBBhg4_j?$Xmot4alA&Zoqv<QcJe3Lgn(iI.bwy~gk&\mm%4o O4h}ΩQ,q !Q6j$4os.duu-sw2hyy1 [,{+[@tV}.4/_Dx 4-}<r;@4#7gLѩ$>7@';kP ~@)=mR V,@ -Q//O-4|2!MM7OHH9J;QǩCA?;%a`e3[_X@H\q+@J^s+w,!M 9+aee^^@%Pphi0.!\>CJTh}ƩĩéY4r>,tKQec_$Uz@j~(@l(Y;8~~6F@,ring_add_0_rҘ,6g4\v,P, @=,|,K$,  XQ,@*, {z  ĩx zuGGI@+pow_pos_add6|4$').;:.qB('**"_2,,$..&c42B$%0'#'))++'٩%@- &;=BO-ee@.ring_mul_assoc9p6̀4@.CEJWVuFD{qr:8<->>/@@ө",B";PRWDɩ&,F& ?TV[DH9JJW3YX3[W(]2K`bgtsP_ZEaaY8,c8Qfhmz4Ze :Shjo|穚@(add_commCIon4fqF+_tv{hǩfup[wwo4nyN3g|~p h&*(t~i}x$Cc40`EyЩC@zl 49iN$5]& $ؠ  $E||(`֩<4j 0,lשz : ;B4p ?,rݩ   +H4v  6CL4z  D J K M  5 >V4   T >0C`_]4Xb        B X@$mkPX.G8_} X a f j 8kjnnml4gq     % & ( - Q g i,s    ! ' ( * /uwv u n yu4pz   " ( . / 1 6 Z p I        } | z u s p n k n i g b ` T R I K G E D B = ; 8 6 3 6 1 / , * ( & # !   ϩѶ˩ũ$ L R S U Z a ~ 4 N T U W \ c    o@&PaddCl::,     - , ; F   ҩ   4 \ b c e j q    } s >   &   A$    $  l r x y {   9 1(  p v | }     2  ,'$ + @ B G T S b  ˩0 +;   ɩ=       @1ring_morphism_add3 >` #  < Q S X e d s ~              ൩  - H- Q(          .C 3 N00CR 6 Q4 3           O, 5 N c e j w v   ɠ 7 U LK4 ;            1aط Щ Iϩ4          ѩb,   H - a v x }  fp   4               [tũ~  xɩmȩ 4           b,        ө]    4           թzs"= *4          0 u,        pY ( 4 ) 04          6,  - 7 K { `    /0  4 :4          @ 78:   @.ring_add_assoc%;N4          73+ة   L4           , I S g  |    3 P A5$?=/Q/S#,߶@GIIàZG9NL;3  5'') k_  9 ;!X =# ?%\`T$^oqOA= I;;74 H     % + 1 2 4ei]   L]$ k, D@      $ - 3 9 : D THH omJHH! a@-ring_add_comm#Zc0 Z   # . 7 = C D Fw{ \ ܠ ^(ܰ `( b   + 6 ? E K L NuC  d. fLLC   i3 4 ! k & % 4 ? H N T U \ o, #         i %      qW 4 ) s . - < G P V \ ] d w w  ķ                     w y u s r p k i f d a d _ ] Z X V T Q O C A*phiCR_comm  8 ' 9  9`  ; ; b  4 ) >  ͩ ! @ @  F@ B@ . B 7 5 0 3 @ 0      ٷ           )  ߩ 4   v          @)PmulC_aux)_0   -  F [ ] b o    >  } 4              W         ?   `   ة M   H$   @ % Y n p u    Q   h    $  M  өy q(          ĩ r   ͩ _  ש Z   b   y     {     T  @1ring_morphism_mul3 u`   1 a F z                  3  j ! j #( %         )C 1 / q ( ' %4  *          H0 " @ p U      !  $ / &  0 0© -4 ( 2          E IW  ӷ  Է ޶ D   84 ,          [0 .   5 ? S  h   @ (    >4 2            D  4   . R P۵֩  < ; J4 9 >          8 ;    G Q e  z o0 =    I S g  |  B 3 I Kq0 ?    K U i  ~  R 5  F >  H H = V4 E J          *  , L          N < U . W \4 K P          0$ M  Oڰ Q( S          f4  U          l 8  \ ,  8 c m   $0  ^ .  : e o   & X 2 d e0  ` 0  < g q   ( i 4  ]   ` `  t4  c         ' z  , e          g  i   u  v }4  l        ! 0  Q  n n  p  r r 4  t        ) 8  s 4  v        + :     x < Q Ϡ z @'mkPX_ok0V\t   W  c            , 7 @ F L M T [ gG  E&               4      + * 9 D M Y t J 4      - , ; F O [ v                 LJ?.  ?   >.(   @,*  @,ring_distr_l04  0 2 7 D C R ] f l K        # cU ( U   T>D(@  ) > @ E R Q ` k t  ki  1_    +    -    7. y-k > k 3  j 5  lVZi.@@  A V X ] j i x   004  Y [ ` m l {    Dt 4  @ @    HA @~ Q ~ F  }gi , ߶@  c   Z XK /I  ̠  [ M   Y   c $  j  _   a  l@  m        g@  o         b Fd H''W )   g  s$   nO, /.,*t Xr 77 t  'S$  Q@          %Q@          %Q }}eBB  M$ "\IEII";O *  , + .( 0           2 *mXC  4 3C  6 5C S  9 8 G4 6 ;          j0 8    D N b  w   : ? F H M 0  A A 6 O4 > C          # @ # r p d b \ Z Y W V T O M J H E H C A < : . , # % !                      b    } {  .` w             % + , . 3 : W ` f t  y $ {        @  ~  |     y  c  {    @    Zx \  0 `  ^( 4  `   ) 4 = C I J Q    x        0 $             p pS 4 ( r - , ; F O U [ \ c    * t e      * o  " >       zV  (& 4 =  B A P [ d j p q x %   lO, @  B0  22   s0! 75#!Y  ː ° m C  h o]    4   [ j u ~      өJsZ$ HNF    \     #  < Q S X e d s ~         ܩl ,  .7 T,) :  B, )X(&$D#z qX     0  I ^ ` e r q          ̵z :   F   4   z          I f> Ơ @,ring_mul_0_r)"c?,            JC M  Ȑ#H1h `    M 2 f { }               W R@ X  R  [   |   שb ] . ) @ w  @ z  >       p   $4             ( ' I0    # - A q V        ,4            &  N  )        W  1 éɩ       1     ɩ      <   >}, @  Bx     ȩ) + ) Y H O aC  !  R  % é +=#  - -? / ., 2! D( B   ԩ    y4 =       & , 2 5 t s ?QQ O Z@,ring_mul_1_r)"d,      ' 0 6 < =  rpC   M  ^  X @,PmulC_aux_ok=p V  b            + 6 ? E K L N S Z w    C@  ii@c   4 ^   % $ 3 > G M S V  d  a ^ 0 d p            ( (+g ~ yC@     ~ 4 |  6 E P Y _ e f h t    $ &  0       * , 1      l  .C  ө $  ` i o u v x }  4   b k q w x z     @%PmulC.0    ' < > C P O   ǩ      4   n w }        Щ 9    ΐ    ߷  ׷  Է  ѷ  ʷ  ŷ  ŷ                        } z x l j % # `  ` *[  ; O 5$ Q         4  S          ũ .@$Popp.D( & o q v       @(oppositeG a @,opp_notation-\[ 4 5 i               \ p! } > r  @$ B         x  F z $ H= ;  f K% h  b"( P#  n S'  k U@1ring_morphism_opp3 \ ]               #)*,5 K   G   (     &,2$C  M&&C KD  P ?4 m    $-3:N( o          qIK F G4 u ,5;B  _ 2     g  ^ \  U T R4 M W     7&a( O m       Z\ [W Zq i 0   X 1 _4 / Z   '3n( 1 f z      Ui ^d 7 f4 6 a    ".:Z $ 8  :   < < n4  >  !'(/t}(  k u      ^ , B   %+,  D nzo v4  F#)/07|(  s }      u  J0  L L/ N 4  Q  %.4:;Bo  @ S '06<=?  @ U)28>?A Y  W  Y [   ]C  _ _B 4  a*5>DJKR נ c  &   l 4 j $3>GMSTVbn( l      ; k &$ p(  rX( t& , v  x^ /  {17 ""H >    O  n   mR , BQ\ekqrt  j  ! vİ [ " 4  7 ' xʰ F7"@,ring_opp_add. m0 Vepy  ^   *  q Z$ H4 7@ a`oz\ P@(symmetry0xj Q W@5Equivalence_Symmetric. UT!iAA 8 YWC%% + '@.ring_opp_mul_l"0 y9  7C ɩB  ȩ 4  ʩ(  A&Zoqv    4  Ґ! ַ @@@@    @@SQݷ     VԩOշ [ة_֩`@%PaddX.<$g@$Padd.D(%+,.3% 2q .8'-346?c  ޷  ߷ { h _ Р @!Z7@@@AA@AA@@@@@@D &BinInt&ZArithr@'pos_sub<)BinIntDef@+ie #8  !#(/=0 "#%*1NfW]=!k8!'(*/K< #)*,1F( %+,.3:WFmotx 8"(./16K0$*0138?8&,235:t^M $(.457`i8!*0679>EzZ< #,289;@GU( %.4:;=BIfouU$8 '06<=?DKhqw~{= _e)8;ABDIPmv|e=^"Q1p$IHQ1qy4)5"Q2X$IHQ2ؐ& ]r*C8-,;FOU[\^cj  G H  Ϸ  Ġfg\Z R8(*/<;JU^dj0*,1>=LW`flmotJWW8-/4A@OZci</16CBQ\ek(138EDS^gmstQ^^846;HGVajp0!68=JIXclrxb8#8:?LKZent{ :$%:<ANM\gp}ɩf8<>CPO^irx~˩<>@ERQ`ktz(@BGTSbmv|l8BDIVUdox~Ʃ  6    ϰ< z8dcr}0fetr8\ihw<^kjy(`ml{y8cpo~0erq8gts b$ivu8xw<zy8|{ߩ ~ǐ޷зɷ÷wu LC> =q@#andЖw@ZA+k6c4$8 0&jO#'<i&4+?(^gN˶ +̶:z'.4) <5Iy^(7K{` -48// 11 843 3,5~7 >B>49;6m0AmWکbK4Pd 9,R{OSh,w Tc*P)W4'R +4<)^rG)([_VV XX Q%!o򩚠@)PaddCl_okdk  "'.KTZhl: n}f? q4A $*+2EN<nxXI(pzZCw{rG -II ,ש,K(.45M )Q4O  #,289@S|I% &} X "4Z#.7=CDK^-8qZi` Fbb E4d-8AGMNUhb4f! /:CIOPWj  $ F4^ %$3>GMSV=8`ldyb{d( ** 4j,$10?JSY_b ,.&32ALU[a0 4p2*76EPY_eh4 66 u  8't;,.3@?NYbhnoqv}) ,* pC)B}C  X0% vI,CWd e _4MRQ`ktz<O+@BV= aodp~zfs t]"\4H8MOTa`oz<J^!(L`#N٩Cp8oY+,DY[`ml{&l4XH]_dqp}     O    Ȑ"c1 @ \  ҩN  4  K0dy{+k"B  ÷p 8 vur, xw 8  {z<  }|(  ~  8   ,   ʩ8   $ 8<(#->'Šg b$ %*0 ,";EYn$|&w%9@?)++K4(-FPdyF,/HRf{Ʃ1 JQ4.3LVjL6W P:V@-pos_sub_discrۧ B  ] (-9 ư 0 -d>Ȑ!zd*q-FӰc1 ְ] =4N۰ 7 BdSj$H T4 J VtB7Ɛ.8 Sjo| , Ulq~(<WtK&338Xot o<Zqv j(\sx s"Yl<KQR/<<8 ax} ,"cz'@8$e|C`s $& g~  bi["!%%$ ( B,*o1{٩,.-x1 3345z<-c,7|>9 st4 ;B3xc R $L(4GN*Ak8I3>2<U/,K5@4>p3. )$ 4SZ6M ,\8 ɩ4\c& ?V e$^/`_ [b S(dk.G48fm0^\NhFCjjE4>ls6d`D3LL 3nNdtq[fZdx ; Tikp}|( E3^+S*j|v)d1Y04L1e|N, N3gI/,n;p= 0 d. ],'mumwon`X栩4.^Cw: gUGM  $><6|y{|ozi @ *>nS< @",@pU<~~ |J wHpp Mr r d %,6Jz_% ĩrgdlAk;h $_]! @ AK_t'884DNbwNHu ̩,&Q[o,F=   c©ĩ©,/;fp?̩  9à; ð= (?It~ACEE|mSd|CGIM|CK),w NG_4Vb  58Zqvq<\sx l(^uz  u3bGSTV4d&p ($$j,v (n0zة41p2| O83-t" '<5/v$")qTcij 4= |> , ~@ rx4FG #{(4L)Q,O 2'  4V"W3u$Ht'U?J>H\8MOTaBh(YX<A[96]]87),_f)5,h$3@<2I52>771M96B;;5%5,=r5#4-O@?t7; J@Av 9: 88ECP@L;44HFS644$浩K|{W~~Y%If^[]'MQ$Vc_#lXUnZWc\\V#S>Ln@^&V;)NNLL<\4 )Y>r4\Zbs mgt fpV~jgliXN\4#7gLzld Dũ * ȩ / 6ѩ 2 3ԩkȩ,.3:DX >,27>H\ I48= DNbwK4:?FPdyȩʩ,BG#NXl' ,M)T^r+q,Q!-Xbv  (TY)5`j~20,\a1=hr. 2l"*&::,hm=It~:,40@jo?Kv @lqAMx ,@!##ܰ  !J (&M\CC+EAA-C 4S_H"== ;9g+!#%%g)[W@'f(r1@)h*t1x__[[ 4k-wLWM]AN2,4*6, 88+ ::-z,<{=Щ>)xtp @6"B8DD7  ,FG t|x!ѩ*,!#,SC +ʩ6"8$!=C#&1Щ<(%>*'E C)ZYB\:#C-^]F`>'@C1baSBE {;lk4@nu8fݩ 8BZeYco V,D\g[e 8F^i]gsn$H`k_i^xVSzzU4N|F+t TC$P]Y4RJc 8lwku| h,nymw 8p{oy hnZWc\\V 4^&Vo FNLL<tayx )Y>r̩b{so4i1aF%$kxtmjvooiqn["4s';k[c@u)=mR@w!+?oT__{y6aii5ggWd| &0DtY8}U540:N~c#@$xrWC47>H\(|@9 @J^s) @; BL`u) y,@t_1%+^t16CH$OYmBZ_%$##@X(4_i}+@Z*6ak+,+,! +z-+@Fy %\5LQ^c3?jt]EE$ȩǩ?@tDP{$@vFR}$,;:865$EX^ ,K WV    ^b$֩\ܩ@a#m#q̠4d&po2 xLnO Qgs VmbXzO[?9!A7#C9EE8 ,GHII<KK>}-MC/OE $QQD,STb"%0,'\!0))# #,+`# 3a}{"CcYEe[":ggZ-,ijMmcOoe,DqqdFssf9,uv ;,wx U@yz = &,{wv]}s[;Nt=-,~}{yRxu W4SK0HʵUXcaZZT:3c\\Ve^^X>B5fU)vxUmo)'Ωz@ 2b1K,%#]"1 W4o#7gLOSFԷũru, '1Eu{ !ODwd3}6C9CAC|C $CЩFCԩc  d4Fi}a 8HUZ*6 ".KC<JW\,8 >(LY^.:GN%fgZ  r4Two.,y >s[x4Z}u$\ʠ^]`(b{4_d} }afL=4chcZPP̠jR tmzO[ $/8GSp%   wN, 4}%#$#!gXihR,@*,, p *b1/e( vv&B  H'! ܩ# L)!B$B@#%yq: 4, %:<ANU2*U0 .2 804 ]226 48 >a6(W!U9; 4B";PRWdHk@l,G&f$fd$C@+DY[`$7j9* d0R2K`bgt{XT   C;V$7"C=X&;( `\g[ey <!Ujlq~}-ש( ׶@G۩A Jkѩx@c{Aϩ<ީZH4 'W<p#Nc֩"{ppѩx,2]\id$"'_6@0:N~c< @2<Pe<  cce<<>Cذ9ҩ! ~#y!L }|uyP@JTh}$@!LVj$y%}}TTX16CH$OYmߵ6#88%,;.Ycwթ=NZT(:e*g@,6ak:ii-p,F9dn J7L9,OQQv4<SFq{p/,UHs}W66t;|4BYLwvD D VRu,^Q|`ӠbOӰd(fYChUj4ClY4Wna]YLOT[r&tt<u;']o&z C|i4g~qmiC@{{r4pz !("-(C&%4(-/4A@Oc< |>q("~@s$}©&%2 441 ,6&;=BON]8̩40:*?AFSRau C  _ 4t}04IKP]\ة94z n{|*C8$P2_1&IHP2_1շ$P2_2&IHP2_2ݠ1C{T4}u˩0B'[p`4{4}@ S4~۩<"R7ũ($T9 rg4 \,W 4 \-m!40(<lQ)'4 h̶,Ͷ;{/4 <%,6JzY37." ũ$$ ĩ74& WS'_TmpHyp*~׶O 54C42704 @J^s*K;3I48=.K4:?QP_f©S4'0<DI%PZnW[R[4/]4 1Z@'and_ind14ۀжvWj4Y>@0`0<gq&4r] 9p4_ #Dvuy4MV<jo?Kv.Q(lqAMx09z4 'W?,[4-]x~4 *5Den<WcM[i0YeO ) + *f,('6A 's4,+:ETu349FG1/4  "'43M}<o1{^0w!iu   4,.05BA!4/#249FE_84XAUbc764.9'<>CP^<0/9Mt(21;OvƩ0?:%AA948C1FHMZh,E3HJO\G7٩4>I7LNS`nѩŠf*Dd4RF' @UW\ih0TRfGJO)4XL-F[]bon%|e9T"4V6Odfkw<cWauVZK\\4^>#Wlns@,`@%Ynpu;b4dD)]rtyĩ젶@߶Qwv4nyN3g|~٩0poy n}x 4t$T9m 4v&V;oN!a4.^Cw< ~s4"6fKީh,$8hMc#'#4(<lQ жf7?w`+4 0DtY 0!3S<146Jz_7rֶ6׶E94 4>Rg  <*/'=A8Ω,<FZo EIE4 "@J^sB4ŶYaM4/Rf{! *<1>C $uwvW49\p+,^rשu/h,ٶ`o,>+c4)@3^h|7 @<+GTY)Q1- !#imdFHHJLLq47NAlvE,PCnxR1.I/=62Qtb |D4FP{T ]<_dqv  X(afsx>LNN4 PZ^D,R\Tb4V` dPeas`4^uhl u<`| ^$GST p0b~`&X{/34f}pts 8EF&%4(m/y } <q)wFZ`f.  00 2 4446{=.P,8}?:hn4<C4v,>E@ǩ4BI :W30\^4/DK3U$\IZ4QX4Kة <S=H<F_Rx 0U?J>Haة= 2 4[b% >U',d' @"4ah+D[IK4gn1Ja4ip3Lc0 UéA(ZW}$(!^+!`--,ö@}(g4e+X-% ##[Z֩sr$A...&4,\Auu.yC VKYJ ,*pmp{!4r&:j <'+"xuzzt|y~~x/4#*4Hxz,%,6Jzuw54)0:N~ ,+2<P{}; ?;4/ 6@T83 AP$ҩF4: AK_8%*%JN%GP4D KUi$-R4F"MWk& $W4FK'R\p]86;Щ%X]8Xک٩c4RW'3^h|i ,TY)5`j~dmii4X]-9dno=s4bg7Cnxy,di9Epz}y4hm=It~& tD[`mrBNyR[6\ C=b9C -.p4T`d m<Xot oJ KķI{89GC /<=n$ f(r4 h*tx < +%l |( -'nt!(54   4*(z<-,, *|>;H43'1EI ,5)3G ɩ49-7K· \ijة֐̩y 6 ߰ :  ϰy8;M])W 0=O_+Y>UZg׷ s8BTd0^ <DVf2` (FXh4b\^c߷ |8K]m9g 0M_o;i8Oaq=ke$ Qcs?m8SeuAo  <UgwCq  (WiyEs 8Yk{Gu-IC$fqeo4!hsgqөf#a\&&W l)a++ 4-ts}9V,/vuѩQ1I3D46}|_,8~ کZ: 4 <    1 0 )<·>@ 'qk$'4u #QHhv3   '8 #&Ue5 0%(Wg7<e+1 ۩8%*-\l< <',/^n> ().1`p@ ;Yn. 8.36euE 0058gwG 827:iyI 5$49<k{K7=8$;>m}M  (<&=@oOө #((?BqQCI48*ADsSEK, 8@2CC5FHH_48J%<ASZd,L'>CөNPBah4AS.EJ\cʩ,U0GLܩW `gfn4GY4KPbit#H3h Ȑ#H4h    m % 3  ( w$E\a4x H_dp > 3y+8 ^cuz}y `0 `ew|{X ;VsJ %228 ej| n< gl~ i(ina[gXk;JPQ .;;8ns  p0 pu?8"rwB_r$$tyahZ&%))( ,..4+0!1 +r2,2#3 -t465449*: 4{Ω,;,< 6} = 4:?0@  :$#<jvwyL Q $J D.94KL F0;9j8M, 0O.Q4/ *%4YZ& T>IG  ,\( V@Kʩ4bc/ ]GRPf$d0fe\hT(j[k7 eOZ4gl]m9 gQP`OnHDppG4mrcs? mWVd94oteuA oYXPP6vRgty'XjzF t^i]g,H74M {epn < 0a ("2c 0$4eKi5^44Y q|zةS,[ s~N3%4_ w$0.wplo4g ~ < :J (  <L  0 >N 5g.|x{z$4u  o6@w @y  ss}JxHv==M?54 #, {'K >CW2Щ6uF4  #(:H4 %*<$jh.d@ 166@ 386,ܶ@y{{ y6>48rr533'W<>>@h*BDDlFF0$*ԩ֩ũ,@ D[`2RSQQE4U G^c}?Y[]]E__E$d@ _v{ # ,CB@>#!s%# qrppd4t% f} \Z˩2xzzԩ |dө~<#0̩ 3 59@7(8 2y'94=  7~!, t㩷J #P9%7H$F5)H"+J$1ة)@L=M G1<9N4R L6A5_FD_8+:/",^* XBMBD7 8e54HgAJiC64m9 gQ\P@ <rqUtNWvPYxRNzzQNA,|m}I waA̩R~~UGTWc\e^ SlengpieheX,` xSa˩kn`mp'|u~w+4kZk(r TVXW%RYTVO(C{j`qSTCndW fbC tj j;4 /"p3 өȩG4  $)58"49<k{K8 &<$6;>m}M:3QQ4 .3?c$ҩԩ$ 49Ѱ( !8=ĩ]4 #:?B838JORѩ <<5:LQT"ci4 /FKN , 1HM#U)r4 8OTW,F|4 BY^a@, D[`Pe{4 H_dg,  JafGkN4  NejmT.=CDР tchz Ulq~}FHIK!D, _v{f!$HD::9 >""=-,$* $k!4!& , &mK>7 @( . (oE @* 0 *qD BB,ZVE>>/]@>>& D:9<<%>@@'D$=kg#%?]'A_CC^#[EE`!]V)@G+=M G1+XX/IgV1Ki\M4UFV" P:E<c#YX@<[51]]41B3__6(Dc$\D^|F`~;bb}Jd?ffoDAhhiF%yL@jN`p< jT+ N@lPbr> lV+ I@nRdt@ nXN D++DpD-C))%@4xiyE s]hLA]F|{R~~U%ũaZVY'ɩX['˩$%ikmb%d%Ho@q_ w/ q@sa y/ LL!bHHD_4d |<:ީethpƩiRxzX@u ZZyy\u4z  vt{L-Ωo4 H ݩ۩ݩߩީΩ, %*/Lީީ, 5:  ; 1  /`ک$d (?ީ r4zu 9P;g,w ;RBJ,~ BY+F{, F]34  LcN 4 PgR# 4 RiTE* , .)&,  \sj-*G,# d{3 p:,!' !h79 F"($ / )pH&H(J*L ,,GD,.)9 3z8 G00K20,2T4V!6X88SP::UFB<<W><8%@>'9I C '@@);K E )@B+=M G ,D@EY'GG))'IId+'b%L. ,e!,O 1 Q*Q3S%QQ,S5SOO.U7 Q34]ASc/ ]Gsq1b=ddmG?ffAhhqIBeGE5RgTiVk1kgT@mVhxD r;V@oXjzF t;X@qZl|H v;77LsU'9ss"oo 54{_qM {e\NZd\^f_dbk@ m[ m@o] >,DjCushfoAS<:O4yg v1k9ZCnC&b!Cv2>KC|zBԷ Mĩ84 &8%*-\l<)0',/^n>+8).1`p@-D$+03brB%F4  #(4 X$J4 ',/8 %7<?n~"0"'9>Ap8$);@CrR V4 38; *̠t-2DIL{[ 6;HMG!>`4 &=BN=<6;MRUdQJ]g808=OTWfS}(h4 .EJV$ p4 6MRUM<FK]be6BmH0HM_dgy&|4 BY^a  @ D[`@ F]bT/#s  #ة4  Sjo{Q$<8.-244 _v{ ~K)@  ax}% @" cz% ,@M!!OO #AK-&T/-{%%'77۠3n<21#4 66 438)9 3zv<$5c_'7U99T!;YD#=[>%?]AA\4>C'9I C8&BT'@E);K E/5"@G+=M G15,I+w*(&R%5,K-y,*(L!M{!N7LLN^^ CtPU4FV" P:E9C~c#YX#%]$V!>Xv3ZZuB\zeD^|_F`~!t_qD@bFXh4 bL+ ?@dHZj6 dN+ ,fHGECoB+ ,hJIGEi+ ,jLKIG+@l@-+kkm}}?%%!\ot"SeuA oYdXb޵Cyx\{UGGG$x"`zU||d~fAd@fxT l*_@hzV n*7,hgecb*9,jige=*I[AA=,] u\^jmyrl{tcfa}vrue$#z#@u )v\\Xs4x  ryz$Щyɩ@ m,! wws4 $/-~,$ ٩Ω""$ 9@ 49$+==?4 "9>/3 GF14- )!   , E\@ #% :,Wns& ܩ-, [rw*]"57"2,$e|# =?*:!!<-* @# .(o,%2' 4 ,) '+ ) ''ؠ 43)93zI|G8d::U*<<W>>Y,;L"L$@=&8HB"L,?!L"D;;젩4G+=MG1#(5Iw1Ki3Mk5Om*QQlZ?,SSnTAdC$U =Wu?Yw !jC*`_Cb<C.dcGf@<hh?KjD>MlF53C8nmJ {}=ީ4ZeYc8%VhxDة<'XjzFũ()Zl|Hǩ'[p`ةUש4hsgqJ,juisE 4nymw $W{(vu4xw Ʃvk4~}  ϩ`,[ 4 ȩaʠt BR"q  -s"/4  ,Hz,! u#a 054 %$ 2,'&{)  3 6 4;4&+* 8 )$(64.*.,C4.  %7 > (u,0@1?p33AA5?:8FD=5 ";=A? JI3L9NN83)PP:-+@2subrelation_properJ74@S@B MV@W PeY Rg@#iffС)l@,PER_morphism qesqhvj cx&Basics'Program @$flip$ o o o @$impl7o @$unitUe@A@6subrelation_respectful>6z 3&@0subrelation_reflv 9(   9(.@9iff_flip_impl_subrelation2VAoY[] \YL^PNu,srpnmy @9#.",d  yyo{n#in!@?)4(2j ppur4.9-7W 0Щ2s46wY$':<' 4EPDNn .GIl$MOQ:8O@mWbV` 4224ZeYc C\^`ةbĩVCfhS נ4oznx ͵ YrBf)vc 堩 @/ring_add_assoc2¼= j  <!$ 8@ 8 ff !@/ring_add_assoc1¼9"$&$.! I ~%C "!$T;C &%(=*CC ,+C. @4+0"/!= - ! !'!0թ 76 I449&+8 !F86>m}M T!E!F =*??) Q4<A.3@!NZ$>LJ U4.@27I!PBDD [44F!8=O!V&!/@tINQ`$;@MR" . Y![g!X!YzQ)C SR'@<g+B ~s!g!ko @'PaddXPX|jv!?!?e!?eCZ ?  54 s4g7    ! !! !&!-!GI0i E p z    !6!{; y4m=  !!!!!&!,!3!M= K ~   n 4p    ! ! !!%!4!U^<wG  S ~   !=!!!tvv ![!!!!!!!!!!!!!!!}!!{!y!t!r!f!d![!]!Y!W!V!T!O!M!J!H!E!H!C!A!>!<!:!8!5!3!'!%!!! !    Eж  Ѷ   ҩ   4  !X!^!d!e!g!l!s!!!0  !!$!&!+!8!7!F!!!   4  !^!d!j!k!m!r!y!!!! 4  !`!f!l!m!o!t!{!!!!  K X Y  ũ!   4  !T!_!h!n!t!u!w!|!!<  ! !!4!6!;!H!(  ! !!!6!8!=!J!!!!! & [   Z 4  !^!i!r!x!~!!!!!! , !`!k!t!z!!!!  Y!!! ˶ % ' P!  d q r  !    4  !^!m!x!!!!!!!<   !!!8!M!O!T!!!!!ө =  2   4  !f!u!!!!!!!!!!⩚!@)PaddX_ok2 'd!!E!Z!\!a!n!m!|!!!!!!!!!!!!!!!!!""!!!!!!!!!!!!ܷ!!ܷ!!շ!!η!!!!!!!!!!!!!!!!!!!!!!!!!x!v!g!e!< \MM ] 6!&"%"#"""" " " " """!!!!!!!!!!߷!!ط!!ҷ!!Ϸ!!ȷ!!÷!!÷!!!!!!!!!!!!!!!G!\!_!K!0z!r!mg!&4!?!o!!!!!!!" "!0!A!V!!!!!!!"#".7(!C!X!!!!!!!", !ua{!.4!G!w!!!!!!!""""$!I!!Kx!M(!O!!!!!!!!"!84!=!Q!!!!!!!""&">0!?!!h!!!!!!"4"<I(!A!!j!!!!!!"9 !W!@4!E!Y!!!!!!"""."F"B!B4!G![!!!!!!"" "0"H"!@+subtraction!b"'@,sub_notationgǀ!Q4!V!j!!"" " " """?"W"N!l!@'Padd_okl!t!!!!!!!!!!"""""""#"@"I"O"U"V"X"a3"/!!3g!b$!}42( !C(n!i,!@!!q<!!>> ՠ!M<3!CA64"H22#!@'Popp_okݚ`!!!!!!!"""" ")"/"5"6"8"="D"a"j"p"v"~"P!!é>!˩9ԩ !&!WU$F$"\"g@,ring_sub_def9%0!"="C"I"J"L"Q"X"u"~!שC!!Ҷ!!!!!۩!4!!"G"M"S"T"V"["b"""n!@$Psub.DÓ0!!""""","+":"""!""·""""""""""""""""""""~"u"w"s"q"p"n"i"g"d"b"_"b"]"["X"V"T"R"O"M"A"?"7"&!!!!!!ٷ!!ܶ!!Щ"!!ȩ!4!!"_"j"s"y"""""""@$Pmul.D'0!!"!"/"D"F"K"X"""ө!'!!f!!!鵷!!੷d"$!!ک!4!!"q"|"""""""" !3!!r!c$!ީ!4!!"i"x""""""""!0!!!"*""C"X"Z"_"""!;!!!4!!"o"~""""""""""+!"%@(PmulC_okUp!!""8""Q"f"h"m"z"y"""""""""""""""""é !C"""B!!!4!!""""""""""ʩ00!""A"&"Z"o"q"v"""ѩ!R!!!Ϸ!"%IHP'1=!!!!! ҷ%IHP'2"!"U  ʩ" 4  """"""""""ݩC0 !!"""$"T"9"m""#!e   ѵ"ͩ"a!!"4!! """"""""""<! !!"""0"`"E"ة(! !!"""2"b"G"کS0!  !!"" "4"d"I"####U0!  !!""""6"f"K"##!!! !y!!! "#4!!"""""""""" ͩ"%4!!"""""""""" $!ǩ")4!!"""""""""#/<!! !!"&"0"D"t"(!!! !!"("2"F"v"g0!!# !!"*"4"H"x""##)#*i0!!% !"","6"J"z""#.!!"ũ!!$!$ĩ"74!!&"""""""""#= é"94!!("""""""""#? # !!*!*ʩ"=4!!,"""""""""#C#!."}@(PaddX_ok4Rt!6!;! !""B"L"`""u""""""""""####.,#B#D#٩"!?!>*!!A!A!6 $!>!!@!!B!B!!D!D@!F""""""""#$@!H""""""""#$#-L""!J$""H"!T!S=!!V!V!K ©$!S!!U!!W!W-,!Yz ywu![5#@33/ "!f!e!!h!h!] -ک!!j!b!!l!l!a 1!iA!!k!!m!m C#R#]@,ring_distr_r04!z""#####*#3#9 ?"!~!}!!!!uA6!}0**@!"## ####)#4#=?#d**!4,4!# ### ##.#9#B#H N?!a_!!!9C"!!)C"Z"!!"4!!####+#*#9#D#M#Y#t0!!f"("r"""""#c#Y!!!! ]W#x##ŷ#####################x#z#v#t#s#q#l#j#g#e#b#e#`#^#[#Y#W#U#R#P#D#B#:#)#"""@'Pmul_okFp"#"#+#@#B#G#T#S#b#m#v#|###############C##"4"##z########## @'Psquare wA,"##6#K#M#R#_#^#m##ک".##")&&########߷##ܷ##շ##з##з##ɷ##·#######################w#u"""@AA@AA@@@@@@@D""# #J#^"@#`"8#b"3$#թ#4#1#e##########ש#@@$mk_X.G#ݰ""##_#s$"#A#u$f#Cai#zd+r#I>k<"`#L"X#N"S$#"e@$jump#V$*$List%Lists$F@"tl$ ŀ"#c"#e#e""##h$4##!"##m$9"y#"t#"#r"#t#t#v- @#y#$$$$ $$0$9$?@#{$$$$ $$$2$;$A$!11#}rp3#trX#########$$$ $$$$$9$B$H$N$O$Q##k"##$U"#"J_#DC"#C,#@####"͠#ĩ%#'.M$? ##"#֩""##٩"b"#|$Y#$T#$R #ed!<$T,#$<$=$?$D$K$h$q$w$} ###nmEm$]$h@,ring_mul_1_l)"d,#$J$K$M$R$Y$v$$$#a_C###C###"##?AB$r#4#$$Y$Z$\$a$h$$$$$t(#$$$ $-$,$;$F$O##F# 7#"#$#$$## # ##zyt### ##~o x @#$j$p$q$s$x$$$$ @#$l$r$s$u$z$$$$s$ #~~lj Nh##'#,#a`^\ #$[ Z$$.ߩ#3$0Z#($2$2Y#$4$ة$6$$-$-#$o,$;$$$$$$$$$  k$+$? 6$ 6,6$V,$D$$$$$$$$$$FC$4$HC#$7$K#-$M#B$é#4$$S$$$$$$$$$$ũ($!$j$l$q$~$}$$$$$ $H$q;6S$^ʩLȩ@"hd$ ـ$f% #k$h#`$j$j #o$l#d$n$n o@$p$$$$$$$%% j@$r$$$$$$$%% $ e$t g$vKX$y$$$$$$$$$$$$$$$%% %%%% $i$t$! #$! Q,$@$$P L$$#$  |$+$ $~$Ω#$#Щ#$$qq8$% $=</% ,$$$$%%!%*%0%6%7  Ω$$  $FE8E%,$$%%% %*%3%9%?%@ `$ C$$C$[V$$#$ᜠ#C%&$T4$$%%%%%9%B%H%N%Q%(Q($$$$$$$%% %y%w%k%i%c%a%`%^%]%[%V%T%Q%O%L%O%J%H%C%A%5%3%*%,%(%&%%%#%%%%%%%%% % % %%%$$$$'subst_l@$$$з*subst_l_ok$$$$©$~4$$%"%+%1%7%8%:%?%F%l%%#y$4$$%%%.%4%:%;%=%B%I%o%%U#res$e$#3$n$)$)@,positive_ind?U$v$1 #($#U#T$4##W% %%%%,%7%@%F%M%$@(Ppow_pos|08#$ $j$$$$$$%b%%n%%##`#`$4##b%%%)%(%7%B%K%Q%X%$@+pow_pos_gen,Bр#7(#$-$w$$$$$% %o%%$4##m%"%'%4%3%B%M%V%\%c%%}$$M#IHp-#A!A%##$4##%,%.%3%@%?%N%Y%b%n%%0##}$?$$$$%$%z%&8##$A$$$$%$%|%(8##$C$$$$%$%~%%%%%%$4##%6%8%=%J%I%X%c%l%x%!G$#ca$4$5#%%%:%<%A%N%M%\%g%v%%0$9##$M$$$$%%%48$;##$O$$$$%%%68$=##$Q$$$$%%%%%%%%ȩ$4$?#%/%D%F%K%X%W%f%q%%%$'##^$4$C#%3%H%J%O%\%[%j%u%% 0$E##$Y$$$$%%%ͩ 0$G##$[$$$$%%7#%%$4$L#%<%Q%S%X%e%d%s%~%%% ! #%(!p%0##%$<###ͩ$4##%]%_%d%q%p%%%%%%$4##%_%a%f%s%r%%%%%/!p$#$D##{$4$`#%P%e%g%l%y%x%%%%%$4$b#%R%g%i%n%{%z%%%%)%##/p###$y$$$% %<%!%U%j%l%q%~%}%%%%%%%%%%:%᩷!%E##$4##%p%r%w%%%%%%%30##$$$%%%D%)%%50##$$$%%%F%+%_ͩ9%&$Z###%4##%{%}%%%%%%%% ]#\9$`##$b##% 4$~#%n%%%%%%%%%94!h@#%p%%%%%%%%?%66!c#G8Op$$#$$%%%,%\%A%u%%%%%%%%%%%%%%&&!%e$ $ $q$ $ $%4$ $%%%%%%%%%& t$ s3$w$$$y$$5${$$%%4$$%%%%%%%%%& PM!@$%%%%%%%%%!Y,$98$$$!@!$eB$ &VV mp$ $%#$%%,%6%J%z%_%%%%%%%%%%%%%%%44&!é%$)$(O$$+$+$ %94$($-%%%%%%%%%&'~!$$*Q$$,$,Q$$.$.%A4$$0%%%%%%%%%&&x!s,$2SRWU&&&!$4(&M!ک%$@$?$$B$B$75%P4$?$D%%%%%%%%& &>&$!$$A$$C$Ch$$E$E3$$G$G5!,$Iji1/n.!,$Klk319!$M;&2AA!%$W$V$$Y$Y$N$$[$[$PN$$]$]$R$$_$_$TR!$$\ $$^$^$$`$`N&ETT.4$h%%%%%& &&!&'[("%$l$k$$n$n$c$$p$p$ec."$$m $$o$o$$q$q_&Vee?4$y%%&&&&&)&2&8l7"%$}$|$$$$tt$|/p!@$~%&&& &&&(&3&<p&c4$& & &&&&+&6&?&Eyy!$^\C$'%$$%4$$&&&&$&#&2&=&F&R&8$$_%!%k%%%%%&\&&o&!$$$$%4$$&&&&+&*&9&D&M&Y& p&T%%F$$8"8 $L%$$;ԩ%$$=֩" @$&&'&)&.&;&:&I&T&]&"C";$$WUx&  !$ r"Jp"B$$^\hbY"O&$$\%$$$u"K$$geq&4$&?&A&F&S&R&a&l&u&{z!$ CI$]&$$%4$$&F&H&M&Z&Y&h&s&|&&<8$$%W%%%%&%&&&&̩!%,$$$%4$$&M&O&T&a&`&o&z&&&ĩ8 &X$"l&,%d =%4$%f&^&k&j&y&&&&&&ک&Ր0$%%%%&-&&F&[&&&%4$%l&d&q&p&&&&&&&"n$$ :"b 3%4$$&d&i&v&u&&&&&&ߩ&ڐ'0$%u%%%&&8&&Q&&&%4$$&j&o&|&{&&&&&&&ũ%K$$ i%4$$&n&s&&&&&&&&&%4$$&p&u&&&&&&&&&"=$&"&M% ^%Y%% &4$%&&&&&&&&&&'&4$%&&&&&&&&&&&٩"$$ Y&Fp$%%&&&#&S&8&l&&&&&&&&&&&&&&&&' &'"%% C$ީ&]% n&4$%&&&&&&&&&' ~8$%&&&,&\&A&u&&'&'ĩ%m%% *&4$%&&&&&&&&&'y$S($%&& &4&d&I&}&''&''>'<'0'.'('&'%'#'"' '''''''' ''&&&&&&&&&&&&ܷ&&ܷ&&շ&&з&&̷&&Ƿ&&xv&k&i÷&H%&z&!=%@!N7@@@A@A@@@@D!K&& &M4%&&&&&&'''''H&@&Ppow_N:Rv4%&O&Y&m&&&&&'B'N'V'(&V4%&&&&&&'' ''''Q&@)pow_N_gen%.!!C'a'3'3"|&^fgVC&&`&9&g4&7&b&'' ''' '!'#'/'d4&9&n&&&&&&&']'d'o/A&n4&>&i&''''!'''('*'6'k&!!'x &[&#&&H!&z4&&J'''''''-'3'4';'u8&&w&&&&&&&'j'v'~'P%&N&N 1&4&&P' ' ''$'-'3'9':'A'{%S$''V&4& &T''''('1'7'='>'E''# $&  s4&4%L&''''!','5';'A'D'8%N&Z&&&&&&''o'~!!''%&& &4%S&' '''('3'<'B'H'K'%*x''&4%W&'''','7'@'F'L'O' 'g"٠&&@+Ppow_pos_ok:_i|&#&m&&&&&&''''('''6'A'J'P'V'W'Y'^'e''''''@''q#/&&q!;!&s!!=#,$&, T&&.&. F",&0Q P&&2&2 #  #&5  "M'""&@%Pphi1.!\&=&&&&'&''.'0'5'B'A'P'['d'j'p'q's'x''#J' &!V&&& q@@#F$&F n3'33-E,&'N'M'\'g'p'v'|'}'E"&97GC C'&!a&4&O&'T'S'b'm'v'|''''ĩ|4&Q&&&'&'-'B'D'''ͩB%ɩ&4&W&'\'['j'u'~'''''̩{%vu'''''''޷''۷''ط''ѷ''̷''̷''ŷ'''''''''''''''''''''''''s'q0.'i#'X!$Cpow@&Cp_phi@'$rpow@'D@''&pow_th'=@,power_theory K@0' ''''''''( ( '۷'&߷"pe,Ring_polynom(*@%PExprk@& @)PExpr_ind,4|o0&&'n&!']@&PEeval:È@%&'''''''''((!("()'')4%&'''''''''(+'f@(norm_aux,%''+'5'I'y'^''((#é''!! #$&!$!b!a&!&\!$!!e(&&&''y@"cO.;&' #& "X&''C'M'a''v''''''''''(((( (#c'&&'( &'IC'' !0@&'"'''''(( ( ((L(M(O(XHA&ݩ'X4&'(''''(( ((((^/,&'U'_'s'''''(H#''/!&&'1("#$&!P&&!R,((9&&+&(#'@"cI.;&2'i #& "+#'D&&'F(7&'}C''J"Z@''L(((( ()(/(5(6(=(v(w(y(rB''4''R( ( ((&(/(5(;(<(C(Y,' ''''''''(r'|' #'!u!s&&N'(F(^C''!l@&R'( ((('(2(;(A(G(J((((C&W(g'4&Y'(( ((.(9(B(H(N(Q(l,&['g''''''((| '';$+;!&a!!&&c"(('&e"&&g&g"]!' &i"&&k&k"> !$ @&m("('(4(3(B(M(V(\(b$@&o($()(6(5(D(O(X(^(deB($&q!!!!$&s"!!A$B!ߩ" &x""'&z"/"%#,&|k" j'&~"3$"$&"!"",(!۵$Q('I""'*'K!''M'M!e' 'O!((!""&"".&( d,'T(L(Y(X(g(r({((( $`( 'X"1  "+&"&"$7/7(K,'](U(b(a(p({((((#'_!!C()'a":C(+'c"<@&'e(](j(i(x(((((((((ᩜDQ'4&'k(c(p(o(~((((((,&'''((0((I(^(#pe1ͷ%IHpe1Ϸ#pe2&%IHpe2(D&&@&&(o(q(v(((((((((((̩'4&&(q(s(x(((((((,&&'''(((E(*((е$(O&&@'u&(e(z(|(((((((((()(4'w&(g(|(~(((((((,'y&&''(( ( (P()$$'{ݩ$۩'q'~'l@'v'(<(p(((((((((()) @'x'(>(r(((((((((())'w''r(4'|'(B(v(((((((),'~'' &''(((/()$y@'(F(z((((((( (  $m' (4''(J(~((((((()A$@@AABBBAB$@@AABBBAB@$@@@@@@@@@@@@@@@@@@@@D@#&"!)1$0''!'&&'((-(7(K( ,''#'(&'((/(9(M()6(,' 0&''&'+&'((2(<(,&''('-&'( (4(>()3,&''*'/&'( (6(@()8($'(%'թ3!0&'''0'5''((<(,&'''2'7''((>()7,&'''4'9' '((@()@  X0&''7'<' '((C(M),&''9'>''((E(O))(3#N 2$'4)Q$('B&۩3@''D(((((((())):)C)O)[(W4''F(((((((() )Q.,''M''()(T(^(r())_$$' /RK'''K(_4''(((((((() )S-$,'Ӷ@'' 6$'' 8 8'ˠ''Ʃ$ 6U$' = ;W[ )=OO)>O(Ub&}(''Q@''((((((() ) )4);)X)g)G(u4''((((()())")iL,''f'k';'(G(r(|()1)K('"''!(}4&'(((((()))!)kF(4&'(((((() ) )#)mV,&''p'u'E((Q(|():)(4&'((((())) )')qgG&o)$\0&''w'|'L((X(()AQ (&_0&'''z''O(([()>Jb,&'''|''Q((]()@)(v(1(wQ('&zg0&u''('''W((c)@j,&w' '('''Y((e)B)l,&y' '( '''[((g)D)  Z0'(( '''^( (j()MYq,'(('''`("(l()O)p(_#c )$(''*@('))))")/).)=)H)W)l)))R&ө(4(') )) )%)2)1)@)K)Z)~,(''m(/(y(((()e%;((((4((!())&)()-):)9)H)\)0('''u(7(((()k,('''w(9(((()ma&(((((4( (*())/)1)6)C)B)Q)e)#(") ($"D# (&%.((() ()")7)9)>)K)J)Y('(*"/G(4'8(,) ()&);)=)B)O)N)h),':(8'''(L((()t"C(4'=(1)()+)@)B)G)T)S)m)0'?(='''(Q((() )xl(6(@'''(T(((()()0)E)G)L)Y)X)g)r){))))µ$(C  (8(E(3(B(=(G)(?'C)'(K(J%%)*''d@(P')@)U)W)\)i)h)w))))))ةb' (4(S')C)X)Z)_)l)k)z)))۩,(U''(i((((),)%u)5(Y(X(4(Q([))K)`)b)g)t)s)))ݩ0(S'''(q((())ש,(U'''(s((())q&(U(b(Pީ(4(Z(d) )T)i)k)p)})|)))#K(\:8([(^"c{(4'l(`)A)&)Z)o)q)v)))),'n(l'''(((()~"w(4'q(e)F)+)_)t)v){))))0's(q'''((()) )Ӡl(j(t'''((()))K)0)d)y){))))))))))%(w  ש(l(y(g(v(q({)(s'C)[((~)()_((@({()A)u))))))))))*(}))4(()E)y)))))))* ,((( '(()))2)%)k(")4'()h)M)))))))* 0'((('(())&),'((('(())()ܩ'*+(("))4'()r)W)))))))*#'!H#{!F('')04'')I)y)^))))))*)24'')K){)`))))))* ,'(((#(('())/)'*8)84'')Q))f))))))*0'((()(.'() )5)*l'(((,(1(() )8)B)V))k)))))))))))*+%Y(%(("ȩ('()*KC)(""")0(W)((+@((){))))))))***2*An:)P4(()~))))))))*D',((A(F(()")M)W)k* %)("ީ)X4'()))))))))*F.0'((I(N(()*)U)_*#1,'((K(P( (),)W)a*}9((")a4'())))))))**O#'!8(''7)g4''))))))))**L>,'(((X(](-()9)d*5)l4''))))))))**QB0'(((](b(2()>)i*!- *Bl'(((`(e(5()A)l)v)))))))))* *****+:*_%(4(("(("((("('(* $Ϡ'$"(("**o('(*'('("C)(#++%pe2_1%pe2_2`)(#q@(()))* * ****7*O*T*[*E( **l)4())))****%*$*>*q,()(((`)")l))*U &.)(()4( ()))**** *-*;*x0( ) )(((h)*)t)*Wc{,())(((j),)v)*Y(**)((|)4(( )))**#*%***7*E*$("")("ԩ)4'())))**)*+*0*<*z)4'())))**+*-*2*>*|,'(*))((((z)<)*c#'**)4'(#))*)**1*3*8*D*0'(0)$).((()B)*i)*il(((3)')1((()E))))*)*!*6*8*=*J*I*X*c*r*x~*%(6!!ݩ))(8(3)4(/(:)*)*(*=*?*D*Q*_*8'*$0(4)3)=((()Q))*~@,(6)5)?((()S))**)(70'(D)8)B((()V)*};,'(F):)D((()X)**Է))v)D)l'0'(A(L)@)J((()^*|,'(C(N)B)L((()`*~*թ,'(E(P)D)N((()b**  MC0'(S)G)Q((()e)*J,'(U)I)S((()g)**)R$ C*3(Y(X==]y[*8)R#r@(`)T*5**N*c*e*j*w*v*****کFY)4(f)Z*;* *T*i*k*p*}*|**,(h)f((()z)))*&*F(l(k)4(c(n**C*(*\*q*s*x***ߩ0(e)d)n((()))*,(g)f)p((()))*X)f(u(pө*4(l(w**L*1*e*z*|****$\(n# # )l(p#+W* 4'(r**"*R*7*k*****ѩ,'()s)}((())*U*4'(w**'*W*<*p*****֩0'()x)()())*} *䠩l(|(){)))())***,*\*A*u**********&/("3"1)}((*4((*3*c*H*|******QC*k((.*p)#@()*m*R**********+G**4()*s*X*******+,())) ())*'*1*&*~((*24((*K*{*`******+0()))#)(()**/* ,()))%)*()**1*)(( *;4((*T**i******+ $(#C#A)(#c*A4(#(*F*Z**o*****+ ,(%()))2)7))***F4(((*K*_**t*****+0(*()))7)<) )** +l(())):)?))**F*P*d**y*********+ +0&g("k"i)(("*R4((*k********+7C*((he*))ʩ9@))********+++#+@+OQHK*a4))********++U8,))R)W)')*3*^*h*|+&*)#*j4()********++Xy(())[)`)0)*<*g*qt)֩o#&$("&")((F*v4((*******+++[(()))g)l)<)*H*s)((L(}(*4((*******+ ++d&,(@(("&(("")((&"Y&(""[+]*4((****+++ ++$+p&Ҡ) `))*)))U**a******++ ++++*+5+>+x*~X*) ) y@))****++++&+4+U+W+\++o*4))****++++(+6+*)#֩*) #ũ*4() ****++++!+-+kz,()* *)))i*+*u+R+)#ީ*4()****+ +!+#+(+4+r*4()****++#+%+*+6+t0()"** )))r*4*~+[ (()$**")))t*6*+$ǩ+*$<@)****++-+/+4+A+@+Z+r+w+~+*)ȩ+ )%#@()'**+*+ +5+7+<+H+w+x+z+c(+*4()+**+ *+$+9+;+@+L+,()8*,*6)))*J*+q+((*-(*4((***+*+,+A+C+U+,()5)@*4*>)))*R+pz#հ((*4((***+++4+I+K+]+,()=)H*<*F)))*Z+x+ک*4((***+++8+M+O+a+0()A)L*@*J)))*^+|(()C)N*B*L)))*`+$+,)R)Q@)I)T*+)++B+W+Y+^+k+y++++ũ)K(̩*4)N)Y*+.++G+\+^+c+p+~+ʩ,)P*O*Y)))*m**+'y+9)T$"*4()V*++6++O+d+f+k+w+0()c*W*a)))*u*+,()e*Y*c)))*w*+(é(()h*\*f)))*z**[)_$*4()a*++A+&+Z+o+q+v++ *4()c*++C+(+\+q+s+x++%S(+*c(6(18+4((*+++K+0+d+y+{++é0()m)x*l*v)))*+:(()o)z*n*x)))*<*m(@+ 4((+++#+S+8+l+++++ޠ l()v)*u*)*)**+++&+V+;+o+++++++++թ'+_)z$H)|l%l(D'G,(tsqoO'l(nQ+ `())*** *)**++!+5+e+J+~++++++-+'7)$$#*)$D*/+q))@))+>+n+S+++++++++, ʠ))+*4))+C+s+X++++++,,)**** )**+'+'+~)$g+24))+7+K+{+`++++++0))***#*()*++EC())***%**)*+ ,))***'*,)*++) *)$_E+=4))+B+V++k+++++, %)!n*)# yI)%t+E4)")'+@+J+^++s++++,,)$))***6*;* *+$x+J4)'),+E+O+c++x++++,  0))))***;*@**+[()+))***=*B** *)2+R4)/)4+M+W+k++++++,,& l)7))***D*I**+%+P+Z+n+++++++++,,f!,'+)$a)+]4)?)+b+v+++++++,%'%)A  ',)CJ ,5 `)F))***S*X*(*+4+_+i+}+++++++++.,,')$l$8*)$r+`)ҷx+)$L@)P)+s++++++++,',(,*,6)R+s4)U)+x++++++++,;J,)W)***d*i*9*+E,"(+)[)Z+{4)X)]+v+++++++,,<Q0)Z))***l*q*A+,!()\))***n*s*C+V,)^))***p*u*E+,%)`,*)gM+4)d)i+++++++,,,H %)f%*)i+4)T)k+^++++++,, ,Je,)V)r)**+***T,)>)p)]+4)\)s+f++++++, ,,Rm,)^)z** ++ ***\,1 )`,+4)b)y+l++++++,,,Xr0)d)**++***b,7()f)* *++***d +)3+4)j)+t+++++,,,",`,x Ql))**++***k+-+w+++++, ,, ,%,2,1,K,T*,h(9+))&)ީ+4))+++++,,&,(,:,p0&).(''',)@))z1'))33+)I(1-()86/*, G`))*'*2+&+0***+D++++,+, ,5,7,<,I,H?,')F+')++fҩ,*/$@)*1++,+,*,?,A,F,R,,,,m) +4)*6++,+,/,D,F,K,W,,)*C+7+A***+U+,|(a,!))+4))+++,,,7,L,N,`,0)*@*K+?+I***+],{ ()*B*M+A+K***+_,)*D*O+C+M***+a,Z+C)+4))+++,),,B,W,Y,k, &9)_Y+I)uX)S+4))+++,,1,,J,_,f,,))*S*^+R+\***, R+4))+++,,6,,O,d,k,0))*X*c+W+a***,a())*Z*e+Y+c*** +X)g+4))+++,,>,#,W,l,s,,ɠ l))*a*l+`+j***+~+++,,A,&,Z,o,q,v,,,,.!,(,J)))/,4))+,,,I,.,b,w,y,,'&Y)y  (4,)QPNLxK ,ؠ `))*p*{+o+y***++,, , ,P,5,i,~,,,,.,ȩ(")^+p)C|8,^))@)), ,,+,[,@,t,,,,,,,ө))-,,4)),,,1,a,F,z,,,,٩,)**+++ +*+,(,l)), 4))+,,%,9,i,N,,,,ܩ0)***++++*,1()***++++*,)***++++*,)-*-.+*,,4)* +,',1,E,u,Z,,,, &)+)b,24)+,,-,7,K,{,`,,, ,****+++#+(,=)8s,:4*+, ,5,?,S,,h,,,,****+++++0,Ʃ-;-@,@4*+,,;,E,Y,,n,,,0**$**+++1+6,Q(*!*&**+++3+8 +* x,H4*+,,C,M,a,,v,,-- l**(*-**+++:+?++,,F,P,d,,y,,,,,,,)-(ݩ,*,*%W*.,S4**0,#,N,X,l,,,,,-/&*-''(,*ZYWU'(*)$-- `*"*9*>**+++K+P+ +,,,W,a,u,,,,,,,8-(w*;٩+*=ѷq,*G*FE@*D*I,b,l,,,,,,,-- -!-( *F}U,l4*I*N,g,q,,,,,,,--C,*K**+++]+b+2+-),*O*<,t4*:*Q,D,o,y,,,,,,-0J0*<*X**+++e+j+:-(*>*Z**+++g+l+<O,*@*\**+++i+n+>-T+*Z,4*E*\,O,z,,,,,,,-; &*GY+*IS*KN,4*M, ,W,,,,,,--A^,*f*k**+++x+}-M,4 *R,,\,,,,,,--Fb0 *k*p*++,+}+-\(*m*r*++,++ +*Xb,4*Z,,d,,,,,,- -N-h Al*]*t*y++ +, +++[,,g,,,,,,----"-0-; !-S)),*x*e*z ,4*e*|,o,,,,,----['&*g.y  (,*i0sL -w /`*l**++,,+++j,,,v,,,,,----$-1.-b(*%#,*;" ׷,**@**,,,,,--(-*-<-d-j-k-rV*,4**,,,,,----/-A-w,*+!+,, ,*+++|,>-\)J- **,4**,,,,-,- -5-<-z0**+)+4,(,2+++-Y2(**+++6,*,4+++,**+-+8,,,6+++-],,*X;,4**,,,,-,-+-@-G- '"*X,2*հ*,4P*,W,,,,-,-3-J-,R**+<+G,;,E++-],4U*,\,,,,---8-O-0W**+A+L,@,J++-b(Y**+C+N,B,L++ ,A*,4]*,d,,,,-'- -@-W-- l***+J+U,I,S+++,g,,,,-*--C-X-Z-_-l-z-S!-)s-3***T,4**,,,--2--K-`-g-''B*x  ),*z - y`***+Y+d,X,b+++,v,,,- -9--R-g-i-n-{.-) *om,Y*he-F+a&/@*+c,--C-(-\-q-s-x-----©*>,4*+g---G-,-`-u-w-|--Ʃ,*+t,h,r+++,,-)-R**-4**-- --O-4-h-}---ǩ0*+q+|,p,z+++,-> (*+s+~,r,|+++,,*+u+,t,~+,+,-,t*G-4**- --*-Z-?-s---- 'j*,z* *-4**,---2-b-G-{---թ,**++,,, ,+--4**,--#-7-g-L----ک0*+++,,,,+- /(*+++,,,,+ ,+-&4*+,-!-+-?-o-T----- l++ ++,,,,+,,-$-.-B-r-W--------_!-꩷)-{++ 5+`-14++-,-6-J-z-_-----''+  )e,+}| .  `++++,,,',,+,--3-=-Q--f------.-)S+,+tO(@M-+#+"!@+ +%->-H-\--q-------.+";I4-K4+(+--F-P-d--y----. ",+*++,,,<,A,,- )ߩ-+.+-S4++0-#-N-X-l-----.)0++7++,,,D,I,-ǩ d(++9++,,,F,K,.,++;++,,,H,M,-3,+9Щ-^4+$+;-.-Y-c-w-----. '+&8,+(2 j+*--f4+,,-6-a-k-----. =,+E+J++,,,W,\-#,-k4+1,-;-f-p-----.%A0+J+O++,,,\,a-; |(+L+Q++,,,^,c ,+7A-s4+9,-C-n-x-----.-.G l+<+S+X++,,,e,j,:,-F-q-{-------...!.2*-+W+D +Y-~4+D+[-N-y-------.:''+F X  ),+HR+ .V `+K+b+g++,,,t,y,I- -U--------....A)+d,+f--,'l@,,---... ...2.J.O.V.|s-yة-+v+u,+x^Sɩ-4+u+z------...#.Yn0+w,,-- ,,,^- .>U.$*.-, &ש-4+, ----.... .,.jx0+,- -,,,h-*-t.Qn- ,&K'+.ש-+rg-4++-----..#.%.7.m0+,,"-- ,,,r-4.Ri-+xm. ]l+,,'--%,,,w-9------..*.,.1.>.=.L.`.f}.{*E(+= ),+?v*+Ax.),'&&-%,)&e*S.,.&-4+,0--.-.).>.@.E.Q.0+,=-1-;,,,-O-.v-0,4&p($+S-4+-4++---.-.3.H.J.\.0+,<,G-;-E,,,-Y.w-:+. l+,A,L-@-J,,,-^----.!..:.O.Q.V.c.b.q...*j(3+b  *,+;d:86%.}),J&&-H,L'-,M{*w.7++ʩ-4++--..4..M.b.d.v.0+,V,a-U-_,,,-s.p-T+j(H+nh-X+-4++---..>.#.W.l.s.,++,`,k-_-i,,,.{g-4++---..C.(.\.q.x.0++,e,p-d-n,,,.^-c+ \.Ҡ l++,j,u-i-s,,,---...J./.c.x.z......©*Z(\+| *7,+TSQO*\+gx.ݠN*%+a-s+c--L*.b++.4++.../._.D.x....ש0+,,---- ,-.A-+<(s+-++:. 4++-..%.9.i.N....ܩ0+,,,----,.-3-,11. l,, ,,----,--.".,.@.p.U........P.詷*/(, *],, zywu:&:I/)*I,-,6_C'*ǩ.,,.;4,,. .6.@.T..i.... 0,,,,---,-1-.H-,L(,-, u.E4, -..@.J.^..s...,,$,),,---6-;.ѩ.J4,-..E.O.c..x../ 0,),.,,---;-@. -, /" l,,.,3,,---@-E--.!.L.V.j.........\// *(,- *,,ZYWU*,$/-*u,9ש-,;kϷo*.,B,/.g4,-,D.7.b.l....../# =0,/,K,,---X-]--/t-,Hx(,3E-,5,.q4,7-.A.l.v...../+ G0,P,U,,---b-g..-,;2/I "l,>,U,Z,,---g-l-<-.H.s.}.......////4+ (,B T *,,D ~|;'/R۩*,^-,`٩+.,g,T.4,R,i.\......// /H b0,T,p,--.-}--R/'Ω-,m!ɩ(,Xj-,ZQǩ.4,\..f......//P l0,u,z-- .. --/"S-,`W/n Gl,c,z,--..---a.#.m......////(/6/A/Y+/(,g.y *,,i0`L/w*,#!. ,9÷+<.,,.4,,.....//'/)/;/q 0,--&..$---v.8/Vm.,|q) ,3-.,I.4,,...././/1/8/v 0,,-%-0.$..---/U.#,O/ kl,,-*-5.).3---.G..../ ./#/8/:/?/L/K/e/n|/+S),B< *,,D/*,P.1,=)+a/!,,.4,,....///7/L/S/ 0,,-@-K.?.I---/p.>,j})2,h.B,{.4^,.e..../(/ /A/X/ 0`,,-J-U.I.S--/kt.H,r/ l,,,-O-Z.N.X---.l....////H/]/_/d/q///+xp)A,w +,,y{/j+,lj.V,w.-f/C-i-h@-`-k//@/%/Y/n/p/u//////ܩi-b/ͩ.4-d-o//D/)/]/r/t/y///,-f.e.o---.../.+/Q,,@,,// //N/3/g/|/~/////Ʃ,/۩/ 4,,///"/R/7/k////ʩ,,-t-.s.}---.//[,,ש.t,/4,,./ //*/Z/?/s///ͩ,,,-|-.{...-/,0",/4,,.///2/b/G/{///թ,,,--... .-/0!/4,,.//"/6/f/K////٩ 0,---....-/".(,---....-0$1/s-(\@- -/,/@/p/U/////////̠- 8/+4- -/0/D/t/Y//////,--....!-../+/--/34--/./8/L/|/a/////! 0---...$.)-./٩ ,---...&.+-./۩-0;5.-/=4--/8/B/V//k/////5)-.-2"I- /E4- -"//@/J/^//s///0!0- -)--...6.;. /6"V(--+--...8.=. .-(</M4--*//H/R/f//{///0 0! l---2--...?.D../ /K/U/i//~////////L0+/-6-5LV)-3 +,-5I+-7K0. `-:-?--...L.Q.!./-/X/b/v////////0+x-A.-C)&cp/-(D@-H-/k////////00 0"0. -J0/j4-L-/o////////02A,-N-...[.`.0./<0+/-R-Q/r4-O-T/m/w///////03!H0-Q--...c.h.8.0?(.-X>;&)-U.-W k"-Y/~4-D-[/N/y///////0:!T0-F-b--...o.t.D0o"(-H-d--...q.v.F.-au/4-L-c/V///////00B0Z3l-f-k--...x.}.M//Y//////000000-06T=0J,/-o-n=L)-l  +,-n9 0e`-q-v-../...X//d//////0 0 000O0U+-x.-z`]W/b-{/-~-}|@-{-/////0000)0Q0W0X0_C-}/4--/////0000.0dz,-../ /...i/+0I,7/--s/4-q-/{/////0 0"0)0g!0-s-..!//...q0F"(-u-..#//!...s,-w-..%//#...u0J#-y0/-F/4-}-////0/00.050s *-F/ -/4<-/C////0/0060w,>--.(.3/'/1..0I1@0"ɰ-/4D-/K////0/0'0>0,F--.0.;///9..0Q9H0˩/4J-/Q////0/0-0D0!0L--.6.A/5/?..0W"(N--.8.C/7/A.. /6-/4R-/Y////00050L00l---.?.J/>/H.../\////00080M0O0T0a0o0z)0,h0(--%"-I/4--////0'0 0@0U0\0/*7-m'',,-o',7-qo)#0p`---.P.[/O/Y.../m///00000I0^0`0e0r80,-fd/P-|//0=--Щ@--//0 0:00S0h0j0|0000-Щ/4--//00?0$0X0m0o00,-.a.l/`/j.../~0,0J--Ʃ/4--//000G0,0`0u0|0!0--.i.t/h/r...0#(--.k.v/j/t...Ʃ,--.m.x/l/v...0%S/l-0 4--/000"0R070k000 *b-/r-?R#-ة04-//0 00*0Z0?0s00˩,--.|./{///04L04-//000/0_0D0x00Щ!0--..//// 0[#'(--../// / /-Na04-//00#070g0L0000l--...////.//00&0:0j0O0000000!0ݩ,0s.-#-.0)4-./0$0.0B0r0W0000'*-  ,],-0/-+rK 1`-. ...////$./00+050I0y0^00000.0,K./.%` +)gF0.. @..0 070A0U00j0000000..1F10B4..00=0G0[00p0000 ,. .&..///3/8/0,֩0.0J4./00E0O0c00x001" 0.)....///;/@0#[(.+.0..///=/B %,.-.2..///?/D0ک1T1X/.0V4./0&0Q0[0o00001 *yK/0\4-/ /0,0W0a0u0001 3,-.$.;.@..///M0Р-1Z#h#c0e4-/)/050`0j0~0001 <,-.-.D.I..///V0԰-1f1k0k4-///0;0f0p00001$"A0-.3.J.O..///\0#|(-.5.L.Q..///^ /0s4-/7/0C0n0x00001,1G l.<.S.X..///e/j/:/0F0q0{000000011*10-0.@&#.BE0~4.D00N0y000000180*s((,, @ -,  / ,., a0*1^` .S.j.o.////|//Q00]000000111 ?1G,.U/.W ]0.s.` v@.^.u0h000000111E1K1Q1T=.`\04.c.z0m000000111Y t,.e.//00///c18-10.iߩ04 $.k0+0u00000111_"{0 &..//00//11#( (..//00// , *..//00//15[0.t04 /.v0600000011)1j +  10 3 Z# 5T04.  7/|0>0000101/1q ,. .../#/.0"0,/1ES04. </0C000010141v"0..../(/30'01/1Jc#(..../*/50)03/ 0( B i04. D/0K0000101<1~1rl G.../1/<000:///0N0000101*1?1A1F1R1a !1-Z1. #԰.04 O.0V000010121I1'+) Q  -, SRQOMzL 1`` V.../@/K0?0I///0]00001 1191N1P1U.1,.fd0@.  SQ1... @..00001+11D1Y1`1111.04..00011011I1^1e1 ,../R/]0Q0[///1-{1;. )04 n.0u00011811Q1h1"0 p../Z/e0Y0c//1{4$( r../\/g0[0e// , t../^/i0]0g//10]. *=04 y.000011C1(1\1s1 +S { 0c } [$ 14.S /000111K101y1 ,.U.../m/x0l0v/114.X /0011 1 1P151~1"0.Z.../r/}0q0{/1$(.\.../t/0s0}/ 0r  j14.` /001 11(1X1=111㠩l .../{/0z000/001 11+1[1@1t11111U!1̩-1d. R$.14 .0011131c1H1|11'+s  =   -N,  ? 1` ..///0000/0011&1:1j1O1111.1۩-<.0. Wj 8Q 51w/ /  @// 1&101D1t1Y11111111Р/ (1/4/ /1*141H1x1]11111 ,///000 0%/01-é1/.174./1121<1P11e1111# 0.///000(0-/1($H(////000*0// ,////000,0101֩0/11B4//11=1G1[11p1111 +/ 0/  x$N/1J4 /011E1O1c11x112 !, /)/.//000;0@1֩1O4 /011J1T1h11}112 #%0 /./3//000@0E1$`( /0/5//000B0G 0/ 1W4 /01'1R1\1p111122+l/ /7/<//000I0N001*1U1_1s111111111I!2-1/;/($f/=ͩ1b4/(/?121]1g1{111112'+/*<  -,/,ihfd 2:`///F/K//000X0]0-0191d1n11111111.2%-/H0/J^ ,q 4 ~1/O/< R@/:/Q1D1o1y1111112!2'2-20/<181y4/?/V1I1t1~11111125 P,/A/]//000j0o0?2. 1/E 14!/G11Q1|1111112;#W0!/`/e//000r0w2 Ʃ$(!/b/g//000t0y \,!/d/i//000v0{2B70/P ϩ14! /R11\11111122F +!   0! 6$!014.!0X11d111112 2M k,./\/s/x/0 0102!Q/14.!0]11i1111122R#o0./a/x/}0011 02&?$(./c/z/00110 1! E14.! 0e1'1q1111122Z2uNl!#/j//0 01 1000h1*1t111112222"2.2=!2^.61/n $/ps14!+/r121|1111122%2f',!-    -,!/. -+)V( 2<`!2/y//00'11%000w1911111122*2,21.2m-/{ B @1/} -11[ Ω2 0/0. @0&01121224262;2H2V2w2y2~2 Ʃ140)0412 12"27292>2K2Y2 ,0+1*140001H112u 1 ũ2//1//[14//1111212.2C2J2 ,//070B161@0002g 14//111121232H2O2#0//0<0G1;1E0002l2$ .g2'//14//1112$2 2=2R2T2f2#0/0F0Q1E1O0001c2 ,/0H0S1G1Q0001e2 ܩ1G/!14//1112-22F2[2]2o2ܩ,=/c]1M/y14//11122322L2a2h2#0//0U0`1T1^0002 1S/$2 l//0Z0e1Y1c0001w1112 2:22S2h2j2o2|2{222.,L/rl .',/DtCA?-.L/vt/2͠./Q1c/! .2Q//24//22 22N232g2|2~22Ʃ#0/0p0{1o1y00012*1n/!',b/1r/C24//12 22(2X2=2q222˩#0//0z01y11102E1x/I2砩l//001~111 011222/2_2D2x222222292ש.,q/ .L,/ihfdR%2.80t10!?20 1.2u0/2)4/012$2.2B2r2W2222#0/0 00111102_~10 cx,/ 1/!c234!/122.282L2|2a222 ,!0000111$1)2 Vvu284!/12232=2Q22f222$0!0000111)1.2m10!n k3l000!00111.131122:2D2X22m2222222s2.i,0   .u,0 H GEC.0   v3c.c0'ũ10)r11 \a.20/02T40012$2O2Y2m222223$*000800111E1J12V105Q,0  210"!+O2^4!0$12.2Y2c2w22223$40!0=0B00111O1T2-H10(!1F36l0+0B0G00111T1Y1)1252`2j2~222222223 e3!.D,0/ A .,01n mki:&O^3?>.0K10MK< ;/20=!2y4!0?12I2t2~2222233$O0!0X0]00111j1o3H/10C!L),!!!r1"!ީ24/"1G2 2S2~222223< Z,/0K0b0g00111t3 '&24/"1L22X2222223A$^0/0P0g0l00111y31" ! 3`9l"0U0l0q01121~11S22_222222333 33(\C3I/!,"!! .,"!."!!n&73k .0`!'!%20b!k" ȷ h  /120i!ߩ24"$0k2+2u22222333_${0"&0011221131t20o!x-"*!!2"," ,240".1s252222223&3h$000w0011%22#13<.2"2"23`l"50|0011*22(111z2<22222233-3/343@3O3p/H-"9!! .,";:!975;'3.0!L!J2&0! 9 7 橷/V30"24"I02P2222323,3C3$0"K00151@242>113V۩230"֩-'"O!!é27"Q"/Qԩ240%"S12Z2222333K3$00'0001?1J2>2H13aSͩ2="W"5W3l"Z0001D1O2C2M1112a22223$3 3=3R3T3Y3e3t3/mɩ-6"^"! /,"`_"^\Z`L3é.0!q!o2K0"з   /z3:00240022233733P3e3l3$0001Y1d2X2b1113$2W0(-K0!̩2[0"(24"w02~22233A3&3Z3q3$0"y001c1n2b2l1132a0".3Рl0001h1s2g2q111222333H3-3a3v3x3}33333/-Z0! /5,0!3٠/!02o0@  6. ѷ /3_0"M34"022333,3\3A3u33ͩ$0"001~12}222 32|0"I-p"":" 2""x340n"12233"363f3K33֩$00p0011122232""~3l"01111222212233)3=3m3R3333333ީ/-""I" /Z,""K3z/F0!!20"a/%pe1_1 %pe1_2  K31,o @113?3S33h333333334 14B43>41 13C3W33l333334 ,1"1222/242233 %3+  R31#1 &@11%33C3M3a33v3333344143L411)33G3Q3e33z3334 #,11011222=2B2331"21"3T4"123$3O3Y3m33334 +,"131811222E2J3 ð"4S4U&`1 #3\4"1"23,3W3a3u33334 3,"1;1@11222M2R34d3`4"1&2303[3e3y33334%60"1?1D11222Q2V3&q("1A1F11222S2X4_$ t31J1I H@1G1L3e3o333333344#4$4+ 1I3n41K1P3i3s33333334/ E,1M11222_2d2424031Q1>3v41<1S3F3q3{33333342%L01>1Z11222g2l2<4 O,1@1\11222i2n2>4 1B4y4~521[341F1]3P3{33333334<5-1H"Z21J"2&1LOV34#1N33X33333344B%^0# 1g1l11222y2~46&(# 1i1n12222{2Z21T"<34#1V33`3333334 4J4d=l1Y1p1u1223222W33c3333334 4 444,47L4O0%31t1aLV-1_"&q /,1a"(I/1c"*"(K4q)`1f1}12 233222d3&3p3333344444+4\/13 15&c 311 @11333334 4 4"444\4b4c4j N1d34113333344$4&484n ,122#33!222s354S0A411}341{133333344,434q%01}12 2+33)222{4P?731J;5.1"H3"1"k&Ű1|34#@13G33334 34#4:4{%0#B112,273+35224Mo&(#D112.293-37223,1"u34#H13O3333434+4B44vl111252@343>2223R3333434.4C4E4J4W4e4pTL40^411LV.)1"_ 0,1"a9 4``1112@2K3?3I2223]33334 4494N4P4U4b4/1VT3@1l]a31 4-11 @1133334*44C4X4_4444 1 U341133334/44H4]4d4 ,112Q2\3P3Z22240z4:1#(34#m13t33344744P4g4%0#o112Y2d3X3b224z&(#q112[2f3Z3d22 ,#s112]2h3\3f224~ f#u43]1#*34#y1333344C4(4\4s4 .S#{#"3c#}#[441Q#2333444I4.4w4 ,1S1112k2v3j3t24 o1U44' #441Y#23344 4!4Q4644 ,1[1112s2~3r3|24 |1]5441_#2334 44'4W4<44ǩ%01a1112y23x324'(1c1112{23z33 3y##q441g#233444/4_4D444꠩l#111223333 23344424b4G4{44444)4ө04k1#Y%'%14!4#13344&4:4j4O444/.z##D#''0U,##F'0z##H")#4`#122 2233332334%4/4C4s4X4444840E1""31#`43ҷ >421 @1244/494M4}4b4444444 ٠1 W494124 444>4R44g4444 ,2222333*3/240ͩ42#{4A4#2344<4F4Z44o444&0#2 2%223332374'R(#2"2'22333439 ,#2$2)2233363;4ѩ hS32#|4L4#2344G4Q4e44z445 .##o#A3##R'X#4T41#334$4O4Y4m4445  +,12232822333E4 wL4Y41#334)4T4^4r4445&/012!282=22333J4['j(12#2:2?22333L 3##a4a41#3%3414\4f4z444555l#2*2A2F22333S3X3(3444_4i4}44444444!5042.#'p2034l4#2234<4g4q444445&'.###a  0,##rK 5D`#292P2U22333b3g3734C4n4x4444444.5-02;##32=#% B  n$u 42C# ]@#2E44O4z4444445#5,5259 $$ $55W44$2K4 4U44444445? \,$2d2i22333v3{514$ $ 441$ 3Q44]4444455F&c012U2l2q23343~5'(12W2n2s23343 h,12Y2p2u233435 1553$#441$3]44i4444455R .1""41"442$133c4%4o444455R v,2&$ 2g2~23 34 45 2(55'1'#442-133l4.4x44445 5[ ,2/$)2p2233445( 21554423133r444~444455a&025$/2v2233$44"5.'(27$12x2233&44$ 42#442;233z4<4444455i5cl2 $82223"3-4!4+333}4?444454550525D5C*5r1K5 $<$;&'Ű$>]442$@34G44445 4585z0/2#!"((0,2!|##!{!y!w(12#%"*$5S`2$I222333>424<3334P4444545,5A5C950$K##43$M$+ F DW ߩ5!2$ @$T24[444455575N5y555 z$V V44$Y24`44445#55<5S5 ,$[223E3P4D4N335f1n5.$_$^4423$a34h44445+55Y5&0252223M3X4L4V35o'(272223O3Z4N4X3թ ,292223Q3\4P4Z35s U4P$j$H442>$l34s44455655d5 /F2@#M"٩4V2B#?T'2DN442z2F334{44455>5W5 ,2|$v2223`3k4_4i5u M4422K33444455C5\5&02${2223e3p4d4n5z]( (2$}2223g3r4f4p 4e2Q#Nc5422S33444555K5d55֠l2V$2223n3y4m4w3334455 55N535g5|5~55!515W$$($5 42^$344555&5V5;55'/f2`#m"  1A,2b!#o!!!tL 5堩`2e$2223}34|444344555-5]5B5v55.5ͩ1/$$7#4}$$u   )5k2$Y @$24455$585h5M555555٩ Ġ$ 5$4$24455)5=5m5R555ީ ,$33334444515x$$5,42}$3445'515E5u5Z55'0223 3334445.(=(223 333444,223333444!5 4$$75742$345525<5P55e55 /2###42#(C25?422434455:5D5X555,2$333#33445 5D422484455?5I5]555'02$3 3#3(33445(U(2$33%3*3344 42#5L4224@4455G5Q5e5556 l2$33,3133444>4C4455J5T5h55}55555O!615$$([$5W42$445'5R5\5p5556'/2##C  1,2"#"""  6/`2$3$3;3@33444M4R4"45.5Y5c5w55555.61y$$$74$$d u- r53C30F@3.3E585c5m555555666!6$ 30"5l4323I5<5g5q5555556(C,343P33444]4b4262538$5t4$3:45D5o5y555556.'J0$3S3X33444e4j6"(($3U3Z33444g4lO,$3W3\33444i4n6 43C$+54$3E55O5z55555569 /%$$t4%$(%#542%4K5 5W5555556@^,23O3f3k33444x6 .542% 4P55\5555566E'b023T3k3p34454}6((23V3m3r34454 4%$542%4X55d555556 6M6hAl%3]3t3y44 45 444[55g5555556666!60C!6Q2)53a$(3c f54%3e5%5o55555666Y'/% $$  1,%"!$ ~ 6w/`%%3l334455444j5,5v555556666$.6`13n$5$353p$X u0q 53u$@%03w5755555566*6U6^6d6k V%2n254%53|5<55555566/6p,%7334!4,5 5*446B2J6 %;%:543%=45D555565656w'033334)445(5246K((33334+465*544,33334-485,5646O15,%F%$ɩ543%H45O5555656@6 0"3$)#523$0(հ3 *543V3"445W55556636,3X%R3334<4G5;5E6Q)543[3'445\55556686'03]%W3334A4L5@5J6V9((3_%Y3334C4N5B5L 5A3-$*?543c3/445d55556'6@66l32%`3334J4U5I5S4445g55556*66C6X6Z6l6k!62s63%d%c(%f543:%h45o55566266`6'0B3<$I#  2,3>"$K"""P( 6y`3A%o3334Y4d5X5b4445v5556 6966R6g6i.62 %q%$ɩ5Y%s%Q3̷  f 6G4b/0@34d666D6)6]6r6t6y66666é 5434g666G6,6`6u6w6|66Ʃ,34t5h5r444556 5Ͷ6T3%B5m3%:6 4%355666#6S686l66ĩ,%334u45t5~456 64%3556 66(6X6=6q66ɩ'0%334z45y55567 $!26e336433566626b6G6{666թ'03344555 546,3344555 546 1ש53 6"433566'6;6k6P6666ש0{3$ 53%X6(4%3556#6-6A6q6V666'0%44 4455556 53%^$7l34 4445555#4556*646H6x6]66666666멷203$!  2e,38$753-23$$/7 2S4  54 K2ϩ644 6C44 4 66>6H6\66q6666(04 4'445554595 6*ũ54$ 'é04$!!54%}C6M4%4566H6R6f66{667(#0%4,4144555>5C6E54%I7%l4414644555C5H556$6O6Y6m66666666697204$!0 2,4 ]$\ZXR%7.2v4:  ة54< ?6W4=o264+%6g4%4-5676b6l666667!(=0%4F4K44555X5]6_y541%cs0%%%`5%%̩6q43%5556A6l6v66667*H,3494P4U44555b6 qp6v43%5:56F6q6{66667/(L034>4U4Z44555g7h5%% f7N'l%4C4Z4_44555l5q5A66M6x6666666677s773d0&%%t 2,&%2&%%\q7Y^24N%%54P%m6s6.\364V%̩64&4X66b6666667 7L(h0&4q4v4556557Q54\%L0&%%5&%+J643&5`6"6l6666677U(r034d4{4556657)-C6&%1A7tMl&"4i445 56 6555g6)6s666667777!7-7<`7]35?0&&%% 2,&('%&$":&JY7}924r%9%764t%F &y $763C7&4&3644&65{6=6666767.7p(04 4445"5-6!6+57DH*6 &:&L$14%$6$4% 644F4556G66667 7#7t,4H&B4445,576+657A "!644K4556L666677(7y(04M&G444515<606:7F6/4% 7wl4&L444565A656?5556S6666767/7D7F7X7W\>73_1(4"%/$ 3,4$#%1###3(4&%3$!272&W%%6?&Y&7k R Pc 3o7/&`&_6444&b56i66667,77Z7(0464445N5Y6M6W57pt6L&f&Dx1@4:%G$ө6P4<%9,644r4>556s6667767O7(04t&n4445X5c6W6a7m.6V4B%?27Šl4E&s4445]5h6\6f5556z6667 7=7"7V7k7m77~731O4I%V$ 3*,4K#%X###;' 7Π3&|&%ԩ6d&~&\ wʷ u穷37T&&744Y&56677 7!7Q7677(04[4445s5~6r6|57ܩ6q&&iש1e4_%l$6u4a%^Qթ7444c65667 77+7[7t7ũ(04&4445}56|67SΩ6{4g%dW7꠩l4j&444556666 56677727b7G7{77777ҩ3ʩ1t4n%{% 3O,4p#%}###`L7ĩ3;&&C%6&&ѷ74©37x4&f7,4&4667'717E7u7Z777)0&5 5556666"7$64&b(1&&S&%6&&7644&567717;7O77d77) 0445555666'76&&8l&55555666,61667 787B7V77k7777773731&&b&4 3s,&&d83_5 %%ѩ65&z@[2LY3ݩ7&&ͩ7Q44&667!7L7V7j7778 )'045505555666B76&&14%%A64%7[4446O667+7V7`7t778)104&5#5:5?5566764%83 l4&5(5?5D55666Q6V6&6727]7g7{77777778314%%P 3,4$%$$$8<{3&&&B6&&5E>0<߷750R@5V57y777777778-8.808< P:7w45Y57|777777788?N,5[5666h6m6=67I8&^7dF975E&65G&74'5I7 7S7~7777778=Z,'5b5g55666t6y8 a/.74'5N77X77777788B)^0' 5g5l55666y6~8(8$&475m5Z745X5o7b7777778 88N)h05Z5v5667666X8-k,5\5x56 67666Z8/ rP65v"*745a5x7k777777888WP15c&*"u75e&74' 5g7'7q77777888[)w0'"556 67 7668- 7 5k&$8yRl5n556677666l7.7x777778 88!8&838A8La8d4:25r&9" 3,5t&;-45v&=&;/",835"0".75"Ft4H85574557777878838:8x)0556'627&706668W*>7%5"Q'<25&O"7)5&C74'E57L7777878(8?8)0'G55616<707:668RE7/5&I8wl555666A757?6667S7777878/8D8F8K8X8f8q9M84_2(5&^" 4,5&`R% 835"S"Q7=5"i?^754l8,5'74'_57f77778)88B8Y8)0'a556K6V7J7T668l_7I5'c2='e'&٩7M'g'E745;'i67p77788388a8,5=5556U6`7T7^68w 745@'n67u77788888f8)05B5556Z6e7Y7c68|7X'r'P 8Ǡl'u5556_6j7^7h6667|77788?8$8X8m8o8t88s84ݩ2Q'y'& 4,,'{z'ywu4Q'}'&8Ҡש45&&7h5'577թ48W5'E8 4'577888$8T898m88ũ)0'556v67u7678ʩ7t5'Aũ2h''2'7x''p+é845f'677888.8^8C88Ω)05h555667778-7~''v18l'55566777 767788!858e8J8~888888֩42w''A' 4R,''C:&84>5&&75'Y848|''8045'6788+858I8y8^88*0556666777!8H7''L25&& 75&8:4557.678 858?8S888,5'666667788?455737788:8D8X888*05'666#6677875& 9l5'6 6#6(6677757:7 788A8K8_88t88888\8425&&4 4|,5%&%%$45&&\9"4j''r'(7''kܷd48''ة8\45'7 78,8W8a8u8889*2056$6;6@66777M8tz7''xu25&&L75&,s8f4557Z7*7868a8k8889*<05'6.6E6J66778.l75&2j9>l5'636J6O66777\7a7178=8h8r888888889&4h25&&[ 4,5%*&%)%'%%;'s9Gb4'''M7''oC`5 8''845(7E88Q8|888889:*W056I6`6e66777r9U7('P25&&q75&QN846577O88[888889>*a06( 6S6j6o67779 SG75&WE9c<l5(6X6o6t6778777V88b8888889 9 99d9K5$C25&& 4,5%O&%N%L%J`LN]9l=4(''r8('Jh;5186i'ߩ84($6k8+8u88888999_*{0(&6677887791$186o'(,3(*''8(,( *846(.7s858888889&9h*066w6677%88#79<#8(2(!9`l(56|6677*88(777z8<88888899-9/949@9O3@9p5H3(9'' 4,(;:'975*9946'L'J8&6'@&35V9(G(F846(I78P8888989A9*06666757@848>79W 83(M(+3'6!'.&876#' 846Y6%778Z88889969*06[(U6667?7J8>8H9T8=6)'&9l6,(Z6667D7O8C8M7778a88889$9 9=9R9T9f9e95m3660'=& 5,62%'?%%%94(c('8K(e(C6987^7]@7U7`99599N9c9e9j9w99999ѩ 847X7c99899Q9f9h9m9z99ԩ,7Z8Y8c7778w889ַ8 9E668^6#846688999D9)9]9r9y9,667f7q8e8o7779  946688999I9.9b9w9~9*0667k7v8j8t7779 9$ ᩷59V669 466999#9S989l9999˩*067u78t8~78789,67w78v878789  8v6(٩9466999,9\9A9u9999 3l6# 8|6# ֩9466899929b9G9{999թ*06677888 879  ԩ86#$ 9l6777888878899%999i9N999999999᩷5 Щ3{7#  5V,7 s# r p n-5{7##/  9 Ω5D7 $$87(/< ̩5977944779/999M9}9b99999+ 0777888%8*789* 87)' 37# 87#C ©9>4779999C9W99l9999+077"77888/8489E 87#I :l7"7'778884898 899@9J9^99s999999999 :5 37&#  5{,7( #   R%  : 5g70$$872)?9H73` 59737 9X47759(9S9]9q99999:+.07 7<77888I8N89_ 879#c 37$'$687&(9b4(7(8929]9g9{9999:9,(7A7F77888S8X9   9g4(7-8979b9l99999:!+=0(7F7K77888X8]9 871(  :?l747K7P77888]8b8289>9i9s99999999::s :*6 378'$J 5,7:!w(!v!t!r57<((  :J 57V##87X$  9d9 697^7K947I7`9S9~999999::?+Y07K7g77888t8y8I: 87d$ 37O($a87Q(+ ~94) 7S99]999999::G+c0)7l7q78898~8:- w87W(1 u:e>l7Z7q7v7889888X99d999999: : :::-:8 :P6& s37^(%$p 5,7`!('!!!:& ~ :n m57z$$97|$0 z˷ k j6497l(94)'7n9.9x99999: :!:b+~0))77889988:4H ^97r(L X4)-((9)/) 947)18v98999999:):k,77z7788(99&8:?Y V U947)68{9=9999:9:.:p+07 7778"8-9!9+8:D L9 ):)  J:hl)=7778'829&908889D9999:9: :5:7:<:H:W\ r:x6P H4)A(( 5,)C B( A ? =6)E(( U f: <57(V(T907(k QCA  :6`: 7)94)S79Z9999:::6:M:+0)U778?8J9>9H88:`t /9=7) x *41)Y((ͩ9A)[)9, (947/)]89d9999:': :U:+0717778I8T9H9R8:k. !9G)a)?2 :l)d7778N8Y9M9W8889k9999:.::G:\:^:c:o:~ >:6w 4@)h) ( 6,)j i)  h f d;' ( 7: 67({(y9U7)" $hf  6:E7)394)x79999::B:':[:r:+0)z778d8o9c9m88: 9b7)/ 4V)~) (9f))^Q :47T)8999:::L:1:z:+07V7778n8y9m9w8:S9l))dW:۠l)7778s8~9r9|88899:::#:S:8:l::::: :ĩ64e))/) 6@,) )1   `L  :6,7((9z7)G(A%6:i77:4779::":6:f:K::::٩+0788899998:$97$(4z7($97)Wߩ:'4)799:":,:@:p:U:::+0)88 889999:ة97)]:l78 8889999"899:):3:G:w:\:::::::3:꩷6ԩ47(%  6d,7"7("6"4"2;Ω6P8$$98$@۷Le5=J̩6Ω:8)|:B4)89::=:G:[::p:::,0)8!8&88999398:98 )x4))i);9)):L47)99::G:Q:e::z:;,"0788+8088999=:9));$l)8808588999B9G99:#:N:X:l::::::::; 64))x)J 6,) )z   ;-6u8"((98$)6Lw!5b%v:83C@8G8:j:~:::::::;;;!;- +:h48J8:m::::::::;0?,8L8999Y9^9.9::;O:U 7|*:86)988):t4)8:9:D:o:y:::::;.K,)8S8X88999e9j; 1 :y4)8?9:I:t:~:::::;3,O0)8X8]88999j9o;;v$7:8^8K:48I8`:S:~::::::;;?,Y08K8g88999t9y9I;\,8M8i88999v9{9K;  B  A98g%:48R8i:\::::::;; ;H A48T)%f98V) :4*8X::b::::::; ;L,h0*8q8v899:99;  98\)$;jCl8_8v8{99 :: 999]::i::::::;;;;$;2;= R;U7+48c)*%u 6,8e"),"""-68g).),/;u68%!%: 8%7 e79:88u:48s8:}:::::;;$;+;i,08u899#::!999s;H* /:8%B' -5 8y)@%:8{)C:4*68}:=::::;:;;0;q,0*8889"9-:!:+99;CE: 8)I;hl8889'92:&:0999:D::::;:; ;5;7;<;I;W;b9 >;z7P58)O% 6,8")Q"""R%;68%D%B:.8%Z? O:87];8* :4*P8:W::::;:;3;J;,0*R889<9G:;:E99;]_::8*cݩ5.*V))ʩ:>*X*6:48,*Z9:a::::;$; ;R;,8.8889F9Q:E:O9;h ک:481*_9:f::::;);;W;,0838889K9V:J:T9;mҩ:I*c*A ;l*f8889P9[:O:Y999:m:::;;0;;I;^;`;e;q;s;7yΩ5B*j* ) 7,*l k* j h f7B*n*);àȩ7 8))}:Y8*&׷::Ʃ7;H8*6:4*{8:::;;;E;*;^;u;,0*}889g9r:f:p99;:e8*25Y**#):i**a+;48W*9::;; ;;O;4;};,08Y8889q9|:p:z9;-:o**g1;ޠl*8889v9:u:9:9::;;;&;V;;;o;;;;;;ǩ75h**2* 7C,* *4   :&;7/8)):}8*J )7;m**;!48r*9::;;&;:;j;O;;ک,08t89999:::;H:**L5~8x)):8z)w;+488|:9::;&;0;D;t;;ީ,8*89 999::; ;0488:$9:;;+;5;I;y;;-08*89999::;:8) <l8*89999:::&:+9:;;2;<;P;;e;;;;;\;7~58))% 7m,8')'''78))M<x7[**c*:**k ͷUv7٩;**ɩ;M48*::;;H;R;f;;{;<-#0899,9199:::>;tk:**xf58))=:8),d;W488:K::;';R;\;p;;< --08*9969;99::;.]:8)2[:**` 4zQ7;**;r48*:6:;B;m;w;;;;<+-H089:9Q9V99:::c;F:**A58))b:8)Q?;|498:p:@;;L;w;;;;+X+69=;848$;4 ,;;,*;(,=@-ring_sub_comp)==yRl;<<;;;l<. 9=o<6<a<;<=ɩ;<<<6g01<9$;5J;a<;;=ʩʠ;<<;;g0=;> 9};0<==j=======z9W<C=<6ȩ<L<<65=<<T=<6Щ(@;<==x=======>> >>8;> =N4;<==|=======><%,;< 9=;;ǩ=V4;;=o========>;/,0;<< ߩ0g(;<<Π;>d<;;=b4;;={========>G 7;6j6h";ϩ6q=i4;K;=n========>1@,;M;<<ݠ;O>o=o4;Q;=t========>7/E0;S;<<<`0(;U;<<>?>K$l;;<<==J=u========>>>>>->3">_: =;;0;=4;;======>> >>g(7;66 <;60;!9,;6d66c6a6_9;66^>``;<<=<~<>> >>>(>35>t:"=<<R<  ȩ=<< >1><<< ̩0< :$$<66\< :=;< >,f;<=;<>0>= <60<>~9<$0<#===>>&>(>->:>99<%55C><'<&q<)?>5=<+<&@9==[ǩ> =#7C@<1=%>=>>4>6>;>H>G>a>y>~>>s=4<4=(> =>">7>9>>>K>J>d>,<6=4<<<=H===>{:T><:<9=4<1<<=>=>*>?>A>F>S>a>/0<3=2=<<<<=P==>}Q0(<5=4=><<<=R==ǩ,<7=6=@<<<=T==>r=6>>5>J>L>Q>^>l> 8,<>66٩<@q=4;">>;>P>R>W>c>,;p=4;'> >@>U>W>\>h>/0;0(;/>>H>]>_>d>p>>l>2>>K>`>b>g>t>s>>>>p>Ω:{>; >:>>S>h>j>o>|>>%8J<\66=Z<^70<`P :),͠`>>E>*>^>s>u>z>>>>0>ᵩ:>O9\=}=J<{=E7V=z<<1<1< 8r<7!7<}=<7C=y<<7B=<<>9v<9q7=j<7B?*>=< <>)7=<7P14<=<7T=<7V1:<1<<:h,<77>777 :<7@7  ?0v0<>V>>k>>>>>>8/:ϩ><<=<<u0=<<=<<y208<7O7M.=<7o=<7q?!54<>i>>~>>>>>>;9:><<ǩ<S=<<W:$<7`6?0?.:<0<>x>>>>>>>>\:b:$<7i695- ):':$<7n6:?<:<66(C><<+<=<<D5><<V@<<>>>>>>>???2?4?9?]<??N>|4<<>>>>>>>???aS,<===m=r=B>>N>y?1;><7>4>>>>>>???L0Z0 >V?31(>X_,>Z?74>>>>?? ???X 84>>>>>???"?Xn,> ===]>?=4>>>>>???(?^0s0<|==>>===c>%?Cթ1(<~= => >===e>' ><.k۩>4<<>>>>>????0?f?yRl<==>>===l>.>x>>>>>? ??!?&?3?2?A?U?["?p;:>=71=>4<=>>>>??'?)?.?:?x(9 <*8) ><.|1<!:,<**>***?D`<=$=/>#>-===>A>>>>?>??2?4?9?F?E?T3?;N?=)7~=+\">4<=->>? >?&?;?=?B?N?7?$00<==>1>;===>O>?v&><00<=5=@>4>>===>R?p,<=7=B>6>@===>T?r?з>>r>>h00<<=<=G>;>E===?l,<<=>=I>=>G===?n?Щ,<<=@=K>?>I===?p?>0<=C=N>B>L===>`?~,<=E=P>D>N===>b??>9 >E=I8@1=K; ;j$<*j*h<R>U<<?s<=S>4<<>>??5??N?c?e?w?з.?$%%><>> >> z00.t<<=^=i>]>g==?,.v<<=`=k>_>i==??,.x<<=b=m>a>k==?? ĩ`0<<=e=p>d>n===?),<<=g=r>f>p===??ҷ>ɷ: >g<.2 <5?;J<~0=r??"?R?7?k????iG;$=t87-C?[=v8D=xa>v=z85eշ"?d==@==?1?a?F?z?????????,?4==?4?d?I?}?????@,=>>> >=>>??;?o=8X?#4==?(?<?l?Q??????00==>>>>=>>?624(= =>>>>=>>,= =>>>>=>>?֩=>=8P6?.4==?3?G?w?\?????? 9=**_=j?44==?/?9?M?}?b????? ,===>>>%>*=>?کJ?94==?4?>?R??g?????10===>>>*>/=>?q2J(===>>>,>1>> >=!/w?A4==#?<?F?Z??o????@@l=&==>>>3>8>>????I?]??r?????????U@ ;֩?=82P=?L4=.=?Q?e??z?????@%9=0**}>=2/2X=4 ;,=6*****=@(`=9==>>>F>K>>?'?R?\?p?????????0@;?=8=?`4=B=?e?y???????@(>=8é2k=;$=I**%=K?k4=H=M?f?p???????@,>=P/62v=R@D;=T0=?z???????@;=8}8IC?=87=1>=85PA?==b@==??????@@@@>@@@E@i` ?4==?????@@@@ @l^,=>>>x>}>M??Y?@<<?=8ĩ?4=q=?????@@@ @@W1e0=s>>?>>>U??a@>2(=u>>?>>>W??cj,=w> >?>>>Y??e@Bq >>8?4=|>?????@@@@$@b 9=~+"*˩Z= ֩?4=}=?????@@@@+@aw,=> >? ?>>>f?(@F~ ?4==?????@@@@0@f1{0=>>??>>>k?-@Kݩ2(=>>??>>>m?/ ?=/s?4==?????@@$@&@8@n@Zl=>>$??">>>t?6??????@@'@)@.@;@:@I@]@c@x82>?4=>!??@?@@/@1@6@B@%:=+@*?!=/2İ= ;,=++F+++@L`=>,>7?+?5>>>?I????@ ?@%@:@<@A@N@M@\0@18>3d*?4=>5??@?@.@C@E@J@V@?4>88/2װ>:*J??@*@@C@X@Z@_@lA;>L88C@3>N9>P1?N>R9 5@;?U9u@>c?W@8@@Q@f@h@m@z@y@@@@@ݩ?4>f?Z@;@ @T@i@k@p@}@|@@,>h?f>>>?z???@<@F>l>k?4>c>n@@C@(@\@q@s@x@@@ߩ10>e?d?n>>>???@3 (>g?f?p>>>???,>i?h?r>>>???@?h>w>r@4>n>y@@N@3@g@|@~@@@@ :^>p9 9 >r@ 4=>t@@$@T@9@m@@@@@ө,=>?u?>?>??@@4=>y@@)@Y@>@r@@@@@ة10=>?z???>??@#3!(=>?|???>?? ?{>9: @4=>@@1@a@F@z@@@@@@젩l>>??? ?>??@@ @4@d@I@}@@@@@@@@@A<@m>>3'>@#4>>@<@l@Q@@@@@@A%:|>9+9)?>9K13/> <[,>9919995@`>>????">??@)@3@G@w@\@@@@@@@@0A<@>>>g@74>>@P@@e@@@@@@A?>>k3A><$>9C8>@A4>#>@F@Z@@o@@@@@A 3P(>%>???2?7??@s?>9i3M>A<>0>@e@@z@@@@@@~8k8iC@>>é>1?>>5g';Xe@>>̩9@>>@t@@@@@@@@AAAA@@^4>>@w@@@@@@@@AC5,>???O?T?$?@0@[A<@>9@f4>H>@k@@@@@@@@A.2<0>J>???W?\?,?@8Ay3w(>L>???Y?^?.?@:A,>N>???[?`?0?@<A'?>9y@q4>S>@v@@@@@@@@A9 :>U++1>W@w4>T>Y@r@|@@@@@@AA8N,>V>>???h?m?=?A4@|4>Y>^@w@@@@@@@AA=2R0>[>>???m?r?B@A"3(>]>>???o?t?D@ ?>d0J@4>a>f@@@@@@@@AAEAX1l>i>>???v?{?K@ @W@@@@@@@AAAAA A4A:AO=@>93>@4>q>@@@@@AAA AAW%:>s,+?>u0[˩3>w <,>y+,+++Ak#`>|??@@ ???^@ @j@@@@@@AAAA%A$A30Ab=-@?9֩]? ;@4>? @@@@AAAA!A-AkV4>?@ @???i@+@uAR@>xAzA@ ?93? =2$>,2,0j>ȩ@4>>@@@@@AA'A)A;Aqc4>??&@@$???v@8AV@9AA@>0}ϩ3> A<>10?%@@A@AA3A5A:AG<?'99CA?)9~?+\5@)?-99,h멷=WA@;@:@4@3@=@A-ABADAIAVAUAdAxA20@5???@S@@@@A@4@A@/ߩ@4@9@C@A3AHAJAOA\A[AjA~A;*@;@=xw@4?K@?A AA9ANAPAUAbAaA{Aũ20?M@K???@_@@@Au@@@C:H@4?Q@EA&A A?ATAVA[AhAgAAyAl@H@R???@f@@@@A)AABAWAYA^AkAjAyAAAAAAԵ=sA3@W@V@Y@N@[@I3@]3@\=t$@V4=h2@Y@X@[:`Щ3@]Aɩ@\@_:d==@aq0@nA*A^AsAuAzAAAA=AN@r@q1;Y@jHF =4,@l@@m?yK=/@o@oMM@n@q:v=lK=_@tR1Aࠩ`@w@?@?@@A AA(AXA=AqAAAAAAAAAB=+@88+CAb@@--CAd@@@(KA@/ =Al@:A 4?@AiANAAAAAAAB20?@@@?@@AA'A@@:I;}?9C?A*4??ACAsAXAAAAAABA,4??AEAuAZAAAAAAB30?@@@@"?@@A)A4=(?@@@@$?@AA+@??A44??AMA}AbAAAAAABBl?@@@&@+?@AA2A<APAAeAAAAAAAAAAAB%=ʩA@:ĩ@@@:M=$?9_ѩ ?Ω@??ABH@??4P?"B@??=?0@AAAAAAAAA=A@:zb;?9t, =,?9v=?9x9v)B/`?@@@M@R@"@A.AYAcAwAAAAAAAAABB %BL=z@!#CA@:%%CA@: #@ @ EAPA ~ =A@:Ao4?@AAAAAAAABB]3E0?@@`@e@5@AAAlAvB* @@:;?9J 3?OAy4??AAAAAAABBB^3O0?@@@j@o@?AAKAvB.M@??KBQ *l?@@@o@t@DAAPA{AAAAAAAAB B BB$B-B9B:&Bn>A@;  C@*)@@:>$?9 I@@@?@@@?@@?BBxk@@ @MBi@@ @ e=ݠ@  0AAAABBBB'B&B5&>>.K;@9u   =,@!9 =@99r\BxI>7AA;1/<A<;3"L4@@#@@B=@&@@'B9Щ=@)B9"G9ҩ"B@+9=@-9֩=@/B9"<"+"$ @1 99ک"@39 "( @5B99"S"B".A(@7@2A*@9@4A@;@;@3=@==@<9>-@@@ABAB.BCBEBJBWBV? >/@@BABAB0BEBGBLBYBX? >*@@DABAB2BGBIBNB[BZ B??>%@F99Aĩ>'@H99>)@J99C = X@MAAAK@@@A_AAAAB"BB;BPBRBWBdBcBrB}B>kB+AE;e\;@"}41/9*("O$AF@U@PAH@W@R@G>F@@YAB.BBGB\B^BcBpBo">,@[f:eca"><@]::$@MB( =v>AV4AUAX;]AWAZ;_ALA\A\;^Ku;WCBDA^;~CBFA`; Abηn>BO@u@tB4@l@wBBLB1BeBzB|BBBB30@nAmAw@@@AABBaשAl@{@v]թ<`@r;;  @tYB 4?@vBB&BVB;BoBBBBBթ,?@AwA@A@AABC B4?@zBB*BZB?BsBBBBB٩30?@A{AAA@AAB_5"(?@A}AAA @AAA|@;;eB4?@BB2BbBGB{BBBBBB l@@AAA A@AABB!B5BeBJB~BBBBBBBBBxC>Bo@@ @_A@@aݩ>$@;-: @éB+4@ @B0BDBtBYBBBBBBgC.$__B%@XBAYB[A40?@@@AAA"A'@B̩ ,?@@@AAA$A)@BC/bHa 0@@@AAA'A,@AB`^B!d=< /A@;`5D@3CA@;d)>@ 0@B^BBsBBBBBB>שB@@<@;Q;O >},@;';S;&;$;"$>@;U;!&8C# `@@AAAAAFAAB"BMBWBkBBBBBBBBBBC7>n@:r:p2CB@@44CB@@̩!@3V,*/sv>B@@թBd4@@B}BBBBBBBBCI4:0@AAAUAZA*AB6BaCj8A@@g6<@;p;n!(@eaBn4@P@BsBBBBBBBBC64D0@R@AAA_AdA4AB@Cg]A@;k[CF!l@@AAAdAiA9ABEBpBzBBBBBBBCBCCC(C.yGCZ?B@@!8@dTA@@f6?$@;:!>@B4@f@BBBBBBBCCCL zA@;KC[A@;r>Ϡ@!0ABBBBCCC CCvf? I<@;;   >,@;n;;m;k;i>@;;hZCjG>A::CBAA  CBAA!\A*x:q4ot?5BAAB4AABBBC C C"C'C4CBC40ABBAAAoB1B{BC^w}BA!At{=A;;!mAKrB4@ABBBBCC*C,C1C=C{40@A)BB'AAAyB;BCbtBA ;xC!dlA#A.B"B,AAA~B@BBBBCBCC1C3C8CECDCSC^CmCsC?MC A3A2!}A5KqB(A7A2s{?K$A.;;9!A0aB4@A2BBCBC+C@CBCGCSC!B1A5;CB3A7;?A9!H0AGBCCC5CJCLCQC^C]?e=.A@;;   ? ,AB;;;;;?.AD;;C>AS::CC/AUAT  CC1AWAV!AYo:y?yC9BSCnCSCCCCCCC?zA;D;B?ש=A;I ?^,A;K?A;M;KDյ?MBzBB<CCCB<CCB<©!BWMUз>@TR?ѩCAACE4AAC^CCsCCCCCCD*50ABBB6B;B BCCBCIBAAF=ABAA Z;?pCCBsB "BBu"=B4C4BBxCDDDDDD"D-D<D!0BBBOCC[CCCCDG4CCB|Bm@CB~CDDD DDD(D3DBDWDtD}DjC4CBCD D DDDD+D6DEDi,CBBXCCdCCCCDPxx@+@#$C;qBCCBBCCB?C4C CCDDDD"D/D.D=DQD!t?CD@:Y@2$C; CC C CQ?,C"O;NC C$C$C@;LVDD@FDBB@C4C,BDD1D3D8DEDDDSD^DmD!1CBB9Lh>C1;>;D pC5BBBCICCCCD CD%D:D<DADNDMD\DgDpDvD|D}DDlD?B9g8 CDBBO@C;BD+D@DBDGDTDSDbDmD|DDDDéC4C>BD.DCDEDJDWDVDeDpDDƩ,C@BBCTCCCCDD$IHpe@eD%BB@BBDRDWDdDcDrD}DDDDDDDDߩC4BBDTDYDfDeDtDDDDDة,BCcCCCCD&D D?DD@e$B8@Y86B֩6Bթ@BBD\D^DcDpDoD~DDDDDDDD6BC4BBD`DbDgDtDsDDDDD,BBCqCCCDD4DDDD@-ring_opp_comp04BDiDkDpD}D|DDDD DƩC4BBDkDmDrDD~DDDDD7(BBC|CCCDD?D$ @<BD͵@DLBBD4BBDyD~DDDDDDDD7(BCCCDDDKD0Dd'7 Bȩ7B,>^B8ѩ>W8##Dܠ"`BBCCDDD$DTD9DmDDDDDDDDDDDD0E@'B>`>E CD^BBCD`BBCDbBBש@C BDDDDDDDDDEE EEC ED4CBDDDDDDDDDE,CCCDD!D5DeDJD~DN?!䵩@DrCCD&4CCDDDDDDDDDE!4CBCCD#D-DADqDVDD>D@DD+4CCDDDDDDDDDE&>?W>/EE>C99E1E/שD54CC$DDDDDDDDDE/4CC+BCDD2D<DPDDD BgE 3E>D:4CC)DDDDDDDDDE4Bk?f$CC2CCDD9DCDWDg9EDED|@)Ppow_N_okxC5C:C CDDADKD_DDtDDDDDDDDDDDEEEEEAD?@bC899DK4CC:DDDDDDDDDEEEbE@ݩDCCCBEDnE@CLE0@%pow_N ݀,CMDDDDDDDEvE-@$CJ99+ ,CLDDDDDDDE\EcE1%%@CN'D@*rpow_pow_N<C[DDDDDEE EELEUE[EaE;D @%N_ind@?q4DC`B,CbDDDDDDE ErEGDu4CCdDDDDEDEEE(EoB;rEKA DCpCoCCmCrE7?ѠCo??J?ԠCw?Cv>Cu:(9ܩ?٠Cw?CCCCzE>?ޠC?QEb?XCCCUDDaDDDDDDEE EEEE*E5E>EDEJEK@C9^9\CDCCCDCCF,CEEEE%E$E3E>EG1D4CCEEEE'E&E5E@EIEUEF?lq5DDB зDDFDDDC,DDE EE E%E2E1E@E{D4DDDE E E"E'E4E3EBEVE @"(DCCCqD3D}DDDEgEDDQ  ABED><C,DDDEE-E/E4EAE@@C,D EDEE/E1E6ECEBE\EtEyEEEED4C.D"EDEE1E3E8EEEDE^E >9"(C2D0CCCDDDDDEwEĩAF$C4<ODC6C6C.@C-C8DE DE&E;E=EBEOE]E~EEEEDC:C:C2D,C<DEDE*E?EAEFESED"C>C>C6D$C@C@C8D4C7CBDEDE0EEEGELEYEgE 0B# (C;D:DDCCCDXDDEEA,CHS<RD.CJCJCBA2<A,CM<<A5@CODE$E E=ERETEYEfEeEED4CFCQDE&E E?ETEVE[EhEvE©#0CHDGDQCCCDeDDE#0CJDIDSCCCDgDDEA'CWEAvE6DP>p2mAp$C^=y"DDC`C`CX"AH@CbEE7EEPEeEgElEyEx,E$$ACCd= = &E쩷AECD]>}D4CkD_E@E%EYEnEpEuEEEE#10CmDkCCCDDDDE©#30CoDmCCCDDDEEAADUDeDe>gD4CsDgEHE-EaEvExE}EEEE?XCu=&D[CwCwCoթE4CnCyEENE3EgE|E~EEEE&E٠"DpC|DpDzCCCDDEE E!EQE6EjEEEEEEEEEEEEAEZDt>DfDvDv>xVV?gC=-&&AB,C=/><HE栩"QpCD}DDD CDDEEE.E^ECEwEEEEEEEEEEE[[FA0D]שDqDD> CEiD>Df,DEfEKEEEEEEg!E4CDEhEMEEEEEEEF  >e!E Dŷ xA?C=Ed%^EAyA$C=JicTccAsCeFAKDx&CED>D,DEEdEEEEEE!KE84CDEEfEEEEEEEF& >~!OF=CED,CũD,D.EEEEEEEE> EA4DD0EEEEEEEEEF; Cr l> FCED4Cͩ,D6EEEEEEEEF|EI4DD8EEEEEEEEEFCCz tFFCEDAD@-@D>DCEEEEEEEEFF4F=FCFJ D@FSF%ES4DBDGEEEEEEEFF FN*,DDDDE%EPEZEnEEFF)FxFvFjFhFbF`F_F]F\FZFUFSFPFNFKFNFIFGFBF@F4F2F)F+F'F%F$F"FFFFFFFFF F FFFFEE;;E;E;~|{ywu!ED$FJED%E EFCFJFgFpFvF|F}FFFVCEE ?d@DJE FFFFF*F3F9F?FBFzFFFFZE4DLEFFFF!F,F5F;FAFDFFaCEE?E4DREF FFF'F2F;FAFGFJFE@*norm_substGeFFFFFFFFFFFFFFFFFFFFFsFqFhFjFfFdFcFaF\FZFWFUFRFUFPFNFKFIFGFEFBF@F4F2;;F*;F;EEE@/norm_subst_spec2|EBEEEEFEFF3F5F:FGFFFUF`FiFoFuFvFxF}FFFFFFFFFFFFݷFFϷFFǷFFķFFFFFFFFFFFFFFFFFFFFFFFF}FzF}FxFvFsFqFoFmFjFhF\FZ<<FR< FA< ܵEEӷ·EF@FXCDFɩV,DEEEEF/FFHF]FFXF9BxF8DD@DDFeFjFwFvFFFFFFFFFFE4DDFgFlFyFxFFFFFF`,DEvEEEF F9FFRFFBx$D:@DDFkFmFrFF~FFFFFFFFFE4DDFmFoFtFFFFFFFh,DDE~EEEFFAF&FFFB>DF8@-norm_subst_okĀ|DDEEEFFFKF0FdFyF{FFFFFFFFFFFFFFFFFFGBFTDD/F4DDFFFFFFFFFGz-@bD:(F 4DEFFFFFFFFFG$F⠩|EDEEF FF*FZF?FsFFFFFFFFFFFFFFFFGG G GG?jpEDEEFFF,F\FAFuFFFFFFFFFFFFFF% FGCF$E- (@FwFF;DF398FoFlDD4GTm M9 f?Ǒ