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%\L ]/]HOL-Analysis:threads=6elapsed=296.018cpu=1444.548gc=58.856factor=4.887zXZִF! XG]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\[sRmf Ԍ=6 1Y2'u 'ǁoHt&yq9[Mu9Le5fL)d(~([,CݹY8D1?RLz٦4fAb/T'3B#a2L>#H2SUj ZR9kʞ|F`Vߌ68ԩ_v[ q v`mqJnӈ¥-oꗸc ש8. x݈֠\l%A#e6䰥aս1'ٔ~:GK-38|:+HGm'CijkY} b%vGAzI)xʀX/Ew).N&0tèc.rr8oam[!pLec1Am_E.^(2>_&^RZLNPLr}#@Ƨ3CuQpjP饱6-݋X d4q3R\Q`st|mKNMS7NnDM@gyK\ʗHȜ֏|j.^?:`^;AQ>tni=h_r4Vo~ϙKo-MmGɾUoVce jmu|.7KG,,n]mA]Ik h+5LE k:H:7Z#2ڭ4[T p oT}b:_pE}$^bnWb?&N ָP";O;}1vDEȆDY$mG@6l XcN*ٻ RGگʉq;"4*Ua"9tmmUZkTU;Y-԰uhtY9 .*2,diQ6u63bvA0l~ p3ο~WTi+Ggr I蠒(]yXm@&!gd2Nfr,#jV`ܭ &S]1=FK_> &πZܠӼ%!BgYWz \h_'$@@\Q9uV 4Gs-"&g鐦KK)P\ӮdCO/V_m時^C`+sb`Bt&i<@q'L}PJ`uzt$3x6_x̴Ox﷑|gd)D]=˩cWA\N# S^B~a5&px%wJ4yͿ'j5!?lc(\~[L1xAx˖ rBn tW>h$A/Q*#錘1*45,1=58S(k>V_Q2]ȖVI3 XG! sw ^Ucզh dl8'׼ {LçW['jIh~ݢsEsxy3Vs4EJa(?h nsSƙeܜCD{*7v(ndE2s~B2?HCT>w1VM}Ҍl"xlw!j+٢C} ~#A7IP#殳eU} t WkǠYz,}\X,a,Ya:Pgېwg^jBQEUz,aU['U ='ϰ)>1@/e7tBmGlWdM΅*DYI⛑yHJݞ{#Q{sT֥JOc;Rʕp%}W0:6z1z"`B>BV[ZQ|gF٫wƧ*8+8|/-Sɞ>ăsfB1/TM/6|f}3}17D'2 Ú%TԦm4 i+z—)T3F!{54F UP:w/; ,KeP9 IUv*P퟼&pAN]x1#Ʋ^OzDQ8"M[&\Z%XCD>f+8 Fa8gV)W6{c0 % HOL-Analysis  j D=pH: 0i _y+*hNYfr'R,??kQQ@k׻K/jJDʹiXM[hllWtre&M:V9T~`oRC0`pIշ6ө^Jj$B|fDϖ 8oXV0F@諙tekM.SټMQ]8h@"~Kg%|H$4f8^=I'\ G qgGS^6[r=AŤA#LyS-q@:hKVIKlIX0*ƦՋ+GՕ ӊx~V3%*Lϟ F0Զ^ޙ؞K,g8ͯ}w3R 桌 QFVń4ڳ)ȋ `#\OY>[tl}4N77'8<ݍ[THDk@q ʞbg&7#UqA;5Offygc]KϜsyu-5R{þ"4q e]֯ۛ2zF#&(wL3G H^ T|`R!%Qc-3 @P'Xzd 0NEҼ0M$+:^LviL!Pbh]n oj?gЍ(B4p׎K=1]{:d?0ਇ>%LCBJ A㺷t2Sn?-fNTA5֘A̫x~m )Ov-l4:Lg}pq L ȴ]p" 2a7`I\@0V|7Np~Ҩy>{8ޯ%OL̢Ie~?ORτ73%83|z[:]uv%JI$Nik(rylq ?.#uK\L1d]$Rz=x00TVͱ;&S1ËK tå֭;tIS^z25iq˅D58t_~u8r}[U1 L㏮CS7f>ƃ dDx iḾ@ oTdN ES7HT&|;/-} t{@֢̏3a4kj40 5AHєXCo:`Ek!䞴Q65X&)J9\rځS~i39~h{dy4 Im[xf fp& ]{JQ;Lz/Ik|dg}?'otdo( _ݺ'+agm!nmFܷǽhu{ɩ2^)c w,/-uɋs a6[xĩ7@oQWL&6= gF/uVPrLЄx09|"ŒC^yuR {a/GJ~u?nPHҗ iM::EGqr!W{ 75b*[Wq{Vy'y6ky+RH|0Lzo٧KU+shT{/WH=/Qcޡ *Y6-/ӗ4FԊ)X@IVA59qA?CGN]@ "4,MʡH$4J1\զK,HaCw8VcHI^`& 4Ey۫*Hw2♬xt]"r}7zFZf@oZ'caа` .3 K4>o^]SGR7/]- lnjJ{DWT,_ Yг@_C,c|nĮQPbOٌDL޷lv Dh̝\ُqY[`ABK?&C@1[ղWT=ȳڭXXVzi~KX3)zGTJE7ĜmT)t#c)* 63K"GӓN=k0DFj\L'[f \FҬV`Wޫ+MHh F¡#_B8.ǀJH<*lb[ "['23o'Ѿv0wV} {\D)يXF[9#FM%sf+m.ؗ+Y]c.GYvf urhF[pe3)Gc=yOn^zF WpпH*y=:)}L.K] ˿eF7cbz"^WnzrIնGgIRV622J1ћx7Cu 5/ܙBC_+y@5!?E\q麙A-a".TLDuo5p^i<:#{Eql6ɚ C;T CN~dbADYf7&#ղBo@׌4v$@$%& ixǠe0HmA,`^ >ĪGt64ZǾOÆi.O#tcf<2r8&sȄwU/,t9HzQ?bҵy"}#ݑSHQl`csN2l1bGO5e*sԮ({VY@ۻ˥8]_ @~ ?!K̍Bp+rp#ƛQI"[~\c$)^'ltMb r+^YÅlҸrd76j(;gaX Z&%s>4ؠ6I-D%RݒO[UU+l(-f[TSgr/@k~# oK~ ?#%b;%^}EKD=ѭ%H$j.f~Arp˲rk"~*yA{L-zJ I089}ڊп4^7󨓙eGS6΃q|:6TAIZ"qy*'/g6#__5@;9XbޘUa\DF Hj/k1$ Lky[)(˅;b\| ތb3A\.6 Xw Ш0'u;YfKl2= X/%c4dtyN΂][@s h ;eg-zP}'ːкDPeȧ O3 ruKؠ%W㹘_kk>5uWX-K=pq@p+/JrU{Į2 hFH)P9lvӺ`E 1ϠfX3 gkMaMԘ!-eh,t {v@jL82hyKͧeܛy P>|*d[ZC/5 \{K~Ba&b(>&e 5i;bE|62Д:Dq˖gHew^f'+3k*O/XhCtiCΘ7>F:hCu-C qj1{62ޞR4Ȕmn{O߻nTEoi YZR#+橒! vj/j374» /%/4d <_c.EF?9a9wGJR~QVpr4޷kL+.bdP;Z)* -{GวN['J2LmDBv4U,=&IL0א k5T:5s 8Gdn~Xͨ@gmP4y*l%8#_ RA_~ۚ7rKH)P %g>JsLVɆB2QzRN9vt^0eS|:>lLpd[[΁^ Ξ¨=L6OcA߷`psJGLa6Q^2hP}- ]~ cAHVJ;+=+$ґBMs,Pq':R.>͑ƣw*U2fZNlXH* vn?D/GbD=-HK(q= LiD5gq}t!s3jX1 {h]J$bHPМl$E.yNcslxfoB@й3[viC>'hWIV>Jj=R07P)1Gll?nL86#ib݌L%(< !VR~=3'!̻P|y{Y#o^( \v#0zyhTA2?Yai["Fd$EX/%W LP#<9<K}CPV@0qH.m $f#r̷~H0܎rQM3 CA7%܃:kJ0BGr${JG0j-8v 2J7̛bCN4 ry7AЩXm vg%_e`C&vm<#s/F.hm-"ާ$랰;73#Sp ~BGur;;|3Z LF[&Q,EJ쥄I UtfK=oؼVMx:LnRNJٍ13"tXWge9o0˴WG4#h=148|2 ZJpw\[gN~-({ 48zؤq«/NWЬkx=ېw:ps=ia}a{L$JUԕj#r^ հ,}$iݩrZV7\El .v5l#Go w.%N{"*&H JKn)[LfMɓ)tX[$}ŦbN~4~ m&GJJL1x7.Cucb.sCW{JbjWԲGut_'ʓ,;FRN|EM] `PHU jAFZq] $,,/̚=l36+U.Akƥ9kɎ Ӵkօ A+r 8 U3獁 0%;O8z2ܨʆI˃<>\KReEG>72i `κkVt+K)"&?@Ӟ'kOY"ºɸR樳B9}jneVM.g  1[=5zV Ki% Ի0YZ'T9|q3j4~"uyCވmNZ МdZĢTk+)ݲN9J>+`jJ:+9g5w@M-:b7$;,Uɉё"a:V-a~jy1@)ZZz/fP)4 sc܈>7xӣ {_Mgwlggfl7zd__N|<')MM| s )*Kr0{n0~`4*p9jVXg4][y!,1um"E09F$? 3GfjX 7o"vt0mm$O/7uz=/Gq+|+%_VǓ7IVXohpzh9^|nTVUZƺ %Z2ۆ8Ī`(cKٜZ!ɝEX#q8o)M-Ӥ }_~Ǧn:bVE#2RXP]jRW|U*};v1 z.A1SWl=N+ EuUnYK=9Z7&:ùR2M#b=!cV$"f oZhrQI䬳6E7Ƃ$Ek3!D ^qJ v\Tmn`n'1~Кq1c޶%3zFJ@/_sUV{Jc/mMc ]nEQwBsӣ'RU–.φ:^TJK7x5x=W޽*/A9$}SIqJ wQP_Q7 1 &q>ɛ" >Pxw2p=vM.̲5O6GL't@;7 zu5ٓ{6NW,KCCrw=l h#un`3M*YcĮM8U1B,ONPV?vEr#7n:aLFNuH*82r|T2#7; VŶʙUb LN2DB s6% p~0ӣ0 yU mRA7[tX?lY"o_L? k̇-~tud@ /ck>Uphfq͎IQ LT^xzZHDP%CuWd?Q3q\LX8 eiU!>s IЩˆ0ʂiyd۰B;87?B^!ƌ&v\=6 9ZzT6lef,.0pr{@<դ6n*mA%J6d6|NL+C[z"5dPЕ\GC2/ı7ٚsn&=a%*Mt>;:qOײaɎ iW~MDÚ@mXYkHȯ}}e !=l B}>鏈<˄P hZw,~aZoXl,'}t5 u@Js6_ِŮYzI.P?I$&/k]AT_ 'kMgx9H¡l,ahֹxj1񑄔 P7# 3m9=P@_$ƒlwٹ<9X$?6RC aI`>wă>OyZ-:P·S mյ "Ō[vWOk15ĉfE$ q Qe2frHMcpPS[U}B'h !P =TWu$@&PXe4ЍKw$gzt({C3.*P142q$(r?2@3k+-z\_ƀz%ܷz6-^)DF ĞzNEte+{`v@^:Zo@0=H {-}®6h۝}גEPehGB5pP3&Y,e N)JH 78)p#fF _陓܀1&HVm\w{4_W*B%?b^ߖW5غX`v1A(e ygH<1*f=FCnm 7! [3 @LՀ=m:RM{hѐiׇ eW[=#> [ F?Z`{1쒑E&-6uzaw)W`T@jmt*;ZxO W{ ^"*uAǎTԭK_Km?6d3בeQx30 ш7 fI:Xvʓ>U7(2|Y0̽WvISsLSGِ(-6p0 by=j|w+]C:JgvC9_0/ΰhR휽%6V &O bf9>7+M.R%zMs&7ʯ_X"D?҅x9#T8ΒCEԞPS5`Kf2BSO?hT<0j<*O~W95Be0.yWux?A29g=bA`yXST a Ws68R&$x1CQ2:&"lPi0mfl7ir16% p5C. ٻOe}jH(tkHRW*'[\x0i|+[Zc[}9k(OQU*lwp]9ThЭgND Pzަib_RD#~,'+Đx˨*\ybTh*Ow9M)")+B'-EOʁz8a^jeIc߱jnc,y$jujpos$ Ó'xP$b:t8\.(ypAtkTO-Z (r丌e[!g'1ȕ'Iq`jhݳ}'_]fL&˽%V= -%jhzɷ,)5|niyar\͈4Uj8E<^X5J5w5UÒ *1 d{pefOud/a `'k<TMFHLO~ jcI& \k2YusͼEFU 7!I$3q tqj*xrLm D]c>UcFv< OxKwb]T[h6;O;Z z=m==w ,^1+ [uK=1[:P.g[nDQo] μiQ5Y99[ǺZU¨d[~W*G[3冬c o-i˂3hEٚ:[Q/VwM3Ut__ mO!"\ U¢-$joM$buTj(qH+p5l)I~\k;Ѳ-D!StW)$1phő$sp4Su s7v~;G Ń ycm"qY'$w| d%gϩ+|W ReWd,s\}(O _$=TQʢ/͉#7|M{o{F-`)IQ0ZY9@`U@OU)2fϛEjRo+ɪϥ[<HuW'z7Ǡ2;}m{vEJ:ynh'!㺐3ߑ|!vC\6ܾv^?apfIZ fL86(!'e]fk#2J[ArI>>i #kCӑz}Ruj2)n OVx-[V[;;/q'oJE|]"렻pYh,z՜t6a?}ҜgOZCLzjb>qv */h:=0rMy f.1PYG8E־LЛyYXv=jlߘ~js7R듘tAHMv_Κai?7N]'YtX6c=,2ƫV/ fXF#eQb"jǼ2 6 UAH#^)Ԃ~_쿸Zi R]~N1w.켿T$"=.Ely9%~u?pБZT*_, ԠnF]tX +";T<''7mhTvP&FE彌څ|f:Vh^2wkK% QUUGʈPϛ72vxVcWeTN !aRepfE1B|b@!VۄFHcIWuʀso-b!zR9#L$v,ˎf cZcIAcq;[ Y]^ώ+ , 8lp=f"BlA[S1-x-JHPPyt?䣐JIy2^I G٤Lk~6ž́v;dR3:*^8zWRĖx|1w~Bqw<%< %UcGHC^!c{n(&jc|uv4Y%&-ۃ,5.LtSݠ8u{?ʿ#L9?M^o tu&[[W,Ft y}wU.J3 @x o\MF֥ۄA*ZoDl[KiU9,TtZ4 V3,i}|Uss\, /!ΒLmg,*0Јpۂ~>C|m8bw.VV4o|\J״tGecsq#u\ ]}U oEv}7JoAM|*mBuUNV2_!)4 Ρq 8t5W6wl{i_ѕ1{ R,ߡ. wh c;)ҹ3^m[}.6pq(Ɩ2x"3;K7mԬOc5\z08s7EhPU8Qnuv9uo̚GPGr}- >gľ$P-&S_[ef:ԙ\ʃ+g[1Oo1 AB{Cmwn4?u >Euy&8(jB|5 C{늜F"|}պ}wOuYb-2cظj2V=i #KDIi ˚._6FTČbKBkM j.q(p"YqDn&ecKq]ZJR^fnD@/ƶJ-҄|i!DNNm-Y)n.9coօԖ, 1}Wjcǂ- ]}=Ի ׿% u:Kϐ]q@i# |7ƫq<*H*^c}!tW4E+T_W8 ՝7K[̅tZ^Z+i.oPK[xחcK$"]S!sُz3 Nfnz+6;/3 i4/fLNQ}&J5LMׄm{NF퀐lJǥ±!RŏTzfa %k.f7!&H7*y3>E[^9!>J?}84@3Fi'KEӚ~xSzRBθteHDD0>?Gl!syzi"EKŚBy,;]/IY n L񀓪Blݢ+vdO y iip.7{谮s %`R&w Y9I<dm\r"2f?J3]NlݳRealpDMyݝYRqsUa{Jr@WYBmAռ]AB8ie);$Y#Gi5+Ϭ[ 25,f 1~%d-Sh#/U\)o5cE aȇɿv͉SHGyN]D,ʈtȔ4䢻5ev*.ى ajRf,l.rX{T-*iݎ>4noeu Z\Ay L.n.' LNl(j 3y 65 #vpB&kAQC.W;\c#:zsKz^JXVoXެaF.et/[TߥXJmWt% I̥3ݣ '#D `QU%Osk;}U(lBr82Єkki\O&5&C쉃}I'!C/"(F{UOdBP>_YZS{ *3JtO/&yjnX1;#]g/ aQJkx&HJ6uKW՘(P$ 59i^XȠY]R40Ȃ\ڬV^[̻T}Q^*/MaW%RX ,c̀ 0 (=*5SG!DF׀_ja a~,}k8kz΁J4?'Ps/EKqw'OCBH.ԿqB=ZQXC?h> jOV o)&;Wfh|{̈́d@)SFgpgX *]dWEk%SEE:g5ĬվTLlͅDpǺw:(U}ebRޱb^r@o-_ |I,QXXɰ޴%4u>4$A>thȦnisz}O3yT^+}` 2,8]ZB,K PK0i6* > ɝryϖ .3@~+bӴNajCN]ȡ 5g͌K{'/ > XbG4j98S3GB<:e+hjLCj/n.F*AQ$C89nޕ"#{*~es(縋RqLV'VJif.U&*I .<6{ixPAV4v22RM_S 2ݤw->I` `/*ϣZ'5  I2:V=` G7P+)l;r9P4_D2 M3pQp[X'=#a'#6VJ{jZ҆WJw>}ϞU,!Dq\jdW8>d A,TOZ$x_GK~M̭@n[rJjZ}N vGeQS^iV̸tIg~5rr&)l-CQQf} 2~r@h7pa%hW[rW]T^l3 p2R/o*O |3:S̙8 f׼8P,FsY L-KRdް,ihۨ)mgLUq 5gu޹T?N"[,T< /|avZ0E4ej߶1!VE^?&O [<"*`b@A$%9Mf ?\f7';Ymr8 +O sO&CWeԞ?es5Ȕh.1SɉǔHHYw=D j̐6RޘSIX摈Q1l9wpcp]?Tz1=Ɲ0_ b s=5m W;(e$[Zn,rF7^lu}NA$MVF$[?B3Em핇qYLmCbVVx/$5@J _ֽ/WlA)lUTJ|g7_  E@_PԵ{*u>*k# >)NT0wfXzP˜_I&R]vJ=ƌRdLX]c i}`૳hUidU]\G O1k|6iݱ[(}iErd"d,S3eU'0Jl8%7DS6-_tSKo KGC$6{>cu:|/l{,_c>-lFOC'iYbA`@OD@iXiax VYrO42 Sώ~TW7/!6|X-8_@ME=A}&3 o׹ ihDV?4fh|ȕ3s? O%bA Ծ4ÍzV-@pA'%]#'O>ʘF]035Od1N>?cz6  EucJ쿊Hfc؎~UהXBA qQp o;vیȣL!fJ?T҈NCI2 -O'E.>'mNܝ8&}DBG}^=5wԘdSIc: xiSb]BV<`Áڢ4Mo;s)Ah~ɚ}pIgn1\k5 Vڵܚ0:6{rw6H0*#/SYjy#zj,H= DVL#5ܶv8L^dŁ-5MMhPx8`n@i˕ךdI"UO:M,*s-V&5h ;evKNwkO?D9o1QguBI9c)N>2{Eg<`0K>#FS9Q'@En| 5?SF;QҨbbgwrdwnRxiRѐ =ʧàMڶGsIj349/@NOqp0ӘB^/COoZLW:%؍Z+(((Iee'} q<iU - |K|2CVP(gPAP;cxS׏2^{%cU7gJozK/&.͇lyRuQ.zB>u\)52Q7"*l=`zMliO9hRB)\z~8h;DfdP n N(BѸ^Ћ˲rqձNS9RN፧QQe=j5A 0g8gIл{du15-X MݩiuHB%eG>԰ N0Tbyd91ED"O{'}iFSyJo+p^K}>t$kg?#x 'y c='j[.&zmgkD\Q!ygɩG+1d%@]D&Dc͆;ctvδҧR$hMp;W2[OpW1LKWpHQ>G1y]jZ u6k?es[lvjS,,"3dwӋw(,`0H!|u{8 7d/p~"&&0J!Jݦ 2]6u6 x4Tgh h6@F ҲOia#?|WH#plrAdLYjjF-`ekXmq[q/ K}~g y$lk_IΏp&(I;lUD3}=4w{6Xa;H/Xs@P(%cRd:o{ 7 :VGߌڛ8Z 7l05Swz0,VKt@ OB̯&HlOk{x*uuu5}Ҩљ*D#HO gOГ*@:zEqDYO :yש yLf[`e6@(W4J4iEF=~37c:.V"Sݼ J͗dJA}s򡲰XdSp8.DU;[7KrE ^&&_ekxZb컛 0--;EJZ~0E}'Zc[Ώ2hD 㶦ܒPNrt`XEɂ|JZоǖ|)~T-Qw{QA,Hڝ"BYH\g mFq >+pk<֮s#,qQ\\JN|ԟMWlP?7ɁrK1s.6@͋Fl{ͯks,;q톫qsXY.D܀i_SOn7ߞ-G֛JRLa#S%t;/r)0 ցF_R.ײk(n'!vXcX L x̮L4sHR5Ck=DU}^pUGS&9ŀ֤$Gxx+G7[v ly =W;jDU +ODq/S40j)= ?!ykH:^dfnsA2I! !'8b;b@ŮI lj˻9< nL=Tlmn# ih9LRk i9΁:l焺cdH2Re n龉G|n eKd4ߡUmt^͊ ISw KGxq|!0, T:r% Ibhz?A#\Z6=4|=ɗRK{@,@^9*B8;#@vb#JWl}\"dUGt;۾ro>ط`A Ct(Q_lc/ S ]T3^P1J]Y+6 ;Sʗ3XXm|ƲQ [u *F2AQo1N #㱴6KajkWfAbXm#+0=}E;ծTk:[{ꄥ dT<|m,fpS )/e͵'XhR4~!`8]ԴpX4ǡ_)&}"t` k4m7 &ډ˂KIP aiƿSJQg-r.(pztk-މ>`+5 @h䭳p@̎Ό(ñjN*FfjP[Xl(r^?Y-#fdF#:QIb %n 0o;u&vSD L4;5"XOLfTגޚ =)a l͏`ߺ/ 1#@DKJy]-ЯG*&G\6 Gfe.D5+{u# NA!Ϊ8rCiqmKKM%\B˜\h5K d N*"К>$}뇈(ߗIW`t뻵#զA媏h6XhP0Cdβ;3J Ojd(ٝC4j".vԶ^*[X< UMO:? qJv;e=-vP.o+p i>T.ȴ6r*;:9@6"! o֗" ?ӀWd 6'6:\K_N#f15-|f{̦OwЁ ~c H*{9>\M_Iz(z3p{.1!B{gTj8<` 5 %wSO"L|ɓҲ5c8$+>l„2Q[#SwJ4A\w:h!ď%ՎZ*&(D.ĥZn~_.=oj6j?F vB@+gաWcnCJ5Y1a"Vh25j9"W[5u>sɼNp)0,6[L60]޺Wi hh[kr0A0՝2_lR"COSpxV[WΙocGǡ bG`%×A(+8܉[]u;}A4/bIǘ$Zb ~ 2pNܺ(U%#LJ3Oѓ+G\3Rn;bYm'H*k|aYNڥȶ {`t<6rs` :_^ lR5)6caBS;h(?rJ{rN&5\jqSM74)Ijo շ_ԕ|[l;),qoJ)!WW/WcQ+٠SBxSv񑏟&J&48/3 l>`H~+_IF$_R_Ó@n| 3,d1c |LKvd)|ngkWP޲IN`) "7bomՙ+B.PLg8 X|/%BPmef2jtGU "ve+헷N`rxvx8@{0x؝tT}3m p !>ӇsIP]T%(ՔB_P/pU-mY6#y2Jkb5jGy_HnHxyMKGZŧ&* @/.#;L؆o׼239ɜ#,P$%ipu֠(qK We*vy)w J˲Q706$O6 losDG ?o~2c,V9og` fǁ8)г^&_i:D͹n[`ߡtdDm_I* ԑK֣H[%@V@b==/"H 7=cQ`9ܑY|fE(O; G ۙ_H6kֈFkKt(,QRzڲs_pVyiJ. X=mc66*2q`" +گj|fF섹J0^]*5;^з%;oJ?TKYX_jlZL]gۑ#Hp|}_yeNpzK0Jdɧ'NWg?~w;}:,h&`%<5}jR5<'ka x)]aP(-jO`45;CF;v!wwliDCb6-7ـgy=w+IK5Yſ- 522s AYrx8Y[g>2@dSLA 6.Y_ƓP07*EI_@CL8nP$ޟ_J\s%nKf:K'4}]#W=}z03ӱ)#a92HD'5iceڇ\c]W0k91KN }ZFC^p eqXΈQCƶꈿ |眄i7$WJf=8诡KEޚ?A,-ͬdXM)'Ю2Fnc^gB7p2jSOu0BgoNdRwd< &|=mT,qy58V4ڸHr=}wE xm&7}J#IrQGﶇ^~4}1AӃOIpɀxGrz}L8BlI6e9&4^BBR8?PwoiU2}ϠtN@^NX9wDA}Pn[ؐ RI<3Gy0p( ! q:CRm/j8T܆Va1sioɓee!)?D5k8Qh1Q\88BI9L61՜UpNĂR_ *%<4ձyBu0|4eЎ*Ŕ im1]  clW3ź1>I6<֏@@o~ċ SN/cIPXGVGcMta&i+zQtM0(VVߘӎ';dAE]6"VM|l.ͅi_1=,W{}Mzu.a"$#ϥs!|AsKj? To?/`õN(T[SkZ>s7 wq.U}S+u7~C'$"CNe9CM.Lu'VLhI^f C{Qm KuH\Υ Oܼ}bVGr㱲/̋ Tےq b!C16?Byn'7MxDQ2E{l[VF$Qu?wP[:n.OVmiN ~hgw=X*6J)JоV!OcafQ5RpP ιఊy&_ E%)Hl\>;f')bE2\YzNھ" tD}pW-XYT UrAYU}%7X VŠEB:\s÷ll߶-l k[l3#CL# mȻҾaP,GF؇B2𾬤v^M3k1(u*RmS7]VvL6P"4[뱶B} Q9 ,| -kv|?=KMe5ffbymׯGP+6COꡌ)˯T>oL"ģ5fCw66J= Drbߓ QS`ll~y-\\qdzn )$vWDJ02Q);k:EFd#bW3y{XDF8QJ,T^Z߰"C7þ:N~ɝ:3J%̶ʪΖtv5Cӈ#UV1nJzЌep5"͸X $nqB+ )y')d%J$N)WJՍ]|Hiby72U0oqjX\ϒTsS| eɇ9vK9$Y & X.b㖾c3*P-@C/6Ck5Ǹ,P`3 T=b32'-ar1KdyhN !9 f''Kْۢe8ט͌95gd禣aДG_RT^5j;Bwc{S0_g_Ɂ8;wA &6/;d`Cŗ6BO#Իd\Ja6>i?D1>"CЫԲLm'ZuYCA1Ĉ.=3J`x*dCr@{` 2}xD-LXxo;^ᕕ̲ҁ52)N9*ky=g,ī;D{4O 1Q)z'^RN!d4L:|G?Vےkߔ<y3@+j_ܣUTi/Pz L 6k,Fd0 {;Y8PDiLy~lGs#Rc^Ё4_濌b t.,6ٽyF|23_T0wExwf\'5 v6EfVHֲy)z{/v|{Ssc1b5Ц) ;MnQ6}DWgY' 6 qӍD=M0v.[5T8.uIR i}}D|[>JR.phvf'y] J$GCZ*wqvRSDV!@z(ۓ'ZVC.t,>Ӵw'`N b!M8 $[$}p>"#P Zx 5GˇIf٧UVi[yz5mXSH\5  fօ{em0W@:x%a4[s y &;DK43qO}е[TЊdce lb~mV]2Cٓ L8zǭ&Uc?n,ۧXi-1Jn{aܛJR5l'}zdR%^0QDtV"Ƭ#hB1i]}<}.3Y=$:nZoPtO7@LPLKf7q+6I° EFrkCE'v_›DxQ!!sW>% .{K3N+w­x\ZaI,I94i\W)KĖ"=ߌ,ٖfK|Kƶnϛ5壡 |DS>Ci8FY'3CRkT¢\,ӇgrbR3*!HXF;Go* rgO]\ȵ`>"ԶNq"1($CEfv?0I8&C _E5O2{èV|˩ [[Gʋ'& *(Z5%cMu)W FK :±ޚa$zn衬bN-9ɏjXBx;?$YFI )mMa;C+_z%*K X @7`gZui5ynb=K t~kBeNݙhLd33"/!`ܩٻ@}Ԕ _ '{ɥ_P D8YwR#G_%bm}G֢4-٤o[l,䡽 &$X6Kzc1n*,[тgb EFr$Y_J3%woX;V,,uT`f#.6f!ӂu5ܵre{g]߿Q13eYJ>a}/"ϔ81s, ejs\_]LoZ&]i+yB,b Y NKĻXkQIc X(kp32 L1T z!.;+#rbr٥B.Kؚ Mƞi<h)1]RRVZPۊT<{-Goq[zܬQ3 Giy10ULE)6یڊ.)CIpJ'4εࣁ_9gW-ihէ*LZ*6VpSxM*dɰ&M]]nĢr*‹U_\A C> :uZ kamKAJ.@jC[`:=[1gfu>m0,t37~BFX< ڽa[JrP>ȩ ?2j?$'vuAj?4=R~rCô[?]&<2TUú{jUxCb6ց`ލ4&p-C3O3ޕ៾.4KSskL0~C c) SRj,|Ar[INK>ҝ(% `ڑU`&Ѡ[42|Xu:&D& w6:7ua 1?1MD`ޣj.Aԍ/2Y`:Ɖ$Ѵ *ډ6! x_cnz@[>^D5pHI ,/S]`B*lZAȲږoeldXJPw.b 63u<,d.9#! %EGiB"Qε]/K|Q@XQJ y-<4Z\tSKk-l_swvLA!p8"dmaا{˫;Й3uF?w w]1kN1K-ٍ:QlQW5{ˠgM|~5(赉QVX)e<5}Ym-X4BP;o1, 6;M hcK9ŝvf%V:UN dB.=fC] 0r Jⓘ1/їR)xJA<ܯ\5(m3y<ؽh@? +{ Xmbb`Cl1 CaqwGXr P+7Xp;X4G'w<JsN0w 6onBkvdɟ7kno%2m0͍C(8P R@W?% U984}$/)gbX0C% C^k_$7]$xaڙ#}=3ʴ-*leߠ,#=K^XX k-; 6_=0ʼnp_ l~Q/$$0.^i8PU b2B vر A }%HylxT98ӓ!tXd='n2 DΈ׍8g4b?%Mpy2q.S+NˎNzq Z U`%>&T CU-XZQF$mfO99Ȧm&g,G02];NBf Y9=1!UZÜL|zހJR›P?uepqwym_x/5.7A֡^cu"^W^} Mذ[NSbjr19~JL_N,<#*guy_9ByI,$x@x6wmkHT/^φ[$czL,2zRS˘9O3uF<௙~4ݐEo2drV/DTuiXNe4L_K4A{4/tYI>tVgh,.d^ȏ)Dk.skHLǖ1MNGGX3s/4H wű-%/OaA4@^э .t  k!psM|0+]h:3fKO'A|j1}W`?.3#6Xj8>0(Hځ<7%2 / ڽ[ӕV0]ʂ$vU R l7{]TUpZ8*.mٱwX^2f̨4` u)Udձ}X01l`{Cm~>MH}j+q!T\*exc>D !( :x'oHj*pzc}Ͷ|GKt!?˹yvf<;  Y(_Jڶ_ *H*JS,X/QbQ-H::F[P[B(M* )*lqφas0G6 +0̱=CJ $Z Peڿ&n2/nX+ T /n)yT~לxT0kw̏ WI >(>ӭxo\OBc}L[xM,bˆ/+I BoɇÈ߄NL<~vVa=de\*_6Ht 0dyʢ)[ ?L{,L|C:|So[_UO<e"j7D&E$i|Lj)D ̒z'w *A>\&\b١ >K=E`WR e;9Sy_#FAgH)Y_5;vmWO.i j5҆Prh*!+20} n 9΁7߄ȷƆdxL[y<װ@n ,ķ߽DRA73kW;:&+>iba ż_L^S6 Q ʲْAb;/sg9 z=I lpiqЊc)f϶`AMjtȭtC&odW1r,UvF"Jᩣe2DAU;=Rf+vR( ^7ű2H9:W