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 CC#$, ] Native_Word:threads=4elapsed=557.767cpu=551.064gc=5.224factor=0.997zXZִF! G ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X`vA"72`3=3=[)훣]}YqH\oP~p.O]EjIE}+k@`%$V/P(_7 sQ sddG}1咉yIV*"Rz=zD=7(I`P$W`a AcW\pěFH^~݌k(mƉZ'XO(A|hz'|$2\ =XR `̝$дGA(-!H{R+pN j[ 31@C"Qҝl]װF}<a ?EOWEM_y9eGu =^ʄdbaU"$cQDr~.~Sy؉MT1YQP% >! \ ٲt2ߋu_1$y=ss7GN;:S{=vfGHQJq$":slXI*+)*5:E,b~1trⵜ*[ldVzuF#BeX"LiB( 3#Db\LUD>_j~wB^i85;K#瑈=g6"Q PJf%>_1M;D>AW/xu1u'HrfAòo'ryPK=~ۧWS %(2 R鳘z*ryVA|A`*̣MR,qfXTsC 9PKf3YivS)[Ѽ_iv@ *_@ !t ^V?OT7P qbrw,LƻINy T { ==DL[S&+ǤAt"e;:lCi_7(Ⱦ'^Ouꀮkr*[eCr{#XOXZAwQQۛ \g`9J%Ih(2R[ ,c7Ұ4灁l{ҍEkk{uoތ'/)'fE1YzGz`$Yܓ6ZD nGOq0d`j&Ax9:OF8XЙQ;WT'AXɑČ` 샠pdzj>'թP8G | # 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 kKi+"$p,2s8x0g'CB-tAw 1“ƋI{51+>|X:P`DjsKE{m2,mVP37H)Qk@XV$1p1\%Ď=cc{>* X0]C[2jQcDD/)ŭ^SP* mmM- |'W\c|' 8D5gYZ7zXZִF! q]ŗXiɟ1˦rnzx <@0+gML-H.2&kwLj^䳋%\$Livy%O{Ox1^!mUIQ@_$2^[ϝn:0Ӷ*Rx=?Śl5g+B35 'Ĥ\ \fiD 7#E&,Zw~;"zǷYT-;պ3r RQ>OqQg暮1 3}+8~a yvYBF }" [H1>͊κ] N0nWy֕zC">(͕_?3:Qr rȎ6 BRčw!zUݽvEWA`[xE%]l .9`kV{Z#%pgm:SaM" d-jި1_W%Sk4GQSxVnG73?z_d}Pba /|E b `؆*t= _ebgYZ7zXZִF! ]k:]ŗXi%Eb⬘Ѐ%M!0Byyl\^U@ŧ}Z8/⽋גCTZӭ;4Ie!67-ryr*y j2^Z*s Uffc3zYsX1]m_?0_SϷ'x<ܽyJ ze߮d>Tsn *z]R A q۵Jn.1|OydG{]+z1jK,wL 50R V/ t29!AZꗪʹʓ&@btP؈v.\O mY[<MP{wze.\'lӯFާG_?w׫$pnJ>7^ieF-Aʽt"N.ptІrL>LL0zI'׳yo7HAN`hy? P-La~țjytӤC jd.~xFe9a Slw/[ut`s:Ej0V#}8ؠ1^Np(z|(8G:Oaw:^$t3>YHӞEo48wx!l &Y?ux'04\^kU_j\ 3N6C^Z Ȫ }j.x/ȮBϒ7ӐƯqE/u ˩; ^+RM 5s ZL<}h=*#qrbAX[belV\4RHM#a=ETh[L;~J3 DKjnE9b9pyXϘXQ\LOk<.OG[O9KS8Ary fKǁqos=RS(R!ܦ2e DğN"'>,@-MލVl4dڑ4/rL ]4,<;m⋕H⢣`]]QF^ݻ (üK<;3Θsfe~TCX]0~^׍%w8:<5ʲ>wϋ:.AM^xZZV_v;nDe5fInaM# &TTD3*}zDŠPMk4yo;!"ȖZӂ:02?јz ߞV(W볷\@bj#_]./`,jK$BV:Ki5 ?+I؅mj:GqSw="zǕ1I:Ka$aBb:h;$GiJ~U HVaEpْFxd(sC=y^QQ|o' ɹWdQ@I3j3m@&6Y89xV0z]KECgcOLjɏ 7㼇˳TꢘG2{=vqݑRYwh4a *%iZFac.-18ɔysɍغtOdGQS%k4 Ru~9D5-DZ8yC8wzSv6k#K#ynh*? ohcGfOJŏw).i;mq=:5ai}j U8}r,_ÈKv^Bɽc#XqDVIlb>LSV$%埍rd=Ց01`rO Oqib`%H+􆊖3%:VCw$=^~ckxzWjUЯ(ac$|: "lj%gk>! xY@sۄbr,k{v!ޜl)[;71'.֣>Wr쮲[9ImXGNL EF7D躔F5g2Bq̢ǦyUN'1gq`'VfY׹~kY (\N@n)%OT#\Z3EHC&f-Pu>'hb'>sᛦe;4+snݴ+`*-58,tC37IPǜ``@-p|Պ6Jdg(<=`}s ݮ$Fȱqx=2-k|r9My v3n+Jt (C{&)yDyIg{ը Q\LUfZh68[P;<BJѷ%QW2O8kFhjMbxSu}' HAbJ ͌*-ѯɄ;KLF(xmkJ uq|#OvxaL̇# ȇaAB/]kAw^L|ʨV +dM ҕV>U]39l>״^Q:RJjAW*?cIY$lKu3=>&I9eJDv 7kUvYZc#! Ugzva~HQW?c#!TF.(G3gOѻb9憉k}^ݿ)I]vEp^勥[tovg{;ojT5]|R0CdਠoM,360bX  mEb?XΚek.1D`{t9R˟ WɶxcWM2 #'o K&ey6tDž1`hэ.^rF[Mɗ@m bUyL=ʥr>jȥU3} U lj}C}BN0 D1wT1Xl1wͤy*^~KFRfcX@O}M!Pw]:z$Rn TOF}Wg\p_RT[(S7E2iK[u/яq%(庞Xn=5tIeE}ld gG+/~  R)_6&Bz8OݡsxTCޜws_%W \;_|uẒ}BUq(/^/#o͓UC@I-P fth/L$Vȕ͟xR^@(d0-xfB}?nN{jτCA{XVmP#]?'wԝPi2&ljHC:2BBl ዂ4sXkv#ATMZcG^tX]Z#9NbbR(? nz6:E[2if l/)NsL)=}ӾsE 1 rtSF5>b kcO,\-:N1_ō,ꖋI ? Vu A YFR $I/X& \TnGd2r]@_{mq)}y}u+w]/zY\ ANmxzoj",|B+ .yMe-s bD%FXQ47r$y:0VQ$ wT HCԜ9fC Ngf侄19_:D5e0&`fёY<Nj|1j̅y윟|yv7!EVGYOt8sIŮIҤw{v:R?\@jOuFY6axG;!D1lO$R sD,D]TQ^cRTvS/=AC$ճw6\ս;EjǙ6<@h}FvI=[v_/PF p/  į~n2[$8yy^|H d~Eb"aRG^Ŗ| .!A#{s/l#!T\M̬]1VQmq/Ucd!1`b}VTnutd{(= &|s{<-AN8>?7CXh w(g9'(1[ȹ-?/ivPF/l.j!@)yreM >%7̖$5ӂ3pg>6G%f*b>Uѷu +ݩ@bO*eY?3ZB8F& t,`{JK~Wze̫99^œHQpg,S xwr\ 8R1#0zFNA)hx9PftE]{rtď*je1_R >P8:M 6%ؖ3F# e \X oPt/ 7IP ݏNfTd+8\b,c?زJM mӚ%H/p I*!D3/Shño:g%]Kawbsb8&E$'l ń1JI4<(Z ëO ? f~Qn0!28k|QV]uIMKwd:OCWSA[y2MÉ1\l8gOx8nw3 RmWd]Jfܾ!ZẄ́\1?`Ұ+Jpĩ9}#qˣӋ0&5>Pg ?ꕛCS)p3r>X{$bUYǣBo=E]f,gxRcFk وG0%e*Qa'eҰp$)w~j k58@k]P84rItg ײwUw!GQS池P 8}\^:PVr8ŧRiΞ|#cmw-sXISu;{җ{`˄. bFpym%b(U`he\xl$Z$E#V{D"bV9 Nw9aߨY=a[a8fǑcvNh9lⒷ*+X?oU$HCF*sG;Ow#/IAii.fK$φx/,F4:W ՛*2GӾ}BPE9!@Ԛ9m@53isޘ+eW=~I[3$FXnѺycƖC~V,Ä]AnloR Gow @rAo'A Lۅ99;xp}.Y .ᚒ~m>6cԈid+.xLO(͍wlPlf!^\ p;Ӝ`PՏųu>,xͰI;f\ cI&8@ZG)N_NAli d=[Y=֧C;GiPAa@|3Z卂x8Agԉ59SJ"GzAyE.Vc8>tk{ `4s鿵0&{c߀ۛCP)s{xjS%;8OA_Z>.UBakxר/٭Lư;C?N/UўhL5 )Mldnl\ŵt# Ok_p DFq7]/t/*VDÝN+rN k{ɑ!/ #u\`lL^S q>C_ %jz+Ԑ=DXm$RɦPSϣa5sxZǹ z&Q/Jϱߓ0@#P@kM!*^tzYkM 8':qZy&?NjmI 6ܐuݖkds%hg_ >~|mu1(&}% #*P:&@2IV7IJ$EBywz0dk_2OrT{Vp;Wʨ|0*_XR K"%<7O'&9#Ӏ]&.:gR|7MՉrwN('LP~{=^15zdVYh'=ۍ @{[g\hJVH췃X~Z<dAZsLM||Uz݃zBħ>tڹ6  bWAw${|Ktt 序u4Q K@k 5ٶ7P+^"*@w!w2btqWpf[Hȍl@<\A)W*vpI}$w(_&wTmUFMdLC^C>ܧ+nMcC!x!3 Y&)ϔԊ^J2%\_dfosn>ƿњG ج_c+[bœW2,N-& "ft2J+Esq WC^gHI7n`GF)tș> Qnॼ`hGwӷy 扃;gb6|yqArF >/(|̓8CL"Ur?bif`v{otX4, "m |;X@4HIW_9}n$vc5^Tt]#p@d=nիFߑP8mҚ0H;osD\ QPy\="eSAYXDR+i-GoLHL:' ,XE<:#q3CG4W/`y^?a u3G>kzlr7N-]|uCft˄c;heBq;L(gD?לo3KINNPnοaV]oX~.Xa+վa %ka"%:htO:u3+kgFj%x6 쌵9fs)J(4k#i@JA)n?joZ̃H aܣ?'깐hxxPh^wB#r̝>/ WÑNQD]rdC[l Axط]Pw]z!(rx 6N+2^Kp4";{ǶS)cp<H:KTíU6RBcWCKq~Ja[$ F(ߊIR {S o{6Z0~ 8j71=rlI "n-tOkW[*Uָ}4X<"rI<=l˔Y3q&QK5p(t;׫Aʼn9UHYnd`-K`myG$ IW>ϐҬo # gϟ/JCr'ljkk9|ۺ/V8dks$IuI(2',hsFk>xC+ɾŽ : %xY(xRa1Cd@@cmp}%ѩDr8Ez9]}fꑇY?r,857{/,2O$IRt^1]h&|*eRU)Xf~8#tAe!j:IgaK߈a\RdT IWf3[xB'8='3 #bits#t'yYwsĵ +0u&(zBe2~Z S{6.yZ+'gjSM)ΗB=6AO-%"ls/6/ ;Ą"{(j96(Q|7Tjѭ[`gSI4WydlY/Jހe ͺ"tut\Na4}+2)u9JIۣ,{%h$N8Q'xܯIPʓt&{-%LȊua>Y(*Vx>Hs];7Ը^t"] ܜ w-c]m9z;'Ը V>t%D! NYT'룖cda`(2wfmDٟ&<_JB'/+5k8{QUq>E(+L QsKeF>i6\dKt ܚ8(-+ LĚC'(1hkMQjG ȧ袮Ki3QZ{‡CcW]~GhfR8KQ= ܎gAۈ(;d! k*lHGhCmvj)5_Ci`a4?˦|1ܦUVw$BbZ(q4N*fP/Ϭ$g=]\Ҳ5}i`8WෲC43+Z5Ҡ:ׁs 9hmx@`eC 0#z%3\6_a)X}}eq!VfΛEnVv7CSf<‹[d?Ud|vV= QL|;8KS^P$\uhKv8CMXD#/ ьMik'J(3,gU=@S;~h1}Σ̌3b'i Ԋ[PZ X.JZqQcڟIg}rWhd ˖©̱ʰ^HdPn5=[f-4Kg3 jJRGEdvZ=|3 ༤]QR~N_('ܯ!UL~0 j3,#~5' TЋ U/;9d"jʼ_OhF/YWKC@ἅa 3yycԝjZb?],"Z2I0F8DTHGoʅr?iPQA+.|_C+lP22DT']`u 7rQ 3Xю5 -SUwEve P*v]4yDЋ.;,}caǠoPS8^Ligk2+Ȉ5h WkdBQWw+\2L YyXO sv=KwTP' ˾+ h2a N+b鮒T {D$2{B"7 'f͔Օݪ/1<ɆEγi 7-alJJDS%eLl% yl@u'g <_/!0Mɚt~ v"b+{NbGZ/׃BAK$`Gy{;IP}X"߈<.>.ܩn%EAAC&9GCәU v;5y2.$nlqRΥY="۪&X^ P\:{wdO!b95Er; :=S RHM-er`Iu3!FB鹸Ns;Rj_D\@9<`BP{cC$,'KTxU-͋LG6Fs^)Q(u $Ƕ*w{A)r#Wყ38>Jkok4b% W0샖P,HDM,ug^sIq꨺I/6(ڰfP5ro՘PKDg- hIߎfC8Oe.8Pֶ9P[V΄[Q`@XʘXH`- 3}fʕf 8Y?)$q*NFb/Pv,=%+-61yBO텀VK\C>JąKJ-:L0yw)^8A_=um\:[]'ߴ.Xw~F㙪}40Ɍ*|KRvA}o§9(wBXN'Z`sˤGIJ W3!R~=o|Ȟk enA^}(FFl{hө9)+1ĈI&sZS'+=]aBQ|?zpaAτt·;fC@GI&L2^#=氆[# N@S8,?#}ht;z*^$ [.z|C ypp#!.19Eez9LKi}bU]B1obWځH~Cg7jT4 i1> l9‡mbƁǕ.0(94@bEySoJ~NBOy/͞] <ކ>+w[CGpRK,ݪ_л5eȇe򈱅=N5+I9迮f?p ]skbmE^d+X :jfl_R!%fM&B<H4Qv_G+HtG0+N2yD=q{hk ݼ;(,ƗNR(wYU_I1NcDpD U^#=Q+E0^TN dPƫm{feYL0&1EpxpՇ (L9I*W_.n -3J=35gJpI)M4"cxN Q:)]EJGDҲZJkt0vG\-mcX*[_`u3>[Ŀ)-}e4#Ce؅*;9} hQkt͵Oa*?z P{ s$4J<ι?6}jE(~j֗d+̊5Ăe&5%xIqktгdL,q}6 \@˂,_ ohX8 ǺA3o~/!*!lܬr1zO{p pd:= 'Rěw˹O(:?.3t,Plv !LջGQέ]M * ߺ̭M;UH7{@ɆT?YC8O^%5 tz$P6A" T'+nFa!-D3Gvن8n>GA;A%SVֹ3iGPl$6qb4܍4xjX#H']ʔW$Py= U83X%vwi߄ 4(?rktaU~ XӜlR%尲K6;şn3VvPTc(.%x|y T4!D㕇]YmuǏM"NSZ'UCd3#옉ϣUC*DY+J[ ߴ]̆K:8Y8߈7 w2Q>ө+(A šZ;{!遖U-:e, +Wz0E0"%7| mFP`2If \My?׽ A:eJV|(`ƵJdWhc KQ,#T\ ljD}6$^|`* >5GwmBYvVw!!'lB>.Jv9CǥsA+l;u "ȓ{_)rjA&E raANpU9CJ9B湭bk#WfU")PÀ3· no:,Yv46)]vY|iU摋C+%[2 :q4s/rZt4mZF e!cDzZ?.D-vX[ar.mrGmG8.TU\a*1|K D)c;E`Z.We}>WuA$O)[^{AjkԖO^(GwaQM tֲW֬4|uMV+zGp!CRllѲC)2hIS6 (} XQ;|\2}D߆)dQqr]Qbb{8p V҄L'$ŀyҾ7bRAuYƎΕ BkrGIȀ0(\' d]oX ٜebt7WZS9?CGзGW81nF7@GF{2Ml0JΊL#7`h$&OT5I̎V xb.'j??7POz }4^z $! gILJn9@8ک`:뾜gGQniu"/i\_omM@$߿^Cs5G~ߝ =ϗ܆@+N߼H2!N̲w@Jb*bAPxlm!q"}MRFCJҹj3SzR>)|qxқq ` s-e?JDYvGt~UFEfsdR[2eg>.4cO *׳r(r+vLS330J6Rq5+IJ۩zB#CoZԎLCGNWx^=OV痠VpM*:ldD)UAFgj̱TRyš8QݕnJ6̢AMa*w~{]A#+߽ƔJ}4΅)(^f'IiOQ0 TEq dVxF qhnj Y ffe~蠰LM[,om?(C;%{SSy>Lp2S_%K+x/O @.,C.6&`j!=/1VrTEbJF#mO4S_Q+-')=#t`u$$lG,P0c=Aq=8D+9hk{N2S-ڌ (ЎdfYfMj pn@ܧI*ZǗ+ѥ ꐴ?8#9)z}ACjKͭTx&l|8҃߻ TI+{رQ'~(% qTU§6p,nhĦ+@6xy}ӟyKc-muz&sIZo*٤`uUkӐf?_ J:I[z{*ȾsMc [Ms92cwt ʷЖnqA珯[Ar\Lty>_o#jzb ujLobC+u`)D$zz6dW0E%6PLS|y#oKF9LTyt oGʎaEXqE-U~%C"Ǒ{`poSoBSivy*:GĦ \uypb`xFT'nG jEUzIK?Ȍ09D38<^,XME:}'.fsq!́Y[M,P7)TjOfH>}pﳍp74E*lvMv^'5\&An됆3K탮 ' 珘67qY6;?WDn96{1QcYU5qR`7fR x Hq4.s<kr+`W4wU W9,Jk-i.P::#ƿع_K 9N0'w2p0GR'?1kTjƤ@ssNݏKuq=D?%PzŮ R+t(76:e3M׎zCC}۰?9ȯ-U,جJHJs K,hS̫*1 fvS]ocy`]_6^\oO?t< ix(cNOc~Nmi|e*~\ANs7akGx>1ͷ)[L:Q=mཽi#˸A;MB!tD)'tp%wtTX|#!Kb^]{L܀3WBؕ#1wpXy}H@Ǡ+TTX76; Iae*8۝ZY˱6M1Ku+ך>3JbfFB1vVlP "V p49a o 밡P˾u0YC{|o֕;rZѝ,!/N#y]ʀ[a8*M'UchPzʦ lATI |`O+TZQ 3*)*=sD\(hQTS$+eӿ"z;bӸMm tԹo0d^n\ w4vVSϠĺrvv'wv'*h21tybFEE#pI\)s&iT<&X"k+oC•I6=<14.:ry3٬e{3lW,ЈgJOѠ_ )JR(hWHBuR|V^|F]PEUbBS Sjlɂ7G DbgH)A1.l}y;PKИ`e!_ł?e @/qvKA|oď,e;WАc]J7Ĵ7^m88ph3[\,0;2"0;xKZ橄]fdbao!\:"N s_FMњW>SO1qJkDb(hf$Bw}(|j.<逖%A7zvNO{*NS\QG+n|9jF(@C D!n$orB]qmެx93u6ynJ-6Ҽ;$\}ej@}{%7.1ga7}#L؊o_GFP6rpi}Ꟁm:V𵂭mCjz-+GJTJ:Q{ 2n]85}TVf+t$QW&z ~Y^e7%P ؋>qQyQ?O 3NOZR|ufZV!jKI3́X|xrZU|]/P9vP-pޘ#j\fwq91X_:ߔ: Hu +8`&_^D_'+I%Mf5XdgpSxAg7ЁW<Qb5檀4 J=FSFt&\yMJsq.n]h~JN8x ?+/$MH-O)Bz@#@5],(yCY ʨOPF2bٳZJ8԰xWO 4ܯH8Ѓw% 2m HI(ea8W.hnr30 ar38SG q%?/ՠdrfƈ,O= ,v,0ēm\UIrOUP$eaQ!»l|ɛ4R>_!xHJ9b.ZٛơJ OZUo@}ǁ-~0A4$S-RcAAݺ=gy1` / {kOqy|b<ճB۾`/l_#&\,I o'JnD5Z;z|yMxIQrf6:i=ST_,CBlahDV+MX2Dn'+"5 mI_"d)?y1/7wZI AjN`1.2kB;T.6**8u Υ%I݉#ÐU _"P;ִFfs1dK-I6]֝#C=lS`#2(!3V:tiw-nJq)q+x Zd5%c;iy§#T9p{g/J40,!lحuփWy?yu`20CPo^6dKs-'*@ \EHz ԡ޽-aEd&9:Wfl}> hE;V!VH0 K 4y64B #Y9d_eUA%wHY/QS""Dvi#xۼ&γɫ 0,4.P((v_ψgN/. .Lٶ,hy{Zx]{`c%Xuvj$]I~$hCbݻgpK*uL4\)(Έ%N{ck5&-!nկ?ߧ2Ƈ3ǭn%țfRu!qΠmM_9,:Lev1c#SN&YuR:FꁭhXf*ESѤ(#А fJ {Ū/xX3aUzcT#*c Z&2SLGIq`^7hn6ײ~|\K,!s2'#zKA@v H<.Ez|+Rtv&34gDUin(}y.HQO4 Oυ6GQ`kMH3U b$JJoXH|㾵d:S4JIA|:vxbP[H ɌeUԅ1-b5֗} +ݗGF1@ehl?RqTg;{i:vN^[l|cz;&tH+ =Hcar*7:ZT:d[JJZ ~è-B)?4_ǬU?_K`Иv/7 LLuݓ%l!*tz: `[Q5*/GtKb_RC.6rORYd7c+bxmr9n^5uɍNAb -Fڱ9|܅J_uJ3AѥiJ*=wEK)33Ԟ"vus4N5mL5̱x5+rs-]cYI35rhSZQil~j&eYKQJ!aɁG}]@q,(. ~V^mu)4"  V`$#>_}J_@h wgM- =V0ΕdjϡAKr`Ppq7r)v;Az@i&\jEk~$x ͹ǘBkVR;+Knٞ [Kr6m6gR͛V<ōG:E:xbuF'QO.g4l+^ "lbsBpZ*qC۵4#{ڏ{swvH~W^ ݬnŭ{qi>OYQT>dso8">14Ch3uf*4A`֪q(djl|\mHGJsVrZ\[H\MZ&gY,G bˢ Ც=8K**_,AQ 7ɿ_-ruz>}\&IԝvCFL+GX|j9) Ow:q(Ul*i'opͳ%$HPKAO03 fJAx`'鹶*ֻfG)?Oϔ^W7MӦ7 P 㔷>Մ>gB-ƒIdv}"oU%*S1O#&!#ǻg e1"k_l?xL:~Bv7se9KRQ'GS${~ Rr}{zCif^%' BS +}2+&l𰯀4pj~-ۧ Rt*B^~mQE׽^ eTxOlSy@Qr?23Y"Pu)k)rLfrH?a#% 5eBe" `붍S> kLSY+ʐB2 < :`ǤGJhJW,25of)4z96Ŝ3! <8ݴWqywK-d[pyx}tpɅnMl? 6鼷[])[:WM~/rCvzO)o1fSe=/F>(>Pg>>/o#iC;29 ,37<|LBa8"/bO~y5C\:ݢAzΦ໐Yū'Fl^OMMlVɆ:–S!֝^0a\ո)H] #7 }E>8p;$9u}POgj=;,q mc]iL[>.Z_Ym"+wܻՋPR˯`J0(\ '6?kR-vZ44Yt<.Sx\HDT0)‡e'U>vrG&oN0x/rmbCbqD0!jN&L9d`!Ppu *ߝ2$vo7b*@3r2/ewsΐ` ( Q^?Jqobp<*L&Mɝ07SiǸUR_g3Nڔ!0HL_Ą5]U%'K>\ 6)C?CfbJ$,8E B6(2,u{ QFhOsPHݾ&v-]ًf7j'rZ6S*Ї'hnN[%u 3|Mtkv7#̱&qhdF>OgI tf . +c! M*dO't yoH]#PG$-3#z!SR5|ddPmIz-Wq %OIȐR0 J/>7Vȋ\!.)F;U| a Sо |bV L&K Љ,򬇀b vV]z੓G)6)˧@Cf! s ubA U 9^;j3/?~EDC[ݙQ- "p&~ IY\ݰwe-v2B%6PYt: ٗ;Wto}bsb}c4J~7C|LK eIүvGs|)tzU-m"i=h^l%6n]0)DC[b-۸H$be+CF;{ܹjɪӬ\e7\xaIHIb  _h*[kD%yp5$$1:aeh*x@/;Z`$` o/~C;hGPVU~]_9SC=9^(>[P'g"w^Jr18x(m&uYQUjMpDWSHjV"F<=G3)t4ܹhVZX /tD2N?ZK΅-#q i{ WGsF~.`^т-MҭrVV^t2%1 Hv-_CODȊ hdk >߽_nO3D|-ĝjͰ|&Ɏl xO^Xў/um< ;ۈ~[DhJF'U'}A++,N9{qxbf_+PV#Ȅ&GjA+2"{%ҩty}[qrKf԰aL,snK^r&0ꪳoFcVc(Ø HV`*SƉ`P,I=ngGt W,z|6g_ ק5}(y[A EV)?va*8iz-+k3VC2NnM}jvǬ^?tf|?ℶ97"=rwzwV<= b8t[[ K#M!)rގ(f^ P@#荾jCWB*љFB>8 L+W,p<Õ'eŷ ٿ jqx[t/ݦhKx6V XC/"+ɏ޿J"iꍷl [@GߪCLHq:ﺶ>O޷A|Pko]wJvql=s,)afل xs>!&s'mX͙7?`s'WַdB˕1Q[tLR\8a^R>K}\P")ίYt(偔e@u(3=f<΃Ƭf/iu*`j]ܔ~Q"sbކ9i5%qCo5@ Y6j2u uހ j 1ׅLQgYZ0caff122380bdf892748f885d2fd71f9c5ff226e87d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 e0ec58326210cfc58d91b410e3bdbb9fe9c4c5fc