SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 !L$ ]]]HOL-Proofs:threads=6elapsed=633.785cpu=1515.856gc=249.892factor=2.397zXZִF! z]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^ `PEۙ w-i+¶pbY/[:Tq0(]yWC nnLp%$G04NJ Ñ~֍xׇVuޱ4W;/e2w/ ln|@E%,53#`ӁX͆Ǹ-H.xH/¤sZ4;9&(hl?rs ~mwamvqm3<)7l"wTEYGA)oųp<P՟5&avI+W> LlOt{|!wTE m7/!eܡGVh {*۠t0Q$])ل뉞rn=Ȓa6DX(lԜXaI:#>lu*Jk W6y9־JcwlHL5b˲_# $>^Lw0M:cqAkQQB\1nP *1G,{HH\85MLg&U@UZ[# `Q(2}4jJaϺ@wktYj-u,,a.FȩD]2D亩09y[B7ٜ6hNciz (졲|\rxܺ\{;4$B3C8D?},2̎cklե[#PL:QcR|L'#@ɨDK5x77 ـB~1u =Ӏ_k=lavHnd*ya{I U޾^*ʫ jqbY wGxhƌG2(SvvI~77ZIwF yy(*H1X~ׄ>մccPdgJPN94 5: en &]Iܗ]CEOtQY`X3[ ?S^ǯJr vƑf͝R&Y" 0"UnS aTyϣUn `nay氥2! m0Ře,>lZd5&$\ CAV[Ε\Fl` ζ l漣Ya˿XWߓD  X Mmx\,Jx%U1lԎ#wU6(p,q0} @\_k΍o_ibk|Ll_րS9FY p.j}}fo<5#y-\~&`> ^l(?ɜ6z cp@+|\ЄQn@rD<0) h{˧/~=j6-:@%}i:#Cߝ'A h/Qd'En(aԟa jKnZ3T6 ۡlK:1( (I n+g%9 1#@1c[eMm}\BT`q[n^H:0"WVid$GTR}N)`ҥqA;ie:p1tgITȊ= Ոr,F繻G~xb"ƩLPȀk$녅~ xjV%E&ᾄl`ÛS:GBrww`>z}_>x5댖^F9X$LKw#  r@?nSM*>eÖz* `wwOsy'O#^  ! HOL-Proofs  ez(Mqqw 1kAy8197#,S2{V.h$jD1l?!'9uOT;W Y ˜4 Љt;>G?}x;z3{yL7>qˣ}KVab.@X@*+ a֚P4ֳp*B-bp%DcܝS=g1o*ڬ* ,bC/~ % H'PsY59;-Ah`F 7!tC4@^2}Eqb)|Fed^ajo{JN;m'd  ڗ:hz5_&w 3<.U!sq <;ڝ/8gA ;{B81WPWN׋z/t"@jW!4BTIٮgl^Ɍ)56x2JT29RLa-K=dc^|l{u1YҨ@g]ʤ+@HfUدͣrR .)vZ-2 ^!y|bDI=(~M ߍ[RC4JUIoV/F5Z+x {춅5DfopZrUM>{H;|R8DI%qwAN(~_B J+B?~0;prd4r2TJ620-O'Нpɾ !*(|^zo'ezs[K#p.W?lc 2I!!\ Xk!Z8kkXL{* k̃=¯&K2=?P(1ġ m^&ia}ʦcR/ Y̻&pU{T]:a.g\D}=ۨbmT 5,p%qd*`Qo,oTf Xl۬EVmiX NY<0&97Y_fde_GzsQb}'}9LI#{2f%C%T}(_>}ֽ>Qڝ0 ׷Lt*c͐l@ӭcX:}y%ݻ&  tԖRg . `;CLѧd^݌\U-0=wGoKDj@QhKe+;j'Mf%BH7 R32&s7A8x E AfY?崚=x/3PDY 36xqU-L h}{ئ hPLmԭj5ӭ3A+`دTQ1tq-rފpYf#geV/T Τ -ôّq㡀@hhviNZY!6!b1Q~;xzW(8xE;%J/H|npq#H b/xʕyYtX Js^͂c; [bScՒGDLY]A[+ƣZ!(Dz&EQ)ҬUdtaI*cM0~r I%+2OdEzq|gآ("xZ*|0STk#V_lVHHn88ZLy^|ҹ.O@^-*<(OwC% ksj ?qeҔq`]u͒kޜ6YɌe7H+HUu{pL^|zD"I[d flS}'|l^Pu\tAr\S(?d0߹'S(9 t#v `}y+F/Fl׾(qڸw%%aA?m/%'o&6i8t 'N3G*{n&>g5~8iv q^? ڳ /~@P2F;KK!.3l/XSK3mP:րÈ]2CBE6 q#+E*69ttޒn߉m XA{[ ٓ9}<pB(sjϳ1r]wJVB ǟhĦΝ ZGN^LW1inrFgq؈dZEc=o2"?q~L;U5)R8 m+"9 XKTMAl4i.Y^'5ɹ"<{ W e8J>fb  0ΝԄUCRty=(ՄCNwދՠ 4BEF ⶶ *VLckUFYG CG j` \I乀ѽ;-tB[Y"{E?"R!\“6G%Sb;?HO{k;ʤP5w@8QN], >PM2$`CSm4dƆ)nFJxEa x̉Tf>c=1l*=&Z&\{ƾ%h>Jߠ7jK[X6jDE*OL1L< *@L6^N4'ю }==k5og%a<UEA0a9M` n[RBe㽅i#8r#wzm-vp5M{ZM ~%;kgO Y1C* t?MGi0lㅦj 5FgYZ7zXZִF! g]ŗXiɟ29aoʼz[%U>EM!!B}BtҏV6AE{ީH `Lѵq)Z`uMުCpRclo>IK7mco58+GpWK7,zMzցfb}WBڡd>滠8L=O}*I#u9X O\/3p=FdI0 ZxA)PUSf?щ3u ^U2tgP "n/{k aSYZG6s:89ڛ1lq\s˝PjW׹*2FɅ@6/WN}ǁ#Z 4NgIŊCy憄b+CREɒ n#凤CzVND4tW").5:#4E1v6Ko FW%t-]Һ0@8c8` @rhƀ\y~z J?חЍVۤN5<9m iP E1_r{bo;|,2J|-{R @Hw9iP)GsY><3qsXTUL>|)jH$-_!y^hD@5J\ :*ҶI`I e<ȥ}!nyWXv+䭈u|㡸p\XiyVI< ( Q/"M@1rK srÎmf]LRݺI Eτ:} gfwX.0^8& bXr0Dkֆ&Ոgd1]QvU5-ˏ xnUcIr v=y^/Cb.hM3>)u;'$ A}o.8K7{>=M%]}Vn{~rV"G| +vd^aݰH* |=1ҀY ܊ UYeBc {?x(ayvUs?Ծ kDЯ0 Qk;2H=%pĠ%.yO)u'@e@2ݦ fbq6VLil׆Wڃ6XQ[yϋHxXIA2"Z#7 f},8IY1h{(Nt XAbq&-ExXZ!v6jW,Gz o&'H {̕FwĨRs2h;QRX[7-j|vŨq7 x;3/i`"q8'eĂ;YX:E?ߪ/5+N ,04\20,غ$3iFȢ)\h "ŔC] ~zV6?a&Z(/>gĽŝ #*u3bP2:̀ 1P*D|J"93f^]1>5w뒉Dý᫦b m7R@AFH 2:r軱gYZ7zXZִF! Xv ]ŗXi%>zvr9}s=yK!C~ܛIZϯ _PzQbP].W:ԑZZ!1Ӂ}袿e&uɚ/\*jwk>>>yct n\,pE>Vy$;ӕa_ s}ŪGs ׺*b;BG6-*JFv R4@HԕmVHwF7T$NK=0i8 S!xxk{q666Bh97 g Th6搎0W}1E#@~EU+d.`,/k^% f/%ՃmS'NE/qy]q⦫KYh|Z|F"9*FOBm"k8Hʛs]wU s\<)qDK"yOZ[GEuT&A] .n6H&ryxtrs,LV5Q g?shP=q@ VXkC3~ j XCZ ը(2`Y;y\k*"dRbZ!f>$ȭrֳ̢5hCKO*~i?Ȫ/ 7z&K|zǥc7>EǸ2 Y(9t I U1E]<"|*i(O݆:7v4+h*L߃59Bq!pf:} p5&9DIJd!>=2*!sUjûLLz3]`xXISJY}v qhSVdpbxr&DS $5MX 73ꃊ.JdR1+9~1EA UNզʑzSԉp:M #"|i;auZwh(E뗉 qs@lRc?Iэe;`/I6jv-quv?>pVتs#bG[{gZ^g{yLi+j˲-?ᇉ@kuT=3gKLzK "jQ)W*+cmh_#<*jmb>7DC)1XJ7XoR-pY5ki!{bW2*聀1 v& "Af)-v @T`6Q1)5?DeDK0kx:߱+zh|NԠ}z|EpAٷQ?6.ʱeCV*Ϸ2VI)e*Ǒͧnx̖Upm!^4Nƣ{o Ԟ"k سxZ7(2H'UWHMdHK%8sby6d'(qom~W#C9y tS`+s( '(㵈4^^!Pl ÏdyoZ˘]іʝi.vMIC TS }@ZyqDϗIwI81\. ((M/mEq >w %V$qgPF.z9.8:(KS}v=5n5`_]%h)j?Xxe :.-|"WTOO_4sSoÿ &/7Z$ hZ ysX(c RO3zBK`F-;m<O4ψ+yӯ rЮQfڭmvtB!S?QF噽 #Hh)Dõ5]&9]R 3e0ٮj)M6-JleP!U'R:ģ{MZMjqx|AS&E8jCc!:;s'hyVl \Գ/P,C} GxqVs\T dyLZP0GU)*yTãuvsyyr·)nQxhD-K D8Z}]bal>C|R𕷩"]&I]-D~;`//w-#CeQW>YWVϹw_|X1b׮䬶W9 :Ys vpi_f,oUJ? WX  `ت}b8#S`PVSĦ)4nD y !X;bڶVV%|I ӛv({L_F2#b U79ym#o:ލ16& v,<Ц>α7('*_k;-3zpVW?+mL͔䤼}LdKwTL5x]$JsI %l#@P@^Dv-6^= 6=ǜQz2'r{Ɖhcm|M/0>Yu\X| M:&Ch$LUr؀ /YƂwv)РlHf;ǞSh"G&hIĸf.s\܂}"cp'2ōHzHti:}}ы{0GI?v)cOeAp}N5sa VlEc[*(7ĐБtD6dfۻwȅpVAu1|?ë50+өX=r\%EV]V>Od?:Q%*"ZMX01n"׼#h69*y$_-)X=_cjT]vbއ@/g(U]e*n$ NPL]*rq9 +|b/R³ DiC[IЄwBqq ]P=_۟VA %SI<_HM B!G[8Z2">]{S퐄 e0&J_ 6\YJ(.RafRlFNO}-hd/F>Rx) !J*Gca=Q ሚL+.Q`1qr:ΙьOۊ颪?gn˓S@jsyylOMUS .d۶IoX]8;7c)'jW*_}A9Zj._v5&ENSנ,vEG@Vy XCH&Q(]ɦKj4cMD,j%ؤ]yy MV NȲA}qc)(ֵ̼B6 *V3@M!TBeQM8 / oq2P_Iз))"!㻓\H3Dkߧ^ئy ƌ^u?fGStTwloZ}!dn&%dҤL]H1jEi5Q{0F\8}Q`Gv/樦{ҪfmZޅ9v*N:^_ @bk|Bx+kD-{N9gY ~o2Kِ]9fVXޯ4.95\x{ӵ;^ĉ m+3&qNC!h?Ͽr2kc7e~,nMzB?Cڡcm'@\/ZN^6sWT{O{QHۜ+ wlH(]M2b/%RRC'JOX|ut'7W'a^oVč5h,mo߈˭s*UO f4U c6TW c5]H[m6AOڄ䗢Y[:xG) Oqa>ʪk}(ZTe̍(\ixXϣr ȒE(ЄmšF$D06D2sz 3c?<6]QPYX;}ާ+ڱFƣ ܚ{fKF"]6卭z7*ur?"DY't<߽4`>3rYhO=YF/S4q+2R5g#{!u #DM&p+eQ3AԻ4ҥ7 ["~4̓&.1L<.ft$+.~R/fˏU/!_la*脷c7}‰ ٩[|5\&ɵ% YX" rU>]k 'J)7hO,L]Yx2Uk]ޫӡxBbr,.n/{ Q: j[2ZPV穴m||ov&+ʎkPXletCY:m~@'CWJ?]?^c]_G`E.pKoFIaby*pp0wFGQJ)b= AۏɖqG}苿m5kiF9QEi8Tf(E-#D+! eC4Ƚ_қ(+7YwҋO /_z, FEuqbpS) ~K[( S\rpuٮ0h% n *t,CFqܹ5I$ss ^Du%°G ?ͫVUȟ0dzʜ}l:ך,'}}"C1RZ}gWIW^AU>Pv=JXyF@8)|XCi2Q˞~$jU{z}vq&+VΛa<x-=Y) &3ZL[n y's5d` ^ʲ ڗ֕%߷8& (qB}5 ෼ҍ:Azi҅JOָ1QUU)!z}=Fʒ?!yhVPkpy\ߛPő1I2'A|Hɔ4da86n]ōvhAOl̿?Ȧ%3zCIKCˮYUlqWxRYN;Ƣ] Qw[TB͂YZt{fI:Ctst5q?h0JܓgL/D<*qXWxϊLHe@!I&jZ5D=rTs%3UZeFn5//lmo=$DŽR?̷ָjI֦@Gǹ{ޡ *TlMbzn A_g{r@[c3ˆȯpF6XJf9xYs 8hf\JdNOK:3&Iyo| lxηJc=`U4J}3ȂhnE Fpx6 OakJ&>DƑ y<5*P0ѾA 6ѵO)?ZFR-oQ.(*-h:pS7'LCܥ RJ9~hm~,]TVT2GG_4br`E1˯'B^uy`A } g5~F J>Kpwŕ,_ܦCjTCSscϜ᪌O0e2>A)@f)R>G)9rCjnG70pskG%I̯y!)qr5-c2ɷNɜGS?Ug+WTJC&,R}NrGe&pdrHc@S} (n4-bϻ~̆THh R\*Al~/pl`K\Q̡GkX0T;!N)uOg9̢~+6T V]dvouި4c4앿Vxqك'$IZ\9\:5w|x+}sC밟mvl08Ԏo5\6%GD)&"0; vrhƄ{\Z 4yVth :J>QΎp`m1Ṙr&LÕd'9 d\k[,Ҏu'}8iY M|e,Ltp_A )"GWL _5Ń:# |Poy: @;UR-ʢEIOzĘڭqu-ﮦw,l>= "?!^z|gҐƼ1]xvڄ=-̻ 6*KOZzUh8mo0@vOwQNY wju3]Wى,ocsP>] !a1]R-HQOC+&a sL\>_@Fb Tw_p#d}h6 %S~޾lh|պQ2u$qpd JL; D1ȼ[bغǑ6 #I2i}3SYG^%d#oʼn2@;#% \@[CɶH6lբc!}5}Yn&nx4f!gUt1︞B!3(3{+æ4E Q_&ۗY%IMKª]e@}!d#4IܶkZL8L󒩤GXαTF$9bn|Io' N9ϭ D S4o$@P4+'M3Fxv?NF(o@!qA Rq t}-4O ; AJN!bP2{֝Xg0ވS'$u+uDe _O|t7)hZqRQ5[?CX )\kJRJHnt c|L))!/1tӛQ ^N-oZ-=&z)w7+4(WU'b2 *~1GDI2^yȊ z9ELEñM#j~wG!]s 4naFZrt_X:'Z:J]MFZׇq/lX,h^~!0#d!_6Ә,f{ᡟ9uR[7pR :(l̡ZvUhF:6ʗƯ ;1Bf}`~kg af:J7ُlQ+_Wܻ[ S@))b!;ʠ(E@embF.d~:R'~^ 1/l(ėZYQ-W@[*e6E}7ڒX=#XG2UM괍VR)`jRnj\J֤ ^gprhd:WX)eu N?ae!j)-roc2U=#9?blmo'ʶl5|xxT 7]>6LطVyyJ"[zޘPT1>Ykpq2G ls J!l)DWB$(,†g >lbDKNߦk-0t|ʛFAwp/t j8MY*'0.R͌{tXw1v3!|rcKWs_a]`N{.uB]7k?pvg\x: Z*deA+M( 2d|KT<_dT/N,҉*i|mYdʦK q]5_ {D cQ)!b KAU,auτ \iۖ$ < lGyB 478REF:dPIWƼ<J#Y!)5XPd16Ms8; nf썫fU/^>,y$#m1HCUG'J3ڵ:rEOVWeJ!YHn1rETT8JH@eQO5}nr8#a^G{ҵY@Li?Q$Euv+B=*(cg5qX ~{vA:͑ ETrF*'@ͱ'xπ.Hzd9k܍/Q{f,%uXn?2܆Uq4#Yt5RYЌ%Z"Y_}@<|@P\8XVFzy-d犻^i|T|~S!{"q*JYs|ks. Z_s[27>?2!BL%Ҏ >ÏPzorHB3"!aVw iVЭ}}ܡ )3Ĝ>Sپt e@7P~ 8dDB Twy-u,t'KLfLKПxA#oPco94:l8SRē@{ <[mѿ UE'O11oa-U1 z4]&o.,M"5ntDw.Xo!9 &dL8,`𫥪KϠUFcn*Gn_z,ڋ n`>rgsZ0F{^)c^y* mՖeاJ.:(h\~f`(S,SQ[2:ENaFע-h,dn=/`%xx&zm1C4mmD]sLHf=Z/E.bu8#r' 1xo;UX ߲|yALwq۟aeW`'ݗ}q)LlU_,L];ڗ}F 0c Ym rї(DpU2N+0!-;O!{|m~㒫se/ZoG/Y`I}47"8ו yҌϑ &<="tŨCgtn$D>.nZnдiSf>G,WB4/ko-Vj2!eEי܃ =TŻOȇ-̘00/)yV*㾲\;tgAR 2*|a3@]~5hwT HӆL)Ӈi Z.t#_CLt h!aDH&uݡs([i*52#:)/](hRTOe8S]Rr6U55Dqs ɤekWRV=L]fҋ"ZyE)L:XK5*|nV-Ud `z5P;K~b8wyvƦ^^ik4\W' ?cNL܍{P68,XF Q˙cMϥצdG{/%lo.P2ĠOGXe(&>$}ޘ)zq3z =.H"cJn٣w8M+\_PPD_p{Ueg!`4E ~N9’-j@#% DD,H*щصQr$`%zH湳v.?RlYI6.K|h1Ü+T˭6'K>hZ)8pxOH R2q >m"Ɖpu:mĹ7nA% Yyl 95g8##{aVs"fnUACDx Wr7\~l ^*3"rv & <̶ȅq:[ʅfwɲ4҈ǷxƖ;X>𱱼\YZJ)j\RlވNX!c)!hF|kY1DIϊSyx% 4Gč~\6>ّݗn NOH h[곸H0jnv}(<9^vyx `iuf#6s)1SWVmYae3eg١CGQ}h2Lv 6]SfZ6tZȨhQC.MOsu" Mկ$#؜EH[Eyr颂`% H9DmXnA#< |"Y=wYq˻ZookDWeF- )e:PseSBB+UE^.۷tEo!- 5R Xnj 咴# +U昡庵r˶Xy v' l*M2(%:OG>bOpD:YyabpkÃ@a]#h D~K#O l\6y]=u|[fh}I-ru9M!٣^( S%sEbf@0]ֈY1gDm#o͑ kL~Kn7?uc&.ei?oT8T9F׃p P3!ͧz•,IPլBM&zTAg .l^K+8,)TɦGF[HA`xűTjw z}/Y2d󩣞+IXE8w} nb4L~0m}ڣڂKN\l9=6⸲D 7`16{2n݃`it3iUf7' h۩"koᦻ𕝤,ǩ)֭#:RVZ]%h$tbBg>a\ |,q%G?7LeTAo.zG󞴓s; 58?c^襟hjb@\ߓl9jt\DK?'Y];od~Q2֩AWA~Z @kbJ]8O+2{ )"E8sMCs~țRT\j:8h,\g~m2d0`g{EkFZٹn49d)jU7K R['l>g]~3B왓K MeݏTRWza1>wʯeLqj2Q\8WJevf 9[' RS/83oJn!UWHRoow)sL Urڥlȿ*,{{{<ƺ3WR۩~,f [vRm`$ wB^\2/5s*)[_Yc$)!KT|ws\& {*et75w=>fG]a_@xZ P~ʜ^B xZ֑ɛ)0:e5j75% !.n H<GҩZŰ(6D)mY6:7`#L+)2~r̩NL˞>{%a(c8U:ۺ$Y#2yь}}GPV}ُ#`Bcw:Φ]{Ϊ6[DSBZ T0v໐xӰ3yfeM*iV5 ؒ!*ܺEh}Ie[Gt+*ǂiJI\oo_.H6֋ 3=tK+M0%.A @M_$C-֏SE 8 \i{DMp5ΐ͓Rnʾ奉9r;{K!dE*ĶhbU+:6Lh A<3\| ^+eWhg{wPUMN〨 X [N29 ,I ۥUѳ%R+s_SQ;jG*7äVdM.&B!6ji@"!a]`sRp[ 'x³3*~*Bґ3N?נN`+k版:aQo.Z*cGo2\2(.);J\u磖 }Հ\^OUpV 6?#Cd]fI05I-4q[j}('o9j })t .q?M1;7(,S /*̱ǣzRoS-q,şc}iwΤ*˒\fKOֽ+/L" xzU1pLo"xn/(UzAv[8EgxQb_+\guC&1]C󏿇xX>}~Yhl#ߍ-WrJc#z[^n>ڔTI**ҼV tl<:} tG>EJu?%4t]g1V~p@DpLT,6%ʵCrJ rɿms Vޚ7o$L;iA̬يBfnmgQ71S"V" Jxȟih1yqN-ˡ򍦠s+]od : o|DruG2!;Eol0w$QioG/u X])(_l$DqaI2&caii>d2my]F>FwH8A9F.z"`N.kĠ2J6ub׸ScC EBK:oBBpQ\j*mjyQWŸ1&0H,}@p@QL50>?6| 8~q;6q${>0I`oό nB9z9_>ӮbuaB(g?L>oǣ']8Ɵe=1G?')A+F܏􌃪Ƈ/g 8y?쥎g2RTei~YDX1r Ne5dgx/0-"R%=9ʏ@͒ [M,yuul IB.MŀAA }OENrKT9V`Į}ħO]iuo\qE!euDfqu gJsH . ӐKRy/؄ԤuyER-S;;v *b R :"=ԫ0d-*;bWp%Zv}Tv7ـHA}&]bU@Vx/DVR /Jjg4:3[q'G0jN_.3Z} пJ}69"aʠrW^vizh~c5VTJٻ)O(R%S[.9c d[|M<ȁ};O3!7a șˈ&K'G~3&c:t m_6ʔKfuMUL%VH!6Ba#ͧHĂ]y 2G"g8flшoڶIjd{^`C .9 M9t d_P>V[T4 {IFZ~!v,W,w;龽1 o=mX% )p,!( ek\ASxΥhgL[bR bQ_$~"j0׆2 XErC;eb|x)u| 7>V6dڌ_KfG٧Q:~Tmwb8(0JYf=(HUF_̖/QnKVF;H{-'Cr=JnG!Ǥǰ5pxZ2&u=֬~Q1zJg4AS6Q˄I9YKZi!+\R׹?.ZJCC:+؜1A ى s |f+ H3A>c~=Tut@ hPQkF՚咛vtB^C\,"At6-i+Š|jWL_GsZdIL4g4)̲6ѡb^6wNeRN[cPT:]]WKkd]6f3L}^4 c&Kx zZb8fAJA k- z# 8&{pp~+-ҳ2#4l-M3pcZ/ml.j0+/lN>JÖǗ< {y)si׆d@斜+˚~{ 'po6>ˍR<"LjwS#])z8~ UcrgP?h%vST}$>ʇDy, ʜT(wbx3,hރUM@"v[[cZz'kvII?+Di?t;g[!7zK/ m! QFSi.7"W-g2u^f}r.jFq^~|m~Q JOȎnkGYn_&Pc2h=2֦e̘A:4Y=؃;: u'W 5* "QjwOmYBJPF_O؜E\C>TFҬA6 _X2‡CjڠuJńs͌;l tb5Vr~Gdk2RgזrgL Bc,;{脼ɾ.-VGId6? r?<=ZIX96߉IH }(+b$)mrԀ3u3[,H6II/Gy@y )?ѰbvwK9&̤b$ چ`4:I:HLMŸ$Vz}.yUN(DMY. }/ejJ}R '_6FRbS1=)p}SIkBwלt6 ¾#~SCYr ]j}6TS6TB#׊3-o:V˚Fn; %ULѓ@}MC1TVrb3Dz> zs Jn4Ga3Uۋ9p4ҩ:EAZp۵樱aBl%* wYU5I\.SD ۇ!L?W!A \,q:S_gxtcwbZNeR\梨=^c.B/S Q5X|O#MGLVT8`k+x$W֤SiUW|FyiwO1Fז~9FSVH&>#k9V"24ֵq\DV++UA AΐLO~A؜5(r$fE,* F &OGG8mf<|0:8Dqk^Pk"դ @4"S53vKS!UQ5Wzlݮ)9d'O+ ?SչeȲoZ'I)MZu 1d0fWL"e6:0Su=Ga$4U1 G$u`.՟596rI-u -2c- @~ZM\x}2c yi #&5A6䄏#UM@ D&l 9 "W㌶t& s@IA ^_V>[F%-2_-#9tgDrMAВ(\^  woW S+ ;Zg qzT8GC7>0 ?{tTkHísʞ})j~Qn&" B?Ջ?i%j/uy( ic}3}n^ ,6uG/ *5oωsU7 yF5gw,Zp=ш˟W ~4kP +=[&L6!Q'<0 RGvzX)ZyTݱpCaDGVl$u&%";ڱ<9vӖ_8ɎPG\yJD{˟P3;xC$Vy;{OA:r@:LJZadJ1E9`X9>exzlSUd0, \JQpLt|v5{aG<؀-s{uQtE0c f^Zqyȭcqf? I6I]LwSC6GʠH=M WJ,#FGo,'$5*ƃeDN2{?Z:MbqU.N?80;)I(|9Q^s<.FkغM`z02Ydf. ܚzte;ޔo -iz 9AZ9Nr77{GT~qN"[Ay<˦~4-e_rS MVnqm.:讕 Y@PP.BnmoNzMH5FAJD:t+! "ҍmѶlAۿWV$C|+֨3"!̳!@uwgpz?`"ܺuP쩌nP DFu(X@T <$ }t@E+;ihxf/a7)^mLb|8Q!}23 DDs[c׼kÍ(;(Gi ɴU*5b$ q^ gX(#h&⣶ݟ\#V!^_Q?H9v :) >M//g T%D^}hW5_2NuhEB4Tl~|SU%è$~1 dg+pϼS<~% s[:g(G[x}؀/ǵX]L  ef6h_UW=yK>jkc0c&5ݕlPGnfLٶ;ȭ]+W7@hac t*, L@sk{ ҏҭ&cp~]Z/ٺ,y-uPY`DG#| ~;52Pܓ ,aµp|$Z9/.jIg/K'\ q@ʘWNrĪ)xbt/Dc,K!5Iu=G1tP:Tv.rD0m\u|q2yRהAf< fE2fw{*Ǝȡ7!Qq(?1n[31QR3J:^Nv`5L!!{ţۙ]@D;34_+:lqHӱ"9Ft2߉84}%Q hy<3@q&x0qCȈƫ~Hֈ #>OAa?x8nɓ&V/L͌| ޠy|]|2p$P>uה@r+{X8vwu>K;yH'~ibWRr͐0#q1C>CiS`LjAYA* E1N^w%@ Z*q(*Y6dLIo5׺ B;&i*%ۋCOCѩڣ/MRy|;z(ƭ`/﫡1fO.i-@#9:FJ| Wȕ3ve0@Kh\* :E*hGW3أ^[ޞStUy@bJcgHGcŔ!*D;XЗ7IM+ qqp32WdDT1%hU!7 C6'Zj;IZQH;)Sx4^Sq,OB!gkҗY2jwŀuT-owh(MKS.fUTيO|'~jlvqnecQZP!>QL}{.WV_anVX~{ރO2sA' M Twc 7HD̷@V9.w U>FWRʌu&՝ .p,&#,=ʔ7F]>zԕšc#H+ 8R.>j6#%:4tFW7WmX kC.[VwZvcpcKn8]I|Xn2Q<>Kڌ3`/P)7 n x["(59$T[SzٞUw&c ԃ#^ļqSa{u gJ{BUD2J>6@j+)I%A멳HxdX0ǧz}3v&ĥC=e5dMnT4>cT4o0WB ԇUj!op,.ݏgmM6u^hpܜ_ gK"TE|1őLsx=V#!nf^PϸLՌr7Q?.'0"Cܦka槛yaO5ѧqI~84PT]^sBp =n!܍^2;{cWrjD?P{30L nO$bQݪX8hϊdvF*gYZc4f9bbcfe55f253e747d30790177f643061eb7ade0c3be278ab23203661c3c6841cfab21927cd66910093e04a81aafcc866753176192bd1ad392f6d5