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 <<!T4 ]]]HOL-Proofs:threads=6elapsed=657.525cpu=1559.516gc=263.576factor=2.377zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\3dT33 ~nc.M%Y2ѽF5uGi)xakRF(_S:7B1XqLvȶ&-U-8@̕ ɉ()z(=j#i kRME&eȆp"8 :6H|%e'`>EAemXDSRg/ec 0 zzj-nQuL'whVȘȝ58k/;?ƑR3 #ր0< &#kj_ S&[o!zh\{.Te# [9R `2WMelHqI="@M) u]̾I(7.<9MjX+`@BZłpGl/gmňo`Ήx5dN|jÏLq-ŲhӼş]-+Av?+F̜PZfP$!C޹2о6$؁v Huϊ)<״FNٵFNӥM2e[O{ *Ӕ 'B{8i>C$*L10쮛tD.lBL@t Lطayٷ]]0*lU$ %DV=?M@GwBߪRɷ묊$ ޣ+Ln@+H.6"'(MHK# @ j+=1.c Y8ɁiA0-%LvV 9f,Qb:SU8ĭS^IFQm6w6\t/[_f-@/Xqh(T99CҊW_O2X_@NEg`!J>>O nH4|Xس*i "8v Jdޤ0 צVI]ݮmI &9WtvV&cԧG$FgpO8 ]Gz`xjmuv;Dm2CBǻťZ|05<[[)7)uR?;UwwNO+$U{+Q%- E;QقDЫ~Wm:*!_`6m4M%ԉ34,Bc 1_X^6P :C(5ز95?}Pqt1U{/̝ ~gk&ۢ С[i 0׬&TOq5'hDg?чœ Yˇ#d-<<|io5oHVCKC'k‫HBA&xtmW] ._q0 v|x\~6Z4y~B酄RO\,A:[{Ik̕KJj"u%C}hO44v qM)9w2sC_09X;3JN$my?e FiG#y`c%9!&wۿꄈK'$Fv ^nȤyG0Al J3/6v-ty&WJ'Zʹj LKÂ8(JQa\>"Cba:ξ_K0:h|Su ;Ǟ|JdmsS4μ.~yh3뉺E B 3H s[( L `6 J )7t&OAcK SuV3JsQ",eBGG'q'V@KbEp[}A3~͐m7nǦGg $ 7˞ XUqZKhaǨ~"W8KƞO ݓWnZz `>_YMz|x˅Eán8? ձ&-A|nY_6EHEb-MY`S#Eގ?-J9qu9-H;4I KBT̴ȿO@rRTJT<Lqz݄2igrz}&^;ޭ}(n$uې}³n%B NʇIʚ5z# %kOx1oQZ}f~JD,N Bx5mTt*mPM<_%F -6jjJEB@&so[38z#I w?{A|K'R͏GrOfK>XQXyR_Є2ʲ``Ƽo;ZٓmɣLT1-dnVq,:)vFp AIo"gӛe?M  ! HOL-Proofs  ¢S6>YЈq#>z] = ټCXkE˛rwgIKw0~\GdW92#͞ ],-5+c . S|d3iQShaN{D1[\:b]kCC hU{{,Xx)I%aAFxDn7VnJ [~?'q(Ro# UU:1 kR^ Lt5|Fjy.A_+q[o cz &ߧ5B`/SA.l19/w/LPmfL_^1''f%iR4.|A0z^f. CϢıj;ALF,DzՍ& 0z|rݏ,}c3{`;w1NEz3Ë.A)a %l ϢLwCR`){kBeWFOb _p*$u$daٗNqK``uZYIemŎ*ZlOMYCC(wq|F~bftll ariyrRۣ˗]j5곰w*D>Pgן~~w|Wxʈ&_;D@*BpNQ`gP(Ȅ <,4{[7oFf TƳ m}7&wW/\\m wjXQj,w\nPs9L;7rFuzĩRҡ0#?69-L%ٳG-…6Wٜ;_[(sB@ ]R7`:)˾8*WM}g҂=h$"&J[kQ|WjD2e iAŢܿ"Lxs_2p?kvsXR+GhaeKd0DYH+*^Ҏ b*&KgQ.m1][E{;M/gSx"_3keQv,9 拕~)ϊ=VxQB;~Mcam4'9n^Ӧbrdm۲CVx,lJVufcμVcl׬nrme8l\ܛa-|(8V!8gGo?3_S.e~d菫5_-H?)S4h~Fq  J}j]%1T8ƽ_ΰLsZ1^7&/Rw~:WRDbܷ;&+t]'D){:d:Y8nơ:鵣{`#.;յ]`*z-d#8uUI,³W>y\RRUבc*[e_m=ugP)7*^DF(HVo;/뜷DNaϳpWyXzy%Jr)w1Vժǿ^;CǸ04n LPB4e3]_kji=T>[}hyYG~g//KF99hTn,~ajA*,eg4џ3 ֬s̄vfc|gOIp>RTA}}p;|B_q!פ赩tK"9;6j¤r|+M=iI/re(G'迡/o<-i-R4G(%b¬]hOV%ˠ.3e2Hm^x ? ][&ݟyp٥뱆g.+w)`=xJ*Cݱ0_i_WaCPnY-׆(׊Q xd_9"ii^ǧj,(C pA!dNr:ډHJȁ>\wf}?AƽkuyH֞ZUnS+`jP yBzRH9hrE]O_IE U.mFT5W,>زj89[7୅ s&:&fS3t7}6'[oi6k8TY2)0KBqMKe C8(v1?NeMg KN~i+GXH`ׁ)nkYRbD]­8?^o׿w(,TREW/ JLwpbBlN&Da}L1Ѱ% [j_M6n"vǯak?LEM!!B,I_7hXCcD20-|R=WձN|iْ5Pػz, -b-ˌKmy[sUswrI8f@fj3B[֧;e٭IgHiԯ̱ .QHuѲQ-\,)uQpJVR`I*"vexpV54Cru_p#(#u ӐR)<8YP hp]NbO|JתԓU&InU9JpPk̙#+ED64({$p}tSX핋P|]ڎS/>T,HSOm#^5㜓)v XM2gS<%*>ez4`Jl] M>V ,44qCO5|^gG ,I ~ĘkƋq<*$*Cb8̗j_P& [8NXeX(+֖ bkSvٮ/MoK;ܲuQ{ÿYqԭDno+NbI&\+n X1l-˨9J~MH`\BoBb^i<$j%p_"-QX1+9d b'c;F1P],Ŵb\M,n{r<Z[kJ4؝dT3F*0̫z@c }6X( PImV)ƒN]22'4WZw|zvi6H{<"A\:6M<kLJ2۶L.Jt@'-aE$"t1<^2Őw<<дj2C|"2q`sBy$("e2h -mư9 y=7 Q +Z:upǑ͓p֓%Y3Mjm#cXIѺj# \?7E]e;HU@8]ݍ@yfx]…=&(k-z8FZl ?snyJqbV 6V /v%Ԗ1jʺBIsO:7\քY'j[22(B^)/04WڛF;"Yq>w)-NyIŚNr aa$9*fb; { AXe5,GB^z'2.ـNK..ۈ.Y9b+.lRHb %$!!{ ԄYD!5tx"# UdKlmRM J)ާKJc]]v')9#Lv+~T[HOc{^T(/2yl\my^ 2섙SgYZ7zXZִF! %z]ŗXi%@`a>* iU%bNRa*"=-%MCƧ#2x@i-I S;&)-\6u9d%K]W"s#/U"L$fC`bc gQaa59p4ґIwǂ$NYiKq~FTRґnQo*R@Z]3«x"T\!@I*QfGDߜ sՍ$ul\0!K8TŸWx7DK8DnQ{bᣝ 5!LEt\WޡQIic>`e m6'['fVCb߸B h Ew .} /!͑ѢKѢXQbJ :5ӬX¼{C^ U5NBOFxV=4}? ]T8gS`" " [P9>TvGo0g7 Ht? X  ܜV>bkO߷,Yթyqnc+Pښa|@H>h56 2zS{U6?_d?C5jq(*QvHEM Yxl  @[p&J( ԊF|8W'i.wW\0͋De;OH_p,`ϜmA0_TKf:1ԡ^ha4TLsCK60LP)x {_^"cp8n ra *w|5^GJQh=Hms{QhY5 9JV.R^ߌ$N6KȦa/Fx+-9p+\1hi~Ṙ5yiD#EI7 V3x};qH'^D;cVůH]=mgRٛ@z9aFC>8߳=W#e nߠ(!\%d14Lj~MsIaU.r_:+d 1t˥%UeTy@BVR/(KNb0׳N#D RGW#55SLZ$S]3h7!$B'8Ï;/ļa*d9q 5'i@+Е736^F[H5x!wZo0@K+ eMo")E )hD7ζO;_,*nf76'%l;20]HlTARdЈ @2>wIŋ@sN/ _P`@!] )TsF5$|/sΐ 19v +Iu^,e|o76 Ȋ8C,Zyj=86k]KF8e<,:b!#7(#Z݋K E&Vek܈53AjsdLˋӻq); %/EGCahRtZx'y՛6KR|_ Ƒ K+4\r=zǘ9G7#ùy_CJTGpe&Y]?\L* ř\NL"΃ƃ)W1[)g."pyT[|Bϙ3]&C V-=o\jmC6%M T#e$o0:H|dAA:Ums![%p_2BwiOaaXB(ئ`drL/R/ctvN'D0/[قDgnbQzLQPlz\7n~(df#I69 5:U.R~lr C\_pǼ*eKу 4  B MW_~C|;> }l"3aAP1qOF9㐪AW9o.Y /(g ReC1f>;QArW}`B2b~p<1:s$ @bY2dF@zGϓ*j,F]DeO~0q|1*sseLJt{48Q Vu ˘_Yhi3:.WgU8md kT2ˍ,cP&U:<3lw84aRiT= (n >?ӗ dk;K.4hxXF$8N7uWg*S[GGmwLrHGy7҈OV4DĚun=j5+CVkrd煂٩ۂVIɛێ;Õfè[_p?d <8ҍgWRNy}Zmab)dǖt}3^ ;69ηI?]JGoV~Xa(x-5E4'7sx)t`Y~tMaE/a@Eńh,XBjD)|j[+:w?"V7ny.߃R n# m:pYdt Aʱmv{`O%oסrB|g^Q S\Qg Z鲿?G<:;J8PX^ 1h| l=5 UHxx-@du?TDyT*|P\V_,B_?7bTBbgJȌNiv0n$ ;BӀ4?Ss\]$ BH"Z,II.׸^t]q隩˴}Uc]_jcg$yfLJ'~oJQr !>[=@ c< KR"X)%ww 8A5Gqקaiq|\E}иuS>oaH݃2J 4PE'u_cD Z= ]s)M,^7@ŭZQeYzO(.b35 y-=/߼]dpsp5;$'mQGD: &3Qu}?f6_ =zj'IB%rE+̟%sX{sF ?E | (G*V&<%j4NM؇倿 ֤sC{V_XD*-ԁԔJMY(޶⥂* zsgkRrbdzJX+-9&^:@xY }/P ̣ Ye#`͛`|*8[0tbg-\X@qS'w&kvUuS[5G804j+Q>Q#hY8(Jp)+SRk;"2|@wFF 6XY])=yCQfY;[c_wQQG߶7.y&\eteEzV{ VzmoN_뉂{XktP!οB>w?ci@$yzlX6+*r_cHyզUc+XIY7.hU͠aϖ4̈ /) +Cq'ϗ.JȸtkTi=Co:,g1P“8Ž W_R砬p}zߚ]5\͝_z;lx6F`]&q ^C'Sp?e$@~!jJYS 40nE]257sD^+-kοN2 }_X7qoudXf򆃤*\p_=đQ݉?ڪky"B5ư%9暀Yhpş|%H1쭜:_dɧu~UVyφ]qNI[#$go,h^ VV-5X!+ZkAB H˭MxS>f08"r\Sņj쩾 ~\8u/);k]6 ʐrANJ4BQ=l7/LV/l=:'@4iraFQ%c <{. k%&ડ>U?vKYh#O:RѠ;K7k)"FDA7Ē5V-t!>iw۵|Ns[~3537y0/fUR378)?Ӓ{q /fQH >>6fK18 Zďgᔢx`oyA!z;FSelZ#nףf]+ѕLM _<`Ss'v>|W\~׹6P28V*ÊZ[&{W _Zֹ/rE.3n :LigaC7o lY"Ze5M,lBV($鮁Vxxo+"y,B߂L , F"7c{T &R%,K]jWU6qFMf%VYvM32LG;e8>LJ\fEN #ޚTТx@^tGϲ{cpKǕ5$\0m]2gS->|s^\WzIcQ6,fQ` xֹq ˪~gHܵ^:{5~rHL )ɡ*ګUg w|q.-b~ OG$(}_@Kyk}Z/UCdDՈaD0CMM|^*7u*69`\V,wć56+ BȞw;? k0!OgZ5Ov=M~ط!UVk2$PI.;C4i J5mfӘUy2-bEdve<ֳρcqsX{ˢi3T$/wIhDܲLhA!c]$@fXWy6ʽF^[z)~2v72m+|3nJs (1Qj_'x~-boVxn\0jOPX_<>!%/c?C eu4Ovoe랯zq>- Z%ŎN\KXX!P<;VES?,b0V6Thu+%Gw AIYd{ (#5[0\H.gv"P2icF~ZWMWW#jNH9chv6Y}j/\Σ^,y?gPtob!/Yl؍_PZeG%hJ }&&2{ Ԓ>H"'Ui9Un ]pޮ%g8O¯'6uF#׫_$#؍K-^][z+##' >8J*K`$}j)gK܎dh@~=_e?s݃;ͺ'z:Z rpP/82 Ѧcq=Ap.'2zsjzƂ6U(Q#pY T,}/I[J*/EgPP(t:5u0AaxoN+X/̷ߕ5,-KQX HhQ^Bۜd:m+d$8`BkdcH/Lf xSh37Ҁg_D?nÏn'/LEH":v׽Ǝ_ra\z Y*շSĽIlRTDjodU:?7"=3%cJ'.FYB KiLXiƾENHIf̕dG4JksA.*3|߰ݕ`Lm6!+I-2^O.;,Ui6)Ǝ'񒳒>^vEs˖E3{C ڎӔkN{*(Xgz^~#}i9xy/t{b塇l[fL?5+!ʖɴ#*y;z|xqp0}uXE%Ly*1y>FW<7Dɰdxxro^۞M.;[r.A2qպDJۖOdz7f .PxtʉdܔeH߻lpg(HϿ GgU:)4ٯՎF"Mn_>?Tc/mY@F+ȳGBpZyOj@ %S nmdpFA7I-&BB{8Dgr#"-8R}ghOB6xASӄYq8[mU˗K"I{:xI6p{4 `MtDަi^\Sq{hpxă:gCálGQ2Hju2?rDx^](RJinv67ć%4)a8ô3|ј5]۰^@6c_|%䖠V(7̂Sfe*&Ź5v4 b%U*,Zǭ-s5в j9[E+E_Q(+%h+k32{L|,7 $QUnm5E"ȲC\b>ԛufg42#HYY0Urw؛3~XR֥OKGY96Hl.= nhubg$旒[磆4Izi[:a@s72 L&53%xCuRB=obmHfBRq|s,. jؘ-oR 3_88)$*sJ9|F|^_!#b,k{E u4Rۿk{h@f&*C<qfX~tmɆ]}';lo f!H;R.=m?my h/@=dcN"+o_[ IuWb*e4z:x 3[xJ:5:l,ۀy:Y)N@댺{3grĎJ螏&鯚xm|3HH/u7 VO 5 m1Cv = Z%׃v`t~Lӭ;Oug{^~(mײ2oLgQ$4kE4@pu'HNҒvKO0F+&-_n1PWdѶ/𺎸I1$.MrADKD`zE4g]k/Us$B_rH0b S6iNXcQt΁%ɒ"6ZWp9C,hO'b#0-{F[ˎNN6^)F&0]ZK]ah@AѮ84ܫf\QjHvcf<*N${s? 5ԅIBZsFkv;1a7 jtB~f3i'2׫k68)G%qZ ]rgyߦ~ÒU ;5*uQM:^Z1rf_h!=-: (]^ ZX=B )ns )3z%$ĄJAɹz=(GQ͂F Dߋ<>+>'7yBk \ ۵WL3)f% ̣ΏÂYF4'qFvyI$h_7@e/fi{L`I~rk$x<7b0|Ac*? "]{YK7lf ]4zoc+eAN7 ?Šc 1(i_EY!!hxrҊϞPx棟]w|u A|}΁p tzݰVJV\_ lx[6Mji̇4$vK6T| FIyS *Gw8x5rk`qUW^Wv"M7E[Qh7Y%:s wr?۩̢L9%!p_oozVݪo֖ۖ^a }>Ybh4~2;@kõ1ʨ4hs '.ٔpZA-QhLU|e W8x%U>ְ,6<,&O4=N.G DM0\e>t1(=e\G| %kc9aZqfŃ `` FI3$T)V#zr5HlpSW,*[:1fY*T6 ZRiAypmљN<8=gA E\biA{Lj"3T TTAze[c{m<XxְEdo~ j~4bkN^X BcTI `2Y6!v".KK0r1JTd+[*AߑǮ\S> &6ܾ?MR-Njuͨ2o 0|wƮ̫rF[iWC*~%x)[B3^4"E/]ϲeuCmgvUV(Pɏ9^%r[Y5>9T:G0"$x*x:f^xҢλКYjpL݄#lɢ!Bot,Gc 8¼7vtB8{I| YÞ@,+5T.\Phhe}e}-5lu6< m@%#V^ bG)`dXcWl|JsKoۤYPCF>%&db0_}^I{ܘzpv|Yo OTL^|Ax3(-Ff8|i+bEsՒZ"/p_ ^W(o@lMؿgM 1{ @wWvL~&=Œ3F%KC~gux6Ab >+$tɼ&Fm8"xN3#3[>)"hkN |Ђ'ߵ{v&6}ɰ:޳7 Lkap"DA撏n\~M NO<sg Uq2cDӥUrXgP&|m|0۝S6ԴB*L>eT>qjG^z(ۆA3zù}T9jd2 ׁ8oN<Q5s!o!]zaQ(J!SQ3:ԡ{ͱACZq9&4qϨM 6[ !jR-vI_^V\W|;@> oXSDS!#m$f$M 9s:ihW 8Y?֠u`UlOX0чЎzz"'8^LtctJ>dpv^/d-A8Tz^wdnn8i-H6 7sחz7zq~WV\eȺ]Iś'V%yY`IDU/qmJH3{$&f c-r$c? Fj6EKӫB#i¦ʧU:c˛0Ώ WhwH˺v6̶&繇E^,iɮ|$B)6Ո@vT _pխYɐ%o0]7X6)6i, @Qf4yL鐚A6DpXKN]zw.HE[/OO5?}:$DMgo։̇!>]5+Vo}.'`Ŵ^睶mp~83u;[Ë0WO/n̚gGDTwt-|MMUq?6!z詝6&Z ü}K͊"qD$}}`ܱi~Xѐx.r.cd/_M̑?FO9r{oL'g Nj29zLw(ELtdq )_Ls`JHЇNkC;[teŷn‘bTԁZ$OTG}{p~`Bq3{spnEKdx^S.n |:/S_-&~s֪:vI.,ةiє ބ-hbPY/Oמ1xTN)Vw/hȬNqNK;pq!.b޿X!^BadbK 3/Cka# >eLߣW8} 3^z0ӄZ%rvuh=D {,HK)0 As^ars9¾ ~vl$h]úwP)&7U):eMgćC+ pU@PQñȀKKKfK~ r)>յf)su4z92iܖT-iĹ+ے0JKgϤBy[ {Ct㫮?ÖtMՂԓ\/7hy0K}c+H +yvv7jXw!Uou/=nGuv|pR/76ۮ\m }[)o+< U_2NZ4ESdr{yNrru_65^%XS.N/A6gb#1;"0Wl4M Ł(9[SaJR픯ު9UObi:^^ THѢPmr.*K}UG7W_os+tbNGš-a]?؝ea.p:Y=]sLSq>Y@g@gQTӎ4 N]vV~\{Z(Aq33$sspWeLm5,0@c-[eKīlqm rY,]Z~JN{'_fVC?{ʱĹ I+B|u5IxZ+1"ZuX=ILYɉ;p])s>׳\7GR2o/NQbCcdw&[= >}9ÓpT׾rYnAɐS92b|LP ;3cLH![F40;/x?n$*HQlUB2ǟ#q 1j)kjKebRt9ϙАJSƩNtç+O;ngLw>"ij-۬F9gFP_p դaSZJPĐPAqވZevoσo 'Dv®0}P$X*[c!!ncɟF[`Z ҭ7I 1&KC`lO13;fm8ΝlemU4sSSiI&?4^t,-`MlDKЎΊKos  Vэ,M)G/؝O;ˆt4OzCŒne|n$É7-Hk )yaݚj1֮M("hߘE)2FD3 Hq2iO o>x/_ߣ&]'ln!񎏋uDgH;~wqwY,D %TѰŏ8pZofjr;>"W.6mcP6|ZPDeT2\1beFKZ /E|XFDL)tSKlh૎)iR' Kխ(хltI c?3#Ϡet5?#],`rc+Ѯ\ *챼f= |~٩G0=+u[إT~" y\T9 ^uL RG"cnX8/ [+Ej5q~Sf3 W8٪d~I[.O%K Jkp !E}l[fJg4rzu&+FfAiؽX~&4o֫&4ۑ|Wo"aFf*e*%H?|}Uk$T3=l>؛QH-Pίu i5\g+($$ɠ@ }I 0fyݵȥZ$2VFG}d4t89##.a |}Oqɝ?ϟv676+T1{ఠ<$Ck̈́l`XX#QY<CBG?v']3t|yh,2]3ƋW+NHu6U&4`ਂ$ _?Qh'dԈ𬅦_ZP5hߍNq_lhPQąDD\Qw.GOs/PP6UZ A(2]j(%x`vj%&2pIȊE7tQBfh*~ō3>x-Y<033*b'=!VR`b h x<|Fum:R0~foKnqD }i \ͤ*KVPd6Z^Cbx Rg+F߼ 7ҥo E)XIL '߭~m`d6׫]HԊPZ`$l ^溤_nȣ[/WJL%;r!o.&L(gwwqZtlT.b؟% v>Ӑ>f7;4gI(;ˌ|<˂ (";)ٗ=ɽeJ]Wopi=9qF-u㣌щ2+#:ԑk6-U7<}!aF")"tͳS'YBB,.q%ےizYF2)<͛9|5hU)>5R #dVN >}2YfRSĶ:g7A Oo]n  Bި2p %fzVe4!ڲ-Sy"-5=Wlf(bE_q<~JY[3"x2˵jZ|m]OD7ftM DgjL st ɉ[[T忦9..4; FY |jRcZfg\R_.#GY~ '#O5ͱmp"LI6Mm fxGP:s7PnxuwD Fﭚ0 W0PeywNGph,J[ֱ X]@YjݯO4w~}@m`T;qƫGs2R&Ac3X9Yo1$o[L%d B]WU/ jٯTxv^$Y5 |F .ܭXlSƘ_oɅZ`85g^T!R _:nhI\>(0ecR%qI:>ͅ3vs^^Z~]؈xHND E֚aEd\ ]].hv4\dseEiʓ^<PWAzGwcнmN_/Ǝo"jͪO5kK^$&u̩ _B6cAC бX2_ش*UZ|-P`|0n9׬8dr#Մ,Ku#.SAH]8/ mS;ƚ_}V-dF7`-%c enG+$i- s/,f\'Y os^Kd0A]di*Oc0i/ "X?jйYCEpѳo4ѧU#}b$X\FkOxe yCFؗc2ASDZh6$v !f1Ke$C9GYc.G82"+]R'(:Lן9P;+˔2ȂӀYXֲLIæFocOXnx*By#%c h YF}0l>GJ =9}&Uk"VI /:"^Z?*&6^lzFzGѩm:0n=gOd-^j\K6lhBZn~>rOcjrY4V^ŷ1Cns=mgI>L1`rqBtl:X΃xH'5{1SWRC4iҙ<1C\Zȟ^F ԇ]" xIuKgq\lῙzXBz ?\$֑mCUjs?\kKDT*(y{LV|ZNvމPO[^rx}ҫJgi =?H6Nws ","-63w.1gJgL9,? ٸ-+vk-2L v*y$rnϸWeSh^29{]]"熮$.NEA&; ?%N!m։`tU]c6{JHd fbDNwOcïorJ݈嚸AڵNcR9'd$]t1VS0»9Xk_%2pD- $(Ja5Ԧsfēn} U ÁY&7N$Vzb".T}7qS+9羁g$W)]7hlrjBI? @Y8Mlit'9$=hC6 Rܑ?Hz - z\†b;)mAql6-uC}krKrZ'5}Gd2 EXf9\'6_*BxpbۧJ2&~_)785l/Мٯݴ}BxwR@U܃]-k_s&@W|!p6*}ttSz[02KPE@;:=yg{lC^7xɃ|]DhvEhu=Jk]:Z|G4֊^N r6jb[lF1\oi\VGBjh8)%K&'YӖZ~1/浢<%Td.S4׳[ũ179d8(nqd6;i yXC¬]Zfz_"&P(M8HF.w(Aڋ,*hA<փHyj{ۨkbWRM)vyVq݁ H?me !aE[j;.QA 5حpa72:4i)ȡيUqO$bX`|ICKmք n7y!=I'NG.}[g _"(V̱A>mձFg3&!ȭf(!#N);>6zu DZȔ[& IW?fN!Zrhr/GHqFvWA,Y/wR/[Wֻv>춱yɗ}\m`+u/]SU%E!3}yq&G'X=#}HGJH.1Q>BUMV+z&n6B ä[{['MCX*yhtwќj*qDljךGˁb7wpՓZ0/pU˲E6>:; (mel[eOVUEn-&)4$9bυ2dRƝ⛇/Gм;|CXe̙˜x\!`0Z9@doTapZdg!U ⅦzH%Ngۦ6^hsT)1$yAU2gv$ <CsJNR2sj /mJH8|9vuPil}Lw# O-Pjfd=91ưj|1w6E[,=Bm0N682&woNSGhyAun36jBrQN23wDɦœw·iO[ӚWhH'vn4PJFw&^J:km@ϒ|jW=α_e<6ߋklj|+F&F_yV<k ^nScz[|.:__5z^-Dy=~4P :%Oi_47D>0;{j>w KWT<0BmY- ~a:\tf}Ktu=yX E_ DO +9%l;Qٖؠ@U-a ^hƱ[M]$Sw$=H~B|\QXVUpf`NvޭScbȓb1o>d*}{hCi35̼һnaX"Ow0>w=l>k1;wk?hã4e!$$X|Q"GIJT\Y]=%w^sRY 6Lq 5_*44}4#lKX[X0#:ܙƾݳ[lshh}x<[J86IqS[ ?z.[P.NAqP s f9z`BIa .+2 jf lL$iMnq*z;NVG#q 7E38XtL[Dq&J]j 9"chaǻ]Xt@LAQFz9z*hwIq1sp4ǹPx1. wf:S5)hO:l%8*:jg0,l瀒kw[ެݓM_rD$T 'wESGCqw/tahl+i֕kRm#`ka~A/~uUa|l.tbJIfߖ|1$oJ-sRov",_WP F{Bs;jMKvæ`:\7rB'LY@m6=[Ř.:M1j0L=ѢxDb2N~ vW`!([P%KX`rٟ @5j߭ftMSi{*{s i֣LkiCۙ!"$D̺]>Dn)<7KߣLrX<0<_a<@R P׊1`Dv}ʏk];ඨXkBVαFu-O2$%!݊ 畁[ϥqҙ8 ׃ WTBcoMm-`6I LQ[ 5煕J.rAGhr`P2| <^'AvZ匏nWjM]+zZc^YQ p{27X_8D*ӯƯeNʜk,gB+s[kK5@}<`< c>_9=qKOg^0g4m iX z vE>mt5$ pSa ڧ:_r[."鈹N6 RLB! ʴtȚ[L.vq޴ T}zŦCvh p.C-߸VpC4/%V1=kW1b,ȗrï\7iCcrk;7{QS0SN=:*y\I׆"ۃWiHP4#3= ehf9l" w/{kwyJnu1j$4 T(o-(`-$cv*Nw:Oj=Қ*^*u.z ДʨFGjWl~ S].Sz߇9 d5?q{(4w)v&B%LƄ@xR NzK_+4ք.pTbê1|6koRM=/4pXʳFk"gEatA'hEGVy ?je(h*Dbvoqi ʲ`挑X.cPVe&P&輺d~sXVg\t-˦сe@/[ UiAbKh8`U>*ԏ-֭T@4\JK08x%˄Q:͵ztՉ D9Q[zlYV: g*8q UaO%`M2cIJl XvힺbYvq!*L,2GY`ȠZ6BA7CJ ^™AI5.‘7oo7[yjI4hV {9 f$mCڬxs#t<3Qr#Sc| dx|m~]-]u'Mz4>?YQa 2 SmYeI؈Jȹ…gdB2GxUqNÉ ;bG<}vY3+9xć*[a(aoWT}ʲӼM"9G$e jd[_wc]qKw@?Qb.FU%Am/IiV/67R-B7V `ґwtJ2-T!"ع(doV AURcҨ3u%}0Vй:{J=%l]hrS $u%t:NhY&a_Ahn/}mo=/whjNͶox cc,hILJ)9;sP}:M:]$E9q3$G4*Z4W64.@naN5%6CIi*6龅 տE),,|TP䔫N~H{ ˣ8bꤗb.EyO!vøQYC)Mj{pVF۟-[XU`Z<5$^CyU^ q?3ݒ꫹`L JEqY a\|۳gQW`S'1 ,MOuIƢŒyɎ>eKy23]XJ!5s1IEMOkRn5o$)aźd/ÓhbӅ D`ӫΤ<Nڎ.[[BH[[=Nu_)@Z'PU'/[_ WnPl$|/Kv?}FhmdoL?g~!s^ʦOwL-DWh>V@~Q?"݋̺\ l(porT{a;G"l'zY*dy~ҼςCd~ u"B_;Kȇ:'|,×Ti%_]hYI!ť?91`Zb0^< R~kL'& R3FifA枺-㾖/=*E,V9`,4u!͊6`T+I[<$d*:hb K}ɱ^COӐP0,:^iPG/X02-t_')&rӖ 3vvSPh>426XI陵`ձ,,`]j4>ڌSvOA<-sCB;ZMjbJ6R" biZ-E7n}w(RxB !,g;rұ[')]2AN2f0KvˤKKx+V3[b+Q}i\& 6qNW1TAUs8/X0x֜'(Lxa{y;CTp?,é qv\ۜ!˯9v-bUObH!|o\ˬpt~* -)A V$Ovdk\KvR`+12LhJaR@ 1wDN~w'[ b~Lq!=s묕hP:U6)~E(ۮ l_x,]2vVU<~A伬Am# ݐ[GLi#¡ζP յV?|av??tufH ϶۝04驳lf"筇n sKѥY]2.n}؂?t[wD/kkq^Fմ-<- IOr@%1ben锚97mN{vu3N23Z+׹ &=tar}RWBeAǿm܁\0pB~hګ:%H X2&\e6H3,uHMeU$x^D BhKbinrmi;*oӯ:4Nnx݄Cq:#Sxy!g5ZG9P%ijwκ*gPt9f שFʧ81.b>5WZ.!` h#w/BڀYDtMԧ}$a&7"cY|IլU!/՟bDfqZ"ZFt#C0KC NdƝNBCtHΛկ܀>WaaTאNpkr cR!' ,B~cf+ߙAgYZ580e25e4a8ed064a9e535c1b7ed4fcd6e8d46c0e94b8e49d0043e944a495f19c32608cf5b0a49aab478e67b8a18ac3972f3902016ff8f8cb58689048