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 ]1Ldt ]% HOL-Decision_Procs:threads=6elapsed=224.371cpu=1055.712gc=116.248factor=4.717zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓Ѣ'jyQIoHbQy*+VR(ԥDSK&^nJ Kn6U4P0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ +M#03>id#3F>5|.وDBZ#̈́6-~lX0. }Qxs gSv__7j%nSFs암L RT ŮR^2+c:ÄCfDَU .]A}ňjMǟ&=911*7f/mi'< yy ~7;K^UjLr:`D$*[>ֽRDD'u1-£k|x(QqEXsO5SW9>8YVty4GRlOHf).dShdJ}mָ# Gvjb{Ͷ@AFwZu1H۸lx|Ӷ=V4ީ%+Aw/YR*_VHxAqB|2(ϜTfYMHgFTok/Sj}f]S>"cRU6FQ^6(䲟14c֬J8s@qD9¦l6B%C9t%(hi#@Ǿf 5~ g4U"u.V[8n &Q%)5,tuۇ/EO-_fն2EM..FށEj[P`x2JPzi&r}@vBJ7f'Ѯ&JAƒsRR;0hpȚܸ{ `WY9Ҙ/Rꍕ?{Ұغx OaRAJhRaJBZܥ4O˨;Ċf]u3s\peK@Kc4@]05҅Uxs"QٷfN 'E%mcͺI#d7d~C<0,eV%s*c(2H卺ŦwzoP8~v n6eu2*2vs(FwPxM%aʋ߉JFRbZqA倳SWYO$' w>~CXZuv-ҙ6 SߥcҴR4J9VT; ^L]Zu"d)&ebR$} V!|8#PYQ]F a~SB`:q:n93^ %d$ӡg+Nbeͣq[(&b{˶#ȩ5/^v`H^#mPϨ8q1N(F2 !ŃZ6/9DI˧ Sn[R3k\!T0NZK.yitfG$T0lP.3si) OJʰlPyOb`DžcXjL! MJᶰ`J@(kVOkZ%ɸ^ &M/KBn2t؍hKHa*jmǷllQTg"!!SO9[Bʈi w nJ:~UI]ķ^g>)"}rvvxV{.~ }F5 Onx.2={ioY-s >EOJ<ޕ2~\,T7#&@R?G;93Wkdr<4 (PO@ lNƔfMXH?&=2e:-W_ )L|Bϝ;d֥>YsUߪ{7 X>:>KB*6mܔ2Q:rfULH`!l~tС܆ ?17Mfeܰߝ^Gnչ*OFIOal,(w0^_J$M>al5)z^Ѽ b޳~-$!įI&AOj/Hפ+Qˬ-' (('4oQ{xA_̵ӄtQ8뾸mn_v NubikRP  Jcxj> " pl!֑ 2 !ϋ:"YT DR}TU*JͲw^hJ~,]aխ L"U_n4-)(2CJ߹45AM&kEŦT`\v""sEneG% dcpz]޾ ](;Ț oo/8qR9`CT*Eۗ{=~Œ7oR#"l Zhbu,9fYm6(,YႹsk.8"kcW☡O QG ]"TA3~BK[=` csofšT$ㅙVy4{6x4c‹CW'aWOm"a jxD7 'x]9~"S5C7qF4aO2%`_ZkRqb T10bo$1RG[W+=+d%΍&9$ <6b'کWS bދ`;$)^GP;{<|q<wC:Z8"ö4f6P-dq dg e+q/ 52~pyOǁØsһ#;HTwg8P$Ê ST-;`f(y1 3M^N0-ɬ=-Uz?`.GjC&RZ i~/BӤ=2jAzW ?.1}Vr`VЖZHI5|(_g]uڅy%kN^Z*/ӛ'Yh/8R.?#rХY槬tC '!?IunLWiۇD(H?-̿iw\`bUy{Sc+Da2pCp< w&>pDe/; Op} :lkeZ.{8iqRK V7٩*?>"A@,R,aOSj`@q$r q\=v!2*n(f%$@Wwi0SlG iZw] C"~7 %i"|)~lfZ;[-F9naɻl7e腇"f ~BJ.U7eWX툍Rߛs-o8 V-AJNgt<^PW.@tɖRw5rxWo) +>63N3VT 8ֵtiI5AUk& ^DW3Fǭ]v:2YϘZ͠f`; Лxhe `Y4 24L3nPL6S5K*(x!#?0X'̎xCQ[4B}Xy?&?gΗ̝BJvUTU6cC™x"q&{^8^-w="A>oIMϾPRc H?7z_|uMH7kwQKXg\QfޙSm8 0phZÿ-oUELqF)m ,>?7G<ło>ix*ײ!cl'|Cݳs9rD%B頱j ϲ /ݴ\§h‹ksvSc{Dܞ cZي/RZdiI ٍHiQ=b*:R`uM^À,xbc˜ՒڮvLgڄdɧ-C" >܊&7.^ʧk4r3qD߁C [BٌONX R=*&oi;-3mС9Xbl&8"&?!D˚qMuݜ*Gкc1Iv.hNY"θ367V-`t;]w,z$MT!0D  ^)VXJ܋ 9끬; ֈЮ[?|^y4Dl\ щW6O+4z.JPBsDUpڼހmCU+ [cEb|rCKL`OirY6r\vC9r3%3=fCWa@y'uZvb w%4BiEr8u28Cϓl2O4J[|9);03v}=ǟKO?䴩|Ӵ8f:MQU_b,fQ( 6"g Qci(/|[dRRrLHvoBy/[\/#/FKm2S|̓YK}\?ׄ7 c[t sΎ.Z*ס r_79Ԥ>kˍݎ8Rt'_tBb*/wT]q)B܄}%Jtx[_uXI tuH"p>%VOx=c#ĜW W~U]hyڮmidE5v|8*fIGw& WgjV;#Q#f)d_dҪ4ۑ'fM8U9-C/gYZ7zXZִF! [,]ŗXiɟ17L? KxlWP8SաM~>fٺd: e5|=-[T5i6*Kk73^]?KJ z[%Kd E#f^9uMξ$grt?8iU˅!cjUږ _l> k|lжe"|Q*v=h. axq_ ˕HOkcs ̗Cv g2^nԌ%sdh}L -h#L fN(!`MP>)z^uː;9e͘@0u}DDtj\Qr'DLTF)ܟ@ģ[ܮ/V$ L yy_7'ΰ$_ F 4EyUu5'ڧ{= > e2VNӸPO d#@nKOy{UwH#hkVX&^7Ybu_㘔y}Ӣ@t(\7=ȍ6^Yc[b#a2 =<|g-7pgG׉y1+N{޺d3*-<8~%36lE [0j9-ǸO>D[ 73\j&%y C?Gǟsʟ&54g {T_bC{+` kjMf!D5XX$2 YXVo[p 4pۥ@sKd` i/*(:!/hXiz-84|B,˒(su(wqgriWʊB@7tg-b۾y)پ<%(PPK?8R0P"4/ti~q43{#+A"ѝ4VPגʞ"l4>f+[Nʕ6x0 Sua;տgTN[Ufv!nEggw,2yYz"ՠOn3|Vz8[{`O#$zXp m!@S\d-MLWP,h @EHN~p[ct\p:h+8+l(Ď` srb>rq iٺB-0t!R"u(t39DCRӸsCdg(y[ܔ' Q޼ҾVXZTeHg˗cJ\ZDhoŇz\#`X=J5ӐeP fFqWl:f\+/z(6OW߫;5Zv# NecN]+ħiVUE]'"n?p [/BB6vxRʩdƊ49j$@i­\u(;8ģNU6l> eX{j7ԥIo50ؠtkZƆx5!-*FWo /k}1u,UNwFYS#7!irhP q*`8%jgdJM%>o6;+Wg ;q6I'H_ro6#{#ɿ<@SZ]pKGau -4L'XG)9hezy6]5G"|a% > >`j;ƪ[Ergqnu#Ӷ~3$_lp0 y'zmfu(.wy4 ddڮ{:Q'dz}L[8[%zG3tsM*UP<ϛCB87&gy=ֳf UoDcK\=Ӌ@L':;ѯ*1z!c\ϙgsl=릴[rDt?]ϥ3M3{:n:@[IG:d(TfflR%\G5w&l0xZfQ˗@e mW"?Gp vG٘ }9Y#`HNӻNgx!lX:׼q9oXomr>n S2օ9{;ٯ?$}4PM& \1 ]b1UEI Zt6+M@Co$1۷W>|!w[}ڷ|mXÀnc;k 2 z>ۿ?'&]ܽ3{Z& E /hNO5D28ݜ8KG0Q[^9 jϡpqM j*l_oPMp.b\q  e ijw'Ko^M3`d? BR]j6FG? w21x}mLaR~ZڑJ_˗R?ȼh ~XB%w Ϙ"Lݶ]%Jkd%h gkBM3jxGz;5z  ΃ƏޓBuXaF gʅh9,ޟrEkڡvmqކ^*~Y maT%QC<7i(d9nGE\?XM0E/lv~Gt$FCBrc#&iH.q/Kar.CI>m$+}-V~`Ꮓ32%Vl EeV;J2!eAF_a.p$5e7w}J9;@ο2h6-.MR鮪%D0t!VrH?Bm`Eeڤ: $J !%ژQz%3(-ENMVBEFHtTS)⃝q8jv a+rS TwoZoPRtMPe%&(uf->T3A9ig!lUOZܸK҅Z쿊 bq~`BVpCؾI+Ձ؎F[1痪Է~"sO?ljkthYwÕQ jyew&7:^E5'qp3Kx~<ԝJg} !Mp Z2 /t߶Դ($wt DMC"hhb;= Rvj`[eI|l@8 "2zk{fT1hw#E6tI 1'TA[=3)ro+Uۓ%tSmN.ad$L] ȕ4Kuk,HLh22^|~{3)<}h^\^ϓ&GwP%Sa`JA~ *>eZV/Y|} Y7<9,a 4.sYѐ-X:iji$_xgFL/>PE"Fה[Jfj&?ykт4qec{A+ WZlƧrp(QlT}4꟏tRq򡇵g(ז.HIl_/*UIBkt59 ]EKdW4`xx|t{7ZFhX@zrV(>Kw1xT3{d7U#b F"܁7ܥ[t:pvfCESъё 7"f|m$<1phi rm{2+P*a9Cr!Ƭj~[Vd6-y {7(9KP^:j3:uD4=$,ظ2ZQXSɹ V"#D>蟁FIv 5\{'ԑe,(quyPv3&oQMQ@'oNjk \c>P3eVqFOkq݁2T56瑳~ >%l1U/I̠M@,Ŵ!& h ̴mFUkX*6,CG *<6 qn3e>nMƙǧGxܑfյ1+,zNoeF4]^q^E炙^H'{Q4"5Pj-U 0a~a)ml5t"h8ʧS쑡9 OҿF[̃w\+%FUqwnx!l=TqZjXdI˂< ӮY2 C3 'um;;;.؏ Sî3yHڅms$f`JI=lˇ`$[)HhԷy/2B{yA*r)gui|MndIR`/}>ictywh-a#%d%d\Y dBHѸnZ4F~l]W`Ķ$3o?ugz{mMej)ny6w'W6 ej#ncMRu*Y+aEHd+#Q:f!&ݍ[& m!췑9WS-L-TlyH [=SG#,H!wzЦ!+y*U_–ȰkrW iJ ~5 Q\,NUmNKGud'OX 0t:G'n<+~K.\™,e5'jj+w)'!`"=ʗG&i2bljr-c^n({18[2) rկuQHuW]\7EDDV8d(BYB! t&R,s܋pWGap' 3ފkґ6 &qC&7ZBMkJEfQIh KAp:nSrdMJ (] `?t@kU_ zNM'OOeloo9: 7U]wZ>DUe#td;B! 53e)JeU!cP{Gf`T1|%r e EֆSw7/ M.|kYj 1u. )q< v`#ז$ guza# )=6nmPk dXKssEhP8+ CEt ՘:L=V)pȄ5ӫn!gf&+m"A)!XÛՈځzQ'E/i<[o6hښSjaf13Uʋ[QnґIq_^ q]}j#{:( nK5Oڡw68Qԭ۫0,GFUFMO:oI0-noh﮶ӭl8cE텯./@8)$ +D6PEw,-::ʊ##7Tsq8LA3C1\[8|It#:cDuNe!I͔ʦ[( ħr@u?>㡑xAN+/`Ү89| LĈu߬I,8']ǂd$d,ıa)"sTS#02QiyK>=|IV3'B@щ_SÎ)r 骪1Kt< esfk./~ E|<]c cUw{YK wusc"0ӄJV N~بw/t~H!?e*{=4PؕxVasvV!vUQW6ؒMj*nd;MA|1¨ i]+Jh^SVIŭ ‰ 2T@ lظ*D A٩bl~Mlz /OA>#>_-Yeq Z 6(—'c[T2cO7ގL!tX_])`a'VBYY,YEI )sIY'I 'V5vD1f`Y5b[:Nf2Ԡah\U=FPp!tҫz?G[Sҕ?vfaQu' >;}pX6ds\ \Br; $:x_DL6p ܑs[#N+&G2<4*5-VG^$#/Կ. h pPvAipr+3 !v僭B1H>ecQl?yBo8SN`g!U@#yGI}a$6gkB9u&xfA!TH DgkN'^678ʝe<S_I #X_Y O 8c)]&w.J_xL bkϲ^$Ncn - *z3|&5 jSa8y9 =VX;|> f FލT֋޵,OhZ/IMQypy`_ɱb+84d;oo4*J&gCKڇAJgWoV=%cVs ѻxdStyWEh e |#3lo;`O1|&ɓ /}p3d =5E>i'\ )nFh4)0SM#3' Zl兎uZbcA#tWE̴d.^琊aHA:kbDtdsjOivvMN2W Ij["k$֛f, +9'(Ry7]dW'&sBv6 LرY7&:A%faHWⓤKw]Ѐ9_INUF:gՑߟqq36rmwSDqY\{WQ}O7]s?[=zޤ_%)j$b`f>kR<5p"If! M1{Z׈-=s¾0Kdzy3ѽt@78tis?++#M.Qn_G̝ҥeM 4:%eKGM9q^s4k}1:xg[)\P?jy=^&;Stb4|5/# TW gԟWJÑk8/Y[$hbZFnNlP\Ɔ4S=SI sʇ8_wݺ{.jE*- cT }'zq\~2Ֆk:B\"bū8k ;:Y`CM~RPhH.|f|%h0F-M(hrilw\y,z!8ÂJ!ɠQ &noeRI0$ 1hAҏ{ȑ !6d9%kx$^+AGTgL(B/w-Mz~k|/~h9>~i@P.vuQ#pRŠ?hwm q%Q,Sfݳw%Rs c9>Kgq=`nf؎sOЉ:'0P *ΚEBN3(EndzYb"V@ <| o!EjB}#ІCf'[EuY ѲB 6 VM%T|}+Q/T_pʔ'>նZ4}W /L-[w z`i&*ю1 @S'+pޤEvqGŃZ vPs ٰ #pePn`G,P{rC"Iӭt ق`c}/=4a8DWaK8Xn =f@"ˠSU(>Jt:"#5`qrɶV/ B`50|uqMy",cuOOyQ=H(7 Y?~+SO:Ta5e'4j\;`h\ Dsu/T^<'G;KARn:w.Nd Ԝ({dXwBSC3ʯ(|f-ÿ+iv-VA*D(-KBémAg ~#Dę=Jg!#j%+qM4VWZvm؅y'6l_fR`"b.:Y,~E89\67sZgk{dl;cjoQzSC1zb..4bjwݭNsC*;T&aS`-o֤ 2α"|G^+e+nVUJJTZ%-(y+8{ޯ 2"Wtݽ9:K@; Jϐ,[:1)Ri!F*)KjyY6Bs?+S79'xNV{ښ޻^Ei8oܡ;r-'7zQ uXQF<'tih9~@% = 2F \G]>F3E.tƓ,}RFz# 6ۊ`fyQfPPsWL0"E#x`GX56WS$ԇLXKf/ט_ƍm(GJ&M|JdzTRX#U"ɫZ@Y7.S8H ?̴mb9!Zy.Ex4y| 6;h˾gƐ/6=>fsYuOľQ6*b&1,|*ua2x3 {𓐤n?c]r"s#z{hS6G_ }_ ^bAl]ݛj.b+{YR6Ե̺Q6pLI#UA'ցKr_p'0" _oE[%"!4m1Hَ~?IH~XY G` 5 4 .pnlp ⇎WaΞ_ԇ`ֵ}cJg= NeEiȋ*7yφ!jctx& Ewi;%2"ș6pf a 7 Yu%!wp\j_y Jݮm_35j= ͮDX?.Ƕ(p8j#|1JrTʌ.:}q'W og似I+;L{*%^Qdh9"Eh72Àvw8 io*-Mtv#=8%g M 'Tw%y%r 7 ( w,ndӄq ڸp:1Z ^.T'>ZzSq[ Kr:<{8wftrH9%%|eu|}@X/8?Yv=4~jIܤ[JXQ?'NT"NGU娵)bC7:{ΚQ$ȸ |"GjN5b: H[G`Gkfzp @; 7 o9!ԣTMHomܩ | IP;>(kuk` n|04x$"\v:R=R+0NNdo?1gn#(W I'T|J pI2̆3g9Ԇ &\fiIM}Dc$u{`"<bnT\,]Wz(2!fP1ib,ؒ1o7륿+CrܜOvM}D뎙=y5x-b?V叆#zy=oxە&1K!2NTg2zuAT6Asts?.wYâJueRC6èg:Fa_*WRA`Aܫ6ɧɜ-#WH&v`q zZXpr+CM}(#\}`=z9ji)TxJ%g!kgR1?Rh! (_VǞ^2\`A HrTDU^LL^aF]XJrZ ΝJ[Z<9p;Gl309`isWfM`ѐ2Xmgx)D {]mI.e$HOtTHԟ1(ew6"eN!ѷ¤%baJ6gPqB`&9c)ӤQ>4gM<״{8H@"%snS#N,X!Dzag?t?m]Ծ(=EȮ^蚕:מw\b|fUn[>d1R'J gC1} rc,%&S3IbMQ\RGQKT Z<&y?6- + 9qǡ~FxI!^Ǖ(h}?eĽX<6Eqg)HZWRicnrbLN%}͊IKZ1oxX~D{7Ŗrlض ^"f=s^U.tL½{*x$˷f5ő|}I˯V^FR_5X\QGG3 kAﴈrVJQّߩ>:ZQo$]=Y jzc=Z)gahc eTׂ [,k%%mYX|-PQ^+o6ca(mNK?TŲ|}]1",T2TI8d3$E6X&4VEG.~N )=3vht3"؈ab*H45]9*JI{&+هl]1tAyacɼQw]Hx %SwM,9QF==Ҳ !#p.r1&ĘiVMg<1qN{̈́BL肎bz#˄bp[/_BBD]#TykujE;)<+M@fk0,[? HbD Ծ|2{h*=4Ǽh3$L4 ϤTlBz/H"v$3ZC&-Loe;z[ ;3$U2t1QP-1Q3REu;W e/ Wm_QGKId}P#f54N5]+.= >"օ0$T8M&?@33\$&yΏh!+qb{QS(EC^ &9n0*p}3|cwSDW ېQ&-R<܋s;AGTw q˽*ﶏ& a@ =\zHߔ}̓Fu,B^NEvLnGJ,F0YR.8pϦHAo=qb~zZ^+,&*gʹ9m`\Df tvuuզIWs-S q{r{2'+\o[)@F^Uurq4OlemŇ80aA$AuNmF^Z4!{okLh4 XϽdn-"Fge-zx

@wZãKdmUU|giG~!nݚ1GG WN1 ZI[{-\֋}r{Q(]h-}66nOAf^9ld@c›4uxc=7{"^ 8 >15YP g|ɑZ G3Hnn|+N>%JTQ53ӂYc79{Z>HF&ᰮ]MvBo$Gg3&BJt85u*B?bz>2x\x6q݀i;dR170@};‹ӣ{]8H3^S}~vEdCGfB KFWf$ſ-w~̜ 38֝u %o{CZ#mG`iJO>c*ТeyqKA*=TcffIHVLU37V rj]IS*\:Ax9*Ց/‡1J%iR lT4Jv6*mVd_Jp$Bv?fr~LiZ?bY~ 9-uv 8tSF1'Uay~>g\6ݣYf&·DGGk"amhɀG ;Yb#CU ꒉw zHRxmaܒ-Y6>;x9 F[ɖpc|B3oN3\H\P08(oN?ΜBZB;u%3_j+T+ WQ)lB'$.2KT>^rG,?=L# ̂U5q8|=Yk9+ [3h%Le㬰:Yn7t\j?%Z^! h)׵Y<^7DSgI|tvVY%OJeoawbU]{V~=]%r%)TL@Fd.א>%wr=$1Bkgژ%_|j xHE(}h.Ioڭd{irǕASTr"CXC^qn%VZV8bz%NgUņuMnul,[V 4#F; oP;1IvsWRfqve0QٍA~I kΕbdKjz"O/׵qAtQ܀4Rul"9=jyKqmvƱ&rV:Jz^/tt&U&dZ;p޾hR\JAm鶙lN!.w4@Tl1< P 80<$LI rmbcƪRLEgCڱ#0xu; w0rd4IN?;r3zé@YkΚT3bӪo@l]v%,$Q%B:B  ;81{eEfUf95OZm$|nGC I2r !,;60Q X'h X=Esq? x2u"W#L=g@{!±G(6؟S}wqВ'=-؆<i }'J">~1/ zV&D}3ᐆƨ :}P}OUmԡ^-w9.%:S)jhy:_, >+c@}mgH;jC\wᬜkv>܀tnS1d"I]`Fb)7]KvԢ cjNk3r75^$?2 ϯs~Wf fס\:`;( .DK[ʄ|(__eb$ q Rt">,Ksw%|竗Q~%5tFPim]:%y΄)mtCHГ#hlHIu-n[;K/&$J^gۄhX 7jPEdN-/hwiGwnn(,. rR /:ɆG%SǤq<-~&J-xK$+b#E#^+L-? GO;3^b[tC8b;B|7##Q"lB>3G}VXHUxHhMPXw\+^*`X[ߺ&=*EQ]j4 M%b$}&z-HF m*<}/B0كgы"1!Mg*ރZ}X1?hq*JKgYZa71b109efdf215e033730cc3de820e062053e7a9e61d7bad19c83358620faa4245e89410bb30de9a c410e6eaade7b07b89b00f412d8d8aa51c2217ba 812e0be2315e9890b34946224758ca1e383dfadd 66078cbcb4eec1701a8d5e82549eceecfae4b9b6 4f4f06c9b34afe8882d1a051c54c586e7e6e0f99