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 u/ L, ] Well_Quasi_Orders:threads=4elapsed=22.052cpu=62.812gc=2.428factor=2.857zXZִF! @M`]ŗXiɟd)&]ThRc(bPv^X>N1h8پ݆lº\$]Cdb-'#,Ua5s\y-Xc]6$ASJ0pSomVCU,a Sj\-? / Well_Quasi_Orders  $J X!\c,D+-OAurBQ$wG֐XW/u6%Q5=DV&g,DŽ&x$ףt.^= ܒm!Ad.)0jgEJ=qsLm BX,a.GnE݂!#r?hC]q;ZKfvbFwj^Ӽ;z-k4y:wgq@W++HxV·%Qkp?JLxG]'xasw|lhDK%dmg~ o1'EweK$%1 UB s4?5B'NqPH;*yI4 l* s jF"ʗ"mQ[4ҷ9>u@͋7)`@ amH Aî,L7:=ej3yZ67Øc5 wGkX\n@g JcQb' A#ӷs5ܤEY_6=pHF+WDm&}^~J3Vu# *pO(,6pK`r E @i~$C;Իd蝙yon9=2ۍ_|?ۨ54 .4Iߧݒӏ_^//X2FJSuz-YN|ѠmE e}c$X9M>!)7֐ _4]Z]k*-Zɱɉ_r}xIϡ9b2qwj}9ey*7l. U/(%kR*&88+>% {;符mԸ#Uޖ}#<<VE/䀐6e7"mǸ`j-F"K{uM:Wv剴 فYDe<ҿ3dqC2ysClYwGT?r/]iU8 @^} TJpaӥɾZk jЍB0yBHaQ C~& /XJΚ-ȍ!WW.LuR س^0pbCX'9Xt/U|>0ܵ⮏Je5H:$&XuM~v\<&q=)ַaCfNhA//#JcANx5>HXѶ$ּ+ǐߙk l" 6og[xa߫r#GUw'}}eZTxE C-χG4su)mQ?'*͌F~oYH2ovmӍu GT{]h=;~):`mC~,kI-7:+Vf9[2Ez6{\11#X|1/S\2a~$g-|N'*V=NYrVq]o7*qt]8ѕ$pF P҉ŶP!*nr!d{%͚1(rReb<|֞]8dҨjY V^ץs/GZX`ZP?ъ|7hư>]o5(rS4@Tϛ߇q+"a6F]+钢IF-- CiH2y$ h,%;.x9{y_&XuR.zl ?tj]l(ww/qlrs9GWU1ɾ\U490Q,\}`U5mS4>Nkl$'9j]5Q֒Ր<<8"€ZoFI!Klx3F n8A\-=1xEu$|\!HT,y,~MWa DKG/D.n1qׁ":7b 1Ș{ס~h>"c8.bƧѫNv?3;S1#PcD? wIv2‹,ߥt ͓@GRPHl!u8_vCZ+t[=_^2uE#GFL/DXk{AˉF[mZٗd}}V}8vf^:e:`|ߪ;=Gls=jScZ A{B%[tL:ܗXeDI{2tGeQPj)hGrBO!ݍȷ9ӢLl.L*VSk63T@'#vLSb-^ֹLT#bzd"847`ُ !^olk:iܪ3Lmr2W6~=* 9_XE+~5ICr|ѓǩm<#H%n UDK!049 巻n"oCV.W{ڕ@ ƒ^(^xba3l˅KLf"հz#S tXdxWѷh6S`f Ե-=>T d4}$ؖF-{?'s>S {,n"|FiPGN~uNjl\NَD$wZS(\4ٌsƖit5 fP[MЖ*8`i?Woϑ&h4ә2qD7DURt3p90޴[T%2ze8Ҧt<gp!/+ C)L薾 GSbEryvug@IK!! i $~zَq,/Ze A%L!j➌yYRƼ }eLWP ;/{$?:X3{gxN2p闚El4W)U&;=9R 4F|pu z#p`YXS^F |@lsg1+OK8kj%m$|Ew=}of^& 73ffz4wN*K  "ҹ)`깱۔n _V !3wy_HG[?G+}V뿛`Y(+`ԬTK[` N\$]kht_Fvm9>Xh.@/y{WyE `VxR'd3 3v.{,Opx5:uuc tړ/z pe@.]+NU (7lKZ9=IB_[f/@iCF{N= J%6!u'eMH{3ݯj;GJN9TyXZ`VB 򆟾OZu/Zi=,GჿjU!-~:K@C#DG&ۦ֯1ߴR{#DQV&.C  37*g[1gϒpMj q#$cx 2A_I&2t͌.&zY$C&*L۷j,=ȳ480b7"%uƍcg~@fOSr>41QVVu0 ՂrDM<ٝRo "t_π"IVu5q?y׈`L[(kAaFM_Λ@j6(]3$<#A]Qrz&|'^z4bS,.zIP~px@x>M }MYj:,Tv#~zQ^8f=e϶*ҦS WeB-#"AQ|* ?+뇠lV̩- (E܃:O^84c9uОq@C|dYx}KRTƶ +dp8Y-~7spewpɿuk[˘!(wb^#A +=OCqL:xq1H:H VР jz2F1uAhTrgsN` ?qMXW4I$wdawbY)} p⚌pSXNo*RDACV+bzr$!*޷ˤUHl u@kyGk-6پqln ̡ԧe C& ^%*:ǸUu;)+ׁib(+"-BVMFBQq+X饺i*VI:R*dҖ-koJgjъf %?bVqV?w ,Φk\{ZVfCAҘxID2C 2YG^qv5S,keIK-]㍬Y6 ?W`CD̡i==٬~/c$K[/IE< $AVV}T GE*G+jQ"k[x~RwRű)oU Yf&++߬k,YdUy[ -u6&ZhB@V/:̷-),\.6[Q~}c %j}YcN]T/~jUJn$[)\4dQ? 74Zݦ }MhsVr ڇ{V̑P?ȡl/5ncMGU.cq9S;@\}ns7D]HiE= rLX'G'/iɸσ8C Vt?)co} |> ן%˽nؠb8ܕHq؛>;vza5.%t1v+^2X ƀQ&3皣|#Ǩ]1zA]? E\MR6tU,s:F$(\d:l,#Rqb$7FßF2!o8Oi59o#7W0΍˙B dEռMX2jkCQW pr(|0%+\6~!C'9"o0wMS5V]HK6PY:1}Ye<JbrJ0,/Yiu|Aŧ>'rN1wO$r}i4`3)z>zM"pq0$H8Hq/P1v%j$´ld?]#C4wqũ˪yTbWS:?2R_hǘi1 g \WdX8Os+;iE:h^MпU~B8}!n-S&*{҉#~anA;*HzƨJ4ĭNdpe T+pl&oӌOneKr ͑ߨ$а1dަPj'vǫe`rp$mDgXG4ڔ&ʤ$$v\+\<=`id]D'g'zE=97=( \?maNzD5p*0"Qr43y{xs]3@qT}d1f}Aӧ.Yo ,i{_ aߐE˵LtpQW-Wm.,0iR렀Du58ݏynk1rsciAbVh-5zm4CҲLg-A^|o@K)q?ta#˸f4YƩ'Ll(j&h_˨4?}w_T18(4I$eau 5`{:awܸLb턲vyl&5ݯiĪJՐec bi'p&ޓZv' n5oPN%±2l`+Gt(um#37 =ڀMt+P~:Ui5.٧LUǯCaRpQɮ;]X8k1V_@_scH wIWGP ڜ=QV3ݮ!;Gp ¼!qĺ **O"dYLېBSfdoox10nfZfm!b)A{ʴ'J?UJvpjyKdoh'&1\·EYҭ0ƙf$?cW$82)oX`ݯ20S ڵ.?qH*1BuG&n~H=alC:07 vIdn&ZOץ6?XdoԷM̸# '8##Ϯ1*0i\6&b(Wriޗ*r3C TZJXj5gqT'[Q (,q H czXbp8qWe$lĜ8o\*.ubPh0 ܈kg~RYuAh:#xU <$[~)ib-g>)}aiڅ+W"Nn]Qsqv G %622^\Ȣa*EN.q,]w|_ufZLo5?mx]C7"qtCp_1Ya)kd^*m@yB$>:׀SZ]ap*9&ܴϓ1B&IAH/jy]g|i]m' ;TyչchsQe"c&'GW!\|x&[QSym|aM,]*:Tp,ߥa; ]?)KTe9M[;1`M^Ua|4& @F7\*hD(>i ]0 +KM̈́!5D@5{ {fz-WƋ<u*d9Rn[I2V')jWM͵ >;NB2)m|$b+6O`?L-Z:hicF oK%{7EDBJ QaY3hGv0hJS%0W zi|1]Hk-es逌 xŅ e:=3V|=1I o1cSG•SZU?G VS `Jk@1ыXr/\.Nd3|sfĀt .!JSHu/2:}VG{ ֳM3rUDs {~Gٙd1Cƺ/*ٰiDFA,?P?|CjUd:g9hjtK^p0ͯ)/zlei#!'Zn$-.$(2ux̕UbL4i2G`*8ðbMEjP ,aG a~tw{tրt.qeȲ "z\OE~wsS3)Jd9()n:)>kE轾68&Y%a!Z11Dqx/LgLKq֤:" W!Pލ5*B9EwBUG1-8I2։U.fMEJ$< -Ce& J2?i6X&d1ybF`cruBU{y,?!aza' L&Q7i/IuPx:ӀBtOcj@c-j:K>_[^rob{hLڦ;ndLa J4t g\)KzԪwa؊3_F{)Poe J;s6i_Yz{YUk~8#| ܩ3"tPoZ֣k渎m?m8(C!163g[ťL9,`8a 4cM`۞gSO糱T<is881 uNcnŌNޠg[_D: ’9BS)in\arG;/.9g57hm*JD'vsI y =XS٤G! ЩJ2*PuXFB1ww~ݠcPt\<҄ވ~HJ:a[]DN n~dT% f( GLvUDq˽AvJN ȩbnc/qdTbjHBO :M.FW^>,yk{C-=2p׺{?fDkmfĢl)S$|*PөMB\$fj `PD`-%_5:Ie.AxuTd;iXԨH*G2ccOC#` kuI&% j1} qmiönpO\:OA #elP<դK% ]/3ð*#4U79tB+0Q$*/2ʿe>0@ D5 UgsB-wHf3…yJ{jL6t+lFJGRM[a2і* zq# 8Дc}P&< Nej ;oH/SJnd=6($ž¤Ml*b{O7LH|*m,4dR8}wy5mruk,tVCw{B2[ȧl?-$c.\/,)Nʌk̛89;/.o,,<#Ü߽7tK 2ӫenĎtcJ5NSֱ-M璔}qcr>?uˮʚ/f"xÞwf6L;\7IidwB< {r O8!mt<3`RMeȿpJpRF Aݛux7H% }۫MK؉'KFqKVf\پ-G5arث0$101%N!DAyN_vpF$hhCV|U0wG' [?vQ7=@C~LK! e.{}(AY H `=oA(-U;gSޒ 7hډ> Iͨ9W Jρ:ԊBjt}8#8iu0RlI?DՂ9؄l(Zt  @0y ﹝X뢘uh|A TGrΰ(CTSPC֎<1:c[RDeK/SB.= }MdkLsj0'i(J eu{tfi*ܥվ7/p;ܱ 9u1+|CDr^2HP(pz%2C^Q1 +1 [Z߉ :PYzu]ŹcsYݽa8tPYyf@ PRA NH|^<WcJ6v)=o5\#AHMh"0(6tc疇u2|j)LlёH]hsxIT̅%֑,AFw&MwuܔmZ)l*.3Vk4?2 @/![7' ڟ(JgK+^.r,xz<q ,p9eӮÀmroY^K-ge>= G:b̙\T6_6Lg%7NvzM!X.@M_<Ճw&d1b+w.[|c1wu(`$N;xJMc_T5ti ]xU, PVͮ|E/oc"ܰϲI\N|tڸFlHd|S?*( P$ A:M~X҄B5%-:1mC1 ԁz?xnP GyZ@0ŋ6tTFI}Cp+c%n27{ran-#=Kϣ+e5 zŹf[] )R K tcwoT ͹#*DCcLܓgU$^1hSF)?zLow\_Q]kGr˂`SH[?:)GvZz:4fA+*>j<[)Y8ѣQKS( rr *R-_RӜ,"J`!䙴A׬]B Ki]-lX&Қ!ڿsg|E ZVcxGCuSD`湤⊫4AZJ1[yx_#Bvd.h܁&솰E~<|k9kˊTz8CjQW=IɎw32HK7V|a4QeZAФa|{]Vas)2f͸?a_V<DL tDU\."KNߌ"~ nb)_a$;]u7Ωt) zC)3}h`~s A"n?w-rIPZЌAHH%9 X;͛3B?lg?23wUdk;,1,U Hj -$Q`LjKc iw^ ,"k'%11 A@B3 I#O/~Kq  !T!Ga0iuٓ- >z/rsr`0ǥI\P `Q#ʹr7g+ՅCh\,rѯ:LfCCGq^ eX9Ո;ȑMtq i\8|yUڊ)HxX Xk=WUјLG6kt%?3#Z_ wVYd:Bލ /Z p -olIX FqxzK^:]w=} yRjTo ۚ?nLՁ^9yE& {]DwD<6?^!;lgZt(DF,,|oӴHx'bÃ}Q+_EuHWS M] -nG u:-lb r XڣĝsMU[ TPƖ$Qa}~U:.MH2uoH"fOPfUl**d:=8U-xG`pɯRL'K _MDh'kbZ b ;vmAJ7sG-%PHUFeGU׉5H{mq $>0˺%[Ue7ҍͅ-e?jfAokɞj#)izgEiM#O/zT"(eD6(Ao:,=*Ky]zU@f%Z@u>(SFlbZ޵Il`_3 K_ꮋ0_Бڂnf%$ z1@gwb 2ڀP]' -WM$Ǩ{r1_س͐ك.˿kOI%oO@TnQέ;4FXjx'6 ȼ\ߢ?iG W//# EyH[ºruse$6A{+#NBJcٻ]]IK6IsL,w9|F--V4؞Yh509 _3(z nUk"["J1} #hNYnFu_D)oIQ]:C_0cgsm煂LAJl_Wšx>X֧isfcO{멠uO1ZQPUsA$&z ~OAVUmﮦ݅Dz qy`˺ FuMj&G+>o>{Cwmg~IHmFX1( FuwF dJϭGۆgr ;.D^|DS:U*FE3creC{v,)mQZlfFƍՔ9c):i$${SZAրIUzUR'#]p42EdQM+&M){kjey%pCʹԊBWj˃T$gk?~^ KVN}% G#xli=E&aq5jr^X U5bK)wioGEKZ̺[U8!{;&B Bm4iQ .mRpW71h`*HaOBRzyV - ")JZWJ`$+:R?0zf{GKLWXرU ޽#쐯ˉ;΃i̐::"wcrR*g~{ӝBDsȩsS'Ȃc<}L(:Ha(/ WɄW%4`bYVSȾ|Mnr')xwZat!V\(~0^|q U_31I ]$̜wf/E ^aSMPEnň<1ICA_ه'&eoAPam\EATBce䟉VfJXY䃺ĉX,w@\S5w]G~Wxˇ`}Rgǟ7 eUud']%kCK]a:r`KamM|{ڜ]PA8}o ՊXp0 O]y<3C66?= l2_}>qeHT}g0?*|;ZH;tM_xqU9RxYf ړ{A*^< /K?He+fə &և5e e/){4{4r#|xZm58 wkwNNb{:^Ǿ^15)ߥ^N80/j@ٷ=}qNiㆹ,MWG>|ixjo3eNa){d)UUi ƯE[ UK J+L`!/}#崒cb,߳Yj;liO-`~ݻTβU򂿚OHj[a_XXUӧki@(ʪ 6,P e+^b93,vJ&Fa˙=߮0Bs2v˃a>b >GACv'|Pծd/ă 1`?ì}afQ (5[fMNaWiˎ(z ĻԱQ|f`zX'g^wYcxDR(m7&51YS+;;Jn4b$+t{Z$±U5,+ Ein18H'$ ,%w3 VUŗS*Z蘻RtEm,P7N'LF/o~g`V`5 QGxXH5 ̪rƜ "[mͤOY${-WNY\}:6 Dg&)zܳzlW0ӆxbJt k1>ё_LfʀAd7wYZhIPgu0W`]xz;:Hz;IIɣuVv7tV Jh:Hmw7⡘VD$n㭱W" כ&?m_aL;K3 ?T5C>-;S#JSD@RO9hxJe%<_&].5K/AM\akn޽j Y-8b/K>^M<9G@iY-4LA P<Ɲlal; ޘ+x< ݋@l7ʁN?H}hZ†*_ELӻYҥi v !fm}z\2B%$yڇ䡪x#j! g)*Z4D\Y`D<ѲdM_mt3$Y!㞓r+y]AZ*W0XRiw\ nh[4!0"*$+pͅǓ =SWeE6Ds_̂ŀ,i:m͜v;R57gU8î0;Q^X,!b1&cf@phzTB[= QdyO7j txG?C3t10e k'c`*^ r*_lYaЉ5B XIm2[pQ,j,=[mN>R "f[3}0V: ZXtbyX]3&Ac֎p Xnb@Ihxn]Luf$ k%k+RK:֮uP.֚Uz*"IpT1!s%5B- {W& x]"wYGK=چI &pE.z1!\]PWh&P3U3(,+*aDƔ\Qg5QEe4ރΕ[pF~#.z& |SL`SuG nlqk$+WD© v@wBz!4OժMoပ ï _Up$Cqw6͏tNNbF$S>aV.8Hŏ(w,ng:ZnlGN ]h+TN64DɊTG|NW7 S09ڼn%*4H`m~=䴡g% 5ܨ&[.=&VA}='nrUE`l!l@iVX!oiHu NλDFY I1Z*h'TLTsђv,G/ Ȁ`) M֙|-]A _蘢yb^ҥ^<j`׋I1P2ea[X/F&BEKkEoSIbE9L5ҫ0OpYqc=ۆ^z%|~Y]{ Yx(b؎KےIgp.d}na1j-qNB=ea2)=OnRg:ܭ׈Sפå_a2_Cq 0 7r.ESg,=PDQm}IĸA\fMˆZ}>=?!sB#ϲr67+ cK\r<'spd;hNGT2~n|X P8(+pFK0m8=ǵ11&t}Y0yEI@ڈ)Sib*al&iaMۯeLg|AGMAݿ̌Q'tJ0^q$@H%J{?<U;r% %%]ͯ`77ک):iPx6\'sLɛ⨏iB']EdkxKJ^<@{WJQZUI[WiF>J Y1N&q2asiS._u0)8qyf +8tJ{=ӢA #AU!Rc&^gyf )a R|'e'[}3({c CsMRqʨ B𠆌G+#v bo`dx{:x{HFq?5:^GjD7bʕn_ k~l^Uj0.cBtbWҽ33:V`ց~=BTS`5>?"klGD sO&ǐw㹓p?laPP$\.Q ]O3z7Į|SXodkK q]՘eWQ@!K@nBu/g,}BRJD\'}bKs6wSCQSӈcct~s?ks:WTooYT2̪Xqn0 rc%N*1Je5jw!!ખɧ> ~j?QD G1: "@ aY4D Csukrkyyg AAI mw1;<Ҩa]* ʕ]1ǻcj+7џsxzD&'>Y!I1s'QrHI3_N8|6/7:|f)Pک|_ފ&e/_!30[eV~3roL [>P7}m+(6r;P\f,ˁ#ȡ#ߟ5nfC@gC)DQVv@cB5¸`oxZfԔhW9RU  ԭ*9 bHLjHeIz%G nA}nUp>Ѡ`2ZXx<өa^B Z3L\˸Qk|tװD9XUgXM)T's(}:hMI Y{*Las;8nqx:`m2,Z HP4\&<' F/Hl4LHxݡAHS,Kex_Bpdf~ W3;!UDZ=BMxv 9 ]Ӻ=1PK-J;Ѻk4YpsJ#.Q}A©P`[ht!Neȥ4_ɽ6Ua#ptz)vx|M=SX?1AF,HHRL'Z- PIN8Q|[J聪Ȯ:& Y;%2kQ,s *P @yI݄1ʆqN=D< O˵`NԻ,[~!~8_^0#yo4g8.[ \D 5huMT C ݐ>$%q{Tև|Yϴj#b{`5Ӣ݇L} h~aþ+ll1t`\ '_>Ў,2'lCC6йvq~uv 1&q;xsV#* y L{@e] e#?Aj: p"w0@ݟb~ )y a4kM~`lGZ.qF@]`:{}_ nGc9sYiJ׺4vXypb1im.zYE 7ƳljEzJ42`VzБ>Wj(YՉܒK)իFE#SS"ޜ䨐=`9Ʌ n~} "bz.Fc C_bqz濫S)^ϲU|m~ƃJAOM Kt(ulJ}q~TB^;rS a5/fSAN&_f /OOl: R)@bh$yЋ(oD.W vݨ%GhC|17oF\w8~Z 7v@\SG!:q`5DDc 0Q Kq:ӕ57ߍ]_Qec.X1Ɛ짻EiT=җ!, &_25 YVJ9C܃#{069`L_ hx SzL#NR ^@b aln,CLOl[oHcGKʩ HIVj^L?UK 7>-ae[ &B+VLčdMvȁHΨ lᡦv% x\'N}>((q,0@Ў9O$lA5@ rſw?Zp%h%\^c.|ϥV\-a:Z$dIS\Lė 8ab?'kQ=dr&MZWesѯ KIidG8$w㛓N.]>^Ho$NGYh<b I"%Q(޺Ú{9-]R05N_w& -aTLEjNˎ. U̥ä>dW]럁NJ{gM]020P&r Ŝ$~"[/I@?n#Iq2=h?>Tǟ)~󮈳n-s-Or =\h{Իv)*D)Cug†Jufo9 ci4 nomCl$9yAhzLmX&!w)~Z#oV#׫iC\M xj>6τ]`yd8n]ia 髵!@55 ۛ=KlBHf !ey@!}p$TQ;%P6 GE "|[x:⨁ mڇx?V_g@i_!/f_ A૿JRy>#NT%Th~zeAk۠=wXzao1(g&ۙoŲ(?vc=F2n\gÓǡƧDrE>]"R7U`LCc{;f\ tɞ?>i[F"l1OT|#<A;Iup٧ͷx y{N݃i;fZ' %0(ģ:zDK@-o~nMym7i)K@m 9aXD"I)!~g鳮5-lJOiCZګƃYLjF ~cQNVzdʨo`{C#s@=->af5JI_Ti8qF9;mRm]ߓEoǸ%\FFV'Д?ƣgԸ/UYC89t<ۀQ)3^+*PɖG8@̎o G4-aX9Mm^TFp_B$M~Xyrj}5H hth\ȧ0B Q yN$H5IZVOzؑ0t`/UW Qҹ{SGQ\+GpMa"+jVs& $kvYn\˚}82yF:t%ueJA)*EAu@t`t%J0lao 7kyu[ʝ[=χ~$Yaթ/=V[E (ӆVR| C_eA;B`ǔ 2a(LB"@6>)Օ7W70DcGto3)8%Ӡ:'tI0;W\׋cJdZdN"1<%͢RюpMI쵩'Wi{ k~g ƃ̰6CDrQ ;"P176([EobW#wN1TX^k]E$# xѬ'-$baL)=QXbbV]-4#6hKP2AEz_gl -sw&B.p}j ܡ b"Q/C`SaOW 1fv~ͫt }"oujVBl=bamx$ƞbL-)v*1-"eؗ=iC DnYZ#M^L"խi J`!U ]t`TORh?rΧh H/V xle6(rg6la^׵>Ofx1Q |g29tۗ;ضPI>ģD~FLu*6"SjM+_ jd~{`qZysH) i+ԑg3$ʅ^5Z3hk V\gvX`BXHqn,hz{J9 *:!T:SBJ]+u17n kd ."/lEߔ-VN觝Z87Z|l>e-,W(vIYE~./iKhl@+nÄ&~^0c1a3ˌzOT U A~(cƺpSr -f%MhnDzR,j/=||](ܢؤ+~'P=@2 [ tD궺׍LbF}e+ooV,> JKI %gn*b]:,q=S: 4a %i-'#]Wv^. =3֢; $Rm WFȏ9OxTboJ5ʼn,m0S 1͕tsKw/4v?DpSD(F?eE'HchiY%3BÚ^6[8t8BlYo@JLf_" q돕d^Ly{uׁ nNF$KK퀨nhޑb:CO,D5U]n&c=jM1Ai-`Lg&ީ4_z"3GgT+NVTӸ&) LS}9 uZ[oxdl$ YpW -j8Tvlx7VL"SPk]S=;̾r͍~T]Mmʏ\^Kaus|Nxt cƊ.rL(@ SbG2:@ixfLg@y9rBB4!BG %ۯ<1R?vh8/~!KUrl41d% "PϐHձxU,Hjvt[nYo's`bAiZZWZ;pvż٢(iұ RzYjA{q{-9P,=Ryʻ$1S\c\Hu2T`.`ʓuVj₡|]lUTZb[q!Q=~?z2㰞\^AqY>=c3J BYHA":ss.iW~X Ojãc<Ld͓kdގ$SҪet=,vcSjI(*nP[װPH8gkƹr!NIָlΨZ dQ y@e!ܺqV`\ 9Aw^%ԙx+f\|kRcpX7:ݢ KO+ƒڮ*8`POBe g瑅 )yb/XWrDi"JiVp}d#bQ*LFKscdy @UF^%3m&_ ץȭt̨cq'X*z:J^;^Eơ YcdE]2aX&)S| ~P L%JE'ABo(N~LsB@WS[kJ NMoca8"QZ1=]U;V]O3^fp.id%ES*2+Sʎ2CctS Z|BvAb{&JDd8".pok&ј&P>^eMr),C!N,t2kbhL&YePc*sY1@}V|o:LIVavl|>0&6%YFNSP _TO'`7w#;vh[M}ɶO6U׬Fȥ!rvygd+C@j%*'&f8K0 oS3nǩv!R+Av-CةE>ņ_S%5nv *>V}+"F$\,v5/>#WF-uT\H`SAfDe}- β њϕ[#ǻP"vx>?7T.7&mEԆfk왭#PtjwC zQEr?aҙ(AYHr=:fݓEZ׆D!76N Oojo$nLJ;]1*Q1=5`XjgDW[]~'Br`#,M3jMϬE: Gw5'_c)9Y2vʞ]<(cS[.Yu[Bŕ^OԼfSt[XaOmě[0FT9T-.ynsvGhNxU/d?ufDtakTȧh(ENMaf<;){^$K\&:y"n(IxFMj^fCwa!>Z\'Ɓ&ᆏO_ dA#3쑉dˈ*{&(ڙcF>\jvp4ϺtP:,r57v|(ld.Ϝ(Jn~.2dqӭLP=qx:Pd,fNeÝk^9 oE3 H eJB*C-B_u]>@PYm멇Xos?{ (`K2#,z.>kN˘b'9ZՆ oe;ݔۉ9<„Pj#y񔍣@|ХmeɎhd YbG5~Xb0e>FL)aen"zexL+0?}}xyHtw*C:]Z2oL3VF6{mb;n-BYˏضj@%[EPiVsp__\/uL T}&B]0+bėNP3(cClt_5؏Kp߳eRX;dUݲ(2ۣzY_"o\MݫP\3|`̳B-_iDi>YX7i/4%ۺx(5qJ 45QziWT$0huc ?ԥX?vNf֠! {$۔_R_.n3۴j( ٛ=@)'}Tff\Nq S5ڪ9WLrr,};jX X?PZN;-pxHʀN.1n J3.RT<0tfU;pD8)A&!H +"wFͅ`+n$[I^cϯVF]MsSLAjn:%>J9#oxrd$U l[Sd@{p"8༇3;Ǩ=ֿpU"a8p;NJrdgt,jw82%B ]&e]B m 3}Q`2,: tĤwZr0r)eQES [I.pY<گr@DKP+V0ָ*ZŇN﨩>,4Rwb56m%+Ee:3ao`! 1Gu{Fty`kʠ$WG]47g#VqBvulci>ЉzwhBp>? L87;])ËhI*~E>}L1)K X^`PzT@9tL4M J0b,Y KՌOJq#.W  gB*D[hW6g6V b5! >t 8zvogL7 wS8~p0X|cޗFhcv1pW !,dzwNCd]y`nh̐?q@ep' HM ^h)XbQc"g<tJb =3~9ycp&sҭX]$0AB]p%JMǻiwc{RED'kwu~0H-DJ*ePQ`u,[/ZV)] ~@uM1['8d@R\`{=25݈',g=psRUuEcw+TG!eШP(r c'ej#pD~v->.6(]*!'u0I1 1j>~JXկmjIVj׷eU4_|MIJwy3lq,Wh'd 5Vsf8 Bj*@rA<6>di|{U#:tջHxyOL7݂@5{K%S@; Fj t!. y5&)$:VN0\p,CI$8z`g!/+eϦ']U!GpP= cG!ӽH^5n=0>[vyef~qS->6].FoIqR5+su[.>z eo]<|ٞi?/]e02-7cGI* qmGnGq/):A3׳ޒ? {'~&S#oHGZj\^kbSF*uG Vp6 L}]``OI8)\) C3*8w(m4CXR[m6ڼr|eZWİ7ȍX\L-s!?g~p;X<5,vFv32/,EUͭAtN)C#o$J(&FSKXȓU$F?ycj_ztn f5Up6f*#zByup]j* )s7Unt O YA˔1}?{K}%}8#Xzh˳Hlz粍zO 0xvMMcW5K~󨦞q"@euz͉V6׼}>T2)eXVAf0%*_JF.tcz :LW@Gơ^ $5_>ÉO变hT+fS-MuY_8M[֢P ;Y"cqs00)Ōl׶ayaKQ2w/2mjqx5Iפ|Q_ϸEqyodIjq>^dcd+A;fnDǷ?i_ ?"iE,Պ@(GMϓ6d l};26 'Ӝb[z-WsװTsamBiPrKA|a U;(Jn#JgOsث' 卙'?ӪCYEmH &g3 D[ yI$:ކ!^m #dtQkOu:+%4y'F,p,l1[>r@BEW>yI_E!t(1<{` fub=UqfmzՉLu- qr߉/)U@3@%Xk)gU5 ) LUQ2~8lQ{u=T]mn.QŁ'5S,Dc˫ɫ~EB(CpPi;&D"" [U=mN/Uj9w~+5ltBsw[Qv: T7Oi%qVFq *nvnYĵ=aу^[i eSj94t9*K!Ba {yd6a Xxb:d7w戏MB~ nPMh:E2{Aϳ3>ʰVQfPW_[ xՅ(4H”9}d`y ڈ(_Ff5"P ;?qHDKH؝{:Ir>l\ꕩVD-~44V'}`*~ [<-R4qfCa_kn *#H Oe& )MOA&/OkKL)C(2G>ޫ܊HxOHBHrnxS/ﻍqs_B|UY:O/a`ze0za~_T@!"vY:iY;(Aq1F˦5!,0!}O:6 gZti~0ET03aL|lE u,@b՘e 晁I; IF][_EajQi%wջ6tsh!fYӞpws4]J$0}3c%\llaeN ̋3}L(%)~B9Z MJb2%2#re)۪H&\^b6s/NqQpfCwQ>bW I4Seg(s_eD%~ucQRivZvPmJL *YCU6mQ1}O#䕂VcES!bKGrP.ܨ&/rqsD?>vè ɨ1S*wa>+"g ;9 E %#')RU_*;4s(llSAvT|T-]B̎!֔GzO|ɧީ~ B; zim@[QHV h~Y4|g6}'qS*mN7*GFwwp"1:Bq5֤3%_<κ[Joծh,yߞbu ߕJ=$ݬo)$#]o@ndSSMLp`>wdc478[%AvTZN&OLhv.NHp{q[%ҿ&# -~i=FHY!8yY)inS0>/bᆘGt\*7r=HD:pbO!+˟Rq>/ݱ0ߙ}lPnx:=} )6,:s%Ntefu#x&.l gbǩ_'w3ln^g $ ޞISEMR*gRz. 7K;%5)xbȆr/'q՚+G~&鮝%~_˳OL8'M4ŎrJ"ɭPDM0!ɣӻyޘox8Cb+esqj,#@Lk \\B/ajE0AQh ֜?DɉTV;7 >&j>vT?|#\ؿ5'h_ ~WssOIav`Js_CnVIϣ&FD5O.-GKu%rbVA[bSV=rmIQSuugw?́\Haeytk˾ťYM0TslᴲvF_91Yp35ꀚӧMHjۈN?] E%N9DFuPaemy Lc`ү&=)_}%@L\w4",àHwn7m\>~zb=EHB!{,dzFs? '^fVk`M<nnw]*uܾ~= 3lbfD6$mF';m^OڿoB;+!i)V>wmye7U?:x1kd7(ge%Vک{7F_'v]kf/=*qVAߦr-v\AC7dwE\C ?V*CԔ8V?Sm15=_ѐB[)Me{9.B# ƣ LFu ~l?M:tױȎ ^̬[p$^ D _)vڒB+oOx-E*<:yu^cYq|wb^ QLWͥ׻])4sFDfns &/$D' E om%LYl YHPcN+"ŗofM 63hAGJ``;ԱP'G|gy,%`dj4Lq?/v/] Ex\wq|F7TV V Y|m2㦫mJ>hoDeM+䕏ᑚ+ Y:~j2阎_M9k&I|hPߓ`ώΑ>>#y}aݢд6Rb=ͨCv"Q#`dzO b_M\Q8TrcF\:XnWNpSfڹ (kwq,X/ʇ,S8(G'V6xYGܼ+! 8эхS:¤X>m62'H[RLw(fP@8P9ޝڂ0-7 Ι{b(.Mj= K6'we_=)*q:Bl&?B !fT]<_4#k!#L)9 w¹ D`-ɴI QpTWTrg x%+OGA0XSW=Ep=*g%(&i6:["uGa.9ˈ&F_ƓWIUqO;Q+0hcgQthFh7l"u(Z*ϸjc"x4_qp]]9z!/N'8,@1cYJ| {rjeo7=Dnp&~#rB`"DFGc]~s' |XK+iTq  N+%; 6Z72NGE$c.# U )aXajpٜw6u$F}\:xX\QS/t ̔;3awL6-ݟ PezcƵ:G?4lFZU$q?(`f;X64` ۀ6Uй\o{WG \۽JwcbCySa .*k"6ܽ &H!D.ZۆWҿ-xγ{!qf+ge& pE )ɫ:BѤ5 Sro`滙KalO';i+IJ=: Zp5Uؤs:Id%P9om{Ϊ\ IGsĖ#S޾k ٭l`/$n/ΧvT;S_>5r՛abƭw\jV(H8>DcwjmC([tNcy5QǻJ;5Wa㓙lmV"af)^1{d/DCXLD_8&|jxGcM WU8:o=z5:xnˡ6PFÊXml0DŽ_j %~Q$.g沙nj1zl"MlwsV& ~y,ѢIuZ)fKR0''?f.jkQG ]^/vut,^|,ɂ_pHK`3ir5f |&(tY# SzkSl ?"d( Ggv!W,h$&;$949u/*SOOmʯԠmv'G5oؠ|>ihLg(-JNesoìp}鞽є]8~ٽ+<)W ;k3MlVidE*so? .ngbLu;fwGn΀!낁gYZ7zXZִF! 5]ŗXiɟ㶵fL4i=J|92ms;ә_t6h{KXMRlmIX³p9YQPߪ& :e;uB6ei>3aYwGcXLSK0,Z HO$;`f;iSפ}K>~B6Y֥iDnC㇪u>ՠl6#OȱF`r,6$`)[lI0w"Wkw>̷P1Gyb`l PG"1ԵoMװk;$5غY0 @Ʌ/u_ JLsW`X!RY{!Օ5vaB]׺qk=m̙"T8|YK E7@y3Uog;QO1e[7==$v3?S9g1rO_߫ǜ;2GEڪbxi=3.1Zߓ.㳂v݊|ռgYZ7zXZִF! ?]ŗXi%L!l/ cL;46\C5 [Zw uy +wWQ!hB^ύnz#`SxXx2`L(!ʛrv[ uE[a *R!{[wS55NqEFLL$J} IJMTLWR"2fnf-@ ٤~8'qvB3U nvQ g8p:^PmY,xw S4@PGP!Q;2=dVT&c |'@7@ Qa0\ԛ@%]aFGF}x0Y/iq%'$O͂7for@H-ѕcaN0s sWk U+ nV-rI&(Zw=?MJge~FW]87|mB 2)v]# $Dtk+X P\II7+TT-3L?>1Dha Dbds]X>-zMd54 ̙d^+{QX@!pA T]nxKR0<ڑɯ,OZ8KWD3]c>Q9/y0%[[PZ*!'f v=99@"ӈk3*5n;d̩tFT0AyM)@dX6"[2#d.~kuԸ*WXGT9K Y~#t<i̧aat O])j!ΥY;LOO3iM } ȸf2$׃h.1LY-%; `/DFn("Y#+@i#Ǧ t>dI;DbMMtG<|Bq_{Rv Gf0}(A-t!0j';|HFQE F2dil[@\f jx@0B`Ԕg2|m )KLWJ7.?< В T6d#69 |šY㗏X[7p/+jֶ Wjz$o8U=QRnL }4D O5\CK2H%pW*UsyK'⮰c3ߡfIX5b&rWmA D+KU}nB=~q{CgfڲP|MiӞ5fo͕`f2b-ˢ$D1DɅ#JB#f6P~)C|+6^.ҹ'xu,=ԐK7W *Lx|(gYZ027b22e281989834def6652f6ca786ff536ce7098215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d