SQLite format 3@ .;  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 a%D<\ ]/]HOL-Analysis:threads=6elapsed=330.184cpu=1707.632gc=122.764factor=5.177zXZִF! T]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE!pSPGsIC|;Ȍ$Djѫ9ϺIrrM?֨H'P,8UҜ1 sYᔼm 㶪Bj_?_J0]nXE@[u&ӼK(U]t] )(+ZޚfC9  Ј`9D`w`Ae(sZveX"{yg@_S_^0Ư rJ=W % HOL-Analysis   2(VVٍ1QRL"+KO30^ hk8g4D:@5 a NCuߔ$'Dັl„X23ܗkGŊEq`y%pKwIfev!B4zވ tA*.S؞+?RV2$M=%k5 %w;ZW  tU=˗=}J`A ,Q69ayݠݩȲޭ8)6p5K]9jBu[9VANsApG31Ek%V+-t: ׹ pO_Z#^Wrfq8MkӓQRDI}rcɽwZյ Tf}}65!٦$Q|m9Ɛ A / krP]i c=#2~询5@rltFdknD"xM5b&p89o/w5:EvƗq_„f uEʮT晬Y Z !ڕ$"/)aBn !r{[/pw>>v܀1ES@mH-}>"sEy.(ZJmYmxP#u)w8N K;, dϢ.'%ڗʢ= ]U={%aϫrEuG [sng>©1x(s=8dh֎a62Odž8VC9Bۉ|l;h'A-"kv.y@IqpO86'Eݐ3{Fij8N;۵l~3E%O̳4@s)ZÈ]{fSpB<#/X-͝\ . .h)30S׋h;6hZUK{x~\*<5ISgk Y8azLr.wVe1f+r`V,pN붃3 i/ O[-L f? D> 7QQ9z=ry~Q܏&X6ު̛50Je79/4Zҵt13,wGqYsZC^4Nw^|.E~qxŭZM-X;f ##w$(=dP!3(wIyn﨧WeȎ  [-_xE?w3a=jM$4iE T.'QJtde>o2'1 R +ĿQ*Փlt d:=M`D#_;h71׿Mw<H-OY܍išՂI}O):F%]$77!n!<3*SHěE^`ոvvld5;FqnSNFh@ h"@eN΢|ԍ̡?DLq m7@ZY{2 BX."ƚnSq_F9/_/#|`h_&|D:n6Fd5ԉl$~u;7G&O<42vȫ>7iSqD1ePP~Ëic:hsW8lj-Ehñ#5Z#t?\(K 2:¿NRE8l@'iN(TF.%׃Y*=P(P;&$u{оEa!$(Eb+_%Z=!J0A7c8"cCGc^( p,SQgX)-h] mק{Q}v7<^(K-hB/qTM&?hjY!Y`ؒ\ \g2#+8ڡz# p\L NyDuz+cRZ}7B!fzvV {,fjRbx7dMB!z 6F= ɜɚ돚]Qzx[,Ḻ(U&#}Jvʼn!eF}}sةI94onc-!]}'-f+}-STSv?WG Ox1D+O1^8$%K wX`W&l{ǾNɝqP|hT ;q弔n4LցZ1R)QSLƥ͓mOﮃqo!%)^m9 QXc60:o芫vU=yNh׌oU'0ZBT!oNcLl"4TQ=>b 5:b: `=oq5TѰ}G:`&t.-PS'l xa[сyߘ\Z@Yۺ2c$=c?$TIvi\?t\>|d԰`0>xTtijRC  -?3.V^H^ܯs\̑^[}e.$c7򉓫`mGG r֝ulǗC"kZ]X>U@'!pfCX0<>Zq-{ !W;GwȻ+s?oRm}?W7&]|ݚ~VZ˪q:VờvTZ0pHkkxZL"@ݞ6',SL-We!) C=eK]uܵ{j/ :4&WJDq| kӕr,a`VM0þ"TEB( ؅i5jv|>'F9pi%fʹeDJݐziZ&fv&úZm)_#:R90d;SQ: GM M4̫?(r<*ǵPX.5 ]7G60K?+j(|O󅁳Phm9/6 X|Q>N|*/Ѽ'c2R }}ʽw?绨}OlW.s鵸mbHI)KEWC8~{G d$Ȥ(gh╺ȡ?Ң~M )?*EVE߅\HK? + m(,Ė~n3۾+An_ وTu7)V݉R2i7p nCƽzX!N!ZY[s!NȝT.QGZ:,3K%Jҭ'-oWG MnlXBr7!/ 130 eҍr452m[.}}e\~gk^C7=a`|z̈\ixR+W-hN+6 jkNu`{!X6z _8NB3:8&}Xd&~~|R9j&,k/f/W4NB]M  ݎؗ6/gem56O )h`0%C\2ꊏ/!Vr7OՙG+EhfXR9.<º̳~YBM")NԐL*E7Ρ4[4D"MI~A0(R9raW*Cß5!]EK^*O/vnVpf?E(feHnWn;GJN']XԢ |Jy;5Tc&'`FuCa]!:[id&R; xK'jsٹs(#s"plF>  ҵI{z{~LI^,`wC琂>ѹ8/MyHd5e`|۹eԡۦIn}z+0 Yrjൾ/aՈh.jq eFL\2 ~mn1׬M$玊BcSfƁ?Z f =rq0rm8:(ϒ{)ϛ_֜' T0@yL.Tv@-CS".Z{$p t8z19G٦ Pq/E9:f E KlLq;jH~rUqqCm^]y ]C> eykyxsnq-Gmv7lDC>Aϫq߁ t9T?)eq13az-'ҦC"v _)߂+Fj'D5ݻ{X@U%ڂ&o#S\ֲp-@LnX'B~ΌO|H3&OK;zDx] |] $CyT˪A#:b/a $2 ɼ ?}P% =iłb *ԅ~UT]] ]; m3ܟ7u}(GflHIi X*T#gy8Xx*T۞v[64o ?2|>O]t.~4IA/:17uGYq RX IniY0xÞ53Է 9%H\>`w%hIH{gំ:1]9c-BgՅO{N޶=8LQu;o"Ft %}(;ɱ;IgHɄ2јI&$S]߮:pID= N<ώR6 F~{lTxNRqFas' !aNM,,w!OLCv2~}tΰaQTp0ѷ^g?[7r-7(O b*,56a;ʊD0i#<= =Z-B5zr)`%).> U'joUŒC ܢ #t"r=0$83>w>bsݽgGy^LW"MNMDe+֜,%2(0wMu4ѯ"9x'!pZnʡ%*~ǐXw8-DzBL.D'}qXi{Z>[s~pztvS80$dI|7>ipn|du Xe.r TfiJ#H&hUL0mf@7%I\yF򯁐6[.8_$%kMKDv00%oē݋}?+O b8ܥP,60P/] ?יL)}z4|D Ӟ=7<0;2| VtST9aY9# Vo@&icwpT ' zmUZ4:."x/ody\S=\%2D&X6ݠ5[8@3 Qd"n8A"v֟}u< VT̟fPk,!@nhW8$S d BKA]i a)ڢ{T5Bo*Kn5cDm#>{ᵸgvI&>Ckh/"}ӫfy/ ga ~EFɑWlgFv k`ƚO[8]+iŞzYC+获eoI腒HȸJ<ˆR捨[oֿ4W<&f0H P \) 0HWPg(\`qjWtK]XEm }>,7Y-FgCt}IjNZHKmfdt;7_X'*M}4%˄y=P24tD\%f$ }n)T7sQ&ífa3 ͜M]TC&:aP;W/0YS G>i>27zg^ )h݆JL7oaUJ&fJ]W# țP{`/*zјz\V /I+2Xgjf'{K}n|?v*w0NOwb'Z8?C (x;iyi _+sⲘTҮ I];ss*:;I˿ ƊLlfi5򏠶M,K}坒ÐpO's,6bguBo."RkJ]l%{%vKm-10s[@/ezL;fݤ-Sv['JYPBF5"|߰SJUc7yxv6ϗKЌf08nW:h5n)ʎkz88z͂^kGz3ĠCK%)Fcv$N;PϲDQK93]#s)M_eZiȏ"No.U6Ϟ$Փ.[^=~:E%I~|e[8M,Ж ?U!"i SD.zCcn*a`ߑ 4gTX ]LOdɢ_Ū7:ܔ/A鱤td)Bw`ĆVnS*~?&`9f½h|B? u\3?05LpTolt9#kvI0-BKKF5̼T4AT`J ~mq>%VhJ}jБ`=t^2qN83 (GCs|hùKY#`rދ֭ PR0.݊6wх_urK) AgH-1qA$ǹ$sОֹ -fS=| )W R|k<;(A+G3Df_a| 1/#a[s(?z`,[{`-s>8"?p'"`!n)!HTCOEZc.M,;F]xIedf7 ~J"S_C ΍=Bԭ ]l" j侲ZːAL[ Q\3⛋h[HhՊd(+1T V^M:ay~Z0rk ݝgA IXssgJbW-ű-=K?ћoYFl}C̿BE[ *p:&JG@S.e8%F72W6j`_΢MmU$px`Ć83~UuND pWP/h. _iO3O6;VܢDP8B̆G'oVG'XKv@jYJ { qRAnIZc8EqՈK= EM|Tݪb˪vy2 #{pYO{m$?x<ۂloDgĞxoܬD"o窢e*^&gm1${%+xwx~VHK7 U?hPD<cH.Kr;tZF@4?c!|p!L8lvtkĔ.LTցR쒜c F&!4T &`2q[n,nxj'czmKYfC5pZknx[x|^)YBg8!O!tLY4f-";׼usXŃOT\I/'wٗ9NG /i4mK3uܒ=M8EfEםw?E%vtSt9#~j0KT&bXL>Cg2.RSmEZԠ $|W:M0N .UgUhðE sH%5qtxo6zO_.4An{uCRryVp@˕ʫ7!XZvDGɥ#_“Z/Wsz/M߲?Sb0ߕ 1@4s)OY, Yec}HR_\gN`n)-=IkU}_AXOd * ń}3Sx e}J7&CEkʱFF |Aaκ '2 1zy`]5޺!1ܚ 1 ժ46 .`bUYǩX,P4w1#y?Np'_caUp6(cFt݉Ś;cYxGnKKfsr9 &wn3B hc|qehDDP:Ѫ^7bB.P l~Z-ZNQS7R.FJ~`rL;>UF`-7sD]GM/,51۹+d"l!}Tb?sHC6`n~ 3`rJ(I$z)ZбM$R2wM_rux[| wN{X꽞 5f+rQT[ԡF (9mfVD3>[k_c&HXLPV{$kmS9ĩ,=0;]DH1Z}c|p !Rpt̘ ]4Gp XTJ_eb~![@Ey;31IiWZt̗R+Y] Wn&@ wJY A|(zo^a&Z,g6IV<֢Qqf )-&ޕj+aoB /؊NoW};!&~52 roBV~lTۛ?8< #"uzuMV,LZ6  [-C)7cJ/e*dbw "ڻ_~J}l3WIُ3>,gs!kpd_\JS@0S(BXa^kJ"DҟL+BFkX,jB³ە,*NJcRn^&T7G Gp0٨CwsJ1a[ޯDAz9xPbMjG^&}[[\#1 μр_A(ByUHlNK 9}ɂ%4db '2fȘFZaWc7 Mmy> X =]qˑKL7_A76*HHu#H_<"@JYN.41Uq8940ʋK(PCJrI7"/sICwJ APSH|#XMgW^[k:yxk(ݛZ'+R] W >d'PpJSm?U&{1B+#XOsLr Q^זr;2/ºɡ.׉$.Rs6FvU%i~Ӟ᡼ LgwN& Y<-޺1f5wJyf/uP~ 9jh/iGd)414˜3^@(AW/7AdL;FSи"Olr+^FIխ:Mޭ'qNS%e>XPY/㈷/Vog>rGn[@zAD%;]FX6˔\b%+j#$X5jwŰ :E9r&4]fu-:{lR<"u޳mkNΕ64[p(닮KEq UɗAݮ,Q%; _!yCqQ̻rnG7vˊĪHVF g ^T@5'MFM?#RCpש I#WV,)Y|M R*=<$j#"x?0n!VQԭѼӁ3EC)%,b 8!?^@1#mKڤ7v93\8L T$us| rQ[J 'M1Ifr@"%iMw# R#wâX3fLUAi)sr$G=:g$ٌwQE^RQ+ Ūt29!O,L٘"¢?aPA$e}[EHPI e/QF5/lwAa+ w~0 }^ ` >7KQmX|Xz C $TO_r1$T(,mu禌Nlk_R&XZ9uBPOےX_XfŦ}ru6Ѕ-}~5*3)mKeo@R >U%7}৙%oHh4˙94Lƫ}iCP쑿;֮n~W8՛0`fJAƉ%v~No忽en}PIϘuiLGkv($ ^3Yp xA,^CniqRɤc} k<hgΗY&b;%\L빠ٚ~N'+Җx><#O {d_ /ijT ]3MAx kC5}߻ߔ~9j@ZDS]1h˨݀ɀ9͊s>'yDX?p"bb3ad, oˢ.jhihs?|STa*-akWD53Go=LZ !ntkyeɅTaӁ\Ok iTfI-\|.oj.<\,lF끸ٝٵTr,9w9ꢩe_l:U4*sx,Uqq׏MECKN-^6뒅XpI^ՅKTp'!kf_}<.)KDX;p,ʉDIq0Râx  t S᥅Wx JarŒVPRP%fNIuׇJݻ[p=NX7 vkJ?}ovɔg/1^hgRͪZEy'i4g{{DF7{R5&]P3c>Ə!Bʋ!_~0EczwPA+!Q4eZؖ(ya@[taQb뇐-fN53~3KD_U(-^rrN<`U(@Lv!>sEPM|nDI:r8Fd/Bɇ>o"h4؎==%7+ރ޺qP(7>\`U./+9lDRVASԷ,hHkSe R(l5sh`DN*ф}b諸1. e&!YQ]bw E[{>`]#J m(X㩡hB8إ$ةZE\E.Y>*( 1ऎHj"ԵkiG%_nbQ!%[<^(>7K{xբ4oܬHwؚg;r?k=\ZQO|&4sQ|<2Y3^Z'~Y %z5wUNiܫʹ=A~c̝EӅX&[w 7N6L:{Iϓo $ė*rһњl&wގMo*W<<kK0w֦\8WH*\]_RJUqĖCHM4Q$(ދFycOjbvPVmG\Gqp Y^^ p lzcB^j,PpSJ4ljb+Ez$EUjݹ[ Gqbff1U@/;>/ںcł*l#TBn_ZII ~vI5œ;Lz ?Q,.@:ez௫).:0yQ¼M.І%>4kdIMαG0 2S`ޯ3R,*\CGN֑cOܰbBs}6CbGrdYaobÅ\t- _X׍MȥN7K'g^":Bf~C8~@:ߖkTْԪL:H^CK@7Hkc"@ʇth$٢7$]x?(X8̨̲̣JKyNjՔE>%ѕ뻙Oq-Vd7D} D x; {]"&Z9U&wə"9>ϰ`~ޒRsW,xmNrqAzG !ÿ>]WCIY='ek0=?sl(=U/8W2"U7bT?vsх@35Șw…9YI}Sdm,f E=en⺔&P9mYx:Q\ i %CC[g>kﰨG5Q VX**RZL;KSdO*x4(PD(J<# ~Kt6TH2od.m&2n>Fыr g';9-K/}TMX Mn2ӨI.i ]_?'}(nϒsW5_#8Ͽ̍ N:(qƳĸ.hX~F`JQi V}\V̫mCeB'[$s/tZo$-u(nd}0I*Y%Fr(w|8=+^ci'*|FMZFGJg^E8=ٸm;?%HЮd+|xJa16}>MCv_3ŕp攻%fc@p'A"R9eF03oi xD݅Ѐc+ ft|_QoGR-qbSjAީOg̕ vR5)_XcK49m Z mp6Mb=2npDCs]hp1K c ķŋq'`z[*6=}k\Yʑh| M9} ?%3CηrRA~mRVpg 3W[<_T(eC]`CH^ ĦկǹGByw?1=PqL-.Cp@ۀntc[H*+jRrS[[V+k_[^ֈ EO餎2v+%cɴ%iRim6[_=9Lחys}P^PM+0#msU:?ΜbQ QqBk՘^.\/kè#w6#pxn#{Mf JLppY:?7d&?6 S-5R KuYT*1(ׄg݁t t䃔xKN.I ,wjX(JkUT&}wZ2/1r Bƌħ?'F2 @!W˙SAfD:eUF3JP)AȜ@Afb=F}ą]#ۧ/;r'bazHasz9D ^|_H <4@O!uJcz駵RۈL 9lvau>q]M@_ՠȊ'AΫfk)"Fhhz"Dx|_?* ۖhL#@[ | ai'vhmN]4/>mh05RG}*cb2DM`3IY I2O\(=jBj#oC٢3ukExMK>c5ٕlZ.Tf]΃OrR`GC^fFyW8o$f/,Ӭ}"+u(JӚApI7 KTBoIz5ۖݧE*.ЗjQEJ$N%F ]1lK ]P6/c:*P.:&7ߡ&9zx0CK8f -OD1@d<QnB6 CNG>o"']p/u s8i )U* IrKG"di̝ŠC3|ء$r8WZC"[:?Ի{=; ]Cx!'25kB CQ7c$7?!"ݸRBWi(E"KSlFe*xi檉cˌti+{.m2o^^eS֗ Q$e4+ܺ:;sٖ^å>)ðvwAV$X+‡KD~c鞹)dM|׃^e`/ \F|ap*\m=Zn0$Qt kɰDDOړƙ=xqV3m]p1S AJ | gyܴesB =% G #BNs}"CD<^7T]e5<リF8i4wgz2?kX,JEN_8y6`gވvReSnφ [.0\rpՕɂ&LfG~ș)u]S]IZh+(O_JFڰI@]YS[LpjaoK(U:Kg8ϺtLKq+MVMlKq3s]w\VMR]Lmz*c\v_wfEŐl uto~(!dukAKT:W:HMVP "ސ*`;-Z̰=͍?ނ}79(n&:\s>z${+0C"A/N렶KŲfc jj)K/Z:{ךpV5 Ad4NV+د$i쏸8:g[c[WJ8mB>E 2:˩8ͥZbqhwj@1Lwbh"hhkK,ֺ1'*5u%=Z#fdJ@`Z nwy?NȈΦ@@h?I5$K-Zp^&.:5j,@yS.5L XVw0p5]DZ vLϦoʦCuVؑ{(䰢C֭'mLA1Tb usI }?OpM;>֜y{Z$L! =*:@֐ ;/H1*|%3MiZ1e妽Y /!8*81v#}ڽ43ÙlLk-~ՑT)gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4?47Yk P73%ou1i#WM!BQ~"M ".!޼A`ڇ "Rcߦn{)UbC)ҨR ۠yL8%d0eF4 I/n2 8A;E f S^F408Cq0xg!h>]bm0H]iV|ԚGW(j)SU+ c).e(C%  VsT[yZ&fe22C4пl,d=*FfCߊdQ615ٷ`j%ϘwKσϵ@LO rv(E M24^|*DWqf4alQg_g7qn㝼#5 $j+Z!n n/kg)>2bx>͗ef"ۘ y^="m:P:"*b n$ޜk*${[v]ī.*1_A +mƒu? kt ~j,[iMMDF&}MQ AʼԞ wFz(t2;%- `Yq1VaL#С0D)&[@S0J1$rlA7.eYi6Cs-#Q!7έvb{"1?iH3YM紆hZڌwYy0=NdrV`U"M~v)# 8QviDF?J~j`*Xі6bJT<s~tm ʄۺ /Qc|9gy`.N/9Cds5pl SCm4[hz3I#P)Bvy]/!iL^E\7x l XRyZ!gObq4`#Ěkn%=p2 P棏7c|~ &G`mcn`kGG#͇G}\Tg yXĘ'O$8|9 .wRMcRzxy?l9u5M7mCg 2&? +&R/dOVر_; @$a":nif  Rj!J[+ 2!*xu+x$3m4HB둲{03AR#r;n1jKR(dso65r'e '%̹Kqk6~&I\ϼ4IIĂҏ{'{)∦K9ddT/2?9F8s^$/&j钰$ ~I@8" 54on Ǧ] {Vz7H9׽4Y@??=x73N@v pD<;̗Y7nw-a,DWֶԈB3dO74:P>MgYZ7zXZִF! pf]ŗXi%J]D*JDv H KDKsCo/zGybvjFU8apFN5灐 ^ӬUbZ-{`UOp;t;)Q @>CE1n] vA) -2Hgmgzu[`4=\$ AٛXBd+>M0!.`|85/-VuJ d \|*N׮@{Sl]2IzA Ɔ4\wnDאx(o>jAK6 x,^e#bP*e?WPR9\n>G6[LԋUOW79E;+z-_5.GKI٪q_! B.=xCR7uN)Y4~$x /ToV6FOKz5cNB9*9”Lc;<OIG)F@B3gU572]c] Ny0`h-:ZK~=R_`݂JGh8yOh<֏:C%Xƍ6xh9a*({R 좌1hRO8{:xI!/ѕ)#//JH[c Wt;Gs{Sagǎ| B?vJ$ig 4JkE ;b mB!?tTX<^oh 2!<1Fe9B=,n#(x ? = G ZkJꃱb C?v^IصB<4:p*An KFaO|rgi-]pE(=A"9R(^;O7;b~-ppe]OOi~)b'56Uw_%-W4/E::nK#.(j0mmrmR+F*\pj( <*?|V}4"F٧g3=^c;B<% u$eƮ#57 :eٲr`hkr,> i X ugן$-3w uAF J3 $vu -x\2sI. H4E=*҇IBXxϿ!ϔWŒ54~1Yrɱw,qj|:".I6KJ rLde|ç| 1M[O91lj:1 &|遰StSrnƚj⦵e:ː+X~~3B#oy+9G ӒGfXoe=bq# DO+]p|7t &)WpqRy84. 6Уr :#eĀ0=7R rx [dP8mXI&Qtfʽ^4^D^oOX߶n7fe,@+K[aϹs$[g֤uX㢸[1Σ`fKK0 :j9۸W @  (+Bt͚-L)BPiZZ)FrT&a1?/[(tٛ1- m\4nC|/P!_XCq_Y^sGGb-1؝~;0]%&4vwyOQFK(ə5O^5G+,ÈtK|'M[(;!T & 0%!Kyݣ?ӎ[Mj3eQEdc Z]}ѤN!M"; ˢُM@{HZ>w0'\|9z q.`Fљ)\C4Jj?Cת!HJza>L3}D=P/}B/K38RjbPۺ6ނE+ډB:-FgS$8U 5סS_f+n[{%O3J|MRpp[\|"*j|EyGW[wM91fQ@oGG,C P3# ?5f t~4>(W_w+io 5҃ݳcaU@#-BTk>/30~xV%J `λI3 NQiɇZ־3 u=)#$x^><0;'d'j$gX%|ILK;qe[tύ%,f F?~;:KB&7e "Cja515_g'{q!m^ R1!CLjz0cu@vRejm?qsw^RV34^۰oAغg;/ܕK˪=+Im!h8*a ~L(4$p ]4[hak+&,#8G !Ff,F`VqL-=kO;l|\V&=R4#r߸1]u-`/dg/@X *f:A`Q8$>2 r<4~%Mo/ r4u9r\~Ld;(Lgdy5y9YP@LLO3\X謐1w g],UE&r&MZ㉅*J7kVsK1eQV0r%5[xk֔g\mk C]7*0]pҙ5[=i֦yˮ5NBJAna2{m}*7n=/3%\H6)>E Q"k葦f.H: ,v|4R_4p#-K ؼRkL׻76Ex g\JBL{k3xBddكkAKa;z# 1 nq/˸EưV+KDM4QzX90XC ')\&o>ͷ\ '=UClD),0/!0I΂|YZ^}0},RAch441B#;D!٦~<>vw'+,Ϊ‰+^=3F&Vsfe̳\xC ʳZ~E淞2+Z ~Mq< c5 jǥԒ_l4^\e\X8+ yҤ+fK"9Qz9!3IZ?͝%ځz%Pkwf0o-³#,ua;<'HiO$' 6_e5aμ 4)Z@>HaUNURFWO2 [= F݅xO@OX]b)ҙޥqݚ/N[ 2hG?#{=dKenesPz;蘏\k9(nox eltþ'ͯ2엖 o@ ёv\ҽ^aoOV=1fR|/46~r U+~9 8GKv bDT5IiU܃Myt4*Hz_|~N4ZdҊ8GVj>o `8~ِ |0ᚩjn5}ILSW%m4х3^,:+Hvna~KL#&k5=^kkb `.]|fGq?8e)k^0'?)oFGy$WFtQ6/rȗظlAupN2 Snv`4^j_;q0p9.{іI;+"Du\n3HW9D>Sy8ΰT޺SSzPW^Rh*n*aKQB %/b`_CVjX6OEgOq s)eM}$'LBLuzTޓ܍lscSo/i]q_%9'J?A-qy w1xST+vS ր \nꢋ/zdd2Pϼ^UkYT P#dIB"v!ʌ&UϜX @ -Yxn^fÉQ}mU>kfO]V~~\ROo7tҪ'q @`4dcIQ\KL"1TyCATfIp!>X˶Q.ԃPH X# lCsHP'!~+MI*y id#[1^}&/{6|2(s.lct<_ +LǝK'L Ӻ|:,&AamKPYQG?NLW4sl_/RJ+|Kvp,*,Eٓ]QlP:|AȻ5Z)-=1v<&\R#5DGvHn*|$)ZYLm'BE::a @np>8 BpPx^Ks0R8X6 чoY=q5s+f8=sI]%#1vm=ta~q;% !ƶh6]02][/Xi0ɕ-PWEJB+M-:" ǼVl'S=C"e H'.~ɋ frTyH٭mJ{S{3?Ge90OԽ+:scvXGo,<l;Aҵ+ $uO[3tˋťNv{E9/̡ _ކtU[H:`k@a:!ּQ2q vRtWM7PL*Ѷ$XPq%a*vy T0S8c8'` FHS#" {HlHr/ČBY1}fԈotEEb Nayֿ$am*͚$-{ޛ/ mM'L X0*[Ýw>Q`UHlnքCA;˨IʑT]H|ư{*^v,O)q l2€_Q\Txs=)+J;el1*%a9v#UDK/-(#E>04.ϯWTP!|$RT\u,5n)$^sC\}O4<>:޼A~@4 $L$߀R.j-[gT!*O'S$6!,!Ɯu 6WU،SUq\K{lݠH/'ȱAt|ht:""`y =q[ޫ7X:/::׀>u;?嶖"RΞE7$e(nH53PfrܼX"B`g.&cvvxv eҰ)QFĦzCǠ%a̎j'0o3iZottbhM]4zx M4s^5@:1taDಧy<ߴ 268]/XLk;9E]&-"H_9 K^~.O ]Qv)wcTI4[ lߕB9a qt_j#z91}8wIOn&%/6]~EFyDnPH@亷miaOKȒP{+N S}!JUyb~U5}. U?0-X[7 K;#mG11' O p$UHԈmļpH,Vy3$)UWNW]lUyRl=9-eǑ.H\4-)Yki3sYqߵ cSwrdm{zJ֒ \PB* HE2!r " =>by7 A9.uID=nЌzbgFpq`9,"wrj|zL V2D@wΚΥqY"ʛ.+9 BIρ4\KP+;'o&5G2&'tx1,tf5o˲ix5ibHlS#}G %kW-J]En^^a;V>g()w]Dm \yuI}Un'l?@ ^v=0ϫa*:qݬ3ckHlu/jCN,d tf3:GI!6N'ˍB1aiGR`ɠ <`zj0q5Ed0[Le{.cz̪^;b1Z{"' ALjSQzYS5ρQ)m`wU;(Q }`Af!(1^;_{@KqH @,j:#2IYɪVj/ = d/USk_󻺔 i ^8ZOɚW}Cu"s@O]%y 'ZҌ;fh2 Oޭ/-$1F,D;Y'Y\MD͑097L2Jpճt2#P&C;l?xv_HQl1Q,.{j uOp#;]c_xOs%P<[g-6XdAa?^\u 4lhEt $+H5j%ܒ|C=ur_0kXeKԘ*:߽1S'rVq [ ׫{.J^NԷ~tQ7%DQH"ˏ/!Μ^XXFcid9fۭ}LJ/5b:k⩸OAgm%=OևğSF1R vs`dq?F:Dj1Ja΃+T:+W}}h,1j%W=lnxTeive@&7e(!߫V5׼Hn]f`dqq%& 3Ol(amDН^ ݇\5v>+WXn4 BB:,grȡ}^GA|fv:[Eu拧 W| ߵ@{LϚڂ l{Iیu"^ǖ.}[$i_^!<;zlPAM+X%bzW=Rdmϓ3=ly>x!|,^ff:N,k7}?L̘Gcgigg6{~|-M󘺛{넏tdΎu4ԠUv LEi*i]W7LoPrҞ;!=q9# NIM`] juj ̣EH++M;ptVh|iL $@3DźOF3ZK7a"'=UpЊQN;Ӆ@,ݗU5@2s ˭5yqz~#J^uz$Qt%Lk&7=6u͞(3:!&\YUYk0-뜻t5R l 6yyIyP|G1uׯ"\\MB]e7[>2]A%oEXڽvim5CmkfҧhRXq'>$viuxJ*8u+PXW:&yƽ=@4saht 5ncFI#t-QHM,8}=l?,&X,s{)߇O*e ɐG'yl0nјIF(wVc rKm< l㒋\Z=.0W`P2۞@!=F҉V2qüAQffG!Ӿ=.AntkGz2ViHՑb Wjمf ?;Y:,Ȅl@c.tlR%ىݍPb(>Ld'󿣝F\#gAMiԾSǩ5Gw(Ln)P S-*FqT{%A,˭?Z JD5f5a y;2eÉEa |yppd<LCMNy@4n%;ҋS{2ko"V[(E]dblKJ; GߣNN92:>OV9T- {=E @O`O]rB&kV=}|_uc7qW+cXXPM."q8Q[Hmnaǀ&3L-A{GWo!ҋxwk~ 0JC6<]|9;Ζ~ ݷc9 cܦY=̻PEi~eɉV훺ha 2&/hd|j E#veݥ1H ̤AĘv$ݟ pRR):(F{.rS2 +{8/qv0NU6%>h--jsli *m 7ghpoޓKZuf9bm. ?Cb H\?+k;:KRTp,Y>HoE.w`z, OLו '9MKop"8oZ]Uuq 5УWDŢ$A ꭀ83KGժjR:!ѫN(+/Wkڞ\iUM c-N9P1j#\MYFCUhcoEbxb$G}TKNh"L u驥(hOߌ!,]D _D]NZ sթ{vvp?̂1u~  `Q{(R婖s'ղB. Bg >F4ŗέk|N&lc`WtAw|()0ac ; E9wb{_PqɎTuba8b$17t*y Gv`]93%&mr/zJ#U&2pZ:#H@԰Z;^6#ILb«zgh^xJܘ9Y;S]bʙ\3]C«I;xO"QAԦ;:q[Ay16?xI7:l(Bq f}6Y P.GGlFu9`׿ K pôJN\beh-f(y~wǠ0@%PwG컄C<ڄݎsn@jZc }LO}6WOYHšXZjg ZVAIp+ans28=SIY;F#`'n,׭ }g@b7r5ȲJ /X+9HOxé}y$4D{VIG0/s>\ KadJ j*AɊZZ˨װXC;L,cP!M*lU83PVQL\E U%D}jOe+jr޼IJA2ت@k飪50mQ?EL޿d×b+[/dzƭm*{;e>Ք`>r%8ۈ!Cd3idd;yVh3L7TDe,gF_`V 2rRڹEx,%flz!;du+CAO^V_O}9cPv6_ jSl.~ 1our?0cNр V\ykvr&-i9,̬0E @,Yglʯ0JP8` Af;]ї>a^ Dt42~,B0X3x}a';泩"F$W~9)J2D˥)Cq( Nr4R|E~lby!_ʼnv\?R)qxڢ*Ī~ZMef|$J!d^(Pr\40+h.6HV\ulLQk&Rָ#|6-o 2Ҕ_{8<'yad!fqٰNVR-3U!\ #X-nU`e&#SW٘'8@.D)arØd墘Ӹ+΋>n`Uڇg|d^IO"4aVHm oE!uwBˇۭhF֪!ţV1NeGEE MY[S5yF~,Ip1]w[5eSnKݎn 5NScV*U#fR[|C6ޗ0+5;gu") qx. #z@@G= ,Pyu (>71-+o^qMQLZ_8‰胋j_'(1{Gv ( %ݑq[Y衊\n:^G m-:JEGۢJ{3(.hN1D(_$sOe7ǚĄ`vcĴACBzBe9!QJ7KZ鞶 3ڔ6ș5Kya_H>CG)xR, Ff͈|x p],Ui' VREHḳrSw4?,gr Sԫa`-}KJ驔!XhTqٞ<"āIyIGN($aT};ܳy Łŧq/vnF$ W2=kbRNh3dg#Bap 4s~pL w;f1A hD|n=R6$$7 QfVK 'v`.QRF4"ug3Ĵ[Jn6fɥ>Iw'}UR9MWkp g)A:\ǙdΑAMOa^>tW:25؛*j,FA8<؃d$-]iGplbgXn4ABrÚ!F'+ VnKvĈ؅b z"?3,m1=\umiQs1יT}J]$+ 3mL*nRvqb">G$Dl(: Nŕ»;ؽ@v2瞗k)V>:\!'܎ 8|$YH$IKv ɡm*PO>sS,8N0#* kWWy6+rN,p>fBAN6G$׉d'C+"$)̞rD"lbcCJ݃/ <|2p)seuqGgc/0}7sPT9 tg؀}ynb&0q|&,A[+74 ٕ:;p8 a\m#Kŀq&&>F"{UP'96[:Gm4˱z8alfhu#T(N9^Bۓa{"-8> NٲrQ_b$#mR`pڰ4Ա˰Ǜ+D]\Uޘ6*aJ66' +' x-JJATRk9aA~[o6Tcݾ*\q]K`JSKKׁpP7^n'j%:hIZ76nj)X64l3| =X;^b均s8+[[X `tC+/│QhKDTj'L!r*j,Ĝtqs'G;ZݞӠk0 `yHk"6V)%&o s'ϼX.*~ @dxG-il.^*5$<3pidw>rھ:<Ie֝jc@j3ʝ$R#S _&f[x?ڦ:N/Աm8) W%pź n: '9w җyNWR*PbZ/v%)Xj . 71)+O :?bp|ϔ*67="[Ñ\/z-FnSn="(U. t\kmDq1n Qզn,oINm:~KqB&C0N!U2'?>(RNr⊪B@Hë"xn*Ҧ7S|&MHњ,/dng֬.6h(hl(Qws]Ǜ9CYCFm0~4¶>#ߥ&1+~7Qqi44/nyDmrR*kIG]6,aQ[0Ο!no*$so ŤڗdۅY$l 5XH$5Ls9b4dU*D۪Hg{[𩮕)F@^w9A:-Nf/DQ3RbSX}(U缤E*`++\PO"߳0-Y15 e^ qe#f"}`GCJ jWk5/Ԭ$/@h:{7T >^T9dYx>:lM]X@%oUj~zCU[ҕ 9W4hoI hWnvj4yXD1okU7kk( Z60Wn9}8sқKհf%(!HrਫU.u iTx&4|?A|-+a+oqJZq@za*T''90$<~yEDQG h nd]+`]A6S?"]i4]܏BF1b]5 ![ Z ײvKkqYl[$E3&n71m+3[ p.BQ֤J6Bퟅ/5oP,LNT]0l"l5O=m!!ݧOK Wz-bW^͒.'Kcw^K`=H2MĿk+qyBj4Wn) xKɮRxPu[4ԑ/p^^Lǡ}ZojBSn|G eZCh#4**i p oHF&3hj}6ʀ0kSǴw5LWvSsSal+iao8=>p)X%sWHm`?V:?bL.maNk'ݳXHc%SoxVnX_~(up4\Ј ٤ჶc>wާKZ8Z_hF_ 1ǛW-5et]p ^5E>i_d@TSP(w4kH7^rE퍮%@* ;R8 K-n X[tckB*C]?Oȡԗg$Q\GnM-6Gŋ.hLA S٬y(߾ )_1 4dU0I0%5҇&*eVmVz_^5zQ NGm)@b{TFYtoݼ岫@Ka 4v"9u *l Mm Y6o1!lx>nyPnLQ$L Mxtȡ'$K&{ߨL+eAbmG&^,r2bs^6r%Lx~=J5[$#[DA{4 }Skba*?L56̖,*aC^SPrNmUlWc2pKPp *"ZOkdBi[>g~\ Z|DLVEVEfREZ@IzfN^ %4҈ξCӥ%nzv0A\TheTa|B_*CnX󞁚z6EDO==2En8TllƄ*I3$vio(grk_7KzI%: ";!e>s:+%<§w#Oo[4ξnuM}w1cU҅G7ٌf̲tW')A|/'^*Le&c iWU6Dp9޶ŒphCSy+d{9vT2ߎQ0YTe W/}Pyl:;)TX-ʴǍK/ďni#O/} .M⍷ QqM+ !AJAG@*]Sn|RG 鞗p߳_59#+&R̥yV< LE@EU NI~V晕1ԑUoGrGjGZK\SQdpq:WÜ# 'v2ߵ? +0*7[ z$tӚtZP&$PG긭SlU+IH*lR kn41T]E)+Ât Yhxl.WƜEʀ7^[ߠ< Qxu/ĴԯplqX"[iHVsb/aCcuKu}X/1ԗмĠ 7ѣ~ژ3`|4$c+/b@53y;UF{nRVܵ?i .5u-PE _YCNB!ި=Bi~p\%Mo̱Jكۛ<6+ Ӄ9%eKO)ϐx qQŵV[[xqDX͒J.s|(<RVM]dN-W|]Kh>v7\ޘ@0Nmy :5~oЂ ,mKGr( =cSTy0)BYi,Ytv-Ɨzw͐Fݐe\?o,}aQyTu[ fw\Qk e 1TܶDn!1H|Jv3|1R$pI^,w)=+>!j ϰ"X]=:%a>/9Ꮍ̎9!ac1p pgL4u~H66kC . Wr'Q:DXt78kPt@H\V*i^PM @~iN9y=3*vD^^ Λ' 'L$ mm֣| ELsj=:_4t(~cԞ-<%Qo6!>N!w45Xi"%!²/im&D[ZQS9ZѦAh~z^|pb˝⊛O~ZO_i(O =tuqUFXP(r4(]Ј RUe%4 6N vB+ NA]_%x-` >a!mӭSM?)_&4m_㢣:zDa@ 7)[{уw lβT)d\{3vH8]TCP܂]aoLn)2;'r4"awWՉ-%-ZkE0O6(ʴmn& ϙ!Ƒ_QXx(gդ ogX3*#.P4w T$wtT\wRDCiIn^FC|טùj1|tsekzMuN9sBWȋ w=Au1-HLf-lAP٭~nY^XyvXs98#W_KG:hwmYFO^SǬF#ƣi~4+?=W~[9iX|C$VRA"TJѥ*AP5yߙYtvS${.`@u%6b7uxp* M#hmԜzp f@ X_p.Mx:^F`܃S,l,xC3Sy3`k\}d' v4j!D΋KAQJ4u0_٩W͒Ќ,랿 #L`B"+궻ƽ`w|4G\)?{=bϨ hUdIQDJ43ss C| boS;JHa^D>?(uB,n 0>nRd`)nnWkr)K w\QS@q]ȐojpۆX79o>Vq <'Z~ p`d;WlrY~UZFa/Aۋ#6JS$?gt $D=H[x][a#З C!dH9E2 >7# #^4зzZ@*输Le+P R lR Sݶu"l׫ Miru;?Et;bKzo{PF7\c;yXHEɆў2c?RM97I3r%Z3*x6Boi&x<.6=x$vt?l_>>꺱l`@N5@5PX3}|ěM"97cC8׹‹ _-˱V wv>Jw 1K=mKAT!-~b5ߺÃ[}<>sabU>m@)G}cS­TSКq%Vf2Wh?]up泪UfI"d8Qdiǐ dMRu's05lz~wtLElxHaىPl$$YB۷j ΐޅb5!X_:sJNzܜ%k.%]tz[qviaF2 *[VOdkn .Ar= r)9c&B*]ю %,dB$2Lm1w` $r]KoUWDa#Gc +RvQ# [2rKij~>\|KlN3*l<%E/nA.WU'uuqӯAf\%})7f ښ $h+G ڋe*uq2"kQ*|abCYӷ) )6@ 4@_OA5$%a/4'Vp+ ,/$!|47θC"\u%R i>W um^zpa -\9(#vw-?Mw8I{fY;h>B E̳]DzĜ  aZ{:%9tמϺ-XėT9bbOp fD>w-6nr1ByS3F%" ^!*P4l~ofOK>ݍ%,[y1jPm2XMH+N*b\7hB4tJ-`-5O ?DSǡIFm/+_9r65^Z{7JH̞đHݎewס妭% > f皓%d۞m iE4Fj>ώz\>#.+>k8>|bAiHoP{ "Iv"")!*uz8& |զ&57b[mA(኏&k%6Mꈋ O)l='H.pP )e bd)UL4KWypΟ(p7%$ئ(LEKbsѲ.{ I'0֑p ü6ԿNDl2;Qu"ˢo+8In }Tɓރ) `+XdBM(wI`sd PMQXmH61v%щ@&RLn[)y(JtXWCoc#Bm&w(ͩ 4iCI97갷|.#gn 'kʰd 79s42QyEz²y2 AZx$ľ 8ܚP <@x݄$7x۬'gYZ13e924dc9b98a1fe1420dd72a5b37b61448b09e3a69e01c96a12bd53668892d3b016657d478dd6de 3c734878b591af1befe4e6e92cfa619b5f2484ec2ce451959700a31a0834f7d306c8c903e714bdc9