SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 $$$%<4t ]/]HOL-Analysis:threads=6elapsed=317.274cpu=1648.676gc=91.084factor=5.207zXZִF! ˉQX]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jit35ꊾ)q-8~[߃C&QdE%Ęޖ}ܶ45b̺*yB!tѻNzt\>k u.H%U6A0٥)Q'W~)''kkT.)i1c E]O0Ӝ f5FOnu /O{QgKW%XP1X 0gk4 {km/ׅX+_6#T0IPyCN0ǯ;Ȗ *.S |.w*+B*uP^_^RgmŜa0ŨٌeP| ijuN crŚ1Wϯ9&㖁0 $I ~_!ds,`f#s5!zGLsk IuCmbޕ@!ВǷ 0s*C:, *,VYUjߒi""G$dk$r)aOু6t%JW(B NhW>=g%#md?{G*=jawh߽>JK ӎr ݮ8XkFCo8>Uݽ`jPLvט9DzVc++Inٯ4A^S1\ om/Jճ±^lc:*tA1D\]9tꅅOWrKaAhBIF~7b-Tt( b .ld)']vx W!T,I,|RDv3<O~+lŋ!ӆ,1Ҝnf%&vcE3h)Y"@ʥ˗c s] dQ \?pERm 5JNf;!rlgF 8Uiׅd|"@?'W :LQ ߈Yj|):/71Z[+_Ap$oG0Ok:qk{D0o}0u}]D,;u.@L"ypH򷷂@0u]{WZHp( ɱATD* -'7zi=ͩm %5g" *Q@* 5CvAш{ߜ*E (й7jDX懖쏴fB$C<}vDqބBhʓk. H$:x`cœLCֿ{8c3fG_PQ UV'$zi,M?eaj\*zg@>iKmU- vlJ<%24NGi\cSK :;mnuƍ9klo}6Αc6xS˜C\ C^DYjGuIތ58 לjA?v5" }6>)vm4ґd*e/|Sq7Ҳ@6 pI[U̿E`khA"~{`6}5vKN  ´$IVH7ۄg(ȫnw4pG\dU-X8JdJ󯪮PSgM]MnytKmP*V we;J{)Yb{2GBี#}BZ$a jŕ;¢eL?,4@R8]z1W^HXVDv)ʦXFl03 eу nj*xaZa@˕x (^WzBitcHc[CMw='="daJ+&) -a_=rq`1!X(X$0 UUpD%;Ԇsg/[&r.HM2HR$Z]T RW ߛ+PHfw+X+JBP%,]P {)pOjĮ&T}ϵm;x$لZѐIgBsޫv԰o) Ύb-kK :Y=|yC+ pE u])I&%)(6rEjo9-33,RTɠ"P3|dщ^s'XDt'NXCK\?gv3jv.; ?cuAn,M;qٌtB2.I M>_sp6^-EMG=LEfcU^Kʂ%:[p%-K)4oD+: ds gyU{nv5킓zJS9m@3$yA)˟DxxuPb!a}ϫ j UjLQ^AWVifyB e!q@7݃MmXUvAF*Kh/hdWW1F$9~z%KӈcQsZvTX2 @*[pJɽ֩-mPf)(G^; ,9 W0 .As ̓f1\Q`bj'>vNi?8{xmY! _\:6SꍷX29+ABOOFfgO)uWZCr[rQgKߥ|tu2;:(@Y.;,hG.b&!P[FJB8oq>MFM˧ոs ^^`K}R<?q;@y eZD.=b~MdDP=pŪ EЁ&Lbugܪ+kc`f~Iq%>u^;K'drX; q]ޅz7DZܣk7(-ȫdOmHT%!h%FPC 7I:k\)x_p&16?bzF_ 7ڻ0CBj=) `[ E ݏ&\q'5Lcl(I= ~}ǎ)Ɔ(*P8~Ҷ=,ĝk.r%i*9Kh;>*!)aZQXbl_b/]n\ 1T$FR2 Z'3x8HLi'Kр\6,Ӆ x\ZW/C $3QQKOX $hG@厯 07fIdžv"շ9$@*OzW*b+Uy& p|YZz91l թ~5SvPLVYp]f"7n͐J^hfͥSIYv>AJlyPkUyHϓp+&oeھtdɥS7s.\meKzuÐQ}xaund3ֆ"SQE*D>v(GiHqZ ^urvM l[#,j}L#8zJr|4aSN_kϾY:i rMؓs!]bVB57(3ғH\!n]m!e1!R@dhA@x:HbTӏ7'1Qv4z)e=h*y"au^YD5x Q֛R̺45ݴ~]p*04ء3Z!Ҡ@ X)CFF%x^6#bh5k@z:EՐk\xx9ҥ,BB-ilŒD!@$B~jL7`AuXyrV:CMw>PW%A>N(syyc3<'ҳS,|AQ{۾wF0dOT<*=y*kFw+Wx0hJ=o?NqoDž$]K`abjFKIP!JSkcUi1?zYL+t1r:yh^ .e2 Ϩ =gl H?@p١#pS^$,퉩jUz̭dyuA@ րF ~C uZPP<$pX 臢Qa2kq&!U,+òZG߯/"}ݝ^镸7?j*Qb:N#}gSgx `+C6/ c~| GaFXtMxXX؛E޽Oz۞Qh@d<|bkG80p΋a6: WD5Fʘ =}wm}eH@QR"`KibM 3R`.S"K#2P-)5BOfgvXjO$.7"^S)u)# f2VpEsIj`9٨!=C?,u{^vF&_o/jWy^7U)k*\!}p_0^^u]X,Cllǫy5Pjf*ޑ3B1\-K~f>κϲ(R=6$t*N$,D55wWTes6nH#WHH {kw8*aһEĹ*MnZLfI/7KiGM? ԭ";t OjGA |k:`HW+a/rzq3JU_[U? dTn H-A ad{ p\xJ;;qf9u:MN#Xn@:/IcP? e٧5\aAzA*gU'SYRg޸ARV;vf?W|LJrzQP|CEַڱx慭`ƅH )`>ٲ2J|ܔ,2f/2-p!orXbMFApr  XBsI KEԜaOvgƟL3m%FgFJP.8r#'Սv=WgF^24b`1.YC_Ȃ=e6[dBn{ 3 ՐBK+XCՍ uv;y1 6hã/Һk!As7.ORkaŇ%tA{Pb a @|v0 )b/V'ViFW(fKgsen67UOq]K2 '\@aDEdXapZ 2@R3+&3[W>lc"z^m2љ"k+=BZy , A Qb$7'LS҇aO] aeà.rPo6,Tn?JwWR@2STGwL/Hy9܉Sh<׳YEF A}(g^Wj3ކH cwzfU0Y>M9l Wz3 "2ʮ~C* 5SB>j!R!.hY432)8cii$Zј)$L$^FO_?eJR#>#q7!=˗23y0Fqna p3,~i-g+<+&|ĻRg1ǔ[@ Sp kJ*0jcd $m-\!:ճ) &8.uPA tA "FAK,!}00J!dsG>vnvaqxߧP(oYeG2/'=QeD>6] Vi?[jݪ?Ļ_Ok[{t;vdT! 6"[ º\.;xT& ƘM-3^J+/?i -bqƼu%@Y314?!9{u)NZ ?J3 NJϒ"'+8ϔu_ \8)f}=@*'3CHdw}ΰG~C6U T1y[YAc 0njZ6.~ LD.Soc8ǟ>UrVwMu!2䎫X({uY:-h1k]*{yJE [6 dáOn sC΁ݨT>b+~D՘J!-rE=t;3v_,cĉ巖8lA+ 9vsWMbn)'K+Z*ߴ & 鞠fs:CK$3"}1zvSAcYeQF@˯EP`CSFzj3hAotrR󷊡ȫ#DvJϾ.>X-;rƙ2XۚVKg[qO3Jz]pU1#g;n#6X`Ѷw`| ъ68A=n*8|>۞5&OUZqYk@Pk+Bb0MDy$<= ː"Nnf!rזb_iBiNdFXH@ͱ)bd}Oz#{IAۣ,Q6qc~ܔszHTc_+mb@7.$Xz\{5Ws&S\} Hxt@ÿ}C\ [\?cd#E=rS]$_ªxftM%WtkI'g fѭZ4 7搷 DmDsMEMg`[0_Ev ض(R@ÕcSCN]C9URմObW3CR7w4yS/-5Q@,"v:ƈ;\SoG:ɯd/%l.(*;IZEZ~ [h\~m:KNj15-PI 3&Y8Ȣ&*- OϺGo6m,4*VEiܹěaK#;[Ά/D]F޵~P vBkB'l?"`\6sk202F3#w3$60>/Q¾&Ki-ϑrj Tr@h{,7fq.@5I&u5C͛vs j0";7|юp+r/h2RN0l(Y}5]y׊spIu'vj.u.= .Jf)h!u8N!x"f@ɖmIDZ%uM .''gd%6Wr%йf}j  !Fl_mNWUl} \ǀFd-1C/sBJW7's- )Kp@u{6tzߴ;c)_M;E9‚ſ۴(p>0SAD% ^!ɭއMن\*_QՀ>dHo*LV27,Z#OVqk hk{q&(qag#nlZDN8;fDWk-%1Bg1[. ~)2{O!LE+ٸ3`>$t+4))7DH( Ӕ3~8PIqYPoFJ>^sPճ7e0pϫu4iRƓOuQr@^zDxB9_-[Yɗq{t_ $?+:LdWӖs#XbqaZ8P>wPUR>|HI;O+?z{Ԅz(5lVlt,}Jآ<8J=Ra2ݜD50Sb57qe% 'qzgJڜO-:y!P]!.Ed^5kB B|LxC%@H'D K^r# 򺿩@չiHrtLe,V'Z eeUզHER[J%8%iks& rB)9J`V*b@qQzBiӇ!m/aq6n&aaIJ8ErqSV?j.qR@Nj>_O]#%x\VAQ erV_骰\!]`ĈN /H dfJkFelvO&IoS,7@S^({)` K>bdƜa8`wbFS# W2f;sHwD“ghM(rT%b%cֳ)/b,d*|~h[f.`?Od MxGJIi?WW\Wjא7EFyq('}K燷&b1cX8|( @yf4K~/(4^%]KF_|VՊ݅ E=2w1'h)!j_u|'t+V);{߫ aC@m ja=rLN~eF6Ca:,@Kfm@6G~i{uyLsn5g]/Y21]ў:4RY4}c6ueϱbUJ̿ĝ|5z ݍ5M3jlnAOc!JsPGq8!C7{qQ!k0J}@ov׷I^c-<laW3ʋ7 w*4)&x[ 7b?@_~ȟ줨 ` u#;Vbfk 83wkjW_ *mbCr^0d䕱Vl|tBP T^'>XxG2'Ίp[.HBC~ }NQ۩ɿtI_J4#<=kl#H RW?;4m4B3 ls&X=ᗮFNb@iFSn(K'<9C8M'5k7 ?5^iX j5eB1%O{_]ZӇ"OH ;>%=U--i4)T!-wѶ ̲\(Zrq={[ͮ}i1c U/YnT{4 ꋧ:‰',+Ԏb?{\7HS2)wNWwƃpEȡGl ^,Ś2܉ڑӅg47#]VbH: L!~'u 2L|9ćz窳[UDgZp_ %AKnF)EiZM&^ ٦:!v-b)Un5NJ4ցi3y͹XO|B;݆޾=lF-44&xۦw-BT) 砛xUJ՟Y=H}`[L_Ka;kiVZϚ7ɍ_V4s`NH05' ؠ% qvHp7Sc 5 Ql}[ F02 oO?EU&al a' ]3' 8D jɼ]D8p_=S{i) wCT՗4yl;12:q\ROunMg]NxòVy2HTNEǷ1qn: <Lrķv ) YW>aChA#C4=8bJ)uœ$ A>9katʬȕ|$c|\x 1%=OP[ w̓)(d9С{v ǁEE{^O[]!@Q߻NN#4x z%-ٹU RO v Kj6`CZafYs}@OG*Qa PUi%jnyK3L E ,c+* U:E߮O@$NJDغ*Wu;?fŗAH15>,@{NJ@ Z n12\s: ]uB승;jajezPfF_s`Qy,S籒{6v" *5&&S4 QuRQ#!>-τBX!.)nj1:Eݡ[\њ_A gs5+i"h̑h#-G`vHpStm|zvZnDO_k\!@PSKө[fA97y@ %F -ą7LϏKF VW63jǐ.0Udͅ H2Ww~^3A՛ :clVDYITź,. x6EaEvV V2,V?Ć q~]7 h<҆jnd) 6W Iv]٣%4ϫ*13Iԁp^$w,چ]{O*vSC@Z?+Ǐ  9<~Yb7T.rݾ=8Ttk$Rr>!{E;T*?!> 7.=SxOpZ|a܈e+?啬v s2[0 70f尶]EM0oz8ոF{~7(xpX禌BZig)N:%z{]sCoL q7t/NMÏBEIyh(ؗMfvR$Y41ac]UF&v'239^QMtfUj[gLqP\.i0N+3Fp-o\i r(oZե0wqs@HwXIN=_p]RRH ,MX ei~H:]gvW\Ŭ1Y)qupT5v=/SIY+ȱmƩ W"yN}*5$3x-t'bfi`_:K :pw3֢ SRO?;Kb\NͰls5*.d8h(ƚy}RqX٠ ^rqC-?! |?%dٖLMF$3#3S$).WoZݫq{qBk%]P*@y)qI"1JV:B#YZ(h݆y 8avpl6CF8sr 8aN71 `]-cN>FM>LAnQˡ xiι3X.s |TfJ94%۰xPT[DfzY ѓHnCXHL 1~ME4O: 09<-Vٟﺰ S&O لm8ͷ|f2Gj D6)meK<J"D@a]1)ҧXVdVdyön&~ aD:IJ[e#&H~ ʟxlmPlm <2e7EJhV8߃#LݤUL'B8sX %gtj87;=2*OIz1K%]$Tqށ-jGGߌ)W')YCR *b\s>ΚDD8ѽBC!BuLta?1/*E 嶻Dou=XxGya%Hl ";2\r7;H6]ϖ$,jchG cJޙCEʗс&V_e4ϖf/nݛ6I<\m=n.sKpb<,z CM}1nZݿSX?3fH&vzSWޮ5GĆ"Sq1|vo"oPAjKgV~R-܅uFFCE]BX[Qz pU-E#n%b%k8w!&Qͣi6< 4p i/6fr@(Ȅ`ᙃ=.>i=P{* .3j)2zngFڿ(NJ4( !n͜h&GemoCH$F7xLEf/ޝhz1D;qMO4@`t'+}mX`QBtLW&ڬ^=m1؎;%WĚ!z,F` dυIУk8fd?I-kZ#,R.ozXD_<F+2v+Ûs 'ȔYI4X)Eخ[d|DC jK/Ḭi6*^f85Ѐ¸}<{$Bso l9E]#Y˃r5bC?㒸H6LgBE^F-OeX`A`>WӐw~Leu[KLBuP {u]C9|Bқ< # 2߲i Y#yUݙ{xao43\ D?i;],1arebfD5sf?iLb.%Eq-x:n6B\"棧 mNn\IYXC~` <(>WKкSw5qfJɷ)=lhQV'Cj ̲ZHu8rןh ҂S A:D y/RMfd،(ğeq%$+.&%ƻDya' *͚FS y76w="VY珒6BijsRan0r։t1vjH':E6R(6"NZ,e7q*@7ڔ$}޶!ϨZֲXmZ䢋ɛIJt~؀/Z3 gyZE ARz'0R&L'I+'*5RpA $<Eiw+Oy_Q͗P,h((!(ȑ'薴,J p &x9{-v>>>=mxv?( HӘ*ܔCR˅#s,®>^+G:hM0УBPIИjr"7NI;n(\25P]gN/iUQjt(o.r楌T Q/ w WgUs8ͳcIP&sy&/3j-f dbԮH.?}E=v?pV%1Wf.j"Pb)q0[Yp+J i[:}ĞLRku/&YG4SQ2A:cLB:|T-[OD7 \7!ޝ>m-x^|m>Nae Afn\r^ݝ0)%wᕘ=0>tU S8f+!Ct 9'@K;Z$"ߖxU8,)nSdJ.ˠrCvfLzΪ ܬ#WeO:|wȊn3havR_֎H ,-)D5BJnX/z8*Y٤E:8`ӚG!mu萜)ȋpܢѬ4-]wPLĻ!P!J-+*6'c,{]`!6vs}'m dOk*ꜗvV$V`Ej ȸx}D-F~Bj̟RAҰq};7&e#4:ޭ i~dKDD%Bf̴X:6bG 2Wh(bi 6c8<(ZqC%e kG⾙+Ts qLР0~=0SOd*'R۩1Y; KL\a?Ŧ{j>6Vzvd*wjI44t,b=g{; @`0~z8(84|_G&f )NJ;RR NDW*Ěl"\Q #c 1ӂb+}tO/3߬R̆`j[(a^Qv}`{. +(Ɓ42PLh93w\/W)!?햋Cp9!bLBԄM@Ƨ8:,O8o*GpD5ѫ؃H[.7=QiTq^ldOك rx+KO`!PRv-\l)JdC2nZK$?j`1IW]{!"gﹾbYM,wj}fy,fyAhu.f !.LYQ$ITyǻJߧkk\>͇OE d! "/nϢh&6'fmTj$Vn]ħxaqd] N3.ruޥ"y_P?ŕ"B)BV7Qm&srVX$$7)ffFeJR?XrjU dѪ/1߼B(hl/ͨ3KʲU*V5>W;_goHvDA ʊýEL+^WFoS+ {UmWU9<>/^S'| "Wדѩ/1nAaJbq6@E0Z=Fz2M L.q l=Bi=[gYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4=cYd#"NX,`0?cV2 j|6&s,مW#wAs/*yUY&(ny^hE"2g+nJl>o;Aw^weؒ׻\,Vl*weY6plļXQ&Q!7|%\vbJ4yIUKVO\S~M,U ͢ *i z?]b*(h6zpz۩b8qHc3 YJBI49[R#ſGÆ A̛@­;efut NRVZ B{ax+Nl)cԚ \={Tl*?MW̍3I?*Zqȧ)T\I*,n!xZ(2WH-ІVþFKp}%zrIX@;WA&ط=w-.πFzUK bْ~'%zw]啈-?d8ahϞ!.>xIknFoo|Ȁ@? 퍰ܫrM٤"t `k&1#PS 7I' 'ۢt#oK ql ,H*=eQ!Ҏ{-Ӎ:,|4'{D*f椂$ΒՎ\&.sxQو#iïh ln8xN}?~ >' qe[;l|)Od) ܳ,E[rdrʏc6C36&oփk۳a| t]Y?b$  EZ-goEz>)d9-mIdyA8 x{Clv!2´>םg,k6$ vV>;j.Q `fF~xEX^LkvkB *Go?}ᬏGMeEw*MW`Mn;2Sb/-_J$ydԘ4̭Q2 XzGL n2*OKYC:4L%x2JY ^ m(k/cYtnJz?績GD ^Խ9 S3<""r=d3Y,v*Q>.(d5'1,;}hXЍ\KnkV."I^P &s0T)>E6KlQ*|eW1|Hl0Nÿ.m9i+9'!6(Ҙs%%X OD^p[ʩGj릻.0tJHBE W ΔydVO:2L:KQ p5X)o/[[$o v:L*ĞqX%_@ ,и#Is<\ LBgPl?蹀'B7lPk8gYZ7zXZִF! ems]ŗXi%J{^aAw1]]x/XvKkҮhּY'r%܌΅سFi͜%ZojژRxhj[ ]q̴^c%y)`8*8.ɜdj_ Ult[wVvK R"pq)8Plkǘd+5dQ&sUZ+q4Mwq!9rʽWq%YK; 9bѳ[47bdh&qRݯ(+z . Z=մ̦k1%lne> hj2Q0)psT= C$MD,{Eu yo;=X/3/إih6hNu1HKw]`1gM 9g¤xf"G+T6RjrA?tG7TV|<|w&RO7d&<3'?p{SsPn>AޣwRy tu01S6bUOKQbPQ13ŁeWBsucE2K̒n6&oP÷,l= -vĔN ۃM=PB(̱&Y"UF"Ov1F"n_хB Uђt6nk2Es"=%xի۸u!J|Oduu>5ˌd4NLDsZ v&{I<ñ۶*gg=gc>v+ i/CaQ7g^APi(tIόaYSЍ_' uWiV4IÛ#.9:N{s5VޅʤHu j-:$ ǜEtZ_Ih,r[#qYv8 Mꦲqm8Ah60sk:TB_qx筣>uVPzR>dL~k"ýGU@s0{\~[;Qd&z/DE ;"f0i<ֶ3tPHXV0dVeDcZq%`DKukPŌl4?@*#ؗL(-Φ;z(DA!e6`jj̙[|Juܱ 1Zo|_oJeͭ|2eM-L۝ ַZ gJ>F=XbF +Qr4xujy."F5LO9}+ 'Aq Gg 䴧äL^T ~?k~EXnlw&OoM5t <訢qxfjJ} Iq w@FSI ~tA)oՔԺN <S]î@cA1u/}C hQjTB:h+ ?,ꋖ'=o{#s֨|հs^>6ݔ;߮Cޟ(t:K*HpcRr~03^/|^9e:lFXM!ҼW(gExA6l#S(Yc/6!vc;;p66qPOdLbdCJ8!1,oYdW\i/_Aɕj=d}MGhMn|+!rn'7Du&KǢWUTjJa36 '`4lJT3*Z9c6XkH t Hg=MGD.n iG0 D2 od3guljglY lbe\D[Jy̴72`p9k33y-Rdtr7G0 DL7f rT,Q`vxIymѥ<dff'N~ryFO,1!,ȇB\Fޒ *S|J.k{ f,H&[%X¥iaxA vi༤m6 `/ 2P $= 4&}EhMVMK WDA )!kѐIJⰗ&e]@TVni,+KHY"޶rЅId,`iN%C AMi$ v? Wϐ22ļ0 8:/v'bDoڬ`^&_2Oays{$ZL عabUeHsƐEPFwy5Z+/T!5;TEL)QDH} ($SHV )D7C5o(dC <|VN P8{y_A8Iv\titXtoboE6awhWǔQ ʩWכh Qmuf8MץEU;O'%9,_i8A:' ω|YTXH ?sf?t^}ln 5y>]몺p9گ|ЎYWГj.\Yؽ'HFM ^W%f}2G'Bs[q-4e/'he{v_tdےώ!UH:.8}=Ò'/FR`Uh8l̎}-ot S"Kr;Vc ^(;:t*LQobaDg߉s]qK4phBg!wA›O[)4^mm (oH7#v9Zpy6^?8* 0ًG8cb$">ʂy|s@N*$߉1FZ&kW#yq.OZ@i'6= ь껂(YaOI52֍/!n/uBnÄWdr9K-՗&->t%V^OB5NJ]Z|I2G,w%ؙ蛹}yd۝іDU7B#wPbjPX3s˜COC׋rj>*O?>#x'?KbodHLf(հP3U`-b u4Kdr8;𶵎L[hQdk{_*/kB˼*" CptDc޺H ~]J.ӏ:yE~m( >OvÏт/tc)2+^TYF2wV-+'/r0o2-.Η&I^+(jÔ/@=tmD3۽=$:a4N5L[hv': G0O9 cn¸ w`0p)w1#c:gU(-a´:F>s>Th_Yc?JiO x@鮄:w0.LG_i8.ÌFLAi^&/"ï Oܙj< #nnJmtU)jV2 \gv/\om5W?hK7W"5\5^.{C& cSGτoZ^%9ZYZL͸eQfzHuP7M"@_$|̠ h,5d{:1JڰR>14QjY N&4$`_! a/U܍|j:H4'.t(>w p|NjG>ؘyz͟Aj~!cURv᤭#~jrB=|o,.ō'澗 ӑxۋtⱃ4%TT6}#)+vZg9jU Pi m!ÓI|)m9 gGLVW_g?ݻҌ>eҼ w1 oP3mIoY2SFI~J|MeL;߶%7Yz8E㯔i+"#a |g𙸎u9ll]0LR[C'_>+T/q(jd唇[a{ʹKU)+[@&Mfܝ 'HOlGX,',>j[OaT@.Mk4d ~ed&ZT@Su(LyD@`QOaXC(BAdb14-0kç 2H@Q,n^fGtrL)6 _OL䰰NPɪj;'oPrJ+_ԱOi[]6U\ջD՘H'< 00B^bi@D3y.%G&U sjuWAf{R'֣C<aK ^OF&"k|^-d5MQկ4;u"NFJ~]mݲVUP^~ n^cz~Yr(ԠyY E`f>Z(ٰ\}Zё6?&8X YJ凜VnȠ׈fҴ*AuA뱡}rThyqك5dqZjHLjRQjGwi;$ ]nz-ᅚ݂G\X Hʋ7Ntj[lH ir!=:u}D!4ǺE9$x>s2+xͤvb Gh\p jFwW0=|󓶚\;%&C!9MOQl&N#?.=tO83˸!P[E ?jX[:%^Y>%?W5p?0ǯ5K)zMSz(K&ۋ6^dSL1sD,i<#s(8`Q}9EFUzI_w-*aNq|V #艚K0[ydkgbZ.1زu|ӟ\^c_7n]e̚txد죹-8wu!ĘbN9:۾e/cXuy}'bR&Aw.b;m} lkd&͛S+Ҟgs-!gFdoW[oPUiD:NY.q{~8Ƙ2HJ7i _MơNSi !>d2fQ}h_B@dgi]C XgxƱa|y'73G_I+sC1MIFTQNP5h9V #'mS:-N(oYˡ: 0YHl7~[TűteàpF{g G9Dҵfl fOp<7-({0'i1ƣ9uK4b >M bc &~ }C~ߥo-U_'yUyUNV>ʺj~BG=6^>:chM.E+m}R4{ZJg2$ I#}YDZ0,׶2xɯF˂;6<Җ8ʏQNSG`BH[kCp+mF4uu0 4[!kM8;AcE["n SNI3#I_KYa[J_i8C;e6Pa@C}L٪ysYMK>zQ{IJ!PkEdL xOO^ys ۵ ON`֊YKˢ[l*L\/+CҹQ63'gBL #OL9 y._^bb{y/vfK4_?TvRT6h-O炘ƌ;䫜7%&@2Gn~yDeۭw5g/-Soyǻ pYk? {%x!T Z4$͒ZP=…S׍,e!10\^ Ҽ֓VDxIU: /x~aU:kj#y%%e⮕XNftٶp Z+p\C)kAYə5Sm!pm"FS.(5̅> ayVRDxM֋6"5|}>R>U$px_\ł}u=Ki C\i"o/xIM+LhɳGظ{ؠkgu\贳vnp\c@Ӽ#Bo:a߻~ck\:j_P92NfO <%FT-*ҳbmW>7d0 W&\lZ> jUכּ5Sb5҂P1Wl]~C&GLIejr)&/uJp ƍx4b/cL+ 3eT8`.yAv*dvQ:/8p)1^>BJz@끌xAVfD;-I^C :Ny8D)-:F.$".upTnwm7nSܚz[Ad3FQFaXjGCe|?*9s]RhIO.GROf Jn!#~ʈ~wɞ0{XEnl[pu$$.^~ mߐɜCgvۍ[StX~FgL`$oik/$|#S$ ==;Տ t.?f+Ml'"v2bt^~!aohya" 2#aX9  [z ^WcaprZ?XE<+MaZcqI<qFa', q\nH.ibMB %te2 ~!h VpTGӆD !.om?8OH-|4p8L3-szOnEJ*-4*5~/ȓG]ԃg50^'a#=D=VZ?ܴ@Gl&(Q@U^t:HFx ɍq'x>ZOCWL{~oP,'}pƅKS޻~뱘ռUCD7vƏc> :}X ArcSZK`%ـCw);((d)SAFq`o/xA_aQBh3-TRY;@37DV%grT*}V}H36sSqCݹBF}0:@(NsQoLw/՗ ڂ0ibH%zU~%0$xRvyP.zԮZg*PzO#6uJ=k<3&4Zv*y$u3o tGsJ]i̥b N@&"G$Y8=?axv}Eps'!Gul|蛼ۥ#bk&nuJ"4R)@|=W4wRM(.N\6 eM/'a1W,imЫޏ9{Wa 1yz4`ߊ}>ù,o:qj9*0҈5}suph-ha+tPZgH"4LAK*Po epϬǏL"E엌tS/ªr#Ǒ}3:eK0Jhi߳>z5 dᙋs-&U@!>5^@ŘD{I5&<^[2Ĥ\Xe<$@zeE=kqKuz=RcRiPZvfsad6m8Z_}due.^;qBg{nI,i;cp ~|A7{/7$éMrw98i @?Jj3ں0MJZ0_xjExFT͔%*5clⳘ+b (rn]f*U34R9ALg`Y$I47 {@lժL ;db4O2|* >ZHCiorhDn;V<'=2:U<tW 99+N&70/tRi[_G8aeW0.Z4vVtǠ @\iα#ǛjJqzx j7inUhQdpȂA2@lf \|~l\` Ty@ȵ${uQt{85Ng9afw 1R}\S kQ{)" yQl)ɩ 0yujH+xuFX^b)eb8#g3DnoAlcsuU}W~1IncDaup՝[K0QpB=-yʘ=I@vcw{x2"`; g1XGيW1s ij*;$eQ~#6/S/yº9|WzsI \T.94X]?-&h߳qג-EFՅĂSC'i;J t"Ll*Ss \#N~:u00-6fpL(A$W]]#: Rl_Rq+.n<-vNY*2cI3,CѓȸIc (t7:/gj ̾})V!x`' +_z`Djo|k9B;]s EN-`@yiϳ=Q` ,S,^E3~݌y4 ڰyqB3{;$|UItZ ѣ3O߮ݩ@mwkNa ʸ?#kx>{o:CD[n"aȔPމ3kN5e3[)pnson$,i/隬?U.lJ|5"w3=62F]&WFqU9F(F:)p\vE *r}4K{X/57Z1I<~[⩼bqT+BYnb.^]𯺢./oF.\6&?`m_ 90Һk0q !8ȵކ|iQDgZwUhͭx/_[R 0ZIŧ5X}f.̠O1%۰6_(x*OBռ_}PF ]xH[3Ӑ]OUu]_޼rEO:frt, |$!ab><=)0O &ꎅ'9(wς>U'S9#o(`4=H0T%յz]:Z$T ۥV[A[ؒ"՗jd|E {]h&OXKpn xM,RA݈ I؍-B>:ߒg:\UC^A6a`>K a\2z0C2'"XVwWgPɾ"A*Ev#C`Wx3`ο9\NBab0K. J\/*Gvb5TDPt=^*Ґz?zVxx7.|ΣxȃkZ{[A\+W,Kc48À`]f%Qgd Bz~XMs#S su=p.U3% +1s[(?~gy?Hl ;G.̭c .U@ aK2",FXBF -"eft;A[\M,<1pjIlP,еSKQLkk$ 5SfnP YmF{e/.N+S.VqzdAƅ\0Dqx^=y|~g ReN0zƙ}53uaUj&0Jt~T3|"QKM<{-Yn6iaVZV2O~noMRKGr@:qǀ`۲(47R}L57-pm!+Mݘp,Fs6Վ'*)be"`sH Pns6pmŚ&T|p4ܾ_nwꁆں?XBZG {x>_X $ ɾ蚪SL>6pdix=M57v*څu:JYf].DpQKE+ GFttzlJ8S%d6 $W [4$P3`>cy_y7@6wR9 |k?[B7#D}fѬ(9"譟OtiX=Vu͡' f%tQ:~q +|Ͳt8>8'Ca9Z)U" N'`:aKrqInR":Tv-oN(0u{BDyLWn,xX}!#m^>| *0^()ZF5Bb923ތ506læ(co 2[hU++f[k+H:'qTl#W0q}* sG¸Œ:@$X #].dq gK]vmFi CnV&r1^(<GåsPn:NTB(!y庋[(*#'-G{;vG&V^5 FY7 [MYiA?H4h27~?Sv>vcQ՛$; G\.IvwUeXu9ݵc K}-40 챑8id<Nk1Wn8zVoESiy]ft? 2IeZtlת3uiAa8!t\XWOsqmR镹?m8RP35y&~H9~{4(H ks8+} 8.:ܠ~>SR) \sybψi_#5rQG0R>c3Y1àx…BM(Gqe*4;lRkۡIA!@`W&S!atg7K81R˞Y~@5xJ'&5?Y7zH u`[Frr_IO~SωlCyLm Cw('; {mTsg0Sk5tr5:xmGhο6FZ(ʛ YKPRFk@dC(.J"eӳ5F`KEkӼ!ΥB |6x -hq2DQi;~'3b~ Kwγu"zoČa Խ?$OX Lʸˢ/rw;Ą!ba1L\8[@*E=NֺDླOB39 d!Ssԧ/T2/:U:c JcqcӶ~쐚zXNvJ_*"2ӊŶڙ?afjt,0芎FMҷXɹP4 _9r#6w?]--$GAuze+(Kᨓ۟:~9"DkʫwQh^u%_%kt}ClrD&NCQ,K=v\2 rxak~Ln))GH =%u}j7-&j+<5m(KRoQ@_lP"J!8LNKCaA.YQxO$EZ1E퇻-H22b-QEfy$vb_"9gy7 c?ɉ͸%RWqL Yx>1e>ƺ+ԷAu1(rۢ G<B_Б\uڶXt -a L:( }^p4E:W:iy$7&Ay`זJѻ0yGbwo52 v B%ӟ瑨W#s2OCccqU )Muo'lv }~Ga>8^pnK3k=íUqrd[*g^fnAS5rn1\pqMYNk̙ѬWڏx[e"̵i9W܉F1Ca~Ea Fm  K$rb5^G*D-)^rIGVyh"<”+境Jmwd1B[@ $#"Z`pO_f@q͚Ss76 a>pH?2)hk(L-YVHAS%Dh`$"DdL\ޚ'軹ٺd"M J= :Y΍7I_e'-Y_xr%JӧK oi>OkaIOR>|&?Xw*$t3#df̅Po`;wX{L1o}H?656u%£Cwe],pQ?gznx,7ZHLzq#)5 Ռ8B D+ . E쨣pK\$|zl`hAG 7*y&?9ZX: B᚜.2{o sNd)ռ D%HK864;Ŧ5[Nv,0†rl򌏇e*J# >bz]_}S"[UuB:]| ,"`y+}3JueY{!d}.H٩f*xȊ=5V0x [̈"Cse5Bܹ tg`H.Jxhuanz_)a z඿.Gc\pl‰mZ=f؅X=AH;rk*cip"$M?MP Q-)ƈYR~_'}<2woWx(*_ÉA|"BfGڄDEȆ*Ւ~v_t6| L"'$Bb-7؝~oDbcwpwyLZ/vB:{SIJ(S7g7n{صPwgK3AȦfrբLK*ouقM9Ap = xc2jשӊ(/Q*M1 NL"_(;, ۿ OGSz[ecH":iOS:Y@Ϸu+1t~5o %gMa(t=YAg=H\4m^r|4T[SIIcqG>H^|^a#Q(d8$Ya.Uxm'ԉ$j 8L0@~abpՓVWLx]NǶbc-b7^ YoOy 18v0)\ _@.ur+*&{ý1u^ UQk!S~kS•ǯ`\]3$fs2.0.%W8VO{0/q2 Э+&<'P/ u߆#붳0>+~lt/(1Wl\{vm'&ncɰ},kv,HVb ^FVmvk{?t{:K*8&44e'ol.XW'6wDH ^Ĝ:r)Yky~p<-|_L9lDoQggAg#;2<h.w0.'3Llސt4B u8!C:GRVn=YgmDWLކ]~%|g}>DTE$9eqi 1okZJ'4yi8VЧA#)8Tț)Ut7fĶK k׼lalqvbUr҃o^ u6[ġ-D Ykrjx'^=џH6n_Npq/x] 0U!9ȶ)fTM+f%)j>TmO"u^/"]U NgT'<N]rKsj/^KL8}[Nȼ+T3ELZ+͒ Aؗi V5U HZIoߗ4Y@@" g3#'?)uo|Sx0z9c˅ CUz!=OezbJ%[,D9I)hC>CC)(޵m|AyxD\nqiBxؑ"*s (s&4R@Ar{.ū"!OqB z5QF,z, 7AT=<-6Ő~p`ܾ#HT8b+o7ě? 7\[DB8*ICFi_I =DϏF1,*ijN5 ?&'M2N떾KӮ8u*`Fjs@?w<8+L1@߽?Ԁ/uLA۔MpIR־o<̮":cBJԑlqkݓ{'ߦeh@>Ч:T&jm3U8P=(wUcb%Rܠt0~;]'m4ZxrZws-P?Qhlb>oɸTM“<E` >rzX5C/6/,Z d#:F~n|)|s&arH&o 7U̷Ѐj@M* ʈ2ۑ6oCԥL"64^L򖛵 E26( $rfqV^KyaC kndD<QDQG.xn(Q;v~'tm}paUl!q$Uŷ~SBͩ -ا ݿ$ǙEO&ϹyI-?Rz{ q:~nnu•LZ ζ#>AӺWqKT sXJesL:S4EP2/ӑ$C B"'h^og8l:{ 2QQ@d__)İEMO*Y?&HQ`h:Ɛ*m3DDy~Av1cKS,͔Vk ?IS3S [Sluh/ p_~A.dL.߅t{ryCQB. 8i8=s #S]9QQSLѐyk*)yoYǁ(Wcl݃C( t HJ(mo~B)/[jbx#в#i We#K~}L|*)bR&FU?|HܸH{35 !*Jg1g؎W^AŲJae%٬TC?Th?J=.=Р.`)vn2J1ZIY.7LnT1jL|8prBS0Ul FȐω}tnӊ+:f wy`ČZAH?DP( I;/f%EfbuLgd_Me#0.SF"6AOΞߨ_Dq{fp0TXS̨U(pS0ŻfJ(eU=ogV0Hv0Q7` v"p4"5%ѣiX%,8&5"{aHS H:dHRS&^HCqgX.:n#о]4Z [r>ȾrEW|{&fae"pN{!20BmacEDZF ҂_o&`x jYZSe'F~Mpu!H;,DJ+V *mj4b&$Y~GLDҟ'RU*}./Ѷ=RՋMĕ%-dG<;oB:ԌW1V7¯:7yLSmSJ Qy&:0{z`h(ZM_׆+\"P6>Y *,z2B{Gg Rvęk^/:Iz@?9:_[jrqZRVXRWttaTY?:ԝs2(kRI Q]/\Gj_fI $H.Bh4b.X=W~OMA v>;; hQSK/*\yYQ1Xۢud`~UcUY:hQ(UH:eH-b&sC<ƤiѲxD 8KMX;h7WL/-Lf/Onj9D bY-C>ﳆ@X''L/ 缷 =,DX/8ɈO/`khwgL^)i'5j"i=v*hbGUv (^}c16cFSp ƒljQYPN=^5f"z}Feᯍ/[A=ST =e5}enEG@ZU8KP7oog4y6m$cB+X'L?AK)'(Xxߺ,7Q6;A.[[tИQmERIdܬa Чso+ޖ%h+6.H`sy-[)2&M~q0995&Yqt&c4dDuqh#s_d 1%^p1N87;. 5 r?ienxq8i?^;FIkpvSzjfDM\+:5v|QhKuWBW~fs¶95]G3@?eKO&lI)Q,~ _iaZB;kҳȢZ(Jl>n?•jRl'lїVΉ6ɏJs`hP> fг>*Zx⎲B3(q.wS{AXL谗IaYO,J)aalN@MDNijTڔ&'\3-vD%\:綇sX%ssMB!C [#+,*[bOPâW3 ;T֦Aotsў-lئha8tN<=T0U@Q~}TXPw%nK7x<5P+*dMMjgآ;O:2̚ү&X}$W[|RpLy6W+ U !ⶳr뭷"blݕJWL=j~4PEɁ`wt=l 7mK&j!ύӫq5ɗ"krqS,oC%[q0čUL(Xgc&V+jxe5>ɬx}X'v|im2MXRWLh|e5J=B+*7!W%^Kᯘ4ֵy X 0|˼yZ՜ 2r+ާ|.M1 MponM@فO\,ψ{D5!c=GD!~]epF/NԪQo:BtI%~&UO:G=$!8:4S|Nwv up˾>+ $2S%1G[`IED󾢸tW}CAPT9<; <~d /AD ?yݡzh,M9Rn)r~|g1MpxBBǃAN[fşC+eOJ)έfKsFJq. 0`EX^>eJ6\0_ 9Iu(6+CKt,,"39<^*QFrΔր-)"Đ.D5P=#BJUH9v'SBi@řoDJ=IBZW6%tU/ itPl@?_QsqޞEMچgYZded3258b78b9df3870eec2aecb5a9a9ab8f799f7669395819e5c54d07609a238198286e2380fa362 38b3d324bd1eb096063789e0f292695c77ba592f359231b00468a7f9939960c6008e729c8a30247d