SQLite format 3@  .0:  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 [[1d ]% HOL-Decision_Procs:threads=6elapsed=241.963cpu=1127.884gc=142.988factor=4.667zXZִF! .l]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ч#PpIPs=a$%þLSDS""nf%') ,ld3rǎm 7[G?gTcA>vRu5 ck2YYq4䆞LHZ\ 3q8E&:L$DHX'@f5Q6~"6:=x K| Ωscm3Cf` }a޾)pN:ữVI}Qʳg'aY8iZbʠ0|g\$/9O9T !.'؍! ֞\`FXǽ@% ]d8Kl&ies WQHt?T< rJbRV4q Gňz:_epjl{"#z0:sL}ei#ܓq9r s8Gۘ ɚ O W+?Ka#<սEă.4r=.ٰ>vJAi%jCHzgQ}5˗}X'Ul\mg[76Ci3}@ntUҔN=0> qCJoyp(b-qG6U M. D+"Um$V1t$Qҥ?Oxo^1G,A*ȷu}Vk&kԘ&k@/p\ת OT,cQ4 r9Ckf`Tt/Ylݕ uN0Q >tr(DX;[@}?3L sCdhˍbmh4) hA;;4Wͼ7s @bXԖ %8fnKuvY^|AL4h C^Ӓ1ǂga ,yry‹= .;TDr˻x+˾{Q"g/YW$@#Y |0u@N+[ꀁi*fv6y!p:q:t; ^,>꫘dnCfV3E =Zn==/s4W3+JdGP-V__L:75\bjWBS0X҈O5^e?luʬXm_"%tCZu0 {6u3k5n4/|:LW1V.#76) Y1$@=J#ꢙPˉ2Όtݻ(ʚ\wzmώ&XCLK(\Ol 7l|j8:B t{|>>kj0`r#Oٸx_ 9I xͯ){nJ*޻ﱲ<Rp9ꪝi"Q^&"L'sF@ݝ=<"" SHeFN+]o#,[jma SG];8e0! 2?'VRyl_,i<@Cu&np}#%FVL-cJ0I `"LJGlvvu2 |L jb+V7 ԁe,|atb/O`i>U"tH.3mTuf t|9T9ְ݅XI(6lNIiL{V,G[a^S@$NutJݧ0NL:waéOtA/Էf%FFIԳ]VCk3V9as7vn 6RBQ/rO)~/'FJO܌ &oAJs/*#qe\ C=#B¿N\1;rr ;0rP&U'x~@!sf;0?PhL2\Dcg`tzE)#"(bGTjFum`3Zc.S 36|\)e\!ɇ)huu8#ދkxߗq/iGU|nx5ja, 6Rg2GXN^Ӈ^۟_*PԿe]u#׀tGnPw@5t&A&9?OIlJP^$wy!š-1SBΨ)CQ$@%S3řsiTAPW֖g0mibN&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 N^t5xaW+kM9zÞBm5A΢ ONjxȼ$ƌ2̅vމn u1 ʩ]K^*oV0  ɡj-aD@\{QHr6Nh@ʺ/fViVshNJr_nivlI,n:/GifN ,yh-z*^z6iuLk&˅='@\DK X*k3ĻA*9ٶz@&a 10B1D G2G<)EC"Cp >f>p[]p2x B8k%a֦?"_^0D0_?LT|F7@R(PkE|$l#s6'[sDY_ȅԎA] i&V< <.kAL\݉{--lғDdH6Q)G=ϞpfHtP|*%@?wt}!S!:K0B?j<^oWD> jܦmS7*ъX }]?*X gv WiedzJ?Myiz:XOf»v 9Օ5SPd*vϨ.u.)iGke9Iy̪4I= #Fwxku|8SnJ~2z&l8^>ۿc08 9"D}1!hk``g .u~K7P@}Ɗ9~`tapQx~ qK}j d!:$9Kt]H[)% L5 W _ŐL)kIxr`Xíw.zːLz@q?t֞],|Y,hf@G4ed ؠA_~nUC)KYM-4\;mAqmNnJ,ǒkv\k~Jx96b]k]R~BxeY=bfLhCcN!XAzC5^͒2vܝK~md=u28q'YB,϶|\Uadf:~sL6)X콪35o9q%G>!_6R%b}i;/d/`5!s+)kNG3V )BUq>;}ON ѽHufB}0 ڠGnʲ*<T.hbcbQ ]5TP#6ڍҺ{Kzp:.Wꢱ+LFM;/-f=a1 9!_8SVbkQUwjm7elꬲ^0;s5\u! .Zd#0Itm~i3Mg鱐@v wO{v؝d xDMz+c'ԜspnSJnL[˞z'N):Ru#o=+ظMUĩȽNr~XҀMZ6񋜅ؼʫH-3ƥ<)v%)#? ~lIv ?f7-sxQQKЂq3czau(8盧yUBȜ%Yj7wS 9N mY5έv`[LҞPOe_WFS5/NYƟ#ͣƧd0`#C}jMna֔U6fHuDŽaC ksd[^{Yuo}Y+܎JH^Y Bj-=e0:,@Ґ *ZSL=hYTb:]oxi/1JnޗW(|P3,xδUtM ڽ~r7|^,jԚ-F #r#s— {;xF^)mb|.7WNdHĴOZ\c|" 0)hL˕2ܧȣ[Ӡ[I$6k-҃ZꝔت_~rWN#|GPލv, $en;.>~r cj8r`\=nF!uS8drYf#r݌yTry(wXʧI1eVI4BY̔Q})MmD[婗/4+Q؉;}k01=\YTvw.O)lY[Ptf#54uxy "Ⱦѕ Di\dP9G~B̴ je'> xX{NѱIT- Ѿ,XI? KQIqD["IpwEbz5Z`xdZ`U-x([ bo B32gYZ7zXZִF! ]:]ŗXiɟ17L? KxlWP8SաM~>fٺdJF bS[:ʩm4SQ iI.k)Od@\WoGvC@Yj1,݈V(.YpdINT |珖t\h3!գ GC~N*B)Rbsm:OI'Yy[ͼ L6-?a&ݖD\Rf[Yh-@17h8ebq01f}IJWSnz+w%GAq,ő{[6QgYZ7zXZִF! TN}]ŗXi%GP! qˇ5FHk R1,QC1 Tvw2PE2Ze5:$!6  B5ۃQ/g؋ZjZ.حdeL 1Oߚ*_Hz&<]ʘ8 Ćǯz\YKeIil4ÓYs B̉X>CCpT%tEeճ3Ìaa(fE(5+09o] 8u9ԋȊ(FWaqڴS9tG9)9`Z8zn>jeҥ7 1$ԮK۽PdY 9!dBF (_'-KQIf}Yp[SY;oP dk-4+!iW8 VZ G6UQø'^4 `(-T3v#bW7;;<#-p}ȜU h'qo-{kEnLH4afَ^`BM]ڌk!YxS9?WC,=UC4VqSN{}_1L,E,/6Xѓ1qr.l\-T9&&OU=t0ݦw/!!I RHNLe~ v]wD# 9׬̥tfOmA?1[cDCU]?-Ιgw>Ec8[h>ҵRYUd-,VUU]yn ]5K\dVO@FDK*!*MkX&^xnqΠ1|8e9kxG834TR ᙴgteE$dAZhp'lb5AYJƞ͗PЦjb^5&lf‹ [߹amXmAhMzE6iHLxđ5!]ɲ-HH,l|T;P(/KQ0mﲚh&A&dDZO p8G9*ճa6~a ؉`q6%v,3e~WJvVt3 C;[l: Vњ8Y,& `Ld\ir:B9lBx 3ˈp톂xΚTh5z4 @A_Jc|QOf} s\ir$ mz$̌A`ߓ'jsD/  v@eA\!ؙ_i:Lh hr$MJ| (-J[B $e &Š'$twI/C'kӿZ৾.&n?-0[ d]]e.zk~LlxOÏ @4 RGlU#/cpMNJG=ݱ_7g'c4iU>3I k [$@x%O'!ӐBF_D*$k:ԎG $5|Se B T^T}{r*ɨzㆯ526^δr&WFbeda,R >HCjK?mц<A! '<{Wb6l$!9lq, g'"S;k{83i0g(e@?q51m!94eŅUrb ;D*4~awFf4Wjļzm; ; CpߪGgx: DD&W+鏆i" 5ѳ. b!8/m *Q?;-EA_OʆK$pjmVؽ#Q^c)SJZ;Q$ QM>F93gc2l g[u '{f 5W˦>׫)Y-#Y񧧰~ Ӌei7&X6(Ú}?șy,qE *e %&o@#^]KXz)J7 ._YM&ZNf$vekA_}G2wMlbh'؏mkrx9thQub\-܅* RRx+} tW9f Av-9zG aȆa 8r+ S/K;3=`$`y(\ISt!vǧlDn4&,$.xRB,,r0p_OӠq(go&@;*C9:{丟)L4!iYʰ1.Ѵq<#)5{0"^]R\,uN3׿ Wȩ }0-fҵz^ⱞ@vJVtFF#h&<^n'1Ȋ49XTH-hvN_a3KE],AgWH9~bwGAY '2(RƘZ`O|=4Wʿ6x^M"eӶF{_Q<ɹonK, #5d}NE1(, bYfhnʮ$:y}~Sʸ|L<ռI_gK'zB[H(/ g;鿜tDGH"*d _hl_Čy&Lkz 4j%k%G]ysN 'Y<$zZςgd,*ӁLk Fr~ZVPvEyPR2RN_E?=;D}K@ @! K2/{\/{y=(s2mM-l.ׅ#SHOq*K>+7eE#}ʰ3VP%"O%Z4WBJ H)bH*`Er#gXƄB7* ǺKb>oa{Y1*CْP7l{gV[ii9x9 "1w^Ƭhy@P[d.s^5ƔG }]Hַq7,%s[c"IY8r 8o8D͋IrE]DZ-lB{&5 4:Be"([-Cϥ2һ Es}WI)e!xҔ1^9 Qg-Rn5Z P[ G&9&2L~Ǜ/ JqIVLvf@ztQ%ta6q*7}ɦ^ ;0^i@;6_g?&P 8]w!]jNkv4T;A՚ %T4=\Y!&D[[j\so×tjDA5G-֩iME8<)J(@RjMP*`jq8HqK8_RVEDG 2\*lkl:0t\g ik9UwbjEzߊ ޸`7tN3n?tmz50У=G/9I[;Wպ֯Av :x1z_Pś ׊.gwFm1#8.`4^ŵA9TaJ įCNaYzzO}Ͷ6lR=Ϛ{MXFS%֒KaI5O]\?ys}\5QLO76~v^&9 3tUL-9)`A 7El! )a!ur.zbN |! o@UVDi]) qWmN\[ RkQ+Mt\αvl6߳#ц:IkkoL ai!Ȳ V 4^'Ve1;{&~K 82B;x )x"zlB@] RGlcgɅ(YA-㥷1o-~WPp8e-pn#j3v$e>eWc%S5ԣv̆\Z1*;Š%yI+Ȗ=FzJ̸D^CEW5hcP9>nbU5/HxM+aG(PZ9@F"7[|C8(\0}\Qkn/qCnj06b[c'$R"P̿[ix~L:6m8Ǣ9gm_ {.okՃ;mMM…t٦t]Sq93b2I0ugP\frz7^f2p(]~O\DE`d.$e~|v-2B Y/l[bC ] sڕE rV*ԉ '1v*+c3?Wڽ*Dqn;L5N+PDrϳ`owm J݁9/p8zLgrDh/l7Liy>^!qO@sB%@4+sthM;Y݈k7jkvoøk2aD~;㊡t2f $BO "Id gCR@bq{dk+qE^1*ԲF MZTS>ut#/1 Ⱦ5*%(0sD YqA:ؠ6,5ñ'x*gabʣVY ["xt ]_߹gr%7dLe{7gpMþH6.CX]IO']/bFFx|nzq4%Yzo4,{Ġ8cqʛ-K&,6vP[{!oXm`B uءL36՜Oۜ; fKKj6Лb{-`,,,wՋy1Ͽ׫P^Kee`K%J:H0ZB)3X|x|u\K+ʷ*ώXȭxJ!spG`aVe@ݴ%iA@+eQ΀R[xR:W!:4|j! Q[c %VWRf㲿i'"hy:N6БhU| MFz~c[%8KT$@H\)t:)%vϲ7Zal>#Pֲ3͐B݁ךZt ɪR(t B XؓbF{j/?>!bb f:}P9qBpyPgV?yúQ8eDJ$t}F;c]V_NJM'& {?HrIgђ9E*_c:iSހh"Vgܱ[Pd\` ތSmNPK@hC$rޯ$A^{gƂ,)i{|~<4%gҕΪNǩֽ`Q{6t] Jps6d nx)YTXWԛ-%{r7k,S] 3S[ɾDy;"(;U͐SGMK4Ȼ\p Q ˣ_o9Z[.I:OL"#~1vpӼ}8L2s@2G>|eS>_WNn\O}bf6NLN,=&ph07`|YiV`Ye~ XA@ 3].;q7`_WSQYk,m,dR49"X}9l?ecZ[Mc&!P_+,vYę$A‚1MӺ% p H?mJENJ;J5;&ZkGLndr@q+h |3A^42DZ }Քn2ma1mxW5I(Oت Q6qJ+| /RC(&{RBvpi|na_p[U_1N+>4YPN%< i7\=x:&u+ER9>bMY)Q)h٧zp- gGk&PAHrM0,I&έuQ+`>K"^2{"nI?z9][Zv] )mju5;}O-/h`$ta<.E[%[Sj1b= 扗`UC$#@?%9jU辻2wTlv7WniHqp?mʬ8h u#Wī#~zOxDVĽ8Z~1dF [ύ"Q0TڼIL6oKyi{{GD(Y$JVX1v٢>[)wlncvDhYݨ[u)a ˆi_׮m]teBq>iEMċ|ّ1 Sgے:CV,a65]:^̟UfPbX(/L?,aZ5AģuA}inDjaRvC mZDŀP1'\t/U5t/&B0-`6#CyVKyP"IX:tƶkÀ[M>@q N(N>FZ ~IC!/pAZOGgB7{Lы_BHpbe8;;9,p#f&s|J.т|)w"$@7FxGM)0^~= ?gODcy,S<yN}Y9*h4GQ ($vR ك'-8$r^i_r{->0u.DNW70Gr/Y5{{AEA<\gs`"e[M4쌄7אdDžq!y(g''-Uv>uҚW>05H] Gϣy-/i9w\bҕd=ByM:1.J aҰ_XGx(tÑ9Pt,1h+}jO;xgIaS#Y}瞄(hs\0W:tbԪc [Ft/4mi3zvکGmγGK~zdk"1Mb7bo/赴" <<Ž.dt g)FV oHA6J U!m\QӞVh] j*d5cvD/A4A6C㗷j=n [(#92*vxv^g>H#2[ ZQ= IGx$!k<;{wK*oSY3 %cH{yi'vڜˣ;u-<[0 T( Eg qTQB tJAZ#[FI䋆'(݈(OФݳڅ^VgDY=56YY3pNC'=F.ilyKgb[ UT>},\h bݢ-C;YoA\t%[;~£Ũoi J"XDDֽ/iIJħ"EeGn؇iu:t1o&-d/HM2lF(_* + wOΓb6[asSRHf%1jWy2͚pXZ XU^(SZjXx3_Ҕ]%%=F].>\T}h4ܾP $LF5S;{vd|_0Լ&AN]X  HI:G;Q#K1چBakaR`G.!`?'I݁;i]w yJ- )2LgYB?( [c?bgrd|'+R'̊-.]U`6z^@"g1m D;IN5 k@Doi<# Q@ 9?oG $R9*7WdvzdݨtϬR#aiNEw8=(w"lź% 2PCcQI٘Y4xwY*֬ c:B0E`0z%NlA?\ Tj3iff D_]GXq;*Io6͋9ͭA%ArdK`L45 e@zK&6V9vKdx. dؓ\y(FS x/οԾxAL[L-F({PcɅI؍aJxL:)Q6-WC6ܿŞ{AiG*syף;o׳: 9iRz%}t 9#(R3noKCZԊP!!:Dh?;{%glX(:*%v} ɬ#|kgiW==|)΁lQزrik-3$ʯ9j~fvNg>7Wv82EZOMM  4w@ꭕ,Y`[rZ lUǵ9kU [ۍJ4]/必Eյ[x4%ಷK//|t2u<)-\\=6)./vݞʬG7lpd^óRk%ht%3Ѫ(ރ/Y_7HǏ2,bzөqb>]|7;Y ֭+qs]NuY5sC>ukJ0G'XŜC4"e_+1Ko؁f#7xX 6L7o~G?d<-)C %ݷ˲i,QDRuM:[((MpYl0`fF3-H3I>B;H6#I]iUg3$xmߦF6;cN+{9u9$^y/ T)(pA'.i k U]~ZoCԮinbw$gh@ix7 C&o kT 2+ϖ8ʁMGuE{޼ c/(rm~R9" 5O"շLf0sa%h%fn#ZK}T-[-ahd'Y{ms iԪYQ45{>iAٌ2~45Ey+*US+~vh2}ȲΊ|bQea=[YP""$/lȍ {=zS0kLLB0(P@P ] U.*+*xr0vX2QH޼;cȘP*]'鷝/,o# f}9 -Ŧ&Q羷 ޒz+AAScsFUT%<2٠2̬M=UE6Uf;"FF2D}^g5^ %Cj 'HvmwBZ@ J47&0~~mc3NDz E@96Dj>!AKZ엃 yŎAA~0R> ›-ZH͛CZQ"bˬ F+E'?6ej}h c]uv{RktN [S31xD~׿DmxE_j濬ybBYHq` qA}I`i6K^\aw/8y8-fm,ˤ6|Xd#Ysv*oa*PV <9`'iDinww}AF_lסnx>ݻf;/3WpM>eNEY6+<*F#Up-Q;#lg _N v5L&I(35mt}R(M=X1j _OTfo_:G*YBһ!|pCmKh֐N/K*8AhJsdis.Nz COUHOraesi?-1ϵ9l^m(+cό V-E3<%M%~@6<\ԑ%%'c\VNڟ33e\_} \BQ37Y\@䵗gZom.0E žpf-oٟ0HtL51sG{IK @?$$8mϑD-czղu s+@dHunkhQ[5D`EYrAg=>R͓7 դV6L=f fpe 3Z#3B|5.3);}e骢'Xr f"$|†vÔiBFJ :)e mVxS;̍iliOJ31[͞j}f( a8eQgءC^lu58EpsB_jhۈ,ūpQuK^?GH *FE鶎wq?.ҤP+;̼SJ ]/uEQ$e}RC/*AH*L-jj;:ߋ~>c.* iF6?2_ Á6xa (5˖2yzDuuSd z8C *,B4ڷdL`,ݎS6$yʵf <_d?ߜy*W)aXɵq4K%ዝ.MC3wxk2#=;6|T4#5GOaӇ7ұ2Cnp-ܦwnVV:cO/IدIr:Li,nF<L̓t$X]{ =/H.| /PGS(W V'-5JIo=;OaN!,$6cUcn #xZoB;+Ī6:agt 1y]{ȃ'%c*v,{ 4EXu&rz{z 2 G=,k$}i2ӝ$IT@i(F6Vb[ zyÐG?~5Փif.s6R%CK&kRS#4Ÿ,/"Q$ L̥jհD뤔jOg-4 ]9kC[\Lo|cu`r$Յ;oڼWY(DӲm| Wy7.:=@i^e+NPz8^@94H D>J4[eB /: a}}I$^9 3f1 LN@0}(0 Q[LU3iJ!1T8eTk@rnj`;񟧏>#T)|jeeܦ53^㹰yg? `,xrHU&%U \ڠMi6T**O{'""Cid-;U1I"|'\_C=;7T&-`XLc̪_6[q77E661ait72ŴDLwlhi@%]fkaPuԔ,q&t`H%rW_GdZѡAiټqp1 .LyCʀ pQ5 ?C9ZqXؾ@rpS 牨șdq])LEl[]ψwT-*΋ p C͒ &# ,vfsasgAw@#A8xXX`1 ]{:sll%GQ3b0@-"d"~ZKPSlk!]5ҮuVeKS{߽N-6.$8߹3Hk|;7W],昐@M?yp_4=|4,8 XE#D4 '*Qu`#B,Y}ppzuhG>%׾ϚJA«zG45'. x$X[]Tѓ%pVVĢn%AlZ;:RPw0TgLRF1慹q5?:|}qN݀.g͚wS Tq`o0OEFx'ӲSEJQͅdSKwިDm p /1R!&'LQEldKW|5gT:LP|>Q\Yx Q)3sj+M000c(4Emer]lL9N*3/DI8䑪XZf{*m 1s"$jyZ{Fgb=A`(2ł"p\fv6lwj Ic{c,ShK(=MlI W8rFe517NS{6V)ur.ww5|ÆOp:X[lo՜lqTue2ᨤ¤5s !;A8VB Z[xS5 8]A+LX_ruL` SEl;GlAH.ݝ9MoJl͠\.Şl[_\Q3%BhY9׳?3pL$N4 u_#boq}G@ QևeԮɨ$P⩷K!"Qt3z+R+3uE`<~k@Un? m;A`Gw-4|VZ^ϱh?)/p"1&$%5Ǎ|^KnA,~-xDTYhԷޕp5hQαݝ.B\)N˫G¢7nhRoNL-rV DSx{Ss)%"ŦR\Y']./MLo[XiM*G.S(A@BGlSԟ5Psge'QO5Y@ ):8@HfX偐@P$sےPE 'f>s- X`Ddk`G8>AUTĺ$q\mq/.*hs3|E:eso!͏dOb7 .CP}E.AdmT̜pd}"9GDK1o)FlDQ8fyL>ÆC9o FXPV?d߱Z1ͷ#ʵoG%(啬L^Ak<.b9s"pKs̀?/V|gS:Y5E,QAYI&$DTX8"82a|SϘ%\Bc+#~K(G-FSԍ8xtUlaYժcY$5{#'RlڅRaЖnv%^6嶶۳`19鯌X!3éS&#b{TnoMh6g'ߝDN!RKSb7`BS$fWATMʐES}s] qGsuvg(d)xA:S[h"L*~E qOÿ#鳝4Jc3G7nҾŎ Xarn7b-+ Hg-^sF U  yG@&z~ %9 ]i碻׌k4\l> T;8k)o_aTm%ΠkWtPF }-Ҧ߿.6B?O2\]m> v&њ1J(}ÏMh !E٪ѿ Fbl Y05n)g0Έv+E[E#L8Q)#NtNs۰l"D}|@pO dqi (oCQ3pN ։/ 9Vθ A,+ΟLcH;ɍ)&]PmJ ЄL~1!<xвRkEbnU'ؐgNDK]TXJAБR]Rc<4xqJj,mV_vzB˧;V-, OB6 l8Ed |02T$ɞ ]]&-ٻ&Dl |=?{]2$w+ DՈóZ$rچL޽Dž:+_['̃L; &K P3Ij^^.qU_՛H٠TN ҰgNenڜy_Ӡ%K^NЖYwfStxMZG1QC|Ӽ5KCs-xRK*7*)ŽUn%*)W8,llk^#vz83{Nee$̅;i`VJ2)0v5T큋GeA[짠po6K/?S.2,Ǘ/ o'ؒ^1A+ΪDn4qOYIU P'm+qdpK"CIeJKgab&WДHbV6WLa }v ({c0=E<~Ң3V丄oeiͭX}h ^Q eQ̯ 8ݷs)(" bԂFF*RXJc_v5wN.^0\`SrI?cєrf+/]y!^G/Jb.Kz%3j`A9 k;u.M 0=ox !e{A_p շawW6ofHfzGI:AbV<[4 ,ءqxpoT~PBºO֩bŞlgI)cO KuS8E>bh"Ȁ \D0Mjo$#BYo|^b[ "V"5n`k IF wWH}[@Qktjq*08sx?dNId:)j1/y}CU*q|n z=')x=W)v7P6OxL˦5m{pǃ3zUGȺ[7FԼFպ3gYZ617c1f683db2740476a4484116ea9eccf68fe1745ed84af47abc05e6415ee3f4ab9fbfc3e91721bc cbc18ad7ee89e59ca90d637affa8dadaa40daad4 04d402b0247d83750fec84a56120558bdc0bc722 fe094bd832f382ac6fac4e4cf27681d28a453bf1 2f2ce4d02e68d19dc3e99d6b7d3b6984edbaa70e