SQLite format 3@  .0:  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 /4< ]]Affine_Arithmetic:threads=4elapsed=307.235cpu=1061.220gc=42.996factor=3.457zXZִF! ]]ŗXf[&CiDu;\#\)E9-Ch{[n&)='ɜ,13l+@fs"I2됨Y~n #qG@95c"nLvq4s,aPNaBLs-PsU,ʣ^Yz]W M):xfG(wPwcj*-sF*F?߰޸⵳2^Sȅ"&C,l "G[0Z:*S4NuqٿlnXT|)MawO4fx: xE yry^5M08 !!u+Ҟ-AHvVy xt5w{2Tg9 v=Ҵ΂kf'J4Zo UA&B,5?' j4gTV_AJުiFY-_h5%awzj9E7`RnwxTX!b!ǎdgxnz8c;y%NAu2q"m]BȜD%>1X7"5ոrpȊ]#]VVa{&:,jH5B1g -,#Yt|i +zLHk>֙讳0 +`LQ]2f-0ɣ\wZ>&hUL':$H|iϪWU#j:6k>E$Yҗ}TToRS⭳F@/)'|m%&wPy !YMb Px.X## =g?ؑ9-Ճ<* 9> $]tx~to ƒgK:myf3Vs^KDE{vj|2K; 'oR-yߓtr,fML>Ż fL[,upD|RWN\~N5] M= \XCu mv.@^^x B; ʽ 뀾5 `W1(]>_[ %J>g-&mM_M+ddKp4 z!ɨ [Ԑ~hԒҷ4mryٷ5=7IhK>Pc2;Qo_c1l\*՝L{:}#qX<۾=OGϜĤ4;>\L }w(4 =Ү?ڣJ$ׂ^^$IM;1==1iGCԬax^pýl]l#`#coVdEpqpie[~Rp+ @-ZG | ˑ$u;D@^I"?}j2Bl-։d..6t"=]׵u*-1̭ŲR7Q5qYҬk1󩇣f|jQ\g!=JiQQ4oE͌UW뚄+ĆX0Y:to[Qnf /xnV_g%M ;,6sDmcvOb-oM*nr#[?hBҬrlYvo =!j'P׾a;{ 'n>6ɰѩErqW4*\@WQ$b>l `ZCx PTqpD$qM;Z<I^b9 zv 0IbZK |˩^ة.m =KgAXP2v>J_j,J"1-+p20iOyp7L;oCזTBb_Mi{; 2L#+L闕*w3󥁚W5.\lIteQTUe?4yF&S%g>U-^HV0C@OymC "J"!3>E 4H-`%Ͱ .Ev&p8K;|;:"!Ѧ@W4Jfw`.2k4@ź ^~23mpF bUt XSEY.kwN Oxܺ"Tje 8#BakBj1$?G_ 9"a)*ȴ Amh=!^C{^( j& 3%פR0Dy / 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.ML#D<$lC3>%ևL721vn^ Hx*SaK9s+Pў?AO=FX ҮjO%I`I3)4$CެJ5^Wvoi!gWU N>+I{5ߤ֋X cZ(ЬU8jԍG"F579$r]Qq$q2xTmX3ArܩQ&i 'vDWΪoXvbּL #ݴDa>ԣ)M3\?rhayw% uë\7n܂gD2m!.etޯevt.;֒\>1qka>5X9cVɭ~[d:8^yyभ67(9o|?C,MVelBo%TB)U|Ӯ|'iv dS/JHBŃ)ZHJ c_NG67#QT(:XWq8G2Ȍ_ @Y#rɡ= ApRok/Pkg_j *Uh%\kw[zI†\_ T;},tg_q!NambXWA- J2!ǜ5F2x6pY7ŋicf{ U: xXf7c`ǮO<bI&IE-$_}: `K*L]l[;%ݫ7е pj8jدؒqĢWQ? 2㸭u1;WK.NN{/7쪯+r@.G> UN–?Tk/1ަd{w|sOnzNX|^% =&W]fQdva)UUzgU T? tkE{ 唯˿#`3=4snUbt5+f~ 'Ov##cE$P6K 84=TNb2ahX r_&T)(Kz<|<y3N0{,fȡmx[u-wc E.B%#ˠl7Z\\HF)rCD"h -)*l8:>M cY)`Mn LuoY R8_Wߥ@Ybv^1BГ,̀`ax:{/s=K=)NMPڹI䧥˨_)a8dxȌ|,H6n2"G/k98 cy'wC>VqPJ CP"3_FȂmtXcq )srqomuU9q0b%蟗nT`WI\p(Q k@ڮ=`ۉr$yP ;#g_fdfL-R8YFv \ 7 w2YmnƓJmEF1JY /fǗ__[M ˎ/ ?1κa51Q|J$U@mЕH"(=krc +{19 e]u>+.[qQĵ~M^IysI f`P6o wwRah $tm醚mрcj8381b.uXX_df{M̢0F<&](^H4REi @r\r5p#‹ڛL+l7<KF,W[S:7`$$| { cf&3rKQU [tSdq/F"nY3r$L$RvnÝO 2Jo9w%p8*@TycY|ri|*J)P^QaIœ>ZVG,3yP+E?l_aP`!׍$H 72KA6&R0AOnHnxJ~ǭ`K"^RL[v@9\}Qu;N J1ɋI߃ك᫐9mnq>h;6Gޥ͝Feys,%0mb؏{&YRTeIa5&_V:72p`&;hhjg;P8dY.{*d2`0_z疹n3~Vr=( lHwE»_'fi2?rcdS5Jp{:n7v KcmQX:?5:BN )O\ 4PiA t3H8DΡe ŝtSfme(7b/i%VCaZNm$w2)" = S0O+mǂi3B6Pa Ql[Sj؟<@Qj0CcC[L[%tDY %N̙l] @ q]0q1];vK%QL)l/eY2gZ_lٶJ䧴DP4KC^6ߵGK,Pl+=ʡLw^N*!e: Gl&[4xA8aݤðw([F HL4C# p*⬑ ϱEcf[kgwo4Ǵ KCL,6Zo*]nvX2`, R3J53(F.9+a*\G_p]>oշGdrNnz]fYYs 0&L?\)0 ,5G+,I,)3$)Ylyu~NERcĒ+:}i荰K0k\ ߸}dRGJ{#$Aͷ8^_SEYJdH|_5Fұ)K^Lu6ФVҟe<ƞbGNԊ4~,Kcn嘅ʬٞ~oK3t]N(,Fge!]Y8 _N!"OIݍedgO`J*;T䒨zB$ >ÎoA`og"JY̪tnޡ\:xT Oרo`u?M[$yMQEFZ1k #1d-E>g046#8(@#)g`ԇy,'ZO.WO)@7W9o+ Nasn2"z5*,+ZHl/O|_-d 2J/O2OqT:ћYћdsߗzIB99ऴUf+ @. imwᣦpW.5̕>:q5 jbd5\N`1͍C{8EOЛ~#+šVkHڂGeQͣIc={)3u:|.#Fvs7vt3(}CSY(G$`59FqV~-ي0wj!]K l/C*h+s1 bXLt^Gjn]z2#˅QҚ7{{C+&ƌ)-q]EMzz'Jp0wך.m {-:c5ZkғR{)}jKk(mKT0'5 ; 66A ca}UhTp0.r_azēr)_eHd)UgE7kKeCHf֛2d#__?w43T[ߡ )^Zv PU JkT(>Kު߰^>HVFTˏ"'ok>'6GÌHv~KD?VQckMЊ2SOaͯM{ť1ciVͪL@.u$v/8&p1 ze i-0R8݇ ~⊇z/ dҾ3stv3$% IYl?0&u^v%H1I3"z [O>zU#cI*#_eQ!*=kFط6ogU Y9YSFdhM75;=[(&?|zY3i.mR`r1\o;c&bAQ].58GvW:@OCi K]oȒIT+L|D6/odn귃)OjK%C^#,J߽m0vW6?ʻE :XgYZ7zXZִF! W]ŗXiɟ|E\Ât+.*aphG)%uGŽA舼l!Uf:UqlJwƘ?'V̝>Q;z! +E(Zu;J4Gێ08)˭뤫@JȤ __Aki+OcfDM9Ϟ(s(y:]`F~rŬ~\ݓg6qU"^E $ J{ju=24/oWD67B XT">}YNV]c*cZk5:W:# yqCb Us)絙 ycy.#/B{'c^K'ai7<􏠮UgJ,t,(iSSXas $"Z+wlXj:À ƶ 0NlotI D^H f]Û#Nhv.%nǐ@²aU4~pې]UySեLz Uضrfm} h}i.kNxpޭqfÔ+2Υ`jiƪ;c #jtaEfò!ԒXTldw0ur3蛗Ф/`|Wsl-X hj?z}@y2| dqu϶$ZDܕ71UL-ՙHM9U2gi{+cLJi+d3n-jx&a"4M`2O/l qIF;h˿ݩWׄ5=z v? IqLH2wsymil\1Q|k3 F2PR~gXz:c"] ZJG?߭n=ӈۤf*_=o65e;B-P0ay׷k֑;$]nSL[c)!;\in\X`+̒U?: nm/}ZNB9$4I2=T[ca+Pu)R"8nDmHI0b fb/iն3P<-60L?&3I6-Qfo~h\˨LeQdҤAe:m'8E_CHm9Qp8kݏ-j0 )s^#ҭpNcܸI+tj-ǰ(r2^VQ8rd4乇c{Qj>㒹-^ٕk•"])nC~-) -&gYZ7zXZִF! ڈd]ŗXi%B(kQBw윎^3viVC߮&*#qCn+I%JL#y^YF݋o*Ina]$ hAo.*Dީ_ ԛ:fZ\0tF4G[8Ҭ23Eo]]*&Y CpRecXPm6^HW׏`H8eT>i=mWx5[۠#o-UhhRhv8앍Ugj NpA(U`8t]M'xGeo-"+# Uw7;15]6{3IxƊ# ܑB֮U*Sn&g/_j E#6<I"~AO<6 ھGh'm?zbWuyvv{iT# p c9ԣ w%Rp.{Ik9-H.o5Y4{/f&ɠ*''w(\:ʰbgJUͱR :sL~Ee|gXLz){\ϿI^nؾQcS璏B Kq?Pm1$MGFZ9Ff8sR3f0g`zjy <]b9JFpep:VH' !d CQb/VA-edc$SUUBr*ǦITh:|s\V-Xh;u* I$c17}c A`\AGv!D!>`tߔy)z4mWwzo^6wR7%0n͈}o +ʽ<Ф'gSk;fc@cYVT[u4C`m4b4.-sw?DSt"Y|xEނ:$WxqՁѵ_nIvӀoOuHB*ES?h_Q,I%e!5zUd]Z#M(j"H&p)bsԘ}ie2& #Y!XWz# ׊T5?^8KKPi?x"QGy`-0N5Wr?hG$WMWxB`NCRuМkCt@ ;Lo2j`Yc(l֧JM< JX@lG7(} ^}H|9îQ/f+^eH}^ =;ʮ4n*W?1^cv:ɝN[;je)?a`:k${cdMk!D܀aKAMr+خȣU$;] &;M*!z'hs!^WRC#pxsOU#ˀys?YpfCs t j68^ԙ U]$}1OPPM{ \g`guʓ5"M]!(xKru GOBM qS ͝(C{O .k H66 ̏jD.:Ca`gP87xf0M}!x@"`5 4*7aK*K+/atCjNNٛ-t%}r3vzt x}t+ݍ;iݕ#7M oRz]R SIAL6`p̈́n%xʞ)gF{3䷄9  #GExGWhfey|#u~Esh+V>)[?\M֧݆~= ڋD< ު{_-džX׼c[*NʼnOAE>$|rjԔl}˧:*qpJ`/Mo@S%%IJsZ/)!ό}N?dBqELBK,?XoDޤގنAn@)dU-v s{Lm{fb6]/#GdToGj  ׇ(Ⲙpp STB?v<ěXU^B̂iLjTSe^($}RG]H{s= o `.j ^"X%5ddSH6MY$!զ*LBR=zviu=F~CjtMCR8+ND4jjTѕv?+%S !i5 ũwU|spEx^hϙ{D^K&hkۈdӲ7b 4;A/_s2|oGB5v<ꪌ= O:F#oM:<R~](j7|L2k-Sy@}gi2ZeLl"=;_u;jm7wӚvjL^eɮ>_VoU3KٚQ ~9k!&KB#"trRqϵ&ɗ4Za9XC@u lݕGI!4Y['ik˶C. "S_z@EV?vTL&Irĕc1t3ǵ p/"cMt+4SmFr5ݬ/'4(kv0jNB(V 86w,RēA. {]mqgpbr8&JՅJ=C c?6xHXacTPG'q˟L\yO)7ؚLոN9Ysn6C+Af15В!łK)8S\0&$=SWSF׋Q$/ҧA=! F표7eQO ;k.f')Nxi7E+ŜUƈe%w fL\¢ߜƨ_݁>a 7_ŏLj$шKWâN7{X'⇴srER}Eh]UN=k҃E `9r} |iɗ=b2F _SNj=Ag;ti &5Ωb~]fc֩$1Eب9'}y)0}SzuXF*kIϧzڤ0n.<8':w3-Ϟ.߭]e[^u8 !0y>1­0IIʏ,d"SHWBf _&Ej/!';!lUMtEQ[iK./jް؂Gve!ٸ̿~%ӖV '8 ]lWӿavvURl+AqqV]s2{2ͅ MY cwmϯUK{ x.t,3K NvlRW0Pt"_;"KiD%eJ~i gt_N/Iqv>c 8SLJ ,dJar㧡¦mQ2l gs_OxWvݷN1יPM.ӷsSe3;ӝ^F"7kAQ_^A r23! Yx )!jFL`b/-f١`(Q+e|JJ8T8UY?gT"UIWQ &섄ge@ EH`/?>Cd;eW#A"B/*{Lx4~Cegp&#ixAx1&q~/FSѼlq>hCx>׺'udb1 ;Nâ-'PEK~/a~gP [[@9^BΠ,vGc`Аdžm=n[Ycxm@[ TlV#4]bbbWO:aA̎%9 g$>d5h﯈mtKQqs/z⸩x_D K ©ڎ5ů%`ƈJk3|/ õg=}8Lbko$M ^Rğ:# sY27<&}u9/ 'x&Oh>Y>]'=VO;>=i:tls{5āSf7Pk^M.yܜ6˽VDK+o!MߪܯԳ&$4^!7 Ȝ/0Q=A,-YvC j&Bm!>غ̹l` Nl"WGVZPtH0:;Ijٟ>8?v# Q(:,t`p=ŸEz5idUItlId^J̚uPlt&ᅭJCC.rM.CY){G?;>JP|R h$2q H%/msP9WH`Kp.YVZ]>dwFBP ?=Eq4rf*n>2%GR^t:Zd`|VKxutMΊy,i%zcuP5$#P}Miº@?YA/)bm~Ҏprd' |[khO?6B}r2,j:@QMf7mZϠ_d|4԰!Tֺ1kBJE!{Ď."5O`[ux%j&q -dꏡʼns!=l73G;R p[`8>|$3 - ud8 FOpF2H$.,v`"I&\=2l*8[`u ݯ8iY:S)؛p؃pS%[KhЛ{vjlv2 0LH.W{CmxKBKY0O~CKہ@xXGz#G)c0L+]K Z^kD.5F4?GוL6}ȑĭ%th"o>3l:@npItǂ6vr3bQim΂~7zxyиhpXP$7hyMSvaHQmr#8$dfBtlChjNp6*K&#</g/'włH;dheY 7 !@G^ڎLŜĄ=g!Fi}8P$8g%_uKFgK{,U3`~ݲ'W 5&G,d|<:5L(L/z"5x\LV(D_zC]揸cTU9s[=O`PoKY#}fyW#H:C\hFDMiSK)hIjˉ ]EkL;fOl{X|w\zݕ 6`Fmts#{o..1_K}IZg]tXcxoz+v`SYWٶD ^km(ekGD-E$DV"^}@^2#m'T]ravMQ5@3tq1Dv2C i9G ofeiX@̌uieӖ:F5D9AdA\|"PӐH[)1|B*n=Ŀ'D?ڬ8(kzT*'Jld%Fŀ'2L%BW b:1""qYb@ap}G o$a G_X'dlse3 ["{}eXu;ܣ^Q5/^@$,Fe Υ%Ԟ]D?vI>KlĽTJkcY ĽzLmAN~3xɑg Hr3g bBIz 4:x hW.ZWee0T4ב"F; !l ᝪ0M6{DQ<ϩN -]y;?y]Hv(ZPD}7,K[Ƣt|rvU?ȭ{ #ܘ/F"@ nmWLw26cs)Z;b&j9`Eܭpw?U֏4̹{:v${55)${@UZID|op?C;a7OD'(v*tӸ.ky zGE7+2 x-]8#*cqƑpݛIwx6=L?/COR:8ٮ bru#vf6V6߉"VQ / ǜl{uN!9-c^yIŜJKjqZ`O=77!m xLU |%vF "2ANH ,"@WZo)9=:Qo{&cƃ EV#"(Q|yidE5(M;_xd@N!5ӭp-J@A>'*.b0$lm!"n +.pbSOZWMVL Ó&~8Fֺk+RԔ(> r} =Y3Nv]$ 5` '=CJ>" Qf?'Nzqy"4 6*'uOtMixp3øNRk 9c=@͇뉀B~-nc7 ߿.fy1:6ȃ[c:ލxPjr%sAMu -{Uu>r[DLmzBPٖ~Z}yD;&݌H*#wr<- rdoAx7t|}uW7~+7P y9eI[v߫MD(j%^P W|gBܹ=6ͧ֗d8 pƀ /YXK}/Hrp}]҈ tƹ4H 0)fǟi\q"p"u$6Eq1D(mkrC~vKSI\w옠_Ø35;q*x_=쮯9Z~-fxp*!ЍA[W$}̅78@Ad}eu d2@Kɬ1}(Ou8}z杔7TM3J\К"{kc)BC=wtD?!8DphS0sB@ms>!vX{k``a lNCS8 \RCaI7RcDl>dv \hV\iLx6jz*Va>irr,n[";iyI"tc2BuWt&EuL\&EC_s6>Xw.*6!)^= Auk/~DئّزK\qu$[*iA>">,z*LFZ#QI9,4HJJ׫ ʷ٬AvM~)I|Z4t뀟݂3BW1Ey@GqljlrvϪCz )ͻ!cDY_`?+J\̸aa}ŝٍTݛvG6e/,M~#,h+&`&?)%#lѨ8W]*k: ׺KJ M_jj&[} q;te}!<mR_Q1H$ 2o) y(oJ&~WΦhXRP|?--4ކq11(emk_Dy9$5:0)2[a(+7QT;ֈ8[Bλ(@#g89>še VoGoW)Cty/W} w(jB_\ӿTH/Jc9:RT| R#\v8WUŐܷL=;;+`B_ 3Spxsx Ɛ2If놴{M@I6DDAe:$Ho!GU(J)JIӟGЫIddk>y0M5^|F iֹa37r~VO*ɩ:_PY @%o/JEIW"/Zn42'&gNOýTSdT|FQd}Y&UFK1I}kԗ9)g XIHCz`ĉ_O7k;9<\gPc@l|^_ QỖO$g/{EAX-Ju.0R=9J42F٬Bɧg}8]m.=q~="79`h~MS1~?q;0zG;AJI?$ѢĬkIC]r2#Ig9|~iffy]H:G%QB)xu#eEsp^앐 ,bio{@#d_??^Q ?(ə\e{GGL &3fTM`5)֝I+!r(cۖ%,%x|k& )bCvcK?'նwDmΊɰѶԨaC7SDT)}qj 7*"sd Br@I!+8@Վ _pE JSg*3G#g䨝<!ˍ^g8Lolb`ā=Af6[Z[ctղGL q}q`эUxpfJvT,ʚ'] Rw KbhIf1]=g`Tx1]?=5q6 ߟiG47 0j޼MJm?71ER sg }g31ALCÃU8rbNڐa/*eZdMzz-pD4:ౢ;Jw$KeQ=ѥ[v G׳XOaԼ:_t䚎XUt=4vVԟzgB&{ 4B[}g ҿݷllSpd$T|P1''L[= 6" lAX{ rews (7uoD&Ġ~r^Ǩhp4瓐UMSB?cJ ʟzWDX7糗E<>YL22^]OeӿmAl^lWڤS Z*p|-D~ $G 4y۝F*bSQt8 /UiV}w/]ʕNȕJ>NN½,k{'p~ć)Csߖx.ņRDD'#Y YA- Hh2Y\-[nyTۑƆkS6J6Rh+-8a|ٮ+܄+$Bg!a/z&`%[YZs@_?eJZv쾢 83 ?4Hvt8@am٭vu-=ThJ`h}|R f=66I"2j.~_zh-^Zz 4'jA7blw^j+RBL45j1Gof:|^N /ttL"?!g:ӟ0<\_l3+Q:E+#<8~V3:+ɓJ2 sigؐ༛j` LP&vV)ŭ䂍'gep&)z#8ś7dS"!EK@1 'yQ?_CFld(taBgK6~'a'I>",̀G7VEwuV wzK7.EqA׹|d,^է33gtZtrP縡u։s>)3e+tM$fJo!Ipk\R-WZv~Ji%^_yuZ}!OHKߵ, Pm| DyՑ5 * "VxBw= c[ \Ve%&uLy 2qrђp~¢qB2JG( vj\fD愐mS~0 c(;,z8PǸE_Lq_ջY_oԯ _ba*XA^?JCMn^V.l-^uE"||PcK>(7gcI[ @^C[֛*T&H'xL3D3f FNp ~@e@ kO8g%S,ͪbjlDB.Uzq1BΌ>ؒJ2( %1|'8PQ 91 2l${ơ/%PgA&n(N鎝Y [n~pX˂ }|`'^2D֞1N[ *f:+/jԖĞd]8lOg/N|>6ۛ9,Fho5t$i5%}H.Cn9fք1[m5"a IxU\l WδKKA&OG/ !zQF5mDW,_zk3A\RoۺSsK|akw~[uQ0Oj!=>ߛW_cgzFؤP.Ӛc0 U6d=N}g0vݑr6[^"gAFJq׆^#%cWv9dŬ{ q >gPbൢH6دD??,`J),S^tU%Apl+hS0RY|PT/) VqǛ7gκ/uf^u_j3/⪁pz^6hEٷ2]VT$rHԶy'~a RIAa9-Pdj4^18xze |0 Le\(Z:vI&܁FQ\ KxODާ04/G)xv]飋򔱁8)YؠXnn)/NvddSz\$va*}]+8P$J\nZ>-\{fpѧO=]gpfDӂ.ORIY?%,B,m9W1r}cąۓ6˪_K+ JA8z('Dh-JBoN Ӂ_ݝiٺL(e'zBRXw 5`8uWkCuS AƘ;Ǡ|ǫ13 `~b${ˠ|iucp)V'gBN8Mu4Tdϑ2{Q>/|p"iq\ '5[z|)K<^m2+0v[Z|$ז0 %5zXB3]ӕKgö|}GSTqɄy@}tmxh'K^yk -s4@h~²-]8oI>\ 6 [Ap'D7KWqw6&wI[`\8MB \9w~}%^-.">B 0y@Fhğϖh8aH2Z>N_NAF-. SE9JvM Ql[K\R2E\XÔN͓a~ 5ݢ;DRHŦ7ڿ9t38/Ve*"Zsi\@㽨TYWlxFHc$1 8ŭ| gv}MOfir/@HY\I fވ& S_혤ZLlpGmM/*W04\dRF{ Hg\٘+dz>}\Ga`O̯Ìx\Vjg\qLsH=Ww]4+Gǟ bjdUp.S]af2O7C^=r(WU}k񤽝k-8bSǻՊr̴1P&9~EXd[tf)HB NN_<3gz=LEvnp-xە.;xۊ ^kf}(c#Gz7Ն(vˈSjs?fUWw%8.:Hs]h,hr2-CүŬ `SiXܶ+/l l)9 &7#؎l";a.s=I zm_~#}VS 8r)jd &㣑 +)+z)`w!>%M+I-ǼKuz)k283ՔBeXP9:\~B'P/&,[-C]v0e STzbNzTJZVc" 䋖Cг/܁ e[SSd݁ R]*u\ѿWש(Kdꓻ')%ز!hyj#Qqȕ9dFdbs _Fzjg&`^*j(osՃV |A[ܺ!h(c{Y*XRv$*T.Kgg(Am߫xCUg2`Co#|tWQ>݄S5ZkwGMņX8eV;7rמ[aӮ,cx3NFhp:TzQC M^]1-\:4n~s_'nR{p<^)Ǥrb X6eo굮Ylu漨)+ٟ <׶jݠ CP QAUOesDD_7wg{eM/8݇ìO̫+woݕ]A*xAcQ?_@W0R)tB2Fe-2]=uχ뚝pLIL5_Pis Y{爦Erx^1ƒ˱ ߣNP,%nct~F҇8c_ Fp@:\9I4,-XN鬠,ZEZV?C(gT~-WIQǝDt'k̝?tkzRpzc[z/B[!Myp-Y]:>^ZҚDV,(/4>q*wIV2fR ^!hj'l UΘ 2N-&u=hڗѻ,0u=('끼4C8*NZO@Drg$u(ruW>D[؈@]^~;N=4q.iZn)[<Qc 7,t;R#B[mwG;IyX_[Zjg5F;"fd[KdA9>A/ z InϺd ÛtR,|kˈO{ϵ47><\¶>wh-ڐcF<)Zvwx#fȒ߯5`c4>ȏ zq?KL2/Nֱ0}>[lglU$5 DQW0\ޓD_ڿa}#I@s.-%("xe907e沀 ƚcvWEU(0"d)UFk9c>" :q3@-1O2 I=doMJ5:<~;o`}9a,n'#yGAH|wa a,ގ 2CI8)͗n/P((Yğ^{.tUF?,% Y|2+e7~}www_r-fnlcuh_vz ޚ6ӈ!>fy? 0Zل΃ǺI, 1q:w g(J~q1 MZ#i Xx]ҝ ':v ('ktE䛧h@cA>1;' ~o45%YQdי8Yu(([el0wp,72GrCW..fl9eϩza4PupC{}*Z FshvL/ۑ+Svf^\s c~xۡ/อ>y߈Ful̞gB-JGfMd_x]u]GX)W:k#oQȌٰZ !aU(=D`{I;cFWN4ǾҰR~Vc,5;{mwaECEȁPå,M;T]Q)haun2-7>g`ݫPEHh2IkY-bU\מɐDur}W=S_ @"ETOgww뫰}}n[ֱ3#Vq]O[@<R7'CJ?8 1b ;{7`ƒ=εN *'H| ÿ!9d_#n,14䴱J(_RWY |]@DQpKMN\ix_4W ^iΪPhs8KP!BpCE͛l18*A|SHYYz]7I5XǫqrHlYECOT }|j-i_ RaE (6I{Qg|r'2.c X][7'P<q5B;9ݬ!? zCoSk(%IЭCID>>u {k8]0!lN6${D U-ǒ٘CtqqM?9{,h'r11{&V!zm&0U?_c$r ;Yi?ǦVu%MRq2 ~~x|'Y k@ ٧mplpI|Jy |5_L€;vo!C9+s].*|3vՀɕzC09;|f*7n&ϰfnZ0b?֐oE;qöĹځ_fG6-+M\ )b;]C/? &5b.eyl Ct^8V(3RƜ|1cGC4(tĺ&vKQMl%(]Gwfy9fC10Au9pbLW//)Ko dV9]#K s<JwБf \ÌǴ'wlF`A +^ZAoYLIh-Ar.uA&jy86p띵7 |wjh;e̪ T]M"l&(M?&WE4dPYY!kRiꏤE}kW)ͷBbgI s3 49ď-k |o pwS*!5PzͫqUVRUw//W-h2427``=J*ܑT'{tOXZ׵)6*'PXm٢YHlKW \ $~J5ARSăٱ3T*7_c$e"8?ȋlzʠ2?/-VܳeKf؞ G8N'2L!h1xek8NB~{^UM Q]zeD&_RCA?G,kɷzSْ{}1;[}9g:7$1Hfh[_Qs >/OKm/ <5q颿*iA$÷_eh[9[ 'mFObL 6`d(q?v8תvz$V_'AH$6M|P$3a6T7eƞ#saLDnjA%OD# _?퉊MęP??sh/e*=S7R,汪lf$UTeym/B Bw\rL ߸TwծAB:juO5leY qI˘'.X-%|R?,WJF\\Wd뾮 ڼSt̎d@wipǃ11kӷb!W-ɜpw;waVߜۏ EC=Nk[*''\dQx՚x" I no[ʴ!3*@yV%F~DZ)~xC=ይ;PVȍ Avg(<9ƻ!sC V; TMc6U* :DŮ7d;(]>l>o'h tZ^}ê A90ڐe!T>W<)s qSqh6+L2 쑒@^-:<3K)/p,E@w>pq-^_>{s%L^aDժ![L ..:[ZȬR+tG^QAlȎ3 /%M. С vd,2tdwC UcVr(S{ԐbH9@! t1t!TxV 㶹LYQwzѧX*EnFߋE COx.wO?θҧD1lLfw{蚍(UPʬ- FHą;g!'$R`&,f0uzwk0&]xّNBhв=84`<$K;@9PL yKKk`Kc`89MDzҷaVr5J̰Jkג sX3nm9k'EMEa>BJ9FYGD2?5(>-h/G{d0?~Me?Hl)\HI+q~oM4B`cbeܚH*ip`DG(׎dB[ YJAV3u5gYZ10c535ed92db9638600f1ca75a8439d598b3dcbb76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 82553a243b75b17982a7629e2aa4ca5b186893addb9338251d649c9a67f25a56b1b7b6c2ffdc1d20