SQLite format 3@ 5- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 kkE/| ]Group-Ring-Module:threads=2elapsed=248.478cpu=470.764gc=27.672factor=1.897zXZִF! N ]ŗXf / Group-Ring-Module1-/6vRZo - *&EI lmʁ=oL;p: lCR2݆{Qlzܺzg v2DVxUՂ acqzdge>RSwIһ9O#{= ,:?s:pY/ּ@c? M=~Isp\:lN5"v+pIq)O{aQ~0@e`D>xtrd^lNrb,˧-Sh%1ˮviޑgpb Q?0n< 2sMSz+_Ӝ_N$j #+P;{QlF12μl.ß$~M#ǽ IlqسM MKk:Թ.U [ FI `A0MWA|ӐP%,\Z~W`}]|D-@$+qFbxv>^]E_?x8TS5΁A8uF97"YGiJ-w|դб7:Ԛf=#8R͠Fdn)̝SKkAOȋQ0vy_r?6// 1f:k(4E"w*}6L8%Îr5=œ +}EÖ]-xmQſ;c@3(htS :ԨO\@qivt&z]|[Q?9Н`G>_0=:"Dɨ3b>-(TwHww\1muN=.xĿ{MNx1_,o 2˰M&8T$)~BM(1Gm."G,N6 wg0LCnًjnj'4e>VqW ~Uv]r VڇtH/kAxt5HZ<~) C]|n4%:3Yf[o`U%H>:AMBd~5*2$(MEՎB:&1@{TCъem8_j$,t-T̋7 cl1e6,$ڶg.g"gs`чD a g>%Q>⫑^RTjuIe:mxo*bSA#$qk`!E Q#u^D*6Lar%5Q )}~HD lFn'8fM>mhc{F2L)^K9tVOc8Eʅ6Aү0ά}vEo1 K TKO4Ӫp.׼}CFtNOtp9k$,Ι1j F@,g6'ݕBއy$̟*x[_œV8#>eRQp8>}YٞX!"NURg2=Q~TYRmS0.Ec MSR΋5"g{;&ipKJMdHG^9!Z]l:DQ X*[;@K"[؈A 7BuFQxo6n;NN1tMD &>b ċBBf{nL*2+c"T̩;ZLuƿ )EEw}DM{ xfgxC|ukf!QcߩlEBzjSV,kZROm*N"אPaUSwX?idfS1GJ|lp=,?& u~Ц׺#'g(c9b7@ GR4}E0eS}2` cvf%b19N䃦 "ʦa7 'fd4Y6?)pۜs SvN ?8m4AE[`0Mx6I9h*jQOHIZ25@ʴ?B-YB_\wlT !+y(YțOxB#/ܱ;(+:7[,aM[$6kI2\쑲:ٓ ?Љ~@Ƕ{z\_1؞v9޶eEoWj[0|&WqΈl\%\?!FTJo<[ehӅkr^0H%2vkXyY jt_ӭjIH$Sޝ!;;F?Y LkbU8sVJB۶Sn78-6.H7#T2]OelՄl -XkNг}6b E҅wsӻ xMӟ.) lJo eys -){4-д?$݄<#y0mCC d t-KIń4Y1voB~>+s:M2".\Ȏ Ld cbaGB5|0MbU\!&> HS.IoUuCߗdJ{J{S~-}A#q4T{ /xt(io;󝓤iLl 2RxN4zVF;b':8?Aj7'\ps9G :eד vOvxcr!N& Vǣ%R{]d#"/2>]ϐ%NzCs/ׯdP'!,34h$g bzs=1Fgs%-Ba|]AB+َLu"kH,W]> c[qڰ7߼I'#0?iޮ^mwp G6Q9qV 3mۻ18usTyBv5 h[\wFgdk2KgHNI!>CL&vh%:|E|4?P_\nzǔErQ:t/)W p4T7I d~2v}dg#!2`Y:2?){Kd^vv& ]0钲/<8O9d1QI\YHkB⬿;ifR-Im/6„sdȴ32ap$,r`& \0eW?rU黀 T{-`3&%ʔ9[3pTodeDg F흹H:dlBt :Xc7Ex{FA%YW^F!eEg^##K@.3 螶qlVN͢o+^@8?חp=7 EWHryMwm1[GQ`VǞL<$4 #}GY%69ZB3w?.?zC+.%Pj=R_I պRԘ;i .v o]1 ]BFʳK>DoF hS 徒tȈ(;ܘM>Zj<y"泴~t}ǟ"FGҫ4_\.unqiIr |?N'H{fk`NRm[SS wdsYf +V=)3d5[SU S(@Ә4U-&}K87f9b;l jnr\@eJB9LV̚nWFe=Ǯ[EBhfg%@v }{&G3D*~jgz%_S܏o|-p}KgKm$#e|E |so1B\p5_ V73As2HՍeg7<.wK>R3 G[}D=^zmvEE`mAp7tML\ETglRlF>{r} sߌ7*,@I$>z^c zRcPxXN0{e1-+>Ŕ=`Ztؼfʄ'Aj΀[W*Y9fKUk(?cwkakWOXM^{QBJQV;?<6xK"(Qi<]\ %/ Joe@мk6Jžn2T=uƃZQayZ+҆dn@uZFʟDO){n^zϏRaלx&,.`]bZ֬~aW^F PKi8eR,wV򞐸 0yR +i%Zz-NaC歮LqFpͥa+CY=K DԴIG,tc^w3zJ./Ki /hV[&{o{?IOntI_+Qp|%PXD4™\qKLZ??:)5Ɂ]ĪjW=Q#>oϡ.fw1&D?oM6o>z8́xp7? N@oGwǨ/׌]_6Qܔ_U_eyߔ1 F|!NJs_e {~?5  +N,xHO:9Νo*e6=,T9鑹D"tk""H(gYS:\B9VVWU7nn:x{ǟ&d?+ 8;; CvwP#Qkl~].b(\d zeBFj`WTY&Qߘ_*20g]zN*f᫇ qkȳP2yg~my;^ʾ}k%„{t[LWMeoeac t!fw|xi v_ŲT3I]Ʈ-QcCC->ܼW]1D{ңʤ-&8R IUUٚ9nYr~e9:QO†;G~v|ntՎagarsJ-,ULr=01E@pEpôzqO==lwN~԰vW"tCC[jV i-9p~Q,q^vFu󿴀yPUR)e5Oϧ_=@hk\fּ50ZhFYxjx;F~AGMW'*x tOfȿg{KF'IK{D*7y8V$:Eg凷G(e[~\ALSk\rpR,̔mݻhnY;2]7=_O18D܃_RfdqЭ-I8'W,o**8|4}G]c+W]L(׏/{pγ/c M=<I9D' ̯`:ԋH!;w=#nC#oo=0n"Ŵ (cRPZE*ο)qlXsU"Rj9|^_XHkgUza}7 pĝhF\}{Edc/V \2m "KQ;te rFKux֥7femJ|@by3M`F9rǞiTuK_AdJXBbAWSP]?d^t=kjd%Cf~Be!>O_D7p}RJFE5>{9Ҡaͥa~ۉF12>yBS{jpv` |B9 Jp=5d3?IO;/nuA2ε5pyn0ŕhz/ |E>}2Y8/1Dnqù[LS[+D7Hj+\c'17& pz;,mXh񟾽H98֍g-aLj`UTY=RbCw@ۡ]Mf[9TWb{dg@;.v+@vHA;!O |HBV\ZyOU.WeFĀQDTiwXJdsA C9Hc?+"cԘQ`}/ O/t0ecNn!Dd[3rӌp*kY0.1h9.ɲDgU'a})3i j[Ϋ.\k'kp=iUȑVd–xvQ Uϔb|y.1tu>em%;Qvxw9yl5`IJPuJ ("_v3|_DZ5!#PrU~AC^QE,4tMVHTt4yCR9S^_/{a^sw']x@7Zdw&u U9/ dI!4/Iʞaf})FEҿ 9N<'`+L*~LOrq۰yV}?y?1^ 05jAxHd# ƿM>n>Iq]6tN @Յ2M{e3`.N&8sփi(^7nr3*vj쐤9R~#BW)Ac"/w[Fz.Zl~x;Ǿya7?vD\~o:Bmo *1'PT mu+[ T_t/^Ay,xƝxE;}ǝ!P gQ+!YTbp`S S~.tѲHֳ͝WdNOxiݐ)c_,PLLד~EbV=Mr}Kp^BC6턣4 9Ho+|2HiaQ dp1eKF)R3FaLw ﳰ 8jk^1J+P1gSzmN5Vr(?%I߫DV[F޾6Ҕ, Q1enw4S@ĞAcX KT^HWW=o9J9r=3+jq󇔰+YڍhL"$;] "TR:+mtz%0!%.1!)_)lB]I^xZ0`U8Z*" u\JnQ}wgYK=DI|mjwYTXY}ՐZ#'IB|~)sӪ3Cg3Rkk?-S'9 W},3ekaVCy]bZ3NfBda0;ڿ>RnCڝ/, $@Dh쭿vh֙I'ۙb1 Su$UO%D#H WP2bb[WTQ!ޥpK8N` Dh1!C:vE't;ɡq?d Ji߱ [ Ҁb 8g _$巺G10q:J竫>Ȱ%j>w"PQ2H畳4[LR]j6\԰89]$j \L hS-L]PF4X ш~K7{6\&V(Oeq \c7>%WU4a #fDe wyQ&8RvK{$(Z[FEIդL 8q:`"w.zGFik_u3Ɔ_<`W8_aۨpț.j-ŦOr~EۅWYdl;@t[ACSUqYw~>/ {;/wM>'*gjw.(/|w|%#Dp!/6kN-Bℝ:񾷴2#\ o*5Ʀ!&Z86~s̵ yN(ŀ y#Xѽ7Qb3 b"Q6iaIUÓD-ܿ}@x.o!lNBfzKj$i\&,Y; Csfq^2gC JO: m36$ ެ ǘ_N։QPf$n#.l+~nԣ8. xF/kb0 _o/EVi%( JuQ;8Q3buEv(%HEJmۘ N%%S٨vV 7pe>bk0M]h/yYs R9V*NX 玐I[. UC+A֘P]lSsA" ;%i yhY}`x.|} r01t~ ƽ&gCxAq]k%Z.atqvM q#&K`{ӄ&vf!6OL"XY9eGۦ hbgFeW0?D,N&'XSxV]-bl=@GɌ Y1Oc(vؒg8NJ~MD;n4<ȧ8@֙Ki)ܻdg{oN@6d-VKe!W({ [,֏ݐ 頛Lph.aVܤτ/6?RCߺ?UhQ[1KJ7V,Csd[a$)ia bnTMFr]|*ѯfᩥ(,-?Y9 p;oƯt|r?N"Uq O;i\=|1 /Dzmd<#S =:&ùP YG zP.D!~{io%~6&l}w9˛Pg4d})[" ait";8g]@)S>W+-zv9E裮Pk&3A.&Y;Ӡ4&A]:S &Cfr7쭇lW ǝ\eմC~j\}Xa"YQS/4/]jr̐4ΝEEY-2js}J#<OIFI7Yxs?@4`sAe^$mX2<4PUldT6=-Hv4ZA} IbQ%H%^5Ɵ8Z@3S037uQtbO@bq" ID 5xW㮥!Ed724^N T뎗/

Z:,er&zQ};YdeTGDP5_5s6B?8%xK{tƞĮ7eht\'r@ָPl2iH̾_GVd2M)@L]%p5~}xiSRgt9 5˱H\&w Al 9t ;#2KX_!~uDCvmSRYs68y `2%k.ʎOE*eM#Gث]%i%ЖX+6u h2~'Q!4ꪓF]j 1y_ {R׃rmh#BJC/UbWh#8<66/<͠ d O%P"\#Q7bY Vh\FMG%V@kX^NDk4jTOiIJ.'C.KBU~h윾A[9DSOzkJ &1ZLhx/ĘE;_ɩHww847Hi10DZE!ecPBPfNy|p|89[Baܔ )wVxVMu-D2j8&t -$d)?ZXN.75"8$kyS,]vk#ai7X2c6fbN#yKtzYlx7I6یΫ5-Й:#Ohz!0PAsvx=V~p%}uTa#֙HUCD >:bcna?D]>T T́a.!~f{ݾ7 %)T*ߺkeU.*Wxgn yv/tLB0ϣJ8@G-ڇ ~t2JXZ. ֿRZ*˄c};>XVRBo.˘ݧ ;<tAo&dx/Vi}Q/@3j~ 7W* ~:̵]+t%p_kVUZrSQ|Q5gV.eY;Y6;p#}g $&*k~\]C^F ha{ZtV ,{z c>~8$Aɉ".F=Q/̕'[EghԀDYG2Ǥ d }mTR&9mrmb.-~L֯a̐&t`Dz'?("MfY{ qTU E?p>yD-Z\k ?x&W!`~qbb,#x)$>;VCo{M*`o1ʯcO%3b}Hww' -st*^84M<^%bySSTI@?HLɾ8#V6 'эL s&c ᙜvO qqKu$E-5T9L#M9Zi.[kDl*0<%3ExPrlMbc3T3OJ寍Hȅ)cRsCvH/50h~ZF,DJq';(W*53xO]^ݤ`HUK=6\*ݠJ'+>2za7]PѹɎK-w/^]F5# 4bK+~Y#XT4T~&WCS%+2{EHKs̺vA=؆8m.?\cG.͋vc90@Nk k!wKmZ_|Mzos|//wr5^ғ2 ==SGDIYsHe)&+vT}Y *Xnztj`l6h/rǨ0pq <4Eŀ+mjZeQ,KeӖ(ܸ~[~ar u~9NTTSTW? b S]^cY˹޺*y}ʭR]rfRǒ)rG;qu"TWPn]'M݃6{! X4>7bj*9*<|s,!+^WhC$SM%2'+fURN}T^խ¦{vצcpY>X/-$w"iȓ.5@|p ~P"[1gӋ7y6zY5`lZ7$G DsgsN;u S%z܊F&Ď(-r35&PӃ_w>{Nm`I&I|R7eƴׇt6_1wv',>GmTEz860xtw&CVmֵ;GNAKqCN"Tu , Fd5-Y ɾmaxfߵRŀ T? nqN?ƈ`C-LSFZg!+m^`6Jݯ)9n㦇{oySN ,AC&[֡?^;5>fp)RS$aʻ9> X̸oa(*;qaOE</e h?`Gke }^%,Ф ʲ^d&ë0e7oEYdvA |czJgE#3x%B\Ux13S7H7(mR rjR8(/!WTQDkcԘ"'1ATځUe8g يD`D%KDt#>0)*[&@hDJA Lq֮|wHR4thzW'fVQk6~ SJI61QW;Aav|}5&ec oT GJc$NiԭX\BsWㅅ l9^j?mϾk)2퓈(j2= %B%"T5"0b}H=~lKt/g厴"һ_E;5K(ְ+f78sKLpJI~b!*uqR3$}7Wz5#X8I`Bf c2UZ) >G`Zqd^Bq*ZFF_Хa)$dOW\ o^o'͍:`Dꇙ˿ٳG{#I!Y"՝{^ьR!^S_ݓCK2Y TC&3=JG|| p4`y WAU^s; 5};06^¡}0  R p*KT:nEQ6Y<~ȣ.ȞĆ2r-'} fyĞ9xElkcOo[&2]^ȫ0*\1'm/i m07gfߍ}%e^mF(֌p{qA M H`zi 5}*1H qtEP3/_)XՒLӎ EVgRI)065yf^?B:ii*\t2N[ I_Z :Ի}S p;dE!(c,ظ{JSwG~d~j<{(Tu|%sXs:Z;d_V_r 5$! Ӕ8qG2ɽS֏hƂg(>жll` vŝ6g g9Yw 8_/A3[ S7spFd`d vI("aAÿxBT^G홤p\\LR}Ⱍ|JTĪ833iL%hFR*,vqiZl6f ʀ -B=UZNRL?wO Sz H{b &-ɢ6Tǜ7μ֯RQB5?ъ+rŽfr:IiI0NL. ϑ ԧ t,'f\ (]εEɿTi՛r-0C}iQz(1WVp.;XY mw7d$t`@A1"‡a} o@D7i5~kq5G Xt?v@()OYL/alWk#|YjOtv_hԜYQ0b }ȄTFlT@cܯ=vful8Pj &"fOR8etx{=cc~@pֺ-SaT wxQ㑟+>O ;u@#7kjˀS''|31,u7Jyqmm}{!9asg꼰QC,5GT(4Ca΅SvS99sC:~ãh )+$6}ڸ;mSUl-9 &|"}Ƨʗl/3gY?K%" G6 I~e'_p g%JCop߽dkB|2?^E=o'݀5H; VP%gV쓩@%`Pr.²fF˸/Pnup3'sN 2(:;6ExNCI_jtB`!޵a\'_k\N(=zJSCpH1UЛy+\2|zDRKnA t0!4"Uc6ntt[xjT&2aNl7;ůmqXZkW<ʌ.4| q !wmuk7heW![1e\6ߋ:Zɟ)'ݕ(p>3^ծ^6 үv1T"Ah~,iq"Pv bK}=4ϟ7&=:i#ZS8zo *p-Y9.\S?$Qg%-ktx@z7Pd?l8S!$]!.EjN; V/eHSӦ-Ot ^ss(f:&yA vG?SxZz?WJ@UCƠM@1-~ MQZϝϥidOQgЌFJ~uC>DEz%z)-7 Tw4ߤo[ڸgҋ\AN$%ZQ@7zNd.ݓgZnq'[6SD'3wU3fZ)&'!;Yw !2`2J+yIjP S|H! ^5t] $n{Ep(F\䏝-YLO4ާ59P aO ;e%?@>eߋ}~]]HYkJ/n{y1 !}n!2qԮ:{5Ct?%/!4<'%lbb0% NOoX5Zx!nМϊ rc9)\$kە:0_޴$[*sH析霭 M+.<$pHPd`nh58ľtM\I4߂ d(!f~Nh~A-'8Y)?Ǧ>CIa]Z7fP v^yZ b!cZ"SJ ت|H WF(M3BA]ӷDTF6u9@z{͂RI6/7/2|i஘!y?F†jTH0L[l]b9rGkr˽U|zBc΃Ccvva {? B~38! <4 *[qJJOA+lQlC 8}+?y\2w 'rw!*\X&~X"+sΝ9f< 5EP\]a~Iz&g^Yŗt_E7 5+xi6J rP;Oeo~ JN&dŽ;ȈŇmҗ[g} i:/)C"'7"*"ǚ4L:^HBAd򿳴YlQKKO/g[\q9i;S?TgQx #ktiмN/ \HX;]?%71GI: p;(os:av4fԞ3?_,5%&ڤۓ٣3+y! p<܌zuf19q\ۺ SgOLJK,822Yo qbF w"Ou s2kC}КKnb>`㗓50m˵<(_!0dXI.Ex:bx3+`_kgD`k>vJ ug(԰㭌.ۄt~y\àlˎk5fRa.ЖVK7l(3iPbU&wqjCd+d^gJ_co'6L uiv!ćZACr9w!gf߼f{;v Ʉ-My-RCtх~ymnHp;dit8"8/77@ qڨX͏]GDGk֢ EO~x8d'~aX 붲8#ڧJ3!q})Xy2!sJ@HT|\3GM,KIxcS:ìo=r@ esE`gժG8K QgVtoYG @n8+QUq*V}YG[QLۤ]&>VFՉ>>VZo+F#Wx=s5p=R5 X๋k e1`%%<9Jf񚪂lY2" eN-Z-!$h A .7hQ?`BJZF &Yi6_JGv-9C QB-Pt $?o[[/cADTj:h 9Ǥot%8rIJ`{q^UEݝl |g3 ɕ n*Ҁ%_X& !QjwCd'QD~,+ TEKS7v(Ic-Fc*lGw9ݏe<`h>n>"GD-#@ D+ 蓾 Rzuɩí q 8nA|\*Fñd 7mƯKkL6# QkV\C,E{X4vma-RKvStOR=SԠhstxJj%n\#g fkyzH%bի)#PP"]nIDUo8@įT3KL98rBykDf-q.vwy Ô_=>% 8k1|;LANP~#h pP 8F휴bG߻}xvIm 8DB٠l'v{%&$ 0a`M+mD+mгZor=CZ `Pjp7`LuJGfĿd+ Zwo> MT<<!6oe?+j> K up)N9 rvU a}C 2ޣ浅EٻeG)I0 /2x7x7f39,9%~iv[wlԾP[߈1"j]-H*gZ_ףA)t/tբ*=EH.` ̗`a-~HEs RqPk1̅-nYJN5YGcUb?5}gm%\kjO6ZŊ,X 9/H4xZJ9i2:5Ds)#ћ9 $GS\\o=6Gu4sZ4~os{@9CbZ1'M!|yH[҅%!~(v_[C:C+X)FaZٮ9Tsb{ɟ߼*c+qLW0J}f­{ͶGR~4*KgdH.0o~oZ@jX^m n~vZ1} DKBԾ!Aͤf%ZtNo0zw= :fΜ=GMR]hj1t73dyVZh1L*[XϤ^F[.UnOf6 WBla€@a`PMWܚb;QP!B 9}+ҵ8{RD@]ۘlufP4SECmq MmI„\Hq?J$wW$Dt`E෨ cq"0֛Ky}$2C$^A{ޔO>c6<Dff 9Mm3 ̎#l!r$ 7dVYKAh=#JQ}5fI:\cRbmRNg |W>W >Hüg#PU-pĤ8Ax0T>JYzLw=1fSUէỿn-6;LaC'K-Z3OOsnd& #В<φ Vzή`M>n`tzY-e]0E^c; IbIG@zޙ".7gicٵ[C0\AX)`"<H@v/Qǒ> [y7 Ƭyua NJwk;muZ+(^sӈ%; _Areco4P^q@N~?i,լP<}1'T4'*77vxag_稩 dSNv͢kpx% `;،'L3#_13z=B硒NDхW]ӗ/AXhtx t7Ej|ޖ u0m؇hWF]EqtT *s _@敬,%۞)lLc x$ dֈ~GpJG ^6+34`43>u+ǝӞ*+Jwxrq0lh8:tYyZM#B[0PJfa%$t>["j|j3Q}>doԅUS:# ߜh+k uD7d# v ?Z;ՌހF|tevMJ#೙&8/]FxqW[sΩZ%I]@~u˺sBp~Z.FQ:![eR+qY7,QY`v'(:QMbKsFMBʮٲ ]n#miJgZ=.V+SZ&`I;X-RN_}5ֲTVH!VΧAݵrjDL=-\L[O/$8ف b.=󤀯MHn^'2+z J-$I1sX, $U><EnR{g׏PJ-/imKݰf008{Adal |y3;dz)li˦/"@dzCӗagu!RUt$2HAbpG(yo"CNQ4RC2M"Jay }y;)W{h2PpeG[ K`&+\_,ȀNh4~,$S4oP4tpZNCZHM8|onRVV.GGZCO*ˀ@)Mz4<kj 98L~2,K}=r.C$f|4*rcOA.CqI:ؓ 6It:N\>SXwQoaSO5i—S[Y؊2v IޤUrk\<}EJ% LIѨSm u@" yC%).k!))pܰHr6?ewj rT*k Hc^*xx':\OfFB |(>!jvW% TnPvM a%( ׼*֫O).!҃M|Tx'H;Ze+ov乾c.I2mQ; 7,lM K"ͶTq}vkV0" 8ZWpJ,^am4UXKJsٟX*ژ7uXad .}NFJz|m=yY@Kff:ܜ-9K^똒dr_,Wy 305m&A."JV¥O[E[CENap7v Gރ<򒞩dn2|@g~Ptqfxq>pԀ&9PWej۽ K84c)x΂E&9T2}KE_K?6_u)bw켚'zC1Hapra Gu.g+ZPu.0=C c; Q[:(ˠJ'3]591sM{Q1C[؁o׬(7"& RRORs1k%Nq5v ЈY}:èO9[\-ڭ%?w@EI6$94Y`hێ`0+xZ,6d1 6F(*6+YF71@i}<u:+ 5d/uې)o+kˈNjThnimfBeBKwaÌ;ȵ:H5Co0Dc[>XivpxCIhTf$'ueٗPC'L, n_UHx-ZyMp))U*u3nkd{ '3 ӣO8O2(Lc6ə-:F$Үe]LIɏ|1gi[(SƟZuGQ1NCc L| x|~6nƃ!? `X-d0ꤛotRf? 'yQ]myM >&9=f(+PIMm'WamEX;9DJ=GLfOS &v@kio~v?`xsrbP|iƢr <rZɃ- e#{Px"^YKD*sWNZTh&RW؈`uH_ #oy3{Re#$Pni.d\q =.R@`fO޶oeǙ@h|)7%c !Ɖz=1V hQ l}.P+~׍f w46[fHH-nډ5>>z#O<3`_S17:dD=Nv]^ߣS H*И+\UIx4)̈́=7k8K}2>Dw3  )&S 9q8ظ UFk5%q)?0 45P"4mF)}) H,H5,B '5['m{%Nw7>h!fpOÍHrF*TbN3O/Qof(Ȇ ayނR(io՞DR8aơbgdF<xoLIFyl}!z/&hTlr%y~$\nH. ;!O"Q2#YO܎ ϊurd?uN Azq gtt3PG!)v9jɢ ZTq"DfH54XYXQr đ&jrg6-' yF8H71R8߅2w"Hx4On;Tm e8u!3S)YQ^ `(YF]&5U;)+_'PzQ!/lwsgeU3KĖ C.69sFI}FNV, knQ du[ |j>G>ӹy3!&_! 'Ɣ"Z/>>VLE6oq:o9EOGE Uv1JWY_jn K4 ϰ'E~TLhN(]CP>o~uun",q,˽ѳ|T e/0WT<_nF|0$c#HAtqPX8_DŨ';ϺK lؾ9ԩEZϭ9q?otL@ἂٵ= ScePlċ׺|O? b:aǕ"{Ș,b5?_:-Y8MTO ѐ:$)5my§M2neG!:6U:3@)6 }q="A3b. qO $:S+,TcI)Te`5OtjLQ{ 2IgyQvBY${:={*d1$QVN%f6x6O$MHnYiCLΗt;䑟 C4$vt@FGCWغ1?'kkprR%PO3|^0)a QK–3c(B-a_Ѽ!V_2*v$l6 {\˾UҪ7X/[Q#O֏`+;:ok{[{&S8>f[;OaZ-pò_[ MXs$#ý54GҌdR4TZʦz)ǥ {Cɉ>J!\.9r ϊ (ghVMz !5,aϟӓ <(yAWqrٟ/] [*2C qK{(ƌJU&7QY#"";B+ϱ~)BszrˁKz,p{F '$Gğ~.bpCXE1B_d [ _d)$`%>K68 >Dtt3Ye;`fto"YEm$̻q | UzʋĦa3+7cr찺yF"LϞCCuN5DŽrƳC~~?\aSѤ~ߏғ,E3|· K̻x$O(ɟ)dj;,*4fGvq *ڥOeڝ}ћnѝe$*iQ*1ۮ|E ޅU`~oѺJ3LvBc[߀3T61$v_ V_\ћO(V2`&<T鼱{9:@BQ ts yq"V(-ՉlZE{Ii^*Ȓ-Vʢ> i> bۡ"AL @/@x) ZCq>=Lfna)0_nHt6׹ju@`,|~tuv(򘗡dOTSiϵ9Kغr"@j!`DJ}=Bu-҂if}zҢ O ^{y t8Ԧ/^ܧO5jzO680/0D '1b.1gbCmV) [B19,&;kCom4kw{ȮHp=_7 5x݊*̖GTQ&gCG Ė1+0XH>wLadց{/;aV?kk1SN2(Ŝ1 wgQ0+<'t{ f`2Ə#Hբ'Y%ECނM$3K郤%f<"\tD< 2A 珅 CK]RTn}*LLe۽X= cci*duٟѨ8Mx5KB+1;k(Ui@;mOs,!FUߡO$q p%OM =B0ĺdJ:?|U 1 ,ą=hn7>V~M6|]p`X؎-;[i Ʉ!~L S1;.$) * P2!w}tH<j=zE\!)Ktfu*C|5h R E$$[s̼QE.V~QUE`ë\E*c.R3怕;k~Kgpr4Ui Y5ʖR'Dڕٔ@1&;d#yq8\2wӶgX)mLtNզ-6' &F*b{rX]Ny`*xmV <~N))G|`(B(fDPAw//:[>X`{%1k%S &<NI<vi5aP.h EONK?2~7olEMOhB,gQp, >X\#)mFXX=ϛ#ȼ!#9a75"Zza_ꔟy؟/Eɐޝ}$}Re5^yGαn|>_pxsHI:վeBJXvGfގXʯ8*2zADTibJX#1vhķ edv QI|f`+0E ";f.Pw].xaKJC'x͙ÏW뾘9HY9Gμy Xd/5!0;X-J|Kq'YXS [ \X1Wj,Ŗt2X "Nwtpٷ=s~ď.áBqֵ2U+A qp^0H#<.'Z(%[BԶScbS3@^cdiŋeo=KCY/Y\;imP o>j0R:-o2 " ط1H1:5!+_A ٪h1ɡuEKإm߿Xف`9qLJTXgߛŁ#~S:'uj<٠^ϋvsmȶ=l8R>wpEur&oAP:=H `p{ȚK*e ֺmeϕ ܽ@-~NpӹH~ G%:M>p4Ijv(lB`8]蹥(v 2d=UIiiѱ>!W}WbʿOߕy7[jDV'ծj2/Xw]^-Tb͡<Î.~\n2aމg|iJ@}1T䂠pg]LdȚ+O⒛Sĸp` w,H*qMѧEԛ[WpȠ$ŪY\)1}D*6B5#D&1m(S8%saxa zUuH)и{^-غŕ@iCd,kxnA( (caJplAPm:3qp3kU"W%nN34ą-yx!CYJ =}){lO|Iz@xQb}@9i%D|D_nIxg z1Rc?)sI=*3+S09/}؂r!I@G}XQT!E2шejr<@lv⑛iZ *ۿBs7/1>x1ln- 0joQWw ' ʟUmUt5׉U/{nҠF11Ӷd87}mW˳QZ%ڑR386oawD񥺝oHu?pe1i~]QnаIcqdPre|k 54LU‘)Մi :Eb97ɈJ雎BܟB`tkQ'2ېGP#;9"tK_tm'Yc7M%*{m.ݫ?FB3ZفM[!Y wLnr9Ru g QÞ̩yZdڴ 䪾nhBy[4]5 ?~-֨U^!s6Q'32u-\wٞ.BE:eIζQ{ZfK7&lV,SL#Z}'ױfW[ ،Ree*\O/lV9 2t;j֞jًb[Gi)-x ȱ`G2jP5ϳIanrYks4 {;Z'̱$B,@V9ԃw*؉OהUd?W/nDjC󜏷1e жC0g:v.?MZ<^y;SWܝޤ}s{̪m& vYꛏ /ķw_cuWX-$W5SvU xk^xWkYZɲGI.9T1-zeD&Cx"8QĞj0Q|u3nEM:YH9u+];A0򈌬:EY$[sr:yR ,ȕMr80%:XV~p![Ƭ bspYf8pU$b(`6\3tJ#j0J.uklp 4><6%$ͶL9{ J'; V޲8ePkgo dtOR\ !ɤ 2WM*UސhHd$rSRkG"HOcotK?!0 ;l EfCA6XXp ᒝN~>)Zw7V,jw_y N3Th,zy'9ѯ1)XMsϦ hz(~1܊Arhzk`{*֗,VueFa'7gV| }TE APso e% _ #FئLȷt :Y;{RDTnB小=%m,Gw t[[C ]fUb8ܙ<\Hؔq.ʂA NDuc5% 9|`˵.+PCsaD Ш1=zq +H_d83Vyt<?`}2îVgJY )JJGQ0t^M%d6c+ecznq4@K aShҏuv[Im*pOxn&|Om~5idD_@)%;3#s=QƯ;N !H47p7x aa˜ tw3?#A,ܨ[~`dȨ4]D) kXxĉ^$V*NSly:V'G Oxu7@~~DpQAJ=;:ZuHg(syeDk5[|~95F iU}\H\>5o>h(Sc0˜>\K1 I]MK!rxc)s ֲ4˽bxRuE#.~5Ѻ%Jueok>C_;aY\(B=h 5o̠!,ubIrL3˾,=3<&H}Wt@<9Y.t>Xo~1KxfIJJk oxODe1X[v]^芆Upeo񹋧V}kc7x xHƴ4&.$lr@CaAțɸuܕbGu:>>Eć6JTdmCuuw֫3aMOd 3Rh`H1W0gTy䜽8%i'N(XMJ(f ^5$쟾ppYLJ%68]| SU#|NӷbP I2Ma/E Z/t'h`F:ke9gfSvt)+`<;D?4 )) ul*/Y&ߏɹR"t}?sMYƔpE0ܼ60_tg9EƒJFcT&h2h!՚_:ՊB}"8:Oپ=`/QD~nm{m1b,29^Ⱥ8?s{$~> T,A+wN6)+Ƴ@la€. okzYc ][:w / "ʬ}>ٮ7eV8 H<CIhEJE]V&fyIP~`fR=wᢏ#>֝"o@`f"g?,5lb@ <Yٹ\$'̟2! ¬?S&o!SqX߄ϰ09頃?zl|; = Ǝz)4q?՟@!KU_7'RA"m~>j`q51Zvg?էa)ʮ g- 䠛V~b0e13nR_q#a~C@**-{T] j? D7H u3oܻiU1)7)DT<=Ii> O^Or8~ְ RރCNTC; Q[QaC_iLN xtc+ ~Wj%ezv=tZw96WJՅr4 WM0# 1Mh| f8h~u`C3xm- [pcvC{^ȕ`sh1Q&~x8ޔjf_*O0/o;dSr7[cf,b6*TSnvD(P\!>^ke JXBfNYТWvֹ#Y}0)v|Ue]SfU »/\ &fY]*_&?Co4?~FvaHh85VRCtfv;MOo苆f7wF*LmåEQVidl vƟc{(Pgc>(}ѱȣl)nTJzUOKM׿o[>L)4qEWj^onMܤ+jzm7ʢ^Kݡucg$[ t9$3 2ӌbU_rq@tD#?=s/'1175bL>:cyY~ t`H°fc7Glgn]l6+b|l/73:Lr"' Qnv psuX(+:Agw6D֕b}WlK ZkrDxDZaFgQPĥwL?z7?L6b#>׀ 묀XdJ_>Z.X_1Ig]Z,)¼ $1uGy߶Fq?Dq%koGAvR~ G;"=L~-j>\GÅj'Ml4nF& *Տgi$yGavsJ^$PM"Up91LX2ofx`hU¾HCWXR>Dpa^6isfxri*2R3\mv&.<^x`H=5c3lBg]>+u}^#V]ryh0LzS̐ܫZ.|𷝕H.K#- NwwWamڠ?e+ iXRTrQAvO'"ddf,Z:؈ƙKEP dz(Zxnߠvd> ]YEBLсKb8q尓í4,Zf{Fh8_,AxoN51ءEE>ڂ)IE@=<"V~M> $ %ld!#Ak9D"?bms-Q=4".I pBo Q~RNҭR6?hvzS yp;-bSeyqX!dDjm@cq­*ѵ薢ANjV'8X9Ԭy/d!Г>q6. xl:KHn~b‡)^ʯDyI%+~A2`0SH~4p[(g 'o ,oY"