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 (((#t$t ]%]UTP-Toolkit:threads=4elapsed=25.192cpu=92.044gc=2.5727zXZִF! 8]ŗXiɟH)0%oӔ@e~ߨF(Xg!Zy8gvTy/aJo*QIlMU?kYvG یb~J>pT}Xp2%oñdAxFqMָeF[D Ap3=O<8|+c "-|/Pom \zV3\ށ~DӿQJn R$kS9d?.'InVhr&\"eP!Ip9ȣܰ8vxkk̝MK[lˁ\~/vJ+_-ADcp;Nڐ:GV&:,޾&Ϸ~'P^ uBN !"z'9JAA$7Y,}c$`o1p";oҼ0C+4 МG' Xs~3^P!I%A NqoQ\ mַk+G n+/[(&8#`#µOq?T$ aj߭Gi&YKs8MqѹړNA `.Ie(@0- PLܔg)aZLXёͽ!nSmt} 4):>b5Z.yGz`2d+:G:o̫dBAp 9ʸc :L<ڊ % ,LS-b `g7u2%c7dR~#];eq3 T> ]}GMH14x{E,m=LS"X'{9K;}S]c!wL3"`d[[,.Qi~X˓ Q<잧2@DD*KuH{qg( 0=6_EGA 5I}Ju;}f0ZGY绩piyD˾3CnP񩔁& ߩjY̰`C^Pe9CJ:hRcʞwTJ5C|#7\W:Guu0ڕe<|s' FYHe=}Ɉ"'ʼnA7( ~~rdL6q?C4Jӿw$| xNuMBqq%-C`NJF@ ˧"l%#˽ fLq)Cz)UݫMW VƷon~J2Te0!|PAq '=e]djk#ļGaRk^:q.%oն/Ρ_7º+NN2+_"^ 43ӘK`N.$çM`Ņ#0:Д::DTʁ! Sx-m}vU&fd&Oҁ >Q)pd!Et5+*\X&Pd=ZWr5x8K]:_؂ⷅ'DW"#<oH^$v,}?/o+fK"W#]P1>b :X{ԣJ=J[ܷD08eh3֑$yŨ\(0Wπ ;M`ύLX %iWyfh \{ֽa:G~$.; ؜w/M:+\P/? %["I JPVGċ+>~M2׹*C8iPJVU@v~q"M^37jHRuSIթl.o;g߿ ֯;c9GOJZIq_Xn ]h&}_;$uʊhmp it}mulbrBFe\)e7H$myBr?*֥bm.]4M+|3;:`L ҋgT,h层{ޜLFM#6P|S3fQI+IwH/ wBE2W9:SEWҜ^g6,V͸<9>V:ZmIƂbv0h>b:)8m  p9GѶԻJM3l@8F2unkü; nR$e2,G1C${V_?BNcU(L nxc١:?:eyZ;E^ aA # UTP-Toolkit  S^ı2Ǻ2x 9ĭhwHٳlF9+<8}ʶ|V:,ws4SNBBI[zۦǠ CC թJ pb6Ƞ;X5&~$AKn蟩0?":BhmXXZ!Jv:!U [ʥ?br:$_Ho?}"z/:iH}&tȏj&Q d0lj@j]]uқ-=cAquCìC`쨶VCU]V`fȷؼtO 'з_-ttvȌŁf=.bY6h3nuN?A6?Wo PFr.lVPg&D @hm ;g~u-KcI8'LW95! L )_?jo*6swRNa)m! )tVafG,Z1,A5<ңBj?})^c%ٹ+o6MP՚@]&Ê7W]6fVl1ͫQ51XRgkRg&hH*EG')/+]-Z`YDm'c 9A{X&*i,,^9sMlMX) `aH~ePHiQ"7ow~2JY bHBз0td/,B>w:[1v\-|Bg:Ta#>Kx+JPpu/QAj7{v+/wBqw:W_¯^}նꄟ8糒zORɂBsTZMnK_YZxv5T$A6|P}0fb eXH 6ج"B¶.g MFFI.V)bSAvm~^a. O? 0an+8:p.ܚV$.x*2ĵSyF6Xn$,w/t;uz{`;~S$EşF: B)L hUuRP 5>64'T3ᓿ@uTC:Lpu'Ά=H.n0$^>s-,X9$% W@GokVQ0d30S5YIią8~w5\MΨ]ocW6ib@\^yt)ҦMϼg: |FeϠ"t&>x4k4m)w*pOznZMr/a#尻by|yz1CkWOU^T$4@ұ bv=k3\w,9oȏ2{.cBzSUPQ7]^> Ga nH״bTVn[B[S 1zXCޭ3Ihjm|QTF݆A) .K4 /ǂ. fg/2~m.QJR/S @ȱN!-~>bmkNɇ(xZZlmN7+Ǒ t)BfI%wELDőI[&ja>B<=ĜH|gi$-os>03`gqmyrIF:jX.)KutPO'j%XA[碜[ɚ|iQz[~uoܖl+GNN<yoof0 ]gzҚS3XHQ4-,u"A6z$;dPTSVa[W_V=g$UOE׎\R] Ũ2s1]Y 84Lm&F,Czb%oiSgT)iUm6; W@Z3G[$\V8J<|i4 Ua6ԤYO}M b=+%yc./+b,ݻ/$&n TMm$QO{ u^8MN!|(ijwL*(>PUǖC!ϻR^Q$ilxTXa_(8r@]sB7&u-C"!We% r'Z$>Ӛ#WxXV˳܆mDyuh%n7vM#_̆,U:>ꥋ~VWN==J#{'`1[micQVY+Bǿ}!>.- ʾđsD6R Wn%GqBe,{縢ѥN:7c{LXcRE&G.UYa>+wթDqSa,꺁iRiE| ]ni~_Zm/0r\MUkt?-!HC@ש/N\$? I;Q+1\U[ }J1qrsc+r iOhɐb>D ]]21҈!%>D֛84 54Z ݩMI9|io !.I@G:lEݤ[_]|EI:XnsɦQ1TU耒+,.{3-ovlh/AW(@VD>ž*|6E̗7B.=UiˑﱩGN@(MdS!%[>ǦؐJM"9d?@>ʕeMqP;"ᶍ Paw$wV3BsHKvw Pϊ kJjW917]p{KCė `'ׇ4j#07 B?KF?(JxN+-<-]blYhsJ/3kKگ' }\GmW4:٢yl5 L3@⎿;<"_85`V!F]Jb*d< GG霰"Ԍ7D,/Gr ʨ*-y%đ7BF Eo d l 1yƧ{-yDufC"Yeqg֊e^^!ww$EZ(uÉSG*3M@T\DIa '/w`mj1?vsx1* $iā.[Brܮ t1B0+#n( 'MMZn-2+:._ C( c,JxxCFzeT90}n *rHu[! 3ZL({.Ϥi ׫YH 8M04G@kVmV˫pضh95:Vg ).9h7{3Sܹh\}:+xYV\,@; #8pɜқ T-$l~`}Vlu<氆`F,VJO,ؓQls#0)g83{_|gWpM$z mHLd g8ntJ' ' i Dpϟ_qql?p* 9`R@ڋ_?#1Lm9CDk/ +c吜8+.YQgp?H;ń]?NbTY>BS a[sh޴.䍪kN=@ &(cC(=F\'"ޟo>Ol̡yʽ8DP=ςc\ YF ٳCj &ca5Y;֭q `k],).z١Z)R̉~3>$j N6Jr54~VPmCbJYAs2#r -^W$f|u J3ygV&Gb) A:xv >>A#AQL)q.Ax%* H] ,~f1^w ^#yZ_dB*񳴥µVǎU-B_d0,ɐi&!Tƭ$O^ 0[{~!fI^=cڳzy?ba*(Qp8rCQ>+S}fuJdgOG &\)l3iNGЮxJZYRk0unAAkXFs{T߯e lKsUq_-Ir=<ß0/E[3w-`tᴟR{݉O{];G~4~HrՃj[ )* 6-Ԩ[Hޗ{_,?q]j9厮6ToN_˞U4"e__Cj>FP l 5s.n /EѹGN֤yO, \fUKhLHVLpRCƬM3+A04¿\l%RERZ-@.jèѴD +OqB6^"Sae9]VV<{-Tf #^y߽Vd X8D`zC7lq@[;H+yKAiz̎mv_ec7-c̄wW/:Uҭ;?k܅XLοDz_;y-z.11^>&%l$)Y$mOghvdlI(NeC2&pHx&]G rx,'0BvvЂ[zÚJC+T: EShĖU]h5+8' seoPvX_|nRYHs9ReƐFM#r&kNK\kyʐR Jkv\M& 9$i 0^Njs׬ Q.T$4)C落ye=dQ;Cڹ\:wrOQN%<}FYbHD)~i!'%ˬTm6Bג:ZKMDz:g(5; /jU[m+d 9sĺn+D]&Zj@+<ůvŔg& A.x`ڕ!PGpLl1ihu)›Q_-'l`g&ϼ;6BDvթP)I'sN{WAZR3UH )Џ{XUrV xQXyf @%f[PR~>lBqo?;aIOW ABJV=;Az@ߘݯybu2]?ThSUz(#뽧q|o:u߀3| G|BE\{EKfDh>TjhzYŸa?tkŘ}s4kñZ;Uw kTX,)U$792YJ֟eS`=FpNDƮl9~VY} yMdxm{xSr#JT5sljQܥ=T$AgTcꣶVH\)iwXgC-W /A|CXj,W !5}> *w(=E.5Ԕ6CJf̗9X~١jF g,^{@IPW@eWULK7/9SQ .\5"{U(xIKEV3' Ӡ)GER*ϬFž3jOn'Q3e8z*Z7(CcybzO@C,k.b F,޺{Z..IPE@5HUo5 E9hGu˸HE?/p=zz܇aUaN['m "u)+n'tHiDt%\Zsm */%mVOg YW'vt$|y[B&%zG8"zA@ctxWLuwq 븅{V99uϿPt  %FrO]p\zEI'u1@} Yfs㊵?r *52ɵޡ$yaT_>|D8D~Cj-PxtǗI@ sv m&T[s|]˯-0 )pՋFz2DD^tReȩtO-o%.M0 = 0^jY<5VR7"b{Ug|Z2HSVF ΂ܫ~5hͬ{ 7pP">=~ȋߏizA\%29:jJ$'ڱiϓIY/;,_ՠ 0Q5H5> ȓB2d0o,M*F4(ַ| o>JvXWjrHtF*紷m~@Sb3 wC!먿9 þGYʓ= |`|`?"QszY E &tXŎYV0=2"ʡ bvzdZ? cѕy"7 cʷ)q"ռN\  @ &R}QE%Eg{Yxoȝ&n=JbӬt]=⥈Սh.pkpM;||ᆭM u%}M?fA 2k<2ŎZ${0nZ^=?.wvvǂryJPۡhrc@A-P\c_\G@݃UoXjR:95\8AnH[,N#&<ԤmPgJܛߥX`"|j=7*v4$uω9T8%5(@7+J軝z k S=ڙ͟ h!)ejc͝ɄouJM,p|[.ꄾrmb)3"5 nȈ4^*4 Dm2\O]KhYzXy5j[R] b8cP˰Ϗm*s5E~̰&T<`sA\Թujb+ujMLX=0Ο[UtPhP#74?a阧pzLPo67ͼ~za1v#z=MTrϵ#4c=zG%{.(T|a&e]LVQ;iq]K2Q^cM O mZ1>㴿4 "qqpUU`=ghRӛwݷz? W%$:V0S-A&[>_.:Q"$ Ϯ A Cqgϝm ,Cxʏwf:ȜUNQ'ƴ\Jq֘PB*T/.|x}ۆ1 @f:c`EN ?l>U&fn]L(N*">ƌTq0R(nF*OI=s$!Dٕkv?@"R|q0Ks2! ѓ& l%/YPZ$9҇݈[BE .#5k|7`$>'fRbٵ?TVu}-m6F' nv>uT#[P@{KM:y<ENPV_/,!_Tx _<#F"?w_e @kB'ئ5h ,gC0v y_"(rA1(\Dua)9F+q=p316[}~V+'[O`ebSނѽU6$"⩅$A_$`dSfH1hr6OƋh:LZcis-dVM(wv|{ v 7+JĦ(rDY?^DqE +w ዐkXsoR]Gixi?'}.pFL&eܸf{vsۿDΘQ2!2Hfٿ wZV$R+m2sA1=+ 2/ڿgٌYXDW,Fը,j k. d+ًMݢسaa+n/qt.*$U6eܶneUα?(P4[ҌFGҀL↕du }F_}T'i RPDcɀ..l2i2Fv(fQl3*PX 8%.XTI?3kd0*NtY'5aN,^w l"SMU * {{ {3Kz moʚndՊ |[l Hl hɈ`  5(w*5v$ĴO|fY@t*- B52"~+Ń@f6>Q]p*WHmljYhMXta7 :Yavuzlh.dU=^.F9ГOƶ6at0\{B!|%UIZ,aaX>&ճٟcRfYhX p_[jX]YʫރB 7{{jJ^bkN2Ĝ@*&/Kz&Rn(։5Vpg\Uf0 }K M XA#\=hED yيr7MQ,D\6TY^dEվJt<6n8V:V?sg{̎~8 u~2u&]? 1c`Cpwn\t0'IS%]ZW'TeOm6C!+&{s Jj_/{ h(=}"*7b7By?;k ?oi?5@`$9͚05(Qr(n m%}\(_01db!r idz n z;7{ʲ1q!7)pOH@?,Plؘ:&L[dfOԏG&K,"R1FsљA2Ŗ|88Vv~nbk5n*Y+O>vj ?S%C: @}Ӥ DXU;40[PO.鹸H\pĒo2f~-\ 1no! 8%\oM:ÁXױ'H|q=FNHC:jhK+gʦo a(I!Hq"W ,\7ɐ=mg':t7 scد1$tE.ݳeE$l ?g(Ѭ!nAŴwdXx͛!wJ 3 ohw.]J*6rO01WG 6=Q=٭ L&nX7moHldawAWzFrQ9~ _dN|[QX5d Nۏ@ƻ[_=i` znQ-P%|4C(fQ֍K%f`=c8կ4܄DбT S O KWZ~d0X-ç$mSyE"'M֎?}|0CA 4x\ pGYZ{Ns>y0Mu) ΐՎ *z).m7W!=W 9*?z'ȡ[{qh G nB'!45dndBYU@FK$bY\]f! 0GQTfR3Ӷ K p#pű/Ҿ,6H5h[Z˵RWāwn"XmOzi<U ~GɡnlvRԺ] @]Z_SqU/L+|vElůpC+8L}P o$.]aj Tunf= 8OFR0 k?=?ŐܧVPK[@r1DD$oY@  b[OaV .Ftg&% wF~Uwm Ag!?b^ћK:$x$I#j{32sm".tpCǮf :aG@X`sEPrտL;)DPPTP4{".aM>̪9 E z+iz]>AWf G~4?l'Su~/j %U''W-dNUr _ rroaJ{4,l \c zf]=YCRf7)G{\_=VevdeœL4mOqRX̎׽;l#RoepajJGRnZ5cyjX1ymMjH:R趂Oh:;wW {],2pZky:<,K6ǸA %#/T|QfIs5Zao3~@S+*e|Ve+-F/-8O=بq(JEFw`I/m:fh,d0*kncʍ1C 24 / @Zb\i ūB%,_yM}(@-n9^ׅa d ];XTFn EJ>I{>m+x;j'͵R$$M=*"xj2^r_BO ; iaFpo;!DGw,I5g#I]!/O'ήG\XM2/8 şXKYbBq7S/T[e66Xyt[aA|n h dmjFAxݟ ۮV CqzhCnhPUR眒˖5 S`ǹۥ|M2o|vqMI+xoW2GfaMr~ʨ#Z,C\4Q1.|[oq R7cB验qD3bj9 9x a(R/@bϋڜ'OTP1w $RY*;ףMrᓘ0҃|(5XెaJ_zSpς=)R<*3Ř/$ͣU?o9Q4 \T k ȶ^tFƐoER da0W'4,l „5,a~9ϑ|0qȭ J󗦍_;uR 9O{MӿD5i`_01YK\4sbŻ0ճ7 Y@H*g1,2,њ#_/@UBqgY=J_Nq=gd/5ޫyAh2*%ӁO r{s%K?HR'=P4v2q HO ~ɭ7DʄU$?en,*%d溂ycQ5hM_Nk  lAҔJbs@r)ߧd;ޛobzאb!Ep8O=9%@0Rǚ O <)D6R7A.lHВޔ~Ir;Yʂƻx.C<ȆJ+EZ%PačѶ&?'~p3&^VG(:|;P)ΩݛO!x]SͪX 00,Ѝ+:ܭʋ*f~׻k2F}O3c YNsu\3p;V9)qT!uv"\T:IYe?Ω6Þ{`tV= e~EΊã3_ւ50pWɡS&|y.ݞF>5C0cȹVZ0*d&֭+3 I\0av$)Jț"]9pxNɩens'p_ƽT\ Zw3q1CĊxCwCJ-ԉt G,KVͅ31DB>\Ǫ<O'T5qP|PV5Nc`/7ǫoШ.øZ޲aʈ)Jw/Tg= f| >mQo;vY>G W*~jG Uh I㤣c*,͘Qi%"rZ2%>66|\HlofE|Jع̘\k}<Ƨ5>[8j[0N0 pByrzt TEɱNsJZƦ~ogWoLO\Jd`$J n'vTjW" p|Kl{s1Y>qYvw_9by=hRcƮysW&  nPv32S&]Pb0l[vȢZz׀(äz UWI==' Տn_DokpuQ3{1p'qlw}˩P&lk ;u$5g`"C5U߂?ӵsoxS>Fj /G)cOh4 leYo*++#yʄzB?N}o` \DБ3*B3]C3qw`AaQV΢/E<ń KQ'YڊƉ iD}8}2x˺;U[1P-s>+8&xYOcB")#>ֱ&^ZŎsdIki J)hxss mQaEoi>9;g ' b( ص3͂n%끈!5m꧔0SB#iH@Ŝ@\TEY$]c^Rī,FF@NNeJDDi^x~xH1ʚL@_͟a8TF39YvBܰ!:ba&\݅~LrRh}aOTL!ybW+ߠ"Yav&$mdZ+uOu [f<["J%8?q5. ?ֈwSE?} Ʊ[aK谵w-@1FeZnZ0](J})!hBC$ lz͈Qkoy1 ץep02ۉ)>dCjeѪ*^J?J%_ZG[W'zZUڡP`aHrF6 u 'atqewh^Y̳K> !됽$-_j[L2V W5&kEEV0x?0j[CV 'e!!'(I?᩾CJ-ZOL'Bv!n9smW8% Vy|Ybm%q NYexV3HkP/ꞛM$1ĞCƹ#;bA~mIRR|O &Ô"];#kF^jBE7 Pgw&56%* 4c[2 /?^6n WnFO "}A_qciӫk_i4=KbY%Iϛ Wa6Npײ kq"Y]>Kq-fRUM"u ?e&sX ҇4T~[\~;ĕ2NN;mrtR e%Ft-{Zqᐒ ) ;ZOCT仲5g W3Ev` ] [mʴ bY~K{[#m@ & ӫ"Z=+^a(Iu'?؀zHWX\F}Je-Wc>}+Ku{_ g~^}xG /Jegiğ3'5%%sF_TkoXC*t1 q2]9RR.6*s? y :B_* ^ZC{rhLsmP y 0ڱOtzDo%`6z/ {sy$ء9sRn'2^p]nG}濓f1^,&w7Mlq0Mwʞ{:ŷ s(q1c ,j)91FR`` D"l\?~lc yN <塠~ʦ J=MxuN$o&7,umIa-RkB3uEnɪtID5.5CZ߱Pi$zuRMW1]^=hܦ4u;ij__1O{ۑZSZ/ *k.< w$o]a],tZ1e뉭*w` /iYokL*7N K"m"R8# d1 q`'x{`IBlW66[3&,x;O-hdesIUqGhl*k( mɾ5qu'CXKN4{&&YpQ/~E\B'.ܺ"qM R [0Afp~TVȺ$z(u~XVI l3ޡeM$3*W6ijۍ^rtT>hf4>2P?\YxXBbbG i8b*Xcc @xZR(-$P)־'43yS2Cj5 _֨Z=eo_mePPf$jF:V)+~k+Kjl7XBM+ha C,(])5O u5$D~{8=Vg3qbd!Ґ9{ RH9jk$(H6q *So~ ,(ڹA1N^ 'y*bd*ک|jV4}Kb;IgW>(bE@E{;tRnfw^Gy=s&S}+e3nêyEd))HYpLG_NS e9Dԇr쬜@~,hrqS{RYT(VD!qB8A(7C7aL[+D 5}}v!?4f7~x3ZBRp)k@ D^R cW8zM' >qXg@rhзd3!iihE_:)^%cTYMUv(Ӌ=;4kFaagYd31Mcd91ήȀNtk} ^?mvm mlHi-jY7FSeSQH-W7CeicܘN~r?=[9H!)[ MSw@U)aT }8EV+i8Ң2Gx%bLw:NC9gxA }:C ˌ,W=4!$ks~-՟oSc3*R*TYifs"byʛ7Z5ni{$cX+ gz5x (N,ʊWaD,Arn{=B|ؽ>~}yI 6+;J{}P%s@Ӗ1@ ]&n$ tu\a}A pqLBKr-(P*N Igq@,~HE+ O\.7! mGMw-eo 64Es4ΏĆ#L6CW82 d5Y͓vdß,W(RXzv,/Nq(;U 1z\(l*o-;8*I1}8y*_4uҞ8z?Y?X~;,y,5[˵f[2{xg_Gaf8&坜9z?78i l/ uZdL&b9k+8݁PwZlȝ\laaz%w zWD'3`g,Í7IGj}f:G$W6'6&aׯz{/(}=hK`1SC{31άcMW?li?e]t(((66'1 Xm4|27eHűe8/{ >sp)ov3Pnȭ^>{c˱ ]C9hf{ s R[]I`ѵr/>-C UyFΰGxd{<j?RdFY#HkͰ/£\S!\a+yX&JNOŐr?4fU۷qf~z5_=%CS@e xm@ɏjDڻ,z F[btz@ I27c Jϛ ~nW ]'U?\rC V=:AY3Eϖ,XZo{߄;0 tlަQمt=RM6?- Ӳ;6 a@P Z]룙q?] .@W)zSB`ǛDhQ53Sݙj?&sEH264">pќ` '81BîeP$F^E/jJ 7:wiF׿hަbs${v=܅@pm=H+HYw H_IM0o8sV-Z@Ic(DƆ .@E_xyH1Nh:5#@]s8.8~~ߠCuő VO!v" .ߙr;X.o1)ER37ehU'ZRr>&t(zo;-tRL,4*;Vf&u|0. ?oaٍS&G9d_WLV콒NIK&,s"*8eD)_^0-AOW4ut4${U6Zե<.y4$\w2BXtsya%gZ:#&F ixçmql)W.(y ԀL~ryWpjLmX RFC5i'5е'h)ee.:jLƺ֑r7&@JvCI:[on7E>k`PkR^|UMa~8 yNsե+Q\ñloI" ,PRk7c<EĩcZg7IT_O]pP s҆ .S9uiBKiCD"}Iwiνл2a8cd4o}22V~> ˷ ;Jhĕ iAUԖ}Ï36{ύYJ)=k@y?]tu̡bBado]HXfQʾggS >b.~\QJiG`P(n%ܲ>XxN4Y[I.䑂pS[L@ q/C՜8GoTW$%h M4z a(L"On.k]A ڞ_A3spWXkW 9\HR=BC>h7g(a<`S!-g#XA$zB^2Eԥ{5Mǫ}l9-SPdkhz 6{\[PY7zps!ٔa%n#U ~=+>b-ȧ |7U]#Y.12==o thE|FÔU[m'# ScSM)Y*Բ_p#ީ]L)PzF~.M]1&x`7Jc$FqJLӶEI!v>L~&Y'ޢlWiU'EOMrɁᝦcڝXY3s Hm u b&ͰTZ AF"d|H:-81 m]B^.EF+z"ܶE9Tn "0sN` hw%VT$ўA&$>RVpد,۳=VȂs,ozʱ e]ER/pLTf]5r NlDv0!/fp"ih\{z bp<owBf^7N9~f B1}oט}" T{jZZKɢ>)*lg6bTBEi)3*. 4v]E0|t`؅ɤȽksk0A(LO%"qoUN$YJ^(hň.s;ll&v,4Z'zJ>Lj3t!a7?p?܄B55)@ʡ.Dk=D,m.=CRϦP@Cޑn +JL"q $j{ѦQC;i"yRzBD*gw,zҳMJ3`{ `'< *HkїPW4,\,=o,K^l$8F-¹ 1Uf8=F58Tv`k_6\=wfnj$UagD_0 ߇-"=} Gm0R6. l p"O(d9O$1ObX:@O!#`jDd5-1 %!2 .aN,sh~fHf[E>Xl:ćd&5CZp Ȼ&?`vc\a۰FD9dp: )C۾$=]"6{3<^OQfS_%|20n wN_j3ZIOMC˞,pW"^mJ/"GFIpVlAfȜñֽc4C?^Zq)':C!ʉAcck4{|XhKζ%1 e:SHyymlZOu$2P&y V_/QۏPZأ bZa(Rٵ8xK@Gye^lnÏ>#p&(Ӈٜk4`^Dp̺wJ_fޭZ}g'r:J@~[i[:kS~6wX3ی2)^yPF JgːD3Iwh] m߄M8NHG{5uXMy3&9w}^dT>rE:Y# _V>T6JVLH6m|Nnڍ:^Zؓk䪗ndFHtճ1HweTœ(~./ Ր<>+:vc`d]|^X6\6og$+?W؋;0nk S ptX \YNfM;6oz>/dW3CEu*[#4&t'["tFzضW0rW[^`ĖX!߱k,4@ig4Vߜ+cD " +sϬ  8P\d*b\&E?-ʹ}Dٴ!?!N/;u]MM7 b\\P#5N<79f[pHf 4f"&$\1L{yz69ָtoբrM?Od+]%/dx=ޡ2VO=A/tkx=`+#nHّ~i6aKTQQVd^*J}(:,:uxr]?CS˶jۓ}bɉapB3ogB7!`3(Bŏ%b32P>z@MX&uG:,u>ĚP rPV<(p4)-YaOVwԛF6SDܖY^&z_R;-( )W Ȫ"I2[U)3I l>;w֣X43pt( )CT~hgB  g1:.00ǓfSųW dP glQAT2J37$ҿ  zcĈ-)5MjؑEliTĝNTuk:_1:2TŵvMosx_Lޜ0- e.ؒ6 F_cpV~Pen r}Q @]YmׇRĝKŹ >w2h/Umjd(j|"E cL@1}Գ/8F=]Mx̉L)h}@k8qCD9Ii⿑PF[RbN*8si v%wx\DBz@6`JϖL(LT"N`e#_^grɛN D!?PǾ%  '2ߘ36R6ؘ"^^b'؅Sć?c#3hKҜb2hm?$ixX2t $tZPnzi:O1aHo}zzm޽[(cWŨr(=٦hQgUPMPuYDMJ %uH tMO*Q|Էwׯa*I,(4\ 3gz煸+ ᑤUtyVo?.C6D8#wfUBolb'UuRo** r!"tw/"FC#7/ko.;Se9l+QZi?PИSA$CQkޣgKNYhФA~NV[w%~H 520JaI\_D Bffx]3ÌbI@ztlyist G4bt L(O kYT#{ۻ]Ms'U\;f!J}(܎VГ߭f! }#l)#D6/fؐ7 ;^ؠ}xL!=iuk[w;ċ#eK0&<;ZФm un AX!@bè0&0wZJČ"PnׄI=>/0^a-j렫w3/?d:1el#V 8WG-889 Qq?s`XinG6 8={%'wd~ZIiKB#|.7uv\zݖƳ->Iyjs TL0,4 }XFJ[0ԭ#I6,)lv#}QI=)l"/@JiVXP%aQY`Xm1 F ۈ*ov0CIPNPC^`+$$Zx W0PFX=T}U`O4!VHgt`-DzbПLD@a|'fF݊WJJ6uE:[[%V}.=`_cTPN\bv"yHK"u;|G{DF8'Ѳ+9CEpI Uu#8K D.MȚ}']?7B38kJuY>^Y&=fqH3S/@ץ85tjO,>Xcweڋrʑ`*YhW}#`.NBd1>UK,2&:^+>~%ٌ"E{\̓p<$HrpDJo\JQF;4(+wx |p@\a׼ckz-,ky0n"'2FOڗ fQJDqPD"w8삌??]zt% u|Pl;x1c3mǥ˳^H M!K;A&Z [f~9 ?}WO2rY Y? S6лҒBNՌ$QKX[?19aMQneZ3 P~R=Uwj⾻ 4ξ*w¹/XXM5_2U| ;voDo9Hk;ݫCF2(I[̶|reu SRã4&n#|eW&U8ƜOeefBu!1-p 5R@, ڿxhtmG тm:Q$i:0 L]>)yUjlۙ$]<@Ȏ&~l!* ryM&:[Sqp`}Jp9Xarߩu "(AȐ+t% 7G1d+d]NZ4ApS9sJ -Q+#j¯1c}_l̬-JJrs/$߈GI~n6'.w-Ia:5gr-֐!*!:9Įz5/9U9nF}r߲R#&;pL _,A-$dj%Bo?Y0F L1ODpum}e(N[4YՔxqLj/h =NMǭw{31PGN#5܄QHN̸dqͥPQ]'D"r/рã%q]V ~G[ܻ3eC:V-4"$2]C")TWPDɇob]lL's5VLtSgZiFuFӄuh/Z}I^t{>{2j(VϜG&1CƋm'aZ{g\;ʜy(q}ȝ_2^gYZ7zXZִF! ]ŗXiɟ.z+ j5PQfN>-+J%>ናoT*;~!7G'fS7CnuN@@z^vн p(WڼbPY!!ʵE01H9q]/bL Ot{pJw X׷Չj.&օt̩%=u1wѲšx(צ@K"]r?e"5!Ǎ@i~|43}y{k (E{)ybCⶾDuN*H^=6^9v=>wꉜV'tiګs%; wmAw IQ8?Z(-E[УPMoLPpD6ve3OPݻc+>_MR)uZҝmm9[=i5rKᜮ'`?.[/^x+oW} K.&= y|D d FvB|hnDbO]Nz K[>! R.ˎDia[O,N;_Ia[yf#\^JhÚX =|,Ap{̭p̹ǤW>8|Rg3l/(1d N߱0eK}#o^7U4Ӥ=#3@#VK#*U >=^,`ߺV D.:QKTu`ߏ4$J¯7~ͼk-_ZF ;; 0q>琺w?(SrBfz^1bB^,2G(.RE^mIŠg֎hf5fɮAeNXܷx3+0m,f l/J^!l ZNE'PI ZJ72ZC&IQ5r;,l>YyDm|T 媅}/Iӥv«_@S~Be:))kk &20DL1j1"btn3cp֗ "\ Xҁ>sWGZxK#vZ T0.f7D%QS{zM &Ja پkzJ[.h^;cffE4(g9=;\uSxf֕bAةR[9]C7qHN<IKMƫ0E͌PC/iR een!eԣ岯Lp/=;a+w)tp ˓PԽ求&Sׅad?hw8{, d4i{)a&u9!j~^]'*9`Fv荱UOtIƳlSqvk:{٢CsMvfH'`/Xy_Kpcu*7 K\XIܻp LR86dgYZ277c65653b681e6e4a24b9b3089b2a73156965799aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 571411b4feb06689550dc2e63f29de34ea9b060c 19258f8f0f249a325996d3d9f84665aadee551e7d180fe30c56360e10d324f754ea318b2f1c67bae