SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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=674.926cpu=1600.044gc=252.704factor=2.377zXZִF! (]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbxQcd7Ng(-u6C!5~`*>V]ɾի2'j"\}iVr$) .V զ^Ht >xpH*.8D0J;Qַ95`CRYgn9`gdZr9Q53%7  %,jRҫweHFƢsjJaGvVaL{qoB{ /˕o}]} l!z@)y`Mn벬%R{vD"jct.'WZ'S Ic!abY.֐{}ˬpv+:EցEWNJ* =8%VTkxۧ?p8&J O1~HT~a: md̀7fDaފJGEC"?ʿF_6C}=6F і;/?&ɸ#*^;н|ʫrBI!6{:68<dN) Lꈚ?`ۜ 8%ehqB$<ʿG:M2Z\A E}gZ')dfG~VL#S;L뉜|(>gSߴecYm_=?\1s|5bζj":!`ƄT=˺_^j5(dd (-%hkद_DtEb?-u}=3L0,ڢnKi6bIm@FAzU2z֡;[O1^le*9+Vt޽ KD)vxI\vp?Sl7³bM6A|A1j|tƏV] dk'[ur+lw\>F8"q,k j/fUqϧv52tmED̄}i`j4@,LcP2K@@}'mN7p?J./BCN-sax<˺Jb(2pĪ- Ų{X8 Rq\6w>h(h_)k_ԥܻtjlkOͺAo6<=ynu\uOݝ/JLC15`ClN 3'ۄonL?I$ ܎mi3]0SaSlNwBLM l vwʊHcQoAy&.~=Z"sH>JX4Vzdq0P5UcVxD"rx70WNdUD/T/>F L;wpo]M- /H&[S͘!W;$ڢNER0Ӏ"3͚`,轰]k9,Fc'#{3c=+tmD$nĽE1-4O`lK/`:)m>6$!0[7X/}6ZV|yy'ZB+tF-9Ѿ3Z_5J'V=Qr<ڵҿ5a7tLhy  _'jxJj5Sn- ,ʿ>x pSq8 @>MGk)Gl ZrC.F3 *Ms&VU @f' ah|/0kQ_J'o!R7EL Lr@ѥ!pVj.T]8xaHպ~5{QXs}KA"2Ԓ_?9_}؄1&qO_C5 V}Yhf/|(/@y8 /RCPVC9G?=;\n,fIQ^D&•oȽGXљ~m62C$V'9~q[^}Æ(,M%R:E/ xKtz?׼U>s"pzeIMd9쮿)B*VH#ݑ=l@K0HzExGR픸4%bd֠)vr/~Xa{FtÞUw]zqAҐ wпKUA >e<  X;f{it&P$fkR$Ob-68ӄPoZ'أ,MFxN |UjF+*簳5 nt*[x_a@ fߗ;]7H]+Ιh⮣h*7I% @.b *k柩fpn>w J Rcm$ߡHM\Տ$ZV˴BQʺi2)Z/ +wX^N# D䄶ygs+Pbb5lNKX>2̈r˖ @<4Mqt7;E-~l=O:g ^RhSlumvrdHFSf,a& j9OR/{P_E !?E!Q'H]GYŊW vCsYrk ~H oEx*0M>T2}E6Ԃ(Q%^x/'ycp3ԴAd洽!/µ]bO}!Qͯݳd6Uv4g>_&C9uvP<~\(^/rrIӀc~:p|De_Hzv4 :ueSށ01^ Яv\@sTPQO>OS:ؗrN LG)ⲠlAɾDW\XZȎ|~Hb*bN63(čEb`Y!:kE`lOIE Cz9H6XU:-1_jaQ< /hmj >]ax;+?Ԫlq+BqVi1o1Al2ccw2v˥QƵfC7cY.=v|`]XiX^#-r|Nή2kX{%LX]WioEk&+]}IͷI b(@_&gmu;9*Iff(9Β̍%{%' Ў2Hq|:btlBA 1y{i) ZBrt:h;˵pϏ)VPR\}٩"(#/$-OiT*Ui}AHTɆ*}Z.\~R@)Wq_M,>{mɭ`ԑ]뎹 @3+u8ˁF599ch/ &fnP Ub*EHO4  Fr#yTQUbyݛt(ݜ䁪}ӥoJ6ATl\@p xF4ӹjܩ,mC #3>G-Ϯp}%Ex onz'wQ$z 䁻FhlLT̂/풎y%Gt9.h{͓O.9"RB.ɴ*yjy} ) !xbVULAZ b]s+K- L@zQa1ӘjL;jN\ն1j^H=#3][DcoM*%!ZŜ'I@:U0=Eyf2x qku\{O1\}+i~ۉ*%< 2Σf&2?'f5!H`;1P1~&=0Brٸ28vNhW9(faR5J/71EWƵYFF|LRF*F8yTw O.kNwu޸[)kH9"͌#Of fyT[uL uwözt\_.TIV1$.@Z×B/}=@ob@o*6SOM(ҽ-=8V9D*6vBOӗUJv~Tp?Nؗĺ~nDV`N)$8 ۡ1N;kAQ(S{u#eRqwh@7QAwv Ӱ򷛝d)<(fbMq]K_8x졫N@ EPkEl3EKM?G&Bӿ)@ 'c^&"epkۿ;v;׆A'3:=C,cm#.ǺY{Z!ܗV$o$q^5,~e E`3 +411@)a><A@#?SS8CEru"Q-7vaW/ԁ-a]ivy0Q Fo@%(z*QvD&sS)fw{dۃٳxd ~uvt-]ɏpnډ3wx8, ԕEn܌toPw^$5+'(JF(ʉ2Vzn*5$優j^eRy;jY).b뼆1ṵA"tL2. ԤͬH#!ϱL8)PI{_7@!' JN88̪WB4X"܂/@.1u]MaPBO R.s?DKMO2jёROQN cRAG )DRӵFr&ć w 7D`f27ـ_2蝭+,%bDUϔ{kDJco>Ⱪ#oJr7IP6u؊gGJPK9&Ŋ6q)a#i01 NdM%"w*Qm,19QSD=?^bSj^\F/><*BoO1cY" 76me|G4n*z$Ģjm=I4HR㉟{/FbwɖfrkXbk{lwj5x@xѸNPoI_`o$I*$u) <~Z$)ߦYF-L7 hzZyIdaJJ6Z[0gYZ7zXZִF! n]ŗXiɟ29aoʼz[%U>EM!!*XKh,7+f4_1)`* )kbh23M =ϣIh}׏v"*'0ݦnUILCHNNu&.Vߍ :H6:mT&Z-a;+_NsA^smT@t-` %1&e_#™_u>CxB'Ńs&><.i^Vf}% 0UX@biڀTU&ڞ &jn(c& ti#t_)95WtMy50'uȚ]67| DC&^7 Wxu] }ﳿUB}$]̐Թ$]h;'ZR\XNiy7Q:vmץѤj[0qdZ{wuҖˍC(kCBzLrG1u%)%Ity'b&%g(`)q,uri0Wg1BۣͩiQmv\Ξ2&p݈;KU%?,s<%d 6̒nK'05/_D E<`$0ѡ] ! FFzi%g5@[e:z.s<.Bm)|j^uM!G'o^Dy0ģ-u(G4].84E*pfz@un,nL \P%+AqzO9f7su(-.AY;}$U/F2Vv[r$O*bQ=ˡIJLDe[Dê<"ip~46Eb$6G^$P̔A%Uj_#CI^ O3E/$,j_;ε;W:(y1m 9憎㧠!c72 D;##xu&} uLN2KAa-,ׁ3;h.z3"Ge^rKawǚ_!.~:0^ B_̠9\\\Dͱ]4-sY j{nc]/y)!}]{`l2\sJJ J<3q0ѽ> ͓u\w%>N݊+Gpd*^B12-ϙ?U xzi6RXh( TvON/E#QCmB*ZΦ!Μb2,ձgYZ7zXZִF! +km]ŗXi%@jm/ly:Y}5 q(Q_/4;[j_Y=4_ێ&qՏ}99uR#E{٫){"OyI%D=]Wϼ@N;8hL1dq<,5\['ym5Zpt :@Z^{se$PBa}0%X/3CVckWf.vc(t5⟾!:*ypYO͘;3yCSNf4 t] -5'l[gKfK3~q Z?/%UxodxX^xMuJѢmW!S<rZ M򯭋ڸ.z("\X"f7. ʧ^J5`x?RBzr$6V U,"iTUQ\)+xk˱c47k5d"Jm{ ( ɉXl<ufi<܇om8.NdǞ6Xj$6cWI>8 n)h Nbf1٫v.-&(@iXP2aL..}z:}ICkR٬)g1SCELfQ~$Ag yԋ3(2P Sz|,i駁M3*f#~?oD&3ܐԄaȃ]vnʇYeIP9[5lRêD(RCKW_Z /SXkZ2A`',#Z*ʼnT" Jq'jLvQi{kbDsMlq"?ŝ= ~0 9FS340߳k/n]>!30>tw|ǑVoh#ZlF0PZKFUoZEU!=A9yV7ڤ},Ì I^_L48u_ca_qwa X>JG"kl0k=ؔwl!qfߖ@ QG¶{֐fb%$qkX /lM@N!Ȏ!d"5ge5ߵsWx.bqvR|fYKrںQw5 W~ytZ)>ґ ?Aڸ@]bwŧ"U Tqg}aZ3sƁW}UN`nn45{3;ש̧J&.QSY?&2nvڲMuCjø1fi vtO9j*GH/<9,ce'ccrWhP]K:u%޷oٵtΖc4[`q6 QUQu %D}~^iobYPR5B~ceẼ&R֙ D콘R/y(ĥ ⻨= mfYgd(GGjv\n[=H'qGC/[MZ<9#bF7*RYd48d1̭e?=hr,jY_J? -\yvs?U*`'Z8J:#<+"A&u}I3YJ&La=1_ceEHY aYveqҹ@*̱joa r0 eAl`6:Wh6~ɀ4sB" D[72Yf"ahќ@ǣ ߼`opI^gs_N" [{95J,0rՆ)Pբ"9 Q 8/+M\iT6tl 5Ő*u~ԩ?xҟNv:1>(:[}v`nnXՆq̇)fZOzQ-~(?hgJ,J ')@5YI_tz}R|V׾@qyUD#{Fgu{zA_=.Q 1ͲjaYu@PQweaݠTbyo^;<gN pv/=rBg}k`qkJzE0;]'B3;^x` ;wdѕ򥦙&&,qONϸ -UOff- zɫGC|DYƣlJSG?ftBnc!wƋ`KEp`p#E㏤n-NLB&{`i{1濲.k#J_ P%hur{'J2U%9x7}|ƂHi. Ɛ4S0źӄU}[QX݁$8{0FꢺA嶁]%t΀l%&Uݭ.BRU Fβ>_HHPsc쭢Por?/ҙ Φ]s!}ؽuuu5&"o W-Ch-O/'ILyݬYä_0 l_wEҙ:oF dnblA[CVխ-*wQ:~ʆBj(*UܼT8!J+(#9!HTf 5WI8IB-c?34qB#G7ԴNoa`uz?zɝh?oP^J".ݣˠbT&]N?yry$W}zPkw]wQQ7(_hߙ/ q4݊>h([ހ` ǹY\bxpi(ܫ3.Ze|f]Z;wXI:dX_ V_0N+)V J̿8i:?0g{S{'7O{9aK Q MmFq9^ \٢56Mt CVX9LFx*]mgZV੃07*yʴ;W"77A)ЕBuΔݾqqȗD@'vf?{tel6ND b-n1<3gGn ΰUe<*XNh:Gdň<]HuR*Nro-ԟSI79vy@i-l\q5j*~m@lt_tt0Ay#şS##m~-;).5KLЖn'*vv%agጙT!2$_S`TY="Am*=貣EW2{u+6& CYnF1}UB"D`E"Oll_{v528ztc|W*41Lɨz/`.n<*h^n7K@evY|\\ZK2NZHEϙ!/\HUη7A|RAZE\Η]2B@ˎ!o)7=2U,DF>f Gv#aTVolp1;I8#ܖHvLR F_3zmrǁKMTPTtL6I'=]^07V.|_ j7X$,>Wљh]s55f"&qK/y90DGwdr:L|*ű $/^[eu/?PsE)JL(5HyY 7.Tƫ3%PzŃB`{¬~3*L9p^z2&?-V$b٥exN|Ayf1ge\f$~M'x0Rl_6;'LM笘!`; p/@ui+I%rN!g^.7ۆ60eU:(MF @=Q}B~D92(\T&L\dCڤ>epzF! Ө[xsjv ~$*Z"K+D&E#&Eʥl9bZHEPu#{'} xpkS De!3_[xW+(L>+.5Bfb)% p#$}[RSW|ʖ{7Hoy9ȐrǢ6} 8F/y3N7Z%ynp4xk+qYj`Yk/#d fYDVVۑ(w`LeJΓ1?e)~3]"|`mY^_*j%W#:Xή#X0$YGGrJ')@Z侯 t {lѣ%7~,m8cԻ*=-¨`ڗi=ZVr%Zu/x/KDK SyJEIQq! J\ߡPJ&\wNLXwrݠ^>=4 &OFUSv(n KdB1P1P2h/Id{+ xUB#ﵓ}w.{.b'\^c.N?@VbS#='8S@+T*ȁg}iUAmЊM7 y]9ySwF\]3u($*B2*6֦1FM?E&͂@P;Z8COܦwZ{v"t6%2 HOiC`sDnONX4LEwER?iL'}F:eQVL,EBlXEv\Z\|ǹG+T4&򵻃WI%?4#꺭7![XrH89ƐƮqX%RE3Gtow@p5iWI?<69ʤh~c 8(Ih!m̾wVUeh 2tQ5X_C" Yw:UH b,]Cg!X '1|8kxa]Q(1"tKX>?!I鮛JdN@>(h*S?\CQ .ҭIr :s =7G a~8Tt'c/gbTnD.N踳m%<]V#8UhMx•[ʜ4:!)"ntiljᙿ C?X/ ;Wb>8xNʃó# U] e)q@4z1?@7 ˘hIUq /AFj!gsd+K=xVm zoR'cO Q9gwh&3[n4B_K+E>XA#=:mΝqq# ]ǿ%2eO' WFb=!V9 Kwh{~ǏR!|j~^oorj.\3F۳g*[q9Jv IM4[0tbO ]%lNK(,zd_Y ŮP9Rɟ- Vӷ25jO6ϣy' Ҧ?>[ΛwoU9@E"r mo"H7XOQ<.O>$_g=b܏3lK(] )1]cg;_.G8]-@|XjS#[oXą{6 DM~#w~M;dBpܦn}/ xH 2?c@0Z>fxƑ*{NZ'w tp~uO72b땙9|ڦcVd9'\Mψ x\ʬ+t36jx[ cԆOV۪V"7:ٙݓ2]u}_BYepU(%X8TP6 rvYVq ʩR}j8`9B΄BhT)'H3/Y閕Kr%(9*9݄6V9'뚫RTM.|C~j2rG8-6{gY8XI 2.Zu~pqA1p42>i )ry}?sF 3EGt+ `9cWw %IjY=}s'ydja-8Jss7cKl 'I$~z̮B׼8C\&g]2O$ZWAbx*Qsw5L(l IiNau^ r&vtز,Z%fG< Wr,J%m̧3T)`[lTvв=r`9O_27S^HϚNY"8=1X8?<^g14KUɼ7+OK\YnĎ.lUF'cS5N/ I d.pmz`a56C$ `ATO&t։#%p8нOUs` I6#J->Rv5YeZNX6BistH;>?"Z`(^.¥ufUiIdIỜ\?uPt'l' Lap"/p; 0c?k/xV#{Lrtvb9kߤ{gsfKG/1beI^UBi0)aS{6sBTq~ay]`–^F0}R.O1Uw=`kS-3 %PG@RgX'6Ě"(mN Պ>7wrRl6~Ɖ#iZ% ٽ`;{Jt˂ϟ; zmeq܎?4O4&_uDcFp$Rސ-WB}  m^#_3A:*:^^ >we FuX%94&6u|7oq ҚId`exFuLNEQ74߃hŧںD~a CsA:+ji+Ja#ݬ\Sm:VʵU6bQ9+빫նEe%om@VN#;$lfg`V3 =d"2u|j7o/,~쑪B!DlH0eО7ejƬ (cAv>ps(als2+Tڅ;pU. U^xzKG{+Ȏk$6eg6󃿷&,_br= z7L-+-Y=Y^W@e᳙k&=^!`s<,≯Z&1[֓ (dDpׄwKI>8{?K=ι@ΞkDkӨ\7O#k)=S0&QncU288|2ƞo($ҭ =^` 2'hZ_+;f7Qw[{;$q.!K,^K':qAڿnMobnFG b5ߐ{G1/4E#,%Լ/&׈V]} {*x^]=$_y$Pϱrk)>٪#'pF:3NgI~~aW{rA1{10|5vCFJxwR-'H#gR9xHjy8f DDHf- @I$^p`u&E3]Ry0 7#r RLB=q'H"C$uݍ־ o)?F;$1VX샠+=L{,coF7՜#^r#-$S+;R >/h}b5Ymr1 Fٮ Gu (/5°u>Yw)!S7itQLZ/D?z_W;.O"w,{mS Hk|*ǩ HА|Kc|$cIr)8 ghւ4_"tcHMX/Ebm[P ~=Tn0rMWFY'p_捾| ?w<"W*mXwJӠ"FxC}ԾҖ NVaxà %w%u U{q{CwMqB<1d {MB!<}10۵ _:Wd_ 'Z'c.E LtQ(_l8L0KcvKGwӁy$ )Gd48rGiKV>0P{k~mHuR͛Q4o=lw̓ۯ% jQ#`88g@b T:KZaUի9^\xMc2M!d%Y*CQ,*+:Z.i qݨS:*}t2g#6?uSMMǷ{ H{8ҙľ-JdS-$} ZÅ\𧅲53*kCicNC~ مl#Yt}];.ܻ{J\|=]q6{Պ˒I)G`B,,މ8?7 m*9AD#AD47bTVSnnz -l"M1QHxn5oCrWN61&vFހ{`=$P.AXNdX1mR?bbI$@8!j=jay[KWF&sSagH*4Dfpctt0qD p%z*Af D\|4piwtM൩cXZ"pj+x`}ȏT=7(Ef1sEʗȃ1p~Z%sﳒɍr<'Rk@%G5WF͟ *[ 4' iDܩ$Xl86S[k6b'RctxL9'(7lN!Y:K,jHCG鉪H{\V5l3iQp,2(lR\YoP\=_vԻV B }*٥0.#%5[ B;6A. @)͞\.PY ЬEat`/v_xɅ!.JשX=?LkP7 Hkd@ ס++ҽJAY rb6Uwֲ#gM.Kl/ ulҍ{r=҆[Pl$ϹMY]Y#@s-%^m/ҚaKesӐ>wz/X_lXd m`~áL F.ÜwkZ /&xC >6R,qrojګDQLzu(T*.;rG3B5Lx`gWW,0Ѓ|tw$qm%k2ޖU Y:k(Ğ3G96^ۮypfNfi.xOfcψc=EMlin؊zA]ǻAVw@@1m&JyDyxF#{B~> #aNӦƞt7ΏR(q*]Yh_cfYp8~ScfCvR\e"- Op#v26sHY Eeyޜ;&=&I&:D;e;!BLີE#s+=ϐ}7)<"~AϷ)5E;eQ[9lQ{=D"ih,%hԿc]uWrrlM` 2T8{HE y%`đwppF OC "Iz*i_gsX}z%]l?hSuHg@(;l=Y^dދT[eO` e3Fz!(b1MEAiQ']X؞=Dn |)%;za!=T)1yanLt+uSCI<ݿ[q0qjF>^:_mC @GGG]St?3O LW$uIbֶ,zQ g۾1mz) brmW1`j種}9vKԯAb=[ _s-u3ÿ@O&W#j,ƒ^U캘|̞4pZ] <4IrA=lf[?gFeɃdUu6wںjh o 'bV?;z~{XVuXQ^.9? \Ɩ~M}8$ <$($ ͹C-6$ 0̎`>}0 ovv61pڕJ_H4u[ km<-͑C|gpvHo[$x1{_)33ͳ`ȩUxGP;¢֥LStYyi5C,JqC:דx%*HPq1R"H(",dVgwԜMi2HyvrA TۙǛ;C& >Eܚ'VDI`ta/k=rӛȪUZܝR/ *86}X.(Fbw-DciV{C)i%Eu vͭUG<#Ij'ɑ91vM8X9^_sYh SvUqIJ>CE- p9{hB Q!Lӷ)\|o+JR9J%JCiخ 91ykf$x'̢BTPDdLrljCBhTFRL @B/ ~׬ 5\QR 7Pp|id?*s J?8lG̈>yr.@bPI`NY`iWA8_fk$tD7UV`{j/>lR'&*hpذ슦ú>Y$BZRbB^e;.Jm{$w;M穯 c,KfnӦ{" * ] 4U?;e_(ڻܦt׮(֎>`{%:~EQFh9loîl v,W`Yζ"|v@s=%{~ Fk  S6ʒz|XUT/ ~-<:P۸v =-r3Е[+XV?٤[y\:537G) DJ3/X6:D&J &3 yA[ihdd'iƿOR)dT̒w Szd> b/N/|zu7UyFg,rg 0|VIrzR)b@2PL]`,]`G`3SxŴ7/HM4l9X2fbj20],% 2DF2CvNy3N찡Opꙣx]] ۯFVZ$ 9KK: i݀07U((3Ñ#iBsj% .ިz խps/W"`{ ƀP$*Y+m5ލ?iXlZd+yez^cTE$>z-Q77>%rnF_4V.cM+yZ6ԛxӘlXCQ6|.8g%i>N`xa\uNJ\p `EȌgZYKڵuR.ozl @`fR3媫Jǿj[nW(d7ef-ah0fXBï*$7`/[+K)ӕ!N e'm CCV:؉uyPHIמo]܇ Pyr͠L],3p=0asL wb Prp,uH[Q_`q,Zak>]L7fgëpWm~j%lhuTCͤ\ݢ*Lʐ`Ցl+.;j$e'ϴeR*-ݓ>|$ ?tԈuJ|l\ɺ$×/@opOX k8D$ur] [HBHD': ^pV>_BVV[g̀q:t΁Mp*#MC*Fe 2U$tX]-8}ǥX֧?$3=PA7;1[VǕCGjPwZ]tDK( Cp;,v 9,P͔pF3DVt C2O@,Z PQ/"I 9J ,4۽se2\?܊T<צuGD t)3iXiѷZТ܅,v8xm] *e R_)TM IfɫNSмR]P_3ԹL``J!BD|u&>Q*{E^%}38y .R{DIZ̿( 56a@a5Eܦ># 6 8~(e-*X87}\Zgc[%vr8さnܞQ=5󣹅[j\$Z;5ZdϭKS3uRgkybmauX/'FMMb$]NaiwxyY=+0u4A݀ӊn@QU1gP[&利cqrƊ9Y>@3:rp+(s&FZͼ gVUղW{ݣݡ] 0emDNw`sj8 p7Dc>=.wRvII늑znOw:Y}+ 7d xv?9!E]sA뾎Cp(/ԘK뉧wpgaZtڴ*HFB/m֙X2 p ֊~kw1:5{dxcRkH7u,&B gH0[*1"&CՃ#4H!7 !:jd:yHYtFW7d7qt~ֿ{qy9 {2/?tNGxp'+@_Fq#&?W窖 7\tPu x*nS2F iloӗu{+g1ն{OQՄDچ06c2KvDozφo}| T `ć4' '̢vڔ1#,ΆTy2B'D7S @0Q-BY8' x\ٔ14chq3kEM4D&q3  qnXnypnr dQׅ&`>sѨ1O;QL\@w73}T/,#qK{E~PzN+LgOo޶|7StqBy 0<ԳS}S)T5ˆ fxm׳Q:۫ B9W[`=n!Gi2bݻqI`|y J#o5_1l/! HCO3z!.GLJ0QDZúj !(I"J_=p*xl7HNrKkCBÜ8L :8:~NMܥ7H:; =[Qwe@9O y$T"B;6?˜;0}n= CDW/Ȋ!fMMgN ! WeƮQćd\ݔcL a[5TJF7hE}W8kB.ıڨD\zA"\gs+۷*:*hȲҫDgo96yO bc KoGOfԩ%|SU%s4/=%o=!6e]P`zha:,N&8VFͯ%ʆ+4ShPBM r5i sZx"S0:Uݤ0&A>_'Qڣ [D%# ݽv&bƥCla~&pV.4 Q YQf8َ 9Icפ'&]k%&Uܥbw&"j\)PMqEMde1eYoqxtS}2eX6vI>/k@onFM1m9@t1f 0ެ: ޏh2qJ Fѿo^vm@$)YwsU[js_tmf'm#T]J5*PB8!;`\4ms'&|@(脎HQR+0tWAmp݋Fpw1;c+H+^asjfY1$'](p3hi1~J{pjxͰl6\bIL|]TOWUi7FIԃfO^6zR*9.(9.!53h j`v^̰K'`CiQMsHB0뤌*^$ԯTߓF\a|! k#yR^Jr[%VHdv8\,a#&x>[4$N Ms{z #C [|c y$ گZ*&6(4j7>+důJ]Pvb XK :1[=)n =یc ]BgO@J A~do.HT2 ~sv+ Vobg|yvZq|~o@W1V9M_f ~hpFe"K V9Ãkd NT#F=8 M꜀Î󅌊BiTc5'(`=S/){˂UUkm<;axJɨ{ {2@=!$_ZٹXf0KG1נ [8ƜSC:Exw}Z޼i7w!"9b"oyU9#㒝z>.Gҥl{܈IF,@B"K֐1]{TClPSܚof鉕E^GexFY\ X"H񾅪tI8N F"J"0t`Әz+7x\4lU,UtUr8pHۿT: U׶i - 7a62& ~f4ϪYoWJ7eYG$7lVrhg?oA1!j%5?v"<hӞB gf *d~ )l / 1Y{ aړ@XmO*Lw# li\Cp%,]c)&{&܆N~fbud!i.ZwJMt9U qd?b2-M[Ǜx0ۘ  `6\qwhp>2+uEg!(+j592iN!) S9x^X*A{,A0H^SIi*v i"}3E?VuzIqx^oþnQѕh8c0(kAz|>Q"WxLt+F [Br<$y)YxMoI?3͞IĪ-Dz4{,a;! ;K2!6R,@p(&C5aЯ 5wIMϼio^|r *ZFCI`P~%I DhI2"{c_1YWUQ{\@+ݎ`;C]b>e9qΖԱL-NqXǬ $r[y xq1y<%ޮUUp^0XDV/g^6J65p/-C$OJ;3f L&Vj J/;y`H/ 5N\Z/pej!TLhD ]MB" l΅>{Mg,Tf^`wQL\ 45pvh 0*HV9t/s亍S,E/=`0`EglB G2Fk 9Uׂ&l[AQlxN^q@a-}łsسaeg^TsI/F9Bn冯Ly)|uON. id]-@ws\ ]ʒ,&ނ WP,e݈WyGTΰj3pv9fq>8; < ch֝(|E5̺o_i'EG/[`O؉`}mrɠC,2=q,A{q1S|9A\.dqw])p6ۂ0M+Wx,+>T{uV`w(&̹s!p(1`=j߅\€ByHQskפpǑC]|a[ТFjl<*I3pNUcy{ y7J+Q ญ A.Em]E}"qSntr/ fuW_TPZ9HT 0Q2[f61= _'Lgvs+u1YA+1L^R 6 \]iELnG,n ~~=<ض3o< cؓ[1?",jP>m?g[I(}~Sׂ0"ףAsa ]G L*pt$r{EqD\y(s[mb#ЖE><Ҩ?~W3-fWz}/#by_wf0;Cbv6Ql1N65FLںvpIR0ccA&ZE(9?lD#n,nu*g P_s&ӛy;@–M&J_-3nT<s6sKbw[0u)Sm/>h[}Q2_q A<.,l0IWӓya6Hh^%975jJ(3ꋄ:k(*qMQ;Sr&\2uƶA\}ա{ȃ^?q*ܓ&9 zha>B܇b#AK"x(Jp9wٽ=T?k%IFe%. Be+%l1|y7Hcđ `a=/d_c2L*sz(KVws"n}psm҆5ᡘG10%IDX8L$PNꉅ ɾn 8mg}Vq͹dσ1WVT* 7Vα_RU T[98Ξ1B.<2]6RD8E!KwrR7I\ecۮG($r*1'C/qLw@Ua?N۫9d\yEf9?bJ8}rek7{N۪"!AVt~x0*&_jZh糜 hj*o`i3 _?tm΄O>KvGu_Pt$ߧMKU@C^`>6m䷂i++2v'Ϊm:dV`'ĘWj4 *7ĥڸ2Ϊim)%Wj=ZdMF\t5f['8L<9`p'NdD?e CAĭ//Я4V$Qv.mtQz ުV 䉌'!z^cyd"xn\JeAQX~],JCvW_А6~?7˪.2lh͞$56i=E˴m|!m"wlݤV"QȊXv^maomzlAd~Fqu}a 9{!J{Zojd>/=z!awy+e',XZII熿_t[9n 򒚨>SoV&?ii2$H_tb1Nw!Td2LJZs0Iq O 31ww E5FEHu{V*o L` XJm@.-hs{{Y]3;ZIuĤ3G 3h_!Dlh)CVTq+xxёW*F!:.%BvflsUbmx_t}E; ~0P_ٌ\ Y=ư"I9Ն$ETޭo !A`z:8$*qs