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  P5 4 ; HOL-Nominal-Examples:threads=6elapsed=372.547cpu=1404.668gc=121.972factor=3.777zXZִF! ƽx]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`l NFɐ-@?ɷyx8@ܠAA=Bo?)֛ qQ}3=gM0jO"iͺ LР*1~,$0aa!80s^K` (c }i3k\"1_B~xz{bYrj_ziɛng4/Q㹰?h fyX)4wd.ӻ_)P dXX%9(-S0R.Xbb <ö;O9BXg :@^rP {k T?GL ]*qTfgR-`%J>,etԲ6Fq!*P4e#%['nry>OԠɶU_xDZz+&FE'VNzXmQ saWąZPdyYD?i]-x _1DV 1 GrTo,5}"q/Uj1C+9b#yhߊ:Zm*6nF08_ŭx/'|Xqơdap͢6KY />(XxaPP sCY: Fwt-+w[b•PaXr+̙IY ? ]"`ړTin!\}e+K#߻3H$^XlfO6 U&<7F^E)Deq7mh!O]gDk,8N԰na7ͮ6ݐ)n.:2JQ'JԦ ]@A.1f fxDmӁeIm$G`R.~|YuFܤ (:E(b4p.,((kK(3sG&@TwK \4+$#oxD,] 5 HOL-Nominal-Examples@.2kmgk~<, {PjnyTZvT&bzI tWzUpGsE8y֖|;c#'-Zy@`8 T_`J`RUyc//k56!rԂ ,OO/6#F=_\6dW(glZХ.Z#woUg|GPؼf^-sƏ*D\zFݧQdLo0u^c*UPPpc|W =lAkb I;x pCVST]G>$ݫ6/1$ 2B *y쭔M=+} ^@Yz?p"n+`Je7+VUX̯[k ? D>z5L JTSBqrG9{0$͜hIn>Pl0`M&7qMytLi`FD2L0yOJܠ9hiyUR"?o[11v |R 8_^9LֲX_>[Ѽ;e5 eRbA[\ 24bqӠkNUObJ-r0†~u,Lda{Z>o"s.?+q":Bv|`ej! 急 a` U14 jg%*hmc";R/OcXe[j+=ъP:ے0oc% I.?7&gx[5׃p<^24fBE°jû;гEՂeVS>,E`! H fx9XLAܹDRD͉@BfWithi3 ܟq5#g®a ɅNe?6O4.ޒlѴrh18wmtfM_c'Cdzd,[tq=ҭa硂P;Ro##ܥE*!lg}lY`1}b*|4F;]6c3u\ ";i#T tI8Bl$&Ov*k|U.ϴy^u\Wgcp)j'V 2]kE(Yf#ӰB oz^ogU12DaP`c=@LR(*߇#}!&t3Yʪj`a!DcJTZOåE.+Ʋ4Ć?&HR8 pnF$wa+6(ߧ:U*t:qk8R,teeid}nbˢ{qޥvc=3<~{^N v8]$yMVgr6 H`t]r=˷%L).9V oQ=F[EԢ3ϬAD( *[ƟS&|{= =s :Ӗ b5sDƑeHabd}ـpy:pѿw%!y`D־vyҮIvC'_phU#LlzL;){w?\[{b%N|5"vU-($Ʃ&Ҟ3m ۂ nGki0qxO  SKEuҜ4/I䟡 ʺsJngf-m$~os||6[֡zU.IߘSkpWګ?`i7.VP%dkK]rM OM+0ѣ7_xGI ZȑB5F,a<{xmh _C%W)Gmz5W~%\xm~F7g. rr&&BFwQW3V,Mp.L}WqIiJ† 3-cىd¥--@ZTG1|Jp!9ɎIрBC1@kswxUsWQY ';|1ϙ|_JDmrv> NAn˧F;<'yƠ;s<ߘQֺL]1tk\)xmY(eIW׆%n .-6I'=]=`ݡDK-.mJuUVJŪX u ռ:N{f$DrR'1cwo2 u/Zb5Eİz-tr4y%jl۳^ 1{㻯"N_–!UIDOΌObn{~%5}QQ#tOArHY!4+ UU+;ɫP #>/Y v  D"ĨDhbxg00gI=Mޟ\XˆCk@%.) Ջ1nT6M!UrEnkE)#^[$kƯJ}!,&,~l gc9\W4oPϿ_ Cta=E.䆹m"%wξF>[x`CUf<h:T /璐Lkkb l[1Y;UE.!p tZ]ᆀkpo#ҫC<\O]MV D,(ӟ-h]^3Th= XW&}tgl1$:F}9F8QI& *nFGA k4Hg7|[34!$`RdR烋9 2{)Ǽ${4ϖb6zB8aYJOg1Jod:en3>'Di̽F:Qjd{|ѵe,鎢CBN!7q9UT sY}RqDS²yd2ФI#-}:[e>X aܱEF[}A*Q2a̠cSTΰ(JEv#9 *˯lj-|Atja94FOL-`MTD%{=ͳK;gTZܲ8#- #vYעzF)צa??s/y8n#_|iX>Y*+![PMT{%Q-]^ث$dݍU̳H4r1 ()3 D|,q'hPAJ'ܣ9{VCZ\,i6,AvZ`.I?ʊ)("tafτuf&inxQК+OaR@q VrXMHc># U[-3F@L%Ψ.#;6j\ S; I4JCp c|&0JG@fˇL( \49F4\]nh$9-)D9K cU 2=2tn=u%y,ndk3nJ [1G_)õQ??lxĩp 8/=wś+Ig8>'6v"Ok2s(@|$KY,-^} ;f2(80'KN2B0ʁ(qOaE2iGz2i5}vEwFiW uc溳NDQR7^KJcØq F(xͨпcė1b@J?kU|(B)'{|Yo I\L v`l0 p22q{4!`-~lRCpͱvxSpS kl:ڇe|25?G=E #q M *- l~m 2UG -B{ؘzu0#5DQhGt۸#>EP5!@h9؈RXZDi.[IEN 'ۧeH~X9F5D4a^=dXqЋ]_ t>?jdᜪu+x ;yz(O~lD&;t]D X17L q/tíTrY<Ń[y`2y^ZVU- @FL۶T:C^D JBO\:^nwn1mEDMQ1 Vkj@RIniW`ʋaΑ{= `2=O´_ b[. $iheM^mJM"ԠR}n5~Uˇ 7J%21S" TjiVݫ0iwʾ.x"˫L X¸_}=GFlvq7c_υGC1fun0/"v y.q]ͤM΅pK4@ }gO@RFnr@eI ʹՃeiZNPOnUԒI rzJ:RtJTMtj{-ZnY z?NϾpS\Y kRid߀(fYsio'=qkt>@s!Og/B(ORVE@}:~WyiEE6hr'&/6+#e=ެSߎΩscEb'I@Jt5j\3'@F/SQ<\!EbLsi j×  '-,tSQav-^n7)Y 5z fte AJ22KGEFm"P:D1}SpCyO݆q>1x$mvLa-U*\y|~V}'?Ljy%,8cX5b1UW)N_齢7a$x,|B?|Y+T>}[e<njÜH^ʝνƌxSLj^ڷZ{h6KةO,8FXTj.&;~~|je<ޞp+4+m45#2wuUĽ "/T~ 3oE1-`m|F |({;^?/yנ#~[UDCfE_37m)誣iE= L|-1΢o@^̊OX?JP@b~w\[vOJ7*x̓ɺ ׌T" 9l.Zp.(Y_+!cOF|&(Pm _#rDi汍 SrYrH@P fQ9<'[, 95ՔWGT9F`|YNEyAS+\@6`;l S$kzYpSU@!eLF]u|i*p[)y"@aFh BxP8=qT}#.ZBy(WZ!#Q"VBjN!yIz>ޭRnC@2^+[TǚZ Q0?P- |%StN.bz\ue:k_rOtPx'>\]$"]ڦVuJ)z+~k0ׯ;;=$tz V0&udYN%LVP5\;%nP&|3.=t7sd[$/8E`RSPڨ:BNd$ޒÂrӠĖ| !JL>=Kxr^}GIʇx@bdia"X[?%hPIF7Śj} w*DvAQF26}v_땃iϓdݎ9DNC,]C ߃]Tm1R'z=*m;AUy~X/)0{o)gPITx~ʹPn1}Y/N?rEX0#iKa\`M[@tCC.%J%@TUC\%kGQDǀWE@ۙ!XKTvYtjcP.pݎkB fhhO|q#5dIyZR zQF X'GW R8k-rL8 puHHgd$r|rv/pG>& ^rZCna5`/N2~"oaO@ - +hGmpuUn?Hep?aZmY]#'wc3Eg;(s-&wux8ɿ缜 $G%dNL#m?TZ¥Lhx?ؚyBOZ@R{aB͍詤(HINh4L"kgtw(2u!WAi Վ |_v䩀ȃF=#C_U+Ӏ-W[wWmjb!\p 6,b]6HAA@Ս/$[\3ǖ'$oMbiʖMp)Ŀar?4z%e\+!gl D;H>Ctad hPk㛳)HY.>nl)bmYJ\ٻ[e$; C`MyQu, Km;MPo[InT- & gW)49M=(Q}dLIq!I{8vvl(gê,0CkK ekZBC6!i$.:ݷPSKPo0 #`6eRUR<q؂G[`8;?Ϗc'~N: %P-Z{1;c W6(>yuj4Ek@+&pG\cf]24 GBUZ'} qזA% >VMu|2BN2qmZڻJƩz0_sFR0+215 :+s.5^r`[dd6|prG#"GpG|OwMZ XJC+Zr+ lUnC7ȟr`k=.bNԫO$$߂=G#vV{"$zh3yI(,!N^k&~ge)P?nOumFZܚqLSRk+ QB+k-ZJ(oHqJ$V̥(/uP V_sKse%|D2}D #J#ykհi\vMTUV.WA3~ ۇLxVx<(=vsf3a_{0v-!,:~`1`7wrpŪWuة3Q8cDC)d Q%U)ĥs?kWeEaH`& :E4IO˛sLaXS4L-+)?K[C'(G6\{A1M;dڗTzs[PJ^8"\J#JH+6<r$Ircv}S3qC>9'wNRz(ua'G<=F'O{/"fBep39`Jdߡ15A>`lEj(`wcOƍVJyKc'Gx(%J_Cx H@O;5n@0n&\RmIƹ쎒q߭)&R{Sd;J@'O»` QHBǶHGF^[5&2J  #CגwsZn+8cskV -_3@8nf1210[Oj=ԇ구PB͉3)dV뽨8u|h>l(r==S*Qt׌/ΪlOJ#Sfg\\yrGƗ-CpҚpKOsGa/MeN˹wQ?Hmxּh9 JlSܬA1+A DX]YYAkfdjjm-{-t#Vzu%]NSN~{΅QIlNm~ƍ7 Bj5F%@r)*EX|ҳslXtB4ؒec~wUJU{_7,ፗlԱmTIwʈ>4jRS-l̯ˆR,<ĔqL,hCkC5Dj:).$`SMNN *"^I 9Il5bʀA_N˳Gb`&0l9zWpvAw"ږ^MP '1$oj;Mvΐie6*69 { gfz4u:dD8ʗһBv]ǝcod%daB.XzKMEWQ&: 5`Xݳ# \YvM-*p}M 4(UܩO;ĔFˢ 9 #ѭhk?mM̒0̭y] Qݳ)K,2>Iϳ ܬhbz߀ Ѓ"8v8wy,k90:i1 inNgZ8wB)ߗ/;w7qT&|1-L3h:!gyKʱbϽɪ= *uMFm0>F_.O\At`:tUW84롓_PńLX9~7?*hklH(U#+Э%r=a]D3K`RORgQaȲs#zG#J*X EA ~p>'^r8 fmH F3%=QB=-M,qoi#V$'LAz-wl?nkY'=Wx hQ<+N=rMwnmbRy^~b&+wQdni۶. X'c+r,m1g=Rt'm/ꊅ _B<|0i@piw:CEXކus/hdjsU]^[3 NhY<778iLޱ5ZTD>>ա[:gE@/k4LBYˍ0xsOcو'_\d he_o3$tQB# ԓKiP@#q!;OA'3cLge ];ƻ }Y42ے)K JDyA"S0[LEё _H/ yͤ]܋vۉ[ 9H~7-2>>]Ve =!aj(pY,:%蝺M^"eVM8H8E y̑ Шx\e4*DfBgz' HI­82Q?=buhQ!2*ڎ#a_vȵ筈+[CkZ%*ajH.rnvթLYxAyQ9bkUl-ol+P"j *FiZ?}(&깗WY\IEPx>0=DEr7g`#ek}sW&|vkTy3m3w/RQ{ `2CПf<'LfM' Ad>pDq0$g-Mq);KI׶Z#*y=آʷOXّ$!.5[AcFz‘Dz~3zwwҎpЅ7[1R'A$"5c$ -8`cm;}J9kAFV, BPBm[w-)ԈZ`ƐIFMO-t|Ʒ ,t-$DA^ }Eá3 U4 'Mk[~NÞTk8' b!|}L݆bON.%\5شWI"Vd΋AvgelЭ[OM }山"o(š `e5#a/3vS)tAzUu:+^IzVݻz&v]>RStyGL)H*tCSٯEXF8 _wW \{fkRFu gOSGQ ?߃@$F -KT(\Ȩ=u)oJ Jt\4Nܤ P eYR xGɏԪUsJ(Co{nDUZ]4F)̛"g?M>v۰;ldrBI"T(jW*ɮ__[%x \Qs}PjAھ)dͥZȨf0߮6 _(#.a:F K1VˈQ:.>4 x-*@,Vҝ;Q@.b)0^E&]Ǎj8e),un啀G,,9 H wj2`v^2Q6ϰ":Vǁt. +6g!Huc['W{JGq%clcܕ_2n^ [@`1}{mt;JEF$faVs3x~/]gH8dּ\BeQ0k5rU8mu8|IXI=z]!$WhLq5gcQ-7Ob)kaQ 2)=VY!Nl#eEԯ/u> 33xUwޡ46t˶VPMɛs;g&xx]4u7ጉe@ƥ܇[A<%J2,.~h0dz%W˨ĘyVSa~uA|c=kchXU{#+>>t*r*&ED$yGqAE\KRSCT g=^{e/0M{%qa88Uc;S^>t#=}oәwW[kb3dKty_v1QvG,Ay2Qo >эeGՕ߸g˂d|DDon+Fh;(q,Ǥ #Qsσߗ ~Wl =<@G\FK "]'ӓIpH8a^dCcҾVlVTPWZCI7.mjxHw[`-p !mH5l̥ !Ru~UXą$kw6na{@m `/[UbƌC?fc>~ww@mhC Z`"rU)FLΙWr3%oZTs@/0GiyFd ce,fWH (`/$;1qK:vreM|D])|'qj c\!gkץp:ۇnECr*@*P4piq"rփB{?-NuuJvɆo8 FС9E9]Esl*(3]tb4#K!\&$ZVtYqA8 MSx҇Ejy{ʘ8H{<*!_/k.p9$a1ԯnAY }az_BMa'$Ao2L #5gS UwYZZ)j}~}K̚Ͽ{ 2-񇚏Dg~姵$ad9!T ٩|MuHfx`JwȶEJ7"64Ȉ^'tMQ TbkYIUaLYcrIkŒHTrz)4ep7ѱnWCF(zHsZ-2q蓼O!tk:Qn:v-ލe 0K-hy 9֯2V G n$j S}u_%CX #uHxvRt)Ǘ6;mb4ŌҌp47f$ru_O/;L ?!/~Cƒb6"\/MfEo%"xBXp>;9悑;kE'bʹġӟ!Hy刺=Jj2ca.{:9i)j~kYZnC::m }G* r' v]; "672dG6W9TZHo#>4>Y( hoK쉄?MN@xo3Brth ʚҨ#2 ASI?^Ya:1 /??&hg)hF2)щq_ј;"?GK~6̸Ӊ(m?}iAty "`*yΗgo1ʈa>^~G4•*ThB0/wFxD)Ε,܃3SG#0Jel(*M~\K^:@ AnƩ--ćO$[i3ڈh+v'#aN%E ߗ͔HܱaO#6VuHprx^>-MXo)}~aL!a9mezuHU$1+3xbm(Gjb"7/sηصm(OV|gRgH J*U# tչax% :)>2r _I όu34xHѡ&vRxv#|55ckVUVɓv)$2r_Tb#:qP6绹Еҥ9~m%?uYDIލgYYEPL8%yɻƱmEѹ 9~ri5ΰm8VM-CEЀv%oDXwpYU/7Q7̟m .#n078郳\+|9zHaFN!uZ}1٢E˜@5+Ȇ-$f|?]:z y t^5G/bR ϳ5j_iC9ϣNJN 2ZYi<*9{Bb %m$j{IKP0I`uts{{\ Jq.WREÐ@\860g[4ϥPFd #5Kj$7Y-2҃&)G h,OH8JQLkWXEqo`q͐ Z(4pwYFLرN"F+VfS#k {BTniײzBɕoTP4V k dc.)yY9GpP ^wh]bbV4jQU~'N"EH42p6d%SO(̀4">+2uxGBtj1+[^#BE}c,F B\ѡd+JPME78q Ua޴7w_oV):uJ€YTk)< ~ +LGd.'c=R)E,l=1ʏ ck/ q D[Jj$"ngעq' yDFɻMbs擗Q+6RҜVLmڨ%zI;:Nl3ѾD.jY‰M2#XS-s( n8;X6r7 Ak#4CRs!y[kSB&nĘ kz ) ;( Qd&6e&LEwf.I܃x[W,#ND_͎8,#ɠ[tߑM}[kǨ&@jOH w!+ `U}Gy+_ed`Y| H?G}wp3!cu~|gB s#ċ|p{ҺNx`;LNw 8/BX8:'gGJ gyMnw3JB1Rx[7S"It_:`XR/쉩tu7>l 98 %tBYnCC7jR̆KS1]X 1ҹ;D2oݭ $hVaJPP&bV,Ç:Yil$v9),]QL//rWHپs5[4m@3gG2͊v3vW q;*.hEi`E#͊^bXK&U4Jj#&`=חt-KIlP%$MLE$E=n}dyyWBo9#-W>}yQa G)Pͺ$2߆wNj5E@KLّ|!^ Ǩ SXgxE ظMaʛ^E3$>ͼ D* 0;JQ߼M`[%d&P4ۊn_ydDrD\P u'ֶ\j͆NE24"=~\ΑyMs+Ie2إPX)Tž.<30T+R H!>m;Jy2.B+'!5NV M{84fBT.5Fž5BS6/}f5$@I}"w{iq,B;5J\w(XJL3KbR>^JBΞqtk s qb JҐ rm4m:p'5Ub*J!wK^ #p԰~j8eV]FW˪ܡ=DC(2|"V4RL}TV6D|]EsQv/Y2V# 7>HIq\eEq"2&P^gKȍ_" %M1i'lr.n@LBSFcZᑲF1^AW' ^X=)'85}t%G{[H?Ub'֙~xQhԝӎ45"xQmZwdHlz\Mܭh|=DszLU'lLԉ2~^V@UyN\^dDZ( îo(XX??wȂ?=}%>_Mj4%^G*L>1ExФT @$XHe#(A1F]δHY8: 9*LlF^}"n$%4e'PiF̍ rnqhSn,DF?LQ[j˛3=ә+SJBa*lp5+~Ns8s ee{.5qMJ+]%> Ĵ"#r׊_2ƯWSLH0V=]bUMs}",]^b^_R_EM:= b3u,99JB''!i:5um#&s:4@@{s+GBYbRO:dWgﭨz.{vC=JoIbymxyAC+ ,|XSѾ. iE,9y2jRp6LJ)VBjMTrN)bSmaH<I^/vv>3qMfڋxOBPش+PDŽ,HLz$!&zE}B YECWkTFPZ/L1.U|R7݇z^=7)j8-LeW[6 s"渀]y*oi-@Jc]b&tTeU_'Pka0ZALį\]XK?^^\$v{;R %>6 PIȻkF[ɖ| =(zKju y_'b #dT+K8ц}uD+*A7|5s+dDO!}Ub| @59ILW>H K6u( <+{/$N]ʼn7J"Uŷ15͞ӊhkh5u/Ku4A}(Zx·mnng\)lBUoikr #yk>9\(#Vg#RGvpK˟ =G. ScTM p6gB1g{&|%ƅ2<w65 /,wmn͡rpsSKjnpqcC@0K.F̀ 5%yZ'b}07r0D$k&AQËgF5h[c܅9 jW&<_dr)<SZ{F܁O8E'#U뮐ygVuΊ0a}ۮ/3sHL&k|4VXMCDD@j'|2E ;Z$`_ǖ c ɷv8^SC: j|I'~x3vGedvF_nς~AZ3#}SF/LD_r>Wzn~ZC_t"Y2%PhaIb: xqYu5t*s 6YEQ"X6G p`¨k)ߏteޮicrteUldrj{3S[ #vlҍ}DgW+x#,V$GԴKP{!VDCNMrĞЌ-a)>pd4.e N(`(lƳ#]TRƢLFDž9{<=k9z yDEfs(<0;0Su]-+VąUF ѱcކӗ= k,dqp |'@PcSw;N '·b[1P"m#(q f-{TYeC N+8{ꟈn9W9:"6/ l4d=Bw!iO\o9ȇDof&:=,Fts^"Ok"Kak=^Yny3oZ]}Ȝ.fZj-8bj?wez<ҰV>^Z c@->k1ej:c 5!Qblld1vV1'|"{s?qQ1g3؋Fy.[|wMu5*I$ŹNչn9hhv0f y9c슫(%fQwiiר!@:D<820]%k:?"pN5qگr(|qfox6lh|09IPcU`<8*@bhk'%Kf*6w-+%hew\ *U{Z֏lAYp|?bkn!I?'Se-KL5bD6DrZ.pG֦wG[|u'sпGƉw?G> ֣ 9IxXiɦ4튗K7WtEQo V -CLoBHe;-G򊆀y?QQrw Er)@7!4r`bbYѐE¨M=|DbrBloH,qH(qFt.`aƭf!V< 漱{og%bX,&\ɕ`3,5U'+2Sb=xAX2\ʓjG~/Fx+"*q#o_W cgK')2A0!XTqxȭ 4Ɖ@#q%iAB#&oo}{5,ĩ8&L.(D59.3޾}'ӍI.qj\p} N E쩲<$s"od0uWሹi:vcT0J26 }mgP:[0z$m^{bzbkID"h Q҂X{I}"f;v#+hEGtqBNOW#TExy?hGy4䥧ZsYv 2^ي7\ *SL`sa-@A^P'wwgntGEdq/P,e{=SQ+Bkcݣ0MNV!IR;{w5D]}/g[E ۱$NO9v'FCAprN} ‚)+{)xo?qyxiY :IiվHrgև=] Nvk^nKB c6Ɩ^ f L'+)^z>ljkM,G=;%l,ם nb<5_l+;XH=!c%~͋`ٝI/MP"%6ƫр1-,G>kcV{(Pb Cj.*8H= hښ7"7rvR\[YB\4[mH"G6fA*Q5ߨl^88з寁#$h_k0:&$˯Jy3,T\|ड़g3 ؍u(jٛt9]nSU c9G$?qd6jDW͉œN}=*Sx(aѫKF!I^ *ž{/z]wqH i9G^}rpc˕},Ufay!'X:݈7ݔYdTwSO1 Md=dD6hirk_6ސ2s(vNJS+ er[9&k4 }͹lSt۹ F{b_{Bfd`5x"߾m1yzri1 a!O1Ig^0J]')x٨m(ҏj^GsQE?.'8c- Une?/G:PqY|8mPY! Z9{UOP\"q[Ql?$Dr}B?,UxZ:P6`5ov,2;tn-齬j˧A>%9#Q’dCsеSs}H nC` DŽz(M@uzi^%|X֖.I$ju ~0EϘxeϺ7/5/m- 5Բb&y➤Ѩ".@E`c3 \F5};K8+/jzV>;#fdUȂE={7đ|N^ځԪEW'XYgJNkp1vz a%pkx]V)YdY"G"v/;#- {pG͌J2`\g\d.N*"5KT_`"P8Z4/c,K_y-; &UCh[^| 88f> :Pleb4oPnz=yƵTH/>}E3xA Ath!rD>)5%偊dAx^UU#6kD3,շzto`_=εe@#a&,)D0g>MA\qO,Q+ABKW uˈbZVfTbnZG1-fÌDDݚ. e3q`wx5<dX=5m $$sq2:e3$yafTzW%mF^jSG/MCݍ!T8"A9)n,Ɨ *d%zxXTi O*~59ɾR6VipBfOSaFm?܌)$3+ [Wi %.F!`?&'= |@j(˕rF>9D |rKoK$8&y/ M. ^Q@*17O "Lon*s.fdX#6/Ð6["u%#fo_lX@ykpVl%oϫ1%f؀4b?U8k=Sl&[igYZ7zXZִF! OW]ŗXi%qr cf>>]7ğ>jK5BK9bdpL~cn9wl I#m}u7'?R {+;.9ՇO`>B~Q<`uQiJǤ3} 9o^NjQSfVX=}0l6@io =ù0 Mm E`?u?GO\g4E &c NcF\ 3-LWm\@JWsԫ"ۯOfZG  K}  dq^YQ9ϔ!?qY %XV~w/ՆOUvuxiƢ/T]]"! \D{=Y|}.vߦ={{&z{\td6ddqhQ=z'< 7`2SJݜn?jSPFS,̾,$A>*7D)qܢve+_.Eͻ8Dd=IQt< N3*BHXn+Nu@~`^Z4fa܈+[`]nOi \V>(QH{Kc'_`H&,tE7}]&ܙN0@͠*&ejMe>>wl\(κ!./iDiC8*ޔ-2 }I2urŐe^ (0Wi,LAGg ߱wɲ^&kg<ՓOEQrt#F) X y$XxٽUa{3S wQmQ}13VC31iŶ *H].g^/4müH@`$|E J|4Ưs69\jS0@݇a2#ٷQS\ww.GZ %TH! /?،h ɮUй=_e0y܁Wp^ϒl_bPgmw%<% HSܔZ̸5:dr~.v*Y=\MսRNa9/!ȌI50K28N55D5}T}L˴;ETpikNL!>O=Fc|^\>ٱkh= )0`^q ?4a2Z.w9+.M%%E\ ԄNͺQh[hn&({kbĞ9ǯin] CKNQtki 8 _C>,}\R }zZd3j\7cz)M}paQ+o=C]9AphwRoci Z.ud͛{P=}v*$.}ulNd{W2hVv ivx f{@4v8=Rv#:h"K0m$~ Wl;x8PSJ3?n^ HB?Rh.gS`UBu&{Jf)jkdG(Ó-;aT!ޙA#kKH="]~ <[s ( 4%>[zsW7]fs닞2gOP߫(4P&%;/p {[w*[MXD''rT.;&"w& $ɓ >'M*4+^-y[ P͊I59$6a1ecNW\`^^ix]22OXO!Y#*}eHs!5X _W:`  $majI45~O2zO3?A\N+1g*K['TRn=DoRz!TZMԭQ0+g]?^d)KTlD|q+ӿ/KO.7ͯFRvAY-ɦȠ,¹ \ zNmR}ZZP]t2dw'%4$7n#~-h<&$Jcf @ -1[qE3olk͡ ܧ@ KX>xr`GRu6UDQ>f-X`ޗ@"Un/KY%;D^LPNX>v )KhkξtҁZ Sקuzw$v?/ <֚q5uL:޽H˰d #+K l"]֜WTWD$/`,3|6׀i=MA!d1GC|xRr,DjrFJ,0El x:o8=e;rgE`S)5 M~#>uo倒LbV ny&in(fwbP)^ީjiL/7z~^ZD,goozX2fNפ~5M!F=-fIk\f;(P]ڳg1ψaq<'(\4ӵnI,̋T"SƖg㾴/Kiy' +bO-ػSĐp $ .D8ϖ^DžxXCg!,2>ֵ9j?5>-;h{wm79X6}Si%Y8>[ju._2HXGz&tcN츔3qcՆpFKl_ՀWj>.9=$wofY>)|D4ا)󲍥: ڳ?y~=Ϣqוt2=8sV%P-b ={wj"t \k;;b~/GLuj}ծQPasvaѐ)GNR}γj2.C_&"l*Nb5/sA3_AofM>E9sת%-Tͽ!Pw uiQ%GY5K5"~'Ĥ^9^~@\ :9z;d wbp&IDVّw-Nhq I9orUˮEǢKwސŖ ˠwuZ}>* *9m_zG契ҧfX/M ak'졂j>i^Z6{LJ.lWŗ[H) +>ON\PDR])V{Zj[oF3,m:*<  ^N2k/}L2 Vc/5cXYӍX @ϺґS=GjJ${.q;4?HI8cI`l;J4e ^ٍz^B?{+ zMmNSlgiHk![V;="̾!U ~6XplIA}k ٍ^NVu'2qwsL񐇅N0}tnZNEV87L&5$P/,Y*)3,`Ϩ]nhA@4&x3Srlr\O?KaӪC rԘʴZ39mLL:4iDOd0UDKk+ T5Z ִ7MY?uS/Rl8& {ngF1bd sޛ+eƞ77.v |xQJ-=/]48W(ʈ ',z\q,8cK'#&H2Gq7*̛X_NR2- eB xDd?o(աӆ?VcY]w8皰ay0QIfJX2\Wf;lK[ϡnXw /SPYH͑'/(%4= 3S9i+RCD]/xhaZC}U(\} xK-p혢X%QޠvIhUzeZ]7a%sF8SvdiG*怛70Cڒ(:\~eӻ.T!;T؎>BTJ%Hb z:% aبQн .ZP'al!3l%pt9h߆@9kx]Wl~_թT~?螔8% !Tw)L9BI31ʻ8茙 qItM脔.їy[Wc^ W7 '8M 5:APla8?p2\ :^{5xc,Y @ 6ϦϓXz9$5\y=nqJ;S=k/{[Yw|*\;c{&Ld ?ni4ڳx\0fG_}E7ZQN.fi3,OLǞ4GpFxuE)%m'Kل lA `oQjCrV[]77Hc TLg-^yW9RFȚ%'x%#𐨾MݍC|8 J u`{˰EuSHk%m,.Dqt hQdMw 媬uK"pQ>. ԚvDgq&sSDw8/bpOnK+:DiIJo{Ej czW䓤R-6nߟz8e]̱yr38Uw<6d;OUԲNJrĻHp~ >Cov*'\@/hCX~1O¥+-(azM2Win>*?jEͨ&?ЂO% pUy $2Soyz\!)?_0_@m/dJΦe^ASIxW 18s]x#uI0B-t/d\[524 @afZ*<ͳ,L(].O?{KMd FJS^j@d's`&d;XH~ՂmEz z՝ýL[uè%4=8vTƋPAx;d\ w+@h9*1< Bm,sKo<֫*)("Y|T^ ү\$cV| h"=Y}dV'v$0Ĺ%v>qĈq{a%;jJwi'b VP6%#_%MrD GH8Q1(@qiϞ:6`Y:sJ:Hd#*6 3ruF@WsioObiky #wHXiq04bL|o ` $Rc^۾pt1 1 z~ȓUG3coyDY-.]B7ndD 3`lh.R9U `=b}x>“+.(%-aJ}"M^j%7^NXLB3\"[w|/m5ѦJ1 rbJJR0RjR WB.%C+ cg5F5NВ¸j!U o<Es!z5'I;s MFzwذѱ^[АAlM,(\k4(܆uϯC#+f"u)P`ym [e5^@ŬnW,i GӔ:C5N \`#iV+*`ewlp@4#bLݙMv['.1ǁ$5mP A+zH=:Ml\O?׆bxsYt x?KhluНK4khpWV YG1-=gFŶYhFeM'FSg/xYOc6~6H*>Ovt tgPS5Όwv}8ڠX^y"$6lT ϞOWc.8Y:WL(F .~:m+H05@6U¶OTg&PK+ v^o*\ `W2q74\Ieͯ)5P&GNU?3Auy+031".Sqp7j8`=,tKEޯf}o)8FQÅ?[TgjEA \suI5̶}}Rn6Ot~ sGfxhpx^8J'_9QD2%`mjt`EĕD [VUr3;T%AAVN+z5Vk<𑆈K_]FtXYA+ eJ'VR&VfkWA7VIv3h$ &aV^Qn{Y͉ SCQ͑!*+ ߼Np+#00rx"$euP(Ȭ 0R.'N! Eǡ]{Ln# 񻈷ᓣϷj]+U2i+~Ji%.@'L Mq^>:'-&fRYgzHwVNlC3ր+cߢ/ e5<^w|Oզ( @EzU谾RFĿBXzK\PX`i*)00իzNnF=>%_h ٧#왈]{,8TXC~ ED\((#sS [eFyyd܊ iE8~:a&V=oWhbfĹ ?x'L!G]@ 2w)T 焇dGh 3nJL 3fEE!$.pws4ozJ8B?D5 Tw&ʔ)1]y>,]DtQgL/vZK=U\I8OӒ,u%;9oң(x:K_@drdBɬ>P&װU'Q2ghU;<+ݴ]fSd ibj4/ XWϞ#baā sQR$dt ٜZbˌW݄^~Y&̑JQUh ߒ1$B++SQ[N]y HY-7mlITZ*b V6]V Gm Kš\vd<l@-z2D1ӧ-{(!.6](+R]AZ )Ps?CMXFpy8$fX ̛M˘}a?"r4ݭKDb̕[GEi'U":@rZ{=vbMm{LKcDm*/ wYrѱEpFm\2DVdZܒB>[pF*Ewz%˥mvc"iM`N%'-='A|+fV HMX~ ;;t['#M!mrP%%s8+!F|0[ bxrAVP T#oyfR*J6 DVxdC.sn>a1dbqK*y V걃 *U>|k)Ϋ[d¨&x D H=>-#=i )x_f>^x&N?^b6RL R]lOjF.[v*љ~E!"m×sB<׾ A!irfx/k񝽁(L3>[T)ŻhZ댕/alIJƧ AiU/D̑0z 2-jڈKq_3#7}a9![q;3# \E,Sinά1 9>G@_{zfV%IjBi5%d#z"[sUoF+9ha[Bj^jp9뒂ؔfh&jy ˯>JaKgip+uw͝ވi8)OДx?7u|eӂWj۸C&QZv3Iק_Ѩ+&o*l&0*M:[ˍ5܌mČ^<3MBno)[]<۔(+ra(R{Ot(@BTS;Vm-fER4ƨ yI9_<Bwh4bTnԠQ\v0,u/gKht&3Ov'n ?ںSa[:?=>]RǪ18Sߌ^oݚ{l]tR_e\4 ;dwZ±죧QǍ>{~L_ֳ 2s?&b̧$ /F6,d9uLdtm!y8X%Xu U=Cd*;ִG1$n]&JguڦPoE!c!(- ?Ufv ,:J=hH#ul _w%wrtjEub\J=(VoN,u$>9Ǵз t6/VB Oߢ  OcO3&P %q ZEX +7.rڄ/&.AeiEJ슗o%ԣ|ʶh&sW}}Fmq WDG" qeLʩ%.,fߑ-um+i2kbL/c$˻l{I|jjcU|; )óRע*4:];ЦIl c߽xd!+6-?A9{#3l׵fsbl>OuXqޏ{q%_;p\om$J!FʹjK|I U,G X $|/TeE,wmŚqh}'H4f JɦWw+1'aIzHqIuJ%%v!;/t)Ŷ\EI|N<C3+)H>5 ;}|߈ζފXt|{Urr2kMXyivrw{>Q*ykW~M;Y5Iw *71w;U_H%]K>e4sKF]Abosaxc M'id6xa4R!8 vD'SS| Iz]3̩jJ$~5h!:y؈(GnD_pPwud3p$K>T]{w1vA_{a5Z.P%,%*"\Kp**Sy4|oKwH' 4WD7)%JGb_J)i!??`08U_)"yvh^D )ZZfOSD+o0 i2ք{]36tWL6Zw$V,p'l23hUDUږb@V{gW#L)\Wf:9 xA2;}rB A~'Rp5RVt%U̷/Fe=h\?ssGs^~ Hp8tĤL9k 4IO^eC\\^VFO,`7#ZO+fKfeX6v0mCϊR:{}l+NE]JcZ2%|Z̀CS{V'窅beu̮6Ji!~YxqKyү,GPY!F@)\)x ^2<;c+d*%{}M *Z'Ţ穉TZZ\#h 6*Lۡ䖽t8^C~Kfhnv]pzz61<DЖiW9PԄtXs7Vqqhɥ} OUCu#Sg@y اSr_^ V 2UQ5]ikdz+3=|e+o%[l-e;Pⲗ$D|Rb8U 'Pg|AYpQ){3 Bb!o˻1 A+jh <LL΀ XsaxЄuEd.G Xb rQ D(iFa,ڇgML/vh,1-ƥ3|}JA*jazU},}*w?A M:0^A< \)4"ЬmK,HOǢ4QS챼.Q!Et;@@lm9W-TH=3!oov!$/vY\n!odz(0~[@ip_.>aD (۾roku)_kl6ڹ/+&&ht L0jk)י߬qOw/Fr Q'2w,n3)j):ۋМHh,&t1ֲEB0G;"-v*{/7VD8Ą’1EN5,]]gT3 JacZ^u5l5M2NmȂZh`XFOc0J& _d8y2IjaJdʲMVJ³Po4*‚ե\;}5-A<_3]aʲw~qX. /\xBcxU퓺A7Cu b454a99 Sq]"q~֥@iʧ:>s!"ʕOyYvPz|!bÀpmm`;xJ$`>Q $.,lU(u5c5 kM";I0u:2k6 L!C5qMDEkxWһS-z8F]wcKvɮqi vM%eq$rq7S:0#<$ywf$K`Scj8'; G!p>_XNwh*{G-qet ` ԅQ5΀7H3#Vh|_?h7$8𓄿7qNY:D, yx|0Q5A,5U(4k[Tb%+J'B=FS 3[|l,,Xc9K|.J=C l墑bXz=sa RZL R%h8NzV :gXRn ) tz̈́X[~ʲpng7g\Q@({HI#s^8SUxcv/MƤb$ـWU][/Q]P=v r{WwTgfDaS^0 voXoMοzI,/~!m~ @+)FIǒڛ_򞳲ޜ(kYp6= ;" mCr%*աCTZL9m# ]` \:h,E-!lkCmYNB`^R ATmfzl)ɬm ,^ }M%'*d99-2iO8ۡF[pL=7N|A#}+\fJ`W8 h= զJ_CR~ީ|l$zgN>gpo_$W)V!%kұ06@o7՟YOjp"qICg*0fC͏ቅ'Y*[{\]@4>G卤{HCWϑX*bq`aUA9UJa/.yYZe'6hk:օSİ/rA;qTp燘"$ \#qwrh$zDiah?RMqx1+O#ڋ.]y]dC. <9>Zd1oC( iQl>W2ld[;Dr.45g\*s6 !tQlD;ZZb\M{Jv3ޣ~vb,rAgy<I/2D! w5Z}1*\y q/_@Ph祕x0(? IЕ8Ys^rN(,LLl\" >N/'voUJS+$#eOZJr!@"uŢTF ms02YLK'(b+Kݴhq$!7-Pۄ{y`R~೅jެQJdis t;}M*]M"*PZ{yFJ~L=|{ B]iO㓇#p(Pk.34-wΈ4 5wNtOOa[ZɮVW.JgU?Ɨlyg8 Ssu!ndv sIe$tI>lc35%MآM]@KL]CEne-INItT沁E.R&ӾE4h u\\uEr,;5,񟠀dR}Z}QjS~K]GiΣ9MBZl{uJ/ WgOj Eݺ=b:W^} ;!Ù]S;F 1 k2>mg'D/3֯ eJX}EK{,.hκ&?nap4nxFK-xpbdo63 o ؙp{/G\1 pTg'a 61%h,j}qrYJ4(HG 2$?}|_7ňn%4p0~тUw'v_!H?v+/V?$)!Btme +ldK|ZMKu٦ od3Vlp€b{ʊUecH Fyvr&\'Ȟ2zK !U ej0f^=|욢^`uP7^TbƆlIN׳>zI#Na l섭>hL~c(ܪAMהV)>h (lY=x%ԥ_ ;geX33/6 kײw ls^c铽.d"{f)2ߏGy[MjbNLtM.wIid]b̥eg, L6BNB ].JƁ|퓰 @F>s4x#q9A%o sT`'w/)LO<ֶb@lօy:eT,~8&T F^+J+H}F5; k(7~{iLU#ćQ[L+W<9zAJqoVGUٰMAXt>0kl?Qb= oQo "=&2{=Yq~gܣK[+xpE`0J'9K # vb˷K^A69=t0Ё5T5'X2fR|8:u#H[='ӕpd?(,F}Z \1,P)APߚC:W!+׮^]dq)-EnE^]p !;b={M;xkͳgĺYp*&WUT4, ofSlk1(BL߅X{TpD/!76Gbʺ }P6Գ{]XXq$4wf/yOKb0`M,p^YLtU9411` z*crfoe?A<ݝNrp&!V>Bxa#/yruBR?0a|==a=|$"yUq_@]2C= l^| a Ѵ۰5Kaa|rs.Y90=DJ^RP$@D)Vt! fr[GT{Ib1M)@u}*w%)4<.tyU9[OFe8> yBoh*| bz3+jR]X .֠/J!]_:{͝߃)wM\9mZ^_?z4BBmi'2$Oi50qJd*67.4s7^ >E>N m0KË(81"S_/A4SG|Cb``ɑuL;9OHLq}-wz493{[Wpu&F}5Bwa&u\xMϦ5 UR8CZOP:cR3'hP#a,#!$4+&7}]=ΕaJRN8Ŷ0^VРѾ.]bOL)4~>u=B~Dbd Q_?؝͐dԭgyhT[KQCwd/HW3r-;/ f߂a-94~eGa>%DX;+c U{}YG;|9y.YbNIrkdV: 0;H t/`Px Yҵ2A`td}1ہN BݛKUtߩ$):>c٤mJ fc .G5BeH{ B ~R$^׌<1v84~B٥$yR7jTa5Jh MQJM͗+XvZeJ 4S4[ M0|} ߐv<ƗKD8Bu 3Faeva.>cG,l!|nb`U]nGѵUװ0Ot*D|UeWyEM&Qߚx!l+aN~<쬕:󭶩GtWFLz`s+atGC ?7&98*tټͫgP\K?NPT? ^6*[b_ rR?[ W(du/*"ܞ%yA$Όc.Je?IMQ6'{T>AW Nrп]ٲž"V5J9*3,xh[{4@Vg: 62_7 J"P Lv&\xt'E$XVX՘GX؄pbntR7tDOiv 2ad:+%؂|%Iq ǘvm>\K qt&`MؔhѮ:zP4F^sĮzsEƌߜ!Rw; 3*IEؚp[byX>&G(SL ϼY[Uzi Gs/9BP3ĀCz.AQ +y ofU(ldun;$S3hMgK\f;*!f̏΁ICWM1ߡıJ>*9}NQal3e |1n=Zeo m*OeVT u޻X9󺍧 uey(b$ X:߯au2Hv}98VU.p B~;MSsVxsyIF>gpS H{K?߮r|wG $0IT sZu/AT:rZ/b-?MēxILnK֍rIvAkNaߟr 2-ؐ5WMactL?`bV~G/2=(ONb"\K~SV8},s|:t88CӅ@bzZ=N3/*۔8%r2Fh!V޹6&˼<+رFI "\&?y dQrdI`+` 2c<(@,$2PTТS?igu5ǪOJ8R-ltr'r`Aڎ؈x R\.Bs<$^E?&m9gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525d073693c070ba8b540b4bbd2b0d552b90a3ece52 b120b432aa1de0615a461fd6f1e356df4ef69e41 7573ff5d0f47eb69c416de57833e2fe278611a86