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  +vd T ]S]Sturm_Sequences:threads=4elapsed=33.915cpu=116.140gc=1.6567zXZִF! Swu+]ŗXiɟH)0%oc2s;ERx5%Ŵh7K,&A1rK^o}YR^pu Ns:XD^ * Zb5/VzRh֏JL\'RA@ыb*Umj=֏Phc$/w̛J:֧!{D؊vqp.ش:C邠SJhC u/MtJD.Γaʔr^q C#5iN%LJa!%q 0%'粘:7%K8Z;&,,ZiqGuB<8d;n,Ɛ̰آ|Q 37e3lԝqh.\NQvsOlH IV( U_o>Zϯ)d}DR9 u9cq,B G$Elo J0r6i `ϙVTЅ@"Ģ +:#$aFC/l/@?hLl8df8ZHJzK5NK(8TE1OU*e.!sBq1l'fJjNkwsM?94h&\CdyvPoF2{9JOŒeQ`M!Wp[JmY͗ ,m@[T7՚!N0]| + Sturm_Sequences  a!M$yBe@;|#o.i~/l$Ĥ#' Fx Q%Y? QIh[E&Aapĩ2~p{s} 3.  f|̔ TcUT0vYŻGzO5̆󭿻öpdѝ(NRGO3 YoNc勞#~r19'47L3, QipM:N#P5iWX˃*I Y32{AdsShıy\)f(YBW.R+)3Z. 6E5/`GF0}!W/=WX'㪭Y=b+DZGj|^Qv 8`|ڹrQTo9Y5ᝃRA x12gE@(,-cKo ܝKHr8n8;7n .̧^](H8BѭѓecO(6xGo |ECu;)alFj2d@.i!A=a}fE:RX\ʆ1)J7Iv.~-.͛-Ҭ˿HbAn<\mIBmgD,5m a9'RAjfwXp!#Ķ r΄кs;"GҢiF"ݾ>~ˢ'˟nFdm ψǻ*~ ?O_.o$Vہ~4xW=9`hџZP cɇ!$!m4"C3 . Jo8j'kH)A8~йuIF6ND6n9:B) \*UuKz2]kSq v bxE>Aߜb>AL~v #.kȝ :B7գQ \^E]iXCEm )@zsS HـtJ6g*8J25Z(o8Zm 7 L-P9KOq-L|nCO,G 6 D7dymVG)Ln-i_Hu}#=(|)W;2?ck!UV3(A4*YNͼ( j ԀT @SL/v :-̳mSȒݘҙ΃踊̹̒ط?2hn| FK^6!ՏG^.#I '|&:̀(FZ|MbG PI-,t[H(u IZ֔/ct/5E M?JmLS#{ւ9@s м?0_ oY*_C<,.+{Jƣ@L0ͽLJH5>;{ǎ!P$~< sX~ {V4;xwăKv~{ ;|u}9upɄ]/4/{l  Ry]Ȓ:q&8?)pR2: /U 7ezo'֫>@cUR+a@g $c Dކsh@&|Oo۶ PɫN.j.sn<MlyQVGF!p lJI_؁BrN: UTGÊi)3Zҝ%H^8n+6iXl0H|s"wۆ忡kRNL6ZB5݇J 7WSFLCm'ApTL]NlN"yg-lp`cHuvEoEZ"XGslY3n;CSBEP<&GOhH2P1Ft郩F0~+(Q^Hc|Ih8])w-mտύ!;vyCQ~o1&ft.@Ԡy\"tR* ݆' BZ7FF(p2Jwwg|Eo}O(z.j+LLܩh-Y+ C-X G5OaeXwa],PѺ:Q/0GS|>ʴazW4b{(Դ;A-2yK~RƞI2561 t2udH!Uooqm#m<iAWy) .#am0)IOoHs$)EI6W;z$;RQ]韑aW^Cȶ7GAo(@RH0HE &hn8p߃ 7XN~?=QDV&jO-Y<i;./g~Nk3UKUC-e]OfzU7D='ݞS+g"u#tӲ'_Yw'%l 2 qCޘ[LcTLۚᡆ F Fab^{| eIBaBR 1!€IbuM5ABc̲[˔8i5Vk$͟-)z8~3ԇ;cUo+7 ,"!R bwR]s M00E󣵅v {O;%R⾒4 ڈaA5fv:#;vrKNlVPK M/ , YײB/59{?JWZhȕazCXnk2tN&9 <,E% ^ZJSxR/N"9^v}W5﭂*R#s_/ Rf^@>7Y5by!tё{Lˮ DpNyR2 &9AjāN@2!Pq[b#ai.@S(؝FP$2 y(#N_;|Z+X{t?eVK#- ^>J>5?2a#~JHA2)|.[du;\` pю`9KRVD;zY 3qTfPj>UY -֋.ZXɔwPQXVLvL.7.oEؗԵ NR'SO*9eW$"p8i.t L&~agw`QqmMsC!6%mP5 *4#)_V.K9َmwk_}^\с`"*ع)pKĹ#"޸>'d6YA\+9ABsBC׀nD~|?h jaڕEӴ3Be86s.[*<lmLEătHU+1ޤAmߨb;U8}e>=]_atK 19Ga>]^O @~7*)o0Z͹Gh0qKTݝaI7&dAk>ϒiB,\U)[.kjXy޿a$2P 5h$_7c]]Y \5fIzŸ6?:`Lz3qۨ,vyܶ1?e֢9QTmNTK4#Tci~(=sLII|.([^Ypψ\OoB b nDrז=;v.وGҙ L"яV :fe(rU2nMt~S=b}Wi)&Xm``51g9ט2f^qmt[u5#3Q/?4(Cå|;àyzMCDOϘaGYO9HRzK3㵜۫Rʓ(JA.+0njAplϛY1/xՕx2}k `_51 `5; b30P'V#: rn=AGwN߳.棯^ ƼL/teXVQzn"'dd왺.. ~uP_L?tE_T{1:>dTWɷ-y>|7,QZl8߂ ӱ~$x1~6ǫk,*zB5"nAJq7aڱyJZ uZb%ˇ†Z;JLh'#1f/Y(cJOu<Őe#D>M$f}ᨑӡ'K;JEr|$a.b{M~V;]q5}\jQ{6E>8V伕bzY<``|'0 <ѫb dΌJA31Hi&f NҮ;ip[WMEvHkBtyu ]fx: c"B0^aN2kdY~{ T?4` q ޼Mo"&e+h2i1T3{ahA{+؈d),,9x</҇ siu |2Y?k <)}GZO xN+U>cɏS(b$1`N ~-}]3?}DfJ++압҂ :yEf5v5m<.f DTdc2z:k9m.M}y7~ |zc$)CTyiC:0%u X',p ;bshRxU,bPY5d|'tzȒfm[ DoeqJlZ> 3@$\%}`4>wґqeX:ϻjZg`lg2鷋^:5듨<~mz@8ۜ'7~&&M). ̓68@6$uM O]lڢ9ҳUuW,(VM8 @kfwid&eYigXM`Mi`za_}ךxj2 .)GСy NH3 Ks31L3]q۠}s,?&[_-K[%[ v ڣwyjn1y Py]MyQJ'0qpq¼~lD%'#k4qJjMn}U ckP3/1VT!1'==Ic p療aFl):Dt2qԫ_m5+{xAm뽄(BFeNŗ.$%6'mf$g=zs5/)2=GF28m;W@f|Ge IFc r0ȀDoX.)5O##F,MP!y3Ѐ'\nE}LR-jآEiqqpði ng\\$E 7p:ؔTʹ Vڈu0d hG>~7-D 2bb; iJs!il wx GϘ%izu3I,zw05&ޭOe>Nwj9L:g~vٕ_?IݣcI:fY0ώg~uK죽wOwسxfJ!y4uj/ D4u%} )WrJ N\sv fj}u ;%0MDZQf(L1"% <dՇZ/ߧjQ<8@ Id@Oizr3Z0.y 8 nk%!EL~"94 3 C)8]tRinq #T|wG3YF?VC"> O`8gK&L|\`` eAV ڽ1!ߊ %3gH=}TIDdS?_}y%j.F,V;qڙB9?"+p~NooQʢzs{b!BT.* ֪H=fOf0~P׭5Gflճo^q~ dOaM1<u&H?I1.7f$~@AiKHyTӴw3AUN>C_774J'0!>gz!1dӳQ518ؑJ [8 gGǫ>]*/tze,SZ3pPm߽ڟHa21#!؛8WhȐ.;Gi8VDޔ R W w%#r4NV/RHI8Nb L[H sb?oeiuop"{JW%DjyeLTK𞆗:i+W MQp5Ⱥ}~-5 0E9{T' ޠ*gI!G*ż&Kazyz耷wm'}~AA) خ>"op?#Za"Y-T@Dl$ nD$(5*+hJe`}a!3˰u3I | ;kOΛK8%QQg Ua^:Mjl,^,.<M2(F{^Y|9nmgiQG,۶/;î`{Ñc;]7Hkc]C?VҨuk0mb 8QXQ L-oB>aL_)H7pUmNx 5Բ AS= *k:|:cvhLr=TsAו?6.KItHu][7|㊀`xVh{EC?7$hGV0ͧXyxħc},XO |>шBWހ٪Wn(ل*ĸ'X+˷FQ/XRݹh;<;yc)+hiyVHE`#'D頎 zu9G4S\Dc5,[+*x\\+2 `;1lX9~`,Lr5jwP (rzjGC6HnLǸ3g C3tA!o3S-h@ÚucO"44$9w\q+rdaFK jHo<70ay VHlHt-A% ׏XAC[Î'o7֩Q-o#/};yy_`ƎڽbYo-4PLW*2\\ gTQ\{{0p1&j\ZFkONL\Kآ_㶘 kXDaNw d$r7Ai9C&P5Cha7Tkvx05q2 TrS{z(g^G+ mEᭋf"6`f*tv0vʐ(bB-lj|[Zm&ETix0{Νm|qyr*˕WM( 5r~x1?`BtI }/3r0!1^>/_hfxrA= O4|dwbMְؚHuUSn2R`[r#Ja8 B{L]b&VmX͍{~W@Tc)̦t-͠/'VUf#ٓ:lMu"ѷ=TcW[_SR…V3=+f'Q6sZSN9m~TtzkUmUz i"0DryЧ,a8Y(/,cKvKD*S\N*WXdPl+PKA9 s1Iӆ5~x*xi' %_Z^%16@jT%B`B<;C}Lk u5}i^QPtU;{}ekf{ܺEJkV\^z()h/7Ia!9r o}vMF `Mm% 񛐳-$5gVp"&TBvE >Sq. u!wuᙑF>OgKTd(^ |`(bԨ~.`W{:e ,B޼Gz>tU2y3URÛ+} PgqǀyN晨nɥD6 !m;j1ii**'r|ֻ0S(ǾH<wwW.SGEcb-i=[CVo!d}U\OfUU_tsvu1+# [Ewc ` ?GJG_<ȲU6v:`;ql!}$_ r\{8 Y lgPؘy,񝠟M0Ϝ&㭨NIfCh-}` z9ە İ1^H1X2 R6\O{޺`i@LG TЩB*?*ӁL8$et/Yk|gH-XF˞̋Bamo"/Mwq*hp8S&zXl☴3DH7b3Ϟ}T~e;,W_ f2ZQ k2C/6z`}sjݵ4>f{..˛V `t#[ߘcVN>/lEڭU}a,{Cɶ UV\'{t3`sWOnagPǼB)e/i t2Cjأ.5ixt-.HDI{rR凡1> YA;¾<:߳!7K~Bfd ҭ n]6OXďK~iSmVӀLЍcpu [?mpMPP}p>fӻҵSKI0҉-r:CEԏ)$D.h"t#70dN*A=)v9a#avƼcb7A<'OLǞvٹt/fdWYep%B(C&Y|gl[@X]Č:SCmKTk2j8o}\v~@q\.v?ŵ͂(`Z'@_@PoObQG?qbVh<׽d^I&}PHp*6Ti;-fa+BCc"/dcCZ[ͳrJ,mʐSĕլtC>_ᱦEӞ]k8oEpox/,AgtҬvàl炥~G'CN_xd(q"zذ9'!xS$3 K2p[{GRSrE1x^3Û;ZڡblyTԆ+qb.XnYS;lq4zG!;a; CId(WūeRv2Rqo 5G@y9&7ΠdW٤ "1~P58?$]es e`:'/H[SE=7uV*]qMo/@:''ݒ=w3nS_7p 7eߏW{ܾ٢z2JX=Ȼ !AmPF󞿭>AECۇ~@3N0j@&@h5_& `W?=G[B]"GK kY }01ΙO8tTR}KYhk:lwenLư(Ӹ)c3BGgqIJl.\sLxIf64KSM2h{T{L +8;˭9}63U.hԔzdP-4#^&j)KhcnMDpae#b& ~`gUKo>jK$Tbm蹷T ޟR^r%6ބ6N+ͩI-[#:~ mI0[m`y0N n!އa35'Xs Oh7`QXgUZ[mcjFF KHq̋5NѺ~܂+?NB _4^_~S>JyJAˌ̪w샋'Bvc?b? w',nj"c”4ir0S20;18ɲG{gU@icLjE`AeJjHG|LS܍ UՊ̺ N3-}5,DffC6-褘41) xQSЯ'[g@4>1 ؞ 2'0m8TD= 2*(Rvq˰9ڸU. "SZU@')VNRAUrй!NcB>c$g'J[o0I=tj$VG.h6 Om傥A;B^y<2 EjS+oMq?,Q t7r } qHCR.o-9 T|ho^JU0GH|{@}mɇY8M +.K5YC0K:PWDx Y&7ENeaeJAhۡ{j8Ra.%=*@T _7pRVآ|7EQ +吝 dϼ&P8^ӓXVpr970^g,>e TȓkdP8PFUȓ1n*wEm' 1Ѐ:G̈́V IJ::5vXx'!&>yt3oz=gnׄTdʢ:\]ZVM ?U /-_:8-?[6eF/"{nc(.fyv`{wwMjw@@x<| u/ Iz³D#č/VID)Qz<@IkpsViYUآ&GޚumŸv86~r#M.-47TeTv]{EãեLc~FFxŤoRfqGc?2'[| h2!m{.?=~lR#ńlKŁqA,)|Ҟܞ(n8o8A8L%.^'7G' /:E 0m3uYly4t-r'T<SyD[SԦ;'“mN_9wUm"bAdM( Jںst} vaR?0FF_诚([O|0"{-b'+ZO<4Li\)ZU?"^ #J^%M`M[R;Ïڌ2KY%7T]r~|ƨ咍c{j&b/H O& ǫƋ4Y'03LbNREc>qMH|(kfWk)Tٱ!9N)_OBZZYѣ{ٍzk}C&j,c+!Ĥl.6<[ *T(p,V$UtܓK@;lnN D!GV%qRʸL9c=p8Lɯj%֚9n>tz @4AOߓ-}M q)f7t"wg)dc(]`ET˧-lD[/aUn@:cń ]Wc/a({7 @;p5ʾ3C N]ӝ=$6~TS_,VV0̟g{NH9XՇK /Q:ނi2 2W;{ܽ )"C9_\e &x#W=)Qx%1!kD*Ƨ6ņw 8ЩS5Q7Vu40ӥ[G&vS $ޚ·c/"Oe""\=w]?;E+]zrJdE#c[FZjn#QKi^"ŰAe:ڏyT_솄zH:0'w&9l˧ H5/fј_.ݷFjfufx\-1,܅( q6=[[:{>$==*36M3Ił"l"Jy\"t;Ze$V?3ZsGq2,v0ɏ!`tg`Jnk9El`cMw*u$d Gy5A>t;՛v.) C8t{@h,cKv G"z뫨!F7#ċAs1U&E_FG)6Y-he%7*I{<*qѧ/~wxN674(s$aKz)T10hs~?(HH%Nڏ^0+k*mvs&:AEC~5х{zع4lFE0ikD[qvD%&2{Y^}w0>4w_(FdJ߰Oώ*4u\8uʢo >d3sAxg82* +q嘩y~"n62QM^o,̢1U'3Ҙ&z6?b;?JJ&hKhĮXyN6N>&P〛TO*0.p}~[/7`\P헖:s=SsĶ۴i!S(,BOQl4YW8T~ۼ)ڨd>_]pCs@/z]OdxgmuS^>فҘG*ieh!ňX5}Qٯ8E؊U˧BFM0Yі8}IJf|fV|Z"6'~Hf e9s 7ٛFM'9ݨ-h, !Y}j/:1g8 Q;rDk+(S|O,k@ Ξ4Д}u4r 5FI-Bh'zG1QReԹ$ sw<龢^e?@e1UxS\7GšdP,<}?a.*P0L۠4ps!C_n--/>4[qߓȿ'v?[@ 2UtZH>ȸΛ.pm%tW 5yW>DOHnoANTWַD- TV&{܎i*h:8oD ȏV-%W[%g f(m\k>{^aq+61ܗ \!-{yslaߕJlґFSDx+S7ꨣEN_֐-!h >B^h xmU'2ωs%3TFW4m4AحjQ L<&Z%SsI>}j"ū䛭a̗u4ue95ɺ2ZJ2B5.J" Z2h or|82o ɊDE1 oB0+_@81)4 US.s.(j_{<2+0 #_8?V3s@Ĉ6*|szbdۗ,`y#q>AzT G$kPݎu^`ĭ=AV[Q%]A4hاV~[&UmGsDM¤WrxߊJ$˔Vtכ52 }߽ij2svØIoXN ${L8VEha|Y{ufhND ƻ9kQZ X"ch|sլ~ exкWW*}?B:]6e?sQQͪ,ݛEEZ+GW7'jׁ;,'PU+* Sf1:=1Ӳu9F2H,2 ϣ=k/`iU -X0=?*%!_Ft;q>-})zJOրmsquܯ6O o@W"zA5*WOQI H1B*8MٚM×pF[Wy\6ZQ!k)qGSLs,AdFs(ZE#MUB-kbH+3Cqf*5A;NTGlT G!5Gw<.6LU!'j{Ye}S6ZOa7$¬t_4KM!6NG:L>¼w\P8!S2K$kX ^E78Rx2I ߠ,j1cZPITjC$$ߙ'(DH4mi&%" zV=C܅8@Qvgkkp:uoNΤ?:o6X7dXWk}EW-dM&g S<]Jj>Z5=J:b JWK# t:S3"{FΉYH۴# ˘;Um|c 5gNF[Y>첉ǰvdK55TA|8bK,{XI ˁ@'- ]qMr&K-ubG]hVsn#\jENnLe3}}g K):j%asI( EgA%ڭj&xq[F0s&nc)@C 0Ư cۂl;g=23dZ:8Z![) @1`%5n6gk)c+o$umlXv΂:uiX@R6nj8g([H:y0VhQ"=_k ɱ9}+,㪶h6E7YcH%YߟmҮ $AR۽;r /i]Z2KO6 tOS(/@2Ο?p}٘kR%;O'ɀcG88)W? Nx\UNVV&QcFk Sn^96xN r7!I-~"vSV=cB=8d(' ehTxSG?ma?vR ,>\up%&I`qwUo%MaﳆB:x|U K?OO|>{@YP0Mb}tg|y+_#C.x#s/92rJj׎D ᖦ&bڐu`v&=i~Ň0\z|B92[Q]h;y r[[R`G2&'!C`Nsg9&uXf镸]tv/w9_  lmq$["]:ܒ`u4 s\2<ӹFbL黠-Qѭ%=?)/o+0LVptU6,/$qusWM߫1 }߳4,̱ٔ Ud:fpN@6Tӣw䤺y0mJ+W$ dPqO׺bz+Dܜé*`CQ2ŦNG\;1âVī bؔl]ku?B9Sn{wodM̢"u";ĨfB?RaEqV$gR.ѰY6M1y.".`X \d%߰aJ"qp΂ 2:}|񢛉WX KkQ@~tVUMg.|(Ju_Ҩrv& s^FY,5< <6#.%Ia" H1eZ #*-ѨHĤq9鵲Zo xzX"QZrN 4w(@qRDkCu);Owle{H_#=@ q2aMu8&vatC}D2n-&VY"kCZk[> e0vT[[ѵN̉O刷 sGܠ0a*$*/Qj{ry?6WҸlЀ#tuX 1U\`u *;DTF+Ȟ%m/U@[?P3|=_qK-\9?߁&l:Vg84HhmTDI|z!Y\aXe{`>k/N8%yؼRHCS%n@$WOHffSQگů6v67ysHGX͈8զD:f) paeJ>?f]Z tAQˏ@s[A\]."^SeCgpTh;XP}1 [mdp+2]֗U"~OƍPa /"~vm}rNgNA3/cC^ٌj"rݽO߫/'Υ΋EԨZ'i%.~kALDjwFe{}] zx#[8 Uɗ?.A)GS|u \K\:((5\-ߙp`Q`mn%a\q+>3WA6wsnTDFvccߨ-lC"_L^]r4y{/{EG T*p=9*5PJ+xadhtˍ |;+eHppF,_(r ygw& K5?bVCEDayv@w^ctA6Taꞈ?>N `Vƽ]=#թ'B,3&x?qx-;?> Q>x_}$-mil`tJ};-uY~|6)?^|!g em ჵ}B/QOlioR=j|ngR6yz> g8~sWȓ[^٥nIiãq?-?)78\s=#KK#B\z/d)ґP8lXXbZ8aخO$g)0YԄۨ:h> ʧhkI%THű,qZjc$ _.%l^{# YEiHGsG2h?S8)+j\:E3/an1""£rs+;6~ف[jLn4XaW b9,QX NгNBsv˕"2,$hq?\e3!Y'+=yXpa+4guz¦DT i/Bsf:I}˞63e]Wu_k{{ژtq,r<`L7ⴠUjJXE=gB en%곩?2Oglݥ`xnI[h4E|4(P;T#,|Ϝ@aD( HbV 颐|5nOlT.?jSXA|O`tL>7 .ΦP.7M}lPѲBsO;Ͱ\k:BDxv"R-cusU],@ B7Jjg9|\EIyɋ@CW9c[ -,d]?'FdYQ4)K'-)Õ%H8F_ݭIETԡ|5 pLqNe]< 1vq\jR ve\wQ7}]۔~2>Ԟ`IgqgbpZB5tIʣ2N{LjmhϚ-m(~W}:{,!(-]aiL)VǪBB4ۺx~Y[R9 `ρ6Ho[IfK4Vd嶕m(͛c~U oHbY]ݬ)3 LvSs,խSSትMYшg'H ʮs 𽃘MRc-glȜϞk<~sM|,N:Pn͕v8ZR/&vZ $f,tuYdvEO'+s4, -ƪ+dl31JpM fi(t8G4<7" eQ`('Fϫǘ |R)=mYgiZ@?)܋cѸ g5ԉB() )`[fs ֭YݭC>0b%Q% sG+dO~kh XZmE H9la<#H0e;i7kl" nTEpNlDl6DWm]m~oR8HTUVn9][%bJǎ#pkE pHA+VCqMd!]5YYNf;SPvK_?Po|85@G4%ٖ`OMrJJ7ʫІܓBV1o"%i(p`aB&[d<#s_6OB.n'I-9puόhRBkpz)'yn 6W}e}*P&>}fHul1t@aP`]ի}TߪP<}ԝqhݚe<Znlkk7TDi ي0f&Ƌq^xbg I/nJA0: '"1ٗ 0y1jCeT $zq yj?N4`Ƕ%|s7 9}Ao,?11#uv+-NԍH;%䀧T4+{K9+ÚGH 㜝$O(I.1Jΰ.{;ė]̡TCsg{ ]c2Bu59N d|z_Ȏiv䈒pN?C^Ah!G2Q&lӑ sZEhyz֙ULo|TЕ_&34! k=7;Jnn܉/؈yqObfI kV( ns+ z_!"㼝[d8hǓ$t6b޲#^N#+v鞜؎K'/ݴFǴ ELWM%fžfO'@܀ɳƤH70vQ:zg#2roYiUi h3l@Mڭ{=,GQmL%=i<2_'6RI3?clMz ÉH}S*O2(ҋW*IB /p?99H̹OE^YUu:DED.vo/YP{ SAs.6y)_`6!Ul)!-ՔMb r ݱa/!/ j+ 襇44} _81_LKS_frG_Mo/1l9n>.@P\K|3%z!Ux4`߹b]|Z` 9iLX͡EI(ΒD<2k@Gx7:Y7(BTD!-dd8K0WdQKHaCE MC8kz!gc+FoVK;A(fͭ@z4Q qn\!7pH:mFnXf*_4+[0΢2RP!txѫG4)sPK?VTPŪפRA<3V]S`.<[%6e38+(/퐮~6z4ieήVOd;o bjdX{'vvVÆMrUTRZ)р"a$ T9{^8?nþXGDΥ4㍏*ro(LePL&jHa Ӂ2gYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ nq;,'/z` 4}&@U ۃvxٞιL_YN|~YH%^ UlˬY @eiG@g6/jݞ_n+*'Le~rnsgYZ7zXZִF! B $]ŗXi%L&ʷF+wS!ΓtvK? 6E$եzE.P g.*F%5^ Z- Yn߀bЩhLi>qtP1FMbw"gou-= %X<Q\A󙞅m]XG[qSԠW}ni=n"2~32=FzQf簳mR2=nB]3 {>!eK.oC?]; I9~X-f<44E0" C["DMaϕ)ɖѵM6aV;Hr Efa&5/Q(8q'j\򛷦1'90HѦnjw@hB\OZ9YaᭇWi>tibbAۏr%ҋhR7W L1 jLu;y w 27T,~#Jq( 0 &b'DH ikrp ATXKUuj7ԆSλXF06>(.\t7…&7¬G{Tvnj|mm6.GX VM}GFg{F7u˙ לBi k٨ڴ3nC \{٬ ZՎYB 7G4~rL +Mb {k,V/9qF}uWAR%5!L4떨n+IZ"]ۤr}*XUyyu@WEI-= lg9֯XUJb-~M~;Y^)^Z6 ^Tm*?Hjd-"d?\ uβ<5oSh4kXs TӥLKxNzUq`yIzJcH<JEdlwm^$R̔Teo;Mu!}R}$ o[+ aZ1v [!6^>mLgJO-y,zq|~ˣ0$Yp4w^%g: oG“$>KKtS[ wɷy.Y]v{4[я >I1򗖩|!)LaUvE,sZ׃#~ n}m3(3 @?2l) Y}x.v5tH5:}Z ^.͎ YDÙWzƷX~/'[uQߣޠQ pg~EPuY#q0ۀ:gmJ&%%a{5 6e_6 {lnـ^>c\e$KI.͹/-ٸCOZ_y?/GY T9{1t`; v+ҖDԚf*5RA<Ԅ h)vrTԵՔ2ʅ[9JOVSȊ0V4csde%2i f={!VyNwdeB/moȓ,̩*. %4"[^ddtoo6t-`ڤ J0i~bKAWA:-c@@SGxƑ.ӏT%DP [{NJ.&.BXfN͖K1X*HXv$ $Td-%+(iSoMy 8:1 ן SB`6H2|3#דC2gɧ׉0Q˙g₎ʽ:=Z{辡W4vDm gՖR lZ1-@F<ܫ<6yZ>J+Z6#ˣ;Cv7'b>K}iXphcT0&'e2DDv\% {SU2զED|j؏Hr,lW,