SQLite format 3@  .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  0Ml<, ] Transcendence_Series_Hancl_Rucki:threads=4elapsed=226.459cpu=763.084gc=52.652factor=3.377zXZִF! &#p]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I(_B~l|6^{zAuI/%o/@'Ăt 2OeYJAn?k).ڤ\a!<ɾIJ1oْxZL[)CBaw_ ~4 Dd}TiRsG%0lLN/ ]٥<P@'PN nCv}Uπ~AtX3 ULqIʵwܜHn$n2)!C `b.3.Q{$ï ".|~MVǼ."VgŚ` 8Ѵ,:]"|4ł߳|Z.F1bjR">:s4*9  #M Transcendence_Series_Hancl_Rucki  EE?ͫ+2^ \eߡ`7e( rե z]Pl$}^nUh #hŏO\ p{*kYM\=`Q$Kc`h|1nbUw֏qҋ3 hMinure!QGŋ8U1;cOg!|K{1̨ 4W)wt*5RZULxSG*G ԅO ֙oHJzPRGRK[FGKU0ߎ=Ô '%`]( >S8VHMA9<ݴ~Ln ~5(l 6MS#VIv]L?,\bݫ:D.m9Jo]~lY̧Pd&q-yCH{5l@%kJ\R,$*NXyYvq;1z¡ .d\&;U߲vyaE!޹8^RPcў(3(屝#2 (\M)|p?$ec=D`_ܥ?G$e l4g(P߯|Q\ WoH*X(Jut0-FOnJpL3(OջELs㖶/@X`f!)q|p=__zWJ^%cUʥ&3tKxzgSj6*wzmt[8]\W""R'wV0,Gk$ʞGI26XBU-SXذG"c7׏P> ) I^k4e8X2ԘTEǘN8ż53`E4<9vYڈR)dqTi.ݡϟٹ.q=E2\H$g2PwÕan;!.vBHH}+>]8mcN*z 4U#sc\VZ`򵧐{n6vٞ`𯅽Ƣga> ͛1whL]=H/"֪_w4R >za&חh/-GbCC9 #6@H$>)o W @3+[PR EOgM&CN+qg%ԶꍵR{h'$:A ە4,=#5)P^&dF"w̦h7ۉ>s yv-N_',_'ֲx-m HeԖ%ut֡dD~ץa<NTяJmYz+6zO JZ=PFitD4~֤'d0\SU!oT˨?OWhP)y}qGnɲuq,KB䋮Agם(%o\ /Hv|sj B*a _{ M0IJ܈-Lpju, ^Ʉg3PN7zKsR6^tڼW7lry>^5-?.\m[lj=3L, 3Yίu&N.C)N:jx~xD5M9ۗduUk? U%^a2սmo!%k] !Bt%~k=cl赌w8 KQCFWI`8&dpBsƄGX,LIzж,5h> V斴>I ]]Y=%s (7ʦ61p um.it۴^d[ԴAI+pttsj!hIbX8O{u!qVgtS$f64.eBmJ~{}t uL,`TntH-@dk <' sW6-ڏUH*/erXFHW-cC:$ ;kUt:zbw; dgx$Yd]XEDn~0~&`$ړiof=ɗw$VRʕp dޯ#Pﮱ  /":XKj/ŀ p6ީQeg9fSav*be޶~ΫU޵B`l""o~~1}fWr`e6PXh۸gQ֥9r>_+U8YV=~™2ls_Ѹg>!mr nw3^4sT=.:_*䌊2n~.-Z IX-j,y'5X%Z{6}/Bjjz5:_Z/PV \[;&/]1,W={ۇBg) 2e@?elA Ͽ-&$F@VXM\1v&"Nq&Dl#WƑUtUúxd' D# CTݨ]JR.j+{ΈzHK#FzAQ&I^d9>}1Ye'g\[C|۲3\vLT6>9Rn(^qu}[f'i!O/B+<yC_Զ "sV;>h#)M[gj-rAQɄ?7>F oe莻D-ņ4C {x%)w0f4A06NC>qل.F>w6LoaUL #{T&s1Qt4+,nK{q7ư~EwΟ$x#%amƽx}"vzV'U2t_Da隒Ac^L4ʱ"Q_V?XHd`F~Aɱ~}RxGpl1I|?2޹. Skd UlS#!R@0?5ǵb?*jkQ7ntʄw\mX0=G9e7Ln6O{sy6^~ ձDOM5M?٬ե1iJ;R._;앪fAd ?Kz9-Li݂ |XЀ@[_8 75{ CwɷUeO LDcʘYdթv]kvEi[<4M. Lbo3۳ e]& C\:cMM Rt7aJyFYM=(AwVG[61s9>uorkJm)0aEԱǐoP9Tik K O0#b]WgeI ρIV[U1͖>.J S/[ٙop?eI,Sώ&){ITn]dE %u/NҼ׽^fy˓ (Q ̲_uHӪKy0;a'^5CG݆`.S>Gek 3w<(|%y tXu?x c+xjeHٰ ]m_۳r}T5EO9Ѳjق_2kJ8Ik{^L a|ܧ]9Wdм|8`!ǛQYƍEZMzl[HAsscY"$e&ٖC\^QbDzL۝[xx+n٤}4Zd/)}Z#PJrZ!Tӭ(T,̛I øL%lW3Đ[I")HFF fuN&5;pf*ߏY3=ZPNq{OMnecrWAV'ϣy$i=R HM0mk܇ipI#{vF&eK>p&91W`쾟 pkz4&{Sɶ:hau42b Ι]֛B@ Nɤ5;]v "6ٮS鏢xbDΦ0qr^ lT}rjlxmeXJ.X}PgPc"9n >YDGh|()3xC# Gf?clhw*w|P`L@*K1i?@K|!&'u! E>3,e 4I\5fB̾K{uɉˊ?xWIJ͸}scrΞNU>SS Ds+Nۻ},!Ȣ74%%5'?ǸƜZfuӿ en-@78 p`C8ہ"ED_w4j4^tv)M*5m\@!Py  c/PR{5sthnߘ5Fpa`Sy/Ϡ vmhb#Y(J6ˬʏ^íO;U4yJ,̅'NxjBs1'ahJ/:e#U'GuY'dPD1Ѭg$kr?,3- "xKn -h h)f1ϔoF6q--JEi)xN7~$X: ,(WKZoNu %;ʂ|z.CD\) -agm;xp\Bdշp vF f-d&1빙z^9y9xFA r>C}j5=V]O:CXD`f\g⧦ "ӨO7"* kծe¿<> 7~&\gS;|%7cee n}h-_E}c_9@Vm^T1(fK^ ^s4z/1y+=6xfzĿv*&zg"Ę*l4TLvCD(/XJ^y7th6V}(t_R0ʓL&4 `(1|A l1m5*r\N>.%<10I+%CvS# {%&Γza+Ɇ9k L ,W\<ͭg}ߍ0،ŔǓy ܆bj)VaAwXуT/1QcOHpCXY`OOo)(-m@ ǡO^W'[70Y#пsxP?m^T脏.ëPoc )A*vARH%Q3݋~7 d>OܗyI/pai}FBmV'$)B+Aofn> @H#fO~ C6@JG."4/vYnp7vOfAK$à#7(/9_Elڒ jR{͒X^o._7>cwaHźtf$һу5o ֕V9#7QWcy͗ʶPMaN]7>f/2_?Q0_$$r3Y+. ; Mv`q'e{I;]ߟ˼K(Ji#ےP/jzg S)mwu}zYq[YǓ̔,,+'^˹C@0su<)O{tJ#J7B2x>Q 4.Yr?g w:qse& mpިԮ&l%DFz; 9֛$G`RWSfCACyǼ"٣ϙ&Z\eʴ5jM@gkMHJ6C߹fz^P\4LL "ǝaΫW`B(Z)t5K1pW7 {$عjv FIE߀` $o|T%-)NQ5Dopt٠}o~ɴxn/$_zh!e\ueCR==Æ6djqJm=2MZq KīuV`?DdԢSfxVʵ&1풘V {"yC'ڟYI_}B7/KdM P]D 1@DoݐBS3A S'+ ~\Y,뺮0XZ@tĕdw#)Ƹ]4 Ż1/(L9vH'"u\0/2@xt'3 Oq'PDVE𹛖)QM=j%*$ ; qKiu[ǡk( [Yض4Q V2j[2UTIALq5/-T I( 4XgYO{}oqD Cz-q,4uBOVwq@lbăjêeF&tϾڶpz|ŷ1+J"9%xWу\D7ʀOgP@G~i_`?_&c;3&\ܟA ɗZD 6<6eФ:S;AvΛnYQzSW?zILo\_섒x$X납l@_~SOVPɨ7/5 ǹ}r˲VFRmY]> 79JT}(莝-nPq95r"{b_ʤJN=FVGpT"\jC ,ŻYCWR(էqdOq2^%u/cхq):3jnL T./{ 7 -oؑC{kBwԊx9e_7)e2kksҕk7i=Ff-Czg7zC5Hl3gުr̻5:-\P+Co/7zejc] *vvŸYs{B6% Hn<أ, [QB:r#r`Zr>I /X/3Q?}o/];eO0M'w 88FVQ`H^UzӼ:-ө<Ç?<vGޔQmYCq{n$ssUzXA'dӃ%0-إ|pccQŦUm؀D+:H(r:-A~JmUXƮBn,~⒔9';8窒M#~uy&B`Y>kL﯐zSOs-^tWO WG dƨeoֈ+w냬SѸ6f`FmQ}@=$BU{۶98n8AsR.>36OSغۉS/vBuX5Gͣ$gYZ7zXZִF! "]ŗXiɟ1J2oeTʹ̰KoGߗ98A䙜y$^tw<MWT4ԙ.Z7U }%ռoOr˟e,dk$ qj8:|WuPK"\~Kl*EtLh+qzƆ$LwVZt[x7 }_3 3[؎P'CUU |:鬸t*V8b/Wode銗 Nu%Ekd x/3/]$kז牠.i038 mYPˍ!z&GgB>uv/@%`׾i%%;b-jH|ț:8y~lDEyc!Bw^F;b_{Aj]~*O#ń)]WT@iV^L,G7)4]xB>JO{pYö9q$ Gyꭊ?$;U@jwPgͭ-:#dmx@Ν#l$5w)R`UZ\dWf)Cba uJč`)*!50:Cl޵o1Dt?Xf]=el?ɓPIAFrpJgr.;2|U. G -۝K;m]D_E`>SN e\Mv#i bcΒ gsN {T2KRW+<Kvǰu)H3o ߋ\% #HPvN@66ve|F=\\&{:a7|ӝ^Xٛ\m #.Jn-'G!KH&sꞌ0IJp0Ix{88Y#PSZ3#Pը5`@>E{{E>jxFXC}<+- bx[ i]ՎcuܗuuwgHw~qjVLKhf"T|Hi/0YWީNU@O16,^ ]^*;?DU[rH`5bk}KsWiVKԸ(- Q?bxu1v;"$` _c(S2zXiq?pҳ \1v{pTN (vm 6ۍgYZ7zXZִF! FN]ŗXi%GPd֯@iG=Ào^޳Y W2]S-}7K ڂZ _a0 v"܇kKRz6ĔB4՗ ^m8u SDd>FDM0\lu' 9SWYmx8/Z(~QvQ9ؐ~m2v2 ܘ`;BWq2"bª#u>*z3ݕ2#_D9бD'b:`+J6yܦ>wT|J^31Fq3p(Pɛb!4d$Y"˭?yY4j=%O.s ox D[Il6- 5scFducf?;Ocd|or:?R?+7Wˈ |Bp%UI0KϐblSl5MOCu (`2S@@`k0gLY:H<_-o$| j sjTKO&)I+ W_ ݢ&*ENN| K4XoÈޜɼ.J}$ &艺aLU95 {e2,Q' ?wYoއjctx9d"gqo;1D&\bﵱ=/z *7R#ELx;_{u+׿t9_(BWPbA1#yy%Y%QQԓs֣6ФKٷh\@ <\UCUr gN*{R=zvcw\v/+I$CGU5/ܿVo!C%D0lcSWE^o v r]\mgKTлj]D}K))!T_0A "ctJY͉# }3ιE?j`G BVdG~ܽFġbό`&nUdo`˄zHj!f:Ogՙ Uu q.`'L6 ʹr(ɝ^HswȔh0$0 r@D 6~[}|>m\s LRS>%Xl,IK |%fB^9S@ qEE<@QxFj%T6v{57G=E ͷR!b k4ސwyPx&6.oݏtXУQ c#BJVzGDjǟY. vSmf_opVb]p0X_ܲ}@mRBƯ//q^[rMl e֋f)oRhk(IGkCSt8>l4%L*ng"d"Dr3֨ Ҭ36 ,ub{*kA s[o!ڶB.l[V13rCkw,yFqê],'Jҿ {ޘn%i&ci~%/@kN` ^gC) /a|bʘMD2$p9pE9{[Zk_%#3)Z;n.yldT8XXXle -!OF燔e٩P_Jdpa7:n#`o֯|^} (.J:vt P!-O/GF2 CK>Ide&o7 0!o G^j)ޭn+?td Ds+)1J/6{58y4{` Np:~)ϗk>0UJ U G}vbw΋CǸ})׳5`I*X2"#Y%r0 %t5o_ߔQ|"7ŷ ea82r H Rf/GO0 XR܆ })WeB4*#thw-KM=8Qbs-X/FQuDV0٩huS=_ڿ5 QUi9)h (m& =қs]eM↔y &^nՐuEl=oKFvkٗqnYVbK!w>p>y4mIQ}S6)wpv&mz2Z YsԮtx脹FȨ3spNwvA V'k"VWQiJ-;ҿ-ޘ0H{~4wSkmv/>o>zy͉o]sKaIZQi ;XQHe,9t|_j="7Y0[ }+nQ&ꈦ`֧wfVjf9[db\rĎsR lb$'rMXװ."1(sBxښhULW`#I3YչC0[gjqč ZN\OkWz1h>.#iبJ60цfTTXm @f'R9 @ "m7@oV֧gG֯D# ?Xa( i Wo$ e(QFcg5#b=QAD`W$ȘkO{ 8Q著<.׼Y|F=aKтyJ/%QML;Ea/d]cT2<1'%T ` ^M{x#d,- \Q ڣu z=*oX9k\~LW)2:7*)gbВbǛ7=:oeZ]8R*o9R8H;C!:k76k!FvhRreVc10V.V༖?O^rdm1 1Jg":}9'f5+>vg;F XFZeKuЃL5ϏDм#!8ٸمbRVR7FddBgc|Z=#[I._d 1ЌMB\G;DNAug3GkȂR$;j3;9`l|F K@&HT;Q\CY D]MDEm;u*Ae=i5HRQ5ؚ=TĪ[?D_c ~Iy6Ype- = „[pY {t1g) _:a4rJP1PSܦ{K"Oqr*ݶVk\yD 39ƒA Mfo2.z)=ߓDe},a72Lp`XJ|Hߓۮ[i\,`:uvsodeY?2ȁRMa|0dUFXG`.o_o#F:r+V4+Mu:) -#M!ͺR?_S?1~i{;7|sh5(q63۪xwj5"D^F d-bfNQp.Ad=Pg% كW@4|tp!^V 2"&Rvs())V`^/)&Q0 ;nub< *q(*1.q SON/  Ž,h2Ȑ;Ii:7L;yaB"+6zVBB6Y[ю#⇨(Pan2F-k'%0#g<}mn[Ѳ!2&м%$6 S'<>'iаyr4`35f Zݫeo_v ٯUPs@٥A0JyzYcɛn="`T9s7fOa:z|y.h#Eߡ]T'9vSu& `P|}=K2.%_"=' з:$@7:/IJ= \* {RRT6⮵~ ;i76@o6KE0c$=hH~9cTj2bUUt=H`T}~{0o᫖xo_7]ޛix 'K`>m2P_ΊO[*@>0uXS kVaH(v? nsJ׺Q4_\կ QnJ5 BCΟ@Lkf8JW^ sToW 9Mdm+E9QP#m Hx )}.e1/o ~J_=a]fF؎Uۺ#_✽nmiym.*q7NWz}릝ο| aSCݗIbuzhnG R3+giZW.sk <N6ծeFՇGlo2_νeiHj`m>_N,Jyy| ,E|pfD\so?&5xp] , m-Zɟi"ˤ^Gh[Ts].zx%  )ىqNKgov?Ka>B;h}?G:S|r 4v`qXx:GK[피Ce:V䘡iePшe^6xjFF$@ro q~Z~:^/B`bXUյrAr1K. ՎVF~?fАόt rb%#p"8"05ke;bbIiGue禒rw~_cB!ws zn n{9$D\9Xw!Gh>?AaGn˪ ˓tFp:O6-b$Q0nhC:~8y5m.t޸SG_|-25_j~6,[: IQ ){&b.0ڬw(Jbӱ$U\[^C C{IBER{ k$mBb  Azjy <j(3 xxL?P]:T~ػA_D6a ~>#,%*x)JKW Ra)VCuW65{/"7p /o!$QWߊ rS^\Z-#{o?Igg&8!eǣYD![/_UN i4Ŷ(ХH^ .H48ifv(F&'fai (feYC$=[&2&)7CL?)7GǕk3ޠ~sg8P! (q`%ҮMhطv/8:qss1ms@ %eaVp9%gaC{f..ϻ-M{.5+& P/=> JP7ڒ%)1˅E_;sZ5teO'B9) UTW+MqVp7E+эcFa!'UvK&'k7A5yqs;,Il%~9#WaSF.Q 6Xz1'rP[ٯU.Jt P_VK419]rt"85XaC}Pg{%lfȼ~Фpa_yieodYmC' '(oƼ&ng[SEָ`.] ,U5veeޘxo㪝H=;FHs,0;NV *ia=K>gql0ό!"k> ^U 9r{xìnM =V@_(&w"FdqP(; ݃ ߋ,?l{"i/~$u !рDٌ1Ui-ñUͅjԽCM[8>qF,VSTjRTPfj6P+˙ɹv[r x캣V-uAxȿ' 52 ,X@ YA~ MHmN2V77bd#r .wetGyWNL_G#C 3 KGnil4,jro^̕HwY hDT,ͧcY ̉0 W}L=CzFJtp~~ɥI}"O S|bNT_9C&v22gaVLj0Ԑs;l|}d;`ssR~P(֐@ 1xL'zY;Ň*R0!F ִSo[E}u2ޫZ"4Yǀ߷I8emK$j".9 [nIw$7GVE[~ )7; މfH~\;h,xZ#}/+"͸<:EеI™R3ɱ/Ȥ:8/2>7g Fe5L+0Ħxcː5O;<#B^98We;ֿc*| ?Cz̚z4Ϳ82ߎt._w;|%@aᠼF~.U'/edʘrm,}܂fiYjchG<:x"#~o]%.ί /RT6wJ+jz;Fxz_KfmUǯ@7M]Ѩ!vNy߳w[A'"r[-vj#kecnFc1 S'HRLrH* >jv?1cbwC{ k ЈNlERE,C&7u`D"BWTS*ɻ No @N¡C.r/_!01 CTF=% A' {0QShW$O"Wݐ>A/(᥇xg[R[D3࿁]j6'b@MvYK0UsY7z*̺OAGoD"Ief mm:w_yqw+ɒh< J'rݽi`uhQ<:LM_:|K]_YrBZC1XѩL"5B(ۚUgO*eK\bq ҡ'+)_F9/F"ѹi':(ID = A$4~Ult0dq}&8pb3oQ$)(r=5Y-ޗc^s$lMN21eѮ ,7_\arU5%!BuS0Wޅu" ?K@ T]Mj[ZVo.B߷47:dQbӁeM Ѱ)i@cxTHRZr=%~)f[wHnMEgW#v2έj*1yʜ67 Esօ?}6m[=Ge+KnH5A|]_ =aBb8PلxD1+,Rtd:#i}Ƭ"V|OL@ŦWoӷ{S+Q@f_5f;ݠ_˹mȒO_JeZ {&=7m N"is5_QwOvjIσdilFC'@ؗ,f/~{FJgSeΟA*Er*[uؚ_ k^.APQL^"`ģmvHIࢊ\,}`Ԫ.:H.}$w6X \!tt/0p:2|M[INz8vze%Ș[F^B lf}4 l_yWJ\#t$"Θ/Yz쪸zkő$+;$tPl9PEU9꛻S`C,= \Axeaх<#+ W` {QQk-.ge"'aRJ2 Hs'ŭ팟C{ 挒KU|9BHd>AX.^Iɘv_&A9 8iVJ-!9:ה,>2HfC&qA)VZ$Eq|)ʠ[ndʋ7119+u7uʶmKkV\rM_02}8('7П##]x4]xZh[Ӭ |:%+ 5DBNjv<eЈJZAe> ]mUwGvE;~; (d5;V(7`7Eu_^_0 C͛1x =G5MKzE@JؗvXu<ʣħ:HE0|Uf7;6"!ilC-M ѱeD(вqyrIp77c7yiAqJ3텰OwlaA~qN?" Oԯp>ژǽ0ofQx}X`#J,Ȼ- -"2Ѥmgs]>ey/A:sսEFq蔥+i3=XGҗtHP٨A&Xlk/*"2E|pQ@1D2R A3Ix&Tzxjؠ>s+'h61݅˩w7,·JP&Vo88,\$Dw@6<۹}FB\ _L\P$!ƐGGeߘ[T؊請ŢA'Mb`zw2eaK`Que]34$j n挳sPF\ Fq1J^Ũ9ʜ)OTyǶܹa̋!yb\d,>Kn-&Q~侔 iDFfl)Φ@wil,h[*ן=qndff(;U,Ԅ()3xDPLOy)L>69F!E2-HI*㻠PF裂bH%)*G1i즥QK?BE8]<9ԴB3h+Y@$NF5iz;D'AFYd9|$c_]sR/-tƠ-ɋ,=Pzе:D dhlGQu_Y% K^pՌQ*k>J 'w|Uvˑ,L$Uh:NATwojߥ:UD(􎵻r)_<6+#dq]a:k0zv-dkOQ <~-JtYO[ 9d  ~ϙ%4S+W&LQp`"v%=^WB3rcz+:X*XiZEڼPx~~At. ⾍28"LQLL Z{8dpL-Z'|P$ bX^O/4 _K8Pfć@OݓE9.<>ĭسiAѻ獵VXQPx4m)jXN4I FWE=Zm tZK3U6k[v~G$T&sS5brSQWi%5*Z8qq粓O/C"xwU fgQS5Rҋ,1护}hu,Ahͥ R exNMpYmmc}f3Lm^L2 ))叵4@SH@xN36t-'[5ȴ*|r'@V1ـ~OX%ٗ翋x!#jLK3$-n,p~a+E7 ZYG0 dL\ p%+T:t^la!\Ox]1iE4oW(YR#n@޶ '!h `͖2,>e2 X0z{̇ )oZ)u_"}Txg bО0 YEُMR(A((sHzU{ aE6ΆLQ z}u `8]69Ґ* ?_{/5B P*m 5[g:,or8bK?`V@/&0t0¢'tSM jB$'K^5]1aʛ ?-R*d%lʧu{Y5,Мk)>"c$"I뮱J"vW z%|Vv<\FCxnKsW|aH٘L|#w~[e8.%ZDW4^.p@3j' |3rO&R᳁zVx/aO~ᗐVMꡨz "ڨx aj7X|^=7UbŅWZ̚.)p܅AWS֩d]#qa2`*3jU f-JKrpiä-Q2ۀSxg/? ݿo7O`rsj^A66+]qI:d36`v2U?ՐœMq1}_7;|zyp/f 6 ,$ 0ь5km1KƑir 80PC+Q͋ r^růґ O7O>C'+1I8UhYڀHR *[o[9l鵴@> IW[/+\͞Y&Z mǥgixWWy,^fӥ26JFIWߙ x23wR*c%TU's\<*a3 C~2Ϳ b,kl}mcG $wuY,WZ,&fE#,󊼚:;2+Ϣ4q6@9X* ~p䁅&GmZ x_1h/lMmfoI:ul:qh g>8 Z:Aľ퐤`B@ #T@XPMփ{RV1p?&iP $FWOG@<:{rȆa@4j@Uu%yUZٔ|e~ #+/CCP^FBBu)j^&Š|Mo_kd0dU %Sts|O};a%e$8G~dJ˳"W.DjI_C, D@7lCrڕ&-5۫ewu_UJWج>WC" _7©/h7h'D9j1V/$!IXrw~GT2#/g̉D>UwNvVYV^)V9 "X 2QeqEl+#Z$xU|WځX%r%ڠ;cYKv={O5wg]y ]%pqߧI /׆RM&/a -)a<0UD/ EڢߢuLM OtiB6_6?;:]^Vz .&LO=.yoGrU[&_5w,Y+ԥˍ8n>* iajRv1 Կdd`TWu$tkkF/ qλ[`Iٍ~كZ``484}+Kɿjk]Ļe}AvxTXm*3IE/b4Ku$r['-Ĭ1Nrf]+f;{MƁtr 9R rj-"~yn{8 NE%#b&H.(3'-yoƎI+;, RhzgcAfpj;sĖZGH, 4͊|#AàcߞS2wհ M۬,,&L7d⚆?M'm+OAzd[ƺ6!HLL<^N([טҽUtk/xAyoc{-Lb$B7ߖܰwNPy=UviH $ 'DkXvr}%YF)2G JӡC [wc;+r֋9[,trĠF,a=,Sh}:]XWJAx8O %|űRvYm 2gR25֥!^zI:'6W[-VrtwGE$|BB5э<"'@:rV(zpxjr?.zR/RPw}kGMUndomAEgYZ76ee2ef463d404e2b5b6e7b43d179f0fbd0e7a074b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11