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 k$$ ]]]HOL:threads=6elapsed=194.645cpu=671.800gc=46.168factor=3.457zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3"jK4l8M|b=^M%?}Or;]j rP|BKn-P˽>6"%mVdR׍Nd9v3:]/N`NB'@#Qv""E-n_7sesDٯ>4mv,ieqbs_Zwj?h^ gɈ6rH0³lUM;EJҗ26){MzH|!vdbW$Tt xJ`|Hܜ  gO  HOL  S쌎M r "kYulॢ%nm@ T&`*Xrϥ%{p <nމ%X"M;7 Gռ{?oP'4 ^szvjޗ:Wʰ@fO6&1JG` ~A&X 8gt!M6p: ,]iRRȳtଅ|BՎ#NJ6iaQA od|4?1}aDC \AkYHcQ k^d=RFI)3 UQ kae %̞ d> =~RfӋ95Fxպ*FNvz)^KD3_86-x f?HxsXѩM mk Vl2@mgMZa9mƪSnv%'K.^ͦ*pY^d P=N@`1ؒ) %OgJ·6ű'9ű fb9TacѩSOÿ !QCcm73} dtH4:kcք}e =dΙr+y`_ | ,Xٍm j!9B?8"^LIyŝ3g\oSvu/?s<RDhG0 (Oe'c_?U>HCbjg.vj8p}!f4BMfMwh-ИTLmRg .iU:弣0F&FODdx&EgvNp D?>\-" 0wGBQRܢ y\#[2!X7HxY;E1LMw&jâQ\zQpdh}W*xAL:Wn2HV옍Ϧƴ >jƝ4zCOXufGCxC |:b;S21i3Z&Zv_.R^sor2L5E8!.O,˓j,ԎuY-*$3wns;@R n$QP9䈱H5qE#i5*VC`FD ѾrREȢV2n%?VԂ cu5 m4pئK8{Dfe{ zo'r7T e8Т6 k.mljB'`D.\h o=k1py2p%|@_v_v:7io̅6$YAn+3ʪPrbLl6Nj@ܥqD3!tNX7]Icl{CEQ~JFNsUɖ3~{'n?e# J(Wmvqnm,Mؾ){d!V-(?Mٗ-ݡGOg2yŹʏb1ZA .7$6"-[f7^So.\^j@}G<⟆O?P+ܷ qmfG{f;ޢ휒/P-zS5-7FQی1]W-\ЙMPa3o 9)Im cY m2lzކpV!V+jX+?4z8wavdgߌD0+!gݰ#sluSpC>6$5eEqbCpq'rmN-nUW<Ƽ'@яP߮wIcrĎ3d cgC4/)m]u5p_|&c)(rH,aӧX C^AnU^m]ǎzV7ҵ y. ӓ^rr;+ɐ1+GV"(Xi|JY߲ jf K:g1\1Ek6nvx:#. 5o} :n+Έ.N &\BD/~f7i7zPFh}@rK#p0%ˎ+X$s@n.YSZg%{2ĠEXiMү-幅P"ŸˇjSީ\ fUO&58J!a?M,s=rw25d 4jϣ:eqSEF쑩1HVY'ʹic{ -S^2n6lpyDD3&H}ƒzsY1?Cv6_tdUxE Xgx)yzlZ .\)oZ:&DËI^07!1wEx#I4'Q\d0^R@0vV;jCvyd 2*L (CQ,((m"[X"/56ՒuCr)lm+S{G>9pdf^.64J~tͩ0^࡙y%vIK3@~ ]>aJfP{ !˽q3NԞ"9 wGǠ߿)GeEDHI~̄W*z ٭&-##buH-Ĺز1ǖ?M1RLOHr.ؽJRU0fh@ 7Tdu1bX6>MkKRR=ذ|8*a[DxV_f)KMXޖV)G/wC.k@e^y&5t- !t]lܽznkvWs?(URQV(|lJ3bdciŴRR9'PA8wP<.<4ŷAIk$&^-ՕL/C"/Xè$y.z"4O8Qܭ*lvm?Xj߻e %#+ ;n)@-#L^2i"Bɪvmi_TnkA/W, 7?FSteh.K\QL<4wp8$VZ+Q'cw[qzS0EwEOdM$oS;L530? o)(DkF;9a(mj"x+u>9Ss NVQ{;:K< 1_k~[~Y# 2.BAS)H><l H jbphAP-kUZC@C2dz3(eyCUh]8yvMVAP/J;չhZM~230[Pо i@ ܙ)c$\S5Q s Dw5D88Dž &I'}zi=q~#X4@[ IdFJ+E׬ K*\XU#Dͭ*ghS{" < G?=Y V'47k'đ1I*n]Q'sd|9?6}ťD|[kzlv s0,~1T^[#R`g͗F #pBSo&.C>Uisԙ´d]5S A T2ubK!k T惈"VGGN0hAiNlh-VZq0-[/_(syG]7.gٜƍ,g磰TQ*j'%x_0HLqX^qζvKNnp)QV 3vp$ ݪhM F "4L=jsE} J\s*֬o;ş.$hZHcfils ".qLF%Ob(o#K׷\w%eYg064U&" s^*({"( JY1Ꙟ2 n|KqtD)j@YOޘ;o9Eq;'ă&X`)H$q5{>?ւ3ɔ63ф|.u#ZpfG *{aCbQNqwA| + iF0;n'5@Z̼Ԅ9#GG#ڦe<^9tN`8gJ\&V a7V{9sنd)9*ζ>?>aa&iDž7r1T؝ɳ!}ܬ݇}cXY0S|Z;8˱w+>yv Qet C5kd7Un8]w,mq]*][#?!TR( $%y=J _ym!ZmN^RN?Y7M16փ?txkoDh$KDuQ >R5% 6_lJΤ$U?,czW|M`e Tba}˫@a 6DqAO7ԎtIAd .gѬN"?0@$r;8sA$_P>%k3/HzPݠiq<ń-CysaS~V Dg X!A>=W^O/ OzW*Q}O,XZci4Y^;S#!WdU7S?!(}ZƮW«h%N1O'_Yol2[rSn2z~L.]%]MQThPwAMyi|E73 G^iC̷k2c*q5Ћ#vFх-jA: ;)X叭?%Z#X7ӣMA'Mqwl'Elu5APޗXeXN8c4Ee`U)h.GpWƞȚP"v9$>Wr0~R?a Œ`mpNJ;t'w.z?~ߩCAxM[wȵGxaGߥ-?6,37s!GY_5ѕn&Ŏc/u{ZÐQ) 9jdͶ0eT˘DLU_fg"\*eo94vqXi zVx!~ѕ]Gortr欿~v_w}/`ڤkBKFh޼"B&Sse/ʘfkOE}ta~\b)&)>&\0{1a!([xP'h"xDkQK0D>ؽ&ջ%n\b=ҷ4tgYZ7zXZִF! i]ŗXiɟ29aoʼz[%U>EM!!*XK 75SnncRu+﫰 F4~VjK!A20LV9G ʁ?g)>l˙ߵm8-H}[JN_<;+e5TLU]Y).ZQp.+p2ֵcfA9g5.i 6:5O%7Y'{cç8z*2M"jP>;%p|pUc:tAiaBeDjf&QJ}rh&Eتsić7JXjxv;As8ճ֍q$AW-lnDӤo#WeO@xn$<BV|jKvO~J(HΕ#X}&׽2~uQ)#v 6/d p+aTPH(&'~#~ U} mPNNVb% UN$t2IPX9 3:SIխXO>yG8eF {cgXI 5Cz^{4 }t<_Aװ(kuLg57%}Trc^2 u-MyձQV*m0r 9I j"jN0ԣa=8>Dç ;4ި4"}jj%A es-Q 3l tRD\Q2E/@DNT생ja:Eӽ?A?@O^Yt upkƵѥM3Ӄ+6ӯcwCё:rŭ!$s[?UN6o4)o|83@@ :A(/qxAYN j7o/4 );IJQg4q:Wޓ`6lt/`m ~e`,͇Х1\x uF{QkNM ӜhKw`X+NނZ?/tcQ\nlt D.c ѯ^r؊'uҐ/gYi(|`%q=W*R8o aB O_P8?K#q0czğK4&L7PVFgx=_yM G;o?POa59v͉ϿSs*u:i1x_ "6wI"ܴR[}T'Pv>ѴWciC?4vK9y{gtQFّ;/a CdE\۲%tiuA8 4oUS5Ҷ)\:2&dR!_ںgG iw+IIGP"ygLDŽVUJOըyhó̝)~l=e#;mA 7S&Ol؟EMBq"*:bG*{"{Y7~f n8wl[+ܚLWcX? oX/Μ=sX&=>܊쯕nA;h*0Ro_n^Ocz*˘`CzތN#fj\=!йz)vBf -ۋ_A="S\Ɲ R;˯o \wRqЌ[#<>&c#%?1,5cDS yU}\Ę]*Is?QI1}621?h+V9md[s.H6ʫWND:7D]jl$i'e] ~S{%^*Q]6[af$>e{~ ®>y1ﱞ?v2rl6`F^JЈ2R3R嘐=psz'aȢ`>T¡= xђ)* A$f.t-ڎ@Z^7 sEh qfM|j~( d-O CAЪ嬔W:٭o-{~!eքU6KAT;apS1'.=J JS^](VM o;gLX얦np(v3lm+ZlS_-1YMfxzZLj@v\MC;ĄDU>#@ϹYW ;*  %kIan_X)Ů1rý~C pW v{gwQ9, #SatY"<-PNטGUe/{%3 8ImuzyJgT%_Dk.Qo8YCpNjƙi/~p5'BB?'8}u# 7kx"foB3ddu#0d+ rO7$gmᅥb]ɗt\p*YbeGKtqHQES%Ͽ qMmhKM>9i85zl)BsLͺF]8{$/}(^֠nW]8r7I*)WHU)6Nn/AĵqtrFa.\SZmwnx-=qE2SgƋNDbX4Nr5l5jsYlwj-&ϼ]=_HX! 9G! T%hXj{;{fCkŔ8tD$`LS> ,kb &?b ӆbP@TTAFlsXNBԒ䟰&S Ioʪ~(A$KI5axk/B92 o/-u)I:Z8HěXޚ?F~ط{L6ZgoyeG9q R"`c,Yr'BV#9Jȶ$uKɩP)X5{?\VuؠkMĹ_$uל!W G+1o;\CʏZat{Ҥwc 37uV d2lZ sF'=jW\jY8aW=ى˞y#UNmW &9/mՑ)bt4gܜa4=VpjJ,^1)h 'sy,3bã7KEaKٕP1NZOX݉eH-m3cpA;:g gaq?2|s$na傍 .Qqз]ԸLR!pGGX;fqoK!-;,q81¨ϴ#,Bmn`Gsp1(ą'ы9RG܊jщf?%.#pd?4ja]Sv; ye!ʏlK`B ^OIvX68igуpV,{0 $?vf_ZISLؓ 0p䮾 :O, GwKisufY$YHd\WT`yGcLĽ0iv;=WBlpHZ2<ARV2_'xt܋Rrg :-Hlf[1-f[}=wLOպ$RbwY.. RŔ}-⨱]-|12B"â/Y﫞RWg=0l}Oj1& XE AVDuFUu+Ց8Fġ_ԮK#p^9.'wXח;мӦ`%0qo7PMcqIMfn<+lp H_XVѬx"#$73v['Q{3n~Z:Rxy23|tdSg7_혠K&3b_V],jp n7 譆`Yk @; R%x~- "eDZעpS]/Ҙw/hyGjeck߀Q*U[m<-L VQjK5lewL?'Hh #wbT߲HpEwVU(Y,6\Dؽ6zmpE6ʆ & Ki(`dH J{}}PDZxbu^G}l>&d O.hP0fYۺuP6IuH?.ϫ1?ɝ.11=Вr=1qW;. 6fͮ&>Hb5yQ+P7VHcy"ÍŃl::Ӕ5fH7 ƫl.[y ޴ +`=W.YTm4`ՌuvRS *N7`mv.RΊ:BNԗE $eo]r{*x{ʠ)\,\"Fы;jIBC9~RwVq[ӓּ֩܏)9ļ.~^H!tH8p{/FxǸH t-Q%.#md{71iOٰX{R0.v$3+8V xmleXήNqcQx%879% %INKMm}S.:AJ}ߙ\l@^]h=~腑ljOAS>9\E񹤘lf,qHϡKf[- p8]?!YBaKq1%^cqc~͖Zl|xO@)ف!P7ˋ/lhM_QpNXVMggbAzS4t=:1RHTbZ\RPdlo&U )6<:%| ҝ^a)+=> %ރ ֠!laeI;DP%KPҩrvئ!iۤ}60`wϤḪd CWzٸi<{Lw&nj{REy׽"4oK;g%YL($:TVAMo aTLp{ ?q_[ϙj I͔9^)8kdf~h@Qم6 //'@v/e~wZ|MchWA=Y0?^*p7&v'VJ;JV<'T3ݒ]B"G0od'z+ ܗNXіCƲ. ,_,hޡRAK'Q=":$hPn'0(s, v2#`}&W8 ΑK`F۾ơ&zԈ!fOB \lpe0N/o×تTD6lk,`fb&㦒?\ft\qJ;eic/K[j&4m,K֦j0A~gv-?32j : Z6fᨵ&mbс<I\ߌU`Vqvf[ML+=?49hP׉՜ 6웓8wןGjK$Eӱdʌbְ{Td[Japb+K>TsqfoEWfV 4s# 7Ut\XÈ&vS ?uɉw>U%ҏV6f㵊0b0Hf'И2ХiZYּTFJZuO`JPS1n]۪ voB_Dr4(ag^t!v5`~鼀zv,O(=dgl-ljQ9';2~a>k$Q.0&LUt֜azxZԒ.Iei˾ >/+gO{ȍTd[20d #M Fh4T!g\ <Ү>Ugr*6̉"~f5T$j7op܎4o8fdx9djfAt+ <|'.ABNq-pgv>G \b=";쓴v+ W,a_ܒ(7uZ(| ;6r͊W,^&kczօ 0dİs^8_>!) _Kc$GV2כIzY~#m5MWɳ93]y;FcwfV}=Jns%D#Sryg"$Q;0Œ!NdT`g+rK# #\#!P9bsn&C5IGPa7He4L5xW&˪)za{SgD rU F[O֓:ԪI*fqYNa=o~&^'܎7frE~p' kwj72d9In\p\2 < -N9$dҭ{^Ť/&UY}/R#m׹(MjW;|W~6PNOx G#U͹>LM6 oԼEStJ!wuX9&q?أ7\FzK ,@{8œ])XBR㇧!Ѿ΅ ;eOq kVo|x,3-1QXUW1osb~ty|RJ 7F* [9#;q<{jϝ0Xv jpV\wܼBZkn4 ҈)S'zUyS#YDC.遾ʗw=_I >y< ųcH-":Oa1 ^dP [הV,atЁ5{LKU4j}ĩ[Z`m4CF%ʗDytͲ^lZ>׉]]pEt,  |5$F* & VmTP`~Ҷt1]$Ļ/@fۥ$w9x(zXBdx? F7~Ka, 65PIqfC(., 0k:1Y\4!90w6>D^iF& 'nBe2\dOv=,9Abuzˈb<y4PC.ኯgzS?ދfSaQ1K 5ޙ n.~xgjPF ^*Nl (>tDk=bFU7{I;%bp}_}lˋ^f<3խ?'8렇hkHT>ǻoϙF@d"q<&Q́rd ss)t~'QdU0Y8,2kbYU؝LR7uŠIvkG|TIQ]=HT1 :鐸d>JGgE,ߴK6,t+ R8dXC , 6?rlyKڶy9[j"¡ qԔ$4./Un}@e1n<߇~s lOx~|GS@{x_8lH$lMW4e?9dWPq5 x~PI'ϭ|)FSv&PBlg"'/.OOalTN8 wִY{ P bhwC -3E^(c+A=p׼X;dz5DTmNaTsŀV&'vӖ3DcŌW$ҒJՠfq;7paW\cCdX4qKN+oO-0ڴ@?L!ڢ9ߦ).\9n1VKDMgcл +[Ѩ=_չN5 N$oBdl-!Mpۂay_" d LNyw.b9$:6E[kW,E.v xjKN,hȨDO@z1:WǘJM`+%a,v;Wij|16DN ;w{moR*hs'΢2R"]^Qr*n|EjU)s, Cߩ.Ǽ.FK? eV6jW4cǨh,; F|~V (vnP-^ -1R%I*l^q֩tZ TqchIwc l,hSև|G ,{',Bx,Cu ڮ *l V5UYh1z$3 )zz_9tЎ ]4Qc?70^|#G"wbcqB6Rog :7M?IY#6B8Ӄft*~lD IR(GP~>!'qz4 *:wG뻛kFAձYU䴥ܮN$ ew[[N'~|Ѳڔ *Xy~J&SA"쉭qL!5,$9UۘkIgN3]9 t7ܼ%йDgl"%QZ- VNd e>E\,Gf;k!h=3] p߲"m& -f ֪\?Hf_P+ϖ_oŮ?y;ȥJ)ԥy(w$*_qf5uTR3$/F[/T 8XE(_[pau7B*"G &>6혤z=nj=ذ9NvKݺYl6f7s9$R˼ _UT#eNgp Y^1hJ/u甼Q|4&/O!d ?jܨ9Ʒ, K"/_א?&F@+䀘 `aޘ By<ޗ8t!pM1 qӋ@R3uf%NQؘm!>,hy*.tɁ '|g305Jcd.hm{Zd~$hni_1 Et%؋(u 53m;F];5]|(=O83sA)Q^ !Կ!(bS"ō R<z[&rq(5 wN0kZ rM_<,#3jYb@6kʑ(5c'([M`t1W MfWJz޲j>Gޣ]Hr>T\m^6}>gƑ>v Q@Rڸdnm 2vTXBn_W3\=nZdʲlymV,ցWbLBBP+^ԔWu|YWp4(q,0_}iLQiTQe{{V?<@4( /}W*첡 ŸBt5\bLħ:DBw(?CgU|)Fk 2䞧Opg1o@V}2%^{rNyva/oASBlS=ZJS/6'`Yg`ْ=,~J`aQ401؞JSSOqV^?=XdFX+1C9{P Rm(`Q𰨰)1f {t-`K)=dS$|RECUM+ f RceEor]*n0=ڶVyHxg)3]:[xw~Ӣ^r,"۶O~mhE<U8 me%i'#9Q?D0Jy=&aׄ3 ߁AZ0.]_56a5]5|f 1D,s C? Vi8;&jri1[9ioF$ʘ KUz卛YP @\|r#ǙoNœ݇=p ;*lmYt?ɔ!gO TZ 3I(Rz z/UOcz UpM7{!WoCe*B4e}[44K C<_jS}Cի 5R M&97^&Ln1Q}!zOú;Ժ݃« Wbv$haiF5=(pr$zJuw6V)ŐOu%Y'lG*$?;;K_Gy LoAqF5r}]hطb|ؔv1!͍R#2&yMkf@-p`5P8\mpz:h1 /#qRiǿϦ(㬪Ղʖ$+ M)oĴոw耏eW8oOvڒYyFG/ t!g̡)v?GD@,y{gMQVD+lx1vG!KSD?ְ"h;mNE57RLm̯IRjըsԽ0aQ۠4Z˄ jcbn}@mQKÜט(JdmӕP2*(dHDcu[b$NѺG~v2 dd&{s%7ƗUs[5;b5< 3xB^fWL,/8uCvR=jEltޢmy![%݀n_R&UFꚼ7K.yq+IۤvҤ_u 8?V^w6աcC,׼t[p6@P6_l#Ls?p:&mOi&)ԕ|\џ%F~E><rk m#2bL{2m1ztZpG00:st cmBV[xHtV"OeEJ( EL!ȣy[uLTpZBV8#W=zF5_h{P$}ܛ4]dGGQlw[xq`V[Ӟm$B2qIwp8KuV5.bfUb,KePYBJP_ scGﱌKqA^ҟʆtEB l1Eha(sx$FzA|teFd`c*h>d!86J{ VݝiiR6K-*Wǃ-6Yzb8+#~/LZ:Eb@db; "i +P ѣpɦ!2=;-فڛuτXrplfZK::iHwu)isMEr^zVږcoi]x#'>o}ՇLЬXj|n܇|T*_ߓ[j.ZNq(MYzGQ]-S[PM:\Y6`,@8XՊ QNVgkiH_25U jγ*-m^C";ɞ` l@]ߚYFw'. 2"n-T3z`jVI^#ςHvH;kyY+:<d|ju%F-pQ];Hgkd*D1/+VFi1!ɄeHm"!fYDE3%TԜEV •8.c`=Gv\Rn`lβAJnjH~kb4T/.ðjFԶۦ%h%cГCegʈ\DtCrm2]'4'3 4ǽ+|uY656Ifj3z&]ڮE +ܨS Io}5ȂKr *> ᗇD&}adQ?~I:̲W^zF-]Bt/~M*ݎe(gCq̬ZmGOQRwPƀ2ΙݛyPs**qdoJÇ>0L'jϪM$ܓ'e_ ޙ:'8yj[/ɊЌQ `TOպv+KB~y: \1@)Vtg /iŅW QKQDvD m+ Mw"){ 3=b5kPV DVs\jMb9iF]I3rSCu]) =5;fI${HAi3RF5{vxޏPEe8'ee2eV7^N:mu@Olu|1@o5cJwJȓeK> m,د #}'2!O=Y#[A1ykËG!n~en14Ρ"m^&5v`M?<}V0z]|9߭5JE޻0qZ@d1|6O1Jmg:v ހH*&<ǚԦF2̅']y0|@(wA%RP*Tx PIλ)kn0\>p'gtRޝ"Df2P' <%dlSSxz p̊~2bgy&q~ ee;H&w |J&}oE4vaiA6hMJ-BO/5 EmE䭎{:VR .!+9/ qg̕.$xJVFcė | G&" 5D+{YTu1v*+[Gguȍמ/|sT(6D? sDmWΊخZ+3*ϔdN8EM$Sr7|9[r'}&ӈi"u&)>YR=Bdw7'.5J HqM7L ]^L!mXD({g&QAl s,f>%>cȿޖE Nî`FNYz%'RD 9:{, 7{. )?WM7VdbHۇDqG,ǃ:y"g:{uR8[|?D*GLNE)۴nmlcpΪ5| U2LLdwHL] &4GB6~}'e<2iu+4eDӽ% 0z(|sebgKdy[ҕ4V[kѕJ|ގ4*)OwЂ5c/8²zt2 gU _l3O/K'^/ZǰnQ<:2Z]Zf@5au.Y愝b=!o߉[ڍ=8ſ>F"]y+dQ9ȍ:y:hG@x]t#{!c@ւf V H矩^$di־s 1`WEՠ26=]-CGEd'ZY;{s΋Tw"x'Na#z%=hoDGֹx3 Ikdu44 91+}/AҺryY;ZdKn/5g:!h&RQ]* &SWJr'ru5!MxɔQ9'*?SC-zť@-rߊ>`@j0=@+|K<=i0 !Zիw1iSFy<;Zؼ᠇fo?ԲN^l>^HmC6ԗZ% sBKYN}+|3[ ^<P@~v00 bbQkZ 5]].?ZՋ4E+^`xdv,>p4zyrO]td]6iu&79m;47btgި,NvE5w|yj o]1"\8g޳ .v>`>?;hfEkVyG Jpu5-)n". zil~85''aQE"Ns?6ҳ{4~E8DfL=ZJjb`4jLal(tG3JU>[H:( %kFb)UF•#Kы؍kO*hCj Mc4Ǹ,ѫx_`dz-,;:එ.C?n}8.S~w+jkkH7jXɔV塚@'TYL:d!\9,=oZM֟v`g{tԿ"M'.1rRZ6aY;@V"lU];_gIp 0Z ?uãYٛ ,ݟhe(7 Kv?qa"JϺyp~_?=UPP^(FYlWEVDx*1O|5귱lXMKbF&TW34Ny3R,jX@%-Sв۳˔V%tx%Xt6On$i#bɡZnHzMNps}2RtN!sKHSHe?7/LZ.EHϤOiȤ;$oQ;` 7֩w l"2$U#6+U$^jYVX/p vw .葦SdlDJ=? M*}AEG]v=2PZ`9x1XgVtztMgU\ }%/ *rRUz3,\@*}iLN]P4W0 ^Hl z5%mF<ݎ {Wx?&s'bJP+]d!.JԈ˳ㄮVř"NM77إHH# Kk*E*f;:;#CPSSQíⱃ lX!}D]jTk;Fb+BB8==j3U,SQ84]kjty !T K|+tJ9'hDuxm`*m_.(w詥@3<.GOGF`x(x2~Rw9v^-Hy_phD)x]c20 x?4kdz]-4x NEkY_DrtZ b0 A H»ڇS-{ 㝋& GkX^{4w,aea)h̦vJ!T4AMӭΈmL宂<"뗘.BlhƐI@ߟL' AD`L GQ Q`QN^QK*X 8z'gk+$:Ruf/mj)W Zqƞ'iWłm_E߈D  ST?/-:ҖvQmEO.&@]3kۏG$]caiUk/SXJPȻת=4?G'[r8 mHaoSc[a9D]R`dc27{s$8'EQ% ci.'7;$6r$̰W`xް`t)hJEĭeF mLTb,65>v}2 PsLnMgYZ0eba0d235a403c0aee35a5852b6a5c72467e5c08610e66d7bbbf591f95ed39af4ee9deb5317eaac491da0f421d225cc41f5e7cb69d4a2edf0de1d483