SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 eek$ uS]Slicing:threads=2elapsed=589.413cpu=992.820gc=15.476factor=1.687zXZִF! 6C]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/+s3ęvBKozq[BvFO?pxO0Zʓݘדm'TZoxFxt|u KBY5Xœ?hP'ɂz)n<"f\юhLm-b`BS 刢r3|6 Q|\4Ẅ&ǡ m^.2.췂%/91Mʍe2P"v@ )qȳ,ޔ1v\uJ*<~R~)>'C \* 8 DDLճ~Y4#[3-JFˡK𴑋l]eo-zp9*y*%k re,_{~$͞., {(6H:\t1v' .Z BdYSeU.IN0Hl ۉ *[}>_'.ݙ_X1d9 4+G& 9ranyQ+2,6˨ ]_9գ%lۛ✅.b;c4vu[>-Шlm'pyigo}l$u:[ćhm(Hijs')4vq_$we IjO|P-g h򳀒 -LcZނ W40fY(2X'Inq)H#b;f`<2[$c*c7'CU&div<.>S1(4%vvȾ0œ.k%]=~ox²QmO!JqZZM~6 ?1vo 2(7J{솅BnKC;MHGsYeh̰ %YDd-"8]mF YXYj&TSnup&cZtO&<kq!X"Ρ](O["xYxcM`!PX=d\d{QOD}â0xDF|pTbkN,LLAw*5LDlolWJp-0Sa]QcLZZ3m}6O.Ks[=`_\{]~JAkv̧ OĊP hTi \e =Jr21o֎9m@+Y <~cs6غf'(T\ۋk ow+hym=Wej ŭ ߚ =ڭ|rAq/ OT"6v !ǝuF Gt*xD~.J%OT0!§ ] R3쾚ۿ >a9ςaZ? Ք*X2QeS r}6o(~XDN`/h,.*U&e҆NEnuLL+,/Px~*q0LYSĪІ~Y ]%_'FZ<THG@a\{ i;gC}SBD^$?V ] 4FZ>mtTSทF(#2\k1jEno8" d_Z)TX7/ۗ×g ? ?@9dШExۜ=L^pO2ii0- wr]2+Sle LAV1n)0*7ks8ȾQ[^^3_!BNDڼ允0,8ӞhBiS5MG\]z yeR͟\Vt!+]aĹXg!C"c gzT0H%ČCf{S$nF{ARHK rZ~AK4FAvQq;޴{$u*b/jϛI Wrpd9~_V\ eɔ+枾J˃@ab%s|vuECGs^5_O7_i%O}r|L[Iv\UL&SS*6e,TO[$U&C_γz⊘R>G'%Jm>v|VhrX{q6otX϶GȽUܭ`V:[t-SXD˸Cb ۳hi.:[j, mو&Qn UCU^Ra9msɷ{1!H6c&s_Ɗ^b '맿o "'v/=y%&5_1]ڭ؝ + 6G/mI#O*^zodfv&A5 \>#%^?St#)]D_\[KcRd6MlI5zbg֧9!gUVƍvOcād0$$?:5fxMEw{x5H6Ep>[%e/ [7(4OtM4D.<:ݹQ89vBF3U!<|QNg$gٱ ’9ĉqJJWKPj\M[#ZF:Cw7llPse.3?$)PVD/7>,+mgdcwIOMÐqQEl CWb~7L0:#\|Sq7@.gGyVj5`d¼/~ 2Z'Rȅ6ATt9QT܅bj@z;7k஍{a0%[g{_g*. ̐ s"Ɍ#3:I̿{or&Durpoer..?/rkmv d{T2LS$Ac82`D$jA]0S#RL<ݟ*`&(-hە} ;I>pJMsAu;.B<0Dh08iQ]8&@86r6?JcZw 0%3:Zd>*5Fd5}3)QMǞ&r1׻1,x]FXS/"F%e >5ա} 7 @o`e?}FBvքȬU k?0/&%Wb'(e)JNZDXZ͝kˑ׌斜B2}Y%uw:q9e-o8ͭU />ҩ+|re|oҹɸ5\DMhaey?1hV%4\1tO pxP}jUw5 vu(VN" jFu.`7hʛ:@ct '.Cf){$ 1ͯs:5w]NuTD7 *+Q |Y/GpB9e4]GO}cR{. _g?Ap)Ecژ`L){˝1|BAE,wyY!- lUAow,3y)cN T-h{t~DwHE(cLƶo0JV7h}6D? 3|krvZHDiizMgNW>ܙ'#D;!ӧ,a0>9-;ɥd4Z:+pȜ\ӀEDgKTY>,r)A9nN ]K[ uAL%LPʲWYe5"#@v"C>Y29! tbϳx y&UJD6t,M>{ hLo2\ÅS;BY|O2OOz5SYT\H¿ ~9WI)= m]6p<$i)q"ANMN{/%_5}L,CϞ C~aE LFŪMNMS+qbP9'{;f`j"0ˣUO涱`#,t2ք>zt~4gf6? ]!YaiLQE^bp _} &U2'?ЗcRq*q$pP.!=O֩=Y]茯94?qs~t1-#㴑6p =uDd~x٧GrU;8BX:?8T飋pC3eyƗ);8\JV |x#Wq/35σ!װ"q=N>B~X飜R}C&G.,]#nI -$$HE4 k <4Q V.tq,k3Ib?=R$I- ,!V9W_;Nk?:%6)KPLl 49$lyi=Q r:jZ&.?Ce?)[Wghbt@L=PBmpތCꭵSb}9`_5rSx!ymL"cVV 5'iaAqR^%N-3VO";B!nvK#‹(q!z?#z $qj^^`sZU<)1B[c^(d&SOʯ(y7e# J3ʭڝy!&p^ S>m2\ Ҵ#:d%,DCBBbYw U[#e\˳*qK]m< *|6]hl' ϩ VFhLJ& {߯ZqMt6 dlj@FY774/8=C/oD2<2(¢J욓qn6G[ W@B9[.}g+Q+L،]P.u/f}f(Cq"PAqd8HlVmwҎYǪzBmJvSuN1EA/C;S.IåHD,Wj8bAJ]%Rīup?>Yz%~N$,7k.)B\QT:N^IՌ3D fwDy|ټ&I6t=6 4c$VKr ri},%( *!98y|d7f~e_\CQO~i5PuC͢zY^ nVe=J^dKAص 饲)գuB оwivjks,i-;O5K|됳F_wqj0<7X`,qi:\q8^2gtp MGE!s+R*NhgE{hFg=}#H.ت2G| C*ߠ./bPYƔ7t&!szywH kw2 ˹4,sG[Πk\4Aϕ!f3rN>4{Pvgy Yi7rvb̃AVƬΙSD|HIǕp~dZOT6F%$-۠|*QG۠_쫐}wR(:T)u]lz,p63.pFdE';>Abp*:PV#9'%av0CAF~ߑ q#ŲLXl _aۃvie}N=ezIKtI & 1BgpQ`lv;ui[{&^(^ :4d (XO,O7貰(=DkHL*@u2΢[H@'͛ui󰮀@ {E)(Okyl@$TD !!Qio̒dc@֯S>ևQ/v gG@~ȕўdnK䓏\Z4?Z?V#elB89q"dɶ?r ;kiMDbw?._}QGO\:0d(|LDJ8u5j'"`r'0|wvLrWX{0 W!걜RxL؋a Sx=rdC+ǧs2&lQo :kK-ʈIә+oKd|DͻJJG$ jhI@ ueý! ?GA)~yVHˀR.]<bP4qj$րg]3#Ufu4ۺ?wI0|WJ!E4*қ1^8b֢.[YY־(.e {j[t],Mbv)ԾJNUs!? ã1` #YQ=ܨB[a&HDB@ '>۠o yro*YBkbpb%дU~h C8.5'EԂ2/l{ &];-Yipa>޼ ~d 6!Ig($&2$Ec4h=xW$ yf̬S"IfґqQZ@Z]$3@f"=t %d6R6 C.?ϳ SN\2*$/7١ Jy<ۧM]#( 2&HU42Tsv#ㆰQT>CQT'E;@J mTU<vg^ά2b0a*ZO휯J0u+ݑZD zcH߮3tL{hEo炟qur U/Ͻ[+'w1;a(j*Gn`< 4ʂf]`=bmL}HG?h=Q}N62Hn;ff֫F;&=op4Ga&,G!"3weD`; }"ou&<b3 O'1XWP,ZLj$,~K{}~ !@ ?%q7H(0vKqa҆q{i%4fqwg YSQxEmmlǭiBHe]0ro_a+,q#GX%R\dS7ȍK66i r,2Թf,Q rF~VI׹JDاPYŚqI%1~Tl+[yYʱ[ɑ-K';Gsö(|~x,K9#,qH,*O2ap"?][x D/sf$zrJ&2wܖDvG3C\!=QJk1~e>6.[.Y_-1 e=W ֫9>_Tݚ15aĠ^CyO`,&^+Oȸ  w l&T{ѿKCn\Xrm (R*Gm:"ʾ{>sېY> ley)%Hw`HTm?B0aP^hjdaZ0xD,׏o4ڕaCKI9sk.+j1 K] &0dXX`e? YX__ mTqUnՑ"|/A}G6CneqN8r&>T89ULv+ ҃՞ x8L/+kGNO#_H$AW?0`"$.ڦnߙ< DPm&r1 f IB W:ߨI59ɮ9?鰬Տp*4f=U=ްE"1cʫ`:(9'X1-вwk$/uDz3EEh0=t)tP@/rzNh+07UR<9at O o4-vBu=M_%ڝq")k. ,l$<>m2ZFh,lطSBAt]iE~VVœcZOfl 6URcDkFr(t[Gӎ#llr}2Wˁ}R"v$gQ3G+,g<:tilΑm淠h!wT"߽ `Y3_&H^0.x}$dd]C1 ]SĕrG\`.""DޤD>!M2(^ 3@7O mAH%Nxk44T X^{kf,6C8۰7 uYj)$EO-ǯӳ~:)FK\=)IO XP *=BU~%7|IJ2^>5sAߗPu1fY]P*|`_MP(qGUԺ~z[L #. Mb-L]u2&& B4RS7PtVO 4_BUV3 !/㮾"f.{"Td )ޝ oGz(;U01@a_-{sR8ḚB{3T-CwI|/t]] BFf|Mh&TJ܃bW,F0Y)-e47! Q1˶ͥŘoX.$sC}!_HʿL" 0kRU1sMoI{oV#׿5s()E~궴ݖ묫'naNpr# '^TM2"@j[Ht 7glOk rWaxq:8|צfvF*dQ'\Fä**t4$̛A ͘Nh퓼#ONZVxxTq}fn8<#Ȓ jEE ݕ:+GwKw6vR3dr -h "*t5~AH!89E ҡ XךPn k E\L'ρh$HM77Rݏ[t͔+g$6\;Ϋc5iemiRׂQ7hK,IWAw=K l\l.$O)N:Lv Roe3xl݃NVęKoA& #q_`{V^9k=4eٴk\G/36^oXoQ$w">>U%,3R/i.Hy ~eRF((FGW ]xzb4y?:?%ڸ"ؑ8qmNЈf;1gu&Ӿ1x; qz"H̫0fUlrJȻaAAڹY`HMsPHj\nUl*>eŽ<%~{G]ʻB%hS~ey<uA;9>JsWKm5:2vK&~X'1hXwqUFa2<٧cFo5]WH] fh!UMӤDLg3Hs'b#* sKPv9duԵ7`(B%*Oc(H(5GJSQ&*Ѫ[|}E%ёwSkk[ť1 Nb^T/gE{;a~.;Dgѫ@ܦrҫ5| IYM,W}fy!&Yx55⾒NHh^h1ChДHe'|iZgy L X ]^]+PX 3ºџ,w_0ȼ~[>yW~4̲CuPaӛ v;C R-B*LP8ب(شd=WT( PZ}[48X'B`Ƀ+r#%J4Ge7Mm8CpSBpu$/0H+2S=I'#Ͻ:Iٱ)GJ Vm}*hM, 7Rg8@™ FO GG U֏|^oRr"岥sqڌЗ*lT:}Tr!l6nwIky'^T>Wb zxJ,ۃ7s^!o1jNM~Hh)Yz}y q!h*2}EZ~Cb&`X&t7pnôD_>w|JT>y<)R>Hj}֕&M/g'vYKվ19ٔ v?Mr{_޺i=UKmMo.lNlpܳZr'?Ѕ"1$ZU.-6(<)}s}twEؒ0z.4 S Fn؀ESޭ[e;@*Ij k'[xx>"RxaTE5h4f`Bt%"cG) N H7WNrbXpЮ~iO]W}y^X"u(UDidQN9/ѭCԴLPf GOb~V_b3zB2h:,U5DKۿ16z(Lu'C. oDLJNta;/w;{x7ߣ,}R({Sί*E2MG ا(|:y򋿊 !Y)q+a. k9z/kGr5 5gljwb1 %xFMU?d\'F,+w$~nJAt[@q3= ٢P[E= Ѫ_&R t\!6o_N1Jqy XztBslu 9kM0,E0|,L m`z`[Ýqëƹ䧱jx|8 t#CdptcTj@-U:Ƕ R?D*AN^&'.ViHI#vu (; vuů=/,!_!|/q๗W9,cͲS mZ +aj>§Qr+d |U+OSJP%;.OQO#^ۅ?ua!Fgca‚&iތ-Z:4]lP 5暶Xrs|UP U@V9,pp.j*W4Hխ3oQoE>2zop;EB=YÙ;iv,$^mLk{08z\TLdF7\8t~Û4o+vy0Y!@2uE]),S+Bf 6Z#bY$ipީPi;V!h9_asz~ oQ!`džëCVP=#DbVYi |#OߗoK9 ~I~ړo3A*+S:M␩@C8;]lГ0SP0~}vr!0c\B@1*A Fs8Wϯxu5Tq $u&끕;U3: %<4 ̤Jzx꽎l0Fe!.X3HpayV!G<$ήrK$St\pɐN}$EnJ@}vxJC]~U@%ߞg;ϑ t(1B :47,hF>fHO$`2PqD*Oy'l/Yb.SK~oEB&Fkyr+h.^۰{G8yKdNMbZ 2z+IAc^,~\U'ղed\/DQzd=tA-* hKQw)TY`&֭B \Baz5v0 2d3\|h!~z*8z "Ч V'o.F K#uLZggn$@h;)#y&^Ӂ%v-VFr?)83.83Pǐ TBlKpŌ٦gD@&]4Aʷ#bDZ"cp?æ+Erڧ #h|=޲h]ˍ7V~/Χמ&3wPZ|4԰ \ink"ÅM8D(a,+5lU.{Ik>0{`6#)MYrgAg,523XTq/CZTpv$Ɣш !?Phq5 z FʼnKJިu1m?\pOs]G3C!-kۆzj͎j!{9%0hC2jR&^9RKQsg9D`~TZE\v$lJ3l9A~n1 ̝x @8rhT%~nZg'NE50W9>P ) 1e V b-Iq5hv߲djL-T.i%`pŜ؎YeSe LD&5 m$mee)[e١޶G]ͣV؜!=2 #]u?-kkU|{~M~htv3^mcb)y\-5ErAm{1zK2GfAf..֡ 14)zmJI fq\* ^=I_7hH׷w ^ 3QW(tILK<-!t2sy?Vְ~%-87i{$q_ߖ;:@x7U w%3)Wu%2qs~#ʂMuz :HԐXw+W] qJU{bĘkTy"h!V3 |DVM "HIsOguɒN%d:"naߤ ^×RJS{dʖl#CI "}Ws/+% 5^V(a،JWU71[tE~`uf"J dd7cUǬ"Bq8IX>u(]6FLW;Ol!]eHD2FXag!Ka$'z}%I*&"8n@LrjnF:+ f;쓖ϕv΋. W;Q `o#YM,砉GlkYc`?ı i=EX]ȴ Eę%A笌bs,+0L%V1D:I=kzBVR.Hxu5^HqR3)AG;jk0K|7 \ ّ\kQ=) q.kPɩky  +*)>gCr;.m bsB 1QX c^u]nJe5hdIk( χB*=_\,Ohx-ZFw(ciە{ӁbZp2)qQE„ICǮV';:a^]s!5TRc'zyĘ7O \kᙷB S'.vEK)ko+`g.LwS x}VA1*__x Xeke3a`4DTҠNfך-VT6] 8^T:C[{3# Wq& ;ܾo{G cdItg}("&..b€?gGm)k& mBN>+>oχI&1/7QX2:}sV`(F RP G@bf)D W(VQ} ŊjNηpi>,򶟪MV*^ӅABd*wo{0RھɱGPr(: ’w *庹fX56brb*[죓3vtž-id瑱?&|N"I YD, o/7 ~ Q$>%wƌauzdR:f0e12e_r, \ffۉzy.w_inpQI#@'{@#Ď I/Nsp>3}pWdkM[#eӕɭ+`3׉[- ;WN)qy𙴭Xrp䚠b']‡zPatJZ7ĭ+)¼,+wI|>uuI<;MC剿g0Vs* wyv*4h{RdًAdG=]᫵Uc~Ҟ7k*["v !n¶DBwhq0% ﯃BXwֈ@f?ȇ‚M>HCaׁM'#%w,yUڰ"E#c|߮5VE!Mq9X|!$6^AX9jm"x&e} aw/as@3u5+[b-|WOiuwf~?aqkR ֣o2Pp x (DDn_J&V% )3l< }]_h1_Fw \ACA?q|?6qG!N'&bA94Xgl5)XIXڲ>>w$yط ;Ϥ-+/;DkhxCs*XYބ ,玏\KQU޹F7)tM/roZ`?OfDb}(‰0VAmwVȞ'aseE~Ug<Mf&Ց46I.-Umlf-n:*NwX ޕ OD-B"麳dW 9qIB60>Tna &?A"2D[xw]RV"3|R^yNJ#QbpYeZ֣KzM$OefJ6nU;xL+ ?~*uaȆc^6W05p%~'S;wIeZ$LP%S@OfZz:Ny@X.Z:/#S{oZazB=݄=k6ƬSeI+gE-$e)9Wm {0B 1nkS&2@,/ <-'(4l EMwne_~| s#bԌ1L4365 f҄"#O SAIku(} ٘=HEO:e):Sam fgx ?Hf ]junIqV?M&)P*+6ljeW3ExPXJﭢXrojUt:ogh""#'4/oJ.T7׸O6 y#.QM+͏V?SIAe1(@. @5/60Ba.>nA@HscVm$۩R[,, ^ɯP-Ĺk[|K&(v"]>mv 8Nu :)$NBlۙچwzbr?fDŽ0~eaA)LsRb&5|H7؞hɢk7.Uu)c'(~M2=lvM); '`G9 4׊^s=3m qYmֆij/.1 M9Y:~4r1~^ۗ8(r`uR9 K 4B*[ԔCL93DIfwd |@zS;3E4 XNVMĊYZhrjDUF[ .X:0Zb%o0 +d5 |(M1ӕn1,N4=d'-5kOwuT'O/eۥ#܆(7-e݌4PEJF i!<9$MH>kk3il_b!W.|Pե귎 CoN6{^S3,p_;hx O.e`YKT8LRCb .. s8q.fskI;6ɍLN\cD]D`cR4B>A%s j|DE4_R-" $7I}K`TyKI' P˦ձ>sZڴd>_ǻfg:I .Yڔ]&]Xv+¿n:/=b[hxG C2cY%:M9Ahi='9]HIaD6!Qo~&u &(Joet4G6ipu3,v%RǟDTMaD"*Ȋ%-$OxX߂a^Xk_z7~Xڼzrb0hHMɏ}9_ݦl[3ڔlu/'#| 丨V=i,H`tN> v^g׳RRovbƹ4k+j)ozw밋6 utzKC3lVrҷrݹ) fD\gBf=TRC˨S.i9tj/@ӣ# !\uycD?jEiWox חdn _[`H1ᅧ16M#siErdŅn}|EZۇ݅,Hs&,رO U0 6\V; A,(m*P pnEPx;DUT\V2P[UY`~j:M(q(.IGaB,˪Ut>p.3E մ8f-XkY5cG3MRK;&1[z!*t7pN Ky@y۲i+gHȂ)AS({yVNcH5A245 #`fKxa|h44q0f0ԯ^]v_O.E݂ Tճ"HvQ}|pKI|,Uk~Ʃ+1#̩W0mȪЫR㋆O=m3&)E ?~7=%]b-VxߏwJölK/Ԋc> PSR; D8xFHL*tj)ggh^ޠ}tF/PsgBQ7C='ænė6oDR Y^ٮ5JVQT ]A N+mDP~}̹M0Aѱ)hXO޻(apSܝ-($K4MthA\ԝq&c' p6bTPW{wGH٥ *AE55.'ܗ/}IȌ!ӺUKbTr}&3kU1g <2j 5uH7X"l),s*4;8\|(ր@bC5&̹u6Ն)en)hN_蹝AH 3^%("OR 8:qRUez*\AP#އAíiɨ(@h$7$rA/kl:a=Bb<K`<kVt{rȍݼz~F3եy#ځR0j:*a1V ́^fʟv$Z-q:ιTzX1qDP#M=f^r[Mw[=DH^+JA.>Zt3 rh}8< NRh4kiGIA|i <61, ?ʊG!KNlP Y/ikB{SZ|?ޠG^F(bLEkh+@8@̟,ٖ";2ҔHAˎboTĈtd\Vi7a00^Rm1f x7挭"l.pwG(FhX"B8P `'!֡meZYAKmA1X-Ə8.reuc#n0)cqVU7dۭrՍ>Οɒ8We̦d]Oɴ_<ЖgP,ܤj*ѪXp͞M>= &0/8+G)au~ki6CLMVϖ@hpi#pzm?zoH 'Qsq}JUI)-34]iet.釔ok`$6 OL&8b CZWE{EA%Op2$a~8k$@K.H^XCj9H ;]=X+T_ŕ˩=(G|"f[W5+,9w ]XghMA8-4, TUEQn'P r"#x):k13$7qqu䛺Ais}CUI5aVCKԫt|*J`#y(5Ydf"Cԉ3׈. ȞUwɌk9SmxU|.6ݦr،۩~ ~s j"z^AOkBa F=,&н <R /Sd(neN^ydK "VE5-fհ" BF(gLd:b܊xee>-?CotZp/ Mx-T*H &/W~g(ngtyp ̄8q g^+# ^dp Hq/-:2cs!n37G#϶r.:Has.U9yObiDO}WqŔSO1p< 6*q]d3F|VQF3φ/"S& o^$>Hm`~l9_^fy6)dn\#C6ܛ1V2C[#hyqiY0,4"xT;W\J,^멳+TFL|~Hc /L/ԫ 쟧&C.x[>Z=zJTcx W።*B e{dtN*;B@4.G oYxw_u)6(gmJ0Jinԝpc鴜P+RP -pwLltٮQZG.nff #_>~xaDXACH~&3| Ŀ( [StmG|3E=m-oi>wmL6T<bqXuu^v*6?yI Vn=rT㖴!+UySbnbuu[;u IlxQQ"\ޠX-e1(CY.V xwlʔyLV)epj63E7SpT O_~C4M{isZRm0ukXJlLCDPybP)K!RƷϔ/6I*N#G$zo)*7^_G_>ȟ0Bo"`m%t;"\wǏ{jNnZ=FK 98ef e|fi7#)9:|r=:d`Q`An KKd&M.|!kN@_<8GdόzLIhtX8S҉}='iE^%Xxڕc{@'G9кĔ3w3sFM9]G!泣m@q .UDS?ErE`IKz3+lEu'mW$hi6Df%*UJ & !1' bнT3b=$oKIǻaID Qp6ڪ'n"\Ę6_+`agB4 MPکQV;$Դn42=Wno<_|>޵CILcX$zRg]ƺB3,r+Fi:_dAuExw?]ڳ6{q9Ȍ{XZqTJl-mE@%11W *- rT ;ig☮濈`D[6 sޑYY4)kSܲ/F1iGboB,?Sxv#.^42-^|cƪG;VBΑɦQE CbAX '^_3Tأ@W[zפ:Z`11\ܟ2 8uxoFLhsftcwnmГz!TNϗ|p>ApU`lgUbI<>`Mn~2b_𑱽2^wHhyYk@e}AQ]PH8:/_*ltħ$wнjbChL/#Qf\)KPYlj E@p%},в1F5FnRQ5 ¡$t2v޼2@Y#(!t0Yn[ÕɓINuQ9龺fVc- ĭQJwm@4k4e?BwuHB /U g M۸B2ԯE0}4f"iʏAz= JNny;3 LiF`!\̽N?c:B,eh x$(+F]hދQfz eMmP%1lCk<( -* _Hp8*MwV& f] Tڨyb"$֑ಞˠxS)$8Va+K4T^iy/9^Vil$k>"Jfz; s {d\Xc0HNYea)Ci(KLk7%j +vU;9uA֑RAnəN㈉60%6k|D%>k4JYQqrC9%Hۯz&~xZgLdD(0ZAH'\;I0)#&\y-fm,fTPx5q A ~EW'иCGӗ7Mzč&Lmv !Bv-; ⏶lT i${K5[ 9Y%mb` 4\IA< OtVDNYLAYkA=s/O!*fMT@8K .sU!Hw'ҁm+5jȸE0-]ͲmfBYu'HR"eJINAL&ME:hzlW /G^u[H) 剚B#ul'/ Og7"H( iI^t3[z˃αGL+؀L6*Vk)}hJ=Lɲ o 157\]sou*#ƚ+40 u0:y(3>/V>]. 䐹0q\p/!p;LGVgtvR'^iB`Y>OK1Sy\@5zԾFYXZ>UNy(et.Md`V]D?!, OaQ}BG׺E y`wBOtF0."tsl7sH zB^RV:u>Ğ9BZ1pPAޙ3AbT@ZX?U]r2@d$U ӌdk}? ]dTRiIS{PRwZ`;"z 5daJ$|q־k9`7V"FlpqnAmVuκ6CˀGyf1yJt"|h,%+p$Stdv}a$o7:&`H]~uۨ~(&ۊ:)Eb0te0QLne%d}Ђ+~f4PDX=- 2&YCQ+aFf١rz&KKZoq}<#dt))4V[h> 3m'rTxudy0buS4-AyJw`vɎL?zIrs Nb΢٢b; kaa{GS*i4 $ r7]Fiufb _6p5>Z.#.)d.QHT3ci%T7rM*ٱʉqY& JpEBrt+O _PL2?DLkXƹ×Bӑ,{C]Qd_/G2m76o,hceƟ875Bf8䘫Vޏ~J:bW}; J0R944gҀ^PBK䣷d)'щT_f4{>m,.7] @(#+|5d<7 rP}kXenVD`1^ɺbgX#8]p-7z3rXrPc_{x{0gn}Ľ3ԃ}M8F+RG_{uBk4X>jv_{J?z}RgQ?%`[%4[ˢ7 L{L%f*W3<+Ԍ|tR'(dX/ Oe, bTƒ_ k[o4u\:&3*'\5%raKe>xpcR1n r0gƃsׯb*v-XC&oR6> )RE̻ߛ]q{JK+H2;S52jUJ49Z5DŽ֑F@ ¶d*V"L# o8>n$WvL\["6aE}PN qO>-\8e*1 mF# uժH*-M nbMǪ%oH?vZ= jTinDrz6_RWP_oY[H&|' '_amHW9r3Ŗ\ڎ0讚Uާ{|V&~5S0>%SQW׻!|]@v6{:}X ijgtTb:~CUtyb۠հryT:#1'2:09RLǯʻl3g݊9>9a {K,Ă~w"de~Z&'!|݊ͨ]//c@l&AZ>ǡ ⩊hqN)pkf&5"[þy_9zVz$f=ubYQ)M  hC^EꤜV2P8Նsd9dV .@ĩl>=2o6taŶE`""IQ?Fai2Q\!ף@+l'8:PCS9d`v:kWV3,3II,}o}sѱť? .ކP6H@{}5<*V'b{{_7#0VhaY_)K+i]w&1a|Aor6;Os.m\T*$v-ms[W%:f3&&#ûń{dmco S8}Úlv]^. *awD}(<2޷dH#C Y=/SnC:h3o1F%s5-eF;XP-zvrE|i\; Gf# W&;ggfJݿQ0x^$zi]Oo | * 5ne>DxZDpY6ȁ_ s#>dK^!3d/LXmcsޛ Y{nToZ:;CPaÖi|䞜%BU}&V2fhUd̅QC*4%}.uY$qmS~/7wO؇[&76,սN+%W6rXYi+7_o %x)3*u=|zH_² ,ii)$? N wl}|H꾴;2T;=S9D2-e l28idF:f?KiN }z_/+"Z{$$a Z31Aeʘ}\&f* 4 Ƶiv O"a+'bAWr}f$or OÖ)/H .[wsY!=%N1Pǣ]W (G&._s]6#ڰ&EbbC$[I1)Sptj6Bm|;/~'UTwȲOtc-)BYxmn c8Mz~IANjKAʡ; ###Tᔪ٦Z%M[Lϓjg!qylkH'6d]4 UA* aDb}x2} B">c2kybG?cPq# պI3:| 9ЖU bO|umJa.' =O^ʃǩ I[©˶FZTq@R_P|80KwЊ76jɧKUU:{4B<.tnG+lWKa^Q2UոJpA*77;;!?^;͒cAWTv:ש]Q3k|MIXjs(A}$}4`T`t& Z{G/׆/Ѵa7l S }pOo#FHW$/Z]ξ -2X]WtsU}{]os }bk6M,8|i3a13:΁3&6гU}qi?S lbR#@@`-|Kpx*8-!-G{AQjVgscYsѧj*}4 1n`]dΆx$U; F2= PYq@"4BWEfFUҝD͝l[D>p hHJ%CvG Mdu3=J2v|J+͇`R.\: b 2C% YGD[|57X;H5kHKN|;Sw5@ txB `=Q!N } xb+:NdPQ AY35QR!dÁ=۱F/)hz >߱9L~ߣ#*;տ#tyȎeI]\P9Z+.}09_PjegN#6x fPءQV@~?++r_bl`MAFzC՟u7\X薶Bj&v8I / 3D()pٶlgRǺ!:0_`"|ҋhU;e@/7ta}pTF߯pYzqB))t&Uc8W`bB|k_O3d&.hE|(t5sճdwuhś 7Tctw@^y7<̎ꃂR{ǾTZ4dE))1ZFt\p(pܱ#~坛1S&qoXDd\+CEt>;HvNJ}+޶ςfksdKu&V^+ZPutO_-# (Ch=m.Iu1UG\emCt[MpY?vS ]mZkW{Gtm?Ruo"@6EyN*:MB{_@JB_"[K0ZŎ,bgon([hœ<'%lia@ jx=^Awd1)q ZZj\L T Jcчc Nղ+eׅPQ%IMf**c}j_!s}7Fie/Т%PnfŠu~J|IR vI,-<',OprGCL:Q>곶rP,~ZGMc].lT;E 3nSR4OeS\o1E"=Y&/2[ߖ7]BPk<䌇$S2 @EDR#"`N騹h>M{vչ 췥FǝaQOZdpd`AR/9& [;K\I3%qS4 K\tU2/q,yhŁ?EvOu_m*:*Iī5÷zt'F!gbqsڐ MQ~JQ~xRN]sk=CjK,P4.?u8 :TmW9KyBMSgP7 `L¤|z`nY J }3M7HŖ;3UJ,0CN*N#Da"'Sk}tʠy4֯G~X= 1…Y^+R+QVB 3&<9S-#>ݎFa Ml,/!B\֐\'aKDWi;}܂:GxsiAah]|0G՜kk1؇?LVD'I|65ŗLi^:Ci . +=#sgR >bzcV_[NaS+pE~V3A9myY RwiOǛd |0Σ"#/hڝϏ]2je934{B*W:>DT6+DRP:CֵD "2,p6AB_OE|8;`D3fNb̀3Jj/ h9ReI{|gj]׬2Uz#%zoh5]- ,Pԩ$=lGF*d;l;:d8c<~+zy.m/)ϕ̼"Loaߩ%7vLwwr}NF~@b ɿW;ͣH^b<`׽8e/){t<_n6n2U"‹reNrk9ɗH-rsV@Բ;/E]G:ր'ͨZ?z5y*HQa? OBoQ::rn9߮&DD_sJo?RB`fΉQqU0[H|\:A$wF<@ wW+֨U[vxdZe60~*'=f򾸍DG)H]2| }( v J th뇘r(c6zzY1uyHXkBn1)аx0t,̸72C$ssf8 j)7aFp@h rn-jhV(rW)!?::P[P6A>?Y^ tH54M#hc 'A7{.BfN"C!7 CJ6+6',MB\XYѵW(bYwe*L)AbRZc擙պgDQVP%;qG*C|W`|{i,"[ $pou_V?G62[+_v:ى3; k:L+|YG.;sV)׵%EChˬT&I(]u=P?j#0Z첿@CmFm+ [o16z"%5a褼CVM"7׏AN+ud xuu/r<*UXA9C#ve1DeY7`I<LMǞ-,uMNj˳v,=tJgQ=|F8tkaF5e#V&̍m.;&˾Tyh3. ִ{ qy%}Ex2)q_zlISOsg%&&h=gpGFjU+?қk8#.q3q()zUIZU-CVI u;kP( [x? gxmEA~/Z9F < hS#|K 9`Ff˭.t,L>:X^vYas (7|Ĥ>G೾N $:PR#p] q6r6wzۻ$ MWMɱe '?;eJժ0Nt Ba3(~1E˫GbrZ{FخRٲ[\4_㚄lN6VGY=W̃'NC$saE5Gp34iI*i oB*@H1Ȣ AwYpѻ{,75]5.c-Ap+; ̊Ph@ܘ$WB, Jx"YF\x UyfvAh, ͎yqӶMF54z-Ff~3Bґ;OkT V_hO嶏S92p? -h=B ErJL:VE9Ɗ,*aXd.+ae i2#&Qlf@L2'c/dBSgDO+'!$Ff|CJϓ'S= 0 >>sWmAp`/3&禺`nua?yƓSd_+`gYZ019ba91e53f6e3aa5c41cbd26c7ed2aecad3951b 0271c312c521be4e7e246b14fb2f615afec2e650 0541b5559a089d3237d7b9f900f581530bbed23c 0d7b9687567081fa309a01ed277eff22bb9057a8 0dc3aa164c57aa09b9c88ffc0e8fcc2c690f20f3 14626b439ab583b4637a9c0af4188b7cd6eceb38 194f201eff447c986a020e6d144b709875c3e755 1b82e829f446fba63a3fca6a2a7a703ffc348ff2 1e3e6c7f1d4da7b43f3349346e1c66a9f8421065 211bba7cb8c935236ec0e345fedf6d6819f44187 2728ffa8194fe9afab344d37ec9f610877a31680 29a2697588b95f2bd64dc34acfb8619173ebe02f 365c8caabc302fed3ff9ee8febcbe644f4374d8d 389a3710aad0802ffe000804ccef85c27e7fda58 3fb8967b43639d4ceecad41f67bb3acc82980ad7 440878ca6799b6d283fd8db3f2f099f7dc240405 479706d7608e6fd92a5457f0c8901cd1d5132bb1 4868c60cc9a38c6dd54c906b398ba6f506508e35 48a0c17be2460248567820d08bac964fe2ea0bdb 4923965c750e810722b90045bc20f7498fdc5d8d 4b913409a9844cf9411f8181b2557fc300895ee3 4c9503414b3f62a492bc79aa9dca9244191e6269 4e8ceaa35e3e959e7944bf93dc054bde4f6f20c1 59c83a30c81aa961bf42e9dfc060fcb09877a25c 6c9b22d450ab29d38ca0844bdb4a891d6134fcb2 7ebd8c939b6ef34a72bee209000472f8a3d014cf 83c65e1fbba8db83a87c088079dc69849ec9d821 8d50cda3d9b7107bd63092e12948f91afb5bc5f3 995f8eab5d3e36b2e4af870bad76f96f9cdc494e 9ea6cbdf40547a8e4c1aa74603bd4e67b5136570 a13771694d398fbbc62f42a515cfe83502dbcbc3 b33ef40bf715dd1395f9c3b765f97ff00f588f60 b699208cb07be2c6fe469afbfb915c70cb65f38c c2b256f209d18fb78818ee60ebfe1ff13294fc9b c51aa4b27da6d6dfeb47a20cbe58836cf3d25a8b c53506a7dcd93fb440f1e92f1b53e0a1fc342179 d27a6a07ed173eff356772517e5c0c762337d7c6 e527a6a656e3bed29db6ac70d49fcf9e0a5b61e2 e5dff27fc80c2f1d54eaa7fbd9570ef0a4f19421 e925e55e9b48813dd04f8edb4526c348c6397946 f2158a61fdf6d3f2dce77d56344a5100f417da0e f45ffcde12d884cf07cb6ac925da4d42775c3456 f6bb88521115dcb4dbb525490caf3fa89564a77d f90867503e261262de94495be98857e11b694c15 fddad9a6043469746c9df68c899c6d620c31003cc7c621c8c679c6f81c939be460dee2fbe4c459ff d97c8eeab5366846f6d9647d2a5501999e294803 ca57ef1b446e14ab305bac96ebb43b476d3520da 9d8e4f14970cb7fd473be8c530808a4db97fd27dbfb8102bad4dd0735cfeb5dacb0ff0430397cc29