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  { {a#dd ] Native_Word:threads=4elapsed=529.979cpu=530.364gc=5.628factor=1.007zXZִF! D]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&XY/nF-|jH_imduR'%/9xyzqN co 6˜u0EWT`/v{3s̜d4L&L~2=_5chJCv 5 7/tfNEI2DJƼϥGeGM>ץBh%K e'3vG!CWKлIZ4ZK_4L,w#0*MLv)_jBz vjFg]Q|0}^\[+Es0+\=;D`z:/ET"(q'N^#;65qd1Lv_s'{3kSY%B.MzE?CA>NRBwX y *vj3 # 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 PC0"Lӕ${jحMu&g Ew y!% d`d u3ʲ3RgQ*l,hX@)YoĖXZ"ae!?8k"F"J,+w,:QI%UO'/;6,< wt}dOUǧڃD#ptOK<"P 3"u&G5"ɲ r'1wAZt6|IS_ޏ_Ly4Ux$XՒЊF?>gtȌ=O<ܣL0ujVn%"2?\7`=eI繛VK'\e% X+hrE0s˽T36XHj YwN*2$ `kswÀX*M,\"E2bT["Q* QS (+8c[ 5c ;LAʁѩzyxflsI&el-6m@G[24mMGv[hw;_(ZBʩSp̀󥭏a\S'E]u,b{:NEs< s:5UprFgwg"W|lXVZ Uq+?O`)BBpˠN!B+8݂Ӵ~o"[)?3aR۰jNBiS蟃x3Ï$t@UʟZTjГ\S iһ V6NtOm+W!PWZ/0(LA[iD=x~$ᮮIH}XKr18&,Fp3!0a%Řz`;f9,M "C^Ȃ$:~٫F=)ї|QWd>'\1vH*R*8Lڗu#1TbD:R /ٕA hzC JT}m-gYZ7zXZִF! q]ŗXiɟ1˦rnzx <@0+gMLq1{X\FFDW" 8hH `n%-J ~lp7f;@Gڵ`G{nh*9 @էOt4NfoyVDS|wSS7.DЩ_n9Hm鬧*#*?2=kgJ GkgYZ7zXZִF! fk]ŗXi%Gf|jARˎݢlos 8e}J8 Q\C/?jKTik0 \̟S ү[=t ͛bqg䝪;Ԧ" *뒷ڰ!4L Ru :|~U.T N潇TRQ]?,{X# z`#sπylv-,@c_(mb i=tiGmb"3. [ձuB:jXg͘ oYxnRep 91w-cE3 JO4<^ cIۓsh0 ^71E?y8<Ԯ!N--#QΤ cmȱ1 ^ !DŽL36Șޑ>TehP0ʇl╬#^Dq-NUsV'ɩ(m`OX@Ψ5_CS@lOM];jզENCmWB ƗOك 댡%Onx '5UБiS_4Z8)p&R?V:s~"㸗f 8:\{zOQsFMk2ց_hPͽ.HÙGhUK7ucYiK|Kp@W(bcЛHfV _KQ1z ByH7YH v< Uj3ڧF&Z?,u|WU=avj!Ս#]}]͜ufK4~ǝu{qtnuf!'}0Uyƛ>E6sSz>ЧIk-Aj$GP}O{![ I/0IuA"6uc4ҶLߠh=J3Sm=xS:~?2ϴrmvKE21(Y`!n߮" QgE5']EG?*ed=s'@ "׳:4R #gnxp뚦7㬮NyVhT=yyG;E R0 Lѭ-a4tMg1p!#zܫ* Ezo-ĥI(Sj8dQ'wݞYUa!IzNM ^[xxTNL^?\ Ѽ2#n Aʥl5˱Q27t)n5^`=gjİS5hm->[XE<6Ycʤi\sv9/C/#pW g~$w I]" FC6 ;6BypыQx#' 1hXD Da͈CupZYyr<_&o1|NZ`ݿJ2᠝IYt2ʼg-ʻy0dA@U}xm~Yn^ZT-"gP&z+ob㼃vXl,4˅a xV@Kn9Pbs$*s޿QMcD;{\9BҊmT\ǍOMq涓!hJ]{FhSbb8c ~kěg/Pړ^+#MΊ? &?~sщŐtykbHFh֤Mܡ~oWt%33-vLXPK3YYݽE1QaK/#K ?"ӫgPx4ޜH@D>oJD 7Ւ\IBW =z=QWI$"1hG]χD:튜x-0V_/L;B0)HL8DXy0/yF6 d+a$ ʉzu2mwaˀ@p==)UFV?wtIբϚȄM 'ޫ]zfyn84DXti>Kd^p&Hn] v6kEvҘA-fv=ԏ™5rv4V-p塶 Cec;SB#VC%l!{$x8 ~(,1Tv=,<8 'GiOD$Hm`GGJkeI!^d2b`hM/=5`*hpqvnkS8ψ7"K$)Ӵ[MlOEe+Y,"kNFgһd>gh=ir85"/_wH3ؕC4Iem6K2Qc{qu{dMA6~a]rW!^5]B”-ú2M˸5<R˾F EKǻACi[{2[4xP.1ibaDpy[ETF\/MkLl\j=vDIXVq$ڡJ!dE~"owk@QԈq^HL=Dc%Ez3ݜe1nQ~F*2%NT`k'W6QwMv47Q6W)ay/K5en̅tc hDD7{꣜x3bƼ:ˑb$QE!$8e' >RDwB]KnΥuz)'a?!f[y*$0 fri~-C%`8 b77 *'X\G( %kӢK]5k4fѰbzw]n&lϬթ GK3{:YX9 cC˩$ 1*mQQvqԗ% #soyl~J%-2Tu tͅ&RL >&'Qk&jUq մl|q+̈́d`zZᨀtZJU:G#h8[/LU!S<5& MrQj&n/ՖC*2 C]%K2>P2A&YҮ'^Ll +f\vi*Jck&٪ҽl!Qe…7+V-E^\(ޕ[y+flFeމjg>ab Ʊ4x(5z6M]uYku^" \x [W>4D=|Gb$S åpgRtM2A w=@1vA NAMen"A'q%[??p|e /pj)yo7oN}B~C+{p`xaSf _yb2LYfkmQ*x/жG9hF5o1rM2fpf#yvnc/QzQVg^R5鐄AlvX3nVm[^fo. K*jblR/fBCz"4v{sh!Ft\*KryefRw0iCfӇG4%Od̤*mig2VGj.z19jy OTj,'6B^' RgbcH@ 6F@%@n: ڱGɸzKz_$?iBXS,Na"P l~;_=N88Y0~O$FH yUݬ-pi=mQ;D;xF$ wr5p%0 i jpbzM~%`g[г*dwͅ~G*շGoTW3 ~G.d=0 F,EwKa&x*/ :Q1x_ rDZ03t<>3(40 ,a,Ykj2G^82aob. J+ %Ut&-hP6q[;D ;/+ pGVs{hXVGapɋnpjYL 7M&&@˝^ j`aoz@WnX7Rg8;Yۖ$ElX*(ɿuZi{eo{V^G$w8a '쉵SX@L{`Z Ɇ0*I^B7hT bVbA,*^A uC0zs[&{e?ժQd%6&5|. ^fVˈS<> d Dh ދh 'j+tf+ZStPv*~dw Xτȿ;;u=>*N~\+NDPRT: {~ W_7LWy`W^vȼ)q qqrJ+CU }?T\vu3ֳ 43ܾ*veHi}˾<ĚǴjYCUt1u !ZY2;]%2]jk>2h쭴n̡ÚIyR\Ջ$pyKۻZBmFO=wV.j=ӂ" :Rpf؇ BE=8qYE~F>\v.C F'@1]uF8u݆vGG ׻{K{ ]K0H@-ya9v0?cP6~2P2*ZG4;sAYa~5,+vxE>z>1=S+>v6Ru c!=UT+o GdՐ-?77#:XL<>w.W3ieGJl*6:#Y6;߃(vbG9| tpy;2hTȣɅdpIx|~y‚E`iHK/2|Rd"@Z6pLFU z?ӗËmߞ+GDԄA9Z!)r57b O [Q|KTg+!,Q' bJO 5=;n7IeWqi5vrLjoJaP:S#]r 7BR?:]bm1PslyG^[n[ :WizPIOW_.̇~\Y3ۊ7sOs&Nes6/U9xmu>=yfov0qxۤ<_Cw5=5I"e q3[Wge07춈8;ݶ0m C!M3A7azف \eH Ru C❼ʄ@zWUWr#CaF?:h y? \ruQ$^O^}z^WC6j;ƩbvmHKllJV MFB#É= #>ga@F%*Y{;Lͳ,a]ʤ\`.vk̶RK;۽:yRJϟ3LO Li)սsbPDXT"Wb]Tgn nuqELNg  "{+3O'73oU3`RUf#\à]Խ{a[gG+\|CY?aKU%`9os_8nd],{$ۡ}@ #MI]U{쪽B@*|" 2B/叛AeHÊ%ɝJ*Yԃef*;  3(t8{v;16rUueDrGxtX7 vq>`R-){!.g,d=`0d L&ƪnyAr'gC^$"?*+li+mh(qmL]bR~D u3%6MI+޲VB)R_ a"ǵ_]*s'6*;_!'U$0m *}BhUL>b}>ڏ̯o椵v(aEai+:>! LKqD%[zIhw!03zsZ _yQ!@bUVx쀷4o֢i*ɼAaT\z#^C^JcN4 6[8jg (}%2Cp]1өUs'-dQ_?$ s޿h0CBs 3jDžʥ<\K2Bʥ/?&YD__JӘUz/:oZ߼z꓄A8e9<(?/ZJdߓBzhFLҺHy( V(d `SSÐ%WiA%"mWvCJ#䴘V;լsr$k A'D%LnUfҗm>N>]UiScۙ-mϞ'_p_0[>1@Ҍ.>A.?YeiιR)E+,yktv [2g<3U{Y++z>9co6=hۦ{h# 4= l3ccIQ6\ܻPP]`O9Jv$ -AiQ〻[Ph 'K_eجA̡W,ʌ'. v>n/lz46F~b *TA߽gNy1'Sa0jǞY'#Au-⨚Q|`B% ~Ǫ*/8q'.(?5Kg5I;C[VKZ%L/@:/8?{t U€ %'㽺%(G(U'[)pF 7_9N͗ڷ0ϿWVqdb"C)qxjr$]Ha{cnlM}gjE-ԡ#y*Anw\g$[/6R3 6$ ؑNz{D6&!x<|.\>{ +"N (4glK(l,qGu[e3ŽVxCCqbT8Cֹ,*KPKUڣRPKLbQ{ Q0A!&xޤXuu9lE I@NA;jJaˮ= J<;;'gZ>@S}+ݧ*5F@`L/J(U}#\Bё3*NmiMi]m z$jLǑ?'2d#gT\| m[` a8Np\5g zCbQ5SE<Թ: y&. +듇(H?>"'^] Z ^ʢnC.l+6-8Szg{ .G7P-Jt~sP@WY@m~3`gSwu[hoLղIr>.;ӝ\#{s'rIi1Ny`Q^)GzH5|]I&`OYK?LiEgSRX&fwPLOXy &}Zif+d;G:N-T½!{$f=4=L^ϕ@r6,`2V,-`TuD)VF =XeLMWVj:ͧ)F&:s>ݮcijd9S_Lhw`4u(eCH3Gxe/ON&l+#&a-O61N/oST٨w7mm:i4eE*Vz,\،:#cۚz[*:On[tzaeO런: ) ǠJӝz#G]]} !k룶[5_Tj!뫗1ZW% 0HS! ,uU ZZ}@3 >vSUNCap5 ŧ]Z `hh0 O@40Ջn|DbMzϱ v XsNͱOM=B ~&~f>%,Fͬ{cuIXJ|`#fgrևUBL0={ߩ.(k QCFm#Nx Bh'?Z`U|87p$T>B,i m ?ρz )BӡC`43[؅qTMkt2kW۳e&AoQfYҨ zoG(њ28qU-%P. 9\&UzaiC'⁼'lffjI31@|HЮ]K#u)i^T  p~1;OzvQVI~r ,FMjmzx_: `/"v!&c&J?΄\tmk\=.@YhJyLeQc}rOcJ"y[Ӵ~,4+xlE&;+`̮p QD>Bӷ.)Ӛ:"mf]S 1iD}0K\4$Pv+1sW=rϹr­%B[n⑃ֽmp­SϢLqw߲el5&Sқusot[K'Uc'[@J^Z4gU`7lMH@lDw0 \i'|&7mэO}w`ج'm[D]j-Xf{%ŒG1oT.z{CkSd;sCwt λYW0;R?BC8y.ˢ .[a}1^إCE)Z> ifHWfۋGX4^bvs1gP'0f XUN7Q֨E;)b7b.#* jV1^hT۩d5Ri-;c陜q 멇@5  c!T3r˃)S~i򨌯81tN/pgݢ^%OrN=rG(/Qх /[w@gl#GB IjZm(hexƘh#.Šw5S_0O&_ e<žN_Hbu/<~bRqv >5&2dR2& dΞƒAT[`knbE"fTvN?h̜pep?q /7m4F}f"l ZN.P^q۽7狳j +Q$wtOZ|$wK.B)P=Eg>QBX/ ] \5 $Q<4;OMYuDC8IR6q<:4Έw 3DPgk~?<~8GBۊ-=3vFٟviRqiȵl%dSLOh.Si!  NUEii=0"ZjH5(`(򩈷0v۟'@a63N~@F!݁3yVO WKp5%]eII[%5b{_e٠?e%o&:hYL #fPK#36ii EHYr6O<'4@Xƽ|Tv]a_<^v kal癟$R&RidrU,󰎁jd¯ƨK%2ysSe%^\[jh˜-C PlF0(;9vK٫@lۿ~f>_iw\gԠ2e ?ɤĀѰvΈdj- CdޞG2[EPߴ ]~s݉;GUcz]%>/9q`H ͹nj'I7DDz/#7=Io- 1jq$,dҼoHCT6,-D08d]IBD/7K(}G\!'l_^E1>H޵)\xD@e¿Ml1kP$yYPFgb⃋3`ӃN[6Njve燂[N_{si*>tΘ3>7:~ʭ{ uWkC}JM+ǐɮcH$Y4׋ҀOCC!=aGR#^JQoWxiM0UZbڨ 2Ng_x 9AGC <'_ 8_VvA4}!n#^LX`K5Bť<(F7cqE˭Og 0c7}'ʜHpǥ ߈E G/PHKU?hduV;@fahuJ'z.59Ah ?21S X6 Ӌ3p7jLFKfdW`|*naHU@:r8  c7-Ch=s{{ ?VtCL.{j9wdTX„슈qӢԟ?pE\ VWNvԃm;by/ Jr mB̄L!e{c(dBn @IہM[1l㺑8?>1Xl#*5)bxLݖx ks#VG)@2&I }"{sˎ㐝+LKιp\QsCbOCNj.ΑSg;X,(oBi\O6u =ĝh@q'1J z$94&4>̢N{*5'+PyQJs%RJ[Px9lh_!*tH;*ޓ < c@H"s+i섅@ DTqNg`Ww,Ԑ|^} mt߫7~sO{dA%VEpϸ QN(ybYw&m=Wu ͻJhrhC㳐01磲&~g]@䛃R #;@OzƂ a:^a#s|iڡ1/Qe435tRR |˽<̻":y?Ay>,4/oqny =4[XP2B Ǖlmuf$[sd4Jώ<@S:%PZ$LPN5 پ }͌+kjG5

5}LhFEbf҂wPwL4t?^6HxWz&~GlB,c8 y # ##@U( G %D|_X9\]aTt ^~E:HX".vۃ 8,]wZEhm/pi #ᣢʓVZ3H=hLVF%7Be!KdcZ)շ"۹~,BvN;*.Œ1Pjʥa76ެPˁп '7BsE2IlrK; 6("_0l<q C_#dڣ)Oʓz'bTyy kjxy+cn Dnr[eBBlN${rԡ@)0dg B3dos9!WނD `pbzqE d^[sF谞j wI'ɂKD;(#H%kV-)c{J(q{SR-C(`e47Dv'qC DXM8++EHg!#=?2oݬ-&ɨ6)cD/zu {Cdj;8hYxW7V=K1 J> .P.˼5O`4=  yx > ꭸ>L EIy.l vtvUEC%Vmq o~P:bVȤfL۞^!1$( gu3H=S)Q#hcV{Q?<@FFΊ~2Ɇ`)5bվY}/?:]b Jɹ] 5h"x˸Nv|HF(@v] %~ nXp+!!B9)VJ_,&iN 海J0OD=Ϻ' J^l 2Uhw JihsHs c90'?@f d՛632ea[+SeW"+}+:;*OWɠe<՛[ ; 7q|Xb"Vɜ5KV&^8ѸzH+UcsTLEƭUn, l-{5(`mw-Pdin*BP}*(h_|X `qWcqn_9_ۏXn#kP?veZx)U6k`Yӓ6MQ$͛ 2Mu>[ ѽk3dǽI_ˋyERKꥳ)P'H3.fy SrY,a%l:՘s705+c`y$H>R׫,IT5 kj0|!4^t0=E䰿 ՃD8~P(O#"͏%t8JJL^S^;a^?Pʚq6"Ijw6V̩B/(TOS"QT[Ylr66nh׉R;0IW.~hΊ&`1rm|Gr9Hm(koplDS"dHɡpUD26C6 -&=3 kYaAatD QUJ!>P4/wKG `j"00h~>Ev9u Wbzmݣ%Nkw >X '[МEyBx"xf@W-Dtt3.F~ޫӴi6$L,H^wIq,-m1ۖSIg`?=F|՗!Y[pkϩs0̓+z+S;])ه&D?3ւ}#u;ld`OEA, h6% %6Z6Xc]]7k qf'e9DneҼBD;#>~P5(vQzQS Vn^p 6iQ MiY`Cd+Xf=2 Q'M9rMF/@E$"h[v3PNCTɢaw[Rg < n%s;+7 ZLyVNo3}* Bc^Jl| 0 ¤40Ŋ J [*Z#ZW!)YܞQ^$bS³ti\*uNZ5%+vwXr¦>1j0ȘzJ;rBkYa_ߓ|K0\+U$&O$WNfȱҘTZbO6W'%=!j:RR(jJ&Mɩ{xsZe$D!IdZ뻨=d =W@W/P5<U_她b=6 z)}O--NeKvt (c:9X?Qzf:-sAb[_ZӋ;[WoXƞ޾cNL/IbZަUg)v/Sfr2o=}:*yL [b}|XJ+o&L$dr379Z-Y!%qբkz>2?W  ֟y. %hH֪ ݽ}%6ދۢǏYf ih*=M16 n[iP>Wp2`7Eo9tmWvTL C)+}Mمn!? Ro ՒWUہ+2" ֵռhI)beDxVIgxpOr7bHu`lJN2Іx3l+'\Kh@h(z*TD 10'-iMa&aUl!))Dt)ѧt̮)X$[;8цRΣsWtMgbG*2&SVU-- \x'wf$D +RS~qϡlcpMD:gZԬ|2P5}mVpς獏HigG Bq1Y,\X-s&41!6fXyt^RQͺY&?pqœld3sOoBIUqS*Ol̿89!LhQ0N+}2<9~%2so>K/ b{8g} k$׈=/B[YHUiR|R'Ur ONo `hלjɄ5Fc$ PH$K0iK|ebU0,!Θ*vdjFG+y^NeP_B^~%#2fBp7y+W\ K E.k;Cֺ ϽKQ|FubP1;MK)h[zm8mWD; aX?0{׼b }@ kVΒ&P\ CEv״4hm#pAjOpd+K,۝:E ӝDyiʝc\"Sz>;cU Rmt!toA Oħ}R ];%/L-o=,O!L؄Lj3vi?^VKR x: ?ii/Ng_RLkMLDJDcA4'C;?UOq$]F&<@Z c/mÓ{b)Q͒B=V8Kag9(OXq_C"vSf ,se]0[1Q% ru\%'w*S &_ZK&#J)y. Q6ͨR*|pJxE$6NmuF{0o_rZ$]0xzT/EzH&h'Rt#N(l7wGe5Yb7wvDe?^'İ.66"~g iθ̥)}Bcj+M8gAWATjU}=;;iv'TR`hsEsܱeP" ;8!%shQ/h4sHd|^9mlI c=0ɽZ_K cZpƝ9J@;R3|MوjDw΢/BTGZBC{CmaPgi-oy:i6K:̎q֞iM7di Zt:=-ALV0D@tGVdpƔi斟iIwmu7f WZ'+5u; 8d T<=mIVCrE613&7~>o*l 8Φё5* PBRR+Z7m9 dv~$(GXe"ZՑm`ut> jV-5JdTC\pp}M@]y҅'-2ڮ(a -LRϓg|Bt-N@J꽙v^]4RUՅ(Q舕nK*OrCB|b`+? m|-r8-9m O栻VplH.~Қek^T Q CͿptg;ٽz҆_lOF`ͦwseZCb/ ( STu|}!k ^-QINgu8(z%GE!ߧvѝc4ujN#sRȐh}"+ᛶ^L+Uc_6[ (wZϢei% =;C;UQD}>&] -ԞwYr(0R1 *Ƅۛ-!]{8@46fѡ{&Y|@W޵KU0>Q:e~H<3~쨢Mx "MaTMOP>ȝެS<[#fȂL\+к3孙7Zh̩tLܪ'b {rn&9l/~)V&d1HƥQzVH_7RiAx2H2?P59zPW,;*ofRWהDVyOyei'FcY_z!r%|}dɺ^J-DsA6rtg%GzXͰ)]sUQm1p& 7@D$?`!fG kNѬN^`h̠) @ [.*a&/+y?1d;5> !_V^&7GIwLgUb/|>6I&=XSpB,%I7I =DC)u,jR'kzz]04*T {5GJcR 9TP >~ w k] D!uT9scX覧ɩ4fc#T؇(筧Fe6g<  eyݝ׃r$`05U'g!8"YC hѥ')>mfuWSvz2U <VDFYi/б(jIKu}OPU*^"W6.ǢTZ @ȋ3Κ-ǚVRSfAuM>Ǥ xh~dU+cqM襼*,l7҇FW '|RWoJC'nE+*>ltc^g%[$3Ê+Eq5~wwILn}DԈ37viGq+d)B ꛶ Av&?KkCqմK:}rm.A!x` | l=mWCS%]rJ|Jm?c!upb X,=}%%ZPP?g8H58v/slyo R(6!)Pwp6o`Qd%_U)߻W1QHdzgt~}_Y?|"cKONA㽈t8}S8ˍHԸ99w6pdu8#jX=óVR5s+㻣e uZ KnJ˶*L|w ՌH 9ڳ#$w/yMAյY|q芈}p)RnݗYM ږ8οSɬMK}sg2`̣ceFYh8 \/6= {R&~Hjh1G7YwAcL/cCR "#՟A♒Vp]>].^g,ICY쵬mχi!N![7ڇs/'uֆn }?6O*Mfw}M4G'r@tY3O5ާ7+R`dHC"<Փ+.ގάOu1O V3:XiElS::j =D;&WMG}?À5 z(cbRl~F\ r b ?:d@Y[&jxO%M߂AQ;W}#anb7`T#˃:X8.d%HfX62g,0!^]+kP0qN (d6ViՊP\S^)K~RsӖ2f >H5,ȝp領 4TBBMUT%!?+Α.~OV'\RJ0/Ehis.qGߧrws3)=h''L*a2bhY2S{2hR^뤗=IO o͠F.]kٜ:Mv z#(X$^0 _nl\Q̽:#b7()[Hiap^X,)1qȔW>UgIx6LȘɦ56" zIkgOkj' 廮jH,+d(, Xd BRlύ &՝Ä`A op<NFHĥ*9 > ,Y^_67VVABؾڥ!(x ,=~wxPK:H[he=Xg&xrQ-{Cն@]5%B-G>A.Yc5Y^k⚫M)$9 :AOR806ϋ%:S35MPf5g,Wٙ e'g}lFـM4Y[ *SڔRCL!$~~yS&;;NOF!xtpmeVkK+3ˑVi.xOFv~|=r4L*