SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  h h#4L ]S HOLCF-FOCUS:threads=2elapsed=4.143cpu=7.664gc=0.232factor=1.857zXZִF! ]ŗXf1-qNezGh)=|"*Avd/6@F_jq&ȘLbOgGԱgYZ7zXZִF! ]ŗXiɟ>Ӈ~{?@& tu|= :C;zvQ o[X*PN{`dP%7E/fv،9`~eבg=5N\B4쉵`gǠ$p# JEy2ɘ˱gYZ7zXZִF! `]ŗXi%;[.poV:Ȋ*$3+An^ #i1'U٫hMq3uxz!3zc߾Gfx^D< V)YpT^P7,iH0uqlY2UB~,p2F; 4,hؔ҆'aILu}zн~v?3l";Ǚ9#&r=Q3Z?ܔVz ql{PZ,HM)bVGH-ʬ?ח$ Oq}YCvW%|wڲ,K0502 l> \60^@4l`r[&t0mdWETDR]3Q`2I/_g`H ,tG9R#hvg#&NOQ.gU:wn$5fiw씱ChqV:QҋRءd`blCW-lZ-oKUpFl^Jڀ0U5b]?Xy*{<,hV;#ՙ{Dl]$+vmgYZ6be79f2f79e84c5789291e8c3f120e746650146b04546e13b3ec7f70b074138ed2f4d8667390e734 094d1060cfdb72ebd3fd1291784fda6152066b69 1dbe3cf33db494311b52c74a5cce98031f001a35 a472bc41a6ea951faf1ff6d2e6495b12de9b8beb # HOLCF-FOCUS ^#5% dHOLCF-FOCUSHOLCF-FOCUS.Fstreamsdocument.tex7zXZִF! $T]A-MՋhvG"uIBm5p\{` 7B]-3||r 5\FD>ɵ{ %ly-%a|$9R1ʫ\.g^>vP]D-UZ_W0&Q5R J:%i1kFM׈Ђa"|pܵ1X;B˳pYFcS8e~҄bmP-Q҅ q ږ>OJ2ة:U;*) >I2C WJ<ڪ/tAk>uXƍӸ \)#ssfmU9`@"ua-XzfnzgYbw(t,n LKVC7c\/?QIFQf N[#Q ewᙂR<Oi-nxeqyN$==a\at@!Fo+<3|s@qq'M`h8Ś05'E,Nb+5>!crgg-$E9-f[d`/~)a:Lk;Ԭ8qZt>7/%BBH* &aUoի9]әAѲDgIKҺ5)GlqP*u/J33yo>GHRMs(jQauZnETzAsIihN qɣ{kvLXyQ%R|}U ̙j_)"*j>Gc±"Cjħp1)yWCVLQ ߻-Wh9a(xֵBh /:UN2 Kyܕ}b@ )Zj$9Ŵ[:6׽T.mѽㆃfu.[Fֈ IlXcUiIt"Jg-u+ʄLھy17w4arRRf,>,#1% HOLCF-FOCUSHOLCF-FOCUS.Bufferdocument.tex7zXZִF! T]A-MՋhvG"uIBm5LsӈT-MP<g˦sGd0;E.'%:X`%xA>iECVLԵODHȋm<.x-={;A^KiI;?:t~ AA%$4vD~HÌOhv~Z:5$=hiT"AYvd;8reQP۫O@/('?N`) &8)ĿOX4MP3UO]#HinM@^I z 6T.X' M B^6e'82v)@+~Hb(1w##2{Cs#Y2PDH߉ikYMBrzlt=0-5D:+ϋ~AvbM_U§)2SH*LN<-4LR, ~}3g.C N3~mLū^j vsb|[&L\? hwo;ϕF +RC̸[yuY1̍ 8`&coQ Rq=zi3)OPZM@˾/v9fϚRfYrV`7ErvĄZU5&u?1-zRnTt4dV    k70#3%HOLCF-FOCUSHOLCF-FOCUS.Fstreamdocument.tex.#/%HOLCF-FOCUSHOLCF-FOCUS.FOCUSdocument.tex3#9%HOLCF-FOCUSHOLCF-FOCUS.Stream_admdocument.tex3#9%HOLCF-FOCUSHOLCF-FOCUS.Buffer_admdocument.tex1#5%HOLCF-FOCUSHOLCF-FOCUS.Fstreamsdocument.tex.#1% HOLCF-FOCUSHOLCF-FOCUS.Bufferdocument.texLUjjNSϾT='̭Q&L&M',J`%PH:Դa@TԼaS3ut!0rg( #-P.\@ﺨ\ɡ*rޫ{Ȃǟh,p:t#i;ڳ>;'I?LL,hLAHG]ewl41^dns !evgZOY;{N-l׆ooʽ`ղTwbY{FZ쭩бs¾ռ,`oV46 QIG.au'hT 4|(̾XyTIY(Ӹ0(~1ţ=/bSl,0u3|"95&w eI2}+,{AV&T.ґ ^Ah?~w3S)2e|d!2CAN͍12NZ@A@$OJQa8Sxx \@@,dYiº2v[kCIv di}ץ_`*϶Y1 "6ԁCZ v߻LlK=Nu}~iN /hg*/ф-OO[ԁv6g2RlO2;n>J*@iG K ~<A)pxoM70#ԚϋIJ˾AmBFVOL~)pc9lB(Ip%reeyC3,tBU)^AIƃN9j^ H9lVد X* ~ Sa\م ΐ34H#U<"PJ~xUu_8\Y{y |&M4)#{|~a>,A!IikYFhƻbCs?)oUgob,2"H}|ǜ+xyk,#(.K<$=sl&Rqf/]Ⱥy?cY4z |pFuVx+} lB`1xrs[ `ާ$ !0A=9QP y_fIr)R; jb}}r_fG %L|r#OU"M7+%z#Gm'6旿pݥړNv~XnRZp H.qZ[0 u¼ d`rz= ,/ KEʶE[1n5B7|b)mVw6 nTxz!qPdnvу$ALuEEŢثF :N^晌lԕ tZHjxc_v m] ϰ m Sըř-5/#='P>M*KGE7[[|ijC:om,6e7 69ƆA%)P+UY{y9l=Im[ziœ쟬*XoIs8TA̖pqՔ6خ 3os3e=ב ӂjW`7MZ:Ph; SW)v1F L+qAPRhX*C1c<ޕ\,p?r"(Uq 8mnTꏎRaFIrSUΤfakX; !~F4JB ]wSxZvN"u!1OEhk]0mpwZ5,yKb2UmO}w AoRETrp ܿa2-b(ͰUWc `A_Oڕ #\?tq5nשLYk17君Is$j;ŀV:ڕ&t,!!%X)1Lt+ 1x&a-39 34M5#J%žDJN[Ae{ ȷT2dD Į9nЏL@d%^\J6$z0N7@mS8^1J ~1B nkR eS"7ZM-cOI^!~,׌O3ם-5/-vLA: 0B/[t%gǘ_ۥmER j}kf[z禁tj"&%/]( Jv*p 59-$ĴRi' MxG= pĴZ`$콎K8MZ ֋Kf+5ZUvu#'>>tr$܊l0橅*!ڷUӘuRUf u`aACh΁O@v7E12#|BcʯlqxL2OE'cD}n/e޿E;F$ kJ'ւT"WOdPX(k?&U+bQiYơo-'2jMAW[-_ >,E2Rّ2aÉE^KOTZx#/>N-癡Xm#p¡~ڲ?W2T;o4=ʚ oЛ;McQeBx7YGh.] ! +#h0!fP66b';2g *MQ|-wE;DN{ ![PZ&.u⇑pP<``F(-IMn@j^~½ i`>޵oA9{GC{w#ya;Tϔs=_Gdܟ|0h@Pyfe^-똡8`϶x!-M V̿҈p֑}(''pUJM 0IO5mmOMD}vTvEɂWC*?iUF9T%.xN1(Zbc d`[fNvaun~re4ݪ@Pi+iy564'Dsڏvϵ)| m3hw WQA219}ߵ:T1su7b?6-p(@|Q#&E`u3H]l~;G̱/AFe6NZ3e"' v-CRNh#ye:Kv_D/>=s[x< Űay|orQ B.Xr`՟eN#ЉNȋFO+ؙyr&:ufNTtެB.x^ſܙMei oABL/kO G: <0oYImkK 8F yCr)qk"{x9,Ďn %וx@-:uh 4%ՆgYZɠy6 V^kD58vۏH0^2-F깝'鯉JUFݷr}z9K91r;qRvJ\?xLrZO5R ]%%捲0PL񳸐U?%@\OSŢwJ/]]"`-U46wP.隘6^bj?:ݠ:|[uβB6V#1]2؉2;Ya/ju5ոu\QU[Cj$vE!@ `Bξ[2i;^ojԛORF$VaqHo|>%"-0Mh~ ;&j~ShUzYJjhk{8P.p7D\װᢃX̂vT:09|P[!ǝ5)&H^kUq:&g!E_tUG&|!(Q mNݩy l-zn>" )"mNӐt,(--Y*` xAځodA(c6s5(dzN;B:%Yi'9\p/Uq4=36>(SCu:Ï]"xÄO,|jN~٬\$upjO=ٽ+Mb@QDcS7H&ᕉhv.O| Cd>-zP9gƈMt~e8AB9#5 w\d) 4߾?G^8E쬮ds 1Ÿ -$p<'ޑk NnUa_byݽgFtM[)XsS[Y T=1:t$LEv0z;ՕR8!gb]n6=vUba)|\ eZf{Z+~9Qp(9  L'<6\8+Q:߅*WH C]8=ըR_yt{p*|?\c GF:{VND> 3  ] 9dpm~u aRsEκU-+ VlW#k ^7cP܁ߎR޺6WZГpdr ^ո<׋oGx>mL[|ebFUEuţ)":)tkR;͊ʖ@YрrZV HzCf7r*͂mzV̋e\ayuUcvФ-xh㰹~W@FcqH ŸgI4W{\-,;>j2]ao^H# JSd-=c-(L !]v%VW?RY^Qn\ig~vu'Ńvp$ *DP-]Nu% ڈTdɾ]*4:6C`;ը?q˙va20\~)E$w#*PʶC^Ty!r } nGmL5/FD¬vd uM6"n1 ppz&{ qI@ 2exxXwj'pV?dKjMt)f ˻_6ogd %ɬln E\1H\kbZ ¼e1a%:FZ=K1ʸVt%Щ`jCvo)_t(11Lj]+귥CN#k~ENBSwMH ~i&<ʀX6Сcaq㺽ᢪW.)e2, "O1I$Oe oUFivjdo]%^.tdoH/Yڀ[U"\ Mb`o㽭]U dwYk>α :IZUj*) p87Ô4Ttd&۩ 08؋&xAĞGE02=1J s#]XCiD6S2bM5uhɊ"@_r<y{ o]!cMtA M%wIgt; w]>m"v( H(zƩ8`%,Z\l8aY<*Y #"l?ТYË W|W87𷗚.nsUL oU3EHU:WpqؗE.3,Qn] wE*iԑ>8'[@*M;0X0/ }"NǬx\vDn C~ 43'\tdUT rLف[Y_S2BmZɀxA0G:-s*`p`m+qvb0oGˇ_o~\q% W\(eсϪAamaOC0dA=]{*:s {zlX~~kSMyϰ(z zt_^Aj[܊LmťAZ݈j'2@A4,BR] <Χ>y~Pb!'N詛N-aOYA,fG >"hɤGצvdWAФfW+7U&T`C9!? ?! %رu:n*`TJc-7h/򴅘(4I}{boZmjY%0\l "l浾Ћ)߷4b t >iy9-aVǁˣRZրBexi4mevG Gݰe/A:AOk@)56墒/XB{.LfO̝VAz>P-۬yf>hJMc1$lu~>QiI+"㷢nG*G:{;4MH\&P~l6hz⠹7B]-3||r 5\FD>ɵ{ %ly-%a|$9R1ʫ\.g^>vP]D-UZ_W0&Q5R J:%i1kFM׈Ђa"|pܵ1X;B˳pYFcS8e~҄bmP-Q҅ q ږ>OJ2ة:U;*) >I2C WJ<ڪ/tAk>uXƍӸ \)#ssfmU9`@"ua-XzfnzgYbw(t,n LKVC7c\/?QIFQf N[#Q ewᙂR<Oi-nxeqyN$==a\at@!Fo+<3|s@qq'M`h8Ś05'E,Nb+5>!crgg-$E9-f[d`/~)a:Lk;Ԭ8qZt>7/%BBH* &aUoի9]әAѲDgIKҺ5)GlqP*u/J33yo>GHRMs(jQauZnETzAsIihN qɣ{kvLXyQ%R|}U ̙j_)"*j>Gc±"Cjħp1)yWCVLQ ߻-Wh9a(xֵBh /:UN2 Kyܕ}b@ )Zj$9Ŵ[:6׽T.mѽㆃfu.[Fֈ IlXcUiIt"Jg-u+ʄLھy17w4arRRf,>,#1% HOLCF-FOCUSHOLCF-FOCUS.Bufferdocument.tex7zXZִF! T]A-MՋhvG"uIBm5LsӈT-MP<g˦sGd0;E.'%:X`%xA>iECVLԵODHȋm<.x-={;A^KiI;?:t~ AA%$4vD~HÌOhv~Z:5$=hiT"AYvd;8reQP۫O@/('?N`) &8)ĿOX4MP3UO]#HinM@^I z 6T.X' M B^6e'82v)@+~Hb(1w##2{Cs#Y2PDH߉ikYMBrzlt=0-5D:+ϋ~AvbM_U§)2SH*LN<-4LR, ~}3g.C N3~mLū^j vsb|[&L\? hwo;ϕF +RC̸[yuY1̍ 8`&coQ Rq=zi3)OPZM@˾/v9fϚRfYrV`7ErvĄZU5&u?1-zRnTt4dV>c꽛  |#9% HOLCF-FOCUSHOLCF-FOCUS.Buffer_admdocument.tex7zXZִF! y]A-MՋhvG"uIBm5Ls1TktS7uXM(@g0䮔i(Udv>',GoՅ?R!oaN(W.Uk[[1۠AUb0y6$$J {$WAًhmPR^[߶udPι]+{Z+3_Xt2fm߽lo;ȽJjz`z y}ƍjIS҅tUGd"mDٔ/g"m pv;d2{PFlro V}`ھg>NA3=69cϯ5:;1^D6yE6thf5m(Ѯ-d+Dz@zklua3(%y7~2ehiD<,΄x>`7j7AȁGJo.xavMVd>^BXq#܃[˦dlouڷJRR&:|?}a+\4]%r'l^;6A>dҘ)p #] +^ֳ p!wL)|Id8w*tJ'ln7ˊ[N]5f㢕S5;3=E<ƃx!0sFt6rX qtt{% L x9%AJ`VC%d-iobFRLv}$|_Go`ub4E|=_:ܰ6X/w pKiM2fci2H`"2G_Փb=謻! BC?H\g 9D|Heni[(ڠa{'p 6fOQUͤY?m5JQS[y#FX.;tGLQ\Zi, w7EmⱔE0U"iڼuݶp22*W0k9K/$oP腬]Rb )VQx.5ڈ%lƨF/_^vZcl,YDMX0)MF )?)x}ƣoDa@u^x n+C#۷P J7Q3c. HTNV*sgKQzR:jΈ(_֋ AG?BJ%QH}Y7f^V6ɷ {lE +țl) * 7/$^ (N[Wd>i13/x5og3Np3J|! (sf~ɿS!&א*w6ףiWG7zsNoM fК-nZ`TL2-Uf_"q?v̮s?Lb8x/ E'?MPϢFₗ)!ж :u-%2xM ϓޙ7Iqu\\Al5DkKV Dm#u[ؤLOi@>%i1G:4 et$V |/10wr=& >op"oN[%| 27H,A'}3ۛ /)xk9>bn•KōPF*+ ݵx 8Vr]0"'KM);9fwcuMܞkXq{W> Ө*:"XeYG]^ =GC4vmV1@ -PD?$w:d9 W҆`Ÿ"&zgpqKw .g*jFiqo),K֩왢]# 8wMoC'7x"$N֝# ph2GpKvb@>j |O?j<)FrvY-굎i͹290k3am/_s@PlY'.{=j: b!)$aD㫀{r [\:!O.m((du>e<&> .G~MC$rFo*sm9y/7MƉs6 _-w_#`7v+P'eŋ[;rZUm֦;9͇ nXq>jIf:sa$O6vdU_?Qe3~e(IEs+~NSmb/!/` G],P۸CFHֵ"NKllWeݴsB 4sxQإ v!9oiUdp+*ԡT՚)ۥpo,~ϓho¿/V! qv'LE]-0)dS4wÌ|@̈gˇ,[>]Fz'n*։IH,z;vcakڇ?B 5z悷1~P&Kk-}݃\IE/cEA췰p$=B΄> jU-T FE$h=})DZ6^9ZMNDǞ#l:r8k<#mѧi|B=b-'1րïخl%.zAaca6w4l+G`zlvVkk)8MP^u{%˝oNzӳUDP*rWaiO|ʧB*㌂w\ƴ|Bl¾~Qg賮ܪ?rgYZ QQ,#9% |HOLCF-FOCUSHOLCF-FOCUS.Stream_admdocument.tex7zXZִF! 7]A-MՋhvG"uIBm5ȩBߛ0--V5r3hF޸nRڂa!`U <Y=VBL$ bkj48/xe""VE94`=(]ҀWj&_l.0 κ)w[L,n%vbY S%ۏuU0pd=B)LǍpGp4~3L-WqZ, =:k4c93'V!T jۄ/tZ#P\Kd>ۏS8rzЗz  ";9h\jRxcE(rG˲@ԘRz+zX`-|,`XX)afm5x7ܗ _l*E'.T \*Tڧct=%{  @0YҘhb ]CPr▝>%4bB'@F S4/d('$`;ekcЋ9[o&r%fIV>=av@H~)#!:XW F3@L; u&}-'V\jg*<9V@沘" fp捯:w1υQ *-K\1Ê K!=H*7A߰pj)C'q<3i{>h`H=r23A ~LWΘv/. n {1沼hd.-jnU\fn?z?7S ]F)<) JntuZ">KZ!ڏmPE4$Y9ߢ)L#A3~S6 %G -^Bm0 gk]&*'SI]0'gܢ&+Ҙt\0Ҟ0>\ݐb Ɍ#"2|m\kz%Kgh$@4pP"# 5Ǘe6[+if `CwJKϲFp$5|5\C zԪij4cXT FOC=`L2>]/JJW>I^A>؂`@ו NGūu[@Oӡ"ѹ+Kȍh10+ : lS=f:'!4Ev*7_ (Չ߰563m[x}8Fzmkt8v dhf0’)ٝf4{MG n:F4O46!G/x 8꿙<9I0y> uFY'=J >5DBA#9g\gSfBX3FuN∼ 27 >aé?Z_wV/\?{ӎsDhzUm+x4[k>4ef|w#!NU62n/eP8+&ᩢuS/t7 |Ue{ŗ?P4fca0U!˅۱O=ބoKLOG@dM,>-&G N/JZW K տRɍɑeѹoܧ@fQv/qRF`wRo?gF#WL.VC7-mjz }^gQR=v|m֣x6%~tW{1%4|~pݵ5}{h 0,'dY)@ФSYQJ? (IcWBC[W\^s xű 7_OEP6uƊPq~gK:p4Cwv[t*ky}+Q Je |u^Mvx}YK44r &um:pL_z/ۨ*@¤nvh|+7Oڀ ~<'b.&}(|w:7 u( kq"U5}FTq]i<[u( %!Ql9\Քmc5R"2+#۫J r)DrX3 JeToKMaJqdX\݈0"U#0زa 7xD]m$T'%WńZĖǺp)w\xgzeR()*]s@QjZ[rM/+ ݪC wy nx\򴨙 63  .:]g;IbB@qvW`MFO"|;q(f HkRkb;9VL$wM<Ϝq ̶Tc4owKaX!!oŔ|K3\q*=&P'[nv聖pc<:5hP.xL6zjnX: ةmu0=m#a; F΃a/ xLՃ8Ϸ \3n_WJat¾бvp>1j3G˕I2^+2#ݬO73[)7-GrfzGL\'q- &}y({zQx-V֠pii2ZZ۩bww$8 1y;@BD yaeDNL{]t"Ɣ[{`rOr$.8;߫5=b|)vP{+K;C3Oٜ<_-,Lq xcv83h_'"LaAp{jTPh?-x᭓6Հ֖@ATy n¤n';jV`j0]jQvWJ]UҋtYֵV5AѴMQRZH؇4/Wܭ@h5Z+Idu-{;4e6 {>|8:<,)l%Z `Xdُ9йb$Iky"P O@v۷]>YGk{V7=5;jiCS:!U.|^;~8޻}|+JjǩGa<]3v2; GUm? fȧ7*| QZy?ߑB!SO/֒(a,r^`&%  m ;H7DD<m~ΣhM(b_5zk > PM-dVmd`鴭 L#P=|a{WA'<7V.wϫIgŻZF Sք,8wElOD!\- ⧱gYZ  ^ ^#/% lHOLCF-FOCUSHOLCF-FOCUS.FOCUSdocument.tex7zXZִF! .]A-MՋhvG"uIBm5^I<2'x *UlY+wjC, {~?Z'%8e?hB)p?!R0;/`2M&hCV(r= C!,@~ e)upZuj$l؎'r)J@ N@PAR~!jn!sRv]/Yɼ!h9 RLpC>e{K_XuLb6ܣM^K+)cB`\YT- wq_!c0{4&|$}c"9j,=8PvCiH\a6M1=E8?1V8jewr"/7#Wgk?+|8DI{٧.HӾsB}u3儛 1yGwNu?NX܋!+c,!tedpXX mtH"$ĴyVn1 ꄄbCjXS< qn$ J&[ZC΢7abJHU Tb؂;LQ@}6KMZ56Ĩ_$@]IZV:肵NJ-5+{#k_JJ|'wx-|Zb7L!Vh$QF7%4|R|M!?^i[UG|O;'c 7 }؆r{.Q6[l ΑgYZ DD9#3% HOLCF-FOCUSHOLCF-FOCUS.Fstreamdocument.tex7zXZִF! SE]A-MՋhvG"uIBm5p\{`8w;% sCvֈJ˪![@5pcܣȐVj. %J.&8A OُUc$mK_3똤zIyo%?LcVXN"IYSGXǺ H(h#a=)cIKb붕Iѽt/ j 콇om͑ZSD)Ms Vv/*$-52+8BI꿖)e<v3ͫP>lP*X=6%E&&Ke্3a? eƖ&`{}^A~c`8_S*(,RAA-Dj5Hs:̇p_5Ɠ3Ezž ' FNt^y.fHcC/IM.X ޻n)FӆC\m+Nڱ{l Cqp^(dIhf{3烘04#")ˮiKtn > aۏewYl,N<-V'Xv?h ku<#!^@ދOqG-pmHa!B. F1L6x{ڹL3ILǻ>KTRm ~Fg\N#P 9 =:6 }cP<5PHA%sT_}| T; 1>)ng&Vծbhh|R糄ά/ykœU1^ܬrwt`*ݯn"YW`Kgd4d9hZX*Օ:;u't2 9P j1TǐSk\vCpUA*7=5\C{F&Ϸ)m-Y;FW/3BxکdEg*144kґԑj%}"U~J<~:A8wMZP9*FGW,5cBCTd9ӗơ2x%w`.3T#"cbrYݓ_=y/wGVK}+/:~]–'F} LeQ^]Ѳd38,\a!In dmLjF؆~ذW4-0NST aNxP],@am$/hpiRqi#vT_92a~ϕfSSpBOïˋ(Y"ؼȎޯnuC'@6_ ʦcЮK$+?"%xC.Q[Y΍>)zy3Lvag<‹Vb{qePe=%%.QG̸o/ ŶZ$#rg;vOp "EZ*FX(}z%cs.`LHmϧٜ.bjSa[~J5VH>Q]:`N_)xviN:s</Jv@f,_JҦ1JFM ߙ5MJwk-!uT%/#2B#=EAXAp0+}r3]' IZpBʴ\,dٚ.+j_ۅ0D8`5$>c%=cxY!P.ŢmV5LnlXդLVy:1Ս' !6PzW*r ^p$ nHm(/||y 2gw}Q;"Ps&c~˓ND2C^U Z0)y`0xn$ni>$ˆ}.aiCHgWA0Kų9SfE"OnHl*ʧ|GA"sR7=شFF|:dQ91e|=杝VɺA̟A0@`E#w`7 >Uf\lժJ2g dSK dp/! pVe'y˶J`i芒8b㜘0ZOآ7bE;ͻ1:Ut!\!X>u,HDVk 3/3@@HxY;ݦTcxm)2³.xf]^ȀCQf  cA+m*˰2+_IP[QEnUCA4u8`ܨ`]Sp`oޒa#l1GKbe(i$#n#ޖ\;M32=$Vxy>i8 Es;Oc~#WÀDm/ <;;`Zq9T$y?l '+ń"8RVLřio7gG"it4ak‡tal.> i]fP_ݐBԽr]À!Q;Vs DE1#E}|^8c3wSEW4NCj/z 蹝LE(|jIYE^޷y a+qQ( k,C2N]A?X>TEA _򫺷3u}|i<՟g wnNQ/"Z."!R̿(Y,E;_>9TMfy9R$juƙ o@hAe !l'{{Nڐ@ Z;A4?\ut y՛!O"r5hG󶙔ް#vY !́m, nN Μ0U#A _ f2yH &n?m+5f) VP-~xQ J>1&2ɽ-QHټ7Z=L@7!#i/N:D՞#vsKYO+m/K0[|uv8fMA,Ԅ(.8\DJʄ.p2*H5!GК3v`Xl. ]J =߰/-YH'_LFn+[tm,A|xF0aȁY54U '.MwR2xu,