"`e/c(fingraph)ssreflect(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@l)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{'ssrbool#ssr#Coq@0X% 'ssrbool)ssreflect(mathcomp@0o: n߂Q,ssrnotations)ssreflect(mathcomp@0hPB &ssrfun)ssreflect(mathcomp@0âNO=(V&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ǒ3fpfĩL,}o ?xР(fingraph)ssreflect(mathcomp@A$grel @!T&eqtype@(Equality@$type qD@!g@@$sort HA)Datatypes$Init#Coq@@$list]@B'ssrbool#ssr@(SimplRelb!x!y,C@&in_mem&06D2@#memڕ #seqP@,seq_predType n2@^&eqtype)ssreflect(mathcomp@_@^ qD@]@@\ H[)Datatypes$Init#Coq@@Y]@X'ssrbool#ssr#Coq@@)simpl_rel1 e +k() + 7 7%'() 7 7 7" 7 7&'РUmDQxPx@@@㳠LGFE@A al)Datatypes$Init#Coq@@A*ɔ5@A*ˠ9@ABC@@AA@@A@#dfs @˛'fintype&Finite@2@ƶ@ @ Xé@@!!n@#nat@!vؐ䐩.@&eqTypeŏ䐩*E쐩2ѩ Р@$boolZ'@@@@@@@@@Cߛ FGް+F ۰A@@A@A@@@@CKI"n'M@%foldl(׀Щ+G#&?)(B "@I~:tc  +k() ,'(*()7 7 7 7 7" 7 7 7"= RO''=+ R.'> : 3 7 7 7 7 7# ''''+k7 7$'+k7 7$'+7Tk+ 7 7 T'+ 7 7 T'7 7$',yHx< TȠdhP[@@A@AF𠑑|tL@@AAAF0@@@㳠LzA alc@AA*ɔU@ A*ˠZ@A A9WR7@:dޠRA@A@ABCD@@֠*subset_dfs @@@Ӷɶ!a@'is_true#œ)SubsetDef@&subset 0idl@?y@@@E@A=@:@AB:A*Z@>AJ@@AG@>@ABCD@@(dfs_path,<堠ː@A'DfsPath)!p@Z$path@穚@0rel_of_simpl_relw&T@IҀ@%Logic@"eq @ᩚ@$last'OR@`@(disjoint"H鰩$@; JАI%A@@@@SDD@X@y꫿@@@@AAD@@A@EE_zi~L^@@@A;cA`@A@A@AB@A1DHN@A4eA@@ABCD@,dfs_path_ind @yjB@!P!fid@㐩MO}OiDu@y[Gp]h@kVM\L^|aV !d@꫿@cmEDD@@@@@@D@pp@ɶCӶA? +k()= R'> #' '+k'{AH|@@@@@)dfs_pathP @@A ޶@:&ssrnat@#leq+'CardDef@$card׼Ωԩ@,predPredType>h`w@2sort_of_simpl_pred/_ᩚ@/pred_of_argType-)@$addn+,}&ưɶ@q@$negbܰߩ԰$Bool@'reflectc@.y4@@@@AA*נ @A*@A@@@ABCD@@$dfsP @@^BN?y=Y(v1?@#ex2М@CihcZ\\W\(Oq Sa@Jc-T,yV${{*4,+~ycAyU@@@$@A@!@ABL@J@A@@AB#@!@A@@@ABCDE@@Р&rgraph @ͷ!en@#relᡀ˷iũw@(enum_mem$ui^@w |+k() 7 7 7 7" 7%'|LpqXh@@@@@AB@@'rgraphK @@C86&ssrfun@%eqrelFҠ͠#@R ː@@@kA'hyx@AnA*@@ABh@(@%@$@ABCD@@5'connect @2ec!  H'@ >qoo. t+k()9L7 7 7 7 7 7!7 7 7 7 7 7"7!7!7 7 7 7 7 7" 7 7&'0=T-Ԡؐ`$( \tԠ@Ġ4h@#LJ蠒0tsߐ@@@@A@@AB@@AP@o@ABCD@@0connect_app_pred @H}l@/ApplicativePredv倠\@_(#+=@X |.@9manifest_applicative_pred k@ \+k() 7" 7 7%'H|l@@@A*=D@A@@(connectP @@DGE_.㐩@JqublOv?GQfx@@@5@A@2@AB0@.@A A8@ @A A5@A1GK@A7@ABCDE@@堠-connect_trans @@E@*transitive(שdҐ@@@ @A*@,A+S٠@A"@!@@ABCD@@(connect0 @@F20(}@@@C@7@AB@@+eq_connect0 @@GEC@ʰɩ?@@@M@L@AB@@,(connect1 @@H)\Z@T@@+@@>,path_connect @@I;nl*@f @'subpred*ZEe @-pred_of_simpl@0pred_of_mem_pred+蠭װn&e@@@@A@@ABA*̈@@A@@A@@@ABCDE@@x$root @@udr&Option@'default*+W2 @$pick =À@Txa p+k() 7" 7! 7 7&'P|l#\@@@A'caV[@A@@%roots @wݷ?v@%eq_op&@LK0l@[@$predؚi `+k() 7" 7 7&'@p!L@@@A*q@A@@䠠*roots_pred @cѩ@C-c@\ X+k() 7! 7 7%'sDxh@@V@@ *n_comp_mem @97#m_a@(mem_pred1J@멚@-simplPredTypeǂ򩚠@%predIt쀰>éڠՠ@)\Z#! +k() 7 7! 7 7! 7! 7 7" 7 7 7 7" 7%' %tDhȠtVd+P+@@@M@J@A@ABC@@[,connect_root @@3J#XG@@@A ůM@A@AG@@ABC@@t+connect_sym @<q@)symmetricX@DyWsxDh@@@@A@@,same_connect @@oK_Ŷ%sym_e@2'S;@/left_transitive;Uz@@@@.same_connect_r @@L{P@0right_transitive4]8@@0@@Ơ-same_connect1 @@Mö/-WU@K@%eqfunF`yMz_O|v@@@t@A@@栠.same_connect1r @@NOMwu@ "x0goj|@@@@%rootP @@O0.igֶéϩOQ@@@<@A@@)root_root @@PJHΰީfh@@@Q@_A1FdJ@AB@@3*roots_root @@ Q0ca ZQ@@@@@D,root_connect @@R AtrDB@@@@@@W*closed_mem @TNL-@  ݩ@+`ZX? 4+k() + 7 T' +7 T'+ !7 T'7 7"7 7"77&'Р\t| 蠑-* @@@w@A@@+closure_mem @P}^<)  PcR q/@\¶k +k() 7" 7 7 7 7" 7"7$'ࠒoL\@?x"h p]@@@@@@ABC@@+connect_sub @@S@$type2@"e'@c@&subrel'5kFX JKSr@@@ @A@g@AB@@@@ABCD@@蠠(relU_sym @@T+%@Pƶ@RS@$relUؾ v@@@,@A6@@AB@ @A,@+@(@ABCD@@ *eq_connect @@UO<:I̶@@?@@@F@AP@@AB@E@D@A@ABCD@@%)eq_n_comp @@VhUSb@[\ 9@/{^@@@6A`@A@@AB@e@A@<@AB8@7@@@ABCDE@@J+eq_n_comp_r @@"Wzxr"a'@@&eq_mem%ڀӰհ  ;0$ܩ۰(3*5)-@@@@A@j@ABf@f@A@A*̈́@@ABCD@@|'n_compC @@TXD=0_T 1oWqSsNI_< c,c@g|/@%predCt怠nNpIr@@@AIg@A @5@AB0@@A@7@AB@@A@^@@ABCDE@@'eq_root @@Yy@}}@@@_@A!@\@Q@@ABCD@@Р(eq_roots @@Z @ĩ@@@q@f@@ABC@@堠0same_connect_rev @@[(NLB`rzxk@@@"@A,@@AB@"@A @@1A5à#l@5A5 @p@ABCDE@@ ,intro_closed @@\L97rp2v@Ͷֶ@4@8ũ?驚0@Ɛ@@@\@Af@W@AB-@+@A)@]@\@Y@ABCDE@@=.closed_connect @@ ] mke@ީ` @kӰ֩˰7װ@@*@@^.connect_closed @@ 6^ &Ŷ4=Ԑ@@h@@n,predC_closed @@ F_ 6@1M4]67+9&;%@@@@A~@|@Az@2@@ABCD@@.closure_closed @@ e` Uжl   S@/Հ  !A@@엟%@엟%@A@A@+9 } :@+Ql@A@@@ B@ABCD@@+mem_closure @@ a } R@'sub_mem*Xv怰| :ܩ,@@@@A@@AB@x@AA*΀ b@"@A1@D|@ABCD@@ڠ.subset_closure @@ b   g"@@1@@렠/n_comp_closure2 @@ c .TR |ض zϩİ p oa t sƩI@%pred2'p  B@+nat_of_bool1B%@@@v@AX@u@AB@@A@@ABn@L@F@E@ABCDE@@ %.n_comp_connect @@ d hUS ٰ ɩ* A@@@@Ay@@ABA@8@A4@3@AB@@h@g@ABCDE@@ G%order @ @ : 3!x 6* թ ʰ #lǰ ٩>@$frel&&C  @ $ H < +k() 7 7! 7 7 7! 7" 7 7 7 7" 7%'$6 XHx ?Hl  +Tp;`@@@@@~@ABC@@ %orbit @ UзFE yW@'traject2kj̀ i 2 D@Z'2 @ d߶UT  s h+k() 7" 7 7#' DPl@@@Aْv@A@@ &findex @ ut  J 4@%index(   t@D' I S h@   [ `+k() 7" 7 7&'l @L@@@@@ ꠠ$finv @ -2 ֩@$iter+| Ʃ#Nat @6 `<f  @ @E  Ґ t+k() 7"7 7 7#' P@ut"\@@@ LA*m@A@@ -fconnect_iter @@ e chٶ    G  ՠ   ٩?    ې@@@@A@@A^@]@Z@ABCD@@ >)fconnect1 @@ f  * d  _@@@@A@@ P-fconnect_finv @@ (g   < v   b@wI ͐@@@@ f*orderSpred @@ >h . R  Hiy֐@@@@A @ p@A l@ k@#@ABCD@@ }*size_orbit @@ Ui E65 i 0 _ @$size'P [@@@@@AB@@ -looping_order @@ nj ^ٶON  b@'loopingT  = O @@@ A@A A@ @AB @ @A @@AB @ @A @@@ABCDE@@ .fconnect_orbit @@ k  sr  H  n n6 > ] o G  q ? @@@ 1@A%@ @AB%@ 0@A @ @ABC /@@A"@ @AB@ @A@@@ABCDE@@ ࠠ*orbit_uniq @@ l # ( ̩  Y@$uniq'P  c@@@K@AJ@ T@AB 6@ 3@A T@E@ABC @ @A @M@"@@ABCDE@@ *findex_max @@ m F K   ٶ@ +J -  @^)X~ @@@ {@A ]@ v@ @ABC@@ $+findex_iter @@ n g lݶ !i @ N - ީe  #   H     Ґ@@@ @A@'@g@b@ABCD@@ F+iter_findex @@ o   2  @C  ` ?   @@@ @A @ @AB@B@A N@@@~@ABCDE@@ b'findex0 @@ :p *  N  DW`:@@@@ r2fconnect_invariant @@ Jq : +"T' <@ qD@!k@ R @ 1 A5 C@)invariantWW^@ J FAE V @   > T !C  4 F I O > a $ b :@@@ @A @ A@AB A V g@@@A@@ @@ABCDE@@ .fconnect_cycle @@ r } n  #f_p ސ @%cycleU q qz #p_x 됩 O  y G   T Y  G {= Y  X   P ` | @@@ B@A6@ &@AB6@ A@A #@ @ABC @@@@A ?@@AB4@ @A@ @AB @@@@ABCDEF@@ +order_cycle @@ s 7 <  ?="Up    ƶ; $ /       r     ѐ@@@ S@5@AB@@ /orbit_rot_cycle @@ t \ aҶ  db%# Z&Specif @#sig#* @   ܰ  h    @#rot'D[  ِ@@@ @A@ @AB @ @Am@@ y@g@ABCDE@@ K'iter_in @@ #u  !S @)pred_sortߺ @ ( B$f_in @(prop_in16 4 5   %   @)inPhantoma^H% B  0( 1L Q   ' >   M 6 ?@@@p@A @ @ ~@ A+rz @ABCD@@ 'finv_in @@ kv [ֶ LHF><< WAO X  ! dG?7W `@@@ @A @ @ @ABC@@ )f_finv_in @@ w x iec[Y$injf Q@(prop_in26 |f"x1 "x2 @ u* M w s O da @)injectiveЀ   Xw t    |   s @&cancelں7    b b@@@E@A 4@E@AB 5A@ 3@A .@ P@ABCM@C@A +A(?z @@AB @ @A @s@ &@ABCDE@@ )finv_f_in @@ x G LTR  ҩ 8    5   0@@@%@A @ @AB @@ F@ E@ABCD@@ %+finv_inj_in @@ y h m޶ضζuss ̷n lX@ ߰ ۩(۰      ѩΐm  V@@&@@ D/fconnect_sym_in @@z     w      鐶   @@@ @A @ @AB @ [@A W@ V@AB@ @ @ @ABCDE@@ j-iter_order_in @@B{2 # 7' 8 " ;$$/ @@@@i@A w@@ @ @ABCD@@ ,iter_finv_in @@a|Q̶ B><42׶ n l4G@  |2e Hz|"E 1 F9 @$subn+& < QD/ QDAa@@@@A @ @AB @+@ @ @ABCD@@ .cycle_orbit_in @@} vrphf  g dz  萩  n  pv ~e  @@@ :@A 6@ @AB%@@A @ @AB @S@ @ @ABCDE@@ 堠-fpath_finv_in @@~( -53    @$andb=z             q{@#rev'D @&belast6k@@@ @A b@ |@AB z@ J@A T@ @ABC @ @A J@ J@A F@)@&@ABCDE@@,/fpath_finv_f_in @@o t߶ն|z  ^ ڶ@ YA [  ̩  Ω    ȩ; ԩ6ݐ @@@ @A @ @AB AT@ N@A J@ J@A@ x@[@ABCDE@@]/fpath_f_finv_in @@5@%  1+@ f@  1 0 N gPb  :  3 " "  @@@ @A @ @AB ~@ |@A z@ @@ABCD@@&f_finv @@eAUж F۩Ű{{?ff= n0@@@@ A @AB@@&finv_f @@zBj [yyB@@@@+fin_inj_bij @@Cy j$ @)bijectiveق@W@@@ A(x0 @A@@ʠ(finv_bij @@D  =;@@@@٠(finv_inj @@E !'L@@@@A@@蠠,fconnect_sym @@F+ 06[w  e  S j@@@ Z@a@AB@@*iter_order @@GE JPuة Ʃȩs@@@@v@ :@ABC@@)iter_finv @@H[ `Ѷf۶@A   Ӱ O8 QРĩ< U Tɐ@@#@@8+cycle_orbit @@I{ _y @@@ @ @@ABC@@N*fpath_finv @@&J ;! w"l XS@@@ @A@ @AB @ @A @@@ABCD@@t2same_fconnect_finv @@LK< - m'KK 9f(f .@@@ @ @AB@@*fcard_finv @@eLUж F o fef@@P@@)order_set @g XV @*nat_eqType4X [}E@)SimplPred' h P@} n ! +k() + 7 7! 7 7%' 7"77&'ࠒX|*H$  d@@@ @@AB@@ܠ/fcard_order_set @@M $*O> @bd@VE @̰*n yԩ @$muln+аj{~ ߠ@@@i@A /@@@ABC@@(fclosed1 @@N UZ˶: T@նשɰɩ@@@@A K@"@@@ABCD@@/.same_fconnect1 @@O rw} d  Ґ@@@@C0same_fconnect1_r @@P  [ [-@@@@V+fconnect_id @@.Q  H C а թ  շ "a1 ܷO 6@@@@A@@AB@ @i@h@ABCD@@y(order_id @@QRA 0k+Z5i--T@@@@(orbit_id @@bSR ͶA|<yz> |@@@@@AB@@)froots_id @@vTf UÐ H@@^@@(froot_id @@Uu d_ W_@@@@ @AB@@(fcard_id @@V  Bp _h?osc@@@.@A @@AB@@ ~@ %@ABCD@@٠+finv_eq_can @@W !"f'@@}  @@@ ~@@+@ABC@@+eq_fconnect @@X 5:$eq_f )  qyթ s{ѩ@@@@ (eq_fcard @@Y OTŶ31 A   @@@@'eq_finv @@Z af׶EC,* S@ O@@@@A @@AB(@%@ W@ V@ABCD@@6(eq_froot @@[ y~][DB k A @@@@@H)eq_froots @@ \ omVT }  fS gR@@@@Z(finv_inv @@2]" ͩ 11@@ @@k*order_finv @@C^3 $ީ MB K@@ @@|.order_set_finv @@T_D 5_ީ@&eq_mem%ڀEG 8K  k@@@@A@@ $@ @ABCD@@2rel_adjunction_mem,<  g ܩv!h@|7 u @@@@@@@@@@-RelAdjunction H   "(rel_unitz @鐩Mũu"x'xFVsX{+rel_functor  "y'@b }]Yik[m{o|n~gq@@@AB@4BB@@_%k@@pp@AAB@BA@FF ` ;_1a^\ I K@@@@@DA8A@ABC@P @ Z [sqIy Vz ~!r,@%k@FBB@@@@@Ͷ @WY[o\^KƩ@h̰ )ϩ) + ,o֩~| 4@xܰIs  "@+  Ŷ ƶ ]ʶLJ' +k()= R '>' ' +k+7 T' + 7 7"7 T'+ 7 7%'  77$'ࠒ`` ĠTl$\AB|@@@@@ @U з ѷ  vtmxfDCUGF@a ܶ& ݶ  ʐ 8+k()= R '>' '+k+7 T'+7 T' + 7 7"7 T'  7  777&'x̠.gӐ) ࠐAB|k$@@@@@Ƞ0intro_adjunction @@` U $"* +&sym_e' 4NW$cl_a UT "h'  @g_ n @  #a_xtlĐq@#andЖw@ uжƶ#a_y+L@7 A:M8 @TA6D"$&4Nʩ߶[0@W fZN/0ک@@@r@A|@C@AB?@?@Ar@q@n@>@ABCDE@@S1strict_adjunction @@+a   @ >@}ް@%codom d@4@(rel_base?m& *!%#>@@@A@A@ @AB@A ,K@A@@ABC@@A:@ @@A;;<4@ABCDE@@1adjunction_closed @@rbb ݶ' ޶ жζ˶@8MFi!   B <m$  F@%preimuo [e֩`Ӑ@@@@AA*T@@AB@o@@@ABCD@@ˠ1adjunction_n_comp @@c X '%- .75n lT  @bqY{ j_l lc ? @@@:@AV@/A'kmD@AB@@AA@@ABC@@AU@9A+~Z _@AB}@>A1A)E@A4@ @A4@@EA;:@0@ABCDEF@@@@@엟% v@A ӳ2@ ӳ2[-@A@ Գq@ Գq\1@A@AB@)ZAd@+~Z)ssreflect#ssr#Coq@@ @AB@ @A @BCv@ @@A @BCPA*v@@@ABDE@@A~@BYAF@@AC[A1A)E%Logic$Init#Coq@@gA1DH @A @BjA1GK@@A@BCDFoA9WRԠ#seq)ssreflect(mathcomp@@ %@A@ @@AB@@ACD@@A@o@ABs@@A U@B@@ACD:dޠR'fintype)ssreflect(mathcomp@A*Z@@A A*נ@A*@A@ABCEFA@A*̈@AA*̈́@B!A*΀@@@AB@)A+rz@A,A1@DZ@BCD/A]@@w@AB@6A1HLd@A@ @ABC @@A&ssrnat)ssreflect(mathcomp@0ͧMy}yWߘ,ssrnotations)ssreflect(mathcomp@0hPB A"_39.z"<-"_49.z"->a2 Q@@@@#_10p@lIA@@@@@@nB@A@@@@#_112M접@#_12'`o@B@.function_scope@%A@Š2 Q@@E@#_22@?/@B@A@@@@@@@#_232M접@?CC@A#_24'`o@@?E@6)nat_scope)seq_scope@@A۠@72 Q@@A@#_26@BA@@@@@@⑐B@A@@@@@@@#_272M접@Z#_28'`o@@dE@}GFH@;A!򠐒@@N$@@B@EA@,@@@@@@#_291@R꫿M@@/B@A@@@@@@A@?B@A5G@AZI@A @AH@Ac@A@@@@@@#_30'`o@u@꫿@E@점@@@A\gj@#_31'`o@@꫿@AI@ Ҡ@@֠@@@@̠A @?2 Q@@G@#_32@J19#㠠@ĢBH@AG@A @A @A@Ab@A@@@@@#_332M접@z19#HH@A#_34'`o@@19#H@w>@@*type_scope@@9A@An@#_35? 3V._ind_from_prop-@N@/@U2 Q@@A@#_37<@`; A@@@@@@:B@A@YG@A@ H@A] @A@@@@@#_382M접e@; #_39'`o@o@; H@栐@@@@@Aehcݠ@A2 Q@@A@#_41@LI~sA@@@@@@B@A@@@@@@#_422M접@cI~s#_43'`o@@mI~sD@6@@@A@52 Q@@@@#_48@@ A@@@@@@ڑB@A@@@@@#_492M접@V 'EnumSig@$enum#_50'`o@@g C@@@@2d+@=2 Q@@A@#_52@H A@@@@@@B@A@@@@@@#_532M접3@_ 濐#_54'`o@=@i B@@@k@F2 Q@@@@#_55R@Q(#6@OB@A@@@@@@#_562M접h@g(#A#_57'`o@p@o(#B@@@@.2 Q@@C@#_58@9)<#i@B@A@@@@@#_592M접@N)<#@#_60'`o@@V)<#C@@@@Ѡ@#_61(шZ@i)<#(@N k@72 Q@@A@#_63@B$?жA@@@@@@ÑB@A@@@@@@#_642M접@Y$?ж#_65'`o@@c$?жD@@@@@H@G2 Q@@A@#_67@R5{|A@@@@@@B@AnF@A!y@A!x @A!zG@A@@@@@#_682M접2@5{|#_69'`o@<@5{|B@@@j@x2 Q@@A@#_71Q@$?ЖA@@@@@@OB@A@@@@@#_722M접g@$?Ж#_73'`o@q@$?ЖC@@@@Ҡ@2 Q@@A@#_75@-¥A@@@@@@B@A@UE@AX@A@@@@#_762M접@-¥#_77'`o@@-¥E@@@@@@栐ߠ⠐@Ӡ2 Q@@A@#_79@$?ЗA@@@@@@ԑB@AAE@A@A @A@@@@#_802M접@$?З#_81'`o@@ $?ЗE@@@@@@6h/2h@2 Q@@A@#_83&@+CtA@@@@@@$B@AE@A@A< @A@G@A@@@@#_842M접R@H+Ct#_85'`o@\@R+CtE@@@@@F@/2 Q@@@@#_86~@:KX@{B@A@@@@@#_872M접@OK#_88'`o@@WKC@@@@ʠ@.2 Q@@@@#_89@9-c@B@A@@@@@#_902M접@N-cA#_91'`o@@V-cB@@@1@+2 Q@@C@#_92@6 @㑐B@A@@@@#_932M접@J @#_94'`o@@R B@@@0b@#_95(шZ@a \@?2 Q@@@@#_96@J{@B@A@@@@@#_972M접4@_{A*CardDefSig@>+m#_98'`o@B@m{C@@@@ql@)2 Q@@A@$_100[@4բ3A@@@@@@YB@A@@@@@$_1012M접q@Jբ3$_102'`o@{@Tբ3C@@@@ܠ@I2 Q@@@@$_103@T'S9@B@A@@@@$_1042M접@h'S@$_105'`o@@q'SB@@@ߠ@X2 Q@@A@$_110@c#mA@@@@@@đB@A1C@A@F@Aʑ@A@@@@@$_1112M접@#m$_112'`o@@#mC@@@@'Y@2 Q@@A@$_114@p!tA@@@@@@B@A|C@A@ F@A@A@@@@@$_1152M접9@p!t$_116'`o@C@p!tC@@@@r@2 Q@@A@$_118\@ &A@@@@@@ZB@AǑC@A@-F@A0@A@@@@@$_1192M접@ &ؐ$_120'`o@@ &F@@@@@@@򠐑-@2 Q@@A@$_122@p A@@@@@@B@AC@A@F@A@A@@@@@$_1232M접@)p $_124'`o@@3p F@@@@@@@IL@32 Q@@A@$_126 @>-cA@@@@@@B@AuC@A@@@@@@$_1272M접'@[-c$_128'`o@1@e-cE@@@@@@bϠ^a@a2 Q@@A@$_130R@l.{A@@@@@@PB@AC@A@@@@@$_1312M접n@.{$_132'`o@x@.{D@@@@@ڠ@2 Q@@A@$_134@>,A@@@@@@B@AC@A@@@@@$_1352M접@>,$_136'`o@@>,D@@@@@렐X@2 Q@@A@$_138@7GA@@@@@@֑B@ACC@A@@@@@@$_1392M접@7G$_140'`o@@7GE@@@@@@0b,/@2 Q@@@@$_141 @H@B@A@@@@@$_1422M접5@@$_143'`o@>@C@@@@mh@2 Q@@@@$_144W@/@TB@A@@@@@@$_1452M접m@/A$_146'`o@u@!/C@@@@֠@$_148X@$core@@7'META240'META241'META242@$?Ж@@@@ٶ  Ґs֐ bu@ mathcomp.ssreflect.fingraph#<>#1?&@&n_comp9D{(@&@@@!@@@@@{AA@@8'ssrbool#ssr#Coq@@ڕ A!TA@@B"pTA@@J@@@&closed9D{(@[@@@V@@@@ @A A@@m58A+A@@=B*A@@s@@@'closure9D{(@@@@@@@@ 3@/ՠA -A@@^aATA@@fBSA@@@@@$_149 R@Q(#A@@@@@D@ P@AA@@@@@@$_150 h@$KC@ e@AA@@@@@$_151 |@-c*C@ y@AA@@@@@$_152 @>I~s>D@ @AA @AA [@AA \@AA@@@$_153 @+$?ж\D@ @AA@AA y@AA z@AA@@@$_154 @-czE@ @@A4@@A@ @AA @AA@@@(fconnect9D{(@^.function_scope@@@A A@@'ssrbool#ssr#Coq@@0rel_of_simpl_relw&A!TA@@ @&&A!TA@@@@@@%froot9D{(@5@@@A!A@@3(@@$!@@@@@@&froots9D{(@R@@@ǠʠA!:A@@PE@@A>@@@@@@)fcard_mem9D{(@͠o@@@A!WA@@mb@@^[@@@@@@%fcard9D{(@ꠠ@@͠@@@@!@@@@|y@@@@AA@@BA@@@@@'fclosed9D{(@@@@@@@@@@@@@-@@ݠ@@@@ @@@(fclosure9D{(@>@@ !@@@@@@ߠ@@Р@@T@@@@@@ <@@@b2 Q@@A@$_161!@m'SA@@@@@@!B@AaD@As@A@G@A@A@@@@$_1622M접""@'SÐ$_163'`o@",@'SD@@@@@@2 Q@@A@$_165"I@&_LA@@@@@@"GB@AD@AƑE@A@@@@@@@$_1662M접"m@&_L$_167'`o@"w@&_LE@@@@@@ڠݠ@2 Q@@A@$_169"@ 'A@@@@@@"B@AD@A@A@@@@@@$_1702M접"@ '$_171'`o@"@ 'D@@@@@:&)@2 Q@@A@$_173"@dA@@@@@@"ߑB@ALD@A^@A@@@@@$_1742M접#@dא$_175'`o@# @dD@@@@@nq>@2 Q@@A@$_177#)@ gA@@@@@@#'B@A@!E@A@A@@@@$_1782M접#J@4 g$_179'`o@#T@> gE@@@@@@ˠ͠РC@$_180#q@[ gHD@#nB@A@AA!֑D@Ai@A@@@@F2 Q@@A@$_182#@Q3A@@@@@@#B@A@@@@@$_1832M접#@g3$_184'`o@#@q3C@@@@.- @B2 Q@@A@$_186#@M-5A@@@@@@#БB@A =D@AO@A@@@@@$_1872M접#@n-5$_188'`o@#@x-5D@@@@@s _ b /@s2 Q@@A@$_190$@~yWA@2 Q@@A@$_213$@%_A@@@@@@$B@A!fD@A#c@A@$ёG@A$ԑ@A@@@@$_2142M접%'@%_$_215'`o@%1@(%_G@@@@@@@@!K$c$f#@%2 Q@@A@$_217%Z@09A@@@@@@%XB@A!őC@A@@G@A%/@A@@@@$_2182M접%@X9$_219'`o@%@b9D@@@@@!)$@d2 Q@@A@$_221%@o)%MA@@@@@@%B@A"D@A$@A@%G@A%@A@@@@$_2222M접%@)%M$_223'`o@%@)%MD@@@@@U"A W@2 Q@@A@$_225%@gA@@@@@@%B@A"gC@A@@%ΑG@A%ё@A@@@@$_2262M접&$@g$_227'`o@&.@gD@@@@@"ˠ @2 Q@@A@$_229&K@>(A@@@@@@&IB@A@$E@A C@A@@@@$_2302M접&l@>(Ր$_231'`o@&v@>(C@@@@렐"נ @ޠ2 Q@@A@$_233&@ A@@@@@@&B@A@@@@@$_2342M접&@ $_235'`o@&@  C@@@@$#!&@2 Q@@A@$_237&@$}A@@@@@@&ƑB@A#3C@A@@@@@@$_2382M접&@.$}$_239'`o@&@8$}E@@@@@@f#R &ࠐ&@2 Q@@A@$_241'@+:A@@@@@@'B@A#{C@A@@@@@$_2422M접',@;+:ߐ$_243'`o@'6@E+:D@@@@@# Ӡ&b@52 Q@@@@$_251'S@@'2A@@@@@@'QB@A@@@@@$_2522M접'i@V'2 5$_253'`o@'q@^'2C@@@砐A&@&2 Q@@@@$_254'@1'7@'B@A@@@@@$_2552M접'@F' k$_256'`o@'@N'C@@@ A&@-2 Q@@@@$_257'@8)Xm@'B@A@@@@@@$_2582M접'@N)X $_259'`o@'@V)XD@U@@@ UA''@:2 Q@@@@$_260'@EI @'B@A@@@@@$_2612M접(@ZI  ܠ$_262'`o@(@bI C@@@ A'@@:2 Q@@A@$_264(1@E A@@@@@@(/B@A@@@@@@$_2652M접(H@\ 㐐$_266'`o@(R@f D@ɠ@@ ʠA'j'@[2 Q@@A@$_268(p@f:şA@@@@@@(nB@A@@@@@$_2692M접(@|:ş$_270'`o@(@:şC@@@!A'@2 Q@@A@$_272(@ A@@@@@@(B@A@@@@@$_2732M접(@ $_274'`o@(@ C@@@@!?A'@2 Q@@A@$_276(@#TA@@@@@@(B@A@@@@@$_2772M접(@#T$_278'`o@)@#TC@y@@!xA(*@Ǡ2 Q@@A@$_280)@$A@@@@@@)B@A@@@@@$_2812M접)1@$$_282'`o@);@$C@@@!A(c@2 Q@@A@$_284)T@e-A@@@@@@)RB@A@@@@@$_2852M접)j@e-$_286'`o@)t@e-C@@@!ꠐA)`@2 Q@@A@$_288)@rA@@@@@@)B@A@@@@@@$_2892M접)@rǐ$_290'`o@)@(rD@%@@@"%A(נ(@2 Q@@A@$_292)@" A@@@@@@)ɑB@A@@@@@$_2932M접)@5" $_294'`o@)@?" C@b@@"aA)@*2 Q@@A@$_296*@5- A@@@@@@*B@A'E@A@A)֑ @A@@@@$_2972M접*)@Z- $_298'`o@*3@d- E@@@@@"A)])`(@Y2 Q@@A@$_300*T@d q/A@@@@@@*RB@A'בE@A L@At @A@@@@$_3012M접*y@ q/$_302'`o@*@ q/E@@Š@@"A))(@2 Q@@A@$_304*@=A@@@@@@*B@A((E@A @A*w @A@@@@$_3052M접*@=א$_306'`o@*@=E@K@@@@#LA)*)7@2 Q@@A@$_308*@/iHA@@@@@@*B@A@@@@@$_3092M접+ @/iH$_310'`o@+@/iHC@@@#A*=@2 Q@@A@$_312+.@!#A@@@@@@+,B@A(E@AD@A @A@!2H@A+ @A@@@@$_3132M접+`@"!#鐐$_314'`o@+j@,!#H@@@@@@@#栐A2A$ޠ**)@ 2 Q@@A@$_331+@SA@@@@@@+B@A)D@A)@A@!F@A@@@@@$_3322M접+@>S$_333'`o@+@HSG@@@@@@@$DA+*,**2+@(2 Q@@A@$_335+@3A@@@@@@+B@A)vD@A*@A@@!G@A@@@@$_3362M접,@[ɐ$_337'`o@,%@eG@c@@@@@$A,**+[*@_2 Q@@A@$_339,O@j/JMA@@@@@@,MB@A)ґD@A*`@A@@"NG@A@@@@$_3402M접,w@/JM$_341'`o@,@/JMG@@@@@@$A,j*䠐*砐+*@2 Q@@A@$_353,@9#@A@@@@@@,B@A*.D@A@A@F@A@@@@@$_3542M접,@9#@$_355'`o@,@9#@D@T@@@%TAƠ@2 Q@@A@$_357,@/B9A@@@@@@,B@A*}D@A@A@F@A@@@@$_3582M접-!@/B9$_359'`o@-+@/B9D@@@@%A  @2 Q@@A@$_361-H@ A@@@@@@-FB@A*ˑD@A =@A@@FG@A@@@@$_3622M접-p@ $_363'`o@-z@ E@@@@@%A d \ @2 Q@@A@$_365-@8RA@@@@@@-B@A+D@A @A@@G@A@@@@$_3662M접-@8R$_367'`o@-@8RE@D@@@@&EA   V@2 Q@@A@$_369-@7A@@@@@@-쑐B@A+qD@A @A@@쑐H@AI@A@@@@@@$_3702M접.@ -7ᇐ$_371'`o@.(@ 77E@@@@@&A!!  @ .2 Q@@A@$_373.I@ 95HA@@@@@@.GB@A+̑D@A!>@A@@GH@ASI@A@@@@@$_3742M접.x@ h5H$_375'`o@.@ r5HE@@@@@&A!l!d! @ b2 Q@@A@$_377.@ m88=A@@@@@@.B@A,&D@A!@A@@G@A@@@@$_3782M접.@ 88=$_379'`o@.@ 88=E@L@@@@'MA!!!^@ 2 Q@@A@$_381.@ <#A@@@@@@.B@A,yD@A!@A@@.I@AH@A@@@@@$_3822M접/%@ <#$_383'`o@//@ <#F@@@@s@'A""!.R@ 2 Q@@A@$_385/U@ qA@@@@@@/SB@A,ؑD@A"J@A@@SG@A@@@@$_3862M접/}@ q$_387'`o@/@ qE@@@@@'A"q"i"@ 2 Q@@A@$_389/@ >JFA@@@@@@/B@A-+D@A"@A@@@@@@@$_3902M접/@!>JF$_391'`o@/@!$>JFG@L@@@@@(PA" ""a/Ǡ/@ 2 Q@@A@$_393/@!A@@@@@@/B@A-D@A"@A@@.I@AH@A@@@@@$_3942M접0.@!6$_395'`o@08@!@F@@@@y@(A#$#"à0)@!*2 Q@@A@$_3970^@!5)OA@@@@@@0\B@A-ᑐD@A#S@A@@.vH@A&c@A@@@@@$_3982M접0@!c)O$_399'`o@0@!m)OI@ @@@נ@@@@)A##}#$0/Ѡ// @!d2 Q@@A@$_4050@!ol A@@@@@@0ƑB@A.KC@A@@@@@$_4062M접0@!l $_407'`o@0@!l C@e@@)dA#[@!2 Q@@A@$_4091@!)66A@@@@@@1B@A.C@A@@@@@$_4102M접1#@!)66$_411'`o@1-@!)66C@@@)A#@!2 Q@@A@$_4131F@! A@@@@@@1DB@A.ɑC@A@@@@$_4142M접1a@! $_415'`o@1k@! C@@@)᠐A#@!2 Q@@A@$_4171@!3RA@@@@@@1B@A/C@A@@@@$_4182M접1@" 3R$_419'`o@1@"3RC@ @@*A$@"2 Q@@A@$_4211@"3R&5A@@@@@@1B@A/EC@A@"x1F@A"x2@A@@@@$_4222M접1@"F3R&5$_423'`o@1@"P3R&5C@l@@*kA$b@"O2 Q@@A@$_4252@"ZxC@5@AA@@@@@$_4795@%HERD@5@AA@@@@@@$2 Q@@A@$_4845@$ 1A@@@@@@5ʑB@A@@@@@$_4852M접5@$ 1Ґ$_486'`o@5@$ 1B@@@.`5@$2 Q@@A@$_4886@$*wA@@@@@@5B@A@@@@$_4892M접6@$*w$_490'`o@6 @$*wB@@@.5D@$Ԡ2 Q@@A@$_49265@$*4lpA@@@@@@63B@A@@@@$_4932M접6J@$*4lp$_494'`o@6T@$*4lpB@@@.Ƞ5x@$2 Q@@A@$_4966i@$'sA@@@@@@6gB@A@@@@$_4972M접6~@%'s$_498'`o@6@%'sB@@@.5@%2 Q@@A@$_5006@%$ A@@@@@@6B@A@@@@$_5012M접6@%9 ꐐ$_502'`o@6@%C B@@@/05@%<2 Q@@A@$_5046@%G P,A@@@@@@6ϑB@A@@@@$_5052M접6@%\ P,$_506'`o@6@%f P,B@@@/d1c@%U2 Q@@A@$_5187@%`6A@@@@@@7B@A4D@A%l@A@@@@@$_5192M접7&@%6$_520'`o@70@%6D@  @@/AA)@%2 Q@@A@$_5287M@%,'UA@@@@@@7KB@A4БD@A%@A@@@@@@$_5292M접7o@%,'U$_530'`o@7y@%,'UD@  @@/AA0@%2 Q@@A@$_5327@%#zA@@@@@@7B@A5D@A%@A@@@@@$_5332M접7@%#z$_534'`o@7@%#zD@!8!:@@09AA1.@%2 Q@@A@$_5367@%-5*A@@@@@@7ܑB@A5aD@A&E@A@@@@@$_5372M접7@&-5*$_538'`o@8 @&-5*D@!!@@0AA1v@&2 Q@@A@$_5408&@&$% )A@@@@@@8$B@A5D@A&@A@@@@@$_5412M접8G@&E% )$_542'`o@8Q@&O% )D@!Ƞ!ʠ@@0ɠAA1@&O2 Q@@A@$_5448n@&Z]A@@@@@@8lB@A5D@A&Ց@A@@@@@$_5452M접8@&{]$_546'`o@8@&]D@""@@1AA2@&2 Q@@A@$_5588@&3R&AA@@@@@@8B@A69C@A@@@@@$_5592M접8@&3R&A$_560'`o@8@&3R&AC@"S@@1RA+I@&2 Q@@A@$_5628@&#-A@@@@@@8B@A6xC@A@@@@@$_5632M접9@&#-$_564'`o@9@&#-C@"@@1A+@&2 Q@@A@$_56694@&5aA@@@@@@92B@A6C@A@@@@@@$_5672M접9Q@' 5a$_568'`o@9[@'5aD@"Ҡ@@@1ҠA+ɠ9K@'N$@@B@' "N@&@@@"L@$_5929{@'%kA@@@@@@@9zC@A-D@A@@@@@@A@9C@A-Y@A',G@A6@A2H@A3ؑ@A@@@@@$_593'`o@9@'Z%k@F@@#;@@@@2<2?A6-603@$_594'`o@9@'|%k@AH@@#]@@@#b#d@2b2eA6S6V4AA@'s2 Q@@H@$_595:@'~&2@:CG@A-ڢ@A' @A6@A2@A4W@A@0I@A@@@@$_5962M접:G@'&2GG@A$_597'`o@:P@'&2I@@#Ƞ@@@@@@@2̠2ϠA664'z98@'Р2 Q@@H@$_598:@'KQ@:~CG@A.I@A( @A6@A3@A4Ɛ@A@( J@A@@@@@$_5992M접:@(KQGG@A$_600'`o@:@(KQJ@@$8@@@@@@@@3=3@A7.714'렐9:97@$_601L4x:@(%k@:@(@A(cA(TA@:@(j&2;@(\KQ@'p2 Q@@A@$_609;@'{ mzA@@@@@@; C@A.ב@A(J@A7H@A3F@A@9 @A@'@A@@@@@$_6102M접;H@' mz$_611'`o@;R@' mzK@@$ʠ@@@@@$Ѡ$Ӡ$@3Ӡ3֠A7Ġ7Ǡ55ࠐ2AAA@'a2 Q@@A@$_613;@'l5SqA@@@@@@;C@A/S@A)&I@A8H@A4F@A@: @A@@@@@@@$_6142M접;@'5Sq$_615'`o@;@'5SqK@@%B@@@@@@@@@4H4KA898<5w6U2.Q:B'@'2 Q@@A@$_620<@']$A@@@@@@<CI@A/̢@A) @A8yH@A4F@A@:} @A@@;쑐L@A;@A@@@@$_6212M접r)2:*, +;,,ߠ-<@@@@"@A@@/fun_adjunction @AH@A@@BH@A@@CH@A@@DH@A@@EH@A@@FH@@@@$_631%c?@*type_scope>ɠ@@@2@@@,c@@㠑2,yᠳAA@@Pj{yAd}@r{I_ZJRH?:Y2  - xsKkaXS©rK Ő F*B@'nat_indJBאE0_top_assumption_ې !ltolcߐA·ɶy@dPGFFBH?Mfy%\D̐ǰLư # e  Bv#@(list_indjI8&&8S@*subxx_hint󈀠 ֐ G#_a_#_l_%_Hyp_4ѩ鐩Z ƷBǷ!xР`@$boolZ'@@@@@@@@@C  U@&in_mem&0v&fggyg#_v_䩷P@;24ީ ۷lܷ*(,M"wCyr%Logic@(eq_ind_r!2#/_pattern_value_ܩd_VX1N LPCOFNjNWG]TQLJr@'if_same ) ̷#IHnT=8773b90Z>CΐaJ8@"ϩ]c|kti-qHGHJSS|@r c/fN֐Ѱ  Ȱ  dR  η#IHa |됩sݰgn/߰ipkmnӷ/Ȱ9I)*2 B05DC1'~ @,subset_transD=@.pred_of_eq_seqJ?RAʩ;,=DYZ@BٰP!>D5`7PIKILWcѩMo]qMD!i7"!bWt .@'if_spec >@թJ7ש$aaީ pUgW@"eq @.:B`[PSW@,predPredType>h` cI کa hUA=A2O2G4662Z ,ǷR^ZP#a-/f&]3 U8& 7)pJrDߩQA ߰Wy=԰?өg{BGǩIDmgEAAAA@@@@@@@D!y`DR%SiӰ ٩  s tߩo1T氩? 1!2D@#ifPCO(Y:L٩ĩƩdC#_n_Ű mos$6A@'sub_mem*Xv怰   @#notШ)@'introTF k%Щ˩2ͩ|:d7>F שS@'subsetPY4 9@'predU1r1Hg/dPJNERI֩a@(ssr_have+Ǜ!w!ze}@@$negb]rΩ~tbN@(dfs_path꫿@<ƶ@&ssrnat@#leq+'CardDef@$card׼M@2sort_of_simpl_pred/_ @/pred_of_argType-(@$addn+,}%թ@ҐMUưW$Bool@'reflectc@TOذ Uqom!HnbA$$$Dᚠ@,is_true_true怩A1@#has'D6@-pred_of_simpl@0pred_of_mem_pred+蠭ĩƩȩ @C-S/ ©ĩ'ITSԷ ;{z@@(disjoint"13ZK@,disjoint_hasMaQ̐$7*(v*-\@#orb  T@$orbFG&dfs_id._discharged_x_Y._discharged_y_._discharged_v_@~㠩۠r Р Ơ@ cĩJk[P S̶@϶3B1*/ζ@_Jj ϶@8ީG렩5SN0ܩߩZU7^T\Z@֐;3aʰu(#>l$@萩c# ܰ%`~[ð` cbn7@(nat_rectb\.@з5''le_v'_n nfީYTOoȷ¬_vy<Ȑ1_the_hidden_goal_JXC;L=NUQǠKK@D4_discharged_le_v'_n_7++2Yr@(eq_rec_r!%0uԩ=zSGr@%addn0,X`π{7lg^"^`$`g0Iqh6j8qRMG堩ݠ tBР>@)geq_leqifP!@1subset_leqif_card)x"@,subset_predTU )&:͠0Yz461?9cŶ3_discharged_not_vy_3Dͩ]ͩZϩ ѩcaZͩVmt7*t,(ũ@,predT_subset{8Р1)򩚠@&eq_ind J0!e@İ@@@D0@%Falsee@@$Truey@A@@)False_recu唀/yhܰgi==mCTC<   ]vũ&''R9AQOͷZL%,b VX}Yx[sl#$=^H!A)ZA6@@ "vT~"vFpjrWvu6:-wO{s/uP@4-%mε]@$ifPnkB01__top_assumption_3F{L 6FRbNDT)uYbQI46թ8=j?˰(%q= i?aD2JưC5& x޷v٩V~ݩv۰\W; ꠩4jLegҩr).op-ܩr2ɩȰ4 ܐW /$.U,6VðȐ   }2D,vАW;ڰRᐩ@0>G #v_x,B!'éŷIM(ee*O@%elimTɀ۰ թ "@%negPfMbB"#S!p*tJ$path@7̩D@0rel_of_simpl_relw&@$grelIҀzI 8@$last'OR ;p6}bXg!d$!EDD@@@@@@DjАOM#_i_L#_e_4g/Oy!éũǩɩI˩S԰ͷYө  `|ضɐDnWİ/ީz[rՐPzаˠƠϰzנjM$8" gz H |2@)False_induُ9C3¬_vxyȐ"v1\s0b2c+ް NͰ2@R:@BDFHZwGx@,"԰."@*subset_dfs5JXjB#'sub_dfs(&Specifn@'sumbool7̂K@۩>@%eq_op&`om;ohqsl}@&eqVneq5B'(ku⩷!s1fᐩ(}?`|9y}ݐGAC O-f3G9\=}VАP3hBkBAAAA@@@@@DF&HwU[2(oa8٠#АXfB=A   " Sm۩;l\>xJc  Q   m搩ذ ߠx©a> 3 !İ|h_ ~ 7!A21   I D@(mem_headր&neq_yx Ӱ @&equivP%΀Щ@#ex2М@n"x1q ) k 7 x?G 9 pbKc 6 S *~d" Rˠ@#andЖw@ Lǐ@@'mem_seq </  A@B@B@@@@@C  L P@ @Ʒ"s'  "a1 ] TY= o@$predؚi j aZl p g[4S n\   ǩ  ۠ : !i[dЩ] WUMMPENR=8 @GXHD >B3x;0 *b ]  <. MBlD&U @$norPa{ At ڐU{ #v;usnc +  UR , C| WO  BCE>9Yͩ) ٰ` J b }  O # x!RT~@+nat_of_bool1B%= V ?vJ @ Uh D #FT G c ;7 /ة۩  X 9U T Q@&cardU14ba  g WeD7  3  4 cȠ(P Šd \cݩ!  Ķ Z M @!   `#   © U 6 v:8㐷0%. Ϡ޷%!ݷ s 6U       ۠y  ) L ͩࠩ!  5 I ө p  ꠩T  =@'addSnnS I D ] ̩ ׶ж  %  f  ːF  V e \] ؐ T  ʰV V FeNVc  ~  )g o Ӱ l  ' o7   ;   M`@ P3  ֩ ]Ur xzI{D}?_| , H(   ް Vm   A;Z[  방 [ ^   e_ 9 dD  mO  l  k G M E q J3 r |  9 - 77 T * Lǐ *x @) z8:2; Y * ? 6^  P 4 ̷?H { q 7  YK 2  ,      @)list_rect ]ƀp } ^ 堩ݠ t  ѩѠԩǠ ~  q  fb 5  ǩy  q  {   ϩ x   r  l!'      η ɩ ۩ϩѩҩ   Q ȐC ީ Ӑ   Ű %!I^&   g    ~ İ 吩  ' װש 7<[]c  - J - -   { ߰     p  &-.   B!qvqx  H 0 7!   Q  aR  W 7&A  : K ]CCC@@@@@D>G@  .   p    .B t a t T 9  { +a  = J o Sa    c^I  tUTC 'eG X *c f^ fM . P D  N   A cސ 6  W OI p A  bb ݷP   ԩ HD  iF BHJ :    | 蠩  w "Ԡʠ   }   ie 8 g Ȑ"v2 \    /      Ӡ  L  N ְP   )$ $  ۩      ʵ-4 ٩  B##v2v& W @(alt_specI@ Ր o  ǰ  uv   ) # Ӱ   ط X%  *    ܰΩ   󵩚 @%boolP\V#B,-   ΰ     ַ 9  ٰ Q`     |  S ; ^a   fb b    G   [    lw &     t   - B  ĩpA A  _] 6 , #  a   _  P   & o X )CR J @,- f  CB=C d 5 c  Y = F    LR  R   DV eXS >Z \ 8\d   #B}BAAAA@@@@@@D S _ 9 V b Ű  e0  |-.  ٩  䐐d|  t 쐐e   |  Ͱ  M ;   b " *       z W c F   #v2yȩ ש  ̐    X q C  _  ؐ  ʰҩ uԩ Ӡ I  l   % r  m'##    `    ð   C     c::'not_v2y  zЩ ذI  ĩ | wNG ߰'ǩ ѩSө Ӱc-  /./  ^ ~ d     [  !ש ̐٩ ۩ z u # @)leq_trans WmЩ  .72  2;6  9 B YfV  J_   3 Š?9 *C @)leq_add2r րF@~kojeai hdf  J  ? ܠ4? @/subset_leq_card2zg uP& wRĠ ũ@lf ^xϩza | o }:@Щ{u mBީDp&| 0 fN }  $N9婷ϩ"#    I+ 3&]i;*0p#q =%&֐ @ȰBo 'vwߐ D!ѰF-H q l VI(^))۷$a_x1Sz ^;2] é;=F>  Wrm2 ҩ Ͱf10  АgLUch" kigL  9 N    q쐩 A$+f7oIQbt M  0B-6#k  u ) 7G ~_#g_p_#p_yY¬_pvVC9`1FRH6?JM  E& NS  o $q  Z.X\L!eXcg^j[Ƞ@  /  ː tkkT|sl~ym Fen   $9۩ wq Ns oEw sݰIԩj  ^ c g gW8  [oð]q s@,disjoint_sym^J޷␩ Ʃ԰! ۠ t  Ʃܰʩ ̩  O ˩w@.disjoint_trans+]]_  A  ̰OU > ԰G, P.;,GS L' թYI 3B_`!"c${g hOFHYk D Fwp]p 'G  cIEC Q;= 65/51ȩȩ ,<H)Ϸ#ЩJ<% n*ש +3  a$;KWiqҷ۩ mΩߩ  ̩@R:Sa2S ·AZ O_ (wum2 @(ssr_suff+xv <_h28l6b \ T ũu# c lq:+(not_p1v2= !oB@"or @KD TRJ)&LJN@!V "B? u8o dp>0 mHIΐ@BB Q DBOtBA><>LJa 搩`]C>T2@\']5ZA |Aީ; °ݐqG$}oz{ ްwOyy ! yrUB97[BAAAA@@@@@DDհ 9,ްܐԷ@~ w@޷lʩz C"&@ 砩 !rh cҩ0*Q"C' N2 I@&elimTF%   " {~@'predU1P1&  `&def_x1ߩ@"ex @UZV| lo@%predIt쀰 v  q z ^ .  z ! @@D!f  Qީ@'elimTFnѓ3() -  $԰ <   ,Z@&pred0b@[ < GFO@'pred0Pn\  \AXܩՐ@$andb=ΰ԰mj k됩D ߰FH3İJ L%7% 'ԩ.EEְ }) "  $!u8 ! /|pkfWǷB2 E&fXKĠH 5 5 Щ Z   5@ ` ө   bhyv ebS~А(5m5K4fq_ڐ2 z68␩: [d7cx I>yL vnoFr%Y@-disjoint_cons:,8hu@<D <Dʠt@˩q 8Nݐ._view_subject_" B t5@ SOԶީŐ@ $̐28tUkWɠ<᩷ ܐW'@ ,Ѱ|ڠG 鐩I۰O j°:L w==  % (: BBB@@@@D ڰ ;A5M:M"a0MG?Ca^`q +搩iJg@$andPgD* ܰ ڐ   ӷ Iu@ܷj ݠ ~[ Sg0' D6S $ȩ%?Z$'/Vb{=@'contraR< ݀ީ% ڷY婵 C@DbR@BVDQFZCJw^LYNbKWS 6  ҷ^өpt o xy0|wҩeu'BBB@@@@D )䐷"x2/_view_subject1_0 9 k 婷˶թA8۶)rܩ ͐ܩީݩ\[>אǰ ˰$Fߐ(#;Ұ(( ( ް٠V 7/8%8$p_x2ΰw$v2x2װ(*2"p1Զ"p2Q+ FvYڷ  @&splitl-g"@MeЩӰ s ǰO]ݩ2 t  HZ@u3) j ca<  P!vE)2 ʠ-@#cat'D* FAcXICCC@@@@@@D` Vx]k ,@'splitPl/g "p0Frp$p0x2q25Hq $J &L< GwM A <Q>Cdtztzð}ũJ |w'| 4\  M" O$ԷX%cfi t˩e+jŐ p  g<6@(last_catN'C󐩷Rݐ NL  PN.Hé é  V-/^ @(cat_path؜ca  r İԩ`ܩ$^\$Fvx+V)'<   ީ $"ܩ=`@S@(cat_cons#"R<Qԩ/! ذ @%rcons(1@&belast6kVWW= Ab;M ? p\H%@%lastI(%nն a'7S=é ?+~c&a+A@)cat_rcons%-.0$':c<o,9)-N^zd1fRh/;63>Anp0pFƠSkfGhba]KcleY_]ِ#p2y51? qme`s&u`֩նߩƐɐwrة Րͩސ 㐩wְ̐Ð  z  Ȱ@xSА < /1(2D ! Ġ A#E=N;NK$g_p2K&B߰ǩ FƩH.ϩѩ ƩөRҩIT. -vE F _S(RNK* Ր3V]2\XS  Hy=!* oX@,disjoint_catEtjhn_Hސ6H-YnL@@ꐩBD99eh=K {CoeF #t} ~DJ}N1@$and3@e.,`'c"zaIcFe` pzzDZ  6ː{ Gǰ sѠ  v[   搩ذ쐩5|Ő ݐgA3*<jCCC@@@@@D!u аӰ flٰɩ l4ihdj Ue%ikw+T'V[ #p]p#_p_'not_vx2'not_p2vp 4erj2tpy =?p  'vB ] 2[R8/}m?u D;~|A5j0]SJEf _А@_uPȐAtXa$ n 8 r0<ng'W( ܐQ$g_p1P%p1_x2E'not_p1v>28MAtөÐ>ADV=АBMI.թЩDАCC.Ͱ N9l;P$ܩ$k{S9F퐩ACCa GIeVΩ&8:{gl>@kp/GB mDt3Fqv5"=%f%s5QcRFTϠʠ0 iIi$F>.Y5`wYy<NMװHz۰|>k}'K?yr_Ip7[9xSu婷l\"Nk d m3_RCRbU.T-{Coqѩ{ jNz 7aV+/ t` fީd;کP!; Ԡ5#V7N۠xE֩R 6-C I/1͐j4ZQ@%and3P0_[CZ  {֐Ȱ*ũeHϰ1J㐩, Rְ^86.w.CGzDFaI!GC9CIʐѰ  K       3 ~     V\I@@5㩷})kq0n , ĩ}raK9 {+aũީ +bs (^+#%D=өe2,S$ErH(6ٷ qVWP橷s 0e˩>s9ީeNiR/"$4  '&ϐN۷ >. <&buwy{:u-ƩQ{#DFHJKEeհ̷X) v\ q|ضɐD°\-|ʰŠz"1@'has_sym%-萩cްǩ79ߠ;=W Vϩ,$ ڶթ ߰ .' 02 2}T[T  DA[Fo"Ǡ:ɠ3#  O9 H#?䠩H5'o>94bakR͐FWҐ, M  jV Q L "n%k搩> eg_ g _ ivuJ qk s kt uo wj y l y}H a O Q I S:A1ؐI AE$  W =͠.Z R M  eIU6Mڠg _ Z  [ ?   [%Щ;       ]yKɰ Ġ  Ȱ  Ϡ  ) f  ɩҰ  ԰    퐩 j -n 3@@B 'א  H J  t v x Z  `F E JkŠP-+  η%pַ ̷ x֠%   ) Ԑ 2 mo/@'negb_orД($[K vZ"ٷ#R }ϐH;C=L? T;Yhf  : ^   >M з3a 5\ 7e 9 ;n m _CZXILK (N(LFȷ J.ZE=8նC,2.&ȶhc"(*A,,,g}6%!#ې$,9BT4=?z^ 0Lw@,shorten_spec [@ t^oX4@'shorten.@}À_綐"p'#ېWv:@$uniq'P Y]@'subpred*ZEe46ܠ8:<>@\?C7I!)کհ3`& k l^H sCc 1;;gA hנҠl:2DL]onDDD@@@@@@@@D|eNsHCt\ζOũǩ}#Xxũz|sCOEJGSIEUKPMYOKny>s90e/,1i30_nYoQ&©r(T"`vn{ːѩϐv`K<C>>>۶iVZжEȩǩ]VLXɶ} ۰@)*Đ 19,c A A@B@B@@@@@D3KI͠HܐXw;V$_i1_㐩W[5-#_s_0ݠ2ؠ46ʩAg%eq_yxIk  k i kE@'elimNTFь]$Ͱ&@#eqP&⯀UV ڷ~ ELBϠSe9C*I62RTKSS< .QC@\J uǐFH@H@rJ] ѐ)PcJRJũ|~tIPKKMTO6QkqXSSU\W>R TdvAv<h,lɩb\TũucSL Md5hbک @  Ơ k' |ߐxq  Ϡ!ygia̰ké ٠+qsk˩֠nͩGysmնߩƐAf͐ JĩðةکݐX{WѰ}x֩琩 dݰWYߠ[]D_aceL`ubթ а.KзѩY ةi^LF<Oa '>ᠩ'  McWp]p'not_p1xo#_b_k Mө)թ$\-٩(۩1󩵷$p_p1JE<9Z>;T#p1yPL<B;e$?OPl\"ENUZR Y=0N\Rc `Vg&><Zhjǩ`  XE*'Or{E+8b  dyP%[y!5)a/ }V) ˠ,Mw.Ex Ҡo,NѰ2?:"ȩ DZz v)kTbiː W  8 ]zՐ R|z!ߐ k `%f' {l w rv } x=ð!+@ /A X6ʠ+)&0 /" +A䠩*    %&4f8 cĩ,  l3`j2  r9-t!w Of Oʐ" :Z3/NA 7 *_ZũQ  S  Zvi/ɩ[  ]  dPu zuکl  sr  y~1[Nz %  . ؠC @dZAj@0C ~|+p Ѡ2nR7 C g@&introT&2 mkolC GchyM y C ݩsOTb'̐DJL/°N`-@(shortenP?Uh    ; 9 * (Ő {@$iffP\  <   /Ӱ 0ܐ\   ?  0  ! Dհ F  (f "ZU!% A@)dfs_pathP;   / 7 H Z, . ] Nַ O 'f k k 7 7~7@%card0 @%leqnn,nm耐FT T M H c f f ! V I H > ,z @ e y L B 0  S  f lG /% i   .  c   $  h z            d  hC =50t ~  ͷL ; *     ӐRQbOG"i0E [ U =M ?H ? I  d S D B F     ط7 kmo  j5b7]  #  { >l  *[  ! EeFD;  !zN iP :! ؐ     !"N  ?  I!!!!! d$  E  O!!!&  ꐩ ݩ ܰ   P   ʩ   ۩  ߩ ! !!!Cɰ   4  !  !P @)disjoint0%  !v!t2! @#relᡀ!i CW!9԰!k!!D!F!L!^!M%  <!b!$  !M!V  !{ !R!Z!}  !m!/  @&rgraph  !]!e N@(mem_enum%Hူ !}R %#C&ssrfun!B@%eqrelF /{{}}V!!!|J F!!RЩMz*{!n$xzz3 !!!wZ!7!!{1 !!!<!+ ! !!© S!ĩ!t~!C!GM~!!F@$dfsPI~s!!!Щ@*w T !N!!!!ڷY H!!7!!!߶@*_a`![SNj!!!!lk[!ͩJ!!?J!Ƕ suw!q<i>d !!!,"" ݩFG!ːթyשt !w!!"F!}!~!ؐ!k!~!"!!n!w!p!"`U!"""ŷȰ5.̰-.!퐩!ө!թ!̩!!!"59ٰ!!!!!!"<!!"!""A"B"/"B#e_pc"!!̩!  ! !!!"!!!"Y!ǰ!"J!!"^"^"'"L!*">"50_discharged_e_p_"(""-"3"G",!""1"C !:"#"5"G !"6!!!"A"xBm"="O@'eq_path2R&It"2!@'rgraphK 激u"J"\E#""wK" " "V"jة"b!1!"a"V "]"a!""W"b "!Ʃ""h""xlEȷ"ɩ"f"""+" ""_"ɐW"1zu"""TW""4" #"}""!"`"=""7"A""")"""ĐC! 4""#"!""q ǷN =,":""!?"<!7"={4X5"R"!J"#E"#a"*"C"H"c@ R"*"5"""Ր("ǩ""e"o"""Ω"!^!!V!"o"L"_""$ """"Ye##!""I"߷"ː"@'connect(#";"#"冀a"""ڐ"""#" ""Hy""#!"!"""鐩"""#+#,꩷" """"#2#! ذ""""s""#;" "v""x"#@@#8"""##<";""""#)#:#L%"*"ѩ "#"##U.""©#""#!#^1@#!V""##,#%Z""##*#h#U#h#0&#,"#1"#n ܰ"#4˰"#<#a#G@#8m""ީ԰"#?#Y#E!"ذ"#1#U!"@#Dy"x"##7#H}!"|""#"#x۩3"˷"̩#T "z"ܩ"|""#"ө!"#L"##q"@"!"#e!"!"#l##h*!!!"! ""#c##X"5"#y/!"!"-#!#<"!+!"!#©#!$""6"o" ###lo"A+L"B!;"#/*"+#ҩx!ηU!ϩ#O")""+#0#"+"&"#%###"Ƿ#e_q#\"Z"کB"\#I##7!X"6#LG"8H#ݩ#é#"A"<"O"EG#ԩ"b!TS!V@#з"\!W#!!^"G$$"##" !N"W"X#ʐ!g"X"|$ "]!z!ji!l"$  Щ!H!I#ڐ!6!z"c$!N!!9y!;{!="j##L}!?"l$%!"s".!q#@(connectP$?ж$-")$"#$$#!""#,#""$""ѩ)!""#!"$$D!""!#$!""#$$$:!""!""$A$X!t!9#$Z$ $I$.!ɰ"ii"!g"!!ΰ!}D$c$c!"V!"#$< *"uC# !!ީ *g##$7!M$uC#!!c!e@$=r$B$H#$\$Av$4$F#$Xq{$Q#$e$]!ҩa$C$9@*transitive($!F$$l:#6$$j#6!4!㠩>$}$~$_$x$~$$ $"${$$}$$!4!/ЩN$+$"#$$$$$!$[$#$ } x$$$$$׷c#_$!$ ".$$#$$$#3$$#+$$$$$$$$$$M@(connect0$?Ж$$$Ő$$#|$̷!$$e_xy$s$#!"/!t!o7$$$$"6$퐩$#а$$$A#_#"@#W#$$"E$$ $$됑%%#$$g!ͷp$Ȑ ! !$!!#$$$%$R" ߩq $%$$7v~$_$$%۩$ᐩ$$i$%$吩#$$m$ؠ$%%$$$U% %%,$Jl#$%%1!|$$$]%%"%59u#% $$$$%6$$$$$%$$#$% $1$$$>$x%$%F#$E$%A%S%%A%(%D$$%%:$$é$%%>%O"##N$$$%<$$ȩð$$%@%H##) %/d#$c$˰#$%<%s$$$٩ڰ$%L%TH$$$%N%V$ʩ%B%D%X%b%I$o$$$#%N$$$$%[$%o%X#$ $%]%\#$#$%c%i%b##$ $%W%%o%)%o%$#$$%z%%%%p-A)%$U"S#]#:#%~4$$$0%?##.$$$5%ũ"S"NЩm$J$%D#+$$%зO$!#>#.- $%9/#2$%5#!5%ؐ# %%ɩ!$&?C$|"z#)b"nd%$%,%E@$%G%Pm#5%%ɐ& & $%᩷%Ŷ$%Ӷ#%%%%%'%@&option >v@%%$@)pick_spec+Ȑ@%ԩ%%6%& %ϐ%%%:&Option@'default*+P!A#A%M&&%%@%eqfunF`$&#&& &@&#89B%Z5B%e&<8BBABA@@@@@@@DsLEvO&ʩI%C&&&&P&G%&&C%&&D# %@%pickP 1%9#"x0&@#m&b&6 <>$&F\#%@&H#($$#$$ DF%%K@%#B&pe&G&O&`a&K&bA&MG"e0"A&& U#%sym_e%@+connect_sym'S#<&7@3sym_left_transitive&m&m&~&& @-connect_trans5{|&& q?&K@4sym_right_transitive:k{&& |J'%%G&#&&k&#a&+@,same_connect#m&~%&&&Cũ&x&%&&%O&&&&&&&&>@(connect1$?З&%&&&Ȑ&& qNL%n&#&'&O@.same_connect_rp!t$C#%n&}&&&&&%&&&&&!'& ge%&Ʒ#&&&&&&$[&&m@$rootK &!&& &@#idP!&ө$n&Ω&&⩚%@$pick =À&թ&&7&&&  ȩ &X%u˩$&&&B&̩&&&F &&''&c%@'eq_pick6y&ljz&&&S&''&%&$&&&&''3a:&4&.&&'';^&3&&'' $&z1&|&'!3&~' '#,&'7*&0'9'K'!$&%'@'$&ҩ':'U"!_&کY&S&&''`$ΰ%թR%&'BT%&'D$N$ '5$<#.&ԩ]&&U&'O L&'@i@'A$۩'J';$$&l&&-n&'V/%&@'$'[%&#$&کx&'NX&ީ{&'W' '}'e#d!r&($&)!k!Y$'!ed%'''ei''&'C'''k&˩''' @,connect_rootբ3'}'m'x&ة'z&''&'x&'z'w''''}'&'&*&T'''#K'é'''&''&5&_%#T' )''!vSQ&s''%B''''٩''I@$esym|ǀ'' ''䐩''''' %Z' ''''n@%rootP-c'!''''V"((!~&'ߩ'&$%M%q$X-/$$Щ%w*,%X ('@)root_root.{(5(3!&'%''@%samePЩ%6082< 8'T((((+(J(H@$type2@" ڷ"e'(*#e'e'@&subrel'5("(18("(E&(#_y_'kY( A('w(<(N!( (( '((-(X ( %ư'(8 >(0&'߶ ީ 'ʩ($ ''(/(f(g% '%ְ'(4 Ű'(0(m(\"F' '(4 'Z'('(v '%'](< Ӱ'_(,({(=r'q'(0(B(' (_(p(%"[('%!'%'' '(T("d1'!'(R!''(W(,(V''([(a(((!(W(]!((P'(!& ''˩ '(m((x(h'((m!f''!'(`(''(r'$'((((w(('''Z'w(}!3'1'(((' '(!'(('((('''>@'&Ŷ'n'(!G&.'(((%'#(ũ!1%(((ک''+'|&7(!U%&?((ϩ(%&C(ө!?%((Đ'Ȱ'8((ة''^( 'a''7(!g'A':(((&U'>(!Q&T((((("'(3,'n(D(%(7!~'淐#IHp''v(ǐ!}'R'y) ((ː'Y'}(!g']((''Y (Ӑ'])(!'g'`(("h('m)(K(䐩!&'r(O(()(됩&) (&(!&&O(()(&!(c((!& &&())5& &*) !& ((2 )5)G )$Ǡ) &k)$)!)Q)>)Q#exy+d'&9&v) (!&=) )&())KCm) U&B&) $)-))eCu(&&L%N),a&')K!Ȱ&)9(W^UQ&)v)9)dC(&& (&*)=r)0)H)T)\1w)G)M)a)r&Ω]))Z#`.TR  &sym_e')f))A@2symmetric_from_pre :((é"()L@$relUؾ ()x)(D(Ʒ^)p)h)m")q)s)w())" U)3"2)4)v",)"$) )")m)))";)='*)%)")')))(d),"C"E))"?)"7)1)).)3)))ж"P) '?()".()))ũ# |("Y()"S(Q"K(SE(U())))"b(ʩ'Q(X)"@(Z)))(\ ))( )))#ȩ )F-"r)G'a).)"P)0))#ѩ )6"{)7)"u("m(g()K)d)*4)ǐ())* )* ")sȩ)ΐ")a"|)cv)e)x))=*#a')O)@"q)Q)*))ݐ)"y))))(("}())(()萩(q"(u(w() *.)*.)**)O)(()"(*9*')0("((((4*/)P)(** ()b(>@)e(('* "'i"'k'm'(*S*A*J'?"à'C'E'x'v*I*\)y'('x*!"'M *c*Q*%Z'G"Ӡ'KͰ'M'S'"Ű'O*[*J*[)N'*M*^)K()(k)(¶1*7"'ԩ"'֩߰'((*}*k*?t'2*o*o*))#)g@!C(\*t'y)k#()*(ӶG*M#(R**}*Q'*)4(*W%(#'%*s*{#!*e&(*j# '])****q&'(<*w#-'R*|**!9*&"'*#:'#2','''*{**##:#4#''#,#*8** ***!W*&@'+'***␷4//_view_subject2_*''#G'****"U#̶@*#ǩ#d#˩^##'*[**##l#f###۩#^#*L*e**ک*ʐ#*k*ϩ****Ӑ#**tCA*ې#**c*ߐ#*␩"/#"."0##**++*([Y*#**'*$*/!#  "K#)*+Cqsq+ "W*)+$+G!#!"c)*+Y+&)%(+ @#orPA++(sS+:x++`$%$<*+M)*d"|$)*c*շ)*&#+sh"$-**g$MB*@+connect_sub'SÀ$6$M~*$4(r"+C"(9+X"E+Y+I# < >!!+b+j)*"('+}!# - /!!*+j!*+l+'_+l+\&("* *4(**5+d'+! +! ,+"]*+YC+k$e$|+^*$h$+a*++s(+ȩ+{$u$++n*(*R"$*+%P+"$+'*(N$$Ƿ*h$}("ѷ+$(I'++'6"G) *A*k)"*9*l+'>" )++ީ"" c+͐+"*M*w).'l+'G?)0+@$orbTUF"+3+C+$$++8Ґ2$$++;+C+$$T$+[+`+#`$שn$+_,+C7C*()Mc(e+Ȑ($d(++5+鐩tnlg)[,+,C"*()^d(f+ِ +c++m +ѩ$++++,,)n,%,D& η$eq_e *,,,,/*,)#+S,*(ϩ )+, ,$,6"۰,$,+$,,,,>$, ),,/$,, ,C(ѐ(ũ <, +r,&,7,I,@",$,,$+,,),T,'@ "+ط$+$+ک)ǰ+,1$++,^,@(equivPif)V# +$+,*$+,/+,lE,[,m%8,C+,9$,u 3,e&O#+$+,=$+c+,0,  (+,_,p, %&[.&]#*+۷%+ܩ,K%++,P,%,,{,% ,V L<%ݩ)+,h$++,,i#;+%+*+ԩ$+,a,s3+ +++٩#E+%"+,f%++, ,%'+*+,%+,,,,v, V,(,, O,u%+,,h,,,y%/+,,~,+&+P++Q [(F,%7+5, ,',,é%9+,$,, K+,&,+,x,, ,, g,%C, ,3,,(, 5,&#v,%S,,%M,,,,,+|,%[w,߶ j&[r ,7\|,,, &&#,R%i,S,%c,@,,,ib,,,%o, &?b,ǩ#,Jh^+b,1]+Z,2#+%{+,%u+s+,e-Y-,, ,Wuk,᩷,T+q+O+i+ ,̐%+,m,,7-KIG ]A,-/& ݷ +,,շ&e,@(mem_pred1J@,,%#d,G!m,*-,@*n_comp_mem{,,-2,,]-4A--: AAA@@@D+- *-1,- -I,--K-L-9-L-(*,@'eq_card6xTa-)-!-#,@%roots-c r)-+) ---)-/-1-1-= , -4-=*ذ,X?) -7)-9?-;-d-v,-=-x-(-?*-A)+-B-D'-D,)1-H+,,'-r1,-<-);,)6,Z,-f--+,%*,'-,%,-s-F,)8)H-۰-D--a)N--,1- --R-" v)T-$-&P u)Y-))T-+x----_@(in_simpl3ә-4-0-f@1expose_simpl_pred "g8-;7-+-,UU,U--RP,1,[,j-H,[-2-=-,-,`+:,by-7---?-ө)-S*-é-@+simpl_predE;vd-Z-ʐ-+L,t̠t,O,y,-fӠ-P--a-۷,M,+Z,ڠ ,-Y-d--,-s---u ɩ)-w:-y--TN-}-I--֩+q,D%D,s,B,k,+x,-u--..><-+,%,ԩ -.- .[ ,-ԩ --.,+,%,ө-. ... =%,٩!-./- +'.F.72- .--.)--g.-*,+.`( .!$.8"a'$.+$eq_a-@&eq_mem%ڀ.,... .E..0 .Y -* -- *-* -.- .C*-- *-*-.- .^--.E+-`.B-.y*).F*$.H.-.J+.L.U.-.M..2.O*4.Qǰ.S0*8.U*3.W.<.Y.k,-#-2.W}<M*E.*@..I. m.d..,-/, -1.-/..}.P.  t*R.".$*V.&*Q.(.Z.* ~-.-=.s..^.u6*`.w.y\ *e.|*`.~.i.A- ..,...,/-WO-W..<H-3-]-[...|.T.-/-b,<-d{.H.6.ԩ-e.. h*-lY..% }(.,N.ͩ*.©..Ʃ,@.ȷ-.ȩ.@"op +B.@%class V+G....*+.٩..ݩ.@-simplPredTypeǂ.E.é*.*...&.+(...R. *à.*..ǰ..@%predCt怠.-/ +=..԰. -.>9:.U/ /,/,-/,///+,+L.\..W7.Yw.Z.c/*.^*.`..b /+[.k..f.h*.j*.l..n3.p/N+i/%//)T/+/,Ʃ+//+/1  /1@/4H-./a/. ..{+uv+uw/2/>/i/i,C. /A/@%andbT4=/F,/`+s+/W/*/[~/]+./_+)/a{+/a/4/e/6@%predDt)k/x++/g/B/kBհ/m+F/o+A/qv+J/s+E/u/N/w3/}+/w/R/{Ry/.k@&cardID4///-//+@/nary_congruence$./,//////+,r.+٠//p/p/o+t/+o//x/x/2/̐/+/K+/·.t//-C.kà,+/B/ީ+/H/.q////w+/$.Q.{./ ՠ,'+/+///u//+/+/é//{./Ʃ,< . ///.`.-m.0.////+/өI/+/ש+/٩//۩/ݩ/ީ+à/%0./90/ǰ/;+ɠ/=/?+͠/A+Ƞ/Cr/E0:m/G</-.,g.000RP..ũ./V.Ű006D0%..ʩ-.̩$++0G0;0=+/a0-j/c0/0-.٩1.ٰ0!0J&j..ߩ./p.߰00PX0?..-.>,.0$06g0YW0Y, /}<0I/0K02-Ͱ.M n,0>0g../ /V,0;d0p0_./-ް/^ /0B0T0w0w//0g0)/,+/9/0mɠ/0V-/@q$/0a0©.//.//0[00./$-/& ~=0`0l0t00,G/Q0İ/00p. /3Z>ȩ/ /7/F/00/7/0^/0/0./DkO//H//I.#/KE%,0}{0.*/Ry/,/V/V/0f-/Z/0/,/_.9/a0Ω;{0Щ  0@%andbC4,,/n*0*/00.Q0 հ0 0 0 /V 0 0 000/S.`0  00թ 0 00%00 0ǩ  O 00~@*eq_connect ' S,ʠ0,$1)߷*׷/0詷0./(1/0 ))/{0./(/10(/۩ 1'01" s0@'eq_root-5 t,/1J +Է   /1 1 /ȩ1,1/1 0]11=1+/1 0a41 11A1//1"1" 81"/1%.911 $crev/1$.@0p1"./G10}1T1BI1/1".J111G1Y//P1 1&1K1://.˰/1`U100.V0ʩ0)1:1B1e0 א1;0.1---Щ13h1801;.i01)<1U1f 1y1N@1? 1R@1Cx161H1b1Z'1I)) 1x11i /1Y0/1T711}1m011C0&1j1j1k071n.00] dg0<1s.01`1k0C1n E1i 11*(K1p*(1q1l*"1,0O1- Q1X11 X10S13*2*411x*.1 0[1  ]0X111%{ V+(c0*@01*:00g0 i0:11z1 S101111~%v1  Z111%s+(v1< N+(z1+*W1,1*Q10~1 0é1?11 x11*111111吷*d1f1*_1Q01R 1>v11#p_y P10./=(10*u111*o01_11*z16/i01*. .Щ(0*01ǐ*}0{1h12 *0/w0~1p&A/V A2 %1J1@#rev'D1O ө11ܐ*1V1 t01 s011㐩*012%0011R2)1211*1h.r1i01S1200ǩ*1.x100p12 -28*11 *1  *@(rev_path;1(112232/12 *12 1*12<,+12*14210162017/2T*1@)last_cons<>1@2 2"21/̰12$*12&S11P20,F1OY1O1Q12001T/۰012p 2@)rev_rconscl 2K/12>*հ12@m1 1j ש01g ַ01h/01*01x00e222O2z2a/12T*12V1ͩ1u Q,u1~1x 01012*12122+1f  2x012k+12m51122q11;1122eG212H@(rev_consz 20,1221,12tq2é+12v2W@*last_rcons1u12}2}.22C1n/l0+/`-22222!@421~2 2]2220*2C3 , g e2$cl_a12¶/2@2(Ķ@2122(212v2N12/2ŷ22/21/122Y//Щ2ʐ12r222t.212v2 32@!2א 2@2ې12n2F2Ͱ2p.22㐩12v2  -33&2/巐#a_y2,/{2&2233+32,223311Ω0222f3.3=22232h232j3*332110.38?2232u 2232w3N/3= _!,)2+23+2223Z+20Ȱ23&+223_3322+᩷+2K3'+12[3,3i3j'(+10ٰ12ҩ+Ȱ13!3p3_-I*1l+1m37+1123y+1r012۩+ְ123~3@212321-2v'-13d3u3'*-`*-2q', 2r023?+23S3-i*62,2 3W, 12 3J3.3[2,133M102333,2۷^3d,223o3,123Z,23n333o2@1, 13d322,233223z2K133l112.33332102 3,>01(3332]0,(033301+0221̷332%21 @2-}00ƶ32p0330ũ1<01B3,]0033Ʃ32|,Ʃ,G,33ĩ3,,0330߶00ֶ̩320330013,t,033ݩ32,թ,^,33۩3,+0萩203321h3*1?11)3Ґ204Dѩ3א,01433ې20,w033&4 43Hз12j3䐩22t4&*412q,2y )11321J4031L1J2y3,1!1T4%432ʰ1,144\21X#a_x1!Q4"/1/ &,1+113r4-*ʠ411 %4,11543~4)4341& 14,-1-744#4=*ࠩ4&-6413̩4*,-!-;344.2+x,ʰ+z33֩4"+|1+s-L*c4f4x!>4U*4>-V F#44n4 *4N4C 4H3-[4;2#1u34?44cC!3-1+1ڠE1G4U3&-p,-r4\4b#P"NK1!=44P4h4C!3>1<1O10Q4f3734q4X3234\#[q1q44 .X4nͩ42@*closed_mem444l443_4 y3! w. s43g4G-F h( b. \283`3^3443._403b34 T(v. Q. J2D3l3j444434A3n44444-_4a G./ C42R3z3x4! ?3T3 >3L3Щ2Y333b4T43d14833f4444␩4ɩ44333޶ @2h333H443J1}333L @ >4ֶ434"3z@4%333X <2x332)442+2)3]32- <5413e32q :23325 4˰2K2{32  : 8334>333l 5233254ذ223q32 555,4U34f+03ĩ3°35!C2&4l-4 533 323ͩ3˰35*43/33ϰ3 333"Q 1. )55# 2 5& 233ް254222932  "50  5W5D5W!p /.2Ȱ332I54D32K5$F552 *2Ѱ33204333325.-.I2;44ԩ2ݰ45`4.E-ΰ.G44թ5&.I-W2C5x+5fC!3 A03ɰ5S5A5~C" 24425`t42 v 5H5sC" 24455_45 5i 5 a/g5425q25k14"4!cv425A555S54˷4C5!5 5V55z5y&t555s5tC"34@4>5-55_5/4B5155h5z5555j5|555C555k5P 搑5 /g5}4e524"ک5"۩394a4_553=4e2 15T?54g5V555X5Z 5[15]H4J4t45a215M15O55Q15554L4"3Z445W545Y5 3`4545H5 55J5L5M15O15Q55S156455,U55$P5&5ݶ#@3y42I:4{44545|6-54w4#'+342U6 &6GF5 5򐩷5#0U342^1հ5644H644#;?342i45526 62\56R.6 #Gl34,2u44ѩ,644Ӷ#PT34)6Cn526"/{63444\443412455}T6Te6B24C#g3Ű4X46z006߷6<5@,intro_closed:J_6=6E6V5@+closure_mem/Հ6D6L56G3c5#67 2@/ssr_congr_arrow5ۀ6@566W626V676Iܩ6H566g6^35!26A6@6d6E6W6i26G6F6j6 5.엟%6@@6t5522(66T6 2F6 6Y52.66Z62L66_665u@+eq_disjoint16g$6i6{6666C#D@<6|5M6$66n6&2`X6&6s66666Ő60n65l665`66|65q3o4%$55x565|6$Ǡ262666 j(626/663t3oЩ%9656656$ܠ26s26uH6b6327+FiniteQuant@'quant0b,!26̷56ϩ @%R1p6ͩ@*quantified+c@A$74\5@'existsP7xZ6>7%6>56?6ߐ% 2Ѱ62̠66հ67'766됩%56Q76߰6S&\26V7"55ɩ575ɰ67:X755Ω6%(7?2777A27 7  n77"77 %555C76y7-7-7P577/-7@.in_applicative,#7$76M7 @:check_applicative_mem_predb`р7+T6@0connect_app_pred)<#Y7@/expose_mem_pred{^78a7B72%]667d 56 67E6 7A7|7Z567?%jv7F7L7X7X77337P 7b 7R7d7\7L%w456#4ڷ56$7S%~76&7\7l7I7C4/7yީ7J7{4␑7r1xF7} \7v6B4@4444/Щ4A7 W7\7AF77 [7k7 ]44%77772@+mem_closure>(Հ4x71dA?6a4447517 677x6Tb677|K49@%pred2'p77֩7 -416q/^3>16A6t5N7ͩ 7777 m7774*677˩7"-3V797n@,root_connect7GC7̩5g7647'721ک1747Ω74 49*6j75w7)8 8 7@-4K46@%card2 7wj 7E3̠7@&_7B 3Р7D3ˠ7F\3Ԡ&4h7I764ũ678,7ܰ7 3ޠ4?(76İ88578 38&z8 3838 78  ©ٰ8 7l74T>v4T8$854Ր4Щ8 6ް88=78 ש48&8 4848t 68 8I8 8" 4 47i8b87@58(8;@8,678K87B4 7&7 ̩4$7478(7L8-8?8,8" 878V #8E788d878[498/8&r%  8~8%a1/8Y A8^8d88]4M8dH88s8}8d Ѷ6,8g4W84R88[84ME88`8_4y 4{7[8}788/48z b88 78~4n84i88r84S\8%8*8v8$ 4R8%88787^8888 '488w8878.#88%8/[8 5=.888䐷$C246U4>886u2878*8:8S8%28.7W8/68474787278H87 7778l88˩8ʐ77~887547!A7!"788s$788z9891\2g'j8U78V84а8'c84Ԡ8 4Ϡ8 8ذ826Ω4۠84֠8-9/978177847'z7474787566֩474787E J4,z7889K9L3$'777957'757579 73éQ6Ω5 75794Z e4\68Y89g9)77{6ݩ973թ54g6778f778'k7*9g9y%3R'ʠ7I299l9!t8f/_view_subject3_9G577'ʰ75;75689?86?7S5B85=89F7 4ʰ7889209b5R7g99f5V7d99|99m5]7W9779r5b75]79f4 37 8+8990;95q6ݩ5l6ߩ9u66ߩ67'8895{65v692K 2M688D898g6©668J96 52K3668.678+/(99&9ĩ0g957J57L97N7L79D9999#ezt988K9$exyt987_9٩97a 7ZN9۶97w2958S):)87}298^7298[9֐86(69ɰ685ˠ6N6/77 7177 8o) :&97)V)T72977298|98ð6D77897657k6L7 77[N7 7 7(:C()q)s)q7297h7297:83*a3*77:3.2e6302fi327&7Ck347(7z:^(55 17<:&717>:(876@&pred2P77E7E:/7:/8:I7!3d:B:297^:$7`6&7b37d7:E4[2:A82ک:A97KO:37M7K657O7K7V7k:M:7:y:`:P9!7|87v7v7~:Y87y:Y9*7c::K7e7c6M7gа7c7n7:Te:3<87778:l7778:n:::p6223::24<9 9J9Y362;7:2=7:,6H:9Q7.:r76t774 76 7::6489>9h8969i:6;:ک2Z;:۩2[7II7G@'eq_reflM7P1418R3a:9W::9|7:767۩"4*y43P:9V3Q:97Ʃ:77©67Ʃ/7w;9L::թ:Ő979r7u9j7:̐97;:77֩67کC7s;q::ِ6|24T=k9993|627;%jf6;%98 :װ8 F6٠8 \8 ~8 y8;:6899899Ω:628;A;Afd;29986;F62Ȱ8#+8d2C9787ݐꐩ))?8';WCq978?7A;9:Dp9;:G47:T:Tw:[::ͩy:]:;)S7)t:7":):7&:7!:;*:ҩq7-:7(:;1:Ʃ 6:;7;I8Щ);C':&8$8Ӡ89)3:9;g8ܩC;C(:2808ߠ8$*)8(<;:ũ;aw;u;97;勺*ԩ*Ҡ9;P;9;R; ;p:A;;;b;7T7d;);`7i;!*;;9G**젩917;947;#;:];:;~;!7_7;#*;%|(7;(*;*++ +9M;>; ;C;H;9Q;B;;G;L;;:{;$;;;&D7;(*1;*7;-7;/;;1O;A;Zz;*b;7`3:;;3:;:9M::;?;<;85Sc;۩;ː:;:x;uI:p;v;Ґ:;e<F<;<;;ِ*ð;;7Ͱ;:::;*Ͱ;;<'7װ;zi<)d7<*:;fz};h x;<;* :Ȱ;::Ω:;:ΰ;,;;D;;+;U;d<*;U<<Q<;';Z<*<˩8{<S<<ͩ8}<5(<<7<<<*<<M<;E;o<===e=q<=:;:꠩+=! <=s=61=u=81=w33=z6==ِ,<==<<-=A<<=㐩,==A=>'>'9װ=z=RT=8=T>=,-95=> =_5=> > <<ͩ+=\>;<̰==f==h/$>>,/A9;<<;<<ީ> ,8*95Ѱ=>>>S>S5Ӱ<=~=~x<=>,>,GY;<<;@>`9à5= =>-;~>;>+,Vb> >2>D;<=f=>$=}>sj>7=>Jũ<= ;>z 50>D>P8V$=!>`>U;>oZ̩:>]>8:ܩY:@%pred1'o:8q>~:=>F`ʩ `<><>r>h=z>>穚=e@%card1 =Z>~:Y>,>U2:^>:Y>:b;);>>=U;S=I=>>j=F:l&5=>kͩ>:v=:q=>ʩ;X ;SЩ5L>z#>:>>ũ, =j>>ɩ>>^::T:?+ >␩>@'F>@5h>0>:>>Щ@ 6w=>B!>>8H=>ж>/<>ݩ5>Ɛt>ɐ:>>6G4  >?+ַ>(???,$E#r_y<;[i>+58l ϩ<>tA=><>>A>F=>·=><=?>?.?ǩ? ?0=@&eq_sym X>R??C>C+Q =;<;ʐ<>? ^ -#<S>>?F? ??4C,V=;</;א1<EA-56ϰ> ?.<"?R8<?Ue?)5ՠ??&>?;?,>=?(=?)5⠩?(ԩ?*w?j?G?X??5?1f?<>?Pѩ=>j?:?@?L=> 5?<a;?|> ?C,?Eĩ'?GƩ"Ʃ?Jɐ?Z616I=><?А?b66Q6Q?e =>(<߷=>)6;6W?}<56\6\;d;dC ?r?r-ȶ@????!x??z>F>=ԩ8|<@$frel&&|??89?=(>ߩ;@$iter+|>???8>??Ʃ8K>?8E?8=;G??Է8S>=B?????83???۩?+? ='?ސ3?4'8W@'traject2kj̀???֩8^@-fpath_traject o5`?:>X?=e?#??8T??? ?ө???ܩ8u@,last_traject/m?(???㐩;ɠ?@(޷.4lj??@-fconnect_iter ?@]@@4.@xv@  ?@ #Nat@@6` `<?@%order'2<@+@J.V@ @=@?h<55ᐩ>Ͱ@@>?@Y5@8<<@4@F@C@6@M@@8V@88Ϡ<<@D@U<@>@<<<@F<@H@_>@\=߰@^?Z@x@w@w<@N??@&cardD14@U@n@U=@o?k<5E>? =׷>?!=@z?Đv<5<?@H b̩N bg@=@ө@=R ")@='@8?r@?j@.>x@=(@ة@= =0="@<@-A@Ր=:@K@@@DA@@$size'P@DA @A w@H@A":t.@@쐩=Q=I@Y@  ,;A'?A@=\A9 A9SA'2@e>!A?>=ٰ@f@@h =Ԑ=Щ=A@Aϩ?=]?AAөGAA)AA >=ɰA! AX#_x_@~.lA?A,Aa:8AP>AQA)=@Am@I >AZ>ݰAAOAAtA7A=AHAa9?AdA<=@[@@A3A5A?Ao>@AP@A@@Ax;b8/Aw?AxAP='@Ɛo@@@?$A?@A\@A@@A]@.@AbAO@;/@:@@@A5PAAAA5M;8PA5?<A?A @کAAAAd;8YA?EAAz=ߠQ@AAA$<A@S@AAt@ A:4A !A/AAA̐?ZA*]A=gAA:AA;#?DA5AA7AA?AAA@pA$A&AABAG@N@ɩ(@AA-AF@H@̩A@{@^AA@`>@`:\@>@@A:AAA␩A=AVAA[C/@P?C>A@A~AݩAA ԩA:pAR AА0o@>KAA>M@ʩ->OAA9?Z:@(trajectP2@AA@BBC/'@p?c?B A@> 0 G?m@@*card_uniqP€ALB*>O@$ltnn+j BO0[B%?(BB @@ʰBB;A>!A@%orbit'B;BB6BH>֐>ЩBCAyB-B>@AtB@B"! Ω] BVB+@B B/@B UB+B7B?B&@B3BEB>y>\-_ sBZBl/}*;9A:AB6:BCBMBx BLBH::BEB@:B~BKBB6A HBs<]9*A;ABK;Aީ:A!BAB vBRA#ABWBDAAY6@B BwBB6=q!BmB nBlA=BBwB^>xAYsBBBYB.̩Bv;,B};$>!AB< 1 BBB@.!B>BvBwBBƩB%B;HBB@9B> ABB0B1B7BBө<1#BBB@DB BAB"B#B6Bݶ6@KABD;:ABABBAuAXBEB@@AZAB00BBB/<Ʃ1>B&BBBB޷Cc@;@&fpathP+zCC?CECjC|C0B@Ƞ@ 16@Ω]6C0CHO<ש:/CwACxCP?'A C}A?Cr?CBClCkC<A*CC_?Ġ63C7`A1CA?nCo?pCCYCkC=:NCA:CCo?ԠF1A?CACCwCv C+CiC{7aC CCC7^=:aC#AMCA-CfBP=:hCATCC?`(C C3(CCCCCАA^C,aC?k=#ADC}CCCCCCC CE:C$?CCCBNC6(CCCCKCBHC9C C2$CPCCCCڐCSCCCC0BHA;g@i2\lB#CC###CCAG#CCCCDԷ2*b`CCةCȐ'@^)CCD C@=CCD;BtCC֐'#ީ7"]D@C@*orderSpred#T𐩷CC䐩@_f@|DD( BB@el@~D D?D.(@OD DD "ED!DC@(contraFN8ߩ|@DD,D>@cD@1PD=:D2AD3D @pD*AD8A@_@aD/C{D'D&D?<ԩADBD@CD]8ADIA̰@)@+D,DD&DR><; DQADRD*@D/ADWAڰC˩CD4CD"D3@BWD88Db DUDfDx8>Q;Df%B DgAD#D%CDDDJ>Z;'DoBDpDH@DS,DL@CDYDXDD}DBD{<_i_nDV@-Dm*eq_fnx_fixBDAĩDqDa@ƠDlCD%CDDh@͠DD[DCސ.-DDs@ؠ@РDDgD@Y!DD~D#D%DpDD>DDDD)DvDC&DD@@DDDD 6RЩ@D6DD:@tBC}!6D<DCx2B%AsDD' AlAgЩAyD5DD7@u!۰DG[DDD;@yBDF)DDM B8AaDO DA3DXDƶ@D!DXlDDDCD5DDD7UBDB D;DbDgDCnC!DM?DkDChC@@DːCCDDCABĠC 0CDDYDrECDMEQ DOEQ DQS S DTVD@D␩CDuE$+CCCD`EDذDmDil$E+&D@.fconnect_orbitrǀDxDDE 2C>;۰E#BE$DAaBE)BD0EEE.=éBE1E AnEL9 BE8B@GE@IERCCEA?+;E@BEAEA~6BCCBEHB˰@,E#@.EbCCE$CBE)EBBCBBCCCܐ9EYELE]Eo9?H<E]-CE^BCsD'?O<EdCEeE=AZCCC4ECDCENE5C?C<BCCCD}EEyE!jEy%le_jnETA+>>CCD©CED DEoE_D0C@ECDDC@sE|CCDCEjD;BEE\BBƩCcBĩBCCCEEuE@TBNE2_discharged_le_jn_E{AࠩDEDgE?EDBC(DD+EEABEEEEEAEDIEǩDDDnBED$D>Dq(AfEEߩBD;B@$ltnS+ji E4EAP=oB@*nat_eqType4XEDfB;DhEDcDA]=| E'DEB#D!DG#F%B%@)leq_eqVlt X*xEDbCU<ECEEѐB6D_CEC>Y>EC5Cv[>FC7CxBBЩ<°F CF E㐩BHCCFC>k>ECCGm>F,CCID>Eް>?iO>COCD~C|"?kCQCDF4F FCEސKEeD5j5hCF DFBiD<F2CF3F BpCjCF8C>>FC2C:>FTC4C<5>FWF*C55Cʰ%F"CF!BDEC=FOCFPF(BCRCFUCذ>w>yEC:CO>{FqC<CQ5Ft5555CBF-CF>BDC=$FlDFmFEBCgDFrC=ȩ=E?cCW=F?eCYF45A>FWC3Cީ4FYC5FsCK?`Fl=>F|D*FD >>CCCwE FDEF=HFAD4FD>>FCvC<FFnF:TFEEF D6Fq:YFF|FBu?"FC3ETDCFF|EMEFFnE@NDuEEF F#F(5,EXF FFyFF FF,F1DFF.F3FFϩE@)card_size쎀F:C3Eu/D"CgFCFFF5HEt&(&FFFĩF&&z&FFFD5&FFFFFG ÷5QOFCFөFȶ@qFCF/Fz@&findex)XF-FFFEoEEgE@BFʐC/F@FFF9FG©F@FאC<FMF@%index( CrG"Cv-AECKF\&Gة&(G.ީF@)index_mem': G @FC_#cEEG(8EG)@GCgFx+CUG%GH@GHF@*size_orbit$%ǐC!GPGo%5{GEDG@%lt_ixGCG1D̰GKdFG8G@F@#nth'D FGGFGAGIfGZGZAKG9 G;GEG=FGGGOEG>DG_xG:G@FGwGLGwGDGVFGN?@+nth_traject=x0ԀGKFG]GnGUGUDGoGsGsGXGHCoCG_GO+oFKGXG\FzEGFEGEGGGaGu}G37GGeGGaGg0Fǩa!PG1@*index_uniq.~bG?GoF GGCiGGG}GmCҠFFGɷFGGtC٠GG,n!GG>xF$FNECCG+CMG:@*orbit_uniq" !>xG5&$GDGG@FE9FFGGGF;FeF3Ff@C[EAGGGGGGȐ#fxyVEjGǩD+QELG$G"G GGGGD ϠGAGةӠG׷FRGܩGDGGݩݐG̩GFD GFiFFDAGשGDCFCHD)G:ذFGG{GݩExGҩGG8~GGAGGGwGFtGEG|HGHYGGGGGCGGGGGH G吩GEGGGGG䐩FGGOGְGGFGGFGEG~H-GHGGNGGG]HG@)nth_index7 FGH H8CHHHHZ 6fH0HEH.)DHF<GB%H28FH3EH50(H*5GHMt4H"EH<FFH>EGǩG<DHYxH:HIF?GͩFFEFFE˰HJFHaGԩGI(,HCGH=&LdGHi?DHYHY DH[D0HZG␑H E6ӷ"T'H@ I qD@!k@H_H$Hp&eq_k_f"]GH]D6H_D@)invariantWW@HfEٷGEH\5HT%HYHHAFHHHPHbH|HHbH|HHsFHGHhHnH{HoHrH[HBGGsHGطGHFHVHHeH~HfHHHHHHHF'H`HPHGߩH HHH&GH5HHH@HHF4HmH#H/HH0 GHHHHЩHHF>HwHH4HhH5 GKHGHHH HH۩D<;HHʷB-'HFP3H *H!HHHHHHKGW%HS 3GHH8HGS*F`"HHUGꐩ <GmHGHH1H鐩HЩFkNGk9Gc:Fp2HeIIHkHOAFxD@Hn !+H"DԠb/C6$|FtsHHH@+iter_findex=׀HHHII I? 7K AI$#f_pHꐩA@%cycleUEI1 I #p_xHGȰH[I9H)(IF.IEH@+rot_to_spec @HHoI#FG۩&=I I'IJG۰IILHEH HwH@&rot_to9HHI3IDBBI+FID?(C3Fɰ(H@#rot'D[HISIHEHI0Ig!r-HHI0FڰH&dHcI"I:HHWI<I#HdH`HԐ9AHHI>IXIiI{7NqC@JZJVJJ&J AͰH^IBBHIJ(IG۩JRJ3@֠JAܰGөHBHIJ+IJ$BE]BҠE_ GHIJ3GװH'aG̩BڠE< GHIdIѩIE@IөJ$EBGIVEDIjJ;@f!JiJ{7AJX@JA-+JJpJ69#q_xGHI귐#f_q,JbI. JT(G"GЩJZ'GCC GGIII1CIJRCDIC IJW#JJ|@Jm J@Jq'GCC" CHIXJzIKC)IJlC+CIC-IJ$#JJ71DAjDjCGDkJCAGIJͷCLDpH;GI©C*GIJҩJ 1GCTCVGJCPGCHC* *GGH>JJ>CaBHPCI1C?CHJJ֩DACƷCjCǩJCdCC\B0 >CCGJCsCЩHbCHUCQCGJJIB;H[JB=CɩI߰B?GIq>CJJK>DݩAG1CGHvGIRCeGHkK DAB·CBéJԐCCCC" dC'GH7K8JܐIC(IjJΰC*C"JC,H?JK#KK# H7=J琩CH CC wHHIyK-D|9KKKHAK TCAHHHQK8K  K%CK*K(HAJi _BXDDH$KCKDE9K1K4K2HAK iADDHKM? HBXH8CBZHKKIAH6KA@3J8AD1H9OKGKKK]7E69KK$KcKPKcKNDHҰAK< BD@DAHSKjK>?+HڰD$HCɰD&HQ BDB1KaK5JAH_K'AB}JYAHFIǩIB| AD73K\IB??H@aHcCݰ@cD\KKGJAHTK9A@oJkAD\HKKVK{D"KcKSJ$ACBHb J@wC@yDr ABBDvKsI@}KaJ2AKKHKKx KD&KKI@Hɩ AAADKKE:KKKI!/9H AAADmK3I'AAD@qDxHDxKJSAǩD@`Bѩ AAABKKyA@bJABH9KKK7E:!K+%K֩:<DMB DEB" 'B"BDI;I'hB$BDI=K>K࠷KK˷E.IOAIB B-BIK橷KbIVB%B/DG@zD B+B4CKDKJB)DO@D B-B/AK©KB/@J۰B1D B3B5GKܩJj/Jb/|IpBB6Da@CL CKːJ@Dg@gBR .@B:B;BVKéK°@@J@BYLLHLKIBVB` a@LBcDD/J@ө e@LBZDܷJ@ֶIB+BYL*C4K됩J@ Kݰ@@ϩK@Bt P@B\"K\L3D@D8 6@BmDLL !KJΰBs @L BwDHJ@J@IBJBx @L B{CVCVL Jް@L="LOZ PABE LL&ΩI°B @KBE(E(F8A  A~BEJAةḬBdLaClL#JA  @LBB:LgBGH@%iterS,i߀L%def_xE жPL`L8K B} BL|BCL,BA BBCé BBE: )LWLGKBEAL9BA9 BBEEJBCJBLRK#A8LLDA:A6 A<BBJL BBCLLoC\KK2IH'LK0A;CLQA=A:KA?C AABL|CcBCC^LrLC8KH I|I:~@mJEJE EIL;E,EJLJ CI|IJLLC9KY JIK;'(J ((LéL@@,path_connect+CtJ(\KLLL)C8Ki #JDI[FJWnf;8JJ/LC9Ks -J IeJFKn-KlJLLJJKJLEL;IJ.9L向M$; HEhL÷"UpL0 NLLKLLLIHLΩLͩJhL dILFLILLLLLϷKgLJtL ]M M  LLթEJ{L0LL۩ L萩L٩* L `MJ͠KLCL@.fconnect_cycleSLLLJLMM!M@$;L EM%<: LK7IxKLWMD@#sig#* @M JM!JL LܰLM<MKLhM-M?BFMJM-C,iGJ,L'LLrMI LLMM9JM:JKƩ KKMULLLM!M5MFMXݷLMM1 LML2MLJMMJаLK (K LLMhLMiMVMiJMTA),'?AM[MNMEJL LLM@ \LLݩLMXLߩKMg bLcL޷KMjJK KLvM5M&KLLM aK*M@+order_cycleɀLLLLM?MQMWMcJLͩ LLM^ zLGvM ~L=LMrLM M/@(size_rotMyLMMyKL LM Mt LLLMxMLLLLMvMLLK!L* L*LMi MMM= M~F4M MM:G<MMMK4MHM KLLM`MͩM,MFOMMK@MrM HLL M2MMکG<*MǷMMȩKKMGMHL/L0M$MKQKKCL4M. ͠KELʰHM2M;MMM:Gȩ<@M!MMMiMGCKdMHM#KLlLmMbMMѩKlLQ LQLJMb LSLHMf&ILP1MLt+*HLY*MLn.K{G/K,KpM K.LFMNNMNMKLkLLkM|<LmLfGN LN MLN KGƩMK@MEKBKKMN)M KEMJKGKNN- KNKL}NN ILC;ELKtJƐvKL[LM0M #LM LSMN<FM6 N N$K M6MN N&NIN&hN H-LZLL,I٩NFLSPMMNVLJN+4N2M L L <CNbNPN7@N(FM FİMN5 LMFMT ͩFʰMVN5"NrHMc é?MZN9 ŐMNLNVN=FMn NBLNBA@FLG LM LطGLDGKM%NKݷKK2H7<GGNnNDnNKNoNwEN`G LFLNMLN MN Nh&$ LG-LMB LG0KEG2HVMGNKKKз2K<G%GNNDN MN~G4IZNND%NN;NECNG5L ٩G%M?N~N~M3Nϩ=5 < PL;qNNԐNZL]VNNN&=9!SN@)pred_sortߺNԩL=Nַ$f_inN@(prop_in16N3LNϩNMN N@)inPhantoma^HXN ZNշ"xSNÐMN'O N,NNکNNN̐MNQNONN wNNNN@ONNאMNj\NlONNOO ONߐMNYdN[O#NNHNXNSOO%OOLO<7<:N퐩MNNᐩtNO!NN\JO3CKKN吩O~OOeKNsKOOO}3OXO?OONO:M3O.OzgOIO N.O%ONbKKOOOOKNKOOOٶ O3O8O1ODO OΩMMOOBOO  OZO@?1OL(/OOO.+N\NNTNKONK<KéO/OOԩOKN KOOJ:$PGOTOO.OʐNOOАQOPOOOOONOO3OO٩OOPOOMKOΐaOPOOO?N?LMOOkO{POOSOSO쐩F@FG/OwNǐG hFG _NJNP9@O*MM.O+FtFN<HFݷKKGİMZPFP#N|FnfOOOOkP'$P LNOOP(OPPOOtOOP P,MİO=OMP?F;5P_P2M7??MҰOOǐOP@OP4P4P-AFݐG OcOG FַGNvO Py@NMMnNFFKvHFJHK堩HIPPcNFOOOPTP_#ѩPMLȐO OOOOPVPCOOOOPZONO O8N]PM?G:4P?D?>?ϩ?͠NOOOOOPnPnPmGH {HGHKOKP@NNMNG 穷GKI=GI;I.L$HCMPPNFOPPPO"PMO_NNPOPPNNNOPPNCO!OIwNoP?Pܩ?BzL@H_P"zPtN+?=P$|PvPMP˷+orbit_uniq0PM%O}PJ1PLPPTPPPNPJPPPXPPP>P˰GgH_0"ZPZOHb0[G`Hd4Q@PGNiMPHGU-cOLjHOMQ PFࠩ+PtPPPP󩵷J^GPNP NQNP[[P]QPyPyQI Q DީNQ NO!OiOqPOPkO'Q*O.QKGаQNQPMVPNQNL-O~{OPOP}L3Q<OdPMzOҰL:L<POPPL>NfL@OPPNNONuPDQ;#Q.Q?QQDK*GQ? зNQ@NðOiPKOQ%PNQ OoQ^PPK7HQL AQ%MOOfOhQ.OPϩQOjOOlOPQ2NܰOONPQuQbQuOQ`  QKE8NO$OPPpQ/K]O}O OPOOEBNL}PQͩQIMĐPLYL[POPթQ?L]NL_OPPONN4PQOQwP M@&iterSr;yWOQ~PQ>)JO4QiP:OO9QnP?O@@$loop$QL$QQ@@A@A@@@@C$QJ2QŠPOTQNQO6O&O(Q1PQ$QJM$Q$QJ2QנPHOfQéNPQ#QNPrL3QQPwOCQQP|O=;$QJ`$Q8$QJCQP?OQN2QPeJiLJ$QJ]$QG$QJRPSOQNAQͷPjJwQQ͐NHPJlRQJnN2JpNP\QONߩNPfQ]JQbO9P+qQDAQHİR OR Q吩NJQOROJ=mJR,OQ@W@UK@WKOOOO P|R64H۰R#OR$QNaQOR)OJEJRCO`PP԰JXQJL5fJOQ;QO9O_OQ=Q^R9RKER8,'QwR#NMMQ{PQR&IR'RPOQ1PPOMRIPOwOyQOQQPO~OPPQSRaQN)QƩR6I#R7PPOMRU|OOPPQ[RiR2C?y.OŷOQ`R]RoRLC?QO`Ob*@eQQSR)QQөQQ4RZOǩmQQ6R\YR CQ$QORQQ%$R0@&cancelں7QQ/0RhR*h@QRqRaQ2Rh@RhRnRoR#RyRimR{PRR]JRR`RyЩNRRjQRRRRIuRRyQJR9$"Q&QPPNERQNR%֩VR%RrRRRNRIR!Q3Q]PNRRQ[R2RRR[RΩRP=R--RQ>R;ǷQ6R<PCR)RR-RU@)f_finv_in RCRRRRRߠNR=CR$ARPRRRRUR`RRR[S *·AP  nlRROR·R$&"ySRQRR$hFPoRj:%3R٩PtRZRnQRLRF,QoRGP|QSRSRک9RYRrRwRRRR萩RPRiR}R{RRRQRVRfRRIQRYPRRjS%RS$@SRPRzRRRR쐩QRfRWSQRRQRPQS3RS!RzҰR)R}S_R+RRRRSS9NRSS*CR`$ڷIRa?[S @PS&PRS$S5SRmRmSj+ AvuskiʩBRx$RyPJS#@ ǩS0PSYSKS:iRPSS, R$RPWS0PҰQ ө0\S,SiSWuRP_S8"SfS=+,S8R&w&_Hyp1_S9R RSiSORթ0sRS]SUSC0xRSZSbPPЩSK0RRSb0RSdR,SSe@SV Si@SZ0RSeRũ'>S`0RRSk ,SS@$LQ6Q7SlR=RRߩSp0R"S{SuSJsSSwRHR+S|ɷSS|RMRSR)RSQ OHS0R \SsS&-OSSC@&QSQTSySSSSS@٩SNMQ]SRcS SQbSRhRS S0RMSSSJSSRsRVSSSRxR2SRTR~Q5OsSȩ0R9 SQS-BOSSC@ WQ~!QSSSSSSClS%ySS·PSQeR0SSS0SSS ]S̶PS `S&+SзR ASʐ0SpeSS驵M[JSdLSeSԐLSNNST*#SuSSLLSSސLR0ST T!GߩLRQRnS֩LRpST'TNJͰR#LR$SLR~ ST0LR)QRSLRST5S1,R SSGR4 TT*T<G߷NJS&%*]NJRLRTLR CSTI'T 1@R GSSTNT;TNLS *TLS8TTTMQ°RTLRT TGT-T1RR YLRST>SũRRLRST:RRT(1]Q TjSTjSTXT?SRgOR/_discharged_xS_T5SQTwO0_discharged_f_p_T<LQ TlT[T@1uQj  T_ TUT_RҶSQ@SN*OQsTLSQpTT>Qr QTSM Q] TTrTW1Mp  TvTSQOQ~,T_S0QiTR*TdMM TTTh1My  T SRSQ޶OQȶ>TqSBQT<TvM,Q TTTz1Q  TTTSзP SNTSRSTLK/QM2Q *TQSMHS+ʶPR'\TS`QT¶ZTMJQMBQ #TTT1QMHQ  T;Q1 TBΠLeQQTTM^QTTT ǩTBڠLqQQTTMjQMbQ TT!T1MөMhM  gMQ˩QTשNMSdMݶ ߩTǐBLMөMT-TMMߩMzM TTөTҐ2M̩MM˩b9CMqMT}TUUTT@)finv_f_in8RMQRRR=TTB15NqKT鐩LM8+TT퐩MN3TTUU T+RTMM%TT꩷UKTLLCMUTUMLNMLP9>TTU 2@KMJ- tMJ/TTKL^L_T琩KBUEUWBU4KנULݰNN/U*T+'UbUOUbA{1NRӰL~ T̩U<RU-MLw).TөU12fK&MͰJS"T$OTJU$SJVSU;MJMJ ;UTƩUB2wKMJ78MJ:UwT{&KKKTUTUz*#BUS2KH"BNLJ$@U\2KUU`2K˩NJ>9!MJAKTTUU|LiU}Um2K LKK TTFRQ;U2KN!J9JNJKTTXKKUUQU=@-fconnect_finv UvLLUAN3UCAT~8S+|Rp~SlDMS28UCBTBS5ǩRzɩU2NNLNUUNN됩D^ԩCSEBUUU`UUCC TUSHRUÐ2UK=U.UΐDm2Ui}U3UST1V CV*-D6n53+)pU6rUSUީ\UjUV V OV\T~VSUcUV"UUUV"]=USUUlUxUVVTUUrUnUVTUSUV4V V4wUuUV `UVUcVVV(V:CRU^'طU_SV V 'UkVBVBNUgVd.DpomecķV9V7VQVةV&@VR|V64( SǰU©UV34MUǩ<(VV?UʩR@$subn+& V@VVHV>V.TUVM POUéUũOZUVJTUǶ@V9RVDV]SUbUdVCUtUVpUh aQVJUVPVuV\V@-iter_order_in88=UUV?VQVWVcVC;OߩTVRVl36VkTUUUƩ:3URU˩>0UVVyUV V{PVRVsF1VuU VTUUVt1UVUV|1V8V)VVT%UUVY3کUVVUVV UU,UUVV UVV VU(UT5U< U>V}iU>UVΩUBVUVVЩURϠVVVVR@(iter_addUVVV!VVVVʩTMUƩ%UVd'UVV,!!VYVVVҶ@VVթTXU60U8VU8Ua4U<VUc6U>VUeVVVVTdUG<UIVUIUD@UMVUFBUOV*UHVeV6V1VWVRƠV>GVVPT(VܩTwU~OUVBBQUVDVBSUWFUUWVFPU_YUaV)[UcVU'U{UdTUk`Umb$bUodUh"W!W!.WVTUiUW\ŰUVUUuoUwW ?˰UwUsU{SU?UU|TUW5xUW <zUWU:W9|U\L UWN WTU22WWUְU/"HUUUUTTTVwTUWPTV{TV}UTWUVWDUUU#AUUUVNV%W\SUOW3W#UUשU٩SdWWWFV[W,"yQHUUSjWLWDUW UUWpXUWOWGUW#WGN4WHUV TSWfV UȩUʩSy$=UV"AUUUVqVWSGWICDTVթVV␩S@&subnKC=x:Wc-WWCW[)W\@WTSWq*fUWWWx85hWW:GW}WcWWnW/xE˷$"Vη WWqSWzW~WQWVWWzSW$WoWWWِWWP9W PWWV2V\P?WIǩP%WKWSUWͩWs WOWWWEOXVWȩPPWPHW$W̩WW;-VKW`VCWaWEРOgV5WP_WQPWWSDW© WUWWPIWoWΩWqW0WsWW2WʩWE堩O|VWȐWUJVkVULVcVWŐEOVAWX X PWPwWW%WWӐEOVXXUaWqVWWV{WWݐFOW{X!WJUkXYIWWWWWLWX#W8sVVUr32X(OWXXMWX NX,C DWP)ʷWQWTBb) @WYXV0 Fb a _ W UP7X XW`7GWéUVکF2"5PTPTVXOX=F:VWPWXUXC"lPT&GWBWi7^X/X9XW{7@W~7WUаVFPVWMXi#PWZPנW\W\XoX]FZWWWPͰWYXuXc#PWf&gW]BX{WWaUWFj#PVPVѠVXXuFrWVPVK#QV&~WCVPWrWXqXWoT^W7WVW-FW-WX#éQWQ WWXXFW7WQWXX#ϩQ W&WC2XXX XvTsWFFWFX5X*VUX}Q7X9/X!V(WPFWPXX"Q7XQ/XX!*XXFWZXQ%XXX"ͩQCX Q;X"B&X$CW1X&XVDWlFĠ?FƠP]X  |X'X@XXQWXQOXCXX©FРWxX!QCX#XX$QaX%QYX'%CzX)&X+Cw XW_WܩCWܩ&WީC~WX%XXW]WVjWF꠩WWuX$FPW WyWXXҩQW}QwWXX6FWWQkWXX<$#QWQW%YY'WWWY !&eXVWHG <GQX_:>6QXa_QXcB:Y+WWGQXQXQ9<QXQX@Y&WW̩VW<G&.Y=Y=QX# IQ@*rcons_path5xX*NY4W@(eq_trans!yWuG9~G;PҰXXY+YUQXY,Y46Y+W BYéY!Y#U UЩBY+WXQY[$Y/PX^ XeXYaXY5QX[QX] XYNGdGfGhөGjQXpXXYrQXuXY[@YY]@1BYPYRYe@BðYXYZY\->BͰYbQ"WXYoYYgRW&YrXGɩG @ YYRVYR2KR3R4YxR.XR&XXYYYBﰩYXUXX$YQHW? gXXXY}YRDXR<X WIYYCYXiW5Y>$YQ\W.X+YDYYRWTROT1W7YKYB($YYYBYXYɩCYXX=Y$YQvX: XAXjYYDC)YXXNY$ĩYQWyXLYY.YǐR}URuU9YYZ YZ  GvS]W~XY֩YRYؐRXhJPYݩCIYސXW{ WXnY$Y䐩QWvXsYYꐩRTI YݩT WXWRYRWNRWPWL ՠWWWZ:YCiY%%ZQSyW`Z2YZRRRRS W5WjZ;YZMYZ;#fxp;C71+Z'QZ(ZXWtZ%KXXWUZJXWH WHW}Z%EY@'finv_in/B9WOWWXZZgV/Z=Z<Z,QWZ7Z7ZAXW[Z"XW\Z4QWOZvYZdWWbWWXXZ+ZzWZFZRZ}CGYWɠoWqSHuWЩ=7ZSԩCZL:ZN9ZbSSSZUS XSXZ\ZbZvCʰZ_Y0WZj%yZcR#WZ ZgSXSXZZ\CuZZZCrZZCZvR6XY)Z}Z&ZZZ GT X,X ZZSBCZYYX%%ZRLX kX.YZ4+TX-Y3X.SRZSLSRSDSTZ9Z>D ZR^T }WWZZ(ZSZWЩSRWZ.ZGZZZ֐C&"GZQZZYX ZR%Y^YX?V}ZYWXZ8%ݩYEZ@ZZΩZR~XPZdZdZYlWZIYdWZƐRW[YZ WX'WX)XjYXYSZR[  0X_ZsZ[CHYhX[SWUSzI}YbXb=b[ZXYIͩI OYYII{YYXY[*IISY) YE!SYCSY&[[7Z@&andbCA%][XY֩I.I0`"&YYܩI4YܰZ1&~YYXYI;[R([R-[0Zt[(XðYICIE u7;YYIIIK3;[bIM[@%andbA4* <[@X۰ZI[-KYZI_-BYZ XZ IdIfnO[}[}Ih4R6RM[VXZ.IqaCYZIuXC[*[bXZ%O UqZ'2YZ(YZ*[IfIm[=7[pY Z3Ny[sYZ6XX[vYZ9xx+<ZܐZސ+Z?Z?Z?Z?[Z@[ZA[ZBI[IXgTYTYTZ[{[)ZF>[[ZLZ&[T3ZT+Z   [[Z[Y3Z[GT4Z%T$ZT&ZZ[Ω)ZFT[3 [[ZZZHZYΩYCZk֩TDZ(rT4Z*T6Z,[[ީ)ΠZ.Fd[ Z°Z-[[>ַ[ZZ[[XWZ}X,[#TjZҩ[Y[ZNSpZZ吩TNZhTPZj[[FZl)ZnF[[کZhYFZJ)ZLFZN[[[ȷZfYYsZSYZRTfZ\ThZ^[[\[9\*Z[ZZ][)^[YZxxZZe[߷Z}ZfYZSYZi\#[K\"T|ZmT~!&)`Zp&[ꐩWZWZEWZ \.\M4JY X V N L  T;\ :II[T[T[[\0\\IV\ J4Zܰ[T[\,\$&fTX*A[F\T[˩T[\/[*J[FZZJJZ[T[\:[&eT[*W[FZZI{W\.T[_ͩTʰ[a\;\5*b[cF\uJ`[[\N&yT[שT[\R[[@-fpath_finv_in>JF[[\5\G\M[\YI?UթS\M,\O*\c\m\T[%[ΩT[[\a'Z \[U[T[\h\b*[G%\S"\h[9[U[\o\]'\nU$Z*[$G6\uU+ZUZ\j\*ZG?R\\I\S?\[V[*'.%\\\ɐ\8ZR2\CI[j$ZEY\G\UH\ U.\[\*Ơ\G\KAS}Z&I{}\CI\JˠtUXX\\<Se}\  I R\\C\.sMY@\UjY5UbY7D[ :\\\Us\UY\\\ީ*\GcY]&4ܷK2j1/'%  U\3l\۷"lS\Ր[\ܩUq\]].`J)\ܐU\Ux\]\+\G\J7J\W [[[J=X\U\!\\]2JCVVS\]] Z]S ]U[X] \] U[H\\S9  ]<]NJ]+SΠ }$]T]A]T]0 +Z(]VCJf[Z"Y$]U\\](K+ZJ]cCJs<=uS堩]+ ]-$J $S[]^]p]5EKӷ  ܰ]g]g]w]'@$in1TL]]]^Z]X]_ 5] ]c]tY]gY]i]jY]]N\]g]]@]i<%Y]kY]m]C]v]G]x.]y]\\-]up]]Q@$in2Wb]]""TD]I]@[\Sԩ[]z]]]]5K.?=]][$]V]]]7]5K;L<1@)bijectiveق@A]]]g7<]H@&finv_f)66Z]N@&f_finvl Z]5L:Vg]]] ]5L A]n]>T]?J9]@[] |]^# ]^^"^A5LM^^^[]Op]Q 79^^0^0^^7^ Z]\Ȱ][^9)^9CQ^^]\ϰ]bTg0L^^^^3^E^d6Lpշ^7^5^#]p]q@^Zw^1[^^^-^^F^_^1^%^J]@,iter_finv_in<#]^8daI^Q^c^68LƷ^H^B^C^.D>837z]@.cycle_orbit_inqF^w^6LLڷZӷV>M]^UZ>JZ=8&]ZW^H]^U^^:^W0 Z^C]^>]=]^S]$^` ]]]~^w^^^6oL*Ȑ$symf^@,fconnect_symx<[e^[^\]?;]^^;]^^^[]թ^\"]J;^W%ZʩZʩZ<^^;^^[^W.^h^^^^ĩ]/]Y;^%^[^HW6Z#^^^^]-]`\:]b;^^^^^ѩ;^^^^P@0same_connect_revSɀ^"^^^Ȑ-^$:^[^^\N]vVc^~0^Vf^^]S]}Vj]^ ]M]\Z]Vo^K ^^^Vq]^^^ѩ]@'canF_eq.݃^_^0'^^ِ^ѩ\l]]l]]d]\q]_V^b^ _V] ^[t@5gZҠ],__C=]^^< ^W[jd[j=<^_<6MH{^@)eq_n_compd׀^ǩ^@2same_fconnect_finv/9_O7M[_#_2#a_n^^_^_ 0_A^_0ĩ^@)order_setE7,b*_^_1_<\֩M^ϩ[^ѩZ^ө_^>)1_ U[ ^٩[^۩_ ^>1_<_@*simpl_pred%@}^ 4_Q[^ͩ_^[ _@[@$muln+[^ة_$^ܩ0x^_w^0_c[^ߩ_+^_-@%preimuo^^8^ߩ[6^_2;^__[:^^_a\^$^"^__C^[$^[E^_8^ _^^.^թ[M^_t8^__^^5]^7^5^__V^Y6_k__^9^__Z^+[\^1^^8^[b-2^_1^_]'^O+M[n_[i__r_[S2l_%9/[v_[q_73^5^_ *_M[^[{^_^Yd2~^5_ة[^[^6_ܐ8_%_>_ߩ[__2 __]S^{WMӠ^{_=U*&^W^ L_(^^_^S^]`^QM_[^9 ^X__[_5[_7__9+W2Q%2-_<'_٩]t^xM2_lvG^x^2_WI4`^_K6(_M8(_O_@*roots_pred l(_W_]^N^_y^^ _d^_`.R^^©]^N2۰_'<`5`5[_o[_q__s+`^2f_u``]^N-]^^]^^ک]^N4`K^ܰ_1T`M>#_`>`%]^ĩN@]ƩZ6^^_`I"^^]ɰ^AS`^^_'_@.closed_connect%__`0`<`U8\+^\ _Զ@`1\!_`a`sV]_`e]`c T__`i`>]`g __`S`]`D\4_`t^`I\9_o`h`hW `Q\A_\<_`E_ ]E3?_ `n`[\K_\F_`O_]O`R`vW^^9^__Щ^` ^__` V``Mt`W.`t\d_`/+`O N2^MZ``M<Z ^._``^M-WD^5___#_5___-_^U`\_ \{_"`_$[=`5`WT^E^5``^G`Ʃ ^<_*`_`9`̐LGZ/<`Wc^T_7``^V``1`1_V`_߷_N`ةWl^]^ ``^_``_d``␵V\_H`é\``BCCM_!U^HX]ZW^p` _S_N``MOoc]/@#eqn+h`p^[]6@$eqnP+Y]_d`˰_f]``Ͱ_h]ܰ_h_``ܰ_j]_l```Na%CN5_!~^qg]i^OmX`7a ^zCa1aa!a^`&W`XL]X```y2C`{aBa0!!`(@a\_a&aIWǠ^_:]_Ia=a=^a;!,__aA`^a?]p_ǩa_˩2[_ͩ__Ω:lũ] _a<a6``Էa4aOaM@aRaP^`M1a+X|]_ߩa_aqa_!ζ!_@a6]&_aUaxW^^ש:^alal^aj![^_ap`t^an]_ҩa6_֩2_ة __٩:_']=_al$af`aaa}_5`^aXY]_aL_2_aa!!_@ad]T_aaX$_^ĩ:^aa_a!^_a` _a]͠_ad_'9__:Ƞ_L]j_aQa```[aa]۠aar`a_Mga.%def_maYLݩ]a/aa#+aaD#f_b"2a@a]`aa۩XY_J`Q:`Qaaϩ_Naͩ!`U`aaIa_Taa[~a]aaa@&eq_mem%ڀ`ea`g^]`iz`k`k]`maЩa`oa@%pred0tӀ`v`naaw`fa_saba|aPa^%`Sa`Wp`Y`Y; `Y ] `]a=`@(eq_card0G`b]ˠ`fb]b 7"}aZЩ;``,]ՠ`*P+`0`@&pred0P@Zb ;?` Ab15 b#IHm_appaYK^Wa0aa$3Ba&bAbo"`@b]`b%bHXƠ_`;\`b<b<_b:"+``b@a^X bbObéYf`W_Ω;_bbbbb𐷐#r_x%$ox_n#]`db__Ʃb_ũ3_é__ȩ<_&_b8bE`c_bٶ2_discharged_def_m_b̐Z_ Xa[bݩbİ[[&f_1[bȰ[$4Y"ϰ[*^͠[^Ƞ[ bmcac _ X̐a[bbٰ[[ ^۠[bs_H[b߰Zo43Y"[^\^ߠ\ bac#2bZMc>X^cc>_Y\b\4D\b"ʰ\ccAc Z˰\_JX9c=aa`aaKcZհf_TX_t\c Zs4_Y#\_\_ \c\X_\bZcXc=cha\;c-*c3c?fc0Z\bdc`abZIaab p^cMcxZ_wXOba_@$eqSS+WacZ`ct_\[c<\_L\a\a<\ag_`|)b`~bc_`z/a`|aca c_ZcQZ4Z'ZZ<Z\Yb_ZZbccAX`_@%mulSn,rca$c/_#\\c)]#\y\crb"a/c%_cƩ[b`c`cca8cC_ʠ_\c\V\\E_\c$5\@c_Z#Z_Z_ZcZ/r<cJcZdaUXȩ<Z/ccکaYcة#ɰZ3Zc\ǩ]cܩ` ZcZSy[[R_[b[cahc`ZBcXߩ5X٩XX=ZI-_XbO`#ZO[ckd cFbT0cdca~c``0\cǰ\שRZ\_ˠ\_Ơ\cϰ\\_Ѡ\_Ӡ\_Π\cװ\\A\;c`F\cݰ]4c^d`/`O\c\5:[gRz\_\_\c\Y_\\\=U\\[_3_]_]c]YAD]  d`l] d] 4bdAaİdCdY`V$6[h]ckd]`x]d])4]"d8aӰdRSd;aְdU`]%d]$7]&]&,`!](4,d_d_d_4`[d'[֩R[`+[`&[d/[0 `1[ߩ`3[`.[d7[0A~[c0dy`[d=[5 d7D]b`C]f|la]gdF@(andb_idl ިy`M]Tbd`O]VVdȩddc5][ddV]]YA]bd[d~dn`^[c =[ldccG%Y`fYCc=ȰZ=dd`BdcKYddlYW`nYCYY=Ҡ[w7Yd7Ydd`}[c?=F^Y=[d3c5Yd`Ydc%dd٩=[d]tbJY =[$dA[& dBd<[( ]dDddӐdd`[c\dPcWYdMddd7]`]é`]!a]ƩdɩbdcZ\y]> ]dddЩbkc`\ d`\ ">\^d5U, ^cccdcdcR.e `Y`YdYXIB@d\[Z6dte`ŰY`YdɰYXR`ˠYd`ͰY`ȠYdѰZXZDe#dbcB]e*d۩\]۩><]e.dߩccéB%\=e dccƩbce5\[|^de7B,\Dde'^de)ebcө\]G>R_"cة\Ű\ICxeG-V\T^ e7debcU$c\Xdc\Ybc\Ӱ[veU eUeac.aca ^a$^.Rme a^eb^[㠩e)a\\oe[dѩe/a\ye_eEeOe6a\[eWdٶce=a-Z a(Z e1ZbZa4Zce[ec\eLaǐ][ddeRaBZEa=ZGeFZIbYaIZLbdĩ\c Z9>[ʩ^ [elelce%[[ep\[ eeRpe\*epa됩]2[ed9.eeedoCQ=0_view_subject1_0\;c,Zr>Ѱ[^/[?ddc2e%[[d^eCQ /ddeCRdl&&ckb^m\PcAZecCe©%\\e^TBxSȠvpc)R~eeD"b0?dxd3ad5e@d6cM`cVeթbcKecJ+rcLcL9_cdbeǶe]x eldedeeend]ee] f|efbbeb7beʩbe样Caީ_d] ed__c[f_]ߠfCceb0beǰccc?+cjddfeHf+B 0f@=TL&f73?1rf%1m&fff,\S+OE\UfM>TY&&f e@-same_connect1 &؀ee&f*f<\cf[>Tg&&fc6efe@.same_connect1rp f&zf(fK+nbZf;fl>"&fXcEfCf'c°ddf8fYf bebe<f=fLA]ްbf`fNf3f#9b^Ѡb&b&bfjeJfCfIF>f?f/eefFf!F;FeSefJFde efDfNf)bbme[fHeedecef^e<efKf_CwfM^b&Ҡb&bfef^ofTfyeff`f`ce#22de%^bffqde(de*f^F_fvfnfe*frffKftFU3f/@(mem_seq1©bfe9HfzFee=cAf^*bff+&G]bffq^1cffeeH b=feFff f]ze&ePdbEf]rC@eRfCf_-F'F'"FffƩ]F'%c^Icfff̐f>'+f֩fd>fbféff'4fz7 eCfĩbfff7';f^_c1ffeBf̩dOff7,fbféff8Cݰfǩ_VcB'8cB'Kfffݩ9fΩCfЩ__cK'AcK'TcNfffu@+fconnect_id 1Ҁ@ofөdnf7K7Kenf7M$g+(f@wbɠf7Qg(>޷'igfd|g'0g'pggg7\eggf$geg7aezgdf';f'{fgfgg&f3gf@(order_id*w@bg)gI>'g5gfD'g"sg4@DuaeʩD,gFg'@IHbg:^cg*Dgg,g^eedbgC ?R]gc?'gOgg ^̰G+gN_dcg@JgSf@)froots_id'sdgy?/g98:gNcgRUgT: gTcgXcgZgg\glgl'g]gAdܰfU\:gRguc%gV8ngwfgXgy8nef'gTUh:'f_GK'ϠGK'GNggc6f8Lggwefdfgffgj8Ogfgfg}g?ghF$cAgjU԰gl:=gl279gpg9grgpe f3Ud-+f f7dff8ef:UgcYf8og g:SgHgY>cqfD:g?U("f'@gg"fK1ggggd 'Aggg gggggB,%inj_f/F6@*bij_can_eql| ffggL@+fin_inj_bij @Cg @gĐg?V(9%#$eq_fA"Ȑ%eq_rfdL@'eq_frel=#FVf}d<d<'`Vd>(86g(=`[G(=Ggg󐑷h?ȷV(VB@g%(J gy@+eq_fconnect,'U h!?׷V-(eQO,*)'!(gg-gߩezgک(Rgܩ'd.gީgŰg9E g`d*(gd*ghgFh(`gghfh d<ggӰg:Eg`dh(uhfheg(pg'gh (rg(dNgggG E,g`gߩ(+hhhh<dWhgh:*:h,Fhh gmhh2heh,,fh(h(1.gxh=fheghR#hR(hhhBdy@'eq_iter:h h$gh0hIdh)ACB7ggΩ9(h@6V(ķ7F{h@>V(̷g@(eq_roots<h@KV(ٷ g@+finv_eq_can6h_ hp h@WV( (hh;<h`Ehb whEhd(,h eBCBih|hq(mhq ʩ(oBh@jV( %h"a(hthqf g4`!"(~ghhg6ghhWgG3 fCԩgg?) hy`."(hu hhhggFf gHhgFh|hhgh~;? vAhgKhhhlh:? {h h;hh; hhf4g\(`I" hg6g`)+h`O";hhg2gef?gg`T"(h hhhhةgihhȩhh:] AЩ;.hh;)hhfQgygQhҩ(A9gJhԩfWg`l"hhé`n"(B2hh(̰h 6hᩚhp@*order_finv#-hh#hh萩dg4Ch֩hhG h ihhG A.i%@۷ @ܷ!h@ihbGh@?BFh_Uh6.4ahhhȰh;i"h')zh@hᐩghi#hӰhdih$Aee')h4h쐩ghi.hްhdi_hF)h|hi$hDVf*hp6hg̰h!i=hh#bi@ih?iF:ghiGiB$Ae'e"x'h5ighih4h_ԠiFOhi iJi2hiNi_"y'h@i%hA"i(F]ghh]iAh^i[h@2rel_adjunction_mem%k@A hhhi&i8!fhh6N> h]-h^i<Fqghi[g<_SiRi\iCFxghish6gfzgѶ6`iKhgii=gch@iRhhiiVFfhhGhC iw`i`FghiwhihH)fg6~iih:gii[ggi @ipgi{iitFfgiGiC)izFgh,hhipH _$iiVi`BiFhiihE2i8hiΐVNgWIii""z'i 5ihhhKi iɩihNfiih|*6Fh(i'hiwiFhWiFiiթfufpЩiFh6i5iiFh=hhbiȩhciѩBiiɶ@i iͶ@iFhLhi)iթ=iĐFgdhvhNi(hOi Cij W(cZ`hbh iӐbhcii>jbhghfibrhhiCji*yhmbbgQi␩bg>hkij$j%]㩷bcɩggibgij+jd`Ѱgbgibggij4bg!ggibgij9iG0ggZg&ig'iҐ]g.jj0jB]d`gw'bgxggcjbgejjKd$`cbcjbg>hjjT.jGKg8ggvigwjj[jHj[bh#e'pj!bghj,jccgѰgj/bgj+jVj<j,GagNggbʰg\j#jOhgVbΰgXijKhgYj9GncRgcg\iթg]j~j}j.jkjRign6ge6EjFica j8ccbhֶ.jMcchgwj}jljQGcKg^ckjrcl6igjkjug|ibL@icyRcp6ajbi3actjjUa63gKjjc acjjjnG`chajac _jjjickcm6zj{iL_cvjjn_]gdjc9_cjjjG`aԩa jac&_Yjjicjjigibc6jiiccjܩjc`/gjcVcgjjjGa)ccjũccCajjjjjзg׷6jiggjjggi<aF&cgةgj׷gcyg߷AgŶ6jicөgkjcbhcjȐc~cgjjj̐Hbccjcߐckcjjc6?jjjڐHcgk h{ckkhb)@j䐩cXj琩HaYb4amjKankkajH&avdkhbAk k`@jcojH2ahaavk awk0kY/cBc_djk k H@avaac`jka?%kBkTXk1aԠkHObgd3k9hzxkL>3k`iDkajJ$Ae'xEXuk(YSd:Bc`Kd<k0k6dak4.k6/kJkTk;b7ik?c`ajj婷k^bkGa@lkJd_ajjkNH^ aajac^sjjېakkX^kubk^a@"kkkW)FǩkgHaaߩaknak@$$e_yzi?ktjE^3ajkg^6i]eak|H^ra` j0`!d^@j3jE3^ya`'kkkǐkkj]^ k~^]bejejc^}^Pkk^]Jbg_kשjh^^Uj" z^`=b bkkAC@,kH^a"ip1k*jUkkCWAin_[kkIkCXj,Ci6}h{ZWi<XkkkkCYj,Li?hZ`iEGkY k eNbjTdjUkǐd}idjyl djZiwigdfiilk,miBddek֐dijdiwkll_ةdiiiũdxil lebưidi k琩dhiFl)diihdhl.kI%iikk㐩_i ll#l5_طfb۰e&deܩii&ildi)'l?fbi/di0ldi*ilH-l I?i4jkllMl:lMdiJ ldimjjllT$p_z'iİiCdiEClIl/l9l IUiJjlk l-iiH@l)il,Iae=iNi:ki;l_lMbl6IkiCikשjl+iC@l>iglAIve;iNe[kpe\ltlGI|e`iqkk萩bwlzlYRlic lRIitikkYlY1&lk>lY<edi@laIini+lleIe~ikll{j10cil}lmIeijCllkkFikkGj<Vek@lyekll}Ibewck clWlIeikl lˠjMLhlkeewj9eele)ell8lkecl1JleOaelllIc"eiCPk'allekd@lcaŶjUauck3eEaxll۶8lkalla\e˶Jlemac<llΩlIc&c@eCnjllaضajoacHkRe_aml8ɩlʐkallaS-eݶJ˩lѐeakcIlllՐJ ccMeCjagkeϷl7dJd$ȩjaekezbm"m8l吩kamlװaiJl쐩ead9m mlJ%cbd=iCjm!m3l-fjf jlm98lkͰem,cm0_discharged_a_x_mkְdOfl4Kdm J@cfj6em=kg.b/2kb0mkamW0KdmJOcdgj(Fjm]m2m:9 m3m=m$JYdqf=k֩jImhj bH@m-f&kmom1Jfcccj4mQcm:Jocf4kȩj]zm[b @mBdjmmFJ{cccjcmyKGdJmMJccҩfg ljcmmZZmqdmZJcfkkO3(mjkmmmtm~meJdf~Alk/?KedhmkJcdjy<mk llDfllEmi:k;Ubf@mxcjmm|JbccjcmK}dmJccf mjm-fl|Z}(kScKdmmͷjffMfD϶f}k?df.dmmĶ9mljbmKmfTbkfmmmJdfjDUl1.BdkTbʩfCbmmȷ9ɷmm[ڠdDƩfhbdmmmȶmҩmd=DkmfsbWd5mm©mܩdmŐd69mȐf~`d:mnmm̐Kbod>f@jc nnZطmdmؐdODn\\!khZn n IC*[1'$e'yzkmꐩla mmܰa kae;mK'bddfLkjmlʰ`m1nmlа`nh l֩l԰`mwinElְ`mydmmnmj;!G`dueXTeY@Rkn"n,nKHa dPnb k߶kKa;1nl`n^naRd@n#amnSn'K\`adm]mʩdGݩnId젩n2Kga`mөa)dmn)kka;Qn<m `n~n.`کkS5d|@nDa,mxntnHK}`a1dlmҩdGnOKa0a d mmdĠlnjd( nn[^nuen^KaGcnadAK7neAnm_VgPn|ein}nmabmlmmDkj9nKa agJdݠmmީnmmn8lC[lGnlnnnnAnnmnC[ lED9f"kH0kkJn!nnC[ma/lékSː]/lJnːnF&ZF÷h·F÷EFn;$injh?nXnn#h_annnEnnImm@%codom dnnPn%a_ee'gc@(rel_base?mnEnZnnnjnG?ݠnIjnKjnM/Zn6"Hxȩm@$iinv փmmnNkmk 6ngkm5nmklƠm"0nmn[nаm=kmnnoo/vnRmn@0intro_adjunction mz,nnhnnnnnnKo"/n:n搩mmo(NnenL#mwnvool#mz< @nmEnL-lmmmommeoL6lmooCl6l<omذlcoInlelcn@omoLFl;moMRoHoUmƐo-Hɩn@&f_iinv7mlmjAo<gkm֩omi̩mlܩmmm٩o$mkްmno6oJo[oBef1Bmnlmnej4owLlmnkoVoVJmnmoXeif=NkElqmȷm+m p9ouFp*o@&iinv_f' nmnpTp)hlmpmmnmynmnpmlӰmop%[p?fP>:KnopUnڷ$e'xy>p?g,p@p0nnonpRno mkpdMkm`n<mpOImcn?p{lCpPp@osFpTpDll6mnonC$lpynؠQp?A&ppcpSlCml>moo,lIm)l#pp{pfpHr(,HsjzHnGp=Ȑ%ccl_aJp]opp1 p+mp@pqMppvppn oHoFopcoHopeoਜ਼Mp"poppop(rel_unit1 p@poXppu#pppMo@p/p+rel_functorp%up @nCok'q op"p;p@p<'opBpocooTp(loVloX { op/pHpMppp{FBB@@@@D'8p:pSpXppppp*_rel_unit_6':pBpplp6p8op_loloǷp=o^pɐpimpϐNoXpWpp<өpԐoodppưofklȠohojnwocl̠nykpᐩon~ppӰnn~lՠnnnCou7mép1_discharged_e'xy_pN%no~npTq!qpoǰn3ooͩN/nnYn%qooѶlphq-N4n!npqpCqqln,Gnhqoo੷1n1lj*lj,qlqSon7qqn9=tmn;n=n#nCm n%mn'lCnCq$CnEq8q(onL eoo1n6ojIqp5lqqm!n;7Cn=9qJDkWp p nD>mq|p nFBpqBDqnq^qnq]C^t@pcJopqbqsqqIZ)I[}kb|IV}KK HqkgqW><ݰqEpqDqPhq7pqbqq1qnp@q^NpqQqqo p5p3pqqTpk4pϩp7pqpϩq qq\qnqtq[pm<qq2 p@qtpEpq$p?mp[p@q~pOp Uqpp n>qo/pWNppԩp7q(`p;pqq*q/q{p?n{qo:qDpqDpCq2qpG|XpIp pɩmp"mp$p pNpq$q=qBqq(w&pq(qAqFq>qqq䐷5-n4"`pΩqp`-pҩDpqTmp֩uppfq:mphmpj-hpݷ^pl@ohpKPk@'funcomp5πpRpRpMr@$unitUe@AKpYpp}qp]p]pX pro|I'#"ypppppK&pqwq^orDpq{QDqqqΰq.qp_3q搩ppqrqذps`kpuDԠpuqtmޠpyp{ppmpmݠpqplq驵khqDƩrmppopmomoqooqr)r r*rDopr(o۩rnorotoDon oFnoHroJ>qqr=hࠩr&EoPpr1r*noVoXoPonoRnoTr"oV>qfr=@r7qo[rBr)o]`o_E%o_oݩn/ocoeoKokn3oMn.oOr7oQoOp@okekgkgoVKkgoxoprAkkkkoZorrUoGh2.rr_\rsir\EDopqJ>rrr^R$r_x'pk"K qҷ$a_x'rnq?of>G<li2rxE`oor}r|nloAokonpknkkrtkjq rrrrEskor~pUrnkUkkknknkrkh,p8r>riZrEkorArnkikikniniri>zp rM@p\gϩLi6k©kqLi9kũkr7pdgqiq됩hrr_·r٩i|rEkorh6*srs9>$r_y'pyjLL rs#_b_0/_view_subject4_&rrܐPiakqrpgqgqrr㐩qg֩iiqnrְg omqPi\j7qxqsqqnpgpMpsP%i[iuiiqijq|pqq}s6`Gs`LpgqLOiwkqpgqqqgqqg`VpgsILYitiqsKL[i}jXqrs"``3qhqqh`dp°gpsW)sWLgijdqr`j=s[C`kq3pp˰gLpilq#o#a P\il!qqpKxil#lBqqsks.CYs.Pcil(j|qj}r^TSphLil1 Lil3  Kil5lT  s}C9r3pɠtpvq azklPzrpҩV9sCHr(3pՠةpڶ@plbLlbpsp_rLlepvpbs*qGbap`<sC_r=3pp/q+<0b k'prpVZsC`rI4prp;t@srrCqssdq9aqF`qr*ojq?qpr onpکoipܩsrpps#@q2ppppũL٠prq)rpppq+sq:GÐb6aq`rsC췐%inj_h勺sqFsũor$sr(Ab r* or*sqr)r@)image_mem r\r5r7r7r`Lrsrcporeb4rgFߩorj#msprHsnqurGrNrPrPrKrrsrMporOܷrgsqtsp$qisqh:bNqjWttp*rXsr\ubTr^oŠr`orbsɰrd}멚r@-card_in_image9rirn"tFrloՠrpHqܠrkD4rssr4rr}t/s߰rnqq5jsFrs,t:sor t>p̐ pЩjtFqrt6t oqt:b7r߰qt>tqqrqorqYqqrTMhrt rn©p rbrGTpratct8@3k r4rt,rqtntqqɩp q4rqltRxqqqsMqrrtytL@jt?G'qrt^tCp3qtbH'k+q4qtLsqtt>qqp@qbӰqG<pEq?4qrmtoqqqqt!s-mt{tNmnrmqqq-r6sj@&imageP-πr q ;tttmyttlr80tk1twG_qstt{pkqatkaq5qtsSqtĩttq@pvqM5%qr6mtqqqɩMݠqqqtϐjttatY#ttt֐a"rxrImXM_t@'q.'qη qϩtQqrt ,tB n8 t5KqѶmn qtQmqt tlZ'ʠmӷ mԩtQmqtc %kmҷ5^mөtĐsmutmjZpmcKmGmq٩pm*5mmr~kgtrllmN%l"mmu'm uu'BBB@@@@Dl'q4/u'uu' r PKt됩R nrt  N>nrun q~tsŰm ^7u ts˰mtdosѩsϰlHtTpu@sѰlJnuWstu"tf#ay'qu RAlYn%  0kn5nusl]uUul_@qlaclcHFq lflhj>nqj@q jBujDhrN5nr԰ktljIjIlsgN{kn<n%umuAu1Rfn+r>uHuauFu6tjVn1toXtRpknLuFuRqukRrkn7luJ KsFuVlCstrquR{ln_tueMlnatl?u$e_yxCi5l5luRt#jruuDjthͩqFjvcٰjxHB/qKj{ j}j*lqOj,qJj.uSj0"r6lsktj5j5jNkndluuuupcHZlnuqdlXut!tK6jcHdknvuqnjKCjMjslqrjuqmjwuuqNuƩtWju4HjuHjuuc!]othtfjbX4t8tkucŠHlnuuuީtojk =rc uАuucҠs3suOitVts7tNtuc۠utjl+uuj\nu9l/nuuurکuΩsijuDOlCnojOl:ntejsrjtwvvOl?n ԩnsxj NlEnn uusjuZO$lYnu\ojO(lPnu vnsjSlVnuN/lXnnuuK6kuluCCc6t6srMrOssodSmsESvs{Xv2olװt~6tutɰtv:6tsq v+@sst;tv?v6tnvEj6sasnurLs-s-s5GO[sivLv;p%l̠vHssqvvrs v!jsEv8vIv[ip4֩p6ms{6s|v$tsPvfvsRBrsTdsVIrsY)lv3IsUsuv7r's[ uvzvgvz .tɷco˩lvCI+stvsvGr7s1vwv]vgvNI6sxtvmtvSrCswvjvrmv[ICshsuƩv_rOsiuʶj`tmvUowowoOowsssvqm&vlITofsyvvpr`ogvlvvc{vm5v{Icstv,(vvvb4t0o O v*p&vmHvIvosoooΩOovvrouBmmmoovu<mmZvIm%ovvrkvvvEvԐvmgvIosOosovvuopuunovu\umzvImEoѩPmGoөovjrwunPnouVOhvmmvPu~ut_uvumrvڐukn(vvzw :mbowmm1rwCt Cc<u7|tocseteintiwtxYw/Cd?u7t{sjtov`:ttt#5tVw됩ee'tcw?uQ02|}