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 L!|T< ]]]HOL-Proofs:threads=6elapsed=542.711cpu=1223.624gc=171.164factor=2.257zXZִF! ׶]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\5hN/5{alb*Oe'hErW`qG9AL&N\},lLPef 5aK;Egʴx*vUӨTwSRzzS6p^m wag~c5HIܴk}3nwHxg2јFI:_LJA'xTǺ*D2$;kUſ-{qƿ)=m+|΃tM`bFZX\w@)Œ<Ƌe)@Qy]Cm|BH GoFG]5lVwv DܥJcJfʣﱍYn框BiLX@$58i Dw$Fx3qЩ}l4 -?B@ʉqK~u=(](-_AblDO9mME.l4o{X}0\"C=@]qu]7l G WF`&v΢]VȣY/I\#k:7!t>D 1V!jBFh*=+. MJRxNn{͔ܻ+Uh%n8˜u[p--W Y( ֚s;~Mo,?dϔ=J'YS&o/ 9ma2?S}RP#!9~TsgSJA/ 9#e7O Db@\EDh^kD?]Hn#X%5ՌgAqic74.G+E"htqOsyF엚QܦwddCQpQ"܊!o/y))PUu,E `rH!fOy)jBv]B-yvåP-lq>EyGYJֿ'ázfF sT\AeT]T6vs}5Sb"OmT302se=AQezt{-;_|<.q#&mFҸ0=tY]6LsD?}o;|JСTv3> oBN<[d <hp#,*%GJ]Z4 )_qoebs{@ضW3DɐG- ķ]݆)R}HҸ G#(  aHjby¶8/w']Ȅ:'r[[~[-@Bؑ H~>#myQfWFnZ4}Ci̽RD*գt2׉+<6ʈOMs~9+ {J] N%|PX[ұ,Wt/zSȘ?qo| ,SeA![W6M`qI^Kkfw~ %2E1:ՀdyOkH_m &d&ˮ)'U^xK{EJߠoFҗ$Z89s|nVG0)M l*>6nkXtEl8tHvQ0N7|/"bxZO?!E)FiEkR%ZQY'+=oMw23*%wB[Qp'\}"ZidF&?UɄӬ$ ;Qe  ! HOL-Proofsrb0ŀRO64y,6 O1rk/yJmANTF%w*YX|O[@m%zҹaGs m6/ Br֪&>%?=sv#+$ʡbYԍ_|A6ٜsj^i v I3Mزsh7ov ;BӚzj=j1!;I@Z$ow7<c{`%Ϳ~6mt,4)7|=&vLڜo@&1q|(rLBPm&$jwKZ2GnAг\0 h* r4OMk1ζUZNHyAp:5jlW{yUo1kpI2,,s/F[XO{gQ@~#)i?jY+d@>T2KI؝`}BQ ջ/-9=%qT,d2]1yg~V+hl톖ƻp]ﶕ>?+a-4XV*U ώE*y'ftO i/lL\币g蝽( )|a95t٘_{/ҳX *+kx(YH2yvَs138D~=$ڜM<%l֣ٔaXe4V t?0B Ç&+oC*h$10sBjZKd~q(938oOn((USsO3WeE!x1q9+'xw@ ȅf>>섪hPyF,q%ϕ]3)e{P[zFvm_2U"IxP}JO|QvIRvdL{~:,9 ! yn >5P> g6YY2u)e<]=?}Dw+4f|aD^g!8CB+R5s,vB27rDtEXD*|g#kŒӬt9'l餂`ʓo.Y6/;<3(-_0(4!} 8X [)Kz tG 0M|VH,U<%ȉR( p}x+j˧+| 6$0$N\%RW(*:GMy_]1%;jf;"YO_2qh]G/AIV扩^aC<8}&gTTSZT:s]*8]xP8~i[9'Ě/8QV.Xf>dYtե&1e'jP6LP%|5[YR"E1R'ۜyg<[֊)" > Ck++lј+w &aSf:Un}5q@BrPֳƛֺ.6F[Ft," X.fm_r90]Z(RմMxM#|0Pd@\.D8gw.^Wߗe#zWRaJIǞv"f#/G}T>ORp-%9ڷ OdkrEQIȯRs\(D]cSPG1Icl(~So5zvΡw(nc9H#u>Zǖ 2cDd"x0nM~-EO4~V8wjs O8pp&q]Qgb[ ~A \kzq@Hsp/H+$+hӟhj'.Pbd?=)\nSA$PM_+kSU^ѣJ>uᾊ AՃ%%ݠ2P[&^!F'{@SlHSpT&&RHZ%uhe3=Oگ/a bJA/X%i>P|8^Yu7=fzro@{h31}!05Hv8އVR*>F&MdbT0ϤC7UC͈k!]=?fUBDqZ<{kE}z(ϲSit@5^&jQlb4I pa=\J0 ~IbsHSx;d4W~œ2<:0XGG\fwxL"z NL:mIoc^FF(~A% ?=NP /ƐYʿَ[)Iqyc a'DsuNSU6xj.:OH%W~hkψ z-_bR1gE[\q5tBV3O6kґzx*dW"xx ڹ [(6*,SX Yj_rgZN3/0ʕ4n^OF&!ze̢ߚVHy7y?ԫey7 K*%4PSKLo%̥t}6YL Ǿ N gQuO"%x'm@k52l{ ك͋u.-hBtHw"XL{׏`|Uh5}ǵk5+KwT/eQ_'c$M9'J~&-k>WkAc [23tX5x&|)_4. Z6r7.hޠĶ3&#cAm(YK3uDԵzQ^# p_qF((jEP=IHJW50<B$4ѳνvV#DfNv![f`INQc1/'ENN<-i0F{/1+*0w2eH6u7JCp؀Q>a[>VF4WI&7$#Pm̊qMO/;ǡs6|"NTA/-̇mEM!!BKark`gbSl J.LmVuoPֱw(qjHmDOA9vMm?.p4̆sҢI tע3 `ƍyp4n#83Y" z7&M8H@eNUVxePThjbY)q6HAezPɒ3&YXƽHf8Z+|0t]uo+~=|,]- ƺuEqxs8F=08)sťXqRP'p8ѪR Edpo"sJ} 9"Dc.bcL4*d5WU1xe=BOM1BBDK}yIpy/ ؼ˸dCպ[Z[ fK)ps"' ]xGZd[vt) "?d :q;0 T$QKfB$ |$)`9EUN6cE{ukk0}{sG6D:]db ,ˏ Rn\P̜*Y#Jly uf/Ɨ:淡}2!%^mZ`1K `- ?oݑvt`ܖ `@[X"gK<J5\nE Qˬ vd<.96viе-u7{6IoDlUwo,3k/P])P u)L{wA긍Po~`-]Bż&pJM;( ZwS ]PծSRL;l3Fa}8ݤVfTT\dw0'Ш7h 7^旝ou1L,XW&9#-T\WpQ/Ts"B>Z,jFӈĚ؛H8oe#$heua 럢 l Vw&H)8mh 5 bI=G(V_tV/ t aV[:t*1K,;0Wv-cN/H`(c+NUlڡs@^ tKӡcvޜD-[.t' ѝurC5軟Fъli0/Z!s'V7p3 J4d ]Z șW6p4d0zw"A\XF "uLUS^r}V"&o/̌a z(`NڲK*!k6ɯ6,O*&!ݪbmS睐൷:t,"ZXŐ^QP-$ʆ]+E~<;=r?}R;6e:3ckOp<{RECr'JdR"Wm|TUO!n{gMs4$v25gWaCQ5baZļ=t~@`IBޭ͟-{.pKIY;Bmѕ@hzq[{s")ICD`/9+U7TSo;079:v:D՝En 8]d+JZP*`TO'g9V 2˱gYZ7zXZִF! Vh]ŗXi%;w;D43B.YCv\O>|zu~qGǴ9<)v/hzԺ-a'co5TrEL u?;.6zU^97t!mJ@ğv\ojᲨ`!ˆ^oA(žt;x#UUñq|&j(Ԡ{9 Sye)q.Q7"mؾm<2LjKs륬Lˬa-xhMwXsіiCA QQz4Gu~[IHƉiy(P({Fm;6_wqm!t@u|$4> m zha*83|(&J.i5 `;-W/fC'lŧHulgl$l=~5pd-e#;ߊ>T'}#pU鵸g9zo2UEHRK98 2&*_K*%/6]6xjB=v.`:j˚g V&D/GLKc3ܐRkћEqۡ7CL|ke GF_cOM.e9ͯd.\m,PݺI09-{Ѥu!2 +xμpԂMZjE)'S !1CLntJ>NMpN~V#}dYr,poꑋ+xtbVj]à5Vk({R[T9Q3Kl5`Џ ax~J[8MrP{ zSe'94л>2+! ׏Q^)(=ʲԤUMZ>2§P^k0띳$4%olw}E?(89yy61v5f5_~w+&2c\4-I8( MpH\-z^aƊO\@.)(a;.Vv)+lfMK1:)FnH=UݛD/p텤1f=ylQ7Gk2%[ޟJ5]pL׾ƍۏJEdly4h.ZSW3ڸ M.6#puR p& :>Juk@M"HqS2lJ~]Rx6J;'aJl9c=]xl0β󲞪әGA3 1r0<> h'pΛK;Brwrg R1V9c,$a%8p8:S7ktT%:hC;3 p8z;ŽZCW7LךF5lln:ϣ :,T12 PQ^5 pܶ)bϲՁ 6>BtXMR}t`_]0; vs5^vĈ0QB,M (wWY5Z!H2/b >E돓<ӣ8dZD[t#qbT.={P˻PQ&uBQ2K(2qI Q"fQ}W 4==J4{ܰwʮN<WwSz*[lԈX";Ώ H ,OR9[bSTf#Nt[pB~s uɷDo.ѽ޼?Mn "a^6Cc WK`BW:gW?WOT\ 6a6#݂϶v=oȭ"D6( R "۠G[T̩hez~IDLWE4k|2=@]Yޱ$qNJ vֹJ"eB".R~htޤiCI;[F)O0KguwR>QL;HP<ōp'jhÆ@ꌊ@G @UJAEEHԨ{ LD1 ňn{'/gyUIgL\k@%~|[1&}ZZC `Sp+w+6Bn3_Tv&K(O0ouV_5rbuxR5AF?μR|/Ho8+y=_1#Vlʇ00eK\u2U;uazT>hiKCs%T}lαbvԞ(A8A:GDH0-hTHܾ#bMi W!7եҸmNi g2'^TpyՔ:PfסWYζ$/uKp,a_Pw/J6Qu6tp1:a&<3E$T*~0T}47o*df'rt9#ù5\k|1cTe  }o$#xf`؀0*"rj 6AemCcv/ޠ2G2U`&{dEiѴT,ZN2MX=ςryzz؋WN{o].񜻹2+>RqS*jeHB7pnqҿt۠'N'ܫ1m _/Zt> %>ɃWG*5/xI|6MIؽ /%W$On0;Z|!ZjM'v6bv%&}i zLj zk.*n+a,"-Mck+q7i 6h"x>e,=p^1}jrw %^y).id=lTIB&MvypﱦRFoIf]T*H;,–Q\l;_5[hL-UTc œ^-e@TlRnj >`'O1,sV)jsC(ҥt8a*:#Gn J;Ю[3t$!Y_vm0\ *SƮqͨK~˫NGdNGO֏O\/~ iǞs.Z2X2QJlv,AjvLYrZ9ޟ az̒iyoq# L#һIij'M@cE97t4f]f~UZo_=z I߇kb/Pxg7Q%Odu` Ũ'Yf_~ƌcn\߂WLp?8iW~QruP(KA۾ ڣěLkqMʇb>p"E&M7@:a kVyse/S+I"LM.)&ؕ&K! \vFaQ>:н5w]~A>iEh3gfUCC,^N!Oں2ό"`E,C)>P{ig}1ё#. I]tK̀,Hܵga,tNONyK;բPA@7+62ߦ3_#u0U'~0 +Z@" ap<@?Lt4"^i|P28H_ ziEqӯ`Bo=/f'Rɠ}^ܳ z^CNE6jU|@zp[ᦈ{<=d)PޢD&\}vț+ kGϰzN//ºBl颋)iS: 'cmxi>gɴ!g0LKE Wļ'']J~gF|_ɎѢM6yeG}-|^Y(b:/KvTUZ MmzZʷ,:Y(!$Gg(H|kȕ,:{Oe`EzSIѲk .]duJӖ!ɵ-o{JlAX[nX}2U){Xc Aӄ/P,ޛW<75P5C{RL15X/UׁA$/AGfPS*>4ua)n ߬u`>b3EC[j͕e@EwZ0MjdKAhG.VX_?>wZZ;ʓ5;.OwM,q5hIJYyF~@W%C~VL#Hg|ia uO[$:sOI{{Tr^gLg,Ԑ& =OB3~G4CJ{Q31oni wvFWeL"IJiL]pS*81sozj]2n%WJFhфHe5c`˳TlG1Tb80!2WucsvOH+j%̘hdtKFBXIV VHnZ^lw#*lMD?^Xtz2rd1BwToƻG6X%go]8ZN+7.{?ۏlem,T\=:# O<{%xSul^m^l3+i]ڸ=.{rsoZ#=Gvmf"V(aKJq\c/fKn|ů񫢌!nFL xG#2h{y+zel{gqL2Է `b {*`K)A[qZ(;[i?K]vt%UH?fD? EZNXKi:} V~I1%Gsz+`CS4jqqůeIY*[R@I_~Gm:9[ո2(?dN#8JUB|ݡMB9=f#2 ,$h2 +#YA~?L;g')_#)~zFO@;o/w݃93E|K=?9u BV58X /'3 㡜^(א>2!Xw܁S"Uo9MBmq]QNXTɱ"yf,s >!ߒPCL@F`$vRsd}G(I*5a`V"%ڊm:aw" IIĨh2wpa=pRBj;۞8 B!ϲeۇ.vZGY#{1ckfNvGb"KկmW0S"0|ˆICv%Br8pP@*2R8J5x %4Go#ƪXxerEQxAPgYUefaxQ`NZқۆ–Jf.х+P4mPYE3:}`RV6s_M;qI.>kh|$O¿y}zl[qv4Cw/ = -ӳL+o55~NVsyY̗`U.~x1dS yd PF:2Vʺʫ5^3”hOc ~R9H{+VD : /i$U?$Wh:z7ӭڹcZPRH3n{j . IU37RօTDȐ]'fgwRЭ4`4?wI5jO?vbxݣQ-O%n,^MzR3anl^ %J=ah+.ju;ª~ r/l{q֍@GPWX2C;pd C9FSf n9B[@eː}/TKlGo^{/p$haIQ~0/V2!DlQ@dDȠC{y-WΣzӟ4!g#%끟Ĭfa2^I=}E/*H֮MZlh/ߓI ? v|],&~a=XQ)vxŇ" **+JzuW))P=ZLaٶ_ GnF׌UΨ̜1/YL{cM lxJ2 *&X''vq\$wu,)]3S^5omQmh={KO ,j~ 46{PA7WgNߙPX~G],F! S6JoZ{H)Ǥ<ST= r Xʿ[!&Ҙ,b|AfjspBsc^N]nJeQD0{߻TcO(`!sR٘5]dvnqJThkx5KeMe4UKIQQ+Z5ζS)( TCKmNj +fbK# :MR@]ӑp5{ݥ5'&ٹ<^w8VC6 :!9\/gJg <(l@DܭgH쐦sȟ[w@{UHaټx*tsBxhH`iRG7"AwL*1&UHiG7}N?Ce@D|#\rkeMcn$L~/93 AC~k`eNqvԚ)66%m7r:wG,Ñݤ`!-y!Wrx)LjKؚT]ٻxየp>$IÙBSG}-Tv38=cf(%Rv~n2E&*y%+Y:Fg [ o$Oͷ^\y T R/ z2|^J];pfy} ,)3xkīr `ZS#6NQάpe>dLH< .%}++2~wa+o 4lVK: }ywD!Tv#e&g]\'߱*d(ɵ/, 4J &<Xk~$zĔ(cRO ϓ{9(nu𬣓6;G~= OҋV1zIk% R]kxUp@@|VöIAz3|NcIpޜO7*bȒa .!F$Dt%x*6@,`Q4j 1f*&T)GsQcVk]wrx>*fIJ9ΑR7{vp2 Zx+ U-GmބE ww7#@O]':"zqyUt(QuW3];#)r@(=ۺ D st>Zu=`[Dwnio[w1BI}; j]V ɻ*a>}]&ϔuva-<H&͊QNj1юy@0[-+w)/}&WͨV7xwįE^|_^-j#XT։$PIEMϐx訏3(bb.]HxՁ㼴8ල. XԒ"#.:]Sgf!"k ?̞9Ih WyM<1DMn]-qqIWaccMtѺ5e9(+p0ȳxd8aDdgrfɿWCLzOɈjJ7qVU\vUwi;֬ 4?'aehgQZ[3:ٓfaW1V_xz >]t'Fq.qU>CTpѩPN{Vl=yKPF9!!cڲ:ѩTU-x&Ћ1 Hǥq)hI6HcүΤ*Y:j ߯_]*QOyߠm촅9TݦxYMDīMq<}f[BwIJIiҵZx0I&7yԎ`P{eRǟDgKEްt,꫉k0埃>}[I)fvصfߖI=m1ߊMs\tl.HԉdZk)B!X)`Hhcn.t3Z Sw䢩@$9P"Bw,\ԦjuU6g#h koF+3K5UU IUGߍ}FRzMYn*四ːQ ZF=X'dFfܔ@;Mt.m|@y pbAYpRg>Pg 55ٕ#X3G!*V**J&peBix5$1{yo=N'#/so *34;{ W"ې 3l]:>ՏMN7#xzs T9k;&%G< H)M-m#|yW7^ fS| y-' a^ݲ/ᮘ!]&Iq:ɡe.x=>+fEhRkSw+ z 0,8lrjKaL0}cC 'IV^#zZz+B ߔHAf/*LuT 9[{̱Y: 'WdV%oOO"ZJ@'xo|'*G[MFߊ+, 2<Qzwh,bZgel+"W׼KoL3fUu h%4AqfM\5iAJNht`<)ĊTeW3,tBM]{S ыEЖzk_:ٕ0{  -ݎ{ت5 5 v=S&E6pbc;A5qwunjz;;@uu3èFJNi1X?ko$L&aS *+qg;MHLGFz諒:Skf!B+NV@'q],eS$nx Wٌ?D+$I_p'2ߦ)S8C3s87 s. kx44ą oFA/׸r? J#k6mvٸ-rz`iPW#!fnJ˶f2칺Xׄ:*ib]m▏6vXIz\R8\VZ"ϥLE5P+R*H'3V7q 4hg< 'c+9z%hZq6ɿKj&46&PtcD~I&5pia@bpv`@B+ako/Eڃ:3/Pc{zv0Mr|8I }ΥCqJNjaf9,q)w%>?JߩK_>>c>U!d7reLәXX]f8tg]Xw!Q`"*n5PVhHon 5oc)f;>d? ™1(TkJu1A 5T>Nۓ`[’tN-" D`3Z<>W2P+g?l&Pmq8asM6.A #-Ck @n8M܍\9+ :"cժR|?ꛇώzTR,PHMRnGzyLPӒ${O4K%X['2*w^1z?KN'-諾%MDh=X΃ݕ5s}үm$]p9r+4-q/Q@@^&VDS2jVdԲ+bOCRfnnmēM>$/-/>dT/5;66rVB}̶޽@7g{TYrpBǠ.wL}#|ѿ#I)Z%kHM yΚc.VĠ= * _]4"(V0CIǰ_ʼnԿn|5VZEЧ*pr8{eǸ$R M*쪲=FK~SmhdsC #q V C皎: itP=5ȁ(fϓV\"Jޱ'u 훷d6{OD~v*%[C|n\rb\lcWcNӜJ4#J-ƴq#VKўJV74ltX+u7ȑӘUC!p;69,|6?zSI?eWQ_iʫ3#b s98gb/MGJ =6ՙ?fupA/i6;6:E![3;܁h6ՑT Q,sC?7~,윱Z.La#S^l#5xmn&*i{'h;B 0|gw]J1g ؾGIl+~#A7s^׵VZu'!U:{8 +]sK704̘`$T=A(Qnɛ9i]=$:~F\d8װCa]HƲ \$B3*%b甋aO 9qɝ֎u]ҩی^3ާڅ] s;BN;16RJl\L0@vuhk䒧y.!p05\Ov]kF⣕neEr=k$>@09)K&öNv0&%7:5icNv0ډ KP#7%>V ̪]& {M2|EeM%E ,-{_˼V+*?44vsgR[7 ?sN bb@MV/1=k8TU.\t^"*?,OyxGnr/yrܶ +dyn*󺑔=VP^ Wkf=,h}m"@]J\1."z-uZ7b6[ut20h'k-. PGLɣ&Ea?U>wΦ7MAQP5E/$*GtFaH >ȱ'ͱjO X 쭇| aS)u153* ,W$Z`D ۯ:Ip y@԰ڙB ]غL_r4S6k"=牅fpRVK]^ѧ$׃>yȡ& uEu (ktxA!:|*?ЊC/!Ž6X* ُC;J].: wa}n 6>Tx1乺];ar`A뱜O7;ܬj^;cGCq]3ymFd\p5[a^w;א LnUocBw؅(R6;S^b=;S- pgD*#q?Ob1ҚL]Nbv@2oE҅ar@Ǵa͆~ΧyVl:+PdLS@*:GpP>GɌowg1WDkIPk{9s <Ȓ.}+|{L"fqZbc5[,[Ա*5J_)_͆{vGayUww=uU2 p=߆I?3$5E smIjf͘4 zE\QƐS/9ofN/M)aheyXiސ/. UFZ MyG!S9aOzGwLǥijAf?ɇ/xz#i&5]fÏJ:rycH\᠀B:F.'LFbt&Nnajʂc-j4I?4mx e5#2c?V Ec7Iq:7LڬQy,7eb6,g/>:Pէ ӭ~Gv[x80gE^kocp3ck|uBp!u06!MȊ.Yw`rir!1",oYJ%̩թ_Ĺ0Hap?t~PLNg'&JoLUDRQFZ/6 I)0 S&nF^2aRSA-wޒՕ~z8kFSeg&"^jr$Lƥ H穫 SNkU %73+n+9Cߴ acbrZ2so`@1*tgzѫj4캿.1c;wբ^r|֪ZJX/2W*8%OvSm~UUx|>Auv|Si ԕmG~*cW ?>3?b}Zupa}_>m#'hb͉Qnn%RA*Q|H'~Nvz7fs:dM|̘g/s\ob4j(ԯL[9у;TTcn{JAQa~ŽQ2wIW&l̎BP*򽉯}?՘/|*K:+UV|ִB5XJN(k⠕zL(R]s&UpgjzZ@eB}$\ @ QI|Z pbA<>NY].5TN1= {dDWARG!52$I\)}ʡ}Ax0ڿgmreۿrK6W9N9{g6S KKkU8ٍJ &זhOw6avsQ {qҞY0<qy۝,B>~L־5* [Ӟ7di]4齹CjӍ" z0[ctX$LQGڙiv  Nuk#pJ|˭6eH.S#t;xշZ7\c;l{fa+@h'AtMk MRhEfe) +z(cC)]#wXt0{W@:A_tfUg#.ӱ9ZZأ }s 3E晛0IH@6/PϘ!aԪL#2zV@lgD?\M oV/`!(L'ۥ-+;sT0ĔZɾF8u*3 X|O'>ẙrF[NC6o%X1cLŸ>Tmp<釚)}<`*͠Δ4q0ald4wZC|t &޼$ %T,=-jŧ~&~WDd)%dȞΟ]'[nR웘!ۖ ;zc ۿƉS Oas(ZQIA]7CZ{M'n'8mExb8'1g>fkHaz#"GpX[ꑡf8nU"Q>.uwPtb`iW6rI#^1p>QN ^{l"d@ a?@yhOES(hVx |}jcpvTh (}`wC(- ./dﵪM@/ R'&n%e.%.zoE?{*""W4zp"-%!MjB=Sc ic¿'bj]|: ?^K<}GCks1BmwZͷE oqnt @y-U}iJo,1 x$cɡ*5MΟp(%{׬2Ѳ31Fo dfB#ž wc51.$%ᑷ9Mo\b{>_*Lw3ˮ܍+tTM/d>,D? >9G7;I>>} 1ʨyaP 8(*R2R~nd}P ¢+^Rg6`O"h6ފܘNdzo@[Ԁl HVX *7QN@-8zw_*/WrJ|X;Q]RhӦuZˎuBюg:9`f+h-G;6Qo%ce_##oB$KDҥ`j  qQ|+H OKM]2՟GHL.;!%Do&G_yuT?&? kWН` <1-Q? :~'bp:4 TYӋ5M>wO ^6zh=|B5lid"%C9v  ݼG|-8עA5o+jZ < E-7 İFH; ț)/YT$V2*4!܂2!^+wqya%e&3 e" ]đjABofdkPzpH9IAFQ׳׺"*L*fXʹieQ 0/sn`e0 x!qfxZĆYyE2l%u"ݟ_v j|]VBQiUd\7v*myFro4IU!fȣiLvFiVٝjq.]R8gU CdS74x`ĥ,m,N`Z%hTKXT/&+Tw #{2mjU|ӌg/f Ep;>C9$)ؤzcKl!ᑲ[ \ #_ۻ3` r3\opo'd<3ӾXLZcpHkk0 ./K% Qxk I\j[nAA:Y0'[Z:BtM1b7Sl2 N;5Gٰ1^9M2tQim ň,㲾&IaHr%:a/0+%g$d/hcL _jK=*mOD5y:)fSp?]%XsF|E(@ \mVC<`T'?BqGy2.@YZv (sm< R,T>CӱJSjxs y=YC 3ټ( t `P shEuߥ.|?!*WhKf0Q\ 2K 3K3+=Ń^s\aJ$ ,Vy@ɴx!ꊄt؍^)~r ]Ɠ>{Jyw`x=xcMogen- 1qR"~HwȗzU>K>dVM@z!mW|_/0:Joa/ceVpUS-{B}_Vf|Bd`4[i'4~+_=P5E!XS/7R?!$4KMBbzVgAGu2C( .ƏkTb[CNzzۚGY K7!<{m^! TпzHوơ.}w&BLՀAR 格- wQ0[֏y˺ ̇5<x&u5WT4KQЦoMʐS?Mk9"XݻY_WqƸRm۵VSW)_JXK1: xA^Fg"ܲ{4mZ !Ux9*j6 w #}R`&gĄ!MߜUJ,gRA^״ 0=jnkfG%ξIU#[- V̢,o$C[Ib{5MQT|IMLGuMup 7S`GHb(Br!M9LxӇJD"/7Zf?[tťWoG4dx ╫sBsɋAx,OE|5fx 2]F^bU%\˧b91 p /.{4V*oT5w%:ɯ(N1+j_6i Fqo.g"6CSBFި( Qau OϤ&6ߚ;U|s uQD8z ~WX$׵x"{jzxSlRF)2J۳k(=cb/䛓ְgPZ΂eX>wQS ^Pb\#+ZՒ53^]-9x%74ިZ&(xb|FB9;(&@N!eznMܠZFၪ":m9|_R4RьU7 /("L}Ršq ZćJ$+%;|?Ma?tѵ0`L0,[ff<:Ek EN3Ы~@SoQs5D!YcYd  =onL-wlU(1e>|W2J+xqh5YTZp]J1>P$ sRcLK