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 hhh%dt ]/]HOL-Analysis:threads=6elapsed=297.420cpu=1445.544gc=56.924factor=4.867zXZִF! L|Fj]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(m=6InonߟsߟեOCL[.H -{`h^)p!faOl/4wjf|:2-a$&Jw"S^&Dd3f(C31=0k:>lH {3KjiFpQwB.ӣ$ģU.ILdg9u][I/c>3hѡ`-rᚱaYOz ͻרkL2xvUeoPx0H`9联4ʢ]Ϯ QB8O꽖S}T<2R.c7/p{j^7>$^g3uJ96|q A&^G A 8` A0DHjH>;].&)\tSvi{da;h,oʐyRCϺ`H(nz ˜Xt^߽]U&Ddhav葚*S˓~X;* rweSC;ƙBY?Tb_V }#_0z g#׬֥ЇI!R]LfaET1#^lrN dWK(N-(W_6S5z$<ݲEx`\0l _%O*,0N:H'ϮlPTh tU`:BU4(^"ro۟EU4t)D*!R+&lI%4gSK|U|(v7jaW TS6y"I(+h-~?>d|Mn5Y^H{9z87W;6S (h|`wwΗul~7ulGhQujcu3S+_3F h`[&h2IMܙW!U"`Cum5Y+B.1/K )!X (% mnhO(c?HD(/?r88^zڇ[bՋ|;qko=@zVTM~/~۱j"B^97kG3FZEyZ?2ibnmkqoX=bPk6|)ju) \0z+YPdxߘ(>i:])}~؞N^,AZ8^D HM!*S&/z ǯ-%jﮓg ,t5jXǟf+:T\"U_kەR;F17 %p ]h Uk24 F cfAiJaͳ_"gC^}؂/2{!b]#4Emyq}eVvP'FX8wc䁨4eS/R@Dw` yF{/NW[i#3D,-u"+q[o=g1̵gԲ)M`s펭^K*{ߠꂝ[P2*f+r!տ.e?<a%r>Gm]=t8yG`Y %!?SB_OFn-7KT,ta5TDyCp *msX?S_PN˴]($2D)J!O‡ :T#Xڝ[ki[~!@ tl(.*C!7Ž0lß-Z$ViqR7=X6\39iɂR<!) 5n":[_LL%<`eAۼ"wfȳII,(ŶGD83YXuI0aÇJ/ḅ`j Q&7j]Im T{n % HOL-Analysis  ۂ77.^~F}C,ͬ">ݩduͶa.[zTQ+XZeJ@:6!,R3aͩMC9$RMkh8Y8mb?A"!lx /%AF<ĹOB6$x㟝]|zzlˮJx"nۍW~]&NXdž/9l)-pR4Rgtt봨iE:DlI"FJaClNzEUIH0SnjVϋi\`|]!.Rja˧d[F{n@_ͮZp % SѪu'@a (p..VvQrr'f`~Wi'eM]C#k_輨iȜ:zbdt#o'viΎ$F~Mo2L3ѡ,HV|*K 0jnFaOPWdkCڷc{N?k"V5K >v?t&hg2."hI^vlƝ2੐5)ٷZ Y2JA[0e0IuI8hy.痵{qG-rQ5l#ig?ii'~(T'^SP^L׭?LX6m]4ť\u处}c0Is;^ 9\56yBv?Zp[eܼ/5B= _mYr/}BЙfՀkFȮtL\B.q&HEc+$Q{JkLyJv&|bTk'mKւa^ " SX=ޚ9,lR&7?n@Gx"2^91-)+`e Ogd?1ṩ§ZhVAvxuI],g`^Tn3G\1\@+^ q9@Jw5jd5%XمF>BOSqd!/0 ^ꋲ-پd}Ƈ=-_hp ̛UK~A{PT|?L_ -@t(rd*j3;הK<,oA(?8z'Nun!Ȳ7Pak`4:{mq3]Z4OyZyhrqgXHm< SI9 !%^BI .;n*y*\ONTQjη4SKPDQ# lA?׌b25IR9k# ?Y Z 5$8T*>9bL1kCaQd0kap=̓MX/rΎ(,2+-4zE #\N){#x׭[z\RQ bhZU@%]2w#zD/{O(R-j3&JZQ 먭J菼Qe_y1Qo`5XR` 1mty0yӱh(ʂlD9HT)DEFBQ+P q! i\<LŸ~oђӧbi#b8}pPÞ&.n}X >Bwh)L% D1)&y}{m [d155_"Kɤ16%kCt^1t)ۊtcӽ^h$(|G-BWr)d_ˡ ظ~{5K',ZJڣމ;2縮8H&bu۷Wg9϶%h,Ppt|9^`@; ?p8\a« ǶBMO;0jsu%ytJ΍kу-;)k5 u:`,!4fQ-&gl8/fW+jk"2$ 3\Rx_~΀?r.ٗ.ᬌUh>K07iW <_Vkn+r"rJWT?ۊl4$fϠ5XodHQ@df2R2Qg#[y.Fd]@m6\3zVv J,TXtw!X:]Mc1'ƹ4' =2 菱VU:J1tF cU(-A,<}YyA ! q{9N!WY O-E`AE_frh~qlu{xITz86VܺE_pQPٛ%t-LFMw!%R:|!cJ}!Jxfɭ EV#׉}%7>3++&ܳWx)hl.v䥤>6d,Df^9Ƽ^kgdQu "x=+Ծ.3j˱V2VO-f2ytv,ɺࡀyq[BUAPprUouаgY]CW%Gyv AMKQ.gwb*2RU0"*Px`PpT˳VDD҆x4KGSf>jb"`wab}. tr,F_l0+!g(UڪĴ'ZB9AZ"]GwQoo$VRUHaD!#px,VAa(%t% {qx?jG1%5/ jě&ρ09lyvH3^T<#w2 ] 6鄰yuo$RW ycj}|򺵗IQ:t{CP<@oٜV?_ʨ` ,㸝UpWMox)Y8Pյ%'0{ݦXZwm]:F*q|PŤFQ" ]i :{LѪBYn3<Lt.,M@wJe$RBKS5eQ2XN:WcU ̀x{7܏{?Unf|v8f93ŝj]h8dDAc;X=KL C$.>Th@ fg@˫ VX\`1,wx{ ~cJEy`_,;=AJ)-4 cgBqzRթZ"BuixE;0,ڻĈSe+v/eS/`mfFZ<Ѥ|Vw†qw?o5-oe;nvqhы( |cԘ3$A"*mkĦyDhP{;]c_Ub?)>$GkIVɎAtbD3+A'†o> t:6,w8r|q0M༫Ш\0%\Ɓ'@@,5ǜ 25oj: [>P!c9m'ެt!0=CeJ+{nZh˛} /)dWgbq*y>J.yRq=\]خH.%-"Ӣ5w}ZC _!Na!(wƏ~J܁TLlp}D}(C4{$L:!2໛AyE{[rC4X':ߙ%KP<IwCvB&~ۅ{2f`. 7avk XdqgJ Z7DzpkƏ1ʫYN7C&4ߗ6De90J>Ic8%9,4X"pu3xjEL!PsMZ6EwdӭbJ.j.nHusG*ǥ$lvOaV],:NjI; 瞫E={Rm6V$6,$Tyoja'ᴲ̻BB7DGO C||Og^Vu~0FY6hzϱfN}h \lS =i_ }1 C`rXg<˅mwî7 ;R=;.W9dsPFlTAkj{CZON$!]]W%SֻPgS_([K^jT-}h+rxf.|_< = 䲵n)@,߳8/9`d-HZ:Em R ) t?~_,9?Qō45~Z{ SjݖMvQzbfc(w= XE\;aVԢLL`54ji~wTͪ24s3M>wREMKmWJ^( C9aGүo .WJItbl[lμ|)dtܛ9~!8hɩckmXއ[R<@^p%7ڊ*{iEOnLؾdiK][#@ٸ J$؂b>l+1}㒝Y,Aai+— D,#1Sq~g=nD6q,wBvCNsOC%e;m6Zτ_;T=j$]GiB_y\ ,io  /!XV;xD $}EdiV?kXDql) !k,q[!xh@/ \h\ X\vRƘ8t=C^V. 4FU=8|';W芠"(i-WM;iuѾ8c"p%m؂t*4zǭF`e'/0<9eꂶ3hp0fd|^OnA7ƹQ.Gc6~)eB瑺#:6PrN]#DCBNbpKo%vYBIÌ3?(0S5YYfFkJ;Lq(4`i[3Sq@ z&<`ݝ;;D4>,jka.1󁓟م.V:صIW MV&8 9`tK5w}q;E`*_)l ʝzU-1FR:,5Lnt'"Z@h >SBDUނXOE< ֫㛟D7P0\$SC%03٨*7m{A_/EVjnf5 `9c/j^ӰZSj|y)|v&%<[4vk7n|`CfgG}}*Γ͟}@hu8LvS;A]yp*ꈭyT!Ya"LEce'𛂖 )52[)vzB F(\dQTҎfu ˻-+Tl}*KrִEݟЌ7^Z<lh[$)~Y2:ԇ1ti"I˧d}nPTj]m8|%P< >f%Y^> xҪ2{=Mq>(ֶByNGn+@0(5 ʩȏNsLWDUh2<5dӘKZw} ]o2qhC7Dfmǹ>$?Ʉ&#qlOXH3dX5LS|(QU\lIm(Awgd0vp'YO`Dd }&}:a+[θ@WQrtx[#ZPZ Ej /HXF?mow(/=ׁMG)5}(<8EwEj CueP`$Tn3%v]7U΃b$kY|wX {dHGJcW f<7;%gYR(כgY4M5#2~86x *2؈Om  !oIuhKV1@'yK7^薯p!:$۷᠌ȉhNXr') %5pWjrhCIQh< $6F# ,Y#pgC{ zF-G2`)xmkJp.]7ɬ{l0=K xGhT$+wVBtJyPݞPCt@6yMLS;[ C[[8C GX-cQo)hxmq$hR`iSfjfjjiO&_b !=Tc(˕^pY?]R'SPw["Jt? K=3DI>ƕccplfsڀ$$n 6~mnLa"쳬S,*WJw 0XJuj2C_Հt5~dV˄#}DY;HC_lMs n{lvLWE69sީ=*V{O /^WJaJ>͙+݇?SX")TWU{ZBq*unlyˀ3<8 (Q(jumۜX ]STy+M@Xg#}+y,wH 3e|BBBBqS]"؂6K4)SאI)nUp>VBqf"!:YQH_ y;H=DP1ƒ}c %O4g|`1=0 ׎.yL~0^])7|XrrP=BE`X*PG"Dud(?X^Nse]OՈ'8w!U]|1_|Z5> e)(E Mc,8lŇ&EIx4L_Dy>5HtZDӨ!1tG>IA\UI,IXI8 Dcccеbg5сC+u(w1{r🤵fFcu"@Y=~^w&WCLKҚWMG]|vuR: nט6dM| /eޠ_w H@eA]>inNFEIa;;ؖG&őSÊUb$2D+v!:e QC)"JzuKYMI`\|< 22Qb-OAj$7>Nhe%{Zc/O9tjە`y^ʀwqy jx2S-t?su-:4;DEZLװw" mn2U;wMUyYg鮽}{7qY0{IQf/K{Q09r=em4CS`c6juz lBamiB!3C'1eP{ytkZ.]ћp&ak٨vפCoAz)yKp=Q O[$pNaB_w556P]~Yw*ƚ&_o;j uoKbf+0|T/e0|8ROY_[7c5 8cKl8J]C1j …0`lZ ֛ʔ ԞD! $E FIwF8ob>!]ΫTY_<,f|XܿhdSvM"J~1Z(吁 i$Z^3b]9et{3.stlʌCci^ىX_Dጣ-]ٻld8V cD7ՃA'Al ԊF'3new}S0R"#g",Z|X K閣c,6",7=GI3 bfƵ`'Kb:3*R.LmP1l/CaE ؙ$zZbiۊ?S=:Xw]:O_ĢUlէ ڲ)0Y5X ZA7f<ݤz ~rzVN_%[w~e|BDwC]ux0&A3X9VAUR+ՠ*]Ib[X:,^N`spo\^u4ZI2R?xjPbjVL]@GސD%>پE#R?¤doyZ)FZq0lnfPM5F ~t?Ctc-f>WKYa!t] &"]p~HCEU#P/bv<=.WLuTz),p myzN=m3@4p mNG}^LĴM 0,NBMJr&E\5Hkv jpHhc-?gz[{<vsy .C0cJHLU0#Dׅ2)޳#{skħ`-vAX݄|ci٦0901߾U<.€6 KR P GY9/G@*;Ak$)tM,b(LW*8|~^bCp_+ VQ7 ІV8H|'zúc/;$kՄdx9*ƨn KkQ3܌ر}8. S:70m];BYFmɟw~ zK.wu]Z@njNx!LqRU7{\ ӌK2Z7f z1)J}*$`2;owJoTqd?^M]'%X 8y>I8l%DQlI"AscF, gZ$I?)pD-/(T_R)y|B-[EDuZT;6752c$7opgr,!)گ%@Smq~bH1^exB\,C)40xV vAVզ@jzܓEe>xF1KJs3 cH +]9gskmzg=` =67#+;ذ\~o]Q*B5[A·I]ʏ ^EZ'7L3{\S‹m]mp㖹'P/?}:B@dT4WUƺT摎3 3Lvh6WrEl~-N_h&; eOY.tIր.P\k?ɰ姚U%лI{ZJ$I2RV18vlE,z,<9ʷjх-{k bj[ۊos  VTyi&87EʍZ=+$P<|5TGП) 0?Ł7; iZAA+JqsYR{v5n<ːsO @m}Z bo@>תxOP.:b:!6a~{m DW/pş{v1Z -Y;B9|t3 ZRn C-]F.#RͥyJ Caa͜z ~Ls0z]ah N-נ]]: fhQYH b __VvkeJ>bw-\WXaTɻD~UI~r(sڈ~mQHd:Wr?% % 2+.6%Zukm?jP\=C$Cjrn4[ eFh{ !EUQ9LLU$;XMFR@vDYWcB3&0O*ajYM`vvJ8%_,S%PL8B}BB}']l6hl0jEJ\oI#1}I>tPl_ΡxSro_?N@&("Iʲkf+e>HNl;)^5[݂"oW r &/k^2ճQCܯ;$x. WZT.vl: HJ JǼ q‡$_*8{$X{3ᭉϸֵkF2S='?3~fRT"+Rm8(㖃:46 6حp9?8ѦAKHA[k@8YCچKRoaPUVkrf~s fIv@ A8*Fe:BBTT Gn{n[!B$F=6 5' Gjno$2_lu=˵;*/>g\;(0RүB/ec}GY{Ay1瘟QO\SOg [޵{|TT9*rJWY[,k.j.l3/a <,6 guj|㸃;`b9OdxRC\S;2rK8,u7ko^f7Җ~ >[:B & ~ѧϝB]:aͳՒfkF@yۊ8F4Xuʶ:^:7ڟ $U!2}f&Yj?W[M?g\x1Qð%,陳{3PH&aǀ gyL2JrIͦqV]O!f<^鍉w݊^zw>z 0>__CB>JϽ6L xߋnl3{rf-܈zّ.&KX50k8vW.Bcoz º?MD+9?ČM]n1Wt*=ku41 Pd/~tvcbw;yl 8fT-U2FE;TP' L{7a@*z1A^ JOzw"1rɃwCc"bU>C${mo׻)Ϡ7`Q@e=ݳK ~JŢlU}_i_| \o,J6`g !ԭ{f23uh? p0̧yσM%p4·;[ޓyj#֭d(<^1271+漼0~.uMۀk^D i,9cNg%nIddeD''vUbT 0?5Bf4%"ӢVg5c[;< Era{{Iq/dU rkB@9c`Zׯ*s_bzgAXd^qثz@ ޯbk^SIp(_6 Ky2^*"k7n<+Ioԅme?1{{ t~H _8,ϐ eN8+0EfFeIGr~a|Z~ /Ѻ},"4Bmޅ  rCgYZ7zXZִF! "4]ŗXiɟ1˦r!cHkMeBd45S oTv8\wDz{ )kĄ/j.hbB稒E"%Hoѻ+ 4 F;mg7; ( xRW2* cqu{֟r۩|.3fbxQ2<7$o%ɲ^!y8e_L ۵Dͭ/|:MҮByaJLY'ivƅNt-< KKd8dSKoc>=XcJxO87)ݪHU} e } -Gc̏2N?i>|KQ-$c1so*fՏQk:R.aɡiIQgVwźD%m5k 0yXi"J c̴gzeA[SHoA}g:?),ǏAy}\#l4&ǖu3ԗGw?y5y3sR;xϼZJ31[T'Ο#)T0; }e:3jgc^z't?5 HS ū"+ T6$_㦩؉HNcZ_"ƆA&.U{,u}u)(SpГ0!|C1߈A9vR.# B#mZc_7v^Eu7q./# 3e۔>z4RBMٺ mǨ"H7-:SK&(l=_[}(>;äeng=wd@oP8{B: ޗ mЩbIbhPI$%3LJKqޑ:KYqc*:G蝻8x ԻBI|мWeݬ`e~GRvIڛ<> ,:ؕU?aL/ W΍5`= ]xዷOqg|&'I64I)~<;Fv ͒PE1iqrĐ'bJKnv7D#!I7FS7PPvzn+-.4^8A]9R✿vʙZA *8t,,Y~8"1杛eo~\'^yQ$omf]<%Pobbw-!t#1+b‚^ {_b`-|AhඨFI; 2tP 0w5;ǵmqW^QسUId?SfS dhߤ=.ad y5 q8ʊԅ eþS"qۻ뾱U|.{6 0+D\]Aݫ74^xu2.%E >C4cL7ljQC_᲎,ں@]r73ӢI:&eYP1WC#c'ޘa8&_~tH`m)էG[JNXJ%] : Z'ܳJPɥc]zEp`Vʋ3n*0D|KA/8CJX _!#O`u; U[EMG(*vjyO>,h6YL"c2-Z$ܽ?`v#=6z,q. .F0 o:i'jJ=^ -dItTLxUey˅ 轚T˛.l|)),MV}4`,(>v_ka=]7Nv|D]ksed-\%c/_s;bhz(wcXkW\E<|N/E뎵IUf9-5X*||ZїNR[?{y&x#:0, -ZBu\ru;E1fgYZ7zXZִF! 1\]ŗXi%>t9uTG($dr5HOSЯeStktJ+A5tafTfc:l*\s*!'|E`=~E!&gP>[!7ZmH{Hͯ3 IRI^mb1ksTD05Ll7iI*4>6CI Q'Oe ]* єo d߳IxT ӊ4;@ I$[$]=#"&&v# 6 )D\RKR s~aS7-Dmn(VtŖe8;u3&y(i-3ۻMxy/ u CzQ7k&d+74N;#B};]~ Y[{.J9jW}"DG'^w^·UO9w}`EP!9ÅQlW,M?yT$ZE{Ɠfd-g2rݑzR {&c3cO:V4rKI2et}AД uTe8r$@dOvf Lr?fZQ8)FJ!hw˛P2cf1 \$4c[O믉'Z15kjX'jeѫ+"eVPjM_n4FH^~Z5@@{b\\7~Pj 7f>?WlmFՊYd'-OGF+ejweO'\woLR]YBRqK|1(Ʋ`}|2 g"?l (8=ͪO*UL5 !ݥλ {n;"2(x;z,لLqE!frAʮ[I*E~>HԙwA>D^68I{9Bl=l*g&,/.srGP]K,1xf;ި(9P x0_ˮLNoympa>+" "w Ϋۻ,ðUh>Wy KUcB,sZ <0\Pn qǪl. U09W0Ef~ҥX}R+LyJU;Z&zy]?=ޫ7:[WmD?=+a8:aC P Ah Ŷpwos6g+njڨpC`bw*6E;݀ݐq?1&o.$ކL>d?@}2c~)do錒u5tJ@i w~8&ZA >l|%= vfW[}L,9'.1|DA(=rx _4,* C`!/Dbw?~2RIL(bZ4ٳ4>vhW1,@ߌ ZIdu4WNE,䔉2BSY&ՅMkfA֫bY4(C>X q *&~QQȖ3 +#VEC0[]WU9TJYVϵle X]sϩT.Z8;nEV P/\oedƪwT;}Les,ȝHh;eVeFvL'Ҝw#Ts2Ji{%\GFz;A"`ejI>1D~Mi>&ԉ #ϘQe$yV&xpr"ڲnLN ^Q.ZuoHF `=!|~Myf"v,ˊ؉r( 0Ie81~Xvfaɔ,u)AJwbjcqbfEURRTD-V xFKBcuwTOW?W+ \!hJ?U@A׻Ʌ.Q6r(D\骩{_=nX!a; ]v$ =lsLt_3 Sagy{[EAK5>aβ?o}^sd)&v[k%pͰ` J999c&+Nǩ•THLg[rI$|[^Ez"9'&.5N.j!PI~!5X93Rp?2WƒbP>i_uj1縕h+PۺxkrNN+Ϭ [pe דb[r c1r mVD'E1V𱫞 3ЮBV CĀOa$=M# ?R}+L|VB9f7*_ itJ .\7lV0l RwEhe&7ͅ-7A8!*5,J4LC[5Pu~ Q H1 hͮ1"f@j?@j$+hiHѲ %NO z-)7-ZHl+5`RB7&ct VjQ<7 ;sNXu941pAjRvWF;3\D Y2);f1^p%Zs csbPUcI]F݃#UA@;mZBU,%`.N]{ <&v,˭Hzvy.32Zl? :#K[kB)N ;v{ArIx`*|.I2K= GAui Ӑki(R.<Ρ]6r8CK&5k0OXiA? "ȋ!0Dęڨu/"GҜFzX6| E% C:Dm}y/j&Z sCk(ݲD&U,A,a"`EmgESh%১i35tFtAVYߛW$LFB2݈\m]@0Ѣäto_UsI|+gmeQ0:l#aY[ uJXu-&Gx Vjb#6j eיcz_KцN4T˷v9؄{Ԣ x)GGb}QXJT뗑H)]E7S(G2',1lF;k$"r̛XNC=aMb̴V7Eu L㉗{~G99zPbࣿ0-RѴo#DcmwrDMst6C2XȬxΚ5sAGCf>jAwu׍<]”lKr \$ϛS zr@ ~ 26ʶO6z )`79_ctTCxB)cu%7Bn02>Dhgm>/\_+VCʱ^_4C}v6@rוB9׻les(6ƹGv ؔ&` CF퐨h<b:ևq3P4=f<#v0QTӻ 102/F4 <Iw+$QKS#T>-pAZ}^f7!Umyg'կ%CCP>#3T*z6,uIqTJ @Z$- f1f\L@,ۊ0FT UG6_AmtQO׻,W+`H+b}:I'h}P͑*4:VmfѢNRTYQ!+UGcg+ FfI9paA?/BtdSLl\6UM vj,xF\ΚTZ+(#ua N,l@*PDdVOjSocHj8rJ'&m l !/?8$qȹ兦q܍u6*$bjK'ǡ7)Gj)w2+r;ɦrk/iJB h!c7<,Ѯ?W IuN>h q\̽xP].lyͿ 8&=0xY[xj\ϯPE 4ۏ^D`”ۻ k5\75Z:ݯPOt1ex#>73X jy 68bw[n==1R :+Y#-3e02*oiIW(Xq/?,գE<g8>꣬|GdGz8@%ϘP&XʧYP'pHU6 ?l\t؛x{|4B.l,ڭG\2E㣥 5ո:"X/ȭ;3}~f[Lc5 r{빈=rhms͌A:E[.ăJݟWkd5|!4F,"[-Ꜧ[&}cng\G{񰮖G M{8Io(sq⟵F`'Z 0Rh)&r)+YZ}:Ihb R)s2weڥvDb],i;R4fEpk]<+fc5,BoMstXu۱1KATUM"ŦЋh۞^sԋZ6R8m O=a}tT}<8 dmU& 9C1,q&e}Qи&(9xu^` 8Wva9g1>1E/i_ѥ~32 7!"k ES3DSNd"DxgA7Jc{ +}1>ާrUk p+#Ç,Xۖ+-Ї 3L$ЂS0VsBdDnܳ-> Dd!c?|ArC.M)EvNsEd*N~#O`>4^ㆆ-q0fAwsD]l_iqŐ3bM3Xig:;\sayaLŻs8!- g&NVk'גh7JXS'Nѩtܰ2`Kh")<cphÃ%IB`Y [!+]WCnoNƗ5%*m&^2-<ժ&O]l2/V!IG9Mxlۑ(x)&ZZOoun<d^cZaHN-;tyAYsHgg{~ ~/Q۟ۯNH R~z;;ub796IAñq%IboOFdL[QuΏm~~Ms|B]{S_*HQ]#qZ8pQwm#qE_< JtXmR~i֞QiUP6]gf6&NI1X2@dr$ 6Digwqzv^3SPL(5hBJ܇`eH# )?+/Eᵱ/(tBdfS^`φ,JSdOF &[3\Xf˹!js-=B1ˏ5Qh.N|:Wb! jٕ۬'./ ,AoϤc̃AMqP` *JX%s%U 2x>)Dsyr:% v85⺳T$G*OG*锳@zqz=я1mĘs #*kVj?:hr})]]R-x1SM?jfM:,Ƿ)LVˆ5פư+Er^UfOIk'>9Y==ysJ-vb'|hx'{ ơhZ6M;cm!(>;󠭝jjD-dlx&Ts *: *uJȤсbK!tٴM$F]WC}o)*P76b‽QA.d Ѿ+V ۧ)z:+2adsy*u o) _JF91'8unFN>:,vRJH D;~>&e.T;n3{e9/teGx{GRRQ'jHF5]{!ˮ:4ýjfI[,sZ*a>{Kj5I4- PgfI~'(KpIj6rJj-݁'5pt93U.PQnƂe| r=(V Sb‚t^Ϭ=i 'tmM hƟ%twPs?^, 1\8_〒%HzD `YLvl ky9R|7dYׯ]%]Y3.E]jh?wƖQ dy52"i(l,9bUt#W owv4'| )M%/ѫ@ +P+xLԖڋ̉Ը.In+TvV|W+So|Ytm`n9 Ay=̔*6?ɸcK 6'czXGa+5Yז!œk5BSnon$_oq>aA?M+ID$~XxJW#%,&[:e/J2?.Kzp VN|E3MՏj4U֫aηcL=h2<w0LdZLoG> Tv?&i|F[Gw{ "/ ` bйE8h1hcf96W +Zߟ-HPei5xЈ,H*JA-IxO^qj1hTűo~}Ӛw9XZ p`V$WSxq-`2_쉔nh:Rijaك$)=h3 Qu|X95`⾑ (ߡJ\0MӶJ+T _fB|byҒd4' Hne;ѭ򀙈x<Ԉ(&8n)ύhh,h~9DѺ<5q(\O|8WD#'[Fq8OZ!csF]V6^DD|tT+8(G{ri~oR~~EŖ0Ê,&W.]\ո&_Q6;rz@hDJYTtA4uPHS2"?|5K!U^ 6GK2qe6>k Xש0/| Zؼ9BhdAB]~^@dY "Un SMN zTlWoP4 5PeE是E>vn HrC9RBi%z΢k><=þXͪ{0 4b?K͗%e" 9]BPZR_>ˉC,j)) E7ǴVC0Zfj%N.Ɨ42=Q:>XQM}j~os1Ňt;eC\^ À<ծIEJEJt\0A0vax7l,K``12xDʖQMSy2L:zUgcu<WMLM?R !$yck}u{x"^&VT+$uنeZ*3äH>=FP3z[QGtd_?!!\X-. hݦ!Cv[yG?;-thI9!?"_W=^Ԧ 1ޥ'JĖE/(W-s|PxW߭2Y pZ=4C4QOn&0; ,~ *Dj`ynTvB[\A4J {$?RQGN]4qzǔ!Gdkd);-&OqBZUя xns Y?J.}aPQ5>/`|D ?~ &F\1@[2>Auz#w_b$7`n> {Ķ0--wB7&qLrk[XnBpLS J8#j C´i)+~M?ɡwR5UdrP{K=%q=++ՁlKȲ(59Jh]=oiѧuLa:ݎûl!Ôާ0Ս`*sryL<Yzkmԩ.}:c(M *4348r=j YSy9Z55/Ä;iG*weaۡQȶS&=tOnn_LYeAnQ,rNj~J=Xa"r}F2uCE]̷v5S6O5[n|̷K "ܒpOL Ad-,\dn>xJt c+4^ kgЅ$@Fe[|"}Ë.ͅsB<*95 9QZsv]OHcJنчڭkn =s8[AGs1 mES 1 G$^୿Ag` $OȟK+fU63}MI}X/zh`42ᬈ-'3 1@ oj!(r 2z J+0rcX";xC^JoPZ"4no#v@p4xpkxm5jZ 8UokF&kӜijs5l5 ]iMr*Wfꁕ'F#]~͈&rvcxk#"yp=8 '@0B8ז86DevFެ ~Uz<@m`JbZ83;2!:w{Gs.%d2^T´$8R1|ݪ]h9ޔ%/m[a'-al_QD[/\4Hbyx,69Y[`AQB;((`Q\'/v(ҏ{Glfg[;wp`#JyZ8hyPOJ.ҷ48z*] 6++(WAh@ Z~e.8c8pTaC 1 r=VOzsjMP8O*˼:?vuǠ$oԚgB55F=ͽqu >цQx9{)ڳ~CER}.Sy(¬I`]X\=1s)&+w\F,ŒW{B-iڙd jAҀX"qR܇sQ=}[s:vn۹"vϒ6M҅*,3sx<%DT='e#_O\t.Si#MXϹ1Ѿ=o]HiC'HΗ7tNk NE)SutcfAHm'w )ʄP0>'X ;Q!V(XACުu3Si e>!d/-֙\I؜#弄vW *tBcQB(zX0/;T>:<\(,O n7L|& WF/篝K._XGoa^\pN\6,.Vԡqݔ|*aqx=22ieqY]#Wو0+=U* %'jA.$'˪'$3j(*oTYN]_zFMnkGEH3=+SM<`j0[t 8b(,VmgN2o^4tLS E ]+<;vSt]䴞\{S 5dM!&I)!Q}C"\;9w_y$gnI4rF?P|[؆>"@Is>dws%27]e5׭@n"CpfE=CxRDQ}_[*?<V<} a-m2_2^#UoongѪrjYJ;mF#zt?!?J t6~րqQHDwQlq@sA4HYͥDgD[,IXu(SC}A߾]`P>pj??pBZ1%C&˷1EnJ\])K HLhq&(f`dԃݗXVE ?s>mYybt̬Xmbp-o0lL͔D+ [P}G3jDg+ S&E >Acv^X_ArQ(Lm# $o7J m8ʶ>=*OQ}ڎB6U[8!fքpxwګХ*}}3<.ncD7@Al >0jB,CM d`qr۫՚ia/GM<_z<ň~3;,Yu(GLQR81dRR gm5mL۳Arq~($Dq+`9 gD.GxӕD"n)N݇ X#Z IytmB?|=G}s`59fVaBW;zbĥFJ%a B=#.T)7.7{[ y›2<AX!p4 "1=qЪ*R# .VgXԷAL>jـ^|k _IY >y@\8Oƕv}ҍP F֣12cPm:!=9B-[:lVg k+-H蕳,{P!u7}EhѬOx Ju'K5>M\ .PU>¹R.#6su鿡yQ|^$Che/YLP6zEMPy2eJ<qa&jRk⌌U xдRo-s҃|`EUim_ߑTfA->uw_bLd2Srqz-Q-Wp[8Ʌ/w3m?YڳO|oܨl:߾XlD2\#e/CKhe t)+jtTCޑ.KUM lmNǷc,go9L uUHFJ⟯ :o,!w^gϼr>쇺Ͼ+Եإ-K?nVLJiCbfݣBbeh^8FNuv3M`M7qdTRPgBN1]YwT/KpbudHMSkob0"+$g[΃J|͙FebdFjr*~7dȔNDSmqmi0фE@:ˑyv~0 ԊK?mKO68$Vc+؃Wp^ _+:M\ UWdaPo:[_}l3[JaAj+"Vf͐68eBw1\ѡRpCk !EIkd]D#bL(TE/3y}/ŸNf 5|'`.,7EQ$uAFJLF&RP7EVW;~vr! υTG$XCeêbo2DHtEЄÆl(R,Q2fN:'ˇaIdݲc"M7j Ծ S}wLw-CŒ.ߙPIVx:{禉qzFdĜ/+GtlA}zߙc#Cq?ANL"(^=)n0]IeILEy,b To]IO5>\{$E[OIx Qk%:GOlH'dBoM x4J10i&)$G_PLy^<\B!z[W]S{#aSͷ!8}Z5]>^AT(bq_zXRE2識L`j19v3>+$'R tŞXBEElfvkSuFP3;T7a-sS{cj_Ϻ{d 9 mǫÅF.M3])c*A=ʌ/U#z9B]6;e#fX!oYjDLE~hAQNvkx$vy}M7l ކp.R$P8I,i/~BmٴW2J*Y]m?G( nNv9 EfƎ%gV~&sOw2}HL!G`3tU 9g=ymqP(I(kk'_F{ ZJ#s +k焨vXigkSa 2`| RzAe;)17 e09>,ڑ-d1T4 'hIpsX&TH.uk:H#fj)ٮPs{I!ݰP[ $N'ЄFJk^8@|xGW?Ro t>r)Z87 1#>IPЖsv.MNj{1{)b.(A˱buHhvE\Ng@Ds G gQPkĵnjHXr#,y0V3i_R<7E~SW;ڃ0.?`L'GE.Ȁv3O'{ N%t>}h˙S~~PP!WӺzV|Y5QQPڽ8zCGi-P嬒W&(ֳ̃TK˃=9jH\l` ? H/XA5]K PZl{^ g8R&jek61,Y{@FnS(9|ұ#t_~[8Q׀q^emƿ7 i«62<6a\Uq.X*h _ʨ+ N8=%ߦwtۑC'&H twf㚱`Pf3KG9b]ȳXr1(5 laC &9y@>X:yowrYao N؃IV׾1M=bn1]4/2ީL>C uĽԏdga&*u ch%*A1a^t4ZqAE;G ,utPdkn.٦t0lDM86hDDZVR~ٜe42Ity/x:"z2 kC GjgӔӌeBQm!f xѵ}bz `!S|Ta9^sT<gYʞ̈2sQZw#V6}KB'vqZ6ѵ/F[ţ-$bvd@9l֌p!a!;[fC7Q&8XLzR+$~ \z۷ ݼZ0ŹV0"*DRbM0'Bj$Y/ׂb7lMT:ʊ: t*cG|i03~@p/0]Ɍ!%w L:'89 [DR cqnr醮 &`+f<&KS2@B :$d8fz`T]K׋)2yYN7IpL[sV$#4(1yqfҨ )^)+Дe}CVHP}lxCCmDU0Jy oڤXq4d{=>Z ֔^Xh;k1x]33H*IJ l"J{:QsVq i ,:uEg!KJ,#dkDI D[QÐn[řghHzq##{(Wa2[L=t:Y`34> EG;Ze+O|w杋ڝhԷ+{7y>d=tk ji}EjMbyke927qރ[)o$7&|T:jzO$o[S_-r_א]NAtL*Rn:xg ѶÂ~d`sƯ">u$DtkL+ԯ>`\1z>1oa0b06'yLPoұOnԫ8cd!Qgܹ93v#" !WtDBX?]XX bvC_"nLo20CKt߉Wʁ%#~%̂tt:QϠf']FeunKҙIW퇅R9W ޫT|r0 `IOfs4'WFy;ܽGb-/\?-NդSЏw/,B#;ѢF#e>YΒUjτLc6Pz F'0f&BրMc}rq2`\X{6Jwa7fx0v$5o5GMpX(L`"<帎 s3M.&;KkNiX#>:Z~T2Y4R"{r&&$PIubr`Z:B֔S'G>d3+F^"Js=I{*&,,9.]]Lԯ p@X"; j2͌ RnV_ A\~}!xl1`!2FRE͢Ic|X:uͨxp! MGߜSt@0 L0|Jý#2Y)*^hm$/S=~ԐjI ȦgHq%PU w=.mT} `{S!y=^kCj0MXĚZ~~R-oA@*<*<鎧WġW+^ëg(\tYڿ X7`^\^L_,zLhIbQjͣ݃P %d?n& U4gҺ%F*P2Q ,Wtvk g`1_KjZeZI̶ɤr(H|¼I=ZA5*r~ ;C3$Wg ?nP6^(S[($j"x;SpUn;qD``Q&@gAXpC~̴zCYƒ đ;ʅ.9d*m6V_:!!%F) 2 ^Ԡ\ގA?f1?-h\Pڥ(sCheX8&,27݄cAbݗ}Lz>p(@"U P;j][|[i&A+bMA.[@W4/}ٺ8k(oI="T8^\ɥHȁ.Y _-~tS+*UvjBPg{liRXBnv[/_!h6X)M5C_Fdň 1ZDf׳Y^E4w#dQ:Eou"jĉCE|(dDG)l&fd3G`?mi 9diJœQ{M~?@#ʋFaG 1C8__5'd? D6ړQq5MIxb3 8,kUѩU{jq6re"T6&DV5hQ 4CA^}l|ړ9'VČZ71W#iq=NN4ߐĚPoi~]K|>࿝)Ibe俠9-{1q\ QEPk0)3Eyw@~2q -˓C{tߓK4:Fv+F "Rfo@Q&S E6vP H1@FfIgB{:Cۧ#>:FM׏LVA/eXzIsX}nIcc7e8n3ue:鬩n3+<BqW$5>SH[3[.[Jy^WL&>ƬF@&<ˮc4AN.uS.H*RNs J&>@A[+95U!a\?4nneGٱ֓Fvz2E"DHfܓH|=X.)Pir%lWƐ8f%e Zi'~uEAH_wV!LgYZ0d2fc4951ba4d09f3c1ab3ff23dcfd59ec200c6adbc373532a8de37e9abb2d2b3f29c7d794abd157 76f1b6b9c5508daaae4efe96776d5917ec90f735ff68f1852b8645646704f43cde2b701d2fa33405