SQLite format 3@ .;  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   U#$4t ] Native_Word:threads=4elapsed=537.669cpu=537.656gc=5.412factor=1.007zXZִF! G ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&XpKJ&ahzP/Dlu CFgD9:nU?gq=Rp*"e͏W\=FĕWdAN- 5^gȴ+4`ո1 ʞ~pŖ*O,\ɧg8iZCiE-X\4oR\z4i&Tj2 @)O>{%jkCo`ɯ ~m|^Z[:n y#P$3miHBpN~˻ n#xTFf*rR$flLzQs,b^fP|&fqk{hcyZE5:Aܾ 3 u)}͏ZOnrD%5h lA8c#<8{3l aM:7?_BAcQ6 Te#ņa#<$ݓSqo?A#eP e7X htbk}G4?clm|Ndo\9xIN`7bHBH/ b,4APn@#Ԉ0"{ # 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 ܑiamhe=zجBN逄geB)sjBoo<4mdKz[՛g<Xh *< `, Kz:V_ 6VP '$z!Ue6u#)v $c|EIΆև?o%KxJTӋҸegHV'"??׳PvT(]<m‚Jex96% FEսFRwuqEyd@>GnƦM X@[kDd@<\bI[M1db0F2B<ҧ( n3~L6ry@/74%kVU42](fϡljr/C䏵 |x c73ym 22Bm(\=#-MA n<8%$6"NʱBw!`9qy| +e}ֹ/8q['cI]nXXÕ f\(|H ?dz2nA Zb wuFbdU0QB?dUğ 󶭲d"`m!DgѢHq& 5Ӏ(Өp =LpkNPWނDop HgYZ7zXZִF! r]ŗXiɟ1˦rnzx <@0+gML|7.3v,MyCyL8^v[vO7ayljY&@ی >w48OV^6fǯa B{pi3($0"ZqT a@mNS[}=lAy(@A/ԡXM4 j]E~M6 ? wv$N?FJⷦTjV{l{j|4g硁!mPM欠ADb| ͜kfAz{x‹Jꅎ)銂 >^QogYZ7zXZִF! xgs]ŗXi%L I|dnBÏLdQl Dlq$9˫]']Eʢ̪Νp>ZTJ5w=\V.I+s1}&Z|@ͫpƕAΓ# 8(%`iOA0/n TtiH3;dіke뛆6>[V͍%'z?QֺwRU G}sںi67~썸;U%3Ϣԟ ..7VٖmLJpv;#{N2BAS/\}3I&)>Z\_Hܜڜj)w-= `X-C9tua[PWcb@+o4ZaD~Pv Ν4SaF8YilFkWQmPg4"A ߟ7Γ960Lj͙-&OM*̡Vkaƞ"CsX4 M{A).nQ7[46)Y 2Uᎀ櫕d׼?8ܓmlжIϻuTs蹇(7QY_Z\}u%\֌VGS A 4=+܃rۜ޻s'JbZ]{5՜DOSB'H.:ag[x^2/}~t-"UD%%{ x@oW8c>:&rpfbya=+n i*els~ͧFDͬW샥qrξ[xS+U/A sOy #q 5%ˋU7ﭵ._ õQ -KhꩌPuNѻ!N;fC$TK{hL F/{&E5Wd0plPdWDX|{[:gOWdg1FԝIF~'PE#mtw ԃ)Zͧy%z3VYM%(gοGUj7(''n|"9Yk->O@ -@|te3z`C&nӡsK,uI%a",a7h֟z}e&ZeY3ړ#QRt!VU92fWҴJ=ls_"ĘP}ȟҪG3(ڦSqgy n[ SG~x^ LqߑoLG!yB7jҌI7^IKa?>PTV)-h7& R E|q; p2Uco_=s{;Oam!r=xR:,OT]- 5+*Q~jS\ pmPțNa{^QYsdr% *̈i"?Fwރe*7$Mr`07%|byix7@g:U&U&PkW4@|S%s_ǒ^ɲ;)Lr"xbZˏJhTk=2wc4i*d;6 'TO/X_bwm4@R5$P܄'Jiy$R& Jʬx&QyQ<_Ly1LcT̊GAn =k;S6Z?K;y$A`nnJ !%xL~jm ++Xh᯸?c?C^ɉF}v*j]*Dg 9]AuNkA fz3ns {f ZIpY7DгZ'X5j#쩂6H5f؁ b̨eJ }g.j?|k!RRnUˢf>,8g\g0BD!|zeR], q-uPQ!"G7 ش }>:6jEߢ@,“_Gtψ`nίv|峓F\^rXXN"Pj)Z~He#xsۏl|tE) ҾbIM7@ uc}}\?eϴzJ˰]qdgeDm`$8N;/b Z7CSi=\/yA)5HSQX0}L͛lI.] * WVHl~6q1}%pŬg`\XM>ȡ4).Q`&R$k[]2PS_r^&Úm+w :T2˝hhё/i!%kRg͙tbq2#K rיskԏ t ~dWUYfV24mQ&lnD |Ş8[n$M8~ncË YeW"> & x$!5C}c}9/;liӅPmMJl$#^#>-a\F/@s!ݎ#hmS>>O7CXl'G-<~ԺV@?b RsŜLсf$>c)tjvCʕ5H)VMN]jQس X*Effh/bԀ DQĈ_ВLЮL>t Qw׋Ɓ!؀zRWMt`k{CE1Mk<8~]Cǔ`Ȁ[`IMW̻0ѶK>m0+ ^ޘ-M#:u:]e".6K5nh;@+}2‹u+K)WݾcqAYDp&ǁ=8.2P~0]tO+:oPG&k- UEdCF_:fO3)㡔"Bt%4Nҥ1)dV^]<p:5!8#grMbj1‹u7R^aӷ.=g"11DJQ X>%6ĖNpfAcI.s"5cñB ȷU~7fC@`k1KeUV[>o` HAp*?s*dW/L"mkZϨ`YEq$мV eh&8V3NW|I C4=?n4|܊u^Q\Cx MEb4^E4f!ӟE7i҃.+))"0z^;'0[y ~=;TGs+%Ÿ2iGT_jqYrĤY/sTQZYn}eHBa'2МO(z Qo6 b(XE:#yYc'NXss• ^ߌ}ƱήBjwcwHnFgڀ\o VwG9C~WU6HʽzŚ]-Hh+z 2Fsw{+F q!9PvGyg.`g `PKz, >@h=zD˃EM0sD`q2h_8RԶMDa20"0j>im7e寫{UPGU=E5 fAqGYJ`^;6X@Wsva0\?Gęmk`$FC%x}wm`2 sxXT D`Yyꓸ sy*DgQ%سlSEWBD.m8ZDfLj[|G0{1jQE,iuB)#(ց6氹:LG(>f2?*- zEQwײ!`uœY.o|GNC.>}!t5C<6 0@D{0|n (Ws7?ʌ$0@i?K̠#dT+*jI lrc/1U,ksǹt4f/^{9zin"_qhVB ֶyFB+>#EI-|(/=IГoTf$(`}g<_|G,\vsz`~0`1u5I!8W3'2gw`zҭ}ʱKcsCL@HѥMׂW%9R}fmٖc@+0r὘1 牤t ]/U2ЩOW~̢FotDz.5|:?r&d^0s`бV{( !+m< >gۯ>P4,< é4vBs @e7^=n:b>]R?[z8mD4)%b^d#jTBIeѓ!]Q+Qɩ؇ ?PjqdG PHlo.|X#>=F˔OCPT0BU-ѹݱϐ:sJ@@8Vw5{ȷ ˒X8,7-in/;T |#nA+oNܽj@p^9$ALjеARjD5pH#,-բN59vehԺl\wۚI>Ѩ$*֜!QD f@}7C]َ0¼Ɍ֓P3MAgM?jnMt0Uەî/ZQ.g%jk A byAs+2 P^զAetzCۯ򤺅R7tT_~cժȮ 2|M t$̎PawM*bdN:2%n3Mh7llj1Ey AC$ +/KHENw?vy` wr+Gt"xk^X mbl-ף\`H78vCN zn{Nw`sLo6e9aI>`axٲQƨ.a[!LruQ tYg7XtH1?BY L&J^_A9TY6ZcTlׇq] v܈tf,w4J ep56c(HA FrWWU3 }2CPywX,Gr*#pWI=_YHr\ USr)~DHֺ~٭րބa3Lc%Ol74k* [(oi9sXW1%@FZr) dM/oM.~7]1F#`Ni.cў7nlη* ǘ5{ЧtaCWU-4 Pt'5eKf9UtxY譨t+SdU.<>4%&UȄ%>Y'!Q S />CDA:AD j4*js v[LFGVb>\WٗzfYA]m%0Wx~o.m1w#<&J8$$<}&F]$`6i=tm0͐}j&80GuW/;!0V6Rҿ喰CjVdbPfb6s{w' $t`/CLU!@I(e MIIYi*b>9DX[63G1GfĦc%M1都=iZ{+L oGsˍe]/V&YmEFJ4^0 /'H ='~P3RE6?Oߚ}[U2qd!Exy}0rtU tg[40Bo^qrU-4c; rR<0f[}c%lQ:ì5Poh)Pի¯$󏣥n*[Y@6Ʈ !ŒX]/Ucd8yjy>pM;e>{A hâ?P0wQ$ĐVm UQM(TX"PށǷ6gg ) /JH}^k)'rh`R!} K]j UI-Q3Ű$-|w*yp"a)4`%ߗ5ATl>/qtLZ|/tJ5'txh.:/f0[,ǥqGlt~O}P#B_[@v} KAt⹣Y`{xBRa꯭#1kw}m IepF $3ajxPL'X14NafrY5+ch_tF4)XpJUj{Sqig4HJ@-}mY/<" KOlauh1xO7g!0-)g5̈&]tC /!41o9oifH4ܷkB,ܶOd}TGّȗyʥtߛ3 JOpK//)$%WVA=yWtuϛF2:3h+8pq_\͓*o.*\7avQ*yugRCy8j7U,j nUk/0GY\R[86pbb 3<ΪK/Zzm+e +GDz.K%i}`f#CZSQw6L2Zh!rK n $o[œpr'}_~f  V4SjCq/YJa='[g|s$i h'٤.Yx*k} ڟE LMv0 x-O0"R~G8) olt(,*Ȅ%ķKs? ޤ5*M$r.nȱmS}ή;5%'c-ȳ4vwO.m:nޠZ}LhNk7Ư皥E]Kx5Nk&eǺ@<4 5M; $4giěEc"&wԕ;>b }Bg &nP.'إϱ}jkƵeכ bou~|JQvdfqEq-O-UǤ%SpnQ_Ԁ?؂` 0˂elJ%aiJE$ *k+(CJ[rW0_աسd?+^Z x˷ėO $;2ȟZ z|w߿-azHhpj%WH5k,/H@m]5yR)MWiĻE !H{(T x I%N E>5((* k;1qj+0kL7}=Ol[=>TɦKƤߏcz^uK^]6nȷ ; # ~CVRvYOˆ.j% oKUfŨI >Jm\kY~5U1$RU`n|(&0z-SRtӉh+N` oB*,@^G=tT V.I){R/A}Vx=PySktI6-]`]+m+HեeWJ@(7+72=#'֋#;g;~ ra yиޠcVm]$B"8 8z\ݐ]Q;j\b_~e$|k3zx[uR3ˤ59^f\ SRCgzzi@`,EX.Klp,I&R2pt(ް}4]h4tn^/D H^J޹ݻkLb'EGӓ$ d~&.@A"8brİz=q yp[4Op`S#[ eǔ7G|F,"avw۸h]^wBr;v<NcTȮgjz<57 G":ߊ: ptIp^a]oDgTЖD@0j`|NI 0I.!)}qXg}ya,*)?G 8yz_~mH 6e,BTb>:y'bMw׍_ybn? 찚:0;t):6x`}7KyډkђF∤;c^hO2ka@^ xᙑ,6HPtY\>w=,ಹ. ʑ7bx̒Zv%h0IAmc78v-f[>㩧պ3/fxӔW6< ­aK[˭Ot[IƬa +#8\s]|&ǥ*̑7$q9;vzaDU q +VnckMΨV ŝjj+Y~ApX> }j`Mfi1([eM olNRd *]fyz|*3lwJI(e WNjTB(r|i[ΛRq5 GSΒ"m!'6RrP64Y1Tk\ Vo|OV@* :S2(i;]S@Z>*X@ (Nj Gwh4T:j;w'}:a4q}}fQ8V@a/[şi:ȐبW?ϵXŸ+4(J XPwK $Ku)ѐz4 d4''T6GatKE@u %Mz2_::*5[ , ԏt~eLwhB=uj8J\r!!1YB sNe^.k7_ 9{j4Na2J#%p0a 9B\.=}%X b\S.^ j ][tϐFKP]- o:X`|&d]Pѱ{f_l_]|?&1BT1G]S\c(Ԓ%n"!en}Z}-@w雀Y~yðc!S8-"R_ⓗ#<X#J,{}SLJ`8W.w햍|e g&OD_QFzBnH : Z\0ذυη {mbT2Yit+# v=yU!AMYAL a/aS{?)yd9>}mT ͟){F#F40ԕN}gݧ"B۔^W匄I3.tu,Y/aA<_,yN uoaW҅E4p ZSJt[w$JIMb/pZ` mIs i`xTbh8E#gT0p@$p23N9pCYaW94/6  w(~ypT`,a>;WZxY7Td@q7o`[EwKk{ hB袜Bl19i]}Y5A>BJr2HwO6Ypc`<Ҕyp,xR+!qlLucn4519BZ袬+烬z#+6 \4lBOn0i扟X U;)ԥ̤%p錃3oty7c:( R2tDڳ[XNX%hxNK2xC \aV]]K2]o9 lU fh`ԧ|n.I>^_ Di,l_RvUXfm,F^)`H/i#k8Nú rEHB~DK|jaxגȦ[j4F+1:>U* oss+<*h`]1FQR&ez>¿4{Mܢɻ56Lt+ily}Y\bYHœh?4Xbf)'7Qaeۘs%4/[Sg]rxn8B}e7[wجQ(Bp7X$;wBvE4S>H8_ty Tތ2f0H_6=3L@|1%V!GeG!nk)+^r@n7;tN'v ^=t0 x]{F&[Nh_*YkQ<&h +wP++7Z`ϝpRCYYe#  .bb.p2W &Y(D p`D.zGΈ#>`m(K ⪱n wIqrp@?S(HvxDNuFhwm&~$NV`=$2rQ4&bk~.5N? iݳ=נ0i{8"Y9Zm(d(9*j! mՐ5UgZ"N1{J%s:Ձ l$]RKi bM(Wn=xl ;0/rg P] v=ij@C G e:zUZ"E,ef GD^Q/Vb&i~%xt+8yT'4qUT3N#PoYOU ̕Kjׯ[ռZJmGDot*{w܅ZeLX<_0Vk*vG0ެ%F@}f6Lˇ" !]ޢ޳h=k> w 79Mb 턢D`*g0{P=6 0?V<#wI:o&RʿL nȊHsPV.bg`5b`V'l/֤Y%$>5P>"! әa/H6e~:Ӵ53R,͎ ױl{@u:ew'Syuʾotq䡌#Jd02FNq D"8Zp4/$V#!j+XHiqrC=ӨWJS6Q7"0QXO&o/7-gqST,[کzŚg>V%s#"K-6kydG38f9yIOC^bD;Z@BS nn5e1E_B@-L''/ yf/Ƽ[Y_`"/TDd ]+T΍uێˍtxrU`7҄$ʘ[n4u{Ff+r/곝#,@?qJw`oXByqF!*߷aԅ`BTCkvU$3A7w;jtua7LTBGe2ކֵ\*W|yhr%*13R ݙ15 3B'`}]wDFQ A8CrcAB+᤯LU2n9JDm11?o\Ǟ%V["2_b{u1,XcA#6 3`{};VPu27izA|.^*JS BBq`Ur1!ߗY=YKO{AQ'!bfO`&L&^Nx82yKY ͠(œffƳ1#$=Z\qؾq׃`:ė>K/Sq U =yBr+#5W|,rӍʣhpbR*[`s k:Rw̴0-8iqWqny!NP)v9 :PS5b14+( w{(,64r$Uՠp |˚{gPk$DϝC|&m<3ẑr=\c1FyCI0=34^"Rá$$ 7[$0]xu=Q~ 1}tߦD<]$O`нEߋVmL dB䯱i (v uhs 8$׼uHj-5a3'[>O~ƪπ!] m`Fv `shm5]Ot8&IJ+8t⌴7C8R5fN"+\..v~{t|"&{F ڔV=m`)Q6m/7McEث9_ͅhD[zYv!oN[gp:)LPq,̋'Ws@`|d9aR7- g՝Bg&IήK:;80ιP5ĴTlCv7?mkk]0_lIAZlcBw-IW38'wOvcvujkxP_φEF)7O0)s^ x-M}v hʙ+gçX&bb4fD kD9&V_L7YɳŀNªbs|&[mٴ35"X:hOnPGW<SrxW/u]SuUh&ӓTzY]V$YE"D.V߃55ST[`F%\>)Zuǵ&L> 8Y tP'#ZijNQө׃'/TΧ1 qpIM?Y7P" h4}_obO%U&Q5wa֠%}a'|Q,q;kDZ>NF@ƕ&&̺$BRy-'!;zZėzG&*CuVpNO؈# `۹acm-7T^/GIF 'MҎH"whU$l-$!EbCI[u)XxP$z/oia`- hY5 W|c-$6Y_PijlqRcv#WzQ-|Fe8Tht9vNW!9'8*MeQGG8p󸇓 UH8QhGܕO -S؟8aݼwy2ۏrfb3MVgBy0& Ɏy8 kS6*g^LjldW)5A* WcWJ'- xL(o;f.:Em(J8.2s' @;fõNDގ2]FOdov;Q*g3ցRuco?,6T}MH6˶1?\E*pSMԵgͪ,%jAH*m4V?xW?xA~Qk#n,ǻY8$8곻6_n"(zF 'H[tKBզ&!8%;}wQw_,dN7|iI {8$"59׏_YՈ97\|ihJ9ڜH^,Bq422 dv%Sa~MnAۊ-{_y 56HI6EU0WD)C.wzJ8ݚhMD,{qEt2=>y5COգ>]m"PhuGԕ0.:2TϿTP1[B Cnttyx 9$ 00VP>*%r*6cIzum; O0^02\r&wy[$(fr t$`r Dj`?7i ;qG<oE@e(\GSt㜄t C#ߙ z*Uٱq$Ԅ_$a|Y-3_-+@}nc[E2sCU )"RvfЩ}[$eJz%mP$:B<`"Tt$C^8GÙ.ʤ XrrZ%~<zr#kG̽fz 5w2L;YO| )0q\YYVlcW]ߍNO"\i19nTi.t.[L,|"$Б$41%}B ycuT U GSyɲ*"wR3scrjm(dD46)\Xw-/'R}3u QT˞&rXpN'fAc>BR9%!ݦ(*X=ћEGZnHwd)nL,]ej in @gz GQT҄[{gգ vT?fΧ(Š9z~;LՀlUXژmHi~BܼEpƛZP5y#x # xl:+D(nwuM+$FF܍Kտwwh DǓNHh.zWCJ| Tt+h `m~z:Y.QW]螧wlǻf׼K`}bߒcX0MÒؙBEgpIi-BIK3vY ̤&zL|`o e>Yb$:dia ?fs )`h0F|WϰwknDrY@eWVZ{XWһzWd)N쏃#~& dH14偋TalzNM1e @HL&"6$/ɫ Kq@k'3j.r:@;Er}kxဓ`¡?]~hH<&tc\7˖H0HIO L-i(l.ĩgvAuF&/(=Gn8ȢΝAYzdаtB?RUT*'}Oؤep]Vӻ.sZwJ8TnbIU bX P~l%yWl,}gR/\Bz?m4BY@-Xis}(/MnUy'c"ҹÆZJcmPr9KZo =^F}I9D'un+:[u"!d M*ں xoVӚץAD6ڕ5*׆ 1Hx ")qV@T%@bmS Md2'Rj;g@Rl>S*䵅H]e;4>C5*aۓ@egsߎB}׍7su HY2HZ$V0{tMbCOyQxk6v ccOEHMY5 I[dBL(òUڱ.ɶuRmFfvRۜ?m󽊝Dfv9Nq'ˠNe( ?/I RcE) 3 %R3Iռ[ ziJ&.-(Y\v˄ʞ߀yT<ɾ s\MbwC||-Y*9Nm60ƳkIo;l˹\!uѨӿa6F)[WW t7G(N$F̗:<*!*-m| `x?:sRL>57ت>(E.@zTFEl@9Eĕ_&浰/ <`2qIdwQ<p܀iSB#[Ь A);]Pi+Jנ K#hUvr ¹Bav|>+8n-S1v.Z74 ׿͹i|fRw'X v>3Tstah-e Z4Bm#*q*P`TB1~Ub 2EP%L9U@%yi>D$2 o,x+7OC zgEgcr(ظ74K{Dɓ/!ezPAbڜPޟ?x׳Ɛ^)E={ Ȏ)$ "wvc|]zp@3v!]oQ%fCK:vbQ?YL¹SSVFhdhVDz5 }\uV9 L dʟNS 6B|Tӷ"&_̾"|إȳP҂Xn* .]٠k3XyYy ,낾WjѱF2[q鍀%쌔|}Q%JÒLh yH>Bdo`O&QƝOij^ sps4j6Ѐjh>ww#1TFMGQUBOf.v[SfscyJ5>"# iHtx6 ՟QTMe יʌNHȼޖTP[L8S8ʣt#LTd evGYeEݘ&UEbvЃv#~;Yp>QG1Ho~Ȼe`8-g8!(|a A8a9$ Eyb>c{_>D&}bw3A0hi:ޯ6qބBЈn aW> JWOso͜  |Gk VP_s [ xbx2"~FPW }epm;B92WB#>8}}7m.nRFЖ;꾊PsĂ /kg $< 9/C͵>1.X5*zgRUdNTIdlr(MVs>{}qp_MG7j lOfBH51W$ N5{9S 1Ld0sw[cbˆ3E K w2+/"pH?HJ{Pp:R4dV 謭#e4gvGW&y %)GH2ήi!Ϣ'MInnƣ2^{"'`Nf65 5KNa^2*~ӆ.Jg+B$6y+ּF]K뺼ޤ30# " $10;r/JF1^ :kUrKBʲpq"&;߱IhVDӷ &|nmTYywcD#ϹcOv 6TR?(!TZJA8^%(uox#^-4BD.)#8oLXm*FWm] qR*`H'Ɏr>7'yQ4Ќ"@%Tm>`XըƜj-H'6`7cV jA\}8| &"P9jZu<7ŚrL+ܳkK$j jRa{ !w}5Ѵҹђ6a(JSHXߢ ]Rs,X0.}BJˏ{#Զzkϡ5ؗ]CLN2̜pV)"OɟVūn&f ^eQJexXh+.)_a,HE{Xܹ?L{i7à$O')NMT!ǰ-U o7>ip?Xe dBs(kϧY#ma؁+ݿ`75J:mI,"0 wbyshKBqtud|(YB!ʙ^-L8m['# T Xq?'lVN/=0u.$GE2`.J]~{)i:waT=Dޙ;8_cQA9߃*izM<,܍5Â2v^EgC_0BJ^zyȬI,uQ|K_(F S$i0ZHZ3DHqf%KqgdYUWXsLF&WjJjg3ѻow8KBW/h_C_Oo .\ \to{6GihtO#1ߙjbO`6P3trآS>|stp|0ifi_E'z0Ea~޶6%1gM)Ef끱:GxQl7*oYvyެ_h2Chb|l$zUGc~ynK}!z֚ q"3ڭw&z);fπۚ頣R&xWs< (wQ:kI# ݢ2_̜_Ԏ-Wk]^D)nI W_L21(u C$==X1A3>ZлK)7ە`\,@"F\,ɋA".[Gom5NȢTKUwOmb,暑/n_J QHmSv{E=,w5;aكdJxMJE> ^SDzө> į怽CF#jHm/{dz>l(k8c{fUDW}+kmsxt C@yzmxy&h3+g"|920:ǼjDqc6NPՓmK^`@)vr'1&uQ1,+Mez"!?F H2rL~-Ac bi^p̜PGzнJAC"51%m%Ӱ5)Y͆7 \p2t;K$ErvBbEqR31Rp|N^2+GlH}GrjNEV3>T-U!UPJ);!4^BJM<M&PScL|r̅AZ數9!RR."POje9gq+& _镱N HӸ5aJ_ſs@x(Ѡ~J~ht2Ξ&P'S#[x>L},y g(mYR,FV tM #aɣ1wSTFJ(t Z$J#{tNXgǷz8F??/3$B89+oZѨOE;!W4&|y(KmC8OA_O!_s;b~3N}@NI,K5aec#f5íH>uLE u1ZP!e 1U^Tb Wv. 1 Zu59+C΄WٸEDm5O]$ 3AccWu'DfhfJZf̸st Bk.} ~=\}O6XEMe5Cvh+p +1q.c:ǸX'ibJ5j@QL ;y&Q ˃7{8ټm>.N2}CGh ;4ɟsn z %ɈeZ^h7~+4Q6" sKb|3B_,'>CH/d$o㱖kU8ZF(M.O@IF0; mrֳJq@X(+c 't)_Wޒ6\B ^U pXCK:RSl)eЅ1 3TB lQr7Po;r6_%v^GL uC@dw!? 9BM%<>pY|q3@g`$3Se⍜0@[2R$>r;kG]BK M\t( ږtȥJ[(PLٷa