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  =%Ldd ]/]HOL-Analysis:threads=6elapsed=360.067cpu=1874.424gc=122.876factor=5.217zXZִF! @IZ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm״N%#'h,#'/i>!liqN]bakсcvB* N X b ZG$ootc+QB3ȡP!#<> 1YVY]1JZE)<*hp= pA M̡[)KW Bn.$Ӂ ,#%Dc!pRYIvS|4̎owe2,Z3M=Z݊_@.D;iBc<ݐےPc uM`8)DwSHfh[֯,ҳLB0tsmbtHe)=44:NpK[rvR.(UǰR9^?>2+젼Mق[gG)1#@(y\+X촭Ѵt\Xx-:LoN#;_>B`P𩆺Rt.P4`f3bb b=0f!ij_ڐ2pZOn8֚vql"xʛnimssD{̲EU:';pn_Rb]ё`Õ/]F EQCpJb^!6%O\U0jp/ ŕm輜T!Bt_W0% HE 8a 6'({$ײbw}jäx Jt#TI+Zk@OvL!u l8B6+  Xz {W hswXMm[K,.=U2IA#719:#}~'(;35[HJa K:vuntq^ @X[4.eO\Pl3<?;S/EڵeyT)d<~$]hCt'vF<[:8^{ >|C?(_t5)/5"T `znn0u?r 4 a}lLRC} 6vgLw+aWiv8C)d8+n7UѬ+QΩY]q[\U #) ^;cC Y=K@S-1ڧI Gs*j PI*]{V LVyZZ hw\)Ǵo|kxBwE;&Fjy]ʶiu#7 g]*7TҸC\R Aq:JgޠLMV3dP9fC-7VOˇGd<4VY]X˫W~<sKk3B4G5`%wՆN*9_DD]2Ƿʖ E >1}ѵ~ZM,\t0R!!]\MԌ?Mg($RlQNm>A*Iy!F,WLi0yrkZ$2zF?LƏ&|܂\M 0﯄}!Pa!;WMYݩpa{#5r/5mv`ʦIp?D!÷ Cr(VS lm ۵F>Z>$j=6ɧ*J!?u\u9#[$!(aT9zm#*E.+z~pog0a+4ۆruٴ5Z$L9{|՘/9Q1.~Q]'3pMxX3@NA笓s93q/A vhUo djgZk\[]'om;3EMK-UoHzA}'S Ɐc}Ŵ`J:mѾ')P( ,/ZBbl[Yy vI eq`Rhhxs&`[xkdf U ݵJ̛+V[u@xŅ.*ܹ<1y3Dq_  *уڇ2s!V])7kK#o%6bBPw6hwm+= eM }u2 mل9KrMS DWO@b0_$zQG+RBF`1tLL-cŶ D%eϳaEϖ~ hŴ8xQ,e($߰*?1owܝ2+ v0 3$,R:f|.f$ԇVYqڂ1]V}󏂨=,ޣ4ċ9 #/ĉ܋D;RqdDu{gq(\%[1Y7LPV2۪n}Z}p85 R~bJ}@KS!D ؤB{Za<8@-bZ#foNU k#hi`pSE0Q@V*uo1PR/;ߪD,p{<}=gu(-+',&g!LK7:ds$l|e6j?3gRR AyMe2KuL465UBmĦ/SU@^j%#& h+@ǥ /\\Xcdw%]3b`5XMQS$ @*jbM3$mߜA"37~مO Oq 7'.a\!l.lx"?ttf3k6gc4O i%}/^/B@z)[L^ XS໧Br<\C8We# ' k!Q!w}T E٬+9FVfXjid0+oWP$UXg^x?WPqRy^IED*%͉|-o <\Ua]z,n{On-} J7ڤ`42򼏛21G4q1;jOi'lr2K&38M 1wGXk;t'gzlJP g=ffh>;SK`"7xŧΦ 쁬7 U-l6!ʻFois=G$Gڜ͔*ΐX,xYѕL֪0gN^i1#&G@Q%L:UZ倭WFU}pY7  d0g˂<8_ vh\8[]bCӭ;\(Zt 2I2Û\H <_r>_Q@F599t~vX,F<HΏH,qoo~_|m6oM:s=tC]g^(nwOxez68qrmz-]6B &|YJh36Ř]+k|]4ѽ*#/UL;>hf?pM{OW%}`jR 46!k9zo%.Z4n\uuw3;vm>[EetŰTf?ǻZw3kz"Q ʲV nկ_Wψ*(R'>UyxPMЙYdLX"ڭuz~Q'co[$S}P& <-Qޕh1M^I)9_!Jüd7AIgv֣+{ |_,.`k WI >!%`HMݓ\<L4iK-D?^!dp*g6b Ōڌ t Q*S(:LRpBCiK 4 ID$.7|\4TWUVMVw -ZƄ` +RQ~fu"9l"t>ꑽt>M?D L Vܙ8Afy>9Ζ &o5-O+kR{r]e-F~ =, 6f46'e+xgg@H :s_G/_ۭJA3t.YeԡNmT/d¦$Ǵ3+1іщj;~yMRs-nd"xbNWM)$J^hAj&I[ë t6kxRo0%F뾼Mjt8h&mg"jq]щ%{ YW~ĺwIoyu֬7ژp#g.e;x cpe jIA=T35KD:m^Yfv,^#idpYIB< rBU "cn ӄ\5stϖl(?} (]+'!_0q~tѧ,f'fCf)n%0K|FI~R+)_+ؓx4棴N/xɋӤ ]jrHEt{'4nOs(1]pg"0 δU&*lZhZ(EkdX:"GiI@Lqѱ>\(D{ex؞q}ۢ.i$`MTh6``m;3k!žk r v|ڿ4ViC` 4塵/YˆApk?Xo>HEiJT;HY$t7vdbrUצ9:GBXJiE2c$_^<Ī9xp櫷|]y) )kEz ݶf2M@Y geӷ}7w9'M@Kl$ybl' u!UPV{Z2WTdm2Ir+S䖜;@$?8KmHIEZd;䈍mi[FlvdaN"fvWybzlZǬt&NH!O%`9hHZEJ+a1G 28ogj tkgS7 z1U: C@?CiR>wanд!2rn,WIxNy3e A&f}(=ZrhU+اݥh`qkOh'`3- LԦozQ K:X۶[I"JV]*z[/Y+^g,r;zUp?*5pm?y{FlR'%^!)u?^aCuWe. C} Хun 2 %!hyR,;[ܔuk,gwJp 4XCTF]O=yt:0@)jc9 NȏQA>T1~q%^W{H!G|G2}T5skVbyu_ψO ߂\ˈޔ4V ^4zVkAmN?RQv=#XKl!bɿ$o mZ+`M)TSLԞ5s0ͣq9%6o{2+H^Sno̦3dH]@9qZSֶ6Yeҋ̇\Wѓ4 \ȻVlsK=&dg,,~(F5Q%$aFM"2 L![hp*dCYSWNKhsįڱTL{lXEY,&]H6̩1q[Оw=E57ic5ކ̭ÅzdvG,ʇ_[?+]D ̗[:p8{X%{rrգR3Xjvb^;lsbs9 >YzݐYfYw^A$ Q|~G,5#|+~#UC4pTcx}m^j(vXE5彀*N/(y{﵏O帍,/ـBUd1-N QO9H.]Xe;p'XMTJ,=fv Q[t<;ȟ"+vW.bN/#(v;,[*Ξ+lc ysz9tsYn|=, 9[dtgXfl!deygqd Ƽ:[9ntDQu^ɑSMF EF5 vX?۶>@bwJy8^$3O@fEWrtGQ) 0qi]6$"?'xqB=^:"`72!?ͩ..(9ig4G:VƁw=U|Ǭ :}DvfUW1"!j J޸) "?Iuzd3G\z m5FRbO Y-F]GD`E'"\M{q}o0d1yFW p-5}`/:&K]LeYKČ$PɨGca5^ky+\ǯy!GJ7|woЉmc<ϡr\ BE#!շPLIx`3[FZzOg¡1Fbbʟm3LG,:7ϏC2ŜU- 6B{ܱGӟg;s„jQWQjן"S%Y!Y ;PrRxm'Y, n z \ALwbj>嘣w@c4K"Hv] ٫"EH3~tjl]^ v|zB8^M&ԨMi?`ͺ%yR%VKg `EVV6+TUdg_ em}C.%6. eHˈZ)mr 8;T3-N(4ufYEp3|<h<*o=Bȿn+3Wuʼn i4B Z+BpHq9]AepDaJr=,E̅A=yW;ݰΡsj>vT/8?Qp jAPp TN@tzz)=AʒHS9u] G]Ǽ)uEhؤb Gf[Ӻ;-1"|-a+_bD0$ygvQ!a1w,M0QҋN"$@M@b,i-) jg7JI͉q|~k53ve3bqYzQ&m7a>80Zxᡁw兤A/\28lqIk,*,)JĔnϭ [ -Ȫ}YʨE^& R {MRt3ԗfʎ/r=^hxg/x t5"S07x;v8<'?W =?b4?l'MQm7ꘙBcec3<[ib2©9~\a^R+SjtJ M6$;S/||#?y-""&_}})ERwE#&<WU(_T׵5>4H }+?=_;%$$i?bdb[lfnàYX æ>7#PfwnC^L]'Ӥ'[2MZr1Sn=&1 ^휽o*;cBJ}@}Oy:hoDp0?)%=:bVHX1+w]44/`It] [b~ 6] 5hDKTGiBJ"e(lup4!1I؉q}q>z `6bHtџGgl}\Pl̻;r&N)'=<ǩVfl^^l u`8}pW3 ]tNwĄaG|7:#d?Ylc {,;jX}Hvr<:n/d!7Ж"~KT&ҙb?)j[HjH_L<^}l`飼3ysV ,ߔJ ^8[0` Uif|D۝Ԟ q?΄;囝.8ofVI,*uOtȁi# s$ wF"dā6fvHV. %rŐݞ ERK6&?yi૤l32nF̘s/XDMb[f>Y>GN[ŵ`E块wG'`yM' Ѵ>j(#X /ō%IvqU$)Hݦ2zױ%%h^Gc$[F+۪ 5,/]NT^N^,oғYos8{VsEqnZEZgȦnaM,PS3B/K]?k`61>7QP~6<*O Z*JW >>пes%|yy&ؾ3地 T4j(ga{" D"k uC8DH 2]=h 'W/d#I7UQ`e'T,G&Pժ36f77+BO46.*a5>]>FR"iJRSл#q()L,B18ކ$bF:PkmMl= ‹4Pp4dGӜ$~׹uT/\\x]~!; ·c3*ǫf >ham*?jD:-ex]C#qN5@5k-B[h+hhClhU~VB>&1^2R47%SDKew*ae4ʿʁWS2't.dWIɔ ?Ee-+m&"7r`w`0$^Q),>#P੤8 +u) QlA9hUPX2Ey[|{t(Iy1 )F-Ad=~l78Mu0p+XRbVVcDɿ ~8p:~'-+oP 4 5=2v 6BB݄ݗA k{x^X _Uc+b.k^OTE2Ei;&Js('^=Cv$y `qo}hXJVyZehImkcy9seQA2]?srzΘK\o%jԫ'JfaƎpǽ[)Q@/_ VKiԎg%Yҵ0' RY޻ʰl@ ڇ*YKsU5Ty^utU#LS&W7RhMXr[4Pvx;et\G-_W#P ^ NgXz*Ňb h7F,{GQE7XV}>ʟ@Yo /6=3B!v@>;z%+PZĦ& JP7ysw4ș `o`fڳz[׈gWaa>44K6矧)j9r{d\ȭ98 ON@3Sp_"wQaȦ9:+`|Ͻܲ~LBAŊl3AbbT '$Rgf֯EAaBMƠj.{4=c>~D Geddm U:ze^^&jkh  IU &KЭ'4BEL_4V߽R8x@uل0*yV>M3r17RD  ,}lvyK99f;EpcY(2 @~ Ֆ.}OA007_Z4YX)Rlf֐i?FP+. {ŸI X}}s>_ O[_=V0}f] jLp{.7|O=t=x $c:e;h<\I< %Z \ޗrNGe^Vn^#v&B4\/')Q2APX0%cҮ// ӦL#UJZ>0ѫVZ6'y~ q5.22rIS2gix n}\l$򣒕c=NTd3PdNzߋܸs08='-*σ?ESfq2Wy! ZcPjE3,Sd2Q'Y՞ -O] ǻ46\Og[}%]3aNum,Mlpjڗ7s4PB^yZ])(Cx0^c$B5e4"!îwƌ04._Yu ʽ*182PKzf|B8'LJʤqodsdpL0Kw޵,];7X"{JȈWH5iS7=mrwܲ)۔t0v){9+ $ L38Jő8o c@4ɈY,+5o'%lH-Ox6P gNqV(x@(]8qkIb'UMŇyXPۄ51NÔڨWOJ%w1MUy LSyrڡ%bb)9 =^ua쾅bx۠a1Ԡ rJ5^xlXI>>?̙kR'8fp9D2qb"Z4IE{E2tv42|VJzm2X ;(` 8[*!^pfD(Ɍ9@FZGPU;/ˢ;Ibh`&S~/K[Goow&/1IA XO#}>{'x/ -Lo 8tmDG: a,) Jdʌs: /=!wuyH$s&]¤.Κ ̉J+yyŻ|q}IU5$7U'_,GD^پeÓ;Hm.w<42rwRX=jP,0ej$fIi]lydlRc0뵜14E-@Ѽyk}*+wcHQXu8EnO?+*@F=`IRnzxPq)vF.Q/Nh] %Rnjn@讇+?aHFn2Fc/HGR5I%I,U p[)C1\'rvE0I&f#x ;IH1lt8RyRudXVU(5ajpwg}m̝OoZD_ :"7@FC';N8=Re*WF$sL&jˇrwO!3GiomB6iL}P- u?լZ szꖭ6M 6h8,-:HC1&#Gѳn0&k i N\OƈڠLM"5>{?.KJ55T7kXpʓ AQq0Wvm<&a͍3g_tZ?kblxe3( umZXäHz8hШNt0XRkX 4Q_tbnU˴ J=/k}Ǎ:a65n7S b4d.X1=dBFw{&uJxڄKN{'Yj4 S1 P-)3]f]X_uқE̞~60+'XzNϙԒh^"]{:6Gxķl:L5EoT Cgģ8HB?hHgs0G5:} 'K:sA4r'9F}pjT3 H!-Ȝ`34 6GAw keXw ' Ψ'kLs6u>bʤfwj+?\ EeD뀭|d՚54tVO|"Npeku]}Y7읃ǓX qLGjY3ϏŖkX//9E@(̚mxmQ E'q*SS6r ѿLngY+JYm*s ( &uq~ւ,8|ѩ^8'gTEse(jgHMqq8{=mjܮ~PY +]$ t}ەc#9AĹm,yJY`fܯfBW\o)ˆ?̈́ Hc@ȹr<|oqL"+ y|Kx0,r>2;4s/!ll,nM_ sewWS*x,NO^&ϝd""aD"?ruC!KVGB,$7>26X3-o*餗tsU¨3QI+ >^ Y9ʌ "t2+pl rt ZpQa2T>FղO1S>)X$=N7O`PP}˨3uGaPy[V@0dc+yÅcߋ)vM-!( ?:i=kC7)$\,T4}dJ,E0"<ȸfOYgB2}{oؔê5Eywv7ƍnūak:8lUjh(󆇚{}v e(y;""a7J2Ie-4^d!iu8B?FO.Z\t(A E.hrUPM YXA"llL!χL[9C\W "̵>ugPwF&g(\^7N$d ERr'h4.K,)C͢&^k&:+7j[J(}Y}%8J,3sXIW U3=w@y>E;d?co?qQDUhu(#X+z"n\\aE w'D:kCi%{nH^:Q'CSJ oErg y3mϱiXKTz&4hQ\ZZ&x'X{|٣9 ?j"Պ5#ʵwmlvk #AVQSH/ݥ0N(ԝOZZU[xם5:A=DZPd(q* 6 f! rGb.*-dx1tw‰`AsL4.jd%w4q OUeH01@m,1BS`!hOtaQ."8 3{B 9aH9ܼ0HlL~zN>}eb~ĨöĴגqAFWQւƟ+;S! \|ebhr.,nn%+_`'u1g3e11QeHv#"Sw2P~TS84. D+BGĮW&4KԣJ`/aQ㍡zx v3PGB^/s\X,qaF$=}Fݺf%^EIXHZw͚Zvu] V>'"aRfh"9l9&U'G;Ï;+lm͵!RA.aIJ<8._V\m3A{$ E?wJzNe@a:*uu,G~c y*:h5F$0TV)#F>'!c*Z))y(bVs!"\dfj"u;fKY?D)\-݅v6$ɧfms#98C*g{[Ţre;'vTaU7(Eu QDeC.핒zkMDbҎpsP7ͦN >1eо>@F7uik{"/` M%^h+e%)}f̻3b%=o!y4h\ɰ5>~5iQ$H;\َn~04Ѫ8`E,)QdA9Y`M7F8%FV*ZqϲyX@d?db"ۣxz <bߤ"l|m#37,$^jD'A9d̒'%s+gIlPNzҏE ,Be|U~8(^ 2iM P)GffXm7.FpWdFG\n8sgrsӆ^HO(qYCcز ?zkaHo&@TCZ?8CW`GKM?m#4~韱.gLӅn#}gy[-?nGMx4`W0;{+VRƬ҇žCg\ 40pW@.GjnbrʀF gYZ7zXZִF! ( +]ŗXiɟ1˦r!cHkMeBd4>̵1ƅds#wp(;Ȅ)=G$,q_|eIP9HPxK.ݵSmgd416 C-O:W/H%bJ.]l._ ց`X,uF/t_chVbs&ݟV?o l}Θ6Ogš}]- H(]&_D>M:Py?8v`orxsqA_FBn<,gv12r &%8J` TG832ĥ "_6(+ӝiӾKN9bki&#F x;薷bʙ] 7ZslV80蔝_c ̶䭬duА {k 2|X:6_Мιs㨤Kr֡Kգif4I~M] >k[RiXb5lU3կnywY3q3S8|kDG<)v٣LBlY2H"b kgػK%A@J!{ oLX(/y#p6]hҪz>V74u C:BX$%dklf*AR\rl/y1oúro'J_E]Pc:!4``u:K&"8>Y UbBtC3#W|(j֠i!dS6̹YeisӵDہ zpdOY"V !"A$܁%E.3,\ ȍhO9޷j.G mM~]^Ԋb6vGAe+nX`\ e)X#nŤyޫ:y2beֳ."B[{mǟtLF]?&ʷ!er;nRb-1>=/kh>R2݄k8fq*+:&Ge{4z %DžyB y;}; ʈ` h;kي0&2I!cF7[8$H~Z( +GS Ki,-t y4ÒIm*uA\a̢G;OփQߠ軒 a/6\g96({ s,`o XTO/˺ryRjΰFrpDY9rmQW2fsK0$ڻoV[n&,z瞓N^^K$N\.++ u3}M<&6@uEV7&qJ^bf%@.(M ~ӓ)FLKwhW7X#KGH:}Itr^•We Wy| Rz2_~!<%B=h:w曩N0oo[(\pWJw>_O gU<&ZhMlzL~MnSt=vHrr7 ćS|9wŸo`d+_e-;!%7zb]P 2g8Mto [pXgݹۆO <*Y=V=DIΒrɧ(S4?ý ho"/~V"d}v B(T{[K^Gj.~aM>tM!^)'5R'ۺHZ~c}L 63ң3f/Z'1|̹JIWy&GI3,B> w]6+N.E3PX~k7ȺO)w $Q3ݢmGbs`zNF 4 ר&Jd̨ _*՜9/ܧ{`sTZ i1[`Yvwv]jQ2e=xAX99$h6P1-Zen碰l&{jlhg Ue e !BH>yIﴍF1ɀdf(55 ش4$Q9ƪGVMnUivd<L ŐD8$<@Cm@|ؙhYDN!?8PO>UB"^YQyyT1 l$Q_*Lxx3D^O+dubMhdl`%!WYP>y\)ŅKX|/rN8щ9 V6V*MQHlkMSCNU hkR:b'G^^Mk0 f0F}>j~72{GXԗEҦKm1rK n=չr^$jМqjHD|- f}Ңᆤ[%)'Lk)LWlP v>ҊE8]c~)ظY)2~' et~7I"FL-/vQf-G. ؈"ꉊ[h,Og3OO#$.ƃZʛ5Hū sRj'\D,w7AuEB9kͨ= !V:_g0MJ Veë>o{wV2q)y+rΔw=%^ʹ&#nc@ @ }>TpW<]ѭ08)~ q6e.U,d<-gq3sj\~υXfvM0هr9sD<'n&f(1H`_^[k۶ʕ2f3oٌuy|eO 4ҹ## .Xo`4ܥ  \ڲM52ϭ0("9A~* ml-ռP"0 8I$b2ܢ8ʬ!wtI@ٓsxjp9t G !?H $3u̾ag 3M3EWTi!"&ȅ)%E@ڐn|L @ʶl=2nQ9E⫿?>ڥ~{$/QSŒ+ ,u1q"q b= 4q&XWC"#Зg4LVV;a/{>Go@g?&"GJo~oI!ctRڒ#f?jkyi?w;wl ";g*X1Y2!a@\'vVTJ$9љ>Oxք#!8Z˕uY{v>& pSÆGd@+&2K`mYV@ U5*u \(/ޯWڹ/g։|_,_F+o$`^קrkV񑘞F !?Bb"pY"tMdnKߪF/F3N \˴h.ThѬ} :}u|}"=>A゗epn/$" Nm{KQ ~%U:\j0l?2B^sFF7C5ޭLU5 Eml3N("{j2J6z'ڝ/+`Ri Uw;b cߔrK\J5}+,ҧHuuvYQe@svj/WnYv-\ b);b#j#PⱾiض!+`z}C+i0Z=S'R\Rh;f sbBҨ򙎎vkx gb5[zFB*QC8F,z5\ r7=޵=IKfm{S PO}j.LۨT4,hpQ9+ޢ!I򩻤ρ4%91+:3 j8*\j+çnYD7ufZmqk=uҕ*{ʄ8^Aq%JqwJ[XQ8ܗS=4ܞ}I83 G\AAL' :_GHX &ZDzJeܤh;:@ю%yC~{èJʮ%m{X4 Xnۉ)nvjTa,H M%! 2`",@Ḷ}#?wˆa.,YVjtDg0u{?Gw Zt$[ck*c\ 2C?86}l1!]-q!N.~eDe$=|]wP oLlVwU]m-TNFv(~ȶ;mf LRz T![K4Mk<GVB;0@wP"JZX"$V0p>WM΅ ܏ F-.dʡ y&.O&{!D)/KphwЙN~i5޲ 54u؁_S`zvϿT<6%jxH,AJ@ ioDQ_N3<ڗ-mU%x|s#- [ajܥ3\*y4GvHe_^$[?gJOXݛhŸm=TpY~i3HBeSeq mDZ:wKΫtH ț2ToC0NI~rl]1AU1E20HVxzMSNFp^q,a{^_?4tᴹ^0S:I(+x|DAt fnPkkѤK,x3QaӧK+Yi,u*TrǑRCc3 mJa"ָ!Y>URE"R |ˁ8=3ZaSn$c/徖 N (ǰ_DMݤ#)gIRՋ|¿J{%0qC9=zTxX5\Z ST[P`x~02/E.kT V_b"NH$)E@rDb%7͛ E| k" NNZn+^NC;-'ρPP+[C!ܱzdoޣ}FD/W?t?\1tht7thRJ:ƙ vr-2|-P)1oBxT##N uJK UCB"$-Y=/T"-H;mI}veA*9Y}sZ|={-9~1fPo{q"%69j!b|G^Yhh9wؑ$劮Cޅw iĐ0YlPq, 6[HHuع1' {-yg$ I~i57sXg[gj2YtScx]q9Z9 SSṚ&D^#萃;טM_suPa}M$窋H Lѵ+A50iDIծXj)/0(]Ç0ou`-X(qFpw~5ZHɑ!/I.l栦^ $"m9<⯡ >8UQbeZ0A!Z2pG<3F:qOьWS&alQgPIgsYo3v ^B`CHT0 .sE'"Ճxƈ\ DOC! $?F[Ao{bN*u}03)0Fi*Է^ԕ W6= `EYp\0>_ Pv :<*w`8O; 4뺽gK;ذi<1TdE#U-i|Ůo0OA,;-IhЏv}юUfuq7ֺij^3&.i̚DvjcP4`kCHLX0`rLWOS-Lt)&r)~z! Y],«\y 3q-N酎]Dd7Uwg4xtyNSD B8>|#^m y*UZͶ},"p8ga;~-b+Qs۞en9MB Hp'%EKP3I%KL / J/V|@+Ws]`X16Jd&_m\!~Vj堭#`iA-s_eq3Xd`#v*ꑱ\n42GF OuzCf-X\AY4 "No#]ʚUtYODD af84vfgS ϥcw7?}pBA3*^u$KXzPëݡzXܱu~kӃ֖ s VXDYFA\~ ℁\K(kSoĜmqRVP>EN"@_GS0c3=9J9[iO(ܤ2B~᠄jSvpBzg;=L-T3> m;904z"PF>Z?VXf:*gz/qO3XshfеPv3ݭ&p/֨|%9W)ҋ̪7ꡈLj hׂJ] 9J}GTT4&1$_699pd?l'c]vOxB G*Wiunf$W]QT,zGUIR. P>{/ r3CWp5ZJ;J+Xx UY1\ECl[Ҫ譽ZaS %֡TK)@׽W(l)Lp-?wQa#|tw%L)OY EcҎ/_yV.&_1M8#uJqrǒV?/;)]ra<ݦJFVĕ)*YsJ&F^&кp0&'XYyN O[$[fkN؏TPkp]ZڳmCؐц` ![Т0s(wu|t]x_h.;̎C^)1Xzߤif#]u/rqPm%K"qb*ab6,'{!@/q"9BJM~$t|xENt- z?y Wf(PoKG]A5 L-}ЙrGdL[|ޮ( !}'J?,0-@AHG ͼA|1yKix8LhQ*1rA4ɕ*(Vˬ Ď df%܏"tԆJ2 4T~ x&ղk rҨ X ?}\ oƭE"pX8W`׀sf~Q"AU3WMDۃRA)a :#!¤})t_4~+b+ _WL~ }tV7}K]D53.ZӾޗw1cNrnN/y[Ǟr:ӤY666~%HC4V! X,)Du{JGmeo9-b Q%p6[ks 诹.J{ =-ohЌLmQٸ!|#֝cS3q<.UIG&;A[)c)qi"w!S| aD_yWuMc~WX7nidh%64os(8?ӻ\^!p ,H~+~I-ZsnQ"e[b7s{l`-#a,k*Agv*%y'_-[4˟nR?sybLJL?R4#E̲n!cu6b#rL<f,@`^ lhI;|JjvQa?h8D&-6%W"}"3 ^`5sN]QkxOus=KncdZ?=\#vQ5&^:טZtb ;TԔ>$WI&a/I Pml4IppiNl{l*y!l%EVfrŮL~ODpke,?ےMbծ(@}P(~KL A*ز:mv!Y0s+Cg ,?yvVLx@L ޢˍrE2 %rcM0ilËY^-5[lUS ʑ"qV҈}N^FRʖ?rCO!b?sȳ'Av/bei d f"fZM救|gcQ#ÔF"3<e"- q\] 歝WOfBu2[)Uc32G$=l8%?Bj"@= ς3XIBT)֯oٴ8b[@y6ZA3gL\>v\o4_K"MT*mF*F ` 9Ā!n4\X?@"j[Q̪N҉ŵ'~\g}u7\:,ysctU*^1VX#\yk v>~QLz-y?]eJ -عqɟYBj=p_2 [0zzD 3!H =ESaaUx6Ljڗx^hHh%FA'~?tUF*F%Y,.@E^z/Pاg bB0)=PXG +:dt@Z}Fup&ƎD›Usx& ңʰpA>G#k&1/%̻;FnJuN׊b358Ec6iC& cV8mzNb3qcDMy[H5|Sgq붼Q;<#P)Rp5Ba8c.3Ep ]Dp9$n'eۥgva'}S8侨.}KG,;" i6`IoUyL[kH? ,5E6 R +W ^3 Kԓ~#۝~[wqp9r[X(cWB_ͷ&R</v kv6]zO 6JpQx2]pJ0Ǭk.3Ac !p0U(֭fN2X(lhՈ5 ^,N1B'Z9KUQ1ZvXxkv`K\ sy cuQ1<;dz#E>KGR4 m8oֳl ʉڭ>ALM:btOh%1 (㇝*;F}n'Qd_y~R/0;btr!Sv)t7+I,IܿrJ{I(dNJE|gH5Wj4l}ۻ(:I`&L1a#<-~.>%3+%ml'mS)p%b?0(KK`Y~Y~8#duRB˵7c7GRy=F)qp.K-mct}7r3hf)|T_!͂ _z=7s|m * ]B.&u5 u ˭%gPa+R),?Qz/5]fID]:od֝zgigҡX~w'Tz֐4 y8xFH +)BHsgHGRN4QB IF'Mք{OoBDz7FŬjLR15hQWM*:7h_٨ ؝ódnkDuS XԿ%̥ۿŌ5%{tlΕ̑KgrF2E覃lbvg¿,om,3fIV#﹚ؖiVHN24؇Ro۔E*m^purIO8~7*/k+ B0{GC c7/ߑO|N## f!+@)CAhxu 5uإK7c D7QI%Q] ͖MÚSg3wCe \,3 ʰw]b&,DQgߧ.^IO>#9v=͚gЀQ5#T }0iu 0j^BЎ;~7#=5|kR{)2Pn9΄NhtoPN{+xUun>jàR,,BV\x,Z8->I.|L֥vJ7nTήcsyŨрn:Qkt9>y9i_\RB&ꨪX7~Fw4=4D _ ar>=G3b+}wZ@^#?1ztCJwF3إJd8v5| KPͺkA>$ BtF=̨$rU=qzyCrҤpSճCa]P̬2{9ܫvh*iU? ̖߁g=r'67Uo]ٕ<f={KtH YQIP'VQW?Ys_ AH1;EH $K/qB!7"WUu W*MݒL2V';&N2b+YR#*'kb [ؕ܁j)rKoTZ'2QYUaN r9\AE^NHR"@ 0q `xLkB>B]LALgR[ eV] J6P͛*K?>ዐEeRYp@Jzr H_ 5?KM@cexM$|IZl kY3+|/9y{2)%azˢ B7p]ڮ%kr ZiAjeOOU^85GjeWՋ{wEOg_C:BȕR5)QH bH9J`fL$ aG8pOWl?jB-םZ:wW Ru^#Qaо ?i.)&Cm*ܢhk0 5{BKCeO2-3i~COEL;pP0o<tdm44^bc":S)Qj`Cͭl#NB"&nV`[Q0fadS)g57WF5Toq{Rg gfqĶbmo?h3YVpB0iS!] `MI;- DΖ>qҝ0@gBCkqT!ϓ`ER`g#6---{P5˕kyp"WLY)朸n.^RX?_9}a:-;0am [4!ח> 6x0"e FkT\ߊn"1#sGg7#=l5Ѧ /\ܨxZgQt'F}k 7WSGjlOv Lm녏h2Vt+eqUT]cZ_!!., xsY$QN`ͬ[ ls x-VXҾn2hws[GdB^(кukVZ@BٙQPn0?,FÙv~ϭAVYm3ƀ{1aJo?@Ҋ̶~,dvWc~Hc]S! *ټIs朙 OaeTUȞ*x5FepT zq v)?Hxޡ{r..XEl^ӫqau+26e"2m1a>N`澋") bM{~X2>Q`SԤ{+|3Igv[:sۄ8.7z- $P'6\!@]ũ&$˅Lľ,X,1V᡾^PT 9yM*ȡcC y"q/gZ1}]Tp,7>8 6bX o@ p<"rΠ˃vqԩfG)tsNR`:zp!*Q`lZ jGnfx6 {7pyw!)}M!'=WNjIch&]ÿ:*$>Lz'[:oVp@F-^GVYxSyQB4Vm;gWΤtP=i,uOѐ`mMuriՃWqS:j ٪ײַlS&-ēa8#[c0M\zb6IouϷ"AE%ڙ®W*-zӏ/%D]55 Yx74Jǹªc\Z͎~J k2D˧Ğ4p{k)y1Iv=mȱBB֣"NX.kUvNʲ{a'ĪȀ,l`Qa 'U-GRVt]x5և 4[,S˻ 7mdU~_&9`$gg 7)rMަŏZ 0|-i%umAt:_Fd(@$s>rWbKYr6FsܵtmUqY{+ִ\693ad41SY6xÓV1%XiAQ)gTL>,ͤv,"Ս] 13ZF -F2/oֺUĸMnN|WE6x3 T"zth=vt©@/4 b@-U}p$ѣJk',PV4Akvd6"&& Un<#S@]njuTG8;- QsA~ )cz1+r{q8 ڮi=x|\ DrNf~] R8kÚ k=n{Η-CcFMwp(kkEP,)v >K ma/r"xBŽaʏ" L%X؁5p!??) 3}䦢%,]s=gLe%ׅp,*uI!~| ۧ: [H/aUo/`U~?XTCNRIlˈS8у1u=Θm=Z=s @2 0NRbJqL:-AJ캪 ,vHٔYr A,4k0ŰD{dv$&;3ږwiòKAKnUVLoՅvKŹ kw3;Iy_D59,fF +XiUG6]nGݗU`^<˳~N=k\#2Vj+nΗdt)pir#ܠщ!!R[Q̹w'`2l_bsq{VzC:qfQv{2>f3zuAֿ]l}Yb0O&02)%>Ο9@_*k%JBZ*`6wuh!/hKԈ4NLֳtk+xI.G7"u?Wfݮe<~Eڻ.ʠhG^OVBeD C~Kl󮫙QGyRiF-ryL|rV&JSH ];SqUKv< {'B $wvYǛN1׭.L cm !:WIH[o+3q,ku_Y&L|V+Zz3ޔGW#9DuOgVMBVMό*9g׋ߙmv5aͶQ+|ܐo)BN?;CfhTzȻ'Ϻ#K(ڸ7a Wz H}^?=fYsAh-_[hCxMN;@0k_< h%c3Y{B:E,Gv1ńQbH3w{B#f+ݎ}o>]c#r{Nslݲ+-xW@'ǿ O ?믟媌frf@-ڑ?]b~wB`̴h3Bk쨞'^Ń`D$$.?[8 cUbcؔK/iUf㍉F0eOM .hbpyv@;gV )Um~r!/H\# j\,#Wt՛>1[f6'm|gDB],@Sn]x`.C#(%P^oλiClAJѱen2{Yt *9O"'6XS*yCܒ"ЃO <}j޲Q 89v(fR~^_ _9& ֐'d;G_gݼlQ y!3>i-!HcTos̞RR4G+hBJ ۲{joڰy{HO2__WJ90g664b{ kdv_ɉ]Mc U\>54*ߥ׺]N!pX;Eطʵ`%EuW":5vҙ F~2Kxe %cYo#=5߰@O+`^%K#6bKRJ/hz.BONԓjX䞵j  hdA!nC!=}l9ZX oeKDD{R QPRw&*&rHNH߇Y6e9g1&XM@5i4#'¶2j8Ў&ha{oJS6Kړa&@ж`uN@Lz'A&P LH 2p@>U6Y|&|XoI G!H)g>6KBgy3)q_ `kBupHN hP\[!HavH#!b(& U;.vߚcN;`|N*>x>\Sp-5Mf6ǡ#u)\?קPzt0Sc_Қ%31ISyz=f`PhKF? QC>@}jo) uI;Yu%K_-8HfeL9.# :\V`J̴ ts*xsЮ4㠳 8'n{UlUMO07ǘ#>MaxDz+n1懳m5SпI{ VqvN!IY /6kζ!_, *wBNpѕFB1F ({h !9mj=K.a3?•D hA_ϒ"%S=ҽ?ؙb↧[}.#=bxĉys/b;l/)1[ڧ1S;ER'6dΟ~1#-|4a^sU:soئ{:˔^@:ދi_)infnu,4[M#+b׿ׇ^@-dWK;:KRXoڂ]ɘs!0YbVSLJl$E$H1X b)ߓna<PcMrrco+12$u{Jw]`C$E"]"~w;;T=-JBK/jn]3z?ط0F &C>|?1?xg26VM[_`䶺l282T#L+}~9ӝWz}ws. 3%( jd,1P=N:E'jW,gjP $o@ μm>I 8'J^(7R U1t C8NVx-E|в4ګ՝Niw"6swZM^8`X(D҅0HrHحy VrML59tck 8>7"i"m]!/t = %AGyqߺE+o $UQ{ANIJ>4m*meo? [@SP42[+ }XMUV*zs>EuRLQ6bSMMoR)N&p2 4y`&A@qg(NǏTA,s -MhRRhT2ձxGo^8.o+'t[$spf>u"tjnUR>;wp!<$+{2sxy/&ͭGybȜ SGOy(j'hȱhM 4KmOʺ1CI̹0 c6INr:$ցFb]iڅjprpT !m VSяx nS2i_Ef5FivNwQʇoQbb,tIFF㗳#՝%,$ 8QvX9ZQ[L cAE mxUs:m7iM0OE} |0LNBg8v  Q r(RDZ.zfNScN ' (w`*`SwfY:_{PsH3Ԉ1yʱʤ,=gdUQ"_l_Ϣ/i-lU[̣. ɖ2u'.΅}ҽnrybc01Xdg֢S# ǎ2xn7{-gA)-C+qB18ߎU[YIgSSJ퐘FaJB-~Qt0H!PZ%gOQ`GQ  ks^Pر}[qj$/BI'aDͧ\R"CbIsHeDoT\| &c;N=W?ZYܷ J^L/phyumhUHb??I2%鏣Gmadڋo~]7L"jccNd&bѬ6\D 4Yu%rv[ Kȃ>Rs.1cGo'6%*Qv<4jAx_T2(r1a]; { ulx:- gD b ?` `&qSݥ vJH4]WXltq_8/VFL]8*`еam_MC:75!aqϿ^j rSunPqt Fu%-+`0>  &4 IN<ϣ%V86C1tڝ(Ɣ04/c˸J((qV:1RCKL$>{i!9b'0*8ҵ(~lXRG) 5JXNge$!A_Yc2Fe ,j/>e?ma1Ռ$~)º+B1*c:m2-e,|}n@`R8'MkzCsS:%׍j e`ɏ GF zQv)$[<4qVEHUScVO#A h[:W%{dp-D<}*,MAMg\S2uHc4g 7DngFNQca-8je-}MLi\ P )$4qjw1 .D긶m$}fASJH YiTg-1.oDM1KRF˶>IKE=C`{/jU1s||7=MMĸ~o`I=sbPaj`0Yh uOzrvAa'fdS LBKٍ+ EӼ@я~~7Ϣ)i2C~.+9wyFC1vs) 2\D#zM.l!ȲE9JQ頻I>wL+}`mßƟ}za'sq0p9d=:>J(ǕtJ >1cHƭ(ziI HԼ:KIn} :uF?ےRƓp?8QHTnj>9N~v_<] NAV_F`ò3Iz![$?l>Do$MxL]YJ{[&`M9˧p؛Lh/4;AX oj$ /N v 0`. 5oOA80 '^IN\xoɳPD<]!$i`9GTa/5:NU$ 7QV WJ:OGDZ3 -h=qEu|(KK)pD34qe_ 1C*J N E<*YfC4&c"8DEaMlG5-[VtrmU$] *GdM{`-WLd4'=i9*%#Gq&M{"=GsG ŀU/Udy$܏i `҉sׇ  ٧]Wyx6vQ̗g/@7]+'V~UpnI0 f!XK<Œp#O;WDNx)$Ny0]LQfNq@]G;73k9]XT9!A9:!ȣ-HܪuPwis#*,WU Bc+)3:=rWXiz¯& M98;\% dI*<|QiCY?>MD|Ti{f.,umL`$J A!RJyK%>ZS$4,MhKJ+'IO$I5K8bRԜ$Q&iͿ4>!3\?۽WCu8' &X֬8wqm(.0"&U+A:!=s)7tX2(O[s48uF?"$ GnxۘF*?ZbՃD(N(0=yt2)@gE#=&ZF5u]="DbiJ?{Q7 #n+ڛTDŽC;#0V+MOy%iGjfG(&8|»ԓ5c0V5> G9X4{s?~&H<0Yh;945v%D‹ًG( QhKTuT}ފPKn <[W oQ0ӊP$q(rL@cOL[GII'J?rZTmw -ǐ} n7wh,cs|,?V8[޽y}e( s3gz_:/tP_\ot> ChkT+&vQe[/:g@ %#R, 1+ٽS>܅oD4՞PEЩ*/gpb4frU'1.y:vw~kQV RmXX oM.;@Dm9u Ƚ>#Pzي5iFxb&nyx+@Π*9u`y$9D4_9; cGRUBݢ}e!/dR=JIs̝ET1?ESQ-q9 nEtqsVms\lO=$[ʂx{-Ej!% ecpç?g:BsUFs ߞ5zvH=q-:W:H1*Ļ"ݱc )L;.Ю2-A N[%FDt>fi|%sQZ#]}Epynx^oϷ:6M<= Vt5"]2kCq-D: s 4xdlp=z`0XZT\\^}f/9,ٴB2y 88W?:;z%k yپefx:0%>YY2*,E|#;UMٺBgYZ18a9e1bf3179d90b1bc4037aa0df92cea6c9711f174cc62824810fb30472fdb32ee1776d48cb238c fafe655213a5e9886fd032ac78bb3ac5809b55e3974a340eb18b287c94f44af1459a8990f0606c9d