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   ?)L  ]S]Incompleteness:threads=2elapsed=707.043cpu=1103.772gc=24.356factor=1.567zXZִF! 0]ŗXf1-/6vRZZ,}ūG5m&*qޟֲ) Λ y^ydI'R6P!g;϶ %z Ɲ0.gEGin3+]JW!np"`F5KKBۏ7 ӖPR?q2ZMە8ՅтY-TR{Ňvp6%=T( `dn%cr;ƹr"@GAP+*lUgl(OLItp҃U&ً[tr['E\ t#MJvkFl.R ւ8Jʜ[ui(q`7$%RO 5"=fy!d%<\YGȬP*63YDnhؾ^xfՒRa橀øW iq9o%i $Ѽ LAc\)$+h){|lڃSk._`bS"8㖍Ŕj3}NӼ>K#}ߐ+k!3csΈ|93t;ܨrkWPKxosT|M'KzB1%Ŧ54#E$[! M`hUϟ~˛K^EJwz=6h$WDfCԑFm:DQOl97V\tf0Ѝӹ򒫑YU7se/NOc#F7Vw6!Q6:?x(J8Us}Z6 qƔoɰ}D9ᨛ1Cv#1t~i:vZޞطILtj$)0Z(^s4q.4}s ) Incompleteness  G++ 0k0Q:YBJvF\Ywgvf(#gfTq GR,|Df$MK- %rYwtJ"kI󿟒[j\˜?=,|֋uZ; W.񬖰/Ϛ7v / 5zNb9 &0i$p [ynd|FV~W{[MOMpQ* $ܖAPnϋxjlQ5 pCrhlL캘!d3/T>@N]vҹ+# :C"1Z#gw[Mr$|m|e ^r#ҷsk$)8keћb#}$pG\>֥;Ia[Ŗ\ @lp4YTԣK'G_xX_miXUsu,i 9[aPm(pzAJI59VDiy²k߿7WO혭>>cƘ}Y_ TVD踨Up jq-cyr B oeM7?Sbue ,£cQjF t?0$֙g%#mq qሗ0RqA_T23eaԴ 8gaET6'Gl:qPr&jqSQGfMb 7t,2gTX.=4g?&5Q/_;Gq@;/H%;?j1V*ou~:JĨ(e\#"{Kq;`nI'$bloɣ`OOI%E3cȾշGʡ_r.K+B *s7"st(4Ql*P](ՔOzzh2Pkך;-/" KZg$yC _f,@_!G,SIlHdkj8XVO#$Y(YמJ()c^ڪAzU^<4َԮz =GVߴ.x۳ Aڦ7jIbbQm'8b:s_rcsxqIgs4 F09DX/lg)d]A՝f7 @ C!9'd]欏C@T -}0Hg;Ed通5jaIޛ3m>0DOS.jt;Յwty?.p&)3T =rFS>G碋 t.UŨ-OW2?XrS 3QⵏRq`pl&.()^u7g A 66.ArOC$95GD;nZg#S}vcM 2K"Hqsϫ"*nRz}f:{xnmiȠ>'釖=>0{U)=eΞZg7Gmpy-y\K!& w I; a,Jv?U]i`;\ b9۹oR.Yy,AҎRD$!TwA78;l yL )K8 - ph[)]QHxȯg>/&U͞@9 /VS|w[(10rAg21ρ}ks1l1 >S$, >&/:;ݕBθVi;9B6"",= ,+ug%6X>0_T昄J,3BVL]r@FbPj~qkxCضHjl}ڙ?x'R!yzg~^ϤmZ81S4 Q62&01Y^BTXy3B&T>>{%ڨ;POѺGo*&[d$0oT.uL}ZQ%V-= q쉏gr )ZȻj-zH-?QʱKx82^هkrUu2f𶌱~EÕeY0wA4 w횖;SdF$O-hRMĹ|F}*IaXѿ~GT^G!$J ejvj22RmrN(a󻛗 ::(ݨPъ-8Gzqӏ{d=p"9k'sDft-ڊo /KLsqQPsTZY{62ue^`iR&n.ҕ\||1)Yjvb:k˴B䂼34H yJ1/K[Y>{"%RtCk|(Mik%hw`Ēu#p8pCj 2<87W5}(xd8le`k:롰 M/ZBO J6/W-0)x?*{7 v"|-S]ygl=O:g":TV?3ήmf UF#JJV^W"px&A-^Ԁ]v4Jv$>J6!dzBW$Zuü@e q@츸{$DW:y\qA_ /XTs=p  s~7>B!zK?B$QA s͘+LZƔv!jKc pQ0 9R;Qډ8bdxeyl{7ONiݡ= p ndB'Z 4&4d9P[BA=*0PwNŜyTF-LżpVlJ6ZU.jN](rA5Zs1P3qܬS5tC#$ E=isC#By9brFG| v0`7,Xo|p?؉ƅbۭog#&{dd'pLPYzxr-5v6p G"ȩGG NMӍ 5{_`ovčľXCԢ_ڷyhNM,){C2e&B- -TENn7<IAEw?Y`HUqY ^wT7dsu8 W``/*!"+d/B T}Va ʞ MaLa?uF~A+o*@<=7#3\&zK1dR9lP3/\ln4#Oޙ%cs~2Vj'Aǽ ] 5zP5 PqJ,;gT,DdEMEp: c a6]ɥb`](;qqOKzICE&0-Y}?@hEӔ;' rk2 4*aEG ڲhY3~mL,DWȋqY†oѡ֏ˆ -5[5j } _;E"{6}*^U(]V2"t+7.zQx0hMT=SulJW%䍧7hSr }D+ #eibM]v]=n!%kR@d3r | fz4H 'Ng>sY6N̟)hOjcL'-0!ĆN0 yRԳ|P;9V!De`csb9tM-G˨pY* "+bd[fSQHԳ rh536.6]SD UiWyȚBaNZ$>+,aQJO-U@ۍ鿚dѽʸg`` Pl`v4B ? <(=Jr#&*v̻G=k<2\̶{ R\EK( eN|6_{C≙h.t!۟\JVP%^$߾~ؒp^lH xUC]dm< i'?I]<2r/a WY~nCXM?Hi]S5$@sYZ |qqӨk'[&YS;wEp?C ͘iTESr <备B&?2 "ocANy+Ým % PW(F7c%6 H{gYZ7zXZִF! c]ŗXi%;3&<(9ATnnfT:93suzxnr2tf%ہ`B/ҮOw]{Dd{%{v[NooyI1ѐg= )͹]d4 V/syplmb-uX~ Q}1JȄEw"{[Ne&^*) 3͚w괭AeY˂ɁV) jzĦJ~oKu3IO,̻Z!"zV'8̩ޝH!Y|B9LӘdP*Ϋz|q;LCahR\yO"G>norv@# Z%4sn,^hP q6,܃ZDbdx-+%k.`ö4D~2=owxI+Hm嘊:W* eؑ`gy:'[/4WмcmWd*][HT:P\˜]ftL}og+,Y_<=^|n\fiQ TYh+fBU_? z|Ļc։Asi_*2j,tqgZлn{9$8%q!glUWH)`o%MvrxsMȕP; ,D]@9IƓ4|Z oT|n}V\<M~h(Y}@EϿQJQ' 6^, EМnP駕{}Hl( mhps8JYw`1JԠy0"6 ,‘,4䜜TMxnߩ $socVʻ9A4_CS8PR}Yo6Jޞ#,)2+:+c?³Ȟ7 ߛ] /t̢V#6j HXq1!_h`I"U dm+\/=v zڂfWLrF>_{<$ IHet#dr ~hYl\ھS/(ٕvckG=߼䠗kqKU3ϑY> t=8Ĭ J9խPc Ž%'#1"6NyҖkRSb+^RP)N&suЊGXWV¿;Z9?z Y#}htI#:N4֌s>pޛ7ST 6v&]XgͳmUoU8.`W3PWFF@cL)H +b3x8Fc2ƾd::i fFbg E֋Oѣ5iAք1%k;Շ.((*VHx<@2Wί\ֲGDi^Mg)gkMYcoMDSaM5ϸBvm,PL{5kB8;[FNIӲI3#BZmc5}rt<܉3l&Z(AP| A"V`f",Yf ^FeLw*ptc'QӅC(nndAD5YaZҳWBqOXc}5Q#Hf z2Ŝ.I#nH/Gg`|ѐ{+0r:;"p3|~ǘf* y}&*yXSd/} y(W]SU_=nbЫM`M 3V IX%#H+214tgiΖk8=?_0Si;hzja.(~$K?J<`Z=N.!{ㇾܱs)CeUۘq摚3!iB"/sE6zr Z>2gwldM'"h'l84oҞ'p)bϨ4Wv܋"ش/5 qOwoj^=L>Vp:%T@(3Ł$FK#ݛ_8DL(FU:_f6 3!Jk}:G^4@469k{b1[Oq gO^ST$kNmUF ʲ@.؜.{@3WXGѻ9YPKuvW(25GIb`H$XV O!d2,@ u?OEё{/K} 3/Z?]Hg8QZƍ{a[MɯN9HGЊ5%KOa%^#}ٟ<)S @Y QݩLr_?mg5(BDLIQ P:yOrMW/"RtIUg*Ȳ,Mjǫqz8I[6umA,ȿ)\B]V1'1_9ζO~9fY_x(¾ "unAaÝɖ1m j+Tw=5ZPpCϰRWRcTWU-=~2xDd3A3J[e|)|\x0kOEoV_?-d+--V< ~6 ϡo.,_VPl$"En,bpI3ڣ#7q9ش()>s%]z-VC274Ԥ6x%yƕkX9]1'^!&YIPQ.#mgY5"| S vOZD'&bm6bKtɷN@JQ.^s:Ұh yVϺ-BG<@:ta)y~F[z r/==Y Y)0U ;hR{BhQ^+0Ja<X!g M|-1e`}ì &-V4N948ޭa;+(gd.+G2mtNxV'8 n~Z3m.x|U?Z?}Լizwv0{,ggTa.K@/W$NH^=eΒf0p 3b9"'6{7Gh짟L]h]N:J0"\5iQ kMj,]rFn gҒG?|tedTı7d@e.a =2e*$~nN։Wdm ]rSe?s H,u޿v\|_1v'#Y)W  q/wS D0Ua6,1=@gЪ"+wY8~ܤ:?'={/V;ˈ<_īr;GG_zߏ>s QߍB70"$( Y"^߶S f m}-cᖨkzKXQ0AJM#F⾷FyQ}>C'pnr^$9ږ QVc!pO;M@'!L׉C/*^ݚȈh'D݌=ph6P[4VA7aC?UPJ]"[1=&6_A<\Fn7X$7PWcb=D^8^QV9 ikQ9d^l,tl,%;Hl59>U[æ܇):iEq% hP/|<>)#BOzyQ}!ڠa]8U,xr5XJ],beU+`q_zoʕl^s>[$gE6)`#*Z̥M)DC8GPAA>Y&@D`ƿṯe|ڐF\ڨ[L_8<dk,5AJ*O@8Wrp6/1󙵂5I 8r"}ϘS{ظUBb6pCF!%e>!ND!FŷJmqSCT]YRÿ%6"4 }ǛU &֋ub҃.N[Yqb1U}t)h~m=' XYƂ굈 eM˿^X:VI! ]kq5- ܠ;!|{|oG]5VXNS4@pxlgnk~!$QXX,%i<5]OXo%37`L o/-?ݛX!1$Ո|]@4H-ħ7\Sk:JӋځ\/п1xΜ$`+ +Qy@B *IN6.d=p|1|*讔|C}GEm&K)*lX֎Z=ڧq@M;2~50n$__s㋎5 xGǁDĜrH=Ú%+^;&PH ]*{D:IGZtҪ_U #Ʌ%GU1+(C!g=ʚ!dem zus K tsav殇|D83V_1:vpUPHz=SFU0<'wVU%DDBtV)f^Q6d+Cjd͡xW2O=YVϽUU})b<ďٟfz]l,ynyyJfM͕e!Zvn ӁQ*[+qfi{%~I$#^6sO>kњN8ClZ"* P22׎^Jt?:v (Bh"j@JxZuHSGnpU!TX _ 6O_A.5э+fYQ Y҇> u-]7X];mez<&FR:ٸMyh ϱ }h:+I;#4Q&d(PF^Zܸ旦pd98E*|QrT l@.yM`pu=27  B [zu &ʑX(b]38*R66oĹcD xDgA<`̶3pc}> Br>ϳש`y&pǗY!w:JsX-B$v{AQ#ChRSORğL_ {SAr\ZfcQtbwVKCmQ@4[[AmoX.2)< E>I|;IJu`Q1)'Ɯ_V_~Z{8&Bm7`X&wAH[Q 8Fb[ sNDsXY W\}n03y"8DD@Xx@u 'pM n(&-]/(@FȪ0SPX?w ]OT8.:^TN=`nEئ5xxT1߂N:>&UzE g2ǡ=-˽CRo gLj')8޵&I{ A4"zA) #F`[>t#j~3 d8hdk_EkYۿJ1hB#e bI }6r2Ig~Ɠ8oPV,mw5>16nS=ami~* VIyq6-(ɖwo՜_ hcq~v-[-q`LQfIL0t\tNҋMT3[Κ->t+rtؒx!"[ :Kv,ɬboo#H*S8*,rcQHB ^>y,`!:yYse,xypReuT)!M=vc&1Ǻ|= U:T'ExXx7GN%)Lz~lr::eQjFS&syVY5u2i>hx&ȵތB#J\K72F/d̊lhM& o*LJŜ I{nU<{oJ]DVL`6ul310>Z!S6MGH[bHt$o4nszMyR !7_Omxɋ e6Y@Y_c|)]`nk3=iYwմ:xF.oydMF~=:@Č^T$=hIN[uTT=oh~euFF*CUV;B^(upˊ# }nlƙ; c@! a??e[$5ե>M}AxD N  aOڦ`W223&&dYsbrrE|ΧLɇGJ=isU?tDD* Z҈gIFY&^ʪEqሸ|PBĈdB]#cAɢ76lxo&U:_$Q wWyҙ;0b +{iVbR8;u]49 RϔJ yK,U1?W @Crft H_3YY0GUHLDeWoQD J•Ys,4$i[x~N\j?w oÀJ9 3}Cѽub&cMH\ y-Ȫg n4)Y`8lYܫHdB-.VXRl5e?g 5i,3,R3)&n-.6iK)')|A-~(E+is9u?_AA3\~ #c`e@gfOڏy^W t`e `'T'Fl#X*eA&B.0i>m[gMsxDNtJ UgkNG *CiIn6Ǔd_;^p^t,.5^!8g\f <_GnގvV6NCK:͊t1_+ Wu/Lü-PId/D1%_S6Q)2艷%aa [#,9`TsIȃ0@4&6.3 1z>CﱇNVyTD`4՝nb©Q  _ǫD-^>ߑUz`/)[͛U&ֱK 9*STS XNY7DtJ 1ZbGWi/Fap׊కrNk̬U5&/qݹ˶&[VDv|ŇzW0Uϧ0A)+ozdLHiUa|0x.;~Paӆ}mz |#)ui#/W~ ScBy|u!s.,+[H\iV9;H0[c#r} ,)Ev H'/)C"iyBe9Rk`xu7໛<*.5b&G[׿&4n"ʫ z; "8o`S%`^%uNbuߔ)v>ϻ;GѓM &G+2[q ?A`[/+%(5o`U_29sBG9.s(ŀ}P<KWw,ٟL,н_([ I'ԣ֤ IHS}'\~j{ 5@#-@%`/"i$?Eʂyzpm-!WLBaL]NG;~a6bPBHJ~zQ^2kN _(poxE37`WH L=_%0k" 1Zskg%ESA@#XecBR?-4d|]I2y:y"=}_a[s}ͩ^Ҭ=Pk;|3ٵ?6J)E&ە jjoDWn"StiIz:q | 956(w]B˅M0Zqʤa;[\ƫ-&!ޣ@O\ǦD}EYǫjFI73Pv5UzJܑW rg,7;%b:l{e 0E)VUUwںN!H5 jt:Ť?p|wJ } z l挺NWoNITbȣ$]ͽ_+>_@͹\~ux퉀eFأP3r8@DAAE CU~bѣ>CBjX;"*t28Ddns?ӝ.vໝd_:D,Q,dsY.yޜØq1\1GDDͼU IL0jֶvZkSX&d3loS ]G/PP(94LTDI!N۪AbߌI|w+hVQY-Lq]Sm_ AreI$Yz+67H_apr'i:Ao"LZ ayw }' 8 SmM~IQB׭d8ݧFOD66q'{;vԯ}vr6Lk(AcUڊޚv+,޵"~(c(cXWY2Y#\ V =7TQ_]q39O! HM}!YrɩVKQOaxV=]0x#]'=NbBAB <ڗ t Ŋ3(0m'U c7x$.*qPA?Ucf8~ 6Aٟ%>&;qRRvnpG!:l59Q,}s4\˸ߙPu/(j"~Ⅷ,|4xzbd6c8viE )Cd pm=&h~g3$Y!եo\9 m[p/~Kt{|i.F+gEsZnbBrh`wN{|9ŮQl<}h f!,kLb4[NL9KDS_%Hӻ[GJkϔ"^Z}iF5_EeOD-3枯`ObEgXTSO5C5'l\cvCPh}Rz$:Nd'u{@]ٲ<.*m` )QZNNumA3 u;]!BQȪ_ubOJ}AK v:s.}yk%KD(2 0"rLg.YZ19ә N4t9࡯Ij4 N6/ 9?|Z SN2E]gõkl{ /\G}YmZՈWZs{~{בu'E*sV(#rL=vXKh+Q{1 9ިE XLȞqLD>hY$&JB}lҠs5 3B Ay]kܯ.GF3E*`T73聦+FfvПh +CnҭB,TbJ}1ڐIbל`0"w~8\́LZj%x~XwcDR'NU>qO|l+$sRxrj!j.ZȜC)׵)}s'HMcAd7}ӜS#o2(Q\b>Q<~A Ifo' @]P18huwm"V}V* N7>vBǰb2π0CZn*߰U0{y8 5A?e jqJ"ʡWWޣYEWC=us1u9Qej6l{H7+%j{=< cUfHUL$s$6#g&a5O rnd9%2eT d'`â+wi~͵OiOX6ٓ* M/4Q& 嫋.lW+Uם;'tx%'-JKc,iD*krJ :7LEtm&̑ʑ˕_#3ɉ~VnEfw ]j|DAW#Aۋs@Ch)( hNn;Up/2wڳ-Z\Hk`(5!,O+8`g ް$7Qz Fw׳1"T)s׈GS\i#~7aYs D lm*dMm ׻j(KBͨ4eAqag<&'G|[f-ljN^X6`Xo. xnz=`tZ6C @SZt kFɞp=ϽS2pY)MO*d O0)ڴz+*= ͌؅kjn.v_إd(*0Y;]aCT՜xۑ΁6\--E,f?5LS8)s,4f@0:Znip~Dkw$hoqPs;Z.46{p!֥=CL Pl^-& װS;ytIňA8tըhm!nJExye* 4sK ,) _a5p8`/d9w,&>Ƶf; ׭>& <:&&) ͆CQ6`ɱ;$E- 3IR\t'OnBw R@x$M? 2RBH hk&Gg&9Zp]l)n[p0k 'ѽbD$Mx&Oniy}4慗 Fh\΁ {*rE4]T&|ص$0PY_ロzL {#^wh;0%q蟊׶8 Fh`Y+U`ZlݬUVc|Ϗ;{l7+6] -h`uy Ix4QVF{糖Lzn$}Q5x:;Koޜm; 3Dp y/{l{ G|/đ)q zZ㈥Sa2A $Pwb zc>c*!u˃Aa 1* m =q1'VV [ Ϟ~E2 #MIW*Iy)ܛ 6l"ۖrS% iX&W+$ ҒVnjڦ)d45fve^@m.! K `$+!>yc*8T,:!ì $Ft@bp (n| M͙ܚ3άڲ=s<["ftDra%iYF@,GQZUnFQK7 n@2RViL;&nR40xxg5N6a8t4)of&&ie~r Տp}=]P$4%H]Hzj@Qo8R{(~|@!G1Z_77rDqP<&Gf/,j{ Vfea{~8n!TS)cP\=^<1 b¯[ Mԯd >3$2od Sy1ݡح䛎'_q!i̞5.+^$a뇚^WyH:6's7|FdV;n=kj9?(՝訖5En6EΓ<#Ϲz 9:@sGs.mბ /x5'nT s@#^4r~Ujnȝse/NCF!eW%TsUJ/d(w!髛dm6!hd-VNK[vv3Q +!O]F]XFyv2x)| U*Ӯ H'SMh=`Ip`3FG(ts#(ӥj8i;x2!wJj,XRUΏX,/x{~[ܤ~(zl<CO!fLrF-d[e*o4L5ߠp (U=zl>o~\"MIo"cmnZ>`uOOL3-2E`myt() ̓po:Ө|73R0>D`sҢ8;,d_zTXrPv=AgUR?JiI\IBr٢T5\.mYj}B`a╟$ں\GJ5\HJo0(/o9hz٫bszKPg}ybvq x6+(Zj@c~dd$vArZDxଧ A!VAufמ Ӿ}Eg./i0,#bӜ 0[F-8iOA X",3?uK յaK}Cl<WnX`U.KADxv`~,Rث.KX"J _e- :6iL^;@A^sf!-ujD//qR}wxF-z[R뮄-y"+}|>oz9:5ciX.q>TYk'`4 (nPU}Vi^)ŵP$<>Ǝ.t|jFVXl Ց;7t4՟djRr unH h}0]_}h r XNFOHlqRf,?`6lL Ms>`=YDhjSd`~%Cλ=׼^itǎ کNlBSA*rhx q/ԗKM\BwK܎#Xa2*%-,`k-Ek R;^|[Eq U, ZpGȵK +Hz[ jS38)}Ļ=32H}SD(bRBLEIG &{Z TqtT~4Ԥ2XKr?fh "d.tAmQ۽&D™=djŖӸ0kO1hN Z~/s&sd^|>$Vk~%SJ% t>6A'q3 Sm>5F'ղa;sڨT9O|Md9GLql/E`<<*e:Ÿ\lc.fp157a4P/30:\ۖA Z"\$Y_(^$+@2U B/bs&/ ܱ퓆Ƨ5s$P{]ߒ( u`3ڂ[Nb`=R3%ExkvՋAT#f[שU4_ ۘ+D @$B&dG6-'Ƹl,)) T]ƌ7D2_+Q{'"v,vP2PFYW-&ʺsȡYkH AHEvb.+g^IJu\þ4 8 %EI2-#mx8{.A(~+6=U;&'mkbT@D፝I9ŁRD اg˸RN4C|4ĩ@L,VٯÇMoo)_ Y~bH^i##ʔkU3FK8R--Ղy޶ڍ$Sd3?f?[n[j//JBNRihs #7 VJ,a+zxnת-Yy#|t>F4DRM་$iyld,(,$tG ]W8dV7ґTpx4aW3 tSd/XC(,,t[ԁ\o8߈C i_g| N(gΗC%j}fP]^:"\)&2ZڼKu!_9GbJ,?:J_a ²-9?K`/['7$XH*@JMW%pQމEޢR'',}3Xs5KzTE)Ym}ҺKJUhG@zFڬӤ]88SU)'nc;Gg(S~.j^\}طFs; -?&+Wl+,uy&} y0(u@|<,Z;bk\?HJ6}0m]gI1 (Yj@>D-pӧ{ИUU >VLia5Uuّ\6N=MJ8)&Y{qḍPv(S@Ġ=CS'F,\lB -ϳʧ^ 8NsWdAf )(7!\Kb%rs2b^sLF޲m*L@VAX>*N!Va$~q_C?'Pxe.@kp[PÞ%8f"֘saiZFM*ӥZy5ϥ51R;= W!ܬQQ/}.lc!}j=r;!-FCX~ݳz␲bj,pSmqd cTDy>Vn O 5(Mj9_xS <K \橳2zrIY]9iƫK>rWq&+!)>R IŖtft!;y}2B9|ð('e[&߆$WͽvZܪ.fI$H},΍``1OR5v)$2ME T-1,Ҳ'z!YS[xӊerfM+MK1W3j3Ōf~6=tvS|l&ZJn&[{D(3GuIKe&௝> `ă1sGv o# VxBy9Qsi #9:I&-|7, .QPGP$Qto;e>-jgC ͂-67/h6_֝=Kdz&FRI^%dD)h@/#Vr"Ow rTà^'%|Kȇ Ci2JCP}ك7ca+6px`.NDk )a͜b(CRɼUyѢ7`~5J.\#2SdW&$xB,xŲgyKls + J\+bc.ZhJ8RҝtMÒUj џۚ?2S I~9ֱR⸬L}ҰKch 1yv~CȔVx`QIa 7%0wF f\q@0ﭡIckÑox({4&P2Ȥ6>8R*5{a硩1j[)#^қq1Jtzzmahĝp9CZ5a\nx,Α9 %= 8f Ki/l$zᗿD_H,E$vx%I[fB| ޢM'I^jz" Pac B}o&_38"J`XdjiWa naWOtՂ"d8x3FHAaLtg6GV.:rn5cٽVBa=xj9Hb5 ~m7nhLPAZsy7z}xE/ rs x 'nNQP/D#s ~N|mJpSWR&kEx%.A>G8` xp ?9nmε ~h,Ny oX3IB>I4wtZ͢7}2v²5bB0̓E.룯E]009ExE/~%7cG O)ލiv grw/{jTBx]8MU3FWp!{2G7e')e>1M4*V PdEE4syX蓞i%vHgzwyU T'h0)"B ex H+Nȓ&i2 L߷k[f9a|? |W4T]7{(AK#6;-lU W* z&2 v9BIY=5k,\HM0*Ptcm 9;L<ñ syٞ;۵;k2iӦ7x/;A,!ѯCmF;@nZ:'h`%ʭrϪx;}(;wOd@y-O/0 b?QU?m.ADGX}֐֕Ov@ʏH`b K 8rI"I2˗ KPP_*{?ԥgo"Pq@!Ή~ ˰J(=88}OGB<ц֛ohp"XrAfM7'-͟& ^RYm,~S`+-;decF}<Hf`U|1.qOt-3(BtT=~y4mwJHNARA|^R ~us)/o`ɓuץ2`aUUϘ׊1 .F*h07HC|5$zV-T@ZYj#j Үڵ_} *h 9ކT8]~̼0CC VF ^xz; lqObIsA ;u -g7G%Hm"T7 hfE.Gt/c ,}ٽkܓjQR| J ʪ2|;Dw.lD YB6J,JXCX!yۨ<9=aTO{ 1kVkIF&j-X*|;͡(jc 䪆yj.2 W1OX6Swy ~nI%Ho'Hn! eQ(Yq%R{ckK%xjeN6Wc΃;}H63Z<)L!XLWTgo.0XUo' km~#\=w8ZqYM0Xz=i 4g8JEo_ <#T9 tsׯ^ܼDe 뽋π|PDb2Y(:a,c0Kb8u j-`hxj" D2Ÿ,)7}Wzܛs ]VGX;?-vj|"iDFs zP,Qkwxw3r4fY 1t#v|zӴf}E 0!ʅ楶;`o򮄘K5yf)c+mfv fXCYKCȻ>P|9q@7E}"ukFylEΆ=EvUJeqʘ0hOd,}Ya>$GRA[j]C`C=X^j+n'ni(cm ĊI_)Uµft&ĸ ".D5~tH 8pKsuH:<<{^Y3p,4q ^ɦNQLB@ι0FȮ17 $6fWM=eRh=(㨹mv3bK(?ʂg!Wvߴ280 Ru[HOtG]ţE?!Yd1Gqt W׸%ϑFma/ώm}0Hu+PD2|#ˋ7K⦖y S-yR1LBLuƉXCƓ@.~jbY>WC+gթ_7?f(;:̛ȁ"lpgTzTZJ\L{4VHf_˚ʫf~kn4JQC c0si9E84$qIäc)  fxp|hFabÂM/ZbNp\q)n X7k=f{v}/]s?~ZW8:C S0JMuU Y tbRWei7bT="i]EC?(;tT˵'Bev֤W5?#(vHXMH5m6!bqFnjkn >]ewi**:w/A4nGWv~(ꖱC8#9P2e Gη:Ht1:eS[pyKi`:F5J]Lf/Y5jF$BYT6 VADG>dz}Q Yݽ{j]3sعjэ/Ȓax rG|۪n%yKꧮ_ ۿd8e RS#OSJQt @U3z(uZ\Z Ɣ?( KlR&I H`( : _)>J+4#ȵGӬQr Z&t!Ag)^*+);2LS)X)M\9`)DX~ńAb=JNnUi}pvFeə=j6"̂!ezq'Bbr(fI왐 ѓNԃO X^Oa?gC҃ӯm#\0< d-*?맸3SNڤn#Ih1dپ30*=<' |%4\ 7;J͠KQE+EsfLZ.F@r^YC'DN Rɲp2 fƷg{C_~fVYYy0n|nmxe:p^? #Ňt݊RMAkSD[zm-ՙiha>6lP4Wt/~FX%ҳns2i\k$9B 9[t{>gFQ^VK}*puމq3cS-ﻅMڶ5O"!,Ķi6&rD1Ձox:->)&hbJPxvD1 4BdOP3H]TRX*9l=P㭠 rlw>lc=bˉRx}d뇸zqCV`'ZM EOҺ1.JQVLANJ7/U}ڇ:ޭpڞdkQ׍.Gb[udcvUPE"͞<_kj[e9'uY;VI\}kLu$piT6~kw訄Oq8gH6:kz55cyYnߝa%%ˠ7[$Pw_Gu{ItaA)>#д9r}Yr2;dG5%)!Plj1ظW&5=|oj(̮F׵LA(#0/ hg-`8Jl &^i5P{mw ;t^ ŴV?d޹@vUW&j9 Wk?/fhU"'S6<_ ӒLePmcڀRkkubXW}K9Ws>.GM8ܬXZ$HNwIwO'^%;tlQ}#o03dƍp5T oWʶ qkm _0Oq˦wTp5Wu2*~ gÒ|'Irj۷2 Y[o_>A(]r kAđ7C0=N/ٷ!jTyl1|53"S%霍y.\h(+8eB^X0:"e=U-j#µYhVc {vJV.cOo0l`}wD HML6_:j*JTowCH'mr@>a}' gli FuѰDy\V>Ívlq.PL`^Qz9W7kmW[W *#οUt,WZ8؇Qc@IJ-.D~KVIm-`kG %t2@:-8 @7= ale;P|~sh#efi"M`tx%jƵ@[녞'Hh}*:4Œv兏'*kk@q.bA-@CM ϝe