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  1D $ ]/ Linear_Programming:threads=4elapsed=562.824cpu=1724.772gc=90.276factor=3.067zXZִF! DF]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_Thaѽ"Uvt3oy>[XF=uc+m;D+q zknNt ܋HX(BEKKS a{Ɉ9e(ϰ2((O!LMf#3X\a|.-Ih rΪFg=)M3H+UK:Og"m@\E_iQ$X(itHg*\bqև8wZ OEa:reR7ښPhZxlJw5 sƒ`owaLzYG5Q\_ڦoOW5(Jt;^ryt…n{:$j" ԏYou.gz|/)D '֮PKu=Uw Js-& k[-#l8yB2X0G!8٤|gzM/y>a;ŸeBcȭ7wc?}_68RW" Rw]U3ʮMתٛH,fѩ b.1 DŽGS0Ż<,L:k~j*TC FIFS0a{\X<`ԓZ܃C3CJ_9n?5(e/}۪׈ TBلbzlw {b/ /a$ugK!⤧T\tG7ߛVG"7"ϑ F5!kIa) I) @]<&BYP 3t:|m!i[ΨR45SKj 5kR=y.{=PMPb.*ˆv@CVc*ApTՠkyWn,HR2 ?%:=iG4Ȟ;tQ7If3rd θ&J EM"h~d0SMa~ĉHpKAm8RP V+z(|4A ԓk?"^J@A}vy 9;HjZX8Vt#'rhMWvŰ }= ϑocEv"Zp$ZOvW#Ya:,&bed<z!bC#CѱcR~f1uFWC!U֫JSr fKk Ý/('{t=hֆ4`jd0hΈZp#smcQŀsoa,TBqQ/&z#-|~VMn/ I` FKe tS  3T/? -߶Y/)3aS,H!z{[lج\'"^f:UM \ͥJ9TȣRDk6:l;3S'MӢl&̠w rP* ʌ| P0\>8\ײBvՒuUfsiUk (wzQ⑫ 7T5q S %jH4q}$W ;X[[,Y~|QD^;ZppT؄)̆S${e+E= QD¨*,(#ל&X0@Ybd!J!_Drz iՃȴ[]Ɉj" Rĉ8i*v D[ DB\ S3RN{Ī1@9Lxa|߷)`l|}ƨ]^-Sfk-/ *N7r!p Kﭩv,{'6Bt0}Kɻb5Bz>c}j=G0aPĉvk7iEV:ޏ!l )fk쭵@„mkGg1-G6,S-:8AD:lBkM4p*l6SsBeFCU2DEFh4/U4֓@O?]AT|9s=7@jn a{S9px6Ўj4MgDW3'x +O4d9LXJ(Rjx1vΏPػ1s>ό~D5!HΝz jտk<$?C M/a)5*.c^1#F%`Ky|%c/=L?T}`̙`c?8 ܃5-IO|{t܇f8}fErl)gH6U;ьS;CpbVzm&~C_SӹRH`$}@ DA`n+nlZ=o"9_e8V9|HVмЁ~]TQ8Wx4Bui[Y+A%$wS4)h'9DKtǕ3"?Үh.fәuW1ZԐsbd_A+-r51U-4Wi?*;43w]"'j w_m"!1!ÇaR7*XY18B*;ϣz̄I I3%j) Ic tK 1 Linear_Programming  vwؑ%R:_LKj؊a"7d2M'D^! :8UY8?9!q#ݹ~]'ޑQX4#ULaW^z'CWq7r$u|9rñ 7YNrȸ؛X&?uӀE!iuX"*VT~ue?o'A5瓅czlY]My!*ugWnyxZg]\W؅fOgG,<UHyq/QMZ:{أ_+촀׽1dL_ X8a0ŚbM,:cѳw9U*+4Y5"aa`ghFcV%"ft aݿei,Z*` )ezE)&Sb )f5haW(b匆?)p9_D_aU`Ks5%HVS;WCMt"ŊyD~ Uku{Mʫs8O۳jvuŜV☥_gII 1'n8ײrq`;DmێBJdͳr8&;1i?d4CS|UԿɱH 'ScΣL&%7WI(՘vM-dt=KgijCG%tF1 t?WcE肆\cJH@jr2 -Ȑ]vmu,xs+&(`t@ba_ۅn t^NL NtM |Q89hA_L 2|+߆?Ҁ YXc }l^B/JV#:i!MQ>sm˟7Zk_(ؗCOa3(f ц"w#}1(ƄW;.*XJ lyPd,Hw!±'Ցp!,]/kƖ㈬T5CB\8ƐA.ҭmGZq֋b;U&{S;Kg`IzK4'% Ӆ)0Ti77+ĈX)w;)S_+Eʞ85+`N ffjWI[tλW82|;}y%~?jca4d-cNͯ/|}Nx^sتoP#N_aq:^SPfSt \';koAw|<4}*w-ݍBc4.%aF } '\";*RXY$N)/X6މvJөJXi4q(o/xEo~at8^L.L23gdөn^)w0JT 6( \1@yVx֓ 7U6KoΈϜ Pׂ&Ҋ`HR Gvȵgyrzhↄs~ڿ ZJ9Jr$ܷlC^:X`~N~L!nS<-rr1h_YxKSw";X Vk='S2o4as*O3BFoЮ|yN c}תeedAt.=vr?lVTE.4|,-%ݳQb)mR#geU7SWܩCnViTj"|gOlN/G^7&Lʄo)q֗8A$|HM+Y 'FQ6@zߟ۪0c塇7|(&b& 4qIvS-s9P2S#/'4B]#f  vL-VmuŠq ˅ .ӸKN]uߩP}Vvj~:WPS҂ŤDéՐ.Qr80fq-G cD ){ i4g?`qsPxNZQ[0}Ȇ^I)+5 8Yjz٨EKb~z¤Ĵ>V-4"9mV 2W8=g7)`n 0 E-$咋TUh˴>.f+J?Md!\|TpYxfGؼm)TRz_=ru;c-Hfжt+)wcDRcVQz0)[*`xعͰ#v:խλh5ȂH*í 'Qeiu[V}|2ۅP(?;1ecAH3"}ԵR e0w ,&{%O--[3% Gy-'MIǯw9%^%̶mҠ0k>$B=ުU)]ÎͦȲ@t_Q-0YI>SqQ$Dd4exʆS=-*M x9& Ӛȫ۽1k0ARi0XڜDKN*- *;Z tLOP#^2KeҞχ8옉W?rr Lxwqڹ+c`b`)$`x/#>`|\[v[ w/XyMeXX9tRͫ?m0!aZ1SkWpN]G=rg2L2r/*֕*E{l;໱"?0Q1v5LE=RDLbǕc5'NH&yxED5^<$dNa]Ohjt5GncBUXS5V7LbބWڝ%;e6' N3l $0T[d٨/H(k{@ouͿ9g%@36lľNfէ#uMMA8Q=D~W6`*;+3<V'oW<e5\s[ŧÜG߸h4؏m~3n~K&w/FO ([sA=<Xbe M{60(EŰ4rOsqGXC$!Od LVO@ eh8{90hQ}n(/lU]ʳ | |6Yq@BwZ`VNp c<7W_~!ܚ#.|=rZ‹<praLn^k5'rN\[g~ `ebBB4!)GX3v1C2;.3b{Hju\N#{#n6d}4u'aCQp.m''gudlSBsQ^h BIi˺qw:qnw'c֠JiΈmUPytTm/{8p!0 \ 5,Ŏqʾpjqǚ(8QdUlKD=B$sYm*LG1vB4E[5@fX]W5RBjC2~m ߋ %E0sCe pQ]>k)GUyzPq^!H IW_8w\{x@6HGvoרY k$*eD!Q5?JͭگkkU ,zfΎE_ޓ Ǔܖzu"[+^caHS2i4b̲bJq̚nog$jb7|Ҙu]4r(xzpt8p'S-آL:}>dQi\NkKQ8R {(L}ݢ-/oLktðj2lȹbm<`y+lEY[ތƟbzD'Y3)4IMDR=MR~lż`w儘zn[[O=547"x0,\L />=]фB?{ũ⻯LHD8v =`TnLt4wkG 攁Iy\?NQb`НE F{:UCyL+Hw]qA+i̓+m%Q߮܇xقW}DqHd_%tWn=+v')VZ{b2b '\.. w>wj>vpbC{|hpx#?$T6} n:@`ߥ *5m-BKjc`Z%0Bjo͓y׭zb@UupE=iܗgSG;#l1pGǿf4'ՙ7R,"/'/D#MT/kyԬ zKDRI7mOЋ왉:Ps4MI)%5]i_u#mIdtryKϗ =X(KZLpy?[d݂^c̿ gZEi9YAcJ\g:+lv%a}\(*t/qwHςȧZĸW|.dUIrkpFүvb,,,UlGf/u{EPQ0]EYPjtKއ8´8=[du.: fgj(I5=+dm|3+|MD[OM w*g1R(lQUPo(ƀ@B%,S\aj?N [@b$-2߸a xKÿ2K2xNJp-.̱1$ZwÈ  mja *zJUONwҡ { Xad0ZUKmWsq@/! >q6Ӓږua2Z{]AIc;f'D(ÿ(,~CF!BK,bI3={Aԭ{j|RW Dtoe-Q܈cAB&0{ӧ :IϹ\)jZӁ/ K.xaR_+g)[h]kX2xs@pSy2DDl."Cks|RW~j l-\ɩaZO i.ǫ,j*LEGS'6Eu6eIV`۷CYf 2t#kC(!crhFka]6Ea1a{”>^s.f\:tCq]$8bj^z:O7g2n#SoC`զ;jm;b N ܢ0*!nWsw)( 8*7 ZGIT~N_?T7Io.h'Z-Y\e17nN߉[)AϵwH0r.TN)wG:t!pgAYto SrݵE'5V^ ן'zQD\\2sV',p6]վ&m&Y^HbA_bdMpb D!eo5wUXY+83,-. U{W$qm9(I]!߾y}I1Zztʽ `dj̊')Iy,͈2!ѻSRa7u;U/ :K<hVն1Y!޻K Q!'EYwj̓IVggDSbh w@׿SpxQi<3;#1XT\-ɍJ)2к"XOF*73sѥf(o-߸T P ;wYd5X!Âヅ̬qC=t`IevF2By24p)`K-S+cx$V0bY$1qLܾ‡^hdpy`3 {*6[[g]wKk&]6fOhVsiQ8([T4u&Мh `ƳR#5*/A k ՒbiwqIɇ됗J3[s4(MNh"èxcI $.Y4&n/8k?ق"N 1E#03E5?10Hz\ /M^ >YRyX;lpHkW[kh"L/UB=yb[L+J}KW| YA x\`l1T#tCh8{ 裶YM9?kp>'r7r}q)V}DSr *8JK 6Z ʢ$f`v"e, .x/vټ=Z. sˁ舄~㖬 btܑk1|^>EA@9ķ]liÿ#̔Wo&_6)tb$q8Kҝ ٛ% :yބ)O ##sqy,5ڣH 3V3xKWd. x22倥xy~vsbx+- o~ `} 0z`İW:a]L+};sk1q)"" ،B'\.E(C@B=r wz@V=mߛ;s%3GJw WIJPvxZp]zxʐ_Q3`s}a4`qN~/9 160tU_Rl8p&#ȢmXQ5R[/4&b4odR 8G JD!Wep;\Y ~<Sh˨|nD<;uɯ|x$x>$6Gcn*nɣ_7|{vMoh;\{[ n.!75# !"%QtuI+)2rq6@k謂(9*Ei֬nN{@8ɞq9M}rS!{~w\5bPW7Z"YZCƂX@tmNK| aU9H VI:B0=|,[շUm\>L)舷N >u6%ROZ+nJ ̣$\2B1]+YOq5-xp(ͳ4dǻ2˅UKAzP|O6sYjd669]8o8c .fUwɌ1m"g2% -lw~ˆAu|)F֛/)x=@@D!Hmϙf)2fD $;(v!bNSqU;ؾHB}:|l $G,/* Y4;}RԸ7^]9t8$lu#{1aZiy|pY0qŀmViJA2՜ . x,jv4CWةûڂiGOdSW_헪_Cɐ5TJt??/s5qc.ʒyNwE?} g< - 9PjCQٹΖ2Ӫqke%;ri =ۼ4@AO}zknoJ*.~~ѵQW#2L v1S{( c@)mۉ6Rav$ۍ ‘EYS*f^O'^H:9*G8礦#8XВ$gfo>/.fefd"֕j! DlL.(44zSG'~Rt؜-IQ"ҽQBӹtUS) 1B[<-~?"!eg+5\S{[?H9tF? }~%4I~Mt_$_,PeJiz W+6yM/?pʀ[eTrSǑS0k˃Rd%)*n䦰/ҕ<nL9浞_Œ82wG5 T'H(k %'i;PCl00BW1Ne6k,*jB(|ND0ns_T'-{Djěo禔;?;̞G2`jS$L vho `g3 h$\J$2Q,MSWtTN7O: o ="0*5/0B#ލwdS>>S%| | Qrm^*^H$Njz$؉#H!Ab޼O8FPY$cXlk}a˫ WcߤOy#3L[]W]e- źJtnvnp] 3HSV9u<Ґe?Bkp_o{iMFW0%`RUsFqer$7_EBib2>TI HHr_1a?%##WVgI[![V`lRV8%ONF`hxo, 3m0iNO+c"aգmTLni+PM6h <yZ T~?'3mʥ[G񶆃% quE 8(E[ohqhD lOiFdLIQ>Q(9'6GlOHϜ`^n@td S' sV^!ā޷)`pD|IEEUZ&TT%C=.wdDKz_7A񹠥!`~P>?]V}L'荌6H T^b~ +B:L">6R.+]mfnY[yb?ֻTu9kVU h/Rցp!B|V.ϐ~,+%7mv>d?0< B`eBn?hYG 7Ŝ e*gYZ7zXZִF! %]ŗXiɟט+-ǺژO OE />~ 8D|t7PMz.~ dt鰗Au5ta &"3kid.himס/bT"L9Ҡn<7%6Y>R6z%ak: EeoP,BIT6WӗP PzU9d *nU!DZiZ6Jqz!~G68L$@]q}%Q: kh@M-]jdhlQNWnR[ȳ ҥW>jEm~d% d&$.[[|pP?SWVf,H5֬b\"+0|lBGwgOpu!/?U7Slx6`TMHo䕃Lf-~]p% Ypf7JϠ>Ey,v?Ҳٌp qi8VÙ]Yk蓞 駶i@qmJZȤ`:"Zg[nLf_l'Gq,lԅC̱v,AW3CdU̇:3|K<=Y$r]/ve.p@wṸ$;\N5vΠz8>{,''N'aj 8t{~q = Z)VQ0Nv|#yJ޿Ԕ^/UӘr,>=n\N8Ur_`LjWMs5O*S5偩/e+y{+g=P^8Q=jgRb{z#Ukfԍ/փgwwA72e;>T9}| [*^rp!J*A㿟 n(qFld[HrׅpYnax\foE^th1 &W8yK~>$ y^(n<&duOZVJuݚU5` !EVSGw֭?ji)0ᅬ+уW hbw6mЈ ;Bi #)^i<'='zHQ,.Pf-? |;˭qrnÎ.1r1Rj_ bxl(f\*$קI;dN Z!"V H PT\:~N>N;CZ@@gNjR9ZD}\4Жve}`unkNbE)@];BzaEL -B^NB|xY G{%AH|Z:ͽ*і7dPv6KĊЅgYZ7zXZִF! G ]ŗXi%GЏ0DbO#|M]uyTmQv x?#o}H޻%+r u ڪZ!ʫğ"HΓ ˦ca<jrTVQXb?X^̻5}p:1Run;MA&-`YQ$uĉU;5,Jz3u:~_F˭=;}zne~u۵]!(-|ځ7`U|?? ,<|is1S~!˄~]ѧ@X{g%$ƒ3KmPXE,D-٪KCM ]aI3XIgIʙL{ ~yl61nO /p@'s9m2t@hb)|c0r bNꒀy[ \bKIb4Ͳ\׊ޓjMr(G/!6$]vrG美j6"ˍ^/"oײp]OOlLY]Pi{J%JbF'"/wJjgm9<Ti>i/ DŽW:N]h&c_%R@ܢGQ)f@(i>'s[+|<>L9(ZD^޵KakJy'Q& +;fQ^g"萨>и͡8y'8u~$+VsgY!I~iafNԩ1**9d>l%O~ѕMB@&>AsjD8Firz'LϋId3g.dž Bz[`.{wAFCuW`R%;ͅfigT.ǕyF,`H{TE^q|{)rI/YA=:o6u<u@aZCVHS%̾9&FE |K$`(!6-QE2e ?>~r 0"J i TM BzF+Ȇ׶lS\BXRV*/5hIV՞QkXq ͢EYW!<Ť|es(lz ɡz&M ._x-K|"S"IPK;>A=*3 M0E}"O v`h R̄0<]JdfWwU/Aed%FcGD\fGR Ϗ4OSCainyJkp`AyW~wU8KT ŸJ{8{LEEJ> +gU#/;ǥe AgD%9E&2wN00k^ d5ם}aV3]Hc)aμ(R[ ۤ".J;j7vQޅt24Ip'Ztr5 Vf%0oi?\p}FsN۬so;ˈDV^Hj3!̈/|Kj+oc,{hѝBe&%R o7D Í@n9l=*D)l E8%P)XSlSJ1m*K͟zħܰC ܘΒWu(OM6~:3>Xr • +g s_3v– nn9L#sr\XK aYL9v, 7ss8'ѩf5_l%D\-Oڍs -Ue畎&Vj}qR{zP䱴ǒC9B|۩l?iVylnkZZdkfQ+Z,sڙ[R>29-M1oVv@;8'xƹdDžJޖ wNN5PJCds-SspVEBk5cN'l~[}}Guk1!/{]ܒ3(b(sIğjBVwY͏Z(Ro38is+f^$\;Z*b>嬵*DKͨ*_M=:J*rQG"w+&MMԒ2IDߥa,W#E#)B 1km`WTTr/qNﲡ~U@-o|xJ#' O)#%VH%b‰.WC+wNv`˨!ŐI0 M\ҙPɦQJH'qf'I xo-EC5"(nVBHGPqYbK뺉z|}MWd ة jB[#2Hui?t`u$(tg~{ ˺IAeP0[Fh?S&Kh(=v{b!rdmm(pa-v"hA-]Ny8fodX.$DJvyþ 8e8^MA7~bG Mh a31`|>enYٺ|hm:6/ X@?q"]ɰrzM}}kJZ!Uv679qМPz ncZgy5_36.oϨ+J,B@u3LađoQkkK~|uzFs~& F L  |B/uÇL =1vE,xbHwuGLo'+9# dL.<GT8p&FƵ|E+?򻿕h8KpŠ"k"]15.,p&-,jS-~xSrBe䠗6^w fO7[gƋϽ:h)>Xd,kYF)d0uDըrfyZ !?.c e:w <šoo{1|ڷL;5&^>]48ߎu-va Ye#_N!&fFa@򠳛QZP; p%>Wwrr$erA^YV*&Y3P|!/.\ hn&2YM o&5zltZLղ&nt AݧLcH#^}]F WUW ?;Xşv]p4@]]8,oܛQRZLS8kfK 35$a<2("=`r段_pχ1If) ӵ&*[*B-%* @O$6ņV+ݚ¤'6VG80(;q+rg^ lv>#:o^RUQA'2,SRAp|CQFɺ6m@OX+QhyA5t 6y[8(]K^3V΁FE<$4DN;& Am5itDR ZMUTJl2%8KzPLzQ^:܏s [)f-pBKFF!;]T h!#tQhܺv@ ׀;oacN\N&߮2P%WG#lZn%xFLq((H"JCd7#NKU?x<^K7%7,C |omTU@_guG!$a@_<7F+5sDV+*=#$9I[a?3cE~Y{撖Q?,anIT(N\d4֤Yn0hO!c|kLB~0&`9ۅC~A_%DNpYdr`Cf>G<ߒxol0!C-mTmIU}e"o|$j3%S.̏@VdpOAz\;`k*KBg$o5i:*MsE!: }E6/2ڴe|2҆X$DV4J3k1>jjEX"Eռp$f_iN!00KDM1sDBDE3g[#w{t_QFfg 0zo *ʐ[9\X,jǪ)H'  >q`CĎ @!>nMW=VH]_[*g '!݉> 0Px,O%9 3g}8KS/BQ,М%xrav}>R$ (l bZFL".aXFps&NHѻqbYcLT'[qU;o<>0$!Pt6(o^V*8ilڇ;nGjA$'!Z*.p%scB<^ُf\G[UQlfB]ޠpS'2tcO|~:֢\i2|tP/&%XJNg : ֐o!1brR2UV ӑE-{+TyNZȤq% }FpanێFTSόDrzuy%hQ",C"NJ@LjKH9d6-kKwJҒ=t뢠_6<a0D.~pl=e&K`; :BXrl"9_D+d-c|^!n Kl %*L_rRl$lxh.yT4 m4AO| <$wZA!t(!&;2T2co6(л b^:3U)[6MIH14u6ZQ7ґ('WLR4C+dQc7#߳!{vbU0ԿTBeӥI wA%N5SBUUO.p[r,e_w &N,Xhг KB#",1MuT}˥pY3cKf2'EsxM3mgMh^B9ӔK%{s-93fOtn0vÒΞd8y ,ǚx"c)s')h$ T2Ì7GG`S^Q dorK+Gfa`OTH>t5cBOJ^FeQD)8&c!km-^24c;gA7yTx.K\ЦGĨQZiƼ!BѼ f9Qivr,e'eMNNs$x .E9/?h{}OS@_jB/&!@z3f:՘BFnyNd#,3`u@||wdOY`kυ$*ڧ6Ov쫠2,tz[i|xFdr$ZҢn727)888/(GU\(iA?7al!J᝸Z[:@g˸7(C\3=;< M$?:% w+^x xi6H2 GWm{ԭXmCU˫>C_p8! Y@ٖ_3Mᾐ"&7Jpxޒ紩4VAk`+g"8/Қszd3 !cuW=A!s*$*'[Bt7/_t$fףvE4@BN+wˇvDUA4<ݏF*S0 ?bU{iTi4Ƚ_?JTyW Px9T7M:+E6!z(C4VOA8 "PĐtAV bWP/,q(ZrSNy{KrНR#0֞'ٰ XԳ+)KƎ*4d5{ncJzgS uE F8U2S9xJ/]3# n,*5 RZ;41.U8vJ .Q:%j i [@:GϽkp*jX-R+Bt^tvy(K2#zvg*:DLn^!SF02i'a@izo~5e ̀1lk`('X2 ;܇]]XcоZteqjmokW@g0R HJuauU}@5Z$?+V}&Vrף4⦏wxxM&t7 *g|LCGT\pi=Z4؃, $-L0T6?O #}M&-\l}u+ 1OJgeC&2o[fcTbj RFPLs[=p_";o pn8!]GׁX|VIDh|^hת<ΐg5{G;M.Kk`.Pʙ=[luK~H'ԇHuy#aJw9Yx3AJ Ӗnt=0]Q[XH?QxM  f%  $n_È%zYl;O^QgҴy ׍c(L~[N O _O^Pf0Û8h+\ +T\=*=d;9@f MTY[dx>  {}"Er*,߹";( jUDo$-qR޶} }pYIG*^/3|n<ΘXtv(icwQIIvXVBTeAExMu$%O?&~^fWDee_`/n .zF` ࠥ6a?N5cbZq"%^D\/1-|*Z1Dm'%# D M>%8q<64b|EY_܄,{mPp1jCtj_ͯYFκ%TGPG9QYodCllA:b)ZAxNFRTy&qLSGq)NL` f%R _~8d0؏m<.MdUc0Aaw؉&` r2Ԉ;UiI&޳(CKITajcz㕦8[D8L7csd"ɫLcp1Ī٩`d U(,28YrY| bzU./.]Ձ<(I^df:M~'(%͢.#ʃDܥl Q$&?Ct+3V{G `-r b!./`<9->P'A>{]2ϯoL"i3a5Ӥ3ꢜ\̔/{÷=F`1z^pS~ˠRоCL/]r_hMWz?B"x^g>~ZtE|bZF~SX`A`<ᚃR[La-22: 09]TZ2NL ٺ3VOV"W+Fs!10ttI nRݞJ렧lǗ.ٮhu}] 201:4c 蠔K9?=@V!% T‚?4ȧyS.z:l}` b^;Ӌrdg0M4I%λv/G>' O( N㏾Kn)6C*b..L`KJ06qux|#OCdSNPHϫ=~fXů-峬fZջ^όE282:D6e&7ZSLOsAMNV{m|RMsntrQzڽ@A@ׂX7rnDL2#7LDTW$!+_mG" e^SA+.]-S ba4%9~ֵ5xg~?QV.s/c & ੋyMaw*$#bO0ºco-1CQZe@Y51)2ran x@xk Z!;J(baYh3f=>#KqJno|Yk|(K̵SpL"E첆sGl@$ݖNqwJ#z"7>*l\e %!A+<JC E4]*Lb ǹ`/jρ G=oc,ԣ-xk*[ (&ƁNhU0Y<8Aڥ 5;MtH 7A˦ۆl]"~CׇIN:j", \XóFF1cae(B|XXT%V-j*ܾ!GC]]>H%3\I(]bیRzYoO}(}돽ݩhID6I6]wq:81Eg鶣-EKx<b k8հ1Θ 1B0$z˽D{J1(j6mD;0{7+H/n4*VDv=@rh4 |i!j>¿ښ3I0X2Zs})e龓xnB'ںb܎TM0/m 4_~$a|N ^6/O+[c%-tL1kuvH,)s tyI"JAޯ)o5oIZ5\ܵE'Mmr8ߓfQ۬az"tI{}`ge A#V"jʯmN=-box~j~k+T\R ,qkA3]xEOZPʔ[^=jOo3rZKy|cEqj>" λֻ(=jK&hxihP rAoB:) iu yWoHuG$Sr Of26 GX^ v[@WѤ4zSd(n7ԟO.T;DBqJpkǥxKi#t~j_i;I$`DW/ÍZkRwv֋sB8 K6Po>`"= mwnJB*-itw9$Z򤶔&M:W:Z;EST%)3:UIX4!Ep7d>yw&s!2*N,n*BGT82IOfL8d^Jjr!AM'pS0^ @Kxqȑd4|@ sr2`oK 0~S)en!Ox-[֐v-& iqیE"&8[_RԊȊiln ،5j~*X_&&RIN{/[->cT}j=~`v:).;׻ *Z矚!0V%aBH$,#3~f̣^ζŵC · }TlёzyAV4%}tSҢf&c)Q\-"s9]r5u^b󈘠#! Hq[=Y|2yZb0c6Jɿg&B/~B) jUY`O lײZ|TnrL(-%a( GyakS.[kᩄykkyFӒq{|3d-@gWjL4 Õ.͈i)4r%&ڮwF\A16|\?a_4O[YJI3d׀g9PaD!%䂨S^erL üt~qICMXRe>]9mrJJ $>ER{m?tv `PXbrKQ+$nAZݘm{w%9yeIJ] O۳\N.#{WjJkؽ|7Ok֫HQ4MIҘo{*uKAwFJ17"H,ڠQ;fuRԑYs'& 'Ud x9[pb,:;fY7KTL?Q;wzJD# ϟ6ic&URn21RY{Ղ@'-Ը_S< 9V$j`i wce>Ay.u]y`jd.k$Гm_*}v?f `JHE' Օp T<+_YʰҹNwAmYS)Յ ~9㿘O^҅&֤גBdo_7gb^,"IحGj}=U5R\'Ad ]NՁyudΖbe0`၄sTR3o,b+=H!¦F?-༷(Gq ?AƹBʀ֙R##ѸoHGv]N v}*Ϝ7ŜpC }/ֳ>4Ƚp9ɢ":^h!~:,BNà+u01!>:B -7nc k8%n,o9;&Ӏ5Nmt7AEj]Эs> *"![MB#Ҟfb17צ, X1Ya R|5W>ՄyqWG 8`<f^ɒdӴd6ئp{%!X`oYaTnl:~$XLP6PTپB0cPChFՔ mqfJ!VD!☇fs2ZIS-l Q%O5e:ўEcv#2UwhqCg5#twbD6|S/zh(/;61Kiٞj>1;s^24IQzJr9s+8Dz7^{RM[j;lz`Gv[>ڑw= ߅UG0 yvDf쉕Vcg@)9ލ>8c\0&̃W~XEӲϵq8yM?)~+<ދu;6kw`$g#ykE֗?$ۊW)R?=bqp6]@% )_%[4pdUTVGhӨ𦎈'$=nr$ZdyO&-|jUP`f8wٟ 5;@3w2dZiti9L>-X aK@^((PչLDΗ=~ MLDv԰`}YXJ4 +H]`~rW%ejy"$Q{fua#k@ew;C2,OK^߻䶫3XNqlvMzjUO2k`hi[-XrWK{ `I7)Q)=BZȷ3*|qFh`YfvI^R ɩ߼~ߏBI&{^6/5uK5 A%/F5qks].5o@V!BҚ* Z-Rs fjo &=(Gҡjr{r廦hVU(IU`Oa7@x0l8RDU"x&S45j5Odݍ&τP Ԏ5W!T4ٶ :&g·9"=}{S7Q-WGi!m@>diBw)•KQ29S]GP҅wGgI(|MCP'.C4e{$aTԘ lFTI&aq׮ɻx{"Sq'y]^7{ _#GT1S`l8us=(0Ôy 7$7-9ҕK9:EMpH[^$m3(q9j8:q}׭J;"'N(r|;p(Ty2 EoOrkឭL%5C}=y7AooW5lDgA8:p "=?:8O~J4a28RDV-$k P9hd-$oI5.ɜfƯm{ e ^ Wa}kS7dʅ |`A4kM[kb>jkET>ֱdKQ_/ᔇǃØp/M)Y[^|KU =b:7OhR<`rG&\`)rs-44^dj h1Y1;6ց-h>M)o 5le箻<2W[&隚 HSն/NIilo6 2f&j[X7rjE&M{ݩRR[[QI5S)S流*/(bxʡrieGyc} M`N{G ߷AH= f_kNfc۲kHTKyS'->fX&_ǐ6u%Yѿ:7Pkra8x@j O35y"&K+gnֲk#|uվ)^5λ#7, RמU#ZpݰPٿzmZS{7:`aqhvpw8~)p bcޚ>05ex G ƌJfAK6|ޜ&m:;aHaSO@"46OUz'Զ@z+M@MqK־g&on8]T;: ~U]$b/}Xtf, Vn4JC̀Bc$UOӼ60cjoS}.GA4J0X3a_AHݕЙ),*FS sOm؏#Y~٢&uկQ91 2h/d T lLч'"ڽ na~?P-Opdw3ynŏ?zoBDe؋NPj:m1y/Y5>`w%`o*i_bҪG2GL Ao ~yH|(UBVΠar<#Oذ\s^htiłCmSZ|A7I$dÂ[ T1n޷ 5(2_p0#70;GJ 8.|k!>*%V'"Z/mH!ߵ`n/ a83rTK]އ4 `PlѢy Xn I PY gg* #1Ҳ/Z,3D#le>o`{r]v?ġ2$2 ;?5Kf"໤i*~]u'ctQ9mTpӰ0(n*OnUB8 ~Je*u'!U߫˟o\H3~vwk[(|W+DbyV3M, f%UDG _ *JC1%# o.ӎTh$ڐv,-4ְBSB[17[ӂv1J#2,RDr6iOO/^XVdCj^iwe38Aiݠ?(b Lp v Y,;M-KyWWۏ o%,<򻮠%|m3Kg^Ws>y8x .mxi:/s]ÖBbO{ 'ŤY\"z?ܗ#1[$%PcfUFF!x$ _ҠDQ#0\3k̸sXma(ւmgcMVٻ1P9=}EbQm Zi:kz\qHaխfkwzx륕:vXD݁@\m@ j"XAa4 N@^u{z:˰]c6&vM̔\(6ҌpbMIG#ӟd.NhEi~(OfIZhYB 2j<>C:6hʂN ㅃj~(KYen\-s3Nf~Y#PJ(L=IpS( 2>`%Mf#2s&7Qoo#fWՆùiSxpiuYt7ᛞvKe06u?c<Ԥ eAxemMְ)I۫J%"lTܵ'Cʌb7.r(K*!j  whH'+U~Uu(C0QaQ](}. ]0&þv)ؤ3,jQp. Y l+(1Ix+\/r@J3@]Ӊ:w q=P6|uwϣ6%O(Sc ¹Hd  VDN[Jh~ql_4P鲿+]q\GDƀ1⎏3}!|m&$A}F.9!xht=hc{ ic; n<%~s&,R:i:c'EJcsND\ jX*dmoiV ){fs,!BXN f lkK&qASO'R?G<~m:IĬ&ԳCH.by$B"֑,OHrvQҦO[lje4w1kA`=YVbc+-iԋ((UNJ; 5T;L>i\f-%pj-$HS "*2}:⦆ӟ^ s1Yqk16[`8ԇ*,v 讱B`֦OJ3~h *h`rMIԐSߏޘbSB+@)W埏e%|v,'GkNBXB.zZ]fR5ץfY&Yɻ=`7oBuf"PJYvvXWPQY>d"յ4Nד|G 0)\eU&攪1w3d%qxcv끵y\pч^*UMIAYΧ8 h5Kub=/$(Tr,UѥDoPdsQ.f1 >qF0[sv bu,NM"~\`3!o,og,ojz#zчaO~yD=F5"IREw!FAө *9f%PWm @k%'vZMJN\ C,Z/{48!-ά{ls0(8?%ko47 ZQcG EhW.K $ܨ$߿byk7YM@Zg?̻R&"Wh뚜F]hxm0AeGڥg' ㊴&6JHzz6lǖLk^Ys ûUcyŀ>u)L7c-bL2hPQp~ ҷ#CP~af/'kajyhh$z ß@Ge*k]o02X8|$՗i".m?5ɊP\MfEeanWZՏw7>luh>Ex9 c0.A %ޮ Ve@HrJ '8rP" Fҍ0EGsxm$4bV2,\5rzj  ""z_M?xW{ƞ(>"%֮w@Lj:ZA]a|<ؓvMe Ո;h/B^؊ W)N8qG$"zܩ fqt_vWLH8yfTNWm's6kqJ2zX G)dzĹ@l[+ĄALNK `_x-pZ p%G1@*"]jUk˺WcD#V> ;ҥ肑/2A_4,iv(ص^w_>rthʹ =:g ~?\TӎH|2GG1f'W,(CCL7ǝT6nS(=.%q L+k#Wu'Rw֚"YHaԟ4+K-OSdp :΅ee:ʆg fcX4\# o+˛Z!KWi ݋T(ͦ~2!o(<QƁ')~I%H++[<ԡx';!Q!p͸|hDy^V8/Ten6N)Fޗ,dNx9VPLUE/ DWW51*:\6b-qCqsʍ+;8d}qM^Xꃟi@hUVsn "$Oq$zw8u$TB?yrlڄx u5)>E,Ȃ*X΄4Pv %+H>`AՕ=I{ghŎǕ6s~ަrh^C0n%gGt1y>Ԝ .:,$̀y^4+Ӯs [@z\ 2']8MTi]UISG@˕n`92*,i*:a{qw'32])`R{I=!BBre7MJk%ơZCC˦h*``fXeV_!_{ΩόSf /(lU17:6 6p H۠dz]r*(9[ݕ9ȲPl*0LS& ꟙ9.> r|uX,'OO&LjGH~\WXN2Pһ(j!DLS6$x. CP6( `e2sخ /gVŵ*q#FrÝZ:ɛ3q Sc4\)g tTYmh嫺. +!b-º;=[nNky*Bќ D(&|lϝ.YI R"E1t\/Y:Md}]woT2ĬY@j )-&~7LXenLQ0$+!ۣO(7'\8dNJ.47йX’ yec#y-lھ>(< }w _}m鬲k/Q= os2IIӘ՞Lʵyo"+Z9*(0 +YFvFN,x L*,:T(Ď8|36\kZͮykW<\Rp]#o&7}ydX&=\Z,u4$?e5bݏ.fj /vjs sfڙ7qڑEqpCOB2pBbQBn*`FiRdzsD)n&JsP nR3B6"!&+' pHR'&!׽3'ĉK c/ ;_S'ZSn{ }| f3uD4XCUwRb3o ;G3|<&a@!]X 12hmN_+MhWy%,2j.iCE"u}5^ ! ZaK_?c,PS% ຦e{3n  9|= $1 T-_eCn9{׶ol9+z{K(G+ Bݳiؑ;zR#sb7ZA*{Cb`ni7qZ<o0LӶZh/ uTۛ&CYT&8bX.Oc|HYqzTWAD8 T_ʶ pJQG<cZRl>f0'*GR`iHjwllYrC^:j~/UEX*Vƒ)VJn^}hycbW9h;A]4HAL $sBc=vn(ׂOa_^,xYݦ?Ěh΋6N :iޢ+ןpߏK/29s%f br.;wۭf3S.,io@|If<5<8^D4pPF4$ŝ Q1>aRSjLְ<*R@Ń_aF%MTN=˜/+dh:+zmjCNoc8|F=:Y ? tirDXqe5WJ%cҞ*^?rf6W%WBp{!R@!V u@-,>ؒI '­D=NC0_nFahPxZ>%!1҄)Or;Dd3L2%-+@||+Z pƋػ^iS賻y@Z~!ЌK4qX/X9F\2'x;/,%R|73 bC*82?VǙr6ap݃f4}|{+aldžA,=8rQBr֝w4|ރ @FU}Q,wƽߕ_aVlN]+݀DygJ *uI3Si,4{X^-Q!t#.s_NIqfRޒ(Jؕ73XXB]VξېHF&i5fYcLv1s$2F'_awfJF;`sT$M1p`p#?6'ެc*GT =3dFt*an)z'#1("`BxF jsj `CGhu;;y%.o-x*fR-OʮfN +7PtbuhPO^BN-oC!Qy7+35J@݆.~HuDlHzj+A PC>f`PmO75޶yt{apzWTG\ |mK/l UV6zỞ,C|Y+"Baaܱ[[Ԏq TS[@cWܟ,3CV 5l'>T$qc\'+˯{r}{5EP>X`t)t ƭs[׈A_ ;5;"HSυFJzH0(y=y]XS̪=u%aC``6,xEKacn/[c 4hӚkKs(>K#1],(8PkBux׺u!& 4`2 \nd6UDj[-HfONeʫ%an6U} KIϿm۶Ǵ?]OM73ŋ0{{ ۑW2f"ƒ\ЃRW NJ˓mk\.[hO0x}=ص/<"ӎfV`KRB3iSp40.,K= ֆ)7`o0s-YT}i>|Z"tY3M 'qD+Lxn?i2RWϦh_fKw-`Dg6nf_7cԄ%c7V ZV!6Wm/ЋWeHh D )`Zqa(F-LhX%m KI,w#)V 'b #L:l@K?4 X[5, Qi_Ǚ,H!A:oor!V9).s.etiEZ뉴jM:NR$yejJA "ұH4YT&JRCU[T-I+#B*z—U7$?8?Rg(}R[r@ͱI8=Lnʺ!82o@bki,POYd^Ly2g 87*^c jjpRSZ(%sϏM .h|Xniynh'UpNcB޺VܯAﱖN5:⤦ 9lP/t~ٴ2dEEIT L4e[="^D3BmX)=74.17`? S- e}{W>"(X#M/>*ǨTS0_!k gksp } BH89ԤU]Ia"'\S!i g*8]WJT,QWi䆉ӗY!Ԑa4?jlAMAB-S'X n9n!~20PFnTHS&}#QJu杹PzV([Ds?j#? k #׶('J~5ӥ\_7llJV7\CWNnJc=glIR~Fh)+K_Ѡ:QeX~FҊsBmxly{09Q0x߄Ť:!z$!/8KHAS crWlz `̗̃Fjϑs+|a@;_~hDr$`eF;x2rqlP+BPmQ?thZ se7?#Bmn@UZMÝCfd` =9;qOݘ7R$QK r+(IC.J#ɎYr;*5-B$]XnQ(N]Й s1^>¢]*%ӭrǰ VIwٱ"XW!+@k#5..Yg~j8M\9,xbEkU.WcsJCŢA 1{8n6n1 qHRuYLs#2R|4 A1['i# sXEynD_+Y'ih\S`GŴ%rNǼ%Q Sa8:s7e.0R ?Тэ+(n?Do!g NFں6_ǏҐz vHD,uqZ8Yzkmx+֒m:=;e'T^@9 ~np ߾ʻCB# c!@Y"VY;bG0S]shjeܘ7g&y^o<*F[cek™x-ZaEu kֽRW$*:;ϵy> FS8ݮϪ\ %Jɶ4 ެg*=`2ғ$c0}#mՖPAch^g @|wͅd6 CCw>Y3L%z?>kuxam7=r{3P2%v 3֣)9;\5سڊ]lGqL~Iij@U"A $֑z}o/p:XWx{&f֒k=槂t\oW>>2#i"+0p׫Q*)͗R@(28A U/]6 :?/U.gBB vl1n4n1졳R@b9H m²\XVTRC83ޕm!oI9 ]&6Sp]}ppE =wb^oNI˔3|RoIaU<*&'Y'iV"^}pq{1+BB ף"D4j^D;&,31ߜ.X0pK5S0L ){}j-wGS,#^=CJ K2Q_2!)zBv[D'mjGZ|zשJxw#>:Gn$`CckIkzȤjvڴiSTTr%m tKHC7dIWi~^5@͢zDW!l 8䃥y>9}8?,Du_q t 38aex)e"B¤5%OU[&v[tn~^TꜨ=(0uԩj?NM.\Jڴ.$,դC˙^h^fKmvډbF*vHYaw򟭯 x'#MPӣ' nkCǫPmGy@O<{Iispm+4:Ox?tXN=@Ȗ9.-Sjӝ;&kkL ?8ū7_D̦V/n`',u"9q12[Be'O*2ylߪpl/$vs ?!F\"WZqvjRĽ@ -Ҁ)>&vL]vxi  =<5My{Q7紛 X!߼e/y7Y\;KY41NZ"H=?7X"ػnmHP'<:(ޠfJÇT({ qh1}hʀE8qg~ I^0Qu6l?+؁v}y22j*  D>БF '>AD e+e`k/oKd=2=(ikЄ%QR谜%ilZ\oZ) P,e4f6j0hۯ |Et0 #|p<ږ)D|y5r'&of5Z^.!2@ Է;dv bPF,6hd &}.vGuNFa99X}@,EXԴ|! :b1KF;yVYaDz"Т*|iP3 "n?ob;_Q/m8}+j[s|^Vs" rVШԓ( ǴIanUʖK p }ۻ@*lx+Nv 8 u7хX}["P HO|EfD(X{RC[hng`nKPAvUm^h)!-|CB0nzѹ}X(BPԷlun50M @vJk׌gxNõ1;1aX< lZ/Ai$d0 G,UeQq?k(zq,=60q]yQڦO󹱓rHq2SI=daE!s_".~&2 P_^2 -S\7n# uS #kB633N(Mq-:[ mT7PDL-]~ !m5ex/ttD=oeOGlM-POZYx!YZ8qMY`aU7n;[025?"k5 䖂I6!>ha{&}z?Zi/>͙" 'v~ƗF ?? 5́.җ5=;e"kK?!YAo@`qӴºtɲ+X3-kΧ8P&[ص(J-{B<0#1l \kT<3N3WأM$ g1S\}*RiCL]hg~qGqB ΄q jcqÀ~FsqC?ۜ $)~I^^ 51Ve%GUQHr=MxőfzVc ւD/kkeAɖs ,ۜ<ŠY6#p4 p). Av_>6͍}i(c֤*B2PQxcMXM%q,}Am<]= xWHöEV:Ia++v\bIS',n7 NVky\{5<`4-bo: d'^8~RK}X_Hq4*PhӨNT0l.LW mЈ !~*צwJBξ{XaWƨ¨r@x BMĤr|&fy%ל{rX;!q梻o^|=MFc=%dJ 04͹tK @Y&t3}}oa;PsM&D\(QiE iul$^If}5˪+xmyB3I՝ќLp#`m7j.?<_"& dfJ9TN-vأP8=s0XOp)K'i -@$#?#FaӦZ~ ֢` L( ..PߩIc$5J໽C9154Z/K 7%spJJtrz>}=I7м19N|lKS6P9']$3I#sݚ@I={~I= e:* r_mc``n)́*AwhFHT|D鯇GܵxQIcFəT=?/б>mE^FM`)$ݥ?E#dyK\#eV=-.8е-EBaժ=S0q+qZnƼѫJAe9mE~~&ؽ,8.&'U߳L4侩ZvD$/w+}I~;gAM¶ ta0E2 :$w˖uwZ^+v]tdfڜMZ:^ `9s~O3pkU,JaFKs4ݫuNwjVs!( \CU6N, :[UYIMX\ uÕ(% HA4Le,]`KiIzMG}砤0riu_:bjܘ#cw}/& R""fG͹ rB ' }$Y`w\}rH[Lۯ3 w=M܃1mUPY1GyYd@̸=0<$,C%};ɏ ٩xUyon[΢#6 0(Zޢ&z*p|;g͸XS()4,«TR%ӭ,lo5F64Ͳ'w N 6)RTXR !3G.Dve"ե?$*7 os~{8&nnY V,z0;W LRWZ =cq)l˧KKr/6_{Wgv>i$x6+=*^ITQ/{֫L QQ:lZ*pTJS&fz%ƸSq2XQ#m=&>aRP%`G0֓tuA-Um󯦫lrR֪)ܯNwĩ:gx֛I`!jryjQ%*%zɑt"T&oO~[gCd:ЏO%刈f%nul$4668\SHb}ly tơc5DeC@)ӱOo .752?m(z5MG31 J(NW=MF,1|,m/y1t(iv]S?Ӓ+42G?Vf :dXT>Fx|"gcnd?h8gxRSVFNfMS_NW0Z33YbfR.[f-M#fE9U\6v>Q+aG,у?^f%5ѭsdɨ7dtZC3R T$TX㎀QV؈=72nFp8vr%ߨv˥b|{&)Wߠs;E%h90|75g+itBq,mPG6e.]fS"=7B$CnICd}3@Ԍ橆])2hu-*&iC>$%~yi0.(