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  @ @!w j/O%?0WW.

V=ef|Bqΰ!Q*S(T΂I|,qp[I^zQAq:RYAH)JeF8uRٷrKcG zj|ZT (yRE=!aN7  >[LaTcb2S%|!dJ0ؕnuqk?@lN-מ Ѓl&6}IkY5% @>`b2}eؙ ~. ^GOzܜBMDs^?y9TQ'Y6 jAͲ Sf+& 7b#[45NRn_΍B] T 6•1*ԣj+̗OKR˄+] 6z6Rl2t K/4/p1z҉c7j"ӝ`] VK&&?=?'\9<:5DJQSF#cwNJK0 PÎTM6PpL sZ&aT1.zjL(l3t#4]P9s@&j!g:kEs/*p2?a ޳0,+*6"G ]/֥`'Cq;Řc$'`3s&Cq;}rf8][R`՘݁C"$^Y[O},x^N9@|̡ߑM_bQBt0Փ4yᎲ(@%P`ć2k hLV-*2#y ^+0%*ﲎϘ0;s=H< }#LѐZrJ^ $RWqŦ \":}dNB2*@ L1 FTA+O'[`'@}ڢV:4y BH)Ko !ֵ6a vUւ4,Tţ-UT[A"]|׉eWʸKWf$ BUE t%jأs˙nd)Bl.ѽ_ↄ~QDW2 &69ژ?#=c**B.3Qu8vK(nq ߤi];F;!p"e#]G؉-Ւ2O A?B+nO-&6"w!U:oSDg5e7.KSa(mİe.k #8Z)( jCU5 /lcbV;QgJRm'Q!1Lm;$7CT$[wY?1A=Y(:!"e'dԿ὚4ڦ9ҁWJRTޅ1(z,8اK,WqpAxM/aKsb2Æbu&mElAym@JWec jzipۅ埤m{)r޹) E#DCs^z^lgfv8G LB+Ԓnr*9OQƔpc$EDʮ 1Ƙo= %omt=' %&(ru5{ՏABnϩjJFݧ?z'o9ټw#) >ٌ nN8V¤~!<|+ /!.TCSذ |f&Ⱦ%Pme(@ۋUQ@-sdK >cj'lJ٪b㎄F%RL䏰w0H5!]wpOW}_P̄ld3p5IEUN&U|B~`Qc0LJ nTqף7JwŐuCϢ%o"Z)xX4I{s}Vٗ7#Z7ه EZ^sv68'>׾3ZqAqFssh9e(ķJGq]>/Cѧ 6`ρ(Kj.RvEr SfwYtI?+*(~`+4aʳ: .$ ʸr9D4̊y Y4a=G.y06hgϻsR91bcv(ݮ{*8sRG|'\!e;6KD 7yAFc+j04dU绱9`Ŵq??3 %d| eG/HA}-n ߽˝ynƀĤL  E"V *[w=)Y&ȹ>&QC[P-lcibD2WP<&%'iX3*'dK[<}Oh5hvlY6G\wbwj"υO^GV+1 be9`P,7}g;% fsG 7} `VSYKUk8$,l).q]'*os؋Cӑ|8k`ّg-Þ6HC&TD e~CegEJP;ЂSo̫X s2ȋO@)0{Ϸ&ًٟw1+4FdRi1ag&,;gYZ7zXZִF! ]]ŗXiɟ29aoʼz[%U>EM!!B0M2~GI)p)?eyC "ǟ9ӬAŅHg_胖9dh%=]=[xNL6h.vc$Xu>TWm1T=.߻l8 (9,w!g`MpwN!KXwZ%@=pʁd 6K x D(cZyu7YTwB5QP-҄ Yl~v.O~T{9^$YL6&ת7޴\J^Vh>}QUp-K3ui;M k.*Ͻjy.jb/ 0W^0k0K9-h X8&j;.\1@N&re|S'9VssdNքS9)]flCib¬c2?&70tkYQTQ_ؒ)hvR ^SY`rYI+֏sʐ7uIgjYNOd.#);!r5&i"mxfvo@)ZRτ @HexT.C&:,`V~=C4jzZY#_&$.wψFSiwr7!:N&l P pkQi˘Brk;[}W>tyNizĦg AWp.4ihMu0ץ#. M56"{jHr2\\OM m,O+SM<ФB7EdxV!:K>i0uӽ K(SgI((e"۪tHeRe{΄iƕc5qz!ȼǩ9_QSyH2nEQ`9l%O|}u?|AةoX5LdPzY(%J>񠨠Ov28?@IxE1ػ9PaFh=7UM&YO9M :[%KHVR_t}k?_;)LOl/5NMM]\u2q̣X6<=0 _J*<2?=>%A hfP&P'GE#u6Uyj&ᬁK0MIn9wD ۈ;|v^bU]ΨPC_&6rC˻s?lpC8oGWr} 'k~ٳyT"4Ax$6@E+0pX7 hypW^:̓97Ome=WvNǻ*aQwMB0a y(0Dkt^?QSABKjEEBNٔ 2sgYZ7zXZִF! t]ŗXi%;ޖJ:4J=6N:/);w@(w!av_K%wu?]2s&cU"G ^GeAԄ0FbPMJdX:Z a(O ˲m$Ҹ@![_] 2#7DI a+6%{94Mraet#i%'Dm5Ht<ֻ5Aժ !v(@u:SemۤRmF&? @X5]zZq-RIewfo8prW9T2s&)|oỊ 'Y ?t0CU Cv]c^"3ˎb!īwd't^P N>Gdm0ov3׏>tMC4kא K)Ġz6RK#!&qF;#F+8WW)vKKMF_NW({=[ɛ4R%G$?UBت:W˜ Gewڿkӳe>}s͜72JYZ(bT2h@f,/_l d}G/(ʣkܾ AR7Uw'L.U +8tƗsL\Ӟl*%HY5±"~ɟwCti\ځ?E<ۗ9r!B4Yp#OǾ<;8.%ۀQB |O#'( -2 *A; yI:n?Vys;9W{:W~UY·Zļtl1OJd9Ҟ]jT ׆nfsZH:N::rrkS"[;艪Hn^|[מQoD-)KfGMȜtuƔlנCHFB洀!: )q'z ې(^+Jd>3~* ɱMW^ k}U+$p]H>V @}|gaN#7;aw%d+0+gfZ=>Vyep$w#e1)DujeuA.(VۂV\<(BϿcnwe+b,2AS-36+bi컸>q9JhwȬܝ[l|d}“*M,O ÆA0#^wd:e>hOrr #YoS618xR݃sY{=sh G,1%oqhߞ]I `j$+3Ѵ\E/V^lS^Jz(Xna.wW@SD',$R~ɛ#X+ӯfHxAv a?l9~_O`@]࣑0! fH3Z7kB 9ɚ5۬d.$; &=6$mPy9B(CN[Hrd*:+[vh75zQ Ň`7pm֜"^:<ŠTJ{q4$ղsYގZ)n5J |jJ; ! H{^Zjj6C o_@{3f,ddF 2q#PF u[NgRX{N= R.񊼅eRc $#>A|ntH.y۶ĶiDf%rqgg9r1 ,{)8^7)0TupۿUnƋfxh͝[dgYRF9IAC H?4vˆ Eb(B }>䤤b.Cf<2[$}\ț@&Zk&1[\V.Tlp+fj Ea"ƿZy*]ZM y*/ύJm@r>z.$N?\--MAGؚ?G~?sqqʒqƎZǕfTҜ^ϹlPM擱 z K`E:Q=Z#xhswVw!ra|mz0O(s~eۭZ;Y(6BJ.^s:eMt Ftp~`Fc1Oq" æhbS+8CN{!!lgtQzr~=A3pkRduT9|LQ{L2@N@HRFwǎ ?suu`hJֳ*1 ZK(g &uqesiT]ȣ|(ZDNJ;3ȟ}3.y5!fR:NM:aKӊ:e[_[#΃aD6F'X3^tQ ֎/V|i+{UD#a3lfg!6.~ub[,PՖ<⢬qk) L h['UuRQ#PDUҡ-I4RC#于昌<*L  ?GG:0 MYG i>uC7: 5D]w[4B [4p$+9_QlPBZC9FRM hA Ё<[JqS $R+g;EYrxt@-R(#}ჶ[Ut(m\+f8Z%S km|St2rb(H'벐D Jk1tlKGrP!#kzj5Ke9}7psBM^2?0)ӗF_ ΌLejxPz*\VvR:Nlr1VHJ"o=ςvMHR#wHilr7xNRבDope-O76* =rޱ[֯-C8b~\,)(((}ҝaJ(B]oYoF.vB)I|b C" czUXŽ':>O2'^?Iԓa=j:k6ίgjc!5PͷNB[ex J%Le<m =>$| u=t|VTW? NFu򞱬VK[}ЉbCfwIȠ켳7fFIx<;t)"C.F%(!-.M̈~*c(f|F-ĞQdީ:}a+/*["D釯$ '< Eebde Y,_æZR_J!Sŷ'$6ʰ柸^P!~?ݭ4S:*Џd?w"b&Ǧfˋ hN,fㄸ ŸqCHڨD2ytp>;O Fcx@@/DbV.NzxfU2I $zr(U)4<}Ȃk&”CEd_;0{բae6wBE۹֘\ ˆeg4<4@%q _Ʒ{|/N *1TUjpEŸeTUbOTfL~ԛ|24>Vt<u~^f(UOsU_P}:j^y[Rs wq̉]LN>ؒZohr>_Vv:8Sʭ ˊ>#y.b# }A0i.;!~Y6q>zJ7{ SSY7.  墴ڊ{ׄʺO%J20Fc]Te82?˴`;Vߌ^UgG=ڴQA Νe0⫲G6STKBLAuHۥAxwrs;Kt t7J -S))oɃ'0˃vޫ9Ѽ֒WsLJxu̩ Ölp(8/9:fKlyk\0D% oNNjs}V$OqK&3[bو ?~ \~)N&0&<͐\>Pqv9ac,&=9eZQOHdNsœ w,-gpiQh ]r-VzS>HRCwNzP}= =zȆB{ O@|YS~d̑]qη`㷶z'B#RtQH6}GShGˠO7# m6ԦшpRk FP!S*cxMG^=X}<n/BB鑢~GH_plzS$Hgu$zEWoLg]EZ{u?D mD~\;MD"re*t$Srk 6zM_9YYXhlcL!`Esd,fCCV7 /`W[w}GB7[rEN7 v2lsr1.q1"Dp"JCi=k|~ە/~{ PP>{R0J~xeuc{,^] ~Ѱzr,]=qd $x q1;nEYz3&* 8x $3g+)U0B(Nhʟg|Q9U8t'#͕F倹?$: ;k A^NjҶZQKNJZ c>&QE=3_G+-D?mCmxwRrTI- T {6uJPٶQ2YMWWpiXR$2Z]GĢ> Wk ;DUd d2;N)zqvwGW i"bjfU*=]'fs% z}q_w|-Jv ;}L]aR~ݶ٬s h-lRuPn%Zݲg ]Pzp9x5(9,bS{4 +7KY 3D~>r!N  )e}tjAiGHL0\AAW6۽1^:E6,S{3 cކjhW/HI:Ȅ){84E} 6Ҋc.mCCܜXN> Pwov b۝l-8bֶz)-⍧QWѾ'U"/ Է Ss d"At A6=l5ns!c(},>q<6c.Đot*wҰJ{x0Ë7# [ד+9Zj T(cʖgh?eeI0wKS战ߙ'lZX`DW[ﻜ1lF)z זLHX2Lqnj?EPTx$UwK)ѷ@YöKgd|: u'w|)^ddPjk]d  U;k‰a$zOdrM7Pq7=O}ޘRᢓs~!<>깩Wob]4Ё@Qgm_Wg5+vd̴hCC;< 0s=ȱ v vjDOD*L&)FN@toƸTY?G,$ P-)d5_!d0a7e7$2JNKSXrbڦOi=eAasknJ =KY|DNj$,d~I\靻_P`NMUI!P+sX^roξA}L8N-GMUVxp!!:;G2(-רKx>3{_ռ)xJ%IL刢.HT^atLUÒ*6#Epi^4ˆq;kŤ6M+4Ax |ioxA2mu Fs[r,5T1-sW\ed%Y߽r g׷ 8B-HfP^9f^e]eZmNUM̓nnC_WyQ)x*l%%nK;~큠&^_lY\i8<)poabG44: "tMvYnf/>Ft'agT+ı҆񩒅"22fGN;Y('IZÆn/D s!fSw\Bdž?U!pՑqHa1`'I]"B 0\~ySo5@\$>-:Ms8=^uy,(dyڊZ&|ti0dКfF\F>x?_S9[JN26EtvZGRurLtXۦ_V"Ӑe&nZ3A ɐkQekт:n1.h旪6IwjEte$dl4 ck£SQDY>^ 뼼O- 9 rq;op=.a*7^Mp<۵1TEv)>lRIףLjYޥEEnp$WàB$g~BjC6$eRHM*D]4$ޫ2IpVߪ|GSw|v9y-B4|bǷv_ &!_ko,Q܉b'_ҁՅ~^׾do2QAU6Q]"?] D$|0ҏu=_+Cu^"X4ݼ,; W؋*7Kya6]=$>=,lX|Bܕm+VSdS7B NNA(> ϧΨW:J=P0j$.| 9e*ju/`CɄG%p<+lXD@ЫG53Z2 RkfdK_4S䴤󻀏`.r1_j v2^P n-Z>k ( Bieyd]lVz&2XhX -kVΠOBCxn-5 ModI4a)`.NGh]g\O-gD+7llMaZ}p˘J1BN읛քe}_q%^!`;T $\\ՋbAOU)/ɃPR K Aw8N,1r F >9 kufCR)Ʊ)qKͭWg!aZ3o\gaH.smw9Y+!(nml1|(cDDjj %&g?Tr2Lap iHawNC'ƭX9}G% a| Sץ-u/!U+F^F KtaDA߇b'ϻq2 HӒDA0K&5u(2v F<2q L2"F=8&^, PxDYNLJg-p_3 ?y숐{V[;ߋ `h?=z Rz^6f)4UP"k L$e?IG~.Pш}+]+k^F`L}dݕ+(踳+;&Ұ WxŇYgs˒t֞|fdT)fvHǛkmҌǜt=zQޛ'TaÆWsRa 84SxSd>Z29هw0dq&b&ˠGS*rnTEn64gzT_'snyi43ʕ5.}æ:-ej[vXB3i5Kc"IJƏ孢 v3핪qΈ;%nh]5R|DegI|MEÖKW{Ā8wѥdJ\z=eP\Լp1UH7BoX4F<} f_5%*XAErA11w%\vx''O4'[PT=Te+"B!+ :FC?Ger>5:5I t_mpq<~ɶK!ԐPyxdC35&_R]~yjSG8:I|ys.?=) >Kj5'8g. "nkA/[OEu,MPʡ OG7BZ8VSYCMRC Tv(C !D䕕00e|gGK j`$# '_F]hK0"BG_'1h=Տqr`,dǕy4Gv-/4/Zmbɴ!zB48YFzl]C q~=a&b⪊/ET+uhq8ؕx>&?-4 +zR05S3cغ!zȁN NBp0.zv$W +QakaP\}mY"mc:!\UcvWvoK0m&f}?]]QpG~E4t,9݀?&{J}p_ӵ$8*.)%rOGΧ ֽfШtOAbfum}-8wK }쒚H.# j$W_ֲYL],}uPR'|  j>w | q`lSG,MM=p&>HY2e(=𠷘F4O 1| =[7O;JFҺ4<9^>j pĐ ;iϪ12iz{<,$Lve\.pGg4x/PyȁM7WA֪n"\Ƞx n6Sb[sGG!mӸ%;,q59Mx5.5n0N3 }ROXU._5x0MTO׎c:E׈g?k P$F0i߮Rsڊc^m\ }8d2Vާ[YӶF"XYn:J8 _)2/1jb!,MJ|gJ#zǏ`p(ǽͣ^<X,_9EOEot~# lq|z^(j̏ s@"m=:5dބ:} /OJIqVKmS|񥗖K7H_ }SY&2Ͱ%[?ԡ^W޺m%UO]mZ1]b@*z=v5(9Z{0lb_|à֗u:$\C[VHVHn `'MK'gg,?): \"&ȣ*t;Wu"Wӈ!zhiiN U̪ny:Y?.iTc9NdhaIK<ҬTE?0<|[P9 qn[QeQ*nF-5-m&]}uM`xPf}OSڸ Ö%lZdvӓDD `MNJO.e$-@R -k ;gi7ʢNa_kE>E*GϚĀ}}K%~-{pOO^q((eqdLJAHWqvM\,|퓲2&pAGEdv/R]#W~a{;O0յ- &:_gsDBR#ՠ"D ;ܽ߶?χ H2&9F\̷߉g)'9Ĩp= :{`O@ ~uu\`Xy~(g8䃵|nvw7(*Yf}C\AB=b΀fyxv2irjE^ꅉ+LngYAzޞے_rnMh(FF>nQҦ+?5tC2xԷ7MoK:iS478AӗzDF^1bNGg,MPo '2\9Tj{Ɓht5;:E~yq`JDZzLIG" >2{s~BCW)-mBQ8yINJi%ȌX=70.cbL5#jYǪǾye4(H B%96ŭjfm'jo^͢P,a?K5pU(A85-gS(׻$Ob*kayX;@?m?3lUDŽ|4 P߳ySJ̟#`nČ^ v|V ɆD/B0#u Ա$ ~7fBN=F˧㥛C=r@=-%|eX$^, 8tؚ#5Tm#{3ݤh8&|8 G_WQodXO pޫݽ`X߂Ua w8hEa ?YJn E7Giqup:CZ^aƶz0n$򤊖V kUW&>~ d&%(FT/LɋkaMeS!%+(^N椸vajMds`p6t̒ݺmjw4OxdӢpMdo,d>WWgR}OL'XGs2$fWEBIǹCy O1;^ݲOi7?LbhQ(E)<ʦǪtdxM1>Zr߯܏ %" I ߯>m6 165v]pTwe%6N=~>KYwK!> :Ap2 vfheEa<9D@LU-xX+ t~ɉ#"dY$жg +g?g6&Y]Bu4sdlcq4ɻ p|nH PUZFXtO7 r`6]rQ${*ӘlOx@x3p ]#-+k%8 9ҿAp,L?*ժz"*YǹzY׼Ed#[@L~DG9-<@?`ips7/W^9/UB~/㾴|FLNKv`'6n;EDn@nS*1 YDUP">|LKO|IYzT"R0}Et2^RпҫM$L( 9AQem#-Zbqilxy$G[z~ P 2(;8vksh>0;s\N_9?4Lf eXqsL# aK4|+X[}+٠+@M?;#\CDCo._y*Z.-miZ[̷PcqGG 鼗QRjE9)^8QF1tk=ll[xOZi[ͷԛKIwEl̳6,|ơBz8y\=I4&τf=Jg^D< Cŧ~IX8}ztD6: 0U|2Gp>)OLr`_aj?"Y+V2Qœ¼`ۂwSN_Z3Io3@/^"c;08،={[v$>$#!J `i|@DHSɷȆȶm!S|Hyϗq+ 2gฦnzN0jdD &>~dǝ#*؆poH#ْәYOB {״$̔Fe;O8xBSTQӍpF*|/y_gyC2]F] 'L}?DPq04zTk6׾xym͏b??feZڈ}'ֿnVkI3Wl9"r2gk=/kw~BBʨq{Pu-"LrK9 ꕉj$WH8|I:^V0ə lKDHHoYBjivG:%В$>9< 6h w +]b^ 㪄v!eC(=|&EjY J*D_;S/s7Q1p4v#^K.o b ċl? ƅZ0P/lR&@wD>CQ_ Pƾkt3xJq+5 Rq[[B3GfǕk m'2Foof8İ*]A;>}e/yaC *˸;z_PɒW%,gѣWT H$3mxnoWGIX} őʅ;s.)cM IAmF^XA:]S9z;c 0t@ ͕2:YE*?1( w Z{p唖i-'q ok[[I( d'ҵ,оL +DŽ:4iSq swϩ+yUgh1$1E>2oɣTQzٱ y 1X+P^#)2Q2įIa{:x6[0'ː7r%e-[<\Y?j]㸴䎗*Ĭ a$& p1eejOGZ'WGs*[عiZt3SL؀ۑc,?*#Iz\mPSC=HrJ :*T_9/__vdHqKRpzzSyHxKF,2Le9S$kB"EADRZ}w7xfصTO\UyNIk-aC8TP 97g}Q7#mwHy`NMj6Vt&Oa 9Y>Y Ω2*E} d;_ltfeXY(I(UlP/5Lؖ z^js`~|}]Z1*Y=novqK8M(חV^ >K&ˁh;*/*7.'*;YU IA~~-eWN r\<ʰBIKQ 8ն21b2OTk!7 (U:!Ou%Z}O\KUwA0JfIu|0]1+GhRi<^.:x ]w-ٞx'DDхszJRno6kg렃,AGU_ftZ-kjhM^fZ||`B .*[9-U' @kIf`>"#Ip&6{t2-[3A>+0C"feϺd];-~Ebܹ䂀zݬUvLI,P%z3:,چY&nZM4~_X94tN'VFϰݕs4s;׍;o|=UA8&fXaz@OtQUeFIUrHG̶&~a3vάA 놲W>.M״m,b4j3}čs^\s;{e@ahsvwe'rbm~Y ߂mvco=S@U%KǑނ9F2do7 +Oc 4M?vX!; TeheH{pf-JIب "ۿ굨_<(F3\(@4E9#q:wXт[D#Y)gOF/;%{<n#u(z̴C-7m:g㡊7 o 0XW[$va6a4Z"B Ln-qb ouUE`~\_(趜lofGeA9jnUP#ƺmfhI#H-:Ά83lnrh'Voղ6P:L֤?i ǪyIQ*3#gY&. (Po#ʩV`tҍK.3 _X{mbo ct*38o(b&[1ׅ j c\* s^NZꐍz%1-N>?❨}[y)C5tMH,(>VXWhʬpi;yw/[ ],}@2s=B§ G/e]Ý*DNL02w* s+ʊ6yWCɔG" atmGW{ufaτF#x.I*6xJ[ٻ%I|F"Hv! }½`Gd]׷ Yk31 }{ = K(]0AFV ZNC3QR{@^u(%Si|J !N1Rq)o qǗ8)`X3P6"m h&]xOlKjE.6 .ӽԳ-/ɷF_L%0@m=0+q -R::L }霉VJ:@ru_I)wv܊ -sCyE]YB](]hjs*Jb]@mQ'BFˠld[\Jh cL586׭z |_| ۟TӐ*w!Y)~4T^"Z3d8% xs&Zܴd/$fdll$Z jM'{_B(mpc)>fo58Zjʒ&s;]v )<$Q7p' ;Cq2<2 `k4yNawX$+`;"Эhdw/<~Y᯼rTDs-0E~m<+%EKSD*dܼtx&ONީ$;X>|w {zSd icWU}Xί8wpWխzG3#v([@_6_R[**&>=΋ͳ7<<7:Δ|D|[1xx@FPSH1Uj=˸[ra$NpjAXirFxp| AB#= iQKNQVbXϹJh͂"[",,YBЏ~9; Nv)Ob堨Dt`djg);iSҾWSÀ.)tvrdt+OZэ4h1Ά[%)7Ml!jnuSHs\R)k-Z%|$+/gV()kq*ĞHwJ*AAeX)"\":#k{&DHV;qI<>i}6nؓ[}! N g7jC +f$ĞDw -݂덦e͞ > <&s7V? ŸMiP ݶIlJkXxr O~]#R_:X~<η}!/Q *gkc_w}?:?'eճ* Z`BDJko ;u:< wׄ6ߍLO$ hLzHq~xPwKsypx]cyg 2(yuTa#x,3v铽,Oڜ*cЧ9y 참 Td'sVG_%[&/#ܡ+Pz! P=[ʚX=`Zjm P q^Z ,SoKszX@yCϪ=Æ% 9=~;3c}:9ZJjd2!youh(Qsf Y~^DdX א^qܜ'GlO6G*L`ȲBHpCN -nC6BP4I4b>쀪sq܌J(9ئjCnAm vcE {UCr(/Oco[! pN矹-z%2j]'Iw6BK6prB#X H` ]UE.&yr1WJ$lP; hfsL5ONn^;〸"J=骨G.<4&o}ȋn" ő e#q(,i2p4 ?@E F>ڙ8{Je]" 78jGd=di02)xASM/:S }H5Aj3%#2G[\mP(Oag. 2wտE (!c+h' hmGq`gs7]NΡцu|_l@֒] zTg?'_4A0DMe ʘxSlYӰ.`xu8dgL(Hg FݲT.Fli8U"w<)cT[HgB?Z{$HM o) 1}_Dq_6eP~Qő;[H-F6"<@ #yRҭ/Zx3E: BWP%vܩ̫b$,K;16#wJRvƴ=0⇃q<?қOиQB3{Y>5BTYO 5CZ1k*KT图3uXG>Kv14PCN)֚iY"Hl<@b+PsUGԁBmE:5M 5[+mL@" U?k| cFG7F1>YΝ(Vz; 8_^#YHCWwS{Ǩc˕ .Qgbu%9|զ=&6]ן*n([sC߬bYh>^rBB]ՇVxwLa$C9l؟C_6}>Kt/bdxUA7n{f~\o'*rbU  SohសWt⩐PjE*(Cia|$e9}&ZX޷ȳ֡L `5㼩P`c0٬dB46{Q/.L0d`\=j 8bC D#\Jt`i@V+}R+zSnZ-E ۧ>7ӵo nA Q6TwϿ"E? So4 M;rֆ M!Lc+!QncCxYV&1UI@x+jF*2lg*˻˷2-rsR{w(WO$8gX#%ef 9Oo>aA)^L槃qKt؀]DInܠƪⲋߙCǻ^._T!ͤ][(^fB0 Wxw0E.)|@DFOcSR\`@>6C:paEhbspBЗCFĘ)X=D2ğx_m̱zVj*~ :h؟CBά]V?sOB ?XPS Tp"EkV|$Wvf'(6?LzdfXLnɾ~u[1%pC5y"2FL/?Vs=LǪT@WLߓp]j-^)\ ﵵtO+{Bz- 0UٽL7sO2V6@a&YcUf̀ =bٞd*hZ>2 }{΂ [H8kƤN}Z-g<I\H!Z2"A&0aah29V3,Dp:  81ͭ~93O?8Z]xd% 22a"5um,J?N Pw V ?y1ՄOF/(3Bd$ɟlgh[ cm]Si[<ѱ 8r;e/A _7Ǭv@VoGSR[ 10. ?IH~\H\#?^ N8r`LЛ@|9=ð2tV,[i^n; lOTmj@r6ʽ˼}kB]6&zrXd\pH1.N38KŨ=]}ޓ(w+6y SS\VPG=mKO& ֢Dd.vSʸ [-_4+?;gńo*e6}4`QPdu:U8؎NnXe˧^n5Bac~1*ْ{ǫ~PG ҃X3[ sM8W9z+AK :bxhuvkZv=xE8Y \ w[J=c CЕgxMZ% 6>3,rc}߃"}wMf'1*UO1AVzj zXgnK2`&OGW ¦M@(+"wLjd=gq?:^Ag']LQ]`i]n:i,e>2Z.Q9%:IJ5Nbm]N3μ}o0]ܤo^h}҇ɩЕ0A90Jgnc8کzPnA iPߝe=ұe1fp\qt<#bxNrh˽:AgOݛVoT=53.hnݽKHDIM\W$J5u7lb-U81 &?B-}$%PL1^`QmB&3y:sk_\\Um,Qn2fecK YG 9yk.ުP\e.DGi"lNLR^, -gXI؋>߄%2FqÀSwlqTbZ"FWA4Lrqmd1̫Yl0Q*XK+Pr0?VBj}2>n6v|~So{q;8JɻaIga:k "h͡lߦa4pSVгPtB"Qun ;[CC R%2# .|I"'ŕ[mߥjf}AӹK:u\s7b;puH!Lw-'P PBNZa?jX!{GΌ1j}Ipc;=^~vMβo{ȋ)" 2'goNw:r|TOc>\A|ށh#Zf}\$X -d&no9>:&hДrt"ϼU\z lrRi'h]W6NsЋ9?ƠS$=t!*?*Tխyݰ9\[Abe ͡=r 'f}[-bE0k*"7Pt#tru=)֨LJwcZo) w.1Cx[>ZW{f):FxHvSg:;EfL݆<,/2D r~٦9>I׮f-NڐGKp̻;[Woi%K|L;+9@g!LI$w70ݥoiBUSG"G;h$EsC -z5.owc|%w$\ٜh] ?%h}' >QC8ڪx}Dqdz d̳{d}@s,Ų%'ד U+s\Ue[#zFg X˽zct |ީ0BbyYȓS<*(A`.H܌I }j>hla N*wZޮk4(`nJK\ܼH$mW6 '잾;lxUݒfbb^۩-Fc&w"ޱ YNOuL2봾V"#RuZLdB6[D1k{ fč6Ђ]ֹzo>"-&p$|)gp yD|) iw7Cn"5B%K6v_O6I&0>cLGj*isHI8JcbD<ҫ0ʫ8r"nYD /;#4#2S'K r(y?]!$m Ű YRoJ-l_!tKAs{s? h);Xا $[=R$>wܭn44X|{RFTp6ݩuǬ |W#-p ՙ$=8"<?jgC66\*֙ EYv>9^%6H8{:cEghQ*ao `!+% Th i}+y0(U{?9S qoCؑ_㝺 %ƥ6/ӹ"_?\x="i@ʃٓfl9MN޶z{$;ktGa~=w\Bw 5BYIN -7؛Ԗ:!!P m;0N &fU4 cAiQ]ƨ!Fqi~X沶&eGM]N'=_}S uٹTbcwCӯΖ66-O?>7{"mY~aC(ۮ?욆urgyr¦f&Dz_7Z %Ӡa]Wzz- z]E=ނ(+ԇazwH A(K I=sra jh{