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%t| ]/]HOL-Analysis:threads=6elapsed=314.824cpu=1541.092gc=64.532factor=4.907zXZִF! 㛖L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4._kԃb} ]˯V :cmlf{O<'BO^EDyi uG `#EZx#zUL՝` !*țmMnL'Thuڌp!ekK*%L:~X&,6;m`D H -:?.Tnj'ZLr#= '85.dlIX#gzq~(1|]w|}Uyˑ "S`2C8mnn)=ت{>̔/h^[K@dž-y҇_ܶ> WGT* yZlĜfA+v_&|I+U@S% ,ً(nU +"|_mʔ}- Ԯk[mMHNr-8XSyNӃqvK,+;|kJ0US%Z$Gu^6zKpFj&$. =*&mR^eH8'Nlj1|fQ[~@iF2oR -L5n@.A4$.XyИ4-_1rmzxl?4߲?fC^˖BJrءYí |[x|ضwFaI~Z4ߟ͊Ob2ThtNQ7:ٗxci -u }_}+ym[#S6QaK(ff>`(3wquZ%DXl\VA5$OjF5W; IwK˲a\Xt:eh@]qD\9"({"GT=P|};6TDB]=<,`H2z$@DC),[^_)Hxg}L1 E8q_ r~bfiŠ Z,pC+OniggO^CxCS ?1tؐ.YtKB"=aӧm5CIVa3R5z3DPVS#A͜0b D"lL[OU9nյu$h!(fJ|5Ӥ.u.eD"7S4"+h5(@$-fXwܽtB|?lO)?5%AR53.MgT7fwH#K $4gݏ}n4N̵7Mp<{qjv.J?M ̉(72A}W1IC@`%u~*נ^s1Q w WErE6\@_@52B-.D~"N#gjo>;h,s +* ohN!l'dj:ŵ=KW|S3A|SF`Xo$ J˯I- Ou7St}̕7jY gf[_#ۄc1P "Fcyjp~m9@';NxH2 gb,7C-͐16Z2k };dD0Q=At-6_Lx~Fhg(Ƹ5g_ȃd& 74I5.f6jfe kЩtW-e~[2(>v׽I<:: !9'3hEK@}Qx~S3Uⶆ 7{"&FUۀ/ V= yqQ9:em D;Й°=Ku *aJ'pгwb)p`?8[1nB % HOL-Analysis  kܦRohrjvᚔ0y熂g8p TP (?s0ZFܡ@|][&AhC#OUWCnDKv؇M ?*W9m5];dMJ8țMvhq#՞V^O. 42Ve7VFo>><T.a"( a^-Yc {v5I^c b; #>"ڹl ZXͱ?UK]06>7y\:Y#eһ"Xs 96(W7y5N,$*bN|k|bQMr~7K]b_0WUZFozeK开N Y#FU} vV]Ox0af roRCp,qW @"q!jtZFlh8x43=enq"cSHA4\s{22?=]RBMof[n$>ZĢ3.h0Qy:AVny08Eb}8WhwYةNޕFT? `cWdq:wFW9H6a+f ;7TkWp$@d. 6ujw9&%č9XX8 h"pU0N׾2*cx[9bƠF뭀p&}w40n{2jBZv/d5mu*ٛTd FCZ*^5fR(|~]~䕨`#_pj_ c?;(Øӈ4=x3gtnhsuR#K!D>gĩ1LU%߯ Q1~T?B9t)N:|z ^LY`O_ez̽խԏj;p9^orVN5wy. ZV6SۑE)i_:JoֶX胬j"=`$DWkN/Q֊׈Zⵕ>rSy3/r4g.CGc;N P~Dl2d|4H 5m+T}Y>Cq3'%DV&5AUVvdrZ"7uǝ`a#CnnR+lv!.gfz.t7W]wqP ] Osf" CW̕6 ċD4ܧ I?T_uúJ퀇%ȂrxhX+bm6OAqjcfMDV*mKXmzOU`^@`UuF5 %f[&  al:|QBo i L NYO[ؐT,4TWnpB4nN 9E=\zh-HcP*jmA݊Y"Dٴٱ Ҏ*OedDg2Ԏw'= 6?֔۸ewIj6*J3}ȟnpҘw=@M'tLXЉ6@iQ9G)࠾i{(tVM5#g 􏾨~L(C~k,U!rqA-#zluC'f&+m/8F<ا==դ0J2JVXusL7b"$J釣X:ahBRH$`e})c6ZyE="B T̕gt '{I6j)22 ҫds\6+y\6_UĐ쌋=!Ϋ * ds~~u)'~5uiVyÌd:v Io$۳76Rqsm_cGwQ]vEGAO՝P,>u3BY&m~u! CsTt,d;1\ Gy3Utm*KZL?v.^bHs0NtzPb}xZk }~'/H%E/q[3i$0@,=7r9] LlIFLIANPa!K|_> 6 |of>To% 0!iXn,|PwKCWh}Š5GԋD )ȰD>XiYK;:DȃœƘfnJ;3dּK5o :, Ubr JPn\9[hiFB>Qgbƨu6q' pr$ B7bl` @dJC7PV“HZ姬`Oa?ܵC-+~OJ\<HZIR%;FE8A$ia'ڵ0쩶a͹S*\#y-ّҶpKs:2O,1E*u ;d 2CQ< GӡqΖJ8eo0禍³V,ǔؕK~ dL"X7ψ?l&S\yO ϕ#zJu؇ܶ®8یNb[pXJ-e1d1PuV=Ƒ0c'C©[YBлti0>b.AoD"$2.̎JpoϊpQhBd;cb~/ȩ?͘JvA*_<]F"PǑZmI8vzË]p p4:%_w_mv2or)“jk۷dusjI* v٫"a%Es%.`[]A8޺q!*/Z{k5l+ 4Ո𬇎^ \0=1(*$.DK>8`Ւ;<%a ؋&M59R2WCT܎3~ߡ}]0f+ b03\͍qɂMUe4 V~x8:ip9{Btl@NX#rR FOC-y1a<7HaY?_<c({je8R-QCtpk7+逄ZdbePLyR`w%Ս5b~ ֋rL,=&eyjâRK*r#iOC-^$LK{j`ܖw< wx(TD4ƒjO [6.raHȹ?WZ0ixR+r$ҹM-O=;yj\K;j:\lv&H. *7 e-5oԛ:E JeL/ ſQ6V0t8j=f/)0ӉC)́;ТvyӃ^i=l=P :8zS|֋ݍx'm~lGݿQߺLx {)ז> +˰ZV 0~><;#}(4Xj \MJ(##LA),w"s0{ "l@~ǣQw*:4`A뮪3 i[>ÝyͲ赯.+ԕ$ Ce@!c~ Ta_&Ƹq22xvކ* 5q\ bAB%xd@M&Z%_EGǗ P}W-t'}H pAt.q`dgsnҼOWO+i-ߤQ Up˔X0 =]B*K9e+8 G>']c /\>3/G냄;w=_jAw(h9cƔ)5-#$g#s*hA,.YXeJz.h;Yn՛h1R[oibN āOe}mA$*ʲ׊+7L*OE7c2\YIjdx.2I؎& Zztp/<R{aoE$ly@i,b&s_[w JP:r2zw~D7푸ilD ٗ뽑05Y79"d'AԆJўMyyCj=U!C*6?%u;5'$)")"S>KrVzaCCo7BJ)y',yIf4ÖI:J[?!gɥLYHL9dv~B7|O( c__!M %4!XGzt,YK2XA M4fɿ"v̥vZT_3yŹ/\|k"ۑ8O& i Z q*l>%Jn$$*|I q gD(gg㡛ؖITP&}2 3.܅[CAIet.iX]!^t4sJ*(;n1nke3WX"mq~&+Hhlfxr>[C~)yCR}A@ñ6*?"e hr GwGKc5Lˍd:;b+,X4 |OÙ~ Y Z'AH2h[!x)wwc7%ZMH\%98( /96g W)h2q-c@a* Ք1O#4lhvhJ .?o% *bex㍑%S_T70;v!QH\^1tJƭ]:pN0k3FyI|1_ !|X2KٷtRO|nB y#"N ``;HQ#'25s;o0ک>,:o|x# &Nxk^Oj4$Qsd/{r8gs_\2FkNC^AD;t#fE(ЙSVA[3Bs< Fm[dQs+ %\zIب7-BΆЧs􋜠,dct[|w PAZ50>z; #04'8u9)G>K^0lȬu9/׮f OTUI1{̈@K4"Hv֐I#<@Q9H|th('lh;ԀLwR)^-JLb#jE4sI˛4A? tSW- ״JЬq̣V&í23+p^d9_d ϹX n:5Msi9O6f!]]~L_w x:I,L'VwŊwux|jV&tW%cu2&5* P!{RƻL)dIt}<Z✚y z/D6a]S-'ND] L.g&jHiђ-`s9+n䀩دy"NA%ffM:mG*_o6 G)`YݡH9(A~5jǁ \r vQ*KW p~3},xNB;C ׸k&^cgysN|T~-Ht;=0y\TԊ;<UN3F1~7,oD}9$HL:5E^ ߖ|z>"9ncK\%W*i8C >3 w2ɯ(yȆx_8BxIm̉$r0pjV(`븠<+XCMtPh0vu9NS'vPÍo/ uwz+n#Krͼ $d-u'f,F*j񭅢CSnRI]zF;o@4U|e>+!o">[rwEڏ' g=3_o"ZI(IЇXz5(Zѻ6&Dugꘙ"2JBPJ숨ks *ykh<!܅Ewmޒ3Ic9 | :e+X ߄~/{D6WɃ7ڲYr.,8l_'kW.24aBch4 R:߻pUO1/܌ '\͆'cO~QGB%E,+o^Jf>͎wʏtvt[82?vMA}o\'O[FE`& JZ5}[ߩ= 0).ՔmWQ0M Bj0!67%]1 }||H@*1 vp0j Gb{yuIcy3E.ztPol8xvS$YYnXr]|Wv5=_SK]9_|nB;dm6'aXb#\Oc5w{41_ gf&Oid=A({6/#ayce*4wnDyS>P4Ya76bwh ygjկwa_&gp\۲]bMG3Յc&Y\X;ϵR`CiZL`8Tc/^4e4{!ېZݹ[xffhHJu|K !sK>ׄd5_l!jL`J Aw*HNkr8>k!<6l5uL@o:8_!;d&&.I$sX?qA] 차3Y=D)N^ (P֯B9 ^gDZ;0|!v:ThBfj-goV Ƿ+kENhBCPEPjCbb\K6"+ڟ8`>iQ[+EfVAHӪqe& _ҝ1ig-A7F0IؼVٺvz,Y4uPgC܅XtvfŷR?q!nfq!^xV-kmB2 m^݇/q&LGg Y6l`g]S%Am!ѺqjLmV-Vhܿ||A3Evq N\ўrptS{{Ϧ {0WLTM[>(5 p^J,ZN8X $ʸp*CI"(A+.@?rSn)I=B?N{?.+Quv~'a|_3rzA_qplE_2ݢW,ePN!ue<]>j%D'RVx!񍧜o]'dt5YUI2{cN(+&*_೩ˏOPs>OJ]hH5b=O񈶀١_M4#(*ǒPA } ՟WVr9$WyDt9ʦ8RdnyگL)3Q4zL&V$Qgv4'X=MzWˌP\/!\N=iafboZ)-[y<`7!λdnSD]?uXbp& ͼw03A + CwxA ۟,ez*&r2J'{-d`dui#y&I\5D)UGxJާ51f71TW7:y#7ai$үp&͖Ix}ɒ‚Cm Wt[OS55a>bؖ$!8IUp^(=Xnv3f$ np|RD8䇞 A9qH9]򀏏rll-xbke=- ib Ÿ`q#2' [![; {_Np^+ |QOdJzu8dFU8y洧-^j /0H;*RF# uڧ3D|u xG]%LѨqU2g_[od̻biӼ, O 2u!qf;5=Wl'6 DAmX#LXqP,KSh?>n`~+@q^2m!xt1ĜIi EMXJ\nCvKsRsI08]*3oƢODbыھnN 3K^qx@,\ ,{(B0g"w lvwKE]aS͆-+l)l,P4[)MP όT2v5uO$T٤$w0?67!/i9NUU brM;`{Ր?ƒe3<~`8/c{2^UL'WǑvߡ#&tX,ԾrƏ0reUY;ؓ͡puЇӰl]" EC?BДU)cP&oc @u|qxZL n5 w>#Y9"o)C1* e"U9xQn c_1 ekA::.dex4fŸC;)#SY sTXs8;p֗K'^=8kUzv>'ťzbhxp>6v%L|aʋΡ=g;D~*a,ʱ;NխpQ,8-He;"?''vtN^ KI qTg |aCу f" ISq>)ɰ:DB2†'L%QF1-H/b˪H^i|u47:xA3WBsO>;C\X>wN/?ngʧ{.ԀHkuMZoB oӍ4AJ(\"Ժ),D=kУ_Qjb{-\"[!k[blŚdWl3 <4a$RZ7gZ8*N`(Mо>U6䊿1fǹ9EJ Wڞ" x쳀kJ}~'Omgg#Fz|Oo٩&@V-$&"ySoj4-T?Yg o/A[0\, `ѱjyeo.ױ11OlQ׹ٸ6Uxld}~o'/{ÙҝsTXI m*RvT P ԄSyE".k.ïRg!wH@ g'cܟa=򆌶i8m _Yap Aֱf(r5K+Xr=2'#+M8CUA";^' #ly-7|"Mެ΄yR%7{mQFu/jNxT`JNJ5א15OU4q#J,'dghD A5l;e 1IתpA\$F]|Ԣpgu-^wYAGZ4rU7!yS2jV?0W7+"gU2@P i1uQ5e:ܑ #D5?|Rp|RWf)+<.HKJR\NBGD|p\IOH@e#}wZZ]pzX=~ǣ1WV{a E)Q:ޑ_8nr'(#N]z = ®!Z@q^/ג3ȩ1 1άF#p 𖥱;? wUZ8{8UB0 #}̯z{=UQ{i{niWh󂃻` O*daݼ`ZS"GVXZp㹯7Qg;ͩǍӉtHYB k67EZq@/g 1{F ZaF l[*B[j|-~pX+ѡ'/edZt+ָ&Xdt%5+/tG\g&½AkQK(.з=5/CWïUQo 8cOjYj!X% ]iR"EOtpcM,ܾ5]@X@LYZ HaMYz/3AL[IؒÿY 8(SgbENx 껲湺X~ސM1}"уKHJg𷈊VGS8I=c QԳ|sMW 2B˨7f3xւw2^o^ܾoP{2Л:IE Ok"kzdPZ\:c<5L<=g DJ, 1۹>s9ۊJ^%َXc8Ȧ?2I?3DPO俭pўP2v#(L D%86IHggYZ7zXZִF! #t]ŗXiɟ1˦r!cHkMeBd4>̵1Ɔ?p/2eFY ۵I#r5ZGWwvDWv|ɸ94Uzӗt&(h67-Q○tB8L(Onq#Y3LyS#bn^JQpy`rCrmtC(Xn^ OEDL8ѡʒ>t]ZuPǘI@zREɈ{æA%!c83fd뺭v*npv65Rr`.z%L캙_V<&gnD.&0bzvEs!0U (3jGz- f/ Y6 ʔ ԋeLV:u0$}bulVe&Kk8Oք[|t1[bp2nt7fR> f-6c):\-s\ :[mbhJj'o}Xf~#;@4+w& 4 Kayp԰}0Gu'^Ğ̯p HsuY5$ N/̎WGi!q] 4pjs,+PRw%ۈ,t W>V8l8xrV9|MEt:qub=3ϽNjI 6:&$K. ӾHoβ B;1vtwA?o׫~k}hC&`[(AupCF'KcBu[c4C4h(4[ʘSt`!6I|W~)Pyϟ`z],O4Y&t#aar3tBAZU o99$E[gs2a`$Ma Ovz*\cVxͪvSM@61@m'y7b}CiHh:ڷ*!0$d{ -k<)~ ;QGܺFdpY]F~[^ P‚;^wT(.hYv܍y+0 57A 8{0w4aGcdic[w`)^sB$'d;~dT_4Lq&$G>(< z/H$ Oۦ~X# akqjWВ:(=Ζki4@C"͕˖wku@h >=6GEgYZ7zXZִF! c7]ŗXi%@d yҙI Q>pfg ͻsc#́;xC6hei>]oe7bh}%{*[?90멉OK]F 4_b \4R&%E QZoe_uC>O"+Pm! 3/sI !޼_s/* n2U 2Ο@.:: qbe,@}!?BE@?f!x5ӎ5L $Y_ԱA8G@5!čHAQt cʁ [zYM=rG CpQPuǻԇpɰSm!D&0s0aľN ?wKPzYLVFj.baLdVɺx0f<"_׭QI?jҖ7* ALTL-P:X]O~  u.LSϰGe>!} I-d\Sl^дk E"<٬H%fZ](kr+ R5W V>Zà5B "0M&^j@҆z'ܡ‹ߺ%idE|>l4r2.!q5m~O @-.x#7 2]o?β6gbGĭ.2j1%Xe?2?;lMе+-Ҭťh<|8,f_Gzg G0FM`I*!܈R1*G]!əoJvV6]yFb 6$tp AYG"yUq96I&NHG?Xi&s$@gn@+>VL' 62?l`YOFvB);tڠTAvKM"<=i=A 5??R]x*iTxRXDfcPc J`وdeLT+w怅j]_ˤ/6Vׇv[.zv"pwp0[ǽzD bF0&_c "!J.Rs/-.F 祩ӲJX9exp}>0D!H{:Y ACCy@}A W*|6<1GȒ.zvx1lnQNP$/^WM3!aJ82 A;~`UmTSKu ̟/riL*`"ymh1Y8GG[:F y.3AIJ~7rC-Ú{Q ͯxlhvS;a!d'i XQˎ>} Lks&8nR-B`Xcbϰڦ 2[20{B37fPf]<,?荵w) ܋uUKy61U%nDYlHC7jt߅񅴤>.RWhɞ{>{8f}ωvƺg)7|#hhQG ;W0۞3 z%OM{ZLZOswiiZ+QBhO~d~+i0hs-f垄Xl^o`#%LH`>w`j `ߘ6f!rfzQ>s"Gz=R<[ ɞ{̋ř_Eb8 _}Pa:%P-Y#B;H*,S ؚ{<_roP;"7͠69OvQyȇCF5GKɪImJi#ߨh:%1rПVef]Beg[.N6ԍV ]eY2N"=x{Sc^:4}kL#_yZ~9+%?KJ~<%ۥ&2jpjfmjJ=rОNPw7, $kكo:Pw nEHS:[w? ÎY_E JaT#X%-鍶 !f/eCArI9YGmF46ƿX%IBҼT̨ɤ4YaJ?KCdqzd+Jکܟ9p0 ׅX=O R' ш͖7]3ɰ* W=$B3Vp1 m~87!\cyGu +4܅lOjO9V'b)(+8*_7 Juɚ4EUPdH,z#QCC*Z/cci"b>5*nIhO pEШ7Q˭hWqHY$f@PG?<7L&̮ߡX seqmCfJ/ .&ٷ9TˇqzgpO:53f;O`zl rή opD]'*TXDlX>^Uh<۞-ѣ`:.N䣝cWDA¥F=tT޿Re! &5'>p wQU|pxn"br|HT@]8{VX @ͯ.pW0XN( h }tu `bIԛu$sU>I!cn=Ng{iA^AX{|v29H&T?: h(C:f0L<0zUO68?a^q1(} ϑ‘-Z9$4lcgf\6!c=߮c{ JK?©[v/;Vy=k鵊R}"yeu6; uQcI]V4whk' G{8͞e?ip.~¦t~sZU3.(W>dXSm䛮PMĊBzUJz? r J.]/=4=# COUbJIGO#UF#|hzX|wW~nx:ߦɝ*CWYak|%%uy4{T-H oA/ gz/c<|(-gRo_i I|Uq<؝.cPx| b(~d{/#d1ނh=h3%Ǡ @zK:q@lYw 7ҠQNrujz뢶>ukB{ںepB? ?->!]xvA9tuVnJ|ѠCL@&|ԁy&Ԋ~*]^$pۧQ"_3C$Pb=9Օ#WYI3$-eđpJ'uN8ݳȟlu8d2ow U7LMlI+d\Z"%r7d.(״@ :MZ88|\`!+027}M:JWe-tMLP rpz3f@Rk~t=r͍LmS25㟛cD-߹t 5$w2`ܖvL`8DQEmY+O.ټ6I}mVs(X;s#gk xuix6UGT]Dju˺ 3/p 1-3yu6֌^Ylؙ`CKڍA`ǯtm\+D=9l3ol"SquDu{ij"$`(F7'}ij^ ެ$cU"ElU7(|tuSݳߢt+?:+;B;@UzH$}'Ez:&PTZ%Z# A R<뺒 S񠈼 | Zu}-"in9TNz t '7L[X!NoCR'Ws ̋D!| y s:O4K`hmi5;hQwjV9KF(#l ;fǽ-g)JeCwJ=yH<Ǫ@Wt"L<1Vtc‚j ÕJ,?=dl gLZ9clђf+>9bP h8{S>WQo֣Yދ \'N ED{ߣ];V;",xě XΓGg߬tI^ջkn-Pe/8/?!D ]OBGlN/a%7s0C4ˑQ~UR'P@5 @Z [FӉ.g}HH>a'd4pA>E3zXvyƘY,<40Ij!?W<ܷV1zK?tB0:nD+E+Kƚ"%R3ty!޻mpK6T+*BWhOoP^}XVaiXNR3Ƅ/# O&DXMAfտy@ ePouD$p^N ;N 6¼(cs+}ߴ[Xd\kv6\˼Q26w"`thC1g߀NM5rEBF|B)+{;X+en%y(1ਕ.Q+#@}9Qee4m&9BL4% *?جyۙY ]aK PoEvEXr1q]7Y)r.1xn+OvK6 ?h{U"m*cprL:yhՓHv} ZP- QB{$>*Y*m"IS.f;]E>#Y| R8fC_ɉCPڰ$@Ɏn+q\&g?h6CAQc aU$_J|AZGX=x:% ]&H [5=4M] JvA!#F}i}6@Ae$~kjep>xo\[MrHBhPvt6&2,./niWPu:4OI "u+˱u+> B+CZh0C9f y[\AOg]pB4:#B"{Wi6{{?%L9L@K֙ua7)RIΎfjӦ(8vnUd[Dy]-΍hnX54kCq{2a" 2?O -Eܑ-N"6f1;(_\8pU.m?P/L>({}ܪg]d\l>T!$BuuZ#MI"%Vޏlg{x.l׆խ]k3# \6:bpZfC~.)פFsџ(m ̙ps?|x6تpntuu* qqu'@4jM͒8jnNxٙP"$ o1*CcrDJ@qM# R"9XRctwC7i7Sr|m7;QNMhMEcrJɘЙurlOhURx~xEf|EMfx]R\=M#w JC*h0Dђ#XgL Jt/s˴lEN)ѳ$o UҊȂ@+aM2)so4] \K: q3c]gU$|f"=]優wvK:q$ X\;sqqEËj.AdPd3A`պ2 VTw3*Hߘ`?UM=X u OzB2y7yNZ^Av &C$Ѹm09w;e]IMW mCZĭP8/&RٿR0SjsW S ҌSN"%'@ S_RQrwBJJv@R<dD^f:Myh:yqPH960+ˆIo2m;W|!0nl673>d f#%MIS+ &5zn3i콰 e$d2̉{0qk3@sn!@٤zo}@ӳ|ZYW&[@, *FR8׍F{k2ŦsG& CsE`#jxS˰>GX'7Ç(ìE^^W4_"0"A- %>Qr^kt"(IBp] {k76ЭGR>s߆?~N`92T]/sPS9 C>T2-qa Tﴚp?bz?wr |!~b}f&GG\#0aumI7uH^d/ޣQ-DGugxjc;yQtX`#U&>9AG`Gnˆ,{Yc~;wKd8i͌Kx:O($+K9(5i‚ *h5nY`{>-}[[UH,Ưkx!oc_ e>&4`MFy/{Z9o}dhM34, [T$ML#L{T_s-hCIO!R թ[e z.h`xxRcN3W~*u@'0S_* ,Up)cݳɗl3s (X2[eI>Dw h 9cÂKj;x9O[lAtL`oYNR3PHxɳR %VtfĭjR?,H80vE҄vMr%/OdU`׫c*,$قj.w]wlIa\ kh?=pLOQd5Nϋp4㼔zJ}rCk*=Rw"i9GGLoy7-ҟXF$<-óHx ),nhD^w]kn `T:-wzu=n{٨}<)CrcP޴1nۺ<4=~'vf1U 4]3@eaxH@TI9 ):R53}`-ρ-kbCNL[H&o%⃋uzJ\Y+f*> >Dag7vAXB/];f7|lm+m2*%XO4F5#WqZ1zM蘥Bv^pܬFqO=OoWͺ^-i\cRgԋ!p'hLQT\':5YD={7g{[`j^?hP%1&{BoXg`[Ċ׀gXo6#96m5|y&D𰩽)!*K0ZHX9XvQqZXqk\.lY!*o 85^ILwrɹ\-sY&(xA.}Km4*#- %W@\Swm_w5'U؁Oi5]ͥvXv1Y)91k/@Pp!y=%4r&QUW AʹZpq'-7aKfnZo{8H`PP]&B@r+ Bc$c INtc'0@Sh,z!2v/xb8=E~\$n~:9j8)|uߜ >SpȊhdXSQRh1I5GT䍺aɿ6+̱Uk!\-O ApCN"sUs|zqB!8S'%wjT;%iky-֊.4ҳ0901M¾tP/"~*A2蓻]u})o*dMVBBg>} pVgZb߮6[7èi\naW l m^TwȵLĝ|i1kD 2#e8\ ~X^}Fs{oMR~J!*\8FbOIJghh])8&y;!"?NPQ~{PX##> @<%XVw? 0j/Y*9Ͱ gZyP쬆}P"a~9Nuy@V'S^[`C!r+ WB@ۭLi`S.С)sŠ9$uG|^_:2ӓX[a*7!ZZiF3Y~}6Z<D˅5KYU뽢 {GWuw~qwYa>-y%ZyG)TкP矓Mﭐl;:8f! W4nV i%F/jPqgzf = jZF"2$ȅ-b>hqzI} L>.H ]w=xqtRC/r*KLL ~,8W)뮪@Y $A{g9ك63fHoն׾NdL÷L!["r^}<*XᘅMNm5J6{[^p&,@AyUA<-zA%^~j#s6hJvc{'x=ûʫ/C-WEzwp{1"PqVP{^%Y6ASC0]Aa@"@0uASO߈6סsl81CPYPooG; Pַ\ZS%P1m5f7r!¶Ong{PM?1Y/g7NzjC8/N^M1 @UM(Ls_JrewySS}{W_b zӣIIyp:xkRk_T 0KcSaoOIn %ˆ#oI f:JAJ w5T&y=$:=n6*Yk2l)H)XV\C]P1_;5ڌE$GģPa4Z&݂gJ4ᴉ;ޗٛ~p&@ԏj*G^O6]0:iu(CۼK1M j,Bp ^ z8@!6yP>`Yπ7F!oN2Mf\Nm$?U2IKs~}F|t~WCF!P;U|ZP7]aeFM7G?tPQx~T]ۢ, `hTDկ¼d(&E ۴FI%v67yLe =\8J}8vտܧJ֌.5 PvMd0E38}A8ĞRM1|}3mBC^WcS4Ù]O@,SxM%*WCXjw>]I@V33: JUJLg{SEPQKM0g6r.2np7a`:{Y;| `%ɚ3*kVwb^,-; N [`CA~,QYN#ok-b \:yxNɽI@gN5p(C Ь՟dKEBZA\/a|ejS+͞id! 0P> ,g'Fx#/B,> tkF)4j;Ck^ !퐗i;8x=BҶiʨgE Z"AJ, ҡh΍OE~F(4 uǺxvL.9%rJىƫ(L  _]kM@a%IQi90AiՁaPV4L0aOQ l{bQEBPۏ} '-t[}wϫk& ߹Un韟6neeQ^BN'k.LEԆ"_1)PLV"}$rӼU  hxMZC?EzbėF ]:Fz8̐q5lb1=w[K{y;]4\t4V nWB*? )Of[9uY/ GӅU/V\WpkE}o3~B}EV FXۃ{X^sPSG )h`腵 ;F4> Eyۅo aRի,yDW< F,dN#H罚 qieIV6z a 0&wۭNp|yZ;LxzJ'P[kP.FxAOբ4_,f묍N\d&v79O4@U˝s ֎^)j䕙@4\DH q D(Pa J"QEWɸ3eȖ9Q'0* ='IyjT_z?nV}*<|%XڵUMDڞK}W(W_a SNQ|y`@4~H,1A@:g4]ޛfa "#_ 5"aLMW 6:UGtS(*@6Ϳ"0yvٶP>DI[";6<)356d۲NI}qf[USZm8itK7êʔjI&@y(i(Y#qL}̩x &8t+ƲW}sI-QJnAg@ C Ss(ZS+2PHZ _as1D #5f+S;O!W h]odʀiۛ~oGEDf«'i&U _Z͓wVq Bߥh몤UӋOѨwnNј7PRN솮(זV-X!WU BLJ)ETFEI{|YFlKR|X0Bp\|b ݔ‚,/l/3r{fĉ;;+TM2QX 5pL>WU-W(X}pDዮHzHDha (ond/}RCFڡs\n8s%)R~1dq^m<|ָb4*rRy_ FUu=O-w8DiNS6f V;Pyt}qH2fpys Ѭ"jGf4٧իt^ u RV7~e} RϾT-Ċy@]%=狲c더 %id52n[8&c.)&S>蔩o.,[eiƠZHr nWR\ a++N$':$ $mȸwjV5AѵXk_OTW9,pt W*J* LTۛ{AW .F["Fgm2L0!0޾ k;tŋ{aK`eғs?wdg ŨbۆN) 4jWr9"(<5Mi_1'[Tv^+tWEV֢.kdtVAȿ,Gon.5'sx6QG溈k<Z~m8 +V0σc4t?ԟ=NqD@V?Q? M,.b]-wMyU  'YiHpr\(56R u'eYg&/!0s!.uNm)o'-; VGe4 _~H=Mڈy4 i~ *NK .g툋J3`L}j $b eZ=]RoDV>rr?WmUxq?$IREANf޾(RRΤ$tDH Ep5Jō I‰0EWءb/1Jg/$W ?7CrjaIK%oX.,Jp`TMbD& .!g`AKx)e=2Mu-Zl*bȷOT~DpS*zà™]Dfy(uI&0hx:.m6dIof;D"`N:0 ӌ8m֊&( YxRxm8Șvwn< 'bK_&9t B(Xz/Yrԡ~."C1~Fɲ"b2~&?H4HHCC6tcXlVmVWY &`vFNk6=[ѴyAqiЅdRd,ܺ4Crk Y@rK=$y!Ҕ~NUYHy "\YE]]q~(0Z!$}wfzZ.,Š^eW2;ݧDb8%5I*~YG n6lNzG:s K'w5qaxe%9Ѥܓa'-@/d G E`slI Ⱥ:oBaz+af턶Ԙ<9l(mR/BA(d*Sea?+ӋGjzK.giNhY%Ūj f\ƱOQZ{57K8bʓH{#Y_rƌ(Rv?n BbZ71X@o%O:t0&จ=F9S 7*,*t/c>يa;mJG P^t5FKA=JUs$wT5Tu=Q۠1H搜O=8.)oBԊan" Ρn^jm_WǏuѐnC[@k+013s|t D2vƥr) m퓚3NI'J|vQO\*Pt+fT$W#KyG=SN' ߔD x9{#`JA{qx=iꁱ3I=s7oIw=m5:E7Ïܿ^t0))tSmTO"kF;Ȫs/9^{ Q;6ޏ\9s/>"_iٽ b?ѽgS"\)!!?B 4?uqe9cX(ۧ&$܆P/O>⇀\yL1d\x|ic2i œn眿\&CA)AP"`,ovb}oY3H)t}Ǩ~InOYMg~@"~ۻ?8H%6࡭|yhF-Oq%hR5fY WI'3q8@vf$ yF,ٮ4MDiڕR8n}V>= x/[q]C"dksAx!lӬ72:(5H4uO/տiOEڅIQ۷Yr{D:l? |&Gfa l 34ZF&D+Bo #WJM (YpD(FZub<9)z焮s/t{ 3ߌl4[@i9lZ =S: b/\Ə׹*TbD%u32#[={!rxcF1y?>!©ƹm}d1b)<0 X J#fQhTQIAeMhCwޚyP5NJ9n =[˹8˻6tluQVF_N!,DsݻV7 2UU¶:޿f̣BgKɦ>qL1t,kH taSk#o"e0TW87諹_[8BIW2O`wzvM4-#WӇ#; $a Oq=Y!+NTqs*` v|mȴ20Hl ]`Jߛ>Bq48o ,} ]\279&mrJm' Z+=Ég~F 3k]'".B=2r%Q1@:{%#OYe߯ /!F\U3Εļ]Xu1m+%B;=݋F)R-LV0 MS;սʡǑOʎJgBh/GړQY%dJuW.s8U7dcU吓/XAUTՕU8ZXt^mwCPzUቝgGkq)7̉ҁ<@y|ۢ*auLIlef"qQ |? G_DDL(kҹq5|1 ho5Gٽc{55;RbC]&NԸrThG)$*ְatX`s-L γchVi,ކf`a>V0śuH72Hw Tsʑj4)m7E8 Q r6, QQGfZj_*JpQ"pFUis~"ah4*#+`|1\y YCTfcT2C d~aP%ɰGp ; ^2 *D 퉂ԭiSK 7GUܜ6E6S`+(\iФ' M'rF ̜c~`}ezPo:?Y |Q+e\1!R ;f΀'V3?8Y/2u!&TΫoNt[.%^ .cM?2a3?B-&+/4ko!R޶_ GE gcղW V86׶׎zTh< Q/lOiġ2"$ %HZ;)g+{t[ 3~z:TFnƶ'w|n $Eܱ݆_;Cm,S^X%܈m5 Zl'.ieυU:%FgzBܟh,51/Do哉\/^59)Չ%36蠍XYqI [j_#F@*cB¿v 'S{ '†uWD (-wwIrj; f+ O{A  uaq0~V:X3I1mfOJYk) N8! |J6<5j xH\+w}ު~6M=X=*Sl] j?GXOkT+>ЪMd}G~BIޞ'Ct2Mp1Fa[%+-OrEǠ䵉w_{gx8h4E!Bp|9Ce`χHԫ&FM&׀8pMӀswYmb㎆# GsJ;kAD~BP㐣?l!"ݜ O_'&T2_b ZޝKO?$JK<ւJ:b^і\![%Rkpxٽ Wgػ-X#[?.M_`:p9-ΒTdmcn$a[ RmCiQg~: }.yu S'OuJD}e[rG?"Foϑ.8m†.w_~z[( ~v+!'v`)Yy]eH`HBb7Cؓ}9 plkyu]wHbS{:5?~7Lq6-)dfΐ f@XW}IHJޖB~dLi[Q얏GIn"1?Xog-Jx[}nrٹlK0-I9F%J~m 7^ʿCǐY9^v@rmm%١Wmח <ˤƯL$r^Z,FO~zh}b =u+hCLw4,D U̇-tb)ϴ'nu *Eg^f =pQR*12-X= ;dv՞QHoV3?;xZ+hcqZ)oZ`cB9˓i[~yФoьXe*w x={*ŏ]{BGReEJ/`7Ndig ?Օ돶z+Zld.? `)!e<ms`ǂFdʝEPAp rE1XfA11-&A hv6i37@#+DF7Vq Ӌ;q2z"3r%-Ptq5q:돩sHȹɊd (ԈYd" wSiԱ:M `:C>ᔅ|4Uv= i4J¶bi кG X$6aOcN\bz1c=XꐱW##mD\`[vln.W^Uesl @?7::c'o"&m4% !!|p1%XIf)YBj6g o<>ѢG, pjK<,ةh3|mY@gwK *c͸݅5h](1BWo;VO7N*%7P\5E.ݴ9Ϋ%5K#*J* { ;h1?QTߡ#r5a!4gHEPhNFƩ/7҅vA{fYTx?\p ~HV)W\(k UzZF2B Z9ׂĻAiS"3c ŲrX_.?jʰ)9Ty2fxVЧ Uyh< 'a2 gYZ59a140101e9a8706df534aba7e534ad2b38765e5532dbff203604d5e2b7f0d350df2b2e535aa0670 018c23ec32ebaf6f65e7b9544b49dc452e8ab1c38c1859d3d9e24cc11efa1dde539bd63babe80715