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 !#<$ ] Native_Word:threads=4elapsed=574.387cpu=571.120gc=4.760factor=0.997zXZִF! CC]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&ZmH*bUaDw"]w,Q5ffJPԶ۵$ 0goy|ǻvbemŚB9vos[-R}۵/*Zɡ|769UKqC;N$` +jyVnd> 8^F3MI8/uFxE1H|3Խ2(Btzʑ ¸\bD1Wک| -{o( L'g`_RC0>M*dM['V>`9hׂNQjQ \fNwB@cf[DpjYWe;=x[6a>{r_4co sZZ.0ȴ&6$wL̟Gv3й`lͺ?B-Zg՘|qxʌy%ŭD! gHuI^5zQHdrWث(Pvl_ɲP$Db"T+̎s^1b: "dq8 pY͝jq[YN"VZuLf+9z娜 xYMԟO #\x`ĭ/ w2B v~7N8I$ݐw1aW7m#=k p@wy S=MsZ,f!H$ TDD.oH|=qүn+mV2Dy[,XCfxAuv2Hv=ƂEVn$e_vEy3d=;=G񍯽cPΘxOvT+ kx&!D/:tRFRͳ pZۗNX„{vZ.Eb@>"!ٸ/1Wϙ{~G-Lò;輞X4LX QWEad0ad;CfR-3R߂؁69WDVB\ L 䈮xCϺ1KygK0mYZ!UgO-[Ser_P__XO1f9ykw`ꤙ3$#,*RhVdx?y>I!Vb1x[xR+>;i M'< ǨSgS׼O{b,qq/t I֊]$q<њ8 iB Kq2 x ~c(~[A J`U%ŕn7/y3q|^9]Ɣ[l0GgLɈ<@a=t{8<-KT5mhGQdU췝W_EF)j݌n@x Q_ ?zY.uZOxm|";Nk; kNw/ajt/g??:5K8('1L59=M;5^Dm CNEq[C^ePy./t <֩aʃ)օojZkĝ(eHkaJF7p}S_35eŖ#M~'Wم:2xاU DO|f㮓_x#0a SEMK s}cYvV3}w M.V,$ /+O7GMUvCЏ^oĆM=űgYZ7zXZִF! q]ŗXiɟ1˦rnzx <@0+gM]a.g' Sq&f/lQf"ʿ2";6־];"8P KZokfn{DiVÒrJAR1YEP6eRֹ)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 ;p& 1 P'+&pSF=ƹ{@䨬ݭw2BY쮱]59~GӸy0p|%ÿ ]۽k⡇6!Pr3눏@F`^:gZrXm~cZTrަp{h;gYZ7zXZִF! n<]ŗXi%Bq Du| B| n/@71uxH U86C~b~)睒K?1bHi}g+6S!1sWgIim% Vv}Ĥ0ty%G j/7 Y/rRFPlgm;s?[ˈ!1V.qX(Dy)O`Sq%CWHYpQK*],jfcs{@rE |V ?:jV tXt?wo(nnzTAUuA?%_ :1 2fE %hY rd(Q?8E' B1~} $T5cZj0L NqPqbM<ڏAln1Urs! ћ"*JkN=(&ּdM!r6#n0G{KY G4]`[4&o)jn+csjoT̲7WJ DvYjDH\mNA4WKVK^cȆZ} FbƯ_jk :O*dm`efw0ZڅTyDb[eJI_8*Bo=i '(Ugf} ln*W]@o]6`@7O&:$̧ï ΝbW뀋2?t |3?,ݰbMͥft Cbe)pZQ#ˣ\q &km0P!\2T[ cTq¿vs9S*#D+镦*F Q]lEG\MiSh a/>D IҊAbAg.?^ݹ NoB5,!uy#X&h^.kK=tW2/I5.ٜt=\/âؼ TK~u e$Yq3Qn뿘*^i۠D O k_Dj]հ"eOp5:&P/^@Y/YjDY)0܃) HI˪ 4F%]K,aa PŅlhȰ~0̍TI8UYQ.6ЧDA‚Ӓ+V',8rtL5vI?5E#A4}lfD8.!ZpTJ $$9Dhc х}ڛ929ADX=XiZ>V,rC Z 0_BHo8^i- Fv~YU9K /\SxIBC1Vͅ჏^'62CԙiqeVY.6<ͲطҨEh [%DZ:"ƴ?$k6̘ ic!&擱 ̲I4e^ N]en_.0csϠ:y߈7 ?R{?;6蒅&PwPLYЏrN`;4-yS3 &4eZd@ *}~X+e23R9Qc 54;kRCga: QYF" mutJ|i7b42D\'+7Ȥ@Wi뎖ޫ'y|co|KE`,sO {hmo63w Zͫ IFo_EN͔'}Bٔt0%)/C2u< ) 2/(Y) {ܖ}1.l?\Əv (`z 9^aEt|%Aې Z__W=q_tc/GD ^-7 ǎd"-=R42r 5!-.E"=ΐW?{,qѯ+4Aţpv4 (I!Ӌ J4mϷ^ښE{ik^K-Sȵ8'W -Fk C/pqċCsL6.}S?S%턝ϋ5L<~+< I6I$^ @L_H|Q[E !k;Q"zL\*`Y<ŭhh-ž ݰ=\6&IT)D.r錆$B)֡MGk#aP+:3-G6c} o_+N8RYSXL@5 VȬMt_ S͇yǩ6|5fu{d,y#CzN#W\J6 IG=R*ڨFb!dSq;ȅNo]pxKtYj4dw_0^e_6t5%oDzz:ԃomk9 '|3Ta//lIyP rGU4Z֮2JTQwWNtT3Uj15>;nCp).8Ѹ|ւEˢ1i|?6mz*㡭69zoK.ek@mxL{h(`}+嶊a=ŀEaCo4s˥bsS~clҮanxl躝,|QC+(uPFP-,bIOŏFS}6\ l']1ނu(Z]%8VS?j~ ;%d^ذ&f[<٠M+p?TTө5?:,#;b@mDVn~w2WE wTDrEG6-u0zBʇkV6`&{$ǻ hLc|}>:O~YyPJ[J;ʁa]wƂ*!.KN/!U[bZW|e;F__q-}}<Ǩ-nD['9JQ4}1ԻC`hbS 3ܔ+G7 #YhW%WoZ4ZsUh?'z; r88<]RiD`2RդPyuw_!3Gx> q)QPRxкo^ϟl#p0\o^"=rI/[<^)^Qg5˷wגuZ.1\`si٭ V򀆠6v>,RAU.7(]UJA!7oPM@"XaȌu͐f(aۆBz)yk*Ũjmm\aNҔ /ളOj Սzg"WJhD6X~4f[c{H(yRnbY?/&Tbdg&)TI8;m=WՈ7r>d#uȄ dif;&[ peȶ}n |:ׇI W6QrBd{KP%; 2zfeҿh-d}86꧘_Мpx4z*|чw -0$tM]_XGɾ_Q=ëCtC[mܢ[Ùdߔ/[=돴}$Ւ":S6\C1d bʂlV'E,*tu%!cuH%ۮ(sᖮb0 R֜ qWunϮU68NY,JVhxP_.q*BݠZlp,%'=:J32żQ:XH`s joe1xGH,&L2z9VZ!Y,ݙoKDl(Q[)hUAn{XQ-r΅#=1gIS)ΦIr'6IP.Yv_ӎQBӦ/LB߬N݃8MЪW!.B+yhba' p_+dstg逡R#9+\*s2~ -B"I?SÿŲCG]C0Ė9KY[WU E7BzhO|\(&S~׵K'"aaUN (}ύ,f~S4cr&y&ҵ2EGA\NLfa2$ˉb9$532Xq3Scϟ  VJӗG,16nPe`kȷNo3y r"v#w?5qe rAyu)V29V YGM+PHp0) _J,A2t_O-V* '|u;:1 4`0n2v`/wiridC5#F3Qȶz8uOT"S|/)t_댆zWgxȒ;vV}i~,_%ѳƱqD0W(kn(O9B \ZZ٧È_"Y<ֈE#Lb͇[<ď~pZ:S;}/__$х$i\ \ CJ^FIB'Yϐrw#ΣhD6ـG6ϳulCtfP ~†CEu\HzþTLޗlǏ^(D׃ҵE)kh0 s5B~#U-耜3J÷@؅;^.' ڶzpT8Ka;[VYTuCvɋ7V6E*Fԇd ~cLX'FhfRk$&&:.Dl?x1/#~zҾ6 Fr"90 +Ufvcb^~!PlX3]:'?._^_6{q/PMv]smֹ>T2  j?~ ]cC_iSUqīҺ+HQHo`7S\=9@ڱOcf6'yvRt%M,:^a@ %;,פԒyf z_gͮoN0e^^5=Y9^b`zF3! }AU1O"=g(FS'[Zڟ!Jm[PujCXG3mF-MhLV~iPD?ZAڣ8D6BO:r ҈K@ޯIFЕV- NF*-E]|P9u|i(8Қ.g[9p 8:/VfASdߋ&>rsE5%;rS-0u#BQDY߼12LUső*_tN 3?|  ŷDy}FDFZ*d(N#0JѰre{9.Ht9i|ߡ=pp{e!M~ 㒒!AĜ™,`lx=]nE5ܕ*ϵK>qSsEFz&rZ}duS˜kjA diZ >|G2Fv*PehCŧz0+g߃.HHaLZC&O{G)0c5PR}3yxRvPb p-աZmF;֓oD f<()uDx3;-R,aP:IP/m)#6Tw8zfq`f_ u&6O4 0oPE1=@tH 3Ѱ{ w6DĜעa 2C=4Bk*wa++;Uj~lab3hax| fNDF <8]OxoAǕ6]vpB3~ YU7 Skmu VbOvU; Uwipe5:>߭!EM̳++JPܑ0=> *s= H>𰿂,mAp?@V*Gho¦`ra*Iy":E_;,qWLg- Ib6ܨF !"HG (ub٧J#ua'=dGӔCşW51`큽*/C༄iz]^uJ_ UͼT2e':ڷ-dM3۴0*S\P} M,+Vϛ_tCܵ L1)xc40X!7fM<)SF6'JpƆ=G\z|x^HэE1bUƬcf1kWMb̪R%=Ż:yH,-+4B"NzSw!cI>ZxEvH䪽a%AkE't Mх4gbQ9j;bԬ'oxa5 ̒{gK+ } ~3$`+|q 6Yn/?}#a'P&zɗx¾<[e*T&77a_he>(e;ĉ@3Uϯ@~IͲlkEsnҜ rUY/G*إ'؈!Jtq5o}G_M:7 UVER߰XU4E U艖+kb6//dIK$lh Xs %ݦ7ߏnj#Xy2~ zycG ^"[ SKu"Vb)tmb{VR}$&fzhRua$H",&&7=TH,}J}U|8O w8hh=sc"&2۰\9<@7Y@^ه[J#ƅg OrG??=_aí%#OQ>FfY'2S@$%ӱSE .꟰T'GQ}#z^4@V ;+Є8@uQ`Zu]/Aٖ`>\HSs7Qܸi}W#"!G-5KT&D'P쑜,{rSzj,~z7oYE~a7ŝƞq;Aeh^ qbyM}cJG/9&xD dOBlY"wq?t\8k, B.LJ5wLo0B`$8遖2f~jAZR'C1>&Y'.CKяfB tUusO؉PVZPV翏ăHW%Ӂgg(XI^U,wؔ>``z;ةmגF2a f)*]Hf1w|GP ';^ *h4\i 9# Q3w!? V"}pY0P $ 3xW'ݚ/|,F]/t5P2e,1N9LR{bY)}m>u4shy/atM9Go1Aptt?q PT\pH0bs7HA| ~knλBZx3XNmS60.3g1!PMzK=4RqJ=DA,M/?. C ڵ8R9H Ps5̳3r;ܹlu;:_Pq?OIx Zk͡:@Mf<;K -ɲ#'zDFR~ t_hT+d )3ftFEGB:pv|!r&} cGco5h8 Hp#zҰc$@!+pl-U9 1Q-q Mk c!z eX&JE:/.ĘVct_N}.-7.$4[[29ռf~!oչ\Uf3IFze>A%v: 7X`|i7(ƻ\ٜ#\BͶ}TvTP_ Q;?Jk7rX~TF%@D`-5X"hgwZcd틸)S 14gjXTFwrկ/~8(%>& gQ[5+ iG! )HZ^ϰs?ʼnj>I%/2Qza~b$X8f8!4tj"Y$v*vUK8B% 4#KbkKa Vmo  y{XՌo|ό {6jhxcQ`xgJ^w8ރHwVCpSw_kXW Z,X]M 8iy?,A?Gsk3}H[͇?{"k:]p~+ /$)ZK <}bq֌5"G3 p?bs#Z ͛o=C p-\"YN Cv1x|w׽1IL Kr4-N7}-lB#7V8vV0K)M'|g(!2{9Z<׫2qDƑ#'N˜$m,'GU9ẛ!2|`,X*PrF/B+L RnwU0k5I蟁\V>BtȁO:}ssW-mvmrLL,>jFԅ Nbd *`&%v0>>^#_uI=g1M/#9@T ‡%l&?S~qz-\&5?aJ{FّH*\{zS>$B^>a,`Dzg:y8;W3 MO=4rAMKEpQ%o>x+vbqI_Hsx'b (J?wP(ySh:4~tim38=wU;.w*V:_n|CB>|] s}#05i ji\Wu0$,pK֥t`o<\;f =Jk ^K^'y{U셿<>c~۫JQd$}ֺ?@Z9o䲈_|9&Fk滾={j#ـxy"iZ;s18G9Еm@A'~8!ljΊ5_˝cz!EQXPl"|TR/_0A&yHvv?& DtEi1 luĘV*?@HEQW{4UA告EKGֲtw*Jz8YWX Ex DgGv@4xֻмWw~\"MoQzaZ<)(!KM4H>. nCxB %3KkRcf8*P,Xi#wX(5_'Sڵ~5Z%(r{D A hw*8c:/':gZ͸QB(4F"X+_gZ HJ~n'bk&F'֯A iQt~ZnI@̴bbfpKinUN#&؆4&wKp 3:<f!ba#ʌ ⳸™mp#hVj°b's9`:'5rbZ$=]4yrC[5zᒜg|~%Ų^(e\)Dn=TYvTq>2=U 1d^|Ñ[*Vc;SJ^371iaȳ;WB..zz+`5qOmb,z;T31{Q=ـoFDݲ<~U;;fX,_HYB6k[/2m'O;)nNmo w~J^*ߺdFJhG_* ꌲv˥ޡU?s ,bbc~ k:?iz [\fW%SMKDjM|5Q3Y8%" SU~UO zmD0^q@P4y{(H Y-/CNi!r?nNmsi ~X'fekc@sxXֻ]i lb+!K_=a7lu"*4w8Ġȑ76J~b|X_(®' H #hں?<)Bf}M`J a.}o!b9*;nUbR;PcVx[ ak+\!8^5 , Qg{wp-!Ϙl.r9 rǏI>@àeHDU#ޓj"ߴī5Xfc]I ptc9Jr$yDg۴?òC\919<_ H mNL llѻ[g)jX9#4Ŵu7"d:OmEɪ2LV+1R ]Xksk{(Dhg TDg밎cTbdXYr Nwu0O =Tuj*at;W섅7̒^ذ eXW-D8mW#C1$Uʨi$w> j{fovxD`0P?uGL~D9FEeKbj#*5Oin?]?̷TjWAG7 'l[::y) Zr]t^>:@R>YwdC-@6 ײ( iJ5g>VL$ᆬWnƕN*AexŇ30P&gsq.CD5aR9ٞ)/2YC2ʜ P LLp14 _5-b@IPePX>n;OlpVmqF&g2::{sm Cd[5C)\z I#?7aWh:(s'Ku< Ro=87Lz#vD2AMz& ېӷS]{ݓ, ok6W\\a]l;Kqff[pvNEⴱ#pχo54ШQ^>ꝏby:+<;SC'4?*En8T ,oQN0W+q8^rtݐ7g[F!栩agA6Ai$H;dv-3joV-\_Bjlܥ6Cq~ȜoB®ꚾ gHyE6^5>U` ..>m4P@*v( D]"Q-5Ps7J)@L[?IMZRϝǤlL0XL8T뵴#WyañN"O<=_L 4ґ^f>c\z`c'cVuKO'—Hu214+f3;WQ.)$9뜎4DFt Nq5GR)Ⱦ M*1sʖu?M ,H&:L:YfpȐna!3}VKk/K6LD %knHøBuf싛wC??1iuIT+E.Dϝ$Qlc0,xS<)!uoQo+-PVbxy4>E%KƩiЄ3 "E? c5,fuX|$8_)-Ui$ꁇ㙳n6Y܋PˀiJ"c3 dcM7.xYHsdԲ?aϮ^&iL8qy+,az]2EMbW'`Nyz|&6y^lo",akGHi2NÅhAiM2BpwEL_D7-X؝>ATѳ;-dž7&޿@U+V_AXX2mTp q6 >D2VZzrϱ[2xD2j-~!ciЃU62 hWk#eh;T3u+[!p+[4gR<ݶuh몑xE8$AHl }cxmBTCB!'‚UIGQu<ęt=vuV﵈鍷 `L2TS/BD/qRXFix"V bN_s=U߉z{2TDsBݭU’:?]̝h){tJ0"ZE$hŦ:.Pč_H1E%%{(pLxKN(S8lb fy32 nG{K.G[GohW#>oɭnjB ΢`^G%LޮGA ֟q>Dve&A5W{tqB@]unc/`ov-1Z *˝8t5nNl xr i 7U18&cok]; `I}o@ذEg&{ǢQs,&ٟS l "Z~UQ¶$val_wQH7VQv%D ۽H 2ۓVes=qiL ,eGvݴa:T9{45nfc+Z$<}3([ڤ TC8p/"lZ:vm'p4[,7MjW' awOOoAINNp_Nz-Z)$$ ܳ3 ϓ{ |Ybg=`LTl,2oܱ&S#HJ5Y;˿DfHO!dMB/5k}%/ 9]X?ey%)c xڶxFvC}_+w (rø6@Boγ}jc#!g6ÒK.;ig<8'6e0+eH54q.v,,)1'[]գ-KD(5{qVȄ708bkg|J-[$ V{gۄ4iPvtw;+s9U #](GsL*"PutPhVR i7J ߖW]',9ב|M4SXȵuчE7jI[ϊkoth̀RxCC_X jP76v+U+ k4[LewMJh&E疱O'Aw՝ P-ARJ=ǿDx,T.{dN BX^ "QbPo=FվӒX.)#Y #x0% k΅ tfkaC1 ጚ4C.FBa˯֒uAyxb6x+W}Ĺ4ʪ~%4!BI&: ;8O^!TdDTGşmL?7Оm09:SٱRŇ(kYtm+ wxk:Q Ð4֑c -lð՞QxGv~%}ɉz lMK 077 : ٴFJe.vz4bDr|l )* NJ ٘M8֕l"iJ-y߁(YHt#a k}6^ qȧ&SjV˩ᐼ,/6Uʟ=*ӮോBzA!ϬEaa|&4" ~w 2uCbFE]rQ EX >PDK\Qp_GZP#܋¯|w 1[%)rr[Qql."ӾC\ ̬QV[>T|Wn'v}e/wqjN@l#,uiN(-L AOBw'M(ʢU=ϻLr]xR 1f^v:l+CͳkРvDxUWsDƲ~VJ5\!sOh=TQ$ :k3We(-nι8x#cl V_nߚ ,YKa'>[ (ѽʶ ) [EU /!E;/-f&Iys돤̻}=DU$K; R<"xDKXeN YL3m_`ϋ+f{Aj'+{AxbqpK;9sU5:t=[fU(2kS1ҢqxxOX0d픴6_>iU~JGg>"/Xc-G-ZH?A( |]oV zwSNJd`}J}9}LKpN@W4[*^rϹ9yBvqj[Ocu3 \PM{2oC"mq=y`CA#1&`Pci?7i6o ~5L8Rxw]>ixT'뷝MGmCw:mysv-Qc!0 ]2a/@~'k [ߖ 5 ΰfCuqRڂHֿ#σi,z8gIȞp -Fԗ ٲ{Ɨz:A$zrXitS oNu1\Ѻrh]y1iTIl '򷃮<ƽ\ts4!jCtY]蛡eDY]*ӳ1֊ QL2 I7dw{/}lH+Uggd5 ٵќ*~uW };ڽ6m*ЌtђT_CSRꎗG-bZwkIhEJ͒d݋ 'DxVBoI: bHĻS|K&O9Hn}ht1bò7s71@9k[*o!3R¿A¾r*X4zer.W&/)KHް9径">߂|͐>g6LSU-C< @^ ? @(0"a:@r7U9ßp;4]kbj <#),k'^E;5O 4z'W|9^f[J];6%|,sK1#;C9<;VdLGKTBό@vȡN'OOn'[wQ}̷M3-}~Fp53QxV)AEq0˜pe!1.cb"_sS붹#exxNplr3Oaui'B;ylbGYۯe͹s'_rZ187~_Ρ߹&壴N/S8Qi P}vBɢeg+d|%mf!1)CF78U:RNNC]qsQS4i6\]\ 7ȇþV];?|#0oY*oGO] "HTgc;'EВ\nLR lm8|_Z3n;@‹Ϫ>H*m8|F%+&4)V\  [B||ӯAy2 ĝ'KYr (pYkLް9+L\fWyw-a(݌Ӭs[! t>A.7:FIMug ?gRv9 ?`;Nͬta>B7Li`lv?S F)6YxߴC޳Ib܆;U5eMI)e5M?Pt~U"T J ʓ4$,:lQQ tc/ ESitH:*- )#Y݃/FE7-Q=gډ7mvQ0r ~v7n}/L|TzB~2p-)f޶a+'DN"m@7S piºR26jSta:nu b}tfP|㣉7]bslJK$Gd|9wI+M]T*;|oF>x-q-ЬR3% hwsd=|*Ey8l~?>\ _ѣCKi,68\V$p%OARf9UlpgW`=!wmd|D>JZ\C$+T׫I&?77?(V<Dք;TFq +97ꦾt!p W;!9l3ޭ׌#mA|\h`e`I*qDz9:nG Ǭi܈vWd:+_my}G+h !M 6;ݥIJy2!4W ӻ&$3!$<}xT^SwGIʖk~]٫$6)̘y%(i'(iڪ7E\Wq 'zW@D]J7? -4w&tlfA؄qC ޾_, u,؋QZgM(1$9MBa4<)u4 2WNx娍̉j=g5l(rЖY6h#T= mCʔTVi LнSI@y#薗 Wbq+}AD?wj;̖_E_` eXPbK)\z+:dn'>uA{fyZ#jf\S ~;ːRwU  MOPFȋ|hG-@ˁ4َ6b>6&sV` (+ (tK?}8-[R}IlvonrE^?k*鑓ewPмN8〆)'Z?{N?g` QJ)%_S'3~ Ws f>RaᡤW:Z4}1ݺJXUQ(PߓMN4+G ^jD?*~ߋH_k`DK2a2ܬ2}B kx"szjd]bz0Iv&]n$/i!b"|h)κEN~4-kXsBs ;9#۳&kW9j܃/K:""Okt7:܅٠-{Y ;LI//pqll &!J63 1ak)f'B=j4LzX^E_{b+$cr@6A Ci[6o[%݅|CgsO5&lgEBX6'q.%0<#8X!H1]jpzڝ2_JMTͳͧBNVGg`DK\gs"g H(bf$ڝTM#˪9*Sʎ "# r~a@FT21 %~ڵb S](8xǶ xcRdXAsBu:{2]I2RT\duGGsELxoGhD6xlB;T5Gl-ξb^V96X+{9$eF $\u~T\a ! lGNۻk1\xFsD,a AGݕT=՚3OMttdwO][0LJhe N+Ad"#cި' tCGږtZ2x".kQ_A<S3rk.Z`)KO=eŤ+Р@q[9-ZPø$<&J ]fqs/yK\4q aș2b=JMG@)er1=- *Z1i%SM4C潳$G:tAqG*?jnoy!uM\= -pVIrشXit#jĀe'8(0Y&DZPs}#2ڷOC3>ň rBېǢvTs]"5?/ER(9DZ@0/U@Z0l 53lXsteXĚiȼgSZ@ĂwRP%!SDYQG]ȦٱӴrfK?lfTyCl<^Sj7\7N:U@)5T,UCT|Qk0-B>2eoQC orek-LເE M:kG>` >6M;8oS*fzφ?R.LFnZoggř670Fh9HM`tr`$;k ,Mr DQyga^tOBu,f)<LDNVnx|_B {Ϋ |RHWϪBFDr Mt:(׻ݿL|f PitSqsl ?&9Kd[ Mc5j͎xvh(LO"P9c"j͹{,$'a9v{-rfuh'Yr Lg:Ef*8?We]8S,Ib4*^qv0}9&kjxF&[$M}YѾf5NN(seͬyAmTz>o>ciZL1tM xQ,?C+-lҕ7mȡ)O$pUN%  5k=;+ۛ@64Ki=N%r՘_P1e8f{ #u1 f7x@Pr$POb1ž޲lߠ%C(YObs8P#<(0 I݃{Fivf`thT@0|tt0Wן +4Fz`^p2S,VGLZd-? UXC[BJIY^?LDO'E1O>UJr߻/;Ō1EvX{gmJ"rS.O\xJe0.]}:Q`a-k?Е@1m vᓉ럢tXMTR.̵o4R((E{ E\w2ola4~Fu$Qb$ 8-LoV)1G92Ż %9q%)40Y99Q>,<(T@;50=vFnnv1oZ1ebp>zYjH~H34"2:-e%᧚BFUg25K t6f685`,vm貯:Wi&Oe$\WA8$b U"͟0N1KN0W(i[7Gl.~CؓW+ؽr?$f3ARB+{54+uB_:WG%mzRB9|| wڰ2M(-gYZf5f26357f08172277afed42d09f07dbbf94f31e476b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 b79220a06323e5f78d1c915729bbd9560f19a1e9