SQLite format 3@  . BBh77otableisabelle_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 1t<< ]% HOL-Decision_Procs:threads=2elapsed=621.724cpu=1191.792gc=101.408factor=1.927zXZִF! T2]ŗXf1-q恈ŕ׬[p){thƀaED*=I ڕM?J^zGE>6!|ƚዪ1b'rflұ'A"‹y=y&3(z]3'yol~_4MxC:V d' |1P _ߢ; _Ǖx"Hic>/Yt^j=iMK<^]eU5(1g<[ mJrLcaƛDB&y fnTjew%kpn R9?[ / 1 HOL-Decision_Procsf'xTPRoVPr[4K Ynv%qt-9Ƌ\RÞ;ZDPqazvNxB=Ut⼦2!тrKr*]:?Ey)^ 'SM#>j&:Xm6nܕ<j,=KHTPJ`unHkET3XUrU)Q|N V._&~(5XoV$!gO@u:=ej?1|26dp OϾzb~Ee6ASb@Mz$G=8N8= mwwԸF<2 l aX.Iiw< Pusy46&VC,~_ٯQ]2(&OH-㏻&CHc?CSX\qa={0*~}FHvJq͠ K*5 q !.TG.x5ؘ)F-Tq,pe|/7YyMvJ3 3SCͮʂS YA4kř1ұ#:ar)Z`,ʥqLăC OA&յ#,+bߨ n̰Wh(6b5c>|oQP/EX/{1:(0 =aIYْ'wNUʣ"K`(Z_0[ =ۅgkSep KX$f'+mUv8͹w";GiF_:GgȯZap&'Zr"tk6ei2joO#сsȸ]+6ZD>>5ɈSgʙftg>|J꧶УHn UX4끒~ +n2«@Tz^i*x!Yk"C9բ5c%Ju,X$ uka`+y!\duފ6)З{RCll/?zmՏ Y\ z O~jö$ &_:U3,nVگւ+[;x[k{&|{@ Ьxyb/P> f_\"G;q ;SaZKF `P8`PD6n2ѴQS)"O XrX1±w.;lC4Hfg]b%?#{%j?O}%Y={TyfP_1[ZW1!%>KK9N6A 5dg:ۯT|<^ĥ=\4ua-=(Y. $֌lGsCrW/!ԯ*3aGj ֞)م,a<*؊.JFQ |*݈^e1"B:V՛rQ灈W>mq[c2weUN q¯@V56ɄT$=҉*Q{YSZgnjAW0`0G"WF3S6:r`]IJT+n -OPnu-+}SK*,#Ή憖]&z[X}u?j+TK G񰓧lR흎س8iQ H!&xP aeWP _jV VNnY~fd)pC3ovSp!vڬO XtVY|k_H!>W5L} |2s6c|ngdi$P`<ᒻ cÓ>U. q% ʻXYf=;jQ>b 1 ?r儮ϧҁKT/FO n.;ĄxqBCo^ k`J"iP/MXirc3)xNt|-ҔWT?t a|avSb`smt  ;S;)φl \;Ǹe^O*]r73#=4)M]o P#PW驜N9u.q.,X{0ˏWK61 k1ڮ)X)3hR" @4w9DaA;'ŲcPXH"+AA~KnӚ'Zq 2dAxkW!/0v0OEopAQbuQj>}|gXMxz@dMLœi)Z=4x?|Vt:V!\ {Ve&^Yk{DsŪ&2r"EtS(?j&٨g7OޞJ]h,jԋ Yb VL 1ZrpF}eΕ0 'i06+=-EVU s:܀<^y+!LtɤOH'sww\/;{b"\F-?d"jڜWUy:wQRF][/S0C3eb4vt"J"Ƙ aKEShQBbwCw9굚0z,+gM<>/nCt~ViDS I<,Ob~1Lנ%)QvŚ6p{P,)_%f0XT=QDF͟QiޢVtL`.1dѬWp!$}$ȵFpQV _1 xsPnt3صDg1CԀM4' gԲ5xi.$As=M'"ސ\jhC&|~މC0պs}&߁mC:'0m7t/|^WkwwFYmIDbRE/C-JW &s`~PGqD+fɂc*"( PP7鄓8f{ v 3[Gnc`cFock̊#2b$d MUGH_өxգ_ɃM4׬/Q#L-9q/kSj`td//]:Ns* >*;K+?dHV#C0ti2˃>!A![-hm>|ӰS:14wEW7*GLK5Gz'HJͩ~+},w1/2!fD,<(I(W1ק®TZkv*/E "8uti]?ץ;њ;:DTK fYS}zYHaeswv`}ѤΡi4Líu:JQ?kF6WHUת~4n'>yiTyKpbWs ˉ=3J?< 2,P_z&lV"߲gnXcb!|I (LUg,SZV+뛣K3ܲ {_@>&FM0!9Do[C"ݒJ2 ɜ0ڸF+`;h~ϔ5-ds,Šyv*%5kݐn/Xly!3=Aj>Q& h"jK%7 T1 0Oֺע?~sib'EͯhlwA5p/-CMtsmY^ QѯmgvGkCy>˾Q!c 5SR VfP<BFKxmF [m_QuH%DǨIRugo7TƜYi4EP ')w&ӈw h^W~zlěU$6'Z$Z_weDf] Dw(*)֜{1~x/iBNuh^Q,ݵrS\Gp `<QMl}k@0kh DR<ެ_Xmg2u\Hx5'Vma =EG OM𛌁xCD u(fˉ?7-h]b9F"Nc+օ?&Sy_23Zu+b'|Ew7SqZn㄰P hQ4pL]q9$ې$<q L:"[uh"C}8S^?6ir"g{IV) f|#x;hmĖ=e&a\4R.f;u{H`/믡?AĝEYKn) Kjڥ»DoWj I4$,_@g&H-pi`3{it&,3N+@jGWvILY66[4&Ct5ͱ@++V7S'{VmH߱jryj߲& t(øӦ}fی)6%`C>T!pD'(RegYZ7zXZִF! V]ŗXiɟ17L? KxlWP8SաM~>fٺdX5=k ×O{61z!Ӓ 's[<6VwY% YbEp"RyQ`ГNo]T\K'k3]Er#MZ#)hHX Ճg9sM2O vTYBF2154(? ;jo~̪K0Qo~0Q$Q粹 ̑.jNAZHtB#[?IĜn#0ušE}%31傥$|TL_@r%^n8Ș+!)mŹ%/B%'_|):|-ڴܥˢ[N~h}fDb5?&CTԂK8S=!%$2sKlGf{3˨fDfCPvnϲRRupopN>rf,Zm~(5:-v|La q|X|Hrb7yj_-#"xv5-?YE] "oL}LKXA|9|@1O Ngu`ÄT !;i{"Vú4qG7Vǃ LM#s*GQN,r'@}O8"6Es_dYx { Xwd2Eެ+-ݯ;+7( r¦ md&D9_JԖ $1n{qjw'yUAZ~:isyb_@GpFPlئ TFIT8}e"ĵ7?%KJMw]J7˓E'7|`ܿU7imUp:oPj;6iɳ,b^'gj"bIoCUm^*6C|}33 ӆZEd;UlzN!~8:RE^rFMF9TؾZC[Ea%\OJz .`6Y IװD e&5.48 +bڗI ?ŮQj}W!<^]in_YwYˑ]r3Qu x5^fk۹|Lɳg6te+ JV((Ai(.u` Ӭ˽ m i0^SDHZpHzzg }AU%2WW*SMSW/TF/ ^=$-} aRE wz#/\Vod $Vxn8jaq?,11¢ߐmjTw ɴy{hB!%V㩞O+_;cr >%dp1!ťzBf˂⊓ F vW+d)r9j(;CQa$A(7G!~Eud;ECޗކ{"B'7S=%][n8|#o,7";zSeUMj;~ÊOҞV,/z$6]KB $xvW=ȿi%n}Sai#Ʋ`L7́а5?} zttEOvGb}N>HK^WUo&qDش8GF%#"æݱB|ӉT_!h=!,f8&՜W=x7W* C]sluGd>{)= M ryfˤNEQpI"c\~r, 6wIPnđ)#:M^qWګ7u7gľ9TІ@7yycBwsdSV0pQ-i,zW-'jJm7a4c!fN[>߿Gnx-v_|Wy '6ÔhNgNL?'A]ւj[8u߱1ZK)P9l!c 9H}Xsc'4%JAIGjϊYO; df}E!凇(e#b\<_-Q̘͡Ea#jIɄzUԶFo*[N3}('S&|+B̲Uu`5^k*+HM-(̀*8t.YjZk(I? '۱S{ k(o+9=mbfcM.tb[Do`ǡRaW1 ߚQY*-*_̂OXNnۭՈCPUzyݱV+ո|4Ӂ7fRXQ&}| ў~{S؜!?j· :&]/Tu57ɒD8ŗ/SB Xɕ Åb-ϱIP.pׇM{_+c#C<㈚<ƅ'C,uD.40SHwz'֮} 2ܩPF X_;TZLǑoKBơ9͚8sf(S" ul kE9- =^<4]'2(ٱ!iLtz|\490v>3BDqwX,?cDZa8{7!UɈEz|Kl'/@D`8N6&dߖnM@}m D?+p|Coڛۦ)E7*e쌠Ԗ1:s}SSCȈ| l·QF/h0>rb j-]%UфΔN4+oG\(r]p"~1|ߣ E0BYR*tdz^zU Hj# ZQ.M_{58[&?h zV7h#[k# .g7hFLIj#] G4Pu8 nܢ7-iAr}#r(UtpXt;}-UpopVT 0re$׋sQծXC+hl(gF d|/P%a`YztT_6EeT/f|1a0 9mROIqW۱j! Τ4lAJ@`MKaٚW!<>B;w~%2,:zF8de~5ng:fO~?({h3N7@DY&%};'dj| .CysJ=)9>2H#i7uT:'؝~-p/^Ġ[-K9Txer==b.k ZFQэ7:)7| 68GIK,/Uf7QS=+l|hmrKʫum{ zRߦGMLuS\ ticZG\z"NLQQwE7@\sthy$ܽg gqc nNBb-{ˢ-~4leL*:_z.zS2eZ84H}xuMKE^})(\}g-b*iIs9?8D-#KjLE2lIkRz#[֜iI"bZ /87=JcaՄn9}!P lxx/ Kѝd׹}4q!pÖ;l Ph-](Se.;H~ L<.[ٜ!BϺr{#EKQ/0T-:hMcA0 0u;R*uSjod+"Ksy9C{av_eSLW+6B!Ak81HK@aHXH3rTUϞ/fAqaHJx$C/дpբd"2V˰oDCк*AYfu@^d4C,h1+MW)qqi Kе]j3d;Ƴ~ͪwQ2HJZ>*ÕN[H]mb=q<2x$]ĶXeBVK|Y-lGqzJR0䖕(Q>7?N[R<톯?y{i~|[Feuر3`~䱗=?g^4'>b,QXx &b<*0DFL)ycCpnuV׎?zuΑzLN2 \{{4'rҝ2G]JQ.fbdZu/lPH蒏4Xl'dMYܯt| kQpx1FF=?,36WS/uCʯ$(rؤN(oٽeeɾإ"VҰg&ZKχr`e( 0*X<?8I!b[n9o];MXN"8, \c^0 wr:-8ǺY>ACuMb%e)9))HxV Qui"Xz5LY쀯5DєL}5G먭ڗIdzU^}! wfXy0x@Ԅ1XS/j9v 'R Aaz rݛhm `rI~yc%sda UbK4?QHOKV~MD9 |\{ޡۘi-F|hY%C'Gm]>I” O3i-כ;ΰn^h\ߎ)+qN\kJS5ݛ02t41<5M)Ω[g44a'E(~A@o0\+ގH<}y%[OpEφZ ٜ 9ieM[$]Owu'U‚)8^}F.2q8S0xPؐR;{zܬSDRn;y8ݫqFx>DJ yB{x(-#R;&ؙ!OS)9ϼLx䯥3;zEY:lOMd'9X)9ruMVX1A`k8`m]]/ZQCȴn2PVy$T2 [^q!xݽQX?GPv:TĜސc2kKW4-)+qg&׋2`чY?Ve5?*b>K]YlZ]Qer>)=Qm53DSz=D LkXo&F47%$W 3i!dU{af;j(-ޑy7?? vyU@LِY& wN |E##a8O'#Z^Zf<]V%b}ǸVO* 6IPrbefs^qguЈIQF~N#rD$&Иr5<z(6-Ӹ^vh1Vۨ!.5V:%i|뤲I[:B,PPR )7g 'V)bSi97x(P&Se?a\i5F[1bGdZ;.6.a^ u50BLU8(qSFi"_m|=L {_Ne8upK[֭1Arܑt&BHi=.Wm!:TRYؙP"4s9:7, vY0E%Ú.{-;!<Ƒ2Յ,]onicSe(<^ ~]JCTv^I6|z++l듒 M9unλc‘O%|{8ԓx1O 8Tk2Td;Vj7W4px2^Ie,y`Q;(˹[H[y]}#bՕ㳸SڪVjL2/2DM3$zZ^#dB;rɏl~DŘ? d9V'ӫ 4NF $M~ڐ&DK(r؍yנ[(V{Ve:}L}Ⱥ3wiZ ;;@dr %EѫޔKIh$Z/h AwmoԱ% 6 d}8, kkMcV6lmrsCZ,bY!D ut~UM 2!Đꩩg;$qcSґ6JjO8/.32rF>}E4W1e*@v»jJձ^+kAA:3o- â+`>q[jrAg8(iѹ'tc %ݾP&A|>sUޥG 7݋6q?@.NYA$-@;UENe:bpi,|4>DmRw$8Iw0u0w͡'87;vY:0钹/0 cC(AKX-X>(k$_8[ܥujp\{#Ѯ^9ӧxXl=B~>!C>ZiDW { SK+w#ViS`Gd軰YXgYyS RJ\BڧZVNA錈~O|P×F.?:*qrT=x ] r:'*JB*D~cG;,itD#.cO ,v*@Q(ا(v..dLR9ݫ>5Y${U1vcˠj֛_`VU)CG$17ŷ(Gp^^5g] F,[N݅x3"tg'D!RTlhaD@Xyn8*Ld481D~HAKZG*Zd(L;MQ<6ө~cx M$ Wi07cZe \:џ yCGJ{!G:X_AdeX4=̯-6HGb7g7u(!Z7>$Ȕia{oAq՞MQ󗊂=}9y=>_;@-Ҍ$/[nN}0=m E6j`%'GPZm;aڝΤ_DųȯOͷ]|@Zhr6(}(r`Qsj@$.NN{eYlN1c,]m޼Db|/7kp^#)*@lR!dBR>#BUGFn\' e Xy,-FCK<Lxh 0YyO/.B7\?1RnnhCc!c_2~@g@r[`!}sʎ4Th¦=<+|ܞocFkZI0=> N(Y"Mǭ0a,q`g]J:.o^h R66+BX ]d4Qn`ՍJu3iJFAi V&v ?ʎϔ[o-7x54BRRciA`& KfR 0uEhww'L\GAit v/ve]7tBZ  Sp?L_:}逬qk:Uj$ +g4/ai|M]w53Q"xWf]}fXV)4 m>.~(t~Su=2* P ,QDȿ\sb_|U. k]I;Ws΄s: 1N,4voע#+tPb{`PWP̘:! 5Y1( R{9|!ݫ fG}L-ZvSzgij|s(RzQ^?o{{R>p`?\"qQhMg,wn3>(*=FռxI/| WHdIuMi.v{#gDQV0 zYE 6_H`|i8O.zFvGl)C%o+nMKqM=*hp+"=+؀x` "<*"hXJ GPKw5όYǻp2PȺI> (/&ϡ&Q3|:X񪰨n #YP'+Sm`&Bp1󗘟veRy7p7$hX@J) !Kc9tlpY>bi>uW^n]@ó&{]Tlhnѿa<-*y}k#6bqIINLP4q0إ0Opq屍n5If KAl J<"bw 8~. ḿ} c6SCgG-·WcmWp1{ (#Q.;ƞ/OxXJI S<%6ېAǵk;JcgSO081l➀@iy0BkEJ]?H`iKd/6tޑ&D@9]ٞ\{QhMKV7xFEj? 1UIS[uU/?+G oMwZY[)` uJuf KFAZ%0m8r0#tB[ JUsf m+'p~gg} "E/`q8ق3_n\4:&޸r e -_joǔr&~f;0k.t!)p(/jА]{ B9Ugf"@qZͪ8rۛ@ga׾ĵ侅OnL$GTY$.Yu2&2 $3yazޑ[? '<-emu#7EKO9NRS_GpBk& AtPKX>L=̵]C!,k6Ñ.LCr1㟜"hEo:T+ K\-ę_qҘ֗Jh/^/ .7)68%!*W:<mꕕ7$ \ҒДVד4幐܄J[$(74%mުXlLPXݜ͔̚Hm% x̞8LN5u:b)W h;0 JV u>9]PJM)N0Y۴lS}/w^8wz[iKh]bh:@~fÉÞwWB_YrY!)DYr:j al\^4 [Hawt zWqM Eb8|?r'-kG=p<𫷛2L{/mr=IJM#_-JmtbwrqW`Xer a]&)`Ħ`x^;{366&|mY:KnҠl|uqR%X$7?fJ5`i co"%C<@t @(8WY*~i,X]\2sGˬ$8r#0l[ 9e*&Q3aqP0/ucgN~4u-u[$}֖\’<  cd9ȯb^y\I355;m  - Pp"6(7G?UQ _fp3ŢN[_#%'R3 ,컖Cmv=?I_*lVdRNͰ;gL$juys[!#nZ .~m=WԆrn{ +q@RލIׇ 8/-BEɧe lW"@.xj0k F`ڭ"J.gtA4p<]_Κտfj#ćr%wa\\(R)}, z b~n+)^.QB6jnGC#Bb) yf(wnQc`0>O{RH=aB$v_CBHwLv5#kR=d2+=}*Xܐ6Đ;'nM [<x~V C"58Ѹ Ҵ;;Z@ e6;:oqW4\>4EoyLcWK4p uIN"hL -w|.6j=e`HڮqLunfh4)/Ae WkYL485CXw'3h3:~tN{ڼ O%@Gc` ܵ;VǾS)9[PV?,ytQNYwbQ,=ҽIA)->-kE?ꄸpͷ}NC+_mM|6ߤ wPͤ&MjKL%n4ܦM" M~6td7J3Oa`FdS8[Kd~2%c=@\A;⡻"G6u!Df!uUCsOV cb?=yDwiab6l]v8jECš]'N)NCy4^B;~HN\Pef`;s;V?K? @!sU|E_?kڨe*ͮch`Ity4[`l߲7>Wu ? ,r@q\nEAj ^ܿ=]rPxaN@;0{tBC9ZXDbR ]QJ^7%M |,L'jāpK3mOR4<9i! sUnS2!<#cۦh;dmH KAx,E Q Նjۢ*&#~_դTEu?.cBi+C <\ٌ3JoFvdY%GD,>dzCߋfׇeň݋q~\ao ++)j\g<Ok(LDlo,[Paa\9?{ߋ6 rBu  q-\quh7 8}nHI5md#V#YIeJ,6ff:߯< XȺ[S%)GN=;'=LxL,(AThV<KCLڵFGHZ1JhMuf>YphLo=٤L`r~i] aGegy5g+rUŠ|y`9G9bAĽ ,6s ĤzHwj`@ˇ 8rNw#z('hHVq_[.iR.N@ꦣtKW9?:?*~΅?8;D(ՠ;1xPs 8SqhYD+]) o=fZq qn-&a̩![^@!ABMP'PBJ8C1!pyÖ}fשT8a[!{.{]dl-c- gcq'5AIk X]4M'KX&fxTIsѩ<3D$r&JEm12bGTe_n90A5b8 <֐ȥp~!ċ[x$sWAOˎs,ѭ)5$0'/W bbݏ9v?]YUn.g1XzMC/;xvԳ ]-m?d/y -5,YSNxD5|~LmC/`$Ì 1QRب"La qq0ٿˢ&{Ϩ-<}Nk蓜&ܝ4za8>*aՔK8;M1On<K)y?**/a:0 4YO6tA{ +SŹE`XAƫ8AN"lj6`'ѩ@Ud2.2 .WBUEg̍K  ~#^^NW),zm:7G[Ac-]ouZ̜H 53HtGqh Y-&=v/UμJSTI{C|⭻a6Y06rOv%-]%hڞFs iѶT&-YЧ,|;lh=}_yN:Oߢ{!k;)*2'cYY%i%H/\ %WM‘4m[r6]-iG߄Pi&@){z{musI#Tަ8>'[;5߉@F"$HYWOĸC0)t,^ xNҖ5Qv?׬88`_ Qq"czΘxt|Nj q=T'@m ĭX45EG}FD~ Y`!&qxA| FLqI+QP*cc cQ{j#2Ni)%QV@)AL <7}{q2]rQ\8:#֜Wdi'h;6*Hyny:ʊ1?=hP=rZr썚 5h'n{qXazcNpzăA 0i t7{0<4+g7iSA5ڝԉ`$þ=7j.^d {Sy f#ȶv/]H[x}l'4.RF ~0Xbo^jyA =3':,JzPJ䶢\WE;y ^h f,ۜ{ (g~OVxd :fߎRe+%JDzrvY odd@Q|R9H. w?bIט2-K%}Rz1fF :Ƭt+{˦39K}U_r[M\@6%!/`lHQj\7kcZ s~l:~J5(d؇!l".Hl|XsG7ܻSȒTe.Jne?%8u߫yLͲ&2N$l1B'&afͥƸV ZÜ$hi㒊L"{`Sx|u^ЙnuS}Kf.46FPȀѯޔߥuP@_ic߳d'SG5{F/HN0TwLa  {pBvtĘQߛu'CYu9QPHlt2g=yAw#=;=b̈F\YI^"UORR O`m6hb})un"'#sJ.|]@dU66>t'8"|A[#䶶NIMy<[&y*@5Qe~" Z3>T".:7!fz=S5lTyĸ~y`Hrj١)}, ';PCQM1 rWRBJed HPd"bDE)*CG)871pa,{ソm2Uj2*K/boڹ ݓ S=iڛӔ6'-jb/ ĚHDrG~< p9…X.+D¸ J{tZv 2-wiN&B^=oyzUToVJ9pxy׷kŰ$# X<$FhLAn#Zt @)j8AjZ`2BKH|:@@)a^`d F|[Li mH_N5{󧤠w.iAG# CؓQ!򱹵)طC!B,줭5+gX/ ct@HwFȿ^qZ@]4'^VʓTlHϏ5>;Ny-ƠWbb+=<=/jTԑyġ({T2AIFb1ރ^eN6Hb O503F}~1? T=(OǫRE*8 tH_EؗL~Kv?h?pCW4MwM@VΑ* ɀ%$upylI~Φ8[m*e{ox{pNNj͓W |˘)TςIkߨf9i}\}}PI|~*\k(/%,Z{Lv}|6`GibsQ硭ʎ!$AUg 9kg )7@B M'8Y)eI^>N Kr[T䦯Gaם|/eLWW!_"!??~0f+jHu)2\l3[B 3,/}6 X׎,GȓAVzxt~;C&h*AצW4M jld`/ Ԋ"e2ߣ>4wXUIF#[w(z.^VJ[3뱺HGu!̡+sUVSmv~ Tw34IXD\ "Q+vSpLu:'9p0h[2`K-"_2fCGds ZDsUoZAt VfK[j#0$Rc8e26ՅBtލПx[?lt-OlR|ҹ+o"ոcNetI:"hr7ЁDduبULEZgGo3W=۔Oy;$FeP?q]LiANkߢG^<#%a?Pisz"er0'$Er`:߇?;h71G)hBC 2Z2qtY#r{jsOq!IDuh o/bNݵcDxݎ=_)N0SH\@]xg %|݁8 Ֆ&*[uHZuK-Ʊo9xS4oVZ.w3I jG,=sdxL+m8;AT_<ӹ}Rb#UIIߚSIrY;x擅z~5v։`^ mmҲP7Y`x\BV4 kOHF9۽8_]ڶehDQdx˯@\xS Z5HC~JkeMļ6yĭZ:wwƴ>QR{!F0bX$+$d$g`_ˍ'x]= ¥Wi I^ FJ$-iI`}upuL;5VLu+-.IH{u; /x'~ЄgdHrKg-WKf,QAkJ VfNհOIF_K Nc ̓\Jeǿ|C%ݦC|7iHD-ida[%eдkt}NJ'TRf )U],Xkp4M8"\> 8=nU8NTuZ{{p\!oS餤>%|)%־9|uљZ`mx6!Xǰӕ~TvU#!/;á;_m׃JEHo+OjL7,J}r55F.~VZVe$[bY2NK RiVӒOlI)In$ׁl  OٛgiwW ~qɕo+j )Xh$9'7 f=i5HQR_ uTŻ`;WMڽaH`oq#-t h 5L36XORS'MپL`*O[P(!%}!L| QQw%*g ìmN8GU=8g> z]YA !R9p "rb<(;EOE #SͿ/s *TSU K-b1= vqAQqnCZ Q3mO@y"B$3"^2*-GraD:: y@u݅* c)Or5жh8:}yh뎑93/q^+qQXdi(̹/q qu$y@1wlYBKeyk;9Ժ7Źzz-o[p5o,]Me>>I'}2EON.ٸe)%֠Lн>8"0hX| veo| d}ހ5j5C׬iQ4ޓkJi*Ff} tUaMè+&%wbd dV!I[XSX ii҆ ;tka:h;F.&?1mMCrб"Ywet?l( Hg[B]~(Ѐ7̐}-ԹpAڮ0ڕ!OLJsI*{¯3-@@9mj2NYAJq!KES[:G[x2n$WC &[y'(FUPLV'kO9S˫y^kt*5;uڗV3Gޘlܦ=EgWjU~&|៶A}u_?vyDv-9.4B^nՌ_36j`% l//A%KxipoҔG{K-.LF*4 x KHLKFso 1!_\/:"8ԛ$ /{s\éCQ ;7ET=lorl8]9^Bޱ&z+T#Q;s7]AKvR֓(zH<?T }MQND%_ᓸO4|ZcPoa;QnCsCFZ/|d[RWK5ǃ8ٟQzyH6Pho%;N.+Wipoz^TXB쐈aS XL gv;z?$sLmdE )2仄;P@ KnD0|#gY>@:Ju%l |2"H4i_0J0PO֥HuBSZU3dIq=O0r76dAH}7%x;zB+!,V9a =u=aH r5[~ӣ##|x U// M@"g*7܉~fN-&Lu C`:Í9FYnP֤N~*O{+1䒢),IFz6UuiݫjZM1͂W8HYl k uM"߉ߚd/e=o v[.]wĤYܶTRVO^z>}:j}i3ɟ_[b1qyG#!#zɴ:ɧ*#fH*NDA 6 +8iZٺ*AxW_'&'Dmas]}Ky)k˞۬ yn?aXr]o1F~%Z uh6X(W]wzQia{Zܹ4-ZҨ =? |]x)"$LǂMŮ*L֨hDPWDrw953ݶrL2[Lph+tR7i?֬ Ev`,M8smm\~OZ .3PX@a e"7in\ nP*S3bzGiSv֚)%USB08Ch ms:Nb|}g]`rʐ{srP’pR|\jp/d!4|2+爽 3!U5 v/h4>qqJ&_NmCvi^EBj(jeBevMCZD!^3[s˕ShoG6lwǩPvB E4b:= U*=Iy^:A9 F|a aD56>1g#9]є.=){G;2 e+/W ]˗xt{oj{Toa4ƿl1Lz?O6k Bwnk^QEi4wO~8Cw}x_^$DXEX2tޚǥprS}"PS^rC70E3/j)"/d9!@Jy[%j| hn: ̗+8O}xB//8& ԉ:3} ttfkX.  ŮQbQHh$9i 3c:E8 ;â`+T]3hC&MpƞCN&Y좂9_sMk 7T4u196"=D/}oM& Yh!, \s7sslX~ol$9nP?tu^ Qlbq(ttFph?Ӟ@D. C@[g/xH<%v}'}+Zt;n=:đDW*VM0aV_dGt!N$Ȝd|̓3es4W,qYEp\C듚S+eǵVGQ wyDkG痥I%V>!ʦyS6Юv#6C2 \vVC~{:g~la[* @{ f0d+}u(+AL z"1ke+PػR_T omz !P%{ *Odެ=Wş@Os &xUBPXQ$Q $P 5Cdi[p8,eҘf8X8GR"*q ^;tx]PTVVNYSգ^psx~9X:y´vG=md_-`_.N2Zdž,0C?e9F:S.x - *ԮPVqb|t!],_m4=l*A ivE^U7)_Br@bab1sbv z =Eݒ8N@K@ԀDٷG@qd|+^vMe=nVD1Z*r;5/P7\;܇!H 'O/q#eO^={3Ϧ!7ݱ8-fKYq {/Zh]+jH?ZS "_}>*H@ecgE'0.(\Bշi)Vlciq g,1dWOB]5UZ8;}ϗRY [\|ybc8 q C jx{TA;dU^$t"҇#}]xV|0}ϙ 38yz;=2RĹM[ kkJiDzͽSTl3>B4j*c e`#N#YOϟ5%FfW&ИK*\~~!1 p]\,!T!kT<}xWpaw3eIn]'@?Xfqպ'(&'I[cox_4U)x/hEh@f#Y}>z߷H<<9ghb5@ÔTsm2|<%s(CA#jv`Togr:81Ѥ98]1JW v/T 近ĥ]4S)>>#jOj$Sb3%Nx>poSz@Vmψ)rMQ"D%O,hc?'G8ERyn=zWtyA1'!סcS8߸bRM9Pi1Kݑɴ,<)ڭĖjqĸHF℈M,(|x9i_FnfTh1kH*Ynp 2bIڍĎ̟RkFX2Q@}<VKqA qՂRPstj_Fpoͽ0fB8\t7y oʃ([v?BW]s$$UC_yN4~ѹЪT|f]P>Srh`i5_'R{Gd"sHrs}>r2_/{B-Zr,rCq8xd%>qR?ҵ-u`HOEDML}i?@ ƞ9xgR{Y1񞺝3 9L&*VBgYZf9775f33f2e29d5fccaa2c1222cad6eb7a285555e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 a63742c749fa990fbc72e4972a8e6e8298291f00 aae0c9a31cfc48d3d396a6f7eef765b2977f3dad 096a98d3f3984ac97cf9cb1e9b158633899d20dd