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  { {e1d< ]% HOL-Decision_Procs:threads=6elapsed=228.300cpu=1081.288gc=122.768factor=4.747zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓?d)UweTs0Wod`:xBuk䊒噜 ![$.lLC[o=[\<ض: wǾtJ?^9o ILGd%_X),RMEН\]oX!H։On%@MI9gLP*$Dhs˜,M"/9u@?*<:[>|e;ڧSj?9/OC/s~%B:øq:ۍa/bBL?EOy(eyWЙTq+,PǾ;b L:INQ*-Yd:#m+ ˉ}ih1ڝDT|JK ]Q` rCY*ބc qh@sRƉ†z\֋3pwXrzIx U8j"|f|BK@_k_ CjS[tf0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ BZj`49Ώ8ݬ*N#DHJG^!spoMiU@,!G΀A4 8fr|K7c0f)izc9hM o[+7|U?5 >Б&\ i'A\yvfeȆ5<@ ^D+$pC%,6qCI0# dy~C5%^DM|dJdʔ/%<}uɮv'䖱(Ui5#05_Ŭ8]S9ZY4t݄kz~nyh"">Ay j$oڮ!ơ3í?z֩4d )V0I6(Ttɑ: CLjB͚rۙ OrBVW&o,אr=x-Sr_29Y=%qAE`-H~B_YzE𙉫 bI,6a=OVQ0'LzxcyYAG V_( ;L1sѕUbt4lJaI{d(@>J[`XxVo4aqMwGfP,L]jTp6(!w~$ȝI}~%Tc5*e Ca՟EV$MG `5ּ|y`"חB'{r"kʂiPxkA"\FO+>#QG1*2'+fgtjCDx-O=1GɁzXq0XKx?2SϙD٠v؜bZ]gӅ<..&"(A402۬&JBV83dŌD,?ˉ2@tB4PKN-ބCec1V0n ខAdtJlzӊR*ؕA7rߜrC65$&cnJ"@\`>SMzlTvZBZ>t=ܗWBZ!k5= p8U$$dkI%22^(>N[(1-͕j ]陜H)QDr^>N' -/qGĀ6QYGwcuz^gqx,0qfm,s EXSP)fvv6'R\`Iy.KBtA-C;դb"SynRR a~O"Ï6M1S{L`MZH5L;^6RV)8,cj r"bЏ3sPs;sQ;j̄DYg[xvI؃>Y<шא z+(2ЮT?|(4rG"^>`z)D納3p"aleF}U!xwF 3P 0р8LV<IFȾŹ a}({|2H.I/-$>:}5DFYU*e@.nq-2 oG8఩]_p6 \WrQ 9% `owF9bi p癎:] pJ|fˍtCk^M:8sExaq Avtqc)*udɃ@wlbG&M!rG(j ߈^g+aZwt QKew D 0wѓv O"&+9 kczjg&^_BA>`'B-^2 !]=y9a;n^5[/ܭJW-`Q6 ">,(j=_AI~U(uNVPǡAf ȓj}u)ƚHxpoM\׹+CYX˾@؜иZO`юL{3ާxa"CiV~YJx43e*k^2( ᶊ(vdv.VyIgxHܐm5ϑ!1618xИS+Xކ7ش6\0Cr훽-HɰNm4f㠨+>>ȴ/y:{vNI)d5ٛW؆yba/.e9y ˬ ?oՀ Z%>nUbʱ7ů ŝ7*3̹Rnk-D$,uizD_!|:u g3qNGf ~-|d(94ixYTCs!$d*jN`3 3sVc3J72/# ݟ5'h gKNE[ʏK𠗘P! pOFNJw$u-x3L}9F4q>e>˖¶2*u[4m|Cq6?m"]\z20Fy;?aTK[F=#\ie}`^G:H|l%&gP,yT + F60{F{=$_1+/ da=TF),y~r;#)^Gq-4_WoP/S-t+5as:|5>=@fqh(E^Em 5{Z)vt9u{ ٴi'j<Ёgr<zh VHZ[JJy6x̉[~ے: ۣM ]5oh*;~wn3Ǚ&r5a]1 f dx*W/qH'n ûG)<0|̋MfB[2?04G+p,q4:PPYo\j; ^}C@+}m^<^ O".6~MNU3;GW{hF֔1kR1(.޼B*תHҸ~'3GGy [޴W.th [\꽝6VMI|Pɍ! x\SޣjɅ.a}xhOhh#}(9uO*@ޔQek8ĭd[G2#[9o ӨT^==T:"'I :HE0.%c3;+'LF/#hl΋`~۟W7|Gqރ52q;+Ww%OZC4(L~A sS8rj(K6 p\Dlyw Η3ܼ| \[GT#39/7R/6.H)VrnJGœ^.r +#lv*չ9<z8wXubWz|ktKi2^ҟkZHSzDQ*F`gA $Q%}%ߔ9 LSv qEYFG'sQW@-ƒ2x9-40&wj¸ξ}LXV>G)1fʄd@xΕ?ECeow/ HT.LF8Ϥi/p+qbg|# @*$ߜ_ : T6|@Vk*1x=~+4O+iާ{-.qEfڔ)ښQw$>uZŲ/- qt aR} VEj!SO·ܜLMaSUJxw>'QXVD%Of\V`TfbwTN@EvMuܲy6b/V K7VQKI@+74iOV2ET9q*ZRZ Ѣo?Tp^am MH݇ΩW'l^Kk#J-IW~7P д uEhr/rP^YծH2- OW#׎RQN,Ios"d\v_((b1;4tS=xxx6Dmrq產NF^f4߆kFe`dE'gOP\ÛAr߬?n bǒ .T]<%\j+v[A:]̧YrLҹuYQ}>c]|%y]d/܇6Ұm#vt{߸cN^ DPV D[q彠cGdj.cb>?Io1/~ʱgYZ7zXZִF! \,]ŗXiɟ17L? KxlWP8SաM~>fٺdˡ _Yw<| ^ Mr̾A1m>Ayq2AC왺&2e`$EiH6-F*]0̽ 辇 uMwZwIQ;o=cW[=V9#Dqjg0kW߼-B{M>$-teudsH٢x,7g) '*/_%DQLdU'ӽ\[kuE XCS@c*0#N8Z3TH3̭B?4qa0E ddEV=dzЕK͇zDӦig|*> >^^H)e,w1`W䐟֊H.'m:̌"}{@kcɪ8 VJ=^Jq1N$×%oCx# NpQ837S7^><={idf)"'Bp-nlL [HugYZ7zXZִF! GGX]ŗXi%J ^-R d4MgBd=PbTnJe<lwr\_ڽ[ 3 /upHWb,k̭-XpCES]j6&װoHSʢ\0~m7+/#{B]wx s3ik_[Q_/a.S[Bv@3P/\uJC3G${AƏ!Ȝ5^' xX!XԆp}j$""w\0듒QHdrX `>m*heNrčI\2K{Ue)QlE~)+e0gɴ6.1Ͽ̓ JW ӫRDunOIwu\ֆyfy;lN >L,+Z('n/C zr[T0`J]usMXzBY 㮍 < RF'R/i4gar ΕM/oPs S\ٹ@a"O>C:Lqb[&\#91kCB5ZlNPa8 x1i7DN(*BeP'JM Z Ź͔4!]|I%MpZ\?M`)Qf kmŧD'FBD* >_tՌך2P|,_G$0贿WyЫxA&:]B4ժlaJ=gk9<7@93b*eAOj~{[??.855hX孀E 7ȽH篱Gû`keNנě@܆hkթEbj/ie|k [M S˷Gi`q(.%^ DacaNbP !18@{xj *# F3(읇PXQ@V D2Cf0n# ޹f`u)/cACvzHO9DB$tEoj~ rgL(.s Џ!{4m!JLZj|PG%VҢȵFqWyIƣS&Ͷ5D: ޥWɢ%[a8 q;{ vp3Ur'ڠ߬IDtR/7m42#+;fwH{f,=4|uGN2K[$PT+scR;' #{w$Jx:u ]` W&+0Fe RQ妘al!'G "ɗf 7ù(MY7ZyXJ;}92 ejOaՅ,[#rnp͎&n -lm۹z#_@,lc)@ ҃҆6L|lo>BoL]{FE=']X"b;4I>H]H#l/"l)<[[7rd-qX;筲x%ڠ{yS.~㍾S102{?31O(- }UPB8r) 0QE}:Ohn6Mq.3P9z|QH49=D3\ M xk ̶p瓺Yj3Fq KI~: %Qǻ@ܺ#Pu PP  v9ƽ k TFDJF@A΃}ХOI\,G Kl4vnv/wc@P>6rg=j>AUx3y@EƉk'^+Y,7zǜ/K`HљK6*+k+tŨGY&#:'IS/p߁&~Od]vSjO|[.:7cuO- )#{qYOXf'dlyQMb7X|hmO$!>R'.뽱YTAvIz"S4ߓ-Yևܮ*/8 U/t,ך-$ƴ  3(ҏ2oUqm@GQ ĸ)CM#wIHG|@-ZRh+2B LXҍ~ٕp CVtl⣭Gk@͆\ӊbW6\<$-O]hbw ܣ="=j4nM4+Q50P kƅhxVRciW7hͫ [7i(+d|!bkep?(=i*@'Zr@=ggy9__u(u1p~si@| $-#E Ax]ǾR0d vI:v:ؖeD:z*?eU9Y\vo A̗E+x2H1okQ>ȅbKY #PNOAMmwƏTRˡRe#񓀆pgiQ/&2G+n'(-mf$5RoƢsm^P,:NC  E8j@w;x\_ag$T+JjZ.?Dc! s kg#xh>}fxkc'2?<=C ) +"ZDzLvyѝڑVr^˃ ,EQT%* g#ChH7*i>kW4_)u ;<)g>yP%mȗ_&㋇װKp旹TJ}arjDF"/G?o3ZLESzLkPݸe?x!y1gs5 e%M LwfՋS'auOT_>jǥk)\tM'|BU<ΑO9OoQ8Qq+q-.DТG)%Pt槓LF+_}Ag<|usRʂF̓>}- 7pftc3q-zb8Ӑϒ\gIwGF(i{'>jCMwLC ]t 6Ab/GLAgt_}]dM}S??mk'[ %lC&"i* ʕO'XAd]w Jc9ajY[ቧ;yܒ-\zXFeCdÈ1/bPTL#yLZ(^ۢ2OYQ5΍$zVzx9SY::^qB>Sk;XWNKI?h_P;7BmT@yerezJu .coa` 7ߑnqG vDۘoPS~orGvՒQײP҇ilF^,6eT#lgTSڴbH6[%wcɴ7s6@"nk *(ilR`)׽ ,kF91Z]@om 76_BFD5J!1(G[%Hra -+>4Ijtt0?Ͽ&Rc +x4'qT4܁LZ6OdqxU:fo;˱@{&JS\Qeh,`- `:yLegr,TBM,*L*IAKkb;]ڕ Nt}#4c=xd4X?Ľu,1E|E}v F16ZT1pltn٧=v z{j.$ gqVyN 7}{Uȕ-k /`R笪kIqEX`z]m\}|_1.ݹk|b ^P69 vƍY?y~]f*l]c?ݑlf8߀*Aovw{ Zmn-P}y:.J୺W ̒ʼ9|.uIF/iy7|MյMEzE~6mdS0iVůzϊ?/Jeu ̑c} ̱c]tXAIh9N=ԍWe#iLPcSIn{|*KmJdykMK Ps:v:bDi餅s9FrV^%eʋU_'7EmÞ{AC[jwmFTPЕÎ"F IzEN=d}ܒ#v*x|k mLD;p*v|l|A_lnIu I ⨣oaNz _SsۍH/DVXx6N<\5G8GJOшL{b)VOAKd+RyJD0\g3ZӸA׿z5`.[y وFeAԕu~}X`0l.,DĺQ ĦﵔiΚ.d-۱J /5yZM(i;p">^|>gX:"4l)sHx"*<.P7S;xApe|H}fs7]h1}t4cl.;FT .~ӻvN3k\'ֵ~ܿ!!chQ 猴\a(Qwnۻ0O b3!Ua"ג)'/맽 * j`wFnֹ MMĹu2?FYߥ㻳.v۩TE@w1$\|A_ꂃv7:Ӈ KElR 9V8+.Y*ƒ @mk1K=ɣ_F"x଀q!(Fæ#1\]i*1nƁ`gĄ+d ZH>52!jEF-pRήU_4<yUTmAl>l C2]C·&UkXE< `#T2|BE_I8pi59AjuH}0.#+D?,~~㛟;{-y?KΨdb\ \Ҹ[w"uF" /6O|"yu" 5eEZ%"QvF ߕ7̴ZWAY"&8,7) KMrUcPRvw:|U4 ϶[ ZiݔS@y< b `JϦ='t9<LzAM7 (uVWjb@&(iw/# qRWWR5b}Jژ%5vu/Ё+߂ǁ\x\蓦åPzjGJV pp% T:oW䙨21Svl\s5I2޿ \DW68\6 Z%6lY 6Pshv;֭~0doű{dRY#5*j-~'iϫkI6Bق:=/rZu^Вkow6ɤ&]:N%_ǁ߭$kuf<\ܐ+S %{oaZ <If[hSe]gא9`Bʑ!Ү}ת׹gç-/Y#Y>9a(Xmm Sz}۹5˸e ~ܛۧ^X!ʸX{+%=ʀb;L$Wfr=Expb2zm s-3Lq`-`=(r^s*iW脐$Xy*']/ =$_jRC}`!g@ :">g9e/8~](Ϸ, \~:?l̃w To)]^|'/Y5_8 Æ=.rs}@ u2N›U&-\"\ /ȶ~n+e4Y7)ͱ jxl MK"' VCmҦ}= -|wnNo}O/TăQ$дƞ=Xg>ĭxNm:gIT=+B ۗ᚜ĨY$~wiYD L^_PeZr+X=Osc ng 3DEgHqׅJlGݙ:Ihe#5'<<rSGnu: o:P3Їr~sl-@!_ksUڵOC~Mi;?N>nKk?۰l$.ߵBE$0A;Rtɚ_7jΛ"0e¡Iw6KN/m\V _zxzP9ZSȎB:dj#?cXf^IbC|pg5mC}CgreMo=9(4ԕII68 4x@B4uUAASS{zGsdoy;3lyCI$LjV7t[9ܸ6͒a]ZFccM0$Rj=P%0i| .ӥ}r߲̆|ScsZ>cp]1!(DL[=m"Xqog <ֶ_fjmvq\TnUkύ=*_C}m: (jA!̠Hohzf(M *4$[*+#ʕl\!x&qC6߽$#sZ~;_`UǸ~/UXYQsT벢[:dq#?:Է<Ɖ>sy@cìE7F=jV?rރoUеe6 ̀+~teH!T՘Rmc[1ln㯶* 5Ui2TFSGMN#sdB,_mt9~I/HZ6Pfu|ȗ~Yw߅b+pl\YHC޴,3B< #W:tЇvT/k̙Ac ד&:뫥\H` U]a}QUx ?~ָ6bn&M?I>uMۋou:2Uu6BQT&DhQ1wSlX`mTmuߡGM!}'U^MJp&Cdiy9_k~AfT#$ &+؏W%V+VZIsde$M^bTX5R[]ƋM. w8'ɛ7⵫g:R,u/E&*iߺxOތ%ưDe 0uƳֿ7(:da`-azQB]S a,|`4 : NΕG+|`:OQuMRIڲZ7x꦳V VY7*GYڞ9'iǯ &/g%)3Ee9C@Esjj_dZZTn+ڈ_?:"D ^"NH2SSc'XH7>P..h-*+]ը/ζO@ЬFVUwo}7%6c6/h- D:6OҠ6\(p+Aѩu~ᳱl R0;(d)ZDimnk<3YxgBÝ*t{T, Xb^ [2Ls<ٙ"WQ^Á8![-Kì1w1Q*Uέ}Xaӊ1^+cbld|GP@!Zi֟r4#E3.$lV(RU=pot"*Hqa/Тf8?r33 x@y<av} J=c|9o@~ \nm݊Jj,;tsشΡ!`K\W$ZAl %[e ; 3aJdyUսY^ͥ_M@TBȯ$*:PM7u{o4ׅBb}U`dn1%X?)̮SUTyk1x Xɵs%"nm!o=&R|У_V6WLҲ[e7]]>;jϢ^痷#-es&{?g< -Ή _wmÌ4lȊYX&L pvky1' ъ: &טy*QC;P(Sxnf39 7 srs#*BXÒ«KN^> 4/IQ{j8L\|YQORI/f7Tɖ9B̏); BKZ^d`G3@ʎ]ա`N"RyV%8riK6If Fl]H|Xud{6:}RFn#6$YHofxAkϮ//FA||Ɲ_CU"u`Ⱦpg[cXj% dpSv4e ]xkT%~$pʞTGW praUɩT‘ɡW'~XmuvKտtbνP;vuj6e H? _9A0:Q}2EMQןb7xusBlgBp5)gn.P͔Sxv,[ hg7٠FN`0ڛaR,RU `K 6f(u67m0[`@w|~wd\\{"mC2Tnh0Q$)?K(Jt䝮!|]pkT@[N&n PhPr1j< w=g{ad( <`Hcd 9w]xi'th͙{y|-}$QL7d<ݷ!oPJ7/v!)[Z Y?r[Q@n?Y>@j3QF,P.@ U?%ɤ8Hh`#CENXY $p"O?fњ9Pc?*JJh#]!o`\$:蜜nͳ_i rbxFzQ_c"λ/kN'džjr/r:h}+Hw.JY7F;~~PBԝ,j~][5[cM&@ !6*i P8`SܸO?Udc-x5TB1г=Sk2^DN\Uc+a5˃{Gub5$^C[4?RٌL./{~dN%C_ !xZn)!A,6A23졠5`,"{ַgi~[ @p]hQv ;y4MtI{".sN@GC^&MKj'J ڣo>lVTDqոjyMd(aŠ6,0lL)A'_X>7 !27>ؕߎԛJ-ڸ}œm]u@}{[kB\UM,z1 ߅1 ,Md%8OEC -r"fsEh b2S%V#M[ {vhg>L]3aeq{gԖ%r n)^FL5)GM.wkyj}=.& ߻^1%QȵeZcwI\*0N 7Ρf^buv7س'][zX<Գx%qY%ͬ'[vj.שauM옦aRMGg_;Fpe *RWϩiy?E2 AZ3)SYY tRd6&j!]dx19e{=B|x͇sخ JGoO+[צ_ix^%h: }P kZ֫9\ّQ3UmWYL,p_ AL4hXEayouRT% a:ka 2a YIS a-.Yt 0AVc<ɧM ד;y483}=!{6A^+?"7Jo%= di ~+ *1b( ީU%38[E|."ssγE4=vLQ[8/מȀȺgYZd46c57194671875ccff68e34a77ed343e400210897b6005f23613ff7cb630f3272a04a30fd86006a e2c67592afbd2f2e833f3588c14571d7d670c534 72b6848a12cbb0017874b73730e9384919d9c51a 26517a9ad6fb9cc9ca56fbedc58cbe1506620961 cb26c22fdf72d2b152fabfbca6deb20b54a17369