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 M#T,< ] Native_Word:threads=4elapsed=561.775cpu=555.208gc=4.708factor=0.997zXZִF! D]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&#Hi iO,]pn! n#uj  êsbiA΀)j x)f(1ۥaePGQSlX L]*CŜ}_gu4UL'1 F9ܗBvw`z+ 8F+os9ζ=D˻wvD`V4H7V8!ʾJ#8#є0Oie10!O熾{9lĦg%;[v+(ٓXy^+D:2p}^$NRG#3z&@r-O 2{j݊τ"=tr\k ͱ#w6Q8 kHA4VHj6Iql1 op;aD Yu=]'v[#೴l'SngA3'ģ0q̿Eg ^a&qV˲Ot-Ne6[];9[{8NjN[nt-W*ؓۺ vEdqF* daUt`jPv`[Cw9nnހ l\ۛ@ `e+{Zoå`%Dƀ}Gl۵lM.&Ģ<4؞gXvG+]]BU1^ ?pMAv 7t@AAgNrGJcp;ߢqlgnwuIܫdiKKh V\'m'K )*TGyx k}w@@|_ZcNU(R}X%ԬiQև>kA'M#5v,?8{ DT0H'QJKɱjύCfng.z=VcNdf¸*tg` |`EU*Mav 8z+cuN L;{aEZ ,4ҘLYԫżñQ/+C͙.] # Native_Word G#O+ Native_WordNative_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 %A >:#A+Native_WordNative_Word.Uint_Userguidecode/export1.MLC#S+Native_WordNative_Word.Native_Word_Test_MLton2code/export1.ML<#E+Native_WordNative_Word.Native_Word_Testcode/export1.ML@#O+ Native_WordNative_Word.Code_Target_Word_Basecode/export1.ML 66G#O+ Native_WordNative_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 {{#E+ Native_WordNative_Word.Native_Word_Testcode/export1.ML7zXZִF! {[]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T4"XEIj ѵu}GJb E$DGb߾XU*;pdFB{7K`'BY8i 9d!O1!*fhCYB|!sG&[a4&< X,Y?t?/rPagV*dI Ck*}yr`4m27ӂDjkb6]TbsZFޜ39pKc Ok-jÈ]쯶r# i Vu}{/ ,g0s2asR66&R_ jPB_Q&je3ʘu+MgVr-OHdfOTLӽ@Hݭh:H0G Cn.: /TXOxU/BCj pCj0!FE:aF!9kG %|W|dPX`fYB!t{o t2_8`c&)V"?Uk148Sϻ\7Nز+T(_;Q~S׍ q`dNoĤ?eƘM:бma=TmDguh UG[xIPLJs&ua)'em(X6Y.ڡJ<8b9^~* ￑.SaIqؠ00~H݈pܸ`g+z0HѶ8܊z Q(C:o!OPVCx|hq mlJmIM"0dLlv[?b.IIʭ!Dek,tԃۉm<]3k %=>J;48k1T%nh~[d8MHS`0Bn `jx6x9mT_;1k ?Nc׽Q%uBU@ *FBv/&! }MDkE"|vP"b}:" %VcUjTspVpl0 ;euTVsv@щHfP:̠ hn4N&CD9yF)_xVJK>V+0WLuxsޥ%+@?ކQTLH톔Momq&Aܹlʪ*C'6y[\2YI \Y=O0@\< Z?̸1ESWqCpE c }\ ž j }{Ͷ)&vP5szr+|Mօ}RRIQ{B'LJn+84/)%=yE`YE;>Qwgm{}[GIҗU,Lk ”,<5e uR}$QƆ~2X DKci&-;͑L&=dĚʚN$F" ;+si8fB,<l&v_% H9"{ѰdD(;;m !90f\\1Pe{ &Bp5FO~y]bvݕA@Sߦ7ř|{tpnz<|d2V *PBTB[J G eSi5M%ǝd͠vĔt$4+ҕZM{v \>:$o\~e౜I"nu.E!確&͘q`1ר"9㕄&xp0!ݘ#RJcf$ai&w!MS@x5UrU' Ba4noCk|ҙ::4p_zRԏ!963I@ZxI8$ixK0)A퉳.9ܞ_o,AVj;m?/rq&~̅nqQ1)x 컠STvIgYZi 9d!ߵ^1e'hXƥݼ 9N uT@l@V=ޚ= .Y.׏:TҀȵ~{;!C`@?bz ) 2UM&1CMCewfT7^XG3)ۇ6“hߪ/Ǽ7*BhdfQ$hJ/Yۖ \CqY9P  Ar\9cl9}] ؑ%BO!nlEV/ѝ \' Viô+}q7 sXڑa_c ClY8I"\gE9;QG7(+ʏ{ÏUɤ-"$u]9o8 *H-Z'fPIz( Qi-g69 ?0}d+oD.9G#@-dB"{UX@;RKЌUS_A^+IU3 = "8'>KS~Z"W|({1Rkbq`|թ$:_ȳ\RKEO_hpzOC]kZ 2V`jmw`>up Wb s6{c%]I%!δ󈼡zT<5rHU-k!5YwYh.V ziP -&P5у #U TYcR艴\@P-ǯP\ו uiZQ!s+T+J<8+ycvsQnKdb(8f-թq8NjTdVYk8QxPD(19qțXBh!mSg[$!𞮏d簆&QP\\p1̂qMm/JVGkn !k_ޮHx< $=\͟ɜk/NՎsYb~Bi"c[O 17*;mDjEʽ":Ec%B!u{\̖Nվl4E}Vխӝ]j.~X NEzKoDT^GVBrg]hLp&'9[=⤣ "bV϶/%ck|nebG:_su\Eȅ\I8yE3NDM&_`Mj\XOA}Bgea$.L};+(0dڳ_6 c?{s(BT@qtR$ݖ_֐$2 -=KyUr$&j T56RgԱ!sErC Kãz`%UBW@*E}Ϣ)_} CQO@7{=%9 d?#ۏIlAAfAF.>9ZG ,%ВݸHg)=n華1Q%pF,) meBײ\kyb%~tҝ_= 8\$!TM7xE:DY)q4gOrbG꒺3) q ؈!k4ܱXw{x9,B!0dX0=jxfD[ WϒAJˊ[d٧3H(?As11J𼖤> V J \CDLrpb.ɉ L-6VD@r9J0qQeϯђ=7'P`db s@3`ӹm /"K|ռKҊOyX,N :eH$49FlHZ/z`K1@rŸ1;}Y@qF$^ӗ'3or,8IV %ap; @{ /kK!3?|yYT͕KRhܥ6[:&aD7z%9Lyis< lʝ^=8&Z[ #T6`BDžCB+%Z ̗"YM_Tg. R8Rq0|'hC'P\{0릊f*%`(2q,!qXO("}d(5$g.'Vw@ Hto4mdD16&ܬo^\-,JAR)+SX2T=@uU f;]Rl! f'XWR qG_s8U*WJJlX,N vq9}F"oQZmx#ވ *rO†Æ6encV_w[0$b&\q)#؈M>%xAN?[: Nn+e%\*u?Sԫog1HSXyjbk* *5?!hȦn0zz~E|_4# gYZ  d#A+ \Native_WordNative_Word.Uint_Userguidecode/export1.ML7zXZִF! h] %H  xzQ,O찺& эSezQ?tݷ1v _W9eƪ*풥R\ m l)F\@oKȝaյ}l儼$͑)D 54/G ` RZ;Q1+t~&~R̥㣈%I;!-_롆*Ҩ9xpx_Z4P8 `(p5ot \G!2q]"&7G*;Ap#W"qTl{ؼBH;giXmʛ1 +ɛ[JD[r%$n76ߐ|_\DUbt~aH?cɯɾJ ) T;s%4^CWOlkS'!BƞvUa1 Trb/;>ʮK9_n.kP(B=/>ܲ&%ZծeaAf+^͝fPXꚣkim Bn  ɤg1VjmXSQ.{"ϨEW~w+!,X9^-{dU$ Eӿ3)@UeN`2%ģaXjͷ ;@\I}㪤 "|ZjJG+$]Dz=[(^;?$@d(e 32lKsvAi:/SUʂ̑A\7&u]ߐTGPprysUku|Y')b s/p gYZ#S+ Native_WordNative_Word.Native_Word_Test_MLton2code/export1.ML7zXZִF! c}]SAТY>9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T4"XEIj ѵu}GJb E$DGb߾XU*;pdFB{7K`'BY8 @RC{-M@5.N %0h}eȑR?- .ʾNyfV3CH(j=ҩE I?j~(*U}ALkPʍ`=Y [#6&"boLd~lכD;e4tO)^=t4^{-6,ST6mmgYZ7zXZִF! q]ŗXiɟ1˦rnzx <@0+gM]3W*?k3;p:z(۪&n4kBOoɏL+vku܀rdwk)y*3(š/t!Pڲ,IixѮ0`BH7tfp 5*;8~4M(^dGu,f]&0LCcĢ9[^_ yʊۤ.CN$g ?j'; ~,%/g=Z |V!JLZ[o0+Eʛ;QԌKq`' #٬n/hzKn^s>f㥏(A{mjKMG"햇17:߳36h wU·pn^!V+7+:-ŭ&{ r>vS@^YeQ~6U[' _.0.h-Pĩ 빆Ο^1w]A:G%K"Ce! +C-},O";cOs_`l݃~凜j@C(Z%ݸO?L;N)4nLgYZ7zXZִF! xKkX]ŗXi%B7n |Am V&!2x qt@I )Qܝcbҕ (+9uGH628D`V,d'!?5$as YJbwM7qjI,?&3Z/(.9ɹ:?*}Q 0?@vBmlcAc Fr "?*6@N8/+0*"GCE/ b m%\X;H#qQDz#FB^Fi tet ܳ #00PXe'}JJISO75sR-?f7eD[pNQ띭qQECpE/$<Vs&J˧qCk(`ut&4&tvͿE/Kd "fPEL#U#-W&`p$.#CC"PtoY h)jGi c"CqY&܄5+%;rmGiJ5/eB.=lV؉ߕ_iXOj<_](ieFMtuhn] ׆*adĂoRMǸn.Gѿ5̙GzYتG$ֵ36Ea>`}2)~YB&(8l[~PL /E$M,ISڭBfHr}y)t% qU0{OG"A?l>/MqtZj发-ZkY<`2dE7TPSYda3O~髱9n~Q,1!e˩_d7pf1 qXL5:jA bl0uC`6UF>{`^a}Ā1/eQR|B.{y=ջ&ﱦWedƒ)O֏^dz&%Y[HP%J]eG^*nb &=`1.[RnDS;brkA]#QߌJʅ,[}ik7kɮ*j?#pQSLrn XRUsL1/?8Ǚ@E27i+ϔwq\q_ʤE~9AM3 lg{ܢ>֟Uը˺RnB3IuG'y:R }l~Md;h"h( reT(kyALM)(+•7 HȒP{g|#P5s: 8.Ԟ~tOcGS2Se _E dwZTl% Mb\:x҇xXIv6rS1S4pZp,5rbJsHWh6m2ėyݿY.ŵ 9L8v6 `IpoZyQZH-S"R3PfsKM y(1P ,L` 9It]_z={ų n0{K̟lLoh##_fdJ Õz|>v! 2!K$#|VJŃٱD1F^"e.Yp34rGXI_Q؛2S#W(Ю7B:9_W+#~ÛMg"v^m61hiV/wx(̢v fGd5TmDVClo*(6*5>a͸YkеtRTo\y{Ϫ2.}8J_rd)cr!y SBݢiu0}:6l,ssor)uPB55/Vt] 0y1=[b3]J t^"QbTrƲ'7 [ثVdﰙ7bym!#2țzHakK6p箇!N4hq򩷿n ܭ6t;&&"gS0YMuGߐT}(]h_HEȰ 0jY{AW{-GjZMc}Ge]iHy1cT%GCeOM܍ϐ.MO$ HݓrX.'9xDTO74⒦F1]RY&X3^<7 Kcdt*-9Ӱ" ĸb0gHb( yzgHhF@Qe:Rr)%)'Wq1_9ůX"J\w:-{c:K.Wann2iMqsq0ny.Me(YЭJv8_0٭}toY\?$y`ZE9I@gpz/VkJJz|V O+öЯ*>K[^jS|$t\NEC" -GX36{ Rvƹ=9ɆC@=I- Sb9^"[kp|hArLcpC'ð;i јAlHfa;ׄsm$g;Fɐw ۈX2LbjG] $X+oM>=nH4.x4yQ"=2,0O (&&ԓJYwo {Q% ZD'c~O ̝j 8RHpryEF@s$ÀwkK *}˅yB|.:DqcbGxGO <:FsH[\1~?TӯT3xsJwtV+ .#6Heߤ)ʳ't{[;}1Q+Vz칱tGt4WB]1B+bu wG6^IG^ \x N.NS;3H3e3^R<`1 ^KX_? M\m!>: "!g5u'A9o3nM74!_BІA`jGm(vO Xl"Y&$oRkJaN[f}bBbY"_V&3Z4d{5ݓ"d c<8){X[ITԝ-=L $C+5>8ބw(O%C[Qk{ ˱՜|w&}ٿkKu]!sx6hq4d†+D~8lS.#b<=(rɱWAI\EbHe:v3J@Pc,c4vǘ[XBDB'nmbI<2yYv!֓/VںHɪVQ(Q(D_k6Vi4ouk&V|TgK #K?gsXCA XcΠA韽AQӎGbHB^J\t^mib(aQO7w#ါ4iD~I{o&cB9EJs ٩K]i{ f\*d-ү8I+bMiYSJ[2PbXDG.QX $]0bg?qZxPQO%0Ot;bTK9˃AN.ӓ]i{'(œPm Yݧ}KQ(&qQןQ@ES%3Jt'FE=y9I"pk`k _df(/Ri_u{APD ?3_3i3]‹ v{]4Uvde?`R ;9#&]U G"IctX)Iq+3K 7yL,  x8Vk'esxB;C@8zC8酩*)%F fc1x잠RdO>Ɣ!K&xm j8hZ-fM9v;soYPۯM$;Ay/́>|p_;$eJF 7L?D tdl{d1@DМDz6s0mn,}tͲEf'M.8hdgexhЬsH:{+e#׬^FϽy\m ;nn߼@#R*\ (/f 7=zYK'[] Cj BISZmɔ]"oB\e@)< Σ0w8mV{ϛ311&T=!`04-ILt^c{M7SKo;ez^;akb?:5⺐x؉:8{p0Qv¹XkiW;z+]22?O)_&iqMgⰜKBZi%R^%`#dޠ%}j Yj5p/v-)wrzs$3eL~5L@] *ȧPr&^zsק}i[ji%t ,̻,đ3dڇ6ޮ5,y^]sbz^T%Q_^(z~G箯`9{4 vmLcV0=zgIOȟ&vxI7L.?ĉڏ*.s.j4Y;O5ch nMʁt k(s|^҈:m.$1HTmi ݊jHs62ItKP+FhIbͳ%Q\FP(ZwUԧ'*B/;ӲP&Xd@y۷50޽]aAw,/U!^vN9+ OՄ}@>}x<Ắj-|Q9/qTr\^'b >1m:t PfKVUCAwls *<| bod {}|+QakjYdfN无;~? LܧJC̉ 8*) ]k%1$v ^O=zkae@Ijv\y Ir|ҥLNo N#]"+ 0x覮jlI 1Ŭ/#A`Qv6kF чB1g*0'=w8MWa]dNv 2 >BS0,Ub}e4PHA~T RP lKCafT`}{L̯X9C/٬=Xfj)'Ge.i>R`[UW0Cl1 ϴ(N#H܃d\'ȵXPl,!D昻 6 $ NI3Q ;Z/ ۉh|y4r0%݅R+Q:2t]}JE1b0W1%ACO(݀aFe 0lGQq Iy_76K&jS76}7Zc{jdnQ\15 %g.OOQESCr_"@UeB;`!'e>iM3Ⱥ*/d V‹.z'qݪگ&e&Zu3n,9Heb+AUӧQ%"k w*z\]$ȧSs҆3ot9 uw0 3?>oG_fDs2!ܲAuKQv` }6Z0g,{ E]L<7E͡@O8|=!]UM ,56qKiRTQaBeú S:|r5|߮6J]wy^F("J\rFHsQSuzizjR?ۜGjnХ>QI΂-UxTy39iZsT3̭.XSY%5v\{QrM_`b6+ϯ_KMF1 -W-RܳW.iH xa6#{4eh<3$PC-e(Z2q)؅رmr s\Ɨ5<Xu،p f6q'r,d,x8󊱮ע:k*vq[Q]0$o(5N` mI 4wuF9>ŝ1e1eֲBZﮁ%e?JʪIK{A)rH %U) P vZ`$.} |zDO7\5p9j35PˡldV j %j5& x4зv #fz$!V(JF.݆;G=W4e$qؕ (@^-8q?F0gn:KH[*XZ4#ٰ uϚÔmi{}n=*& /gSOeNnOGuߔH--H{Pؠv:]Aa^._;J+|7ШSN; q,ǜJZ=dѯN$ XFDga{Cn>żj-SHf.'b@Dwˠl.~DتХ֝"`/'T\$.׸C43IQ[`j-;.{xRF wQ |I/PRնYG\#wap#c̷cF`x"VM~乸 Nj=UI. wf$Oέ,GѴvyʨ5?EeƝ\5#j j֎;7p/wCəQ5I XJwAv"[8+:]xґ{vA@1ÄU=? cm'b]KͳL;EvbەY˰/t^ H&mI60$N?lM>} :SF1>cW(]c ׽W6˕K=C;!mۚ5s`'=1vUZx[䭟qkkk(ɸ$Mc 3׳ЖTtW ;.ƴξ%X|!( %m(_HqW|x- ؜>IK@a.k2,=_tzm_j1d)OMQ`A+yW_n[6? n DsU ~N]7*FŝP`$H }褚Z'oNAB͹\8ڞ]#Y?`%TKaZLYmcO~XJid+pqJ AXcupn>^Q]]2z' ؏S" mIqf~Sf{Ol&Ӊf)o]Mbʈ{kʿ릚- v$qW8/3[ێlQiHY-<ʕDzD5 WQ]I'J5e{7a%㶊cfQ1@@i~|3m5 RXb k/f2>j8:S5ЭTh^`-))Ar|Sӗ o&NN4:~v`{˜>\f)c 9m|j7ZC{r IpX$[K#g<̈́doyvxHh#X3o953ЋsՀ^~;j% (A^þb'O]$s<5ԑ +{)6@;Md lq^0g(ڶnUW-ܵw7w3G4ϓp*QKw7$Y;nP07ϵ{5|W#8(V eFLˈ]|YI͵mYnAS[Jƚo.f_ldotY.Y(^CUw]$$κ`!`!%}|NG16>?_Y.* y {'imj(&=ziϿ\zw jYvRȡ!#wL wabTQMm⿠Gh|#ǠBxݧѻaPƾ},m%(Jl 5cWF > >dp~& :{nљv=Q뎏֨BҎC7Wuԓ(jyt++\T9g)s 0I JFI9` Y[߇{(IFɅe{3m=xܺw͗PR4 @о6 l=h4/FGcNi|GN\/4Aky s O[ VNV#C/j f\-eD)1 ΟO MUJc=\!q+flWn1(!u Zf&6A%> / Mh ) HrDra;vʂYU1P')YBpb҄ fWd3jR!p\QKNh4lFgUBy'*rL{I]2KvMa} /">v%TRʝB PIKjF񷸘N7UdHlJ)pvAxG\kc;|0QW^ZπID|aۢMz:0K&*X5B :ܦ;J5eo~ #!GriIۺ?OMzt KJR`O^@oў!PG*.Mcyw/o)/Ay~l*o3 tI<ײՇ5!\Kjz,Ud mO% K}OW`^~df"#:,"YZ2_/3|Cɩo;.HM>%ܩ𙤇ol^}2{Kʚ4P _‹-:gd =f玂wJ0Dc#70wu;X )p]M[9wԘMh,h7no_m5־oz;L*5=}Ou|7n?0 lv7͎ďjTғCy۽8R52=N5@6k]gnO #Sh[O xl?{ 9I\ 5R#Z ^@K2h¯_9!pR7n/A1P8QN6hMfȿbRN,b`3:ᐩ xJ{}9hPcqAg9p/G4n_g#YlrS^ߎCQc9dXWdN|e)ZYȕ~$]Q񻒠3g-:>Bf8Ї]p5|$&1v}֧iB-gک IorEE KEg\ NWx4+4+M+{"DLԯ5W!eTٱY+jMDx܆3Jپe%Q-o@Ԯ1WcwSb(92LH(}n!'}=%^\1C3B~ݢ,R605Sl ;m{.ۧt&Ldllyq#٢hf7_&7vhg 0{7Vz fA_X} D[ +Tx!"K?HH a4To8#6) Խ9PgzJo#F?~Nis# {Ɔ9so( q Et4+\Mb٫1EڙR#if}g> t&JHqZtiL (HzldBK0BQK =>^%5QqDcy}K!gD}m9IH~ $uU%46LJx|ɋk6\Hu˽;)ٖT]_Hl: Gm"YGϵ(+Չ\!|0tDYe9+LWe qq>vL&#<<(BH &@@˰EX;]]fRî[ ̥NxЁ/)*a[Y,33 nCqEy4 |_.Sr\s c='U_$Bթ 3FF;P "EXw 9ծCc5/grܻ,fWXgfKa`Q`<0ӕISK"KA\Efic#=7 q!L;NJ LHf4,Hwj=+BobnMY_^օ[ k>4Ɲ9Y5'g[ev鶭˟@  U`AU&^y@ 7.0`nrgXC@r*@ē H/mN?[3āoͭMHH+z]8\>ҝb=4 o7fޢOХ~: ,[6 f:cg9($6=7_>3rd`11:SSsg}sb]mie$=ټ@r^i8G >a/t/R]7_CCSby*`0jN r1I:6".@"2%x(4ocOs!LXdV~8oZK#& '=}|,~@3TXLrvo}ӣM+RZH`KcaPb9=bLIpIФ^ | IQQ"WY^(UM+ ͘/>[ { ^Km&zT쏔Pf[2uwd (7,Xm B`F!3Fvl u>Ī'kA{opT BY 5y;: >8wԙȳ:w?3 x k$Ե8fߜӳD1{ )#X(S lttu_Ty28{>7i .cʙKՐb·=<$025W'뱇oSĵh|eqHVY[$Io͙nK!F,%u۝[X"KjAoqF}nkjX!6 {$Bo*׫P„>IiG8U8-]g,(? \0)gPp^W)1# YhҼ>ŗ񣣜n x,jcgWVn(|yT;.8jN]T*?zyXۥҋzAq~YRL,J1ƈ4>)CCRǗA\Vxe^ 5;=. At{}QB#|4{^I׫:Uӈ*DIl $5M*-zͅЀmoo v&]aE]GBs.HX _&!TNma~p^YAb 9 yC0(ȩ-1pX=t2Ʒ3ebQGS~QacW9vi=?jx5 IzBpt' 0Ǎ:m- *P]] IU4Ʈc>kF֜P.:;9W[X?4XNA-eXsi2x%I4OYeP0/qY(%Sm7{K)|ǾЦP*WD.]"ZUo9gbU9ݩde k;EhM#k3xٕOM8>$B8I :fTL7*/AoyW*!_!&_e:%7OIMHND5ozL łJ1c GiKa`^t bQoоuH}:Ps˘փZKT5fv0à˟$E@rc&_΄$N$l2/ /1vfHV:T3yA&L}䌱0(T[e{۸`>BO?hɝ^'M\$ܠZA.oDVm<8y`;|ƪhFcGv=t,Ѕ}vZt,PX#NC0X7ȎQɴ1f뇳_-=McC:\`&,:OãƍK5 9fXvLpfm# SR`;eQQzU\ĹYO1_ճ(T>k?NEEHQ aIsOjE47'@R@Ywܔw;:+0"})T 1yկYoagUd;b\åoZ~("ݶKRD̂I[3ފvƐhؔfͭWޔU?BL&B$t@y}00Ţw yKGZ`8հjv)yeg4f~x&%V238^;d(#s% ){R 9p876sl:Nhpϳ*s<=Fl#\K,f6PѢ>hg^1 BIイ 5D.P*ơ~CypWZ-:ܐר©զ\ (gk7o; |pI5, {{N>]*Nj\,dUɥۉbBéVR˙J )##J>4yuDJyL mZ^ ;PGp _($ 2 SsqVװ/gU!;@sI84.[?i. +,!@JCS,8~@-߸TTS5át x7iB-܆W JSm~k/̳ h1D2( s2Q>OkƆK꛲ ;q[piɿ%'1ڼ4DhR=Yyf#~n!ˣ+a'[dϾQ8l9+u+e&P֪f.h.WŜ;ɍ`KD%6/۵]?qfdpwfQg )f(37VRs|I2|>x aow3Րxl{(saGL57*)1xQ&=h 5U|-Ӧw٘0= %ʀ.(JP +*`[R)+V~c> 5R( X򶰌RTPf2q<{|;C7Hm=%WY܇L7m߲uq dKy2 K'DWt-LH(NVah^ hhjK9ҚCbbNAM޻+$e[MPekc 1pZ’eH ٦w:a,VՇ16P| yH n)~20m̃o'¯6Tw9a۔ *AaU[b;'qh) fF1](w,KηTsh5/\?FGdey%;$12ٿ p%=2 o^S~D hB7e^0R ٽo[?ފc)16EYy⯁|KpR0a0 (9il aSE@D,4vRH^Ð1r[~g`ʐ=j Vg4"fxejxz_&^IEjƙ& oR癧qI%s{LI?VQ%WyvcITI, ߵ`E/Pց|Y3[|B2&Byetb yowMw x ]%fbaX@ڜZKeT5N 3IߥjcL:<[Y rYy'2, BV83 cwiYΕt,%*+ެ>7(ƓѦb |O1Lmq;jS̰oy`sE'Ĵ|޲tv#bOGʳӴJ .™:KN@LL"[u۾5q#}aa&O~jXB1KP!t>Wt;hK0L{Fk'"kM AYsM :c9#֩c-vݱn59;fSܪskSC{A3:䓬G[<#F8_(;3,`6@(N`?mwHFȧ͜%H, }8IO"TX*seNJlRmKmx0A!B:E )ݐZ}|(Xg PyU];ڟ1ZGyFR/gH__LvA*m3*PWVP +\Lt`ڗ-*Xb]he%H^knvJq#Q%5l{{Lj@;b|Z>gKMZw3*1Wxid|~,nm'/վS,^Rg ጔL~Rf}}k8eg _f~ `<MCPOqr 2^ܝP_.iT}^T bv˱0y<+V-T+Q e$zzإ+H|ҧIh*m쾙ᮺp9:+.!/4FtVCy]#Z̀/@l\6 }:TTT2b?P٧뚅eL0]v)fheG#x#D8=\$=`r]mI57xQO .!욤L-*WR| .^@"۶1HNkA(6Vn6I#9@Vf$;Eji̇]-EeG쵞jG 2"DʭINs%(mQ_܈DZ+k#g<`x&t].q:27(d7&{iH7I;Y#~ԫ <GnnEeY]a˱̣jx wK7c2_}֞{!!9S<VfNCFtb{*;z@|4i(׶$Ksygǝ8Q&Knu(Qzt ؄uVy,9rF@=S8'L\3CzFބ(|"$`ydG -Qp{(memءtUڍ7gz!dkvAIԏm5(Agu>tŊURѿצ8cg*&,E@]mTsQ/qyQf+YT6hCfP=Z1 SyvٞO*oqtA7q)Fm(9 ^$eORnd2 x4kVeU-$Y>Vp]'"*34>rdX,s G2iN+F☳lwEVܵͣ)*uiv=zU ֹpb**4z| %#Η_Pu.tG),ke tV-簂sf#x=;I|r - ?n| !`${b^oXb]O3e.rL!-,'qgS;z7 ӇzwhaJk7ݐiTthpUS U`ܹp*h͒r,r+û仍~r2-kIUyz&_#1=vo`EIq2q22\F$C7Pm Z[X;^(jcxbuTM(B3Q>%&`>¬q#\ei\(,3@OB-Fp|xܚa8wM^-A:5!=; ln^K\%Soj4 LcK-8L{k$gxPb'-R]فBIw>i+vOw^p)#:F{ڙuU Ui5"]V/P w0N{10б$Tad1ꭲ="Ikj,w P&7Vxjk Xqsحd-Mֳwc>i"Þ</D5N^$"-04  {)* o` !T${z =̼;PEIC CWcpn/ZK]˱qA#󏈆$N;6@.D\Q8[7b[].d@O蓭NqQPΐ](0VcѠ\>DU:.VqACY8y_sj_ۨvޞboߢ:r %F/ފzIⓘ`R6dVeR|l-"ڄ{neo3{>K ?Q-\Հ@;H3]g@yGT~6I[6 Ez*P yF삤ajc@m$ r ]5V_5p@=|W0"%J4@UuQĶb"5{o'4_ Y3\i^Ս!Ty4ݞ0C: >fみ˾oƝfj梿[)dNKIsRz](P2?ص%E0HEnρOX/zr(h*( )|s~Xz-l3tO:ǩ 9BJvMˤ$8b%2?>p ␿$ <ϥƺIr)2|Ilg_@5 OJp%S 1HSrOP/&VаI)lf4[5c_nP7|A$}]#܆E"]Fd@#jm?^O@Me_A=xv td:,ڱݴnm5a 7?{bA&[w#d)^aԸthp7*K"+_St[uI^2VpWi[N= "Bu#h{ `Ƙ%-Q&1#?NK^q`rSݻ4/84tuo0~,_Y8V1?*= 6.*Γ*5; zd9oؑ3_gVv-\fTz]ם G4垭58YeԄ<(W)@:dLT$رx@nV(`^4(8SމQv՟&[&13D@IS%W-18^H{/L_r|[A5D10V{[qҵp Dۤp.{ƈPp4ZdfXLR_$Gm؟yBYP0ɴ|KguΕKV\FYN3|gPOS-Gݡ{<MTΟ{s=vдIB'O/~(O^ 6N=E7P~!w)>!*c %:^.HKa]Hv̬I {ӋK.k:71 ̀|65dwu7@W geީ7sѩˌrB=7!^jaIiɘ_z4`$1JJ5!}?G[%=y[0("8Jo$em}CNX5;a i\KXI/kGJRh)yzUAQoXBqNJƊ[  GTL-{UQ<5>jCߥ,}W Ql蛿c9ܡĸhyXIO 8z,8ᒻ^$-:΃ni+7KY*uɢ8&6!_QbКGO)n<;m,JLTbRtfIg pc}R׾`ێrY4NE MIRA&pe0#7?IZ0@V:N+>n667+vH I4©eM9#3{j,/ط*I=8.FPun,bѦU&3>:=O¡3G&S1%q|#F"%S?hW3Fb<.XJyG(ɓ٭Eycڄue *UVؿ;S4qƹ Ls]/j%{ ]MIWtc#.S[Gc~ܸ~8h(U9EҌQbjɻǑcʼnLu2A1{PoٗUDgVeչ{n6)%6͸7ɻ n@AߛX8F/-F -I9Qn="Yo+vWQSS#qo[d@`9fF/H=wh檤v7CY~Х'I_͸@w}0NAC v~ bc!Qw2c--EUlҰD?e}t 6rI#W}7Xexxb=UWfe@>S&S\]jyC-NȰQs  *|}ݘ7X#Y&)Ԡk_víܽqL蠐3z7HBi$hdz{6xGjh_e;cjol@KW)L]o`c4*QKoe7@Ĝ Y Ù^` }btd92&/{׀Av_: s^yGQEŴd,MO<.pee]8NRy(tezr>CMBNY#,o =4CEo[k1;xһ!u[' 5,Tˮ5X9<.:/q I>jV^o~>SUf׫+Tl9 @zp?efo"t%dnuٰHx3xZ3b,wI{#>kυO$DߴmunjO4# -~*D A ׅ>2CRa眘MҢp3ԏ#j@/J|ˠuPx$CL*FH!m̓lb,LNӒQ_"zEa^e\f*kNiQ2e o -ATB@vރf]-YZ4Y@`1}RP<@`\#z,On 2ӳ۩Ѵ(ևt)p Ck24( kH/isguIjͿg^4zw=: A?*o?ޤ+.fR6~T|ߌhھJ ~PҌT,AAH#4{{ -3ut\qxF֯BC7aޑS-9$C/=AxnVSԟTu*yxAtzv_oר8s#Ų SHϸKdz*$_Ka> Lkdm4 'r"'M#4vY ?ov/NpӘ.y1G.I!lt+r~Z/{𴺁|O`CYڵ3ڿ /궽0ۢ~-4P-5}j*̊1a)p%PxIj<.EqUꀘj1H9gbL,TdLB,̃Փ3oU7tnQ+-,0 Ew+B ey`tz\xj}w\G`\tثfWv6}yxAsIuѶ;HOsuRgmY,uBߌyp:(?|fB0x~u<#&/t6>Ckhe9p8n,F%euBܗdZo=庵+ogllvk$:IC_th_!yg iA*WKՁpf@ROdBZ<9)< J׫mhh36ps{Op-a)Pݐߨ`0}HzD<Ӓz*%>{