SQLite format 3@  . BBh77otableisabelle_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 l! , ]]]HOL-Proofs:threads=6elapsed=580.036cpu=1404.436gc=188.276factor=2.427zXZִF! H]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV{(͛>)#}Ƞr@׆\i5J=R5ɿ dԯ#T?@px0?WEW,1NitvlEN1O`Ikql6SXT:zT1LJk}k .ZOnكt )gn`o=\Tב)%n~\%0(Rashhz wtfitsԿuN ã? C лOb*,b S ?my  ! HOL-Proofs"hc`*!ǡ"mIt 6yeU#uQ`d60銺HJQɀgwHNBV᭽_ ;ahOְ Ynz~J)`:x%o028eyU9CfIgQ/bDfLɨGơT*^ѵ  T9Ew2Xs6Ȅ|`3ݭghKnL` WN-bf l9K6Kv+Ŕ :kĦ#\Xu(U9IK8Yg ȴOuvZ |\9G!@x7Kr{>'wn&eXeZ]uAhyJ'ؒ>?9?0=g+ i$%hq|JYsta4%YDG& [?r}R-[(X$L3-Sdz3qub+YctP Pܥ6MipW[_.W ڤab2H(g—doA*;t jfUqqd͝%91Q#ۅ<\]Jny8NiikHAvE$:g/Y'Y u#<ߡ|F $b"̒{H7;0 ?V-WA:=%P 2ɧ(AaMՇo'Uﳆ) j C|GpnƿDM CƪƧ蘵4S㲮 )PN=-;FYɷId=IH\-tY{AMrDqmʍ078KξIHF/exqFw\7t>w@A8/[xj0 XXq- >Ҵ`_i"CqJϟZ*NCĠ00YegR}D~+\ ;6;^;߹}ϰ{3Kkp2dZOR>`.Nbo%0u# &נf.U; Tdb? PSAӀ0! Y]CH3,rv㹪Rvb+fW xD9 }{n%mdS7G@tvn6`,QF|g YV5b*w/s~MU/'ԩ&`@tY7= i$d؃R98Q:'j4 SWΥk0$0s-FDTklZ')83 jA^?&nxϼdj]ҔE ?ZmW =I2:{V/) VVo/F03;ju;{Bt%V7wiWlz@2NBqb[ 9L܍ l%gG܁rRWpKAldZMԽ$32nJ+ #F_jt!@Yy(I+(XG6J'J+nkJYq" =@vJ _*9jyCT6/ e.=c0郙tZyě2M )(e I|>:_F)8 Ē.L%r+I IQnUK`V5Wޝg//_1؊گBpGZM:\DEcgJ}.~;D&Je[}k;+|vڞ9 Rm|$žV`NS;X×y%r2 !Y4*1dIk%lK U/ z;UZoj;Yb¶K8%X ɻj ^厎5Rons׈eJR[S `=Wv`yyYNF8T 6dYGydƔ:}!AAp@1l% t`z4#kh\}i+F۲4B/\_ (FƀBL3?F XfŃd;ugU(G4C=:|-( V"AYz94hAk~S4J3M7;ZllXoBu+5(t#<M`ݒvm{U$~PeM}`hHWzB_sUj%[Uzx{`jJ'1k)Vq9+ u0KP9Z['k1`aL7宫r?xrJfa¾MZs +#eN (|;XZ~5߄n [8ѣbBfὓ V?f^R漼|,]8#Eqc0x'EX9@bboڞcT0uPYxsL;9݋i!~ D"ǜpfF:IIʼnH:d]F>dOpư1Ff>0똿6Jqr28C TУ!%i(a2E >~7Dr !l/ EOLһ U #1VU:X,->]ǃhkcLun"' 3 dt9>M5qn!J 9i:-_ Kw0][.bj΃M"tU֊A o!)Y,HOaA 7; jϧ"Рo? 9ӰDB JNVwX6)U mJuj}jB,XU+2PFh`vP=w'`KuLs"1׍8&gKuigR3ؙiR'Vn)=NAye+G@K|rOїͅrB*.dd ^X_4Wa' ЯiP~cm UgGiՋ!y>E$ gSԷOQ:bNәT.H\'w*PnYcONxAΐ _ѕu!̿2#e> %͓'F< >4,ϕ 5)ט]u~qBnX„gLdx< 0SÛ4:v8?0F^"Nr̆:у C;tT7Ԍ6&Cım=%cxs J@?z@jģ{?ۺc&>5@:ʠ{R߱eSw!~F-@A^? "9+}gF:&©ȫ+]nWg]S;G?vyѹA>H "8<#hs$V>N}yņs8'sIfxlߧEz61LKrGM Eb. ;F"}zYF5o%{Q%QxMj$QȺqrtk_(?$9N¹6>7Zjk߻.4 0` _X8yW=,tI6uxجET@WM}HCQCߛNfoIpmlVƻ; EG?^%TQxZ\Y"8u\fNj3rҋ6jth/ztO h%*_$ajuW~ENfP)ݩm Z ::|ҟTMSk&rDCgkZPiFy;kW,2ڄ厅M=m۹^,[RA$V5ng]xS58{{fڋf n|xgTxeFAWi lWi1S;2SI'yNîw,MiNL/w'<_cy;ݗ`}|ɕN\}ppߝxi2ޢݷ1O 6't}QI:ŴypZ!0 F6H0@TA:x(?]S6€uʣkkEVa=uqrt m;(qT> 9ezyżܞo1)vaD.C~m{az,~ xl^g4p3l&FضoFI.(X-ӞSqe՝Ts<nC9P:\ $0ɴgYZ7zXZִF! i]ŗXiɟ29aoʼz[%U>EM!!B0!Z~D7pn|(mC~Jo^|CNpSX7<]A+Jܓ (B| Z̃MvF"2!hV*9nVsnya 26̟t*C$%:O]Lr}lMfB0s9(newѲ̬h s\sd[_okF"۫i !Why̅1:իfj)9%͠]r18Oa;Lp"Bpf8 hV'm9t"{JLW?U6'rJoC(U=r /Uqe h3!w^z{Wn( c"Ft<ͱ (CsfM Sy9i_DD{ӛ,Ch.[hJ^@٢v6' j[Tm{U-&Ѷ %6QTWmw`l $mc?.jb!mÏi (ﳅ+pKOc^$&T?h1-Ɏ6M hI?6hw0gK#piD9(K]~jt܎7[QeZZ2nz=P밶X(}%A7Dk!AUO(rCzeeMR|Ňu(cCSawY`:IXPFJokM bN$.9yy4[ZRcuuQY`m׼/m*rK],FHXN'ɂPHTЎ"篠pGat^H`}}7ng307E$4k+XPh ݜΌ{ax@RRb׎1duYrNށsr*ӿKc{3 ȍxvz :o*_qm|srclB$NuD9;sQZXR=^}ܮTnF17Q쳥͹Y~LͬaVĄSYS u@|}VCZ55B VG!#4Aoq2;zd`Ε[Ttq<)#ozw@ϻƛKOTf(XߧS?0!|H"-d6:.>QvI1?}^J{lAђLd%\;M5sOl2ޫ+o?C[Gs u8eEhkwEO9 sш,)رY .=7n1.ͦ?|q.2{Ni̅ %wn/'? lv|h2; w3dO4YE턽 K RInHNi l L@\x@0.'VJHVK!NY+EQl'*\cbuSihau}|0y_JdޫߏVRԔ]*VO7LV 2kkٱgYZ7zXZִF! p]ŗXi%9(OtǸʝGPC >:muV=@@ 3Ae%r!},k@!қ?i#i2UiN{nW;w7 1RoP "oY;$ɱ^C'y{XxP*Əz,fq15)=H2D: n?pJNT-aGe Cy]/TkʧF,c|3>{` &$_=^SƳK\T%rW.#.Q;fLa~Hz\Sѻ[9$AD4Y)]nTHZi[9WsKmUj7{Xې閄黏EkN3z l</zl(8mLTO`l4SS:-,d?lV/_dR ]6D 8qL/\"hi3WA+y|aNQKd`'t/t•V!zJIy@ {Ɓgbey0@tG+o7&SèlbNf캠ʵr2XCvLLPLwNdgZp04G(KN,o\jGtB4n,v9/JES? )nRww+Vg{giq 0vMAn~2qKW4rNk@j5rќ# m׿ɴ˧W|Duhm4}ZHՓCrJӁN3Uq'1Kg[ e[ o~8'{) ~]in| Ó0S-SW,St흐EV[{$'Z};z: |Ljx ^z(-Rա5c_6H%շTAU7z9Bջ$!N"fv+jVUfчqskvT\V!8.E<KQE[!ⓕ,H`TMD4S7TKJS!mwVx𯞋ȌدuZRaþ^9N">Qtv}-[4wbPR'rAeˌKNmMX s#.n{ADԄ~l{:馕Bu Z}~`XW*[W C&H]ՆRa ? jXmslGeB뵬"nt ڍ0bZxS(o'*c}l3b2` zNb G̹Ͽru]@@Hߧ'"iӂ.4Ǡ\}׌NSgw5%YE̯CGSD)' 63K!sK[g0%hѝc֬Ȣ /Ɍm8N}ӄ;QL6dLM~d~$Ce@Q9Xع츼x 7{6T6i?v |a |Z|aj&9+PǂYD3w "!SEEcfֵEK[GbȊ+G?JlPԹ{R C\P7ky긑A'%U܋,MtXk,ӷ:(K?WYl>1zؽ,}yYϠ/[aN),q-ClؘV5 Dk-3? ."P -_hňkNT1~8P$ ~mI'"\@SRz?g3̘OyL܄!%SnŞW݅?l4`?f(S /GKe߲:^,wa42aG]ǽGףi|wkwH{VВ<+GRȰxk%5W߻v5/)jF@؉dߐO Gdr!JV `76P긆[`*\`(VFLzG>=oEMO7Xx!iP[ а[ !am f*i֛C>iu=VjIeY^x)U>6]wTjݶ8*b˞-gZQp,{n y"8,ru3ͮuBYut~_ű;bl4?=/*!{w{͇rqF$JRҝPv}b. ɠ/q7KmнnO5v&!faWvEsѰ0p3@(:47+컹H-[h 0 $1^?Z  ^Soj\!C7GRE:g]31問Qlފ({$6G(] `3jOEzIt2&d(Z*bfj;"vHS2z6r#t ۩޹}Uwzn_Q-Бa xZz٬fmqрg}aɓ^I=Q %RGw;\򡩦<麟ZܹE%GZgDL<C*Uk IJA nMWk6- 9m " ݹlʞ+,-~[rU)b[฽rn;ͧ*1q+Go2)rqbŃzꍸ XoDJ1nhCxƗU8Ep œ6_>Q?sSrΖrk79%@} ]VTyPqQtn=vk,s[vLcM}I+׆|cCƭZH ʴ[z%p?^Х:4/xހB09NVyrVkVO#X<Ixxq7{g& ѿ.go_©zކd_ 5c1_ȚrĮZӔR/-m d+08ufųA>abJjבQΆ5F LPa38>M ]Z>\9Zwz+N?sΉH+n.3?~l{zӲ@[4h6:>rrX@+#-{ug/->:HvJ D< BAe콄sv34*c r&~Z!^3B@\L-,=pʌ2heM+H1cvp_؇G Ū.ZIMWwW y;F\E>w8CLAULKGxF8_! []lhÂy7u+ћU6 {`QJiǰ~MIc7Rg1Q4<"?Ì;kebAƻmW* ?4?E>sU _HDߝ :-"~ L 953zB̡u`s,$3݋\BxȤMBʃ, v\ B|Qzѽl{S d 7Mځc) cb?o2r;&ꭂ'<}T8]`MM'07ot-Jkߧ<Oɝ+BHy`0x˛#ߥ#9KUa^m`%w QAgK酖f+\:I)+K! Ws21 Ϲd@um?|V-q 6G$J&6k^ؙ]9{S`g @h֔;[Hcޫ^ @waHп6:ƫR1д@Qn㲫b _ЖϮEPnV/Ȭs35.,/< nnUYGuk[N|b(v@hZ&jFysTTs>6^sPѾ_/A ~X%Nc`PNXCK$?ѯ$|"O*""}.iUXT*&ߗ#0-hScĘ49_- 4,%&!fkؚӄ+X|!$gq/4c8 9|{}i:}GUrԄ?EД/&ȩ0vi)IEIvZY$|ʾ:^h X g.N\(1?z2+,/ ;<-&lOCP\-\;cl]6܍mNQj2> Б[CO5&Z^%P_dD{FxHthg 4w4بv_ _4ۖ+Rd n֗d90y וMS8 / 5 )* < 9]"78kW"6 +x ~7?k6ѰT:l4'( /  R @Ә#w ,rmи"^&: v+xSK+7A[- C9'DLF`ғg2psk u5(.m1 Tqwk꾽|N?MNdoѺKp'Skw5jvAN礆H]Bi y!K>g_Ua< }:-?ZNwHs E >ٳ= \C)+ܷy3MsѬeZr Jx{g-,DZnP/C ^ۇLhc7G6}#I:ЦcMa#0ƥV+)HvĚGI7l7h7Чz[)VaW+1+/Kl#}t$ |qW loD Et`N -˩sV2( hN:V⃔Uy˦c08hwS93D\vi\ah[TgIHQrG<ӳ'S~In%Yp3y":Bmj,SHy"zeYcd86Hm O}^SВB8 \ jc04˹@\N~f62Żm:;vusb|c)y0CF۸xm"&E8+ö1f$*"Д2qSrXj9ߡtVwX;I9FO(}5]Ί0.2AmĻ\ݼL>aփ^" 7z3k)&g||$=-R5ӬEM}(QIœQ 4E;b6}= b*U'JR9@==tOED0dε[pw(-5ϔfN<%O&@@)U>z5:n,E,RUBO i#~f&d mF|lXa1~Ɂ2V8f_AX籠ʙT1pE@ ~a|~+x] &3yYƻN{ R5<;rP $o;ix2.S6ACZ>pz3^muI4 S;?/r"~e]4rȄ`ȓ^QT>-NIE8u<-v;OEYur8 I saOs+6FZ$[ gϽ@]=\ D> \4[.G"u{BSd^dũqZ}mfYic5IYG1NW#}b@%*]T: 0߲B#ĪD^˗@Et 6 աuD/oH][-NGx]/3p〢И9e>-Le4h1JN"Ԓ򙏫ʅUᄼ)6EJ X Yc#}]73  hk=,߯7xEbp¹q{h\(Gƙ/ s.`u.tA禬ؐ}w_UI w"ofoQY63췒`؎fb>=~d<=.R9Kwr=1o#u#Ty~o穴 9镽b[-mӆVG.CLҘƄ&{̠O ݑE7šfl9[F<&x|j1O<\.6v0\4@-ctp'I"_cym|-UT+sR/?^wCe6è9:/~  h],___ aD  ،5pnr /O$]I@.mb-: [Jrhv#O>[_PS$+.tC)`([CxV 4CD :sHP  PYDmhX6sBzݎTXqY1gH]#bZJZt=<862 ftG1;)A blqgh!b'~W[S!`3,=Pyq0R5fJhdZh-?Z{Ƚͫ?JE]n)?؎$ d;]} |CKL dh̴ GF 5)KLaC2~sWBu,Q ]N[ oQ:~/ii87ꚅS[ZR jJHs?MD)2AsxNcAuoft܂{/w/E2BYK60% Uwlv3UÄH`9[WQ sr7^ sM-\`h5 XEru/4~\-<zѹ v)̖L"a-:2o]h4xS!+4=Uf6G_ -: `V9{p\wM>0O)}P7Haɾ(%bD8^0h#[oY% <[c.{woם l6mNvXWsKTp&`$^[RA9DgQ~n t!ųpw'bԃXfs6$qz`) >{槺Ι@ CA7o=`}hq1KQĴv$8togW >5&bjT"4( Dr+a=-z׬+ $7d粹|X\ Nk%1ِPIPwF(pE:[iZh, $Qz[nl=Yp<zvw~c{]!v\o@D"P,)s8ƚ] k",/5ugdDr{ O6|[|BJGD K3U.C aŒa>SpRst>}OZ˕Q[Kf:TAM/qɶpD/G::ǢKߺQ ,cj>Xk[uxmez]!ńX9^jFE3P]= ެ"ޚG)2(YֿXyjOh&S 3uPGk YAo_nKlOS8rbWVv[ CH4 Ź@i%mQʉ''Vn?,_eխ(yW!!14N̈sh A8Q Q&@a13 ?0ĦC?'3NQ[I_qsYm*W>BN}7(½\P<Ӹ2 "4QKpsh?+f7+R X7o :qfcᠬ)s&n-7htZQMM=lI>)euӖ䶺o6F'ukT66_'Oڞf8_oF۪uJku37OjWlx bg6FL>ye mv|0(ng}⡋H=mEh;,(@C*ZQOєw15 c}=57H")b!p*-ykN} NbJkqr1\k *&Wqo*/ SÂN.T4sMW oܢi9ÜWl'cDp8P4!_ F_ȿ*Cc؀`9)~njpex"C[T ɵ̟gZo@[Qp[1|,.tHJ֝!)St1/)sHR1_l'KEi܀דP3x\cGNc]qt0dfZ3 0udA~ Ul@2|>ZH' =GR;.N+jD̶ ]Oܝ" Gk~C!GzBT>ͭ+1}wmbQUlO8dGp/ƦO1R*BSX|e ~ʗ-/ETXm"V.ڻM2qfki%"I7Zx˾% vIP{zuNB\BZ0)ܽ$6glSZ]&<*O:4y[oG׫__Y܂qK@ )eq`iUUXqQCVvQ,liL@C6~@rEh 2/c2kX+Va(Ł诌y=IZÀj "Y:y5J3k?ck`5QI[ٝ{AW e0^7btI(G{*jBٚԠQ*5*sRXA7Z`1l8# @k"U;q~Ӡ*Yq3*ꍬ_do`q\n)_|[h60>e blC6%cm_!ׅUt#eS/ֹ,@7.+0kX`ʾ"^#dsrۍ`'P'C'=ɠfwq^׹Q\^`@/٥=ꀴ43%:Tx1I8Cػ#V(3' &g QWę+}Ӏ Y6(&3x/-޼u*N$֞m`>2cPP*6@p]xrh)s 2;቟tbFЄnq4)U!VONK}SX^mOS׊`0=Mn2+Vn@֐:S4@ _%E"Q`Z 4?:@aa]$&LH^\JD/!R9 Q.'=Ͻ0VagZ6z$udgm v@L9eNm<(ͭ&z,nFtѹΙf*Pi`A;V{7(gsgx%׶g&ht ~? ;~3}jJRC10-mZq vl"x`YIk@A.Q膰/AA>c&|N|V2 ݵYi[ukPBŐ4@$[O=ltId9xeJ S3OHQ 6,LY|] ?M,x3T=5wX3_ף ڜ F;Ǎ`}q'e0@|0 Ju9'~#H7e ׆^oe S]@Xr~I-++/VqՅpIV g=|U!n)="Q?0eVs<'*ZB`T^dDO-G;{eKA!\ƆZFwlټsQ ׆$*0Ӈ3,$f0XE!湦RKfM&R+**/g>K~#Xa|c۬ݻnpR5 ~FFJ6A':) {qۋ7.<}JO\:?43sۀbV>?ګMl >H_-n"OӉHDRܱ]p 0}( SPPQ?$ Y"P6WD+݌]d0w4?DotiB? ¥bFsA"*h R-ϝdL5蟝PY{X*P ),>h4`3}kvg-" ]0sW[.?OZpdž[ 1i7Wuy3#HlXs+v^!Ǿ멽g]zEC~@B~o3r#o4f`@z A9D{Oj̝?އh\~}Uyԇ`<Ȣ83:lK~ yǝWD{' EhamchUG}UjY%c-:^L<_EjP`U 7dΆ7RĨoq|A?*_%h(1~DohweR̳ToBV6@~oOzIChe.z N1>/K}LHGgSEF X{X]sR^ C(D0RT/L/bY w:B9X|\6D8SLO;UEy \ Y*@34W8eD#(R'[Ma֖ `h n^iʑ?7>a  DQwSǕR=tp,`/·\$d;&e (TJ/ӁQVeԛ1$2Zb B1x-K)E9/p kSf.uV/% x:[TAB֐( ?|ʹ''o3 11, mI-% 9beG"yo;l!5);n(JmZ矝-fQdWBp 2:)?DdMc% ,ۧ$$Do})51A`^e\犭!F;󻋠ޡa' %\gcpLdX>[o@z/7 Ŭ'=\&ZbUCDUGXq͹b.p?vYhӮuMin Odn_i4rV\UZ 2i:q~+2zq qxYc@sfwLȔ@"_7e$`Ѥ;i r'zHo*ye#nI H^ν QUg ;˙ՅM{bG9/A|}ٰA{\1[N&2U6rzkS7놼g b AY}^ԭ5=7ˊ?`q(M.$өp8t蚗%qZȒ?h^wnue"a9eȡoM|.0K&p5ʼn}kyKa<1EdXtXspR Ǫ-/iE&I}jQ& ;SȻº-S[+0|p\oA I X7AA~WM kR&п{pT);;K)c"TH E$ota%>aj @:oh*GbK $cQKh:1kЏd|d)8 {\ .WKV6MC]I`saBavsZ{IBTI#*#INwAж^9(+__^z%w-6Q~nhtXV*Wm! 򀈹љDKAKr[ F,ܵ ӎsw [u ]?9>?P8'|J" `f€ө Ǐd$x,UfX [1uTݎM~eߍޥ&M[=~@k(U58? GYQd#K'}K ҧԠ:F9=k|ʀ ΰ~eārP{ 9pSp-"SKlr-wl^o/WXKh .+ҿS'G֏R"@rB-EycRiYEA-rKi2;k<1D1W$ާP~#~ ]3w tX~罁H1e2g3t:zd_SDQ _WP'۸gmfa^2Z4LJ'9u5qlܮ'eΉ [VaMߒ"̲Ԋ  o<1ih1vWDxl݃5>'١ώ rbx .״! 'Nn"SYEwE&#m-C lN%V="¡#NxKHU`W%uGXhJ-'߾h-Q%͓boau=E?gK!*N7מ2|ciI# u1R*enFhŇ{>+ژr0<-UQ1aw#Bc㓞!= EMtr>_0ven.PHM6 (qbY]-৓q-7{Z/b9[3 +st9f [d7;_7&Ya5JLfNr[rp,RuO':$2n Ws{gPq'@|C:DR`;y/4n ~ .2"xQ)=ZyX+3,Ut[h[(bPιfѤM?C&AmV-. `^(`ɍM_}(N)rp);ySP+^9ǎK^6} ]zWLJ`иKڵqza{3w{N>Ig+T+jT!"xy\8_}ퟦ f/6=fj8;1Q]~. oiPw|Do>"L0kHօSTJ@zJ#ǖ$eZm !!Pҫ3%r&} 05G2-ChT %u>$"Q02y Q yGQl-k$Hz o-g+fPE|{hJk?X/QASF҂gB(Zij!LcL$1wx052Wd8v"q)_+M\՟ ԉ_u3T .uv vC@p{A`jM?0˥[ԓatfߍR\xrO̡ cd+5tk &Fa H]wYjK^R9YyN]ʊbѻ1q0$ i((k{$ Od[vx3TI7oL&d*Eߊ@{* [{H/J HcA;2񍹩s'kSk+g}< 0K5&zG6XwJ [KM!Hl_;;h2"p70_BE"zE? 7cvmj*+UE9@e>% `7==Œg.qHx8Zi)7nSLCfP8OzsN< /A sC#RS:>qV}q<6A{ZQA&hvOqWN:y\a^"/cgˤz?evUD(Qfv\QOJ'-&!6]C-8ZH}l_B]cdd@fj̽ hD9qe`l 8<4hGlh虜#=Xn <!9ݓl =ꑏY2PWF.=&s!"99V~ې"TN6o<"6L8X"C 1Ṅzލ("MGҊ|x.h55C4.:/+6Pb/MVZIF@ |/ޣHE$짴Z;q*Ab:QY SG#_쟒 NHpzSõcA`N6XM \"hT!q|"G֛FKkOȆ2B39j.ao#{ϖ,h:!L'fTIXq>ulա1i,%#8X.`ǩ,_Ep=j=g OQC8LCuIiuߠ17haT ԏ}9a!sh#Gwp1at]hZ$YrČ@8=RGM{ 1Bc(?fC5>  rN dyê5((cC! ĝ^!|s>_r+Lҋjэ|?jA+@#i+=GC2fZE*  ɺUt.ݧ0sNmlLn1_ay#FK Qlk"4bdj*:-{qyX"& Vh)!tLKlL#ո0_bf*l b/. URN7lT~Uoz|ImpYK5} 7UGb6xM^28t#B_hR*[t"~'OQ2"#;{vCCPx`ZboGTd/$IĚ ddz;5]g_c+;&_soҩhZ)񗊞fܜ*kO#?gE^]V2ɡйqd[܋ҝ֌b$ xI[#"; R$4<'լ {DNHi#'iM溕Ô/2NM6g;95U&IoOp]QFB֩`2yg4o7-U)Emy^lP0՘*Ȏ+SG^u_"D$n*MR+x1D?w|1jr\^CP`wdđ|6#e~smm)W\ZKl>t>m|< kJU,RY2nRM<, <`ehU@%aT%$b{ȵ!| M<)#s6u-Jf8-Ѭfd?Z?BT`'۫Ak4gX"@AfD[Cvna3|Fì: Ͱ&"C1%EEJC?!( >0LxP[l;L~|a '|#F#PjҊS/_h>7KīeXwaHG)$z=1O,U)*`tY\v/?s?~YUK2dP}0FyJ> Oy$h"clеOǘA8wDF-9Wz\c_) 䴬I!ߠMZa0PzՁ"m9D]IC4vdŽ"IAl֒q ۖdiP[|($V@LlY c3[y q)SxI绂Bwef| & yoGV 7\qI~ġG"M;\#\q ,TA| Ȑ#Ҷ%T3dtO 6y\rcX0ν>X@=l`㣣F]:m{z>ም?2ӥB{tT;?ip(:Z`~P!Ͽ{k7 uQy,[ *UH/t.M-еo{a0f)eG"9QIYV1)jz bz@BT',30J&g ;_U '!@JTj\4ۦU JmMq<-m>5ߝFKU1#LI$@\s{ V{N2>{z5̟UD/gΪrP;0I*R>|\j]ʪ r3pK|7Le{Wzqy>yr"U?%'(M>QE#tARBkUN6==ό,gE-| ;= 4j~G]_7ւ4!@ f{{xVJA9ͭ8Cտ!ʧg@K\Zqe޻XƲt,objy6ojr%HbGWKmUх$7iKCDݖoWӸ{҉8⼖ovtZv Ho 7r-/Aw\/ ;h[N݁- m:py j#sQqw!y1`[;dqݏE{JrdϝKt qAQ<ճ˹QT5*ybȤ`dp1B5CTT*UY'$X(M6-3rmk5Ї{鈖:#"NHXkuu|l@,"%k糖-Z_÷|4YSm|Vz[J<躶>;N|'[HYm3U {㈩ͤ 0XJPAZu ugJCj. 'Qu>Λu㽪yq`@98u͂IJBH f4,^ϖ(hkzWv,^綒? x {+ UePq8%2Z 9[k[~ wtW龴"ynn#3;^wv)T(>ח.}$aff^rTv),.;MH{Nh@ c$8 / o{u8.۲5dHi7S(yMT 6*~މv=&Gڀ;qJV l{sSCN^B;[% 9pMr`[K]@\hXtchU>`|o-^ JcC V t|'yх"k.*kI5 39CRhӿ%.;M +GV{!p?3F C"!UŽSP-@b1=㓩Z&OêR-7LaL~gsP ]}ژQԃHVd5ީGrLB atUh3q@HZ,zj*=(J q|r1 ђ6}C{Oa2hս\B G?b^?G0`fSR]KbNΜ iU s C?C%EZ˼){&PX{JhB1_,* :g 7.`~WXCohye|MS 7GM&p9N>H7ݡ{lKP9Ik 7Y݂ᬶ;€B<ޓ{NapMUǝ-po-YFcZ&fc ܚrH)[\ݎ2~;q!]. b~Ȭ` ܝf^fq8QjZ9+YP3l `( ;1sm1v"oK?Zz",W @Q[݃Kz,6JղfUKr z Y[Y鯀g˭~͊2{ VΝ*W@xa(}K(PË}xlɺ9,\U|GjC3!MUM]fQF+I8^ k<4Yp&o!B~}ʐK&]eOaDɁp29[ibB Kt}^KB͓GɄx[+s n>=J:>zX%AfEK|\ !3HgeIÄ >,U4GL+u ڷhδntiEWbxj!F)8{ϲVImYw\ s.l$PZSV:urnG7Cj囼p7dB1& aœOIc348Q Wl_u@TAn>a5gDk.gAvw~=ͣao߯:!.-Qs-:r#̔Νy mиzr>x)Κ_:K[X+)#;,iO.iexT l41@um:,`B#ts# YM'n 'r>ZҴ5QZ:ePI\Dˁ_/xoÄ6L45 iPG6nB4*i{=MK=6zGyѧӠuj$I.#N~krZ&%C"`k4>0B)XlKLbzm"ѴG eXٕk/?8h7$8į1>g%_G'dP!x=~_潌';3[Z{+偧T7 Ɏ<NMU 5V[V_>hzDȏ'ymg7«/U*M`&+H'P mc% ]`пE~ʗ~SJF|.@;U.E8KJ-ɳL!`!/==J}f ~,{SتaSx{-W(qQ' L^U7T 2ᛂ>*cIf\]"fH?)$lꋶ0-M߂EaC@ ; ɯyؒe+ާAqb-P\7[+ [Uj OuaCuVsqUtX:)(hjb-Y|gȅt8 {{oMx DŽlMUUfun A htz~LRȓݷN/:v,̈Z]a%Ѥz(LZ{\>j?`cN;AaJk7s$M~/iW?okrEV2ئJzu$%_M̴V&h*ybF+yb`YvLC-gC(K#4kr:;g){>|*kfcW}$Ol[\7l LXh_ ŮV#>V<뺒;Hw~ ʍ5$D}!a$nȟ3cH7ׁa ]jYs9FV.~YǩXOX QMS{+*IwQgrZ GBu<4l C]&d85[ۇ*9kjyb|JY'{c!O-0$HgE2dύ:rfFXz2D2gB/B.v/OUD%byc*"pø<?vN!Cl_EHID>G13O2B`q[c6G檲+\.z!kO-%J)Ͱd=ErY`uXW͸"L{&NkZO:۶$>N@w6p!3CdV[-aFHq{mن*=cJQFR $g$,.I_9Fi# 3DT1r7{\RtLIgS$r@d_pD ё5L|zė rĵ|I.b)nR7Ck+)GTx ilqvXug&ɈǢA! 95Z&?$NN$(si]N" 2cݵ8TD6 0j s12#5Xg,hQ%Zn^;4D+8ʂC^BZkv 4g$S:W7Y_84^T7JIyy-U0]?>p1QQяK~.)/xz{M0eCqV'DV PosagQR1Ӕl}B(td7,pɍsR9wod\U>Lvt-q!u$] My@$Bnsg)2z>st>ϘN 2ON(S̬%{-H $Wq@ht 7x%]U*b LsU\ry!1 lKV\+k."kUJ]+hgnȝ["DBӃSBafF anjmz.y=O /lY*gߙAa/`:-އybo ݩ1 Ӱuä֛WYD'hЋlѓu?V$)P%بYa(3gf9rU0 20q˚cu~@f\l9On¡>ĹS2wZ6~|j_.K1ӫP(W`]@Z=ϼnuLw:X4,\ebp a4RP}޸&|5gzD:7E@ y~h=8KrX5kb{"KHv 2@dZ# dURNZ~f]نjrFE<Ȳއ=@DOr'bw|:]$CuG}fQ&.Oo0(Kʓ]%@\O3Q'*&p oGkgQ5&A\CfQjsh׃̌ .F+;`B7g:UTZ\xCT2C%JiJ,,r6{Ty)RflRYo5fqf&pI eIw3g4oX3⃵T畷 :E=vD ,Ra0ltW>aVL*A004X%.q"Y }sE38b-f!vGbd723RUyjS_._}5ziVzղ+AK[ rm18A29Pn{EK͊\3凁yz]9Bm#>E1ScK> 7%a}km B{쏵Uoݶ=A71x tc A9a:L+Ubb (hڽ6d bhhzvg8nN7' |)15 5avey,!X T.<&~L)49k,cA,ZC# MCh$JQs4¥9bJW6п&Y^;X| JA^NF@КF]BkM5gGOb5C-EyL]'t~o!t4)po Ȳ jMU6 NEOtw=^*(mP2w0ޢQе)1(bp藁Ng۹cci[Qc19Uwo=$r<{ARx_5{u!~%t68g_U+hcH%SҤ6}meg'XLgYZ2a87a750c311157e06139f16a780dc825ab4b5481b1b23cc4f026b8efee00153745c0e90f4bba172fc1751ec831dd8fa0ff9b83a957d427dabb41258