SQLite format 3@ .0:  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 )%D ]/]HOL-Analysis:threads=6elapsed=352.121cpu=1862.500gc=122.336factor=5.297zXZִF! 9ZC]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmthJh~@w^bm+Nc7DŽx&=Kid_T" C[gq5L'tiL9QΒ뛺AAo\eZ.ӄA2RN*z;IfK-mv@Ƚ}Mxw %vq )&D*C:+;To;<V6Py)P7˂Li8k/H,o*ط7 %)%I"]_iE J %.Ez?ǘF}1z*uK]G$GAD ?d[$?GDb\:4((.aq#4JgNTEet\|Q+R b a&S֘IKOMҬ[r_=e!T-Va |L/e*o=A25Ig$}X;w<mNFF 鄴&,(9*7AͯD 8œfHElx'nq[P4.WDm8z;z\"D@CC.&qElG-rdp,aDGBѥPqAaa7'p)M"mUMU#i;6]/Iq-"[;K+?ٴYQB\ JmC2$e.q-NU-W?O L 9<[Y@Z`Vb ,aOz?{UNʽE  8fIueN紱 LGt|^.'%_WqQCN<5W# <W/ޝF7LhITZy\1[kQbH?6Or;c2F*=p"Y2>.mԈ&=ik:KP\,NkambnFDB M:;eE^AFztL2Feh1q~S&79nIU܍/VFI=滧gI *xXHXTM *( Ze {L{ҧf1/eR?xsJ.Oĭ%~lv,dnv㻰Ae<vrF?M|_NcvLm<)9/Ԣw2ثޛGw*Rb1!)?\K_T$p<1_Xj/47 ^ޚ9eEk}T06]OFXjx/( L0 3Zu^`H`QSF01sx." 3Z//)j;MaPޟ<(xl,|T}ԡL+Dy/5og$ Cl6mc{ORrC?e9Cn*\A8e>I`w!P,jSg}]W6gq kHLMLUQ ZHxg;ߑ ֬6nZ1(;WyA6aO @e>oXCgsK/Op!REB"٥1yacFq9o4?jP2Z֯ϩDZ &Ũ+Buϲm8VC戾#Y*[Htj>ʕW3/v6/V&Ktha"CP쵾OO,|L8_Rc1}U%ҤJao%D+p_+!cm:=Xh4ڏp]R"^VcZjx닫1d.OK;vꕄS #re&>ul/l2v/b;Q*԰ڀ"0)~sغMJ-U]!Lڮ#5I v % HOL-Analysis  Qk;%WxG1mqrhhlԡ}}8Τuo-,ZwNўk(Z,SRJ~{w`5nzd~fۍ)G)OSY=*!ĥń>EZ_nZ'*5M*nV갻aVΑ!HjȒ-}u"S񞴚`͏mJHy{΂EoQ(eˋ֓^Ssc!*Ts0|r܄cjǟ |2~UtWAJ20a} @O[%<͗ 5,GXq?IqIیD_ץOp Q^~Ƞ4䩄\~O2n7BngO`t{N@㶦%:YAF#hzo]Օ<Ihs6A n<_a`EK5~N ^&fhLAa8+pTw1(1-ŶHr"w|F|0 a?z6"J=8 X,ˮ;!O]if?FPK,f.#V9uY+[ T9Z8=X;+krﰋH =Th!!)"@Pl ޷RRtHU-k1 SC"Mښ~\;,FTUP)?o/ y}LF~,nj{Y]nFJ$~Ww˜Bi`Ͻh> Jw5σdhPi)r~>)iYk|"!OOPD[z˫bD.t+nruJ&Ի3[|L iP1zM4(ew!u8KHUGuCA˴SEXԿ$KYWbJsLЪ+@]wUNVÁ!>Me֐*N\=&$Z t 8^r,X+y0zpg/X\z 5P0VAUֿӤԧH& w~\!&%&,(9pG r_1NHx>ϙ)3JFPS2a4\61M2$ps1Ӣo˴$fKtqZ}ÓUFϱ̐,B]ZOy lTWb#B/n i'Ě{g=Jl Q J'|渙[#'J2ν9jpjy\xs[|4Bo͋`0K=.^3NwH|~?cE#nNԌu[lkb\}9(XKOlc~Fzynw:=Һ@7yf쓘` ٗmgS7.Qm<@6BAw.Y&e).qAˊ9 PPRjlڝxN 1oWx *{V4QIzCIՇKT 3ʿ|UrW2 _ '3Ҥ_E~ <D uKw+OU9hAqw\= 0G֔KsFT]T\'.%5萩˂1cO+}eb@ ȹb`N~UBSBaw5}Q2m -E3 |cdWA-NyPO`y튓}׃/v.\PY&{?GS۸p> V9Q]SH M8@==OWM(427cMK +`._&C<23yWmV*6x ƁzL;d6?RӾ檺ȻLK>NL$}&}&d'Xq>"=AwahQeKRO,ѝ3'5b#.,c)mS C,Jִ ph^4)2EA.T) N6:L=2hX#,–p2]ΎNJ^@~XD?qն18"teZo:wn0  61Cs8(qdw^edꁈ $ "%1gxЙhcY6f!mSjي ή&msǑrXJ% Ma ʑ.CMUokοɊKA*?mt?"Rߤ;sT2<&?q.LbэG,&] q\G,*T9mC~nS"۹3K_ʺHx?J/:jS)d"julnڟ"cy:ُ~he8QD&~,kM+(wξB _Nx!{7 0eLkUh@;; A';ا lL$[xĈr'joɥbY|lSfI!]긬]Q`9h|^.K.DxAڲiJKUt7W>R!)6W|l]kf0ȅ~5+u=׀'zx:< BiuJ/x|Qi J*,팗t麗Ah)*G)Y.CDLm,Jȓݦ3K^QHu<:! W,lYUt{Pq%T\$zu *1\o͍0PST_L_)I왾+0X[hq SD,vaD1(lwu@SFW\:R&~_N&-߶rTIzP#[oBZw_NVW^OkW0`BJg܇;wؼMuaܦ/ȑ&lamtհscw__L ! ] K{[rzL%e:ج<8"U3hD\eGf3}f+ةk\  -~K J*J&ɃI~ޛ)Ry{qOC6xԝõ*ª@|fyވUH'y 7|%٢;T")+.Tn92 d.YASqDaٔ?:wT3r؃?vu)^%# #e gL5IǴN|$l({ -"q=01(݀"?ZYPS76{F*w `]l1[jrr2t|ԦEysWSD3`XGFIR(o%RYDI.)nMd ['@&vOs֫[.5De A>^ Ì zǽk7ϹHy1}Ө˚D=u!z+rĸ">.M;5:t}.!'̪<teː!z'JRojQ-IǮR@vT0)-N.q9H}Pn1\Eg L6cVt~o~>`J>(Ch:aqEmKVl5|Gf2vK?UWLA2i#7v2yȣy0 (g`F@#c)xs f$F >15_zGB>w/*!"tײavSz.!ѩ鰥(6)N阕QcM8-"~FK)E]2fT%n7h3i,K"̨.IHwɓ6I4JlDm rf'dKX)ac+d[xܵ6V?"V bF5ihG%U&Pt1{b8eD{ݥL@F"w7yuo[tR\&,9ֆ%%RK9Nط 7{#{TpPtai\ s(bOE5FA5XbY|zE{`4!\|72P S.AF"|EFV eQbI6TUJ5d@rafOlF(W"{MC_; aYcZW1^LSrwlPd jpd/,-FɧFq1:}Zn_IrgDCO#9BlE xR-8a"2Z7E5,!Ziz] ~rq`H=r.@ZgԵ|B"^`lsa~yB<=lm7B7f*:R]s7*) bbiőljݝw2XL2[<<R- :yǠP ^8z~k`>FJ)kP*mJ Fi`"Ы7b;zl ˘+HfcϾY!w?@oYJx]U8J٧h1ೋ5 65F*SgyG:/^r4-SBN#kW5C_;I9·_1Oi7·@VRY2 Oj$ ^;qG1ʴ:Ѣǽ+My( Vw?`6$4tD 7> _JV)1-P6YBܒ~1]VN*BA omS램L!Z)Ku]e j@h6rF Jz"`q8a~ ͹} SI:9|=E΍' KVqΚ#7fS2~ C_H QdkjrLĮLqP@ DpT\c#!kH !.y"팗O-֨ya8*MKG[86KxVk ?}:vΝr1h#i3x&;?emE#󉒀L@WcNPi6 gV:ҽuQTݭ 1x&yu``( ~8EE4E}]&r;0QTpzjQ"-Wf*aA[~-O+p| ђwek6"} :ڍ!>ijpXb Gv0Hr'@~[Xk.xS#.|G>ڕN WT[>f&4}f\k[Gk8Dtsҍv)K%~Fy *S_1_mVǒD@d$!){[y@ۧ#O;MG dCq3½n( 2[|ۋk'W>}b>XaM44d~q)@TIS%/?DG)<;Pg<A~yЂyy|%nJ#'O[Zҵ~ 0AT.>\H0Pd+U<\:(X\/oW[6[M )ۍgzLU\/ݴy❓Fs2}&P`n(zkZ.:[JW/3 mU{//Z_!&ձzΧ#p>(iG)~;hn>8]s\LAd=?@,cmCR343ٸ山wn9A`b*RqNhRws'r9sjpMzNM47/!c` NczIF%lv,Gj+T7sMr [:eGW:jAtqGq /!9ݞTqT겓)9SV-Sqw 2DpHE^XK89GDl0 %9C̣[O3=>iqg%DHwY:gsvh*@IߞQ~ E1"Jt*X= &3lj B>.:AoXܽl-#\eK'B2 3II+=.eގ\9FetBl%-[P7B5ĸ؊w0_>7Q'ހ"E6*?07B/n3)hIXS $flPc<|>& `0qkfO͗hQkv/!.P<"~2rcmEδJDK~G|};?n=0G9;!.b{[6OՄo_Y):W}wZӃF5JL ,v+gHa)֎ML)Up CLP\XeB.^{1ėEF&j*.xO׷;F'+VrGٳc4jeI!@yYuPFY2>Ԏ%-?vK i%f/צtڽ! a5 *Zmb6L~4 X0Pͪ Eup}hr- %K K^%>G\0_h`gr'SX wֽ5# X{͕3QӋKf? .=w|&,1w˚T{=7<JX{ӥkF~<-AQ_y~50Voxq\W#ڥHy憏1&?j!#g JD[ϩW!4YGt/GT8FgAH R @< s:R”SK \LL&q1 ^p×͏O;-4=|H.ppSx Hy2A5%V730*k;IwnM 5ᮕF|KP* #Kjķ'nelGA߇cf`_D%wWo|n!H쯟|aWcWM0Ov 4f-gjeqdY#퟽Of\AKB4<18o1Xr0EZIO$x+rx320fN`rL栍}U/A'u0(DO^Gu { @@ݼJx,BuыU+: pҚXrN5Y9 DF`?Rb&ğљ%8U퉃R͌Ne=R?B'~tX:z!_< 2VHΞqnu3) ~9ĉ'Y&9mwrDD H cfH8(l0EI6# */]  vK{/JNX6 R=3 My" Doi'1oA|=U*:cgն^oQ W \"&m`|ǎC#X%y[7h6'/eK̝G͚%[_ `4*emv/li^F'&Ikh 5X˖OF&&xw xP}Ayq~? KX }5HvӤJg|9'">uNFzTg3F<~^֧Fp])@,@&v)0k Ņþ'P128'0&SI -@b2u 0$]Kr9,rV$zeKǸ &KBqlJjCl %E_r~Mƥ#*c4!dLh %L8/haFڥ4xw.ֵ4c{D]ÅsD#Y{n|7Mͥ5wonܴ½!?KrRLs~ ~^xPx|7ղk|a;*:-?̅>P!>he>;kJq@גy@ӹz2x` $j}R P*Ǎ oF(ߐ˲]Ġ7A?Kj ,0=xLO܍rw;}=4=x Js"Ar8| )N"@5W#R:'+-Ъe\7 Eq@u7Ķ.Wo5@Cpi Z0u}2j( bԼt5QFg I 'Y UKڣA+'ҡbm L7]ԖA $3K jY}MDHR^mBe2Rw=cDt!$u"Ӹ҉i_6@X:;O\XTBb˩aS po0SǽMGne L/Mt-VŀB#Q?}1x bÃb31 Wv k;'LݺR&4K4: ,r3:qKh`~~~ ""ڡH/fsZA1jNC}<9>ZZ9=ϮL>btC7q/̄Dv !jy^q j,Kn.#y3rd)34,5l6 #z \40Pyp~:Tk 1f+Y/S@@|I!F̣)Î&E%C^,cM3lN.pV,KZw>M9_1 h'I{;ܓc|>9"J?|jl6ǁ: S~ Q;wvCK)9O+ƇJTmvP<ɍIC'd oP GdAh `i*S{h U~ԳɂB1dkjgꄶ>4ʎPr鐹V!6{Jc RM2eJbOD_:(r ҙ[Xx}C{ J!ƶKvO0얆Az+ R ";[˪L 0UZkuYUiu7:CUyӟ8*o | HmS<ٜ 3ލ~:qXV4_w9XrPrL$i-:^% 6.)U_&! 'R $C "H7ף9ąW^R~ /+WϽ{tɭ+lu %aX{DV AW {J u2T1`XG̣ [bз&{LQH|x%]"v"Ͳֹ~̀tԭW<+6 a3{'i$F!Z*R8,*Wu]sZ(ڣI;ᅐpya}xW(PhD/`W~l0Mr6ѱ5zzTʞxUHy嬍9X#Es D09W49!=(1aƪ!U~C~e5VbGOD};A0TOl?-Oz";rl :`,'y+ wMkcr-s ̩۱Ra4. ua)ZGEhKV}zS-+OLn4߄BIAj*] V?\J;ܛ54[ntDsMq QԓTe;i zV& )(D+S_/)sFc<` *S/GB~18+pemȾ0*QtϨ(]X}ծeײ " 䟡/УK2|9?l/wZ㓢!GVtHSh>/o,HFObQG${1s&o*ٓ(]ǝantD۞~P ^W7D՜#ƒ mpX\AbH,R{Х 4 }'U[O\7iZ\ Y]nISvT}m_8JY7`oZ7FKΩ/B nsyOnM o;w-Ͷq;c% qL?k/eZY"kp0!q,(읿Wv0)dفCd{'-4NVD Zdy*I*)~vaDlԞ|fbPu.Y4{jn%ԀاmiK! 9q7^h?kՈqELZ{1ؓ9)w&нc} $6'Gi"<$UO@Ѕ)ԄzK77[ o0~oe#\HNj04{?E-)痟,_i-4nO%n!Od2싄BIJjm.H^Mi&eKbt|&. N( < qXʳgdjpw|҈.(aov21x:xhrS;~ybOz3~EB.G=V}(fخ>e;Vuݫ/39 sq"gMЌW wcTA&-|Y:1Ji+d5^L6|7K&~A)딫A QB^̰0k) MDA $m䏛 Z@|\LSf%89.KVkɊq)C khuɅEVuoԄC*O}¯wrVyDNv 5H DFR^n:2C$o|Cgۇ5}uK Ի *~ %PJh+sPt 0 +[!ͳ]=+nE3TvmdmȦJ!I>{M+@?CoXK:3OM17G챾IKf2R,YEN0и;_üVMX{*Z>e }9V">ö/R{eQUj7 ے`stH@ W*cuQz,Ys'=wa͖3~1&1m@CF48sIJJ=u\֧vbK " H~2#"T3|<RC/b{>UC P^Mȴ'~+(|OsK2*esfmcNGd5V7޵acʲdT͹%Z"5~>ղœ?3hP}]nU5;Uih?tI/0$ G}l$MGr$0O\m)W5tgƇsH?YRo3IL:#a8@ md+;p힑84p"oATDS^ʼnCC% .q";ydNkc<1̤ueQ|O|.j lhT9L?.,[۷44Tjc9LGs&3!e]p$EPbD^S,`W&_ֲp E.UX?'{ yagmOY|MG ƫۉ;E>x/b% =ٹiRh)j`Lzp*o#ev_w^N 2IN>7AspE變Oв`:Ԫy<4FxÏT'&6A2 GZ H{=>3&rjeDZB *[c!8ٚIL1_MP̾Y>xwt'wS8 ovǛ+#E(E#rX.D{T3JLb=oiYhbAˇxoC?g &~wEPnᘰh/ ̛$v,9rkA?,$#=ke/MbĶ )ة[`9j6d Ba3T#oRJVhZ\Wd8i 47R Uy&گ: }#WymX*tKԆLjw\q41iG m(f`cz4PE(Z FQUi+O7DF?FgCvٔ=#nb@.C/әQRy+tq%dB3CFyLXA(|]iR /w:d<6{l栧>u|ȗjMM&tsS%,kcn\]NU.uZ4c_FYTUITLm Cj2թߧO d;( <9fE/|ux5UY^9֨^jn@NU r+l31vG5$L6( &<P>L0,(fO6 ^S=;dN /Z/JBq q3.aL1f=@O2HT/dUO|[+rP&S{ Iom)?ODÄN0WuuƼ~0#<z6%/ankhp$|5 ?[<ٸ{]<%6~-vēGߩPB03&u!M"pAw_drI%nu[W[1JE)FsZ|$ըzKuL$>z1}-K*מe`g5{-vEp_G`S$1cP'9MCI5{)&-4uk P4%;xrlE%𸀕BAfnVHdznE=į], B*Iu0 `5| 輵Q3YVx#> `~wߴ0ἱgYZ7zXZִF! (v A]ŗXiɟ1˦r!cHkMeBd4>-BS"roJ(I fR) x@nD5jv&8}|vO}nfm׬kAlϭ *hMg/X@IcpU,Ux$acTz,uC ͖[)ol+v _ltxHH0v@ߨ8V򺰌%.Hm!qe9&䬾'^Tenz s^FH 4\3-9~j8}g2|F HRE oyNC/"tǡy~V~aIXG tsUZݰh&w1sQD?m^rPξ.OT"CxGݢ)XԆ0-)LnPn0YbG}p|:x0j"k]<`g[@3\Sj Q/Ffsbp*3@0 ua[ܥ. 'paH#1I%ҺʹbB ONE=.kcI-4/h6\+]sddMd?v C9FQCr TΠ^ۀ xS޷ieUJ lRбp'oo#~A|Cv tG&rqbѼXBGG_xU QH߀KB[k~-isC,b'LEykBxJw=95VU-z-gmW3lh9 s/%/)i|&cp6]7n9|ɩ1ئϞlWXO4荹]P9S6Il.TڂFXmb׳,fJY  |U+_I9rzj[qAN0 V;ީWJX1t;'q(SШQ` U#Ka}֟BYe~J̃4c dI4B}R?AvV9iԪ7p S@kQ]0D:z;HF ˈWgⷜlYw*O7ż8qvj bZrφ7BZ14Au~Y90PXO!on:Xb+MTiO_7 nLTii^_-UWS\)mWԢt>t4wgs7Ubgty?\ 4_ ?6Bp M><Ҏbmۍj ˄.F6lR "=dg}^RPLv aBBu-i"rs:u  m]B/`/ᑿLjʓ}26F'D;wk(  ٢V O 4~[dž]_Bң$jzŶdhk՗ix[jzTXg,ydᲫm4MwYj o7$~~}Zi IgŨܖ[ b]PY/2-ސe 07'Gʁ'IM[S#1=ݹ$y8}pÈЖ{:|ANPGO fN}8E˻ nr 녾OˎrUWoe&SM͏cbْe(0%(qL)kpb ۝ ` f TJpTèգ~Q4}4ܦ@Q!; Jԙ 8|P5^q1z̈́N+@GU5U M6(eqxɓJ\r)K6W!r2[߉A*o2_0nsʹ/M\KQTذN%>L!t`Kq$'ʖ G83T*+1K(4_`l*R7PiQ8an&gU4ɦ (|eg~P4\`S{K(N7]tqZLueo@5o4GNWeʂufXEvO P`gYZ7zXZִF! 璳yZ]ŗXi%G\ֳ)^D=6Jutd^K>xp/-0^𓣙;?bO+A^v`aAxL]F.:z)e{:u`P\(4-\{[Ko̫M"%:336H7q,ѭsBkz|+l"`ayv;t xlwr`͂7E"{ 3i"I&_'!ƽ5@=y9)q0:{]Y#:JB̀M4(ϮZ߹ϭ?I<{"/s dCX$4RE-Sd_}x~H"G&BMѲh?.媾a#*"(7% n /9߱ ƀ(RDEXXKP0Q{)4!?Aa_a݇NJ.s?Ϳo>.K"jtOO@߅GAF^P߀ @l({ݼIxD^C@PCσvMشvwߴ2vst֕14-Zz)%VM|Z a0h8o"?G9"T3Sfy4Y"(i*uD(5 yƚʔ1bMH9]JĮ`lGyXb z}Bi@ؙAv$wHl)=1pa˜*?}άPPQxWpl[8J0濾 * a1-ͫ+9_nEd=ɽ4ו:XERz㰃ojj2)6 8GJ2C."gMh.Y-Ku(ӟ{b"ꢊOjY5H_F/ >*!\ˉۏM,Q~2/tF>/gQDS|"78|j*-'0 ܴݿی0ezVJ^jG\rkk(8y͓-݁J6بVy)k9Èp_:Dg$xav7ct 1+mM $5>I1I7iՎbbj+r,6SHT۲pA0tIb f+PsIA^J_FQGPy)'G|]YIޢ! ZUe%pS=9B4.67., / z0ǩ h,^.Fm[RcB2Iu$84!D?#40 $)!fYh^45RM]!]7D`x$z`{כ9yyg7ۜԺHQ̘EZ;5]vެ$r=~ѐK0U,!mp qRs>z{omJ׮-P|paȮ$PuL| 'S$n n^:!MH`$0eƲ 6Hzcr!7=EؾT"hD4JxvIˑB#?uƌ$Wz՝.Wd1x̵|u @5m/VHN-W^x[_Z\>’``ؚǘ*?F@,iVfARG+92of'?w-'c@xdol[>- -<4 qÎϓ0t{w]4ta[\qMa<51B0OC; gЀwc+!4{S:oM889.) $^jn[]i*"M~Sɾ菱TѱH:uǗqL_*|xPfl|IG̮+I;mt)ZL|fV8m찘ຨQtJ#wJFz },}ɋ(9 #.߰(k4?)XR32fT6aZڇRAxEu ޵` Q0Y|D$ZS`SBuxhdWdn.8)ֲ~>"~n([جQgвxw(mF/nXݍټOfAȄW&6MkɧwpA}9&xSu+g8#L8eh#(" (S}ylkdDJ.zWq EykPl{ 4Nwi oyD4ToY ~XI8w4PchfP"yC+i y'1M^ #rv:o/TRLqR(;.z^K#+I4 |}#n!2#O6ci!U[;Fg`ҚƞSo10MK((ͬYhΏ槡oCV7f- )m4R=:4D w#Զ`xT7XƵ#q*\ic,E 7@dn A`8q0 }WV2=$z W͚$KR d7_Ů7}qAY- EyBF8JJU;DN%jpLD 7BnX촰)T '6 %He}Aݔ1l<)sN;1Tkv$%$lrDWl0OjR(04ԽXEnZ <0ۘi!eks9- ǛYV q_Pqи9X[*rZ$K%>wbo~Ů*`g@I9tMy!rNV(jh-lQR@xfIy2YmLBZRlD')Κ-tyְqQ>4׵)0k!Fj907ROus&MV@VM( 膗K5zh30 } 9QĊ΢1ƞf+©i,Xa[tZMPZf`L`,4=G< uOE;$ nk(=.9a}Rhi _>V&PRmJȼ!xyڿx+x\ŹN\!Ӈ'#BXXDѻ 4S Q|Xl$j ;940ewƎaV-ǬU7w7Rϵ4n.ēt:S_R^ =|ScQ2aa61]=L +m >:MNF2rhM&'go%`le.RE vJE%Jk&|3d>pB~~@۟c: XQwVݭ/v~K+%3g wjpdK~6ԑ/*z!3Uc ѾL+S`?Ҩ}! _\wTў"Ϻ}k-*-}grty愁޲Fg<82+8lkM7=*5(#m'w@PN4\(ͲԜ*>(#³|LSMƆA4eQJ?T9Ƿ,Ĥ=>H !E˵$(q8:9e_u!+w # U!ͯ]LyjEu sh4rǴeHn;٠! m4bU41q1YCӲNJ1 _VWl!Z0pfm*(:T4GِweDMYUM"Fiű)5Si M*!T$NOuoz8}uR35HYFkfUnR'NP, w[ = 8 ߻5s?qn!0|\OJ:zږC1$B5F3MEA{{.aTtG.+-nd5R70КQ."G%-r%y Rl?8H1CX>f&~@Lcـmj^-zI op%%CdB\l8y3 f1z!46U uNW6,>GT|@9ﺐ'l)u_T K SFޠKTP\.0s 9$nf͜We (_EW/~L8iXTG`?jMۥ =?F/B NJe XbQҵ9\ kHgDX&n8a{vFs`.^!z?ƁZ}]@;1/E$߼ R\[&U4'd{CK8 QdA:~\.֜W`ؾ)O@g\߉^?J{d$)9_흌hTRPK\ɿ*(6 N`g) u_&+7//l,,et@Jc5Qxb'OW M]i=qRo^2@75"Rl!z'GدW݀zxY+q~PQxZ._5+oWL0]Eh$=EG o`#xڢ(7iTZ)Sﯫel[N͋`\^k?MaK!@=aYjcܓO;}Pjf]Noqn_oܾV))LčDHfiLi^-qYo?dCGX+,ub-/rc`:cXz%r Ωw@490~K٦b"d霌-->7Y#A*B4FK?z82J{>  iQ/"$,uW]#7@RN&rNR6^juA'X#i=\H-jaEwZkNU"󚫆>~Hʛ5v 萨+ -J5¢kr7oWɖH:m0K#HE $h+p)9WKRE-#/ M?OwFGQ[0ڼ[GiaLB~مKMbcΚ{ *IwꔂBM䏂8oP};qL _F9v/QxʡfJ#*ʇr~y &Z&먳$&iC\, q=4rGR"Yg"iiďx W&f[K@g* :#A$q^Yu@p0^;"\y'.W/_P4x9N==LYet)5,JxeX$ˮF,͞sx FކGR3EL3|r;Jtu}T_M?+,Ŀ#{<>ig5vH$<#! 9|f0zCYy/n=C FDy xdMz [3=)A}?F LawaZ)}sOcܖ4b;Јo>)GCQomb 41yƊhy"zM G[4vMB_xO=y(i/Ȓ\ (iV=rz\I{8p@ ZoO߽vFH1!TKxsOP =,RAሧIsaU'93^܈!ώaѴҷZByko`(˓t!Ԛ+1@Ôk"# @KtЖ++0q/:rjdsc+eA͜FB+$#P;a# d^@߮tFqJTy8x]@|`Igv'xÚaIa~-bNHRLڳ #TWZK9Yi}[#DCNp8x۵PzW0ןíBm>?_U1tnMIޏU+#ެͶ~2/ԙ:^ oD%.6BlT)uN@?۷8~)l39e,*;nb[}@H`[+g.P3ӟMO=W<ky"J],gۖ"ApH^b&v BXB:H7ZdA'I68ғ'dX@E)!PKAl,Ԋi#$C9+Ty)_Ǎznqk^ο'J^<Ꝙb] /:7 ȿ:6˵5 ;nQ(H xy!wȅOœ^N EE4MrGuBՄ)g yo>c,P^?Jx.ށAp8<=VTH=/vyI`JܞG9_;$M^ x-d̋2mM8^ T׏,:H J>#H<`xI%#8)_r7QNe* _XsrUSq!" @$o2-i@Ub5lI=_ 8a ~AM{ r?/V9te8IgF-<dieG=&=HwE-и0yCTB$4ʯzeމqg{Ʋ{c;@wsl1dGc ,g tifC&@_Ǥ U0l˓d غ% H`oLUȳUVflFI _gKEZtP5%Beo] -,] йa9!jZ/M3WVK4a̦)HS'-\skBh w.s fkoN.thSP YYBFAgL|YË́`{H*$R ksfxM+3Uv",oәZO-:/Rb> ,UnbHWam@OtZ2s~8/%WC76#ou#̚b'Ubu_,X'5.%[GbֺY~J5]ds"Cԑ(ڌ?Z^hݹ=RFwWeW,O-)i2fDP/tuPÛ/y/ x5(5Aqgsy~qdٕ޴]Z{ Hg{{yAK.$.}O81 ;bt͖@s,#{p{+瞷cx#!Tox^&Qg #h ̤W-NzyO;F߀d*ƥN҆Ur=0u6VV24g΁E]Q4ބ:ނ@,'jQ>rS˴r[7M򀠼M87%H+ ,>/ו}&$J3Vd Y(+?Ʊ Ss}:)G΃ExSC:#׃%lϲI2Xk?8nNjs]?)!*XSھ2.FٙH\_IۆzVx1Shyah0gHg4,sKX -*:c2Lb}gf/+DKW Jl=p-iw[+"VD?2'Rs*)AIzMtur3Y ~ ;Ng=Mk)OtF35Ognl;_~iN"t0;434D@: Ru9tݙɌţ^ш"tuОO{x'+dfXOѰ}k-4N![XZ{bk>!`ɆJ&f rRq2&?ݝEuF&^1/dVQ9JVP;rYlĿZN59>;?Yx.c8_ϳg`udHE70o9"֎"{YlX蕂_`6mtEfq5dm1kd*aҤ݈D=}(YIz? !c9}359m^ ('Fc9rr',ݚ#4)DsV8+/)-^4Eŵ3. 9ux fQG=ĉ0*WQ_20J2lF, ~o,PaT<.W* Xd`!OC̓_,| ΁͢޹ 6ݸ/*cI2mZPda=&kCD{ l'mFWHp*Nk񒺤vWwgY:"tXr VxAxwu8;)9 쎎=mf, G=h싫U'6*N %=(HP=dBD H?r{9WE-C[uu.BtiWc!># Hi6\ю2\WZ lPo;Pcm}@;7 0ǩgd]"T!keUEw3/sD!@h*6[g_]ȉ>PBwq@}Y zHb7"gA\hC  J}5`iQ T>sroZ@U#AS?gLOC{jK Ӧ'ߵDNOp8x3 ?Z2)R~/"wmW~M= sن*!j{+urYgO3Zއ/TNƄ0cL& s45Q~ @ZwGfH i/MۇVIuFXyJ-VwQ*MYA2M^Ƚ(º߬BȈ3PN3rh:7!=%2<{YBc,uآ L*JJ  S>z&plnx$ $iQe D ǤrC~ wl{al9fBT&y1jGSO/dr|&rao?H9NW A%~bzƆa*Ӷ ;]+_ND=H,sRuvpsݩ-zl%x# WbGeݵ_^6qcu -wc =* mL.y Q J {e%H xs~1" 7 U ;Eh_ 䖫O38 l;~,C(tVZiT@ޠ f## `Pdu,81 X/TTE5cߕPG~C@Z ;=}%̧Y^HjN+}?d%;\)m BKfW_ J/bzr8w!ŋsD&3w^F; ʸJڹUX3^~?JF gfa귉n&4vm}G6jm9 n'mJGYD*AQY_vAդ@ _+S&xIPHBQ3+4.4̚~g`Ux?ֹ?&\KVhell?+Ŕߨ!rOr\X o[ 4M֧/~ eCydupkq MyR\'1;Lt*DZ7g.}-*Rǧ -fpb|WU*4 b/^G&Pqذ8ŽK:a`fWmjZG`4{|r׸aBiAoھ0C>Q)5m lDNWs"Zg6Xy9-cDXcG;Y,VId⑦= ,y$MH&%N|y'"}5}v]-HܵvCH{WF }J EfwN I^YϽzt="^%\M9H_3j/w[%i!EĒbpr)P; 2!KWb'Mل5d3A|咽YQE>v?*DRvVtK X|8jagXd`Q&__ \[u{ U)/ȒSg? /y&7b q'Ӈ$rg-IfpTT -| (-^D?ɘf0yhӚ)$͘\}Ƨ_tg1?DD], =**DGeEkYgNڧK, G'7&omMO;  S\YJM`!d!>\(έM,`fsv4lBJļz1H.] Jˇm=r15Ptu)r/Wjߴw'^ ]u"fLREXZbx]H7B\q=%N%*ߖo2M\W\g{h~-s@Ozfpzk' Ufc|:[`V Z YWp\b/8+T@ ֲ )!,?:\ Z"W U#q??O:nֶWdGӱl5X[tvKH3khUL n(X3ZP{& Ed 4vm!7-[ìV.6/E]CN ?Rj.ԝPny0]יӧ crp{|+i1Ce@!Y<Ug{s>rnLޕ w5QuzF"S{7eDO)pA ynt`x<:ٜ䎷kCLqTqZ:L{y,{ZVclC"^M3fg]BMKNFXnr]-5Uy-s3 9}) 8)a1<tFV eJ *I5A?ROI UP>_:FP~\tKлĺ; Km݃K2W8$#1Eex8=|fό#,GA崅_L O  k!ڂe4RP"::h,[_mK'RS٫ߧ#nyvK]JJ8΄Ipz2 Pn B'BL,IVK]Bg:3uX,GBB=5(V?EyX.m{J?~|IqGE]%8r) jyavoĠ ,3Gu ϕwe—HTD546-6a^bÃ]V}  3o#8da zʚd=`ЁVKwxp0s:~ŕ;-yG JҾWePNZa<Ӥzw#5 %_Ѯ,890T?SRֵ،MDw}6E4Na#R@hKcFX}_RɼoTZ*BBJ]L$#>Ε 3toK4g؈봬i&16eIQB mm| Ms_\j,0kђuccU0R.׭8pk8ic b0:F p2X)g"vN bGu[C:&tm^J&Z5ʆ*ޯMOͺޯ xϩ$M9 DuwǝH0/(C8r/)ɸN8ҳdžz3q Rrd'_u(?w0DN6l9w&RzE)wDM%Ae^ЈQ:`Q{%rIjH,tMuX7̀{ݪ\g#("؋N/iu 7$LԆU90F@q]# b}z8&(ľWȞ'u2q^sFTŒ]x,_*5ϓv+AWcxYwbS;?2~uֲ{538$幮CHuP_ԋ~YFsPgn,uҠ.٣֓17#H&>O]6&1,h&ƌ%ĉ0XaW"jGeԱ6OUwh o#| 5Hwnj3M*ƚIncTE"aq5*4ddu3 (}amY~cMT%B'"/Gd\q*A/Qbl==k*4L'U^ƑN~cUtzϳҚ,o "*L]d» X"\[JO գբ)>SJHb;Ne,/=8*r߂nA]nQ;"E,D=\&'J]u5W2Ma$"<1~NV6VSPWGf$ 9UMhN7dkHssQ&ēϻB\]T4ʜF{dI537BvHmBW70zG4W uN3 d-xv{ $C-$ j4OT6'P# +8W֏ֈ?!:6F]s?-:\چx3'rv tv'`|ϑƶK/K.Jez Nc\ fCWePȕjK~º'_CxQm<)ק?p3&ZAE; *J5?B3h8%'%YC#{}0}T]J$8Q_>>j]#S0װ- 2[B<]bwtc q_a8"h.@ԣ>Ņ6Q?br)WPV : %r~::$S0'x[@!|_ jBy9 nՂz=1)YL`;:< &.m8 d݅R_xxׅ1PC"~CUBysm//3܂ױpC iVEu&hh! 3ۊ2,-r˓`4y1A,?-hYt98SN_O`q%ajn_ek{h…%ݷYц^ 1S] W=QQ-%("̎" ׹-_8L > *gD^KOeނhTs!dz)`M2eCbKZ\ITԭPp޽/c>CUOkw f6\ZX-BzP;mK:t)DU8/ʟhEZ^LT;7]!*S۩M6|e+lf!>DbKQ B>wĨRP",׻- dSDT)(/dt<*0MeW_^ρ|!jIJ+ܱf/J=77TwJ|ۏ EbD&HBxkS)*)8eT]H%*G0n,ꉶxsvpnAmaW adi(Ѽ'_FfR8]/<˪gʘaҒ<4OZ0`an6VI/N:kNCqf?${'f6'CvfwaWfHK|5%ɻh:&'ai7<]d Ef(pВq􍯣f[6;Ӱcf=+&\־Aq4u6[խɽ`-c;k\MX/8廊b͈\K.s\CI|i|$]»]5e=l͂NӴп&txCl.Q@3/tQffx2lӇ;Ok3u61qki Tv| ";9%|$x[g|IS!i XS?\=]]Χ$1,_B="Jzb&+X+x"Tj1+t'M&1Z{3*``IWF Cs~Y'@\v٘":ky߸Lg\s˻uD &sSPHLFPԦ&ݼku∯P$%殴\ Mw<̛N 9slGp>Y_R@vm!+ҧWWcfKIFp}IJl~ހ5|K{ ~LBϛ@XM"DpiDX# n}\=F۩CԓRqsV#4'L`CKp ˧# ᤖ)0cҍQ%m;"R7J4NY$R]'N#aYQ+@}JJ:- PwhQ]Uq@"  ga]K Xm qd<gQ^bk'UocB Fi1N;*Nx=x #J^ uZ3j8} U}JC#(54 ҬUf11 =1}g;™ ]uI魳ͼt.1  31[ڣ 0AyVᡭ;sem8$v3 =~Dw祗:=jwX@шKgѹeh|3_5/e -- %CÆy,fARsJ:#o?K@EYգv 4@_p7iWbh]r^y'U`D$D -7<`nتl^y1&33 @ Pςq}e-VKk%L2Idck붰+XIoAv@5(ǣ+su!R+å`^d~_Glӛ_8LAT0${N!iQPbCm|)Lz~IAJR!^ 7i[};t"ș\Xi ӎM&N6JŝK4&n#3ddکr0}E 3,–E}2u di38!)`VzsҟLd,rʟdޅ3qv5suF`9>0x^a]W*Le)l^OTwYǯDӎ}ny Y,܂a\s&:y*nqQPdOS|ö#A3w&wHQߧaKV@E 2=~U"de? COtpv5N{aآŕNwc'28"lUh xľZ-K+xûQ:Fe|Zl.W(7 YS<HK] Qf{iz\ j)G)=UBC!8]5su{0o|՚a}q2ZJF0gԸKQ"qHMD1 V16JRP̮%J%^h̬@̫)ڱC+x5ߥeÜJ{:oM4UT+ss|͖ߢ-Jj&цbkV#ܢwOa1DIdo]S]U ]s?`GzˎkM?T'Yu@4#9fMRcd?Y͍ʡ#U*$tP'MhΩ:h-h$~PՇC[5lq/K ij[kץN 1>0!ΚvLG_̴U1UX&$ q7*32h_+\|r@pS)1-,jQVJ>H9lr`$pjDzFX3KmR&լr#;䥵78-HN#D:6?-4U]V,e3Wu4I Fr^GLD}r ^J5y.YBĶE/G{hNA7TʗJ*Ta 7vHI\xqnI N XT~#AqV,i":dZepClV܊q~ AwO3S҃ˀuh('\*j GDb1uq]rzq {խ>#o'HãvƉG}wmuL!:G$^<\wkXWKP-J58KPz*i5woX9 |]6cvmD6{YZqw 6gv~ơ^Z".OMϘs9wAYuy$T\{oc {nCēpMq_v{ )H|S`ܴ%T#ٕˮzgƺ ZMbbkkrz'o4 +O҈wjfҌ G|`}\yۼDJ"ᷭʜE9jp-LқMhF6la Qz TCKK#kN|њLUS?9 pȫ bhWvpV@$vpr s|{q{Ϩ1:X%r<ASù@{{+ Nr;gMF: { &Eɢj'ra?Ka݈z 4@MǔFaȪz/Hϸ"qSy[5 >(@qdu]{VHs(/jVjN Fګ4`H]qf4cVyyatfD-$-; mҧsҔ>ǺV[J0lyܘzc 8=GqY,FCeQ 1}G~phkWYn%LXth,u6^8X䔫xN_?-JSLY6W;@[BbGf7FDH!oeg׻8>=?<1䒦{S_GEp1b/~bc6]zG9? i G@29JhDδ1,26)c8禫fI3bumxV(ĕ}z~Ҩ`y>@ZN |evt\L21I|1S J8dyziwHOڏ rӓ CN#9'Bh] *VrLJD>*l$r'Ɩ;c8B?)a>9tX "&jACrdV+w>:4 >i Ac>_Q: 3`MJ8.N5t<3 Lָ'PDӧ }E៶m_2Tѭ{CM߽ *'9 8|E+J" M % UlFǠx .:j7W/Ie`D+> @|,.H巄ʥs)fwYҖ˒@^ɳ[HՋ!0=Mc6 '&xz9S,{ :J0ÊVl#3(m1 c E2/JV͡I/셨(70gwd;;7. > >;dzt5!ҁy8O"G5_5CKMh^ݘs@61KF9iLJJPQ sȝߥĹs6)t_RoV9Wx [h%ͪ%mna"n^zwv#'TO"C#x$U=Plozg,Ȭǚڔ2m^Uw$>kC0b [[niE$}H7#.;!Kk: B#>&jꃡ4> Zt(Z׽-9 ]Ǒޮqշ~P,Δ"f\rxq@2"ަ5BW{_jDiC*;tENz33 mg=2_"ڮ9K&'X2١1Sb!c$&g|TD5'fb(ޟ^ƛCz-8Ed^h\e}٤{bd@u k7>[uԳa02䗠X֐P ARnm66 튍PJ!ix ;o]8t\°)a/j7kq2 VO;^Hś)YGd;h5P3QlE2{eAm/g䶓-kE#%;cpgc)SfE{}{ 'r$U XGR?&|U92|fā#o͗n5v;C#Rr2Mr=gհ^. #as!h$d,ң!sL%YdQOLݙ,x $908҈0m*:nޯ-ߐ+/x0$?:7ސ&&{o_!mx'#c#=MaFE}a1Ƴ[ĒD7?vI_J-97i9bK@ZJrqdO3m|`rdīW{w:5?1jo\P,h5a@pMW%9ppf&MNMhwi(v:: }̀'I|)u [y>t}p'!-Lr .X̭Scy"ŗ@X&FK1@@n첳d^ŏtYx^Qm aVlBq%3_Yp˭gYsk/*JEgk,2wI(Mh֋r5,@Ijn헆`+zB  7Va$no=#8̊j4Zr$0Z%n0]8ˠ{EPfEg8Y?eG<8wH2yc7EY$nLqF}XY3x7Rt نH|vtfJB"tmKz Ӯ|-ߍn1uMS[tWp74zkf%47P~ۮ׶uA}d r|VW:l4e Q=!*TI{[8z/[u%\ &0vcBpJpdvʭx񑲾NvmQEOZL~N&rQ c8 _}]}G$p#=6;=6@"ٖC,LuH>0ٗN"*K!i:HHjS4#P5A WeGx4_e1j*l~|.umr٩R҆l< ZcQvb%1&7 qfsNŶ!0„G47 &TϓjO2g#؆'Ur^#pܗhhg[EZR;`M;o~Vĵ۲؍\r`^'~D%p9F9KTh"OԴ9FQN(zF ${Tq4[.dxt[# `Ȟ݌M8>jia.i6EL{%qhv.Io q Ӳ>*]}K0@=hh3~:nvy[0eeHBV5j_ p :&(Mv 5k܏C\c^piN ƫ&Y|U:Rظ e`o[&kkUq +n)xOyUEx: nB{{+i`b$ BA ])фjS,s񿕪$6Ṝ{Q M?"yoh甝 }#][u/RDž#6ү),uiwm_26Wzx@p^D uCxx`rS5?D7S@vЉgv toWOg\=+8zK56,$d7͔4D_rr+bymd\5.ܔ5^>Xcpm& Θ;lE3虛fCSN)yEXA{j|'…<Ȓ~[Q^1b&'鼤Xzbס^mB|4Td9l3l[ofQ/#+{1'>>wOW[冼d|}"^Amc$<֊\q[b7ƭMG2MY0@_6`DB/1*& ';Ov ̃3fe]1GÖIbZXl[9IzLvqvQsw_}L Đ>%0*x! >>!1Ҝwif&5?cTPNh?jK `^a55Gyd|#JQ(p@"Fo LƁPn/pnA x%訙A$:0pfwLV▀v/攳iq&ՆE,[D3>9WjAL.-Ŋm6Iv^&nD9HD{@{=D|^c2dUf`߄i(QGtzή)){إm 6섺JO6V "Afx}bVnD>lK]v3Rrf+ܞܾhm%3]˜/t0UsC3LG2g!tMMXɢB*wިH |gX*TMzN=g'urQ7O;Ֆj AgD 4miM2j$ !bB0M_.أ>+PEc1:\<"G92㎟#jj/F)R8UˁS)Z1Җ  j%zgWHp1^0#I]̲&%;OFJsVهHە/$a5ّKyO9,\ii!KEMY'`G-h͓֞fHӌgBx!P)%p?c:*t0=T%MOի-Y4ÇNSZQ c@omś%]q1+ÃU5FHz!K0mv)(C d='i#Ǔ1c=oTX{MHZ-g\!WW/\qwo}| -ԙSsMaKʡW|S| xKJA[#`ҵttEd|*]B(l3hs@Gx܍݃BvpACԠ؀ ' o5qYg$eɄBж%wT,{<<>UOayF;іi D/+{W n.jv({j}fo6jb{" mMlPDӵZxJJOB=`'t ?Od:"_ ڞ֊ד*D@A§'WtE)n;¤&& *-6@P!EosU6LV4TkӚ7L /5FEH#%mk> I0)$&$ J{l}}s|*"|Wl&+@0".4+C>-֝Qh01]9/ wjm}8LGW:ۜ^ PS$!~ \ BU6H;!TzsXWwW'd4 t $VO'~f{ĭI{pAt(k QP L9kS1VNv5}\ȐˣVGڈz FKC8b^^W偐D7 *KD_lٔ@Kmp)q@ %6ldiagYZ499a2606c0246b048363e63ec75df8779b03be7650c1749019ca8e9ffc93963cc99307460c2e0e80 52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80fe4f2ae3f581b3ec075e3f72854e30e6c0587a3e3