SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 P%4 | ]/]HOL-Analysis:threads=6elapsed=295.688cpu=1440.764gc=55.904factor=4.877zXZִF! RHF]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmth|#l *0 wʚxgw-DG/E#G1Зۈ 녪6^PVC1bSl?#N`P$&s+8Ϋ 5xGS7)cib_N ga",jsYRA_'zÎBUkjN6=x^N:$Y:9%@.;M'yuw.:w ״nBJѡL:p {%İoD Ghe A`֠^ЁlLU]XLu,ʈ8q\ϟ (i'e:>A#Do6Lp ;y|"BX%&s=w+w`O= ʉZ}t/w|yl0GB(ޙ}wdq 9iݯ!t73xpkLACï|h+c:_FkoTG #>3=e*1XR_Mܶ?}i:2p"\P(̈́$7],kU+3e' 9:;P4c,MW9(UcQK^6wE;*dmh͸~<'Roy)I%u!NcrRF޲_Ӱf(ΒDx+ Q-y=ww;qng:37NHJ/*CPv\g='/HVy뱚b_2eP9jsZ[!Aloy5K*u(Hej-L6M~{3!2sʮCg*0: };2@Kn) r3uLIŋO֏)j>o6S}Hh*4R0>"^ jl8ZP𥔃^l[T @yչ3&$YrH\PZ!o*mDR9Nrٴxa#%#L5ƟHXIlI@ۦ}cO=Bʰa,8Jrw-.z<3-MjDZ1 }&sAYjSB,##C-dA=Ł֏z@/rg$d9W\>δqNjH\}JrOdT>8Ԃi'󮉄 G*V<<=MCD?^QӮ-*o|Zܘ ,"2r%YytXܾ=Ek6NC=&,T8gdledX. T0Ee|,pC{܃\esشFie?ygZH޳Q@qߟ(]15.V& /ʎpQ\RslD`[2M$i5qPUBGBAiUs/g,^@"5G[ AO/zbR'xZqEϻU 4?frSn7/f og>xg9@S:lx톹fH*Y?b%zho%&=6C'u)ˋFc#+O6hO bN㽱ެ3n#{ѲyR0I< 221-T & s<9ZִbgUY~D㚹WaE@/"{nsf20wϦ! ~EAaƹMG`L f+evQ'v_$ aI3 ^,_P2)~LLI:Ee\PuhWOT6.ouv|Ugx=l(f>C;[ ^s%+rYO\@lj?J3S]5ڻ%|ÜIZ9EL! A_L.㥼W7 ݤM4VB8s;HDJix{8g͑ z]u4mEЎ$̘1%ՈOrL59_G} ?8vmpCPA0qC>%X ˍ\Z9V TXIc8tj?;lv!0jo7hů6FMPu#Y;XI&*e<[vh+zFQgGE7b O )Yhs[;'dN;q4Jv!nP+;jmlnU JwRpuk&1tzsY80ؘѭ2݅}zbPV=,DˬV}ZL@"fކO(HON^D^)2Qjޮna:* )e=vg?W`T5pyC6Zk %cXwqd6e3bj0!Oǘa[2avg0]D E996LjDvH8LnlBWfLG\Q239'Ez TjeL:]H3E D8]T>}$a.xOj ΂ZĽQ.AN%[rޭn27R W"=5*fW Fp6K|YET&9\Dx`S}_ No.Q v\Cdi$B;OPW-G0Vք ck'mp^#MWj픧ZQI>uy%\7VoST?H&WZ!C$%F/%vZ%rFe~a1Zn)ȱu;,4<Ύ*A +BX?9j&[!c%B-hN,Dg"ec4vԂGPRfF5 % HOL-Analysis  iցlw00G_OsQ.!̖T:Ns6ѱx75 7qF뚝ögmaR;eo !א֔/ˍ r/{50r'ALN4hL<7X5lAѥJQgD[DI8|:6wڠ.z⿰<0 .WV2؁ 2l]n7)-ȡx[ٛEn\f^ E b`vZHD\݃ tK5Э Ad0ٶ9HO`.)LAyJy9z_uc( tTʻ@ّ9cd;ǏXڗ+Á۪2${bxX0ro_%!)P=Yr~ HՎVdVʪ?ZR"D2F=~ܼ|wS4~VMkT431xPPnRx?G h(O.|hNځ)_f2f%{B0bYibx*ۅ,_O}c}MjUN)lؒsAD)$R7YddLw Aǂ1{S,% zVTɉ%*$(p!t `_2 ;ݍa7™%7iq 'ohK:@ g6ޣrE*`oC[.WMRи \n[n%s=_X{N(yu, Lb4=D>Hgsӂ+͒,U-\A,wۇXዠ 6b8R%ξoCZU|5vTyb(jd(fI_\Mvz5 4'%pG<47/?렸}2:>QNfVi4a]Y"Oə̌AU[(I8Bt}̀c{sB.k9fUE8$.'`2XWgq}1x]@1  oHA3j֊Qrv`5:9n?/r\~ў szښrє,AmK9-̮R8J& U¿,G(ІEz'}0oxRtj{GL)bIW7nET΂W5p|{{CIFшf 4a)p'g9$ `)s+ۍ+x(H.&anoݒ\\Ju8 BQAې8,T^YTҦNzڞ4{9LjSHEDL:TEߣcaB$' .*Bu]ҚRBIP؄#Xٕp.`#*v8 ,0C{1hp^&3%6џU?(% ZGJy;Ult(=\V°@:O'#[~zZpм'N,..ƻւSfMP2ӭ.}x(|X:S42DA·"lJPD0y5OAݼ\Qfn]l7*>?ۭK[zN9EJzImuF:_\&KM2JRc㚘, $zzGke[C}Q-j}a3" i3X4n~ n."&dKk9-gFt!dEadp\ @A"OF,"W1جD晙.~92C: }6dcG!w5k?V <#?J^ki7a{ViF|A5PXRk\>V,)예Ϻ`ls,m~ᒒ؃k`0/4#ٗoV+.lyM!J'tҠkI*6їDC'G,UZZiLP( RU4ʳԱ/s>VN;W\o/ E\&ڨ ukӢzS:Օ5P dRV~A1Q*'WO ko bIH7悞3tB d1ӵX?%2}uѲҳ_Ht<A_?=!7a7O =xl6|dY41G4ܶԱQW*+̄!vJ̒bi4SKSHyU_ncå坸ڸNvH:@Nlx7pdF[&aDuR;d$3𲞂/`ǓyI{mȇJ nFqJzg;>Z *e;63pUJdԿ&lOgmҚmpvj0@)`pR2'f֣nye)gkU{,qvvo]QΉ.'/j%jT$♗ku6^`~ܐE~)6^:Oxn:ա5 2X>C8HM1u`7d#Hv(4s߲iځ]ʣ!BS$_M:b3;Q!Fx?60L7`sN~TAC}OD*=_)ac2aTy۠#Fޡ4I k>z&&oPU A6H{+# F l800p$tpf+g {tT`$v͸:ysS6V1,wW#" G|eXI5?KCCG.&G%=+³V!$ LAZ4|:#ܰ$:TbELL_WwztQ"!z/J,#Q|`+U\=`G+B d)?FAڱo6R>fmXXپaFw"qt~o |0mW ?||I* .g>(;(fkM돠^m#cl2'*&q/t`~Xz %sF(R2l1:B)'3#ODžSeu"nÐGT+ |utpO1vaZW5hTqS֩Sj\3`|y;օ9FO [5&R@WiihjӓN˔Ԍ\Zt"w)um mtiʺXMա&#<@i#4>#Ԍ;.&s>K[GHzpSEͪ }~˖G|åΡG^htuCN냂{(#̥%hƺ#96PQѝ;fHxjȎ޴>{GƐ.≁(*n=eܾnt˱N`68fjY#9h}Ÿ7z|w0&r~evJ] % 4YNzO09jWW:W R+{|ؕ p»5A5(ӘhS$H`wSH~pGxM^e]g|sఇw5zD ZjN"*tYY?pae {B(P㄂N;1Tŋ!=Od uAPl}[ԊNl8[3{gL>$Cz =:qg|BpHW=ׁ1~(~n27{h BgMKBb".s)^*ڷBI//6 6ImQ F\T82 a7`8_!1a`/-E['hWSp([55 ŝEθ_d:t)j5Y$K! IgҀO9򶰣̀'<3I/bȵiKNg{T{4 w0 w O SS}q@wn>TSfeDs)?B7ElF(m׬z튟?rde܈\wW.,,8/bDҧCI-hx֣2 D*pOV 3nq"}ݛܡvm鵬.I&#}yS]}-><"/EuRksC Cn`mRt="ގio]Z o&+e6EҕEОa+䏝Pb_:39$V\5CJڷ7^NЦ#igdi~BRF8B@aIdן34Y*ϡc^o(Ҫ-N! 3[dz ٿlrSsMTyOZJSke΁&td)ya8m+r{X7p]z5Jɇ :x5aJ[A;C͐=UOU+O9a69\|uBˈ0a 3hJW,JNг \]V'q S'1Zg\"&7yNs-B(T >![K?*Mң OGZb7 :hFw]ħgp.B[etHP,UyAXIlg5Ljo (Uym,n\;6wkp:pbEv 6nsMĄ0iC tb1ibڎŵ,A֮؎ a ~{CM|> xs, lX\vC؆rj&.Υxp-}֭QG֕.j[D:22rE!Y}襵`ϖ 7 /cD2ԢvQWE[#1(RZ$**v`ߙ?sׂ:hƓ6o,]{o?X:&a{7etW*w'/D0dL-Wῷ eߐjdP|YbއmGyDC|gxP#@фOҝH 6_hqT:D/̽n'mFem3݌|Ll|]'Pc[dHL">2^0se;6EJjACw6uR|΢PRNTND0&ܗ%쨓Ø5~z6[r{+[pF"r'4TyRU[xXPT{ t$T0Uf5K}5?(A|0^Fn d K?nI=~%hQoUG|T]δr$xm$h{(} YH̨NiN2a:ҾEq{Rz̜YW0đRKA,QʿI|O;&E[-Y#zBC],ںT(Z4 Lxgz{Aq"H'p AЛ?@U}'ϝLljo'䂯/M͘.둼f4\U_ l>*p$\6H⾃z;猤Vy N' _Se& ߈ϳrp˚F+;2GO@9,v;Cp酲*:@pDe1kOfa(A4ljŌ&huD9g%F!&=R6lZ;{m@rޅ+eQ})H#W, ix\Jgdmqۦ/A6b_u%Mlb>2-9z, oy9,EuH:| =6Ń ?B9c&ۤ.\n (a.^مca E#1=΃)mDHLX#/qzj"Z,2LlBWwooK܍Klk}2QR[[t 荮HJ&K :U`D/dUsCWζ^:eD'NjOU εt U$ojCf'_2C_OꝬzK*|F^x]}AmOE\\(~ќ b]|1VGIV[5~ayEaFڒ \Zßv91Il+Cߜ ,Î9#V^E4lB՞U>;;"hOHB ?GqTt{>k[ `3Ԧ+6`pj`yzQXӊ%PcfEs4]lyVrĊY}0dֿYpݚE՚ri$t^W̭Z6M=T_H>pu ecN6W8'X J(}H~7UMa1V9ةӓ qs4]FfC3Lʸ)icCԤ}k2"_T9g[@w`V) Nwݯ><ח1"ϗ&Zשa,A 0AY-S]"#ЀIZjoiǰɍ3TjR*=&EƦ޷!DF{2,eZKl{)S8*7ۼf e 6G[t5IUл56WP=:5?65j.7kü4ژ?xh$):WXBeq Dm;Ⱥg ^ 9G-h6eNoQ')a7pxo&b1s īO^P)[dĶaE$ M~дܕ賷ޱƚ;1;DPm0Si,POm1EQKyJ###9ܯe[h*cH/bR^e]<8M TuTdM%4Z?ǏaSKP 0Oml8SA4yB¦h/A~ >9uyiTeDO`(o{fS(UX(Hrc5~ ٗKr[!Q?dxeBB =(Z;o8u1ZXAQ(Ff,C}ju<8` 8ƹѻjwĩe^ lbrey[jPcOF:?`Fg,N.&!PdTBN1|ۄ5k Is$1Y~~ƛm5?n<4bDgY1vA!҃>Q.8Nj[`~x}ړyes, NԉY)v1@Q9#ǼZr,_( ugV]f+t [! Gchtq X `u+nyj|@@&_!WLĆo$ i[|D@15VNQt Za[\BvW{8= #!jcjty/W쾽" gҋr Gp("h')1tmtLj>tLx ֧g[ LxCn?k/xi-G9T9*2ZޣwY^Tb"*:bnz&$ `+o^T-#- thnS'P%#Ğ؜ 7- 7\*4QoNZI^#c& 좘b* Ȁy^~ \mBlBED^#Y"!=[[)0@Ą i2ܼ (HfG뀭weJ*i# v$D.2FZ NL D-3ؖ !وu&GE3'tD'ZS̖~}Y 1˯Pgi6#LgISN I8 .@(yλ#kiOM~CiEcP[-h" ?/<]lM8 \mzDR'珹5 ',U sT*Qo,/ԏcΔ+֪E '`|j@AM ae]5D12ΦR[?y:6ӓQ#`P n0uFHE T1] iVe|~ۼu@zq/&"u 1MeyY\7 _dZ8b [5% C@v1p֭O @qk*08h g@ 7SDeVD PFUTP I|[$Zߨ)!}qCզG#kԂ+u_+ՆͿ:gA.Ɖ lڮC13]r-'ܮm (\<0*ڻC$OZV8Յҩvr̦HOiح_?)?IBWZd)F@1CNv&W ];ڣ#ΎYtD~ s,P- Zj̶u\;Jⴶp(^s)|5 n+a3Y:TFO;Pvp j`@l4J '=["ܚQY{FY vf.l.w(wƁlX.~KU6lY(Hi<$c Z5>tBTrgR?L7?=o/z.oeƣpV2ZJ^Bдݒ:qBC ǡV~ѵ#R\|>-4a Y^FO+`y^EY{0.a,G/B f#13~ ԃ,4؇ ?LƐ{Nʘ I S*f:6$0,ɃC?>ڦ~\"lt<6NcfWEIםrkĽIrFպ8f<~y X$〞4wb a]h5]KUB=S;҇LO$_ fۏ0"۲>#g)esڊochvzkOzWLӾ@|Z#GύO`\Hʯ RG75XQF3eo0ةH#ȫ$1q+ jPfL$(T؜3enǩR: հ7za`m{)POpKs{&XǗϩ&%|pL7 „11u'u}] ~!^V((;[I=˹gO5Er2rolGB%3? 瀨:%CkJrgYZ7zXZִF! []ŗXi%>HY\Me'+kYlGw9|:BdK0++?+m֫軫|TZ>m|Eֵ`J=<>=gn5NȓCR#P׽RВDu9Y18iMwyW>.e]R`'(Hl~&w>Z]>-0 ăN]g(pOz;'G1 >DRԓ<+Lm>IډW%'wʶw`Sޔ-8/:|ȕ fA L5&vA O߅4R`6Ad,7e!:w:KLE({]Og|mWO`MLf7BXZdʓsD(NE K*+byT, -po=_Qp`O9ˉ6Gɥ̗(sd*|giJwx"?FG=~dC/4c蜲;N#rF9O'-Aay;񭃘 bPue2ۦ,H2#&_ $u^ؼաtc{1MР1c8xVjlհ.ZCj寰0Gd)<5M)KH8_]֍G o!jV?7i E}bScups:bԉn >NBlG٬먋Fj΀g 0D+{`?nX*[rakbqe⏼'ELIS^Є/،C_HڠWxB ݃$ _) F=t.J LbqQ4<:{` C# {yOdcA67XomhjEX~Dݔ ҝV;J&#q]\/5_@'V^(7NxUF5DVvP7]jbՅ+%8D`dݥC=^Ze/b_`?LT8\`yW;{\!(l c|,P˧O]mIh1=|8CT9xr:d)*.yz&wЍѬU]W:r t&a4Q/ҾNApdt>\K^,$ʌ) bw w[ѷɧy-:lif:w+J3S9pI6ۦK1vw/}VN]Ļ>87hネ$#qea9D;4*^kzC͓E c GzjO-CRxVҽ K¶Z:Jj<:S||--y|"Q%_]J^d]DA Rl]m&5Ӣ+Qhn"BNͱC޷,?n;+WRNRҷ:ya8ץ%" &R?O4Y"f' -@Mmz'kZ=Hq,DΒ#xEv~,AX 8q]=,*npk iרxߞd<3#a[D~CΎ 8;4~\ql "C9 cJj+Ɇslrߵ/Q1xYy<:ct~Cf-Dl}g}R*be nK|<5^ynIլ!k50h'Y-E6TrxZv?&ٓP8/.5z#$vyxۈ@g88=g.m?d2_LHJ~rE U6 ȋB CZfeypQ /(f 9bͫumaD]x,jyH6Ѡխ&δ.Y|#f2p [HT/Ii]u(j UݐG%j.@*oA$ͪBnhש~ EHt/erxjmbҹ[@]Õ ]@xžgUBHX\1QٜQ0 Z:=Ap}ajP;6/bY<, @ݿͽCclïͧ'Eh΃Q`>%AƾIKFf/T.9mf}>"ri4tHtSJU"Hr {Hi4[-Q՛SǶ"$DӜ^Mk^ QɍL!?>fOVTa;pkє3!𞩒aS% !1`w0?إ9YcgXuAނ(wPp6W$GƊyånV]tZ4>O@y;41,n$5pxz٠fL: WHODOi٨SBu-g=#5DNg孿@ 긽)&'sgdV+ p&;zzMa(Ѹ 'Y̻9V6 0=`"ꨮ~Ch@= G*t@1]DHT EvI}ddVXYUrDƇ %ͯy{E0wc& @QCK4!i/;&qICQ>V8²\ڃC1ެ @V r%(KUrz1XKKH,*H3gi\5 3ۊf,Ξ1SgFC^WNQméblv3 C#Cg9Wi򸦱KlHT +LM)m& bBw$FnQT T:v>'e"{޴Iٌ}8uT)eHbdyP:ܒKQ\% .:5#[~EP^)9G?w &"uco! zKDh-|[dMX2#H X[O=2kaU(cWD݀W>R@3eؼ俼d2ᧁU܋aAC HūLܨw?nEZX|Um\7JTLB@Ov|\Ktqf$\isNjaALS3vр`6בQ; xaRm무ay3Mw% HԈ9"w6}6P#TpU;ۙzUVl /ZWbP݇\DusXnxwj wFǒ?,7}ۻ6һ`>diOO&&]@X"ީXsc9Z&Yb<5jDCyNx,`זNQ?B@b(/c7,liRB.$M.;w 6Ʉ&=2H |ZW[SG]gCsL#S uiKd՘Z .қ6MԸ`Gڹj紫v~wC򊢲(u%]gpdOGKN&3Q=2nhT%3( j T]~iIZe> V}zkkY-iwbXDKe$5P GU<Ģ嬞3;|H3#2:&_aʑ6a }fI1NTF_ZuD̕E@0z"Ң)j՛y*O:<|n'^Ę]̳i(qzsT0Mn R'?:xIS˟4m`KԤy6Mo \™Inu*oS' 舙1&;7o2^W5'[[(qX;8)g>% rStdQL"#:l 5> O})1UM\EAu4)ܩ5*4Z5O3(}w^8 RayG1$jx]O"#B,@QqD2ܙ (pBa|x!TPS~qE0(_ /Y ?P T~St) k+9f}.X-QW9'a23R/i2ͷLJb  Fz8ߣF Ǥ-"|}'VqLJݯL_D[M\bk=\rX1^~xpO]-8]p^Cynxt$]0dk-@ 7~]gr%nR^S-?g%:mZY Ĥ뗯Qt"->R""-*SFV j㔢ˆD)fȵ\bze_GH0 ̟1CXm+Ay<v{>! Ge{@)18KZ>qCJtpm4zJ~d|1J)Y.>Bf#S*U H30QY$WL=9构 !x`"\jInRkdSWI1nuW ݩ1= \nڭ o ^ͻi"p {U)ڛ~zG'E*$(I(%HBXyl3J"*-ʸz-YP覵Z%X,1ZϠ/'D|-Pbwq}F8&|ZB3q~;!9G% [IS]й]S( S_O58 yR-c9 +3l$GLTZuw!1b~PH2Y VQ-j'_S;dI30+*W tlM/KBB A{`:ClLMhC[;VF=I-sp EYz<%\HMLkLvy%:1яV ]`!Vd$Y6KױNSɥIU*u ?at[kgekMN!9eu}Ҭx74~6<>ZBA.*y`,,.襄D.1TaAJ1с4hMѴHGC 1JЏ+);<@)N. C.NԦLfe:+ (i4Kʑ3uժkpNIT:c(VqXp<`JD +pR(2x'ظ*$wX^y0i)vo`T(\b7yzxr j= &BC˷7.2fq.;˾mZk0t9kiriRbQ >lvu;.9V?DY'lkxa\)b%@N_Ӗ %7;|2T#qla$z2czx;EVr@ !')It]'7<%q_SbbH(|м:]iLӌEöjǐo-;: X vk6hΒϭKTn!VJ_UW!Z·vu(n- K:jOu 0I[Jur=]MR+)@c™Lwgzx4Uu٦n V60W( RoW8ѾXӴ-: Ʌ%JkVup++A'_qj2?}9j*Ujnx&P&ʪ&q'+ uGwWG7Ss$[G=(X H {_G}A8g7֭ j-=m^+]aЌeWi83(m#woDx_S5w(ưx1m6#caYjj8$~IwvxS "̬&9^,-m". ?Nn"Chvyۙ^.s2%̺g~>;H{SE9=:h*f =2YXIh,?ZM BEJB `iNLznPis׼a %:<>(e@x>@_؎ dSݧJ.A{\qH$rK[hS g APyJ?[f܉@t W}.:U\КO5墻LW|2Pm.>8V&?܇~Wh+3 n6zj# |wɜ*7 ܭ/|C"V"Q補 y7:37xMh-9SfJ'a}!ی v`#x rQ rdbn!PW5W<];}P:sL{(\QLXFe̯2]q4 jף/LF回  ((Rqg5l;^0Xjur\튿 eW=.=ёoǠmծU(=F<u}IPOJmQ5>TP®XB"?0G!%Z8%O'/}$3Os#bj 0@m`aIQ"N wL-^f~<=n) vAcHyW:Og;&0NyG8x t&:R&'HNJRRA]]KX[s9$ٓ~J;NY7a$FPaZqa,'›7ՊXW̜bO,lʂzR|WM#cIaM-]ь԰OY:8@3`f'2{xx{m~y =4?zA|e{З]N_% #cqYnj@z7'FX1";GQC4_Ҫ ӓ4?̰#|̥ WX^ ObPn,7;sƿihҜԧ\5=h;.6GtIyW6Ƀ܁5-Bm 8n?Β[)`_qưhFtQ/ MT1L=.ptbD th8~zn~a+qtgD-ۥ0A&Cr;e~zc)3hxB%^VER޽z&NV&Knwn '_K6qX|1r$*cckO!Kv3B%aO;A CvE"G9F \T5Ge::E~0ȗU2&S@ur8ELLR ߦAHRya]#4ŠK T,NH!9ޡ fqMMN~9Je`uô9->-ǂA,]S:z/ ^f@+ḓ 2!:rwG1dLE7}%X?K& R&eY8J =n%I|0x8 ;-ޞե#_Jҩ^m2dP^bQ힥CQ9(jrp\8O.n ODP˸$K}6pljѿzW„ZO7SW6ve@~M~ɩQN{YSj{Wbr" sYnH}Q1oѫ ݽ3aZs4uTz|{K^4)Nl`.dizTq3Um;$⫳ng7pW}h*9e Z jK;,_\tW/,T:Zm!ض'MHl"LoCj,` h d8<ґß54jH7Ⴖ\쌮}qyQ~ln笠UEهsz&:GA'Q>.؜0hyn; +7tXܛ\vȐT5~m>i=Q0L ]{Pף܍f3ѫ&As]cw<(Js/#qȝSȖ`=[Ƞ!E: >] 2Lnh]7ER ]@*N~S?b{aX濹sϰ2L F[%)$FIFb_u.|tv^=y}n ч^u z/zqaxU29 [w_ǥUs0FKc&BֳHQCA __hr̉;a^d8Mf]|PrtNq|"Q?ͭ1p[FWw)l43ӽ.!קen.~RSo>|8jm2=_DX`o^4yeK)vmDdfd[|El)"eJ朏x;Bd) 5ls,RUHoA|6yEZyX}q ]aLHRqĀ唻=~ 得0ɿ u &<O>spRqrNp+`fw0;fTfS4 ( f)}>+0 ے 9;$iz8%ǁ=@Ĭ_awxաQP')۫B,dYs`cBh]Ĩ𫦨y*ȾyFdu+Mc*7_dH 0nZ:b 2C1$}|1# PLsñe'rFQ)G.4ЇwQ1wm2m P[BLAׁXqq'w-vs%}>Ԋ̆I^Tp|lV|*u뮦QJ8VXz{҆gB5̾Z~@Z/C oȰyk }5FZ[#$!pWY&`S'teei#̵2BHqk[s( :PkZkzfudk:H> z(q&@xz].acOqd̖a=Df&mFHSo6  Sz0l$R׀팲0:M% g9geiWLߟ7r*\bkza.7w.uWojWBK[rŪlU`hN}8MMS+Z_J%-'Dz1<7Rk;*ثMIr_j|U^E73vDH atb~ss5")Y5dJo3H%ˌJA=>SoIB%)ot#:%z8o$,z^r-WR19V{߉pܯ)dMZHqn:C YP&4RvwQYޮ]hʕʼnɰt^-~(=;>JFaRF/n:;qx 8~֟mm`lEy2poо5`M$g׫ec 6#漑jpjܖO'W_R YA3eڨ ܦӽnJW+;*KZu"eo1 h A͏{QOas6k,=8-ZB)MC 8DcNa>uh:!3{ #{ȃ;x9r;بo<.hZǐ5HCy=c{wpFK~A%z &<Qx$Qt-sIxu;=,N\&`xӱ-Q`E$5cMqyR:ݽ1Xd7ΡJ7Wҽ +EH.L3aP&)wԺUK]4€>t$_˾;9B=&& E:}xJFHhpy8?FfㇽfB_w&6sZ!]21tٴ.tPN*0+hMMt:eij෇wm()9H;o_hXdJm+Xxf:彖JJ|DXŪ4,K+_3{$ {%_ 󅒪{d"zCى3Q5|~HFV@5=fė4ry5ϸW{@JVY <:Z?N̜I} U=c3֥`v-\ׂ 1e*}aHnPTHU+ba*J\E$ODh34d: fS"l:ޒ,G0V@ R''ִ żYT^Ԏ}kPuYU|7%P@Y!r[4+:L7|3N, O#pUn}ȹaw' Zͱ.z`oY5e4w&~ukeGvS[ *: Ŀ,u?G}VQnI7 q 7ְcUw3tM>?nhb:kCrP}}rU%+ucw;>Gxbw GF=Ҝ[Q@~n ץq/ mS҄e`oMi2G8+wE1V~Gʸ5#-o?LU'KґI )2B΍BG n%,/~ϯr&DNXPxӫ>Yr2l5nnP9焐䅃|%j5X4cvjq]3r VB^}8 `iH&Tc^?iOlu ľ6q esrj)fem9Tp.7 ܖte.=q]_D)~pYxP! .v;0'q7Wl82E/1ܶ{gI^5Dx:x`- mIJnԓڥL-$W|)E*ƾGOKbO-'Ip}Pϊ2 Ħn=Or_>Pi(q {By2O ݑF;"RR Yڎ͔ m&?Y1L&sU0O!*'ez* V4(4&" Q$\yW>\2cV/^nCm@mbbl%jkA}1[o**γeG7 9 }4TdZ![x擄椌tTҫ::x"EiL(w(4m7^m̿8ty8cb&Ϩvپ P=EY·[pYHFvz MynT/Z;uifń 16LqS˻-G(=sq4&*AYa{_zFBI׬θjVu(u2CKV^ DYޙ6L 7k5_y}C_Py yQQCջ'>Mn})d'D"v#Z+.ׁ6X1\\bǰq .5]Jli.CFdWԖ;9 _諴ãо y7)d'KZ~;%{Uce!\ӕ$0r bDeTMQEdu*jCo?ms6<;A?KstLeX%,vyMKAA\1[Ar.F~D0;% `4}utN=^'(S޴mlPA`$b_ὸ:[?W'[Tu rf!G%Ok.1'FTExF^̒w0%d:UKYlZL$M^ (Ҫ9 uI!:RA'IaGdIt {q܀ ĩU tϛq_]3-av4I1~)SnB*xv4O2?I;Q'g31i|~G@ʧ~q#LeW`%_݊P` ax. KGCa1\ᄎt쌊 L OV18kZ,UߜF.؇`*s>&G~]O/Co++f78={xUop3 bTFcT[GFA~ a4jLT+fy>8Ȥ\%b8^h ܞ%Hvh t AWPIJ5}|W^-&.M0R'TbTP'\}gGHV\37{T.(ZK@C} w¡rfŔEGsr+@nz:#) K=lcIv(c*1|>DY*V8Xt3HDK~GA.g]A8꿼Ǵ}t/{sן6S+}I tXſø5qx4D B DW*QGR2^6X´,"_56sKчd \ :e=QȔFck?lʣbd=+S`vh#K%gk]UXW>[[nՄ(kI}~ 0c}7Mڢv xTjʵMߴK9A*gB ӏo@z*mi {`ƐhDžQy"v6[NP=b+js(Q!?¥i?(F7ʐϫ?P4фEVXjϪKb.`2ȃR"=_/ſG n+ >g.+Q*5uH0QO"uMxulqډ1GLX>}FZnRu^E߲RV\L^Gv ,\@ՅߦG4 >|3&\86߃+eNGۀ^*"<*p҈-n%ۆ,~QE҉Wq&RO{-݋A[8gvy7K卯\[, 6o,>- >36byD-k5k)l R풾h"2],Bv7w%=w @ ֝hV4/|'Ѱ6 r+3a e깤goUy4&1Gl"4=fnyQ%)ע*S+ժs@f9vCcY.Y'HO6v"8bڅ H`ZycbLod0~ŀr#>Y}zG資~r/27NXbj9Fą$XήUua_ϔX?6Πl8tj4|f,.XzZ1-@X+UW;OV+0VR)f*gs.%~1Gb|RAўn-Ŷdˠ5 u&؃P^"uS.0VVc(c,oQs$Zoj[H˅ܲJ^S4R3#ܻ;Wm+cg yBSK:+1Ӥ ~H447 -`4NsbҚYBfu]곒P!-pޱj-]YTqW!P4"3]V cZhND.LT):-Qm0Ԙh ] 4*>A%%l3 8O+/ fԩpS$Pӏ{`UO]x!g3k[ OΖ!jܲ*eF:>mtS{;ֶ>6q V[u4r 7ݚbX)_" 7m#ru[Q&NـqyF e"+m`WڽP$]Ƈ8k難rn~)Zaq~:ق]b+G툣iFbRmȩ휦Tl_ve$V) J-LNOC7.w"͋ =`G B΃(c" ka:_+Z9[ Ion~_:\/TS_06M\sΑj^/R9t u\Nؒ̐[NuLy*lG%]'Ud9۴%{G.YThN;T8sQ*Q)a'e97(D^Յ,Sb/%ǃ/5 n(i/+^T3ԞwFccApN~I][zcN(gQE o9 , t!QR$&Ϥ]Ł`a%o/;.@pmT det'q2 t̛xAD?3 kj>go9wI3DiD U&}WU=3>o.%.ץ{ ~}u0&i Խߒi$3x|q4giвt4o+$uK):f_9<.YݑqVQssA |B5=.#4\O[E.#P :G)*Xba3GFB/GxC\>.*BnYm)L,kl?/FL15-*j}pi>{Jt@LcZfN^ WŶ<]b܆H|B\.Ͷ<&rc<$=)g亣Q">lE |;ZBr׾zA*ZGd`+I, >]HzWWu(IE}覬~ N3}kbR>7|IrK7-sMw qv>fAƀYYXN5c5P4{8(F#p;fvbH(OH R12 .'X- GT8S:Vs(;}޸ahj((c}}zB]&7t8!mтRRa&nɳtIO3}5r_@4Q)2+vP"臾mK~\Mn2N 88o>A|1Y;3X&ĭ=%֌77jey/C)>ֹ#;sj.$2{+r_5U[dM9=ZQ AН[ 4kwxك\YyH`K 0b[/Wiv |T9_R_kJ3#Ygt/9TpQ ,d?cZiۆL\PMGX%?`B5p:1J] À,n\G$hL\f&9'nP2" A許w4ũf@l%%m+֥P;| 5+|`VĂ3/s*eGT1[|%|L(8jR3 c=! AN3~)& .` 4?nWܓ OHpΰ+1{K$=?a颼&H<ne BArx7E3XV-]^#0M%soį%Fl* 0.ZLY*ܒ\+ $9&c_{okxQ'6Dt:cXht@nKf#mKH.=OWէSB$nN1YJPV @G*:Ud3M3xp ׸Izj*ziKoɾ4VKUNoi#W9c%J,V0ފ_ d +<)iS]=j&_n/ɶw6a+ ȡXC uVRON؛6kܢĐh236tO[STh. >\;@#VL ܴۢP$yõ=a*_3+̋ecsn !Dx" l՛_eߩс;PV |I8p` ݇!D۫mF0i_L b$J'}ޏӡS#v*پn J#ʋ= :]iN:ڼJQh[aW Γwc5{U&B&rCA /:;>oGZiFu&7d5o4JxTF(Dyy6HdcyA&%@oɴřKԪQm.m7Ro'4Y2JEBO/ս+5#ʔՁ7rbG'~X<,ec \Gb Jk}'AdD;D}aNy&Ɵ 6t)lm=Cy~\?&>1{hPVhFm@? 2裰|t[mʼnu=Ew@!vӞ!u>!$P{l# >C--5F>i{9]xV~ x u" +OIwOqpn)#4{`SǓ$"< 'NcKtm*8 =`lb[bv/H P!8\{6Q@38锶#LUw>U ƳwՑ=g[[-e _`њJ`jw/yo@_MI71GdGoHp / eDvIPU }=3idS6fN9l&ƙڝ 5'p\8yR'_Ҥ'A,%xOBIkY@zb!?ִR2dq3Ipj1(tg溸ٕaĐڮa%P-3XD74g-}-ybZV.#_9smX'6U}_*Fʪ509+Xp8ϴIi"v DY"D\#C>RETY yHXLN#k y*>$$ cU>%b&Rʫ;ՓhF%8r-k:F+V<$l,Fn =S'|xh֙2齇Hv3/(.m =Q'@`vi}UyrsH |;Tk~3hA`U[sSfbtTȄ)4N[P]*@k O4~"7bvMSv#Ew'P^YUVV O#ZjIogYZd804bb9b71b3d630c289471d08b50522a90d8b8d357b42ac3beabedec26b51d2656ba583cf1eab4b 15d85692b7f1786c47e0baf09991f065726d2b19cd6291b928ba4d4e1fae410c74f6fa7c2cc3c6ef