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  -%T ]/]HOL-Analysis:threads=6elapsed=330.583cpu=1719.064gc=129.340factor=5.207zXZִF! V{]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{VCM ;c\߻E R 6Cw_^eP;oz: kV_« I*,r],K0d]$35g馡36GZC (=8ZFd8e.\<1$4P <>L+q;BX!ضӅ9}WȊTe&%C,7ɽM"1w"1fR0k?2FHRfBo*Qj>WwrSOL8;h?ID蒽w7.},L>4.U6+CAbd{́x+?%Iw}` Iz;e> XyGHbx  % HOL-Analysis  l7b׼6<ۆYY``摵:7cziTߥsqFC~q;/ms1uC.YA{a=NEeӟ+(Tf=_{ B3$ANsy٣g(|c )Fϫܿ no<[m>QQ8!Rhd_!sW~:WAX|8ZJ1K\z ԛ#BBg9V{8UC _Y]&^ `K2G?CyɌ;^[ Z4DUS9!#|ՙW 4ꝯNޚu&1%>U6=Զ &MTdlYtqf -G6VP&Dg=DRB&!kk"l/Hbŗ# 1 6^ {y8Nг׏lv  t|of@""b0y0U_!"y) vS_/[z>0jnI@UP82.gxZѣaפ#'A4NHC,~y`2BbWMq/=2k (dCK3Â^Ά 3&pG6d&>#ar*!Q*F< p8C&lDnThY675h-d3nc7BJAU}ި:(uUO_؉^}G1] Dp87a3;KH]gdSҥm:E:Uۂj5hW U鸢凢g|gpg;۷߅Yf.]n7aRHA bps X9 #}RP"a‰RmKwz_ԑ Ʈ{$/WS2",jMt~O.Zq E Kh*w@a Kllb0R~ /mTw&^65BӃyKHmj9k-qDKU7a}-M&7 jb(pWء]>oP/PKC'Q˓DCR=8W] MH{(/cSn7NOaV$9RՅ\\-UWZ쌠V~VYس D#MX3O$EtZjO1' L8>V<}7PbtHPOUy%ij^'a(\x-P!f:Ib쌩7 pǃJ(B틿Z<:pJ;tx4 8TnwiěKEy Rs$~%9:&MP'f ˨}# SQpoMf[88hSeZG2H-EG8{V)Gk琇VPA܂lR~5qk`}ކ=ڂe9co# :{lrh3rG&9͛bS [9RlDd's8fpn-P.NlŶKjb7BHmLaP88crs/d@4J'H~/;M%'(Mi W}ZūujRw LxI3(rĩQ /},t-Yh`XX,Ct.dQ( btïa<FzqJy;{EhxxzEU ٲ'U-` ݶI=<60{@jf# @#x'%^Sk8CCϓm<1Y+U4:43N-~n`7A 18 VT;!j% . SbG>I|%&܇H?]QP~#!WC2$+ԄlFUA31rL"8=r$rA)Q?kl)c Pk}(bt6ܨj;GaU-oRq(`n1z~3,B~Xel{MdRx{  <]X-uj\VWk~n,"h`~}&+I31+SG/V1#O2eWPƁ :w UbuUBwv۝ t0E)KG5P#ÆOBkpߓ=0iEVn~u !5#W1dʞՂu?K:i+_#2b j>)8 T3332¥W>lQ ëբI[ ͔`c:H}+692d'Hc3T>5rwY84,S@Σb ~(?pyDH,\Q=Ro:f2W{kl}IޢǦ |G~b-GB&p?'%a\F7<Τ{lKܭ P2Y3]_5EekN Zv<^q^qjΒE{+ї$k蚹牪v5r;SAkY%A n0_0DG-Du.tCB+:DAh0Yi!9焷~#cZO?+'۝#tݾuW-f[u8ǎ]6ūU5IB){TLૅQV]WyiЏu u.> NfSW Ҥa`N ==I#,evjrf -nq5PPtE5a%)nL1> /]ax*C:Y/4W+䫙W;oM&s/[G3U[W|Z4F>j?j";y=N: jkR1(sAB5;e <U.P*>ݖ&^I T*e@O&̇gY==9״+Oj+>K0#,oguBv&lha?͂ yǕGEh(̄ fps{W}(*"^=W:BcA7BA@]Qh.H⛏_b碚C iߕщO5)~0l7SGBĻu\ҿ1ʁt^4`Ig&]5"qkȊFa(b# *)*9<;`İQ ʥ!o 9}=9lHP3툠/WVPn),2-YZn: zͼD,;>p&6$x6+Rz?w?/ 5 $&zrYz B"2!G  ,@<:y/B^5: .[IIݫ t۔ H5"[@ GGP4Gd"|(k8lⷶ߶}Uq*<$.&yģ)RD_;:.^=M1.KuYMXel\ DTQ>Snn+dZ;F{@90 bO nD쒃TR %kN`N/" dW;z@0'@Mt-Adr3<<,:^-%X_8GĐ Kw@pY=q(f&g>.a(l݉͆1^vkU WQxd4sdFXC$FwDZ" ;3=< \MdYD7՜PD3Bҳ[ۄãW^hkwnu? zeSm5+O,ΩtȮT@R{P` 0u/3ٲKв1܁_]etAg!-BİZc>~,7de!`RGfM-ڹpwq/@!ԓ?ʿOgf^zT5 (ϊ@gwY8bZ-b&7E~{f'=:`9#JkarsQv.(I$T.H,3Wo=o Z{RE[H?8O8kau{i؉DBW s Hy-c O㻋jg"sR*--ۓEuDbGJNaTK ik?حl8%ǏmC145RS.(/&_Z*X`V$_apk{"z' yAxuکng.+UD/R72`TMuPb.^˃B@}r Ro/#4V oes*be,4O⋳ft{fgރeUI], 5?:{6'|\[!ec6ʒN9WZl; 6H>r4L3 m/JC?ܜ #|c/^61wǣt$_;%ymQ#[~˭ϚsrHm|rOKȧ0X.^Z4-V}uFm~i8+HHd;*~Үt+O< t8wru b HKDKTI v2QTbPVl`WVŵ! YdmV+5hAÁ '"z@N>w!'AaU)< NԆzj܆k̽2]5e(o>VeO fby&`hv] _&˺1Ԡ% mS= nJY)SOo|4VwLpqؐNbK*fVfI$[ǭB]e߀c]5 SDMbOoW??@Л4"RȡujO]!8p`y]׬?""maw/mpadS=adf\.m2"lNeѧ5Ä5SxoQ.0qe:Tţ Հ7t{[7e#?|8@Y%١"wUBuM'ģc죹x;R͹-|<܁MӢK%zL,QjzPĆn*b~'US_fZ2e٥ܯko;{z~1$n .P!Xu`ޮҋj;7Wzd11rGx?!$ sX\*2XK lx[`ht/d;q mqu6zJrV#R#>urJ=K$!CΏbBZcyrlfZeŧ90_ H 2 Z76d3Rw&5S"(/¯|`"B >X㢫)D:^?Z؉Ӏy"* 4 ~UQt@mm={-c(~i&#f ';綏QY vrOfOɀ\-]a][pjkgK#lmrL^dSLe<Ű|"+fC kگ~0>&{\k|kcЄc#_ʷׄTMԈǣ`I 8\k-0n6@BlV?t UH}{ J:a=Y5L/x(On e '=>"<~q޾yy2n-KLԷF O54R|37}!qܚ͠Zm%u0֎zfV %9=$&V~Oc]\~uģK'"(F1~뚉6xYP@nL_Rqx)~]DAb W,`W|2ڷN WGYn)'X7hحȑهfv"O8U&GSі}VJc% oրu m#+F**"Vd  X]T۸~X!''V0Sn>#xĿ3>!/m'\[9PrMǹ6: _~㟻W6l`"ޫܟI!O!iZc$ R`l%Q~5)Gd>e賞!*AFǷ$т?X- ?-uxK}bj'| b3ƲLL 밺zd$-lvUwHK7 c kvNZ?Sw"k{Ԕ߾:j})J;Ȗ$?ֶ- u>TzkM] aSLK 'E|H9]4@ѡbkZZ5  -m2i@ 2+{n$I]EE{Y4P)Nw"颡G)*Z,Pt%x'M732qMXTap/ރgYB,qG0GE*f՝ -cI&~gBe. D;Zl}Q=Cr;ȑL \xv%ß|& ]SS;:b"_)D qM(H\ipan^WFpZo>}tnH|ÄV@h4l[\~/eE6os}Xt2ÌS;v=h#iF%Y&3wx.+# UՐ ?)Gipo͈tvުN Lm`mڧ 8Cϱ䔲İ~ _4޺&Y)mbӱ%]#;DΨ_pM]T)[{.db{H[xg/-/"Ma9GGJ %~,I8fEhP5IfFj_(6x\fߝ k\X{[* e߮Gp})7UvAPVryC(%^꾉W ~Lkaن> y:ă+Z_+U 5v "a|ֿ'aZ̆W}Vv UHQZT"T_"7C1#"C#c:ԗk6>DeD"& }OuJ(\hl=Bk ]SknLQFd73+p:zj@0lcwi.L{qmTmlӵ%Bgc*Wex}$:-µ|Qx ƥ\B+֟`5DK7U7 x{%9<ڇǝLoÇ<1ejǕs5xC N(D4VLff;|[iOtGl1_{8ث~WaYvgқ(|^Ҥ)6)rRu] bO1 r&͟UYܾ{W6M&.a pv;!'~  \-g{!jA!#:KPeЎo"etF,Zh_T[暜&gW4_nCG"Oh$1-XŢϊ|-E@Ǟ w(ߏ}DDW@|ZÜi4N]|h!8ن ~裨 oaKӪ|O9 ̊4^8_0-ARr( iAwH)g<#,`Q8nou<2EҨiuɣ7 6;41I+>ЭFXKއKgv'ohvyo-90q,.^ZZO_7:_;R/J$$+p=3 A\P)$dX~{RS |lnʧF>'P?sZAZ*f8Ҳѽe4UnSTTk󇉾n,վ@.TAqUοXk*^2{Ae0utq{Eևa$4*\V ؙ(Lj;sy\[t:f0@ K}wP= 8qJ2lC٬44 !X soh~n=g䕧5꧊UƬvuS'z{0H8dG.(" ʛm`} x_!lLb^pO%U˚NM (g<` 67 |a8wD[Y^6- x0z KM,Zk%!Ε1| smv 5<:?Iod.4A,'EwdLgv&Y]1{ɠV>E4=2*2U,b343*ZuV7XdjJf&H;깥3愳aZ&]ꨔT艍.3ZIV5q6`oyg`k|Z1 bPQ|Gm3ѱ }sid90}Ɔ~7ÌX 笗 *Z!3H}MՈlTOnf~M9ӕ&*-|׋1e-_ ( oE9WPm6?Rt뒤|"(:2s :le9oIR{7uRU} x?:gF6{geuw<0H*0F͑| c|*.ݢ.~q EnH8%|\Frc3 yms#ey9̽gM9b/}ؽ~9 `PrNIa:{9<O>a^B!YgpB:9MZ2|׉;[c:M+7e%o-4ؕ]П 2AҟQE4T9|[T6bm ȦBTf㭎$΂_b]D=t߫ԝx쀐+ W >G.< mZ9la uEv3^!iMbMfH$k8XP [B.;$?8QGH/KZA~"ko.rM,,I)#ͦ ]4!L[ERж?G~AgSWCx#^1IB~)O]HHHu7.L} F#(>Eס/K) Sc:}iII6ᅱ mqsuToFHᕲrOd5@~A܎2WsEualxM6lF̧ߦzbXSlW_9!QӺfD9鋿胞mv>bFaIU39Ω'Ds;_vBPs~eQ/!ϲ C:w b+ ݂ Ee`ء z..z½rq.~"w kyt!uM}_(R_|߱eHޒۿ6S/( (6ȿK)QDrSK@>SY!䙯Qï@0~=p!Gi-# cB}p0 ۀH p!JVe77 ¼隅o V W0F2 ݅;%ޏ=@e/\+ۿ\5OMD+%uh<}*fS ɛ{O`8H2a݂h>aKB|ٓ{bQϮ_ #955]|~-ȁ1󧰓5V]CU-eߩCAfH#}c_`(#eؔ\;œ┬Nް @h{XM8tgcmQ)y#mKNUe#5s5"m%ѿ#Z( bض@2e}#ATtxKtXXOQ(j y|!6bd ooG=>vMt! tޙ}/l<.(4?.MkZ,KH~溇*X*4&^t|',kx{Aqa<fwՉ9m&O?czU>K)1ЎW^mB&%1 `r@QA gDžoP#/AUi[E`>DBZy/2`  dq&Q2vuRt"*vx1Qj~ϐAӒN;'(\1^~ڮ^j* wc4gP+찀 %eWBJSr]vp cg jO' ?XGxVqj_-43_[ m'癡PCJ:@k4>ZD# zˤ O!i7AERhiMʐ}7|տ Q_͍9Q+C;k"RHd ` <&z[TËͅ3{Qdl$JJ!@wy0DBJS*>o<{ `޳@%B<IV͈JM>DܚXI[RSRғTY MK :xw|(58V]62 яH"aD K…o3*{lu{!MRL.9uAAx45űrҔR$m&$HK8{eQXYB4U=?{N|q8v'7}ǟ'8a% .BꝌp -h_1N?0ZwFƓN䅅*B굜gwݥ,ZB#ޒg..(ĮNGꦙhq˼PiߏoBFYN!ŔoSEfGbCC 鮧4S#؉tK(D_$6dI/Lľ ̉JN3ˋLWt'm?oH>S 9)rB-q Ҷ?Jw ~/<;0ZGsy61b.awl389r[p { ɚ W ρ`MUCcրro-4&t6(s!6BEn$rk8y s](U{0wk"t$9' ua%D?ؼ)*=h'8;FK_0;'h 8 @n9C][T K'D1Woix<<1xjC/}Ž^x}t8ՏIjS1/E]uH[j,|Kdž?^)i ~SC[C!ٜɘ̣?AUEvmNƇ8^NB͞~cxP,M]I`gs#IZQ|e? :vVi.8{ ss#\$'{sx&p[y.XsIKoi:sp ~|X-Y(|]z\7]#x2n4+qZKjwchﮡF(ͬpt*!Jxl=A0A&<Q8)P܆rι{D\:횂6okF3B!BnX yfβ%ܩ]mGfZzSxxQÏݐ p;wGzf׊SK1K6ۋ,('TmnAlj,}BG&;-4 c(\R)+Hɶ~X )1|vI1C{ g n6dgl"ťuqK,_A%Os`*P]mEWA y%m { '$YRc S%6qhs,NﴛM5ndVOJМ?@@ |x@G,< {?oF I%s6^lG!F7a7KD@Hʞ?xr(!B9)A tS*Sqջ>l,8KB"3Q&xAUJWo?YkУ&rɤ[@xrЛC4jmi)4Uk})K7gt_ZslHCw5>#=vBs`$x=o[Wk2&LBL wY&w:s(6sdy/a: ,fIOw]E]e'fٯ9nGNjěkY2JiJ_5ݾxI9sqXbdx,8'f}uN,\}$fShfAE(#~9:og0ZhLƛaHeBF9yQx堬S6۹ RQ^o-rVcnCӀ2x◠|)؃ٜ}H_͕Vihic-# Of5+ȅ2m!Ega]@MMiO) !h|"j*r^fԖ+@KspfEaT ck[߿VizUY#'\gjrG|8xȃtnVgXos֒D2O26U@. MʠDY˥*t/ )]gJ]F^ RW_PݟdILBgARO)s3twۤ0񴡲 ~{U26OHmHA|9㗂Jߑ/4,Sߑʮ,Đ&ڎǑA>d&?zYOgoO<k`#zǎ -<+ØVkO7OoOWn:PT##Û!_ޠsp%T{3~ŇwXֳV͸ ,zEr!æxܥ?H⥛SBg2p3G/\->gGP0^Ykf"?FSf|UV& 2k1A3 >'hĸ9OS Fޱʷ̓ч:n32GYELГ |jݧŠ;teHZ=9ʗ[E 4RoD<={{{&>6 ѵLߛ*r԰аXhGXb B>{PVp95V6{Vqkv}$,j~w>gt]zqvWCkKe$dAFTZrvC j>Sb +m?ѩl.01ǘdתNfޘC(.o6hS YvbOkԸ?uٙnop]m|.~Ff)ۊ!t~qlQ ݹcDd.-8C" F}."\&Mq)$,yr$a6 `gQ,;h9;t eݑnkbYAcay8w8լDDnZ&QªA0*]yuBM!dܒ6.Ϸ9 &TUA @ Ǯ5P؋z|A`2VH臡J8jjF5T^寳b- .@$l-ԯ F)5-ns e$x3ҍԩx۰+*8{SWU68Or.\-qonhaEsyUK8_mz|-3ʏG~^Z\KFPK{G|Od`NBњHȃ6'`H0\\kSΠHHbo1JL!@ k x(0m뫏}-}=X\1$,洑i!gp2S[!mP>S4Hpq~>))wgg!+EGL oQX!Abǡ6 R*Eܼfs ß/wm"u !L__AMmfT$,C, Rn(0zq_{wW%̏EL?llk {ZZA%t"rt}t"`]U7mXPKr͐&K$QKy6mT ȎO+ִ4Il{{dD LTXno t<ΓçzLhkq<РYL-[%0 U2)i \!KN.ivz+# Pr[Q >4$qKJMGܿO啃5!ϟﭜړmН:r R q3 z b(c0y@4%3^  GI- +.) cy9'BlE,SS(3aݺhrbNzT+]KƅНGs)zسcgqz.5ŁaR鉿,)i4MTn<Źu.}ޙY-b!W|ߌOz7q 6r N#01\#m ק5!63g(sBq#/OuOh9e0q6A{.2 nճ?Ԫtr+{m9qo[Xۙ83t * ;4}VU\I^I36]ҘqbH>`eq '"ei^!fUڿuic\7(%xqndž݃K3jߤ/PFb]!PZX'`M<VeӀTWijN 4ev@ӹsn5 Oi!ک}Sqw$G-l3_>5z;'hf2TU9'72!EϒTBŽK +xJ! f!˻pgmFԩk(`p @\‰ '+} ux=gk. ;wV82Bի7c^[G?fŒDk}OLmoKGs~ >p @o!=eǞ[4g-F7t1R~?n ,vRln%pZ;oi֖E4Alگ`aQ 4xkXhhf@⒘svALw@РhBeWX/ Vg4{M'+<'|(6kNڗ-ڤ(=4TcmMtoџc 1E5G)a' %8%s[ 4q5<9aq=^2@ NJOI5-2Z*Nvo$t>Fd煳W+k?qoPkm" PFAb2׳,A0v%/]`s܄c1d" 'B.#aF, N7STzfT @<( XP1WA+s2X,\gzEG,neL(}Hgw5yLzIxҡv;A 4?QđHi\@zб=`\QȊfPd1KtϮۘ|r>o U9L kMf4ʡaQO4WqC렚>V)n~ٚreF: EqkiȲ𶡘(ɘ.Q6qm2\XςY?!עF4jm0S=Q >~K2nJw4߄\ƫB7ku7Q3,m'Cf2%Q;wlu0ݶ b6[HeaRt}F'P"ܴL36܍L&vM̖XLC,ii0\Y``Ic1񑣯1jAXdshNPNwYHdޕ 'ou`B%)fݮ'(Jy}Y[S@z=ƾqEBzcD8urBŒ $R7k*N &Ics,?ܳijׯ}IߏD^M8tVKWwG?7xGz^Av2%G}3oLnF፦AS͐̈PZ/t,8HP~RtێaKkܶJ27w4 ABM-<j d}#% 04ΓZykIsc+B/{)iL"f36CY:_A80j⟏}|f}X:dv0mOg}X"iTZ?rYlO41PRvɐ[=&A91- ̫"0Eƴ0{N$L*o_4o 5mwxBӇNi0ziUsA rB_βtނ\]V$fka֪|_dp^ltjڡѠ1qD*G< rp!wrB>_59/놊zd. w_|}-č*m;0hEn^,&YS.Փ/  09[QTUcg$=8`]41ÌBws>(cvp7|voeO:S7HħB'P?O:B z%ٮa,NT!NQfH: !dYR $p{#ЃY&뉐 "I$i&uE4؍K5O}ߎZN tBR} vZ0W|WfЁ&wx$_1zGqT#4_i5+zDDu$ ˝{QCnLt׷ 7qKܲ4Rh'tӮE.ŸXD@%7\\dY,LY Ηb:$3/b\~_#e|?!+"^u%\h@;Q}8Y?M2ݢj$O c)BF@!v-Zc${%V~&u>nz~K~i;>a]|)&l M nGOU@ ̛VVYC٨dF1g3ʵ 9jn[Ck;U=ϣ3ӣ`O0#4шK2oQ1Rr)rGe (H]f) lSD}`=cDk-MjmavKzΓӿFaRϼLuʜ~y Ϸ 5w:<*-n }Gʎ'ѺT \ ҩǜ, 3uVI2B@ r2MɣHJ+FUU]] #P\0Ȝ_&_.[ߕ|k\|ʄm9)̥Y2S) _S.u?OZ#Q!&c..U˟Ol2wI'X%ʊ7&ӂ41#t|¨Z΋_ktgYZ7zXZִF! ( ]ŗXiɟ1˦r!cHkMeBd4>-BS"roJ(I fR)Gm ?-Gk_a\ zDٵJ \ܲAj{9,KOȂ-AB'?n\al)VUM(@A_f6=FS4t@tzhN#W1_n!9;%W |+O75%}1W0J8L/΋baz=̹b1 PC#S#Ao3Jo{qb'(r.w7̡`I+Tu?h[o.B[i"30}sOaX,4(najskYygцGFuk{ԥeG0cg-?ڂavQ8.oVEЩEFыW2}n'l2LX/fޝdT z$41bP^y] ]-tc厵՘.>5tS:ĩlK_R~MxN҄{2YXB߭aۗͫBa7C)mqS- f 2,[S:C QގhgXe\p|ˤn |tG}ʊbHb[>恾A.#@u]CԞʨ#b7Ysk9l|P4NV] ݞ "RIpuq|5\N!,[t|s85̂MNW@nN,%t ($ȳ0n>8?G+ע[b >T$mD#1D82Guk 5ITN^yaؑ,u*X>Kvh-_[!ׇd|g#A\®/iQgܭ7TDgWzg)!~[}ZR= 5" `5;my0KޘB@Qjd#c:{C6OiͽskEPAdOVX>Ӂ͌6h$\rBTV-S*KS6NYAl%w%[mMϡc;(5 8g$L4T;Bm:٪spTkvk[y*>q< w#Oɉh/ d~/gLAقޒT ? ?@ Fw; zBYyN1Ck䧵 c<32"0w.8 ٺۻtMx(C"rƢdukmj#䞇zL0d`Q$pKq"?38e?@NKpauǭ6)X;u?;Dv74Ћ^x/iM3!b+6|#΋] ?J$lQm!`2{t%1,Y+n:}S,ҪMEOC& XSFl1  1²1i>['žs+`;rc:e.zbQ(}n^nݛF`Bk }1݊Rjtrը+:£$ W^O[$c!tbbxoA+;G">]?60IedRgA@Џ~V Kwyw<)b䣔#M EmԴcT~D&k(ƞlQQHfɦ_!SS=?y6 *QGUȣE1Nj0$4玔3#W;'CHtMj`:8ɵ5.30&i Q8(t^O!5ʵ 곣ęovx {_]0. NOя 87x jrMq/Hd; hn;2XۚɁ~]y!i bרzW^4 ˁl$dCؿ bi,"fa䪉xrD|eKt]E3tti@c0Qps2DCMĥ(aZ޷M!k`B1:tӏYѦΘVP5ڙ>ug B@roQ]˦ՁiL KhGԒ@~2C@ 0.&U!%{V2p& _믜dFlpndlX+Tm_^Q@O {GeI^*ỷۛv_T\DcVh2= ^ _vwhESN(Z)8 y0r;DŽ,{SPKG zI). E^S4HZHnHމQi/2 ɏ#}L==({j`C*e),Av ɲdY& ( ~ֆ7o{kTҡ$[ȼä> o[(ʼn!x"g~3l0!uQsvI5Y!OB tZ^1XdX@91CN:+4dj(H^sP&XTgvLjS~F቟=Z_E #ISy[@۩'_VFѢ_jǕ U݋MoΛuQ-tҮ 鋂,(&RͶ%ccw  rX~&&pͭqDQaf*GRwd8^UH C_LWZH{ܻ8vIIL^ ,/3 N6j.VJd8.{д@rFo3~M(;$Bl+bosĠi`HBBEIedn"@j͝%⣬6-r{mZZ%³dV_A U}#¼_ΝyZ>i Q$iUDHǰһ,բmγ t}k+fV CWXlҶQٰJMY?O%7QY?s@VrjI"a@"B j.jpVZS]xME_<[G>¹"LagO)HS4O鴇vHеx]qd9W/tiI>J3; fcaSFA7E%~it *K5JB gs^nh>&'6˄ߨeTWhliTp֜3?j%eyvh[{#֕:p ;.o# k۴a?cqGr׶Y4ן'ֽN/PJ!aa'k>?hN}WH'bgRu_Ihr帅G/ssrSlFWLwC:J7bחtrd,cSc;Ҥ%)96| 9Nd^ք^FI$ sKǀZbQɂM#yﮍ ZKv8ZS:P̋-q"A)Rj q0gLn@`ƙ#B?cT͸~L*.%cZͮkȬ\lUAze)Rm_rGQޅ˖g?P`R߳`'y3cebVaBY)|" g.?gGtۅ=g @~|n15z.)=i+T˖57;YT)2~MkS4dp]ݗg^:3! }fNS%\q,rt{))*9O5rȀR8A|{3k9!n1Z:`)f3jhkӐdȝsES%LX#!MSixHa\8=",&1{M(~%xn2`i˺KP.g16l'Ipr*ED+:B Hm;+,v@^:uU;s[t;}%x7@B߶+09y.rd5i g&,pß\&p:/qH>=>^I{,/q|G!&wl|} |@B@Y})\6Dvp:΋ E97+ e 'JD#fysCK}YOMQnFY j&L.̡e;MW ELOα*@aJs"Owv{SGxdts1Ou6nymH uyikDL w'sdqm£e֥(1=LX 5}BE`[`PhA#o  8Z/u05 xiPA BXʅ)H#+'õj+cǠ/5IζGXgwA~.+v  >q[@0q'=\h"_R,yk >n屭6͡!xLxcogTm BGlϬ1 #sn+N8X:˻7dr&xwpIЫ؝]6$wmTqsQwIM`2*|tuz`SSNo:bb`21,+QaN4.nK42|+$cv<5xZ.4/`Xyo,LZXk#8R9纅}[3ۋΕϗwL_{l[I5^OJH`^ A\<(+kO=eWUXqAn< |Gtν?nBx;DsJ]*8VD8{U>"i\W4@MPy\~Cy0[W(L|7Li2=G Pٜ)i|K|:[[q`(z͌՘2K?Z>Z'r!/=+5wl#vd572~u| LEM@[zpzɬwSi$O &rbAC,K&˚ mZ%.KytpM#J: @>b],uH{/:hZ5nz/Tp.Wk\тmuLck ` +Z![|F&RF}Sl8wc@KkěY$܇{A$#%Guxa[#f[o6 'p*R(E!ցFT$OMsiNƼ[#_ J؁~B&$ĩd S2Gvf^KBww8ސ+q.g Y#OT8& Uð3U럠jgrǡ|QZ<9$FaQ)hsv6$/|7o ӿ5{e%%"/F&3>6=ie3FdwC~>JsYDEB{PxYXZmQ ulˏ@=&\AjFc/#uDӨDK _Ӄwg4\o}c~=$AQ# awL*z{:zq3 ҆1D;ڪI1"&П rasB6dFMPײe& C!2l,$dGHDA#FWCb"l#7Hp$pm z\fVi`rr` nD$͜S;Ug/k7n>1)EҰkmNQVB5职A ,)u qyɱz]iE=~odے5\c'׾,>`#3~m@T`[M1#"wRBݹ1+f3 Wʍ[ X(b:N!j[5wB(tј '')rv|gU_/RIG :{h=lŠұ2W"v8LYi A%\qf6x@xb=\l#FĸHBbxέ]Swh?B=8u8~Cf^^\B#WsC0P/e~]jhXID񫨇ʹ-ike $IiGs=OCh^ [Rsǚ}ɉڣVE+(V^1&N|;+"hmjkS`&&>&k!CT\X Z+ʹM'%`ՆPwxC6} Tp >,%&i1:4ʡ׿. z_C:R\lRS!R-5 k65PM㭚JX xw aS2"nIbqኜ_ I=ai2{Js5Df= :[4vJneǪMNq擌#ןv 磟MGYCZSEOlω Z}BlM'^X4UeS1N鄶TW*l^u:El틆^LX!jisQP$ڨFb(C2;g}}SIWpQk*1c/$bٟ ,Xe6<-W٪9H FS;^#'I D8hvuQkZϤr%f ![e:=9 ^WsUPͣJ ɀZ81rF}y3Ws)E8Uv:ǀs+ (o a(MlF*%=$HHjnmqO`+kUy{bfHYh+!r!W@m R=ia{ȹG[ٚ/M:Khͩ nO{q=/W\'Bto`ESIs- zXthI+D FN* W [N0JHVn-Qh] {i 9O3kYvnmdE%\kOJ:]׷&?`y9,%ėDpgJ`HhwznUdT7'آթ u,lv_vh/څZeDZZt&DjG ptfuOd|CnWNR0 g& ;+NaUEɼyYLy#4uiBo4;ۇ!MaD7ʴbx ajque[Xbp3n0;%?0c/X2;TɎ~gU{1"+>0*s2OQ`vwW?0gK5@]QAXx.9[H#_X"Op-fx4,;(mp-F} =Ww?l#>D1E%ep(}d˹wUwĚ낇wr(ه6b c1^䌗 a)\NCq%'% i+FW| SuuLZ\홼5#]VLsR0w=E6s*sv>@4ДՠD[k:' u(A17ޥR`̶V=G'A[W6 F2KSPOC4 :G6}$J*%8  X^m֫Ik`2YYJÊ&PTL-^@420x)Q ,ᚢ_<6V9I{\f[YBݹHlfiLk0-n8gՂ~;xQ>AjCϦf˜MoI=WPAX}#o;Z#믎 Q| &QtT qnħє0q +U YKTHsUQ -6MeCZU5C9$VFx>,ucv(i<y>7 %.,>7??ƻ@]n'v^XRpަK)Sbe17} `[̚q>;qάU|U65WUUk^Y8yמk[kS;y/1$sm" ~'j*wK0 N.A73t7'3)8.R\J7GDA=T~a;ٜ!Р HAo4.BN-lL{*Λ 6&y@]Hd`7lZBDO^?%<(,]yƏٻ"HG%%R&. Js)irNkp# ^^axZU~lSp-Ӿ* m >,{';KpzJ%BXVNy>[F "1m> uMȷUQbiiϕd&Kvc,"vA3-aQFy) FDE'\,`e5ykZ<[FdrΝ d nIXGS=NSV] $۷6/d>q)N'װfeRuQkfj)(̂K'ē?ǐyc#r)\xBH&-ZP1n/舓lm] T!v25Lj EN&o;_HBWJ;; k_3tiM{ɤ7#, 5;)e< aF,SeqŭG'β5}]:{uLw]m4$(519 le+ga4 kHP ۲ F=7Vvz/L!R- @*2O@U/pNo=3${cMd˯$=v8-f$,\F(7H ‘@E!SAHZ:>P% i Va]%Rt|cҡ`ԝUm3K{m3=+Nw&?aM$̙CX%㍰ktjP8[$lE'/P3FϦ^fڴr2b23T7.XΌrRtZqZL +L(Z0:f\(s)~PcF_ۥ7{A<1@# Dc2tv JyRyڂ1D.bzk Tz0 K x8CYx4g俪ޱzžTvDq ?p3;1ϕv[l u-s 3m\e3lFJRHL>JbXwۡn5n@5# 4G44+a%@Z#)ӜaWh>= xҮHRZ0VxN|L~7򥨐uX?QjfkݎDHCIb.jGH|ߴYV z|A㙍,r2?!F4[7\ݗъF NYw<ʕ4x͟cFNS1:}!\,q#ĬSЩ'6FEqM"f(GӿCgqK}+ɂ 9/cxV/OHW_Jn?~3W,wfebw `4kp'? Jf "&C=JB fA}k VK9%·skqIgZ c58Ֆ}!+XbRfr3kI;n\WI$ʯZBb1p3ߕۚ!aO>mDu3=7,^ރ WNPy:_+~jB nu3[&09<[-P[A0-+=Y\Z^fp&\vU/}%$pݭ DE͆1|+<4F`( jZrn6?$j9(8xO Cy;~z4WМԎ=FwR 9q{!ڥL]װ<9sK]B>0mYJ($ [HeAa*jt}p3kf> U\}E":XqBLA|w ׈ynMqf͠6w?:,9MLAT/OnD'7ԪZ1+rP^A"Pq&E:#4^a̖92sLjr T7;M+ȿ:ԜQ:Ӯ~XQ`]I}Kqϭ.t hڮewfW{:#w_,(OkĦ$<0ޑȏv(2N.ʼn9C;x4^$pnpp'+6o%ǫ5~`}ެ`ƪ؇S6`9/.ݥU6[/3 ]/9PYLkkicAo`SLd+ P}nZnB«.=X/@v>Ux$iF0Os+gUn O݈p:cÛ,ɩP5qbۂ)UlA +zlĘ7k꽟G- 6ׅzR!R'w ۦ.M8<N6Cx֪ݥnJU[dD] O(Տ #A[& n3r)RAȓǹ[Sgy>uRIQ!L8!FKE ANoJJey2|&P!*P*z=^i 4^56s)18:g/"Z1.A ~g]ʱzk T711 r=nGޒ}-wi!]q@nd; ޣ?kPGp~tYO _o(PDm#ZTl%qQe@p3n$fss@%[?1Q주\i4XJ|Ĵ9Vu*y q,5̑exBAvP$B.#";x<"9bC|$v7@i Ӊ SLmJ 񙢢Rno:0(G=8,F ΦqQ+=־9![%j^ 8^uPr=[(zV"ӛs9PlShXY+&_)e(6rRxby./B m;]D -,y %4f?$)XMX)~Lup o*PH\)qPpEǵx^X ,r+W <ėaB0O'y&(XޭXy+PEj.ƔkQW1E&o,HTamWbMXm]Kl~֋a1:`+Ji*TbqN ˗šYE- UE4W.Z~pVLJ1 %0+HS~x3O+8@.Jkנn>x;Xf?Kv6[Z^'`ߟj1@Ph }%KicI 9ŪΆȭ5ޝs߹btr;'X6n#gPJaY*<)#4~Iy8R@eqt $_? Y/휊)TwV.xQ0Oi/MDjH:g|K.H;{xdQI*\$VC !cx*u G\q`pFQ;JaLb h=$ApRRp)u^2Vi/į~D XFp$+U($U7M{ މ@ V홒6ЯWCmqa^PEzqMYVx7pGK/jvi>SCd@keI<>%DBIykyJ["AxSegJ2Ic4\?."VPxYl& ^wvR@ ڲǭk덈UB*^Yvl7ˋ3y+*!4QKll8oȓbAbK5g L]HT^0eoKSFz0![w hEOACУ>8 da>֛{ IhyJs/V]8Ub6O`kF ףL+K]o9ڳq]u19f+ \ᨚkG =j=Wot :\1;[|Md (f)[rIe&S;nvXXN]"#h*,H ~hBC^ }b\?[MVwߜonE}ݲ+tɱ6!'Vg, |v9Hf%XmK4q߁fzџ9& 0bȮA'c]ʽ0iꂢ447?Tu PQ6V25N5:R&ko#FI6 9ڽjݹ:d8 niS:QZWX؁uIH*$fTO灧:jW Ug|`LAWWB1NP7d$Nh00h1UUSJG-f@-^9զN"g hĥn(fGZY Zxw%J@?y" jϋԂb%>@P=WkÕ|xWyC%cVcXg4Ly9}$`zoEb[ںO\nK]C@PNjⶠ_H|&Y8 V+S 9dScAMCPR]p|ˍȝZ0RX 1ɐ\lz0Mӿ'-#q.&`T<[:h;ּW.GvPg U<7&@‚4x.PW;$ F킍|ӄ@q2vUÑ\TkPHB1^ BƑ^ְBmo{(z+ 8cx;y%Y%ה\^}3-O9K۷=3d_4E+\ G=Hktj+A2cV7:%mdؙ14X ' uvtÖ+I@n)B +iUv ȿkOCGϧMo1)bC,˜]|+r1?~,xݶ6dhpURdET༹n48`GC1G~zrS̡bʯݳ@6WNUD@2't'4z(,/z4P~JHZD&=w]`&Xvt,Sa:^k_:PZ[CY7lR8a[@F\;h hMW Hv,w7KɧKfڧa̅ū~#/ hoHur.8Z`]${n$JY)Q 9Ij.D=ިE&_3~F 9j`}$ׇ.IK^Ωܭcip=+.ɨ]NN !Q*QYݎZޢۑ*K#nIE $tG!j !õ=ڪwm:'G J"j/e]>E"kCd{D"Y,@6)X9X8m9ML@Y^RzuŦR>)ƕm?]^-*`Qn Kt$y6Elz&vcrmK2bf]jJ&@XĐ7c0 xά4:$i9+K^ȮtH)nkfB"ޛJ1K{' y?0U⌽-gݻNUP^FP7e5?+Z$mJ/NAȋ=ޅ8zہ6gR!ҩEvHJa3 $<\ma{g%0WLʝǚx]WXoXM_8ܶ%AU5!\tZAEw$AC-N@jɥ4Hi m=11s!'[BG&/%Ɠ=ZXWޡ4;Nj@>_qUz&#eVe!FulWTޖ&?Ӗv5(D..U\vt _ALl)KJf_eE+<4Ɂ`G(6Z-"|9j/ E"fNTH\%:)/y5:$Y bm3|v SPx'*%LS 2շcZ' ڣ$FB͟􈩀7Ғr֎ /,*B< (,ę"՞8un"$3Nm?%?˿!q&,ϡ $i3v>_G'ܨ$ƬEkn#JEFR GUehQjjz% /_fZZ\ˁOkS(V`CVu,ץɉYT'8?ZW]'eJGQl}e ,6']42@B#&$ƓU$Y4? jIĨz뉩!\4Wg?E PSɱ qd5>z&|!HjT<1;>XJի9ܙJj>zaӫ "],8^׋IZ0+jXIȔM6w Oz))nC <[p7sOMIңV a+-t4Ng()[j'_KjN/ *ϊfu>[4IS̄jUwW0*ޅZ2+i M%0 t ʿz.I0p#^*ۭ#;7/MRԗY:D3,GANpKLb)\f |g /2vߕ'ɼB1l8UnC]&Uyd4@A ^l<0Id"GՏ_#҄"hUDm/AtE36+nmyUc#X3bx^ ("'f`E.UUS5myXD")άMaY;9˶.4d4uB ]7j[AL|<`4QmN3l-\+Y EODYm]͊~`g~uEڔy-o>hH01~pr)f KX{ ; F SBb_@ͧxn󭮜: JhGy:̼9q KGw +59Q7ջ ቨ10 gJh G.vwԑ'v,B&|7+:L y)ta(ZY]U c.ɭ;ͯܥnbbIA8&"O@B昴"dL}!^Lolv%Y&w˷G5bb w_7b)3XŝF~ڌ ׸4`3%.?؄5zDT[9Oބ߫&|a |a.|LId(sO1)gc>Tyn iߥhZe3([F&`jkJ;ޜyL˗jM4ec'ͤi'pLG4Md@[o{ƶ/|U$IZg)(&FPXbB-i9?f>h9YסN$(l  C>%!t2HHG|rD/%Cu V`JL' kf)khujWvr7D9p=Ba,.C1$3!x_ǀB +Dt"0)lJ~  OA31wӻX#!֣,k、i"tpseܥ*!pd O5[* ̥8H&;f":STeyU(!:q0FtP`X> K!#htx>͖gHk.j`"IGܣZKć6Z` '0;ҐE 9K.z#ΜnZU9[H>s"Žd;'ef^Nc zEX\*lX,&6<Æ#=_pG~h}3o1B0_~[ kw * M쟛"9PU.+'N22nEԬ; }A˙Ñ+,lj}~sA{{?*(r^QL FviCq,9Z-B6wh$Vi o6ڕ+F Cw]Fe&3 ߦyu~r>@nZ+ CaT$0[) ڴ̃/{WT5 krVy: 4QZ_qqm"ȑ~V蝺NB[{Oݽ +ӑՆK:<fY T {ʠԂW6$k2vrn<(zgVR) Y{7ؼCp s85E"],Z\?N=ȦUT–Gp骝E,Z輭: %rxc졍q 2r vԗrs`NG~z/UlZ|d<ҟ&\2kȊղ3uW Uk"2Hjp\˦qK ̓7WE d%\#\,^i$y2D7XAv@Mҭ*mYdzm~ƪ߿ p"11u쐜陯׀J)`b/zY91,.б/Cd7F{,m(uDtɷ0[%cb8SLLXq[%OW]}뺫@\]PGY cBZYk^l|Ew67m({ ${m]]ud7BW (={coEG/Si%UKLP&N1.pZ]ydIWݭvB/5ěؤIZ rXeUȀ]tהݖ0Ěh2 U4l+te{DW'^mJS^2?!fTFː!YjBPotLN`*!Ɲp.s 4 0lF@HZ6CO2jZ'#,fo˪H55grN+ 5z3UF#Yi TQzRnh ٢7g0ZZqG#Aߛ>.r?ѓZPoPYyt"x&;+WM;Bae`LG(ym^p탃 b [;  +D0jƂn!7<1[VAH|x?ɴr!lU~7 #LٲrVPle<'S ITo׺H'9YNCvGaũS1c[ÿQR ,˺{o_ҶJO 9ff(|8~2lWZ(D#N-{۵8PwlƪuifXqGZg>>r$ bKHib^z%;ALǺr6mCq(м?4qoI@ VXc@ފ%TX1OfzV9et;O-phq6reÜjIY(B _׿hp+daB1Ȁ5ѿ 9ӳRLUq[sbp1S ;㔗CNm/f4MONu+eÙ7hQ"󙹾%daNFt_R%pvE݁+@-=A0[%XK,RZ%׆ez^vGXOy@nbryAz 9e*D}\ Zp&81.J#}{mgnV5Z%>:2^vɌ_m 9;BBƗvB|GZ1p ͘1xlIaa&iXS#}N32A K \) 7z|P8aI,VƗdF^狞6& gOI4ʔًѝx B9p4-{5U%T~=6ʥ[hm11?0accf&c|uzq7iv$xlF 87P,3WN.L4Gfnzbxx}%F=2e|MiϺGM도 y:<D1+C$QD*w4k*?um2ʆ\5wM&'g R'R~h6C,(tƐ@drwȒ^i =pNʞ?C}DSa*d)6w3 )'O!!-u]h8b01w1&>Z--;}6SᓟUӘԬw5^~oS/JryyISuGj vr ;V:eZHZMR/L :8 V."#Aܓ I|؇Dy&%v!#/8N8)\c^rӎ^cC |M";ۊ6πm$iJ N q\$YƍTlodT{۸#.GPRWEحE` me ,2۞1 [T^1%I _Up؎ܸi kFBv)zsmdh/ug`/>U"eZn˥ dRЭz먀^ӄp7bRF}b 0M,@g$YR2tPXnjK5<~C5#V^b)x&x^'wYO Z`gVox`0l=OuIMz008xgW9C]5?-PrҒanD4B!G^Ϫحe,.X)/vݤ(<$=1w) D_!yhѲ݋kaO֦ Ʌ]Fҹ\| PQQS:J&Fl1\p+2ۻ^}XS߻L\I2Y ]K nTR´?=+ɽpBW_'r~{#Z|s'q-r܁ZO4/㬎>LߋU^qH~vFA:Xk&z7.RfX>~+Jn_j M] ikZ?p:nsE:"7O >~ysA0K ZMit ʟhW )|Pb$S \ӣ|ri:fdY38  3Qmc/~%ANlU2ֵg9U.}ڕKFM}pT]U׎sYUɹ%<<ՖuC=}@*H YPpMau*JtF_2j`6*`ڹ 4F֟S {C(m045؅r߬_U6~X Y|&zLJl9on"ۂȢձ$Ʌ˥&!ӡeƐ^hXJ r+!\ c3*FHkPS61l|'ȆP.=[c`a|s U%!1oDB<}6gpR4(^c[P5ގzR%@ gBēf5î8 { nH@H|c/RQN-h6Z5GRWG,; 2BeRI@Ԑ[>S5Npnľ.dO9uQW܆dkqx!UIOY\T -k_3OcrXXJ9]wS@67Թr:pKŠGsTTѻ U ?Vt?w.i1 d 2eI9>:Wmh@?iAjJE緲tX؏SE^"_Оk79 "7b Z7*@P O>~>ƪMLs()JEZ'_-6:I74W^DJ Zj OgtުH1bw [-]|4jppϥѐWD৆(nf#Ǡ$%n9{M2/͟96gYZe3d5733a8ddceb77377e6338c8849c5415490b7fa9b7dcae088578d8605a3e1d84e889eeccefd72f b4ab1f59b08714a73123cd49dab856a7d2781a8ed6388dc926656e40205b8a798458f4a7f647d4df