SQLite format 3@ *- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 M7T w Refine_Imperative_HOL:threads=2elapsed=295.424cpu=472.684gc=17.008factor=1.607zXZִF! _MT]ŗXf1-q恈NucvAݪ4 c?[2C IfW/ |VrA㢈E6&L 8H;?k =Q3X J}ZܳܲЃl׈hF4HPS3'ƕo t{Ȟ17 n_}_PKuj ~^r(!**YoKd?%t aaOӒf,C@cJd~d~Ŝft>9M򨛬!*4nAϭ F=Oy`N: [^mgVEŨ 7 Refine_Imperative_HOL%7ʑ8<͔^z-X7|WN(dI&_qh*Ę7YprKitD.u󓰆P|/iFOO\W$uw^{o(ܬGÇ*6(2I T|~AnQ`jW2q wӒL`^Oii6?^YAGҸb(v:+IDctxX 6e5S/X~ ;u¸_'WgZbq Sy^Ru}k ,-2ͨ9l,iɲܬv˦Ltk\t/vB$W-!v}Nd=U˸8nZE&ѓ[}+Q!z*`WQٙYPn`rR]ui HV S)hV4b _a*h/7VPӁ7FՂ@0ͪmwo+\M Y/8G,s͋ # obNZF c]Sg9N]!O]v1i ËӐҬWn6EN?ãq.S*N==DGt-x^+0#rJ-7J{ @N3_c'h|Z®,y,w#=aeyW99pfz[TDudQ,rը UkLSh"_"D|7<̗Z`Gh۽M.cKPй90;3)IROHR_Egɴ u묇ϐ:zO#>[̳xNN[!|Ͼko41E,8]0UI[+|S@-&)er0:$hG#c"WHGefUjݷI#BC)S@-1gzSSń qWtOpC+~#Ɉ_3&*`;!S8ldaWω" OlCy,I@ef|ُU$S9J!^ݱ1ϕ Lq2O6Okc5sfh@3p/;mJ`sdl"4`z-_]flvV8ˎ~ai|uYs]!Wn'Nט)E1&$:I)  .{'7(GǶCzlc>|&p5 pC=|_yoi4hYJοq_}P.uck+r{?ŸH1lqNV2+&n)V'ZP:'=ٺ/E&MwYrӻhHy/Os[X aW&JS\)U>16(.1!R U[d//P;Ey@,GEX$g ME >{˲'[#Bl <+sm \bɅh$@h(8TN_'a([Yr^l*ѵq%!ZG@ WSW^ drBOǾOpo $Ft=A$ljCVY/@I4]!gV ҽ|\ܡy&<x#qflY:q6ms\ E!)K-sΛ] WEӿF3E>RG>Um%$0QXW'efኖ`fʂG0QOB#_7yP@|vP's*ﱊBxnV`O? TJ͸X.}p!_N 2ݲcKQM]W)qG:FPєg=ν7Ru|&pyT!lt Fٻ.@>gm^鿮yIG1imPay#q`RLĐ:'֟M$7 K\z#aVHck>adMSJV)׌݉g_#Jj,.2 G ^\Ч'yFgA<i^Q}wɉZ>͐pO+=lyw8SS ct0;@4+Y1,yY68'0F?Qwa}ҝs8 JƈGwUX H%n%/4+B:eg$ىWh8\6'MmT*;H3vjUh=(fMƜAe^UDu^T9}DcP;T[O3ڔo{@x(I<$mUs/G&3Eg-e; %F>0RG2KSg?U-/m#[>leB se:RPgoGaޯmu nsAٮq6?Lh|J}WhL*##+p0}w"߹힟%S7x5ooC—)oߩ#nqW~BaoWmrE)P2ZRp- IU;UaIaQ[Y%i)Ė"& ֚2ogP1cA*M*l!6ʋV* x k0+C@ӏP5 [K^8?Cq /N-w {~aؕz2Fm9g#@AFi)bNKӸvNf3uz3?ޤDߖ!vcUd7(ٺYwR;*鈖zh>2rS& VG-QҢDeL/SH̩izὯ14PI%]:n%AnCWxoUB0#$i.ҫvD<01+?#vw9Lkr{_0$} zvVxɯ x dd,>֊B,9{'-}U% Ԇv-aUxEj M0 Ɔ>EHyu v2M$O;uGi}fjQ>]yPfUMMq+_E Nj BޮbOV/u5L[>WYs:IaIek=d;`xFU/ Xn ]=s'Mt8 sf#]f|#^4=u"Ⓞd V0YViNqPrieH{i;۠q/_v5ꃃ% +~a堳*ENPٔ"aysTd>x=[#OD&DO)jy Z!׈2Ѓ/\(Yb\y'dG'&b1stJ t΃x|s4dbrqH&J܊Iz"qX Qv?XXeaW 1m B ֒أBǰg\vv` s2%T)]#?K:>poOz.x|,t։ZsМuhbkeKy:afS<~zȪ.X e[h;x)׻uE^Ċ: -IBGg;y?9[ڋ^) i / l%NZuw/@4Cst(p˟ ?N]W3!eAé{%QBU_fWf7JPoOś6B&4bѴ%I)f>I;EIY΋XQe%c^K@+"KnPJx])i{%XDێlBxi@-_>vaW``XeumD|0 ,z]hbml" AaU9 Cm#P;%0Z3LԅFqvwP`Zﰂ(GMfAtE䬮M88-dp)i?ǽqa`# oê"7VKg R<^Zi F $+n&+=):O5mτ(KYg Vu Rސ}G/nz~|xj.Oڠn!YDEwAP, tV Da:kJW] [ɁM\P#024~kxَ4a>LC67C-9?]~u?z1g؝3uIh+[ei]3w*RwVbHӁJfam^&0Skt_ ## %q6Eg'zzƓԔ \&%tu>z(S>th=[=!y,Cێm{͑Tor%OjۈA\fpuѬp2JXd:9ct[5)G~aW@e"-/.pY_:2BRõFpUOE{6*[9֭zr|\sV3PZvI|]Р:5dƔ.j6O,bu@yl=Jw [;(CP$}2"ѿ̰ĕPW GS.G ]ЪZ|:K$eTo0kOkxu1Q*lwէ*–̏-F*&wvS?A+Bor%+Xtmcs/pιt#AwV^nEg8iUM_|2U"!LhM$E_ R׫u3 ϰh4Fn {k}G!t|1SaiRYݟ&H!}˺ٝz?+K[8RyO AVw?pRxMFM%cJ"!k%ytHl*u&I\+Ĕ}sW/t aoBh3a/s$/cPN 8}y(#Aq,+02Y)CHQ^;8kv8A`kt!K%SI vd$630+v7mt00z,BG_P|K19 d![ЂqcpOUdNjt˻}Rd2~&Hu~JQPe >Sz`S"[QXĄ*H c:|1lT#b5: 5XL&ie-{}5NJk/n#\zw,-hSFbl .)CFKwm )v%ZCFܑ6 z:A"`I~~G$d}SE,E?nZy#Dm3xA<[ րyYe j[xdt*Ejk%7m~+X!{^ ')΀]q %zS~6eQ ٰc YU.;OO:U)\C'nZӇ_{td+³|OU:ԷEE Vkvj ՝m༈%D;8ڃ kpM,۞pz7(4@D@VGJ/F9I<*i#yLW}tJe-|QNhеS#FXq0:} G&nݒӃB{>c^n'je)]ns2:6.͊DE8q h'# h,eT,kԣ?W6B9{M>Fy4 [}rp[!&2Rtv` ӂ@ۀᬽx"x}12a%s!kѵxy~֚*,d}e `J,ߕp5X7{*Z7,C03ڍ>3 {̘"o ~s3: /vīDꋰ\pi_=7Y kz^(ꏸ% u>˅`B $FM t"3Yts:Uw4(},@13b;ZӣWcD5 p{HDI=tZ]o_|1@{EZ *k>&:(;â8G \n wf )ĺIJQF +BB3#މb4/ڹCt'G!-|9r=xحE4!2^FuyFA!~Nkk{S ǍSI^Ng3Z(D P<0pSкwRO"Jy*4JbgPfmwuiZٙW"9 oSMiΫuByP)G6zMec>! -D2KJBՖxm0=aT'N%%;v%ɛr`lf+h ds\;{CV.+ 7%'e{c(e"'zǓB>B4 ޼t8@=v>-sJX9:TT1$ I?( sco#}lh3`@Ia{˰RQyǥ2f '/Q#DqryᆇPU| @n'оGrd}X?9pj! zYhrݸR}VgD} ) tT}>(_+t {Ѽ7J6n2gPoGo UnOScwp|ΰ$Xh :w#-K\韓5B`&Stz5_6vauk$Dg! ~)¬`S$,E .DjƷ#hFPOd,M NumĶ;ՊӰԱ yl 6th.jxpͱ_"߆أӃegZV?eq%!(kpvV>q/ͷLJ[t[C hxM"eB͟w)7+?V(Nk, Aws[k5r/sɂ inڗkoKG3]ޚ _l$YC]"J&f$WP:x$.l,}=~a-.Vg T5u%?  Hrv/|3h'MDV6v O DK%?,=8ّ~&GP/>Uii܏6AsTvvt}(M&ҍy*2@ ]SI8/+exV,}zěc85|t)K"rXņYXKPɬ )RE9^^m"Nd2~p>%^*)ry\'5[7}f{wmjzwCXY+'3f<W7V+xW;*[K}8\1nGS%_  ]t&6 ,Io Sem80vTnWZ_Za U qH̕Ac+?Tlv^A=AB{]9cN&uY~Z]6!yEh:5waYTk'0"X^BovH}t ʋ-؛Re)-TYǛiN|'x܁sJ@QEEQ؀:DI:b|mT;cEdl +0/ fܼ[gfCZK4!02`4Z=`(UUTz/"SR(k_Ƽ;K63G ~Բߝrt:u5ߕx3S Be"!p_jɠ52R0iLO}CPރtqJX )}K<%c)dL; ժ?Q4QmK\,/cXLE +5VTuIL߷$A g-[]pzݠmEfmՈ+)=<&[$ u0]1psȄFLv'4Gצ4ṳsb`8^Q(kad^YԢmyh~iYҪK4]z7C^=z͎*^$v|Dmjy46` 7,Bl]I.m`f42 =|ETVn%2tU{oPlB@ȝZ&MpBA[_M;pΗYbe.\>&/$ Js6z7 h,,.pTaqang9+Ùcn̊ܙiBw|mC:xwN>~9US08 oV2G-?Aߎ>Op*F*ß+stOQǖ+\ԥ!N765eY 24za풋?v z4;5*ڏ!JpsH1Zp0pS̓Uy-#BGY FpqS6aÀJ0!i c[ $0r#t.i,TNTdVF ~g#z|l,)nYgBn筃U O˚ #9uﲡ?䎶 k[)+|9`%ƕ63*O@dPC)41IM_b VTCCd>غ}FZ[BݵzI]QνFF:YX8ykb2MWj>Ի^:}i7+RaGqJ#śaG}Kx q TsBa=qп~_/)]O5՟#^0h 7=tAEq\;#<ɨTgC~%ІNtIm.GЂ~ש+ҧ _BÎ2c$7H0}4L+ ̵ u\\2ڢE@:udJiOÌF(_$Gֵe^kbߛFHsP]7 "-|,l&6/ :W>}`c DilU !ք"JZDx, )ׯxbyx]*3X3%Ok}'0@8drT~T7=w<f#UmQ(qx콁m.s3ԑ^x߇ݢO y<*ftRnzWYZP7N )o!zF,ki`hxd w^צ55L)d2?z}ԜK]%Ըl{dn|+t 7crC[x Ù9YP#Uc@rb!d%-Qww+Dsx9*qHE@މm3GCw"h{'&Ay h!FDzP;{73"c9 c]䴼hw;X5Oy @rB9aQ#:KjH_ȑ%!G.͛v($ **J֯Zo9&¹9Hz Ͳ|[ƼzR4 Fy@'VFۀA\"A:*#@K/'%&qFqE;)[گ9mg wa v}SY)\~NԛG;+φfkiz+7Fbg%+SH E"xA7pk]=NV^aR[K@N( Õ}ll\{qoMS (\m;K/$ D 㭊<*î5.gfY1M`׎IpWϼsOs'2x/F/y@ګB0ش}C݁.dJA+"6Z9olLJaĒex1䳘&؎4GՓ*͵0J^$qQ}JՒkʈín s9 nG=pRgC$2|P9>Q.9xߏsM@a*z{|DE}Kx0̢QШ83~~L]QP `|8|'0|oY8C8YҺ[kq(㐧Ɛ[YŰSD9?)6'`@^ )[ v\w"ס8@n yp"jZcNњݧ8cN h\df.AY ՙQ<`=Zfpf=w]OV&ߛsAF"S f 'qWj` 4+s"oԽRRdJ KYh,Ӽ"~&0cB b.gTz:6A;_%؉/\& HW+|bZJ+Ԃ.=F߭5H^vV6R*o \.*ʴ>rҵ8q8mca*LG Lx%Ӷj7d_x#I'B %#ò.٪ďݦ캅,za;#!/6D& :f UVAL(QՓ*n]41Zl<͔H k?ԃ ^GF pIB~q-'` opEfK[~J9mL[Q-?xMU"Eh5R'Txbt@-WzE%RWyc"lbI*j/"XzqlM /,,Ԇ"uf{Kc45<$e|qUoUJIИ~&)|oYI'Ffs7&5^w:B1#Wאs$, RM;^x|zMTxC]Y_4P^z6bi'KysOݥ'Gݵڏ_Tz@vF߀ƔI =H5;A "<A)U֦̠[SYE?S)/ObݭtJMcDf"FJ[yXT IAh 8V=zYhɮ]F:?"Ü(Ejyb7| FmV p 2CwS @"A-ɿp7\4Ά=wXf(7{a7Rh I%=+;r7Fy1@t7/0%m֘8L6=4z1AFʾ^M>Sтj E ]e*{"q&]mXYRƖ*:G?+C XOM0!ƴ)3YJ(L@T#ojxemGjxzոҬ'y]jHz,5I&nHrDOk\w/x 6ҦL{_uiu:YX~t˪0TLidf|̤:* ~Ifug3 ("mX*]2Umƭn܊SS{H/Ǿ"}vZ/>;g#3S%6s4^kRŀ  y+nY^ZHCv!x܇ӬQ&]݀P+ RN͒ բ{GS%wu[U)k-'̐^o+kuUXSo(a`*Jn=AυUwc~'3'Ba(4ƪ2[ko4S3sW?ܔZYL0\>1NH;Rܗ}Q_ 4A:I⾜<^|4bfV >"qݥ [ooZnb܋&V N+LsIs0/bLlj.K)P eCәdRTNlbUk! ӌ'FZ^>OхAt;UoM9nQuM٪`,\ XI}8: -%7[ġGY]kWcsX+2刺;S/Ry#Dsu}32YlgU@ WPӓ6Vx"? ; ̓5g9U q d6\}e|( ZaK=]Ħơ _oޕ d;P#7D'3ֹҍHr۴%žiu>&MdefyKg&`Ѹ'=>*Bl3@y8]{'f&IJ #$M"yN"IY)+~LWϛssaŶ&P?vFsH[(I/<2roHܯ7at8L=}0f&%]ٚ#Xd#f hvպu `@y |W1XXj }?#|yᦜPgP5;xSf+uK)11%%:0Eq*Mk휭c:n[\OG\7RMqn2O&iʳiszԼƝYh1'a>#/4p)>p';hprdo9Zr&`:\ɻ %LOD0;Ip3"}N^_ gW Lfr/< 1gABsTeݬ8-F_\_K4яf'T>%C2]lQ}zgfv9@&Pië}_b MKz{Ml03bO}C;n"ȟarYoh b)& "1N^ݬ]T攃N.{{M$V <:^Gl{`f&eLu 0wj@n^7l,:%97!G[=vQd dhnӄh(ͺG 3v|[1ڵTwa{վ6BK`Y1vse15gD@塡O= sT΋ m{Й~~h\ǻ_}*@5eE\R2RvI/,>>$۬gXl͛-YB@ݮjVy!"2?WX56(i9!=DMy숐YI$:& Il"5p3~Ʊ&M#f]Z8>nawIMSdMֱkoSuW"Ji'IƂHn п%S&=PD}>dY-Mv6l Y dBtU|::m)pEQ<7dCWaZ[[d:$DG,hX! ̀ @CM[uhPRv::;y6ڣ,P@;&&jN/qda4glpCds\ x8aFB<5j+Y hNZp\fvyML, ^[[LV oK Ӱ u}Kb4 E(p `@[3-k -ρ^TT*&˘qXtzL! z,KQN_$eؓ\pڶ!Fr8~]۵WBf}q׎}OaĊA$ڠc^οӨm6gcb|B9Ġk5W:L`xob^/L Mzdb o53t}uFnQx>.2&r|JreJV_1Rlj7Z&Jϛ\ u%\Q-6ǖJv:򘛥LMh32؎Pϣ!7?S-_,%=D"육Rg`P.aXn eJQvTcUJf:48GMvJn>S֬u DDGcy"U^Jc*䕇9z̮q4HP-9jYy򊮲()~ b9z<{={h Pη`lUi*UHhfV*#ŵd+vBo+〃UQarSϥH=*T9GpbAT 6̏T&" p2ݸ㘼\wl:'MZyDQwq}"q%2fdU*Yi߮e\ 3g[ ѶS8Ҝγ)ه_7 ֝E+8!P Ԙ@.hwuBƟ$)J`$}|JZ~L|ROgE#Ozd!efcQH @ԋ q\Y"!P=|zc&c*sn!2 *бZE! W:D;e=pu }b^uCL[sӊ#1c?nD };7A.zRpOygX[cc]}Y%8nj"xM9-P6YƜQ+/Z ֖`'n fLrXVD˽q1uGj8:ÆMS)BqDsTוǡ T ʸ9e]rZ2ic}Z$aO;ut,Afx%8)-JxKgrg&~R<.x=}a⦓X5:zB cyfo 3*%yWOl]|O5VLSފI,'o9ًذ="kǘsVfcI줃e'D(9Po>Gxyv6] 2 >]qȻ{mhy{ VvEJ#'x:G|qHQGݳpM`j W/ӯaNiVJirľEÜjDkxpƖ=Dgm?]\rBL1? 06҃uh55g:kAUArjSjrp`J67 j /E5jZ%V-.ϗ CO]`0/MЄ䦁$xa{%yD b`<33S'v7&}WsōQ1X @6agMx+Rv$ʇggy`F)|xtG\5ɕϰT;ѿ#;†2k:u<@ r ]A)"=- *\dp x5 EӝT39q/;8)k͒ƒb|p²wM<>~kݴැrQN$:na\ 8!i?m+á&5ԶJ#V pH&yx["=bAOHbC*'3U j/Iʪ[L_2-d{JiUnsa)b^ nproMP3vs4+zL&fTNnK<>/M'N-h 7o|'@51vTpN7stɩeԯtm%XS<cPtf'S&o.o30n،?;}c2~\^1q<sQ~[ZF@%_ctcNj<:Naw$9$0&m4G @c T-ԁ=y^eZB n#ń"O9n؁q`A|“'!QpWRq6(fjT<>.U;qYگUm\{_"U.*p;EWh|_q>":fL6"zme$ߔ"+l0++#rJָ}~Y6m`OBNr ە 7X Meb2IO-/tPrtTξdӱgYZ7zXZִF! mM6]ŗXi%Bׂ~_e=rD\ 'xbsrq LY hʾCbhAVhW4RcJږ>5:ȵe#` UTsr:뻉}csN#z"&_!!$=M5!pz9C 5M"cmצk %xn6I*UVt>l>z;7mn+JVsΒ'#`h6ķ:b; X-Y+4C[5 9Kk×Ԇ2Wm!:Ƌ jjQH\}s0̩n9>A<;*2zF?O9%~ gE5Y!󟤓Ӫ*VU&o_`c\wpt>]ll7.L5j8 C2_X7]"KAe{ GM- dpD?~=nX,9XN.xl Bʡ8;6ŬUL`l V"1,$9ˤ3m@h0ݭ*-L(y!_)ʗhOHB ?s^n?'eќ-> *ϢVregF![xIPcө ƼjokNGTɏJ]jնQdۦO7\2<+nlW=dN-T׺TPapcE4jݶP9)#s`AÅN{wmE\y5gRBgaW^]jt-)5; d&UwN^@_oer0}}dJ- bjgLrSE{"dRVR11rꨑ)ASpHҝ(wⰈq?T_P}a6!B 6Tg}a Vu)xMi ɒ/ɶ$}sE$dY%q^X,8 _4th,7d;g#XAhNAo(د0[٬ W tLǯX<Ȍѻg{‡$;ġ؅6Qh1le7+C``bB{` 훓nׇRuڢ`:1"a7i^s&M -:+GJݞ) .Q+nԕ2FKx]&>mP zTL2#u1>g,Q\A} l-xrJW,T^AR,˛0Y9JV-qY2~~)I|֫E55s]L}Q;E aej1y,t`_/|۝;ā3 u޼Nk1rmz*`B79Bj٧p<m^G W V'c4?[$BQ)"EM|558LN5XU8ayGH]m_S:Or*+Y \-7EM̴?5G syǜ;̳ .n[`Rx4u74, Ǒsye۠J&P#ǖV*f?@i=4x=LQzcԆ_ *6x^3Y4F@Z}`竰( *Ҥ S[T!)Y =(ZPno`~5㜥 N_㻆aæp5l\pAzb%EޗTD]F 2禿YkN}Vje "k̤fVw r ($^ Zf:Sd/dc/.D𡊜;Tza;&Ν0%ҠooM o SŲ ^9GڂL"og^_י,d[ F̒`- x9Lb>߽KT`,>ߎî-HS'{5U̬pg}WugnmwїR#%( Pԗ@:7fG:?j}6x`2I0: Z7ͤQLJ8g6w3jW-sӟ^Ucm0J{"O=N~L(-R7v>?;>"c7[k+BY] dz; hU8W,5SUfLMavT4\e P.羰s'KZYS"D|Dk?6!o౿NJܽY g\q^m(j&u^MT/ _'!h곤?\I"w6iq݊2&.M4__9t?vole1=^UF (mQ__pUoc7p<cߜ pBr.XGvbXʰڨe\kV?xa Um9L\T#p*Q-L:)o'x4Sw EАLQ׫ɰ<5}l5`lv 3P'.ejKP`zogd5Us<]RJYwqH57aYLf~w=03bzfK35`'{Ca_l΍*H8mNu~1 89}689ʙh&eV!q-t14BKxm2LNW΢_laARJ͟t`=#FxDaQ ^vc]z!_Wāߜ:CH\y2Ihuu A)uB+9˸ml5TtPJ[hK*`ܜ-6{ Wۇh_U'¥J}rUٹDzu Ը-bO? VfnBI.U~a;>f- 65k]6$$` }ʒmA!(0(=:e TXQȔ`w, ےC8 pTA;E[AVL0ޭr!%EGuMH(pQ)/Q"YLbB U0qpy39ޒm˓/k J WpFBF|㩨a-V|W 9EjGNsw^"A Ybٕkr*K?J_Z=8;]pF'R#LY.c=H൤ˑ]NS1"9glP!5ڜm\ կ7!4~0:t|@,v8ヒ;Ծ n5w!319b,Dܘ]&hb7 dh g5!p/&u4I]e?+u[MNRES%p -xS#d1۳NiP6!0[B&|I_ښƒޅIq6f0Y]X=S4rc<;bގ-7i--kvV 6m<R[<11IveZBxdO{#`(| /kN1~Hl4tfKOBGF+L-c+HF)̠B[LsyjaH}-8%DGqvHO>8r/Ļ]B,/ǽR f#0Qg~nQ]::| Ve2Wg[*yZ?uM*r@ vb DZwnu\k; vt1lk,/[wj8` %U%tj "t NQwr}9<:~<+Lr;y[mȩ'2U$&=S5jӘ {Ұ3I(Z:!tT:Sv}!Z* C犦m=B=ki #ϵn*{hT tsf0Ja3?zpXHe蘂9:Ţ:h,vt:ȮO[dH ,"0}DCu{aibz$xe^(S8jUꞞv=d!^lǗj q!dިd!2)>it3 H-^5vU/3F}-2Htԭ=.;Mwjڴ֔:gaKFcӺ&YM3H1 @<1K75E([Ks6"}É_&ue+X|ObW ;z0ŋj0RIɄ?mUXNW8vpױQ+\wiPF|b'9A#Yrz+ԗW%H$IUoB Bk$,;`M3?P\TݲRx{e NI.3#.-f60S<ئ) >u`HqB`ET1RW_Ɂc4#NZ`V;#Uh5 ^HS -b';y%0Q11ߵ~AY>b/$}er`4G&&:7#,1 d4GOhM[>JHOaMhQ-HCw e <600"Jm2nGԟ9F{2T!Jndϖ.Ѡ1&S!b0#T lA@NB9B#_g"5S$3@,ՈPy|0q8AIbLw.A%8yR刖1*V9`ھB&{+{68fgpm0) ,lGȇYb|g9|IrHgPAwjInlׇ]Fă |xD fHBeDS)aZǎ=%1DjO6-uY{)f ;[+@롋LLrl{鬹ɋ9 mq"YMxԉ* ( e̠C2@ª0Ma怯?paEvZO:77[6bj K1JyG HM 5,.5K$B&3FLѵ.;*t yf8zf: le֜Ϊ58iZqʑFX0ɋq(S_z̓7L$fu'Mv#ףdu{ЧeRQ:`#m6䏆_S7$$򠧜Z;6.YTaiOɲCVc{FWDǻ'|H{vj\]!X 7?{i# ck3A6"?W>=?WDz·A4B55 Ck(aFhT$ӻ1|%%9$" Qj%YrwqLly~]ܚ?^Ũ%ltiKrK$"edKT&aMI H#`jֺ c͏SـS#u@y\pa?K] [h!NsjṈޝP>7LGZ9C'Ǩ'=Z1 eDW?* \5[# ЯV&l\q4cͤeP;ߟ3x@xn5Dߚ $C06j#EX T [ y=xzwAm1Fnסxo<[=TP~Sl/WVOρ|wjخ?ѯF&YN '9=|KNAnWӌq0`-pL7 .NYX木6.+ PĽCc6Ռ^ P!zu9V':utOw~Q& hs̪Pٶf5f> A:l_ mv GוpRq?ַLߦ"t0ɪ"ݸ~fWAڤՏܦrErгvKb{_!2V592SP_Z0j)3L p 0?! (D(h\=C\C훑'6\ۧ5(c! |Mj9ޗϷO9=xmɄ@QeYdppJKN:hcɶ)jEq% G#zm}?ڤszVVJ\% pYuW:t EX@aͿX7=,u5my"!j̗IM 45bw$ľ* XO) ^Nj3uh~xX%Ɩ;`XTW?<« bQZMrs>uws["w#XMc RKH!ɊMoY{O٫2K~ nJ'`?[* (u"YߞzT2,^S8p[xj68Ag4ps"@(Vs#"Rt\rU+P 'd!wH f>o ]k<Q?qF_` YMFaR+MP}IӦi 8ZmN=ՙ LŶ&+)i!tʤs&;Bp!d;^aKHnPUTmW˔ MT]sbJW}*]2†q+ԄA3 I]1x^mۭRlH8J9K\mSXE=D{AR z$)oPmw`.$d`B%p9r!1, -KNA ?rmbEXܲ__cpjïy4CȩoVw%G)Qq"ƒH>bF52iԽi- }cDummi ns@x}\yHG0 K-  ^ Im>W7kDHхAX|>nq9̊@`9QzyetaC-jz=D?:k2*fidFAf:˦9(E)~P<#D&E'%_]Qi#䏞L%HmWȜBl`# ՔDb1=_Z ,aA+-=໒A̰ Nί񔃳lq;~W9K>[D84 :,-{Sb|ky"_ɉ#} kS`nyzv9}\2t=]o);n±^prrEzW@x_$`j|g[@Եq[mP#Ty>\K` lZ_Vh؅L$C(.+^RwZNf<.Y![!||gp~b'A;`olC';")ߠc)ru;(ϟ{f7cZ*%Yo:=;P걯ET:u|GEȀ9=᳐j#FbՕ/^.\C~)G R$wwo%0s^aCQ9@lndu#-4--FZIKJG6Ih;Du`)v<34pmT(]{8BpSolsHT؉[^OG;\HE 6桀L1;'cq삭a**o YӢ?Nn [I#w]ecWKI8DŽA~Ͼ)O=i)%ńmPMD+(4N ҏ^Oel _[o ttNW(K6L3k$)OODꀽP!Wio<\63\=/:)6ΙVY 2jz|[hvbyj6T/΄C6`KZc Q3s ٷREM`:aQ:'uC[TYHOSG]A&n~ШIeGꎆȔBw$:vEV|;[k`@A1"sH:j# +&+6[QuS+3;?U("+%d"pZl&[uO!b!+w@RBvOISgx3y͛(5jcE|))շ(GV8 >h{. vY3}h ^V ;t:mlQtN$]1&Jxԛ RUə.j 0SU(cPy|w!=jr)6Cl7VY7U=N UDJG}e7}҄+XqB8 H 0(DМHjVE7+uU]FEN^:&2a`ܲi I7`YEF\z'Lt%Ė',DIn63}LNfxa~E!Q_pfrjM23jխ`΁͆;&-WA7mʌ'F[G$8/}NH>cS_Ew\<45*J#ohZdrC5 2B,q1ӎƬo.ij7=aJh¹cGGzx0^r&"E"zi3UlWŋ6= ʤ !/r56:  Pϼֻ#KYus%!NlO+)/nFT6 $̓firۋm* 𓅬 CY6{2TߥɆJ=;\!RSu'Z `⚱U3*8l!v5[ yta5S\ٸ Y+TUO!1(ѮE2<9[JNݰR=]T%!{Mp'^%1}ϰj1W d%EКx %O@E×^*ȈS$Jl v xbW Xk4[oبl鹆"DȝUdv[ نIf9LgoHϊ:|$m %_f6JOܽ\CsE:OpýqWa7dF0igZC tV[¸&. isҼO*sJ-;l܉HF}Z_xIO\hc~- PA./b!(oK6؛|AVbY],A&'+k'tM^͈'» ;K2mt[I`rqx?0Ktd#o=HPxKS׍fЋ*` O (,å'$zyci>QۀuTM"cZWuE\JйJe,5P ywOsO)It,FaJ*b[[0ЄHA"#5>]Ǥd(3өexC\*arVonqyϭBlGUWԶB2c9:T.nHA5/VdGgSRKwP\-}\5nK- r"sr{Gc0C{=?M~Ox?)NjGNt>4^U{ o˒|+Vc3W(3ٟQnI&s/97wRdI&C^N{6yzW&LQkPC? 2He7^k?P 5 Zm*g !!d&qx]E׽g[gTI5+:3cka9xяD"^1c"9(jEJvcU5@mFgYZ007e25c13a5f01ba39cfb418e6b0012e371a730a 024706a71555fa9fb5a39bb22e93a953eb5035eb 027ab968405af2954adc04c479a82ce3d8d4c6b5 029561494e8396f00fa014b9f3ed7f0938786af6 02be445d511e1ab7fc444bd86bc548f1b013df0f 0d418417c6938f88af4fe58c29f7a7499b68931e 0d624df132aa2e54b0(2fa619fa707a1b424b9830 0edafbafd7b9181f4751c74b64d1b3df1f07e71e 109e970b9da72388fd0e180ca24747819838297b 164d059de6aaa46037f14b5bb77085b3cf0a30d4 194ba2387f5467fbbcedfb7a29a6b2730b4836d8 1ac61e206231511d2078b73713ca387efb2a6c1e 1b09e946e17ad80928eb170ef071333aa0fe843e 21d34584523da3e0cf79191f3d96d64ece5ac31f 226dd8fab725a29f838333925644eef07fbe6e08 2324c5c2cb25c8ea4db4c740222c5d5ce989bfd4 2c84154247571ee3ef47275852cb10c68388ec97 2d9098a8bfe2ad7200e2b58c5e22375bc8ffcc3d 2deb08f056e6f9f40a36118e71ed0de36336290a 30a42207396cb36ea641cb923f1b6b0784292264 31bf0d2af57f222f2b0c68cf902dfa69a555f6ed 335a5026fe7119b17f9a569cae8aaf4a38ab3c94 34145a98cac84f3818385e1f8e188542b3dfcc97 342ea467094ded17ec190edc442dce66939c206f 36e49d8970eb99678cbf053e071ec12826490116 383dee4bb60284cc7229af5017def9c12378879e 3a6e54d3e77a926c60906c7592a770e05a0e4538 3aa5d3de44e9c801630993588f3813d2dab94e1e 3c7b0e23c47e07bf29efcf88eb6805050f6e145e 3d683a6ad47f71396847d283c40f64ab7ec12381 3f191c7ee2e376a50078b5509772599e430acb46 3f3c11d01ce3b)d1bb21f6e9137249729b17a5aee 43796130d8cd0cd161f8de09e77f6585ba9991ac 45c89bf9e3ddd60d47d257ef84d5917f20f57ab8 464744bab9c093b0def04cb8cedb7c2d20a6d54a 4a79f3f494925e05d136b731bfc5ea10b7cd5fd6 4bd59757d95a4dfd72fd9de5cb9ee71638997ae7 4c8eb93d53a0528012ed9c943d5bcd50cf45da01 5cde8a61adaff2cef75574ab3e31b4e583bbd197 5d0130ba138a3a96253643375edc397d7ae19051 634face1f0faf822902e217165999977b0677ff5 691f5feb8bd8809caeb2fc1dff0d83bec6be2e06 69e6bb350616db4606dc03b11a0cec905e08ecd6 6e1a34516eff152f895f6e8ab66c70401f8b979f 7952a528f79844a225ac24cc8024aaa843831ff4 7c6f2adfadc2c929bf4de7b995d68627f1b79c08 7c8d4c24b8246d708d8f415bb53cc4f1d24acf37 7ce9d7c0eb08e82448438d093c4431b972d0b15a 7f38340f217c798b901fd47a834ab1e652ada9d6 804ce524f0a18f27101e8860fbaa1f746957740f 804d47b82275aaa55327cd382082596a959e736d 82951baf8955a0510a3a96de0b159aa746fb9f9c 82ab4aee824d7ba393e8629dcbbdca3a9a13292b 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 8927e725bc15892f4b8a9e116fd175bfed37f036 892cb2220b976cfa1654f7b2a2a0cb3fed986aec 89359d81*bda75bfcc81efd6794e876fa773c56d7 902280d9d6f711e37319424e139be785cbdef5b0 9085939da869b5eeebd9f4c0c8998acbd66d7bbc 927556a13ebb9704212b843ffbc6b1b193af394a 955cfad40026a8aa09db64af568c770a446dec93 973d6bd96dc9037f8676681fb869d6ae83013aac 99593a587df753a2c1f1ce1025862ce68e0f42ca 9b81a3de17babf97bbeb151419352fdf6cc0465b a15b8ea18f0555392c465dd15fe9626b23d92007 a453f28c4230eaf633e507df3dde57c94254ef10 a5d4e16522a6ae1affacb76907cf439ac344b0da ab10a7c66620fa0613d71a1d0b53ccd5c3dd76b4 ad0366ab2d7b118cb1348702c2b8808f3f001b2a af1dd4ddde08a3f8dbf4ff29eb9cff3ca56da81f b15bbbfca6a9ad1ee5b9127dddbe421c3e55cbd0 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b406dd4d5ea022f6003252a41a0c0d5bc1a473a7 b519820af4a81ae9b0043eaed32df5213882edff b738bc2e69461876eacd6ed14a2442ba43e139da b82105b69285b55fedc5a0c564bf4dd28a59664e baf4cda10eb48c36ad9644ffe500b3154263a379 c2b1f0fe521a9bfbede2c5e31b0e5e55238dac78 c51124a3102cea383882e0c00fea396efa74ed4e c615f7fbf6cc188e318b9bdd2eca85783293b57a c962a007d365575daae403259e9816e4ad7f9fa8 cfcbeb36e9e4f8f8b9074691439a1f93096cd4e6 d3825ead27cff25f47b32dfaeca2e70b79b9971d d7050ec908b2e5cd7cc5394443726a326091beab d92d829380d2e0e829fa9bf2809aaee553d9d11d d9b931e4316c9d84b0972e8ae0d09543c763535d db58efe7b3fb65f737b08287e8629eafbc8e95d5 e484526b6ace92c89f3d604e8cd879085c1d0f0a e507e6c8812247acfd8b2d808a519faba377b9a0 ed7887a8b582757b25aaa953fa0ecedfec68e5cf eed9576649a02392213eeda4d73c6ed7e6fc1fe3 effd4f018a3c9e69bcaaa692dc705ab6f8469073 f1245548e3b8b742cfa859a3f6c8460711a7db43 f4c95670f927fe8b0308eed0a030d0236bec5ace f61a368d419fa0c1b5f5e198f586775ffb1e074b f62ce3c9c09400161f2c9665c0100dda3765473a f7134e525678f489e17f744dfb1eedbe48a463c4 f9cc16420ffaadecddbf751caae2513bdfd018e1 fa2b346c0c657106df1d7b85f0110a748f993951 fd2b02dded527fdedfb330e24b0df02361aff2bbd7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 795c1bd37c9a10c78036956c13014edf15a60b39 ebcccb4ce8d9fa24447b254aebab539c14428239 3b834a811160f26c9950bbdf5d1edd0a5921b522 2e63fe2154807eab9fcf9d6155f724410475197b