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  1 d\l ] HOL-Metis_Examples:threads=6elapsed=16.226cpu=65.968gc=7.540factor=4.077zXZִF! O]ŗXiɟDYK<;#&zFb43))TۋLW׿__((^/Y)S on6pB+KmtiXeo@t_C8MA)qGбi>kZt!u9Ofg7Z1%&5f5z&P$FaYbmkѤ[J Ka.qf ּ2{S։\Ҋͽf^ƺ֦}y ne7Z|KE_ Ĥ&㿊D)f\f 0mOef[>dHYyw+ ]7F}2 co3v8;Ӵ1dnh<.ds9&|=˧O #* ұNʍ~+_j Bz^vGڎD[nG& ^p ҧ%fS~>t7a'(u۝wVM  d(Yƚ%܊wbo?ܚ4Ve_Qp"-oc6 ŵMU+uԔG]}&D{*~2C~ lZc14v&Ux`UK)h@Ȋ&kg(pѬDXߍhOh.4j1f6l 6lHy)#WDY@* fkQ,C%1r#"%1^.cUf2rIλ=ʻE %tս֊y9֏oDr{X՛l te밲١7YH C򯠂~,bհsSGA#'G`.K"a$_uAkGnnq%aoo&NDcRb+^LGcX¬wS;΀jY4;"׿ ~6'5tHŎ,:DŽN,/a3ۑ:Th ց) R[ab|Qx=!;Y LH|nch`!:V4ST7G*P𽒦k EڪB%,SDebw;*0 #MZYǜ C+ I.SRWC'3/ N7`;1H#k ?HC|tY5=na*}[GUG])kv @ȭP*)d0B1 30)7t;lY;e__cS%OR `DU]hԈNjDZi-i WQj,qVዺDC^,q UJR7|!>aԬcЀ܋we$}I)Z&4ֻB@[2Q魒W>SQi"pVaGU =@tP q6c+{_Iɏ`;1M*K "BC$3DT+)V/"v5!g%Pp>j=1(mbB7x|ʺuo"fo}}ҖOB*Z=ׂ+&KfS~Js gOm5TIt?ywE57hȖp_`BaqF|{«>_f:LH&I[i@Y٠?ӰWAZB *L~@%,`'m<l"5ٹĜj5SSOA4HI<٠.1[ȫO|5+yI/@أ9.Aa-<(ԟ ڤm sPT:b b+ONuOd&&yɧE5dLR^E_~CG`~"Q{rKZ`^u0+{qϧa[=`3ga[qT=r&bGDO.A-yXu|6D).~A,i ڛ=I:"}q%g.dۤ!ݢCeK)~ E_UcʊW둯!*ACF3)z@ǀ" T&S\YՊΘ_[ZJLm3&C U5j8d>*8@n ң\WU7 |b7(I?K6ZષwsAzf GǕX9~ [(cнevcOR;2`kfY!A~8&6pXg}JqGm!'Jz#]?qw{_׈]c]uؑlg:ܴ.pԗ#MFn`LAc&ŏސjpPh{pgƻmV4d8ggrm7 ~Y=ey$Kl9q2|wk BZ7ZwG;g8M4jJSw gsTCD>EW [Z>FlӶ+қ#;:(~?Vevvڬ0=9z/$ f.X"Ǥ5>M;7E|Ri"{H4k/,f!?9Lt* SsX7Hu) oZs;?NAw-9x5udVf1A^1{l?>E<[ Ĺ -1QgI6n2 AHތb{%XJKo%y6CU UCMBI ܏]Ԣz$-ámw3O-W#3}K5 (%|553gi` i]T(7&=;BN~\6Ԙ.d>#(0SJ{=m ͇G2W5קvi^X)yj>K aH#t2U;k lw F]`VZʪ6g\vY%CO*{)}͐qY 1 HOL-Metis_Examples  +r+W[vs- VsXiu,l 7Jw[E@SZCPW疀1E,IHh0RlK2|K;+bX]t3P^a}Dڃn?jh,cLBziP!cf92Q9w3]}l uy0 50κ~>o"^&DX;+x̭-k's^j& [72DPD~]4ԹO`MKFRCP}c7lj;w^x zMIX EY|}[ 젰OhAL`0wi +{`K`_KIᕮ%:ӢB\~;,#w uAb]J;*GiR% P)оhֲ,W[6IYΤ2N UHrPٶ69#4EX.)D~쏙6-&g /yJRpnu-/:i[{Qӏ K6?EtB5m?flj&OLj+.nznPb}i$,$g@3}l|V^#fJHu%7L[:X?~Pz In892@@@\5$Ad,ڎc2w97|5IBm͝y .gU֖b#*Jh4rBl2kTfi.3x--< `(c ՙ o`#&ѷ[]]&+g[Vk/G *d sA (FBlf:j!@~.uB^ŧ\^OXҟ+~|@1( 4z֤ARC݈2?AN^?qL/WށdǿԨ2  a>6ew ܮ/ZH29yWf<~zI207Wy!h֯eUlt4L-&sG2'Gޖw0(D62Nk#,5욁Lm"AsWmPbbc 娑O3-FRA2[^$.*ݥ_ aYSr~ PlTOWx\8qWYA1㧙~]cD?hosMR+߂ J4e 5J̹ԩ.cq=+֢, -/; Gj?hs]| \N~vϗ9\*Csu N wL$C0 =0Fk c˼uF_:z\>{)6H PbkPlwG7'GZlwq֎A#]ߋ={CI޵/bi捃1dw".y㥿W(54"qwe7]K!.o/uwTQA1[B8͞3u1J5弨. $ל_4QxC9W3;I\dG"=gtݚY`?3jإwHH~Д>2FK;gs _ж֤r( YPbhϳMlVTP6F܆t?'ܔs[R@= XN2d*#㒘VJy*ħ{ʬmsr6+ͤ_ Z'k ,.= t'k"MW[T^U BaÀƕG$cdX.F/oWb)wY9[fC6YLFR`ȳr~rqPx^3}$ (j:^zE7?^D8őɥD%mv]pޛ={CAMCCX8-"64aifs~"A>F| @(Ǻzh}v08HPʘ3Z7_Lz}Ahb"=viYM=v=#_IR&a`դ/MI9Hli(V u.LJD eAꅋX<酝⣘0avٸ+ C"mO,ǐsH&~갹4m>ld&-Y(^ZNI۩zoN XFex,<:vDom*E0hMQ,oZ- J{ %DR˹b8ipt6wzqmȂHP Ia/u2I$Wyi[s.j4_ɭy xW/E*hܗ6OR  Mcfd@).Yߘ[5 vLg`{=+s3WC(T~)dǑK^6rbyF;ďNL[&Y&2qD-ZChkXd 2 R>^T?T@eH͟%dڟx_sĐr_e/¢u!$jo0ѥ\ԙf (D-d9ec?)OVh!(m{SΟmb@mL۪eG5pWT opx;nʣ`uYi|"V {yz+hKZ$\ag܌2(r-$kt>ѣ/ s4Wg]:nĩB4ӑTvk/A MC.LWgFHH RQQl؞YCBƲSBR-H7v9V8!1AfFi LA2%D9IL۵!{WfӞ܈ŽJo!h pC|W钍6;t9QJ@ V/4U3}'ǭRB4\ͤ3mh" dGf;Z8Cԣ"! ix @)K1i@H,W/ @a%H9)N:>ᇈyq0V$NjK8O W Mn ҵY}IK2>R$SF.040 BF9,oWwV&:ΟEZr2VD:3jI^[!KKѮt+Wj}MGP#Pc*%DMM&\7dT(l[dJScngٛTJ>޲hL- ׆X܆I/y $KQ`xL`끈B~) ql6ruA/`*R̮,lx}F5@kĒApȁcrhw.|u&m{T\M _d}Wb]]&_34H;s4>A|{%h<^jamy^˪:)&(q4[%3  ͚˲R'WxLfp >{Fq2$"E gI6%pAmF-WU"mMz^1VAx<^\MUc؞ɭOb5x9$AeM,luC趎aTNρvн zݭz5kIWraD1V$ƞv܋ RJsģ}0N' Fu"B n[DrbK܃daWY![j*n,WtV "1!UQekI>@VG#\gUso׀JG,[H§ы 7k~ ۡߚUm-/nL(/}EȾ\NS%n`;ӓ#JWxhIMOrwluRlƁlRU ?F$a#OzӦaAQ^0[LejGMY )l_{CE1oJ X[\0gH08^-Ȉ(guA9mQw>V}$M1C xzQLȋGy"em]bP=Ϳ"JP\er~ 2ᆴ1R͘ΒL=?.2Zv;sMe˦(?L`mA BXhKBYa '}I°VܪρwFR^:WcZZPzQ,\G2t΋]|O)he}Th6E#%QQ r_FVebl^ϕ%L±7ݙ{gA$-mIJdGM (CeVӾYO ]'͐l6܋~!a]9̼+.V,FVCF٥/r;W\2E7ӽ*9:xdK滚ro4 * ٵt_G^sBA7`Е4Җ2EMAƐp>qIN} u/AG9i{E7ً]xOeJ{"wI1al"CRi;:ۼs'Ӓ ו Bm(()a+"Ҡcjp+(ț,>~r[媓 φ)z{UZ}䚍) 76Tr^ QMbF (3_$k1Oi@O3QIsi+-Ǜs!P%Ÿ67yA~h^^5.KmB%<^mO Hh O60>v RZ.;{3?89ز`"$™ Mrq&I yչnBլ075<eĚU۰s[j@9uazײv7q *O{jMF9 swo?NN BK ^RU10){϶A G;KxksW悋LYBgmqGҴa3'rO)8\pͪCJXA7k0Vp;6c-Ybkĩ)mEQo,YfL6XhQ}4<||CS: k6oo3`|5t8k]ĴR?x-Qt-⫢(z*g$(pZyԹ3Q%?]kUmj0Ǡ[PHϤŊm6%JȔ7lf fr,qeaB IB)L v@lMEj% ;x?%z ǂX p4LWRmseo*J= *VGP,ًI>2ZAecY'S%+̮Qa,JM #nHX)e6 ˣ5ʜ%B=uZwGg!؏er qSÓ~Rb朸r-wϖ Q|u2 ;Dq.HэV'Fr;$L.o [}ITv f;.o"KT|Z]*~38$I_6F@X5ke p ]خnM9QhlRf6(4eW@h}I*NK '?L\h~>Y]sjS'9)@ DGd> >iܸ.ZKL {jbO L #y`AѺ_NzO*[B ֶǟO a<Ɍ + dl}|n_~7u)%⒎P~IOW0 RIa.p(y 1d<Œ}e!@bHz%2^_Q$66㕎>knyâ˵wc.B7m۸ 1c!$t7"dBO1#3Ґ-q7FP.Hne bԬvi # maF*e?'Iҳ! /n/VKGeċ|/ݗ ZgQ؄̬8yne$X-q}mɏ@gD er̭Fq!]&])(+豹|P$u `rrMpJ_`8q5p\ĥ<ې( ܜܶPJm՘^:- h-*Qm+P>9'%# {I`+gkWk1Qg1sItc]K=;w* "wRmvwbw{c[h_m{`$@i%қ ieMgra2LB_.6րHȦ" o'e4juac1`T49OKAJ-cf~; 2@zUh+u!珲Y+_髟'!'6 (m秎'A6NG-uik؊cd}4*IY:QfւjT~v"\=ŴE^`Շ; ̆<2f"녅ggeN=glB|[h?.>LIVnɌ&Ykٮi'~12 @7zw=v䐃3(l ʪ\6r_ qr{u8𿬡`"v.z9#Kua8cr?۶`dFJ^{s #=pȯC Vza6D#,v[jV;9;3pܸmmBҏrb%ܾ}ɨuួE<۾ms.+q"NrJf e4W!~:3bd]ц؝om!lQΐ5r!:G DG|Jd sw^5u $z`WΫ'lU\-Tb$}^`IDx'^#i}qRIqધu.8ݤirJB\(X騋hj=ٯ[z}<+Ko. |Qh# #OiD;( [Δ6Ꟊ{)Pb|;NkklIٹe} 9@8 qE0,R f -jzx[Ol n ݶ0Nǿ5fuQ+9\}+C(#DbQ@xuQ%IK l+Z!`űSjԡ1 4ru/ۯ1Pw22O 짛O ?o^ *7RLJd;1vVͽX@:{x6(Q4~ $ _]!;5`\Q%|5Y=N~T"1q5ZRl٩HwɸA(jA;3@.? 7aj4j]pnhy]>^&{0N]Omxj2hyt'h݁k9tKEݹYْ]_;G’>M>"ӛ;ǣ3E,GaƄ)}A6MܑU eE pb'!UAWC܇xzz<PvW|.e)Npo{ =V{2d@͈lS Hv۱-sҔVR\VQ|AbO@":A$KSr&ӷ^XJ{}sr'FEHrXqW4_3uXiyY )4'}r@r|Ǧ,̛(['5elk]`S}ې*E~r3/6,/qPWwQ̅Z8v>a˅'~00 #}pBvB+Km7ȇk҄$BCopN5v,Mܬ.? ^>5SϠl3p;~a:g76{4#8y:xuO3o9*}u5N~3}=k7K)Ch7TV@?X{ aW@/pcɷPi΃/s ?~A7aGL(6@w6N޺ me6P$+'cRx܌]T2Id rz,|c+>-bƃ9WȌ!x2Y/s .Jdze~^˧^f 2;Kْ_)Hlljۋ.SkSguHA7l$rwx/-TPRS8pڲ/7i!>S"_4{MJ?*HN()< 9!sv?@sr˵f{;VdAPjU?C;t"r<%-7!GGe l !FSڥ)+??zj&3ZT朁m7bj<ֺyJD5o ũf__ Q1pu`[}1 OUeeC,錎3s~TWd+׵GNQZ2YJ8S:wMǖ(PQKo&G)?k=::W>m :dǛ؇ی]Υ̭>lSz ,Ka)ο`g7\/y$[.(K?ҹD0$^^:8\DF젎X=9@wcϣ< y֑ 0HB!'t~jXD,鎟zzҘFXLL3vg}8i$ Z\.1s޸qا^?%8& )+{*wo%n kv-((E{W[ċ9iK^>+̹kQX|cI! ;}D aj+#u!jh:m,7^eVLf501T_VF#C)%uNpAЧp1U͇ !oA ^ @WOcE=kcFqN}\|ߤsvIr*|֣O%xG-y2qÍqC q,~UȄ}Njl osɱyt/)ypM%WXH:Rq\m)Tt= Fq Cda܅+2TKvyQhLxc h:) II,ZĵWXvݔpX׃Spty{HX{%kqƸ5u2?س坢 1mq,Ket[HHa3 {}dT"\l!_qM^\e"ed r$?r?C.WAjU\z%ǐ?2sػ~RuR:OŢ3GcUtk\.3t<4I%kr ݿ`$x ^tI40@x 0 @=pmOd^MF2׀M.(S9%#QrzIϒSOpVh/%2Z5YOÍN%$mE’'| m?Jk\GU#E[ɄΓ'}Mœ 6dGstjɽrK^?ʁ? H.!A.FC,i5bڥamfһ~>^(Xˆ`DZX4]ZalWIaW&ha-{P'I%gttGMNƴ'1  '붧ygAv؜y`w1;njޒQ[eQÛY5bLc4J5i{ >5A|"Ҳ\fh0-YO b d=w%?9ʥK!l=c٥T{\\oj6MX} *;o0` Տ{yw5_@W+5 ?#zEX P3mBeQg_͋vK#bw4G YQ_N>{cݥ#A{[ H=SIu޽rQ@N;lxq^ٍiF@!::TqLQ>v&-.zU`K :S#t4̢I(!b!}{rCNxExq2H-jSL~pk廘X?O+wXe^V汀?})Cy@  T#܇'xUi{PI>s[U9uOW y M֙mqeQ $H'{›ٶ1O3o8 QzuLH(2>4qsr:{',FhAV@6R]ÎeS9C Xv5byTs8'ٺܻ2t+a/׻O7mI2A~ %I]7!X6+l^"J؂ ps @:#; N? 16Ջb V}y"[ yt.Ycs~ ֽd($C{PZpQ `I?Om&TTGh6a :eӼG|Q/]qCk5;'0UnGx ś1=L/~AL&Hm .bxe$@8gi4(`NA˹*{M&^X"OgW#)F9_Jf?-@,xij>b4|rg*Z4")wϣƲTJ {b~@VN5TfAր6bqKc7;>o1P[ -ڟ-E(!uʡ zPIyǕ\`fc0*^=E0b@8p+B:UGXywitzX9`G%qW T.FN YDHA6` T($L9e68.we__K"VF`JӓӃ׋6X E`.'ro\G&|YMԀ+vL<]? }A%HGl<ɞ E&45U78k =4~WR'7i77vKTyFY@穾X !VQ~a=beFJ `5WV\6r?e% 8 iZoE^'}:kv2rv H5Zjy`H5x}Q`uSaJl#6bmPݺo҂QC,6?4ym!n\MybAs`Fir0d<>92cE,ytoľL{OOK*uIꋗ/0Ŵ_Av%u&:\ Ñ}PiLK_omwi(6 M|sa+H 5:v IV Iq%-}wv)>M 1~+U99f1i< ]\([4dάvٴш[,wm۹w=A !+~rVZbObz{8KŽB;dq{n{ .m%c%mXUE4 ;>E@r#{K9,>R]fKa5P/zHv\ƶ|xݠIobZ Wyܟ&iAH/7yb앛5pZb-x}ߌehZ_>sOj(ahHY`V" cm<3Ph| rMG'2y\?b2.˧RO^mS3 "fߤܙ U]A^[YQWA$b2mG^pdF[ƲS.=aCfe=˧Ć 9ۦR#u Y"?3SCJ+!"0sGvOU"t 0m|Q>6ZPzy"m(#*|FtR2z ܐ3(|5y5F) 옌szC>%}DzL@LpOwW7?;Q lY~-U_%}H!-t`b}LP/:t& X5b Zk i$%C0FS84)WLw׭tlD"&4`ɟ C5ʆp̑t`%Lc" sfa8@fpaWi>bj lL' 칣W~!R%fpGXW7VCbU`w" {Ýڥ31iQ~WD=4ɢWCnXuajc),(˿vw0sx#]Վ"ÓTm#t8xuZ~ u716Q9tUIB4w.-ij! $4'ORvM]JBިt1$lSXZ쭇UƔKx˟[&ZEV;b޵ =hqD3l7@D5WD1#jBTg(QF<۴|2L_UH_QgZ,`\dTr`MN=;X{Gn[*?abE\V I6J6Asn&߳NS)8ǝgSB.F[xf $Wi6qL ]!ƒd^Dg[lqXL+yVo&छSd]UCXR h Z/Xف!+6Ϸ٘Dhh;Ն 6)\BQb]_ΐ$S$a|ߖ K45㸷}2&(>T%Κ 4e[?lNtA hS7~ɦpqffvPJ 1d!g~W>pڧ?s-l+(b8ÙwGHb>z/!; i'6{a+h>tӼTmRVzlklg )U^zeZxVݑ8$֪}JF S9%t$~PMֱZ&ȓ[ꄷdX`/yV ,(L\/6%M%D^oig[zgE(IM=p5232=a5.M*2Lcg=RqD;#pA~HBu3R^KOYTv<uPW~65<)f\(&(Or%XN&,}IXo*ٰί"_`hfGiO.VA]?pᔲ^sP#xt +W{Uzq^i#s,P4IO ~OQ#Y)7ql*{*"+cR QtUo;Q7 퇉F-6>_IFY9PB2 _x#%OrUʍA?1 uo{3$?LWFg <Ո "[` .Uar;4ܚ{CuWAz 1OR!>}RI ˩$>$Sum5oy=${{BXA&E\b*7-q~27eO9oCflJ"J0dڤ/2m2v8 ߣ [6cէW4ii,={c?ó} o7բ]iSB߱nJKoSGXt3bBK/S?bAqy4Tv;EeplH׏烞9o(IZ@x([um/TB6Sʒy9LȃErfBis203Mk|@SQC7$sjGحyT9@9G;|d56,C:u)¿IغljrmGzdM4ROJKPSp`՞5͡Y#JcF=N\M,B-P, 4e5TXg9!n`@CNr֎)C;q_?O$lYShywJW_MQpZP}?bn ;uǗ{y$VlU#UhiTs\G?v)+2Ă)&wB*.4Z3)8:5W4VVT+ʕPcXQf@aeBѼACܛC5jCm,n%05%Lθq]b_EkZVb/N<,JuЍդ?:w5J~$'yh(t;E9:[Z,# P~oxHA!]8vmhD! j]&'b Ϝ:\ӂӜ#[iY/t_EM`G"T(E\>Ogyf3ʘ7O/‹;[r YZCt4sC Y׮7s|:@A~ԜW3L LE:J6ywsE1Ni10 ={Sƚ}OS3$Mmr-214IUXZ)OS{&daۋM[x3=QVSBOafW:ukձS`Ɋ|&>P21sir_.1l?sPY'KXdC,[:hDB6at9LJs~P BYxG̀1_X20v W;C URjFNRQ[|heA2H]$s>E!%,%峺`s^s%)TlBwB; Um)&pr7ۤTLWSB p/hUUP@x|y̽ڢWJL?1.p~< i_v%*)0oƢBIȖ(q~䫍Cm'ۛMK=!enxd^pLPG/N"])S! X=aKb 0`UTmE pZ6߄?jnJᶰB$Ouxpr.exj/"#+-M yyeLj[eBɆT-I%T9 UO|)5T)t -XCTI).)߻*'=\Wwڴ0<%Ns Ș$j$TZN8 *f?f$p_l8XP#\*j|6_i3X~,y5$aPqI!`Rh0n>}CW- T ϕ%Lл ÙڂVVČԲʧKl1^I&G5G5gs:Qibf ҕ^XVZw :?M%ݨYR/xI\Ǫ)%(5|iȈ14"Mg!cP{%:\Xz7%CIU󸰟aW8uh q)gt& Da WiO8 <3ո̫7R2JYsu:"2 _Ol8U4VST"؛]*EݠER+! _,.q3-G{,vYT"'75'J!Qa/kEP5orr5'.<hlΠ5U3j$O?ϐ5Kd̞a.䐁]5}d&|EA ?fwqp1fHB,{uKn\XE`x=9rT:4L*-%$`wļb>s)G8Q.X]7ka13X݌+/w^HPI]_b7@YI A3ip5|zQUJcbhmgHDĻzS 9OF-v UU;/OE܌J X13H1E=$453bOE}8lPiE"KgE܍ ɘVl7@×\Xؕ2 cV*r_rUT[/_ 9-ɒtrA1_-bRM 8>oo)~'f]5o0e(gg\¸emPkֿ7 Y+( ӃvRwT&7|/}0<4 _Pbr{ScަdeaaLwq39dbiC"PDZkjKS6~xٳ+Klq/tc.@hq-; yY~]FǠn@i V |Bʏgfg h7#;Pk"|8Jʹ,a2$XVmS7.Ep$}Okǖocu5ܿ6vDGt)xeLt{9e/ \zx$wmJŽ~ݠ L6q5c5ٕd<]Ϲ?/쪉Bͨ5Dr}e܀%Yw'.Fmlqݮs X2zBu ]w2%pIkm+ϗIby4G۝%f wvZ3rUMXQ<2^{qPJhhQ8R{ b^VqIwSQ'">X>Lw08&j@DP[l1*[Ƒu6L@ū'G雬OEQ{Д B*a}k^Tx^YYfuֽ?)]\fk [OaP&/TM2 iEQ?JK%ۮz[ǂ3J a!t ˌW~%o$n}S ;C~(;iUcv  ,ๅEŖεt }wZu"|91$*A }.JM&5xq>G |3S\_,Y`~:lN[15-^<$o!J2*~v  ݒ}6*>A_cJD>O^Tlo"oQN/{h2:1c13v?KRs"?*@ JᔗTBOB 978Qh(])7i 6ꆟXGH`1YXb ;_1xB'>E㏪sL7ڞ n% \-\'HY䖂k!}{'>w%\[cI"E^V{ıӈ2 ! A[خdDh؞g,xcdCr^0JbYϹK{;t"UUBUaF`ZB ,ax-t;ڈ>97xsU?:MlZOn1PpEI)f tquu>*S崥 G\ ʌi8_#];g' >2PSAkjTL=Trpn~Hl+{&`洦<?X =C;e[T\D˹u\uM޷ R6|2"$irI/CsҫQsI?]Ձ.J\캩AT嘑W5st5$Y] 7"-]?34GIӄBSt+X1~~?9aeMiAJvBM>rWmgJEɸ zz$K熓7`muVnpml*rG`=Hgc1&$56Ӕ7ݽe|qGK)&d^_DMVsyĜ}AYS&A2BBSUKtی)Is:Wd$qDuI-uy$brX|2`~|d>NqZF4 5b[MSP9FB$ Oq M1A~}MRKEbepa-,l] C)Xl!4@y[q\x~ -78ʗ? J [tk# ЃE#f+Q"S)6i'qT%j;N)~\ ޖN *軐8@G6ލWK9‰ΫŽ WO+R+N0 4Q7*~Dil.-MLVezeô7N3͗ϒIª}-W|'蕄ձ,@+nw﵃^}OJ6GRƂ{nLREeÑ?;FZz/?qc$/fAJi_) y"Lx!%MGFWp pDjA,Ca4Fo g{Œ|.Wv&j(U̲} 鞻Kxo0l-!k]KV˞NArSR zˎS5x|pYe0E$yDpFf-|XQg"MI4HK,r;No^U|:sY4|{X I A'k8,1Cб@4w,l%'J+eQrԵS($U<מ#*Oc 1ᓭ(ZP ٣J~* ?)QwM#Ԩ$ǜLLRVVt㦾湦9xTދ8&ߗ6'K& tc,p{(gb&nAT L0ͶjRkVY -id AyGFo[-zsA8Eg>~vaydJ$:aGy8?' }<1y R5>* h8E}o1ȂKFm/^}Ci髬+}Kֵ$Sd#Im+M&3wTP`/ͱlK ɺc}'q=JW>t5Wp;,ÞQ=[7C$,҉B!zƬq9F)SpU .JF֌e=Y+ c:;b4 w 6R1hN# CU 1L>@(a<MHIH!;g9pqB4;-?}ހO ZDʡYqtJ\0(\e~sszFJB73ĺ:BoIY|錢JލܨƜC'<]ړ@}Ez62 a)ޟIZd 2 tc9i$ o>T> Kjƭ׾KxgހCcksuM:Y]#l<7%fhfU^q!Hϸ(TsXqrAт0׬i{Jx}J{}űT{7KjgiVf߄+/wKFFwݭaA dX< "zj9MIX1Ms9-3ntZdž ^nj/E"hGȤh~!Ќ8< ~ҥOmCdUmB _.{vT1ٳCeqӶ Є%e7^ -A)O֕_;SD DFC+y[`7|SqDX(2D&Ң5'JB+0xa|/\DmL"@{nS! ?bw܉|.,F6G;U (Ƅi9+|q\+r0VhO1ܥAw~Q$+,(/SES4!<()ʊkES]HnRo^* ;(q37Leg1վ$:-`M\@PdKkzRh7gR1tm\y mڛcUf2҄ZP^2^U֋6gDn^ [5^qz(#H!8DHYs湨Zy*f`W#1֯ \o1>::ʴzUY:HDW\m>&ڶ`ګG:vLNBN`JBQ?x'Y9FhBV-gK 5`_9 JGF2?M]S%@ږVrG@v&@5T Mu"PMX_-L#ԐGCAJh噮hv:mfV5i&^"ZʬAMP^*U& Ȇ?[HU-d{7H?GڧD$g:C~527Ra=anwʯ<+:2AJ܌.L X&UV057ܘH64 {?Iሁߎnv!ï u+#LgmHmJ&77qr' Q^&^`!JRH$v'c(ZN'ӱWbC<>Yim}8snTWx%ʒt%vZQ*̍̓ew@Q=lr(B7;h>J 4蒅JBo;`g9 䛇n@^M#P07^kS_wsь#(q}cZOXz1: &lgVO[%nLۉz #Dz;`*sȼ,k!Xwz V#fRV*i* 9DjjxKYFQ*z%)hJ WpSya؜6=h*:#E!_+~SC*FqOYJˆM*Dc=ՆyYoUrip}(`8mFSL6jȬZLOfOuIA^ޟD +-XW4o /AG<(fM9%%\/ӷ|Lt8;jU@WV>L?G,m&k~ܽãa^UId:HRa6V#@0z6_-Jr{jIH=;eLY$k Nd((Ip}:cghoxNU*o_2>LCzA[!SsB]Pl]~Y\ga_]gpgGLclXz5̚QS`"^P˵f)({uQе{jπVQI֬Qif_`>d5j )ź*G^͕iCn]6Yy׬C꼿x1R*,aĉwF*_Ad⒣/8R?OEtdخsFP,&S?lkX*)R(k_OŇ`1/ѺVΕ[6ϟo%vtcn7"p ޙ=ۆB[ wuvNbף*=g\`w_is ;SYe^5Tmp# 16ܮ𶔙b:/O__LK;zʲ5Mb.C'΄å6~(۰ _?k&m>ɓT]0|yHn3RB^%XՖw Ԛ .F6f{65@X8{D8{w5=sc n78`H}"|jsmE=')L•a9<#.Hw4z6* AkB\;b^U"YqSȱgYZ7zXZִF! Tn]ŗXi%L#K$[IKB(sCQ^Y5k2,DrC(,iio! @Z2B=~wЗu/,i^5"@4U?K3 9E\[l z.l(+|ƣKaVm@|.k#rk5 -;Ff|4.3޲ ŠF[Nq6@tM܇ܳv /UK @]Xv>׬ ȥϷe7k{/b6Z&BqJQaBO~FI<ٲIIrcc4A ۊO 4AwMVh\8u942pfO# qBRQ\Vg$Ciy,o&ᦙk!W}4e6J[wSWʼnG 1Șp76B:SM|;ʥ!GJώ [z LsU'ծ;N+F$'nk/v5f ^iF0c )Dfߤ|{~uQJKVhTaUOu?WXx^ʂqV=YgE@J99ܫ]3缆-t >gFjA%L**̨ueBhD<$g5r"l㵱d6#>*R}RΔWsy+LFߧP%j8F3j&Oq@1u*NuRן bL&ϏN="qvZsh:$/EN,Q@BQ?J`2C jUlÉ"AoD u3U!@Lv{`C҇HS0$aboJ#JP?vV&2 a(S& JyT2^Aech-D{l-Җ \2&5?.`[榠%ܝӣsP7Kh;ҾsD!yFZ[?/`F{!%# !J%.)/I# v+,U(CT"`x +<9ެJL 4ؖ