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  % %/7,d ]]MSO_Regex_Equivalence:threads=2elapsed=803.355cpu=1045.744gc=42.488factor=1.307zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`x%]/Umy܈?S`TR(SsQZPvov3ϭ@l>*[ļ6!VYB_< 2*r)hЁ=v`ȅېƉ!ǛAP.6Aqeꎂ~H#s?[af{uG-<ȉk=֘c"|EU' e"Mlx!sAH,{$ALFvvN(-RL*c굒 8lg#걗up>8 ҆TA2;p 'b)8F5W9dD{A*oYaq=ӍfCל5iDOY%f n>֟2]m _x Wsu%~ZF 7 MSO_Regex_Equivalencem`G/ԴVKh_3ZK);U*&髆@Qwn[<Y7hB);M9%VH#vUv/f_@yw,J$iGV喟n#l.0'Uf ak??|^PzS- o;\^dKt暌!J)!y>*&V7zhj>[Zl`vң߉M#h6ԍ/~Cn!]@BK^} @yT?~!+Ɛt4<±~,Dl'i5IgG3KiA$khr:08,Sm},zrc]sut'fRqf9NMr ~%C2BJP5$"= c;G}BKuu4YGDW/I" Y $k^M9W5<н?Q/Nxpj $dz&=?](*I0j3I D ;%O;;]αq*=ĄCUyG1dV+W0$Ī[_Qin(moQYAtk~$d夓XH`=#5]a!2J W#$;LQA6jY% ɭʉS˅n,,wzpXS{lg` 7#)Oӽܻߒ3t7Vb(KQ=ثH5+0ς,ѭDP_ljDK?/ 4] gu ;~ىuGS&-'uk8{BthҒtKq-𗄭$GSJlHGtklN$aMq@ޛ|yn)`ᴪ6Tʚ M' Ukp˄.0)?3jt):dBUʚ!࿲_V2Ė$^tH^a;E2]ڶN6; r$zNEEwwGNN5q~f#8"f,5EXRSH)iH*B?RP*61܉Fc>l$]A PPOI0;)и__48(mp!?wYsL| ʖXxLbm?SD䬚2ݽ6ag=@2_.w Aߧ7-6IQ1>i?a6uvn&_ߣ@",m\u:lۘ4epQ\u馫&kh*,Q|dBuP;ӈ7)q5t=YVf"V w^d18OµzS7L=TӞwdUknLKksgt"W5<ѩX[گq̌.=Kܘ~cL8x17d6BOjJx{\icC&)IvM2b3" ΍$+c֚?~]NȬSjȀ#Ғ6^O7Ӗ^:41?YPs|@~jɁ XއK p˺HtK L1l=1$4idGqvV9\hD^>z+(l}صa[zrUE#W5xAq( wn*ɇݎ D 4dYpWj|*-i}e>ܓ~W]pqLc倷 I3y@b61])!Rܦ2MNx%NnžOБ]J$b}*DJ'田4}P(Ahti$8e`@2G6E*dc]H%KSR)~u.El$/@ r=c !ko4ȣ_ ថ Ȑ;?t]cz`V9qy_*Nߍ肆)QhO zv)fgZnÓO>&Yaչ]| :6cIrT 4Ґ۩J6"?|2m]tL#&:a'w^C1aêJ?~甲{yIQvs̭eNa ֖z(6jPݬGed) kar@ )oቤWpԽpg}DR]~W~tz.i'@ddS mj| wNKq$KwE, VJ9Lrp1ׂCÇ۬7%$v< %=*BJIuQ?^j?_/b_G%9P\;X=p(xYMƆ+ M?LP0 }> o<0+a5D v6CxSHȟ hdE$(g7ú|O~5s1?a07U .Îm~xB~T kGɇ_VaKiqDW]l8TCl gYZ7zXZִF! (]ŗXi%60f,xyr%)c8 KQt!m7\*BΫ~*Xwuv(Z ,Z HgVpZ v*cE[d?E&Yk\m`2疛B~@kā:~} (r|- n4iϩuW|7E]e}В[mZg.%8O PUZ=}6O7>qEϊ^ b3[Y!z27a~*R[Vae7 C6e4OAj{^%S k9PJ"t*E>G8}m/6,f?L q5,^\۫qTc'+}*˭~I4BHqs~'7`'k;seL:w)¾).Ո5$ZIVD:mi4fo>W2ZJŋ0 б݃~d qR~yՐC0-Ha:#c`ԜW2s#lF@2Fj1Z/Kyt7s 8O{ Ki=pEřzӞg~v]#4=d$eg2hI7Z2VB0#3|1)+a|A7,I_XJ7RK\7LwJt*Ul)$Bh'4~xjTTLSd^.,v:̘.o\ 6lL珷AڭFu/Hر!ǔ<1 bŠ){I"jú`'iAY!5@ taq8 y`x#/6J~3%q(em~}2dst#0:L4Z1s3eθod49i3#%M]dO~lr4B\Q-R_t>v%j8 4䕔ZYtIB]_ Q8COr~"@H*v'sIMƱQtQ'f~_M6Bf>nh&jy#O~&{?Z\,KqNe"C\.ZBK"v;7!\uaEF]I0çm3V(;P# t/Ruyr + LNYDdPE o̵˲$W 5g䱓w $ɡfYi}3QxyNy5)ek!M~+$܀}T(C5^ %f`o HGcW@?ftnt i۠"KcwE%5gGAi^{?0Mq3#+hп: h[6ctNW+t{PE2aP^4Xzoj!#ɯRHEV[\Uɥs{y(T: h6ؤEv{LS 릎y#Cc`]֖ڠn1G, Ls}M44B3XZl'΀N`ݏ|`BD +{zšf~&&,e4u{YP mAdoj&9Eu4F7xɋf}-RN,B'lCܶc 2Χ$9* ҖB1mr{@Idt9j?X:U X1E 5RD<l'PSXE9[,hOExpP Y[?g>g`Um*@9_+7mQ?%kIjÂlSrn6~;d$g"K,eWP'<\kzAjGZnmRLWD6)S yޕ-A5TaN~JC#7=2N],D5a@@! ӻtaOl¸OQhμɛ gz+,b9upi/$hǢy <:$0*L`_Q["L?6,[`v @ [yRz;ȋz˙ vGv(>ubs(JA~̨֜U 8YYnYm?F >F y;覤jo< =ew/ov.FY^"- /M,HJL 4P@ `y;%%{3޿cJ}?:%cpeKc*e)5=4һBWjHmE^}Ʃpa|ڤ&2|!ts[ӓbU_mo_}Pu6|(6^72XӇRrFWw#*gfMGU+*6Q2._(tvhy}u [ErsDBC>ϲ->~PG|8b ޱ>0`ȗ8Kb OsGf-CHg1 S]iUY`ro |k 7 hߩ z^ [ɭ]_IujwV * ROwSogL6?%S[gM˳05B"*ᚮ̯qB]"{HuL䆣 :@?t9 jO U{~k#͌~c{sxSqa?tYg~j3HUAwJy}wDqV:AwHheN猠L Ք`?E_WeE=A`er[]s=n o>8i#s(~xH?A(V`7~EfAq+ p2`+*4/_G#&v\d0 х*gu#ji(p6ޒ:ӲkZ ^J)`GN]]3n9Ug|"]QîNήIF!8tCH{60~u 7HäKCTx˿U.7K&2.2;,=%PfvSC)G!8x<7ݠ:GzRfbfg|iOAOT1>$eha'unܚ,j3#&2{%=Z\ `&vу5;it| F^`lK~_[Ae5ɲ,E#qA6:{Ͼl^n Mҿ|WB;GE ʤN#j̼),C~`XϿk\&~ɿbsx_r8OΗefm+(N.1*X*JxEh;~i8*lS}IJWJgCkءXlčPbnnQF[ā"W,|34M!q*;RQ0IIۅ:VSC-VЕ)SW$m1 vvt1zAo6&OG@,-'4`WsNvvW`m,3fQ_>qIO"ܑ[>=y4"t[ v%h9}5Ȏ|0M7PW>E&(rP9oiJϜoUj )؃`ؠ:,9%''hs#rJkA~j1䆛7?q,!ߊyx@e k#Cmj>PE 'Yvc |z*6<JRx3 ɷXJդ ڳ3 &Ӟ zVEtX1nR׵Oprcsl/bK(A,fAbvU#+3ğm0t:{f&MIд 4oo%7,Ewg oQ|U딳[ilgZ ` rwb>s };yz3UtMد ~ ]E9X(EX?g<~^W(.pawFCe>Wҵ#Ղwe>?5df/(<⁥*ڞw}$z CX \trSUdRMpG+LOF&Aƅ+/]M:sSPlE, Ld9Oơ~aˆ $F¼%Z61a" < m^\ٮ,t@P_[1*-l.8(SVIE",w~Q k46.&N\7iԴg%̗_)x0 )P%Oۇ?)%TڦM~AJl+L7-O3? hof4 FEb_x-R|FX<Kһs3 :>AXTqyV~{\€t\Aq)ˢڧӹG/dZ *ٰedny pAt`ZBo#Ӵ~toox'8EU@į;Ա \QIIEsJp!?mP6KWQD.p`ULh٩٢ Ҧx"xOTN4UT8w{`۾#51)փ9˳4d r}Y7>?-{qo ԬQĪTp g앸&/Uǹ/inqE"FJAcLn vsd%BB(۱v);H.Mƕ=A:\#ey-2 d_=fsiUs63Otv/GkLAcfH ,S1&徖Oݍc2Vմ˟*6jDg(֟Q7{"Ӻ['KOܽLO!'** w6o (}3K;W[zE8먜2q=ŏ[>*FDf dB~zpR[ň/ }hV&6LF+B~x X~FJqɳCETBہyȃ)Ca\X!paVY؍m%Q"Eݘ'XP5g9 )O"%O{h\OVi]Cf^ /QZG6xmװPY㤯,oI/J9Co 61P 'Ew违qXbیSέl9Gz:GgYOJZSx q/_N]{<61.g9A!fBΡRY-@ EQ9A䵊`q/ɾT vFpQTl-U8z>[z0~M-eg\' ]sIrjʷ WXϱبCu`M%tʑz:\TX[㼞+UBX9Stʞ)`:(rؐTRc( \wU~ggOgmI%cFK;0TPY>e6!݌%K |sGwKk99mHL SeM? U"8xw q=YW\rTsחZ3"9E=а"# \d&,Ʌ⃙)d= $&UUհ+pb_0f|eڰ8Ṃym +ZUo/l=Rxnѿ>-UC8O|/P#Ʈn?ߥor . 6dYtVŃOu ElU9aQ55T hbJ!>`SZ:[lv>-..P(HgԬz"gV/T92w=!6)iH2 {(qEr9Rr %HO&r"F-,<9E %l1 -Z?&\;l{C;DŽHVVI> J6r#U^}/$ be$V\2BX Ȉ^ t">E"kGb $׀^rY %fyȓa~/ǃG9+EӦWcc fY~pHPAgܢMM-,QfIuiFiN3y{#6@ߏv<ЪԝJp/鎸ow .bh.>=KE֢RdQ3 2 ˙w+bI$(:[P^{kB}4 45T*f}FOGYG|Md\T3#Cb}ğXKR3d-l/;0?%vMFvK(>C9*R~%FvplpP\YȜ$G uBL>%۽{CVy;A!1%JlOk77aM $6Oe6{.%3"ՙe>0~4vi*{W09Cv'eH'~]ߘf]{*Uػq@N^oV~-6kxxԳyT2m;kVr'wrY p?4JI#87iMnϷ)Kɠ;N~(yX1POϪpSϠ{ U2E~5G JA9'd{k`σtXQY9nj<37o9A1 ʨmIvʾ(kPQ~8 \ !%[Hr S-rU*Z=F$t$(hM.5y^* Zr%ݱ蒘:1ksc$< O L'+AM}h"/mND6`cTȸ;oLA|eX >uYvYHIò Pu䔇9߈ӕ&F78fk* ܵh|U5L0wquRҤJW1 #m>r!@YzUUY41T1sTG^*͏ x#5,$l!>pĴx|tQ†6tJ/ufI }d)Yfii:(5:Uku\ ~vBPzV,vz z"Q,Glt#Fn ;Ά#QEm iLzsK AA j& "T 3)nmqG^O#"z꟡ݲaƅ̿Ue Zُ*mi ]xXKJaCZgg&,E]^~gc˟}{*Kud¨0=ݟ-טW;B=~C&F$ &0mɖ+qծƊ;@.7+c4^L@8 q@}KusMGqա1fƒR O)&%п'*q>Zmqc^IXnrssHAiSa/KVW1CK'Ռ$hZV4#`GvݠV1 F dz+4KɂGW(}/൥N"Jܵby V_+ %0C^tge=={F()ө}bp C[WqZ.ϼX3Eۂ!`h=U oo0q/`$O`W[N060.k"ba{stNOaC9w}3RRħj8Gt>ūc<]0.Ǥ1%RMBl)'uvE클ͻhjw8.ͽN\6ޕG< L ߍ%yv"AIsS:ްrTaPEH6&q7\*BܟֿD::Co(6uz.32jY `ev|*Zc8QS2ШjHR}%^>5\R עIDGI<2y\;мvGgnk\kS +?"dB*gt,9(nuoP"uX<6W#0 =tݖ-vK}϶,?Hg*z [?bI 7B#_Ӊ]/H[@/)`T \| FJӣ&:UJ0<%Yw}Ppu"svCDzynot>Tf' 9v(T7 fRk 8=UOzXDsl5%'IClUf0Ж3IHh9s.% 7d6N(ʐVm:*3lP>$p,Ä>Xb7}e ܑd+2CUE^$-h +jtQޯ0h:iTF⁳J_jX6# e\|ٴ3;>QԮnىXO:O#BVʀm:J'bĕo$l7] ,rBU̶3pEY8߷H; ks~/(rƘڀzVu8t9m hKMȗkTr}"S=q VtN ՘tF"ja߮2pRi=Rc?3 QFm>F#.S 6:Q=beeCkmfWakml\(Dv上Y])6n?1$FycAD?jɞ9yЉViSl^d&s!Y@F𳌾#`bxkϮX\%9'4F/frE9wA9irUv~#ʆ f5+) 8y>0yU`>cBn;w<<:Gf1[ D]^۽qkq8 5r8,ﰱS6^|9C7{z&1Fl{zYv8)s* xRA hIr y8Pr]:-z Rk]z ֚Px7ݛЉi`j^j|rT\7Gܢs0X`4$'O?0[p"y^:QTk󓰖@Yj ,Xr>?6!})^oLXھK$+25;Q CLl4FDˡisN0i75KdӮSv+;idkۆ37јܪcNfk;(|?Hʍ+LeP8%X cwdhv _r|oV["*<ӳ'Fi|0*lVJGnN2fiVi^3%J{h(Occ ېk I yk{ ~i)G@5 .O$bW-UP)Zϛp8n2a*Df`2Y 3y)^`~j\>w_m:`~dS>6iVG2%'3P׳.V a-B:8v9!}Cዬ~ M3|P1YoP4%CP 'IVCL_RaN2`KcrvcИ+]><j|79CvpHڎh%Hwn&5`}Vr_>˷qB-@EUjZW%C(9__AG߈RJBg 0 WǢZ۰1'%h&_AdI9\ܚ͏4̇c M"4wF `OU\Ļⲻ̰j S87t=zbhΑGD&[ /E/Hɡ,tǗY:oʅ0Ϻp7F[R!=_cQ^g^3|q GTQt,$)dLk!,Jy"$6ѥ.ɀQs#8&;ݩ:Ŝ}a+wD ;f/jMvn3Af k|wcm6Aˑ\,35+LC 1ç>G3;eh*vrz W#gkg mcTFఖQڬӜfL Fɧl#z/I^sG15t L d3C"f]);˲Is+g{{D A Sz[!.he44E݄b,:7j2#CG)S Y8"oa@ mOc sJ'dD`TWT8I# ?}_쭙zv| Ipd4"F܉}40cX J1*fc!hyU] [?wGE,B{ˆ?GF3R$,R~lH֥rŌfP*>(kB\I;{%p%i_6S:2dC7:}1i1*JmWDBW`Bozcmh:A tV(tGQ% =v/~:ܠ`L92QS8( 2%NR^Oa#1+H>x9zڞN͖tDcJ:|mE.Ьk}Vrw|-afAKeD/cx{UA[}Pg=/m["a (/s!hКsf2{WWnqĘL1kM;(waWSg }=_ujUcՏUy^GNHHM%F'C~`h--T3E6Xge6Ek^SvZe:t\Q97# f|k+y8YydV\=<󈂮 Ž=5lGO)~Y^0._I_J2C,& %Wo6TfޜcચOٖR0ix' 7wEOOR?ت.X녫 iBW mnBz@~ -I'{ԩJr弿󓊧00]5yzwı|MGLފWJy+(VXff-iS6Yb YI |~&ޡ}zʿ q|>on5wfTޠF. xbGu% NrQHLLdž> {Q.o{q\mȚ>xeu=:'*<"(NFf5a{Z؁SD+0%kek<Z6u`3!K>"E$[J#Vau_. \MrZ Z $p(^T8v5FnfIm69L~XmShp$!A¶~._bl!Ur(5 a4A63hEy^͡Jrl5=l<|;> gq)zG0@  I D'ʛ՘j9mnN|T)L. })%'y:*V&%D0lÍ8%YT4o(, +-HX :x|t{D:}<+ok K !ɡSGMz-Wfn5ע9ng=H^XXk+Y;@Jp4M[t8t{'0FYEDŵgl!\iyf[AÞ'ޏmcYdhTr ESy݆л >Ag3AjRF<;2c}nI^OSV$f VXVDL/?HRJ.mP]!myXG-`69Cǟ2v9RPye^fkhLP%fܒDA3g;,bs:aI(`edTu5ͫؗW1ln\ҷsB[qfb*&<{E-~(DCm{@gR:qJ@ڳs 38҆݉v(fZou<[cT gN3 }Qx:\e_A-(((G0ix74_>!G Bۅ\lHm[ỾO*UDhx!ӵ^oU?QBo`ㆫ$^ oJ 827 p?øTe8՜)+'ace~v!,ЌI?~%m3]> #Bazl@,ް[C*YF ۛ@vŢ֯Z?2&nkxv#QLo#G6sI 4ݽlBRT q Zݱp=1K̸F}tՠB Pch:'W9%O"vx=]o^a:z+d$Qvӣܑ0T=p _ٸeޯ C2 -g=9uo'B8UҎ[cB&[!'Ul5ĻJFP-k%\DG`~'d3t\GBFԂTh֏73IekNmjj,s+S,T3|R"5*g N@-C+mrf.5 qm71 Qت5p x6]Du;N_c'*Ps :-T K<D\3m+u'!'| l&EQ*T4@ jx˺斥LsκL=z5OZ1=R/CWŢ[Ȧ.dd%'oVt! }#41=LFMdV{Ǯ`GNέsPbt!#8HHuUv+څG??cizÖ a>#c5oD #f^f'Vz$?V/PMhxK+Kr.*/pl`?(o%y$߿$g aܽ^N[,yrt[l s?lǛ VvNHR/sȨyijaĿ]7)icjL&mA&O7>35ڛ+(-YYs0\2uX>6bG_&ns36A q!)r e&g|^6 ȤSw1Xfs3L\g h`dS,oN=L@{^,U+᫂bR *رIA>h&u U 'ό'{+cK-ŕ{mP̢YO^ $Njֹ 0 4 :}6P$zA# FFe(Lp!'7bMe.6+rUUـβKIU0E"]-)b0BSSe>aRF}]R|Ǘ߾4 gðʧCW.(eVdZȣX/ơô}F7ֳT V$!ǵUj^j kW<`˴ФfM#u\ao` .~C~ l~ܪME o40orY#r#3h*"ǰ`8{|.{Xd ȷ+&'E|x`\(Ë p9twtеΏCQWxIs{§k;h?%יEؐL9Qc -fR SK>jc3 Vxjq~W`)MtiGF{6;`ʐ\ b_!IhyeD $T mw縒`&5{<Ҭ1\BUpd6xIs1V04 RE A5}0ek%$/F(_J*]K抖 1@~AUR;zfzx!ܝE~oĞ ^b-@"n뾅Wwfz"=)-;7 diD6ڠHb:~R>).U߷ȏb}c2n6ۯp>rӺϲk+|QW( ^pmΜʘ`#p6Z_l^tQٵDFH7ۆ .KV~J~7#+3:EjIS7 $O: V,iK2wڥŃxS Bŷ(zJj+O3U#Fs&LW;lE|lcW|%^sTs98h^F~HCD!KF&:Z5fRWJ9()I:{ R;4 >Ga},&D+0]˽LӅG 1bjo+qV^hy\֘,D ݪ٥nt0JqeqEq]H);hnˍ(P&aQzB9Z ړ;9+nBiuR6ndLg-k7Wס5/Brx9& \9^로ЄOT*vo3L4H!$nD18{<~ƝQ'OKDě1q9evsupS=`=j)*g6#\Y$1Z? +#xI/HeJ,{= qtl~)TLdEo-\A`#ӘTʊˡ itff Ih-(#Y aV9]ΰp]~~l*xOÔEo3pgetIek$|PZ/Ȃ!yh}<>JNT'2HvEExY'vVl.(hh,Eo ngX>6uنt)A&y`rQ3SPikTufJ>3ChAbU)SnM$"!ř?< ž V-fJ͇sH`0NXw?, N/oaE-B"l\ߺRT 2EHo%^ X1ig$BxܦZ!v&Bv3̚glDףڋ 7*'L$M=JutXz],ݤ3ϔQقM9Aײ&;9ܨ?WH8w4N"(5?XU"f&IukVXQZG#b 526G ǀvmq&r㕓/{rh65NnBDl{k~Ix EIgFn-)A(>}2:bn1K /_aX ݆8YP,OM{%3J!%> .f]ɼ,?ԿDb6TjLVZuD^QPr37_JLc)LWaW樸W^6aei3B CؾYuV5i%@DԻtMmpCDY'ss isܐn>A<胟G=4q#;d]+Vޖ Xn7/%cH v V(uRS*ڋtEgUB7' x6<4p" FQj (1 `06;?[| &54@ 5ceCp29zgq N4(aHߑtB/VT yHHU ۣ ģ3IGEjw.Dzݒƚ$ j~i|RBCPuSGV }=#5e[gԱ I ™H !%2O* N4nڜFv#Q އקXQL;cuCa2rkNdRTդCҤތRf|xS@ŶP0_w.Dq (%#q09Cm?>!=- Jʤdp°D.;ZBROU3 0<?_?Ͻ$/G 3SZb('{'hnCע5E<{Y +\)Y$rpHivq COW^bK(^tOig#> nK.7I{"}ʺ.mAFټӌ+v5*.] #-hsKQaoSG.ƕ"F@3$J0POlj1d`6&IH}NdP篜ji|O;]FKP4H[CyCǟ(p풝wTuܑ^&Q5`| 37V(PaFmQ;z JV&^P'b]LfrH ]bb?=³Te3oy#p"A O/}|Knt5]AAWĹL'U3۟kM^ SŭM Bkʔ EjdրDٙ~Xs5eHd9~snG#~\F)-\r5ZbD;<4LFH_~. p[-= zӅoY#܆!D7_pl`D nit Bb-KлVYϵ^E&,0 nfCtNHK f""f7#C5~&EV\颭H)3Y'AB+?Iו1BOWr3lRL""Ia$vXgɻx!c!  5FTWO ZC5t>!M_Ɏ9X+ WqVAo!H~½Iz޷J2 D乼]!3̵RLLZ (ux k17T}тZ/?U LLw3 UwV#h5؛jI%?pF$#5]A7 ܉'ueEM'~zyILHw Xh?ɚpDErޥNyC@C]-ۣU_ rM 6=: C[yzGfxFN띭qmtoRr)hR*e)'p-$'ve@vhD~[N)E(vN/[rx7^FI#Ǽ֟24 5c?axo(>M핺QyҀ**Ozy t6$4hC#Ug|Tr2XdȈC5`-D\ft n x5ԻO [.ǧiϑ"ȝ IV3 RdBDq>;Ӿ6[L7nsjkz I w#tUtJz|΋mm+fa _x]dvqɊ)kDg h80⦎c<ϡrH}.YkF^{~e_?U V9[ Op݊ʂ= p׾TWy I@w[ yw,0i3M8le"L\c>Lo$<6 VeLr}j-3HxW iw4 0pmalǫղ(z 5oU9 $>0WN:&C7 1vF7Of)Ml۲jy=310١r5IQ=ACCgp^J3T x?ͭ%׫%E`O2<&5:/{Hֲ7sc-/V/AJB &@RQZd35AuGQ 8!2 Ρ y#4_%&QX̐Y] Blо96%`zTC+-~ \nm)'M?M!&bQB5nD!:u:~o:!Z%( B]TjtsR!:H~?ړeiO *L'jO21 Ȳ񂒤pIϢX#(ıtǸ/^t\tF"NW]Q&zc}s],Ւ`Sq8tT(bJh| _Ik4/x9Pyq4OVIzV'Vؕvo_Q%oumA:aI҃tۯAŷCN}K:XIN&9:bFf&,E \ -* *xHp+dxp1"N\\g:k h-D-ˠ`9wu jlӇ|k RKtF='2[pG}R{ӒSzU١"Ei@ nW Uَ[WRaQe}HF:BowǢ’K9 KX{7Bx uqMR}ݹ>;ك6^4 ١i 7\ݟ`o<}y{R|`əay He\5)}m63bi;?$y,!b Fy %DgGr.#VQ[ql ?`,{fODm35fcBXuL4&b0kiryBb&)D2ӻ UDse"d9Ҭ[ |O&&-j;>`UkJFrZ2% jm4d h NH`WF\0YyY (Fo8 [PQ^f* }m*W;v\'(l?h2Yn Wc5v*,P^|ORr\p.= s ^=m'+6&La ݀W=/^Rg3 %lӲ`glxKV\Je_~&#>.}ίa& 'B9]s[l8ly0BقPpfkWOJpC=@CkP?`urPڒJ31 @fEOܨG$Uc#[%{Z V!n~3v(Pb,y6|YoWƂ+]Kъ\8uz$JX_K`JPtEәDu%)ׄI0&aqDElhXTw7,n,5_l¨bvf=8o[8ŴfbW#G=xpUaO~Ҥ gy|E&:z66 'fPLv%Np8U˘~[}疕;^c1?H0w^SӶVC7ߔi@3}Tb.HJ `9TST昶-N;!8wތ~7py$I`?ACޅt%mcOha1)ik$F5umj@`i6C^Jk  AvLmnzRl&)7)׫3k'm|Q6VdqrM9]b\I=&%*G@xjz< d;ō vSr bLx=(0~(s@ BSp!1з5O889yby-O>婑:/7F&1 "_'͂EBB-^3|3r^|y'۝~KZ`X,S5PGbmyW z$7-yW[Qzn6b'Q+Om k-,ͰkN74XS5.KN"gO8<9$Cߩ3/`'lZb"CPcr0C-nEzLc/I&:|jxT .-FH,(%>:B{sI Vsj |vf'f~MqyY뢜AB)eKlR7HruD# }vRhn(ےa=(<q@XR'L'}!*uDQ?dCx1ְJm廊D>',"KQ\DIZ(㤟VЙ4; UD!l ǡ+~2xodXLl=co6WM^߳pZ `<tw'\h9-]zBg̰Mj)(pZ8$ 'pyҋ:q!9RT,Gb\|B9ddtiZ٪@X4|ɘ=̂R4ڊ Ѕ1k"> ꞰJvr^+u\Hjm%L A9=Dﭽf>_gXr==OҒkWMN"나릣w6(VhI˚HȴGPu`An[]7VXV d?:1@_yPXo|ǧ..ET5=' ʌxi{[*vؐWשoc,Uz& w[ >3#"d-m*;\eċ>^0 pp<v7_/u%4@&)砑Ňr3#34 S˨t7 &˲z.Ly8ԎY:[.|>u4L6jcy8if`XLB7?NѨD8% `'t8 D72twr|KAՋKGHh;jVVlIzPK4奦[eE~C4y?a:IRuр0"/WmZp_@LJzIOcQYgF8\n|e^ҟ:`A¶cU~n˯7O쫜WW7o lʵ?Ao h m8tk%ͮ@G@lYUS'#əřA@x$H]`D}. /\Wxʥ˴Sooefrjwiom;7:UZZBP hӊ|ջ-6bVi|h roW-fy^O':'is *D>s$eF"XRxv8uЧ eA2nnTQ#g'(|ݞ~zyͣbc^(+I6hsK'dw#i2UBk(mͤJ#(5j[ -Q7 Xjv>e] {  k0/A;$fKAO9 b1,hEUX1ԄbW.Syfwwočn Hc,?<KBⳎy3-̺Y̥/ulCP] Jw cbѤv٢zeP3- Q"W5@;1F qί$#^w1|cMD:( s7`,8#RE)Gq@`+ЌIFqV~ άƂ .|J ڿRͲ Yb!,xzs];HZ]+`>s5j>U#g^ j)] :(P[b8sY|꧁>/Xxx+ivdֲi$np<%,o]gF'1[M:B sU@̳~c``. 6=QNI7 Eۛo 3~$bŘ"\ibi,Wmu&PmM~,ENqX;씯RmzWr #ͩ^7BQ91!A؇Z;. 8BzIPeQ@zʝpz tE"(j ?K'iB;2^N)eFMJ\]Ê El-V"T5k8Qk I ?}bWiZs~qI;a,"jޛٷPV?LXOQlq.`,:˲GMoe4J<'õt%-ܝIU0{_<0 J.ܭP D* t$7(ﰛMr 0 Hh#/E qEAl6D~eg:nj!+B@{(d9_ƹ**ń6`q/,b(Xn Lx0:ṱf؃Aڦb\+Zi6eZmAI0*v$jDi ̐f.;Ħ)Xo]^ MCBޚPoХ7IʠJy_ށ}syAvi_ɳoj~l/-x24k{$ݽ@ѯİiC`z宊 'U@~xyO"*]*1nۊ)h@Ȋ-s/  &UhLV lgIv@1SBsD~E4^uS, hY}cck8>D=H"x,;28xZ-HOPCT'1MrzTa|nHw3[Pi3эinSxo:D+/ }N&^R_Mx€oʪr7t {w,,FV'e{{v@hcDw246ٍ3ś<#Fɹ%/ml '!Th8`%'}Ӫ~3h2I7CDv<ָ{+RǒB߷=$h:J}vCMCmѪ#<@}#O+v#GC0N0/=R啨ZFi0|Lrb_RPP`ugܢՓ