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| ] Lambda_Free_RPOs:threads=4elapsed=13.554cpu=52.164gc=2.2607zXZִF! ȁ]ŗXiɟH)0%o%_Te*UT*͕{R-\ej"OFORA76s"2ސir>8&` *PwE`];X#‰0/LCYG-sd"X]:}Aw9ٳ~LK8]q4]j 4$M$s~'@a#/=ykX։2iʫ:[x$'4=يP#Uk,wee. }K Nۊ"3elK.0(Z+BCyO^;KB14a72 rOoƑnV1߷WXpJR¿;g]2| G̐#Gf`9v*ęé(}3\}݁~m :Mn>}ў_8]C'Ǜ[T]_;2mq&fin7[uG2az\rX,図NS[S !/ˍXo]űK\AׁٞwdR4Gbkrr׾x=58Ђkky!(]JHyafV8:"CN5|"tʸ%,IME5kv5)ooQ\x3 [ R0 7%ng8)➰HPDBE@-M8l)%bOW ufq#&gI@nUɮ*zb!<x?)ucowࣩD~x9HMGUoR ]sׇBkOߏ) ix^~m(RUlT  DsԪ ~ Up3R|"Oeqwڛ{% q.hHWy"4t,AH^C][CHX.sG;|'t:]Z"C,Rμ ᐰ * 'b9?k} H~ [> cŧh34Qpu3E|ZΑ_/SJ~wR_3"ryY,*i! |3vTK\ oiҐ{\[H! \w~/sDԗnhĤ=CݗĔx [6e.x?ѭ5㨇\{0$k29SIs]8냼uG]5Pe- 3o PJf{;XN{y (6ۥ?u%B(-:lˌ 8E{Z<3MǬÉx}]g@ D+6}e@tܘ9VLa6~b%!=f%$$G)9фJ4_F<!{HXKn Gdh4c:.!Ofz.=ALr~}Ɣ&Dreyp=6t9p7~M6d79MU܁ϲ;,=?uV,P%' ކȆMg_xRJVav@Q)X<_"!I`G;^VCqYrD bz&IyҌiڥ cϛs'ilmOL G_`x`sGWk45@8hYK͜zޠ=J@#DZn [H9|h 1 zDn>ީh0}h2q*ϢԷPmp T%xڟX&Зuo}Zָ^-ԜJO!bXHϻ" d;$1'b^ *h2Mo]Ow LV_#*^tըVY%Ŭ/CVw ek$ fݓcMT3$xҖJ$ D.Yܛh9ǮfwqMj@,3NɅMRg0َf!XkLdkq5c  r@u5%2DH۰ae;#>p Dn֤aDȾ+^'_g:cedI ?@OА"?Q1g3&&;ˬ*}]aS|R{Gy!1Ed 4ZCkAýQq*Lv|ueS:'8>G7t Sko3\-˘}V0+emI/VNU"ڮg>Hkqf ~` 꺎 1|=Dη13#O[. 0w7"žTx;]rlMj'P_by(m9N<~Z ]X:ivM{,3 S ^" cBiZ" RIZZa*P:QGOdicN'^Ͼ <1e$-ܣ:p@(nLUmuazwL+@$^ [pzXdkߧL8TcgQ9ܘi[M 3GL;)LZT3|i ;9h)Pj[( k /lhӾ&b9a P3۫|c2L}\RI/dtVGIF܃<1іa ?i^d}b;I ޕ$48v`7vB+_%FL·4K! %s\YQ^K CFc'UwLlr IaI!Y.L|aV=m~S6$pW?YY0؄ko_w>?OoZ+DDK}ޭ M8=z!gDroh< v//@К&3sU+Gyh )yiOik`gg`G5`[ $//)FIdWֺsOpI/=c)aZ,j)Σa,tpIUyg{(+,iK-0SM ?ș}زSÏWіqxN{7m^}uJ/Igd[K"ŶmC"y29`Ug[ !$DuL/O`zpEy.se#}C4 OzBia  z,O2u 6Î a0x!ad'+tXW'V8D6CaBMw6 髈I'TK# s֠7()xI\FrZZT 7wmmYv;pg/RuWnH4?p.wQS+~X$> ʃ>{˿0;}'š Y&X9'#%Qܲh2x5g8uD$ ]hSo_pCavخvE-,MᢽO04|Y+߂$( y3@ƛ~leks:+nP+?ǺěVS{xrJuzӠl%ï߬P$Fj%LN4ҙT8I{aF7vG Wv}X.I%ȋC-5t>v&,1Aȼ <9E ˤN%%b;htԦĞpxVgDic4 PhۭU~M9Nr0/9&#sРm㍩{yV2Sb1 ^ Yd'5.E!dvnl~jzAfͩzl<ڞQ/*9<7s n<)}A:2~LƍNYSto~ߙ. *DKXJNTA(cyq]—Ito5eVOYAQXj:ѳp O)!R2]R4Rrj2Os|kϭht~aD;ܵzi@\cJY:jRya`%dwj^q.p͛1l#!vc{}9~kըܗ&uR]-T6GX;g#u7kݩo332QHŽDfT^Y.ȋe6 ZϳPtx"yW#(kU;#`M? sZbb j1_ޮԝte<<,S.޵ a~_V\P'Wyd%OgcgEcfJ୏|s{m^$ASoEk~P%;``c$ ͙rc!dS0Ih8L rG,ۃGQEҴ{LI!e [)/>@2Ez͛nz9X7Hip7Q**Yeùt2x:oRda ;td7{BHeݭFX%ĪQݿM`AR!M2IQbOp0bM9;kSݺY*Q`T W#m6瑅%1D3WW-l<<=ԅGT CQË#ÊP )S*3V׷I:5zDVHƢV;'Qgnj YN Hbm/z`TNԛQ^4'xMpOM,?bri Zƍn<6gVbe?( !R"AK"L<>H}[+.T60W\fƑ]+AoôM;A9iGA 4o4/wzzҟ:o|1hւ:5ɱt^#~Ys~]ų:8D"Ҟse0Sζ+-drZOҸxBY֢6gm[k PtSɇнi S3-%E%n."Org[E+t_VDXf4@jble; Wc9E~0r;I@UQAct .1oz4UlDc;>v{Gٙd0xP8S]KYk6xK1<@x'Tu5`q.TL+ABnP+AM@|b, ;E+sV?MrABO(#MFl[}{ {:rAcQZ>֑Y-Т |)f~=8Pqy>͋(+Μ3&BT8O| bd(mO{IUrq~6=ةX\TL<}z KS٣cy]7&WNc0ڵѶR/U#P+l{mB0#Xuꭥ 4O h(@80]6Uʕi<a'1-cIv{Dc{ 7D:lܓ݊Zvue ҡD7W`$(QaMi9H_TXjM! ^Bc*DWsڑ3GkHWؑ#11 1r3NhdzB^k`?-]xAEV=ջ|UZ2/W2])r՗~kU?0 "yEɛA= twbaId0WPW ?LG։Ylja}~d־.<Y}+Nw%~S ˛wd7 }2.k([ѥ.Nʹ3p n-mW6]*{UZq{Q&R!Xu=[U:X.9g!S)C|}1qHD;%fS![s)%IOrcHm:Yѳ6rVnĈUu:Ý!}kF{n Bf}(&k *tq@ fVqҜX@#$JGI4&s{]ɿ!0S1A4E⅞!]Iq&L)o6lmTM.{IYv.PޭXJC@E&xFy0 CC>iX x0?(#+,W}Y S}S#pm=\U˃; }gb̨j?}S-ǭep\3bN4+&:g-jousolhEG Gg,rO[AcHLNc2?.0,cFq=Qьf&&)SF|bh+K3 ⾿EUzQS:|@Wm5yy% 3 zV2bK;͔V@cyrVڌw\v"c8G]iI 36sfu/'? hxQo{G٤N#y;Ĩb%2]t~Ec;o[wxJd8HrVXOQiS]l"'-^: q@NW26fA~PuA iY'= sinRQ7+ʃ"k#T.-Mc[zNOΐ^7ͼ~;eW?z֜ci&ڦ$$v q]5 ILqiHɺY]#i0Tɛ A%Έp[IFJ H-$qp'+C^]oAye\JA򻚜Knq5_"eɨRj,d3U?)|-+d1D4{ ldZL.=X {JE/RrxV[JjN#Dk89Xp;KAIq˳)ẕ̌'4A_˼Ԏr2XS63Ih4}=!>0@e*<+$4Ygf)\,MK(]㬛ZjݸhⳔDKX]d&Mk$n[N >$a'/--S ŀm p;P! K[a $ aЂ+Jm gd9}ٙ_} ~xI Ǐ\ f ;A4.N}QG/)r61EJ0.DW_(:#0hpQɫFu|W뎣 ,K;Њ:BnK\h~dSRI20<ZVܯ].>ߜvҕ 5C@2|PLbo$;A!MM89&xRw P{c#˵wg, Y8m#1b4TV?l:-,?8 M.H>ќfa3O0ovMBCyLJW} _;⃲?E,f7e21%B3Ǜ"#8RSEP! C׵'QeDK5O"1`Lh8O@yeF@ŷQonW躁 4.#,%A;OۇhALV"?>x?G @.Yg4F~y+E#-!g]U`oA.d1w ?RpKԾ^:F,G`4(|#ЮyrN/Ŀ}#Y29J!smg]_,NTq@S–`RESS}j<96dE05_GrH ΍[JgtiݴӚGou-8/6yT)zVρЋMxXElT c,ӧ-B[kOx\өMsq|<+UX"9[wM-DZ:.7OFC6gjt 'Qo(ԢxWJ;nb 0^0-h е #_qi{;SVUۮ)DFpс~n,L?} P4. w*- 5-?:^#Uw\ SBʰw'LF^Eo7xf~"JAWW#շjHgAڧɥXՕ;} >>9J)'+?Vw59@ykG Q7-\S`voj8mJkETqBr tD67tk#oJp2<=L,8PO1| э)Yz6r]C)uOO/ߒ$f)/9?N=7.Ք *&Oy_=fn:I.ssͨ(?iJ7]/}mא/v4ukέtJEi\[ydߟ _ЈJsGƣ8뗛df)!1Nh{tQYyR~VSE6>2voA>yxRLDMD /$eTVB(%+~b.N#J":J]IrSMjհkI/yh\ &r!k!eJ5՗LY>䬪 7s.'4ZGX ~3*23ˁkSXrώ& r.7 J̃;5ߡw4'^7C(ۤ;4oReaL4y Ɂ֔%{mc3D]FQ[7XS2tauAj-)gJc6:VCuVOp|km^Ujb?jZܤg2芫Gi+ʼKxCʸtsC7B%^c`"7focLV~QC:UIYRIC/.6Ťi6 Ub=~,"l)W xevK$P< oC-~f[՛jWCveB<5K<ei"N7Y|GS2yVhJSé[α_}bwN4gsbo3mGoZ?ۧh*{8ү((wW0I+ ,>5_dG>;FPx1Y,GK'!%1BL]xOsۺ2qx ~nkdQNy`͂X(苑Il n52\*motbA.6(/9d lr h7J&4r`?lscYL@](*ӑu%bWǓsq>C6BB}'ɯAteVI 3ΡemCw"p=uKhts熶l=Uk%_̇)P5lM_$RL D o#z?U"Q-} "'"< 0G *h8{\ά#V(sapYQze1Wu_W}-ִ}r7NUr:t-&3ѻYSA *FNr5NOUik}#-?ҵeIfG 覆f!3u3ČF2 үNAE X; 1ܯb1M{BDZWM_WycJJvwΫlVqEB4FYKį?J#u>5j~ Hk)]pfK1@!fgIG> zW:/ B:w'))kt:iVQ BoH\Dx5sA¦]AD1L;HJRI$p7ֻjFxbK 5O*ߟMJZ? #Q4 !k#=\=H|<1`t|nV ΏW7ˡZ$pAObI*8cg&Uf+P٥W^ϥ<7.Qmһ: V!U;XNr)IOa8Epl 2#0T!7y†z\Rmf܎n=QZKޗWHB+3D:g `Eٗg3ʰÉuуM?30b)= gJ⬟\[&SON5 P4w0ދb ZYr5[5HX'w 0^St@R1 *X= E  (ܥ'CͪM?Dl<{@|"\Qğ=3W0^ށAu9U $8sY'{g`"f@+,4])]~>cpbm'-}]a 0W|\QOiUvܺR69rvakqv ZRU!WGl#rM=6$F\ZUc"n/ۊڟgz;k+ n~4PҢcs,'[:"_}J'b@_q2;6+Wx\R?TT?*ۅH)"Q,{dQ's$bJskcC6ӕj$ a6Dž2K~Pa_k褘Yiq~7:a]E{ HT!Qiu2ͣF2EI3٭6\lU;)Y89SM @Y&1 a$5۸|M8ح&ԧavJ۩Bu,I|n)YiPGI6@_\ #}$:+>нkM<' b ,%[=ag~I`CZsQGxJQԅ̇lPf戊O]Hhpmz#u<؋W374鱣#N&T#qgoi/lrk򌋞C^^ CEabK1{L풠 ( cjs1n3U N2$[a2IޮG`ɉw)0E).Qg9VO4&W×3aBG񍐖-%NKjIj)K.(uAi56w}/Cfmb&oq'zPXGl,\2Tqh艼JZeZW{ycS!-{ J@pi[]n;ھˊ#Wnt 3ZcR|S2Niݛ.6F`~.eV:l|1HLb̏o>doRSH%9*nGYZʳ=({+=ߥ_XJlzACoZ g-wңǞ(LJ#3 V3L[pؠa^db"l6M}wRԔb>%ۗB3P.<|ͬXqƍwxI@~UHa=] 5}nL[sD Jg#oalTT[oRwAGc'8$=Fx+o KʚU r/m[f.0,RJ|͛3ȽkAhI|Km1$&D !;{AG ZIB;Pidzgj\zҽfC_"Zշw`g #m9DҼg QNVaDFǿjN(]g\]ux$OQ|^VQIs >ȳF߶ΰ@}qD#PI4(Jęf89MNF!|E)kI &}7(.ºF694 Cat: ڿCribcP:˩€mAU@pU,5Ԑzqq_~:7Qm^g .E1GLkZ$B=k_`ⰴqӛ/WDH.j?xmf2W/c߃H N*2, RSrUOy~WW)5t]NC11ֵku)AZɲ4v+Fl&*z}S}rDx[ ')\fs9껹x{ݛsr.uXE+?˂ν@ ŲTLfR )4]q}M˨$Z c n>$5>m$ -?2|-?#CHص`f:VQoQi) 5)*k~ Sĵ&EsaDP4dZ,Hk拽)$ʢk+XesZr踖l`(K[jg7V8g1乭[_29+ٛܡġ;;VXP{mשL,Շ7'4+=%W( .2ba#|>Dw"R.9%꺜w}1.GM <FxFĂl%$`{5ۢ烓SKNa lP2.eY,!(#u"H< unR4]s8@u#}ϐVrmJ=3׵/ɍ1TZS z=@K.=ض5mz7Wf;Kԣ. y9{Zw:,z5!ٹ1 ]K9I3̊]c %9-H`lPcHmѬ G}]PM_07:qD'^9 `7i ~;% {јDo"Z=BayC#crϑWuK4?YGbb+fKdJ 7 5 ݀Urh3S!3A&fiL[Y=VVT[sJP z !Hi?0Bġqju[A,ꅜ R44:0ӋD/&vnzV%yPµoŗ(>lIS&HD qR+4c' 3f*;5(1~FZ +/CJV͂Hŕf @d()4!$P{H`JUARPDPx~U)5IfRe諷NSD.ި-4y%# T+/:>tō` d!{-yJ&9_gj Sg},6a{Cka}D5u;œT_ivIa)kL)\3tZ)lOTMQ*QcNwwF;뭝mKU߾aD[Ix<$f`ak:dyx2xihaƤ]diP䕶QQ\ƾaKQ3nT{4 Q0pig}AgR ɲW;snv3k(z-Z|l:6c˧3FO “0yRU#ߑdE _il j;9 mif7RqEg$?lEu30Vs/Z0~|k҂9Vt) l(ze !J'N2QզETT;,EHO*{FQO)hYfO72kPO:G@Ui0dy{M"oU[LgɛcT,s/"!I.oWlnZr^X/&E4!m'4 ۍ'%Wvtnq>MnxI3x;~*AfՆ-vM;V5jJ\bUnUW95xAA'[qb&S\Rb?X5ie"^j!B)L^fy4јھsY ]+FzAEQ!ڥ1+TZeƯ[VԆ_)֌_|WW"Nh/'>,VqCXv?Jf*FgpmD|qT( ~tan!sp &xm~+m VO'@s5EeAA=C0R$< 1kYq$} }IX~~~׫Su-ο.PK72Y7GX0>M/ɄCpkU}+(݀XOG*Jc`C4R@ /=~IMVxi gJ"/{*$;W8z-9ӂRd}vf`I-KA#u;#\J_@q k\E`TtM 摛C"VG@U2Q|t,-~^[wGoClx߇QQdFYf47b4(:ro( MڰΫ?P}h"kD[<=Dz҃ށ̡gOOF3/.Xu+]*%ŦŘ܅ 8ffj] {`ݘҀ˒;!q׎Pí8G c9V .CnKO 7.K0rjR|u'Wf0j-=" "e',NU[tK )s%sNыϞ܌r>};Ĝ眾z~ O~.i@ؙ'F|;|i9hGQtFX;A"6K,fОUg)ęT`EjD4&eF^H` %p#!ati r)s'RDAPn Z$erN@.8e-1KmbW|0λz$y^Fy~/K" H[>`Znhȇ!Rxm&R"58,\j۽AiHZ Ǥb \Ç m0+3"6F9&Ź+$2e˽ v#z!j=r<[qLaNG ˆL:܋kAeG, u*͂Mdxl[ajEzc (/#1)T$3>U8Q%P-@`R=ʺC\] f*eS>  D3}Θ8s[dCeQ=JS6?jv}^E,@.g*͒WދccJ8Pڴ _͋fOPP-m BhKO_ _bL鎏iZ[wB0ZVxk$眍7 't~s$X(mtKuwEٟ ˭B7h~\%'mboyَsBY S ͳ]T 'S5RHj85dDo_~v'gv.rpv`ZVc3{V<dҬbv;nWgڶ1~28[PKM'x*հ|^9 rV@Sl3 xe[p 7dDT _1$9OQB-npgKvC>7;=ȎKK4;Kg Ըa^lbJ2TщÅTPj.Fs2lj@x66OP.${zC!)m! Z@E/0^rGJeA)T(t ո.EaDß'5"0@PJо-sv4-aZy`'\SPضf!@ڬm dJD#;tnpuX!qԷ0֤Ȟ9k`񢔉:v聆GǸG麾f偘Ab}K1"獾(%ڞNZ{?.H( M7 }5!sN;O3qut $2p"sۮn*,z =ԁC\z|Q4+D"EE1Jr&q?SuUDh@mlBLJ/yWGLCPڑúI˺9z?=_tl C"gP5r}-\g(7*Vr_kAScNsR~OX`ZPSˆ.Q=";f\o A&evJHQ`{)nZ;=^Tdž>I &eQk@-[hs%&_DC@_&$3j\,3qί޳4ǾANt|{ؐ=&wP4/S(hD#1RyKM?CK6h)F\9U2͊E@Zuc,-7ǡFE|e.D߆s B'hGY#,O~~ːp-}KɚUyf({$R*82z[ <VYK0./i-~E)]0 E^  5Ovķx;Wc{aN3$f^0; ӑP[?\R$dhRkjGoyuShCe.axL0 1FA@{6Ӧ}04ą.oq@_?2T" 9yrʳ& ( +9\g8jsJر\ZibE{p-UԳWbQE)Qt,ZP.eI`W87Hܐ`z Yp|+TjM۫m[YW"[z]^"'A!SXU|cC+Jgc9&Ϥ֍L?$@l;*ʄ/*+ΈekL,/W1B<.7XHQx@_ [L 9B+t-6[)ٜoX!Q +2#Ƚ~[=}P#•nYi2¢n,]XyFRx/Q7gZb"93oYTF 1$JٺR;>"Wsb5.6>jneCuгxubIʽ,۸G̱5eA4z)"bD@Z 0k&1pof&[!3Z5n 0ӌ,DmpKE7B0O~T=칂 x-&Fa:&=u D9ڹ6.fS~uIPVF?#O凐5@2=T4GѐC[[79yLqĜX&ڛ˶q7@t$OH'{{E0s_C׻'xG/;^.!Vv9F6:m's):^k i{}Wcmgjڇ0&.#qx+/`pc6fBö k:ͅ"eAl4G`$ m>iPie5b^ 4Uf٨5$IAUKԚO1vh .Z}l2.{,g0|1'D%ނGEAP҇Դ)MD yXC#Ss߈kD9G]"v!3sVYY`|eŞUe7S(' OdKW|YDŽ!OEI3|6/&xC`2 0~%ΰ*v1nDRC0 E5 ܰQ),9qŒA=d'ԖG5Cj!-邃c.e\kKx|BT`eQ][Wd8Q  I&*:SOJGԩCKy dm[2݌0~u4p_ߙ9L>% :Qt[jQh.5=i$Y8Yls *A0@ \85UZ Db %]:I.ŀq[lRt,t;]o ykb7VTYBsn@p)<>t's $h nrm=ס2*i8cs9x9{bXĖDC花o9ָ򐎄b'b`iJ9H/Wicz#Cnrr-*FeJ5zQj+r]Le?Bv8V64dQT5dRѿbhSd:J5 _\C8UҺc=ҟ$o>*Uք3TjX3ܽlCy$H{).s*}@(Ywn>Ha0M,uN HYFPw|0OݮYQm”(R>J JZF%]˛A<& Ӕi'eO*q>!.u򣧳SCVWT'2CD.jS_?NAAʭq;-ƤN9]L4m h_&֠z#~z3FGoF9ŧm~CL왓ՙ&7;{|K! p<0 UtUBK8h}F(N|L!Pz[Gow!&!y!Y"E?84}QX:T*>&|aUVhhSHoY p_[6AHp2"F0 l+H{ ڭmƉ^idv }y*Jw$9_e^dCȹ E/a*\[dsD1>9=a,B^ώ<:m.a[T@T:]iFTm mwC{~1NFyQ½ߠJQ8U7w;Lm/t}coaVf+P~3(e)uTVu0 TUm&W»qF0Ȓj#f(6\zpNPjMZrnkR)\yVzI-(!1Lm'Q+De 4#]:`0TIۆp_y+P<@ny=_ӻi<sO)2ZzBMR̙/?Xd; a>_rl9!6[(l[ zʌ^WQ*t8/=6vgTI1 s>5o_x@c^&o[N1[.Bŝߊ|x>DŽ Ymb Vw7~{e|ao *m%m?IXv+m2˩@ 8Z%G80v#$G:sn!!x.MПDjr$+(zZFK;$lI6AMRW`kbHM&Bn$U56]<,sdl0˫FĶB`ݤV.. .2V.+vQ}}L:OXs9xxJ uuu N)Cqꞙg`P ~;ߠ4+fp+Jp@q5$ F=7EX9FR+?ST)kRk:7ބ9O"ögu!Cw [%Oɫp1,zm@` $P?5k-\FyqgY6[E_Enc^(+sŊ}|=?@d̥̆׈uS/swZdͨx%nyql C?!3UFs77yT4rtm(H6( o{xpm_"5UPyGqt\ PlDjTgPXLz:c|h<<,PφrwN|CErRNwstzw@4#$R-os n$ vGt'/kgPD [&>ӡ 6eOpa(;uI=okO.S{I 1~J"`&*4M>#]]? ʕKK7k Eɺ6dk'd&=zZ@p~I7ѽ ӂKX/^ P!Sn^`?Jy>0Oة;o]ל$f²}S"4}0LՂ:SM\i'HT~$=l -Rzf$<:b})פ,SHSbФNhkЖy9ll3l m1!4`ɢ 46Jhu&tH;^.0;Deáz:Rr#ijZeU [ȊmogjvV8$zƶo(oKd.|wk@-" \&I?pjjv{O6u0L #ziy+&t<+ Z  Y˴5nEx.HC/H܇9w ]Jp!jy ec6~A)ַ-R3bꚃS!Mĝ=)ۨy*.%XV>)hB`~P4|X5,}Dt?R4 7P㫎ScpC>^j@}pb&8SÜCFԜSt[mpƱ0!% XW-iܤKHxb= coQ os}¡;4(+^;h4:`$QͯڂvZ k>zs"oE@uaYnDpAǘ^E\ZZV}x X} cÙ-PUڗq\Jܴ|Ev{*,A)Czr"yIR(NSaV5q 5c&{->/iL.pGO_P?g(771XZUecK{cqA09-?G﷿d,a9EIk_-mT!OF8؟=|%5dmQKǘݳyVἶ5 mU:w5Ў3egQ46x>{ J'')Jvz7:BrmԮ_5)KR ÎTLZj9Nl-U~-2\~ܬf4Hyjx"y]J%zTS@œ\4RѭsMA qU>M`ˡZ3 r8g_KVs|%ILj5*-w>hΧݼ+5g\ʞa6wVF} K˯gA}$*wa!E!ݾdiZSCT{"TPCLH"2!?3% kO.` +dbo`w/ҿlt4= 8t] HIXiȤ_:XhL%I0"ÿb q7n=gBX31K%WE)&j-/Cl!?- {̛Ӓ9fZ+/ܒO>UabpAV\s#H\5掲Ej{ |k|BdunadN5%NDA1( ^ +F.YLЗ|П+hR48ʡ!x/Aqd_i"=K^dBJ+1y'3 rWMe,%˨P &`P1hqP\4B2{]`d?oRIFqE4ګx O$I:Ovuq ~T,0೜"٨@f Ɣ2N@?jog0[k&3>|mCMNL6e>o9"@`=E, 8(](S2^F]\̙M*%\:@de9Ćp]`p%' .'1v*:2FFjCy9sv1J'*a-a\oԁM Sa|'<;FD`6QR)W342@v;IFr $f!ÙM\3uyn)#VFP,K9&Mnh:.Ioǒx2 T&לsutϵt7>ܙSS;pP` 8qRԕIR*-ٰ1 V$챤мk;䕨QSCc+HFCPl҇NqOh^ETh٩Px/sDw#^,wxI5l:D(|lPjXP\UŮ~k<%x!AzmPQ$4xvL LxeHJC36r5=d 4`_PAibBW :,@*A~N&Mq kn tY3:Ot7y|_ۣ<(Dv݋;mx>&:Yo"*@QS\7:_& 9})AvVQ$Tm4f_fپQx w̭Y/ )SWO:"j`E!_]Z^ ^=9y$="*MFz{GWt BM3BRb( 7J;n55}`o)RXx Pf) !-r~<D> 6MBsVaA_ڕe^Ch:F4-\ vƬю|J S]ǰh ,?Gګ_܊ZS_tٴ4B\ g`I6k}H:!n f\d+~ry 1iLtzby~t:V簛U ~?ݬN-\~{bIJ8a,=rl = £4ll9q"m |<5O^ dBgy4jD(JD 5xwIQTiJl\:W7IY|YƝQX5-573}Z*K*b*4$H/[d>~M-kT_<>ކOOJT xJG2Vq-Clvh"V氖C!j.eEMn'4;O۟7r`8֪l؀o,1%͐c[(x އ^RfsQ<W#AH6 :ɌM+l70,+=F'ImƋ`QHD(C tZAb覵P\e%z }ѡgoLYL o6\?X(0l`ʭ޷ły]&+",6i!~zgEE꙼G/:u(E5mHL"äQuA=a,Á`$Rbi]YrReIZyz-+H6=cS*R_99dShGyoEԆu">IxhA@3=>&GuvTH%FW-PWHryK&:yF LO O)O&qTab>W-~ն1-I!"@$$Xi?`3s=*DQY3Gt:)(]G~V$1o:1Md cG~p GAlkD k4(oX>[%0Zo( 8Eĸ+Fl|AiQQZrQ8!͈beEl Mi/DХ)F˯=dk23OPDK{CکS[A`\=:}Epta\Z΀vZw@4g6G2UBȱRt֝9RFɣLi8P6K# cӷyc;l U> !Fw\c0 vWB4LMrz S+`5ПZ;oholz} "v΀l${v\>#`k@ҠD=Sgmǟ!:c[z0\0e*>A3fִ5k2>Fʆ~aYPzZ=PHJI,_uS.c5Z49ɽ8/o#<΄"ZkkhE@(Yƞ4dhVU.qQ÷VE6#wj9+_BGu5QEgE]A'kZT敵ٹߜZ˒ҕ/d@FϱI i 8zK ҋ@kE?{ᘷO;;/ǫ.m*Ud ҾҒ &*X^d.f)&ϫTxw;Y T؞@[ا\bW>ld˭' #G+"BHmZ+5¼CR90rNV\-}M1ՂI#eu } *p8%ԩn[Ni󶎱l] Նkx%᫢{yį;[KG=B4s 2SsV/=^CO@AFۛڞv&m6J&3w\!MX-}8Z^??VL |P<fJ:~lIyO]SRFY8HU"87F?oɑPQ6Ws|'ln>ڍj9c?gA3"@%T_x͠ [_X`ĮnWA(tt4Hc Õj ٭d[Gr7%17XJeox^XŞhi u rݤ_{NVr [bTm{s_sy>pÒKiQU؜oA rɟV~V:S%O^kn~r D|՚~k0uNNG@Wt66fNPhac<uNɤAR5̵!] zksQ>^̸/U;["58wiJ,$(?22O:^Mg'5B#'Q,22ޖuE5bT7k 6g[IyDpO2GEES#YBycz/EUt9+;_HH1Xzx6?ż2S$ˑ  b, ՜2S7?)=J׳́ 'n zK%ȊѲ#2 qL|;2"'bjAripqM, R/ʶkײ͏*U_y}h)"@'CP8u:8sQWչW@H~?t$"N@kκ Q34$T ̭#e &YU5z*Mt}aY}f_y$_Z-T0#m,tߌHh%@?Lڻ@jZ8k*-A"zJ#gӮw3LV 3l'zȁs-o]xy92ANKdt>|YyeÀ{iLOߛx@ ݠrj;H~hN+0~ ] AQ||<`XTU@+i"‰@lr"aDŽ9m7?2AV1 (۝Mx)Z?EDBOHSn :12}vͧUfl7i+fJDq\*d$SBpxgp][foOX]FR+Ӑn8L鬾CwO);Tf_+4-BAE^\R2Nqx aJa'뫚藧V8tZq pjlϿyqgb2f"/!q LkaKK*磧Q|:* ON&D^ eAb`?Jj@ҍ.Q( 4+!Z״BV'%|r9r 9F!qR6tdCX` (,\E ` kkժ]WI %U2|0$~Z#1zeEZ:etu5ch0Voc@rW媂#9hDE$'Y\ %0e&l/ߖP$rEϤ!VlYwՀ#뱋Zc][xf$}}_Fֻ?5֬G;ɿbU3pUc/ֳ1A݀ \-Ts,=C #4;{ѭj!iY"w (MhCk[!ai&5 bᣭ d]A|?m%D:IV  07L*L{٥bǂe \eL*J1D>a1_u=UMzl(h{.9b}XE4$25SG ԮiJNdYe%oL^4zN(Lm'3#'nQz8%Ȉa4[iRSRo ?Ov^dzmiRnYI3 ~ jbeIN4Zlw0'BHiP(#}st1(xKêie pV 'AN\Gx+3'${UZ #=V; ^ )G+_^B)%[[.0 ɷQKP%]i9-06M;-HdhrV; t栉.Bk:n1}#6:[MTz}IUMVS3Yp'vrRciSdsnk~n,J?CnQn 76'y94}$}yY{l D}=w,}F#xqV 9&HFRsH'$@4r'}oX 0eªޱynh]8uWmpbˤZ.!@g'Kr6X3/>̺zlG6cBebUo¸b9ֈT+$> SsCKH?-5d/.ŴPcϒ |4K i8ViF>ya>\<zGƽw$v'7 LhkJ] SHb[6.X #]@Tf{&|n+fh:YA9L@]0K7`OДeJQB>feʳczC9eJY#j=gyEICϯ|8HFf>& k:A>PЇh?}fBAv$z\W;aSq~3*.(~DѮm0Rہ2€[݅:z$ lM$Q%[$[E&d7 ς@wRo@ ҥl7gKǀ1 A?NtMxI/BkdID@7ҧU7AFM*u4Cli %+0H7`CA M<`,:y{d+*I’_se)ACA501I%l'I3)yg2z!U{0Wڴ|HivGzb.RORxhsw.o${͹C~$~MٚB1j*፲ t䙎GU=6Jɥ;! ?rS*jBq.{[V=X2&ʸ`Qa< *DHwhaG'B, 4ZwJ%X溽x4W g VCsI 1Z !cORd,YneRcefA|Y=s(1GSzߒkz)yV^Yo%6chU 03]y~~y=Q';:N3|.슡 kI]8T0< ,HreD YCHQvniKȉE6anƉÇxr0>Py{+1?|c" X>Α.j/,8C M=pA%W^omyƱ 'ovwf_zH"W>Ј|b&lAuS bR~woeFǧw&G}='IkaBç܌Eqngww0 ո%J1wdM$B ~ 6ѫ ԨA4_ܟ,ȱR$ I 6M8/tRpis$;x7h1#/e }[xv{/c6e D|c"B,yָw0OKWX掂d8A9Đ>*+S[, 2h&e31>j~vOQgE;U)\{Kڭކs48L eu0h;dlJnpH@,PCŬߗJ3-/ahyyq\56XX{sIg H8cA0nm$ˤW;Mn @6 gyY^ߴSnG OFK@M$_8¬ xvd!"媐_uRc<()y=8!2xNuA;h.xټygO < ƃSGIm_>)TڛZg! \"@7݆V{0E FyQFzl:@wrjlz\6z:Dγl̦& T|tj;'R}dL#]V/xQVOnSژ֛}2iWG]EUdXGU T쐘'/7h']ngPZ! b@WK(}F;$i~&T<~`.BK+ ZC GF1B1=,e]1Jzĵb=Dqa ht[^sJ +ҽNF]yeay=Z*/kR{|z3p/̉Muҷh/֙u:z^6ڀ\NW [\Eb0|e>8+==k[* ,ٞY0jG@Gg|ҐS]S l-9:hV.R<{ S7fw t]:6'n#E_X( zLD>wUpn-A{%jtBgd44k.NgN؀EF'o.`T ; 4\5^%xbBy;waِwo#mrWDďlmG󧠯 QNoޕ_mNيFZK>9Ǫ]fS9 i,qŕJ7¥?/(άpW&yPϴ|8C| N$&;&3 Pau?i1E̦f4y"V_R[$ )JߘSTw5y^[r>d$ *wT.Xpl/* 2o;L$=AHB 2@`[|j"~@RQ=+-7΅p橵awz11ya̧*)upUpӛb`Xh#Iuom8 }&,TP;mv:ul6|?w lsJ!!Wb?P"EB_K((am>n_ݣ䎫P27iTԃ2h֭lJm L:Ip&@gۍbP_7(Xywhk:x:L#q5/FxwX 7?em8bHT~U`e\YX{sz \ƷFǥ[8JJ w"_]U~5In텕"8Xһx7s\e蜼 B̈́wӧ?) u'AkLwYۢޭ„ijGUFyk禲&8@ u|oFXN aT'z(hK!H X.zIцo$JOxi3-0)l E!{ =lq-㭇N ;YJYnh;q[a? xHP8AUS=ht(w Pƫwixe{%Ӓ0eS`.Q#ˠl1FpFO^X~y*+l5Aܷ'NB!exdtW1鮖spY:?3xQ*$V6m elJK3扰͵ oL dQ*FumҗY;ݹYw!`A AQ%2J'1)~'$u/^|=7Q<J2g󬢨pw^4gޚG16ʹ9p5q|q3I&S54[xGyėhoMU8i~uAvm]{}Z_nGf:ֽF<<_Rؙ>KPBfu}oB8"8t<lΎH*y\MP"2VC~fB ئZMдpcЛS~I1 WΓtZtV:X {Mڸ|2l\6VÚ -}+.o"cN( ޯY٩x?sgfXJڡW`V5C Tp^##s%?[`P=OatŚ2+֙ !WH`ȡfr}.RUmeQ67bx5?f2}"pg2q>% JJ &>j8vOP#+JhW)h8g*S36E%.O*sM "zJv*$ eg8<"7p֚0Cy_Ef{ GnqqiS>;I=u5U`ޜ\\F_3uͲOY`UܱYAD|4ӍMP_7ℚ:H.[r,3g<_LIJ.W|Ly !0Lي,c}`Mp⢪:ՇSއb@1FANIV} ڀ=| 4]a{Ӹ#pM{5Kwqީ8׺aٗ#"Q e+F :I RZ_rY]<Ú7^['bN*~$/0&2F${R\ Pdi4-#^$U&Sj.Yy oA@ZI/.-Kёf @zfz˹Iq^N ".5% H2T\,U`iX$G)wK%7OcP0º\p;]^ ˘Xâ;0?KqcșcL I pT5Z4#zvkEjUJ[V5sJõbXU/`vFf,/W{!Rj_|t r&(^su.H-ʡ \KjNa s(8ϸ+[4NjH7 +4Y^ѫǥ0pG2 }.'#tg6/: Oف3(fDXז ݕ"o2n rB0DžRRpV <#`Wխ n.Ip\oU*5W j}nj=,j%rj4C~˛ xUH մhf"95ʢLJ5no悠WrW&A;2mRiSv6@ne5`{,TA䅐X>'Tuy45.g]P+cRi)gYZ7zXZִF! 6]ŗXiɟ1?ߟt;9HK?.>e7"+ѩ_E!:OW0z۶'d&0P7vֽu^x$߯`b^ x2iC-%qVMlCƹSw2ƶ]85(5#P a6)9I!* ,(hq]T xՓ !nBrˢ#i&n:_g"t^VU{m63>k,Vp 6KZ@G`䤺t֒|5 锢;^|xu0UgYZ7zXZִF! TE]ŗXi%L& !Ɇ /H# C U74c $5]S;" WɎCi!b#ROb3Ll TΕ LRs/Jj:@soqM  }2n> 4-TYX$ Fɇ6FF̀+Xh.Rb3+0 s6aq%V@v_jsMMdmntu:U?CAwJrF\k?bbW9mKYr:kAr"!61,(rQsej󒤒ggffh!ӊԈZv0EFҍ1!\>+4SdMNO0AC.GysMYzF?Łah/SEups( 0^C G5%b,/d \x:IJ(K[_Jvjw#i M_xېc-Ӌ2* C@)3FOav><ė(> d:8 od.:nY֡P //IawM$ȷG3klͩp`1 ASAƽ\_t>mSW/0s` A]A?O~H*Y?(m k@Nizԣz*јĐfIКop9 4̏%I7c`V`MZq*@]PfC} ոGSGEiDnlx=c8gi~خ]z*̾C ;Ȩjl 1Xķr/jNLѐ4^41$r'߯_ ۫D =abhح5ȑ"9 S-JBIpy׍TD~قu=jd6HV1:rSȑRH _"|; Y4*Gx,ƭسkؤSBȣ_~}== 5m';C!^U9c Lң-sR60Vd= _mLGyƹg籗%zi0GEGQWHrecSֲ͇lէ3"K ?-\K sLIoӿUˁ]hJ2Aخ.B;nABdfط^6E$wSrEɩ?RNP٪) hD~X(ʰgYZ1fd3602e2d93c90b7b8de8fb5f468046a096111f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b