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 t%D< ]/]HOL-Analysis:threads=6elapsed=304.034cpu=1438.340gc=65.456factor=4.737zXZִF! pK<]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6sd:^mtLbX`6aӔ c=cI6<> puU:J&[5;ԜcG d@O0Q>$ˈo'7Fl]5lk6Ԃ`._ Wy.ׇӑ]~S;CU#g6+SNix&m#*[ͧ,eɂ#!HtMsު\kIM>4XVjz'ᲙBh'o  % HOL-Analysis  gR/nn9h1-0[XP{dR;M.DZgl2 HFshͼ=BFib.~-n80Hy$g8wǎp)(NAWv08wT2ktjOhה?0IT{Lp efp|t_7׿]7YJ;2 1gCᅓK7M•S*#GPoě]Ka9&Uls_h ֊XJ {Y.}O ia^~b@- =u%ho3tQ FzIj*QBXPz!DVJ #3ݵl`#4٭L䦆b>Lڴiw"ۂ`'n[֒:.>:/PoZE3>)oADa)&Svװ"ҩkre@Ti_ᾡ&u}ݪd~誫-I)}Dr2V%N/\Pc4fnG40:(~YvCiR a˂ׇfz=K5%uصhu {mzQExC; CI0&cc`L 8.[i$RQęF֭(T@E^0*݌g V裠ijfKKq㝻W> 0ʃ[].1PgLGpr /OȀFu ٹFrxdr/9EłXu̵ll!X@+1c:r_eхA{wX=F[a_%E,y.,dKS)'ΔyrSO5\ty'"wu]B"0zr QOZֈrՅ+*;l:u#s8 ۞$r6ad8Nz~=4Ayh5-4Z32i#t&X,{}(#%q;(*Qt*_ x_4R]'آzW$O44"4M;GEERrc0/} -4vӢ p ɑݐaell׉H&v㾗H=O:ȸ y7|8/=PfA!Kb)p"m/dqMBŚCt ] B&\=+If-]=7r>#Eb38;.LtT%2[M\-4# \X?ZȑpCbi*Pԕk-X-e&pCEnf9.WvYbɏ-uY*uR!f^A9*@V>1_0nT]-9ѯɯչpDU*1<vˉip35U,A;=X^4ô7ʑ?Kܺ(.0<#nVr[Ax?m. EI~i HPc z(G-sYk+H?o3SO/\n:;l z$,&x(l˕Y@',8;8W8XOer^+ԚU/J)*Vib8 l(Ef i6}bhV=/eZjBw4~dy>oPywKtk%9bt- 3I{m{cf|N?ļ7KVX}z )D"TkҊ6&;\2 )ӸHh#Inɒ@{3: 9.BݎwR ) 7zPՙlG NBEpX,x8ާvAjWcyeM(>I_5qGL`)3(0!jeYHm2&QܗEzV#֩rHP=G68}w9'Wckw&x@%q+YX&E>FQlMZkFy÷.Q=>$̪\cOjCT0G/ pdzIlTX 4>oϟЏ!$%X(PMBՅ?:ff;x 4#a5tdzZM Qڞz~@X E.;^jN.]ez4eQwbW#nvZ+ ֋bȞrOU|S^ [;яǍ퀿͛n ɡā1߽Xe ?{͔y;߁r\<C5 jyA&u.D^tD9W[y>sGU[EsAZ}DX Lr~TMTKr׍/ߚÞ:Gcp01 P^RDBNRot6x_h2,rJE6Fu$WPJT:$7mU"qNm(Ƿ~gG筌etk%l5*2ҘH@7 cx ءk|,. ;:W-% /B$X=iA͒=Xg6FF2%YeP^T4f>5|P:'0;¬S90}>m^(BH f`Ngf`ќ.F1_;}iYXkSf&(`Ws0z5xݓw8Õj| 0VȺBϪ w ۿ g:?v:Lcw@hsx u/Ċ\Q8_:,kg7n$`RWc"f՚PȔYoL=YQ}<󫅓 ~~0;fDDHI@*BZٔ񲵙 ɎɚGX j'B0}?Ḅ[g]Ƒn,|3wE&dwP'%!1Njfk6gBuOL[baInvo&Z!dE+\"DWdCQAOmoVgzc3w D? 3{y|߻ƙMZU@6G5Zm qs9?+nKrOM1[&Y_.ɒۗח/l.";WBQDuڦ)b_df錿-zDDZ9{΀n J..6Ƙ֟Pqyh}/U\l>7ْ-Πn b%L ik ==XEeF@^ԫQE!5ֆW1e_`p_R#o3@dlcdp&kpx_ nT6!.O6HFW||{ ]<KLHƻOXhE]ϴIs6Iu4gNk#<g-đI5!&PahNSbt2 qnsUNaagL~xb~븕oSƋ6[󉪀al ؕmprF{MGIr^L@]k⃻sc.vpȃ4cl7n ֡ƏO®\b.w?Y WHo""21mYaHh1I3AL`5W4+ɡ0u]yWd1eC ^{jB(\ĩtַzvw߱6Fcsx| ߑf!b 0? ø-2M"d2 Z߸:o!m0i첕 uhw7>D< 7SK < }QqkGl;A]JUI 8$V_52h?zsJv+{Xz7kN!U|,|;]E% z6vny)bmJpWـ}4^vk~mAd5.etPM&1wMlr;&Zd F,RpAX"?>zGS@nu-EOBa|HuE%c.$;#h,}! MuQ(T-bH7!<dh 6"N=2p*@9цW xM躖m2-od'qb}\,F6I<w\c7*?VFl@Ɩ &ۍ+VhUӻ{,E/}V"%pZҲ a=?.?#Bsrέ؂-ZM|r7jY"q6Iv|_߭J`ڔ"RAڦ~H.G^edneԆ;)"U;i͝$h:|LfzBÅN<*47k\Z lm_t|v/CzKʌj|+Ɛ2 /݄BF&;RG1{,˞Unq6F확(6d_Y\=яʃT*O|&#cu2̤ e3c_.GHжz)w8 b) S-jc/^ t.Y OA b!:MBCW?&=AOk5? UWZ5?u&_@'h*dYqRh8(7Cbk­{u@bbnZhhtmchh6hSt_l'y'Yax{N-Y9䬁 *M6w ; 'B G{\Az81A݀mg7i農!3NA}z.W/πn1W];wQ'ݟx7|2uJ2huE>Q^;FP]WG~SnOG8Vd]r]DZkmD3M}ȪplOkW6x(mrw e&9[UveP]e)lBk[=+l' 8^D؊EL7Y[BTn3l |tlQ q}JSQMv(0=hiBzU"dlVX_hN?N8&N,t.rHF)k3nt5$,).*ԇRÕɜՊvw4?j61>Bf"cU{b8滱aXm93ݪYs'G.m4PDc }4gBS b 9g%V#vXrBbcT]xϧ[JYk"CsRٹgW`icZ1yD:[g-wdImQC9nu}uɥ;M#&f(3k*"U/L~s?sҋT[) /vab [1[+7OwdeViN797 6͑8۲+rKnD[|Fd}U$ ,A~zU=N A+֛N_qy̸CANCHޅқ E3بjc65QNqams=p`x%LԲee]:qBEc(y[řbE:/ { wvr18lwAK` W.K}:!zyN dc$8&Xs=['b ~m"8[("@dJ}!P2 ”j?zH9quw7N Z䲃)rsΌ á̏MҪG bo1GͩI)X9CG'h% €EJx& ᑱ6H &-fg]rSЇuU!-["߱ BLl5{m[)~In<3/ƣe/)8GNJY0!>h׸Xw(7̓qǕ(D9?  n{Ug _*ر8Qę) ? kq(5<=_IZ4؟pi%J#sqytR]&ݫau-qP5_fTMh}6qY`Jy AlPJ|Αn@J`5!V%ЫѸ9+Fĥ~2 tRtIԫU0^H)F`Z> 521T^G"A> U\ XTen=aq-0v0懑XKPc ?4w}diR5=H8K[tuj~(,&|fع 2N]9` Luۮ(#a%21ZGt/iM.wո d4'N^]@ABVH`a|lbBn3JW&]u|9+wz!K=vzv+2IٜXt Cii塜 +fߺv%-Ħ;vdIcMPf>\%nk0 >Pdx; Dy1qC\0x2Rbl:sNPIM gl|OFd+}cS ۵#u>1|/ktyr(M7ix}c(,_^GV7:u! RBBnI ylzEn)kn+,gZhhP\'9tPX}ﱣ<ڼTHnl Y=g(&7BnbԆ̙XYݑHP`+Mq?Gxq+$L{$ yfCps["pjUF3:usg?!O~>MGޢF&5|O*/ {=22¹$kD`{_J4|=A ԅCZӈ徥eN#v-L x]gα*D1d=%T}(\uA&1H8K̐;V +aϿlGiЀ͌LVWJ)w| HN}lxg&r%mbzH">] {!GB沕Ȟdh3v(ۥIWlo2( SeOEw?^AnqBӱ)~櫚*nZzz)vyx@bй|Rd'h϶m(ߠb~A1AdԱ:DByt((xsY*T (}L$}j1 O־3ƽZ >N0S\!aS0q׈f (ĈT*TD=6P:|f6 13K !j;άLT{YÉY퍭U wT" eS:ΧEgVܷ}4Mٱ>^&" %]_y>(8=MLLd?#DrGL¢_mavkO3e?L0hEWH4ŕ~뿽՞ "Ym|Ї]+P  Q) ~.l@֧TX65 Z^g9$bQ֬ޮbm\b\MB.KP~圽.qROG)lLR"28PJ*H`d.7=Ezs26ᑺ%.nY5)4-Ll-Ӱawu>7`z5.f mJw-Wt[FU\s<`AZwWqO$'{F^06MT+Z 6Rw׍e#MwΤZ:_NH@fgg߉@%4Cqg8Jeɲ|>];Tavǘ(Z>`%R"'C2iP-8KHąU{~@xޗpQSLQL_xKq.Mu~Ѽ'ͤ;YV+%0n0ˍul}7E=r(桴_vqc\g+YSZr\+ǥ'ZfF&\+c 0' a|X3)p;W;t2 YX?x[l)6Zur#mG:z66vp q%S5?Ir? '>՗ HNmLh /b@BQ3! )2 z׍"M$50\IuՌFD3"Ե1(o3d7ɝOTj (yҧVo&PlIuIdĻUthAŃ%\$ h6MώtHMB\_9|ݕ3.xmKx b=}K+.bxL$.P*vLS^6殆Z584!=e͇mS}6bsrE9&IԚLpMX^_Tр8`-8=y|SȎSB7hbU3 A@ xDpvۿ#"^Qr$ck;ts0ՈVNV]ۜRk9@ێ?@˿?QI0"rHDЛq%zͷbtAP>6p+JC' XNwX`cF[{g~% r8]ETb ][lZq3PMyR[;0~okԸ ί(tC=0k͞*tf'^'DF-90d`s;H($bEdy.(2SY5,/9,¦C?96,f)EYn?S]H ,Lc?!3z֎zՊA^9f '2d}C-Ǫ5h` Y-9Ap`*N$Ea8]<LٲxQ}}+#[=%#j`T|{؍D.*@h%cLK 34] 7&6,4vwrRDR~W:]ʲh뉫/)k,\͡ hwc€:ٕstк nq39B[.F aB |o,cFsjWfUwW'tKDGI\l"|xC\mGzlÔb7[GH9/ O9>e_!=J$8Х[ *rW*l,gUVD1֬x&%*Z/&`N_ 3M#N".hbݚ:'x؝8>H0w20DL|9M@WJZq9g_MxC/#ґp}XF_ )`ÓRaLC!M4F{u{fe=`2C"mkr4nE栬Pl7B^ͬP=uL+ne3Gxue֐_ TCtԨt4/oo?C5.Ob<5aSic6*۰0zHf^֏!vJ` [nWi""swx%!"vq`rԂx.(/N? 7 q*}:}Ok ҐO2-,eX.i^NeQ?IͤY 1-y9d!%%r$V7|6< TI|;T(FJ "SI VɸǕ|^ժ8+eʘ}c'dqf,tiB4TA·4JsqS\qrJgof^Äp Y.wJ-ɪSwbTNp6K,u//) {l/ IH!hgWJR\_ؐ”@lG(g] sq_nV2*+5UVF}2{- >k& h9hESA̎"ۀsrԽ boU!^Nkߚo] !!8^%Fa̫jN]] I^t`+RNw8f;e:J&|Q&%Xm-^য!d"s-ǎ/ty΅!EXgaVJɉ;fixiVLj/ȁ۸,Yy(`Ks58SA)%6auiEۜ:(l@pj~Ol qKyu笝v^ZQc0 E˷ Tw[J|/ٴAl' pOmkMFLhb!RȞˮiq-[T`$kx!\aFNN}LP4ÄhE֌oY!9i\c[ԭ|11xP $G%.lUa#X XO_,"M>F# =D/ e6@@&eᰖ=}G=Ja,su@Z(A tG"yʌjZ!uxOSWւZ)qfzYTel7TэaV*p܏;Zx\XLz/~:e\ Dy^|VLb|W CbMIzHii7Xy7@nZY7/to۳Yjz'y\*ȼlȣR:iH 5)c42\KU5Ȼlw TC~P/o:nDRc8qݗidUaLG+}pwISF}kbdrIZN#۲cl_ARB[d^3 J2YZU9鷧Fz\2A9%&533kLsYa.ru`6XfVQo ^j$|X^XHǖ>׷Zt7ūլ+%d*tӖŎ;?^ʚ_ FS6 4=%e:R`GmWͲS7~3Ri 9܇૞vEL6(dt" )HNS W9FX>>lf;(Yx>":N\D;;PScщ\Vlln@SN}`U"=b"W, pq\1%^}._>8aIi%Wgx⩺ PR^ﴪxёV݈r ;՘@%x-\{M}& KZ: 'xx >]+(.i 6)Z4|7hQxE+ҽ:.=Iwl "ɑElQYkm!ެ@M[e5&k+ *x}Sywq{v1&!ox4НJ]C¬V .\xI|huuyGŽ;@ϻ4gdc1ܪWʓ@r./~EK#Ԍ>5OiiKۿK@;+! \]$UP*v.vmo_Peo ˙y˵qJ%NN=JNg)ÿ =VI0x,!K+t,6W ?>I+aE*e05@ZnyKY;ϗ'7j| :`e|(U/ZU< )(n!$`PҠSO{&|j[Ky*0uW| q;vQJu0:\_M%,N T";nj|:mGg~:@'S$lAF15!ܤP{ev+ޢ >>zQQ{0N,iJvy̅.t͸Ϝ}{'U&4"p5lU/X i3R(2> .^^%l.14vmW--ٲ/E~q1"Ն)[=_ն/7xal+AY7`-װ =tʁD_0x3φ6"J/H{0g[q{ e#yV2Rvгt/˘/>MIX4cc¼zJ_` u۰yT(}BxO^혋W@EyzmYS*t K ԗ͛RȼHB%.+=m@!&l6 `#^R٢x~bDu2 J05"rM5~96jr~blE/ !l;Xf''}&}:8b'fj8QskTF!`(?nN,/:ESXKR9+g$Ȑh栌y>SGNO \+V;tu~x1(hTQqo t0 FH#rs ELpQhN{M[QOQԺo,sWUb  !m[Hvt5-*[e4{P~8h'ti$gH U\"6׫ZW.E3eڼSZ}wjV$oޥ1S܊vJj6B3əD-Sn ]FKyߌ1 Qtӊ>EU8PQνw7)[f s2=9 ;^_wq (t!$qGhe+Y]R?< UjWAֱ[D\:t1`sYv! gߍaoTUnș\3V5]JlQȗwirs7^˻XݒKdâ+˘,TfD^1!Nj'%>58N |F.-65f}h9Hy6y|ߢ%r |G/RijOo ;\.p0rKh+83]q@GI-U>JXwt !AZVMIuZL[b5uS8ue\V:G`KjCA{]'>m=VMԨ&FURzdw> GTiFi!DC4)R!gDox}L':T9POh6UO^ҿ O} ˶{.bWe}bXgoR wx710⩫hӧesY<QM)\KY7L(ߘu5-8v\|wnqNˡǡ 퐹CU7Lo4Ï['dpLhE,'TcE73pv1[[Bukt@ wH#QW=튡>ӝU[Β~=].GbG% K5bkOau3:W2/_.^'BZ#\rQϦǀʐ&-F1*{ęQ(lxd0c,ޖ2,vQ)i ќh]'EdV,\&r\hβA4!owDmيX,SZm-Ov`i'01u ko ӣB>;75ͰEWWrgGi^x BB7xٚ pkH0;O\ !?(/dZ^1<Ոt9FɌ.4he SU`I?R4h=.qɏC1Lŧ@.NwG9sW"kb%p(Q807c7$ÄiŌ;˞m,r. įPւfꄚe=!fFE/b2/@E3VXvޱA< =Nyl væ@_sUm^pJI㨤},F)|6ǽū7s`ݖcڼ:LeRAtKvD)XHOYܵ=4oV@p0$0 㰡>$->N %Whŷ|2ݻ˵7[O EYe|L/ ݄p!^{}M/KAGf܋l헝@R8UP bRaUdD**VYوAtx1}6ʉC0‹d5x~K2 a D_K>]R$ `ShV wChզ &yIZqP:`]*zVp4ӥF4eG?ճybjHPd=< %G{mE_`@+z|fAsc. ViN|xs‰A֒%׀;]T' f*Gn*=4P?4^khENN!Ő<*'Oyf"$8pvG1\SsURԱ?TSYl#sWnэKAU7ƣS YV 2Su@ ˚a/6BD ڿJ׌zCR30qLĻD.9˜?|=bWH}srKD#N?,w>5ߌoHe@ow7- 6GW*TpR"VЊy2@X<Ћ?~ec`Xf>NqڟѮۋrK!ː"*[Nhq]Rg Hs⬣}w)&āOaJFwb %-1#CJKN=C8 fn޽ay9qԘ00ܐټ@32*I^*CnǏM,gޖؖCw{&gYZ7zXZִF! "W]ŗXiɟ1˦r!cHkMeBd4.7ND}BSj 㤠0 v,IV-cjz5T-(S _{WYw7  N4O# bߝPxBxMLdВ*'@2GӞ`'Bh$@dxk Tb r˛_>(N@o)ߊ}*󐚽ќ6WYYGKgAÔ ΋UIeaus {x d5 ִUvO_M QSr`S+w "raqr0VW6wEP輏9zG;/ k3gg`%QfKvv1 J]|II~luh~6\ .?zzhS,Sm,+6f+vf!8am/]]%̇`)X&(fvCF{^ DěP3nޏ#x_=h J♜Rܪy\O,7:AX lErA~ H$sS͝\) iulKT˭[InM3kdOWOqAS9Q<+q8!Ώ0=u8%?R;Cr',)bp(p0Gm\ p/?lnkaXb-A3[{9O'#t b-f/U]CgBi 7XS-T%KQ#PD.yLTýeuSB7aO!ʬ:kZS }{{xގ-*O;1 v7[U=0/"~K[d9蚿[j6_aFd6o7|ٰHZ&]ÕWz/۳wՕBrd!V {nFggײxY[?ĖLuV0|xB;!&\dj$,J Fetޒ!_G| sdm?qMi(Ϗ5%oiBU-%KL 9ڑuy.>brg*p]"B|+Hd$2,ER۳w< R-)tǐ??#I %΃됑r /&7O'v|qHõR]ycOEfyfs'd؂NKR3"I0^*I"{&qG#yjey{rK4 "6eC%8I W8j_&C)V.˜8nyǿ`Ahˋ79ZDWlkfS|RA-F}Hn) {&zUaLg4LFٜEF.J# la2>S7j#ep3vnV%ᖠ ylc˫KI>Tv1ѱ}hE=;)atr @NQ){ׯM$-2CUbόǚ9r-Xm;!es =(*'04qtEhSaG;48M@($?OSW+B?1,QZ0~liE,pP' 1UxN&-!fnO!cZI-tئӫJK_{`C!Ic4i1' I`P.]|{Ɛ+9׼Lgy7s:H։Wث BZ)-SF{ٽiu0Vmo:Z-Kr\,sVL%'r#n#AЫ3WRap ar'AuKMED,ϭEV|d=މdYsL^* %V[tp}'8i>)qdΔNҜdD-f_gYZ7zXZִF! 奀[]ŗXi%>b5IrNK%fF(̼0P V^ +TpjDzn  m3!^aSӕ9}@۩Z~õ{X1$Z606)R>̊?tT* Mt6 bI4Q.}jkh)<)Y^b͊r㾖iǰ}d/lbSlG݁÷|Vn#hs㿰i[7>-#oWnMwT%K8!;Nĝ)b4Oo' #;˶'|$rb_WZifw*/&t~p~L~7>^s 5uT7 ʲ34S"8iJ-^:_ԉ@6T.kͧNIvfc{ 4G>S?SPDEp4s]5TYCeI1e3/!jw(_Z?<rV/V&̬"~(E _y` ZWIuuõ/]Ӗ:f{@zu>\݌Η0I>NsD =%y~poP& OazBƽqݸ;_0?myj?P;44?[A$V?Pց'D+HݘVo4`b 6s64} 8X6A_ߥ>&eʧ}:ќ"ݿSڏrV3͛Wf, Jgb)s%%D_xxXl#JtVC9SS?!AÿNqn(su  ) )=Q^L=N@+y0r\$KIlZަ\5./d; N~6;㯦[uS_mpN9oRr۶:5'fx&U=S~oۅ[.΄(ӜG*PM͐cH9϶?W=-eY˄%̎,U1r/UuHZ%]}ԭ`> B%nh[cWl25Tʅ\n]WJ67d@ͻz` _̯'Z"m>r٤߷`# &3x-HqtΊ7'*UHsP(6q}؊$;c׋ 8>bDՇņk꺬/f,ykV3=īYq|*eřI.`/5jHkhD)xDw0wC' Po",WȈACK$ =h~lsPy\_@Vu<&bpYlgp< 'lVB{P͉5rvox1'%?CV.`Ň $5Y(|?# lLLuu tv0D< W'\jj\&;"M{nWf\"ו~@ш)ǯ:ٶwSntCh>?!54Ž,ѲP[kTVkytfcC=C#$abzIAUuk9ZByTPRa+Oy*0loi ϐWK_LY*KPXOڧ6ȕt&oW99ci4q.C-#׮q6wF \'D38z;y*V0wz>TgI +V;2gM'"sEwn r2k$V+R%hn|}jٓ *ίչw$[[dp68e:_0JwV?9[N:o&0*e֭C@jXWFz2Hf]剐n5,JXbPؽcFR|-Ev`"J!|Ȧa;s"A4HW<OҔ>5UnZmXTЮb>w3b\ /dt$#?1 d-VEZIc P]R&QOb#!BqGWӁQ#SUs3ny gb$uㆀWi˖ ,r$BLWE}G 3Q 5xJ|o& $BbuJ^sJWKLBQrܟ@2 qΤ{gI|I)8ys>> $+=%?a yyCoI 5uV r,菟A..YxgDh\PwuR-eV22fOZ~0]KK~IJSpMRf.u)gd}![ddcN/WVZ$ F(;}%`LI=Yk\}ɐ٣j8 RX:98WMOWE.m"KI)ɘuٹ7LFݤi?CأN$]XWMH^`ĊX*1Aos^tɍQ#OHe ީJ?Ο3sq:~_@do̱XT< !+)`hWWP؅?'s2=;7qr]d`{eR߆I󕔵_쬎,96ɨȠ%A߹ lhb~) %T;P2-*4s_ι0JМ+}n| t O&Bwz^hB?׾vЕti-a`Dk;>En?p1cfEL7\9p '";O##[Rv\qlz(oMD*7u-QYj_a(hǭ`6)0ͼRw~?򧾀L([y ,ϳ[F6lH%cQ6|vTGgY`!.ؓi륜-Q[wSQJ_ɴj2\X,E-N]ze&_VxD{.DJZg덲k@L$!4sGHR[ZV;V [A^wy$Zs*!T쨟8v;.H?= $D N@*L+F+O ׋f?^fs LX=9HA#/ý+uVB;0ϣ s 1zM< {xg#M,z#ɗ nc =F=:a+攨D㚅-1kxa)~JgLapCgf{Ke8~EjzZyȺt =cb#!bktN0D7W$rVP|.τŤad59~!{dK?LRdCt 캓dM~#ƢC%p wU9"cŁWc~V<4T<y!_?m1j8pvQaaҐI>l`,qV%ig>A:_Pm6°!PKBr^xuถNZ~tYbYt7k\֙Z7?Hq9F}Ngp+3*\<;wqāC?"`5ŕu/r%8޻!yZvI~n. >0)b+{Epr@ˏk`,~;~ĢZ&Obݳ˝ YڮGŜ>8w)afL_%h]x2&rv[{\0`GHbپ].h\})aٵK[DaQdHSd7)hOȮbe_ƒ1%]v0Kdhj !b}8;Xz],%u!q5ns\ꮔv{,lx(1paaksf6[qQ)LIy)MBy/h ym7̖0m_ ./h)Ё67 եſ'()tN7zm68 Z fS ?)?r/, X@g-ՎX:7X|Tf6b1& յڀ rgCty4-}x7A"Po.7ҫ;|slKɀtn塻1?#v,}jqԐ;dZd 7G0P/VܜI.ȁy;݈u}9sr><0R|[|0v%Mh,ÞfRc'* ڜx.ç_UG RN<#T}B'AQVse +"en0rBI8;-{ʥ:APM0 MV/M[ŔkQ2ey=YgkT?iH'ď |9D" Ҩa]f/X95(GI/@FQw:.3 AQAjၨYV=)Xsa_&:>xa@N JY1:t9Kʃ- @͘0}0[gtv0^o Aǰ9± vm(X5PJy8=o,>ӥ e溁_93T XVof4 ջiT>S1:1 ɹվ\& ZK|#gG&GLvf|n*JU.0(ԁ`\;*}1R܆SZs;PY<ވÒnœ8 +'㨘}p)aNws\H; ]"@ѸQ+%Yk ".<)zEQV:&i hF5&X;EIO)n'Ӂl4bP^=jǎ 3SwNNŨ 2P2dɢm E0MHv85\!{.JGocX>^SfVrnC'Ĩ,+Q]Ȗe$l fPRxegӓO$*sPo9PħWJX^03x_7qc !&J.(|c3[0{(p"wABu[;v,B`|FG Yq%;Ͷa:/MӔX=#5'S\ GZA=0AhPFspLb/dzΎ XQ4.$aޑHS-W ΧV7b}ރ],Ti:(pYD:ʁ*ʋ7jbE՛?$$b9dk;RP%.OA;{ J0NvTW-‡8TFCϹ{ Gq (jjDsË%:c@nKFO j5,Tg83eYUO YMkG+ AE_P^~G^=09J HJ ѣr&iQh=҉?P7Hln'\v72.Nf׸KyF鱷j!d&н1pOOdr`l(E_ԱQQ-ZpABEĩr ZZ&jZOȾViӴj^UdNˎ}1ym\rBo\@`9BUP<_=,Qb/ÏD?S2ީzM`vjaۡbOd#0>``} f͵h6wsuOTz ]DZ*'ٍ/I`T\h/(QQf]yx[H648!0=Xe 5Ĥ@!glU&Q*(y`V@GY8Թ4t /?%deJ(bYW5u\u;˥E޳.v`"sES%Ң %o"  V6tBNej-D|[+~8|sIyn)p]GX?HUxG(>H.R5UR=)ar;ؑQ~σBDqċ&ܳ[:zspE4ì vYygv$mݎpnɎ!})br.}]ca=ô(^w)^]0[m e6hC/ }c\$ǼF(wTH't}̲q7UR5َm(e-/Ch);= b''.3NhKwyQY;k^P4;PT/ꡳK{jQ̺v#TC}C{ PH2$ vqxʛx#4U~ \:}F)lc, mNDe?[xW #- p}7 BҜF.ݭa3⤿8p,am'\vmRC5V}ý(v c;ݣf\uW& \NFpǏƑh=wJ<%W^sO<[r:"C-m[SH$:M!k% [CrH~VtD8ٛW96}z-CѢ[0|]#nF ?vYq]P0aA>]QXЦ$'G۰۝^40R|j' :bjb0LZE+ tk^?7BJYF&6yky܁qc4ݴ"'P֚c B O5"NڑI2<JIu.q,:#N2*z3qUMht > ^~@@iul"{r$4\Wk<~jaݖɫjc*$6_JecH¨)L#zJBk{z6&Πǣӌ6jh=ȕATtfe6o.{HJc6fܕ$9Jdj];>/wht$& äC]e݉ HPPi,c[0ǢJc ;Vtef3aCzs=v3 peeL "pE8<õo@ 8jC2T2Zʙݫe >' ͤۧ͘)$><.-|pkE׸b)+kԂ ޑKi,SWUҫ?%9c5D[[bz̪.hp)c G(쏌e ^}<-M$2uݼ #>"hwM??VY;|@ʛ zRKsaׯT&2-ao㎨q2m]/Q`# CQz1 ^'lQ햭˝K,/*k%xWFhVp?2n1f.yuUXH~ލ0ߨ=~g W2y7U'"W82EVj-F,QOkft_tĞ>z>.UQ5{zCj,vK,Jʜ˱hvs5])n͌q#rv閾^?khG猜8E[>X5t{sQS7uu'oyl[ :5ei ) 6/ԭ "%QiJ%3jM3!u"Ou^W~MR -G\Y%CY<&ӛYc ʯhe57v Kb㦡U^`ӇW |N[Y6ёMPq<߹`[kX =þ cTΑTx}/<Y-Ј05Eӛnc=Tclneoc\-iz^|[>O8'2]Qt7ZiLR0)҇9OGNbęx>eawXwQ̵R\|:gѝk=s  r?dnMFYA[w1dʦ@ u*5Ŗn4F486ꆯ#Ue}D2iga1>:e *Odidk;!p<=lYn.EE>Rd|w)cxrɏQh8hh@ A$W d"]iiu;A)Z܊F(xxk}0.S 7ic^j%*x_rЧ(>F#)rO{/, Ebmme2)y&vij;]qK#ͤ`Dp^ǘr:6ןP'ii(0>Kq᷑9OSq! n;?rDYH]6z#~z,h o?xaQgW\.pܰҬ 5 8f}:D%TL&("92ֺefqpmAj,[+Njl9frLkʥի-n 3"bve7ݠOBn?vOLOo<|\;!^{6W76R g ܕARS>z%ˁ$`W+2f؟/#iGpaE^>C vaP3\cF։c N2 urN2cʱ 8zoZ_6ܙXG'Z~x?\(ޗܕI*ѣcm[[UWD́cnMӸ& "N~ 0>1K kݒ)K4f r FIy?ìo>)Ҏ{J]"A*} [\V~o@R<#al9оΒ!n;FkL /y@4y( 8aЂAv8 er^Tuͺ D]AJqp/R%8YKKb*dvT &6& Fu\@|XJ;>4hd%(CiL>NiJŅ_^>!O :ua)^ϡ̌|LGWe*L6-9iwǦ|q y:$T><X_}JuLOrV&4Vl],A=f\2h2s w@I+?B@\9tppP^)'B6 k_F5i4m1KagT>gb:mbP*'0(5ƹ{M7Œ^º-4)K/IҮ14}m9^Z^JqU~9uԭ5NZکRǶDy,KSܜ_YC@0 #D@(1/`D%ԧ) }h"XרҨurG& w"-_{M* \\6ؾ{,B}ZMe84 `*#9JU9m`jG=ӰShiigaw Pc iFX~3`%q#K=(WOTXq]#Pԕm$k % SO}00ʔ qy%%Z@D,{r47 #UkZZK?mco19]_HRJ;%l~]H#[ ~`ү[Iǹ_]anlja㔅":{pW௙"Uue}#0s7/*G$1Z[;6Xp< +b\0pY"otp(eqz+h̨o2 Buoө{a2p0ÃRǚ3!t(+qЩPVOSsYx<sLBL{Ul4JT'i)ܙۍlqA_ tPhY=$q >86-Af@qlSTBA깓ɧvřX?^Kͭe>!Iv6V'?L48MwˠB-4B0#NR`IW !D` •^R  Cf'N(S69)Qwa$2G}B3X(NkVip9~ZsofW/}x8LuQOot{.= ƨnpc8*qxb[%Uyvk Wǫ4^B_ 1-/3FGxH _Xu0}] ZZ#Nf2T s$FH=8gp'H>1J *޼M K+Pd97 7P~^CϖN?Q.eKY3Uԯh)&^M Av5 5j?W ULne&83 s+\6-qG?-0 h߂t<c&>A eۑk"l xR[0{\qp##_!3&_S0U67QnDU[khY.سDD6?=ѧ5Y[ںD`(e<.M~(妵: OAn'Ŗ õq!5H([ڦj*Jpּ%z,vd4n߯7[o '2Yk,( eKP\0wkBj4OHi"+Ŭ9|A؃ȟѲ vhҳC˙I\ u *H$0*" JG1E. CR쮍#2=93tWnp;4~᪴{)ba{kti) ;刹(,0&o@R%M %/[!\_ %͜ l0yOgBT?kgԾ,eR%P'^?4i<2`=@2WH ԙR<,E#N0+?9w@uQ 6w;>#x{#Es9nVż~+s}m@&/}@Q@azV#KB&V?Bi.;T=6`V*K"I{*x[TG|3"@唡)tH9G"w0QeY(So 5T鸓q<&D4lGx-Gt3ї LDmXHЮԁ g weye(RfO~:XQ?~p8ZLؗbo@L<Ǻ Y,;jg^QA . e|sUSLĈ7) TrS"P柞'<йm@~lu6 oC nFBIUA@JǣټxυId"7 9@IS ˵>&ekL`O\2mm VB^ F`H亵@ UK"B;Grc"9@#!,<QPBcnPf&=ik<ӗ?L:&k.:ˀu~n0K yQKVJ '^$ڥq˧ C$ :+_'km7頰yb"~oT~Z0+jy ȅItv16LTY"ľL[%&5bS Rz %-cHr0?31I'㊖>[U,Mw 2-*e ce F ٚ{W+d6ڡZbئA~Al]xIڴ+JC#!Z#`Da;cǬpjQQ`t+nC Ov] t+rY@_fmwxy\6 qc jjn1_Kz:V'c|/&Tk[:@G0K~2| ¾/ x@r_3B"zMSAъ< pyG<4,媖Sa3Qzϗ>d n^Hԧ2Cn,NZPkXPeђ̍d;ٶa*27$-ȃ]{_y)W61ZԣBG֞C һ4 D-cVBdVjLX U+MXK7}5Es65%[@ŞH#y)rВSehkv@;Y=azf/@VW{Sg"aoTCJ]y $"x=d= ӶIO+egGg"Te S{w%nC\u2@a&\}c HggM }`03|cdn\T*J/ y{"<93k0AN& u1 p  8E 9ވp.` ۈ6h?HAkLaʧ|0%l:#ރ jٯw}{8¡7fo &~{фq-wrCGX_1 Xp"jwɎj@E `+~y#Bߖ-9yԸ?s\[\0 P`AT `3,v&eٗ`Dk1#/Nxr?2B U`6ҹs 9~n?Θ):0y@(Qo.Bf@w4Rfz+#jѕBFX;OuaND;"\.4Hʉ 8+{6&Qz?O.y&hN0`yHcM}K'[X@)wl!BV GZ8=7}D7Õ 6;*TSHKp{UIvS x4Nʦʆus/y:z=*"-W.=\nQSq?0x7G[\)a>8c '66j_%cXu*oZ =_=Qx&ќ-Mo @~Mac+,.`^FiN@cvX.e]\ ,|K]XO10a#%WxWE?6c ;%j|bvm3?-a8}+xj\(;XCK/J|"Ώ4`jmϊհzdC%|b1W1M¾\BVc*\PU{Dӥ$FǦUæ@L(G n?N)ch||֖Wx9Ga^2!țyZoČ[,R p3q4 UG \~1]kГPpUOF`KAJcT&uH "ȆC^=\ >rfY-eʆZ2YX'aNQ()riR$K p GmN* WaH v{\ ~KjeL"L|. H8Lcg;gYZdff97a6bc3304077b99f3bbb024a833d74ab2ae5b32ce723b0c0669b9208cb20425fe0e449964a29 c8cabf77ca89781c09f0ffe7bdb60b594b63f54ab6af76ed1c7b8290a384b4064b9935c0f7eecd5b