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 ggu#D, ] Native_Word:threads=4elapsed=565.561cpu=560.808gc=4.828factor=0.997zXZִF! E]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Y#lO, C$}݃A~xaxtPq 2{ aU*Bd"Oޣi•>.k0j8MF,&@YN3Ѳ6 u_AfG'yu|;C݃Uv@hꄧ<&{%avښ@EhrL-,gm*azeXkh,B{q򰑷1fЧjm.1g#.s䕢Hm, yؑ} c]|!:LpH  Zy NQWw` 5Q^ĺ zص}_P_!pO2p 9N%&GR GL0OMLq\qQn;{&|s~t& eWCB9/ k[`!3o X NZ7> {h,!j8l o&r2 M$94!?.b5$ ;'q]~I H>SNygN#_)9&Zo`-Rc7g1Vf(lmƕ*RZ#1 F~# ]qh,itԽ c9۬ZK{CQo80lqdQ4yDtCl{aD%43qeb՝ʝAz[DV ۲,J Z}HQm.TslJYYa;o_SRw!}Z/cAŧsz(i*[*uPRTu9iq صd9Dz>r{h9 ȭ] Ĩh\ތf^W%T7]ƇW2Zx.PykE!EZn~NCQz,iA*>4秹R-e*[8Xp8lV n=xT7o0 O3{v"@:ʃ%n\TLϯ0G^sfu, gF3:Rě':]x+y.$yb Aڑcckj'埃#}x+M gxQDCl%4#,p|y'\5ݚ-pVX}jp i6MnOǞсxG~?^rv Gps;<ȖhjCe)L8ONuc0nP{)%/S2<H7h w؅AT ݢBM([V%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 q]ŗXiɟ1˦rnzx <@0+gM]O߳$x'cJ7]Ex5xV>1<ت9hP n7hV'\sՕ}Ŝo9"j3js߸:]4OTeq>{J=tVp)*H3HPםi'\_ǹ9͈|9A{A;sO{/JOw>U0Q7HrVV'!fV 2 UtѲ8=CweL>n QkGxRFt=['L!B gUCKdJUĦV 0eb\"_L<ƦS1I۸U$`+8YA<ָwX |]jpȹhJF0(޺3j^+aߢCYK,,$5n8[@i3͊:iSky]ZuI[f+~>EK5&zE4X.[ L% W ߧz 4v2r2!GL$QTE{׍Z,C"sY!9gYZ7zXZִF! 쌜lP]ŗXi%ES3Q߫iI%<%X^Y[csj`۽_$Oy`N Wf3V`p]B_$k[@~̇R2rhrz b]xoq1_'jo=TFs,0z:"6vg ϽncDIPe&mKÞ[=A [WR|0eHT%\Z@|^ "#mdmR.xc fgb ]{Q(|$#49pg1K<>h=67S"d%Hŕ,.`%6t@Gb'wh!$rw'@VɊM74bl.xn$m#IR&vkRى0ɚZ}89w-Glqf`7\Fr c'[ uF; w2BJrJ=@{F ]!r^Ϙ Ԥ`xcD@ r8U.D'cיvUKBe Nz8Kk$t++߹?<_Y-lv.i؋խܙ(J5S[#e$;]r;A҉mu=:rzJb6ݓ{ْUGȩ haWu^NBܪ [PIg&)stwD5Щl JJBwaSnF&O)wAJ;y-%K]K<. 8Et:wӷ׺6TEw@^FD}I_|-߯^4ו6ӍURaBLC]a>mq\(R$=UCpR˨\6M h"4XvG#4e/y a\ET'S.> #$ڌb)O$߶Urn{ަ屽b ;ΘsQ2ťDsx'" DoFU؈QJ1F d ,rLc7"Ylܓ6@l5OqcQ\fhΉ3Tl|$& _U1 W"ˣٿ;I9mOk%WlpBq~{q7&pYZdz{ y72NWo:{Jaq_C4V wQ?1Rry\^DAK W<O\AbuPAn)R5p>2WVLޯ8hC0:.#s"v.R#-b:J9TgE"|ҏA <%DdG"*6?2u9} =kS-F?7$u>mnzcXأ'k@Bm9-F_8ёس/>Ըו_e.[[v[]~pstn@R!@SF:D^yn #!+=ǃHxDUP<\hjS{پY̸ؙ/HRK0K P3fjdI~s7ȝ\;1>pTcbn?rl:D}ELJV8֫I! C?Qr\o; 9vaX&#QݓM[?Ǟ#/ ސ; FLS{sX-A92 Ybr^Բ nVvUj;.JL.6^gL>R{Lg\wkΤvvɞ1%'zZDbm*5C|pf4piˊIGdInW 7 &_s?(y5~"h_.TlLD،o`s5߾{Ӡ՚NR0G#`NO5q(6AΛQ'f>tCƸwY4LY"m x5$uSEff1h=7 FqpIGxqWD,sČjF/zN?&9ueOJMτ <jM :|G ]ԂaϰP;p4ԁYS7CTnSQ/%yFKUA?" e5#a좭^[QB7U<\)_AJb?=ٙ9NK- 5Nd}Іz|$A/9p\6xɫbJNwvoqhUzj)ǁ^cpL|R,qǿwĎ%h^sJc nv3v "5\¨A)NLC=ſ,pƪNFoSU=wSӀY3rn)~,pt7毋@*/`ў|oipZ&+LjGFK1ڵˈ?c?Dxxd~6қgҾX70-waަHMgNXD{ qP ؑۡkD%b/n8F"n5_ˮc9xHWM(+TIo~(Ty.s%kgm+SQT\eW5COiX+޴\iI͆nAriӁ>Yɘ}CNt|DE,T%t3)aZ;N e<v+`3T+A㊁7=-*Ut?hȂ=t*9nÚKm/y8:c&7pZ:"U +8z+H>IO跳@-K-m#ZܡbxU'x@$ӆsxw KgXȣ@׻6 .$¶7MҬb߄۟['TLED*$0^Ԡu^ծ4Ǻ[%1k%_247xA{-~-ZX =N 1k-5 `ddF+(Hʽ[5 Fc앻TOԔtrYT3HbjI4KTVrg4`a$dgUCxhKP<)Xmfw ܍2\fJhשĻ,=Ls%NђH`3隿Y^Zv UpcLGgFVSRcr{,$@zd>!%DLU6et<IEG\#{^`D~![ahؙW!VLal1'b7>rQTk۪7e1/}<aYtA >j4aYP I1bx<jpU}N MLKnN5LuJbd{OOCH^=*HM:(uBf 0*IN;n#ԇ~fd ͋ՙ#o};2l]>-NvXiVܫ,j6. #wYt_8`rP 62}PJI.Ld ٜ:8=D^I_X2|kO-;gk9^Yһb ٔ8y/V.v} ]GV, wyo7@<;&63A slwm!xs[\1n iZ'ϻ1V&{ *i/H䇵W9!?RxB-59z'NnUd,OoJjC,-,Q (2q]z'Pt8χ_} )8pd/[^jSRT&.Kr5j\1S絺SMC)U%rO j P3B`nC_M }@* 0f&wS]oJI2s@pwz6~sZ3E5f780[7ele" hYx$$4_/1̙* c%w=чi6EDZ5''6 ]Ƕ\ u rGipv_읖  &tֆi^1_4ɪxU X;,uq;~&H#ۛF[ugYFL0ڒ ZN5d癨-݌{Hf #.)!D#x`K%TO.ä7T]}҃dMĕmtb+ٷ@%9b8 #HxWZ  )# "$MuSez< fpdz4śZ epN[l’)Y$B>H(+1-])Mp|Κ8wnD=:2^ |ҟOUL)o[Ss8Y9f|rmIò)zg+n[~ *ti1BG#H2zfuRϻ'hS{1 §fE^Y8>dn}Axc2@zSÎMoo}CGeߖҿvqr똁෥w/'EX[k @{ٕId1Z*D!k[nC8uOR!+ +o|xfBQyyT@/COdI ^3} = EPNtpF6h c46FߟEZU7O##nM$p>UT<f< X`&0rZ^TxՕY9םuAi7Cq~S7HZz_1,@ur8m$>'3)@_; [x-I9Bt eM2:(\6@e!䚾j^фUr36Y-'};}>qוJ?ZI?XˮOdK:}J3w'#yllO[ר{go*4`Ɨ_U}H˙iO^hLA( %ewP!pdYE].$NK O?m 3dˉm7 j&ܧyI:,e4u~m$kp5m>\>:Μ-eexx*Ľh>[2Fմ~1wVg=j#ޢf.+U/UH=lDAo|u+@)+ ;ŹUeKZm, X8\8ϬTIsІ?̈́zN>N6>yV.)FjzMiD-FxG[O V  7Hś2Nqoj1emGUQ{7*an)dm`~'KE>tZlq p &=q)"*?J5M&l7tkAL9%Gwo$3GdsVa$ӊgP(OC G,Ԣ JZTs}ޢCX킏"g5,vLxU!lek&ca>f%b 9L`0MK_Ye5ꦵ\J͖+/%7 wGV*>:>q/m-tGr-A$-%߭4qL$;ͭ $tpх{W;/'O$R (7[?@Jul;qTcwh;e~dq;MOHO%auqAnS ^ T U (@#bJj->&.r4")S"Cba%LYoĖ PT;nU34^LjPR/_GypJkɈpN[7%`LGwk@DVhM4ޅ *%;Ĺ4k cѮ\̭O|"Q«26"Y(ã#8t,jC⏲6*Nq% q){xt4Kau.5hF((9I0=*U$Y 3H[eNM׻ u;+YX џǶ(aA[gx9$L2D ;֍z7-ym;d\pq0>"G5\[Igax].g}5jNk+c:]m`/H3/$GnO3~"{aYq`Һ*@rZhoKW˞BWmgJM'*LOpynPQ|gv8w3 Nܱݼ1ezaZCiBfc^6}rq}($_A~('}ɦK=m#Y,7kPYvuB|E[WHDp{#hi)so/L]8bО .z]y PB~ f_hVFfwCZ!C%쀦0R'oP"B;]P|P F>۸'?-d՛YE㼶v܏obƪRc cf51cu$TS$ 6iAMvXۣ 󉋝#exbݲ-VUv(yUwEI${e6O:Y8©ُ%XC| `5# 'fP;brT=rG9~tiឪO]"erG,$k&;p)mS0n%8Jx6 蘰G{itժNXc-O ?8l"q`4]CB3ƔS᳁ն &e- 꼮(%wiR ,s_>*,X=]lJ:6P0$ 8`%@CxI69^<(`t"-)"ɻDu]@E_uD1ӑ/%"xA]&-@<Wsk%c({K"1{k[ducx6PO(5Tab'|o^L}. XqNsL#qtf1 NŠ @GB!Ӌ&ɼS]7UT!O %oǦ +KI+47ms rd:דXM)` ۡZR6R2UAd2y!&@8){uSLo?YQK4z}zŘW1B yG ;MġsVp_pKxCkF+1'XC;ŘU8l@u@u7j5Bҍddmv +1Q=6'[GO(U $W-p0s$q7ҋX4<06=F_m ġ?F} ^ sq$-HlXEe5J كdd6c/)ם̶L:`o]캃tvpA)ҍxXXj* @>N $񦒣5e&6J =6ϴ,9mmSb<K6T@ $tQ(YV׎0|vDqF" qaOM+C)T۞5"!/Z,-w "P Z~0F.Ğ G.ڃxϟj|(r'2.6fy"ue@$['T4G"91gw_vivAo+2[Vxl,c_Ġ|؇fbny5ʞ/gbOJ^#}7uFfrE(l^W:W 'VU'Ǟ'_ 碱.q"$;Rd@ Nk )gϴĖA6-&7Ɋ Rк[קj,+Zmx:KXS!ӡ#(Jͻ׏):X\P|RˢlAAĴ}N1w$BW\'+ܭDUdTz١3Lq6\( 6Ӣ#B|91N:͌+F^QݐqJk Jsdݵ 2ͰT#&Wvg%u# Bf',w+/MPٶI֡A:/.~iܢ\\Um}Y}/~0Dn'"ⅧȿlǙ &D6o%' }ٮV' 33\`7Hv 5R!Fyc4V"Y-juǟ n5v![tT۹j5!qLvV QHdxﻐ+XwۊyW ;n 'vp/aR= m jx mӰ1 i#/(|%qɜ{e5gphpf5$nI!skBu*X.^+{դ(FQzk'4{^ fG^VY їrJ>leMD55: a$I(OޝP>#vRPf@ً,FYK:c^*!.5kbJ;dA d\ϵv+1"fa!j6z9rUuoAs""hZøfHKHޚ2hѩҮö7bqR=0OkM:ZΪw9 vs%n8$n/~)k mvoXv*8$ִ%Y{bIW?>5Ҏ e#D@+Wdb('RV'$Sr:9e+P-UtYXa`mo[{@p4\$SQL^\Ȟ9A>zo18=}T>FqVs ^ b?\ѼFyp :Uq}I0n#Dfr4Y5:;^fYf\#M"2ݤNFYcYA&>"+AB%dgE%0ŖL "!8 j^!ZM+iˊqhMa|Ppw32&wYz̓( \-f޺sy_ڤR@ x9ߍO5*~kJՠ'*kr _I=qdG$6J/^wdRrT%Jl PџOq2.v<-oRk-H˸o#ݔ=l†'$ COj m9"bw\WR ']\2)SNU+-\+B&ǭ,[`|O) DPךQ:IjĝTi6[EQ ΟhL>q!#PSp z}H_W} \CyjF=h30gxNsFBO(1d:khYL1GM*,HD{kkm.<^58{OKߩgEku1njL'SrqwnE|\3g($G T$m)=IŜXcEلW"D|.KuП뚘jM=WӴ<=,\=s(g RSZL·@RJŮ}0bu". ;_%GguZY_YzUpCSCװP5_<ݝu5vreM?ƐMh;1),oOF.O@p dm :n]KqM\V,M}佝Sׯ nv; 6d7U UNN"=jIS\ٯgG 1~jH*VN5&Tw!&.'+tB<D˅L 8GTGo@Hk*(FUrܙ |5]Hܲ̂ڜU9Lo0- !֊5 s Y6v%lT%Mͣ˯QZh2}[H2mعu;̗!F90FE.#4bP-"68 .#KYaa._ ~{z(-[&L/F_uC+te_,*q*4iN=gq]|)IB"lR 0..vKѳT"B4OO>-DG()"O0h!o%lhU=<>Z* mhnzLDKE5o2oUo'yd7W>~[s0!@)- =_u.nH~8YHL%2|pH)[Omco_82Y Qdb((ҹ7; Ahf-W96#|H\oll B/yR 8^L-HcWa& S|ʆ8l1PQXUv]KÊ<&.Ba0T%.XY<E$&3FsI=fLq9 ɐ AI"[R5U HZVk#H8ߴӷn">X+LOq<ѩ}&9wjSt% ٌGo8OlCxt}.s+xx$j.k_ZװD9K7o6]مO$?Mn &Jc?d.U %ejN3l6E,}.4*eW-sAnt, 0rZ= cjG It|myOLWVـX7lm+)aG8+BEpI9j~q|hIy3 d%+W -h$/6:xҍX2>[W ZKA* piO$/(lA.<&X~u< 8#hV;Ggb$ mTRG=ős1zTk'#b X꘨s WƖj@SssLyorhJQsB'6Spg۷+}xY׷{~*^ZuΧ2ntI2 ǕJ7FZ1IL.*<⓮p%8!6$N[xb6Zڈ7S?^+FfK~OF|UBʨGPwAdiۃz#tl;D dzI鵐d5t(gPyag_jeNf8˵o jpC?.PuU6Uj7*Cr U"Wa<3CR8H,߭0BQ~jзb-EqԈaGvL@mЉe;פ:ǁ䉄O}{iu`iY}hE4f)N{U!A"\> Y3nwR-B3iSr._ia3hZ_ I}9Ь(_oZ!}QO97`AtA潝} Nxb۞Wes@)kT;3s~DBKt|Wp6Y[8UBl|& :!~h lS B4jr+|_1h9`՝Cե3U*t ж>aYM#lĽg",YQtc]zf,z>TaeF9ՆE#QދlseT[Y,C%kd$bwB{hֺ}T =_Zrͩ]_n1+t R7;LJih:Փ g1F;_6ч4<^92ϟbX1B EdσgVZ7"5lG[q/xV@ \l`*U-1A</? ]rILsLM LqJosJ7顣JĄqyeXNBdMXgx*]5W 6hMh0դZpmLz-?1%l,?UH#ʺl?Ku Tal,>4ԩ= ~wD{XU'J˲[(8=1$as_[;r+"-hZ2⿙zXiP7#E,:GtD0o iC8 )* 5XWEu5! ;śiP+#7togcM?uh%3X&Mf;*lj5V0Bm!# YZNKVA<=V_IW>|'Uog/\R Ne0js*zs?;>ݬS#f:х-7k1\&n ojKr9;ߧy—[t{:aK4e/l 5I"Om^Vb s>fXWKs"ӘfAf9 OW&HtQ\eQt[.Y wjbvI/G(dsvN|R TvaNI1{9S ̡04)ӿDH.S1'ev©]_i[ yƩ@k5Xw湦rIoiW#7z̗I/_$BRV_ +vA: O;kDxY5*ƍNG~}r ѐJе8r/4-Gpݢt;  x?s"-I!d~ID-=W7ZOb$-峼YP$o]vJ/鮀X@RB-"ۚ 6Wdz:ՃF5FrPܝvٻ @Gn\ԕGiXttAV`Mvqh7݇!zK>nm7<]{fqdU^ L~\WC8bm2UVSX\"齸Q<6-еK!yTkզ"B ֒Gqlk|2'D(==.D`mtn0˨3AX:_dEf}d7r$:~6C4~<2%  :-r|Fu{M48/Y(*zPF!HFR+|]g9^ A<^s)eG`x$}raX/>ybYx/Tw&J(X9l\NVğ?khoJɹnk;p2%Ң1'uyr?'h/)IC;YH+Lwe݂iCb2,0KaV2.kT=\s姉ȗ>l(s*v|]do>ޥj1_euS4A !c,Z͹g?J(I^O_̹P ,:HUA62w z("AyiW#_]ofkF4DR$I[{[r;"-3=:n*RvrpM&ȞY2රE\²0A܁ ev3&TD2UȲ # ~*A|ah9R|H;K> !~5Q%'x` .[ MK :<1)#~L<m]ZaõVD藷ר{JH X&7l'rɲbG^x:ډAOѴeQA/a nyg؂'=,wu.8X^x6ǥȄ=%}|z%C7F(EORqb"6}Ci(ϽJ틡#|d*J1&DE;OJ@9=> \V&0x) ?Yʤxg鵜߁8FK݀q ?qRsy\0>&!*J/zJ{Hʋ&8|CyAgk_r1uUͧOY"Q^eΖmZ:I6q$5NwP%R|J27ޢW浲Ue;~WGLhM8+aY4-+#[r2(SRw` kS滋Sr@Pγ1crxwMNdxbk 8n@pVKH.ߘWA G(`Q se/3B ?.hrL{MlxoZWF p;xf˦SX6ܜ:kCF$6DGGz^y# eqyx)N\۬!?SGBQPSy\', paJj:|DA3b>و׫ُSu~ Cbhko8u =+<>[~hY܈71H(]UEi"*)lSD"G\6$,nX9;ȔJ"=%֣gb5`<蹟"(7tssժ^=YFF~gtdΨ |K$nAWкt,jm]p.z}?A;>\Ry>q[աM!׏: j\uE^?PL/iΏc%Yk!ی;D)ny͊V~@Ra@5 )A6L\D BU"SZv/Ų\!ڥ^ sځD"C^=o2`Nfa9~(5zo' \<~ e$-䌅VzץhVtLo\`6RgLأf}YفeQ[P6SD1;uW"ڛ$M-_nDϝPBda@eZc8YހYߖGu)FIdŬMCGp w|:onyœ{xG`|V|8}(;G!|7츾㣃xb4ɩ=0I#ZŇ^4}v=lLm8ͥcķuD1=V#s1p^-P/ @`AxwvגY)BwSaXDz PvxntGѭ :OD"1(ԇp}51T^?pwM<3Zu<)`դgZBRh&P;b+fi ?LV-gpoO`շ ȹpHNu 뇇#gP%lW.|׹hu{18Nr< ƹX$bDl챕n1'!NL\]ϩ_Ƙ/oZޟ1>%` p\ !damvxi le\5ޗЋ<),[dŬf2)"D "VIy Ʃ-Vwő] %RZdUÎh| S*FClČ_nEHY6'v]FbKҌg!oog$?~/JW6 lU`Rފt _xtcP_}-2E5wfAv$5*i{߂ʝMO }{sQ%8I_8ߙôzNo4f"|v7<߈a f9PvUkcސQz<1ۺS*M91`Y,iBU#(c,osG}'C "QgV'Tu2 W&+A F >HVӟn?*Xº`!x{9-#Fwpp|XO]͗ggH?ژ&sz2 Ke3F1O{{"NbʨSE~c0gdFUB]5t>ui-)NCΉM cPo6ӫ Z]7%,Ho߭r.8m*Aq_izL[ ׭ w2ͬK) vi~=zG2[u#smyh1xi&|_*N*P%nl67֚VX u_Bc\CC/~E`Z*ٔ}.ωd&H@ʏtf6 {ulX5D`W bGūUӋG|QR*0k9TnN=.i57r8.eڵ`@X<us _sJΨdn$poSA)KrP(Ѝ1_ 8x\u'YR/8PwN6iE.f= mi0W3sUD&R\jWy-qrTqA CiHz19߾^_ekzB vWTGgS%\ѧ%:x~[`YNl"Qw*AA 9%L@H,bBx2!O)ӻۍ w> (;T> (Ym6sdkˉ$^ xzi,< xMCT0dtgP.kS [- [ F"Qi"]1fO5 (D]ܪCƂKj`*3Bȱ>^?TR;! iJvwp\nP&kƤ靚)xXr&,*G Qb`J!_3/)Z-*RoMs hf`l5ɬ*Bn8n&vTS(Eտ;m/2$YVi/As;M .zƃ4[d6+? N}m֕$8˥an T`k#'11/tsfWfdpt0Cg$6#0@-jmPc+ﰈnti+׮w@B.g٭ D-Jؼs`U워Ų+M@m9PV߮rMFc>-mv-|ӤK%F>3I*&䄑}jMZ5Ai x@;4Y %t#ZKɪmu9gBh!xE/EK'Rt#iu=p_MJ-ډ/a ެu-58]}A5>ݔ=Lڑ> V++| %rBt D{UO=s Z&zVtQH2T[sZ(2@=Cݕ:@,P\9XLGrvL2C h[1#x̏xJٖ7K`Ex8IeG6E^~2!E2z Ea.`8rs+H9@*aPNso/Nowgɣι+I0;4B̬A5 3dQCU;B-wzA 0ҪiۣtSK R?wIzW̳8>>.bkxgaH)̛ Y DQVIб%≩Zc1a2=q( %?)qDZHo`5ս],c!xXn䈎XL}FJ:?tb"Hvbw[aCwzf{I8?rPŁkjoëbiJKoO/z.X?P+#Csqg Ԕ5#KΨ)s:% : ]Kј?&sb{dPң\ݕhBԎ_QobQ&^-ÝAK:t>{[ջȚ$ynfVC|ct?Z{K9$`P:OF_"Ą?3dpdHáxr.;zG-60{;Ȼ x˜Tf^hA\api wsPtb^//h?뽈ILN๝I re_=ej !vV @<OәtCM>** 9&]g ֔% ,87K<) CKi=(Isi m["a_!CogYZ9ff222d06fd819fe75ae94d71c9de2d7032762f176b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 eceb96f25f951fcb080d5ed4a865d467b7a66839