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 YYg1d$$ ]/ Linear_Programming:threads=4elapsed=554.915cpu=1710.396gc=124.008factor=3.087zXZִF! D]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_MM@j,o:~lXw+tqOJ†r25,xA,w#|l[O#lCr!Dz_RxGExf% Wgec'\=+tLxFg6ʞM : ƽ[~84Icqb M+7".}k⻥YFu"c>lS d'Me`Hoq^a ^(L9aOI/1v{߼0nbIYtb= ԈvTU#K X[!~, bv"kew:4h^ J]M{Wm V2%ef; DYu4=Wkn/Qvg(EJ.'?$"4zl ITYHi| ;uBy16'gS S"i葦jآLҢ ̀p~ aSD+px2("fU-ɹdc38Cz#6횜ڸc,=e$-,{Q(Lj<% )ܱ:QiQT-s Y -](& 7dLMt&uUn$QPyX|u{9m` T_xSv)'*Kee@j'A ͳw9FBn4A t(}8gX~0 ?\8Ў7Vgj)=^-HLz&je-h+_ۍ%19nPqon ')nRj7;C(C D2rNf#-;R2fӏ/f #uFPWF_UH^Kb˄wiJwy` Ј(1YG%WzFмIdm+<5>l!Bopx6A^?zk5>xDlUdՏ1, =vq(SZ؛ba:%ʜ2ߵXnR}ogP^ Ǒn#9򔪦'V.-uDoQЉ~S&'^Irr <leWo?f,htAф{AR!hS! ӧ!>jBc:jg B Uvb];*[끰F} @${qXINoި|\#$sE;Zbv"å&)RP@7/ yfkk y[=R5߾fj5i^,򦝤[$T3l9Z)tpa9 FR ppJ4iܴ 4ް(`l7ưZ Ww(\"H$D" R{ď_j*`9΢bZ1]Ha$=bäDOV$m4-X0PnNDUjsAۅlV)vwµ93T:zK^\T i?)9SlT,7Ard8ǚOuW͝kª%sޅ$gZ#H~I[&sl8Od8[0D/4XBȭΑpI++Dz.(|/+/'P pt!a\8}OtGGn4\ۋe״u$_2hnN7˽UKfG CHnrV?r uqIanNDVB/`N%?+͛@02<20xF6tCd|VPǗQ25L>g-ں%m'y0W) e{?/lhG,[nĝ]DtWE_%)=3/R~ٝh~ )E[Z.$- ];yjؘOȝ(m"yDT{JI˝ޞ;Ew6m,`zʐK*^P/dԇ%^~k 9ZX:{t;'[@kކ^ #Ģ0r?Oo&{yc5]дScHj_!oTZ-g8e:%mq;0vSKJ죾bՁi>Fj/Wfq $uZJI>q!]gB{kg` Ϋc)l46KN2fTP >pJ<W7\9di[>ZOEQb B!fH8r{B_e)OϧF[PP]7e[caC.2ڭ Y #Dndt1/ 8k5K]-\;YTJ='RVZ-ϱXy&@LW *?SP4*칠qg=c@~9.p>kxʴ5q EH;Cw2< |1n8Z3/T5[p^C ,7.v4L$W 5Y/=:R^X'zO^Ӓs}֯EskS7Ò}A}J'*Q\"<+;%(T%G}]I{eLqaTZ>XZUoLʹ#W}ʱz;4{W%q=i*j -zn- 63/-8vk[r *}*P[#P[ǎ.l&7=cְ _xtx6A.35*{{,Koji+t=jtao:տ'(ĤW<_Bib3mbၽ3>+k$[(z&UD,&!RA".Ya+m7WO9mGºGJƐļ*/DBtt;UdHR3([4C:N{G5B6uL%0'3'B;TY~D*a`A͹HG3>GQB"+*{ *\'Z)g;'(̓k`9^YfʧT#"l|u9d7v^AEf1"0euhaW9ލi=U2 !O#"z> rݵ1u|0,LRk8=S. ' (5axA\. %J[QLHa Djd &&OUFvB w^"d,ΡEP~mڠ^PR-6VfdY2NG4X;N0T e4^KcxN egz':mtI鈃%m~uw&~P@*?q07b~,'5 yo3c0ßĒ;ل x6& .ßj  ݩ+%Ֆs'\8k \G0:(U7o2EӇp\z4U~f^ӏ~Ӟʻ;=D qgg@ ,}c M}r$TWb{ _!6io،/62UQYU)k5t8sYI?7P^96 cAkUj]o9E!L> e5`?YM#↬ 'Umu;`5XeIyvpc_D!?`Ck0a N !G(!ЈʯIԳ 6]|FϛO1 `\=R8\no]U9?od/NIXj~/WΗY(1[ '>#z*.zZsZC1.IkT3 b2 ̴ Z)b1d qPS ҏ%n Ea9_ܜD`| KҢjchrT{Flu@(6<<4=DD ʊ,s9iXDx<-Ŷ8<)ٷ&9gȅlw%hSQ[ˣ琡ph?!h e׷{ M?Ӈѱؽ@[#<L؉'*\br0ҁWzٴBv:>#̎\.U .H%b:|b6i $^]ζ `zhdB~^.#P!Qgbpy0˘*H|H;Lܝ,7d[>+E, U% z7(m"HG:A3{ yD A \Ʃ˖`֙`ly( wQxyt>#˨9&kDmԚB`:j-|2~K8VHFcTխR&w)[3/yջCNY %,9CVx Rߗ0%V].?4'?93RwPT8 Ȗ ;2A}c ˉ f2SG(P"3܈Fٴ+Qύgd>68b#ٷ}Q JӉC`8߱ xE:Z Ʋz+W޶STU' {J7\ 9w.QUryHb[ՊeTkTW_ge~.Wx$MĆb毐@YMY>g?{i pihNhx)\7;?{$WEKa`XrːT??o2`|>s}P,̅.#s2f @}M'޽D{ GGMVY9y*f~H)TG *Z,TTU}u"^}˳PY̅ c,?i%R ~ 7mc^u)&{W@ҶFi]]xp@q>@f2 }F'x cͦ$ilL S7=Nϋ3u֭rVd8:Fx>w@9ePdVz[ Oߝm)JH^F Cb=alYcdx/ "ik鸓 Ɖ&.r/϶:MB{7@$8?-=mNGŨ v>VXm(ӓxq1e iYu  K8k+P1i]k#\ğ 9t计8+e%mo .ItHW=VܡoOR9^6ɆFE>y% 8DSia,e2V;u8؃8 V`!!#-*aߘKtƄz19ѽI35m# +RS|bc=3`NCFW X:C3Yjt3d:Z5}=s1 hu5P{DbtKHm^I,dO*B^a96 K^o y2^CAsdHiõ V5ዱ I x7]>30ːxF6WmxSAh\ʃ:{*14K#q鐪Ampz)ɭZVm%׺zrCyBx|m"rr3;uC!F^A>mMqE2 %Ar* ,-QhLH݅O>e .:X Bh W7 h$1[96M[6qq <";B44Nm;9k5}AN {8tc{QA^B &Sgdx5蝪- 6*tQnfQXi& bүBrMIvG7䭲-7l\득 :{ie̻=Ġ'򇑏&(ix  >%x{Iu+WeI<Ԋ\Ҭ*OjŠ .ހoXA/Ox њ0`q9Y?o.*ۅލJfsHΙ\,"F6fe$coo0ΊE{N$?qKNW1PLlK[+`&K[$9IU=&b-jh3ݕeKΣJV Ula玷|O2"e)d Q1_AK7!EB Xw4ni Ra@f]=%mʌ;1{QF47, b/frIZ~Ƅ[V:Wqsk)q!wx&Q<6BxjsK-l_VK(7r˯^gX)l*G+ի0y%xR) ;+{ ?#Q*A. s[JfW2jD* ag1C ~ɠ,{)HUS`~<1dlvYOH^wB~0WApѐʁ 2qw*+(?42ԡ[Zy^zʚ!D#Ġ]zg*ut/,$`ϻUzE-5VPr_~&WJL\[[;DžSS xaFi:Hgٲ,Ca{fs{uT@>:_G(}a[>DӪΧ-7Re_/¦H(&ex5LD/2; ;<{9 {a"羹~ǙD]V_U1 1Z0Ďcf}Iͩ2Ȋfa/XXIoy,(#8ǽa>YRs!rwFΕ"y #Fܑ{ =]sLCZ3-da4D9wpxZW<D ~իVHμt%UU8@d3,>Un\i%*,0S$6z$'noO܂$em~ ?]LO2;l=&5P_ݏ=dE[M Sh$(=0H8_FG 6%az(mP8Q-R!Eo9f*Cdmqjfz[@"á_vx!M-'𒒈F|nUUSVOl=H񿜫y&5c\jWa~ˮ]:%J@B,|.UO60E {a&|ckXrP8e2L*Q #i77-is/C@tc]HAs&ۛ0eE x?8_G-FK723 PsE_=Ɉ)Z0_Q,%D܀=wJ pv-ҧ/rT6OW:dFdGkG\FAMT}Nv4l QOxqX/ i-FJGey0YZyML M]v`Lv ԑ)eyL38:]HC1%].y˽fWEpWp߉+YM"M.TQ7&Д_|2,EGX#n@r-]&lm9M(ޕXM݊g9a΅2EjrZZW<5.R hMEH4 AqR1چ_,+iBc5^܀՘a$RJ""^Ƀ= 렚` &u(:{24Fo*E5xP3.?$4Hb2L ʿnWO\dCX{f(Gx7k^PTX65DҴ]ҷ mtzbIK'ŦgG=څY>{ӝq AXn7URw&vUbQM]ע<HjZ׭_DAO?ˍ_ 9́!«ҫ=ŵ?g7ݫ$9BX8Y@W?GR9b gG@_Hƈ{Yz fӰX4T³ r]=2+fZCfO~ɬIf{}U޶?<{)-L$'~SImj|RQ^XN(~մ(Ln"s W#(bbIe+986bSײOA `XLTB5߸JNWK!9L%8f6J/t{dH,oVv%5AHϦ8x E۴U pk W h)8Ua$cXEvxLʆ;8ꉞ4=kOu׋uj 9!iFM  7Zhbr|q˰t[Fdʻ?Xv;VFɃžG"Fe%0w !#j4z[ԦپU+msRƋEXq'7.Z>*LTΠ6Hz {,}ǟǟFs"f=─|Z,/VC^f_9#SdQBX #vGf0dժ~AdT.~,M37T@߿brᾕn |]3az-5TYSzr 2 -2":EX8Bgiyeء&|e*mi }{SJ~ *,!\k]ވ1qk{(lI5]'u QXqp]OB"x X59g^!Y9U8"juONբM~lM|a4s}T3 \B~4^⚆&̑oA~3:PJa(kc=Ώ$[hI9+<ߌ|y#͞p3.@F|\1ݩ3vOB Ȇ٥x]} l RV Bׄ԰D!` $|pq?t 8 QA}n21B]#Ej/6XZIW&0OE<_2"ve 9-fЇ_`xR<5|6r]>LBNy;OpiCV/b|p}mdΨ &@(sHr_^#HJ3=W JOFA& %l${Ek%8+w#PutV׼omo1ﴢS+"A"1`9 02zb"=[ [ KBl%K_j>)_qx/ Th%d}$S3 FW9 p_9ҨxOi2.b-#rsae.& ]:N^"d»_ݑquWl[ nmr@M±Nt4E9mZJwM u%W9_b*S? HhSqzDam@c) =bkd RȱtUQ-:^2OĈ__N#}+hKtWH;}`g,5j~311q- ErwVS?\weE2,FW@̎`q=_ZnuN8bzg=I%4(𰨘pi7_gax?cF>ϠGKв.^$OXPj;TتDj̪&!X5J- /@1ꆵ|'k mF?vufCr@JVqƘdE7[ZY]{fтb0 !ͬ^׀hH;n&8ݣ`htr6hcK7A6e[]!u TVÄcKv]Ntp2Փk7V±h(*94==I@=JX7jkh N!v{ K!12f uNü)rQ;339.Iwo&ڸ_X-Fs3LVv&лT)ĭsa17d`^fa#(@*אS2WIN!)(Qqw"e" %b+t!2<cJh#Qk0lRQkkݘj-=ptK퇳K巷*"4R^n.l!zrdNhs\H\\75 6HBazN'fs^ۖ5jVtA:OZaX A?mᕲ'ASF6tSAGxȭVl%vF 2Uɷ\ȯ OTh8ĵ򭰿VMjѲB#ֵx8ajF@ld9:}Ζ8X%JO!Zԡ86CA}ţa7ASLQyJ] I'5*Tfg˪oD9v%-sB!&?S8&\9,ONMl+PP;՜_h!u %u L|n@8i p#lLo"jk"R#H%5+ 4$,`ٳg&OW,1od j=gYZ7zXZִF! %]ŗXiɟט+-ǺژO O-I JS0˻+ ޙ o^%@(dl;W=Z>Ba`Ah:J"=4i>'e#c:d=0 Q,ZP͖k^,wFTD.lg[zRfb,#3.q=Fqn<䴥_Jw ,TwDǹ̩! "NϖBKC+1N>A8U~)GffL7KҒb_fY??Rrbdl[8^Q!|H>fʚ&WPf_%K:3!{ zrYkEęe&4<8BCΠ9ZxZd031jE.+ԳnO\ ʏA/ yK 7aMW^E^^YHB5ǂ0B ֞T9T@QEt 1e~P̖&BK!ـ\̟AJLB.!-) F0kKtm7$ R Lk\@O+%*3ė;*FXW:2lhzV+w& )B]ew+²(15rjWw H@q gX371! 28zCL=JaOtF'.A"&^JQ{l)M6YD=H2!bXG›8 ]n '* /PzK=]*n`Zu;0(NL,{} z+Ylb_T/uh:HX S0k/NJ !4΄Bvd *F !@f!JӚ o7m 6 >˯A=YeBn"h)΢y=S؊&-.H{1r%?P܆M> Sڢ^ORMN}yq T;Z\/q0jy ҇Qm|fpR#to8ВKkE>Y\fQsg7Lqw3B~fyR[˃q~R@=~ݣ@rVB4^ezQ;n)`3? |:N2Any*ԎH^?DN2]BuB.ĊIq]GJ$N. ڲKzeBsVdƻ;k !Xcl*\ _B+Sea*"жht-s^=&EF?VoDgAwaޛeBs +1\YtS8Ҋ F<@_dϚg8$:B}TgeRJO]ǘdcnH1XP&gHRFG Xho]JIAt7U/N~2m0i:|ߤEij 7VOI#ee+zY96|LSgoNbC-I ٖopoUE0&wPcBfe{C:fJa Z]=!:T (B% ٢~xJP,|HMB+8ƳtOڥ`QwE(_4ߙI45UB=' .=J\DtLEl'1g[6wfΥlq'|TLj8N]OQOӨfu%uj67yi_zJYM_&XF!REl l oiP-llMteZ}?Zc4rӅ j s[T 6J㰀( ȂSX'4pQ)]*Q~~SvY`3sTpCB3$7+x UQP}G 9*WW|࠭ɉ4??,hBУ.Hk8nx+A"0\o6n/0f3x"='́+y ߙ|&T>&_*+kNz+L;lDhULA&C]>uJ{>C@=+Q.-6Oa| Z^9\N^ 0֣cyPlWZq/7QeqzeV뙴Nmݎn ,#R&7RcxU%trA|GR@ox a]pʓևnj߲̹YOmA7b hIb%~bA]k>'A6}ip*@cr@SOeHlQ׭gl|}M^;<:U89p}3jפᕾ%!mߤ+ FE" IU|1֏9|]Gh@ھgl8N:>KӐY0}i/'e(tTU2nGX|== i¡΃Sj}r<,x#N13n%JW>̢Զ[g*IYo t<&,-Ȩq)$EnX5D;# B+ 覿tbǧGkWzG!fFn9 УJ܁6<:b^]/BȂ7xmlN:F4p%luU;] mk>cեlǬِ7lpX(tG2Ql6Ͳ$ڏ`g8ZNED <E[宽%M1+c"A^k/'wGc"q>M囹ie¶s~Aɷ/Z~ 2?lY:z.U.7gF,6{&2:_4ㅗ9~cĕS~錡Xhx *FQ{CahnycB=/dm PUya0 hԦCRdJ !9PD?h('t$؉XvBcC r9;)_iYG`5h}SsJGղsi>d>"*0*߰]]4ņҖgƤǘĴ۬ 2mţ0pLŇ%uƦ^ X7id4OT5'c?J {6cޢ3jeu)~l-QF!ӁN5 OI.6vϮc2_vh8+Óq0٧ߺT%`afb%H+U}['H?3_{ #ϥ#| #(~@T>Ռ^Hڜ2P+mpA|=xQ0d3mjT|(SMDOV bxf'/DTh!Ekܥճ.on*acC3Q`?} هbnq7QRX'5oňH ~"fJy2g!c4䴒1X:m2PZ C7/p~h}Rs%/11L6;Ε|HQy^ u͚L.0y9ԛv_L_~59_R$2XkذLY=IkDÊX7y,q 8b%%Kc?ge.Be5y"~k6H ѱMNɃ+&Ûi89KafnݠyzfO? &ڧ!ҙhyE$&ƣ<hQ~5jnUKTTA1eACϻ<_X`lmF{WT?YJZpa'@whBϜ8g&4}*Zg),XR2M.4.ͺ20ϐ@P5L\@X r`&ܳN>vU;b)H4S j:%Gl?m㬔~B۶Ֆ7eؐvd"2B Яa, #FY;?ѯ)[rF$ ]<$ }2zyGpb'*,"Wv*1Oڰֱa"O);JqV7+ϣ L &m o.$D{`{̘lnA'S6;fa8bгh-mf`>avD[.#Ըs#]# /j5Bbe>_&0xA${p?>?#3+KDw6߷G,(y En:,j*0`)n]1$mo"ӅˆYgTaZd8QtHŶ1u45(?2}O> L)vX E_T̊6QSRoLѽde7Ҹp5t& {7Ao޷ ST(V@^vfC \,ة سʀ6K2ؽxOTq;=!xH&DU\z]H9aR3crdG曈|]Ԅ/Sཝمl120)% FMB-n1dDn$iM]< QI;FG17bkZ<~x 'u+bh'zݏdK@+Nu~wB?uczWma+ "ͼ=%E2޶qm_3@M9̸; h[GK@;[^>Tkq)E5vBVXwekJC[ae|"7Ǩ]T} `~|ǚ^8#9S)APa\  4O 7ͫ|=I^"^tkz4?(6@DO*AځbPrsPSNô@ȼ[֎MBzv x␯a:<9bh GahyI}Z'&'m-⦜joIDZEkm'rmKشOc?E2fPe?J"7l6/C~rNpFV8^ wZvj ::CݬaU0WӜH8$sQ &_È2f3 иӯ =gB&ό0k 'r!:o_Ncܫ1syHTvZ=$)mW0،(wABڽCVP)~I`\ڥc (PѪE!#cU K_⨢񹃢4"09ng\}(VI,2|/Wäܸ=&]tE>\=Qc{k`x uGטY2AX|qSoAMo;C*r bǔ3^6q)\g${!;8bJUI$= 2g~eM W*uL|WkU2B66[~|KUׯNN1h:u2ǑsQufrj.oz^hfj>8&\u)A!>mC~Iӷ[1>QEk?[roݺUVyx5&!A㒦 au iB~x8@%6W9jKDCdh1 1̓n͗v߆s.ֲZp,jxX1Fc5nUa+ڜ#qG%N@Pۍʱ,+<|7W8?o"Gb0D֐TH`.0=Wل-M8 qE/O.V^\40sO'7kN@ nAp3E6LQ"7!~9:3K!{K)]sW0lw\6:mS9As@޳QE$]tQP%8nV]&b7PGKoſ "EVډۻ!5.lx[. 8Dh3k.mś=S W]_8+-/D_&h\B1BBSϩ2S&*wM#cǹjcEGM}u_4`a= byDwM"WPmo 7蝚LA_'b4]lrPE$9$$8/91QU~Ů2ޕi`2cF &bj< !hݴfM<#oof=]||.:>~rq6#J.ۥ%6砺]}nWiDV շ&3Gy@"(<^nӵyY؞Vphj@ҳ WJ+z -ayZt@_^}Bhn[j@pB{&Fnb BS۞LY}QSM+xN6!Ӥ$"Ə?%%#lleLyXAJwWǚuu̒J&{*2n$1tĢ3}w4ZyR\[c$ɂB7۠A*TB+X;N~v/sB2ܕ,S͒s4*y>V;iRݧ( I 쥳T>MlgZ{UQ1,GF~^z0$S8 SV=R}%Z3_Nϴq|Fv|esqr$nрffu9 >|[Tl57Ӥq5I<ԹMf-ȃO` 9lW|TR"خm8#aҖ$n3MkU h3<{;f:1mc 7ސR\>D?ׅ7o- fqز* ~? Qei+\`鱵c Zzsst2<$[m&z8+S|1$czmYv$>ae![FTp‘Mt&fR?3Eݬ"mc w?]g` `z ig- xW+k ?'h/Qc,ՇX%gmw511:Se˸kQ988+|Nm+LbS-~ïa aٜ+sLǘl!5^OPJ!h{%@q~lJryYV9"7x:U;9\Ri6!%@ MAn$/85W[=Dz,>E[F ^ej<-VZ`;~UYF]1k:kM UW{#aFv Xⴵh terM]eWA1d ֬h k hXTeF("#2lŕ:|^x $Nh{,'%UU'^OQ^f@"OI 5o\]QloN=[ :pC HO\?YtPjCL G|OfۭTD-0k',FkIJIDV-uU g8YH& D)*Q@80*ǖCZMJWyԕ`RUR͟5)|*iB붌n!̩&5[` $M١[?t~n&]Q!ƲlYR D6E}ZH-_΋NӇ5v'Moc|huUdԻKϝa9 '=I|S/֟9 !UҲ#rұTP{VLx9+ě8_6+?P[n?3D_kb[O:%CKO1~I7a}fמ>$y`g/M,ek vק /GDRSڷ L?_{vmp"ʙ"Ƒ_2wјy3P8|uCzVQl140Й>H=P Q7q-䢛JH4&.rrvQl" rOXɂŊI(|ݑlXܪ3Th(Ӳzk_ qfvF#V|d5E%\YGɛ]͞ALp:cTgX: j:Τ ~QdQw:LT$CeWAb8(tf !x_v8DGi,iw_-=q&;zkodK/SG3 C+ϰH3(-Xsz496Kᶾ2yk`OF .vD=ޣcgMF`+5n砅=>s< 6a "q3~TNGBO|ӄJP=` ~\.k%#tj;ٌwQG}RZIH+aً ^E涱|H`Ncr%d/-^X,9 Ž;.UY`\l0oD3 Ή;wjƌmJC +8~E*tٚ)\.KU",^ݮ&",'XfE8SQw@@VFm;` n!'>'52!TɎu(V wƧ1q^#^w}jgu1ba<&sbwn`8Lpƈ-r'yn[s^APŭ|'Ey# 5+!kq ݓdވc~H{WLDF0AOR7W zrIB3'\-)j6<^H4QȯUz/"֏o3=lZdC3bk KK: nlL/0qBfOZ+1qlKEqqD:]jb~-FX5"@h/c䯻)N'M :7yzΓ/B WҐ3DyC.m@*O"UGμ),c9Lm{=zM3M``Xۈciit &snrv I'0sFJԇU%h@ S-r2~9A9~y ;X5j,{C A8u15D:,jh |" ӳڬUHbH̀cth8KimKSə L zHݖ}a˹eo"k VkJ6д? M3BeǛth;~U /-C-#ra !FG?9/6~s{<_m _eM)h$0A&ZN9>酄ϼ"u.wmx x_kDl[fUc30s#)t^-݈YWD6(KY'N}SK@麁N\OXo%R- ,U1"}vva| V.k??<(1ÛS(HUͤCΡZhOS#nryQgox+OwO4X p \@k^ r=4⁋ c\Qm^F"pM>V+13hXve(Jãf)k|A=rv]fD`]lvKrb9ñ^^Oր@ZmkB =wߵ_i8?rK;[VrekIkΥ{CN6*47^_XpË0`M!UԖo "&|:4<;X GZr:EY `}jBB2Ȅ `rn\5OkLPϦXr,\2VZs'ѥ5GʄRz{T 0wO myRKw+h7cP4/>gR[8J~ZY;{_lr,j@.4  &:+' #g Dq>i4eRg4 Io7:N/Pc6 3 4;iIE5!Ke6'\ !HMBKb{!b"tY&6f6TյetbҐ44)`qVrvSk!SWuz^<yȋoYx"ޒD) ld;#G6[<dq1و΢r W<dGm`,DԓN8b,k2}B #ڍE:R#'K@MzJ< 5cNle$m4࿨C#8 Q:whqpn\#?Io{ιЭ~":uB!ٹj p\P>  ?Y'BPEr McSCNP',>-šgjz3"瘪" 4XnzT OݎBdzYb|~_)kJ r5I&88(p3ԲQ c~C bD)\[2$u@ʐSZ9:G|=|;/ۏwJy𩠹F+G?A>6bL^KiN>qV30!Kot<~94 T..ԛxUlW:(]n 8XNW{= GG0`-.Tnx03H߹]4y+ dxy/u>R/XɴW1Lpxqr+eCS捵ҵjkX}D*<&b$+iWp)S9jsMS]RȲliӊZ>m)ϑW%Mtu |Ay2 nEt\ZK7az!⍇AZ$?+x(e`aM伾ml o$h@̞'9+ZfS[]2uSى&ќv ^uq6qa'.NN'~zj+P%q.S`L|'lc7lRA}?&1!()A}5F\5pR`R8eGC[:"Y9] @on*H}w@7(˖.(v!Qģ 6=+׳+GC c; *<D1M0 uWp@31 :144#Do( JB$6fEw4TC<ٙS4?\e;/ 4ló%Yc@'/'T '}#[&Ȍ:$S1.8a w5*zakcdRR3V]uob3cx7:Da ?D,ܖ qFhQ \0h6w-N  $mof7Zöhb,[ T-p w:#MHHp;7K]xт&x1 ..ܧ!Y j=M\R6.%݉X{.iIKٌ>X+&5I{^ ĘP$E#_zN eL:Bjm2l0TÍX”3R}QCCuoϝ|^>\3͙YD`/B@])deCe# Ay14+k?UQ4,a^{f$kvgcP;+&X•KUd&=KQuj2#QJi[Vy74 yijC6-13oz+W~"g;QmϸQ2;!bKNW2`{rit..I1{WjJ9@ oUЍWVc^^Yjl7PCݹZ})VXp|?˝GR5f#lV#W}Le f+s!uT ΍8YWi_⡪dݡK2OS` <[ BPju1j9nuesW>'[uPUG(E NKsr]KC˛KY{eTTڇBlә,C"@Ի=! ictL dc9aS \zE-z}X mL'/qC+pHqSdSǀj d[IS;:k1M3?tf ѮTE 8T.Hĉ XAr{OeE4vSBMJȝ%'$6u'㄄XDb/*t?ؑKg#Й_d-$6L* /M\w2' 7$ ~m W ZN>KZvf}n<1~f^EҏSe]ш} 9_Di3XŽXKC3ct 4lBwk/(<ۼ%(qI'ڄQ@0ecaӮMvz[KRe~{".a^sES{C T;zr ԊDG] |`q{%WX.Q}7>y0<#@ *PiK%Xߒ-S _@%8ʔ= AEc,tJ4Jm^{:tKDZG7Wy%^<-kco[ 3Qqxy{h 婱>9s݈uqFձ Η!c--˶Ɍ3)Ӽ:)D [t^@:;مEN me 0b\OІB"Day$ez/ѬI6l#ӹog,&3@~)TH;;D' ,(.h( QYo@yj[`"!'ll]iD8]ߗnuA؊dpj["?`D8qޅ[q_ݫ{nk*#B+6-z+Ж,$H\r/efh~hg7C(vMRת$o{am0uA  !gf:–,U o|Ն5S6ű6 6[_=֫lx8M鼔[ y][N|:mޮ:C:- TGd03@pʰ3,3 Ub7 ɤ'Te5h:1K)2h`-|NQ׾Nk*S_B9St MQ?yc ӕ;oa,Vďp$y*9I 2Ze @I%J^X/X֑̫noʾPli'5iLFs*Dխu觷+7AU9 \X=sC{g=ޠ+.5=&7R7ors,7O$S5g7+%U.)2/@C( s2E&~K6 8e7"i]V ՠ/iw`8Z5F*<-%Eq\U3$5Tf͂8ar$mãڢP=kwI xG3Kz/)DZ(ntMlc9qE?ӚVs lX4kr<@L(`RDc 0JFh6bGM`O*;۶2bͭXe$:$hV-[3њȦk/re=;)E"R$qվuH|@Yf=Mt#E=k6CvU()!>XƟnuբqH2<[eFQR!e 4"A/eNjJg VX3ť(߭5Έ̘,$M0F7G!_L:@b^Q#酩 aQA'd? f8}0rl*0/6?Ļa)krrIʚ6@PJ ?`;iXѕ͔Cڈl ' $PRv5\<>aRTI~W' g9T:dqv> :䃽)' ~-#8>!⁾$GtJz2ҟRbVG0}a;yMzUh('t~y"%Oi'nJ_Qm\"4)rV.v"-t9ɩ\Ys]9Α0ӁpVDLS-<+lBs/!ǪAVI5so\Lj=#HNrTK);1 Dڳ9Tn9?ًE& o:4m,ʢ}uX|%-ϗ6I)j;*uiM}A@ן#]"iCO.y~=Qf6dWi]'}،JvF+jގ+Ǡ%mqwF<ypZAk'U79gIjυv@qpq~HŔYŚUfX $& g.J "Cwy&`ʵ2yuP$:Ww.Y,(g'ٲ0pt~K4N$K(? ]?5jcE&K 丛0ˏk~*>ʽ)膩WT8p^AȽ<~[ FahybЎւ{BsVv?4G%z<h)=I256k>x_G0E"a]};|Ⱦ8y H)܈|xZF8׷x#@`T*\%7b1xbh'n-UnawneS2Zvе.c!7!>yKZukZoLY})w0mn$.{|_/q (xi᎛)ҟ&R}֗.c"'GGq^@}+ٝu JméD95~<յ p=S̉Eɶ@OA> 9AxNVV&Ow 4`nGeH.@gxuns"CT؎Q+3h#fTӹ=w(z<m`wƍŔ+\N ]s3TP%jk1gkJ@bi !@4%?1QR.VOjvg$QmnXnKp݋[К*vZ4s^1vt.Bn d?KBCᆦȏ5U0'z$>W&}@T%P,x4}0!^.^PҎל5okLog,bjPsNO'& ɋ 9[SRQ9*uF MbH ij@X E}PF>ljH󍋁.JzY+*}. 9G8 49?[Ӷ&ze*Ôksm!:n0{Y8FN{=xc3$RZL Ee~ a\_}_'Hb($-^3pP@Mh`l CIS3̏;flܷ#,q9"GL PƛD!-IsHt 4#<-³H*C :ԮP[} BI1Jaq|&_҈NQ!][,`?8f, %1rN&dEwk/S]{/NXӾ39;+Y T mZK?:7C%(J1;*V[;+fD0χ-)65?ЂA*m!fWDX"p3ēlT'x3lR shzw#p0iq-J;Be}R!C&*$ew/'VTみG픈8ֹZ@'7a @߷tdX -U,R_3{n];!5F̖NU<\j}AkoZpj }#yͽ7B2lh"ƕD]7RC}qkTѼ+h2pK{v(%CYb #!r2.= *Y_ }:s nR_`d(#TD*Kz+cJxMCod691֊ `< xzux  [KC EҗI5Mg5 e @@(AZИh'W?K.)cS(̑rGc 3\!tnєF@A,Q r֞ƧN7ʏk>җenֵG'Sk(./+.UԁVS>H& M, ˉNGMļK4b2w]Eܑups1L@ȵ*%kqg/OQ;쵻>rPޠ t2'g;+?X@`#)92]}Esg*w'ӵw Riɒzաu +-hxP߸6RMn441$Ѱx H,QYs6 :mȔ6[*XiS*g3jS,A9Rݺ4FD˜P ddY R&힍pBC@r8*X-1DYwQ=Υ:ٖ`sm#$Fs@Ty kJ\0ޜK{*((%e;%({QFwc+gLtJ7HZo\nB H{$܀9[nFOM~pS_ȏ/g76?QȠ K qyf}x<"|QR[ diݔ 4&F&VWlY[$Fac_ 5B_ zB0cX#ā~86C &,T~˭;"p[Bi9R"/ƃ՛:Z- )8|c/r0qp($t+3%Ϣa/@9Vr0Z:]ƼC%<OLɸpU݃<.Rq+xDfBj-7MPn76alTH݂"*ĬV¼$M>QlI|m+>\P7"Xraps\1P[VXulNDqʝaBJgVJ5vUbXv EH}Wr@7)ɣ5ȓ2YY0]-%qvWTe`g9@B36/e勊 !Zcbo꨾M ߻h^?QpS4 EHjֽ\0B\ޛ !*%?!AlGVMV]ƞ% <^LVw].0kQ.<0 >`_#d6@i $m[b^蒇̼,픦OC?tQS2%F2%@@[d}#_1ۥ~$ hOHUqˆ| |y,bF[|Q7]nR*U| t聕{rܪ=Kp6QyɤZjIjYgtfkH02Uƭ/}si:ƷnY~ \;,ZOht9ՋQ LoTZU>/ÑG#)3!6߬$  $$+cÓ:DJ4j#T{*X?jPtE\Ñ->QZPD(QXhD c.8=_JRL^@Ƥ嫇k' UzFq{9DkXIG8g < aba*:9@F RS{Z 8N//b^d/2^llx19{A(~٧FoȆ{; n<&yJɈ[xqoxۇCief itfN&(CzRByk_ErR0 Dk s$`ghj~;%; eH4f8˧>iC35tz }8<Hop3jJ' M%;^4Y N"z02D $PtH;kWteE>41St(+zgwpDoyy%9OjЋia$30r ӷ_o唉V[Io?_bX:gE>m<>?}GH < n1 12㳯5ձ6&h}-g6+7@^ 5ac-v.Vl6*Lށ@ qZpt#̇{ucz8z9 Rwa^P@lbpe\>v j'LSxĵSqH >ZSɱ8MZѿ)b:${LN*|!@mirM9aGZ1u~<ՙ (Y0z FoV6@ &e=${2^rf0]R<EcH ƒ6(=ku( +k #6_*Qpӏc>Ag|xE";Lc[mˇ :z&ަ+5Ztwx)9Fѩ/`1P\62j-/鏥gSVus VxWCgV3H;J2w(bz7JKL;a>L/mW7Fߟh]-\ ,y=#Gјn%7DEPybm𽦹}*8FuS㪝AdDx'z/?;ΡTL#p Z.1'"YG2.uUq`܊.ڃ{m/Odg@RԏLfl XZ8Ic|ԙp(mW QX+is|+z<4aD 論wA =JefГoՀ-^Z?+й\˅$ZW\Yyۈ6OV~᧍XFoX d%]i"P$I5JO}pnui4dv#44IG z\}[/eq nv`fYRIs]^xm 7`1{O!HtlIB[S9*-N7<% d m1_s8 Z<2=kǹ*lFeǩ[~!8  z7IQݟOz$0lwPW~f-XxUmܲ)}mjmfhs]!9 n͋L:m2Ȱ:vAKt/y]1+_[5ϰNo`6☎'VG61}g%L|p̭r b'fqw:fn:]w9>:赳SХ?S*@x@Rߒ[zK#B40gYU-KK$ny9 wJK,z{Zg"gɘ/h_w|q؇ 2:oG'R(%ݍ֒҄և/ ΢yf&LBmnja>XɳdxeM$ If!=Zͯ'HaL= ^L>KM+`*NWd2:==56tZKWC1)WeyGsEIϙzrJhYH U[lvF%=UH& \ 1J#xQ[tyĴ=6zf!o$apډ2I4[tF18 ɛ>0O7Qvw f+L߉]MA*×S~"ބ## FF%'McHW0{όMNK AMa?K_: 8;$(hUоȯvwS;Rhrn;e@iB]:&A尐\gB>qG6<_̘Br_xBCq K z_-YM;d (ˣA(ABޅsEd~++V+*d$yM"ef$^B~1. 5_ Z|Ž$2#T?<Sa5?і"D{T&\d0[+k[)*P-`V'?ڭ&OI;$g#`PB>O PH8ҹqaEp!,}w}̋7?e${HCsoH8 Q)/.׭}]a*rʞ"~ȵ+Jit7vmV iH՘$xmHTs[+H2~>-qQ¼t6]͛R tJa{h$nVeoM*"(AH CpjM3=U ,{0 8+|gNo9kW(h7bh=CҲp@!,,T'L *ɠoH 1{7MR6>A9址sV"^On'<1$\`UQC}z `D-3GzNf]tnE%ƧU[<?zj&!P'Kƅ/OOnƘǒGq򉒜@7ŮpSS>d;m o:0:dzN720G/0B•tcS B<`뼏EMT f 0@q"t3JY!SFnaױV^"">y-ܐn0 (;gݳ)+LM^Cs B 6NΛPvayEawڼ<~Bv901oFFɄWͫMıA[wwY(OFd\мCG`o 8ҩu&}Fo޸6yv<_GFH2*x2&8Gc [W9@ mVoWȒL. .΄Uv89θy@W^"EwGȾ[.C*KSK =9ngYl)&ʯ':ې~}CK ao,Rr}{ʇ`,2!B >PhM< ‰gNZDGK>kK or l=*֫ZC?͊(h>gt'w,$Zr~c <%Ud~?t& *d6msd$˓lVoc6E1Oh! h3ce.(7v1Mz" It %_$fn0ǎ]q醑~8CRәshDpj[) ?uN'$L:͐>Wo/T-)˓~[j|3}Br-Կ;b?',*?o=j-YB^!T Ss/L"L]#M{D3`Or ~!~RFч8Z-PD^Uen&c. }r^T raT̃7L+C|2 CTїLsVp1R"AE3u:vѼxv;@/{h l|G%rG!]jFa(e#tX1bTm 8{qYDhik8RԨ6E*D&yE`2KgC |G=:@QFT ̉c{t!~-@Om/M~LVXsv@pkp i AQeTY$׸:fr@`x3jsܻLW$јNv[>nX\w]q$Eȑ6/ZDIclB"d'$$5)vܾi jJ\Rm- 28U\2q[>p^1k%mZe5^بynCgN2X7Ҙva_8< jGzbSu):uvpƜeeONh鷐v~ی:k&)62sw{*Wڀ/dG"c $|[0 0Y Y<J/c'}S[2dmCzӯMiA W+H 0NK ?|t5'; yao av_T/m|-6\"?jS@ ($sV 밍`\lRlZv,w[ǾmP:;NG6plbL&,%{4ՐkP7U"F"[cH[Z:D\ʖ-\7v4%%KVH)AL ICBC8!x1ۂPeo͒!(_hǀ3b# Hyb^^kFpް;]~ j5E~{<BA3sp82+ OP'n^uxAc97eʏ >eLi :Om`~RaꬼŃ4|F8[A[f9Ӽ>x]̻g.^kQmz~Z ,f'f~uCQހP(ۅ4qqDYo=gmjϤX%U @JHtpp,yPs?5OC-_<$^jؐMS Xˑ̯ݓV%*>\QPFpUJgz-ϯ̨oH~T S;$oP&onԔj=F6)i6T7P1o5/ 5Y%% 5B;.w}<8RUJj]EA .@ ½дQ5 L S'hVWm]K&o&-7&=}[D-uDXLQA%+BkL# ews;%>g/|T L`HS[vƈǭ!ڛ}p2S؆~ZJy_/fNW |%9Zx>`?y{nu*o@ԷY(Mh(k)ygG:-y}6eQ9TJ"5MI&6Esu+3;@RM1ΪϫJ!eIZ Ip񔼯5X!:qx<NI$&nr:3guu'8QP)V#Ǫo %[ h 6 1 ;rW(>9jb? @gȞcmru  k4+50F.4CDpl秱R@#gj}ay.#ndDh|%IKY>c1܌/[ф!7Ptv&3jGd9UB9=R waTu8fs_#84 il$&MЇFY8NWh3Tuv̫zPihAT0h,5è)ME sH886dfRmyw[wĶ[lp5-1b&դ wqM!|'z<7di,K}x ʰ%@+2`_qhke{xJL],k3'9%v˾$cRea !Ck:IIͻ:8ӟ i֊]8 4\_@?x]lv]Nu) \27c<1nB*@hqJbJA׭{ +p a%woQ|a`hkk,*}740I?$Z.p*nX t 9KqРZK`ė}Ls.Å!5-@j u(gIfZ$=uCT?W3(w] gIk2R EBZ@poAS=5%}l'cI;jq׉ ZIQyCƇ۵itN=/cD_;h#0`gB$|$BqS8l6؇)ɳ~^zɬ`' NDa -1̿h(ZKEd>Vd|2C0h> 'S|m۾ d*픏gޱ=JT{q~;$eJ3)aZPH_Cut܇/xe֯2-vcȲR#vT1qwŻc#)P &en-,?+2y휈,{.gEo.Cq}ۖk 1bnO&Z6_?TPݙ>@܀gj~[4DZMUY끱zt`C~ŬVs|w_&lMs2wg ՓLy{#븜VJ %FyT\svSQQEz0tY3PUyN2\[\OC?H pִrPBTnn RSUc?ڨ`߯W#n;D9^VުZ:܋r\J(űL<,ʡl|>o<3㳯!k~wl^,c>gȈ!#~愥_QB 2U=G;i|4BoAU!};l,,($3=WuZ*kÕ7C ~n|͉FEW6^@%qWaWJ V/=`|w* h{;*:ðOl/:'+mGKWD2aaɡ݁]m|*:_l0)uJުo˜Jo Br3i|xCLX=-,{%;|+#h ݹ)"$8Uqh,ێ:WS·&>V#(}LIzE1k{"7N4~، Ƙ\ ^ e|6%aQ6c}bPF( n/ yAĮl47rMfj~]UҠHcb,WDB00%ћ؈5،j!lbu3cDiɐ G-j=|US(Vpl]OutXF6BB9mDHRrhԍF1CAj\r%R,.Tx_CN~"zI'!!5?^Tޞ'E9- g#K^4GJv DPOVr9)S{5#%|wdk,BI"QL3XTnЬh0:ڠ!*4ycJ#Q d6ˆGuD_!@bc/;>uFM(RB>"x]tVaaU>Z:Ya4d" fhCc~nP!okuj`/5u U?XVE V&Uyށ8HQQǐ$D YvH""|^A;7F*͈9`ɕNNLm|Ah/Я#F.]Pt?_M\t`23(b(;pԣ[uςPl=n1vj޷,:a.kY܁iMe&t@Ήql<8dYCwb󤏀z%JY)ߩ>zR3-ySt j 9Y)Y\Keijj8V͙ٳ@{\W't$Z >'QR8@3Th.yVW/8ݨsNtQK9#ˬ.1 k%r_j ++BU|g-rWgD=ՂwJsqbf\(x8u{VQl>a2-;0^2[n:BGI*"%n4,(3&~nQYԜ)Yżaц0w p85dɺH0Gt<Փ(> }C];3 1 ~W|gV3Єp(pSBOp_Hqt(*Q I6}i\0C] G}IdR~~ۗnJ(${6kˡ=48)Ox-?eX>sh n*PB~ ]z^wcj.[cq?p'h&=60܊(wjjAOnU@{;OOC]ҺwGreo76&ֽ§kCOޯ;A:aʭ83=m+ 6v-s#ՐNvJ3HNl${+'ȜkSmHpuBw̜fMTOl%K:G^lʶAE.ܜ"Zyc ayՖy|{),W{|#(]ˡ(Lr a}uSdۄ-B2ѡG JCi٨W[A,D`>B>K-OrJ<%xwL#ZE[/@D1(RJ]eHo7cɠ|v2 NML+-Ɛ-SjEJMu83G ۠@86NLȀ=g8mj4}%#O|Q6 CqܬXAh`?; 4Zgb~=Hc{Y@X\K?hmE%?6hgl ,0mJ$?_0E23E: @\"qyN ab4q,$+H]OFD)3y{iˋ.B֢m, P;X}A3o>?xey[,}3etyqc+>E/#4>67od^==zFpȓ:$qAm|FIV&K <B{g]W2ZT1N:bp;#b QBa4 ~ԳCE~;7TdgչRHAb8݊@&@lBu; :d}$L^g"oudýġoHjC6$A{|(H/&,2ʢ1A 6DP]d\MqUa_ =7;nv̏ТYLfq'aeh%S`'{(9'd[})O((mq̹ {O{0~:_IZ"5l>[U:9 ʢ#v_pH*D*ڙXKq#5;z鶨eEX^D5&6zj0UBNIJ%쯻"ŦobIBv2m@_#̶JaгZ!@45&888gY2g"&`{Yu"6įQQt5y m)ns^uX FS[aG6zg G./ٻ4|q-n_8] X9]sNg#PdW(Pf2Ky*Is 8~>a=-^ȭdU O ۘ D0y vJ1`^;{,[V% y-/xmjxX&;P!+栦 b9G/pޟl~{WU/S\NmP Zʚ  aQ @ p_GxlEVζGk"Q5 ܗ QBZ ԆӄEr2ovoY}5mkw0n^Wy `!1cĄ\2k긊(kX2=muPGՊܻ\Fc9{jX>Uj] 78쒛A [$"5>!+j eVe ܊|\8X$|ȩ YM$mF8 O_{U2«E‡riط /K=9 '#bt,Z|jꉈ7/̀E wo%$3GA #5q0+qLiTzn(ӻ[AJW6μ}vV?1約l_]WJ6wm*K+G,tĔ^eeNʕIf,2S?Ko9k؀|H4(U0qm#֩93NOdc27'/gYZ24df61898b309aebfb8d676c25f9d02bcd84046478a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59