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 ffb- d| ]/]ZF-Constructible:threads=4elapsed=9.022cpu=29.804gc=2.488factor=3.307zXZִF! ī]ŗXiɟDYK<;>Fb4e*ݜS6nJ oɱW$[ #3 čFcgwy6{5X0i%Iai!56tC7*ȽTIyRs-Q|uFHuiW'^D}\wO)G~(g>ɂtD ť vYۗZ-5T,2bnm$\=b?֝L;-& Nq95 yL[+ǐb-ՖKvWO>`:0 <%]Մ@J$d6d]8'aoޟOʠ ht9.]xtF,g?Ɋ#yˑO5;1+V3C^6tH'D%VdIeuۊ*s}SG)پ^ʫe/ L?ZMX$ZW52R>|B@[>*A>VD$fQ+1T bU Q~oejNM"A{~|xҨ6V  >ƅ$_ڨd#YяQ|V%a 6 JX[t@W뼚 w3>XjC8qoL{I͈m C9 ~*hpN ~WWTbQ0QjDK,s]=?9_ZW>sX"u$oc};LTo ~g]Q(tF9^sT z9Q\~"T.da 1F\3n@tdz hdoq%Hx3,7p {wêZLE '.I0z ~kRDQ!YYGpYu<x1NT  Xa~R[Eh| TZ{nBvc^6J~,iKG|wJ%r|v%mkŴY5˺/շc45ZOCW<Fc .@جJ/ʶۯSY"7q}G>A3JN}_3kgS@| [X_'cf H,=&YPn*2"^n2|Q 칊kp9pHSX9y StiфOZk2SR3Tq93c_+CMWO[&%dUGWŌugAd h)`/ ;tH>M8ioShy'>HPzs2MgN +%P/HJݸ`w?nZ DB>Ɠ?a:o 1 ܗǡb%g!yy4T#n$2UYفd-prS${ CA7:-4h!uRJF{z\ /Y u~@_ A ðZq?Rx36~tG KnU+z;n=Ss}19KlPOLk* * WY.l^pZes栕WEi4XmE",ظ$| ~9ܗ1c3x"#+Ǘѱl +3"-avJbOlDA7̔;ϓ lx ٰSOnXv2mɝxd@x}M:l8Y:mQ j2)–>sg`Y]PiӺG,^Ln=APV-n['7&5RѿL22yΕQu# 8&x{t.|u:|l. :P彈ӁXʂ7'EU>pZxP8Z1cܼ^tZz+NȠ 9 C{N&鰳ե+zP){+)wEJwS~&i͞VR}' "'yحr2KLٟfU46bHÓ@̬UB݂9JB 䀎M zͥ jnۤ&(Azu~;='b22D B;aVQ\:j1].cRP^v4nŁZ2~""Rh]Lrqj1[q7<1TS(VOQdT(!d_"JR Wc@nasZ6A,0ʽa'sCLntZ bI:xI "g덕Dpι\yjtصd(-BTf9ۖhY 4(s)OLxfZ W1}./F-X - ZF-Constructible  1yּ"퐝pmXM-iBkZDp`~"Sp>XUh%;H!9(A- )} a*%]p9Kkiq a$p 2vCvGe;Rd [r6O{ЌXAsJ֞K.j=m-;͸ ̌j 2C;*N%RmBJ1)#}q?+@_P8Q]zMV27 C*uhPyS"d:#M,-8tJ̔sm=njs~"WGh 3+GOtJtV\uqFX:P3)~6ȝM)Pl:? 0u u n odӦ篹A}9+^x)Uc@ٰ.gm}Z 2W)F Ŕ_Iϲ3|l* X!?$*qW.[_~s@р &a4IfBÏ6Vo|TMd;@ 2**?r]D-BRbc)R67Wcȇ^{SA~, _qFɧ9Y 1^QDhHAǣCrye) \cՌ&mg+Y_3t&#Js9/ayLl=,3)"ORGi.쵇YzQ4h8"Y)~j.1E^4 mk^-=D &a]  DnR笻wJjW滋a\*>٭G70{[0{<%n5Opm:GQY}bnߤ?ǩ3I-%U&*8\B_3bRc~E FJSw轗Yeef0,mq} p3#ˇP`KZٳxWDף~zʓIR7/." |b)+ڙ %OŒU94#(xzV*Nȕh?JS&kkf%+ɓÖ:{mb7FxzK #cJx*%xsLYPYA|`r+=DÒat@y2ԝK6ڵAޖnJa1-OuX^aDx|r~~֩:ZA>"̓dJDmvOJ5bN L2u.K \8nv U&X)sIGp/E%5ϻ j*dxčPQC*+R`;6B.H$k!cɆ>x9u"3 ߝgݼC~Ʌ5°0"D$ 6N1mHca\z%%MXQ*ʊZ-Y"U4 `% lɽKxvYC&P f`|dxv<cni46B3-߻ nJ1o0_siQAVM}Kl upvv57r 2?$w]O̪ ! ]ͤ9|VH؛ _mNxQu9zbix&:Kr&n舘*v @UeaRpk/+tq&**Bk l01PvA-KtmK绤4\"&"  1D^31nʐEF#ܨ3MQX3K|yMʽ"7̶Xmأfj|4bGzb,A Bc9v:FB)@񰓮֯&bIE s:1a0uf`Bfxi+`+e+:-!mj/ =g硅؂0vţhM,;'mf3Zh%Új>;@ē=X@z8z2N]p7DEM9'Q|BU/U4% bp%ij,32fwlCҚ@]V[xf[#nYLaM obn1æKLKjFa#NԢ l*ݝ@Q`٤=/{\LjzUNitchbEjkUo+7U,Xom#u 0)ߍ>($V:^p8q \=5F$-d'w9R H*mXlUL"vEu}u$^z\fV d&/ȟ/~AbC\YvZ}( V;@{,S8x?aBYԅ(؁KZ5$eݺ'E>=uqխcj{r-F9„ h_n%=QϼXSI%F,ճf&ÏIqh#O*\X0Xk`hչRyu,^,:+:f/]צl-g*l8H'Y0]Íe @HDflϨϧ! 2I뤇Ļ*&q=& ~TAP~1EWK<_( Չa lh LO迵I3mPωq}Qqn7¦QC"3ߦL2CVZI3I h` tXf<`P׌-0c#Mq%~)dh{W"joq9aױu&#Nisl=4Wn,ѓ\9\[~ӈt#FSWjD !wEayς}5Ą)'XUsa\auZ [_✯wka+<ɣn1bEOA6Hc>f@&}`į\c23| ujT.Y uPr Z[#zԙƁӟ 1Avx.;3|R0<[:(_`ꆦ{Œ^v= IfT>zvUF WȠsJhL~Zc0<7 ]"-#dd.(vL -05)-3$U(IBBlqDk!;pa(Um%[}; |SC4ۃv0=S,u;3њHtX;Avk#px id~,U_$z }d nXV_͢lސyYWX 547a8CU*R#8%F.:rW"EAK7s@*YyW"S̡ޤ;uFۯ +FbK;u quϳ>$ϞE^uK.D7J dP" 1.Y:cooTL:@Q`U{KH<&J>F/ä2`WEX$S OT dn&FYB1@(7TeZ5s#έb?]EOky"'5]t3!8uJU@tFz }8[!G-~'అؾpL_qvԖI]V]x~3*M=ѣQ^-2 ;R ۸[p^RoѾe "4g#8z$$Yu״t~ɯ&!]o5]Z[)[Qy\#`bg*}d@?'sV8l!(33R6ZBIh+MC cJx43 f]a>W|#u -7eZ x0AJwxGuz1OE\:{ w@<1yЬE 9g5v]zi͌鿢x=@*yjw}Q^x $S&gNSl 42bG1^?d^m ΋OG@&}{E֌1CTVcF MS"ך @_mNmu!_(DJG;j*iyWRmH<< C"B -XO:2=N7h/%$iIeI:L0.)f 7tt\d1,l)`dswIkZus5)GN,nN^@pիPƄetqMg"K3#T+IU=ycsn>'%UB1rR՚:\?,Mt]L=gJ$p)斟"d#` "k.OP[wuZ} Q@Xޝ ҺwpS^.i=[6AeY*C)5`̣K] KG vkh&׳"՚:0jMX[ Qj5t?&_A[xuUľALzP%s-rNOfE=YV]8> 4N2K\pr_YUojھru\>AɛSոÆW[_пgd?)ۏ^".%60K̻MmH֯7˓&ã )7,#rq0Qڗ`@l"]p/Z] *: U]P- >ܻndTa*:/:k5s%QH=x%CYD)3%-HBmRbf97.zpglgrH&CԠ0>0EPpG(tčqD"ȟkobr`|)Ēf&t(ɪ T \N#[}% s`2o@pveaj=# >N);!pQ 5nupd;oR|tZ&S 7 (EƴGtۉyA?WO$妀'e>j|};݄;R mfL62U !L$W 8YMWD !Vfl]F]ٖ~R%r'-{/U[Y(v U BzAzI!@Px䳢#HXok4Vd| u5|闡lQc,@TrCc@C[С`][ NQi~Ek! Y,Hޟc E;a{sHsknǂ@QNAdzzC!Gp1Eb'_Hh(nC2ãgTiÈX+}nyc}!/ES%rgMN#q*~aA7,Y]JFjхP.'3:rAIzqq5:lk@h+k-0Y9F-U u 1E21YMBL8ZGƔaabQ؉Nz QxhJY]L.bE`F Y+fzL, kYso~a)FS*,=F Lb0C((Z0n؂ELjAfs(tR5Ĺ'aC HkkϷZ5Qf,#D$OŔe :i eXW*\lF^o*ֿEZ^5c%Amr:k"OSɍ*̦wrlٟdݵ 8|GyKzPE2qy7Y"σKTdz|ldRP/*Jd3_%s@s C"#Or}H߰=j_=7 !" dG Ȼb=n}29Ը ̐;K 'a*e}׼%=MTPz@mo![֫ I$:mx\ygwźl NwD1neMɄ̐H gdzbkYt<1E1  Tk_Rb}.)8ƅఓԫ\wqHdyی_հmO5k9c󥹩%}o .r3cyb,sK2ʝbœ3T\-GЗ[mPNmw(P>s4Ȏd]@ ݢ_Fl]+FJ^"Sx%0Zn=i9XO%VҚBsK9~Ɠ&a/ O*T3̆^]it)9Zs\/Cm-/LI`,&u5ĺ!`\PR;Bc9+W>jANg9p2RM)R5YUn)[ǎ~_+_p(:Ƌd8k5qڙ@)يSZ۹{pǢVB'FqE[]iTp̜䵲rG=D$Hj%X!6*ZZ-(p!n|`v弝Z/_psHДF|K^ ɾ'KI,=IFKozHVB q@ S ۽pK<DaEZ wg|X`sIʓV5H]uvnWcI90udjڗ[aؚٯb:i."^H͐-yMRUPSM,`XN=aJFZAA'RMljg`߲xݾ@W$]Mכ[*tHk48'[t5D¯sg"(+R^#f߯iV&FS8Ągd5'8K՝VeeG ݇!7Ӽy޿i7_dBL1. y'^֟4$~uOI%IB@`L+>~DuQ\yM<Ӧp${U(S+N$5j=b ,Li>r77Xœx)MB&}ڱX!P/^n=MN+΁.tD='9]zCo"e|C9#r>rɥCΗTԠm6#Ta ^(d:K!xjGq䍆Egcʐ,4U,5n`FmT.uL*d-'#]Ni z773EvHI21 Z&Q\D"M(B:N$ ޫj.c l|NK{ 1htV>^ҩOx"FZtql݌r]CnT,5L";|4V wT~G^ 3D* dEۅZ.Ti!t:iQ%. ic XU,4N봖`J i}qV, wb<B9b(A0:3nu15 k"YZ4-UAb8`go0X,=}Z߈#apR%ID1EF;i-l!lpHgKl1|D8N L[BV 䮔UlrEzCd]d'1k6Q7hU{l<24Tzs|G䦖k pu~p`p(cqAՠER쫔U3 a9rA.y8BK|""t&1wOΌQerWGT3E5.o3~9~y*ɷzt SXMϹ囹z\V@par&NFڿrxz i\R5GTnuՄfd}~9<]GEvJO_`:*Dӿ!+X',+nAyBi1:6q JQ| L]f&ģ z ηHѠ*^( XI֘dٛN"L = Kv$Y@@%#PϘps$KDa/^QըK-tzySi9||61z5$E%=0H,6`[H?b,Zeϧd2}:>%ۢ9* /ܾA9=0.S1*h:+tV4.sڮS=VP2@oШnjOF(]>=Ҙ×"zm ks%n\=@pɎO{N±qXGZ)Ј~HN{C-OT'ߓ hJ e)Z_諾aFOQz!UF]2/Fp1gʹt#իN^LsM]1{\&!qŶ$Ckx'5HFsFz\iK0~8tU/biJ1+ؠM@.ȺJ!bB9h+ aC%MpKC"4FF[gKxvuuւcضaJۈPؽYqGuY֯Ԭ#N@ҺK9[ǘ z&oh~ѱmyɐ+F+[̃/+=uGAak.Ӥn 8{1/DVŇol}uXPL:PPu2yFU|h8;AGAn8abGNa͗(!*}Rp8MPUp. d~*<܋lIsʝ.rM*VeM>-Cܴ()kSBu!W뇚& 7rmJrZ>KTXn#JfzD 犍c&^/j 5GR %ޘp8}(! ?:ќA1xoV\33έ%?DRFXct۳c 0}" Z`/rpe~+'<=kxW h%vVcf36ty)N8wǙ/1QMw<5׿RӅ<= oXKO?4603P Z]ͱ=/`Ը-ɍ.{*] *`x B(~-q%JuJý O(g`~{9Ý}>!Dz_a>!J~ݫ2*ܒWFᬻri1Deٴz  Hh.ӭ|EE` =>̧ҞaAO#4A"Yy62@9Og5n𞅓GGAA] ahEQ/ڊoM6b_Jʨ뮙V/ƁTJ"l> Cf7{qn)l3@g' wn_V(}/ĝƐ Zɚ ߗXxm(W<Iа] y4863C'ZUc,ꕷWmY$JvgVOzZRv T7x%&٦BL(;xOX&AŠ*)ꯛ}[Hј(XG H0ݰlZivyHX'>16b3vh/)[;âŹic9J~L6j,2Cþh}r%BVJ`$?:=C3@N& 2xP>?y'dܱM=N8L2Epv?ڤ < (=a86Z;x9}$;ˤtljqO"d*Y|}}ā7(pEs^Zwb@7nÕW ЉJM n:8>c L=QU)Dbܲ⁡)meFt |7oc{g&>_Tf@#Ubo4\ɀt!kߤ0%js46h0G}c­0Mɢ<(y|R>$\1yG @56] GLuaa\`qQ34V!;0*d/!{5_VW+P.fB>Xa!.*`ʫҢpHl O> 76qp޳RIֺWjT1g :Q>V8e{gtEMH_4zu/ jJL&n(#<3lf]/B/Aݿ6F1߽87h#;sbC1 TIaӅ#b2ӳϥzZN^LBJѦӀ0 *  g{={WR0ܝew{;%yAƿ (e%6?iNe%40l]v'þzEY7n YHXm93u+ xX n.{R4>(b,폽Zr[OEP¹ؤnX(G5LBEܦwƊ˾FRƟgxM[pYKjſ&xf0v3F}X酥okn*nL'+{*ON]IuבŖm镸P~hpch$(]h'g3aI;Ř ?I|AAgکp-ZB}Q!piSaE,gǏpJe7ܨ8M!`=>ӄRZ ے߻X ܿ6< O&&/ٽkX@C]gQL/Y䪹dtH`Y`4vXo7j! bԎ NY pl?iS9Vruhŷ䅲jjSQ 9{Q fS1qA_B3lg l/Oy5[_"^wQQZlL\Ԍh(5FC5\iaplQ]mX!hEc[\p,Zޭ/Wt;Bd]'HA r/{Kp|!T|e 7G)"tyf6`d2~=FmHfH^z`JLfw媋=<0zwKWA(_wFQ - d!M[gs:mtjɡZe 6g & _5=˒,:1ϹFB4_͸{5NǬ6*hHĈQ$;CjU%In;f?_-z<TOZpJk!g2$$N9@lgL&3cVŎqXfPB.H J&I UTnb] 07V⊺woW>?ٕ7w?AнpH_J_Y0ey2\SmܺxY>}"%46Al6loL"| 9'RwS_{6UN^"#==b-I GxE~J IaXrTR:{T[-`CLؗk+ z}0wڭ}o6NƈNPFѣXpWFYvkv95e6/r=cFAjiG!`,]\ௗ-9Go%\9Z6AI[gZ8<'n1l3̵;rAtjFP bMWxRv,.J/R+r貍lJL:Ue"CSlߴt Jx %d}+L `SQP8 ob|PXTҏCH%,z+=?ĂܱLmm^LH iv#Z @G\2jz~pٲ2XP.2o,'*H/Yr۟^p>S/#~Iyt­~k.3 cX0yNR[p6L+q&nJ4Ǧr G:eZ3ſ^OLҒϨ :*oX f>IUg ?&ǩ*sU)EdМnGV ϖdf);fZjR𛫾GJVgwh?Pɹ ]xH}82->zCz`@w2藆=Glcq]&Mo((I\f eI, w"y.t sByևoiXO@^jJ3uzd_h=>>wh|N Ǧbp' 2ֿ]іWBՓfՅ'W&|&AUU<.3sb&O<~I:FO_iƆ}m^VPdUWA:0!E`݉3FGश Ng aK;dc%yr*MKC$F2X)՞2GUꝪv”^6IIc촇rSҠn  LiS97+..|B)/0HI{I^QѤEW $bយOq3naP`N6]se Om(R&I7yh_=GBɈrMx %UP3d콾+I챹cZ ^E0"s1tc#Thc<|cebЍ|/+ʃh، GWY6j‘%mP>8H[Vx6x /OhRӚ;gmy-leԿ#Wf1=?"?gdSa2|ԫVr(EL`sI*@= PT|G]WBdGk^%@$SM WԿ ;W8yU'\!>͝eomVf=ϑM܌YzpM6O+M?{fS^c46 |a(yYTM2H#j$ Q0lX绚z7 ڌ ]{Tt9N?&iBy ī\v\VeMvsIu4QsiU"N{,V[8 =޴H J&Jm/ ;V^Yշ3 9%~WAX&buH>Ma["QVɳ i ΉFhE Z ::z< enkaXmgV/~c;R tw Yni kY9")D*2OeWI2R`(uh;17aZ4|ՍʺGDCsJ]bQE%`R4T:}_ . 9ﳴ=rt#RJApx-W<8m+7Hسj g[8!@ p^uyrSo{^򔵎ԗx;|piaUаM]<2&KX߃ѷJ`h^Q:*9DӚMۊ 0cm`X.j(WwAGm~|eIzj ᮮ mB喀%JK M6|hZIbԛe3 ?8]I͎. Vn*!_mX Z$ऀT2nj+ItMd@ ɁkJ:4VSZD_М oR=n&Hw CdJ*\Y/CNFZZzٳi *@("L͝ChE18kn|,39u3HZqi ]r@*V 'ݒZCXp@~* !}-STujtVt(BbZMƬ9;pxk*.5?<ě&ㆾڅNM)Z5#$ (EQ`Kd&*$=/Eá\ngfLyb\Cw}į DL+-eS u.3n;P_#/h^Gmk x)A"n3/{\K"V-$;)ysEEPO"IB%%Hw,j/Bijb-3r0t, py&Rj8C29O"6@OGh҃\]Ov?ܒ8w/loK*/Π)/5ӲC떟1C5F tbԷNX~".CNɢ:vF)pY1>B$jW%ZSgt@^*^V d/9{9]Wn;p  $_Pmex s/^,W x5X❥/6u5'iKǿ4 `@:ʸ ʼnu(!U9m ](GbK %sշ$BCd;- V R 4,b5i_IO2%|r53Y0@3Q>D*$1U~*tPRAs햹;(ֆenVKzy{h2),1el/i(POy$/F.W.;rlerlTB#"Vw⩪ӳS2$*N?-GmdHV {&M?c|OȦ?!:/gms2bp?Smp;~nH_l֡5 pkN@J#6ŧFE-P[:H惕sYB(h,8M+ĕDCs8eg^b?܅+8Ia2zbyjo݊/.t 'wt?we]/ ˥|Ĭ;D%=2)d)ofIJ᪞jd~v\(|aꐩdoH_`Mem+aӘ,h8ƘaJ,Y\ģUB8v5sAF0۲%[ZFPX>&C ^z V'Ɩ#B}ZCo؛ v_2xT+D'~xO$dX,*:؋u1EOyEwY=qBJ'->ʡuno}2R5!m†X:+NtWHhA^/Fp< !NQFr$f(@g4S- JJ$>32@rRrt|Fݾ]5 J \d޴ ];yr ۯިY+j[[ {bGB;\0 ;N@\[O/iS8 |EMcgz/%+˝*w l խ\)c(Ef=`ZXv< di1--jyRWe e[U\ Dz ~4o 9"&ێG6y(t[e"M5ZEywx%c5>=A툞#g%B#8UoDװ7Euvk|)3}gW<nkWkwɺ7zgNHl69j#J)Ti3O98V!_u:,9XiBھ98u'ZzvsSV уEiʗcCH%=șq5 X m=ޅa^ hיXBHJ|7e1 ޯȖ+8ǁ<; S~JW tZF*8"H%f9|] "PԫîI|D%PXz&#"vD4?ug~)iK&qC}}1"OH &-z㌘1LNi;|LQﱁߠ <(e$CXSEXRSP ^{ŤjV!9ԜKپ|=7(_}1بrvR~MQύf;r{A3Ua[^FD% $1~v= ɘ((M"1z(4Nx>}c%bumÖ7<\|+_7{NcFF)Xdr7¦ ^ې] Qq G2Z9>2lo/Pc TAcĐKY+ _oo`03袋.ϛFgyyο965Zh.,1IkCT.3Z(V #c|e䟆]=fƆ'PEM>-'ç`OLDD6| ߛy;z7L5DrqJ'|woHm%#bxҟkt>ȎC8 5f؁+ӽ:Յez65D 8`jPľfeV֤*~G:]2SIQ.֛9gY--,N AJZ:Ŭ7ycIt ""&C0Za NGqH-ҙFjh8G3 imIM <].@gi(䩒a]uA^n+bVˬ~.$%&Ot(dդ#-v`K"Ⅼl+~9} aVQT_+|Q ؂1B}nFS~=5D`K+AC}yq[]<ްiA}XՍp6L߱˔V6\bDR5*XSL#0l濩1=p/URyF>17uI'H& +.;FzyE2k'tlیi>a~;3b:2QOe1lوgF8Ǔ5"^ҺX?7BlTCa>{Gtw%F;fr4)kBq+n"l-B\"PUo²<(8"C %y>[ng}ږekrQjHgԭM{XB6Uȉ XXsb@,Hpx'C1ƅ W?`5O|;AEk7J_\{N!CB'Z֛N"fb;xZ47L4/[H}PPTG)F/T_*-ȹK.=_=NG%c:0BBz?FEmeEg`]9XXB/I"n+I ~ޗ|<:X"7ZW3?y˹?~rr8oŞak9T5J>PAg='aI-DcTH&e}!Z`Kq9zI :enGI҄dy"L6(Y:5r9X;k^iV׫D#<5/ >n6)BK31 @!i ;)<]΢Gb8[D\s ėc6PK:I8eis6J Yhv@T^™&΋3M4՟o(jޥ!u;r d]:\fޝOYP L1n3A.ʞ F?~P;hE0_ 5Fu3^y 渢Ʀ"X_8N1 uWZݔ"u ;PAtPyK5I?ePjb 'i-XauP3OaTAj{BD#3D}jN;;Lq^S42uS䙣(y.=HREKnDb+xB#Ǐ?@DC,mG|uGYP1aQ1!tl$woS-AcY,R賉X15 OI1!&mؗGw1;b#oĚ"|^5[ڬq !B(A5٭bPX䔝.Jz-4 !` X=##8I{B+-[J zPثc4{ ~"qv@ _T%28.GG!}"hea5`l-TZCiӧ /3~vs݋x.q@,Fù+K7(1Zi"i@ԚNnH0.&.v=9@’˼fmS9fi?>fڹ mUY9C<}nw6ؤ1 He&ΓԦ6:77>=|f-_=|K+/-|7$}E _ܭ݃f \ݡ@;ڟ*!ߏz[en:x^m[?%bިuߌH ";T Gw1ɰ?hbP'ę" oR;!gozk7bh"a'XbՄe_V_IPA`%{wr:0pFd aH $4 D:ajtq&m6* ;q%65;s Si?ṑssMEGAR.uX ncHg>a>Z<7F-~{N3cׇZc f/P"2<"C|Oon}^#6XNAҵEZ5BYu"!kIG47 i~o=/ NEc Tδ[u Vj#YeP]g4u[>W: kpN(ӇD/LAf;ч{zz3"bBN\l\4(\4/d஥Ϧr}rx_2 ɛCHF)0 (Z[av{ \UMޒ̉m?;Jn\OoDѧ}Wӎ&PWBl1W3ֆpOPpڢQMjb|82wu߶+* CjLXtS]Bͅi]O"`IsfqX%,ɕy*O+DJ Lf8twJ!J(98V@JC5Iqg+2caA{H(>Gu|..\?#&g Ԑhz]y]LBx5y! ,jYǤwxļQnPE=}0jr(vq!#O&>SQ,Ys}ҞtƤI)uY/,Tbk;4k-OiԍJȭ|d.|ÇQ#^&ViDej>%rkȃP>ϿĢAɯ[gfB!vm/cX;pe %q?y;m GBκ];lmb&t{Z:pB1rF/]̤"3zQ=iK66lG~Sx䏞\e?Y-:kk&;p?+{ TFalBb葃 z<+17mCx9My=~VWVQZt6;gnƥ +iMʗRbtxU䈞j9Jluj7|3VŅFT\MњrLf ]{z$m&Ô5N%ojX}m |XrQ3'9HϦʶCj/}Ԯ$ az~1fCg4?ЊavZPB9Ϥ'? ?6 5-]zG:\)d+u-F ΁|qюmu8v>'E(*~.C1m﫽㮀=< M]/ i(V_vvIJڇUC"0"4kJ%M=Mb xb^9V#q#_D\8*{dFֳLwCs;gbJnb+6rK4R1Գ\#Ês(P*ɥ狭6_I'rn}U._*w![?D:Lk *L)PPwuv)SG'> 7`@0{Ϡ|^hk/L5L{ʦ`?:AޤiseM±tr9,IeJc͒"b%sMo?.)wEuCG2ʹK2u.RIs A5c&4lFӺNp]..\'P;a2;VfhFGvEG57>>ڥ3ԜP=5<&ޟ ix1LC9[&\y2x6&r/B-ܯa^ nY d@T$rDza~Tu0g];*zlؓx(H\k>KT1c./%]twʴ'Mvb 9P; f[s/Shxwb+,v둈>ڳ/KT :+Soۊ2_ >9>a`SJ~X'-@BWV%n&S_x|=uBq&n ,),Z~#r!ߵC`+C}$mcK15[z4h(t'@QN|XkGJ.foYPOJɳ\Gӕa4sa/ދ=EClV"Ҳ4pLF φ{x}HqC.:HV+ ,~\ݝxIؘH7: i7ILͷOtg1.g$T2Ckjm@j nleԛSn¨Yx`fIE&s⫋_/IJ*H9:gkU+vN/GM+KqO>EAgk(h.hu,5i3;_b3bbh͝_l ;[*@S-DؖX›rA[e 0JxD Uc s{-Mr^DZ1 Q==13r/6]wizd̷ (u@Xl6 ^0FSH/y&{,7$!6.%cG\ZUJ6cG"EWka,C&AEEH9SBD>l}_/QODtmf3 -g\/Vx\+/$z4Єf6?kaו2D~{(1R=D+yR&Gd)^\ KvPvr(z'`>{>nmfD±S^%Kby]pf d&:-oPu}S=ťf{Mcm ,vğ8J5%l7bkQ.|GuCc 3/GB6ݧ;tڄdB _4C/WQfk) 3HNfw7_&[%A],0aUs.2g];̐aˉ:E3WD]ykdC ̖&Xn;xp 3 /.йKP @ur9Gǿ׉ ďp+pLRLrbYʬ,zpPDYI |@GUfs|[F¤b QoL"~Ou'JP0G]+Ïv1C51MtԳxS?7]ڄw@s#/a2l/,}mۯBs]%P (>3q&'7+Dͯ1E\4G#Nj|J.l]/@<X1Ր0[PFpnǶ%+)@@(.dxv;Բ׆1M mBfY|$&đyELp;q~iRK2IoS K9j=eˈsz+3=g)*JUUKVnc g9uE<|\`۔؈$@hG@dnnc$oZ37ֿXͣuuQ"udR 5a[sa!q8TMtgфWěr*pnW](HiqJ :~as`6r05`4ע+"5ݷ5j=Vhhu5x8|I4L8@3ݞ4_o/70'S\?$1+n X[xph {DVO}Vq7_j73?ma8N1h>v(ٕb ]z{ˀ\t,^nTKjWDBߋur#titFb7Ue=z4~Z^a eD7XH1NeɃ4s;wqIz"P̲[ R퍀$\SV ƈu]^_X/W5d" F|fkh}M{{f՞ϔ>#W7qa?rA"L9>Uvu>rB0x˛ p:L]1!ğDoic=-6s*$Pᗜ9%Xq*Kg!ޕfJyT U \Yb%o/;a'gG #hɋ?1XjD>25FK~ξ%)жAPPTo73X~!EkL$XH:ixe\I_m޴z*XӰVW_%>ċ{`r0 FP ;lK 6 HɜGXJ&laQE_ʬ (M? ڸUiYZ頪lj(Lq (c<=pPMu:g d0n§C@TpMGIdքm= *qxd`uRh G^ti]D5>XU~v+hc<I]J^ñcʤvv_rhےIh%7Fd 5|=] "yN6CsAљ9^4V藤뜍71",eYb쩅H`qS= p9 )L:.E}wiYR6Oj伋ӹ#Ї#Guߛ+$a4T[&Y4w&%/;>/X+w(1oڭQz.\?;;8u4 ;U'சP /W,? P &pZ)쑖&z'C3lmGb {-+JhHhF wRwKyƹ٭a K RS`ֹ%ϭάR+UfraP<أnB?oc N}y+?QKb/4k8Y?o9tDCPEi^I~s!k5y|=1% Z3K$!nD Qk"K. *|cYKRERw[9#Qc v\nʍ\**jZ|K"u_rܥsr4y,zښ0,[A,9=m^&fWF|3w,&`AةU߱]8`z\1LJfX!v66kh ^sD ѡ~o/ XKTs&5d)gc%%߶$+~o4rzyZk[\YvmeW!8D~[ "&7I.r9w?*i 2:__Œ Im\5OWlcWo}w4QU/2Wl76ukf"`^3mՄ+s |( |p:=zQ["hFB󬒛jfl|eƄd?y2]$x&H4֚" O`- [x)o a-8s2(ǃvY$6cV:3kVAV6g]o!J|zpƼIb1ut\gh̬!kQBʔ$\IXi80 SkX {'}:iH׭f-Sӭ?E eTPfx?jQ9Q̢-$_vH'kV2s=%m'Rp\ ɬhwb)\דC#6  o([UCeJpRKhjS҃@?+,a_n E!L*Pn 2mUF>p=\!Xou?Κ' 8͙>Db$kJc$> };^vh*2$^HӼSS71~eCF1;a*F:zoOgQ)$;TWuN5or"c?Hࠠj)kY|ƈ&eK6J. K"VQ̸)m!E LXAx$2?4F%sm0)jPG-7@$~'RB€$(c*{>\ҦXogPj !d,e:H)+$ҒL'KQIRy;4rS(Av iR҉,2pO-t\c dV?V O_)'g(]ړ(:\ZVD0aoO[A5$CE]u<Yy$nӶ-a=f.mKO{ʱ;3[>[_OHLL-:C]A`<[,|en;ߨ&.1Y;"}oW+=YN؁J2AnD@Ͽ&-j 5b\^([bЂ:*Zrom%5[*h͍]iB@>* xfɭVޜ[F,. SLi:r#Ĥz{ݯlxjM[Qv_=F3| xU7n踍9j%c㷄PRtY`7F;shrpIl^z1GŢ͓Nz@|: 3D>Q EGie@TG/I)4Y+µuDlF12AV?A}kCNKiKe2)G Ƃs]˒U>@DZc$JT Π_KPZ?1;W y*1ʠ\kvA]ؚ1l&]ne_#R*a6(w/o';Oqw~Wگ\]A5 >jN"X 8ttqv\>;d8R~ҟpo2PGeh,14ܽ?/D`3Ka'v3e&ʒ X%;"u_~l@:4\]p`K\'=<1A%7KJIDk:zv? yEV"8u[<\$6t,[R 1pEg D2P!_i^Ki`xo- ]vk$xi^tT~UFaNήd9fDtqD< G2c7Pcpڸ6kK=WJkfkRǞ|wTZ9rQ;cUdFIݟ~V<^fa, 9;= =yqV䴊ǧUkrcQp3vūO~+B:Q}OdsQ3496D>0inSwocd T&%~{-nT"(IllҾ\e9 kI)r|̿X_) $\+?=9eu8H3oE+%BJjЌPB1#4UFd-y^Ew,a0"RAŚLjuC ƪ3,]'9 Dܤ!J*YY lE-~fẒpdt-Ow;lakaArn!v'QN$ b<9y%LQpq$rX Ji6`%.rh|u—+Bs^E4);LJƙ q{Nzz  bA[.3.kU~YpU.QF9Ԅ:&yt>8K !i8 99UBnKݢu^$POHF<4QsMp,LhDZ.8$$j5Y;Pę3uƊN&=ysfp;km pߟh+- kC=`-1P6a+ W_SDk}&:&YwTWˀ#Evh1ʄ޿؀-_ ڏ5 XO4%eŊ$ڛpX FAMNY>?= t`-;Aoc8 \tGh77RSV|8*;!t}*?CT 7Aɡxb_=xls9#0j2hsJFJQjlt9cTn ϶%O>fEQ89E l3"vm?bf  s?c{ʇb_PD%q%/zo0+,"3$FUdQKX5JLf Rds}iEom^_;,P]Ɇf7.旴o5|cf,Xzh1w?zoV<>ᐈ"\|ŀN`}2yMgŭQ6㘃JD;>4(Cx3UV=9^樃W}>DzigCb`m௝p jcWf_3ݱ;UΆy@xB\'V g_K%jPJc <9[(kx*FIi)0'sH2ne jP,F|.nkX"Rm[I]9cgƏ֜Aj+)4:;L_:zufT]0Dkˎviȣc7_2WV9HqXI\|L=%-܀:@f-Ռӊ':-Ї_QH{l}@y%`Lߔr:88=LDykMr1C({j x+ui?n3zZ) %C*%6G)*a4d[(2vZtAr0l_=y~Hҵ@Wː]; 8SyZh՟O'j2hٻ"# N׏aoPF=bt%_>SC\Bn15ٚNESs/F)z4tUd\= Y` Y5BlS?f>b>q/ d<;XD#__AμLì`-Tk3 t\XN8 ss2[1ʼnM\PpjgIH >W0dr*8;xKGKCo˳KO=f2xtxuFpݎGц(S$ǾdeA8'2ͿKC`†l/5|]_?n{0_L?/Kcs&r'KR ht?kb$CñY)/XJ*q_Q,/| JcE¢c\R2StlԼn~"Ї J]o'K7eE]؈bMDow]*һx6ޙJgȌÎ}QqyU%(e@X۴g ~%P Axo5@Cfݢ'צ F*]c"fÐz ^ A@}Q)ospRn! -W ve+*C Dk V)#脠.:&Շ>p~(;GиoƳFSg,ߞYGG (t۵XQĨڞ`WBYΦljC;g0P"y9bMU7-\gnwP1ER}JLbců#ۣPf< 5bГ ,EMA-dT69{ZS\ȃC:%#w3?TP!Uz%v4BoOWmk))6i}P'`C5e.~@2|G/:oLhOQ2m+7AqD];HFZ,KK5Md4×؉_eXMuN$-)ۥB1xhܡf'Z~'Qavpt뜘nP/-Ɓo:ឝsI ̕ϤwyP]4 5`簘7_T Hפ OL WR}/Kn 1G\ZjmzFxf]`c%qj.JǸMЄEPŽ5`gS:wDDKn5}2%? JJ"k 2-;rTچ+ܞ0*w75E:Q"m-J"mz')*wWD$-dM/yލ| f_q>߹$`4ilf,|43ƐCr8O=}#V.{S1nY(s]a>&'8ɵ“˧H7 Α`T #̊*?B/&$5*$ó6|M*jb|a-ۃ#U'.|q yʲ,5ʹ9Y*GTHmH36?=2fCW,G'@"-R%,jqd+^.? P8̷{qV(墔EQEv |!d 3ȔE?-#&a KΛvCL|Ei@q\9)‰[תRn[":!ϬXwXgk`i&p1l"A8~mbc#u{O$A;sN$$iUN#úչt,:lrbG~x^V7ZU3t"~B<'WcIRb@hɌ9yS./ nj{]dzaԯ4lȟ3 ,eX ATθQW/cd;mEw=ad HT1[,G GӻӒ^Fg˙ 1rg#@3K 5E°3 EY]7ec/ :ju2<_Q D(1|Nlf\jVH¯,0=%"x1]+ͦW+yӖڗ""Bq1?X0(6zFv>befd[MZoD#12|Y&Bv[qT6 ?ˢ5B2WPF7`C*MTy) ;0n3#AA+$sX#hkhhg/{)E-{eaVuHm⚷ߝlur Tj롯El̀0F0fa$sH$*q{4Mt(,Pq}f a{h;T#[ d .L&w[S=~^ȈJ N.O]JߕAݦþYFab??[o8\@up>#&ZuZx]bve4pVg2D$m0CR5"|p|=ky;Βs%C>F[Q{KYiV7 ~[=q9ٗjC^EpBW`Ĝv߻r惃cB&o]H3vCB/j@ЕRIcxiiyXet`]|uD0 IAoN(yJ=@i#0h/;hW(lp3j+Vt ]-޲"FTܺ2½Vmq`싑=^y4bR-B It)Np逭u̫n)lYL7fn.#)sO}{PAI6û(B#l,ArxVJ^ޞ1UH-fɋN]g bAqF_qt9 EuL\[-Rz6‚.AqC4sF ?źkJ9s}͢*Levف}5@MV G/2!.dx#WX0ca=pS @pٯ<;wPE"6=pڠhqKt!&uakq+(@aʊv*YO8nxbj-^*;gB+GzDg}̊N'OJ޽@Ak96|qg.# At# iBs%9PRU^9W4oEs/6䊽5 صw7"뿙!HIB2gD|'`_ \p gFzy~GBYRpaU:Hkk^uZ$)w r_* ??c+.N-YL!'h0 Xj,ҍ\y]btZl dϸ9VN#)y7t˿9d?w$xƷBo ]8d$V}oҮ 0 su}7 H.]e"C2[}3?,9 |Z\07A~ː hح r@zMY{X2Y5:Bv+]$4} \/Q(G|>]L6ePfPDU14B̌ͣ0 Ŕp,f-^.ھ[f7b$5]fH 'dU^\̐ ?ЙV!oQqw9^Jj\=q:G.E# nl[ې2 "d7O&V1EG[j.^,MN`D7G}:q =QJ;Ja=~ l#DZfWm8Bhm;ʨU1> QkB5:>&ۢ" e$)̠ݾ͖#2<Srrd,b34 6F(젡UE' Fb)1seNb e5*biLTZp:F8s hd4N}! ̅&[3ih ةYVLO"JnfJ`4~%aPj}~h1;wX ȓc^3gAKr#y6*/1]I] 7VyObX$p\>SGJ,t.mB*4 kw!" ƇIDt;q rhN=N"W5` y(#_F]ތ:#IpM %N\O~<~S9$R@v3e+ΐ\r :K7BنדRo6rTtaYңtAA^ fё3=^WN8qj7E Y xqX9rdX$91nG1/U7Ɠy7 uߍI>´43QzIm7#9_{g%Ř>Tt-L%P t';]Ξ2JJ)9]hvbsơYfO%YŽ.\+z|<]k@WhT挿%d&\%hi`TQVպ[)xg 6$kmBh'+o;*}5/^ؠ=xʥT-K^G3B4u-.MEFm\Ta:"_쬃g<z&:!13H=#؟چoWDzm%`PeDJdXv1س| (r%]S]P91U:"b`\ݾ]vtmPUI-fDG;)>~{UfYh!vd8^Z}bɋm*ޱtq Sx>.c§:f;xÎ%22ȌX"lV5hLZh]΂HdER¡C$,@ CI k/tyڬZ.PlaMmb}dNr W$^|mTxLaP36z pk$\fnaTJޑ*"CH:oQqhǡKJĄ7Lt#<1)o-{X~ϻ;A)0J.ni=<48Xʱ7I$ e.giO;|-: (|Ԣ'Tߛ;~zh؅88D90K̠[ٞL&pozAUn/(Y~%"uo5' $2[68>9`ucľ#eOgZi ƨ5J]ˮf {` GNkP}wL(ʖ{j狞 ыgYZ1b0a5b0c850aed0d17bfbbbe1476a246f0ee27a78215eb5f5b3394a9f9254fc524a194abe159cb1b aadd3b8d170281d804851890be5d9a0a0cadf3a0c0ed7a93d45df426413c1482efd9dee84a13ab43