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 @@ %td\ ]/]HOL-Analysis:threads=6elapsed=313.233cpu=1478.180gc=71.728factor=4.727zXZִF! hN]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 wʚ 꾮+ %e|mI)ҵVהOm53[^@v x}!uO| {eJˀ}?B%={q_(4c65H> 'iñb➋15]EOL̓hc,K?LH^6SPPxqL Ɩ%\>(w?|\)g)C sIc9 ]a.6{n#`iѨ ڍƺrJΆ`=ҘpAj@{U=ȅVA , "UN=Q>VK АEI]6ChWB!CfzYҩ~SR^,y?um'$\G%h*Ɋ3sx9 =PuDdHEnfh{NHC}!I}=l "jPA#E3Sv{GIH$-}]R2Tngm1eryQ/M<]xZc  ?R۷[KsIP(tjx%0Y6yJ#z#{I dvv fVL4'^zd""|g'!Q-Mm!V*D7ufzU.!x*m0_m;/I%T1v'Sа/i[҈Qjrb]qlGR'7{E|K7x&4 8OCFpRlG(yô]:G8ߜc'C{ԙ]uK~=#x?i]]ڻjnt`UG9XK"'dE :}(+ q%w=ٟ/V$ٌpP'E@ȢJ$xr+%ϩa}YvY9Ԋh^kT,% Zr i֚ʖ K30㆕iwsda)cBL(`8p*Xe=MsBX͔aWGpw'ѴTqW|70X % HOL-Analysis  =kbͣƳN:NT^LEDĒk/I֎Cb\ZxsxƩEXzEjĠ/RC Ve ɞ=/ s&B-8.b[mf;L]Zx!e!i`"F}z9]g #V#OJ+&bH]!r_ؕ6r ͎Xn"2yȸl`т?`.ohݑo80p ?f/Usp4 Snf_ gtn ?/pᵫ)&L\[+艨hXg8P,twIx]gjS26kj Wg+VCӋ)O$s*Ь^1Ǫ +F^î%-y^ K% e0f_W˻-D 4f̏AsaAў3=vSѣm94_=ZDԚPfc g]RWb5VL& P@ j3rp郆}ύUIG&tଝnE%*m: Ȫ)1n7HBRl/Ne(ޢ"=?]8JX# fu(%dЅ7#⅙Ʈ4"G((x9)Lfϑ/(yẙυ|tۦv%LkX5Fn4, Au?,Gv:N|ofXo,rDM;FyM[o*Ϡ`H蝧 n Tjڢ[ 9_ВUu٤1'3:T8x2R7~ՠLWS7՗t`uSD"j-Lv~b-fnt LAEISmUTaK4/'aҋ~K25Yq +Kg6 E 'EzR+ 2V!>6Qq؊ "`Zm%Uef3o41l~UMo_gq:`\7޲_>$3.O 7yuD+K~ĤgIk5:s$0c!ߋ +>۹c]eQHG4WTq*d!/MxȥiĽN4JNBuBRu>=6;tJG;a@ؑ]Dr#K%)9>e,є |Ev[ܾ |E[vhmGY8GsX;FR2%<yAvt,FK\+'ӒJ|L>TY*/vQ #7 BiZ C0|rSo8먕#N|hĦlcku'Lbzgѧ޲s~ip DLK͎'5FKݵfg#;D<7x-b uiU'2LŒ;XUG=ɝKSY$sQTڃju,C(3xجA} &() jt%!3~"hiT֝06wRtZ@]xXR3͌srpt bç'j8 W/M)STG|9ѣ1~B+zИb ?a5^豴A}cnMDk $-40d}Z|Z&HB&2 ggugB.=,hq>w95gCYt54|qp4RMkuydDyNڜW#Šh$ܓ1&[ȦZ69怊p MErbh_.趛aYZOM urmпw|%Kchy WOb:,u BT),/cu:fҹVG1>šᡟ2-k^0z0hQʜeZ!e_U7Yߙ! !8 6(*s"O"{H>?ɐWy})G ܋U0]c9Ot]-q#(1/l$d"$PRx*,ыerTk/ ͏t|~Aq=%!vz$B=dW`qhRTZ6L57!}O- MS@Iu(ڔhĨo6~I?0Xe{ ~Unp fUi Tfoi>dD+E'2!,$֔h,?I~L$&w. RO;ӥovphHh)h#yNjUAӺ,R$Uw18)f 7~˫+K2 {a4]枡v_~=' Te:h3ȂŒ{оoc++BI:iDQ1RI#A2@vh5C9*~pqv[QŢӪ/U܋G =n,]c<4&D2܊k0@h_tv!i}[F{dXiO1Hu:ѿ\1ְԠճ}+LXz>6:CPe9vJlKo‘(˚b/+4jR*J9G!$EDj5' !-Ă?Jzup/:`!:!i="<$yN@XpxQt0Mŕ3p5$ЪphBт+͹mBܒ4Kc(ѴFl;Y:]R,3n) ZpW XQTc–X+}Ҋ8jCvbx=Kꗄͬw0,ڸ=3n˟BK++5 % B4Ǯ=5Xr9"MV}㏙"U,x&ǺaEj𮵮OLo{<ĎJydpq։c}B!]>a*[w5/tƧ'[4آ$ǫ]#>*ufù׀I Obh# );G%9nzYOw7J tY\}}}prlZl~x7HT*.3׌~Z'WuN]mILy7; t6#P(I*nQmr?$ sxxRNB MX`UK=ʵ"h4%pCa݁y]ZS> 5>2sSλWv+ ;Qja>~?#]&(IL9B<! =LWAd4.S6 _FÅo|PB45;5, QSz)2ak˙98fp_F49Z.8+I.Ak"UF^-w)tn?ҥ Kǿw_47/E|/l?X@ᡜYC eƦ.d=OC1Y붺Jy~_JO}Z wHž$dU6$| }3_ xN%x"FBVnTR~AٍTF iu ڙЛԝ v "?!+5@_])2Aǒ6=A-#x`?~pU&LdvDO!{t ^ѬO#c߇kTn*JzTk:YyZ$\rVasO50!͍ό_:VHͺghȴ1Ia9~t iCg<\h#)d 7e)tG79嵗l1.1i=\ }r/q,am٥fxfy-abdj;(T*ڏ4RQP-THʕk<##0@gS7lKq VqT,LjgO֪S^DF6![?i QZݬϙduXZ>թ, -1$PP]q蔗H^|v*%0WJ:0߬68}j8P`Vd<1viXŲh[0X5O8 Lػ7†^Da`M^F?5?0؇{\ ~?aZB fNVJ\V(rȏJv8io>/R^Z#( EןF/4GaΧu kA)dN$~8_j!g d{ύK s'7E|]4 /<Fh IPa;dF+xy+7EtK5 كe6/&=_Kj4`2w۷<|(UJ2U4!82Vxyafa/0u=#rF]Br!AqӻW,EN P/|BFl8ÛJcw#7^+YkrS>Q!%Ts8{ DJ&<5wD^8Xɚ%2) h5ބs'x>ʏϿ5gkn c*''ّL2Np#]|rU);>aV=?bdπ۸a"Lʲ1Uj%%(\ ^V|)Qk0mիPj0}oSR$d3IG=P:A9X]]uIɵD[z%L$˷^,mx52glY&W!\{v1~Q5 nH޶5O@J06:.$ט4)g\Y+Yؓd؅1+&DB_:7DCJ>1q6Dׯ9O$kV y`hEqD1.cq/?(H' A 85֟J # )Ѩla{ u-@q^#jL="~HzS+oN`FXU/'nwU,ZaLB1&lewoGL:F`'} K{$n(h}8p m9o!7ٕo\} fx^DGSiQ6H2g#z$'@["Zl@fJZ3d^vRH=G{\+iޓĠT%<纃L !ϠǶy,c)ۥ1`:]˥ML#Qʒmz= >f$K/TCcUoFaMA O$.,KbFR Z-uAǧ79$'8k<*@geAK PE0]*7\5v.[ \wnsI҉y;Qh_ng;2A E4ǹ Fwr"9Y&m6Ic7Uqsf{[XPB> ' &a ;N^}>`y}7RMW<q$hvf~\JɏExU!h# Us _\oΆb[z,{%EMHm5y^f 򖦳2`j< ք@G2n@ z} 8cB8) QsQ_ 1AӛbPJ蜎xlZ㝤avSFnIxyIRVa/Qs\h8^ОxCT ~.oTfAL7~g? wA-ALDxb AUf{,XM> Kl Xn'o Wa7iZP5 p+ (/?^tE_gfAW*ROhEgK^FDr _eB?4>@ӊҝ)a?Æ=G#_$nC"ih'׷`f;:VmKXmE)SKG|$XIZ4x&?s6u*!eP$H=+U!ol3E܁ݢ%vU3RtspYLM.gl"1盱FT4TrSׇ#eЧ]fa`Ǘ4MoN4Y $sc}Of r;UhnINDlֶ׋}u7MvWpJE!.+UlDVً MߖDW1ǩ*Jn!:QPOJܗI$[ xˈ S53 dM28;hWfydL'I}A4w..Z[ ,E5VpAs0 ȳdϛ\%9w{J{`JɆm9\|#& pa?8_Mf};-Z_(+:pRPwug/?-KC^NsjS;7.zYW4U4<_߃zK:&+=;6^?L!т`NJUO2o.za.L=@ P>!K2x=:uÊۚ+N5)^#~h+oRRM)Q?}35 XW{cXs@aiٿ*ԯK;;FOٞ^)உYCw.uA`[)oo Eda2k[+>`AdX@_l=d Hw,>JRᮻq@PRʣ{0ȧ]Øk[umLdOFu*=ΎނB ` G'g^_GJ8ST`@w30e%Tnկ9zSV̪,YFe$e=$n&yRܫvf~sIיִ8}g]ͦnⷽnhGv7,{1wjNHR=/mք9B>*}/EItϴ)oSeۢz(3fĩ|(:__%N["i\_Te!$=Y(C" Z玵H%Na"Vν@*hu @3%7._@"ݨFQ'N-z*3+'C<2\/z;b #wFEֻ`sA_X$~c)DRwtҪ+GZo[dm3Z5.jy h3XnH(oJ ىI}ˀ!cFӣeR<{Dpʲ6g &pb88]Ő6l,ZvpzS‹26KbKbźnw?!*,_ywab!A_@ U/^ TIOwնd# Lgq\?yQW'eQ1%9iB1xz:ڂv_1Q˔eoA-H SFa? pu6Hз~O exb>i k!-(wv$zŖʶD-׿fK]r'n3?a^:Em) XbFI T+f}o!bRqZٝ6iRV^n* M|06[i{[`tY]d+uE-v>J`j9FC)c>=1sFĦ(:eh㫣պ:X8Bj}79h,6il.ݣw9wW 3r׭lE:liA!!3l*Kt31rY;yKQↆՏg5uvE5󦌷k Ex3z, hC-%LJ9C\7.#t0SIV% g][#/t|RE,.pn1.cX8{{RӟTZE4MWI ܭH^Јi5_xy!A#iZȍ ^_sR>BtI1ja }D ]HѐVDS MX<;>һ0w/{BQ^ ˙jpL6̗hi DEb#ylV5Oİ,뀊bk FcI霥mU*[^n%Gq/ ]YXTBsf}Ɓ)Ŷ@}_HYʺf~9;sZ#{A\6 ,8\PQW1r0:yCQlh+kB;R14]k5(d\~3čN]/Wvrx#暖R6V ]شMUo\۫5 -yCN,NYct Yw K*@ځuyyq o75Y!x)]ImyYE)/6XMc`~MGh`t[HQ?\?`k&\:EGC(+@u>ЌǃTT= Jj'n炝 Xo㘵J' f=2EbitK&b a'nOL Mpyr6T9Cqϭd0~[)pPNtyNH21USm+I\~wx^JV MF,9<,TDrmB-c(%O rV޿82'qNw{]Eu@9\BL;M<)KJSz˫ZK!չocf8]5IMzm()a/J=|i75l2aҡW%(*2' Zhy9!`Ҟ'kǠ,T^}S>CL3J<%vo0rLЫ!\Mz$>( 8IķQ#EKQ)@c$`+8ȯJyevd?$w w@;^Dwwn(H{^P,pIj;e5ћM&ćXewc%E0Kӹˋ{d:BLJl~^Bl^ a粝xeMZa~wl듭͂nO,n`do݋800;bE00'e.ᣴDH lP@yQ^~0 ޞ.C-9 J,{a$NHayZf3s]Ds2]|aAZkiS} ڼ3 hMքZ,q}(QC~!|sC9Ɠq9U 0F_F&@a_~z! GjyJYLWvD3خ_+Z:sADo_;}oGgܗ8.~Q(`8ܪd J^0A1B>+FG!P^@s(JؐccR[ .h14/fI+0ϓ<{oV}uf_烿8 ddt1/< U^%=Faո}_»>nLWP 3J_KJ! :מ繖!W:MHf\0'0k*suDt.tWtt?h<4a\ i,PR9!Aתurl|VC:8*6ls\z cLLSv]xDSZ=QOoM*E2'-uF}QVƔ廇gƔ αN4ТD-0JzWjfV~ \w'Uܯ+R{s& <= xhW|Eg?D8B@^C} X{5orkUU x"! Yx6*!Yb9UD Ž=Tط76ҿFc*)0Gдk,nos5foF"wOt]m-= \#jDN2qY2񀉆&ނx=3ⰟMǞ [: $50G=<FA4 Y!*]-7u~Yl IUaQq$QU3P^Ӕ.b)]=Qsڔ, nwǜ Mj踯}2!E4X^Jr2X?w'+XXBOxNZ -o:  d>̅.ٛXpy|rB7$*zeۦBں5AM:e E]4_?ĵt4Ob2jڴ^)LʜBB6,RV+8_ȻIJ+5t˻EvJ{^P;F$-\{2Z շ~JC!U~_װiz1mKwD!//Q3 蹹`yc?,՚:|af/?ayuǹ ݨ"`5U3$53ao UFU! M<4IVise ҹ2T:_?x`qNތEҪm3:a9VE>,^SV* (EÙ cy£$go ?bg-P,YX¯'1rا i?T!^t&X1iih59Uk*{RH48݌%ۜ(;+Ē:=/2A%0D L$I6iLTs I91mRg@^$ jqY7sB8$K_H+xN7c 'gψ]'Xr$qcX`~'ׅIL3Ik"W'^YK3*rha} V]1kT/ yyS2%<ܫ `jGr{nRSmlŖS_~cNX*YDPF_*'?K'wCcrߦkAw`K+sfG+Qr6, ״[ۢjhwxDi crx} Ƌj:!dODž e;M蓼:7Oݼ'C]5,"A#!XE4KIpAy-#*q,0{H_Mhy BXYX"6$#U\ݲb8d䰩o[ɄPV )@Θ5xάpHl BooAl{aIqmʉStQqȊ|z ju 9.i?=R;$7qMi"̾Cœa#GA8!rEN) Ҹ'qԒdԊѮ!G -єzQ" |a ]cA&m, h݅ ɋޟcUL .O~pD:N"T*1}>zGG׹X?k^٧xuIH'oy࠘IEk{sl`xHb1 $᯿{2\[br7dWX\jcyHh! ^ j* ꛧ%E'sG8p\za;jtxP%w+v!g1Q#UDmHjF0l+xc77(gYux%󓑦Qjǘ9̂j|tEu:w-v >SCњKA&#˗_$?%VrKG (KM|W+wZ__!Z}}ƹGSK -M#.h=J˟^ n[YIgU?,S.5Z/oJ&/\ TUhL)(rb&46Zh+%Q7gEnw`<;L}U `H}JiӾ1k1c#ˏ@,FвhNae!{* O~vedWf*ElHiIor&>`Q*uUOXd.nHtơJcvR}hE˒ #AqφXSNzxG ׄ~&_<]ttB.{.[:S$-w>̱dTu,g;SuxH!dYrj]& ,ηlxݰO%[uhsqX;/q:bg'>/ [\eV*g'kdHdŐ"WY80^4卣61P)qk-IxJܠpF H1F7DҪ^Mڡ ꌋn[EH,1N>|g*j> }x!xo[ay ,hFN^<׭\}1i!xL2= $$"ZCM@AAu] *]mu_()ٙ6/=r+}h穚x] -+l}3^e`_Lu曈ƒтD*KU&GDnֻwW3OĨ`1po#KQؙ.6*(3SGO\nEh,QK8VX`K "s'01Vڵ%h.Z/tETשmivO#`XR3طW,+ S$/I*zJc9 =A`5U7tx[Äs810WyHZb%C+ X m cC{gzD Ъm|d ]e5ズ:>$5v9jhGWŮn)cM˲5K42 { UzƝm6!U+ҷRUlO b[f]2`K_Wvސ mHIimPe )<fsZc9[)Fmf%rRUȞדmIIw.qfS-EmZ`?47Hh$d;ꦙ@\ikna. #p!O$WF^.O0KԑY( գRg#kwq&XZQq6Vѓ>YZhTt-8SRvCj2?%qoPu+O(H2|WjtbWPP+xΕڙ~I9”9"˷-WBpVRm2U6#mB2O" q  Kxl}svx[n@ILuJ+ 8l]FC8~L NKw 9VnM/e6m4J.x0;al[sm~U ,U*9um.6~?8(Θ$YqwygX> $HX{%ΝLHgYZ7zXZִF! "W+]ŗXiɟ1˦r!cHkMeBd4>Lhx*`#/z\1${8rn78 ':Ax?̖t_uuUIFp|m,$GB+q U/aV3_D cKi)eX9ƿaz$8jQ@>1x>>kL=(ST9%|D}Q(LDC~ˊw0,؟TT. &-%n}|}@YQɜ&у ?GuMȷS״F!"[1-ncp}7^N K;C> 6'$TB 7=v=}/楋uWJ 1ޮʴ/6Jn +Y$]D{?kzgtD%ՑXP$?[iw_[BrPf89;}Hb'(j^zWʊ5i/"QCd^䳔芆okoWMUc/P@ f*aRN+w=JӹN8 QS aׁ8mS^jUe O~.)tmck4# @L}⺤`} {M=H(f(#Qb[^6{S>d٘"dg1 _iyYKzOV15~06 55xVr1eN-J=#2H&W̦rpz^CyINbH6Ta۪:?mē(טr~ d IE _Aq v 3$;lQ0,%Eȹޖd+XŊ0|v9cO&S^_ֶ{ٚbM@:k`<\j_HH #14H$ K[,B}/LV0`KK Z+m v?d8Jzd[Ev*k_Pz7y{)-sֈʒJP _a$=$|~E߁l4#S> G[KZz-#|vK€Qku e`p4B3ZDJ6b??r9m4K!G3t$\ŸPj+WB3꜊e3ý%)=9XZYjCԝw L *0Z |`qg[/Zw wۛа!Fg? ZoV/OqF*}i&YݑH[]G+?f4k9nt#X{lVT`?OP.xp/IDw;  7^3lM$8&80mU/&1Y>$x{/"x~}x1Gϡ.#]Gay]<6}̠15X^)?#|7QԂ:M()1mC?IqJ3mjyi.kb?tiјS[@^ExV]e#/^)J>ȴ|}7⽯8^f-Fs;*VhK)0PɚHQ/h@4܏*Y2j$މVǯX%J :!Mvd !6<жl I2yD9+;gYZ7zXZִF! ř^]ŗXi%>o\ 2KߓNyI# q/IG[T_BI5? ޭʛ}bEDotM tJ}Y+GBy MNk("A"ۭdk m,:7) wWqS n3 dctǓan]Mw="VR EXѫH& ~B_!b\ ^$DVÌLH7Dv5v vfQp碏`+uۯ fa{|a6IdUNpcT%(I;n#oX~#N('jP2? IVPkzd(٠!j _d(.0nm(:816ZB2sy 6uJJ՟V3-ta =.:JJ*3MBe7^ײPtDubg٪;'ܺℬ?| "VTM1+C"=e_^xa`OLDl„ށlH)Q[o3FOx(Wɽc!R$`9?} jtJUι =^ b,vZe&F/UX{uKEmz'*JlS!]zq7PN:pBq֗ߕb,åX@/PjVtYJD]7T٬ nLk2_Jfa2]#@2 u_)ߝ!ڹP<NV3@DkQ- N+Ifɖu˚6b?Aٍ_Oߣ[@ߗ' 1Pq[؍@O / e6r@ VsWÔjhTe0Bja5ںO_YY3]FYܹ1_sB-DϨj/|dIR Cd*2ۖk̑*Iwƾ)AO[Dp{ҽ2(SC2!ipvʓKT&׸Z;E754H4OYɠ0IZw%N((4t.eRg|/7BLPHx{[XOߞ\Ŏ6{TTԫ1^B`I>~܈ ^[g^>[,UG.F/ʓr:؎7e.EN%Wi |6˜ A_n9 Ww %V0sYDR/EJa4l4[)n6n״6wqdnȚ ."!P8.Obӫ[&}ÈuKGSZo6;F V^( LVLz?K\2Pu RGo` :)CGRbRiqVT,jB61ocF0W:A<\'gRUPy0.&}ȮUFlJ>|siiFU-4mJMr[ &?M F:ve:Fs!C\(h\! |ن4U֔$Jl"'[XwE?<]y :_`>2u">,AVNf hc3[z\Қ|v0E>@(hKi线6Gz!U:H'₢TyȆ 0!9O!qif>ctUxt D3#i(އ >#bC9)5q> F0!۲6҃X40"};iR aR9m{QD75k4=x8*=k%F^>-30 jm&T˴˘?K.ɖZ,J蔀Iժ%&Xю#\X#Tgfu8T卺g޵6 O{%.s5-*`K{v~i(,z= L&כ 0+>)#ΛW%Xv N1qCx+l aܫ[ES q {#a(xs_^p;C,H8|{y}ƺ>N~ C`WSAig 3*)란R:Wz^[2!PkrDOUcc ,eDChAIJ͞c ` t n*s7FWp+{wZu|aP!=5iB4drɐ4ed=v  kb؈1|'PkHC򎀱M9ƕf# 32 Sb1p8qk~`HhJ58jTndQ;&7MV) ~թGNG Cfy^?Vjt mqwh"vtXdIdr!P7HhwC=![XH Xѭ&X\nkKTbR*#.MaIpkri ƍ` mjHpcHM.E?ec+ǂ7l'uDV`g<@ uM}t0Hu/B\-Sr \+G颴3I|<%cb=!lKS 3ׁImsq Ƣp `_G9!0J{J p6pj.dmO]P/KTiݱLKCg0Nٹ O/S2ދNjұ_ۓ& ?Ołdl7Et怦 iwzjԯZs#,Z50d p_KLEp$ej&[JW OI1 Q5p`'nxq!LM4@]nRbZ~Ql~3Q0x=5t<1|~_ߙkR/S1 wFKod~FRSW3ڇUޤUI`:xOxLKHR]ZM Wt.Ep0~3NX8"D힠#Ÿ=娓W3e(%ahDMp bKP}JsVCvAϽ+XphED_JĜ FG*!T] B,u~x|BZkz׷,]^%,NaUiV5]4a\^ȩD}qT+ER*'/B宖 O2ye!vZx="UIg31 WώRPKJʂ[!=˘3d{Lm\Q1VVgVtpKÆ[uU؁y$8,\ ' #ɂDgU› z=[iu[ Y ﱱk)ws Ucz(0ٽS:䥟W \'2ISKX2 a)lE^hDF`D Y;!w)$1Diɾ8 +UͣdV(xw6縫LќvDlQ+z,sYiDG[OmJCج?4F\L\'5dSf!3yG2僌aWBXGın"(}qygQ v}n=  mv?* neYJN۔jh]l!dgP|3xMb <$ J>Zp4(ZQ2?GlȡUEUNL~fJ%(/2;R8܈Pݒ0q$4>ZTnCr?#L"Ͻa S #{le&iD {gnJѮHDmcͣQ$Xaӹ,7vglK |A#mVk駻䮔5y{Sh{9f&E>7uA ul>$1$ʪbnKZ=`'ZyUnmRGMakmv u8sӡu'h*2[bccNv23ds*( cm]qhpN0t,1o,)6I^/ْIx4,"t_NZlSS轔u$,;ze_@N0Ǎ,Ȋ2{>'q S.;V6RIMk}Qlmsl8_)) 7*5ƿq%(vJkg'>[*CH'?E pmHOFHQHv̅*n<7)I@*pfF|ŰSӜrs4&&=kOx].17X)Ip:@ >*+=:u#/e.fqmaҾ=NB 3ekG^ 4W!n]uu@N4#{p0YIaKRe*91N멻jH7Z¥݅67I>Wv\pp@]/P=H2UQ$'ty>v9;2mI 5`FK&5x<um'ikt<[Ȝգ1lÁЉvl_9nTJ.J. 8a GzMW8C,e5|$~ڲadjjY91e1kieyZ$/7,2y+4b=惑l/ah޲7GD | 5mcegT#~B4$҈UdtUO6ap`6U8_lFj厭52C3>3\-tN Pv7Z̹Ui PFt 8E6:$e{K]8UR$1.t苎ej5,vQfDbI^3N r$YKl -͓yhRpُTg(ljn9j?xj k?;hUe G=3A* &#Cp8(OHޥmn2M盇jvw%9 P-]0 xBNԪ nL=ɹ ab̴VA.#D'Eǖo:UƲ@8-?,~˲M>$&$&-yfd_r5>| > cMh]rڼ"ܕgUSաH:wz_ݷ TRPLejYP>@nK[O~L=i(.Ʌޔv6ѐ*U%67+ic9Y]AH[K -Hs}ۘi4&XfUq?P]Z1ș|j,z%[Y:e%?j#9N#`O=(PԐx>J}dS#fI,W IB#gFRUSdV?PxA ]652Cf!˦ĝΝv_r2i@Kz,O;\)T0RbҔjj;v*N Ҕi__Ռo{Iir+tɋS qIǪD%Q"ˤF?3Ͱ~vTAvT51-eSs5r=;h:`LN2@onj6I $xh8и**jBUڋ46$"Nd KhyC@&RBR|9f?2p"iɩv˟/qU)}cTRn9^X0!WTHy,Bg%Okp [*m)z\ q+0;8T셧0G<_f_OtCX >J's]dJ' k4,"Aln3o)G~6rSOkDbT5'rjKFe*l\5sz(Bdsv8$oOakǽgqO6L+[{  $?[a~ XkkTƙե I0TwpN*aLݤG`=\t&Zt G:3?ֺ\RDͺdOv?Q1#ׄRSG爷Exq#o͓:}Tv(αH󺱠M⍭iҴ12)WA~n"WQբDAȾqVJ:/(ipjLHqKi@[pL ˬA< ax۰0i޷ƿZPP`e]4AWL"J`ήƛ{a#%|+n2 V)3c^?I= ]Hޜc_.QfBLbڢZZ3Vs K<1f,|X.D"OiJ~BF>$wuђ_`}, Q#!|p3!U2}n$Ǣ . p^om#V@VJsŢ ZyąoFg5<Oz խZ#"SoŽ` H-laOLTCIh&TгgBLi~I'/-v"?%=cb:wCׁ y_-·j/K2 i=P5#K>Ǥ/3!o&f(O]ATYAA׃);,E`aԋZZU6G$o}K^źc n D+^H'_'B" y!$qIO2F( 9$P&o\w :܅H$1+EShj69 %=xJ0b89FODK3&Zi71^#6UN?s P${ij{A2wJnPe**ྞĊ@U֦AЗC^[CH%"|۷ Hu^_ht88dѽ湮D{%WIac ˌ3 M0mjC, _WW|-Z) SoZ/9o%Md#wq>q^&,`uQd5E^-ډa;M 7? :zͺ2|Elw,gnckYb`er&\,8f*jlO?&Mc﷭5g }p~KrΞ(5{ǿYZ=Q6{쯁;q/H􈪨֕7Ԙe13z"l4~Ѹut߃4-:GPD$(Daȸ/:SD/~qJ{['}2Ik2̤U56`A=/ĉ!8h-ql.GdRsFRtVB%BKQm~>Ô/ 3PGR *H#уNr}/.xlz&8VZ@ daGk{;YnGΓg9*I"\n*ڝxo2LB(̎ËW X׃Z|JۥQa.¼I ~ 2硏o|1m8:4]nj'2c M,|Γt2Pz>$GI= x }~MX>@w.F21UEj~ಥ(8,h-z)Pc?ˁlJ VD)dBXi--ċ\Zu *٤J{ᷬA+ьRpHs[䅽LM ϑ`OE@SCV>HބZaL)שӉs;PRY"׼I ˻7-'6H:)u jCC}r|&= OڋQ,rf޽J#C!rF4iĩ#,(dAcV8kkT lBEs.j̩EAuRB?rETX*`CDV<9Clm;9~sb[42a;w&Gc$B;X9 /g]HuhK1>8[5U 9z߶ii@d8UE}_{ Xlٍ<[*cSHf27z/O }Iˌ\MCLէh/(O` }JNm`Ѻ[Nx('X'R4W!JB CBEE_mh.ñNlۣo(PN-U\ 1W;JSL}(R^j7VOe%^5+^>7ȣXC%5TW9;W;yP6GKF? ij lMFo;z"kiIXWU)о3lz`V \%Uy ޥl;w.}fI"?6*y./yUg~gFPvm`^Ǐr %7eQiHTWjEv>BplנuJRAtT<[JYCPF!wh&7D^B*'TȂ^zgGZ.::쭛 -ao9!^)5-Eu-aLGrʃ͜e 8&fn}3Pf!*}kzkRJ(dw1@_RWl + 2Sf@K x&HIuI(qЃ%RŊU&ݹ8`=a͏J#6,^rק;V:1f|@ +y+s >t)uhUD?&51`#-8pEq>}j6` ѡx3n7d 2t we b _V}|AˑmA +(Џap'~ 4r|d#Em]ߝs8j}yMGI@^ PiE/($,p"Q8r3y ޢ U"㱲@mɔ ≻ pNg=,m,17dq ZhT1P2诗]$iyl8f7N:ţ\}<J@To+"X4Vޙ:Y^3.N{ o[ 2BQ_z/΀R?\EW d+7j0%R4W\;^H74R>%#0. RXNE'vyHv%lMvlOv4T(N.؆{ 2s/\Z7+&SW(< Ε/\` y_QlYtT.%D>&Ӛė 555A\ 3~X{؋bZ9MRWL"! yegyS9h L gَ߀14NuVnn EEG$Qç$w [k]@Q9yp?Jܟt2ϜPaNUK7)Kd}v2`{<᧭Xfv?k6YwU^jUlP*-=*mɜ#%8d!r@HaJnJF:N|BP F>9yG P.6@~|n`*'>8Ш_FE} D9;NR` `\Vg`>G$Xq` mGv)d<#Oϥ$ #06KxmV+t _׃}`^YUş:0a#p' 쬍9A`ˣc{!AB@Vizq % \`nyɸyqs˸QR26Ά7n{YQ]B?AxEjGGM>(C<1Ēuj?JIWx" Nri~-nF.ն G}quA0ul ctDɩY{Oyc % :~JOy2%AEvET/QH!v3`I&*XʶDo\jo֤m-MT*Y>fD+ĎlZ?IԖ6m|GꚨI qI& @hZ[f噓ʫ99MZ8;/!"<#@_vq@Qeߌ Vz]>mEri+ѭ$1]?{ ,tߝh54l8>s)r`jy4b!0,%Nrk'pc|ܾ?QV@djK $wDIQ:yhOq)Sx牮RT& `G*5U蹡Qʇ9aĜ짶|F`!J,.m-<en4:)sHTgT҂P_ڱ"r2jύ^iC]}Ql3#fW,a^wńf{k2'WeT|f/Xs&lb=w4p {3zK-*(n>>U%L9 3UȉmL5A zk"ȸLo3\X67Y;a /wƦQ$F);|TPNpYAc%dqMl.!,*x- L+2频g >w{բ,v+ y0e]K)7 &a7b-$JM˛KJkq< y*bz)Fnbx%ZyXlnfc l(L*yq %5iu!Spςy~ͳB^Oz$x8QZb/T®BNC5~IKW/kCB DZ3Of-s=$$3;Sˏ|P=)498Z` C_q tJ,̛?ȣSk\tϝh^InL wbg7'Jz;եY3&uať1 {+w(ESqz瞒GT:su1Ң1̹(%'/ig}BT)]K>Q=TnEMg*S0E`kv}R )-@~bC7M\zGK-] ~$aip!g8̙CTm( *άG3R:&hCﮁO`^'8H3V#K=KI?EZ~mUA{U]pQ^=t'Ctx6"#&Lx'v$~urI`.!٨NA(>ijZ"ԥMAMFI#5cGs;En7 %J/-^ejZL0=qN=>G2!:fbW6xA浻>/qzAވ:t1}6rb@KWUߺ*/tX@qgiK2KW] S^}g̥PSo/i_9 ERoVAe,`EE6#q4hM/-<,@8B?o4X$Ξ4ĄU6%?0jc(g¦~ ؼ:|ewEh 4JGP~%Y/X&T/:+ҧ+vw [|"sƅzhP>ܬ襱~Mid)/7 cf,3eLT#oN£mEQhy<&I$C6;|uVs0'o]{e>$WKXg7$"x'y̓ Mw<~ouYY+j(ldވ6]b%VL҇dݦ'W_[#.7y`Y^AZ~Lr0b*~RebkEk> ?8 v.u00 K~:FU$v@ޣRŀ"(3_@nYB\r>&[Ps+T LrF-m5\ah/Dh0vu̔mKFfS@̴;4mg Ta&H+Z-Ál&(R#5kZVuB9]zn_tڪ,ժJOq`!O-ݞdst߃[l |t-vާZjfLOTYbL.(\\A_]n]ΣLXs  y* `|$,`z ug'1!3?߽Z'tH 83A`O( ߗ4)=A&O'+vBds$dei0愃兌U+ Jp9~n$1i*+t)17d&g ~OuXh;]Gs<RcT'+d'Y[Uzʐ%˿#5 $Iiv3C&pZm<l u͟Bk jCR')d -!KńM ~ĪP'GZSpe@)xRx-hxg^~˵B6.z9x.Rڤ >rt^(YøYK'%f0)b /+}Trt5$2;0LGJ YBr@--nx68|b5ƺv]Ϛ_Ut8jzl;O62%~p;ݘI/MOoM^I^Wr/L8k4ByDd'._|}2{<]m|.G ^jߊw9bga`;ǩ4*is(?1 '1_,XlOw8=/J]H`x XZSmVhC܅k\m1B? yUaEVD\u5?vEHJّ:MY==a4 i&<^ .[zUͼo D0%sӔzj[%0,(X$N*ҫiG^BSMlPc<&PRpҊh[.4yK~\LvoeY>œ-Mw2 odo|RvT^ct'} 45FLccg ^3RPجX q'wQQPAv4Jm\ 9rH_ŏ3ƈTn !!TA|9[#VLA \_[g1SVc%O*^5p~ "`4Yڿiz=%ww}ZfF7j@#C$ `ُ_]4q11ursvrQrvD,XcPAlAd}f [zZ/|nPlv$y)վhsQqt(UDr-XPc/|޹N+=vߞ FUzU%rEɡ/- " ,ÓտPxV)v`4x UDuC(i v߸1Q_\ũg 7?"m%6]+3K1M/dE:)liU iOfd䩓?p(p~/hu~.Nd+󴒌 jᮻ#咪Cj;I ^E2/@ko9YMX) i SovVR`}w&qZkmTi JU^-edNڱ=d}m9df q;C)Bڣ*G (.`҅+xn0UkMَ3+U P_BJxՆOG EϪHV+s&}3m6~h:ҲʒR/cVzN|i[0#| h$5+i;b|_F\.9 l>GރIշi?w)pd?H6_/[ZΘˆ( 7*նGcUzŧf@1N97s"[Eg~:idA-eVpMmly^g<;V9 y pҫd9UHlǓ;<欢\L,ҕL'H;B4vY=G>/틦krxSp#ߜtq\w`u.PW# MdG31&i<6LH: z%&V ׈.*3%2c #ҳZD"[.& !!Tb`t* ]OjL*0BG ǧvF[$ۦh1^ҐཁITZI/ Uk{CC/j]IVZIfDl֪{#͡ϣ+/fXe  Es A!,OAԋ74sN)/ SWj'FeI한Oɮd5amW6!8ۭ87+.O 8!1chO@itT@1 i4-{lҵrJb}[f86DeЇt `SP ͑yrTI2 52^qrE, ֆ^9mK#zʋ |KMi .^ ;֢|Bħ\1eV=mݑ1mu >Kd)ƃ4.|ʙ J\CW2`pZޝ?d̜^ ?1 ZQ-!Us {7Lh̿LfG@/*.R A@kץerC,JʝAy_DHh@iYУeR5Qx`ZLLZ JT?T-!hAJv@}$Oq/fFh3̈.}Şހ-a Mا0ǛI=R!omUŽ:i=3muސ jyO-j5j_2(@- E .#ٸ[:(+ʘs=(o dTJ0X|>UR9|)U#2Y?b?K ߪGM10eꆊpT}-FXv]S=^Oj@J2NʕKw*dɒ@ U2Y28~P} M55S%]@dkכBY,dQ6MIF51"rdUvzJ, DvOpoR Q=$IO{`l ܈l3;3X~G{R!E6#f\S\qpȰcѓ w梔ڰ!nm<`ςj/FYZOB:z?B6"}8{Fh @)Ǒk-çbz@W3¦8/#*V"CYƮCc<$;cֿrx8@T1n؎ɛڈLKeQs )Є I.mϚm8=YE@8+%P|kFI?Lj'b),X'fc`tZ$<9FVS+;-7>%Iʧ9lU|7{ø,PqPM%8]AtFQ~#X$n{+&E Ac%C֧~զ;ZUtH%Dlp\hVCNվ_![eDg Nm2dt>ĩ|E^ƩjfM ~DQ/4:_N ?sS59@S{J.XA0㔍D)Qs0Oa|hIyp0׊_W*(o?kDc=*!8w;V˱dyp>B 4P4CʤT%égׁ{+I)BiJX6\@KW_M(pV7`1x0Q ̇| 6V;dm"4E":2FN:Mڜ{`bYcE}f byL!(|]&4xwT]@g/4)o="HqPv4={t_ƞ]I+{<ռAu:ε[7n_g^Y4ޝcQf7^}QMAܓQƳ}f3pU\ Œf]qy@iů qɋ8eSN(Ff$A-t-amgzjgݞFIR ͖S!G'SR^ێ9 n)Z]ѽJT_ cq{1a7(^ <)=4K>HAN8[҈Jøk=o–n@n{&<. Ya4֓>Fpd FNOu{!V(l+ޱӷښgYZ2c2d57f6d080855c321f19ec13ed2d6e09cf5dd57f68df39d7677ebb1c7922c484946a4eec76dd1b fdc78794ed38fd3aeefefb96a7c4fab20af6b1005966ba397edec765fa7d8c8143595f15199e12f4