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 }#T4 ] Native_Word:threads=4elapsed=573.182cpu=563.760gc=5.104factor=0.987zXZִF! F]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&W`:(Wqvcs\`jv:o@ O5@tv7tqp_Mz WkBKokzh;ķ5k=DnRUT:Sꩋiwyk7>u>7;kT.f&aW'H;0 A""b3҆/d,w-tiX2}eC'e>j,hNgarMDLMuOuDK(ZH &ˬM߈Jm,2)7. 7`ugM|1'uRu dY{~$?V^fwr6]:nZxLNģKH2|׺U'-\3n: k/?P CY6KsOXkK]S&S ]OǨt$/4򕟿.Qh 򡺪t߈J^YG;؋4ӊ-6Q/& '#vz?4&z uUICny:0B4.(&ff<5?ܤJo|7ﵝXeK3K_xCsxťX\n8oϛy+܀`)4EzG->R= 0|cY(RJ fy9hÉ_~(-V63A`;R?F pbL4ُaT׵4cb=aBjSA֯J1cF2hbrŒ'pglτ!kr>Wm .,s_b{/r*lWW0+Ǿ x1^QuQW&6IOYxk( KC6Xﻴw3[,ij299( sa'zݒajN]kW 5{?W9G\czXWM7(XuRȜ=Jg0t8oEbYlB&321Ux8/uzMN& ))|9'oL>֓P@YZ,rq.5Vb(Xp̳yӤ s`Eɩ\! {k_PB_lyE\],pa/8K@\L* e4 ؍mwΪrbziW!uf(@0RbPVsEtx&K5;8zY-dܟ?`A|dqΗ0w/T9gF+S0J2]D)$}|~Hlo"BHpyQ)_N5:=[W>/@'/hԁw~bhr<8#@tT`ʱ9ƥk$alo.@&>1g4 Tci,ʼnɺnGIo# q_B6xQk>Tli˔I;^ pKt'Xy7oh鹛^r6b^<+HYXjd ۙ;o6۹ea%Y^x:8q#sqFG8őLSk{Vg26{E"eʾP& s Ap>WHLGSL, nMn1ij@Al^;7dkI~{̛|d4+'+YiE/?Q^I8.nO=fL|Hxv1 !%ehL7iepyu%ϒЗuHc*sLsw\87urq/ 9~&Dv*[5 SnlY}F.9 G(?#ڔ0L#o\ըwޝd,~<RЏs1IMpT!`6L. & ZX@͏s # 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 4 HxuU{3ݮR 1FҩxV;ꋶ_h\eBLޞ &҃XX/NlY @@Կ`ZJ`Z5;_gYZ7zXZִF! -m]ŗXi%Bg9) N cg(FG6_+w"Yb E#*cLdĵW\#)t8-(\I*T(]dSRw)Jbۗ1 zLcԙ8?EZ@kM6ɂ ]"$o%j\4U&U=!KgLh)Urjߘ_;|N[rU2\giWd%y='$u#IMπ'=7S[B awŚ#fE1g@Uث2fv0B*׏l\DmЯ}W {Ѫ&׷S'IIB~zf͚ mhm5۾i^}ȻM*.0ؼ!!p6v>n}{ BM0 ؝ P'xq.T]p~z;Cȹj%u-'hE;?S<8U!("1URrZlFa~An6$&q,:I~LY% 2P0^%#nL?3|A0-Ak=Rs;pLy^uC:<$P#/)[sciÿ=w=dK/Rǒ!;z^Dn͵3; f_oTGE$"֙-1G4;`]\N6 _GjC,c4riQdB/,!)>CGC)ny5R26jNЉ:^pLALR{z[[m0xbf^sR\,VpbM.uVY"T {yv~3Б1ѩ1;O Z}`- n Tl'd}K T S&ƣW؋Zy {O[;yl{*sxeFb?^b_Upg0@_qۯA.MsSSVsGJY>b }Je2ı4̗ƛgIP0PS{ @KפT6UE, 8YPZl[MΤS<.&K^5EQ<ɗØ Zs#cԼ_떾$SFH(I6: /!ϹPEw]ΐN`]QNB_ U+SSH^|in=5k)rYd2~\z+`GlwU) m yySK8}*էvjz^A |gFUҩ/\UhF5sϩ!o^JW[6'jHvY1`*,(T"}v6$0 Z:v(χ0”x4xMÚvkrI͖Xf0fu%q޵/_,kΓ KTWfς)PO黯U(sND+fw߳j~_0XN&n&Z/0rZHQ5J@hq\\QY :sxQ W&7PjiKQλ`2~ˁXUM}=]J<-.QIEͯꋏ[֖ .w2\(F<a!{njᔣe i8aB,g]ˌ}ѻKbKZ"d;gHOhm9"+;qҘeכ\Ђr1'Afu`hk>xTE|@bmtn>y^s'eI ZeQ{Zx_M$#zȩz+YQJcπǝTAa% M6m.7G#CzJ~)_Z9hz \atNdooJ4{4$R2قg~dy{/>~ ={ý6ř i8eݪe eFiXjk2@`PfLWAC?q\ 1KR~, Zm-mXq l(m$cI0ҪNU;RLX3Aʩp>݁ 728vO*熶yp$q"Tl%0ԑH !*vLޘ\ _E*R~M5K ijo#~}#H6Cֽhk~-]K`<ζE?cni έwϭt!7UiWxŴ LSe K]}/Pb1+Kn{{&|l9e{ISGxQ\ɧ?D+MS?qoS)7b rj2ΝjŐ{ \2D(fj>GnHㄲlػRh | 0&w8 t2:*JSZzkaB O$X :.dܢTߨyj_ҴMOf/, ]FT<& :KOJhOnul/`zfuڊu)j|7[da>twW| OG|I@<-ia6*Ҁ\͐}-f}8WG$=NpZ&JG;ʽ/[ynMˋ8)K#_C9F?#ȫ(RBbG #0[X_-.T1oa>YFa d , :B1 ^=Y1`sx̙lҫ#~Uҁ1x`lJiW,L I}% @FxRsޚg㈥voЫr.͒DΊp($mG521Pt?9 %Q1'#J'3nߓ*+0G iV9@ޮA 3Y$Ib0W pܫE`-w k8󣜩;LN(x[nDž̶_^WTۋG q|,52[˰"mR[6p]D=f h9 ^# :nK`lt0TO<ϵ{bȘ',5%\\b aGQ>lw/,{GgE4<Y][o*K]KVjz Jcu~* []z̢p#m_X'pC=n7\ f6 :gˁ]PBФPi*e6(ZϝpO\;4$Y<u}A \ԽON<=l(K2 2 's.pLv&rkƗ# G)쥭KVALBV<8,%&-AV)3|?0xͪ?PLp %4.kZ[0v?\"ZUٷ("fk: Ox!C/Erifs*Fs~/&vb,2!ަ.b{e+E~O<*]v00Wc2Y8;i|a>|  ao5 %2Ż1j DNt76,,w kZ4P%qO!CNj[ypikZ[rݪ\/9N=Sj0'1"S~IHr"Lwj|v\ͭE.rEXGz $J /BЗy:XMeҬ*=e'gF"Lr:"A>`ヅ8':Kis>F̦k@hNތjl՘t b*6yد>̦a9,K iOVc@=)!9J^+fdԄa N%ugT=0f*/^@Kpk949h'գɜ0;;>V8:4Pu fNE^iþq ¦gu'' q!R-Bb-ScHHx (߃H;Y aFVzJ/ aQd5*)TҞ5fɰy[>8/dx(a/*GU6dBW-RMcBzj,: IFyEP(0QC[T]q%|2;(R 9W0N 7M;6 3g(Gi*19X2 X@usA:8g$rᒚ[l7MҘg2 6g0yUl9ᐌ|AAm `:ktr?jBd?pmTm[[2=ZqgGl~ǻuNc .|w0#YիńO̼nݗZp:ޒV ݂Җb1" Qܲq6E3V7'pmY GNFYW6&Wi^ոp\a;бIlK1(ǒxp-84\T]y`@I1"*߀Z:]sgfD(T?:{á5Iە)۶Z?H9Sux06917/sBuIXA,'6*1 ~ˮm/'`rpм krn5h'UkaaU8^|H8yf>8Dͩt0B p L4N[SˎQd%V-'DI'titWώ N91Q񧝹oe5JP HbйƉ|€q i.^o(~8<^8nܻ7 qQ˭Gڹv vhBdҲRk*tВc wsdmNΥ d 41VQ~WVmtYAKKZ$rf{ &}nIQ'TJ_Ź47fd藊l a4b^tX}yE0YС@KGkzcሬhs;`W>^Scgbipdp/]K:i0?/%҃p~$xS {L . 3˂l,C׍0-1Ẃ$F G  AI"AMp7j=={UBA0̟(~/QdڅB%b>+]ωv[Q-N*?R=zWIgK.ߗ+>En񁼞3!TՌ nAJup,zV  6926sa*i/Ey:b>ub|ˏ ؠ#q -mME`d[#w=w`8{7"o/a,RVcج r+e\_ lB]C6sc uqq1|くƁZ.nc+`VU;DW\ Ok#{Twьl[f1COt:͘qYLJg"]yB0!4+2R[J8z% *I(p5cN)2@~ZwL_s+&/L/dx֏%=X$<9ԭsEq~hΆ5rk4rw N?LRr>lu\t*ØW+/n$۫ eZ( yoIk2z0ʰl r_4ŠpN2f-ىNAfZXOGgH\:dЕj\Ũ^X6A/9@gՀ Ilp)%y9[#'VnF4LVEw ;+~]2)ly={Xj'e}ye}z5K[id1ёw#5,jx'kא=1/SׄnXϹF,?PllQ\Ce70jŪY=cH26;9.HGZRoJwLWV;m8IAD9~dHoTߠ1!./l;zm8EHgduոM!Q]=q`dZN~m8隔+ڎ/ ϰvyhpk$l(DQыhiAzfI6%6|XLq:N~GMtjX'h΀z zxKhAzPb5qzEdqJ){ 5sҥ}!uy<~{ 5y}BF4<嫩@5ɗV?'KWfFO hKH$ɵxc>|(3ru0YfLzq`'1U8qūsl \*t@Λi%KƓh"Ҩ8m.E:a&Y錉[bqu7mjɯ=nSCy+8e8`yh0Wkw  f~}52ݼwGO{5u8\X2;͓mFdTnd'gɠ6݋O<&D6o9#@w{tr_/kfõ̝3h]x:tt$Xov.XK9U~7ȍwB@iV$PsY vKGCԈߚ[%<Z˷Yf[~XxqӦR VʛX p$|IR^gZQ*vm_l*K ;SMsy4nVu(BR S^֤ƌ)~^mpTÒ;I[V&PV6Djut>HW8NE:'%%\7e-+b)` CU ‡2rOjĈVlN1d22)F`ֹ=OڱVJt 7bF_'E{]f.[2KۖԒF4 ō2%q ߡRT-[a18y>pm Е.y|bA5snĢXkFFy\g|oLc^'(cړd41_ 1LQݣ+3a!ʋ[͈G7F:p+*ju7&SO ,ꤴP5ԋƒic{"$ _UZy/~$"d) E)O߾(sYQۜoqZefHR{:mD}\bjZEIB0_ߵ[L`/]0bhPYT5e8&Iw?]TE9ў}EiqVdyAWLJ W`zJ~9+y<ʝm%;a5#s2_5L1=ؿS K oF1>1 o>3Hr@neݚxBϮ:Nt^M1OzMǎ`Hpw~5T~j2C@?LzK] %;e0Z03$]".,*ZԢz64Pz7]h>707s9ID)HqV.UaڤeyjIAIfiG8~lCh]0ÂYz~'-ZyLfyDeFU>=9u& 'ڤEAo ͆OT" ,EYW7gq]`}ґcɖ;i;7Qق%)D4@ s/?gv}m$\mp./ONKO/08 YU'4@AI/xHh@@V#B`MU@pֻIJ*voJ!0]!~<."Ŗ7D V{ 8 @ :вq)lӋSھ2EM4n㳼ω\Kt{l(4|(+mD 3 &q ̹NQ%nZO r!K%s5)%(d°aljDD8hv=r./ :L`xेh6~#CNN60$e%{?eB\Pu'GR(&dlקlyJyFä|>).-Hd:~Մ!~}i/(sߟ7הq6>1'>eQp0\FIuA"xOAZB%pTo\T&) }wTsԂ8^:s8vKI>[hn\Zeγ jaU:RؐcRst\eA/\uօ뵨gT G|Vy+7m$r c))WU50>蜩΀"{$qy˛aı8;UhbwʨV*AhQ8ބID }9<@_M)J!|UDΚ,P>JW®0Keƀlt@m9$.Q3фzf鲈QX#_Ouڈ`@7ݨ"31Wvw-\0EЭ`vuIyu]#/0Tʵ"($:jOGEWڴD _"y0QUݏ+`9924vgsgȯJl'ZjAXoz۔kO~O0u\1^*֪= Zojt W43Y':=#7 MJAtt3f}Y9(H GԾI|vj_c3lS*nka{昤c /tDA*{^ynY3",GI񟚫%*\.-0`DĒq :!@ìw-OdLсjګՙ(BY`J ɦ4}ގzButi E^U;`z(CwCl}(dΙ#}BP L7ȹ>a+](}-Ɋ!JTv:V>^T;pG$J}R7Tgb;fgVGq `  ."$`Y.~/&}(Q^-xG/62Euy+O6lB\zIWqOL>O`篑5(4KPR)t}g<ʌneSQp:, 711IdI\,VQKJ5$$&}/||~2\ۛnX=0~hpEä58B9PF"'i`DE[ mkdd@Ґap5WHKDT^lƃXd`|uWۆՅp1~ V%љ~5Tد>j`9utPjnDygT=ܫ8 ]tݭ>Q ;Uxk?#8a%M(_+>kv _i Lg y-~PRwZZTjE/(ZOYd{@u;"|,XS/]\BϰIl;jv!BcX&Z؍Z>>[ZEi䥄)D8F!ďF0 `bn/L&qoM枳恃F2JOJd hQOtDb~փM %Q5/_Lͬ(Xe('S+>"TLX(~DxyyC8 2HM*N}mV0t%Vɴ iy )e"ߕF.6 (wE7b5WY4Tۚnp1EWѹvϵwu40W5|R^n˂32R}~ŰR` אC"Gq]_b3* aQvz )zBfc>^D1rL9#: ")b*?BߪN^KlH &dmS`w1sMhbkU񦹢fY۫YwT6܌$ ɯ &9Hq_'n]&|b=Q|nL8¸h: _J)dxYh%*9E*><B x{dR)_?$@_T 2<zM}\^!J&jo׬+z{XNtG)iA0(V- |Mޜӛ]u:x:G:e (̒1D*}6 RIݏs fDr㦨vڔi@v-j JȎ`.\1L} $[~04mOӆ?qXR(I^(ۉ+E fP`؈<];;oPa4F;Ց7 _LCv@Lv9?ʞ;]aDCm^vC[{2Pّ.#r$>c.ȽkyJ:Uxv 4|ЛLݤB/aCtCj}woI\y6HCD'vݡ C򆘟u 24† vGP'4~)'64 >o@'f6-14Z rxp⯘|6iNJ柜r%,|8HZ;CvƱKV*6.f&wio//-6\ Qab416ͮhI dc* mP"v&pDuoY׺t-n! 6[2yW_Tr@iXkPF 匋Nz\E&Qʆ{~2FbNAĨ.td\=g>y9zA.zЛ~؇j'{+j6el1OR_\ U)&gSa-wljy0b@ԺO\\݆ӁC9 DHPbaPހ)[QE DSx4@`VY} ڤ;cF3jeNn3eKY$tCz/)aډo,~LgK AWcJ+P=T'HAftQ$[9f9:#rVmk -MBKeg(l#&u>k^3DyVގJ#/kV4{NE\;E(k[8-g8PL_~]bWή ۟?4]; r(,`7=>}@9<[mN=drms O$a#b rwmr#+?athn`{d4HP+^H.hl j_FM N#$.h`Qtd\;Y$hmav/Y vB"V7a *TLA~ҚoVuC6qn8 Yj)P*x%AWcX^"}KLVҚg}.h&"'Zܖ1a.  D|Go.}})e8b3mΜc14ji^UQ/P"}Г-`~Ǐ>;bm{[Ikb3Ђ$y?g>%iiR6 Gͤ/|#pntycg,@"q3T6҇ (#"HFGG5R+=$Ė)+-.!H4g%ElO#q^B+kB|Pme~@x/n:'# zpPvx0Y`jLi(\ @bn C i>BSTj {g0?i3uʇ, IS?z~mUg\JȜ5k禍V'_ r(ZoGu -;$]8|+FkPֿLØ2DinF8e7]&5W + 矝9";! ߤCޘywvZ5WeȥOMR;_^}ݶ-uReq58Df9Rkƚ(@"!(w7 Fj4NU`TXž~D`Β# SUI~v lo5(u 쩽%h$g׃Cvۙ2\Dw9 mj=ҟ 2ՁI2/FTJo軑#B"GKd)r\_fiOi/Օ/.5QP>wBK՘NJ*Ş?S2eőf{sobEP\~^ࡘ̋UBj[m4{J_!9[˰]ٝq{q3\8tTV#ho- NQ,\j>KUE.&9h&6ҷ-[̓ {L  YdYb H6bwdx'ilyE㿃BbzBI|;#<]dTFU$T؃Tb/Z!GL9/'O;7Rs4MUq1"FS|6g$&@ Eyci98C[68MNK~O{7*JNg"gm¾_bqϟd2[!B( ~J0b=H`3\,4d}+, 8I> t|92@:VMa׋\:R vIhS-~6<>*uٷoXyê7XSS5q?:ns2C ':p2\ /z錆|r&oc^L1իrWJ GV|iU78ٗEi.]S9T7x{UrFvy)_Q'8X:e7p1m N aӴj4[ `oNjlNlt9 /  ^-'źQ6hQ`)p2 p_loG.sL%fLZJAM[o]ĺ;ՐT BIF0kUhI#0~/a\L^/"/As-Х  $@Rm7!G_nű:&P,@?k7ʣQTZyrN*{<{׾MƜzތE74נzjmdNs5CzVq z+;T E' emSDŽDk7럦meVN4F>,|CpCCuŰtpeaoףicK@#Hޚ$ERjAYVDi1XQhgdK`^E䅮uAT,,tۻ=q$I]Z6ms72-<ž +x]J ~ {v Fq-I^0`V)YV2b9Z1DJݬjki=_\ 3x]x&^OUpVl\R;*5ݜ 6ӫj>ZrU#!ZsLO,xN.5OF2:']Ξ \zE^ՈDN"Dsr]ү+S Iarlp,~PNBy#a98}~5Fg/zդ~hrF;tI--'%aPja'~yҠbbUT:I;U+ 1CyV.k@v fe?#Qw(~glBߘ'- RO`+}jg[{0Sgw"꼆1ƁH8ckx9:b2~ _ -n=YXѮV<;쇦d6g+w]Mh5ie ͤ*q`ѺB/dtuCpܙhZ;Kr9[%hZ;yw-e釿WG)Ih%`4PkM(`m`Z}/# sݞEKTuOɢv8Mk|t(lݾkSo=D )FiE`W,aQv ZGGOShx߃e+lip]?If;;a-uhc4"Hתj+qΩS:='5,#0[(ӆ]RlI߂jZCM͸~^=ӥQ""Yޟ'MÓZU1Ck3Lϐ@x |Jg{(ȺhŜlwLO7өV|Bڒ@bf3M-c.~Xtԁ&mG77o~t+I`T>u\id}nWs$f7Hw*.l+'ؓ2 lMj@UèS2f8P[4,7Ysx%n>0e-W~!QRk` ZO18zz{RB(ǴU7>'uhLX'Ϻ)j>.r/D4ZܬF"f%zpIhJ"rZ5oeTo[u8>>1ϻzA ͐[EQF́;ݼ!XO[($tJx'Ni{0{!|o^~! pծ]/.X%`әE[dA`َn)&Ȑ!q7<5]buw _h q2 J!!Ώ]"[KoLH10uɃc5kTy w]R=Įs^k [R( 6e)tڐ=nA4"=&PY{c4LK|EOP,=׹Csm~^)=zM} 0% }ۄs6(yen6Mł<9Y G䴫8MNBÔP$3T*OSֱq3"Q)Q,5w @Q?Nw'dZW}u"*4AHؖtid\6+`i@?b̘9 :SٕXƵ+)҂2 6.{']?2~";sy˺kt}ir=I ;tɘ*<Ұl~t`b "5?CŶ7T4@ +'-hRsa/shAF}2poRA𞸓,{7rYM:AP?KO18=4ISiuzjGn0cFcvr < %޻u (n"=}@i6 =YY zȘi_GؠR1$:l+M[*V*=ȱ6)ؗ31]z|mR<d@" v!@) $z4WxWT ^%<{jR _5\3i<ї=p-a9P X!=c_/[gP:.o} }-pm08DLlMƵ 9 Q@leǚ(R lupVkgQ-6 %7W~ӫaQV|y/Z_*.; kƀo|X#.Q- -%b5"oY%ޞ>A3:< 1yUUp-:/%yۧHV.B`X!0NzqHˮ\fx&LU<{\=6 9VHL $|, &&G?OY:gtD(['h5`oR#L2>ε+^M AɀYfŷW<=Qb$~/'E1AA] o0pm52Wu*%U qܪacΆ ]0cv|Reߚ8[y9 '5tZB.yoO[L"}Ef9H?*۔xb''W\y2L悞o'?M(&u &5w.s\ ի_&t ^@J\s1Os8w K~aE7)rKqvw1!hjq7,97~EHғTADV b'JA, _(RW;9wzΕeAL5  Z qr>)l_:o{]9mi[VO:{i kmZTvSێ@ 懍m%8SbI"H'm]&Qh,ȸIiAvup~Ƕ$,_|xEFiܪVEw{0G4zC/|\rN~lo9)*9Ie_[Q]1> _{LdN*:s\)`؛lOFEv@D! `61s7JPgt>zZ޹YNU E&JCi_u hNL~|5k@v3 /IY-)4}nO<ݢo,DdANafr3$aજ@eޭb 0EgیJAna͠ӕz^}sA2.gL Θ(G~ȆV֢W>zWskOPh]PRD`01n\uȠNJ?CqmUQQqd%@lΆȝ~Q)z|}G? Xľ=Rdhxy'%B7X[.&6yv U/ rɞpj<^ͽ-*|]rAQsH۽6WUu3\v0ƺ)FbE8T3!~J/~.[gTZ/|ŴNJԔk:'[eZ㡒1f1\mvJy^2o=]5CWX9 O$?HX{ǧ j6U9濤s g`,-wIJs\^FG̈́̀XG;_zA3W:Z?*H:?a1j GQOKuKM~uXIKXvJȽ ˥Rhd'<ո/3@2h' C@ }# YX{-[fZ֕ PC T>/7#U/ M4Yk ӱ o v=Y*mj < Kcvyծ:Aq=8P{ϙxT\sxfV7& H$895Bo3;#Emb!dP `Y~!BDtO\DV9orjD5`qB8\P=fV`ݳR:4C;0zFh݈~ 7sj vlqܓ7hXw+v6) + )V4NOB}0]`Pnߵ4M&ZhA0"=f#üJ _pc"hINf" xW !Ok^A *C.DJ5dB}E?{}:=nyY4(|gRѧ_2vsp8 ~ERJe }}dej. sʼn+Xg\k'w'nGrУ'ضe;6:BRY=4c}5-D]Htvq2w?1pu\tM@ T+R+3t.l L3j=Fo\-hRKY1c1~SLdN!%,']ZyD P#Y-.ãyZ:<&l^5ճ!~NeԲ.sGOJ?t gx:&g֋^j.oVYU $qOM^3 #LJrߒ-iYڵ/{KFkCA|>f9/nQ:sLi'UneUNF4W8"/qK/~/AY0OyJz,!m$-$|~ N}Ǵ1n)q J 8ΤauMŀ4X7d"^ܜU62Vi\)3[a#3 TqUDcb WŽg!b01lDں-f2޿Z~lr#Zst~5W>"CMI 1B;2s.g~#`j|vkj$m_A|k)JXɪ&Ć$v۸z[ω-f)o;<Җ37 KѲ֦t+R:PEl^CiUuZx+<<-B,r+S`ԟC%O^VCLFIAK4,JK1rH+_)Gzu[[2M}rr(D}OCiz%8~UiDŽk^#,eL5ݣݧ}P>fM*VuZM6@-4@-@wߖ*dRcB'T01Nq-%,&9}T` Ȁ]ϝEdj&؃tbL9Q HE*;}U hI̧ DO*YCT-7>=^jAtV ]E0+5#.?@)M$sĽ taЃl(oD1{G?h˟P#JwErf:dMEJYPU=)F04D=D)(x