"`"ܰ&finalg'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#div)ssreflect(mathcomp@0W~ě o+ N%tuple)ssreflect(mathcomp@0ýޑР&finfun)ssreflect(mathcomp@0ƜNtD砠$path)ssreflect(mathcomp@0*%)bhcFrY%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!Q1cfzv|-P,Р&finalg'algebra(mathcomp@A'FinRingA(gen_pack @$typeJA @@@)base_type (class_of@J[B@@JC@@'base_of)to_choice!TKE%@@@BA&choice)ssreflect4&Choice@/+茢@)base_sort@DKWFC@@$Pack*KՠHM@@@E(@LIW@@I%Class?!LѠLb@@!b@'fintype<&Finite@(mixin_of*\\k@&eqtypeH(Equality@$pack OXT@$base;]_8a_HC*base_class"bTGF[o{*OU@@H=j@&ssrfun#ssr#Coq@@(phant_id9Z!|]*y~"fTQ@2@!mZQ@ qD@A{K}JD@.l@]$@r@$sort X Mz@%classAXK[Ʃ#_aa@ܶomen_@^KIDB@3P h+k()    "  &'@@*O@r@A@A@A'pנZm@AA'q[p@A @ABA @A@AA@A@ABCA@A:^dL@AAӹ(mo@A㳠L@ AM@:dޠRA@ABCDE@@AA@@A@*groupMixin @!V&ssralgL%GRing'Zmodule@V$]@(fingroupW(FinGroup@%MixinkH𩚠@$\M9@$zero'}nA@#add'pG@#opp'pM20&Theory@%addrAW @%add0r߀]@%addNrc@K&ssralg'algebra(mathcomp@%GRingN@$type$]@(fingroup(mathcomp@(FinGroup@(mixin_of*,@ @$sort$\M +k7 7 7 7 7 7 7 7#' ;haxqTHAXTxcXnh@@@>9!ؠHDA J6@A@@Aۑ,<ߠ!M.PY@@@@=B@@HA@*'ssrbool[@*@@#!@ =B@춐%mixin@$[@@@AB@BB@P@'/@@@@AAB@BA@AAOM@@.P@M@A@A@OA@QA1N@UA>6!E@ABC@Đ @db!cYn @Q/@1ABB@@@@@,U;YX0SQGI@$" +k()= R '>''+k7$'"IAB|o@@@@@Mo @=;2?+'v D@--+q65t@QO9.|$~! +k()= R '>''+k7!7!7!7!7$'ࠑI̠?_AB|:*@@@@@Α,<@@1P\A2Q]Aߐ@@@@@@@@ CC@ @-/@@@AACBA@@@@@1P@&@A@2Q@$@A@AB@*A @A@à @!t@-/@@CC@@@@@@8萷;:@ķ@6@= +k= R '>''+k6'Fx6ACp@@@@@ @5J@C5#$4'ٜ5AA@Z% @$ݶ@8!搩Ѡ5@wuoĩ;k0W 6 + +7777777 k() :'() ;' 1dt$T\D2Lp\W|(L@@@8@@A@@>9!ؠH=@@AB>:"I@@@Az@AA@A}@ABCfA@jA@AA@A@ABA@A@AA^@B~@ABBB@B@ABb@]B@UB@ABCDEF@@tƐ @"cT@@@@@@B#cT'mn@-.8yw@ +k= R '>''+k7 7$'ACp|@@@@&eqType @4Ȑ"xT59蔑6Qa@@ǐ"T0k 49©zҩޠԩhֵ@-钀B@UB +k= R$'>' 7 7! 7! 7! 7 ;'+k6'^#@FxShx:܀@@@3@A]A@`A@AaA@cA@eBF@ABCD@@*choiceType @:WUS@K=a@AMJ@D +k= R '>' 7 7! 7! 7 ;'+k6'ࠐc@Fx8XhƐxẁ@@@p@AAӼ)*r9@Aӽ)is=@?@>@ABCD@@;)countType @wQ)Countable@"@A@%base2 ce=@}.j@ +k= R.'>' 7 7! 7 7! 7!: 7! 7 ;'+k6' @FxРhx*ː@@@@AA^Q@A_QG@ABA@A:a!O[@@@ABCD@@'finType @"꩜AM@)" +k= R*'>' 7 7! 7 7! 7!: 7 ;'+k6'0@Fx%ʐh_x[ @@@@A9@1A@A2A:eS@@@ABCD@@Ϡ(zmodType @\ (&$A@cѐ +k= R'>' 7 7! 7 ;'+k6'Рj/@Fx_!hx@@@@9@AcA@eA@@ABC@@,join_finType @;XVTj䐩@@F܀@n  +k= R-'>' 7 7! 7 7! 7!: 7 7 ;'+k6'  e@Fx̠:Zhϐxː|@@@u@A@o@A>@A=@?@ABCD@@<0baseFinGroupType @x.@} ܟ@AU@M0IG9@X@ h+k7 7 7 7 7 ;'РVtܐPdX!@@@@A DX@A@@x,finGroupType @ͩj@Ku@An@P8Gѵ?@ě L+k7 7 7 :'XtOd@@@@@5join_baseFinGroupType @1hb]@V t+k7 7 7 7 7 7 ;'РPt\djXt@@@@yAS@A@@ɠ1join_finGroupType @V" Q@3/ɞK@JGҐX td@@@@@ꠠ'ExportsGA@@@@@@@@@@.P@A1P9@2Q8@6Q@B@A@ABC@@@ABC@@AA@lAM@AB@@A@@A~@@ABCD@@A@~@F@ABCE@@A@B@@@ABCDEF@R@A@B@CDE@@@!@ABCDFG,@'zmod1gE @@|@!U]%Logic$Init@"eq @@$oneg mM5P@@@A1DH@A@@I'zmodVgE @@A*!x˩+=@KMө&@$invg |p*Yr@@@A#@A@@j'zmodMgE @@BK!궐!yM"'E@$mulg ;Ox1@@ @@'zmodXgE @@CiĶ!n)Datatypesi@#nat@K۩t'i@%expgn!iD,{@&natmul8z e)@@H@@*zmod_mulgC @@ Dg0F@'commutevf?@@@@@à,zmod_abelian @@ E!A&finset@&set_of514穜n@%phant)`@A[P@'is_true#œ@'abelian?n@| ]8@@@bA*sRk@@AB@@$RingLA5,<9!R<vE@ABC@Z @TRJk@q@yABB@@@@@\tP"SxJ?)5+-KJ@wum# I"FAB|j@@@@@ @;2+odNZPRpTF@`Bu87@QxƩnȩҠʩ̩m +k()= R '>''+k7!7!7!7!7!7$'𠑑ܠРcAB|/@@@@@ޠ @ؔ>Si!@@3@ށ@ɐ d+k() 7! 7! 7!:'ĐLhX|@@>S@ @A@A@"AR@$A@&A@ABC@@N,<R@@ATlQABTmUA @@@Ŷ@@@&@@? CC@2@rF@@<<<@AAC;BA@@@@@AT@%@A@BT@#@A@AB@)A/@A@B @@F@@CC@@@@@@6e8@@4@;}Cx3ACp@@@@@n) @|$-P@;Y@UomXHV@;1G9A"A`@;?@*3a@#lg R#@3E)[ 6 + +7 +"77777 k() :'() ;'() 7! 7%'$l9\5tLqd6LؐࠑdT@@@>=z@ @A>>%{@ @@ABw@v@AA @ A@ABCr@s@A B@ B@B@B@ABCDE@@堠7 @q@@@@@@Bo@S2  [۷  @ mACp|@@@@l @k/ԔFUq Y@@ 0 >ķi 3 ) 9E ; = ?@, 7B E@i +k= R('>' 7 7! 7! 7! 7! 7 ;'+k6' V @FxMbh8젒x@@@@AHAo@JAm@ABKAj@MAX@OA@QBI@ABCD@@jl @(WUkKH @,eF@FxMThpܠx@@@V@AAe@Ad@A6@5@4@ABCD@@b @)[a~X  S J@^ ـ @8jU 0+k= R6'>' 7 7! 7! 7 7! 7! 7!: 7! 7 ;'+k6'( x@FxʐܐȠht$ࠒ.@@@A(@A@A@ABA\@A[@AA@AZ@A@@@ABCDE@@X @yEةWN@} v ,+k= R5'>' 7 7 7! 7! 7 7! 7! 7!: 7 ;'+k6'$Q@Fxd!ԠԐĠ۠t p@@@B@A@A@AB<@ A (@AA\@@@@ABCDE@@ *[ @Z  @ ( +k= R#'>' 7 7 7! 7! 7 ;'+k6'ࠐR@FxId t.ؠ@@@@A=A@?A@@@ABCD@@ Z+finZmodType @HFd< r@Рx:@Fx|Bh^@@@jA@AkA@D@@@ABCD@@ (ringType @FusAle @M Рg@Fxohx@@@q@AA@A@M@ABC@@  @Bt D_@>5"   @А ,+k= R5'>' 7 7! 7! 7 7! 7! 7!: 7 7 ;'+k6'( x@FxX젒Ƞhࠒ̐ B@@@@A@@AB@@A@@)A @@ABCDE@@ 0join_finZmodType @TFY @ +k= R'>' 7 7! 7 7 ;'+k6'ࠒ_x&@FxhWȀ@@@@A@E@XA@@ABCD@@ * @ 琩@j*ր : @2=ف A@鐐Рt dXPX@@@@CA@A@@ \ @IG㠩@- j 7@$ݐېh`穚@+has_quality.=j@Q ++@j A  2@)inPhantoma^H @,left_inverse:A  A  @@@P@AA(: @A*ɔ G@ABA*p* J@A+rz P@A (A@ "A ůM@AB %A'hyx @ *A ]@A +A*Z ^@\A@^A@ABCDE@@ /%mulrV @@ G*oCjD|Q| KQLK @-right_inverseF@@?@@ I*intro_unit @@ HDQ@+@#andЖw@3vem6vo~9@&in_mem&0 h zC @@@dAT@Al@j@AB A1@DQ@A*ˠ @X@A1GKZ@ABCD@@ (invr_out @@ IIŰl@-simplPredTypeǂr@%predCt怠y@-pred_of_simpl@0pred_of_mem_pred+蠭`ǩd  ĩÐ L@%eqfunF`n ͐@@@ @AA@L@AB@A*̈ @A@@ABA@@A@@V@ABCDE@@ Ԡ)UnitMixin @  (UnitRing@ V@A 㩚@+  @@y@p$t @  +k7 7 7 7 7 7 7 77"8'$*X$H,hx(x&hA@*X@@@@@ '@@@S"@AT@BT@FU@ @A@ABCD@c@A`@@AB@@A@BC,@.@A,@\@A@BC@@A\@'A@ABD@@@AB`@^@@A@BCDEF@@A@@@A@BC<@@@ABD;@8@A@l@j@ABC/@/@ADE@@A@@A@B@ @A@ABCD @ @AC@B@@=@A<@@A@@ABCD?@@A>@@>@ABC@t@ADEF @@A@@ @ABCDGHI@'ComRingA,<uNWy@@@@sj   %@7@ k`V l@\A݀Y @@ BB@;@@@  @AAB BA@AA8@@NW@8@A@A@;Axh @A>A @@A @BA @DAr@ABCD@ ʠ~ @O &f@ @ABB@@@@@ ̩T W  O @t % $JAB|p@@@@@ ) @ =4 -ᐩ̠֠© 0ĩƩvȩJ@(uȀ / M< F;2@ U:< F>@B㐐 +k()= R '>''+k7!7!7!7!7!7!7$' 젒ࠒ'oAB|Р g@@@@@W  @QPXb{@@ Mv6@ (L@` VyΐLh\|@@PXb@@A@A@!A@#Ar@%A@ABC@@Ƒ,<@@SY~ATY^A}  @@@Ͷ@@@@@  CC@5@(y@@   @AAC BA@@@@@SY@%@A@TY^@#@A@AB@)A4@A@ @ @(y@@CC@@@@@@ 6ݐ 08@@4@ ; Cx3ACp@@@@@栠 @ $-\@0C@ ardTb@QCd9A*Al@S rl@@x ' ߐʠ#~@}pnh)d)[ 6 + +7 +"77777 k() :'() ;'() 7! 7! 7%'( *lࠑ<\LqdMCt 𠑑lTCL@@@5k9@@Atl<@@AH@AB @ @A @}@ABCB@Bm@AB1@B@JB@BB@ABCDE@@a @ @@@@@@B @(P ߷b@   鐰ACp|@@@@  @  / ؔXZZC@@з N 3] s@(_WB@ < 琐 +k= R,'>' 7 7! 7! 7! 7! 7! 7 ;'+k6'$h^@Fxx =fȀ@@@QA!@A)@SA@ABTA@WA@AXA@ZA @\BP@ABCD@@  @ y3 E^\ RO@ }7 萐 XOhW@Fxx# ֐z젒@@@=@Ae@A @ABA @:@9@8@ABCD@@$  @ j |  ߠ=? ڠACc@ (SH@ { ސ P+k= R>'>' 7 7! 7! 7! 7 7! 7! 7! 7!: 7! 7 ;'+k6'0Ƞh@Fx2xn蠒 !ؠ ȐD @@@@AA@A @AB@A@AA @A @ABA@A @A@@@ABCDE@@  @   Y@ @+k= R:'>' 7 7! 7! 7! 7 7! 7! 7! 7!: 7 ;'+k6',Ƞh4@Fxjx蠒 oؠ Q4?@@@@AK@J@AB@I@AE@/A@AB0A @@@@ABCDE@@Ġ  @P 53 )$@T /&hu.@Fxx Nܠw@@@@A8@cA@AdA@ @ @ABCD@@ @=Ohf\@A6 ࠒZYha@Fxېx~̠@@@A@AA@@Al@@;@ABCD@@' @m>@q  ࠒh@Fx$x̠א@@@p@A@A @A @j@ABCD@@V+finRingType @Ʃ ߰+n@  Рh@Fx8xې@@@A f@AA c@@ @@ABCD@@+comRingType @󩜠A@ Рh5@Fxx 4@@@Ac@AAa@@@ABC@@  @> #!Ȑ@>XZ@: L+k= R='>' 7 7! 7! 7! 7 7! 7! 7! 7!: 7 7 ;'+k6'0$Ƞ "!hp)@Fxx蠒 ؠ U@@@@A@A@@AB@B@A@@AB<@@@@ABCDE@@ @EWpnM@ +k= R#'>' 7 7! 7! 7 7 ;'+k6'Q edhl@Fxx+؀@@@A@A @@Av@@E@ABCD@@10join_finRingType @x I@ې6ࠒh@FxxZȀ@@@A C@A@@@s@ABCD@@_# @Ω"ĩ@輡oŐ@r Lv@Р XՐdtP<@@@@A@A@@ @@b3.GzQ7@'<6)2[ΐ(l8\4tLpd5LАࠑmT@@@̢@S@A @V@A@AB@@A@ J@ABC SA\@BO@AB;@B@AB@B@B@ABCDE@@0 @@@@@@@B@;G.TS1cY@ ACp|@@@@^ @/ٔe]P@@{Yз 氩3t,B@< B@ ϐ$&\@FxSȠNf,#hx@@@QA @A)@SA@ABTA@WA@AXA@ZAa@\BO@ABCD@@ @G3][QN@K7  f점V@Fxi`hx@@@=@Ae@A@ABA@:@9@8@ABCD@@ @~jJ M  Ub@<Հ@{ΐ0D@Fx kxݐ:蠒ؠȠhՐG@@@@AA@AV@AB@A@AA@A@ABAX@A@A@@@ABCDE@@L @Xc@Ր͐,4-@Fx dx*蠒:ؠȠh"@@@@AJ@I@AB@H@AD@-A@AB.A@@@@ABCDE@@ @20&!@  ɐ𠑐;ܠq+@Fxhu;2hɐx@@@@A6@aAp@AbAn@ @ @ABCD@@à i @O;ec̰Y@S?ࠑn̠^@Fx/ېxeh@@@AU@AAR@@Aj@@9@ABCD@@ l @kK k @oࠑ̠@Fxːh)x@@@n@A@AN@AM@h@ABCD@@"̐ @z©(9@䐐OР͐@Fx7xh@@@A1@AA.@@ @@ABCD@@N,unitRingType @臭Ai@Р3@Fx*hx@@@Aa@AA_@@@ABC@@}~ @ 簩Ő@>J@8ː0.@d@Fxx 蠒tؠ:Ƞ1h\ː@@@A@A@@AB@>@A@@AB:@@@@ABCDE@@ɠ ΐ @UA!kiҰL@ʐ𠑐sؠc@Fx4x^(mh@@@A]@A@@Aq@@@@ABCD@@ɐ @rR}@ؐ ࠑȠ@FxxVh@@@ A @A@@@m@ABCD@@' @ǩ䐩@g"Ҁ7@)Q}>@搐Рtd PX@@@@A@A@@Y @ࠩ@*`g7@ڐؐTM@F֐ࠒWtPΐ\d\XL@@@@A+@A@@ؐ @-CA( @ =넔H@GXidt@@@@@גA@@Ր@@@@[[?@A][}@`\RI@a\H@e]@c@A@ABCD@B@@@7@ABCD@J@AG@G@AE@BCEC@@A@@A3@Bi@i@ACD@@@@ABC@@ADEa@@AA@<@AB@@A@B@@ACDFG?@B@A@B@n@Am@BCC@=@A<@E@AB@@ACD@@ABEB@@@K@ABCDFH@'unit_of,<#phR7Ԡ @@@@$Unit@> 3 Wfש U Q @'}4 0@@IBB@@7m@@FF@AAB@@A@BB75;@@@4A $@A5A <@7A ;@AW@A @ABCD@T,unit_of_rect @OͷNL!P!ul@am@g^ R@@!f!N!i 9     RU1%As,*Y*BBB@@@@D649@ ><-+=J +k()= R'> % ''+k$'gAD|@@g^ @A@A@A@@@+unit_of_ind @'ZXVAL@-`"8AD|@@@@@ʠ+unit_of_rec @C·vtr@@}x@NͶ C @+k() 7&'l@@@@@렠$uval @dBhg@@@@B ܷ@tʐʐAB|@@@@@,unit_subType @* D@'subType:t}@Aũ0@@:Jg,ݷ!Kϔ@@#K_S"Px\ɩ ఩.Txvr!_̷Bð@@@@@ex m7:e@*vrefl_rect+ [3K@f䩛T6&7NQ +k+ 7 7! +F +i 7 L7!8'7 7 7 7 77"7 7 7 7 7 7" 7 7&'()= R'> %''+k$'() :'4ؠΰĠ(t3HXAӲ&h@A@@/unit_choiceType @GALr@ V@(H@r4x \@1 |+kG 7! 7 7 7 :L 7!;'|ljd\!H@@@yAӾ)t@A@@ڠ/unit_countMixin @Sҵ@.sub_countMixin? I@( B@ X&e@@h 0X$x0Ġ|`J ѐF젒4DlA@@@@ARN/@A@@+.unit_countType @&%@#ө@k;'@A۩I@G0L@}HQ@rM@B񐐠 lH|d\@@@A`Ql@A@@h1unit_subCountType @cb}`@,subCountType|@AS1@n쩛 " @+k7 7 :'h@X@@@2Aԉ[?@A@@-unit_finMixin @ @/SubFinMixin_forQi|@> AAީh@ 2Y_@-sub_countType>~@@2Ґ <+kGL 7 7 + 7 7#'7 7 7 7 77"7 7 7 7 7 7" 7 7&'4ࠒG|`v(F\PHpA@@@@A@@@AB@@,unit_finType @seTɩ@w,^܀ @~M lאHԐ|d\@@@A:f\T@A@@&/unit_subFinType @! ;@*subFinType @AT1@, ]h=X@@@A<Y@@AB@@O%unit1 @JIdGigh~@#٩6@&unitr19?ɀ@[d d+k7 7 7 7 7 :'tXd@L@@@@A@@~.unit_inv_proof @@Jy&&`@'p@#val&$q@@@Q@AP@A@AQ@@O@ABCD@@(unit_inv @ KI%Y#a;`@96@ +ZX̩K t+k() 7! 7 +7 7 7 7!:'7 7 7 7 77"7 7 7 7 7 7" 7 7&'4HE( 4 ܠq`Th&h@OtXA@@@@@A@@?@@ABCD@@.unit_mul_proof @@TK p!vH  g@,#`_!b@@@@A@z@AB@Ad@AA@@e@ABCD@@(unit_mul @ 4Ʒ)-&שA%©MAA<@@ #р4IG@. 8<ڠf +k() 7" 7 +)7 7 7 +G7 7 7 7":'7 7 7 7 77"7 7 7 7 7 7" 7 7&'7 7 7 7 77"7 7 7 7 7 7" 7 7&'8cLnHw8pl H X(  T,d4 tlt젒`Ԡx_ࠒ<A@@@@@@w*unit_muluA @@Lr 𩚠@+associative(! B@jħ<@@@@ 2A@AB@@*unit_mul1u @@M -@'left_id @T;2C@@@@ ?A@@ABC@@*unit_mulVu @@ N %@ġ5@@@@/unit_GroupMixin @ 7f)ɩDʩ˩@XPԀЩ@CKթ@-N@ M@*,@ +k7 7 7 7 7 7 L7!7#' xҐhXX>HWh)h|@@@ A J@A@@5unit_baseFinGroupType @ ̰@Xp m"@#/j @ Ɛ `+k7 7 7 L 7!;'{dtʐHX@@@ AT@A@@:1unit_finGroupType @5 4O2 M@@f靀 It@> ːzXh@@@@@Y)val_unit1 @@ OT ҩ8 " $ t1$ xBfxc {@@@V@ A,@ @ABC@@t)val_unitM @@ Po +d@(arg_sortڀA]ce׵H :  BQ@@@G@AF@F@A@C@ 9AQ@ABCD@@)val_unitV @@ Q O$x / 1~Jc B@@@@)val_unitX @@!R $#!c1&/  B@#exp'p# Ґ@@@}@A|@{@AB@@AZ@ bAF@ @ABCD@@Ϡ(unit_act @ HǷ] ۷| @ Qew(ܐ \+k()7 +7 7 7 7&'7 7 7 7 77"7 7 7 7 7 7" 7 7&'4pؠi 3ĠH <P2(s\tېA@Ѐ@@$@@ )unit_actE @@!sS >e*@Vĕé< !8y@@@@A@@Ay@@@ABCD@@ 2+unit_action @- ,G*&action !@+TotalActionmЩM@;m4p!Iq(!J @%mulr1(UUwy!aؐ >@!Iq䀐! !2␩  9@%mulrA(Ueb&!)**!-!@f 䩛9@7$7@5!@'setTfor6B i@+arg_finTypeXs2   +k+ 7 7 7 7 7 7 7#'()7 +)7 7 7 +G7 7 7 7#'7 7 7 7 77"7 7 7 7 7 7" 7 7&'7 7 7 7 77"7 7 7 7 7 7" 7 7&'Hx7TȠؠVt  X<t+` dJ  o$Ԡ%0ࠒHThDH|A@pp@@@@A@@AB@@A!3Ab1!@CA!@ADA @FA @HAo@ABCD@!Ǡ"{ @S ###j@#gu@"ABB@@@@@ ɩ"X""!["!"""""!""L"S #@z ' &NAB|v@@@@@"!( @ ?6 /""ՠ""ˠ"!/"é"ũu"ǩ|"ɩN@"+t #0!N@!G?#3@!Y""#;"#=!G#?#A#C#E"搐 +k()= R '>''+k7!7!7!7!7!7!7!7$'$##"ࠒ!cР~AB|9@@@@@"]  @Wcj#@@!Sp#|9@!,T#!@f!\ِLha|@@c@@A@A@!A@#A@%A@ABC@@"%base3 @ǁdql#@@!ͩ Ӱ#@O#en6@!򐐠 L@h|@@ǁdq@@A@A@!Af5"@%An@'AA@ABC@@"#,<$@@DŽe.o$ADžemp$Ay#!1 @@@ @@@#@@! CC@u@$#+Y@@!!!@AAC!BA@@@@@DŽe.@%@A@Džem@#@A@AB@)At@A@"#M @!0*@$<+Y@@CC@@@@@@!?6$!i8@=@4#@!D;!.Cx3ACp@@@@@##ڐ @!-$-@$i"n@\ "W@#"ꧾ9AfA@##@$V#۶#$Z@#$Dc$E$S##Ŷ#$#$3$$5##$6@######)#$b[ $6 + +7 +"77777 k() :'() ;'() 7! 7! 7! 7%',!cl𠑑T8tC\5L";ՐࠑLd@@@iꨠ8#u@$@Aj9#x@$@A$@AB!7@!1@A!.@@ABCo@B$@AB$@B$o@AB@$B@$B@ABCDE@@## @!*@@@@@@B!(ސ@$ +$$""$$@!> !&|#ACp@@@@#̠!% @!X!$/![ܔljfit%@@$鐷$ "!"$ $T3$$$"$$D$K$Ϡ$ @$E,$B&%@!{!& +k= R0'>' 7 7! 7! 7! 7! 7! 7! 7 ;'+k6'(WPؠ$Ƞc @Fx#"Րo"hxE @@@ZAc@A[Ah@4@AB]A$5@`A$4@AaA$1@cA#@eA@gBW@ABCDE@@$1!3 @!>!ec!2YV%H@!B!,$Ƞb@Fx#ddh9x@@@B@AA@t@ABA!4@A!3@A>@=@<@ABCD@@$l!1 @!y!!0!'%$ǰ%!"%Ϡ%H%@!1,}P%@" !( p+k= RF'>' 7 7! 7! 7! 7! 7 7! 7! 7! 7! 7!: 7! 7 ;'+k6'8蠒x0b@Fx#kؠ!Ph!_ Ƞd@@@@A@A$ @ABA@Ad@A@A`@ABCA!A@A!@@AA$@A!?@A@@@ABCDE@@$Ҡ!= @"^"*!<d%@"b%[ `+k= RB'>' 7 7! 7! 7! 7! 7 7! 7! 7! 7! 7!: 7 ;'+k6'4>蠒9ix= P @Fx$\ؠ!hȠ5T@@@@A@T@ABS@R@A%@Q@ABCL@QA%@ARA!Q@@@@ABCDE@@%!P @","wSQ!OGB&6@"0% P@FxOh$xr@@@-@A,@_@ABA#@A#@'@&@ABCD@@%V @"c"#_~&m@"g#"x9@Fxh܀@@@A#@AA#@@AB@@@Z@ABCD@@% @#"&@#"Ð@Fxhxڐ܀@@@@A@@AA@A@@ABCD@@%g @#I#EI&@#M"ࠒMx!4@Fxh ̀@@@A@AA@&@A@%@@ABCD@@%j @#y#E!i '@#} "ࠒN^@Fxdhx:̀@@@NA@AOA@@)@@ABCD@@&.finComRingType @#*#uQO-E'4@#.g"JРxN@FxGhg@@@{A@A|A@U@@@ABCD@@&I @#V#}{qh'a@#[#Cࠒ{@FxthIx̀@@@A\@AAZ@A@@J@ABCD@@&z/finUnitRingType @$#@,}Q'@$"Р x@Fxhʐ@@@AI@AAF@@A@}@ABCD@@&/comUnitRingType @$:$ੜA'@$A"ސР"@Fxؐhx@@@AQ@AAO@@@ABC@@&ܠ"ݐ @$h$4#F@>6 x'u'@ l+k= RE'>' 7 7! 7! 7! 7! 7 7! 7! 7! 7! 7!: 7 7 ;'+k6'8N蠒Iyxϐ,ɐ`@Fx &" Րoؠ#%hȠH`@@@A'*@A@@ABh@i@Af@:@ABCe@b@A@@@@ABCDE@@'16 @$>$ec%:U(H@ې +k= R''>' 7 7! 7! 7! 7 7 ;'+k6' Đxh@Fxidh@@@A%@A@@AB@s@@7@ABCD@@'g6 @$t$(~@hxLF@Fxh؀@@@ A {@A@@A@@h@ABCD@@'3join_finComRingType @%%$˩#(@|ࠒ(x~ @FxʐŐhȀ@@@;A2@A~@@@@ABCD@@'Ơ4join_finUnitRingType @%S% L(@GːࠒQx:@FxhȀ@@@iA@AI@@H@@ABCD@@'4ujoin_finComRingType @%%M)'=1@5Uŀ))@ߐࠒx Or/@Fx(hHȀ@@@ A@A@5@a@@ABCD@@()5cjoin_finUnitRingType @%7%^\l@f@e):)H@5ࠒx^@FxS]h}Ȁ@@@A@A@j@@.@ABCD@@(^6fcjoin_finUnitRingType @%l%@Rdhk)o)}@搐jࠒx@Fxh Ƞ@@@A1@A@@@c@ABCD@@($W @&%ũ$V$P@$M)(@%O)@&1$R$PРt) dPX$p@@@@A$O@A@@(Š$M @&Q&$L@$6Ջ&)ө(7@&[$F$D''+k7!7!7!7!7!7!7!7!7$'(nAB|+: ,+3+*)ࠒ$BРܐ@@@@@*'3 @$ǎgy+@@){_+<@)(B݀+I@$)# hc|L@@ǎg@@A@A@!A@#A 4@%A@ABC@@*+,<+@@Ǒha|+Aǒh}+An+)& @@@߶@@@+@@) CC@O@,'>@@)))@AAC)BA@@@@@Ǒha@%@A@ǒh@#@A@AB@)AN@A@*蠠+B @)%@,1'>@@CC@@@@@@)46, )^8@@4+@)9;)#Cx3ACp@@@@@++ϐ @)"$-v@,^S@2{%*L~n|@+9A' 7 7! 7! 7! 7! 7! 7! 7! 7 ;'+k6', hTx4,ؠ+ Ƞ%Ӑf蠒 py9@FxZ@@@bA`@AcA e@eAG@AB=@hA,5@AiA,2@lA,1@AmA+@oA%@qB^@ABCDE@@,0)2 @)H)lj)1`]-G@)L)+E(Vhx~ +gȠ&ؠ @Fx@@@G@AF@E@AB@A)8@AA)5@B@A@@@ABCDE@@,o)4 @)))3)*-,ʰ-)%-#Ҡ-K--@)6(5-@*)- +k= RN'>' 7 7! 7! 7! 7! 7! 7 7! 7! 7! 7! 7! 7!: 7! 7 ;'+k6'@h#YؠҐ" xr+Đ(&w P )_)k@#@Fx@@@@A@@ABA,@A%@AAo@A k@ABC@AG@AA)P@A)N@ABA,@A)M@A@@@ABCDE@@,ࠠ)K @*l*8)Jo-@*p-i +k= RJ'>' 7 7! 7! 7! 7! 7! 7 7! 7! 7! 7! 7! 7!: 7 ;'+k6'<hO$Jؠ2txҐ,$(&אj@ t)@@Fxa@@@@A@@AB]@\@A[@Z@ABCE@Y@AU@rA-3@ABsA)g@@@@ABCDE@@-5)f @*M*qo)ee`.L@*Q-3$[h x'Ƞ @Fx@@@I@AH@G@AB@A+@AA+@B@A@ABCD@@-p$ @**+y.@++%B h$֐젒  x[@Fx@@@A, @AA,@@AB@@A@@y@ABCD@@-$! @+4+$ .@+8&=%z ΐh }x젒 )2@Fx@@@@A@@AB@A& @A& @@ABCD@@-ߠ @+k+7&gh.@+o&+h'ܠ wuxǐYi)@Fx@@@OA&@APA&@@@AB>@*@<@@ABCD@@. @+++kOMC:/*@+/0+L9hx^ܠ Z@Fx{@@@A@AA@#@A!@^@@ABCD@@.F* @+^+Vv/]@+b+?ࠒlh̠ ސܐx@Fx@@@A@AA@@A@@G@ABCD@@.v( @,+' /@,Ɛ+h LxŐܠ@Fxߐ@@@A@AA@A @A@@|@ABCD@@.1 @,7,۩02/@,<(+ࠒҐh̠?Bx#3@Fx@@@Ax@AAu@A B@A@@@ABCD@@.ݠ0 @,i,5/ /@,m +֐ࠒhx(̠Qa!@FxB@@@IA @AJA ~@@$@@ABCD@@/ 2finComUnitRingType @,%,eIG =0$@,) +:Р3hUxQ@Fx@@@vA k@AwA h@P@b@ @ABCD@@/9+idomainType @,R,vt(Am`0T@,Y,+jРchx@Fx@@@A@AA@@9@ABC@@/h+i @,,+ҰP@>1ˀ0x0@ +k= RM'>' 7 7! 7! 7! 7! 7! 7 7! 7! 7! 7! 7! 7!: 7 7 ;'+k6'@h!ݐ&ؐGؠ @xczL.()k,P@Fx@@@:A/@A@@AB@@A@@ABC@@A@@AB@@@@ABCDE@@/Š%ʐ @-Q--ΰ]P0@U +k= R+'>' 7 7! 7! 7! 7! 7 7 ;'+k6'$h'+ `oaxʐĠU@Fx@@@zA.a@AX@,@AB+@+@A@(@@ABCD@@/ΐ @--W;9(1@ ΐ $hF蠒 xK@Fx@@@A)@A"@a@AB_@K@]@@ABCD@@04n @-L-pnv1K@5Yh{ؠ Ɛڐ̐x2}@Fx@@@A@A@@A|@@6@ABCD@@0e͐ @-}-!u1|@fhؠ  xc@Fx@@@A"@A!@@A@@g@ABCD@@07join_finComUnitRingType @.#-ѩ n/1@&ࠒhސȠ:,x@Fx@@@AA @A@@@@ABCD@@0Ġ, @.P.,,@-21ԩ1*@-ED=݀1@.b,,Р X1:dtDP,@@@@7A,@A@@0,~ @..N20,}@,3y 207@.,w,u,u @.V.zx,ŠY@,*p2LH@G,X1dt@@@@@1^,t,wA@@,s,r@@@@njg&@Aǎg@Ǒha@ǒh@ǖi@@A@ABCD@@ABz@E@@ABC@@<@AB@C@BDE@@A@B@@AC@@b@C@ABCB@@A@Be@@@AB@h@A'@'@ABCDEFG@@A@@@ABC@@A$@B#@@A@@@ABe@e@ACDEFH@@AA@{@AB7@9@A@B@@ACD~@@A@B@{@Az@BC@B@AA@@A@BC@/[@A/S@B/P*CDEF*(&B$@#@"@@ABCDGI,Ɛ@%Field3A2,<2+ǙjY3@@@@|2+111%@3 5}@212222212+2$F2M223@22|21 @@1 "BB@A@3-z"h@@11@AAB1BA@AA+>@@ǙjY@>@A@A@BA$M@ACAR@EA4@ABFA`"-1@KA2%@ALA1@NA1 @PA+@ABCD@22А @,[1 3c3xr@3[z"h@3;ABB@@@@@136`23E1cc3:1]3 32221[2, 2$222[13\@,A17+1*VAB|@@@@@2_1 @,Y1OC:1Q3393.33$313,:3$Π3 ՠ3"3$3&V@32;g1G31H1G3@,w1ma3U3J33@313,V3$33֠333G 0+k()= R '>''+k7!7!7!7!7!7!7!7!7!7$',#$Р3u~AB|3o3f1ː,~ࠒʐ @@@@@2Ġ/r @,Ǜjנ4@@13?@1<3@,1ې+搰e|Lh@@Ǜj@@A@A@!A@#A X@%A(@ABC@@243,<47@@Ǟk46AǟkӠ4:A31e @@@@@@4 @@2$ CC@\@4W;L@@2!2!2!@AAC2 BA@@@@@Ǟk@%@A@ǟk@#@A@AB@)A[@A@3'3 @1d @4p;L@@CC@@@@@@1s64J18@@43@1x;1b.ACpGx@@@@@3S4 @1a$-@42 a@;-T2{@32᱀9AEA@33 @4444F9@44xB4y43334L34g474i#34j@4333۩3հ4*)34[ D6 + +7 +"77777 k() :'() ;'() 7! 7! 7! 7! 7! 7%'46\1l%ÐLqd@tT20-t CLÐࠒ @@@d#13@4@Ae$.23@4@A4@AB1q@1k@A1h@+@ABC@B4@AB4@B4@AB@4B@4B@ABCDE@@3ؠ4* @1d@@@@@@B1bÐ@4F;Μ442N2ͷ5 5@1x 1`Ր|#ACp@@@@41_ @11^/1┑ǣlϠ5L@@5#5131\ 4 4354Ԡ5,385.-50&~5254 j568585: @4<52B5@@11d 8+k= R8'>' 7 7! 7! 7! 7! 7! 7! 7! 7! 7 ;'+k6'0x&3,4蠒_3dؠ.Ƞc)h D@Fx@@@jA&@AkA@mA @ABnAZ@I@ArA4~@tA4|@ABuA4y@wA3g@yA.@{Be@ABCDE@@4y1{ @2R1sq1zgd5@2 V1t,x&蠒3ؠ.cȠuh @Fx@@@L@AK@J@ABI@@AA1@A1@AF@E@D@ABCDE@@41 @2H211w5թ551r5٩,5۩$5ݩP5ߩM5ᩚ@1' 7 7! 7! 7! 7! 7! 7! 7 7! 7! 7! 7! 7! 7! 7!: 7! 7 ;'+k6'He蠒'>(,9ixo$p4H.ɐ8c1Ƞ1`h U9@Fx@@@@A@@AB@&A4k@A'A.<@)A&@ABC*A@.A @A@0A_@AB1A1@4A1@A5A5D@8A1@A@@@ABCDEF@@581 @22201&z6O@25 +k= RR'>' 7 7! 7! 7! 7! 7! 7! 7 7! 7! 7! 7! 7! 7! 7!: 7 ;'+k6'Dΐ蠒'(,ҐxKؐ%*z`4H/28̐2ȠGh b@Fx@@@@A@@AB@f@Ae@d@ABCc@b@Ag@a@AB\@A5@AA1@@@@ABCDEF@@51Ɛ @3!n21Ű~6@3%r5(*x( ǐؠ/|ȠȐh @Fx@@@e@Ad@c@ABb@@AA3@A3@]@\@ABCDE@@5Ԡ,z @3`3,̩3ݰ6@3d4&($-7gx m%Ƞ͐h"@Fx@@@ A4p@A A4m@@AB@@A@@@@ABCDE@@6, @33h ,7'@3.&d$x(~BȠ@h z^!@Fx@@@@A@@AB@!@AJA.w@LA.v@@ABCD@@6K$ @3$3EC.Ӱ97b@3(/ . ېxT젒 &3AhY@Fx@@@A/d@AA/a@Y@ABX@V@A[@U@ @ABCD@@6% @4\3}{$qh7@4`'.U x젒vh @Fx@@@A'i@AA'g@O@ABM@M@@B@ABCD@@6 @4F4'ʰ7@4J(3JxÐܠ Ph@Fx@@@A(X@AA(U@@AB@@@v@ABCD@@6 @4z4FܩZ8@4">. xd젒!h V:@Fx@@@#A"@A$A"@&Aj@AB@@@@ABCD@@7' @44!"ia8?@4"4agx1ܠ ]hp3@Fx@@@YA"@AZA"@\A@AB/@5@/@@ABCD@@7] @464WUK@8t@4:A4xcܠMh h@Fx@@@A@AA@$@A#@i@@ABCD@@7 @5i4g~8@5 m4ࠒ̐x̠ #h@Fx@@@A@AA@@A@@H@ABCD@@7 @5L58@5P 4ࠒUxƐ̠h@Fx@@@A k@AA i@@@w@ABCD@@7.finIdomainType @5|5H Ұ&9@5 4Р,xݐh2@Fx@@@A Y@AA V@@@@ABCD@@8)fieldType @55uA97@5А4MРx&O hb%@Fx@@@JA@AKA@$@@ABC@@8K4L @5$5EC42@>9[9i@ +k= RU'>' 7 7! 7! 7! 7! 7! 7! 7 7! 7! 7! 7! 7! 7! 7!: 7 7 ;'+k6'H蠒*(/xd l%`(I7H2N853Ƞchא~@Fx@@@A8@A<@<@AB:@;@A@@ABC@@A@@AB~@{@A@:@9@8@ABCDEF@@8. @6<66e9@ܐ +k= R/'>' 7 7! 7! 7! 7! 7! 7 7 ;'+k6'(0Cx IpԠ}Ƞ(h@Fx@@@&A7O@A@@AB@@A@@@v@ABCDE@@8& @6z6F1v*:@ )$},x Ġ(ېh;@Fx@@@`A2 @A@@AB@@A@@@ABCD@@9'a @66!$i:>@ ex/蠒 hq4@Fx@@@A$@A@@AB.@4@.@@ABCD@@9\Đ @656VT*l:s@+ xd蠒 %Qhi@Fx@@@A*@A@g@ABc@i@c@@ABCD@@9 @7j6hF:@'̐xؠ #JWh@Fx@@@A@A@@A@@J@ABCD@@9 3join_finIdomainType @7O7x:@Ӑ/ǐࠒxȐȠyh@Fx@@@+A.@A@@@x@ABCD@@95 @7|7H5ީ5@60":@;:V@6q*+;@755Рt:fd+P5ʐ@X@@@$A5@A@@:"5 @77z5@5;097@755<6TM@F5ࠒWt:d\P6@_X@@@A5@A@@:j5 @7C7db5񠩚O@5>r;xH@G5琰X:2dt@@@@@:55A@@55@@@@ǙjY@AǛj@Ǟks@ǟkr@ǣl@@A@ABCD@@AB@~@@ABCI@@A@<@A@BC@BDE@@A@@ABC@@G@@ABCD@@A@BJ@@+@AB*@N@A@B@CDEFGM@v@Au@@@ABC@@AF@BE@CD@@@r@ABCq@@Aq@@@ABCD@@A@@A@A@ABCEc@@@AB@@@Ag@BCDFGf@@A@N@ABM@m@A@B@CDk@@A@B8@8@AC8DE%B@@@s@ABCDFHI5@#sat @!FȞA@!e5o@$list]@&G@#g一<!:@'formula@&W<0!&`;A$ABABBBABB$ABABBBABB@$@@@@@@@@@@@@@@@@@@@@@@@@D!˩*&{4.0A"A"f19"f2f(0'> 7 7" 7 7"7 7 7&'>7 7 7 7 77"7 7 7 7 7 7" 7 7"7 7 7&'> 3! 3!7%'> 3! 3!7%'> 3! 3!7%'> 3!7$'> 3+$7 7!7$'> 3+<7 7%'' 7 7 7 7 7 7 7!97 7&' 7 7 7 7 7 7 7!97 7&'+k6'+ 7 7 7 Tk+7 7 7 T'6'l/4 //LՐ;@'l<(`DȠ$AABBCADBEBFBGAHBIBAG/0\:8{0h1+\04Р1- ࠒ"PܠԠA@x0ѐ|0h ;%,pP@@@'AJ<@A'A al6@"@AB"@@A"@9A4eA@@ABCD@@$=e@@@,@A)@#@AB#@@A#@'JA7@A/@:A/@+@ABCDE@@@@=Ȑ&xclass 9E@=B,̩>)>>d@>06R==B> j9>4J>,à> {> x>+=>@ +k= RS'>' 7 7! 7! 7! 7! 7! 7! 7!7!7!7!7!7!7!:7 7 ;'+k6'H ࠒ/d 4_>|,<4@609̠̐Bd 9BX d\{ _ "@Fx@@@ƫ5hx=4A=K@A@@AB@@A)@)@ABC'@)@A%@ +@AB$@!@A@@@ YBy@ABCDEF@@=W3 @: 0: 2 <;a}k>q@(4x-=ԠȠ Nh  k@Fx@@@HA;@A@l@ABj@k@Ag@f@>@ABCD@@=,> @;  m: o y6>@J А$$Ӑx%-wːĠȐ h  @Fx@@@A6@AL@@AB@@@w@ABCD@@=͠S @;Y ;%  )S>@ Y x_ h蠐  @Fx@@@A)@A@@A@@@ABCD@@> @; ;[31+  /)?@JӐ  Bx74 hN蠐 N @Fx@@@A/@AK@ @A @ @@ABCD@@>8, @; ;hf`  ^F?R@,: txƐif &hؠ  C@Fx@@@A@A@ <@ ;@@ABCD@@>iz @; B; D NLu?@z4nࠒ x ThȠ  q@Fx@@@MA@A|@ h@@@ABC@@>:Z @<" o; q {:Z:T:@5NJu}?V>:X @ +k7 7 7 7 7 7 7 7 ;':L? p:edאt@Xאh:xX@@@A:W@A@@>͠:U @?@:N tX>d@@@ z@@AB@@>: f: A@@::@@@@Ƕq|@@A@A@u@A;@@AB@@s@;@ABCD@ BE @ @A @ @ @@ABCDF @(@@AB @@AZ@B @@A @BCD @ A<@A @BE @ @A @BR@C @@ADFG:-@'Lmodule@nA@W,<@[>|ǹr9@k@@9*7@@ @ +@937ʶ>>k?6?4)@@y>&7@?>m@@@_@@a>k@c@@ %y63&%@@>lBB@=@@"@@>i>i@AAB>hBA@BB>:9^7@@ǹr9@<@A@A@?A?@A@A>i@BA>g@DA?v`?d@ABC@?y@- @9s8 >R>j@@i@@"@@:BBB@@@@@>|%S&a@>V%>@j@_@I@U@K>@MN@@O@@@98/>w>% +k()= R '>'' +k7%'%LAB|p@@@@@?>ڐ @98I? >?6>/@@@r@~@t>@vw@@xJ@@.K!/@ߐ><>;@@98`?$>V@@@@@>@@@4 +k()= R '>'' +k7"7"7!7!7!7$'𠑑@蠒@ܠ&@̠?tAB|@@@@@@< @989ǻrAG@@>>A#4@?9/%I4@: 8:?>𐐠 p+k() 7" 7" 7":'ΐXl[D@@ǻr@!@A@A@#A?y@%A@'A@ABC@@@6Au,<Ay'/'-8AO:68@@@@ǾstAAǿsAA,AA:E8ܶ'D>@@@?!@@@A&@@?sCC@D@A.M@@?p?p?p@AAC?oBA@BB'a2:e8@@Ǿst@-@A@ǿs@+@A@AB@1AG@8A:@AB@@|@֐ @:v9 'uF>@A.M@A:BCC@@@@@@>˩&BA>D@%@@AF@:9&'_>J +k()= R '>''+k6'S!AAC|@@@@@@A @:9A'z>>43B.-@@@@@B><,?A@@A .MV%AՐ?(v?2AqA@:9W'>TJMA|5n +k()= R '>'' +k7"7%'W)wAC|@@@n@A@@@砠A @:9x'>$l@B4%{@AuAA@G˷@$?é@B "Ʃ@A\%{kAAAAB @Aa&?ŀA@;9(նB-AA$'A&?@A٠BBBB.AB.AAAAABAޠB@x@UAB;@GB?ܰBBAB?AB@AAAAAA٩@ @cBBI@UBMABOBMABMB!A t+k() 7! +, +17!+27 7 7!  7!7# '() :'() ;'() 7" 7%'$ǐ?TРChPe@r`|ܐĠe\@@@?w=cA\@B@A?w|dA_@B@?@AB?@?@A9@,U@ABC ABn@?@A?@BBK@ABB@BlB8@BdB6@ABCDE@@A>ܐ @;}:(|M?>Է?tB@@BBC@>>BD B ذBBHBBTB@BMBBְBB#@A/BB@;:6(o?3)>ސ +k()= R.'>' 7" 7" 7" 7! 7!7";'+k6' (ܠh W@FD|BĠ@@@@\@AAA@AA@ABAA@A@@Af@BL@ABCD@@Aߠ> @;:p(?mc?9\Z>PLB@;:v(?si>ސ  +k()= R*'>' 7" 7" 7" 7!7";'+k6'𠑐h6̠I@FD]|9A"@@@@AA>@A>@A;@:@9@ABCD@@B>ܐ @<:)??q>ݰ>ԠC2BtC4>ϠC6@>/C;@<":)!?>Ӑ `+k()= R?'>' 7" 7" 7!7" 7" 7" 7!: 7!7";'+k6'(Ty ࠐ@FD||̠Ae>?,@@@AA@A@AR@ABA>@A>@AABw@ A>@A@@@ABCDE@@Bk>֐ @װRC@' 7" 7" 7!7" 7" 7" 7!:7";'+k6'$D4ࠐ#@FD|Ő̠A?@r@@@F@A+@E@AB@@_AB@A`A>@@@@ABCDE@@B>ݐ @<;=)v@:0@)'>ްC@<;C)|@@6B +k()= R&'>' 7" 7" 7"7";'+k6'ࠑ5ud@FD*|@@@b@AA@@A@@@@ABCD@@Bࠠ9 @<;q)@nd@:][@QC@<;w)@tjA# +k()= R!'>' 7" 7"7";'+k6'Рiܠ7G@FD[|ې@@@AAt@AAAq@@@3@ABCD@@C(lmodType @= ;* ܷ@@l,ADC~D.@=;*@5Рܠk{@FD|k@@@@AA@A@f@ABC@@CD?E @=>;շ*=@@?QDLC@D+9Z@2Dd@ d+k()= R@'>' 7" 7" 7!7" 7" 7" 7!:7"7";'+k6'(ѐXࠐ@FDƠ|̠B@O|$@@@&@A @%@AB @@A@@AC@@ABCDE@@C9 @=<*UA@AGnD@ +k()= R&'>' 7" 7"7"7";'+k6'ࠑP=@FD|@@@@A>@X@KAB!@@ABCD@@C? @=D9@=<`*A]S?~ +k() 7"7 7"7 7";'РtD6xlP?\@@@A?|@A@@C?z @=<*AvALom?{{@?9fӀgC<@=<*ȶA?w h+k() 7"7 7":'PCxJl@@@@@D?u @><+AAs?ް^W@P +k() 7"7 7"7 7"7";'ࠒِtDxalkP?\;@@@A?@A@@DB?y @><<ӷ+; AA?ˠ@?0wP@OL PD xl@@@@@Dd?zD?}A@@?y?x@@@@ǹr9@Aǻr?@Ǿst@ǿs@t@@A@ABCD@ @A@@AB@@A@BCI@K@AI@"@At@BCs@ @A"@;A@ABD@u@s@AB&@$@@A@BCDEF@*@A'@@AB@@A@B@@AV@BT@B?@ACDEB7"<@/v@@ABCF"@@^@AB@B6@ACB5$D"@!@ @@ABCEGH?@(LalgebraEAEۑ,<EߠDulE@@>=E@@ @ 1jE>=NDC者DD)@E8@E~CEEEEECE>E驚@E.% 9{+@@CBB@?@F%@@CC@AABCBA@BBD<<>={@@ul@>@A@A@AAE@ABAC@DAC@FA>@HA?TD@ABCD@EE @>=DVVC򩛠FIF^m@FA%@EBBB@@@@@D+W+F+DIZ+#DCEEEѩEݠEөDAEթ>EשRF<@?!=D||D&%NAB|t@@@@@E@Db @?:=ѷDD1?6D3/FFEFEDjE?F{FQFL@F6FiD>D=Fl@?S=DDJXF2F'FuFFwDFy?3F{FF}:  +k()= R '>'' +k7"7"7!7!7!7!7$' FFF<점lAB|F:ܠD̠?R5@@@@@EB@ @?>#D甑uF@@D>F7@D7В:D@?>3DD?7֐Xl_D@@u@ @A@A@"A?@$A @&A@ABC@@EĠ#7 @?>UEvhG@@DɩFF䩚@B.~m7@?>eE)DI?lDX@@vh@ @A@A@"A@$A=@&A?PE@ABC@@EG7,<G;, ?>@@@@w%G@AwdGDA2G@>-ԶDq@@@D@@@@@E1CC@~@Gd6r@@E.E.E.@AACE-BA@BB-@#>@@w%@,@A@wd@*@A@AB@0A@@AB@F9F @@3>ʷ-2Dx8@G6r@FBCC@@@@@@D,U@G`DB@L+|@>G@@L>-KDH:AC|T@@@@@FlG' @@f>-e6D|$4@G.' @G+rG|G}E̷EEHEG@LG(M@F.&׀G:JAG>AG@F.1GG@@?#-\GG9GB&,Gq+ƶ@G4ܠGGGG(G&G!GyGGGdGEE۩E̠Gĩ@~GƩG G@GMGGGG G_F  EEڠGҩ@GԩGGө +k() 7! +, +17!+27 7 7!  7!7# '() :'() ;'() 7" 7! 7%'(DՐРJ\^Dh|PEpĠ@`@@@?ă F@H1@A?ŃLF@H4@D@ABD@D@A?&@1@ABC AG@D@AD@H.BO@AH/B@GB@GB@ABCDE@@G G] @A?.շDB˰@@@@@BDʩH@G{6€H0EFзH@ H6@A?.D Gש;ɐ[! AC|0@@@ @A@@GAD @A;?ҷ.: DD7Dx`H@@H`HnBF>D=H G˰;HHiFuHkA'HmH\Ho H^HqZ@G7BHw@A^?.].D+D ,+k()= R2'>' 7" 7" 7" 7! 7! 7!7";'+k6'$bM@FDY접0 H9Ԡ |FĠAT7@@@`@AAG@AG@ABAG@AF@AAAG@A@BR@ABCD@@GD @A@4.mE1jDb`DVSH@A@:.sE7pD @FDܠta|FĠAx@@@@AAD@AD@AB>@>@=@<@ABCD@@GޠD @A@o.ElE8DDHH;HDH?CH@D7iI@A@.ED +k()= RG'>' 7" 7" 7! 7!7" 7" 7" 7! 7!: 7!7";'+k6'0?V@FD@Ðt8|G1AǐܠDɐDՐ(@@@&AGu@A'AAF@@AB)A@-AD@A.AD@0AHI@AB1AD@@A@@@ABCDE@@H=D @B7@η/6EED]IV@B=@Զ/< E Hʐ p+k()= RC'>' 7" 7" 7! 7!7" 7" 7" 7! 7!:7";'+k6',`?G2@FD>0d|GB6ܠE@@@O@AN@F@ABM@I@AyAH@{AD@AB@@@@ABCDE@@HD @BA/PFMEECD94I@BA/VFSHt@FD̠W̐D|BuX@@@@AAFh@AFh@A@@@ABCD@@H?c @BAN/FKF|zFȰpI@BAT/FQG +k()= R%'>' 7" 7" 7!7";'+k6'ࠒ@(@FD젒|@@@AGT@AAGQ@@A@@P@ABCD@@H?k @BA/FFL?lJ @BA/¶FAFࠐ@FDÐ8|@@@@AAAP@AAO@@@ABCD@@I%7ϐ @CA0FFA?J>@C%A0$FA됐EРG+@FD"ܠ|@@@IAB8@AJAB5@@$@@ABCD@@IUD @COA0N FFCJ[J Jo@CVA0U &F#PࠐYD@FDP'|"@@@M@A}A@A@A@@ABCD@@I+finLmodType @CB0 UGRFJHJJB>@' 7j9J@CB'0 `G$] Р @FDdܠN|@@@A s@AA p@@A@@ABCD@@I(lalgType @CBS0 GPGWAJJ|xoJ@CB\0 GY8Р@FDܠ|@@@@AA@A@R@ABC@@IE @CB0 GGNF`zJJ@DjkK@ +k()= RH'>' 7" 7" 7! 7!7" 7" 7" 7! 7!:7"7";'+k6'0 0AfD@FDӐxH|IACאܠFِ@@@ @A @@AB @@A@@AB@@KAJD@@ABCDE@@JC@H @D=BԷ1< G GHNO_K\@  +k()= R*'>' 7" 7" 7!7"7";'+k6'SfA̠ؐP;@FD|@@@@AD@=@AD@AH@@ABCD@@Jw0join_finLmodType @DrC 1q BH?G75 ~K~K/K@萐ࠒ l@FDL6|@@@@Al@@A ]@@ABCD@@J8v @DC81 qH5nHfdC1K@ࠒɐ8@FD{e|@@@@A@@AC@4@ABCD@@J֠1rjoin_finLmodType @DCh1 HeH1 KKCg@Aa(9Ě NSK@N +k()= R$'>' 7" 7"7"7 ;'+k6'ࠒY@FDC{蠒|@@@N@A@L@C@FD! |@@@ 0AD`@A(@C@K@@ABCD@@K|G@ @EvD 2u FI CH;9GA/G;@G=f K䐩@G%U @ED!2 ZIWG?РPtKxlG]\@@@AG<@A@@KG: @EDC2 |I@yI qoG;@G? 'Kt;@EDO2 ILG7BlPKx@@@@@KؠG4 @EDi2 IfI2G\U@NࠒtbPiLGxdlG\@@@ AG@A@@LG7 @ED2 ʷIIZG@Gk9( uN@M l PK͐x@@@@@L"G8~G;A@@G7G6@@@@ul8@Auo@vh?@Aw%@wd@x`@@A@ABCD@A@A>@@AB@BCA@A@A?@BD=@~@A|@{@N@ABCEL@M@@X@ABCW@@A@B@@A@@ABCD@@AGA@B@Cw@w@@AB@@A@BCDEF@"@A!@@A@BC@@@ABD@A@A?@@AB@@A@Bu@t@J@ABCDJjD@7F@_@A @)@ABCDEFl@@@A@s@ABC1@J @AJ pBDn@m@l@@ABCEGHG@'AlgebraMAM,<MKԔyM@@FE@@ @ 9>MrFE"KKéLL)@M*[G@MRKũMtMiMM_MKàMFuM԰M[M@Mg,FAQ3@@KBB@A@M3kH2@@KK@AABKBA@BBL>FEQ@@y@@@A@A@CAʠL@AFAL@IAK@AJAK@LAF@NA@ABCD@L٠M @FEjL.ZKʩN!N6q@N3kH2@MBBB@@@@@Kܩ2[3NL!^2LMʐMMMMLMFˠM*NMV dN@FELVK( c'RAB|z@@@@@ML< @GELoL A8L 1MMMԩMM֩LDMةFMکUN+MܩN-MީP@M1 NELcBL\ANH@G/EƶLL&\NNNQMNSL]NUGNWnMNYMN[A鐐  +k()= R '>'' +k7"7"7"7!7!7!7!7$'$N$ N*NLࠒG2РAB|@@@@@MsJ! @GmFLȔyN@@LjN/N:@LB%@G}FLLtp pXldD@@y@ @A@A@"A@$A@&A@ABC@@MN,<N蠠4 oGF9@@@@zXNAzNA:dNGFH4 L@@@L@@@ l@@LCC@W@O@@LLL@AACLBA@BB4 GFg@@zX@,@A@z@*@A@AB@0AZ@ k@AB@M栠N@ @GFw4 L% @O2@NBCC@@@@@@L54@O L`B@!3)@>N@GF4 ɶL>H j:AC|T@@@@@NNԐ @HF5 L)$4@Of0+@NةGO)O*MyMVLMGO?GOA XO.OC/@N{N驜LAN]AOA@NՀN@H;FҶ5: OcNN(4NO 3u@NO: 6N 8OcNNնNЩO(NΰOCOOEMٷM 5M{OsH-Ou OGOw 8NOP@NNNNNOMM 7MOH=O NO :NO 9 +k() 7! +, +17!+27 7 7!  7!7# '() :'() ;'() 7" 7" 7! 7%',LРAhڐP dnMH`t|i\Ā@@@ƠN@O@AN@O@AO@ABL\@LV@ALS@F@ABC9@BO@ABO@BO@AB4@OB @OB @ABCDE@@NàO @HGT5LQBְ@@@@@BLOթOЩ@O3f8O萷M;M۷OO@HGj5LgOC (AC|@@@@A@@NLR @HG5÷LLS7L{PA@@PP&MM LQHO O; vOɠP!N-P#HߠP% >PP'jPP)PP+<@Ot B!P1@IG6L8LW @+k()= R7'>' 7" 7" 7" 7" 7! 7! 7!7";'+k6'(W|pf@FD cO蠒N\ؠD4IȀ@@@A@Aq@AOe@ABAOb@AOa@AANN@AI@A a@BY@ABCDE@@ObLd @I\G6[,L|LigLe]ZP{@IbG6a2LLa 0+k()= R3'>' 7" 7" 7" 7" 7! 7!7";'+k6'$ʐ^|M@FD Nؠ$I[Ȁ@@@G@A@ALj@ABALg@E@AC@B@A@ABCD@@OLg @IH36lM0LLhL_POPLZPGPéİPPũ@Li P@IHH6MELb +k()= RQ'>' 7" 7" 7" 7! 7!7" 7" 7" 7" 7! 7!: 7!7";'+k6'8ԐhG|@FD N8I(2LĠLP@@@@AFAOB@HAI@ABIA `@@ALA@NAL{@ABCOALx@RAP@ASALw@@A@@@ABCDE@@P Lw @JH7ַM&MfLxhQ%@J H7 ܶM,P +k()= RM'>' 7" 7" 7" 7! 7!7" 7" 7" 7" 7! 7!:7";'+k6'4/NXGzz|j`@FD ]OS8;J (LĀ@@@@AX@W@ABV@q@AU@P@ABCAPY@AL@A@@@@ABCDE@@P]L @JWH7V'MwMdbLXSQv@J]H7\-M}P_  +k()= R/'>' 7" 7" 7" 7" 7!7";'+k6' ࠒŐY|H@FD JSȀ@@@?@A@ANE@ABANC@:@9@8@ABCD@@PG? @JI*7cN'MNQ@JI07iN-Nܐڐ̠H|@FD @@@AO3@AAO0@@AB@@@p@ABCD@@PѠGJ @JIb7N_N+֩GKQ@JIh7NeIj +k()= R+'>' 7" 7" 7" 7"7";'+k6'Р9͐|)@FD @@@@A@QAI5@ARAI3@@@ABCD@@Q ? @KI8ӷN#NcI_R"@K I8ٶN)Iϐ]ࠒ +J|]S@FD(w@@@AJ@AAJ@>@AW@<@@ABCD@@Q=, @K7Iη86NWNDB+RCQ8 t1RW@K>Iն8=N^8m|Р9|(@FD` @@@@A@A@AA@A @@ABCD@@Qv @KpJ8o@ON}{|R|R-qR@KwJ8vGO 񐐠ːࠒr|@FD@@@A]@AAZ@A @A@@K@ABCD@@Q @KJ=8vO:ORRcR@KJC8|O@ ࠒ|@FDΐ@@@@A@'A @)A @~@ABCD@@Qߠ+finLalgType @KJq8OnO: _RR4R@KJw8Ot Рؐ|1'@FDܠK@@@WA @AXA @*@@@ABCD@@R'algType @L J9 ۷O+OkASRS-@LJ9O4ؐ4РR |h^@FD3܀@@@A@AA@^@@ABC@@RCND @L=JԷ9< O]OJHNSKRn@D;z*Sc@> +k()= RR'>' 7" 7" 7" 7! 7!7" 7" 7" 7" 7! 7!:7"7";'+k6'8 jIF|5X@FD Q8vLF(ȐO+ĠQl@@@AR@A=@@AB@@A@@ABC@>@A<@;@:@9@ABCDE@@RH @LK+9dP(OPWS@  +k()= R/'>' 7" 7" 7" 7!7"7";'+k6'  J|d̠@FD @@@!AQ5@A@@AB@@@q@ABCD@@RҠ@ @LKc9P`P,שK\(S@ɐ +k()= R+'>' 7" 7" 7"7"7";'+k6' Ȑ|$@FD>ĐЀ@@@UAK@A@@A @@@ABCD@@S @MK9зP P`   T ST@4 |̐WM@FD"qЀ@@@A@A@@AS@8@@ABCD@@S90join_finLalgType @M4K˷:3PTPA? T@STS@Zࠒ,|~@FDS(@@@A ^@AZ@@h@@ABCD@@SiO- @McK:b3PPpnO.dO(@O` Sѐ@O @MwL:vGQ O,РtlSxPOJ\@@@AO)@A@@SO' @ML0:iQ-PO(@Or%Sa;@ML<:uQ9O$PSmxHl@@@@@SŠO! @MLV:QSQʩO\U@NࠒXlT.xthPO\@@@@AOw@A@@SO$ @ML~:Q{QGOv@OXc̀bN@M PSxl@@@@@TO%O(A@@O$O#@@@@yO@Ay{@zX:@z9@{@@A@ABCDws@p@ABV@#@AC@@<@AB@C[@YWBDEU@X@AV@@AB@@A@B@@ACD9@j@j@;@ABC@@A@B@CDE=@@A3@B2@\@A@@A:@A@BCD@@AD@BC@@ACEFG@@AF@F@AB@@A@@ABC@@AO@BN@@AC@@@AB~@}@ACR@Q@AQBDEF?9@@A@B@@@@ABCDEGHOq@+UnitAlgebraUAU,<US|PU@@Nn?@@ @ A*U^Nw?ȶSSTzTx)@U @74UUSUbUWUUMUSUNcU°7BUKUU@UX(\ UU;s@@S%BB@G@U @@SS@AABSBA@BBTDN?@@|P@F@A@A@JA@AKAt]CT@OAT@ABPAS@RAS@TANs@VA@ABCD@T͠U @N@T"bSVV*y@V  @UBBB@@@@@SЩ:c7HUUThRUTUUUUUTUN U!UMU^UVV@N@FTPS. +k()= R '>'' +k7 7%'.[AB|7@@@@@UT: @O@cTmT KBT ;UUUҩUޠUԩTBU֩NUةSDUکFUܩHUީ\@U1.VETcLT\JVH@O/@TʶT&hVVVQUVST]VUOVWnVYV[V]I됐 X+k()= R '>'' +k7"7 7"7 7"7 7"7!7!7!7!7$',V&DV8ؠAB|V(8 ːTO;B@@@@@U{R) @Ou@ƷTД|ΠV@@TrLV@@T2qJ-@O@ֶTT| |+k() 7" 7" 7 7":'8?XdlqD@@|@%@A@A@'A@)A %@+A;@ABC@@U3% @O@U}LV@@T@Vҩ<@Rt){<@OA UTB68tXGlDd@@}L@#@A@A@%AxYGU@)AB@+Ar@ABC@@U頠W(,<W,<<A1WOA:@@@@~ W4A~HW8ABVOAI<Te@@@6TԶ@@@@@U%CC@@WX10@@U"U"U"@AACU!BA@BB=1PAh@@~ @,@A@~H@*@A@AB@AAP1@2A@AB@V.V @P(Ay='ETma@Wz10@VBCC@@@@@@T}-WmW@W19E<\ WWWQWW(W&W!WyWWWdWU>U۩,9XWcWéUϠWǩPWɩ఩9`WWͩ WϩWWW*W@WWW)WWWWiVVUDW٩UWݩPWߩ9vW=W $W5WWW W +k() 7 7! +5 +:7 7!+87 7 7 7 7!  7!7# '() :'() ;'() 7 7" 7 7" 7 7" 7! 7%'4T`t{ؠ 9gat̠9hh\V젒P̐ܠ1@@@{JV@XL@A|UKW@XO@AX@ABT@T@AT@OC@ABCA@]BXG@A^BX3@aBW@AbB@XB*@X B(@ABCDE@@W(Wz @Q"Bs>!?TB@@@@@BTcX5d@W10:XMU;V+X]6XS@Q8B>7UTqWK搐x!5AC|@@@1@A@@W^T @QXB>WuT0T7T#DX@@X}XkV[(TfX W谩;۩X.XVXQDXX ϰXXPXX@W1B@X@QBж>~UWT x+k()= RE'>' 7" 7" 7 7" 7 7" 7 7" 7! 7! 7!7";'+k6'0-lk@FD Рe8ɐX] :M VȐ,|Q~@@@A @AA@@ABAW@AW@AAW@AV@AAQu@A@Bc@ABCDE@@WѠTӐ @QC>U_U+sqT԰gdX@QC">UeTА h+k()= RA'>' 7" 7" 7 7" 7 7" 7 7" 7! 7!7";'+k6',\@FD ?Р(:ZW{|Q͐Ԑ@@@O@AN@@ABAT@AT@AJ@J@I@H@ABCDE@@XTݐ @RCc?/UUrTްTՠY3XuY5TРY7O}Y9:CY;vEY=Y@T1YB@R)Cz?(FUTڐ  +k()= Rj'>' 7" 7" 7 7" 7 7" 7! 7!7" 7" 7 7" 7 7" 7 7" 7! 7!: 7!7";'+k6'DאQРOࠐ2@FD \̠||:pP0<Wxܠ|R.U;U"@@@@A@AW@ABAQ@A@AA @V@ABCA@AU@AAT@AX@ABAT@@A@@@ABCDE@@XT @RC۷?VbU20T&vY@RC?V$hY +k()= Rf'>' 7" 7" 7 7" 7 7" 7! 7!7" 7" 7 7" 7 7" 7 7" 7! 7!:7";'+k6'@>Р}Pࠐ@FD \|;dpP0"<WߐC|R Uz@@@@A@d@ABc@b@Aa@@ABC`@\@AAX@AU@AB@@@@ABCDE@@X젠U @RD7?VzVFU}Z@RD=? VX X+k()= R='>' 7" 7" 7 7" 7 7" 7 7" 7!7";'+k6'(L@FD ZРҐ6;u|R@@@g@Af@@AB.AV@1AV@Aa@`@_@ABCD@@Y/OՐ @S)Dz@(FVVϩW:ZH@S/D@.LVWr 8+k()= R5'>' 7" 7" 7 7" 7 7" 7!7";'+k6'$ݐ,WРPࠐ$8@FD;֐| @@@mAW@AnAW@@AB@@A@@@@ABCD@@YoO @SiD@hVAVOZ@SoD@nWGR H+k()= R9'>' 7" 7" 7 7" 7 7" 7 7"7";'+k6'$<[o@FD ݐРU<:|l@@@@A@|@ABAQ@AQ@@@ABCD@@YHX @SD@ŷW<WPNR8DZ@SD@˶WBRt (+k()= R1'>' 7" 7" 7 7" 7 7"7";'+k6' \֐Р@FD蠒 +k()= R)'>' 7" 7" 7 7"7";'+k6'𠑐@FDΐȠ<|ߐR@@@"AE@A#AE@%A>@@S@ABCD@@Z#3 @TEnA:WW}éEgX@71[A@T(EyA'EWEHРՐܠ*@FD Ő|@@@XAE@AYAE@)@\A@@ABCD@@ZYH @TSEARpW+WGz[[s@TZEAYwW2x{$<FZ@FD ȐР@="|T@@@@A@g@ABA&@A%@A@@ABCD@@Z @TEAX(lW<:[Q0z[@TEAX/s% РL@FD蠒=f?| @@@A@AA@A@ABT@@T@@ABCD@@Zؠ @TF#AXfX2zx[ne[@TF)AXlq+ @FDFР蠒=^||Ґ@@@L@AK@@AA@A@C@ABCD@@[ 4 @U F^B *XXm4[\,@UFdB0X4)𠑐@FDȠ=ې| @@@JA>@AKA;@@A@@{@ABCD@@[K ; @UEFBDbXX :l\\d@UKFBJhX# 7la𠑐7K@FD.Ƞ>ΐ|B@@@A @AA @@T@@ABCD@@[*finAlgType @U}FηB|YUX%# S\:_\@UFԶBY[ Р1ܠmr@FDi!|@@@A @AA @@0@@ABCD@@[+unitAlgType @UGB̷YCYWUUA\oNA\@UG BնYL/ؐРeܠ@FDR|@@@A@AA@@@ABC@@[砠W @UG2BYuYAXSq \@D v*^]@^ +k()= Rn'>' 7" 7" 7 7" 7 7" 7! 7!7" 7" 7 7" 7 7" 7 7" 7! 7!:7"7 7";'+k6'DРؐS^ࠐ@FDܠe\#A|>pP0<[=|U uXؐ@@@,A\@@A}@}@AB@@A@@ABC@@A@^@AB{@{@z@y@ABCDE@@\IRN @VCGCB`YYZTb+]b@ X+k()= R='>' 7" 7" 7 7" 7 7" 7!7"7 7";'+k6'(LnР3Sࠐ;O@FD{? | @@@qAZ@A@@AB@@AY@@@ABCD@@\JW @VGӷCZZY*(Uh]@ڐ H+k()= R9'>' 7" 7" 7 7" 7 7"7"7 7";'+k6'$3<Рrw@FD'蠒?S,| @@@AU@A@@@AB?@@?@@ABCD@@\à4 @VHCڷZQZecH]@ +k()= R)'>' 7" 7"7"7 7";'+k6'𠑐n@FD_Ƞ?d|@@@AH@A@@@&@ABCD@@\ @VHAC ZZP]\^@[n$pР<ߐ@FD$蠒?| j@@@A@AZ@Y@AB@@@`@ABCD@@]0  @W*H{D)GZZЩQ]I^I@ (+k()= R1'>' 7" 7" 7 7"7"7 7";'+k6' ې0@FD̐蠒\Ƞ?ѐ| @@@QA[@A@@A8@@@ABCD@@]g/join_finAlgType @WbHDaZ:Z 8^D^@吐𠑐NSg@FDȠ@/|@@@A@A@k@@@ABCD@@]5ljoin_finUnitRingType @WHD[)mZ=;H߰^T@.$^@zߐ𠑐L@FD@f?|ɐȀ@@@|@A@z@dAIt@@ABCD@@]Ԡ6fljoin_finUnitRingType @WI D[c[/wuI^ @\aL^@𠑐Ð2Ƞ@FD@||@@@AI@A@@@>@ABCD@@^5njoin_finUnitRingType @X IZE&[[iIS 2^ȩ F@_ _/@S𠑐Ƞ@FD@ݐ|@@@@A@@PAI@x@ABCD@@^H6fnjoin_finUnitRingType @XCIEB`[[I7 l_ @ {/q-_i@(𠑐7;O@FDOȠA|@@@wAJ @A+@S@*@@ABCD@@^5ajoin_finUnitRingType @X}IηE|\U[%#IǰZ _< @ g_@bǐ𠑐4qu@FDAK$|{Ȁ@@@ AJZ@Ae@@d@@ABCD@@^6fajoin_finUnitRingType @XJEԷ\K\_]J _v @L<74_@𠑐nȠ@FDAa|@@@>AJ@A@@@&@ABCD@@^1ujoin_finLmodType @XJBE \\Q _JA .@G:Vnd`@c 4+k()= R4'>' 7" 7" 7 7" 7 7"7"7 ;'+k6'$yР(蠐 @FDJ`Aɠ|s@@@JA@Ac@b@AB@ @@i@ABCD@@_91ujoin_finLalgType @Y4JF3 Q\ \ک [_C`S@' +k()= R,'>' 7" 7" 7 7"7"7 ;'+k6' !OȠ) =@FDJԠBې|@@@JTAe@A'@@A B@@@ABCD@@_q0ujoin_finAlgType @YlJFk ] D\B `){N`@ࠑ蠒X` t@FDJА|@@@JA@A@ r@@@ABCD@@_[e @YJF ]/ s\CA[f7[` @[ހ`  @\$l@YKF ̶]C [dРPt`xl[\@@@ A[a@A@@_נ[_ @YK"F ]e ]1yw[` @[@A@@C@ABCDF.@e@A@@A @BC  D @ @A @B @ @ACEG @ @A @B @ @A@@@ABCb@b@ADE@c@A@@ @ABC@@ADF @@@7@ABC6@@A@@A@K@K@ABCD@@A@ i@A@B?@ A *@ACDEFGH@@A@B@C@@A@BD@@A@@A@BCE@@A}@B@@A@@ABC@@A@B@C@^Z@AD^R@^P BEFK@@r@AB @C  D @ @ @@ABCEGHI[ɐ@`wb `zA[ @^@[!V@[@@@@@`Ҡ[ @^@[!V@[@@@@@`⠠[x @^@[!V@[{@@@@@`[j @^@[r!VÑ@[m@@@@@a[R @_@[Z <@[U@@@@@a[O @_@[W( @[R@@@@@a"Aɐ @_/@An#J@A̐@@@@@a2A @_?@An#f@A@@@@@aBA @_O@An#q@A@@@@@aRA @__@An#o@A@@@@@abAL @_o@AT>DnՀ@AO@@@@@ar@@@@\@@@@J@b@A@AJ[@b@A@J@b@A@ABK@b@A@KW@bx@A@AK@bo@A@L@bg@A@ABC!L@b]@A@*Oa@A.P`@1P_@AB2Q_@6Q\@A@>SZ@ABCDATZQ@BTZS@AFUTe@NWS@ABPXbS@SYR@ATY^R@XZZN@ABC[[N @][MK@A`\RM@a\M@ABe]H@g^ G@A}cu?@c?@ABCDEǁdq>@DŽe.>@ADžem>@ljfi8h@ABnjg&7@ǎg6@AǑha6@ǒh6@ABCǖi0;@ǙjY/@AǛj.@Ǟk.@ABǟk.@ǣl'@AǶq|"@ǹr9"?@ABCDǻr!~@Ǿst!<@Aǿs!:@tA@ABul@u@Avh@w%@ABCwd@x`@Ay@y@ABzX@z@A{ @|P @AB| @}L @A~  @~H @Dh@ABCDEFGH@R@AR|@@@ABCL@L@A>G@BD>D@ @A @B6S@6Q@AC.@.@_@AB__CDE_@Z @AZ@ l@AB i@@@ABR@O@ACDFO@9@AO @O@3@ABC@@0@ABD@@A @\@%@ABCL@I@ADEI@9@A@B@Y@AIV@B%@CH@ @ADEH%H@%@AJ:@>m@ABCFG:8:;@:@A8@:@ @ABCDB@p@A@@6@ABCD20EFHI1@1N@A0@2V@.H@ABC))'rD('p(&@'@A)s@$@AB$N#CD$@#@A#@#O@A$@_@ABb@@b>@c2AcG@ABCDEFc3Aӹ(mo&choice)ssreflect(mathcomp@@c"AcU@AcAcV@BcAcW@cAcD@c A1N&eqtype)ssreflect(mathcomp@@ABCbWbWbQ@bO@a7@ABCDGa5]@_H@_J@\K@A\@BC^]8D^{]6^L@^K@[@ABC[UDEF[?UGHJYUYTXTX@X@T@ABCDTOAEFTO?SO3O2@9@ARt@BCR8O2DFGRsO.RrO*Q @Q @N@ABCNIDENIFMIvIu@F@AL@BCLu@Lw@AF@F?@AL$@BCL"@F@E@ABJ@Cg@C6@ABGH@CDEFGHL@L@G*@ABG@G@C@AI&@BCDI$@B@AL4@BL1IK@EY@ABCELIK`@Ka@ADf@BC@CDE@Dh@AC@B@AE<@@@AB@@CD@9_9=t9D=<9<@<@8@ABC88D81EF71G51H706p06m05-0B4@4@0@AB00CDEF0'G+'.6'EHI.3',',(@,(@ABD-@+@A+@+R@+R@ABCE-@+T@*@*@ABC-@*@*@/@ABCD-@'@A#@BE.E'FG.B'-''D.B@,t@A,r@%@#L@ABC#KEDE"C@J@@AB"J@C cADE ?FG : 6C4@@@ABCDEF}@S@A@BCDEFGHI7~6vOs@@A @B CDEF@@@AB9@9@ACDEGODr @ @A)@B(%CD#xEFG :sH lcIJKL %R GW@@]@A`]`@`@AV@BCDEF```@`@A@ABCA@A@ADc @c@Ac@V@A@ABCEVUV@A@AA@BCA@V@A@ABc@[-@ACDFGH`@^E@Abm@&@&@ABC^@M@A[6@BDX@@AXq@B>@ABV@"@AVUBCEV@Y"@A!@Bb@@L@AB@@ACD@@N@@ABC~@&@A@S@S@ABCDEFS@S@Ar@Bq@p@p@N @ABCN@N@AN@?@ABDE?@?@?@ @ABC @ @ @7@ABC7@7@A7@/p@ABD/o@/m@/m@ABEFGH`@`@`@AB[f@!@AB@B`@[i@A!@E@A`@BCDE[i@S@AN"@?@AB7@/}@A!@L@A@ 1@A`@BCDE[r@S@AN+@?@AB7@/@A!@T@@ 9@ABCDE`c@Z@ASw@M@AB?4@78@A.@&@AB!@@ @ @ABCDEFGHIJMN^y@@@ǁdq@ǻr#@wd;zXC| ~  L@~H L@AD@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@ABCDEFGH?[ aYbyW_@>=zc2A*Z'ssrbool#ssr#Coq@@A#@BW@ A+h2 @AWp@BCDEWFTDwHa4^IJMN@@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%Logic$Init#Coq@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ&Specif$Init#Coq@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+&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  } @02*{;"W$^6#div)ssreflect(mathcomp@0W~ě o+ N@0Wn"2&=zH0;&finfun)ssreflect(mathcomp@0ƜNtD砠dcdddb@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%prime)ssreflect(mathcomp@0.wFbN_(quotient(fingroup(mathcomp@0鰷 x<G@#seq)ssreflect(mathcomp@0=~(sV,Aڠddd@0ⴆg {PK'ssrbool#ssr#Coq@0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q)ssreflect#ssr#Coq@0 zv)ssreflect(mathcomp@0tn|kN0 D/O&ssrfun#ssr#Coq@01 ZP"};o{&ssrfun)ssreflect(mathcomp@0âNO=(V+ssrmatching#Coq@0L1T=>&ssrnat)ssreflect(mathcomp@0ͧMy}yWߘ,ssrnotations)ssreflect(mathcomp@0hPB %tuple)ssreflect(mathcomp@0ýޑA"_39.z"<-"_49.z"->fՠrHȠ@fӠ2 Q@@@@#_39f@f5#A@@@@@@fG@AfڐF@Afݑ @AfґE@AfՑH@AfI@A@@fpM@Af梐LO@Afz @Af@A@f_P@Af]@A@@@@#_402M접g9@g55#PGC@#_41'`o@gB@g>5#P*type_scope.function_scope   @@@@@@@@@AAAAAAA@@@ffgf@#_43g@g5#A@@@@@P@g@@Ag@@Ag@@Agt@@Agu@@AgZ@@A@@@@@@@@@@@@@ff2 Q@@@@#_45g@fq0I5@@@@@#_462M접@#_47'`o@A@@f3@fvrHȠ@gN$@@B@gƔA@gw@@@a@#_49e@g/A@@@@@@@@@@A@fB@AgmC@A@@@@#_50'`o@f@g/@A@@@#_51'`o@f-@h/@ACܠ@@@@fg@g2 Q@@H@#_52fF@g--K@fCB@A@@@@#_532M접fZ@g--BB@A#_54'`o@fc@g--B@@@e@f62 Q@@H@#_55fx@fA.}@fuB@A@@@@#_562M접f@fU.BB@A#_57'`o@f@f^.BD@@@f)@#_58L4xf@h|/@f@h@AhAfxA@f@h--f@f.@hN$@@B@h@hY@@@@#_62f@h-/A@@@@@@@@@A@gؐB@A@@@@@#_63'`o@f@h-/@@@@#_64'`o@f@h-/@AC@@@f@@g2 Q@@H@#_65g@h -.8A@@@@@#_662M접g@h-.8AA@A#_67'`o@g@h -.8A@@e@#_68L4xg+@i-/@g/@i@Ah3A@A@A@g:@h;-.8@@@h2 Q@@@@#_70gI@h-.u@iC@AhD@Ahؑ@A@hG@Ah@A@@@@#_712M접gt@h-.u@#_72'`o@g|@h-.uG+@@@@@@@@h#gZhɠhi h@h2 Q@@@@#_76g@h-ޠ@@@@@#_772M접g@h-AA@A#_78'`o@g@h-A@@f@e 2 Q@@@@#_82g@e@@@@@$_1072M접i@e/ɞ@$_108'`o@i@e/ɞA@@g@d2 Q@@@@$_109i,@e oe@@@@@$_1102M접i:@eo@$_111'`o@iB@e oA@@h!@erHȠ@$_113iS@j--@@@hi#A$_114i]@i&.@@@hjA$_115ig@jh-.8@@@hC@@$_116YS*ring_scope @$_117iy@gy@j ɠ@h;B@A@@@@$_1852M접hR@k @$_186'`o@hZ@k  Bc@@@h@oN$@@B@o@o^@@@@$_190hr@oFA@@@@@@@@@A@nݐB@A@@@@@$_191'`o@h@oF@@@@$_192'`o@h@oF@AC@@@hB@@o2 Q@@H@$_193h@o2A@@@@@$_1942M접h@o2AA@A$_195'`o@h@o%2A@@g@$_196L4xh@pF@h@p@Ao8A@A@A@h@o@2@@@o2 Q@@@@$_198h@o@pC@AoD@Aoݑ@A@oG@Ao@A@@@@$_1992M접i@o@$_200'`o@i'@oG 0@@@@@@@@gioΠopo@o2 Q@@@@$_204iP@o,ޠ@@@@@$_2052M접i^@o,AA@A$_206'`o@ig@o,A@@h#@lǠ2 Q@@@@$_210ix@lr@@@@@$_2112M접i@lr@$_212'`o@i@lrA@@hJ@l2 Q@@@@$_213i@l#w-@@@@@$_2142M접i@l#w@$_215'`o@i@l#wA@@hq@l2 Q@@@@$_216i@l0T@@@@@$_2172M접i@l0@$_218'`o@i@l0A@@h@lN2 Q@@@@$_219i@lY2=ف{@@@@@$_2202M접i@lg2=ف@$_221'`o@j@lo2=فA@@h@l;2 Q@@@@$_222j@lF*@@@@@$_2232M접j"@lT*@$_224'`o@j*@l\*A@@h@fנ2 Q@@@@$_225j;@f`ieɠ@@@@@$_2262M접jI@f`ie@$_227'`o@jQ@f`ieA@@i @fѠ2 Q@@@@$_228jb@f5" 𠠑@@@@@$_2292M접jp@f5" @$_230'`o@jx@f5" A@@i4@l2 Q@@@@$_231j@l9@@@@@$_2322M접j@l9@$_233'`o@j@l9A@@i[@f2 Q@@@@$_234j@f k>@@@@@$_2352M접j@f k@$_236'`o@j@f kA@@i@l2 Q@@@@$_237j@le@@@@@$_2382M접j@l@$_239'`o@j@lA@@i@l|2 Q@@@@$_240j@l72@@@@@$_2412M접k @l72@$_242'`o@k@l72A@@i@lw2 Q@@@@$_243k%@l @@@@@$_2442M접k3@l @$_245'`o@k;@l A@@i@ly2 Q@@@@$_246kL@l!͋ڠ@@@@@$_2472M접kZ@l!͋@$_248'`o@kb@l!͋A@@j@lrHȠ@$_250ks@r(B@@@kkPA$_251k}@n, @@@kpeA$_252k@q2@@@j@@@$_253YS*ring_scope @$_254k@nr@@@jRr@$_255(шZ r$_256k@n#w@@@jan@$_257(шZ n$_258k@n}0@@@jpnt@$_259(шZ ny$_260k@n22=ف@@@jrG@$_261(шZ rL$_262k@n*@@@jq@$_263(шZ qР$_264k@h`ie@@@jp@$_265(шZ p $_266k@hm5" @@@jj@$_267(шZ j$_268(шZl@n9r$_269(шZl@h kp=`9D{(@@l@sRF@@$_270@@Ȑ@@4[ finRingType of _ ]@@ @@![+finRingType"ofsP!]@@@! ! AȠ@@@$_271%c?@*form_scopeso@@@@l[@ssx@@@@@@@@@@@@@@@@Ts͠mlys@8[ 'finRingType' 'of' T ]$_272(шZl@nDn9$_273(шZl@n72n$_274(шZl@m nG$_275(шZl@m!͋n@g̠2 Q@@@@$_281l@gBϴA@@@@@@lB@A@@@@@$_2822M접l@gBϴA$_283'`o@l@gBϴC@57@kjԠj@g2 Q@@@@$_284l@gQ9@@@@@$_2852M접l@gQ@$_286'`o@l@gQA@@k@gq2 Q@@@@$_287m@g| A`@lB@A@@@@$_2882M접m@g A>&Finite'EnumSig@$enum$_289'`o@m'@g AB@@k堐k:@gs2 Q@@A@$_291m=@g~ A@@@@@@m;B@A!xC@A@@@@$_2922M접mY@g $_293'`o@mc@g A@@l@g;2 Q@@A@$_295mt@gFA@@@@@@mrB@A7C@A@@@@$_2962M접m@ga$_297'`o@m@gkA@@lU@gW2 Q@@A@$_299m@gbyA@@@@@@mB@AniD@AnM@A@@@@$_3002M접m@gy$_301'`o@m@gyD@*ring_scope@@llelhg@g`2 Q@@A@$_303m@gk$tA@@@@@@mB@AC@A@@@@$_3042M접n@g$t$_305'`o@n@g$tA@@l@gL2 Q@@@@$_306n*@gW>%'6@@@@@$_3072M접n8@ge>%'@$_308'`o@n@@gm>%'A@@l@@fԠrHȠ@u|N$@@B@u @u0@@@ @$_313f@uA@@@@@@@@@@A@n_B@Au%C@A@@@@$_314'`o@g@u@A@@@$_315'`o@g@u@AC@@@@gug@uN2 Q@@H@$_316g/@uY(uK@nB@A@@@@$_3172M접gC@um(uBB@A$_318'`o@gL@uv(uBʠ@@@f@s2 Q@@H@$_319ga@s(L}@nӐB@A@@@@$_3202M접gu@t (LBB@A$_321'`o@g~@t(LB@@@g)@$_322L4xg@v4@g@v8@AuAt0A@g@u(uȠg@t8(L@qƠ2 Q@@@@$_323g@q(Sɠ@oB@A@@@@$_3242M접g@q(S@$_325'`o@g@q(SBG@@@gt@vN$@@B@v@vB@@@@$_329g@v(yA@@@@@@@@@A@uB@A@@@@@$_330'`o@g@v(y@@@@$_331'`o@h @v(y@AC@@@g@@u2 Q@@H@$_332h"@u(PA@@@@@$_3332M접h0@v(PAA@A$_334'`o@h9@v (PA@@f@$_335L4xhE@v(y@hI@v@AvA@A@A@hT@v$(P@@@v2 Q@@@@$_337hc@v(@vC@AvD@Av@A@vtG@Avr@A@@@@$_3382M접h@v(@$_339'`o@h@v(G@@@@@@@@g+hvvvv@v|2 Q@@@@$_343h@v(_Wޠ@@@@@$_3442M접h@v(_WAA@A$_345'`o@h@v(_WA@@g@s2 Q@@@@$_349h@s7=@@@@@$_3502M접h@s7=@$_351'`o@h@s7=A@@g@s{2 Q@@@@$_352i@s=VB-@@@@@$_3532M접i@s=VB@$_354'`o@i$@s=VBA@@g@se2 Q@@@@$_355i5@spCT@@@@@$_3562M접iC@s~C@$_357'`o@iK@sCA@@h@s22 Q@@@@$_358i\@s=r L{@@@@@$_3592M접ij@sKr L@$_360'`o@ir@sSr LA@@h+@s2 Q@@@@$_361i@s*輡@@@@@$_3622M접i@s8輡@$_363'`o@i@s@輡A@@hR@m2 Q@@@@$_364i@m20ɠ@@@@@$_3652M접i@m20@$_366'`o@i@m20A@@hy@m2 Q@@@@$_367i@mVC𠠑@@@@@$_3682M접i@mVC@$_369'`o@i@mVCA@@h@f 2 Q@@@@$_370i@f=#d@@@@@$_3712M접j@f&=#d@$_372'`o@j@f.=#dA@@h@f2 Q@@@@$_373j@fXZ>@@@@@$_3742M접j-@f XZ@$_375'`o@j5@f(XZA@@h@s2 Q@@@@$_376jF@s$e@@@@@$_3772M접jT@s$@$_378'`o@j\@s$A@@i@mݠ2 Q@@@@$_379jm@m0ޞ@@@@@$_3802M접j{@m0ޞ@$_381'`o@j@m0ޞA@@i<@eΠ2 Q@@@@$_382j@e;L%@@@@@$_3832M접j@e;L%@$_384'`o@j@e;L%A@@ic@s2 Q@@@@$_385j@s3.Gzڠ@@@@@$_3862M접j@t3.Gz@$_387'`o@j@t 3.GzA@@i@sՠ2 Q@@@@$_388j@s@@@@@$_3892M접j@s@$_390'`o@j@sA@@i@sР2 Q@@@@$_391k @s*?c(@@@@@$_3922M접k@s*?c@$_393'`o@k@s*?cA@@i@sҠ2 Q@@@@$_394k0@s;VVO@@@@@$_3952M접k>@s;VV@$_396'`o@kF@s;VVA@@i@sؠrHȠ@$_398kW@y(u@@@jk=A$_399ka@u(S@@@krvA$_400kk@y;(P@@@j!@@$_401YS*ring_scope @$_402k}@vL7=@@@j3yg@$_403(шZ yl$_404k@v=VB@@@jBu@$_405(шZ v$_406k@uC@@@jQu@$_407(шZ uҠ$_408k@ur L@@@j`y@$_409(шZ y$_410k@u`輡@@@joy$@$_411(шZ y)$_412k@o20@@@j~wt@$_413(шZ wy$_414k@oVC@@@jq@$_415(шZ qޠ$_416k@h=#d@@@jr@$_417(шZ r$_418k@gXZ@@@jj@$_419(шZ j$_420(шZl@uz$y$_421(шZl @o0ޞw$_422(шZl@gV;L%r>Sm9D{(@@l@z(y@@$_423@@Ȑ@@7[ finComRingType of _ ]@@ @@![.finComRingType"of3zΠ!]@@@! ! AȠ@@@$_424%c?@*form_scopez@@@@ld@z(븠z@@@@@@@@@@!@@$@@@@T{Ku l{C@;[ 'finComRingType' 'of' T ]$_425(шZl@u3.Gzu$_426(шZl@uu$_427(шZl@uh*?cuŠ$_428(шZl@uJ;VVu@@m1rHȠ@{JN$@@B@{O@z@@@@$_433f@{XA@@@@@@@@@@A@t-B@AzC@A@@@@$_434'`o@g @{|@AT@@@$_435'`o@g@{@ACb@@@@f{5@{2 Q@@H@$_436g3@{';EK@toB@A@@@@$_4372M접gG@{;;EBB@A$_438'`o@gP@{D;EB@@@f@y2 Q@@H@$_439ge@y<V}}@tB@A@@@@$_4402M접gy@y<V}BB@A$_441'`o@g@y<V}Bʠ@@@g(@$_442L4xg@|@g@|@A{AyA@g@{;Eg@z<V}@w2 Q@@@@$_443g@w<ɠ@t퐐B@A@@@@$_4442M접g@w<@$_445'`o@g@w<B@@@gs@|VN$@@B@|[@|@@@@$_449g@|d;GA@@@@@@@@@A@{B@A@@@@@$_450'`o@h@|;G@@@@$_451'`o@h @|;G@ACU@X@@g@@{2 Q@@H@$_452h&@{;G.A@@@@@$_4532M접h4@{;G.AA@A$_454'`o@h=@{;G.A@@f@$_455L4xhI@|;G@hM@|@A{A@A@A@hX@{;G.@@@|W2 Q@@@@$_457hg@|b;G0@|ɐC@A|\D@A|@A@|BG@A|@@A@@@@$_4582M접h@|;G0@$_459'`o@h@|;G0G@@@@@@@@g+h||n| |@|J2 Q@@@@$_463h@|U< ޠ@@@@@$_4642M접h@|c< AA@A$_465'`o@h@|l< A@@g@yy2 Q@@@@$_469h@y n@@@@@$_4702M접h@y n@$_471'`o@i@y nA@@g@yI2 Q@@@@$_472i@yT s-@@@@@$_4732M접i @yb s@$_474'`o@i(@yj sA@@g@y32 Q@@@@$_475i9@y>(T@@@@@$_4762M접iG@yL(@$_477'`o@iO@yT(A@@h@y2 Q@@@@$_478i`@y )Q}{@@@@@$_4792M접in@y)Q}@$_480'`o@iv@y!)Q}A@@h+@x2 Q@@@@$_481i@x"@@@@@$_4822M접i@y"@$_483'`o@i@y"A@@hR@s2 Q@@@@$_484i@saɠ@@@@@$_4852M접i@sa@$_486'`o@i@saA@@hy@s2 Q@@@@$_487i@s,𠠑@@@@@$_4882M접i@s,@$_489'`o@i@s,A@@h@k۠2 Q@@@@$_490i@k4h@@@@@$_4912M접j @k4h@$_492'`o@j@k4hA@@h@f 2 Q@@@@$_493j#@fJ>@@@@@$_4942M접j1@f#J@$_495'`o@j9@f+JA@@h@y2 Q@@@@$_496jJ@y1ie@@@@@$_4972M접jX@y1i@$_498'`o@j`@y1iA@@i@s2 Q@@@@$_499jq@s@@@@@$_5002M접j@s@$_501'`o@j@sA@@i<@k2 Q@@@@$_502j@k~j@@@@@$_5032M접j@k~j@$_504'`o@j@k~jA@@ic@y2 Q@@@@$_505j@y`ڠ@@@@@$_5062M접j@y`@$_507'`o@j@y`A@@i@y2 Q@@@@$_508j@y/ .@@@@@$_5092M접j@y/ .@$_510'`o@j@y/ .A@@i@y2 Q@@@@$_511k @y=넔(@@@@@$_5122M접k@y=넔@$_513'`o@k#@y=넔A@@i@y2 Q@@@@$_514k4@yEO@@@@@$_5152M접kB@yE@$_516'`o@kJ@yEA@@i@yrHȠ@$_518k[@O;E@@@jk9A$_519ke@{S<@@@kxDA$_520ko@ ;G.@@@j!@@$_521YS*ring_scope @$_522k@| n@@@j35@$_523(шZ :$_524k@{ s@@@jB{@$_525(шZ {Π$_526k@{(@@@jQ{@$_527(шZ {$_528k@{Y)Q}@@@j`n@$_529(шZ s$_530k@{."@@@jo~@$_531(шZ ~$_532k@ua@@@j~}B@$_533(шZ }G$_534k@u,@@@jw@$_535(шZ w$_536k@m4h@@@jw@$_537(шZ w蠠$_538k@gJ@@@jj@$_539(шZ j$_540(шZl@{H1iŠ$_541(шZl@uS}$_542(шZl@m$~jx Xݠ9D{(@@l@;G@@$_543@@Ȑ@@8[ finUnitRingType of _ ]@@ @@![/finUnitRingType"of!]@@@! ! AȠ@@@$_544%c?@*form_scope@@@@lh@c;G0頑Ġ@@@@峑@@蠳@@@@ﳑ@@@@@@Tzؠrߠ@<[ 'finUnitRingType' 'of' T ]$_545(шZl@{`{$_546(шZl@{[/ .{P$_547(шZl@{6=넔{$_548(шZl@{E{^@@fݠN$@@B@fR@f@@@P@$_555;@fmA@@@@@@@yB@A@@@A@yB@A@zD@A@@@@$_556'`o@f@gm@B@@@kzI@$_557'`o@x@g(m@AD@@}@@kz^jz[@f2 Q@@G@$_558@f}[@zHBC@AgM@AgD@A@@@@@$_5592M접@g}EE@A$_560'`o@@g"}E@@{}@@k񠐒zAAg&@$_561? 3V/_rect_from_type@g@@gCf2 Q@@X@$_562@f* -@zBC@Ag@AgZD@A@@@@@$_5632M접@g* -EE@A$_564'`o@@g* -E@@ҠԠ@@lHzAAg}@$_565? 3V._ind_from_type6@g@8@g@g&2 Q@@@$_566D@g0* 2 @zBC@Ag@AgD@A@@@@@$_5672M접e@gQ* 2EE@A$_568'`o@n@gZ* 2E@@)+@@l{VAAg@$_569? 3V._rec_from_type@h=@@g{g\2 Q@@@@$_576@gg:Jga@{NB@A@@@@$_5772M접@g{:JgBB@A$_578'`o@@g:JgB@@@l堐h@gd2 Q@@C@$_579@go@@@@@$_5802M접@g}@$_581'`o@@gA@@m@$_582(шZ@gg@f2 Q@@@@$_583@f-՝ @@@@@$_5842M접 @g-՝@$_585'`o@@g -՝A@@m>@f2 Q@@C@$_586$@f(H頠@@@@@$_5872M접2@f(H@$_588'`o@:@f(HA@@me@$_589(шZE@f(Hm@f2 Q@@@@$_590S@f4x @@@@@$_5912M접a@f4x j@/PcanChoiceMixin6$_592'`o@o@f4x A@@m@f2 Q@@C@$_593@f}E@@@@@$_5942M접@f}@$_595'`o@@f}A@@m@$_596(шZ@f}N@f2 Q@@@@$_597@ft@@@@@$_5982M접@f@$_599'`o@@fA@@m@fV2 Q@@C@$_600@fa1q @@@@@$_6012M접@fo1q @$_602'`o@@fw1q A@@n@$_603(шZ@f1q g@fH2 Q@@C@$_604@fS ʠ@@@@@$_6052M접@fa @$_606'`o@@fi A@@nF@$_607(шZ&@ft fi@fL2 Q@@@@$_6084@fW,^@@@@@$_6092M접B@fe,^A$_610'`o@J@fm,^A@@nu@f 2 Q@@C@$_611[@f/j @@@@@$_6122M접i@f%/j@$_613'`o@q@f-/jA@@n@$_614(шZ|@f8/j@f2 Q@@C@$_615@fU;O@@@@@$_6162M접@f(U;@$_617'`o@@f0U;A@@n@$_618(шZ@f;U;f0@f2 Q@@@@$_619@f ;2C~@@@@@$_6202M접@f.;2C@$_621'`o@@f6;2CA@@n@f 2 Q@@A@$_623@f6A@@@@@@}B@A@@@@$_6242M접@f-6$_625'`o@@f76B@@@o+jY@f2 Q@@@@$_626@f(ġ4@}ƐB@A@@@@$_6272M접(@f<ġ@$_628'`o@0@fDġB@@@o\j@e2 Q@@A@$_630E@f #A@@@@@@}B@A@@@@@$_6312M접[@f #ѐ$_632'`o@e@f$ #C@@@@ojj@f 2 Q@@@@$_633~@fħ<9@~0B@A@@@@@$_6342M접@f*ħ<@$_635'`o@@f2ħp0@@@@@$_6492M접T@fLp@$_650'`o@\@fTpA@@p@f2 Q@@C@$_651m@ffW@@@@@$_6522M접{@f)f@$_653'`o@@f1fA@@p@$_654(шZ@f<f靠@f 2 Q@@C@$_655@f;m4p@@@@@$_6562M접@f&;m4p@$_657'`o@@f.;m4pA@@p@$_658(шZ@f9;m4p@f2 Q@@A@$_660@f(n#JA@@@@@@@@@@$_6612M접@f7n#J$_662'`o@@fAn#JA@@q@f,2 Q@@A@$_664@f7n#fA@@@@@@B@A@@@@@$_6652M접 @fMn#f$_666'`o@@fWn#fC@+group_scope@qEfYf\@fD2 Q@@A@$_6681@fOn#oA@@@@@@䑐B@A@@@@$_6692M접F@fdn#o$_670'`o@P@fnn#oB@;@q}f@ff2 Q@@A@$_672f@fqn#qA@@@@@@C@A@@@@@$_6732M접|@fn#q$_674'`o@@fn#qC@[s@qf@f}2 Q@@@@$_675@fĕ;@SBC@A@@@@@$_6762M접@fĕA$_677'`o@@fĕC@@@qm@fn2 Q@@A@$_679@fy>DnA@@@@@@BC@A@@@@@$_6802M접@f>DnՐ$_681'`o@@f>DnC@۠@@r(=mY@f2 Q@@C@$_682@f( ;@@@@@$_6832M접"@f( @$_684'`o@*@f( A@@rU@$_685(шZ5@f( "a"`"_@@"c$7@f2 Q@@A@$_687I@f$3IA@@@@@@B@AC@A@@@@$_6882M접d@f?3I$_689'`o@n@fI3IA@@r@f2 Q@@C@$_690@f$6@@@@@$_6912M접@f!$@$_692'`o@@f)$A@@r@$_693(шZ@f4$㥠f)@erHȠ@$_695YS+group_scope@nbm@@$_696(шZ@mZmO$_697(шZ@lN(H蠠$_698(шZ@k}t$_699(шZ@kY1q >$_700(шZ@k# k$_701(шZ@j/j$_702(шZ@jsU;jh$_703(шZ@hfY$_704(шZ@hm;m4p$$_705(шZ@g|( @$_706(шZ@f$f@|9D{(@!@@"Ux@@@@dAAA@@)ssreflect#ssr#Coq@@%phant)`@A@CA@@%@@f}rHȠ@N$@@B@#!]@@@@![@$_710f@,guA@@@@@@@@@@A@B@AǑC@A@@@@$_711'`o@f@Pgu@A"(@@@$_712'`o@f@^gu@AC"6@@@@f @2 Q@@H@$_713f@+tK@CB@A@@@@$_7142M접f@+tBB@A$_715'`o@f@+tB"l@@@f@2 Q@@H@$_716g @,T}@uB@A@@@@$_7172M접g@,TBB@A$_718'`o@g'@,TB"@@@f@$_719L4xg7@gu@g;@@AaAA@gE@h+tgI@,T@h2 Q@@@@$_720gV@s,}Pɠ@B@A@@@@$_7212M접gj@,}P@$_722'`o@gr@,}PB"@@@g@f^2 Q@@@@$_723g@fi,}Q@B@A@@@@$_7242M접g@f},}Q@$_725'`o@g@f,}QB#@@@gJ@[N$@@B@`"@@@@"@$_730g@i+YA@@@@@@@@@A@B@A@@@@@$_731'`o@g@+Y@@@@$_732'`o@g@+Y@AC#Z@#]@@g@@2 Q@@H@$_733g@+A@@@@@$_7342M접h @+AA@A$_735'`o@h@+A@@f@$_736L4xh@+Y@h#@@AA@A@A@h.@+@@@\2 Q@@@@$_738h=@g+/d@ΐC@AaD@A@A@GG@AE@A@@@@$_7392M접hh@+/d@$_740'`o@hp@+/dG#@@@@@@@@fŠhdsǠ@O2 Q@@@@$_744h@Z,ޠ@@@@@$_7452M접h@h,AA@A$_746'`o@h@q,A@@g)@~2 Q@@@@$_750h@;@@@@@$_7512M접h@;@$_752'`o@h@;A@@gP@N2 Q@@@@$_753h@Y-@@@@@$_7542M접h@g@$_755'`o@h@oA@@gw@82 Q@@@@$_756i@C\T@@@@@$_7572M접i@Q\@$_758'`o@i%@Y\A@@g@2 Q@@@@$_759i6@O{@@@@@$_7602M접iD@O@$_761'`o@iL@&OA@@g@2 Q@@@@$_762i]@M@@@@@$_7632M접ik@ M@$_764'`o@is@MA@@g@2 Q@@@@$_765i@6;ɠ@@@@@$_7662M접i@6;@$_767'`o@i@6;A@@h@2 Q@@@@$_768i@𠠑@@@@@$_7692M접i@@$_770'`o@i@A@@h:@y2 Q@@@@$_771i@yg@@@@@$_7722M접i@yg@$_773'`o@i@zgA@@ha@yڠ2 Q@@@@$_774i@ye>@@@@@$_7752M접j@ye@$_776'`o@j@yeA@@h@eh2 Q@@@@$_777j @esdhke@@@@@$_7782M접j.@edhk@$_779'`o@j6@edhkA@@h@t]2 Q@@@@$_780jG@th5U@@@@@$_7812M접jU@tv5U@$_782'`o@j]@t~5UA@@h@eX2 Q@@@@$_783jn@ec>D@@@@@$_7842M접j|@eq>D@$_785'`o@j@ey>DA@@h@eL2 Q@@@@$_786j@eW6 xڠ@@@@@$_7872M접j@ee6 x@$_788'`o@j@em6 xA@@i$@!2 Q@@@@$_789j@,!h+@@@@@$_7902M접j@:!h+@$_791'`o@j@B!h+A@@iK@L2 Q@@@@$_792j@W4?(@@@@@$_7932M접j@e4?@$_794'`o@j@m4?A@@ir@z=2 Q@@@@$_795k @zH>isO@@@@@$_7962M접k@zV>is@$_797'`o@k @z^>isA@@i@d2 Q@@@@$_798k1@e=RZv@@@@@$_7992M접k?@e=RZ@$_800'`o@kG@e=RZA@@i@d2 Q@@@@$_801kX@e@@@@@$_8022M접kf@e@$_803'`o@kn@eA@@i@d2 Q@@@@$_804k@d"sĠ@@@@@$_8052M접k@e"s@$_806'`o@k@e"sA@@j@d2 Q@@@@$_807k@d *렠@@@@@$_8082M접k@d *@$_809'`o@k@e *A@@j5@dӠ2 Q@@@@$_810k@d#\@@@@@$_8112M접k@d#\@$_812'`o@k@d#\A@@j\@2 Q@@@@$_813k@'6Ջ&9@@@@@$_8142M접l@56Ջ&@$_815'`o@l @=6Ջ&A@@j@2 Q@@@@$_816l@`@@@@@$_8172M접l)@ @$_818'`o@l1@(A@@j@2 Q@@@@$_819lB@ .`@@@@@$_8202M접lP@.`@$_821'`o@lX@#.`A@@j@2 Q@@@@$_822li@>D@@@@@$_8232M접lw@>D@$_824'`o@l@%>DA@@j@ rHȠ@$_826l@+t@@@l0lvA$_827l@,}P@@@l:8A$_828l@k,}Q@@@lDzsA$_829l@w+@@@k$@@$_830YS*ring_scope @$_831l@;@@@k6@$_832(шZ $_833l@@@@@kE7@$_834(шZ <$_835l@\@@@kT @$_836(шZ $_837l@O@@@kc@$_838(шZ ᠠ$_839l@M@@@kr`@$_840(шZ e$_841m @ 6;@@@k@$_842(шZ $_843m@@@@k@$_844(шZ $_845m)@}Bg@@@kQ@$_846(шZ V$_847m8@}$e@@@k@$_848(шZ $_849mG@hdhk@@@k@$_850(шZ $_851mV@ww5U@@@k̒z @$_852(шZ z$_853me@hZ>D@@@kےzG@$_854(шZ zL$_855mt@h66 x@@@kk@$_856(шZ kà$_857(шZm@!h+o$_858(шZm@4?,$_859(шZm@|>is$_860(шZm@gn=RZE$_861(шZm@gGz~$_862(шZm@g "sS$_863(шZm@f *z$_864(шZm@f#\z`9D{(@@m@k+Y@@$_865@@Ȑ@$@;[ finComUnitRingType of _ ]@@ @@![2finComUnitRingType"of$ΐi!]@@@! ! AȠ@@@$_866%c?@*form_scope@@@@n@0+/d$@@$@@$@@$$@@$@@$@@$@@@@Tn$@?[ 'finComUnitRingType' 'of' T ]$_867(шZn*@]6Ջ&R$_868(шZn1@($_869(шZn8@.``$_870(шZn?@>D+@@f)rHȠ@N$@@B@)$@@@@)"@$_875f9@ZA@@@@@@@@@@A@ȐB@AC@A@@@@$_876'`o@f]@Z@A)@@@$_877'`o@fk@%Z@AC)@@@@fX@2 Q@@H@$_878f@'YK@ B@A@@@@$_8792M접f@'YBB@A$_880'`o@f@'YB*3@@@fD@W2 Q@@H@$_881f@b(B}@A@@@@@@@@@A@*B@A@@@@@$_892'`o@gT@'>@@@@$_893'`o@g^@''>@AC*@*@@g@@P2 Q@@H@$_894gw@['炎A@@@@@$_8952M접g@i'炎AA@A$_896'`o@g@r'炎A@@f-@$_897L4xg@c'>@g@g@AA@A@A@g@'炎@@@2 Q@@@@$_899g@'I@dC@AD@A*@A@ݑG@Aۑ@A@@@@$_9002M접g@('I@$_901'`o@g@0'IG+}@@@@@@@@ffgߠ ]$@2 Q@@@@$_905h@(ޠ@@@@@$_9062M접h"@(AA@A$_907'`o@h+@(A@@f@2 Q@@@@$_911h<@7@@@@@$_9122M접hJ@-7@$_913'`o@hR@57A@@f@2 Q@@@@$_914hc@=-@@@@@$_9152M접hq@=@$_916'`o@hy@=A@@g@Π2 Q@@@@$_917h@uAT@@@@@$_9182M접h@uA@$_919'`o@h@uAA@@g?@2 Q@@@@$_920h@D={@@@@@$_9212M접h@D=@$_922'`o@h@D=A@@gf@2 Q@@@@$_923h@2@@@@@$_9242M접h@2@$_925'`o@h@2A@@g@$2 Q@@@@$_926h@/2fɠ@@@@@$_9272M접i @=2f@$_928'`o@i@E2fA@@g@2 Q@@@@$_929i&@)(uf𠠑@@@@@$_9302M접i4@7(uf@$_931'`o@i<@?(ufA@@g@v2 Q@@@@$_932iM@@@@@@$_9362M접i@@$_937'`o@i@A@@h)@l2 Q@@@@$_938i@m VPe@@@@@$_9392M접i@mVP@$_940'`o@i@mVPA@@hP@{2 Q@@@@$_941i@{1@@@@@$_9422M접i@| 1@$_943'`o@i@|1A@@hw@l2 Q@@@@$_944i@l i)@@@@@$_9452M접i@m i)@$_946'`o@i@m i)A@@h@l2 Q@@@@$_947j@l26fڠ@@@@@$_9482M접j@l26f@$_949'`o@j&@m26fA@@h@d2 Q@@@@$_950j7@d,4@@@@@$_9512M접jE@d,4@$_952'`o@jM@d,4A@@h@d2 Q@@@@$_953j^@d1(@@@@@$_9542M접jl@d1@$_955'`o@jt@d1A@@i@2 Q@@@@$_956j@VO@@@@@$_9572M접j@V@$_958'`o@j@&VA@@i:@02 Q@@@@$_959j@;0$v@@@@@$_9602M접j@I0$@$_961'`o@j@Q0$A@@ia@!2 Q@@@@$_962j@,;WX@@@@@$_9632M접j@:;WX@$_964'`o@j@B;WXA@@i@l2 Q@@@@$_965j@lüĠ@@@@@$_9662M접k@lü@$_967'`o@k@lüA@@i@m2 Q@@@@$_968k!@m9}H렠@@@@@$_9692M접k/@m!9}H@$_970'`o@k7@m)9}HA@@i@d12 Q@@@@$_971kH@d<?~a@@@@@$_9722M접kV@dJ?~a@$_973'`o@k^@dR?~aA@@i@2 Q@@@@$_974ko@3y 9@@@@@$_9752M접k}@3y @$_976'`o@k@3y A@@j$@2 Q@@@@$_977k@`@@@@@$_9782M접k@@$_979'`o@k@A@@jK@2 Q@@@@$_980k@*p@@@@@$_9812M접k@*p@$_982'`o@k@*pA@@jr@2 Q@@@@$_983k@;(1@@@@@$_9842M접k@;(1@$_985'`o@k@;(1A@@j@rHȠ@$_987l @I'Y@@@kkA$_988l@M(5@@@ksA$_989l@'炎@@@j@@$_990YS*ring_scope @$_991l1@7@@@j͒/@$_992(шZ 4$_993l@@=@@@jܒ@$_994(шZ Ƞ$_995lO@uA@@@j@$_996(шZ $_997l^@SD=@@@jh@$_998(шZ m$_999lm@(2@@@k @%_1000(шZ %_1001l|@2f@@@k<@%_1002(шZ A%_1003l@(uf@@@k'@%_1004(шZ %_1005l@@'>@@%_1027@@Ȑ@,T@7[ finIdomainType of _ ]@@ @@![.finIdomainType"of,j!]@@@! ! AȠ@@@%_1028%c?@*form_scope$@@@@m@'I-,R@@,P@@,N@@,Q,M@@,K@@,X@@,[@@@@TAmz@;[ 'finIdomainType' 'of' T ]%_1029(шZm@3y %_1030(шZm@%_1031(шZm@*p%_1032(шZm@;(1@@erHȠ@N$@@B@0@5@@@0@%_1037e@z"hA@@@@@@@@@@A@dB@A*C@A@@@@%_1038'`o@e@z"h@A1@@@%_1039'`o@e@z"h@AC1@@@@e l@S2 Q@@H@%_1040e@^;gK@B@A@@@@%_10412M접f@r;gBB@A%_1042'`o@f @{;gB1Ϡ@@@e@2 Q@@H@%_1043f @<}@ؐB@A@@@@%_10442M접f4@@@@@@%_10982M접h@%&w@%_1099'`o@h@-&wA@@g@t2 Q@@@@%_1100i@t$v^e@@@@@%_11012M접i@t$v^@%_1102'`o@i@t$v^A@@g@2 Q@@@@%_1103i,@g@@@@@%_11042M접i:@g@%_1105'`o@iB@gA@@g@t2 Q@@@@%_1106iS@tQ7@@@@@%_11072M접ia@tQ7@%_1108'`o@ii@tQ7A@@g@t~2 Q@@@@%_1109iz@tڠ@@@@@%_11102M접i@t@%_1111'`o@i@tA@@h"@lF2 Q@@@@%_1112i@lQnB@@@@@%_11132M접i@l_nB@%_1114'`o@i@lgnBA@@hI@l@2 Q@@@@%_1115i@lK$(@@@@@%_11162M접i@lY$@%_1117'`o@i@la$A@@hp@c2 Q@@@@%_1118i@c">O@@@@@%_11192M접i@c">@%_1120'`o@j@c">A@@h@c2 Q@@@@%_1121j@cv@@@@@%_11222M접j$@c@%_1123'`o@j,@cA@@h@2 Q@@@@%_1124j=@1@@@@@%_11252M접jK@1@%_1126'`o@jS@1A@@h@2 Q@@@@%_1127jd@%2Ġ@@@@@%_11282M접jr@32@%_1129'`o@jz@;2A@@i @ 2 Q@@@@%_1130j@f렠@@@@@%_11312M접j@$f@%_1132'`o@j@,fA@@i3@t2 Q@@@@%_1133j@t(@@@@@%_11342M접j@t(@%_1135'`o@j@t(A@@iZ@t2 Q@@@@%_1136j@t d9@@@@@%_11372M접j@u  d@%_1138'`o@j@u dA@@i@l2 Q@@@@%_1139k@l&e`@@@@@%_11402M접k@l4e@%_1141'`o@k@l<eA@@i@c2 Q@@@@%_1142k'@c! @@@@@%_11432M접k5@c/ @%_1144'`o@k=@c7 A@@i@à2 Q@@@@%_1145kN@@@@@@%_11462M접k\@@%_1147'`o@kd@A@@i@2 Q@@@@%_1148ku@/Pՠ@@@@@%_11492M접k@/P@%_1150'`o@k@/PA@@j@2 Q@@@@%_1151k@>r@@@@@%_11522M접k@>r@%_1153'`o@k@>rA@@jD@2 Q@@@@%_1154k@}#@@@@@%_11552M접k@}@%_1156'`o@k@}A@@jk@rHȠ@%_1158k@Z;g@@@kkA%_1159k@^@@@ks@%_1193(шZ sŠ%_1194m@f@@@kkc@%_1195(шZ kh%_1196(шZm@1H%_1197(шZm@2%_1198(шZm@f%_1199(шZm#@wG d%_1200(шZm*@w (W%_1201(шZm1@nWe{%_1202(шZm8@e2 t,finFieldType9D{(@@mC@>;L@@%_1203@@Ȑ@4@5[ finFieldType of _ ]@@ @@![,finFieldType"of4r3%_1208(шZm@}@@d2 Q@@E@%_1215@d:>$A@@@@@@dB@A@@@@@%_12162M접@d:>$CC@A%_1217'`o@@d:>$C@)seq_scope*term_scope@ldd@c2 Q@@A@%_1219@cBA@@@@@@dB@A@@@@@%_12202M접*@cB%_1221'`o@4@cBA@@l@c2 Q@@@@%_1222E@c1@@@@@%_12232M접S@c@%_1224'`o@[@cA@@l@crHȠ@[2 Q@@@@%_1235c@f6RA@@@@@@@@@@%_12362M접c@u6R@%_1237'`o@c@}6RA@@m@2 Q@@@@%_1238c@%'(@@@@@%_12392M접c@%'@%_1240'`o@c@%'A@@m;@2 Q@@@@%_1241c@Ju}O@@@@@%_12422M접c@*Ju}@%_1243'`o@c@2Ju}A@@mb@<2 Q@@@@%_1244d @G v@@@@@%_12452M접d@U @%_1246'`o@d#@] A@@m@z?2 Q@@@@%_1247d4@zJMk@@@@@%_12482M접dB@zXMk@%_1249'`o@dJ@z`MkA@@m@zĠ2 Q@@@@%_1250d[@zr Ġ@@@@@%_12512M접di@zr @%_1252'`o@dq@zr A@@m@q2 Q@@@@%_1253d@r;jq렠@@@@@%_12542M접d@r;jq@%_1255'`o@d@r;jqA@@m@i?2 Q@@@@%_1256d@iJ@@@@@%_12572M접d@iX@%_1258'`o@d@i`A@@n%@2 Q@@@@%_1259d@$ 9@@@@@%_12602M접d@2 @%_1261'`o@d@: A@@nL@2 Q@@@@%_1262d@*J`@@@@@%_12632M접e@*J@%_1264'`o@e @%*JA@@ns@rHȠ@%_1266e@6R@@@ne@%_1267(шZ e%_1268(шZe,@'%':%_1269(шZe3@iJu}%_1270(шZe:@t %_1271(шZeA@{WMkB%_1272(шZeH@{r %_1273(шZeO@r;jq~堠%_1274(шZeV@iv%_1275(шZe]@ %_1276(шZed@|*Jq@@b֠rHȠ@+N$@@B@0;j@@@@;h@%_1283b@9"A@@@@@@@@@@@ A@C@Ao@AڑD@A@@@@%_1284'`o@c@c"@B@<<@à@@%_1285'`o@c"@u"@AD@i@@@@@@@@ce4 O@ޠ2 Q@@@@%_1322em@>`@BC@A@A@@@@%_13232M접e@>@%_1324'`o@e@ >C@@@@Bࠐd8@ 2 Q@@@@%_1325e@@ǢBC@A̐@A@@@@%_13262M접e@@%_1327'`o@e@C@@@@}ds@2 Q@@@@%_1328e@| ֠@BC@A@A@@@@%_13292M접e@| @%_1330'`o@f@| C@@@@Vd@2 Q@@@@%_1331f@D@=BC@AB@A@@@@%_13322M접f8@D@%_1333'`o@f@@DC@@@@󠐒d@2 Q@@@@%_1334fY@ L@xBC@A}@A@@@@%_13352M접fs@ @%_1336'`o@f{@ C@@@@.̠e$@R2 Q@@@@%_1337f@]8ԉ@BC@A@A@@@@%_13382M접f@w8ԉ@%_1339'`o@f@8ԉC@@@@ie_@b֠2 Q@@@@%_1340f@b+9Z@ @BC@A@A@@@@%_13412M접f@b+9Z@@%_1342'`o@f@c+9Z@C@@@@Be@#2 Q@@@@%_1343g @.$%\@)BC@A.@A@@@@%_13442M접g$@H$%\@%_1345'`o@g,@P$%\C@@@@ߠ}e@b2 Q@@@@%_1346gE@m78@dBC@Ai@A@@@@%_13472M접g_@7@%_1348'`o@gg@7C@@@@f@\2 Q@@@@%_1349g@g9fs@BC@A@A@@@@%_13502M접g@9f@%_1351'`o@g@9fC@@@@U󠐒fK@[2 Q@@@@%_1352g@f" V@ڢBC@Aߐ@A@@@@%_13532M접g@" V@%_1354'`o@g@" VC@@@@.f@j2 Q@@@@%_1355g@u0w頠@BC@A@A@@@@%_13562M접h@0w@%_1357'`o@h@0wC@@@@ˠif@2 Q@@@@%_1358h1@8$@PBC@AU@A@@@@%_13592M접hK@8@%_1360'`o@hS@8C@@@@f@rHȠ@%_1362hl@C.K!@@@h hNB%_1363hv@G/@@@hB%_1364h@.MV@@@g@B%_1365YS*ring_scope @%_1366h@>@@@g0)B%_1367(шZ .%_1368h@@@@g?B%_1369(шZ  %_1370h@| @@@gNB%_1371(шZ %_1372h@MD@@@g]bB%_1373(шZ g%_1374h@" @@@glB%_1375(шZ 렠%_1376h@8ԉ@@@g{6B%_1377(шZ ;%_1378h@d+9Z@@@@ggB%_1379(шZ g$%_1380(шZh@$%\%_1381(шZi@)7X^9D{(@B4@@@i@s.M@A-A@@ k2@@@%_1382@@ȐȠȐ@=͠=@6[ finLmodType _ of _ ]@@ @@![+finLmodType=W"of=!]@@@! AȠ! ! BȠ@@@%_1383%c?@*form_scopee@@@@@@iy@W.M$@@@@ Ҡ@@=@@=@@=ⳑ@@=堳=@@=@@=쳑@@=@@@@mՠi@:[ 'finLmodType' R 'of' T ]%_1384(шZi@9f%_1385(шZi@X" VM%_1386(шZi@30w%_1387(шZi@8[@@d<rHȠ@N$@@B@BT@@@@BR@%_1396dL@#%A@@@@@@@@@@@ A@C@AY@AđD@A@@@@%_1397'`o@dv@M%@B@C&@@@%_1398'`o@d@_%@AD@C8@@@@du@2 Q@@H@%_1399d@6Y@HC@A@A@@@@%_14002M접d@6CC@A%_1401'`o@d@"6C@Cw@@@do@2 Q@@H@%_1402d@7В@C@A@A@@@@%_14032M접d@7ВCC@A%_1404'`o@e@7ВC@C@@:@d@%_1405L4xe@%@e@@AxAA@e$@6e(@7В@2 Q@@@@%_1406e5@7i頠@ؐC@A8@A@@@@%_14072M접eN@7i@%_1408'`o@eV@7iC@D@@@d@~2 Q@@@@%_1409eo@7j#@C@Ar@A@@@@%_14102M접e@7j@%_1411'`o@e@7jC@D@@@Ƞ@e8@N$@@B@C@>@@@C@%_1416e@6rA@@@@@@@QB@A@@@A@^BD@A@̐@A@@@@@%_1417'`o@e@6r@B@@@@%_1418'`o@e@6r@AE@@D@D@%à@e@@2 Q@@H@%_1419f @ 6_@BC@A@A@@@@%_14202M접f%@&6CC@A%_1421'`o@f.@/6C@@@@ed@%_1422L4xfB@(6r@fF@,@AJA@A@A@fQ@R6 @@@2 Q@@@@%_1430f`@6l}@BD@A@A5E@AȑF@A@A@I@A@A@@@@%_14312M접f@6l}@%_1432'`o@f@6l}I@@EP@@@@@@@ݠ{@d䠐f⠐6@2 Q@@@@%_1433f@7$@sBC@Ax@A@@@@%_14342M접f@7CC@A%_1435'`o@f@7C@@@@*Ƞec@2 Q@@@@%_1439g @ X`@BC@A@A@@@@%_14402M접g&@&X@%_1441'`o@g.@.XC@@@@ee@2 Q@@@@%_1442gG@ @ꢐBC@A@A@@@@%_14432M접ga@  @%_1444'`o@gi@ C@@@@>e@2 Q@@@@%_1445g@#u֠@%BC@A*@A@@@@%_14462M접g@#u@%_1447'`o@g@#uC@@@@۠yf@Ġ2 Q@@@@%_1448g@%U@`BC@Ae@A@@@@%_14492M접g@%U@%_1450'`o@g@%UC@@@@fO@Š2 Q@@@@%_1451g@=fL@BC@A@A@@@@%_14522M접h@=f@%_1453'`o@h@=fC@@@@Qf@u2 Q@@@@%_1454h3@x@֢BC@Aې@A@@@@%_14552M접hM@x@%_1456'`o@hU@xC@@@@*f@2 Q@@@@%_1457hn@(9Ě @BC@A@A@@@@%_14582M접h@(9Ě@%_1459'`o@h@(9ĚC@@@@Ǡeg@2 Q@@@@%_1460h@ )@LBC@AQ@A@@@@%_14612M접h@ )@%_1462'`o@h@ )C@@@@g;@jo2 Q@@@@%_1463h@jz3䢬8@BC@A@A@@@@%_14642M접h@j3䢬@%_1465'`o@i@j3䢬C@@@@=۠gv@d12 Q@@@@%_1466i@d<;s@¢BC@Aǐ@A@@@@%_14672M접i9@dV;@%_1468'`o@iA@d^;C@@@@xg@d52 Q@@@@%_1469iZ@d@j@BC@A@A@@@@%_14702M접it@dZj@%_1471'`o@i|@dbjC@@@@Qg@22 Q@@@@%_1472i@=,ХD頠@8BC@A=@A@@@@%_14732M접i@W,ХD@%_1474'`o@i@_,ХDC@@@@h'@q2 Q@@@@%_1475i@|?X$@sBC@Ax@A@@@@%_14762M접i@?X@%_1477'`o@i@?XC@@@@)Ǡhb@d02 Q@@@@%_1478j @d;ڄ_@BC@A@A@@@@%_14792M접j%@dUڄ@%_1480'`o@j-@d]ڄC@@@@dh@2 Q@@@@%_1481jF@ /@颐BC@A@A@@@@%_14822M접j`@ /@%_1483'`o@jh@ /C@@@@=h@dG2 Q@@@@%_1484j@dR ՠ@$BC@A)@A@@@@%_14852M접j@dl @%_1486'`o@j@dt C@@@@ڠxi@dJ2 Q@@@@%_1487j@dU69@_BC@Ad@A@@@@%_14882M접j@do69@%_1489'`o@j@dw69C@@@@iN@dN2 Q@@@@%_1490j@dYϺ K@BC@A@A@@@@%_14912M접k@dsϺ @%_1492'`o@k@d{Ϻ C@@@@Pi@2 Q@@@@%_1493k2@?@բBC@Aڐ@A@@@@%_14942M접kL@?@%_1495'`o@kT@?C@@@@)i@2 Q@@@@%_1496km@*S@BC@A@A@@@@%_14972M접k@*S@%_1498'`o@k@*SC@@@@Ơdi@2 Q@@@@%_1499k@9(@KBC@AP@A@@@@%_15002M접k@9(@%_1501'`o@k@9(C@@@@j:@2 Q@@@@%_1502k@ 97@BC@A@A@@@@%_15032M접k@ 9@%_1504'`o@l@ 9C@@@@<ڠju@РrHȠ@%_1506l@y6@@@klB%_1507l(@}7i@@@kŒnB%_1508l2@L7j@@@kϒqXB%_1509l<@=6@@@j@B%_1510YS*ring_scope @%_1511lN@NX@@@jiB%_1512(шZ n%_1513l]@ @@@j’B%_1514(шZ %_1515ll@#u@@@jђB%_1516(шZ Ԡ%_1517l{@%U@@@jB%_1518(шZ %_1519l@b=f@@@j&B%_1520(шZ +%_1521l@x@@@jvB%_1522(шZ {%_1523l@(9Ě@@@k B%_1524(шZ ࠠ%_1525l@ )@@@kB%_1526(шZ %_1527l@n\3䢬@@@k+p}B%_1528(шZ p%_1529l@g;@@@k:pB%_1530(шZ p%_1531l@gj@@@kIkB%_1532(шZ k%_1533(шZl@,ХD%_1534(шZl@?XԠ%_1535(шZm@g0ڄq!%_1536(шZm@} /e%_1537(шZm@f q/%_1538(шZm@f69s%_1539(шZm@f~Ϻ z_9D{(@K@@@m,@6r@AA@@* @@@%_1540@@ȐȠȐ@GlGn@6[ finLalgType _ of _ ]@@ @@![+finLalgTypeG"ofG$!]@@@! AȠ! ! BȠ@@@%_1541%c?@*form_scope#e@@M@@@@m@6l}@@@@*q8@@`G@@G@@G@@GG@@G~@@G@@G@@@@mtm@:[ 'finLalgType' R 'of' T ]%_1542(шZm@,?!%_1543(шZm@*S젠%_1544(шZm@9(/%_1545(шZm@ 9@@frHȠ@N$@@B@K@h@@@K@%_1553f@3kH2A@@@@@@@@@@@ A@C@A@AcD@A@@@@%_1554'`o@fA@3kH2@B@L@L@@%_1555'`o@fS@3kH2@AD@Lנ@@@`@f@@2 Q@@H@%_1556fp@1Y@琐C@AG@A@@@@%_15572M접f@1CC@A%_1558'`o@f@1C@M@@@f6@=2 Q@@H@%_1559f@H@"C@A@A@@@@%_15602M접f@aCC@A%_1561'`o@f@jC@MQ@@٠@fq@%_1562L4xf@3kH2@f@@AAA@f@1f@@2 Q@@@@%_1563g@) 頠@wC@Aא@A@@@@%_15642M접g@B @%_1565'`o@g!@J C@M@@-@f@N$@@B@M@@@@M@%_1569g=@A@@@@@@@B@A@@@A@âBD@A@1@A@@@@@%_1570'`o@gi@#@B@@@s@%_1571'`o@g{@5@AE@@N@N@(@g%@@f2 Q@@H@%_1572g@qf_@BC@A@A@@@@%_15732M접g@fCC@A%_1574'`o@g@fC@@@@ʠhfV@%_1575L4xg@@g@@AA@A@A@g@f@@@2 Q@@@@%_1583g@'!@hBD@Am@AE@A-F@A`@A@I@A@A@@@@%_15842M접h(@^!@%_1585'`o@h0@f!I@@N@@@@@@@Bࠐ@fh(YGb@#2 Q@@@@%_1586ha@.$@آBC@Aݐ@A@@@@%_15872M접h{@HCC@A%_1588'`o@h@QC@@@@-g@f2 Q@@@@%_1592h@q*z`@BC@A@A@@@@%_15932M접h@*z@%_1594'`o@h@*zC@@@@ʠhgV@J2 Q@@@@%_1595h@U0@OBC@AT@A@@@@%_15962M접h@o0@%_1597'`o@h@w0C@@@@g@H2 Q@@@@%_1598i@S֠@BC@A@A@@@@%_15992M접i-@m@%_1600'`o@i5@uC@@@@@ޠg@)2 Q@@@@%_1601iN@4 @ŢBC@Aʐ@A@@@@%_16022M접ih@N @%_1603'`o@ip@V C@@@@{h@*2 Q@@@@%_1604i@5` L@BC@A@A@@@@%_16052M접i@O` @%_1606'`o@i@W` C@@@@ThB@ڠ2 Q@@@@%_1607i@%??@;BC@A@@A@@@@%_16082M접i@%??@%_1609'`o@i@%??C@@@@񠐒h}@2 Q@@@@%_1610i@ > @vBC@A{@A@@@@%_16112M접j@  >@%_1612'`o@j!@ >C@@@@,ʠh@T2 Q@@@@%_1613j:@_/@BC@A@A@@@@%_16142M접jT@y/@%_1615'`o@j\@/C@@@@gh@sԠ2 Q@@@@%_1616ju@sP8@좐BC@A@A@@@@%_16172M접j@sP@%_1618'`o@j@tPC@@@@@i.@m2 Q@@@@%_1619j@m;Ws@'BC@A,@A@@@@%_16202M접j@m;W@%_1621'`o@j@m;WC@@@@ݠ{ii@m2 Q@@@@%_1622j@m5@bBC@Ag@A@@@@%_16232M접k@m5@%_1624'`o@k @m5C@@@@i@e2 Q@@@@%_1625k&@eE頠@BC@A@A@@@@%_16262M접k@@eE@%_1627'`o@kH@eEC@@@@S񠐒i@e2 Q@@@@%_1628ka@e;z*$@آBC@Aݐ@A@@@@%_16292M접k{@e;z*@%_1630'`o@k@e;z*C@@@@,j@ 2 Q@@@@%_1631k@_@BC@A@A@@@@%_16322M접k@2@%_1633'`o@k@:C@@@@ɠgjU@L2 Q@@@@%_1634k@W#A@NBC@AS@A@@@@%_16352M접k@q#A@%_1636'`o@k@y#AC@@@@j@Q2 Q@@@@%_1637l@\-0ՠ@BC@A@A@@@@%_16382M접l,@v-0@%_1639'`o@l4@~-0C@@@@?ݠj@nF2 Q@@@@%_1640lM@nQ9B@ĢBC@Aɐ@A@@@@%_16412M접lg@nk9B@%_1642'`o@lo@ns9BC@@@@zk@e2 Q@@@@%_1643l@eK@BC@A@A@@@@%_16442M접l@e@%_1645'`o@l@eC@@@@SkA@2 Q@@@@%_1646l@%@:BC@A?@A@@@@%_16472M접l@%@%_1648'`o@l@$%C@@@@𠐒k|@2 Q@@@@%_1649l@vf@uBC@Az@A@@@@%_16502M접m@vf@%_1651'`o@m @#vfC@@@@+ɠk@2 Q@@@@%_1652m9@c@BC@A@A@@@@%_16532M접mS@*c@%_1654'`o@m[@2cC@@@@fk@2 Q@@@@%_1655mt@&.7@뢐BC@A@A@@@@%_16562M접m@@.@%_1657'`o@m@H.C@@@@?l-@5rHȠ@%_1659m@1@@@mHmB%_1660m@ @@@mRu+B%_1661m@f@@@lO@B%_1662YS*ring_scope @%_1663m@*z@@@laB%_1664(шZ ɠ%_1665m@a0@@@lpXB%_1666(шZ ]%_1667m@3@@@l*B%_1668(шZ /%_1669n@ @@@lB%_1670(шZ %_1671n@` @@@lB%_1672(шZ %_1673n @A%??@@@lB%_1674(шZ ֠%_1675n/@# >@@@l6B%_1676(шZ ;%_1677n>@c/@@@lʒrB%_1678(шZ w%_1679nM@wP@@@lْyB%_1680(шZ yݠ%_1681n\@qM;W@@@lzSB%_1682(шZ zX%_1683nk@q%5@@@ltqB%_1684(шZ tv%_1685nz@iE@@@mtB%_1686(шZ t%_1687n@h;z*@@@mlB%_1688(шZ l砠%_1689(шZn@%_1690(шZn@#AM%_1691(шZn@p9Bz%_1692(шZn@-0ޠ%_1693(шZn@gt렠_9D{(@)U>@@@n@}@A7A@@3u<@@@%_1694@@ȐȠȐ@PנP@5[ finAlgType _ of _ ]@@ @@![*finAlgTypePa"ofP!]@@@! AȠ! ! BȠ@@@%_1695%c?@*form_scopee@@@@@@o+@a!@@@@3ܠ@@ˠP@@P@@P쳑@@PP@@P@@P@@P@@@@m ߠoR@9[ 'finAlgType' R 'of' T ]%_1696(шZoX@%%_1697(шZo_@bvfW%_1698(шZof@=c%_1699(шZom@.e@@grHȠ@N$@@B@$U^@@@@U\@%_1707g@- A@@@@@@@@@@@ A@C@Ac@AΑD@A@@@@%_1708'`o@g@W @B@V0@q@@%_1709'`o@g@i @AD@VB@@@@g@2 Q@@H@%_1710g@ 1.Y@RC@A@A@@@@%_17112M접h@#1.CC@A%_1712'`o@h@,1.C@V@@à@g@2 Q@@H@%_1713h*@2q@C@A@A@@@@%_17142M접hC@2qCC@A%_1715'`o@hL@2qC@V@@@g@%_1716L4xh`@ @hd@@AAA@hn@1.hr@2q@2 Q@@@@%_1717h@1頠@␐C@AB@A@@@@%_17182M접h@1@%_1719'`o@h@1C@W@@R@h<@2 Q@@@@%_1720h@1#@C@A|@A@@@@%_17212M접h@1@%_1722'`o@h@1C@WJ@@@hv@N$@@B@V@H@@@V@%_1727h@10A@@@@@@@[B@A@@@A@hBD@A@֐@A@@@@@%_1728'`o@i"@10@B@@@Ҡ@%_1729'`o@i4@10@AE@@W@W@預͠@h֠@@ 2 Q@@H@%_1730iU@10:_@BC@A@A@@@@%_17312M접io@010:CC@A%_1732'`o@ix@910:C@@@@) g@%_1733L4xi@210@i@6@ATA@A@A@i@\10:@@@2 Q@@@@%_1741i@10K@ B@AD@A?E@AґF@A@A@I@A@A@@@@%_17422M접i@10K@%_1743'`o@i@ 10KI@@XZ@@@@@@@@gi᠐점@@Ƞ2 Q@@@@%_1744j@1$@}BC@A@A@@@@%_17452M접j4@1CC@A%_1746'`o@j=@1C@@@@Ҡhx@ 2 Q@@@@%_1750jV@7z`@BC@A@A@@@@%_17512M접jp@07z@%_1752'`o@jx@87zC@@@@) h@2 Q@@@@%_1753j@@BC@A@A@@@@%_17542M접j@@%_1755'`o@j@C@@@@dHh@2 Q@@@@%_1756j@֠@/BC@A4@A@@@@%_17572M접j@@%_1758'`o@j@C@@@@i)@Π2 Q@@@@%_1759k@l@jBC@Ao@A@@@@%_17602M접k!@l@%_1761'`o@k)@lC@@@@ڠid@Ϡ2 Q@@@@%_1762kB@L@BC@A@A@@@@%_17632M접k\@@%_1764'`o@kd@C@@@@i@2 Q@@@@%_1765k}@;m@࢐BC@A@A@@@@%_17662M접k@;m@%_1767'`o@k@;mC@@@@P4i@2 Q@@@@%_1768k@"q @BC@A @A@@@@%_17692M접k@"q@%_1770'`o@k@"qC@@@@oj@2 Q@@@@%_1771k@@VBC@A[@A@@@@%_17722M접l @@%_1773'`o@l@&C@@@@ƠjP@<2 Q@@@@%_1774l.@G:V8@BC@A@A@@@@%_17752M접lH@a:V@%_1776'`o@lP@i:VC@@@@堐j@K2 Q@@@@%_1777li@Vs@̢BC@Aѐ@A@@@@%_17782M접l@p@%_1779'`o@l@xC@@@@< j@}2 Q@@@@%_1780l@}.$@BC@A @A@@@@%_17812M접l@~.$@%_1782'`o@l@~.$C@@@@w[k@w2 Q@@@@%_1783l@wa頠@BBC@AG@A@@@@%_17842M접l@wa@%_1785'`o@m@waC@@@@k<@w2 Q@@@@%_1786m@w $@}BC@A@A@@@@%_17872M접m4@w @%_1788'`o@m<@w C@@@@Ѡkw@oҠ2 Q@@@@%_1789mU@o/q_@BC@A@A@@@@%_17902M접mo@o/q@%_1791'`o@mw@o/qC@@@@( k@oܠ2 Q@@@@%_1792m@o@BC@A@A@@@@%_17932M접m@p@%_1794'`o@m@p C@@@@cGk@f2 Q@@@@%_1795m@f<7ՠ@.BC@A3@A@@@@%_17962M접m@f<7@%_1797'`o@m@f<7C@@@@l(@f2 Q@@@@%_1798n@f v*@iBC@An@A@@@@%_17992M접n @f v*@%_1800'`o@n(@f v*C@@@@٠lc@2 Q@@@@%_1801nA@'K@BC@A@A@@@@%_18022M접n[@'@%_1803'`o@nc@'C@@@@l@ݠ2 Q@@@@%_1804n|@9@ߢBC@A@A@@@@%_18052M접n@9@%_1806'`o@n@ 9C@@@@O3l@2 Q@@@@%_1807n@g@BC@A@A@@@@%_18082M접n@g@%_1809'`o@n@gC@@@@nm@2 Q@@@@%_1810n@[h@UBC@AZ@A@@@@%_18112M접o @[h@%_1812'`o@o@[hC@@@@ŠmO@y2 Q@@@@%_1813o-@yd7@BC@A@A@@@@%_18142M접oG@y7d@%_1815'`o@oO@y?dC@@@@䠐m@p2 Q@@@@%_1816oh@p.r@ˢBC@AА@A@@@@%_18172M접o@p.@%_1818'`o@o@p.C@@@@;m@f2 Q@@@@%_1819o@f+IQ@BC@A @A@@@@%_18202M접o@f+IQ@%_1821'`o@o@f+IQC@@@@vZn@f2 Q@@@@%_1822o@fx蠠@ABC@AF@A@@@@%_18232M접o@fx@%_1824'`o@p@fxC@@@@n;@f2 Q@@@@%_1825p@f3#@|BC@A@A@@@@%_18262M접p3@f3@%_1827'`o@p;@f3C@@@@점Рnv@f2 Q@@@@%_1828pT@f'/6^@BC@A@A@@@@%_18292M접pn@f'/6@%_1830'`o@pv@f'/6C@@@@' n@f2 Q@@@@%_1831p@f=6zh@BC@A@A@@@@%_18322M접p@f=6zh@%_1833'`o@p@f=6zhC@@@@bFn@f2 Q@@@@%_1834p@f Ԡ@-BC@A2@A@@@@%_18352M접p@f @%_1836'`o@p@f C@@@@o'@f2 Q@@@@%_1837q@fWK@hBC@Am@A@@@@%_18382M접q@fWK@%_1839'`o@q'@fWKC@@@@ؠob@f2 Q@@@@%_1840q@@f*J@BC@A@A@@@@%_18412M접qZ@f*@%_1842'`o@qb@f*C@@@@o@f2 Q@@@@%_1843q{@f@ޢBC@A@A@@@@%_18442M접q@f@%_1845'`o@q@fC@@@@N2o@f2 Q@@@@%_1846q@f:-;@BC@A@A@@@@%_18472M접q@f:-;@%_1848'`o@q@f:-;C@@@@mp@2 Q@@@@%_1849q@%_1905(шZt'@uU.K%_1906(шZt.@k.+IQz%_1907(шZt5@kx %_1908(шZt<@j3%_1909(шZtC@j'/6%_1910(шZtJ@ji=6zh"%_1911(шZtQ@j6 )%_1912(шZtX@jWK0%_1913(шZt_@i*@%_1914(шZtf@i%_1915(шZtm@ic:-;z䠠.finUnitAlgType9D{(@Рb@@@t~@$10@AA@@A@@@%_1916@@ȐȠȐ@^~^@9[ finUnitAlgType _ of _ ]@@ @@![.finUnitAlgType^"of^6!]@@@! AȠ! ! BȠ@@@%_1917%c?@*form_scope5e@@_@@@@t@10K@@@@AJ@@r^@@^@@^@@^^@@^@@^@@^@@@@mǠĆu ʿ@=[ 'finUnitAlgType' R 'of' T ]%_1918(шZu@>]+ҋDqV섕@ ֿlIv)@O:p({]儕J77X!U&finalg'algebra(mathcomp@'FinRing'Zmodule@$type-/@%Logic$Init#Coq@@"eq @A!@$sort-.8A&ssralg(%GRing@$zero'}n5@(zmodTypeF܀@>!x 0(fingroupA(FinGroup@(KMO@0baseFinGroupType8GѵB.@#opp'p) 7db$B!yEV&CE@#add'p@  N{y!n)Datatypesi@#nat@G u_@&natmul8z eg9Tr0.k@%addrC(h`-n&SetDef@+pred_of_set#*:̀,٩@(arg_sortڀ-@+centralisesZy-ѩQ@)inPhantoma^H@+centralisedZj< "@#notШff@'introTF k%Щme\W%LG B : 5\D01,6|)SubsetDef@&subset 0g#[#L@+centraliserZxR@¢sP0TQ!!O:%_Hyp_@'is_true#œ@&in_mem&0Eb?'s:&_Hyp1_~Eu O@*zmod_mulgC 2=ف!iv?@&is_invBϴө!o@&option >v@'o!p-@)pick_spec+Ȑ@,i$k~򩛠i@;1Gr@(ringType5" G@#mul'p.&ssrfun&Option@'default*+@#one'pt#LAHCAK`.!e#@%eqfunF`zq@BpoBkeBm"NhBBABA@@@@@@@Dwu\}HciwunIidGZ Iw@%pickP 1RD0_top_assumption_춐!a4&eqtype@%eq_op&@&eqType Է)op!bNf7(@#andЖw@b.&6i5<Ѱϐc5hǩm]˩ &A")BBB@@@@D[3[AAu>G=멚<@&elimTF% @$andb=TNJ@$andP#_a_z._view_subject_c(Equality@ HYRCypk U/\q@#eqP&⯀a!$no_yfZ@i驷󩚠@-pred_of_simpl@)SimplPred' %Р+FiniteQuant@*quantified+c@@AA@@@B4p@"ex1phA]]^^!Fb5*@%pred0tӀ1Р@%Falsee@@@D!f t~oe:#e@'elimNTFь]U\WwREUِD5?˰<;l7@&pred0b@[ @&pred0P@Zd!詷ݷЩð2! xnکe`аYY`TQPOPH2FD-+I!ݰ ʰ  OאPة鰩Ӑ94@#CF=8֐ F)?ǩT|z~|nxumkӷSĩ ܩx ԩ{)'t20 ~7$ِ԰;ZU3f ;cM$:(#EE#yx16#xy10e@ @ŷ@Ʃ©K FЩ H ]c@$negb.@'quant0b,!2[#u˩@'existsP7xZx~1A.U2g㩚@(eq_ind_r!2#z/_pattern_value_D Ω1wT""[)C0r!fˠ0+mgĩ: <@'eq_reflM@,is_true_true怐KI@#nUx;ީ=2@-simplPredTypeǂ?8@%predCt怠JLA@0pred_of_mem_pred+蠭SR_920'% x޷gϩ/-" 2%L%invxyEx 45'OQΩ3 x64$H'?搑VP(UnitRing@O;G@Ȑ#phR@C;G.B !u@'unit_ofm@ةTR&@^2uC/@,unitRingTypeJ@#val&.'U2AoFΰw@'}4 @,unit_subType?13߰5.1+"z#6W!B;&%!qq0 LF2@#inv'p7;@&unitrV9?_ ' +-@$valP&(6>.𐑷5}{!v~/to[i`>0_@*u<oABzة72iepOD@,y]\@'unitrMrՀ_ %@ bHmWS^-F+1vB@!w˩@'val_inj1Xހ}<.@(unit_mulħ<ҩ  @%mulrA(Ue=6RRD&C@+associative(! B+&󩚠@%unit1;2C>>=@%mul1r(UÀ^C@'left_id !!# K٩F@(unit_invġ__'^@%mulVr(U C5@,left_inverse:A'''!BBD;929I[LNEC<g@5unit_baseFinGroupTypef靀YK FaÐd[YR},;5mdb[KIPNAĩ@%expgn!iD-;@#exp'p#ecgeǰYd]©방pib!SOȩ'OЩ"Ωp Ր'@@A@A@@@@D"$%{HCzvNvI; Qs5Mk134R 6 4lg)r,Em6/I Jmζ@ѩ3fhD65U}43W.۩=IKLٰJ9b琩`֩qbܩd v!@'nat_indJ1'Umũs@$uval:Jg31__top_assumption_s QN(֩}joFǰ*ɰ.ΰ$ =}=,ڰAې_3);@@A@A@@@@CCP*3T&IG@$mulg ;\@)expgn_recn=c"z{5$xvo;nʠ)+퐑1|zG@1unit_finGroupType;m4pzxs ש   e@'setTfor6BZ N$perm@'perm_on!q2-(@+finZmodTypeaө$@ |&action@'actperm4XЩM6R@+unit_action( 򩚠(morphism@'morphic,By11)@'PermDef@+fun_of_perm*|   G B  W&k  SH rEcnܷM   Qİ - Щ. 3x© o : zװ ٰ1/. D +*@(actpermE,\)98=2 1 {"f{ͩhcb[XLJlFEL?M-<q0/ k5%@B )( )W&!UTYN' >~wt fbah[ 4iIXXNMA A Ao> 9mlqf?  V V@ ?!뀐YK[ %qcϩO_ @(unit_actĕ 2ک ܩo !c# ;+hg' A = sذv?A  y t  Nw |@&mulrDl8{3;  U /C@.is_groupAction.ɩ  dҩ ֩ Ԑ ϐ    sC  %Field@ ;L@~ [@$list]@b@[g一 K @'formula@r  2, &[| &  f$Bool @'reflectc@ @%holds(K_v4   o@#sat:>$ m  Ɛ8A*  b!t @$term'} @6 2K!ީ`Z :0_  +  쐩^B   &gC ) "@p  ސ[Q 9 L ;  <ɩ~ @ͩ  qgK Q #d S % T ' xL b 4u d 6D# ; < Ҷ>@3 @0, u G? w I x8@& { % NА,#ΐM  [  ]E8 b c  W@V"@@ & k퐩IƠ됐N  x  zF.   =p@87G_   h fH?@% L$ o"젩ⰩO  ߰  H7   <  d>@ کh /-P    .I-  © @,formula_rect9P0w_    p     ( Y S ʩL, M@#idP Է"t1P ŷ"t2 9򰩚@ {;/ @$eval'{z/  ֩1! $# ŰLL $  MP HR  zSS"f1o)#IH1 8YOH  7 "f2|f#IH2 6g]2 D W @ F  9mAAAAA@@@@@@D  !r{q  *  X w  Xy   o 4u,   6 f  ·5 ? > m!h Ġ( G * I    5 M |h  :"h0,A- -+  [ 8 }7B8!H< @'and_ind14ۀ)' ("H0,"H1F 1  3  2 @)False_induُ 9  C Vi  aJ b ZݠF Ǡ z u@N? k i2g/i-QO P(R&$4   T" C x@"n0@u=w;_] ^6`42B aȐ"H2 S  e3 C,  A ;  @"or @ @#orb T N}{A  {  h b V1!T S./B  N\79 2@&or_ind"   (   )C G "  ߩZ@ @%implbMؠ  ׶h@ˠʷƠ  · S &+C F    %⠷ ݠ,  e ܷ ;"IH: < ն V  ̷!` 2  w lE N   Q թq U T   3 x  8  I   S M  E   HP  8 Š E  5' . v a / 8$& 8[C * ^ C0/   a CN y @$iffP p  @ ?*+ ÷  u    kA@搶 j h 5  kbA$ABABBBABB$ABABBBABB@$@@@@@@@@@@@@@@@@@@@@@@@@D [ N $ V P y^ p9\  ѩ^   g  /k *m a \nntO      |W+Z   !k ͷc  c@/;Μ ްlf ڐ #seq @'set_nth9]Щ><_@H$\M@:IlK MM/ $ +;* @#all2m*%Щ] _ `zOaS 4  Q  k W DD 5 ϐ G #  z$z~%t qm TUo V  +t+E      fZh\~j^}l|yDn 6 1w Q| L rЩjc 8g~Y D_Щwp E W k iQ( ੷  Z t  ^U+ | a; c0$߷ϩ Pɰ ˰  !аC% ' A <( s(.0ڷ2ٷ4ط  ʷ1 :  zЩƐ#   0 ޷ЩԐͩ     ɠbY ʐPN ϶   kL Q,$8,U%1R #,P!R7<_ ݰ[&s<e_`a  b bh g7k1m0o/,! 鐩 S:)l Q  Ӡ'Щ a c5cE:! jQ6Щ.'n  p j$   n ]ZIw 'BBB@@@@D P 1lUn"fx4 zv{A% a=]ah i@%elimTɀRl63. <] T DH ȩRA@ː r E< c H"ݷ J$  Ƿ ϰ˩p  @Ip  ׷۩  ̷ͩ20  sM> j v*  xC$.  .-, *4 9 MD;9  Sl y :7 q$#,   #(ɰ6C(Q:L~= 'r#    Ր Р& ﰩ}R 퐩Щ  M O!O1&! ="ЩکZ \  M1_1 e6eOᩞ= Ɛ@+  s$s~l}{yw%yQESGUIW/Yũ 5޷pU4^ʶsX2 ro^堩I C %ʷ0Ʒj[ԩ> 6߷Q;@'forallP9 B~>"f_]ưF\A'$D$@勺%#۰iN63 C.DecidableField@%axiom- 275ʊ EҀ