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  F F%<,, ]S]HOL-Analysis:threads=6elapsed=269.453cpu=1159.912gc=70.952factor=4.307zXZִF! ݹ;W]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{ }yʫ%i,N8m=.Ŕ%`tx~6)MpUUPۦQHyL&81{UJtѿo^}c=ncgkgWzaI]33Q6xr5\F'd$:\,!6>vm!ux8W>YdOי[E#K DQ"8.!d4VzqmEݶU[CWi~t 'ѻFd!lԷfeWf\e=QjֶH5?B7`bBZëW3T!o3sq8O-?S*ܛlǀrf5 0_x[^PEvy F%ݨ͘^ 1i Lw)>$Y^mk"YdZD{^ssWC"_׸G3ax>i>J#>,#?aFȩRAxPG;15ZJs7 /gʥ״~mtumc PyCwP/5k/¸>m#4w#^PY % HOL-AnalysisXF݂Cչ|p9?,'%?Ƃ\cɊA}\OOÂN $eoR7xӃ>zؒ<4ߥI8Oʢ%*V czT)ՆcӇ Ht qaz ՄYz7  `[gĿu'Fltox0[o!JEY[G&!)ĭSGJbev,ru>LT6صb`D>}Ny3 '>Ѐ2&j-sЧ1t pqJ0D&RSp\MBEP T<GSZW`]]J{L |3'{8G\&>{P$Ue3SX̉?Uo}zGU^"^mtG}.e9pnAg[sA }/GJ?,]'{*u4S'jbJM&NN>)9د%@` :D4X5#tsU ۘ³ku[P,kHFj`DRHkC1 _p spSTc7z (hӵOQ3Q'2֪B&*1:o~d]ʱĖͶAFͦvef/HS-ٝ}>:GEiw4/su8q#Aj(#F#^/uv:EP6?+"|Y;Îu E&p o-[t5HX i1|/EH}ct vvkFOyvsR421(a9Uv:k{s$40J@ށEZyT A]M0 D+oy)Ւ@9%0[Ў,LĤ(i9sWB!y j6j´[Ӭnz_@R%,NϏ$Qp>IY@xJ}i\q`ynycLr,EO@#?%Z\v[L~GC* 8\: "WQڈ d!g^Xk _Y_qq_VU"r?9JE+}QܗSk)x`еbW~"rխn>#6 Ʈ}[_ez3˙ᫀ p;1N-6K]ΆԊjoz{}:wF~SOZӇ`ɝb(:4d-/{]B~xc9:kJ:30;k}:Ɖj^}zhs t+gHX Nj$ ӽ6ZQLíVם²?$9%( @> ADJH%ٟ/HZ^ͺB;Q%`!pʲ8 е%D+<5ّAQg. ch}ilp-gw@tMϔG況ew]!6KEnFM.u{F6.eRʢ)fI) .y y(J zke6Z4[Cpad]!5r."<+z| ܊!-`ִ) W"0pg-Q{s^bqkb?CKjEo+J0/kn'ƂR# ۜr<#hlZ =:hNY74G HCjFEܰCM`!T9+#-LJ}^F"#?4xbd"v`hK7uK elX[eCMnkpVȴAPZl)JzNی-_ xa~N şRjr*'R4tYh̫j].,HZ"& nY_< OY MGObTl8 jߕg2=EG-E~)w,3")~ g3/<,,J@{'PkJq?ac[aIKcԑʖ=,ㇸlJ̔PF>H+` o??0TΏyx( Uv7Ͽ%`8.QzD.M )ҌIl<{DF3UIWN68%fwh0 OrTp, 0!̓Ko]W '}rv]@qyv jeQdz N|2+~Z:4"3C^cpO>zǮ4E>P@+O@*y voEzy爄yM>Hڣy.T%h? `[. PCmA &u .|u| ʡ#iVxSMa+c=+ݍ"z j(O[X%9D^mu8=)}D~#>)sȬ7+pwie "'xOQ~;BHpÊ{[qog1Wp:@Ǿ-cT %֎TD0_ HHU)y]ȧ]q~?2lNhO'GEҟ~|6vK԰{UB{ 86)9UCz}&ȻWW^9īՃdǗ̈pevV+N'Hk?3[}>_2e]_D PŠWJ~*; }Q:(Eqx^93Bꚳ%Mʩ{>qO!2)j/l)6\,]̂}946|9:wҳ3]ĹFP61835-rz4Ɠa~'UnJzDwy'lh- I:6ʼULT״iF4'YAi]>TanW_. NjѠȳV|*vٲ 7K8y.)Q.tHBi1DS'*@jTgA_T|tlk}ɚ'}zL# *A8b]rcХLˈ _ߨNv 8z1%L|y3U\B ųw:do 2vzjB;垯J&˲LE_ym$*#. 8Jmؚq|-*..M5$Z@C%8]+1Eq>49@C| 7Ւ{' =Zu/q pVfQw]Jc`%5<7<Ҡ ]岥4 ,-0 )Waǟ~چ$CF1UxT)G+ق0GD()]= UWch_Ic4->Nװ<D27~h9nJaCObtoS [?P-Ӈgeڸ%ЋiC)<n7,۲̉ `b*5aQw45/ 65xeqM)2 /!"t0F3o?idiĊ( ޛ6[c6i؀OSlrnUhZNlx[#oK0X[փEnE2\. '@[ WNTq`ڥMR46#A4 ]oΚSVD}G+٘߼v3jeEYT:۴L{S*[.HޅKn{p@rI!JW}R+",3H } VwCh>V`bRF'w0L], vpLxFXFvU{*dG#: 9ɍ]q(919YҖ|Tm?ǻR6=PxB[g4K>Iؗ0\P 5^yئ2f#,O!c(PoO8Z|եHXYzI?hwƝKry@?NL~rh!m CBOkyv=9)4BAڟ98~<5-.ƻA:eg."0Nl8P~ċї{$P]c7hYQR%LUȩ&]:!(ڬyr4)項 O=MȤAظ?k?pBdڎD26H4Q~s5V RdIV'𐾒)zIK*,q|57L}' ݪv='eC5hZ5mCQIw]oW 5v;A@hL#[ ]ɶE<&9S|2'U8 t$4d^06DmQm5Օt/ tׁj~q3Y6f&ti$* mϛ6"sjedTGmo/-s7^e.CTܟ{m$>Y_?u$=pi'~2*:<D|Āp=%g,G=d$̀Ze6~Z{uJ2 1ŤW9!D , &_޴NB彼.;⍚}GKh`R*ez]ifT(Oل#~*pW0:"^nѭxW,^  nc@U g@ٸZ֔ەc%-S\Z%r)7,T^v8 bΫ8O:D x f 'd6%&#H.C,zoT4z*)ƅ1/KS KC* -,poz tvc67Pf;}~5L(-TW:P`M NѢ 野gDC?"‡Hldd;%e{q nצ\i,PZ o:p3 ZlFg " F&$?7"x k9ҹe1.[๒)}-pzDR$(@[% *_O.[- O PA p|B_ @B~X@ 6:8e˳YW쮣ٙ;M|g zՏ(JF >/<ۢ&Y&n% eG!.Fkn4G5ճ-ч N$}h\}ql<C$k L~l^hGaϻ4yF5+3LJXfC7[Usshc9 w '~-lvѴ$hwF eAv#Ǩav0]e%ΈY C_6H+O[U!(izXԎ1L~:-氛v TLV͗bbY Te5hq,LM`4%u O%8JC-tZ:8Ժ9&cOK^ Ђƪ٦ӥֻn;(x/#|E$gaF#S*"kOm}x d=m|:(BrBOc/PH"i5(]@‰\K&B$&2 ;ncYu-V-iHMt.J7ȨCJiH#f$Ec&<ŦEQ|X2߯Glo(q@&j8rikQQP̀oﭹ֨6ty">Uk^DN ;(bϿۀ)}I16Dq%,8Vq Pxi[͙iIg2)%DJ_O O-6jˠ6'غzމrmCEjٞR˯ι [t8C/w(k%+1ҤO}eX1uK9#$Τ"qلVhҽxi\a "CDj}˔X#Ƨf4s1;55Ց0~KVQ "s(GYNȔN)pP.gq?3lG.&v=e5lƇ{K9#OΜrvu#/@=M23P1cd~"U}O?Teʤ>I@aHֆlСAd|CdSQIn>O)7y[ao:owjҹaUбn7_\r@C[xLLtlKDOFiMXvg=hŕV6̔ np^D3ubzhuy#L]),"scl#= {/Hm&v$@FlLNOYX`@ü\A}w{q[{ujj !WI7xM~c0iI  KRܸy`s4;_*4%/4~~%kqV^@RztV1iSzޚ"Qxǹ2glv. MJX-ն7,aՆ23.2DOXuf2t+;>C:2;EL=m`l&1|P (=} +evڟR:f-) oM|3ڑpOGpn,,MÌ6aH0t{_1A@XbdflG`XFS@u9$O=m+(g@(CUڴ'e6)GVȆ!_hJK̓4į1]kc@ߩjx;݂ ,2-|3 6~5yC"Ȟa!L3JȍOptFךD1 #tQyJ~RU$H2e宧uIخ]AP2fCuaМʖ_u 1Jz$qܗ<.~% =}-UI$ze'}hṂ̣.=%B~_[BQ /svŸ;޺*!8=ϐSkH̸9L"jMI[%DZǪƳ+b9T͛z[^-ieSEF$oC3u6cѕܼ#iž<^gaBJ@O92(HMlsj&"cx}BZf8ai-X2t\PYt~gȈ .}5u\j:t\jm?k`@vXek=R MDZ8ѵ'##W(sO|?k*K84O'kwMhUUN7_\RjMn`oWA*F6 EO}*6[-^.Ӎ@;j2P  "g;j65#Sv -F_Z*Z# &1BK aIJMPh},14 iRaqiz6 VMPG *N׎Tal44?x-NN,d-b,"T@.>z`!zÄwtc,l }#sGbV' MXl!iפQ̒W?|_4y6XUfJ[$7`o?G#AtO#+YG lvsdEnzBIMj4a9$7 -3!_"J]瘳}w E"w/g.}Os;XԠj͕]/ԢVvz{x:ҠɍbIl‹3Pe3!ȡvr_EB t>'ݤqSf3`&`a=؄IA:loe̜I`]&JM9oLK {*|\R $-Km\v(wA[X ȥ޲[ms .φ]+:4]ǐީd aW4؅$%%w|KV ˳ӯsf]@8M;iKmLl?q3:!WsdQ hD+lu"MEæ)&P"Z`}W]@bNMI aJo[_ʹWy _6×9@I6jvC)prT" mv놁~ QZnR `V;SJgS\ԭXYx[ی VIvmf+i"jGfrNE(y<c Z~?d[?^B~0TX.u _@m&YEF &d\reef \D0݌O/LVF38iaEHw[ KS0M|Y<ԏCRrҽ}38՚. Vjiϒ@m`8㔂D\wx:Dܴ#`^twD?^1DzsS8?oURjnMٍd"?C_#I8|qizR 0f &TݑL(=Mϫ8pĮb\/t鋚y%G6?uw俊-b:LȂ6 e+.RDT# p P ׵a@J¾U@!8W|FY&Mo2uPy J1!L (+vgg[ go%jgM*^p!|ocVIOTWk >A UݞjiGϮhzoC0$b;Z/ʥ9ߔb{R~NけQ'qZS\䦠__;BzSh1Ȁd}4ۮ*t6tLa٫Tl{! Н"-*wO*w8Dq9_n`",AOr:3 [@~kz>[v ~gYZ7zXZִF! ]ŗXiɟ1 xupl[XrJ>P9qt]9G{pյ_ ~]R۵T\kVS`t_eMpo>q&<ۍYUVHRZdY"\=N0!ҡK_;;ENgRRdSa2% 1i<o3mTt3B%ǎ[l+SC[9Mߟbod 3ޠr.*f_`r"1u3J6O >*SRۏNTc{}{L!nrXt -dRxhx.*!S8փB/$s90bSYg 1=+9B ̪%Dzt&1p ȅѲ}./LdSiY<!`D*t_V9j K@w/ 瘜[JF%r!94Q猧p[ 31)q1//]v&,sݙ&n`֏\0ь$ƋU~D9ܥԸFm}5r-Zi\X{uO!:lXK݌[K!)0vSmXdhM4- dj,,[ǵ|jC|]q"}MimՔg[Al3U. "l7[>3%G!TМ n {TɻJ"W{2tH'(r,#jEߒٞ(!ygY_~އ^g[, oE,+62lbbl0%"6K@kfKcm02lCϦ#P]"!{@/oMuP ?SGz-LKsj+~ړei_&駜!'sJcU`A r`D|K_ ;G#HnrZ<=v=!:KIm-JMJ^ӟn\?B+6N"|TJlG8Qp12ѡ~T_lȒkr8_4ΊM`U(ah::P6JMG!/SʉfAr |ߟy̬~>^qБz-W*)qw2t*uy}#5uG]p$%leTaT9M&V<0~@u}`,ϢdP8[(z>L.pnVi逆!8JKr=56Bz{ hUN)DJi߉N+cD2F"ʓR&Juhx<6wSqQ{@qg(G7P=i](JA)"qyA>k2 @='BON9/pm^Լsw 55/9FUq;b.T+3}KB?j{&}0[QBƾ(\~>-$h6RlOa: [wU@B|X. +~Y=*Z u<1A;RqzMMXtz6 ִVx"B At7j 7 l;8  @_3})?hqj̀:8>WZ3:Xu $l՞YXme d%o|n)cn.DǜwrQd9'ȝoՁca#Rq!V;AYL(C*Wc=U,l-TQQTT Y㻩/i;9Yij0eQ't@jJ>Y+ ƢhD4>% 'v,FTL#tۥX:Uy0Uza_&*V4K/l((i􂁎4u,՞ގhRF^H 5='8g̵L$BCT/1~D¡37)v[ m|5J ?nnfC%-"ڇe^(0:nf̰V`ڎ>VŠ83y+=%Rwǯn/,Zܷ[Lv'~Q6؆m&t,+!+.S>yvD>{꠺ Zݪ  z"AP\ȌT)qg2Q:ח](; 'q3Vx ŨĉQOh+S&LDf2l\A61 VeߕT?ᅰ?QsyeXQA惩&io~uPyK 2U紺JU{9H`Eˍqs7Lv ȽQF9o0NjQ6Zj W7܃maas2+@̡-04ufox9Xe6o]'8ځޛ&oL.@(QY:]t*ab-jQ9=_=rr7i=YE:5V܎>XD?yAG; I'N5]6Ңϥ~c@sCCGm]\} m:]l Bs<5Z qQgTjp] f/+,tx%K5T,k1*ʂI $$Ch 0PhZT O+ؕ#JZMx5?S#ɇ9yp[dPw+񞰒QkXWo/w9էWm(\=F"@=pthPXmr›~<fKW2L`խ*^MtM')Zز [Cِ9*-Jsi<%IYw*UZvK9Ep6Jnjwo]hGA̅.3=Tr[X\r;/^KÖаoʵldY ce] 3 U<vLly`2Bw"0 6K0Uf6|x U5}YoNgK &W:R6^7U`;%Z B6Cw4Fs) |i@9 ra{qP0HC>3߁[,aNBo+hj[% ?D&3Ѕ^Uօ[UpVF^ Ը7I7WT7}JzR%:EDɫJ`b*7|%VFRg?&q’"ym`G2!Yە* >ͩP6RTc"Ot-iړFс(jY>la"Reg1QթA7~M\ 7oW8T[_BL SȬ,'B]g ezYϙu-VH6DJ?wDc`D_Okc-To -^ܩǻ!PyoDVY,ޮ/ޱu-N=B Ws N.K[=ZǪݟJ@zddn 4l%T8?B;ꨌ_(mDJ#~7nLmjۃֺ"#H|Msnܠ_ [&EO54&+}=IG(QC s0d3p"c*+*X^&"j'LWQ(̺%աh#ݓlLD*'"?w+J@J =>21V|H\! r3Up*G5̝{|+6\y]khrӤNx3:-a!wїdZGxvf-ef}CH~E$O @q>7+8`ta{֭J\87Eg}MD{L<[Zo>EjqXSY̴x m$)}z:wҐa:hb@&%XtІ {rj%d$X'kt? q3fT3sԻ d;;x/%!?_TU%R,DX15gYȤ4*u;Syi+jH4hs ,j!U; o;oòv`Ibs})Iv~s{%6C~ÿiSȜQ/mT*t=asU<%7S W4Aޢ6gu'>.i_D.Gfy8L_+IdwjΞar؈m& T諈 :Tʈb;@GD4[wpOSig- RYCRs4e)AvI#f9'^}RI*1UdTdK-,_r-JU_T~P8}Û{U*Vc@F|յ>]Vʜ `vڝʡ9}@̞,|:ixD֞`X?i9NEcYe|{؍:tųAPYVjj_0D8!ڳktX!rJ~^9j $6ޢtwMU;hk !vfenuSD!>zh#sea;CTbm>+ZbII<;v{\kGMdpu5rdecZ/,X R5muf};Yu&mh"TnJ:#'.=oHl&ergdZ~\dιE (In]gA}kWO[IhwKC0v٭1_2H{`H6DP>8 ڠJ7gUF!ds..|7ДuB4 C't0É#~QB?#߸E<:@mvr>xr7°Zɓm ɓT)wG޴ĘnU\v|.  4УyR=&P .(D¡6 mn &୧?4Cp Љf4gХ{7ȥZ61;G־&hQFÒgLMƫSދ䲋S]6=ץyrO?:NK4Z5dCcXsbdyOv~?ۍCK^QCK1#2u YKE:fhD=G6OE\Mh/"Z`Г㻕QɌ{qH\rՍ(vl@9?&l=C7j/_ H uA}$=kʣ9,vk"\cǔ2v(W]~PÛ[Րytzmvƕ:KM逵@l3-tsy&ЀMHAe9WɄ2QY]ڐ8LF\γD#<}q6W,5ȌqGE f=g[y'.8L0GHȝޱY(M/SϺADqY}`ϻT9`پs'hp K,bK66xM?(dA91 W;iִWPm s6(#i?_+[sE/I92I w"a 4^ID"sdti4 vq7k:SI%6kܶګ JS8s P9&M8ҥ@a3A|6 0T&Q8/&Tio2#30$Tp݅/D0ɈOףFk- 2h+h '#t+cۚ,Fog7GMfnls:ǷمtA+QFICY{h~p aDڨu :r("yqMיاWo?8g.F%eF);r3`_L L`zs۠{K2[aLwѣ|7jVBueT?@ofEǪ+ N'~ PH=h޾et;!@5<4񕫳vYTsׄ2kFE6b]  ~"(byEXXNY|"pه]~_EZ8 1Ik97눠 ghj4|I)eqBuLa_I6/g{Y73EblYQ Ŀ-2cxXzMlc%KGk2r٨P, u}DI` d# ier__ R\w'ה)m(}=wk<2"PW)1Pr([߆BR#YmKu !bƎ7倿p)eaU@3CّK,l Jh~wAGxEo-5r o!+HTgLժf݁n \\d]?u-QǃaN4B˛@݌nR4)ud}yKB66QP9aD (?yFiQS>[Sgjq?o$*E&!wT m鲩V[_#!qG\$ gp TI* V_lnB蔌([yyyRy|}1K0QBTк)" d^X.o}A!ur^g~5G(h㼞u}wYn| h6"w8Wq f<+ψ1̀,YOW|×oDvm%ajgWKljxWksϼRܻZ$/-Ca)i2n_Q4 6!@L,Gn럡3&$d*u),G/vW8"DU!L} C~F8z7)Pm}|/g*<畆MeqIR7sm} ;w>Ox&6-1Εi-jP 7QDe+/|vGӳwB-EYsoC'tptt'k'|HD_%Ћ#{EѿVaY$y YVhZG?E㢺KP<{pZ ?ӮD x]}Jm^gk̞ٮy(uh}Ě8T[Cc&pۃ*0RLV1zun oJ}؎=r9}W9{Py[q#1qԦ494|?zJv~&(_ӺYJI(;5X_[K鿯tQhZ ͑e>r-ԁ8V1%S&"'N9Ł bBt |uЈ̐/lDڟ4$+¸oA. ܕ֛_:c©j9.y<#L%B|LX,3˶_!mɹU΅SWsK$XČT.cS魖MLŕkMVBF~$u&ک^S[4e:),DI}껾^55TufD[0T i+Bh+B-Ic1f&qpkj?ZЫ#Úd-^spB)cbA=xxj61 ߂H_Z$hOM6F"\S|]ؔe"3r%H+n⦜Tt'*"upw}ݺә+6Y$ ~0JudE^ k% {;_cԸB h:qjT4 %.zm7TDt_*2u(%d"-·D܊sX|(Jicdhx@X]r&HR|*a}zP¤ْ!w :Bw26znWY܂R򘹴+MºBϓ|rYa_0GX$V^!\o0w)$MnA9䀧0`3 w$rNZ hyR\cA_vy"g*7A 4Oy„Iye&fT@sp J+|i8"ڲp-SPjUߗ" k`TXcߗ5N]^TAIILkc뀤liVVvV 7~n: m*!8B( ܞg?*^WtրC!!i?{oJL`^_j2as݁pˁ ܛWrF/\zj8* j˝!̳r׶ހ/*k..Nw+FṰ54C6mWWXOc+1\q"h;I9RsY1AQ*1 a%Uoyr0rޚT"1/>h4Es\GўvK菮B;L!+'ki\4eS+x4r[Xj8+(HQ$KzFHG=x,\+ry:XB<,O*m:lV/J.E݇we4x3T`M/EC#yrfE!Ϸ jF%NxOa?޷"<#Iq1.-`*?g0bk 1,0;UFB ƴݴֱs4PpHI>.N+^$-nmX[>Qw 3K`TیxF+L Q׍"arRm?`4c# R✧ O^6ڰ3}BzMus:>F] M:n&%UYzL}>^{ as I/]&Y3^R/%Tq7(5f9J,W/\3xEzHQVϵ\eR/:1=ؓ2t)_+Ty933Sy"u=ҧ9tCuݩ*.55X,g%Gok-Q-5|,F;f<֐N #@ u# ;xaRDW[#’ŗT^2(np8Hk~m5})G`UGMF0cOrzuϔ6nfr)J*fO[mv:rojaфpX!;u$Tp@o@{44ڹ!yD&J ~J}L0z'||t/>YՀ mRs_Qm_z) 7$d9{:#0:.ru/8md#9BFSJ<#յ>L+",1O}37B]ImWps\kf+UjlFqҾ :>T^5Se$=2([g !)Y?IEzU\ H_DѤYJHCӑ9E9taÑsS85aiz+%6D2`:S"/3Gj  h/^dЃuQ_GCFd!xRV<]jV,0`Mxјaz^? V"cjcZ DZ| A\`I VI`'jET;ګ^}J؛ rrjN CA4KلIYvS+wFeWroѼn-ijv/Y!~V)CY3C_C,>HzކkA 8jD#gj&=-# hKʮ65 m!:Ȣ[ĠC,ٴ˦?( b:A@nO_g -=B_3ִ١qM +*hAYЈ_:rF)SY[ɓ@]p ~/>ChZpWi90!ܱp%ZL;a(RqZ >5&Q6:L=Enm*jqs =fm,XH`:I1%te >gi J0f ^FoÌ*g(cZ kvA K3^ )%B.:|RxE$F_O2`2pS |'UVCAsӾl7hBsutcWѯ#z:h4ka w0BK1>ZV\}*-L>w*!/zZ=-.maSOun ML -G.SVFj,SU#csmy}(kP"\8z7gcB&ɕ!Qej2om\}_ dAZ"kp,}aϬ̌!gX柞,dl\J+氭niPu=&䥎ӯ!f݃M U]]`qfP D?|:=Y1ܴo#KUl#V}0fu;``'͓~6ٹ+$V&`{ICnp >z`ly8F4Ibemk Zh>mVb{M}Dѝ|S97Þ{r%Dз j:wAFtfxgyV*|D@yw4J29BŲVŜo$&HgtK[dylnNL]_@1kM@n0"IT\羐6Nxb%[L 8ݴU%*RO*P60Wv{>jt,Drgk)Td4 1Ln_ wќ/CkJ[J9NAF|M' }~V`S?{l`{wI 4k/d>F}̷9M޵U4\KvgM;pAʇPV }rWEDUf0 ڧGKmzU ZB5u/1݌j4uo\jT=Z~0 ܕN\~(E\=GCw ) mv˽L=Vܹ^?Lm^y;-"=hOE9#O)@-h AO7 pe{U8#X?E4m{w:nP:?.|ODEЄ2mҥYV<+ԭf& 6*GKt[2sPTiU +ZCIp@SrAa!b*ӥ+#7 ;P38*uNY rQ^-g8>*hm<nIĜApU!;脯Ͱmc#h'ԓxJF.9L{U6 V܍EQn',kV|j <Dψ ":!ȁ=S8}.C5aw@0eY>~Vw^gs: `Bi~5MhFJn2Ige,.re*Sj=s x.N+S$6Sh(6O Nt1``ap5TȈ`7۰[?pzb@cɅ][Gwz\RECn=b;W=$l~s4k*KT3@ Yv3cP C/TH9c֩3Û 3"K@ϗ,0!@RIʎnh% gdhl;H*9ڦQtT\%CYX m}.8!ݬcdH!e]ؙ F5EʞS!/ N>Մ<"@!2fI## ?&p?W=_{Mpz)pH$:_A2e|WLp`Q Ɵ-!P:|Xꐫ%|B9УcH&dszNG=2=X6- ׹%jWҙ-E[nM*LzY_%;KKKQnE5To/B<? =xoeVΉ5\쵼^-,sjP |,d#$IH Ic2Ö^zdσXekv"B|BenͲ"{ +K:X ]L)֨Gv)(]!׋WѦ 5v=R5Wn8h,Z5sIF[8'j2pBȊ]dm*+]Eu'LGpVRKH͏wOZ^L\5m(dQmү8{eHۚLvGU{[3_H.be8(oF $,(`C$\ZJU54'o:CL %a,3HA@8>ֽ'P# p3,5@B!7CG_XDzi$fx;:y}(b4p%'дZ|2쩬3qm=.`[+rΰ6.ن<1;qs+oiL̟Փmz*Oz(;ŧ|@[2~G?LAƘ9?4?wrro,,<,ҚFxM8iw~?_'); *1g|ZO.xƄqHlD^{?{<Qdkpԑ <#/6a =ZndF`~TӠo&JwB쵾㾯,RFgΖ؝,蜧!FI_r0'̯\[5DRY}wαr]>`fo.>[>^{Ʌ& okC$=P-̼A˾ʸ@U]Tոj® Pͫ8'F;Q^!.za>-"si93)QBƣ@cǻuRIʽ("ΝIlKY&O;w,jg=̽;]=of9RUrv|) ^Oܬ}2jBmQ)ߊ6,$7dc~p,36SqW%V ÍXԡ`IWRg^ҫ{3ٱHfNގIc^@LC+pHpÜXUG,y?XPCj&Yv3AYv* q߄P挖:Rt"zQ=5 [b9hqb6Vwg*!j_sz[."W fD-]`83ۚc ˮ{dvgCyd~}y,#GLs1ށ棇$ S[fqg + 9ѱ)/`|̏D(}Ss!m+0b ed]{N6ڐԟ=`36,0)5<zڨZ= P,Dl UU E$\#%w"N94zZ@rfH}9?pëߙgwAq̢!ߠݪ`G\)]*͵7|Ggs81k~ļ~F2 Z#׺r 4z42v3/]m%yte!DӣNRq vWNF1j9nr~b1!'ݍ)2k .BOSW1aI򩪈dN Zg~2\( z1Z4ˎFg۲AjYFIN?lfC "Xd tY ~Ӕ0w_l. zC,PߥB}}'NGOsF؋Dg*<Dq̕\bnRÉj./HX0#; R f)}XĦa\ "Z(z^坓6ҹOR-4,6=u"xOtKY+O^N(n+"$=r_Pvi LT=YG:[FcwKK)*EiP U mW%zޅ v ^^|-5f1Jo!P/[;5QH#~_5Dg;xݴϽ?A8%6ŒI˿tr*ю5 >DIU*tl?*FRG̝N<ïf2?o{ْ w%$aQaDHGLQq)y:P,<"{v5hҥf_Gi{er), S'ӎôOrO` ؼh58 '&4jP'|7g Cos6GK㑾*m.M %vnL} a~'FgPySt5h3/+X/]˥/3C Sv@2K\oFToSղ>EX4ʐD] WSSԢt?.ywv۩]inϰ Bf @Jk@RDd`xT~fJB?4$ .^BqNݩ0XBbc3QEmU*ʒ/J;~ \!f 4l ޢ$85g6Yy~w#PTiyc/Ac4NYUi&/{>2)h%UzkO>HUh{/L~]Qhc5~HEZf}ηaC[1'yM̈ ͹Td\y<>3?>mq3prhhaڿ5ukU(b]-bB f mXh kQ'W<#Fx߄jD!FnZZЅq% 5q8ȏ/^Abe5S_FfQy_Q+ntPb\d~7`lNQPkCH 6խܤ 186G3De_wsH&jZw _H@:'6IGDFmf5+*Ih/#q9k(fcc87@tr:٪$EL~w% [NFֈ^S *PB0Į ?n惿"vFX46BAaڥ?pyXå,_`=c}M a2V_=7 G 8Rч#5De - f/&؁ 6)Cr 2dd|,@HL7Uy0v6ޫXآ$d2A WO , oMNK'A <2gE$2LˋsT<M|~])UNN ~23JyͪnUz c0Ʉ.c usЙBpJFjlubFr2;.vVSwdaQPIZ^my ,Z,1K8y1aZ1}5 }ɨZ2QHMÝ<fM}y0-d wi&p3 uoZJcU[T)8aa»# 4D(\ F2=vBbHpgn>k:qK){l֍Dpfd1bD@}*xiy6X@M'1εЧHA'ReټZu__2qD%+gVjj$>VءlYқV|JNs$] a)9M<£뵕]:Bbv(*FHxm5?P,K*'+XX﷖V YJ0/^lBiSA)jXBp^ =UCXMrZGhB'vU+1@D>D%wOJ -$͛rU/br+Knujn9ͦe_ 0) @bli|_B9߇mF -3HM6 p:9y=FoVDT nYQbN~.=Tآ)1deG "t7Du_*k.s9n\GV)V# >RɋT.f+PLԳp™6髥,˩0%iljNہHaΓsR-.UUj΄L(WA4ŧnz]x sSp@Cra9\SZNruP&-INv-e!#7O`̂_eU})UOr|uz76DvQVŪzY_s~2س*p,h&9Tav'(~IC7BgYZ4606f00911c2a28458f19d2e9802dea02402b11baf1e669e0b71dd56bcba24adf3b86252347d5dfd 2069bdbc553872fd9e4a20143262cdd7b09dfec6 8e0843e82de9b2ac5c6064ccc9a0dc0946169aa2 fadbe9a65c40003a78ceb30a5e8bd7ada532405691a0799979689a1944e74c301b15cb69be60abef