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 CC!td ]]]HOL-Proofs:threads=4elapsed=1103.040cpu=2545.992gc=711.424factor=2.317zXZִF! F]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb껫JY%;|1O Q@3%xRPPhijV!ұS;C@ʦ^x{ScӀO Si76ey5<A*{:Zw6 ,gN]~Y++j6 gHa>M@KX'6IϞ};HY9\C,/)nm1/̟Sv!U:­$G/QL=e1 `i6( g*} \r U^Jkj᧯-ĺ]շsCkOr-%&7k"l2°RӇ'[#eT=augryQFQw%aȉ -{ixߤMŬB|543&HS s{xi| ks'$lCщ wՓw9$@zK]7g焅u6lTLA]w(o`8@*~ď& 9Cxq]"o'P0C! c>Ejuds_UUSN;A-rL#=.L>rdZ.*Co׼q[#// .Y S؍0wyO@gά9P;*m Zdnܕ՛{PzJ?'BdCB'JXcXq {^}CsFUP:5oUm-9xAO񽮎7]mYREĨ][n7-q;}B]j]nv9wݱξkѺ;3RMEW<,6P^R#tf[Eɓ <%DVuZ?Ǧ|JP3Gt<#/YO v="bh58.łZv1"=f<,PNe[fJrtX%7 k%[dW:oM;)mr@}?g!9 [VŜ r{W޽#:;?W&4M?56 ~>!v Wd|"u_u Y_!|eJOx1yAZ6e*hng:bz7Ezq S^=V&478%5 \ldf%o3[Ob\'(Mo"~ YFǭA:K)::B)4(KYxPcZ&JgQ 2phh[>! Jc4A_zTCe_ssj;\ Q5Z.S>o. rcAwGൖ5-q ^пb]QxLOSF郳.h/.!#A]kwW.<4&7BFxA<| lޟ`4$mo8kց0JP.1;w5kԧ`M4G!oONηf.Q\ jQ:|^uԙ x:"+jT$BYГ]ڗ2`dBB10eMzpL]]'ԭkؘZ!G.I? ,?IOlW9n`;)'ck1rH7(km«[i)8[޹`ŝ$9  ! HOL-Proofs  |_do`u tɥbHP:&|Zb7AUJ?ZSŨ0NhCl|qeM6Ap㈸Cs/A_M0ŋ.F'з?I]cOS_]^)U\NU< ;$AĐ(@Z:VVkU?-7 )6dG1+!RИߓ&'qƞ8KF'8ۤuMW^ha̰Y <>wlVޒdUt^wŤA!5fY=W`tń-jŽ aPX0~EAs;ӌ˄Z>rxHs Kb'R23w̛Fl&}>:ٓ8efnB-2wwAM,)(=壿jUW{p4XCe2 /!~l!OC3>Mn߄ _!"o}:0l+Zզ_*v/fD;<dҳj9d|jQ<>̉l)8xv)NҠ4єnIy؉KEüH%.e[6l0G_Y+)TQO{9}7$;Iw:M ʳ /hY m"WT`ݛP(\v-LadF]A9&)GrL7X I}Wd2A Ӝ8 !oMn;Qб2v+-j;MSNRb#`*Di7)T|;+iV$ХS߇2ALkt%͜"AFl$ruw`aN7f &n"*P$7AZ#(yiWÍ~țE)zh)1H1hJSdre_]qlN&B.wl4Y TT_M,͜~'8lv}lWw:FC|^t*2$vVEkNPg[Ԑ \o_Š9I^}&CYQ !IDl~R%FK4Z)3 pԌ]s%ؑ?:t+w )fԱ})!d5qaVɷcv_'q䨋^Jcz8.Q]s4!\CV=5F9T07[κ_rVJa@dI([_7dzΈK 04y[6*LL2Ûh,Id+F(ϖ[?a>I=_:u ls3B9N7lkhZtrɰq 6uN| f\,C4JC=]@t 6hJ*|̲>w[}2qCR*؝cR0c$]7_%2\˔Gc} z5:PDG 8 ̈D&j{! *Sܞ K&HdvKBF=n_mOs%XM\rCMyjWb1̡@fT2,6T>k1|? ~'~?H CV$ <| XFt&s2L8&L38H 탱I@C) ߐz R1T47#@VtM-SBA27ٮsay); Զ=\^2`&p kخ,m*Y?EEb(uƯTݚ27uxW d Pi@hGΓD;0c7r70$I a}j^眕oG@mAw$>.+wV!b4Ǵ)S_9Gb5 ًK. u TPLxJ|\hPǔ :n/PEzk;}Y5pGD1g"%)5KO<5geJr##,Bu6LJ/{~酊D%Hωإ#s F.8sĄVˢ,)z[4'\ns~pK 2~m ɸdxoywaSO ˲Puۮ? AOmzj$eL=(:zm@)a6^Xc% fgI?#2xnDiX ޜ?DGevZ9ǁJ%C+e8 ncϺҜ=ecs]a?7ٚPرaytArMU\ JyZ0\cHq.Gپq@u)ݿ@P/(!/1|2rD5sCl:L3nókuZFWEsy"صY?.sC%%'2jToJ6( gQ;w koi-V1OLMLIg E-ڢrN(ŒC?t+%s};3VPNtȊ c^Xq5c/O~=w {"DHi>BNtm cT:(ܽ7'dFL^?JӝkW.yj`2p^ Yq@bq6 5^)&[ɩTs@+~Aj/F^XmVjJgԙK(gK֛+&ÉgƉc;ΑZYl!.Is ,O9Ci+3;@ ctӞIޙSCȬdY 9.ae-6H&(Q \NOTPFizUfERk [6|iQ-ꬊ/(|3uWJFE ` -SEW~vۅ/ &e+bKq(FSP_yucb~2~z"L0TyU88LJhͼbz%eW \P}D "]ِMyoJ9nhAsZừf*eYCIZQƸSzFOg0]L^m9a<Оwe$TdK-NyKh)Ik~R,Zm<|ڿtUwЭA2uZve| zy-1Paa-{t)ƜU=C:h\ANu3iRb #cm e/?Vn@EP5} =X/O||E"+Mp)h3g8K$ڬ֝R-:*:]uozn7W_r*8cدr/Ol0ɪnmrw£nj" &=g͚?D _eRs(b^DZ] R„]`0bXX`~@c. A "!fCᑸ؂?tg I:m-_<[sdgHREy;+%0#GEV*JW;OiǷH٧idT@Y:ErgYZ7zXZִF! m]ŗXiɟ29aoʼz[%U>EM!!*X݋2Ls ձI%cfd@*QKd]ND;4:j 3OeϢx"U-2 W~p<‘kWNuNPw?:X7kAN[6 ́p75a:=pT@j ͪt ?kGSo}$JДNsUuVl-W8&?_r䥓ZY8l/VۣvFoO3rjZ V>7¦?%)-FdIv=\!)28Lܰ3 qNI%w$C_ vͅ'+Uq22vEAkS<ú2(%&Cquv7ڒo-W7"o58 ^fih=@Z~pⴿbT@dUK.% Z&"MԖz諭ͿJczR~?b9R %A3͗oƜu]9 o:ћː}b_o9;IG" XHKy$ mq΀umV*Z1iEc:&"]Ȓy MV̠f|l Fqi?ԗL٭9|HLU=W'8);8jj ql:TkHA&B)AB%ֻi<8!Fv G{>ݗ,L4* ?$d2ueE\5Ȑ\%/t51Y^F<5rޘ$޳c4-4ڝ +)v@oߔi:sr?; 2OL\@CцyO= zGW.o:ᛁM!|pwID(4vή kD SӵPUN:=˒E̵&!T# iѨ"` LhGy_j f}q>ٍ2a෌AI"n͗LYv:{z7gעiB%%ЬIriF45QeEi+nl%LböAB?96&{ (fQS |=x3P+gBbiz08"yO ̆ )6f#'_aqk(>/ b6ϸXoPy9ɸ)sOw<&)"$j࿠1BcV,d5-\F}XU$ua9\32=XHtӫVPJE#}WhTF:6F+OIs}[di*L/WYowޞytQζVT?eF+Ha'D!36,,bT*X 2# luH.p}bȽS.ÜOzցu`=15}$B*9<}Rcժ]Lp=@x*q.tŵon 02OjϱgYZ7zXZִF! @ɲ]ŗXi%B4fb;+QzLv;|ŋGxɵ$752՘.k|lJʡOq3wAa+jkѹLy{7i(EHG?:'bͰL^c4t4'ſN wZtn^JE"I!^>$#US0Udȗ͠ܮƗQ ZN°A7g cikOP.Xԅ߉;üX䪫^VO ldf6Q0>fK]ioՌXUeI6k-BXBhzYU=G;5~=<lB,j,3cmr,CIqN[lThR_'Y5,Ed! cͤ?*!Bw\O>yE*[Q'T'~ݗ|"8hcşI>?k4uByN8>յԁs :Qq:ӆ0=5d^D)yA%m ^R)*mwzs5|w-Rțt-J[[hF![_5 :w<_ä^k#/]5Р\'z7=n;t[L,ė͟wS%S<9 JEFLX N`q[̫0-K-&uW"ս=}# !b&k>!'_@7TĽJihx $ XO7XX[4'aʞ׸Hkжp=- Y1eH8D=+3G'4=pB{)( PUyH"3(΋ٌw17gNN^Ɗ3ؖ~:7NrAǁytaܻr+}Z,-C>>Cqρu*B $kvmo)j3\mp0 8sgMABe4rDVC6tLzXxnNU1}+>{% bP[H?B0ݘ~DPAAG=vw:l^]?w š2E1 BŁE{櫶lYL"<'ٜG"h&=6NB_.B0!ˋj=.V,aZNҥ>`jgn*I$tըA8 ja.>N0k݂k8t' 0K5w{0kA.V, nc@0?S$oZ-8sȁY tIlwT]N%bn‘!zfTciw_ l\ſނ=eq~SΞ߈gäB=ÈiOTMzU,{cG[}taj PC3咙gshf-:^ [2aN PTMͫf<ɝż08y6'+9āDzz܄ Qi6,g2# 7g9(V7_˚%oozۢ@/ ʣ A]) ֓1#}4'3KʠkύQ9y܅]=~ZlN֋%o9Կ-56<0[ǝ$E|^֩:,{9\V-j0U"vtF |b_Fm͆4jO֎!Zpc35 D. D_*{0MfSB~ @yΑ&ca{8q~!N??>^uZ}6fUGؐFÝ??M{>b@[:S4^~پ( ]c=:dyo#a J`R:%Tܦv`t%~!:N鲡=FL !K퀤-U?y֧ra)̪u~ m*+JnUgJhq y#RkQ Ԟ`OYJv˂e 㔅$ަag8U~LzͩF! beťMsɩ,[}[K %{#=;5{@}"{JLa2Faړc=!'P=gĴ;Wb?X&WI4(`Ŵ$w~$pEy{t$i<9y KQ\Qdˌ}-SPuBFR<M1*ĖoMuJ!%۲:29%K)Q+x:2_ÂL<#"o ))]wwVQa"iT.ǽո9\ jy*2m y@FXɺEE~2D < pqL8f; cСЪSy#/7Z)O$A Yu?-> <j 22dƿ]QSV|wޫtz`P8AIHSbmw |"L9eR.A"nHl*kzj.`m0  v%ND"C]u mCY\U:W 4>FHsalC@zoENAg#ť(T"Pn'+a9`K^?d'lr)<r߯G= \X~a\/pJ@VۛX'[Y?Wx--hU}=-NcEXzhhI̟K=b ?y_M{h'xTh&rj5P%5`o::3Z80IbAyP ,9Wŧ2n\A`9 K4D(_?+AbcVs3g$;i*ā Se}9{xiZۢY`Z+tn=3[5ǘ.zJ&Y *| EekW=!& 9 .Peki$"]XԔpgrm c7?u ӷ`U c{vhXp2NUbr.JhuY͏) ׍3 o1ZD};eorb鮒W %{c 4Mw?V& Ko Wp J|T &6vePskM##?ZȂRXLxAT0B>F5ElFn3̈́|G*u"'u-&A0^-I)-i̍G+RWRobN]SlBS?b5P+cjJz~Wnֲ~'@vEBm`i1${l'FFf#{>*ͭ0a/P!f{߲̊0K7ԃk*Κ7Gw^iT YJX4a|&h*pp`,¼V@{ htlEGN@K;ݤR@%d]ds/'6oie3h1wZsqͯ'^)ۣAGKG1%u 2*r7(DX~FQb(Epcr]!Nس<ͨm6 }YUOH; /\DzzprMSL*bpvy~ 6ReÙ KZ ]6i-S7f1}@ Wbez5|) %PƎ{V!VBM2r۝Cw0eqvpZ=f[ygʜ7xrΩNu3o >$95zPpB7yO1s:M2mϮ& ,NmiBŌ/HH]ߟP^~pd#׼+MSJ#2F{% \ c<$q{RՐq^WQz_ r;RTi ޠ TDreqB=95<m~Z:aDG㮒]Y*lYkAӧe-1}ev\ ?׻je8O_c {#)HF~^/"tK ToAT+kͻOK+?1ֹ,(e@V@fcPl5Gߌ;vB2F,V.83\JmisyeRgYz7#Lb #`/*cL8>N/[砞n [7\s2jTQ~;1~ubd!~k1OQ%J9k/qd[|V盺?_2ыHIbYv|FG:)KJ@%V[ny!D>kfGy2KXe=n ܪ03[J1P-0,C؛x¬Oҏ1=и̹&YJWD ڶjNr4X>bO=c9/q:[DK)_X CXWބCo븘 9 na` j |L𬻴m|y&@;uj~`'{5)cb_-+Zu+oۋM/2$KN `e寮|FK;SRVD/ݙXl F1&dAӍ)0iҏyP7й|(6$\Hk'Ν+u?.ghj{3?o,+)F|S%S j1)@gz/*g޵ը~]50)"ߖP3RIspXbjx%CC@Z%NwĿT ^.$ϩQHKie0U`H՟}V%35Mi$İ22ڪZp.d1Ji;׼j}qs\qE`UER!U6k e7ҽ긹J!D5wx/G]CuH.j4=To@)X? b9"-M'd |avcFǐEPunqoG?ibi6i>',k Ǧ[hJˏQl؁`)}i5^/ -o^^GBi)M dL~ک[|Ϙ(o 4)*3/89 hF7Ew~TBG9s?972xx02vfBzv|@{{ړII?:% b9U7 X0#AvH/|r̲ dn KZ 5 ϑ-_aBGW K)?M|6ou`4U2DDJǀFP$QY !YAK-k*z|=־KlkS)~۰ c:F8 <#H.m?ܝh(fAa|Q-,MC\?$ _(|R|k|_"i8+eE欁=8SGpjuq ú:"A Zjpr:4lɫH2ap9RV8F6s)6z'N%yqYtbPo`HedYH0Zn}SB3m5ܤ^fH)<ߪ:BNOtڼD rd![UqX停Xe4^GGW IXh a.rbfT8ZZq9u:ǩVa &v̡umX"&b(–>B(4 /2U enُH01T.WU5#@2m8댡dzj GWƀtf^#d6/zNq+߭N~7A6\n ݁9C۞g+׌}/2(n5e{6%JZyE e@ua6o12M DݘRסb'h::هʏunL{]J:qE }Y(d8)C`G[Z͐6I"d!InQ1lFl7 |ëGhUN(8 ͓owȺd[UrC{{]}8:9)Ԝ7 "121q5c+da؅1_X b̝' Y/T, kODfiџEN36BjLΦ.= si!6?Ȏ|: I>y鉲_^J|/uEofKES&ߒnAEȺ6+Jt.Ac<#UC e#\ҼWY.12^A@kL 7B#FUlК_"8yCuvH-"V pR`{{O/qsJ Udɨ 2h;| ֱ-*@_t}9 []q4ޙvj5Jr]g ``%q6_W`vftK蓾XIK'ý{ԫx@Q3Uu֬Dkmw6=_/4 T+ANf(ۤtAtUr^f4`<M&lW@DژfT՚6D vY,>uu%+rhٰe|֘b֎MT^(<)*Fh8S _梏 m/,ctPsֱT}U+N7Q F&BO%4⵸.ǹ$&#<`~`<k.Y1uB.` 9\Gs/M89H\\) B0 o{c[9)'R#!څͪU =LGbz[Ϡc.L"!w-Pmud-VH&@f`j㓺!уIbS{KoQ2NUb Bi{[v;%AD05BJYb-$ #Ɵ(ru7a WB})Jy'NS0LzQ鋜#aq ŗ,J*x0oQkuB˱^vFe}8Volqb>Dܧ#Z )h8wxR .g TnR@FuLHepf %3jb`~zX`M=Mm-dG<7E^zw{ܹ1'napI(;QjE.?sL8,R&p!!쬨c[-YGܑX #Tfx"YU}3aPw~8~IxЫ{d:8`rY2djySWbՏ]!ǐvDnt~qiJ;6`}&5# !䍤5-+tHzK 3-ߝlZ/CZ/?Gy 9X ` Nˀ upF 6rvKqT$" xX<\Ф )aDҋ \wp%ia=f4'tXŃ,Pȧ1~6ZUi{;ʼL6͚ Kb}kzG ֠$ |,cU~5Ip߮ {6'i m-ǿ |Y6*'ΎP )Fӣrۅ|ݙמbiP< `KJ`Aj=J:!QIvi }S-KU_b{D阶Fbt$m~;\s(!3S"y]j!o9h;$Px&Bۢ` Ind R e x^6'b "ySp0Uv h^"=SKMg@e큙e~oZOh}~Q ttP-L# 诐$V!et~ü`V7dbsfQT92<ébg#%탞q@xGc[@TOlVkvA~phPrUZTR&r2\bBx k_ SbMKPښBKlasjB(*fFO1^6P 7P }6E-8C]>+/ ゚~){H% K(/ܴP)3O\Yv,MG꺑r<5Ɍߦ!$I/M\u+7>ɲd@r rM7,V=#}r5͓Atum2Lr;'f[3vϝ/=6v ıi㸽nFl ,+7,vQ 1EfQZ%F+^vFV _ DdS~ #54[U9Lp覈5u?cMON8/'RH# 7Ό,?|̆ւ ס L[$pc$1!c^5a;0U#"c=p(˔*&ѶI{Qf(.R}[MBMcnKv_ gVaQ4r[8c`Rʎe%[ꏈ/jF mF&_"&zw~.T+o6یqIA_)uz]ɇAݘ˖Ij+}aWResllHMLs&nԍX?ӨB B@EKһMʒZ<&yL!ىq, ~h,bL0U ;v(B hycsfQ$r?I~T ~j.cYqЀRɊaQT6kI ]- )7F[/&TT0~ V)Vk^h>AEy8s^ڸ9`/9(ubh"TL w+J9lo֏T% q:uf1pK!{ivg]%jĝUY'eڪy_J$Y%.@.b&p˄0ʌ-}a SS4}r+Xy6~Ft^o;QA'鿕8=gA0*_ѕ)qPU.oĦ`$,UZn.YU STtcL;z13OtFJCʰ&jiaP~ı|F/k-Xմ\keL^]LE T3k3CF8/& Ł/3,ɪQʾ4ѴfԒM _'*a%x&I_q֢EDU#s5sD 7 mJߘSu^M#]J[ma2\qa3,Ƀs$A99/ TW Cσ *)x>}z jCz dyVY|˸g(/xau>rLz TVIb,~1p 4+#k7sT\@V,vĉx]#t.&g8b@Oin6p#h󦡻N"ӑƾlzH'!-Ll+Urǧ*#f}+$^oBϻn-|nb:q:|].m:ɣ=Z(LѪ1#L©(2TK^@Z!9gL `L@9pj(8hk P# Ƒ pn}mm #9 ,~ADy 0#U%(R$/$McY8p}Dگ># ;Sxy&P@vg\u8J,K!UtW~ɘFPzB\YOՌLLl}Q>5%<}aEmyzir*ԇ25fMLs8\r e6уbv/Z|Aȉ&ntBQ/0usu5%J)g'd.27*"ۼ+/n^ƚωg/Za9W9"'hEUmW{AGe*; j=بMʐB_۸ҎYUducm Oe ]E0#TFH6WsZ$ OepFйg(a/'u#I)M?1Қk.0.dT"oG W8gU}V!- CT*Wm\'EQqo8S[ NkB^0@c0Anݖ"ҹas q|b͞^yf(&+ognJHݪ(gJ8/zj&$HOkR5@a?|*Ewϟ2{}YK$m mDS+t(saem9*e&-ܤ߂1 KݥQIƉQ|䃉PzJR=3#ngS.88[w I@UɃ{xGY>\[cv9.E*M5sׅDJP>dʙNu8TڥV%%6PRp:vU#D/A)Db-a\Tr-WcJ\Qet lo/զ 2gaÛ8x5f`/mY9O=YWB2l9(q,A IԔmCa@z{W 7zB,]q5J %Ya. \X}ۯ=  Kpis>\>o&dBCoҦk;"XNyUe*L^&&iCp^2.x*UR"NM VcL%DSkN@G;Pn)P{Px!eF L!;ƙyup_4dvB<޹(zu~sꦿ~ Z*y׸ax9f8| FǖMo3fp#bUD>:mkg\9zkeVaNZSh;enwyoWIgZst-㇔lJ-Q)/TM51p5ZaES2II#Tyd{b Qh|#$A^m#HV~ KNU',m?$C71l4?A3P|6 zyu,:tLS:}ĒŤQq"IHK&$r&zoUL6OݚH`iYT+tqӬQȒ>5HKi/l=[elyF<u_?ւA_LYiY]C{ov>MkLkyL*Q\vu#Z?&9Α|ߋHGȠ ثALCGHɆSpp9e[?ncܒ)emVq3e5% Q{-. "\M3V([L\ ?~ N'gl%2#^^MnacB)ȋ*`YPpe'MR̅|<33x5I eN G;䧈j$즰-#!si {N,;Ba0צ橎M,;Hٻ]ѳCwᑎ4xyY:[$ngdM:&Q7ϛj!N?yԲFg]qs95 U\dPU]U5RX sW@$IJF}/zpIJ.A1WFgO&~&rcx^4i$TA&lTn_*`O`1?T5{G}AyrZfq_؏s_`oS-G1DNJs ״ߝfqr;ۙvi7M.nfȚ@&'WDPVZ J|CJG@?dn8.I=9dRVk}HyȴZʶ0$Uu.Eʯ'*Ba%}Xl,^ׄ@ibFԏ4GUxQuZp{7Pߜ%XCc'Ä3ϳ2tqΰZZ28.(E%:߂VH ÙAŷDzSxrbt2 WYiH:buu`3{ &.+ -;MT ,$hP㵜v(>$NI@ckg[ DuəCZҮCKi(굳l:N@/A, Msov5!~Ո%cԃMG<;a0ٽ}5wt&,V8 RliGB} 4"AtrSyzoۼk)ys{!vH fhx܀]xU,%u0<2[Pe9kFu&>=>WbVl6qF~NsZuZˬ+ o}6nM+=H4}`Kxsp7б$aWV#?[| ;k3fa{~]iyYL鈍F=ZgCIQ|tc8fc |'7f5_~ ~pw"qO+g8y.Dcnk9ƖaA),YTy;#0ψ]ʄxށ$! 2,;N8UC:w4 S}lT]L)g n@rE_wuT?QaxmM[!zX}^2YPDZ6cֳirRÚChKQQTFVbd36_dxJZϝW"V}ыWgX(S~`ٗ W3Po3E%7´ /ٞ/pjLK~F)nW-ѫڵl)zBIP?p=KO!Cב|,r 8Pxypyc۾ò\L)D{?--?q"/k P)GFzIP]7+B,jDkiyuo6\qF<4ao{b^B*24rM#]7!rيm x^l:K~<*a5 xrUU}ʔF\lOQ՚w78V/@8]2"@P{@N}n N5y0*/\seZ"r az#k\GkEehUpN+=9#5Ejo>I dFbyK՞^:Q&5 `ޝޥ&Qme)(y]II>Z-mI's-c6&ZƆx<1{,.dPV>K =^J>􊔙%V%瑶iȅi g &ĩl/e]Gh&%Ͷ)Y%E(RLїҔ0moIR]c7&醬_]!i9 u`򊑅g_"cκWf֧ :h䳠n&|La'$΄@ZNw>+vLR }O[fʇ+c&," Pma+$L-!Qh(sR~8f$岧!7O;FL5_$OX,)|4|y!I Qٳ=X.'J7% 3v#ڸ.X,  $j1e Jx>(|P\gDgY7P[7?aZjqcVc[pͿ}Mx쾾Zu0owgs8o!#8_pS}J%Y"͂ %We-Z ]ufwqgyafz% 1|=r񹼄='7UnLATss5l{?8 Ȭ -Hx?f,j\kͷOdOIfbX,}^Veۚ ƭ+ҢMr͹|؊FA"u9J:: μ1\W ,+f/@W* 4nf +2u?Ϲ; E9'4JĞ8 į;@h|璽op*  hsc"J';g'=G\^bw#.Ⱥ #TPr$wv?5I 59ݘ{y"ׇ*^ʯiR$].ckeOpTWSJ#=SRèSFZmma1rTI_vKwG%arwFueGeBڳ5UœL R~;}gWjjwaZÔD.ʗbCtЮ+3$BGZqBOt E%b>ti[;YrĉQD`;T\s!PZDۿpԀH$er##G|ro7a랢#ń{+|Ý[ԔN֘*f}V|\$.h S/\TS"D9 0iXȼ*&cRZ=J"=4h̋_?=H}XAoj2NY:rZ=H> # Y/j`9 g Y]ؔ!.XSbVv]S6ӣAxx0\ɡSCOأdI՛1࠮R+MֶX8z<b\*T1{Q.oތ#v*Q.:NLtOJ5#kSMOT75=%6f*s2擗b?\dZXGPndS+É{} $n"S6!v8F./+I^Gyf 3ɧP g2, ؎.-)pP^8`삪uLmp8Iq{s QEPyH!T3;OnQ7x5dH{fPt,(r!\^'y܈-X$G!yyPԂz1NLNm$KoEp|8phzjRҮedI[BǴI&n %B(T6rX3il5#*)e}BBӛ8*Zٶgg3OIxxLwA9\ik dU|5\Xy/KLo%nk "?kͶ]7_5W`[0CZ Qށ@g!9Y?g@NZ+[+4#XM|=7E^bl*kȳM#|,sZ=di CK&_x;?-m((,x"~|H#\Q]oW]8>=UV \* g~QRdN'UvLxilg(n,qBɒY1wtD&gB"g)R-`U&"^gi84qhD]V&C) g=ze*_β\qǜ|](5.4 ed0a䋇X߻륥oC;z:0Լg r.le@Рx'Aѽٱ (GSՄAז 7eBNT@y^[{@̞_Wʢ@y9TpF:3aL1Y%@Gݾ '7Rl(zK#aI0wpS1d<& k9vtr:le&u[߽:@pӿTn}$,I!,H0]=KnPnH@S[觊뢞ScO"Ώ`t0qU et{'u$z^c`˻)`IB1]y}4me"1gypa6,"hх % 8㨕pN=8|^ik@-{S+o7u|+],nm,Rez+icQ`!w@ϛgh uE'>z0=d&;'@B߁z^t߱ڎtwA\]ב&W ų7 #ߓ5QT_tm|SO!z{C&aTA}j;D&(OQ݉҄;uypbJ'&;(9@P(AY/U Рzam{ `d9ƘɳC6KBxV=7G#Q#p/Glo@h]6't(fm}ezd-.CBNq$g?1J8,0ݪc˅H@o$I̅fVߑABAgLYǔf\(j!>&zZ&fwn5?DaҴ*D3XI}n"(&; -Ѕt|ogA?YkэQN[ֹ5[~aUW|8]s_-ƈ՞E@}:W$F a2)9k{@B gz @r<\*پ˛zǕu$;RFRn(V6| /iAݛeezw1ޟ_՛"c`Y^DC' w^7 I'"U r9;mkdP$[󀛫ԚĄ<|ҥicmAsb*{Qeꬼs \4!ًql 9|}Nպ.ؘؕV凴n;zHmÎ\.=:<#řKJ XG "Q[$3qk:qqReܺoCܑ!N, %:߁2lCvr5,9;7Vn:.ȦDF`9|&rݻ=m~PmxknT|;UܫwC껊O47WwvкlhxlweKG:|\I܇c#y4d8L ϡj3kQ{;n[D&^ _M$ -'z~fpK`]0e|qdtÑƞOTjc8ggӆ ^'22ȐvyF$lB^gii;3OZMsȹxGKj],3U;dP09hE!=? ;.KWC$@hO"W U ch^qH l10ejcBڒ7=~c;FaBN9|Q(e)sԗ| !*[-hDj),c2ÎHszǍgp`& XiL:eXgBn}wtrqOj8woPQl3=F4AF?| U@vshk]i4:q^ "HГɳ8~d lVݤ@h6ej8=+j_64@zeC8ի Fa}ux5T~t!q*`Ɛ%$ QrT}!IV6%: 9&MRֹFAS_`+sH((X-BINeaKz4}ќ?omkk"fӣ5Mdwv`ct4ϗd_`.'>2eEXk,$՝&# _E_bg'1O҅w,T[^ BtӲ;e%zKtuKЎ /[0b%gcvlhy9fHVUuc]C'$/C#ۤkc 0\V4\I29*epz~:ȘvNh->1kcYo @fޑ<5 Տ|śCQ4mYuYϬk=G2Q[?a$XSV܉ Ot`si6z2IU׭qcS{-dfQ2ҫpUT+G a əTՆƾ0Kf(J4lnv¥C %M'BubAۄg]5 Oܦ?' +`[OĶYKw)4n8al-Ϋ+$W:[o'Lgjp-NWu̧n:A5IR'(tǺ?&jcpv6L4ůsێth7SY./Zda|vÃrw`jcT[1w7@ 0RǠ2[EϠb[+4rW^?As]VY{X,d?tErR ӰM7?guj}ᚺO(2!c%dL&9 ʀJ`c^ {'ⳡ*&-PSyJfgS֢١}ȏ8R .`tzN;7,rRKYkMArw۠ϙ<]:ry.u, :s@%'=O,1pt%ϟcL!uP>kHy`c>z=]:qJ, b;9ꋎm( C(HQ Kc2,$>.>іF*vh`KXUobgJ.PB A ٴTKU~Kd¦ ř `z{*e-3.mZ]pع<tC>+fUTȨT-VcƕlrKa$#[ tѾH,x4vY 94r}nY(oS;RZ?@Zk=޼Hm}EKD wќaW671Ւm7Ţ::Ȍ FIF Ru$';DjMM'j'0Ϟ$xc@]L:I,3@?=߳K?bnҰ/J ]>ں#Nu#]-6>|x iM vpw4M_Kް;*P!.tY6v Ӵ$Fa+ofgl$>uvsƧvICՌŕwRL)H$J;7H\dZ4(uJR*:@i1lT!(D/8a囈 i)u?m#b8#XIc4дVj%I:ql)CҩOEr8(æ"r.xv4ìqy|3{ؖeAY,>3*( kp׬!U䓟y#/e;~'{`t{$,@r ƒih;yUM! jȏſl2V獿7(uV;"f`5N lķL2%Ǭ9G3|Ucz=8?㕧u:!'>xLwʡ0Q#Pձ?ziٳw 6j) MdЛɀ)by*FwU?ٽ˙., {Vl/V}O薸t1wcDi0 |>kY 2Z,wZk7P*N/kVӟM11DɪhH2&*4! @ǀ*2ٳٙ}յq6hܾgҿ;}PEɄ83B+}zO1V4غ/u܆"Wl+l[}<&H+15w6ƱLхIwh& ]mҿ^^nC;(%KHxg 59@;˺N= VNb?*apn{a B1Qw=6W"0e7H0 ;4 B{գ1Eqi3< w׻naJX(U{A1 l%-5h5U]zC]OR&xdte 8F%]AЪWxRNup]Z FhMȣǸ"t1MJT4;JWJ HX|FtEAx9F>fU;w ,k ?׸lD*~g|jTJ;gﰠ a/[O~x5r60K&oepHf~JRfI@|14,rBFEW D Myu RSXN%(czߝUP<|VA r(=7̉Vb:ZXͥ~ o)8ЋM~ x%G!QxN; :mJ>0ˑżgEa&7q2ّ[!~e $vg=B>k D} X+J{&9^jwqz M\WrY,rR/!5.N}ҷ77[;d2ojnv'l`c9vy =igTբBW h)uE$Lm.-ҋ)n&n[p:OwyXx[\aG{Y8>͢ynOh$lçÝ($$ 4xEoI:)tcE# `_9Kjկ~cUMHʆJXچubݼ?̟|& IEfryuΏҫu e0n#R3ٵ4jSY$늅cqgotסȋqBFLqA"?$פcXs1S{/3(shފ"s]͔80I={hysn 0o A6Nx}~io(4!n]_dPRUfmVG7Tk+Mu%1w7p ԦX#CKdLS|P(rC%N+vu0+n81 lm>B2Ȫ Y'[$O}2m` Zf;a4tb+'a71u<;Сj`Ð=C_6}(DXsn%Wf5q{?9K컻(7cٳU;T ^4tM2*|,R)P7LNǼd`.6sy3MM (VАc_'iWW'qN{@DpD:n˽F1쳣_ ϝF RyMRi3N&S WMNOel.eU8-_H鳚 fhTk n)Y;%*$ES;Qdפ-9nm<6 Ai0ou6ܕW.3W$#MMGM~bq;b:AME\FT_ J̘n'iqh#u|6;en3&mY*Xzpw/5C,v #ReC\-_sLgF(<]Ӟfr9Y"=_]:&h9ݻ Haw/=, U]iUNV?%~а>  £_S:u?ب;qb.P5b峹4b0bcC 1n0s!Xj>7 -fiL;q;܅-rR \z,dB%R?x؅{*M9U- G0̾I6q0 fyg_sW/C8PimĆc;4[gñ 7A=[(װ6K#b|%k>"tJiAt}Uq)vޞ6 gx[_)-:aqTgG)M 8y'ݶ#d( ~"3GvB}1h=@6CӑU1FCWF^yN{z(eΗ *Ê,`r/)ɱ8gˍ%XvHe{FLZ =2*O񢚩WVN()>ʟ8zd߯jLQMUΐ(;e@Q(9 ve)}jpo;bicoy_'] LeP[l)&jFx'.Yиy UԱdv یxOuhmϾADi'QdK#wi JA{ & GF -4 3`d}j5ЖRCbuxݬ+8FFX*#9$V8O:s# [x2xpa]Qq ߅ﴯz.2G?%u71*K:t8H<>mrEo~ɋ0~^Q(_ *4mI+h(TB" l Herb?87.uk xUi[At#~!ܔtOMEX2{ Ae4#7<_zvK0c)ON(8D¹ZyJ&y/뗸Uz s82eꖞ]*ȿgz^TQR%$F~4 Ss &63GF6mhǩyD>Ƹ:sF+Bs>; ioύ=DT>\?ݙoXxb[yF"")À'O^?W\jiXZ%'R>y@ёbx&q%)=@YiQ/$"_>#GDmݵ :zKwe) 8@(1XE4 3b["e7&s r}CF/ߞ/7̨@-RgȗҚep><'Ẑ%W.cq{B"66?w5N4JªȚr.0O=.Z^f ⪗T5H?+8wIr%]тP>j\ד&A! ưbATa O= := vjnYyvنcPt? AYIw5)TF;Vߺ}vz&,E6_oYo56nUG 8 x(l!:]cO7L<hSV&tq?9A1eOY+SH%ˌa\"ÌH%2tS2?GN\^֥=?I]ݣ]MT ֋n^,KA9tj_1?@`#utB\VknB(MDDBIcHnN*9#@[$ ,T?w69jqe<z=tQT P ʹA̙Y$| hAfR L& w ffǝd(Bry6@кm(o0Ls΍A]<7zMKM +3S-xvIB6m A.X YtN%NϜXsrAUP^ȰP&W<-uqf6fAodD-ȹvKI؊#^Eɡ79]Im_+>?1ǒ|HrzaJzl-=iu:̂f2DBE\Y)C2Hɴfd*ghn!_22c<H5s]?"Й(h!kк6U%º^&$pP"NU% -h+YSk8N7w \Ԑ-O*NwWz}DȦ@%p6_@/B5HzrK*;d[{a ;dd8a0h? ιWmdr͛+?[v&mIa#FW:" jG-=Z0D:ODT8 6# 7Nѻ%ɞAr`MZF48 J 5T}K7\yhHgЫ5M˜%I.Tѯ2*YAK:%S)bɭٚ2+"F̓_`?nbp5 !Ko/FD( @ YZWrjZh-Qc `Wd"Н<+Z%cb[~a쏁ixg55k©+ӄ=YlHz*U,*K61-I4Z, 1CltmY/Y͉ ܭ!҈j2gr.j0:/"ᕼ@+_h3Siߔ*.BȏZk 9ұԪzgiPٸZ MNdT;*b XuvxPnsV^=jB,MQ$>Ap6`bN?}F3]gKeo7GlYУljj: u|ZH؋K Ѹx -U"ykϴx^F$ .^mj.;%;^݅Eŕ;v|K-*$%JA4*jS Y4)B1ՀTP568z63X>rAUHoTә* jj_ 5Zᨱ/@Ll[Y^YP'1{X8Pnk.Ɔx ?%lUCAᚏD2qt@`C_jèKM];0bGiOZQPz ޕI'V?Rb^V; B 96lY (` #@;2A{ yǗΦ[%J-iNyd<إdmQL:~WoTTv&~vnOaLN6a9~5ϻNb> rhY|Gpsne),ydȹ o CMʠAiwv^naНUVH+o*{'xefc$;|v:xn# {ŒwP;IJY;}t[+ D;i֫g4R}XQ|ęy˃Pd}rwh?-KwΓhnYWQ{D+ ;2 Z>be}HQ,B 0MK*9/43wwL-6F6d0q:",)x)&vzcS sR>:Cxt =2 /U%>k6k8-Ё'H7T?0P7_&EX*#fß-*GqebH IAW.{Vfl1Q0RDaKcJHG^<*IXGor )e :#ki`$w,n{yMq Wx!3E, ڒao_==h`NO0=[l4SGf}(vJKl۬`zUC?8XGG>H}M6\٢KaA&aKD^civ؞2N #z,H}iw3 vDLT?;_0S\'3@mL y3m& Rrl?5.p+lU{ GOWFn;7Da7n5;.R|#ma=`1Dwޭd\#]@oIng&6) ].}ڂϓ]]%Ue}%ܕ?46mZ\Q\ dy7#o5Mn+R5 B;z>'cK1q ׮S7`+/> $wZ_ZL.L!Z8=" P/yJ.Y 0`S}od\I! \  / ,o30'æR^5?wט\^%ӈp2f:bpƭO9!Qw!lٔc`.* BV%K-#`z@?}tij}c(5˺6WYyÑ" -ٖ/=տgVde'8#(Siku-hF'󒞕-ĉ`V'h 1E̋UQ2H6׎?s?wpjUUnp;a9kދ>A~!"Z㚀pXVJO8,Kwy$F`%ݧ=-:mZ`=HrH.:67>Y{铋MֆoaTfЭ~q3*8jyU $J[,| c3B}h%xR(HDkrL9`r# &δS+aʜx>%R.JӽcXˊl!:0I;];V'MHK52SHKyk0f\%oJ+pU@Ӈ:ҎNO-@/(!a,tuHh@1poTqhGr0Im8~JDQ+w+qz2}kD;L, +T빳 ųV0ٓ Gy02͝nݨO:}6CN%>*6TW @UعD/pэ)5j\(8*sTO$ܣ*gMywR7#N7P ۆtyvR3:p%fwQioo 0&ħzRI V3SB(M<[62rab6)wӿveT3еנ,h'ؖ|tV |>cբ[giF̰P]S75qIw_xOH, ,HC7cfEeoU ^W5' \I68\FBsG.M]{*+~vV<3$H_YTaW >s ZF DKy~$EU?$(,քszeЈt(bs:[Z;Mqؗb\0wהJ_ߎ0H5&ӺaRv.Qz?"*)YӇ1⁚SiOQܽfixPE Gv~.)3r{3QW7 c(l?uhrc͵qk\=ndcKU UCxPgEw2q-T;[L} :b0܁9/ v5=fHhEvp|rS1. S"0T1}.Ydα!ɑzV(1l !>ȏ'KuHUtF!*Har't|!|xH/.IM>=(fTmz2S-bm6 txMrF4q_ۍԆv@D>"@HqN ;!tM&1>(ѓtRb_XHHJ 0)!4 )ZmzLe"hLWO?ܑn2DH8M_€6rB|New9ᮼ[Jte޵G4*PKkhK}Cyuc+LyaҎDwۈ5\ izDXy~^L7n|ci?ۤpxUbe ԧ֤WS ~R n@!xUЭc8!A.p8/-T0FЙ'Q`K2})wzfAI5dGTS:5PeZNUIǚ~^zP#jfQ3xŽZ<"=6x}&* 5E~TFrZ`L W_Vy/RBȉ&k9sz|WyZGK_K_텱j- _ yݰY>X!9/Td%L֭mZ =SSri'rЁNEjESc'.0gM Q0bIQ CpDv R/Uj"_{_$:u7z1 <7N4LY+0HãvMInaڎFSInMv0]O.b?^joam_b]x#6፴ +kawo?a~KDZ9U$p>;$*]Nvvq0lXvss 4 TOHVF78~X':exU#V1^zțf=VT2%sulCNನy8&j'] kXL&~ >Mcp\5׳CNikĶ+*Vrh!VfY)Da~h26ݑʁA˱gYZc31221b3739c2cf109fb7fdfcb4388043b7fe14d9cd33e2f2669d2e2ef0833012528b204015b12df096c767db30cd8a3cd9f4566b8e8686273cb0e82