SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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=4elapsed=753.042cpu=1664.684gc=114.400factor=2.217zXZִF! l]ŗXf1-%˓S, z!ŧo]uA{D"D5^]38+0@`pI)1R8\&(ZP̆PQxAT1kD>TU\7( 7dZ l;,72xuz]G%U 3(R|4;Ψ5 f guO2|ܰ|@Zdin!K}2*{J6qLy!K gqe;~Zy9_,cRD_Gscf2rϞa e,\ҁ}o+{غ|!_SD0 &vlrq0 h '.K@OX24cu3Df\F1u ?i99I-XSOJ[1$i(v՟TjX:l.AC*?|a  Ooa.l ^c?HaЅE{tG}ͫ@ov蠦Wyę@bF7w-L=T+aWsmkIhA{@WHҒ| fq*\~C_\:=]`2%Sɝ-Ñ7TvJ_FCyfu ƹ>p,D FƜc/^,0x5GW,}>3C~ٚHAӷ7b@juNqKWrO]Te+tKQcO#cU'İ;$Wݡkwm4M5m`JSgD+'Np@ǑG||C{^*<>c- $GɭȸpDs<&Q!ez֯o] WɖR3ynޟmWU-qTkaAM` EOL\iB-;ˉw5%O(]ttqƤͥ=]Ӿ(}1*ji uL b 4,6T+SH n/Z%sEaE?進M7+S;Ӄ{D~G˚\?MFJq; j1"Js5ww/.bz\cruA3Q9)wgi*oWϲ(zx Ym+(qi՞לNuq]yID&]J' U盯֤\:([Ctk&#^E #蓌BPw=`wY"ۈðV$!͜D,־ :O W l@a4ʕ#Jg#x6s8S#@dP|cs|X& \&D|0p6FAseAJ]UqEٵ` dDe]:@.S8$0@yh%/ߙ$.>Mdh:0"j8b1lmS{mn& X(aοP|rC"bH#[b(0~+('TԺ x2HOl}[;%sɦ:L wz뛵ξnjʠURqS]z@~)S  ! HOL-Proofs  N{ȹg{ҙ{æHzX`Nٲ>+`ʔS\i3.<{~J**Aw@D{l̎|V~~Wt0K ia.W=äKݐH.~83^{1`slCW;PZYW_a(ܬ#Szk_i&+J-#8wҭi3ѹ bƩkmnj+ѐJSF۴^άV "Y`.QĶvUp;rf]3Ï +˙g*o_yq"ud5R׼E9$N K"%oE-r xeE*twwvh ^Eܟ *5{2iĮp НA_;} {NdqSb-{o4Zqȥ罇8C YkdXJ'.2\< |ƾA|/JgKO-:ژ6f_JsyIeG,)EDbcbzEqއxc?Qo`,)bgTDghеbt|{"| ^'/u|Fs<&rH'B'Hn^!.|Obz\2 8-?ꛭ..%d$%MpCڭB4X_>j[egFp҉́fF-U+HKihADdu=l%$|)EjL/uıp]8cS•jԑX1'R|/37 YNE2@Y8F=J ĬTIqډ"[ =wZ'鷁w.unwT!c )"h-X;)b]5‚}gJZw1Z8;cbZ/ TeLXȕ€_Dp eH%ṓ:XJj^x'B&x ̦:#~Ml)x'jgesWjsS;7ӏI0Bh~섳;)~sS^1Y?l ~NIk6Lac# m-3gL[-ZfwЙ0~jk:Їɴq@‚U.}d_gUϭ>g/^q\V0ޛ`$5i+W-ȼfKWV ,SnִRPV{]&Fo[yɫJR5/>]e"3yFHJ4EozDJCuEaI=6]W`oL$@& 1ZBW?ǪN97),",74kLSg9f@ *' jkTS1b!.W ) FwѻM+"A eW*(WβPl.Oi E)!H4\,V*@J;G=L^Ɛ;L^Ǒ6`e>򞀮'pM\Mlt:#ddSbUʋ.(3xׂGUI ~FoTړ*>٦ pՁ YV03.lG#4u:cs Ϲ}, JG<:wPQ*>e—HIFf^kl(TdȌ~4\#66ɹ Bz 8BkiɂNu9F{Xfb==cē&uPgƝ8張ܔ#IީKG zbx+(b>Ek{R*U'ZIfj52|4TR,9Nh, r>QR|I)^.sD؇h`ܤK5*P #|vR>a hdW)&.!DK!xm҉Z>Zi입8PNYUۉf>tDwf{= O`bf;`yh$3oW$ѕVQR-@w%yjǏvsKK)O_/$vx~3[F#eTY'3Z6 LZXY􂿔YOzq҈5ȤOװ:߻d-eP)h$#_!X G"eKUeJ+. nX2*b/(:=Wu:@ce-OS QiGo d?NmW{ʠ}]K-42w!W{5y_,/>>8Z;#ȫN Xgj q ῍[6یXΚ:|.K︢$ dy֞jWq.alCUSj_sΛ>3yoBb5zާM竊-^\} 2emZ]84f(uєv)2Ql%03j{~B5)t[P3'ADǷQ\>K !O],_oe"q6z)"Lײ-$?)Nst_܎仙!{]S~q/?/o;opnNK. Ne=*٣VU+T:L|` ':VL._,#6pqܥvJؗxV ) W$05Z=D $Ŗ5U.FIR~4~@0#=$\ b sK$p3 c/4g[tב\K$aDž#]?{n"CalӪ*=;5lϦgkI V!n(%Gjc|5y>)j n%ki>XqRvU1 H|3Γ^ e8?j<˜*5[`E%q~7XAABRa5g+.T\ :y ¹H)_춐~ ECVݦOΚSGS \IKwLr1 ! <Ͷ޼LSP C(YPo[ǒEM!!*XK tNs7,0M^!eBnT0 bƍ־Q{\$A-vD7P?6g:ԅ _^nJP,xɊ VS%o@(Ci[I4bLUYlr D煫+O07G3)J]W!  H&ːr_$J?2Ch҆BG Kb4v;3գ+uty.V.ۈǦ  $Bow%G&ÌkAjLw1o=k>sIDO|2-/lν+D_ v%IO Z%Σ?WHo:0NL2yi&l~Ro׮S֕OK,([cpGB]HF̦qT * [-.5oƶ" xT[rIZ jS.h4`Ī'YJ_sæ Xd?.y ( PЉA}-~njm-#ԛCN|LSZ]CNA$u2ߧ8$A۠}H CdDn7a2Iji.G^uz/治dy$T5Z("Qz-%oO6rZ4ErFH_(>CIhFEVoDphY][+WU[. V%i4X@ٶưAD@O6q4`L$P;GNzyHt/  2?ogYZ7zXZִF! ^]ŗXi%Bg30_뇟js[2@)e3{#hJOc$ZE(אw=7({bAZxzyۛ<"ˮ!T"p"qD7;3 չq)AA!\_OP6͐pI>gՔ, 4:fa$%qbxPSQ3E`j,L_$vDmp$xFhsԠ$>su2ƃ+U|oMBǺZ/zL^Z^f]}dWn<@7Xl@ct~CZ _Qrv3f&c>oXG~lfWO<*n,螣]N 9hh^qA. =Pxbyb}"R$4yjE(7wu.h$W/&U: WVٹ lO3-އvV/xD̊f,!Ow- mѾv8ThjzAUx%u* bBk(m^%s߀({6G$R4/ޅ3BySq!H;<[BFm-hpeO&&">uOSfę_ ,$.:CyVfeNtJHb~ Q `NߞQ;?Aiyà4:5s߲ϲʀYNGTZ%MzEqe0%j*[N=7N>}if?zpS=7J&.a3Zӌ0IO]0~Gyii0Ʀ&j5gnaX'oC{w'C]Jޞ5;_i-_`ڹW{_2:19nv)!>s'>[e 1E4[4|L[Y@u:ɺz6!ǺA,+_Gyn7vS@xzRb\ Ge"@'{_)Ut=;dh@oŷ=I%:"e!ra`:Lk+LIݭG!P%H8'3jv&̈km3\`cU|#? |Sny˯9o}{*4WH9; NE<|. RPHƜ1+NgĹۣO!=ndT)ᄑk 㥸ۅ޿^'ޏ|pпaĜs 0^'X`&eL']6I'x#Q{ 3%xpVP^A-#3 ŹcZz S̏U~E_H4p{XĈSIBO:pJ II!ӯK!>/rUvcYfz< }85`v*Yd0S{n? P@e );;IV%/֌,9;" 휸9p#@Ag,3=R͗Vt"qFM"p*nqP%hkW(%wmN.Z>zD{!uELn;=2C4tXjF}䓣#6 JIP(tڭXI(r!S[[582d (~f؝j3DT,phRfCt`j"^m؏ep.hlKPeʋ*@ZB$1FR571`NҒ&Y/T`j]<=cě@&5bJcv$Ԏmu ꌱ[[nVA"|"JjzjwEIHZN79G[:BW jHi"0wC$tIlp5T,_%J^2}cRb@gy$w] ܐatHݐ\0 iظt9GRYA4ZivhO5)Rs#dpyp;ë,yW#о(7B5 Y9}+ʋIŌdJb?aclH 3]+R eqUR0͎]o&3;i̗Mz 1: CW_f c@"i?x"`»Rj#PSVBiɋ!:I6n_G- I}4w B,_xj}[i6C (5`c=s7jq rL'ozuVx44g|h3PakҷLOtKsK`m9H e)/{{-*A(,jXd8 ?@p|L6Zo IBUU ,4I5V4WJc538+pmfr[Oc םLeu6V Yua}·C^.hD{BR*[w8DbfdF1{2d1X5q֞BUW|(AaI6Ytaۉsb_W'H65V9<7)g.]c@bX{`cȇbd _~ X.AFhbFi2R{mR0c`xBDzIv\ vpjn`dn nWM͒Zb Bx-#AO񝰒$ءIGz=C~Z6OX1TDP mVr-n?XX5l>Mܽ=}@K nm< !hH н&`a,(OLܪrNzڈEa{~szӉ1!Bz X'!1YBX :+>)^D n ]V `'Nhܸ{xƲkȉCIÊ30zw覤KPaunK#[yG`qw5^XξXNBZBXn ߞش $^2MWQt*gjUtנ0#";8_'l|ЌZU 9QiGocO| ⭫g;0#^'5u6D'"Qdv s)J}p1ĸ s[Q%9ɇӅb_e6(wihv^)WTe՘Ok5`cN[w6Z1UjYtGs8rUk=CrU<~ ~YVes^`6w[mY5{hE;&Ih.@zƣ{lBA!;fJxpMXfFl\fi0a"|ˋ}MqxRj"G+\ęQ5(e[ y["esP6Î M( =o/FziNTkmhX;#ӰrX&E>Əbq,^5{3cG?ϕ,N"t,]M x䏕IxEw&I.0c c$(0_n{¾tLވ4f}q>Xb8 d nUBWE04kc)GcPC̷d@sdAPMJY8J8cmp-496fCf[x'9t-n?6(4Fԅih8_Gʽdt\\;G*t}3kᝊ_r+l1n_" gwœ+d^0Zkx{?9[5>* ';*cz .+}m^lJs~B( բvBjL޴|6oH=ЍrŖ)}HD8\e] eh1\U ^ydK5ܡin 2Z9ç=T1sC54&c yZ9Ox@LijHt )[ʓγoI P r3+_r.EfK7)_D,KnQT*z}F$<:cu'!彈miK/x@\I~0q9.:A!|.Ղ=-c0 ;| ;?1K)۩E_bEo$jb6Ϸ D9Ms*i6A3#~A$4zucol w~c_AkMbGBj }(Њj\ hUW|A$( 3o5+Na/ dvQq,=˒(#Tvo\pB/&1)g 6V"{wi))NOy/%8K&ey=~@/g:D=y=s&$\d\.*IQfnĘm4k] i)醅ޫleM3:V:̚u]hY /9nP/tE=QlXo>C4j*5gfK`$ք6!IVW=ȓd~ gWJ%-A}IZ+>s8ҙ|zZzFtkY9b[2F(Î1ѝakRY='Z*ycDCv3@!&GSR1ː^ FD8Ii8K9[$/ 4B$)y܉ͷyՎD}l.|Q Œ=\ʯY(dϾߢ_~7`w}U+fˆD*R^PrSDqĬAǵNy|B/_ĄH ߳I;Xe?CxurA 4rUOl^Ћ(S"'MyBľ`t]{]ˠa85e}/>E ֧` Q')̈́PnW߯sCJ٧)~/;JڌV'Dl'dUوvEB05ʸm3ҰxR4W/SU +D#>ʠpcxvu y܇;6ɓ khj6}s o#3Ә=wؼϷ KQX%X} V7U%:bjWwd5?1dc2h)|cjbS5/-?m]C:^bҸ R}; j5uN$$ٓ9ëuvaӐ(u,R&7&Ҝj\Z &*\Q8`"Q΅Ս ,Er Y ?SHr#jf ywR1VeIrȁ)rI2.!4O4/o_\5C(|]T];X;{q̣Q.|b#87]QUgK4o$~WWχbvy 8t˅᫢_?ׁh!qC6iޙGBXiZ69?QMf+b>m[D@Xn3QwdG#-k iHF:4oXz_Ĭg$. Zqۊ Bnq^$0G뮝W t^c eB.*/ =A)cl!'$#\Rh&,xMFKM?({CkηfM?+P@0|^<ʗ9  g=-tZ[vz#[j'@oτggM\/2Դxlۛ7[ڳ`Aexzx\)U}rMimFWw]XieQ>SNߟ4\(f%J@a q[R-3E^h?ޔ%\\ּ8m.osi8ssNo6u᳁0  &_/X+4;r Δ'!(pdE+҃{OTP.}+ 2t ĸ#ԡyL;Y\I3 hu6fS%;cWSoFLg::P޳,} N<1g,Ac!;|C*7'B3ã\Sc( ~zq0{ծVK_.h>-4=/Y>왤T6)iqzwzeO9'X ~oIЪUКkf*=՛ b yQtDvaml_J 3-{;MYare29KOR,%Xh,m5erggb>F@&8yyS}nTi:R#UmƝtbrșGkĬ;WMirԙXBYmsx]lJ=x0yqd KHQmL$hbh)qؿzF䬡)&͐0Vaͼ>xo֔#m5AYf;-Z<.t_XUQi=&jC_]])jOJcF\اR5Qjܭ,Gj4krodB_4V]0sx?H/N!o\]VO ^44#lXm;Xҕh^n%<ѡ[h@ W90US90<ݹyj?C}+"CTv/'i(ՃmN8TtI%mAsi3*щIPUv) SO]Ԙ.v&X;o9Ah;\SI2龭YyN4Gs1s#d3E}q`pձ^)Q,@N^SP أ/q_,57aw#LGjwć? xg0P[ySPDO.o`Z}Nzɝ1cwz8, +$ҕw ]+9)|WnS9- (@$": HTEû4ZN~oXbK?RbsR9x4}CTiX]|a2-IS?Y.]2gBJ !&L+n?A\El_f$ⲉQ'uf0;g$&GN~?dkj{چ1jK˔&xtj'B!KYbߤ?+]IoQO!*U&zBK:?ӽ|rÅ'Ye vQ[na$7X]Ӈkѷ5! 53}% m >0"e; Kv^2 5_6uBډU{߇ho"@DOXQk&SW1[,x6JEq|r/RQx*~B ɗCyB*ou]z&fg.T^uӊ{/+w)?)X+`7n7WPU߁n~&r^.:͒;Sd[ar> Es'jWO{h\,hز.25aQes#:b\]"9 'MY.NV8kJ/Uyu<ƻ)ܺԘk͏l'@DKoşLh\!sOnThwl$󮵯RaPkˎuldȒ툹E,2HXAE1 :%*35=.iøQP Ycy;CA/i݈exp80U!e&4$wm4=.-"1`z5nq_|dU)c ;tYGKtqbzA(s/rNP(Ղk$W;w>S͈7|8ˌ3)|t~^)VN5s]lZ^u@oS^j 9_&@N<~!k4 h$ "= 9.j&I4ó$K̶@Kh)M"tͳ*һ 跦,3)iMރsPFusހ[.#rܶ9&A'W6Ui|]mj)X1| n кc&ƿY̵D.\A\uox<"0amGV[&ֹ=;Gk VNSᖮP_jȭ-ms75L?Ћ7/C&|;;]#OZa&n#)!CɗЭem.R?"WpS Ԩ-Wdc#w,mI`@DLG vbv@Wya߾jjy,΢՚jHL@iCU6.Bԝ|Z q~խ1U5?jҍ['O"sd1NWU}kv-AuVkˆ\Ƥ"d|eTImW-DjyVW{Z)t }i18T\߽ _tث@EȂK)o圣 TqIA1V_B@s#*n{3S3Ee |q\kM$P'3jHUaBވd >9o@鸽ԄYԒtrt Zѿ%ÃDcZ+JI^a.;d"[3e=*Qܡu <QayCӧ`EN` 쿏D2J6gFh[Q;3!>_08ؚ |A-7Zj ZSLB* 0+z?`r% ǣOqo Ps'gQVvS!Ƃк ކaH  SL# 2YeF/_빞(!+㢑9i$Z *I+,gs0 /J[H -^mkQ嘗lȑսδEÅc}{2dq4Q J+W*s:&4Ai.ߏxzλNR_L̓_n$]* B1?k{븯o~SLZ+(27sI('clih >MYd׻tޖ=Ձu0y5޵AjS#w"~Ku3_@V0l Œˠ%+^c5-ړb= ;0)\y\Zo~}gW;I,}!V{= %:X7L^HL]ۚc)FMvy%dt*zZW"xf9>A캯9dVvcbZ-ź*B;_N7F!eꋻERF$[\.N(4C__-?+$'7+8CȮ[i3YDlqm8r Cc+ۂ,aI,VM/IC̫/n/s4-6#'kWԈʀH4m= pD|AqnU;0( "&2 ~Uӆ<; 5Bg1N4<?U;am}[^-ċ"7 t$d󘴈]?❠?U!AY'!$;>Sg |crE;%,yz.]{ = ).T;C/LW,'lxH%3<3+{M!C5v>|"ZkTY$.B܋Pa! 0w}0 Ď!d;7m*Q+Ahww`aCعIW} hE yKK~ABjl/,}*1x_9l^7Ă^ȃ;h6sFs,PR(sn\+@7аkv@ m7t=|grM~%h9r?[''H)Lz] XYGkr}( |e` -;y}1ܤj53 ⻆l)":Sj.qэv`BEd.5]v0-xBҹ78mi7ˉ6<=Oǐ͚`^ivO`B U27o9k(%h hX{61=z|2gc5m) [? n xW;b1UB*kcMc65*5HC u'gSaj:(Bf%|Ie&FB&]#5 3YEd^4R(]O1"?8qF$FydN!Gꜵk"ROc9eܕK#5C:['ݢ9z#QJ'4kd>gruHl3Sp yGK0M˘mw*YUWo'Y%\&t+0][BQS 1,W;ݿ ?_duAt_n߱#:"lE]{ yJ2y?  >n}B(B]|)k6߆]P4+3j Ri/НP£Jw rJ\ޙ O8![T hU|M޼>L)s:ߥHb*Ls]30RQ7tU iv>H7̸]QמYٔ{RF׆{=0i+&w#?fVkp-VV#B}^TZm|+Yk^b5z -1c&5106Z3IXO77{`0*CVlRAN;a[OJO rt?e$zZ* v0zXJBzR|B3z^΂0շrdpO Q@o$1wzW?D<z=ԃzlMu5wM0T{`b±mmA|`V_r&e^"߉(w:^[Ff@!nv37p7C>RdXkj +0|z@Z+V<ܳm\O<} (zh=&<ك6c3G{LXʎ@r@{w^ez%0`sͮH|4q,IncM:cEƍ-ac ֋gBA]t]srPQnh;qKG*=Kv`b 8X]5qG3BwvNj| 1d`XL#<혘Fu'٬̊gG}z;5ʫyv1F6\:.סU}\)d 5Fؙ]Q&HuH\ o$.6vH~^ D'_( #"z[&V3cPp1T_UrˉT$ /1,t5 Lx'y7T$*w*)w##ҹY/R]dGsi,b_"-[d<9f@&ڽcA|<ӋƊj"?W"3`S{Ft\VԊ;0Kg4V(GV#&=]:DYBZI<۹T4 k& cZMނ1ia++2m,9@4 8xEspp& 8)rn9̿ތy6;B-1Ēl[ARޞoݏUnT{&kaBGa 3I9C}?6m[%Цe.`3oJ,.h-✺W>VR+S)eèw )+v!f JwEM=1Cn& Ybcd%u\NhHo׻܋g[&EEaOy+9<u̇ޠ~ r7%Do9Ρ6GZ"H&y Z M\(ץS5KN=V{Q{a}a4<0JF(Hى1b;0j\ez;~TyCA=tw-#iy;ӮZ!,0#. OnmmL3/='.#U6{J 8_" $6tb碪jP Wun0L|mݳZx%'@I|]/m2>ĒK-'Iu*ۊ#PkC?9H~Qc<x2ۋ饴b>0 j>k6pg^9ʸf"U3 9iKˏd<;]1c'3n {>ʙzt6O8Ctn>Tc YMW!BN^^KפʉA;Hu=6PR˼zz'xS+=r98K xrdр? %]ɉ5{krB ;J%.tžH~? ;I5rY|lJyD@"XfD2w j6p|DH0JxTd9|(6)@{:%_F{<0Mh>tZ e֯ > +=<- 8 T^n(G.thoH0Mt-IA.>zjiɰ)[MpT*ng*1JDn[.[R| 04+[< E]DTW["wrZ@sįCBW8P@YB?0ds\E Qm (wzeըk Xޟ{k(#zĭj t8@Ti}GdGs噐č v,'/zq=R%Ul/)C% Ò7gy 9Suߚ U<; '4&/L֖7e,ZY&P^ =.0(w/*&$?ؼxx{(ΤKQ=&'[Jd @s|=lQ$70eUHh/ Qn ;XIBF2_fV=Y4\an:kĐkZV6[E/M1̘FڋBk>ܭ-~ds1D H3ۯ˿Ho q\eŪ{->XSt';#I[jmXB[JQʛ`/LSMzLb>Y ^ w;#kUG9hRz"%P_NAlV59>\}3 yyQ6~ORO^.1 T"lzf]a(BhcxʗWtJоmgr˳\Z Td{*+j }Y@ Y4ݫ9@`VZcp(OAw)u%ZUu%\cGs·k;Y;+P|ѕ?g`!\^m>I-c+x`::y+-*)h}4ɔdkEgarf/4]ܰp+.8Z-%b3[sS;'* 7秵8n?ڳKbZ?mjk3(X4LR7 .zʡ8\^WZڔ;;ѧ?}fptCŎVBD:5DT*Cbs-cb(#y̘LICsuW Џ33 {zG?i_a$AWJf!p'O dA7 Rkld!^~Ԛ3O⽂b pkF/l36c T+\pSK}jgkV8NGLZ3Qzdދ W>҃iL쒅Od7Q{dX9&RL\ /S]*vb;3D/=R} ЄaBakݪ1/Y\iV̰s!B @>R`?в! C),MRז [mj̱Aօ_W IhBڞɄlhَWew,1 Be:ڥ2Y,c8G~|3[ rV䊃Kk"nZl֘ڧu%]cꟺ[!&$sjh`b/<-Ƚ؞ȰVX \'PH|A¸C{f}1N{L;BY\$jWViQp:2Z:DnAWt,щwK955myiXV|wFyQLwlr(F[k?Zin!5ˆ:NŹHC8T{=~doX+8៖Yntx=t4_6A ^Y37"bs9Xsl@Q F<24t̫!Oڧ!f8mOI2~?.`Kl&y=eg2?v©F㞨ܝyN,q8%&L:i/15Zbcb{|~'9,eY]T4޽< *qaM&{>ox [zZ$=Ϲ PA$ ]'C֣ xcdGj"%xӐSf@Ą!;%}ug GOO zaZF|<[Ih>N'YbYCy[\9rzc4,SDmC)*&9!peK i/vB;͟ә |W:ZW͛]ljpBI1X0= \8f D0ǰSW(h6BG}ʶtKU&30ƺx)5E6۾:)tSz,rvGܿR* a3P)l:<F2嫃qLQe.CViݵy.LZ|t:5ŇM^0c6<S˔pw!elEL:y, `Th \ ޯQz'ऽAPkб0MnKX?4_n8WYVd{}Jj:/_\Mcnu4J.'j8MΙ^`aCp JXM.3/NkkGpŴ+ӱn]rb?7[I+|:mv_Rڽ4 ,d:Fw5#w,gVfOPiBa{+ bG4bjW}KtIL> B<4_MCU{fVMN!;9ٛM-([ р")[x'9܌- S/s,Rz:պ)TQ l'͝0_Gl=@q{xk($tʃ?d~Έ~2W1u; 6f^I𪥍(Jjd$gjv6:\;O 8 C0   ZW`m`-,j$;5Bӈy q.HV {OL%5Ie)NK9: S Z7FL VآÜ*(koϋ tDbD&fX4DzdzB,c5uApTh{߶>[*C{JtfS<du[l˪; _ [%Ҫc=ء瀌xW|M v-A~.9akӲW)v'W"\ߩ,ۯ~ {S6t,M$sE=_֧fS9:r$<@FFe7/ +'f^%:`Qmu=&2 dŋ,V'f琂>^`ϼS0|qm{^tWRE֌9;.]AXLYi2#"ix+ejD\K7f 6 5%Q3uO"nld-G _hJpa-iձtV{rPa>Μ@qkAbQXZ6ְO!dcؿD06F8$W^c=/ew ^k%\C\+vWO&0j6)IHD xD{D{q.lP:j#n+[{T,L*p5Zn[-0*޴zvqO+8Y3@%_sIPT){fyp m1oNIeJ4mPT0DI5],tw]XD4>!^=Ta?Sda Q>i*jT&$\\Si9!>@^BګN+b}^Er[x,=k˼( DJhQ:4{QQ%epFa5'MQʹb+6u!WA.]Z8PִDr h ǯ-NbN/BOftnUaG VHHi$eGt^ϒGԇi`{A>1Fi[oU; yrJLbStQS}mJ faԐ;.'5ty(NFNNQ})Ulwk~jNgV%)*gQmC0/MI㩸+e\E3xU3p۽!; tIYyJ۷!h+ 1;heIXwU%Lz#!oA8zwnjX0qveq/׋+tS>Z[uѷFc'߆ˁ g)~KL1tt~1kox5WmC$1`]6{AEH)͜=۾<}SHFz-OwՐ8lhFvo.O'P3 $PLUNi E7c׌5&|1zP^{e&B&55ӲD6$yG^ej(1@k`>y_EŅ,  Y:|Zrhh`8R:kǏ:N40-ӅQԽgم&PjHs L{5MpQB9pO^VISC™09k3v袖*0=:ʔ5ߩ3;>RI(APD[ p@_eSbV߼zэP AlZPY95 X.r'CaFjR7\y C$[4$Dlp3tϮC|ՎMƻY:$*Cn/Qe1;^5E @SRe %eݑpS0$EC( /LZIaoaķcqTòA:CO?]L9}.Hb|i w<R4xu pG sţB|W|v8HΧ(Y2&~UWLN{Bp\5A?iQQ0@&Dz: `75n v 3'r'7cfqi!$#WʨʈΫ1us*ӠExLaujsFoPzLѥSŚ(yHuB{<<'7>Iq)qDv]Eβ~!Y O-k -: :A)iNʼn0Dh5tP6*%mAD3t[GI W9 ,n\ LVDD[h`>A߬A5=t%A`ǘ;?Gi1+⨜68Eú&qxo5}HVAK@6t˃2ΐPe+Ys aкg :*),ݚ-5G'$qkZh֭:Ph~M*mh'Q":7,i+3x C֓עz>x$?%J0ADQF%G6u `OѦ;SSdAj3DyAqy E~"ǟ"3Zts&k\(SITN}%fJP^&d |Ilآ˕KC^QN_1В.BZҹiԮh oCѤ_‰}J4w^V/yAA#t= !m {h`WSV,._8ݫ0`(+ZI^'m;SE鼸zɞ7o5ӡ;0abP"-֌& D#c;x^MĊ@_K {(4s4fGd}.paGi[wWN#˛de3 :,mJroF < ?fr6k;_l aQ$.7 jo>s h\Ri]լGՎ)7{"]WkC>O40ݍ)2& 9 7{̳@eQ;'FgDp{ 4lVudm.'e=m->o5aj763 rX>"4y}a#4Mx eFtIɌo1緀KS( Y!J8cઽ$k%?R>'Ca'03( UyPdWI?6cWyBʊ^S3u짠sW)=+t"MZʝ-ǰ0h2 xe TҾ$`WSq\?F: sܭ$,A:}K佸V'Zvh̯}v}AaĶ"&xnQ N=J {3y\1l~9^P@5X4Ù=k"a3ȫuiie(J5 JDB ~ύTޣf!ݍ~ f>X%oў!Ss@UR'U7Mj0rO׭s ;}p]$g+upMX)ƣzj^Ós$2e庫-w t5=u Vo\F&AL[F: >M1Lo _ OsٿiE_vU{ZgW|'3wW*0B4I-%tqx4b.s?֧EHJ:u]F'kb xD9DDPR%=T46"ʙ1LLӇsczRdG-k.3 K3 Ud c5l \]кrlkњ!@E z}NԒ`E%ƞK ϫsHϿ9ҏn_´0޽"+EyURͅ)ib)TZ^Rܗwj]"-aH If+ĀZlSZ}\q}- U!\K l< :~N4nș`nǢk4V;˲K5K6*_bohOaE|k Ud@T~^1l"}>HbB5%%X!Óڍ8R-Az..Ȝ䀬GūSev qe\+"U / -KPՄN*+FX(z)η ڲ)RK̄O4Y #Hfuq9RrGriD/z!Qw,NBn 3}OBqI58EG5W[}hC%5K7h4&onԊҘ Wo2 4`ApM*VZrD{x6z0kջ?!zE%x<zG:}x9[ -)*wb.m`?04" 8tSS>$\FYϠkk9?|ME||{~QbGQ zKZu=,m _W q ڷ-ڴsSͫ_rn^׼jh|qVv*\S>EWxT=8&.ڪPD4 m.;3S@UHhWxHO;S[SSH'{!EۯڵYFB;u?^S0?T-rl5N~"tԟԒE?'iʽP*Q%K|]Xxa\ڝmw"|&{Ik;絲tmdDipk@n'q'D7aM 1';ٵ* K'"HaG- .&ь7~Հ(G-\]Z9co9˥ L|0 @eU=&p\?Ex z Kwlwa| bN8`%Qꭏ >~rʳ]kf12^Jw*vGM}|-;MOU MN $ vOtw06i U~4(gu^󯈿C<2%FsKڨBw7jK^Y./=BGb dR8PےAvAճIkI6(1s&h\ z`f)*gv!=ݎg||-"st=RJ`E'B>kj)𷔋e(>VW2àN5h ()溧 ̭T;{t"Zbj+z} % ܢ!Uxt yftZ~@Z %U ب!.v+jXŸUݖKB)e=\RTe}==fI@ 'FoeS,sڗ}v%ENnDzӧEwjѶUk~W[TS]_{T[X&'iIҗ'J:%+ߕ{Ul)ES)`/vUa{ TsBE&$"Ѥ OaP^o[ ߔ|޵q`{V\Ӏ|<8.& J>| m1A4;si5P;|mt7h ޚ@ye\ ۹E&~'a탪xL|kMM߭g6d/lRM{rMBmv#N1VA;PHyZtQ{*#% ꩷tjE]76ÒN[L-UIA-q-}Bmg T%O\:f_W3l%ZrKJƵP`A >fUŬH EtuC+˩Rx%Kᙡ\ez @ q dtgA1\M"L%pGp><&p>y%D{zW8x4Ԡ@g׾Y'-ޢ|nlwP5gsy NTpDuK+$ AtL)PH?BFm9#E5R}'=Y]yP>9Q6xd^:V1romo\Icy,7ԉpgf.%G[f!4̤IKL' mX 6o{Z|;nlHCjc:GnA'bH6cPOpR760#Ŕ4h?3n])al; 0"fY9رqqEA{d; s; "kòqpe/KJ_] #(h# Q^ z\MؕF+uQeW{ɪ'cung*G?jFKʜ4xC}s.nعI6ne?ǡs-䋼Io796ƫ%=5 4b)cy0.GAIm_.fq(bevWgrLlݧѿ\pey_FϨrZ*ElS9mPD}'n!?[qp@4 w$UD4,"E~B⏢爐XW*aKkujc`j9{f38)B@uJ >z.X#&Äz`(wrؙII8u0Sx2uC oGJw1&cV/1߰FGejCw5*ȼ,5?EC 3Y. hSEGL [ȮH Ra) Cヰ~e0oP U(+Dez.$J:'TK ߚ4ԼL ηZXQ\{r̈́ y@nIT]e ys^^กa{Gx;n.t:T5;9G}nM@*̺)&REhh#ƻQxz~w1{74ǡʻOM 㛦-NSSWqТV g pS U'@>A.WRf~u~s(pwr]zZk!io#Yq@,TܽT fi!ʿH vetoU%Y3өq_o߂ueKuJ8g 6n8J3a8^-w[D4Y4;J# P`Щp:xٝ})Ykرt5۰riݡjGR+©0FoXհWODdE_e*H8TR;HC*6 Y@T\ka;Z1|=='rKwĺ>*N2ɪʙwFh!g$c6@9y -RN^JNde7F+aإcGAFX ?D4լMoi(sI^#hIQ\Np߲hD ?eZ}4>DkӑJpw%G/Zx1*y}pn=un';sFue <Z,MKǪ~11^#Jl݀e=gHcln8+C+^;9m{.f_ #j'K-O vapk˚:8j a$sdͮFWW$OK7;pL vwO2gLbz2| `3B Sծ9P1뷺T!YiPk@0uRʬTlV7Pջ0ny0d]xbQpjm ,;A,܀8 %BeC)n>x aɒk o(j󨫧ɭfjMv ԦcB6 P͹Bßr[e$Tut(q G0IZe& } q!,WM~50 1lAQ.Id 0;N藕bT»x-ʫ^PdS"phU__e1uAE(>X JV#38U t*Gg~lp(0Sŀ*Cn G~ sW탹 (XeHZS3;)fqt n"i:KsM}$qQi]5_J`^ֲ!s~n"mD\1|8'GA ։K"VtcFPP}P^Dos*qVإ+ܝ{KAGEd"DR,r O44jpaTyHmK{+0eY1<%!EQCq{Kz8Ŷ7hkv[{ 㳉}9=I-'\0# 6 _aB]#Oj=[tR%j2ަMA|ۨy@rwh8E_`f\^?>(PwPu>Ucg(3HX>e0SkvP`Z~jPkut^`pQU  1iXm`lcPVR/QQ巍W3?첊A[@T,!-NPNu9KTlȵJ+D|l*zo|C҃WI +ՈGGM &LqG!vhR|n}dZ#;P[4_}*ֵ1 X{BhV D)Nkx6p-1~Gt)8'~ܘ#2L?aHJKF7jGF㸙2 U;YOmJ0S OC*\NdD7?RU6W#׀P'[|VcUC Vccḣqe*@p% B.|!i_ / 6i|*u$8AFd<+u|E ~TY(㋒?v]Un|Yy28N%I=J٥P{:=8.)d5}|JFU8bRQ$ѯ˳cjk 8F;TG u10IsC_g~Cxw2rrx1ݳU~aC΍bc .*O7'~OGC,9cv (Kwh*ւvN- Q?2J}AYOo'VBgeW]'gE.Sw%!՘7;KEC]JYïhRsF$=.C1 P9$~͒_䟍>A_R3#d'>@9Vc#˞ gzS.P9ZX㔨{W/uPgbӮڲיxJ+t,G1KvR I j{sV;LȫC{"O~OrՎ`e(Y c06Lu0++@߈7 d =iK5)tMNy_mϲh x_DB#)>"D2Td5jtB5vfGT?v1@栋"2}ä&qF{$تe*v_r?S훚]Xi΄Q_u oyҐ'x!It,]AU6Al-6vU챫"ŕ k")}ӡ^@|& M78~9dXٚp|]yz+ce|@Gu}#wܖ9"0y_fDVɻ45rF,ņAjyGy7ɡVN Rc1:pHzvaX54aI 5oL @[$0a#,zͯ"\4p J5׬zԞ;Lz 5|B5iWW@RV0!7BhyOJhZ=w%"kxJq#~PEs)T _>T~FЗɣإȂ$W%H&j {ÇV|WyZCʜ٧XDNs}ކ(U=7zb2֞2H ⮅!9*;|%=?jzU |b eDtr>xYѦLɺŪ*fDGacmpX!2b{ڬZ\;tǞY%-}#yeϕOn n1 aI>0kB-ݸ4%?{уmRp}fZ[ROUn>͡WJwu6$`E9jS];vhɦ)7D nIbRVU/I_W +MW*pwWG7 Jn%IuqLih aP U0y)gJx Wo$8@Dx{&ޜl6P9/Q(҈(i#wUW#΍rY-3. z2nO֬}" (1ؕEjJ*6kPo^nxdr: VXӒb3M³;Ne!rG d9ՉXt <ۭ_vR[>HBD$!|[֍&%9rl%n±yȠ h%+"ـc(B'm*7) _g57ńoI+{,v'v0PNesm m ^w HQK5qՠjJ?xi7, V!_H5_*\z2ᢜ'p\~>s{KRvCF q1n;)|h딆3jdyW_Nڝ$rLCwR_t,shy"( n~Ida=߬Ng}ä)M;8CɣQxwdꢘ2NoZ]mt_+ґ%kOG%ڎQdKDmX f79@m.?L< ;fPR6FhT!vWozj?ezfRݽd{Qĥ]ߥݤVKq!YQestWO>L3_hx ˉ]cs~8T(=0M%Z3_xC۠i) ~tD):ޫYkz$SST;iƤ` tӨk8GU:a_'˪I!qǮ$չ@( n#lpf 9Nҫizpb3Vl7\ XCSD1:&XR ъbT ,|vWJ< GK#OIX\9$Ԅ$^ h@" FwRTu͕ozb[}-b E]7]$t-z€#AgnW2b\@XD7&Enq#2]S~1nfR4Η-yݟG- /r"l6b \qWx\WiSϚsݲ89,C!`/I k}ļW~rKdPdKMO+[1>.ċnF;\kWm}(ӭZ/㱪5iՂl2F5`ĿeJ3l(AWyfYCޓ|d-Œb< .uBiagg!CW][s8W^ 6=ƞmngVBW_o+ tXr372'5w2mZtlXY0O ܭ31iހ|&e8?K>l$VW:164kIj/e̵eek|ة*XFmL?6K=SR ڭ `8q{Ɇip,t }`IN쥕 c r'?Vq^D<%UKRPdEE<8Z{>w'R У-J5'z^CY }><-xe6|`B[LƟCN&zshtkf-@Ȉ}8Ql*v-B1qŒ (q3TtPScUi+*IiZ=v׽i(-M,=`z5cV]SXFw_e ΅&hpN8xyw9Wz뛫6'Gko7+\;ѣJV_NވGAp{eq#A)9c 1'Ӊ[tVH}ě֬-ޗ`os*ä) Z=QyYsftwkzRK/хphJ]l+a]43N1뙽X(@@!ozCj+R־ZG5b̌t.b'7Ro7Np *8/.%RR# $roxy02^7?sJ>Ս" |a<͹ mتwϹ[t-DC̽i=lכW"Jz;a62#!,K(n¸~=VNBejVӜ2aDf0o'4彼*(+;+{wRtW1@2ʤ$K}f[ظ8kgɦDiP+{2E %ÎAĩ4ؓ:7hF¹p 6\_@z?wZh);yҊtHB 1Ļm̺4!-mMu=2 )< fuOۇ?E!nFQIB@yUFqD8KF鵞 ͘BA!ۭtl^ V{$+Xbۈ0uv>ꚿp"  ^[4!%*8#M݇Z2j]ܛ47RO9]$є]S7B:5DXFFLm?RO-a8Nj/>Tnp obDLb!?6|ñKωw0p緐$a`7Al-zWpTϼ^r3ܖdF|` Щǯn+$X䎩wӼ08k y˱}2+{Ԓ40ۊL2}2o>0ܥ?W57w|€,+9Y٣mC+gǃKϜwX~+L01n*|!X`]Gj9 F=媭GkO@wSsu~r~GdR/~U[?lgp#+BN{u-T 'TMl4d261xD[Ay[ceeDl)Y8]|]&^y PKUEFj?d4Qd5/57D#e8@ (gZlꠤ.z{c1b7p:0%ڠȗBck'N̮j$@Fc%RPB~8+z]mv_vO'FBzkyZP7n ib!3Tt0z~J/?ð<*˖B>$i`˛u^=x1\d@urŀ<ȁ=؇3|aDG'EyZ48^1;v"9*<Ӹ8W#۝[eļJ/kBoP?e[rTD5>nr΢X(cgM9*MD!1:̕1/)rvT):1-5H<7ࢨ4()1=6gxne,[hL4 0^10t f@ faaGOnW}ĚS8&p&gLG;{EpgaLFQ H}˚⚋KЦ/%e#؋#Y@ש5r/;@XhcD׶ד8gCDj|gBYu*REuDu† u.g}|CVЛ ̙ý`qJM)~̤Þ|6>D~+LMWW-&چ?AV2+bSZpSO6a1LvpB[#j2cҲh:.[ombd^"IzgWe->kX?C-:fd VfS0f6aaC _Q[C<= ` @ Y߂yMH\^eQѱS+oĶFڟ,P,jAY@Iy KC=XXHXN0LX5ITǣjaha;+/ QҳyA@$ #=n сjQ6T BCIS9ZQ%< ty%,^uCP~BhrPߋ4Ցmu[XsEv`@7kvhYsxຢ<\ }HneWhūZl=%i ='&5l!6F4ZLI9 gu7.f'y𢊴DzҸ@Aʈ<3#gI0U,cnJ'_S.(tuG"ʫ/u\=[U#ev46ط;KExbXfy4f)@pG1!o5 K"[*;sgvՑyLj$ hK%ssDZ8?~l5>{hLepӈ"F'eE0Y7Ob,1F3gF'>u si'~ײ srXOf|DAZ|-JqkQM6^(RvikMy| RS\>՗?):S,1=oYŃ10;ooĆCNwIKh *7QuA X@ID!gYZ1392eeae71b054ed955ce282e2c2c443a5e91bfdddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2cb247d8adeaa6f091a30b3a455abe17c4c524f41