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 :/ oiTi=78 od&Xj̆{;o*]1Ԛ&ʤ#1s}Kj{Bl^%$MH̀8*F_ 0[4c,įgwIȀ[:`nCͭpx-پ}Ͳ-W»IȶxD ޲3J4e =g#NoRSpJlUx8iNKJ*Ks.FT,.~^ӰU 땐h4L:h>:s CP\D/-tc1Z)[풃 ueI,ps!nȥ,-I"o :jbln>1)d='ڊSJm"4t0G@;0܋J65@Cn)ne#04NhyD3ka-sW r¥W CO4й̩5F?ҐOkT2:JڴAj!/O Ksˮkߙ "&V=G?x SWLӜLrU,%Vg&AynP2[c"AHl1Z %,Pnȉ& SHk(QB_"FL]M{*X~N'%>p>7b.h9+J@\Abhۺ*24jnl4$Z0,Ut#~i<_mZ1.oDnhX,뷔{_Ź\լB!}ɇKu'"s{bفy$il0C8K2֩965j"VJوk\i9hQ&#)PN&x>O\=A,:*g9 ݹ~\0D> -jn.縙^L?'RMfUܡFRk}wH!Ve։'RJ;;$XBt-<3?9\"Smyҿ}(ji3 )^3vZ/TT8ޥr+APhDC+]BE}}_$j^^say2QR6mlE#G3#9ϬDs|)E׫ &Eܼp-N&ƊDZJ*ƹm5w9\Z}3'Ma|1uN6#9AU[vT *6yIG Jǥ(Q4'WXeg7We(: q(Vb\qxٵmMs}lŬz-T5{J9xϞ*2öjE0~^Z5;MW'02s =\vY^ENE :V{ms3ŏZ\lF IaƃlЃ}u<0갈\`'IHL@'@mpFV{E4U Հ>MTe%RUG?W 'vy@(,E_sGCB枰!<V &nɒOfƲ?`QZ$SR@Ȟ!7Bv X1+1MLx "ig 1u?E\ ӒF&t=hϻ8~|F4I$n%VM+sn]Ք;S9jz+wo.Z6sz(o?T[yq C&N(]ىVTK4*/!nnKF, 8VI] G{ LdypnopBň&=peh ̍Jت6 b4 6[y/M| J׌փB' 1%uJ "6wT_3S"87=H@@VdÜ/IEa7pOqAږUYΨ}]FNΟJpavO ݗp#O@09[bͫYSTP`$ S+ރّn uk9ŠLeȃW>KnA,EA&B `g/RSVpCф{P^_] IBg ⾼r gBbs\o[쓐L L#J6(Z%-4θcJ\ÁK;SDS.%l {Q/QZK7Lq_Cnxڑ ^SY63*H(XmY_ȧ==WX~Y_R wy}:s[HkA#n_sX(_ / 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.MLyR>k{TT @` ])ׄSb,TFZL03mz,t]Ĵ~m~:D7Sz^COMua$; .Aómvi66(1-yj6R%AvfCVb#f4Wh̏ę j)! &ҙ]EOiASrσC!S'#wpӗ2yLDi6cۺ g9O8I ik6for!MGB҅0%"u.q5$QbpOM4 5V^&^Iu7fNo}zy}QsA^WE1F9:qZkY8@M)+>ն'f;_yVK].cNѮQ$8_ZޣTaN~Q`;^^s<,~q!Ш!oB0(HM}{+]Ca!h 6W|Ok)\ L&vV= &v Dr%,"?#(h ߰PWѴ"um1P1~* SpoJtt,(W9;$5Vʶ[¢ܬҫy9:$O r6Hg]"3J٩Yw J<vajfr'0O퐕P3oAd"}n7R?oaa'YpCK-,Ls" bqft!neT:Ő֜j[l|#0@'gMZ?Q{<#ZOӷC@2+ۈ~_ L/GAmk9WbB2w )5y)VإYݭ磍Ɇ͢9Zdk'\ؿ/i_[A(3RDM7)]sV=OAa@(U*-=́lmrc0k 3El'Ika:WoW2h 3wdV\ROPlP)(zB lo{#^#.jdI.ns}'4 E|0҃Ů(\3GcaGqLIGwҸgR<ڢF 3٫-R XW]qEo dAf;A L(e%x/$tܿ yqRAutҝQ'mTt ½upgڵ24^+ ڨp!;)>H]= ,(9Ϝac#Pr/}Ӊ@:^Io/]h1fa)0T%Ҷ jCNk!p$>]6}+@_]WFlYf)bWL ?!:Pk/bu!_ 衎c gQ&2ZGP\W[ 80DNݕkf/tiiC)F.G\ka}Wp:ᴢ)}^zZE^VuQQ­a\lrB0.?E0n]*ֲ4YxYu7曳Á:ftc~qf SKsְ6{(cH[rg֠:õ|%tV- _t 83%Ֆ NZL\fZ+o0к4NDsX@[;u;'{_z6ũU ~4둬2^7# _@0N`]y ^ ӛv#1亾]TyY`-em!1 ~A 2dTe1~9V1s؁maB!c3PxDz77,\/b8+ b**큳^ 3! oo7`u"^%R0m}0b#>ѝcOY8 Tͥ/^ X"÷~UgV$q =pNQOzbc[Ҵ o>lb"Rgy? VW UfRNWSBSוu`2"a՟d|B>>3#"aF`9ĵCdi2f-+#HKFmqTq8=ou$K%2 Rofwp堻hY Y`Nb\$]@1oZm}>"`>\&Q6>G+U̶DZ9B*;ޒrD$w:ցQ  {S &`1_,:pȟX뷓Ps #jaΤC?|uPh ])fjs9h;A@sp,B7/V(\(IW\+|툶zd.1soX"r* %t-Oʈ֍%s'JE8[zI2P%7CL]ඨ.'Q"kzat1E:;6IAN!>gWx]SN\gM!;R->2-9eMrrX7|'%J)G@YD(9ZzH5cݭi.{2)ĝ+9Ǵ%Q/z0u$ 6,<4w r3^ʆ l੎ 29q%?i0;'mW-4Wb[q43ǯҨ}gV(c4'j &12wk{~ZotN?ihch`Jd60-[}eOS%2i"0*WRS1+Ȭ'kY_DAKiOk\ N5U N,i<ё).`eE9H?tRbϦTIiO{JWefL+6|U0NݢS#<ʁ/[E߆#'Q #@]?V\AJ~v{16rtvf Wa:',X tTJ"IdhN1(Q-/9:F%_ւ0`u B'G,Ozb DTb;*{ttOh`p0n|oehR%i@"\ዟ.:B55Ap2ZP9FtY ϻ+T"UBt4נji"L E0tRDFؗW36&b^=Lڶ䯠>V.,e pdA3D2wv ^}k/)|]VvEo#{_T$55. |̿ƊwV8EPq폧|aC\Ou"+AAY񕭻@ClbheBk!R"O9.CϽG `Sttb7J?޻v!gYZ7zXZִF! U]ŗXiɟ|E\Ât+.*aphG)%uG%&CmJƓ͍ȟUKEµxOJ#:8G}*7ֻNMB]wI-ͅGՉ!ImuW-:s0i2$B)AҡŘHO5bE`iĉ!5@խRz a\ ^t*у,akQ޶oC$'&ՐpBV3P}) )3G=U:NHs1c.Q[,Y{SeVu$ fgXu6`T7d.=9\ cW;iC|RpEŢ\}]-(bH PNU/X -í gYZ7zXZִF! vYe0]ŗXi%GN(("l6䪙sH~ۤu"C@@n0->J6(m!tһXg>Su KSyKEYwy!jKHm-Oi=WV+Aps) y_(l*-,4q85b Hd}v9l,c-91,R{C-PFq[7*r9/lૻݲ-d?S'Ёj04M[[C#XQG݊a%L:< lLV**$"9a$AQt OK^ ?UnNnGHH=xu)N :0ъ]\O}6g +SHA[;8+8zd ^ vD!,tr6%CLf7 ,^oRlq,##y$Yb|n#A GB#8$kƥk,-1@Fi?RC齯~+{ 0v },fF\<~/U &VO,LCFUEEW}&=>UGK4{ܕ![bNnc vaVHi/z,ZF!DX/ 6@Y˒jUy nXrYCTQ.f*1f-s>RIn=GB7Q˼Ƥo"us顷j9ꕋz}:UtvX.Q]R{K[4$Q!=#Yj@.arSw"fmᱍ݄@cszf y&>CI</a^"@0Rحi^qr:5B/Lk=?&`?? h҄TF_;.Z[b&apuyEȺJ(4#G%L>ϲ]0DW? M{쪔PR:Q4>X\ύSq %pDLce[4"W"_j4S/jZ%.R݉髱|Tup^'YhHOu!߱^fH:nKwPJK=le<YW9HW!7B+/QJtz%&@yf})*O\砄v-vx=żjԬ+lӛp7 9z>)eN,2I^/CW47Ҽxw#oסÙ_ &H佢 ͍ѝBSsZ઱\[ۼ0۫n DjCF?o&[>iʌG dv/L];xdz { *%ZpUf(1}՟S +=[_#)92W({d쮊YWWn5^6|0݌ &IZ. }%o8lelfC_AAJ>U0IԪdWQ؈3mr'PW=ՈV~!py~;i[)N%%}N=7+BgF#ye* S96HXjuF ,2KJԤbas ,yQP$J#$.X><]nyB}/"Iz ki/WW2Frэ~Qf/$oQo[d6*\]e7W{ bJ(fA 'C'˙Op*i;#*_#O߈P(iCf$oᑡ>^iAqOI_?C=i[;m\H@dzʩ.4"JʱE.6B~rVS#lIon6swY*c]nma~ķϜ 3t2f}`}5,@<9j?5;/PξxRγVwėUl=^{4jo>x+sxplD5ԅɤ^7xxFh*G ԕN .ZNs* [vz~]5scp~`!G]2|2 vm2 S:Ԓ?nl\3Jwa JqDk!e( HV~ge4{߮g776sCbTE!^~0|UO*$ZInTe#L_EA}j㜦&zd)Y\ W7,GV=o[fzS6Rpxm\x!xB TS i1]f |$: "5E>YkUW>B" ?߶LԕVJT ]?Ceog4q_j@ȅS ̇"i`C  1mɛ|/LG1G#\v7w.4P]ɚl2W ޞHEVd&I;5B!rCP H2w6IĿQۑ#ıuU$>b9& E^xYnWNXQADo!#}LnmdI%iȴtH?71 Īk+iL3rn9exycza"%؝ı.W \$=U+"YWiu.Ȧ<>co$%|[!%F?׭aG<rZ oɣ'WK1=\Ojj>=UcwǭV#zʐ%tF U&aw)Nf>hsqiAƩ؅m7 c;k&K92jƅv{hԀ:k s||GFYݢa! T}^6۲]pAQDB䞠L^c<+oI IO2(D\+UC!R£]bHEms#jj윤I {A'ux[v%iW ђҠ|xo-o`&IE1dQM\-vo#=n/+{vDo*b'wd9p ůcßbkQ<>޲7ݪ_>  ׏=>c.b'V&a᝾۰nf> :R)BgD:a;c=Nǔ hxZKn_qX>܁uJ%Ɓ;bڔ rHVSd2>oOʪdF>oS ChtCϱ z_9.l寫=qlyK! +U%fڎYu|RMo8t9htUp9uc#%. c-P"A{r1u }E((*^)uXkC+de@FmNYX#k!Ei۝ ilH^(/H=yѢ1S֢4;7Vj :9ZKƜ)NHRTVms洖2[#MLF\`kfjU\~%S$^f/]6#ijZǑڟʺ-9R$5tsk}W>wL_o@&ؒ"\E)u MfJ:hnˊ'x4 A!uބ-aEa.%-.xrM:}c )W,9) seyܸ׋3bbOUn&HTe•kBs4W/H^2/]k)  I{3 fWaΕTaP22fKrCZE,/ @(Sk`7j ~T)::B]כ%n 6XTX)(nɜ2@X$fG;XJ:3G@& #k A'VBγKQh Wd7!e?ip2B١l޹350bcXV*Pw^t҆͆RH R2Zae)IVM#DAh)p"ˋ0S&z4fUY!U7Dw6R /#tX45}=Ͽ-1>ǭ&f\\UF&OH>]$u2ѓ+X,Jhj2iHAQFͧ Ńu*`KJ%&4ڼ&.HN갚񐸃U9N1T Ou(`si[Wv!ɍ'=}yg݉X܍6ϤP"lgws)DkP ^%%|yp8_qL=8X1x7jGYj*1JzgdC=bU$W46vxuo_ 3kI7H LYqh5l"pGyBWn/!nFkOVv֡%hŃ\ͭ/N|FP!k3PddKW$2qҏH#I?q9U$C|Fȧʛ9ķ '@I6ԈЅXg')$= ܬJ|lE[ К=kgXNL#~WL8Oܗ мD=T݊6,< 'XCgԹ;?j%[Rr+7M&t4;GoM4A4$/]tRGGQW7A`i=r~ɯY)Fԉd5=X+M>t26Ty+T |.qOت$Y[~GI/m1™}"ܥU)ıH$Z9p5Uy5gNFoݿ4~bhJ^KVQh7oo;O, |[QLtcnL:DIED[[]Zp_ƕvr- ;J0A qпΏBƒD}]Ո8׊Vn]dz@C7 <{^+vm`||[3l6+  jFTbS:}9¼3jSGui$\T5o5 쿢Pu**h%#_Kߦ>Boӣa ]R-x^"t&,hwzBVh{D^+ʃrA):=y!ZzqӋ(MgYR}ʡHl)rx%e^vPj M{cծSѺ]+vJwJ13X{s"cٝq T\T1BaՀF&zF1}`$8_1kvJwiUS NjVXu`J;Ze2UAE\HoƏaETϘ6k gp; Y !e1[ψVРvS#C!0*TiվqVfFo^g[R7/Ka J(VԽ7ay:мAO?Tq?(~*Rs:p XB%2lܺ54-jƼG)e`y5a&` G.A(Q,11H͇%3'B"#M%M/n3x7fM$yk# ֥׃h|zؗnM e-QU8˖4Rje47}ĵ՞'YqG"y_BN֏{Z x5Jjq'2gnortv_[fZXvMݸ1;淏KmC6C^%LPB+?_ *|Dm`S]}cϗVu>$80{8X uV|ܿ*U'P2Ûp .=wqW޹=mrN 'V]%"qՈ<#ݛ FY@|(HJ>+_kaK,SҌ )Ϸqezp!(қ*DRX[ Eٚ(IrU 3tRzʊcQEI7Y0L<8VCOQ6<#lD?}5Zcm"U$+w WɧKStK\M RI^4Re Oa;"hR٩QڒB˜hD07aN5S2vOj_YRp gժoA3./QL{{z&ڽd͢S3?Ȱ5YU Su11hxy 094n_LL+#qir); Hܭ_>ͥ v%i3> P { _4ߓvLfңA( %ڊj#hygðs0[&h?)F!,C; ]?Eh5hB#@tdAzU~wƣohSR|,9y:ʛeJsE5y[1؂`kڜ,[/E%{<|T5pW31g!t0;$8&H{88/AV4fE[P5èYn%\$맡OW6!Uu%Z pqJRoyEZ*~P!ǻuoJ^IӒS , ˕Bit@g+∇}*ЪeQ V1DesgD3h./,hn)ɦHS s嫊U\ƍ03E - 3mr~*o&ieW_-組t!KU URS.R+QbqDϒ*N߲t@8H ;8*p6ASrdDB@*,^1fع?tRΜ V{hx3iO\.͜tզz#-U=CtUAU|s4rK`A7s*}o%b \?(S6#llf!ľ.|{eLL hGă喝:w@`E/bKTdgAF # qg Ғ1̖67?THQwD->~\S/Jڂ5 F%*QymIC̽?mOÂAL B:{fbw,QK~nd.rΓT_Pϫ_+=J'e ,ߊ[T^n1XouW `$uiZ,"}V0Ra"خna&@vx9sAJlhiAF5\˯<; v6$&d65p=PsNgR >t&B KnAR6/p-NT\UӰ+ CYZϜ5Zɚgo~ѻ:t>NdLAuIE}vJYSջI gU4y?{@b6+"`z,+Gi |VIj_*dme5qyCDw%hV].1JS"4ȃ?{lWbAsUD2_ݔ,!Er^UvIkfzrB~1/78|ψqW" miM 1Ef;fC{iʪډBk={֔듳ŗr[_ˇ B.-'&ѻC?n{K%?=%x[6p?=̳%0 8f f?f̃’D\%rY%WRT`le,QU2Q,WN\2}O1JD  :YZߗp }94J /C3\}>4a_4OqUW/59 [!JJ.I.pb9N* i ""#)0^h#gҠwg0S FрgSEk7ߔlo|ĀAfp1<f6_Ή_VH^4]9(d}dž{kMGLi9{`SG ٷBJ#- I ,s٬/v@š>L_eO`;閹ڼ2>prI 7]X N79OH3  |]nX舵<+/֊ Pb n;YDt@Fo$ΈDV12~ /ήr:xj8Uو(r! Ȯ6\<<@NdL ߡ(M[ƉPQ:Y"7!{ip ZWMf1he]ҋ%euKV*n759nag6ʡ "3crV[Ji<䯎y&L `KЎ3cV'ƚ0BffU~'fRDNP*5F0Z08y^-gO#~R& ը5)u28O,#5 Z)3l+Ҋ@BQD@5-+Z@UwV  ۲tŠwodAQ, W}` o%1#U=c-{3-w<؞RF Ti/뜘+ [uT^-$v ~{(U`HphXe nBP,Oãg49S;ebvG\upd}@XC  c5f a{8 L3Nk~R4 }dnSQp2dU0u r|ζ6 ?Q$xiY0*?tAo4N1ҧzPh7ߴ}q !hզvl'U h{C-WjI/Q#^'qUQvʹ{9L@|eQfOr[s'C6V?>^dÜU(H9ۘY n{.3ljoz?'uc&vkgk9(-JפҐjt0^,hH Fr9v/\՝l9z ?ЖwC$Bk l DS*uE67\r0Ium!2PO @ \31->MwjO tFF; bEE蚅fr!dh=p 678%1_oNct <,S2.0wKX4]Q;{nlV*]2a$8kQ1sBA ;u4͝?H=8< y~(Ƭ$9?QQbvՆh5&BИHu$s."AlYzj<\ YRqy/Ei, h+b7IxRJisTa2E7hkqyR 9D̟#BF  \,bz-aEƿ \ZZebop . PԘ VkHkIFƲlۥRj?6Q<̫:=?-w`"^uQu)qwY.0>IJG t TYU@8"|DC =^V\Vm(H# [9O347GvbiA4ʗUԭۼvc~ 獇7U+{J|A=*DFW^6km^`; 8"`Nn+]v+#,rʀPZ9*]]ȒK>8O,lЭrb]JRA`r՜ ]_=GS3g§lH!liQn"*: IBGl;w&F!P}t{AYMBDUf1BEvDVY iүMae,'@wC6t.g q/ Q#ʋvA`tpx8Wk,yz㸉 ɗ82C%5@W|?%yu]R5qtRG\+V-1:V`5׍(#鹌1<_2@aQ1c+YUUxt(aj57VMd?H݋q!X6(,rfa7ZW.3dD!ҿb1/*!x8LLV)cTXl#eW2:ߏ0+a'H=Zq RTq|FBIO+Clȅ QC@;r6}.oZjDUpJ6 I&Q\Ĩ-Qe}NX9ȪѻQЖ `L]x=Z |C$R?px1Xh ߵoH:7\%^jm?߱--ʔDZcKUOj85{`-Qٹ~XtiEߠu|C aQj(;}W*JB>eaANg- K?$#^vP^]|u7)p-_ >0[fjYȍS?K璸KtGqOo^%1WN}ԄëWQ-uc?56A1h Qt iDyG?ڏ  ~uF*P(OTfb7JVnXyWtU` m,dm@x;"!?z69" Ղaa@KA$Z(0fncX_˥;kZ+FX}'?3&8[Rb*3ay-w4\@|`R(V[G5-.z:ξcH\ "/d`/;Kw}+ClꊼMN~Hj ڠ?o&L: A"lè sIA# <Gvq>p-PK- oSC./HSQfEw,zsW+嫆/i5ǓUʇ J;;Z7Tv/#Vk!IlZ_+K$O' Q5ccÎ)OCj*kZq9WH(S#b5P&%d:i `6`lj}:j {󹙶_z+n 9]L$+&}8[dvk%; &M&Lazm VhDg+(JyP[);x7e%q>J|#|C P<2(x,凶[S/"~*qЪ|RMCq5 M[M_W"Fe UGA8vP:h+҂4#*VlcCS+'嬖hME|1cM~YZVJbՏtA\g Wlg/{Tv%rhqAysb'_vMgG}BCצ2 IvNfsKj3RkQ ٖ9vF\Sp(ʙH=v*ACN~rLQ1 Ƨ3}9yY "w^B:ʘrrcľ: ZG2lyyJ5 X=3W,!I_dqtƛ+g?VgeV|\4~P #F:^b9擵kn6E03乩!$|F*UR JҜaLikiHniB. j-jE `Q߇ۍnыB!x$zT(/usBG'+c 8BO/izpd!;02I=~(ӫO^ZG`KېPzw^4, AҠ2BL_t䍧}="}' C/U2娛;ATWͤpqƆ=~(!\wE6ؼstʈ- bWbqXwng&yɀH( L䒽*4B r<㻈)0Q[_'i(w ~ݡ\`LD 2ˆCPpZG59W_J2uqT"ga+xM7}xpqBǢ'!^h+ll?cP^1ϦzmL,6ƟtE|1JgH DP.Xf;~yrNGjmֈT*X (c0o}īzvKͼѹ!7|X;:x2t'8^<[ktRU#т6]%$D9:i@t hCiPPT _Z9;KaK昮{5pKFտM߄nE:~[Urq3_/灝I!` "TW2 Ϳ+[Q^h4cw\K  >a'0%,s*!O׊ B {4H^ƛ"1%1iUqB/۳-Wa9}yϵ7[ 7Fh[Mn_#מ̪NA|Bja.cvqN Xc^t3.㞟'A+@e +6\l.eI]OX޳Y {`oliU>ԷM9YwB!)w-dVQ*0BwWL-"c@LN}5ތjXu"P`[jd;5U*؆-Ih-m_B>RiZZt>W Eۇqys qg߳yH4~wǿ/%S-Ic EӤ?U(S~;F?\f$\tVS,xB$%;I"()B`[R~$Z8kx*t@bOKWcpvNP - !&a&D0nťp0W]tEv,m0|' *^ TVW y&);ҙ#ɸWy*xPSK*{DËC'JoJk^ stX!ؚ{ W@/ AR49;)}\K^TxpD - ֓2H?7ƃYcmق23xG7 IE}oF64邲ଵ`hnz`AVv4HN:9 wgXMiǁ`GʼnӰ9O 1"kM'v <:e&oPr] K͍5tTd^\θ((:QI#rgTDv/ߛ$wmi_p%X _܃eAQł`ǔg zȾW> Prr~a3[`O0#WL#4un"&d^}?E=< ad!b R>Βb=Z 1bl WsV)H .cJw϶Dxz36 (ꌯ]M#cF<,H_ V{`[PjI2{< @la֥68MHrx';X~O +`zyte} P*8[i\Qfd7O uvCLT.G eF>Ly r):Tv]+`54kh돐sʹRW)Pk>&6s 8D=m(Ʀ ,9jmxy[L2]GG؜~t{ҢbpAWPR*4}v =ibb=/.FRrMRXs.Ri!peԝ6|⚲.:N7B+Gz ɗ%Tk$' xqviKat+!FVpt' AQC4ۜMoW8 lp!_;aV?!Λ^@|z.z*T̓$\̉xsD܈+E2~02H>ߏR[<`W9 ׌Fcq\9)xVꬢэ*h<Ԙ`x)fE)z9Rsq>]ϸQ b IdU.Ȕ-ĪM {} Z;K0ڥпM`d?.u*7"zOzܛE{zufdrʖ E/ s Xt -/1O _JxehV)q8#| ڑ)(D\o'q{b>Yܨ&BҏGmbjHYSvSh,U+;_IUZńα]%˔'qhW"]gtbRz> }&R(A#)cy ?^7m&+,ZMEY`Xd '8͌>m/HOU2<~Cr3&d:͂YoqtL-LMMRGVxy&u@">< $C AugY|}B2]:ƨb>vO+s bÛxRb<_e33)F~㏷ZDZuŵ ŹΎ}N0l#+a4x /)'OQXXyMZx#T$NX(%,<,:QOoaW -;3Ѽ@ (gC#!L1?&qxr@?D{ifZ:=7/Q<*S8P~z2BŧlEI0_ Sx:(@C5g.j]w阃+N< @ĮZ eBiA+E{SU~' HQ" +"@K3&.IjP: Fe4#I@Þ^nݔ~'?5ip..(^LMƱfR%!H8J?~K(yEQi-VKCB>Dx#ԣcoCt5BKV#pQewڛ"Rffz$Db)7'^INKdVJMcn?zBl (!tcY; h5:Rhq|\B"\T"L `>ʒqDQg` ,l/yʖp>3aJj7S5$zi .&K64 (Xi^eo)qXGE^ĥ(7o?m)D*.OD8jIʻUg,QmLZ876P?H9B'es:&~Z&Q*K\&?#sυϊ{=cd=x16O$SmgNF'.U.yZX~' gZûd @~OSpP2&STo"@x:4dz2Ǭ9?mVZN5`B0ˣ࠙y18Pѱpepe /h0"sqa>o=юK*y&BQeԙ'ۥUԳ' N2"87P g"j"a|ŃgH=Я:*8OiOg\^p"5Bwyjȁc.Bi 4׷$:!+Cy{hd~B}Yy?q{ A7/W|b̝`\9VaZUDXX R{Ў8[,ٮb30#M ?<3_7O+SibRP ZԨdPUȜ6Yco`a‹&Pv h47rɦBŨ.yh࢒aj3ϕ['܏#Խ؜tQsNNJ!vd̗e0 tMH̱dnN`FgR*8tv 1KdRHGa^9>ryUWb(xJתIb(7eHtVG/bC,J2h?NF=Ҏ) hrKw:rukaBos_^E'PJ$7$CHdULg<*/ښޜ *m'}Et*7|R]"dlw6/-l^%Bcj١!XR֋8uh4YA4YRExƁ=#c y Rf4׹>uלj_`aQdnHe=RQofpPt3 (m _| .UA)fDFbf.t'8ThKiJH|&2NaZޗ_s[-!/rym'o;_%',O_l63U^4&çAdNa.Ę*u > 3nߪazF't}҅) 8vAz;3,T$46i\Bx1 ne`>x<<'z'+6穫l.hp2]d;~kFE?D[|Ei?}\} m<Ͻ֖