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  !\|4 ]]]HOL-Proofs:threads=6elapsed=536.823cpu=1315.768gc=123.740factor=2.457zXZִF! h]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3"e M{p(b:` {C ثJBSW*J ]=bϩNZ]w~z*N{j㛹x( }T~_c]3Ó#5:Nrwz#3ȝ6ni@ZˬsI(}N|5I&"u(ݾZ`b| XC*bMzahqqkU:t.sxiʯjt!?㢚{Wp<$>. :)V7{b g`A3iOw4x=*ᾁ&Sw`miIBU:&61_Ռ}-`,v1% !͐M3ᾫYP6Iu<΁ɇSiS{fPrIkD 6su@ Gv@UȋI^bA7M,/!\Gũ&z_{.!IOȐ˧Vζ%79r26s$Mrh#vJ(Ȇn>" 5J䂼? ;u+BITBћ[1f;g{\>Ph&MiyH > 0u 0$vܦk'1Gy*a~m3Oں1z:YSR]\oKنOebo<]oXͼ=\J?Z!a x曁63YVl~ߞTOQIN"&8RsTk(eLEJkO2Adp3&MthVj-ч<?TW/o+0U$Wx$NvR\ 4GŽ j_5`y?TKJWi _cL>vMYlI=:+OPJm"r6Agh,RK|R(\A87zHJ0p4s28o| ʔcLd{};`JgD ]<:àLp)1l?T(+&v*xtkDܲv_) Be Q4L!*J˒f0f  ! HOL-Proofs  u9|d0q7u#]]n*w -X7"6k-ʓK_Z8=e/Y W}'LCŐ6YjaD<'w6qv%M s<]!؛{2t덽H 4殩J0d T?מ s9*LiBAUr\Fd?kl1Ԋ@voJXċ 7OD)EO2Urׂ+VМ+k}UH <7ؼNntp4qr鲅@"m27!*sbC63 #P\4ډ1ɏ$6ڑ\; p2uuY-]rEVg\UCvHVL<Ģt XM$p=nۻuP5=g ē X" q1+[I 7!CAMN``]N,Rf8vaugQtdSIޱ2׶+ZuDz׼E{hʾ/ܸw1h, $rr?EnL<)c2ZUq<@+\姘 w2jc9ešR:+Do%v5$l5?Cɚ6.~Raa7GWPxac&u+f -=D_,E÷;T䏤Q0&Gdl/ ioKE}.oѲaR OtSR,iiq~E$4|>iZ!ۂU(zU#ŵc}.0? 'KpOq*~ װi9_oB* I3zvC(=ϱeVgXZ{Ķ066*否IVP! ,(_Ӏ iQXc o8{9U$4 Ҏ"g0<* @VAnQz~R0vj[1Azhg}C=!FÏi~L]yfU"lcJdaK֊m%0MF00>䖳{{zMJ}+;!8Zi^VC:{4٣—Q*v%%! 6"Ÿ8 ^>Tp\@d鹬y)c^}z;'~Tj\}?Nﵠ[)doQ&ϰ`ʸ8 DVe 5&ϝZ+WE"GU{' + ' _4 8jDE"5i Kl.N2f7S! (uљ[K_mPTxJIٿR܆µTa[ k60(/.*uy'wp3+'1zzDnPyPSR8"U'! _9LT!m B լY' OL_ŭ՟}D:9}v7qf]Bíck\UM!nܐJ‚$4 _Sޞq8MwvDK۟;ʅ?yX YU~ j`w6t<6Xx05:e@,qQѬ D&> G.ܔC}&o$ɋv-)-љZ`~+b(o{\K4Wij2T-C9'Tw~(o RVMGMى%\t8"QzhW2C?@rYШ \l@?~6C~`8*ؓe3KلL i*ZTL9]]}epF g\KuSTӰ[6^Fy_Šct=gWpTJ7%GAݺc"-r`_)Vʆh(m>|-}c0)t3UT2zz׼)tu F+dl [CڬzQ6`xX3oJ3SA.68ZW~ GؠZe,Zk6eDCvU*d> ͖KJ úsߌbTG)i0$cxJ,΢.~ꙖBE؟{ _~K*_Cfq5J)9=rdza"Q `.5փ='̆"Gh W/P#QD"OKoow\oU50=;&68hS/yYJ?CGؗV,Z3%"P5ľWPHK'W*?Ѻ}Tur^%]٣5yg nq&ClӈFse[@YFjŔ#ݟbh("1_]`vӬbuy@l`N\z_(?(:ww8WWm^*ԱݶW:)̹9ljͳG&GT!blZ͖3F{+cG حc/pB'֯ʋ Dt w$J>4JT/A9N$t& VJeG(&8me?2$EkS0`wN1$ֽH6ӻ @:"}Of'sG)x{1@}O)bv'3@^30ۗ5xZY/ GR 0]x9Edar4[1qiTuGcҠ9T -&N)C چ>N*`ʨj-`bm]u cgKiwMU,_{o0dziKD/Rx&!y6=}. Aҗ3QE`#?6 ,tyS <&pGh+ ҙy'΅xjgLY5($hd K,DJޖ-Z'Qh*XcGP-GCVUlPZRzrX͙g@p9@dE"Չ6=݉22!fJ4`uS-Qb]\g}/ >u@a=c,iDT28[ڬ4"'aTTl=1e9Τe%C1sٵ~">-NcY}:.^AX2t^\2 DQ`6ĜPk0@^ņמ"8%^2J/r΢e"|Q9_'%J2c@?:dʼnI[Wi!տIƫ}?p0;ҳD=L_WfphNwNm`XBG.5ӡ\iT.be~%›d[MZJw=՗;|ܫIo34'-Pl:SE5:1˻{}XJI/^inP jcN"RLzv)ؖ!Ml;\d(ZI.};:9U8M/Fלd㺎Zb0#XDKch}% Ɗ>ݶ(Gj܊$Y>ޓ#|}Mn A˹s) hJ qÆӸ)AL^a۵_o9K#كtBডk0dCe3/FU;UG8n +4z\QْIn@vbe)'rA bLW?YB)/-AQ DrEM!!*X0bB\:2^. סOK߅ׂçRx8 &N8sͅqD%V+_3FrˈFʭAuHK3v.6K ?f( z7ӓXF:]C%Z].$i(ťqM ڱ'ۄʍwGdޯQd$}{|Nnlٮr1/ )%;B4j7?nG] hH3xX* $WOaq7N8>B[6mfeƋӧKqtXFN.~lXm V_ˮK=KV u ]'?]a$|b %MG)#H9Ǐo_l_fܻb2p}`Zx/SF)@F]w? J؜}r,Urrн-n}̣if+[S}o t;VOUAL15>$\#EXKWp5x'op6e2sP|&z3jŭ픭q, \ {,ȁprDv~'}2-6/q#]alw8z.SA^Bl}Dj+l1VX{T@. { ɬ%tTE7 MhY.N}H?hޗz $}-GR^&YfK8`\0jI6]R)OxhNW&6JC4 IhDfDq_vJ]ݽq&w*wy>h#e,RʯrҚ]-4 v$x0ep HuSe[m#ku ^[[{w%2P0]3a$WGe2i tn@ɣ/ɝLNWК2x;  X+'$_Yu^9s>$ĞbL_{ׁ9V{vG_@16RCIq& Qc92;cO6Je.cJݤUDOOf_nqYd-ZL\/ =v<':j0dX^W56"GƢv?rf|oTRUSgvOK+ДYrL0Lv^4htY4 |- lz-~jܶǓ=oC)p4D-34 e,d@ y$ r`mjcZ>]9}OuP%!C<4כր*ij(LG<6Lm%-mGF{ ?Sƌ/ mu[SVS+ Px=Z`_3lkn~t .I24m~[=@(CjY8([B ؍3ȥ,%#QTw :"ʊl!͉G\a5| h-cqw7yTeiA~(#_kj˾s;ٜnu.\PkzUmF<`ԭ e`viUQFIW# :sgzAJ#n r@:vhf/ ռ˵4/2'@t,mj-f+EJ爦m 2NiCgYZ7zXZִF! g5S]ŗXi%'70LҧlWE5e/˪.H!g9>R&#+b%mː³+9qy. ۃQpIA3 5C!j ½tՒoV%#ꐧ+|yƤ AG{LР4 w ܓ ;+8c3|;A,p*-5zeFVÁf#pL21w9:iǥ3ÀrC`?cZ1Ԏea :NͽBXԞǥ 0g_SF':WB=F?$u(Dny,S5{Ӷ<~8{˸+=AT?̫yKMЊZ=?.ƈ}>=7uτRi/@CN90`0lKo:z3e;(Mm9\4S>jW'[Exv%0KU,5ܹ]UGV,N*Jg<(iбϾcq @uXyƮ?"-0N*&Ed~.aPЙu ϑ}e﫜#/B;6lQ*6ΉK*iC搠r}+?Siqo!S9Oa9b=v1 ʢ9%xZwNEWcG>{3:5]M ‚['hשOD7i?m7רZ\2JyER\lTj^saP-X^GLBLD}ƶ= A݀iOYvt`+b~J%fw;z;K۾ ᑙլl[}hClI>PQ'p p(dhx5]wx'~,r& Cհ޶^kc&X͛pJ*[z.m+ڛ8qX1G[ϴzGKҹH_ ZU@ix.ѓ͇q>ZJdze9NKڹMTŬZS6OUrӵj.Ō&ާxuaJ9>>%*!aOAǢ:q&83;sSf1OW99S7n Uc25yb"l'{Xjts6710'7ak %0Y"GK**'_jVe_xKa% %ca>`TJa60iL=BpR9Oy@}$Ik&EtXڭx-g(քS,OE :i+ vK!L|pe R򔢐c4ō>,0,3GK/mPr td nhTwג,MLXN)yN!tWuh>̙* + $f2 (L$w 2`:MhD%&WR?p>=B=&&nq< ]5J6'5wU8zOb)5kb㻆Do 抡1fw9A2+^1MvjFK2YJ7S4} {#=`0o3EBZ!b\ڛ~6 "HP:<ûb&!*d7#U R*> .z~k: vɲc]'DHS֐)HUDŽptʻFe<ōˇŗ7IFGhogj$C4P>PދR`/g:/Өkh+|~6,ٛm!!k۱ ine6Ґ9jqVAT!IV! ~ղ5ܪI3JM\hAfiC^E9pv eT]\z^Ab*1瘂nT6}TX tgO9v9c,EJsZ/`1Q]mk~Cooj1JlԻR5D-ך+RxyG{ S:-بܧ7xw.ZtSجrˇ7xG(k$'pSQI ɹD8pH<+8ZM/#j/Zy#OCB+r$F!#_$]D6l$^4hk.!EɚrԎoGR_bL ,o NA15,]VYhW S χ NC iG,|{n7tzh$(aoqKcnҸW\˲{>eϑ`qJn~ ܞcXHէm.}*4q̓`(Le8&7X _I!, ֍h jgRCc@ F~]2v*7~N KS}|fD+Zg*C_>>#s y}45*&FV|`#ČP  ŻŴ_sO2Ӕ˕T`8S~Û49|7ʥQOe;,vEb߬1iN4#ՉZ^ B=op6-pU䪘^'hZZjQgjK3FUH6T )hj`KL!%à-ǥS Yܦܘ[_HE Ȣ{'৖6WOis\ڱxmw6LTlj2j_O9 فLU3tGag\oe%OϰHӺBdC5UK:.$ [ܲqGٔ? i?'Ge* oE:L&%F9KQ!-4b&I +ד# I8S,5dS1 3gjJ;C y!t ȍ0(()JGG5_x t'~D…%U)'-JP.9a]w(~&E;ɗQO=mPѨgMzܴ?ROJC Tީca -98@9qV>@fceG5Yp,xQ"iVbuSO[e!K26=,+%hƝ.,.q-l:CdTaoIf 9{zFDawEw Jq/,^<ue *Wi3BӻηbģJ҈ i6=9@}jki1Ќr`n}}-L1d x#Jfs y(A+n(NSI`D=!L#R\=eVG W ?#n$0cArR(T^EpۃvpKv dwPo FJjE+c=jy_it,p7cnS=Vfj`Tx4cXSh/9m{Og`@S[[0|QvO]ϛ$8ΒfHÎpq Fs'êrdʀU.Pꧭ';,! Uͅd^4joz2&bYu"Z֔0R:=6mi?t./OGRN9ߊޢaoh̄T%U`UHj5ߝh yڷ*ıa*]pԈmJhIsFr\"[??lB[2Nο&Ƒ }:*r#kcLy1}`wǧ {3,LpdDy&Qw*U+2e5IJiЯxfɞ @+r]jpn[w*ZBE:zɴ{c01}XM] E9yĚ{Qd~ߏTD={dCSFSUl GEuU lQafq)Xj>Ci}/(ecrN\w5@þudvt[IsQ͛^._OPRb:iEZN])7(J},$|S/.zxDlBV|VR ڦcek eGf|Ӧ1@~\ N p)-}{ UCnr[U WBS\cOHv5eQڣ};.;5)[1W pxAqgyPqDP,w}m8wJGA)D>ZߙDҠz;2]Qx-Q}7qn!(+jdLe aMdPW3eߠvLUX3& cJ- ďmMm7C6]8茅O5qq F}V{ӬuR./ D3bW7Ai3rq3&RU9AW!*kDtJoVM Hƀx@Xa(E[1aSaɇ:#k:쇧B}AvnM]Kێ#fOCb*ԏPG߇ȬeءZyE @OnRo64,QK0'z+́]#XGS*~@Iߙ ~9bY'9쪂%3RKY i-遺ADVI$x?Wprlw{/gS`!/g*"(7Gc]ri =0c&kN>UmJ .'yymmyD |1XVҲ) ăԜ¥qGr|%&0 S糧cX՘ç^sS`@eQZNGpjwZ6ﴨQhT.",cKezy>vB3UKT[%SkeN3̐5X"-\+5qy/8ֿg&u}]1{+߫5{+)Cgגh?,ɖ_l`ǬFRwax({0(?;ᇫMh&bHjc>-cusA1BtvM-iGyA=)8)i HJ$)(¸gNmR,<.NhYG#Ѹ}eb%m|4@U ]u Ⱥg[c&ͺzeA 熨{%@9mOa=f5i(zYCO><0XLt&Q0'}O(~TY_aqA=mQS M c牅yܧ; b-WhAF(+e?nKʬF"^gf.&lw䂴\ӟdϡn5~":/ v ihJl](n?[ `[)SxE$t0sAЗlAG6k&Sz4q҅?ac“=]Zek8i^bGY|=Ded_<0hj#" l(Z.p}ۏ~至/'Ndm '*`ߺ%6Mpጩ00!"@q L)J{pͬS7wE2 s& @pVHM t0"Ë%l8\?e'jɽz k1bb|{HUbdFY_{˓kqF_ح }^VbETiiN P)j(9-F /} }9qS.ߘtƅDuiHCe!r%PnW?SbDCAX~*hМyJFs2^4+71~2:Fyr`{ IqS, kRQN[ bA͑bL6lzI!8nAI&D8ta;Й_߄J[V;f#1Qn^dfbWۡ7kVnQzQp۰.`~$ r+E=8ϲfyRE}cu6/'>'&i~c1nZ87,I GE9pCх֋>H,&I9/R՛s9u4vdd8݁|4o^v!*]\\ U }|ٽn*,;n2x-A*|$!R·ԭdf_'u0) νjv&>Eg^ 8UUr٧"K(Yo5{CmސV'1y#z<}]K;@h 0_ߗځ$?fHdOV%(rEց0T^ٔ}U  ͪ">z ;n*SRoqkOOfU-/8u˔͆MP/6km rAs#>-e =%M Hn>8Jsi .NҕR- dOqSMͼJU]">_ޛi3eUfCn-pzqhch_}!S} {*&p}DnګT(7C›[e~^{z|({UƔ'֪Nk(cs&DhN?s P,L5A :t|m5ha)CDjc:e39xuk8 ='+݋F|vs[ľ\J;P w 2F#{ڬ4^0z^ZFi*.yҥrݻq[+Yr)OL}}J{o'&QڻzK8\r܋z{h9f ^=|;3we 曌ɕb u-w^ HM0MZQ<hRZ\:orK_aM(CY<]l tYm$w|=y!@Qri Im-^HY)Z찹դnjo\kݫ3IW#ku+\Q;0ޣTՕzY(ja17جx, Vhm%GSa:{_ }J+_:F1 Ʈ;~]X% CPQ:H q 1z=򹩡 hS.wS#c9s]Jk pS.&4q1>Qi@(hj 1@ XD|H=X4[g}G)OeuBauϥRf,K}g2Qlfc`z.(2]0jPCY'. FNX+;0f_0`A1vC6?~D`ҪyͫDԞsĿq[ΜzYڿkбC]%1| uAFXI uSSY x0x~ŶZ ]yЖ(;9vxjKk[rq~m΍`aci)ޗ V<*~S/u킏(Wh,c(fܲRE SsDc-Z׻N:_}FS_@Ѭ`Ok1! rsc"Yk辻F_7U.qAbikhl3cwA'Ռ!Ƴ;]۸vڬUfie4WcZaKc%#sgiK5p$i\'e+(3%LZHQWjA֪TSA1H㏇"=$Bs-3*W%kN҆^K~B#w86E6Ɇ٥Md'a8d6e]!;n:x4V?HRQ:~shM21Yjd# 1TwݓzGEv{[\EG:.Eu%mf*BMG%>Eɐ <`C,%kh۾6 eW DքR){>L6|GtAXkkeP]AB)|*Z㚁z)%29٠+sH4)48yLzt"n;3jfT\ǡ9Q$ܖ9IOf"+D <#'6_GM 4O=] ͠'`kXq:B4L+im lb X2&z~W&Sݼa`s|XQ7zŹ t+BՈ۔cq2u76i( {UtX"HYrPА2D 7pœPcjdq *^#^-ED44=6NIĠ5CQK^Phf`gklޭز^@x:`)?!a42j@iM͡+V煙24|$ 7~ϡzvċՊ9v;2sװ-ub!D( kY);{0}x}57л2NsKlqUU6h<6{}o>' <]`"b5D?l_kXo45&c#(ɌA]tp-st,$I G!k;Ab1(B;(@"82y>}fMWU#]>˳=d7e-œjN3iWv>p}U-T 9ٷ/vgo?Dte`|)sVS5iSc٠n 3aR]2PVpA;*:qGu}:/@ک1"Sf:lzE"`AIh:gEYi^K Y)z PXZQӝҭ?Bhl[ݎֿB/~_DŽ}]ħaHϺaﬧOJ7V u,fӼoƿm-Dhܦ6? NYi3!-hW4z\:D Bw덀ŘS *@b=˹αli^7!%ߣDLQ!#w6*'KkL(d ;( QUa\d$Im[z!_c=K$H(!^3eꚯM#i`e, @!d.b~e,})VD-H!_CZ݆q^P,wk jüR;s@-Z$&o5$W˴*؞9,`299ǭ_6Ks+}{&4sƵ-+k*B=nT$.~z\ltZ$-o>S EL &e0@?va~gyd#,vl b=ty7 ̤{ngY'.r@ǡo%m/ؔt:rkB-\Iˊ>cd㚯#|oYS8sVcE(㸽@oB:^ KK^peDL:SqH#SJ&JkR3AirHM#TREkrIY Ë8Tw0* ϲ%#mh!\ Zj㩱DxVt*86P)pEѱ/RvپI ;awoάy[XEJa1'E" aE`]޷h(U71Ja+m !%PyZ}X9ZcRKby;+Y˝SħBYŠqc4vc- ,q*(DiR5[Q(as84Ȧ]qp|2G?yx`jGlF}];rftk͸9|O‘`Noqd8$mŽ{I_FױU1@a=t-!RlMd@Atp#9W(:\sxM;s[s޺lʃmDdCBu[ R+<v lD,g-d^X 2AdA6=.1:P_M&~[k#]Y4ͦTPDvSyzShgG``[*7ĊOGĖA$j Y\kbvVn,bqY\KQuJoæ~!)6u5rWǭszTKunUi}s}"5 s! 轇~0{p8ߜ_}vy5.UdxB'4߂3$tI_gݐnouRf0ӁR$¿cHNz"\|Ϳ6b' S] Y7 ҩv.Cv9;loT|,:~Or飺[)ꄋn"pDU]z FKcDJ|ubOgAU2,c2^>׊T^/^r2 \#cof)ɛa~)*CiWv@H~55i=po/m_7::#t"Jo<d"o } TqR{w(HY<{.btJH%/{* e~ڥ']H}o?[''ۮgvю_oErfh"ꗒ)4 a51^c0/?r> eej&/]f|}w=M{fd43wp ce(F4şB 9ۣ_#\An gO{gdqBu ;_<aU%SIg 77-Ÿ @N^|(ɧlp:gt㓏H͊Mw.VBP\ YЩحؘM./U濳?K6+ݪ6E"WS1wPaR]>fm 7r 젬Rǝ0pC+^DܿI K+~G OB! &0QnJOx`j|AX/ =w| ymwъ.li7(_N+p=w WG^`4V_kNF2t/V0) | "v(>O걔bbIv[b)&\ \˚rtIb#;mQ -Otru_R}ru OS+Q5Z<}Li#ђMe[hlՃ!NqK]7Em8ǬFzKxYo2,$NN(,N\Cad\ߝbMQ|*/TTl9(Do[ehI%RDq=k`NСN+A8P"ui0>7_T)roiiDt=~ l*VDf[D *̌꿯T53a3Fuj$fZKPUK@ws9mȾ1aFn_j {jfk"WΤ '0<,LWJE(?~U:3ЀWMvK٢ Ez.mc%#rbN׹&,(5s2 CU& XN:dKFȢy \=ފf^`Gg lJ#7iPh"j:Nën:F5^`Ԯy5>kbL@T\avQ …M˯N> ?m,pMv#},VPWkzё)Y"vtuP޴\f `X-josլޫ۰渚6u5u[)`TR u{>txku73*HI`: }˗:n;XNL%W5SNƠ)J[Rbz"E9n$F 7gXr:oŲN҄t{@ŜžZrkqo'G !q`jt!_U^\ʅ09}h?(Egdvg4]]:Mj0|ѤӡSSuZJ xDRtn;=o _Uz {?e&D\vcIov!zǰO:)!^hB}S=B\bl\I6ַ؝v}!tADY=(ȖzWNRMjdՃLA]3fwį@8 <6s=[y|/g*.(ta;HY̠O$@C""[N9Rtw [;_:%,<};lQ"?Ngd&z ,9#>U>BW+ۧwU G viChCv'B{"爛1,KbtP jex| T˜-)Hj9KJhhi9_g$e_sAWp҇+re5ZFyzkc5w[il+f-K"(qvZ]j=O(1a߅wZ GpZXBZ? }{=8JXhQK Ouoۼ7?XhNm2ֶM@஼X>%h!b$de2pCG%TjW~8z;&7`̨_td<5z2x|y:8.m_=%Q7r3s(UlQ1`.On'xG"?D_ V ?FJGL[?4ei,'9_ ojM dа=l{&Gem`Ĩ;Jj:=K%FӸ*XWvvHo+$CVJR'4PTcK&MRb7 n%m9[a{~-ܩ1q9tyAm`nj"'SU`@͉ ?G3BauCEN=S;mHUNʺMOnGҤ/_VҶ #Mga ސNp#JۋJmxt<C;kYW6W#7S4(YON,UU.zB Z^D8N^V hyA`ZSi8U6.SCYKuFA>%*O򖴙BIUlT.m^ⰴ73lf)R\H ڹ)b&~F -TPxKƨ;2[.'ʋ}亙/{l3)p1qqxRN%"-Ob?,\\7d;hn ZB*F3g)<^ s_Nk#J&n_k3b':{"g|&SǷBG^-%h:M<K63kNU9׵z=Ne˒YWR4UF:اm:"ڷ5kfy+q50fGԦd"*4VS^z63|5 5OΊE~R"/ex+ޏP# Ҩv'2HpQIHAhk65Arh%GG̺Y|xk=-K.78?]ٲdE+LFЋr:ֽn#FKu%a@h>18E(_o0^z E=q Z|.yv_:UG_gʒŽc\?Q-u'7ڐ.ps3˃ORg]tg$䷕iO8%t#>@ 2ZE.жdɖWvE0 ̬H-ѼP ?؅dĵ5\bRDC}2Zmv0{zDlƓqQ$pl%a.0}u7#Kpa%c#w:c]QLt-Pu\yp>5+6C (Ty;6ν}o\jeTM6p^inoaiǯG1yi|9#BS;,ڵ#U7 TN@zSPLF|Sp'":"-`yzmOR_s|n;%ȼCu.A TW7c|ĒuS6EK :BP,=+gXrȅ(i TćWZmQ_"Cߓy"0J :x{eg ڕ/iPyHWH #`Nca]JǛ>VJHgH?եtB52tZ 21߈YyQ8%~ cȑ_A f|N[/ww[ ;SJ|x &č֞]2x7+WDQrijFU6pN&ً+6.)1jbQv}#oJD%z"4.$~ƭ:mfxx2~E9#N;i27?!YtMRZhgtjщfə:"PVm[k%dHEFYEu<##~ j e%~K9$HYnO@l|WF~ǣ 8A8\?549NWZ"Rc&0,I׽HSo*TR^d|u;3e982\@?8]T0K ՀBz2JTz :wG7 к v,(Ivg$7Ku]9LV9WQT4e5)YVV<ܨAܥqU+.|TЪi c@88)4E'8;JLdeazok:İr!!E1 Kguaj.zON1S̽cP0U,H)s^)iq%Ib@LZާr,bhQY9?K{(¥3q>[rTA -9՞ZIi2׾bw,%Z+Ț?9 md+7eDŽE#dֺz)[*%)8yl* AoIi7S{CU kL"&~}2Ŋwұ+)V 4;\` ݺ!tR [pŎY~,GcM+k4Q@ cB+Oh XmUfHx:SseL"eTsWݖnW6T+~3B]ٹYٛ):t +i8A%fȇͫI*'Dok t~]m[mFJ@q/YMgb|aev],SNmDqAU'\W/&?J|tk5[!lLVɡ?Fs{Lbf-p=KȊ.IF[FKN9P B͊`6ƵpL5<VƘ+^&],6 %\! m+,vb%o3Uey?u ؖx)TZUk/:Ԭ)'gx'j"c=2Ӛ$GgPю#8&)rxd%H_2N@뾍S>(wbT=P N!^2qo](2 !"7}vI<Fn##ֳUR~ E82I6<`v JG v4EXgd~m2%a b-}f1zU!Bn!suCS([r)zR Gѐn/˰<*_d6wkuemN[D5b3+T ia^ga##HޏfqcS>3%MYȨIt 9٨"o f[sX ȖHX]z f6X JGDT2f07ɖˮ B Xidxmf>q;]&bTAe#!-}߉xA%'/İz)o@0a ;4+Y,|'`lK((`ٸ?naE&k֓w H ըv$L{J+PRa#\T ȍQ-/k.wh Xgn\RU!,)*I8c.|6;J^Az{-g!<36{B3 !v2A9ؔTz1?GPn|[Qw.ӏƝ(2 7o=f#@FB$D謮 {B\9|_9>:tDˆ=SuM|u=]!93 Uf>•4ҍ6 ȜUI\y{-83TA2*nJN]kx}\&HE#Rӊb#zxxƛt^:`縛JLEmυ_nR;I=rx ۨg(,`CtSA^dGhw􎙧cD4և?J\]4gD{[10"'|3c4'tC0mx\*GK%-HҊGt{] OhGBDX`-y2vN#QE9f}_ԑ mȀ`z* |Ò 'sp7i?k݃@rj8oY#N E=]@ʽ нY/ !{z#=FWYQgP ( a (]jlv[6:7~~Pu{JA]Tf0Űa߀<KUXcv;6gP"z13n3V7U|^T%ktC ͐.x m>1ӗ3@f,dt[ѫq>)}~b;]kǃD/"%Tr kĻQ:#'(a(75&jBekKUha *2s *fX56pmɽM sAo+.i5sۿL%#0oZVXX{>zseP͕^w۝O2=J_i jQO!LVe Xӂ,EGra3`aMU)&VvNs-gMKWAul<ʟUZ]m[nƊ"'p΂?mFu=Pg@= p]~#RLVnKanȒ3Qzk+f.PBvtqv9ъ8# ]Z>)W߁oCunn _PoƮj)0āW ]>f\& ȫO?|3O_Q|s vZC9oqXe'P [Ĕ,-@.Ĺ/˅7=Ĥeucn/ <3J\bk+3ޤXJ>_al3vQ)0RP)hghi?ѥg&Z隋Qigas4rK/c )wY]Z]sgs4<N?~ӜP66ׅOhV0|k]ܗzxN%3.n(V:-&e[Ӥt Y " +Dt#\p+uK@-sP.%p;38s$Ϻ( QK|"[8VCm0ԝ-B Bu1, %32>iϴK6JeS Z)X'o&F:XW1͊?IݓqG@<*\Qc+7fe<ܥbȴ|uDyo("SU#MZOڂ$x?猾bi(` 5*Y?Tk _SGr'8 5jqoґ@?^b^00R3}ʋ,L n;P(X:A\HlHci@9N4YWpYDc-cVH3C13:JA 鮄[/~ W\b\p3dfV۫of5B!y -C0ˀ Pw,s(? hYxU(hI,@#o)ND-5OhDE2]/GvS H,.z]a[fdr:̳psM1Yd>AOE'vDM"˯qJq,dR̥ bp81\v= joinj#=m拦(B;oS-`N?I"za j9#!!"eORKZo@d5IǦx72A\^Qe.6V#aJ+xl[ɇmpYGt;fULŇЊ9J}%I UOfKmekL#ؒY8=bGZOZF 3r#`K?뜶{ѷ|#/%=φ.306fj [IK`ucl t6ʐeP 8ͅO]Nj-v.^rr8Y\;t4Cdɕ愀H(d%sY!%ZQOm3, #flX~^`M퀒 Um=VD/&:«dt;m?S8~4~barGbb/Ls%TX5G@^N v,(0LxX=l,y=@9@3hZdۄPi>7(0NϠ9`@BVV3GΌ&E٦XFjΒf+)BHLM+PIjwu5&9[3Rw&O'3AF$Hْy<[vп4LCic֛o \%c:3t-p; V=h\t%5_qDpDiRlՂ0 ,:W4Fڊ5)+\Tx,|LvAIGEo!:UmS #LE,g$+&X~jsWrdlUyOۗ͵! ^'7WF.CPu9C)I]V*GvBJEѯyVY}}{_V;XGj;AVrgZD>fCJ{<@1Z[Mo"ɣk{3S:6;Nz`T9F{wuC)H^F 5{'2?E|)&qXZÈAI,Z,fHd6A"+?z=aQ5K2'_ALc[Są9=LfF'Ӹ7\*sx)5m .6#"\7G_Yiꕛr Jk"V:?5M 7Z;VD=f6+FJ܄Nd=Jx#* ~(!w~IrCcٿke; w̋ؖAL,!śp*!53AS tUQ)A3;kU3s? :ƘEPvIx,Yl_sz^j?pCrihܘѥ;i dQDz1wBţmu!E'϶rLJ{2XLjR hI/7kɾbW_m p.B&>(7,|g?)E,) #s9 |bYh֛Q3熛?w&s+$RH@= ,؞[[4@?>;z+_'a4;Ye|dBdcs Nab3Zca鴕E;sQ]6܇'J8T"WMvL3Z] ox? Ogկ}bWhw|x*s~Ga)O{K%faWB2&y1#]٪`(r\3@35 F-<+aY`fdL-@Q`xY{*)%qgZg뇜E}h|fi5% A Ө:"܏ET^R&1!U6=jz$](-È3"rW#i!/0\LQNM\gpH"OD?ȥu,x 9׉w'2YOjAڸUUv(83M\ c皿R@Tc5^Sl 3 hq^7 ТcfjDLj# ` FW~o5n DB6DBPNsWvP_yudߣ6XTWL:E ߚil吒T<̘ Ʃf#"]Jj(#f%b5׸\DEO-7bWSLHyd!+$c8[ZgGmwz4?7mՓ+-  ] %ۀZ 6XC<^cxElj`r"'Dvp8)źl<+%KL!ƯK;/Պ:rzDGͰsn^0r4n5s#`7A7T}}.y7o4ƫ;d2$Qe/Sd:)€VCa}ڷe["{y&`VuÕh[P[0Xbh4bAM)8%RPV.ooY!`;Ph %qpϕᷝ{3[`Akך^o&tZ$>Wڤ9`o*m*{oǷ杋a΄;KRPl`gp $qϘ! f:4E/.xO=Ob!5x*07:x;vnݪ![Sbı)ئdv!uB,8[e0 x3[/zn,EgI﵉@ PM]!42^z*nZE\oѓHr5 FT*H+5#~,?T.(; g/1:~ܛX>\xiK/hg]SQf_=x+¤UuSfOx〓 gvkSJً*=0F}*Yr1 #18e;ctXơx ?)&)^UF\/FC\4I0I E* xY#  OdX>4ՂB?Ng:Jn 8w:묳 )&q\*um3]\flY,PCB.Xg%>ƨ_;zUgT32޺OfS~_F#Jͮ$ix=Umupi̿\Nc]i8@?~9'JG (P \s.ȞMʿá~ɮX E=C(fjJ3ԤuzK售Ǚ?KiOUmgb+ǥS#y4"B+|*.F!30K&NO.eEsj'›mϩdu*"^g BYAEh K1OqLyHthc@H[=ۛFTZ~vt 8NwטXvF3hs- ̬ \+hȘV^ъ;D nMV6 G}JsGtoWs- I8 ;i7P3:)ߊ/o!ؒĄ̂#T.#8~=0nӦ:U)[ x ](bYPhb =nQ#Ao1wŚ mj7+D43a 1ׇsC/N疉9fTĪoJӨ|v"#{O`bL܌9ث<`vK~(r29RV,g_FĢqq6EI\-+tw5r%{7>oAlƥD!S8oGF*Iiۮ~-:C,Bf-x](=7gJ`7VZwjz`Bdjyq=vhYnB[)F掓130IʒRY[ have/( bR,EYFEG Ei,E-!( Uz_C> ed|\˅.0h'1*XOxgH^9˂81U3QC9ZK\6O~)&-᧠=X줤-0=h;@Il:eG&+B):~xأi%H}Zya|OeL"6:@@p5n^>k|bPkww?-12;e,5:4n:p;{ЩeГQb4lIKbǓ⁔sB`p]( Kc@fwGX}z˘8lrJ ش r5hry $oXX[5r;N zVr(6<zR 2;FT-oձ`$)@Hb(lS‱4i3-_^˗+GFg\\s$LSsu:z?QJ# {L ׏-=tRpDNxR-G;C* 'I*!paM#ͩ~L'dDj7o,˄gZ @_Y]'"F ȋE ^:R˅U^y=)N*0#<krً:_4;++PRfpw$) bVi;~ћ{PM*ƛ~2[L3t6ԍx\.-#4;A:FYp9hMOt4`/_shU!YYE0W;VQh.1N8 QH$mט̎ӧրO̼@=G942{zނ