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  !44L ]]]HOL-Proofs:threads=6elapsed=604.498cpu=1690.956gc=235.340factor=2.807zXZִF! T]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZWӗ0Bdh{Hw7|ՃrwK:%UXU\${HI,7/'LoΔ8#c 1\_=ˍx$Y;he/xuC̪2)˚⤍|0}? RUc(YX6KPil*=XAK;\C j7i4T@fi-v1K:cjʳ7NTu=vºnv1͢tlqVWٴʢ\ݖH.<}49 BZ#3аQx ;T$Rw{Ofb%yf5;tHaùlO6Rq'J4;wFRo8B6GvDUB{2? zo&\[xciXc.RUmAWQضz#D[;u~gMXKf𸙒%Ge΢vXJeAgzᮎA̳/?7-~}LC0pfl#5Q>a)..8P sv6gUJhᲯ ~[G&ZAg(vv]r'ݧGuKVbh_kp2RپWFxs~ZQ,@ VaXlaxIy7Sd > ]gԵ `wD\ -cmhQ2YHT0 !꜋+BYtP5,jc%p5_ o cI YE)+=mk%pL$9e71{e9wj+56"e/J?>e rݳ& `L"{Evօ9_6&oRȑO3N[ef󠉑 (9{K"mX#.@Ô5RKy{#:3mQ`E9Y''@3G$uW)Ih[NT_. /8w)ʡRDv)3HrNF/`޾ 6]Ҷy[ZPU\'MQ|S{%PdTFEwSO<2%U<&j/"ڣ,2P=!t{<̈́R!f@p{JF\Hb nEZem Dx\]&L,=-Hu;fͨoIO1؀l򏱖`] SPxUNY0(sL]zY#,E\Nxio_`+$]KN$Y:S ï).;e)|Tز=) F҇]A@"[GW8"lAw5㳀#XwhLBHrh"RcMNjț3F!`SZW%sޫta(: XvffI =+0OpUal9V 6Ýa;J⿢XPmpZ(-Zv:Z|)@dW,nW5U0OpKحx eZ>^rHCNaopOU [JIK/9=<։]7MP0hRQ4@tO]B9ط7x:>ָ-f9cl_ia,  ! HOL-Proofs  ħǺ!Ot z;xb(u~ní۴H׼ԙ +;?E:%}YC8tDvĶEfbL sr/y) =~TI8ݘjҙ.n-9vq.Z5Xb:UqUIlA2Drf6$tNYi( `x*p ,ѫE2X>~oG{:ZWX)F,@Ia,\uD᪟"u줾>8 #RkKڇ9EK"q#!7s76MU X$9v-OqT3)#IVft+>b+ƞ,Mވ1N=̣2ï }U f)c vؙ1>B pHiAk \#]mB#ZI]߱|7UR@Bpk>86a|se5 &{yg ʔ  Dϱd*# i7-5`iK49 #xDqnEAF_#$ 'X𪲻 ]k[՚s/=_sF& ֐uT]?4d`:0x+dZGY[ߡ\j)W1PvFHHw(Ln$$8t)b&A*q}qۏJ+~w9}3ޫ[DJI^$aAg7UfZ|=KH"G9 H,Lk)C0 ZVc)u8NFp#^ӵm\iUt<˹,^͔x߰s7j/Mm]S"ɘ;ȣQqN$ŖifoVeVr8(x ]StIeO4M-Y6X`wga횷L2PeόTƤ('518%C-M'ͰSo{'Qs](.Onj#v;pN),ua6q$KF Sj ,Zn?.d8WST^zǷ΃ԝk.ԡv$L/c;3$3#-Q I )M ,\khX/\>([)֧f4}߹]9c”'N̊2Ô!N3@ &@x-gIY! 6=a1ƨ!]ޑA.u kT6'$zF}1$tx)@Lyn3cob{H˜`rU)O|Q0,=B2Os/A+NÇc.D@[)ws"*%%}EîZ;N@Ú5 ?%7O$216o6́pXy/"T.Y`6b|RLuT,_k^%6 _gS ;F"MR<ݣl6nV :3Ds`n%=(Yh4^UCv vR B3vݝ(ʰfV_Pg~n>'Ȧ!x*{QtĄ&8-f/A*KH㓍.]#?clfw0Y\Qʀ$:eTS jqr4,]}|Tuc 1%)^ţ=oCt§}{{>_̇?u9;Q#gjы>Zq:1x L G}cKN^F[ŭ /ƅ֚Dg!&&a:nzfCztD:Ub=x"w**)ip:7O7bTҸu6[Yd&=vLZW|'{1,&GuT4'H85Ct̂ɎS`keE?](gqRŻQx!y!⚢Xy4גzM"p v&`[Qa7A^biRfG |Q]a*4l%zf ery_߂_7Iۜy_̥"iWH\@2mHILMOß}Y5OeQ=c`|tQ :Dwӱp!#*?@=bM7&MS~貨;OwICc]s[#2A 9r c#|jċ7HcKފ,r.Lnea؂ eX.` 5[?)@P<|3GmL@{X*'!֦" 14C4K:Q p3 *VF>G,6 &WYrd^֮ EM!!BKA̔9r?ms[LPI:e1-dʤ-YYɔ[%x[i.u.%Nv6ȍgؕ߇-rԨ )==} @#pK3m|pe^>\<6 {J6h!m,g5(\Ӻ]7Zlkaԝa^#KJsc̭AjQM?"$-'"XqV Rg!CHEGDuEVkX9W'&ҝukNI ľr5ċtʆBBfۗΪh _@śIajP}Thm~6P+pgɀKd4Fh"u7ByjAdj{kѕuW3&A(\XXe&4,NYkH.[,9v.MYuj$PEV`BXVTp:zW(#_UꬠꛛJz^Amo HSLlBF .mW<k|=#G|IaǺ[%R@dfǢYJW OV-el~xmT#W$' ،w_ē_c<{[f,5~*2ZuzxYG ޷,4[@tZYpCY_˶Һ-i?10lUl?&JC%)uDZT+aiaA:Wd+c4OJͫHҺ~L6p]eQOYc#2_ <ڌ>:_X5;[n% Uu}^L`!?iHad:%[b6on=>F]Y P* {dAŊT]s_l\hT5V򄁲ILNQcD$vS)$AuʬXR^<1_!yZA`:d grE)GcDJQ˲?6g}F]аkF9; sMwEqCKbJY`XAL7YH8a&c(2:pݺ`/sҤ5PXBpinbe0\\D# xSW/Kc䥜n-vwI?4=gA9_.s,0C~y&e]r=t~jȳ%rGZ.U_̦v3Ic27M`n8W][) 2jѱgYZ7zXZִF! D){^]ŗXi%> ɼC[(b(-b7o.(`I3,e14`( E}-&?wfX]fqud$uP[r? O8!b9"ب*fu~-%Ct,:z[yo7 cIP+>u+n(ù `!i7;a&g搑Z{{!wyo+v9ԚӋIĬ?M6m<͊:~#]Dg)t},vi!;sρRITs5A@! ^AڳHjKTi6a.> ^]p@Ik$\2). UD<鬗.`mqDa.XOlEE.\uqʚfFXwsesJK}e.Mj}mfE`wQfohI Pw'j?G1M%<';mF(F#(D,TX(uNPC F`ژ~("mE0YuڗcAݡjS]l׳fF$Hwiw^UϗVlyBQZbZ}tÃ?w?k@OǞyL.@ *S_Z?pJLI^! Js0XgqRX<{dݒklL9;-Wq ئȮ\`ZDdÐ,r=ϩʤ7&"܁#~ qxί"-2sQK_vd[#-37v7Q> `C=X80[ 桱iAVD.1eBvYD5݈{a/ ̉!/7JS4'{IYƤ0_@30*FLCD'lQߓ@,]W Z=o2ӦAZCM"$j!͒}ƽRl&V仍D+,$}16Lt}zkJ瞳d8y׾RDm]zN~9}2q(O>. w !tLSЇGpՍsV7.Uj$y۠wQN?'{A'h`?Y%6><Ĵ%ɦ@)l! CI5 ;" 鉃5V?pr; ٰ~{gy@ m jby4< )j&ן򁭪+; jn+![(y/*wz!Йhn dya<5&'7] ˓c?/ܜXWgZuߍcnA8Nw˜MƳ̙2|JꪗqhWmY#N1c~r#Eʹ?ڏ(g;(+CH"BSG[pz v QB޳O$.*CL0/ bP&K/ ĕ'1VY  tϿP2! mlb~2C"Q@[wEfltdJ.29ʪNg?7II$/a]G0Ad0<Ӧ1#r1- d{IĜzȽkT3CSzOI=F)qX^[eoXY tUB:e_:(m|G!!>qbΗ.*4* zO0f4h只$EM5+ہ dQ,٬ڗY 9;ڶ*nޅ9흸=!@ :uUBI?{]]$o ] #؏>e5 1O| gI(׀q\3vghizPZuqYAGSٛL ?E\ﵪNp `F '[`s-$sc "yXX | ՊWLOuD\jApG~UM=P]3G,i#M f|9fwQкԍW'ګj`BoX-u,M4dD3E#8EsTKǸ90ΔW'*P jf\SĬC R>"j˝ފ$siYVEFs&K>mD\]O;'!Jhc5ÿLv2K"]ݞ↵k)`قԴK^w]C:R⏬/څNEU>~x3.^TވIjY8< } G*\J+b.K}yL@ qcy0o,j7o"[4d {㐒bE?d~ʹi;w LˊjaQ?fcߜj5[h?SxL2z Nj n,I2 tj;jCa8Y4tsQC8eXŊd6B3B{:׺LhQ y,\Q0U+^v2+WDD؃2`ʪ̭`jsF0/:(!st|FqYR+GH2&ߵ4Y/OΫ6{ˈ8ʐL3gV# )ՓKŠ[_B[bDFi 䫲iqy59+5 r#oÕ̧ fg8 `zD鹯Ԇ(檇 [ "۷&)<(|b hsT \`1\Sy%'R`ib>5Ď- ۖc$oV&MZHĔa I^<|۽C)N _c *Gns\Dcd`Rh_o6/v޲OE[?os͔]i|gٍ93JPǘ3'd} i}́qOFWOŤd[2%VVډvBJ=>l`;o'Kx\,%O_^{R'f 5T PpPI1? n5w1! N?&вG<9o+YҎOͱ9ԌܭMte rvĒ^ y8:^mJ*63l(ϒVҋFM֯k2jy'̭4S~sHK]ɧޙ䓴JHĴ&EZь{z-QO/"hG Lyn<ˇnڡbbmXxF_' & ?"7z\kk]埁PwEb`Tm<9#g/,`W׫phP@rmY[%72$Ҝ<(j71tJ.Jվl,PwpӮ Oyx. >1'!J7[&a7@9G`^0٢trn{<B;|_{/f}qQ< (. d^7G0 Yκd+ >posoUW+~R1ф_Q,-cRF1acz*@ΈѤb=B]}AK%:3"4?rCV[iѩH,ON5kM곰PߐM|Y-ʋ5W>MzFP &g)';Jb2[jj$1O_`r87>*Dc9_Z:M/M -(w,ܱVǼ@G9(1^Vt+՜tDig_ Խ\;l ͚\ N I th:~ڣ![pԐŃpV}M2$Zqk]<۲gKi~  \M9[XE wN\=$FjkYY>Jc!N/]g: E30!Dr^ elݑf,uO0d'ۨ-kO5ꫜ+vK<듡QѤ6y%]6Y %:$j 3y<-Oa\U6JLg=H!#h>~w A= ޙSdȍ#87s5'*SY͢O۠ 6Z,4̱ߊ> \+ZCIW2Fo»3"ϣA>Jrb֋ vEi\cÎb{z4hfTlQy|P*Zll V(lB'L@*“U#p]0Eb-Ɯw6h3 8YzvqJPk>1a==THhLptj;@|oځ[吣7]Yc- ݏtj0'[ܢ-lbfx"S&2qYpUEtu  brYQ~'Ju #[Ye!֍#W2k`G3k:k# =dxWc CElEIQVȲc[^ K!NdBzAƏ(=F;p>7tw*vJh'l!uT9G>gc~Mrl&K>u`xgڝe}Xix¡cg4FCI`b Gor b=ICyn9zWOiaQ|"dJ]eW2!4t'Ɖj|>yz'_g5pG9 R|ɞv2'>~4b dP%y~}  م̛6I;FzR;ؼ\ܭ҂n<@b% Ƽo ,$+gD%43V.fPo䩰GuSgƂ+μ!P@fjh'g =BVШ0@':o+5YxؓLh$ޯFʷe"}k1^GmKcTq'W6/@BdpԳa k{a{Byf_ٕ5hU\ ?N7\p͵"G Ez /{+ENūY& YXgtxf֧/Be;UD}0 豴;h@uypEY FB˳rN k9j#X?T!W]6LhZe!rZ'MUֲ" u*p9^[Hآ镆lg)lN8@,OГ둄1{h97h9a i_FYsfuN̮{Sܚܛ`934t>BVčn'r"]B H9}`v&qd j/ k s"Y%=Esa2܋k*ߝcCFe8{&U\@ȴqܦC v3`b qzDn`QaXVcuogݲbӍZH1np7WvLv7hs##*ty.i`ti`:U"QFNFOBL7@બoߙ Zhp 2iך4X*;k gMY(=W)D=~1n1h?Iϓe"{H<$;ܷISo:0 uDVב8eykKEzL8˖<5d59)Da/r|MG1R8DX(̳SDkՃaG1Gdnvȓ^d%{kRJ3ܖ\qwiġu)md>/d0튚sXdq0~u8u6V~Tgٴgs~ d$/*"]5X? bg{+nx5 P/)q~ ֎V?'KY/%>Y=].Zu6ڙ,c#=o\5ƏDSUпfQ --PzUu&{)2bq9#`ry[>gIEľI$&$ZKUdTgbօ -/>ө_b&2qJ(΍7ǝC(#wJ̀qEcg RDq$\i}xV)mHt %*5UOq8Y,o&+v"F =pāoL_3*m̤x o%YDA`XlG : +Hm#"}[VR:UÇ[W>ޭ&DlTDԦn"z+x 0# RbUTKcJQ;ʈЅF6JX_/ۅt Xf (@IbFf &hwߧwOC ^|[VIKdU 3Ӂfp*g =VDɜϞRvWzc^Vx;<9tίOX8|Sq/6a-77L&Yէ'^E[?qC`bټF~0^3MV5RL;8|x?zHI3 "bDs['W)g{*c{|[m8LCϪӽR~ p ; 3, uݍaL S L̉R'+D]nEbhsmX0hMGSqq qըxW3d4rPe_; fO蚋X j@estՍՄzRw+?|; ÁtYNUgzZ{0IdL =Oܸ)c= )4neWZWڭzanOr7F<8sDCn =YgDZ$n)bTv727 ! %02kɂr5y3ʸP 1uAE`[p L vY6y:|I>e;xx ̉>#rd@m 2WSfr)PS&ǰLys%n=1@l=`$W@kːdo,UFz!z<X2 ~5֖6~v_)Kd7):g \:JX QR \&.0ʾ8>ગ6S p?>aUQ8W2!  0:VſĎ}A,ք|͒W/ \49}LIh%8cBR@ߗ S3.|f?toQZJ01`22b|{iPl[ ɀ_Ad!7)Bw+MsW,>N!q/ ('krhK8$5[ 79rapĆ?=#9XyUV>B0N[h3(Jj`jE>frWwdiT\ͳ -^_6)e k X_]*>xx|1lp#0co̧s /<8TT=a ~\E*w @Z 3S"*F #Nk>υ11a?TO)ꆭ d ͑1D/EoC@!B dGu7[/@0}9]wV*ai9#`چ)m#$bwtT{bOF~ b#C.2BC+=$0D>ʋšWw &w0}}ǽJfʏa.x;PܚZF4Fw,.Pޜ5!ؖi1{c`]8O?HԲF$9A4u,6ҭTZE&["!^ P,nNGPST$] 7)X`U v7R\Wq+'Ai^$ePG)W {)% 2,;HņF\cuQ`=0j-tx!9KLq+z+YL[vms䏤CuD4,k\@͒ 4B"2vi "I.j s\LlXn> tv/s̤-l-IJf_XuEsce= /Q:{jf6l?#dU.l)LcWdl Cгh ẑB- %{HY.-oX" T;5i,=0(wէ_6 0Pt5ݷ 'c73haD}m66h&ȳ].)oXp7qosW,Qm2 (65乁kdo8i)r`\I'Cg"3ޯݾk7tԔ,ʙW"}- cթuh  g!*.|(j䶽"lmܲM/LgbHR+^=DG^tn0nΗg+CxjE!C> :E:J=']S2ӹ!( xK0{9ܗ4L.lq{59Rn՛` : TW{ BIW>l@k»qM8i8IX#4n3FV(H[ `WN\-5 E=oi&{~R8tyr5aGXiȇϺtnTmZAq%  Nwh6}d@(75?t\>1x% \&1pՂcڳB7[)muk+D?5Wُ; Le5[{UOS>|hʼ̍bL@W;+?h\Ĕ8&qr܋BE]ʒI S'ָW-Bmho8pt{ڜ@B D(,z4$țvfZ_:דĒPO|QK(_KiH8VS/?QѨ4b/dAZ] BSxcbM,[{Z 0],sPPW֗A ݲU SC(IǙnNXǒ3W ԯ™?hfXCpUNyV 6k1frn]VaZþFX d1an}uK۵^Ż<0`& O8Gǒy&cl̬  #hZR* П2Bz͌0 y:^)qC`|gX,Y+*1 uߟ?D+L\ G 8 lgW(/d*vwɇ*&<8Zؙm_IRӀWS}4Y b U+u5VAzCi6[NV эU12㤤Z,g'xrK"+ТP̔{hu\ȬGwJ5E+NT'MjP*C1WۚEi5dէc2p|ęz2uqW;Ţ$gGff:OawY(MjJ7J#i^_?;UǨdWWǞd4ҡ$ೲcAQT2Ł`Mb8;>Iu )3'\+xY}1IS9j(oC[ ySyg% *t =ӣEw}p0 ߅#2jI #l(u̹': QJx\-wBl0ycmM`M.V/"t0x.'GD 8iݖiiͶ ҥu/b{?ac^ Ked& ʦ :J~DAo`Q8[ ɤHTB55KR ~nR'=lXYr\{W@4-!i~`J,ԭ>3Rb2J<@%$FdewwIkWl<=@MUsJ5<»\CP:LpR@N6@wsv{ K"jmЗBi;l'2 uRghvd \v*c`4 L?$e1f"ֹ``Bs<+JMRΠ%ʴGBPjX\K7^0w|ۿUtle ۂcZ.1kcCYle #)X= 8*)Nl97=,oO4Ꞇ`0BENW½D1hb4a^;B 1a.fUif u7QDl.6掇<B { ™*"!eo@HS@0`[ҋ*ҭ6`0{R;\iiV,I|GOFGޖԈMg4y YP!` C.6 w_kq>=<Fyi1"2Jl`|D=~l@Bυ;@6֞Mlʝ=' tbUyrW)=ڽY6'ol88ÿ1DuC{o伶efJ,@:BݚsQ_Mes΀.?t!v2b }IѠяW@>jTBOAeԀ wu[[%xebeCwX\+ja;s82S ޷)Çm6zboz(#0JN<ט/C׷DRm"ԯrBm yʟNdF8e+ĥoE;))zOwQB p_}WRV;LyU* FY= a{IwܾJ^RI-0T2pn%&nI#:jGH 5lD4 LɆ<3ʕ%9pϒa+Aݫ:4$?l9VgkvIUhWd!id -`Vm7*dQ;73 Bg̡\VS ~sqtbʽ =Q~\<"#Q:9ᴘcm/g|@O-Vͳ߲­`t/>K@"$AbC*"L(W0><;l$D2wIVp!W"Rkm5kg;6{"8K!Um*}q+ptRxPd/lRb ԛ /jíEU)ݯ4?:<3CW0w"JF®tSB<Oc- dğ#&Kh,d" ] +!eS* [*>cEW7ݤtdS\jvA&S9r(γr+Fm'W`sBh&¦~PIX vb)ԍ[W!S* = ?#Ki(p8c6SpMT a6>c Wx*Z Far@ѕ|1]/fv5O Z/%@V[#T'C/ v;W=ڢ cfqϷB+P\ !*م!-bu;+u12v|BMch$ -f` %bO)ZvlC.Zc fO#^ōTH= G{ *3iTj "y%MB8,$pNQ9V=կ 6:?+,N(8w#T^p`=xE%IIBaTe=<~{a^.^"{xԀ?B|UiEqj;lrNLnA:B t@Eű1fQitfrgC4YBO-k8qh}LlۊrQ UL:Ҋyn7s=xX cZJ+I5@TekxfxIzΥx텝h׎ZLX@p' [O'_e5#YVVpؓdk9=B@E@tU"\u Hfb*fXZ0Bw@SY{)!du9rDT>RkTL5<÷vBsSqj&w8 Iٵ>= M5`M%P< A_qXn\śGNis}V_I%^HV+rX6=a}ӡF.׷TMc%.&R|SWxu췍K2a{BԳ-?0(h0,hDV쉽˼*GψؐT\Ǘ6xuf~@wr%lq2c( dxxzV: Вq*]۱T$D_z{ʥ8U LJ.Ҟ}Ln,GzոN$k3w[bDp%iL=tgH$|Ej&&3eY cXq'arwE9OqdI@w$b|&"3W">rQxgd8TY2gAŇ>K3Qw帷<9>Pacb]j;(5On6-۟d€[՘9037ʍA}` a,u@*{/bSlM L4a[WwIoR{uyvc>e*#f~&(=|5˭5p`^ky/=c Y)b5~ǹpPHkAC8@D~o_v-H $*$^Nkͥl+$!vFNw9E|U`2Tz{ԤNNBsBdLFQ7`t\Psv LLi@ܒFQYʒ<bjpQ YլL켋 YB⤄!sp22>ˮ]mC<:+9ړ MĨ tcjQ 3#<%q^ 0\)f*C2_,O*<*5 h=ЉkIS ۿxo /l Ϸw=N[й^+S$]nںKF %leV+a5Hl'KLLb^(;g'6G u뺇U1p!!4y Xc%ɉ$-p%{„VF{b6yfzw"OE,jzZܟCmgjc1-/NÌdIz4ݟГ-bqEx#k)33Rh-*zQ,`f7K ~7FSm Go6IXrabȲ>TXK -X:]ͭh%VAr< p 'UUnsB[g\ 뵶ncwF WEE їugk+ҟLߔLBuÂc0,bgHRx¬ɑ77! z)MYc9d€>Ĭ?浶;eA-}?53xh jnl[$`誇hAwD @kaJAi,SyNpl3*+sBHPBgn[+XP+/mY$tQ{FG z"0>I5;^x˚?~V乒$@>4n7*?:}d{W `]c<)x0`GmbƠ3'T.<(]D˪)PLW6~`QS/-nS[BUe.r~i +C@ dD+6=.&!a 2U'*-恳 ޗޯ@ؕфM[*0(Hk#d1(*d,xMkX8 {Th֬R &h)֣ȳÅn*ݨ񄒄t]Љs  ?u3$R#O';7NkĮ_b jCR fN%i=/P[G&LN!9cmqJ$8w BrH"! 1EsXv}(,x+ D+^m֍ԥb{pbqNx㴂h #`Θ}^-E [aNjs6Tnl:;|F",-G!="v42q2twe؎I_f}hST'7.k wikqFY6NAaq[?PA պ%+9pJU'*G[5 32,lˡƴ쪱ktߗ̴D-_ow\QBCdvx'Nj+=iԠ]Kz?JP?&X!+$X.7U5u7{wyzgfpSىQ5E 3̹z)֠h\,歜NOx9he%${`ɠy1TAڎ]L4!'%:qxh9d ڀNAg@DybW FD?[UzVۼoyYzD)"'T} hMhd. 0#:4]{PGl46Fڐ5Y/(Fr 7bAR[y=fO|Qx^#R109gCcFU8o(!'0j:'rf-xNG7Q_Ey{ͷ9iz٥mPPěj%xmZEJN >WG[zT4IF_N=?sE2V'SėQX ֟Ջ{F䭦Y W֯ыXDb1FCOUATQ05nynCW온<4 9FkRDō;/-:\MZjXWVґ8'd WerT4zS۸ ҄ :x)^f9`lJmXh/{z*bxDfZWĞ_A2;å1ѱ{3h {77<CHb.3:SG0jf"3[H>2xi:G՘"[Dr鄺6T$*ۖ @;8r½g6@Ef0so|&fyPO(! \Hw2-_Mp)l瑓elOt(g@ @or^!7;Xv 8x_`i#цF =uX R>^q*Er]CNٜg]kc6{*4kIHTv6 )xY7oR] @fL?pm` 9xhǔRq>V_H\zPd~\*'JuM% *.jLP3j\_(J@ I5ҴOZB0_"ыS9~e\05G]ZSc&;$xٕ# $FPtMjV>F U4sIM|Uei|UiA)ýoC6ޚ\#Ҋnr1ij}e<|wCEUW"YڑH*I[rorZP鄘SfQ3e(iڿݤA9+hXGW8nP < &aF~`X`gv&msvk.g (\p%VV!K cԏPcWXGM >DOg d&4`ʽy^}K$v ɷDI6L/\olq~yvɗī!j rS5ퟐ(v'qk: _m:~:l- iiRʯu #WZN}&\C /ېbփU-TED[l7OiZ|W ߬͞ITyJ[6tzf,عpZ*Xo34; t.`vHk?0V5ZBhIVnlhqPE W$|] stH#=oNXۻ˯'R1Ii(<1 Lɚَs35z#WҎ1J2'zw)i (,Ux & F9}(36!yxȔ-#-3tU DOp!gմ>t؈Ux}!D9o62M&M3 L݂e:7ȭsdO:$H-iW"P"#29 ׋n &I3b2EgwӜ3'T= M$`Xq8>E]ێ<9wݷKw,ZM/Ooy*+m N ¸*M@{ ^ O-44uhԜJ xx@(}jK4}S,ڜw6_>/jfj 7 ĩ?ocr%KFNEYS;H-;J%I,[A+k;@($mTߵwC6_q~LyۚΟ|!z3e zM}A$﬿DyX̀x$0U.`FUQ9fOJqQb ۬*T8>qka_'EW|\rbB i IφPS:.|KYZf^h3>O_> Hc>~i~}er5N13/^ё Օ'y]~t1+SG U#\ВX訶PldCCMZu`|2瓌E8BS"/5 v\\~ؤߖRhѰN/y'.jhc.rӺM~,/_8ڵhO{o]AI2vE 4OB"-s;q8R\n< y9`˦I~5 9g"P~`KN-D*>rnhMS3E+)hj Ma3nuNWv^h$Y۷?6 H??C~=3 JP+yp%{&j,~Tn쬘?ݠ { u"?-_oypSD#l:M%eKqv@!>4qMy`PR6-W{T϶&K¾qZjrԍσ/@=W8"g.EO 5EaԪh r!;E;!TUPݼ4shp՜_b} n_ ~ B6|  ǝk5c_#O??oj< Q,ltPvl'b/>%i9D+Ϟ31ۊu@Gԭ/h7,$݄;Мz]2=@"ˎ 7k5|_8Jn:8?4t߁[_uh-K(-f uNhӏ{h(m&mCO-·V,9y(0̯7V=n^Ȯд*GJB P4r'ڍY=)67(GGixMEsdꘇ^gA>& Hm"uZsuSKQ[5c?uDxpHD ?ƕ@W塞KJEe93(MV@Zj4thZ};i;MYNVrUS ϩhȓǓƊzvolõFr }s4-[c{ <"q }Ȩ+*; TU)pGoA|:gi1A_s~Oe&i+uɚ{jL6`Ƀ9bу6hH~/l\I"nw oٲ z'{b aM_~ Ie6c6g^O)(b|:sQgmұDHiOQE5{, 1-tWh9w7\ەYN+X1gO4Їr}.n8S5) +SXĦ^5P}h+rGmiL,a:zѪy(c{=O)?5AւLgI隣-]g'N{>zHw[wfL"tm%IBvY(j0ȣgГMDnGd9/k^R[(iwmcyAݭojI]#AR&WQ AX˒5)(F{L&HLc4(2;'f,,¯թ)b/Z0 é`φʞI"*yS$!i!? ՠןfsf"`fcڱbjNgzECk8HBuyq#Q#F]>CBnIYj  90 uiYe0C.xKddw6;_c/r @Ԉ:]T!H V>}U|9;| =fûn翎Jv9{} N`TF/I?1 ^i]`q}GbB Q+(B ܎w:c+521H(@Had6NM\=tAD\XH>sEș.}u>5pz#/K} y63J#SDnjxMUJx`B,m Ҧ1u_͈DRt oc9w=@Z HYJ8%!AK I[&,sL-LKcɆsEQkFMBOWANZWLluq?,nerCWzyGA<PԪثg /J+aȽ=+< 啗̦ۼДD?4OqzUyki Vqhƍ"jnR!0[I5Zʥ^Y՘,/e13ФL\1ihP02@C\Xw*l-Jh+_# ઔ{B}z.߸ ۇc˓,ջ67c=x"Ş|%TB tD/ _Eɼ)1'Kx|qӂbIF L9 +wJj8w*j8%]燎;$XHYgI%" [Re}3Ў%((ҿ\ 9hZG+m37Sm3Wl3N*|' {}3S);yD >tv@΂Se!6Bg^'hپ;љ-[J]l&W{ +~ܛ8)ˌnۭB9UPXQ`na6s x[pǛ'V SDPY2JʴwzH>P2R ԕ3. ւ?Oi+Y|OoІ.vQRdkGexa9#ѓB ɯZS7y..**-${d?QA輀:nfazD"<-e~7G1(TĹ{aWa14DwIjѷ`MzCTLS D)GC_ߞy _@U& <S4d%qLǡT4L_}oa5Ż /hf_B\5yg )'G̋CR(6ߠ} 6O͝_M,sr^I@"TIwsJT?Sk 2;3 +iM}p J KEMnfCI$F[7`<6hf&onʁqQrPV]1d<R0͸b2/CaMﯛ;0rr* αKwC&b*{6ҦοW<\m\V`QdܱJJH~g1t7+@ՋaW-$8ag'^`37\/r|L;;,^δCiK-BHz {eܲP1#޶C0왛鮉D7;HlM$QM?EA}}]⽚8']na[f*<*?U]:L{)T|mC}2"G) ',dn0DP𗿳D-rjGY%xVyjH %R( )E g5iש- #.CFnԠeIlҕĭn!^̍ԴEMFqG.V;J): ssT9գHek\9$`P$;x  <%˿471hyg&HT&q}P $}Gx5jLbK{D琠dϑ}cb& Ɍ2cb ~?n!p=۶寈z5C鍛鞸?bң; c1lr$y2N]Ӡ[rvpLZC= \k/0#bɳ&z ~۴aSn6% P/hL8̡ՙ@-ݑ)4 \Q)ޗtA.%gv^i?RL(["%]/}F>Utk)ρ43 -Kg>[Gv& 7.ӫj6f'ߒ!t䈈W#qҽ^JkHFIow-wF !S_@:4ROs"8LDMlVde _3#3nMLY(%8Ժu!jh j觓@6fv::].p銣J÷JSսA!4u0\⻯=HMK92Pf2Ф< ]<9ע','|OO[۷Gujމ!6Z4cW_9sw%${&-_J=շyq,O["+'oFe ǒE2J>8!/DVl1OcҶ]S%7;x(QDA,+a;ur ]2\c Ps*@B9BtgE]BB $?4AN S[lVãlsgтd Dh,RO&R6ґ,(çW$oR6Ŵcu8Ixٌu 22h0 n}D<ѴĒ@ lV.jKk? oOAZ1pQ{Ⱦj`UirKۃ?+]\2=oFйr |c EGɕoW. S6INmkҫږ{)ޙ ob~T G36[Ivc3V Xp8"^\+o4~Q#UTF ؈Zy7\CHrO[᜿ \sj[y 8꫓꾟g1͝640Z!H)6DB2 M-U~dׯf^l0 WxIL@KQ%EiPM{fR`ݞ(n rm rP :Ie/6lOU tId J% i= 2+U.3ZGؤQJ'{ǘRtHtZEbٟ9]>{*Zs1EW<'jl҃Z_Vz^JJ(J 9Ѵi.]j`<%WWO2"ZԸcp<ᖷ<׋!=@ej G^2k|ƩD_"G5Dj%sa%D  "0*%w,Д+(oT(r;J5pW^8`B3r  ]dZ!6ݝܐߦUo?JJE #YgmFωVj=pOT*)> \4@QS]/ARm霌l[y0֐\1rw xbRDAaLJՉ)ːt;bүh^;HD÷^fV=3~/݆E >9H,}Q/I˂HfPGR Rl,C)~mgYZff1abd0c361963859c252b11d15f1394a66e85234604eb2567ec75c8d9622816e4c73711a6b8dd2798848c7cc566cebf91cb4a8c35259f3b2652c5df