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 ++)1D\ ]% HOL-Decision_Procs:threads=2elapsed=621.538cpu=1181.992gc=108.676factor=1.907zXZִF! 9]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օIh6Y 5W -;UӲ!(-`MۃFOUx(Wpc{Q"6^IfivcQSv?Q#!/UN {#RlW_7!j<_n7t*F' ѦʟCVH~a2բM7X(8k7$!YCo}=-K1e `!6gFfkiXPli}&|$K ;{uT;WOꠌ!nξժ2?-~-F >Xx xkiem- /ec@mIih`.1$, 䩷Z3+؜t#mFp $G 4az:Lqf2Kqǹum@+6L1s"W+6M<k|gՊuk؆j"WIiaFrV`R;}:k˟8Մx#˝~Ȼ$Ĩ⍍ aݔNdQͦk4bdk ĦD,.wWbב/jxN.dOZus.xvX>g!V\?@VcDwRܿ,l[{+%؟,CfI3+arDa`=G(_w2O(SJD y{v∷(5=U! jK" "kt[QH<ѧE텏{KsH ?@}d2ceARy.d52Qza߯_%$>(-u7N/{bt27m||)ΙCvbnuش߆mvE91oU<A*2ck[ Lܩ3omuq{I3!לkE%hl[Mz[ÝM`}ܲ|}oF1*qXPKRSsiem^z@wk EPppR5F (hSٖ*g2^B^Q^9)]mm)~ (bKYk7#sB-ӏdz g-y;Ra'B k^II?rڊ5n_F%a#OY2Nc$&:,}1ҷ/8Gʡn&/I_A(*U^*ڷic 1 HOL-Decision_Procs  nl5Ab{9HC2au`ޗG"8h5OgRtӕYUAvo$l&j}E|Kü<"Ӑ-/:{J` `ѵKB_s܌w"Q5nJ OZBI3XU'H O y's(Iݭ$MeIFїk^ 5eX MˡcHDGX)+8EU;Ncz#6c.':(`W5d@ _ SĽW5Em-a aitdvkhʂUK j dzn?|ͻ,ڮt~VN[p U`T.΂t㬡;i2<7˖~f27} S\q ;ĻSSbI#4sQ$JܟfmHUjQlpf`6̌j=qy*m >cfՖ9Ix7 pfӡc^a&)%UK>jl.ZU A]&fXB=hvt8@Nnj4&?v3x @z=iqusֿ*!Xbhj$Y] #|{sjm%&U @F޺y Pq7;hN8\K /C #^~}|Uȝ3-(螟_@9&;6 սx܆X(`9' kSlm@U g ^W#?f6H>HE| 9/{ȞB$LFSqsn|)UL01[LT"{PGʸ+"ZXv6 Z:.z<L2F ʼHpK=kq 8~<_R~>z/ ֻpOuU߹ {`f~o*eȈ, 'V-.)1-#%&V艌<2miEP-'=л\OB˽C`񦪮[J&0:h<5s?SA߸۸C1(Ű~;kMj40% rk^ Gτ6+RqꛗxW(iulyTNq v&CQъu6RTP&ӾKvwF:ObBٝiW8,bͣ&o:h[OPTv;IR: O!=#\: _5*+Hv$[(LX)0YEr+ \>cF,9_[6v~7ڟ1jE=Dap;,ޒ>@85 Ci~~L)~9L4~]n^K{Y3AWUu."i%41l}YQFg?h_epދ#]SQ Qߤ'A:q; w|*  X|}xcPvO;Cz4^H0#"{.28XP[I9[@:4LR`N_6|u_̬diN`klnvqQ$MwW(iZT:LK^}FG[4AтU[})0s$Ig!ARgA՝" ^1L)j=u6RЈ#q"u2h#X2A2 b@I3[ZdugT@\_ߠ’9^oѵ2{[7K2ӇB+CU\A8S(g'f$]*fQxgYZ7zXZִF! W]ŗXiɟ17L? KxlWP8SաM~>fٺdzxUΚQi 5k'Q{5t>LZR'˅MG(aouU+wG 1_EFwuc#TjkPD9d|GH@Ģҟ[VܻaGjA}H]JXY] MGP5ރWkn73bRг;gXCJ(2;ƄGww{oxiDx3ict1&KFOӎJYG L8A&q7}]Iyd)EmR" ۝Xm,߮ܣGϠV3iS#6:ct@hO+9zV4Oјv}p0G=qMwi[±dךN>4 i FAj$T/QY"|X|&(oW:vLqLt:X_xiښg V _ 4dرgYZ7zXZִF! ~e]ŗXi%;3+5xih &b_%"nk8ʺr"%[G,4ݫ ]blXngC`kkGlѓ$)Pr>j7MV7`tn\pBԒ*uΜz18k)3{=6[JPnZ)5gxYԚ?0%5<^QyĬr< Ƿ#Wz\?Oɧ:FZixx+wfh!&10Q);c~))2.f2'Ŋi57# ֋D e\Oi`!d1aKMi1l`4n{#UA[S"(ha dd#g|ٹkdgS,{d+ק]Fkl$7-XސM:22:zN\ѕONc۽5ĭ >oPm)-8H/xNr{*c*ɇ#E EɗJ?=?(:%P]bVb?{^_S0Ĩp8  oe}OKe(<ůcg1J#uE.] =%hm=rT9t?c3$>ok6BBЄ$:k(ؕa8kX_&ڟp})KfU=QH5Xh9%NZkOu\A'&J9־I7w9 t-F-#y~JJG٩^У@OM-Eufsa5 ʯok1PQ8 , . E)da&) tANNBYt<}lΊGN5F \w3Aqz]4<-ȵʷ37k!ܓrWe1V0+n$oJKGq/M57e\L\4n}.Ja(N󪣱]ʱȋAz HJ6?rһVNq&1w%:D^ݡނxGS.n*D'}i%RkM+VaŞW(R?`}.آ*d(ۆ_yzgM Šb(tb%ob9ir-d)\_9վ$oU#.,OM y'NzZ,%‘(iե#{ep-Bւ6W<ځzcŒ1Hl)t35F5꿛e][h\mQ } }qc:mMN#O?cWk;V4"$2&&`+(۝'J0Gw +boj y|[/g./jik>MyB'Wi>qa9MNjQ=/ 6]uygAM &s`tk@0K=>+}ΫϗԞ6*xyy [5SM2`Z+,WLv(-1!fH@%$ v|/:JhbI6֤Z拱"Xz-* } T[)iQ&xG TGs^YYd}SEcy< mw)i?&̆ &grQ~i w+XѹA9SWZNu*`BWbȇA w=GLj@4AG%{D h;vcP!]^w! `Z >cfl"E5OCbfYIxNsZm[龍 OX[SO?)-䄕i/j,>,@Hr@9(85K\k1dwEog_2P9 Kz7&NO;v_<*Ev]8vqE1+׌P mt6/-<'OĠٍ  ?C,tbIr`jiECK [UB49_<s %}N2. Xh~Yd!'2NDVRxA?0&c<ΰqsK:eOn3-K;It9s )pJ' G'q۱B[qUZ؇;$ǹ8B%vG`c-Rl =l&F{^Jg5"e_B8j׻Nϧ햣 s{{h&I^38R)JwKۻH8\YVNކѷه@Ӣv)~X.z3)tHƵ9ȶM˘\ILw&mm'x03=і p$N͌/`AZ2R%+4u zk lH] =sʹ19 _X鴩vbZaӔ^pf33￱hݝ]ݒƕwgM_M_$AhPG2Si] ў ODyl󃟄yǤRF+:&-7oRs-6Fkyb{In?k.A;둂t1Qx@jݾpp,ms7 i;4񫶬^_Q =ԂͶ#Y3F/AVƈ4pl|=kk[[%n'JI94i׹ѽ >c`DG[/}|K $ɞe.O`hr]jI FC[ŠݥVAL7^~xm[޸1z^H)(ծA{je]QWD1[x>;G`qp\J+C"qy7 oMҽ ۩Dp:s8$4$p'#5a6=MZJn0êEK[+L]ȔO 4 vZMs>rQobs@AI;.j p;a"W]LҖ4:G W,\u~o˳Q 9<'Lժ~0izZ MWlBSw&;<=YjJ0E(L`=o\K}d[Qљ- ("ސ&~`ԠQEཱྀ O6s2Ԇ_. `ʣ%*gj4#%Du1]dMWwrgkoW8t_0=KR/}kLJ12KZԕ)F Q]D=ʔCqr }YL+zJ8ղ,«>w;1㷁h1sadCq`f^ow5: G0(oMuqBn>R[l{"q<y&d$:,mwi[ɰ_}3OϫXy*̛sZv9 ?kdm#v\$Վ"}r# 㐋OC9~9^5:fלݒhimsTXJup]FX;1~b9P5T .P vVvE"#)Tjs~lbm֋/_VkӈQGDR~z2I;}* o!M&+Qk3JV=emaGI"&5&$ yE:jXҧ3Di FO@^K('ֻuAm+tӈӳiR}1c%WIR)*nŧwu|ɡYu*1{>j3Oυ93_%C՝@l7UI}aƊRC64go:6Գ+?Aݕ"w-F>i55BȒՀI, (A%V9ny f(Xܽ:I/w]-o8mꀦWJ{yn+52Rivt!`d(R' oقUsvLb?Cj7Ą^^&T_)}\|20}CF ^ 2 cFniω,Q+I5/yS+e%ܹh.K5 9MyӷI$AJy@ lа~=ǫI1ТLIo s`rp ަ5^;S7Y;w5}T5"Z &BĥrQE{4O.$cə}9U: {O "q T7TF }Ӹ%=HeVB5j(dg@ j>yG@)1;-R@UǡoF1!PRtm`=@qE|yjvz5yS~!9r2T%W=SAׅj r6I_anm٢ ' 3Pk// l2~ʞ8XpfKc#;b`_\ϼ|k&a4#Wa7}‰e4;7WH?#BǞ?INZJo b/ sݵ¸x ew`2j~⊏s-/"*ʙ}$$Hqv+wPC}3PpgڶGep #EqDook~71 |l P.r 9)@#&i}A˚tO;2Jc>*GW~ o*HH/x'(aʢ,rɗq{[{7ͅYb2 m_CrEdao"po#,@X߂mlj+]ER+1z(Ns鎡ؼgSp\xԘΣ>SÑADv0A4\ga=uZ ѵ+.SW H!\>z\gzD9t  ÿX6*_Ͳ@flOWBetx~Gm9ԥaց^ePоxťY<ad+wOzA@  .(5V"c&ϐ0tO쩶˨5\/s>bz2AJAiB|9bSA|g{Xg>jn?6Y9Ԯxk'wNԫ@c䥮%,9"~ȗK0C\6jLC djmn/_zxYLFZd@ViP@hLavk JZ]Sc6(`"(n\oJS}A1:^, m bRyCnZ#eۜSJ9!*BL7$L_|hEYR]$x B~sfصJxmNw E? 1) 0 Lp4/~;ᑘyKZN Q@.{zskH&ǤX)`WPk.0Ch t]K:L񂴽׊}_ 0$ $ۑa(z?֮\ԾN1Km 2!ZG`rEp!Z ^6GbUE.P&mX_`vlx%/x4aUv؋yn.gR9=3E\dKUm[.#t)v/$>pa~c!1r:6;31wX4f q.̧}qo~>U/$v!P(~5pFw$s~Eȑ61w& }A*a9Tq?!]困ԙ0(&ԿKDڭZ2Y u?2OW< ~|aW<wo7I*=1_Oi{(R .`h` ԋaSr(3]Mx-a5fOC47:_> 4J0Ua3Q#v֨UT-+@˂xw f`ix0.[~+%-@yabJ(Bd\!DV0svWOq۾ eA^l#m4"E{~/yܘO^zI8'rodLF_SZ\Vv|6Fa v*{F|꽴#G7*-!6d2%(lww쑀8VMa(wҎ.piU+漗_dwv6M 'kÔ,/վO~l+O@XGO"u=Ј?woLѧj'H/ S @c'`fxd(֏`FU!\fk,ͅh:U#E\ب4hdӓ֯ ),vlACa΋9뤤mΞU͍YRKƵav(-& kw¦ wWX3HTX{*0V]+ǗEe2\Le$w{T1}f,zP}X'$azkUhGX-uHm6x[JQy_ a[cV3#r8 p4Ƨ]OB<_]7{L(0"3J+/6E'}[3׶Wt^Ob/DTޫE6uiN$>ekFK`U ST٨XrwP2">"gdؙr4UU+A"Lp1IEѭ"r_>԰M6: +%l7*8ZQ2UV&GJsLV!SN! y~r} ^ź &U~R }NxXSApVKF0j{>/& k*PXZ$gHgF;ce%4V[XWa##HnE/~3s 2[Ԭ+Vpj,S@ 8F&3aVx[ɫbne T_ˠ\d6)+j)mG+XxxrL`?tS Ge)RI eGڸV926cd(!JSc/q`~lcb=c<WFԜB@ /q#^q})mmF(8촄d6k0{v>L;o4t['͗y{l^ZuPuVRTlTGoVhkuw\p_.h>Ӑ0?SfOM-%ӟ%VJu;ejQ3T|ׯ$4j јYV ^GD%,7!IJyT>g=KJfSַ)s'p-=<[s왪NHF7\/oVO-!ki@^tڐUVl"߫@`\zFGR̙;$`>AeDxCt+?ڒ{0Rw"]9RrOPP|p.DWaRgÌSC]-Q+$ZU*gS&G &̐~i{<q2 #YNQ^؝*Xȕlu(BrhY`"_Â'r>UeHYP,h_߯je{ɭUO -K33d{"^?ӚQWb<0ޥDX{o+,S/UZ!4@c ފɭ*CPmeGPCS[s=I{GOE8L?25 E:P-]^{A- 鯃nĢՀ葕)~ah'y,#ٰ=B΄yAvێYqOT/rO*nJ; hmOhE^&i0jV1<&(lbo mj\IX׻.Xr[曌:E$XG1#tTc+׿8-%GQ2&p<#0ߴlf%FZj\&DlQM·~GˬM(:iZt꫑ X<:m4ܜ3,\Nyޒ)g\ )E-֨rK -u/ĚB:*R{ΜQ7/=Cb4cjUܓ"SdZ.@M#kZk>5Bs,2Z/vjUg7einkk\$IW EI89 9_ܲ,?nA54҈@/CE Cuz4oH[' ;L+H3VZut; kátw7A4Nـ5J &ͱ҉=њou_H%TL'ё:-]hJ<ȷ$0K(fqR6624Z.[㢥2<-Z$z|;N{)MbAFʑ1JtA޻ F}dogzD@yR8iWMR{|L5*j'Tt:'38BGd*$w¸H*;|;W g<劄USF~gy4=aʕ%)V ʉT~E='o sgd4=W }PPJGO.W+ qBt:(†#)2BtMvmd.q􀝕9ݱ-r\|VWZ|AF4$D{%@ IlR hmH߬"Kڴo9((48Ү@yIr RqBtN1w!?%:}?*ѥNX,ڑ8,B8cB&<ߵ " sDf_3}hWr1%ЉGeȳ{R$0sU#56:=\mۍ%ᦴQ`Tj݀ˆScOH5!\ğvSd1a moXĤ~:T`DvdK{eoL@!Nω#}_.b/MGS/v#2! 8 ih-n&< G4$<=3!g]?~OK3uj;LE޲).0rY@z6CMεFSٲZ6~& ̡4WӆI?uSҞ+mf }yrF"6b\f;[>/DqL <.~pԾYa9Uf`K"X.%Ef ?8sAqA|È[Q.!uO&HħE,4p4uIY@B FxM>j:%bVʣhCe BFŀĝ@\ٿ^pEͥA0!tc^ԍ3A(jp6%W./)̾ JQvlo2=}B($4 ?AxU? ^xŹ(\Uڱ\6eH^s rYZB T*9 6~@2걿J.~kgJC.;gؒ'z OjՔ>uPh`;LQ\3'B8/LB)EeV53UTD 3`Q%™IW8S"r@|A1E)m'}'†#hj;M`~@yN vg`>1CiG=c,~=V P;qzG1=7Ł]|bl^-e!OAFE+ ,=G'%؏-Ĉ=lrT!I)&:A{5-_Yp֏ǭ ݌ҙ+HB>yw >X,eФX1&"-I-T6YLoK8I'ƛmec ۀ5)Mn[f+M= UGLiϜh^*&4X9wN#\*< eTq2(Ѹ5)2R#uwNWSڪVc^ݳL$|]S㦳p`s/uNux)BD#ıc}jһ9JpyKH;?Օq܇8$[p Š5gG6t7sA4_*ȚUs(w Z7XD_)<7BDj7!+-X:.L'|е-OLw3^.ݬ~2<4nfr!5N&161Z]:lr)\=qӹ1kk<F `NB!؆%:d$2M`iTb9fcV9Ia jsL"E>%5a7ָa&ۇ,BkeYr8]2R줥!em_nB ftb& hV"VhC2F;tZJl;/juXV'`>:̳ D;VBt=0aj@|KI PC [e=u÷/]P9(];Hn^Ҳ`*ؠ=.e/U+B,*:waUP@t)s0 /[mn1ԶvhU B }t H|pI әaWգX2|޴!,ݸ jB"whmy vp;$d-5al65H܎C;]v&:J? |w Gbی #M ^Ht;}+9.JWb.yߍ%%WHva7ĉϺi'BJn:{H8vBg3k9$ovX=e \fǏND"kJݧpMg-(ИXx .),)pCS*shmэ+A#Oڤ[x)&]^u Wd6{ֲvDt'ѠPM%Dw?WA3 t}km6DOiy1nUѣ"x[$PRw#TX \Y=*1ʯIQʕP/|gȳ9MP<j5ԓ?MO) L';b/)-0u[hfL/f q ͜u ڗd%=Mt`pZoc&DA_5m$B l2&+JD0Z@#/MjߢF^NFͤb/e(YBtwZu2$+6YS 6U<k5_p!&'! ~^N8mmC3/CHxrD9(4(R"lAr_qIM _^?J: -| :gtCQ_f- ԤA %6ȅG[Ex$*"/o/țggh2sbfs\([d5pJ3>h0'Vuw r3f6\e_d4n MrB%۲X-t{GT`CgJN]'@# >"+x@6tl߭Pƴy!>qVela4 bVG FJ˰ f_clӯMdq",m<7d8FC 8IJxvCZE66a$^&ȟB\4qN7=xcNĹcXn[~X鱖£ZigG'I,x0r28*xȐ(\U&Z7~*WrzYp@83XV| ddWXWI15*PVqJtd}AM.L U +f[E?svմ,_tkTULw·1b@D=+~TGblbS8 $#k Ϊ!PdkӠ9SW;yaK 0{F9N0 e1VJLKDv;pگ4K-Z!зW_CMD̺kT!4U¯qܛ^oYY'ϢSF6/.k~ߵW ix rxdCP^a7#\;M2 _&u~J2%;f?}euBѾC$'Ji_]V  %`<[.`%QrߢblUz~ߵ[8/߭A\ s7J7Wa 2~iJFaCx2zWQ#VT)0_i(Oч0޹SWr5Z0߽.ी(VcetGG^80Jb^jAmw R[b. >H~ذplg6'=U筞 zғLԛ&|s`\WgDXr|9xd8hNЅ,1@xx$i`I$|OCfx%ikFs1Ai}w* !j}ć ~UakDw)"vUnCX %="QoN'AN_mwf-WiRԥCZ <;@+ r'Y"@f":]ϻÝy1Ÿu^fz S[f;d<\ۿ3Ƀ,Ր\ ̽ma,SqyE.}ǁ,HP<3dZi<ְ?5r ,G-9 /+㣟0kw5 )`x1SI))|5UR,傣+=:$~̗<>"wmDuPy+m2 ImJRj?/f(?uOґ%5wlZ{X~EL~RIքup zCkg>#"XX%'|#pa'vJ$Bt;A%3B T*2~Kw];h/*Y/BY"^dēMF3#z%{a6TMH'n]O[ѐ7U QfG  +c] +"ABHPܬ2x¸ciT\ .La+u\ aO`d8M4AO>M]m::_E#KGrՉaZv\Ag%qZR@59lIc!|w(#?h_& f$Aؕ;ô2DF {&jS,ڍ8ix_+w^u[,Mu Fy6EZK_QjP2 lImԴ"oEYr^`]jWR)a\=lwEL^ S!}qQ{0cS}bsͽq!&&BBk_Aux34$u?lH5E=Pkٰo$i}ov+.J8_GPFW8alV{+aRW3e%čȧ'*|]"nJ.)景fpig8&(BST/ \XcF$/:5 ,&LڀS: #TYN.#zEkg*óTh0Rؓ̐0J}n`BsU{E2H=agUn+>HVSzQp]LeV?_?Zgy_K ]RؼM|#R|:"4qsh@'}WuV8 d7pR%pSZ7F^OGKY-Z?iDgU,@ER/&./B8" @ ǰVw;4>mr}5M%V2O(01S`덐$XM~~r]( ]bA&A?`M+\FOw8چqcӋXׯZh {(1ZrڢyIX'B{: /K)@pEQDooޏ]93kw-g_}SP>.E_dgcV]=LC,Qesfgui 3a8ڋN .qZVC[P At O†uS*i3*9) /}TLx#DbXklÁE<=]dvoHfu~,,VKC[QG;ñOQ!.# t}>:6:79# yҕ_ٲHj& ;ݳW\=2ljqN%6XS$ݙG2f]"gٰn,wbˮ@~ QlOv8d qmkp7&}:xPH+2%=7FHp=\fBM@yzZ- :`FY$bh׼^, e[O3!ث;OGdh_$]t_LO_ADsdB vS&`m~u8S$wlb&L0dbe{?at `{d6\݂Ɵ꫐m[V2j̱&ވs[R*f5a+@\ B!ku5pk'</˺YNʣN^[P=(&C#Ci}o)M8$d ZdAjamQjNS-젉s OsAud&{MsM"襅cqb(gefzЍ1)vn%VFavEX!E_hS0N?Ӡ? %Ȏ~@BNO 9 J= ej[pp~Έc71ܐc BT%>'arI:Tv`GˌKgLKZ޽.E~@d\/Iqv~.+*Ӑ_\H!#W(ll72/t2e,|ܮFa" Hzтp8&V4rFw$<ַڋvL3|`\8< D[N2d+{xruY&ȲGSO=p%ǁEJֆ92WIp; L`@ELDei~Dv!n]]= Ą} 6)`kSF ^Ӓ/#m./q5,̀M %[m`6>n  !״m-BnlҐX8R0mk>.wy|X\c,fI7mTQwA{Ve,:ȅh0 w7RMY9(?ZUS/'0<g e@)B("5e`lEQdQJb rAi>S-NGEzI(բ]V_qnceב *~vX#+́*@gw"i3QUKG}:أd؆ZcPQ,x zR[- 8B|e9BbP4˔ ɞY2#Ue!D빃+^6$Xhs@@c_&[:C;1מi,u-h8GbP= `^{͟e-Ay]:߲B,)aN&ƳUm3h~UF4 Ǫ(a&k=Hn@'^ ~*(ĠY%a<΍p.IŤK{4)a] 'n2VY1 6\c𿤠wl [ol؞mZl'1^袯9UYy2=?8| -#[gn:T7pkiǭz7iK+( ds)T>645E@Z JWKE}[qZV:1> H4d+w ܔ`ɶ~>ЭC@w$6<72;IX ]R^СENv_芝;;u7{!""`Cÿt[hxƠiO©*|~Ӌ &ɿO4GiT0LNKmS`F3stYˣDS4,rj$Os*jVY!jf@O9¤"#xIE\D̟=P]ƛTAɂ#ui_\6*lG*ivv6Cނ y8ҮN/#\L˿uvĖI=(1j{P*~*Q'0fmO!惽iDZ,StvcG%hZ 1c-om/-i#\vpi?M:3_omĎ+I"Kna1vs]jDGXz"vͶW_ ON`fᢪU_'yG1cl Ӭ^o`Jp KSazv}9L#?co3 h/BUn6zBHD|t - 6S pPImVcӝ&iZ3|ڌJr|ӈI%5H"ddtF"q&{x*ɨ[B^6ys{Q;^셆}" .3LoYuݥUqQQT# e9lv3EsZװfTL}]%7pY 60['I5RZ[mI{hFlqJ p@f'l[@!yXQ#u A<Zoo xkF7XU];hzu0q)Mo@b= Iq6́Ef oQ* D#ѽ7BuL{[5<^^8(ur}Дz3 O)˚~ғxT[_stw6ZخA5$c,I5##qE2v]\Q+)UB++UAvJ?(p QUP̈́LHy^y,זdJ5_r_] S})鱲}3j`{sPK Qo?UB+XR`ҁwdLfwWUzk lJ ,gg/-#d;-I[ylk_GЛf Ŕ|1x\{ŵ7z&1nί_ToSѧvɥ}F!G׊qȔ+$ )5S ^PKb4ӗpEȆǁlpFi, $v1@% efS_6Ifm@MCa H%rj"#&XM详j˪l[Afq荆E,@]:k>8x^$>3 yrK=HoHǃf:JQ#V+304䙺K4})K΂tdX/vnQCEM{vƊά=㫞/W;0{ܯ[3'z4Τ.횦Yy'q)w;6BnV~,J&ڨ-f1Eqj,Xvb}Ȕ@qTdQl Y@t:^\2WK'ȕS>W% 5 5ϰ5t \ NŅ9^ڨ sޓruz dpRܠ^.nF]?Or;0u\.2@V2%]N>XAJ{q`+Ao^ 5jlq7kv[cMR41] .I{mm4arvANP*'_'Fwtl]{m7]*b߆b:h8Hۣb`ۍ`O4eAdb_9UooS-: :AV[UwU "5?<-Bon@Ws-ђU%PIBf&Uz}t@  ;yA򇛈9XIckX'ž'@K :V%q }i`ƕciZt2@RDzk[]%)݈ 3Nuuľ+FIq*I[Tb~'@(멨G~l6 Sko ˻|-;#l"Z7Z'!\cz&bݒ֢bXfj&8$D$G7 Fv8ɲzHJS4UנfNk8/u K.4iTJ?^R(Fi_o ZSBqiFTq2/n^y2 bH `XQUBp#=kHd`j o[4|"HOJ(o}{nE{*օgͿܥѓϛHpd6LlcZvLK믖eiN ΄N*/88}cl y^&EU»YM*.Ň4CL74o*鍵pqVw&E5;WHSW>9WKYcxȾ–mҫYDE&; Y1#x醾fǧ e$է+!bPLDžu5;P~7b\< ^ň ɒ~%jܫ8,q}jM#f*rDGcs]upu@]8»6س ".$?_ckм5_ߧߖE8_ײ. @L쓄, 27+IJpl1Үb>&8;սFH;I!Uw-0]7+O.z|Q}3q?K\ PQlơ`/Ds (s&=Ik%< ԯ*d~Q0KNqDʵE[,f_.{הi800 ɦ0~j3SgRTldo.}<nih[ $k}viI&[",DE7en;ۜpoi" ʺ#}W0[T۬O{d_R g(W)iۊ6yx5Ug`jf-"s tVm9Ct'8x.s]2v@n6`Pa-ݢŘ_.*A`xqRg|@#飥cJHyJ3dJ ~'.&\emAޏTTN|mݩҖ+ȟcI0 /JooMU|kxWH.V+)>g[렸4KNGFs^ɌM9'3)_q巫J6j}7*ZJkA&|sLNLſ=Zԝg`s0 fp-K/]݁s;j ɍk_}Gs/E#XE3sǙO{i2zl>A2~g%6swj`6Z{ݲ쾐Au\)gF 1܇gZ^r>T^*\^9hG,)JL{F3nT&R!xj/!=Z>X!)jQ;blmp?\U ņ$CiY밽P(={u6l>0CEU2WQ1-5W%CD .}rG{5jt!QZ@2suq!p|rMt\ ,%n[M Đs ܼpiew?$@%}zB`qKU=.ngBt*3b wu FtdX+a@pX)rG%<H<$̀TK(&)/^37㬱K#  P_rHu 1/0~ Ce:E_n6oĉXپv}ow=VPaxB:iCf~z d" c 8.0Xq}Yn_S^޾W->Z;&qJt7kvbxskh|[QW9F.18=W'HkC97SяRl/~tMyElPk \qW]$N,:!hr㔘@ކY6,Y TV +_˲"N, u~X)D-?.n*x~v1_a˂̓]Sct2=;>lgIxgy9ZS鏙G9&Z) $MaR:J@Y=YuMtw5.RFBdi Ux˂K]ıE3/hڔ 3="i?^iOi)mTtq@ZZ{{ Y8=fDw7򖒿N,D|]4/U m7[.(c]J4v8c{( st9q~2'MbGJA ꝱv'@.j!p=}*U9a^ X2j+wsevo[4 0 2|N/~u$ ˘a}3vcW9@ ئ@2M/^P {l#'Q@H<@i5}T ֯q#ڪFwnt8m^\Q * aĢJV1 ߽I#~NO!e x_\<**2wlR]ڎLф&Ο6sĀ]!FHQɐBz!$=wzl 6?S6溲E9&\oF`){dsnx|r$gbF"4ag~[}7>,WfQXdg̩}!gVޕG ~yD 8"͡9{,eO=$Aivhߡ ݴqc(M2?%VY0S⎅ٖT&NpX`.Md rց@_e\|Wn@QaK:B