SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 Q7\4 ]MSO_Regex_Equivalence:threads=2elapsed=547.975cpu=1066.028gc=41.052factor=1.957zXZִF! "g]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=iPgp0ghT%U}R">qAD []cTgI;ׇ z$4drwk97*9hx1eeJz2RV֍@ >/j[kMHU_J LkI,W3p_|у6aͯU{ 4'rMv.9e;eP.SP_9JdyƈȀW$*zK[]#`Μ4seVTfp=7)%2Pw\ 7 MSO_Regex_EquivalenceNLQ9/U9)͈E @&pyq@f({荏~M_g<ɔeVh jwMmޝotPĩg=b;[pǁ?8@|nC5`D>fujW $DB @ɚ&E8r"Ƽf&' ݻZ![z;cBzQa` h+RZ'c Ao*}ȊX%?mUsYѴP ZtŅ?_`2^ʹz ^( >g ŀڏ}ބ|r~b1*d3"4AYjr7q!}Qd! yJ'Ml㚢N^d(4׵X[ݹ,~Ӻ%96@whji@h_Eb U{z _9q^G*JX\՗c;<ӞبYL `8<.Π! IINڌFncIuܭtbc\ VD^w@q0$O9zbLzlvSsC{E鿽/ HZ:ymK._$ 9ȅ>2qt띛N^s>Ӣ2( VS%LȔs#s[ mԮ<o鏭O6HٳyG#xwaZNFX*I~tM3ˑC^ G$E-;v$3e¡F& 9v7Z+T {H!/516+.+kcI~ԳN$Jhw@(~BٱݭeÁ= ꦧ ?:\GͥUaж6 [U})Xz" -kcLC@Nw0^Q3"r[O/'L7[ZF,g#w<`deF"= d 8yĹoP{GϸQdCAa22(}[dEXwo*nްiMwj#}\݁7BSC$u;[)Z(aʲ' ԾB "^t8iĖ v9]p]<`1 -_{{[Si)JBb, \dIXKM\hD_]h!{KFv9 A+EtofTi#ٵwQ86F>x HK=#½uV$XO A Q7nFLZ Q ; 0U<ɏF;aDv%ӥ ķ.TUjD3Z4zBab8fb ijS-ɕ\H~d^=9)><[:\] q^18-оD/"$ʼ2%8^,y(wNgc̟sӢ.1;*Y H\ VTm5E.|HaйurB5MfJNJ^5?FT_^^$G9QʝcE\4 /#s!'Į\8 s, K )IbU(?i~buAv&O |q 84Ё'A=&gd~T#| GMq'CD`'ZsWDa:dx^fgOxueZf ylq[UV0ڰǚ}=ݵӗ8͞zh-mBgxB^28L&Us\z*4kYU|$3$ =`XcjɄZM_fNG hHjj? ^/H-ϔ8ln[kw%LCl#Yz> xP7}7B 3$"j8ƍ=!P #Qb`z,4(2=CΨxa~0NX臹,Hbu[袆(oKb}68$r͹f֔$\:JE{;9/,PRISµ7܌9xcPvU}6OCBbL,uxn$Xq-b7z| a(yE`rO jaxa/dY~!ԓQ}J LcVhh5~6VrM]+U'^dћyAq狍w6h AOQMSwh7&+ju B~wZEua^IQ : N<Lik'{B3YXL)lP}ZQgWiQp! Z f C.\%F݋3?ń[ ~X%Ypbً!u*XYwǜ!۴Ҡr@l-Nyť6tA݀u]ΌiyO&\$ퟹ9:=#%K]bfZ\lbN0D ̘3[i<">E<řk7g--vDh[)*|k0, /s 3F_K/bKy1.ݕsI vJaUG;rԸA'rtqeE֟^1)'նBծv䧂Z9_N ު,ǦNͼ9~is9U5lΫAQaY'˛%U[uzqNEkn}D*?+1j5Ζ/oϝPu 6WUc> u/;A~X::S[CTn"5ɡo>4cذGK2Cy*uE%5BNd5+oM6pph!)A ~IAb]n0`,:;6~#yW 5~I".. 㖹`l'\c>@f/vnMN~Kq2q.s=9&  dum,;ߧQd]κKل<{cBACNJ+2)kC)!#+$mwZ锦RGKN[xHpA|Iio DŽnvYOhEoOp4eb@>,S6%j -vm<Kqv5WnyS]0%Ž0 &wبK8qZV@ª3݈6G,=Au\߮,֭~u8ZgrՐϛ8i2~`ؕUIRyT^{$4bL2C/_)wZrI@˯m\7; Gf3l2]?Z:ckȰ=h; m$BD>^mZHA*&Qۖ!ĕ{G@sUø4+/bO-ĂhT^}ͯ~Z5"*2Xܕ4[d^͢ɥ`6P̨c})6@uG {|َPb_@d7b߶,S*kSrzQj2 )Dr99ts5&ذ"RL3lb։'̱2\^̴^h[A.+PGxi/e<:(mEbzw8h*v&=w taݽ_=!(C1Bp2L]E5-ftb?vֻo'@l;#QJKG;/fMRò7q2PW ŧQwJ qkܚuY۞:gxwC?>f7+ xtq`ыth6&Gi"2A 6?NzLP⨼qڼ>#r')ũ2q$J'8u˟>]}Rw -6@.BD݆[̆Y F]B;; ү &B0lukk SK)̐#)j6Q >Q(l=%f]}q2+(8!i=ư``eQe]V 0~̈}@=gB_BRcX I=%Uz:2"kDC,fd,JwE}si2Ġ͸)EWf;G/ Lҩ -|{tx&S=V\1=9aye!{l Uzm7ԚN o.3xAﬥn5={19\4ƈb2-7Cli"[_pGcx3Z6^kxlZ~jW~oָZW{4h8sڧdžSOp2-ҩr:+?<ր U\Bt3I,I1U5^?}LEJR"k4f:7vV)qW7w9{K(ꃙ)~ -NxR,'EF.wR (Z#mTȰ+xT#yZOc2 8dCqT+\=_8go-47!x& P:G'Ye%t~#;7#]p9fY-!hObhUG+"5Lo٥ &U>"79]G]&ܐA2 0JүѶ J a@tn)~hiW9Ufz{N~zBOՉ5r pM {P:4E$mxS,{#!w''"l'ߡ$t-긤Ӂ<p`kY:ε_wa9?ŸӸ#U߭qOé-|RN?Zn Wd;B㷷ɟqUrmd^5oEk؈]>%F<: niS)B! P~E$=hJ5@\ļ@(YS#Xd'_Y`I{:d\y_ӳ@`]{\?b9ݗ̰ipս-Xmִ"2թćQ^pj! ϐM.V-E1·V5E`0ֳ\m-=t.SqX@rŸh ؅ 5:¾7j*3DvEc9wJHo҈4{MCgb:$\sՉKq}̯ clW-a>+VoFd-oFVX^Se;<GBc`\#)rW5{aB=G?M8s(ӽcgX+`BSR0v,(^(Lxoa";kse-mμl8rXMj}epvMkCKp 7`ji}i =JʮAFO $P ;$uE8^KZX_Q!=*OBf,v $W.RWuqX, iEɣjVVp]2tNP4ǧT mx"dFHm6T^QRnvTh>Bc9?@hWE."m2Jvi@dŕ9y*rYA\uYWN{)xخPcH:^#b蛛B[2VĿyT1VR#`f|퀷ׂ?Vb8rR8%f͔6**iw72݆i[+P~%1+5 v" J ['/da4g_؄qa_x֘Dţb?ӳh,D^ KYpTlR#/9d9]FiD֘q44K25&R/ՠ9ؙ ޡg&|a*7EaEv?"Տy|w]ރ(eYhbbiZʸݏ+QG*܄ [ٸ!NjM:X3(?69k,I nEEwt4^{/aSX[IQ^V!h`w%| A$$It@17]? w4]v!ju!OcևvWJ*uHGLխmwE^i=!:b<6sϴ̧{xTeA# ?UT6 ˢp]+R |nU.Y*CS{TzQ< >n: #!-,5 bX1]\(~ sћ',y@qU 664xkh*C,jSaq ;ANpXCXw=15\+4B')ٿ]D7षN$yMͅ$RX3 K}ڂ72/XشYB#|%,JeΉC=bOdRW‹u<[ 'N &*~$ Z-+o S'*hWPmHu(YlYmk>1c E a=V+WbCφcrpkvgSw08o 0qNKG)7y?ݬp/9N 7YcN"Ö({!z'.F٭X)rb-Zy";F ː=~Lb{oh@tu Vj#P^ַLtKe\E^4|A}?kCDCiR^IĈGP'=3yNӒ]S2% 8_3 [WhGCkKpq[hͭ~! p% ^re5u%bN 0翀`um1 x`ԫ /I:1 w[86)bFcq"-̄/)ʗrDFwtݍk[CE`E} ?c hDZg:٫ ]}#va>4=*-63ǰÄD=O9Htx+ m̳TUDO [LN!mkS/ s>$&O+cDp02op!eidMS鴌j, ORAюI]l~xit=U;! RbΞ:Eq% @!$[`Ѩ  \7$rs@ϧ`D|o2q4H>3DnYpL*R 6Pjе>=·@-ЏZnQ^~zM@V}39bdϡ>_XܝPECT?+90+SVs%6Dqnsm,L6s 5-^.Pn.6 SioD'^awow %=-wދu!+sڶ>})w@9&exL'z?7&4,#gE(EkB.9LErW11%k*WljCm1xQ(a= 9~qMKFݭ.9)+/+9pt$Bdi-\mEvw 1pO@mI|6Ž'BV> y;qmor}@N6u*`PE!V}nKΒ3c {rgS+">8;K0{x Є{I'_ VCW;FZMrNs/,הe!LD0Ӗ`+\w4B9Bgls5# h-qEv!eX+v׍J>LktUWId$' )[.}%9q&{<ߜz(d20dXrOgꬄiA4"'bbow>?:]J[$U.a|QKjk< LIٻ3Gܚ@i#*\hBXc b̉8ע_X娶&7/ǃ49sE=hn\ >1JL-otLP0Y }~^[Qia&9wZt0~̰b}3FD6X-2MV`Y|b]Jud[I\.^y $MIT xHy@XT< dV#D_σo)H^0.MYG?ԪUo#VrbߊU/p*K@ 1CG:@a!o4"w!q%x5#᪪#vܱ/5p]Q]/L>"r^˩(G:Jj"O ƒKN\JM,yS*e RzܓQċdm Z?1p0KЭdGgZch'qΫS%n{6Fvp\lz{ߏJ@M?X∫j xOK/0+?tI֏b|w 1xVꞮy$KQ ~к+N=@&R$"2Z>d:Lg0z<\RC ر R~mɫ+SVOy@vˏ\(Pf@*nXMc(>%r"gX؋]x?S7ҿIPh-aui4AIn %T9AwDś8^"WKq{wVsUpƈSv449 Xh+*x]v N4w(^Ne}(}-Bq 㺀V?'^d܏5K\FoEq3CZf(Mg0 LLOoy[ʐOgOҡ$ԷTDCd˃H+PB͉f4I/OOR53mvWDV7BoY5뤍 'E'!^RX>r,h[,(;0 vݷ fxYet'-jH/VǚE)ve[7f^~;mTtoM/>)KFTV=VZ\׆pxA'P`L\nR`[ۺQQ>)ϚO"ETvMlزuߍveX/%mJ`ZczJ<詥5 nkSId[t 6 M =%~z"\_CETZLseq(C?,2=0r/+>JEVݽB1]0xvNs4n-!%vWhtj]ڤn`%lbnF4ٕܵ< ]`i!4yQ_i sۡwG+7)X^mG6!*>S~ZD'IoYfA@zXG?ά!t")l+G6ħOJ iV ~/%/ 7:&Q$MR#>4B(ǒS&|gPh1 /k\M!dJ+}9.:1L@p-0"9 Sa##w> TTSlY,A-,yziQj=N+xmY4$;kz} Gz"j5Fʹ$M @ Ex EIHrݏcdh=d;ۨE4jNcwL&c{?1=ɘu*QH_zL 0!M!RNM;ȨjZݰ< -G6iNt kߒ_ laZP[?g+l]EnqLRB[WDinZ:6M-7jDHۦܿ3fWEkv Xfo0{Y>**_50:Lp>j/* d}=g TxWy캷&XFY7VecfpbnĢdxQȍZUW4GZ&S(:c`:P` `8ɸT^1E*8y-B=K~$XVp%(WyH%AʜVJZ2ŢhC#Jm}۫8 sMgJ+L$SHH]bƴŵSYW[jYqviOqyu dř7 y?KCqWC?.=V`giO'Dv@"|s\}) XzDV8o?Z/J|~{ϛ$Z˕ۺ^R5\* Yz?P2RzgDn0dx':: RPrG*rc!T}e[;TC#_[؂|n{C?rkԑ:+ Edȶb;?πGlȣ1ԉ F8,m[tOu3ݶq1t틶PYVO<8-S|_n7k^{9kJ~=V-)*ђ@ j$%s (]Lߛ%WqSkʰO%,lT~QqmЇ+ #$S0}ʎީ -i4[o"$~G{{1P *_;\U^]/EKȄF\ PH$^E4%@Gٚhߎ>4W-40\(@rVhI27֓]Bb-c8 5y;Feo6ᅪե PX?{@XDP/XE099:PqM^ԹgVͥ[SIXgAx<"c@x]pDڡQbn=9֤_q)jWE$\dٌiVdY^l=(=@$ʒ.Q #aӺo&ȋIǪ׺T_o1Wcۍh7q?H_24!lFvn-3֟UZ{*UY#[QS`ƑKOM Lޙmfc-k`[;R ;x6=Pqj:$M`IaK-M+wӕ> =p^˒pYQzAm+{wⳑ"> z)dv3¡[pP[8:L D I&D/XPWP(K<`-R3.phCqnL'1w DFX*i|br\ Lߙ1/nkh`J*O3e`N4@rƷ֖3xKcc/I S wn;L") k=g]^ۂ>7O&?ShP}tf3=D]Ƀ99MΈ'bbÒ^aZfƛ;0lİNZ,QL!r$!i{?ߣq k(~=$YάELX*V(qZރ.u&JOB1$$5ME Ny~զ'U¢X|x5)LR8y+."KgΗ.& aI32T! [[By#W@6Υ45QΤD_0)jUeVG|=EfImWRYcZ_4!0W9QlKq+L: : n)%tSWme;&&{5EPr~%uH0$azeiJqžr|ѯ[GϲnVqÝO/N eFUx ꅊyy|,0*:(xR?w |.B cD|#MtcP\ x *nܾV6h?4Bn)H;w9dz0 oL ojJzZ0ߟs!nk$#>J&I 'ǗyO|*@Ĵ4 09i֒٪6EGN1n#Pw9_U+ :pKj&)Fv{[b<{=3ChLJD,8Sii `mSq,ͼdǻȈlP&P NY0IEuwBڕ ?JíSni-eQݙg5z _[d g6o?ZǹYzs >+Km4Dc44Lz/WikkY]pv@ K(xK L]Y}l)'ɍ /dSwQOGˌDiLVi)лͼР6'.,'A6gQ*$+Kghv"r/L#L5&s q3Se La[ɭA/r!ropլpQ7L3W5ۚe'Q>4^cjn(Sd> <>5*Ptnck^" _W-сJv*QuO5Ow\TSϞ.`\z_9/]mes},j(W}.t熯c aݝ4Rj 8&ml5+T~Y^U `0o`߭|9O\[*ALC15}';'Tڂ*vLڸjo Ge&מ'4IE0x+ڊT%k$S& [! (L8$+?}'ΖUP 1^/X^^jżhI < 5Aw8RH0e UER/)CTŸ=3}ܨnV<; LQ1ҪE*( M^{!uG^J">,;N2>mCEnHA&T{P 80$u'6w./ZSMÐCr$9{G 'Iǂ^nϏW 4iOv$V6St)R윾*?H1 uUV jG]B@#;_U(_R0XŃ1'$`&[zفx]kɭYbjJ @4XXK9{_i1''ރOxj>Zv=@M$: R"ba\M(8f>( ]/jE `~snJ0CNtl7l`6]jS6~t]xqXnQU!բ&~̏pز1 5I+9ݜ_hHJww.:e8آ㋆?"6>=NH"]:«/u#@C/H8ƚȘ r0s☝z k46᭿ G\'ʝ˃S80>2lUA$#. вT J/SDkx\kżt;XzmN;{Yו-y*x'^`)Hf:|jZ;ys㽕WV_΂ڭŏy80BFq "$o79؛YBfTTJ! YH(ѝD&k˩| djj%z}䂀7.o'LV&xQ ~TVUSӟOu@`γT;v4Q|KJ<\siGq[ij fc}Mx\ s* qr$e%"N\3˽ptkެ$ IXE9~yXYkz ? "cd}~@yM;q,q$S%Q*,'vnLjt<rQ#"l_nTӽz.פoR>iu TTn]XM.,[nu /C >l`!zTz!SOu`f0>U`3XQ&&Z@;HJA9{h-_]iꤌ{M9MڜSF#q3".f$qv~ԚZ8~A{]O}~/Zp:dOPv86,nfqM:ء~)ns)IND/~[ӿLp.[#S%2; Xuk G#.+( wlGG͙0B=픉- WGq䀵,=Zaꈗɹ-V2RMP5kU ]YM\3xcUJ+}B!?Uq<}RMFho:_t-8U4Q5qcgI!Ta$FB`+W#X>dP Ed~&_\> N6GgS{4Dd>xMi/f>ܡm}*umoަ{%֔aM Dž38=`VWKcϪH?jsjBbR:m&753VR6NpJ'CRzA`n)1! G ǬO֛CZ o b'AbOmR zQvBJtd[$ 6AWR.[~=ODIx:e+2SZ? w^Nm)OF`?Dlq(Xy3l/KJbx;m^,,JO@޴@VܩL(,~zW5m0 v>48v!+)*|2TP |p.?D)DX}8ԝ(V=f##&NL6~w..W@jes&C>BfqX8usNZȃ+Ee 8}Rxia?,^u">S=[Πbg\cR, ]9HUñR6 8|<FFl2ae=17,졟z69lVFG("r[E&ԋ;Iu_> 1i{Ԟ.5`MNsРN9lr|fȽyI#j5zL"y ~"Ry<_k^0g^;gmACnZ`Pa@T't̷fq+v;yddsdlB{tJHr>}'PˆȚMKF[~Bsd} 2@oz*7fBN^A|_S]`_˸;~>}20ᔶ}V{;6:uMwc\} ;LǸ<Ԡǘvtf܁Ľ Y6:3YH įU(]<էc|cggaC/П-ŽoO&&"ÍΨ3r45P;.6I買"YI}C[P :Pܖqɇv H7;_tƧJ]~R:oQ7vN5;H\{y/I`int&$'wZM kaE:S 1v7Ѥ-HX" Gu$?04ڮ9QvcU;-o؟YP G03hepc[2B8 pyܣ mBQ#Si,@ v!HR\TV/E/~b>de&5xYtg\N4|TVe1)!*'b8H5Z5>ͣ{&IQo'׭+0r'|ހJr PN=OkO]4z%B%Nu> =F,R8"³*vYZpˢ b*?L&PcAV}lS}qۯw4፰BHd#ڴ=o!nD3K[!/mn#QnySs0m)B_ !r)CB*gO|b0amank^4[xeX(G>Nc~˙q?d4- qRh8tK`Elf7]C2Hub 9+XRBp]PV-k;_&&h#8A1Jh娀 V{Y`jGw:4@Uc5べZڷKC"zGa#;hOSK˶S VSM9^eIShF/,(k (k)o;}A(6`"ޟhCj/yRQWjJ FZ][ɳ &3e.t}8{Nj/H/`HBs\J37M3%hC)ٛeϧu+<[U#i+&oh4OԼO)Ÿɱտrˏ A 'NuA\3%<^e@CXpL7֓~qxUh5U?bqet၄q@ZsSMO,$QNO^YE*IܤN><l\}ː+&N YVTVe`,v) |s\k@3<>_i\;A1) dz/ĆLFS%~pSg͐wK;zASC2lm%B߭7Icp y<3f8}GT2D,48g ^έ]~RLYE_^2xK 01D;ֻȁ#sNq<^rt6i4k[ $ hHtoUhHbݨfPep`GQwRW}y} 7ol#dEI\']w,)C6RQmprQ:;31{NW:iriN(#~ 1j w)ݰ|6xa2Ph>:x! iHoG LMB |1,TUȆY}.NE|2II@-@-a'eٛD|uMre4R2pw6Wj*ԅ{a]m~H&!# t2%f\dH!*6wIM] WvߒRIQ!174^K udVCgscAEɄ%p블s(OioqHn<$Gt +e6jf܀Čٳ' Od*OAXĴy=s 'AYR>+o+.u] ]?QEu +/wHcP:)cIr %Nszuvk*xD>>g{_qmPIJ -+'.0jt}&ʛp$V_}@&i^QҲ :0="bՐ6W{1ޓ$1^Lk60;ؚd(py|vӑ"eF8jzaAҒ7ڕ{pp1==ꌒ~ɻ#ѻPe*7?Z_ 05"^&}cc(XOnISF.R#)mk,I0'Y)gSI$Tn쫣k>_6t Wʘ`>q5}m;˰{% `ꅩ*qx5']2GŗƉ!fH8sE8ċ/8dw< za_8q<)bT8 wU|=R=EěۦDuԄ]mkhKIncʯ"_f>@~(i7J]glUs /prTa T4EZ(W Щ>pff*u9jQJ,O-ק0ӺOnR4LIn,G1Azfh=4h ~Wfmy/!㚴Yw* NDGɱX !̇zErfcCv\lߒ`Ǚ_m#݊!DYdΙJc<QY8^T+jt3B"qL 5UU.J'~U{UnpV2k*lyjjV a 3aw_-ӽr*yj L t=h 38D@B@ nc}g _qH[%T'۸)|裃g%1AҎvSI!i(4kk]:O>f]k! ?0 ޶~Mfh Ңh6yPT ~vTVB;;Yw*gm Lkc_ Pj^7.<> |殑3ř?L\5撄*.p9^3-3BTfFeRiAPhH+n}rd nyD4??߯T= ϰ sb2^dOHPz}_jL󄓋Q 7Tfvzn1Z1֭bF-y")91mYQG\6 c/#]'fwrPTWL h}̌,:!pl/F埅a 1~[6 ϫf\AAD,?r㵘ВJaY@MVu7CT&u6tY0Ru[gI~^]ⶫ'ZV:o(6 I+ VՃ,&Ёu"Fe `P ߱%X0BCRJ%~]k*Λa{#YQ\OTR]D_6d='m{үE g 3V0kUV?1ǸQXyCErD&wdi>|[3#٧zO gY}#>nI}OVlS4;Ư*9uqbіrڹV݇FYu_LPkA:7XZdFo rw9`ήd+x"\mO^Vӱ&B~r~R:FhbSŞ ZϠĖǴƵ錱m8SN,g/bFԖ?Iz ?7UԆ-o~Бԗ- "on)O;ujRaQ,i^|OMq4'9B8aUB6^|woos9FĒpO0<&>.09D kVԚFTCɤ54w&M`Am&JF+|vuL>G(&fClix,)o [3)C^K2H*B'AZFb#Cyemt#mb%F;-xڧJ{q]6 {MNؐ 7J/wjmoqA8O.J/e##2 ˂3*6KoJL%Pajat.`?L6МQ ̎]''j5ZZ󔜴,S ;e -Ё^|j .6p6#1iwjCVa7&2)S[=ڈPg:&Ēi?}*Ӧe t [5w7;d`/FhYOXwz|J\,y6S2Thɴ^.xLe#/P:6A75w3} -_as*L(ŹiIR`/#E v&KSmnm @nRwQw,LlaV:1w+aC<К/&P! &6pYR񹚅sr9 9a;!FP ȫq B 71Igj*8 p A vĔ*BܭR)zf]uiLwR)*V A$1L,Z7f*Dy~H4ޔ}%_.~26!FcE;ˉ7 L˶o2T5 )Du06qV!lzrad%ĸ5"6 uZfFcB#Ȇ蒆#Y^FHBt_Z@͊|m?N<0hj%%#:WNl2֐' ʷBx1^ҀC[+EiPO̼N!л&~P cѝSzbOp:%@O!en.ҍ^TQ^\AdQ x <[ A_E"+WUvA^L T6͋ܨ$YS-ANeo4[t MDsх3r#|q'߈!-_bȾXTK/g; {wnYYb{;} o3Q6S r}m~v-gjA}dkF w: GLw{aSx)d)*c焻>HDG,$ҮM[BS\ %+ʔO)N)/Ƒ2b!LN#.DÅtiǝw Fn!<*Ud.’ҳ:nZG9jX Xڟ9vst`Eb S`suLJW/xCf,u(vSSl-h!rJ)4sc,s4@,ua$<)^X_+(X>r*\׊p7 "˾<