SQLite format 3@ 8- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ;5| ; HOL-Nominal-Examples:threads=6elapsed=363.929cpu=1368.272gc=120.452factor=3.767zXZִF! z]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`l NQq#a=)NމL P`P|rA4WX3)=]Rժg}:V}W1/6zEC4wYܧ1c)AjP, OMymG%EݩF"@!*`# w)d|w]J &j*6l02,5RS-gC;:%L(ymR'.se {K)ɖ]lͲoB'{^O_s+mUBѨM5p-3D~3bсNy${WTXfxOr"i6=,(lOUtZi5.tmnK&7Şr6Qm u JղsCx.U:2q>U\^?餩}VtL,]QAk)-a6œ]7%]e)׷PM24".nZ\_UҶ+]OL#w[zǀ-JC.XaZq^vȪ69DZ&orԹ' ?]}zI띛֐|ZU7m{ť2o%\{;i!B6]-3G(tqt֍=ؖ(l0Z ô"*vہJӇ@IӬZs=CʣB 9z3nѫ`"vX@na;A{T}CFs)VET32+-쩏bgsl]@7˷NW]y?̞Pa6#{efˬPo7 DiؘblA3v_0HwKPSUy^شTI+F @*.1WkF4HQ̘TJX˟V`V_Ҧ}A {%=yTI$&UVCY# P7V+uLfGc-M:--"ʝͰ{`%-2z d}B_fw:W<EN{0Gk방^(j=idF)~%y~ӯ'Eft޼cY!W}^E _1ș}M?^|Pn?p,UrΚ+H+aDH+8'l$V;0A1ꐤ<&kx߬fD{Rhϲ>ZA b!dwzp#I\ 7BXV XIUo#,jUwpmqy,%+rͭW, .IUN܋<]HK~<dgasmR|຋KOu? N{ y^z}rn۰vDIuJw7 XljwМz`B?2 fG $C'VnnRV$&/N3:XO!QCM$9 U2YK֚h.MTL{jm_1x'.4pɠ}l!9yd-َ/.J>uLr]D?8j-xs(oAT6wŠ>vaTpfFVk|G9xP @6H`j"7շStmgD[=,^ÿkJ1!i9Cݓ9f+.ك~wK`"CďᦖȨ `sQ[IAח# td$'Xw 1ς!c!f>d (H#hB,n=%>",E.rA.rՁS:]_RG٫ݸmHˎ;)<5a!! dnp=eXG<8)p. b_EԷR /Ў=1ZQ2e"@>Ĝ{)~;dW?Z8QWh{Y$BOu?OöiMpgb\Ɩ54㹏7Øҍr1eA)yHNe9)HwP\喪g]$=?YY?Ҝu/V8b 4x1?2l #ޥb\&s0ja?yF0XP?5L*LwfX{+oʐ#^}nw]+h M,JN[ rHe QO{'@B`Ѩ,p-?NJӖ><d9U\)wp4[y8Ҽ" 3gЁ$J-̃zy%-Bۗhۍ7F`πZ%$$WD+mz [/*d~9CE+d%>xKCtgϳ(r{Xs6y601-ܘvhSb\N{#TAY.53ּp珕 ki{0S|X9ŖiK1RYϯ: <@L'CՏ.>>}6Iդe;oz%2_ږR[I&7f ONYpE, ƞId|{FS=c;NNFcvWc]i7 :Hh ~ɇa-a] h Ư AKkڢA[2U M9)S< sƔ1)A].7׎;:Cyju631K& i/S<.Y1P֠{pۻяҤ݀dj?τ)rǠa5t@j!ˉf!c Ga J܄i1J]Y_f,L ޲FAA"_ka )_E)Z>/8 %rIOƫ 2CA\VQ~Hս!vx>/f!;e <낸Ol>f:s"oL:Jh׸7Aƒ0yqCZ3DnxP~Psy3!kW*FHm5(:2mڳ_ l @ yzR8|yAM!6>t}/](]XƂҮhZ˹:s8UI@vԃX5q7 L"3ELg*c*3I ?G1,G:ˍTR@(U]Byu랳V߷ x4{=y.1`j8NtUz-颁0L(LaΑF^6bɺU S* B|4P <1RQ@a2Pcm,vXe!ds;;RP p[A;W&5W{է /X!ȄR Wm-`*<5k2V,AAχVfN~wEPa=hc4up>vR\xͷ4!uymEtVp_oj>ki +Ffr w C*"\2ҹa/ CMa&mt4A+vzhc?W&t#~gM&(% Hgu۫.!u5r AdwE,ݖSgS3RP);RIGu/$i;1.e.hhpML uX%,A݃Z`#nb1g]%GYN;ZYХ#DžP s1pΦK0ˈpF\8EZ0P A.*,"9AuFZ+\Baĸb9\d\*ǚDaOm}uK7UKxdJ!-+ڥ&j{ hD7N0 b7p,2,bu"g@^^Oxnp};*Uu?UalMҸ9_Gg@֍p*uX [ ,ZPuO\@7Q39m$d0jb6(J#';E=C($]qZ/efAo'i?jъ:L9Q x4oBgEZs6~Ѵx%G~ue]fGꊘ+ x %ABPZfa՞1stYcLL^a!~I,3'ZSUCIKpl˼yvR|O&Eir(:j92k ︦D`R:[<#LC+Og)Ѻq5'n7Mp0wslVW/tX$toi$NQ8C\* s_  [Y&h*:+!7$i*Tl,\HvO<"hdzyb"ey8 [̗p7N,@ tkRc +ĂQM dK&zVȈ4*oVqXh >YfʊrsW$,4̠Pn :j,u( hМlؓId˜r!] #-V˨crfJ"{e^J4,F׼MM^I'fPK25Ilwh4f"cp2uRHBZbP?T5H$884J+h4N ZY[QN.GbWݺnep4' 6"8&*e Rn_񐕷 PI> GD/sq|K_=#-@ !ދ* Y\t͠(>4&6q)R<$řa6gEpW}:~GGY鲗C ?z܎3ۈzr!"I(nX${ lċֲ(g;PDchA|r͝ܐE-fM%LIȨ96hza8@x =BN9O{ EkZixSdHWV*G=>ePe%TKszdS$z?f>M蠦]6]ZOIģ+lJvU9xJ&OsޯWygMyPvO-JJ6 @ Wޫ[-_+¨"M+P"e!buSb2z#ȃ\3`X{™w#wi\~*X?7wvdzhwW ȌQpBx+~`";g5֢I^#+UAW]|vJ5i|f tř6;@A O{ ^uA%:MFwx"_}]!y(+Ҧ4aaҳF|F;ZUeUp r* .SFɢ۳ ꖳavT@p y ^2.o܂+pFӺ ^ӅE4x YwFw4BZDK,>tWlaN]7.t'mRm:ۗ2M%HJ{m'|) WC5_޶gVT|,A-/;i-#R=E0is[٢[oyϩI}V؎:Tem ׮2'uWA=nXgx[c{e',`ۆFi6-Pg0jqQYAc3ww+ЏIrFƬlT\}Uv*$5!5>Te1rH]UAkq5:fRhSdOFLz"0e{-X2t#s]QTRX?Y-)^-wT+zyϋRciئ iD S hЌ,)[.ϊ-FVoT:<--ll-քpu"V.o(ljn952^΄fl;c{L1ttN^~$ ʉ0 NX k\|\QH)fc\bh,@pwNi~BA`7xы%TI\r9_P%O芾t CCx'~~ ^ 6nX7ͯ[AЄrzxnQޏ_\2g ~Yv|I-Xe ~ҧ}h3#33Cn0 r˥e wrZ%hid2X^ᔩs)T،Xi 䧑PZ}-$ȱB s;(I%ݤZ23ShC9XgˁiqQ(ftS.)9Kt:]#w b H7esUw/Y}Z˕+GWV"?TC\/fM!()?THҍF,^L3:׈qKXnk<%ZsW"_a(24-_x/)|MEx{c3n2.P|D"8{H!/m\| J ~UV۶gsc2}(e,qoLj1@s@:N7Z̈́9hEt=HҾVM8 /oU͎(}%IMQIy!D#Q h@U ֽb FPo)&Ϛͤ:M DzՉE` E?kI#+E ?e\9mφ=?/h_,IT<0M)jq%hT"Rp+,c~L'OW ؾΖ$C돖(fļl*͑*5 'QBo~Z6Ff"FR`,}&(<)P˔3jDT"oJl.Z4\һ0DApv…b*Vz{`iqoj% ~< ;A?^ zN;d^n2a&L! ^$7|}e'xw Kƪ0&h^5h2Uh(fCdnllK}5}d:r yd:%c4(p&oF=xGLftGI)Oj;b}fXX?_rfIZ b +^j(V]4+)߾q QyvU%' ?upA2m%~\pfժ7T΍1ecq 5vARN0 @;C |jjD"Xlanzh =b@>QǬ7cTh*9Y %5.Yݯ­ȞB_:H¢ߪen% >m zc%.&}9"MiYifèXt!D'o\zk| @\FWX1.qv|l(!a䍟*h@]E }!ȓml3s~Sm޸(>0km2;e6GqFU=7:k}Iz:FHy&蟢]xvWG>D3RUjp8SȔ; R jme~F>WJggyDKܻx.NHa `˜4FX:rk`O%9) 5&⮳CW;"oX|rPR`iVnw ^?*A9/c~ Q-ٮQ})m8Ѥ0j2)O֙)P`Œ ʡИ!^ 3$ dx%l]x &`4x4G I5j`ԗ4iUf*`JYhnD8|#@)7ptF<|f/=^=>Чu$KXFn4+6v^0ͷ6ikǹprcHBibRzc|lMxv@%pТU|7%vkb*X&Ѷ,]6!޲%e˓zQjM@w1gc)^mtoObԪ.ǎT`2#Da7EAϼ]]Gf t|4B_iSs[hVWHZǘ[lbieD-o^ cl(;4uQF~2-˅}"9u]'-aН ܯJ`pY|և>Yr(UM'?{L\DxЏʣۀpq ûn,u%f{}x r5aFa mopB f-wbcAU7QIMvkVR]gG+F>>ܳM-hgz3XyMy6j%b|ߎWݝA6lhψΥL0ț  /t@͛xkkl=f{7˛v$굶]z|Cjh"Hdڏ;MJxbb44.E~U7Ad\ (F]&M[ [ S;N=Ur>3j>v.$ۯ*`Hhb'[}_9}"ǐBv78Q0c$m r%NtgE;$g uts2[[wF A:̈]N#Y}-+mx26Zu: ,ZW2) bDv3"B) }NɱΕ{N#(~|<{fj/{~P[XbZ+[vѸ luhkv`w4ϭ~ϗ&ǀ%;آaBouLwwcc3!l{ON`AYxtLbݰ3cڒoш~:c= B.ͧZz_k4s-9w^7ӹF`Yd_ K SCpD % x[)VcDV3Q/ȦQh7p`1 xՒHƐ&bLKĮ EQr;F^ܜ+ \ 庥k(%7+E׎*"[֕(u7ےtxQÂpcf* Ey83q6׼;VɆO0b=.9!yƝ`?-xf]' a*?=v pey'8&25mRBbr+w)86blxcq߳ΤG>":)=k K]ü5\tc @-ovxR?IM:)YHX#U.(f#^/p3"nxJU k oI- (X\:w*#SHdâyi,?XtkqQI`YUs`.-SITJ (t9}f~dbxq}a٦~_4ȽװrD>I(wf3pb| w7j)ڣ@$%{ɎȩA!\S4}q)I-Qvff B4$_t^4`P| ŮU_qKxKϯSgۊ[V4d{Hhwg{Er( ",ՠ|oT1}j2J;o9fopw[^8R@{B.5MkZbOu(pG?I,O|7gms8 #ᎅe)2DFdڢs t WS9sY`q{k[l00{k-w&ZϼaЌ-ܯ[X=6vh*0|Kc}.bθ"R'qjuN3ɯR$K_EM/'&P?l_qt[oP&%ot]D,x-ʛ2ķ> y6$ֹIKy˩1  =7ͺm(|>-Hx EQrӊާ\<|SJ*'Z<PO~2]s⓰cA=مqb D6޾>=)\MjoU,VrCC"@{|q+** 7ҝԶqB,즄Fi 54<׿ @q_]g䑕0dg+j`p L/˴$*$e7֥0@X*yt +LN -Tqh_W,rVA;9G{]s#4͐JltbDf,VTު&=v?=[llS)X*.IԪ{ al#*o%2hټ2k`UVÍ`bt/5C!Z7)AP`=𷊟뿂H΃LFETUg0ɭ9+ lf#y@ʼ*>Hd^S"fƥDl,p&ߗxKxl"x}0/#ɂ.o_*D UGcug/H7 z X' !wDte"~N2[LHrPdT8l\QLǒwVIO(z1bR &_,e5,mACݙ73fTd-fD^Jqb?{4$b>0d?Eu˯v3]9 &;atj臻v ~;͂^IOq?gIdk9.%HcG-ImO1.4:Y2~=NTRYhCX"uvVήau6J쮞?z$;BQƼD%Wa="pjڤK-&81$YJAg53-ǭ)fnmwaoާk>Q^ϠCdLf)Bt~^jTV%N8fJaXj;/Fl5 &."w mT1at/9GmNY B^[QكEm$_z`y5r3EXY8pJ27:5:Q0_a9K&tؐJ({跩kUcHa%Jژ' ׁz7;b-D:d \Nb$ (g\ij0Vۃ~līgM%4(a`JΌi "70 >ņy~&”^g.Y6| [I=z,ks%2'vp!SN5:Pn"eÿyKQe8buHs݊ ~]y]clx^wEDP.[Ro-I]UA̦tcm8f*e#dKX*;DeI Ԑ?d&f? ߻-*#:Ӷ:?>Lt[4 յaVa]I\洨= QV}R}q4}=\K,.\{\^E!A5RC{UlZAqkB%#! *k>=-Q~7E Qªjt/lM54 fUP2HAM|v2p!=+ S64V"*pk18EX31`Ibq_>jn} ):3#rXna? vmb5'pm9EUI[igQ&pp}s6.:L, };/wb dF ".=睸_j1׫PD5S^~GߧYQ, _ -s@[˽Y(es<̒7-uxeKn(>9k8RVC-ה蔥ؾEc+PDlpn18קq$_`ΧY :~7r#+2VڦѼъXs?B0m+v{ÈʕqcmaS<1tՈQۣW|FYȗcWCvT'ͺ ktJȷ[vI]F6Q, Pt$y֞k2d ~$QIz7'_*^O`?e4f M䋫#L#k)1v\.GĎ/38r$XsIDȔ@>ZEtd~ A7{GB<]CEc^0%y.(zwðw` ĴThrݍcIYA쑊:aŶWAOq.oYFN]BS%OŷUΓ;KR/hwRHBaB@$:} UtċբϔeEZȂ _Dƅ4DU2}u5 X)eVƘi"IzX~gI<6Rl00y>T<ړ[] =ƹ[FǏNIia)V9S-#\oi-͵-pP>šlT;4ktѧ @+DX.(E7\Y-{D*~CgH)g_x L~C0,v dfl׋r \h\anZ#&/|U9!IS Þs2{cHRҟ8zYGWDnRqdN,|;A(Ҙ3+̕>ZSY]5PXL;ֶ.A!o*;i  ~d QNقT33-fQ{mk Y| }=048'ʀ{ұ}?qKڇK=W~~) ,T;Y^"vJ_^'-ZӚwZqM.&F:KКuf U@oFK{*$[H (obk657/@잼b̶"Km#ESqWLD߯Kzr0Y&'oZ(*œN)0n!8z"bdNs1]Z1,}JQ8Um *<)O`IK6Cn=p6F^yP+ZAXX`VO*`7fnp gVz$ڡԭ|Ug W8@:ߡH`綕3z`UG Pk#YhϴFW>oqϻ_;se;x^& XQ i# J.7f\a~3,MtICNQb=/:M"X%,bDbNSue&G#u 8fCq{nԽ[EpKڻ q?غRmP!'4sz]9[ Ad%Rd$sw$3 ^[ ;ELHao㵯xFleqP#R]5 COH꣮mM'YKr̴Ұ-pEw$PcX=^(%c,1B!& B DHŝX!Ul&sK1 "=1 n٘{1C*a]q:OX# '쒩 a6]K>e\CywXwR.%$ܛ1>S(Jcpu '|~{C 7qE[mBq->cVq 4|dc|kYUF?B65Ҧdz[{lV_ON$v{UщtA1aEU_6`z] NVMioa$qF>!/l: BM=7- ycq Rp857#P~6+9yI'ITt^c@ 6䌓Tg#A#f2ک*-;< ->E*Rfʞ[\y9/.8.UFIW̶ؠB{b(3;n*_gÌ0/i!qlZ̛$<,#P0 vS 3DVGO .>Lvc ELs,B$u͛LhupBS0 ^ rz̯\U-Nm 6& ͍wQ0 g\h!z>  *ns7oqv8\!/MnKX1t׹ '* M3}Ai MqB&NU|*91| Ĉ@Ppd? )#~$ Zw`SEZd.!DA*G1؀ރ!H;']?i>%N`a{X_whȆ2zGXÏr}Ijћ)͇Uۗ>(`’W0^ '0@_.CHfyLN:}$Ʃ^<݃l m"=JK(+2&z//yb{CE\WUT -!KJ qbS2} G;iie ljʷsW+#2^кy`O2 B5!;uri GOHZP(χ~v|_\uraTSj[+vq Kv"L*]((˅}sؤv联[a~56>pd TPMa^o>崥a}{ɘ4$Ezμ,t g?^\*Se"mY ]@d>N y[)<ܼtSP=-Ay }V݇ J3hj+JބjRhPz|xrt9>"# ܤB9bRm:Z9/0ȇi_\q)cC,p&JladEb{lǾJ2P ːΪ6LP#5544rwJAϭ ֮-KƊdj͉R(7Ww89[upp[N~}%HcQ)G5(ƪg5 !4ۃ82/*c J52lbwbQ<%P (rQᬌJךqk O&4 L@ 9H6"tzJ %{\{`.%޴##R̀|k$Ak i2x#K/u'`+}o fw`PWj7gsȹ~/D)_W댟ªQ+ qm-C|+Ҕxlj4p޵h?<[6YjR'>4ab&yݚ+s;szc =C`\Osn_ϑH/#nXȥVgW(`K(Q" xƆv hFJ>β*?Mbx opMD`fh%N7ʼnL%(  A<7U~ŷf wN0 }]%_i ޽/&< 类'd9@ *VHՎ 38_`e(_q߄_02xHap:sKTõW$\| :i~s!q?3ǖ±@.OHl{:鎦frm"If(rc;ۑQ|wdetvFo~!Mz&pĝ &q0!]9"I,ԟ+y%qs[FDLg/qܰ-F8x52zȪǃJʒÇ|ycWv ٯB6Ҫڦ20j1ԡteJ򀴞`;xuDF+xѮ$9UHz-Rb:a'Ќ anߐpE d=6AS4ڇ,޴柭bP0CԒ6+Es&&km9$wSxu\ǠC5 80NNͺ԰-|-vȞ3wq(@=pG-6C\!IlJkH2]Í"$+M:܀|geY UfTOwDwO RU(} I,TgHtOZ${X!t=1=_F(3t38⪚jj.L?ȐL))MްU܏ iZu$XWFZ@r$fLBN^ǴdZLHo]h)_|-Y#jStOZId5hS#)uzC2+ !/CKr(uoJSy yT-X~{A[Ԅ JdQWeAC=HNEsb"'u }7ؑ: {M/ 5/*k$rѮy|?xU0ǂTLjФ$[Ԗ]bzto3/<|xɮ*ci_F0жtIx9~Ӕs/HYknatި|@3Z~i-ܡ!\VOiU4+}8 SƅJ7:`4tXa+'$@PzIqvֺmc ƾǨHN5|¾DElٖ(K%znvd^6(LYzG#D[F?׷/S|'!B~~=Ru|J^:\M: 8;JG5$줢w-Pرz SMlUol= r0G [s",/!Z[RPO%A!D,)Zyv\\g 5e33J!y֋_v1[oĻM$8 F=fG!ov(?TIKJrAP1ܘS 㥥KOz 4I㦜Hb a\fd1=M2YdUD6+$VpF\/6BlތGPkLt:;x&n+>Do1T"3c؃ Ac#w~37\#Kb `q ĭ&{9B<01rOڶav`&/pUn'e WGթx*G`E@) cyҲ!A7'o:p&HOsOF7 ~ N!0BXo0ll(`9v`nB|MWUdSF,]$ q> LTy>zU:# vt$Ӄ;YDUX %ue֭!}p͂XߜQʉHAKTtN.9&)"l(edIx`d|qáOk|ӳz|q;8x)#LMꡓ3[˫TI&Q﹮ף;7}OQ;C $S[Bdz9pYኬK/V}@sK>zy0ޝnIl=}K$pyV8۠;RH&R.q;9(n"9&fHTSd:'|ےti7[p|.{6g}| y!+?$-;O ,5'rV~hOfFyHy;zU˽s펥%w5=y 7~uhN:79%y6:CfCDiF /2tk)@R0he\B ՄnÁQf:=nb?4 IzQy۲> QL멓ycQy!cP?XdVϠ8QG) iU+WsMCK理 ޷ Q Sp }肇 'JF^5{c2K[T_s_/TLNl>9Ĺ$jޔT#N>5l\`+clwzހف)t`@4 5CX~Fm '=ty4RL@Fêٽ<ޣ8,|kj?nIwLa%ȓsimӫLp4TJG[3+YӶ,B Dа Z'c\"Ҵ#dKb j/p6&#*ecpQkhTp+N w^2IQFꄤ4a/LH%,9/jLcf/^cު0/:Z|a:)wWb3w-R*Jʃ0̊^;?x V Ĭ!@A?5P{_Lyp=KWoÎʄNaaxO'bt$5In+ :`U}RbwpTD q>WTXůo"(ȨM|*- frvi$6n-QM+@G?UT6}9FNpȳ&+8*Tݕt|grђ!l[?TcH&Ͼxc%hyzsl_=*-S'+־Jeў"q D/p\b`œC_7~1+w` 1>,%ZX ArgYO؇`걟e\r$iI~?3[e w\v/3D5_ƐJ^BTx7HwrHD>^R#r5x89 nMMJC<(x%P?R|i {x/b2[@Awۄ8 &T_~വ$0L2TP'|KHD-pQě !=3,_Bw8ӻ3a,.UU5mWKC=\< 2_-m۱Og4k;&!!8AD b(0j|ɿE;WF#a,\X$Pb8K1n)+ԧ mZ.X/+/W6Rۮ(&uQ AXUMcvdu5uSV´\1sM|ra!ty•l. Aaj VO_$w bl/Qx)g 9[VHO lqJםRJX}+y{eI8@H!39敞{0b("uq-ҍԴ1(_VYRu5(Ϝ+69:GP}ڑu,-h<q3DK8ڃ>|XdfO*wȂ:%۰'$1!;,SUWHL(3v5Y̫=>Tmz^۸i仩PFERK_q2|&Kv5ȤWEIi&-t tq ZOǸV^EӃR\_VWl!Hv;Ńs+=YjC1# ӑskÉhK ^5E;!/^&S(RemI9:nneߔb g,.%" -՟uDbN45 9}ɷ)v3lCuq#$GA˴_cr͢A,܉k_'iЛ U)4 ȕh/2PqD.&QwuYWWT2T0l JmP:T PS݂T*W@uӗJ:Ő7 Țv}nXQYɞ(k5n*O¾f%}*%4ӿs,Z"g/"Jဲcx`-Yh_)z&6a 暒uTY~ڑFH*tNb(Wϙlf` %7HyfR+$׾ JM/SZjX3$;=BqH)5a0YLq$ׁs\7y]NX *!Sze9H9&-ݛ>r*l#‹YF@:6]TM]ģG.u>@M&%OJ<]|.}?DTx) 赟 \EF]sZ}#râ/6o*.da0JDunPdNJ*JA/<e2\Յ8MO71ף%HRay: *ι>O=Da=utϧ::8~T.1'AzU{`on%In$ V#?&y|iG %$TxSԣ2y/0ZwRt-/m)4wgѠ7nXJ9"g[j/#ʯJPM|.؉l(̙ԁR9 pECÚy )|3nnL ͔w"-mLQҝ |~F! FӾ0a`'77SeUj#SEsi?3NNu!&NVhOtc%U~VYMvSHc4XMNz=MJb%rOv@KYoh҈||xp`U?]7cĠg ˽lr8esR` b_jH|^+PMv͛m aC}8B@ HW,!#3-:MFᱧsӾBy ^NC96χ`N ɗnUUJйh Bڌ!L1:LԞͲ:j*AZlU"+Ec`^@ش?.H$%7]tŋ,Dd0elw hh ?7ll8ȒISO5A˄!ȇ{|}4=IgHBY2ϱ}ŋތ^TI#~ a})G YKYׯ`(*_"043N$B9j'B>P'fûiP,^$!8 gSmBXSX7j74D 3YwݏAH9˂wœ"X,^ aRU":z7tv]g&e&@jZtsɻP+@!V1;U" vpCM'g;'ꌯ&'@6X*nil!@oz`XPI3! '^!~<G7ȍG{QIVcT;H TښexKvS,Ѹ+ VPZr+&ˣ=]/š[zz|5š9Mӛm r]$Gk4yg_qZydB!fjJ:TBJ%e_6$eܕ0+,f0#zɻw[曶ky:Bp/Kw>|U0 ޒޮ˪n $=3~**fqs¹SJI|8&&gԢZu=.1~v Z]*Rx=rHH_vQW4|q<yb〭@ǦC晹ϺUlANn"M._{UGs|3*#pǤR}^Ũcu3qXh*4}f~1el34Yֱ0NGʺ03UUVEfmyJ;ͫc1ݞ,}8p'vUNym~h{t7@WQZ CjGΆ4Ko{z xTpE8|ɾ$-\-@g!hQ}6q">Xb9~PByu G4.J+`|,& WTCU ok jr+ tCs[GWcоmWU$|Kp%j-oCH:9ovEujcHb:LCE59j1 7>~oAiLi^ nr_*4ԝ /PaL(%=ŘGWwr`5^UTܣ:zgƈk<4~kn\t>$o߾Kڥ+ 76guhw4ݽG^#$k_ŭeTU"om{n$5#zGH*1ĜW}9hsk'oV#Maq}SȢpcql h槃-YVݽIm/  .7Dn^ٽra}\F$mf0e=K7أGAc`l8AJi/nz 7?6ny-2=xM+%ٚRaVOqG A pNai[@m1V>AĹ\y c6)t7Ozq8KBvR=9m]:h2 eн-5TOŧT0C?f= kF\"Em&Y%]MN!wsVF1X% OJ1vH!D7x+x8&;Ӑ?.Y \Fw]О5"Ab s.W±yHƙUSUIXlSc3+0׹{6' y8RMAv2g gr@db!TxVV})tr%Zd!4aլ,*殦1sbXCJf}cZKjTz?X`jvu߿u]GAY< r?$KXE*/đ5{5bG@*ڭҴqDcK a `vE-e#QG/vB.X~cOYPp>~7qY>v}*^R~V|N&GKxs&vbezo1eۿBkʑh3ݢ܌.,q؎Hh ͹صggv^wx54b?ɻ>w'D̄=আ Abw$Elg&\)D1=kbM31ap%@:br$tU`TC"{X`0`e멎פdKŔMikVt6Zu4]BpKʤzKޔm;mu?r1Uc\P1W_19\'}7 OPH2+Je%u.|-V&+c()vKx.1E׵m/" EƲ`(n̎=g^}DfajER$\`jtc |*G)/sYִ.$M3AnSDym4\`!es(Iz4?a{ CtIBp,k u6MF4]={-ET'Fc.FW FTJ6'wEWT뗆>JC8۴l%U:mk~ue ?5NHƐ|65xYv+\2Lo`q"/?β@bv@DM! IIud\8 fK>(j쮏z/nաc{-s%eWA:P)9$0$\6rIz]uk^'!AW7ėfpE<:Aʹ;@-$ ܁]~~m -sq _qc;sIېOcɂ㏐ho3epx*pjgkX{B ݞ[&pV Ǔ6~AW fd5=<&ybo1ZC\ov2J> Ǜ}wy4Ap}&VQL2Q[f*L&D[Jj{%ش̱f PG6ezi6V}T!cb_SYQZS $zգ]q]{GU֮@3"z V1RQF'zQ cb!~HnC82c]n\FOQЗ";L0F#>i]oPV1/OSdOm8ޏ}JN:!QL:yUotXuʼUu_2BGbjH>?j8PD8҈=@?KH6C.w`L&2|TN/WuNKYLǝuù wϺ%];(@<ʔB`kՍ&MFC5 *XV%)"{#چZlFK7~Tޚ5VXCV*E5M/V})N1 eR?t)}*F`*[˭Wj3 GpohǠ)h2Ap: a$R'#؛"R pd$R'ZWmK/J$5ͪ:t\Gl><+NHFK|Ix`ml*tkЎtuXٷ4a:NUvt)[BOWH9dn4A>'DFºLZZȀAa{訤{{ ^vA88%9^ N~$R5u!-5Mlj+j]&s4-cN+j'4, %:w3e7w;|p1 (yc|Yפ'}=۶Ģ׬! ϫӎABK[nܪ"%GGF>~V;;?z!'U_KFfCf]Rz_i6Dxơ~ACX.5+]p1| '/ @D{fQ7rP|yhXRq91n.ƻʨ1?vѩ@SщըISMX;9UpXVVO6ۀW=u3Fugbo!bFI↝ߝ(quZuX3,咝РEW'1g<1)XxrO`e?gBPF>>xq ~Ddikq^b#F'ٕr@sq_2s("дQZ0¦IWԶ Xcڂh˯@erdHRIB(dXM'ómΛرPja 3I  AhP+h~]ϴ_NMk8#7 gi_e$X~ҏYА[Q ,Oa`X Jj%8 ~7O#1SuIy:ZZKx|{+ Xn q}8*ˈ5 ?O n +}xFX>K:N 1{ڦ3(@o Щ h 9w3N-IXg}?T!j5]/"OmDvWQ޳D+teR -}KIXW^Kr9~7"mDz՗][96º۳6r~XYTF-cŭL,vd-m15~'S!C\mv<r_ ޘ1) JgI$!9+ET{J:UNMoshտ#92t $:m{_`! @ef;-.F3\橥;!OC<;;:kWt/r͈Z@['[b(ZWqh WC"$RP=S)4 8 zD+ C |F ,_t.|"X3xbokn珩CZL9x׎1\6b;IW%܆Hp3IMpJK=~i&KJHA"-yM,FllqhkIx:ΜE:u`>P(wqS}5 _q70YPhzT~8 +\ܬ|"o-)6Mk"d…{KsR5{v91ݯd/ )nR{PctoR.r3YSV5U8E6GCUM_GYOc$2 G3M6~Ώq +Dx/ H#'i;;Lɺ#qsu!aph{ n4_LȆ^\z`ʼ7,sU8Y;2H`R%@ƏU_x +r#B!o`!W 󨡈e V[Uro8k,#l/BUF-0L'GPY q+^%%ƐĀ\PJ޲v\Xb5vA'gڀ]( }#ع4iv{f*B!kyg'ƭܼ]eI"d(4El6owɇ 3^-/G }KtnwѾBfRU5&\ -H_-eqybxs˾½FpNo*`_=*e:FPs$7QY˂-!JoM+v4"iJ '/dϛt߱}msԫQN` 3l뾒(P>Ӗ&SR27IurJCKj.C2Kʦc;"VXua3HCnr\ jW- rFnVC2[Ifu$4Lwm wN{&nU^B>?%1 .v^/"<]cvnnq Pi?FJ#W dYڌHvɪ[Chm?0b:3@0qdlb{Gg^eq>,̵$⎒締)!':ng!g%U/ nO"jKlyq|FM$`|Vaޛ )gA.&拢H>J3]ti=( )*^X:?V-~\kcIJ+e QקBx9ڈMwY3b'd ZGBkt&QeT} 1n)Hm͖/=yCаϠ)1+meApYgԩyX7'[Dj 4 %$^WOd*&Ҏ-ݦd4$r^$̍ućg|ZGsgNYCJ}'A#]id*f\GmfƃD@ {GkѱyYcGsɤx+J)*gp |*VTppi㹌%ˈɗXrag 8l'$e RY3|EJ'Pա҂ǒ#i w8O1λ-iB=B*Y÷ċH7ǵ+=[:C̟{wtċ)[7i\ =tI@F975"6񧖹mlF?C}9?scxddݍu> Aslp*}+jvE"j} ]xE\ft=?ךC'I;_I֎e!޼FMpϑTboRk mI<\c # t<1Y]uex4-X6&E> Iid+R -qh2Sy(&o j < lUh`seݚӐ`K^cmh_Dn͛%q# WF}{,R0?HRb[QF}h_JČ "oGKHYBf1DBNph:e#̽)L1>5%PKuҾݻ%K<*ev4n%{A&^[Rfv}kݒ?78<#6\36}m7T'77_l{aDqKؽIQd̝)Y>sĐPz Mq"EO22 LZjx0trud q\V6nÅJa{?wK&ڳBvZ.21W-_ b yMLm&%2T\b [KM aZ>x.)Po݃\f}A57wn=C+ɔR_t 9)A˥8~r/Ѹn)qefxߴb'tt J&GWE$I H'>3DmXDPf^C%UB/~WRo_Tfaa?NFmzI5eB>̗)D70WY13mZ<.immWUn^l39[?\T~r[t$"!7I=򴬄rp3fڻ&2`Y͍+]u#dh$O.#%] fs;aSK)7Jk@L4҅YW/W(%c3aђT0*;*SSr.@I椶9 82{.|E1WaC fQvR2==>"b*oJ'OF] ctL?&O{ fUgI .CDH^ [h2LI (R nceR9~c`ѻInD! p"$*O`A1/H恨|z$vV֔v( V W-1&q ^fҕχz%(ٌ9 Ry:.(:(|SQe_Ì[x88qN:o)=qz tA֍Cw W9.6=2!OD;|#U2N~NZ|_Lp[.S6dy#sq!"n|;Ar5>vzzf^ۋ o 1QG47SAԊq=&'rcCʩ 1_ICuCₗ5=8Jfy]FAt/e4mm?jDU"ͱJ?9,!g% CxLR֯J߰i@*tX69j3/Q,XgG yfֆIҜWlMt<V*Gb/jn(&A7رz>u=@4kM_bW.)PʾZ̄ XӁ? gDn+bLim6ufւ6.iXEhj8Gwa`C=qj&uk^+i\Lce`RK>3)|ף,!F-TY1KkoԈCriJ9n|MME;QܛwidH0۶eKzoD'N9_{\-!.3)1I<,wBl8WŞ&N΀$!U  tt7ܨ9hHXaA9I+uvS*M:8Euj6 {aRQ ռ #!I\Z T3yCT,v'2$ p+ u?6tS}IMT!{+upkTa/ R<c|<,QtTƌ3ujd_V-/;z> gXxt@H3zm}ү/ӓzARZ0)5&|L{x)`5͍Mخmpߢ8m7(lC\r:y5 ? w93$F,gMIC'B4d&Pĕ|c{Jc{<|/d~1Nd ) &2m1_|m7"Y> }bm *w="ue pPNJSOc\`A0֬y !|fQkMF+4=w[!0Uc!J={8Ɩ+,*NΤ$f/NY=3&?5|2oEcDm`G?w֑0! xu})# H/Y,uBZ[aPRo?_ ~p&T89E^¦?sgM0R؇9|I'c^2|a1a29UJx{bSvb ^׊LAjhk?[ V5?Ў\(3љآi!0.3v;ъ9^rІR;h[l&Kttauֱ|xH߫P b3-6ьo }}ec?,3S\ 5b4*bÃV&#ijBUk#r}('AҶyl3_!^hӹ 1pdl3Jϭu7.ˆS#!Omt*ÿ)(s3Qp1 >EW4|hG*>NJYY9ꙏ;-ޤVh?8j!&'df95Sl*WVC I]ҍ1u<$Î`59sdi"\{d;(r.Ê=f~J]aDT4$4`f;Iώkͻdecʯh=O3Wa``ƚKShQװ'#\"W=0C;R.junbj"bY>jDbYB ` JM'h-^bnj!o  E*gkC;<ŐdOb쑗fzҗoa`ϮΈa54Z6Dp̎Qs&u` 0mqɨD$0/{>/軧Am w=zRQ}ߏ|}iXOrDحlLBUAUTiM&@5~+Y1±: f%)#\ﱨ F)hcA20b`x`Gz.eb*0lV-+Q&B ,9DzitDO2*/#>6?dB_ƘJ_bB%ŕfnūel˞ 2ɹC6C@.al`p-GUDַ\ꅑIS|)lfL@#F’F塁pģ [NsCW|V'vHN ?(_F`qRQ^:)DF\f9ten򻒧9krkn%|f˞ggrz1 *[L{By;m*;2y~~v^dF~̱dwqw%m6 ^my5qK{-\ND-?n.t:]A B12~s@O!u*ى(#=]253td9o(H15dr\}TϲsR2L(  `Q`ɋ6R}u#Ƒ#> tZeZIlH|9q&A㳩/\1Ÿ4VFIΦtMQ7}NuBK3wI}Ni]陳. 8{^=7p,F$@``T~19m:ozr3Bdכ,ޮz+hW zsq§S;@h >lB1O(Ԅh0 VI0L,5^ %"𧠷Luq %5%t{1AHOk1h-͈)[/S#̈́_d]uϢ&KgvךX= N~d:U)D!/[ut_{YHo7'N3O?qƛ!_{T8SsDEFu2N jSN p(4r,D2K@A峽{ckĖY?9iH1>+z= c[âʌګļdi/av?0=!Ĭ>@T~G{VU0`QNV܉'"jt~9XHݔ\lݻEnSl X?aK1Z1kڜ_(_ hqĩt^Pm$(sxQ^5 Q-О>ve}I_qG L |]Mz طi$iɉfȻ@pw5JA toj5NOVa\#_ɩePșlt!HgpfPFZy5ѹP_oL񓊩R<ӻ]'`*gn}92hwTwrQdbͿ6f퀀4"Jk%Ep^u@/9%we5HpU`:'D^hd@O&&ƶyE6odx=SbyE53%zqMm뀐*97mcY 3mr;Q> %4 ++_?¶zm ޘoſ.ro&EjDG6n澍hG%Yt5ӿE[(lIK=3utlJ"^&9GPv~=%t /.3-bJY_& [yr̶U+BI+R>*Tΰ) *Q|LAB"~F#6OdϜILLSVc2%6@ŪT)d Q~dv(`W*9}\ MaҀLӼ3d)!>yLk+w xxNz@}EJӲAlg&:mBj+ ""'k0[Z"ViXsdfrP8gáGahZ4?CoT{RᕓC/zy`! E|Zܮ_x ݾ1C3gQR0"2] Ta)ތ_ҕ3m[X9`&Ms5q3դcلh8v?~> i25g.&Gk8<:vToeD:2E>*d5DyfJLϋn9[D $Υr#iT^.iU%5ef5CSKk?q#j~W&ᜧrpء,,荛uv\_5Fa 2[&-5.垀 7n~Y8S#'Ԭ~\*1A>m2o3KK>܌` jfm\@4 }IX"2_["<%H->  D'4 M% 뺡Gv؆PNn(yӖ׌3B*Mb@+@.)!bLrJuh4Isil'i+R'*,SR9;r#ڷknmô4OceV#@A7Fj(!Տ5"vuYLw"cV@Fqrvm *I\ Dz"h,(ClMȠ#eY4)bQWwƱ~/sAg>~!#3̢>WZz"Uc{\tosV>p;,^MPo'$ )RGB Wpq(۠G!W4RxjSuä,FP.9Q "a3D=˧ّ zUz'L*DxĕrG3waMjy5 igl5EE-aO@շ2VTI@6L%2c9*4qpdQ\Lb\ *(5,•p*3rx V~Fs!'~=:@8t¿8k|iS虅>%Z~kQcwrުԤ@^ Oc-[H~NMqN8,p]Ra]Z Qg:[UdDO$JXҐޅL nKc $=DP;`2 VTL80"y]~߇siT(uC/SwbJJM-A'`y˭O%og ݡM8(;4h(=W}r>VFw@u~kngr(c: ?GW˔ ?Rg8ё?m!OS1N+Q|-(y!Ye*0ӀGwBVyAPxID%Es9! MZaNcGꏊys,4t[gG.?,^,'AbcfgQ_-_9G XZ4yk@(AMQww1MJ25*rXRoGIOQifS"2rKOrsuk{~!G YVΉBN2-hǀy牳FAUHDSIK쬂k! rXFr=\? j3˗O^0UQr wڳ-rq-2{a{c5@-S=!/:mGM8< $jw8S`'=mI{%HǨl1.mRY[e).Q 5JStG<$StO&/΋EV ~!\԰w3D!Y^ x<o dEM O#zvI}HrJ27Cae.Fumh]u~I[gՕGpPg$QJ?\?}jXԵ<7x'2}ǹU)̶|dy_,!B!W󸂣Ԗ=/#3l6z*/ V;Y拇t/$@:NQjYؤ'Mtcԕy$oQR|eeyaӏgkKQaa +1i|rk릝&93_pI >BrI@лNmlu.wocJa8S,؁ɧ u!Kgݺ>>>tX.Pqcc@{g%%r6^Ӥ(//Wr2&WihO^YgzN۪c@AٝaifƘXtᥟd^}Q* /U9=bRN< 7 aZ˻~[Gi̋Y I\J-/lЀԦZ4MMrĽ"݄A1AA*?!ǖ!<&9i )tY hĖ (,"]c>1U ?˫?.\OE0p/zsoPU#\t3P8P筽$/AI In/;]oQ9[1|UJvhu!e^RH휵$Vxlj\rLgԒ\夥%Lj<`INvpS~`^]uS7OgPšґpWrGh!c,Ly.[j[z\) 2 02gȒ#蹘O$i=.\CSRuۤ+0tɯ*H%oȏԊJ2F Ht˙7=)#NܓT RKy_&Yx{gsx, Z9eti,vlB91E|IFA0$H9c20/wwa%>dqR= t۴$#vo&{.P=_ҵ+*i y gc)?XEMb|?Ovf2ENON<']}ccaFk+ҘX  Nc&iD#h8<լM1E:S1@8M?taP;k+npC7#Ft^c?Y{R84a%VVbiCcq wڃF/02&& f~l1C.eգ W[*"(ǔ]N"ીK̶oö"wyzSOT nY)M/cjwH?xĘaxe9N5$| 죩vDd?h,pujzdzp ye\'A =zHۋA{ ɮU>~ ې=0>2l2t*\_++>~Z #[~J :! kÉq -e`8\v]])׎<Ԅ%?}&O]B|'9kUk7a8e&`u$fs!~}jAWQ{aJb^ciY n)M] Xt;iFt#" }|Vqn 2]Gr̢_&ѯ=(} xr6H2q&:`@.)mreҡFT;^nz mmSϠ%0x?Vz}$IHWJ[.ë3PD :ZX%*mGٻcϦC)t0_Mۢ~a&gnXjX;^t|ÒKL7ꈚaǁ@!( ؈U `au ͩ8j( &ĿS's(l>qq&*@sj}q9*֘xOg d)u%16`8]AOQ$Q]`E]'*E5g0F$͕}#%ng-N4z{=v4aL[`"2jqIxOZ1홴&Xfho|b_ˉDKѽ Q}ڰ.<LJ@F,}^O1⋼M3CQQ TZӌdX2`:uV jg^&Ǟ7;R&jEy l_b~ϿO|9B|~{v`r*)Wgw:%y:]N]¢tsAegV1rL8A'Sg|QLjXr \\+?Z{rw)dMrt5EN Ud)EṶUg؇pv,c/ a6S_dBF)PYŧi`;eT&*+v7 '8lgvCggYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525136113a3be05252bb43c72759b745103f0e24756 5368723dfb3f2e1392344c94d5d289328eecbba9 6df8b5ee080439ec119eca0cb2338015a2aac9aa