SQLite format 3@ .;  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  3 TL< ]S IEEE_Floating_Point:threads=4elapsed=32.820cpu=93.956gc=2.060factor=2.867zXZִF! 񣠤]ŗXiɟd)&]hS.J}+%%z&kO`5KOX9eo%izjn;uY{%Qz )©kf/o7w4UvT%H#K\w N@R-&^ܧK/ Dɜ|D'ɛE%ԓ_ x EgtK}DW ?!MKOgJT?0ƛZ{\g lo'twTXR>m)2Ve"&WD R3;.˸J*9pd(ȉ?i #06OPj\2mM*ەD=nڙ~U63X(Hrﱦ^8tjM<\ECaSvGX"B~O|=x 'o:щΎ pH)JznarB7PI3UFL*+ѡJ)A&2VHZԏec\5DiMD O Q@t3.,9-we0 ͓u P׍*ڑR01P9T9]4> Œ*h1 Ҷ]Vj~˞3'B0*r@H)! YECV orm  XPO 7SSU|+D_O5;SaFM/Z sR<`R%Wg`uC!s1nVaG1FF9ڳ +'vfs r.PϬ NkmA8h-!obyvI /A_ڗlL4{1\} qCNIq%v%X0K纛1~9AWSu48)߈+~Ǜn<Â9W}Wsq?'+n{b9x;,,ҏZs=ZЌd|&sу< oJ[TicBFw}+ܾ'А,]0n!g3HY ~D4lRFp:'BGHWLa#6q`]N~`qr2rGKNp! 9hh#'rCڹs*L}p39vϪEdi9h]5*kP kes B,v.p# ](L@;\ޜv6Y*c8,$b`lЊT-ੳr 7>_-Qn' Bd7-;Èp)ŶrԎ{ 7];~aFz%6 5w/hY:2GWKCT6qcF]"W̱z~FֵvK bNW|N+xN@U1~=e匮xWmR+9jR#ބnT(&A0ip&3(=萐/%4ܿ&؇~z76*iݬҳ heY{kҭ~TwPht5xUhnvEQL_^ĨZ.3|ӝh?fуtͷ>h r&ey =/w è:ݴVZDxai-Q@H3NQz)Ali~;?kSYB&j=r*p @>KX(at'DUW.~bu{.zל6"q.Is'?#! / rE&Ad h.QDV<>)lK"~I+cTOxEBCj)ʅmmc0^-[^$o+)KTg ޷yDBOx[`42!BV(1bvqYJ`e^|DrFͻ~z؈$Sd=VG;u] WQ=:ԥٱv]з8lY Tvft0Jk9?g: "G4 @2*Ds<+A_6ʵ b&| @֭n(np^ W7Hk}suAڈ'# H[aKρX!?t!hxՏ!HRX.ja[m>1(oYIniy5Xyv۱daP`?: ʠdUd(j )g;0hy{5Y1Cl ZҐQAڸDy6m+-*$ԎSXp,SY8Ъu-|rogď”DO0n(wiȓĦ1H?!u?zx> ) =V]epiYt E~Sb٣F;T\X"Щ1JNx~OL:)# }R7j 15ph9) G`p>z[VJϨ,_z@Is4*0gQ܊| Y=a/N=m*jhgQoSN?*2_N 0t}Q[Ώ*P ٔ}y{)yN4G>߹ 0iAeֽa)`Sq|Ҋ"`WL 28nL|)$Mq\Z8/_2*(';74UbBB -G@1@"}_Aŗо ǀg;B;TH92L 6K;ዶc?mDg)@} DGGB6e3L U1h쵷w|~ȶp&BF(+:@Q]*?v6{~ŁT+H:pCO&6lնAp_,hON62U*yib K.]gհ>oɼ| d.سak|z ԗŎignȫ%® qm4ǢhnL`oht7Ӛ^+V&A5.Ȍ\1yyDy*DuEi8*ـ~ Ʒدm)~7$T/qy)U&0lb eV?\ˣB[i>%˅Q-b1zIK@$T]mvMȮ)Лc*!<-D^c{{31%j}BcT>mTy\u iFDV[oE_N?d<#ANT[n,:^b'V ZR*d+o(2vTBE?] 3 IEEE_Floating_Point  q q 3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.ML7zXZִF! {]9 ! kH ڻ70mFV'Eq + %ƪ>h ^ K5ϔѴ.iɓP:hդT &ʿ޹zg6;ur ɒ+ya1HJ.D*D.hb?`8⦊:nӜx>90Ԇ ד. A)ՎgH'QS(ԪBR.J#} e$'!Q*q.y$QmDVP c zCB5*kEdTP(B@M+ 7~]:%\) &;\ܝ< ^')^*PSK|,{PN v<ƙvpn;S*G7cd U=ӯQsslalja@M:aLB>3d̢Hc2V&xzbxg˥EcQJL6cM"[G`z/se f}ʰHZ* @ lN 1&gYZ A3A+ IEEE_Floating_PointIEEE_Floating_Point.Doublecode/export1.MLi}'H>)X%̄9mZ2=F|" ф"bA4:] >և\p!pDM?٧iBu1 PgdlAFԳAP961M/'""'Ý O/a2y_f:\%D2' B!ҾH49?bgCAr3R0 b20>CKSʤ>[!Aƚg M0*qv L-2OV'/2'+V>JbM%x  blBO61BeH:}Xoω\` i>T 3 I5@|CxnDc{W{ ΕNi%9!+]וό8Ulg̩w;lN)*SLka5[r+_'7Z]n i7O3|]`)6M dA`φj! lcS:O߹iXKw=t&@&zFFi 8o:5vtBHװ}.ώo#ڣdT:?L" /L S R=)Zp )gyZP׳͔XQ;ǢdS{DQ[0SXHa"ŞХBZZ";2EB3ٺzx~(~nKoNxye nRg gS@0l:'׸_eTGajpZFpNާZ5))_"n q.7捝UrL@bK~a}kSryNK:76%_[&߫lMJ.3W:ڃӐ{:v->uS\9ICI{!nx X(/gv ~D&|S2ćVݔGREjXg[jq<%46=+͸RRߥ䙫" _m^hsb26%ԦqxiuSn?·P=U+};! !='t(}|ik#56T8r_1u@֐{ى}bo'ԲoPmh S`=va˓Ic^h\@C<*hf7sKkap#վ695k]zw">* T^;nR9>?0ef?$%6E/ lZɃk3,ZSk*\uCv_G nL10 j+o*~V&ҵb՛ 4O@.;3u<|*00r,u 8X':Ķ/Aq#G>7C'!$>x KY8轷]&1ցEQݚp61q֍D+ifp^;h|d)4*o9 ˑ0cS`Gx0b<_+VƣpCŀ夑0UzXHϗ4iǿ jw,c=2LUK(-'nپT8)bksJXF^კ('Cn _1j_D:5*" bS'q0'&u܍GDJ8* 5"~̗͑|}ycVC //4('_nEx"aF;ieb_ -zm>a13nu7hQt 9}4w,5 f}di7c}|+]4 Zy2 ġBofm^ #`FD ۸P6flRٜjP521Xɹ1-꟤ӘZaÕn*9!/rfXư\Pq r󺮜vt$f'cI@ `O'E^e'-3 :\8*r{],rf'EwKf]pSH߱U ʟ۟K:o)9$=YAp DiAgjA7SDlbSNdD,ëdyKi`2z"K=|[If"noVߺ97YN ߩ= ߂  5B nef5@&w]ԈB~Fg3SSo:[>A3Ip져} #&gevT226pGTmm,[lKJ7饙dylŭEaSTsbZ:Р]pr*TO0V4Q/ԟVaK\y 銣8,I8ZB+hs韋tW.\opUEi-4YD|#zyUPj|;gWj؞v;9ؘ3d5{ %H=&@g3Lb2R#GFCw1p"4綡2|vG$$'ZS H9i`j43M69&hPqk5H˹"&#߆X~o3Oƚ4gDz[|ҕ~a{恍n膱.rQC.}4枼8'U2n$odoH@O943W7gǗFq M"ٷ$LAVVL>b y4i'3KL*595FpɂVQLDZ!A6hT߰Ƨ1N?S&\Cy,9EvLJe+>q^ʏ]~"H(~|<Z27,m&Ys!ddʭчVDItYGw EYOj gxfg]HF ܗOYIv?rg2qN*TwWwx=R?b!pN1c 0\NZ>]PYӺB#':,oHf/,I2Y3=oh6wFQ"fIm), tWBxZQ5qAFZ5DA5oIF /|%9덲1H<.)UT@1me\D6 bΖ ΐ}T\Gÿ7Nk~]s ie~k3˪@{N:f煮βB 1Hy >M0& (,idzfH?m29}Ǹ.i(RLciErv&|`|f!RVh+1#fGcS؃0ΦM2G~>i[f tt%vp{<1#+XwL,[?;qV̛J/OyQ]ӫU {~4+fPsN -K K/0&,#{ۈK.'uXhݴThb:q!SbLs`|{~B6=ܓ#:s4 IV,1HaC9WZ/lўqEo_Sj8=$8'@n˸#u"_xm<Ҹ_F䜵ppx9U¾POkUn^`% [yd9)PN9KДS /` (rQaIFZ!i#to಑NqχwvezG[u%w.$뛫YG %" v4t >nY%L: |"?Ԫ\VG" Xu**bdFZMPXo̮kꈁ̮Ֆ,FT+#w6 )'1IIB!efwxB9P)A%lM02SDw!#.*rVFЉT("بRoЄ\ ԙ M wmuG,9Sű\ 7~]Hs"A7mmlRj[U$Z*.=ҙh{Z(ek6vKNEpd%QxPӲ*5lLsBXV.7  8yxK/ߨZR \2I_Qo41G#4OM旭w!3ո5QD?Џ̐3ZnAПH0:(&  *]HFBnfyzF =oXEkhcKO~ρ"CXnio[`ml`mL]D*bQNﻭWxNC LI^)xX[Q E[Vin(f['L7|rt@DrS=g9S”H ?6hOl: Ƹv bDqz15:4+dX8 VRe((QGoDʸ_ 6!`ni+p( G1DX;lŻJX2+"\d;ԚF;X0 hl[4`VL?JY"t% )Q#'X֤l 12(^W_ 3굛;JdVebK#Rϟ`-DB&٧]fK0KB֘^RHlPiJx/lW!x@j 3m{'$ v7?:Y%9ف@ps],F[ FDSucA0X.feuN4|5oy^ݹ#%o|[ P}/@DNʫ#/4ߔf, y3uUdM#|"C;g T`FoKVLYpluIbWYRĈϸbYк+Xwbqߛ7PHf&SY,b!x0^E  P O;W_I׌ma,m@f%gOZ?Jv54&ހߊmh5CIž)pi |R0p'ƮUU|G"-S#a佯g3"s,^|/Жuj?`VOG\V۴Mts^"op2Y7B΅8`׈ir }B2Zɾ(0JqjU,^`r8,vV~ )s+D1qLXkj faBs֛zV{ v?NI$>^UAk`t I< ^OxPM36'0TQ\]9|t|H! \ᚼ]|Bt@5_o` lY_T3PY"4%*jRP<fMpJ r6T t)qYLFӾ(IfqB_N:|l+5b]&'YFj&U>8.gH i)vTKq2<>oaʑVngPM-* KUz lkLD614 wشvu.vGEH4Mݯr>n2cنz`/s[=Mj!z` MvQ/ !cIuu}0G&h #♱,=<& N<b o8p_vE{3᨜z:jX-jzKS[ Z]6Meܒ|GYjigܐLc:^qgKny=YMNE|KjތJ[H^/ItG3|j5 2jc #4"գ]>B閬%c8;D*5 =AQAO; ʚX;uajT/\zMqI6TYwuءv̷:EO$H?}5ujhIy|At1y[e(m&Zg{,AJS ΨT>_$`}:bIkC}Lł ʃGFCࢁ󎡛ZARfV;(O<B߃ N~ۛGG;1/~$1a~й]bm2Y'';>gh,WK=ݫki,4*US #~ש{Gws]k=tk E9W>A\4 m!$AjtRUo#}&~po$]t%'屏Gmo}ׇlइt]+0*3XĴmu|)SӋ$bLlR<\8\]'ɀ2ISH&.e|>| Ը/<02WE3ZJl2E w"Dl' rF3\Aw(iǥA1h}5K~"87hGj׷Dhʂ3)Rq>(T4b( g0U^/e(ClkК82Ϧ!&LA>mk/:N{/-1egҎ9E@:Kc')+wwsd,Rb1eL&,['p~dҲ[e[O+f[p񌵖7b,$]"єs#BU3.*)W RUps} >(r!_E}!-v$ײ}K>r믾#SvS*`"S@G>6xUtN4 ꡸Bu˨PQegٱvKixEÉVhqE(g;{'Gd:o%/&M!#V^nyxvޗDoAɴz4#8~Mg? .µ}D#iR[s 0xKDѱ)".Qc_C==kM/7҈?Hkj=u6.eN VEtAuR`^vyV<K'j98Q zj6ˉ'7u)x2FLr.aZ!fApTX QJiSd*)RYeA #= jGudWkI1`.F# VaX B.?,쬓EU,l//)CL[V:d!g{=%VLXf0ObRi(q9p!5,MBs;]l(xB b(_$G`/D]5Z<|Y;ZRv\\\ZC lN2עܛi4Wo!1ڠy7z$TM Lw+mcClSVF:6D #vlq _'woEtpRp.<Vsͅ&0!V8KPWxR'>·1+mB&@n8[M9Hh9(ًr jsjL(O;clLv"r+&s][qK'O:EH7٨@G{; 3NctPWpszRt7\П= ik Ի/RigU|MfoN@c?Jc)]Qs$Զbfw!wG u̐G2nO$7V3MƆ#@rT{%Fv$]Ev]E" ܪ縬fanVn %Z,=uH~0oIr܈ݠ̨^!i=xjM~g6(kD=DOU5^k)V>/^aQhK=+T#{ q[Y7 ?ѻxZWwd cx3| a6wz '"l/S `/^"N>fxei*[&`Y~"$!o Pl^YwI5KB!x tH]^ ph6Tm  ۬iܜrutk5Խ5;|*_&ć1| Sj̏,{/~2_4~w(X`1ZZ+`˺siR[g%A'703ߓxz) O+f=X=ږ?3Hu+̦K|Dp;q3G2'#7!f=pU]p7 2.YWOoF%jQ#0K ILlwaȥ `՟:Ums!#ӣݙ 9ϿVIYUKUZ9e/튺0Hn97S,;@嚋>E['Ԑaмbnb1c[Kh/z6ؘEiLA's/Sn-:ߜrsN^!ˌ!]0q.<1lLl9iȖ[c㧾nAZUQV50 s~+AjtvW8]<,d*7c8sI>W?;=c뇃7SVniC/rsVGT2 K ب׉ Ŝ7N鎪y]X![*rXa<0~Z_j#se{o ipZa/1lBpML5CGj&ojo"ZD G+ӽ7Ãzgy|G3A' lC^}hՆo(d 8ߥX:aJ:{o2P%X=x̢'.7b s4n6@-J:J^ƸpB|uOЙk6Q[\Y\&V}{zi.4Ub VpsJ{&ir3Ui[qcQmQk5VKԦuqeG]`RKYDf5jPsW7xaA"@Aier'M6o%#Qh6HvR?*-X,8}x9Z)]g* ԧLU!bӷܨq_]dzqYް%h|,o]TTt._v7G!L`?S4r+U"ִ\qT5Pςuv فm؆FUE_Ѫα*u)1̓Pƪlr `">Xev!jIc-g?}$r{C.S?O!E!౮"wШs*a0 gj#QI2ƻSsy8M܉C8An֏h#-h?F{ڣ膅UƑ~ƕҡfmHa;f|"FyG9T*JrR@:gڥ|,ÕyP0Z4`1m+l~AA?t<uѝ<Γ#Whwp,Spy5l7'e5шG\|o壅Hz"e~B6 ,9XNHE_g&.MF9C'&2}sXcag3J.ʱ+J9'_\ّkTPA^P Ic/ks 2JM·龤6sHJCc@|1d1+ 38SQeB~1 m^ņիR=zV Aq{}n! 6dCZ!C!,.(5gJyR.Q2vÝgJ@JIvEPJvcgU\}cjNFk繃5}~~u0I?/"e~bH9K\]::|@.4Ь- {fl%6#< ߃R"V9)}VE7IS/%YǘtT,փ2Dzsp2g3Ljq;!]7FD6Ǖ̖.Y ]AolzNGħ骜Wk<{ Fs#` ,1 8jxuu2f' 0~.0(_?QJq9ho1:9qPCQ?3he#5@q{Ayn2򌂯UycV~1?d!5άnh"4(x.^ZcpD0ر#yŶ>#` )OC|;I5\F*܃rQ)nu\|!8>tqLA@0R#~ JNb]&h(çpm`/qYfŔuH2e05BmuRطa@W<} ;9Cz*;0dLg+p=qU&]RLQ ,'n2}Rz^aନdg?IViCphN䆥=/(aJYU4UpphO!3 >>[0`aaϰ+?qF|Dl MD3e~ R&*%>1+SdՆLnc)H4R:f:=3S(+zc;Ucl2I#ƂL|{8b:4Xg#' 6U\a!7:<9>ف'&r  FjQah˰ *{>BPD(eTNO(XhFsi%Ojljڧ[+"2u fFYsV04NHRK9nPq2 ▗ 鍼&̞u3]4:y{06"ٲ7NosזKzR(m܈\&hD$qb Fe1Y &.*R_}ytҩ,ꊎù90)s$Zc\uf%Hb&,r(3L=bA8$gnll&%MZ ʸ8VL0vQgzBW& o ʺh "g4]G] X|W- @'h2D9+ms\lrp|"V. f vNu1N)hѻD~ƛT XNzݝ~̎/Fh Ow >MnAD^loK`K.~$&)\2@z$1bC[Qd<;p6?JH:*fda-&jdǼKNj~l͸[IE>EA{ &ظ#$þcp~8C U~SSOV,랫=s~.,;fwOa'HskTrXfi̬_^ 5 L| Ӡ;[%^:]j3`܄A\kJ,v,tf! ׸"G.mc|W9^J1=:U}+*b_6.52AOR #of,6̦u~Jz@:}; (C3}"`qD)(;?yJ [w|FztrcDv^'#9w*gbi~!aT ְk+= {s`DB^ n ~3%G1R7잷bH9y䁎 ?/C)F(f RvhYc]r ޢ4&Q1#rr!ЕrM˶[y|.Rgޡy'Cf$x=/i ՈJ\'*W[4o٥㲈+ڧts`Ն.nb XCkַؐ$BXdN xg=mVcPi*){ZqWYCgРcvRx&-z4yoȹTG#V8`J.,2׏Opɲ8J*D(m'QZm_ f%$sbkȋz[`[>U{T3``rB>ft+́}8g^Gr{(AIeZ{"fq("-O^1nŕV*vK@y0 .ʓZ³psh|:\N5-(5@!0`e%h4oVrst}H۝Vv.!T6׃f$)*˥ 2u[Q' ZPMm[x;C"`x=gwZ6o dtvw-̮;c ͩ[A]4}ʯ|᧋Vz>Dra9b߄1sbmCpZRggYf쀸$F݊%Q΂"~D#3 6 9+ml>Ǖ H+l1͠t|p-#By#rV ;y.-c!@o8 V{iɘ 32QC=8Af]zA>o/GM+}oʒ]cC 0\u^ Ͽxds"6$_Nv? mT0 g8c$5"ܚKr0p^9<C;w_R.a=tkj,lf.Ne4^`ܮx982h\>c#8TyipCU.b5B0Н/A.,KI :JG J-И*B.?Hna|)ꏅ)nȟ=ږ 8ܤK=:?5 Y6ED.a krx<Ɗb4l lu%&AlQ'jd)ʣ4nYd8-W&P#&X$ pF[p ˶@-GJ2zıi hwږAϳ.KC; ,J?$5rHk֭aA҂  YƶK5WДxw28 [[ &X q _w*pN\_*-9Fk&KS?6&=h uI'% u]`oeR8WևnX' ˟.C1b}1x#~gL;foh?mi3(#s2(HPi<XDHek4 LB: xSY &Cl*˩'sUs/jFyXk5P_f#EDW$m)MT6l|yua- 4Kޏ.C(p]L/8k8*[q|F[1`\\ϿQO!7PGsWRbzqoݎP ,f8;r;kkB>ҏ 2XITSV=<AEK%΁Ѓ6J .[l߽H67Āc]VZS`UnImZ{BЎdsWXCW}ߴ9ɽhi}iBW>ʙ^"qף(>" /\f15|qSw c{͈OQ-edHҥއ U++m,l^רajįjh $J {rPNs46O<0 nLnbly>u`[]ufK z:9WYvS+bQLeƔ.QAĀNq6@C~uEWBbgm) 7Q?t: 11꼜1r7~=LO*=P-QwYi_NOb%TfdM[5-\6R-U5Ԥɭ`#"+aN8~O঱< `[fBGq 5@|W3JarM<48)  s tw#qZmK*UUdPe6D, ԲX)LGfKݽ<|7%xZisՠ܉BuW׼@ܓɃ *;n7[~tnaT.czG X}m$e~$dX>_b  ?^r$8 ?˪!"g3ЯBjLq\ bG?3/جG,Yh+p +DSpk ͧ9'#la^Wp&?QyPM}`ÁTtbCځ2T|>ěmW%d<:V"ˣ׮t F5N''&.$Q*md]2϶꿾v $Xa2e_3Ϯ{˖X3  ,\V񬥉w?vo(PIDAd$#PӤ^*kaqa&`#ofg:V,\L5CWi,)bU0uj1ƤJ֍@ RcX>C!#*35`l7oUn\)F`J#U]4WcQ}&> ӏuZqIEQ:Eu#t]U-';w =w/{DcL'g7W M7АP,m$ xYY4E#xZZjD<$3iR?يwl/`Cǝxt`:w3<E?ܿmt^ ie27F\0+ j8W_nc [g,r(஡Naa .̸2m]Xк*LA(zZ &?һ_<8[ S{vwMrŽS;h `Z]ǞSl2j0 ֱgU cu,.-.J139'Ԩ4#}' ~7HjJ(|#RoiVf|"L20D@o8[u} (\(yʻ0K /=9,*9WG23=n xa8QnjHC,}-cnq őWX16:T0m3b´gW@2[\ l(YƳ:dr ,6O|̯O!I|"!VMIB"oԔQ*pV8EfyLK7R.Q| sA܍q<[w+_іK(B}(!* C**d\ӥ–qɮxLjE-g~,Uhf/,q#'H Frݭ(ɸ[rQƥAXv5%v W&xTe|'FKm9QHũʢJ]ز-YZJGeW<]-]mO!#4&oG;0d+4KWfS.e䮏F[[ z/]%t?h`fg=^*AX6y3/1#jo]ҘQ3^no<錒V.|+ A7z`Q*>;sgRabG2NbVŊR> v()=W yd|NE{ٵ 'U05(Y%55q!Wpא4 x^q3Sz21*\$䍃3gvoj<ܒxj3jUL˛T)xe\IkUtf`su6ynCuv;~ucHJJ3 T/tIG0qY`Ǐ`;Mm\wlH?x? U"TRa yw큶>#6wT$6SS{mmR*y%V"te Ögݷ1yݦҌ7P╱uou|sw 2),}.^EK_wy 7nݕt:lJu,@)j3yd\&2 S7 dh@Ҧ5kBevى+bDԲH t ?_|P @]괬N`dtϿ>PZ4pIbVPmh/$p:8\sX]/<)/[:ʵ*]V)a@q0`].$_tvJ#071Myle`kZLi7tH\Ē/X"`chZs)C/W]CkZLNtD m}tji"M oD)Oct;y6jv*؍uR DsLv<&Bz"E/,*%,aisݍ^g弞RO `#eݡ4batg䇁tyf]gS "u:ըNU{AM*bD0̇1 B3d/vn 9U7߯2no>MDwE\p(aBE.Ld"" m kܖ\WZ]|˿lD #U;@BMӆ9o80qѹ6kWնlS< Z2Ԍ\ p#!-Es8?L\i۞] C*5LϴNcBMa}31WW6@AS 'r 5b4ZX / ෼ix)[e^IΘGK8/קB8!FVw#?PI?3 S2d|Ps,iSGE?o7,N }*)V- *Sm}}*.)\kԩ`Zd{=h=i 4I}\[jJ$r+cę{k۶Wo'Ћ.>CBI҆TEA?ølVnWG?T▐~ty0))߄ʹw QrH]-UJ@M2#/])UX^|CG ȇ ^¥dw`8-[3~I,siKyvwpSp|QTHD!0Hqe}dy?k:72?rĴa7Xt3_%mlA&b{sޱ+jXddZckMH?Fg20vXW} s[e[Fhz5=W_ 4+Z^6>p AR.ͯ- / ȫ}^-(u\ mn䚥Hoc @_Y24]їPlΕW[Z@$kӺ6Cb=d#l=_RhtQxLj8Co=~D)OROz*j(H#Pr(YW9z` u{VS B6چMJIt`=N&3|DKW`s-×sYٯWJqFѤLɏoM0 n !Մ`,;\<$JkA| l ֫|3d_Lx\p<Tjؖ1FnzTz"@A $j꫋2V0K) Jw´z c@?czDZN*PhPlVKM}h?ojvS"'1ႻPd)dž:;UѬJhJ>@ O  UXn 3}>ˀu^_Ds9],…4v)ZXҢnګ=} >I, ļʕԃ+4>'r KXE^ &f (GUP,N(||iڜfb&Ro%Zo,CUtdzxхA8v6fc#SÄ́G/UaZZceiaMC-WO@0J6kRڦDxxjVX  1StrxBr;/i{^j<\e'Fc\?|Z8fJ}gS{ܥ1չԔ /m%HAX GP:8{uk *Y *[-C77 $Ux납KnUJitUyuEo/?}#we vZ8PAOt.+P9 $VqWYN]+ ^ VLo݃Í: wn`;81+{J?97O{;s{FCފ@|fIeI+V EoqBvRn,$N)^4ԗSwˎ]vx9Uf 8~L+lW0^ MRMXG@Y.e<3? nh\"d1ouQ+-xYZE'd$ϓWokR\ 7f;s M]"Ɵ-^yIN ht[jfhhcQ&[vYBTo ߙV=Ə+;;Vu{H[h_ ƕ\6_Snr ~M0$|Nԥ:.u[z]Y*3.|TłHl-ž'V1zqh['`y>ÀWN<`@փbbDF&ɊQk@T7@R,h>I6U}lL9#9>7rRڣb0cB; oF]°F=^qԫC-!Dc=hbtjz  pU'1ܨ?NDjȫEsŴrP2GM0ߢR$K>bl5CU:H_eޡF54NZO:LˉOm3"M&7(V XB,]@U2+%[еAҺǤ-cx'a܆ek4] !JwTd%-gL|-Wh+)\-Qm7Uw;e6z'S#p"{Sůj%Fq6=M^.鍈"bVkH$ 5?E0mc n1Z+ޖ B^u"-lL;mrqIS2> )~gP3a8@ DRD dYcQ]hN¥Ѧt5o}!U,f%5#q:dmVW8ӎ=) CBEp쪋4(QGJ"q(c S)n*Փ#8qhӜwZM;7L15{{U)(;(7XĻ~lBmg)Fڷć#'KT!܏Esqm<)WѣfwfJ}Ѿ ++UK0O}0öPG0& iqnKcOJ9)yn45G:8;b&>g)Nf*V黀*c9QB_17;Ɩ5< ^"MO6mmDA#݋t"Eא6}-^C3Y$T2gԂj 9-: ،/(E7 n3y;{_u!xFAA~ 3_z2p~hiؖW*{?-G&n2ݿ#!Ѵy:?WHS߼NFqP#ºC[oqij IǨ*AybI9Ս1AW"5rlP%zWK1cT&q*uo4e~f]/┺w&婽*9 Sg7?͓<(c@FKhH̶nZ dE`_]5}3B܆k0;RQ_:Bܧ!7:zowSӲqVrRWPt<S w: 2Mh_)u;ԟ)5#aXBhcrl8[cQ7Cx@"1{!Lͪ}MjAϵߎpzfl/\eRmT%0"bp]en-g; MzKy\N=WFǬiLA?KN(f4}eH_õd $\I#ҜYO n;t;@솋@TН SJIbOMܧmŗH51'foK+4LiMHlJVBVn'`i@R[tsW\DWtN}WoE/owP_/+kJ8J:_H*rd*/Dž#"t̝thV/̞,ڴ6e^zF*C t[t M茊ojѱ[aS_]Fg/}p_|("#a99-:Q:F,Ied)8KOO&"W gČV|gAr#U*??ҲGV)HjGw9ͳÍ6+;j3 ^@V7QyۊEj1DT s!ZګiF/QYgRҪ1m}oKTEtr&õ &dL)YiZ~>Cd)-!lPo0}$k2%! OVm*l_8Oڊj‹LuY`wq bɊa ^Wk]}ZCv 2LAu$ZӛbuCVM`~[<NlB>]DOe''F~ܗ߄F&C;RC 6(, +I0w凵#4$r+dx,y}SngTN "LփYʼ`–h5,lBɕ&`G6j0sj&yNnaStgiGf[Imj ݇mMe[fkn $xVNgE_(K6:52w]I܁fзͽkXUglf_^=+f # ܈eJm&*72ĠP1Z*)mNIEXܸ%tͦ[ QmgL\ջEUZ,o.@ VrJY|U-dw}ڡk\`AXD1- _ĩstcM#(eCo$~|E_e%7ib`j4$$j/L*TJb.t-}j(PS"n 4^GJ$[ݭ:;b̠8,<CoѴV }>,ʏ߳c gsu ^J8e|<Ń ycII`Mۿv)U]::bqZkBln߶{i<2<&~IǸy]gW8zn92}U=0H A:c33I:SȹTN }_qT SEmɷm!"D(5&#yBrhp ωd{B"GPmD͵ ^K{ƥz|O1Dr]zVۿ *'L7OrNA6>y~.[j=Ŷ[_6%3nq.]k/V4Xg{ "\·4:6bg9g0湩n$[<9<ۚo䤻덍/Nn]AҿY =Տ131u``Hg ?+qNĢjR_Q|Cv q\/0:[7֨:̡>ʓέGıӱ\0t7,q>Ea&t/II+'3vzh}yFTɋWHL?g҂{HsE̳p: Y?[BvK${1Ƌ5z]J, d..l {Kn{􅪤#V5φȖY#M)- `Im-pc=󼧍Ÿ,+uYI);p ߉ )VB0RfO`H~oFp޻EEWZjmK #:ҽV:[']AMN f=)i (Jt^m^]j7tYE--5wrڦρ:ݞPu`MX" Y JkZY%E73L QweW+qnX4f|mUpE05x*.ݍ^[2@=1H=[OҊ~v$7}&T!XhD{P7\hDIp!lgLXyc%A&'2k\sr?+$elqz^ =k>lxleV_/~!uAotvLxY)9}[yq{ JR<+Ark q)N"~AQQ}}q&U?oZ%&[* %SR$yn|^\z$ons R'zɢZF c@[+~ٞLl啜NXD{NtA5IZ)\Lg;t^"<ھTXֈC3p *jͨm}]ϙ[ժQ3(ZCՀl=.fvs]/+HgO磆q})'MH }n^F!z3t)eUi9fh/}}.k/U%A@Rql=21nd./o Gk&F~FpxH:醕W %= lnK#*q<.9=ĵ'5З>`&tB_p\-^7p 5t$*? j$HFPX`5P"^b @ it3Àc؜mEUP@24֢ގ+xAg#@p+ņ~kZO6J^[ lzG!#_q`\뽤 8d׋ VX.rmH4X0מ8+㱫& =AK yo.;^117I9?~uaYg 9O\>#,mk<~C7! "S\MT1G?~weMyv1NF3?П;o;ׇ uj1H>qly3Ju=ŽAβk\c5Ěg BRZS LЪ[A^+_ΞM=ڐݡv> -eVqXO$_x?|T^@5Ino(G7; 2=ny MP,J.Ir iH}6"SU9{e޺68I!pZ KAyYw`*s5PsH<lR3'_Ҙ1?ݔGalrhZ5dqjQ ?V9'V{me(nXO $#.8%z"x_O6\^o[e6$./:"bA)yC 20h.(^tYZ8t ˱mf.,z7'YvZÝ7i 񰗿3 z'Bcs%z U=U?bXЃNt/߻ L+Xt~'.E&hsK;<č=GѬ|G_NW|)x/2w"f~HбRd!OEO# 8l:g^ו$,*UETeVǹt`qz$=h Z}Լ5DBq2o h!FP+J\5O-_l)E]>O gIG!N9)J( dKLctC%t|puO:F&drDQ z ARUO::emE&Ҝs)'YrH!=x(hRU@ߞE gɄY"^&y.+`!RC x]>qfnj|#,^z>L.z?!yj?HcU޻APt|`#}G _6$qw1PMgQ?RsbWqG`}7V5U UFF#k#`#{P|N*h?ePﴅMjbX@ӀYQ6d(2” ƩF;7 ʺ#uZIR6;%`PlD\ / _ԢmJ2ed 7 QmGLwPQJ͌d'7s>SZp`/ +f6"73lenGQ;z:uSZxCu)xY5=vg^rcط򯁄NEkcX]GSvm(:TOڬvE3uw4rط >" KϢ vukހޗ36'g3τm;偤(O AVM[ O _ |:&w݇}1ξ?rEybT4X7^}8~xK Pl0[ f,ruw")Lÿ֬ ԔhǓBRGtP)pDNOm+AttL"ww}i⨱ iΘw4-X늱gYZ7zXZִF! f]]ŗXiɟ1˦r+g'Dgr>{pNa5R]`[w5{9S@k-YqT bOUb] IUA#mt{ތ_G{U,*{7Q)Gۄ!3Bi2{oK7U&-U5@c x/|"ױ+9xFz&}_gh+j_bkP.qG!Ul]n>KY{V-0zܶJBx?z{&A`i&=; ~7Nats~N[zTcL\L{)'-(* LϑpUαgYZ7zXZִF! Ե ]ŗXi%L!l0MAW_s;aD 9jPëXm;f&|Yp Y#dbQ_I8dzvd̳/W> 9f;'}P ޛMP #}PIG7eh֑6Zg#TKM š>;]}MF-L-6/"*D1PQx +=.(zNsdP}݉P?ĜkTNjU]~`Sg;h@:aL) 02MZ澇z(@v6wV;'’"00)ڡ@ +[LPGVҖ! :AY0 36d 4oe;T]3kS-O[L;dΘjVX'ߥb=}y:t /yy-`FCU\wRI~`HO@?ty$UAҵ}FtЬ<2ދ,%ȩiLQwSфc еbh`V![AF$[E1[8BO_f"vb[AU -[2.#Z{HqzЏ<,,3标BӰ"SY+[#rr=ό r>]XIe*E::tz7:ѧs\`7NKL{R@~P# Bzώ1NZUQ5E 3蠢v,<ﮎV8/;] I;"=ewIzB )Z̒K2'3N,Y|́\RdĪ o aB7fZ:w([ ,2!gKg?R}+^=*-/)^J-4@/? A ?yz H s (%iъwyTc>%Ky//r:cVUZi#m^DУ!ad1ԘV)ٞ_<%~'@Ks_uPXSx=nA~㤬I['.̘"qߧ|+R1S /cݓN̩eۄQ hXN;|շ"f=ufߨ34RH!vy盩VV|i-<o}A6D<љSH*Va|Wx\RugAqUwLV 6q94Ni; =%7`n2]*47ҧ∉FpCd$DNdH Ocpʒ<U4G}#uO/gyj')!hv5*n>rS\2E<4l2b˄8q/bBHgk@"# bGC+&U~x*Ÿ"p{T@w gFQz%+61ܸ1 gq]3J܉:@D?t; nY&`?jYF.˔BB8Qq *8 IS5"C`e²uw? ?:F\f2q 9}J Y#loN,Eg +ilx)1WwUy?+clX>>x{sL!P&HxSD: !(8(Dgq ,?$.*8eHdbs*s~<D-uBėf2еױ>GDmi