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 FF%t$\ ]w]Sepref_Basic:threads=4elapsed=24.809cpu=55.228gc=1.8687zXZִF! N]ŗXiɟH)0%o5鱸l<ʮsvC\~-Ԍ^@5~G)WJ7wwFCp s >PjEL[hbx:c`*+'f|?\+OכzIC[2'uyyU"T gPrgp %Y*YLHWr`1V2,9MtGՕ<[ WJ,f֔`I5IS9;f ű#G<\W)ZN^5 27LA/n( 1:#R/_^4 d#߲%`ן4H?la`iN ȑ_G3ޫ_^c5L={_OB jD1$1J]nS4YU%m~. F`)caؽUa#kxx^MG巆Q[MᝊYnf sP)RWoo*KA&PZ|PO 3c[O9 Hqsw h7 >vId0?I R 4EV}V$6${ڇh֖æ^DA7ho_2qa۹75̢'#GR!h>M# tw1%N͋1B\S=dUnlIDYXTG?0֜I+4CC1ސ:Z u O3#N $Qpy;kjaP˒c L m(S4pxno@-Xi$|]N)g@@DTĔ'00Fm\& [AlyqG^ X1 4~ɛ:,+Q#$ͧFM#KSV<)f-6Z$$Z ۱ptz|ՐCjAl$I id^@8>rZfס|JB5gV?|QgB+ LRvdzWoZU9LO5sQe,F!E Y+:7XVB>NjGV2J]ܢQ@ip3 }V{C!$8i9E:Sa7x`\26 5G%b7n WNt$aN93ɑWwhaF5kryd1EnY"yx]!@ oFؘ~,9| pdh<#q*Rh@=mչo6a}/\4fvn6cM{S8?!vz0Z}9[#[}t J5V.T݉9ghXnle2 3Ol٫Ӵ`nS$PUuuHM,_ڀeړX+^?Ah~!.\, ɺwӨ fVܨբ[ӽ%\4*: 1V, UMĦ1Ի(VRBzWvzY|D!:5|dĮ̂* O}kI?pki x>l`({E'O>If@uޚ|JA'M:W Agu:TH?`Wkkt-B[v3lnw,լ@{K( t(H,t#R`( j;7Ni0UuTQrǶF7%5:16fXK!sj0܎nG6 O̶73%'ABt?yΙYTZR"I-;E]"Z׫F?lɘ.ˤ8Έ2;~I΂1{aB+pD0$϶a"M3TcPډ_ i1bDҚC`ֺ}&Cuv=U޳_3_m.,> ]Sdk(~lYl_6#=oZvhkTD\i`o /P*@ f'e-oZR,?85gsjEt6474Ƥ[#"vdC"vvCÄ bwьȦ^`uP7GÕGjD2pHE % Sepref_Basic  ##kͳp0쾙K}mTf(Sז9)psGh"&@wR7*sbe\鴅VvÃR{ |I&( J |]%p#oH֍X~ѡY,E6I5XG xKב ^i_nF$Cq*RR68_l6h)N[yS h[=F(^i 0 PR44C/mj}/r;$Z2BU%ΌLJPj36#Љa4!~XA(HX]ÅǺsJi@>3X\R/I>ukD[`IuH(rpŚ"̭f2p SR8OpbY"ndN|<Õ0|cbM~ Z/[0a C(셍5䄯K=?n qkcdws0^cJ6iFb5POɐpo`IHДD4FcyCEY䌸JܘS1 ; mlSmoW4w볟_:uA\].Lpg8/Ǹ\[LȝaK*7DymP̳Y_m{LZ~w$/ :5em#zlZaacP7 |Y1h+-dscC%`MHU9Hu u#yEDVtu)S']R$ Zay/Ͽ~p*T_S^Ũyޣ7,%(-$&)ef0(3. 시Q?Pc3'6jw[m 0r mE ~̓[m-}^Sg@鋣q/>}~(\9BP0AןlR1xnGV>`8JP ǨKd"ψY6=sn';[8ci'mC%nϽ+&]T)[ Uw6]V: 렞> ![>cNFrp(~@`oVNUySG&R PdT#PATkEt@-CN aJՕk @E=MP',I#z4MRZthpYnqsVc$ԵAC]l3)dJ$,DSs;TzG~]>&3K܀Т-^8l&u gnKPV#, T&xqZOYPI0Ŧrp~{Itջ@yq *Qaˣ{TJ?0>0(vIJgp{i+6GU:ZO.9tz"Q3)0$93w$aaՆ}\;am>hCCD (,S_IlҴnf ![15mm cZh"w0*89>|Z|KMQ7(ޫ𣜃-xsNA7<=)D.j5LC43e<_*<3i;"wrGz`j%-&f;QhntCOMny"g)am(n0'$gBmSDą*9}=)}0 :HENJ7Ȓj/G ?>}[wS؉#i/!vbVS~%rMt7QJZ]9,Mᑺv]jNF޴:(LㅰnKYm;KPœy-q?)?mņ.Ri!qF<1zr͕!noՂsVcɁQt.kH?*_%̽t'E#$ | F}C$ά< Qq@2*LnX'd 58&lo^PTi 2g|h%_vHff$e;Yz`B:v#55ϕ@RnYݥ#5GR>A7!Vm ?%2w@hXhvw|s 71b7%u,fTc@A,#:kL؛t&B:)e"Zh9( DՂ[ ogd~Dt쉺f[gAdݼ0H v|4nx? ȷu 4x* W3'@[H&5`ڟdD mbR2e2'B~R}'34c|iJ=Qۮ3 ʸ_hg20jhq{|y!wt Vio[AY n|K) U_G: Z\)T_Ygܖ]+l>Ka`4-Cv-q5FMg僖ϺfMOy'[4< ay[FPlTf'*wI]4 "(ʀ=6ڍ^O@Mnp&ii { KRl)X.jЦ@{o(Brmq'KBCB7ҳ^Uɞe3ɭKy͌Z*zY~RiI>V[gp A?*3{Nij4`z2je)4֧+\ xWJׯq\:o7}~y5fmFX>7XRG}\9D˪2]xƧ VR)2%>rбP b'O?_&F|F*nq[ZPlH`OyWpă=(k"Nc(:.]:.|#&d;RvcH[Roi;]+Ku?N}rBAu0vd2zA샎@d9'ARF xW;{R )3ta}ƍ(P1 `4Sp ۇR/}9̳y91D^}5} ͘qZRyеGq,o'Z1 ʥ!\36ǫWKMkgkX2pszDeTp-j/Z9lVT+駽'Rਨ/!y0LBubTp#$zsh8sz=[EȒ(e PK. 8.|]K kjI돶6U|E7%u5RiƝ@},0>@ GX-xA5`zd0`)>t\ϤF^q)״[$oykCl{Wa,K ka;TSf f[Ԉכ| \ ۆ~@ iY /iebW2E3/@,&ڂQ'-z_ _e ZgQ*o. FI>`_#}pʭ5k"a9ͤ`őfyǼ lSOb)sı_vd ,$٬!1j |>j'CnSedDbPT16̱P”*/xe2.<\1t<U%J[iwFK 2?+sƥ ?̓7I MIp~̮a 5,D0?͞g\Y( lj!ayn'{ z, K&k?Mdng¸ڤ>1M1\"c#m=e-D>^b2"lP&&XYoUD~\ljiƽǨzۉñ΂z&~N_8wP'M=Mx\<'Eߪ2-өe+H~9æ8= /3OǛe֠>@S *4^WMG7T|Z__ffFplm᮹hnQ3 '*_2m@l26wU9pBD\ػ;|wpoox/WBp\Pҭ^ fb+v;J㥱N2˨LӴuL‡<uΖr|Ӛ]x>eq0TRnvi>@TdrnrQrc'ze.,s0 7On7B B޶<0GV϶{*v;I%e1ldoA0#n8&afSX1V  fa%G͚:LEL5ݳQ9}γ !@{nue_gM9~l_X$S4\0?A/!1$ڇhAl* O{TK4ij4"E}+BR^?N/ ݠ 6s^yze/#XK˾̫.1 .h]08Ng.wƬ۶ƨOUw<%Ku9+͜ i,x1à|Y ?e SFJ *fEzN_?H"c1a 1,q]lٹRr05S!:IC;걂d@vN<T@}bt"@ &$m6أ6fn[q]LW<*W?0s$NA{ Ȕ0VVjy\ &T\O"|MO,{{q٦ބ%Zs0tw]B֔:؄{ꭴm8q Qǘ~xl6MO" m;h3~E/2 7Cs3H(xqE˜K5d,+D~4v8T>#UgDmj0qт򥪌M4‹  4$Q.Iw8@iB8wbS# ( DuE8p%gYb{ԠR;d''3)j@ƓgA#tF[-oTɔaW1w]5IjinY\bw8x˛""~99Ր*ZqcAj9ƨ&B[QG$g~* )|AS"S^:0i' J;I, mˮJ́sԂ/}MU51%$I`9C̏@.#K9m@uy߆^eVAB{k#&eKIVqbfo@*D+*VBb&\5ǯ&pv_ӟ# E8}{yK7"$66"綃 @Y({vn3jJu @NzE>/m;~t]<:DDʄ&aesx\D17/! E*CճJPb=p"3#Fx&/P97{f%2k2Iꇵr % Tz#k y_ӗgXAa+ǟje-CJ5tŵ6v؉t6K=1lZ!s|4qo?8"$NED\FbߑNhY=,b-|b6{}tqM}uN60rX܁!;̦1*@-& QvLKU7=*\g#ۀXv~)mbj$D%a `D4>ns.rP$Cn=k%ٷr.P6aO ,ܱ{k!žix R $r?K hAZ *,6H|_Wܗ7U3j٘TSh4#0`kmSkoS%q0YX4c0n <F1*đYgFCz5<\ 'ITg> Db1C:Z+L=W*HE:fZhht{cC%|аPܜz΋̈Qa<=pk;y,Qà~oʹb&,̆MHօ(/@#l0d1eQVG;Qqnl0v1ujfOHdAdok0T 5Wss 2Bw4v҉lEJ>uGSaޙF`㫰Rު WUٵǫi 7fJ=MIޝX4:L,d7e 7T \<}B85HxZE:c< {;sRs x>Gž \Í@JO7V_WPë? \҄R%nBL+u=ytPgTw;miTD>H sGX+Kvfr(Ӗ38M'P?(<ġ3A嵭A/MAng47 |}b&;hgf#ĕ+8H[YxEM @9J\ ӳJ aNDyd+~`9⤲ߐ^|B&0&=ʮ?ќ*A0ZV`16Nu<9@J:jd##A6_޾B[He?XsaAPa=:j _8_tIkw8arHv5L=: hgӍȑR[1N N%0AW7J-Dj@"p_rM?/zun$;qI`P[ވ v)5v dpmYVۈ"[b4a< De5]Eqz\ԕ.Ί68KatH8֭n|3me|b+-lK#dԽQX^Jn%.+g gxm[IH%wb;qvQvWxɾT%[ck6([q:'<J(GAedoJ#˹ّu[4.Nt칖WpM\ zHICU^?@x* ݠ)|)ʺ3D4fYQLy{4M-E_ -83I|wb}N^Ekj yZ~;σ0 .Fkl"Ci˾>YO8UԠo{4tpx _,. |ƦD}r\k“%5AET0~%zBgf*R\Wքt*J9\S<@<#4*Z Z,M%h0\5j4[> {zZr߰k O3ޠ,7uEn'1@IOm5(?a\ ~ B.Rp]PefP 4 ucZ܏&%#aʄ.VU 泉7&d~燧>iEE]Fz?.8z~ְ)@8`[-ȽQn4ƣolҢT)1E-GLKᦃj;(!LLLA"%hHhEٵhv)F8ݓoKl)Ѥ0: EZ,ݽQ #;z O(tUNsBKÛ7M; [. x$K: ja:%5 R$L q8 GjQjƂl %zР%nجiI Y51I},s?G~)]ӖH` 1!ɔ  R53hN[Y1{-2$; \=߫sKp MT XՌmdY#N`Hr/lOoGT.A6.M=x-3`P[z:h%&7EcKB n͌>2(LaBϒ) '2sSz:Ν7=i{KF/޻ހiWvA$5'b[Î9Y o jXx"Hž2CK|Aj*"5%Rp璳aAEXNKK h, 4H2 eQ$+힣bŀ z3j'f%ՖwJ]扯pq"\N2Y WLbr=d[/&V皩-c>-CE?*ӛ\?U#x(,["@>>"?)L2RKh"6NUgkVt^cvhL؈>b;B*tݿ'v !yʿ8! 7Iq ݮy6(H`,gU1AURSl"_49("P#JKF"S=d`]Y:zo)ߔﶇb/H܉CDy.m6aϿfnծ>խM;fh<>QrȺ{ꩭx~$Ez.uh c XPF} OY:@Xθ&(EAl@baKP`iÁzT%{iQ{ ]Z0l4ALW^Y[`A8XEYf)F?5pk*wY?oPʖ)1r+:I1ud@_ y]#.3QL;O#""+J8 GI>` M,q;{Ɵ<! F= '& R,i: |@FBZȵ: iga(3bҷRUMzyW*ĽI`;q!.aػXWXdH$slI2ƑQ>͞ E!#}3KZ5&[R`TДҹo.wG3A|><bˎ42zEFZ:R22C~Y/E h {"YWY3g;5'AYpWeUgPOh9.mb\w)j4SM4ZIYhxۉ1O(_ܦD Dgx92\#To3$?f&!c 盅Qmzz`ܡIӄ1b=em G2UԱ.ɦJ#|Ikc^ӌn_Fn.ݢڥE!V.zFecY2)7`rsy ;EնՂxxtO&9qyu3;"^ne[ >ܗLƜ,'[,K(eoマ8,=PvpV6i~⿆(OH;Y7*xݫ5\w{QLMZ|#׳y-=s_YH 9ERud!dаKގ~Nq=Mi r#ӥ?=??ՙnH5n?.mӕV8c ^JZY&&c( J|op086ƬvZiX̽ 'ڀ GtAa+7tˈ< m6Ş cKʉv/hiw]vqZČ1 IQ񚛉nUq>*/stMzhl=s:v6]*D҄\X-nXS@upncQ2z}X 5mvف$AĄ`R،nF2~=K`Xamۡpd}Qz B?s@xh>DmSC+1Y[EK< ~,':qLzqd<# tܫxi8}ʚ})RgN%ڶ|5ۉj[rL구 CQxfV@F &`3v+kR4>)ZޗcӻSH>0F09!.t$[[XA'O'˳ B#lc%0Y70t_fEOo Ǚ" E png9DBMrE9)@ȓU'Y1MP'Z`'t!bZ뗿"͘Ir0-Yw pͶy~5>VJqCڟ~Qj2ԔZ%Ѫ_-TXLSwD<CjJOS4vlV7G1Ё>dCn y|B&QbZ)NWįg:N+Yprdo,3ʌw" uYdkl3gg0}AÕ*A˫D7-D.x/ /vό8wTN3Cg.Cu:[Oתo茩ဝOD{;<ؐjmʄNLZ=~ó)M嘔Rh:& ̗:`PȾ=,0|rOl=o霶8GÛUCg-E54kUxR7ߋ[7x=I%=@IN^9, 1H2rMX0p|%bΔ,6357pV݃)QqX Cw|s { P%0e&rmok ~dvv.#meP:Eٯ%o'5vnAjasb|jdIU9 \fh_g=zlshFf8ѦmήL\yViCP]EJ~Ze$tS  Z%@b>']'P1fp`V95*뚡2fxnSr-(,hM eg,5ߥIa*iLW.;#BD5O5&"0x2'+$f\_ji2'oޕ65Y L:dN"fF@:Pѳf-)HB,ne[M C.l bf$jW }sԸg% gu DN1}+ƴ֋;hZ*⇰S wcޛ:rmX c ZF&OHDs[ de]+#_,فᗸ0'<f6F#N5aI>>"o+Du1cG[՞Kc'FpyhY8Ys1,c)*i(t,4p]W'rKM8qSRu.<3)k3zbφ *6𑺉4%T 1B(c6a7oIk?BڄwĒ*!7ZG'WJ峠&ku 0GqٽoAO,b5|L֩-$&vo2o66Wxp~\q(U>0noN_GΌ`mlДۢml<\,/zϢ`Z7\=u]QUuת+*WQQ A!0vc!JMEaf,e(2N~tuM(d$3-q1X`7=yrW#A9Iv1/qV V`mV'6ը]}=9xM.${E6ӿpn6\sL;M͉)3ԇVwF`+Sr'fWS' SzM-x(@fqC߽.xڛX׀jp6^Yu( J-?8{m&x՟ϝEbU7¨DkZ=n4$ӢS-VՇ kblsfpbKQ+g(IMlЋu(Q@Cy $^&jJv8[bpBd$@ín֑\OwlHG]RײiǨ+:܏j˜W]v]]`MTsT9['})o)FkO`'I lc ](n$={[Nv^@rh Tt,*|s>w=1T,YC3ٷȊVdֹxxS1\ Ar#9-kѣl>n+}sM9~dP4\ID$éS{Y7#<ԳĖvj헎N#ַRȴaTNeƎodct  =RaJ-IEr$˧-NڹrI0e(c]d&RGWsPI+b=3 '|L-jSA}hxdBJMeD9`t!+7dGwέ¸\`CN@dl>VE^(v=IҖt_ӽtjYMՈԊ1庬BgsDa9B{PHGAbw8׉wXZ@K9y:T[~{t+Q6š^=*zY==TtW3^/8)\CCf5.:xTmߍj.rM~PE9Շ Pm°2=ʉOfW;*(sɘD0Tm`xALu%\tymw~QJn%JDDwKaxDNaH"XUZL>b]Ob=#E C)]̸"gIQ`ѯVW(}D_+jCT_$iEe}z VMw0d*pGsB;%N1axRm3 QɋR.XފxHrU D5q暹NS!O9>VCG>uK0`^;!AYg4i_KgՊrv/$;m%5:y4zK54Sq 9FivѢ AI*X W;HZD_1鵈mt'|Wy..5c +/Gf؆~+^߀ָ`ʿvWy(Vmϗ{h&pe}*Trs7I|. ;"vxU^E"ؚ#1+CO0 h걼2gF-WuiJ'dS To .a1LFGD(*%9%:"!X=Zk1_;jf^aeҫg3ѩg,*۝3C)SEio Z?w '2+ *EeT7jT 8k2m55_ 89-"RV# fH{QJP JNM0o0Rn'`; bVXAkڰ3)N1H&JDy^7?1 }5BF|DѬm$%6XT,ՠI[vl hI4uQ;F1{3 u1M&DjZimXiR}eX'o m{f)Ad=xG̤xh;=zSxktm2m nV^-MxJ<2p7 ҟS,ޠH ]&Pi!o'.51XԤt6}R3 ,.1K|BH!emP}9>qMA Xc?95)`BB<*LSk3 x`E ,xӥE| G M$V̛w/PL m4)<ߟ;B% h`s:V3K+$KSHq]g_7 B ` _oJ@>2a',brh8Ǡ!5"B3Gri9X{Ol',2n 8 y@1Fn Z'Oz='7 h6AI,<%մoJzS±f7&/$l96">C zA [F1J[ti J?wq.ih˝;0:}kqT56md "݆kg.O|C].uۨ(H_a dYpRu=P'GXT, ?\6y|K@-JM53\cX&{пL,.}SJpeT] r1]yUSy ą%:8oטؚ!vTs-ɾ.V,Ot&7xJeG͑'`AYWV~Ё# EER5G%s*v'-^%ۼ6># DsH8.f_ǚsG.厪V0}ev?Ͷjv؅q]z5hzH~|2M n,_٤Èw u:߱f)-u  :7`\JNF+ s-E.ʤ-D|g)J:I/86ihHr,"U+xKĄ9Y]3s(OJG 4*5chb`7Óuz5al `F2<:HeʄWDj%A(n <ԓ}0oFVғz頕,`D̞4=8.C*>u!Dӧ;#w!mq\rTWqot:nqiàZL5:ât罎h+sK0Y퍖 G̢hJ$~nүuqXf3vŗBʽ9'}U/ի0溜aU\$!f_UwMB7ł]:O`[>by^- ;E4c_li|z[3|[N $~:,4ӵ%Snutl' kl_DqGLPs)>*Ȟ{<:S[ne03-X2LH`M7 e/޶

75r*a!)w<=Y^'eK s!N|Q'1w7YCp8PBLnw 0c > ~~A<&*~шQ6э'eYş*ͮ6SwD_ТE4GVVX8?# ?``BQd[m2^+T 1D8S_S,+ @xNڃ aW)%3UGA7u4r01yӣgl ;lzV.ž{nq#LͿXj #d%{nshzK {YKHb_-S :-3tT=SEoKjp[yVt JZ|!Ae0nW|C+?@_ SZDLa,F:IE1FsԐVcct5`zzb# k?YIjsY@4 8H3D-RT̫4\~nc@ (#6Kщ* E,D$zo$Mkn-U򋪾|aX#79 翐`" :t n7z,Ǫ %J n9uEemA]^M7{&HkTU*(n)cHޯmp)=ڳ!5>cޙ$$tP}Yf9 JnahB&yhϻO}'erDEu h=L䬠Lu*ET`1ѺyG;W[6몲$Jj=Qgq3-uys3ok]VRPIѥ𶔪魵bs FVFfZ*yF7Nú~;m̂6㳛Z#ڐ9uȆytK f_QS :~6\\!(9W\vxp Uvp}1Ϝ8@k6a+8)g]T Y5p}$Qa4qnL9~`h:___5l0ocy')?#d,_z4N)fa}V/euWa5uO#CC^Qg%S,( Ҫ[HhR [Np|# m!Vղo2F kyQÁHDrKk="*oxi:C˙gJ13K2AS9ƍMqE3l&CI!\_,|9eWK(_7*кe Rv&2K v΍Vb מ;m?ϥ.MXWK}qUOz⥥>;;*u>LЩ%xFӟߨڌYUz_}^*"wx (RI5vuzlqIԜ3-EOqِj02L'Ѫ\ZEF@]hokxAS=0dO"zO׾3 lc+#Endy񤮑2t4wXVk']ܵsN2WY{5 5@|&To?HjN258oxP)ЄO.9u b G:TsICO p4MX ϲk*jyZ#ި[МYc>mѰ< G{5}$ߜ Y*peaONϰ>k:d\3U.uioM+"iJ~)v .$xG*#b$6PC\(w)&nHR :R3b-nBtj܎@Q 1>0T#[8 KVMaGìNj -x=kW MG$<+ʵO y7qX49B *[*G3&t OLBۍsPwy[(6?΍JW? B?ƗN DE,` 6^FK$i×Atz ݖ;¢-Opl&{vyu\& uv]W hEK;.!`f9<.oA5cilI%*~3•1SA,ў]R=Z@C8ѕ\+KE+6++Wo=-K*:N3/;6y0nB*- ] &>:!D7;n#Ǚ  D ]a7Z~>T`*=D7fCV,B) ʎX SP-|.5ЕȜ0FQeCi r |̼;汐~\C3J$WLGl>:< }Nu""GzЯ] ˨,`|=&p%Yj_@=F Suٙ/'3]mXdj_Մ)0 *׭d $>ecݙZ m6WHq!*_ DuTqalP@1K>41cU8[qd8J|/@6MuVbtԍQAUR827trh`mq֝gRYy$6)Vvf1alV>=YɨưE7@ >D0pTB$rA'gӈ^m%B",*)`c("wߧTˋ@+/PK|9*DJ LTl_{Gj'iOs1SD?'''Z>>g䈳 r=Į]5يfF7"?_ V阰|&0#.M?z }C=c[#QdT\>HDw x5_v-xJҒWm#KwSpͼ=k=SCd}30HTѐx{&4Vs+wO'MC:mNQד+'ʹG.Z$|" cM" )e<6IC ōe'XtoQѻcʬLb_hwT!bF{\SCQ!jM-"崧bk#>cg1)ɠ@M7L1Y($=^F+&V6&WQwOxƅ g CJڥTeDcD+=3%-̏;hlkƵk!9kH;NJxgh/tZ\aX$Pw34!qԾR-[(@9TVοy㉏a8F?>qӮ-WpA+Hgp5q)( Z89loLݯKWtZ˸}M(._~ j{GS;uChVV4 xW~/ıxq4=ET 6 9XpD~M^CߘF2iCY7 ~S9ge5a4 ƀk$Elg^KX#.Ɛd]fG!,$lդB5[fCe%g)o1loYmf( e/\aurZ1qO+8{dڨ~ga5Dyc!Us䴗|f!!*T; C~sz4[*S-ǒk1tqCt-"OܔTEB `R"ngc ǝ )WeF.VsYv D)t#3}drt㐔{A;2-fg5VRrVIԆl:"15é, WHL~7dnBQ՘){p=Ɵ01hdwHֲZ9k\:bR7~Ľß n@_(ʱD#$^%3 an8a5{|=vb0rf^9D(=;[#5VV2.7ŝ>wB mM"ŭzSջZ. _8={#"g]^Mt`剫1hIb M*!GAf/nMHK:zQAёe,WfkA$8peƹr8 '^*.v+_8 f|Gr̤7Lܣ X3u-|L@`׏5{7_ŏ!5 KJIaXqQ]PZivz YJKa *5FFFહG=bjنhl E\l3c![A522z,G Nte:r@(%=W{6B:q p߰u#}S`CpQDA_}oҊͼC7a9}u4;[; Z_ۿQs0:⓰IHK+G܄#ƫ@/AAmpv2.,$Vs\ $H|YOI ?;iX +*(BMc n0, LFY`wA#OLr^ƶndH 80Ƭ;RQmV_02D#Oc=Y:b^W %3=H~"6f8^ߨg}MR Gihw l> [殺GDa ^~[v]]IPl IY{W"d*`Zfi=}h>PsOh85ú:9e4 Ҙ =M@o|ظۣJH8rskD~pJ|\Vʏ_(sD Vqi{,q#qb-k3j+Ѣ`sk mXZPA`ViЬU㹐މ56e=>7i_'7l6bXJǽxThJYq|c4!H}|sYE#5AۊA z0Qz/q}&MZv6hLDjgoh+fA6q Z/|zWA ührӂ$.0E1aíZ83/Thߵ=b@+qy&#+\(n ~V0ǘ({V3#a]p5z<EGb$h %gC[)W=G S &S_}9Kǣ\ڀ@gwvN3(]`V½rR2|ZqB~cb˒r\Ii dmG;&` ~ߩXƈ̱XEB  :v)D(7)hsٛ8%]%5^ $D=8{( Ez;e;]}֯ǵ,[0(5R6D5Nܚ9K^,qAo![-p|.mȬś* *G`֖W, 0@5u;f(#׷yڗn m=&ܜ=o΂K3`]Q.Frb%l}.y'C$)vy_Viacs&LKOT,V>ÇلGm> 9VaJ[ZPt?s=rp^P4C:-"ݎl!&ARz^+ImEHWN c*wXgGv;GFZKw+ŨW4y QIBD@nr)5NŻ_VkF71jL056ynso&czTi c(SlY>-iIor1PڛB6F2=rBQg:UFM|CPxj @vIC EifgrӦ8Py[ T+n~{gC ?6Dl001% ~P -omY ʹ ,yñakVĈ'q+c/@xpDwMd# ~ "/I% Ppke$k閿39t-0)^| +B\$c'G)Qcw1^~hAQ 1 J_mNHĐ 9j̟z\(\,N( ~Io@"|_\ې`lӽ侁v6sG{aPuaq%}@"EIBGM7Zڙjj#yA YGHXEqF&;1թzk%fTyEV ZbgD⽐NcaR9 q!&ԯڔ]0V:JGcu~xᧄS~cZdFNT1 =*k`_ckʘlUE}r%9 `C!" sŽ`GVQOz.K{g.7=ɐөWu?x|=˔\B]\:@&|= Z3+z3HRƥK>nZ0;PW<+-X{E 329~۶YYI ;Gˎ }WG>IP='c/X-L\:wyxk||p< Q|Zp"dpK%0Apnq( i $? רQ87=_{\󴶈_͂CwWB 3 Bz\*fm8aݼ~gqV:Yf3DzD]BRJ/$X.Q#]2J6h4* 둁 rDΟRٳF+Gv?BjMN\jA=r `qYkVt?L(`c2{E$_BAr?D=2q2>пjH SC7 &Ō"ݩ4<ΔG /d7d:Thle7\ؗ2.l[:>@j״FwE.D݊:ᓑub)u#sՈ nÍlݥbh\nu;:piD̆QVJʑ. =58i?b 96w? p7B$!#u 3kJ9号$ħjիB!SqtSG w a<' _^;lO e #Y4䦝l7Hop oR_{͞|\gY 9nq^UK8Lk"!d nFݍ<QL,G89.kZzѱ _؊m`&e {1 8砲f +a'RVڻ$e@rCT( J|a]$^{ zj^*l ʵCX9}laБ+O$0BS 6 ("Dj>TWdRf6 %lzc a{}VVԊdbQsWO#Ycy$|6iT19'L}*\?An5JWv',#TLW4ګ@[qPH(r# ZǃӲ0wKq~̹{'7x \iix)qQ&oRhiƤdꁄk=D]V1g%s5;di8ϛ9 pЅ~_<9"V*g >v'S! jB^n8Nyl`U jI8uciS)Q2Sތ=n|lW/ph+DYNFkG)g`FcwnwV"u@κf _^B͟FE$L&{R,S`4YH`us~X62t 4˷ɒ,@Nh+֫gPlRK7{[+gYZ7zXZִF! SL]ŗXiɟi%3( d+%jh @QNn뫘|4Me>T impVPH@O[:b`He#üއt ov:r O//mib΍J*oU2wWuĨ]w0" 5C[| cBCX]Jg[X8DMԘi/g紑 Sހg 1 g=߯v$mVዸ[?s6X];oT鱤u\Rz5=ʎr0ict tG\9S5j.e,]NU髂z=6~>BUHԐ\ !y;w]Ӧ[o|B$ )ɉ"rvnhb_;s6H 8VmYk+b3$l&!P*8}Fuw>+sN]0R4V66q`}DT{qP.fH]~S0ŷjkekto߄Pdٽ/X\/4CugPu#"VzgYZ7zXZִF! r]ŗXi%L&ʷ6&eTg5VykIV49j&TW m: 8km9<6Ft,b I\at? #ݱY0]21qލF mz8hEXpQ?tI YΏˉk} FJ4k ecݝ`9|6*-pvӚ9T]Ce_1XJU\ج`;YKKTӛ(mw#S J/׍{tvrb`ʓ M ^E!@,H}5oLAvm%и?Wy:<+ qTyЂ_jr]g_gj6$ޝ^r$6Ы"= Ŋt'L&&'zW<隡HB duR3ǻ 2ƞ`u\T(R. B2aHlFOz=t{s`] s }{@â׫,* n'C'a0ye)L6¼9u=@#ZFf%#>YL~^;PMӳ?븐ubVZEpczPKz7 Jz@R<8 }] :J|S\ as#s2zb1cODuHAYNI$` 1}2?$| gUsuU_;X @hʯg:Y;:Iz|a_asC)'j|:N!TvN8u)S\c2;îII?u6ã|V$eL2*cķ>M= 5~DLI4A[^Ϲ&an`!.7m4YiȥghՍ azw!N=lQY?Հ7^t,◸rId;D:%lduH^)ut ~xjŴb=*VlJ֩̄ L2rmIWj`3CpP闎=W+d^#@bwϩ2ڊh=߭5E 'xgDSM%U98ۡi;}\|QЉ+4b`czˠJu,Tۘ)ݑ7@u9AS J=)=QTQ]Tf'tRcwFvq4U@䫯':a."{b3m^B>95^+8mn1{ Qש&W摳\z*?;f hdb*W Ɇ aOW-v;{Efѐ7(sVp4S&Ĕ7?6Cx}xU\(UD࠭kIgaAipoGx=&VΣж::'`SmtL^9"=Oy[1@VaYȘLD.wOX3x9}~kI'$Q`"G4z{ԣZێHUkڞq2  g[\9(jDݔBwE j\Ck!/'cER)v+^L0CQ|=(wEqhԲ`",4TKůl2ۗG2KD_] Ł9 _&6mygYZ30aef8490ce89ce7a0b23cf1f90572782df70a4d9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 3382add28e651bdbc5d3f49afbb522eb559055f0 494cf1c8a6dd7c5f69af04d85c0e69acc708f248 8200cbdbff9877d4e6d5b55a7d315da4dc5507d1c3e6badc952aa88837c0490822ccc5009a82ec8c