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 %,,d ]/]HOL-Analysis:threads=6elapsed=361.481cpu=1854.412gc=127.148factor=5.137zXZִF! -NYN]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm? 첬dOk`&tj*k렻YgU*sS9CyDoȥ/H7ޱ`j}vRaJ7* rsϯP`:!c@_v]. K'55 .%t1qs} a-*٨JsMwns? f޴"ЯtkG=d7-7dKMq3`0#6+Wnlɔ4l'[ rc % HOL-Analysis  soJ?Kw[R&}k̛Bb$EWՄbR;&ڳ1 _R ȩQa$5y !_aNp@QWd-"p2=w1|͹ ojƨ0^^yFYY%Qfe׍BYR!?l`9Wɣֳӷn1{|&yYO^[?=b_31cm~JEp,,],[Tm aSG$yP{ f)‘- w{ui %^ki ewW5|5eP?We*2p91 ^+tcl?D %k(4u<֣"I.͔ pͳDCc^̗z5HK0qSn+ VHrpZт>gE[yv^A dO6@uǍn/Ru0"d.*i`:wzq} oLUK5dgwT:؅6c6- ɞz2n_#s#, qfhJGN V`MF@Q8^^`\'q8/jq?aҷ}Rh "5[3as0˥˜ѣCgtX-ד1V앨uQ &4ł䟽5h%6ߜ9wGZذ%Lh@ᓒ(YeCieaR'm G✡vAAQxtҒX!w| HXyd&xZ%0qW<:GXT׷D6q8{zo|&d(;kN@;f/$Wi#2^Aݓ?&>I'ϜZ `^IW, #ocpuխtXHkW|F~x|_Y4OU6t!g.mMqN;n2 CFZgOŧ0 ))#J#w h%~iO: $zoqZt]dHH_fp^/) >PuM9V1Jg/x f(j%Ռe;VR@?f8OmÓq0XRDIU& hr+0O@\PpKGZ{]1Bv k)߮iOow9K12B,-"Ԭ]ʿHhס垩>*f[ ˞ %ÝGutN6kr Y=ȥް7 CʞqM@K7E\gs.'}Mn!tB,*ȻKQ砢7]I 牰}5iRuAn[B, qH+f4ٺa"qiV Q)Ohc)wdWCxë v 󷯐6ORmM/LHg a+#r@PObCЗE0{{ xi_fd1 ^ I: eY'&>tl2򧃯P^YKKNIՈ'&%ݬZYv:E ,k4HY5].Eɹu «nܨ?c*9ڑK( aA&E2\Q4;aǪz]::JI# u3S(D&^ܡ/d y՚Em@Dad|3ڀ2}L5&4s|{Uy6R̡ _t>#2#4{̟VaLN^hu[ +1[Lg ?Af')VT. :!SM-mQR0kaqwEZהuȓ6 ujnEb,d-_C{-ko^(;N] [_;ߜ7o+[29'd~=xO7gV䞪+7 U L`8Lb<9Xo>AR'+?՞mJYWx٢Z! Tޮf4)}'{6A ~` є#ٱs<j+< @t6C*Au;%SAJ;L8\_k .C2PW(Y z,mP~|^}/|GGkj(񽄩-ؐE~o~^V$Ⱦcظ p'6%LoZ~:{vĩ.^=CY#Ɋ5PzxH;ncya4ǜ$.eiыtݞFlXT&٥Kk[k2VSf-8;:mЗHIp}N2}T^0ŻcF'2[ .x$oطkW٢`ͤ?]&)A l+> K2%~׬DXʥlk5#f-?T0D"/lY\˻d`æ`CyIo+xS32o1=)&υNQ[x7iT NU-[$L5s<_D1iQ탪EVSv K"&K83("KlֽZ e/43 wt!kiq.U[7_0c1;ܜI mphBAn1)..)brYc!B-!pRu!zi[{+_qβ%AIYE4՟Xc ^&ܬm )c[I4_`GZ s]j1k҇3|41PR\gHv?F" 72چIa@?JPkeDI3,T}='J£&_O{j"GKu +q/sv tu^Ȩ.][.o#g=-.c`:@w۰-U}A(M Cٍt-ԥ Ea۬w;Y-)};!tiETV҃-[Q fPYݻj.mӅ0Y`hDt{WPQ@qw87;gi_fϋLiOanUxpb["6,q>KlɎ~:5MjB sf=8 9+VTࢧ^%&}xF2Qlvdl Z |1-JͶ^:tyئgc*.U&: 1'^mP4B;6ņGrEYdD@5u*ϰSD+Sq ].[ %Fv."M봓zv#~%ɃK{?U* F}dOBr]pw)bCu5V&VwjDʣer=wj!'嚘9('lnGuBX}fBi32bouT ":ݷ&9`\⃼vCon s4НetYX=T<ʜ[^η֤"$0=4D TU<;nOsG9??hCԍ0ͫȡqw;V9W:z\L/7? ۺ>KzU9I ';_hyڈ=%x ۫q!;Bol.D9nJb7=gAr ?[u|sMNY/@u$n@aAZY;}aaC#&Q琖%KR[r AS Jx>>2)*y_ZSO7x)%]wU2^L>?<3P9N`j ًgl._ˆ?ݑe aCGrkXjI uMI, rmzjYP6/F߃&L*Y9+śy UY aFAAM::[3i&^ps~oT`pDaR7Gj<` ]"  =&De'mc2Ol4@bj@E 2 $f\k >/ϾI8಩Qn5QÚ/Li Z~N9t0 J0.p3~մAD필 (JHXEn4mpOkԷ6LLOUyJfx9hm0.E_ztWN1j!,,IsكGYe79-M:8Iןn,)Q{_O2lYex,cvd )Tab%<ӿ1\daq qo2ĞcqVN W335t *c,R_|VsSwʈB8滂= 9 9cJ 豏"8FOų8prgh4K%) bp{w$M~U^+!_D@fac)iq5Ǘ;2. (4^:j-&G?eU0Hܰ;2E+5Z#u>Op€mː?eiv'}FiTV0sU~0EMͣ2')Ϣe-݆ J %MSrg 3/ |m"v hܡ\fd;^_7Z;:4NWMɦb*qX%&1|]bsz;mgr+B-{Y"p2cR0N!D) ?yq=}m1 v\{d A ,vVӡsN:mxkc͡>&eҤ@jl_Fr$şE q5iXC9  L$:\@8$ ltv=;fGvW6$N/(I1أA"滎+ ڄӅ{0X"o2d ٫-* '[Na2dFv=LD?we0Wlw;FFH@?| %M 0*pT Ҽ8*4|D"1>}BvUꨬO Z+Lɒt.sbLzș黎Nn]4;;epOT3[ùP&q55XH"Ej+Tve=jȊ(YvSX `cջx{}uo+/ _v՛X, }2\Z³IL  XًcBiI9!YSÝ #Odw(})%S.P2\j49Rl9=\M=R(z}b~Igϊ"7ا&Ǣa2(|(6\vu*a+,1l8%D;AmN%|>n>"|!- %NS\xM8c) 1 .Ã!B⹞kir}b?f/u3Um*>{ B/CrN;[vB]@`VoU D,wF,}8G5 դqBcY5Tٴb22QId ω+djb\/*_'QT&xΤ.J+;}b|A ^o_?%ؓLTn I(༾h%ҳ{qn%kM?F6҆AqAڞ<J\1\A] Mpx|[oaM1j&@D{%9TC@զu%hneV>A9/aBg{N3B[|25xw?Iv[-Cī[NYXz3S x gBT pXyTQ%u+w* DD\b:Vcj%UIyugm].m #WEq+wehs7VFneI-n'+j:mF޸=8۠N!+$9Zr y9c6L ˵}eI_Q?PhTX'MHp(~eOI^̘m t&f1AR%N:J};ʠgGro8#E6]J./$mڢsFV@iW*b SC'%ji@,s3-mDhO4R. ppjrX",rhF=t'){NYU. O)H2lp'$r"$вC/>ׅkwz cKy'ޚZ%Bȇ𜨤B]VfzTO56UHX~7zX_Q[?ŽE(<3&^(/6|QG#ZAl{IiO5,Et0~&ϿqbIX1{m,vW`~K h uK |=MRwծ^VxeeL/ U`۟ 8i#&CmJԻ_%Վ7BwK_IOHԬQm0`29򱪉1'-2J4 fُ* %6bϧiHl+Aو#%q]JVf^G]Ƥn~)˗8ٴD_A+Of+NT>L2 ):ss*dՇ:VY"v21!aٱR= yak|#*(dwvjgR) ۬aw~Q?$u}Ij)*G&Ʀ5D/ =(x'B^vMg r17. ' I+5*@e PUT]@b9 ۃA@ :M$\j5MPh=ܫȇC֯֊Iґu`r 3La#u겁 5{(3!oNqwHdoH}pG~eIh`דVqi~Kh*<{O7( š#eU26/uWof]~y..x> Z~ƼAr@V!ڑ;`ʁT1NIOl?VJ?NsIƱtYm4ic-%qJ+;H[ؠ~N$ͯRBՙ T8Sk7l2yS=~y=$sEl,uNvɟ 1JV\:a~ßW!nUXWZA#~Tw$CbbpL\K\ϣ~ttD$4 TN>ſ}߫]@Y)=5F%o m|bJk+^:h ^8SPzr%.Yu4#"[{h)?%rWT⻱1YMK@:!PMk;n>J#2Vl\EټƆ$T U~dD#2?s4=2gP HŢf|F#<5Y3o: إ-ZK01)sakC6x.sjZu!V er`(qLsȿުK\ʲ|,t7[Ȥk-&k7*vp3_fKȞcRܫ% c*9ɬNMMzB>fXT搝ᩯxߍuɻ_sjjv6 #OKf?AVvmfu7UYU\)լ\GM{%iTbEd9+kA?X59]c!+Qp*ܙ/._geu#Ք\ -o:ٍ6pYa(G3+5mq*b|,%#.|M_qw5Bl7& re6&RysR ֟>A`EcZ#.I P X⧻ᗐm*s4&K>Mjޘy] 'HFqJΤiamn?3u;NAÆja/w9u"ZFM9:,XMQAȻehl[VԊ|dƨe/2HͳqN#@b M*|(=!)9fXħ'8xmsOb&6nF6D^!t\RAN`Rfe#e^",3qsws/ yy@%d_A/]-Kø(X(4֢E ;fݞ*='phy 1(Sq!  N: ?<@ :AqXvhF䢿\iDh?JaN:s$s!J^%Mv//}.: w_`&M+V)U[G!MDp ܢBX_w,F MͯhK9q( ;m PLo7V(=4^}4}*26=7lrQY@O>^nVt|MϏnvp5my6RH><5A_ji<[X ^ /Ymy8v(P 9uϒہFW|Fg$\Ydꒃ,-oů |$<0o$Peɻ:Zjrb0!opE (?,2kYmAN_1-7uX2+]J"'(j͒0 zrQڪzȯ"gR6(?%(kN:̗uÕC|7#!3Q< QXs)wM"n 8"c IX jNc;K9wZ+v#ɋ u*z-úE">!"ykr+[V<ŵ)˄Ƈn"[U҉$殅әsS"j yÿt)>o=R4N<,H+vJ(-KKJWy;)ZGԐFZ~;ڿKe"8zZ;Wݪ(ۋM|Id^;p(;md1-p\O anRMsH50$;mQ}2Xk8W6.DdairT11|4$V?pw-C|I2!4=Ւ6ٴŨ,=#L%B~!xFg]mBCkV?z%hr?h+Wv##B*hޠ"r;" щ@?8&jh|n1Iz _OP:wg8IYNPOa8Q a!)f j!S__"7Gf&Fw2BbV!=Ma)zGᨶP*hLOMF7s_%_EbFr+JJ|l[>=n?;p> di:E"swY b2w͝ߘx=Y\dݛQ0g YL-i LwZ-i4)}_e{>UpuB"<E9&R:ʈSZ!M_ + btjNz2ީZKWṏ;@k^tUMYzcj]'gүwrc\@`{i CڜwIu_45{=dakG@Hռ)i\=Nzj%IQBGYExZ+FXj0C ~RSgc,cdf>[̝wxjXDŸIo o.s6&h@jbo9vJJ~78> ereΩ/i z%/}mr 24ISOĜl:d ʉW5dlo:M]-ŎlcWEp$ۆ\$e@5< 3DAn?Z E]D#oyQ0:x 8'vki'.Me: kVQY0Xm=h?;J B8ޣ&u6~C,=ـ: a7pIL qrAZΣΰdjy)?Nc[X%6' 0 i|^tY"Uf˃~";bn@~Q"u鹲ȁwbo!@E .^xJP^J s7T7uOxW$lhH2,}?u(yQLA POF9akҥ(EwաC$'?!vx~%%ZQuA1efZ܏=6n:'ځL&إ$zQ9{—}὏^3 ӧwk꘼ՠk# mJa 99[ m9J Ř/J~KR6m-iqGޯ҇RT 7JFNqQ/h s@jyyxr0 .3eΈ~P9WJJU]$naR38И>V'1 pu$݁TK}y=Tpve6=M'Q!h=hV~OcDo] lPwśdyBOʈ8{ZT'ĒVʲL=>'n\R"<ըRIJe^*!K;P>X{ DsPY dQ%Q'L<&v6ܜ/l 12}6Y;΅`@`Y:Jej%u4y)d)AW|~-"/K&+,nЦ˪D kM#$y.+ {r2;M "K$|wK='=?%ÈPm8H9 0"\ VfJ҃AZ@pkW$1(@@",:_/4a!%nunaNKTi~(Q#AJS*ϰv$ߗ (\fV[N4*飌CSQiE^,L)SmbIk71&6m5mFCqr~MeP*n$eC@jqHl í|Hdqⓢ؞ȶ|{5An^>E(×IL*@,;8ifbByזle(I1%nftT\LZ}W5lxSfͅLë_DZ4/WȘQ1N6!^\.oQ(89s{"?uOϚ*G,R|j/`AjjIzk%?GcMZ@U;}\Zbx1 6~pQ}~V7ϴc \J&Cq߼L,VxnɥVS[a3YKIp̱茬6wÙϧ$} Mmk\xꦵ)Ld+o) / %IuxI~҂{Xe԰LTI1%>Wd L"=N@r6ވ?hɖpWV&uRA0Cnn4brj81a`ZҐ@RusbWLr8eXZ䋎Y^/1Һ˲.z~y~zxc]exv.8LsxlHU`Uu2G+hC Rp^;iB;ă g_xʪʺcsZӤ6%c;渎M%GADcCp-*E.>唥?< |FLgY%`ۢ9K:oD1^ҷ X^8sHlz6G͔de~;)EV <[ `YY7rDd&~nE>$2<ռ" sXiޕb֓<|)V)$|z " ͎ѧv/6 /I-:VPBtwi_F*zzW31axE7K6?-N?Y'd<2I͌"v3fR?ŋ 3<@=Rb['vTxvw(=N}m^]3'pDk xZ1^IRMtȽ.,PS oP&yXt[dok[6` DP{O4;[ɟAH.b"nAj(ð˪:+K ,9,a2zjgJcQYrf@yRbM@T_ÚoaUmiz%^,1 mmDe֗OQֺڣi=oB @6͊W`=t4iN|V)/2B_wJ X($!=j9z/lP~dlHx ̱IptxRɒ. (?b|i9נw4Kf ̙5^EMQ޻@x8{'{PZ1 I9Q2(?4ɪ(`,7wrnLjڈ?"_ag 9Dm$ۮ?M9ne!-.V +M+n`0 D&u!6i/x^uSNv8=#4uBEک<|0c@0!N*d؋҈G-\tlKhˊrgUFaw&CI{)O}|%ftW6U_|RN"bf H.7zeUw܀Rf €aY{BI8:w^q*N'Ohey&ۙuIpU__[l]S"+W^W=#}=R2oS4~ea;{X9ALǶ%uU9m~?3~?hh]w osMh۠a#l>Qesy:sm#0.a^&OLڭZPJH8'Z_azPljn2p@,n0r!1 1M6 0| wU^;VdycT P]/O BJU#]S@^AOo8'OvI!4w%Mޓa`Zc/mL;4atR : o#x Hg,0Dlp)Xbf'WƓM>8myQHj`);o,gu02P^4~yëu%TeJ,h"g7ycY?ʌt+y?^O5v,3)Nvk aH}@lB؂ F7,J3J2-u) Xe/$8a] a0yTFcb4uqQгkJ]bTnn ,pןUy)s8ט.<לv) ]A-%*%(?uo__u#&+k-K]TAi!zp,K:OL [SY~мA@,ߔo݄׏'W1L߲Җ75 ,i *ۥ!v9_! } Mר$YF{1)i,nݐ*|VGft:d>lQH-PtЌG=;9tT}wa!?q﹁`a_be=XO@HJd_؉.S)yZꀁ?mbN++1j z$Njgt8E Pv/al ީ˙fi.cZl & @ o^ͺUu'ey*+B,1#z3=IkԐK[= ~};ד%,q(00E; gL_m_xHtqFYD spy/’l1䃘f=E&bWz6*"{ak-d?OW<01! }䀯6(Yޗ恞AJU;A;QUڌmQG<3 EDtG]sh^ZLy+~ JJ;tgE~dCDEI!E 4zXGoeW+dDנyn[ \U쮍ae;;QCKvz*ߠ(FC#t#MԖdzIɮw}"nEv/\.Ugm/Y<+ugRTwG $-18.$C "qƒJ(& HtHjTQ }_"Ԟ]Ѥ~ʬٽ3!DǸ47uvxm}96D{Dׇk5D zb6vkuKXo< h=[NHƁKx½u]{H0E 0b.j^2ts*N}>v+nX%t P,1˄dC63'/jp"ѕ 2;%v 邗VMMAd4xYfiflZ8&pJ\aU! [{$>#ۖۯ+]K}ãF;%{ %2HL`C46jQZs}/{υdyG 2gq !ڵ䇣';=۳r "b#\`(nCE(;;ei eHٴihJϗ")1åӀ> x$j' Rj6k˞0TmfQ ×y|w.)|F }&9"ֵ-#[7;ithZZ]VQU$[˒^)}"V< 3OVv8YѽV<Ǡ='M1*+/BU[=s--o:$IRmђptb`Q\+ǵp㺱nw;xŽ%J$56E3EpZi`UH:B/gN930 /M#9:J|j 0vբ_8J!i":ЂZ (=`[.o A86M\v52C[Ǭ%Șrkn&A!/nzV]a]kvrUN^I%H9YTHH2k˟6)ȼ=+6V9HC0-NľI:BpD ml3Z{o'@KV4zK:`IJbnM-Li{V];J|WU}/ r4g))eMsfKDrc3>j~ ˁ.:&t4@@Y^: "ك,&h J7q;ZHdu I2*|n,n+@iXu;Qw*xϣPv6\߰ MnҪ]Q̎7?"cf'n}>h~/"EnEͦ4^=j^I/Q0".x 9Р8\>VP>1-o 1qQt@|B_G3'`B{\9V%0E5AH QZ@nN ]b8]u@w+XYWڨ%E}j{#b2)ށȭ/2/=REqn*D`n^0o+ meU%F/YwϺCf^> ` 2G{MO2Ψul"5&+3h #GOV*RQp('y3鰶S4Q˺$h{$`D_bk]ҿ5$(PZmcuط87TF@  $8J28=Aۡ=d.Ъ)|f81!Fy۠^rs嫠] @oy;M8V,PҤB|;7]6(s剽#Ӻ>`5D :X@1'B7}Y QzՙFWXt2g_ |= Ң-iNTf0S\7.o{DTƆA+0<Ln'/|#_0xW؞*Y+=o {6QVvj+Dwk8 { VDIƙ5{)r%꒞M]*IYuDǫ[?#y~޺;P=DljP&d'JNx\d&Н iQnۖ|^Ukp| 1>$4Be?2r9f9lO)ʣrWohȠWہ%,< IMZkX_vڗ$}7O1MЖH֩7&%-R!rPM ]\~ï nuHjށSmn /4.v,l{!?eԖ~ mG4mܟ\J!V]κ< u,8? ĘC?z JTw|>urLWէ rD/dJ=To/|5|̠uo &lVӠ_Ο.nٕ {XAŸCt j '`y<{mnLk mY{GQw%!LjmFbE.]*V x!3D5=`N_vYf[% UћxwdU_5g4@dR``$R>%e-+ .>?K&+.:e:怾7 (Nqtz%#v^X"GZr@V7Ϋf췒52{?y7Xf5zoJ:5`6t$`CNK=h%{I .g=( ,G 6Ҝdӌ}qK0%ǨO`ͽ8~#喋Q)9fayq` n 'TVB0XFnTT&H%Z nDY몤zfǎ $:1Un!urA1:Z[I,zbb q(ɯrVnCa^ONǰ k R9>&߲)IWps/,̯3@τQ;)3ֳ~n8 3E^s BSF\<ɩk[#@O,+ү;}&{F(ˎu@q *4Y_e uꠜ9f>_֋]R^!Yҵ`*aQ}8N%}a@y*N\ ER@+TĮ][5γ>ruQT7Wv #Dl C +En&bsWa [^liz= k4ji(M5g:שeJ(A(fuy6^6nl%Z# N Gczү?; pomC HXE p]ԸlK Q?.^ܑ3rU1I%KoFfA >8y[Q~gYZ7zXZִF! |]ŗXi%G29ڬ9H`A؃5%;tSցv?PomLyF>$^5-_UtW ՚P֜^AP.>=Oo05a07:yrN,עб [5AKsKAvO[bLΤb$=B'3ZJ'I艘^JwX6XՖYmT``")b p\M t R^a<cOظt~tG06S4wt~WMO^G)=_&ChtJ(" q&*-B"ldh2@B,]mɯd@SKHXbP(hu`fX:(#VlojKqx|kQ.֠)F1[?Y~)}y,i\'P\?h=큦v%oa|.LWNby&G/iqoV߬lѳ",+afnSqCkd9[I4'#|,§J#5s 5&-r4l`zIn:JּE/f41^1 -XDh~L::#L9D`:=FUڿ|+a>Ǵk5=¾ A;3h͇RQS/0 @kR>hvUhOzD-1t<b 1ao;xU/RLXR<1<%;A4h^nzM^~_oؼG]l-RHp )"$e_{l,4WIt|}TBZW?> :Q4Y1ZWP^z.rE9릞8O;=؝( 5È5>Z\;J<8}d̻c`0&ZC}]p m,dyj1d Bd"!"𠖻Ԣ[mV4(Lpp`04e#I> 9{;]bҕ0+@BA&qЭF`\*/X+[B` KLF߯7PD!3-"Afu];RAi?;LK̮)+ˑ߁=Rߣ>Ǽ*Q%#1ageM7μ2K RRy2ڤ'ɻv[DMI 3*%v^D* q H"t9Jã3E١;kG{9 /*8Hᙻ|X'=+aV O 1"o*c_C3Y&9PM[ڬ.d\'giKrW b74Þ5(07-e~N"i9IфhnpPC09hXkj/kk|qoXaQTS.DB pxG5n֏"k )!h\?j2^jΙ7&w\ѷMX}`.iL@r>3e=1Flwm l`k^bAS3}ˁxp$Ms_<N I<o5߅ԋn3lytA;d`;X\)z;S>Jj@V:j/k1!} FKkmا6*h}zO MCXĝfP|]ӑť >2It(v>//p>mM(&ȾCуnֲxtײT[} ԰~ \N@ɉ>ȢMj\HW{s<<ڌb|. ֊:%Ej-ڬ+ܚ+D8#%bbX V=/5B*-#ו2]妸IO_b-[P?3Zⷫ`+W2%G(J%U} V,=;Oyym~Xi?WUgTSTnV]8Ok<&nMMf|Ήp8iDOpb3 \óYf:ue3SG =;OYfS9_<-|~=Xq}7J*wvSh† hpٴS]$'|tz#rɽ. YJ382A7V3G%}*&7‘[IiU+ZU ,z<.{Ӻ+4q2-<!(Ɲ;8`j[QBZ(m^fo> 5lIVL ςDqӉIG=Xv4Vdֵ?{z_ioG'K%W<h~j‰%XסwLXږ@CK2ƬEs$ ++2n׍S6n%{<Ӆq.tQw%%|Pmap Oz PY%шlv{㊷o BC  iDgJ\Jqη2u1xs6s}ȅe^;jn 5V@\(T ƶ틃D]#Y3{ .dA$6zkC~я! E$: 02'.W &`H[>{(,ebߓ YVQ_jg|I)1 O5ă3!6 cnS@F̓%n<~mn|f3we*>]B-`4 Y㊯ЊrC5,=Ft:(!\8&4Q*34j MלY纮.'x-` hĪ2>NnhB31wWfz҃W{߳W7HN4Zuee-lJQUKUkh[g+w5dWDCZ:Ñ5"|XaCyS}/ΙT*10kuhj\bP!nT7¢G95{t)*|b+ϟ1mQ~9x"G&f̨?iO&GpHN$&!3)Y gOG7> >6BO- `n$"EgPynpA.6`Y L%' 0l(wxsV窙XȭnĤl˺O)>Re.c=p[CCQpj'b^V;%"$KzHo*f}H=QOAp@S{*j *R-M,pA p}!0tCE;* W&{~ !lN?RÌ$|9]Qph:{LQ1W=IY(=F9$sm1VʺPAi-TۯBMepMd(\[ HN@eҪ +S E?SX?>s4sLf iÛAq2;UN}M`HR@qy(e k!l~}dG8dJK$ DM|*#.{ @~fEqW.Pifğ:*ҙ-ғnt梸6f  VA.PAMNVïw#4K1Ȳ4"JZ!Ojё^ !,Y *ozzس⶷]0U9gӒMٟB4,>GvؕݫLRT1L)F(MD@|AEI!:( QbW`řR CUE@*mAM5՞LKQkttEy^%\|kBnhT.t[_xck= ^hv@QZ23đe$ZId "FQP{F]L6D6yBSI ]a/ʡTSf}2 Ka$UhZVs'It`g3 zY_aK3=E`)U fT~5<FR~~dB19i%LEe&ZcP_mgx-.)L8tF~6%Qxϟx'-KyƚB&3;Mgk^*.(rơ<":Bje$gw?k|fрa3DFj2!"BQ%Kg_hm.f;?u \=`EvpnvTB_ ֡@+8~JOb![󴄞Q6 U`O; cLg+$1tܠd}ZMQYwPr#a䓴5$: S@͏B{U' f~HZO";*+ o\z'+qfGU9-#O5,.it'Pn4pTXIeUsA?xn_Ksn ^kciN|ّfZ'vy^n-9ކW?ݮ ؍sk\ ^|.8Xȩ3;/:GMhDfʸSS؎iϖtZ)OI:RTYW+e3dy[24fNMY GkI+|hcmNS|d y} w`):oi% GLAjji5!+ R=HK*\qf!F431FV?yZI VZQŏB"cs`Dݯ"Xx!sF7+oNf 'M 2f7FT>DH tA^ A]< :5oE 6`.#>C+Ɖ*Z2n3ܕ9x6(ɃN3l3Y|H AGŗȡ{!CMb UM Fܡg@g+w  _x'% %UY&bDLo-^);QïA'q [ӵ5Tܮw]{6m_1N~UwHr fysdn,! J y|XG|5b E #,$ R $9~4GyLtfI]U k17W.*]6Y"jNF==j~AEHTNeu_{iPȌV53#ErWSg RU!׸o9g>an̏J'2W|lOfrHY&*c>1rJٽa1_'l;!.&7R8dS=0R:~ &[Ȉ<EO=F=÷sS ::_[ɒ[:/*$z1˰ iy g(PM ls Z3Wڷi=gHs\W9PP&>ІW>ɣOa9ڷS-gSrAl wH ƗwѺO ܍#dz$8@rW7=jbG.41L\n5F<+.*:s%+`kDUO5O3n(ϚjD郲B܋-U0HPT4yIzyw5gh,5t3m?R-ef 9!fĉDI/"5u &j65 f? \*BeY$_B}*w2X{^?B_]Vc#k s١bF>* ;q9{CfC𖠮/|X8/{yl*ni[=v%a$QA *kFSp.B hsfq$Qc8hC6"ih0pK5U6[C_ Bˉ#1< jR ?" k/Su߾~Afι%`  \H7ҹ1kCܫ Z 7(X%RN (OK72^9pnu q9eP/CDR܌"K*\{Xjކ6=] k,f&)Ը$k))Ɵ3xտ'?%R#"qQN oTF8'~Ebvɫ8;pQ|HDɳe[6ɒjRKy nSwnl.S^٢s =c揻?;벋 R YN6Q^h')xHC˵\n\ɳۧ~Yh瑵ab{RvwB豏HP.rjg,9(:F=y>Nն1A-qߚ1Z^v1\v9^(yEF%0n2e=X TR=*݂۵#{ MdKJ\H6  ADzruG$ʜ\sdOH=MK* QNh1p8ԪpR=tcc(lŶ#~nϕ%l~gtIOuaO\gU"\= ?6yLB#&I8囕P&ffIՉ TFѮ$*'iێ^#VH۞ӧ}[AHiDo`ыB9 —,~OGGzSkws,@˝߁XF3(gdIRO ms-*5숥-ve ,DǼ+3b8I7'EސLcyն#k6vk&[Kmdfl=9 ,ysF:LoI',JDs,Y/u8pT$o@Lvڣ_ 갴\ /H7AKV$D$@e:!r$<,-v0MJ7IN1Fj o 03^cml{ƾ7xKE_mb}׫'Ë^6;9v59 EO-9Kpd=r!\.>_LRq=[ͣx^3Z_.䊵Rv4EU.䷳wymABvaw,gô*Vt>J D*fnYL'| QȾFR:g`}o҇n~R2.Rٌ i[;g~^|*>Qc>rFxĨ'= ṁW4 _iăa(`/+> -am F(("[Mh2d_ [>?S @ISQsxIf5oqUpPwNx_C)b{'Y$ ZGa56=m)un$m1?}d0brfweD6d`j{I⅝lU!sqqǩd~سzl64d@q ̮Xsekko+ķnF*LQ.*5CKåCX@U֍߹zP2*(PbHd-v=ѻ`l#ƪZ~:> w/gb/ɺbRSw8Cj*¤/9 sBv:kප4%-#A#3)M8:f8E() ep(cȞb'?@RJ:s45[N>߅9j)&Uܰ|.DŤ'(oh/"? £8cgKy3zM t\>dqpG׍w^n]rh䈶_RpI Tx!^O@ /CK+<o貑ê;giL~`h R; <9%@+pdHNp}hQ\ A{kFrbIv.Mt_ESxꀪ7NƠsY-)Bp=$L(}mBRĨ׺Yf'( j Qȩ): :%"f}<73}m]qeUgs'WxZhRm2!QðjJ8X7.L;@s,9o2ҙ 9Bm yZ8]sFpOda R^S­79gKpt`Ra8 ҝ.|,gG=*E)K1JDޝ",}Yd?p-ɩP(ߚiwxJB\?9(CZFgC3`*\DJ*HfZЙ>iQ.Du4'd}+L^Jbh\dYTEӼw"eK\5d\zYãֿ릶To鈸 osʱ]9A)sSQi.q2.@E(g7D2D]q7M:VԴLzv{lO5p*S? /xbWQ|/JjC[#]*˅Kڵ܍ܸ Yw2t/$6+xrIonkB"i#c 4O _O6F:e{B&imuXv-}i1&tǯۄ3Im3PQ9l#o.-IX`+~h OhBWb9$Mex&ժL0 C0 O2̷W>Q47hvvC+\Ci"2݆r*OL:SDI HC` PTng0w~[=;S{"8+6y5hGg"TF_g%YNMRn쒌Jr}U/wNmZEH)"o7rZ0},_T;yi, >\=>Rۣ! ]5ђ{$zp,rA,+_LZ\cAMS&^.#%,rߎ?_ZfQG 1KTI`OTIw@65 vU{M~IoI nWdzf l}O0eLk8߾=r vl qò[p8 (b/{E#N#ԑR+24UYETa[ #O>.@6iepAv#HB8yO?`b_]ҡd)ɫ/,ݓ;2J]Ow?'umkЯgk%/k3TՈe[}aXK PM F|tEF\. e;14' :a:9+JL2^ǏڅSC 2_8Z{vp&6ZS$`MZ=怲q]n "ϚC ^߽P> ark _B{v"eNܓo@N r ;AT́{~;^<Ԣ[j^v-!C4U_,FE#!"&^"ң&0 ȔW9;4t 9dbC9Sdc[5[9Ξ WeL/7h Dbd YNy{W+@Ʉd =3x7&qu<滫AkRt:.<#{̍I -TFI7"mXx2 pȬU8{6VLl؃&}A\-MǷVbiMdӎ3)vHO rKiGzz&qXoR& >4V Q0gV>osz /b{ "z 3~Ь$w[;j IYޡ} (NY5K@O(s38mw 6Qܑ ~!t Ӹ5N_KO'|bwPw+@ڝ 9!T'2ƕR~ǃ%[d=h ՠ2بJ;ŔH"uJs[*<;: ]/QZNrO)<ǰYҒu4{v<'?D-`(D;9^tqS>2  ƮcQ=VVO`q,5{g{2E- !۸D '*~=/vbE(rjvp7䞗` 4|w_mE A84Χl믂iXVAC1TCЊm"7Yxۓi*SgkIq9Z>~se b-#O9LcMN%*W}w,ZlDVEUIȎTf˘nzY3cxVmKT t~$~w ٲvM؏l.;+QNGWXäLbXſ~m;ܒGRdCR۷xG-sXKJqRJ| SL;'e?02G37*?d⻾Fac3PS&F!GkH`V2,jKWg.tXj:$ aULr̻v|Βƕq422 Zr_L*?] mLf|x@zZ=b)NNyvY$;xO8G$Uw[DSe+]©WGcآJS9-:/j%)b'Dj,U{f1} 5$ClST=n|bJJc te4G8P9 OC,\(J$xNB+i59!KQ/SM=UM82hݎXrZEaًL*r|w y퓌Ul:)/NIm~=0l/@xښ ! ï;_+KYD`23.@sFD*ڼ4PhJ1XqQO"DhH}\ HZۏHo<\ -5u-:RVWbՃ{5%h|=_sgk{[׷6nqfBhUI~$C C=?eAZk}7nU!bJVEސiSq)^{_&ڶE~9rl<ˬQ315w a!VӦhJMh.ȣKNm8'xߒ׿m<bx/ K[K`e3AfwBص y\M/ ݺiaQ RM zΩ~]rbqDn\/KrGXCAnj?]J(N< :Z+ |u! F EX Zlki=ҿ\&ofI3ViXy=~wr"%nyx `%HC"͵qcAsX  ±#pg3YfO&NR)_eQ%UԂ ,<GXˎ jiI1)~= [8 L1 ">:` ˌK8xFA04 vAθ0¹%[85mw#W'c60kKKG":yQВb>5 2i)UIe1֨_bk5d|~ƣqFTғqZNn1L l*]C$)|ĥ4sm`43?15,XCnxII>˳I V!'hl4eA\Oc?ko|fʎmRuHjGq]`^4Gq1lfm?$]?MU+rL_MK'C&pW8T؜yC$j"C^~n`R-;[ђ^l* E-UxB]7Y.a]+d.K*-L K=JÄ痑kB)e吶ۗnMί4+K >ޠ')V%lk;%HZ$ k^(*G3̼٬(!VDlHeNF[J+(U| Ki ku'HDpv)Wm ;:ņfq̰9q!98 U0@OIX9䇺&rzcVUXgIsJi$ `UABRvg낛g;! uy%m]|׺bG+T84V'!vE Cyuu~T}Cp P'Rx(ux6Y@u)M#l& デ9u ;Q,^l5iIQ~(qO{OdX9yD[j05OL"Р@Rߺ!.Z^%k3:\'3X$2X.岀g i .p-\P :|e $R+*oUXɰt#"Ң"+^/?juƦ.? pfVh Hv͢>Qv׌ 0d;R}^ g6HKR.*K|LI(VckK oKeV$N z]M@e!O~`KUZV :dw_ 91 Gs̱O?'- d#qa%R:m( ^%u '$$#/}[95lǝsRTp&FG0H?Dj!6O|̓WЦddt5 eR9xYLߓ&/sz XZnJq,iNGEk̎j+BZm)r|z{{@~P8v8gq_,aT8{^'/ˊܝWeϮ<'+A^ܖѮoB ~XH@0I/ǜQ9S,lcCяTCJ2,)$ OVlK} ʂq#w[зi7wB@5[TޞJ&|(#$|iI }rp /_QAs̰fsQM7B,IS'Wny7mW]QS^|@ P[Fy9N?5R?-,nBcEI-"!~]bg8*:[px38q'-kyq8A#GSBb:&XZ2 :Q։3,JӒM~g0E-7(WK+3q+ab'×qٔu8U /4j,+ YG F7M < j^5 ]ztPl?!^JPn=Z_(ڸ w-·?pa0 {Kl:xxE-/! vHR|nʴ"VL.2ōZFvFJ}=FMPlYcE{͚Fq[Lpj6dƄ'E31(> W'>Zt (x`>b!}K!(cRJ C䚨0&b'9%:)ueg*J(dY@@ĎXѮҤ8@|Hߠ'TrH$܉2Na ݭKwIjz~| O_4iy'TuKsteP3uvOn3]A-Ǜ7s `6ϟRn ok筂_55ϼ7l3Vdl.RЈO R6ڣH@+ Ov.yod#uV[80iSq=KŬlUO PXcFajUXA,ICBv0NGv#s6+oC݊ʡ07ph/}SxzxkfEJ4[$qcCjpUh! k%̱&{JFo'fƁZ'To!6%:^ԃl纆Zzku2/SU 70r¢8]k%dhExL4I9|}AT%wD$(9{R,>07hĶ@ ~uad'WŜ]ߩuȺE5~U'6wa$ BWt ܝ naa,"/^|>1, C佴)dZK2p\Xo^)&*i >(`Tcn/j0] ȝR ( ˜J 9؄|\K=;8dqгȧJ }fРb^Q/p7D Jk"}kS+Ւ 9|[*vE A?֓9-!=}dX;䈇[(^tP2s)' 6Ɇ=u |)Ǿr~x,V 3ܒ3C>.TJ9n] ߻Z sed=ɱO! ٠^K j'M9ʰRlڄ%)n[Ɇ WK%HBߊne\J 'rv8zZ$#گjDŽ2bt{B Š@B$`bq;?}N\Z?|pмany3ꨡ kC|Q[^W0fػkj|]yiXG:%GBUj+XV NLE+>KULjY"'6HYsNFO5bm~y~OaM0*W Y퓰yƍ# YJ Etb|p)ع`K,@߀Y %:?4JԅYa\68Txu=`y nS &qeQr׀4a@pnG#я-[xKxTuzZ}clgXu>dWH-; ɲ L/఑ qYkb{,t|֋ydo|FNNQjzJ?b"1=[Zb᪌Es2}#{S<)s,юT}:)U6ssxwTm2[BD4 Dq K^eDȕU"TyS73 `iH[O;=?1;kcNtӘPwj}ۡE͠ F~h <ѻEaĸgfN1פPK?!|\O` ,=7f:PP0Z\hzo18k8U1H3MɩG/Re;"U t/*s]IAS',DÙVRلmy#5aWQWO-X-S77tibBriwI(Ǣ6UfPoT gІٹt>^)xCNg0ӰF6D5gz9R@( gL8\*+kQD 5=u3Ne;&ڸV-2PPu$v#^*\⡟rqu\[Fa?g-^=ud')z' Щ"ͳS"7v!T0jt:e8X^v<T0h v q]imM4l6tePDb%bj9$g8*H9 i[WpXjAT^\ iqrpC:H0qӧE@9kw=x8Fƿb dqPF5)Yz=@W !l%xh8~ka75dDFNPYU G5vPk89m{GZe)fbDI^Xعd2t6H$ͷlUۛ <I~0(!lNr|1j~+\9%ӳLu<&J`5QQ_|]Ngհ,pheLdZ7Յyth,e}9^~DLLϛ{jSZ7JQΔqԢFV$x&!j|v'wkX P,SXaȐgBFCYiRZ6ԁ '8d \5F E(tfzJVf7Ԗ37N'ǏE4k{mN/aa_[xulYrxLW RL>h?0 kj{+ }F3Ea7&RgX\PLj AIV(7m((`ً+Ś>{xEɊjr~X/c 6`4-Iz ¶MB32 n ~X<"ȳ(uTT`$ȍaGKBW: 2eKh ZU(f!tsJICGhWLB8s12hd^E[ DkXItpI n-S xa.Ktĉigw d\ p_tNz*ap?ѢbyG;l1B<kC#ZOGq7&vM.ɐnHWCޏE>cYF~lRHg[=RƜ4F*;sF+1ʑUhVXF=#@b$Ցn%C>WAN(c];*L&i UZ젋Ah5mIVktv AԽc˔^.L݁3 ԕpQp2UIeϞxY( 2XK8Vz Sb 2]"sU轔ɨ3WOi#u+ :Vzo[<Fz*n e  DDT>=Z!wZ! LEtsAb>H]V{n]/:Z.d3o,Բ8'Gz FXfei*9(@,W('yva gH~"] Am\X }߮#|v2 a"b㻉VgηY{r\hӇՋEH.P|vϘē|_31jh%붰wo{)}1eiy :]_ۦ9Fu%r 󉤰.s:DF*V6́\?(vJ,KчRƇDIcFa?S&( NOBtTcT9&Lpt ȊWF8 ?n9=жFkiXwHzաA'g\]`u.&Vk[ZCy:)q*Dʸd!ՆF4ۭ Th/²LTF2Qap,dIB{QMhϨ}a樚վ?VF_A\YګCzz/LrƍPyJpR>I&'d$|$Kf,fkbjqMgG(s16mDz]F ,>Bo16I R9lcK̅%1[@н sF0{e;nqZX?HRM;}#MD kO6^}ʘ3V1hw4 zkYqX3>扺Mswޕ_ɬOpE awt._x wBPGu1N$j Q'1wݘMdo0Vl`TQw&u΃akuwo `JlxO'^~ǤWS@3sNR [&\qk }L ynFr@ & ]nixqf3.9ܹntžzoVhd=MS@zezpK5C_apnl*EE^4_x"K(% TYj CwGp]E*;u3LuQm4۝5gÍdvUIN/2~KeOP0pD`"QNmN۽W( !7zT_zt,H @L []8SŎ ?Ct9[~qqPšB@M|E#  'h"FnliATjKM>80%t=k2i"~b'oeKsy/MeV=T˃؊v06TL0DsѱAep.d61[.wV[]d 0@nRNk?<#?M|4D7S82>JVTzb]rT6"W2fm6m/V}71[ĭHx6]ptO UuP2J%HG_@PE\׶(qaP2wX5'oNZZ'kaדbCI>703H&m0klCF O8l3?$I׽Qho`\?s#}R3e?JsE&DA;RI*U[WIi j}eHoy77)}|HM h8<<>? x|xZE(hZ nbd< D4nM,-\wj6j\ɞ 3*wFEVE߿ ku;a3bI#g#G3h~]`VJrt6dg$8\X.`qrLeir KEkX[ldվyCOc <8W5t]]D3i.E1KԷGYq( W,P^0V\~N"~('nnBZ:>S;LSL8 ͮU>`K+?sZb.1=Q;M[/2.sƃAakp 4ı7v7<,YhA=x@s 4@kNte5 ΃KbMT5w=IFL} RH7h16pgeayَv&KzF!NmQD۪⩄/¨{P.<jxEGĐg]HtJ,/FZ-]^2ٔ&3l 4xkQwgP 9XV1`vG͊SD4L5덂':Vk*cAF6Zj+ zHտmcDP9PE7sW+1b$T/yȷՅ;yMG.͸uuyy%d)P"?nJ;Ɂ 'G12V)Bn|TX+,ܠU`J0 |seekEe('fA$f3xLf6s:gk58|1yLWE6y,OrbhK D{w .\SH *BDMcxT")F]Z(򦫗i)IE g,L$„H:Twsl)Up}g'[g:dLܟUm&oMKbaxoM̯l޻Guߖ2"Qܤ.m sť(Ȋ>?.pe)sy{Vp!İK5ha+ݒE3<0Do(I8X3;ֶ;}lF/)_N5[eyUI1E7K8Ԧ$ cV#eU({H 2!n>%D1HXNrR6S'w <4TⷪC&zlJeY"r^f3eu)i#ɤSBsQA+ff7~J#$oدK_3 Ն>j yX y}IG3\dYB`\Fu@ޚ AN7ʅ^*N%"ߖ o |rsB~kڲjHP}ھ{dx7[nsd&B8'fhL|,oۃI>heLR^-N%gN! ! B[Lf lPY~ sD~ +jKµ@zsi'[+>.flHF)j\S{HMJG9ϳķڥ '֒-]G+ ZکkYDb%^H.QW0fM"˒Gz}U^LUc_m0>75 .u(5p(, XG;$}WX[V7I]!&ή#N :4;"4^  Mӈ1M[ų0=gshIifqDa{ k؂lSpOT)3 $ O؎ 8L ח.~6S\gYZ68e36d7de0ff5f8b59b2b3170ee01cc34ba4bfc898b9b9cd6f4fc2e11b47e8e3c434c3dc2faa1139 e2b5f42e7f98c0b995b852b6808f2b8140132ac5bff531d0ba5144589dd23afe0bf29652e9bb29d7