SQLite format 3@  . BBh77otableisabelle_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 </lld ]]Affine_Arithmetic:threads=2elapsed=496.333cpu=820.956gc=48.692factor=1.657zXZִF! X-]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*khNLV\K,r'NHfsi;l{ByJ<){}rr 0ya{U]1qjE|KNpaS3hVaxkZ )<nwrR"{kV(UY dgra 7 ÐL͟[9o#^[ŰwJVm|$ګg\(KNpYCe3- mtCt3WJQl>R :L[#q9G՛Gcguä5=R>|J>1dRb zjE~\[+;I3T@#KߏifRJtd.8y5tYqA̍n 2038bC9&aPRjvAeTphg>P[H3*0;}47э7edmѷC%;BNWQOSKv6ݒLTQM}rw\zse%,pB3BbM[h QvvBO7/:!hr7/= #$?Vܨ0'%*ѱ@\0+O(0lG6-P@lS1۾8X`D0}}ªFu>#|m Jo=9vn 54,jeT! qRcW{TIVn}&7^eYezuCHfb6?S Jf _M gtyP\岜]7y*"2:Lp(NY.z#ͳǷga ў‰(Uϔtݫ}zj@xuh{[GjR -HGOo:lqauk.(vO;}GRoƐɮp' nҕH$}dp靫j$ܖ!ɭØΔjhˮJaq뵪cJ  ]#!Al}Y }alj|%"1V==~)o2-k酶ffYznC< q1{), /""?_x{{ރi>etG `O0M D]c 3&F n\Mj CoѭΠn&ye_K/*'|Xc4TKIdFQNEi4MLw X6"[Z_Һ{ȥWܴ`R2:ا-LeJCݾ866UC-`6GsxTr0]bإk6*v{+k4r攉;H@r0Qdiu9 ׊y0ap) AHwCA:|g B$[nA'Ow |YNyvTm8 Ɣ qkX^4iżS3-JĆX'$ɂs#{9c:&LdN5Kg>M1L_&Ҟq-@rxb`5 ay{0$~fn lyM  }hhsiVu[b| Fqr-r#9{MrTT*UxfhҋL9~gk1v$KG 6wU"}x^jOZP2Z"aqdK3GnSm6ìf4B^PQ*`%%*t:~ qְbx7U+21BN0۩b> (`"QgVcV-(e(>гGzz/a&u.忙ڞ0EiXV3׵YB I f"q "1%@6G)㧋.+r$.rTMc -.8J@bo*T? 58 [/O)&Ya#?2k$bYa`ec3fn6AU̎P!^`=U[5a2 t$ uEbN*CM'c#ɬq4X'u б#s/]-oGH\]Γаdex"~R S4qSȟx:fRf&x5j2a,E)MW8;O績SO)jD}v%\]ߍ&iT5ޡ ytԔ\*/7%6IR'IF)Ο5tdnFHV&L& IS AxNlxjn& hE7|6ɀK8z/_?}{Ͻ`yf &$`tƉy5 ƎU&h;dڛڍ&NdFNy %)-]RFRzVv Zcۏ+KҞx+*Er-`8gDKuT'|(GVjE P6p.HPhzE> E<{5IMw:Z!s^P8fW 73t}5<c")`]SY縊Q[QƘ /.UZFr5C_76 Bo;K7ʚ~ / Affine_ArithmeticNY͞&YOw8)7En&8SǫK 񳈀4OnOqG4 TTgt"|\!?tbm5%X!MQxnAg3ΔCGX& oq br\+`1\ [ w4`hG@\Q@|E$ k}W'SD.zK #_vVҐf,*MSY/ xt z>WLЙ$[2=a0+W?i*(r۳탡lgA ukԈ<$#VCq&"FB~ jxzwtC!rqgG# [WM5$ E!/%+$rË)ݢYIZ* yE 3(H =~ 81q'+>fUԄD**3]ϋ#N#2Ƌzm=]0RߑKlZi_vSZGl*;~7 .}FٳIBscV˃GoXɤ00BFڎ[%ǧ-&X2хa`*# @dW io,XR(9wh| -QD531RFXoCA%b@#rIݜR *;"z=Ji+ws W.^Auw<{Oh2=,p[ŷ/p)4}..hF=vΥauAOnl;P^?9<@`gve zoN~ {vXS𦰤TZ%ڀ<YDjYLw=ic=O̻$[55TFy}?%] (HkhB%ޠ ~goq%z!c?NǮ"lq V/MqKTC<)F?C {/%>xly;o8/7o1y|$a ɴ~Myl*VA_GHRH/"l 5\Q?fy`S&-Tdx ֐c!!">"!X&g;zZq PgNT T>]z+W0T@ а@U!}L~|/߼$\ >V-Oj͉&u O\Q^ErUO^ƒtQN9޴iHA(}N YO{ nrn7 0-,BT$-R7ً'VVߤ:/ np%B8e4?XkŭDT2"kJp$N CJ0qDo R;d\FEci֣A]kcy/JĐh3lɓ?؉-,Nk[7#v0%>!h_~1մݕ=뤨_]4*VJO Ԥv699?*Tq$JQ45 Op}F\ya{N/|v #?;3M\\)Ӷo -7NשHL8]Ȃ@6,S4 j+t nNL1ǐ]9Er K+$qQ:Y=o 5.f= N-S͓:=SZ&`&DV;?w$_oԑ{: 挀3@5o/04fK(pjKI;cZ_᯺6j}c-奚r rDr8&qfH>m Kh](XCÂ\xr| ;% NٽmFV4U3t!0þNe;N ^=MqŕϢp8#Ugyeu}r )>9 e0 kI;BF:W0h3oݮf[ WƘ;CA_~,DkvC Y,+/3O;FOMUrUiӒnzg8;w Zb7w ~6Y/h.DVd|pyrx42߁!i LWytϾ'ʎrdht<ʜˆshrCa(Y9cʛF y{"ssl_= y ^NH&6*w79Lf`4/f. a[vyǃ܋d !ͱ1sjg:Zx)UQ:^eԁ僗i#8*L41 IZPǚtt08׋> 'pSg{Kcozde%RA1)6zzuQ m &kmk$pMsf'ꢺ*O{%8Zbƨ,F6'~njAa`he\w#rM gB:_+m(_%]z1ؿ~\@xne 1ANJ=`bܗdXH–I >HOu>@5K@wP e(]6]mEX%'Ph ~x=ײ# sv4//#rij5>MI=VJGn/7/eqDxO7MX& %V-Gwd&HG c*5Ld'Q6)`RwcIivrbW4ƍ4BxI)uThA '=#2L4eOnhۍW Wy~borh/Z~-Sp`YQAqe&;F1 "8pUK'~|ǃ*qR-SHsU)y3i:|!8&,GAw8+ѧ Cê0Ћ >eZ 35_h>֞t!5\\r?x=rf@z=NNʓ{4[ ;A{z|YWfT:;l0UOr*7SN9uWE @VS]"xfNjsdr8$7;-KUWw%yw :%FH|8i q2YkT!)@Vhe.Ab bFQh+]M˖j+QM Te?NyQ>Wưy᳡eỸ[ pP5 B|Vt`MkPdO Z!Ag<{t\@Jie7.7I`'Gӎjrl9nsv%e?uYw$J0~?g wv⹦!NI:PY|?/(g̪IsGM?^[eP'q)v4lWl@̯{d6Ώbp L%v,-@]+ˮ7T1_rT~] f='1TPv#kΤ XM> ${[8ZA)i۠.?iepv[1/_n/+6'K9g%bC/.$`r0gFL+ݑmb-Jc;M‚ޖۉ<%ʳ1.A`IT_#K2Qlc̊5]uJ) 0ʝ0кZ21.9*?;O7 6a*po)lі:+qj `ۺs rn[wFqPL*>[PF[T8gl.S|tʛ hN̅>߄m+.yڭׯ'p YLC(lIVF*EמLzj UAEV%_(4 zp$B 7~q7Z2, };h JGNTO\"\k’cJQ`1ha5!6,/;={[=NA8es&*20O;?d I70˛@wG"`?H>}ԟ`g%v4N:L$G+w?ȨZ%K5%]R.@Ď ];վ8}P4 ď+V 6n::V.l2vFHLV <=zcrds)A;Uex#Hcv- "%luN\fq[F 7dی\iR۠g: |0Zɔq݄wgթƣcOθ#97ٯk =)wϸ d)% 0Ao(4*\J=W KL?@8wѠpօ繤hXx2-@3'3H(xWt"$~ AZLjp~F3:$ɴOmZ6cE.ҩ娃vI*ꖄNA_3_5UxZNۧXIGԜf5j܂̱uJtXw= % b6̊)TP >PKf|:'J/ny&&a;/CSVLImG*HBqZ9dydK("-RHTte!/GzߡXiE7c$E#*}ooު@`eS> i6ކ3HsQ(4 \Uq Gs)XyxkQD$[Sľ#ms)T.Jp_3BQ:h=޴v71wuB1tۨ8qw!r(E',A<&H= yL!BUJ2 OND'ғ(:58"zWzN(+mu[1*# Μ"'/͏ bt6? §O yh. ,'wFK;k=6|[(dzE@b"EU}k[7%=_Cn9^ v_? L7!So3[͜:FM/9,g*PK_!uN1{%*`w[nTʄJh ;}Oŷ;m91LEP(: 䓝jT&ȗCu\UIH#'oQ،?Dzߋb͏)G-@q:)$]H T:{5*$k;b+ݏ$ fme$@/ZcԻR,'7I36٧U$oAVj^ZO(W4=NGm T=n؅[4|{2`Wa(gl_8JFPK42\j_LtV'='7D EkIYɮ?t 縩"=6ë FVJmrj z92{ \j1]Ĺ j߁.wKV_>tһR\/fd G0/iTw2n#=_y}#ڜRG{ +M D{1~6;kKhU EbxcDd.nglT ~eaV}uh&YY%Acr'u Qej]RUjn>` [S.COm1RB\_"9 ?6Jnޗ4O>@CݍNjֹ]/uuWsz5PQK=Q--uv;'j6w֕2#i*{@X:Jw1;69֦y@E9Ȅ؁ ,48{5tаa&?d6\}a]/T)A_k }\%čG@&#M {JWB03jv ޖtLbXihtyZs}j<}%:h<()W.0)?DL-O@ȓό91KV8e\c!32tܶ<:VS݃ jx" } ̎šgN9[;*P *UD6|'q<Ҿ'+$L]6 Wf )::q'%:2g?N!)6vkgeԴ\9CD#}N{{N;D)4.V"dX 2C:z{!Mr6#op==Fukvs*(P~i1 ȯPMD 7|wr"4@rmm!7I퀙*oNH[bTd4r(^bҡ 5$ AYx2F QP\yjE>t " c%z ]xŏm"xd;+{*Vvτ^Q !w4_q%0\F`d]#>!n<2'xRX|ƏMYGƣ+S\W#9kqFK?.ғh9 0o]Rtp[DOdr4ZOUfWwh-;1q0`;/^EJK7Q*8 sR΂|r\hz1hЏKra@towXrIܾjK2|_ X 3 6QDј| dc!?:dpM`CEF3DAe?5=Md>ϝ sZȎlfO9^=RZ b!Zb<"RHWԸ i3ݱq4e4 ngkw Z"2_wO ^pʺ1 蛽YTSiRػΓ[K%ȂZmC1y 9;zTJXX-x eSc05W458"ɋUi<ΫEEP.oMi'RG-(P+IhwMg$S.L)'HCEu [M]D$m%<ǞC\8O  ɑpE=ŲtmT:f JH=]\xz .]6&urii/cO@.LFҢd;*A 1>^E(5mH5bs0rC7,=9M:4`*.  ;╚̄*I3v6:ӥf 㻿ƻ9p$ي^c K~ a!R4/sy>V5NkGD8"݊M/uhn-9or,޳P8nD5 e&:O1?c4!G@?=PYVCK/8ۖxmO!H84qZWȻJY&Q=LQ:>[O voW>f0~ș;S\DӊzG Ĭ"n[˘[^=GlJPAr pMJQxCEOz4*-ҟ+ P cQ{hLءk>ۣ+!;=bLF%{ ގ% i cow&H_GDNb>bX#.P:YxP!:;~/X0|{NDB9+'JJf.i>nI~e6[l-`5!C2N!xVAa 'k\QhcDy8[hHxw`+Tث\Q Vc9D,@Wbr~ 93GJK(G(רV0*/dA9PQYκ !O´@s?Gmk\-Vg&Dt*M}[& ƽD8,K7;JdKru\l#S-aѻVf# P TǼ4alsPM{@Ua;T PJz3IӜ&Op}a]r- B@:EcoA|*lk(5[VB@.]F}?I4, &QTXǫ, m qo [jFR 6'm!Pq:)#s|d*vX+1wB8RG bٹ·0(L'od>c2 (l(b'q&( 55oHڣ-8k XusLlDq|Wi*fϜFPΞ iƿQ04>'WuZ8\#O 0dQ%<=T85:vn.K^7"lxW(zE uh)S%C`.4lpPq23|sB "VHP0?H(Ƙ"L^IJdj!P ˎ7G:ZRn|4jnXMfl~Cɜ׹ɫ+@52'7 nˍ#Cߟ<t1wΑWCFl$F읬 )HHcd\m6GKR g?:MސZĈ!׺EԼNl 6^ J u,*5x=t"( uV­ z4߸h>VE-zAOd ]64wwBG\Bl^V߲}?^S{@}2ʳ8w92MqWF<\'~G)+S#uqRO?5Pjo,QPH(-%{O(?ȍ26m!@02)Vķ0FiKeZ5Z{2}˽ť 9lg1"0dE|.7?4iӲZU1B^Y¤(Y)R84*H9U~u4(?OmiPJiKf`a{<`DP~l]\`'5XQ^40 +)ل*^ca+qζ2?h:cE ʇ`̛.oq'pxA:Ԛ˒^$Gb3qE+7d@ut%ǓIlEE+CIVϥ7>M~b(O)d$k]{>Z?ei8k}ݿ/ հC<~I$zo!s`l+]&Cy9ojiuabZ"ZZ[fpnPeeQ6 #GB_~ɱy܁2P_,ߞ}, Jӿƍ_WR#sZkx,,"8{y|O4:%X8?fdjN^*"vUg/?℈[/Tz#!03CĒYޯ-e Ms {fXw](g۫1g#Gh ;9QNq%LȢ|@ >d括WP=';bz콅xH.Aم'MSܘzA;*ʝ7;}4UHr9 FD}3 ?&-PslWQŸ ~o:9}:V΀zr2c?eY?@ch j1[h8ZD؂^UB1m( NNS':&SA < FBrr.N(Ʒrg}atgw"$6uVR\`86 TUnپF`Ur ~7%w/dչ]e斤G+Ds;]4YZD<?jJ]K:?Юi! 41bX8Ж5A6 q :FP/ 'p?53' ﻊ+Dmtjnլ(A:Q5u+eip0x2_+Ƥ) wåcTҫn;2EQP,6WA2Zpe< HOxo!VV_ʜP$&\^ (pxHG|C."Hښ jCZ!)[~@  m+g:' _}Yogoy׵f?O %HUtH4(>"2Y0Nv NU|x ok{jL6Bʈ~Sda!\͈,N.ք[TCvrM{Lݽa<ăd\;$0;Tqn 3jh[Ov$.3QCK*"՟@k i$xܹJ!%OudFr.q8\<{D,P"WA " j\U?goq3-#Bcʄ`D".9+Ξ =;#}:,rv: <;^r_iN'OPѳagC &3c( GB Wh]*gjJᾡp^wO9Pi`!7} yLx vHhYuzfѾ=`ۋ'#f3CX0 CÞSЅP7녈AR+%%٩Jf2#kVGD] /aoiS% D yAOlPhEi!@XcS^9VWC{)甾Ms( 9H#bZCG;gSrȻdSKT:ZIy︩& dF]' b"yb e䘍m_XలR@džQ#YA# 'R_}cT컧A%3yqo>6~fÍ8Z`mfa~"U+lEBBH{ng[c*ZZBG/A)W3sAq#ĀSuODsI赑8sߨ&ǔ"(|W&ˡ%.Iҁ{qBG7#mB<~cs5e!ph>w\AD,o:;w2?̮_G$}\.-GсDz5Is> &MՁ~ 湕}b_tSC]Պ!a{1rms4Kd|\;T{=kC|rZOWk 쀏l"^eud7BhbDJM6h> Eh%@ƚL6 x#٧ܕ_bf)1Ow8˓ѐ[3h%BceVaOطwwJ;Lamg`+a@D!״NV:<;z#mУjR]IIG&VUh܈WĠB&RrSnψ 0P]+(}j^[ma9l2ޝ'b;j1pޥz#OgiH {~cK]p@b}7"{mDOI:) w_ϒ; $7L˶ș^|9y]B":%;*D^ YWk"َ+֡ ͡y đͰןؾ g$Fk@+'/o듌٤{vIJ@XlhZ";CRft[RCt'=aDgmQG\&%^ldߗ0jv),,E45Z»#N'Un>da^fSYڂf<{dIW N[-TQLf'Dh#$uʵ`%Al2oTvٌVs!>@XK"pU QQ@1H~<1b:O) D[la>ÕƓ\l+X OemKHm1F,ap3ϲ:? ABoKS%c[M.Xi{#L5o?u5P;TakQfP˭rCTem-,k2{0V &Nd}5'+Pv{p`>v ޗIAmHDwb~wAָ7LHfdWvzdC:#7yFr-T+Mc;Nݶ?"P<-ÁuAfq/ $ד  .% 0ל0edFu4SLEZ#`-v geZ` JU['WiJ_qR$< a ZSr:3% l. w:v~N;;[CLgُ !̍uYnenA>p}PlRۑChWW'| 8JjZØ`wOGAmx6HdM辰9:Wfg2,w`fi9t,h [ !*m~Kr4[:J UoGJ`Exأ 4,qvBo ޵gԼvFPۏ 'H ayeF'4pI@[SRF|k$ܣ!qJ'1ǥ?R7HN |Zbu-8~7@iϰ+!e%0NEķnv\f<9毶䛔ۮtjqAj)3u n>K@;#k0_Aea6!m,~271!rY;;7o(Tֈ?METV*ra$~mjXO) 6QãYi[(Ω|cgiZ8j4k@в%\$7aX7Ȃ.< wYsA@ kÑkϮ!x!(İMGIG,im\L!RdcI$?HP@a`Yf%"4K7Cgˠ%MD6~p$SJj~^XDӫJEb\RV!wHHm6p`1”u,L..JU2 {ęe70҈ۉwK ٓQr  vZ2EC\hs(x! @ָ{{pBS괎9 ts ݉UUM7:6E%͌È:j+JY &튠پ|F}yc8B=gkZH] %f9YhqT)t"PD,S(ǭ(To1@,24yrL,UTmU@ ; ou!鄜"{7AQx-h]EU d o2<׋Yiӛ Z Uu#QVJ Ly9̹VXM> - Xͩ`FXh.wr,`-e>@[2x;-al\@h5=^r@Ոq]8Ti|'_6YT׿>E@й\ Tr+hDW+暕 b`qؼt GQzN B)ת_5sfíظ g,c !yS*J|]kd N~'n&ϤWZ>풙\Ş5ّ$G@R?IZ`i4'qTiS=~jjbBZT,&fGX,/[ğLJ`}t+;.3=[#VSAHA Lq4ҚD6/n 6p}ﮌJYGbs&t&71ӭ2"6S̾VP ~H L_!d]̩ClW5 f_4ZiTZPS7r)ϭV0dG4XuFQٰenA/tLJ=!VTL%(3 bZ 7WceBﻅ̠]Cߌ*'ē Nzc 1nɦho^.I\yI .%Gm01{`U@[9\je0F%H6|S ʶPQ{eOL cȪ1ia죺 D'jr0&J"3D9u2'X5z Ex Z]<}bZS@BD({0jRiB+$ض?Vw GHd;GGDI!3%K>?O! Xt5 Q{/|sw3%o+^|tA3 ={hrՈK,d]|m.%B/GfC?| 9Of;t*Ō.ȴ|DP~S"'Ph$^+H_Т/?&y$bF蜍PE xdYI9Ycn[ZȪ,X _o56$|`%PoVp+,›,8Mkž+fn)X,z.Tt4x nYg8vAMA|(EF*];J3[`4I$~$ŸZyS1wS5*[Br8afFBxdj5rDʻ*NhCGg*<{&.qqQg:Gz7(rEqԾW]~9xuT)g&dd.5,yghfeh`݀:wڰdZfIY5=RW9t1!<g4i!})NSLSvOk'|Eiu_';.B|MYץ?˕w0a8 *)cdeޢW ~r1ͣ-[Ms_?;d#*T ЭDTňh<0PV ;d%'!>i*[)FۘD@r٧7bws'$`ݑ.nE<<~+RYiCYox9/|/4Gm9eS mӚIh8#}e)Q/\H%(#j̤ Hr`1Yo^U7H]^t5DE*'syy7zf X7;`@8ݳ,*͆zų."IXXY(%~CL= (5zP:Ǟrir"XX$Fb7u=CC7ۊ8ϖaM)HtGBC鞉e.(5 i{X`Br4SĻ%HǺ4"Baq_d_PHwWqxې8VMMsᓇa'W-!+YY4g>2n̤%-'/CXkr>'YÁftOKikz .H!r0Zzƣ vԖzʽ}( Ha,_<*:c!#yG{ sFBÈ JިJ\Zsj#T󵦧 _kgS.u޻vQhYݣzy3C_cu 0ܘ$Fr {4ſD ʬ?/ 7$^m6Ǡ#xBs oGX>Nܛϗv^ H@c_~.7k//kAΡ%sd]\7;zc?bLJr8y<ң `^ snFxHXT% Je*4{D N3JqJ!&gѲn:i*I3h6fCEWɕ4yO"1fa'.v! }sمjo/-^kD'e@iٓ tzC$uaX4f +Lly !;L(7TAcЖ yzk.\Bb>W C+$b} }T}yK7|IJSpLYP@~&7NKjHhydM# V?+2ȣa >Enr˃P?wf$X֨M v2~djfo6t0*Ej5M?HZ.=V,UY]=yfYſW$}XgĬF;e=ԳԢs*M2?E(ԕ/":Y7ش* T\ @uE'z, oV= ,,ߌS-sdiX$-! T&v+1;Q"E-:4Y'& Ns)״|mh$@ . O&|&L.\@@6tA,N3H9TMa\^U/It⊼3" BZ!9dRD)զS rC6%>m!-0l#ǧ>;f^3=gJ8g%Vc+.!/ Dv\ƪ)J"E)pU' ,Y:?52 oFJ%lTT0'ߊFʇTo}']g|xǢҒ2jD](+,"Ҵ޾pQ &tSw5+Ptƻ=-"4>q,HNa4`?x!YeKvzl;KI;PG"M4He[DuG\3`W6R 7zT=KںwqgA \z\Rb׮ܐP; Rxil7ͯH 4kF2ūV0 m2lHOк s~<҇<"7GsɅ\x1 .sQy:0_;nWvb%a![%6>f%<C@™Gב]~# mcdA2_CwE$㷯w!!5R4L(,:,V*cShZhkH34Н0նQRxR[LGjQ%V__ Iʭ 1FCCRv+\O"k6 8GwŷÎdA- HT~(JTy5*twMh<#1#3ݏ;_EY a01Ա k}1GzTTx,LX!rx%?![owᡏ\΄s.=8MH B1I-`\2UDZ-e1xgzs lBAH;ujY(C1>%ۯY :4;n.h3)O™}= x$z*{Uxvi&ߗt2Q5Ӭd|HxfN0ڲXh^Ulz^])uZjN(Mܿn J`S<@<g- Q`zm35dR:y>wي,Pہt:bk/BꝔ^Nh n'HtЀ6vq.<VOIgB5;XH}m-'̐UUyNCbϗgҐRdVIxHO~rɾsT?2(9:H#.K}R`Fu Z]ZM %hݏԙ =EV:$B͹}&0ʗ4džPPlgߪW4j.g"AZH׆"ln^ =TsiP0O/49Ost$g S-kKMM& `4|}w[ӟ d@Y^Pk @OD2){[Kt[M56mFܼ\1T y(Qnq\H6-Xz*`M nϸ|(Dґc^ 18<;qh S !$ /3?z{e׫ioUdD1 3۰Np'>aժ5"?2(5EdM]CAw_YzvI-Lb.d |=.,'}]!fk`,NOYþA{7 ;[+ WScI@~."I;ABZRAC-{>'tZyG?"OPe^#czl>B8p7 X*B><7rYXš&A]*vC]|bϮБ U̦rGؑ~P[GSsCX/XRO7[5Avuz/l$Q{Y]2)qZ 6PCx7/ i`sY g]+io-ˆ74fUTasxmyߎ'yد{^ Z× =&+[4XN¹)D:ئhy|ZyIdhr@>,{@Iz S&`W$.gp`;4 n]- CE)U)um*DPwbW-a?C@*Yk "nGǧg.,;^Uf f*J٘$}Z6ugH"*HwX`4~UDEk"j(ՈPV FN0=L]N1R{WءK9ah*XcSi47B622.'v 0ԭxY,^-Oq&xrL%m 6fkj.L<qļe,9`x?p(D 1Lml}+V1 iuo4bW*;uh}ߋ)& ) )3߇OOr2ȑ{ p q{MO٧n'*}-e>1V/EAWP?T tYo]zb5Υ+ aڌu(=ڤy ^Kf ФbrPy@{8X*-~ڵ+E OA!co Є p9,i(1(ށcf:SCj۷!/;cmu>^1 -rgvfJ"=-03Ω1}ۧUq9%DcSU,Zx{N@8Δp$Ck,07Gp#d`nAv,osKh1l6-= F*uS:Q: }KR8BΏkW X!g Xܯ=[Q#r0@#g8q~m5JU2:Lsx BI*sրf 6%\zT jjVEh&c6Ẁ( ?+JXq !}`vBl q)z%iԈN?Iefe$6l4y!Dq+8n(""hOuÆzj3MWjicLiťUYi@ Tpj )i;\̛A1ؖm֘mXdIw 뎉n#ˌ)XNz6Y&Uim*iW(K n uIųf UZ s.o ivmN[^5(c)P~w BHWH%%4[^J{ c+6U׶OIs}8B~/c<(mR@;Xi ) do*ɑzi6BEE> ,Ɗ !k)E/u\o"'x,@ar|F^G 7JӁj]@ctj{9u@haB/.Q KPOom#헙ehaO/"9Js4y qAv!dEn/hew{aEUq.nFPc057 WGlu͒g煣g =d*i^A w@)]TzoQ;A2u\EQf#>8 _5ww_, _ߔOFg㞐cV- X 7H@uMX3X?8AFxp!I- {&0eh0Ŭ?^8VY ,Q$EW >$E{̒H7KVHG'URbOla=UPS0;&F~Կ5Nb!4!Nkp`߁ 0Ux>W!6J7*:F+Nd(Q~a"':Lz&v`r> :?_{*ri+9xs&;su0><&70D/~'Al8Eh͊dzFM=b.u$p{EL^Cw"Eh1#&0"qQCPsMݿPm>:<͌\od'7fr ͶNWVP^O$À>gQĥrIֿDAd"/Mz7-1GP+_H䭼 X̣Dlw4i>QCPѲ7cB )^Ĕ}gPȒF,bRFxXcT:SPS(WݝF/Ng{WŷUIJ ,_- )R4"|C;84NRA-yJ#IHIn'[[vMa9SE*@>< k_XYWQ "p^JWX _{W_7l;;@s֣r'Bv9j+VE5n, iz]QԺbP6r7KK/pA(t[S 輬v󼯫f6OV&nݦMSNneh$B~RJKYR