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  Y#$ ] Native_Word:threads=4elapsed=553.162cpu=552.320gc=5.348factor=1.007zXZִF! En]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Y eT;8"U.lPCtgʵu#Eahk|QG97 ɣꭐV+Kp5*B~Wwbcy|JGx~ȺT%2[\{ڏ1d.)6N pk9;7H.lF_7Z0$㕖 HE=g ןI5GA9Lon=eXT_7NҰhBpLmtP:%h><̰n3\SdǰR]rv6 uCϗҧӁ[&ݿg^};1<5 ]xR/Վ|H: 6rA<!etݟ"0hm9d!=rS),TGLJ'JK}]5R#'n}{eL,I01鿝]g$-8 6,@o & {(aƎRĊ6-G'`.hF6ݺ}ʇ(aG tJ6SmRp:x*=eB];&~0đ1$Fp # ʀ"h-o.J=AOi@(<:PԜL3ɠmQ(PA7AhR)m~\;f:Ɲ?J﯅ B 9:-e 3T@wp`\Kz" G(=СI2"+ā'Ҭ?[9|{$k3.:R|OӐR̵`yiiɅN E"@I 0Mz񃊮nWS 9F]\E}$t *פHKGGdsnLF*:{KAj>7UND P""Awfu(#4<tsoi~gUl9&1o i+UޜHːʂeffK=yUJFXQ$jlo \@D/cc:1y*J7 BJlnL[NtV1=}!W:M _Z't ;ܼ j@v4e C{+[Q^]Ja # 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 xhvk,G є$O9֥̱ ƣ-A ~BP eb L3lYբcD|`S}):ZFC 4R@\أj 6ͭ z<8>l`5[P{H@P]9B3HiֻHt39Jl ;ZIIP6G~ lF(D"ߜղ-T^ytm!6io-ؗ䐹ɉ_hG7M-0<+Kń~o8,) +֫y 1<{.ExqdӯXKJGP8oAI#vuGӊx~ɺ^BҬ[&F 6<m{pӄ'o[Gzo]Lj_h'aF|Tܟ1ahA$gYZ7zXZִF! q]ŗXiɟ1˦rnzx <@0+gM]PI1Xni<7{ P Vp88A%-ca>^c+TDIXO*7~ i{ñSRB[ 3}Wq8+Zg}{{?-/LavsW8>~ΘSܽNP:Ct'XA[fZݴc He͓YMddi/vi9QL+R*!b^ղ?*}'zQ aR?g?uCees. sLn]Dt0fԤ؞~WRcoC-u+dDKyZ? zH|)^3ʗڱـ<δ4O `a{6g8YS¡^-˟ bjE%frkͭ83!3y+Sp1gYZ7zXZִF! =iA]ŗXi%I n`)jΊ[}Ϧi&51^:{@゠"ZMI}UTal X [Ex1mL3[:3&TSA}On\VJor[Z?kXt,YYq &3aҿfY.[cⱑi}^˜ p9iYL2U6!'.I(͑5{Q8GwsQ7!p%cR:ILp u @JQҒl &g[ǝV" 䍊hI@N$|d kAZ׳f] l?ʮ&u7aO]"j*<*GqX'/7Qw[HЛN (dY7]9P2\g>kC?բL:y&Hեzd2_V x>[,;"";[^*Zv H_EYRټT0PdR1V~Eez|^'oJ/3d8zG]>`, ?UzE x)O'Y$u:B %wlo&wƙE*)/Bm|+Tz80$Ij#8ٜAb6nUTI/!Ϯ1 2: Opd~mx7[(@FJ/ *1cLw:*N#j/QVJOZ2@ME'w€?$VbuC_,Z x%=^T!+"+KmD^#J6?l%J4pckGP[lwx~HBYIZ'BkX˥c4;;yk`_5ۯ!pAb=MPb/lqm)J(}_kLTx$[pЍ{HGZQ 7s&]0pBo]-$(Ig ,hxW7E IY"iRF]ZbTh 3]Q< N.|vOr$;VZk>~5p8^ 1Y}c:a HJ(,wњ|]S l[=E`,EJ3'&~c`ؔvjdؿb> t %M)~a-,ׯ^Cn@|#+W)X^utàuG0:u҄|8`i-I =4Es?8O3H3:_]d&sg} 59X)׬O ~wQ"h&>n!P9M~%] 4wI~>'zU#܁CmmYdC.BIQ0T`aKJUUKN9e~.D %HV Xщ~05p,fWb%9p 4#nq+d')4l#>!^+$\LQ@_ ~2C;Y w#!bh̗Yss߃ FxLjOl; \ %0pYM 3 qsO$LL"쐐<-O{[\Iv-FahyW"<]Þ>/&b 95zJRxYcJ6=i 8%Ȣ6b=ܬq[ЙOרڒz!.X9z]qBW,KB tc[ bo2,7w)2 /)^t>-x8!+1Mm{s['eNz>Ui|ñJg.t8a2/! c !/w!Wx*@^w$"pc!ǹN,[^,V-n-nKY#c^"C?Ҋ{IQgvN>Qmܥh'>MU_\_cO76?0`PKN"0d6N{c%e=&/%)grPqMZ˩Yrl Yso_FEVWI>~s*l8K.]qU {>8g}z KR2 b;$izNq@V-" |-u?y0!אa9Y6rIL% "I>8P G: w*O7Ӕ4 ilmCB?]tۧļyyCaǓB-C#HGYJECx`BJdn%$vTnIU2`fRF;2x >(NUvQ:]j$s)}/¦YiVuXSrUoNGV._>X8qI[/kS[5+w[Ӟ]єwq:KT'_̎AsI@$'n__YA@=8t/ Wq>'4i)xPe|a++xvZ'ת,]#?%"lu15 u:.Ɋ"QU0)O%/=9tvT1B؋4 /aԆ՘=eF&0أ=0f3sf\DV1a(ß%鞿 jo̥sR5ws@g?PC=./e/ cآ!qL^J,wl' ʯmx[ܑ.BЫQCsRe/ j~Tφ&&rʏܟ':]r 柿uᧇ3TӵW8ߥ޹+ q/kX/ʀN/TVHD?P:V2[{n3sZoN6:p&:uw??AtЍ8Bο "c]ECXMs=sJb T0B^ .'ciu`|%^8O%/t49s&$PP0h9a 6Ysq+m"2\?|SJM;X[n|4u%aSȬ( u,/5fCopǽ̂RU&z ^X&{_u׼F4'ttn!G~>{"MZ{F{56K XCBb0 MZ̑QygN\_h~c[hIeM݋4GN`bj "_-[ _0?3$QYJݭ],Uw[>Ub}14Ygbլ%7Eفop|?83^F2KtlQ-fpQlRm3|3)GY'2>%glKT;x?Dt4gx'Gp(B7*)߯<³Ge81K߬Qgn!]F@׶`.ԧ5Μnwb%nm^I?zTN3uoOw3יVC iLﺩ}wnw2$==6Ic"vL)P^N)=yq"Ȗqo쵢Ӏ/QghVC}C˯1[6/GPvaAGb} H/MB7@*j7@3.QTUYntZ$w;sZ ңA[T2:~V.#~%_Ĺp]~~AY_Ջtr=po'8Ef:=WJ#JIAHYl‡m*ܓ,/}u}zĠ~D1!"A; Ғ^tɮ J>f{$Ro_fnonܧFC[fI0^*O-~'hH°z=`+G_M;=TV/U3=8ݡWpUƖP]{xn62ٌd€UlZ9v<ȬX՟tR>lɟc_/g| dP 2p8{dY=-[s%M꾽:M \ИDv7wqāvPaU!@-Z8&PBYljmArKiBnq PY9h Vk2r`ꁟVJBn)Zv<,O;Xa`ck[8|Ǹ%?x5H4XAqCфvY(iZ҈1grlB6?mdLy0F9Xyb>D0$,i7X:uլTV&>ιhI ]{ [p #wjz5 091 DY+Ê!t=S-n^ 1O;̑w>>+B51<,G`}M YhNݘ r\F0t@~D)- @D6 Ƌtj7^nٓ *T ˮ- PGFpR ٞCO;Vj؀]O-uW>7O evJطyԷ|%qc!b}״ڦ{n%'KT;_8]tys[p SPB*W>L(EÚ bb-I+MAKk\;JQ>ZB+pVcmyt&ڶg!y]ҖNw8`Ͷ.lC' T 32xl9-ю8%F'ZggaPH6c$}9*ĩZ9zeЊRRv7>+wFf5杣MCR<Zh8Mc/)yƢB?$An Av#oSFo>UnVLVv UE% njTk#~6ZsKBx<3VxC,gK9rKs…8pf!Ld S7*@]toU8O)Jަ$+)7]*Y.7hl'] SvZj"@;1K i,}nHǾUlѼfwXf+UVE9lGo]~`j_.h ?g5̊yS uh\JDǺH oTy^XtPa;NOecܙ,is )$ wog_Ep~KO8΍o?r vo3~S^[Kg}SCޢ-h/j}|T|RWNa)(f\|j *{$`Y@=Bb+Mgg-0t@ 3d-%짲R|cy+N,.u:ʆ,#Lb6 }0{wwy[:xEȿ|h[/=a |#44 fcZW54J5a9~R"O嶲c\ duz/H;(d2SKJB)/pL#8;!L+fuI+ yl]dDFelH oieZh>cA Et Jp\ ~63$U}O~mgjG=02WUI Yҡ@KJIn\Y-*&Eq(ji6&Vs6=G8G=(͈[Swnd#@ř1Or#SZ ?dZ=&o? 7bh71]gTaX4(eqqj}[>(TsGpx!ֱ#¿6fAdTH ,S釔%c$9wynRT=/ iﳱTW;.N,`ӕxz`O:%:LGj(X'sAI?YP'sԢ'ݝw94sNuMؗ~9H xCU~ʉ XN)3zR9--Bժ ܝj,R)D{ U(]3fks#;(`Ps(o6 wRY{9`f cks7& d8D7Z`W(c;~LR ʬwӕlp$5 |q<[ӛ` `<=hGp{ކq`7vd {W@}J:-kjr0TI|턢`[3BfĨk˘[UfB F{җmONti nVȹJ ~b[ļ mnef(}r/gx^}4abVTS(k1,u7f{1f93֖б(淋UKTn6բ/ *-܌+>%\|X: ;VW?IИCX)u \ "U j+ZKZ9X9Rzi; eT ]AVXsTFW*_yx4%QyW(w۸}m_D`IU K ª?Y $"Vt,q= 8_W &,wrU'ȝYd- Ib7ק󘛍ijH܌@B%+؟;`@MNX_JG`1L @|Vm KΌ*)+?ۈeԘ"FȕZ%Ν DA gtu-3dR0#(:LY/3-S`K2o !ƭKWޥθи)[#yKݵHbYב kAR SktIQlHJ{}*$M/Y Bha[p1aݿiIbfLgwh1+ '$:` -c%aE+-Jv3V?EYOmNHkNr t]uMPU-Vk&sƮ]ZL0Ug̚M J p_!;4@[RDPMWC2p#] HRKx'c0SZQ@~p)"V5"oֻwh\ b`ھȒ>߼bEåhuà4b%GCk%`y54d-x, L||i|GjK-f']FWHJ wBJ2J_C0zs-δ 5S<M(N룡q?t%@e*spSg72\(=ӎl6HE(~=׏^hsDCh~JGV[YNbvT0,cbLɚa]wץC-Ԁ3"+r|ɪH\6ᄍdB\&0"Y E.j,@saF]_ȵVӴ<#\-L(q/3OdR,v>F CC[GPF::|Kl=+H6'_Ŧ-5#?{Kb2) J HfL)?iSX.[pX? KK6[7Jg(䜲ҫ .~iv`N ʭkpK׏,]sPT;p3x~qL;$m+wJhv#&_$5 dc!Ɨ=F,E ˥쓑<3EM%El^ݟ`c\n;°kF}~ ,暒Ѧd*8; `Q (t^n@*<0+Ռ]`@XB9qc£I3{X4|dsER6QӖ)y"?]p`4u_ɮ=Vil4 !^mc,KKI00&jDip{='D֥I+pqCrN_eyP\>C;S/sܨ'D ?*PYS,N j1UEg%솳\;qCR;Iu:}`(1D؛T%CZG|MT,ֈ~-CXWҭFnt}[Ͷ-GH5 EP?jXg{1n?iu`˞i&d =>z\-h+/h7V_ uɍa0|<>{N֜UjmxdOY[ΛĦEBKy.&9 n-lJt[&p#F ,>"K^ ueGQYX ;}[z%d.fh-9vATA3s;_OO 3! -  􎯸к1>~be֡:jzkMan}Zff%=򳇷P'D ccXhrKcCVP4$;WlZMFKo{QO"C.8/FYy?~xsªm׸xGBΠs6y 'OGrV=o砺U3b4\Vn%|i` u#mqac]0^: %g7٭\򰠞*^ p*wpcS>;'~C~\f-5{c9;j @ds8&`gw3c3vi<_hV8|zŽ 1c%6 _a5j$R vZt_O#K=x#ap)n'Yfp&cUKლ×hz\xqJ֕~P3MRa빼\I(8WCƵ-vKaԻ3tƠiH|?Oa)XO_x9-MI 4~v_+s* :ez1:70"v1Sq4'qW[c-7qF d\Q:Jiu` lڤ5wÿ$8/t($oh8ǷΑ2gV/ՙd*;RFpmha%"] Z@7@(Ϝ3WU%mڢ?1 Li L{tG sM~H-d]!z=P1|Xݸ)roDp6B sU#{A4ou9֢T [#c߈lgw1ȚhS8٘*?x{*dZZj@yIԟ I 4Olx[mfuq^P reeZwzQ%{bVH)o\׹:NdOdC hΒx@v[eɐs+kP/ѫ0kuPFWnU ߳)鰙 &}S%KYD7_ @O(Had &#k?s#w+5nTY p)ZBE/o|Zױg0`#ғƬ9nhp?14Ri,c`SuY`{WU`f^fR;jҷ4vM۾x<ޗLq2^)!ƭ#ذ6%0B۬͸~==?&GY/A~FA']HmsX]*:T7Gh5c!k&bcNֈL9 V씿nxY[:'ňJ(A!{Uj5l5lD;y[ΤM졌л\8 oT8q[at%p9`:AXI!cu%eEB+ƘݙD)glL%_тU2H'Ya_/Gm$i HHEZKWlߎlOLQ MJt {f1ǫtY][nδqe`Y]CR${Ey#PәC:lczi\ݑ4JzW>ßQ'^t q kU06b7owL:uܲ1Ξzϲ8)0?c Ѓ)a6ig ~X 7m gӮG#W(; 2P6o8cF-IK.H.g|$.u<%YqaD@TaOބ)LCN(0T">7SCu=ckGEEO6v.ZV~԰je{(0Trm'AGQ+/{S9ɟo1ps48"G[(Uw&O8iĜ[ϤI$6H~]RԮ&x?1B $t&& / H߅ąSM >2ʫ._F h0,qv9=3<9gaI({^&VCSLBCWޖ$eGYM#͸{ܧ U ʿ kS!)y G{rgNv:qH;\+5p&ՉϧrjA YWUvY@3ތv]= )1Y@dKfQZDGoLVß}$[q2 񅶬mrKʕr$ט=昦'WDw'QE&Q6s :dids zs@(4eYN .PLeFA~>FXb2:[2Sc*Rlj\TJQSݿ߁;yQud@D^tt ۊU T'ՋyH { bՌdzYdrZh[h+xZpZÇ%@1EqijE WlqA3V_mF;;T㳌C-#Twa.)$q7T &&(㼁Οb#2R PX/SB)'jtM3]1kS?QY;{QeY"8$D5\~!f&!0!0'[r^w^`E:09^}N@͹+[w8+(,*DFi+By.PP(p7xijZT2FE!4Y0j^cs(('[B[k7Ԩo AZhA_+Z#d PpvŁa @ʕ>c폈@OJکc>G2Nz͡qEtpY\%c:uU LIVL}ӳùYFNgi5̡=KB@Wh*ZckOv,;]j2]+xT>,ī@n0`nCbRǻN4@<s uhErNuKI"~bslNռf?VZ\>VлyTN~Wj KOEQ\ƹO)x$;S(7,yJ.ڹ3MɹET6GJeoTġ/IÉeGI4E'z5Dj5Y@{ ; }˶ᩏH-~՜OL^rlꭈF>@eM D/&fz6YϔUrJYI%ᴭ~6.jѵ|R͜ _}"=kX5+xs!:xrfE~K:0KX(H)Oʰw0ܛP *2EUd"ɖRczOy$X>ſ 7w}~hgH .ّhCf)9{zF[i+EesCg`QzkdN~3C& w|FZ!Ql?DswYh9dYNٲ7>ZK$HIAjcfTG>#DQ)#bۺ[1zW$}Y^'0 JWM\g-|fGkc-n$w> J?iRc|iX=7٬A4Glj480$?f$:ߏ6\k9./T&̒)OU1긃h٦c7t='XjR@R4X/xTp$EifHGzÌ}̬00+#Gj5&}/Sg1I.}^emߵ_(L'\q$g>Pqn z5Z$nT蹕َ֜A`7e9EGl?F$)c2XRvPhaĉc `*mYr姀0W]CVv@>f)2J۳Z\^]mK;I ǁ@\M! p= 4cpVJ3qy&U>u(ͥnMR7&qJdOKu}CBi*1S{[5ĤF-n|7$kr+c#2[1BEmVf<ХpبK09dFjXBbO=[pQ{oyk(?ע. [W;P<+);bD/b`5)^C\9RU K^:vWg }:bwǢ ~F:APј3> IY_A貊]cy'rPP> sBWӘѧ% {Jý4Jn8("=ugcw_o}eg9}ë2{vDO^34"q>u߼r [+izNeHtWep5 ;^GQ+2!ly&AB;oeGg&sګ>3/W`t#@w_5TU{ل*'],e25B1 CaC0 m7("`f &Zv]w*8](btxi/dTՖEVb@(<ذnsw^%HE(U,HM3=ՕcQ9LrZaR9 -#g1WQlGSgơ9LS}+G9$73/O?fy*}+ʾU"nae[]`Ǿb6֐yDL,cc@Wj]ӻ`OR h$* Vħ{Oezy~)luݮ0/7=KX7QzT|^24)!I{ٸ]1YR9~dEZxFnZK5*4tR+ŻQV:[xHS@(qrVDW/sqWA)ȿ zo׫q'œ!> 4xe%#dvlT 2AO>Q>4 E ٕ})Aav:ϳHH~9^ Vt>/)R ㌕(^r1f'4 u ?ls3t6R^SX$jW4,b9F1f"ЛNŸx*mCjh*7s5mFdxg41ȂkoLe lG2Ӊu6]r)s X / QM"_SLA3Ҧ%lkG(Q@@V!gL@μyhcş9E&V8H`xюzq0+*~wI7ޞ8ڴʹ/(I fửo'3l$?_$jBB3eڣ6[X\mRјF {$noF%d܋;.B˹̘aHk'GyTHu+27TϬހJyOǤy'"neL.QIG7l|RQȵTes`^@<~}O ځSי v[rv Y6̣WL1N砍଑Ccm\ 'ۉ7¾y{ۿ,~;_Ʀ:_h@crS UC)*=WV,|Y^Vʝj=lPTgBױ!RV,4 v$wƗןX,w03Q{_Kjcuy皈3 " x- aGM&E6Q ;7b/(bBB!HܒJ6Q*7RRW:CB\IYIm|-Eyc4hd>B`#> /Udža(msY) E/߶=Q&X"dWSlԆm|ޛh,lSs -λ.Fw|)F.@{t+Sqf|ٿ:ҺFT*}̗:D S,l7l˖2=A3~VZZHjOWM2$=v5Z8@%Pn:&|q^p~9ɬ9n+7=|_ l[?hc?co}k[C2艹 07cWU[C0qp= Zۢ'Qů!#jJODk9zbPdwrt0ˋJaRBʓzF.>"f8r>+#.% hd ڍeDʼe6F9co,T_5?_h(=(D.պZpOyit@n˞xB27lԑ Ft榠J(p' /]_y5}$3hg@]a CCk"\1 \>30Q>' 6brpL$7<Л&Hعy7p!XU*KX=ʮ%f\$b0p!tEY2FUrʵxN!$eQV}x6:ђ!\tmhPT]@̳\c&y&dVv@~|b+1%-Q3W^pt ckʻ1q.G~8Wklf'~ YtiVa/[>ny YVnЩZe<ojG;lFђKIcd]+c@z_ެ (QLM1ywf ^)r{xjwW.(Ž!w9^w?.q&b=','5>(;he[ֶ5a',z†5PNzHͨg0 vg]GmaWͷ8DwCSx8 X:p3Hs$i=8))6ɱv #>+;)ق??2a*0_<ț%VCCn*KF5|f(&zfɋ11ԭM:2L|JȰ.ټRTE,/Ȭ5?HG?e_FP@k{GyٵcYj!u 6F^E|\[;ܟDv]x2{ZJs%۞ƚA5K[~ą)++"ri &"]&%`&;8Ashxxٞ|Gꉖma79e;̾ۉNBn /gQ+IVMq{?A<"Vӹ6eb "y}tޭյ:hHLACPH4 ԶRTy=jquQSŔU3Rqe,HCg!2S绂kϦ Z@kz&ϲUlzL˳kQK=ڳBg?|jMG^vN6G\|\P/baeżGJϔq̟T- a0r։l)n4^n¬/7/᩿"dlM{ٖ Տ4($aBe9Y9b埦3qtuVhP2H?Riv q/K MߙO%q62B1zF+ (㩥A%%pr)YuMk>z>ݎlq()&lJ\6vi=_. {V:r@|'s0XGG~njl:> /ԟ2!pCUqzRY_x0^ X2? zOe2RZ B)Ǩ 󛿺Wf_s`͠5b9j5\ hYPrpJ! GB#O1/\Yכ/F8a U0q Lwo MP$k(w_UqpyHv9x_38N* ⓪zrn?Z"7X!Y{7#0^.Ndx63e-_s:dYJ%ȮA֭(k n䑂O2aLĵŃ!Jʉ\^Ȫ9כ<Ӫ_||} KOuςxe[Џ"R\Z;`5L呷@@&$^ 9k\ ^w3^HWt_[X h/G'2, Ua>$ǧ2܈A~*w ,5T~ˆ9 @b+bPɉK WE# m)Zn:i]ef˸U2/x[NrSlSdDHAeYLbNk*yd6wEw R#QCx/PNe^r"@0W@6T(oܢ9}).1҃> 8kg^{?txqIekc`*Ô$5&6xkNS25}a%48X ?k{GsRY|T& &;1}zyb#7pm F!mҫ)m|^a3'r~x F>G8oO煈aW |?c]%o*k<`kP4{_^)Dgc%CPE+UsA22IJpol-.2V3v !xGRDM%K֕aYn;QR\f\7mHuTa~/0LM3"G¥ŰGMZ}Hyʕ 'D ItXܱQvwOd%j9$ded'gcL1[-2=twV5JBtf(5ލ폫 ^<^\}niֹӧM ) r{%n~$߭g !t@_MR|r_ȴ!.kT5۫%[7~KIuB# T)OU#:Pir/zү#tΰk[v҂G~HJSDKqȎ?5 *cwfZ* —zya[LN6YtxXןKin/oPx)Zsc2u ,Mzcq9mUU Jb#L4S砳=kD8Z0viIOI cjQ,*xқVCQUd6vṮt"zSFyo159j{^M˃cw#qt>tJQR,?N#@f;Gۿ퀙$[ckph!l | ;Kgv/aqHр#uUnI6$ԫ_LdS XФ2wXK Pi@vmQXD/ɞls~w4$\86=St&iԉfw ,/͉%)͟8"r:ۅl7~EzQ`Tl`ú@ˆ(>FDw:{T#Pv Ō" $J*f14͢hq<ۄ%+ʉ 7:@3SNe \pLb |񣏂tXOFktZ^ЮPԈF O*ܝC2[:Z`p2.? G3CvH^}r J*JV܀}F!5J.vt7% l+a2D/u0L2խd;̧ O;ȡ3?qqZ_v(rFqc^48WYb_?RV,woݕoZq}]to#ks",\hԑ0!kD7NK*Բ2kC[+\ҼW}YnzΕgJ8=BY6| 7@hUKK)k&I3u4cV/4 t!qI&9VU<=@16EG>f@#dŞ jTS)rdj0`qS\_JͭBLeVOhS[3֥]<`2\F$^XNm,I#n'+GJ&x:P/]?m/94>璼u9':mimySZfRz^혝B`;l~ T9}D[qvDQ6O8c>r[y3Pq>kuAȰ(^Mͺpc/PpNAE37 'j`ʹko*HWJ}MЬ=9j<aiD{VUC+vR;I{AFI[{`({ReX)(UQp"'ؕbyR;`Jc2}dO;{2*00qzׄ4{j=1hZT~ ٱ,.o >8Q!5,յUʿ0ֺz{=MtpAm݆=V$~_3ApF,Ms9ta _6~t 2mT S@\~դmR`[ ||6kdqH],q_sM e'؍Y{e|CaB'++>)']=NIk4LoS OK>h+NTݱ& Ȱ(}շ_H!#sLBlW!'#QT;X"V*.T]VYqnRڶ'ſM3"\| Ax&֣CxO PTb4SQh+:b̓0.9iLi YQQ-?! ˽LӄaVdc`~nBwBl%x Lyp)zNS#_e),/~GUׂg+sNVo2ͅ3ە9 arI)4vɂ}_A^R<>sA sX?mu|C/Hs&P0͘SgYZ6448ec7432f40d70bd70b8cf9c7a197f85c45e715a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 c768feaf5051971a9b6cf376a47d06930d9d3a97