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<< ]MSO_Regex_Equivalence:threads=2elapsed=816.446cpu=1047.164gc=41.136factor=1.287zXZִF! ധ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)D;I_\0x{q2UX@<;H} xHX7IP\׆+0+Vyud6Hյ>R @lGjlU̙Y EhĊ '|3$zUvUsw@L W - '/}},G!Ub@;_5(Jj.4j-T>pXp>,[>e ;s}m3v2aF뿫ByFlUPv>P"2Y8 *t06 F$$Ŀx;N\"~iX2vR',KH7oY:]אj!*AC+%TfE)]1gGb.țf9ܭ <^Zl 2?l꬯{Lw gF\K&T09 (̖KGJf%{Oޮ`uTdec x4@w ^=L!#ىґBAC8֣ö` ]+ ޓV祲fEmEb޿(jҍڨs>)gpؗt6_Nezک D"yR"!k9#?v~{XJJK'ћuA|vEY;6ꖱTFgxa疳2p 2eEm\txfaK|,T6 d )|br0U nmtI!&‚Zvnt\hBi%.2{MV6d+0 Ps:0I8A)^r>]auK[<yt.OWt2FZCgʺVK`ry` J9':I@[ #NN4F5wGż:-jnv  `fa nrj]۸b0ӫ{0T [7ٽpvΌ:G~SU?FI'㹘I;V\Qa>Jdb@i9VDQ]XN rG z*adZ; +̷xq"cN!~t ڳ}V h{e9nƧ8.Z} 3ي\$hdQc?7NDV|zM Frk!~*+.Pf'cdEҷ(EUQ &hSߜÄ &eb6ԦCj ?%=p5-Y|\A-,^o 'yNxM! ؔ3^vz{b({BpPJ9jtWe=S!p…CݤTD L[vJ ˯5ݭ8 F Yh*)?,)?: r'bw 7 MSO_Regex_Equivalence"7jvYB.C&_dOSZkť7҇!b]l@i/-P;oF}YEGe & %$Qh8gda`%eJD6QGj.F" 8bKVsZCh*bL$^:1]aaV/RvH]o0wGz4eq NyygI-̔#Mڃm d!& >.k Pï40!/D=U"EIi J1@I?ej1$h~or7_~H=x zAYJzL({P9J^ w?MZ #3ld.}UcH aJT~Kc;t{o>!@f[Ss_a`xgKwAKTfmOՂb i@,&0y5nS5fM:~ۊt3IK)ά7^$fn)gV䆂N ӉDf;OƂF[/V<3GEg¶K2dXhfn 77RS#kPlDnz !S1c8hkf OS98irbu߻^>Sp<ⷎŏfcK¯V>: ^5}50$b8Q ogor[O j)NfgfҟԴޫ,EpD ׼:w=:DC=9L?'O5aKeىfGXo|͔`L* K9!O-0hҞ|MQlD9q5)#k0{z[bD~|*VLOzӪR?zfWT{6v-aCCSpUj8TjK{s_.`@p\ЌQ. :W-ة_9&y,Lf$ju#co?Jke:.2B!__,>Wڽ2[3QVuحϺOMTdM_6vRs: 𐭮{ऒpx}bdܹl5V3FMV/Kv+өH| `rHԢ^tC"E|~b`.ՓŴ,av 5-5BqF+Z܁ hЬxn*yݝVx yS2PZTcE-YI֨TgEt2r)߿IÜݴPA9>bL BzGgYZ7zXZִF! 1]ŗXi% V5B+JG6!-ba4\ D}V܆jY'$L*LcY9~@m XZ2nr^29~PTr2@ ~X=TG^՟ߊot s<=27psp_B<~CblbG}`*h112xJRF|f*'0 Mك)H pvL1\U2]is\^ʳNbRVc~fDoe!ҊÂ&D#bztUC6t%!?dj\0]ioCׄـ4dϫ=UK-%*W R,5}4MC,9dɥ /|Ĩl(^ٛV15=5DS4][nN(*5}iez5t%cy=SX ԯ rA{e]TWv\{Y]<_{ۚ%} vQp,xZ jpV8-?NJOultwʸ,ª 8B\}LSnkI h1 uݿªZB5dپaù-iF{qHL>#5d3%Oaj `nxYM=Sg S"7č$Զ{CS\qFrfTӱA_N+o6]lnPG1VySJ@sˎ:e)cl!mC#IQC?`z<}9ؼmkkteataŽ@_O-F;}*]aK$OYs-V6HZS d X35s靫q[q},TI5[x' [UgCmw{  иʘ9{8 o=v@߂j䜺63x>̨ Tq 5+@> ~iSPu 1K[+!fƈGUp)-Ek>1R#L=ipK@8Y,3`A*itտ\g[#RRh0w Otf!1ퟓN=cLWO09~P82n\?BgJuf^Cewc\&n]QnVLZVW ) OQV7»K]hJ=]8~ӑϦ8X\f% "rFD6g%k _ZRCWlD(H&vx[m \}9$ "PO@Kl5 |˨j+\F"W>)i/?T`dqiEQx;Shͷ=;}i>}yp/| O<*TF\ckx5ku|φ`Iv3KuqM#@8vGF zY[ g{4f- H#e޿ '[L 0?w,rvquXHx7O;\a+ $24yPD6ԅ Ǡ7`H.·)u.F04}_4*U DN p⛅@֖LސXj)Ȫٰ1UjİNBM# _*f*Y߱C- qokf"ݨt"lx0x­s&eH;UQvҦYZ0J&;vfծbI e 8@a+A4ʜAFL,;8o`d~JKX sQGKF+Җ9`E5yߪ&5[wݕ~"'D}ox@spQ9V_>^rKݛNrRA T&pvPts17L$A8,jwFgVm\)5y)Tk,AˇXS#F% E R`"ET";sa$T(Z׸*3f8(Gz'T?M/ "S ,kqPW6Cy]< C OF{pP΍**|XDyB:YzՉQSPD +ئyU5D_3ٮ@ Ӎ=&=41 nj3 ( a&yq6m>Sˬlع0)'v|Sb(χqy8 O!;Q, x w$x*SnE2cZJ*ɵz!)АBD/293!uAI, 6y/0DMODJՓӘn k&"FZ6_8?w--jg_,>@'|6p@uÙƈґw2!؛Ą>??G0PEr|*hRbiYP)X<ی;|[SPҔF]#&Ԏ1Oe颞^|]D12Dž?EMk݃2wT6b4wAP={M|zMi ,U,xt7/Z@ u]`[#b"N*X$bdx}b⥳?apgc"9=b|2y|mռJwrPg8i|AsɥT֮R}n* %V壇_2kmXzW}ɠc{Z=% ]\cC˙rk4rd'^3K]G4O &IrZP8Gӛ E4{څ .ov>yϪInHZ X6&\*Ԩ"XC&mi`A4sa ҟߩx{R&q3Mk~(Y7n75IhJJ I%,ԓh1Y}K y@("nꨁ ֕;4 g#yC(0ϲZnM!PxaZ5qKȅO>i@R`D%nLl8_aSWbizRvRDU>8P鷹$xhZz ڲ> ɔWiafi0_/gk<`< V]وWR/~sX^+\=b&<M b)b5" jYe$t5MUa{R"}e\S}9dOb3V FU~7z(C0- YUH>:u1FУ.lm{s;OxiQL'G xJ=/(rX'NT>&-,;>MKzB|QIIg:{Pۤ@Rh{|z_/UiZW &Efvp$, -}Ztjwߑ?cfeo'7fBgʵb4H+0sŰyT.ȍ[0dWuNrkj$rc܅{vBYgqm @Np*?g$C, W4EӔp1`~iiM>zE6 e?UCR`: %x<ҽ }N96gk`~ڡI!8iqDuWX%ӝ9бS/3Ari}Zi>+J' GθZ'E#SaQY8<4=)^YǵD;uæJ%&+J-JA:d(7Xn9b4a#hbǂR+ʱi BEp+@E bjM?WdtCwe]N[JM߲=F]"zi<*į~}cGʕ/3vr!޿hu*RTO`K=M}|]~d%se+Re݆.e &D=_aiSb}DYM>ű0βs[I>֯ҼSIDJ,$ (b>2j"pxjёC.S\^!>8ME94Ӊω3B*DH72VlIauE·zOO Uޘq?9'|d3>ҐR$)>HGoav#}#O^IXߒc2BVvx3{uO- yUlDp8g>OOiopg){̩G6J)ƽ煅!E]Kt:zz30 [up'u%;vh"* Ol6K>WTj7m$b=hnUK&kMU)Tg_h+dbP$XX(wm|%2+cҵ_ 8"J]Yv`QҰ_홉G.k5K/c&!r>U IVM9pI o qˇN&},e(v+̠a$k/ 0aB%?Zl6qM-i F=TaD9cTva\1=gqOY|hL !f|iT/BTJ 3 hE.b^L,@x={D'[A{5|3=̮FkgW=cMS81$PS}7Ӯ6gBN9 Lƃ&@S%ee߰i#S,޳V2LclS2=.U;AK%Z]~?\ܲVGs,/qɥ((*0+L (ge -"ˏ>lkmV*>'M POփpx1o?g)2nsL҇ GxȒCucIHBρ+( oɦEdŵuLmx>Fb>) UNf,s&?{1r `[ Fa.Mޯw .@Za7ދey< XA4 !Sdk!qm\'K8H :F\A9֭[w-zT)>#%SEsΙAp\s<.X,܍o/Tn'Xya":ftw_35ɳ×P+M \wNR f;$vgrQf2E{T;?E `W . lR==Uo.nl RDھV*U9UM.*p>'{Y@@)!DeAc;#PTd?OE W詴,2N2>yF5-B1$fMVU2L *c(E~:* >G퉐w|:Է4 #s#/g:Ts6ե[?[܅Y{BͰȵ+>rIgZ9^1{wG/E˛AVzVLl# M0VJ8/c>1iv-vu&-EcRу.nzk6.dl @sXzI^!ĥY$^ ӯʼv*+HvDPPsdu.?%2\uKP1JRcɔQ?@Rǭ&Oл Eq}"m sCL@A%Dδo˺4a!B*h13gp\G.fkjWP-QܐZ氯i4oe(oOV¦TGKZzN4L-Ln"EOa 2Q(s;%;JC wE$~Gv VIhF/X.f>7:ZS6l[K|;LJ adڪ-‹ <gZ 4})DT`XbD~_0qE!q"$j{.u#Aj[GDw q5.8W^d{h/BPu5 dHl"ѳl_f#n;U22G6䉗`r* ; Y e6 oM~5a@D9F+.Kt]@f֯)*?!tϾpz [@5:O| С"u3Mf.ԻTJʠ 6B>|xEÒ8BK5|Eڎc&E9eS8Vʑ ].9#NbXnC6eE|`*&/:D} P?m%ٹ'[jnVm/^ )C_|u<_lCtVԵrV f~GU 5ԇkmm&'8) yBwq q&N WQvIBn'̜}ʲjU9\!bې@}yxY\°eߴ)H4p(`b#;ChCO;F#&-q8BNjݳq0Fm[}C;A3^cN԰C|MPU,*Ԕ2SMίoC6Q4!}0Sf 1E;!Dg:pgZ5+PCӍWB`c nHV# !h-NAuEU-{ii0$##uo ( Vv찲xO * {&dX!F }3YSc{(CKFǠlRpҩz8]uQZKvb[5Kuea"ׇ{rk9O88/3cfy)fmDSE9]"$D&*hy:1NdfDq r9skm9]< {L(-Hp*оJB VCTͥ5c u$~`;ν4BaV/鞉v#(_0rweEbS%s*{orhddnR<"vNcD .^8 in7ŘkNи1Re ü?2l`Tz&ڙͲ^qtB b ָܭIH4SË祏 >r [9$Дް_Ε:d({aŔ$7oP} y jE#5j>"=Z"IKVۊUn,{5+kٕ@r=w66FLnj!C=>לPYDĬb>gг#U8~`9dxj6sxS'0D(l}92AܧzEL>ėXi 5.n5Bux!g2F27 6 <>sܫ`gq?o]p@ |UlIL^ħ6#s\'p!sbEe* QP(+"j]/fߢ/ɩG̫X(#1rrw>i)S{Iփ@p H=L+v: afWw&@+V71J_!h0A4Д5%tc >3H`4\~ޔj.A;0^(pS >#Z2J*vw9;-cK,P֍Des¬0eKr\OkS?bA, 0y _^ QE?&>ig)A8~>']#v]t41&,xky9a( ?5mkᖚ,4{! ;%q&=MayyE/еpZ"Ń7r:ʲ$?`oЉP8xr| H6}_6B[蘑,kof4YZ\șE' xNqb`RlZSU[p0vB 'V)_(ޱ :ܰ֙T!i>wx'|O|"ƭ /K^ꆍДlf]cIJlӹ1K##}fRE4lb?byU4Fe<* vrVvC{="-\y'3a?Ig>fc79LK |;?H{DNB=#ū#4mMXѨ/2U FSuxضtNZ<8l}#Ʌi[0GXiY/.߳S'gU"6p8+SP{ dÖr7?_u4ٜlp|Ѩr`R9UCU@)Fyht!IEA%JFK:[XlT!,>b|d&T"lTTVzX{#Ajʃ[`P uS$I q mmKy2^\$\8D0p8֪EeCEO1p dz(5nm1tY_k5X6sx\w(tNB@anu2sf٠zhyr+:,[K])pkO K,V*(-^|lm4Djɖ'|4txXv$xIu`>λ$-RE%)5|b{-G#;3KauD' W;و_$my֐n*  Y.ZbgLN🳤:'ir1ζۗ/=|j۞'9Kwlx02[ aj@hA۾8n 9̊BAˁ6SW;rwqMп^ަJ$%Iq@1*]%Y[r(5,Dt&hDKy,ʕ[~ڗ,^|4.•Ľg' ZispyDɣm03SR25֓8` Ս\´+V(;P_4sBV3Ӣ_b]>(u"r}0Ao,8_1C7 }ߙ[ms2߄u0=rwH[9 ms5:}Ჹ3nf*'e;㨆%XIPD_Gm c AQk+8$\!_c@uJd! KuD \A,ͷ_r ;r~hސj^{ /r, ;#е|HnrRceTy8[혞?:KL3Eq.j7 ߍ*6GO]3U;Gy=v3-j?}'4u2YD9b7'@KȀd:&q&Wz?\6jje})Th]4VF;6[ydHD3M qjRɁtr-4*JFgG}ە۸h)R 6C˭=-Rz鷒K-9> =8:y+8ߟ``uRXYGi벹ץ@mڍ&?hUv9T@닎j[_XX.c?3XmΙO$i"ab x©CKQ0y{/0j+NU竬`% yAZu3*~&0iF+gh}</>tMWהbb -w8*1$F$'N6V/H&; r}QUP5[shs`6GFmX))>A(r4QC 4oJ&=Fg,Y`G)Ir3IM<[yGk!yQFI',a ;7I#$d8:1Ʃ*%TSHơk &{17[:HVwJqrowxJGNGdJ~CPhIuy4VZ^MG[+-{.y24I&seA 5cFT~ՌJ݈b7eh--QR)jQAǜ8k* ;PzIο/ZyM<\/e0$\x8BPANxΰ0)ģ<\]\zfX~Jh\í>D WV׭@ܶP_Iur zP !Yr2FCcELiA$e'jX_Q@ >v׋3ljSNʰ2Fєgx[e)7ݰ[9d$}XW{ dt 7=H@25ߟ6T6<-VvlHLMmf:pl*!ϟW\f'yhT6f%8cǝuwPMʧja(g,7$Ess{kmo:^B]!{|n;,\N7? 3(l(A}$yfES۫zzچ7m-١B=jDp]rb,ǹ^3kxJǠѧl/e;FM~/qA;gFy/Z$YzDo'&{0Yu]S*;QI:[ȡ2HUʜY/v-99Dz&N.ê7)aArZuhL.x#!Wv-ņ =a2$`G1F5,;S5̕`!wu\\zųWPO!˴L: 'ޯ~mޏ-Rc pP^=:xo:^dl.` 9 UjYw| )_hդ.=XkD]qSB"O/ {/ADv'\$fFh꣙tbe%eH=z 0t;HXs"Xahh2 E*Gͱ9Vjsj#N->YfC nvmz1fXrO]Jymz=cH?.h.(k֌bԻ͝ER9jyF48 n[s!{Ggp/S(DK*:G\B) a^&Xp$FzMSRAbA5K]ĹG ;g7aj9 Od! k$pxZpmC{ O (̷z$xъuQCJzld[O35c=;= ;!P9hg:3Lh2;(? 6WJ6{[F+844':pޭ:Dؕx~R0mdRH].Ѕ 9c3FB.܏/3oBzAuŢy&`ŀp \KO9< DoYxx4J=7# \ ζI0`l;U=*ǹHq21 ˰X0 2a!@vR ҌD|њb-NݥU%\ +$C^{tTX6| ~L;Zw7p%S/ml &_`) [TRS`n',ugRaI\!QdkpG(Q -8r-d>jߗLBŧ%_Q*#Ȭ<CVxJWSKoq8C~1x;Yt#09]F6yQ NYf!1. 6KYV6DfT &h}] 1ڗ)~uD8=,:^)3$P !.+k>l0LZ.T{O *ڪ3+rK%DVSEG)_:*`o~u2F6p]HT>l?5PAqf8=]&6TKOOhfUQWn=ZI||TYXC۵sy\D rXεuPƢ&:6LyϟPrULg Zy-R/5t"NeY=ڷ# ~aل.$^5Cr~L>]L=O;`G<{&|P nk< ,cT@bp3 H.ÆVo^/3Kt{'mVC 6C%]Q D44s8ȷ?/knNLqW8ׁ'fBbS(|&aR4d۱2?ܰkIt}yr4J.ZH!S4rjqc'Q@+S-,.C\@6[x+pިoEm6֦zN:%ϊCҨ('@Rg8&&_68N,K+,?,!F;sT-j!_./>_j e}] ZCYw}UPs= 1ERsu;4 TЊ`= ̗81Z/F ^Wxcs@N0[3u\Dgѯ2Bt($6/WsKȲ%1s=CL0/.JI$nnL)&@CDcC1.8jڿy<|XN%CzH"mCEq0I.vM`LӽdTU| ~g-Y2!fGm8'*ev{R  f::wUv8$a:q9рajZƇK$1 J ?л+%75%F:QAS)uWjTK73Av+V}߈ 9sszC2?HNWٝ%W:47ˋ]N .6̶qߙ⌌.9tPǪ<(Ʃ3ػw$~IU~D??Yx ;uJ"/wx>ԀLwG 0^ZHfz\,>H<˸xjqRHSw9[e+h 2hz@1dq#HtP)+_kcn@qaE7ǫZqTa&OP$.l0Вxh`PT (kzˍ$:LߴĦM; } ,8dz%׀ys lۦ*eE~1`EӫrFN.((ka}#s"S_HRwѽNmy8sΉ8D8v&C{zċf fkޅx5i-M#€x/ZPO_mCa$}#9.~:ʖZׄC7-iєwo,`B2xF SO#1 T6.Wg \m} L`[::7Tar QdtE<$rm%}ymIN[yHAVϤ\gϖmwq?/zaAg+d[݌ޣ +Ekοi=5Bp<]1:_K [,U7|җgJ I =)Ab}K.B#8 x1X+Wxb!x@1OQ=$0v S`|"p"E|F8)h.^@ZI5ݿF"2)g}3<\ھ^t._`tpW_Zg(U>5oN?N50K,QZaVx?*x![PV`?x-_ ǗD[P5)Ac?Bj Q+BtثPC-8s'rn&#K;z@(ڱ:*\m rMtpȖ߬XzFZ"mz7JXe1D' iC*sfY7оw q/}5: BR}"*JnH:UoouK E0F) Ymtqꨎ#ȫjR)"_4LnJW1[_z>pasJқ>qpޒ$Q5p1y 8<S#:5Z85YտR@ZM bO˱o0xIsh5j7;o{1GJt.LŹҾ5-]i`]3+;kK,W 42A=}Vq1.؛kԘDg I0of j{4NX܀V jM!YQ{l8- B ' rk256O3XHLI\ {;'M#{0> ZJ']".Jc[z Լ_4h@'ܪS>Hea'{ t,)I]\ - `D'M(׭3&]kո[{'kf:gcLrR&}F~ \'z20yVqj$$,4n6=Pzy~܍ s "zȍ; _dEDng.bB2)EjƄn8{YƢV *kQog"7%ux Z03"zrB33}ikI'sp !B$ptǚ9@cÜNGFCղS<ЎAnvLK}?r.ί<n"n߸i3Ρ~Ǧ'҆#3 /T,,@[ɧOa?\qY5V& sZ4̏apDf+ʸr$ ژ<vG~V9NϛQI4p{k7tvTkޑ(ʪdLߩRi;(RVY;Ǔj FT4$/L-MoRiG^һmFdA۱dg\tS{Md7 éBS#R0[gH8eMUR?hpt,xa@~vAuҒݞ=:dklA??6ÏQZa g:Og X&pE7nZ;j鸵i_[* 2,fYl* J]\zxǢT|IGMݹLNVSBO~4w&6=oB I;V|a4=c\Dzຜ2[HN=C3HM@ `/׾wqRJqQ״`._݄Rէtsg`UgGnͰ{ڡL|nįJ Skfi4~6՜{ֺLk#̢ 5ATƙ''dW ZFEmݏ}= D{Մ<6+W=>_& {4~C:˘P",M_u\/93teoeH_e^6y<&A[?ֽ29ѝUN#ЪKCC3ur*dߞ5Ω_ԭ\, +X [玛qMU~U.I#Y-giw|@x4GƤw'o5Iέ qA6}aUy1 `fv# *BbUZ6_c|QވCP©'^lofhOd^Q =5H,t-}  XtA揮8cpﷰfKY[797hLp RrZxdGh`4 k LGez'`Q!.==rj+YΛgO`v9UfVcx&yemz$GqJ݆="8'eE07GlnՒh:py'`hC2R+R8[ 䊂b!M]>ݔX!{*YPhggÂtS[ MF;]bhh)DHI=hb]tzzIGcr8擠LWwy"~.*(c_gA'}ɉĸ^6#&fjj=%Y$ai`7Ok ʡ¢iUjod󕹜 F0=g/U;0)\6FEԘW2UAw pv@Mz,$mXUﶌw~zz: RcSe\_1vg7hVaBn~kac6^~  Pup&|V5"hBmU204dmWǥ>R랮n38HMra 8fлIHP]qSϏNO-ep$BeӍg-rG@6Af̖'n2)ny^j~ho^#7cD=#GvdSI1B a6~i R tPF21%j.|F*JO-Z;c:RonNlkj8Qkq5dEʸK-YGYsW]y뼡 go@/H݊7Oo`$)[)֗T(k'C $:πPDr}M@^,&}$|;P3{oeAE!CK:3#՜'V(A\>)ep<֎3,(X1åkCrG{g10`;c23σU7U,d44AjĊXʀ*7P!GS+ >eͫk Wv0,؝IηV,^3(WU&Y.f86]~ÄFwh' 2&<*#!XJyLz41]H3Q0A*q I5F T\lᗤDֆĭK;ڡ4(!  g)arj[3x~djKm++e\ &ZQ,rs_(nNs%cW^as|~ OxݽUdMYq/ʎV~w=H)n"XnCiV^Ň{rRoOV$qm"Fi ?W 9))*IڡGVX'}ү>o}7ݴۓ곍M\B_1C1֟/>Dd@ZE {)v~Ǐ "Tƹg[Ua:} WuTa2DeNmk 5Y4V_եLA O0u_$ EAٝ_xْ=>qK d='ŵs7J`i'Af97g Czfc3B:Ԋ=xZm~-DƑnaJ!*Q.UX`IKX[rx=ΒxsSG} ɺlg ĺ77*֏ny.7J^$Ps^\}&,[`Ͽ|\7_௜jHxy! tɛe⑔\ƿT2`.9Hm1!wXf8N%1\`K.$X*6MзN<`ERh 2 6> zlF z֚t܍i2!~sV OZg'{hFŊ g<3/\u)y%JҴ%7f"$Vtߎ#.Nb )>U{ۻm R~nD['AamT>zn(r>O>2OE(vI]E[ 1bpoY!}]IM2@e {nU?j*ܔ{$t hP/2-Zh%C 8:buj Y2-k 2WY{Յ݆Skfl{Q?ӟr"pUu FfGnHXr>jxxWQ@2{j{zatge ]r$Ӧ9ew1ANf aEx@:C1P!TmC^<.2)X#oμۈ}i ,; ˩#7D3!H+m}V ]'}KEs1w_E>y7/V(G\U")ċHp.AJ6 67`ta1꽦kQ߆_3 m]ᅥT>'bb/1K{Nn i9Js dڷK'(Y( 7g_yLlx꺡-;mV;j8~W|#w8%7Fm idH#l ,p3𶫜WP:#59C7)n'RU5 <Կ"֏Ed8z'ί&%BG#ObٽYl"}Fz'OO-cv ZWⓓٔ&"~ 3ʎ4<{2uC0sr,Y#~d؁QdZx-\`l9G-E[If'oEʣvXVɼsPG=#~֘<N1 iH:\ yϕ&:~7KwH7[³ .C]j--OIwF1<0UZxfh8 ˬt- O$i|umLoac7-#!9{N#~&Y"N ptc@&8*dMz{8ޠ`#,ReBu`*33b?f?ѵ`z"4k޼{ىkMdAw?,cFŵ GƨXkշr+2^V[qd) W;!QV}R}]0'zBz5OcdA->*\.a8a#38fĭA63h)!A8}Q]!9G𴈼ґY3ҜJK&TyhLjf>e\b@I8tnXPb"WܰT$doXp2JjـַEN$q \:?InI #f}] }jq9` ΅/ΈyW=6G2H|D2$U:uTK3xVٛjU挧tp9Oq+mOE'Ώ|=Do>cyv訏ICPHྙ7!fts]YB-`/OUmgz놐 pY&k31;T6IjHq^mV8q9IW?GnM| ݗƨQMğ=oFp˔517/O^1"ftǧH#`݊![4Cܩ]jFV,[5xuc{Jàr(|Ϙ9Ocŵ#Q*?&3̭ϗղՆneӟaW< i۬>Ex9203 /Nw8GB,<|YmfzL9/pLkdg,Rو<5X{` lox)ǼjnE4D+hcaŒ0qKb%qD#%&\5Ov3a&x߹1=z:PDU^ńMTGnEc6$ӹ _^sq- FV2s=d}. I/ EZ.¹u;-jXрb00-["|̢l d34owdb]+gN_߳`[b"91h<5 t,mu=akkJ `!bRc v߻_rEI\o`cyoaY..ަ;c93(RЪBՇsC3cB'`n\)ONx9|IᣋًG$wqޕ>uZeQu,>?jW)`k#YiZkV68'iCM|,90fA#34#RaOāNX0MbRZD]Coq8xJ@M_K%<ّzx"z .($ń="i)0RqOb"YͬT+Ӎ:bxaG\+no;fV# ]Iye^g"PSxYn!E*4>!wuI(c JwN׿ #X91bAI7jNuoQ[J֘ϝﲦ|mǹ+8>\L:j&_+ 2dLӖ)W'y[v G~EW`$ _} \?뱳0CwX VkWHG IRoӸha;w.93Z W/tVeoOQ*ڽ['CdTUC8w@&`(v[+qv /S-36u ³ 0&l J¥_A4t|{^U,rd< 8Yl*X=aԬj8YmW,u/07刁$>dWrfmM71m+p N:ؑH|U=͖@ќV fAu(<9K4x348RvKcݼQ 0!DV1S4T 'lwmsFrGjhb(Ăd˘44A)Car*84\́ a6mȫzE(ſʳ>@qn;Khn 3J/VnJy|92P5@ Sl>^!k"4r*/Sά݇yapu^ɰcPbLT]Tx%RfFqaްIp뾱/eQD^2_Q%eh-KCǞrSdc9 U4[f,W7>wGJd:n9)AKL&V{ށ1Vn=3э?E~LT= 0;+ȈΕ # ξY]r=!1]s9=ZmVh4ڷ eH/ 3#vGf#8#+i"4P{ ~2Ұ;KL y(kvOn2 `a4p,'a!u,:Eh. &=b{/ldCU /`0>hlyY?J:^hZ*%6,'gcN\^5O.IX@}2p1T2y=]auumB̔s* \%_ϳ9pR6;F*I8y|@=6'N_Ͷ>'nnIuOa%nIO vqSGT軈>J/*7Xs=WզL(Ď#؁fʮ8?R:}9kO6#KcHˀ2/-N#ۖd^X"w.NK;3׃#L;#=$i;-,ٺSHYeӍC(\S>8z*OghqŷoU+pY{N$?kczc65DKn 4ڑ17&>?p_TBd vObKjiE#*[dTpىj`Nd˰8/+V?Pt1hnfS~؈^%/ʷ3k/) яqͧF'ɓTa-z2oǀ6T&$ug&܌?'W2Ie SKJpmsRAawi]IҞͰ[B%>R7hBr;Fh rMLt"ݢ2O*}f^@[H%znBuD3mI'jURM@H,Y LNG~gnJ3\%q&Ǜ;F̩bUyIqUK]'QSL>C>ʆl}_yVZҀ9Lb:3̩R}9!k[~:կpE/NXP#.H]^&gg-fr?첟U .ZgO _`o ܀]])O "%O!w"E>BHZ DWeȯhkxSRO?gAʈ9kŨxIGW%ȯ,WKo,.s4ig3Mp1 ;_IgYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 39e24372458c0987f3d0bdbec288643d15fc5b61 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e30df2d6719585982d2eea03fb51c98454965055f3