"`v9$perm(fingroup(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ڠ$path)ssreflect(mathcomp@0*%)bhcFrY&choice)ssreflect(mathcomp@02*{;"W$^6'fintype)ssreflect(mathcomp@0ǒ3fp%tuple)ssreflect(mathcomp@0ýޑР&finfun)ssreflect(mathcomp@0ƜNtD砠#div)ssreflect(mathcomp@0W~ě o+ N%bigop)ssreflect(mathcomp@0#z xW :G؂b&finset)ssreflect(mathcomp@0 @$$~,B|XŠ%prime)ssreflect(mathcomp@0.wFbN_(binomial)ssreflect(mathcomp@0io  } (fingroup(mathcomp@0c"65rk6[_ ҉m<$τ6Р$perm(fingroup(mathcomp@A)perm_type,<!T'fintype)ssreflect@&Finite@$type2@@'ssrbool#ssr#Coq@@+predArgTypeC* @@$Perm(&$pval&finfun(@)finfun_of%A4@$sort X:,@%phant)`@A@B@)Datatypes$Init;@'is_true#œV@*injectiveb ɀ_@&eqTypeŏ=)FunFinfun@*fun_of_fin&(s +k()= R'> %''+k$'lAD|@@;!9@?@A@A@@@]-perm_type_ind @ZXVAI@_ 6AD|@@@@@w-perm_type_rec @trp@q@!R怠@#! @ <+k() 7%'h@@@@@ @75Aba@@@@B@f@JH +k()= R '>''+kG7 7&'AB|-@@@@@AB@@Ǡ'perm_of @hf@+7.@nl@\ 8+k()7$'̐d@@@@A@@䠠,type_of_perm @@!x@-!qnZB@'@@ (+k()'@@@@A,perm_subType @&eqtype@'subType:t}@A'V@Fxy!K1@@#K_S;"Px!uA@@@@@ Jb@E~y  q©?@*vrefl_rect+ [3<@驛H +k+"L 7 7"7! +' +J 7 7 8'7 7"7 7&'()= R'> %''+k$'() :'$lࠐ4yAD HР^\x|@@@An@A:r@AB@@,perm_eqMixin @$"(Equality@(mixin_of3@A!y@%eq_op&@0finfun_of_eqType=(x@'val_eqP1SY@g@VT1 8+k7 + 7 7!7" +:'7 7"7 7&'()7! 7!7 7!7&'$XT0xà䠒:HD$@@@^AI@A@@頠+perm_eqType @f@ qD@A詚@y76[@ P+k7 7 7 ;'hxX@@@A1N@A@@0perm_choiceMixin @&choice@/sub_choiceMixin45〰@4finfun_of_choiceType6ـ@*choiceType ~B&Choice@;@~@ +k7 + 7 7!7&'7 7"7 7&' X*T#Ht(x@@@AӲ&h@@A@@d/perm_choiceType @8@=a@Ac@@(class_of+茢@Al@%class Vr@'(]橚w@w(ɀ}@(&! t+k7 7 7 7 : 7 ;'xh\X$D@@@ AӾ)t@A@@/perm_countMixin @LJ@.sub_countMixin? )@3finfun_of_countType&Y@)countType. %B)Countable@< X&e@@ki   X=t(H'x8T@@@kARN@A@@.perm_countType @7@"@A?@;'@A@G0@)Ҁv@q'n{ @xDh\X@@@A`Q@A@@:1perm_subCountType @٩&@,subCountType|@A#62@㩛 (; @+k7 7 :'h@X@@@Aԉ[??@A@@c-perm_finMixin @@/SubFinMixin_forQਗ਼@1finfun_of_finType3*݀dg@Bl%Logic@"eq @A@2Ys@-sub_countType>~i(!@423@ *\\k@ +kGL 7 7 + 7!7#'7 7"7 7&' #`8TN`Cp@@@;A@B:l֠ZX@AB@@Ƞ,perm_finType @igiAĩn@a]$@Aϩ@}Z?@|zzRԐxݐDޠ\Xh@@@qA:f\T@A@@/perm_subFinType @F@*subFinType @AV0@ _h %''+k$'() :'$lz䠐UAD$HvĠVԠ7x|@@@@AJ@_@ABC@@\/perm_for_eqType @s8m8@h X+kG 7! 7 L 7!;'{@\vl@@@d@z@AB@@w3perm_for_choiceType @SsS@󐐠 d+kG 7! 7 7 L 7!;'sl|xL\@@@@@AB@@2perm_for_countType @64q@"#ᬀ@"ր|@) lL\x@@@@@AB@@5perm_for_subCountType @^\@ ')@|X h@@@{@@AB@@ܠ0perm_for_finType @}{}@i@'9?jN@p lx L\@@@ @@AB@@3perm_for_subFinType @G1@6XOh@@@@YA!@[@ABC@@ *perm_proof @@@z@&ssrfun@)injectiveЀv]j_l@zJ+e@@@S@AM@TA'^K@ABWA'РY@\A(?z"@A_A(iР!%@cA1DH@gA1GK@ABCD@@]*PermDefSig@+fun_of_perm @@@[D@@@@@o @@ UǶ@MՐR@@@:dޠR'fintype)ssreflect(mathcomp@A(?z&ssrfun#ssr#Coq@@A*sRk)ssreflect#ssr#Coq@@AB@@,fun_of_permE @@ :K@D= 'DB~߰@#val&B@@@*'ssrbool#ssr#Coq@Aà&eqtype)ssreflect(mathcomp@@AOA'A&finfun)ssreflect(mathcomp@@YA'I @]AK@ABC@@ݠ%permE @@CqA@7<$injfĩ@$DZ@@@{A'^K,@A@@@@@C1@)@@AB@r@ACD@@@'PermDef @h@穛@=uҵ@@@@ Xw P +k()7 +L7 7"7 7 7&'7 7"7 7&'zpTw蠒luؠth@@@A@AA~@Av@A@ABC@@Q @n@9@©u8ȩN@ h+k() 7" 7 7":'Ґ@l;P@@@A@A@AB@@ @@0A%Logic$Init#Coq@@"eq @@2@@T@@A@B@R@ACDE@2fun_of_perm_unlock @@*unlockable|3@AGY@H 䠒&M`XLР_$@@@@A@@ %@ABC@@ "(perm_mul @  ~|z S@'funcomp5π    @$unitUe@Awx@(inj_comp$ *   ~ 1@<e΀@  Ր \+k()(7!7!7!7!7 7  7 7 7!7!L7 7  7 7 7&'ࠒ ('4DpӐHpX%@@@ uA'kmD;@@ p@ABC@@ m)perm_oneP @@ I  K@'left_id NN j@e? ީ o@be @@@ A(:^@A&@=@:@7@ABCD@@ )perm_invP @@ CJ 2 0o@,left_inverse:Arrr$ @eڀ $@@@G@AC@!@ABD@_@A\@Y@V@ABCD@@ )perm_mulP @@ bK Q O@+associative(! B>@@9@@  9perm_of_baseFinGroupMixin @ c a z (FinGroup@%MixinkHYT5 @(=u# 7 @p=uh`0$&SetDef@+pred_of_set#*:̀ ,@(preimsetw  @@@@AK@ @J@ A9=8@ABCD@@ Š+preim_permV @@ wS f d!JH/?  61@  3@@@@A @h@A @f@@ABCD@@ ޠ'perm_on @  }b`<7 )SubsetDef@&subset 0  ̩| }@)SimplPred'  Է  թ J@$negb j ?  lհ f` a@  & @$predؚib <+k() 7! 7 7 7 7" + 7 7! 7 7 7 7" 7&' 7"7 7"7$',vD Txvhː0@ؠ d` :(@@@ A* @A@ G@@ABC@@ E+perm_closed @@ T  g a '@  A@x!q  ~  @$boolZ'@ @&in_mem&0 * *  7 .Ȑ 0Ġ 0  4 @@@A"@A@ }@AB@ A*ˠ @A A*΀ @ A*= @-@ABCD@@ (perm_on1 @@ 9U ( &!H ސA  Ր@@@@@ (perm_onM @@ KV : 8-@T@ U j   YF oϰ  ؐ@@A@@ (out_perm @@ hW W U:ض   @q@ ǐW' ,r   @@@]@A @[@W@~@ABCD@@ Ԡ*im_perm_on @@ X u s YW@ +  G 1C^  C =V  } AID  > >@@@(@A@ @AB@|@@8@ABCD@@ +tperm_proof @@ Y    f k T@*involutive&j\ ⩚@,fun_of_simpl$vD  驚@-SimplFunDelta ;JQ  !z 󩚠 @*app_fdelta4 w @)fun_deltaB@A%  Q z'  )  ~ U B, @@@@A FA Р +@ JA'vfn@AB MA'~gv@ RA'h:w@A UA(9@@@ABCD@@ M%tperm @   g   ϰ ~Ns 2 2PP I@d"ŀk@   s Ŷ  쐐 +k()K7"+b7 7 7"7 7 7"+r7 7 7"7 7 7"7 7 7 +v 7 7 7" 7 7 7" 7&'+$:7 7 7:7 7 7#''+$:7 7 7:7 7 7#''+$:7 7 7:7 7 7#''  PhH|l4$l\ZxĠtj xX@bd$@@@M@AI@G@C@:@ABCD@@ *tperm_spec,<@ 栠z k  栠  31@64    w@   *TpermFirst+TpermSecond)TpermNone@>     @   ҩ o    ԶIG   @   x   ߶RP  "  @ <@#notШ@'  G    AA 'AABAAB@y@J:@@ @ @  @CAABACB@AA@DD  K4 I@@@@A@ 렠&tpermP @@Z W \E ͩ @q:@$"Ka& @-h@@@@A@@AB@@A@@A1HL @ABCD@@&tpermL @@[ ,~ l| ưE!,o@@:@@$&tpermR @@\ö > ~ذW@@K@@5&tpermD @@]Զ O &@E @l@L  sS {yy@@m@@W&tpermC @@ ^ qö Cd@@@@Al@ @ @ABC@@k&tperm1 @@_   ש԰ĩw@@@@A@ (@A1FdJ @ )@ABCD@@&tpermK @@5`$"  ݩf7q@@@^@AZ@X@ABS@ K@AR@ E@ B@ABCD@@'tpermKg @@Na=;  @(arg_sortڀϠ@@@Am@ a@ ^@ABC@@&tpermV @@jbYW $ ) "@'KM@@@A y@A@@@ABC@@Ҡ&tperm2 @@csq > C, <?3@@@@䠠)card_perm @@d!A O'CardDef@$card׼@ "&䄀OͰP^|@)factorialċ[ڰ_k[f@@@A@AA@@@@ABCD@@)inj_tperm @@e @$type2@"T' @ B IC D(E@&ssrfun#ssr#Coq@@)injectiveЀ 7E :FD׀ B# d@ @ <@A ;@ 1@ /@ABCD@@&apermE @@XhGE     (@@@@ b@AB@@*mem_pcycle @@jiYW od ol.  ߩ"@@@ `@A@ ^@Z@ABC@@֠)pcycle_id @@jwu 20,H B<  @@@@젠3uniq_traject_pcycle @@k HǶFB @$uniq'P Ω$path@'traject2kj̀ Em0'@@@A@AD@ Aْ@AB A@ @A A@)A@ABC@ @A#@ @AB@0A1A)E@A @ @5A4eA @ABCDE@@+.pcycle_traject @@lʶ F S  y  y;@@@-@A*@ @AB(@@A(@ t@ABC @J@A @@AVA @ @$@ABCDE@@L+iter_pcycle @@m 'g /1Q @@@M@AJ@ @ABH@@A A @ A>@ABCK@@A @n@A @@@ABCDE@@m-eq_pcycle_mem @@n  HǶO ذ߰@-set_of_eqType#Bn%;w+"@@@y@A@ @AB @@A @@Am@;@8@ABCDE@@*pcycle_sym @@Do31 mt D> n#@@@@+pcycle_perm @@ZpIG _Щ@@@ @A H@@ G@C@ABCD@@1ncycles_mul_tperm @@qq`^ 1 -|k@$addn+,}堩 >95 x  JJ @&double;86@+nat_of_bool1B% ŰPT.) ΰ(&Y-@@8@@ )odd_perm1 @@rr@%M耠~ Y ŜB@@@ A)@A @ @AB @ @A@ [@ABC@ @A0@ @A@@@ABCDE@@1-odd_mul_tperm @@sжK ũ*g ` [CFAm4q@@@ @A @ @AB @ @AV@ @@ABCD@@U)odd_tperm @@toMҩdɰ5ʐ@@@ @n@AB@@k%dpair @"eTv@$prodt@ R  ӵ@#fst  `B@#snd B@#@*simpl_pred%@}& +k+ 7 7 7!7%'7 7 7" 7 7 7"7"7$'P ypxh#6D̠$؀@@@ _A ӳ2[@A bA Գq\ @ f@A ϲ6W@ A вuX@ABCD@@͠+prod_tpermP @@unl )&Specif#@$sig2#6@.@]@q::"ts Mx=%bigop%BigOp@ g6` M@'bigbody0D@A_ "__o +A8ggw*4a @#all'D! ` `@-pred_of_simpl @ >. k@@@ &A4[d@@A )A4`wC@ At@AB Aq@ @A@ q@ABCLAy@PAy@AQA@SA@ABTA al@N@YA4[cY@]A4`ؠx]@ABCDE@@S-odd_perm_prod @@vq{砩 3@N < <ID :Щ̰ ZT UvnFFlkxJJߩ% D@$size'PgӐ@@@Z@AW@T@ABS@@A@ 2AJ@ABC 3@/@A 6AI@ 8AG@AB @Ag@AAe@A5[@ABCDa@`@A_@^@AB]@ 2@A@@A\@Y@A5@ABCDEF@@)odd_permM @@_wNL@*morphism_2vo a"s1"s2 㰩 n*  l mxA@@@@A A4SOA@@AB@ A7Zt@A@@ABC {@x@AVA(@@AB@@A@@ABC@@A@@A@@A7 @ABCDEF@@)odd_permV @@xJɩW  s@@@@)odd_permJ @@yIٶGVh 1 ٰP\re@@/@@-lift_perm_fun @  Ƿ𩛠\@a@ B!j {<o@#LEZ]!kР@&option >v@AA@A@@@@@CZ 2#Nat@ E `<6>9 @&unliftƀ Ǡ"k'@$lift ـA @ ! HXMKH><[ +k() 97"= R '> 7 7" 97& '''+k97$'ࠒ$tT.oSAA@@AD\@@@@A@@*lift_permK @@Jz O Mv{yv kk@*\ҩ  k@@@/A ůM@A2Ak@@A@@e@ABCD@@)lift_perm @ v tB( *$@:>[h*@  +6? +k()H     7  7 7 7!   7      797 97 7  7 97 7&' ?`_||Ӡ("P4 \ @@@G@?@AB@@,lift_perm_id @@{  `m3E@U —l;d@@@d@Aa@Y@@@ABCD@@.lift_perm_lift @@|  Ӷ |ũװ۩![Yөΰ\߰ @@@@A@}@s@@ABCD@@B*lift_permM @@}   0%#2-v`:f @ Ő3  T 'V ͩX +  ҐӐ@@@@A@@A@!@@ABCD@@x*lift_perm1 @@*~ / -VfᰩV\␩y ː a А  @@@@*lift_permV @@I N Luzxu ʩ @@@@A @@@@ABCD@@-odd_lift_perm @@d@ i g dqsn@*nat_of_ord2ܵw  #8@@@ @A @@AB@Ac@A@@ABC@ l@A~@.@AB]A@`A@AaA+@cA*@ABCDdA@jA)ZAv@A2@nA+ˠrM@AB+@+@AsA@c@ABCb@xA@Ad@zAX@AB @@A@@ABCD@@A @ @AB @@A@@AB@@@@ABCDEFG@@@@@ ӳ2@ ӳ2[@A@ Գq@ Գq\@A@;!9@ABC@Ӽ)*r&choice)ssreflect(mathcomp@Ae@A A>+0f@ z@ @A@BCD b@ (@Ae@B@C@#A5[%bigop)ssreflect(mathcomp@@l@A5@BC-*DEF&@1@A$@ @A @@A@BCD'@!@A@A@BAA*m&ssrnat)ssreflect(mathcomp@@KA*@AC,@@@ABDEG@(@A@&@WA1A)E@ABCZA@^A1FdJ%Logic$Init#Coq@@A@hA0@AB@@ACD)@%@A"@A#@ABA@:A ůM_@A@AB@@'@ABCDE@@AU@B,@2@A1@BC@@AL@@ @ABCDFH@@A@B@B@@ABC@@A@BC@@@A(9@ABDE@@A f@F@E@ABCFD@A@AAq@@AC@BCA B@@F@ABCE@B@ADEFG@@I@@ABC @@A>@A@B}@CDAA@}@A|@ @ABE @HA :@AIA'hyxA@d@AB@@@ABCFHI@@A@ @ C@AB a@XA@ACDd@\AJ@A@@g@ABC b@bA*̈$@@AB f@ c@hA+QlV@ABCkA+ˠrY@oA@ADEF@ t@A@B @@A@@ABxA5@@A@B}@CDE ;@@A:l֠ZA?@BA'[_^S~@A'\_T@AC A>@ A7@AA@A'РYD@ABDA@A @AA@A@ABA@Ac@AA@!A@ABCEFG"AC@&A*='ssrbool#ssr#Coq@@A/A @1A @AB2A4[c@7A4`ؠx@A:AE@@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*uaY0\͉!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ֱԠӠ@0;RWMi\N'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+@0#z xW :G؂b(binomial)ssreflect(mathcomp@0io  }  @02*{;"W$^6#div)ssreflect(mathcomp@0W~ě o+ N (0Wn"2&=zH0;0ƜNtD u0c"65rk&finset)ssreflect(mathcomp@0 @$$~,B|XŠA0ǒ3fp$path)ssreflect(mathcomp@0*%)bhcFrY%prime)ssreflect(mathcomp@0.wFbN_ 3 2 1@0=~(sV,Aڠ@0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q@0 zv)ssreflect(mathcomp@0tn|kN0 D/O@01 ZP"};o{&ssrfun)ssreflect(mathcomp@0âNO=(V+ssrmatching#Coq@0L1T=>dcb@0ͧMy}yWߘ,ssrnotations)ssreflect(mathcomp@0hPB  d0ýޑA"_39.z"<-"_49.z"->sN$@@B@xq@N@@@@@@#_15@=uҵA@@@@@@@@@@A@B@AjC@A@@@@#_16'`o@@=uҵ@A@@@#_17'`o@@=uҵ@AC@@@@k@2 Q@@G@#_18@*!RK@ϐB@A0C@A@@@@@#_192M접@E!RDD@A#_20'`o@@N!RD@.function_scope@@AAP@#_21? 3V/_rect_from_type@@@l2 Q@@O@#_22!@0@B@A~C@A@@@@@#_232M접<@90DD@A#_24'`o@E@B0D@NP@@?AA@#_25? 3V._ind_from_type`@\@b@_G2 Q@@@#_26n@Q0栠@jB@AˑC@A@@@@@#_272M접@l0DD@A#_28'`o@@u0D@@@AA@#_29? 3V._rec_from_type@@@|2 Q@@@@#_30@F4@B@A@@@@#_312M접@FBB@A#_32'`o@@FB@@@Ϡ)@v2 Q@@@@#_33@!qf@ꑐB@A@@@@#_342M접@!q@#_35'`o@ @!qB@@@@2 Q@@I@#_36 @/1]@B@AC@A@@@@#_372M접:@/1]CC@@#_38'`o@C@/1]C@@@@:@#_39W@/1]@A@Z@!q@Z=uҵ@B2 Q@@C@#_40k@g㠠@@@@@#_412M접y@g@#_42'`o@@gA@@v@#_43(шZ@d2 Q@@@@#_44@o76@@@@@#_452M접@}76@#_46'`o@@76A@@@%2 Q@@C@#_47@0'(]7@@@@@#_482M접@>'(]@#_49'`o@@F'(]A@@@#_50(шZ@Q'(]G@(2 Q@@@@#_51@3(f@@@@@#_522M접@A(ɐ@/PcanChoiceMixin6#_53'`o@ @O(A@@@2 Q@@C@#_54@)@@@@@#_552M접)@)@#_56'`o@1@')A@@&@#_57(шZ<@2)Ҡ(@2 Q@@@@#_58J@'n @@@@@#_592M접X@'n@#_60'`o@`@'nA@@U@ʠ2 Q@@C@#_61q@"頠@@@@@#_622M접@"@#_63'`o@@"A@@|@#_64(шZ@"֠@2 Q@@C@#_65@l@@@@@#_662M접@l@#_67'`o@@lA@@@#_68(шZ@l@2 Q@@@@#_69@ZG@@@@@#_702M접@ZA#_71'`o@@ZA@@@}2 Q@@C@#_72@9?jn@@@@@#_732M접@9?j@#_74'`o@ @9?jA@@@#_75(шZ@9?j@x2 Q@@C@#_76%@@@@@@#_772M접3@@#_78'`o@;@A@@0@#_79(шZF@@2 Q@@C@#_80T@ '̠@@@@@#_812M접b@ '@#_82'`o@j@ 'A@@_@#_83(шZu@ '@v2 Q@@C@#_84@|@@@@@#_852M접@|@#_86'`o@@|A@@@#_87(шZ@| @2 Q@@C@#_88@Dp*@@@@@#_892M접@Dp@#_90'`o@@DpA@@@#_91(шZ@Dp@2 Q@@C@#_92@UY@@@@@#_932M접@U@#_94'`o@@UA@@@#_95(шZ @U\@2 Q@@C@#_96 @:@@@@@#_972M접 @:@#_98'`o@ &@:A@@ @#_99(шZ 1@:G@2 Q@@C@$_100 ?@&@@@@@$_1012M접 M@&@$_102'`o@ U@&A@@ J@$_103(шZ `@&䄠 Q@2 Q@@C@$_104 n@/.栠@@@@@$_1052M접 |@/.@$_106'`o@ @/.A@@ y@$_107(шZ @/.@̠2 Q@@A@$_109 @$A@@@@@@ B@A摐C@A@@@@$_1102M접 @$$_111'`o@ @$C@ˠ@@ A@$_113@@Ȑ@@@*{ perm _ }@@  @@!{$perm 㠐!}@@@ ! AȠ @@@$_114%c?@*type_scope *type_scope@@@A! A@@A!@@@@@A!&@,{ 'perm' T }$_115'`oA!(@ F@@+group_scope@@$_116YS+group_scopex@$_117YS+group_scope@$_118@HBB@BA@@%'S_ _@H  @@#'S_f@@@AB@@@$_119%c?@@s)nat_scope@@@`_@@\>@@@@@@.!@'''S_' n}8\@{2 Q@@@@$_120@= 'A@@@@@@!B@A@@@@@$_1212M접$_122'`o@C@~@@! !u@!2 Q@@@@$_123@!76@!‘B@A!C@A@@@@$_1242M접$_125'`o@"C@@@!ޠA!@2 Q@@A@$_126@.o@@@@$_1272M접 $_128'`o@@@@2 Q@@A@$_129@.@@@@$_1302M접 $_131'`o@@@@@rHȠ@R@T@A@29D{(@@6@$_148@J@@&@ perm@J@@@!@$perm@@@@@@$_149%c?@@@X@"k@@@@"o@(@ 'perm'"q9D{(@@@@@@@@@@@@2 Q@@C@$_150"@3A@@@@@@@@@$_1512M접@$_152'`o@@@@$_153(шZx2 Q@@C@$_154"@)W$@@@@$_1552M접 @$_156'`o@@@@$_157(шZǠ$_158@@@" AA}2 Q@@A@$_168"@$ dA@@@@@@"ϑB@A@@@@@$_1692M접"@$ d$_170'`o@"@$ dC@@"렐!e!h@2 Q@@A@$_172# @%A@@@@@@# B@A@@@@$_1732M접#"@%Ȑ$_174'`o@#,@%B@@##!@2 Q@@A@$_176#B@$ YA@@@@@@#?B@A"C@A@@@@@$_1772M접#^@$ Y$_178'`o@#h@$ YC@q@@#`A@Ơ2 Q@@A@$_180#@eA@@@@@@#~BE@A?@A"x1 @A"x2@A@@@@$_1812M접#@eΐ$_182'`o@#@eB@{@#"#@2 Q@@A@$_186#@=u=A@@@@@@#őB@A@@@@@$_1872M접#@=u=$_188'`o@#@%=u=B@@#ߠ"Y@Ѡ2 Q@@@@$_189#@e?6@@@@@$_1902M접$ @e?.$_191'`o@$@e?A@@$ @Ӡ2 Q@@A@$_193$%@=tA@@@@@@$"B@A@@@@@$_1942M접$;@=tѐ$_195'`o@$E@=tB@@$<"@Ϡ2 Q@@@@$_196$[@e6@$WB@A@@@@$_1972M접$o@e$_198'`o@$w@eB@@@$n"@2 Q@@@@$_199$@eh@$B@A@@@@@$_2002M접$@eĠ$_201'`o@$@eC@su@$## @2 Q@@A@$_203$@=u.9@@@@@$_4362M접2@ >.@$_437'`o@2@ >.A@@0@:2 Q@@A@$_4402@E"KA@@@@@@2B@A@@@@$_4412M접2@Z"K$_442'`o@2@d"KB@@2Π1H@2 Q@@A@$_4442@ޮA@@@@@@2ꑐB@AlC@A@@@@$_4452M접3@ޮҐ$_446'`o@3@ޮC@@@3 2@Π2 Q@@A@$_4483,@*A@@@@@@3)B@A@@@@@$_4492M접3B@*ݐ$_450'`o@3L@*A@@3A@2 Q@@A@$_4523]@*A@@@@@@3ZB@A@@@@$_4532M접3r@*搐$_454'`o@3|@*B@E@3s1@2 Q@@A@$_4563@*A@@@@@@3B@A@@@@@$_4572M접3@*ڐ$_458'`o@3@*C@{}@32%2(@$_4603@ %M@@@3&A$_4613@ >.A@@@@@A@@AA@@@$_4623@!ҎC@3@AA@@@@@$_463'$A*@@AA@@@$_4644 @!iU6B@4@AA@@@@$_4654@!MEIC@4@AA@@@@@q2 Q@@@@$_47344@|*\a@(FB@A@@@@@@@$_4742M접4K@*\'ssrbool#ssr#Coq@@#idP$_475'`o@4_@*\E @@+@@(p2ڠ@92 Q@@A@$_4774@D>[hA@@@@@@(B@A@@@@@@@$_4782M접4@\>[h$_479'`o@4@f>[hD '@@p@(񠐑3@S2 Q@@@@$_4804@^ —A@(ՐB@A@@@@@@$_4812M접4@t —$_482'`o@4@| —D d@@@(񠐒+.3[@M2 Q@@A@$_4845@X-1A@@@@@@)B@A@@@@@@$_4852M접5@o-1$_486'`o@5!@y-1D @@@)1kn3@q2 Q@@A@$_4885@@|9A@@@@@@)SB@A@@@@@@@$_4892M접5X@9ސ$_490'`o@5b@9E @@.@@)s3ݠ@2 Q@@A@$_4925@>[h!A@@@@@@)B@A@@@@@@@@$_4932M접5@>[h!$_494'`o@5@>[h!F+@@@uw@)4(4+@2 Q@@A@$_4965@>[hA@@@@@@)㐐B@A@@@@$_4972M접5@>[h$_498'`o@5@>[hBr@@)6@2 Q@@A@$_5006@>[h*A@@@@@@*B@A@@@@@@$_5012M접6@>[h*$_502'`o@6&@>[h*D@@@*6ps4@2 Q@@A@$_5046E@7+PA@@@@@@*XB@A@@@@@@$_5052M접6\@7+P$_506'`o@6f@7+PD@@2@*v4@@$_11219@$_13219@$_14719@$_34419@$_34619@$_35019@$_35419@$_45919@$_50719@@R 嫁_]U@F:ʀ-e ,C!@ֽQ/Rn%J@> *󀃇R}^ |S!T'fintype)ssreflect(mathcomp@&Finite@$type2@!f@@$sort XAB%f_inj&ssrfun#ssr#Coq@@)injectiveЀ(_evar_0_Р)Datatypes$Init@$boolZ'@@@@@@@@@C!xAA,&eqtypeO(Equality@A HZ@&eqTypeŏCO&finfunc)FunFinfun@*fun_of_fin  @ zJ+X%LogicB@#notШ2'ssrbool^@'introTF k%Щh<3D}.$4@*injectiveb ɀ T@*injectiveP ᷀@&eq_injDIIHiJ}:@"eq @&VB@(eq_ind_r!2#E3/_pattern_value_F kh ^@k@%ffunE09H+AM'ⶐ!u$perm(fingroup@)perm_type=uҵ@ض@۩@#val&/@)finfun_of%꩜@%phant)`@A|/@,perm_subTypegE" $injf?ŷ(&DAG@*perm_proof$97!sT@'perm_of!q'<0!t +C/@#andЖw@A@3@%eqfunF`v'PermDef@+fun_of_permGMJ%^©}{lj@\ XаVk%l7߰c@+perm_unlock)W_ѷթ{{2٩k٩qΩn<CH<<C?RnmkvU$HLKJ(!!VKN4@%elimTɀmd\/)@$valP&(6> з%@#nat@'CardDef@$card׼ȩf@#memڕѩm@,predPredType>h`#seq@.pred_of_eq_seqJ>g@%codom dҩ)!@-pred_of_simplS@%predTtZ橚@'is_true#œ)SubsetDef@&subset 0ǩCȩ>9ө1ԩJ)$@&eq_mem%ڀYTթOGϩ`?:-@,subset_cardPm 7:&~>vqI@2sort_of_simpl_pred/_@/pred_of_argType-Vg;K  +.˰anx3uiJ@*card_codomEu@(perm_inje΀fiSYUZ @,subset_predTU F|(@,is_true_true怐ywpU)* [a/])@$iinv փ68Og7b\@)perm_onto=u={9@&f_iinv7uC@&cancelں7÷ĩ!~ʩ␑起өө @(perm_muleک@(perm_onee?X멚"@%permP$ d e@'funcomp5π@$unitUe@AȩȠ  oϠ5krְC O@%permE$ Y'"@(inj_comp$ *ϩ*'' 64;%;+:" 8@&inj_idB=CA@'left_id //rQzRpn86AYYY[@(perm_inveڀLd#c."")%'%lf۰,sLt`1~333y::6}<8    'B')HEK Iu8p   :kT#(j) b cH#`ljdkg:< pNkL ~C%tzH8J@'can_inj*CPPj@)perm_invK=tрoɐ42[2ѩ^/`byz'!C@,left_inverse:A÷Щssvxz|~"TTT$V&XZ*\,o a wikkk Πknаmvhjjj֠jClԩڠnwuq'G#OQz)|U~*4/ 2!?:;.FAGD*G0.PK O) Q R =U!_Z \^e`!bҰH'H)JƩ+L'nn-+oWũyt3R5)ve(=}Dשkکi!HiJ)rvmxC_֠@C@+associative(! B}Mx_ab6ekg@$oneg m@8perm_of_baseFinGroupTypexBhyhĐ8XZZZrtЩ]ϩ_ԩ724445շ05E.۩.h09ߩ;2@$mulg ;0DtEIIIJKKKLwjxm4~$صhJS@$invg |Q  ʰ,WɩsѰܩI@%permM$ a ٩ܩtw(FinGroup@$baseIq䀐c@4perm_of_finGroupType55ਗ਼@>KM.η GG:@%mulgV!yz :PSR@%perm1$ EC\\t\]`bHFy@(ssr_have+Ǜnn.nott@%permK$ _BgV 99@<BN_I|KO@%invgK!pu+yw{\2g5ɰmek9qor԰Esyw}~@%conjg!d_S $ 9Y\Ω^'6113d&5f!ǩJjC>߷:?O88r:C/s η!n7ݩ;bTTK@%expgn!iD&ssrnat@$iter+|g hĐRA!V@$Yհbluܠpy 1f*H.r +|* -  wB2@'nat_indJ(8;'=?6?GF=.IQeAȐbf]>_,f_(D#DlN!·IհH*HsEM?/MPrrqT-Wq`"8̩"C_>_iݷdcEf$sh$䐩vZysUsWurt|)|p[@&expgSr0vu@1Ƿ!S&finset@&set_of514 @.can2_imset_pre.Yzz@&SetDef@+pred_of_set#*:̀~@&permKVZ'%D)+%Imset@%imset,CS(<{{})Щ5O dI WWZ2[>zO@(preimsetw};@(im_permV!{ }9**vηmߩ=tt٠v!* `F7?=us߷._view_subject_-`@'perm_on!q&s_on_S@'sub_mem*Xv怰s۩R@)SimplPred' !1@$negbu@%eq_op&ZZ٩&SpecifG@'sumbool7̂K@ְ7-U(r'".L@&in_mem&0өf =@&eqVneq5B,-w!a^UuUv##|;i`}`~[V 4Io  A  ]A$!b!g4А#$?^ސJ   3k B"BAAAA@@@@@D-שcĐ$"ک(n٩ KȰ\@; N 8  ( uPK^uszvP 'KE 'w $j(nfix_s_x0吩    !;ðqP Lp$ I I   ! # N= Kyv P < * & & ?Y 1 - 2ɰ 4 0 _ \}? a 9 5 d Oi̩+Iͩ E/ r8 @(in_simpl3ә7 @1expose_simpl_pred "g8> kߩ Y Z=  7Ijܩ@&inj_eq6MǩRs Co ~ p ib >d& 7@&elimTF% lgK v *@'subsetPY4 lP   ɷ!H      ̠ z   up  ~  ũ  m eЩ       f f,  ܩ Ω۰  <  㐷  䩷 ж@+퐩u x # zʩ/ T ȩ  N UL    U Ӷ@z V    :  Ǡ    @ʐŰ   . {   r @Ԑϰw " # " I !ϐ @+A     @0 /ް  . . U@'eq_reflM  5"H0Ȑ"H1 !e  ,@@@@@@@@D !  L @%Falsee@ @$Truey@A - \ @)False_induُf    gC@  G N @ C FD"sH ` a cm  ѩIѰ QM }p(" V @$ < Ȱ ) c%" @j -# -$ /&j  ̩u }N ʩ3&"  f* h'  U D?%" @KF Y# Y$ [&  ) OڰՐ3  d   @hc u q q۩  E ڶ@toU x  R   C &?А Щِa Ϸ C / Ck   c e搩ũ : CNnn_ Il_ CZ@|Ȱ G R ]  Mط 4 ѷ  "uSש %@)contraNeq1l ] f L  qig   + ) G b`"Su      /  $ z |# x' r  $  $) X@+preim_permVo 䐩    d  p 3? a   l ԩx > C @$setP#QZ &  D  Щ 1  Ӱ    NQװ  PS  ' + ݰ6 6V@  Z <ک<  \  4 ˰ 6 aC   c  b   i   * k ɩ   s@&in_set4T-  & v e  S ܩ ?  64 H Y  ٩ E   G  ,   @+perm_closed&֣     L   mJJ       r& E> Z  xU   ~ !y !z f !p  !r$Bool @'reflectc@ 0    Ʃ 2   y7  ʠ ( ~< \ +  " ,  @  / '  a  A H :  i ޷ ȶ " /- S t :  U ҷ  @O   B T N EҠ F  X  I  S BFB>HAAAAA@@@@@@DI V'L YW }f d  >   ư   ˰#o  ϰ' t   G@#eqP&⯀ e    ?                 é       $u    (y  ( D D  A 0   0  2   ש  #   $ 1 8  : T8  T   %  㐩 D Ȱ   驷 5 ϰ   e ѰD N| e GG ; ذ   n X  I  W y  b T R z\YY W ZЩΠ e   s e c  wlQ x6  89 נ  %ne_zx ?     Z x젩  3    Z   Q  ĩ_   ݠ "  q C  ʩ _   -   é / Ju M Ơ  P{ ֩,з  ! E ۩ G Q  T ޠ  4 W7 ϩ Р K թ X A շ  Щ - L L ~  1 P  Q Q  Z S Qک f _ݠ Q c T   s \    m  ݷ d  y $ a} c c e W j %ne_zy }n   {a nl   ( }( ܰc  f Y   4F ېx u ? j( HEB  (tM n6(&Ny9|N >3  6 @< ɰ ?   CAK ϰ < ְ  l}2 ۰X\+ PD  waRȩƠ   `(  eة pCe#cfܩڠfq<=Svt)X } AoI cCHvRL"n0| C@*involutive&j\s@,fun_of_simpl$vDzz@-SimplFunDelta ;JQ @*app_fdelta4^[ @)fun_deltaB@Agdשif khnܐ<9Щ@*tperm_spec:@z4{{/}}H~* KR% MT. OV) QX @(eq_rec_r!%0`IbbDdd]e? F^: H`gC Jb> Ldkjo,fo ԰qK@%tperm-  yd}} bW@+tperm_proof"ŀ &|/詷o|z4M j` 8;%M\  #VLIF!fv* -6 7, 7 kASVAŰ[X2`q||@ CLz 8հ h$kU}FU VU Xa4|TW) f٩e rg E tݩB!O< C*Xzda59g9;`>llr!Ap G( J.ҩg0"QQשl5%V  ! Щ<% $9 &/&DAABAAB@@@@@@@@@D4 5>5䩷÷: U ө@&tpermPBCL}LٰM6c VNKn`HdC   )'gϩ~0snuݩ>x' &z =Ґ Bא R  ;:  =@k$\ #E) $a % ( (JuI4a5 >P   eE:-]C q  r 3=mf3S( OɷD[@ r'"@ y.)֩ Ϡ8.i>⩷eַZ d@ ?: k@ FA r! t ?ض B ~x  @ ]X @ d_ ?        @ Őzu @ ̐| ;\ $-^ +@ ې3ii@ ␩ p?Q A8J}CA~@ \B@ XIdM @ aѷXֶ@}@iZ u^   ڠHg`2ԩǩ i C,@Ԑϰw۶@&ېө z@B@< 0-@@   @<@CA  #E,!   + ,NC _6T  [  }{9ibN+&"RQ)%UV50\;3_u1+  |6i> שe߷Zq fE fq h tIpe  nP n| p s  | wq\Ʃ | ̷ z꩷}h n#AotЩ#  rEiuG{⩷ NöN̠P4  h    ζI; ",8 % .  * 3٩ .   / ޶K  M ˩ ?6p̰YҶV?wFOAyFB\ C K"e0㵷 cK8C i !>wcTcu  R1bOPM #Y $ K?  AIE F rDީ   tD  B 2< *c 22/24 FWܠ C M N^*& V W 5 q1& aݶ b  4°  6B j k? :4 o۶ pAΰ H F=K @ { ~ܰ  ް* \[4 1C9  = ַ ȩ&ީ?CC ܶ   "n1"n2ސk\W[  ?h\\c_agc V g lsoBC%zJJx jO"SSxV˷9Y-%.._`D  ~    1;G 44=8 99B詷 Ƿ >   թ@IIzְਗ਼@&eq_sym XCE  L1 [YsNʰ  pkTmm in~gӰprb.0}y~wiyyd{{}|_  Z  ~c ^   /22776(9~57:@Cېa_MF+ $@(arg_sortڀ :ݩ t H v JY ͩ! ~ yJ  {L`'ϰpbwdgTװɩ,.Zq0psȩ4ȩ  b39yЩ_>_ :@ԩ  *  psKMy!QMS! Q,, #@&tpermKBʻ4;Ce ͠ Gͷ M`$    ۰  ݰ   ©ϩ}  簩  ͩ ˠ   ҷ,A  ~ נ ة,@%mulgK!yz )ߐΩQ -  + '  9 ;  =L  @ BJ@%mulgA!yz Io KEh;@'tpermKg=hQ Q0.n 9dnnЩyө  )D?' ,'[@&tpermVBƀ    7 <7V*Ʃ@%mulVg!yy} ͐ b`!A %Ȑ#ffAh@+sig_finTypeR-U ߰X |Wm@ @#sig#* @b;cg@+predArgTypeCVٰ@0perm_for_finType&䄀1#% O2(binomial@1falling_factorial]ŠA Nϩˠ ԩ֩Р"ɰĐ l @)factorialċ$@'ffactnnR</'젩ajàkN@0pred_of_mem_pred+蠭r ީﰩavwӰMO ũ  ~ [\y`aڐ7(9 ݩ  Bz;)P+Uj'D ^o@(card_sig 4!ܩ_:4B@1finfun_of_finType3*݀O3 0 C E@ S">G뀠)`ǩ$@e@$andb= 9Q4@)V$Y @-simplPredTypeǂx@+ffun_on_mem4f Fhéj8yEpɩsGp  @ S,5 ԰icxh@] X 4/ bbة Bn o  - (@1card_inj_ffuns_on^ Ȑ"fT+  Z }&Option@%apply3qgЩAi  K@%insub&Eu&choice&Choice@=8ր@*choiceType  : $8@+subFin_sortYX?@.sig_subFinType;90 Ȑ#pfT©@&insubd60  B϶˩@(sub_sort,4 Ȑ"fAa@2subFinType_finTypeN:6Gɩ r 1>=@%VMַש  O JIDB oJDZ=8 񩚠%bigop'%BigOp@ g]#Πo0smu s@*index_enumZ5( @'bigbody0D@Ax:>K =;@$addn+,}. Ͱb(]@R*M ) $3 ĩذ   7W'MM)P:)5+4gkAxEG OEj-C X $ ũ ɩà   ˩@  }YT  ѩ < 0ͩϩɠi°ol thgԠb̰fǐhڠhjZ+B@G   M 6OjQ@,sum1dep_card7S, ː!iӐ]Xѩ ɩΩ#TiR>,S.0ߩ4D2'*נש w('@)sum1_card5Ӏ5.rMFOFD!jITC&Monoid@(operatori^  @,com_operator#逰e@+addn_comoid%{倩-ީ1ްe64ݷn=A<@?xGK!M!GOS&*ېPOGxJ4xMz.a]NIM착{@w lrNI1| -@&<-ʩ̩z/}g/1aҩSǰ j@u@,reindex_onto/8(~\W)__H~@'eq_bigl:u$jٷS 穷dw٩D E C\ w^ /Nmoq̩i@%andbC4,)ܐ xЩ␩j0~@#idP 鐩ն@@$and3@B==@:@(equivPif)V gȩKΰl  @%and3P0!$#onAOR@(ssr_suff+xd%'_@*<+M$fTAp >M##ҰH } mF©Zݰ*cv5x>@u 2uwkw^ݷ  ;D @F < uE~,WJ Q   zZW` V ѩ_өI7̰ǐ:5  ?  {s  !ܰ  א@  {'3   V   Z3@'insubdKỳ\  l  ۩ -& ߠ˩N VVG6Q>7S   ۠ @;2dݩ!#@&m2-  /iXs`Y M BO=Q;]ʐeva@4finfun_of_choiceType6ـDtFk T@3perm_for_subFinType/.N ߩ  \(%ީVQ@h Z  A .ЩP?M'. V !X3ЩeZ:]e_agcA̐fF'q$r trqw.qs2y0x"zi;A="-&De$+۰$IFGF.ΩɰJFҩu)``!o@&option >v@ԷJO@*insub_spec6l&@|) SVS+ѩ=]PЩܐadc:7fh00ܩi28A4*A 73wֶ&VJH'ji0:EAfyЩ2^ð`]BNB QDCACA@@@@@@@@Ds)U%vtS]W\fPwrU~-Щ8 ?P;pk~k"A$.j@&insubP64#_i_e=uЩ_ z|~}~'ҰjHDȩ-Kppm\߰4ȩ28̩@)proj1_sigYZ>=ķeǩNllkm`nk#N$Y$w!(v)XY.[0/aöI"שwEE(;b[yyĐ(}!~4TGVŐbʩo]C#?1(q(@(out_perm:-~l=鐩os жzNܩ  #!+FiniteQuant@'quant0b,!2 @#all2m@*quantified+c@A+!򩚠@'forallP9 B~?(=}Y3D.345۠23<M\^[?BʰbdYh hIeAILOBBB@@@@D:+&\X\4"AxctdOid)dƩ$cyNy7.X}4X;Ҡ=:@?E Gx}өkN#K!PYPz'OR|)*zsJBЩ0|(!v6@ uCө+z$̐VVX%ȶ@;sѩ3?ܐV5f۩\(˶@O/r KL/*L(D@ZC>?;!uA4FqpCשk%vu'xwqf     ꩷g#h i#հI5'հ萩$.K4+F@/Si  =4/=AiC:C˰Ke|wc%+$LOaCCC@@@@@DS̩n`!eLiqBũC`qmqJ}<`ǩ{א Ω:אGDQ#$ީP@Nwΰu pZ'7[\2<7gސ5 #_p_?$_p1_;ߩܩԠ}x^tlЩ Gj A萷 ն@(z}zVʩYZXֶ@}=ʠ @͐Ȱө R0@ٰD~@+۰3,.  @7쐩ͩ#ZʩU!ǰשnylfa@ٷ'հ TY  XXiA31xs@):%jga. q3@u*%}/z33xzV@*val_insubd|Cm@=8secmLKFEGIrzlj5N!#1Q$&2vS&(D 6:@&fun_if%ν̀h]02@>@d_EqkjlpmlnpɩD'tGIWvIKWL@Ɛ{vɩ7ȩe@&if_arg& 0[[<:7@ؐn>ZߩI+DmobEQGLCJxQ)$7GBU@ ϩegi)  km3کܩ̰uibx^f9 XZ%#LAxA1*橷c HMt~MP˰KRG|wZ^)aR@V A31cSЩp 'E*p02- 4u/468:@=%Y&D(<)+CِFܩ3maK\a]M~ΩNvϰutةjok-@[Vih1e9 1Щ jiȩp r̩۰Щ֐@Jn~ɩة''АX"73ŷ.<81/ ! D ;w 2 -|9@쐩kַƩTyr yЩ :5H°  3-(@%&(Ѱ)+!ng#3 _a:{.㐩ް B!쐩2b ЩD     hb]@Z#Ѱ[]_PU ?Zֶ@^H͠ b$ddj$ƩL,Ot) @x-(gbJI BG? xP~   9r3@C>x0, &@PKml#+;K*O@_ZF9:@@jeC7'S@'if_same )I*l@]' W@H2Ȑ wtCCz'v(>㐩 砩  20_top_assumption_ ѶZ쐩t I B,u & Ggŀ-p  \hg  BBB@@@@D#  1+ !  4@$andP ' +C   3]_ 6Z9 5 3 7A8 )ac#"hwO O+1 T 2rXm@] 9v]; ] JͰ" g iG i t ک/Ωkũ{ u s x /G 3 z 1ΐ[ |  ~ m< =<>v>9%#Pk C|p ml P V L   T UTV<: -hܰkאmI Q S y hy{ ~ @ lx B G_   *v =xp] ,z_] 'P R E( * 吩 Z ϩ Y[+ []   B Uu u ?3u ޷ 9 NB aDQ n  Pr @$valK&(69y 쐩 2    Ơ n Z  Щ  ːi ^ m ש ! b @ y ڐ qI! } rti!  ! {⩷  h- հh/!  1 !% q!&  ~@  !, ;=(    !1 \   !"@ -+  t!> !@*  (!A  @  X+ ԩ Z  !K!K!!J 4!L!;  W$! İi ~k!Y 穷 }  != Ȑ  f  k !l@ ٰ!:X Щ!z '!O!U!}!: c!  ة !a 쐩  ڰ   mp5!NS !P!!! ѩQGķ ש] !@!!o" #L!_N^ ! 'P! RIE!!!שvg!?! ܷ  aXT 73!@!-!!K CЩ!ϐ |P!SV!֐V!ҩ\^!`6!ש Wb Fd! A 8g / *é!Q8ϩР!!Mv! !۶@!_! t!!!j z! i !!m!'!!_!_@!u " + A !k!}""!d"!!N P!v٩!-!B/"!qyw VHD _iZ"  ]"6W"2gbug  k"n"=@!" " Щ"L "!Ӱ"SX"O$&" (d!{*"1  -  ;~ 5 ? !7"c!Ұ!"B ͐ !"wY"s+ ư /"U2]": a"<"""m =oߐ} ũm"@!"]"Tũ Щ"K_˩"Qb!uf| Ұyj   ""wO!!" "     [W"@"!""ym 7Щ"ÐpCs"vu{Yߠ y[L B {"ĩ"3Y![" . %^X"ؐZ"ԩ  h ' "l"o ǩX Ƞ3搩n"Aw ̩"Ӷ@"W* j'u"w"B "D p-{"}"x"c*]"," ."U/@"k ~# !"_"q###"u"Ci"^"Ek"ȩ!%"~#ȠG *KgMJ"#"" &""d"x"e"# 0`#/#1#."tC #" 3#Ay' A˰"%def_y"#K""Ȑ1_the_hidden_goal_"_հa#*b V""#(#@0_discharged_Ay'_ ]U#]!&# *B" i="#jE###VF#k"#E#A"#F"#r)T;O9,"NF#}C" #Y a^#<#n"  W#H"3#F 1 ȩ 6-)"# ˩ K w@#٩$y |'#Z `#/#]### ީ ^! ѷ  j#9#  g<Y#E@#"I5G77I9# #u,  r#x#         ʐTSP@#:>M;8# #P>;##A(! #!,>  ߐg # !V#̶  琩q#D@#WIjG#@ 6mJ 9##`ԩ#ok#R!#R 4i@#i<c|9)##m4T#$#]$#Ax'#%def_x#v#]#y#⩷#0_discharged_Ax'_$#wG#nH#$i#Ѡ$ $####v##$ tשȠ#O$(C#[{# c!. "i0!4H#F##$7C$$$ #ߐ#$EI _# #ʰ Jr $#$HC!$0$"$$# ѩ!O$' ٰL$  WN#$T Q$U# YS S $4  K  F$`$1 ? $: 1 w$e$$"T'$$v@$l$l$E$&##̷#i$j###$^##ʩ#Ґ[[]]^]_#$ ac$#$^$$#F#کr# (# :#jllͰnno####$r$$T#y${#]{} $/$#b$$2$` $g$$$<$$$ $  $ %' ;$$I*, @ p$$*, ,.0 0J$"$$)$>++--/. $0  $4$$$o$$#ĩϰ g, ȩ/' -$۩$^$G$O$.d$$$$2h$$#$$O$#= $R  $f$کg$$a$_$ݩ$t$C$$`$j$G$$m#$(% $*Űxv  yw%ȰK }$n%$$w% $$u.% 4,$t% 6*#$$ְ$$$$$ "%A "%C%/%/ްau$%0$$%$$%JB$$B$ %%v:$%)W#$ $$#%F%-[:<%/]81%I$%2`G$ , /$J$ %;$$22$ 6%=0 $ 9$Ű8%BpOQ%]%]< ?$8$%$$@%%%=%m%f$J$%S$0$$$+$/%p$/$[$$3%%v%/$5%%x%u#$@$$ة$;$ةi%}$?$ܩk$ީ$C$%%$E$%%A$# !$ %%%y$$$Q$$S$%$U$%%$Y$#b$$]$%Y$_$%$$% $d 氩z  %6%$j  $n %<%$p %>% %%%%%n%%%$%$y%%${%($%!%$%%{$%K$%%%1 %ǩ$ $ %V$ ˠ%Z%%ϩ$%"Z%5%@%permJ$ ^%+a%:%@)inj_tperm%<%< %m%L"j &%@% qD@#1$ϩ%@$list]@%%$ͩ%tuple&@(tuple_of*@%%%%@$iffP# #4@'perm_eq1+b/%&@$tval,I"%ө%%&%@"ex @%%@/ordinal_finType#LE%%@%@'ordinala@%%J&%%'%D@'mktuple.% |%ѩM@$tnth,I?%&%&% *%&M&PDmF&<e#._discharged_t_a&Z!@#^Q%%L&^&aF@A%аy&3E%V%/%*)%ʩ&;%$f&[## &x&C!X@#}pY%ϩk&}&e_`%ﰩ&Rcu&N&IH%&Z&Ca&#@@A@A@@@@D#ߩ#G&7@#!&6&&&: s&<"nm&&&@h&&$%&@#&&y@-0@)nil_tuple=B"sP#Ԑ@*nat_eqType4X$@$size'PΰשAA&Ҡ%Ϡ&E&b &T7 ?;6$4/   * ''%а"''&v ˵V ΩR/M$ͰKF֩   A >.''B&@$," & #'/BC&G%"" +ǩ -ɷrF 0&+'<'9D@&tuple0>P '@%[$L J@#leq+xA J >&°`&E N Pd$aQ Z  Z \'i'TP~&ڰ ] f q_ h 8 j2 m  o l$.p y  y {'w'r$@'8&]~ #&`y''  _ Y  ڐ֩$VԩϠ    'zeȐ''"'AK" "˩''*hh'#ˠ \B''27 Z''ʩ d٩ _V&'ѩk m$@#map'D@tɰ ꩚@)ord_tuple:>+ ٩@*map_tuplePz܀  '. @&leqnSnCCC@@@@@DtIyssz(&7!&7\9(Kj(T~%Ȑ(ɩ|!>dp'h'萩&(CT ưZ'\)LG1!'E(((G.ٰ 8#ũ԰y(t(&@-perm_eq_iotaPX A# (((񐩷(ܶ(D%$(!ֶ(hy!٩)&EyB(3(c&Gݷ(Z&H(ĶT&4) !)(x 59&U\) '2()yf(,y8|{~}X{! ( L'䰩)&))))OD3@*size_tuple߀I%eqIstA'J;)"lm(i&(g(((34(/)E-)H o)E"&N&u@$uniq'P ) )?&Y  "P()3"V%)b(署&@,perm_eq_uniq %( )$)W%()E)A%)p&@)iota_uniq m%鷐&uniqIs.#&~!,?) f(&٩&$hw"g()w&!?R4(&۩VK"(&&!L))Š_(&@,perm_eq_size ꁀ))3)&!\..)&)q@*iota_tuple-^a!"<$szIsE#Z&&Ɛz"*,))),)<'2r4"ð76!)))<)ĩ&ސ!f'' @,seq_predType n"H')!t $))'&"&q)"ǐ ֩'!@(mem_iota!")'!>'<()Z')! 'B.$&*$'7@+perm_eq_mem3A$#)g)*&)|))&*#@(mem_tnth뱀M*3&"pPc#*   b A B*13))J)Mg'ܰ!-!i% /! #" #i*!D) )*M*P*;'U)ٰ)@.ordinal_eqType3'*W*+ ;*j><# ("*#G)*l)Щ)G  )*o*['u'*C)@*sub_eqType.*Y'ǩ7a* @/ordinal_subTypeE BH)J **[<i*@(enum_mem$u'ΰ 'ɐ'*j*a'W'@(map_uniq7`Щ1ط*'cf,ܩ)հqRUP#'V'X'͠**\'u**'Ȑz=&U?&C;(n&**r&$p *-'ِ**ک +)(@(map_comp7΀2~.*ϩ'鐩װK!*O۰*!@-map_tnth_enum6`*%inj_pҩF)۠֩*O*l/(K"/"#а÷G#ȩ* " 1)Ӱ++(++*'(@)map_tuple)j(l8b"$)(i"!#R%$'V)"**+;+8+;*N@/nary_congruence$KB+/(+0AO@@+7W)7<*7 0(L  FED t*C)%E/F3$/ "Q$ &"**+h*+j+"+i+ir@,eq_from_tnth:sTNMQJ++]*+-"p30(+z521*+|*km"xmpo =r(K+*r*+R C+C+N-ũ`0J$a+] 6 *Rp)cҩmq$meY^`b d $$++++_+a(H",s+@(tnth_map̀( z+++"mB+`w_7 r*}3)7579;="&&+Ω+ ++Z++ͷ+'+<KpM wO y)r+++ةǩ!+٩@,tnth_mktuple3}~(++ϩ+Rr" ݰ+}++V+U+++O+ds(u ++*+'++++o#.+@*nat_of_ord2ܵ$+q#  ,+qI,!7"@(tnth_nth#!> +d,$*8 ,++++@}++G++?+$++÷t+'+*'!,?,B,C")+&#++^++;'.'0&'3%1++3%5,V,Y)\O%8+J'=+,_,bFBBB@@@@D"(P=>+,o,k,oH*+ݰ+a+*:+,E4+,+:5,z,},h)u'ap+ I+LC'h"++IK,E,y+,+*}'p*V'r,BP%r'++VA,$,+4)#,%{0+,+,,)'m1dpp+kf,h)v)i)oy)jl*,RgRu]jj+|~,x-)p)r)t)|/,ȩwb6 yyd ,)ҐŰ',],'*qq,1t)ݐа$/ %qC +,qT* * )),,,)s,ݩ)갩'>:,\,,)w,$N(*'@(perm_map#o%$X&%!-)z*0@,uniq_perm_eq ,bfb,,,,䠩- , -n,,Щ-,*-)g,.i,,-')|-),-,)--7p,@)enum_uniq)3q)o!-",-$İ-=*r^$ɰ- -"-E*z%*u',- $԰---N*-Z*j,-,,ð-.$Ⱙ-&$-*6$,#A$,ՠ** *) *$-p-p$-=n-q*,@(mem_enum%Hူ&-{-j,-X% e,DF-@,FH''i-E-O%L I+T,O:-,Q<''G-"-,&--o%#A->%%-i-`<-*װ-*Ӑ:--%ݰQ-4-----"-*%:`!b---- --"--%A--|$,~-,'(  --Q*- **$*-ͩ%Yw,n-.,p'Ԡ( 8-3-{-^@'image_fĀz|s -ࠩ-#-W*U..--,,-*-,!Ԑ. .,,Ϸ(+5---*s-ݩ*%-g'(+0++&>'@+arg_finTypeXs@(X@%cycle!e'U--q--*. %-e,Ѱ-e'&-p--ϩ+K-k%&W-k-N@&pcycleҎ(B&o@)mem_imset.Bq̀ -x-[@%apermME(&l.g*g-.3*.*-. . *.8B(@)mem_cycle*d'w*.].[-$-"..B..+H%а.$+~.+;&.3-5,-ک--ݵ$xB-.P--ީ+W%߰-.X+-*&-B,.].Z(.I*-.7.3*.b%-$B+-+@&-N,0-@*mem_pcycle SP-.)'d.m*㐑..-V-T.L.t.`'+@-@,protect_termJD}.T-+ȩ+ .!.+:,ީ$path.@'traject2kj̀-).L.'.}'+ک'+ܶ@.m.++۠-+Ӱ-& &ߠ-,8.+X&)'..'+'+@4..++)+)$4&)).+n&4''...+.i,%I..1, ,.'+;',%def_n.:,M?.+Ր&M@'loopingT-2*:..ک.@.& -).n.+_.- \.:).r'G^@,looping_uniq/ .@'contraL< ׀,6.S,.++s".Zu&ש,+$t_sx!m,M, &&y( &{/'.h,C&}/&}&'.m..,̠'鐩A))(.y.,^),V&,.ڠ'O(( (.~.,l( ,d&P&+/2&萩  (5@<nNge*"1)@&imsetP4T5(1K1NC)'161(1!L0N.V)  :>'W{1-@(loopingP11b0@)card_size쎀0C@1?.o!/ũ0,1+*B0.110Z0X1P1x1r@$fsym|1U181X19) 1 1.1110,11`1A)11'1v0.ԩ.Π1J.ư1K..1U 1O0V1з1..1'.Ѱ1(.x.Ơ1-</.1.ٰ1.A.Π/1-1cR.1T.y1T1111. ٠1m 1.k1/ 11/1*/1$1.1/)10/ /1"..b"}$1P@*card_uniqP€1,*1Ҡ11A/1:/V11/1F/!11ܩ 1hXXn1.b1E11.`1,1@3uniq_traject_pcycle_/.]1111)1_11Щ)1Z\1ǩ(Q1Z1U1)ө.)11c0 /I=/J/  xmB/O1v)1ũ+ )2,111/V%aL/Y/ ˠ 2 S/`1)S1n+)U2,2'ީ /h\/i/' ۠ /g)Q/_)U)N*k)U)W)+ i/v1):-+2)<25 +/8))b- / 1292< ' а/-y/1)1+B)2E+1( ٰ///M  4/Q)ٰ)12S2O2S//X  0m1ư)1+[)2[+112I/c))+c)2-D1)+g)q1?+E1)/n))i2o/)k)d*)kY)m))2u-S2r2a/{*)ϩ1;)ϩ+'+[29-^0F)1A)+')2+a1)2))+d22u/ 12c2_/ 2*)f'))2+m/C*k2z2l2e2:/*"12T)*'/82/հ/:/<.2]2u@(trajectP21.2d2222ȷ11222+/@;22#2 +22t-2F2F+2+0+0@( 2-+++2~+22 5 3+0 +0@27* +*"2}--20)!4uniq_traject_pcycle0/א 2eO2d1~2+"|+0 "Utt,z/吩1!-2q+F2R2;+2=+J-2u2u2թ/1+-2{T007@2J08/*W+2H22+22/*2Q+*d-2b02ש*-,*sT+2`R/30*s+2bV2<@.pcycle_trajectր-2`2i 20*2i1հ2i,+2t~2|0*1۰-,$,2qn2z2x*y3!+.2t2}q3/222/3(*. v. 2}z2/+00**ũ,0*+.20h*ɩ T*ɩ*.2+1N Ͱ0v00A   {02*,D* ",2323!0&00P   3R 02(&,U(( ש2*I*,X(+3[*3Y) 000c   ˷02Ѱ( ,f(  Щ2((*,i(3l*2ذ(,m( ** 03,3p3s Ʒ)2 0+02*,y* Q,WI); 0ŷ0Ʃ0 8  22*,* 1**33310Щ3v,0Զ&C 72(c=,(e3=*),3,0ܩ,0޶&: A3(,( ]*,(3_*3 (-,(/ ((  ,0쩷,0&0 a   U3, (Щ,3(ҩ3!(,( o2x((n(n33s1' 0 si h g3-*2*+,*.,,3Ƿ1 <_i_n0ΐ , @ e)]3=*ͩ2**,*,+(2*+,*3+,)eq_i_n_sx3L),)+5{+ ,)3}+ 3Ѷ 0쐩 ,~+3Y(y2(y(,(}*))3V3ʩ  *3O3Ͷ00t3eé2(Y,(I((3 ,  ߩ-@$ltnS+ji3C1+Ɛ+ ?3+; ɠ3+=)3y3+А+˰ I3x+ Ӡ3z+)4 +-@*ltn_neqAlerU4a1-A34;42d,  2KB1=1?$4)+1D 3)b!b1K,+ y/,)+Z1U -1(ީ1Y,,  -7(3Ȱ3m-_(((334b4eU+ةq1l /K)!%4o4k4o&le_i_n1)+241{ 4d1~,, +(*2@@D4*64*83 3F -E3J ..4"4x1,@: 1[ S] + 5_(41 Q  ĠF3a. 41 [-x Ϡ<"3lh2t4,_ PV+<+X-r)ԩ U[s154r,h )u1@(nth_uniq!][> d)|4441Ȑ,vp-,441ϐ  / 343c-e+'4,f1ؐ,4"4֩ wl0+өR@+nth_traject=x0Ԁs5+:44Ω1萩, -)G4թ1  S S4S-G4L1,4-8*p44 R "R W442,=.,Y:Ω4kf. ,3j4di2,?55.oq /*.@%leqnn,nm 4թ52! ՠ  42i 4|2j2( ܠ 5)5)8 4婷520   42x 42y27 5858#C*5!55 Ʃ4␩+54@$negPR5GC- 5/5!544)4 ))ة.O)*o**+%5&1%5V5C*w4ð*4**x.Z*,,U,U1*},X~|5`C-95H5:53(5*4Ѱ.D.f.F D.<44+1,,۩.m,..S4ʩ2,b,.W4.5E,.Y4.5vC@  4`554_4]5U5}(575j5h5Z- 55252`-Š5n/45W-@-set_of_eqType#Bn%5 , 59 51Щ55e4A45*5-NE-*45\2ذ52@-5 (55@"2 5@55}&52-B55F 553452Ð-K5 5}l3)$5)2ʐ-R05%30+K. ,n55ː5@)pcycle_id%&`3-2ِV3 m52ᐩ-i535355U5>5vİ5>555ض5,)@5'2-~53,6/ؐ/.ܩ3. .A 06 5+5u-^0-^5^6 6 +̩ `55~-=.-=0655㐩-C-D-n0 vo566  s+ߩ X25Y5/5x++ N6O30-61)55--/5696569"six$s_si3B-ʰw6C3x6LF0$3y.H54e5/15-/156S6A5İ'@-/75-56(5-9-1@55-5ϰ60-aNO-c-/F6k/F6h6W3Q-é3--.-3--©.-B43]-3--.-f--"3--.à-k5.  n*L- p6)-੷6x6v6h.-6%6m N6n 6-6r-t-/x566B 6:Щ39շ6{:6+6_+ũ+-56.3-63--.-.--h.=-63--.-Qs- p666@-RX6Y6/+6~+.6Ƿ6@ [668+6Y++-16ҩf66C+6d+.c+64++/+/+,.5,666样4U6Ӷ6*;666\+|6L˰+|Ͱ+~-/66,O6P3.7"+_7477  45/H +6c6z+n6a+n+p,1.e764.b74P7$ 4N/a +6(62 +7+4!67+7.,g,İGDEư<76+6 +,X7;7<787<"sjշ$s_sjs5V6+6Щ +w7D72۰Q7#6+ '+>66+6+7-4Y.ᰩ7a"k7]47f `4/ `/7A6ְ{7i E{+7n7n67kw&10N7,7^37_4y/ .˩4xu/x1@$gval Q1@+cycle_group,^7u4/64Űur/Ѡur67n7j47R/"A1.6@1@&groupM0ké=.67742777,46i,47e6k,60.7,6o,7=6q,/,ѷ7 ,7!6v76x.,o776z,1ܰ/7J,ܩ1,/7L,ސ7,N5ةW :27 ;74.7ǩ .07̩77e+w77?,_7/ ,_.77թ-kŷ7ݩ7H2  ,/ 7␩;:7778--{777쐷67[,7| ʰ,/77ީL7M7d,X Ӱ,X-77_,\7V,]H7I7n8 ݰ ߰,/887Y8a`2*2 07ȩ7475/2/i87|7747ԩ/é2<S2U/7rĩB7t8 8#485)/15_5.0k53.784832@&groupV0k/3878%7,ȩ6,7/86,77,77,7,7ө7,47,77 7-8O8O7,2p9=72>,?78A7İ,7,-y7,7ɰ'7'78a8a17,'C0>8M8?888 ./78(575 07ͩ0#7ϩ N3958 y5 }8M5#7 878~887d7b8Z8+8<8o78]07 "6P8a78b78d887@-eq_pcycle_mem(K%Y888o0I 46b8s0M D78v8 8x0R  880.88 O88488b88888888880b  87@%5g78#88ڷ77!688{85Ȑ0v; 8V878X1Ӱ2888G668=9 8/8`781 8:0=<+8ڐ8Ʃ50h8k]8D80l8AB5a8V8A8r8䐩85j8M885h8  %5`9 9 77ѷ88,K8Ȑ"xf0h88T807p6!@$find'OTi0m60o8&@%pred2'p0t89 37/7˰398ǩ6M36E3.1Q3 088s8O76]208w8o8T"&6 Ԡ88 6a16Y20 1e2 29*88*4/7786s"6o1@.set_of_finType;J86m9A 6j1}8t@'pcyclesU83f19I82H@&double;862O@+nat_of_bool1B%1 #6*6$"1. 4E11789 08ķ#88"s9U59V6p$0 0ȩ8409t8609v960̩600ɩ10Щ e89W9S59787?6Ġ06001Ƞ0 q09F8穚2@)leq_trans WmЩ0 08W09S8Y060089, 6@)find_size 9696a967966h909D b0B@>'xf_size3W119{48#327@6ǐ{7976̐16߰.Ͱ.9+9\80˩2ٰ.929/8*48N9C7#747972# 4Ʃ4299;11y49L7'4/r234ԩ ܰ49I9#79712=#2(1t9V49<#v37K$lt_nE9@(contraFN8ߩC7".C18Ӱ199p 18נ197Y17Q112]1  :: @7'78.Y3'1$297-7>.Щ,.99/Q8/Q99 /U8/U97w/W7o/[/V2{/[ $ 99/`3@/b2 99/c@7H7Y.G.5)9:K7N7_OM.3,5/.ݩ9.930 .9.97.7..2. E 9:`9/3h!929 n/992Ɛ:R@7m7~/>3m1j:mX\F9/3q/:->B1:t33s@&iterSr;yW/:4E9̐:g@77/%U:m7;2P9/@3/B:9K/B99M/D95n9/G@77G3/"9AE7713y::</V /X7/X7ٰ/\/W2/\ :4/a:6 :0C::7/:7g38J}:::73:l3J,Щ2 53M:u:7/97@+before_find3U17֠/::Ʒ%lt_xf 92<53:92 9240+1:::Զ2F53: 404s2M320:"v:J40:n:::9+2D$W:R8-$8)2?8":832 2H50R:3ԩ222T5$Š8B8:3F2S*|2}32`:E"::|2510:+2;:;:y907:/04,0::::u:4˩5@;#:ܩ5BΩ,/:::;',0F::⩚:]@&tpermCBʳ:rR "tCZ4222b,:25:R20:9':,)2t:8%82p8};Q8z3 2y5q0;T2 32247ک% 883$2332p4F6I22'2:4'h0;*;n;qC8"tK=52222r:a48@8~2;29G:/:A/4l4b9A4W;:F/4q;D4[::b,u2#%:8ԩ%S8Рa28ɰ;8Ɛ3٠ \250;2ǩWR3Z3/22%l883p2a+3$2ܷn2:48;48@8r;29z;,!:!4ʰs39\4;!:!4ϰx;V4;4;49@49@8Ԑ;թ06;B:4R2 t46:4W;244;⩷49(@8琩;0q ;U:4Щ1  j44˩:4643E4ũ4';;;<_n_f84;;l0`:0`;:ð0b,0d;b;;:ǰ0f5;%;f;o!֩:Ͱ!;:ϰ!ة,!;e;n;n;l!ݩ;&<:ְ&5O;u%6<:ڰ!5#Y%;y6 !;;{< ;0:0;; ;!;{;!;<:<;#6d5f`5`;D)<3<5;%$<2>=K=;52;>226J2 =q=52p<Ѱ2p>=;I2t2o6U2t:>52y=;P2{2v6\2{2}>=U@*pcycle_symo2>%=>:=>=:>-2>,'=:$ua_a;7;7;^@#has'D6.;O0=!F==2=2>B3;2,;J;[< = 27S 5>L75J<=ݩ>=>;>->&I>0J;\5䰩>( K>_;$,=#$,>=%$.>!=©;$0;$4$/6$4T$6>) >Hb;t;s c=>>w>#>Щ  >U!;6 X>;ZZ =F >=H >=ܩ;ʠ ;°  6Π w > >k7;;n==>d?;A)<>o;@$hasP'O  C>P8>3>;67$x> F;,>69$z> ;$|SR $|>oP>>>;{>6k}> >>>>;Ð>ĩ6s,>ũ6t >!>!4 >#;<%has_f8f;ѐ;u]p$nr۰$:t;ِ;}e=$7>73<>;< @(nth_find![ž$M>B>;;W= 7 '>~7Ð3<>G>ɩ>ᶐ2_discharged_has_f_;7ϐ٩<m+?>j>ީ7ېd ѩ=Ԡ >q=ְ >s9{ G.>{>,;>?%<{><|?<;8 E >> >8%< <  ܩ7 6 > ?R>?R1_?=;& ?/<[#!8l I>8838F?>?V1_discharged_ua_a_>>?V;? ?7  6թ<  7Š   :h6 \?w?f<<$ |68p8  <, >\ :} <ޠ "<<66>f-8@88{! 6շ?<f8=<ɠ0A>zA8>|C86<E<ID8IK8 ?*8Ұ<ߠ=Ͱ=66H>7&>7(6ϩ== 8 ð70   ?7?<䐩<56?<ꐩ<4445 >8:968!4564?)#'- +'/#?%??թ==o9!8Ԑoi7We=9WO71?b?== ~A@==$/>Ӱ97?8萩!5977C59@9icake7G@ ?='=8>!7901; (7}=>969 7Y(@2*<97[@ @=;=L>!K9DE;9I!S!Uǩ=!U=}!Y!C8!Y7>8ԩ?eѩ7?@+=W=h?9`79,e==8@h7`X@h=?ְ@7 8 3N@o@<@t@-?@q%eq_xfũ:75 551??\5?5?=Ʃ7z@@<9_?k7}?l?\1o577p?=ϩ*N=ˠ\5D=İ@=8Ԡ W5M:#D@5RM8U8*5Y7=ذ5[5V85[5]57Щ*m==8#q5`b8j8e5K77߷8*5ط t5p???@(ssr_wlog+<845! ~&??"ԩ?"Ѷ@=̐95X@@M5Z?@>>51@@a5>54>Y$IHab֩5@@i80>>$95>>&@̶*=琩9@詷 @ @ @ @· @÷ @ķ!c9@+compare_nat>~g@ 8K9@K@T@@@@@f>A8#8M@4@444 A?@*;>9@ @޷ @߷ @ @ @ @ 888b@b@k@@AA@}>X8 8:4@4@44#B;EA6ש@>a@@թ @ @ @ @ @ @42 88M@w@@@A#A&@>m6E8 @@4/4/@@8C<:BAAAAAA@@@@@@@@@@@@@D A A A A A AS A A A A A A[Y ##Z@@@AAJAM@>"# <.@@@A AMAP:O@<ngtP`A^AL@ϰ>5°n":?'8:N#8:V6:X8Ω6@>ĩ@>A@A~@۩@:^8AAo@>ͩ5ک#8:rAA"A$6$AA>5AA>\:y#6DA A!>f: #:ACA>p:"A"3AA1A·7A.? AAAķ966# '@$lt_aA>А9> /Ѱ#QA`A@#y:ݰ":AAG?"'AjA9'?Aʩ>䐩? m@ m:6t?:#AJAAAJAH w*>9?ff<AKAAf?A#<:٩'#A@ ;AAU8AWA`ABAB? 9Ϡ9#=A˩9#?A9AwAנ9ǰ#@ٰ#);"#>:CAA9ϰ# A|AzA\8A?k#Ay=#=B) A@$orbCDBm8 ZAB BB7!9Z%lt_a088@B87B7 BBBC77BBC77砩A?Y$U?BHCB3>ʷB4?N1pAB&B">BNe gBU7 ABBTBW#xfCȐ"tsA9W97|?Ȑ"dpA? 36é?Bo?: :@$setD#QN 76By:@$set1#Q;f6B7 j6B7:A ?̩BrA?Щ,O D ?:G:67I?ʰ66:֠667#7?ڠ8?Ұ7?͐:6A6:A fc,k?F? :J o7 `:h:c%7j7өB?,| q l:t:I(7J?((;((7$7|@ (@BԐ?; (A(;  rB/@BD@Bک,@ $@;0@;# $ ::$D7I7uB,@.'@&"$9;@%addnC,X`†2@BBi@Dt,àQ@@@8fXBh@L,ˠ ::$77é@NG@FFD;RK (ַBn@\B@^,ݠ Ґ ͐:Ր:%27@X%4%/;d%4 %6(7@hM@`C4QM;nS C2C2,@sl@kgi%/E+1C&B@-- :ΰߩ-7CF8f@~@@;ڠVB@- :C)%C8@@@@;B@Bڰ@-4WCr-6@@KCx;@'cardsD1Ā"CkB@ɩ-H-J 8@>Cs@;)V8B@ð)X)S@L5@G7BCkCgBClC@ީ-] R M;U;*%_)i@ذ%a%\;%a%c%8-m [C@렩 |%j@䰩C@; I  yA%xC8- p;x;s%m)8"A@@<%B%<# %Cϩ;[%Ca8^A A%U@"@"8iCᠩCͩCPA+-[-b- ;wְ8NC8A1A)<5 C_AC-  ;7)C8AE>A=={nDWAq;*:8CDIDECDJCA.;ީ.=.? -/k<7< ԩk&AC*MA֩<ȠDAʠߩA°ܩ<Π#ܩD<j=w&8DDDA.b.d.f T/<^9DD.6. @BFDdBRDyBT.Ӡ.ՠ..נ Ő0<ϐ<ʰj',EZDEHEDDEIDB/:ݩ/</#/> ,0j=6=1EDөk'A<+O9'+Oo'E9E\E/Qϩ/S/U C=}'S'+_Bΰ=ڠ/Ω&BBذ=9 0EJ'ϩ':6EEEB/w/y//{ i0=s=HYB[Y>`ϩ=N_E*EE0==XEѩC>\=`EvE2EEGC"Ω//Y/8C"C>& { }tհ'+:ME9))EߩEbC=*/J/t/ 0젩==ZmA̩EiEݩE==YF 3EdEEyCT/Ӡ*/ՠ/נ Ő1<=,8F=PѩCRR>^W9YאFECmZ/z// ސ10FFũEF FEF EC}©/z/0 1,==FFFC-&(Ujk:FHF4EC00/00ͩ0)FX:EC00 00" 1N>>F(O,1=:;!::S,5;#F@FmECEްCFt080:0< *1h>4>/[FSF<,JF0G˩0I00)?@%addnA,X`070FzECة0W0YHFECީ0]0_A=.,FCC?0FFC0h0j SF C0n0p&0r `1>j>ePlFF;FCF&D0000kFF©00>?@FF7D:00+zF4D00+'F-P-)!FũFHD#00 1Р>>q;H;D;J;E?+;JF !FQFũ>y,;zD',,?3,FNF̩FcD>00=@ک00à0Š{Gt,;;FFtDO,0Π0Рh 1FFuFTFlFFD\0۠0ݠ[ ː2 >Ր>)2;DX)4)/?d)4F0렩0*nG+u,;;;ᐩGFDw00 RV.FG>LFGFD11 11 F 25,GGK27GF@%andbT4=G@FðD%MGCFưD!,@.1 DDDGJDGKD1&EK1'H"GdDGgGS:Fװ&^)9?)>1H1J86H92wG^G_:F 5<)[)ĩD)])G?)])_<۰)-)y-1;q2G:̩:V:ƷG;1G;;G;&b))GѩG=E11??f&e)E&g&b@ &gɰ&i()1??r&q)E &s&n@,&sհ&u1??˰*. Ey*)@*.*?C.HL*YHL2.3<H#HR<HOH>GE2W @?.'<E.).$@.)I.+B))<<IG)GGְE2022'"@*?*4.>E*6*1@*62%,@4@ *>.HE*@*;@à*@l*BB*H*.P2Nl<3zHaH9y*<<G@&tperm1Bʡ*<HHE2bHBk).iGHE2j:X@`@5*j.tE*l*g@*l*nH.z*HBӰ)).|C@%mul1g!yv).HH,F22}2q2z3>HH1HHH(HH=F22?T22Hܩ@e*=:F**A*H&F+%ne_xyH0HYH1H[F6222@<t3BHѷGHHoFJ2ɠG@2ΠũHoHoHfHH{FV2ՠr:2נTIIIHHFa2Iΐ@?2-fEI  *>HI)GHkFp27cHoFt2;ᐩ4;IzHHgI+I<*UHᐩH'I=I@@H*RH*RBK LHҩB/IIHHIIHI"@ְ'HکF''ҩA'ש9'٩=ްHIHIA @'HF''ީA'E'HIt#IHs-BI H԰(@==ƩHְIAKMIf@%nesymWI(J==IqB%ne_yxCF|F'{H=+:B*+BR> /KHI\ 赩DgBBFϷ)FF'+ +/WHP+5B*v+O#+IA I(+HY*B +@Bn+X+X/IF@"or @I'Hi(0B C*B+P+PI'+jIIA;'*F''A''>*+^(@+^ArAG'*ͩF''B''(J+h(A$I̷I 0'0I>'BH(Bܰ f(\Bi**ID'H+|IFIAe'(bG''B'Ȱ'/(j*(*AAq'(nG''B+'԰'(*RB$IUBAAAA@@@@@D0V/0XaIo'ũHİ'֩C  (8!((Iu'+IwIA'(>GD''BP'ũ'ǩ,#(F('(A͐A'(JGP''̩B\'ѩ''(J"@S 䠩A԰'S+4Aְ'U+IIM@&pred2P7''\+=\+IHI++,@I#snxI(,EJ#IJAWbHJAAIJIJJF`JFI@%negbK!) J8IJ&BB Aް(,G((کB(ߩA(l+IJ4A(,G((B(K(+tIJ=I԰J?JJj I(+y,JXI۰JF B'A(,/G((B(_(+,IJRB(,!G((B(i() +IJ[IJ]B>B@B(_+Gð(a(\BϠ(ax(c)A J֩ s()+,8JJJpBQB&)%,YG԰)')"B)'))?.,a,I,I6JJMJ(,N+JJ(In(C 9ϩC,X+);++ĩH}JBB(o)?G(q(lB(q(s,ϰ)G((JJJ0JA?B|BQ(Z(G(\(WC (\(^((JBB[()XH ((C(() C)`) JJܰJȩJKJBBl)k,H)m)hC&)mϰ)o?t,,,|JPD ?N,,9JKJ`J˩BB(,H/((ȩC;(ͩ(K)BB(,H9((ҩCE(ש()9)K ?g,,R?JJ|JJu%)!K#?ZJXJJKJ)I۰)D$ /C-01,,ݩJHj,kJ~HlJ(I(D1 I$,:,:K-,#BVtKJ)I)D< ,E,,K"H<#J)I)DG )rD,a)ʷJ)J(KI)KFJ)DQ i ,Z@),\)~ KOKP:0J4K*-b>-n$xf_xKCJưK1B)J)Df JD2-rJI+)J&)Do JD;-(JJJJɷJ)JܰKGB)EKtH)G)BC)G^)I1AJJFZJ֩C2C)QJѩH)S)NC)Sj)UFdJKJKKrJK`C*JL*D&</KJB:IW)ĩJR)ĩD%?*-K#)K1@JK%J-/KK KuKqIKKwKsJKxKKzK)KC.)Hܰ))թC)ک)K8D)DK:8K[KKK KClCg L*@KKG]KIKCm2))KK)KKPKKK2KBAKKȩCQ)K$H))D ) ?)K!K*K[KK?KCC kzKK<KCK(KʩKMKCCn*mKI*o*jD(*o1KKNK©Cv* KzI$*"*D0*"2.Kd*$KFKKOKKdKϩCC*KI3*="*=x*J *K_KID* KةKjKީC*<KI@){",){*AJϠ*AKcKlIQ*C%OL' FLKKK꠩K#Ic5WIdI"$֠%5\IiK)KE%)L(K K@(introNTF6؀Щ#Iv5jIwI5$%Iu*Im* *Dy* "* GK5wIK*KE@*LCK*G#KCΰ)KҩI|)<);K9L)=K;KLMJb3L:L)I?5IIX% %ȩI* I** D*E*E<G?Lb$5IKаL1L()GGEhLkK*)CEHLkB,$I5IIu%)%I)I))D)b)CCϷ5IĩK방LLLC)E_ELKE)CCB;#I LDLL#޷BJ$I;5IթK)KE)LKS*HEqGtBU$*I߷5II%R&Iޠ*/Iְ*3*.D*3*5CEDBZLLLEI/xwL)KE)LGFIIMJEE+<EGD BlLIDFYK~*OEǰG *SDEI`"`>c^EJJK)EӰG)CE+D%ECD%L,TIؐD`LL[LީJ"X KCD E*DD:CLEjeD<*DD>L٩ID{E0LW*%DGLN*&"L,LHLIDEE۩DEݩJ7>A@{LFJT'"8LF$JYJY@@A@A@@@@CF,Ja'/L鐩L]M#&<LL萐\"n'Js'BBLLKALM7KLMDDDDȰDJv©#b©@>M!ɶF[J'^'M%uF_J;FaJ'dMM^MX&q=/J- ML頩L AMMaL!IMcDDJ$DJ@'in_consǀD,DM\Jv6MHwLMNMJLMOJ}=M~EDJ~|M_FJmMbeFJxFJө'M[MR_M&ElJݩj MSM&L[ AMWML^DDMdCp DJE|󩵩MEJE4,FHC`KsEM׶EJE<MJ#/LyBDF+q aCrMFMDMz-MMK A7KJ̐&'<F+^BDBMҶ%x7 KM@BFMةLBbBMةC%nK#7K$J␩&'RF z7K,MSYBF[MLYBIBuC%FK5 MMM%CC%K9,7-K:MaDFMLBCC%KD78KEK&'sFԐ+4 (4CNDkEE2VMܩgSEQE4N NL"KTMG#KXAcK%MC4GNABCGNG+K`G-KbAm?%ũMM쐩M㐐`BG%N%L3BC''G<KqG>KsA~K2&'G  %ݩMNMaBG=N=L0O4CNCML*1KG&7,GI.G@SCiEDEs7KN8AKS''%MCtGVG)C D MN0'G-WMN3AJڶ&M̰ABGaCF<BDNd'G6G8ce NTA&MٰCM.GwHBGDC(D'L:#M$AǩK{'/F&#M^CN|D2N(*C C5GQ$lt_i5+ANqKFAKCMPGHBFCDIMNuMXvGHz4dG/BMKFXKmm4nNMgmGHq0&4sD`NC5NN.KFivFf'(CANDlNNNNN:KFuFr4NDxNũFt..D0NJDDN0NNN'NNELDNѩF<C1NNp@$orbTU \DE0 DDDNC,qClCC@NNCFK萩FphGjNveF<DEPL4KFzGNF tqFH'NȩNN=MݩM ZK'=NFTCCONpLK $ NL F(8ULtN{& F(> AOOL:'Рe'ҠgNN: 'ؠ 'ڠ KO'H&@'eqn_leqWSc OL3:'ǩO4FCCMwFdCC NzLB:-' 7ȩ'N1V OH5H$ )O5LO::O!3NO'O#NO(LV:AOWOW(  6OOY 8OHLb:MO4O4NO:O6NO;Li:TO;OjOjEOh52K޷NNqOWLqLl L  G     :5BO|  !d5FOD4  !h5JOD L  %GŠ     ©L5T  Ʃ!v5XDF  ʩ!z5\D  Gנ  ,  . ^1O ' ĩ!1OD, + ȩ!1ODG ̩ < Ω > Щn1FذDD:O 9 ֩!1D> = ک!1 DOOOOOG O=OfO^ЩG L  1L  #Lǰ OF( 7'Oϐ!C O@Lِ:ĠGGe OީM  H >Gk OM  H% LL됩Gs ;OM! = ;H- B  D  F1F5DTO  L!1DX  P!1 5ƩOcOשO S:GGP1P MBM=HP  !1O2$GPMN HZ ߠ1O " 1O5P#O}O@LM*GP21<OMcM^Hq ư  Ȱ 1GD12IO à"$1M2M Ǡ"(1Q 1PDGͰ PCM{  H  ܰ  ް 2 P  נ "82P D ۠ "<2P6C WPWPF@Ma;LHH Pf~OP=PA HP,bPmXPkOPC@Mr;]FGkP.\NPuG PtM  ƩH 'D  PzPi@M;o#;qH=H ^PM ` H̠ H dPMư f HҠ OPlPp ;HQH&PM԰HH,PMڰHPPP@M;HeH`GPlPPH< PM  H mDG #PP@M;a;H{Hv P':P,PP H|cPPͷP'P@MԐ;&;GPH`P4P٩Hb *PةN , *I 1Dm 3PސPͶ@&M萩;ӠHHt <PN" > <I. CHz BPN( D BI4 IPZPΩP J;砩HHQN6IB"2F'36P3HQ NBINӠ2  "26QPqP@N< p< HאHҰPNN(Q$Q&<D z.Q%Q@mN/<H搩H Q16CPQ Q HQ:3Q8PQ@!N?<*?HɰPͩNwIQF[D԰ QEQ4@NO<: <<IHݰ QSN  I bH QYN  I lPQ7Q; SQ =Q|QE  Q~Qm@ƩN=)@vR?  R,@>OG=2=4JI TRKQR%QR&@!OU=@J JQRZͩ͐J5WPs:sOeOgJqOkJ ZRWEOrEOuJ*J%$^3Q44REʩO~J3J.RAQ1 $j1 Q4@Q੷I:OJR^0QOưOJԠW0MwOJQJLR_$0M3QOJZJU $0M4LQO=JdJ_Rr0$08~1=3K1=M=JqJl $0 3MJJRMOOK0:E6-RRR6JB:䰩O֐J^RbP K3R7kOJJe$ɰ3R?4RpJX:O쐩JtRlRHP#PK1q1zRGOJJ{$1RO4RXP=젩JJg$17Ge44M4R[=JJq$1A 4RcJRePIKUؠ1ISSSHQ2*40R41P%J1S&P[1ePV1gO1iOS4=RCR%1RS2SS 1FS1iP;Jð1 S<Pq0Pl1O1OSD*꩷S1RSO0L&%10JSMSKI *1S)1PUJݰ0SVPPPPS51RʰSg00J%I0JSeFPiKKS, %S0J1>JFPsK(K#S6F0%_0Js1JJP~>iK5K0SCS%l411<H1J>vKBK= %v 1DJKSJPʰPŐKؠ[*1TOCSYSS*I_+41mS|1֩SN%1xLSIh+=1~S1PK91fSP0P0Pr1PmtG PKrKmSx%1uK1LGPǐK|Kw^%1ZJ1KPϐ>KK^%15y11J1J>ĠKKh%İ1  1KKiSlK QQL&q1SSS쐷GA2s79PKy2#SQ'1bQ"1dP1fPR Sf9Nک%1LSSGPQKKGF%1KZS¶GYQ KKF%1K9SQ?K̐KǰF&1IKSv?KԐKϰDKB ASS~ǶGwQ+KK۰&1]K(1T0GQ4K鐩K&\IV1T6Q<?'KKT&*2˰1u1H1uT?4LK &4& 1T KٰTYT QQL1T[KTXTGGQbLK22Q22L2b`ST@K12<Q11L1aSTGGJGéQwL,L'C&`ISͩQ?jL6L1C@&j\I:Od?rL>L9K>L< ;TL=$#2 K2aTT~G7GQLOL$2-20TTtSTuGQLYL.12YQܰ11өL1GCl0T2<K2T9#sxzS#syzRG@MY@TtTR @ K@ LِL԰@3' =NL32U+LڰQ2\P UR5@ .@"LLð02/iTULǰe2)TURD@/LLаUP)mRRzM.)@<K)URMx,2P4UBR\@GMLU2RWTM@QML_3 TTRq@\M(L-R/,MXUz@fM2M72 WUU}UlR@qUX"TU^UZTU_R@xU@zMFMK2RɰMJMՠv'~xJ"NuqUMPM%2˩RӰMߠxU-UR@Uz@U|ةUUU~UUR@U@UUMjM?3FUqUR@U^URÐMKPRRR}U,UUU#URϐ@UhU''өRRNU֠RIURYU<U@UPRYULkPLfRT=NS)UPکT NP2 cUU<T NK UU@8&exp_idUݩRװT$R۰\Uf% xI"zUU7UUU۩M*VgS M/V UUЩSMVMV>1VV@S V@S MV(U۩SWSRNeѩ(ө3  OJM}>-S1MUSgNsߩ(JM>U V6V9N5TQ-аVGA "VSGMϰVOAVKSVT(NP,P$S N (Q0V2Uǰ<V(6 MV_VJV9IV<VlAթSkMVsAKVoSVx(rPPPHTS N (u4  ) ^8V.'VZUﰩVJUש(_KKVVLG.VBSVgSNVB%bVSΰV(PzPr SА N ( ̰ 8LVVVQ(KdVSN;QS S N"($8^Kp.30VxVV.L~.S^_V_V0.V (MVȩL.\`VaSАNXEVѩTVڐ(ԐPPT O (נ4 N 8`S吩NmaV7TcTeO)(Ұ8L VVV'KL}SN|VT*V(P֐P kT, O? (4  <̩U0TP@DTQVxC9VȩP:1WVVTYJd@OT\VCАPPcVzP& 81W$W%L1 Tm@aTnVC␩QQdVP8 5W6.ݩVW@ N) KVT?NǰWGeNjTxTsO)/ 5z=/T&WKWN*M 15T<.WTWPWT@TUiV°DVP_W[WF/VʰWgCP<):DKPiJCWbThN0NT2T4O>)U@5KͩVWzCFP|KDW1V/ V<N)U<=DW~TO WfN}TTOȠ)q 5\9WVWU1WzTO\)nfK!.VY)rY=aPQxQp_ J 5W-VcTO.%W"WNWWTO5uVmPQ67WlLJWuVtuPRy5WE=WVyz!=&WT?W"WWT=WOJ)Z5WP=T8CMRWWWWm/qW7HW) LWN4ɩO[DaWfW&`YWWCOWWWWNAOhWީUP" éP  ũ) PĩUW)쐩QʐQ ѩU  P3 ) Wɩ& WWOөTV/·WéUOXU<PH*LiWWȶK`WUOXULPX*:*X/Mݩ/WU&OX'U\Ph*$9U0OSUf}Pr*L됩/WX7X:/M/ΰ,{M/ҰַXשUFOΰXGU|voPv*Dt:˩UPOذWUkP *; wMtXXXTXX(MU]OX^UibPi*[g>*Vz2LUAUWְ^X%Qr:(XnXYXHUKAUW]WЩQ|]9XxXyN72_UAU©WTWЩQT7X0(KUP FOUHCPǠH*pJ>R0UXX,-NN2vU XXXAU۷VXAX$Q:=XX0DX @Q{*yM*Q9XUP/oOUݰq?P{*}zM X=Q76XkX @0Z:UP?6OU83P8*: +6:XXXV$XUǐPO*M&"X-*>Q԰36X[X(UԐP\SXXOXҐXUېPcWQ.XM<8VWQ-FXq>XW>'䐩XUkXNXXUiXPv i*QX|>UdCN~XXXĠX0,ʐO\P(XXͩ'; XXCPXXXѠX搩OhPYV=QI Q1 'VC%QO%+ #MX' /YYR'V\YR+V`XBWܰ R%Si Y"TW R*MY&TRYR8Vm@R;VpX W ةR5 Y1PW ܩR9 MY5PY6RGV|XY@ W RB :Y>PeW RF ?YBPiRRYAYDXX;X lROaNhR?XR\V2Y8XX 1SrS 5R\lYUlR3X 8R`MR,R7XS' S Rh :Y:XXѰ.X& YiPX( שRq ?3QPYmRs EQϩ  Y\X߰,$X4 US$R&NYxNRVXS R MY:MݷX$XKXC S R YP#YR MQ' YyXIXQ rXS t@Rq!XwXW CpXY E:PX|Y fYX^ S R ?kY0?kPYXd PGPS RGPYYeXm N8Xo 9RYXs _NXu a9Q YY%Xz )X| +7PYYX~ jDQS lDNQYY2X NRX J  6: Y1X {N.X }J   <Y.YCY٩X G?X I:QYES  N;EY˩YNX NnX 8:YK4YBʩYWX [?X ]Jڰ _  YYYY𐩷YߩYbJJYVQQ  IYWQQ t +Yi pXǰ S o<YfQYd uYyXΰ ;ZXа ;ͩXҰ ةS k;YhO4YЩXְ K      ZZY`rYD@*contraNneql4 Q L LyX=Y  O|ZW1Q|YYYW8Q Z9Wn Wi R| ,% + NYQY$ &7sXZY +7vZ4YrZM #ZJ YCOZ5Z'Z 1Y3M]MP8Q .YW 0 +R 0R;l 2,EW8W8W 8WZ8) ;v <  YZiCRBZQZCZ< ZWqE\R(R#  oZ/EbR.R)  eZ5R tZ7 P!EmƩEoZVBh!ZZrW YZ`@0Z^OW ZQ@WOQ@YWZ|WYZj OKWZ Q$@`OL  W ZZZZ ZtZ:@$addbS@#odd+ WZW䰩Z|ZsZWWrWmWZWZƩWY MƷZZZʐ!ZZũ,ZũUY@5perm_baseFinGroupTypeR["Z-)Z Z"ZZ[[3S#XNRְZ[XZX+SZީSxFZZ-/YX[`-ZUXSUU@:group_set_of_baseGroupTypeڼ9U*KfZS-kZ"UGBS-rZGZ SOXzSZZթXZRSZЩSEzZҩ-ZYX%%Sà-W[J_[-TOU@&cycle10+ӀT֐[zSjXS[ [OX˰["XrSנ[%!['-u[)[UaK[S'Z-{Z[]UG޷ZSSXS2Z[X[S-SYJ[SG[ -Z+X#;#9S-GT@*imset_set1'G)[ [SXÐSK[N[}X[PXT[SOZjKǩ[,['[[#[(SXАSX[$[+Y[&SST[&\YJ[֩Z[24[TSSK[CS[[[Kީ[KLRGKSn[C[rY[EXT([ErZf[T;@%set1P$ߙY[CS˩XS["[-[[K[@&introT&2 [p[ѐN\ \(\&[\Of\ ZZ[[}[詚[G@(odd_perm%M耠[Hé{ USӐSΰ[[\[[VK[~[[[[|H\+\+K[@%addbC(>\[\ %_Y}GYu\IKYqTN#U+Z\Y[YXYXWYY\bYT# W$KC;\a>[@%addbA(<KJ\T[װ\BZΠР5ː##XZ;\Lѐ#)K][\P[\RTޠِY[ԩYTYTYCTY>렩搩Y͠#^YŰ#X#VTѠ#b#TWQ\\KwU@$oddb+K~\\ \uǩFhh3Zl\}FnU3\\\\2\\^<U@'odd_add2bi\\(\FZͩYUѩ###}TTZ\]\Z\_YU\b.7aZZFZZU#\>I##TTs\H\wZ!\JYU-\J.7j\IZ7\^\˩Uw\L\*@1ncycles_mul_tperm} \W\\\\\l\c)e`Db?\m\mh4j.f]l:a:]\\{A}P$\\P&\x\\\Zh#Z`##Ul##]0]0 V/@*odd_doubleՀQ]"\](b7\]1]?3PG\@%addbF(A:\] ]j]h]&]VP]O];\])A]WuWKWUU ]]Y]\["\W}WQKS\\\Ͱ]8PUILF]dK񩚠W@%mulg1!yzIJ]V\ٰ]DР^J\]IՠYc]S\]N\]P]{L]]{h]\@-odd_mul_tperm8]]=]S]p\]^3P3\]bP\]c\]eLt]Lt]\@)odd_perm1*]$]]]rEE]]t']P`.\]zM]]·\\]VZ\\X%ltnSnZ6hVZ]DZ]EH\jUz]H]]IUuUp\JR]]Ud@$sig2#6@7ސ]@$prodt@]1]1{ ]B\O]GJ ]/]/X-J]ݷ\GJVOXX]XVR]NͰXĩ]@#fst XX]]@#snd)Z[@B'D!/UU[]4@%dpair >.U^V]W[M@W[P\\^[6ĠVᐩ[R]f[J]jH\U֠]m]]nUѐṴU\ްX^^!^!^^86D]G]HЩWW_W W X^/]HJSgUU^6XU^O USUU^;N[@ItUU[UEU^F^GWX[]+\[M7W[Y0[Y4I.SҩVY7^/Y8VV U]W9^[^^^^^[8s6]ϰ#^HXЩX054X6^i]@6H@K##UU^oX#^AOYUUU^t[yUU[~U^WP^f@(nat_rectb|^^WV[Ǡ^[^ѩVJ^^f^VEV@\ZZ^]x]j[7NWk[ܠ^X[԰^YI{]IV`^\^|^]V[VV^6W^WT\p^7aW~[^=[^>Vr^@^^AVmVh]]z^^v^^W}Td^^Tp^b@*False_rect$0l^3]@^T^C]]48^[^[w^>\^HJ T^ַ] HKK^کXK^Oİ^.^2^2^ߩ[䐩[[[[^W\0"?]]^ضA[7\3^P\+^TI]V^W^^XVV];]^S^__^?9,^sH^©HWz*Y\Wz_ ],HK_Y/^OW-WW_(\#NVV\/V_ ^@)eq_rect_r^7ܠ\h^|\`^V^_^V搩VV]Z^_6_6^^_ [uڷ۩^$p^_=7XWҩ+?&le_s_nV_1_ ^H\M_%Z.WVV^X/^_T_T_UEEV9R^@)pick_spec+Ȑ@V_8VWWVj^$V^_g_g_g9|^ذ$3ZLIa$VlVlY$_s^JIJL-FTT_yYF_KPcTTT_~%\TVTV\TX_EXi_5AXl_iXoWHWCVʩ^UV^_____UW^`_qZ|O@Z}RIEVIBX_LBBABA@@@@@@@DFZSYF FVշS]V_VWnWiT{^{TX___9ӐKh_/"WI$TTBt_ɷ^ILB_TYTY_ϩYBb_PTZT^T^_ԩ{\ِⰩ TRTR\TT_]ǩ_d@%pickP 1XU]Π__;#s_x\YA\8XĐ]5Xө]-XשJVݩWXڷ_X۩WWW6^WUZ#U_PWY_^ǰW[ZUe_f__f` ` _]I:!ܷ_}GZ2UXPW>_^ְW@ZU^_l__lJ%FZn%F`^IL%A`"ZA%B_Q W?W!W!`':],5`W6W6]A1W8`2_ZTY Q Y`6^YZ9Y_`:_BN^QO`)]C8Y]W]}WK$WX W`%WXWWW_W{A`T`T[2`>`-S:l_ǰ%EZ|GQHU~__ UZaGY@_Y@JXЩZ0GG`h_?J?M"C`lZC`>QVU#U'U'`q`s8`r_X: _ ZCQhU Y\_@U ZCWY`WJxЩZPCC`__J_MBBsTT`ZBv``QxTTT`:]̠??]?`۰:շH`WJЩZpBB`_JMbAZߠFvFv`ZA]`QFw˰F{F{`Z]??]͠?`ALJ0`}``CCC@@@@@D_ wxvx]ԐݰUyUy]U{`ک_`K#,[CQ̰U[é_UZCX:[X:$&st`X rXiZ`RE`=`é`۶3_discharged_le_s_n_]9J'XX(`^4X*X#^X,XX.`X/XXV5_ɰX[a a ^KX5^CXKX`6@&predD17ɀX^+XDLhXF`Ya`^dJ㠩'ѐXX`^ZX!X^9X#XX%t^jX%^bUL VV^^EX/LX1``^}F^<9a=Xd`a=^|X7^tX;LX4`@&cardD14XA`"a5Z^P:K(Y YX^`X```OZ6aX`a2``a4m^c:K(^V^V LDVZV-^VLV^VV^VY4VaPVY/Y*V`<V3Xaa`Xa a\X X{`ʩXXan^:=KNZga`aca_0aYDY?V`QX\r``aRZ@-leq_ltn_transRr^ܠX^԰X`Y_Xa{XYZYUVg`gVMaaX2#X^X ^VaaaaY}X^XX ^XX a_aWЩYVߩ^VVܩ^ԠVYVaVY}YxV^`Vaaͩ_VV^Vse^ͰVaX.VaՐU/Xѩa¶@^ݐ8^ߐYgVaݩ_VV^VZҰVy^VM5V_VV^VYVaVYYV\`VYaa\թaZaΩaVYYVf`VbbaaYa׶@^~_YVea_<VgVb_@E_VmM\Vo_FVqVl_%VsYӠVuaVvYΐYɰD`۰GW;bbYobYVb_UVVө_4VکYV,XVb%.Xb@S_0MY琩YVb2]_GVOb4abbVM'YYVbA[_SVͩMVϩ_zVV̩_YVөZVշb#V֩ZYEUaVYJbRbRbRbPab(@_WZ ZVaVbb7b\~XWb[$XW&bL@_gMR7YW bgabAbEW$YVbp+bnabF@_uM`Z,Z'EbYbwbzEb@+simpl_predE;vdW7b~bm@_MsXZ?Z:W aLWCYbbabfb"b*Y WJbYb@_ZQZLW^a^W[|a`WDbbbW[adW[YafW]bbW`@_ZcZ^Wbbj_M?ZkZfEaxWYbFbFbazWqb\WsZbb@_ƐZ{ZvWaW[TWWT WWV$WTWeWTWgW]T WiWTWkW]bWObbbTb<WT WWTWWV4WTWIWlTWKWn[cTWMWpTWOWrg[÷bAbbbAW@_ZZWXb@bJ^WT8WW^6WWSbb@_ZZWaX![bTZWcbXbTZWOb\ac `bZW]bgb@`ZɐZİW~aְWZ@cE_ZɰWb[cEcc[bbncZΰWc<b@'canF_eq.݃WܩaWZ{aWE\c*^ \b@(alt_specI@bXYc:b55?b@$altP =V >BVABaZc2VbXcI^*/c#ZbWbZcS@`W[ [EFbI"XycCD+cZbI&]^DXZcID1[EQb$I-XbZZbb©`kNV["c'[#[Dȩb0EX'bbĠcEEAbXc4\Vac{ceL`[5g/=cXZTbIPbZ[7EvbZc@`[C[>DbPEXGczDcbTE]DXMZcD[ID+ZZbb`N5[W[RELbdEaX/^^VyB\{BAAAA@@@@@@D/pc[(3/sc[+c(Ez^X۩[mEg^Xc@`Đ[y[tECbEkX%cDcǠbEo]ˠDX+XcD[ENbEvX0\XX\\`ؐNàm[[DĩbDI[0[0acaǠac̶@`琩[[XQbXt[k\ǩ`NڠYƩ[[FbXRZ[G[GcYXV[IcPXW@`[[EbIYdaNYܩ[[EabɰFXd d d cd c@a[Ȑ[ðX}\\*cyXv[icpXw@a[Ґ[ͰF d [Ga#OY[ڐ[հEbF7X["["d*bX[$bX^,F[([\f<d@Z Icd dcd @Zd9[G@[[Z GB[ZZd?˩aCd-WcXѩcX[pd]$0d WWcJ[wdP@aT\ \EcFfY d@EdWca]OHdd0WcͰX[dcdM]ud 0#d>WWcذF}[fdn@ar\'\"Fc4F1Xd^FduY_W_Wa|Og\3\.E]\WW6W0?dZW0Bd]WөWѠcF1YAd@a\F\AE{cSEJ\d}dodmCdY![[aO\S\NBܩc`C'F[[bW@bbad@a\a\\Gd:aO\i\dF[ddJ[dJ@a\s\nFdaĐO˩\{\vFpd_dddƐ%_Hyp_$daҐO٩\Md8d\F0d*[ѷd1daݐOȠ[Wdީ\F7[d1,+dV2d[5a2dddA"ڷ%def_sڷ%ne_tsanld342ư*AZZdLdddi)]ddd)dҠ_!L&UZ# Z'Z'NL/dķNN)Geddq)dddN Md吩YY_2_7GéNULO)WGdNXNTe!RNVde$NXe& d}*d$\Oe(e(O* cGթedcO @(big_cons)Ȟ *Gld ed* ^_WL\6ݩc*[d*d$\f_^GҩV*Y˩]YYϩOYY^"ƩZeHeHO;**GdշN@O!eM~e}ee9d*:^-_qLv_sLxR^1d*8_wH_yHVEZxZZKs~\<ea_H QjH \eQd԰*R^E_LL^Gd*NHd*Od۰$\_Hes\esd@&tperm2Bʢeed*f^Y^Yd*`\[e_H+H-\өdƠ*n^aeqbPv]B]=ZOdOZ^mddbeOc\em]GZ-dYZP\`z`zderbP\֩bde]TZ:`©Z]}``ebPeeeee ebPee]m!e e$s_iddee@eXũ#ge.O5eO>ee3Nee,e#e8+e(eeΩO>pO@'big_nil0̀OeOeƩd``d`ed`ةdd^^ĩd^etd^eWO^exa^ezee`ѩeܩb]]Wd^ec`eg]3d]PeYed]Re]]7Xfeeee٠ec]e@(introTFn6lЩc]͐e꩚e@$idPnəff eǐc'ةe]{f%e]|eΐc.]㐩]ް]6d]Zeef3f34_,f eܐc<?ef@]YDf<efebfA]]]yHfBWe@1not_false_is_true .>bfK_J@,ocfPcfTQ/e'^fWf0fX^^ fbRf]f|fz$@t  fP!l@~ccͶ@cs|fAfAcxf:fyefP hfPp`Hff\f~eXPXS;\f`\fWWoec"c"f 吩?f?%f{^+@@0@@ffs a~P_feyPydffvW_^ ^ f ?ҠffG@Ð@ff _PxfeyPBffW^ذ]]f ?fffũf@(list_indjPg<@f=f f&PSfԷeܩPffWða^K^Kfީ 9@ffffc萩|c~dI\fשfZf YfSe]fJef_f YfPe(]@*e*Pe .fvf̩WfW f[f[f /e]'a!`4P<5fշP=6 f fkfZ g   x e$A$IHts@d d( fgff fwQR:]$ge;PI &g"HfX fu >^^g& 9 @OFg(GJd/R^搩^e Nfff I A ldK nRg8g&^dA^^e ^fffѩ Y3dK T kd^ m/f٩^GZdU_ _^ r`7`7f md^ g 3dq 5 ffͰg8 P^QX, 39 5bGff@ 6Q@Oglg=_" Ȑ@ >fÐfC#grguGe^Gd|_1_,^ babaf۩ :4g]Rq =gXGcgg$dt12N#dtsGgzfgh `pg|gngl,gha`pX`wDBQQ r pfP sQu, mg kgr j_W @ˠ {gg ,gggOCP yg~baͰ] P ~ BbQ,  LgP QOO Jg HP LggP Ng g,g(g ^g_v @ Ybga , `  bggg7g .{ `50g4g 4___  _._.b  ɠ_/Q-  xg1P wg9ggNgg$g Ѡ_7b]AXѰ_;  m_=gةg[gƩ Rg$RgVggƷgMg˩gbgͩ Yg _#QO bܷP Q,hgAh,gggpg۩ gg٩ bA0 gfkge   gbgtg mA;bgoggg {_ѐ wAE`h'gQMg ; .gh 3c&bg c*gg  :a0 ;[ N <h hOhRg6   vg:  & gǰfg  jgɰh4 Lgb ggg Š ScK Tfihig@+prod_tpermP"Kgho#ts1@fg߰g&h.Rhb@ ^hwgN RN hzhKhe@#e   h~ghX pg֩b$RzT  hB h ꠩ xg&ggg g@8e  { yh!hhm aub ayhg  PQ Zhgh$dts1(hh [&P hRg h@T :hg &Yh PNah"h _bٰ _R- Rca  _ Z㐩hhhg  ! g  o&u ph<.c m ]h>h `'b`+R t  sh, rc< ʠ`0 _Lhx\h␷#ts2 fhRQhB ߩhӶ@e   hh[hƩ ޠ`DcR   h X `Lh^h2`P hV@f hhph۩ `c'@`R.-  a i n `  ` iici$dts2,ihh `nSЩU֐I crfJ@#cat'D* hzhRb SUr i.Rcc@,finGroup_lawd_ i @fc S-   dhɷRw ҩSU9 iCR4cR iiJR  iLhhi# ;`HiPC ?`LSG.v  h iVcuSK.  =h <S8@'big_cat0~ 510 d?hR i3R  @iOhҰi=B JuiVfp y D B5hiH͐B U bThӷhiOhiQi|ݠ k^Ss  P`  o^Sw  Ph i s`S{I ER SaVD^ iRcbie h@-odd_perm_prodޮҀ`$iii iu8Bʠ ,hif  ~ |diiBՠ -bi iiiBܠ Ca i i:i(1򠩷ii,iZ#"B Niiɩi,i%B Ki)i'ii<i3.B a)iiD`i4iڠiƩiIi9S?!iFg*SҩC  itiAg/iViMA#iC g@(size_cat diiifi::i_iө_ZiZiةioijj_" T"iKiIj ifipiifjfiifigT   iЩiziUrfjgC@'all_catH  eijg(Uiijiijg/Uj0 :  ij2ij3Cj+@*morphism_2voinj&j;ipd[Qj;j>jjh)j`j^i'i%j0ij6c7jIdkd)d!jOdpjSjSdQjUhij0Wd6dydj\dZdjj8dd$jcjjaiiiаj;ScKjgjdVd:jfjfjUiذjC%Ϡ]jo!_jq!ijK9ej3ddWjyjyij7d|d[j}ijVijXjjpj>ddb  i@)odd_permM*݀jGjzijhJh&ijo]iSijsj ju:jj/Hj,Wjjja  <htj84j;V=jj(juLj!jD@jj[@%addKb&j jWjjiijj<j3jdԠdjةŠjddjj@j?j͠jmd4Ϡjod:j<jjQjjidjՠjud)djjejyd@dDjکj]jȩT!V[i\j[jϩiijVjԩjkj֩bj_dIkk#~h͐jjujlqjpjjgjj|jsku/i0k7jK@)odd_permV*ik jj/-jj.,Ek).kjkjk7Ok3 j@%addbK(F=>j}kdPhTyEDT8Edj'E"!kC'k3T@E#Natk4@$pred `<C-ajðE,CkXj@$lift ـC jkbQQE9Bjj@+unlift_spec Դh@BfPjkrjްBQAA@A@@@@@CkSQѐEQ3BBak@&unliftƀBffk"k'2BdjjN=fokfo8BbjT=٩e=fwkdtjQ6k3AC6jkZkkka`kLkjCQC?BCBjkfkBCBABA@@@@@@@DRTjOR?jRCckkk*AyLkREyB@FBcU kǠAqAbjE`c"kc"HxAbͩjeՠf! c,kcfiék`@'unliftP"L怰Cwk3kiʠ"j'ikҩkUCwkC[lCkICkKj?k~kjCvfթj?e>ekUkkLCkNkk`CmCfkkYCpknCgCnfCpfjȰ>k\kzl l klkkzC;%R/" kvRjEꐩCR8j۰?kxk׷kv kCl"ǰCdkl$Ckw˰Cky k@%liftK BJlkC^88k>kk>kCݰCel:l:j?C e kCkEjTkFDlDkϩl/kԷl!RFCzΰCkkܠCkk@fU>klYkkkCkkCkȰCl7KCé߰CkkM CeAk%?ff>kljgHljljl#lglVkٰ'Ri& k˩k̷kkClwgUlwDkkөk@+unlift_none -Dkڐkà*kݐei˷UFU}EkkFfltklFjDnk@-lift_perm_fun*\l"lPlllPlklDs kl(lVll(kl lF}Ill.lkbD}k@)lift_perm —Yol6hDYrgmm l lkl=ffFglk@*lift_permK>[hYlGll+4MlSFzDR@pDlFllʩl0S$Rl*l?5al֠M}Dol4k@lgllglglܩ[DlilieDlkl#Vlej+VUkFƷ_%lթlX^lJl{llDl}l'lUTdlGlPllDlRllPYleD&lDlWk@lllk_\lTl]ll hcuhGxl[lldggT?lƩW ll}lFS3mΩDlkڰ@lmlRlթS=mlyةlDO9m%̰Dlzk@lm+l0m+Dl77lqffDjyVmV+ElAlA m$lkg^gYlllmElllmgh?mHmKkylmVDlDgrgh6llmh8llmWlDh<llg}?mm]l̰lBDly ixD mh"i1̩mWVd c-lܰDmoDhRmtSl DdmmylCl:DVggCdzddh`d|df_llީlCD_ddfcggҐGgdhkll砩SmDfmmKmmm|cQmEmht"SEfvmTmS!l'S޷lة7CYdlmmAldBgưgAb`bddbbddfhlmB bfbd٩gѰgGblefhkܰE fmrk"i2WkNmm,mɐDlDg尩h$efhm%&ehmmXrE6fm̩lD,e$fm$g?m/m`m8CI|E8e*mm1CLmFCylDamީlDZmmmkmݐm̩mO#lElE mLC]lEHHefhmIlELLeeDfmDmKCfm`CmlDrDe!mmlEWhhFCp(gE\*mmpDlŰE&=Eqhlɰ@mfn =moCEoflϰ@Tmcm˷mjCmCl԰Dn!n(mK@.lift_perm_lift9ހeEeofmomאn maȰEmvl@mXmCΰEi l@om:n-lEB!eXg im!nmt۰Eml@gn7mCEil@h_@}mmmmCmCE$g"mmmi)mnKnKm Eevei-x8exei/n n=m33m@-m@mŰCE:g8n]n]hH@mmnm?lvmϰEnemnPmӰnpEݩm*EߩhhgMiPmmgOmmn-iRm3EgSiVmҩh@nn3iXmgWmmCm>Enm@E6nnn<nnommGEmIEijm̩mMEũmOEgmmѩmDnmTEJenmVEgthEgvnn 7m_F0m.nimnDmfFnnm@,lift_perm_id-1吩nnKn@nn$nmuEi퐩nn(Unnn!nnn-D5innémEgn `n#glXi@%mulgI!yzЩhHg2nnn٩i*i#Hni/i( n̩nOhhDnnni i nRhhΐhƐFRnnniiCHةiNnWnlhːhߐhyoi&dnnnĩi\iUBi`iYoi1!onoonJ@*lift_permM>[h!nooo  o n=K5nh'(n}n&nnno*#o*1Ơ1/onLZZnBnCn4-o6o6iUE$iiEנJ)n[ihSlX|X:n(I#o1lKfi'@o YAiOBnooRoUnoToiULoYlnǰo(iȩi`gbDohoTlngiJ@*arg_eqType򂀐iQn@1perm_finGroupTypeVi -+i noXg2ibi)B\Di Bl o+i@+eq_invg_mul $}€3olgK/o+oYoYioK"oimoo2o2iưoolg[?i:ojo)ooAoooAoolgjNoJoxoxjiiDo'ijiio%lѐg$-o%o.o.o!o-i oӐo©lܐgn]o@nGnJj4o<;o@oAororo@*lift_perm1>[hniepim8Y,XnIөoodoϩmWooojpac^ChobDhp CpmCj/^jcLpokCoovsokotop{}xDGo||DGoCop(p%'rvpopjO!oop1)op3p3p66mYjW٩ooo*ooop;o`op.pC)pCooo5/oopp5pDp3op!;=Rop)CH0EH2op0oǰp2p]Cp]JH7'ذH9'%pMoаp;dpPoӰp>VJphE0,)pBpBpBpWpCpXpD/\ϩooojĐiYprbթoppp2SpyX;7H\opTlHYoݩHVoprސDHcp$)odd_lift0pvopd9~Hkop DHtpRn_ppoHroo-opvp pxGԩkopjC pD/ppp ppp^%Hp7psnpp!pKMppp-p $G"kHkp#ppQJpp9py0H.p/Rp`jӠ#!njfjؠip4pIp<@ΠH>kp6pҠHBk pCBpvk:@%invg1!pӀ{p۩p^pUHЩjUpVpyFnoޠ^pbké_pWp`gp^ pspfjH<q (q hp`ppi5pC@*lift_permV>[h*qppĩ{ H$hpp pzpppq'Bq'' qpq٩I kPi:|nq # po pqk\uq=q@=pqpqqDqD&Dq4pq":I'ppq kpAApkpppkyPppɰq4Tq_k~ ]Kppp𐩷qOpҰq=pppװqBʩZH0qp pqI/ITq`jn4!@pn©EvIqq|pqVnHj`IXjbqkאCqCj~qsjnж@jnӶIH@pnשEHqqqqkHhImhqkCqjnZI@q nEIqqqq|HhI~hqk$&jjz#qqEIGqknq%def_kq#nEIcqjqq)qHljqq1I5qBq*I,Iiq"I.q7qI**h7q6qq\qBq>I7q_ qqCqƠI l,q@pISpzl4vq=qRqՠIq'qEjggfjiqکq]qd0qVqdqMq˩qbqq5qIlhq>q;pHoEqoF>~G}I0q9rBoH#IHmI2SqtoOFIr jlkoJŠjIyq~qI4qiiOrliDBtIro JԠFIr IoojFIqqomo+Jߠr,I r,Jr)rnro3J砩kIqr r nr5JF3IqI4Ir>nq@'ltn_ord 4#%le_mn:[>HIqrKI+r6qr$<I*iKqީlrpl!lylqqʰr5MGLgJ7gqreIrf  rTqװrBZIHlikrsǩimrur p;qWH+qrH/llgJUgr'grq)qqr]uGtr%rg q2vg rq22rzqrhIp&Ir&Dqrp^HQHSqrwrryr?rHX)HZ(%rrr r[rroFHkrmrrkrrr%rrFgIrLmmm LgO J)rĩG$ggrmmqrr=r4>&r8r8:3m9rک;=rɩrLrCѠIcϰIrrs9rҩrUthc԰HrrGrPqϠG۩rFcܰGrrFrMrbrͩYG<rVjO7rXgrrP4sBrlrrqrܩhjjHNs r^rprjŐjrsrnrlrrrxsbsH0rO@)odd_tperm*5s rr5頩KߠkG'>K䠩lީrs 5K젩l G4HrKl-sA2l@@'neq_ltn/ԭM s4rs"6L'JLl%(rpJrprŰs06Ll1G\HSsseLLsg,r򐩷sSrְsA͠6/sArsGsCrsHr߰sJ֠68syL.lKJs|L1EK>hGràsX.snrKI$I$rFrGqrQrLrMuoICs\I0s~\MiKIJiWsH@sAHsWsYYMuWHrݩ<Hss3sssMHrm YxsknmMY~srv ds k sYڠs"HasKsysssis.Hhss}&Y&HjsTssZ"+s&Z%Z#M&s j?.ns's֩sBsߐM?&r9Uljةn1n*MUnér dаljnqѩHsvsqӠ"i'YrVs۩s^sH6rH89HssrH<dH>snsatHmHss^ss\sq]rư]Yt rȰ_Rt t sts@'ord_injOHssq\HHHnrڰX\tHH%s!ưHlrⰩNhnwnpss+sqrH&Ht/H(HrzذHsst5rHhsm7"hsmst'sqH9HHo"tA'stMt tItssqHEHHktP!tP-p5- pt t@sðqHRHeiiekkglet"bceesm@egeimDs÷tAt5 titsnepperrgset5̩eskɩeЩeksͷtTtH t|}ssqǩH{H )HktYtsEHeqHsmepoHeѰoemt}tq۩t@$bump XHI@o}HTHICtt{tyI lStft2otlXot7ttl]Nt tttqHIlHZtDHItttN@tltlpNlttĩlsdt <tt6r6HŠIot,l-*orI:tttN*l+tl{mt8mt6IEtKr&.tt 4m t~@&if_neg& ŎIP<mŐt֩tYr4YHItOt!tUttŷtLtʩtar<DHI\t>t;lLt$t@(neq_lift'XҀttprKptttrM_IItIItprTt 5I ItmI Itmr[tr]euuII@W{IraIIBtwu trgu lҰ_@t#_@.nat_choiceTypeXGtUtu r{MNI_t@2ordinal_subFinType:wIHtd  p :sul!tju rMNI_"ILtrn+tu&tru:MuTINItIPI&uY~t}@'val_eqE1SN;^n;uLtϰrϠLuNamEԠlLӠltrLηtrtܰrܠutu[nm$RlquylruzIsInWpZuhtrƩ_E<3`qm=m8NlN@!usm<j_Ssx?x?>ҠL@xJwɠLxLfxDxYxĩܠP LpDssxKxxb*LLsRwbwޠKxK4KKyxԩiKKKy7!bCxܷbD xx{x8,xt40xk5xx.Ky sqxkxk 3kRyxxl&;xxl(xzxxxy%y%-+y/xxl0xyxyl3y-y-LKxv6שSET&xy $PW pttc.Щs%X&y>xYceyBsayj,K_KKyGZ5Ky5xy#;P pyr-r-y9y+y)x4 ʩxkS+pRy*syKjEKxKKyscTЩxCKxzKKKyeb^c?ymy>jV yq_K"x"y]yOyMxX xSOnbtyPy s byjm   yyc|7 yDb!cbybycybj} SknNyyxGyyrOQ nppy yycQ:,w<y2y`x~=c~2y y{&~ XAy7ye.)yyyQ prr[qmqhK][K\y y qwqry ;ppyS ?cyb!ybc&y&yy;yO .npps j __y5cfPyibQcx -xMOOy.ySyyԠ ]t aj԰ a'%"p c)'$y۩y^yɩQQt  Sq!rr Uq#rrGwxޠP٩yOGt   ^pqVqV `pqXqX<y_ ytyߩOz mqĐqy9:8E9z pqqhqh. qqjqjqj.Nzyy Q}*Q*oyy頩Q'Q'yzyzz/#z/Q 0Q 0.zyz 'L~d/oz;nyz- d5yyzyz6O ojqtqtvzMAzM#zJz9yz'2z<yz*O,2z,z,z, IzTDdLyHz[z@(eq_trans!yz8CPQkNQ© QsDLLz$QsHzYyܰyO{O8dyPzKcPtk`QRQXq̩z"Q\qЩzzlyIOOyDeyE#xyOP(P(yJcyKQgyvQkzNPzcӶpUzOz?PRqz``TsUOy۩:OGoz1zzygOoo`o`kȰTosz yqOkO![O'olҰtts_O+opz`ܠ z$Oqz{zz·zpz0Ozq*`*!Oqzza$/z*a'a%TO?z lO;o`z)zةzDzᐩTy:\o=o=kʰT\T\ruƩykӰFFoJzrFLoPuxݩOqzxߠn5y bzzhO yO[oqqk NnnzWOr{yȰOkOOr)YYzbPr & zw"Op5zѷzp%zyڰOs{yܰOk{{z{{ zO0ɰPry r&{%z6ϰOpIyilkJUovFzzAz7{7yOްOoz{;yO}op\p\) (op^p^z{-zORzP2l1P4P:rDHP<rFHGE{8{H]{XOpqzOzOélAOũOpOp%zOũz˰{az lL Oo{prOoOoz{lOp%z0NzUPOOp+{{wzOqz@(lift_inj:X˃PoryyzQ={rթ{oz zGQ<?rzIQ>luQ@3QFrz7QJrrzOrzO{zYO_{z[OީlOEPCpSSvIPGpé{{{`{{{ 1r"{Or{O{{zpOp{zrPr {{% @rr{xstso{Or{xǐs|sw$&p{-p{$ͩ{9%pW{{zP<p>RP>p{{Ӱ{ [r{xېsssP{A{s rr^{"C-"{xf{I{{xd{s x^{֩xsssa{V{ʩs5rrs{s7rCD{x}{`{{x{{s xu{{p{۩ssQiS{m{ssQQ{h{{}{|| |{{sАs˰QȐS{j{{sҰQa{~{{{r|)rQɩРS s~{q|z{s|x LI&]