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  F F/|d| ]]Affine_Arithmetic:threads=4elapsed=325.405cpu=1119.340gc=70.516factor=3.447zXZִF! vO!]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V41MhT;JCr_= ڌ-`>eb$?EN?P/+)_(!UMF-&ŎD 3Y3SEy zӫog̏[{#BFd~id0~LK2 DȸӠ$ס&k%J -v/1-=62b$^I^E{ˀϞ&'a30j@#j WűIj{}eE2cdVO"T}=kP)ptQHۋ>&+HZy kR KX(a 괱ijK`b!fٟo2ԏx{,Pc2T+6\*l,A ȵW[$,?69 &|qpKPE`9>ٳF ?~䥬e5f& ,ۋ&c7a`^#\/7H~Fa'HINaNgP6eRֹ)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,S5m( ei>btH :uS>jO܊"1AxMRL-*Z\w(qJ/@YžϢwWZ9*&/xC;r(k-I:^(&3Bڌ{ h <(ym`UPc"gzA[uQ KC'!Laj\?-?08hvLN2ʺH)Eoc n0V$  /[3KD+8ۅ… tAԳ@Lq|gpEspd<2q&9b0"JxHJL "J&F  vVqM>D\y<Q 2^?ϖ0b^VP-V`}j Rft!)͜%Y&lrXmN==ʺS鄛$Ph ydXԋLO'A9nBD=*\!Ct@Jp MQ0_ptЅ-iۥE#.\ $y|94u;?Hȟb[ikwloBt[o~hg߱ώK3ޅriQè]FMɟ&WKϙ!%Yؔ#깓y%@mCwdYpȨŞ k[H7%3@2g,_vP7O~3ģo@{Yj>`Ta&4[Qhr ^M[2?gh\!(b-c*%+)[MZZOdNr"Imj~1`U W?_EW¡dퟺG7`EřV`eEbsx ޵-c%+k TWH J!'} ,kkRzB o Md.6}= A,6 "'E/ ߛ3! +PdoW]E %Q-PVɡĽQQy#DUS:ԟP86&i;ZS*Wa+C9k BZ=]k.ĤvL|$%@eAhݎQ V'bCL/uht:V BEױgiUJ hr+&tOMi%uW[ 9{GX*e2CsxO? N5ڭ ֺ]!Ciwp;q=0ʦ*\_qzcK*sm[94Bhù@BiUi?!gO}E?lLU<>ޫ]p*2n=Cy8ӟNw; H~\[72ʓaԲG)-a)vI3}">YlhVvqmq+..'[aSy~i&l_s˟@C&:AŊEO^To2:B$"qg057}ܳ@]E\" Q!Ih(e'+\QԵNvNE<1c[,\ky2a8StzQ=cu7YS|7Kչ*͆~yer2w۪RO1B+|vu}s[SPVIkZ [V(oRgY :ur|V-;=\A&ĝ#$n_ۧˮ נ!3釥$~EEc`O)|MVZi)SAޡ+j.RP |=E?O^"dw[팿K|g` 猪$wD(M$@#QT=S HŋM'NES24]"m2xh"Ǣ̱[y Dŷi5EIؖe2uM9޲|TL104[=گ KJ_@9#]&H#B(R$Q3Là-a&vOH>;N}"+pbM2ڧJ?K+`0=qpĥ\ ݢRYcX1!&(U -OOWл9$hykr4<_DP乣[o5U~aEqZ\y2uօ5M4aLUw&^0,G~w. SfYG N<*$UՀYXPoI*b̞H:@*$e񷓪gށ5CA0m5 nDMON& 9 iEZiQaiii$(3?1/7O5۰1ZD, =Zoj zAXZ*Zd% 6i~QyNX\Z\D9w..U$rZ[Π)[$tƨmqM!q~kM5xC_BHG;5nIՇ@6;㰳EseC&^6_sP9%5$(OKh ~GE P'@팴> :VuK75E٘?۝5AXة`͐)mlV| xA,6'ܮAr/4WM{\0ɄQo-Tl䡯$$7M+&n[-85mV^3t.q?L^b&l&x)W-L Ƶwژ9oozJKGIxʌ+yK`h~Pۭp5YGY~Ry?V"Mh}IHB'2wW4aCLPEդ?6g;кE8^FSқcj{m!1qCA6,CCh%>iSKAw|?&-tdʈת'/KdYr-t-?3vs;aKc I=jw\ODE ^jC tT =Y Q.ųrJ=5|Kan`ڒ fk|d/Jn:!xk5_huo@Gpw&i\`gMly nI<\Ȱ L5^[s5}oejuOq*Q>sbR UQ)WCwmyWGXߏ'b,,j1v @ soV Rps\!:%Ec\> t@|+cQX*bx͍0zsYߌ9ܬNFK+$4CCp|oDk ֳ٥>l"4Z2T7}\կ›[!=)e'V#[$3z?sP8Ww5D:vB'(wݒ ""b t0cqNsm5(nx[ V#^:{Cg˸`\X"X|RP4xwhJSǯSirG|rݕE+Rzf MTs.H+]tV`EI0X˚ynSVjvoE$I|ə daf}0n$B%tIg*bTTy,p6j6NNUr % m:֡r)|Xyq MV`zlj?ٕ:WҪoHU]V J}yB%څIjמ=a WkVT)9ەҮ(})j9s'fYJU8HEi'oM0kcКӍ3ș>~A;-Wyn_&ˋ4$kebK4f] qX7z|n5 nδwtp,ݦMʞzNanb@/tGf ^;_Ll/C!ROVA[6@5oG&؏b%r2Wy:Kۈt.ٳ♐G 6Nż:*\6£h_o"D<<1vWռ+$a4j$DcB=(Z?P<;x*߾H36lx/,zX Bm 9RIOk@Xp ?c5C)?quܔGF b}V1D?̶R4J9<;n̠FtdɸDzǚ3!ÆRxL!8Ԛ׵߼毅C_f| jViG[ЄUJdRNbm>gpTؔݪh8R $),DDMnow睬1Y6]5?ϭfTS 8ZkɆ>! @yѿ2 *CBP =7!  K.)5QTj=$tL<+NtTuvf Fc,vf d(1 a ]T}!i.VFUށRB\E,8{6(G,,Inf5ب-ky:ފX&Pc0;ǰH!h57_gLDd<](L;tюC(xmdtWGQ[J&y*ēp#HMhƩbMA۽gxvӘ2r8h N G2&t؊݀!4 }q[3mΞm%(-|x@eߺQV ;?ڝ63Ŀ\skOv<6F]s]c&mVȪ;x'E>|GhrItr¢"gZ~zBx|2mZ4Lsg \$kZfMHR nJk^KsO3dg&QʒLFe`"زIPMj*60EMsグAv|CdI#j #:e3ûHy[Ng35ybHxjp()Q9\K [Is~l~!F#j[l`536@`]Oi?W` QĄC86#/qL4yLrʲOl y OWIXGhFtq' Z; YK@Դ#GF $403c,I'sFB*cy\:"1lݹ3l:  j"R,Tz8SF&gB|6҈i16ܟ>2(wTh. z,aJȡ)^[aА\ҋhblS`FuCAomt@tecC^{e4=I*&'x2ṡ)!:s$U cU3H}g1Xy`uNUt"^ A$g]:Tvw:~|j_:lZg[1Nꃴ+8ɐ-Dt&8s"y s露//Q.JD gYZ7zXZִF! l]ŗXiɟ|E\Ât+.*aphG)%uGxLX#kWcfXAiO/9gUP/@n/PrsX6ݭCNm#֣Y?ЌEM]@_Gހ F1pkUH5d|b #;tr{y].S1]k01R(7BInqj5jzTw^v} g8Ogфi`qkVZ*IH\mgz͵(+N uCn{m%matĀGs9Edi~1$'Dv#h8-Ɂ͟( qTqa]vފAK::TAO+a\J.a5xVE0TGG.Z^^H(C]HDbI娃 7Rlg)cboMIW73nCq!IhBM&fϯ{Y=T Eޡ<;]F[Bc/[m';nd!sܨ>a#LQnj2Qӊ٢=t:ñ}%9ECSQoW SA@%B|n>pEUf~)}T*27ѥVX-=W!Eud5 Pjл"g.ToUi /ޚ@ S}Xp$kqLX>t;3Sl%DHwXeHQ\%_j}6kh [OKZYm,t%0["LMne{&` E s?#k]sz+>.Wg;$q#GӢJ4'%ô,I$ zb&jEH\N&~ PR#++-SWփpy6˦ zb@SmwgOjvVu>Xq&BZKdGƺXӓ^Swg;DdJ|%qpB gtgbꨘ맳M8gWm`ʃ 0vDbތƑdʢP]Ǫp o"eG3p LHF zYIL/Aڔ8>P Geu;Zuu_xWU{o3$%l j89- \S#D 5sV .SHgYZ7zXZִF! '3l6]ŗXi%GH7Ct wg1Oc/߲ 9eJ0g5Oh3 ٳ. O,DYw'݉6Yg`B+;>> u[A|_n*G .) EW&#)Lԓ>QԺ faV|b,A&9gT ).21@Z|/ބG!ƓuP\$ŧ| ,KKS^7#=鎺)LjJJ~%ki`G ܢ\b#Uϻ4r[=37;LC&G"&ʹjNVdD^&pۢhvɍ]4-e 2]p!I`x8g.IϦއT:u%wK΄Pӯm:#W\K2 76 *4?uhbd槬c3SKo*)?F*!_6gNyDY2iEMRuػpm*5X,G^sΰV>]%s"@]GKxu{!&=/P צOlN?l7WWIMfe< q̩~9Y{Uf#埆 f2J=gkv'm%OGi KŰ1|'! mMޒF )3Ov`WO1JM;t<GmZ IUYÑJլn7`4dp"0bfgBlR<8 '' lxTl('СIl2i?nW8L 3!U>TTz%ӖߴYͺnuX_1] 6#HUcᐇ.42NJ H\mU؟ `ŀwlDhlEk`M@TC"HNن kK<|l͕e4֏6lFI JK3 bF^j+zybo,|::`y(VU!Y+#ЛMmb*ca&=ȓTEd/]E8Ղ ҕE\[YwK޲R( &TPuq&w.?\cy$rqޔ`z\N ՌloVacJ=*Mᣉ!gX ڥ>KMgָkϝ^+k]^jOVZpEQ'V) FUMzAdj?w xِN!İǣcT2u{ZEt喦l(=<,ǻ<5a"ADC+ЄO1 z14ɱ*QWPYZ=Tg u1b.I3\putd#?xo m"cW̭jawcbwo7̢EJ[k31rZ&{3[ .ġwq*oz{?p|!0f0meh%9Pj0jR\r0<"UFc>:[SĝEחb`@\g}cƩ{3}m6!ѶHPE%hE[ߍiQiO}%֖SIAǪ)sBHs>Xyк㜀b2s@z(BE0>=ar{ +ψ!MaaʞQBp1X[ Ljɤ< 'V5׻ool(o_Ǟ_0AV s T Y#|!;TQ$ZY3iN&_B[j : @z=Cޯp>C]O&Z?'؍^"rjP.7h;V V!fICCTF׋M0ٽWFUDZW;:)|0?4K9`:OMzqVC*rc -hkX<Ѧܖjdl=E-7+k A i ` Ep4-gDGC꾕:>3'VQQ[a͵+*eB.^"9?mĞ;Ad~Y"5Wx$GQF xvoʼ~O7\j:gazf ǹ*?`z 0 /U9Cܴ`6{]U{ukZt.m F"g*z"OJ6[q"%2==@5Gy6gâfgaAGqaL,C*i:!,SOʥYźҖcC> @yjq!@cD1qIZac-ڔ|SbkfnoGlNld r5" >su^#-J0XDu>B,uXhMpGׅ<90-ݥDSz!HhZlԱj}էi&pC<p^+[:괓,c^ ہPvoDD606Iz{F fmFfl4+Bڌ?֘5">tiooaXX{E3LYbW P/} O)|%Gqe ng|Ϧ&!1J zysCÑcqǰs6 #i7%^" FK*b4%h;2~!9wiR༐DKݢUWdn"7R4b U6xp?C@4NxC\ eT Z*H^B٠!zme4r{֡!+Gہ^+s3,y/#!?(f :uw+. +اpT=#YN (""0ʱ * Cly.f4r tz*"5ٙ% 2\8ߩ}k^o:`.#c.eQIe> E4^tebPP4jzcDhPX *3B/a\β\XqD?zCO'/aHRi4zOb>M7@}?;yZ={++TKX`bG( L3EyOAxr#SH ¦a|hPLw|49:&G+ aLU`%х9ds =۔R+{U#)}M#JtFDvy9'r0UiVx5R ~xy-j7C )ꉉ7*}DkAs PW)Õh4+m2=)9U\TK)A~/o(<|4(؈+@ |KG$ UV/a\0yZ?3~[X4 J9D~X9؋2|so5CȍQjuv:%~KQX:z"EHQ yTo9懑 ׺-?=Yԋ7{Q>+szz/wCn58ς%yʔi~]Aɭ![$ qqϚ0&ﮊSȫqu^\KP?{᭙T:?wis3vAO!Wjiȑ{.hZAnƠgR%iAWۛXE@ۅ39rKM<fOs%b^KU< T1T>^f,q bSMaWb%N)J|Z!.xA2 !ZyɘD2vSwQւ\#?:\d@7ZǼ m,3ż1h*%6*: MK3Q.'`[~=\+-aTbx՗c9WUM9F4nR`x.W[Eg0 ǠT(?9&$OH[ -~;BMwS~C.O$w؝ŋCcUX 5Z_s$S (S 퍠i%@JZ]$ !#A ŵRD:M U2mU`/I!mXV͐1Yefˈʘ6iO:x{p|٥>\FMӬT}Z^`}7 FGF讎Cqւ^(Alnx YtK<߰7݄&.6w}~aM.!+6Hg^dx^dvhC[7xEw 0c;1dqmqMn[cRmJ[xX/A 8 ̯gjvReg 0=c_.YH:d\㱧ȔT?i;K"]HQu:Az>9vm2qda>8K$%`VGCːm&upInбZN즼t ̽jփO3(pxse%k@ pH 78Y]$֭[.CŁaV߬J2Uhsmlov^c! pG;#c#2\i:c +Aú`UʣÅ PžIm` Mƕ~DXk DaK]f]'Лs8ZW H?&!.p+DN^e*MTĂPQH~?Ӓ`ŌauP5ج`CB㔩 `FDe|v\ &cxSƀ+R?k!4P(tYb\F0G-kaaɦ5&MEm&u`-m>{\+Z7%N;Qs Q>JТфck )Kw*#n.OIQjK{W_Rñt+g&v_!i6`sBC{-Cj_E,.ЧIT{WXYT=Ai+l0:l܆rlmݯ>/2)25sh~X'iJBK6tu75O'NhmY -Fc3AT:a7x3$YA*K4x ] -ޘ*v"cv5@;jɸ*ʄa"MǟpnnN:)'v ᱰ _op|T{s ?/z`Dqsq5J4WϦJ~"=Wۨ,$hwj)ܯS{A6xsڱr) OkCϪLND|_ك[;"XpuAT{0= 5!_ ۴ŐTeLm<|=  Gh[ᐳdC^ ,spX+׵| @:M|$Mx濸~valMQ$^w@G,aGQEI+MVcq:h 4H|$$ŰŁQu;?u2 _H4<$xo/ ݐ)&,ڢ !#{U\Egad줫Ca NIi"e&z,{& Ѭ|F#7, 8ޛ2mP'mh-LBa\DF>A)g&2/׉,[CpoUm`ɩC^!y0* >3$.b܄o:SSz.Ճ<4/mCd' h7 tۮ?lƜ=k;{'9i"<ۃt%-5ׁTBzȼ/<t>Ŏm5<+׳. K ;9 Qڡ?O=|z_K:jJ:t-+[¯%m)+Qݧ7(fyE1cxh)^-h^LhC{3e\"l:i)I[ $(+-j/6y9rOTNS5IrG[>w I* :%'ni 8Ds@gO<_5v]PHˋ4qY5;K U;C82*G~ёUI l5-5S_/aO YA34ZKu,ͬUmy%fhFh@)CRl^^0?W36 'j7i  ͈/C- '6C.ʤn*^֊-{v2=i0.VkۀP.&-+Kk#m e,3x9+BgYe x %e;O 1IW c7a6SAi%cVSjP0PpaHQ~V Wp2=ˠ9jOo0ߺg\X\׍>AD%44dVXiHm,D ˙FN\q~ D⚦Hy&AZ<]QґZb&)qػǗ3__U6?12EXqU0!5C =~1rTZw#V049Ky. $Lbާ3] ϣ"V֏ώ_i*wD83T*NߚaK9J80(Y3-;B,55g sm-IGV{ߜݣVeXL(N<Ѥ1ӌ^)#8gHY;FAP<ݣMs_̒Kٌ:?״4CR!3R o4="ʭ%Ωo"(B$wRPe|T;!r.QAEyqkwqw靅"p/`b[!R#Ҵoc_l0QЇ>(ojӈC$Znz nq8vt:|Vѹ7ätޚDS@h8$ե;VlGװ']c@n[uBPpc 𥐫d,!Oíly[HO8Jͮ|ĄHYfEM Dtsj^BnP>LZF+bz6^9MDIJya;ֿӭr01zθef;sƫsM[8nwU]:{-H_wEuPv`$IPNv}lEw#q`ir-bن*ƫVC9<=LTr ff_ꃔb2(ÄZHAQ&wM:mOe<]N}zP70D .NOQ@s*)y7ۏRw 8S iÿf<$S%UiQz5BGF=ސCؗ[&ց g㰼@N]_O@v QHL֩ջ41q<.GGٰ%ţc$, Nw}tE `ȁi-Fx{Δ`g1{Th%e?ٻRRY~zFB¢Ql=4J6xB' aB*HaN!9,Qi>-#'8+:X${VtS ` J7nV30'g#8J䩛q~8Ex=K,tSn"SBA_K{ϾEvպl`΄_/ap0N%!t1tPgI6Mdɵ3S9!h@!Ҷ]MYTEbc<(Hטq,^jW`5厁5.e8LEt _eI4;P5DYmKb "LP`A^t0Q)- 4nȶcq5{գfU}F>{H*C`Yc%I=V^Y_zV xA_|N, HK@9YeH*tx-~ h?2zlWA]ץ:0.e4HoSSְ6" L\eQ5ʳIk w}E@w٬OXTk@9;9,`%a&B0RȊ?+JzgbpBB'0`|>zu 7ܪyQ2C:OSWWS8 b= xפ }@.[z'RKb6lõmnq6K'F7S(Wz],[&9 @\ttbEg#OߧѝqQ6ZmWR^٩a$mΐ"+3%jdItt0UЦ9%/O #?YC a9j S$jT^uqmF6)g8oԚő剅˲V:=tugdg(nʜ6FnY`Iw7ȁ4}b?/ϭWjelݲ+]gU*B%$v923vXj `e~õ (n0s)LgzPk^v|Ѥr!2QЁ[_HDٗl~l6(v"9o5(xTޭ66F(хbEv9V@l[+$.4#%u.(uilRMlv^eunh$(x[`̨3L/-܏5BL L=_l֝6+t</2`P1dw|e~ϧ5Ix`(選d'/+Gg%^wz>435=qF Ձ/I/B hlfd]hW_%^u:!$Î+ O VUqt (ܜS.YP˗A4U1GuN}~ nEYG(iAYsWo.nyb5gˆe~%H`=UL(Ц *#nW*LKd%cL%PE,tږ=fy{< rjĘo#\',x#!f1,|NSRAHP51+TmvV ":*GvciJgJ3qvxu=ưK {ae(OxeݔBIql`p8<[X;Al%M.n9̆]+CQXmƇN qazo }KX>vC]dF]@Db@ƷЕ4AZZvnv1NQ`=^c4x^TEa͜uH@ `O >r'uMaDn)t^-]SaҶA*׶o\BL_`CEXO I29HKQ|gXF_$$G)aV܎S%H6Pn5 _Z# ǓHw3g } %yCDΊ+bb#y :g}'M+Vwtq+%?YZ$VuTͣlΞpܠx]iBy o*aI׾gZKP>g g$Y S|B wس#J'cˠEߙId7ԮZȣE(G94V=E3rQtp@\<\UA%.w"[y'Mux!rr%Sel뤲vm CJsVX>]l!R÷r%rlH}͎3!!6+A#cIdXJ&lErS1^g!4lhu ΦAx.zYT2Aퟍ<_@$3#H{y ~%>φt= YT][C*P"sb;Ѝ=*R'苆eCV# tHQRS%7`6:տ3Ð#vGD>W\gŲ}y+vE~GzŔ2&_W3t>p?wyO[oKBM Æp='0{QFK`C7xUYl0ű5 8VF9?u}vOA(h$m]_wzoSq{g 8G. !$+&Gt`Ʀ w'cVU29JH*ܿiAg3: jNHpŕ<زgqJYsiu=!K `̤+y-k(9SxN.Qm}REx݁R)wu6Dgxmv>-S 8zAoثA82*߬iӎDl/%ӑY`2o}ψAQeCuL/k[ GʬG `V6>;S&KfZn]tJ9 %$i6ܚ.' 謎hgegLx}]%Ţ,fmJƠ[T`&"je8$S8B;s ת*'la+IxP{=ӱG/coJDX}ҢW !ێ\qf ? ݑpޱ.٤dPA^2uqЇ@ _R.@ }$D8Pg*6&Um@B9F[: jx3Ngtft>S0EY:]RkEaiR@x<$|Ø$tb1yRHqd!nݜV(F+<'R zބ= D3aSк?kl9?QJ3~'Zc8I;-㹑}Hhk(vl=1hKo LJ͛, ɨJ* '^6vٌ}J(/CƸ[TF+>Gv+e=4e3sE~c!߾"}k̚Ge4znV';QY8'_Ra[Vt#-Q6u/~^+~}ͿTI|1r JF&0f#uS\\Cg@kb3S⌸X?0ZJxìRtE)zf݁ QU ptAVRN"s3 K+qxMN|?6A~/)m(P'V Wۏ=cYG], ~;Y*Ssz0!|hF"+4.t.1L&M^pI◍TUj} |"F~;.ChP. ?Wl$'K rd"C(vxe֎ϵ`aWB-zi8A9L;}~銕)X2ݼ|j%bP0 I=V-%RҮ5uƆ_Zb<2:5ꦄ1 'Pu5@ՕsݮHxJF?&L|ke&k~[ ▼^Ff?W̕uA&;S?Ï.(,lRG8:B%7i˯jzDYV9} 7sO~OHh=Jx#1g>ܥM8:gn=9\n1ݩEH#GsZ ?x??m9N4L}RJY524O5ZXZlQ! /'b1aZE`jy@#^+$¼**MVDLu<#eЊr/O~v蠯_> :?b+\_ #t9V"+2ea#Ơ0Hngd=]l~dA@VH}pjX},YsD cC_, @>tSFm7SkO]731]=LُY({*Q&̨nebQⵙ#.t" (e`~UC0dbe3.O}t=$_{ $A`0F磫-[D`cNl5Qڢ FKkux]~401bxүGZw[3,8uSR}!_$2 -T6Hxxy_+8g=o3" `O9~濢宐R˺!eq5dQ9]h½JO=GjȩÉĜ+hMd ߾% F {NPf/`JHYXّnǩTWnQ߸ :2'iqT8҆ݟɅuB{vN8P!ɨL@QM"JOuمnzg{o,0 4(yc \&j=`}OYri)w+"N8$] ͗X:h 8XC$2Pw1`O޽ 1c#fDNbepLn2oK@'<M`8QE'dtV` =%*+ WS=kנ,3qfŕn*L+j pf:~8oS?Bߓ$1#\Z'p1b(h~ywSm 6Y}[zdzpDUj̼7a9b9 (Z-;x#ޖcINS5s{T nI?jţ&L}f*VPIF?eQ0VbT`HNBS^H'x E'-,H<!rsmxZГxk? [/m|'qZ,jh Yދ@ IH_ }l5QTPuL)>} HqCޞPax5:rF;NgÅ;q?ʓUJƒ/*5DsRtpjxޘT!onbe{d!mF鈒^+Yg:U^W}%䶤.A}o:zAvΑif:Y!O4$6M kp|c1?2_ ܃gfNltx pN=9H͋&@-00ecc@ݖ;SF2lLXo[8`/ڈeTdo0J+a+e1΢'ݧ`[Y=x~ê1R3# 7){_Eİ )Md0RyϘDvgDCJN SM3*콌9  -¯lY[fx]dELFZ$O\[E)(COpnQj~1,zM,g.G ؝ @>+H6O^2ZO^ԓ_뮛)!K% N@iH_Ԃ19?7jQ54`:<1b^urY~>cԌC 9&^Nd jRO8ba=WFÃ\fd_G0&4#|A2䠌]{?EỠ#yk.V֋m '|,, (bl"`nb[ /U]b"-':1Iu ) )(zD؀3885jZV(fŵX3C'OqG:@Ц .R;!7'rsk ?`X8lp0=r&b/irMPjri,M5z=:D@҈m,YKuߋܮe=ʍ(9, 7pP HM_ih;Yux}[cqWT6L% ]0ѠŒNJ~A5:hR4C'}hQˍ朰oj0μ/,5zx.ؒd¸ݓC:XL[ -U'p`z7#g/v)Ka/w TKyJփX,E!9{`uB_ ]qD?u"buYeS2,\q ]S|?a@0ᆺ4`~;U]\HJ90 $zئ4 ZTh6* W}r:,& p?Ťy1Sqo`.i㯶ѯm[& z:-c;em^vph<8s.jM U?Ugt |;ObOaհ@|W7n39raE?!oܔ'1}#(+3tq7䜄=M0˿-݀[ NqcVSW ƌ7AK7Kqe MʡPeau)Oӹ}f v[u'ޫxjn&~P!R2bkkZ cRyQ 3Eއ:jdӯe;9E)xHUk`<Ȥ5:y4m)JQ uiG'{}㢉'YŨ~-grp۪ge  쪺RP)r<>9=2pINvW<32RyEn3+9D04rnihp/@:!Ooz]YWl}.jsrK-Gl3:quvzОL06%ZEjL i' Ҷ0(Q.RQy=U:>XYi 00,zNn,_,7+ŧpfBÂ<h!>m %J$Kr,&40wϒy27h `d6* -Ul3~*eiv`,֒ss|bC1]7sA"`wcѨe)Iۖ70:8$yatb-Dh~(0tYBy&q[3`3DwYT>YdTly0=e7\.#Ac9X~Ihp7J ̾tc b+Xd^O@HȌ3dJHz"LHJtéZqTH_[|üb-RFmD34ShJ,E&o%E+[5] =գez¿ba8J5Cj\86ˇIޗfvߏDIh<ɣn*+hԅ*sD {wuy`W [v!9~:qCu>мM02!<0Ƙx 29^|AzŁiSB)A~lB4w%s|oL'=&37DT?cݗPּ|=dҮXiwέTŰV:YkK O:DP(Vf5&ґe'S[x< %ccTQ? wRHUu#_5;äf)%wSQZj((ZsʟB/`t*P/;k.*cRª*Z4$,ɥQݢU#s|_&A-Gz0?byp z .}ռ,bzb8m ږ$ٯdQZo\h5Εo[rcYK..aK6S:!-#GWGv*zǻr0PM .X?0sоngR8P\菰 >}DX|+  6mmb $1\t콍V wk0m+4cPnFГB+<}.:5G NP_,ȠT>в`i!I&\y~-`fbC{T t ۚ)fs4H@!PcJPhpFlNN"qъ 4jwFu,]To{ UvkH) Q7n:T4Uav4Kvs(=HH7>dJ,, ToJfY$ [ Цrw &%8įͥ7Spqn[$8:?^NώI^]d0`wkIOxZcg&Caƿ@o&9s])nL 6U#TDSm'R hqmI[okRoF͞b:{rNt7mE:۸4O 6{d_(m? *]ay2epu2ӵ- @-TGPɡZyϻO*D1BP :=>VjCSL+_Kߕ8X {id&V{ZlwqW!ǰ "37y̘STu*?$CiM"%hCP&kvҔ C,oҲ̓j!| S wJD c !Q$SPӿ(e5lϯz|S7re̻)lOV⑟-}I:<3^McbƯWlڣ0 \Ѓڙ!^!Z/a~Z /RsJXT)d>b'PSWdJ6 .YLk'혩dh .= IhaD^JHUL;Vgذ4#F=]ֳpg{ی )FGuc~2VzCn/RA ɴzFALKJA6y4"* n:ٛps:"Wrs3!;Ś=Yl.ƽq0|n8LGp|S" >}9K-5bɔ'Ht] Y Qf*@RWh+naD;fIW }/W>7TS+HHxGMPG>95W"B0"B9PK pH %-TD/iUZ`|~.O^4PjĢ!t&JDGP.R!AQXJ _|QJ-Yi H|7m=_ҾExTTI☫ѹ3GRd;1ٱ(bx U h(t_?`xX -aQc'j߁:˘?5MbmmWf#@'.x2SY`7}ʱ-U{,qˀr=vvh@*}\ZzhFܩ|H-ه@z*CW[jC |g% !;K.v@?V$0Lq ؅&<Ҝ\ "ձjU JhgzڽTu}KNWH )Q)ƇzA%ڵ"S?(rnESHO#KS5-N ϥuy@86Q4qubפMh~N|cyţ^)Lo1 qj E%J꓿)cPV-gBX‰%}PQo|g|n'C b8B:< _ ~R }i &&tX/xa|gNw=_P= Dv|AGgI/ιbij`ީ]]Zzϩy'(3L(O/"%˧&G(r"ewR&d8Jt<oR9`pƧJ%]37;I te995)4UiTeO4<{j&!W$7ĿvqaYeܞyqZ wMC9Qf ؞Y|gk(ٓĦ=LVPۖ l.Pq5P8\ratZP")Y91$qG澴?0k R50F{bA/+<,RtfKq喳A!0lsx*mzCddi3l !wQ)cL,y$HTuK჈7*sܽ;b Ke=\EƍəV8Ĉb%^!6fOj6\?2 ԲȎq8kTvN} |n]¸aߠ_KeS(>Rp.ژE }d,Pn/R[7n i}ʸ]ScєYZ35@O}҉8Pnt*(~uu6E B)c~qqϫH,%Ivq7x5<6U᣸Y&6qwH^r_oq`?5 C2z׫wc~cKrwTY()Dqbr&hs|6e&+-eZurcGN} YHXe'TN:rNS̓o* dfRq6Gꚍ^c4wz~<{_eǖl(Gg{r4$~T`']i =~&?kuDwW ~ saTkxJ'j8.*fs3:8~ы;/yS ^ wz B sRf o<Á: Lɇ1̑5 ڞIhP,#  ՈcփP/eIQ{\O =SCd ZY#Ex2}pr{fvaᯫv1; k7dUKG+ ) 2ë̥ MJ ݏ w׮5^wyYț`lÌH1C "_ې)ױj.j z=ks"b]XL麃Ix cUd{ZXc',&i3 uUyVY/lo;r!'4(u ؖ`̒SzmR-wxp/hP"# 59]H>|RV揄8 jSD ?KN1S$dI}[Gtg_"+ܼ1c'wd UQ7rsrhlBPmbp&6[N^*o$$WnugkNo_Ҹ vaS5bgU؅5CֵK߼-@Dqbł+VwD@ QM-<0إf_B T_u3<^zx) c֞'bmPˀݚYLݚj2>K5jj7% )U`o!ĔOq]2zIcFW9 U;7^ӏZ~2Ibʫ57>OxC_Q-s8zEz(km{Ya27j+Y=7i=ā*Jhb2f4IcUh ´cli(Vt/޷o\bz XDƎI p]XKX=m_Y){I'yumߊcURp|Vײ 1Z _/~W] Ŕcc= B!,ˏsttfY@>Рn.뇲 57̤uUkw(q;XIq10+0*p,pnug>-b9hn?N:!V d3|AM_%fC`}W/ЯVD̊kl~V[sfEMI#ZՍ{1~b#I"B2fy)̆IUkM@epwˣ.Y!͕M#(H彩4ɦe.SL"/F<):Z+d . CnM OG*w3>>oVAaMss0[]:Zm!L%<+KV \o\i-y"OR 0 ^UՆ T0PXK_86B#CvMZg6SD&9rєJ&`MxiN.&B\%O/>_KnEDȾJ!F0jVsMv \*%0ynjIxyy/ksIҾ;gjD/HRnC?g,YvE*~uIÎ N7S ,ǚ%zTI'x7c/f^|)HRsiԲ/'sb$?|F}LmPbn%3'*#Opz6LkAa JJʰѫO#n<̋#9#V"; 8p Ax\m{ǧzr1pA7k8Q6zR"eeHverig۔ Mn;$Ao_^["H=~&YP#IVXе&&|1Įӥe%n_|.+̈ /U};n}gVON7KI ’[QQɳwA.!V{ z.g`ASK}bS\cfFuʇ| Y $l臔gפk}n(-J_K/l%m͔%vKQ~3| /9w-yFlV<bzk,XEu U&Rn^?@Buc4,ղ?Jxb(s(q*ǀbw0:~zR<$m4:S] sc?vuf}O4cZ)P2#'N() J'fS6iNzm򫜃W̪ ;=GHar/E,lxbARl6VMXY/>L_ Ph=M1rᐞ>}z,/Ż^zo=lIt=B金896ڭZ<0rX.`?L|]!;i:dzKLL!㴎|N C/D-* 4m:}hխ!A|Р+Q5|u,(TFF zT;} -vʯ/ _+R+~О5Z {P6bEY·&~MeePK~18JneEZs-Uz>V gִ@!Ϯ1-4J0܏01Saj8J/ udqTo 5= ƍ]H-Gp ϭY(\7LaNCSfveSr.d!]13~54d˻k&~Lth W-uPFJ h*h =5d)Yuĩ: 070q\⭭{XFCL>.>n( $MC/aսLqd`t|?;:~0"ZS/ x( gwĀI^{̙{GGD RA}|Ʀr=VYSX rd9\jzXִIwAE#šOd|zSzœu.CGކq;>u'GTHx[֎Sέ͖OL CrWyr'.˯XVXHyrv,e yQpb<4ZVF<856SNAh:xp>^]DGF:HU5D;DMsVc辶roIoLz^w@q'1,:zbbW>n$XW;COsD!f22eZBx603$*Y˗ @k5#ƫ`p|U:`&;pMB(ڞE{:"(W#4.~ۛY1A#@6QB鳌WjwI@Cm\ΣW?$CD_+0O, 9G16UZj,Jun/"7_cyտg'&-:ڭ>!/voʉ:w>}@5J3Б%u:Bd[VfWv)_i]`$»/&Y0I@ CXOU>bIj1ŹCO