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 ss]Ml4 ] Password_Authentication_Protocol:threads=4elapsed=76.845cpu=193.364gc=5.012factor=2.527zXZִF! 4]ŗXiɟH)0%o`rF#&ތ[[LQHiL]u?a OG45_R_>PSXR'dŖUMp~2u|_QcFyBمkjc\sҎYʁ+c hsnA;4]c] 5)#VDTJHN#REޟ@7-X ($ͽ$G)3hX]ѣϹ5 d pI_kMc5S/F/:.V#Xl1R[ȢrhҾM ~ە7B_)vMmE&%ѾRIQݘ%d[>ji*"kq[9tك tԣt*o$:K5Ei]vȎr*tV9ArXm+cAƆv,~^OnyX?:GeF^qp!9[F2E{)w~؋EÇنmÀw31{gL a+H!/6>?毾 reK*j[9U)>{UX"vӧuYΔ\]+2Q\DV=\f3!J8|L8RovR&R y,_y|Q"Pd L%Sp-E .f佡֏Vcz l (? G#J_R;S6y!Mz;͠Mu 2uh<}|N5JU_7u1enf$1w/x!(D^V?Oaܽvl.yКP OӲ0O  X &T:ijcx߱!sltbf<',ǎ])_B {oNФ:ݽ@V)rUE!)H\7k :Dr;oNIաCbsxǦl (^^;#ho 38 j-Ms\u1n1;絴|)8A @Ip[=%,)Cv,c@|$.Qm}^1.v~bc"<Ĥ8MyRdQp~YL7 Qp;lIЩmY-Za(oϼZ6lь:kn B 6A!J~_A8혣CGn]̪B,Ge 2M`1;I: oi_*gCv$f&%^"Rծ"\̷JW y`?#U!ޭǬ{N`6 w_ C5SdhVNbD1*l,t}>BОs}Ճ%]u4& OddbQ`%@I" l Q\hjwPI}@A#9h.x7rVP_d2^Aq@HL&WrIܣr/aLv񴾨!PQ #M Password_Authentication_Protocol  IYy8"t s&{ 15zv  %Ɛ8'Yu+/;4L|XX=|0d,9_?(NJf33\Q.y> fs6qTKN%).60Dڊ[TBb ,đ=ф4o7&V-+ ;LA~)(9̣KiAFUK.ty/:,ٜO8FrCŐMl3eR8V;msJ]"ؒJo+}+%[^d{î}qmLn`?&tS}!XJ];!6I#Ģv_CPQI}J?$}\o,s0]33PdP+amL#!j,=MS7ha $5PßǭS'Vr((8,WїQd-C 8Y9z?i[?<:~ Lqyo;S<3&S7qtc89dݖH\/ oÇc-r'*}='/ ,x7T-Eve< qAjc*n 07qE0 eLBHb;HLq+]دL]+-DC9f'kTzоg.`@3gM$$tP`^V10ƒ?OzPG{HZQckXld."rHMc-~'^|VjQ>!,z(k1a ~]"UXf5fj5OVz20O\ abڎq:&'Z{yQHyP+0̘YÖ 1wmCM^ h0"Pfl*D]*e!BL{lzsQYJ9w"]yVM≣cex ݨ龋gY'qg\eW<ɮ.1tbw%/H6)5נe&LZHwR9%G'9.ȴ8uesc $d]NUmj-ÕH8kM2*R3u wmXI/VtdW&Rq:jIs'4bWYmW܌CV.$/@^7PE &V_ =&liS/mXG~JW-kU4YU3;myFW5vY':e_l Jt{{ ik}+J7*7{ dӀ)B{&Bf^9hh& ˍ5gQ(VI}xk:/I\a$d7i֬Zn,VB1ΗI2Ǖ %N_)ĤDV@t$\U&Ŵ&m.\KL`gZ TO$GG{~ (\ Qg&Jp9FHn7KGFbV mto3G\fHm70 m7ӯ3@WRʩ@P3w&Yax7dFef ;O!^pfE~/& FƤv9>_A |,"[4U\SogIb~nor)@5PWiΚ4:waҜ3(-[D% tofǺc>v޾ z&Ŝ@[p¿\%=bimãFC{rk7(4 \T}vvT z{5<7|.-fgʥ 8-:rXeJ&iW0H5#g@fy$tX>Qڃ0sOG}<>Y~2ZZXFכ5\\^PlJUM뵈xF8v=)=B)C^ge6j["`/cwְ f۔K MZ5)@:ںVڜ! P+; w S &.d*u볶QE^QZs;E۳xg˽<xٽzv=Θ $mB/.yeom@ 1lݤ, S?ur]4kP=.Œ=~j2_%xV_$5;?w6*;VE= U$:~@DSlk-?pc vÎ5i$8?FH ʶR|uu@kh{ }`pb~w}q%.Yt& X,`.G**o &`has[$$j㻣c_ 6.x|2Zpw !*M_̚sɸ0fbN:0}F!Q#KzJ\YCT^l6#<\u%́S%ݨ [CdB'`f |y'==Xb!:[!݄}O0w`Ogv ĺfa\q.-ϕAVJ}hOv.O5%8_k%ޅm6h*)6U4)9[ +177_`B|gk6o#Е Rӹf43pda-&SkSxUU,iF= 9HVw6\{]"QFܴڳe]F`5SF)i # P6 dY\i&T1 @;ᘑ!]/((E}P']#Ȱ̊-ц^nJȌB:y)$H=OBfbȔAGQY O; icG묛fFɚifm /WVc~Z<1#w7;Mm 8K7~^fߊw\.Zt:6^;f$hpI:'_\GKk2Y,i5E莸ݙ>kKq=K>W&d!@?7DBBuIn{@FN-TX݆vsD0Qyޑ?P#P^?ȟ{jq/뱮EY{*n,N㵾d_9A[Wư b$}KTlTG"^[X cyO^ǯ`kL|Z<Ea{`~>CT̳@8DT~Ki x7 [x;3ҙZHDk\}h'nEi"G:쌋™8)*1m}. wx[ίiߪ&;S2}2_Ct'B3Oȋ?f"^"s+`3'ZZrҖ.; CݩKkGxO,!xJ!)U^ ojqzӂvU4vHaVmEՇޫ,XsNy::ƴ ~^wݿhzk{=p|?-*IPW]^֤GԶ(gC~5UF|%vPˤrR]Ш^v2䦝";bnTFI YŌ7#  Dgqwz: Q6T]P ":^0>~TY #djQ);*p=$HKJrYDLrZ]ŊJz82y 1B*<#(-iz7̸xHB:4Qbe0 LE[0՜u1a>c$ ;TwEeƷ}>Ne?KTSUwAw%6\ i.~}۠˪b\ :ta` N=ö~3gtmZzL}1e8fo^+XvL[P  guUo5 *_gBnN/;7ߕ)C gSN Ip$ӇRHV3)0W4)t Ykd\:CQz,u;Go߹`R6yd#L ڱQ$OD~ _u AHE+YL͸umZ*oHdr_I@vOMYJ:ç|$MS*l`aOf}lq8ny/],Q6`}mz]\*>̖!a[Rv<ʧЀ /=hŁd[LK4Pyngq2V&d+G^ #zEz P^/ocB?DAj_H\_̰ q,ڽϻL${}U1c4_MiBhE~E ""}k/yx5Pq1N=N.1eZQQBܤv#aâS 3Wdbj0ܻpuY[ 9Q,b.QRm JWN*A%w kƁwJgRQ0CDros$]3 S]@7+$; QC!2H; ΃ w\X^չ`2`DAz潓Km_kgg ~b.@B7:b.c㵻!11:|D}cQQ)Gɬ=Tnd䅖aꩽQ^K L2k.djVe\=Bζ%bʂ ,QrS]BtHa-ՌRnN~yp#Ȏ:AO,hʻT `uDusbõ+$͹8o$]khK[87VmiTHrBbpxdq~Y?xH: 1ȰvhD<󕉯c7cl|x)[d̺cƤWuu17u;v5 UIQ6Web+=m 4=1'd" )R8R+Ksa2{'dFQwn5_yT" [o]pPDAآY7)HKy7f@&40K(NN|dE5ɸl:tk?X))eLd |/ Oht&>S&d^aȇ@2@rmQLX#e v H(FK6^qT.kW#us=D(F/9Ypcc lX+>Y92lJҚڌ(C਻c4#hg對4N rp&du>> !KpLya3v{$O8mwʷ\c"vh2 xeT}˹;G^(i2\6:_䓃e+jelWa`4fGҲ}6]z4.j mpX7, OUh#Jr} -|WI^y%3utA["p1c bu|;V}=pzqRLԝd8tn_[]tDs782Xn6־j Ps*lqFkf5(a^1n&U>e P6;SR]졤z]g6 Yqs#rm}$/Wg*o&Z`oҧx" *(Ke%ϴb/`u@i f5 9ނ CoMAʔ\M[<%~Z:޳F+Rgm 0T&&H(uڎ/R12cpZ 'ȦQѐPl+qvcV&YBS*^DG+zL_դrk_Zpl51+ 6H)UDI ԅ澼A"۲kPL 󡜑 a 32Ii&{ ΥF$"Y!q RᭀL6Gc 1U( :b_ڑ& <%m1E HmcltOiބGǘL$9YX~(.u\ b15wSMe2@ |J/B.Ј9ZrLXo1Q,2;[ "|m3%WJk3y^g.jzi<]]\D *[~ تApJAK0Wt ۫s WWdfӗߒ(|A<'G`U[)ZS|b<~]xCsXhsbҩhhV4|ڛ;ogg3pjU!ljuؤ1NQ "fR{t"~°kGļ47 Lot?K?s(KBH MIsMHu@>a!#ZaP>Ɖ(X@(?sϝ(@2RQ/㭂8ఎNl96 FŠ Yl#i>r Bv0g #vS}V@o1gQ%U>h">HÉ`qphr7G.}S^炽 L,;?HքFWޭ\(Z4_MH7S@$󣹿J,n焻C4;K^"}]0Ex ]k[΍DmE"`>l("J chَɍrADM"%A3՜o] ~`hDCk{9X{ŪQ֠ UoIDbKu8gnAIO5ߵoZ%hy0/5Ч׏F[|w~|fqB қU_)f+_B#O;_"H|:/p;lhk_5?Rcwn;rqz`͌5}e#.OYhνZF%G[V뛝!כN bl 4 tϤÐ\vΰ 9>>$u mrγ,1E=DٱT9v[.^ߏkʅ߃J[bw=M~N|(!tB72siTw!RUDBsC֬j [H+ҐF@bvѫn1VIyR1f j[1RR=,~:H0s  h7)NpXAepMNqboXI ED軀ʥgeU0|йD~3!tͧ668d%Z:_]'!Akf[{Y\[<+ .LXxyЈY eHxMm\뙥x&ϐz0zx`898Z|ONyF^54>UPM\C)j(T-3`ƺnoA6DxT°_oSs^b Dih~)n5_0ftOáّTN~c #d*o^K!Ȋ-ݡBHxAf/#(*hҝRFk%t xsLY,!Ꙍ  K&i{[wJT$x x|O`lZ:cZ 0;@ <SwcHcV܂en@mN(! K9oPO#o>42zve=ŃPML 8Bor[tP'l33aqG3HƔv5|I &jnv|޶ڊZ2[лjR,Ԫoq:+7h.NVCFV~Rރ6JcąiuxemBOŮ*F~~">'d" XLg> e#a^esPg]ϔ'׫aҔτeΕ<jW M=@ m&w tېj*G6- OX]_7{Y̎L~Ib}wԡ=N+{ml"3ZZ=v)1R-a-=g!3 \jfPS](d$N- ZaNHzPH .B KdDCDZ^}W^*؇q8Xl' 3B%ûrEY 4o-JXl.]E9PR?0C %HM?B31Kn|q?Iߘl˚ɐ(p,cđax duB'3#lxoLy])"r,(rOS^ԞQSծăxЦZC&igIyqo#. 9p2)#Q/0!ieJlnNp34ϱӨ݋^ ֋l)R - ^JGJb BSZ2pUM]d1nhĚV6Q?[yW1"FZ rQn6Jfe(?Ju;> fmM# :^hrBT8JO·xĐH0]GxJ,_U{N5x(`uX5]ܒ{weB=IJ܉wbNүMR0yfk8q`g(9=oDns L2%}Y`E$µ_࿫^f:'&Otne*UYRmnJ9Gb1E/fXÖ,~ JAOJe/IKp?-w#LN;%"#"uUv7Tf^/|YCyNmǥtC(9qQ٩# |7g>;wL}jo^sV}}=sVM::knPM/r\MnpWwftvõxH.mlVZՃ{{{9)Vl#F)t.́MW D̒go[6 0q{یH4Zy77x_iM[wc;USp ˒"h}g3<'{ ߱5y<~ tSl<) q&re]\XqtmLJ$(!cNgOʱn^}1&eXEqaLqlfRG"UYɶNq޲kA\6S.2@ת=n0pPyv܋f%U=,qCXjh-W3,hgʺPX|3߅?M&|rtsyQ35k~=Ss+~u5=Yi,>*EP01L:UMIkM[*8Xı<[gu!kRs@KĩmE` c\O]؀9C[AIU͜9/q0x2I R=[%#+۞}ex{ЃH_ ȒV/TI%?t?W Dgaa`'Ӥ7CV6jfvlAPɒ 6RGQ?5`a}v q;c~&Ew ER07DFRǝV(tb6W <+.M>U4B\$`P[]Q[6NcPKϿ˿]nAuq[C m:)9J݁ϽNaFAY{Im'~ƈd *^J0r{P)gZKOvT(]t)GժR \za\,%gِhmpvGNyϑOBO<X8V_Z/',G"C"9*lqWVi\iB*߂$V5f1᫲N=ٛb)}%Doi5̫q4DC~6g[GI~V?@f}_k pGY;^Jb:E>WhWSspEƇ*dc/}mWqN@΋*x63y ZB(PQ ^dysNsL#; }w*E\hDڃL3'`f)&e;dtBL!R?~!ys *HO]"zs'1V&yq]pY<YZ$B|CWW~Bd$~< "lkָgQ ?j&=<$ݝ)CZT;%hLNEJ}U!`]z,x9"l GԻe`5[WԊƾL_85@XE<-XyX L~nCz9E5:S%EڷQ?Z]+/yjF/=Bk*pt#%b!#u\$JBtsW$;/ 򪆜pCf+r^}[=~봠7_^%LHjqaXkD y=$ lO ]~I1֞%t6v?$*ǝG3RfO_]*rv0$#D$ʨ_OyWcu` ¸?t&nnf]jQ4^6s<~ՓtYէw̺~+W~81Oo-f=c[/>=Om}W8s+bb*x_IO_rg**woIhF]+[te17`-ԗsr]C My|NYJOg󙗣2> gmTyVL7o'B[)z٤>ԛ+LoM59b5,[5Oqrv? NA' ^Xͫt&\'mk땷r8> J2 |M |Jf_D(g_n(&\dɊʂ$X*Xq 䪀a#_`JR 0} c,=" psɆO0@R ɓ|1b#[QV63E;~s GѨE Gtd^(Ы84GUv( ]Ft"xaK*0 VиĥέrkbQ:2 |VPjfҗ)j;AƖTQKCN0Uĸ0,>ja"d#8h$h{5 {X؆ H6&]zlodž6WII 8v;B $W s]L 4T'QJ [`8AU㵼opn&D!_7r هu:xBK3愫2E8t/!i)GRo›5Tc̶Qߊ%̛"ZXSdh?ܨ7VDrVN3yX_n-/VB :UR>*|^E&OCH S#@p+t:M װ^S@oW}= _ZE7E|,6j.ւuDo3gnh2ۗ`n7Bڝk JŪ3=i\%Nޱ`,;Dd 1œ~n/kDákq 0!@zrYavp F4>ڹ j85O7 i F c")6giޫ"Wf¡;mo X5 ;&BG{bVQ8?bQqg?a5rEuWbJhW m*F(ƆM&d$=CeUWލGyF6DFoIJՁԆtK4X۩i kSxVR~~-~GM>ȹ&lOϓaRaM|BɴKSD뿥WLD)L\Oy-b@KRue%A1Ջ).[ : "t ĵdMoj'P*Xe8~jlUts˷& 7i0<ȩ{#&܀mSMly1U{ 2ǽ%~ê4vd7Cԡbcոf&O.j˰j/6?UMaec/?zb0iDdi絯r9*<.@bC M*\0;v%ii=kDMO+XI+ 7ŦT[hڒLSmrK•[.ǯ8"&&pd_XhUM!fRi?HsHaS -foT٧{V䮸Ll.<9#]!}ms__ύ]ԗdPUYC13.ZՑG9 è TY4dI:(bX~cHPV ƿ٭9:H2U6*XHg|ntFAwuwn-2BVQ'ka>1Ɠ3gIO1b-N֊wk sEL'w@Ֆꥆ~*.YV^ƫ^#) gr^^lxl 8hD_XqeF"Cݧxs#Zo8xN@Dzzvi 1Z | 0c"+^BT^XvQ tE!akM ?gaʵ(di.kyBք'Гg%>9IwTDh'IRXט\47hOHv)`?rr8yP_1LE)F :at@)v )YR͠rPeg$/4`_/?ԳlW^M &h{dH鏉Uڢ5e(wQH?zqjg)4dQ0EsRM I.0$iw-("^|'p>w?규ڔKO.l#bۜX\2O QD$%ô 3uZoQ3N[O}) e٦kYfjQ\a1_#G^6~hnBOT"[ي>7!(i~[pGvY'Ӓu{/h}r-C f[NwoT@B!g+m?[Nv7=XF&0 $?Bn$dRԯé"xTHx:_֣D5 iZߊ$֋UHG,w5N[ѭmh .5iaҬ>5PiWy-[L'hpL2AreE`ɋR \-M.=ڎ*)0L ΁CQ۟`#<)IH{rC1@D`CgmjRR`}fGl[3JYc5RE#cS0 "/YvVAl}PQasg9XsQ:!`.{-̣W3`{I\k 7]ݵC#._)0pE D.K?02FRܓCUڀ{9o" (viKpS,xxnܓYei~ZWPPbdMj BV5;`/N=L]--Kخԫ1Җ[((? D@y]ŋXd|wWN-C֛q[AW/|Xa (Dž`_t\(r8qϢ0^C.l:ӳ!(ٍ7v@蠔Xg[ 1K4`> \kޭ"OMf`o׼WpSۚf@EM⎩p^qGxS`ht~~YyAN20Dd2"'9UT^Pgi,,(y<"*f#z ڵEbSԸ?@"f걽T;-{S_^5G^Ԁ$:)S~BevowNQq<+6fZ({.3B:num>n9mh+,{<,T^z_J-wq &*I-7G6'#^TO!G/uk,imRtX.$BV@P'N3Cus?6M4&jaI*Ɠrj\–B1+qYV.3G&FmrT?KPe鼕>|ƛJr05fڸ_*/y7_Cn7`<(a? ֹqN:ߡG9 ~x_jPH!-]71GR9z-/?05]bj X|tk2究{\[aF:5BkQO:1Cxeɑ:&, u1MZwz2Gm{!UGbl>H!l#8ZD?Ɓ)aY$s¹D*gglGX>˶ T$ 9rםIfܶenAZ5Rc K?yiIrX[AY%;<-9) +!B\T7H&T˖` 4ytHqIb ^.2vj#VLI?"x-\]GoO;JVZPZ 3Fb^2 %Y&MIaH/c^iKˠ T]ҩb[p#"˲{f6#o Z*؂0b0X`r0f Y\ؚ@PJ᫂?h|=ˍ@mڄX.&Yz|t .@ vXR2b~ś\{$"Co,ԙBĪ}U}@ '=FED>q[Q(-20s{zKCz@9\ްr:_mDǽZ_eJ'#ס00K}C=IC (p!pPbdƊ>)=hBU6P3%5xRּN[5JB#blf>KGqr΃u0:~wP^3Bxl|,.tS ?[m?`QTWoPb(.q^a4_zM{b$DJlL`L}OM`DH"NE؅؆՜_9@FG1CQ)LkLD3Q09; ^ucs$a I/15 A% mOРқ]o4<F}*fkoTejN~XW83IeJ#}'#Ȍv>k*3˹p;b) 2u[dFz-n;9A >?~tzk9T,7u p^VJNqe>ZP_H%|uĝGEAR6dpK4~'qAuv+p8GgKE_# Bwڑkc1-! ryiEp[H}' :ᦟHin$>3Kn&jBߔpC)WW/uKtíwUڕDN4{{uT({Kz{䫎 "mwq['kV`.u 5͞iuo0ΰۚHoB[;EU y=XMm3 "?8e喘_/;Nxs]Ϯ c27I+ա:N)xlnS]xU xleE:ksvw-rQEԻ,gޣc"qX$ήnNTr1)8 N/4$i_aGL J[e==wn׌{' 2~+yJ5G.L($G 8 A.L}&HD\z]O؁+K=~#4u2OSc~ eot@O-I1O3S8_#ės3+|@LDI<&LNlDm(0;E1Ft]L]\ LNafJY) ښ gWW( 96Dʒr&I,}y4;xBQ@ѕ/Gr\Y%24F%@> _r:N3c}SyLWS WW+ۄy1aȠάcMWU4hvS,3d9^a8h=<-wGLKYӄm;M/1*t>cY% 2ny+#͞@Ec`;KĞ6On“ϤeJ$od4@kDO&&Ph @ -ݪ>5@M[P*٪pBy'2!E `X$7nwImzNdLk٩.I"z'G"(EטAp+ yBeyV'WxVֵ>Q%*6_ Έ>\$ʚe Ύf8֔N lc5k?x[w#zoJ;{c]k^CxqԊ>_WË2+r!+AG 0hIƯAC&ڟձvwcR33]YB9LT$7q=CۤMu.^rBZm.ᬇ'F-dX^6r>!$/M‰Qht@5)\1m?zEin8Ϙl-mC&UND+1ӻԂ(em٭Wb` Ng^9G.u>Z4qZJ)/eICS׬)?۶ۧG] lH}^faݨ<TB_FԌpPVR9VdX+A<V5)&iX]F_K 1h;,;Rhs[uxd^8#S,n =&f=oBᔛp5]HsNL^/hx.eAJFnaHLW!>i%YrtAYrAI3GMK)z34;AҔ\dt3U8-N;kW,8 E|*E8FYsD˫2yl_C=*r4rס|z+G* 7= D@tĒILN¸ߛ.eZWaپ'9_ _6߳ĩ+3lI^CW+M^0J))`ɢɡghy(}E%Z-"ݎV"nGeEg,{"~<~I,QGYƅmtI<@ l'~%dx 67 ,Jr^/FP Ş7u> Q8,~8TR@))ddc+.%&(uḰ,эLe'[@־vJcf*BrhUD5 ?w+Jz})#74H@h I%A&$infT.U$M&  (-$,o0B%T^#uJ"pc}dVZ<UֱP,tLDCҹ~UcYŶ,ѢN_V\DBYS(pp/Z۬mPh3IطKu(p\8B'<#ўb*V|k5MK!Ѐ3I#Uv[iQH*k["5H\eG:z!J{Ȗj Ӱw_`k\h9M oGqD[?sNO8Qr_&ŠE%͜ޏtsӸlV%+Lj J?n~+k Zߝ;_+?#ۨM ; >4-kKmI(ͩ~84@F& D\P[n~VbKow`|>ڷu1vh ɥOaRi@cSqܿ符L#Ak :/pr˘yHsJ%v&r*ɵ"!Z@;_ Kh&.LUS )pόǵTP#PA =1mm$u:7ݴkiBQu0B1*lX,L2k &E)(DiO%hsmv0uFQlu XAFꏳUI\s*G/91%?ҹˎ4X)/JpdI[llbZذ}2RP7#h{TpVRkO"P2he%+WT06T$@j$hF^>W {qPFZ& sVb|UX_SMKC/>E$\yA6s$CCp9Ş@ H]"A"ژ삇yo{HyVS%p[/H!e:.:[, /&ųCвbM'i1sԕH3r!tsJS&6xhH6>go@31+1 .X'U~tE q86z(NH@א)a6~xJ]ƒlySzPr68v[7Z@oe|#Gmom`ws%\y٩<y: \̌JX o#Bzg6<-7p*&fcb#DYdL?QXطܔ@m'jy-}ձtvo ˝&3=6aKl,mAEMxmp˼OVpQyy]/,:u)Vz5w_/ ;r%nAM<|/AB^K^ت?>)Tϐ^|4T1ty?F\=,ә7(I0(:M،]+W9KYfJW~E~b9_5t 7_$͛ Ocgc7YT뒲qK~$uݯMo# #tJ3sB{¸rghrK[jo6Yq< 8V" 4{a%,@Rp fA m"IRWQ/6R6)uo,0~ma;$Y*\!MgO3pD[ȫ9߅2T\Y[xWGn0 >WX/jP+iv&|!r 7B&{oXq.?9 O5ӳ'j u 2_<A4A@(JXWfK5y^)/IdcA뾲>=kKfGP>B+]Kk(]C= 71GkΠ6zc"yR[>+vO,A c*n~ĵ_nԕJO+ptf,R/߁Z.;WA7d)~@<2g,T5 [*ڧZk ]yh,b꬏s:e.g YNpdtlE?a$u, _5rx;}cgv ,d<jj<1~$!4!] 0{Xdȋ;,ϐ{OߚvP;)L.ch^[W,CچuGLTev݀j.!A$ AZ^ez-Q&pV<GsL9/`TdMcG#S$X+Lz(Xx0mߍܖL*v$kk#^^MsSO#Yvzj4*)O\1a_N"DѺqr/ ~Ə<ޫ)4ݰOolB)IncDy K[*7ULm54ҷJ>ṣ-1<*Uⴆ{8J.+-1E9'nkK! s1՛}s92p"W'@Q'T2e݄\=-1'Fc uT*#5˵bF OP>%۠7*~6FIęzB4@Yw A$$n-%A(~G%+?%W0/СSll  &aw;ѐ+E4kaudFIŨ$mƄ#zKj*w)2f"%#.V X!aߙ,*&i2ʕY%@Eg &ηDksd=6G\&-\[8~П~-PQ pكG$~/ά#pwD^Qm+^2z!~y䪇K'fdHR~hagQ!^J8oʾtLÃ`~[=yaL,JZV1?eZm"՚AB<NޛÂ"*Q#YeCg2;iIzr/ğ[[eџ=`w|yDZ5[ as-: %c*d͵݈%WRTUpw{87C })J9ɔt?3ؒ{s3:$IGj HlJ.^J(i v@y馝_s@Vʜ"] L.`J4TCG@}brVd }/Θ[1 ^Ů '=BRyթG<@*ZԳLӧ3z7k)'>f8uoHh//rzI+k&iXSYm_{޼9`*/`[ vDs?u7c8JͪJm25NM9b"{۰vz$+0.@߱#X~K78 'l9^09CU#\gC9EvC xQp.TAUı-`i%_v0v,m{_ +JOgW#k !,"Eus4VRQT/[{9RWO6j _< (/D%]QYKaQ.,fٷpLc Ѩ1BXW8q{)t1b/0xyeB8z I{1[Մ ~s kґ \)U.59Rw&!A%oːQ]KnHN}@IJ?'8?y(}Bֵ8'b|׀-KV$++YjA뽓60%/Bm="jS &+$OvZQُ-c%#/t0!B\ʬ,zWxqx.cXfI%~$6O^?͘IlFYPF qe'psȲQ]q '8Pc"T1U8>4'^Z%'J("zvObhrEmkkfQz:"|]$5(ӽ-Habn|ws=\ߐpWGU?! 8|yl1g(Շ$yε2;X$"cק_Gt[S h5=dwI dKK^ͻZ?0ȿt:Qz*6dЌxhxxݥ=L-XW<2(6(?w΀F8TwA^b42{uxM?8hg#tF\93uzA f"pa#ߊrSYqJVZV`$678$Jm@qSH1-M4+ݿ-0#2RaFèPog|}o/X{m-kz%N3pw$NELpm umX[J376%XHir,ʍn)#a̚ L9\.W$n~[w'aedk[YԚ/-&\Uoo5W'壽i텧юJB gzjfvʟk֢8d*jzⳒx(lx',̱ | "0O3lg򀠚Om9'BR_o&&!=x;[`.IdC00- /C#S Q`vsWgfyb#6(7Yi7(^]^n 'Á໻޷Elo@}et ͰM& xc4qgH$FnKicVB~uЛ߇qC(Ez bU3ow|Ђ~iC+*^Q$g:1\B ٿwo >"@Vf;?2C59&;(iN 7"~dUeotnrg˽4*Zmzxwn.([Lû ik$q,ZviPۊTFkJʡK.\TQ>HDaT[VoF(nڷ8|?pa;{Gzra4 :;8(fa. c|*le L+3{Tm#޹Ge&eo^0~+LFX3gAD_jnqZ7CS~9H+;gG`}^6{hRr'$s=B4鴏D!&H14]W.(=+ʣbw\:;r PuύZ߶'sI9U24hm9|DEE55م8SH%;NvgEOKc 6J { " FT&4}gqٗʫTaG<Ě 3M E\P| 2U>cX-%}7k&֍4<0Z |6*7XܱI~I9/BgT4o D((]gꂊ-,35srJZ\&n21W& <6{ֻP"ېhroe8o6r.iWsN~n,B# |\7g b2[jCyB%$IR/ p/s/vZ_E`8>$P㲢mu ;%cvO;k9fQDFD6=Ҝ#S\OѲYa )NK|qTVzn4PGƤ촻OMάqY.śSH|x0 /9&@AkhG ec_wjWI \Hvq0 ^s~1ft͜Mtyϝ}02؏:`oa tG6a\CZYOv?1y_"&0|}- O0xmB O;]*fGL99X+&˥_X&iGwk9 O!agbS2z=tXD$zŤA$nW;h= xp\A} 22j>xy;g)W' %2sE/t:0I`ݎ%b3bzIe4>7R OYm47&,@JScp+aa8hGIr/bu+ͭN [p/@V{gR p?sЀc 6"Դ5jBzZg켖qzfZqԌE;R{&i{o-:V rSvYk9忓&Dw62]1́l#X.cHGN_;퐒Ym!;7}{*azlIOi2])}+7vYF_@Np1PjKI@͆ A({}&u\eu`'(,:p]Lk[$B;:M5$4Fw=$&Wm_fޝ9&:C!i.ֶUrw6cg%pM<@ ~I\o*ҍDfS yOP~|rT (=ںp ͊T7^{%A" 2(ʕ$؇O7B8\PLpt`*dA1Ϗ } UWO0aEllNȨƷHGxc<|iK`boZ,Sr|mg^A@6o.Mp,ÞV({{GA %1@D-v@ק"kv00Хj ׍d/`@u$SbsWW?Ophr["6ZeT?MAuOhaYdX]f?})֋4i#ba_mf}1=$O<7 q!ssɌq?+ 0piF{YFgͿ]n VZt]?R z{bN肱Zvq`s?o~c+~*zxE>0wͦ ;F0Ryts0, 5xu8vM>K^h{3T= 015;0wRv8Xt.)}6lF̡tz1/aL4 '>^j2i%kR^cJ /l/j-"XV >bc!(踅[Kv9=UwY*O*z'ѰSXc${BD?lvDCVUCOd/W7Ñ]D됕aCxސ 2$^Ǽ Kθ#Eh<e'_ys¯4PLf=N\9= /\ \K$*"Ztw,::>UG? $G`OI"n&Txj@Tn0_‹eqDHTi+k@R Ʋ=ߠP;_U1vM%:sՊs$cϧ@5aw d;wኂ?K b- ~ePʸLhIy$Wߑ/$yk}Xu )f ̋s֧NcvͶ|v7uKf]ļ6gPO Sl;?/t'4rDC|{ L!_1wtFMȄ]c򳀛^KL%"9k b2cg  k)&_!5L*$S~x%5cS*fL/]Ljц_O$8Pi;m2|XiN 9qN]C+oڬr/T\*F]Rh':2Eǝq-LX|'rf<0O8H]xU.^1c,|Okݛ* A >Du 9O)nq8+̗iwpEᒎ $pYz]EPC.\V2H^6ItX2~كYs:Ӵkn*&Mt"s T'eUu2_y1չAX+n;Fa5UT|a0f}x*"[=GdӠ0Mqe jX(8dZ{Sw+vTe.r?[d3͸p^˙=\2Lؾg:<dG*_'yBT,/{EwH(eI@Ď!I5G˜1jHW?$ЕvRZ'NSBc_N[ 8Dpp{?2B.? z_ޓsPtoU1ڍNJzp{5wes2Uu]]!A(FE#kUZ|ҍr Z ` !yL{QEdVsb؅e=!U"2Ԙ<.wƐX׋vZO .4(7X, rāb ,]8̉4A?W_urVbٺ3! _6'<+&gҫUB[)i>h7~ Wzķʂ.5eP"?F2KFVkZ^$1z~6QЅ`Hrx ʑe)wqN9{2'M8-ӣ=ɒ) V"I p|) }~٥pJ(9*tRx)Z/uˮNngp ۥ%6WOqq@A,:T?(٘cPU3BIPv{*4EOݐ'>x5뇀ж/(NnB Q]_BZ.n3\ S]'?Uל{js XQ/Ϝ{dzgNb9ڂxE".j ЁT(/u+J2 #/)m%'K0NV_6FSQLLLH ,O՜ŤnbGG!aCF۪V,ٗSI(B3G%9d|8 w:#k1;޳UB5DziRf=>Bk>?ϓb=P`xIXڅj]h2Tc,a\X |s] qju.z؍soV@~WqhHCCVy:rs42i ]aiK]]&.JU6riYcIӿw7LE"lTymNԀJbtMyjfĪ"}_½=j۔JB>rVQsL#Y  b'~7k< E.C&/LlPb[%Xchz0& _T4W~I,Q9p(0*>\x8v_R@V@};(z:5x#@ kM@ƥs$ȉS 6gRg1/Re.yw#^  b=­٫ ^z\PȮgҔ pO@qMlnM>igY>Nj6J\@D@5r~?솹(m(ŗ Yg5'&^Anj Ŧ)1C3΄wonBZ{RtݭrVmQ֏V.1;Hԫѥ[uHA~WiCWjX6 ϻ검›S ܍՜d }A|Cp_xJ'QudKHᐏg1Vh1zxPdW}rZy Vi6cԗ"A9}c%HmVQ:(zoALYw6 d cBR %'c]UU̐d^ۖO`>iK!e?<74USAC{[%EnrοnX;鄌|Gpv?1<yd7iϕb59*9|!j&ҀS'~S {Ӟ.QRf~@bOFA0I_$9tH rDoD[YZ(π-Ee^B!q=ݎZ P5Vt@ÍCǭmJp6J ڼ6)J` ϬU2$2;M+sMWtB4r%(8U2%-k?8+ep 1-?H)\ X=34{g ٬@.}F'!kt89Tsť ~ m>| D\.}!UAU؊jAce]ST @yĝo=Q}$Mʵت ?xR'@HekMտJ |D |k8\QN+h|g9$|iߴUfz珻%G5O$-Y:C]# bJOz_dN˗"FʽhOҪk!~Qî EUmr$`$H=7yKOwX.ŏQvYAP$P8gJ??rއ f\|GBz5ȌH(CB]IYQc)Ηƺ#в>6u;bngy&+$Tl`$@DY}3Ww-p'A@ ![X@̅ `PgV7H6:G/ߵ|]x ViX:]#< ~OLI/AL< ee/x 1t -UI>Eo~ԆlH

p˅_nؠML,Iyc=/-) 6`M+/4)>TӀ0,Hdn6F)e{W!ʣb2*!CaY<V܂'5Z1E";?wţ-#DŽ[0.YmgتPe6KC Zqo+ʕ[`Րt,ÅB#rI1u?3݅VWQZRSU/A~KksneB~Y!x̯r! P(p9+@P?S(`M[c`33\\LclhB;r[>RΏ0f5dqq;]:.nC,okl|/o+ Kk"!4풌=X{QJK>x<=4pf/Dxs}GirIQ&Tq\{!R jUO9$ ˞JYW a!!9{A7\pzz1~ D#ul-9WqDMRKL5R0*%%v7@Iه{Q[ڢb eW9*ْntgYZ593012b4dd544119e7128e9c0a6ee15545f6dd788215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d