SQLite format 3@ . BBh77otableisabelle_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  ; ; !dl< ]]]HOL-Proofs:threads=2elapsed=1013.321cpu=1785.120gc=292.620factor=1.767zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcO 3!mM3z\Ef/_8Z7*Q[?fRN|E#JKlظ{ GoNyoMx-UY&c|=< !ʣEԗeFϝm^x7O6 j`EM~UDZ52B[DTCX;h %|{4T =8v+f\M֊ 8͉󾭯_DJlw5/ǖ3eٽ$_O6 T VBپOU .T8*x1%xiFMPDʺ$J⣀Y E%tحz>^Fʩfxٮ&iu~`lݺ7 :+*L zӫ[%csg( $̺pӬ]1:R~VsLD1C M]+2p|_.)Uld3t:uW;$nA02UOAaG1TgF{q40!|;/K[yёU+|s4>z- rY&nS=B\Ze |ųF~#lcYaejohX,حmC;{A`'-}в=>B)hXF,Zfժ!R8֪ܰ/ ˹X$b˵X3f.׵͓wbueLMS3zl3fl>K`Jb،jFܠG3DH,)w(~,b  ! HOL-Proofs(d3<]zDC5oz_F8őJoMAua>: ]sK7 >Of#ӗCu.Dv?m?lĞle9orQިY#sv {Yg\Y2eQ}d%;-*|G;ƢdZc]8iȖ;ؙӦ|q?}  '؎H{b;=Ћ'Nx„ 9k[Ҏ(K@+;LXٌ7s5=wyEϫ%C@12MN&Uj&Gvq[Dn'z3#Fwxߓz藲CmqR[mbxvtPEO[`ۚxʚ&߃Vdj+2Jsv&1mĠ#dMtSmoE]m avgBL$=={e8?!y)qCݡ7*a,8ny%ioV%,7Bޞ|˭ST!  q'˯fk܄(Тq6ڱ4c|'TUT]an\f%.:LZmt-;u G؀.pk4Yq؜)44xØTrRћ\='cYy1Ms֥Gqy(wi gDӖDU|63|fkoPN c30PτZ"xp5 .'ӎ$njaU{,̴7uI cP;|GR"Ν!90h~7-5b 1Jm_F3L]H4A8l71&[D 0/&7hf۟QO/CVޑ{|,*;O2` _H lH>*$X7} ib}~Q&RPla̹Je  l8SdE^43UM7xRRz%\njUK&hAթb:[907rV%&Ňcd1}&euܠ{y%8 7# ǼhsUc2o*q[h%Bs VQ"? (KΤf0 yZ,Pqz`ո*ܪjbwV;YmRexEǩiGFxN$ΙG4R @n]FfS[7L9J#GΛk05!3:ZcBxO=q?.aF@@k]ztIS;ʲu&>F?x\6 $ ^hcKqYшrHt]tG fw[a};5§lzUoSU4"}T5/'ɂ!o=l1n0Tron*>V@Ax HnSCb*POϥT+YLN߾%@}Ю^HD,(=~M&RnSdF>-fgN3GcxgEixʁ1 U^Fb4qU6{sÁu[nE;q<0>Ań(BjUK[(2jMԴΧ`x2{p+o%J oծ6ѵ=+.m߼QbN,Gh'+"'Q%_N^(ŸҘgg#SLmS3gleZ~,I?H.<7D%nJ J G0ʒ;TqVj ´ P:]Ae@O!Ð ʱt*[ҰXmn*RjZh]xYrC"^!4vg.b8=L>. mSj7ʐ]퇭}A5ތ3?{ic2BH̟1ō`#u8O>^DIymj ?V_uoVVhAVkcSm3띋vVLIWS>A0D~~飣#W8j Npd̏cbvNós:Y v/U M2j=۔cLv`dZ `0d~C46`g-'wvUar٥ha<^ϴ,Q:dcyȕG4ٟuE/~&UOI+v1jwM.'ӆɯ.͐MJ HUO)^:iF95ܺD{T?SJOP1~SUȍ"{em`f*K63&(BFg|,6܇[˨m ZP&n[o][usU %f7AڹUrSEbOOLV%+3nI6Y1|R3Шϖ)+I!tP :n X1jn-}vI*1.!\S)e)+m7ci@eqA w`!5&yÛNo?LL~wR{#O4/^͑=@p[jO8|)G,%_lY@l U-D*S1EV4|JZ{+7Ah2wص׸mX ϣ&%wd:J!\1IqUK4rzT\1_jrC>r`b#6a Mծ&רS$fPNc#Õ#b6栗o? RRi>|jε4y85+bw̰E{&"i|YR8n28m;?Jw׈N`}L80q4P1Ik :\;[LqD/h]?ڀ%.kC<^Y&Z Y_#@|ũW v X]OQ_5.Dj#^ejک=\/E>! KC ))7(q u~i?ʁ%W. MOK p&gvWC z|4ZI$ڷ9j֒\+)^)%jYv:2@3&CqXc^5b-kB(َ5t߇H:)d-g3ۿ,,as"A@"$|K΂9QC\׽%jMwHVw LlH~$MĹLM[*ԋ[=BB0!-ON^d8r\<հiQBynOs1)J;}TZw&˲p$d''q,E z jJMR^UsEOkH@2J. %BQ*; ]owYs@fs#s*+ %Fmn*J_}fCt>s4a1@%KsoR ^"qMs-z/᭱gYZ7zXZִF! R]ŗXiɟ29aoʼz[%U>EM!!*Wc.߾X.'2\h K IIc7h"]5l\ O GacԲU.mu ϨagiSP6q [d%v p籵Mn@yyHйP0 u/#4(Nrܯ f"l0 :x<*t[,"eMZrvRˬYCEG^WnWeسeWzUaAu.DzЭeR ~q32rf2 húP]K3wdܲЈg 7KHeGWiAEZ'g;MEpoc)9TsGGrм":dya&)n3җ`.fcuY_@ymm`AIzAsM5m485h܇s#T$PGi41n(v:-!cЈjuu܊z`\1b.}t#R&-|7!UXfyCEKR&עB =$y*$ RԥGD~V5Tg6}r< sSKJ%O9`=#A-onf͐A$/aKomNr7X@m]n˖gz80Qj۸:c KBs ݶu UUڞJZ4Zbx:#*eֲ7GPاV"=nJ=;]FN\ ^A99u(zt/SY8^vT\<""@ XްChO~^zf~N ROhCDעȥ.rQx+jILM\bތ`"8~uVM$^VD(ӡGԥ`Jk^|$JAp}8qpEмessY=PeD XE"D30B^ю\uG}QwX3ճ[Pc⪪" sPbWGrP N0 ı_-s.|㑧m> `LK%}-X|kںg(3Lڱ 0Wn"PCTTWW,DamS8A@}!ḵhݤ(UP hwz:|i@W:=46HWD >ReEfwbإV޺*S~ggf? 2x,gYZ7zXZִF! 䤕]ŗXi%6`;Z:_g4lQudBAܕE|'xm"gzw\Y>vsH-׆+Gm` =!MX|ѮK}w'Sh>6ibO;Q@JSZH*r`#?ϻ % #Zx~C‘U_֘#7rB?3|Z8ұ̈+% {ı(ۣ:O==uhNPq|Eݲ!8(0np**8~+Ya]6K/Q,<8dA > ꖎʎc;vcX2R2Ir,`ۜ|#3#cɷS);V|*F!>bCYHm- ; j̫`yQ>խ_54 ULy^&-W!+Z9h ]8-@-aqiesd"ioxM:DY},m84n \nG\|{5]mHĊyPDߍYmg&K "~5 OD0j ÍbK8 3K!σ ]8aV';P~>E D.܉TEY-wk [}$on3?c߷yV hcό".3E~v 4lwģ,@n&at [Ƶ Jy'd%SpOʌ1C‚fZfldLx][C-NfkK!߾`WeUocWys~ +F4z ٪`ҹT0zIuFUj-"]K;tGjL˹""]\ݣ 2^室x9F!jtM??[#MQx &5B7u{InK~%s\GAI=a kx*!̥V]AKmԄ񙋅Wg^RG< bx#9 h9X0BC>(;r*g*sAަGybkI^Co.>ETup ";j~ݹLd  .];%ojϦh\yiEߑ\or3O;֊VUb#us'/jBSnWYP) 2{1th9pja<;l˅XU\rNl"9K_t͐rP) }"eOS/e΃T7B> R|qC0MbFxNԭ *9oubXl#qރ†$\l][0);phH25rk~!v[l0o<㮠ҚL%CQJ} xOsa^ a-{(ϟ> h"m_Vi:i{SMyj2 tkފ(9JR띃M l`A0eZZNK#u R5 1;$jMT8[á^.,&<_P,/id:n~ |Ako"eyK4 Ёl{]؈(a/PucZ  |WǛIyp)ĉ65ߧ!W.37C_@eM%snoZ>yGc lL86X*(i.7)^]=D9 כxr]CN+tYK2_[hB9Ł$V0ˈI*!N%9.%u(4c(]{&tjg.LdDIx+ @K9rO`جn)e[H f@ؗdJ'fo;;m\@{BۿcT?(u1o0 0iȓ2HiDD٣R,`t+b)Z#Kw-鑼S#5_W4-›/Ā p-bf֜j^K].MdMw2^4aƈ2ŵ\j 3 RJBZLK8x9+pD8-L^3Дp3f?i0 jT>>wX2Y@B*q'P L sh{@&nȢaM܎VrnQ+>b/ .4z]UU,T$*lR]Q1wϡj>430llAGی5֠j;26dKp5Wls)qY|4!)_Nn:D5id ijFmYҡÇn?j&-S(.gb1@o}-S!B"a{Hk2 ^_ST9<%\n b{02Ac|\.RTrJ|t= ](M\+ӦPd\iAm={_z,gwk`i*: /-ByJx#i]!)ܹ0 3)tY~ oOQ2]+8ᅫ ntuX?qvx^=q}pbSIjUYzwѯUWD`>4 Nt?0Cma:E"(DFYr<]}f5u r9Ge?%޿DCsf EٙT*VGDႪ9d8HrZ8xR;aTm9^GI⭭.aj lK{I/,z8aBG~n-( SU3#~H{PΫDU*%bǹ-)` fx-/;71!X99uۖvJ%nU0:i؋6, D/bsKK ^KȓƼ'ϱ =[x͘vU9fNG3*; /}R۾p$g :oێڎ ^$]B)Ś$!qL08 1BTCTe YpnC#0bD^hJ憻.-^$/|Ѫq\#_k8f1LQ6]^a&؞Gxq˹b9BIaVU}`̔czgZf9N6=<~>XM7<;M SK?>~Y!eq[V&=e$MeA#/V@W5Wcfz+])h)Y/.ZLk/# )7ڑ_e*0'&qWG=t5v<[lɝFß1>GZy˽&tD` ATuU8>P\}GLmUWcHum?r{|0AIۿ4y S[77jl[!9w,R7 9|7^wa}36gd9NTr~Ũ~tuR^y1Z͓IU |e殺 :l6P qܱbzbV72^Q]CR,#KEN46XHNmBMb|v{@6DK74ZBH3̠00[Uwk km_xsh*sE^cÜ/(6N̠P h)=Uws3!J'<;#MV!n5.Ks'.e2\ſ0g&z42f5/XdV z]^]Бa;駒Ng_DlaĤTncqu|` #ZGW\bLJuNxU0 tc^{?mUqlk?=^F*(kDhﱂ[9p=.1ŹvAƔ4;~þ]ç.(saN[IRŏ듶l*[<и 5EF+W)ۜMsqT#ifEtKc<_SB !JQ8hl)%4p\F ۽ekH՟̈́늴  UN1 ;7Cz- \K ~&;J8`2ʮ#V5l뭶3O4=~O,,uCpkH129EUrEZ4:v}@|Ѭe̹*鈶^'WYq6=U,ohq01`u 7 >9*&{쵀a(DDmcZ!uR qPտcYu%eڗ7IY,)>>ifNO΃lpC΅}-ͻjW{ nS;Y.z󒺰K& 8Ýmk+=h/şjP6-6W4[k%f$3'IV3Q݅EFRN+EQ^Y~1Ĭ%cZ'j 6@G/Z2A/%0@ms0a`8T4>$ ADNgL>KP7sNI)&3c8p/6CY5@:{\J9c*j(?2"_|v \;&d"W r`[pS4V!w Zv00K%٦ 4 ê*U`&9Q`衟[$"%r_IѮZaۉ9Ħ4/e+μYr8Q%QÑS'ptCM4uEɬ0R?~~(s˒+S-LX8"[e_Po= ~#~$NB^-&Uovی{!Y 9-=٦zB :M9W(g?(zEpƪ~ ru"櫭YH_Vht *> 11m ^KUTB0u\8lͳ@IE{*^*6\ɱ""hs-/z}]}dEֵ~v,*edGÉ5D22qtea|[lldc [E`C~WHY#_d,mQ.V@;qwb\vo8̲XMh$[p?x%dsFdK?[_U%,h/yIzZ~G\`3ț#yRʞYD!Fشq~yk)!-zfҬ)W#u_o$B?hWȓԒۊ i"vQtYK:&Q66e [W1v"B]=n!G3PfW_ &df/OMR5.,SӘYgX훌 aGqr_BgWv=ܦ+`&-@FD>EB'vf8tV4pLB/XCqE[FUԘ^>7 #Q > 9L2mW\"StǜJ X6ђZuc0( #CLcfYu1Fsh3Mz6pb~tsvgsݡp>B3jn꽥 *xƈ r^JsB?5>f-ԖJf^ wMwJu(}}f-iTe82w>P{9g\^!\#>9A@* iv~~_SE^*&"P p;BTq*"<#IOpY`n+ADCw;:8#@ʄx˂ګ+ET#nC3b_} ]<Ƅ)޻ŭTGM?pw\9µ3,V}xp͝3z=x%R5ǥ[_huLE^>lA0)Es[ ^~]˜OW=f8c-Q15&,ȹ{)ƈ 1"[Eu^[uϠ]Tɪ+#@qTW>X`uK'F(cS}[-z11*܌~5جl\vAs-WBy‰Pdzdlh7;aEa.r[>qH :q!<HgE¼wfRwИAwj8L/LsKg~X  ׬-M؃\SËӚGw%cԫxo.<67`dOV|_5 Еvf5u Ugť;y}f-H<13A@4o9O}w;<\"?լPCށ*?jw%(؟*Q;k {7|nY"aQb//Y*+'s,4lZ8'H Go 9q춋m\G܇)ӖG_$wX{bݼkQKJwo hD dXvkյæǟQctKx**1ĥ+1?bK>UUv4*p+0av å4S/N݉@(48⒁LpCI4;t}cN?23go{R÷MhYGk~|n>(ɽbڊǠ,C;tZY@"ybYu](UbdA.@68QYo``JT﯀mm&/Av RNf)MWs X_>Pk%,"]cK&gGC/1gD?C7l(g,*ZM=HA zbV0>9eNQ"if\I?n QvF}sW ߨn&@MLPGoLe&+~ɥa6fqpʵB/K̬6WMOwDP Fd:g^DҭxfJ2;2RO>KgF׺8%+9k@KNUUu:Wi4CU%֋ځP`_ԯ,{&v]?ysduޞo15W +dv['r򹸃p_+%X-ƒ.EEҲ 5;VH6 J Ti-y_ТݡD:I2bmOtRr'3bq2#0\$^OB1p.{o (H)0If;TAh_͂q[W=BSi %o&iωqX 6Vڻ|ҽc?1{u#HQrmJMvxA|'m8,kfXyx (p_4RhjK⟚%$;cRhA8"bs.:bO]b\N!0D;~m})@ ٕm@"]9:TC:EsרdKCǙ| @"QZ&  ^68CG2Vřc" /IJ__~m^[^BhJHicD3s|ϭ]ːllx4rRM!ٛT$kNAdG`S72O<|}pl{ظwOlUO<[@Jد:PlDHn$f+ Xdi2dz:Ѵ:ơ<y5s*Z [!lKs6\\tvḺoɟ`p`n5 e(RQ$[1i I.2"Qhh|$W{DDlr6hAMn}R67D.T=84E/Zܞ706t1?@;Vw~BN??z^gLۨ'( uMNZY=-M~˱\D#9X;t~8l%߆I D_JA)Y`CmDN s?nLjE\K6}q>zy48JG49P/E^OODz` &}LII{X?SV"敺d܈=C#qW|;8f:dv"__hTLUQ %>V{lW!T׮H1ӌ>,|'Yo #Ffr'kL]A;5PJuͿ}߷ nQD1${# D$BPE3yNk=rO@J0_Eq]4U |TT8#P[G+Ɛ,Ȉwd|2 Z& v(AR"@}ˮ~PBǍ 8jTF~u_׫"3KKzcj4OAX"NLa2$)1䋀 m'nէeĜFjͯRwG-~Ń#%f2'1FF^x%z'Q]Rz*.5-D jsyYeFTu%4 dbl(N#+l쬯 Ì*_DGsFXPEC@fL]̓B)6K̋zPDRt8Py۽7[p %'^nxYWmR;2Ae6%QmݘL9Z ŭAMVoC؀IUmA?:,.N#tt.+PVJ?`+w*(jքcTKEyiN R;ɁI c+-6n_1]C-*XH~)cT!^oư CM#۪\0Kt<^ "|l;:nl{uꃞX`ہ;V `ހ5X\y&SX ֟$u ҭfJD?5 ${~q}_Qr$@9nRYGo:i}kz*{)<5l.+L2--I!q#Y(ҾH nŨVᗧ$= +~pVzy F<G6u#MjVWHO&'EVPv"TQ!Lwڣw(C}G)zGSFj$oF,X"`6Eʌx4_G$2;wڛmWA!%g ~ 1Qk j.Ka+FnY72_Rg<¸b 8q`zelJ3U/E'ýUW@-U Fʆ=OrtT/p.<[7_^&E^|3A8kIMn$y "r~ }i9>Q .\ɚ2,>힛.uP<HXSsOi(\B,6F7˩`}vzi .5 QlYZ* dNm;`KB$E΀nCÍ:Vҿt϶]βRjrnFmMkN䧨;}3HaD uR5xXv¡W+ EXEuY(nJgt=tGb8xo?R~a]"a 2Һxooq.xI5EfIAvDf^ iLjT"T ‰-!2 u2K+#c:JiyJ5&C)h[a`3ubr$9+;J+$mHR.}WY_S,*98%#),2p@YyV΀#'ogA[pw=$CڟW檑ڂt1H{|i .0ikQ6g RNI]G+:(G=O{6C\ ŖsNjP~8RP h7yB̨[6/9Wxh/Wn bWu$ )UpX63*仿 f.ei ǖe⿡rNpۗy)dܐbr G( @$m7S|oq$5=HY\ǞF=>z9㪞ary|QWZgd{uzVX1}? B&+=юj,#C<@ 17}vg')oOjͰR:alEbL4^%!+CC%R1.IX1 .t8aK`땈 abXU1ud&zdne25n׺4t=dMD$%8Z"m:q[eL3wA#g4F%`a^r6y{ V6ɋԬ=S.K(x(nGdh{g/FK(ŧF3\I-%/4;EcgDj}*YZvO`镥Vxsܣ6W6@4zNS&}wgD(D&-n ShbLf$v Rdخ[U ҅n%(|K ~r/ yG}}OKc_Fs!,N3%}]g+g[aMYayKh}=m$x!~N9yE~_vIpv.O1:(ن]U35)a򝷟A$%k8ߝN54eǣ'I,Y-|r($G6[GʊR :lJZm75(cӴ)EaذW3 :%`$0x~T4u 1ogaV9l\i^XM&II! -9~rqQ1oaŸc?\ar&ΧV^>D8d:3a"y-W*EzIE G*+KoQX.mfsؐ]f`էMPe,`\dwX`o滈-&p^k) l%w-ؑ]bm6SUDx-OCW[=Bj—o޲gZŒk1a 5眦J>0f꠪0l-MØoAn_ ϘlVY$_oX M+^\c.8[$m{{᭞lzhתVW{%OBS9C铁lrz<0/!eR7^>Mf}/O#luR6RInA8LW4]x#Qw96 R\?E4vUt1!qq܀vMڐKCWhIa%[a;ƋJʸ.+ImJn5WD;8Xm'sFNjI)+&kHA1C٭|(疁yGGmkq*elp<ۑ̀VjcvE6[VӉ`{iSju 3:ōt8{ܞ9l"$^͖ ? ڋ!G0/}ałWo:L؃ u.m~៭(3htfpwٔL$Uqj$C^'Yz[6E[eG qXk2@%n,TO7d^Tނ:`#=F,Fz44Lh)_Fab+eg+͛M-"|ETϽGe\#goJ(\RS{%x1DZc oɃ޹zb΁4 `^@i+c("11RwB9C[OejIkC1Kwzyg J-H>P6wqo`db5mo,IM14z If1V<"o̸V'TmVvaivtT3ɆلUxҦ*EtEzTs m:ے4z jC /ja3nZYw4;&b:{Rв* \'^7#ԡ1…~a܃<=`]ڏ}(h$O6XD}Wm`͏L~ii2Ș'v":6A/zÙ o`PѫoA\jy0-GOgX_X S(DuٿͣrZ 1uDE3D7\_3[|P8~hzʔ3Swp-:m7l)N>z/J&y]ŽG.QaȚSv7+T7cMFm{D[.Ai9)lC\UJ hU^Ɛijh b#9Kwu$t"G*3+}DKv~˃K-p{yT9x"m fNtD;7zݝ>TłPn뙳crj  t6Tl_:~7h%o"iQ_]g ֛rNPEnssA}sMvV)1;qLi{~8X`z0@g Qdu^HC D:+ӯ@,sAV$;C%;s煻ʼcp]L/,W8N|$~LEz{}< G/Ix='Xt5[h+sodiaf7[>©l#Vi]X>`Q ѦOgR <4tb.*.C5ɸ[׬ }IO6g< %^{ 8.Addw[ 8A ְ>ͫ9ڇ&GZ>yn}]e܁#=kAJh Dѧ1/aT<>wiJ֞)?Vqxe= itHjJ. d;;{(>xCeZӋFp9;]|y 2WRV2 7zУN}.1K}v*RU1x;Xxj_]r\-$"=Jπm7&H?64Y]nM:GЀPg t\;>޴|,A^?yqQ:vEIyp #6&AaA̿^Xد9O>e 5]&8yV3G 8vOd XV߂W%4%wKk`Iep]m0g`,U;Jt Z ] 0R͝wnW>R!ײ"4:'"ui< >'ߎ.Uhj:w[`=pЪ ШkŪ?CyCf\ F>Pqĕl* [O1gCԀS鰧HT[p^? ell@ ǏpY_ެFQ')(PDLJ @cG}+84jr-.'9\'m,)r n w0wNE3OdoiT( [1eQaxI;%Ъ-G:;ҕ|2;պwT9qݩz20"_Xd~{^s5"՝*gZȯ9=k/9 E!So]V8Su۪8"O^m5I.NF>kߧA=ĦpPccĂ)ګ.+mDdbkLκ~:H ye`̐75=ιC]^OSqbpKR]ǡPygAodUhVciB%zЗn6(Fѯ~_SVh64aošY 69+ Ic4hjKLj&?]n#c!0$ sn-Uofǽ=x-9^ĬT]8iv*o?]8dcYaD).gﴫ0x,[ dMJóKm Q{?xh- 7ESeں~wf}2ѐ \'ڻ-rC;$Q!]ĸ}?'`կ!|9(ْl+WT8ȎD4='$+ c5UZ[BBe{^ sX_%Ʃw7)P} u|nH?N i|PU>Hjp`J6eh½7,E :"Ԋq?w2J<PX#wA2h'(\V7ԋi0tq2gگh|y!0\={=ojzTh> f#y\:;P7c m/8v(xvjaBMwtT/<|9]M;W5 6cRNȜ:YGzXnOi+ سu<,AvO_V5@ӫ \3L+Z{u-Rt#k+K͌=s ¶_.L ˘@o|X(tRj/}Z&pM2&QVf%9mq(8E05ugqQAa$+-u4%jWF 5DuWWKS _<7ժmįU$撖d(s›/r`98q.(.&gs # &/Gxn6=զ%:v?\rav@_3xp9RbcX}/@ YpAhL~W X_\ 8b1[ĵz)`tR 3GݪR#EUHu~p33exJ^"o@* OnHI492&?Iv;X^,+l#_MEљJ°Ͳ=R@2 IT;Tu蕼z +bΞ h|[ 6G0Y\H^".O0 0Q+&3fz*"epԈy>u➓ֹ0^ZmEv-:=ш7kG L4'ɟĪƘ_aJuKp5Gݠv?k5Wm5oSn͵[ %`5eb ὧ6 (}={W?n{dMJEJ k]NgRkoAW ߍGF%v- g"mh[$T^Ûawp=HI@$|iQ CX趴-JW Q6j`$/ zL"zmFh;?~*G^x8u{Ek"+ 2݁  %p,^:,;)`r6ǭWNvz 6ME Uu2ab񸅽 .2@2۫_<E| WCI;v!gKh8.vs)>ݨe.S ބng} F;yv˓'e}֔s|<ըOR $2RVchÿ g<$#L55 >tig7GNsL-6Vb#լ {5qc<SXVF 2[ü:h3[~-qT6io]suyPdR@9u;/~`{ TJ|/ʍ2iuU&nt%sR آԧo o1$=j,DtH3Yu~?# KU. &ڹ.o|讽VU 7OnvnbFo1t텯7F/E 7l[~5SЇF4NĘx} uk=bW|q[F>J0Cjj5&N$GdqJStT㬅A !S>P[)++ѽn@,Y~r y.QTbka d*K]Ǒ"22":368ZGk3+XP%NHUȁHSgBm!RlSf.`ff:dͿ#[,B5Q3t*juW%L m!hNm,bQݒ&GIZ::%aO hmkf¡0DeBoF%Svqfɾ̻9Kg/"REA)AM>~b4j~[oGzqɨ/:E>촏aٯxq{޻|˜BBj-l7g&234uإabf p9cPfS Hz>6 v+ Mìv-/LLgORͼ;jjCP/EJgC!I'GO.>ڝ_EȤ&Y|Eջ+d*RpFؽ`[u w7oBsb*H2D: JscF՟آR6M:wUJ>3&[5_,TcaPp!_"?!kۖh}\zZgFh,1b6jkJ]!]b6b?} kô~2,O_Qr9 -z? K"TZ.+p|l}/}Ago@P-6 5^/|};6eg֑[‹fOOd=$yaz[ ` pER-#l-T6"VPp&_Nmùr+dpI+< ȕQP?O1E<ÈRWy ۔J.ٶg?ŝn8~D=Uȇ?+˜^%bՁGF %1QOnݡkU,Y..u΂FS}cԡ\'6b/'Òto M'+Sz*Z;3n3X < bVcB8@& `/Rq ;h78k#C`ch9;l o$hݥ2`8{IŚM[@;AڶMbKQۆ JdsYZe~sܒR'  3AUGHA{\0W:.v*"sW'xY*Y2/(-WS*z.ʑ[vΡ[TW{ 2ə՛|WRgtb'tFizaF7YA_kPCa~q]DХ1 㞃4?Вôպ,"&X#&[rՠϟ43ƒ@oL՜BjdA_,Ȓ\ԯ_Bmf;^wdVb^5'ʜ ?feM_ s@yM<W,[ * )X1\EQG2x VO,!UVe LJܴuѽoԩ\Q?ؤ"SB7Sg{sRQ+و^ `1>^JReD΅\CBLNJ >/Dt`zg?N$FzhxbǙϙ]J m.ofOH$ϒ}`F%Հ;˜e+k+c]R C3O+:Mq`$  )-`{9̣vE%뷗 Ւe()>b! ;7HP :5gZe\V-am]AI6W,:唱+>nQőcjyF8"?D(vzz|&4†JeGі3J[oIр 9qs!1L2zkiey`'¢< <ƌ_zlu/ Q T!97D7tQgh6kϽhBSm$pүs?x7óB^Irw^ѡI%A׍'0f~S*1\GZǞ,_EM쭓Gȟithb8'RHbrDoqAL Rhڦ١g] gLBp9v*dlxބlvfyNfUrgx<@)=Ha?6Z7k* ˙;GPpHج{bԾ(:aR?Q*dHLNEO5ţ[Jwb#%!N VgҬӢ[8Fx:F !|0uDS/ޫ _sjG`߮l}o DlB?D[рo0?O$ԾW΃[fTd요#k/ӛ4XՊ 5_YU_A,-:%!xǑ긢PV_Y>Ȧ[öiv* ~30$dz+9F @흇H;$VFy9-ž[Ε14BOT`E |rMj4U7kQ ֝Ŀ)&g31DW[=MnSP рHZ9^dKc~Hp8{/ejP K%֊&N+։AFV igJC] myvByI v|Hԝ~Lga-k%i{cCuƂ"r01<3ۛSc \#8 Z{B9dJW,ės;:^\`<h=s~bcZmY!9}h+PR/VDnlݿ}qgu Tu CL^X> Y(Mxf|qtBJ 7Tg ]V"{u E_CrN&nB9@ |[A_LMJ=iF7O`Mi,WARldHV1R}-i.*?ظ\ur_;Y 5fM jn%ydGU>> r& 6@:1AU0}wS{S~'\df h"oerRUtij@tp,Ln0vbhM,J&&kuݷ,5ҜQF27D6HwP<$9$=l!n}r8yí.t &@^\04&(^ [?)SO3F\o[L+p8]m'2ٺ :Ɛy{.ׁ17ӹXZKd TfՇcZnt^or^ w h,9Rzl.ڧox9Y\o˳&.eX%M築saR 4=Ʃ\K LM&4zHnrϧ:W X_ v.6 Dvi-2 [\7#P7*Q4AT ޳G_”4o*S?94!v/H^%L!Hm W%Z5tn Vdn>J*#j bmAɽ[y,wS*{v+=I oj7XDC>0rd=H8=rћ &ob wg-SY>U] i dav3Ӧʄ%ZVd*3Ο}իL kԺ՜)Ai .s'5T:M[F)*,Is=Ȯ5]p[w-`bXMwB<""{{bq %XOS$MO|2!o`)9Ǚ.gR9H'i !aH į⇒/7LdQIaޞ1/920B1^Xl"IUQ/n,.3m>}TΒPXvZQp*M;%]ς9~ӿҨ`^oFMECV+Nw&+[8OB2jX]WG\wD꜃=iVS XW8{#[ICw8X "X+deY"0"m,n|BDˏ|"էǾPlIdp+aM9ܐ7cZ<ZC?hB+wR`)lΪ7@Uv !aDuc7w9/ _@k_c ۊ6 ԧܟ'%nq"Li`,XF|BAgt崯EE%|m}@ww8$ۙB62MJÝێF aI )/%\S%ϐ.lߙx= WMUm$tٳ&̾'{uik| X :fd3i2F1 ^diQ< Pa`(LJ\5 ݉If2(jɗ_@|ozAn[ !W#8e5#!`+}_>Uy2o/bkOZEη[ɉS±RZQ0%SъH"y9M&>2H=xi_SUۏ]Ѐ?Ayћ|7Dط7lqQGmT19k!kEx) T"7P_D-޾< * ^gob1\9s4:o)7ϳ(I\nV^;^VJV:Ie,%9#nMKV38ꐱnWTl!5n|y+9eIrj.ѩ5Vi\@~JQjMO8ETWZ豦_(Ҍ?q4!Mr(-5ilP 4_'m,L \gg̖bz1ڻkT{pK:v2x*4wAVx7: )L+!>"ul OA gY5Tk9hg 7_%D+& ]1y֫'d8K@>a>@@O\#D£9oz?E{jVivh$,VɃҌʦ%~PvsD5{ r#1 dQҰ-BaBf9Yb=:hd4AU/?D)Q.RԐ(OWň'uh0Ͻ /AAyNGlh#[$`S`jzܜؗwP|Jԃ\gj7> I&SfBfeU9N}SψQe,Jk8FDoϠفu\<ިJ &Xbwr8uYMѫ2-8\sa&2)d`bնнs<>ڣ)ZV߁gI}VD~hEɒDz9]35hWܵ' ׻'d3GlvAec)q g%O!ϊp6ojDeWiÞހcX^` d?D)0Nͧ 1&jiIܝaح,3DY0{#͘tdx<- /3¯gHʳ XeD%Q?H)+^EKSmz&LyCZ4W*6 %|d߰˶{c VyXr1qt <Q~̷>_YP0/sYyA#\Pg:Չ@k8OHg4m NԝIjNJ]9I1 ЏRTs$s湛>PftY{m͛w䝾dT;͂]֤r6)q⑐B nvx{ 3Wt0-H/r>+eR(p_d݁#}R0`쮮ޞ25d]xO7mX1D5CHHA~Z ާrGĊ7^ a " fXr.T`Y)5!£u:;.Ef~5;e=؆y7U :cy35 -qO,r.nr k_tb8:,i3Z"NB#= bݑJ 'lEx;}ry[QbnK|1f4^w&%'ii"̏X*a#^(Qw,*-0qu2ktT!XAjHb.#)=K8wS0>4ΙvmófÞuטNkBD]BVE^1tZ妋pI} 1)xv[ ix;܂>]C LqTƖB2rHfbao _%njOB"?T>k&Btg1}464TBt )z[AjCBq̼ ZσxB$i-|e_h%І6%n`A|uKHQtAָrup VG4f5 *GDPrgthq( 5)]kxޝ 9/O5b@Ԡ=l1|auڼnO poAGgkN蝵 Mm@ bK'Өr m,GE&DN@0yB''Q mpzMiQ  nGkOTHJ ŠV]3ң܁Ȳƾ";Fn )7tz멓Nê,weኁ8RL G zd[6Hڟo MrRM,FZw ZG~-LCAm+0Zsg{'EO Ծnd ^d8+>|"L=tݞ]q-GVO? rq& ri"MyS|d!IF0>_d*N:utsa_$C,̷ơ_f ԥZ,?y*iP?HE5jnN2,c_"=ۜ hT#.=1T~.`ca6+&n'-?.veQݫ}I~W1B%¬T Ⓨ# 66IO۾Y$]4 B1}bhۆSXRRw )~es&bdy0gT:},lÇpJh;)lq{c1o U|qd哧?ΦJ)Pjƿ̦Ϝe>~LBuzz)6UɃ -خ&2d=49;ruRVg: VWb5H5\?LNi/Eiѕ<4.mE[nϕi7}uQ[ ~dM ] rw1ǁAp}GjBמBm_GnKץɚ]FL ꣝5P q mZBu2 hb6L qĦ+"92!z/6;*^dszFrkk;Ϋqgs_9WicXٯ%mI Zl<@)RQ=^cK#;m g.[xlϩý1m ~0t%Mg٢Q~=mKTs,BMW7rLǿAJd"Ҿ Yq $j'.BdP0gTȉ4ߖHgҐ&5v'<tzjC[#{/~MAbƛl~TB|$AғnH~HS"hYmgX_[ћ JY l H nB$FVX 65 D%*l+~X{u1SI<(.ڀl y,:3bNmV%oӉJVrF}UNȧ嶹`\_VK;Vz٤ XX[Gֺ5t߅DQyB e[f{&+Zd{6OR WIV|&u/ }݊w暼B?8olip^|9"݊)K?ٙʴRAT "i~4fS{G[6I*\ bD 4L[a<sr ֬w(I,_/`x,qԁ74CT$<:GLh"<2}[Š>=S]$\! ^ nTKLPC8 ?[ӌOZN ~ *0cnTxA\ц!bc_kJe1׶9A{4Lq+z/,2!EBx,/me5_ ukI":ݱ!zGۖ3`%E}AL@tGwlfmȵ,q1W/=AM*ӂUE5OM h'a>;)?whW`4P-')zS 3,GvкtoF*{D\10G"W!ׁZ^V;WЕu#Kzڵ)m ׼V ྑ< TvvySƮ0=B%@'vç sm=xƒhZ?"麚 ꆽcr f4auuvܭ b؍3'YT#;UZ8@t(p^\$*E2Y5ĩx~y10nAe/2]b+hݤ }i^0]9 E]UHN>!V , if0w]ӡx:r剜5HlbbѬH`9|~SeD+vnj>[F:bmg]BnY2+ *)IK)3Y+$Wћ^Ywojt T i?_pGNOqDq𔛦y.T1f @U!f\:;-P\, P?Xŀ}{goۚ LF<#|Z'.Njw0'>֬ YMakc^ +.B Qk?Q, kFw}/fWo;tu"2Xz%C=dJyLw ӕ/ݕen_e̊ثw1XX B*뇙2jhN oۚ`AЄ `|OBJ1~ka'v#G4_4|}gπYV#i=(pPn#UpOo886kkbVVZǂlCzMYi3Wfoa7[cXUM9K#E~͆(D{|fcvNxjk$Γaȗ[8־gĽGp:Qh,Eas'ܶgNmո8I5#dͻZ 8. p[|C wYz Tzgf4LD&c'gJ9\,-}3rT'yc$P% =ʡ$׍'dt.vrzf|lDCŨĘLRt-7D7@+b"rY @yfǢ9ph=ڲ!2nsݗP*,p'e4@!(.#vCXuVI33y^߾3kPJ m c&P>¿4k5y*)E-oI>Cq⊠<[P䴒TAv/yl$tQ9RT=^02emBwS|-Xs2\@@i[̅q*-֓eeͿCiWCQ[rVd(9FOƭjPx{ 0`@_Djc =DF B#Y{[aNtjgyHmڈg)JJCdGA5[k~p" -݂0ЩEǯf(h;HU %8X@.$HbԟTbEIňCI˾X9Fg_Bs3cH??5~dڠ@*(EC\c2e6zQz_Xk}PྡྷZ~ Yc5¢\P :;/̘'b)lvLAb U@2f +1/]eCY $ǻ<Q݆Is#68id";y5Jg%O! N*puN|vSjb0Ro(SF֎JÌ\Ҧ \2;ְ[\!zRהBǕLֈ6ZxbrZ,p9_]DZ1ωAAt!<{Gxg<-t ,ru0ԖM3(_O0\nUyZe[|3tkXI=Ĕ":o72!h=zƛ ,a3K1dF!MNeH/Ǚn `I)D}pf?6Ƈs$DDZt[>E_en~ `c FZ2Ά'"@@Kԯl$!X'G4mw,0X:@Wqp78l-(pVZA$gBç1*'^{*V`17\tjFr|7[wa2eY E' f`PW[kk, [TE*#وN%sgldn cZȄFrr}I{NG$K!!g;0KFzZ`* Q'7h7Cwĵ5T(OR OmYI3δ @6_'u_`/|ݫ Ub3q4'˂@}JP_[e{X6Y$i#&) Ͽ jH}0F:V[ؾxm6|FT(y5E6uhkD tVp۫ljGtѤo#ѽkKONT·"5}[mg#21j"=$HͅIdqDk.*Y~{|bLmy~QI(Ibx,#!6ohF֔*ʞ!-M٪dD25}ؙe^2Gv'6`X m | Jwq 4C N%FOD/y!%jΰ_5[ }AD1/ >&ő㤛2z}YdL@AG[ԗ7d_'#-tM3i1D1X63%~Xڵ4 71Cǡ5Ii +cѰX02ͳIJ!6 [0A+r%5AV~?v qC@G*'*d|({]tG fV&]rn uJtH<7QRDuv '7(ߖ'HL֏LVwf'*(`zRnz"ub*rK1o8y-ONPqA w>޲rg}ć.VG;n  $/.A4{\/'dlrƈZE#@֩)Kiq $ I;\>ABu!AkG%G[N+NN cI5SL/m0ݶ‘`e1}xAPK=TΘqmRhtp4en gs/8"d?%MpT20ꏼZػFr30FEJ5=~rTnpJ6D+ ϻ~K1