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   >)4D$ ]%]Groebner_Bases:threads=4elapsed=344.968cpu=1205.860gc=138.300factor=3.507zXZִF! r%]ŗXf[&sݞNasEXTwRlĹbLmlb o=8h2Znw_.IQĔxjCjul*P:EYY#߱GWE fPu8J7Nq^KҤmۜx9H$vFT yR@T sG櫙3sQ?pOŐX bV= mj~"`j B9Z9ISI]`^Y,hħ[*/IވڻKψgƪݩ#]Iy>;u7C,Y/,MdcJWFKWFi-фQJhvj9q ]'3#Cz?O/!} yFq l CdM~1ޗ8%YZ_,'tfgTjU|ZE\>ZZesCa1vEC"i|.xGG"Dq(m1!`[ 1+HTlF0c+1GJzUװ$xHŴ 6Pj`PLz?!|HSP֕>3|é ャC6],Fj P_a_D9rǤ֣!d[yX~Hd(7 3ݪW)¯;B G Vr׉}MC1:08Vp_[]TN(%/K77B6ޏ"5y9G8(F7ypW ;9 sҦsؚϼ)cU BQ<.KT>]OjIXDy0Iypň/i>pZ}UH1>Ͼÿ/h"S"?3ifn)>1|OeIrZ7NHTv.U! ) Groebner_Bases  ;:!6 MBd1|G0L_UH[ߥL"X:&;=B+% ޞ7_ ꜛ%mQg1mqsTiE2- Gӽ$φE ^YJ2 bE19"> uen8"29`*C/JW8DwZ3lH2ϓ 4{.a_.s"{Vfv5ptaDg[9$bJ8JVa |IqV6kjӋ~zA:Cfy;c^ l0& w+ߌUU{8}sbXv:W@^r/F#͏2y'WXRCfE8R/ z'7Bl8MTXFwkc&@A!ps"?0\6J/ܹaX)治!{uɟN:v |Y~v\)o;SY"Ҳd7^?ŗ+q@;<Zܘͅ;W 9, 匒AZMҨhM)vSC˛$ahU@$.Ah C9Z8h]6n2\ȴ^%ooD\z.O| Kv jYMVREˎ;{V8C}Zwx ^wYi (VW H8>>j[(#ljfe eYxc^I((3 sT_-#P*^-RпDZj7 jl-4%\pKذ $ƈOcd̮*1ꩪ]/wᔅ"ut+/X))%I"إ}wjr~7O]CRm9 mR~NS:js"ʀ@Nhf7ܙ̎ [wݹ4%+QHu\~bː !27vΚ|Ñ5! a1uk҉ˣ㮰Ȳ@\>$G4MSܲ[9s}M^-MBc*HnɩkeI5YlHc)+$vnFTSd6ڢq ghaF.zt i5fXDJMp/Yޭˢt UE}n 4jA}1_8B3޲i` pE¿f.61&*Eq3yq&4"E.QДITBlrAuu!B1'g%: w=p N&Ђu[߱(I:ϚOpfkCoNV>a2h"+):#^F*84]/0NžW NyF(i$-<! .fj*ol+KUMᗎVnUz'N>-U)ݺ?I=/T0+e\=yјr1 Gp/Bʘ95ӥ٥)N#];ϰ KorQf7r@}e'u6 R`/i0 i7#m4vi)\.I~Ei" .  Yj X ٍ1;W2Z\/ !cwyS@_"K=9=r{\2KWQ`Mra UN+ /n#S\G3j6A*FWe'Sa# skxkY>1F5٤\ \[6iBʩqO!3[p˝{s{/6}wwWCch}ʹa8 [M.c23!X*fnj& /NB?O[P ; FȀM 6Tq:e=|aÙyi *qwH?(7.KZ@(ew2W1kEum3:j c=τ2)`˴ sݛ/| :l J1Ьݕ@['K/ڴ샣}Meqa! Z (u4 L55]Q =Z,&r{p'x@N شS^vB HND@=73h|jM3WؗF[™9]B{0mKr~0C|@9pd"`c# B8c$c֋WS񢹬/*Ym<`n܊θu ق$bLzQp:5tHtf4:ޮe =Xd,$nщO><\l #25G{ge@R{ Oߛ.Е߳Yd呁ڎ6?+aT-m^Lg<*tpVlQބ˙nЩ\qH.ޒI2YDvR\M!Q|mM__M4 Q%M(wzRr-5?a᥷(F9`G  # -!;܉NExpe/E͉;uzAê\$Q[L[Ib˫b鑐 KA :ѷ=/)خ6◼M]c1 F%PlXbڰ*WTԒ.ph1 fG3y9`yT/ дhϦ%ܿ4bYUiJ}gĄ_vo#ԥ9gҖ2蠞܏=xv.`q,!O/p\PTt*=' _fbjENdp\"\!Ṫt{F? g& \.:)ߨdAI !kNZ!eBɀ]ū&%bN{nݗa!wWN,*$ZI@2Z[`ɧ$!|,;}!>Ǻ_G38+aQ8,yM껹l΃\$NdHa(‡mß3'F_9szqJ$Zqs6#&Sm؋pVR"cL&i7#Fuk<͕ĒK+˪j[%J$w0ʥN}/oo8 ̤>TH|k 9nNf^ w` QJHlY@|y#o5xw#^-C<#s(%ݘhiN[4]Ubh=>šÄeʍ]UE VöW$vָIC/OMܒNL 1?3h=hdBmm-*HR[M $4g;%cC W9>!,= B։@1?o̅2h'Pq%2?EVK_ҹL׻i,3㾦-iR9t7RNN&jsf,y]-6IpiJ@ѽCt<‚4@i{c zw lF&""JÆY/݊-iF| 8Anزݠ?㾥 =,cq ^hyA59?Wsr #K[ʀZzarerB36̎xi>2ӵ@yhVLv'{ƀZR},_C$@_(ٷ'pqazyC'JV.P\z̮HȨpU靵A72p:;I!U-Xot,Fs;If^Q4TZi lx+ ۥ ez7.8s$ᎰԲ L* iqPxq {$R2 !ICL*b\"%0锫t@ 97/Fꖺ9h|bKՎM?Uy2Ipn/uD;c6sM'~A B*%Vj"M19w(b@('(KO W oh)^񔏼PMvQ#QCkaؿ?{!Nݒz/ڃ{tGl {7wxX%_-c\̅vjߵ;;y ?\LX| ([b^Tz43}_\B(;ǐl 7dG7 &Qjg!|_x/VÌrJƈ&#qMMzo[ Ix܊N *&QgM3Cf a%O#Ka[Ҙd\Y7q;eAꆚd,-u##]iU-eaFӝ .KHHS;1fdoMV !))G͵;d'4+),Bz 4&StJy{l!sS-!x|42̸U{ʪU:lMaٍoD_W#r.M*a&j_ZYs,(H4뒈=AY&*{4L7 x)7aojzP@3F k)xu1̥{w 'f`{+@/Q9_@{-1Iqق- 9R:.ȷvJviˁͺ5Gg=vy$'gTٮVM&ǍaUN+)"!^q. 5E a8R Slޗ4-m ^qa URv =Ubjs|bs\џfjtgq$[;1tdY;"\{hwofT?><'HerńfCFZ0Bf.EQl`+r!<&?r CwdV4(8hMȹ,DR]**ʑfw7~DPrl$ 1G_ @FpMߓ>P]b(ٕ /}#s|$FT C6p! B/Ng?%ҫXnoŕ<TO+&uoL)!|Yb)ÊXQJ3Si SU{C$zLcM;s_?bnŸEt,XчѻSpTH{]$ K ?(آ)ę[->C--Y.G{M M2Ɲ4v,N5.lMVi,mW-,Zљ׭xK(->+JDIĦ;hi4ӽa"+[b[1]cefeD!ɡ ;L;K殭=%$AYmjeKvUԌ~ W#3xnS?¡6{R,(+"RE zSͷ WSxI/`q)O <T0$N1!ϱ6S)OM%~}dF/E:y1-Z3RfB\>?|1q7=scI!"֥·OY@sصDr e`wB~ƨpߪ`B(_;o3.E_# Ւv hLSh/_qh0&9Fs<`$iA6X")Ю*(C%ZhĶ0hffhKZ&obxźЙcE[DM!J9lwWcw6.Z%؎ Fa0k\IҰLvЊrxW41qJkSgYZ7zXZִF! ]ŗXiɟט+-ǺژO Or*ξ)GIEԲF']fG%fa:p[m[L!8i{tcˉˠ^JQ'˔CߓeР1V@G L'SE1r? ,^2\fpZmpM8q^8j-Tk12xz ؅f) izpGi`8@9YQ!>S~$>{[TTt;wՀ{jz8{P{WdOӬga6~ׯɔ$~Q~pNl8X5rcf'XjC-V%ة|ڌ,AfW5ԹXcnp[O7\ zS@SEvr x̟)3MPJ⊧LM=8y/\IRX˸]Q 8uHo -O` 8p!Vh\F{^H:~U9&HŹ21F _7s-Ֆ~Hnh: Hx4J#`ML.KlUrUc4!T[lL޳#2Է|y⭦sb' .Au&JԓOߡs@pYWORP0I,Fū R"eMo3Dc]EHK$e5"t(#:bFhʨhx?+`#(tzɗwƯ` $J~P՟s[*OB.;NC7*/$HQ;?R$n&|I) N׀:Sр*>;x*aTt(ľTYcDiKfD^mndvNpֽOK摄eF5Ooyux%ߎMKo8y |^ڡ):,SIW0}f: 8Vw[x]r"SV{PH2X*דZiW)J 'w>Qd;C3:1YCm( !艋cs$‘Y l3?+&`jZN׿>uR(;VV:6\Db= [V_;dɆYuC , 4 99G~%ؽdGn%1˝02+F){s",l~׍"ȝ26Ɯ%K|Dt&[艟ťuP}0aR'_`Ȗt"ތ +<=/AJɾT99Kʨ  T' )qJ 5@ZgYZ7zXZִF! $.f]ŗXi%ES3&E)nک:)hr)&9ݓn7Q 1wS1_8$3C-I* 4c >.~2, Pigg_ic{h?bkU\ %)M-Pq'VSlUK2`$%|s\1:oq E_0ǁԋr躚ѷPj-(38TOJ֢Y"~X$^e ٵ?MƿoĂQ&!l&?uT'5(N5~nu9 Ͻ|c7NhSlZgj1q]]E=R%!KdX S^;bԡĸY(U/'7XE˞MO4wH&ºvҷe*adTaJ;pEH>aR,(&8}LVP PTIѪGe#8qR1"Ik]{ωYD)lڍZ vEe$ŻV?Ъ ^t|Q K\T XQ%k,MK_L:9*Ŵ|kǹN ^/jv[>5b8o{KDE`*|8&{na*~Ĉb 0 )B;a { &V-qm1k Sg9B__͂JQn +=ۇ6K0A|/r^~\E.9^$z>g{} Z\ k^sx0)sj |-j=N?t~Ol^IT:96J<–^WU R51^YԆfx@ƵhS ݳ*_D'Y"1h#3T36|^y}%U-]dx5`caCӴiaI>% k]nBuCkluw8f*Kcx%v\N V5qU.LETn`~= A˼`_q6Ut9P*NgVfwr"ɘ^lIlL"pe(Uբmk_A<+ _ٸ?ڇz]:EѦN_Zܽ$@@mΊ|ljyl>/ 5+Q@WVnY]U6T#œPE{^fA?4;^<*;E6#̴E r>HMg\V^pǿtqkq)b+KstwylnVW=Iaǃ#n5{RZ}7)9phY HS@EajeP}N+j'E L+bq2vك +}:W jNyȐwJ]mmrdѼ@VW`2 <[t>E;nGI8O±LLpE7sXo0 @XM~ѾYWNzidv-7g(0}^mƶTJ~ wChH?Q%46>~GBQ_[eb#j{3f L͓if?ԩÿbp'[oKd$XY'nM"_NǏ -Ϟltf<&rH@jb$==<)!Nf>(r 9BW_ gNA48owB9fMݶ A@}+ĝWIYސƷ*#;clg[MM/ZwhREӝn/CtBSӁ(O\+ NX*WqQA,K?GH~ab~܂RwçɌ6?{?SC (x? caWMk\v|*J&!e;|}"]+S_H wT>,$L 3A`m5upBXwZ*`gmG" ,L!M4 ,0"&a3'Ga+*&Q.t} C\80~ 5y}woIZQ rMrHSpq4Y!/h& X h=!4!ĕ2PQ{@Au-Vzҵ&ͺx~*ܕW\u+axds4fWyo0$AC"!J. &ؐDŽwD@CFeapTzTcԾ IPƯ!%|o" K+BJŸxJT.ʯb^!,Gt9~[`&*w FH!XS jL RdU`6upZw$̹|ڋlEU1-"5_=WR8cszRMI&ٱ&|%SXDF?-GC9,i`h9{g o¬h:!3o,@%cPvZI.&,l0 xM@.ދgՂΞku%N?b$c/9FYu[TDf(8R *,1ۋEE@FCb\) FTC 71A;{%di$j&%f=6qvJog:hsr܀q Ie߮KQæ?ȟIag[# @&2Pmk}% z>x#s?`Gl{֐r Su|NN\q vqEy-ˎX2Tb*ʂbb&~)ɔaݴ~,nRC51])ڝ>ӉĈD sFQ]'m 7Ր0¾houRLuG!aiv΢)0o4dTa+R*1^ W1)ZNϺkP3eS5=M&$BPcn1gLThU;)M$BhJE7 /}|GgP%A| =k!]ujꔣ}#ip]OX+JS0v\Y&(z3͉p9f_fsBѲc1-740DY{,'AQ!Ѭz\˶lPQHw,߶qۥ@FOԄcBvSOlUhI|jkj._;qsUzǎڒ_jn ;?/2J2VH{ub6 YJ\XC2 Zyl6y &\@Er2VC)99*JsT35" \lg C.D7Ǟ*N \&>j:PZŏh^ JsMao[JCҭkV+ݤnN2Q ff0^Xw.vŞbi桯cVα.͊AIT%Cp?'%SycC?Hl/}$= 8$T@^%8R0:<[5Cfksgeu?1u[{ 診48J?sgXq BWK4ioBǜy*ĞT\'#xus!A/6'_9]jDzw*難%ئ(IS)K}I%|fT*d<-ߝI&.z۱6KK{uZ&CQ~@ʵ`#9ZĈ+YpMICO`lۑ= uۗ*KꮰDYKX18ـ]IuM0Ӭ7Wb\l/m`+7&f݄2 ||k77ӑ "G2l\ 睃_]%o])9;6݄9; Rtr]]VeX_:uk~ sL7VWoT^|l8ƴAVqv?Hq)`VM$!FЈ}}FF!d=.ܝ~={8{!`D /PI.O=ul')˾/qmT B\˝ R.GUZb/3D Bx&>4[4(@/g;dq;BHݥ[tEyXb,yMNQ3Y b$\'Zʇf!UXN{}WM`^qrwr?Ԡ X/XhӦxDx4$kTrNNͿE6yG1*=E|?YYT_~v}v 3boQAk0-{5;dqJC,i W[ ҇L;" [q| 3, d>Tԏ<;X%ע3z-)u m:X2Ĩ1,6q ZՊ :!){v[T>]mѓZH?$ ~J};g{i>%dz%ÅS.;MqڠZTL{mnN+%v瑅UjɼL.3OF-fSl_R N¡$q_y}C=S3_Ƥ2]SMgI4қr}ɵb"9u񗛏 \p|":0۠a߭2iu'?!'c V4v.olACGc@ZMiHpߗ^cF<P4yѬ' W}N~3[2w ~T"X u&T34duq"Tn(楊TD717<~ =L߾xVq;c/ʛq~ص[WZq.j~2QD"ÝifJ)7 Fd60z \x)Y~/pR.H:WYa<72M!ɍ%)ڧz 'MbYwisG81/B"A'IR>2x#ʃ(vH-Z(Q`Ѯ`ܨ,p =98" F#Iwͥ.zX<uwCŔ<@sۿWA&CX2unյMzUH@{+v?W[:[^֟߅-V.f(ϷL8;8|yy_4"20tloBRKc=2t;~#ؙ!He ]FSB|ȥұ6@˅=xnA S8!}IT$Į'`"$3Z5" ZY% ۮgA0Ubdˀ'v^X k^u3iZvGnlUV| wR}y v9)FI&vqp!@\>Nˤ$yOy@ 5&r+Ls.OxY{K;%;~s5.]5v{ˮb m4Z+YсWfBX=Ek[NʸǾz_ǡu=[- 2T [[ \}DRߙ%LO]-4_Cqb)|LĦ1UMKyqwޏE.&iĽvsjrboVNIy&:1&9˞ m6Z }VxiXKmkMu8HRnGN'G h}h4Xҡ um6ɑξhJB{юE%:t}id|O&V[șt0|4~IF9T'FHWdӭUC b)6tJ^[Ij>KRШݖ<M QwoyPtJ&uu$,%P&?bÕ5gmאXឃP;Eo|ԀU/V`̼ϫKH F ,Mɒ#`G8'P{-a ōZۅQ^'\ZJº))2goC"Z-`puL W8>ʥa}s:x|Lp#mWU:@1w> -I}FX`۫[E\TkH19=B8d.`|=jmǘZ^2TZ ܐ  r U+i!/XJLAvサإ^~ydhŨ*ҾdZ Q`$Sȃi`s>*kCPce=25Il#)Bq^ !ޜ Z<.Xu#z +ٸfk~:^IR"YގY{7F2yA0W ,l(('LiKCء$ )+-ѹ3VjLZcvd3y7uf= -Y =iAZUz/һbl [{ "|Z(mCC3HhlޛiIm` zO yE$:φN~ԪJA3'"qϨYNɳTRgZOKjAr]- ߯AATJ?2iYNAtWSF3`;)͟ u[': Q띒Wڟ uvf_d' nYhFL#q3X "ИzFON`gRCnwሄu>=~Yc7c+7)SWӗw>40nXfކ9@,Epi,' <8 Y 41q9<]#5";-%bVSy]AG_Ξ}*;ÀRDfN)o íTw)"r5/` ύUk8[X32 Ig}W2Fd ^jb~R'֤Mo66ϣZr?V'Y? fy\- h^Utr vHp~M=ҬxSLSLG0E|8~HwƻFۛa*ܚ}Q, b :=L{}yygvN1"w0dj=FӱxV@zt- Kqඁp[ 8rSva l@F +% Z}ǼYܝC)M8k4Pxu 1E1ocG+/bN_aB]G uP1`؟U2/Gܪ[ H41^;ǟ߸&ed7&fB_4$ q0B2h0ø5[_鲌k~~>T$mU 芾ix(I2J5:eAbrz*O7 "8c"6&ƫ\ sRmE)zMǵiaâaX\͓g TkHfDnhʊzNG\cWǪ )p(1+ ragB2|sgFl&39Pk!/ӥ@s<|:"=>cH,@ЊY7DZD?[$8/`8=,'k{9Ծٌ Y XA Z$_+kivlj |0<#B^b7Y޵~;3ɑ?d*J`qaM$o QZo"-_!ލ%V ̤;f4#mIVX!}JC/ZL涭%p8%DShi:*+naU+Xm$\UrY6wcvMghi{iv$U0+OX <^0B) N*d+_Rl~0kTa,ɬ sH%e͔狁Q {XJ_X_8.c~v06g?+S:oJ.Da#ք5Gh x^;_V` fk G@'Ad!oxfuݥSU5;7GeHvW^r2tXGpF 6|}RjvgT`iWXg㌷ө ؈sbu|o,̂ު? I8wξ@#əcL@ `LhG_ 8:*]/7(yw%C7@-cߕ Q_j{* ׄSO{`^뮑~'.RUOgݯD'q˰B^ULr{c?*&i3ή d?0D3MZE:Ic7a) לgvrQ6pޠMOaVTG=QٽF}Qds}*RA{7%iMRo;H`ɋH j`xO:rY<ސ yQNÔjO`Q;v@I5-j `h>; ;M^Qk?C 9/?n_0ra"INd I~ٽ﯏|uiHhO>1-DNO%?pN .|/}dhov+yL=G.TL[SaSjvLK- *{S4ۭG'9~`o- տGII8+8D| jw|SmLkHnHmKC]+TN2y"fnO M)nDr7z2zOSۜic&vu& z:PUiQKڟSrηhpx"[ T\Osu.L^} w:F z)ܶ(2;ʎlo 9Ud H3Z䆋z;CuY̘FAXlDwYLJWƾ ~ 4bˆmcXVĜ0Wn+˚H3<^v~x] "xe4by9x.s5X̏`k&V ֕j,?I`> X:h?k1l`M:z)y'X܌X]$gZ7#5qn +&XIJH2_6}l ,Q@3oy%}Eoԋwn9՞ϧ<zu {:`ƂF9r? Xs/I̦'! t݄{#cF(KVX@@>ơBRkrעZrꐢC9z6ksR% tTyкn(k嚡)389'r)X `ahuīvJlthflwꅍkxYА577<ERHV5l+Ѓ,'hWղAG#PPa̯-l xŸd]~ >Xgr*H*MV/WH 䤡|uy*,CI#q$-VlPC>7`ۜ]ky,۽f`Y̲&zw8]j604A_Ȭo䰶33 3'd51[,.UTwQ3b.G0JB5xr1H^mkԷMn 0JPdې-\ ti#Q0W\kSCD4A7ͦ8o2^0픡9֛}H)\ٲ% extPg*~|HCiN\fZ0 o 1ӔP֘-_bAo~jd7Ca9$LY3'/Ruָ> ioyVxuA,1-vL:<zq>1u 룏eR]5*Y-.i !Hpf(t_LCd% .d RDKu@@Y~EUry/psAGo3}!(j6 =Kҭ B li8[Mu#[ĐQ7 sD]q޶/pšvkM#~3 <2xα43wO;gZQRB{pIIk?go0X~q昚*L%{-+6 \nFWNwۓm+Yl!{u%hs!dKv,lj݆i@0Ṳ01 ,cUaQZ]|FuNoyKon~]]mHhBGKP.xʚ%qڇvh=1䘴 sOՅ)b:2Ov$q~sJ Dz[mցJbkI lmPԎΝSXD[mǣu]_d1ӗJ$a_ík+˧KS?4d/0Lb#+*=lyuӟ^D"ܶ({ibJ] =8 ?auNZVGA\K-]%!eQŬ5h8|b "g+Ca`&vE.fŔU=ckkyљ+pƲ<}'؂z1 8IiqvXfJptDA/ S X #Х$Kxr5q8ZXقeM'k6٩xěC>_m %:,RbYx+#m~L,+ؗ$$L5j0`~cNfb(\ x3oqª2׆wc^3#SRW)զ+ SʌEg#;?ڜ`5qNf@團 LƠ@дB3Z5\(܀;^@ZѸ^BUZcfj0v3KK-mSv]t(HUe,~2{u*ʟ3 FM>3_j8^lpŗ9 _&9m &\SёFk4|zr=0 U T- CˇN77:OXB`J^C6~= KS71ؼRґ*sE pJN2B?d Loy(qyD*N޷톮nZOŞEɝPW| )(VOiW9P{5oHPggֈs"҂?*IZcwv9àkH?8C"t|od7JjBF귥*NK`Ս7ƮORR۹,˼ y[,κ <{ oy9GMvucc)铣ZQRʖlm#{hz7lTpzW묋㶤[^oCZe*T{gP_R\ ݋qDKi÷;f{A,lqdL .`QSn&k(yͤaFqǠW3'bى LwG[X?UL DmE.G$ 0Ӄ6h.8@a%@-=F_x஺@O1`Ĩ 0p0O(Z©1O%>z5v[.lLOL(,O%F߸g0yhV߿jލe8Z bju=e ϖ B zt%iMC&:mf' R&ѭH*} K2+;+-^$bzݦ*L~:IMY{y;3}#2_z2рME?1:V'YJ4xh#~̖'ImU|mwr8Tw!] _+WFL ;7iLš5F$,a@Iroj+4eB6k]>)gBq29.1,:1!{344D; 'hqIѾ3~UGsqEZE'JGrIc%M’Vyl+& : "T >ąJ4cI5< & *lu99hw#|)<݋,Pm$+_y!rz nPGS!"Itm+r)3^%B*p 1Qciqﴶ~=ZCN?V0\Ve5 x^geF70Jσ&a%BWF—~~V.AL7{rlO%җ 80dؒF 4-^$SiQdo L_ l.~쟚6++. @iQ?ĔF}f,1h$x-uQե rD@iTJg9.."y9Xa{^M<6 .&g"0ԧ ^7_m_1<"p-vRyE˻]6~E'(qSqѣP !TR k^agSGҘ#KCӎN5.cQ"o_-3l uhꇏK^W{nJTUmN5>ΉZc?P:r&)t^7EI5ZdP4R`ą7B^IFZ3gd(o(?\^>j3o0}9z?6ހ.VU;XVî0ڇ7Ҍ`|$$+Dpţ\UA )#&[!6[ff2!&^Z3|R-B&RM#(֍tUGvFm9VUӢu;\4|~%9maJb-r"rdzhjˀlߑ ,h>LLOf 3ѥ?ϏY(jOVZr4 i*0 yz}i!\gO qAwT[1g!\*'7E0ƒ-L̹Ot߅ @%!01/q&6qٶ6^:eivG szd󎆵] asPp' ( ߂C*f..KdHD@3UgX]gls@0dc;Q-f \v 4ų݌`'%VU3aiEN,'ˤ=c}5;µ{v̕zi-`9 F%Zu+ay 3ti齕 `Xt R͡ҡ T);:bC#,6lR) eU161/ ؂T`t Z,hpve:rdh&P ?,F\k,˴Y|^jH@t.7Z:4^lrfwm-8Zbd Iה/h#+mc4 8ħnȑ;yo*HP@U\rXz熄Veː ? o8PyQy"7Bzz1޹|4d5HQxDSa]l -a6\l/?]Jy|JDgz1"p|t*<0V-o$nHu C6iITL}d;G 1## W(Qx$>1*^ #tPݪ m l~D[l"M%iO3KXSWys5v|?ux0q"+ٕa:k¢X'xfݐ'&K@WNcqЌezZf=Tal%Qfl_ ua_قrf[$+ NV`ɰQ-  )@Wk=Pwi |ݣ!"}:bZ&=F?xP~zu^O33jo>b>2+=‚ ~yCmc `քe>(J"[_+gb{X^H`.6Y=ܝ%?|و4 NX{1۟/HWG۲̎{+]Fs/a^j ySh4{޶ wAd0+܁秹C>^nf3 (l5S| ge_XQ=TcʀGJö(3 ne b^B:*_\%~iJC|z('!]X:S$'۔5+In^@q1a?wG?Gm,q 43FsQ @a ANŹЗ^k-a"7}i" ςw,R̺ ћwod6\eB2wrnBՐdc $8 n TEH/78s$Oٜ^)2amS%0uXD3l7ܓ8 u$jxi^.Y@i=Ĕw'hߎc:K>@73)<2MQ}_tR b踱ܐifk*l%x87(RM|4kM#,GA"l.p@!љ|O 'pW*YعT"qZ;PKW2Tgb cܟ q]-DI [$z 1r+7!Bs'2B*y1u'T}xh/ަ)l1BcSߜ[|p9>OKD{ zBahw:S^nPg"uwֲD!$ES/W"h3UXd%X6凩A엽xt9aKR!ݠ];tI&m\(eZ@sɠ_ķ!w fPy<5~N!&s\y)I 2$mFK݊D='UTiFAcks)}$t=*aU,XTEq9W3&9e`WDnUsd40 Fh05&a{?+U]5ޯ4=1W87̅*M$jj {u q'in C[NJ1ﶹ$ɿ]l|J+y^s&l~Y5)#)'kk) $oڮ:#ϔv['T뙑z|VP3oq 췧k+8a6^D[v#^YVD;B \n.aw8s&-4jR}?|'MΪyx[(TD !Z%I20M}+3m #ArN_O D)g+Nf˲XңU ByuL{S095sMs/+0Lbߩ8F(/Q +^%*Os 9iS5$A%})-ze?S9OF@ʦU*!"#U;h8"?u+Ԗ_2*oo.!p {8 /IB* U(\|1۹ Pq(٠с6 T^2}$7 M_^8yXKuܫJ H 識P ~th﫚 ߇*J.՞4^Csac 84Qrr!k&n{U$IplRQ<ż"PRЕ|M"))٢?8BEqW+_ňyR C;3RjEzgR@zV&~fm ,,ƌZsRs;>WL -X5 bQ0 ݼ^3iO9ӽ"gOW> 3'.5_3SNA}oӘZ@'BL*G0*o!O0<_GT|Fc~ϙee\Eɜ,-1q'+p7u:zgl R7>'\d4KD*ˏ4iLl#5r*麮WI/!)SJ-W !$݀:.ђA[IxhLs"n$]j4ISD%jcZlhϽ2p̰$&j?- Ü29tNSm1Qg٦ǁr{l䊻6WcIg'I5)l3I%|LVԨ+C4:ԏ2߿[גMh*6[cg +FN?w?Ẁdq+}T5$Q0mrN]_T55֢Pk =^1⢺6&;+֯R~lLC`T.UQ +ilȴ+LB~LZʾ^A8)b&^2jLʊԜq<%Dj"2QM|%&IB:8GȄajV(u#?.2Xu.Tl>a] eȯG1:߻Uѕ?74RU!0ăsAyM/c9)VS˸J&7CZQ}[lWye/̌wWU*Vf:7GNql5iI>!mLx᠁˹ '%bOySw2{!% eCюQICe6Z6P:qR'XcbTE퐥DŤNŴYػF,hNINLյ.2WjcQ E1Se)(XWe߇&=W hlmMZ o 3fZywB-h+SfHҸƘJFqT+ 4(9'ئ`sf&'b0ߪ`>3G3Yz|wogYZe23127660a3023358961a1597aaf8287a776c7c276b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac e66e4e93b356ed170679d69d2b51f8f86a9a83b71133c27f43519d4bbe3a1873b96821a8e56160d0