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 JJ /$T\ ]]Affine_Arithmetic:threads=4elapsed=324.224cpu=1100.628gc=73.448factor=3.397zXZִF! c"]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H-!-% 8 GZ:N~I^ǂwy7@.F`}DoS#kSdhrA{rt1X9$.I|,l+'٧moڒt+&^In[mvSuV=dmjRh\iQfDJ\Jcl7oo!Z"SMSQaŠbUn>b!jՆЊ%ZYv *GĬs0s[HH+#+QHDB&=a2`` QBxP]I.eauXڏ(|a@Eþȏ<{7vgM>$KJ%su8tɠ8C yò$V>ld/ 8g!wU?7AV_s_fa1bGrTRA^|3dG'"~Z2O o臭ƪհ*d&=fṤ!&B}!)guKQgwG*U؈ H!Fu-jԷ˩0W)pbeu6oB(Duଁ%"ЭnkhPNa<^ jq1$! p%AJЮ̭+mU!uw,#!-g/o`̔ތbz3^E[,#>5tlZ&vXS];z^e8e)i<^0x=NBE˩f|>7ޖUtP 3[;婡4u| x _1\Zi o%JA@Wo:٪dҚ:t)%H롅p&hNZku<{D g@A)ʆhsU$JG'H/ǃ7cٿnlt00|Si[jD3`@k!7ԣش?e;҂E׍P1$ɝo7=2[#1nm63jS8ٗ!LD8щx6gʦ$]jfRc?傆Ǹ?ҪE]msr "?]] 'J!G^}UF+ iHзBAEAΜ#[6-hJCj)Æ־/v>C ;8I!C$V e7J/A 8#x+ \n]44ZKE:*,8ބD5cLz|*^U##hKj #%0m]V;ۖaLDԾrr:>65뢛SO|+"m~l'L{S<sɐ1s[ bmo>$'h#wIZo n=J)~̈Cț7;-x3+kV Kp͖˼{ :!iRPc+du#+ܩ [{c!bTtqlr!VXUq!tAJ0V隵d / 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\* X|" Ux6ũ'yhV>*4M.[*TM-PD~dA_}3Fֿ X\o|#wPdd]n71mu3ݟ? %Mx:ǻ`;OԌt:~Oc!`ؼHu`|͚Grmd{Κӛƒ MTR+$ޚ5b]sdEUi}>dzeu6U!^⾪.RmC =;Hnv&Q/sP򷼳eLy$9*rdZcD]N,p4Ya2Wo=7-R%v@"UѺFn:F-FKgM#I*~ΫՊkyPO*_!6<"[l\LrW3uPInD;X${ybiGr=wQ'ܪ pt屆df4&3.U2v%յY}ˉ kW͇Dِ u9EDQEq;m=ݹ;]cB1a]~1[@K(Nxu6Zg Yo1*ukL;3;`Wj.+/X]X]I {yqZ/2GA]>.5cRHTHz,~BqRq,V/d1ͽYE43f~w_xlOMq닟yȅn nvZ~^^ptbAq2p`.NaSo܂VB(avH|g4<>\*/:BǻɳuJِc$g 1Z_~Am723?2mO&lOf$aKf2+.Bf1d q0(<槮Yc߾2y7߫{s9Wa݁ 3=tP7X_d_ptQ^hxQo|3&Z?,UwPj RN=0.Om[5_\Hwaɴ`l>iB'ݳ|ṔWVn4f4ܺtuhp:`+u}֤w M+Vck"V:Uh6R‚4qN@a<_Tf{0p#h2 {A5 'YA / #!:]AVCRe6abw r1 ti  _,r`YN]Ϭn YjGP%Q&$[_y2='\^}*~,EڸIw6 NJz3G= ]Ѣy8*&" }T(]vGz$cnw]Toa`kBL9 ˚ hrk@qA A[a/] $̢;BibJ 'Cxív, 0B4O$hОْg%PGUwTv3)BF:L%N6h>Z%{mQ:ηa2 ٗyASاc9 Br EUQ:KZl6Ʀd^qZsv:ÝV0xOfҙ[3ԭ msˡF'I7̽ui'PA9|EŢ gQƒx&~|}0f"[?mr6{n ~eT|o]Z洜wd1cg,EsW>滅 ݓw&:.qd?UK%e0ugֺG^*V\0GsYK,mbr3ݽBVWS#.WNۿ]cZrK7^D*jh*exPx\.~Xvpi/hZ<"4 {d:BA[3DGH=sstS$f\7R{iߚ.=c]?UEY2^2V7 -~\61 Ni@ FbbULUz&E6ӭ+RsB0h5z]< @ti-S{s=}'nDI/uu6WHr.Q5N@5aJ;IAX"nLVVgl=ȣ*+]~}I[ jm3VnY:wZÎH_fW Tr9X_TJ RWx58E|lcXDj3NBJu׉Tt= j4&;kF#S#йu,1C̼QZ>QFv-.u3HXKYE-LuGKCޅ[!Scxf@/]@I.x@P0m iO2gM1tLĻGS Ě’s8(kʴ%wM2 X _e@̑߀ ~{iq#-"SCZ)b *}#̥QIDW 9Hwkɿ 2Ŭ0Z8zJ%,iMHTsKvNNJQiS ny C" %T]{#Jsyҏ/!t(9ђP'9h`"Ӕ/OٛoܰFJ kP՗i粍[ZP13M䗱-%g&֎nx4 Y*٠ۉL4EHcp+h\LJ 4?ܪ(KyTM =[zg/pKE-Aq?~@ƨ`ǫ8U-'Иs-VKt_O%:KawG2 12t)#O Dً(xksvkpg7+ LS\kW``U+jঅܹ%V'w`(0nx2 zc J R2Uؠd{%94ЍŦS`?O6Z`Ǯ;$_9N[tLSR^ɉtAdtYLuxƴH.} zz8`";+P= HT+BM &c?lw&w1Sw)GvOvVlZJL3XJGN<*+uls+GwԷa+悼3+.+p̈́51*EЙI[,kjCH |o6>XeI3K3\8C#nEd/uOXi>*2Ų#E6: 3tAp=k`&Ʀ48im]>qg۔c 5urZ: ;'jƖT,{ Qy4z5^$L,ƧtE?&de[Y6 gBOv FrLvk. @.h^ W "I^h3 d*eٻI 'q <ڴ9`RӗwKm!Dh9q}ꚻsp,KWgUNU FZAhVBvHB`0ڷLt'`NCrΙ.kIJZV%& gj?o}ZR`4ItZ@ w(_-\XL V[o?*UD20!;yb:L^oɆK'2Jބjnh!#`5%[-xu8㟾:E2%k~~ zsE2 73gթqn+/AM'aT<. qxh-HAf c G`*aVfz,zڶ* KwԸ0.5Z} tkj:+.aK_vg7]simxl!a1z i&$ ޷M&'667;,ɔP /#MY; K> sʑef95w?s '-9N_v alVF[QIу5=! ]  DWt &ji鎡oe!ri몺h?g5Ӱt~, Q,^F@n(gz9B,|%/+G'Y59K N k;lYD6G~#O8OaP Z|Dnzt{ӑIU}56̻s\yRhԊ4|;KF4[z=@!3<ۉI|DBvA'Gb ʸu- &Rjo{>rHBq)+z;qR3 O:]S6 x>'Sx o!Dr?Hisgs7qnH(,^e*HtUF'ceݒ8- !D o^b0B4rFDb$?g88>Hj<\,>}d>x2dWeR+;^q1bq=s"o՟ u$o}IZT]mĿMr/* L bOe lr2M0с{KWTMжe7!tpao> i9ʆ(OУZԄ⓬d[ID6F[%B -(1q{E)}gYZ7zXZִF! c]ŗXiɟ|E\Ât+.*aphG)%uGmnOtп-G!wMIez,2X5i^KIyf&3J=kHJQmXi6a=Kuia(Y, }Vm2/n0Pl92gB"a4%[vH+gGmp'ȟhY[#|81`9b*?%դ>vKrneMUSE̶TBiQCЙLc/ '@1Cc*< Q}ex1;_ڹDSI" $z1twds7QK.WSN+ɼ7@=j_ `lØNv€VKcE=6/ r2F<[&΄,HF'1D=ެ;)PcAR"V mê"*r}\N!eL[&QaBMجUw9BA|y<Tsk$QTX+qyׁăS}%ÜSs>/HuP`|B] \tӪ AږV1/,ȉ;yqR&GV'&Ưl "pD 8ݫJ^U a\ ?b6s*q4FS<%#[,+NL4Pv++d]{Ҡx-X T$$=Ńw!cs\a(x6Xw) *.{~}R'D_-Y b7  ow]lF&=y[ՌV:^Ƕ|5r SƯ "G 8c 碻ש)1pv0>2K t_ k+\HO?:ˍ ۷:wVC+9ѭ -]cQgYZ7zXZִF! mh]ŗXi%GSK>802B䓂OfNhD-WN^G#VrY&ьi[qO,|TO gVxqьuQy2 cEObCuՒ<YFB &I3+^ZSfQbqisLzն{\ YM[wdqr0Rr[Wz[v/b')~ԇ!*TU=)@. ePu$E>v)}wL՝z:Ċ0²^2 x`tM7~E*Ŭ%? |/̥mM_sZEoχ>|!Q&%7DAάT۬KrTCBMaQbcX$zǔ|oQ .?*B*Ӑ::HL9*:5X!*/N~B/qK}1C?TV`i'Ь{Tzå:`RFr6y .#nl¦Gu7Lc3;|@0stXgA!f;a{IILTڿ; s;J ˬ= qjsKzDL1غ5qk8f%#O~/Anu7'7Ɂ.nex6Bx\ꟻ ot# ^ʓEvD?x gsq]֨Nbl *y]lP)ExFLi?o /@r9 An b Vh9e5r[wic"W<'(u5c'[\PLa7,)zo[a[3ScnsTb^D^\3S/N-&0  H1 Ed t\-PCk`PWJ~|$в; `GQc|Di]eCTo]#Th_N@=":9RkN.}#v¦6 w*E6o '37  .\?t Ů _WnLSQzpr്&0[tPYs/t ׅğ$6 e!?eu՘]7ĊK^;El[zMppN'<0; %XDY &!>O~8gѺƧM]ET6=qBקZJJ >'$m0~>S nD ^䂯I޿ybK4?Et"rsJt8ia!!v4q;xNZ`Xg/J!Gj'Lpd X2=>l$[  S9!(<6jcƊȑ7#&45L9N㪦iw5E}pSh XkJÆ A ;k&3 K16%\2?\=e ެLM^oQ_FE9h"C#8ZzXg ?k R:9|֥tt+@`"Ӽw<ql4g3lēp80J gWb%| 1B}&Vx8_|cZ[{ٔn5@H4P xpUm"D% ǎx˹ ;/ %۳gfܲ̄(=Qxm֭_K1'2h@ߨ\Ñ>N.IAȺTdS5.fVB Bq~.z8,{4 8lVI Ui37ror$₄߆ixuqУ&y~aI^Ĉ ty@JYQղ%T'TCn[S 2R:\f*X >o}bw|fwd@ ^7?uxtx5 /e}ǃ~)\E;z-tWGLf|ʖ"@+AIy1c3rB^ސDs><2xG笟D[$3,L-#lC A[ΟcS=B=` %$?Ct( ݼpWD4gmo*+TPyZg+$c5b*Wqx7-m7#x9uGv|*aw.fzkeqY mruVg''7הsqcOINxO`4/HFe{e3뼆Bq`Ԟ&RK{$jWLlHP ;D.Y3:- U@6DI<%EGaݧ6)B Cx%Cz;N8HjcƓMtu%769[ă7JT5!n;BX պ[Z~FE~ܶ /4-_{ k}^ B@Ȟz9Ife¼PJJh|X2ZM蓮ǗdJpdQuP0צOU"MAU}%+LEصxppYZ9T;BQxBkg5'8#GdE4I}GZad˨u2 B/=n^Ra$Oυ۟qꇬyQk#{+άTRՓ6 9Cv"?zaq.Y"^& n\n4jAAD0WisX;bzarĢahMu])'U[Awx#7B(Hyi67!E/a,x%nۜ&}.m-2J ȕz G4,?2&].T=-D{yj!q%`&Kv`CʶLJ6`ZjfYvST&E8nSXQ)` !V=pIu.qyjgkjQR-J(Td{_Վ'\Q S`ȧDQGz\Crŝ/Djss@dp)MyKP.YS`cKH-bS败xX(?Z+I"Lb ,Qo63*zJ;`^mL*kZB5S;^c6ٴ(S~ج\Zo*′7?sc'cgXWyL/9$Wa1gH(mw~g/mˋ$nrUvӳbbce,=뚺$\;8f;rZ7+"xՏϒbwj30HM3` Iu`r݆ٓSH]gLΈvَɦ݅\rs# !<^.{C+B*'zhC(lQ6$?>V-b-s"Op"o%>>X ;|]!2)A8&$4QLܶxKȱ)1[RhLi^y i17尹|9/Os5n^~N[|bk s WuV2/uaAo+">}{fqdngHωą\>L5TY1g=T3:ٰ GR56'Q_؜'d&SpXBvZ\<Ӎ?whGkz]3(| 7f 95JH%OxhCi\tG2n_2|= l#pgi r"]O1 H$\dD;іyɢe @ A*@KKz GZT3K JW䨿qXeJ-%Kn@Ay[Y|Q*G᷍oab{ 6eyBb9)ij"{1-"AzgEgs֗+İ?w`m"FMՆ9Hlwpdo7?AT>N>O+6^JeJA_ZzqO[oe3x@yQ:R2o}׷dUm}LFmeLLRYQ1 !O'0YbA/$N 욨{NΈŋ5x+2qPf'~ e.ϗ_  Ud lH@b5QI ٦9Wa>jյBr;es!&(.i|Pd{P|L[5&a @EeTJ3]A'u(IKKEU*Nj\c|Ee]u2lfe(AGBi#Af3Rb FgԘbǯL5!f lȞq =܂ Y zw| /%U8 MK%2 f&=WxA$Nv 2^mWِbc:<0Aɲxm!tjs/׀hCkg.J/eBYKڀZn}/8iٌRĜIX.Ih3++"B8o_)# Ƀ7# z:#1(pGu-*W*8GnmWQfRph\ۏk˖\A>[6 CPLk%zآڲI|"F-̙rpL:D xm;иKJMTⱵuE-C~? =Hnf%gμ2Xݹۍm-.kT?PN}G˞32"~m:j^ %5ja UG>tbjcp ?=g0E|Wo5dy>foN RG ]5CvM, + ڠJ<Zh{3-*ׁF{4ڧKwq%dD"9GAϱz3%?Z.C[ 9K㾰x"_`p4]n֬RGy Xy=&{ 8_Ul{S?Q36uG 3#};]'H(Ҡ+Vkov<57R8([W {r@XBXd8a\IEU{)P.nEFn\nO( &>鯗T &[a' %dߎD cp&:6) z9V+ֿh8lkUC"q0yJAMKq%Tꫪ ,/?&:6f6u4 C4E9n`j^'{fOlU$G])Q%hԬ8i/6<V~g9ȼ8ғ=K(RM9L/IwZWz:l.Xx&3ڰȁO}CPY(R(2LJ.Cd:7 YBi@c Q[nτp>upU#+̷a8^_?P̢ɻ2haBS, [ֽEd#X=b*ܴ0,'laDh'(E2Y1(fczӁS {lÜnZrBq7sD&l(Oc7|&^:_* d}aYvy1u4L|M#cP!<$0 )iؤod{wV]/bQ[\_JE`@( .9i CT}}έrP)6 MT$O#蘰Қ}5O|ࢍ챷ENW"Bm_y5ege&)< i0UBUU>1QqN/_f~Jy9Jw[KEmH::>G ot$9*v"Paau e4d3]w"IF-] Z팍{Ygkq82țlOx0]=u2}!)q8G*{uS P x:6M!xq.!@h42Xr8nH-l r0"?r3~ !{-v&$_\ V#,,ZC \ a?yZ= mIrP(m ˿}P2cq}b%1cATI?KZ͌~5 8CtPzЋ'/4}Dh_F;EK)^7H|weMMax蟨Ֆ#I&^nY'YDWP񣇨TE5s_aޒŠl ,Ÿ+/d- |&Q+5p [=Ϣ,3S(XTnp7-rVJmjO`-jQӏyj`tI?ȹ~TUB^\[;(H%<ٹ:Sn3$=:RPh;܆ э~Vͭ9+ue0Y[F!46J"5,l0|Ӌ_`qa/Z(mZ@SQpYV? n(zZQc[+Z!s3l@eIn–+]|[6H~_֏7l? eYk$i7+D /LŶ8g]60Czgl4KNy}H eiiNߗ >X@E=*Y_6 ]a An F])U@04'MzTaS 3Ig6˜=ڞ0|z{b+zE Jw%i 4ErgrWy|ʶw=">-ڿܳM5 DH@~ $hmwr<: Xȁm}rV4?%.ZpKLR郒?gKTFfevav9 qU(^_gU:cٞrUV#0GN/tT-;v2R-:1GdNJ&*o:$+~L@9S|2Hgj+)5(emO9`)E;˼T(Q1?UDqv*7y[*6˸eOT5o!Sں᤽ǯ[5ysIB}p9vވvs3a? *?IlA9 AK 72.(;<,Ad_Ì &/X+=c90ӴG&e'lT!z U2o^' nQbIq5eaw#:#(qa>T^6Q \/Xͤ,|y~LQ4jt8GAW^oH:Zg8^42KH.2#`~/!TxSFpcO2k47e|3a Tzſ[!5h2T ztaR1ÂW[AULE^UȁO5lesy@{FMd߅A/fOiT}`N/Kҧ.b;fPЋ 9mMǮL}gT}goPP(?kNsvGH5-|MUAZOt1E'+:NVi9Gu3٬oi׉Λ}*;*K7t 1:AtO:Kw_m՜?fzaZhEZȧEW4腝wGgltrH_g*x+Q`$2\).޶("-w\)e,T^?AzJ%ZBv1m84O6>ۑTfNԙqke\} (A+6lslne{qhBY"{+ HHOKisOyQ4]'-Z`uO8f'Jma+ Ębbf q[$,x,Qd \׊9[2G/)_G9q ![ X܃i^=n|V "Lu8ʁMPm KL qO}J181UB/>v$U/E.wՔ1<C q^ߚM 7LRl纖~S\j4Jӫ M+12_FdŠSJ5RX!Pl;6h'+@t!¡F_ܥ{f gS|!Qpeڝ VjnBZo< i.(aiĞ9M;\^a|< \4&|WdRaw)C{M #Ms̈W\RqYU*],d`}ċ N5qfKʷUGw3b2̾faHݗ*FдDYz6 \ONb''ICnyGinR hB 8{XXHbt(vф1B,.Ϡ=KB|RtKZ!s5< sQ$͂.0YO'N yrJ Tٲ#Ao׷XkߚgKCD*+U?ZMNiV7+psOPa={fS䰤յ?xcp`Lܗl-M\&EW.?z"KFCt^o_"#'v[Ԕ"XB[]d# L> ZpDP:i&XrP{G5Q8B}o0.bo=D~JFnApe6=n,C2X)$n%C_ {NK'uqf_ {|h$Y1-JݸW U:(+`vFTb 6֘^#@#qxa#9Hr.D2P)wNE3qf;.BO4(P 1°}s\ugo0Z\0 /:Nˍ"ZT/"3$ e }6A}+&X#̒wAy#]WY a+_p#-@nY?!#1DQS.!XGQQdNgzQ1j[adY OURo#T<ٱbl1Ne2Y.gM>|fЂknW+򆁊t% 6_&%6` h4/?4 Ąo帰&ƸG+)ѪxqVnk}!3y^]Ygk4)V-=la!,\g]ġjr?2~i5ƸlKJ3 ^Z]x6Vg4ҹ{cdl?\۹A^h=\Vf~~0P'2' b|YLwz6&e16 ڸdݝg]P@)eub} qVމie_7A7@^Nyg0#sM1Hc^ƫ-+!,"_I7:R3e#UG% }-ЊFU&쮈D)l/5]X#wQ0]fu%϶[t`( (Tȣc%'֟_#l_IB+%n%gʷXtKK,A’lIJ{+J[ڜb +Kꚰr]+< q J~Bhƽ!Qj9*z._40u$AsNְ '{ 9[Ar/+&O,S W $JdE*Mͤnψ%pb>ͶY1ff;g*E'qf+K:/oAe3s9ii ͧ`.,±?/ ^j rjRJ0GԼV3i:OD%~>53?9PB:=8LaVüOU" F~70X-b\3* K#d.vHNQܲi`EF-e X?\~7hC⅖hwA2M*71v`gW$ԟ*f<YJ8%5# U/í(#{bD]/h7"b*zM=`| ԋ]e_MK}\Q?=%Up2Q<>D! txĸX~jK!IڢV7GVFfU(:oh'kh_Mn|Nqv#c}ۓ?-ay?M+4fkUGٞ4HCM.wSӹaSw>wQbp 8,&঩:ewTUȏ"F| m]_ Z u0\*QgDO,`P#<*\}+ _R M5N+!e0]q$SrsEFWgCGBㇷvp )L[=j9 hCukww' DQ#>0/gxCVIoNlޚt Uj>rL,Gl-p.R$ĴTK9[-X7]YyKXF=,%@W$MZ=l } l,JށĝZ1v hHˈjn֌Xh4gzA L7kՖ e0&g'Kp-+ 'O#tb̭ H rZ(Wѕ 40 sun+ws |>"D!Оw5[6B >{ lt]"Yd܍ԥd]xmJ7$w#Aϰ1_v/n$/ܗTd93)iT@tHu?<?݂X #kczOfU|~HdŽMюLF\Nq{нi{ƳO= rF9Ź3/*/qϻAL]1[-dvAA,>4JhC1B>B_gy[T ?ݺo]>kP?xjE2o4_<@Moi?jJt5u#3zPeDƳ #~xWB&?kB-z74$gNn 7#%out<{6BK:,A]qA"hBVeHhyHd[*S=W% MA5Lë&|RӉBEӱd6*hh\ Ǫ8%A@MdD4e=RB^*^qE~TIxZ f_:܁a]ےРZgʷAM,Ty~٢4t٤gyLDZ>wKv;!AoxޢBm@DzǏ䥝5r-BAdki@ ՅmOM#gHPcBpj#ց^gSP[sŃ~wѥ;$Kn]K-GCg=R.{fBGUdtX^pA;{"?B(\2KI/* 99'_ׂx+:I5]k_:yH߶E3AQ. C rɬr(VmHa-} hVܡհ.TI%K]n{!SIBb7蠸GP<1Zp3OhY6H 3i78eX (ȕYrmsP/A%m D ǹaE珊}t<`!0Cb-*zKKD%f6w_apŕicJ'p?rCfVnl0Q_6k*2qOk,!\'ip}IpbFM;( ȑoLJY$ePvM>qJPV"]۔('`SL f8u@c|JNBeB`K 6 y iu~MD~ 狊cs%,Ⱂ| 5IGe{a>%NY ANuIGLJt@-%˓IˈxU? fDb?n'/〬p< ?&ZO5J >v4xoMC"qzenx J*>N۰&iF#C O+N!ա,yEnk9\qyN{h_$FFŒVg[]vF#^ئc^zkmSp ڎzX%O+Kb*KZlo}P0aQz Y4v_cǗp7mY)^^}Y3d#%E~rIۮ<s˃iLa\F:V͎c/jt7u "y{2t"2jK%EDSN:&H(*9vHB(uQXR,onIu$$'϶v<@WzDw >'eRҖ͘kG};Ebή]LUnB)y |sWK|j%inbX'Y?'T^wvou4`TH}o| :r?,eݗ|\΀鸧קa6u|ǎWZTCRB"k|w8qQ.Ý RТ>Zھ"cᏎB"mʅWP} u \(A2[PuSh};aWn P8L1kf͗4 W~zx_bN \XXw$ZjΦF 5@3"粞]Y(bp#LNҌ(^ o L<1?XYY4r:`Cjc N:>fuU`Q&n#2F t 1U(cˡ{,j55YE3ڣtP+`7 [pAʴJ8x[CaPŇsKЅZS$r_2nS:1r7OCd~[1$,;NiG*@U5P'zi~yC{aml 6?H1YX1H;Y0$Bv$x=d$MmE{[C>yQ፤Տ@r )XGK101w[T͇<سmQC7CjӑqX<(q>]ŪӇ7!5ɧ4ώ hpbPH3P8|}S0{9y>Pm6 y8#+h^y(ovKlsV]iZdWh&o4 D˛;ũM"8&A-N+7^9:]_d|](Ɉ(H#7>DܷKG2?YB_v6h5M%1 0) (0܃x ju0 p,*_7w:ֿ7NC9 x5BrNZCp9`6'2Bōؐ= 49J:ѐ@Bk{1#FQW8ϱ2Y#ç)jNq+VSLlYiG:&7 +b=iü ʞO?PYN ׸(SׯLt \]™Cho'G鼓QX!2nqiJ|U/x0!K23ЈXN#J X1tv[2}!1lr5%B#zД RR#PruSw]nnp|4Kiւ.3Xn"= Gv'>nF`voޘoQڠ@͋]DB*2O֑2Q. G.CyX)y'bzlLhdJ׮Os0/j?-̻mB} 7*g95#mGpDRahE-w}]Uj׋A†ڕR*$2[wOmza>zaM?s/eo*A1?J`G~4Ǫq @p6>_qԛUJQ3G%IPVsf|5»F1Eq/—8Bx\Q0is >}އ\ z!c B@f=!D{~*$ V_1DC'BOkAm܈gۅc;FF'q/qk#%Ǖ| F4sbf2PoW?q x~Sʼn9/jW5.hQnJx+Y~B6M8t9n@#6o ⣳8$5H%]eQq,ޞf!RaY2i`'3(#,i N`G*䩴uQ@y}xP:CC:xHB%?hGnԁ}7`*ѕ\:=}w>|FTy~xpyf3ѥ!8hpCG`;_:ԬD[Sh_xY$ٺ_p=7mfH>;n =&wƣsor,w$uDj>:m0qsq"a+ܵvƾ..LH^4MFEz }+q'NN*&,pIˑY*o,qk'R aEn.(5р|}΁) 7I%]%Ɯes - f ’bLiKaN_ 9xf,hVS7 K_mWVC)=SP(k"$s7F&pn'f禤Ƨ\x1R9\L'KTAnwg*A` \!_Z?t#*ڹhH^f.PGyXB7`9;j9=H-)[Kk׺Uv=;Hi~@'|~]|fO~o"^"_+@tSK*[t0sy/XbgFm`Z= °_icu g|U f?6DgWgAhaZId+ckS~I:r!\tf,m lB6s;B˱(YcB8 Y,LsfZGsK[Ky t5NʎS/(7H4^:'V7 sOx(MԉiZ[G]KuYVu 1ٽe22t<4Po0RF툥iTj4a'$Co\lx6Ϙ\hy.~xր/R/S;z^x5):eW)2CV ?b(yR1" !^4|c6|Cm= l_X/L0UƥJp`XLWn-wre)Nwxy|v1,˳N{gk8i - VhlT"/kkSdy*% TxU!:0'GTC^FOĔIhMGҜ;|p(APZ4x++!^jB9i~K|zpҌyLl]s$-e_FDOfNg"_NVfk7M]FggQ{)$3WkR'lyLHC{b\8" a8 d<m)׷(TNQ$AN,X;wL|/bLGWs̜2Yb/KgaUd 76.{r4˾K[搙^;58~"O&ȵJByA*D2\Mn e[ rDesr"0ϕgM^El<JFxY #3;0I%âթe 6WȈ$h/nH!7J*e,YJv#3:v*n#E]JS!Ux)ː}Tt?`҉SC"Hns "uVj/Κb"J%|;<$UP٧Z1Շ  n1c"Qne|^f2B$&vyzQM|zbІeؕתq9pfsR^ ox!=G $y 2-5Xy(EL.1e$ %鲓1V5 RXI(E+ =I_|1M{y*GdC5^() jN隸:Z@pw[V)eѮY>V=Dzfߢq*^*ǿՃVd0I׈Pyb):a0s{?e˯;=T#]Y9` v@±w_]n'G8hPUx$i;=.Rv?uh{k)4}1-C: [coAmGm[Z~yt)"?жs49|vqye 6'Os>!y$<+ud.^B`Z?\kAΠ7($\[M QEK~" ŕF$~dԞ܏a o];N>nngl}JTpB;߮[3Bq.2B<"Tu~+Qa>vIH_Qep1R)5n4^rK.$ AV޵1"NOS4iW/H?Σ0RX3&M!=R3#3̔Zf?⻿}( ,[A;O!ӊ!?̍0Y9;ޛ%cj)Ji8uP/.V1N)Ή,t+YH$Щ뉰) &Cjˍp܂).^\ܾn1RLD3ǺBu1لSzxZBܵ8oe8eyA鼳t-Bh.ݘrnvO%%P' vf_AfNt˙͖֏*\3-AÌ~|f٩XyPf98Kx3bv\1j+yܞ0DP؁EIaZ^7MUR6{\pʼnY`;dk=Kfh]owK 'V,ˡ~Mfi؁@!{<ӶRFpvJb61 d|/7TzXgZKS&auĶ@UN^a(1 S(EY/J >vBN 9d##qzǕ2A_Y{Tn<e.ҿ8z1Qyn""&Rt:u1hj< {(@]ʐQ" "1$β7.r?.48* ?dexVR7]›US.C'<(6e+j[tOcÿX$a ,]d: SS˭1wt"KK3|[!vϹNxyX<霻38Z>G;@8,yZDXoʋ_gՑg! -+e9@}̎hh]_:Q2{M?jr5 3}f|1ۂ1`)`T'OrjOQXJ"Ӈ>~epˤl*'_2mhL&ph+$ ^{SCo 7-*ї3 ;W'`a9 _l`q&Tsj9rd 26xgogIx\zų%h4A1 6 >f=;a]YT76n&0X+f />[.?EcoF$`֚ףKD}Uf:;T7R8ҨfSvǔkd!Β!Q~Ju I5@"'-pf ! t8[s! mpkrhQ?cNh׽%^L7.}X13ݨeHWFWx˚"]Y9p4&HrvPA/d-z[MK}wnB'Twre{D*(ØFPdKU>\H|0 `50yCJ:N6 J~a,?_ΣlKKLj)h"^;& hMBcПp^$ 굧6O)1B;vv㲚c֞n\̛W$_%ù&.)7NA!2AQ69T{64yaQoPqy ^ p/姣[i:ڰ`)l⃌@~eh_cKR=n7M/ u2yuC&T#V-P`m[yRتħR۫X@8k!Sx4 6.K2@<C&DtTHwޫo8s VY'NRv9jFuhU&~ q qw a{IJL2;0z*bj5q(b~^d[/GE ;]Ύa,>aMMa*N:@e`ӡF,DrٰlQ)!bٷ$z^pZq[>b/*KBCu"bdaz ITܤϧ/J@:^o&|!F}.}smDRD$S$?[bMP#.vz1dnґ%5-p2Mn2Y\GU u}GM3_&x5K Ȅ8JVÕE@ vӈִ`0n^sP_a>- 1OeF6\DQc7o% ثhfPE]M8 /jNPL=B02QL&+Y3HX9pNx+~l&. nmƓdwrvHm]-3jK cuֱ+h"599oUCh643F".qBB䅾2+= Ρ8gYZ3a6c9644499fea99a02e9eff666cb4e5cca5a4ff4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 1b16a111f65141d4fa71eaaeb14f0d97bf2a28576a6ee41cf2f82b7acf5f631f2c49a6111300fe01