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 \!DT ]]]HOL-Proofs:threads=6elapsed=577.978cpu=1399.764gc=190.880factor=2.427zXZִF! ޓ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV:ݥs0 n03$ sMgYáZf / MiG4U D(N)|LrcTǟH؇Mt%&zݠ^.24E,dϊ9gN0O!"r{ڔ^DrC[.xA@UA_iԾt3c^Ly H>-T>wTO0׾n@?Nh<$vvJ[Q}>{ߨ1gń9 ;,X+v#~=3X  ! HOL-Proofs#Capݰ£GcK,Zfʁ|ːB2+!XTf͟DЧWF5xov!0EhEnV_g$*n!ΖHz( H~]F{vnz0?8Ԭ2GĂUNlxr/ˎ{ $W7-UIxfQ0ay*U9? }q1} FU@L+NKj1ŲTW )^@MHmEG=.Ba{7@f%7QJǹu?6OQG3NkoX`-,}nE=#՟h֢RX' #5C\Nd?LSY5=STk]Em6&c,Ijl /䗟|>R]|(U-2}'70@N e( ʅ@#эn7|tyr#>n˧Wz1tTv99z8ƺD]g`g"I^6 }ۙ}aɵVn4:CGỷV1ƢuGvn.p^ ߑM.}H&O>,jhq$DRL [2 TT"Fe/󣅗9 ꐾ / `Z!Ohw.J%$L=έG ̙"IdLIäOt1EGyPv4wF5_ɀ::1d^y qNl\v(J-uy>!'seDE2w%D%[Oy]rS~j'UHzؠkj̱+o@TQKxey^E )KwL/Ҩ;]ْf% S3!EޘQ lҁ:Z+in<;zH~4x6#3Mˑ‰Do{Kŏj 1fg9sOL(vld4# 5.ܬgLCKG5>{"+Ҥ$StS)ؔd

1f[AJa @ꅛ 7wq}=zЈB+r]z9 où&i"m-) ?-Bvw䖶]PRgװ!Dt. w?N8k)UٺO5_.F:i/HϠFu<ԎS!㩂.](>S]:`=zSVcPAO)r^NmncqӯOǐ 7^cNx'+p"ndh~;!qE?~ "ܑY#L]7(W |sӸK܆] D)`2{̂UվvU[e Hd+ '-V.Y:)R VjԨs݌Cĕ!>5 (Pm?&/pk{NX^j*`&pkb)u[|_q%9(r>Qƴ1ZmyP~^㰭C-nݸ]@@j!"j5[g'uGt- >B $,kq{K ?`M0qQ w8xIt n s2lO#my*iE1vƬuܻmu( b1Juf#(@\v>>]UifTRa{s6TbQ5)ObV:)>aЈcWL^GxD$~U:v !(}fozguto}H?d/EYcvt2:,xA:G*FGQ6N{O9d)3gYVA}zIQQ&!)sNCg!dp^x դǀO^6XFj7^ FgTN6_E2W̻آJ%74Uzye7z7*H4y!Ιnk 5}=\- f-v qjl)%@|3yrZ YmNV?u\hGÕ[ w~#$BB r/T62`9+O\x.)շ+a)cì I' MKGώH) Q'7[1f>GzE Sќg"LA )jv+iܼ˅4pV–%8 'u cx̲哋ݹOB{kaജ&B֫xў*xdcru)]B vBT$۝u."F;aT8{,]位%_:942jg:U~hN_@hDڽJG1!mwr`m1 2 p;vq}v4y.&`n0]ZI4Ma#1_evtR]c6в+{"XSh`"g кxsAgLtx\T${`8WWRpg5t% Gv#ua{qR_M oǣ:=gH{7Ok*ID/ïx MlZO4/ Bί'0i9bF-ۛ"LfM=^PV3SS( Uʑ|OqeqyTaT#58C:Ē?޷o%|R45U` X0\D7:h?0'ˈo!J%"M[IHYcjlni{V ?o+9YӾv_%ų rr .S5]%8Lz:>b//*ĉ6HP lo3@ePgc!G(c=f(؁10EaJZ-{h;kr =#Uxv X8&ߏyM1>Z4ʬ-7v ܔﳿ |HE,HYHͭBK@#'?l:9Љ~_gSwaُ}`X| F=q?rfs1Z;`_C~Y&6\3f<}V7gHIf-K㥓A:HmV@xHnܩ"D.!wmh7;Q=` ,sJ4dn~Jv-%;Zd+sb&%R)~ y Ú 4`2)̚Xk`p1K??WoM^*TقU_GrP-ʻUoN9h]c>9m" "G{8d+@my? Gw!'nZ1(s8Yr]M7ez Wʎ A Fa"~~oK9??"rJQWxgt`7ׇ0hpCpuA*~uŗEȡ턓V[&͚ I}qmYO#DPNяӞ0}JvlJHWε9x{5.'Lݩŝ}1͌>'9M,bvtvla~1>Pk|QhΑuG4m$9<ԛ[a\5 |(W:W0禾)m~*`kq%4Sp p&'OčaL ?{u0v{]YX @sQ6|;,|`mItd.dt 91\yMPV{SǦ>*=.tvE&Oů[JH7UY=0ZgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!B,>cw bh*r4lSa=jq;NB~딋'G>/qD*ˁHYD4ߐaę!X*Qj>ծwp;g^;˹Lʞ'{Ց2?4T~A=)$FsᣫϘ݁/}?s*!W|BtD!uA tڵ,$-,~WH PO+29"2dv?n5tQmgFf%kwn<!ņ2)1`o ]w˧QIɱӛ;t"28}&87r'L<,L=p:9:W*CdFoB|;ُVE=rcC#Cam(I_*U?_vlΛ_ ^7xyp4ުCC{Gcgej% -QB\#Aw%:AZ'z./ហ"u"Q2|gD\2f\mӢ pS]:}2B=7~QN5Uyŏ;Itn -gmNSuT"w0F@6paWA7 tZDst`y:/|$'Kf)f)M\' r9%ڇӿ7kPOe VFDweNڸ !*{%(EZNrhx]Zl.w~2R> mنƹh3A{y _8R;x~=#^k$& >gAjꡈ=6n!{Ȏ^i$GI㢄F1ɠޜ],ר\0XbЋðù^\rlCӯ/Xv{z.ڵesERo{)KXA1 S )W.*MKaէrQ(jmvh-5JYE0\,3¿LІ*""{bV,ƨGGphݦhU!2hab1[.8B5nQ؋힥,6akQu8+qsm=Sj9>炀hu}wlˌ4yHxeE{ρKł,!ł4LL0puNu3Uk)5M&ey x[<${ȂB-Aul3)O0 2Rx5yB+QoT~`$` ={b*ch> Q qQrp^QjO7:{1!NmZעp]ufO0FGj)E!HlwEXGg VwyIcƣ1sĦ1T7G A-o˵~)Nok݄B9ţEc^nYޞ.`72KkX}޴ϺA;+<%|OxY $A c!Ip L lR\6\,wWA6]KM\qrb)Uޅ)<17Պa[A"Ix\qLp;(ݜ} ~s[8I]_7ZpKZRq[T0H+n)6$_}adXHִ8uSs^(%!ϵ8±]*01G|rT i\ L3lk n 8 ' ~v ̡bot|,P)Pk9{#¸;n@In FK.wEZ=SHHGwt?:|ZPwZ=WY,^UTH=T - P}-:gt;9e#L 6:\SsowErg%47cZ;э"ij?^Fe/%,($I߂9CiYɟy%Л^Q)=JSؿwniqy $OJ8[A$3(L؄}F#="{/Ηb^g6@2)h#-E0[EEȳ+Ls'+') շ_f(k]_/ˀjW\90w23T6\sSv}rӈE-Bn@2FI3RZaAT;;7A["xwԬ@ʠmxYP_IJp'&Q0^A=48»FPQHמּFud^ -H!?77*I)քQBf~AYѾ'@tۈyuYULS&`^2ƴ46s`31c%/Z "0T]l(eP$v yOVOb{ldL{k3,)=y?L1E qҡĻlx&sԴy_bFQ/V?Ɨ$cwBpEc % a88B0*`Ptl$qjN_{.gpH+詵-lQԀ-`QfT+Y/k*X@G*l= սʨCoRN8^t3LWA~cf8}5|I]svoq124X;ӏZ3jb?6 n|E'Q.7Pw'm9#14!K}Rkw wNDmω(\˾7Dk q*YP1zdmhfnZUlb= kM^duՔ&5+/b'>WEB1łZ ˑ*{z3Xl _@p#|jqh×iYtM/pK(^UذԮбӜx2вM%C෰oݑsXj6 K[93YmzQe/8;Fй" ԦPGp( X8g)"c(UX}aܩʊ#jm {oNM}';6 dbT 9:&~N4qKeQdm]W<0=;C֦64礭ej.0;b')hT~jbom IP;h]b?غ5eY`qLg|~G+~)j`nnK y+(1 LlT20sbjq"TBJjg;#mA`N9$+MB(eߔɺPzp#%DŽ:i6 {2pTdC>wPY[]LP v>6l,_\qvن$Pa&yƎ&f=?j<7^4?X-qkE4ݪ4`G^qh%zjtp$d64G 0P.^NE% Jɵ8Ar 5_a_[RD ?n|$r{uB_)]KjPDAY܀>d': W8s+ʞsfJXDA:ج? DzАL4j2sY K7 C?܎ZJL9sm.uVR=A$\_JdAO7ȴ`\s afY{Y9 z}V,$KIO<ޠͤJŝvXJἶMP9g剐 O'ur;)YGX=ZO2Qexy>_DsmIX!"[xRNjn ,ń_,l;_{3~jP5@9OHX[=!=h&#cЄt=JReb\l waN\hӘ7cjG֥'mB&-AtF.݋6Ŝmf0J :|sk~>єZK1Rӎ(-Tq5د9=u Urz{+wNB\6Y^" -B dJc+8ld}ˢmAo׷}fFJixQ@!;GfP 4,gfw{#Y \Rת>$[IP 4$'V=( [P># u %iE.bCy ? ?q=uT*U̬d eČ@V `.~Oյ#=p76u&g Ҿ0I=* lÑ}:ZDC EYcC]ģ.i&j~毿N(6l>/ W(mReVf|mT[Jg?>ڰȀ4HjfjM$X3٦){Pnq8újxU}X6D&*JkaZr+i9>J?>ZJX}#wLPDe4)(8D۾5\ :zX%'yUjD!NV=ƑyFQxb?q2O̸]KxʶQG O` | -wf ymPih*ܷ19r_\4V*o@WrњXͨ3Z1ȮAw-WqdfB s@LJm3AE'|ŗ$Uy86N fu8# Ld=["-sM8jo;ݖC2&vՀ o=~W:cJEvE D"`vꡒt :s,pbLFk(b*rZA}93{[s.6?Mfp"Ys-dHeFrOyf(Uvn`Z>]ޟ,L79ؒYM8sEn ӏ]P+ o#!LzE >Q6sнŸxT=kw e95UVZ x.alCɣ:5 d66J!1NK \Ka۵aɃV&{p49ſ "P2?G.wf;HԻrr-HӞ@udy xblzgO˶-$|p9ޟn4|cc9ķv/@T Ҫ4ĂofMz u˩p%$MGfv7^:ZڌQpT-pEd*Kh9}vIT̊-z xͷ<1BZ]s+mOƒt:i? S; V'<ذfǤXnZu[I(h/%kj]aN4ey,qy~^PM$qtrs!Yy)kk#Pk;+--7–[ Ɯ,'K4ώ#[M܂¶b8K~Rv6B")g{DGHg"(zOךA"Hk%iU#)Ag}Z]hYSLj,lan; GgDoDd+F j ڸ]-]v3W.Km*C:M>~j9SCy}MnE~HZ+BŝI8 A`hlژW;BTK)IFvPψ`$$}7*X0] Ed7ҍXUnY-ޟ{ wW]OgZT.M.V\Iی 96 "Ӂ+%F'|)F5Y& L!ק1&^1bosdQʈ 0.pіg"o^(+$?FVq%wrDweKvV=*U֎1\3m;\b}NiCgl~MǽR`ʀAjg lI*%e{/!\@y]-g?"FZs d2K8Qhh0s 9#6{a||*L3r+mVN mx5b(Nڻpfآ 9@ *rՌs!ZՔ6> a ||pаa9Ύ3@J|#RH:B. Ꮬ׸4͋U̷Fڎ[]tU[B#z"JESR᷁]'[ EM4eY̒e9i`4<& G-2XnC`@XwO+{当8N@'bEcA7̐)nT%+{kr~"d-s?y+:ckZ,KuW`@!ѵecP9F̄HU*bu7%/f= + aT20Z&Atdfխ_B Hy1{KR<4:'wy)GpqxBFY  C@<8#]Vl$ëϟ&"xp+fR)&&ѕIQЏP]O򓀕nʟ,6Edp MWn$'tK~!H- f ΨB ÎLQ]L&1UiL^1Z$ c݁΂?v zT0yҕƂY x"zxkaM C1}nnL5|m)˅ bڞٹf?0~x&mݭ. vJʃ=ӷP6d CH&s[ \7Q1mض[+t:sC:1KjxT71q!9-MT!{)`kP 8]xKg$ *?Ló7k '8weczٸ^>\j[+ADE0v2B eN$c0&ecG0ͲΟtx̽F_Tb~꜒d*' onݮcoQ>\鍬J )b X.e;;QkG"U8Wv"A3(A## ]L%Gp '\9h!fph SHyc /Cb{_$" 9> HjHlqS8yȩk!wB3 E|̻8ȧ Hh] #^_g,HCǷRgN/YD[2KoB Q)VS=-j7O%q\;,#TnNKG,%6~Y >-qrRe\( @=g洟^-"ؽ8`\k;iT9zD{S0@jRͣ^n"lPw5#K,g&JD2ʰR?qg1:[P Mq"p\M~6h-% F\+@n-8ԟ`lH'gr}s ww|Z扵IJ (:a%m3BW6K]i46PC<6ՑFB|(BeEޫC_y|!”L 2'zN:js&'3@ -@EY^rIAgh r GU 5=r r'j^}KQXʬTT Gu]~-T2zsyD794/YoT ,>W}zHN^KdliO}X`;ӌfM]<~e"Dc#%7ۦMvdxYSvKGcRB[`Z(Ki9acK9wtb! ;Xi:_VfT|}ڑ&@FoDTZ|$Thg@B~V" 4Of'Ӕl(D 6ŭK[=4CZVh >[LRWŨ@`uooLmD.,6:( tsɢ&~sOo)w 4H仫se:1crWS 1m8ɭc K9L ϴJoZD l,"2*iƳo36rraW~ÎA2}3yVz+?Bsdrߓx7Z-~~ym4/B+ (({$Ji!-Ի0X5TSY7RyiZ1=vzx-n F0_z6g`pX5Jn+T-Že}8|Bs$S&+n\Uʢ l=v7ٟ; CGj I?4zS4Wv0sCDc׸ K  /)DyW)>;0w E}R:mr|Sh;u#w&./ iN7bH5gAh3ƀ{? [gXR.'سݑKe&2nBwJcx>n4 Gf#ӛTk2s*9v`n`;TK|(RUDA?G8hLy~7M:zxyoBOE-ra*+Өʡ·o lgY4w}l-ۀF5*&EE# .P*rdY ;ٌ% )-0iY7^igxJ%`(#zEJ=+<}\:2$Q^Ͳ"Zp؎Mb`R[^wV!?bۈ(eބR_H.k"b;$8Jϰ#HzjnPlRWs{:!~ybN̛t#iCi.#3z|HzuzNb#e(;iS9`J/x~f='F'=q "ڷT-o-IdL -MȰ}i[?:_Q4G $g6G#xn YW3f[WNa}RH^U( MN}6VlZSYPchł)~rT)6P|y)Ҽ--ôi_Hu+zŐ7Nlrt+Ҁ42ĪQm]3&EY؝ن@Qb,>"p} -KGjO_=^ @x]mkj||yap[W$tڐׇl0-غqb'Qc{1Q.: IJjF,zw"V׳o[  ]G^fy"3?\lD,Hby̕Odu*ZWDl+h| th?"v7cT,(= N&xv< iO6U;9يa|Y6l({W|Fݑ$'YbXE$ yEǣΨ]1y@b<8Q]҂&9?Ԍv) ȇ]ƹ?'CJY?6qѻ4.M*7!^:v1aˉ_4 PoB~էNS._@,!ժ zͅ" BY||!N'<x-ō^љKXGAhާ$LXةzLAYY;Xݘ J纄 @zt[za4]쬀QU@Y2 ݷFQ.Փ.8Tz'vԍBbcZ?2w&Zިt-JS5*^ CMSW ?Шts{&AVT0>ԞqBb {1cpeFʃ$Zٍkwn;S{J6Zvh W'Ѳj%X"IK9JRa;˯F\PmKp8Ir xuqkqiE2 I4WDž?ɓZP *g[k6kh{۞#A7ّ{Ď%8{Yr.kbrijg*d!xk F tj0M@]Thqq_PH!Weji-Wd<{HÇMb[3W=-ߐ&@~xr&råk/Q8r~0^B@}Ȓwѱ-Ү2pD.KK˲K@e*\ LCHݐp>mWhJOW'5ܥ2"CԌ6h sޏಔ g\,c gWWESxK0%γu`#^~!o9ms' Ҍ̲;S);: 4@?L߰ZJ9\Uy $5Ui#FчB*MxMnVڡy4vp?1<g%s+km9Zo: g)xpVCU RCduM%qیyI2cRfy2ن4Dx.Kp_}ef9A,ůfJ;o#/y?z+`/ JIg.ɡ"%UOz12'ONwV!E"Vs+^l6Mo apM!dq⎹Mv뷯nSF>Z0!HТ"$ ge 1o 34I#͇?zI%Piyx˹YS9)w*?7J{--2>@y> *t&0?0?ې6'L_˰S @S'_ uw/U16ǃeh3,^v}2bDО>%r\t;1Fڢ3qF}'ҴJ [) &R\IzjX?nX_5` !zcĴ\B<ޤ .30h00*klB*LDA^p?:/܄5w,7衡% tCސ<ZJjC`_ }z7u}H2M~{wREh8\-[u|ͩ{%8U@܄Ku[hs9đ7}|l'n0Gfhf}7Dv.. k?Dp-+)'m)dYYY޼ -Ӻ0^aVyߨd$ %-lۉ蓼tlҟ gIVFaV!~yp">Ij;mҨLf18ƞ䥇qx@;l=a_,A,`W@G.2-sb+5[叝Uʑ GvrfەT;11Zq8jHs]q4Wicɠ⧟ut7JhUzDy^U4.$=]&{Fַ$t1%AW "{ҢrՁ3OQ\ ZӘ'- TXz(e3 Bהj4#*B?P?4)Lɧk3-{+GuS#*F8*č]EEsVU"M8Yk;#n H!'xC>\Ct}5;!Z7oƯ ZPO _,`N ;y3,o'bŻ/=;5剀ԺwLX*E|7g~|W($xZYC<>Xv'梳4?Ѧã,&sPvz \ߺKG* #_eϤ/sNKecP$(E0|Ð5}ທƮEMT0U@'/u=%\B]h/Ee7p͕#t)Խ_Erc]Q8`47sم CP^טIPS*Y&(j37HıOu4h*H6A_λZ^f06 jX*彺m_ (}0 _Qa2so}}̓DhCugEo<NQ/ca!e 3vWuR?ZUͤ<_|~ӜK*"tH) wzS >PVD>SL+ECqQvxB^jcs?mGN΅U}PJqAi! azͨ3=kin>oE}S3B(ixn{jlL~ӲSҟAlh9nxʢ]\ '`fՠE ^h܀oRiD;1D5Ė^L L;e2xXۉxwa'Izv l[i$mmK\ڦKWN*P;lTRp.{S|IJk3/~Q96 Qԥ Wρ!$g a_4~1qyCeʽI +Ȋt/pNvʄBۏԹփA_ШSp\3,aVZtNZ\aM9vZީ/ZiMzdY00c\<2VҤ PQr+=),ùJztAvNd$ DT|~#y4,PF"-,RZ}f,Jpsl$VD>I0ٸy7a-in'ݤ3[f0qN;/f[x,0{? #_#"9-3 :1_7̓]_+[\6yþ,C'3߉osbRe?u`1#IAE7hKdfvۺ\%9RKdkCMiOh5A—l@w'R :Q?<@d:qÏ6)J4;($Ha.;=N,],r?w?Ɠ^0gw;ZEu5J*]w5p &M٢'^elZO}\$z3Z=~(݈jΣn]DI: 1Afx*G*N46; R53vץ"ޝ3@_G IJqJh'ʇ5փ|L#̅ jxvKb:^]`RJmbA!i{;,g Ҧ$»pe 1B,Sz_gZnw};CYp94⮦yA'x I}q@Yg=}^?NY!.B4 RbN*"YDʆ+XNEz$0mK?{Dxbҹwz*)Bb]mt^{#b|2YkO 8ha^?j2fD_2Fn&Arמ pYg=d|6 h9+a۔ô4ӑ]մ?[ש8~>ࣦ18c> HjvGO\ /[?8>wYvߴ]YUj:-sEnH{ MFpaw9XotA[wiGMX< >5kkNja>LnG3C2yȰ:T҆50[C_<ٮ-dSmhgKn/X5.DD!49LG|Knyâ|dX4M@ܮ"t^g Hu SM/]&E{։:kR+3hP ILgG<3|?8 --@~T#dǢ}qn~[tMN1S'"q(Y)hgO+xW9 I[-Ϩ `1S~9$;7ȪTcaRU2GM%$UY~8;0*G-PF.Q1֑Zw)_y)/Y<.x7k%MSAOpѾsdO_{S1[$I*8,ouhR,A$)dpk1iU՗;z{Bߨ?`~ %2W%SIe'纵hψheC& rZG>8곟J*v\(G!x&T;)Vϡ>xwnI41Ǩ3|N74ï"8?hYVBM"zQG<+"Ia1o$L6,ɚE_e 0~p T~u(~ʵQc5\b?f0R$- iLԾiե g[ {'}g(UҪ+xzy%h0Q@Nv׵Ǝh3̨9* ]QzzE QY+o:V{FGnȃSrPNl$>j< {?Y=<,D6V|mH` WUhCXb28E״'< 'Βx.?]וxs uTn'MI agaR9[:J ڦပ7ʕCן&MӉlrrO" ŅX/1"UaLU"\s^dD*bR&~ OF(.1[&<9 O/ *;Jf{Lg7)ktn@HҀO ?g IcҏдHAIQm iDQ:"/Wu;[r_9k$·ȻFq1.krMy-Wwn.3/il̍8)uPN-J9_>]:PBwK3tOF?@"22Sh(*vI{qe(JwZ]!dBXL"wM`ja؞ףIHdÔ&sfVTB@Lu0G&[A35 nO)"폙0p(u2$lX ~qG vsa~`'fqCRuA%V'n`0'&5E$443Su/Ym>0=نb}˖+,L-@8+j<8du{Ge"F%TXrfݠE=|,17gۅ6 4O Bn]Q.1*]gu+o"Qj_[~$x<{j4jKKL`|U(EA#Œō2v}AtR}I@^_eM\<5Μ(Sq)אϰBfQq)ȝ$p>F9.(|1C/*8:4qgm]/4 C*ѰArv K:=@:$UOzاބRw1DEn*ǜ5ob탌/,V~M#:q$ieoʧ>mv(I'Y-h/ofg'sb'y(@^f Ӱ F Fq}QKo?`CZL=+1޸0`YUII !qχQG.utQ;klb^TE2Z \┢Bo>ґO /%Nua.^3χT$u,? cčUa^7ɆwAdg@b]NȔLf_N릎Vc`VAđq`H -(iCetTs(R.2_ˁɱL6Ro >t<&6cq(z/4*yG|SJ!NA 63:N!AjjEccįnT\|QYEuC>f+o 3e"f-ѠVHjMwm^\/<))kO QNMOe[] Hꑅ".y='>C@}o J9u0%˺kmbKٟՇ& VRڙՍQ?_EUhN{e,XCUulk](% :Ti,4|GTNR1ç]$jw7! 'ܪbҜէ@ nL?O2; P(X]Mb2{5oh1}gHz-gcd`rEqr7cۡ3k]i2zrD _-&Fe[΅%ou (_YɮaĂ%$!Ɓa΢(,%q]aKB!)M},T;~HtSzSbwj9+ *whHR1T~9Vl[HDF}"'jCfJ)tEDM DLS<JѲ q6ˣ ź6Ql%cGk _ړ`A3%gt?n؃m^2 RMx+,HHx_Z j#Y3ay[oI)RbJ+J4yGkm*fb3q<@`>Y1q*H=x&[a6 cu|)X}MGvgcu>qlO|'v/պq!_dVS~4Y FLY`YvIAU=ͧV*[u߬o­G$ hYnf3c(GU~SvG6<&oE>CFD@/^tuӓA\l6(zP6n0j] 7˯4Hk]Ȣzxdd Rvy;2az׿*P1&NO,GQ4WdZ8<9Dz8Sl f$lrIXH o@[G(.| uuߐ/} @gK"daEH\- wBSw'\)@1&ӂd;s" |y-m~W \dv U% ̶Tݩ|gCOq{$Z/c֛ wd8rr;DT T֨}uHL˥#I!|M^^k% qg ML<37%Fm3_ݬ[nzY03;V &r%)5VוSd,?zSnjurT鶔Ce,S򢁲Ѡ;1Ո(YDZ߉4e8Ae& ˱v_>ƑiLZRB2)= tUOD^D#;7-J~0_;'hШMm}v ImC۠I`\'-q86Ov>t溎RB>|ӵPc^h67K`4@Wn_ũPQOA^K >KfՒl-m](']|^C嬉R䋪oRg$ޗ/ e.\;Rak6cI9s8/MjR,k:@_{2t#h/9?',̅ X}Lb!PQ5TXgtxnBDŽMgL.0E,C]!pi$y@0:ÊjK prvµBN7p%VRI{nGzɢ| q*K~}GjrW*ͨ5hT3MLX#I^:ZgqgDsM-(yD qWuuT#_v©|L`S 1-yaxq`g<8FYL2Izn[_r-P+;M{]ݠÚBl8!]A;l!\Z :Nr4i̘UJ6>lz*e({f _Iݹٙv4YYM|(eK/GўbJBL#HgX$Hݷn۰Q 8{4<ڂ fHD:c^ ԿJ nl"<(TRSL\mpI聻N7a.P)\nPcKdwwJ̦Q2^t`u@]Xw͂t~{ _YFQSXr@AS?ro^u "hlscg:SV*Zq ftm Zc]Id~"'B{rhGS[375ELDpq1X /QgMLyPZ;6}ȗ,J 4Xڦ=BY"U/o'n߮B=\YbzG'Up- >Qaq0YMQrxcLL&:"r[aN@a~DzcL):vFZy@W)hbSjSfn=h[yaa*xǼUWpWsz9 -ۜ8 B_2\tV$t]HDa4ɽ1 2IeTRL5 QkPW=qSde4߻q7D#B=Q;o)W \9\h`q_9eJBGծ!ߞg6{T c}Xvv||O0bWwYf.jf-%LY@/?sgXOLʗ). &eDm_%[bd,qbdh mݔBO@u<84e Gom v? l0ޒ=7q^ w~d+h&D=3oZhhvXXَd<_N:q/W))V0 h;d*Z!X=UQFE3<=sK݉H'U$Bh# QbaBIXGY,O9cyvLcӕ04 3+u@jaGMH !)4FVGq"X%ihGf t,ޕr8W` LRo֚ aPVG/|3Q،*k(|M" ݀XX+[ÿlSC)o KG32BaEDnWn; l J%kP 5^ʏMD+|~J#%c1/ OSeTUC|J7|g WSqr.˒4=QW5̥`fﯝ"0ö[/Om-`jq58kvJX%\ yxyM:=HJe%fJdșMވmR[@>ՀF18Obc;]7`Än {5|~nj^\ ?H]߽|j(l1<񘑈HVIv\r';xL5n\G v1e(['vX(:W (7h5.sJXaVoŒd~ Huuw'uאt;JBY7M]SLEDZߨOpӂ(2dLm!~xZWrIjQS?ݖL: 4/0ٝ%;s<ĦrQsI6>̤~rߔLqK}qU;$fI")&4j@./P\۩/da1MAAzopxo9pBQz"*򺆜c/|% nm5GT‹C6."6i 8瞢0L^4N8$ +0<r+!?,(LrU~扑L 6݂\='<*XfJM Kf"_NG2;ƃ16XQHI^Y̍v0طqsE ixKc蛳 ڔ(1o~l?oG9Rl۪89>0EIlxo*eK7O&A8+Z{ b?$x#}X.b{sK2HV+< ɳ)\ T->|CU*^>T^ ~x22:Cc_KW}HvRdx6Sc{8/y@==H/g xmrSX2_{bUL`=XE #4O",D{uP0Ў4a{u.QYh_OAK]K0JmOeu$>ew^|JjaK( #u p7,iVl#d=2BPty{n()>ڧsKLC!٪K:]nERpVxis4YPR%pMonaȊtl@k8^ d?ۖv"uZJ.{% \" CE-s8ᳳ㪚F/mYƔ EВrzv!H&E!z;'IYԊw.Ha :NR0#>rp]Z/iXn~(4;//VK@ D`# T1~{"7IC$.zExWB~B^ Pa丏DŽ4d8Zڲ5ah!̔;OQ7hI83Б17JŦw5&R-#gdTH'O2НH+ ,K{WYh›qRk?׻0*xE>T*z~:k8;Q!JOF$]ۯ43K~}1:<\E-BIԩi^łWb֛[,,W~w:Igl5U/nՙT6xnDIS,dP4޴QD}{>=Y7 č3BXCwI?@S"6W$@8{~wʍ^m.//*ٚݘy|&%H 5H+@]juI kGǸc9$42E@PZX4J6$9֐_ɾswaGA|蓄qa %áp Z`oV1C(5x\Ol l9]?/2l:h:Xuqz+>Fx#w&'fqZW- OM44\~<&RO"~}$NZ{k ~P-t^2scU_MBNL%䔋u9~q7@1 FnpnXTGD)oܷх aG(i lIaF@!ȳw V;2R ҁ@cpH4wLmnɃLTDZ=!u>9ڰl4KPcH*)AJ#rd)G9M77eZ>-ʼm9Wњ1r~m3A't6dcN!$rc Ur6kju&Lx9|b$̰ҪPVj+,Q;U8߀TCĠr1[ 㼋y, &Ό^I?bnЯC(GU(l~7* :;ІQў'Hb4vM2H͡<9Y*Y 붒]=ó GhidC%ɤ_Xs7RpD nq3Cp s6!"£1h)?A!d;nI<?>ao3LP5}"p0i]AT7({ '{+'(Xl5>%[D>Q5mŭLOʼnvLjN+oN3Ă>LۻvO72W\b"hq$Mza+yp9ED3RD]-SD|i08sqN>86S 0sM7伞4W9p |sB!hVuͧ8 x81'b\j':xk>gYZ0af45fbdd9d722a3d7965e012f63431c336ea9e01dae994d72a426784accfc4f3275f57abe4069260076237cd9ddf90ad73757efd153db5c61bd0210