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 ppd%D ]/]HOL-Analysis:threads=6elapsed=277.760cpu=1205.084gc=85.780factor=4.347zXZִF! ӆ<]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x' mY8gҐͺa ai[s5[1_'/onlzw7LTI"8r(mr%O X!A,A7e72BumS):CsE!HeM ]둎gԜKm 8O@k'QH~r_\E P0( 29F8R'Ml;?Q~#Oލ(TOqS+k υqJ&2f_L'@|{Zw3.ʆ-AF`WU|;)gG3etogA/0,X@$ķo5?h^p1(Unjj!(VhǺBG_k&IÔ ㇦4'Q $ҁrnZ;"Z`N|\Y՛,H}0f~b3$+28?Ey9P(2VAK7sZgj %;Z]ޠ+jǨ"qG#sOv:C1n1v:r񔘵]m'ցŴ߻,G`LD{+FU#=N_ sj{C*f"}O.ı o`ApC4-GhZ_r6:F ?Y#| mFa'C ~4f>Xj K{!fCǦƬ@Ҟo92L„E?^{sʆ㊱#`s AuA_rZvϲQ} ~:u¯zơGVANFпG8?psk*y)@bge- q׳ y݆aP=̳4B֭>]VsGyk ɧs[?ͤB~gj YwȄ^ oaw  OM\Q $B:CCWN=(E} E J̕w8-2o*@ w[R*>ipߧH4a("x/~G8>C[?ٮt@Y,Cic9$c[eLK/o:WiN+D)C(JcxAe܊@aQ4vYdm9T&>X^)yl&%\-rA{1SkO1 _O[ΎnXJ8WgrL9W8?n xDᎸYi5$n;dw"}:C'N*kKQ1xeQe%װCQI؀A8Ϸ#4:j4NnANhxG;鈶خG)vF)#'"Uq+,`9WLY0@Zѩ=k?ZFBͰ40* I%N]N<ח)To(,Tg;MR ger4x}x~P+1@$+^h S UCil`}̻ދ9_"wZOmX.V'@ ƹuUt-ٽ4rzHICk:6=Dt`|a 9 ^VJ ߰^ECJK0[7kvzw ֈ++]a'f6#Άջ=/\5(c}3c4t2Z sZ(e bISK/93zۑ=Mt|" (%?B>S@FMiac# [5ZĽJ aM+ngosdhD59-9HaBpP$Zbc>KMƄ+XDcRf6t%gFY\t`6F^7arE'd&Y:[YO۟ U;?Ypag]\5-|˯S~D}q'LEQuI̪!%vgмl1qn˃6d!c|&N+dRe]L}>TJRH b>e:[-\MI;c-j ~СM8tS+K/+ȳG3mPe@(}BF̽yj%d\>b8b*66<7: 7/Q%miD.;%{~ɨM(!B:)Ztֲ|_9[\Pes}75TxԗuG>,6|V#sJs1utrIĉn3zCQd"5ǔ=>um /`=Ι5=v~vcv>z~QJii&npd Ud#)DtfWygmr߿ xgu@!#^RsZ;rVHg*^T-EI5YgzpqՕ"3X[ĉS{}@&/<_|Gt;W^ODfZ[-flj$m#K"C7<7wfM?̣"klgUr [VZR/`;=CشqA0vBQge~)K$SGlXݼh N{~渏` 0~Fb47b7Ӛ/'0`N./}mFDu5e_YI-f}Ex*r.ѳi29HNY펳.!"PƼxCl62VPR_݉ЂGP›u=قwim/1f{lh\Ur939!裊/|*Y,BzPPZ`䯥$G4{ ߆d"54nNժZPUH)9[ކLaoZ/5Ff7EkXmҾ<#j6ImT8LpC?}Es=bHV^P2y"#U_9W2C-P)?_y7O[E=4nU)*z|z rzDT`SIF}*Ϗŋb}Z"VtR$/3h*ȡX)t,TvX^xChŀ}"e}%){Ϸ`F!Fm=;! 0EL)qo+2㇐+ٻE6fWY) >p6F*PݴU3Rf0s 8Go5s8` A [_AFuX{aro:hZ $KI?~2\0bL^Ac KUS#: <<(bT5ۂ;}/hB b'sm5{˦ gL}NbpդM+>Huޢ5ŷMS֯v0$j\ln(CQ1ҍDuS@=hT_r>Eb%wwen[+=GfXtYQ'ܰʻcZ/Ny+XMhAx]G<(5c-MA}5ZVb ~$oD= Pĥ ,sx38<צu" Ƙ/ha'f* n1GnGD_/2/njxLS f:p/I5Wds{@)Oz&vE^iF4s!~4 x1 ?!t;85 H1϶s^f&nU` 7;quC-fmvZBO|TATp*هf"bhՖK_j>G`Z vo!vSs6rAcX騳$lW \ؓ}iOσF΍5|b[ c-OM 9馱DJ>5 bLP>0!"x;d+]x! hfy;܇Fo(-g]+iשkj5@ZcN@ﵲO؍)yvYw^uG=m\V |2,MiѸ $=L I2 3)K$ox,L)]][ ^-IcÕ۶yݨ43Նꩿ^l'K1  f 2,r)@[݅ց@@Xndxa+z?B>qҜ"xO%۵Ag)Ud;JthlJݹJ~_z&l6Q 5ÁUM l,%VZ=R{U+(ZLp'KLbLѸ|fzؕeAH GKmv+>NVwR?12Fp >㧹5\wӅӕq!mJ\ -fsvJR2tK$GHq +nN#+m.>@Kanl3pl(1I"ϳn5sPn\)6p 3`5SHTRHBПՑ8-JgfWSxjaQ ~p]T @ڦ"Eul-fAKC ->QNG5Ai)wO󝯂Lj>pԻlBU#$V>_XNFpcak}Qlxx2\0ҙfEQ\lAPz~# /"@=(AѼqS JZ:#_#Y|vGŜCe k`^[i[^+}]Yy4J1|E{X;P };*zJ^U'P>$pX2M++o`P!p5JvBD2ak4n/@LO\׷!6iu+ݫ#C d0k)ŕHXљ@ '"2MzN|5Dq@Z!;v);j8a8h٧a5Kf>eG'w,AtYIwKITmY|zN%2!3 vKd#>\>}6Ra7F`tQۚl)f{҃y20[a4+2;ߜn}r!q110m|fdu{&ȉk}oa8 >wV0GPu~7+f5LgcR—Ѧ˜$n yPl\X 1/+yk_J #_极W@O@ "!WmT,sUc&kYxC|2-n,ZGkC#7kr(C* ,p ṛJ~3oYnc%f4^uRQ$Au%'wH)|vۢ4/]mGV oԲRI#rq~/V4eu paǶb^:M9yY9ZX'H_u| B3so;퐜4$7_rlCsrդxZ}ɠR86Y awrαAw"D5{9aY я4Ȣo=n9*qE?OT ũ{! V0U 8RN/ka&ɐeZwC'iNJC!ԳlBja^qgghjoΐJض}ܡ-}ky2mOX.hMG=nWG l=+NE`(lǪյЀ}(E.udǠV|HL-K%@ZՀ"o@!\BLMxɜgS.JUd*uM]"l54[?`@O^;̣)gوfiYr<@'X28ͬ-X&e":NIDOd|ق{)!_hBպc;АЃ// xO_MIu/E&|o83 )s-UfCSCO)s|TI G*S R1Myd5fU9āȫ9~;Xw0d/EvejJG+z b]>dlȘ6dxAJ8q_(;^- A7+3`fΖB>,NcŬcA-1:Gtzg5Z!¢~ND|n}xk^3)f~IlR2^%0vYlW",Bm̅& *.B`;﷌_ "t+CsTE:/MS_vg,.:RaN4g$N\l'eDV&ȨfeV LzoHX̒5'y`L/\| aO? Ej/a!:R FP1mʥAV(Mw' }5;Ԩ B_3eR5gP!(E4?ڥ=ݘm8^'ZSFzQZ%(Eg\CU 9|_FEaaOO]zu:AzJ4937blxǼ΋n%2tG+*?dwр(Wk+8d=!-U:Yb8&Uꁜ)푛%IFĹ3OȆZe(iXp#ԿGba مc= CqӝZ7`CN36]Lu5,:MRhxmgڬXbӐ)HLdH;D@@ޥ0p%r6} 'xeYn~Q>{6 *:2,ymrU`>9CPze4;6Ygs#{ :>yՆ0PSڮmD7P=SEI|dYEl[op W6Y` S% ~A ?Ax@/G őNL!%(p>OxC1ԒT94aGSVB;0i`kHm*07zՍ/zNEdo9͉gٸZL{xC~Ӕm O&IHG/;ۋ403V-_?HC .d :;:Voi2-=1f-IY0C_zz @>-@[}v Xׂ w}$ݸPü,J̟*e:w,+R^45y @Ҡ` JI7c+DNZh 8_'SoWA@+Ga jZG4:KH*!;_m♬S3 .Mk HlQ'L;3* Iڢ.p8E˄V0"IT0b^_?"{ߋd Jcj*µ:K}3D\Gstrz[>R H=aNwBXerrⲬdi9h q'zۘ ?e4~vr/Z+?w8 gk{oQg. m&ztwi.EKSAk!BY\Je^s̵.N+Kж C-^&/f K4yHUš[\7mSx 55Vcn1"I)ɮB-cEd[ԈI1U:X&n76Ó`ppCnF7;qO6 Gv`%JPU4ec<(db+PgM.,zQKXնl}|^>OMTQC{OM (?Dw+1fIN XZt ƹ`fs!O5E||3]>Ơ[6LC bE2ivcO}4)u|+M?DGή>WT4߃<Sj3RP#XV߸+BkUMRrd"^`VAMW.On: 4@m;H+ BIubq(׊Χ'U)r(t8yQ_#Dl9rڙ`+䈜lDk6 YT~҄t _YfzELkhiGTDn3XR!Dt‡VG$gqJ_m (QWS"/+WeGK<NHu1e-4BYxr@/N^[+ $Am_@rPJjBDxHMt? e.N<~+57h:`waD,[<_Vt5; 0z Z=^n+;-)ʁm=0U@x2l&emL_OTK !ҫJ_۴Dz{y2avnEyNI3:[^[,}1>sԇ<pF;p$%5>4Ѩ2!!vW ^7w.'WVYz6LT ycLGv$>mOAaލ{p3YNilݱm?UeU׫٩Ti!1m:`$}:v 9}g)`f9O< 8d;¬XGvyxs1w. xoRsrdHSлՇ^C;EpG~aژ<׈xSoA4i14Bκ*_;D38bG7ۤU*v^{V> *ЅY)v'@B|K۾oK`VtUx +~(\84ʝru4Gx,޲ Epi9Ti|wp*ބD?Frc 躱Xݵ҅V`ۏRoc~"1s }-zF^AGPl ~ /0hc5V@ZϢe V8VbHjUr<Ů KBq-!mmW6i^>/,hZ6g ]-TMVs]U74JpR :\J6|`|6Q٫6%XQ h>n3d%!`-RvbAw&bS"A;>@0Z{hkz敂$RJۑeiB\F3 %.dX?Y[B#x./N?ZR'9HaޯnE+`gx1 xW35Y6 [I\;-g4(kjamL@[/`ó'#,(ʷ 0:O>Q7  qy _YZYLZ4žŸQLTy1- Q)F[tjq %)Kr'g2hn/{vbQsGl&(?4 W>B#:јhSsZ- ." "PV/iL 4YSEFkZ+8{/(#iBjIS&8g:Eçrq,pBb6@62/ WVf?2d`.I1 +pU7߅__&n4,!KoɌZŔiijVn2cp}zRrpk/@`ku4~ B  :4(|HI^XMq 精*p>>|N/r}FӹjZw&w$#$t/؟U[6-`؟8[I-)1QF: ì seLwF/-B$~b"vhVNDy˜#O;Hد3g(JlxQ hse"L?F8TPʈEi.T3wrws+79IB阁>DeOFXFt0@hk1ycSwxMwƮṱWQg} 7 5U)mw/};S9 Rm+ ϵveeV#ۦsP4{fz'|nm*;>szL9ܢ7x\Ҡ{1!(N~SΓƊ0\gFQlN|/ EV?}eDlsJt6/\ijta#õA &~By;*cp{)m=ϜÒjboH$ͶRo*wAoTSU7$mv~xJ+B)*ǻ0ƒgWiv!3:EoANVr<^drnCaK8t@ ~[IXMYt@5I!*1 yn›f)eѡhur= #HYDBWXgU]VW^5ehk};kWiY֮µ řēA8 >gZa`/ӛNYd5Ʊ5qӪG++#lKa)a)1Z;vJm"g]ֿܡɨB5Âĵ@\d " +7 Kc.{{Y`;F}i-;RSEX6f̓g@tY3>3` UJD,Oh2_/~@b,@˘?;O\vEjA[y5' 7@^*b2o=2s/f 2SdV{$ {y|eͶb /T D4_S;1H~:Lǟ? ?KN_Zx}=~`2w˒0s>L2P¤Z]KbBRJϴa}SQg6T3?dN6F>ǟ{M+ "pND0qzӊ苾)%ʓ@ݞh׋@xJ*ZhN![$0"<#I8XZ3;r]i0.1/ F8:80jk[_Axv('f+؂>z7A{{ ծpqkzl#71xARr!>i署…_?c\6Q`^!`p+`E{l~UG<)t됤VK2;8_,/ y >EzֱgYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4(S Aw9OWJ9#.J㞘ݥwJuRGx N]Ug7?`4k$,RЦ^??!i8PxA@3ztV3y )5!;ˬ }&G=^XyS3D sI.L[Gؘ]S{e{ 1^զ2T{/ۼyҁͰM^Xn\%j0:z~ G>^v5z|\/݇gh1y|ʾD|;T)[P[é"ִ^^H\4 kP۠(#z*6|>I [wjI^Ua(#qU=-] {W<˵I-o~C !QKT-Q6Ȁ=e\83Kd\>m>XC8s r^fǕ (I0e hɳy'KfW/P$]L$1s.zahyp?Ii> Q8ؿ{I ģKIܽLۇdm~C3E aA"6TFH\Ħp::Qjo:*zl*t8ޱ} r@=)h’T ?@G!IDOk'&/bj5; nՅG-D&/Ů`|`5 %g$zc;ȝvsyQJ+-KRV5-xQ+yҲ־6Sr0Ϋt'Sc0-IZbuL=%/8ӄ&*0w?~SIa-^XsA s潬fy.[R*"S h1'X6Em~MGpTQxةhvx"n-)RØUjeUBJ ':IKZWm18WPE|r^)h-=0#Q, {"}Al~Ji5Xr`ltXyN DF;+ˣ:?*1b1 zw#G䐻]~0DGsIC 6H,.fYo|tJ7lﺠV|!^(Qv_'^0gbfGpqЃ,vHT~]QŋnL5J9p5jmGBn}a yT/Ӗ˘ͯ4[IYv7: HIm}BizW$)5yx2 %ˎ?3ѥ8zyleKa3/l;6~LgQs&R56:51 DE0F3RBY&qPs)N KYT4k ;jJ lĭP0ODK`\V&$A gYZ7zXZִF! xR]ŗXi%94,*KN$8g)贋w&+DI^w312&uqe~*@1QgZHWYG_MO HaaczqnЬ,Q/ZS).5E`Oc׸ ciw".a5!=hҥBBBPzdZb%?M+\%Xp#`fHT;8ZԎr:>N;]pi1GZ]Lu@hG<bi# ϑ&,o炎 s'vCx=ya#:i(X‘}俪߈ T3.Uf Ha.Ȧ騸s\<{I`F,[2ꝖcHy虀?gqKuXڟ_Ixy!sjxA#8OEkKK۹h$H Y7Iϼ3T+ih=>Ux+Qe.tЁy|.F5+]9URnJLvwR{W+vc?Z33Xk8]5UsڨOݣ>5"9qIʾZ x@ 4DHa'/(9Ԗj3i%/wY `7PΥ+<6NΈ}ȋygn1]1iJD^X09EcZmڎl;-C=?bJPc٫LM'$bO> qp>_UIU )BkmEp%is,c|]$n^t$#yMT͏X Ci DPf>qGnd__6[,@$01ܕ32'u; @F5+sO݀BK #ԡb$&;L'-6^f{|&B<5na*JwLWj^@6xi.$J8!s*Y>VSp}J=.pol>){ +"NNB +[3?TlF<>Ɗ!~nLo6q$ܚsJv MdnXpBORme"Tq&S;Q쉶)`0FnMoĬ&;!au2ny(hg dƫdVL  wît+cs̽_ =ӎcJTL,DGiU J>Xåi;mO5{ C1";Ni!n>]xfβsk$[& ){AՖұ]^_E%nsn|-Tq2bСf++<20WOc] R )6)\Vwi'JA$ "ܐ.lH2 (m 8 ѲJNlKqKзnKCn w*N?0ih?n dDzd(Qux,2z렰x~pz DၧoRR+G 2ԨTgzA[prE)H3A}8$pR]kUi)cJx ?n:B>kua-w.8Л1|]Gɍv"̈́"l^M'4ڣ.Z<`18sd?\NDl6’ƠKn^u5WE#4j3àg|D껂ч2;Ls1}W~/:qf&¤my')J@Rj~INb|I9ip(a3q!k&<̓Q}~Om L«V>%׌iӏ FJд1Յ assTr)X汳 n.?\Z7gR ֮Cca$Ô6+s=EesàG]TJcrZPapb('dL_{7fJ=ޞuo\q,ř {%GeB?>VAB:(>? e K'ٞ績Įm{3UJw*~%<8i+ԤW~ɝ}븂l5x>rL:U+ jbC@|/I'ϐ)qNgmf+cm30;%@e7g_$}sq)#>4a*ZemƊӲmT۩7/Tƌtys5; 矻5V(``BŞb7PH/Og nb;$>4X TkGk)FR\ҳnt,s Sg(`Y=SIu:$kϑhZb@+ѺA3Iڐ6 %\HJأwQ{$,01r$Y ev!0+-LX(qG~1m$ 0c֡q]vYθFw旆 u[#Te.Y9[Y^01`8Rsrܭ'1[ bdp^ E`0yƑL0wïc:%VO .-ma1k=G#&Ac^Pn73"Iو4L+gyѹ2.xL9l{y">%eSHnmH!6oLwo IgZ}՘~;˥Ge KULbiu? mF4E?,2.L{rT1A:ĜF_F i;^;&/4ٗ#lܮz6H .x4F$U-KmY e^sĥ5mj4N @؆*p{hcȈ;F;ruxH&*;UgpG2GV #-i&\SdbFTvM#7C$JgxDҐf(mB%n>^%' H#%ݸ ^;~31p,  !R '!1FK\@X~q1_a]٭ʑBI֥8e=`~#O:$QDfIKݵ o^ {NU7,i^!,I Rjj2.L=&9%Z4'v@@Uzv\wcG& DH+q{{a&g|CZ=k&NcD'ea*n Tp !p\iPo6ONsjgfn RODB+7a8ZkG+CNrmhSRzփ~k Q\+O)q% .3h9I̯ glv}{ ' IRs{EZ69-ϾqMm R% 2tI K>WC8pCJ(얊29mW>vvTds;3Lv!hxs0rZ$C"?x0xuQ)򵢼@@tf*XaP..d@9!o.GU&1)|.#:A]G GrZxT6&VBo-:9psF+d9O)ݎ:jh@$H+b;A;PDEAY}N.a'i>ጔT li6;tHU}#h9}bɠ;|7:ƪkS pS}oĊ؅@ktdQwGuWW=s&&RtElݤjK;ӀQ"BLbF)1)1܎dq C`H 0l &ħuZH~!m[Lغlp",)c/BƗҳCp>j?cUSaRތ@ytB3z$rEnP7\$=>c[NwΑ+F3,=&A:%Xibvg].E0s{pз25o ~ˮjؒ.-.O5q$Mwf]y&/Y|ȼmDQ}m7u?ޣCWL Х5OR1bl-JN_ =nIؒ^.)YSgOH?(G R>N*RYغF`إ3JyJI|J{ l3A \c[$ "wh<DPsLN/ zfJ8xdiY͕+?K>˾[(P3AWnif, ԇ$k0o#{p'/`XM˷c8IZ[y2o&l ⥬a:oIRm3G(0b ۳2lZKŹ4G9i0d2>:v_g6݌$Ӹ^$;]ITa1ά1*irTZAv1$I~b:?%80yS8j+x_~/&lD-ǝU.\9 õIRQ^ Gm@T|3 vpAC/-R$=}Oogl^VݫKR#I(\t!X0E_7?"Ρ4jH( Cv˵"i;a \?[*R9S@,+I|QzHSD3y7A՜n [3_%=C\Y[Hz0 32ܐbT G( .5#Kc$7Xtՠ5Z [;@{e|tϛcr\`0R+K+]Mn&flVgԞ_xG9" i?;BE'CK@-,JD]Σ.Na WDizr1DU/N4{`!9 @`90{k cH.,$ HҺ8eUJR5`n]f\V{fZWQp/`d~۫aH=Fgi8sVm̈́"GcX'>]w7LVQ׋64!MiC^2s1`0U4llA4D+cs#77z{C;~ + `{TY%5*AŘ G ( e&z0ޣWzydYtVTCa2{z[-3M7\dC]bF*ƈ^wdri[.ftKN-*kZ[:u9ء󭣟52i[䵥ɷ5E~%w/I}L6/j=p4-DXY,?n= ?搜c|ǥ%ςmtj+sK%SINC)^ fKt]! l*-EN7uzNEfKp#ar>ހ/vi,f&϶^+[12WbakJ]8:ӹ:>醰c-G0dM`<{ knei^Y,M)^zbaC_[~aSCJ\j8HR }ھ. ;T3Ff#Z>CG ۅ=-0Ў~{׺bI33U8VvqZ`w IFx ܰ߃qdYD2̒]e'`HK'o< #odN"ox we۵ -(ɘrLDzN^Q ljmR۰[@Mufx_wpM1Sy eY3$qŮ$:S55,f0н +Ʌbf{mkY#?R.CڥVcZ#5.BoʒEjwY*%-5eyv SbIćh}Q|j+\"2ښ@`N>muQg(\9<%N/6VXFx:oovTY؛ƒ.qzL$B[p>bǽ$W[D04`MZ$ܡci39:O+Rn1kS46C$15HQ:- k RWU.Эٗޝ Q\F\'ԯ#JhHij6YB-A_a+v9 eiRDYG@*֭׍2NhF*ZA@Z]|sO,,j5Cn<GV)UE/\FL~@I82񸄎 CedܿlŧoL|ILT>%mD\_6Qޫ)} TS BS<G}jT{ l 3d}n#J5u:2ps6j?t[oZ}}[vyhJ$2Fi$*A,{ r|kSȿRN4ܞ"!¯|Ё2U.jXVoI wXm@PB] 2Vp!q"K߳كF/ÔYWQmH|rk֢,+` *+hP\Η)+o$liyo!}%U'FGKhQ+r%SAUODxp!u [Y+"3>y_g 9hLl Q:&$M,ڙ+#*QCZi). &+VXc„c *K0Q4xvܝg%vwŇ[.ꀘVvѶi bUt<]LH(ZU8Tnmr7/.,|}<[p[Q2Nx>e ?*q/c;[kJ뺇?g<(BO_!DE + NZ՛zRF.VN{ZOu;0rdUit2W1h`G 1k4YVu xq R螸@Y󞛹+N,f,Sɡ.2>/k*kzcYmp\1dS)u(@);$ 23%x@ʜ4uٯGT4{Hp(lhlF@1녷oZ x\h?[;R6>jtϙ~c?`t30IW%6|<,K!ֵzDWzD0uuTh 0G25)y弙)o *6 eyybz'_ @чWf[_Ҫɠ[/7ab4\>¨?ՄuޡdFG 8Isg]DpCD6BxqT~~C킻4#@T, _R)ѓg##!{6Qh`X(Aʴ 5,%vkDhX<+T1>eX s]">FNa_aNnXHPzvnJ#\Z3Q9OY ^Hь۟U4xG!=/\*R~VZ=P:>1%[N J0&DSYx-{ښFk.1BZV3+e#Cݽt( ]l|ވ=h4bdx5vL]ESW bdw䣩9;tJX̉HYHYT3K+7ЙaYwd>#{ʽ\:y3tp3?lA*!8ڸ)ӶÒw6#,aЬ5cnѾk$60߶8"[(`I18?z1qޒى!s4 [W9.@H"FYq,N_ڼ-נ0ro*I^^MZ f!Uu1Zu#Q0dqcC`GDs~P~Sv[lcnِK"x;5kߪ?Ody8& @^j _5d9a#(3&nϸjDK̦FUL9N8¡:g N'& oe*~:S*9+fnWRl_t$cWbm|{U:'fI0+yUC (WqiGzi&67S1<}b ^(1.)ҳ ˷sWCPBigo^5[֩@,;^߫MK<ltF%hm<lш~G2r(5 uzsIB`%/NyED| xL6oc;FF%?"H ԁA!";03%2Q"جdʸDŰ"c ğ!qOTL/L㣰/9&,R AYNmx%R#O|T"g u}fݦM!ya Ė`_Nd _W\ǻ?)N)cƐ,BP4L Wbׇ##. Ow7 طL\ .X< Yb bvԝq{ zd:FƬ=ϵ +|UiЁ"K y_ezYpnI IK78SF54É(^R&:7bUY)TF4gRڝ|!a9+4 K12ǥG+ kepR{F%÷wQ cga}~r!_q8ayJZf$p6{GR.,:U OemT_%-wB,)$'_ScWutZ,-7**IHs_INr$A#7R]S Kɬwӻb~6ܗa210d|7mMjpP]j xWN46 xYA㘧kߕ(`pjz Xj1_*1 g%) ~+U`iNa T աe`"?@7hGJ|q!r큯%eaEJ":a>란'ȏqM%k~#50L5ϙ`l[Sh8/; >BZV5O\aEc2I%O2Gg"aU~ZZB׏|*0Zzz\Pt)_u3rH vZȲ\{DP5Q<=?8$͚$3Vc2~/W`ZIbޯyM K ^ӵ)a已cU[7Y);%. Yp AM;*Ij+jE_k2$Y"Fn 镎κB*N*j5 zS)Fˣ[y-PpVwmAKM7R!%ٜ_, 9g6: !q\PPIv5q悴lsz iE#~0F=d 6h8 B Ÿ+a)/> w["Itd{}IZUʓlޅp4E4{HRmF4Kc8T$/^.&g/,GG<`6̝k־}5k뵡gШOATD_n^ȋj#D_U=%嵶6'<g嚀. "FNd9< "7׷jM!w$ -/)LϣMh㷦kX軓qA™M2k2f,m.:WL+T08<s.+B|"xՍ/?s"M /]|ث~1s[I#AXi UET- Bӓ!`r>y;K~4i#'Rd.g1(U:o+)"ai_KƖGvf?!t)^XJgÄugj4<6ʘz|KqQA{vtR`6v[GBlCŊecŊDzoa8 Fs>ۨQE* ߢl,r/S?a 2ʇBxءkhbL3$${c0t7BB)+iz])Dž(ne 4UA`7_ȒNã_lN_ K:y#bߣ5B3sGyωOx10($0+ґJ"hduĨ$hExLTYn=>lʶd9ǻn A=F" )s x .9tlwYB28Ŏ (I$G mA+ 5nDcQa5w]ǣaadPi͗WI%YudGiTդqV)Rk77OmVۢorQ%5!εPpM-Fs ˵I9ZH>yow$@KF 6Ms.ҺNHSm ?r"DREs>QxGdW>|ߜ_ha_A e{_ЋhH%#8, J-i۲[QM TDbF=a]/F?pJSVijT5 A3ygCMfS4-CF4$`woꋼe1fkx o:zg_O-OO&ey'Ȉ7%_#K7.|{hӱ0* '`l>XVgCsT-aQT1l2Fߞo?;/slv2֤?ÏGѵk.J8*ykˆX=Û!N&xs2*ns  J˻*܈tJ MߦճPx*lǰg _iKpfˎ 7@,Z=G*yC{  UʸJ pQeWDA? Bc =BƨH'Vujn4j% Đ6WS]kg$z#}NѦ,sanI>듔 wNg_oLj=^QI@r b>cye!U#xpsꊛC-=4tSA>1SN۴5Pz$R!a=U2CXtz'l$RP[T3?-z]dcG]"OX٨Ւ!{v6g1$ 0u_ AF۶ZFzD }( NPصhǁCEwZ̲VI+v=ssB Ymغ) Z0HdOs1s,|%)e@t% 3Lm&'M!\Az/+ܞJ<[7Bԟ1|/ܨ|h!hETVҲG Gpܰ*+ʥJLavܯ+nd;e8m3K#,hf6ɿsLy Ox0&.8 .u"C ! C\ eBSpT_6O,5lŢQk xB=X Mmn$ /`&3|L TDz +e~"|XUZe"rauEܣitKDe\ jڴ;o pFnJ2}EUMaNf MUij_xfW3Y{JHI{s,Z^b~$*J)HZ, |Xb4G GКT"fl="+_Ә*zsd-+xw?9ƘY9E"4d|LQnŪIŀM:ua!Zj ,SV\0-ԸX'()R厪I27'T{DQF+65:0*Ms,ݾ2t KŇ]1@ :Wa̒9 ZT׀Y_TJ|qNրg%sCx&\Bǽ)ӽ?Ko| :sG1ySҙvBm/2..90BjA~|k('{\?yW5 OWDUmםXI>:p$J[&eBc=JmAfxFgrH }#x0ȭ3 ֞/Ƀ5ҍ#E<ٝ;v`EmE6AUyZP z{/grSO;0H' 8Bs'Y5Pd`1m%mT߱jݯ0/ M3lf]"H+y;}r)l5yxO,l /~^jm `ՃȨiTF7Lt0|ޕ>0qNV]f:JpŵE&h=FWO{Rk~)㇂ K[GSBD$,rǮoB]usl< hM( CmP=B 7C @EHkNwNSgĕ@*Ո)x-ߡNFT{u %)ʀp]Q͘odCK/޹%8u)7Dt3 gC, Д .'e/@I>a {=_:w3;_A練ݥ觲|p:4Z&ioeќ-8Tj6bFѡΏ@8?)ɠzIrZi`ʎ?ex-q.tц~ͭ}">4Ei+>?#?ٺdjYHb3x\'Nf5HipVJqfR|jx2t?ǡڟ\ ;RFӧP)0Cjl :^1bc̯ebsz&=_]K~<ZeiIk"'M6g'Y̹\3h)H nE>=epK=6z>mJѡ?*8$ȥĝ''J9M^Bi| "*J0sGbBܘ0RƷÏyвXI)>ˈ1|,/9 r]W'FI,◈- PsGyj&4μӚ+20֨ y\<7sllGtjxo )xvIXM,fxIղj vREwPaœX8fJ4`e!ٝ0ށډ.E0htX2jGm#> R%/cPpRd/$)G`a00D%$ p)G˗R7̗LVǕDIVٶփ'<_܊ LST| bY%JZhTu͟tlhAlls_Ńis' m 7Vkb2Vuϩ~=nu$dDaSod)UN%)V̛]L#(Q&bqc@HSҲϹg6bg&oUi<;W zNamyQ=)(鴑M TI!oPLQ0ِ4T"q*Nd\+T#z֜H _G'c=_Ǫ( @Aܝ=Z j&K"/?^m 7>gT5tM6 ߟXO+uڥj%R1>z|Q ǵTg;Kх@zïXȭ՛N'6AU3|V~,FuNzaUˍă:}xn6_X f!͓A&K3_ؚf*^`)2(gًtSH7k}w8o9Ny8,5y!VI#r=c#O'FsD@#%= x1+ϫdz,qKE_{qZJ%CkbUK*#N5Y`r F7qI!qa>kUdh=J;GvߨvkvEEb $Y5;6Oܘ( 4sZ(A='OOP?xp])̌7WioNw/nD}HaC0FݘcJ)])4*JX:9c0d{a<`v 2_ugxв " 7dacOܦ1ѩXşIZKe:++աR7?4p6UJ<0Y_੯+C. 10U̢?{!XsIk{=J(zZSEߍݐ>YZ.kX,`T\*Ŗ@_~L4Ηdӿ I͡>F+>k*bVާ'xGk1t*HѬt<Ԁp&dn;Dh` bp'jT~0!`¤+.]vX>Xn:Q:K?X#ybulI eҫJ%C*ayS{ܬQdP:"1vHyX,4_['B̝lTn2uB=+ ɓ&Gd}\:]$xn f#34 ݙo|RrWؒ>X'L"c# pr;3oH ݃uUl\/wJit+ [M#k+}U>ٝ:AtYQ<_BϤ0ύYvd~Aŏԣ^hF^Y0%z E&>v";.0_XZo^x3(ɨI崎֘C|}@(Oj|ktic'HÔAǏNci!1LB' 4CtK[X,$18.TM9+Ŷ~VqO(>Ej縭`:8"`;< P|fOrK\ߑvfEE, 1eȠHӌ׬CsY l4Ua\.xEC^#wHnd!TEP.Mü9gޮ#2 ֟ѝ)7<#aS>kaX7l}j; 1(՗Vg?ُHY#&(C=Rro*)E] QtMe'Ze`8Kgً, ٩V3;q 8*'H=̐,.sZi7$[U`e.͋7eM "V7B?D\f8?~ ՅeQ^ByWݚܜ ީPcdSU?cȑP3i&MtP.m#a}zYg#~Rks#+H R8;}c43[y+Rٲʉ5N.Ǜ &\lQiEN(ž%/_%֡@F!=Pmߎ࠶/mXpʤ;⮸W5ۥ'Zi7 3}MqӑǧGB2?qn+fp<>hTfbg%۴r 1C)eæGy`aV#F^Yia1bO2(oR i -(%4gGs*Fٔ^Y Ӿьmk0+7Tż!oNx:n~P.Ί =n'l(_&r3޻z3tn"(H?+9^a n]C ŭ`i(N voHE["-jѠX΅/gYZ21cc395e087a75a8574ed25ce23648e88517d779e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b6187115130889abb5e5b78a68d3c36d5e49668f5f8d1e