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 llh!Tl ]]]HOL-Proofs:threads=6elapsed=646.243cpu=1591.264gc=332.212factor=2.467zXZִF! c#]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXu}͎2 DP&j0fa(0ĐԇY¥N!&g Ԫ)6-6(zY'{`#eB՜ݼ2l%Ft\7&;'\y mv3).jЯ۝> t-N3@Jm*҆JbD(eͳ9' UGB`1twS'77Dx;bzgJM`͚zeǾVZv ,37 l0xƁW4R'3zZpЂVp`1/.. ՎdItC=N\!?h<"0t+Jy5nP0wɖUV\lpnGx4/Eg@W4-m jm|h(T+Uu'^N DK LԚ$ i8+mݿsQ1zKʫDbR0L0ߚj#2%txJfh (ҁ[v(Mzʉ;BO)C̊ϯ;yJZB`ǽ cJIa8SE;OWt|kA5lc=h\W8Hmͯ1t㺥ʩb":vvՠeϬ2"9#BϳII1r | Wf6G;hǮz# ps#dK0g?ZAbrLPJ)g\LoH +I+̋:SgYkI33`"0}pشTދT3Yty]L_6bt%geC3jd>Zimk0cXq\dMR=luL?|tPm CT]]hQdC*ȴ| \,籕Yv"M}rdV*8EuWb<+%-H[T=nr"Holf k#_o'P7W7ŞvF\| y :C#K`M>τ᪋3JO N#hs|>?*گଳ}unkv\-d`]FT&s;-k'xGwZ!.nI^P)͓*sԭrZZWoQF߅2̫@MݭJ&\94İ{> p[| q7Kֲprm>餹n/2/ |D+dJ"qF!3٪nEl_`NO=lyWOFXm .@jF:<#xNmFX:PZꌊ<i2>`-5yXqШg֫XtT_ma}eZv*iP$8Ө{%tZoٓrDLm<镝$S@vfWX 12lD^  ≤a5s(Ndp`*x4CߚU5&44i=σO7⭿^R9eOXyDA}6|_?F Ʉ~P|'HmvgVaZ#K^rc#reRhPO Qo=@:WQfej sZL\p+,G>u8K[,(%Q$4\̢*٤qzF5b,6>2-)g8 jpWD% }@hja{ްx%Ѹ:%AT#]m̲:(vy9IʮG6*mzkk^E0J+r0B?j9r``9v(i=!(ьjC#BYWkW'^]~oa^OFmkq KK c^EO}.ff!|<ѸPj8ufJ")(j9<]T o_ ?"z|<~D֟+Χ۲"9cuUpPhJ]*Rm|Q?aO,pڿ>{{>MA϶38a\zPȫ߯6{xRhheH\ 4bec%̓Q̲̲ϯtS#?sZ`ZǞeK2h`Ƙ+7L3hn HY#&[qں$?kEb]eZdE\Xja|0UaWH%r$VE22qcI1[}vE;O9 pzMYU1Z;KV $'|y\3# >_c7S%b)8L3[LQ.~(WI/Bב/4~? 1垱݇'MM))6j:׸p;f#0Y<,j$z3Z3H8Mtj3 @_MT⇻%us~G-c\u͕g ٪g+EWbȀß!{$zuP펝"2w='J9XqwMC.Gfwn\+ܡaPк11Z3[5,y-RG]k]IDžu͂8%降ey"PUٛܪ!ݟri˯Eu@5e^<Զ3hjjl-0 Bh6?T^p#<5ub4鱇u"6a8(v>8E# U϶0/|l`mMr' _{7ZLf=+yfUqr ﱲWA਺,>]Q^Cj$zm`$23reu٨3]td(Zm9'vʿ͇95 LF~if&w_Ȥ8q> @  ! HOL-Proofs  cB5U /VDŖ{qA9Aw:SLq F`nKί$(- wr0)+|Saֿq+ܙDM{ ^?sc%r2?z?Jb`*0ޟk)[,q퉢])ɚOY؉WԩP%fcJCҧ?wE03Zt8j+Y;ȹ$M7Q'lYL}.\?CT >NLbQ}Te&,$1Eq/۸R'Q~h`vJ =:s}KHGp'WHM)ʥ9y[8푽#z_p2cWeJWnG{Vp'BżҖv0Ql$vJ#Ƈ :f)"+c &K8$ѦAF%B*Nrpm]TQÏ4ݔ xsH#[Eދ` sʿ ~sZUwj5W@t[W2۷6u! b¼I9T}/KJz38 x&c_-3[ vtQD!m`p~ ܙdk=Ѳ `0lTi'I5u{fbzEA腜AAfL݃YJ9 <'oeowMHfd1'fqS U. x8I{D iM;#Pj٣'N=L95{>p ;?9ɛF܍t7μ3d֜y y..G<T"n+|䡞eUO, L `W3.K_cj& .JMB?F\yO(H-IՆ-ԑa籅ɤ $}ID9NK;_Th tPܕaIf7~$D!:7 +h(7FIDW OhP?I_rV3lx8OT .P61oˣ'k\fҬ2*e)$m5"Q a>Rl(A&6طt tEu29,?<{ n1)I^y3yBpδ, D)D~%9 gReS2e>2f!cD^E{(r۞iXG v[Ÿ2% ԘfcQEY4EAj u& %qf8 胧!i4 JdcэЧ8Xз:1Mм#,QDP\ ֹ(PZn6M갍V@a@wBD#(@R2w,w3kCPLM/w(WQO`a BKѫ6 ?5``EH5@YV=(Ǎ1L&(a7"JVuD3d>/em7 lm29 ~VCSHߋoӚ"HLXu]H7R:G|qU̙-:.­JlL_/$fOAZ&{zDrUԖabMs,_wA46',o0H5R{V~%CוYɮӀ)a)9`1#} >0OK\z4pHe0y~OP;y<{o_]5Q 5O[C_аSKJCl j.罋Vrww0H K Uo{-TȤʑ[jywҹ'}b CJH&6! A2|D/p2┎z~o?3so?;tx[4>$A"qgݔrbEX%yx=DBc*ʛ\%+NcNku{RU_!E̍ai8ITJEsY gd'] /wk7IXAYLJ|_1+AqKVXU.Q ֽ-W ;VmiͫSܥO 5Xfc?u*Dw{ĶcwIƷBubzb @ʛ"io[El:/tÚ費߇Lz"GcCB(WzC7Q+Xq(,H@ ̽<+h:bE?2SHΑ?x'F55zdFGlV*B Fx]4f45p[Ʀ7L9^ڂ$sVY+ZhR˫j񧝿be + ˯4N#:6LcQ"y`x! PsI{;+@[&XBiq"%kmV!gBb"}|BZ Q,ΞclCk\?z10N[jʷqXdd(3qe5h {h49?ړLyeqm1g0ܦ[CnHEERZ?\T/{.ʦ_5F>f|tjh-4{) =',V!to'˚' s5c6kjW-4+y:3X gYZ7zXZִF! n]ŗXiɟ29aoʼz[%U>EM!!B/U,R. 6uv"Q#@LIGWX g}ƶ44Qi ~jd @ǘMST8i|LM3`:xXmOG:Bnp-T΃fs#6X&ktqmTH9\5Ls 2Þ|)<- F> =DS&㖔.DGAIEwQsI둤:+;KŠ+B{CxU1V~Ato0<۩C]P6ЬJcqtP]ZfLԣoNmgsԃ۠'+Z}IR;}V GLeB>A遪 ^ELs#HNCJZ=3> qK\,f@"p__*MA։ IVE'*%_#Vơ+7X-)?A qw}]-Zv:Bu3&)GwCgiO;{Qv* >𜋁tшCYoǓ-A9WZb kpDטJ 䉾(,iK粝Ⅹch.7F ge/d4,ON|E#@mznwtOicK^>bpE8zfhYu{s%h y4YBbgcsHbDמܓoB woI{6n Ckqi<^G?p;N?3t~ 3#]zi.K P]7#hY_bcRID'[n=` ncBY6lZTj|uG(`"rG?q%Ò!uHA%,1Mjo,, 釩RSpYn [PSP2Cݱ(u&B^䬆\WC!.|@Y \a127ᡱgYZ7zXZִF! dw]ŗXi%>qVmr60D^\鰫 |R)[} RTNCbQķzP `I?#_^i%nEi|(E 1a"Ҭc1f3]!b"79f2łx>ocĂv^DBt̎\=jtdmXlV!fBu3|E[QJ4<>SW۰ΩdBk}i}9f>g*(^ 53hn"=)."O7 ؓ4X?BRV@XD &Fee n0'egdRZ5%ݧu[a"C^n×{$<'i~0{tt/0A*03Oh"n?%xN p+Hs5]մ ;q iaDc[j/N%oUeFR{z@1ܼkF99'aw8:ߊ 8@٘mEu78/M]'zע[nЋtydJW;^j{.pO{; o8ϘQe~)&ر\1֑jw_{ UhM_4TkF?3D6(l~YLܢ ,[} \qp9bhmz$Bw'E,V(Os'7mW<(hxO ت -p PO!QZ% ai%N+ܔgwlR4ޙXqb-w<'>9=XS[&ޥfC p0iH{tʫk͞;;Lە6l>?wȅܦ Eh(kz}y% C4ugRNnL2; >k8wCif 3o%0 \t\)1hQW'1>FT+S̼Mm%PD<,V"FQbk=6u3JYr#͞q֡WڠG^3s}߁hÙQ?,:d,8/?esR-~ő,0J' b{ƙIB|C"]m%. !  HN!IÁG3)g ܃xOi,Nأ7T"Pc̫7+&1ҽI٪I_.6\mQb c D'#pX6259 2T9L&59D$=W1.LJ9M5 R4c^U;.ќ)Ν؟~@L+۔:5sÜ*S {|a ʪ>?:B,#eAKz'pDlkF1IFj3tOh|tD:;mbqJ9ukbgLju>OmxڌeR00pl/WnLuȫg, /4c詍ȸFIYJNi249oa}kɹ.XZ'ha}G*-NmR<~YtϹ:mnZF/mΦ5?W쭶 Y#Qϫ֑m"]w=niNN@?O138bRz Ls>eO,FĂ&@]NԆŶd(fʞx||u)εL_m[r^",C/ƥmFli΀sqnQNqxvv]>+C]9V jW:>čzz_`1/1,%TE! 1m7*d,ʩ@dqd#؃׸ b޺oaӤ}  5q66KP8LodQ"JΞK}J1&=aHXgUɖEٴB'ۂ|.}b_P&X沏%)j6HHq,.)G_CJ>>OhUJ* ŎUiBb¶`/+R=TM2j&&x:qT@pȂyP&e" "gPTPiYI?)9Ѽ y+ݸ{T_,*5(Rӕ gh\zŏ6xWMpx$FalL WD ^Yܙ!ߚ|u1}yfN5\gԩiBR%b\T8g-]<0az-7O'jI_`w"&DbAc8+Gh/Jl.}8b,+z5[E#Lg/i]P $1NAmf0VgXEX%{ōD`XQe %"ʾɬ-_ +Wt%(zKfRnYϤ$krv|`V?&ܚlpp, lOٲ H[Zz4sGMmr#@j{m+0/%_QdzĮL7ա D=f5ÝF)JG+73.'E5=st5;}@1{i0F) R0l3'xdʜH*d ъƃ#2H8-aq̎QSLHAL4+U%~)oWwB|-hake8c8[r5w<*lLo5]L*6 -j%WRz׀@ TwGyHYAUϩR<tjne#^ܭԋͪLش Sr&X^sr^L)Z>Y"h-Ԝ/=_eYrG+5غOӦ;Lx7w/`!^F4׫]xNll:pIc(fFUPP9qm[ KHo3?x5· @jkn ʚ')Ƿ5RVyCԃ'xDV>Oay,* >` X{X.F엛RP<$dv;etC6/Y8Ȯ(ZO髼1H%@aO;L)|P~$0~њU>L(GU̪%n )=s3[#|rck dzĩ{ "L_#0=a&2%AsE/\>=f1c;`(XEGo6^--`1LD #2ctYyuW,.*J# GQΛRr3$Dti%R`_jD1r`MJp739ybEF$6&Y|HFnD; ^ND'2@^L5Š0C060ٖvωfo~M,juX% ]P h5 p7iNE;;ŝӇNF}\ܒ)&k+ord v b7o fSEձkmO1YqFܬW߲8ӯ8q*0D75EWA/OKz HkPC9\K<_N>;_!U>ysø;^$F򱢹I PZ 5ח^(A`AaJW[fFO({ӭЧ{cDi߻=di['5C*WDι[!%im5(ܘJ{B";-%Rz$|~ %s.K_~?L'uIͷ&7"5 -Ef8b6hHT?anc8*95ϻV°m 5wws逑K?ZIhD6^A,ZHDtt4fb 8`g:8՝./)+9<.vaI7ժ ݽM{W81مͫg&L1<zJ߇U,0v_qwE~=_$N݈NѠ uk 6L}ޙQ nɻv4QυVT)qUGT0]VPO׳&i,b"/BP;sXK\_mLm΍'<$%nVKG&?3cl>tHppͻѿ}y3qXcGZ6<exCQBExx+ S)s vQlpinD1asfz]}&r4_e(H$H^D3Pvy+Q>eU /YkxFiD/uDT|Aepz,O .FVLQ],ǰsZå`@~fn^ƘB,_مFsx}0pQ4Aj }Iө'+ XBoñ%gH=LNOwc~ ϳ%6@ 'dη280jMO݅&o8(_#;s``5%!ǽ_'1-I#.o܂^zbݕW {Kal‹M~Wӕ첣"~bfϒgʿoHqT%oEfzr|C wL`6d&{PUQ3-<뢛 />(!a_1'Nr'!wYg"/uq|VŬ0ƻ5`dKh, Fl' z{=W#p;wƚo @jWgt[۸~*-hoXSfmkRHfWM&MUU:<%EY*+ ;4U lt6r@Q[gnC$-!9K6:ܹFByUbS x$6j},m~YfNG^BTٱPp!N({UOun.Fvs+kY\ jBiHhߣ_~N=;h`=KVhu.JҐAM|khB[Q FjESVA6Qֲ)ST tuvk0q ORZP1'#.n2n9+ d!O߶Ce4ϸO~yX6KEZdX5\Ş(耀֦Z7Y؟{,{accrڵ3rI5*Lj3zUVf~sM^rdof]=6:1Gj U:,´ BS&wұJֳ}&&t;Sc}+@h,7j4YBY{*7Dh=]+ԃetm t[^wz2Ja[wl'k`О k0 O@o,zuPm[upM*pbP(ِ. j e߮kaᇮ;wtr$+ߟՏB=*K5:/Y" WFՂ [nN$&v/6[mdnъQSk#p!4 ,9rp `3n?52Wv [?)|NyFoU2=ml3~б ` (O>3I*,ǞϬ~x()u)3eJ/8jYe3o;y.w#G 1m2,T?#RsF~vt YpypQcX"ڝACקi< x=Z,-zHT ]Ps.U\C =K䱝bc'4 j=m_gWM,oݳ;p փ2\'?VWpҦ n ?1nB+dD%KMh8*˟TH8~𡣸I#:W*PX/]GW+}0 M x <<2VDkC! Yq'QES!Su>37+3%HM&߿*~4W%8ǽ1et^$Oꎁ&T=^B%VE>ffډn^;!cj璜_W<I#, 䍗9efQ ĀUE/Ih|2a wMuj3 ʰ cft "wa 旈 d H|04Wͫ'(K'XuӼ^4ryCZ9o 3Lc:P#9-@h@JP ۥiv]5I 'yOG C2lGp7 9M4Ѹ+Zx$l{v }-NKOrHߝۅ`s?u]+w\S]dا HzSlPT2J MWhIjCP x ^-| Ӣ{2;t!bQ{|شڻ?)fE%/T-i`ih6ir'.V{U]ğcCWҤ|78HΧ,Yͱ[u8y'C64lɩ.eU[\{cf^;8N;kT0ŀXi)%\D(ׄPȐ;cŶV6Z؆BnݕӀÈ+69 ~*`3ꮾ SWv]JS|>6{DJ nS1wkr^,/jγhIGB8nz+Oxxey`v{^FE<=H7|8Zyq"hc x,Uag=kéxQQ5NӖNq2 縫t-NH՞@WQy[?Z?8ΜD\̽c<I!r=IvpiZo^e qlqzKTo_SalEF4K!H[HbDO&4bM]ؖ۲n"0yblyB:S1ej Xt8'_n~$eIàvDo 8N㑯6o+ɽ+;NCa@P6вBWxo-3n=gJv- WtCp5?Nm"՗dh7%{@.9z>`NPI~ _[O]BB>>چ=< OirJ}XHn[*mtDƽY :C.k,hH%g/C!G(q8qIRā\ֶ4wh%pG97VE 5 {>@9Jݾ+*C]bU.iCmټ&6*?`; \xܫ%Ɲ'n:H1x[¼S *k/b1-jSK#^Ty#ۛͧ#}tALP,C0^k2"4c#BEΫƛ;O{,\ym] /c5#UUUp4YȃUmc h1nx |yxP_o1|"hy8 gI7ݣx,f:ҡ]RuFp'fĚzwcح9tfE Q2h<0X$LYWpgSLYZ3sp4"t;1L0~y%}ꘪ s%眫$ٞ)B:"R+;,!)kWh$Y]um}(M ԤAQ+!O:=څ/a;gd x7ʺ#q5/ U|-Q-@h$9LJUOrƊsزQD~q7 eyqYpA>c*3ze-d]㑘;f8Dg Z) IB2)M}*y e*d;̄GaxD>[a"͹rSE.qdA}n n\<hv*ٺ.oeY%ߎloxLL9({N[e:Iwv50B#pf8CT OlR qœW1J \fFK>!l4xFQ-]r1{7Ǘ9uNj\YЩM[,ˊr@UoIuxK\ӆs` Òjk%W6l$"Il^z&|1RS`g~Kw;Tvh7W Cu5_=eB662 "|%fӏ d*}}6wUOh[¾T@74݅z,R@$F1ݧ 1)T|+1}AV k0$/ɐZl1&6o/7HsTl=^/LK8SMv4ͮ'0&;CFz L?JT&;vf#t<*s 锫6hu:Ejgiu'.ٝ[G%k*Sm?y~m7 %iSjL(d *e[R `GAϔ@JR_#2J+xUsEɳ9.#24ؿە}? mKТ+w{m2G - +EO/:\l([/(w7?%iL%,'% 5_U{*2͖Bb(쫶(,~ٷLj~6o y?NJԱU,}&IF'c;5[)mFpY4V:iW bŞu ,~Q ~I1Ӣ#|{;} -!ƞF- b"b`RV3Tx/ܦҨ&_<"(%2cxǐ?^u'kY鈷 GYERxT T0v|;ZTP!leH+4y4W̵]1Fq]udR?Dru`S,O^B0:.y> OIpHUx8u`:6)2ՠǖ=Ex {V9<\.m`$U# .^DϬetIT\o$S nIZ9X$zrDҌ̈¶n^#S)5_Kll_|:Rb*5~WgnlE+I晆~8dZrѲ 1՛)rT>̐ "Pk6쒵^} \6=t9/ǎ'Áy- cN%?r%QʔTB |-fy7cWptLv-^fQS^ʨ-UU;dj7`BBA#qR|k"fV!hOx؆5Y2CȲP7\0fJ0uw2 q5^⭔1rp.Jm%aD!{kTح&zU2@_~,L /Mt+ve?vu)1,"~PD-yI՜9E /G ^j/}YZC^%Y ,ꅸnK_lͧ=w - #D)aojϘ`扎|` >GTb@j O\F_# u}U^y@oMѲ2 sxgs+RѲ*% &w. e˓k23o[K<߹]\Bc"?lVn&Aj,wK!^Fߝ"h 6ꁥ?0z*tuqrQ}lpLR`n|ij&kJfIFb.KQ(9Թׯ]e`g@;Vj FFmB𦡽aԯ{kkZ#-m5gS9ì^|D0EÇIV$ۤN==@ӄc¨Roq5AB ݠkj$OyEWIU#YU(='#z'!] $7=`]$0D3<t|>>CL+~ᕬL㦶~ d8ivD3&hّ١ Ɨ#MGoHnrq(27'H]"z]oD.`Hퟎ&LL v%h/Z |n>7\-ZrЀXp<ќ*zB#йRnA׹ƙǍZu.;wiHk})x_I5bmYe< y(I\[ kdpqʧ:T wvhoz⍾?q,jӶ6FByC5(od3(a4ROB+ŀbbPmLp39zX/EACV8;~ANU j{1" b1*b4*A-RlXhOG/ kӒd Q=|U.D w1^R@{Vs$fO_Tlc\w$%nVx&$ Rf͠K~Yr/Cñc g`#P:ۺugSb|]r|լ)ퟠik=&M,Sjf6?|>0/b</.t{\? #zgtUbQ G[@D`QY slB7SRo\+;RGMDk'*S 9Co;îOx7 <RmLthȿ[x$nvGYW_vg1E;Lknt)Db,'AZ߈>\eEx'b|Vss`9 ]yfbpD]osPM bo>7Uпj{剶45W- ܸ̓9fqnOٱ[ioa^/(`,*%a> ;lh>j(WF;:妦vk3ퟣ&\]F_˗.NƩp375iNyi&+**=v{c >Cw]ŃU>e>RBƐו087'1G^Iq(/v6.*G 0Sx}Ӛ{0Jm! XF0|$x쫉@_G| # nNGlFE;L&Ҁ,sHLl"+裻[Ym8oPJރlHYc[d 괹5uZ CfI 9u}G&Ъ6|늲竺ȗ ^N7Y%D XG|us[_E_R˽ɷY#ko\X=$8łhBW\Ș7g7'&Oc|Wp0ɱF63y{E ,ŌPS}fb+cM@al_ݠ+ =[]{>e ͅS\ \~R2qMܭE;O| 8fxVvK+6Q#kFk*~tыy,4#9iPW"Au[I;v3F7eX (,+YOX3QIuCLyٙΓ2*haƃrA΢RUƻC)hQ8@ ӟgZc^#c1$d9mNdB~(ۑa83UW;~3vp%M) L#kJF{ YVa0K}>'K+?IKvB0P;QYOxs>hB(-ZL ^S|j_3 ݨi`ϰ{n!#.b>VE?Pq<>rvB bezĆ* } :inB߉{.2:?FJg 3dCk<0$u^hԏM&|JbŁ:ܧC8ܓc"vRJO<3.qzp,0uy^JJ \P}}܈^TZ$W3ANBZ*q Q,?Xa= N ?89+"U-qo˫Sfgc pwԱʋyRP 0f<6J1XBCxgq'={1݋8lq,ipVPms% 4-;H5U9$`ϰm-*bWD#iGDú$M]U$@ k,X2OE6hpe$+n,>iүk286 ]Έ׆,qH PTdL>&>!D`^MJ }lͩo"q荨OK)n paRTI''GV\  Υu33UUWlKBhT5nOx9,­ ‘xޔ+r̻R +V 7l`4qԬ.xuGzl _[!2^Xv 6cTm:"Ԧvu@aأ|)Lfo|159!}`MһBCsDӯh2kWj Z*jʊ1197fh3s~|eX+E͎L'Tpo-;P]4߾֤6gI7,t<(8 Wjs"=倍ah.l0Uٗ{7:h`%di /T\O(zÎA|tq{g;mS,l墲9R3"UȳԐ6Fʘ FV0QFiwE qHM&}#)f:Q: R.;[]7Ȋgc$sLjp+ȕ7IӢiYS8d%3VX8`G<= ܛSu@iK-Iog(oGf-;s265{/!᎔吔 -M<1'Đ l`sA]G^%${q%[% NAkPrKf$o&B.].jvM^BKNB尶ڭsů{lԛ0ar '2c&gY^ UȌ# ^[xeJ5>lxP9yb@(cdVƄ}.N>Sq0t7 RݾiVP-EY59n.VKgj ~\&t=+l#c'iq!(c< X@>f,Rr"Tl:_P}խ ̸CW_xo)CZRUYw_^'__RF~]VuQy{X.6 ofAKx~+4.…4m-ܠGdUfR7[*XnjK^wfdX#yTDKoZ&5R·Aju dufIwP&ZvpilfMzNXVβUsqj.=㵚շc]x,׀Ɯ]?:+]2B"T* ُaG-l"4rDQWYGBB_*lD*=Гwϰ\`@-Щ5`?;Ī6RVq? DAjޕMqQN16l">] 6wQcVQvEwx5 Mƶs,cdusnX )ie397Nb\beTa}_+aE?QaۦBAff&rgbb"'*^ \y^^1쩣DWZǒLG.ӏ?'36Gi><%<_tEwmf4^Ew톍 mEPKӚr:#| 6Dt 0VrBpe1W'@;u llxnZQ$Q0 yx;&Bd>huW<5xdW'=ΚH,qX<#jDZX7ր:SuOD= ;w>, Ă;ڳ,p$9dq|!jda*@M|)y=)bXav={:u1ּ}?DF+9v/^r(DeegͮQ&B|ഌ9*)ɬ}1?ϝ>8Ki?7Ef)}Ǡ ւ"nradԾ6} qgkⳖz@r]ÀG8܋io4_w@O4ISQ7z-%#m!jt'76ҥVD'I xcJr1ƮbܭB1,5dNYD,]8"hZ*k'8OwT8#p:6in}3R9qI} ʇĥ'sL٫v1ߵEF=)J0ۏ`{=v@sj]͝oXlA`Hr2]W>W rQ|N=>C|vǁE &;K+]Z+ @Q)Tƽ 뿈*fR0V/gX1@ܕp3悉\ꊤxݻrtxS>C yAOw}E>"ٚS猔+?R1ߦt~ԇ]q?] >0&d:y tC7j M *ޖ^Hy;?ފŊI[Ј ~m\>}t̴dӀ zSoWfҸgn >aFqvMNkAdK1E㣋%Y b?&4նZygKW)ʙׁݔK {7zw(Cnm,udJU)H}6U)R @H] 1;q=#L4Y)&, ^V]h|zUie7@Z&>BL!MZpJhQ|n\?|ALnJ`UXIkj ze0cv =jQ,IszxKJ`<\12Z 8ŁdPêi49l4;㺖f{ĵ"S5yCjCCtf<>7pIv8V*;zްs%(o9ݐ!b.]ZJǡbj!y0Fר63PeWM? ,}WGӍ7ǒi4d"{Q#W̅s$0TXXNfۅ9pMJpr.<ǰdbMG/Պv]6opFSe5A=4H a^QB@Y 0b$F(ߔ(#XT]:xjczYCHH Gh}L9Y)~mrGuLFT~ DŽgX>k3 %I>i|.PMIhlG9Qm:Oh澵PZ$6&Ebճ#/%,-F^Eɬ6=NSb#Qv*41ODi,ޖhy[MңRux,ie܉J鵝uj;LI|¥$͠UTv{Tx&<< YSYhTIjp6w2ڗ[y$$=szgu@R I+]7mh`~<ow#?A4_1@\a=$Pܦ"e[੃BO1.*ouƝ˜~qˎ#t̿rD.PQpXЇ GNa5xfJ4-}(;,jչ)ɋڑD<c^a(aifŸpxIѐP!*ΚǙq~ /V5tNNxW@S%/eQT), >j46TY{Jl12ShlRBMp)أ_&{}rۡҾ+͗7u,3P*/=W$ȩ>^pa}/$?0/ )9|,02\pl']xtCh,ʅՏ"ؠFus1K#.앤`'!] ݆_n "՜&J`<{5֯@*I$ |~-{WUȳ!sH9fli3IH/vp ]V7GɽDžfV1/JE:W-noS﬈h+dσJw]rK? 01d+&J'KvrH)`T1F3~7 #8_Nm9^[Y}cӶj4U)O2M(@WuB3?W:z:#orC,'L*q p©Dl(51+aydjQnϣLkg W%gҐEiGQ; L:jJ:S>Zjbc9lʉ SЂ]=#T68g<)W~6:+t:`oQ'mXPe,$[M  VÓe:Njt) GYQbn:{ ]7aFo' w4+`=%W?fݥ㕷*5;tV_tJtiAYUX'/ڱL-߇_q֪Le5n[;dl(m/&X(gw,KTyC(YA5ji7 ,*em VC ^pᖯN5A' z\XKl G`l}뙤f.8l{WPɦpU c /0Ogl.V2x?/ms5< öeHcVM +y[q֪U%4 bWdhB2n+4(< -BG}'MiXU2N_&ڃ2;,P46-ې kd)'3c]Bz/)Ui9EeC}{{SMƵH&Hv AP}1ͬ gg7OC[`!+]&P&XёJ΃݀%CRG i %[|! NM7l,"b%t}D)X5,4Jݷ넗+0pNi (2VK)'2O/P3>ؒd[8K33Hw}}y Q-_cUlMG ]l> +ٮϫk61rl8zޠs~+pqDv*^Xߞ6GۏxIǐ]|0BcYT 5s3MFގ;Tߧ@GcxK'~@̭$W{=kn5_Y9g8凶CW *GDtDz(R[;33`ZGeqR<1Ju%uEͰ濮j8~V]6'bC@ Ϭ%虜].6A-"$69SYYӜW XbHaz]Pu0t*Nl˲!mRGoSiגө [ p䃯lB%߄!j+;\sヨF>(ߌrXSDyT6+T3B2)lv K*'6H !]XȒɼvRk|ł;4%Aǵ3^U@߀3U_ 3&F9e.S\tIJ~(Ӹ-<*J̵#lBlQZ$ݽ烟р3p_C2fK@xɌN=J?{uޱ'[4ܧ"+./:N.,A]q~L!yw.Nݨ[zRDUoZ +Vku@25;(T"A!IftUs`Q83=>(8uK[?o#IЇ,lm`,~C yC Fk[o(ZZ0t2KyCN|Tȼd4Vd |@:qiM$x^LUᦋ-Ja3Pq%'V?w*EK:xv'p @ޙ>6̨&҉G9lKjM`x[7׏^/>l=(۹)WjBnG{q; %[*m[K筳 Q5BS58ZNL3<  IDC25"Q+(N3,ɘA 9<6TWJe kXY, N % y $v l- py2F)i qOCQ]WL\%f|)d)->18TT9V/e2P.|Fz["rkvyJ|%߃eZLFTiCC}ъ"iՋq7~U"]aoFNc= #6ue{inz) $0ONq&URFVSL[-Pi_iJU!3iַȔFT}ےhg/y2Cph?faH)Kf.i{d׻w ˢ4˶L˸ā:NCY-` @yG@\|e V#E AeMC Y3( KrEe]IyOWnC70-27>yeV `Ay#}l!;ҬJ5rGSYJ5bQO.cxrL>3|gJXg 1~*854cܷ7}8 9= KPYU z!Z.&zH#e竮JFotDCrotJ^t7JjF[(2r%u " M-C76bo~̻?hCMV2J͒kdv#?E2-<+& =Dl*4nkؿԱ D^ | Oc2G[Pe+ '1o6?.`Gr> 5yjPIj} #9|뛣ۘ`Þx\8Йud3e>5M Fv?lBGwK+oԁT,őȪfOS̨t2. BQX˓ Z?HlPHouC+|`"6#ڒA\4s i/OշiҞY墥=3ۊhO<;)ЋNݕv^9}` onB<#FpglT,M &k 1*[\_:io,%w"8%&z.3 ?Rnf"VYCQ+HDcYQBg2Tg:=_Y֊yw=vѮGR6.&= z'g e p\KfN4[|luO}h#C)C@[ch ~’G֮,D,z-ޑJAuH2EE-MJv76d ȼikc].w\oJMgLJf9zQ!WPÚ>B&׼x?_7UKe2).-gYZd85c3c9aa79bf9a738ed94bbc8d6c21225329c24ae17b97f9975a58f49edf9948881ca3e82dad276d40e159bd49314df8ed050914c2d897af67d8ecc