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  T!,L$ ]]]HOL-Proofs:threads=2elapsed=690.735cpu=1150.024gc=136.048factor=1.667zXZִF! ʊ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba[>&40 h ZYRt;/ WfG]>c/Hhu9Uef(L lWNz泐&Nە؎PqwkK:HV>Jp f%h:=|ו߭GiQ^> Q!;ZUYu9o2lzu9_ f ּL쐸X,oH*?7k9 Ucgl:4K/[Ғs7P's*GNcs4{1-نR U=O梗PLv|Yr!^}GRN\6,NAP6u%+T$ͥ@{k.;<ʠhg_[1 Ѵ鑯3 @FVZj^V!W%R$'1/8~:.+4xidq+1HЈ0.uņh0q ӀF(UF ֽ52QǢ>;/}hXTZj-tG= 7Ja?gznP$*h _i۱Rq]'ZH9G$a!Mg~}Ie RBʽ`N 5[J%N d(#Tk,&*: NRRئ`b1h5в>!bX_F_T5gO/ofIé ֪YZ0%ٛ  ! HOL-ProofsBDd*s@YƸ.^L gZ< FE{&_SVk+>),ZaK+vXqP̕1S']$`f]̭=1MHޢ]h I&MVWV)eXs1V^)տdCIE72흘e))Bg1B>}CJ9|ԏ}b} 7uդIZDz[ T"A3OgX:(8a3A ~ʴ1&}Ոn 6F[{݊BmEZXM_\6>Fl5&SD\?Wמ:"wj;+g-/I|5'&ap#93LJѮfƔ w'E(PVQ)ĖFj7ƽI .i?,qo9t s{mtj^VOkZ/4ٹ>QleE/3J>d ~~)|g//oVbz0A5L\J V/}[k “YW$ gHP)Kc94.%#{Mi#X(Ӌ57Dnp$qw{ ˃ߩ ъL=B=?v_ yK{E+zR-n pLb/BwX gO~**"bTMȰMƂ~RYˍxぴ4ʹr]@U%' Χ–SB9^޺<7'Ij#T@C {8NN/噄taXԏp*Ԯ}MkND!Թ!,aE 籔]8'$/_\ZpR6~Ѧ&q20WDV?LFOWBn"dc%g[9Q/ilp/GȮ5[2o+HRÊ?ܾvr|7%$9[@AX |&϶G.9(;2ug .E֣1V]Ėg]6y`i;Huí~skI.؟Y?Ƴ '}~qXgtQxGNJc _K?:"1F{8ʠҲC}0aG{y]1Ǎ/Wpfq=u@LdCzxA-[nREyf!&' kN5~}եoY]gMI6W䟔hh;"j 6HѝV㈦~[;r6`6װ_-D͌jk7k 5i:m6Ůa]Rٵ>deKkR[=P% !0gIjF@'d*ff>´/?C<3Nޜb5(4.؂6y5G禁 s SvH֎Hܖ3 mkUM(Bw=P̴t!"| CN3Bv@ !ΔgB¸8=YT>NO۰|EjÕR%ϥ#kO|U]g9l>w@(kTwYdHa]V͝k|(yp7:[G}dC @{B봗!Z4:[e-ξИ $yZ4iPV7>qFl^e-ц@!K8ӳڙ@Y(pBfU{6W}*;9ȻL-er}0U\h%fiG$iuO8S0͘7];5jrص+]_Vx푾/Cg+,k̫8B.,y,0y.}"zsU"c"n*)NTUmns6h]Vp 'rTԚ#zZa+0")~mzԻ`D.$YɄgc ^*:{J .G#הhakDRoZ^-9ɔ^V,|cۊM/G9~LXur'1 >7Z:] .0ؔ)=~dW#k]7Y1y.*#<y=3qiWP8hNȳi}$ΚH/Sz2uG8#?țYݻUc$[ѣA/u3r̜$}Wb_O~"5 Bă~F\+T%4g.l=NCO{! A"fXEDCBCV`j+%/f->A,,yTʊD;f@CbP gCb)~]iLg"2WFnG<.~;>DAE)/#M=:zb3rـ+7;yMrE#] v}f'BL )KR#xsH MI|^cX0-o4>ڹu@j7gG#sтY}ԈOZnB9^PԵ!V!(%xwd`-mhTH2yge4-L_r["<)8a,h_Tc%-YqAɷ (D&'amTgΤJa!qq~ÒZ쟲 gBLʀi-Fy,ZA{bIȓkX*GuNd35F4L -]sXe5L|E`B-vX'O㜉i5̒]y;zWτՊ-rcgYZ7zXZִF! O]ŗXiɟ29aoʼz[%U>EM!!*Wtys_hFm~z99귶X=Sy itR/gTZ=5r4c}2pdk; ȏ=v$,ۺdVt m'qYb[ z*XԄ'>AY8EUsB3@}B6fm~fo53dv 4n~]Ƀ5aj٭V7=V d[&0$Zi =t(9Rq}(.ъmtk%63$M#K4R1)PIV *[w RLVp顿C*$ķ2t9qj)z #Wjl\@u@휵m2Feno]#kaf؝2t2cPFCteԒဇ*l 5r݌)J9uLƒ>c܃Q3ú46742b^Ԅ,40SiAlaV a#ufk #~xE2&Q{<%3̸;Zz"0ZY[M4e<P#~ e*3G+,[%Э#dA{Jo&ڝQ5J|Ybuݐ<)0޼'tG.Zc{ekL 56 &APH򰭇bZYhFqPIGjԂN_=?rS )Ҏ4951}Ǥz{;_уpGM߆,{˘:yn|ȴ#(h9]Q;)?7>!x+ #r_@zZT\!EYzÔ?;,9z2w_8UC9cz!/&ݮE *U@`H CRTpxyHJ%\,ws0uTF,e~ǣ㫩 N_EV_(=4 ۢXe٦~} rmr(W4˽f a2΅9q9\b˿瀉(8%^.iUx;TYaw4+V>m|5 \߮BU*9#{4eDz\Gz 2ڻgYZ7zXZִF! ΄ ]ŗXi%;iIc#S@ê&r[S2~*TS ܲ^w4ys Y"rsa 9J^ُ~J3D TwBtc<){:!+9uW|'sSg:ҴzIf͌l'suLNġ)"j-eŬu,DcqXW Iؕe؂=W 0m{K_,l>}"_am !N|Dn껨`MB=:b`l* FN^&3B CJ_N9 >p![hե| &=My$eTu3Q u^N&^%XU@9Z2]$,},cr(Y;&1]Rmj)Ĵ_v Ve\%졲w՟yӼވDS4?X{,oް6șBt){e իV%G?o@]igj2G Vt|WfkQQ8ko /1!X7Ɉi,b1FL37> ߫٨=nyBf T`^͈˧Op( -?5_,W( [_bMH7H^8^9eX}1)kbe綦q5J \2Q/̴%6k)օuXv7GX|ϐs:7'[ v'pR@}|Õ&?:g`_!WzpxFn.Y8Ө)|QR s0_Jgއ&HY mtd5+W 8Ʃ;H+$PTBMGsӍN~SBb+yguq^CBLfr{;S#咒gtnW_Rv.ެ/Yd!6]|6 6ӒyU>xb+1L7INnłjڜt,(yXnjJw8Qt;Kt("vPtsu?h4O P蛤*E"ҭ|^kmzُ]xQnr~9R|uވqa#-#ۣ#g$yfb-BZHڵL1GMȈ,&pQ4+oOwZ{  oSW;3Uꇫi<501 $)k!NSdd6e[YOTjs 6SWKN%кf3S|[1Eq] ŋAi٩[FM ~]@fS&(že)H<4:H? ]Y%:0ԞcAKPA*} wxMvk)ł_>aHPȅwU~\MP#;:-UWO] h5I:ś>5;o瓪)*[d;$L n9#QS]a~rv5۠J'ڣ/|}L_X4Rd$tJQ}l(^"xYꡓg8ab9e;_>jLh?Nn\Eۥi1$Sauv o{v<9nw5n Y(Dln!8,6^ O[;t<{|~~㾔T^r{HxYސG}p-y"rqe.2g+x7z=&sվis{քZh[*pZM$&R5abQ?0{f"]3pG7>’@.d#\3YMՅDYӑVņoPq9D(5`g~6^HYWf4}G{ 0w~ARsK"`(7IG=Ad⼪ꍍ*k&+܁ɗw7Eo!Œon۟ydr/ K0mOؚ(2GHI=,UL)emjڊ&<n}O μ.#mhzSaMJ>:I'S ZOEX6 h۱,ak"@knj-B@[8 أ=.Pkv$ta4">!gc&ƑʰMB+Qy[ 5O"_, pת2 ,m(F]Gk4)?/֩0Gy@6c[r=9BѿTxš"){:]CU Cr:p"+t:"D~!jiUD$pn-^}WE%,[h yOz7>NF{ Xl_aWoNHF.h3r@nـ}-ց¥nc@ǝc&\ EƉ'*2ٚS:z1cR+ΪJ&E,MS#.y_tٍ:crHiSaFHRP|mԂ]z!nۿq{ zۏNG ҝ$quɮ1 ǘ٥d8S8S_7tD#x.d+7hXN'OaxfRG҆٨ۨӜHkЩȚE9 R1xb-DBfu:;]=ID8 Ө0>mE,X@*ػ0M56\_ڗf vՋ́En t)\؂ ԃWd).Q8խjE>^!d!aXyљ\ ׿/7._ Pn@>oIQtBN5JJʭ' 0)~E)SL]ه+Ѿ`,g%9? Aō'lIYY 0/3/h|(Jգ/j C0~4Ŭ`F^dŴ205z02zl0&P ~1%w6wJ(8V()uԈ@NP[8+B{8}ߺNNa#ԣNӴmP G~GEJ`.1|~Z ^6郗$`b,ݛJ$wsw]|L ng.3: R*a2gVNoukN/xۛr :#E Ym{!$W Opr-O.:mUOP7U*ynц/(=1Ӗ!2,/9DC-9 d%pa8YyPnjlCɊ%|Hp*Ќx`ض!N9fՁ|2iq8XN^V3Kڿꋊ]׵R] ojxAa.$DTsۃ| ʘ#VK(벫=V+`/`Z\ tS5qU..3k&cdOa3 d! ;fe$xh:"ƙ;}]OWF(_1 A14 ̞pɍ'⌖dXauZؐq|뀅q&ȅqpS˜J'ܷ ^\ B6^ \8;_Cb5-M[b ľ*v=eڠC;T+;PfUxL-xL&b]̹ìw09OR; *Դ} Ȇ9 @/]V/ȈNfa(fO]UB+}OtWh_aڻa=[6CFja#"]kCrހ$[ɖ2 +iV`n"vTR$H9ێI1Ÿ/5[%VݚBN_q `BTQ׾F ;i&c^u! j)!/S-xW4 ?|8== x7`9g^C7 ht6Bw\Qc H_)ݘ&i;p8"jmFp QRRř~uI*EPv" k17S36#w頂 aD pQVDtlJɈ;'P֘g!"&'a/ƲhDUETsOFbF7 t᯼2`v;q'RyoPGɊZ3#k oV SEI v%i|Aqa j/Q) مamA]K}KnLw| 2wPo/5"bUҰ9q954 O%;vR:1}_O9ƿ>'em$7_bomzXVNӲqC*7r1RYcv NevS =nx4͗- 5A:hB{H\8 k ^Г{K{b=[Np#64w3x=vTa>[XcUq엜 4=Vǟ-9Sbeт+־#g‹0؆N{i%H/3u2p9ꬰ:1GͥQ E i[)D n2zF"mX70S<~. ۪Ms.K=¿*-'% AITꁸz'pPCHJO3 kf˒ciE+@㜏}i1mu_K>7atXFy j '+gՙX%fHRHb .bpC̋wަ:hFCu/IX,a]~dz3)K1Z '5|)[)ܝBOY` ApwK,ݽ#VƅFp',NۗnblfAs|wf**ӯūJ.Ӭ,)Kwl=Ch3KI^! V룹׹)B1n6`lno]NP#'ɒUgZF/C_Y|YTiJy 0Z¤4]]2I2hU`'MCc ^=jY|[ 8!Onƒ`mfb1i4Ў?;̳AXuB ^˲Y Л F)/RlV] ҴxA)l]N{j?YhYO5G9"d3u~R6~xճõݨGM&jSp.é#4nT1BlUy kA"m,NuWӳе(&31m;:==DS-r+F^N@/Z8CbnQ oz+ܣGMb5tɤWEG_J>'+x OY|GzyxHtR` E߳Mܢp>bݝËuGΧI&IyvhqVwI%f'>ǭA7ΒS!;^BsrW$9Mr氏gjѵJdй [_9jV"נ @|xYBˠ|, BE}=δȻڥmqwJ$-~ ہ~,+VK,u:O$m6oEcAB~K%ăF(r7HB p;69UH[sbZ{_{T>^)jMhD6Ƴ@n;n$Fig|w3v&|"%u!E[τPvuz$6JNf0f^Ie%}XHnhy- >bZ~zNI]V7ɮȡ5A'77 SmrϜ킿1G T,gv$5ۆqd}jL%E=,.ʥQu}?CƝue[Iρ)ͣE/NU5J?I^i]SyՕ<"<5u^Ru:.M?]c?9zOv)X]q^GT 7Xy}T AS-8LTv2m`V/ҫVƝkxb%,stKpqO^q B4!#dwН/D;*TXYD[ ]JrD䎯FbUP{NQ649F"8tN#<TX(xH<'Tw ʜ Ƣ1B?]jA'~Z[F h)t=?![5bwl8>c) ͷ=1^hKrkahN_؈M\Ӯr 4j$'Zq$ e_7m'k;\>,aGx,ail%@AO>["П蒋 BJS }~m* iʡ̓0OU \tFq7Sj\DGΏMbϰ$xvj@q@%Q>,P )&*W̨r?|s7})EGK9A̒+eԼ㡿䚝449NIc`Dه%q !:Vϊ1#]Sy$ޚ9h3)o^C!xGӑ?*S*v-G=k $z1)v[_*T)탆(,,,*K&%4J|Q(K=¡Czm $3ˣV 6oO!K$Cjȅv0Gj) kZ#μ 7]Fl~vY?""N~B<#2hzpFvncB!na؋wM6߂@F)MyLjS0`B>/k@IkfmIM{׊֧1Ujh ?DuTڥU/QKeD9 /"Uv;5 ,@}Jnd*+#_;w+m enY.X_o&lqoK礇f!fwxbM3c2 -:b}~jnxgpWbM3Wk 4'ު4}}9fW]vQR' FCF,Di;J s"Xa,u:iي"о1uե7JR a9Um#rT/{U/<;uEX d"Ov8U+@!\@bJ `I)@%ɻND鶆)YGw`#+-w,̗/ܻQ˚ UG'۪הBڽw$hw;\b^8M DP ,+ U`zph"e"yJ@>@JxTs{E Z6"8/Y4%8 0Jwz{AeqD8K W&'g?UtĆmҤ̪-Ot7ӫ dŚA9}lM@pĔY}r6,<]7` Hl9Z&7hGڬ`iKem?D߀6 G@v58(h()z6i[! ҹmN|sg=C0eM+h[o)m9 s^zlXG~/PǗ#vZ ׊ hKb}Τy*6Xjy*6"zHqP5'$"^n:nnb(UĊxqy/l $3KUYPK=H[P/Ob~ ՝!`&k84oUm(ĢRE@.p,[N*uYtɯzvˈ{zakm8_3/rǙ!rhZeш~2`gItPK \->FH)hG0½^uRp9ߙwBk0D.4m)TQ֭Vp3K?^ypZ#:Or4 ViJ)V&R.vC;mR_w9H9 e1u)cTV#!0xAGݾ`W$p $In zAUxqkd盞5[.n`+eTj*eVk*m]X"D_# XmḎEr>'Na#4)‹3ۅi(p̓N;ayͷGIOiKw6%Gj= -}}x;%HaAh~ʼnG;u7T=v,@̵>팳Г\-qIEE] ѶVr>_"kfd| AHg*Bn;RgpL>M'I'PkBFAWAɎ/6Plh*M G.o'ϯEo6w_A6:"菄sa\=yͨ͞S̝%@5h 񓷗Z[Ƌŷqז "іdjEl7$]2N SQK}ܶ+(mtPwSe'zq~  J坕d>lw1,\tn~gKr<¾XHX%E=rTLȋu&lv7 7ϖZnNpS= jAԫO.{h(z ߃#cemHB3.c7T+d63.nlj #M&L>{rU”'449f[I 6[cԿXb+{cTܮ*e8.>~'ߘRxܾ#j$}? 1mAR(K'8XH߅hN7l 62 `5N\1x+@& hk#u? f}qr;NR#2G` ׹ŝ9Cp3UU\dX#ZoM9F|w*.۠e*""spP-h̐HG6`7X\o间:Dy^nL ΈLT"Qj(ݼ~D\Bs;B+e+`KhFN$` :l]g@N0z~b;{cb"<6?@^QwT F/;6Z7%EE̽=MqFnr,`u:yQޣ TCBHndupS*~N,va}Q9BDU_W_m|ve+ş洙߅ָvA$=Rͯ,JjJ;sWrC7 h;g;m4?[}"{)1+ԍupJJ+Љf N~3"s& XkcM O-/ZO'Gj4T@7.04M 򌳍)]2:[rf2mPBF۱am $;}kѤ `#gFrT5DzVlwwh&~>w",\˥;ŝ&Xwӻ|*XS`o ZD. ^fSCy7pe9(TTƥp05Ic'FdAUqa8/ I Y0d B?*a$uE+OjE\uXҊ$< EAw@VIf-GM)[,IJ!H6 =}!O*hy)v(Nڂ5"vE|*W]7 zno(|#a*2`ܿR--eAJ<+NIy8V=)9m&aJTY3c/շu7k7X^]TcF?X3|J 'M0)&܂QUhr'<"9pr0l@%sڔ:eD$֙AoOY tЊ} @98 o4R}b/S$GRX} ڬAYM8lמ7v흟9 [ &i'jwⲫIZGzV0H!xd^rw-ڔgĮUI-v`2):-ePdD]%T ouO~tpjz 埞fm;΃E\n@P'3]H/yHeT:єwCTe[ Z‘\S/W,j|XSۘEcry)%B]*+m>ZIk;6+rMЀ9j[wB3ےTQ,jۍ0nhxNgOQV \/|1*8@@ܲc՟obӵ2] .Tfh :xwcdlXڄ* ]`P{^ %U`6>=ox877U}&:ǨTs0zS,\s~M֞3 ) aj6=C3/*nx;K87xDdN&HZEWλG9֟ XEEQӽ/KB)]:Uݭ{p΢~$4s^`,QK3_hFPKZ2N=r퉬9aу.In[>d}#tCO7C/I e-!* s[Ce5 >F9yM[ͯ0,^I0>Eɰo6cVp2s5WR)5+JItMuϵ& tw13K KA+2D-O&yYG[&.k s! ~KIzG@OYuOpu΅̰UywL 9'@Bٓ-;?< Sn+S$8e<Ȼ|#ma l3^4`M:~p{&D]Mq-('%C~]v|f|a}.x7Œ\;lK)لp8~3BH_HzE YCS% {Txn{dC-اߢ;Bޕ%oTUֈz<@n K{>-Olv ?/},#;$堃#Ͷ A.CB1'Lӧ%ᑞ똷SADQDu1CRt6OC,uv0Q"x$;q:z/she~+ ϻqC:AjfN&1 z/.4τg)+= 0CVNP2ݮtLY-@W'|[0' 1OA x)}cxtxuŽ  OVlSrKuSo [5:g@_LQǰUD HdfK\׈eGQ\12%\cn>x۷{ڙ7(܎5?_KdH(Ĝ=ue^̶@&Y<ʻPh-$|b\\/EL/}.0DB݋(NLc4Ϳ)YzRE iC) DH?y[RM<إJ Cѝ>vGCzôaKMDO|#x}Z780OnN+Kq2o.3UjNnKS:8Q.|s3rZWz3# [Ч_KqaIAHwvo?Df5 fjId ƻ}շXqs.Cdi31xK0DBp_ m4LJW eg$Jp\6divOqp2B-]zgoDv~cY(B:&g=5TδB#3jm 갱4fA #_]6}=1  v<~;:2v78+Fٺ0ߟZo@4܎L0`V9m84\e\(Ak:d3dδˢiB߫fp6$zVU WDͱy)]K;5[,OSCätǴy?g!t m;p|OxeG۹* :n<>=n9iM84l ~-]/hyhN]3{ ;?xL\sGk}ű6,UItg ʗҠ) ,ʿ(-h~f^E녊GoOl|s+\OM!~wkǂ'qGnԜX+D1I' ¥gېKBF޶G'X! #W }31Z64k(}33rd" Poy_Mb(0qm J5rI|:6ƬzC@d㵣7Ly XrS6爊IRo"A8)Q.V3d}0J_D cO)SȏV )2C/)`'PRlY]$y%aeemClknExʵkdW*#> 2tH3D]!nqfo\[,[)!s093u%>uMKU5>v~៪q \4@o'BKdMjq?[0pϩ\gt.̐JOH, 㚔Tw58%?dekK%jyi 0_P)< 6ֹiÊx,e>z)3'Pe*ռ GU*u7^Kx [yPHl&.;#W&lIJhW0=^KFuvm`b1Z;]M9bИE6.WZ+XZ#27-4SEɯ,lYx/qE>0~HG]n)M_\ز-hqO:nH&uG$!)D :Hb?.yЖVU SmO?ѓ#㪋q(7ޓvh.*<֯Wze2IE<ן=;+7& Ƣ߱pAT#T7}v"3fp ָ3ځϕ^Ri'F@E^}>sVg > tW)@jI0Cz]vNîP-)ZYja02K5#ɘ%tKy1i|[2'&ݠA4ꭺ]NicOEfXu+TOFSgF_)"TO.!@SV!"4(?|[MI¯;AlYL]&B8G|[|$=z<)?i=iYT!dy8i~0[ʠGC[h>Է#Uwsfj B`(s<"Jݕ;&|ē|Ƹ4zjCFmg8(ɺ$-$zswy]᱒yT DS[T80%QtI>9Cxg;`=se@:HCd:W. af =AO@9'""S+ ʼnRӄFFo0=b}I쀐ᑰ@K)% ?qSaNsƯ 1uВߒ]x`E#|V0){ k:k&s<|\\A陖p+L؃d(AWL8(1$2ZLB3]hpYܝ~K|riT2;7@Fҫ_捴]*)6TI?ȇ1o<: V8Mn،eldr7ޝ̏Wftљ|񔍐*5D @0~/b+_4.@|A_;d&aef! YqMz|sӟR` Iz5 n Udհ&P>xng'Bc/ >oDU>Z;( }rMh% |&NqOQ),-!849DeU35UѠ"ō` Ig/T ~шC֭O@.f 0?/ixyD΃.lp16~ĀcMiU40ub6J2Owmo os VgXfÆ{G"]Ҡ_T8E?Pu m)o]Am{n0UѩPa7-4֓,MB9[kWLya7q=DVW+uKC 674M7ZnɧoF^Jb G΀rؙlLaG$c[Rm|ےY*#bZl0 |Bk~a# 7 p5 I:qh^b.I3d9Y%ݍ+tHd^>t4?1葌3)b~}}[UMM|ZE6m"{FGT3V,b8YTwZ"=cFz콨>'1zRꀝnUCR.xS%r"j՞61`$|*q/gq8HnY4&+GxiN{ـ (v?W3YhHۆV\eKvhΰf'u1rmҩ,]Q |jlͬ~1DLxD_RVGJ#zCe qhCXjؗTESV(?=pk]5Qj/r *>-5Tŝ,,Q9֭ zs ad Lזͳws ,jБ5 #>!{L͎~ 禗6~ ձ2{mSJޚF Lz1C?; TR<"ϟlZP:A啤::^@}; 79^(b Y"& e(2$#a N!UǃЭI:4&tQ ߌ0< 7ppS²'E='lyBsg(Oj9POXM .}-ITpMͩV$nh? dz "1xgwRKꩄ}8:K yζ:&DYd:bOݎJi/'^ˇ\#*> 4*.*ZwV*t.m )5|\ i)rj"/;իhXsLP3p=*6]ojQ F,lj|?!Sڰ]O(bP#碸@7]3K>MיaQY[4UF"EvQp~FWs3n`V3Y+K/ߖ% ߡ ;!4$60q.^DPh~bf%\<\Σs¬`┻V۩LmE.>< j)3uV1T';t@@c@w#mvuNDkj"rU`m|n-#7 gG&d`\@nf4[ʤ+M0ncفl j Zf:Qt pSD;kHX&25UoS81bH-8PoUvY%Xpey/-%!ǩ'e%gEtkM*Lo/EA) Rcj.H5G-y4sD9P's)Ά~zAaafh.,5A!ʁ86"aVDݎ}jz)xfם=LAY8zO"?U0)C6lSj6-1V,},qBH,bo@nL_ً"q շ8?nmkzpdzkI_?)>r& 62|Nf.5H:흃'Z`Y-13Y} ߩ*J-/!( قխ5'*_@/@)_wjj4$ac)PoeV7JeU,?_ֻeffᇎ;7= E(c3OP`K.u櫠%E e;gMN-vz6wvu4jݜG)K%ɋyHg,"X6V%E\==t5uqnƓaUJW1!Y=Z,R??u{2@1hF(M8i ݪ(n8c?4D-J6 mǩ hbmԧԚ}W0SM=Rcgc2̈́ *"SklK;;[G;8pB @jBXbZ2g?#_g6y.AC4`\ڂJ;ai ġyNu M[FXcĊSJt/S4?pT*ba8g pdZڦpKwu}WI_Gg2V"MՁ8@6B xv"&|.u : Qtuc7zLgǵyνtͺ -e*! c p.#Vw lیootpg F#W .+Ga|/@{;8 ܟH}mZ,4m1ay'xڡ_1+-<ŅTlbH=$pute~WHdB}xcT_\=:8 (nI^-{p<9O쩏YFߴp "Udk4:v3,;[}<j^ݴL/0-%$Kvrء _ Y*S謅`c >]5AT[aZjO:6>V](iY׿uS{$kQJYa)9M\)o15t:rz `~ׂ3Sj Z}PsC#hET(}><ԃZS QSV|du ; ]>G51=tX=8O#X?[6pʄ59"ܵ|o- jjn x17 S7JP@Eo%.)C342_g~ PY7^lE#lLg<=ZT`*Sp0kW"/4#]^g(Svx70~ztBm Mo8{^XN, C[:nJo6mht9MZTTY6R? J}a*6x]N$@ ȢֽX4ڋQ25n,d;#:ahyu4 ԝJYNiQ~zn`bNϓ h=j "" 0@xvS^])dӾ\m.qXv|Oi=5d0 4 ʢčv`,dN$]x@?⍟8('8غ*h DsK]s^EQt?55DcH4NT_z'mk^eW|&]Ƅ*Iz%շ7[']F` \C@>j-5@?`[z1&-uy䘍P+;'bSDGBV AMTpmE1SwUq5QJ$۩"td2z#TY_fNaNlq8a0+JPGn_h}+!q$tx`t&&z򧨫ݧ4e?U:ն/[~ra81˘ȻOiPfr0a;OWj\P)<н1̈2D;b&z|DCWդ]!-g[EK]뻮lQB7vcD9Y|lJ L.=h>F7H+ f 3u۲vRnHՆި}.@X:}/v3.EuǬxzQBi*NNpza-qg"2?ÅTRmE徧e [1qAQep{!ȏb mo(ź*y7֡ Qք+̤ g9,ȿ=}UZRofk%2*pg\P|%8e44\{•@pr!JfӴ!^>ۆP8qyևPŠ8 e됢8~ל%;MjEӵࡣ Z6 K%k=oRݱ+1;"fua{~Kūs]&J;Aiտc!x.,n'Mo&lvڈ}QFC_ڛ^\ߗ4>ld1ex/iPW\ǩVT /.>I qLZ{GtdVEH#wMfu+{|nB<G't|SjTxaLiLusQ6XgdLf2w.\Ų~@7z%yO-Z7o#?>7qGr{ pi%SxD"VsYuPɦW.v;}v %h; « =c?['1lch;gH#K2,o!Q3MmlCe(e ~Ii&*F(3-Y!l 9DF6l~.HWǡg=\YA cԹP`BwlRCqIGsi+>Avz!H+Qi?S _ ܜlWX1VݔC G :rb9HGhހ7: ,H!y@kt\)rOgEѯ :mJQq8}fWizOiO,J'!c_FBȟny;^7H}^lsT8CӽS#-+L.^K_^R_D;q_21%ͭ˟q~2D"|ԒG֯wY골D iQq;1|d ["`'HTDˑ(BLbonfd'8>ck~2X/P='@?+/0;蚈[Uq+t}~ԍcr\;ʍe{Z{GbFa zTRbazxc*Ƥf; aTuonNi$UM#N$o \Mu"Y\༨xʭf&(b_A{+?=7}β\%-/㸘W^GR(!}ё+bm}X?}@P\ IcQ>)ҫ $1E$bb֕_PprE.cN%avU,6dZHT-cڂ..#Ԍ>c^ir mj89eg݅l 4ey0kQzڤL(%I,W۽C%s5?&* BN:Jg~Xl6~vڠi_`e½ۏxH\V[bFX!SQ苜&ف_;(Q0x&\S1?wˆl W0@6pF̻: Y"|@.1WcO4>U8 lm&Z9BS׉FK ]a//x9c}2R8,X63N(Gߊ">B42ڥ1'yP2h8r_բse:@Y^~}j|,&Nx<*zhFG"n g-^ t*06F*e,XauׯrX8KyAiE<$ߜG׃9̐1hA ޼G N>v\ܜ"%+@bꚌkQv`o,l;g?-hmaP6G-"=|~?==cs`7vZ7jHaT, fgmJ$Bн7 ;[.AZfh+->[l,Q@; \C^x||j5?5YҜudb.k"ʠvL2L6~{FT [Ht%Tޖ##^x1COAZ^T\#ghzvǚN_-[vt.`'.6 HWv4KZsyޱ؃":NaohiELקE-"Z@"/%!_D#(=4ji}{1 CrDmwdNTŖ"~=Aվ>}SKA6AؔCM@dæo1H r&@. 騊x%N5US"|d;:H6sf }  %] M)W a-Ӽs^{1mLj+az{H;UmrlO^aKЌW-WjfY7{J,%" ]7֒]18W˓*y&HS+2\Z ]g=M]E!/eQT^Bzj,fEbI%H:&x/0i`6!}7 )ڊM C$<0Q f}QK~znzlP{A5+XnjEksyÒAѪӵ_RߡULL>"lbbGeќ_JPO}vkmlh2>p~+ $oc VQUipF!Gsrc)ć`~K\houY0*4i'cJKg7&@.ɐ5N1X0(r.x=WY> e.͟[!ZHr2.'EZ!=MY[LJD~G:M04z8#~׷t@7VUm_є*sf؈›@V^)hvy?V)u{HQjа0$B# )l^m4GiW"v@r-^sEO,tR}I˥뵩pس##4qu P}֭cr 1":E)Av|\~T|LYL6[sGP,sySp2Y YY nM~b ma1׋@YN) [kd,ρ݌ʽa%k0)K;6]ǽ^o0CС\idlv]LsnX\-Ɔ6\[ bn&v71n zU2m>dvhU+IN!Qf~oWKEox·~ܯmPND.V/k)ƞn;t.oDՒ13_Na# Oe \9dG#[~%LH!#zX%QEE "d0} w `~KdA0As=P9^=bmntATG L~i"A7evH <خuZ٠e@cjTF:'Q+{/sF#QVFMF{,Ɉ\S:%x5,VQ;'?Dpl}%rJ͜͸.2[Y#ުHB;Z  ؘp _Ke%|Qo2SD<$A܌8R]KZ/uZ ?$ThODE%㏮ӟJvQMIl &1U|Q0:!9xmZZif<+{C Քm^zG}D)\=d9e)0G:nV [;>u2ONDsi1TTG?!X'y>^E嶞& Q=ogӬoɯ{&DbOK\.4}'x~a#Wv~gC&.|QWh9 - 6JPq}XJFJn8d6C8BHuTӼ/cl$+ >ff۽^ȴ 'wo)ukk~j~lɨHP(.Nϴ;\{ʛ%;_TijD-!5$1m7=z'iӡ BiF998Ao'ATg(O^3̀D9{?n_i ۏ&,oy]ݗbXr?3#ƕ-n TPx!WPȐQtB٩7AίL[Uȥf)KSGE*O=gJ.PM qXԎLpԯ*8-ZIV?UV)F e~XN) LRQDU~ C.ljHEO29!5Bu+r ]tVj~0"~pBck ,7bك1=3rq8Up6_h e7Ɨd1|_KBHiXAο_ ^=2S k{'VkE{7/SI51>'q*۶Z5~<"M,FD@Rj רv`z" qA_Ë c!~ '79pJ=W ˍLn׵XmU͸nt|7}eQ)n8!*<#WT{B{.풉`Lfk@SDUoc"頕$v8Sq|Xe"^ |ΜY1 Ci10qnEV/un*vXaM*XZ- ݾ>,  ,wl1+^PTH:& F=A~^Z[=rΘRY Ԩ7| vD<;W5ְL_ g)m|K-HыNHZwTgfH1X/VձgYZ2481313035ed92f1694bece42a41767437a21274b6a06941c7f4d32a9ff0b780ae34fa263f209f1f6a02f0b6bc160f1d96bcaeef49a943a78581702d