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  % LD ]S Sturm_Tarski:threads=2elapsed=18.394cpu=29.028gc=0.504factor=1.587zXZִF! ]ŗXf1-/6vR[]Sԯ'=Xܬ׎_[Fׄ<88}rW Y3ԞW%(qߞ*M\ UGqw'F#Re\I{ s;p|#!)A'I-0Qܻ8/ j*+KVڹKzǎE`R!It[lAw ,H1bY=<4tpܻ ˦)2 Hђ\ .vP1$ָi'$G5ct"yA, _w!|-G,հefҪ^LOU;z^qO  CQ-q^gqCqAq hx^iv J*M/2V3-sBYK_޺-z.y'#gYZ7zXZִF! \]ŗXiɟ==M*]0tI'ZbrCD@4l0k+k:Ȑax^"Qz5ӈv/ xP}gYZ7zXZִF! j]ŗXi%; *x"69X@RZ r{\*`,ח 0,]\RŅ7stFr?q*VU\YD,G`J`x^W:}dKXWPBEJL(5.wq \tQEެ*ea%hu֝R:!d|½j/+nPf(Cij`ec4rwӁEsI6rޗsv)KsMУKׁX7"+RY{_qK{l_il`\:~OuygT'3}u/* nn sݠ +_[KeEV }6y zy֖֝ 8!h B+*!y}+(3<Ӣe'!3Qԯ-%(Tay>Y;P?)F'C'JW#7Rٖ͓'__W^p%siOԸ(+܏^_ʠ%Àpl m~Q/ɲafq 7+ư`0zfboGT&:-iT+fMYI/y 5u; ͮ$S(m  Oj84c_l6|P9ބ~5$!;Eqky[J㬦cdi eR mGomG@4i\ IY*w_,dp~=K4|lvNCтha  7%?%Sturm_TarskiSturm_Tarski.Sturm_Tarskidocument.tex2%7% Sturm_TarskiSturm_Tarski.PolyMiscdocument.tex[j'bZԜ07 ϦR{c\h4Z`[?gd!WrK -ZfdIG$h+e6倃:x8\cİF9?lin}HhnX~2^Eq>xOV5NFk%~Cj=J5|) tCr/nJ`< ShNct0Vxn';( }n8EKhyzյWiqɆ& ?hXGVc6!囵c5gAC^'3D9_"^{K -.p)}GSpx(^Ex]NIMK+qСz 6{b0Рw: qAF.7:VOo7Z?D7K0sj C).H;؜v@]j?,S^,'6tEj* St(bC$R[0q$6F͹zghAȋd(πfmp/&x#kNzHmC|7+Fl !E5= u< +"BIυ4{Y㔤D9_M=K!򋃷m͌^y.R5)6{-`p rgWQ_0^Y3kLfV[C Nu|2Iusϒ [+)-=xQȭUވדEJYT ]AqTEi.& (̞Fp#1vf!ٝPhN^:|Vfv3$b{K&ROp1\+t~΋`GYxg2 w {27 4UT>DpL ֜f@(jfKe%UyϤ^B6n*W? CpP mɠau_b52u"~2nUǠ1'_6VVyA I,fv<\@ύD}}n&xᗝ$5dJRQkχ68:{_Evr5ZcS^YGY <\ysml4YfV 0j+l&EuX |lj hs7((:l!mH6n363k@q2mS!ߡ҈ Jd!rHq1uWUAe@p"0v!n/48ЎEŇxHrM{Ŵ/7UC-4fQ vuZ| 0|>LjteZ0akV΂ҵqe#Y@=7;j3Dǟ'pf\:7Åk%_mp6x#Mk!z`,QXf M607z*?-U\ LϑiƁT q(}{|+I UvǷKwm9^M7C?kX04. 5<[]*mi1)IA8 -.1r@Z2׀TJYnY)W[+A yDa c~lQ 8 [ݒfJH:2srZN05^w' mE@grq#(6YkǡFiLɐ-D4)=|'3*h^ldKLc:'ԇ`z7Wj><9|A"/'3:ji_zr&rg!7#QX~u|,o$U2kK]y{ Ur"g!lnRԱO[7[ gv àķ6얠hCZ<^1ɗĪ}}Gi 2ЬS'g\aj 35j3U8ࣿx"Dqhi:Y7A-kQem{zw^t,Vf sgakR!zhp4;n9:gK8uFf($E͊#~nʹ`m?~[O@𚮙Ǚ65O8~a6A.!V,ţCOׁRtd; [Μ ]Jց` UьC"(Frr;^ho?B+Z[TܬhaQi(AWq`-$u IDJ": 'Km~O z1o`(i=wt/\P&x,+V'{RP%Vrdfu$bÖ2Cz2p-A߽/s`n^_G|t6S @DdS HvoD n^سxLi42]f#) (8"\B_#b5}OCSmlH4=?&ic e7y wl yu%Ӟ{wFC!"&Gm!뜐ix}NY穁At^-kvr @@-Ŝ3%/Xs9 R0H{4(~?m09LĒq/NSѽ@B1q5E =eUMү=6:0B/QqIt-5JNҀ@sBԟTp,Ρ @ #NW0EFQ5 ~)%o{19'Wʋ: ?:pS_aGC;->H6л'7{e1aTM*^zk?>π$=WK-Nϼ7뽜pYcE_ jrJOud#|ǟ$w`x \wjyuX%>r~GtS'hBRRy x.wrGV6 \?"Л/RRDvur`O+4pGHmReȰG{䛖G;Q6jB䆙^7e*Y-Bob2,Ft Ȩ)T}R/4ۣƂE8\u"ifnX+1y(y6>41$Cƣ=h 53lar+$'v/tԢ 6UAބNg5Od3f膼:9lXJ$(I][zmq7$* _IQw4GR K}ȏ;h| % y/dXYѼ`EmIpGeXё :;\>fwAD|K) Iܸa*b1~ kYK y ls)OWY˶5=ӽja{9/0K`ɹ 'fu? ms>FH8؎5s94ۆ=1'!cgs`i_ɤU a>Xۉ+W8Zv"Xe})MVx[R1r}i3>~i y!Y6L;aWWaCrZk)㟙jx^r<.#CQ9,}c2܃Q|e\ZcueO&Oqe#lBxN外4JI0T1=kBx2EK#ƭ'اKyf*mo-qV͙te+d0f()j^JlJ4ҫ0̇(Y( RVYMʼn=kGEk;0_KS6͌nb$oKϲwgQxN:k(DHϟ \G) : ,2B361.?+Zԧ @17Y"Zpڢ# j9 F@A*3žkњpjK MprO]{,X.^7F hn)l !0gLo)p/SuQ\'2h~JؕzE1\.xCE1^}{g`Y% +1嶞? `U=z!4|+CU'g1K*Թ"wNտ Iߍ4*x' P#4m/;4L?PBtUQDAV|Ӳ,Ϯ2, Sf Z YWa ]](=_t-">_Unu(gYf KכFGK߷Ew(HV./ 65j2Z`*/'C(J1&tS`%ziV^_A )' v KkƽZ cU\6|dB,p.E@mo0(8AKm18t&E(@ǾIvT3C7ޡ/y7i4gv-|U?UC)FV*Ęq`)ߟGgY3;8V;!e36սΈygBԅ̢s\_:O-:}q;es+Lx8WROd8= #1EeT=VQCJP!Êך֜SYǵa'L,)M߰=#:0+(D5hheeKGgardt1ȋCaLr$Xs4}ѦgDFaQ p4vECmH?7ݖgj68glVr:ݽQ62U.R#L'*%e4$vкw'd蒫k^ $v֢I֛fW8x_w% 3-_;q]B-E}s {c!!f&uB)鐫tz_[ߎ=dcvޛ7u~ G+HbFhf"zpҒw`(^ "8Lhub?nRؠB&rE41՝?چ?ԇo c+^jqk-<XE NdV^PY"41#+&rUKErRr{Om+1,QOq)cI lfɘz 7y^g5Q<ܓ8ܼ xx \%kjf`Q7גnyLhs# LO#}8}s7@:臂&KGoA9 r,w9 H8 @mD+}hmG#GAuu =o\W_xJI,,OfhW`N*h8 uqt*L.f:k7 )ť:scؽ)d`YS2N}w@sĤ??AϘCsKxCyWVէ'&>ZdjT¹_P=Gzf Ye]o7fU ~A>fB)% cr͕;* ?[_ij{Um.0 qW}ںwZxM.)ykөapvk3HIU5~@lvB n6vϻk}d ɭbxvpDycT7Ȃ|Q $۠=lO~stAګ@࠽`paԶvc%"B9Y҂B׎|U;|q8403ΞԫֻX״|Rٯ?҄iKwİ᭢95r5BjMV [ׯ )>z)Jp? }!?]vɈ4V=5e%&wȰ@)t~/-urGj I\E1LJs!6Rca隟W<]ʪ@w|w:P'ś:HgqCWce#m8Fˇ|R[ 9 KO< 0}1O'T &W?yFj~8n;B]ܭ;e0 m!JÃNT߅mr=ua@xME/Y73fa KU@z&iXc.\j_C5e RɼZ]#RxG&|t SL` raլ:PV.AwʸN1qb )6vÑyU `N̬l"S& GK%WwAE 煷q/)(p~|UqdmgBMUaLBa*n#2 3 Րla+)q?+[%!yb-*1Wl!;{)]J_HYZk}"El@ǰqZVI,z$# ?PgD..'\="q[g2su6 p{jxPG${BD5?8bRa`,LY7\7 Z|} :ڤw:ůA0ɖWBzM ::Y qG~4?PAHg0<덣D߫+XlXY3@B9ICg9$O ,2I!&2X N(R#zO:,7- t58m}Qr0L!9D&kbOKj1]3.ܗ LJ ,M^I/$DRZ┓ڦşn6SpjL\1Ը .4]ȞEY8Aw=^ut:!Bw}->@5jE2E&v3o@:s{-Ż1HDc:96+JL>8vc%b=%H ߓħcȔ>Ɖl7""1IDq*M(v\?gs;xl\tY:wx'̵ynuk׾&Ppk8wF1V(!^KN|]F.Wnq܈P 9odib ;?zH}3fǹ|W.Y ogy^O#af"OoԶK1x]-S YVqy ~37 ZRHaʣ E"E;c۳U[@ñU>n'XsMF&!NDu> Q,zI )Cz\ {WZm\t ջ=hy*{s ߟJWBOt 0 GdݞB, <+B߄8ɮe9X]&I_2^i* 5OR+>0.7c[dv喅ӞJL E`@:>tIY*T:Û 8QQ2g!ܫht`O?ܡ3_h|!EbPyD2U/:ɝ{EtlDCF^|',Wf.Z,yz7Z6 ËC ``n.uo^[|Np[^"v`~B fKO*S7LXW,mfa(*&bhTBvhM㻂`G݇peK=28R6xi TlP_fՃ4+g=B_3fhF/ c~G 7%/e]8P6Y͢:6VemZ/BD-wPoIB znG`ؙաo䔶5l637[}G.5 B92 (B.i\1$Ȇt}oo0'vh(ZFMXprQ0b ci}`{Da! M V?^"eۥ |XK2VXFȞOzsTr(`rk (CbƋh3 >U!/Ƅ±;]) '<ߣ5am Kq-ʃ~&>e1jm.UL:5:rD WX}GDhm'_:Zkܳ7$~2OPG-}J FYx:$EWѠv594q7j/q0;mcVUbj7cgv坙ü^)UVZK{"\q='dp^ c&gJJpN%}jpA E%vV-@Q8 ~GVENV'W݄IM2ܲN7,VM(1U?0lP2=O;,su24:;Iu\8ӸUyԵR+I3: ^ R>vXXQr.<UyZ^nj]DP{QMXD |;A,~IuL!mUZoɉ6peO16nbaC[bPZx.?q[Ӭ*k*; p7IX ^pt1cqKX$+DK=PXHV~4:((Gĺ`/qx[˖HKB :_8ўuYΆshw֬[6gnQG \ú" ~~tsޱEfnI7NaCY7=$r` َyڼ 珁pi>[N^IG'`;2&)}qd&ϋFm:~za>DU ފlv#ESexЄZ^@ މ}X,9 vGhE<;g2a}<y6!7}DLgWG7't;-]mYxMf~@jE͡)Ѐb 57G:rj^X&tǒȹ@&%#I%T>yP3DPjMПwiŒ  Vbŵá^%Y-,Nu`I7k|L Ǽv,PykElHO_6dSp)-Zk 76F餍xu9t "k-:.z CHų]tjĚ2۶qw1|Hd\(.)Uc\ք|Yd/]$38#$ QR -YiP8b< #-.}PY95w,`{.j;FݴeJ3;'B*f#k<}^ aU^(;2?5U9"Tsgrkg|dtOҌ!]ޡROFkF;tn,9翗** 7JY@>ߟB2'e?πFv[tuO?%/cU'68*'곅WxnXL_/hm^=60j%7<^ј#ѧ8 nI)&B>'$s3s}sLW/u (GT7` BRmE=BtϠmGnyV\{g3쿷HiUmQ1hpKrW8̺ /2x~xg= {<؉Q(]ڽϬLT.giwx/:A]b2a<;u\Ļ,BNOIyj78:W^'H:yT_o2Kvsƶ _$iZv}M/Y+>%,΄g Q~J;Úܞg!"d]}mUru-{s!:iRKjpSE^<ú?1gj,dU?S." _:Q G}bB57Ɠ3+o ۝]Sw+wK$$^sq5SdauNyw [БNh#_jHYG*hfQ. |[3_)xGjRu_T2c'zRt2zݧe5V1eyB.hiQ+3,W #wG[)9V( )xr\^8g#N|W5uZ.pB?i`wCQGTo9˙g.q(Wg;ujEq~]pt5o]F7'B3+Į/gx+7ԝmI:FF٢C5/ <-"lp 8叼 &cWGPPYv}||ca\wM1rWmm t˹xqS1 bd w=uP:Vhf4/G aC8 $Zx+7ʨ_{~moPTaC,nvÖ17:s'{&Gxb&wFpȿt1 S@Zg:% }%*3KH:1X&ޤSƺf_`zG1Qd10H{%8i&alXeCp m; O0H@fi<)]BLvMy ޴|**wIkxM`LD;`ѫF3>?͌===1zp4N9jI$\H Ia\(Y刴,?YQy93_M;.11|!3EOC|l3ZѝA3*!RP Pgv1LIDU\̢6:-е% pZPQ<~\VP &Cz.8Hyvtք50<251U4\2|1HE uk6뎱 J.In߀0زQ[7l8\I&f4PF ̣foQ5]Ac%2*H%_5WAƎ:Eq$qHs##-^-\i?E q _{iOtzZzRXCk\2h1Cy*$o H0$)lVcwBE|bP)@q%hW렊>Z7<]Ϲm s~.[';N2-<7iOGC8Ds[\L˕/T; 2R{Y gS6 3'bCP4#]0g;7nѪS| >}}78*X-2tf1*}coܳȼLE(A{%ZĘOƤd~ogxnh}!=d1;^|b+΁}8ϩs:+ P R!vks^[18LXoU)LbنaxÊ߈= @)p$*Ss>W\ɔo-W;rcOmKXktB"henQn~L197k{]T|u,ZP6cOgE4@BHT~6Ipv&kN??ߊia%Y7[r[D-U#L H d{4 Eam3~Z[Ic"϶ \ﲫ7N%.&YCv_[/Sȿ$Y)җ7`uDd9PmZ|8(<}J[v_9Ʀ,`?ӭz)B>DKJ}6mi-7+33c1>Y88?uAOvN-ӽΙs/1xЩޓH7+k 5Td@Ϭ#',-ߘ%DT[ᐸ n "؄c1@)nuv%xM;ґ+{M%U@ ڼ@ M b(֍./O*ZQ>#GTe}jw!"9gL r(R-ɜl1Ho[ Rw2%VWP3E2C =كώEu(Ƅ8NZZ: |}t^X$3^WKީy[^۫ ˪Tչ$PjJImVC=xĖhQ ,GYڱQb<I/j}2@BG%CJl&PScߘGI^yI#Gc ~n6RgmL~uеjy}wq-j1ԇcȌZ5JsE"Wڞ+ x%wlqzN K\ǻ^$Ib8 PbG.!!R6<7cU_+O6i<l߸+R\vQkk0qptaUq]F>6R? Y.!mʈYk}-KQ"DA;, Aܿ;B:a|eG)gUP6M;hXyioRL7> @:!4a4?:Wm 'DΙtֻBCoMxC8c ڷYA~?́ g% )4;VgӉA'2.[_\9I2Aj.n4i<-[n8J&̙54Y=TK|-WSlMr i P'c1HbnӨUfHt7wP. '*01(lm R+OU`V ÉuU\]E|2G4ιVCFuQGc }&]$oxz%^o4a_4SFT>;fw$H{#6;Ł,RsR|<@P@pV~Y& Z'QߕH\.*Us9=(uc3)N m+*͘$WM. K"4fYMIHpOLd{HQy91"JۂB WPhp z9s/0];➂8UAN0u| satߜLֺZvSP*?sLv ƀ%) 54$|&#]aQ ͏k/|&9쇳M&B.4]CQ4bL;^S?C%tNN++nMgl#4!h#$o{Y)KQ;pUʫ9MYvkϱ68='O"ȻIZ4͐GT5hwY- #f(ܡ1*J?4ߎ,ΔȨ^Qx"Z'>^F`}Q*“A1y]wkâ5!gV`'\<ázvl'[ `7v<,[ٜN-[7| ]F:>g)Cb&.N *RbIj'Eٝә5B8TύGb-^G3vc#^*RKj6zo+Hbrl0(3JZ֯h/v2r ޾OPC@}:Vrl^p k4KqlB:"}ha?}ҚKDfRh#Kfb乫FES8P0*{b#,3Xcgr=Nq[`]@ĘWmK.ZbZlȉ_xʌfy !NiI +A j7V+ AkRr'[?!H2/* f!U55Cu/˰#J707PVZS^9Bjyȏ}ڄ1W\@?;Bg~+D%I n"}[뜑&mxp2K Z)1+9A,؞( _'bhKKm;o&(S51r+Mƅc-3% }~ʦ +JX{,a(KwDU糅8SXn6qFU]לf- l;W'3I=5v-M6˻Om,"BZۼrݳh7F Ê8U]tr' vOEU&ŻcQv(1Ɇ!K,pz$?SS?i`Y9JEϞK=G^H#p"XH)˶k TV́`*2$Zv?gp6"c葭&n3!h4(iܟ:-B%wp/=PxKM$"DT]IQ?d6ST?0#>,s^1֦(l[<]+&%KWpN"@3M/+]x7]· 8$[H +{[o,+bJE౜yxa1"fg=^VϘ7uW~{J's cxChkd-I &Vtt0$WD)<3knf$͝@hLߧc '{4\{ƒDlJB =Zg7MiY~#ly-"mjqӱH~Ϥ8wG)ng#0RX qQdE%! Y%\V wHUA?r`zZm''FPQq9׿ih;܈0#)[n-l_^3\oЀdž*l%ϳ-r\M( MAd ̕N&QS=KX\GR7T@6k~UfvY`/*O`CjRWB 0;M=ޝo:#oBbj`v_ⵡ)X;}[$`n"u ߢZ?#c0K ғ] .,#s-ë:q:B0qgO~XWxytm=w+iSrCI7_T{lӨҒӋ]j\OedA?>=Kx1@h| 8tb&)hYZ]jb=\ Ma&`%!Fⲫ axX8UL3տ_Rכ`3и(i-E&;A)դVH7A Mh;?ӍM8~Ŏ1ffW yөGvPvۆK˹h{L8f兽 F$CWһ¨<,@kf  >X wO9;dKmu<-zzv V%{wb9H!.+^Z~Ru}Ab+,ZNXHmgEr4B`0wYCpO\Uvm;3k ,?<(osNpV}fK4<䚃iiU(nu4AUm`oY 9i'g]Sr?tECwIZ@O-h bE*4 3\h;"*Xƅn,Y[ǜ5P~ *O|96u,C#6TlH*(/,Re`?Ss#5mP)ԧ귤J1+kcwԠn,q3gJP-%% mT˰ח{exL& 95ǁ5Ɗ"CE8[׻d ᥥ@oqϺf$FcB8ICnI$wt Ć-rt`*)F_ 9BK@rҳ,Wn8ȇL(\yOP,&~FzoWMP:b/Qo$0[خwwˋ0Xw|Q9AWЊr`SO  SWS%I*9\Foɔk)%žҙB {ml_$T 2jB:UκM'n3Wp(M>"F}z"y[`c^wJ4>P@Z:0ݘ#Kb:fl#2+oZuyItaaZ22+_*BG,Pf8uΖ#Q)g{d:j{l Q2?ֺJ+q ,vmfa7wctk-: :FR8,_ۜ,p&D$YR c03Q1f ^1)T dPbg17"ɞ.?`qADRpnAA>P. 4%jR tmi [R l_|U )kw+(=M3htQ(?v! Oj84c_l6|P9ބ~5$!;Eqky[J㬦cdi eR mGomG@4i\ IY*w_,dp~=K4|lvNCтha 1%?% |Sturm_TarskiSturm_Tarski.Sturm_Tarskidocument.tex7zXZִF! n]A-MՋhvG"uIBm5ȩZѥa pvot6CȐ~ MkKn*zc Bg!9&f2sx#s|$T+`bDìÊR3F0umQ6P%WM֋%irv#êKN1[.݂'L:nj'07~MFw,05~G9٨ &ʨ!5>;(ꗩUQБ0 C,>x8>AXWzd/\JI\jcl2e''<j%;Jbw,UUZq`Bs稬;uk>̛ɰ݇o,I;2yfqevß ުG9ZU2L)Ga;{rK \a=,sGM5LړΗ{gr+br v UibbdbV0Y :ߗ1T2IMߢ!b% T8ù%ZAhL $ n L+p),y0m ,>]b~K!Q[`G<ϠI'G&F47Q-HAzBK]"~J-aGb՘˰Ƒ#>'B& ~&*=F\M7;h0ZGJ8g8(Ws[{ە](5|!-2L7N jSTK4yoe˓Ґ{F8X®R-?Ƒ s kH ~t(ɻ͢f@nv;%^uNŹ۸'5ztH52ڗbk*"^@[C CQsHʨ4Oќm+̦?u4[}>}NԠ@f& 6D-*L.؋u8|ZX(˦~V,[1_AN9*"zX|tCϮ<GĢL:4%4Nٹ?b̟8tKuK 8pRLW& 2@f~[pd_P20 jC1S3=vK kfa5qD6B6G>g kJ$JK,w)Q@ehE/W:d] /\F<;1w/e9 Ν|paUiö1ֶ[)svދnxAiK jRX]@C7!.D1Lj=n3fs'ZADC*In^wuBî)* Y;n9\SIy쁮͋BQ"Ә=^.oB$ pXH9ӛBF~v%'Κr˻ k&fvcE"5!$F\%q >OaXe+ENPEA31mJA+mz.WM,kSAAW@0x](1{ZLh,g{:qUHWtv=T`W7BG% oc9ԢpZQ"Y|;0=^zU0|I- + /)* -5ϹP6L*UBFy.@9|mh=NVT][Y Va[t"!$ d!b 8MLfYEV *V`2KUG!G@'jFu[M}4>!諆>>pXUmL9yG #L0HTʮM>Px6]$3}l2D,C`/0./y:SΣ:~wAf\QI~GUs Ýˠ[SQY_W@k3&~KHxB(z= VWk&D51ȋ6Iɐ2"0 9> #1Kmf70/!o$ɓl%r5t1!JXK4 > ?l K&7;LőCtQ" f k&S=;J *|R'hdCg>rA a},Ƣ ذpPA}N_Qn!3\ޑw.7 AkŽ!+l{LU&vjunM##٠QV@rY뉙WJ,߼"ChB3FLyr^ K%^a!RrŠCKqREXgFXw:n'G UyfBU%!,Ev0GtDbT1T4[?e[f|C K.I{^SS,>c*̲E)y ?W3| ɑnst/9ئ t*<r8Vs؄IZm賾ͨ8"6j=(4%)Ak=̟;)0UY4ܵfet~>s&$/&{V8uI$VUI 4eÇOPFEuk+aЪՈz.rvF0<4`ēƳ.t2U2F$"uc#{fp.4C:@3D8N Yׂz"?YU5eN=mi{SYyuZ