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 bbv/TT ]]Affine_Arithmetic:threads=4elapsed=329.500cpu=1142.332gc=93.412factor=3.477zXZִF! oI!]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_C?\KOK9I]t#cƴ3}xeObSIZ/^1]mc?ł}5 JR Nl->'y,:A._vLr'܏f c<雹Ms Bu ,cgooeXd3^2<7%7"0=V5q3~U>VEriJH\8xhFqv=Pug}//#oƩ{9KWЗ|ԖQ:Đ̐b/Ԧ[0]0vQG0(-v-t{igȾ;0>O ۹Ai {$OR]rG pS/*ub4jJKqE`JagC[p 2|/V_zAZI jk3Y,wV'>\ A]Glu4s3E Uݢ 9ϭOpވTЄ6X5}b@oSuq(|&H7M_17&?Lu?HXnQI_(mN@?V1Gb-;y.|܀XɪLo{tI]Ys`Й5|[1Z{Ƕ~Kz[.6 ujg"zroՒ.zr*r]ŔNE&T_;z9EP'd2A{ n=hv-~K{Bmv#?Ptz(]ebAG%kSW{Bц$G0R p}4a(:e½0%56;)KGH&ñQ9(p5CN! ⍪I1~%SFK{ʬs,#m>\Iݣ[nT&"x&t'TWp2,s^tdAeOM<*d uTt. |#Gݟ3 {E`XLp+,ƚL wuflJ 2e/Dz*;ᩐ0Q_E^byXl5Cδ͒BK3Ux08}A$H~U-ٳ%Ae~ad qONY;4Rd.vRzNFR)Șg-#1$&S\7.k~#=;;|3aWrmPmda]vj;wBx&?omI]$ud/:BeUۄ[ޠwd=tE+&N, PZ Y"3`ϘwM,@mgh?sa:0gBF}Na:i?u uлJ{,"b={ #m(^x9 ww*mҮX8mTlxU$asC9\JvmqKogG6ذp.K)4u{lQ=(T0*8kQHu8J6/i,?ب(YrO$fԓ0tv?]P1+M:5_ٌ Pr5B[_i>`Z&H;dw~oB6hw3ሥ؉m~&ϊN-V2$RuA&dTYJ[F/JK?#epEY0!F2Lb wb-*I) _wj=3j4T*_V r_^Lpɻ!kP}h׾ hϖWyYU'u{9+ՆK FBs+R=w&W&W0*RGYdοi*|Rc"z5@/JMo'J wyWApٝMPk ʖ,f|}kq顃=UюP}WzT({9CMaxXd$6*s׿˳v@&LZ`H g@mK=2 }rPu͈[MS9}yukRnE_1OKc / Affine_Arithmetic 00M/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ F/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML6y6-R g ȌGtI] W5&V1 i4'XDطLۑ$p{LA$#lϕ"@+u 3P3{ZB 9kU a.4y]A̶/i L9m͘c87*;"*ܟ^αfwYJSW̢ |nU2'R2G"QنPGefT"qEa7>XI N7"FX14R(2/ :c ɃFr-0 Jz YjRJfdݠ|"Bܒw0z^-85"։]uWq삜0~'qc7 I1>Z4IZWъ!vR^>%nČTD@)kIj 5Fh\;GD-.  pi15x_S|sF#R3T_1d.e6 XmRHAk1Qp,86@`{0~ ?~Gs ~vIj:}x@ }jSqlX|QE%?|~nyjއ){>z0jZwj9*y~at5knԶߙ|Q 5 YΔ]8pcOnƹe-4 JR}Gx]\/PQ 'RʭR0; {(ƯdQ|t X 8a5Y,b쓚Fk8KV`ȇX݊w%֥3Gi+cآlț대(F:qρ6;Z:uNKShad})kdF?Mքb>!Bvg:͢@HU4;_Tz;dMx@u4eĕ(؛-_@ߚӨ=8b>r4KcH(u(M?~WY(mS)Tf [4߆uXXSV bxl盲3?8Ox 5O<KE?# YS,1i cf?/oYj 37g:1,vIsi{Qn)Mq!ZN KgGUhf:ݪtoE>#fJFT2K48=td KrTU7eǃ|]ZZ̸HOq,b>gkKk}~8c ӒK,$"`UFإv^b`Q 'qK"м9QI4Ou.I' (t`&.K qˌ|^7y) : DI[o&ځBYISffv΄?Ჩ^SHCT/LZl{.ben*ib ^>$m>7_`zCzAn[ց$Q)y yKB#/4{+k^5zXfr+ӅCw@ϳzMa^¥B0hMRk.6jἷoJ傠4TţAeQ$}:ebjT*]rW-s' ib@_rr:򄙱xBmLɛϽ8̦;{r4ܢƽKo+}f(gUqtݪ7> \\-XնTkyQԹp=<"}J }F]ƞTޮ3$uq iQ=F؊NtD5@:AD,L3~c.Lu?ܯ^܈[׹L.tA>8_x<킦$e vfcȴ^;&1'M': ^aUb D_;8L"#RȤ8M7f뚕=S7hF>F0̑[mj0 $!ĺVZm8,tcYU^uv[: A'v>Z~QND](Eu+Y߅u'ҳF-O|)%~vU,u0c tkH5.+~:& @n-uc8)4Y`x=a+!L A_L:Ak.>7?~o':Y }ؖMwJ %T%TTR%qCWRl3BB߯Oɷp)נznJ˻Shr4I(3˒1^p,?^ϖJս-"SXt+Uu;ኾ,· U> dP-Wz^3W!1GHb򹄾EuXZ-6c-Avj-J113R#~7<™+ e ({P&FC[h^,Lb1SVt1&hs {l A K}-ðgDGҷiz ! 4Oa%NZ~|F9~`;ç뛨n nlհDx:uʱ.!~RVK%Ě? =7TkwmpboinD?D$U־[+ЮPC,8Z֠o'P{NLj@/4gR9vPf^Jx\Qsz9Ic jP3jkUQ1R* k>[0q:rgM\L Xuya3Nz-Kg-X_!m`XvMfGrrKkxempyTg~Z،`rI`Τ( 25~4l^0n!5⤖Zi)ܙq~%-`vK`2Ӿj)r“5}@s:$^V!f}MFXCj A/=vA\xqN3?$\}wV|0X٤{ϤK"Czr=#N9^k9[ rv ttB5MσջUYJkaw(dhm̰*$`|gV{ 2yWr6[aroX\sѫXE盓POmrd&*3 x%5t8׾w7f[%_Ö*7*`uӹ5rZyFu }-r JX8OYVR[nn>~xIwwEYMQ70 ._! p>Q0}u;a!凯q_;:{T*-up񹞇1Rb9h_E _ ya^}H7>Ńo@)tp:oO;!h"'=V =$:*znX}'Fup-5,$)dxfޱGJ\)r(dH ,rƜFs=ˊ;BD`,"UTd+?V}SSe'H}hm|9js qsH.!wډ}c`׭oH7h(|ԣd7GST=t zu|CXb\167ZB{Vv9җë%zr48n~S. |3C,Xah/W/U:2A&\R e8%1@?'0zP Z,cZ~AO3ک?^gbkLdÑWM(SM qɞjx~5hT,FfDvnql33{au4+Θ[ W< vPa)Ĵ1`*d½X3}5|ɑ]{}B oYpMH8?} |HԺg0foltJ`4Lp:ApC,e1u)裙.jE]I0$l{ڿjU @L/]2;g,!hщzXpŨA̶Y\tbijTH +k;;BgAu'ܗ|o؟yoOoGvY\Bnz%`8\Aה9Ti}csR*˧Mga4։*diBJRhΡ&fMa>VښtKI*Ef&]aU*i g`B_ŘUTFM} q[0IՏU|  a;gp ;HjGMn1[lpI0#NF;?QrN \_zfOVgoj&},C*Z6"7s7q쿬\>ldmfüJ;`f#f8^?]`SR\&ie\٧\zŵvƀn6C}`uZF~?1 T׌Q yGH2)D3Ƌ78'%Kl#2:FH > (nPB!UzE '9xːө2a}ӗ!K_v`6B3<|Bb~ty!x,1>V1I& 71NOJ~~VWe',97eߋ  .TgYZ7zXZִF! ac]ŗXi%I oմjkw/'r O2᏶8V@p#W_:Y#6ҵv"Ș #S.굟 -G! ٢;n4q7աs# 5 x,~C?/d}flUWzF193X#^`[QoO kx@H+5Takf$;è_qrY4k'Ҩp[;EL['jyX^e=u7T`,=%=[PȕOr0[Ó̹_ iZ;mh8I9?ZkKwk VeܭaKlÞy z%O`M۹>&0*yIU>DL Br)0u5i!bф{cµXWv:sYaGvu|h+;gߑ` =֒Eѷtp+X~tO.Z3xJ R7߰,buWjg&6ogoA5I+^j  Gl]2~?*#=*<ܞd^E؋a;YY(/ҩ&8Z?.ŲW|@z4*,"MlC hR=vЯmMh N~vy CѸqa*+kVj~ MGk]ƈJR`9A5n> P{HOouuDlh$e7<ᷚ HEn[cd-(Rs570yT-8b DćER=z`KW%Ga7mTա ߙpjaCM,ňMTH)!6̩d[Ү#^oHy^)kYQ/黥ܦ3:1oȅ~LVS&򼮼UzÛg;l̬p>j"3v%-7æ!mvD}IB@G C{)ղBCN4(8$&CO+k[%/w\HPDVͅ!2{bNrdFā2mNQuox1m'x~qΒ?BP(ad ~D Ѵ#; ڬ~LUb*f{8ldbХ^]cȦ5?pS?LOÝشzzV֟a f "()CGYXYg\"݅/ZӀԅr $FO ܿ#{J[܇6ˋbY>#(2A9=*1=WI_|H+jTT*gw2c(Oxs=1\u-BAr'5)l[カ |SAuspU+UYh*[8|QU*иz2ֶoiâKtʘ 0/R(u)|}ĠG{[J0/]v]'U?J3v6Gڨ`3{o%!DλwK|L@/a|3҅n} dX=TV3bPr+#L4Hoizd0fC_t}T|N"g=G1lyRLRS",wWD_J`F3 7lpE+Ry`^ĩ{ց0!kLfG|Igoj>;&V;zpvv S.7|n^Zx6t#ХTr2GP&gwjjBea!ҟ@PUn(Lb{HEw/;v SSGe&7Ԯ jo$YۻS3{sFu(Bkۆ$yF q0y)Yh QzU:-b̝fVxdƐc&S[pBZͽ]Tʁjm}.&D0Y)647jخ`p6>-G\1oNn%t~EIL=6_.}eVW] ~ Ĩ&dž[-).n&mw~ЦYj^D)n َz(9Zppyj/JK?ΕP^jbk^`[ 1*pOwC 83VXy&2U8hFU] x'1i^$?8o;>3Ũ^&wf쩀YW{#߀ y1D<#Ҝtrf|1d>%tfUS-C|f6jNqo{W>aaV"Rڂm(Nlܕ2mkH]6$Tˑ$5k jye+䚍76b9*+8:{ ]#KQ%6&JPz\GFNZzʌLQ*;vkl^c%"\GH۳/kt-@`wD^~Sghnnm!dedm+4' /И# >˖Ǔg ra+ʥ1Qk"|{f6~.O-M/ْ FLK).~4U§;mK#ega~$v` %b9pH3nFiv A0:2;UA4ZG+PD4OL<{;؅&d+o,p kYW=y _>-Ϳ5 1`aWs)."{䘊8+ NC3%,) }pHMh&}'xXqɵz};e|޴h"QJS0] {yL][lGMzWTh ap3TF)ŹcI*pL$Z?b3E  5 _ Z;0S ~R3rEpn>WC3bz  |RrGic8u"S1](~A}@j;p.oKg`MeErj?`@*t?Dy2L@: E X7(^$9CᱨL r$FF䭽&q/o0Hf3DK_4U-u:JqNa. pOiw;awaXqhWG(ޚO@q91i+˘A'{,}q: MpBbHOdSzWs#M+܁Y2\^,ħA~O''aAiw|Q]3УRTOUӓ)MuQiAAۓ\o+׫qigJQ 40idhDRKX1НmtcZ |'ETגۿM2<} v"3IC'DP ¹+O$j OM[-ރf]= X@4e5wN;8D=\+{|8xI)gN0uZN2tbyqLktj)fv%d_(cP"B?SDZB{Y $3A`Z ekT7),rbNY☸~,)6QFKM] r} GrehR޾ "nԱKWuڿdNAKO:EDg-H '6hȢZc6S:SBtxg3qE)6AMpnC!t&]a5Y^) ?f釫ҹ GF= DF8f=/xhv{4H/KFܼcm}CDKʞ#w87|9BP^A7vM %̄i#,έI×c׼)M&^EADo~: 8Y|OY'U|t5z` W~uaꦒfW105<m O*݀xJCݪq|- oXO"RܚN:-A:MYTI%$ r \`V{9^v"-E &WZ؁ٗP[S &*F_ŋw{IqUȲO*dçT:#ܜ鎹PwEŇ8k$E =diL'1:01.d()~bӀl OzxOj r\d^!# Iؖ`y8.kOJYrt^S4-ϫ ̧3RCn)?]Ue 1Z_o^[ ud,U =kkۅÿ#YCbu/"=`D0qlIljiWیLc\[uJ~gZ7*tJ CXykjW촙# \L>]ø#Ih&,f*U61UJM"wн[5%k*;IMJO`64 XSd!dXc8vԫۖ;ʷЛ/EHb,}1߿@q|aeuff.Uyf+*7|MvxR9S^_-YK\`4X01BhG^ky?=<=>zwtA$FFڝ@㼾7\/,Z%%_k7y s#w H2,QOdeZ%2u} ŋpfñ?x@H|;֠xLuXX3Á ,T,xpƖF> {E #hO%:ȢV3~C`rChq:BuRQw@zs" ,\j9Cr^ygVqV(c`P3#%A@%~3lo#\]V1LMkz<8@+ %{o|qkuOZQJ%U ().jtrk Spz>&Y I>h<3w6eܫSKb۪pH]aSU4n#v 7 سԾɖ Mpl #4^HѪF#{_|J/ |[5f5M;U`)g{l"mW))KZjqEϿw|J@x.k왴33vq⟭5_O~ܖm؅K]'NK^B8H~,t8?=le~ebz5=jFV|f; a, sI%ƨH\[o7nq($BW~?de#Tygow-݌gˍ1/ BHX+ mh.K00$ $&P o%…mw[WG1&e"sܻjpO'S8+&bB>N''cᛳyoR)!PNW wosK9MHZ5 5!kCqWE QN ܚ]b> ,ҐOIK:UM,k15kqh*~֊(w%4~H5tgLs:ٔ=jw?~6iMtɸqoHfI޿@꒫1 ^2l!7h%s'Z{5yHq9$8=a(uNU+Ii4dOƵP-&BdJH.4JU|pFE XE-DSotj90ޯGZ9ftxZT[ܙJ +XiW"`BEUE] + 1®@J϶c Xhr!YC]Jv'nZ P# .:|Vevk$MeHoeo AYp87wu%.6 e oZrhAT,k]dqк=e(Q3Ϫw;>K`WݬaQ)x_((xt s{XHQ$Qv+~`P cQ ݋*%|ʥ4%25"s=|&.NEf4Zi~5#S+lY2g0{Eߣ?"AB϶@q93`aYIIa^d_aH/`- mx8Զ}UT"'-hr:vSR&P^ZC.dYo9bH7BUpXփ].Eڠb*˒Ԧ{+mCyq0tbi6*cmkF\E=n]yxpK P 2jMd}kn|#K~KCU(y\H#KĦ6̛nҚv_гahN+b\n*$>gx>L_uۃQeE&dl.g:c;,mB}YSEze݁y>n[-ܿ1䭳 ݋`BCrQ2ԑXQ0fd])o~0%Y40޹ة$c-j%.5](Ric,J4m`~QpgY RMNmyQʊk *.{%&ek%R],UVbkD:UĺwfCGLGe Y 7U蠙?C<mZ}˰Jne+wkq~g_iJt͔oҢa,Yj[wѮt_h0 \T5?a/5ٖ3{2-y[-NwݕǠ~T_Θ[ nsv2}rGxO]Va$ ZEBkŢ_%i`4A)j/xTTUu aj<3P0(Fa.fB#PX\tP?c΂6#]FwG}ڞ|VD*W˔ػD[Q3ࢊYrxǢ#]EL#r,uǚ2C޷7o>͢\9Um$} JǏ,KMKpDcVxqefT-  'g ;DyV/6dR,t&aa.Rfds'yj]0CwH6ߦ3 _jnr<"4)$Jʻ8R7l]k6ɗjZdE*TF_ХGhCQFܡCfbݻ!hg]&RX[mWg`ʷ|:^zS&bv0HLoVLh`P:>yl:̬Ÿ5,EljPٛl!͟1h@7|OQBH^"_/(@EĚ+]ndT#-HV |RU3Y'=+iIPCNt81gG}xƓ}^^NOt"HIdfI !;N,Cg{3Ό:S 3T_t{1d֬^U5"J| <"YZ8O5UUkI l34|K2I#O8fuH+_{[)VuZ&a{;A#BZx<'Qeķ?/!ADm.tWɔ7#DL%9Cfi8o:YxN':BҾZ+ m]B@`(ο wqbuJx ExW39;y˳4)7G hv;-t5҃ZZ⹥s :M2ś!"KG`¹dv Ve89(#:z-:3`E$L5 bbP}a`TCwc0`;LLni\h 3ʮ lᄹMdž>lˮ͜KeH(ڲR$v`ۯQ~CV5].:VWy5ݞoΩ[xo`F(ęIfvݴ|Am|PS0& [XOaĤb4۪ 5mRQ&u_`} GR4BW(.GƳ?QӨ_w>dKNKi@o 槯ؚ[JPj)@-֜P&yHW$kvvgqu9.*.`zblԵ(.49MK竍Qadc X^zВStUTy= ⢅cxOORL<..=3ЬN3z g)unWA-)Tb_4;X5Kx7! Hc[X"!$6rn(}am},/Vtt;} / ysmmP=i[zK&cqs-wI]ɤ9vƠj~,>>jf.%/`%ާK[_4T;A)VyL[aZFSTkn-XFzV=&C|E< ސ=B)>8ԧ+U^3/|re BA}3ʂ2Aֹ%r0M!<%Yx}q3\0 r| :̖i:ć׈?8Ft~~i,vs#6Cn5Hxþncg4khr*x'ec^HWȭaV^Fd&zFvsDzAPV$sq97-L'"@$YB1QA>$* dŴf O}E f>=* |^µa+i4S\wm$?ì)L-Kq/;]'Gu5ZX$0h*j:cu\]X/Yg!`hKN_x`ѝiHSSMCE5鎕Թ[^(\ݑ;u-ʪ%|`&4>h}ۺI)U[}O#Gmd%6p>#Ҟi),C]3vE5kfHېtt&!‰pP2cwi4 UP,æ"HNY%>;LY ?xԭ|~LKa!SבrRTKr3*ecCiD<ȘW/q(DMp 9,]ܥ4[ c@ۭ9Ud@Ιh-$5Pxbvjܩ2x(çlQɚ< b |Li Y rBXnKR>Ԡ-Fy^閛j H1`"_n0b] S=5L8* ϮZeՑX 5 C^Qt%&xY\a p]`\⃁Ӹ^*q˒[̲j )]q"AI[j,\Qeʹ kL#|hted@C-["5ƿUWY׍g+^w O%qnOǃS~1ΩnssXv j+~#F_b<))> khh:㖱ཌbCtYŒ$ObB+'T07U0N0455;;-#Xd+!zm` T"CAa!;㒓:;%iċga y,D,! r N''}˭]Rk2AV0ұ rgWm0+1**EC}C_ҳA(\Í2?C{5}:0/a=&= By@wgIQo_Z]k0$+u&U^jA JK_yX?@8Z}JPM86х}2)APS2VLH0WHq3'>Z='%=i KLʬz5#k1ܻtBgdpV)׈SC?h$?7cm^էxʎU=YFj1$>ELYf^ʽ/;PVy7" H[֨+1-N]H#t+Щu.h?y(1[>,l ,X$QJ)Jv6U-gGY?"LD Fb4t!y>1`#ڶUlbCq |NBqOPbIMuE!Zv*hLpj>ְYߟB)5u/ NY;6BVd=/ ?0:qֿ׫ҩf$pD:BۻBUkp$ğ2 t &72ϭ G泔H έr-읖ɤ } $?ڂ|FͰvdW6AuhL#, mmU$p(5\ >oN_}[uM}=aBBgbXދgW%M3xG`BQPF'o{T3|UcF濱 7yԟU=u(.[!m[y}r O$ ۘ tÕ{e8F8:jd/ : %Aݍ:j E~4|O0O5(~qU9$בBԠ_38~w)ET'} ~xnGtЇ:`%cU 7e~\o?+lZwmRKN, c6%Yʽ!,Y?PS*jsE5໅ju~t #&>8>~mԑwY96d0N:=YzLMN.=1OCW^\;ƍVpֶv|y2|fE!,Aܼe/;7E?o|MĻaMR8ig;7#--7H:  S/4S kKV&v;#NAK#B-NAUzP|f FLJFcF͋J.j`GnoUIГqHyY=j}ŵGLLU92KKU砳(E7%64[q|Ir y\VBF]4nFD($P籣LnmAeݒ*߂uDAGI(uop -_}FASdY{ (k|$[ 6 mSWל%|[t(6GvdeYw7NiVy|SЬLYKQcS,ZΡ Hr柠 .XL+i嗾7S6q_Z!;LdQQ~6󽄥P傥CO5 w-@5$qHp0T*5~W1F&ک x#$T+z5!d֣&_O3tyT-.ј5#iT+kfp|E.S=\9v"0-3A. GnوW|$CLC!p]GT%n ЫqknR1&%j@#gb^|.ף8ЖPO;)TV%`1rdIF?oE{̏'dO~$mNoдJiX_qhz L0٩H"Yxȓ/M>m_Кho*4 {#D\WxfDګ%߬MqTJV7#O3Ic3BૉŢ){Y:Ly*$ܛo˒xe4Eԧ>Jv= ZU<,1tӯǽM|S͘ŠƘ`^"w $dۆǝaӔL^cpbt-t6kjQE-bzu͜QJ#8niT{BIR#0& ݴ#A eS孋KXy=łtҧ!}k,V'B@:Qdp!FJK:@~%aIPڊ,|(`j5z6\Pl1zk2,R )q*,(!?Ih@#)p ,ss*NfƬuCv-$_L!Nt9LHS]?!̳sP93V_+ l^'H/t:zo2TCBhaŠ +xk xyv?"jhG=~ tmIKu91X8,^I',/a 8U tIs &)>TA5Б Lׇ5"FGENūxB;,5` h_\FU+5j󇴰Q$u7WXG?@d2NAd1jW̝?G.UPo nk)t;J\[gX9Ъh>3W^Ol+c5qXmYf~lRʡF ]$4{+zZB?m8Ʀ4&Y8/9^/i߯JVS! h.C=2RN#=#@_p'cDph~TE\>nZw3;?u3FV12%xh=>{ADh#K>MFђn2?6ø̀!^j9UՏcn4o_%z&7Ʉ5鿈Y-jqrkZwfp0DtEe|Mz&ӢT|-2b;6κnsѲt&[Wj6cXӺ*8"Qb̙@L ְ=dўVg*(%Zr{PջսWS՗&Lb@:5PM+m࿁@%il楕L\a/%8%~}P^C'%[a7Mh12Z?TvLU'7`>f $+Jܖ"3{%!ZS+| DqOzIȣa[w*dA XNr:ת)C- fmy koǸWh4/Ht\27\ފCgP c-Af ei_~|ɔjٌQ$p(܂_#_ѧ3xaq I;!hMW~^[%7J5h{D@-fFF; "blRڪ (/V^FKg[ wcT6vkF \2qЖ%&?ʽ`|ohi!g;@r8u@OZ"6;#^S8's8!Astі?K aD@4M W@ݣ9.Ϥp 7LC#f[B f[bWaC\Z0[R8 {&C e[=Pv8e6pҼ&1p&`* aV>Q]];wO蓘,a9u‘f{n[m+L2Ew~9Nw8AΒ~\k6[~v+mW爥GoWK-莎&i.- 㑞JC/H']oKqX.FP*fg{AyESWA[b35|yi{(m_7R}P7)k :+9Zѥ#aIOXBwNyLY:&{Չbf3w=1 uGӟ ¿*$|u^Pp5B$nF6 &-3G2{-Eeק>ٵ< T;یҒA]y:) wZW0Hln]CYeUmv1xRWo|H 40` v-.F=ɁH t`2& ؔ.0{Б~:40ŝ/4Hkq5L3;č5̔p3pdČOs#CpX",er1J$boPP E̡mBV9psj֡+.vdDyڰ,/:)M*CyZ+]|˩,N'I;gu:HNQo^I0BćSbNR:yaθiI\`T/4R^jXdʛ "}T0@1)9qaޏwc}/׃\ڠÝ]4yz ux#CJ-3SҤ cZZj#mw|cƮt}zܰjk e#{\\Ü GF;kM7C˚aKDO%ӷx6e!Ǵ[F TbjC8".|Y}Doȇ5 W J^0U?GT߀U[U.@ A͆&',F.uF0@EFRE@^'uR:8t[g`z\ 2bސg[6?A67_r$J)!۷2pbEbciylm̬Se2zA`n)7;?طI$6{EbEzo`2^GX^^;sq|UK;Nݩ'o{^w%^>vI "{t?şɖW;y}_k2wX[+d3PQE-6!KX N]KM-4[k kӠTuz"F4e ܇ !A AX%JgQ{̯B8~ax EѾi{rai[d x 'sDEAȋ>p˅Ifh>hf6lGO80/n8bqAe^ʹCB J?QLc.%<ȇP?v2Fm{\tv]lQ. 9Ǒ?{{T3 I6VXQVѨ3{ 7YDD@ĬN;xF3]fg-ժWuIh({v+q']੘b#*XY \}ZVj+ՉZ-(k3xY29xVPV'lt( Uq:,FJ[$ѹq>axĊڃ8- k %r e[VE $cU(a;=QdrjV|mӔI~}7In_Rv ?6aq)@eZ`Af.õB諕p0@ \??=([V?:倊@r֯8#Ѩ:LzHq*'˭85b1'ۗM8F')˪P+^h%%uliε6YʞV;akGTwY<ͥqV> IeO;ˊRu\p ΤA5RFĽR1DQT#c}_  M} qZi3n1-M:O]^: WmQž`HQ Zai?Jkz穧+(..V ?mGu$zw$AdQmhhUZF;HykH,v&Wr<)ƪL@i )<ş;̖T^it+3v)w%+Mq5^!Q)Ȼ\wE&=xAs'@>13B;#|-kl=T&q {tTWG~(/2M%6cZ˵lSn#DK!7A wR a W:(EWg`Pۚ -g15c䟯piuQ(TR .׮[.[Z&-Հ+G[ li2xrnK?*DO U_(,,J Oȏ Z5X' WuON70b_ _$-;buҐ>K3ȧ vR  lvs%vuQG @N h#qՕA#Z_h嫤 GZ}! M/7@_^ֺh@ƿ FL-ԯKB7O귟ɗ.sXHbg-xʡ|: s 9h );_J/W>8Kw: 5RHHj9׫,y(t2q@ԑ"M|d@;_:d}`,7Y_yN`nAJP6 ̾hܒ5u/4ͩƍuxfWL.Ob3cki.¬m[|""eF}. sTօŕE^z@dWDc;עn(Rcٱ d~U,:E҉X2 %D2#82 {NHAo=QXhQ\ n]F b$m0>57 [Ԗfܴa0pGE%Vp.)rq~ExWǎ'0Ki q Ǡ ;s*:!@T鈌:y&.MA@ ]9p 9*lYSaZ,niӺhҸERگ;Nӵ*M--re4jRjGáazzw?VR21|4H R!sTXk58lg^ a]rֹ/~_>ٯtyIehk@pW. (Cp3ͣH)pi}PT-,}5JGmMov6^=Pb2/V| ,oճ=.`p+#0ȿb,Mq#A !һm,pu{M<%[FDP֢9fLuՃ!1ɷ¡)4NFsɀc ŋh]]$u )8({ UȌJPk&6(S,xB֬{ILW/2|Z8W қl&HB+ 805>Y?ZqtsPR E7ѧy!"T49-@TW,(-UІJ BF MN.bmI]nqh'CGI= 3Daj*_[+{LzrK u6kSX R')݉kMA3foHdoҗx Xm< E6@b|GޫHen)gYZ155ec13b8d369a99b685f3553c788812d7d1661a5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d32bdd5f07ad859d44490c4f1f681c34760ca706da8