SQLite format 3@ .0:  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 |%$,D ]/]HOL-Analysis:threads=6elapsed=353.551cpu=1822.496gc=84.840factor=5.157zXZִF! WV ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`jV"Semh3c m8=HwSe98 rVb߂PW]8x䂀祹]ڛES@>_sƩtp0GTgMl)l:wUuÞL18#ތ3&W * UzcfpH6w8HR'&y6KI< {o7%N5/dz JS}BHKUFQRG|4_NcZڌ &HM4&@d,eޱ}hDf (MAT&шDo2=dK|L YTi4G x+/I49u5tǹ ]yW<*g Ѧ-ѣ oˀQ[@S&1s< 6_ Ӳ2Z@s(wPԔG !ncrB/&b`'# xj!W=O}6._FbԆ,l_}rթHi:wvQx\F`fDc`b/!3fh.,}XI\ĸL 0M}V2x,|X *=XS pI7tGF#4Ky;N|Q@<7v߀ɁL20_+Naj-#i[ȟU Tbkj3k$kVqαd)S?.ۑ2>lu~d_8ˆlk3P} *M^ .<l}rЮ8[ix =X&˝r=c=+KQb &ǥ1jybg3-|F9<2Ժ"u .^PcKe=?!e\<͋1jl>' rh)\LQ|o :۶*zV2 `{E) ٖ1 2gRZIcp4%np,-1^= ?XD)ҭ (ڥ%uc( ǃc5n3"Gw1NݯN=񣢀%xt a{]}է+1k w-pl1ي4L!!Z} y77Ծ?ĩ.\^%XZʌN>ʂBCK8mdDzgcx!Y,}eOz[^5ev"wiq5!z7/MZ46N}Uv=u~t]͟ulSRYWu&*KmY3 oVfmlpeI;ye7q (rhimF=͂Kw <ư8+3Օ#< 39_J _pn-nj6%lg^Ut 2G>"^Ij1B :BPX % HOL-Analysis  w% FOL!_,¥r3K)ϔB͠D{o1wW4N`Pʲ7"?^~oI|j= #:ϖ59Y)] u@\Ly: ErGf埔oPHEyd>qd /O@ `;`-F⼛sG;!t3 nᚙK}u~e \Zҋ7JU\vӋyܴ'PGI/qR80el}9'jY۞.NJ'q:jtZ<~C(?u{YV@Yekְ'7Y@91?[aI'.p:W[Lg75뇁S=X]e9Zv̆/H-7_NZXy!N W4M_Mw%CŽc`Ysn`@z%2l$=_lCx/,`4hA L9ks$i#|8=V^Ird ܜ 5O3Wh/?ǨĢ\4¹;ԯV;U{ 3}-I>;|2THЮ,ƄԠ_ -&&2M|;^Y8l|üfbfт;]zYYxF%!ƚpy{6uaC%bTqNJnpC28*kˎ _n%>SPMBjPnȹbKJc{T%FA2Q;]$pBP0l)=U\ɪz^Uut,tycϖpJieY*y^2!qv:/$r/f-PH ϡҊ^uR`$`ݛŖo (Zb9ETÜ~nF۴b90Yd?țk1bf[c Tڦy޽X4q+mqt8-M}NJnV.rqgY: ^1=%xe9ޅP\ u (PLTLy~x90Iaik-m%[oK[TŨgp& KX~ X;c㧨wcLcqH& /5N bCҵ@ lCTi2&Eu߇8tyL~Ǟ|=xN;+1K}F&!KoRTT_]^aeDBkHlÿ0~s&SjU&{?Ҧ 7bƦŐx`^@voV#" Lʪמ,(+_d~!)͑{?^ڰvf7YyF°چPN84@龘I 1,#@!>~C02-J+4?I ؉@㙐]*슅y]ĀmiXv`My{dڪXk-hIn@.@7{7CD|+.,dzP4kVdĿ1(_}V #" ?"Syw|9׏-&DP Uӗ)d62e7~hWA>3R}`UFV6CJrP, jX NAhXM{}E: %Ĭ'֧#/MJ["TZs#[ܶleg3ђ m#"A\,3YyQ!3-Kg>J2=Fw`X ` q*3賯Rn`ɳw( +-WE(֢nM91#%2SVکȠ=F x!蹊}r/e_526|ށ@0l/D^j@ŗ%8.41hA9^pYDJb*Ȝ ۮ9ڀ{' NmzH" FiB4$Ǵ-Tgp=͹xvh;n5烯C *zJ YX/fnS2k(4|)^ ,[x'FAVm!1Nò8@B&Oc⩝I)Ds/-@SY)H 2;,>@ԄV`&WcgWO-K&}iCE;݇ulyOBbE PrP)\'(Vr<o!W̳ ri11Eb7 tx;Bǚ$)='޹|lu>wU[mǩ2"nTg 4;`.ܬw|@u_m>٪Q\[޻h+'ؼtUruWf0 .j߿7+2EU!c.j^0;2I^ił?4a(HܝB|[?h,FTmy.ca(F^5ka:{k?$^C22>XQ_sBfU?DiPMʰ?QG bsvs:`gt'P:DrA]O1B2(/<rS"J? S%0fDž |Ili.:{bϔC5rb zl 5TQtܑ',#W1n-/׬CsݹEعnv׈il p\&yL|^X]q&䳌+D~@.X67+Ǣi@hSd钛w iUS](rl&(H> ϏprS{V5Jյ*NMPճ,-DqUdVbgt){¥~mlLPen15Ѓ06*/]:w 5kU2()#h=eg~LqY ΚCkzcLdzC>wf`.e.|ӟivFE4$ ^xa}JuS;IYxĪ0wد~R ϞΠk}"̈ra2FX s" 'ZIH8?ț 3^;6JqLx xz䃐}r5 CX;ĵEi\Yz)YܠdӸLUPmqTԻ*NB~,dg=̱"ܿf^QpdV&ZME~[o |~#,RLG@qU 0k; -BTnZ0T51E } * g le@֨|ٍҹ+ pPQ7V8:/klCND)][IpA㷪&㶭e%=ܾKhsiτ3j*҈ii@or8|/B\Ͽjè(:5'ڍD[D٦ͫ\KLd8aJDifY`m\tIi7]|Ǵ EbdQiGg 9 fJ N|!L(XS׀zDwStcpo7!Мu`žnD/βse0I, rE)Q} w #f`\9Hۛ7ߵ'P-lpJ=倠/j|TιQ]e'=SA;U I [BA^ hk80˂9T]k)2+gd}7I[-LuzUZ|rn!!!P?2* h\Q>~)^괪Fr)8As ~~jݚPMF+_)4rZ.}bSV#?:.,H;u:_5.RmVQKx ،kKQ @ ~ͼ'<~Y;/Mz@2~g\+׎q2;SfHz(ב-s5&Nٵx_k|B2k=`]p8ވHjWfJ74ՄWOz``|IF#B^rZߓNEflEwf` >wѰDd/0+hFH݈BXTqE%eZh4=.TT-Qo0 @۪TS9B4AN+$f!WbXk0i“Xoį$>P?] +3G(1T0QNCޱ %(f1I>^6K lB-)@9(+$Ϡ 洏e&Cvf)snlvkhV)^^csdEZӝ&$ > 4_7M (Owxom[1 .m }9pCg\ESULn<QygVV|}Cx}M 3h7:kCuE?TKxTeկZs4V3ï$՜\xŖP9g/ YE[_}̶FKѽ.("=;iJELV(R^dzMy(AXk~#7tUd[;mzƞKhW!cL0|':r1PT;т/``ݟ_m;I9T,a&PFRp lc/xٺ0jZ p9w1*zIE*{X[ղM"pg|@PɺZMQgq.))ZHWꗹNDcLپZpP!PquA :m}R SW+tyw64󀁙iC{hGY$S9 WjGE ò_oEy*IF,n *St99{7Jhr: ߝl"ۄLrbraxqΪ}jTIl~H5K||Pbݩ)W{S9ۡ`S-S;BN^EiAVzœ^mY--^d\Žc$!gsYdh>)7){PRijW_pt0fcy@sz}6Btgb7c& =qo%CoG9p.̣W^Oy22@d׋Pmm}g?:voUq`vM}՞  :Q ;vKw}udAOw}f.pfe=K-y͕.v[FN**6G7ݑȔ9{jH%M6*:>q$cUf'UaYEz츚ԗJP*b S yM0р u7RJDb{`A2O 3w$6NGʧ Dw[_Gsjȩ@_dS.m7$h Ha:]6Ҧmc=2VI?yvK9*j{e$o^dxz7`.X]6T|@$ڬ*0 >6K R]ޛ+ UTⲡF̝;X?%Ը۶;ݮ{:2M̧=DYQD(O /1n^r#Z;Yh^^vza'-n+:TZ1 pAzR[1YM9a"euFvyN\{l'$cs;i-Ȍ۷̒CȕBD(D{{@1QDMSEߙ> _vv}hӍ}oYTVI=Qԝ*>ld%4z*u^Py<^qvFzdݍ5q,wFT{FpڲA0v2^τ]49JlT5wkSL/PllKN;j tVnv贉ZY>Wz5QǻMvXuѷS YQf6pB(μ{JL(BO aߍT^ p =% &$eTn*yܻ>@Ls =?@(݆W#ȸi*V$0yPrMzAD{/{[kD+vFuxR>x)7|&mgGDhitJ|r;}oZZ eB)9&lVxܥà=_xKmh#l!z(? q#Ӡs)y\{,Q]\nyÞ-ySPGBFwP6WDt AKuG:QjWFuxjQt)m?&\'}^*B#$nnXkG,zMVT0f?qo|pvC9+mzӢ6ߵUó$^'[za\ucDa\:ElEEWQl)vhT0 eTetT88϶jo Tpi#`Eɮ7i !> ƌ@Mp4^e($'ƹrr \rG( iֶ腩]üTV*lfY3Xϧځr#5qL[~7-r;NxCkW)6Хotr2p|m.ubMة5^?gHV'FQKÄk7.X5GZgS%j3T6 sHFtm5~jgBAjW9ש0u{<Ө,הLvfY ֵ$k,M֧݆rgr^o|f`x:>9CzP> ɡ|aIhj@Χy'|AGZ>D~_`uwN_l`7-kVRG-eâI sJϡ!זWj#.3"~@lA1f6y%rzhwrde [R>M,nJUas$Y(ַI/zP}ApfM?uJs{M/ۻXVTz,_LMݥ0'K-`k21 :" 5+H/fC'D:غ$X3a oGqFb);m<=_m6Ddap\5+m@}P]D |AUz5ۈzUD4imJ?n:[60a\Pl KW/ٚiNrP= ү< 1~:!~Q'9a P "[B?;U\QƃtN)ϴ2 8>`33 ej%IWo B e8tNI~H-;A5(h9.ѰB g`*ܟ|D[ ǡN[dA Ҵ&syi^lN۩w9>S"ZsprQ>1~KxōjjZi"Ӱ~Ҵ>V %[&uepČ(%svAgd3~'uG_D ncgin4i6? 9/~m*0וr0fgGܠ2P5#ic\uaۋm.@Wc@Am[gRmq%':=Fm_m;I `wj^^y(DIؾak8~ 0Ɵ @8BlIC}yfODO )}~e\\S$[s (H5A`ӂ֒j`ZY~ױ,e @5$,+Mt:;e0na:FsBpV ^l)MP݅/{٤4k:Y4 ܸwrvX$ &17%^f%RD CwDjQSė#[&DCDKEI3}"QE%UAX?4~`uN˗H@n61ZBPrQvA~͐1Ŋyvq_`g\A-_dIPs E:.So)H!yrVAиwFd"oHrē#BT|G+̶5eNړeO\i$fs@U OtqB,DX(, СJ¿8B ӎODkwP['8g'"eN8ٛ3#-aZIpv .(!|M7#-A~3 >'L9 'j$K]=KG5Q1'<k*Ƃɰ[_zJ̗jM%QMVJwoIYŽ(`n ]ݏdR"(y&Z2YFLDFakϷYeG6G "$%$ `dlY铙~`, Gf -[BTh0N1@n8ƟGf0@C}w0=ށ"ş[Ee~.6_UyTzyOQQX'lEoa/`bQ<B:Jt4QSPixDW`ԃ6NϬC^/t}U(?MܱdJm%tM >gQ o+ ,G|tJZ*.N Atg_*eItSituڞJ\=S$7eA0-siD\wE|0Kѱh h ,*ʝ沝" b/j>e#K%o":OpC`>0?ժAt(Y8*d9&bR'.4&M5Y. qv P9f2FGඈ 7vm &FަāL [ ⸲P#TAeM~ٵkWL2<3=|7y>];w }\Ɠv rjyރSQǵ 4TYK10~[!ש8ijlCmbqt4\&vd/l 7X팀17]MX^f-- Le+Vr S {)w\ӭ3ۛG]V/ ЇQߚ%:]ip0V0 b8FB`)sD",<1Ә^FG|!SN^/Vg( 31 ̋]׮< PIWX3vXi CKƓ /Xz`SF]c 7mKt4sooʋs>xylaC^jີ6/>BN,6u+N|)Q(We,ۿEiHIr"ȘcX@7C(\#%+weqSO'Ig74knF?+GMh0C=9gkr 5hqI!7x'c8xm`+pB*ŨVFq\oΒ[`X>=\BᎣRI͵?~kիa%7(BSxW 6 g64:՗a{.Tji+ ]V'RP)hGie`H,'*Oz]/ ;4GeHr,A:6)F+?,]lBnjLYIDLx ;jj* 8#3&15,!/4=]A^vΠ8X36?\`(¿0rmDhߘ .~)\c=iH@r#t5ꢱ{%%Tt| !ٞ9 j>دJ.>¤R~B4(ԈpS+Uv0?+u^˹/[bn[*Ǟ3jءȧ>QAbSc;?F imgA t4eltK)aPm|+Z%[H a,rX$^w][໚iWgJ#r3ɝtwb`m⛐PY ci݅!_n`o֏!S'o 8u]UsZQ{O`~Xʕ7WttzRϡm̸׀. (vG@ޗ% 5h=L1 YJJk.|%vb\6ƤMn\Ls)ϓGଔFQɲuʆ6@V3oAB,%=9P, *Ffc'I%ռ )Yr[`S{mvL|pt'i XTQ񚱱RD{r`x#+1cm?"* >4iȒ[m4h"f>* $S{PtY Z1BiͫRؿYM#Ad: Lڟ}]Vs=8sSG4Jq_CCOg 0CWD$\?kW-a4 zPkq֡ 9N>/03K <탕c~4`eJ<<$bn|C&1:WF1]-I%Rmxy~T!}~ƽgˀۺ m.A`'UGD4> 4e|2=d!ǿtgEVF=\jWUӮ3Qy#X,؍z'e {$zm&'L%Z*3|H)휟u j "LIn<jvMrE7^lIv6(,eqW9O=8xb 2@V Zf;80Oͫճx]rj>3ۄ3/E/?p+\:Ðvl}C0uRdr?+tL FC%6<86XMЗ/JvԌ̬d ʠ;!d7|U U$vYZEJ]b8.:cI,0badBLGK~,JPȐ?g(k 99jãf57D1'+S]q; Y=cQLwވ,wBbQY*C5MqMU r>Et]:>6&q$֩@rI HH b*QFI# Z\(`?rDb [Jis,^J)tpp2l`ꇐ@(q]LVQq3i^ 'ed&5?+Wj IÇ<: 0QA@ ~2ּc1eM2w(<#H$0:~Sy(hSlbk?F}RFqDnBrڔTPkd#S8JYdqo} 69_KGMhV\޼I$>/]8(Y tsH?S@'!db/! < 1Aʱ5-DטP .ů9dAnhTw|h*d5:Iukv$0\‹94-f褕~<ߘ eԽtd*&e8zBD)1񅡐a.dZ[/T)Ϳe?9cxAcVSXL  y+GiZ[vcFϒyjr Qٓ\| )PIg}0蚂hɾY:"Q6FC#%o> <)PVˆ2ڭ/V53ٮa&fQ7>wv)K3m̡Q FyVm y53_Hs҄T:̋|t$mC%MP(w~yc݈a$ZrpYSf@8Ɠ~50YE9 ^%FFj0aPՇ~4eBlB$V4B šIS%Q,U6c n^uoQ)Fʂ5Gd3  7lqYdc:K%J<"_1وvp&IĀRgݵeB h>=<^5_*Zzg vs.8G$ 0]Sh;_J$]C|UndM}irxۑ'l8c޾ZtQKeh d^Ǫz5`d| w)0^)Tᮈ4/ }Bn;?0~Ibomf0QpFro!9$;Y({6OH )^'Qϡby˩m!'!"ϛso{6 %_,hӐ B;,IF&b=G̓}ϲ_rCF`K.F_K3-Ģ@ءѫOtM&HYL $V ~pt+꫰F*n |He#K$. ;$h-EOu"N뤔OX ĦD ٔ-i=un jT6*UZZZ`\\E5PC ]ț7ҝ<4 EyduPePe@D5C B&}=Ri'R K޺ ]v{]VZ<T IH_(*+u~qJ2c}O왿,`e|ܳi=FA☬+{ ?u.e2i9J,T'" _ېw;ߑ"4L+Vt9S\f 'yD܀dci# &W\'iyhӛEK!!0gslK09 ~{"B~f6P• K^V|f8EoHa/SҬ~ѧI4K3_'$?2 AT'<[y].{JY3'=&JJdxPݖ8+{?|Pݦu};" fǥ B&#C<ϼHT|VS prXK^ 4:3Gi ?(wDؒջw(uDPL^ts9,fYa@v觎"NĈk7T9D f'_E8:֋Z^G0B$Y%_7d)ؚ֦߱gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4>Ogm!*f\(>?BW!ڄ"1r\A<%"C`N{Sv[sA9$\Ê%Upyh[/UB!Tt9 3~{rj0tIg S@räQ [fHmʌ!]vp ă!7a4RnݯTOm] w%;jgr|qliM ^"jnؑ@Tw, Dz X-Ga^9*\iK:Z5UKksLr[鋂 3HէSt@j+Z9yU$un<8ܾKt~S.*K1{aɶZZwrmX#?֨THh}:`ѯzTՇ2mF_glS w v\5 nh:$ *}0 io?E>;ފoE5"A ʞy%ju' J(/ XVDMt0K:E9v(ø.ׄm|mu8ɅFyS1 rJʧ7<"g=QLn_)/n3:*+Qh72wB6sBDEt0y46лʉ_hG8S"AT%>}$ܹg 5;7*f}Gz MoN*ɠ%U)^|ҾKTeCN6!/[AFA:Ro-@C #+YX<&+s2̴`[:4.A%~VJCsH &|1|{ @G@`i4ƙCK]lvjds.D&L6ki\糰 k!ꩉ/~ *B(Q^~s顖e"i?y:=D -H/Z`yݍy=O[x#"̺F(Vpm4jtKwDCMpZso#|Hu3q570Qgςq %č~+X7?oL9˃!5 K}^|08Mݾ_۪ r+G褳%o2RR`ևCUjKKٮ֘p2ymSAoOd_h ]{kQs?JG<ОAI^KFD"$z$ Эwśeey}%ǭ2v<`ޠ35xB,fWGL0V(nMp#xIK儛zjbeaoSî#YF,(c|?%Ǖðc;㹖Pd~-q"s<{˵!fjՎl2#7h]$SȨU,hy -K9?ȳl _'ڐZP%lʊu+InQGV" ԑQyS`4C+PMUkP\t]J3M=x 2{CΌU[:Жc0z#Kŕj&7AkKLK9&NN?q,|F`foZGIigFz!)yTj!~dÀ<.މƒSZPZOYI/K!DU|%R_LsˤGK6Xb+[ϤUl'Z@-_ʝk0g qN|7lI#o;ɔT{M:J>LYt|< >o.o"$2D:T y:߳MPXSQGʖuvB<+=rpBidDJტ~b:ZyIs(C uFDCv.-5Cd4w>ܾ&#U,_kHF=5ckN]kL '\l}zhK@cFi:u~$'k’O'cR"b̗ [>Mf`]ڂ.4H4Mn \;WR? %C?;K?8}0aP[A,Ճ>jV y%\\z>Awmms; CU<ag~!IXW"}p]z_!ݸNxTԾ2'Kّ̾(Y7g4)JZs;32546؂L~ c9/Bv WƐ:S0e7ѣ5ꛯJ/[ v⑉sewg)~Io}@xVt. ]:^ݣZqԜAJ(2=g< ZFlk U8\ʦW`$@zeLAP-]:5# /4Yce&Eȳ]Wz[ɯ[j#>!;+]=+Y2&\h=h/8a6Gʃ0#%+4$B(,OLus:|?I #9 >@ mJ8J:/}㸗TE('ɧu&w|`F5Vw@ .WiA^f)t8N !HQ^GQn b'!X=H/9?_YTf+=-𦯠gxǿbYS $z %'4`vh/7^JK{PLمˊDDx0{ܨ()Ʋְ\v>APti3;2;L^%CKdF)P[ 3;N~Ƚa@=1Gd@%LJ< ym\WJn7|8SM* pbݎ@? Z/0Nв% ЦөA&ڥ_JZQ ADծ$d7j!#d $^1 m_seaBbq;KZ?RR8_o/z]Z .جQIVG0P'/ly7b6!z\$S,,d@F'h"m4x1NzBOJ9q瘗O P<c$ Sl*G }qhJbȐUP}"X?r&'fgEP)A7> :FӅ.~-jLXmP2zٸͶq:Z_R39#6w(] N6Kau`md1T] @%y[ѬwˇӭV3U:`X. KZәT~p1n#Yi hˆ(tY@O U 1{dW&˘n]W^jG0amd{C*u'_VYfu\V\P6{FX^+.G4D߁L%L{q;bӏ.n;GG~+4/?-ZgQf+%ogKQ^bq C #M1$B_({0znmKjO; _!D 7OEl!?}П~Y)`e+38ۈxnҝzTd8lEuY ö_BXJVswH1[a;=AXg بaqլoJ`ݴJlVrjx#ݎt1 !;]"m O)Y86LVD>"9餁a(%9C>v&m)f]{Db5r8)5A;oN3$&Iys~IY3-Cc߰?fF5օ$O4O"˾ D=Q)ɬщހ*E/k7טexK[8u@:b0twC#Xq <xAZpY{U>FriX0@&G'$"_Ӓw{ǰJ.j}1FWMKlP ">ft^ĦjǢA)s%o}io~nI p0֤;;AM~݄9a0ߨfpt. $4D Vi@dys =$vmGv}x3g dQs6k4B1){ T}$i(2݂֩ 2u?n #bn.,' MwZ$dnI3/ gVY\OA6ץeTiF<_]a ~دj"i3mdvD?r4 vO\6-:IET v27jf8C8 WC )G-*`O)C4/}r?:K R<3T[}{>4C&F,b ȴo1QJ4!_hXxeaTpq(åŀRzTQ]q?OШ+ WT;Ȋм.rDâsK2%YDRP/PATL7^x],k^Y*J9e0b-UO#BzHsm/܋U\ʴ]H}̀fPc >VXZ2]rװW 瀥j'e);郕@c=3DŽpEiO|wfKcuM\KSLe\~$Y<J rÞ omah@&̦e#|t(YX1B;4P߁eeA'DDCTGn D/{*)ʌUJ^ÝX*PA\., X3ߘ<::?;[c&ɯ^?Zefu]ZN4Q!c>W"(DRHE<35OsH> fM]F͵hB88(6>˗hl*WZ nvL.SY gB){fGU]tE|XoЖrL) FE5fbҨ;g?b0o*;:tO<( Iw])P58oZCt-lw3kpآf.QJHg"ի5Pr@ 4@eZ{0㋲lp틶hyD"_zWzrPz S|I .ܴ ׿zטI d$%V#K]Wc< PLuKFwv+=kSt}/ESDž"W1D!g\,mcS %HKrPI~<;/je:h=7cvz4Nkb-C<^fkR:.@r?|ѯ,*ᓴ~z'vR`:5_Z?[dY״ -`@Zc3 KR Ӱc4^%pD0.>r"mepMVoӏj8`NyR~T?4 H,*%N[AsɆJƒuID${SeFm"`oAAṔ%F ? "U;W%g:0튀|ϗb3ZQLgvZTӔEsa:=J+PPXrWq2TPh8u $A<(4k77ڄؠEaE ]r٦URr:r\;Tk#"@/Wh`jHϰbC[ ^H!YbR= +*#(":1zVWI}0Uo+4fmGע #dxsڄӝhdURECGIȩ_xD_H9J*fgTH?~7.}&8bu<9Zm6ϛ\)PaMKDe8e%-^ʊ:_nb\"TQ?$@,@ARpLփ=I=֯|Vecndim"؞ $33mDc0 ˞`O9$ ֑#WK NE+|m۾bΧaZdiمm^AdD׼3D'| (oc:Pt]bP"]Id/ï K_Kb#iWwSQNTB؞"`q/}Su ł,o3|Kgqu10x3|[xQpM{]pv\w-MF#?wiIQ ~:?, k.L­@QkMj$b`\[Y뗆[;@ܽ?VD^x9]bݝT>S? 6{7:hM۠,IFm `#@ ?Bb0"2{^]]u" N~wtBŃi?LCaO^|=AdotKpsx筝hK4ni2w*1Lw4TM|iG7ʕ;Qm27Ne,Ͻq| ZsymweTFUJFȬzea7MeUO)lz&*J#AXYRtX 񢿑bh?e ;xĻ|^E-m.Ҩ9> #9D "v5a/2yHJi@5S؝*Wa4rI8)R3WzЌS161qH,ڸI~445!Dq I +#6xDp[^zYեR4i]imwYUII7 b|a< 6-ڪ]|o),n]A^}~?4c(e%h]`,hTv@jAaci( X"0$T7C_(Pj X-0ݖFu=yPI;!5ë4cg.ݽ>|ESfvgs0rk8U=*;|z&Bd+J02!,ꛚ@p0v13}3OZ <7&9HBvfac bL#9y6R&)4۷%yzLYvo%T6G%@L5\&g>X6'F;gw f_s*]+ToZ(Ϊ[q=(]w&3~|6銝RPzFY;nj"| m*2]L.̪6>p:tIUT'DV$Z=ol`g4m9rVݝ2Ahni,s(MMY-0%!Th\08`lQ~CO?d-Kai}av7n4AbCq/cihm\ڄ{7kB53XF2SY9#H8O{8r7g8 @!YI.-xH(ei/Q :vi ff!X쑑{?>$)TH'ə6Ս_P(FpDKRP7H:>GL DV./05!nROP~ۮ$b[b$S76 8PǢP./z_+]pϒo(rGͳbP߾)I3+m ]Rm)TI;(Z>Lw! cx{ 3ZEG4~i<>;5Ui,1xx訙V?:i/,xt Wf{a0c_A~ǰ!wTqx RUp&i iTK]>5cYI, M<)VN`} ύϹl$pJ ώu#fK<̰g +,&|&׊Z HɎiҿςyNRsX=k7ݠ6o&O$~QC1?^E)NȤ6kx$M\.R!yo0N9GTBqN\]Gb0jNiu|׿]>؇;J i\G.3D2sgE2,Av _<@wKMuA٣D +XZb#(5|QB>vJ&TDY=sQϢ( l$ih7}n-]%&^==V#-'"h<3;G=.6 $@ s$tb𪏲O/9RQ =^LBF DU¤Z1(!!ټᢅf/"y d:mri L~ZJ\YΤ^Pgy~2<&Fh^d(\Ԣ ;"sɆP. [th=Njq?Poj[+힞#$#cv%ߩܦ*3<޹Pgd'|qUrzȯ4BX0膰إQj<&ޤ<>:qjgh6)VYLAE;K?xWr$0آIUFTM``A0WGfYǫ톊L&sĜRUsvA]m]$.z2EE 8}35];gyܼ=.;?YFh]Q/T7 eh]OwbɚU "8C5>]6s,)bdFjD~=NqUt!C{*ӖC \'`0#Wzg0o~GXlv33gNzqRߧ pPɰfsQ&WTu0& I('| Y>>d|J`Sϑ=;Ö c>!_߇J zUqKF!97YM h߂65S,)hDB.6]v†7>#G PBZݝ S: s{ڕ:%E= Q"yͤEsvUp[O/'4 9wna2۬zmRm=/P\wZϻ`.'׶^P'Sn(j:NnS&EgAo>I'Yhrza~ h`b蒡֗򷿩ָZSk RۢĶs*/R;h,H܁%3p%]kpY_{>:6z϶Q\XrfI ݙDR[4'(`(|lcjKzӴO5ba%ުI5wNatR5$9 Gc23ҽ(:o ~dd e&U"@B\X]`i-d:g*'i*L||4/2sP$V~USM ,?'ڠ$VI UJ;*41#0b ܘv857Lt=*_5f| S/\}x$Jc_[.)J<]a<;!blAm\?eTDsMdsx+m54&G1 2a?^lf0';B k; _% 4HToYcSy52E 29 %SRF#$;|BU^Ai;[VZn;Ǽz|7K 8:ļ`<0 ű),adjFr^\HVȠص _b>>Povl.FѼLlKj lJ]E/0çClQ  $JC\sB/&e0Eu76zpn @O9Q >T k7,BWc6$`i;ݯ1NϹ p"! 7rV@ՠXGtW SE=Y y}O`y)T8 G+*mE9e~~~F5%q=|DS.Q}òL(h!dáX }2F 6#3ALh-BFgtfv~QYe ܠK!>#%N*mI`'zY`. ',gp4o{i X%Qm0 DŽ)R˻- rAdVcD~_q9g&#bG4}8)Eta!Z3uj%V:GTָْ)!۳q?*"~IjhQEJ+ 7*l,R?_*T"`ۅ.~|88#+m @/4o`Rk'ș;14+Aˀ(-'@qdBC3$9d8h#9Q6M=} R)$Hz,~qաQKr\y 읚؅Xsi ^S њu|kFr 'Rkj _7ܤnߟ|A&%7QZ,$ޖ39`$^}| ce/];|0,VK!R9G@ 9ʑ<>Ovw"B-P͂.' $Xgל/ԕY?B$>fuo`8ɽ"^ϒ pTa2Q[!S1#""GIEd$z-y\Y: 4Z٘b{ Qs+^wi9s>/)4j "Q| >ɛ%8'[= Z`B@K0Mȕ?vD =7nՓnn~PvYY[)Bڰ+~|/3.?dNGqD,xK2'zԂ%>Tf(- ﺒ[X˻o4Ig`45yp#J^.36[?z8L\+%8&ϨƣsF/}(@%#,ͧw:.w?wPSa*qo(& O?`'D2T)nCԴЇ?+ŢCuoh{A8R@x8;3-坳Il)5Yhs5ZYwz{0A$lEt+N#gkW_W7A-N,Xq@Xj+Q9^sx"hmv752i#𮾐0:ي*NJ^%TYXĈJ} C8kZ`'6!$Ͻ1dFkɛɥnP6uq9Bs43=@u~`X{ wI5vJ)/RI`[hđ|zgP8TMlQ1ǿ*iDl t#Wc ekQU!ifPhQpR._PV!^I`0\? s lb˧3@a݉ƁRɶ 3, H,"N^L&(f,E_v@*mu`F"u3;ٸ\1I#ros}w xU&K2mG+)}Wok|uߴPV)a 0B5> 5Aqyv*)nNo!')Bv ݈?BctpW=-#mm/ o&AȄS[kPbb.9mۖ?~Իݧ7],]1+.[Fb.Sп 9^U'} \^`/l0|D'k.O!X T3:(' p%?!ݩ]_f0?o}NBVq'2=J8\|Z\e1MVOlh{=x }3BmˈvtT-sA-e.334Z)g6A])d=b?t >T?LJx,LF8e&OW0`f}1 1t8$$cGuЀ;ڸ~ 4Iit3y11}wܞAh;3h W] l\!~]eD>n"Eu7>8nقoӓ%oϽFIBV_Ʒ||ܫ[o =uc̃VJ WKi@r24ܾ"sztN,A舝:BfL'(sUm͇2ͳaewsRNqFo0^sHW-".F}q 嵐Rk /I%L(-B(rg9؏1?{ߜн 4auFN+!5:^mQmf / ŧ}Y)6 v1]jeP0QCi#Go ww]8,(.< ED/KOPH,.޷a@>9'@_;qݹ4zRW<!Ӿuv-\*`rS{2E^ڤf-Υ< ,j 5rZH设ۏ%@74/I(% Ss<x?j'-YLs'##ۯ8ghλ uf. wn9yǘr֮IO2-F-drMsZ;h B־THCă&գ@5O={^xNf?qAH1U@ ȎU㦒Hp @yL*\X|J*fH>tZr>Um FVz񔜥)H28'E[I-QD+59lAkᓭ"5$(uN.'![?DS}9vsA$2Ek&k&_2#NŻ lYKpa(/׍ǽb "\e6|Nٕͩ)h;β+?)'qKLrJeI䡓\/g6hZ{D:> Gir ?|1駷Ҳd#HcH;P,}5"pR=)Ai֥U[Dq_z缍їo)1V+1&G]녫 RW;*\#5FX maId2^p|\- (Pe&_@z~?s.Z]Ք3%TJ?90c"vKZcf_텷-(n :מvQAT{2(!ļBc,Y{^x5z $ХfRq'd)ʚ6ɬk;Cm9kɋUbI626|7fԶu+#++ЅQuWG?@%&'Ȯ&Xl<;i&׋b>@Xkyi+> N 9KS ؈< G v4KF/y kyCXՇRlB54걠ep"a>_-"-u-&AN #L\C$e}Hp]!MF{9H|k@s8&y <.QUlxd(┐i' s³hǕdJS9ToM(ktʪu'{^X03I1GSvqzD4˾Ceym@`qCnIFLfE=]9[/>jHq5$1#@4ʚ[!CGP50/i#w#6jEl+›ufCe~XVEU<.}QVcaX/rzr08a#IGksgQ8uo{'L.&lnZż1X3d-z 6N-'s3 E 2;~>.oQ }J2@!>ע)^Hbĉ r87ik&_ԓT=@G>nnYk*{V*Yb=D5wϳS`\ӄ3KaѲ .W)?V_-Z<+%jpjg{ N> 5$9xA+8Z!'Qbw撢י2x (|"dIN+Poڌt`|"w Ēw5k9j3;,qTp"SbGΪj]F8Xцl{9T+nreuՅc"*wW 9-Jfvf9cUoqo.&;8 {_0}3'dq*:#z߸d or`^6X +Fkuٍ2)-Ov.FζkO" m{]a-.qwv'"Xd~4cdSBKn4tlݛ<kmՔ1ZP븀kI>D䝘>[XH#`Tt'4B\j}/h"]E X% #^:{Y9K&oI黽"4BHG#딴@im:!X+BnN: sO,3Ұqv ^s-uǢ_tIE<%_DYd_F\6FB٧\p`)}=]-E*L.ă 3!)C9F>zM쬲=D HT i/eM剷ySOznA4KMdCG _tH|nOVGWڐc uYZ\h@ ̂]2ġSz2 .ݵuj%F0NnenV5o{uj{MdWBI*\:m`?)t^^O5E?*Vag4 Uwf\1M+ӫT́ܮv?楌mN I! 7A&2^T+.>n\tF+áR`Dr%vCL'Z,(g3#:Ty(]4B^MlH*ٻH_–Y'9b^oD9,pHƥsK)8kF3˥*ezy?9\D4{ڝ&3Y(6.TĀ *Tum6-kjRMNod^k-a_ln$5"&J {h/c!$" T|R3=dqD~iI^.dCc٨|5yRYrz,(8xXsѭ8Ǝd;y cfrF\|ЋX6zb'3YYbj=T[Tn7V/ҹX#mhY#yEuEϳN P('pf(Jh n3v4P4C&H7b⁉u#HpMF]1kgr2t W~y='R*ԵDwoyFhzr Ř-MQwxJrI¿z¦>6~:}P-?xOd⍯ :8TqTk =42YM68sx . /ÞO|̱eos"oBA5g.qEP1nm 2SJ fK?mh7' 0" ޛ1{$uԭv25N^L# ]91׫oC`DA!% Wk aYxzL6?(T??8*Llfy;M+}W|>2\. %%hUw^WU%=Szx6/i#~k߬եAOjz.gN[)j:{+@2q Vk)Ol&fm`{d+IW_+cz/{%.Z;x x#}:" tzƉD1.ha({ֿ@oHn ?$('E;#겠QBHk1;۽컫ѿlbOy_m-/uȊIKY {*ڗlˉK]@AڞgQ+Tk׸`K *c$0Id jѮQ&.5oDjky#?CNRnd.~4 @AWf~2IOi%NȅB<뽹{bOĪ_ˏوCV=Bʡ$RO?ѡlOqJgU׻&(K[rv)?Xz%6a +%5ӏ:6pt+ouXZك?,qHj&4ڳ\@qGs/<;y=#ƅ7c_JAS. A4faY(|sۛ~־ml{X{7U֖g{(j My6iy(cuTOh~C=550yw>UJFIuև/@%Cm,-UqL.V`S@p2lME)TCi^'IGb-zcEK=F|Zɀ;xB)V i0g̑ l>Ihx#eWA7e dYU0z ݛPݣČju{J[,Gh#V_OJLj:73:-䄞Rޣ'NaĢ= {Ĝh~WaH= mXv QV9+`QziFұ9SBtITdŚn~{"n; dUO8ĎA{lXDttI9=8[θ-կx $ڟHEDjQc[0V.ygĆWC 4OmIwQSRL踻I~H d[aa+ +c0;(yLك3ku4}Lo_m @y!*f>5ch9[ߪ]X8ıր*|x3Zrܺqya& `B5g$\ ә4 ص# (r#t/ "d(n k ?Wf Uc#K6) ͜kXkHc?<IHLb="/.tGs'I;RwOK7n"nta'b>\1A$e}CC18w v#!rB|pcmp JZC^ƜNͲHgAznAqbx6QG1xjX=zFM2)m 5lU~\S5E.F{6̹ɶ-GŕԈ:EmQGО`eR-% Lq+;k:k`*`%K@ghuB!kUV0g~cjpE>^^gvU :;-x_wHll>n_hܪ`J *L_}(Y@RM LxL򕧞xqm˿ v\tӖ_}ci-U4Dujתu ̓9z/+R҄P1:mlR2nM3z1La?0⊹Xϋl] FB[O):sw}:.erg; Ȅ1=tY"|/Sed2ŭg 7u>2qb~p/ދD[?E&sۯ UzѕSqs폍/Oc#њЕ{5]H}h.U:S#4HvGeaF|5ϐA8u"Y̪ol$;LZΓXYu=4c>H8#WSVI7u"Vts^o%_[oG μy;8A< ]ʌ#ZV|EF, mG#w@z&QsVAxTDzlIZCwROJ !&+d5JZ=4b3s15O.]h <@#.TG3O!C/VخZDtgƲ wrff&ᶩ>;])Z_J$A.~AƩ%~t̕ v fmbP!XٍІ_i $yu0lЭ-j߳Y/P8/>Xt%$; Gͬ1d]M(s_%;"ϳfR}"ޑ,kڜ:JJ׳d5vM @i+s_h .-`PoN#/HeePHpYU fy_mө߀N vM,.*]Ni> *'ņ?`r!Cl28`%<]ޟ2~wEu~>FOL;f ?çkן:;Ŋ-,~z%&-.&GV!Sl$䪁411m8D2\.u%7 ! ^U;r}Tl 95 !M,VU]rMO xJa9XPl\XupdOM_gaҿ4 8~pm=0!ߌ4?B+=PsA`i믉5QuylQ֗"s*~+zp|]fɿ ܚ!3=Sa6F -r]pM nt $IT>䏜:sG,,Z9&FDE4=j,{'k^N]8;oͧʨqRQ=PrtO5`f⠷?mHiAs>|{Ԅ*Yz6T ˢ+Ϳ]\۽浡!FI Byvߎꭉ1Im5z Dhr\M1&d#֪4_(2Bdo|v9_[yN&PE%᪃JQS=@Ĉ}->ī6{G6=P}c+Ӂ?_E:mpz8ڍy؊p#򨰨rKWۆAsE}OoJ'|)ˊOQtBϫ /G j$ ao#.lee4 Qds4 3$1v~.E {YʉpQ"&-VPVa,VW굏j62 dj"vu֮X&Z4A֢j6Y4eﱏ-zǤ`^1䶽Bx!'@0h#aKӺRRlJmU(J%f _̅-K$]$L9ŪTIRBM3xg'G-Hш[;waӡՠ!FE 4o5I,MX@eHZRn8몭8 iA=u'|np@L5~pk㐻3ÿb {a;= K,Pe 7v$Qw$"f`d,fʙ3M8j壙ii'16,`<\[gpYE=(&Rc/gJ<: `:vqsșa*oߍ#ǯdG w[9E\kbfufЀw6hlγ<ؘ(]fG=ew twMv| +prPc9fnkWGbM*zw2XuvSɌX]uq~Ƶ2d]4j{cL*vf7_aPb`)J}WS8`ѭ_Tpeͧ\A4."A/TI&:ߧ[*6TY[-8Vګ 7P%S~jJ%Cc"y{#d  5#?7>8{h:cW))ƒNw-FgO[]{úUmO;drɋGiDuh5c$~Ew&x)7h`/9Vp7` Kspq>Jhͱyvtb.ǘ5/6 Ej,3H#bF[Mq;MX~{cxr;|DfPT706Ck^E` k3_d f}u՗ N8lRl /Y6 !7/QzY&_fn%^RD1%,_~LƔbR$8aQ`*BB.HaIӿmA8kXvڏQ̜uE }a>sT&( &˂l Пo}fLLu!PE*yD׎_ʱ[<9L"1aBׄ)f޲9\ Sѣi#읬Վٞ1{`_%yį816H*C{zy ߥVml^ɬDcIM'7-V$/݊ z7vM*w weP ϼMʺ>R׶OQE7h@7n7_BHdhn eޙنY^vڽ;g R폂˦:ʵ7r>RP\r|Xqі*'\ωͲ?#hCGM r_LwR~'>D3WvD+i=i }ۂ1.\gm+.T;S}& #,ϋ`#;^uxZ(rLO۵- kKE{JJ].]֦(N^_EW~,)ފnCFEC:{?}I Y=['*Jƍ[f},S@F<ݾ"}8eDCfq=)W{6G.˙U [!_ݛvEߡ(V &48'ocBBe!.&-1}(JćܥgYY*]lptBvQxwU7g9+‹ wT4Ox'Ž:.VȇFEBb+8k!G:.^ b-4dg0Ie4/QVz\ԳzjBt@'HgJO?P`\Q]&i Zg7y]Xу^AC |"ӕ&FC~4QlGAK(V $ވ% F@,{BLf fk[@].t0"xc3~ J''48贉,N GR]r39(%?2Z{.IՒAR+7cHVӡ%ynI39+v/`TKTa)qJ.c ;fS5L *6]H;{cXOAr:cD$j,L !muߡ,Ix'pN Zw#J&vBIX)]$=nhHε6]T]kޞpkjC!,ecAV1HZ.+~s~8qovY}'z}جtXs>IF_UO!^Y88'|V2V Cy2si4\90#O4`h"a[͢o.vOh_Wl el$Wl D0d,5nL>۞ ~ %ݖ$ъe$~uJK֌m7ѫv$ n`'r6^&eq1V&_ڒ=%ϳ ƻϘ]( RRc¥ .53ŮUߺ}F$2\ %Glz@ ju,֭Ym2WŹs[K:-^( ?u7avܡEGm_M i>'6 AܣSNĆW#g~.g6& 4LEf!oA4aU~S)p1e /ʄ尷fnԬJX򚐇E2οiֆ9RebU0O%d L8&+UK斷D !^ vFBG,@ m?IIPV.4|j@[Tq`7$yv)-H'Ҹxz!}7/b3%@=6?1y''oyxu4@^EHzC dO$JL[\< ]o)5rP(ߵ%#8.^IQ7Zc|,.v^3"Tc7LD pРhQ(!UzQraY@ԣY cѨqΛ`P~L4 iOgSnQ7 p / t+YQgB㟑PM\C*+g┤:b4]rhv38/B+mC1YP74zxBu8sm'tRH4d"@k abSj?Ȧh5 ӻ)/DAm6]wiK p7hCԛq(F [p Vi;ӬTĶhΗ>C@c+y'c2yr2<=B}yz[ T)\-є3u>,,QCjN7SNeey?zAkVYkx5i;&!DN˞_dU9 7ME=ǝ ⇫|3!Ϳ($q>4gE&6μ?d:͕R(}N37νZ(Z}I@7|ojFe oIn*,AV)" tu.5jIUژېsSoTؿX\"1|']LgYZ13418eadd8cc6a8120957dad4afe5e8fa721e4ccee652d79da3dfe2226e7998ba8d9b6c5b4062632 574a78dd5fb2862f217d3eedf94378929b3d0576dfd079c298a8bbdee59b0163a940dc0a1cf8ff96