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 K),L eS]Incompleteness:threads=2elapsed=551.981cpu=1076.392gc=17.296factor=1.957zXZִF! WL]ŗXf1-/6vRZZ,}ūG5m'n ;=qVi7"(2k}ĎS&K\~01>K3ϻ].7\C FJM܃b˺?O{/TXł7(%/Ia-,X=ޚ﹑וkϚЖ s [t8$D~Vn Is!:9oK!^!ųaMMkDx | ɠs!3~ẓ@8&;el5~_5NOĔMM7q"kCh`bb40Z8~|0 ) Incompleteness3Q~gq}Yhu+LOZM- N\hԴC#N`0!1vYkCLJW{ƫNjgyS V"s̈́dK⼭ϴc.&sB 5f" :<`Q BI "᷍z/:L ^# d}x&7=q/7Uoߨ9h<M#)N{bi/|NƝZ,o1*H,8/+R>I8v̎,X) { D늜 l69€ } @fǴ$ߥ2ZH;K!AZuh8 [jcnV3xκT3Ť:a~f*QflXs 첓jch%!Tt_JQ$ 9mXK?{~ۦd,L]#}gK I#7{sllBNَOL(`4,ThO~E0с^'hZS JJ4Z ~G>ՓXX"? 3 !U%7Ӊ`O#O*uJ9FMI7HBJ/F8>Ȯz~n#礙j;HR5W47h)*MA*&Tev3'432|@P|gx WRG4%Rq;ُ&UG.2{ G@p`ݢπ*`U&HwAK'SB7-O)R*Z3jAF]gQ~k <dG!@v!&t\͇!׋5c- + ];]c ;g= 4Ͳą$jxxU9wϗd:qBz?eq4ZP4*̌9mE ES1i6A0S:eb5s2CeN60QmK]U4,9<@XOQ<+h1؉Vz$!x}n]rc<\"@P94~UvOp h7}0uyu?LЄC8q;ͯ $w8iGغg?Kx RilAw/Y7!iϤm}_Xr 2Ȃ OA3vY|W/|Tw ƱU=_.}R}K0џ~OΪ2`CȃZn'N\<%Lpo{6 w42%eB6~qqj,&{VRg4]k͐@T]L>dKUai^2Tކ3yOS+G$+q)Q HD#⢷򲈫ZSF]YJz1hd?AcRv"pGn]xǐh|B``LM會l"w1qH}y)g&*ߕ.4OKp);̺>R޳@ޮg01qt}H2˚rnq֭DR dܩ[\(l~ ]IC!o7Іf>x:+])8> ·yg+.nIh :QG.H42\G?73jXy~"^1^$.$= ]h|0LR=iMh;5ƍrCa1XSih75R0OE庘`iVv4L-{eB7n+JhHtϚ<T\\5q zmzY|JSbڕ{*O=IaՃW sSsy1Q!ϴ7j>#"(Ti'ԍ,=;3;!~:w]C~IlSʵibetL=s#Kd?t\S:~t_'Js1IQWӐ;ob*Fˍ[aGl9+ZϪ2TLnr‹DCϡZ؄\(Ɨ'$k3>" 'BC,wH,_@s`4N^}1X]d KM-@׳d wX>/F3%#pRmT6҂27,3Z wd 3}bLԞTLjăBY3 7e0% lK3P V˘^ r&9p!|2n] oל*S0)(mBէh7M"LqdTWM^ŬOsuqѣU!I檉><!%Sc杌 ;_:\=1}i7I+IK;m!k:DspH68mgns(8;1mtn |W3UeB"ۇ&pPCwIk-%*%xhmRo\l]s=㋯it2eVXP%;lv3 eЉ%>4~ۭLA,覼l =cI?jCeܖۯ'|Sy0$sH*ɴYt v~ҌxhJ|'B8ʣ(dJg3(^םVM:a2nO8k/x@,:>-xϞ%'vd@Qd;Lz "㵼q h)%4lhC!/c wBY(+ })N@dD(EL1lP"bk{rʯ8ՙSзWҲɝ~tjsg(K URdb"xR{ PMjN'7lHb/y^jm{sF#:nLA!%>22㪷DWY5ˋR~,G5 _[Fi*ߪ~ɟce#oX6\~諆Gc]_(L^m2I2[\o4٢$8ݯM1(b@=Y^JB  ep_y5 &g;'h"|B P#p̗B_nОk>47b{ K yFiZy$g=F2?mOWMq,"U4.8 3 wP_gekoϬc/"O= k&=g=SJ:*lڝNZ9ubq}%DL=u8s<ƒk$䜈@Dy,D%0B= MJzo;uUSȤsV_'Q*V>y-j޶bv;J%Ѹv8mau| ׹,jjXYgMsqv~U#HJ!VSulkEK`7{.Ob s\mZ@R{w -V9-Twk6%Eu qXBsǡՑ_ngUz楄M!LkYf*yU}N}޲+ZbˋhB2S ih^i_+u᰼_Z5*Ћ=ޟgb W7_AN> F=[i JSEY0,R*;n iu˕mhVD+ep ȌoY/K1m^tvBY/8}]biMABwse^*E@*Zꝗ;?  \2KY_rْa1rcg\3ys;~쟳a8uB+|ԱWLU<._j( ,]t vj@yY p 7A4zn'udV ΈF!pRu]ahXS&051}^Ey̓x.ϱBfJ v3t婊=-݌哘zq?Zn^Z#_z{y@FLl<=}'V,ڦ;E_1@?YĂ,nK}-qί`S+`ET#6+$6ugNrژ${Ԏt|ɠGe3ìB9=XlRce 0 g (ix Fgvt_Α5Nd G.+I"%6A`.(*xreT {|_PB0?fi&w2qRW,+8[5h{v|~+@R>Sf$`ż,lH8*[kNz1ZJvBM^Lm`ۇc>g'ߟ}[t '[|,.ۨyv;e GPy^o'֨ۆv<5`%{DbT$]8"V_dOot+PܖZ\yPL:/sVU 7Q[ m"d}EɢL5*z_BZ&% #ɭT.ިZ%y\*`BfcԥSyzLtg <;S0TLl0*%$p;5i]6g^y@lwH-p?'Zt;Kv;߭yMZe;z .LI:G08LaYԮ`ImGzm\VdЪ;(͎%R!">#]BG9; $ow߳R/a~$$7M.8 ۸1p+!!$d!a,X5e*\',g{;vo;-z$"Bc̎(i B P#GOΌjφ w_1!xPQZ-"j+vd"2`-6nLB2[<Ϟ'mtK4TV1h$;qgDi7e{}lюmQ;2T!UH CfI3'rq3֤9Yv,&h@+;A35k_ M H_Ǫ~SFpAq{NUoDnGZʥ8U8" 3$W ؤ}Ϊ1bIK`;Nɯ~^dF",3 +C Ӄ&[}A;`G4J08q A3-{Մ Bš4@Kþ"rz/G^03Ev?w͐پJX1AWuÒᘰ0/L=:Tb w?a>~29>+up)iˮC/c`` KL҃#񊽶l4H `P{~Ygi)-OMw7x^=E'xKW=-U7J9.q'Ȳ^ӵV208^ =s{Y=}zNM*C7 B1sY~ت8E DZM`'9Хc/ \њL>QD8#`q [KY\_u[魨iԕoOꚉBi~>T2S(DhC;%fs{1|ioh͖>սN"QΉ3J9ndvon)u(3AQ_y3YFX 5byP9D<%F-GbaUS uB; 09}vUWRfՃM[ 6^WiS*#'Hg'1-kdD/5եի.8+Nּd}3420~\zڲ\J?poITjIDufT Wrz"@p/5A X1=epEK 6w\ywhvcFKTmS99gb<[!>ɟ$9l#v01?kN~D˫Te6  >xYAcI@+Ẅ&r5&eK'Z.)SAٿ/ec{*A&Y/5c1@QN^V0 of(K{J-)vh :{E11uJs '%l~ꖳ|meݘp6-2"W#FI5M*<=6];tXzk_/g %eUqv?>DL'ɍeޑI\D/uĮ}ˠ+W#]q(ÇNJe-^o؞u1=ۣƛ1F(}7%K+'+~r1WdR7(.JӐC[Ukj[wLd`c+%[,3Fv}=d=K2u_yx#CGy^"4 4Ϗ$­WXclBHCe̮ғe@̕Tb]/6g+⠏ jz"Ct3u71̰Ps]/UAcQ%T{ &-- $TQXzc\*wj(O ٝ?+tGt{`l4{Ē^$MgAjh!8G;a!ӊSu݇Hsd(2InڮYaȜAߡHo)\ho ")s٧ H[N5OTw}ǻg㨎4 wޏBh,9`y3\M!Y%oOB]a ShY}L}EӓQm(ԍ%9ġ8k4\`di"I{ώ_CKqBxYꧦ8<tO}P"L](=쳢NٵZ+cG?3:_WȗP uDDLJVCu4 'bM!7u4Wb 4L-+:.r)Ð.US2g[Dq$gxeL"zD-ٴV6s;;< p41HQsK~r|8 ;;Ӄ 'Ȓnlt5 gC9ȍPU^5Z98s;J)i0+}Vebżu|!ihC@0B5kwf_{GhdOU倹9Rb Jv4=vƬ߄F*Z _q~QԁҀ)IWtYl}Ĝ,\?&CaAZr'ǴH i| ͫ"4p<6 Б)r)q|vaߝjj9m"&v{ *<|IG'ȀdpK'lC]AkCL#>=>/ s-x4XNČ =m]7L/M' {9Qe ԔV0 р.`$RNxA+l{8!M6DŽNI^DsRlF1N e{`y r)q`O@\-jn/[ _Nt1bxr7៴6)Af ub$Y:B*p'r|S3i%r6J"*J }9_>1>xo} jT;Ӹ,B6 `V Xx!q\z`QɿFBMD[o6 BQ HtKfYHqvc٩MJ-a70GPz9ł,eYЪzHuHzSgwST;|zGb!j feaLV?-i...}ΆV%>a*{39a9E70o!auLńl^PLku\`tpC"o~Y_АZZC|=l/܎K%ͬ=p^0;9$\.Ę*^ږuٝ?dvu_=q92 u<aT8IX[bgy(FE}0&vnD{A26uu||9i(Hp37̘YEHxzg9Z{LRlQ=>9czVjnUd5/z{fMw{uCσe*wۑwAZXYg-L kFC 5nd\|P}>_CgWlѩX 0YFU}ys`xw!&!SوT5Y H =DZ FQ2Kqě2 :P2\+|,{eN}o"\Z(˯wtAm H,f&œ:M׼[xsha YJa3t={wp3$[m= f\,P,!JCT?!L;:`Bvc00mqGhC{ИͦYWn_okm!O/ C׫RFbA Ј{mw-_ z s[9@;X i hE`L$C=}j쒴zDp<v9wE]9L=۸Nq.MfHCChY+X4wv \g> yIL.\w۝Pٷ(o^ݣ|7K !i2hMe&s.kb%6fwf3-zhGNyx3ZcH%`\nQ¯m/UKzh׵ڌYD'X !(_rk_N)}W2mɌiBcOyqoqȧ^~Ξ aXUj -a A9 7o^ݭTƆQOo6J&/'q( qܻT?9b {_Tq29?\Rݝ j"dfRYh-ܒ'lj [{p goR:Tא:i*9[) h8 qF\ݶ2 IOd-dtTP * njCb>ĹJok_c|(l܁Rێ,OQ0`t~6adYGtd1kdDp/w^J)ij)C{o]]QJ:d-##me W?NcH4Ft>lT]2|ŷkkY_BlAHDދ '\Qq[K&w*YKc+2Bڳ!}o~5 OnNYg FӹZs },RK^㉩zY7T yl Q7s8N7XlQ-:6Qct* *$4ԏb-d Ƞ6r'6@t ..l*1Pq@+sF|[bOzv AY'Ȧ Cisv9J5cps+.xx{3/ 8 p{&W&ƒO^+V`ȈKC5-n/gꡳHBOSxnNy-Zʩ."FSGg%OH_=@%n3OVѐߠ: uM%;/$k^h,u zԱ>()8ku*d|3d<@8or: eR+jҦK~UXc`mQi5\N{hwB}ϴ8PSC;>4YJ=AP| EkbIl+Vsq8<ϴm`# ţUaQQgS[ V3! 5"lӂtDػh+=ʁ %dG.G.w\7{$x=S_{ CH_ 'SRJ`CÇtQ|/`%6Baq:mYYM:EL*JT@LdI` | ~XJaM.)%zAZz0F  -8̲s^!'/^i bHqt'W!#2#[>*'B4?2g-*6TDc 6N7ck`rDžF43{n ke(;->2y9Dc} iY+Lww_daC:[NCMojSp%qx3q3H-^9kn|贌f)תmGgo3d[M[חdeҚx&SBZ#5Hf}؍IbJb":?dQj^arR<)2 ð8"t֨~ xl罧hEc1yJ®DfFW1cU:_B>s(`Dsi;uQXT^X78֎RʾOY 25 [cNpK 6 a/yЕ(LkF<@+;u0/HV0yɤw1cNt A;6'qAUñ%"ȂXLXp 3,⠢JGjb:& .M-{)1>d0[(`lS;okpVw ](#'"/x$m/'s[ޫ jh_Vs@v{eMa}76Eri)E!A+ŏI,_&ڦ0 [t{DȒCG ά؅$jf7{:>\eE{iMԐf.<$aɭ )7٤+ @-E c˄E$$`o5xӔWzD#`,OóQ@|n~\PɤW%fCއrzH 3F[ םm`T$RP'#/.uZWP9PfLyn7U,]!ajFW^3B, ]+KTF/ͼs#16=\l,$_2Mf&U\FVOI1=T's'*h#]]f &~oR~INE^oK TOq^jShYZ}DH" +fJCw Si>Jw!CS_6e O RM/#5.}$trm6DBDqJ3c,E#hQqT w|eS{bVmN^}3tpT186)f RV/S. kMb16{z(\NܣKT V-3t5:+F9y/:Ăxt0o-,o Bhe9u$ES5;mf+q+&C ҳGxy鉔@sꖔrm,H&J#TAwzDObDhwc/wR,Ŷ2e#ĹjJW;. C0cn8FcAh2L=nNI JGĥo*I~|{Nem\ٱ5KY*~U:QI|D`kj! vizev,F,V kwr*oð#+nuStĆ"ٟm#Huٺ!9[R 1i)0!sԂގqj~e!ZӇoO%dvӔL39rG%"pPݍX@|љfLb);v31 y=j.L!\ezܽ44OeF>ǂa@2:FdF__M${PJ^W+4%DH!Sesm%kFdR1))Gݱ,n "eE j#G~U]Z(܍8['Vc7rZe;l"q*}#i?A#mY+]͇CaG4^GydiF.`HAu&G42w& i;zdfYCUy?K3 | 2S^nzR0e"^lJo^}otDfzYYWI:Ie35}Tz`b &M5Y^ͻX&+?z54,#,5`҆]Mf`*Y'gqY%RCi@\Lb w/@q8u@6㕃+do>sgUa4y!;1\#EcRKɧ>(rP%ᕥc|.&Wu>LxyeZ8;@L3? b6ۀ3^ҕyl?F~"0jpe;se ⲋFIcgo[ :TlKa~r8+%BVO9лHD?M﮹sAt1IR&[nظ,5LU^3D?xRQk.W\b䊃ۊKfBŃ#.dW J/鞒\ _d1|藈K3zUY1Yz],9rʖfrĂ [D4@[YtϾ$"b}Aue-+fkTGp׿p# BR_BŇ5D&PC&io'/k6e J=eo.'+D ч"#mu$_1eF=ZoUh\PC"E8{%쮚c)1mszxQnIv\낒&3ul':8e=@/kP;ỗW$.ʞCCN2iuGD}.4Xަi2bvE†(kHT~M9X léaf2b('}tT,FBvDBI9g]OV mG'%7"hpbKh9kok2L/ "\iUS{8(⼽>We:xt.(ķ# 0V$,ۯjBk~;p~Xue(&I4W&b2Uәl^\GXi{Q G_< + Ԙ6L訲qzFKٴH^XNP=ڝ]'LNʶ/ѷGeb/RT$Y$@x+ğ #dW,PҲD:7ϳ̽FlRX$Z |iMBnc{nΡ=XsRmws{n ;o*WxEϤXWBmo[0bJL"(s{[gtZ-Fj se [ м e/&6v#D3! uiL.IⶌldtpŁ\ƣ>T\i_-bD҃w}YH]!WԖ<Ɍ`J&EZ&t ^)3?nI9Xwcb fPC֎l*'7E3JSЏyRɰ 6+O"VuR9lTOW%!͚aC%ȍY}ͮOA7\C?^c4%_h&kCՈ~%rN/O(OyԄ4IV >F(Ҡ<(fm&8+P?kd<*_24ۛǺ1Hv) FkJ2a _gJ|u1POv&nMXI<$HC}i! zԃwÑ2._0-؁tg/d>Í;LAd"(#W6Q7 5xc!.*4mMfI8.mZ@F&w«*$ AXFc}Zv"3I^zR"`ь>MS]eQ-MKxd&H 2„n __EkwS[0qڤmTfS<uV|iq%8>f >bD9p=Vy,f9 70gp<SS8 Ft/bTO YPs~+n ]<#@dVѲ7u `υ;^S"ɒO=8726eqV^k֍Fn:Dɿa]ݏA゜]5g,lPa \_WqXH'~CV5g&!8$u?Q}bvЁNS>؟4e:qq rO>1F!x%91%*bClG݈O{\%RCmG_|;M $K ~e8%rNLs"hIyЊ{ȟh Go]N 5\y`zP"_6<1q,\q۝zY6.@l}Ň*T$|"Ϻ.S%a]Sm3|gYZ7zXZִF! =el ]ŗXi%!R3႕]ĖvĭLfMse Y'm~a1.dP_2c+.{ϛ$9rE զf@e80fUvLu)~lm Hx3?zvR砷KiuPDW Tut.mX,W|U7QqhuQ/r+ ap6~ӦV.*CуlB;U z,mqܶݠd _hA~ҷbTs N(8I{\ " ^KL:rU̇]NԞqA@ZXSPʽevO6o+Y\ x?b&w: 76a?J%#Q[n)rQ1^@v٢S*c^ O←$Fv*7Rp:֭&?͊,LB ZK%,(>>b jZ]Qryffxi# >S6o9m9l@.h)(aC A\Cyѵ_NS@.ֿ\/ $8[UEQ?'kE*0R=;M ؋JV~Np]L&15~\VΊ-|1   eLPYF9r S_K1UsoM]g.-F.oՉW||_"`NV͠$}]ыVuhWXpBu3,$O,&j d Zp3Nv[K*ˋQ#,<~E%",a[M[Y!A"C&  0@M/ N(?.P%v &O"KȌzS_k^nJV%^ *EYT (6T~Lԗ,=xsC @YT\㻾f V@O>[gH3b>}MB-*ਯzje9xTekeM&K.ja}Z+|{m?O; c_-Y'ў8 y\Tջ/YW#|UqoS'] DivG"v-Ym cYp`J/F]wOIHpK]}}{ܓ]^پ&)C*s܍awAWYdmS3HCX:͵֌r+"82`MToDL~r [-iAT#t=HK*Qo1sa+o(MnRCq\ESU؀@INGRVø%ox b;ti0Be߈rTv>i"3jx+λ< ;\BȒgT/b5 IDK%EU'I L3"`ЧEuNĒ`@e%KuBfQ\: # |g+Bi Uh-+ha¤CRRʑ#ynKBJ>k_7 > *&$/mP?CS=>fA4eJ@E0DҒ7w]}hr[h7<A3Z `g:"مD4^Blt0u_ix_!h9USZN*!V$"u:,,5y('EvӾ+VϘC+P^@>wyb[}9.J-<#[p+߃f35K:n90ʹQH'd5>Q]eG2P:SFc9v8w{o-wn:3eQ2\)VNW*cՑe=jEY>Lix̃a㜛dzaAh$3ivz҂֯2<+ ~YQB_Q65u; JbCVk\I UWvY8jŗԷOBdvK=*c 8wxVVa`䃧DUSd2LDZɔ4hGMa&(>Fu@6OLy"\v"h:79't ~QpAjTFNǫt\aV[y":2k4ھv&LQ*<Աɩ/Vz="Pe]- ؐ ]i7 UWSiΏ߃'F^Y%$ hPLXcg]*`͓`/hƀG)>4/`bX0zExËF-)b%He Pmq(NV7 0/ߎHBJ澉bÌ7[i Eh,~+57!WZ|j6AL$Ҁ:Rmx`ܥר3bYn!>c=츷zg1(=:t(f ځ vJ8,-/!TS\|:B{/>Rqu./n"s—:@1 FÆ!M?Q[+WrT\? 8$Fh ʱ)fCzpf5#ڊ^=]O>*_L "pCm!B%81^,TSx7'iup LHnftMzrljj!: Vųڈ>ɽ˚-zfAT4~fYcs)EǥIרO]4\ElNv-AtGPYẼe3%/> @~c09J;cCӉbG犘sX,5|:{|@&c%M=b;&%@k0Bj:6K&YdEHmu@do {sD)w@y0IӺF0a }=Y[l0Ⱘ|%[1EV1pWB 9u h|* `&~;'ϢjA74s qx0)r9\heq:(.paȻTxxv&O#=nUҝqp4ɮ_$OP^WX'wlI2x6e$t`<>+fW2 ש Ŀh0MG-D^!g8A <@Gg& ^tC}4-/bbJqg>aG'!^"ݟc*ȝ3U|ŕgzuD;60 07d)1.9aYYiRx|L`yƸvDޤ?`) NO@;(FfuDzS0#Vn/fX{0O3&?"S ѷ(a5m`+*} OCl4̂Pa˿|tQ!@rɗDL"]3cA=m`8#-{T~gE!.+41ߍf=czAcK`7 27HAUAfCg"}&Ũ?w ziɥsv}]a"d C 맞B7̾JTj{,#sN0J K4wfg~fJ/pLg g.ONʞ!* S^[Ul/=F D{ᵹ*[OB|- KXl r0eV=(R_9#M>}3 ɠG+)I /Tk̒*;Z`Sv瓞%?/fW Ǖ0 *΁ :.Caoz |p C de$"vEb1!{:7t޾']pɎ݅ ֿtyNaI;4jF(Ն U][D1˶kh .dH(geWbTL)xJжd{fh2 ;as$Z{G)jӛ5w Eq1쭾flfVl% ׬db8Y6 H)|6>WoPhFu_IXHe9lqq~4r=Ll5&Yz-=)R˕q{pdeN!(2%@>σ ͖l.+VYE@.D]tGEl(lv X-0d8b<~x\Qm]h,=lEi&0?c׬d(CsSȂ^%37%U2O ʾ&>3V"ߙZ+qh5NX˕N pR,25F^&չ:,5:'GhTaQWM2kl\bW]B|i^Z߃8>Fkԏr>΀~?Y 9}"c j_g4oa03D++Z6S 4>/4GM!)Ql%lN˄=o?C[G%UrL~ sWkY],\҆)e:̑$ԛ*_=m-[vGέ<>IHs>EU$n:>tKl@5KW8R2 t.φfT/qG@RH,du,9M$gG)J18Ư`Fp INfW"tu(ZNnSEoAb> 羉_hyi\|518 t@R㣺tlhxzTǃOo <]DA|m2O*/v՗ ogpWvSIz0|V,5\[!?I#%{4"}r :d0 %y)Z,?A[>5 Y2 i6J/˛6}`؁7(`ZʊMIT*EHn?ӦN\D:{3V#5p)M 2aA:1N*Ƌ8-b) sa 0H'}l-?!+=hZr3'j3..t3%5Ľ1)"s֏rRO"V*k\}3*BuTs7 o<=~T8ֱ$h+ZKԁQF*η*s^:+'BieLm_Rl'}_dNZ`l_H΋0HKn~ze~d+'ۺڲ~|0 ;q 0ͬk; ®nRóĴ>R^uE" ;IC. mITɺԩ7 7e-geftqs5ߐ̗*[)v{*^2^EL#vH}8i(H^\`|D ]*SlTGT$3L6勊%:>CoE:e-ez[C ;3m7 ?Od$/DEcrRI2FR0Y)=[zԩ<s6c7u*@&^ʹ)1 ^4&w\@kIfS/l[@jW0:"9ωǢB=qbd2J G (צUҍCW`JϮ$;HKRJ.v <T8Md^hc-{1D#6FvPhBSO('V Do&)SOY[pMJ_iYzY8~h?FްhNt۟~dyKZg$w]\FP!-036;dko#A9 aӡ4%X1@&{"pk<!GvB>+IzO8)%&N7pď:9H7c R6'~Y~:W&})@寜 :[{Oj7#:Zz7Pu!wIRoD$QPSV+ 2Zn-w7Ʋ'aWb;oB?3!*(l4SbTe:x< R8ޯ+5큸7]30BVQzPl>Tևqa((!u 3<iC.vPy#(0N*ܾʊr"G,e:)-)|Bszy[]0sPHߟ4;Rϐ$%8Wǔٙg5+xJ7(fr7F|74Cke o5?t:d:JN`s~ ' AQGmHvtLmrHs~UVKX=oRp*< |BWH]/Pȯ>>w1I?J7.=[UҶM$7x@׍nۢ4>ͤC4RΝ93RQP[ ᕄnI-j!0iCP/~L RPƒ/2ֳ#wW$ UeٱNUl#/{g\ & <|,iV[^--8o8Fd"&z9OyQA׃C9ЪmrS6E#SЏi׵0mn;Md()\~km@*Aeb+dA;:!5m[M,d"zm='ֱsC)p r1wy39C&X[CcŇ1}p1@9F| 3c&GGL߶k?jg6. !T.[S?gه%OZKʺ۰΢u/{g{NW֒6>>ŅޥodޒFL\d;D9J<1X .Y}ӐAhF#|b +6 aYfO;c9mzETu쉼QPZ癏А`N2=oAj5k!/],:6g$Phb=`4c)qms z6Uޖ3VT6zVXO>"58QZ\[/;\BO`Tj9Z1 {nAHwEy5"P&6"]d5UEGHhCs߮ܜD/A՚]Wh:!GZD7/НcR>mnY0j-a8m I#Έ Y @ fny$)_;^E}X k4 RCo|IHы|ܠO 3@YKXu,'܅zBa,ƚxow <`;Ymˆ!sXP [|RF {kz 2&z&7t kyE}%\>CKPfd"b[ YkOqz y-0aq>x7 [mK,x>c9Nd5p,ZGW+ pj#b>hhqho6,)NOjʕw Pm\x `CqRnH}}O 2sno骰F<1vzn<<-ich~$2pͺp^{EIE# C:r#d6<|NSكGJ h /"Yd;D&͗qK'ҘM$FKItm۪z8o- Ylٜ59OmkOE)`G в\Ql2[ B&)PlCOMG hXxf7)]7#8[ܧh%4K*xp}8ZlF)v1Nua*Kh* k'2> 75d0!2e6ODNu<$ϟ墻ND*R?d?Aޤ M7n{UcTj@h%;%XZgaITXpq/ ~>!LvxMS_m_cđ~WT).Oʾm$.݄kuB4Ljw Gl"sX apK]]ucN٘OTu*S=RYI $Fy!|qِfX`k=T# 'CGE:~ZWe" O8-K$4DUBQD~MV/aLja'Lj8/h7.ĥmuylap'kYJQ?з80$X0,kD|0I묰"Z_.$ji3Wti@YFV*.12XFɕ9 ?O8Jͫ=P <W$9z-ɓ{DpHB!ř]%cX?쐛oܲY Tq#Z_^'=!Csl[V~qmSEcZ}4>[CO⃺pKF~}I/INZ˜/.qJVW/Dj;^Ed*3o% p:q~ kᶻ>7YZOYݳCRy5=Jf\cfSa@o&nO*ܱ>h]+mLJ1uvvKA=LZn]9_{g4ÿB sXȝ<<س;"|VR ӹmM!!EOUM8*mĄ]aKkR!6dk NqyŜ,kO&ùcQIkHȣӲqRewh2V-* (:%׺Hقer/ĚߍԘ.UE5Ҳ~,Q|gXqIdHg#fNkN!W"R--Qs$ta8> cW< #{Z! KH9L?ջZQA\XU.c,N"3Q!c\8[R'.St4?f!l{D Đ77qrϭ)t.4m]~Ct.YA: } (d`'= X4I@-G Ij}.|(hzq4٥~{yu ]omUĢBrjz~ 4twZ%\гÏq; faǵ6JfYHljR/H)+]N/Fn(]G8d-'wѪI<%~$FLΞS>DIqj0MO{=@PF˄-R?OpQ)/Kp.|kfp zݪuf}GE$~]9Wmdq. }_j>+[;'!w2B|Zލ k9x#}Ȳ6UA\_2cgK4p\tnh?O >sLsʜ.TZۦM2!okC9)ӓ4Udg{xEy8نm,T@ܝ"[gaǔL͗][U#id#YŘof7t4aJ-t=g |vG-ۂ؝/R[~(>`]%%p n%idضC2V猻9ߌzp( HxhiAh2ޝA׌ &,v/c  J l, 1)GOnq4'ZUD>J|XBQ40(N[B9?lFɂD<<E&zR>`ѭ06['3EFU37D SsJ|Hvc;gO@+JCNI7O1;5Y W8e#[p!W~~wb 3J̏UanG1Ħ}!oWM]$v|R.N/;)Q=|ëgfgSMe iW_ g(->uC!y(rcGozcJ+_0O bM$C2/Nߵ0}l,@"{nbf뢋ڱMu-?,yNGW&(i%0:1иKC *;6U]ijH4N8Y8\踙GG]ķbCPx5:fWM(^GxTob.h ?,'ܡ[Ds9T?ï@P *9"󳠟69h.OOgf/A]xKٱѝ0Pf Q /p,ΤPc'G;:[(UZ>M&9ե=GsM.f]|O';b߮|p P*mH(bӹC4cM/l껡2Arh 0l_wWp=bC:wDx q>u*{LPD8R4߫+[WnUyzyfcS,=r/zb%(V^4q'8c^2͖HS4Ψ}y==o@WÎ@-]iO nu@kSb觖cPj2r]oD`+Q(x8p/ָtزW G͆D;*-Vs",%k|a'Gd|($VFW ʙ;~Ec_ OaHol Mxܣ+%'У`rl^P-,/a)r8;Xu5FYtJqG.I}WmBM鶇b3HV*a660oPn@G}>n'ZHpGPRb [I6WOJ>ַgl,+BFP"YW)WH-!%_h1D鬼?v'.D%?[,Oje*{kiDZ>lT쪑&?(0Cgz8nW?&#-4y%4tJ'v+WݿƲ#橜n ,v3_B6nc>BS WEV7#Q/r?f-쳹ـZ&}͠BZXQ.@pE8vC/B-Z+DMz#5mMKR3FmId Li&UWg8O͚C:/Űxs#>*TF~i )o}r8!͸=v(ȉlm`FH% J$ε|Q'M:M1Pnjbi{pSޖk_$SZKbP͕5%9G9w1uLW&)DRcA]q6(0 XYHﯪ˻e 1'R!ʐFַtTM!:ƒ90MJW$E[{lh'%'\ԙN c#K1KI,}2\D.{,y];Ӥ)91B`uֻLhoA:0.@'E%O9ys}7^_e.K9Q]bUZSԤWJvfB _nR+jbSTS {@/kjʶ¤C9ӥ|7|g? \k@@Ýǒ3qآ;t8VtI_3gjw?&PJy 2rBd:vv%:e,ψR]ӖWfٚ+R@I0VUu|Mд:w6F/S]h:i/iTҔ'?5uQgt=aH)#T7XG;)nͶɩG)Dgxfe-MdnT:H)Xk5Oeiqt+~5t* eяBIo e7ɥzHtvˇ-#w^Y$. s Ah]dj) 54pEtjSN[#}W.|m7 A4?&xDK~0[;v <V,h|bsMK*_rFƭwhب6:'$̊2qJ݃=c{F &aNyp?g ( JWv1@e\&C_<$ Hwd4d#cmjm$s5*n+yn@ѷ$%( zK$R`3}VZ}'p{ؖ;O?9o.C}#WRl-=<Z w+L%."zY\#5 ﹉2GU7՗ai@' #XYͅs?EԾ:9|$/QF5ٮOdgT~K4.ie)~1S T&4EU\ࠎx&`nR1u,ap On|.R;S͹l줮K_)ĥ[B|hPX-p/l'A zr6o۶T sL,3xY6T৷6/iꅍ'wΖMJg;-S8pAj [xp*?JDD%k[sRRg/-d,KށLtʌ9+fgE]P5D>lSqy 0]ف冠6VP_Ac5%=c[&T/ǁ 77èЉlK%Iɶ%Tr9 Ldh'ۻB켥Y|+EtKki5ŶAPb8"S֦Bur7] /VD9M|O%'. TQ]hlk 5?aW> \כ򋝿׶U?1S0{ c"X{ ? %0w7-U2fx y(]yȐ"CxP8Lbzua\.S!jvfQK+*c2fNZȦuo/u8zPGՎoH[yOta:lA C&m`=~7[E{2~2 )իVk!A寖O5C +lTmBg5htҴD.r*bC\ X5s_aMӭ8ěZDw(1d.Spi";gٿ2b?y`RqENIֺ>AB!*)E'mzGyp"=iWIiwW8,WgۮwӼ5,PDi5%qr%‰wI_X[ЄPapl?zBO~!HʡMMg#cv&ks``\u7Hw% f?o$ʐ5ѭ+m4:Տ7G a&v"K[Co K̐r^$s~_WSIa_Ƣ(#h rp'7V 1Rj]C!q R86Ijz.w&OPGnTԴ^bΌ0؆5. jm FF~v[xck?$$?-F0G ,QQS ɴGbð'J;hb`rz{@ ?mE=<_^q@JvY;$ںRP;^q>"B#^UNCR@drs=y ܆ajQl;7 U"N ~>4g&z0)빆8 'iS-7ͭD3{B5{dEɅݽ?a⥹5(L %oLZfب.u@s$rb8Bh?dn*25O΀_JXB R0ij.6ZN*f$hkV7h`nmQ[Bi0d{}9G%`}2Kh!O) i"իRʒL^=W>}PUMK'Jʗ1:(08SL>E?^/}} `GMx??)PB"斫9RE`䵑?*uI>+oNAs>dd#/$39ab}F9~P++ȈҐوP,),n 8Հr 3;vb95,wט8BRc ݅ ~35Q xݔM m )t7!kk=s+jAAZ.}搼W[Gt2C|- ~EšNLJS @y@寕As%#=sM4_DAqV |4 6 ib"LNiY+_ QW0LXIuoK҂ {֗ M?!|甙!%Bƚ/#nɈ<-7-oBK73ɧ+&e RRK[') <ډ+筙&\ӻ|A?`W),Fnhq8mG=0CWyUf~H+c5=JZ_^ +bbR1lp`,!\)5a|NjΥo化MQni"6=i7ViD2Gă^\r:߮4z|ޑ&X+(_rv]Rk8p/: |Dw:3`vOPmL_% LG2n--&2vTOlROEW)xC)ɖuC³ߦ/rKtݟɏec66L=0IP&}\T":BcXE6LZ pƻw@藸fh%ݕoo1hI\<v T˰iALf浚J<*Zd^eCX;:#$稤qzm.qi̒?HR"Y~d(#v$?FG_:hd,(i+*yQ}{"1_Ts3!|Q(lZ`l"HL/ײ>Qd)BxxeҬu+`D7M37R{hz:X:,:M.G='{@gc!RB[\"4IlaRw;lXS*h7kO歺]05moam#?N,U }'ixD'W5DF6AJ-n=aH;nPtvS4͊}Vpdl02 < >`7~: M Ҫ uF{Y(bCP`Dµ%m=8Wz32( Y_^\BFNoer /B#yJs-&6{Yi[7TdHϿoOeL6#DbG86b6QS {. U|7YSDU{DGTei~ wUP;cώIzJa. nvJe}Qyˏ~z`AZ'kQT6 F CNVR,-ыQD3TBNTGlM4mW>)AO^`S2C5ǔ `+9 /mF' zD} i|A|{_Oh<+*ߪ fn'WxyGi8|'*--WIã|zŹB58džs{1 }ܷ=F8dU`ַ$KZzq:WÛ'ތ6Yݶ{zK ,C-ҡ>?Cw0hUU+KOZ [r` 9/Z3xs~EDFVO.R!M/K`3:MF,ļhOV6nwpRX#F~VdYjtJqQrEJK8x'v@:"1#:>kh[[# \VjD ڭt׆T.&+#^٧K׬W{e`bex+R BN74i/ÂsA3獵RKRD't)š: ?vlŲP,H~ ̦2Or!m2lax91ĈŠT,d}~WX&_U}E4ǎTiI oWX5甉{N.Q5گ=$h']@;D_/#,U-Ϋ YN0l[;uU'vdp2GN[w 2i%*?g4%SO`21 y)y9 r/F/LQꂮ:о&7VlO,mnI*RUo3 r%mb]vo&~u_G)S >F. -ޘIGGp?tJ+v8zx/,/9 "n'C$燤_XK$J,X*<Ԉ 4zW56GF_V9[n۫_iپd<=SwS )Ϫ8ZePJbڥ٭kJDsK^aC@%e+r(]* -WTsRd xF($pQ^-WU :wk@rƣʏ"5Y7h G==؀S1!pMKe{dIw5_ǰ4OH*ҝt Qb}f(#iljf4_6c Csn/ Y`pkm6zn9{[tsidtnM&Qڹ`܆,DY cT`~;{jB}h+kd:E!U7B-3]O=sEzs c ?\>$5liû VZhnXdoEPSn:0q0?M\09b@ƃӛ R5 `$UMDALg+d)|9.9Єٽ5y j΂EAwaUFRٲ2MР3}8B/MjePn}FOtFAdUInP tN-WݤIRV)u!;0@;!ݠ2dN)4S. *?ЭFzV(KwZY.^䛂0u-uW*K7PP4p e$i'kJC"xcVi?6MV r0QÒ*[AOﶗ͏N}=Gp'C{f?lܜ/Ů=!n4xo B8yoCo|%M7'^'HaZ`}w@VJ-X\8>L$;狐VuK^][$roEmzd㤣24іB<^!ʭ{XT :"$s!@T7?"BM4X#xfA=PPcYݞljٺ`~5qY՟42 Je 5Β9])uz:ˮ{BL@O^ 7G4OuX ur[^Ͼ+ml#d=/}\w06KUј-H)*p2C!F-M;Ss3/y#Qy}փz+y^~BB:X)fړ0醤,Г/z0GBKahO~΍'C<))`@3/U読bF]C"ëy .[(Sd{U7\QG돷kY{2y:̐g*@TЊAH?KW G Hj 2@+ռEF^VE6tv& łIy^sIꭃ-zxlK_ @7˜NgofIt5m a*FZ(B:ܼuw3m"ﯞr PȪ i"x?AD{rzFT `@.i\us0 s<,|!Tt 1~ ϻX8t%*;vP~_dǰ{Mfzy{Yb13Oں>!l*T bt~]@/eWT5ZSaR;zp}_x"bb_`D"DAyʹM w]~˴'%JodqcRmX谎l1Pk\LcG(YٱgYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 5235ce6aab6def25d3666bf61341c40d04014e89 61d13f390a9a8d1e31ba2f9695654fca769788ec 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 72654f471bf8124e48bd6115516cd18655ca2033 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 a07055f2fb48bb9ed75b82681cd6701c235d6918 a4107a7b0006b2808a6643c0816e1ea043f6d672 b27e8549c94575a704e4138ae768f609ece9a3ed b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd d051334d5bce52e784fbaf69b41b2bcfa686d54e e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e99c9d3ac85e924fbbd540240817aa6123a13bfd ec9314fc82499dfe91bb551331272423e211b141 fc8203de16c61c092238a1d5eb780b1e7d4d11d3fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c 94fc8fc93107b7f53467805ed7f3d098b73aea9b0315b1b56428221b85d4a9d6d571e25fce0ccfe8