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 E#<T ] Native_Word:threads=4elapsed=530.633cpu=535.360gc=5.840factor=1.017zXZִF! FX]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X Y/nF-|jH_ff,q5C_*{c /B%-)8-LxppMt!Hs)i}ŝXj_Xy2iBs `\u'u$H}2'2H<k~s8[KcL0|J6K{xsiVw <YY4d#W oJ!+ f>c2!9%=#knz uC(>K^t # 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 &;0`)z(1{ߛWU{0fS댉 d%D+θ>f9s#ϳ[&_??M3Ro􉁑a~d6kEYs~eS-cV|*{+(<ʠAjKw#?}8yVAAX'&m*z#DCh>~!FxwZ<, 4JbO.l?#~Uqgمis{X3sv5;,r6"Zia{m r<Wlq?V2mX$ѧ٠}@ŗ͌qt0`-in&6Rn>B<h̓y#B>GPg'4EORWPWD)@uțb5 .}/ 1dDQ9n47+rH% @y5m3:S{/Bju|[u&_8Cxdiv90Y bPBxB7F3"hyRA|4vvI=fY !kD>v\w-=lf? !*̪zP.\EaVL^&npO@:wjRB<FaQ%cpISX9%mmwC['F*ff4OSM+d1`;vY5yoX UwTl" =|J@f+ 5tcw`"y@>$Eg&c}A?0nu+X@DYo,/ }@Y\!Z?s-8 ARLk]⟍[of]dk,xu-^c#:]vST4eH-8g5 ,MY(ljHaצhC#+57"AH1;T 8]j4v7|Y߃ӌd +1znmiK5x)Sv#2]h}镪ډ.<.tՒ8\9-jqz9`8{hESND5&,v?zA? ORZRa1cDC" f(DO=#T^$r.QcMwKv}*g8P.Y9 [h,ZGޛyYp0swhil .dm",קX"ۤKA&`=1*|(,> 4Is$ eJzbdKnnl3=h kY], 5ƹN(3Viq 9'q.^[MO+ * $ĕ!o zQh ]pS&oS]>^)Wˑ%_q=/ꡊiBa)s 𿿹ׄkWh(Wh}r~C%kERloz11Sb& 8D%ZG]4a O|OSrLE%.XO+Qrޥ6U([#͉^gp>?/P覔?gVڞZ\GoTy5|ұ|e[P L7Gfx\N8u D }It+Ft'XPVʹpJ}^2tfɲ{B]ɗS@Jё'x׊{D!m{\$x G-cBMn{]F2ύ|S7l řJp1:'_O#%gW5?;ظe$ )~e(-]P1벹uOT{%8xRّ"5k1ЗkgYZ7zXZִF! }e]ŗXi%GkΥ4*tb7?CO 3wveS&vұ( Ӫ M.'ap8?'5]gd$֞- M!pvZZr4Q#YpnNKF>WuwRM$-@pu%#G܈w]R& ^;,SGB7㉲Mk|KUND1|\)p} "ȥKm}uI#)\wBUC̼?sٍi#57j$qYtrp~}eڦDOzYd:Daq˯҅tUV+ߜVje7<4_M N܃vL|4s|6Xѩ5͎1IX=}O(p'[#9/?ay%./ [Vw#T`bhwnjsW2{9]Ȯ8JE`IeToe MoO|y!"?@ j wcy:8fH:ީ$6!4g {h }P)2oAT&-nZbzWj[PLKTT:']x/eGVq@з`\Y%4pO i` a`GXsMExx+΍vM%Iy Pm}˩"[O+Y`/|zsPPu[|b:7Bu=` j1"7BV çl6ǹv!MNJRؤr0stBf;-Ge.:}1#Ap v}#iE{+2;qu7z3&g~d+͔#/'eUҨG&UA1¶Ԕ7S xՔr4%$>BD-'ʠxQGzqj|yHz;%69jnpoXW"̹+ YhMU&~b*{XbZO,rrNEҴ'}Zk]VsLa~+{Ry]o'cdUJ7QA-We2݅~i>qh&+UD(!l\XiOz?PuJF-/&ZsP͌` *9ofDq[geL[*<KчQ !44Yg3~ SuצMZk1ظ FRXh EGW)Q)pj^a]u:s=#5;\s Pgǰ(S8&o4@j ʐЫ.^Orߴ ]l`s[ %'%[E zvߍ$ 5-H:j KcG,$ӦyHu#\ a{N 1~ȸScV3!/hn@~H@I)֭H…3[ z$0#y`7iѓ]v5G_5ѧr{D^ƹS#\*en]t*IvHtBJ|:}+VpI\VheLpKyӷ;K1@͹'^ 1V\H DYQXvp&u #kt혮plGםHU Cbp_rՉsӞ][V哨F+??lS;aPǚE5raf̋q9y,L9 4cQcF5|wOqDm8ZT.J=Hn Vb28 1f,6GZdL kםa7C|@2 ICv tX^>8^-'z[#J$'by#Wä"XC/`P4Tzog.K[u[q/_3MUVh1fo r+1 OT GMn4'rZlP ?)fgЎp$@сpSmg6];, X%426g3P>ƞqC{n6y=„ZeJ5?QXt|=̱1KO( GO7zHwq)-idKLV.;MHnŞfJ{$s&]ګ\+w0O6@-$1rY^pR,]ycfN6ʦxl\c[KY A_-B1tE_р֙Ɨ0xdz1A _40~ȊyV^>~g w[esJZ;nSh!oȂ&oY{2q7*o9=7QuQ ps- 4{XCȭ #aTgE0*ζݝ4ȥUEAv̍59>2⑀`]j)Άc!msTK徊2@%з- @\ b VddڪLYyZ]fbp;d g'}l1Glk~u5¤4ȱ|zo` _/=GnlKY@q֗-VϘj Fлvc:ҔLJWm_ M_ױw( VHN^UBy|D^R.ǾLA;%fJ4eXE u):y<1br-M1̉b3pW@ ˜`d6IF3P(Ms2Q;)[u 2R#KxX֢W3%ةhcTcDWM5V8c= MlhV=kjM.@Nۦ/6U3.(ex"DYXڔlW*sl? LXl fy*>b]Ge34pȆvN4> -v` sCP(HksR͔Ct4EX vFFUP8_k-Koʠ}>㫣lT^WDXݏl ;XR| f]CgNFl]y2D4-Zhۍz s&~zН;Aw³h\/x\ Y)7zѦA'LTHF4\,~ Ioͥfq8kK(gY#dy,X` Z|,m5{􂩏/V '% <%%h݋c 6>Nu**\GClѽHJvOxNW` "m]Ƅe@8[F`"gC=Ķ6@.(#F{6 dBoI LU–R_k w1G9mrIbD.s욘sjZm@PSGn>$PZQ\#Иv(w릻DrtiGw#): Wq$!2k7qt3jKJa=vl/.']qvLf@Qkթ4\_BĖ/uCOZ8}s *l ,&kyj2@jBMTkn}T\,#`dl ALT~4 +䊸m->X ^9rJ\`\L5axdCV,b*R  ek9w6f w]gDA!B[Fu9KLn"?ɏ&\E5;F?-|:uM\FS|=3gI~ ҝѨw`-I=2-b"w2]^U {T7G:Hئv?334 l=`}u?!?H LQjI "C\T lE],+^RaG'$c'Ww-́'tP\*/4jطVc,_c?'>@d%gJXy}0ꊌ6{z]:fs4~?| 0 lO Mu~~ը/r$?o][Vg[MGH0Zi} ZrJXP;S?,D"x/0W,?$>6 <ϧrǥ>#`^ 4 IR^΋/-3E'=)&Qnx:b͙yV+~lt %{Zey# !:vaU&È̡)Gˏ F-nbKРX}Gk{gM,YtSfġ9CS6 ,&PYEm^pF`[8?Hpx #:7ISmޕxBČ͎Q88tR?voQ}U"=!CVz]h@ul><\LY`l, 8VLJFQ:~ɗ{'68NaO:}ɱ~ƚG5-LSnk|y {6G$ hM,h8tMYkAx?,2E Wt~Agn5'nʝǍpO}hsQ]&SmZo֮CKPn$igEiUy@%xGz #4#Rxu_F`i1:fPc]I!m4SV§GY `y鍜{^yGf=ftC"ޠ 6ƂSLp@v}a 1"Z\@C ].!o6I# CM 'V+O$T{Pa2ĥWeNdV,xwܝ KiZW5Xrצ 0T.q(0bI}|cKJP2 #8Za_|. o`Hn oEKmߺq Di*] )ff-jO_7!@_@:Ao$8/.ӽCnM@TB*+17'gRSY2ʙuuVZ[zlf>8.F#I;s%S>7ʫ0}ynfpB"b[i.`iftv}LIZ5亃sP?#zozI{&FFº2e:15_O(ts\fL ]Rg0~7$KG߅pDb۔Ht+.)(k k"V^L3EM$."lg-ϰqkuMZ=2gXL2_~vԵHD2r._.m=1[}ApsjYPow!8{Z+8-̒RtpmLPS69[OfxsYѿ^!ou'.v)8h[\iFwhS^rbK9IurQ2mgn"y{f<Ĉ¦W,@bys%fYܼ(Q8] }M^ 8Lp>菧6,1N p/WhM9V~:RJwdUi*͹qF::zRN* VWuT:YHqbE- : ʢo_]-!-z tFy{o}(9+0Bsħ+yyVg>T;6FۑF ^EY#WgB-EnrҲ$ðG6'eУw@2pEX :X>Wxhk-9w7c!g\D_W;ȋ0@=k+`HPIoxK\Z Z\-I;=zuװHcRJNnBG_{÷)dYkT`v=.x:F U. z0^`1!ʳPiM;b$4f|k@1bDWVNJS#{Jǎ:ѡ<Lb M/]>Hw6t~L-=~}կԉ0 ^:8;F'|2z21`3" HL+Ollۓys].ъ`]sY3*,uO2 =`=_PNH dO;MFY4u#e+>31z3[ߡkVш}cj?ձr<tXx 9VNb`tBkOp _-uG z L>0AheаBbMdquhVh5vK@\%-+Ee)ޕMW!6e |GgI%6DU/a{ʲ$0b$[m!"@)o j8DŽHDc%)TWKl I҇[|&?m@zc{&>#`^;یhԖ$2鎈6myt1,iQqHduyK$ŀJ{sޝbZ9ǘAVSHb$ȕM.3E_k}M}KRi,EY̜z^]Q+d)3]i{ҫp3Llد MFx[(@ףSԘ6bR);\K6PlqEJa k:m 5 %Y6)1ÝhWlh @es0$ # ovm1ra?EI f"5hVFS`)}WϹ~aZ*Wbf䥒dnjҹ7Ӓg`//E%0 {\Nje늰[lӦ/O 8+'*@`[̰s ?Ÿa8"h^-84QGrx9U]uu!ޠ6~ (0s}=|%π Z\@]zRcMSVM* aį;):{'H!Й>tsUIx#N1ű-Om"2T螀ᔰ9^6ۡ&Y`w ADE {r ~Y Daz:}.9 <1BM@W3<~2$V&yGʒ vQ?Ֆi:5 I %`E*pPjvΞ٫V$/:§iAgƒ8Je!>0Vak-m]w &)?h;\P+:&h]E}6tWLHf\C9FjdmYҿjܝyYZ%Zp~>ʆ8*Nm (f-ƍvV]Zx_ zD_6M*R8fp@XcSkCn(#30Y! P-_]n~[ zj+)١ Jץd;cM&P,p'i'q֑!Vz6mOYI1>Uf3`MmY{QX[JⰌXVZDla@e`m*S0[&l]}*g% |ݲi/HCa~\qOєF.!#kODZu/k&ʚ\o ;_^[,7͒uM(Y`]dQ>녣_I 8A5񙜛 _7 @Pf{}i0W}6A7PFc")fqTuk}cXy'X Q etA5ᕇS [fwC +WS‡1C@^g#TNiKFy%l "=iӒQ~^Sg3TE,ī}8zѡwI&q%p!seqv#G$1ʘu[#RSq\VօJ(/ʢ5W 6ɜG ;!#W53$aٛ +#Ů};֫QpU/"mO",V9?1Kdz&l!ުE<Qc[@.)4m VVf šgf?:J^-YeFVmghO&50L ?u$/ʴ|Ǡ D-A%q&7-n_^/=| i?}3Z{y(םJVЌ ΎtZJpB_9/ ڻo<4-B9(#:p18֟˦s̥eW䊄i6^@? $C1pM>b_ʌ WD0k̄ `6r߁ /[N̕גSTj%9S]f/O&"S}+*Hƚyq928]~a VSSM(:$Y=ӲC0I*.5pLk㥝(*Єe.(~UmbQe-6o&]ntJz &zNG@15N6x^Q# ;tg΁xXqVPc?`<4';Aۀ> ԥg/\}R- X3tZe rnȣVD%gppnyfjjU-FE+G/oNQ6WyW)g`74n}XQX_)lњNs,@ 'd:}+DĖ+ϒFOE`E,?u=/9p܂ /{S2Ik d IP|J'X`H6[B*6˕q?9Yϵ$((dv7y%VhBzY8LY0Py1wDxJ7-n%SĬ|Q ha'0&Lst)|p5<O²$ɥIh9BU5.~SSg}&A{PG`„:}FLi-aX3P՜~Vpz$P)"`٥2ڣVr21&}#}zP)ݗ{h~'gf7ُCr/ˣmNRÉDpkהλC~.aT<ֵIKgPT5?I#k꾞N.GU<+ tD, 70$ttsu</(HJPh. aVPt2L@̩ق&d0ω'U "G1_ +UC &Eq]`8TGsxcpU֚lZ hD4LRt:^f6 vXG~fS|2D\ֵƬ6i9ӗ$#SpFRm6^IٞgM)Dm WIT%챐1d֑-m{埓p';I y; +58Wq)],Mr@j*6ۚ 4rʐvE(goҹɚwzM zsd" ZPPFh6Vd-5g?U'83HU%\6 e *-drR'eIN$X,\w ݦ^J/ūnw,^1'\)ґ{&2tzcgzTBI튿PSW• ZIj+yǓm% ĘX]of ƓU1lsF9 yЛQVͼ57MϺEhYrКNdTvb tKӀWAt%;Ew ӕ@3*BUo ?]C2jNS r7D"cɘt&>ȻGwX2=,u-v!Ԩ%jJGU;hhɞMAޱ1%Qf_@I$e[̓WZO, G% &'8:[zuE0;of"3JE1u>U|(rKWY(5tXѤ㗑* Hf$}_81fdġc-a'AA"\ha,DT6Qa^YokHX ѦDȳ^G>=2+^z:4[r6Zޗ=o [þg x)y و ckCRQ PUSoh$AA ӎ(9`u8X |jڼq*DEFmXR:k {od|_-1_/  VT.ōңza7,5 ğS;`[ YbB&,xY; V 1\-(zA#X)&2F9ƴ5A3x8b~Ms,+,˭m+<.Ev9ܑF!I_L(v(Y۱cհ<˸PA3f^mkܻ/h 19?): Kvti)jzF㯮q8*{yźEՃu@zѽ3uҕV(ģܿo |3r2b<8U쉜0Nw(8!ADr"~z%/ClOa]9,켳l>QNeKmd}O 5 ϫ3l ߿$͹<*q,2v@cl-aߝIa)8{N|P)iP|о(!X`$TDl/FCɲ9~yY2;:\Ly_?QX 79 /"q72BO~J$n2/]{o|e#.R|3V òd  B!JFaBw|㧩8gP .Ik[!Յ9<0`4qBm.C2D$`椦 sNX^yQإi~ z!e#j (P,:h Lf\Q 8DJP15m!J PBNq9;HL Mjk]X:%1k3N^~^nOF\J[M=lh MaĉTuѦ{.{*n^RFoMw|sg|vYYCXĵs׫mB:Len2;G׉3zvJ9Q*%k޼ZަT఼\Xulpbq96M*U,+gl 5`tS>k̓ u$x-ظնC,L$Pq'3$ؒmOlṵRwIG _n{M/' ι9 n(wjL\H=GpZk׷}IZik 4Ys}xcɫcxP>a%]å4K*R p^m;OS cYe.QPLdx^1!i6,1b_'x??N\}=ƗO h3{Ȉ Oag#G> ~fJIWyƴ9kX&.h-_Ycym y8P!vfB9 V *. ;@Q(Um2On>g ; kv>Qxfru|OUbd Dɿkf (3LrAAƴw*iv1%ҖLfM4zTǙh$wDۚwN{E6{%iH rD QrKܰ?ؼIPsl͡v-6K[`|6(6/yQ\v:}&*2~حoLGiN%7}̺cD=PƎe)k"۪ 1zp3Bh$]O^^nPnIV' jUSo_jz)mBC;K̠QqW[H"_[?j\Z*PDT3jUkq[4MHT.*{ WFq \eU0X^J7sJP6̩7 =3 @Gվq8Imˁ UVZi̅<Ӵn9zsG@=縩n6g|PA#L@]^Yqzzb cu&1ON Ri1^(<竁4bWx.iVL9T.m oћg}TZ 8w 0(9 >B~EۥmK0v 9}I!3 л7LOk \nohUZ)gR͝<ν_V ͞YGа> mUۦiS?ʔHYp&AFLMjdk#XAVB0%p-!,X| li5C$\L /TLOl=*VY;b) ct}5"d;"0 h=9)( :t}4 hj8(VmծH9Q 2Tk vĪ(K[+.ܰG>t {8O89_wd{œXϏe rg=GYTwŗGHi׿w)qdrLri1.!/ڰp3龶 r\-:'ԥϝH8].%offN>'0,=MsRU#>:bdf*w H"瀂-8b%6h< ҾTw(i:zLxMŔzXv B#r_ @Fn$ܬ}o ,\mD}mTl|R .{5/~~xgc9OTjO?%-k MBT>ʱt~R}DL b1ہhO$f2 5mÃ,xt039w^}1 Q,Dɬ!J =ŕ zFkE ;3wyWrcz̼>NF =dzSK)i/S qԒ=8yU`PǸN$<̐Lj~ VPTw4M/FHC+Cս[]7h Wgjï4fcO 66cMfoo۹(jJǀ39_ /k<<Os<2iȓP)-cc{j s6^R}%7@64 `vE]<çA$M*g²N|[nF$e8;ll׵r/L UdAۅOH060l5Ku6Swj3aьG±aDmH q< (mVk :?K]gL嶕m{\XFKsc.H-P%@=PE(q!g?$M4 kV `f(lXe"lq$b|@FJ{2`;˸UZG6rE8? }?jP*4R7F*j|zpe_+gaMnt>9~>0rF|NҤ]aI1]CQUW;芝<zO4 3m'lBPt NLXRVyܸxL+h`iLFx=ʧ n5__u߶yi% a%'gu>LsGIz`R.ܑb%[O'Uk$ ǵ_Җ;8'Wy?DfvW2+mms[\".[ѥUթBJ?~+$:pP^ flGGB~u r*/s$cH(Q<2],= )|d[t: [hES>oRvH0#dݔy]%8(C =6=t}dŸo_$5X  Vl*C=돶Z%Q@ցo"_wq *vX-/;X @L)0IlLnyujUb:'Z]Ѯμ B[8ΉOZ:>2 @, Sm VcVGu~y)5 Y2%R+)I@%}ꝃSD2M w5VJIQxiӆ%_t>QoT(O&!{@| rfjfgLmw$ DҾMhk|=4D뙘 /dg)v mplF:kvH ҔZhe*; BN[8o/t.4rf+R-p ?ܷc&Ib"*PZ N2³Lu,KVtT}dztrj \ #myO-9K5UN Ϧ,E=ʌCgsП/ulq Yֺ2'abc+mӜ&rӆTAdֳĬũYgr|X[+̙x1<\Uw`I]?R  s:?zoWpӮHR,$*|r49ù}/)H*e|WmuMLZ,'m-s#OJBx6".gI:~^)XHmt8'bIEZѢJo}ؐ>\ )1ND*}YUyˇT휭G{CBp&{KW{%U5d:t*x~Ӣ:lb?@Q$z[+˶dsO<%wk&ssW?-͡'9XFn!G B$͈IwSAT 5mG識mB@sOeoPzG0gBz_R]BQ+hZdؐ#wL2#݀SN=Ea٨zLKcW3ԴPGŗLn ث%^XbL Y9['D9(qLMG@Q5Q[,zӢ']R7䜧UC3g$#* C\m} A1Z RX "?b(mHpNҶÔt_%*DOeY?T"ee4fx$^B)>8ɌJwPȕh#m7*-R(@~ mwuSr\dW |ҽ]t$ɋQI LՔ"oۗ><02=cZ|ߝmH;B.2ѣ8g3{q!X[=m!ݰ|ޮJXH[opb9,d<1 p/`FﴄF_C5eULNG[',> cewaOϡe4lshe&+seeڦPj3DKV?j"?:%Mp]0Fu'O 2τXX@,wUVBnS޿(Us$pOv2;F1PASLnv" ?qܹb>p`Qŷ*ѴGy֊څW/&wekJhfԣu\f$>e!@wCAGz"":dal'?f_sǟ;tɸ g#,0zhN &Z䩇?ZyWpM9}[B-yR6>tbɀGkH 37 (@wMP։6߁rHT#dPH3B#T7&5=!d˝/Jlq1-h/-u5K&a$eY'JsxG? Í'Z7j>[|PI;Bb@K~ǂʨ4XwP |+эgʑ&`;R]aO/{Gŏid=.D!:#:߶ #(^1#UD[R)LzhQGg'v퀀~*:Ed7=^ɢ-<,y]>iyMXh(SU툄%Ep04XJitjPr,Ez۬`hǫFph3g@|="PNǚAx<3|Z02QKRSh3~cLDm=![k4FLẅ́G/=poZ/@r|Md7[%R4 Mߩ_UG ߽q@^tٓzPz*)'Oj:NGbhQHXOu˧۬I.QhNF {H⛺$Gu ;{||Di8l*\ F&@*QcXD{ ¡p9> |f-MŦEҹ}M*,`1QA8*O8ӜoW`ϴ@93:?"NeK5W/oU$ןDenb:"v2mu},mH-A<,]!Mԝsm gd:, |D>5?Hȉ"_wisITDaiDb0{Ue:>hfiIwc FfD62?B:?uYM#7ȺgPPKjVsIƲk 4+V3 A=Y*xEcO  laFؒ$^E]^&= :8ޣޱu&BN+,nre 5(?fpU7) ISVwƓb^ϘeC @Ȏʝ)J܆2)Auv9]9:Z&7 SkdP~+4߇0?1TUV(ܯ}HMZl+NP&3xܫ~oq8;QT ׍LyQ9w\5FВ7@MT_W* E 4˗$+7ЎIfNL{x2ZUD< ۦK鷂Tt\c tER0PɷcJ:ri6֬yWѸ@g&#N'ӹ|sj VGX5c4c2?tȽ0f e1Fv?DѺwrCɿTEO(-+Mnt= )ե(x02{")$  'ue퍖ӆCu~F@4^L"a )5GV>U86V,Ҝ]\-oc̴O][['g`%#?=藠(̍wxa| sq4KoՒzɰ7 2X![)ݾ8@;Q# 02%yj߲d|q+r`^ho:}~tQ˕s_أfO^Jgfr՗fLx'3A\G=)ɲ@MwpJe[X eQ>&~-trxlk'3ɭl_{ki]0Luٝ_+21 OǕ}vr@v;Hbtb8E~db rO$ECy>7ͭ5?Uh6Xc\\m8w:Ι/SCj`l~Z#)?xXb"^*ge` SmDpu7.[M+7 i˒"pLSGPo!܏D6#/ CעZPU^-a,i%wp ="@
HÑ: FX8,e}]3+U6ѷ%6ߢ~C#SNHrX-w޺革,Z>ce.(=G!l^Xc8:N5@?8 f ]RL@INq2t||wsZ Fn!D)}JnfRvF|2IU8rZ qQ/K"zkgYZf688e0e112f99d618aaad76b4f94a807af3d53974b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 1b6dd4c6f68494b908b97dd6f4ab365790a44f49