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 .1x4l< ]/ InfPathElimination:threads=4elapsed=110.246cpu=351.488gc=3.4607zXZִF! w]ŗXiɟH)0%oA@wi ?6n[U#)1M+|Mqa33x9JpKQ⋺oXqG|5EF7.͝n8%w\~yg%fmL,~ȪИ:h\R\=>Ă/eK,ֈ7?b|nQg՚tIP>-6qF2;pY}raEX(m;#T֡ӗG's+"1WMbo} QG:DT5#CQY0-`iLK]5{_nN>ifՠ[ fr]\#~u{3[ ^\ O%.:āӝn@jR!`is8JNt~PE`QL _3!zɣi P-˺x\Ed`/Z5(LPTV͔qkQ5n~>ojCd} DݻdQup=C"Մf%{HRW .- /nx Ü\tG+xdAtb^*萕Wc,cCu< 1 InfPathElimination  X^MHg6t1Qr9JaR╯2OIؿ݋ I ٿOBSrP1KKeڈ2 IW(X3 ?N9U,5-Dn+3ݤ"owzOV8rǔtlΥRnE~b,K7M2{cYf? LA ~eZޞJCpYFZZJ,Pu-km>r,d=,<<}cosAE9ƪB48l e|WLGcۛ;;P=TPKeM(_~8Q|x~ /'zzcCn 8^\&{Fɨ[ :%B](YG˹9]ѫ\W _߇5,A鹈H)i}E5mq 9V證L ȯά$EĞ& λiD>urپtX.9'i".*We&ʡ R]__*-tߕHw+;3*`Q;c/h2(k7߸z`:sݏi_iMab+ã bw dfM1a_ӛ:KkBK#i~樧{`J/&e4eU'w~.1VÞR,BȃriE#f}E}4zۗ"8nڌҡCYch'̃:BT#pd ?Pȝe9߶"֫h1. DH^Pq5?ѯAzGhE5R{o3XLr4>Uwd^ZnjSqPIdLS!E~YG)90L%`Xٵ_Wzu Vo^I,p;6ٶoջHMdq~wYd607*D͵z XT &oiw;Zܻ/3y=[r:B+C'끧'./ *CJm* MBM=Zر,vJvOkv}&ã05xfЊˋ;SMX6 *9mWnT>rLB#^q^H]}&DCxYD=Fۂă 1oD *ӓ T"&u]0edM| R y@%*_eP.,`g<0O!8d4FFye})uuAfoJ]pz9F1 (6_Dnx躆I4W:(DjDV QAuY"fҞ/r1f@Xۻ)Jy2 +ZVGJt܍ݾNyEYx"1a z@ g3L1ޡRO\(pt&oTŸmTzɧՂ!hɕA)]i7h\V3~VW1Gl ufRXkfk#`":(Phf4 2="eN1пOMm=L 1QqooNKWM W ˣ. շpb2:s}`:6*PG;vL:w1 ?ʅ|cLNA&89[ģ$CC`򊷷;L$];̧bS׮/!T=F>&WM_ 1q$Fd;k]p4A |`#k|3SIg~%t?6R5 w[; 5/ OsE0.tGYɿmA14 :1H-`,Hw9h~(C6&L  wQ?d= q2[܆H@*m\}Zc;,K;HM4o<V84.cnQG"N9iT{`4|cSQ}V(bD0ŁqƩi:k)63} E[>>Gx[\E%k2Wϩ"(q7(ۗ;g"#攱S#X:)$ϽnA=YgQiڠ`Tғ$Ih&L`N.DTHL!^>wwr%f۳ %sCQp pUVŸ&l [' W=eoy [J4 0VNi:,35z01\Y(dyvk{jSi]#<wǐIiA/H|n}Wf*ü"|x$e>I,R$pA CB_SH)ĢӸ 2/pRh-"mÜetb/Ey%[\}4nSLmeUP{ObgײSUv;igSm 5xj-b#A㟥 @ٜ홠dQD}e462ݫg3sY?PS $ϒӞE`/l`AL"i2/}0aCG|tك"d(9`1SOTV2C I yV7jS2ԻW3ҳl/h%fDwuB1%ڪ ig8)uk7'_df;9ҝw\QtQ b y}5atP"T5mȕH)&܄]Z$AHM1R4k~{&D%rK,`X%"KVNs/Q,b߄Qe rуR/U}H7|AN.Ls#S@E-6#78DX- |2RGhBk2~ǬgwޣG;0Jq I@07'ԕw @K1e? %/Ɲ^zAJE6erk ev6_Gq(|OñFx+#9\\O5q l^#f6F L6j { c4ba=1&ҵ}RQ z+^!Kj3m !7ӥ/d YEU>nՆD0Q@!!U}Cl sXyyV[/Iau~y3M5f89ٿGR.Ǘ sf[gZ{Vذ}L(Yhl ͵O_'"nPTZo㠉ϺDiYUCNSF\\hhT9:P 6mSsSiXuf"/moއbvK xN;z&\Oܚ,yײ ;pP΅}󊬥8rgaC>+$o (4MvC`tl.?f+{m*ګ>OW /Lꭘ*AR: 2cmNoʣV>3i?%] ]Vx"[ kTWz; 203QoBF7"\*xoV? o bI(x@j<䇥$ŀt(F0ص >r!?c`^݃o|I߹Ml N/> EURqB51S*yIz!k|Åc)dOqX}|/uم(r%v~RFL =^U'sraUٺ,"?=~ăH}Zw[?`;iM#vY[нꈀ`}m_Ԡ^D6:PvtL˪"} bNU"`;H@_% Lh\0#eYcB|C;ZwSM6/HbcɎ3lBĹ"a کN9kVg/N ?0ǙQ`^tBCJ@eೠd> w65 vTa O~n)M ekv@>)Ą}0qry}A'\5=!EN;jlGZ15K05ɯW6{^ld^!X]}:Uy[y^a l6RZ`%L*UHsDk?:o{Q[g ]LvT1Ej)j$=:PL!6 *gҩs׀7ϏSܷh\ѹƧd!4 HB?`O>I #P%[!j9b,WhZ;`r1 I[yM['TG~a྾yTn^k=O8~zyyS1`Kt)LjMqHQ╦l,Dە9zcp햙 uIVgྞx# MÌzaL%Qf5zE>3a'^f?(EOت)}9LȢR~s^ï%sqHQ|['dBH|g+b:p; kƻ E n(a]^GMq&I, SfqSSnTwA!q'2TjU_ϼ1ŀ0ՖM^D(3a~CpTşpNQ8fF#/!7".Mo {ZL%ȮA4_x ui\ ,5JcH=g‡A S\[dM;\7l }5shk08\_ɪAhS춭2c~Q0ڥP zKTÏJUE (8k kwtYęJzðԙDx" $M$jom'}Ԗ#bOĄ™Ð{I/cח [[s0s$Mq`Nf*bۇDc- 軷RK+|'nP6#.u"X `Ta;1נmI-=NV)ǽUlowrucuWіMtgn7a[6t&C(˜s8IGePՖ#$U{-pXkӃ'#}emφ@: Oi~#:ߵO+Y:P"W >v4ExzD #[#w=g5a% gBHR׵5C6n?+ ,ܢZ>͎&#NNc H0JDgz~Ps[Gh\I:#x)+ x?Y6nE[ta&,z1}mW;r͎㼯~3҈}0&@ʐGztwy?s4 !]:PUI\G ߡW&J5 2G*cƏ%.{t6nV x$oNC%gKko`i;hp*.̽tId֛-v_bv-#+DQkE(}o *K5֦ŋ-:J캉|Y9'Θޖ2Ե3[ briN9Xs.lh`"^ yؓ#RGV5ŻPZѲ ܉[\  Zl(6[+ ܚv) wZdtUg] 3#W-xUnaD"k=Ϛs%x2Kg ފВN "̔ϓSmDv,vf 3ȑBEH,o~|]=]%zcf1?UfOmeQ;wI0Qrᙞ.ҺtCCTɷ=h"Xy9 R@lKNW4*^4џ;T3bA8WQ/ZaE[h'[;wd_4OBo6OTYѦVP7e&hJ*#R vm=N V8(x 0nЄ甙@\u.lMVke3e1Xw.[1*_iÆ.PT D% sa@ @dH tO>I/F7{^jU& LjJ \O\'H{'%Ψ[Z>K|պ=ANu?xQW[~eyLj„NRsqyms?;ooAҟnkp3W\}2$QfPˢOj&]+ftD):t ()BD@zGnc,V(U}ʺ|?DdpBeV㸯Fyg[/cg!Ņ+nX[OFx|M+WxT.E2 ``@a| WV,AGy`(/ͭcYM4[I,uuCfDܠ󐗤Yp$ܫc"LԖ0Xe?Q"kU( ~u76Š&fNGH˕ qEyuY8s6&s`jmf&0Um>զ>ԓ.5tI)F;(ruHU~{vL!H.W}F$axzJ5A9`AO@o{&/XTl~x$cZQ_a`pTzmJMfǦHw9:<VSoXRЈ/b` h^KF/uӼi) y3ܙW)9ǎ3]@-`} oےq[$remc9xUC =}`/uʩ'*J}y XoY2ڣ}}(KU- *3l)LjZĿH5cܼIV8ʖkU4&&%D] O"GcJf@z(X)3Ϯ#6, *OE'.6$ WZr"d;:_j Za+8X$ ??W=mES`'HD jgiMys#%шC^a|<`iY5[HJhEzuTv3[kjtcγE6[p`.4U퀼O j9rGm2հUᑥe#>_&p+:ϸmm@.fCg@p/$nNel{T]&wbБnYɹ|[>"*ZkQ le(WIB $ ˩%iqʝ'WŃZ'+'bnQqUJtǭhSEQC&MS(/B+A+8<<> !LViL}'7=^%vwT_"5q'1ۑr,;d4 [6UF $_c0JSD >g~7/钫#O]3]5q,;f7أ[h˦a-׿ )8`C04LrV@tM춪tiqzQ:TRwPSRApIV$S_R"as GdȚZqDBz_V53q{Ȑ d;͑ʲu4OF(X&YGV/cJ\o<Ҹ֐GnXc>Ksu]Qɻl^̡FںX _~$sG2\rIsΣɣ嵪R+@_#Z]l2#5`߿E0=-VMj ;}4e`1!=L% {E]Ad&P2E9j7xxFyC2GhHxhI7it눡2{ ;_iS$Zl+Rh;/jr-FF k8麻x8!p N81eah釯0JuaoYd꼱RU"\53Ҕjbni^ l$Yq’⒵9JÎ̺8 >P،cZ),ˑ)(q=*agZ `6b*=8֧+E<b\'1sw=vHU/ehDQ ?c 'ف=Ruo Kpᓺl"rR{p-I8pR-̋܂ XSe !:Pcc+5'ײ9AnMةdbM`@pxV9s:lr!mII҂d j|N0$h^7c$S >/IȖiB;A~3ń9^:haHQ) H5~1!Ǟ9_TOU*Lxij"*SG$ B&b%}|4,ɰ ' V^ԍςu}ZqBoi+DCV/RգmhLZvo(wG[e s]*DN_I^C  X*o V٣e9pxwI\@vHul(!krO.u N!> yoRfi1 nIlvk?*.߮qD%k|loJԪ_P]l`ٸ=¾ZӘ?p9k@e]jzi , ?2ـT ,Ě%#}1fh]vSX5T/У'8V? O;Qx'Ckӳ\GripFs1^DA[OĊ90ܚ#n.y׹?Q\\kё193$4xYJU 8%RUf*qg®{q7*2P"'LITXeJ?@Dr<dopLiriP̾%R̻~XI{["c^5ʫ<̛,xhU$lw$ngKA3X0 0f6̚P9^e)`uݝD`I(/&ubDo?py~LOJg>& ͂lڶTC/4M嶘W aH~;,Yu D4 RI=̣KTg߅U^O=<b p]Sp%jIr:i"Z"f(K0Hi0FnEM$ 4TfCFiG2DoޒĈ \~Z~%BXB0χ-rWEi7ljk9C=v(\ 6_Jf (Cww(Xʸު.m  MsSv/9KRd )NO? /h?vMKxzDNs8]MBK!oi^Ӿv<=5%6яKfn9eh0[~Bטt~ #8jc"x.HsۧxAg&adovTx;t D9y/qhMVcB TO#DK ywP!xjzŚBd\x +!;<JUq൬32VyCD±}z[xQIY7uj5)'{5~$VZVjHpqsrduέkj(.T1w]L$U$YjHyl- 1cM} o7*-$ӃA{L\6再sAiE o$`WsË'v !>?Eh GpP[ <l [Ę=ЁQX,bfK Ϛ{Q|K uV8D7+sX-A!7%l&lpy֬$o/Ɂ?yNnoyL€ g!8Q,T21f~n&Hsu}:F/#@Ş+I\6ȓFXٳhx\!j*t"t̒Ɲ2G+?DGŏhY#@2 3>@5a{~,yj| ci5Nsڗ,OԔ<5Fr2Z~Fy!g+l̕?` ݏ̐oACY$s) 亸8F{J-Bdefd89Mi>^FѷRNq"xw?IT ۡAvB1q`_j)^8OR0q5&!! 0G mX=񼞮k)`{ic-t}n|3ף-V_,>*BR"z?o*'2̇7͏l$Ū!JJ˄?DHHbHd痔/-s}{-_2ZWe\ҳ2cR rk]WF钷%m.okRք7 z̦_N9^O*UmX!>g'T <OMN@需#bH5I}lAYKv޳"g-&}vR|ћFD;A!b\nϫl>+##~ARmE~>VHX.%wpJ`!8I|-)9K%hsh xr|0QawXZ2kP(w*)4b~GB(Yz?cBXvXHؠr#TIrV) =' mbauϜk pBe%Ybˁ *_&KL1<'{;5IqFAycd w2<qDKa\f_?[Mh0M`:A&VhrieiK{TεKg16ؔw<`Ž% }KA+T䃏U@BeO9ڪvП-iQR} 6I"fZK/5"SO3^Uї4IbhP|ж֤,c(+c>lvܝ 吋I`Ii>e7s@Ym7WUA@ԫ~,bwu"e#(pQLx %)3[cNPT߾k%K^M &Cy$r9}TdwNpȘҙ*%^d Ν?Q"_[X:co.j]Izӥ"sgR>L̰\jʯ \lt,*"F`g~حۇ^[wx4L]L\pf8|2,75%g^XDAz >luÎWGM#}q]tkYf̧WfgP|ٿ3mtݧ9T\nlYPE dz=TN[Us-!=<!On[7>n\R_`,# xL5Bt{‘བྷhEph_y1m{͢D]r=2&bXpߙNIߟ1Z=~ƨ}T YvQHjԼN^`O+u\mS#+`T^S;64-䝛KŔhiÌ:yc>}i;Iz)KwrCxO_R l3d !4,0ζ/l^)?,rb觪z/L5b]hҼ)26SΫ&6"s&in잀s{NŨQowrf#DAe% T']J.m耖}E饗mtXϊ!c&33ZD4"ENoK6<X1Ц7]AuK1QKB~E1r'6HcU/YRC'v5: &ĭEqVL޷T++; Ѳj~_;]I OSFc 'y uپH]bP +jG͒3N.n&]Uh%]: ),h!CNZd "wJjIڭGA/Cdr#XJ &i9zvjLQy+Wa᧹$:O\v8I6Oz't:Ê'o9$nF\<";,8DҮ?ň;۲Oc[͟aT~i9<5j1J0S+bcv^$4T U\3Lb`%IJ}2Q^*HOEp?kJЀxL_(#s߫oWBgQRKJ7L:D+&7_[ba0LG(cD8Tbk4r# e{S*GRn9RiGQ%lnb;2[By<=kN=ܮg暾 a`7(u 6N|IZLG^ [˦AbD(MmC!Hn"%K36<(Do~mR?tTwúARdrkl=y͗s0@DImVLzZީqMV5jM7g1vo.d HH#A4(!0lҽt#xt!EM\uDJ^wzAI@˒=oQ[{CJ*)f'J>{Y1],k.8S? fȾJ~Vmmp~m&*)cVS"iቱ];zBza6K=Ӟ25bmC}xWɋR{EOEGJ'T^(K!2;GcR8-Fk7XuŊ[YNGҍxO_>1K_큉hb>)^{`JCc zSeLp.\NEcGcO# j,OA'4 0S"ym-EU34oKD…+xkt;toGW~VB/`^TK7Nj <v&\xD.KW{NSoe$Gw$ 0c{[ڄ= oM h}581/ZIsܵ|`Nvܟ?6ZtL :?;9LCNfX}:E۟r4ś9Z%}(:1Cء%5AX t6(R!=x__W2V\i9jLIo{Jg,>)RFy~qyb#W竸YʘrV(^[`o6 H*(ҘӋlͯqG˘L'<0p؞aG :f c{^@1~t39 R΂A!GMtRp4dbrŷh2=hp4KR{mE#/:@ KrdR蘤^oI /ɍ9 yn`bcdv ks 5<{NC],p{iA}73,ϏVYdQYdn[SZPIHo1kɚ7HW9y2EpHuژ'/8H~ :gX琱ÃCߥ0KB;8?()j HRd,inP!|^S{E.; {;H'azUPNHX ,]Sb7l?Hwt59MW %Kt% !(Nj. |;/p: ISF8Dn%)\llvJU7yQ&Dя}+FjP R!2}K\/Ī/{K$u(WK~9DQɟt}(&U4*N {}sak\u@yVmJm}n >jgpTQ$Le(?C5^4'ÒGGI."?ce\=IZIM=}wg_yWrJZhR>PI$.@z|oLvN_9倹IJ v0oh ~K^`hÔl{/=?C hR VpN ,S i㚆oѼ̾@t<@+$#ZJZ 0@w HݬUrg Zb#<|C 7-;-p#S U]^Ğʜv K FI=R%C@ǣݭbԚĕ  M}.*J۰n㷻yM[w&ѧ[Y80fxfoZ@anS)a1Y< Hh? deTwSB?f).CaC c7z}5{n;6ļ,"$Ah$СɔEo*\u߃pX`a3uGe?՞=*D0!:uPXzhpZ HԑdW2غ|]X 3Xj pRT,:^}2gZOk\q]E}Y`~0[n9Y:aam/(ӵA̋Ȣ||$E׮6k# * ,jPE%îP,`^$W-)ž'd( iv0G>3F{C0!?Tp!l}U8ҬwV60otf>4B$/v3+؍tf džf3VV烜 `+ ~>VJys,!41gU0袉_`ƽ}DŻ Ê1fZlQj.kq0?3gr;\sU0 `HU=+MϘ\F/NL͵q$xh~hLZ)5z# rK|沘؁IE? _m@Qj3/LF3P,L)qՆl|$G`MhJA]} Q!t@<3KzE`DQt:37lN50Φ wմqqhyL$q3Mg,Ou?<@RգށUly#z@I3WD: N' dഌ` (F::i DVE^=[]j YK:{lcWar{@"󁺄 &Ad+_#4f D K{VMu/u;Q1g})&dύFwMܴC1g]4`AkA$1:f}~njC$ZM^? t-i*o#8槡\I:3ց#J2׃ԐOk\MY$CPxk[ќխoL6o3[)Z7vqgbX\kVsI|ݖMqTi^q4"J%F}hdlbGjsXpb҃Aw㪇Omg"nWmn}!~J|^R"%A vT47a}kmvR2$oJۭօ˛{OJ;s|y1'f5YU͵l!im 3? [X&y2i=VD~ydɠ2W{I JsP]e)y{#@Y(w{Rn_au$C֗uQMxpb0%Nh)wiP$]xO 'dZ0obyLmO;`/Ɯ)6cWD)m]$rw&/u(Ev! 8xRc[}2ݟ:Z^ ⓸x1$uȨ& _SJՈե?4<8Èb(׊AY!? FM5?:4!H`LuO18 .HO5 <bA?61~vRqe6_FZtzͻFܩpKN˚6N"KX}v=Đ;ï1X:$72T;&qWf#6wg3gC %jdAk>\a/|M :Yϥ\xαmڸ=}$!I` *J rleЄ31K#)㱐?_IB%Oՙ)a<5:[UݚHe%VF:#l,DZ}nl̀^S-4:}7T.1tG1-bE+'cݶGp^u oY$#X2ݽ$X4. td(_V)XY\Ӣ;fItFgi #r]iJՠƥ}eO\PXnH>do]Ck~<,K4Q3WfQ{isC1 r-p;G$b HsQF]̑#ReTpD"H4-:zt?.nã0U͑^"z!u/m¥TQ8QݜR JzXtojȳ|hl'6F&cd ΉB/qa@/K!3!WGr1^Dnbh$m79Y^ȲE'=WWU@K^yu-P^dx}΁x.ȆWaw֏%tte$J\W"9r-ͳx:͹gdC*argqG7|6 S]y9K_zcΌ/N9vZBEZ N[*_\ReڦB|<9bLLa$S6s)J4]cV8pU,o;2nJF4#2]`  0XC'}OudTj4DǭI"tBSp:hcX%Z^TDI 9j)u.DHNPkjfeI/UݿÉk)pY)ߨU^ _1~wWf|eJ/118a#X,nٵ$GD^_|0rdHi5vI G+RMd*鈗QиP˲o^ΌyLp(0Y8S*!MP1v1Ak Y_H jhb|غljj26ͮ.-iBGѻ` #mW)F⫉hF."sD[3P-2F ZZyC/dA m&ѩLU|'4ՌE?.6<*y o%0˕XhmM<u@SޚD妲yw?W>ն/6W`ަ}B=&N 2)j-|l{q$%dBMJIyz 8ZQ?06=ϩYu+-X {rWŚݙE8+ś(+OބXhcOks i HYunw*3+`a1C}uw>0&6fA$BvsUd$.1 uBަ~mzʱvъE.j)*VϫxufKS;KT69-m[i0՟T#p=w\L}dJM s.=Hpb60N{|>VLlNukݹ-$ hZ&5RrP ija2$YS$xS6]<d32q_D-#ax #<-iwvw$`m/}; 9IP]d,_t"Xy7}oGO1Ѭ$*7THFƧ n@!! Xp״ g dxj]DW^>>+97+ӼAj(#k蕪kpt_a+ÄsZK.2u(lTNsY0BFыZ6֗WTJZ#q|rt4V[qy$j2e3۬ __U>w+2<( }C]O[6iގ#oh޿/B`l-2ASMŕ/z:!4 EZ)oE.&kвJ'ːD<#L?3S4d(;?sK[b7(| TvP*Vgeٖ[41qDg+QK$yȷgm?_Ϛ龴Hfm Ή=)"O9!jв.l;ooC./Edz?Э5K~4pܝψAu'I_ Y?)*52M?bp*} K**gL?ⱑ< N!])h:AD/lS6Nw窣g6A:[ ƫJOŪH6oKuQIC 25.xѣvڈn8R0g mt['8ap;UߵYd ʜ-,V6e9z#[5)j'#_`*TqɋNߌT$~w`([{Cf*?M\m.JcAm O}3Y8 3X1l]qpR)irMSwbUp~0[?&y[9}1c6 / 'r %]I#oUN)xq<{ӡ5LUUgIas}g& <<y5Y,V}mi<,6: {}z0̔B 4aO «5RZ)9WU&F~<{̝uj@l!1e`0|'^#xIB?b)Zx˕duXEs]|:u|CQ5a%*DΫ^V~.#9@¿ SռD4i"+1SnEMw &ZdTDR"t9B>a".G @=(F7bižAc*z6dNawc@N(ʐ73`6 G>rO(s͟fqox+e} =ZGE!?a6sM1[ 4i'+p=[x  Qa!f?+RQcZ6p+x QV,s $<^&]T8l'5V}fxmvz嚽!n.a5z? 73{cBa.{qw9cSri,q$˚m3Q<,]v}oQ_iemRH^/fx-H63ݔM%d3LhHH/'Hch9"3~PMɫc'>V`Qn+'9'N9 a 4e{1c΀lLzG`צEy!3bcJ@p2mbδ##,θ9dz.|QJŚ ZMxp/?A &4mp#_@$(nX64\{Q/ޚsuIklPLP)]3ܾu^U)U|&17ձb+iǿt3;8U^Dx0T)6(d}`(C#<+`-Ȏ&vzSI&<=ZMiBxWn:[ir`è,1h^:XFq:"sςlGO!`CΩOnnrߨ{ ; bO1N+ ̍l]Yaa^ Ry ]T݇)BuҌ"*]÷5Y//Qȿ+9;|n$WY-n>L(7ʪ;-gNPx#cܓE.ÊP߽yb<c=gE?9K~K9q "P%Ϧ&CǧXzH5 sV ڨ0޸Wt>f~ſZn`( 0p*6/&ONJ$؇!Y:R>;9;e<(Hatܶf&LYCWE9+R8_~[aCT{8=#pJBjWt+fMogYbt&=0~V<6&U!^[gA[;P?36; n; zi$gqR#TUGٓj HPh{sQ\ʂBuѿ߄=b{0w5Fb|KS l59Ʈrҽi׺K^SK$RB) `9v>&p3D0&F]!i+"5/Q9Ϟp8Z/GSI:$1Jx܄m'hYW: ̾_4nBbύN?W9cQ-ÝIOҹ )i9P:}@^V4'_ng]AO 27 1 e |p8Yv2]y{j h Ι>ِoٷMhؘ tp_r6m6ܢol4Ī{"+::,Pz>gI3'3A:=10!T-652-+^H %[W%*1+X&+".["VuĹۿ0X<'MfT0U⨗EA& ƱLa4{!~"k$3  R}Rv/A9w86YSosSI[g9D+P8Y V5+}@zpF( %b_9]牏R̟L_m"3]R/ Wܞ>f{yjA{Z;/{XffEpPAF7U$k'4So?g?"+4w,sATssV@ppM] /Yg)~,yXfph{!8+Qt,, *3MkQMYJeOeV#b%#JX!iS_Ds'3ohb/~CXla-`0N`S@/u6>tUY4u]Tt:wg)x#Z|b:2$"2C[wG AYрc+dSR+ؐ^Q1_3zgK޸gEYD٧2|ٮ7'M|YKݣ0wK<" boj&M~R(K'0V6<ҩb!fR X[5L+p`d^WOB*E tMX;=Ov+l{O {+]8TsD&9-?ڙ'T΁k*kAȍXv>Yqږn / )_ۘ XRꊟ^Nc9WRT^Jp~I ݾ 3cOJmjF`O{?6,z0NNH(ˤ̬OۧçTlT(cckn0#A3^y#LlJ] # FcTBIڨPw6??נsah%V f+g9OܙqW`2q2}|~d9V*=.̺LF oZagU)dpV+zͲ'(dx>-[VOLKO@O ţs M_XtIuNM{#ZHAx.$ȉ=3xcm)MК`ky5?[4Uf] 5ͬdٸ^ѨɼjF Ik 6y&dIMqP~/8#H2hZ1NR%.-"rLsye3HJd#o14^Δ[1%UXɕ{5(jf_٬'m/ i%, e !љz5䑄F Sm~N^"HAdcs RA;ը"h mbg<$SkZJ} -8Vs )?mףmտC hln &J9 +2BѷJL.A_y1[y:j(5diZƤML[mbuIώ`[FL3ZtX1c廔f~$}Ea.-g# #Vٍ= b]ۿD:+6ym=&IYNs2K 4FpZ|9r#\owxZ ".O(0/zcSw*ReΜ붲J4 ڡq0*4%:y>GdRPU\tŒu,.ΐԼ3Bߘ' (FfFM}ub _@(;2!ĹZ8xWCog?QE0toDH.t`O6!2 . s!V*,o iW*h (;LiXBJ7R ,v)I#FDJ иL :+&\u?ȯͨC[+64ؕ)n7>L=sȿ@;;.,)X~iuFsЎ!o86k r@τ\aa'm<*83B毂+ߟie4-Ozʲ[6_MC6on0d:K** jڜ^--4$Kշq MȕsmZ8?ʴ yUx@߫ct} "x n n>1>@+~oqmQjd!z[ַ} 3 F$< %KL)#{n'FO5EqQTR4.5oufCk[PWiX; n^@;/:Jʚ 沝Oͮ\Sx|ﯺ`p;9m9~u3} 9h/yHY%Dx+ҫEXd;0ֳ/lg(ͨo m/ɭDKh|`!^ ~jg_ c*ex>9#BxL߭93Ud1Q&?쀙OmB6hZԭro0t׊|cA^e;H#R{B窊u8aD,whlL' "xr_M? 6z`um^_*9餤xk 3#Sxv<;ʌu]:L{W5E8Oa6@pF[!'~6@ս( iLv1p*ǁ% .;`8&Gzh8 e?| Wn(X?ImPNmft-t^5 "Ovui%.6{42 _RC8ft)rS[in:Oe@a¢Ԙi!m_+1R4}A$/it;U51z?Z!H@Xiz0nw9aoQ mЖT+7N,7,`R j豨4MSZ>͜iA2"3 36?)Qh =[KݩZq5{6FD u%/'~U!AIиf?֒B n5AS!25W'+O䝡"އx!%1_D;{cru-h=*!ERow3TDϣ7ݞ7  6[EnD/Na:(Рgf hENu;6nM0ۍ c@Udjju_ 4CR@r.a!Ds@9%]*u" A1gcV8 :1?t()&lPBDsyJl% _f~9zLD!8 xN H H*zc>bDuSz<ۄǩՁ\M]n8\q?qgYJ؞|d ac Пm4loilz _wJk+$鵧xQIjq'R7w|n\ƹ;YP$:_:3MBFE8L<Ŗ@ͿcugkmyBWazMyaĿJRw9ct`l nuWb@ 7XR6I*"fEpȅ:ѣ sg;*EFZq3KAGì`\la˩wyZ7,wU{aF:Ęg{"#fm73PY Lk鄎jZL:yZDQC?1^ 3[:˂n28@0'k}*/^tW|&È͉3}+YN"!>=Ӡg]HݡC5 lnS0:׫U8Rp"VP7lHP凅h6Gܸ 1B:1vXHu* ҖxmRk}Ck`2} _1ndgj4M_-Q鶈oܢ$9%6=Wm :v/z{,\U<&sZHk>o8pX5Bs91gi'&} &cV_*Mɪ=l gQwņez0EE&ŏ<E.I,Q޴oLEDu Q0:LI\8L j)7xPA[OFATj4- <{؊Tj%Y"f" /8~U# uO+|{z 8&3mPNͳg6ŝV;iDcqF)-gVid%2j.gk.S`XMvY!ayYhZ;oTRJ#Ġzi%Rt}AaR2- IE,۰ KRX-%KɂhUQ#{VUUzj}kuaǮL_hCϷ4A#:0;6>ckPU_U5j7Q'J?>{U#@B9:}&qCDEvˇERV6w!Wkm8y:f3Qe>V]pfkbCmR!fdBМ,ȫ>/$75xhίΥB[)yY >j)̇Nx pC!aJnƱ>a3PwT4–f"tD*By!<FyW9 '$pC]$].-WֶT7/>w!| \[.XDPW#00Spv{cJA#FsnNɋ,"'Ўؔ2Q@:o[f]Q=qxmmMc+dWۖKpM{.xBPYAVpl4%#m@ OLWmդ JjPS?g#7o{j" ^'G i.m ]2b/h#8tuI;Yf d=P9dX+] I:}dd_!g;gYZ7zXZִF! ]ŗXiɟT +=|pocu3ګISy7eoDm=0Tv|.cdRI^,CNcBBD;dCܸ3 .7,!/}"΁ksĊ0ty~ɡYN!ꀖ ZιBhgzG 5pl=LDa~a.lcm2OaviÔa좱gYZ7zXZִF! ]ŗXi%L&䏍XTL9>œK֫Fnn!r'a aKsmbL%ڙ 0o FBLq%}hiM3RדÈ2k$Q&4 r>I~hFP;D݅U{ 9hL۲*2C5~Nx7gfW+iڱ%@v,g^HIVepV?ü=jګ0܌ ѩZx8o \6#L 8:˲f3}Ts 2SiJv鈥sU"|<6fZ!ksB@ŝ,KoӲiO5EAbܪ\^Z ;;|;Ks8>DqɃ@#nA ,'ɔ({ VGC͇zӬ>|p ʐ Z$ d01(Q'""_$-CzTzenCo |6ReVI{z2&wQ}Fa Y?G?7(U5XUM&˶Uvvj/rv%ԕIT`?ͬvR.R^e}_蒥#=8Haⷯ?5ZhD̠ $8xuJ!A{"6/Lܛ(ozs}ݙ9(j0q`V~{QJ# ?_@yiQ,2a8 c?҈}e %F'(7^@ UWH~wЇ/.%MOH.#9keG?Xfi))p#\"1w DKnOQ5J+ ?}F]k·rP$$gU1k2aQҚ T=66򏚿>[+ߞTΩjr@ăYދՇ> ` 3R\; ncaO=EGlG$[*a7'3.H~Z&pbAexi?C4x7axM:fP@,9nhu`IS:u'` ܢ}/|\pXWdf  5ՙ}nFQ=\V_ja'щZp̷^e6F@PU52߬{*,XmF7zq.Nc ׇG:CRkBjB%w52ԠL.[PtSJw$-V;}.WaC#Ϸ+æw w Y}y0#!՟<6E5%SIN< vNNjZwLOa9[*W ek088ңBM[J*\j/l0Jc?cNa#49 _j-(i̗j6Ew۠;%7ur&S 38"99,m$M[ vׄ9%dڔ`TZ,K+PjOgg.$%-MtԴ]D#:sPcV#Ѱ9a=-$ʠ>=69/Wm.ű8 $c~~ŝ[R١}dqz55HDPElmԫ4[c~N졘\+þ(ֹib1۱J^͞ vO *W*z&I6 jo4HM_mnx8ZGc we"(ʦ:&7~[&hC+/Jq,V(x,,CDE˱V[:~.ՑkpRgwNnz+q-yF /n=QXٲOsN.#Gk1RDaO (ҰU b=a,Vb@[а}LgƯ]Q[$+l &e։ܗMUTe,=\Ac//`{kFXlPqhi<]AY)TР_}^œ5N'a9eZ1(bۣ2+S@6=#(T *hroA;4^ {JHK*h*{HYZJϐMA'{U-DU,NR.D녮$+<uPIAW,[*B^Ŝz:@TI y VT' bBkbd)f-̈Ia"~gyښg ث[Z iia'qB̰ wdS[ܳ[l^s*lV7V_ bY9 Ay,^x)tY|h2>7bdOreK> OÉόnQ,z3nʧEB;#"G+Qn2v1&+Q3>?pUĤq>\".,f:XLڗ | a6~L%jp6Hʙ5V3B0?SR2..<芜WBЦ*L{2{ˢV}0=+n6~e@)#t04)Y0z-(SN.F) {H5 r Vb=A˭/OÙx k?@ X*9٭Iw' ő<2KoX*cQXh.YuQe˯K݃ 텍+9徍~1F4'؃hG)c.U[m3=X*ӭ ; ^i}>.Ywq)#sJ7 Rs8dz.<$S iO9XO֒y2X#/1tһ../Vk/[~j:]de&7 < vf @H{MlEf'8a]VIW4jbG {MΖGfT*=Zyjgp{NX~~fy];>db`}êP$o}EƆ؄ R| `zƒ7NM}Wmy:={ ~ dDM*] yJ' |(K&7Ct9!4QӟyKM6릛xYi8C֫6EҚu8bb/S?עޯC%_Z_FS{䪯~A\I#mګ>)o{8M;֩_bl0E?V^x I<u wѦV??k/E'{ӮU΢~W!pE UwmcŖi9!Cə 9"ҿ0bc_(*Y0V")ܧV>]<2S-ԭFH#sPI;'ZU@D+@@hnKVt Ũ"j^ O^i_#D2X79M[0Z[OWnY}E#E"{y2Ry/ƻe0\XZ%sWQHCtĒЋޚ^-xJ_6U(gD\]djJ}5beK,dy.Ssu '?K,|7rG(T[ ]0f rB! ~ٳ F].xɖʹm}jjeEbrsۄ!b8ɄPm#`4^[ 36a=|•~nhJ4THթ-#OHEA/]߆$XP~Tj% mr#ܗ{VÞ[B28}-|\@6ZT,(Yj(4O+n9 m<5.a5¡@^tf " aVmbL?rBmxYtUxJk9XYrEM66^Z;xNq {,?ZUǣ~#+vCDo㚮0 =*n3TЊb[ Jeě';ۂGِh7y#,g TגJ^YapS.`xф=L~cOƵ@xT#瑘eXʋpM?MCJO=&W#& Yr $(Z|vUmq%\;z``|e;mw$WW`'d~PM`ͷ/j)ix!]$)6-1ZӮ$劷u3w_UUV|?I+p'}_ծƿfL ey-8Řu[w-$x>IcEb櫈3nv M}|(>o/nɃ!UĻrA{!a=-8@4qGKZ> _R0n"Jb4+m63;,ҷz2+Mb,0>I>VQNXi#R*s  h9be0XLFk~q|/; v4eF+nK7CT-sQz1u\~X!IH/Tn)RU_G;Gm=M Aʝۧ>FH蝲OSڟGXlLN 1\GM$C%lԏYtvv1l) ?b4(œ8W8ttXu ̗_:T~4m\ OL8Lh"x7~…j'6g<Ɠ P W^1'7B ?IPjk*`$az왃ҽH`j !mc"< s , D,VUz]]N}՜᥀̷(0"w.1E16 f-`}-"]Np)f~2%3*.;Y'5w;{Q!巾~=.8rA0IT<6^2<\/Y/a|#INR~r]9w>/p.l@mCװY% -ʍl{ƻ9n$x{zL-+E|A_S! l[kZ[K E˩8edF/GscR<zjf{Z@dЁ8yj/:P@" T^4p킞;Xuծhj0#-ao{з< wM{^ě>̓ltSI68ًNG"ܽQ_V/z` CVp%5e/,@{aevaыQSQXZB?XuC#K!-r'4GzIfN"I4i-8E95F ΕR^[-z PYL,8=jVD@IӜ[y5o8F\`6}lEy_*>^\P"(&RRɫZOZ4pvUc>@]5yAӰk<zsg]wOuJΓ"*4/ى@ːWOa 筒JMNF@K${ dÊ[B 56#&⿛ĞLhFw/[.IP1}4~avb/a\N[ :NQn9} l:T||+O]_ m-% kf[ߨ8zid9;~/)(nl ݝ9Y4=gYZ598a14bfb2997bd567a11c1e9e7e0c4389559f829aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535