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  5 ||T ]%]DynamicArchitectures:threads=4elapsed=10.215cpu=34.380gc=0.656factor=3.377zXZִF! Rw]ŗXiɟH)0%o1.S:G&kzr,l9`)'!:eJXbruB mWg_ٝ 9$h#PͮI*_>Fngp=4(CڲbeVaEt yʢMUtNe0CDVm?QIv`7 s{{&>pC3=+GS <a+ H*woYcLT؝ 6 :A~rtְ=X{0"3w.ameM٦ecjQ.}l.M~]FK 'G i2+=^H{>$9-V.5=sOL_iLSxS\{q9+y_)ߑ-@ 訂5L(]0Z}vͮI9@ZixLzEþu0EP?j|:11HCImpqG, F٠אYgZ5n~ r۠_/emdhZ2m^ OfGvLSbYrD~ rV(jNjڣξ"&&V:߭ĒН:ު1'͌ v}, I?8W~z~^OUHF~}i&)l]c뉸 JRc6UD1g1$\C4xn Xy9X5BTÉu% IؑJ]}-WYp3mR~zm*[KbRA +Ka7j[c3b Iu^B.^ 5 DynamicArchitectures  xsOB !sȿUlEU-swiҡM iBSY`ǥc@B8D2d"4]my;{|aieJn[/'zG\|D)"SoQi4d A`(%rAwKlǯ]iO,H= /x&rICh= ) E> %~ DŽLQH|3Ce 8`j Ud6&#DKɰO(QɛX̀E3*;=p摠=(`rNN¿'CԊqMŦH eCcd% R?5}="|O@z))uGVyvR_b< ,Y* vz-O.#cцFr :]&J#`񥳳?JbqƢCRT,>(M KZ1sVK ;75e*J&wpj%7)#K/dxAgxxs.IhnlQJ3y(7~c¶ q>B 4h39muyQפ:t7Æ|e԰Y+ <7_\, 1. bFƥL=jݖ#swt)_0ee-}ׅpKJʩq7gEe@bKK/*CXnTJ`#3sxhz{`8 %# =3`_DxOފۡ? _WVk/;9_Jw**ͥswvVyg~ Dɸ6*L,ҝ_{v5M/mYQ.[Y2 s$Sj2Fg:8Jq_c i)H@StMhإ 33W CM$*F'Җ<]O#GQSxT" lhl9KaGуr;Έx/1KW=:*SN&IУ{Z/2/` FaAt.I46z&/ɻk.IB{DH;ݰECdIQ S[ΥW6^s6uϤD1 I+a\#6%~#ԡf*w3;)8t"F1 k A/;/T) ~vog<#XK/7 GaV[cv?Ĭ(yRܟ*;7U[I-׬2Б)Nb]3QX} -"b$E8vx~v.0\+teexz/Ea|:?|Cϵ#Ds/˒1G $tFdϹIUItK{Ņ`Jɪ+YT"gT\4 蟡mOϼ}iU 8k2z}$HT.Y DX{o qBL)D]Ɲ6B\`{=L6_JFIeBY.1u\[Gͫ/RD z@ Eq#;WeAJ1;g߸nqv w_$#0` Umb¶l'E,6H#cU;F@dJF_m:*kzk.2~T΍Bda՛7|sh69x5̅,[( |_9|{.9+,fJs>wqm(_ncnU؛FހZ-IsO NzfovUhR_M4>2R5ͨsk)HϴrjQ~ ?;ЉUv쾌p$t 6-^ ڿ5,vD,OHtQ<2),r~P9V}!Gp_Hz Cq`U2P̸uHP+n= yZN$!jg$@Xn86kQʗdQ7ZJn&m1JN׷aw|0 f! &.pA$UtԋS$h{@;DVY$z8wcSR.CԝO&Fhig$A%m^a]1cP%?Ov4w<BD5$H6w| t]'AWsdrSfγ6Z"2`I̸E]q$;WjhmHS~**} џĢb.>]لŦ<)#Ht [`ϕwh},9w򩚢!U|*kn匃czE5ma23ϛeDA>ABEn@Ccʰ}ػwP\jVڡIw ٛaSK (va6KCzлp#UzvGE1+h*͠~+У)!~'-@+_NEq+ROͨ5> %CBD3,Nѽ K+탤ϭ!=iQ+#›bt w4Y}Gzwi3Ȧgv؏^'ӆA1WK7I%B_ngWg P e)ЯfXGJ:31O~y* $|X/D7,qP#B`ﲛ<5uͬ~,&^KQ_D瓏M _}^4JX'$-|RRx7PgҮzD#7s7fdݻU,w t* ,Uǟ?YZӘ zB]P䣁4|ǐCJ}2G6+G" 'ryYI@rbk"sg:)5>Vr%60`rMZH|U5_46*-AJc{-)Y{)P%R$i3Q ZSQlVJfU˴5xWk+=@ai~gʱ@uCW>s*Ac<ȝ}D_y y*v ~Hq)/X%!J-rJpnao.m}e[`mD2MR<ؘt)qqy`Xg|VĚ,Ҟd~}'i1U1lΚ,#B8-yP}q~Փ^Wo'#w, kӰXJmxg QؓN*)ڷ'v6~Ja &Ov#I]e!i˝s ;*^2IwےHHPgKC8pTk'scpz\pO]k}G{3\Yr ՛/ -;a)Ҹ kn&ߖ}`׵ 9)B3eny"B6_a|p(-P§'rqE-1G\Vá}ܸPZ`*M}C}Gq)Ĩ-WRg2AR $,HIU[As3a(7$^W|HX}?"{epv]r`Ze8vm65z[v5X#8@CCR{+E= +ysP$J߅C2*Ҋ04G [*O eJEZg"0ECвxyc4lhq)UޭqA@nsX{2&ѫ,iC?0(u.bUっŰX$jZc &*ux(B^a -G:T胧b wy 8pwG/RNmHjz9B6Z-sؗcq{hfPiuLl0e_"4~n(JAU/U[Zp$pt<壮07`[1p3Y}ÍIL &p`^t1FKfGg>[{֜0kyp` (U/̠~7Yy{Pub J+WuP<@ԭXˇ QmH1U#g%ٴ)//pa4蔌Ft!`L e_JXi&kc4L6 [p>"8J؈.[tX=xQWikYg!rSsw9{. *h3-uSju$6"ńTGыshf A-]w9W}`,5,JC[HjVkBA[Q<i~lK Ga(]?:0'>*rLHSRpCj$f@Qġvߪ[>*=,Cty{*E#|"x ڙN&D|yI  #fB;JdeFud2E!|5g&'aAH ۉwdUZSxn}+XoEW)%og OGٽ6 ʎovB=6oo"߉Tٟ 5"U^ ̚Ω&ú e+/BAb.+[! n{NfAs>-^Yͽi6b9X;pЯhG;O@ E#˱] I ү;3h|Xl,fӜ4vRhۯ_O(ZSPpHopC;KQHV?k"#&BF_jd .ZyWB6 `{ȉeM:3f*T%$#Wwk!Y}"RWt$3t=vW%Ο3(O :qJM,f.,` aԇqh<,ɑoZ8{>Gʮܑfaf\b8a%yr>uKZyAQ PN+$)TRV҅)K}cи3dZLcz?MJFQ`/ \=siLUBLC4ZV,iU_lئA:Rr-ycΡz̗bŝO z y-.kooICr+,~YhKQ%}R$lLz!ok B˙¢YГH5fq̮eD\Մ?lUu}MWBOS7 iLqnD(b59ov2vkv5l–|i1#H.EhG]2)Wuk @f'CÄ. $;evNKdyIR٦^ OdB=y-ɰ\Ț*jE;O7P%B_(~c*v}x4"%:$bzpb=1k6B^[#n?Uzf%n A7^/COMiL/g*U{P@!=Rbc/iB<`u:@Qra(R}unYhDzzD=Ez4܀)&)G=[Lor|#1eԡ>Ӓ @_[Jr]ͤO! c罌hS^kiM>vqRųALNAӍôőz,6. bt-fmԾ0Wy̌t#:vᵠ2,4yrF;>{ry&Q=z g8qb1'@V+lѠ$5N73|WeJMAl91zrF\cs|f2iIgjz%KR?tvA^MhR,.,FN:+pHF9ުb(-3O np "&h" g(ΣםV`3rrGL ~Ѱ2N։;81bϋC1iiӱ&U˱Բl"u,K[>o`#cZ ZtI~T# ; xd2>$`?hnw$ M҄'2625]+xuL(wu ;V֣*I:X~{*Eң( H*)ιUM7p^g>*K39%7[@~ /`"uj^}hɅ(fF9^gtX3]JȀguۗN;2$+\E3U"^0jnNd38WrXldwwOIv =3W$e:0. v>;9*@ 9 @.*pJ*G}aF̰Mb89%fH H;ػcjBG $A`1CmXPiz'oi9h@3u6񏽡^NF>P0W~P-/ۨUgIej=kHϚv2QMXMI2TBeV+`^,ʶchMvE\h͖H&efb'!ͷGlEn@O >\磥RN<"3`MF SIۛ_ѹ? 2NG4h59hphE0%^YPN]j'jɻO_ KhLRȳԝ#6[Ht':b$ Ύשoc(v~^U>`k샕;[Dߜ)׍Ib`o{{Лq:ܑfj㥗:qӻ.UiV[㊷6}=>酑t|RAWAxӢi<c0UgI4~c};Wn"%oF+)ҝ!' 6x39P'H5)}tfZy3gE?]YRk rXnO?auFАTmY>A%u'.+3إ?KK(>Y ,@5@jQ9$J]ǸY:YHTyP8 ZE._B?C$J,Ϡ4}oJ.O\RSc1_BŲ܈ x"uYvFǮ2QjSYnvo7 JYG"Ǯ#nB_rVz=v{UO*8:({؊r 5ޮ&x`]oN~ƶ|n^ٌ1Yy4"_bkz`i#6 Pdڂncg\qn6s1m$E0ds/_ {V 7QeVЃ 
    a1߰N|?%Cb$YLw/}9R)AsTVÁ8pavƅ9 pIy`ξ-PD Sy},]wW-Y{A*]ݦ-^Z`QDV+7 o8{ٔFCVSJ77fOHzSy*X sSz.Vdy;蕦02=(C^N>MyҤ+&B%[XwKk35u\Xt5TZ|vfZvvOJ(0' eXe1r}&jN\IDJzHs qH;&5TEqc i@;mhO 6>;$MftݔN)OT7 &,'5u*@1X|;Ɣ+<]ޜsE]|kOr,LE,y,tsU\;йIH-]ra5;ډcZǴc˂;\CW2`>mumB5BDT\W }Ӎ aZ_WQ$PyBWh23 $'2YIջ1 8Y9h&ccx ;j;u-w4}:?1#HuN5[ ܺS]+}γՋf&h4|=]$4Ifb^g,SOE zZ^y p`PRM5 CRemnS^w *mk+79ZN-٪pUR{XNH `?!ÊqSu}Vُ Cgλ>mވ_~d x[>.q!f5|2m/i0uc$C!6Վn $&-O,EA9 >:hOAbzD5KrP7|R8:ϟB8^4cL],ˇ/g\PFLpʠaiƬD}Z鬜ûErUAODYPm$QBih4;N>ѡv]HEmxşݧ9bOfbl/8vS@ǹUX"ت@g QV{YgGǥLXu%(}IPl;ݮ.)%}s=Jxu<'$ؾ5?YLSINE# rMmɤ1 }vW[x# FDDMضgYqi7Uͯ7Ā8kY9d=>( wD+sW&{~ ,$5(gl_-2irUb6_0P9(<6dI˒kc⫦1TQ"q8Nػ}caCzB?hHv(Bg6]=עHK!~"dBeҡ55߼rhy!HC2j_Tν2jOlVg?K آX*ϟ3ggz~\Wԉb S-e͔&HE[هe*HmL:wV",J$ &gl#sӼ9Q oXM>T@!}}Y<[Jd{:>7Jנ߂=,Ğax!’;;nͫ|ʅp)cQBcK(Bb)i9 [WtL,$z!MnG+x;yP ,R,Cx8LsX>{%9 k@e11$wz;9|ߣx#=@Cu1'rpJ5BAK)]ﱡ;t=[cBbq@Fe})=%v夐׎WB#6HZ_s!! V vwRְKˉr3",_E }6 {X(#L'֍:q1g<bi8 F?4"e=v"=mW*MU9 Xuo*2oHfr@|Iqŋˑ ߋ"J>@yK=v&P b_&T0LZʘ- 3 ĈԌ^휧"^n3Gv˼JҨ*ѣy|3w=uh0k w!㨴k_0l{ 2DG` sxQVg$ӻK5.+=ej'.Բ0ɦi7PCrkW]6e`?0}sJp̕>dINI7IAq ?,`:xSЌr?J1s j/ SPaOT%rQϺAs5WU0Z kq-}_ S*(DZh5cպJ燃0 Yeb}.עn~A h jG&G&>}U/LcP˜GOC07AvZFMn]1@㮌5u%_g58ذ1&{Xt1Up4LOJ t:mZܼbk$ xw}]sD:/ş$\Ϭ*U)LA!UI+HDx[jeVNٝ?VWD#ΰƑFQ잩/ԕ:<$wL+iʭ4{%3AB`~$+S3 hj vJ \|~C!'퉩-q>/KlELjc+Yd6F֕ãy-.zAzhzƭ )X7UJ`(EP`,ȥ6OmJSoÙr(DB$."HjN~H.91L%Z}6U*eo|UGd>D JpCσ[|(ggCy㉹I2}Wm۰{"% šo(-pC;%\ca/4U7uՓs[f\N8c5)\=i܎}}Xv]ܑ׎Txc"z/63z+'{Sާ|NY FQz(.$-kǤXri0x .k46f%M\6|xBؔ@ȟ 仉:L%ʄBFܳspNyIF>Tp?'b-{d$=ȃ%zcvpmz8  ^/m3ASF]pGr3XZ[D"'-qg 2v9;Ty2Q8 tL]FD07?*bp:gq<~D.{ӝX@B8SSh Ӓ]+nf5 IN:!5(No?b li.9sm<%#iGBV"xp UgNBW0>«Ө}X?bH[KfĝU/=q=-Eq얋͌$85}M$F?Q.R7V^RyWȤ``gƴ] Ɯt2V٦kk7ס0(&K >yJ4u,ȓCem"葌,zu6 sd 2nx{"nD']ؤ!;ߪ^੐km:׶Uxp(CqID)#H-+liW+*+v(xp[=MHh.TrkWY8"MD\N2o@A#jV M_n<9ô*d2cß HF1e= 3 M*%YpA>693VDS~q&d|ԙ*ᮊ1+A&@e4G#}=Ld†m`;1 &]-[:fMάVSM61ri rWH75ZG6DUV5Ql(Xg-ō:p'gˑZ;QrU`1b{ "In)rhh&PXUr ~ f ȿWĽ׀G1 w$6 ;`(OrK2GīӆI\69$O g< Yʼ4 ޷Yګq`T12wsb`йt9vTEԨg"~)Y٢̮zcd6ڑKHPG#/hv0CA?}u$}y$dJ>TSH}0 HUKfFK[f{`e)WY."Z=P]C<}pz0;Ԥ "4~ÍaKvbtrGtDXoJ?{`~wb61y?Ndue  om z;JmVm"3۪͡&"Ѩ4xѓRbknC Fn[/R g$(93ںqfͥ ZϚԮT8n3Bqw_Fs;+|/8 0.8On`A;W,c!9iX> sJj15j S#J%K$NOok#ݮ("*<2ced0ZHLmE3ܟܛnZm1g&|Cvۖ _gX[[Rمppc$FfK䫋yB?Z̙j43/ڟ*}?Lϋf0ݛI(6K#60 H4ͥy"I~Dy'҅1Їt+{5 (EO]([o9㊚:d,r/r'[cd|dʦRK"tEǷbB9Ï%'`Sk1J%fdw'\6⽂aPDz+ӝv|>Yxv3a0"FN7__,vMjՆyl U]“.{hnf):4jP絫IΞĜwI{ju- :O5>x^\-7zX;3 g9l&]BĜ\d8pq5pvα][2RZv54D[ w(2ڂ'V7^+[xO}!l,*V'J:jJveЩNK:%d\~B{#B%3Z,ݴv[8%i.TFbc^$+2ݮwF~adޘ15`>ELnHP{K zz/*1ɍߔF.P#RmX(\)4C,h\R\!wLt:a _`9~Uo2%i!{S HY72Cs> bsD,̂0.IGтufj '؟lqz"{AhDB$PFAu'(,ž$Ȳi ܶ?sAy%DnLYFzE\bZQ""Sֺ6281FWW/0@  8dN˕lܼEjd1گ r`糲P--E۽f>SXѳQvvj?Æ$aŞ?=8qVdhcf.n#6O$8*W S ֻ I֝HLzϷW {`v5ZynͩV?YKt\9%%dyuZ*84ˆ5F`Tya&fػ{% Nj l2dIpw/Nq⮽fS vNtnrWԲݍb~o>eFH& ;v=K*+϶dgX/_jCXR3e;%tnP.d%akN6 P:zib;W,9wSٙ y=Vig1 m<7G,.P c(Jˊ{&ZË!6!VM2!-R5tZzܨtM j8)Z!I2r/p_#C;<NZFht?vSdF|Ay!|:>6a K͑uZPvO'YBrD{\dBךV(iZdHtʧIxw# +SA;x]# /YWX;I_m>XDUo|W]Ȣ?K-y|xJvtt^3^&~8$ۢ6Ѐat%p%Sә}kZ7yYs;o%E4gVJElgCU *1gpl۞Sak(qU) H]Fμb:KsN'NQU+f~~G$PV./; u4hUZ9bVHoECy"mipy܂_&Rh=2 tO}RssȴPO陎G~|7$"hIi.ӲJsx#Ɍ֓DlE.< tƎI5*槂?jl VSu< /DٍԬGwx'ofl )/Jǃ, Tw,DjCEMseCOO+ᣢ7+UQ]u[%Eۭ#De6!nX4{H0+u6 |p!?3  ~Ous/NAo Rߨz\QXf<ڕ-U=ӳqolP_؀`k3+sRCބXprŇ4QUycsNvc;mf^ق:Jn˂)%P.㡹uS-OϮ}@I*$0W5AM&r^[p6~?qh|Rq4.d@ >?uUAuݭdhAZ=NG>$=ՠ9'& B#M $}Etkׯ2>jGJdQwTO5*q>=F1I54+j 9$̨âцZdQs eعO²#OFSN%i]Tq< ȩ: dz5~USGvS,5<Byo NU8(/EAVחm%~D+J8b(ȍB)ji"ZK#:naaȰL-\&D߼_oOt6/P:\CX*O=[u&b'ad]Q6n*cpm4uJԤ_М:2,rh`2O, +ÉvXLȖ2F]ehZob8?FT3!42}Df%-rr2IXP۟j.ۀc׵yZ짐ϣIK'!U'5nwы-jT:>@xWy;J];02H8(g)34?Y"ʷm.e41O[$-Yhg(DJGn^Φ^<le5߉Ȭ^pqO6uznq&0*틥m00y0ҧ14S"2Vܘ2SbPJ)` I-.-$Ea P'?<& ޵>]Z Y w0)ryVK 6-q_oC>,á2eN`Ԇ|%Gߞz 05 fI z1wl+VTN9_uo=⹋r}Tc)r 1+IA[`DEh'OhAS8}vMDd5f`uE֋2Fե)]Yrlu*crE\)qe:+ ǦƔǓ084k!![d-' x![,,hB{pxYu<H{ zYOBK'm^Q=Z)ЈS WeA+\)*ya 5t{mƧ =&9h0{?hVj`PA$RTs!+a-Z h-,L'aEM)}JS\[XdO@#N zfnS 8/k|iv ѹ҃TPƎ cik;Ŷt'6A nTf1g]/ӄF>n)LS">x&-!ጀ782(VH4׏Udp,I=yE`6v[F;6#0j3*]}_fk{lF>,ώMM͌#UYk`b΋AA>9h? j>C6ibK_0~~7yfxŠCz|sOښ}8-OzSH&=5ϝ E G{;B p9H3k Lޅ/0ae@h@[Ϣjq^.jGD_wPI7aF{i=.HײMuAD"e{ fUR[ pzIHST$H InCUJVKxICy; 5D}̦>IA ]]&VT(͛a ;Wow~7ͪ?+>ޟDjcI$6IؘŘ5lR iBrYU=T3r=P :Ztsf?=iTtv $G\G›׍Y&x@ {d%fnl_`an459iXج d8{RW\W uǑ pILD0OtVr.OGJIQfRlh񢸉Q]KwMDӣ]ݕ1vW٤-0`!BƮ)Brbg6#3-k\%}=H6ػ6*wzQ ? Twʛiz+'acھnOz8夘SJ8ske?Vifx̲JJs%tsX7ܦ5+șmv&d./#φ"S?p,Be6(.>K32ڐix8YA>AW]t*ec) :KM}JG|{{lcYڋؽzQxՕц>(vY@x>oG}]m 0i˲X#jeQɴ ()sr)>}ވfRx.uh"{N$qïV@0b~J|) \}\lޣպKQtHU!l3cdϚdhdW~Qi /]r`eG?2Ai*. f}#ub3[L;_Mo34^ Wm?7jvr 2XG:qس2\Q MuKOpݐ}A!Kz͝>dv`eg*rjE -Y{UPP|%7z_ 3/I+ ݨ{w5gbaJ\<^ȥ[}+qdV4UBOG>Š4K 2vC7qԾ ?b欨1wP"*9HNTX }e~ VlZ j|BLl66}N,"[XI9Yk2hDjG d-m0|۩2/uNFTWSli(Ȱ0TIDߊ1[" Z,!:  gc7lo_-biTzx @ed!sT{& 쯃'Ͽ\BeSJsZ?M!(iFl ~ PI_F vc>T\Iɱ r<>O#taz\޿vU()T9}SМ/w:7tVq'g+[ld2iQ&bW{t zn e$[SgfL>i"{]WsԸuf[e.6 (|d1r2Zn(Y~* ƿR=e~ܽ[/\5x"}U4«,g1a)Hǿ7HnwR/C}ω|I6.MRu6˞ăH[Jb3|h."G )P݃A'zŠ~:qp5о J" mij U$:4~G<Ʒ؁>P^p܅mx]H4o~{odz h2,pv@񻊂Dq)ƹz2qW4_% I4?&i,|f=-3;0=_7vNJN:nQ420wKw8Ɖ 32"\C@o|g"qz$PG,Q4@T2= :wR~DOމ3G'>gZ7"R٦9Z4C YԲN#WЯ`-p#bc G\&sA=;^ o` 3̗it*flRIJfNqV̢ otP~ׇ(NJ3 q0ԭ%kM:P*)'Y];e(ˆ~V(͐H I4[/b N |'$ R|{D& kŸ0{ Uc$E߆9rrk;:V,phit&~q7BO4`N7F μ#2O>R_385si<΋W3s=oAX~pme=@Foo>e 5q5{gi6ͫQ k fIf8P39LFK Kd0y{ebuF'т`wO/C~qlNDa~T%v|ѐoh.؏-~u^A˘?%s"K܍6{1|d3#NI|>^PzKF։$MjI2OEd|)P(/t^Ftpt_xL7c}WlF;bG7=cw#TFOeg3vˁv87_xa&^EnZP+<2g\ha/.Bi:ա$+Bw Jy\;m/+?/zF6}OσH?W~~ ,4z@G']P(dP/bL0736I"a>CS=%h\Ԙ(&cnsovqZXSмBQ%$yQAZѦeHj?ɨ"@0yX1E9Ky!@FB_JX0ɞ:pR2#8_+ ${NRR`@,,Õ+8,2$] JE`/&u\Zh2Wq{ O<]r** xԮ'*F?& VP7ahA>ο˰R[L_ȓpG}D"C'y ;fdZZ2k$xWnUfwy/QJUa?}izmRPw&GWP,k2Q 6 9?1UgH|Xe:D|cʒ~oӞcܡ&4#܌G3 bqrS$Hl{;N상vyxpɠ46L3Pb'k6rl X;>N&O+;gC?E}&E(n4eMUa5dVP@>'0o&&4!t.WMu(cmG31H8Gbd\aJg0D)v8XP)|YiBhHK|3WUXt(D\P,zzA+r\ha9$oA.>KFN_D 'Bkyf*]\=Eć*O us19BMHNm/nOCcBڨ=U hI!ez<3L1PTHt3UUhf\4 nqJh' k] \CyMWF@ނe }&}}Z+BVpxҼߥ  q@%z2,U%fz͊VmNR8ʒtEn&]_hW5z߈Q,`6H(# 33-ܯ`lhk*z\}E|Rl0A]9lH%%WC%`=_UOHL8 {#| ] u-fʗd9/?C`GXM`SkK } I;qmUq+lM9ɰztzV4@ѤEF*&K˸QbP@SZ▨me(H+]1O%ro{mN]o56=x1/Il}= N~jDu!83;/ʯ+%G%I┕G"uF&`9`cA }%U'NEӮ^nO4o@ j,3rbbIR/t[:^lӫqF_MaIag+plxOnfqamo tBg)oX`W.}<|}r0ًwfS8:Gj%o q؆ض}"{$hA~~o9䤍&A)(GJ[r"3=ZEB3G@U3-yl{7B #)m6)#Wl95ZϼIo?he\( fNdzftXGU`,7E8E Naʾ@t5NF?4ǠYVKm UYkqH>WuQ0|B905OhEDտ%;eJ-Q1z {^_Ɖ`l@2ʏչʇ~0Uw\ZtLaq|3o ]n#q3Fg+LAXG$7y֥s#~5c!!sO~ʃ:./l2jD Ljv3|6x[*4ǮcކȞ!7_RUDT\q E[Bdgu&:SyH|Ԋƃ2Eb^tÒ_^Mҙiyr>͂mx6MJ)P0Il nAM )$9Oj?'P_qpKyTpxxCfx%q65eX[@x fxWNnoG{ HҬVKJJuc53fv"ߦuoP+ӥl P9lPHXQK@Yt\>kSYSc=ԅք3 +ȑ H»Нwd+>e\ dZ3?x5kyMubnPc։-@L0i#^udZV&3XґI$26Id)PR32ct&87A8L V'~7jd+iɮK9/i3,Ѕv!1_`YKҀ41$ :[2e6IS<3w̏NȓPiFs\|t |~}  u-5d5k N5 te rIE{ۄnZ%5@2cE0? GWЗTf&>σ)⽾C"w>!; r~$1jQ[ٮIO*{yr;m ?΁c״ɲU;z =v:d COZ2C?@hXkmx::Ѷ׬]Q™weQ PX!0&6SUN)O!$tߌ^vUd4/x%D>2leZ|ݙ!@{ Yu$u9RZP|qE&2`7-؝K!% /r,FsI: dCZF~G h>dI_XD~%qٝ cL~wO;Q{ y3cY\berVm'-OV9Z5^COks[oBl5Ⱦ= 8•@7 qi0;\ SW cÃr wOOrbMSly619>;,EBR\e&?f&ZWE4'1JƝj$ko@ݢ˞i)E4Pct!Hn]d$sP-_"'~fMƞ?!?ٌ{rh2a*!~I|`,o3)wb Hw JTA"VXbZGK`Ĝ@}$&Z4uԯ4d :jPbڹ0N1Ihj–4cD[f%|Wqgk$߿w4|8^NI~-'Ay ƍu|}@ũ9F&% NCw0HgH([3h,W.0ا4LW.7؝/NBкtָF^X;紕&ʨN>(r(NP<2Y7ʹ )mzҞᶸz9å68Xrf{b>aV1W:c'Pyb sP L3xY:e}=kkbCZ‡5UP3?"L#^Ҹ=%3NV!7h Γc sz\;35*v@Qu&dʉj?0W},ccŞ+Zq%l #3ɡ $լYw))!phۡՐ\*1Rֿ,篌聏=,J5܄=޲ _liom*66iI O]do; 3"+I8prO`)'`uDp&`j,VzbD2mhlN0.48Kl=EENa]8-:{=qnwL6pwmL`\#m$] dpFCqMk:@,[W"-4j[;%B IgZt")Mőm c?e2gFsl'Jpm/d4\~sV }ޙ.X|5%ݓ`+y ^?17w[K\l}ͫ͟[ӹr E0BafhϗPoF&P`m.)uaWS#XVTc|=<eYx{[@& άpce4KX:lx2{ v&1rO0,8`G`8A}L(3>zdA^gT\ePۯ/k&$$έj\]8 AKbkPV?z`Q[P?$J$f^bC raya#njO.)w5M-I$ \J:Q~IvJFiHhű8b^,IrM}UFv6 tD[}L>Q}yJ7LVC E6L!{DžJ}&9em#;eU7 Q0e]$Ep <j*ǩXw KC.=vg*qc>kO0~|g Uڊe?|&sk4"p\rk0^,aV?ߢ]Mq1?{q )">d^4pM" 2|sz,9ܵpvȁ3Y]5ëLL#).@g|a"2c)o(*C#:CO9zQ6?dHkyh BjFz'3X ŃEq&>^uXc6|ӂi,(б']w` BIs%zM}b݆w Fp0,F_ n;8i vm!Pc`ݟ;d(Y #7@}h!mC}>@_jb\)"&E2}ЇϙpbCw&rH+e3(32-~%P|vqÎ{b{a3P̥m9:qomoj,]# X}R)d/(H!Xi'fOV%pV͘ (tZm)gW9 ZCVB>D>16`#of(tڮz{E6Vh:, ڏdkqF#h%II`n*HȮE}<NJa*։ gNhFْ6P"ݐ"]o=Q}4@AtL^ R7\J=+Oyȃ]I[\z%Yy^XcW>9_}ZqG4+o͏5Å^0-=86nHqU͑.j:VWZNuL78 @x]xWΣ5n}oPKvQyn/E\ht:[h sXu@o֘L!ib#qD^%83MՋUu $ǰިtLsv[-D ʅsMXҸ _WBE5o[7!wG?:Mr1&@ YA.[[E(Wt-PN5~|{WDݴ(MjfsZ qTɋ,O-btLi*Ώ%%D$hB&9u}'+"=,RP9e$bRVi I&ۓ]}0/@I-yеzJ֮}ERRxUHg,w V"֗4 }RJW`"al9=H+Y~8dྫྷ jD67`yw>3Rbtc+}yHD537ur,O S[m| P{FV9jB>b40V ;'t} SMqOK`Z ^R <"_;:a-źEMg&Ehٙxc_Xз0^7tthTq5wjUNd9Hg8T9u2˫SKGu;4FM\v d "n fAo yՂ#;[jQ"#Xa/IOmvI]Iyx[ELFšߝH9tPK9` 2(yR"|ĪZm 3elXW3tQBΛ#q.E?ZV@;oK3)5*|F<d;rX_PL.jAQ[l1:5\qg4 ]f'1Pb ,Tڮ# BayBUa(F; >i>Sl3{瘶KpgpzTiaoJKKSDD4U>fx#B[p;}$n+|lMg^{QOzAuWvؕZvM`(nB;Q(5+ͲIO[LᑉؠDżZwTB(@IdJ'4X=o09T婭/v8cdnb˕NA ok6}v x`D"j:mVHn:)Eh;ܛ+[,n\VV$gFL-4_ >(=XcY [_6/୍lW]d)"T?8韞>ySt/XVu`}OsyWJa^\nuTd5G ddlKڥWeVߗ}G~ݝ;uNOt_s'KN f孼$rO<k-"G&X9Pn; -sTøg<ɤsR1_8F\H X〒%v+|MZ?7SEq_^k#s-'qEqĠ^q U7ڃRoiXw?^Q&h2uAd+F$/ίˏrf;+*'`.J@$6.vi%㎫0Fg gD~/ $LKJ 6i3p}(UeC#0 q%-1ki31zK6w, :ҳzjq2=2\ X&9t#$, s*g?J+ TƤMHR$.h5>75 lzX؏L&!&b QZ϶fJ}S^7+0Rv(MdDxcidNsXYjݖ1ŻϹsL4 %fİEWtRdiL\ƂPF0ͣ~"SPT ԅ653ÅכچpY\.--,?#]ѽL/zy}NPIG_f%D| ۫( 9-FO,WogӠ6m;"[sCNK4*Ό9*Sw#zfvfI ;bˌL!~׼CA#]jVW.lМ8iSt,]O#"A-˲pKFR]E&haHvb*SΈt u YG! JH6X=yk\ު4lYJ?VnqG!{jS3?fk$E_ÙgEszSְf%۲ϒi:͝K[O63+|UE(5I'DHBpuG9ʢ0sEW&76H;IV!' l?hÏLcze{dbċ#7^lߏ'`4:# ly0a9xP_jEDCv+`4֙J*Iq4 yB&"Y =gw&wj#_$>l1 vWa[$.u;NG%KznORSv.8>M d+a]U",W \hM5$NDSF\ZʓMG595qr hb.aK°T-yvȩ%PuáYH꧄(w0Y+TxFK(j0GM! M)ɵ\N򵐎6@B}FgSqqՓS(@lBʫYk{'e3@ݧ.4Y;Rh g60ԣn>'CB1)0fgmn^NioӶwe-sڎ>5%s^[ J^wl DL'+p<Gþ D:߀|d2cfД'hLP.ZԢ1Sr> #ڼXFtG,zGm}-q1O Mu0Q8GY~SfLp'BiݎǛ7ULtRj}2'aqRy¶Đ}:GZzqF5&8 J\Hb#L",EQK 4sRpbܨT5 1WɍPУ#3ϡі] ~^RrDp`Q(XFǛbmbfX-C,OSCS&+A ܉Wm@ygV0,70 8Efʙc!hq3!u=2200$͜6KzG Pv *-yЩv/}cg")妒4&CYܓs8 ees7aDpoQ{/95е4dklpB2 X޺Tz0O,P= H#'w/fL\m]-pה?ӊ$^gYZ7zXZִF! w]ŗXiɟ:340Ψ_իX+jެDu?.jT yG\u^`W@%0Ef,ܪ+{^g LS T#oױ]\C2Զ(%gYZ7zXZִF! Y&]ŗXi%L!l0(O+0+70SΒ[q:Y%:3ns=Ժ -F\uMzb3J{ c[jQ}Et1вҸ.0_@ Ypvgn)p&xD{FfhVDjͺ  ZXT&P!JRƷ>ELAJ>!+eNPv YG$IcZ~%։]dʼntr{AdٚbW~Xmʣ} 媯L(>yf/qu=0BZO2a8HJf4o6ն/15h-6Ggo[Ř*csOs RFU=Tɒ%O~qWss%Hv IbMs} /6SExId0Og#0yK O4v +ࣹKDh;vՅ6*d;rm ;j FseX1kGuv`s-U<::i BZr Tn_bǛs^"dܨ.8FKSge9i/F֫[߂ Bg(K/'ך>G`r˧"_8ssbOu>+vGe慕ۉ(bFoеbgu!زXccŕò5D)< ֛b},yL߶`XhWhD t|hA7v 5tN-#ZI!I!ŁsJR#6X/[y˜Ҿ,9r0lggYѧ0Q< gs\sֺ)cpng5H",m\Ʒ ģE :QWoK0j|u1_d-,Eۂ@ӻ SD],;>r 9SŐӭ2gKs(R맫ߧZI PmQ>3 Lj15it?*vLUr\bn5@;X[8lA+lYɴMW @ܾ~U 6'C1AYà:!׬CL mF夽?Ҳl<,y}*Dfdl=H c@崝1P f+jyj s^_;|匄_4-XmL@x_%Bƾ$E-M5 hgYZ7daf01cbd96369d7f53a09710d6043b3fd1094908215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 59c5e7c402ceb677c1a55a1491a065696bc0dcddd9c9a6dccc0f1b6b00a31a0d2bc11299dd7730ec