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 \\|/,t ]]Affine_Arithmetic:threads=4elapsed=277.614cpu=976.716gc=66.328factor=3.527zXZִF! Si]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Xφj~53h䎕o+2Xzc%阚E(,9t1bϡW۲cɝih@ZXI؅?!{̫t9veAZA֩^suS#찧 RoH2@e1HKF=$4&7!ͱ-Va9/)0qof3Ǡcc}4\"E\“@[2l|" )6/bmH+?#q>%_tm^<.peRLi<mފXOfs*eRCB{k&ރu=H"Nb#G:3R bYk^H^Txr)5s V({Z}R 1-M{>S 6ѧ i1R˿Žk^ezf\mݵ 02sx'vo|N P#J)QWr6bV"%Eɡf3tw 1hŒ ˤD_˰"19lRk)Q;.7uzãbGqk"#גTwdFw&{0*gAkv$sdCm悶DyNga{>*dru#XnV9Ti<(A9mng}H6BꕏwL6- {UMpVhFD\&fRN,UIaU@9{֏D_WcaVnߓά-^E>^RamBT'n숢[g_z*0_\5mm,`"U=dWQ @ҀӉKܢa&b'WC5\;Cljݲw5 i}o3[k~hgQ>@Ak75CZK1ąl;:x<.TEkZ\w.1,h8s1[Y9+", CL6 4ϮX S-B 7a1i#~߆D3n#{X(E΢Z {7Hu$wHf:!?|nmձ bS-jgs8̍ ,O2s3H3[ѪtVsmQ9~c;9m]:H`i=Z'Ŧ,=P~+O=yJԭ|{ǃPuD>`"S@oU9eOwZ+8CّTIRV貄<DJMG\PFN`}8۵CH7"V꽬ОH UjE8)'ky)m0 s6ղX-5R%:^M9p@P@c8|p00噺ʉX|4FΙ{:7J(,'ix_YJYh.Qڬ2OwSfA=:0,=X {u'FKg#M IB.&T3i8 / 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@`VW"}ܝ=%׾~.#9 L(sA#kߦn;cos^x&4,Kǀ2\'2< ?&wvkx wBŝl1怿!X "gKCd  "aDy8)ЍG,(pH//+oEA"!XW,! (⽕)'Drׅ'~zİd1*]}>GhD8@~;wD7$Ude-. nVҘ}+tpӸ(bXt|>/||9^oj,&25>{M<Ւ fC[BҤC$+;]Xʗym]\Z (:BA͞VC-nbTsҜ*6VW ᇢWYխ/>#jʭՄXD lA&n#_~TQ1~ѶK[Uܛ$>뭩dC)@7NflMސMV w%cVwXO=7}'͐wrBAY1Zݩ!m_𾥑VM0B.U oT,IhQL):v8|V86lx쟀ih$#U?FXJ63DhWlqA;uBo~},LEj^k@?0\/kDNW(};qKOJ"M\}Y:g١t)bH/ [dgk]cK sLNO?b:cƘ֔8e|vAZ}Lv`XDVrb='W6]'AMKmS)D&;TuJ/ !D ! ~8ULrOޝƆ- E%j(qJMoT3v`G擋pmW+ `@wc2P&.c.S*HHS1@ԧ/39[X.y&^=ne gGRv>|9>պ$`?LXU`.@W!Xl#kĶjg܅Gh4%0j}[To(6`\i\]IP/@>S|Ɲ#3\YKH~1[G"P3h^kçz3VFt*0Ju'WN wӦU; \wrE`1rbz$#8;do:dډ/ P6ݽeI.!7tujl] \b_⪿JfUΌU;`UV6 qЉ_  O l.Rw*]8oc~ 9lG( KVyUFRG1>,h8,)Ykpϸww YwTwM (+Č)ȇ)kViѠVW %'t5TDѥ]7 Dq֦#LC~W`HIoi@{^<ZyxO K"Mg$?ȅLPN~ט[Wa_aXb,lę1NΣ`aeQ-h+?kt"eM50.H iuLxǿ4a ck^3 J(?Fhoe5I]*Y-]TL%=?XFg xbc#N4>ӡ|&v1›_4%XLpQѻWnwRb~ڡ!mYy=|TtYs_XpdRȺw܀q*c6h9 7f)PIZr=޲އ jw84ƹߒ8/,qiR#]<$P G_*80rLRx󡁄]R}7͚rI}JWX>a_05U5Zj+ԮqIߖ*P5t#"s=ȇ0rԥ\[>E\D}D_$bNɓpv٘R7cZrVaNl5&;Û`z2kuW,a6%,|dx!\ECxJSE ?6̧xT1 |)F^(mJ\kVw9ڠtEaӅ; <:.\1%BLࢥGk+T *SDG#߈ͬ5Ε57G&b|HhLZJsHj!O\"^&g: GߒGhj$hNB&U:+(a5Z!ז,4 +ڎ"-_]J-D{H>?8͕sytʑzbӊ1$aݿkH7+!v%BĶ'AQ#f \SCO?^rG8掾- :ڞ$NX0ёX3sb>loF؆B*[q8 T3V4}$C y*jSa"20L<@nC9^cR?II/Qt4!xCI׏' < ~46RܺEgدDJ>;2־5 NْҮŒP9Frs V4_p@4@(^ίF~!}-r4b&bSD `5jo8M^%Ud O3툸~bЄrs$Rg5.ɴ{-6?# )US݉&x49uq#M5;^fmg.i kLs9a2Mn i]kv=?''_n-gGY@*&s:u{嵟t0t6nHpSd\!Wg靇Z6~Y4Ox ڹRH KgD·:e(ƵI^VxPDb\*4/ ` M%2h" p'- a`+ûG>LuPǹ"F՗@ki%n"-#q&GS|{>p͏񅽍$ݔ/ЊMPώ>]2-P~;^7AY*L%SW8/7:AطVU7XiK৾q;8GMK9qz{vt#VxCk$5w^QsA&^A6#d6; ƤC21DI(5m [ވ*&0Xۄ+8+f6Tہh@WٮyMH*>ҋT')$Sj?fT5wGO6ը-`DU*X^p~dA5&.mcrsj`PqnV0*#˫S^趐7֛7fcԫb<'ELj)-ɻ )iХKw)hRFxgߥ FgYZ7zXZִF! ~N]ŗXiɟ|E\Ât+.*aphG)%uG%nzClo L`:D0WR;Eӭ A! 7[6io}ѪͽJXXxxy|^ק04";47YMf jcfG cz#9X*mrc}v356ƙ{۠ZNq ;Fe^0u$Jw6b] ͙ `φ;vs/@KPSQv n j)/a? !*ϗrB< vPsjHQυ+WܖnWj[@՜>@5U!O;,]p#'S3wWOh1v$U8\#Qԟ D҃ĶXTQӘ!h;xV>S1xD{@MGhܙMq|䌇Z+A 7[esQq|L^c cWqr< ij3kR"ǏlwFv* eex|ʵp&}BzVi֔O:Ѫǯm7=ҁ1<7zCxh-E aNf.qh[:G6ӖO|_. {k)=EPPppB%dk)$KCޙ; K*A(d~n*t H9P(ufC cL'ػ.!;?Bujӛ6b 5ġI5p(O'+}4dK'FZ-OPǕ+:*K5vw:a,YR[!Pn޵oWľ,,LN OXCLWEWr%1j#|Ԫȫgm9Q0z b MngV71cϨuЙuo|17-dbiPodY*Ű|(mjW_3zpt ~`-\#CS1]7TYؾ5.Sa(ģ"8wALh4UcN'ibR7:0ѕ=z<+H%)r=^0?<"o~M -q,v]k`Hz 5igh y)-m{)pd)y'blڊX0Jތmgݏfz;u )=?l1R%YEgh u >sFyJOǯ%  ,MhѱgYZ7zXZִF! >a4]ŗXi%Eb4O\"1Z-}'iypNh~L K;Q~'b5; >^L=O\#P`!7mڴu$%@&zL{G~ҬAI:Kˣ|Qha* 2!1(꟤gx&u[ w_9SEuF.QD1z~}XVu tჹ#JmS^F*G`rM1Njvڞ%$-oտ]gы +C,2#m8 (3њzn`"a=-Vd~{-23 l4ѠmНq~Kna0,1 JDLjg]-/ĮlU1X܃aT>U$`z!Y@bh&jD߼qxwW-~6di?HSyH2#|j 1%X O9&ؤ GQi}XUZjӃjlASSҷ V144]~Ґ1j9Sc]2'%CћdF3ևa(9O8]v1zv,Z&WaFsE>5i]aI;M2.MY&>zO|Q?at#H*qm#PQ.H1k=9?y|L}~&/YN8P`eYGOu,.X5#|$񼠿guR;}ӔlJep.2[n6ܬPuy2 Ge>:gژmDz4m1$U9O6JZYpERP }pJC}K oJ?a+S[TnfƯSl142h ?m:m4'Ѩ'{$g͹>6 2,Q~/]z3HJ bꭵ f#%+t϶ɢrD3qJ57x؅m$HAيX{G%,~gU|*5qWNtSiI0\;߅,"W,H6/4).&:&Y.X ~  =g<ᇶ 4P|+@\ ht `vG F͵L{-{jk ɝ8): $t]S~~`·0ډ:I3%HК웤J:c5*r)"6BiD:)2W,>uh9MG"⇊%`‘ʂMPbjXtշkam24|kn['w'Q$| }Ÿo_&S 2tcuC1L[550j}>B%{-=g\wqO@|#!Ci*:rR1{ &m*pFhm$?Jc˛90lMA~t7_AEtIXݠ.鴕*J2*BtE"Z{ V)⦸"e7 c 9!!_@:&w#Ʊ"k>qc#&B+hޑ')r-+{(#W795.owrB|-`yoQ(UU>Tp=Q`aY H COܥ_ɬOqlAF:/e'[=!v<,BD+Wn yBx.d ~ysC9mD+Wۛ [\lU'3dSS7+J Zh*7^ J^ݵLgz:=Q,u$#̿0^ iK_)Z};ZBkZOuEN #eG,5<+&J&^,{< V]QowFAS,\'n;H@zpxњI$@JL+6m.MJ깷 ЏČ_6R`eZ%Z[+AǨi4m:5cvDN}<~C:O9…#(37 8/!y#{>\%su9Y%=BCB$!!1L3@8(/ؕ.'v~(:3o%kfGj}vIUH,uФ+XEGXrr]o88ǟ"D Czy:V"-Lj0 PEů|)(4b rE}qô7g2kZIb"ZikNOH(xߔE6s6\aY .T"rlqW varXPI]i'g8ʒ_?zlAA9fF^;6]It.&ފg KZ% jxV+@g ;Iqīq&nF/&o~,y“MJt-~:bXIntCz93+gZb1)s?}JP_qX {O{X77Z֫YqL,HN536?4xK/LB/,g<ECLANkWeg6'gE%Tbg(Q,O`@%ə)UQ6`ZNltt1k\"ǽp$uIr@HӶz Qr@`)#*l\ 0p~5vSC %u^@:"-ys4;:Mjź}EEcveyMI,ZsQSJ'Fa nFׯJd{8%4}Z츴gmIvlҦGl8oBG^߱S X{Î0@P :T":lܽXnh/ ͮF|QoL-+y6>Ѷ s11Ҵ軄ӣm1C[&3K z92P._I} Igs113q>^л& HlO2o_K'L6$vA8Auptu^fNR ]=w͵rH/~21rH"B(Tqτ$e8< 2wy4[:oxoMUY# UPyV&WEMfdSSeɣElt!cUG~6Bq =I|0ۓSVtػ?EQn#C"[iWj˫ IQE壂w'U¶FC ,鈦P dykw$$'ms6:N;ØNpjwoLд`9ѢNwMJnG.6د.8S6Dd PV/*Rd1K@}=5^*LX1Z=Ad]2٥ gr v ݀V:N0DtUuV>SwFG$'w*f>QfbfHob?YP-~ϊ3bRx _w^Ip$.N20^$8¡ga-dAb!xZ"O<ƉF+4'^=/Nށ]=: @`ƎSy>L#=vBrῼp3ҝ#ԾϡC۠a,&P0bXDμz\j<Yj@^k 6 r'yeq+l)}&0U]SwzGI*US޹ pa )#!b!T,S`yn_,f}aJ"iȠT?<P+[Awo=&msךPAN| EG$ݍa1̲%MZ~1|_p=sخ;enf=T^J<8 6K۫ }T$|-C!$SfNMH"AYIVeZnL|"Ҵr0*e.aS/F)YEjcatfT[Ϻ(_y@ԦKÉHxJX*{X)cČ/ Z<6?nlq+Rzل;7l2s.1׾-yӑ<5R ٫e?21rXhcW:xmf)rh(LC)雡?pS߭ttL>TQRep3ӑ5+ ) %|熻0dYL)|4)j-`=|4<~-7>c55:Գ ! 8) M'Zfeڢ,nB0yoa۪V -:=BIw7KqLkAJP/*x!>`zy7:y]cU1]"?9K  Z wX;9 (H wC#P|gMn+vUBx^li -RAOi`,삢Ig[pAs߅U*텣r{QF 4-gK dZJRj3AT^돘"qyD<%?Va|J-d,LzBvZJ{ I8;●b2L`Z7#pq<߯->;?tѷ+T6OyEiw?0V',P5Ro|eM+E2cF!ԯs6_ F_zg mh쐥 ,}2'5)L*`知LP hn93JZX'OvM#Ͻd$MR餠H KV 'Dnh8gB*3L >"J :lwIP6<LO+8)FUgb!",P]oS 'شRDB2e$S6ly^Kw!Oٷ |E'Sh_Wcno 7jg`}=o&-0 9#IEޡEQ*T_EUJ`RW{fސRT!ƅ2 DN7<лmj>EШWmdQ#}(o : &`Au,ֱG*\xLزE \2_k܋74!|az@ 6ܿiX˔o!}ލ(!&pX̋sy#fvQbalؗ0xJՑ1&si)]`# + {pׯH*>e4L@yx@\m KJ(@-h2FG6WîuW~)YX% ZTJ"2I!Dc(5.dWĨLc ;RXzwhŰő-Gz歍S#oIꮔ칅Rm -{Og3Tv)v8]A_aI@GwMKWG'GxJu&XJ[*RBH(tEb&z#\WEĤԛ]$Q]3Ks*Oyp 'Mt0&s_ؒqҡcه,S#Rߣ"QG٩8QMZq $fVQje!X\ (?w^5 j5QP;=qxI8֨/3l@8@v\rYls6gy^]v9(#y6!4ƻp!~fϘ}}MYd:[Ҙ31X=,q7UNi~f7}#)1 D5"ڮYCwE/r( \LG3Y|wdZsO[vۮ?lyej5EdKԮd q8fӤCTFzLr"#KnuܶZyy0K:,FP4#WV+# ~`|$rԓ,`v 66oi9z,])b7o_8hXZ awgB0ypJIEH#$$rt@]* ?C<="ĢC#ėMG7IF(y(b\$@څ|͞x{4ȗTZguD <ͭ6C3#јq' g)8rXۚ Z%lSd:O29+TF|לGn DC-ptVY.KU9ϖ&{Vvn_I@5F\UyFY|3Nq9$mU ,}#ktTW`+TR,s[gDs!]YJLnjPZDY_|nҰ1S e5-N|H()N<t@kqP'<$k =ʅE%y,T'̵~ EֺeTLiwe)lL4;sI-_( h' e<\b#s^ϱeR/!X~R!:_-,53"ɋ/{lbOaMJt~vA$#Av~n~֛t)wKyzJS /?a<AS'LRϘ"YjL`r{Zw 8'[Au.}|EØ36ߓ  Wi?[adHW gi+tQ!1NUnd"n OtQ,?"\JvɤgI׭zk/9d8C,| 1* {dQ$QO1z[`$!9ApP_9[ 5 .hNMVeSFG%' s'e Hb3tND7(LPBÅU)\dgui]v{>wnHNf,VU+=Rg@R Ex+SqLʱAe#+%ߡI@wu+r3u $fxMOai£LM \`ހ꒻AkͱʅPnl6@dsgZi7azfК~T=C', ӡ%KX9`f dO&%;+_P޴1n\OOgC D')cϚ!yO<_t%)_52|(E4%1fye8\ϙDk&BȀMMHH!,+,ySF'4 =a1w}N߫uO| (ze0j/,Co*;`%EIe!֐)9AnIUjYd!,dwOf"d!$$Y#G+EsT,#,/Mi$7 D<;n&}Jf92[T N9 v ˣܜ/ t; ]zAN!, uTco3 yT:njI#1$~R _xyw) BM :C+H$٘p_HzBM&QxcDz##A\rPp$hψڒK1<:GI 9cK jvXH8cxN F1kgvsVukgadڱ} 3Z^ n!յJ8zQo$Z9Z/rQ5C^slE S+doZIB|2?cg<3|N-c6.nj`Gu< Kܐ&-M^ Yз$CR .*ġK1["Bߛ\3ފ,8ȴ/ P (cýک6MtBڼԞ'P;ȣNʅsX!y49L˙{VQ>o7lG]!d]|孔d=+;:P-,Ҏ)KiIY /ڊ+*ğ1ٽ0#6L W*dl~{sIri*(WwvcSwG퇌3~"ġ(6Fhg|܍k*՝Qwuwa"S0%Q&2,*$J$&g;{xX E/1 uU ܑ@~{3Ӫo,f1 Z,z:os)of3fTa/ڙs6C60cPHEwԓYXu8 p kc.% ]lr>Y.gM:}K]Пf[( ߮-4ˍnwr[YTr(}#I{.GOݻFR3M/ڨ۽$X4y3lfL/;'e] Xь"N^ D)iUgfk!ے1%fa=-h|Nuzlz| cʧ{.Z~`yEғxJb&6nK |/VZ 1"uI7%~o,ABj*`>",pyr)i.c820LL_at_sZ?+gz4Pg}.7{eu|bYEԽ ~-i%r6rHP"":;gP *0k+Lq kIt*}NGEvE4L~΋s>|aݸ ܽor90u&C|v^>yA!)j(/Im{A1Yn4( dweDyr)88'tk4 }?J -sz35c>PY elVIe|+ڴ j~#B}w{cT5e ٖYdl09"ק j6?6fzP=kFiCR%)d}ÿwFZ)ͼ:˞I4-w 8g~%E\ hP P+ 'GQCc8k)i&~4Q#`cHA|ƋK-YϏ"swAEfʻ3Q9_4X q_DuXgW_w߭ + }K'y .7RBξ 0,-T4-7gp!&<.rl踿li~A֠7cX< kw.i[Y U yF_Z|olHd1'4`Y(pjhkIKv٩!{.W'* qMW/x7X=9yqS}U1ǧV,õF)s5\&nQk=F/`Fk)fO0w7\pJuDoJtߵ5Yb[/'o]9jpEظAb~!ĠPRhGDZ? `1$mнժGD<ř-:g!Wn? CYN?7{F/nt Hs  Lz)fNi{(?]\v9yZopo/Z%JU`M;4',̒m, =GD(2ɓ"]϶$djǗ!slJ՛]M<_"Rwea)t>`p))za=%.=04lמ>2n`@]C@j(,9=GKsIz#y!Rg]a\6uK%Գ3bu55L`Xh3c~/50/İO UV"UJ#˥.=X׎ؓyP7e-nߝNLUkb:> Ad`/Qd7H1WeM:Q)cgۨ4Z='$kcŒzX+X2I S+-[ߵ C 4L2 q2$?u47I VL`ڣj_y@ǐvNU@ШI7ӑ92&o' x}b9ȱG@w|'I_WY֜?#K"1 s}IejcDQ$ȊG+`Z@rtsA)߻&YaA.?&r;͜]) tȌF42},Y$Gi&\D`FK &_#?.rE E,c$\(eltl}|{Yq*= ]ǯB~mJisChʡ ;9hGךsuF/A.yHB7Ox'BUA Pmu?' yOj q#ͳ +kEyZr n /U T; .+q?P ey WW [^Y嚫XEተy$ `}J@t7ͤb ԣJIH' [ng <9-&R\:Y5/o*4<=d1{g~UalTAp/Q=<Š׳[EWJV]V(n6ˋ @Y:h,5G7*q0mLRr#Sri0bGwy\WFFN..ԕ'f̆R+b"iEG 7N}CE G\m #/&vJ/Ii+ 7 !nsC&-22Fֱ/<.Y\F*1=D8 бDI1Fb!yj_Nkm/ӧݖ!eAxejN|328(f5KD/ ;w?N̹):u@hъ)JmÛ /c?dqm)ƶz9\k-駞Éx1Q4sp~V`('yzRMp0Zw""-cb[ArphhZ~'3 iEӯpzS!f)] <[ִ}0@O:?"Jkcc3h[,'%Xn$ޟDEx{>s]QFRC|o%@=YtJ^NHVILCЇ1 0D`R̈=z6M-bD9:]Jdd 8IdGЈ59G3M{nت fc. ԑj.񸭗l<+1ϯҮ5?#%^Sfr7۝*]Eh}(lAh^'CqL/xm祂tM饅@l[u(UHI̕u8D }TW8<Ϻ+sÝg}Tc +Z8೉y$gY=ӽs-k/`$dY(@ ;LtpF_sqY'h_/L4a9z,][XyQ%Bu0ֆmK~FZH';# ;>M­zM'T9(ĭXk5a'wnް_R***&^[zkљaꦊZIj?4S,J144{o4^+!fSD'U#Y=xSTHM hTuEcrH]JumPmP,/hܑe4N3w1Xj&`k0"ж?v_"&:.m­6' uVT ~ˉnΖ*)@)/BEj}m\# &Y:$=5j>D,hV@, jv1p)s~7JǸx (Y%WCI7!3S`8a DBK%|޺MtPϮ̚ gQX/yFc<?)"g.zYf}>ě!6zw]E$ީI/F*yF߸&o)f7†0kۿLl[eG#et[:lBш0}0 v"z@Wnr{vPca}třMg)J1.T|?49ύTF83 GtFO6I[Ix`_o:\+:Eyfk`B̒7l*Ţ~hc92YXգo?/}sY}vnqwOI0_ɓ:F{ BwQOq7ckL2!|&!|0#ώ qVtXm聁тFvc>pTl@$ N8 s _Kry(1+֖;ˁy1Y)֛* >\@~/H4(`FrM u[._0[ p%r%4"(g%V5ʶlz(ɲ2.0/Opv-x{zSsݡjJiJ43 !Y3 .KP.)qKɦH1RfT`Q;Wb|Y2dW}.T;K+u .тљ']T4s0ੳPg[){׈Br"*Vfp uZ;HGػcN܊Q&@k)_(^ȾƠ(cIhv5s矀GF*we " eQv!F( - ?Fa+jkY&].Ǵ/B{J%_5s9Poĝ7I.9Nȭ\J{I&Ø%שÀP5g]l$^u0UCŖ4(MIüiN^)eUGJ"A(6bk;'c L'8nq GkzLMM @h|3k+($VG7 JVuGdx9E*T{"6ޞ@ ȌJHyufpn?EU;`)cbº]SVa8wq_haVRm$3EF(Ao6~"Хbymn";E u^~VKISӰ,vIo2kE 6|eK;[zK}/]zԜm-f/O?If:QrqYMzSI3 7sK_ Oj 9 ){}_"جG?q//t`;e[|jqhZyR*L& Rz@])#{QgL>Vu>4 *8zMDdjٺE ;( 2NW{Yo,S0|PKGQ(9Y;t 0]`o% DjޡKAgL?ףx!b թ>4ǺmWi^V~kXHkf3c%L.b!j}YSrg:,|t3R>J㲤Z7xw#ks ݅gvF,x4C:h2fc !E-Bq_//u{uRBϓ4X,q/VLW f#SB1ܧW}ՖNęCǖ$l:zX։n4At`aq'};âKa+ :p=#Æ{Cra3~faYt?O^~Bc;_'̱ Kzsyhgvx}89R'b/62B |`?pH=L B(thSpPzC0屢Y8kaZHK[Y;̳qCa$NAva'HVDZ4-9A"-BnNA<^VކtS.{bLZ?yF8.~JfXEa"RI5RL*!苎Rm:ru=UAʊ{NȘ+S=-ЀOm~e:RZv?侹?S @95GEO3G]2)6ک IL"+$A^)C)-йCD?|?b wҴ0󣛇8L]3I3N@̎=aun˥e ~N ΩfmgDi9@uYA0 its"SÌvPVni&ŸL+B_^7g󚓼8Kq5TӨ8I#j+ͫ+,W/[ hsCh迅'FUus 5:=@ۋ냽3ch~dN_51m.&\GlU }P/ le‘fX ͗P/& ߈-ȗ恂; Wќ>7tԤJrs*ugκxLAv 8wې=|e=]T{)|!ݧA<\Eǭ!=VaG+AhhJAt͈hbȶiU=͂OF{adʙ2SMKx'xP,ˆ+~ a'o[WTL7[ ggjȏt8{ &ݼiC@)(89SZ>5i H])칹9yBOQ9.)4rx?ݐ 0Nd-y["ùli}n-{D9kqUXbI`n,4)Oо;( (&l c@ct/ʼ͔o#LR6v* JM0!w[Q ҞsP+.JGu;HxnN?ɉEp6s}A:bjҴHNq0CO[4'Kޛn]㨠]@&k 6slk .?cN<|&6!!&=~Rţ Z5߳2 J֮}߁3mM~j! ?{Յ+4xV iPb\!سD 0<,tBoX`ĥIfnu^&"e<;ZnVh<+L8s b|S(nǪ퉞TxM,"\*0swlǂ#W[7ٵX5s/qW/6غx U,8m(lNbK~us?y@m_7zt%6@ zðbbmc C!S=5YX|`&CShm9trz=bvXUC^*Xҏ>P4S1V_$:I=jd2h8cĸt5~9ժb3*)u4딘>ڔ,0X{9c_P b`#@cܾ$46\.9=_*ЏYJ^m&sD^dY>h-}\tL kq'12Y^ 31՛>:Oq_:~jH14q}~hV{`F/5< k ;%R%pOriqىǰN I!л#b<})ODXLY%i/jK'L }gir;YvWDŽ]inJr5/'qB(tR{<^O :E|>-xx STIfE4ڝiKeG D(J!Rwz ZjƍhRpa|-\5uw i- u,SX[R~e>0$p!b o M@c =ʞX*9Fndlw*!h4^qT G1쇫$]<Dg}3#,btZ6RqSBCIUVfZ]Q.1 +2)Sqha7ݛ ];A"r. .s8Ahw wP$*F^J_ߑ8Sf 5}V[!2puHAH(zw0:s+rF"7+W2TM"0CWhs,oo)5#tCͅ'Am`ۃ!Ax 2=bdžwM8&P[A릔Z}i,EɊ`dvIgQFFp0*\ i?c`Hm1OMrW*`9zs).!AoP&'dqrVgB-/teR0V SZNItqSJV(&hG2 #2!5r7md8A?>N#nP-5UUjD7U&4SLx{v0D~8Qwn@=|$J!>k^`ObS-a/ԧE,ȋܞ NL1RuZB  )׻Lrɡ`k1'ts[Gے hv[?Kx`-A F3$;[LZ0e=@?>+St\@0#P,;Dn%2Hjpf G֙0ZRor8L>~%F7"W㠔Hϡ`RfsVmݢ,V߰=ĥ1օr#Nօy83*Th2 FOb;ߍ^v;k?Pl+*)EV?{* 6fRP;zΤ_+Sk j6eS p G׈tH@[L#W, L7^3r?y#e1`(4q }!tN* و9jnbO`˔>[]Rg5)fu\u/ج֬:'|O"Y9Ѵ!}T ~_XJe,$?H<"F #ag])8P+ I2==9J oHVRS@QHHi(1]GF@f[؀Eb{q} H@e8! !7طl0Cx@شHSA9,AOXd-j|.wP 5=<&O`5!aAp,P U\S $ W6CNQ MiPe*8J^{ƨIɆ,ҲqڸwNv=0Y"1XQ!Wu V6DM$zv=b}Q>S&/ `u5ZH%E֪(aq//rIS~+70*HGxyŠߴԲn(x(ln[o룥'$8F;%䌊ǖ$ ht :G)ӥރ\2Ua]NeIPgY_1nA `LFy{( ,/\@7I(k;Xkh<7{751t͙s}zS$f_&Mh~׷FA !X?˸ż[;Ck0*>z96l@0k* YX!N=39j?.b{Ms3=9J2[,fG.qr"AsbL,K|-c bO$lhq덉zfv#zTcE,bƊ6%8!oSC+sa1U5"3J+jK/RUq_*=%7c L7. 余Qu$׃4ro>W[GJ<1"@J~߄,7]s6~dV`- Ҳ@)agV H>]Bܦ˓!xkFxI u׷=Xߊ5JcX'Q*ޡG 0b@L RNK|oQjHwS ;էYk=-" [t&7SbE9&xkJr$ݽ3c,Bve2mVk1a[=*|TL6O0V#39d~C@c2M*,7zdO^㏛$"8|ր: S-\&Ro$.Z=՝D}tpzG85 2mgsGZcXR@ Vń+ONΞ"6l ,=JMGmՙ˔7}pIǀ2h̶_`. lgכyJżN8Jx1PMÁ"D~=i0 - I=$sh<95Mސs\Ð_ S:zt>)wg?a  Ͽ@l#Rkbna_ RfbX5AH=84B}XJF u̞je콨\qC`H] XK RV~*یgYղ^J @|wĝ]z OI_i(Ivb 4e_&j1f8r*iG͂觐Y0*/0CiP'g( ^uNkU(M WdN-=y<[c&ׁ1w<\E4׮(@P}.WsH! ioN$z?X*8$`=5/.b^-9bAՄPZwFb",#NwGF^cCJhP gtEhDmRhl . J;1{k& &dH؎>n Fa|nv>I đ%IsG{|_G{ &4)GS0y/~A͉yr #-A6lQb u"<,1*5܆, ڤa4Gg rBa:8pB{˝oh^Yg@9QEdHI(k-nGB /ah3*Q_"ɦp^cq |+ Fx*ݘTei