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 (%\,d ]/]HOL-Analysis:threads=6elapsed=321.522cpu=1684.380gc=96.968factor=5.247zXZִF! üP]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm %Ѧ.Fǡ߰}ݫg+Ѝ)8eF&`*%cZa'BkJ:r"b9qQxVQO<|ل'3Nۍ4CU#WHa1Y4]hj?_QDE_}@ È z4I8m_!$U2oNqk p0:2I=q. 1"VP3@Z} 1wUNڦ&H[w%|n|z e?*Pw .GL nn))E:ߖqz''`?nQ"WFr?WB-ӣ_ali"cƘk=`J(QWv{F,סiD3UA%81\TMI`w |ĭf [91nWs_T)ǑL&: dA:X/4pq]T0\/x2| ^]x!Nӯ]r$y4Z8wwЪB[^P`:1Iglb bA3hU>DpÀݧ!/*']N 񴄭^wTY;žXʹ;X1#39=4?-99یQ'Zy5SYp#oX~(윥$B= [S+F.bg&BZ2pv8CzhLF2>9i.S29ZjxMxHH/FρJcy6]PkKE]([ Y=;QAxcWuI^#  hj[#mG- (XT:gx@;z,Ȟ btQp,N<\Z`ey߉)/]j~jyI=ę_IMOY\y@u5&$lPQW3r_Qq9$~Dt\ě l^U^$O"H7MOOH334Zz`yvCAͭR|XD{/"n ʶL՛΂]+ǘ$|OWeEm_F- .C8jh8]E)HaP%oKb@ڢ`v'II&wkpܹ7 61?*f B+wV>ӄt ZP.+_<>{iHwy2+q(noG=~ |}Bћd udsGCk~Og&C13+vpi6 rUU2dP5? H dg!?m|N%*AjMs₧L!%fz'MߢDqkXNPU'vytEۻ:G{F1Q';rШg EHGR)>lOsC93zS!pA&Qp9Y_:/̆^;IoxXqotnSL3eȨ.<M' 9(;fffhα8( FɿĠ5)tn%WQ?K} /G̩3H|Kn;ΓzH)XOG wb7&}-5ԝKKpЬ>,=~:tVUw3Y׮^To㮄|q it*d"p"uMr jpH%Q N c7Os)tf8\TT\kZ!4x"~%iYPJP5nKA/eܮTȂB  -!?>VQOv%8>dD%%+UR%p$M!`:,'0_S$Y uD YFܓ<ŀgd@ƾ R/+^݇9C)f:qsy04):&K w5DVGp(P19nnTeݝvs3oTC~T#=wwm:[8:B=Aֶ`k<RpGba^Xg*@ESJ(vw1Q9a&AY_6qd)^Ԣfø~z:Xa D6>_!fWy5v~U, v6o+uEj96ɫHy)m4ʹq40?P%SP)c 4܁J"*AE#rө%0NOsf PYS~WfEN{:w}:sn+bq+o LH-Q?b [Uή vXU U;1VfuY%#0H4,bjvZ~oF^BXr,JGy&sGcg u?_ƯeV:KL4`Zm㣃0)gD]ټyFmy_8E,8+6GϦH6PQ͓}7'O혽a/reqAבF5!`4V1XK9'{n{ʈ7!iL7l,V5i,TT-^e̡H@+/wwT͔3e@,ƗIN<%rb:+65vs0kW k_R2UUfHrM~ޖa"$g[wE0~^ 9TzC0EaHU3l bAͱ 0o7֎!]BM,%̆ZU{jbc봞iEDvH`BaQM^UbyՙW!l쉔ykY(u[ (f$9;k+$S %W:W.ꄽXw-Ͻx [p2P9ڸtzKGy@h610 x p)<}ic*ԅm3-Bg!A'mJ4-Ad_ۻ~ mM籙k`ۆ!՛HFKHZ}eQžzkeiKC`dQU$N1Z UI|4eh$l23sMyʛzwpoꠛקw?s2 dy0ti/WF.R,s Y;{$]M=&+عHmN܌ uF.T?di gETfEB_$k\7^zTѲ~əi ɱg g  1$DRY)MMU/ഄX'Ϯު<ڸ4JhWmsG9"7~ǡTWԂ. +BuhCV|J%aR9!|hu ~C u2 kH{y 5(IK) B㝢&l7],WfmyGN6T놠4!}iڴȲyb( F-wvu; nۊG~b v5,{j|NsU4Hމr;ԊW&p诱bzX|%2ro[nդj8EΤpX@<=Ml l zuk<ĵ^Ag0Wt`:عU<,ExP_w,0RQl/Dtx0ANbN5qݘJ|2>E۬%Ī$+怮FkX==JU2Ap!򛽚# ʅVeY_;KU&n|t |Cfg! 6E_.VEQݧH=ΪOw7Z6lgjq=%4?Q{KW;j+^7Ny*éq&v8}`k|BA+k7`9F'6xpBcGeS<w( @Vj?M=n"|BM%Xd&Vvq{` ]iwQt1ʁ.'9tbG0x:$j8u±~ t2 P]mzxt`PV]Dp_^'ĵ.o݅zefT9OAdb98\lu>:Â8.ng֯#͸_xzSOV 9XFٵ>uw2x/оjlqfFףQL'$(,`OA^B9+?ZOѕPwsƈCB8+_D8޿Ȱԃ%MŖd4k\0xCD,В?io;t| 6|DfoG$ǦCH"6Q^-كDʭjok1b= p hצgeƹ MhsY HJ*sեM}nM %BRb>cGQ߾O F .8 RMs ]jhm$]i[x> ;oqӣggg.)v'rWZ;+#䐍ĕ׎‹~2qx`b%@/W'͞'WA[@o\d/:%X 6I_K;7ڤ rpbS_Ƶ7h+á!5!~XNx O& 0"r&\T*18})"b8#ja2 /_[!՞ZJV:xPnހNg$ ,iCѩ o#j.f $:% I {PyXfR6V//r3RA쫜]#e Us2˕nQIDp,H@׊ƃb :5 \/- *cbQOkHHy FA fIRh7V@n*zAr{bڈΛx J ~@MrEC}sl)1ΐ?N*ބiO6^ɟwQM;:Ap6*ҊHv>}l ʏg uπ ma7XE3?ȉG0 R:ӷ.rr]y fDd!oby _WGq8}9jkLA^ e;s߁4Or{p.;9,{_]sR5i$9 c0 PeC.B4}mN&q@nz|5IjZe<k?Iz SC?CHWJ>NŰ`oT $R\&2/ҋQ2ڎHCu$do`AKEs_"P1݈+q5s%p(֊;t)}s]o"4sGz,<6o0: uhH@o(.=;|nfRzWrx 3i!Zw^klr^{d4 P6(5zulTll_ޱ >%x\`UWLVɬ2] QpW聃B Ɍ {'DNU:DPl1[4MuVde6phrޣP)Ɋ`C -\1 Ȕx0~u`IhUfj;Sj- ɞ0\vrfnt;g$ ôP زr&j- e`X0aCgMu2ZLQhATY! Gb4ˎwi!͎"˄i24}TXPgDž{Q,fPQ8Qtj/PDkF}b'g ϞzCaK(|Nً`,+5-,34?։SGW~GDL@!mbqs11}Hxoxx:8}e:FdrY%LY$>LnaAoN%AH%ֽP=rɐ(~Z$ȏ0$ #1;$J xѐ|ԭ*WژH{~Gw9;š㝩WeN%4C\c^ﺓ(UBr/;cG2~/r:L2.,UE'@~c,YW ff0Q`d.E.xE\о\uv08rZbsIȣ.=7;:1 (s`e|>&>aJ|]vޜ X/kFtݰϚa NшpjGf)}`|6t^;^y!cX EXx?w£@2Nܦ }^ FT,c0T%(-ND(˺--,,9;7[Q8j3x^8ωef+G [xfZ\i=raʈvDD:EpΓv}tC0s!?P h?  }`+Y.^~ftY#.Z!HnA7ȶs[߈ڧvZQi#gAܽv]jZ~cH/*8{Hm殖;YWes/uBV̮׶Wpy.^%IU}5iɅ+;.$%u%_M%ɥx1aR g'9 J_OWKMTޗ}qRxYJ9+64ڵHfj{_ {S9J}fODrFgeD]?ۗH3 `n\n5Κ-C="=f%@0Ɯ CrȏR;8ѱGHa/+=BcBoj"CC ^GLԽ~n<ΟfX!\⊑gJN켭ri)/%9'U^̑5<5;M"0b)sӈsayzx fo+_7E%,ж6ɮO(lQ rP,ڕboD ?U2}̩:daV9ovgaK_=\@o^-ݧi!L=c=`ː#F&~J6 0|59F.ܖ?H% B's7D9jĎvPbTVF?0Lդ47@V .⋈5Zdզ"%5ؒwyYJ}mPeqZ߃w[v.yJ2Mܰt4Sþ !JLQN^a[+bmƩ[S#Zo}#f]a$_CFk4sb%^< T/ɭ>oFڎ Lo 0H2Czx٩N-JO WrH*X@Ybt{rYZ߮p3B&x Z|qPiQeBiK ecpL+kREzh(::&<2`7Ϋ>q{:"<_ِ=pcgoN(˭-VyjjaE+fPw®sw2W3ac6NJ*̌Ryŝy/w}w4⽌M$l8g9&Ta^#DxQɄ*^?1a'LVzY {9Ui!;.^awgz)=N܏/'j֠0>W聟cpaU](iE(w 0)\}b/?t UC`Bhռ B o",&Աrv>:Z ;"@1L ʊEy&d =ms򸿳?&U1HJԨdE6xۣ[Orc2`gd&BN'M=Zsن8BZ?u}1"R@,lW~^~<+=#Wv%ଆϝ) ޱx!%j WX0<[kb)8zh4KTP ;XaB\1fP1a:xnC:٨pG0ё$!uh]'3 MM8kaiY]q]}R y2㜺?kF`*00kz3t5>pkh/P-BHv9spX""E(߿ t;q__c)Fg&J+( v}brvksƒ;-XԽ3h/ē`ͫa߮4 YzHǻ!Q&h4;%[ Y<~bm$4ES=6CJ_.);ԢG)KdԲ| O&UP I#vM*͊K#< RԂt5!vܫa-1uᶢjHc,\OBT<{4Q=9Z8N^N6xgþaQqw*-B9$Gh_tߚ?ըA&`1e1݈^Ao_?g?eO*p8ȆkYdzLWT_Iw%Gv7*V)cU[>V˽x_w~- L4vpu+`|%c3߯y~(qqC0j?{t^WZabYpS$q4d ֨ n;UHdﱟjgZ.^P1޺2+óe ]VAOTT,)*#YN!ذһL#N5=7RXb'n ݓSFg܈c.C0opϵoraC/a.Lg.o&-?9;IBZ_&+Ey㰺JMV7DSBv~NYD ,*Y(8=jfwtŨ189CP΄yKr+[Bj i0߁AdAL}pLkٮBt_8"JR%ܑ"LI>h.ytlgnJŮ4t/<2s'׉JUByy0p>> @{")1ɹlQГC61'k"Wޝ.hYӛ}d VHXGgX&:wgwY ?RL'}tbc0dM6@qL Ns<9GDYM597B"A8뜱3tFb>OΔb7D8Ty9U#RD! %>ꃉ%& es\BuC3itu|C{kxITZ?:bCM٩UK~HE˶2I tFV$$vyFta,uthaV} h5{3Ky5}\3+x-8 8<_ϱIb8@4Tu bHN-⬄o?G7RD Gk4rF@5p<zlk .Ig`xN 59Z3;+N |&+V'as/@e8o 44G饴?X;FiAW$kURqB;<yst6wŝh&B ez՟֔Hde:zS5CsUR-^f3q+ ê1j՟ĠylTۏuE'Dՠxftv>\BGn-F닆* ݘcqi4p~zivJ[jlFsCL㮥]FloƬؑXI.?=(kշ*hp@T!ADp.Z4K̎^LAx @E>ލ$+mtAMƈ.Q5o[мy4 a*fu/ 9\ &ۏ9z5ܨ$Zn0? 0{NM5`ln<Ĥ+rA2Em@ thrtr+HP3203GK0q7%Z Rl}+,m1ƬO|>^"ckg/ʍ31~L}%3ZX_܂?9= { |B?T0uGQЬn0(Ν2ohFvF5}Jj TYd:t|* [o2P[Vǥe> 8Q߬[9+rP0{2j5vq`cD3#!;& ųX"BNDd(isD/ h=Aam1r;)xAܴ1u4AT=*T?T*2s^S)TZe( ԧAN뜌^p)r..ۇR@*AjN~)!nev2_MaH$=h2s,3Z;mڑ.$yU-YDg ixspך4) ]$m>@')/I~^*!gg(e1>)*]`VxHt4)k Sl@U|jܸ&u}?h3,Lnosmn<誎%sMO:'܅f(=/[V˔@Zo-Fl\1UdsTUԮm|S*T2X<̴{$ToJoZ «K:]y&ޥEfJrT:'s !1Is Dޚg}SN1@ p#$mO -Y$\I$}AEGF/ZP%Šݬ|Lki՘8%(vR:?}CPQx)2]g4V!ڣ+ Di\0۞J~7+ZM[[79Oyz3H;Dқ p6$Hv}s*[Z"*2u m`W]q%:w*8'favK.kH[XXLdL+L*TC M`N)Q$s{({( %'dUr3r$26bf r2nYў(σ"ˍXlR$'B3{Y͘53?."9%gXCJ ї炴Gf?7ĭvGm!JAmG\>3 h%:4)SZwfK`r)b2"d*:p!JtIX6y\hkF&J<$>8fɸ!ow/Š%l}2"WMOOXk:F=!SVe. ?Cл灜'yXWh>ns'%Uc3»rMʫa:ϵPk<ԮJbr/4ĕ: N:J~)mom2=w8gk>j&g)>n7ֿ甐Pس]lUZ $O J ]VӜ)_V0P{imHD_fAa>:PTI߾P{_haе՘ld)2vgUiWVꍍ |( 0oKݡ+'߻@{GTpACn>6Xu>;SPiPvVw\8N9 WrO?l|m ٧,( 1P7@SJ/sL:cJAdIdNa#KȬLR^m ;lA jzSj 1,f8.}m@u>ߖckTnKRQLq-F~Ta 4o:!.OѼitS[r61ϚVnom};IJ_٣]Wǚ \hLOjmns2"f3]mAT5h_AX 'Q}bvH?$R@BDJC`-<ŅщBLh_TNi4j(ط<^? {11{5$>6@Vz(n jYN]#QH5)Ki X{h A8\7){fJz=5.&`w $S;CVs7 WgސgGSX;/=B^P鰕3|b,C`zaw&|@s{ϼZ]b9cdG E^|)"r76@Fhksbo.=I?bVPq-s|N2_Nʢ8 hfm|Ows۲ԥdS?fW4TQVE&aS)f#$ x)5qĞurٛM5R=ʎd̒xA(ۡaANֿٝR)]zOP?ůd89G)DJ\ҷy*A ([7257\69*/y0G}~NSPp +])6E(E-R_+qGbJ^ 4p # ѝ<$̏ĹzGzC3 GMFd%H_B8zۃҚ6g3n'99 ŸZ)ط# 'ķу8<@g%z=΀G1]fAGQ=auV{-Y dat(6!7o*]΋GBw۔WG<"Ln+aw'Sv w<}i=`1!$ԅI0QO-f ,A,^k֮sO&M/FԵ r#dG`R~S\qPu Th`j@ԩ\DZ0:^{ ~" fMid(NjFM'aDٔ_.YѼ"D"d:g? [Iܺ̇ FCzd$̤ϙʳJ 14,y`tT|BS/e9t4V9>BF<gS\/$ n,U Bc M0דMLDon۽B*keR+$ ,_7cVw[[ XԱ,n{B{i]Selq3(r ǥOƁ) 9K)e bߑ7>O"E5Y'TYl߂gPx >7b `oXxQF! +ڱwsD{v~ WPi钒_ xmn3|?Iw Ctm!Q$D2 35 r~S};$kh2p\M3#\b=g,Tyߗ+'`V*`(DJ˱M6I~ f!*2u۶ }1K8J)e߁ҡWL^U _o >dTWHT;_ 20%ukVQyK̬Muvl^;C\4gYÁ`+kOqFL[:# RWnޏ7Ҧ'0"Xq|T׃i!yB )]1M,idHIwyRvfq !†9&>|Gyr]vK_[)'jCfV1eو1m>yJbkR$RP}ƹD C2Ms#Na}a ׾{8/1$7E?(NUV(9ij$v{.Xdk 6nD_p0.7ioVNs0ˈ+|zjFJews#@ڃc增 {*1}!D!v7~4Wĩ[zr7FyIF? ~tjڌ`!Mv1IN(=:Ӑ ׆ܦ!n;hn P~Z"G;JEԸT7,R䙶TEԖ1\͝,J?.%tHp= КrD2֏yxkBI{D Yk`YاOC#9EݦJ6 -1.z˘͐?fgHeyxL=wi!ej,B=|d吾2cER.B@Qc[Ǎo;_U67PVذT1A(\HnҨ" f7oR ɼj0U!-HjQN05hI t<_4¨J59:^rzM9}y~Y>r8qA1ƔbUm]h0ׯDMtpp x F78EA_G0N /J< 82ɊM$LWݱgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4> 1ƅmrcg*:鰳cqM!3PS4Z#9Iљ ڒף}%}5B:['Ї!uz@H@Dʜ v?Q-Z+W\Z7d ZT1=!#%MV6&0oh㞽J_qKv<D 2y\=VWO>>L#vZ tLSOW { )fZ r_{6{`BvB"6E"Sg~kRPNӺ[G-FN¶ RQ^[i(/Ymed87q"p}Bw {0G p[W  \j%^B d#!s{Ҧw;^K0'luGoɗ @'Fq3TL ~UKW(}nS/n0!$E+q&KzD7~3v ([Jy.q"`ȖK kʾh| D ̵S8v٪yS> GdWc}JsBZIB7^Pm~ vZ#ʗP6bm?(57!$p2['`3)a}yL|m r̨ /!ewt0l[SX+f}1VufSlyL ѓez 8>4DeVنsn0G,XbVNb'մXʛ;Z@#?H28j/8ZrZ'>&dd~ \. A܅B-|鎅,r@e9LR,v4OjWĻD9 Gp%ii݇Aj@>b+3qy@Z>\%gaQݬm5/ ϻX59lZY P:EisCǟ|D@uVA$Ïuv}EwIҷkK ^8wB/We%~ 5ZXvҡ- kc䱒LMY[&"ఇ# 81vDvGl2ţ Tr,fBxb&؏={ۭ0 >6g9óK@*8o8׉|~Kr 栱Afa082( a z{?bVi`=;-Q̿d*X2~Hd{5t(|y( .cLDHϰuIb , ͩcS| قΧ%uXH>FO ǷfbO:aIwmYCξ re6mD}9IW^qCn֗ai3_D1:Y9" @HGAf:Ÿy0uSrAYP !3eU;niNw޿s Sʃy*Ձ zݍ1)8q<͎*Szi>_GHSrS<4z%` TExL(zŇU칬4f]m曍#ōՄh}F 錶o/1Ã3[l!B㌦^ l<}\G™ I8HKdcc5Xc-]G.tE'^>d"Z<*ϛ/)14f͉Zk58z)j{(;\ÎR- >uփ,Qa&h/pzf})CߕF`_FKҒ}R2!6fȨ$<I}十|w5q>6 TwFx~۴rk7R1v(al=6k1e HoxXގF%^iB]#^/>Ej+xtt\`s!{3*Eh3Y2 At!5und[7M[amB874 }+kV2|*џK*=9N!a[x۪gHGW$O0_C1h(#ZG`NJ|Lq2wbonIchϪ:v(疱I@_CmX@<t.,P*wU,gYZ7zXZִF! nj]ŗXi%I4|BZq e=I[ ă^ `%5F%\h'ml(윶-~V.$~7#mXr; '_q*@`@d<7n1'4?QE5ĕ]`dM0laha]]0nNd9/M_ b/I"НMl]/xW`HR}@F{ iꗀYgR *@uK3Bi\6r258dAT`4m}iѷ߰#/2E٧J%*2ֺx&?ZPT "kom|ZAQym8i ,YJug^BTɧ* ѹfY<е)$IC_=r#OȼȬ,dl7KpuUGU[E͋WSI sab<!iuWaRx[^۾ J{Gƒ=/'1Zsz~*%sШ,Q8#0g G"5m)A;"D}K |WݧcCAK3%+>(d( (CjIr2 ۭN?y[Ф苒ƗK6l4٤td:re딋1Ą#rtnߕ?8?tEH_ O%:c bs8s+m˔sUtoN_e2/L &w5܄;eM|4PK7-r 3zɢkYy,8LǙap}Pd }gf! [<3\hy+3(֛Lg.!YVu,;F5E)qk"x? LZ{sgci".6:浪:Mv+F*nmMٴ>JE$eoJhY~43E 6A3*Z$N_VLs{>Aᅢ :Y  ߢ p|AzAҨ%~_ ZHb~U!gTxrCk/%a}ةknD oCF |6nT现1OJ*Kp̱ZN]= JZROm}j q0Qoͧ e:A@챧/>O3NѦ.9Rcd2k΂~Iia+; w*0G )6a&%S*r%2a@4ژQ7/oaEcH%$#v"e+GH(1` #]CnfM :cƭPRU&܌$_k;kSRiK6!+Q[ *s:^NO b$ x2.L0]Hnb>0֔&$xo2:J9a{IBHMtȗo}Qd_ z( B=8dtUB LJ?a׊ۮ{ޏ7 $J1@s`Ͱ=GedV3,us[iB-;2o`iяi%?yD;S&AgNJ. y>1~,*kS'6I5؝4%9v#OKJ|Ć>gK?Ra8[> ,ԥ('3 2f^7meQb (+.,H*髏: FL;g_5[c|Wvek(uT&%XDŽE4pkl~Xt}B^v9GCv"û;VI=%lPS? :Cg99VLY8kW,}TL0|o!SRz_fFV/!]hSXl+(6;ġCF9ۻ5Kԭd61[$IaI/$=bYP12ϵOX}rED ΄͓A6uQrao?fqzA[ mx~s%]kl^^ VFNp{E^:aV]c͈mĝv̀[MrIJ6d˨1&<ky@ A%o^T*XSۄ''1wLJGJ ؇&_; zV9iAVԿڦgs.v{ú!fFC`ԗBeժbKB`r6L/s QG1EH3e®G5OMDʊdR-_MƮ GӗO4Or̔}tys5cQ_kENtwqDY,j]1`?7s0F w䔜(Uu\tZQaӑoyN1'yTm#UfImM槗ڛ\ R2ºd 5C DpH3F1nܔA) Jg꺣=|!g1 ,7 , jy'?}Q&ݮfD9as6A$wVitV}FYh8#bvp1hKds ??p?H!ble3ȼWk}U a-P\D` rpF0y%Tʜ.aL{P MQB$RK>S2-;NCM |+kʈ؂)q+G7nЩՇuD IA!ʰdj&yוO*jD`' |nK P qό)JeI#Lޱ?pQdnEABk +KE*XtNG%<;C#K^ 2loT2-kɲpSi۞$5.϶ ?T6)%8Tk^F3V^JS>}(7SP@x\Z= I>Il΂76 UW DB\<@Ȗ mǿDԭh%sT- [mLtP(1t͙ ǝLy0È+qpՀи蕸PwxͰN(uIPڮO-!=Jk[9.O^ӧƠg^FOWN^.ywnőPHPyqH!cPRt.Xc 6mI+YTEB|잞}@ tF$|Ὂsq]mS=H(k*(HBR sO>bN g3}*y29,Bs% EDoc-65@xS =ech;2ILb%ui lpDn p,k?CJVua ,L$4 j%@ Db;r4d~ r|08 ÛvMSqҳҹX9/:rq&GK`w0ZHNi5z5_,:(4?G EFVH2# b捺@QdQ$[WZjӹY'4r\ )/9Mʁޥ)zb}Hڬ=oc9;&uRYSwG&_dx&d@%+ [%84Q/Nxm*8Sr lJT `̌|dQV Ӎ(3v Bd6XIVs;ޗ!DBWEZT͐DOF_S*,Ұn^f$}^O؆8j ݱC{ YcLq3WFQ`zZ4i/I#Îy] }L7X^ %: B@:8l;`5xM~ pQ>MRa@I5)ۖZJʼn!^ "6Efd(Wڇ%v"EB nJyp:ephlK} _f3qGDPS==_*{&8O.ICz7{ɍݑ\)cC7g@'rq>}I%5 "N[tA+:gɪ.qUYʗ4)H,<ʌzs* 5ya}Gɫnr|%B8XNO5QXSK` ,UC1F`o'u  r.y WX$lFqMg;1u 1}_ęZxȹȷjzx5amPLmlWT5vs=Me62D]ZIŋBT/ ()ݻ (+|TC@viBhm&Nr#^ lqPX(\ο\{}77B1B%=綖);?aq{h,z֦z$"''g McH?n7.0)*=M|S3W|ha5佺< 3R(MbҲP2-r-1KWq~`y85h'}>5 L cԜx4xI\8.#2I쬉:l ߸ᶶaeG€\Ŷ]EZ`+Ʌ+w\8HcBx~R{"c$~+Wf>ʅFp1nVi[eȧGsʉDxDz^[fݡE)RL\DA/|STe/ . 3b.I E9MGa[6lg"(v ' v>W~P՘:%6/܆sF39hR&`w82;~/PRLA=2cEv a̵Y~:\ͦ$i|W@y3]s| ah~s1ňxn!1VMeXė01yZlX:88`;"ߡxѷ ִHcD⸬yHIZY3Cv d%2esEm8̉S"K|=L_=x|/%ϼ,x$Mf~4 #wTaط{C6"-36tQK†pVs}8CqnPО<`8XVDnG]HGܢdzE#]Gp*|vYY@D@Pˡ$h?v+G"bOgd3Funġtvo5.^:^  #xs =ԋx8i4)۝4*<87dGh R,r&c<5fF ɬK PM1Aı*6m^ rE/;3E7$650ZxfeĚl EO]{ #lcT8"ȕ!|BG꽐ϡ//!!|_z&G+UbmR5xʢ/= kgMnAIQU+d4~j{.lY< hG 8~@@W&WQDUbsnAJ_%5_aQ%4j]HGP}9F! lqNm4"tM%WۉkemlYHy5Hё^L/ 0i"DžvI;&K0«8u 9o>D/W/F KDDuAyDy{6υ)+r f݃o>?~h%A -Z7d PO[°"ɯR_ߒ#'Txv4JTA ;NùNM&| qR[Ϛm ͪqE\˭x7@tu@`zLa]2 :T r3D%'KH) mJ"wX:η1t,|A5!ɍsypL2A6B%T0|IQa61;%%$j|G:<;{H;t-̀真rpAC$#ۏ{GnGCtO~ !.jIw( a>b@YQlvnAZ\)LdKsN6~R`@dM(=!ϳe`>hqsHB@\K/1g>tJS+r KkvFL_,m&Ԧxn 29?w@cڟ sر9܌/sͽj%!" Berâwt>dWP[(Y"-5cJ],vp \@|+ ~p /D˨J`'l\Eiy4%/,Z061 -pn oR`іnT/-͕^J%' !I\ÔS,-V&wˡQg^4_a) \;3 DA*.;ǏV[O9RCwQ_p)(AF#9/.Qy^~wz-F3ҝ*rC7GIoxݢd>14$pWʕł-̲^-j/1!=zLN<}23>(i2,ɫ |w.;yDZG,s>}PZ?xy|jߔX,`[8ir0;U ~WbrswTX-76-)HsH%WH BJzJ2wr&'ٰJ=fQX?5һ>?VX#"s\$׸R|>]9$*|f1ႏT򺤸(YDnInK\-ܙP4"G5r&II:mQk,}}2j*`%t9MȪN.+<9 tDR}aqzbo7;+qS 1Ư\{e[쐧]H?"=3Z,ЦbKD4l;ǚ&*Oكoѽ%AńЙ7:G1j%4HA]AM!sشYg@6.FZV6גNsLbDxdz۰IǞجxs{N} WPY%i )xr=$x8cV:GĔ~JwkCi UM"Cվ_8Ֆ, C1x\ *Wg* iJqh_mcZv5ѰCmuMzUbc.;|3MI ܿccO,_SS3^N c e8$#FzPː`$/ciSb8` 6#Fl-̪DhP9}0F2PSf*g>|rdOKvIkF͖ R"5r;+lP|6k'|;Y㧽u*#ak)T`yg bx˃W]1\-^ ,u4D2Ƚ/=}xm74~+A>N] u>9KEMyeHzLX/ d+ʂd7yȾ& Lrh\9Q~yC<'!*Y8@D6rN;jX?+LTFaD;u;W六~ $xb+T:3-0Al*cle>wG[QpoA SXGhlr9a#MfIl?9xmaI9=O=n6dOIT(5ɞ7_!D]4AqRmHsns[9mXeFA4laS$\+7#Mڞ!@JMRQkS Y33{!&ZёdP ί(M}o HR,>><7 *oK˭_ <^0a. `9!f߄r}CztT+n xếa]g悳hpҋVb/#L]R*W9עҪi)k{ tAT}M e3'UBS#br ӟ b|UnM9\!&06fiTKs>:`U+p]? wG> ݘw~V: lV|>\Vc??h|QP Y_<6BWX/2Ȼ+^Jꇛ{p߃Gd. J} }f8R"gRΛ]dF@uhFd;dts Gl,e:q2?S(#nmXaqLj4,j}`{9rŬfrZ?jwgy)W}70r:~VZsEV(98N jhM#qos Q&b-vH-;} eJN);5fl*oh(O\( 0y2)A`Ǭ&/ zMp &28tz|4Db2~-Nw760ˑ7ʥra; @LI,p5*u3uuZv pVr^|ptr$ *6 ܾ~kݐ}a1jt҄X@p?!9O9XÒ©9Q&oVw#kC{>҇Yf 2a?o ؊l8`ܹ 9]sI t|JM.%kco3\ETБERӾ[} >zi6};p9q󩔩xlW{[=E8Z+XD FV7/FE3pSG,8R뙝:]-ڼb3Ե!V򾧲/,(d"N+/5-MH3\s'$J2m6Ә)K4{5 z.D㝢1q !?r2~CAt[U %oXr✭MF,O+"3e y_[knrWVfBu1cW^DRb"mg4Vl׾2R:Ui]F+JԨl5,b;Ъ4u%5u b -BPi'$\&G r:MIJD=R̼5;sc #;=<9D6=fh8B)ѓ>7 73͜䩦(Clj6KBIf.A"~B=)?6V* y q{ˌԘǰؖ Nמ0 ? B1mj"F 5aOT?|'IQEO?w ǁ"F%6;?v0Ȼ,`UCr-L83e]91LAI6Ԑ)edϗIPf֗7!Zo#A_7留&=+ظvWHeclblbKCz,HfﹱDP;Waxp'"㖱pT'-k oy22[ z}E&zc 1u\cUh `ɴh,]]6'o5qRCM!>EoXZ?IFvh7; $%q& r<"py/04 |P,UbS@᥻+FPڋ4KDH%.K^;l#苤KܐoçElzWU ql\M??|[VL;C$)x+ݒtz1\zX75QjcT)`~KzͻKMnS$kq$_f)~ yVR%k2v$Ol*E@* @M/3%-w!/t#Ӊ7 СEU4w$Ў=2k4mzɞȆo05˖FN_>&p٨ܮ;" $a^3T&bC[o]w|snR(=gXYj_h;t5Ղ+Ǫ\HL So٬ `ĪX_[ "ðfKT\cK8~+d(W? c<_p/,XL4D?XlGQe)!_0l FV[ITZiUnQx!C!Gh1ۋ# | lA zDRk]]4,H)NԇM &{7ERƥqئTQoӀ /**\ 44s W~8@q!vO00H3WIQĥuz+;LphwT]7udp^1TV־;h>O_()0Ii1()Kx-vԓ&P"Te8f6DGlt1 dD5"q zDKi5eL׈sl`;;8?Bh|#-DY{ G@{׀-(s鐀CQPVrVG-/Rˠf';`],8s)ub+LOXb}y!gу+!e]qވc&OPc3k#~ eI1w)\ aiAߟàq3+\4$80Wd3^FыF'-0|O%~=̑Po $0Wl{-/e4Ac!`yeS Fw5Քn?>b\dAVG.\~y9@ \1g!VZ)$h[aT%jW#EXZ<<4/~ж4oCCCn?ed] sј.dxR);je…v6ZIˏZ.YYm[6(s*O4<#=Ŗ , Ԟ!1(_;Y^c6ؑuA<6joL|2@H]U57S c*t = fY.՝{O?UMtg ? qB*zO_8#уJa>5MfJxo~Sty;f&mM|x1l3(3. C3ɂ4 vrK=knugÀ/<|d&l:+f1 ]G+>a+ŲmYm咏jfpiGd[z*ȖKx* zR{ 44ғ[!4 s(ֶ_ =  _&X/"Ɇijo".b,v[kJ-B rzBGANQG8&cx&>eD*l5ըʐpߖŢx( ؤ0awpsjݼ$-^_}VlT.q?W{KR-;H4r$q&{.(I P!ע Us *gx @|hoJZ`4?tЩjY'Crghr?7ޚ*x@]/Ė2貕+6coy[/-(Y]S7c^~Ha#jH𞪰Q3I؍ /M]k7E<.(~k|]ɻ1El:m"vӣ pp2i 餗T-f?^ť ;DcNR_gl9yFb2{nہёxsG, Ias$R[<܏x-me$̇Km Q70P`}bSHCj ƼN*QIO&uQo:zܱx+ԇnK%R? *%J x|qOعiO-q+SY:M"8H[b, ?sbRTP#7`܏"b@e~[ 6J#dO3(ˤC?m +'ǼtuqθdaRX\Nq/O=JN%޺4.o M뱖S0_{j@qET3gXG+A]1o4ӌ9^Mۏd=Y肁K!)6V/XZDP[#QJ^7[,sYhFDvu!Q$ ތ&d]}ˠr}iߣ8ϊixbtؾ(!uhE:3CjWR渎ͬ5"scַ:|dqÊjY6sy r9өDx qLZ*=-PKMf8d9,a2>p 1%DG <7j_3Iow只ɴ 8_LK/eػ=XCoHT 'r1V~ "/$9t>sG\X q{!dw9uĨF⊥X4i= $LZh24`8 wQ{9,JcAkz/(2ۙ[ƖWE0BMXI݀ -j<3*!TShkx'EIôkQ崼vB2*-b/&ȶtߞ vvg~aOTD?"[.wB6D3Y)d-[$'G`n7STJ+~6פ)79ud}GjT)ptz(v!|ԟ If60cTrgsnsT+Pf5|d*wE[[R@N鳢0;[5Y Ǧm : RTx8yg'73(;M7ZTR)5 RhW>eJ\%$U¬X.b X=4oV%QH 4,fY= ^ 1XJyF ?l2Mi^XcA> dMt w3]Ec,KQQKc; G5@_c+^| 6; -&l[oBo?0r]f7g !_u -H܄8xVH%n~CߊDHc!XNzV2M)tpN0#mmMFӚ#E"H38} }88@^m&ϩwFlZ>|+}Nb (s٪Mc! *?-]~(_jSM1ؤr=IWM Bq[sk! 1.8B9s{'0 HEm |v a4qo_ض6x(BL )n\`cQ[kЃ֨?xR>;֣B”M2qw4jU_P9{@rUG~\k}}W#QV(Ѝ˪pv'WL}A(I"02(7dm/%}+ zߐ{]EBW}cϿ(E=aPH!  @gg{hb/e{L)s1F~WW8ͼ5pu.AV1gf@WSc&C/8$@(Q?yUqqr=xWrdad\RDNFD@?iI1/RU@2Lo~+HC@ )b5;uqb:ʶ_aYqW2VE "$ziD2MC<ۖ\xWi1\#V]Hѐc幷}jh䲝cd4 Ӝ+@j;L08xĠ'59*|[ֹd:Hx1]X2jw|^.7^^`b }wGt knlx92r*_*CwQHX/3@^rB=S ^c]ϒҼ_rCSm<1 *aKnBY U&WX{/0KOޯ ['^kRyXH06dz|K549=MM#S}.!EEutW¡ iN̊O4cMeZV^ko1TT֥۟''kR*Esȴ(ܛ'ɳRU~2tnmiS;jSrb爅>^#@yH+!q}m"˧԰69t#DSX*l MTk t w@9%4]ՀlyڡwPGwjf'T(Mp;ifx?,ֶqըc_[c"NC",`0)p)Bs ÐHzx(v!^Ձ2'YyiO41^6Co53?aLSdZ=ar ~4 XSe#|''gd̅X?lo%R-X0 k AfuyR+y, S|G9oFE±;"F(l`gymn$1nN:ʮ^Ony)?a ߋj1W^~K8R`ig:Sf`~BmN"[A)A슢ˑ\+g-v klMK6ړըpROD<# O'E$M,O`̣}CA1Y)k?ǷiJ V#8Mfɪ@)K]Зr9 [6+G*I,HAwW3[uS5:Ø%Q˽m@iݙk+Wؒ;3 Kv}SPabA, }yHy"4zH]z飶X[.Đl2).I0~ tjHh]V5s'KWNy#̖J4Pwx.7a:p,E0UnJP=_pccԳ'$UҶu 8m?sJ2l7lE^_nn!,E)νS&UCr}8u*Ǡ&R#Ts@%{+o7>,2mdzytxfMZ]oꃬ&1.TZPGҥuiRAMbc[++J(XHKF(-Ɵ-;SbJN͡>Z Ajׂ\F^dRQh:X$сVqPjB3]f7V~!>).< rW+!Lb?[2~it}ae$ I#S,\Ŕ(3 MuDeE})e%'ňeOhOuVe}_AYnbe8t=Kx}_N6#D2b,Ё^fz9 _sh7jާ8 Da~ܴ@zӭ©;rH+H->l~wQ aωhs ufg.0Nj5s2OWħOXwMdA`MWQ9ai[HӉ=Y .|'{7gWqgnE۫<ڦQx!XEaF4.*r" ;wȪd/)¡)@ '*gTO"\OL ƭ])SӟR$k{.\!)t4m3}d ўo`ߒf#`/|~ 9xH\]e"5X jszqd1pY:)w(=7] &yLg >K K#ݱhrY nE]\J" _L3б j2&i ID v\/f JY'4R wXz=AI-Fdk2P$ 'fv)6`wJjQ>S?%OG~T @bmBW<_ ` $dRJغ~=<^egDѼ*>Hݶb3* t*['> N „_f 5 цsex( G*8?xIr7$` ߷2rn o۠_b&ysѣV!lFY.,S].K&{Osv,pc|% K8V~I`"&!7 q!%s(uDJfwpz[9N<=:?"AQ7R0 Yzt,Ł`ZIp0{OA8CebF㕶.3p (\sIQE'4\<˽Sv=Rڄ Q XПf踑aHHp)pabFI5策fAGkȝ WFeXn1'է-c>`~>M>: g)X?ƂDXM9f1Nrx{o.s5sGBW$f#\EJx!)b>/E0<.g<9tQ1@+axp @[[g[=qI{ S2S8z"{\Vduw(-V2bJ뎋D {MIxd-kP-le\P?囚ʋKi"D|~I"84 / 8}HfcuF;>?@]IodL; &\A-<}jƆO [H!]ҵzc ?px9x+?1V&cz.P}1%?J^0 lJ_nN2ͨ8cv9?Gŵܙ0"Ge&TƎS)<@ qִ c둫Y֡SkKm3;0a.@r T؀I1^2bc# 2/_G~cs:[S7C=r@xDɅ:P?IpMՓZax=9s t8[iN%G~NeF#uR0WKtM Kć?8|7]v dui:jԒˤ%"xIiYpR^򙇞y1RjCn邈`=ɭґw,e4̺l. =2_S5I[6;QNófI졽qӝ)>D:M.d>&P(%%\{YQ:~薭3ٷmHOl6m`@?\5!a ޹kNa`U Z~ɔ<3kwHc02X8]ƽU+DM~w}m<Öe,yka5rw ̵~[f?[UYj} v`|ltY*PQ,Ӏj,(krj7(f+%0{mG'e,Μ."W]BM29nPEp)1k[vT~X };p2֩ȣ۸Enշ}i{a_]@XՆ,OtЭROf'dfi=\0oz/\tzνUta4]c beL2oUÇ5]yϱ}W|._ * C@F9Dnf︜).6 W;G(ZQñ07~!X#Mw188$KW.C=RX'e2b…)BD6Z܁ja4ZUwCYŭeyN #٨bgu4B=sN4|w #PjJ򷱲LE$ O;͕u-<{vߩـGQIkGle UV# YW? )*w@vWTeW#$ehBFaJr@Tf1!D*.S xdp0 UeC_ y9Վ!$Zd6էٓB><:~><zjs_@tܰK z|A[ rwN2Yk}sլBMxo^~GT[ ^08{cjNMYK yS4KbW"FP)5V:v/đQ3d+p Jۋ|6M>teb̩_|Y5F$`\l4ʹac\U!c8>BFnkt%n6&`94˲K=[_0c.x( _er6z$WbQU{P(r~: ^sk 4F,{Yq;c+pJ.=/qIU߸GZ.9,ںBVP6u+X`\D]!x̭ -Ġo`;4QtCH_z&Z1dUM-4F!×Fn.3:~\{ԛ45l#uN  /|NL&ѤLSR2P1)Kj8)xD}ID]IQvsH+.XA$_1Y{y)mre T9F2yPwUÎ;\5MrCijlVϲa)c,k"vUJxi9t`(Ou?C_TC6YHBy݊!h KFU2%74@S ۆ,}*B{\)c3ѓ[#3dҲ|XQ kZIc%#Ի (?T)2xF}OA9]P8~ȍ5+ ؀ FA[^֞T^P~Fu8+Wf('կz۔#W+:MBxp='tڥZ8SJW`:)ٷ17S)kU|Ysy3{ĀzD o/eF{Du K!}'0y,+-"_FF۹s9ZJ$!摟c%4K~Pi>v8՗ޫY"N Px?ҝ:Hw-H.Oln^R=OO՚+3hL(2N;B% D^reć*[q/FOdJ;)!pV$} LG3=8+ b l~oTH R?!8}YA6_UCԯ+r 6|+"YEYs{9/ ퟱgYZ1fa42e0edf227148f301b147dd434e99e930f138bf9654100afe32c7d5bf427df7a0aaf9473b4b02 25da447281407266ec378fa715a0f0d237e17a821d2ca8f7f1fb93c6c7337771e48a7c805c0080a2