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 I7ld ]/ MSO_Regex_Equivalence:threads=4elapsed=720.461cpu=2231.588gc=101.972factor=3.107zXZִF! 5]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jptU?w{,˦؇Cz+y8pc8!> b!x#}:&EXY{. + 0LhѬ,̅lk*â A H ʒZ@#١ԘږW)#QbgR;:pOڛB ˋ )Q^Db>;&$<%}/..6t" !H$"lo7o0|ȿbXe6+PNZmBFӋ>-YGB#3mЙ*Z>$%K\&O?qEnx8Rcv5 m{Ip%~|a+AN: W@w%/uH*WRYΧn%7,ʙ|א)%;Cد8StruTh;fyfP;RUo"N|pfJLUzwbPCez72%(Uс׭V WaNpuۙ ?=c'Gui )W<',Q S7C($ 섞PD_.hJ)aM({Wa^0ICK?NHU捖 C" Q=<1Qsxk\ȪFv IV3IVrـ_xG؞Jz̀p?'伺X^~Ct)8>B @Q{k@]!Y?r@/[a LK>%ԟW#&qZpO3ino1 by>urކS:00fI.b ? G[Y(̕:;"8<OU #¾Oq_0h9~DFUu9Ods\Ŗ[k<^〃oI@B,.H6+kU| v?颁]54& ԻIϦV3  Ch! ^`#cxBֶ;[>z_2-BCTJftͻ%8 ]+*25lb_8÷!\нK,-Xt(nBX{Tzp562S/֧RgJLbDNSOTFA֭#V$&:IB~32;~/l<vh~p0 2Q dٳA m!9(iqּ$ӖfoLeԭ<^^6-MB&gG{W,I . <>˱&Ā^;Ic9x(ٱ)z_`(Zş%YSD4;\(8a]p| ĺ@@ixobǮ}[3e."ȄEA{v\Xp5RTAn8 `W9.?@:)d4Y@ൢZ]No TWJ"M9&pE@C`i@i %g2шj pY(;61[֖O#{.{A=׊V 8 dLφL ۭ{G w''`OvБ,Tսsb^hKFIT}WAoȟe=ėċzfiVSš%&|ؕNbJ]Xv@ e3+q"B+>\͓s]U.& 1[$CFLl$wnItFe7YNXPbp(~mKLl[bnj5Nj~\/PWd!&Y6{mVQʎ1ȑ GH[Q7H?GJa0  K郰#DJnb @A\[kBs^߻\*|.,)( z+QHUυ?HItI[HĮXy0Tw0uyf3? %| Qd+Ӥ٩k|t@A߭L1@~ Uc̾0@cYav+4{96$Y,4٘PV^[PnR?\ybĎ תt-r*jCgPZ_x6{[S2]зpL6;@=!Za1fA A%΄ ,ΐ9Jɟ \:bdA>їq板}:ݪ6+,[:OV1{F}3~]4iK?~LlrI*!muݥ܁<\rŏ3]rh^h|C bʏ'+5D.dsk x(-h7Ah_#~ϛ5 vx1'v4e:)ɨ\@TwH5X>!aʾ۲ߒǶxSTb5Mqb'#a]r2oLcIY]qn|Z֏UB7/'<*Q$xR/io<&[nGEIGp=}'KPK)2R| ۲١|!'BTXNZS-IҸ0Ŗ-n}NXJ2d3T>f`vyr4^=FdI-kCC o}YOfUYZﲬ\3!>$AXFL9LJ 6]ޛ++M :pK>ᎬJcT@Qy=jc^6nE-} y1|4Cp1\H*ʎ-.sjq- F- ᐉep .}mM`…鿛Ů=[aDџ*Ә9~r܋ ~,즄pa=2&W8PK #ġp,lG>ѩrMGZ., H?^#ib.vk.bg_Ri[twܷ mRFtAR6DtTk7Wۆ,WMR7Qm^xC?O#lxD 7 MSO_Regex_Equivalence  Ld,Ҳ-5')hFjspyFb047#ͥ{?W0ϼ9}d+FvhP! ģ[t<j3_ gaZA>ؙլ‚l#0=;KĽei<m4 Sep8朼eKcM [-{mIqk! YQ,Ġ_sjf2X"#ue=QA0b2 |ew`_*aZqjܤp Vr,znXj ZNTML 6M(#֐AdEe_ wRaO[]o/hy#z”8hDku?D+jxلfG^B "QL 믋bU ,Q< 8 ̿$CcPxsGcOncR/)P>c/5N6 YӋubJJTԣ/.90\S̝忏?wء<\1{j;Y.={c @J7,.쏣hGPCh]&9cyp>7&1jx#lI=gD\(8!L iEʂ Lެd49C6&fH'ܑLxWKg%ny6S^T^aKg-@tjd;Xc7/o*nSnt\%6Jlb\=U)tI3=_jg>Y_Ec`_QެGHKdBY55TfޖSUy6Qi6+<Z8% ϡhXywoOh)ؒb8>"@s*Vpʔi5I$%ywd$PeI-x \fjJ.=軵bbg he^*] EU[+ 8#kDu=Ea)}p+`}נk֯&d/ ֜=a֪{;خ_+$hil"82 %4a%6Mk)Ŀڲd䞐V]BFېB-v>O::yױ6R!c?p<;H.zlP2s3S4u3([b>Hc(>3j+{v&AM'&_'fҎȎ޷L;a* 1# U2XQ,koeќ¤3m*C6eħ20F(qr[t& )ɉF 0/ʔȳpث^, QA4t 7'&}*j]Յ0H`z!z"Fc*d>q& l^0fAiwY|pso1Pr5 ,MpzJ[m@{j '1WΉ22{iJ[:V)M7iUq?A0Erb$va~OOT0gkΝo PS@\o_]Cvt¯ ~Enn<X];%X;F׵>&]@Y(^l#PVw9z7{d"_xU"v\҆n֎]^%CcFF XQu.,5_B"_`qt>La+a0; Tob@[GGmڄ>cP$qXLE}f<+E k$y֣V 9@4py1f/[;EH֔$U]Wl4"M H\nFD!z;PMiQ8F5B/3~(l} +4}}%>BИW),^%C5 O1<(%G` 6JbM !g^;l#p, w1p/ZH({1 S"'_VE1ըbNds1u* GMě)bb{ U/t!Q .pPX#~ih+ƈ|)UYqu /cKmDU,SNAK rIg !>{czAkE<=ACk3vRit^ J}ߨ+.r:N@Jށ+ZJ]t4,ԂxVC6 hY%ޫ]O|^Buz3Rz}y: Zq,'ꞙ vh .KSl/ۮn-/Qr̖ {~[z@KKhw;w͐3Y&PhZRKIgA|t[xw6Dsũ-g;=Ws+|l2V `4߭/~B)8mM>20K'*QuCJhrflNVˢ\'>Ĵ4c\ج]. N{L0Y_bCֿ%hBvؤn~ XĸP-Fɼ9]"wS!Ρ]Dyv*ɸ=ʺOϒʶJPq*vuVf\>L, Y`7*gkn,ӞDz^TCx⫮T*Ş q u0%V 키!G2&6zl]+18u< u:JR:H$/RJBTG_EEǟ?FA3 ht^>IÓ/Ep^W]tz򚂝}s%RԬ}IK\)' 9mz_;oeżmDzweTA|&noQbF[|G~=.ΕO߬PPJ2}l<@Om|:@U` r)nL[X7L1z?'Oх]1yu)Ws  -|r,DAƟ;4cb97q"řΗVԫ5̵~ͿERN /K/'X#i}jL4[;^}7QKsbLB< pkwEEz^*$ h?M_膫,ty->eSЉ{!+̙UkSȋF(rg_`a|<޹AuQ"|kd՞s#Y\? >)knH=Q:>_5x0Yc^ PiRoi\:_Rےu@dOJI,pVc2vZ{Zz /:چ08"eR1?x&3:Q 0^`e62kki)68ZGkN/*a)t]b| yhqpT8UXp~Zj=7.1:^1/{ÛZ$>ʸm[.w+x @ZP:kyǼyT ]7WGnC:{7xY +_\ٗ(ShQp8|&Ȇ;wtd %scJJǓϙouhE&g|gjfig#I9o=M[2.Ͷit_ VgD'"h| ~5n2 #PGvb$|pS~.%X.WՕ)WB:Ud tJtٽ6FOyϦ{"ΧR3km)zOay?Jh{+ǰ.!y3@|sv?9ʒq$()?n]Fr86.w&qțP"u:5Cr&_:, Q5R~ F%Qgٔ>",]g`,[VAFYJN,l1.I%]T8iބğ%Ebщjc3\z jР< u /S[<4*_i7PSЉ~h&IW(pk^?dxOIճ# (@b1؀o8ߘ#Bu|"PL:3?9 DiE@BuUJ1IJmU Sq\|N7|o-?=K\^_נLZϯx4z;ON1 .J 8o?Rndʙܧ5ĥ5c#ehkoepfcq'x@tt.jiSV X]h9Q}۝di 3yraà ڇOr5¹@]ô9͸ +A2 ZFv9#5Fbٝ#|gbZ_oZU , .IF,yn̳Ĭaau }͂BK79>~UuC2Ytz^0RACKQÌJz9A;iڪp2Ì5!CwaR,w!,hrzPǭ<Ǭw-<|7]oR@&/$fU;ٚ3V%H~[p =UtE  +A!FIɃp Z1W5> kȉ_(S4g=>aY|i7$M2duVu:HeC7;ivx&k,6^DC?΢AxPwi,!Y`cꈕ'I'Yy O#ױφ.xoeda>^~b,;`x!"9GuZ3XCsng,S[[&zl6zxo XIE<$%(Hg//H 2D/ߢS$*OZDǒdCL "TZɑF1:y(O _ X^7tvzx ՘eT:KX`[{ ɧ\[9o929;SlF ,K@H _>V[}ޤmTͯ)]ID҂?';IL "պ 5R_3P^vR)%AWωhE8GYv߾'kZZ̅-7;`su&۫` %!wtkd50:qAr\'k0]*-ht ]-o °:%M0y֣HAmsIGr(7+G-TEHYԄ,P0$d_|;Qw_U c#!J禣V޷ӯ"TC0' +H&׳'GtOD\# J O- "bj~8~A0GҷQ?)Sp-Unx^IPZޕ"Qy`g~poxW;~cҤHb[DZ)P4/2) oqZ: ֻ}s>9/"qKVml+ P}j.<|YHПIAEoSTMe!gOb~kpcfxְ{,ADwJ^ȂNjw(Ż5 ̆z5=+kI~U"U+AÊ*!U e3"8lc:hVQ1v?V>%l5ɹF(\сg|u0COd\RzOnU A,>cnBgZU4>c%ωg4ɛO[K1^ 0P^g l娄JEe] *Jߠ38!F/96i.SWχ0h׸Fzs7 6 CיuawEO$:3Y{4UI+@(2v3|$m &n*iv0`GrLncmf}85vЯoU/_ÅRM@Dzb^?"Y2yE^y9ke4ʰCSWQL ۳EV?O]#ŸkÎ v]qN|:-: ;^0]\Bn ꩗g:GBa9_0P!JŗU ֶbBEfe Gtl4'\_<>됈Xj!l!{OjӬ`>޸`K=%j*cEQq#?4C6bRSa!>`DgcJl$5%z)]ޑ7ȺMz1yX GH?bh TZ`FdQR;9"mBW3{mArx x& NhUJ #ƿ=Dkb+cn=h{g22,-z- c|ɔ0? Q/JGWv:e6>QXMY lȧr\mP)).K+IB7y!.6_b/qDV 'hs)/4]Ewz\us4%^k%D 72w[Kd*NApћЀFh p5P=Zvpβ띉϶.>Jcx$jMdu(G7_nһi̯lbZj43^/͟D_3a#iAk޺H[.Żsǝ3%4 ea{fa]= RCPs3 swwZ%ΏitG)p/rcֵsR䒕%a%n HO=8cA^齪|poNGA4xi 3d:q{G"g&neXD;Itn[f pmS>@=:4V42bmE 鑷|₫'SJi^6aTT :*#z~tdܤ R5H>P.ݗ@!oQux{j%(HxrK3/a,m`"OcY,Mu'4 WTƻƇs's$`^Ï)b$ln̽de-2~J̾C\2:ޅuMa"-fL} 7B8V8h3fdASgPo7KC4"a?ۇސHȌDx(GIgX&!0 g<_8\sLl#Ş+ LOyS`Åq0!\vv!xp mUpP,o1JL ˄)2vcX[4zK=V%` Qk bY!y:E8@7Pmc>F=ׄ3|6cf867e^}\2o1e|`"r$R?cbL0c^e^jKVbUzi#]U-.r"9Q_ҕl!b;PVUbQ`_Ne)HU;z/,).s y~/B¡q"`R@ɰ?[ejxlX췙R |dӚbၟo`fCHjeٶnX쏘>JKDC,Aa\2[3롪&Qi^ |GsǃFJ?NB)evj@DC:dՔ-).$g2+K1 {t8F1g.fTG1/ =0M?>p bm4B>Id9g=\S9\VF(Fkzhug񬠰/8^q̞-I.x~Mn_\Y!w5[a6mǔACd7Rx [_!7Ϡ~u~h95CirZ|VqSI=iٍ_<!y|JRy8gJ(*875В,nÿ沝ȼ6u̷.q]A&sPH>^Ӷd5[N aO/dȋ35f^ +(UԴ3x}^źTY>_"v'T"3V `{e XC[By +=`ƏWpd3|z9͹j\QvEp7ه DGxr :Blpa=|{h]bd=w#1y0UOjSi_(cӧ"KX$}jV`gt)А^-|ѳg Q{ ĊbāpA"Q} r;ZwgAp`(U%Ky"6pj| c{fV‚|JW:YX7F>|8jcT y 2f]L{aaYF!ce͓8Q{9~htZzEg:\>KA?pٻ U:`06);ˤbh}5.uF=;ʥLh H-`%L0A:㢬eyv-h \lfy > %JoK}vبAbPJ gHv qfi xdH{ meƽ|cxK9GJ8ⲖlS!^fn* 6kIT(Ġ^5N%~~N"$b^uB1n5o9`$/6OGR-q8#r6hY2\s _}:o{@!Η2򥉪.U6vzx1 m+ۮrߔ+~M}cwT+b+t׀0⿔b>V[$VihYa *Zqٲ2G-Z8a?qAFGÕgiFUF)żz.}qM @mY^&O xM}e<~-ݹPaM6dɌ+1.5xJ}(z۠)GJr~"MY %srLN!UG>c$oH@ N 'b,*K?]m<څ=oTY$XziG;0sV8O)sԮ#T3'$fQ%7(4E4Y4[}imOK4.Eh5ݟ9[C3(F ud4у=kiB_c**E14,pr4 %섴[/&ךs 5]$:#)q|z;Hg͙uUkT-=, #cZ?msw*Evp?[C{ ̖()Zc~?l肝D\W+m'V>.eYYAu2Lj`嗓*[CVhw `ȉRu'E+[x4bh^PgrCsb=1nl4Z"HFqy,!e=L4'2j[gp T6aDMSZtB"J7ưAB`.IuK.`[͋IQS^@{fU y"mЌ"@;Lh$!O2mdDDP'|}hI+wKtp, L~gED jLR"HȫKqCb|4 Nw#Vn*=V1qI,K]pb zY@ Zm0=?/1Vkk1e:^}Έ]8/S\Fn0م)^J#͓Ieo +J}E,c);sqw{=(z24pvj@bm ;Ձ4\\KZ}K#KN/G.2qX&m;1n.n4C|ӛxĠyԤX&DA2_ 5tɖ_2 "FXBqks :ȋm e&0^?ͯ?^qu(w˪j I4=aZ(gzoH0nLd7e;J|k8zw}BYނG[lW"BBV31P]N)~rxŷwz=>{lH}SH)KEL]:zwt%-|d@H{N|q_NjR̗ x= &6q7|Ŷ8^~ۧ=,4Y\C O]Co~hp 980):^֕Ol[1ޢ#*0.)42#™y<(!i\"v$OcyN7N)/oLmegޔNK_zP3aKl|澚.9"@kK3ˤaGz0t5&6^e*d>>ֶ7=$|Vˇ<;GElq23lM ht}2\ ud+ |ϙ3ɁPp84DԙOσ<aRO]WKڨ?9s6MڧS?[/̽/ܐS8TvyzܠhUXAC\#rñqtS궦t(ө7[]1UwL$:qf> |0/UGWn@?>}ݤӪ7ƇjrayS_w-3U`ŀѸNA/ i&uM Kոj)o -) ("Nrga4`&B2u& w;uPڊ EtC,V)ϿZ=+xÔXGڹnUfd*ISD)~5.Eg8"NK iGx? 6phy< R{s?ړA悈 ->q2"֗Bn#CIgw o,D7d#"T8qXGʸV.;SִMTJ0#6yƻ!/hU`Hvmx n)zZj\a;Փ< yp"hp/#  `F[2zy&m/$:HuAMB :'mO- dH:{Baf]]kj>-_Iq։F- I߿`[j#`_R?QnOUDjV?y*4ғjAcߖ Pe%>%;|n.[ OcW]C @{L\u8g6f˵'qhPt\̯Leg.$}Ք` RkXSۣDpd'Ҭ@&'1!bq831θD%>iyIH`fT?L={42|,|fg@PE1ϢFgTzfu!֤7w썚_\Hd 4J1DfDķbsL!s\}dopn&N-R^egv\NzF%q&*)@mA'+-&e~ r =҅Qܾ[HI=-Nй6M,}@ m7K<_[Q"3IkZ$5ɇX{b62 d_L]8ǮH:T,@SX@Ky8V8ڌZbI'EA.Iܶ96*K 4bPXTBz)b NvxsJ3EJ*sH$tpqƭe߇dVjյ>)CYVpăߋ(j^P }>(了E /:RCNW4cmg@5UwcW $YdW6v` +bjj> K^ eV!"Iwi4/6hsĉb3x:&_JdzB "k~|.䙄Pv*c\X= }n Bˈ{7u'0yڪyt=|ߚa ,r#:SJ5x1=R>UBQ"P[z/v)+SKMţ<.j/oѢr7@ZZxHv~4#LLYC0bgLJjK~c&׈/,5SƞqWTiui;xcl*U'DzwpWI5$aː.Yz.t8F% G(upϳ۵{/(fa{;d0k$Q<9[8xvč&]BNhە蕼ÎLĴ(?' uЧ?peFuC^pKH&~O"$K8dRՙ2tN712OR$Jj;XWd >9sA4;{NGi`('N6 ;s#:!áW :5[?-_QnTb2_}MoP&? +oe!, lֿ )WXK9|!^r7h3vE s9Ŏc9E\9>EdUuF!8^|j dQ˔':NCmd$E(栠]۸N@fK>Gt1NEЪ!0d|`?y7_)hKY/`cr"T+"Q]#2%4~) P8,-7='X`@V_O Lj۩aTDVT~_8p[nerdҠ*6G@6%[BDZMTИKjcRk| xbLs"蒣ϬngU(],9K1TzaD%1LF"O鲈eFDmlY悰wj9NYf*)MވX3+KiZds: , 1W֩wg<_NY'L>48?DjXpctE(KA4T3Nc>wluD1}i!ߎ78%!ekPP3TlS2__"'cI5jt29|jU?|RS`ֵƩKMIv6 L.MY:M5f$}R͊HiuwÞ T]CT/t Gq՝T(~Cπܱߗ&NwDB_~Nd:?7yI)~7Cn?0#A ED۷ &D&=ֲTWLj 5s֓5۽>]C;NZ꺂8U')I_;4ȸor;*7eD-)Ȗ)j?$ Z3}2{scxjٲ _ZϮ^o ǛjSvQ٪!;PŗRroRn ˟OIU[$+p3Ot$eos Ho%Ƴ^LV껳_ebe K0܋ۙ$3ghtte)=+ 1mC{/>x"$_!-cII]Fc/ʚ~,5<0iGX!Xpp+e`FZU}!NrobMfwr/e%m e,q w L0N,fhC)Jn'oNN1!`0ROqfUa|lPkGzV,v{2"$L'wB:nG3MĘ1I4NycQc & kVl8&u{ uk9Zd@!s0=Q)mKس]DE5hڕއ$ɞ{o>$'r*+KrOo,ϖ=@cvʂGjRnE)YmP Mnf@qoLjbpFE1zwzڮ|FEڢn"Cv6׏[VE Ԅ۔Fb?tR TOU$蟱jB> O&Xy=.LtEd9$#<~"8'9I3sN ^:9:0=u9WXrGX 8=e$O 'W`C )Xt`IB&i{%Yu"<-S"FÃBίLo]hlc# R9~8t L e(/8I}[+3LN$ݰ"FRS鹂CT$(Ui֔~)\[?)Q^яX >2َ8^Ud h*iy4/,?sHQM5Vq a%0yܡ܂+}NH qʉ]>¬P2\0m5/3Zd#MKc$A8Y ql&'-G/(6B8"sY8+q:g@|]A %⻞d_Hu˘ݏUbCǓ1 "I4jST M5Xm7D3Z|Z[Cp>F?n0ⓗA ٙ<h&-U,1 *>5*YwHtUA\%U,ɹ^b cZA=] "5hz',lMXu^TOǿYE30L]kОxg[<AY1gx|hE*rxpEYX¼/ɺR[7؂*EcRWZu@&ll?E}6Hg.`Vjb&|4<#wn_o  j` s!?Yԩ OLh KcUZ7}- Tr h5w+L'(5?!I^gdkH L퉼5hZ/"\bJrw*UO JAZ.#&{мj|9#t6kpD>`^lU0EiKj6R>8sT/4|Mu /syw@ZBEu>b4|M0ߜCa[RZ쫔$p׌hϗ*c5-ɅkT~UvR~u5Å_OzdD ERe+dNr5| u+ܩ\wٴ 5)RU 04t1G8UD> <)]/F}B: }v2HT@(QAq56/'Gd9~J2Y̯؊sKf_%zmmCa$[93T!йKg$'TYvX@{1#/ w(oۢw*Y]&q*Z<*U^CQ7\=*ǽNZe0W褮t&&Sȥjh^UO3)/ k#)R2~-I%D3WযRWAc8bnAB/jƲyڔ6(dj%սJ$$x;.D!9f:tF3u'1ˆmâ\$d(j' ,m9jl $=> r_߸> m/8sK+4yX>{' A=fx`oj̦z5|iϢ:lkty]WFn%qXUuE~rQ-FkLT21Ipwi4Jڸ6Rpߩۅ|n_߅ pKR/>5b-\V (_]E(6zd  ?miC\៳ UB˪<|pRTI.m$UFd@ US(cwV}ku}UƧCVW ,K]$%p|ÏVKnGm u%xTVuxgGZReKR$$]9ru"q1 hAO/,1f|-B&iJq!dQzm瞮{dŴT4޾A^',KdF,cdXH!Urr6[1jT_1hPPlb9գ4?Tʿc^/ab6_ įQes`) }`&]p8)=Zm\:N,h>Ѯ(BFB/:E)) [_Q0rI֊߉x&N iG9Rk \P/?PG9lm Z>4lPgT r/w~^/)<˰yy&m%ELlA%Eܐm}8Pv擅uҞ=+3̺~ܽ'* 8;gnVR+Em&d}s}\8+_-<]CzEvP`5l)IpK띜JЮc&u${5^ZMA7qo~{n   O+]ك%t=;  4,wZnM^==oVzVd,B7joi‘@z9oӡJTvpu?>dCӵVCN`lz`moQM#Qsv+M1rl dp2y<`65Z #n˧S55_VW 8#ѽŜ N{P//t#CiVطգ.Re. &R0j6HRو˽%FRWD͉!̶V$+AY҉nn}؎9Iޚ rc1[vfZ|b/et*:LT0QjSoi3~+MF#NVmXrfi.t.0Aݱ]!HH@&q)Ж_NJNTVPȌEY2v >f$Y0[ꠗ"|Qto)Yk@=ch+JfS+FgU =k3mR:Afw!'f %(tag=!D,ggWY7|ŵ Pr tUK!zh{FNj\'%x iZ%&?s>zF!X#Y# 7W=Q9_p5|lWaG5x Cajt?a*.,jz솽woe7?(sBكs#הh~$wKK C6܏XȒj&NRN$zfc! o[}Do]r8 ˄;@O$~'i$C ܺ0ŗi*@#~p,4 ;grvRܺO' ]i""Cg;ڭ&JMH C1D&a2(ajfy>7]kar5lBg(5*.l@@9n(.8H'}ϙ `nI*q3Q͏s>\N Ɲ#W2tUzGj%VR۰z2#n\75*_1H&/&g1NT 0< /m^1;њ!dU{03~zϠ~3/VRل9e`|hJYJƃߐElD vşKJt=F/5M[b\3W10'uKx pB˗7=GdjcuX^L֠[A{VcSj1nH ]בl 'jXbd5굶Zm,ޔlOOzّtWX/ 1W=ݥ+ۡՂWBo9Z|i#nRl+F]Qo681-qGb0:{q|8Bw&O4qPpPf:EM?W1`g{3'cRՊNz9t"6&?8woTPUcu*M-M|,ԠE!8sj^*j:,]Ӓi\Q[)h&ԣ}&{{bZL{Bs4 葩vh|jC7Iz?@t` sP&C,$S=qMdrl0zx\nx5d(0bcIy阙-bi?7$Uw}BxTfe ~ulaLJ!kx3;U|M|c|1[) mI!~ew#?~#:ĘI}1"߇Cʃ*`6ܨ2{o @ whrY ͱ%Iw7B \ee:(;4BϠ]`^x8{ȊQ#9Cȱʼnu}w=WG 䒋#חG΍vm~D U;dgXcXjc\"Pan˯D0WuQŎ , 7rLUU%hVMև(`7y/kr DǼg#AMa3rb[H9h؈y4C?! B39 }frG#pfɝwAG*fX5q.bMgd5+i"EX./Z3sI/P%][Xۗ!R5:ޔ(u6LGpe'UVkؘŝX*\Ǥ=d w+yLe{T"ȩf8kݾrpDjPs/mR/d6L oSSp2Q  },s!Kp6ÑC%-:S@YF+?MWUJIo#BKɷ-h+dn\Oh! ?v '^9BP>yI+#"4Yp Ͽ8u<e[I$@Gl{2&E\ȶ7~F@u^'.Tvn 7Wb#'_^ݟx6KℾjsЄ;:`6";|1n1/&/HFطLgIwtM] Ak3ė&XeJtѽupk~Lޛn sE^ QD˓8^ʱ*ùp5hklDHml^Sӛ]7_Gϕ';@`@6;XžttPBG";ovϘ :7\?w@Z76Vy(v/Ʀcۮ ݍ%0l&B5ߓ0巏, z{˜|p`Pyh\>D-+ǸV4 e3$zO.mG -xarPƭB?ni:cRA%+"8JJ"wVP_>a e/s4소I}v ʑl/F1޸?!1)c.N/̙۶&H _ ݭUp5{crfDg"( AAs+@7,,l|mNx=mgd521qX? ӢdnIf ΠpV f5(? %.%`T@C%+P~qЬ!@KM29&s .xT$tvn V7.9(nW5>PF$wӰ7WH*lp0=ޒF@n 'hV{h ׊Xѡ o_핞LXz@sьQj"k2^]u #yш_sbus=tT{华rQ-*v]I)В2kSyzJ7ʅPE[=,/+4ŝEDTQxZ=iH)hT8U3/Ҥ쐨Za߅6œ6AMn9fXY|{t7RqA9| ujKZ[UEle9BO7_z"M]_)xkZdj-=.,~SYDed'ܡ|~H!Qd죃Me*ƇJ*p`TR&[g\tX(hZYo}xX V c%@k=D0`Z9SQ0lO0ځ(ZI\[ǫ/E11-NTR}pyQW;fl/%jKV@F~d10sZg9tPx=r5HqgD K A=HKbT n ISr\ҥ(&ZD&NG$ƣZL g i4>>f(ӽmw۳uӯ0vem[Ĕ6!+.Kiiq面שxDNApZYu*$FLMDrcXI ~[:ٝi=cN܅ʔ90@@~w'eDD,>Nß]d*Pׂisu; 2!Z3!'5}Z ҷrW[Jr<{D\s; *,"$e㭑̓ \)*)^\ `50.ODҮbU"r'CR̝5|POOPD_|wPxf%'0۰a #d1`'fJM53U[K5|ɇO]%Eߎ_1cyk] ±uc(]S+A}|@۟1L\&A 靛Q{W9 p(/\fpn#ۜɀ#Ns4u6Y1᠃\}na5{Fn{ĕ|N2YUA;Wŀbj^  #She|DF)Y J)Jv6r.< o h!RofbϞji:eH<9PP]7,ހ%6r>]~P*ʉ93gFj69}_2MOl 6Ib;pVCjPFp(vrw’G P="3(l &}}߁j %](|8uR^C"`;a7W6:hMm9VTIdIfB}lVfgw=^ޮۘ^$( µ#&[ɼ \- 8ӆ0!nY71mХE?"#j"J-VaʇD4Dq$j!LLDi>?IϺX-I:K]HuƿpmP]i76B]Ytᑈ.jeJ^r 0{7␨?" ~ ;RA~|,/>"%tWW\$oƗ^qbK8\Z1:}P/K% ktqҧ_dې@U&hKݩp /Ƈq{ yoam$jG2vo1 |`jxȷхg|jz$;N|̉4rzFh\؄ XP.y[z^"{MzS+ioVғ9cdY_$lM;\>J`.C9${& Z.I'L*H ۱*P6U\m;)Q({.L]FXUE}j׸&c{8UpT/2j -̄v`6of=^yhU,gu,6ߗ޳ϛ!On^;-h'mcHrE,;W12kairo g r Վ1аc[ :> )} /w/dub;tQ{W3~dSD9pj4d zYi|3':6gP|"P'ő,~le?ť~!JUTջ({=  p\\7т^cQ2HuZ\2 $#̌4GIF-Uܻ뒰[.%=A}`~ k5@D^s'yt4VENCƆ ]4b2{W(3Ѿb5yUH44S}67]t,*Zo*^kdix$+:q _Ǐϸ7/Qy 4p>٭Ć%a}廮tH[^s!Me":=X:-KmZl1omP ,Izpy}, ,).:gv?Gz֟ ѴUșm?oV$Y C,u, M|VCnAH(CJTD-@< NMAdq>m3Ql{lIz~DCʐ{I&l|91N>o3H2u:%5 Ŷ1ΫEp`SL@?x*$Eo (򏀽LYLgDY2[<_FA09bj&{Ţԍ8 [F# 8 414X%cnU5Q KLJhR'HVkBJ2"d;+)?Oz C'/$r;_"G'`u 5ƒ,ڔF*\sq1ٯtJj^-2A(G; /#Fz|f_Jh9FdB>9# 7~ */ވ<SFMr>If~ 4Tr +"mO3,Bt4KY8@ QhH>w{(?vp{#gۍ9YWۅ]غ0}[mdEh+l; sj6$Sb=4(Ej2aaG l g>DX*TX&J1 07}4];=dTX C;VGCh<ʻY(??^l=/ *2[qFNpѭ1.*vW 9\Og [ 6Ih#ض "{BM0-_Nf|7u*#|u#WR1L}lXC8@C1w%ZoֿbDKb*MΫ-M nH T XM|Qķt0ه$qdVG:Q6p[ : !?w>%N\ /`ؔQoTxi$ ]ʵ\KE/Erg&ʠK˧ )}Jycjje G,x ?LAb8ߩ_nu[o),wZBor~z0^0]5n"~RgH9OW>͝5T(k5yT7_!@mBU±|O# U$+3\Fi"fw Z /8QaA'K`kr%4Zk|tg[ ESb^d!W=o+9pu8hl-s?Ɛ+ONlG7~f` ߠ;kx 3pC#!ww|JC@k/nHA?6̋MqIIZޔk e@;^K4J<?\šӅH2J 9@8Saolu9O!Y-ZT.e!m)#YOȰFR@̇햽?h)ޏ;xreޞ5\]mࢱMՍ:"1_;r]WZ~@@ Ƶ÷glL^ScWB O\mY!Jz}%^S4Umܷg揭 c*4j;.F~:;+K"CX½'zb)0hl%^!wDRL8חmN|V8p@ZGs6]%Df/l`3֕{aq U(RB/ 2Eox!߆G'r!_>-J迆g&4mvD4*t`EO6!l{|\. rFE `@PmG<Q R؟ t+HIP^vspϴqyS{tDE65֤+y5G{cUޗ9oچ-ﻖ'p5Bi:o !d-gR#NDHusjG ܉$28s57DYk*{?kRNF3~JŒT8/kH5% Q{p=k?*v0|,KO9Tb3jGz%]ѹ{G1i~d Im׼kAf3w35pv rO+Ѯ~`2cDG a'/.9D?oW~n&8SCO8*dCpxgX9)ݱ} "зtW0 V 4 D0`Y9!ȩ~ЏEr FwLt!_0~2!$O^)P!Y5;E1 g`\ɠQpOKHc{4s'66Ç9_z?Ä(SJ/I޲u.T'sܬ,v +~Hލ.!M/j rL0m4+lm)+|IFVTu6|G^܅nՇj9 G\żѥ>UY&(Т|ĥցt$M'l?h?cw8JNSZVOZ.>Pbbc̮ x8=mh[_믛%yAfp:fN,KhSjN6~@q56?7p7+2{O* ktUFg2&@ oN:gPP"6bÛ"t~` ǭ2[~[O;B g=#2yߧe$:#+`٭Hzqކ6 zQYOU7eQ-i%q{x09GZvS G[GM+c|伸xXK7 Ek) 49mlfbːd,nXPLV/tzЉGj2='xzZ796F!TbD240רWց XyS8?%FH$k*!xe)4WBu&f+D+_kk:dyI-DY<|ur} Ŷ)`U*%l^|>cZZ@Hm:֪6?uπy@j Do*G% 8MbM ~Ƈ:U߮!ꔌހ(tnBuR ypT[\vܱ7LQ|C֋x%h50hi45n6x~ n6gȞxd' e5g\UM&^kngJ )(]z:CI<Ĭv\sj2؇9DÛ?^$,[%o\+`j\kto)85HaFtsDuFi0da̅)H{+ V,A!&dTz`Q3:s`\NRevw&+Yyh7֑[uzyft5B^3SV;W> +1q 8b׍tR@^_C@r} s0D@)nBp8=KfM(%"`Q>+ `깽D$Pπs"5a/gБDͱ?5Ӛ(F.]# 1qosN)Lovb;Raq=~J׆loue{f6gMx8F+o3-uL`F*(oy&˙vDwwfl]/] b'[`v4ta[2o^3iZ]kY;!zU[6, SlVvRr[s;JĤ8ChtӁ?C$Rڧ1ۥgZt>LA+;諸6 iףV!Z_kT/ =/AIfSLu~dp\M.-7z٭F$vwH|. Q0޼f/Aqy5@K2$c } \y$2>ۙI(.$SMZaS ud(Ez}+WQ]c#,i$DQu3ls`a WhϬ㼸d$A3sYٺQѹ.LO=w;,gK78' Omem^w.Q\ :!62 >$`INr{k'o;@kյS#O4Q2 I點GʃO+:Hٶ`$kCF Ɂ Tkj B]!ϓo+UD JG 6T,1otxl6)vW7~Ⱦ.wg*qJeqO8!|ڳg7L׾%pwd"j8]G4 H@ QVN疩 8J;D w ٖ:\Z]/``-=.o #som+tbwʳ=-Sfm6p$_ m)R:>NQAδ%xǁn V HMMr9<Ϥ]P5Qq~t*I秭SQI=CG72N Ҙ|!Іp.ډrpN3Ajto-gwdk/M)2ri'< O}<8QأO mV`n;t%(*S7"&q'WDZ6ԓe?cy =_ ! }? V޵$3T9y4l'씱\uqkVWNHY 3UA=tdq/Tt&ԓ~yIP-%?J`Ԅ~@QkjRoi`75ы-5Uyd+,'a6Ǒ}?7 ?Gv˶RWv&'Lv_?0SM5 ^f]yߌ7L\zJ&F6hxߔkE,3*UG~^vuO9e{^oKup+q/4*#+IOQYq@ ɦ\ H49?@vLqANkY'v޾шK&j%5^s\#(\i)2*Dޤ")"~5Yr"KU)+ K' mEڬy/q) `ďKQ #D;:Yܫ\&)>1+݉@Qz(Ӧ Pr үe "uH^9gB\?82%BQdDuacA`vbׅ$^ܦn`>vS=ʮXózJJi5@lo4$0R_RG$1.} @lJ]F,ˈnhԊͯƍޯtc^#XxVAy^K5ZY+שzY}^3NY8sΙFr5ѤTa^AcHxFIlq`g:JȾ#`#nn)D<8b&},WrjB%#]B0j/v\*Ң77R;>8,o%Ⓦ=MoPX3~9mtg]z}ܣBu}S?I ?jWy!I_ ^f> ,D?gb 29T #YP7vwu%a8ƱP nfb^=Z 'e /hf@c%gHV{+a {*wtA#˼ X2%r(A}DC%mC[W:y,~ dؚ,w1s6+5FHK.@Nn՝fO'GU3#JQ5i-`nי 2+ш{xnJr&`a" n䭔;F"ˮ젫4J1\8(Yd2 $ ME)R*xTNYkR (Ĉh:Ll"3i޲x*H\:ɄcV\ GdL?ł AVa, VCk%b-iu>V[ict1AlONu+,ĕЁޚTܘ|,1أ,],QơK%@T*cЙyLFkc {d@dڛ qnTޒ@OTU.=e\ȽX;" c o}O 4i,Z`5Z ɫi{ DydR~Wl >md#xe&`W÷A=R(eBH? fLQ"N9@Q4jِU_$ g;UV֘qG`izɣ߃!" "*6QΔ$0g(aG3:^ }lw&=d+w\_A ߘ"s4MaPeRNȽDRN=8T7s5nU,1*5N%V~ wٖIIrbko],w+a=qr,=%  6)Vd3d<)0$rS!XVlp*L NϰSk)ƣaGHM%,+. 'tPkɷ48keka\װyD5* /`1G{<֞ j ydQro`NkէבM|zWI K3/wlX⑍ɈAw$\?IPb^QKgp| y=/ ?UliLyH7=z`?џ;CŨRlIv" $.? y%O{>Õkk6\էjmDvS|֗Ѐ9 rQi>]nȕ*s]3_.RG3t)(W Cʋ^2#s7ʼn9 \dW8;N~xR66{Tŧ(ѷ Զ2c8Shc)c(ă;!jT1o'h7˻5Pݔ? 3<9+ZP;?JCKu(60ĖL1Jybī u!ypH(NK/ٽ#(k#9+i4Vg10jMI*h_Ko;A bA+]iڱ2=dKfգV2Orn\ݔr,3^xw@M`#8SNAa8\j;_@ N2S&Ɩ1^tеk5VvTYܮ8)DŽ5-1 Ifߨ )}:&*w.o~kRiGO'&P@ 9,E՜#vΗ:)QkV 2V9_5yuCӂ@r|4>A9Cs ::@1P9?a9 hcӟ!ۚ6p>E#zq׽EDL5\ͶSCXHOYUAN#Pjևk ;I\b0sV/8BN k4EwQW[E(~ѸjfF%bVMћe'Cu2ejP+n2S!{zT0șAr;  ϢZWAmv7SmhNO[bcyX~6]hN΋tqr\VZD%6y\ ^8ás?n(YU^4!~r.K<-Ԅ^X垭 'Ąv !ZPnRzW[E37 :C''̾5#sARꬵl ^YEYʌ=9AICэ®ye 1ctV8ͻR##, L qu c2D-G'ߕ6#'F6T9x gřvsui> <+=RTI8 dN vɮj| Ӛku* Y^(Y5n=,94fҮ4 v8#0J^tY=E+5rxVzRSexK{>czD ѻ]#IяRXXX&Ax5=B7{\BjzlBHT  lͶZ-rR,N'Rzsm$ˬo\LC М1 FA,)kY!Kql_u 383dxwr=G>Om.]ȳF:y(5lw#sFE#c0W\f'ng/9?ٳ4q* x()*KśE]b/֤;)Lg H6 0J&Hk{"SJyex0( -3VZ' zLVa|r=C C$37oktxwuiq-{o6]RR^g(Zٴ{U/$4}5coc5nA qBX K (ʲ& 9D`y0t؎ӄiM|fJΉd\o>0GjKS676y]~P7*vʴw2*Fc%r PɳNьnU}]~}&by)aˆHN ]Mt1//bwvTfpӚ>d0dhj"qpj=t($6Qsw/QZwo&oMRe)+e.3&jZ>  QբmÒaH@#܉ÿ]S &| ql_ E) Mg-o(Qf`ORhPC *7)sW!HN]=+$ы8 ఑s9C^5׵ZXiB3tѩp _CPe#҅Y6e]}5BS+qM`~;TU)հ vVEIȒ3nԝ?ѹMw ~V)%鿈DhNT]7̪6?:W~zlɡN?hiDC*T /= "BNx)P`#Gi4sdr}7 Xy]}z7n (4so Wl4!7 2 xә^y t`nv$M:%NCίݻ:5b " V ۲VIV,}.ƒ4"YY iakYr!T,k!v һ(koGQ&q7Qx$H憀T#c- ]X-=NXZi&@O-:OA=TCFsoBL\ylRF^y`~M~/bfNDmLrcfMZZ_f_/v&&29IP;Y$LKخl7'&:t o~qdAezZE0J"JBUœ%"fd(y|D5z\=:,FO M =&ݙhy JU!gk)9( s7mqhJnIa-P̾o{@r`l!؋P%>!<$tp'܎)' e8RTJPIif|a!l<1g3(`nijצiYbC$Rf27b ˴BM i7ح|~FlC~0U$@BCKa9,]e0֭^f̠ {F7i\ c-=+ 3&0eߤ<$Є%?q$-:[K#F,GXCAM0rf* ?r3x s-`DYDz۹[7D/\p7[8 D)> }XvIԐ,Ў: *Fh4"č'տE bP8Br: ΀eOZ^Rɇ&2!^V=\_J'O竫M_*/Ҏts]@1BGWju#g&}#^_ )C:Ԯ@nɖ@]~;>;d^.{f$pޢ)NYY.gBh!n֜;mPdkVQi_*rv)v/*M9;x8ɂY!B+x| @$__S=.펗[SBDgjA'1dc?ZU!P}E>5Q])Jkm-oV*N vI,@MA0dd1" @-3o^\D+ հ,{ȓ`~٤h'LMGxx7k̝A6|_{WCHƹ5Hǘi)%*QG{UWMV w; GPȯ%YfGZL{LrsM0gwKM؇ 䀌%,":!2ɝ2EKV$cgDN0>vx/Ϧp VSԓ{'Gv]G39Ϝl &lx׀;;P -MFDy,&A.#(q}ʛ8wj܁A WjWS_)390杜_y/tͨ @###[tuKQ.Ji +*KIN[px~}&*Wz*W;L4Q͢(#Q>hb@#B2fҷώttu\qHfȰ,afeJd6uY6b}ShlZnHviO*:T*UJA沭~rͽ=,kɶJ"+)Ӵ5?^IBs70Z4&Ǔp#@IK˝da9.1Ӣk:ML-:A^GNK0.M@^̋1 V0ҳQdi[o{[o7զXTD(@h(`=55Z)pe[ |ƒX/yϖcb7 *f pD-ڹ75mUn1V?Vfdy]Jb:SL>,^:s|$ uNك7 x{GRV _Umށ.hK}!qK {]yHӴeћtVgYKD_W7UdE;2RX.N:uҖXΣOۛ~,* mtF2#~$αK3c^.e"],wQ0aTUt̲BzkwP])-`IB2x{9Bs`1G#sw$Q|GSefW a7+AC o> 3:ޑk\um O]yBR7OIL:^ DӿZ= EeRqM߬5:M *![#]JA\f^apShLl#C$ٌĭ=bgqփҎj_ק9L\LW]{mN+UsRPvZ# ?̧4/0~Y&l] ) k]]KvY~Y9,[6=a(7A)B V[vܶѱx tGDwAb(ORpjnѪx4cVnyā"YwB5Yi/!gZ7]å6Ա aR6T|ޅ!ܣ#afQΫLR异9GX;MmGs G "Rcx28?G!I($X.@QoNŧ8 QU7CyGؔ)'iTc뒱*N|Q %xO8ㅖ#ȼh f8cmq3-Cqlm¬X2a.NhƞtF$1D<״[(tBrcq '5+Vn8n|&=g{BY1U\-)ƞ9biXa8n&ݮjisOEbH=l/!G/yߝp>xc-kYIx^@k K U68xP!*`UG_yI#>t|q ›Y ~<&qy(BX TֿMv]_Ņ+9@Pj+`}tBծA ՝ /[Qq*]P"N^%l:KTDa#ڇ_sx;I'\NcO Z`{#J-QJ#b h0uXN^-;W*oʿԱ>6fxvG2FĆET?f]]p>-5TV˃;\cz_A[OmU8%$`1aq,Uo^4!s6Xk`k׀t, F&`Y+R  {[b *-H $*;ݶ>W'hHY{YvMYOgՇfy:r EZ/`:\`a+I=3 Өm"}.3 ѫC@53# Z^sQujw\reo>1U0)<& c&.1~Փ hO4(ί28e _{"vϤ˟P.,>Xdr'jUCb0&.1o߅AnzV(ƽRu+6$!$o_]Q:00M% zMqHLr oРQ̱GiDfoa8 DrO@픱*'k)fW[Dߦ %y9(@ъ" M+Z#xOsWMǶhJamxJaq DteB5ax ߘݥ$5586~#o APBbr8za 49D t f,{up^FkQtzE^)H|1KQ&t󡳄O=Gr줸])9]ǧ8U1;xiW/+VWC({ 8+ ,׵Rj؆igZ],@Fja! /є!ZO[(oLtzV>"_aEi"$zEt4˲>8gٲD}{weh.dr~B%o-^s5+!>),D=1diH߼A%wHJǗKaڤAibffh욱"rL_1¨'0kmB jӯ0ZvFy=Xh49̂'-A69b[͈b_px> Ǣe8"y?:H#z1hޙŜə}h Aٔ3F ˩уE9.S@*9+%8~9|d]`iԀ>G#\oЭb/ځ-y|]iSpRA3J.HƐ\t3E\1 HrA\e 28,2ev#x0ϛR4]@Jg7muJfB4:xzp1ai@@Fcz|גVtrȷ%{ JfqU~V%ѦBwU7BDT?BʈM݃d+Zzo5 g\HiFg/}5|r-^8-o4qOqm)D`Mž#bżgV>V:ҡ1,+֟! '#/q+ܼ "z)l }tvfȺYu5G[]%J1,ȞXbuzڅp,޽ٱ%zR@P[UI` ח+k'X['h, khC>퐽zJ# bmJ 7#4kz>^t>D6h=3F? ?ě4Vbؓ0 ۍr$^9w d_:>‰5*JȮ$K]!ouB +0́##s+>éƎL[t2Ð_y+>`uf=TPX  ^Puж_+w(b<5GZω+x anG>O/|mTѤn Czt:'yLΚkd*X@muSZB>~Gzk]ӭ_iY$enhıԺ;%ovbU+ksuH V}~/v7GCSA Ke GD&&Ur"[FRYF3{Da&$juֺR>8HȖoR.6$Eխu R#(O~KRgȦ>p6mgYZ14b682511ec39ee2a35956fb7994c3472f9588edc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a