SQLite format 3@ 4- 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 ]1|4 =/ HOL-Decision_Procs:threads=6elapsed=272.897cpu=1103.800gc=103.788factor=4.047zXZִF! Rs]ŗXf1-q恈͐7ӺV -fZEw͠5`Qƺ#_"GG؝h)j\b5LDl}n.jg`)(&Z>bMlO)r´/6OS:@r`c~$eNh 1 HOL-Decision_Procsgkj`(S=Rd(ևvUM#(9f78u;ENaԈЁMEgym(?}KBKAQ}WsNEycYԄ ?ىhp7XWͻ)t1!R ls7fp^V~:0: 6=8][Κp#9Gy[C % Z A9v8 4mg5ao|<Otv뒕{].z @2:$ٖݐrN]. hާ0⿸" B7LWb(|:s5xR ZΖ63$2 ݷ2 .[ֺpon^A;VO  cz2Qy:Ji/U~MR-N~,ӂf\X fA'nRk(=uI(ؓɡx@%-tSr>l&Iuނ^e2ăt)u7eoRꀷgc,l/-a/ƳU A| ,%;9fԃK Cςɗ8XGv&+!ӈpm$E+i+HvH*>(T0?=9 w2V:&,8:P̚dD< 5ۻ:tH}G(WXd١-96{旜5F%£o ǎX+ L0ŨmS͍/&Ana=cUO|}đ|h׮gqaUqiDIĚaG Fy rs^Zԩ֕ ZǓL*}c}RU^,yNGbbR2BeQf,T2D Y\R˘. Γ۰hk : :F/6ScoXύn w{i4%\(35nM[j#(Lַ^MoWo݅řb.(gGE7YFU֧D|b[1~2${6QGDZ|~GQ&->lYڅTހM•F!/W<ׯg}˄LjKC,ɝ-~$Ȃvw/L;LjP, i%۱ ű J3*b- (ݘ.BR!p N|)s,B#RC9|gۑM4Áx8OVse֔33yp:9y,IC,b-dKI1a$cƶ[wt`<E .@/e䜤G|Ұ7'3:΢+(3AR_C7IѾ]}/띤ȺJ3DM;)*yhntREE?KВ"Vwjyx?~S6SYؽeUJ}}@&aWG~Mh^l k! ].",6[WmYV`gّB#Ws͏}V1bޙ"<{0BWM. t Gc,lVҙOO1B%~ڊYSZPsX8oFtD+LOּKT)@/I/Baf!t~fSħ@_F ^1''zr{kNRd+4:g2[_[wus[Gf[;m"=-f- bCŸ(4ɷZiMk{"331;gBsnB9:35uA&*R~)̴o  jxTQq r`m .# vdL=n,qPSZ92h9lǡ3epwD%Cg$P Nf{'LnxVkmt)&3ЅA%̈!)=KψIP(97?GwDfםcqBl ~Xf~xNCSr(VUW>dO~n25+ɫ}Q̲;K gC·pjAwZXc'BظF"E5g_[ 21tZ4"dM^jF\ <`doỷ%09GxTH*Xd,ZfѿDe8{canI-SA5PߍF|Z+¡|,ɦ%ďGҎ}G!$Zow3C5c)!'_$EEw~̀v4b(^T 2'1e[Qks8N1㒲2αȪ'7A,4~q,5ץH%UNJ"PQ"XoMj\@*_~UK{OuХNn9&]wЭhPu0[#v_zPo0zt9=M||='KKAxuTiPEOƋ;5}m {a(Yi=u@_!J[N)M!++9vs}]1 ;?^ihFX|m1OY}^#6:uϯ.%5\Uh>{PzԦo'715y(2.VY?Q%!a:A?ŭ "+Ji?I1{KpU RNxpL-)$>h *v=cƚx8잳jIL7y8e~JKYvݪǗ7ߓ ~` ת]ڴfR`/ˇP&3 )IdB:Nf^YP+| E@FGghJ#I/Ԕ_izb)҄,!N1G/^ʂG)`1A%5vkٱes-O`d6٠J-$y6Dk+IJSD7A*7sp`zs50 Z$hxu-P*ڻCǝrfTi]K pN;z^<̠s=k~v-9vec1Q*C*:G|Oҁ(պ)\{Ωh(l*.(5qE0\#xCк= )3| p{^re,AM#,t( ̅0e0]Qo!Q c%6.>^5<_9?uv;h$?2TȜ^Aֆ{hx|BOj֢j\L ecWX)+dJ˴>;NoM ި޸@i ŜACx?GB+M#* Du' 9s)_GA9 Pwa*VWPC]Yr|9IZ=0烨 Ĺ>~%)wrwn%x\!HC25gYbX9mNVϧjAjeP0N d "f0a*!bY~QH {Y>X< x!*%õxJ`nZ` V!(֐2=/9|P?Y:2ǤOw~qXs9;(2Jwtt H6?|D/^ʉ&O@Rե"wfFp(֟`%bW;ٵ&5O.*uyP9Bخ iQmܬ+X$AT1wo1mĥMN!<> n3[ἠНM~nH%Q0ge4aݣ ;C dloz4Bn+O@y.Ɗ>!m~V߆vXӆurTLWd>TJSpAZAVVue8|<;|)='6ȇ'7 bM@!(0H,^%i^FY[AF[66cB.v]ApCCǍ=< E* ]k%`[~L>-0| UA N"Yv+;S%W>-<xCS=irO!U´uվ5b` a)Jb!/37P?܁iQʺcExn=a.KPm Pia~[S>goPz}䆞}lmᙉŮuu,]81Ɍp K_mQsar{9mF_/b7 %j[>\cTmPq(g]PG 먧38a[R2xyݝQjFrYd#MYѮ[ZsƝM~l3w ;=|"˟ߋ wWԎͩs~ݖ[Z.T.ulkIࣺ`;,}&$y%\y=oI:g9SMoU,ra}Z䄧kPԙ|b8Fs  hE ]^6!ժ[Z=g"TIyWJĎmAD#,%#=\,Ԗ?D [ xhK1+3H;\Dluo8)h)bc{!a?c *txg %LE?*30]Hifm ѧfw8sƕ5Y?5p~5/q2=иG99rt,IM9DC݁gq%ni7X Y +{;ԁTYGڷUI\~8] rTցcQΕ'*!Q1GMX(9wDm*BMAKN@Q*t-6FdK|Lvl:7mq)"ZȟH^P&A3PTۗv|KJ?F.If=Uh#}%i7lCP+-># \a3"# ,HڎМѕ\S||f4Z6`ݼ˻*ܧjə?}bjucdn1[gjcAS؛ L~Pkj r_~5w^l@*Ϡd2흱Y{>X" bE&u-dj1c< 0z~{<(:Vn Zq |Uv>MC 'PsW) ΀J/L:wTLwwɞ+N@x̟Geݺqim#9Ys|y<գ'ȕUe,|]V,ѧ54Wjaaj>?/SůBKm 8 hKL<#m| aDov^7 a~ZxL J8@L[o \ )OQG :- 3D=̗ٓZ궉s}2:TUB;AM A*]>$f bsږ^#j} Xb:p'lB~PsL<[;THmaQh*%Na~8!Ka,]]%G[ #XߥIaoےx{^K^6YsǴ;g%KdCwyL#(TӧPTT`Z=KRs~arJB4gRw ۍ8[:CZ$rU~VNX', "Aoeo_jEZ.ubP< w8BH8oMטsk~N "JuD={uGұjpR@d[HN 5ȲC\ *LT~OGRY_شYŅ@\+0,dyɑH ôQQ,:+ɦ꤈U<(4аf (u9+'v03fh$W6A҉i 1U`X\PU)2!*X7uN9wm$pNND:Y0z'8р:)hj>I=cE.ORX`j3V5<,Acm1)tO#i([zB X$ 9q^mТT+(@SYdmOņ&!_X[`ww :Ut ݱy[JVp>(DC)!yeq}dNjDh?yH,ݧ-) ԯ әCGTQ_!s6JxR-ňv@2cX!0~laG,7KueB?vK=()[k6=J5F57"2a)P/HPQ~Mz;R*#.}q9.*@06nER55 [ߩ& qQ43#,DZR)(aclAj敇#9rs++z[0C*/WRo~tVzF8Jq~$ ~Ds ddr>F>޺8ߛ`RCa>Qֽٴu4B-jP}Q(0#Rlݺќ*KII#Dl#gw.ܴ~´B^ n' "=,[CD𫦛 bz2ssu) h6acY i{}*D-Ayf(fpe?qȳz,MJM*71Ő9c2f9Q52[$ [3Lȼ0K'֘I,c'͗˦kSDF6̳'4|YE|XBeG(bglڣ`ht`/7rVSg3Yv/rWDPq.EEh65nG_4DjL@",+Env4 @jJf> mϯ=0Ww7!F}MΓ!6B#Y/]_ }Ip׬y{L _V7<_:#c6ResK /t k.ZHBu?;wPbAчj"MoaCD/ߞ1IEm*r{=eB׳Hp`@^IO-OUADQHH Az AuY8'l²Kf"\K=:ͱD$eYG-.qQM;faE:[: ނ͈ɥ$P9I7J՚k &?n%>M+;DyM#<֘;T\{{:0싸Ɛ.,{k̯!H f^誣Mjñ ,fHD?9J(<8P\8RԖyJzT*ό3 cBjƈ'7`1pbn5PJCRvx5f\ݗdí:^hڋPAW*ALwAP+mz|:x4rLhE$`q[K*wYs~: g!wі fp3O֘~/qӻtSQc: u>n5<|f;;+PU|BXA@304j_LiīTs#6o a3*݂iǻRa#Ev^vjo DEx#mVH4rCv}wHoKtS!\*cSdBF BTԈȸhƤ29x IsSPw Gu'>,/\;"(v'dǔz~:߶%aj|.>˓thFp0ie_:ꊮMM#Ddz*-qCʘe7o>/y4jIѺj PqFXfHfY} ɩl#]$TY~5A{'n-elB[kbr- 6,SG+8&r["VU53Yeq2W#@Sh$ =MiThH0O=5(+w5 [!97*3@5U^|y q,,.LsɎa ~zՎ>Ur'<} o> 7q\?2?}wBCGt\TgrIڳ9er,bwOÓv6Xu j ~G-&oL{CW" 5¥r0}bZ\`^f#D4 uC#z-5? R潐?mvͯ #߷tSZtZ),HvK#3a Ro#j]E3|'πQ7@L7d癜^Wt ۓBl$ysN<(ӕy١lq;p\c$t cVJ/2FT@GH`À^8ҌK"V'%(CQ9K{/g3Mf]o:!z R),Xk|KPԉ X@0 qWO=^qFCWsigj%%N2ROEU kSҾodaP ȵJ%!QY?vɛ))M͗G)! !ϙ^RYiw~p Ԧv쇳X'$QP/ _oj;ᱠ4`sOU+B*zd; BD_4'H}WZG H8W E=eoo|-Dܲ .HaskldN`6^nYwl2O`]{ۍ^0&BXE/6wZ\Ylpcfvҝ2*z8p/76o>YMEPiU.dn|Ц&T\poYb?X}y{¸#c%`ep#Β۱Byh 3 i ui 2هeGV -j4t<⡐B^No1X"N/ f |фNLHG{fjyCJl^iHI8<2&]K{6y_D;6.*ӑ'}RZM `c旦%x1oVO e-%qJe+l373JToHm/PP5a!p)14mu|݊u䈪ㅕM9DXgØE_hNF)em{V|mGxCDLVU DL[ޟJfolj6GDOM"nTi8~'֬))Ez+"ܷHzҶQ0$﮻E3ZEaIQ4D[\$96J?n>>}f; wX:Nm󿁩 _W6,b.^ΣXU{#7 zyJ~ qͱiD 1Y{eJ۰ M爩z\ٙP^J7 `$@XH SY~0AxXlt0-e:H)}J1JН@pR tEQ/\.C28hF9 $?&I|w*O+\K<[{?f؀dO ;x?L+b4oD$.ouףD8-/QNJhRߔ3i453+P"̳Y8=Gݺ{B`u+mq8_c^bI)FĬ/pgu!DVN/+Y+m i|/6V4mQԗYftEjL4kV@a (iҚ7@MS ^PIΡȍ2VJ Q~@Jf]"@ u.X $4Е5qn²<=J z‹iwV@rT_2$ۇ7GHj+"q,M+` {wt%e+?T@Bw"V1ǭ7ա?)F OtԳM6_K^e w@5c ՎbZ>yXCO+~m|M-eK5zZ)u'ANGUk-RcN2$RaG%qrΏ`3{\D0qԶ= Ƿoy8cj|N1.D8ƁQذ,Cۻ`C"\&v,',G92*_ϜY[aL;*k\s0%[m{Ag1e9Py?cP#pԜ>zڶMB&zw{M읻mB!J໘#Z JM-r4 #SD`;hvvS ll/=\< a>gS ySnϾѺNJAp `l,f:]e?f&]YG5Zu OC DlCz&<*h He=rUer>3P(a2_[%DowoθMcl J[V=cXK$<b=;;Yx_u\lq;o-Y$Þ"Uxf]\'cEern@3)^hY ?݆α{Z[1˃QqG|0 wܺMዷuPGfoO:Z,\"cPq Z'?I*}03ĥnT+Gr5tƀtڨn^?<{2ʺ&! 9ThV&B_ xUYd\lM+:[kl$E 7)7ooMhù͘? 2d,4`ΟD͟jK#2u 2gcULa'6ЃL-6H'a FLtt߶ƊHP<841>;.dONT/m{tPl2ܟQԔ~mULHunݕ970С\+=!*[a Sz,};eU2AfI?#z>'GЕoӗyKʸ,%-$`;јߧBD f+T`7lĺ+@C,{r,MuR8Kt+٪GɪRܿ(d&W=c*^Bbzdfmge\9GqN|zڐ DrdD&FVԷ}P5BK5yS*85<F Dk~(rLfǂ4 ̨Kpnڠ؆ IB{638ߥF}H"֥Nxߚ^ g'rSYV]p>ܔp(  g#mg0ni3B/w/ư[mbMi'Аs6TdHg$IP;[^[>  lF%i5 E'lvs~qI޹uPÓmзmar RW iW$)0ہfڏ$b]XN*[NETǮCbc|kCD]:FH(+:ͭR2ruJQf=3vX;^.Bl,<>kVtپ],"~ӯ0XFBA[ 4WnFzԽa{'Jƹ cO BϏ\g]ԷO qǃP?<~ҩagֵ wC,Qxk󅏀)``Ϯ VouBT~߅#{"+sM͠t--45UZ8|#2xJ609Bb0>y+8nxoem ޚjߐ]*1>iTٕlQiQ`d-G0~/\_M+Jk,q_>/e`z7G@齣әmylO0-׭"CZ)~^?\$W`[œ:Ǯ&Y:2AΛO7,jk#ee7h$4Tb]aܓ.pPQw}ӛ˦OMr]iǕ}aLx8*޲՝B}-k@z4꽇%oM3+,WSV(bkx?ԕPG'I4ߔ{߰#d{`|UY)UGQ+5YM|@05;{E7 '3ZKj9ߑi;3GB#:)T$(sxӒ .wu^xd7`!D[F2#w1Bs{-("BZC7 i ;#Jo_q\=ӧFjL7[wҺVH 1۽0h, }S~U߬mto`'DT9YLz76Y~o0Jt\~sYJ/x5VwpҋY`˜C\uQ-/Wk̀gaUԕjLg4]*K:f*ʭ([9"e"\̽+CO cqzdzcc?EQ%(rJElx+:2g{zi,^Oȥs*ruMIӅ%m,INRMeFvK fV3lˢŮ`~A8CN]~qM. z.,OPd_sBl8 <CdKxCzQ .ǩL[գI"AjTNU1wU, '\ҞJБNEG]""qBrFkF,rZ%gaN*@ E4`bߚh4>7- HQ9),=dZhiE32O!i 0f^7wSs0$|FG#F DG>y)utT`kr*증d-"qFlv/';FZm.>]BJNif_60}IF,&qe9&h1n_/oVG%iP݆ilT o,QxW^k[xs5FHnugO!slyyIEUEFOl\Ob~Phǎ=CefQ{#Q@݃hFQz}Ge6Q$2R5? Vo#ťzripaL jM dF0 V QC/C' aQٷ=[@steXva)}yixy8_%ZyO7P#eӫ/ɣWm Xm0]K*?VKڌ~X[($ b _>*`gt!"LZF/!_ȟӔ*~.W:g;Grԑ+܅~$-3, ! YLIf\.Mz^U#` {~n09O_7;H~;`1WWAm]cyiT(k LRrb#X$l%`"_~KZq8"MJݘNJDB̺MJV ฽h7{=ϒO{u@8'|{$**L=`DZL 0 >U1 \TIDr7zWA;U1eS;psFMa[ i\RVs\-rZzvgns. <5ޙ3$la|ײ"fg'y)&8?oN;Pw'ky^K>7eأ{&vMQ3->ZI@f^{x"g#NV[7j pwD)JCݽl%J/t^qQP&iYrIet_3c<`TT~o]ZՀ2thZվ>mMB] -=q eOj\^L]@ADBVN&ޤeJ$1k Jc)#ZkHHh(߫ר(iz㡁섶Ē-c5ݔB7V]7oQc0ʣ3@mIyQ̒QPoNWn˂Dy ˼*s'0G\.! xb1XiHQka>N+pT!磫Dq"%&^p)U5܁ѩ*st3\(FS\"V/G 90yx0G`/'5jrwO2sa}hac*%ⵛ{$u~|+ hh,&c4]t3 #[l?[5D?`f@U'!l<v@ \B\\ԗc9@֖К^O.1CI<鬬qUwATKHXEK8aG=b83<#e"?+R#@fؠom31M@%=x}VbڦYo- 7㖼AgKM)_>m$ŋ-8deQmu&k?ʷbLxlDGNK/L}Nخ-Ox~{2S3Yn^-T.+.Eu`ĩv]WLbbP>0@cG4Kږ+7SCvTL[$KJaRO7:/Fa{CH ?v/E v$ nˉML(6(3Vt\4Qq8Q8@Ȳ׍H+?6`m1ΎX w'B)MX߇|5DZu_F:Y!]WYW)VHmx/Jnn- ޸0"c6}<|):45~OJ wQ ӒaTuc\}9$_)U̝be9`å-A/.9 H>W0:+!鬴AWX+?2IE^B.܌|U ɱ1u4)ܸq`3Ipu,Obn(g#E :XmV 6=O4T^sHM(cǒeI+֣ʇT=qIsAjUYS"B#:Sfs k8!':p_FzOh2lʺpHIJ ]!qΒFzqW+Ԙd "7p=|oCFur8ws:aE:abVzV52s Ss &Ahp䶇-kp[N3!bO>՚x)WH.t)fD7y@?|' Q9+Gv&C?!#d};5 pӝT3#cgw0 PP1N@bߘw*c²90SZE7 TY2ݍϮ3ˬ'wvUH]L1Z!D)mc}Kk p7o5r*ZJ'{%eSV$M'!jFˀ'(At]O ߽ 8WS>C@U|`N;K))Z.Z+GZKʱzR8^3pxtn&%[` B0gWx6쑛 ؼzI,hJb`|"6E#cE| Ƴjϐq]_;N<pWy`3k3k?rPx8* u`swkșD"x y t)A&hp%N*avA}i+ c*d꫶X54ph}R~PlO+~y]/|Z+‹\pۼ# ѣNӳY~/uR {%p"14z;e0[6n`Uƥ6d [=$A]轃jf݁w:IPrY~U5Q?1~Sn٨ Vʼ׌1o'}~}fu)Ep|up )gTŝ6p:T-?~e4?\ )Y#`-bKȜli>\owWՕԪmm6N;I:L6NUO_T~aePMaݒ:5kjzp#F:!a&C,"5}7tCHtp9V@C]5=p.-</>֢{fCC613{4`k#D'ijKGTwl xx>ߎ=P2瘥c7tF3ҭnf}Cy:m|>uߕ81; VXG_Qfe~Ih=;@/QpznsWΥc#$["⳪>ڠX'Zu֕aΜ笍N$}Uf}}_5Qĝo˾F qù0o|.kbY^lM,䧺^<oWB*e>e8GݥѠT$%jAcn44 ߰ҡ% ,U *kHi 0_x:UOFV:'/YZr` 5T?EbDx2;IO}lvv^L~azQ\(C-̥⽿_B@CY۷7a^@uӯ ̌l} gs|0K`~ uDF7# v(#U8yl1HЧyѕ-x@!Y3yu kG"VokJmH,O`8YFJ+ uqeVdjk ZWE lo*( Qh|+ >; }Р5 R^ybzd+zEFl:a%_zK3%: xNn3? cޯgl-XA(O!8%"/#+/00ձ{e\ {Kx4 ~ήӘG3ƵT|*pO$2Ŏ`je_b*+t5{ӌe0l5=e.h^h-ܮѶ\8U11Zo?[TgH,]^˥$a rUXq@ l4X$`dzsꖳz+U=+,8ĜׄyF*; ay;8V}I( `n\6:&PEBl?N a{ =x(YtfKw5EZ̤^L\e[>+@N^= IxfjnN}"WNk͖*8k( u`uyTsSVJ(a-AeIqUZuB!𛏰ؓYߖnSFkM68X?r^'g,Z\ðg4o8xɁSOm!8 6 M=Ms7R|ms|=7\RQP AhM?3$", Lb F ( j3'n2֟SڷE`dK`#^9f/0}w-sn)y4Uꅜcp}6|8)"Цh@ۨ:Vtc% fvGU ǦH.hwTM5Y׎W[xCX9厽f; Ϣ.]m4uwkh}Sl+B)>m#Dv;QdjrTO؁0 m21&m ?Y0ۯ>~D=2~ _B[ث̨:N8Z6>QT|tta33 cT8 ɣ=zamB.b&&(aFVL41SF!]yqm@l(ڍl }oXuH!\I uoΠ(_+S7գ"ɚM5M3+MPI+m`9OYL_ȧ6e~MmFK@z4fȎPn툄jj}@|z¡$5$ ˌi;dȊ{Ửj<\A[c=AnH.._\9)QÙ^ĢH" ~&d\[݌}ַo{K$5OԤ?ސjSRHOР)ogd'u1{r0='LnWWFF.Ӓa-"m;א0sf Ƅz4b'oɘTqC/ &y=]i97'~F6u !_AwT X|O@1mZm@ƷD#4R]|,6TAB|)GG`̌Uw<:mw~=@"ra馣cf fv[Cc*Lr=N H"J;3X$ǚcx#ʱfRd,/t,]J<v@]!8kQ \~?=2[m{HSٝО]OTROxFA$E-;,B Z\QPS?);3swgǚ{35ٱD@ErLmQWP}w# \bj\7dH!IT*Fmƌ\--wTg?BbW 3<BFlS.Pԗi#_ϥl궞NwCRnm? [誡*d\c֙HO8I+/NIrGDdgB.%:[huFE\LL1d1De8΃G: J7. J&3уy:Ҡ]@:/nvzBKp/sʥD0db`mZM{ZK@cmGceer?p29(B @^)rIdidh7#-z $?7I4"G'jtk #Zw'wEvd1|trsLGҲ|Kiì2~TxzNzwhNyrLػk6*[aR)I.ڸS,"D3+ Wl5T{x@qqJ[(V⫟`1aY`R͆*B#ޮvgXmG}ySD0UXT9bxK鸾9,|+B)eΎVhg" 0T&L3 +KW5Z{7Ьmw{'$sIkpDJ<=0n]|3}<&7!sYmժزfk#iʾRvYod&K5^,~jNo݀T2qrxz5Q@%qyA`PxD &=N|C)}5':?.z=t[hl^K*hΕa#ИXwEo,H.^{8eiFꯏ)+<v>jJ4=MJG#w |:ũA% Kf !vAs7 D!O4~^Ik6 Nl vv#&^BĽ GJֈLgJ*Æ3tUVq;8~jcJM&ʱ>R]cYrV /F 0RL󖐂>y#$Y*y/.RTHlwյHø-y,""8 &_:^\ah1?0DmRĤJiȄYd{ݥtqE!.DQ&.r"`#ga ތ;XVo>68_W-YHMZ@E[|#ع 5kQ)Wʈ"0wzi ~cs!Qw8VtD$$[Jyr8A"0tN+Hn,§{0[՞jծmX9WKhR (bFgs{m 5E fVh2/ ?`ALG2;u6H06zSc`cy S~4}M7Tgm+D1,9A%М3Uu-;R4bS{b6 {O؃OB܍ѹY = 뭋(ۄL՞NEMV~$/F#7cBs>6"HM44nr{86S7^" rQ3C*AeϦ"y$@Nz6J#áG$̊n9qa9 ߅' ؐiGO]x߇8JqD^Ȳ*ߵl O>yX#pz)yΆ.TMT:2O 7߷́g vo 'j?~Xvc.| |\=HɩL BC5K6xa𛘪Y'aqu($ FKV@^-UKyr{=H7Cι·0D6ǷaDO⺔e!%5RN hXWXCFÚ,l\<dw- 9zۿ})*2[H "9!WreIouKQa .|@/T^y=mѣt9r\A.6KDr/&P[x;c[82[ؽ PJ@wJ,6ʍT';1400Nd&Q# ^!D|j1M-,HbY[^0$'*b14 KZ%Bc OO8>́XrϞ?ft) z"lڻ__lDΙ;oE OG?esA^nNU 3qy])>M  9 Ҧ8fDl,뱦"8mD,ęC$QXֈ>?oюGC)yQl^.r<F D %-l2G'd=mjw$lZ|aծM+zXsPa$f< @Bp_ʽwp,$6<`(?vY)JVfL?XZ9_14d\hbKPNn(_s;|1SpPD`m9"؇N(tI8D<!B@Ub؇P%Lk`+xC ~ %(vբfj(D$Ԏ4|]ᩒ&D`a"7B׼@~.'d{B!N*)3P{IGR8⢛O:/f8k`){&ȪiDMT׼?9.u!°LJhP/p- ݣWTbx?Nƫ}ܗ8sI$ǃr4 1O6M+>|O'Qk|]ޤl|QޕhV\g~Wgr${S)ћ&5 JTDdC4[+L)`oiM<&mQ}uF4d`; e,K -Ab!΄C3.tRfz VVW@zU\= yO҈(98k=sSNL-vΛs;G;)tae;62?±jc.0]vO'>ۃ`KLP4uuzAʼgoXg8ibWZCyOf4zb]On_Cuuh6Hg}J>TR8M?̨v5pPݤo-i[a^'?duo G2T$11q#+RPp;nnRQJ:V3_9c}|*7ǯfƺ""QS Q3юjGëf/ D)Hi$#;Z dDʛ='5Nt#_v(ehJ˼s `VX6CGG>yѝE]R3m=#KfyqψvPiI}ZW=LnFm」^:V>`Hf4BM~e~QM,%/4@mV ]S nK)"u_04_@e'>04Un  68I>VL ^zSt/pO t'sd0fD-FG3`KefӶIM$X2L\mRsa8O';B* xx*A{Ŀm );9jE~D99G3"Y>2';ӧ/{x$[^"@'Y ƟoVii+{w;QbKM(ZtcQUrr0g72`ĕStF)v8m8u`'1_|β(*%OM߈Co\2*_#3pG+D}T:*W-D1Pqz^:4 k)lY(H^؎o1l1ۻyڑT'2վETX$gd֎bow~wos |zx{SWP7!YGц#o8꩙sa'R}9YOU;S` qW!E ZZ As0uk$@$tպsWiil(o'1 !U*fɶ=0{p]}>ss 7ۻa7ԻhVUcz-JvSÈ ]z *k b!^SE=0#!=[˪|PdAw4Fj͏{ۤٵ{I(#RʖVx8mkRW mJyȶ}µ(ۡ$f4Ĺ$'VB8A-3L v4qT\+/jte0)%qj"f Pw*p=&=0kY-mb[)%>,MB2mC}q* ۴U,ݘ#EqG:阀?xaVv@e)}Mb ^-8_5ʒ >qqd!#d R- ^GG}u[h7bb&C+,Rxyh03w<8OB Adu" @mN>ո(CHꡕIl #`5ϛXuʍbޅ=_o{ jFV~p=2-@nHjBHEܑ$p4kY82#ar(I_%Ĝz|#p9Ě~ur’Π07 QٞxX+4@VG'{1`,llu|j_ǽ8% I]oNz8 P*JrhΫe޹ /lCh i уvŎǥ" H+Bb|: RLHE㯕pVP@ça˖bg}4\?vl-`Ļn_!k4RݘUC)A~8bsX&K0x6%1M&6A& "!jG\(pAslٴ?^㊟v|) wåFGς5s(Irzgr:qeJ8dIb%= G}ajTh-,{wf_FL* +A\?jh=O+m@RV3a#>:=ɢ4݁9> efAؿuI۰3$ cwٖ".HV8 ( z)A=Ў4Wlu*.bRA_l>[ru+1F!LNx;ڧBee];HxC0w FCA&}672{]N4ӽd?|?V<Zp "2VBHq\9jSZK?sfKg۳yo>%2?CE;"#sSWMQ*2L "ouV2p[ܬx8[^hmm;LޡjH2k}U9G7=_8T \Sw#Zm(5(1㰂3LMggʈa 0~%\kgAOr&]lrD>Q8nш9yBGp`HAfTpt+5KIz{w}tV+A f{1z`luQ;q^?;K/Tc-Hnxz) IadlzZԞw|i˄Ų &Wr zZhCƟx  5jߡ$Q#*;iL)em䝻EUp 0RBMuLbB+-+/VIAiQ|^f\#$6ѐT";CI㣛U("k6Õkn1DAߨy_e<{)w_*Q[ &9xʦtW3q&,W{ZlW;[fTv)3kr2_X*ȡPԙ NIecE >N=Z܈I {^ r y/8z4+T-áǑ%çY 7øq I@T&W`Ⱦ1lBYPPǤCMO;clbgO%娫@sݹ{;/ND7 ^.'1Jo u!^r8_'?-x"O4e6Zi&DirƒCa*Б5DP:W@+)u/gzzh%@q }A#¢1y( ^)֕gUXs-~X\yݯ~,zi03K|ezO`]V*6k 9?<%"KKK!z\óp\hx|9~+k3? $D{jUpNZsKJd/FC[̲O\'jO!:MOMc6\7YT/o,C2Y`Vd|Xڈ35YZBrl%7OAuvJ'.AsPdIoINW"kԸ\NzUA.+'݆IL[N`1Os}ybg8/j.k>$rAFE\Հ^ELs_j=ɜ%aLmgTݛI,!roPqW=/r iO>p5vkBy>_@k;JM\!Ձ%@C:6v#9."оG% ?t9"Mimgʑ.ZDH^I}jYXX &:NJR[F8lO7ĝ0)y2Rѣ(}+x=yrw/=.cj+|eYy:*h0PX1UZgZliKA%%=KjY6S!B.`!my(2BA 9u52<4mV^^dscDV.XL19R7{@EY Ev,nV`}]٢ҀUI&>GdsC {x! ɍ&M.` . * ?p#NW,`}lt)ڈB=9_@G*c2hg3']6I@Tm>J1yo7OʗF'`@Ж-܉*"k~nk⃔'%}-iW`{Y.%cYõFQpI1žby&Aѐb2D;DJ7`M8zt(5ۙAi?bN(Q{5ze0rg!HNF1/pXi1-EU܀^0ڧBג_{*= ֬HQS7Yް \; qzZW~E|ZZ}p[ .ؚDvE :J(,/R@'2U y%I~VI ZK;/y*NpmKM<1({tiE9\VUؖα'q(8NMcBQ砠lf65_]k~Z̈́pnaG9<1;NlۜHX J nV F4l2!҆cs+jHnKr+YS|.U&R}CEۍ S)cI(9=`Dx j/(p@AIK1MR{߯Uc Q5`p_,|-*v}{bQj?2ؼW>QP##B f'ݨVQ^$Ey̶nn_*!4[MY&Ou| nA,\ ;4կA "d6ȳ(1œ[Z1^yĐmtQʅQNa֝4h8zH-C5! Ҽ.&$>Jp6́D֖?DtF־6>eMLm$טGL*A蜉W3p"=aKCӋKHbK:j ({0?2~/I?] koUlzb~ӷ⃝+;,}YqY4>IQ+Zx;8U:9hŗ^OpH6CpRbAeEn'>ËhDD(-(od互pAS`vx*sStÉ^ڊOck@VK< :P\_Ux̖ӗ! YA[:߇g=ЅRVXqVDŽ@ aS!iÇ~ع z[OڢN/v6]̂9axí!R4VʟJ)nRNT7&)P|Yn _cFV!ΤOC`?428ژ۰oiU\Pt~,)uF4jd>v@:H$/@&%ƞ'/҃p^F:cXȉZ[EK -.1x%muQGw'tN੹@98y)[ror ; %p8p#U2(Su*V C_.A=0/[>G<精GD).*rČ/)EZ)dՆsuP5|77UQ~Z =)2$/8i&m>~NWNz=;뺻16ENğJ >)Re"*ɴivrkwr!BxXv_κ}[T>2s5?t VC가dSi{:C%DN_2A54@;H~d  YHYJu1µλ1~6i9N{ncgP"NIz!_X$ukYxlsLm~ R2E=NYvAJgs)mk-qf&κ9< #RUMx$:~Rm"c ?( zt4UBglHK `ޯ#(&vc-H=H9o+68Ap/3uO(Rcnڑ,!i xF/ɾ"Ku{<0N`;-ӜݔBu1ȷ?L4sS ի+MK|M%Lkoi߶ te}ˀ=S4{2iV Ba.#t>;No_6".h>p%5&fr@2<":.HWԑzAGo܄ECT 4,cG4D#b8e@Z-enΐ2g½dJuVthYMlctғpiܾ> sljg&\'ٳ \m~4)j9>O鰟靣 ;V`CR1\ cx1d 5e!=LjC.eeN[pVz|`hq̀sLT9$V0 ̾W d).2xicCdiǑzO*|8r;l?{aHchs%찙Sg o8MSYrRܥb PVm]#٠ ϩLm?B,g":⎩k /YYdp lAkJk(9+`K!Gŋ\ϦSW:VtHՃ;s,!ήe=dq(QN<5&DcR=-IՍiX9V:~dN^CMR[`(CךG%3 KjAuRŲa|  4T?3n/ E?"6ОB_.[=\ИqiV)xF%#e@u'sIky uuB&jWָþ(f‰۹ Mˈ &9ӄS6U .T%VoQǞia\cF%e^Zv/ ZɥB[x1^i1cN9/,7JDQ"aXEd6Zlhzvn sMA?fngQ FbBCir=|XN>)\Wed7"˺żBYzO2R8cr ~y#Uc1lB{oGËF nqYjQUU=bĤ*I> 1[fAsO!m<ʚS€j.n [ /U1p5Zn1}3,Tz  \y?T6bZq;hB:e|:j ڰP6ƈoЉ)h 5'-/*_S2QzM^6΍n!t9 DY.h5l%+[:eB_:/-T*vreig?v'ލHK\(sD-gl.pQ4Wrg? QZ|z5v=-*4X$׺d݄O~pZOd !.ALV&i.{U=mf*@%O:ЏCPN_*&\ XtFhI(j#1`Ocibv:GSQf"~Sw$/d~Vvt.x]9An''rn/WFLc~\PjRNʮ(7Hl /[pG!e%17ȿxlkv.Ժ.!14T۴FK<^r3YaTH4pS,5JFUbD;óG~ي?ñFB smy-[b1q8!ldHs_x)=vZRR (k;? 0/Zęԟzsw5ւN"fξ|3_Z)ј#ʹ}]CZۍgS2Qųl_L7b< PhpJ9kmg@Sējƨ bM@3#g_wjHS.{E5@.:^T4D|>¼q{ӑ`>\xv s+!'T#y8B)+6+f^;[K44 Ar`y;g=Y~CcH~ L8wd ,/ G:cщ&?X[@PŖb"wq+WlaE{iRdXEA%$B.KyXX wG@p=a1$Yc}f|l-fCTMtozY$!@dDN5Y30Tک|/Fj75D9(PxsFP{M | ST|