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  ' '914dD ]% HOL-Decision_Procs:threads=6elapsed=227.200cpu=1077.552gc=116.072factor=4.747zXZִF! ']ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ћiwvE͏[=!marh?\]hy$yy%#v:0*LƲX>^D§by3_p&GD'paw)xT &52[Lv:*?7sb/KpNAMc k=g̎m5sřߠY"~)Ǥg 8Ǿ\!b}e> P9 ul*м hnXlL@ߙ A=3Gz`e(dN'f|wv1ض.E<|"OɋVe i0=SYx% W#Ab_]x%xǢ+Wo۔Vn5iR$#a8 ! Q9-7UsN/dYhIn`42'1|M.mYS&džsq,,3Lc8I}46i|'b#.$T6,b8V `THB-iDp=Y!Ώ/PK\| opa^1}xO]峬t_07] tM82,oHܮ֪osfB"r@YBw*K ڳ޿j4 㔁Q;z-i6R͓3.]O9bȖco}*%^a&/^ jԣij{XhnîdDH07* }CO:?&/_&:yD'Vi^S_$oe$Jrs/Q(:zۉ}cE\MNzT:6;pWPZj9qRA<M\!L5}*<QqLfp1X n (A4ǻFe1%_ϬIuHH>N[`^uBuEY7\[b4s&ZOx0y`z},'2zYNc)0U*/c~q3!߿!+QM9|U{'X\#q/0[M W ^$)K!n 73gS I3U?.XЃ9NY^G,EWQ6Q90!_WӪe`%n:G=7.l 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&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 ՠZw+|n6>ǝVkVkʼ X`Z (ƲR}h;r&PqvOx^ŏp<#\[Y~`=UF;iL׾O%Eha[[n=>2qϾ|ͬc~5[IvJRR~~1SGHV>[ F>^KaB9, >P|Z~@>n>ƧnZa9$De΀zzj0 @m׼ GJ%}`inࡦk> jOチTYEz4i06 {S|2s"/(Y)~V}_9/_T eL!0i@23eV<\x|{NZ\e`kѣ0?^}- E2>j'-6?cS+3 ǔuXv/U9[5:š:9N.!f*cwiqg4_Z5wpojGĹ]kXc%c}Nu jAf_EұOp>$H} Rd-,fCBDuOT"3Hn^-+,zN "CQw#$ [sz⛗ l7\"վGA>.};,?YwS)d1_K;8huul" /Coڀ2Mr 9d5ILף8ܤOLgݧ7֮rP{  R].M)b?yqfY> z5O\/g}D`eX)cJ+GP2b'd F gTjRU\pv? |a% FJ 5h$Qud 3t{bUoS,㆘=Uo* }.Wwcr/#lʢ!z-@}V"5p_qN髥˗Ց0`pSo-rmgTa(;;vL[i-pxvi')H5Ɓ.=":UR/}[تT 0 =z{_.<D٨^O21}R>o:d1<*z z)۝{DkYyjKhoh}?i=4u))zOx/q:\1H,&;fI{ib^i7Ns;P'N]Vj:"Kh%*ņǧ)]iq=8LQ~`v1`d*[Qa_ 0-:n{{w(ҔһˇG~ljɔoB«\L'b8ȠTSO@:쇉aR#q=$9{xg ~v?'w ży/h BjYmxw3wtuU3!B>5)rVj/5༪3̆j} Kj.P(i搶VV2PU_eXۨ[?]&鮯+3afJp'o|]R-zޚe' *(Z<6=ǥVn|EBϽ $$no(KQRܑܲa``9%-AxrbHp<7Ql/^֗yer1 a-g),(wY \2ɅXϢ_g^Ps :Ik5}nz5ⵜ_ !h M]kٓN+>"Bn9y~x'OMOO9""'yW \uil 2H6:åFH~rVQ g%&IW)@ߗUiCzCGG:d!~{kĦϓ?cNi09J߷JƂݫ*?!K_peSJp&z9᫒u[|#Vb##IǫHG#݂[8͇wY3 ?N-yHy'^eCl>{3nC=XpAL'"NA6(56HIc&*lk,"+/_20*eCy3vy:sV0ZkI^DI?j9o$甞pMvKUn΢7QMϸlC9a',(w|+X013ٗ}*sp@{~ ߞ+ADi ɡ!p5OiA-@ؽ]RRiUń g }9_rŽvO ؊3"GI-G}]W'jpi<JpҁJ|&s6 ',! ꎁ:V} Ψ^tsbXԩsN20ӎk`}1# ږhzU G,ffG7Q%pq5H?oЂ 9Ġ{hZ2mGvJH8KL h? -&!ŒuCs%!EC|8}K6嵢mL t%1F 0'2O@#宲 cedF7e5_,@v̫S@X^1*%Z ic(ܜt5YQïzuۦǦŭLȀ-@T؛-kWL҅}O唩GVuW >$ʺ-+$9 hK}~p)E++&i7w'!VD i3hu@,~'.ZNe*)f=JG&` e>mr:I#1}ag ۞p;z:&q bZl#4x!Ǥmϥ;js H^K%;Y/"GӎɤP6 ݜ^6d!hڗU7m^doQ2`XϱgYZ7zXZִF! [*]ŗXiɟ17L? KxlWP8SաM~>fٺdPP{\RrX+׋uvX(`DG*:毄\o ciq1'meM,Od|-gϤ,鑗FNNscOY8 )!RA5[G O wù*îǩI:2it"T()&!EZ #>!jP^EᾫΤڱT{P͜EE~ 3+%C&H#5Ø2RT+/ꎥWpX|_$_`gS{A?O-283$]r79{A*yAXWх1dtJ+8x@YOt:ǽס:l')/X{VF6 n>I#4^l PQGNGX~U 6 VZN Fi6F{x,#^h;.C!B2UFKt 1P) A~k31ގxgYZ7zXZִF! ~I[]ŗXi%I䑭BTjtS3qp*U Ύ:#dL;ւSU(Ƴ-5nҍ&ѕ+&t!gqef*,4}ΐ{%>ahvodj}Gu [sKᆀ+aF[ xoG=3ԏBzP;9s#!_wfY=(yY'~+ i;#R+l&amkB8d] 2}P5;4=ujkѸ|JW5n$Pfۿ3&NQyct%mh/*o|듄yu29`Ffo(ZPPP3u6$KTov zoutkXT#dݧa5nKq> ÚZ| p:s"mYw-Q%W^U$&hA~qTvJ-R-6\ PIؒ}`"&=#O1 Ds6MN!lR0%>drh?xyX tC0쁧Yg x_=27wmOM4 *JHaG?e3L̓5ĉ.JRP,O0fWa6YXFifJ!Eh6.fZ6zxZB)l&5QR7hd֦BKPH<_9O$(8dU1QPEz.}L/[`>g)mw]lxQ/O ~d!RәZkq~.{3hyt5Hbӡy;qu JO;wx0f[ݏb-e,Ǵ=49sAٰg]mFn2Iwah\3_$=b+PX$\9X)6Lu" QJ4SwneWt:8Fk]wI &քEE˻|6`ޝVz}パb>f[CU:⊈ZqEP*Gk>SH9BMN~`{Z zϭG0ZvW,)(/?As.$DD|;nC1XQ/Px2=c+}LJ.Yϗ k4=JFkf@NQ HTXOeym2i?IC6VqHC/SfUZ{v]HˍxiqrniRUHm59e3U*W-!L+NU'bv*x]AZʵ0jV~&yN+%6m] ()!8ѐcGsƚXd8 :Et~}&~15Y?ꀀKۇ0k7^+LJfZnLm 1f}};:".]%"4THl_$'=-Oy"%-E_S˔lW<T=yU,5YĐ㛝꩷vC!d-S{'m{dy;E < $: Y0o9v>&ō$"^=Y"fIp>?y\~5<#{ےQ$k^XHoosH0aZy3B /Jζn XBFzB[Q}eIPwA\Wsْ uڋĄ6M_wGv|Tnhjk q+>gUWBd\J,="q NZqg0XPEfbu0'qZ. f:;غd6w{%Ʒ v{k}7|ge[:pd/ Jw{'v q=9g@>t&"ZRKvѵi[4۹ fҀm9M޼WLZ`YT"ޫ"ݹ~^H4EJ2+8\Ċ5ioqNuL& b5xہVX0oK N2/,^{P0-f12K17q>r{[S%fx'A=6>n>;-Ehz q UXR)uAMQ\Cc!T0M /Y 6nO$ݬDL3 M=ɊThHLz~HL}0/#{.jkM5K$Z)x5TD`_>Wtuqku^?C !/^!Ot5@; ݾh+Qh;I4J!v)JAD4M#]qg"n:4;H4KSRsc^cv-Aa@88ľ-|` Bz Ipv:5Us7ȞO8욖{;h?zsXt%F&$nN ~0#~Dbcwn/*yl""M7N{R-agUNn]A]I}O4R4`gy2&K@걘4-Li+]b<3 kD_/ v$PI@0.N3uU#kOȺڜ<{ ήȦCTr@nuMٚF33n&K/F,0sk|4~Ss"K캖E VsU CYVfr0QyΛUwP$3Aϩ3H1XmT{cnjg/aJDSY*bC+52뒌\618d>6M`=(6ΧȰ QFяK!z7^;hYJ +bmh7KpIKDt]ė  3{,$)׃j7z Q œI`ٚ«L/)Z@M11:8le.+CbD=u yR&G@{IŮݴ(nlm|k({M04)E߁|i)#VW|TCeK;j t(I] S\5yxDW1TPM'k 9.uLxe_Kg.DvFJ; (1 2 4Z8p22>I1zrZ+w ΌɇD2ȟ5ۛ^՛jAMR xʞp | F<Q$ aKX`~W8azA~}RB k|{8Zh%,ytnSV &!)o$X R!$oArx5^'7cDc/ 6;HNDP?w-'.P곗_L ٶX"xV 4\]J͡rH\WŽ䫉?5yƲilӻHIٱ(ChL/ĖE4Ӫ6~=Pa.%c8QRrDwR`N'_opP|v"<(TS` Y_NքJ.B™ =F9 W.A}^!A(;3Қ$E~6 7M!6{x,!|Q"„S[ :d8&twύ߭/$h a!2p q ^JGEެifT[AB>@3sw ,k(`c*.rv_G71O_Kee<.%2;%HMpv DKyi sSxf GY34%`jp AZ@a٪7"򎙠}  R5 .cyhm$If]:ray.LS/{(a Xw]s4;i}n/ =+aϮ/*r IZ-k7dہ^ W-T&HnyiݰmsA4@=IE/2 VI HҊ"26nv,7`*}Iգfp組TҸ15h6F#́U5DJ` TׯwCCgR!dɺk^#O;zhxvi%Xh)}s>hc #!.bkK=,et>] L;6VblXKB%2,g92̨;DU//vݭyuTʧTsN01vH-^h&2Z )CrElO`XAy!a2/LA^*j0G3}i,&D@[3~Bf3Y'%#>+]&zM 5A`::E/R]snV+7M ^|PǴ!--@ND"8 r]TT[W~[X3mCǓIPTq1xk4^ylzd`g~gO" vR(3cW7x펋ө3{M$m]Q8kgL¡杧*l c>w40O\3 |!)GGR!O>.[ 4$BT-ohnu)$ T{rykތH-.p=$6HDHOf1HN.%޳l |(T@m le+qGEP${uew/Q0,'`z'8A Pھ}u2 M#ll>/)QB]5a%_<jKaEՆ@/aNØ[mu' -vOR `^w-M^WbW:[*,,XeD깅 *L]M7Ɏg7AC]gNRs^"''*rSG=j@1kǜN QҢ7Pb;bT[Z4/ Xa*6iԳSNK°M2k{s*m )ULv_zu+pK8}=BH-M2 ŭo.M|G|UYU>[\}'=Ok qsD4x^V2_<}xm0ݑF?fuݖ;?CXoӽ3k+ϊȢpPRķIIPDᬨ{szlj?4CW~C'9fwIC{v޼Fdl*PUc"26@@@,S~֯C ?mD(H,N™w9̫/o/t&;ݸEMs;NF22>,׀3%n0b>Bb.9MzEA) jY5a4w;C>a6Qmr"۝Oc np{k|;r ӬRm(HUMF (7Q:ws*}lpss{&2-+1ɋ(KxlTr<>jlzߩBk՟9yi|{#`[r`-\ ׻Sщ(198 T4ɃW@7lWxf}5R MtJ%Y ޚ (岚^MQpp 7է`ɎAqX{Gд_TTMC#Ȃ!6SVl'4 5HYV`q-Ψy3QFfe<ˤIxSѾԻstO/%\yjXZhPt>[D(Ku#3?Q7n3Ci 䋥_'W,3'{eViVnY|PhVRfY;p1+'@SB+f1ߙGy; ҖJ҈~Ig$$E=0&8Si|J[8g_n2 /+gGkP'۲nH(j x]hqXeo4OYb)ƧK**UAZQ֯ܐ8.4 HH:2=ЩSl?Ph;dQdؤ0+-p"'9Gzt3(\J$.тķ+$?d̖z=<~1U\XF, x8B+䶇 ab6yIN\̠q/-AMm".*?vl"HoۻK穳xl)MtcM -}``rke`X/p[ꤦ&̓ddF^.Xź S1>8|zl" X, -R]I;v$$zfMhx4ʼB3]rxؔˏط0#8I?xшNO ~YqeHuR2RG( Z  ?s!&gl{mPS{xKH}|^w_V@!=B=MF{`<(t;Zb^sYb[1}<_D'ԥzek^0V5BL1CVyAPLGS+m=O EXaۣB˨>甩/22uw[H5WIl`vZk(3|oIU44=eLp.ق:cc/_} 3(2lWxtFT3$ eڵILd HA#I z!OnEE\y^/)2nbGW;H`H l_97iXҌ S6*ij햜V|7ҭB?%ȅ$JDL8"P.o>Btպru;1/j$^l-ʁ|0:%ZZo_4a!w7ECyQ|zm(X]LPi8Yl-y2GڏLFLCo)ǥ$Xu 94);Kς]pY@dO mK&3+z_` <bSE߄-JwTٓeql.nVة"<(l .`zd\.$Dq4i;cG V ^rg/av-M{IqI)/B`@ J?7Tw9-'e[+Ȼfy}[t(ɓQ70[qj_ "HW-ܨ^+x#'GEO泗O FuPVgnkK߫e\~t\NCpڹK͝u0'>R K"j#82CDBBI:]Pв-i1 p{V|)6l}zwXs@Rw+b Yw/=MA(N nFs0 iY䘧Z6xrT{{XԢSU1#uw::Z`TJ!¢kS:d! ڊmH8%2I^eĿ- ;><(1Zk_e dQkŮAh|OaK! .XJirdDּ[7&GʁL*=_AHhh Fӥ*B=o|&LWt"DXf yf۔ӧUNu{x氛%U'>}Xo@|{j!vk- \ | \^]'n Z~}2Z;ŀ6MO"M;йdܭ #TLvJJL!"{g)0@|@oڃ|wCR9߳ 箶A`BA9q]a#waNׇ|қ>i4q̬>..HvNqЙ#Ҭuc? fd;X8lkonXJ"ĵe6|MOC( V>J9Yx󱓪bB;aG2}L.)^.֒Ӵ0EO}Ȱ0]uvֽn/xZ!M=,#f;Cb g'hi fn-V{[ߐ뷧GP#|5@?T1%C*!ʩ Lo4PlErHfEIË6QBQ>.XXVV_3R9 :Ҋ.8+\\\jfu !-Y#{m!%Ң/z#ޥS|}H{U&%RX uϴ:r;K^qvapg#+\arS݄!a`ӏs=Wg}OUcyƥ7K O3 ~?}8(~!y ^ wS1HOJcJ]l΁OaJVo1viuq>,7 QDz;i=;㍁o:lG $"F#c'`lKk_+)M!"7)metZH?޷rbUH&u"Heus]/D09 ᭨hSyRĿ\ >4D1xXE^Pt(8Ž|#rgR0A 2Hv 3񐳜JeDžLHDRm+,&e[%ud7_7tzj[cNdWքVA3C؞ obA @MZȲ/>NQ)T ^:g`O^b>*V8aiTF(Qz \Lk2 ӾӁIΦ4b{:û@9n9Az I<[)-oSe۶r>6|fk3%a6DJGÚRvAc] N_@Ja}1H:R!rqWSğSv0r3beRYT wt_d_I0I3"@gH:6lmS\g-)j5D%ӏzgh)WǐCV{fG̱07 k Ϯ(f|@ex ?fɖ}Mƌ1.W+R:`\hmH ;hEW9Zuf }3tq>tK,^8 H6vCςxl̀jrN8 "`0[UIOR1jMhZ:%X" Nl 9OżqL/W3Ɇ$-0,amo^KO#Nֺe@#h{v en~('s+.?Σ_\@[2S.$&8η0]k =xkHA_af4+O teZȥw3?i Oچ̜tLZzRB#ͧ?DWIdl+2_43H+5HB6UmǕegN,j]Z N̷C Ɋ!YKRGdt9z̸=xKI~ CMLءuμDb[/;pJZ䋙&>i`+k_ί>ra"Z\F 3P.X|jȦFukzzwĂ>$:ٴ̤#)}`87Z# ZSƃñ0)f_?%_}OCmۡ|iGatY;yg0uA*@5棢m᰽Yc,/(Rak8H$ |cntfHo.=lB>L\]ȝzvawMR! *) Z{?`~- m^HOBfPfw9slC= HS3PVuiAVQSm;Mi*@CSUUsy;Mƴ'wUS6H [W)w ~d@1j~a؞g- >SisDR[&i7uWKWfb s(cX{Xs#"7MR1+cOrt+^Nuj/ԛrpzb z^}E}W^2B2+E)3?ljB^53`Е ۾v_f"gO͎+pW.33Ǹ%A[$P5U3gtO)*EWq/paQ2`EiCԽ\<:8S>Z|͵KBkؖNSz F\ϭoiz)3$D)qGnaI] Ib(Ņd.F z9CyPԧ@8h~!8њ┵GUo8GkqFΊ$VU=_[˯~Dpj:؃;iyZ߮Eu)C tKn9Z͡+!& eGc-PA'qmG4D4Eo9O$eR0%kT.&*7K; t_MVY pg@d{:NS`{A2y!g1(z*8嘗J_/UfMvNzbs%r-iF[_ڝN`)("sf8/cV>YfMZ_&{4L9)Ja ~ * Q Fz4zFhҀ#`Lf\80ҧ?GXEn7kM6\BɶL)"Nאkha &C*RWZ~(5EIY.! OO6Owb0<^Ø6X9w}6I;K u&"N[T(u*dRӸ*MOY):X^_O?&B.o,';OqH{cvZ/%DŅoZ-x,ѤHfEVd Tu.<eCC_ T]3:ױBWaD|@dH7WkϢ<L9=\̈́WX@휂% vcLWT0چaHc0ޫ_s+Qsv<ђ6P H2#R ‰i(N/<- ,ګׂ[cVdC%ғ $3_*x5{Q3vYKj 빣<2<}P.#Aq:܁҄qĒXG`063%҂k`eo4މĨddr(,YORTge9_#Qi< !qa<\ĪqNvaWۢqP3ʔv W`(]Naujy`-a` "E c=H=oꌏL=A_ipnٖg(pbMB'ZTǿ|Bvd+Ig_N= y|(# pr;6 &gE)Xañj[: v  L<3ޖ* a/H=@;(t=oS,/0W)gEz8E%*~9.r!lϕ ς,d`Z^Ӏa&.;T=h綿4FVrKARdN/+z5y5n|Co>4~D{;|fEno1e4]Ig|Ɖ¢$ٓ#a2^R#e`K& ZRqYNJr{fh#ܼe0QY[،y6U@qfϢ{rޢ=yU>x X#Ā>|_3{(Q80G%"Mo>YoO/eD] irrl+jk(Bϗ?n^$z&HwKAG "gNll$Bl#uЪ+S\JsI3!=.'H-ZntLɺ3zM*;Ģ}2}l^]da., _VW0a~tr&hboTހsHe|$y`{rg oI!' 95 {VN}' pf&ZV+dJů8X9E1cuJ7=],chT_x`A>v4t]HAej>DIJ"W;YXZ nj ef(HOt1N3w=WMͷBp>{3a7pq5ڿp\b*lnkEI`s8'DϩL.aWYp J $Z?ۚ?&6FҚ}# DPTj^ub("3&S"]ì}GCO9m-nv -&_LTg WzYXYXqH^'zw,r񭧡 b]>Cݧafj&sR/R;mGG?ŷ eޯ+dPiI؂8o@o³(x%(0vi;F,xGI,.fx-kAU0P^Q̖.wBB;IML4L:[ Є*{!NUjti#i<%+si ?h^>Gj:!uc"2`׼c$-Wj-|PڦW5s:LSKX' +@W*?Ryau&34W ^?x&GX!r*n_!1MJ2pŚAՋ>(t4j [Up&ij8=q,+m3/cFzYޏkgE A39 1Hxp g8Ry3<[ ;3WE4҈4>;89BW }ŭTW\h-SO}:ӣHⓔC(u!ặa I%䲑8U`Bhfw&-ň`>Zp/;tO/{h:Vϙg H<+X*`a9)\wxqla7M5uҐĜ18!޶Sp]^܆<\c+4wcSV^l*ShrUJRfhzNKn?  KN/A4Oʼ%tf=/LDKԵ3Օϛd(cG#pg4҂8v(<ޱgYZc85fbc03834975059f52a3be566363f8ae76bda1b71b2aa485767f91425b025d2acb6b14a80f48dd fe032c99cb4dd9300104ffa318b3d3be808bc47b de61e68e68af1d57b2532805aec602483b3d5532 cf72ac8fea3e8cb622e2faecfb3ddc3c1b7cd959 18135a886017cb2dec319aa8339519077290dd1c