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 P-Dd ]] LCF:threads=2elapsed=3.939cpu=4.336gc=0.152factor=1.107zXZִF! ]ŗXf1-) enȈA"XxBT/'`a_Cy_0 }jyR@]PG}UӀfof {U ~N*qD͊!}:2Kn4N TЫy逵g7" cw7m\gYZ7zXZִF! ]ŗXiɟ 1FE`u)_+_6F ݘQU&ʽ$k޿m6.7$|& 挤=?>XKc'3╝+ qWQz'hF]1Fi_gYZ7zXZִF! K*]ŗXi%; ?e^/L,;- Xl&+UJq{<~_uɂ3$u.{DLåpJFеNo]i7Qԋd"ENj`s'u|k~lF9{őJݿeDNkW X@SYrYƢ3Sx vw?`3oϺpulpaZB[b e[ [X_0q|TN?ڗ^^=ȒԌ6ȋՀjU;Y)SbVI&pe-*Q4cdn"ek7wSYЬ:=QϟN8I[(T]M\ME@aS%A7{xcPQ+JA][ɺغFldp|k1{Yu7N^t %iJFG%_$""kqbA.X#(i"XH1|6 n]^d.HֵT O \ԧ^/`vgEy&/X.Po 8<>.@d!9,ư+rzC?PXhڻQyҊVg߭v~ΧgvlIuG/.hqk$ >TWrV_Z+ikm_s 5^G`}i;(Nu#Q4eIchtZ&-vO\M'U? HVM1o!|P@xQ8'3?)UZ@9hGeՒ4/FCpc4e/T$Aȓbԥ Opz-Yr.oeP6)1G)"Hb%fKPg&Y%dG~zRiH/ì.{54[)kE襪{Oܚ2ևl= x+<}A>Bw>:]8W&-,% Gg,PJ^6h`L!eu ӭr7[mT$ް#{ ' kirɚ,\V[.݀\VV!x9 QOOg}.Dl#\Nn.BF}QYN$Yp?x(\Ӣ=#D:k giixuH琇&EY,mDyOda^=G8NsY-z2DF@:&wj?fLa]Lf &$DP0G"|viz,aZ[Ϫj'p֧cl(Nj 8Y9xVoV5Z@ۿTk$@gy>` ||D6I:DeֳV{C)YBq Hx y\1,~&ќ)A tx^W`0ygec5c\>f[krpC5Z@ DpB*6,T,)Z I@TOOW% *c?ЉOUv~[um?S8QFv6R6)]!r׹5GPX}HRzrLgsWWP6og|^V/r |R^(xي#|$]+0om ] ]&fi*D{CG DTt#d.E _@Jf385VN&.VwD9~%V>X#fgli/dX xޘze㏱e !VtW9$uLd,ͮr"Sl@{=rl. u/,ΨƱyeDC2IX|Ն]䶵   ==Wt%LCFIFOLdocument.tex%LCFLCF.Ex3document.tex%LCFLCF.Ex4document.tex%LCFLCF.Ex2document.tex%LCFLCF.Ex1document.tex%LCFLCF.LCFdocument.tex% LCFFOLdocument.tex4gybz'6Eo!jk̑r|Cʖչgr53yLJ]Z@qKl٩=#YbarY6V7| wDm|yDI)qi|@)#+l{; C"f;w#.U=?U]~lq})LT]fqT~m~/rREA'h#r) F.^\ݣFg*(+WpʴUҿ(JW}Lˆ-(-*\ u)N.-JO2קerw9 RVl|e%PN=jϫw{`۷ 7@%E>єxQE`{ IVhmϺ"}pVs㌧ܴ}@Wڅ\,PpP/`n1ByF( 6s~m,|yQ儴:P{+׻h-ݍ׷qgf;RTN ո kFg8!?]Q>9/L(dKti*ɜiupyQ :!6M()$>8zr webfsp*9PaÔ˪kt=|?kܡ7u( ^H8z/ᙶ0}E *"y\!%;IYJ-$_ A pO;i'"c=t+ǐ[v@Δ1w_:vyp4hdO B!)sCf^hUb-YU@n$ $lECS4ĕ Wxn lWQۿy1UӷlGZ"Kȍ578ժSj| -5]L޻!@  (^GqB)PUn*d탵zSdz:[Ȱs#F9&2pzdNBېw4Ӿ طjt^% Uy?;M +ݎG+zXZՋ[y.m# 6DbsҠJo =l@UM†FUxLВ&Q3Mk_ХE8u9|r=0 Ge3pGE(^:{4Pk BRj@\YCLuB]NĪUqG‰ 9Ѹ6r""XЃ.tVʟH؀vъ-z45濙B?(C1(qP10\Dm3a(x,i(uY$dT"ScR7UB$aH7U TיD k莑9!P9Tf9?keH u&R3'80OgϛJ5';+mjϾپVfվR:vXU [ gL"!7)։rk| _BfܾS\qPbן\Knӑ,EO"v&П9: ~ 7J/+?X)Dj'E &CM}:-syTӯ RͰRKlsCѡ< n:lGMFխe&%V2$=!yl؄3\%^.3Jt|\A24M6'mjg F+)ɖbiTCRlEe6 c r"q@x0|Ԓ ddtVgEs2bw3F/,:4+|ΆkN@ހ}` QJUhǥcS.L'#ad!:jSZnCY^Al1wF/~Ifl2wj,;^:,^֢6Uթ'?.󭏪r"eL?e d8ː:|}cv͐bwy}rd* ;86`f&BSAz5_3;hZP F0WA S@vù'-xQg/}ABi-к-8/N.&B鳛ޡq؛ Փ$蘦!|Vo&MJy XYۊN10ÓXWMs5-0 ؅-{fX ssTuQI 9z`#rfD {]Kn)KzcZ2b}D`إZ0kA;\L1Sw{75a貙@ZђC_ɢyLxI V| !,-i=sTd:/31N3 u.0ˊApϮFy5Mo(2ArV$l0K;bΕsی"_ܫT.04v%^} F/6Lj**qOL3j-iJL`wtH*n&0 Qj-ajh)|0S[wTBBl.8|6N{)`ۄJ<?'A 0اO$"QjpZS:mt_?3,{ WF+3xs,49˅euTWʪ>Ⰷ; KXKrTdffglaL\%<Ʈa |RhV]hڽhgr_nL8ƚ^7V1:i;Ƥm3)A!=6<QRw/ZAg"VUZ3 0!l a YH4eyT8%`Fg F-\ա]jl =5 4Waɣԋmw3+D#=eyu%]vӇ}rGΒ|`|:Ii t H7R A2kSҘi쏟JlŹl жZ2H&li<[Z"<瑚L\Q6Fǥm 8]OTSAl[#|,Ŗ4܂<ڹW՗[˃⃆maLܡT ŷDIռ8ԗjDs %<r~lo>o2 VWQsEI6]X>>9mYf.^wK3qKAKLB[#p < tǧmԆZg~?\ovQ^6M+-{׎ʌwܙ Z K3^@>U ƒ7@~'J a݇xZU Y Ufhe~o>w2RsaL.s<:t|*9CWq샲D'zv?yenZ8leS1br}ﱳLÓ hPJtBO2xw/DqP3롰CkDZ ޹dpft] "8B[\;ywott<噔)K0 2'3aZ.;o-r)·_y>)1<*MtTm'B^˰_nԋ3mN+0,fc; $"#==r=}$⤒̚n4^_+7CE K<'_`Q#v%7W7V,=K`c`R{;#ɛ!9n*>.Ӥ CvRP(T}r9ӮISD=iu2vqB%f+i6"l*/X~<|#z8P204ݓ]"<14@2QFV¥Xiaӻ/<~r#9)N0r6Uf P(UC `ԚLSy&3W=W(9( 1!oǖUr٠tvLyqUEsA%ESm:һ9b׳KѤKyZ E'}(z^kYjۦ.p?:!kpSmJ[rq@Z5ȴ롫rBD`c hU$n#F7TUd`&+㿸!)S +NxHًMszyI0\Gԉ0KZEuyZ`-E_/R#N}[݀B25YҰX2(ҷW 0r Iq!6 "hнRLr(zU=x?LҲ9wt2wmc$2!Oڅ 8D8WsיbrS(=r ۋz^*z0\t2e(iRͺ<]1gx:N%(q ^K];z|M}S4P "tE }CcN_#"]wKkڐ+1"\%k!=\w]&1bbD]X϶1@x:|z1`\]rq|Qe؊t dktsE4rWW@V68 4YEoТN ڹ#e%9m^%!"ԍˇbs&f+QN>9Sm:Teq( $|xvhBcZbb_V2he,>Nq}x.s/M&vaNH : ]O&Ū%ĪYrj9|"\q gM#phc!!CQ1P@CH.FCzZ(/?+㼱[K gwX}4W"l(V|1% H{cRpSg̉šM DIK5rKKPC{h b& 0nBP?BA3%i?}vEV 2}>@U 0y:2!hp/YJ ԏGc~zԟ$}(vn%Y* V^?e`>WGb耿k^7%z";y$| Z!.ݨQhϢ3g*iA߯Mj N~5LZɠbo6YΦ'9luV]dm j7wSYЬ:=QϟN8I[(T]M\ME@aS%A7{xcPQ+JA][ɺغFldp|k1{Yu7N^t %iJFG%_$""kqbA.X#(i"XH1|6 n]^d.HֵT O \ԧ^/`vgEy&/X.Po 8<>.@d!9,ư+rzC?PXhڻQyҊVg߭v~ΧgvlIuG/.hqk$ >TWrV_Z+ikm_s 5^G`}i;(Nu#Q4eIchtZ&-vO\M'U? HVM1o!|P@xQ8'3?)UZ@9hGeՒ4/FCpc4e/T$Aȓbԥ Opz-Yr.oeP6)1G)"Hb%fKPg&Y%dG~zRiH/ì.{54[)kE襪{Oܚ2ևl= x+<}A>Bw>:]8W&-,% Gg,PJ^6h`L!eu ӭr7[mT$ް#{ ' kirɚ,\V[.݀\VV!x9 QOOg}.Dl#\Nn.BF}QYN$Yp?x(\Ӣ=#D:k giixuH琇&EY,mDyOda^=G8NsY-z2DF@:&wj?fLa]Lf &$DP0G"|viz,aZ[Ϫj'p֧cl(Nj 8Y9xVoV5Z@ۿTk$@gy>` ||D6I:DeֳV{C)YBq Hx y\1,~&ќ)A tx^W`0ygec5c\>f[krpC5Z@ DpB*6,T,)Z I@TOOW% *c?ЉOUv~[um?S8QFv6R6)]!r׹5GPX}HRzrLgsWWP6og|^V/r |R^(xي#|$]+0om ] ]&fi*D{CG DTt#d.E _@Jf385VN&.VwD9~%V>X#fgli/dX xޘze㏱e !VtW9$uLd,ͮr"Sl@{=rl. u/,ΨƱyeDC2IX|Ն]䶵v Vx, (t(i% $LCFLCF.Ex2document.tex7zXZִF! l]A-MՋhvG"uIBm5Ęۃ]BMѽ@>oIFJ A篸(y8_Vrh36M6m(wzf(AZO{"3bG,;aK=D#zC|BEjh='[k{n-64|]=Jm8@px8a@[/x[h" ˸9F,f#e~8Sy0i .=ӊ͐ Pj1ԏY yU0'_ XaȥVj{#ȇM̍&&±mֹpoq٤{vyOd2F2RHVdf!77oc:AfkX%E >^}|e!ÒBW`59^mн20!J<:pG˓EweeG6?iھNQ@r]: c̆lA_+K"2vadBN@4%)n:7mvRF!](c͂尒( A3  zԝCLdضUT,HOSU7h@&Ff3Byƛom6?5| j)Rt)/=(j!Ag'FˆB&8gYZ]% LCFLCF.Ex1document.tex7zXZִF! ]A-MՋhvG"uIBm5ĘۃX!NMѽ@>oIFJ A篸(1핿ݥֈC.xi&'*7 `VZ ]k$iʧhKd0V3Խ?8K񫲈n\Q4o+݌"ge2BOazSڐ[ءpṷ>]eÁ46;W>j T]X Un[odꁗ($ W;o t|<(0vm1B,'\PLuFPrx+Iw~ByPy6k5>7MsP2 i @U5举Xak%^_`i]nA6߼JOk*N @ .⣛BPo ~ʅ6vF`:On?!ȿ `+`XsG_ްOF۷4O$\V#Qs/ǐ\_h}[rŠ1]'9>G?-e63r26fС[I[ʤ,[uj'S|E]n{Qwn({13 -2+`kuCb&cR3dFzɟFs1 ]]rOJWJL$ݚiAz@<٨諰/ $ do]Y?ufJSm鬥gX }Uƈc8]i1[88Qpp0o.j\3rF+I!LޫD"Dé/Xh}ChS4lVpǠe:N uӞl@eiGuk 49Pb6o^K:v&A%zWۑ'/ nJx6V@Xq,?ccqb6J@rm xPהܤ pFks볞H!1^Gw'yoCzibCDK@L,ﻛ5oigYZ% TLCFLCF.LCFdocument.tex7zXZִF! #!]A-MՋhvG"uIBm5wYv柛:6ӍJnd|79G5IRH_1pW#F+]^jy2v);FovVXCX+V {H.Iɱveq",(Ak;q2fx偙THwyki])tƯ8XD w찋nK?\q[N!_!. ](+W \k,|Zy x5vmV-ZORɛ_8Ct1qpK};H7kTH:gCu Zl# 0ͻJ=lKpjt*!bW+x!BM';';B` K`hbD ݏ6Éͨ邸UּkIT?_+T\)E5Y^7e6sjw^H1pLp*{\pxh(瓇8>@0kBn?4%7 yV8$T|&6^A / Z[0a%1٦`4%9{2OvTw΄XXEd1ZV&BZ_^fZH@/̢>ؙn"ʙH WCXQI,qyLOԭ;ɲRu~1@CXHJP)W[UQ87.琣\K%n1bq*w@=G[1DID `7V7NXQԩ&<.~65D 5<o'~]E,;hHUa GSk*3|VQ 1N~u?MZݹ^0.ce2t r:g<8Omn3b.l^0wzÑ9^HMEVw7*7f6!sZSl#JtJtSr:Q..}Dw 3*vϺU),x)ÁakX»껈j2ږU=EQ eGLA|lbl떳1A 9hx%͛ *օE~}y/$ph#- }M;uYK.vފ٣>]U\ 1E<[KeQKHZ9dvrDğ8*HWňAJRQðUt/e>iA|: +Vbuxj}w$& >f_*-qnkb 瘶N$V #lRul]ZzmΖjfrNgBF@P3>2gE# 1O ^9zJZq.#qժP>N9 m9`$eeC&m1_=$n/<`Yd E/q_zboIFJ A篸(1+*N{=]KYbT =VՖ̏V3pyPj|+EK xӧ)'}Vg C'r,Yߤڱ"c!d|$bߊ2$FSb_\&Z7l_z )n`2zتT!A dyYFntm*xYѥ-ULWs+9:/StVʃnZ'✯%;r̎cW[8_ x=5=$yu~+-Gcr|[7,ٸ#mO.?cfFp&b#e$EhTp?^(oI}u\a~G2@zUs@/݅;Iv7)oZ !vtH4+Y4+z$(_3J[=0BG)M=v4K0Ru,ó`Hb.JK3>v/ wab_$[vYh\p=f I[SPwiJ!\(W V5^WjS#=F>kd|vS+WJZ xi@dl{],v;ؖgYZ]% LCFLCF.Ex4document.tex7zXZִF! a]A-MՋhvG"uIBm5Ęۃia&Mѽ@>oIFJ A篸(1뺣ix3ȸhI7Ia;C$jG<)U^hNcdA^Ղ2a0/["M-ȭa<1mu>HFNKQǤ ݨr:u~an5tWqmŜ|ZK%T :a0$p<}[r,RPK׾`T#q/Yax8Zg jمƛX԰Hڨ΂g\@ `|3s_-4GDTkjQxa{0! 1q=EvbxMqҟ*J-t\&?,qHse3!`k_ԫ:C.-OAp-`cSkB1'&C}%6-3VD҃6fjoܽMD,Lt4& <0_IKEu"csz,+dGPC'&fB_;=trzOmDR)wf/#_OI AZ]EhFrUs)A0*nע"'$>E|5m+ȇ' *cGl}=Ĉ>dhsVgYZ 9xu QcU-ǃdCJ-klY?[R7dn{([Z!{ DuOdޮ=EB{~;rgXhf n+\&h(1Uv[YzMG[r Y븅_O(\:!aL@5[ c$6;(y-njIo|* i$OxJ$xG*c2J+f\_on^s3BC./QO݄}0F$T\uX8d8ބ)^@(sk.%%DpB |~z #2*F8\a{_fNw^y8 - P'AcNCƒ)Bg0 g9HQ]JuT7C ة V?t.1*k \3!̯ ]\*^>Z5#I!_r~l $gpC꽾yS\x@[︈!ov]k~CϜXA7Vw%* o?&F'K2ߺSطg^ l݃yc$q{5p0jPU=AzRŗ]cҧa:Y{ܙHœO0ze ڶ*3BhhڵV*F 5TG xOp< 2cIeUagwcH" TX%Aza2mv?hX4}+mD&@ ,^c"{zK6\\Y6%bd<0:%-MKGA؞'*J\Kؽ@{%t >FbdÀՋa _K;SB*/AhCDTwK={Hv`BYWZ :S$.0G=Ia@p@kpFQ0/ L ׃o\iA 3:f ٦+kTȩ}zhcQ. vn~ߥ_⵮,Odhkȕl*./W;VYv"$p@qL!O3vȤ& 2YۧWx4wρY|B(6P1qVmqh8 le|\ɢb4Kk-:e6 o̡iJD_ǰEriڜG?^NnLxvv~DCoTybR҅[@8sJFAH&Y= Kᓇ-NFnJщogyzZRҟeiOn5jjRF{/fc h6cpET[b-,Đ6K[ϡ`itfA36K¬|?R3XqΏthf$O`|_qHQHzԃE_Jr'Mp` +/QD8e@)hh&B l¦IpwJg׹[>y?BV|c]Q.H As1x3n"0{ ܐ0^'Jg`r9-/Ođ\6Uo)vG$2)=WVff+ kJ,Prfd.A~k9~YJWX>Nڻ1c<@R|,.<*+L`|~A@z H]xc61Eۣ9ɣ(=9&Qp`IMZ>H R# n56U09ިMwm`b93\E{O~2/!QMGQjW&26 'G_橇/G텘=7m>֪Sm+_q #OƟe! P+̍ԆʙP[wL- vѥ)EQ`ST[ݫ$T({,\byU) uGp~!]wwj*O7m?̩˵xLU\n܄?y!ɝI:O$Ѝo3F{jq`(W_5Fλ=nvs onコ(|X UŠy@`!ė^OJ5{ӧLSm(A81;CrV\d\Gޖ!65*Ғ5]O/T}ӈuHNEM-L}M(?8dT; 'Z1'Dyb3m;Cpe:`kS]}\yAȕ~x,scR(W[T[4RiQD#8%&]P`g:~ɞXΪG*>k1AedෙT|R&"4K8h{8V`‚pGXlZ]k Z ݞSqB9땏wwȘ}b%59>RCyyiqs@m}P?ar鞩_c!1٢#ܑ.^ w"*=Qnp2w}Mk5XK[A5s!D3]zz<㫢،Wy#Rׁٓ^ fxh~;ialT7B! !=7߽/{'#3{GJ5wdtMHv?0[c'Ч]ȗ]s-}I-xQgA E.pm8ǵ؃ E[F-zq ƭy$#65| dHۦzS*t AZXU!IWUvmqiz/Q!ޑ_;EUl"4eQ@YfM*픰KxxMo'rVw:lz.P݋Ӄ|I+,[lsK=;bF[C6z@>f]`հTjxi= PyU1f\恇/w`c'G!s[,Fљ.)֤tKL4醥ge{;q9 Uҗe}D&GG>1F bk9Z?vSČʗ {F T⍙[#LE-#=02HӒaOr^-Hxb48nJ}#ϡ8v?׬ !rmbkYxeo{&}oG=PV㻲(1ccjV"@0Z&3̬ }|mIvpK a ͥ@wP2h*v}*H uWcKi R^刬d,X?a$9" XSW lu$6TN߼J&ȇ)CN*k3߬nIrh ,O|h~|L[% B ]4- ͥ;&Eu ĉ5TsxpOv 9ɭUWυ=]:h6} *kQ7P+ kwհ]Đy]bo{3>C4虾6ZL o.y^# b*8-gL'Co[& U7F˃By FgFraB'G:W]8ZKK",AUryjU>H9GA~ԗ؏Vbf!leK .$ͨmLrFD{$Hf{J.!f/7i7ҀEیLe׸Yu(y}y1}uЉU{~Fn$y}.g0MޯT^G7yo'ÆлNBi')F'1x00 ;W5״}'1w6 ]G;82"ŦW^,4?} $:HКwNo{-{:qMݢ%ie2),i-I).72xES&L%orpl>4ew9=PDb^cg?[BImk CB:%|kmO,Z^Egqrvęd2qJ7۔O&_kZf&㛇"`6#M6sOkJZ?QT#t{;JC趍?xZTJAn}j%g~8e0𐂪,̧`_A2f,e!Dbg ܪV^Yu@tfoU4`Lhʟ#EO77EkPהhc( '#D3Q@.zͺ5C+Hb<0_'G 5_5*m8ݒk-4ƣO+$FevFn2<y<Z蓔&gH!|X:k6EVeZM*U8"]ߍhzB :dS;5ڥվi@[(#X74cb.ъob!qȌ-5AX4H=e *kl-z9} WA4(TH9ٖ]*r<T+Oqsr (:'>[\ 5c30zԤCQWơ$f:Sv:ӀϢr 9<&cŮR- M 'y64JҒVw_`Q{K+/P$ TPG~ NKw$NEŔlg[x0C _5]wv$A9]ѕ6_rTNhUBLjLzi j_me֥KLZS'c"M!6.b!qkv<>I!x K|C_j7H_ >!}A^gK<o|ϊ{]]81˟40=7AxT/;ci壨r >ޙ7f>pk-?j 3J 0bbǍ f6Mփx+cGc/1*<qı`WҫK{q!V޵T+>5ɯoN0 fU/ʿe 7BcvP)J!7+ xVrVjOU~sOƀ4K]\3Tnl7 1p;"o (`/=G=24x oִ +q ,3ʕjf&>B)% )J$q9Mۛ~fNxJ0㯑uT؉W:94o̔?ȿvn˜?Ƞw_&PW 3I\_maӪa)).-s,RD bLj,0I6񰫏& g9c@]?ha~us44@=Xcu7,4b Y,EЛ[Av1ιn?s/H#ÏB;DН0r:')͢StY&3'OGS,]A-MՋhvG"uIBm56۲R;4dBUe>Z1諘C1ٶf$d8e3R!k,UÕAV2wшWz{ũm̉d٤,ɥet[ DJaFbt"w0Ļ EXJ׫(?r&w-lt6R*"܀]r_FX D(?( PˁF%IasW̌%dO1\PU[<^hWfU:Z>Я6ƻe>$3Wl+]D|HWTIh܎Ȅlri47h47Wo9[ycv'2#XA^A¿5zAA|#'e\^y%ߏ T4IK#"/?&k@}N\tݯV" Wce_j@7b{8V؊s='r?#d)K%h8S!u攊GW)m{^(<]M;E51VYtU0hxeuW'i; cDE5d6u}77-uPMy9-s U*}/Ua lSKmC!7vkbŹ^we`/UYPz4cWMMG !߳"Т`H%[sؿ1žQzU~~N)o?uAz~4/j4r!3XI5G}Fb(uU^7W_+EyS*Y%Ia;mmެ'mz6X%C~TlSh281V1zU\IHbSW6uOSsF. ^;R=+|I7 ݠmhU:? }nA3 Sm&ȹ֣gݲesX DRmdA} Pt僾,`hLHi4ϑ>Mɯ<eUW.ET'{BɋcJ$ p2k alrF.nvob3 [TɃIjg%$b/q55B6 3}Fa=uD۷֪Ӏ~h: 1xӽaDR;QWUM qT#E滱h'5"HQ-T R{ݸ6qmv })aY CTs6#U.`:3~o`n/ZFy:Ĉ>:|Vm5{}Rmb^;gp'=3{BbW9@eOX. N>nݿ+ϫ>Lv>8`RT@qy|0#tJ D/kl0aT.hd4Fќ[.Fp' BSs]^7m,.Ocie)Rc LeHv8E?dq=`:4^QcA|Mb3FvϚ;qu} HC9v:͖h< 7 Y¹5Dܖ|MXbvpȰK5$" uBЮqO0YZ;KcqPMaD#kؕ%Tʧ;cEcY 3+n8hc- Gznwc! خS26W'E&֩I)"WhV6[7ކK2hSHr;.@"t'`} !ƶu1R!4TVc 6#Fg2DN2q% i}h3%|XpbG9nSRGweQfTs+IS v}IJn/?A9 m6uY֮K :Sg49^p(gelY|]zUo4Rk{[[o;- o ǿ9