").append(b.parseHTML(e)).find(i):e)}).complete(r&&function(e,t){s.each(r,o||[e.responseText,t,e])}),this},b.each(["ajaxStart","ajaxStop","ajaxComplete","ajaxError","ajaxSuccess","ajaxSend"],function(e,t){b.fn[t]=function(e){return this.on(t,e)}}),b.each(["get","post"],function(e,n){b[n]=function(e,r,i,o){return b.isFunction(r)&&(o=o||i,i=r,r=t),b.ajax({url:e,type:n,dataType:o,data:r,success:i})}}),b.extend({active:0,lastModified:{},etag:{},ajaxSettings:{url:yn,type:"GET",isLocal:Nn.test(mn[1]),global:!0,processData:!0,async:!0,contentType:"application/x-www-form-urlencoded; charset=UTF-8",accepts:{"*":Dn,text:"text/plain",html:"text/html",xml:"application/xml, text/xml",json:"application/json, text/javascript"},contents:{xml:/xml/,html:/html/,json:/json/},responseFields:{xml:"responseXML",text:"responseText"},converters:{"* text":e.String,"text html":!0,"text json":b.parseJSON,"text xml":b.parseXML},flatOptions:{url:!0,context:!0}},ajaxSetup:function(e,t){return t?Mn(Mn(e,b.ajaxSettings),t):Mn(b.ajaxSettings,e)},ajaxPrefilter:Hn(An),ajaxTransport:Hn(jn),ajax:function(e,n){"object"==typeof e&&(n=e,e=t),n=n||{};var r,i,o,a,s,u,l,c,p=b.ajaxSetup({},n),f=p.context||p,d=p.context&&(f.nodeType||f.jquery)?b(f):b.event,h=b.Deferred(),g=b.Callbacks("once memory"),m=p.statusCode||{},y={},v={},x=0,T="canceled",N={readyState:0,getResponseHeader:function(e){var t;if(2===x){if(!c){c={};while(t=Tn.exec(a))c[t[1].toLowerCase()]=t[2]}t=c[e.toLowerCase()]}return null==t?null:t},getAllResponseHeaders:function(){return 2===x?a:null},setRequestHeader:function(e,t){var n=e.toLowerCase();return x||(e=v[n]=v[n]||e,y[e]=t),this},overrideMimeType:function(e){return x||(p.mimeType=e),this},statusCode:function(e){var t;if(e)if(2>x)for(t in e)m[t]=[m[t],e[t]];else N.always(e[N.status]);return this},abort:function(e){var t=e||T;return l&&l.abort(t),k(0,t),this}};if(h.promise(N).complete=g.add,N.success=N.done,N.error=N.fail,p.url=((e||p.url||yn)+"").replace(xn,"").replace(kn,mn[1]+"//"),p.type=n.method||n.type||p.method||p.type,p.dataTypes=b.trim(p.dataType||"*").toLowerCase().match(w)||[""],null==p.crossDomain&&(r=En.exec(p.url.toLowerCase()),p.crossDomain=!(!r||r[1]===mn[1]&&r[2]===mn[2]&&(r[3]||("http:"===r[1]?80:443))==(mn[3]||("http:"===mn[1]?80:443)))),p.data&&p.processData&&"string"!=typeof p.data&&(p.data=b.param(p.data,p.traditional)),qn(An,p,n,N),2===x)return N;u=p.global,u&&0===b.active++&&b.event.trigger("ajaxStart"),p.type=p.type.toUpperCase(),p.hasContent=!Cn.test(p.type),o=p.url,p.hasContent||(p.data&&(o=p.url+=(bn.test(o)?"&":"?")+p.data,delete p.data),p.cache===!1&&(p.url=wn.test(o)?o.replace(wn,"$1_="+vn++):o+(bn.test(o)?"&":"?")+"_="+vn++)),p.ifModified&&(b.lastModified[o]&&N.setRequestHeader("If-Modified-Since",b.lastModified[o]),b.etag[o]&&N.setRequestHeader("If-None-Match",b.etag[o])),(p.data&&p.hasContent&&p.contentType!==!1||n.contentType)&&N.setRequestHeader("Content-Type",p.contentType),N.setRequestHeader("Accept",p.dataTypes[0]&&p.accepts[p.dataTypes[0]]?p.accepts[p.dataTypes[0]]+("*"!==p.dataTypes[0]?", "+Dn+"; q=0.01":""):p.accepts["*"]);for(i in p.headers)N.setRequestHeader(i,p.headers[i]);if(p.beforeSend&&(p.beforeSend.call(f,N,p)===!1||2===x))return N.abort();T="abort";for(i in{success:1,error:1,complete:1})N[i](p[i]);if(l=qn(jn,p,n,N)){N.readyState=1,u&&d.trigger("ajaxSend",[N,p]),p.async&&p.timeout>0&&(s=setTimeout(function(){N.abort("timeout")},p.timeout));try{x=1,l.send(y,k)}catch(C){if(!(2>x))throw C;k(-1,C)}}else k(-1,"No Transport");function k(e,n,r,i){var c,y,v,w,T,C=n;2!==x&&(x=2,s&&clearTimeout(s),l=t,a=i||"",N.readyState=e>0?4:0,r&&(w=_n(p,N,r)),e>=200&&300>e||304===e?(p.ifModified&&(T=N.getResponseHeader("Last-Modified"),T&&(b.lastModified[o]=T),T=N.getResponseHeader("etag"),T&&(b.etag[o]=T)),204===e?(c=!0,C="nocontent"):304===e?(c=!0,C="notmodified"):(c=Fn(p,w),C=c.state,y=c.data,v=c.error,c=!v)):(v=C,(e||!C)&&(C="error",0>e&&(e=0))),N.status=e,N.statusText=(n||C)+"",c?h.resolveWith(f,[y,C,N]):h.rejectWith(f,[N,C,v]),N.statusCode(m),m=t,u&&d.trigger(c?"ajaxSuccess":"ajaxError",[N,p,c?y:v]),g.fireWith(f,[N,C]),u&&(d.trigger("ajaxComplete",[N,p]),--b.active||b.event.trigger("ajaxStop")))}return N},getScript:function(e,n){return b.get(e,t,n,"script")},getJSON:function(e,t,n){return b.get(e,t,n,"json")}});function _n(e,n,r){var i,o,a,s,u=e.contents,l=e.dataTypes,c=e.responseFields;for(s in c)s in r&&(n[c[s]]=r[s]);while("*"===l[0])l.shift(),o===t&&(o=e.mimeType||n.getResponseHeader("Content-Type"));if(o)for(s in u)if(u[s]&&u[s].test(o)){l.unshift(s);break}if(l[0]in r)a=l[0];else{for(s in r){if(!l[0]||e.converters[s+" "+l[0]]){a=s;break}i||(i=s)}a=a||i}return a?(a!==l[0]&&l.unshift(a),r[a]):t}function Fn(e,t){var n,r,i,o,a={},s=0,u=e.dataTypes.slice(),l=u[0];if(e.dataFilter&&(t=e.dataFilter(t,e.dataType)),u[1])for(i in e.converters)a[i.toLowerCase()]=e.converters[i];for(;r=u[++s];)if("*"!==r){if("*"!==l&&l!==r){if(i=a[l+" "+r]||a["* "+r],!i)for(n in a)if(o=n.split(" "),o[1]===r&&(i=a[l+" "+o[0]]||a["* "+o[0]])){i===!0?i=a[n]:a[n]!==!0&&(r=o[0],u.splice(s--,0,r));break}if(i!==!0)if(i&&e["throws"])t=i(t);else try{t=i(t)}catch(c){return{state:"parsererror",error:i?c:"No conversion from "+l+" to "+r}}}l=r}return{state:"success",data:t}}b.ajaxSetup({accepts:{script:"text/javascript, application/javascript, application/ecmascript, application/x-ecmascript"},contents:{script:/(?:java|ecma)script/},converters:{"text script":function(e){return b.globalEval(e),e}}}),b.ajaxPrefilter("script",function(e){e.cache===t&&(e.cache=!1),e.crossDomain&&(e.type="GET",e.global=!1)}),b.ajaxTransport("script",function(e){if(e.crossDomain){var n,r=o.head||b("head")[0]||o.documentElement;return{send:function(t,i){n=o.createElement("script"),n.async=!0,e.scriptCharset&&(n.charset=e.scriptCharset),n.src=e.url,n.onload=n.onreadystatechange=function(e,t){(t||!n.readyState||/loaded|complete/.test(n.readyState))&&(n.onload=n.onreadystatechange=null,n.parentNode&&n.parentNode.removeChild(n),n=null,t||i(200,"success"))},r.insertBefore(n,r.firstChild)},abort:function(){n&&n.onload(t,!0)}}}});var On=[],Bn=/(=)\?(?=&|$)|\?\?/;b.ajaxSetup({jsonp:"callback",jsonpCallback:function(){var e=On.pop()||b.expando+"_"+vn++;return this[e]=!0,e}}),b.ajaxPrefilter("json jsonp",function(n,r,i){var o,a,s,u=n.jsonp!==!1&&(Bn.test(n.url)?"url":"string"==typeof n.data&&!(n.contentType||"").indexOf("application/x-www-form-urlencoded")&&Bn.test(n.data)&&"data");return u||"jsonp"===n.dataTypes[0]?(o=n.jsonpCallback=b.isFunction(n.jsonpCallback)?n.jsonpCallback():n.jsonpCallback,u?n[u]=n[u].replace(Bn,"$1"+o):n.jsonp!==!1&&(n.url+=(bn.test(n.url)?"&":"?")+n.jsonp+"="+o),n.converters["script json"]=function(){return s||b.error(o+" was not called"),s[0]},n.dataTypes[0]="json",a=e[o],e[o]=function(){s=arguments},i.always(function(){e[o]=a,n[o]&&(n.jsonpCallback=r.jsonpCallback,On.push(o)),s&&b.isFunction(a)&&a(s[0]),s=a=t}),"script"):t});var Pn,Rn,Wn=0,$n=e.ActiveXObject&&function(){var e;for(e in Pn)Pn[e](t,!0)};function In(){try{return new e.XMLHttpRequest}catch(t){}}function zn(){try{return new e.ActiveXObject("Microsoft.XMLHTTP")}catch(t){}}b.ajaxSettings.xhr=e.ActiveXObject?function(){return!this.isLocal&&In()||zn()}:In,Rn=b.ajaxSettings.xhr(),b.support.cors=!!Rn&&"withCredentials"in Rn,Rn=b.support.ajax=!!Rn,Rn&&b.ajaxTransport(function(n){if(!n.crossDomain||b.support.cors){var r;return{send:function(i,o){var a,s,u=n.xhr();if(n.username?u.open(n.type,n.url,n.async,n.username,n.password):u.open(n.type,n.url,n.async),n.xhrFields)for(s in n.xhrFields)u[s]=n.xhrFields[s];n.mimeType&&u.overrideMimeType&&u.overrideMimeType(n.mimeType),n.crossDomain||i["X-Requested-With"]||(i["X-Requested-With"]="XMLHttpRequest");try{for(s in i)u.setRequestHeader(s,i[s])}catch(l){}u.send(n.hasContent&&n.data||null),r=function(e,i){var s,l,c,p;try{if(r&&(i||4===u.readyState))if(r=t,a&&(u.onreadystatechange=b.noop,$n&&delete Pn[a]),i)4!==u.readyState&&u.abort();else{p={},s=u.status,l=u.getAllResponseHeaders(),"string"==typeof u.responseText&&(p.text=u.responseText);try{c=u.statusText}catch(f){c=""}s||!n.isLocal||n.crossDomain?1223===s&&(s=204):s=p.text?200:404}}catch(d){i||o(-1,d)}p&&o(s,c,p,l)},n.async?4===u.readyState?setTimeout(r):(a=++Wn,$n&&(Pn||(Pn={},b(e).unload($n)),Pn[a]=r),u.onreadystatechange=r):r()},abort:function(){r&&r(t,!0)}}}});var Xn,Un,Vn=/^(?:toggle|show|hide)$/,Yn=RegExp("^(?:([+-])=|)("+x+")([a-z%]*)$","i"),Jn=/queueHooks$/,Gn=[nr],Qn={"*":[function(e,t){var n,r,i=this.createTween(e,t),o=Yn.exec(t),a=i.cur(),s=+a||0,u=1,l=20;if(o){if(n=+o[2],r=o[3]||(b.cssNumber[e]?"":"px"),"px"!==r&&s){s=b.css(i.elem,e,!0)||n||1;do u=u||".5",s/=u,b.style(i.elem,e,s+r);while(u!==(u=i.cur()/a)&&1!==u&&--l)}i.unit=r,i.start=s,i.end=o[1]?s+(o[1]+1)*n:n}return i}]};function Kn(){return setTimeout(function(){Xn=t}),Xn=b.now()}function Zn(e,t){b.each(t,function(t,n){var r=(Qn[t]||[]).concat(Qn["*"]),i=0,o=r.length;for(;o>i;i++)if(r[i].call(e,t,n))return})}function er(e,t,n){var r,i,o=0,a=Gn.length,s=b.Deferred().always(function(){delete u.elem}),u=function(){if(i)return!1;var t=Xn||Kn(),n=Math.max(0,l.startTime+l.duration-t),r=n/l.duration||0,o=1-r,a=0,u=l.tweens.length;for(;u>a;a++)l.tweens[a].run(o);return s.notifyWith(e,[l,o,n]),1>o&&u?n:(s.resolveWith(e,[l]),!1)},l=s.promise({elem:e,props:b.extend({},t),opts:b.extend(!0,{specialEasing:{}},n),originalProperties:t,originalOptions:n,startTime:Xn||Kn(),duration:n.duration,tweens:[],createTween:function(t,n){var r=b.Tween(e,l.opts,t,n,l.opts.specialEasing[t]||l.opts.easing);return l.tweens.push(r),r},stop:function(t){var n=0,r=t?l.tweens.length:0;if(i)return this;for(i=!0;r>n;n++)l.tweens[n].run(1);return t?s.resolveWith(e,[l,t]):s.rejectWith(e,[l,t]),this}}),c=l.props;for(tr(c,l.opts.specialEasing);a>o;o++)if(r=Gn[o].call(l,e,c,l.opts))return r;return Zn(l,c),b.isFunction(l.opts.start)&&l.opts.start.call(e,l),b.fx.timer(b.extend(u,{elem:e,anim:l,queue:l.opts.queue})),l.progress(l.opts.progress).done(l.opts.done,l.opts.complete).fail(l.opts.fail).always(l.opts.always)}function tr(e,t){var n,r,i,o,a;for(i in e)if(r=b.camelCase(i),o=t[r],n=e[i],b.isArray(n)&&(o=n[1],n=e[i]=n[0]),i!==r&&(e[r]=n,delete e[i]),a=b.cssHooks[r],a&&"expand"in a){n=a.expand(n),delete e[r];for(i in n)i in e||(e[i]=n[i],t[i]=o)}else t[r]=o}b.Animation=b.extend(er,{tweener:function(e,t){b.isFunction(e)?(t=e,e=["*"]):e=e.split(" ");var n,r=0,i=e.length;for(;i>r;r++)n=e[r],Qn[n]=Qn[n]||[],Qn[n].unshift(t)},prefilter:function(e,t){t?Gn.unshift(e):Gn.push(e)}});function nr(e,t,n){var r,i,o,a,s,u,l,c,p,f=this,d=e.style,h={},g=[],m=e.nodeType&&nn(e);n.queue||(c=b._queueHooks(e,"fx"),null==c.unqueued&&(c.unqueued=0,p=c.empty.fire,c.empty.fire=function(){c.unqueued||p()}),c.unqueued++,f.always(function(){f.always(function(){c.unqueued--,b.queue(e,"fx").length||c.empty.fire()})})),1===e.nodeType&&("height"in t||"width"in t)&&(n.overflow=[d.overflow,d.overflowX,d.overflowY],"inline"===b.css(e,"display")&&"none"===b.css(e,"float")&&(b.support.inlineBlockNeedsLayout&&"inline"!==un(e.nodeName)?d.zoom=1:d.display="inline-block")),n.overflow&&(d.overflow="hidden",b.support.shrinkWrapBlocks||f.always(function(){d.overflow=n.overflow[0],d.overflowX=n.overflow[1],d.overflowY=n.overflow[2]}));for(i in t)if(a=t[i],Vn.exec(a)){if(delete t[i],u=u||"toggle"===a,a===(m?"hide":"show"))continue;g.push(i)}if(o=g.length){s=b._data(e,"fxshow")||b._data(e,"fxshow",{}),"hidden"in s&&(m=s.hidden),u&&(s.hidden=!m),m?b(e).show():f.done(function(){b(e).hide()}),f.done(function(){var t;b._removeData(e,"fxshow");for(t in h)b.style(e,t,h[t])});for(i=0;o>i;i++)r=g[i],l=f.createTween(r,m?s[r]:0),h[r]=s[r]||b.style(e,r),r in s||(s[r]=l.start,m&&(l.end=l.start,l.start="width"===r||"height"===r?1:0))}}function rr(e,t,n,r,i){return new rr.prototype.init(e,t,n,r,i)}b.Tween=rr,rr.prototype={constructor:rr,init:function(e,t,n,r,i,o){this.elem=e,this.prop=n,this.easing=i||"swing",this.options=t,this.start=this.now=this.cur(),this.end=r,this.unit=o||(b.cssNumber[n]?"":"px")},cur:function(){var e=rr.propHooks[this.prop];return e&&e.get?e.get(this):rr.propHooks._default.get(this)},run:function(e){var t,n=rr.propHooks[this.prop];return this.pos=t=this.options.duration?b.easing[this.easing](e,this.options.duration*e,0,1,this.options.duration):e,this.now=(this.end-this.start)*t+this.start,this.options.step&&this.options.step.call(this.elem,this.now,this),n&&n.set?n.set(this):rr.propHooks._default.set(this),this}},rr.prototype.init.prototype=rr.prototype,rr.propHooks={_default:{get:function(e){var t;return null==e.elem[e.prop]||e.elem.style&&null!=e.elem.style[e.prop]?(t=b.css(e.elem,e.prop,""),t&&"auto"!==t?t:0):e.elem[e.prop]},set:function(e){b.fx.step[e.prop]?b.fx.step[e.prop](e):e.elem.style&&(null!=e.elem.style[b.cssProps[e.prop]]||b.cssHooks[e.prop])?b.style(e.elem,e.prop,e.now+e.unit):e.elem[e.prop]=e.now}}},rr.propHooks.scrollTop=rr.propHooks.scrollLeft={set:function(e){e.elem.nodeType&&e.elem.parentNode&&(e.elem[e.prop]=e.now)}},b.each(["toggle","show","hide"],function(e,t){var n=b.fn[t];b.fn[t]=function(e,r,i){return null==e||"boolean"==typeof e?n.apply(this,arguments):this.animate(ir(t,!0),e,r,i)}}),b.fn.extend({fadeTo:function(e,t,n,r){return this.filter(nn).css("opacity",0).show().end().animate({opacity:t},e,n,r)},animate:function(e,t,n,r){var i=b.isEmptyObject(e),o=b.speed(t,n,r),a=function(){var t=er(this,b.extend({},e),o);a.finish=function(){t.stop(!0)},(i||b._data(this,"finish"))&&t.stop(!0)};return a.finish=a,i||o.queue===!1?this.each(a):this.queue(o.queue,a)},stop:function(e,n,r){var i=function(e){var t=e.stop;delete e.stop,t(r)};return"string"!=typeof e&&(r=n,n=e,e=t),n&&e!==!1&&this.queue(e||"fx",[]),this.each(function(){var t=!0,n=null!=e&&e+"queueHooks",o=b.timers,a=b._data(this);if(n)a[n]&&a[n].stop&&i(a[n]);else for(n in a)a[n]&&a[n].stop&&Jn.test(n)&&i(a[n]);for(n=o.length;n--;)o[n].elem!==this||null!=e&&o[n].queue!==e||(o[n].anim.stop(r),t=!1,o.splice(n,1));(t||!r)&&b.dequeue(this,e)})},finish:function(e){return e!==!1&&(e=e||"fx"),this.each(function(){var t,n=b._data(this),r=n[e+"queue"],i=n[e+"queueHooks"],o=b.timers,a=r?r.length:0;for(n.finish=!0,b.queue(this,e,[]),i&&i.cur&&i.cur.finish&&i.cur.finish.call(this),t=o.length;t--;)o[t].elem===this&&o[t].queue===e&&(o[t].anim.stop(!0),o.splice(t,1));for(t=0;a>t;t++)r[t]&&r[t].finish&&r[t].finish.call(this);delete n.finish})}});function ir(e,t){var n,r={height:e},i=0;for(t=t?1:0;4>i;i+=2-t)n=Zt[i],r["margin"+n]=r["padding"+n]=e;return t&&(r.opacity=r.width=e),r}b.each({slideDown:ir("show"),slideUp:ir("hide"),slideToggle:ir("toggle"),fadeIn:{opacity:"show"},fadeOut:{opacity:"hide"},fadeToggle:{opacity:"toggle"}},function(e,t){b.fn[e]=function(e,n,r){return this.animate(t,e,n,r)}}),b.speed=function(e,t,n){var r=e&&"object"==typeof e?b.extend({},e):{complete:n||!n&&t||b.isFunction(e)&&e,duration:e,easing:n&&t||t&&!b.isFunction(t)&&t};return r.duration=b.fx.off?0:"number"==typeof r.duration?r.duration:r.duration in b.fx.speeds?b.fx.speeds[r.duration]:b.fx.speeds._default,(null==r.queue||r.queue===!0)&&(r.queue="fx"),r.old=r.complete,r.complete=function(){b.isFunction(r.old)&&r.old.call(this),r.queue&&b.dequeue(this,r.queue)},r},b.easing={linear:function(e){return e},swing:function(e){return.5-Math.cos(e*Math.PI)/2}},b.timers=[],b.fx=rr.prototype.init,b.fx.tick=function(){var e,n=b.timers,r=0;for(Xn=b.now();n.length>r;r++)e=n[r],e()||n[r]!==e||n.splice(r--,1);n.length||b.fx.stop(),Xn=t},b.fx.timer=function(e){e()&&b.timers.push(e)&&b.fx.start()},b.fx.interval=13,b.fx.start=function(){Un||(Un=setInterval(b.fx.tick,b.fx.interval))},b.fx.stop=function(){clearInterval(Un),Un=null},b.fx.speeds={slow:600,fast:200,_default:400},b.fx.step={},b.expr&&b.expr.filters&&(b.expr.filters.animated=function(e){return b.grep(b.timers,function(t){return e===t.elem}).length}),b.fn.offset=function(e){if(arguments.length)return e===t?this:this.each(function(t){b.offset.setOffset(this,e,t)});var n,r,o={top:0,left:0},a=this[0],s=a&&a.ownerDocument;if(s)return n=s.documentElement,b.contains(n,a)?(typeof a.getBoundingClientRect!==i&&(o=a.getBoundingClientRect()),r=or(s),{top:o.top+(r.pageYOffset||n.scrollTop)-(n.clientTop||0),left:o.left+(r.pageXOffset||n.scrollLeft)-(n.clientLeft||0)}):o},b.offset={setOffset:function(e,t,n){var r=b.css(e,"position");"static"===r&&(e.style.position="relative");var i=b(e),o=i.offset(),a=b.css(e,"top"),s=b.css(e,"left"),u=("absolute"===r||"fixed"===r)&&b.inArray("auto",[a,s])>-1,l={},c={},p,f;u?(c=i.position(),p=c.top,f=c.left):(p=parseFloat(a)||0,f=parseFloat(s)||0),b.isFunction(t)&&(t=t.call(e,n,o)),null!=t.top&&(l.top=t.top-o.top+p),null!=t.left&&(l.left=t.left-o.left+f),"using"in t?t.using.call(e,l):i.css(l)}},b.fn.extend({position:function(){if(this[0]){var e,t,n={top:0,left:0},r=this[0];return"fixed"===b.css(r,"position")?t=r.getBoundingClientRect():(e=this.offsetParent(),t=this.offset(),b.nodeName(e[0],"html")||(n=e.offset()),n.top+=b.css(e[0],"borderTopWidth",!0),n.left+=b.css(e[0],"borderLeftWidth",!0)),{top:t.top-n.top-b.css(r,"marginTop",!0),left:t.left-n.left-b.css(r,"marginLeft",!0)}}},offsetParent:function(){return this.map(function(){var e=this.offsetParent||o.documentElement;while(e&&!b.nodeName(e,"html")&&"static"===b.css(e,"position"))e=e.offsetParent;return e||o.documentElement})}}),b.each({scrollLeft:"pageXOffset",scrollTop:"pageYOffset"},function(e,n){var r=/Y/.test(n);b.fn[e]=function(i){return b.access(this,function(e,i,o){var a=or(e);return o===t?a?n in a?a[n]:a.document.documentElement[i]:e[i]:(a?a.scrollTo(r?b(a).scrollLeft():o,r?o:b(a).scrollTop()):e[i]=o,t)},e,i,arguments.length,null)}});function or(e){return b.isWindow(e)?e:9===e.nodeType?e.defaultView||e.parentWindow:!1}b.each({Height:"height",Width:"width"},function(e,n){b.each({padding:"inner"+e,content:n,"":"outer"+e},function(r,i){b.fn[i]=function(i,o){var a=arguments.length&&(r||"boolean"!=typeof i),s=r||(i===!0||o===!0?"margin":"border");return b.access(this,function(n,r,i){var o;return b.isWindow(n)?n.document.documentElement["client"+e]:9===n.nodeType?(o=n.documentElement,Math.max(n.body["scroll"+e],o["scroll"+e],n.body["offset"+e],o["offset"+e],o["client"+e])):i===t?b.css(n,r,s):b.style(n,r,i,s)},n,a?i:t,a,null)}})}),e.jQuery=e.$=b,"function"==typeof define&&define.amd&&define.amd.jQuery&&define("jquery",[],function(){return b})})(window);
diff --git a/source/javascripts/libs/swfobject-dynamic.js b/source/javascripts/libs/swfobject-dynamic.js
new file mode 100644
index 00000000..b0216145
--- /dev/null
+++ b/source/javascripts/libs/swfobject-dynamic.js
@@ -0,0 +1,298 @@
+/*! SWFObject v2.2
+ is released under the MIT License
+*/
+
+var swfobject = function() {
+
+ var UNDEF = "undefined",
+ OBJECT = "object",
+ SHOCKWAVE_FLASH = "Shockwave Flash",
+ SHOCKWAVE_FLASH_AX = "ShockwaveFlash.ShockwaveFlash",
+ FLASH_MIME_TYPE = "application/x-shockwave-flash",
+ EXPRESS_INSTALL_ID = "SWFObjectExprInst",
+
+ win = window,
+ doc = document,
+ nav = navigator,
+
+ plugin = false,
+ regObjArr = [],
+ objIdArr = [],
+ storedAltContent,
+ storedAltContentId,
+ storedCallbackFn,
+ storedCallbackObj,
+ autoHideShow = true,
+
+ /* Centralized function for browser feature detection
+ - User agent string detection is only used when no good alternative is possible
+ - Is executed directly for optimal performance
+ */
+ ua = function() {
+ var w3cdom = typeof doc.getElementById != UNDEF && typeof doc.getElementsByTagName != UNDEF && typeof doc.createElement != UNDEF,
+ u = nav.userAgent.toLowerCase(),
+ p = nav.platform.toLowerCase(),
+ windows = p ? /win/.test(p) : /win/.test(u),
+ mac = p ? /mac/.test(p) : /mac/.test(u),
+ webkit = /webkit/.test(u) ? parseFloat(u.replace(/^.*webkit\/(\d+(\.\d+)?).*$/, "$1")) : false, // returns either the webkit version or false if not webkit
+ ie = !+"\v1", // feature detection based on Andrea Giammarchi's solution: http://webreflection.blogspot.com/2009/01/32-bytes-to-know-if-your-browser-is-ie.html
+ playerVersion = [0,0,0],
+ d = null;
+ if (typeof nav.plugins != UNDEF && typeof nav.plugins[SHOCKWAVE_FLASH] == OBJECT) {
+ d = nav.plugins[SHOCKWAVE_FLASH].description;
+ if (d && !(typeof nav.mimeTypes != UNDEF && nav.mimeTypes[FLASH_MIME_TYPE] && !nav.mimeTypes[FLASH_MIME_TYPE].enabledPlugin)) { // navigator.mimeTypes["application/x-shockwave-flash"].enabledPlugin indicates whether plug-ins are enabled or disabled in Safari 3+
+ plugin = true;
+ ie = false; // cascaded feature detection for Internet Explorer
+ d = d.replace(/^.*\s+(\S+\s+\S+$)/, "$1");
+ playerVersion[0] = parseInt(d.replace(/^(.*)\..*$/, "$1"), 10);
+ playerVersion[1] = parseInt(d.replace(/^.*\.(.*)\s.*$/, "$1"), 10);
+ playerVersion[2] = /[a-zA-Z]/.test(d) ? parseInt(d.replace(/^.*[a-zA-Z]+(.*)$/, "$1"), 10) : 0;
+ }
+ }
+ else if (typeof win.ActiveXObject != UNDEF) {
+ try {
+ var a = new ActiveXObject(SHOCKWAVE_FLASH_AX);
+ if (a) { // a will return null when ActiveX is disabled
+ d = a.GetVariable("$version");
+ if (d) {
+ ie = true; // cascaded feature detection for Internet Explorer
+ d = d.split(" ")[1].split(",");
+ playerVersion = [parseInt(d[0], 10), parseInt(d[1], 10), parseInt(d[2], 10)];
+ }
+ }
+ }
+ catch(e) {}
+ }
+ return { w3:w3cdom, pv:playerVersion, wk:webkit, ie:ie, win:windows, mac:mac };
+ }()
+
+
+ /* Main function
+ - Will preferably execute onDomLoad, otherwise onload (as a fallback)
+ */
+ function main() {
+ if (plugin) { testPlayerVersion(); }
+ else { matchVersions(); }
+ }
+
+ /* Detect the Flash Player version for non-Internet Explorer browsers
+ - Detecting the plug-in version via the object element is more precise than using the plugins collection item's description:
+ a. Both release and build numbers can be detected
+ b. Avoid wrong descriptions by corrupt installers provided by Adobe
+ c. Avoid wrong descriptions by multiple Flash Player entries in the plugin Array, caused by incorrect browser imports
+ - Disadvantage of this method is that it depends on the availability of the DOM, while the plugins collection is immediately available
+ */
+ function testPlayerVersion() {
+ var b = doc.getElementsByTagName("body")[0];
+ var o = createElement(OBJECT);
+ o.setAttribute("type", FLASH_MIME_TYPE);
+ var t = b.appendChild(o);
+ if (t) {
+ var counter = 0;
+ (function(){
+ if (typeof t.GetVariable != UNDEF) {
+ var d = t.GetVariable("$version");
+ if (d) {
+ d = d.split(" ")[1].split(",");
+ ua.pv = [parseInt(d[0], 10), parseInt(d[1], 10), parseInt(d[2], 10)];
+ }
+ }
+ else if (counter < 10) {
+ counter++;
+ setTimeout(arguments.callee, 10);
+ return;
+ }
+ b.removeChild(o);
+ t = null;
+ matchVersions();
+ })();
+ }
+ else {
+ matchVersions();
+ }
+ }
+
+
+ /* Cross-browser dynamic SWF creation
+ */
+ function createSWF(attObj, parObj, id) {
+ var r, el = getElementById(id);
+ if (ua.wk && ua.wk < 312) { return r; }
+ if (el) {
+ if (typeof attObj.id == UNDEF) { // if no 'id' is defined for the object element, it will inherit the 'id' from the alternative content
+ attObj.id = id;
+ }
+ if (ua.ie && ua.win) { // Internet Explorer + the HTML object element + W3C DOM methods do not combine: fall back to outerHTML
+ var att = "";
+ for (var i in attObj) {
+ if (attObj[i] != Object.prototype[i]) { // filter out prototype additions from other potential libraries
+ if (i.toLowerCase() == "data") {
+ parObj.movie = attObj[i];
+ }
+ else if (i.toLowerCase() == "styleclass") { // 'class' is an ECMA4 reserved keyword
+ att += ' class="' + attObj[i] + '"';
+ }
+ else if (i.toLowerCase() != "classid") {
+ att += ' ' + i + '="' + attObj[i] + '"';
+ }
+ }
+ }
+ var par = "";
+ for (var j in parObj) {
+ if (parObj[j] != Object.prototype[j]) { // filter out prototype additions from other potential libraries
+ par += '' + par + ' ';
+ objIdArr[objIdArr.length] = attObj.id; // stored to fix object 'leaks' on unload (dynamic publishing only)
+ r = getElementById(attObj.id);
+ }
+ else { // well-behaving browsers
+ var o = createElement(OBJECT);
+ o.setAttribute("type", FLASH_MIME_TYPE);
+ for (var m in attObj) {
+ if (attObj[m] != Object.prototype[m]) { // filter out prototype additions from other potential libraries
+ if (m.toLowerCase() == "styleclass") { // 'class' is an ECMA4 reserved keyword
+ o.setAttribute("class", attObj[m]);
+ }
+ else if (m.toLowerCase() != "classid") { // filter out IE specific attribute
+ o.setAttribute(m, attObj[m]);
+ }
+ }
+ }
+ for (var n in parObj) {
+ if (parObj[n] != Object.prototype[n] && n.toLowerCase() != "movie") { // filter out prototype additions from other potential libraries and IE specific param element
+ createObjParam(o, n, parObj[n]);
+ }
+ }
+ el.parentNode.replaceChild(o, el);
+ r = o;
+ }
+ }
+ return r;
+ }
+
+ function createObjParam(el, pName, pValue) {
+ var p = createElement("param");
+ p.setAttribute("name", pName);
+ p.setAttribute("value", pValue);
+ el.appendChild(p);
+ }
+
+ /* Cross-browser SWF removal
+ - Especially needed to safely and completely remove a SWF in Internet Explorer
+ */
+ /* Functions to optimize JavaScript compression
+ */
+ function getElementById(id) {
+ var el = null;
+ try {
+ el = doc.getElementById(id);
+ }
+ catch (e) {}
+ return el;
+ }
+
+ function createElement(el) {
+ return doc.createElement(el);
+ }
+
+ /* Flash Player and SWF content version matching
+ */
+ function hasPlayerVersion(rv) {
+ var pv = ua.pv, v = rv.split(".");
+ v[0] = parseInt(v[0], 10);
+ v[1] = parseInt(v[1], 10) || 0; // supports short notation, e.g. "9" instead of "9.0.0"
+ v[2] = parseInt(v[2], 10) || 0;
+ return (pv[0] > v[0] || (pv[0] == v[0] && pv[1] > v[1]) || (pv[0] == v[0] && pv[1] == v[1] && pv[2] >= v[2])) ? true : false;
+ }
+
+
+ /* Filter to avoid XSS attacks
+ */
+ function urlEncodeIfNecessary(s) {
+ var regex = /[\\\"<>\.;]/;
+ var hasBadChars = regex.exec(s) != null;
+ return hasBadChars && typeof encodeURIComponent != UNDEF ? encodeURIComponent(s) : s;
+ }
+
+ return {
+ /* Public API
+ - Reference: http://code.google.com/p/swfobject/wiki/documentation
+ */
+
+ embedSWF: function(swfUrlStr, replaceElemIdStr, widthStr, heightStr, swfVersionStr, flashvarsObj, parObj, attObj, callbackFn) {
+ var callbackObj = {success:false, id:replaceElemIdStr};
+ if (ua.w3 && !(ua.wk && ua.wk < 312) && swfUrlStr && replaceElemIdStr && widthStr && heightStr && swfVersionStr) {
+ widthStr += ""; // auto-convert to string
+ heightStr += "";
+ var att = {};
+ if (attObj && typeof attObj === OBJECT) {
+ for (var i in attObj) { // copy object to avoid the use of references, because web authors often reuse attObj for multiple SWFs
+ att[i] = attObj[i];
+ }
+ }
+ att.data = swfUrlStr;
+ att.width = widthStr;
+ att.height = heightStr;
+ var par = {};
+ if (parObj && typeof parObj === OBJECT) {
+ for (var j in parObj) { // copy object to avoid the use of references, because web authors often reuse parObj for multiple SWFs
+ par[j] = parObj[j];
+ }
+ }
+ if (flashvarsObj && typeof flashvarsObj === OBJECT) {
+ for (var k in flashvarsObj) { // copy object to avoid the use of references, because web authors often reuse flashvarsObj for multiple SWFs
+ if (typeof par.flashvars != UNDEF) {
+ par.flashvars += "&" + k + "=" + flashvarsObj[k];
+ }
+ else {
+ par.flashvars = k + "=" + flashvarsObj[k];
+ }
+ }
+ }
+ if (hasPlayerVersion(swfVersionStr)) { // create SWF
+ var obj = createSWF(att, par, replaceElemIdStr);
+ callbackObj.success = true;
+ callbackObj.ref = obj;
+ }
+ if (callbackFn) { callbackFn(callbackObj); }
+ }
+ else if (callbackFn) { callbackFn(callbackObj); }
+ },
+
+ ua: ua,
+
+ getFlashPlayerVersion: function() {
+ return { major:ua.pv[0], minor:ua.pv[1], release:ua.pv[2] };
+ },
+
+ hasFlashPlayerVersion: hasPlayerVersion,
+
+ createSWF: function(attObj, parObj, replaceElemIdStr) {
+ if (ua.w3) {
+ return createSWF(attObj, parObj, replaceElemIdStr);
+ }
+ else {
+ return undefined;
+ }
+ },
+
+ getQueryParamValue: function(param) {
+ var q = doc.location.search || doc.location.hash;
+ if (q) {
+ if (/\?/.test(q)) { q = q.split("?")[1]; } // strip question mark
+ if (param == null) {
+ return urlEncodeIfNecessary(q);
+ }
+ var pairs = q.split("&");
+ for (var i = 0; i < pairs.length; i++) {
+ if (pairs[i].substring(0, pairs[i].indexOf("=")) == param) {
+ return urlEncodeIfNecessary(pairs[i].substring((pairs[i].indexOf("=") + 1)));
+ }
+ }
+ }
+ return "";
+ }
+ };
+}();
diff --git a/source/javascripts/modernizr-2.0.js b/source/javascripts/modernizr-2.0.js
new file mode 100644
index 00000000..9dca7b0e
--- /dev/null
+++ b/source/javascripts/modernizr-2.0.js
@@ -0,0 +1,5 @@
+/* Modernizr 2.6.2 (Custom Build) | MIT & BSD
+ * Build: http://modernizr.com/download/#-video-mq-cssclasses-teststyles-testprop-testallprops-prefixes-domprefixes-load
+ */
+;window.Modernizr=function(a,b,c){function A(a){j.cssText=a}function B(a,b){return A(m.join(a+";")+(b||""))}function C(a,b){return typeof a===b}function D(a,b){return!!~(""+a).indexOf(b)}function E(a,b){for(var d in a){var e=a[d];if(!D(e,"-")&&j[e]!==c)return b=="pfx"?e:!0}return!1}function F(a,b,d){for(var e in a){var f=b[a[e]];if(f!==c)return d===!1?a[e]:C(f,"function")?f.bind(d||b):f}return!1}function G(a,b,c){var d=a.charAt(0).toUpperCase()+a.slice(1),e=(a+" "+o.join(d+" ")+d).split(" ");return C(b,"string")||C(b,"undefined")?E(e,b):(e=(a+" "+p.join(d+" ")+d).split(" "),F(e,b,c))}var d="2.6.2",e={},f=!0,g=b.documentElement,h="modernizr",i=b.createElement(h),j=i.style,k,l={}.toString,m=" -webkit- -moz- -o- -ms- ".split(" "),n="Webkit Moz O ms",o=n.split(" "),p=n.toLowerCase().split(" "),q={},r={},s={},t=[],u=t.slice,v,w=function(a,c,d,e){var f,i,j,k,l=b.createElement("div"),m=b.body,n=m||b.createElement("body");if(parseInt(d,10))while(d--)j=b.createElement("div"),j.id=e?e[d]:h+(d+1),l.appendChild(j);return f=["",'"].join(""),l.id=h,(m?l:n).innerHTML+=f,n.appendChild(l),m||(n.style.background="",n.style.overflow="hidden",k=g.style.overflow,g.style.overflow="hidden",g.appendChild(n)),i=c(l,a),m?l.parentNode.removeChild(l):(n.parentNode.removeChild(n),g.style.overflow=k),!!i},x=function(b){var c=a.matchMedia||a.msMatchMedia;if(c)return c(b).matches;var d;return w("@media "+b+" { #"+h+" { position: absolute; } }",function(b){d=(a.getComputedStyle?getComputedStyle(b,null):b.currentStyle)["position"]=="absolute"}),d},y={}.hasOwnProperty,z;!C(y,"undefined")&&!C(y.call,"undefined")?z=function(a,b){return y.call(a,b)}:z=function(a,b){return b in a&&C(a.constructor.prototype[b],"undefined")},Function.prototype.bind||(Function.prototype.bind=function(b){var c=this;if(typeof c!="function")throw new TypeError;var d=u.call(arguments,1),e=function(){if(this instanceof e){var a=function(){};a.prototype=c.prototype;var f=new a,g=c.apply(f,d.concat(u.call(arguments)));return Object(g)===g?g:f}return c.apply(b,d.concat(u.call(arguments)))};return e}),q.video=function(){var a=b.createElement("video"),c=!1;try{if(c=!!a.canPlayType)c=new Boolean(c),c.ogg=a.canPlayType('video/ogg; codecs="theora"').replace(/^no$/,""),c.h264=a.canPlayType('video/mp4; codecs="avc1.42E01E"').replace(/^no$/,""),c.webm=a.canPlayType('video/webm; codecs="vp8, vorbis"').replace(/^no$/,"")}catch(d){}return c};for(var H in q)z(q,H)&&(v=H.toLowerCase(),e[v]=q[H](),t.push((e[v]?"":"no-")+v));return e.addTest=function(a,b){if(typeof a=="object")for(var d in a)z(a,d)&&e.addTest(d,a[d]);else{a=a.toLowerCase();if(e[a]!==c)return e;b=typeof b=="function"?b():b,typeof f!="undefined"&&f&&(g.className+=" "+(b?"":"no-")+a),e[a]=b}return e},A(""),i=k=null,e._version=d,e._prefixes=m,e._domPrefixes=p,e._cssomPrefixes=o,e.mq=x,e.testProp=function(a){return E([a])},e.testAllProps=G,e.testStyles=w,g.className=g.className.replace(/(^|\s)no-js(\s|$)/,"$1$2")+(f?" js "+t.join(" "):""),e}(this,this.document),function(a,b,c){function d(a){return"[object Function]"==o.call(a)}function e(a){return"string"==typeof a}function f(){}function g(a){return!a||"loaded"==a||"complete"==a||"uninitialized"==a}function h(){var a=p.shift();q=1,a?a.t?m(function(){("c"==a.t?B.injectCss:B.injectJs)(a.s,0,a.a,a.x,a.e,1)},0):(a(),h()):q=0}function i(a,c,d,e,f,i,j){function k(b){if(!o&&g(l.readyState)&&(u.r=o=1,!q&&h(),l.onload=l.onreadystatechange=null,b)){"img"!=a&&m(function(){t.removeChild(l)},50);for(var d in y[c])y[c].hasOwnProperty(d)&&y[c][d].onload()}}var j=j||B.errorTimeout,l=b.createElement(a),o=0,r=0,u={t:d,s:c,e:f,a:i,x:j};1===y[c]&&(r=1,y[c]=[]),"object"==a?l.data=c:(l.src=c,l.type=a),l.width=l.height="0",l.onerror=l.onload=l.onreadystatechange=function(){k.call(this,r)},p.splice(e,0,u),"img"!=a&&(r||2===y[c]?(t.insertBefore(l,s?null:n),m(k,j)):y[c].push(l))}function j(a,b,c,d,f){return q=0,b=b||"j",e(a)?i("c"==b?v:u,a,b,this.i++,c,d,f):(p.splice(this.i++,0,a),1==p.length&&h()),this}function k(){var a=B;return a.loader={load:j,i:0},a}var l=b.documentElement,m=a.setTimeout,n=b.getElementsByTagName("script")[0],o={}.toString,p=[],q=0,r="MozAppearance"in l.style,s=r&&!!b.createRange().compareNode,t=s?l:n.parentNode,l=a.opera&&"[object Opera]"==o.call(a.opera),l=!!b.attachEvent&&!l,u=r?"object":l?"script":"img",v=l?"script":u,w=Array.isArray||function(a){return"[object Array]"==o.call(a)},x=[],y={},z={timeout:function(a,b){return b.length&&(a.timeout=b[0]),a}},A,B;B=function(a){function b(a){var a=a.split("!"),b=x.length,c=a.pop(),d=a.length,c={url:c,origUrl:c,prefixes:a},e,f,g;for(f=0;f')
+ var mobileNav = $('fieldset.mobile-nav').append('');
+ mobileNav.find('select').append('Navigate… ');
+ var addOption = function(i, option) {
+ mobileNav.find('select').append('» ' + $(this).text() + ' ');
+ }
+ mainNav.find('a').each(addOption);
+ $('ul.subscription a').each(addOption);
+ mobileNav.find('select').bind('change', function(event) {
+ if (event.target.value) { window.location.href = event.target.value; }
+ });
+}
+
+function addSidebarToggler() {
+ if(!$('body').hasClass('sidebar-footer')) {
+ $('#content').append('');
+ $('.toggle-sidebar').bind('click', function(e) {
+ e.preventDefault();
+ $('body').toggleClass('collapse-sidebar');
+ });
+ }
+ var sections = $('aside.sidebar > section');
+ if (sections.length > 1) {
+ sections.each(function(index, section){
+ if ((sections.length >= 3) && index % 3 === 0) {
+ $(section).addClass("first");
+ }
+ var count = ((index +1) % 2) ? "odd" : "even";
+ $(section).addClass(count);
+ });
+ }
+ if (sections.length >= 3){ $('aside.sidebar').addClass('thirds'); }
+}
+
+function testFeatures() {
+ var features = ['maskImage'];
+ $(features).map(function(i, feature) {
+ if (Modernizr.testAllProps(feature)) {
+ $('html').addClass(feature);
+ } else {
+ $('html').addClass('no-'+feature);
+ }
+ });
+ if ("placeholder" in document.createElement("input")) {
+ $('html').addClass('placeholder');
+ } else {
+ $('html').addClass('no-placeholder');
+ }
+}
+
+function addCodeLineNumbers() {
+ if (navigator.appName === 'Microsoft Internet Explorer') { return; }
+ $('div.gist-highlight').each(function(code) {
+ var tableStart = '',
+ lineNumbers = '',
+ tableMiddle = ' ',
+ tableEnd = '
',
+ count = $('.line', code).length;
+ for (var i=1;i<=count; i++) {
+ lineNumbers += ''+i+' \n';
+ }
+ var table = tableStart + lineNumbers + tableMiddle + ''+$('pre', code).html()+' ' + tableEnd;
+ $(code).html(table);
+ });
+}
+
+function flashVideoFallback(){
+ var flashplayerlocation = "/assets/jwplayer/player.swf",
+ flashplayerskin = "/assets/jwplayer/glow/glow.xml";
+ $('video').each(function(i, video){
+ video = $(video);
+ if (!Modernizr.video.h264 && swfobject.getFlashPlayerVersion() || window.location.hash.indexOf("flash-test") !== -1){
+ video.children('source[src$=mp4]').first().map(i, function(source){
+ var src = $(source).attr('src'),
+ id = 'video_'+Math.round(1 + Math.random()*(100000)),
+ width = video.attr('width'),
+ height = parseInt(video.attr('height'), 10) + 30;
+ video.after('');
+ swfobject.embedSWF(flashplayerlocation, id, width, height + 30, "9.0.0",
+ { file : src, image : video.attr('poster'), skin : flashplayerskin } ,
+ { movie : src, wmode : "opaque", allowfullscreen : "true" }
+ );
+ });
+ video.remove();
+ }
+ });
+}
+
+function wrapFlashVideos() {
+ $('object').each(function(i, object) {
+ if( $(object).find('param[name=movie]').length ){
+ $(object).wrap('
')
+ }
+ });
+ $('iframe[src*=vimeo],iframe[src*=youtube]').wrap('
')
+}
+
+function renderDeliciousLinks(items) {
+ var output = "
";
+ for (var i=0,l=items.length; i' + items[i].d + '';
+ }
+ output += " ";
+ $('#delicious').html(output);
+}
+
+$('document').ready(function() {
+ testFeatures();
+ wrapFlashVideos();
+ flashVideoFallback();
+ addCodeLineNumbers();
+ getNav();
+ addSidebarToggler();
+});
+
+// iOS scaling bug fix
+// Rewritten version
+// By @mathias, @cheeaun and @jdalton
+// Source url: https://gist.github.com/901295
+(function(doc) {
+ var addEvent = 'addEventListener',
+ type = 'gesturestart',
+ qsa = 'querySelectorAll',
+ scales = [1, 1],
+ meta = qsa in doc ? doc[qsa]('meta[name=viewport]') : [];
+ function fix() {
+ meta.content = 'width=device-width,minimum-scale=' + scales[0] + ',maximum-scale=' + scales[1];
+ doc.removeEventListener(type, fix, true);
+ }
+ if ((meta = meta[meta.length - 1]) && addEvent in doc) {
+ fix();
+ scales = [0.25, 1.6];
+ doc[addEvent](type, fix, true);
+ }
+}(document));
+
+/*! SWFObject v2.2 modified by Brandon Mathis to contain only what is necessary to dynamically embed flash objects
+ * Uncompressed source in javascripts/libs/swfobject-dynamic.js
+ *
+ released under the MIT License
+*/
+var swfobject=function(){function s(a,b,d){var q,k=n(d);if(g.wk&&g.wk<312)return q;if(k){if(typeof a.id==l)a.id=d;if(g.ie&&g.win){var e="",c;for(c in a)if(a[c]!=Object.prototype[c])c.toLowerCase()=="data"?b.movie=a[c]:c.toLowerCase()=="styleclass"?e+=' class="'+a[c]+'"':c.toLowerCase()!="classid"&&(e+=" "+c+'="'+a[c]+'"');c="";for(var f in b)b[f]!=Object.prototype[f]&&(c+='"+c+
+" ";q=n(a.id)}else{f=i.createElement(o);f.setAttribute("type",m);for(var h in a)a[h]!=Object.prototype[h]&&(h.toLowerCase()=="styleclass"?f.setAttribute("class",a[h]):h.toLowerCase()!="classid"&&f.setAttribute(h,a[h]));for(e in b)b[e]!=Object.prototype[e]&&e.toLowerCase()!="movie"&&(a=f,c=e,h=b[e],d=i.createElement("param"),d.setAttribute("name",c),d.setAttribute("value",h),a.appendChild(d));k.parentNode.replaceChild(f,k);q=f}}return q}function n(a){var b=null;try{b=i.getElementById(a)}catch(d){}return b}
+function t(a){var b=g.pv,a=a.split(".");a[0]=parseInt(a[0],10);a[1]=parseInt(a[1],10)||0;a[2]=parseInt(a[2],10)||0;return b[0]>a[0]||b[0]==a[0]&&b[1]>a[1]||b[0]==a[0]&&b[1]==a[1]&&b[2]>=a[2]?!0:!1}function u(a){return/[\\\"<>\.;]/.exec(a)!=null&&typeof encodeURIComponent!=l?encodeURIComponent(a):a}var l="undefined",o="object",m="application/x-shockwave-flash",v=window,i=document,j=navigator,g=function(){var a=typeof i.getElementById!=l&&typeof i.getElementsByTagName!=l&&typeof i.createElement!=l,
+b=j.userAgent.toLowerCase(),d=j.platform.toLowerCase(),g=d?/win/.test(d):/win/.test(b),d=d?/mac/.test(d):/mac/.test(b),b=/webkit/.test(b)?parseFloat(b.replace(/^.*webkit\/(\d+(\.\d+)?).*$/,"$1")):!1,k=!+"\u000b1",e=[0,0,0],c=null;if(typeof j.plugins!=l&&typeof j.plugins["Shockwave Flash"]==o){if((c=j.plugins["Shockwave Flash"].description)&&!(typeof j.mimeTypes!=l&&j.mimeTypes[m]&&!j.mimeTypes[m].enabledPlugin))k=!1,c=c.replace(/^.*\s+(\S+\s+\S+$)/,"$1"),e[0]=parseInt(c.replace(/^(.*)\..*$/,"$1"),
+10),e[1]=parseInt(c.replace(/^.*\.(.*)\s.*$/,"$1"),10),e[2]=/[a-zA-Z]/.test(c)?parseInt(c.replace(/^.*[a-zA-Z]+(.*)$/,"$1"),10):0}else if(typeof v.ActiveXObject!=l)try{var f=new ActiveXObject("ShockwaveFlash.ShockwaveFlash");if(f&&(c=f.GetVariable("$version")))k=!0,c=c.split(" ")[1].split(","),e=[parseInt(c[0],10),parseInt(c[1],10),parseInt(c[2],10)]}catch(h){}return{w3:a,pv:e,wk:b,ie:k,win:g,mac:d}}();return{embedSWF:function(a,b,d,i,k,e,c,f,h){var j={success:!1,id:b};if(g.w3&&!(g.wk&&g.wk<312)&&
+a&&b&&d&&i&&k){d+="";i+="";var p={};if(f&&typeof f===o)for(var m in f)p[m]=f[m];p.data=a;p.width=d;p.height=i;a={};if(c&&typeof c===o)for(var n in c)a[n]=c[n];if(e&&typeof e===o)for(var r in e)typeof a.flashvars!=l?a.flashvars+="&"+r+"="+e[r]:a.flashvars=r+"="+e[r];if(t(k))b=s(p,a,b),j.success=!0,j.ref=b}h&&h(j)},ua:g,getFlashPlayerVersion:function(){return{major:g.pv[0],minor:g.pv[1],release:g.pv[2]}},hasFlashPlayerVersion:t,createSWF:function(a,b,d){if(g.w3)return s(a,b,d)},getQueryParamValue:function(a){var b=
+i.location.search||i.location.hash;if(b){/\?/.test(b)&&(b=b.split("?")[1]);if(a==null)return u(b);for(var b=b.split("&"),d=0;d');
+ (function(){
+ var pinboardLinkroll = document.createElement('script');
+ pinboardLinkroll.type = 'text/javascript';
+ pinboardLinkroll.async = true;
+ pinboardLinkroll.src = url;
+ document.getElementsByTagName('head')[0].appendChild(pinboardLinkroll);
+ })();
+}
+
+function pinboardNS_show_bmarks(r) {
+ var lr = new Pinboard_Linkroll();
+ lr.set_items(r);
+ lr.show_bmarks();
+}
+
+function Pinboard_Linkroll() {
+ var items;
+
+ this.set_items = function(i) {
+ this.items = i;
+ }
+ this.show_bmarks = function() {
+ var lines = [];
+ for (var i = 0; i < this.items.length; i++) {
+ var item = this.items[i];
+ var str = this.format_item(item);
+ lines.push(str);
+ }
+ document.getElementById(linkroll).innerHTML = lines.join("\n");
+ }
+ this.cook = function(v) {
+ return v.replace('<', '<').replace('>', '>>');
+ }
+
+ this.format_item = function(it) {
+ var str = "";
+ if (!it.d) { return; }
+ str += "" + this.cook(it.d) + " ";
+ if (it.n) {
+ str += "" + this.cook(it.n) + " \n";
+ }
+ if (it.t.length > 0) {
+ for (var i = 0; i < it.t.length; i++) {
+ var tag = it.t[i];
+ str += " " + this.cook(tag).replace(/^\s+|\s+$/g, '') + " ";
+ }
+ }
+ str += "
\n";
+ return str;
+ }
+}
+Pinboard_Linkroll.prototype = new Pinboard_Linkroll();
+pinboardNS_fetch_script("https://feeds.pinboard.in/json/v1/u:"+pinboard_user+"/?cb=pinboardNS_show_bmarks\&count="+pinboard_count);
+
diff --git a/source/javascripts/twitter.js b/source/javascripts/twitter.js
new file mode 100644
index 00000000..3e2dd0d7
--- /dev/null
+++ b/source/javascripts/twitter.js
@@ -0,0 +1,78 @@
+// JSON-P Twitter fetcher for Octopress
+// (c) Brandon Mathis // MIT License
+
+/* Sky Slavin, Ludopoli. MIT license. * based on JavaScript Pretty Date * Copyright (c) 2008 John Resig (jquery.com) * Licensed under the MIT license. */
+function prettyDate(time) {
+ if (navigator.appName === 'Microsoft Internet Explorer') {
+ return "∞ "; // because IE date parsing isn't fun.
+ }
+ var say = {
+ just_now: " now",
+ minute_ago: "1m",
+ minutes_ago: "m",
+ hour_ago: "1h",
+ hours_ago: "h",
+ yesterday: "1d",
+ days_ago: "d",
+ last_week: "1w",
+ weeks_ago: "w"
+ };
+
+ var current_date = new Date(),
+ current_date_time = current_date.getTime(),
+ current_date_full = current_date_time + (1 * 60000),
+ date = new Date(time),
+ diff = ((current_date_full - date.getTime()) / 1000),
+ day_diff = Math.floor(diff / 86400);
+
+ if (isNaN(day_diff) || day_diff < 0) { return "∞ "; }
+
+ return day_diff === 0 && (
+ diff < 60 && say.just_now ||
+ diff < 120 && say.minute_ago ||
+ diff < 3600 && Math.floor(diff / 60) + say.minutes_ago ||
+ diff < 7200 && say.hour_ago ||
+ diff < 86400 && Math.floor(diff / 3600) + say.hours_ago) ||
+ day_diff === 1 && say.yesterday ||
+ day_diff < 7 && day_diff + say.days_ago ||
+ day_diff === 7 && say.last_week ||
+ day_diff > 7 && Math.ceil(day_diff / 7) + say.weeks_ago;
+}
+
+function linkifyTweet(text, url) {
+ // Linkify urls, usernames, hashtags
+ text = text.replace(/(https?:\/\/)([\w\-:;?&=+.%#\/]+)/gi, '$2 ')
+ .replace(/(^|\W)@(\w+)/g, '$1@$2 ')
+ .replace(/(^|\W)#(\w+)/g, '$1#$2 ');
+
+ // Use twitter's api to replace t.co shortened urls with expanded ones.
+ for (var u in url) {
+ if(url[u].expanded_url != null){
+ var shortUrl = new RegExp(url[u].url, 'g');
+ text = text.replace(shortUrl, url[u].expanded_url);
+ var shortUrl = new RegExp(">"+(url[u].url.replace(/https?:\/\//, '')), 'g');
+ text = text.replace(shortUrl, ">"+url[u].display_url);
+ }
+ }
+ return text
+}
+
+function showTwitterFeed(tweets, twitter_user) {
+ var timeline = document.getElementById('tweets'),
+ content = '';
+
+ for (var t in tweets) {
+ content += ''+''+''+prettyDate(tweets[t].created_at)+' '+linkifyTweet(tweets[t].text.replace(/\n/g, '
'+' ';
+ }
+ timeline.innerHTML = content;
+}
+
+function getTwitterFeed(user, count, replies) {
+ count = parseInt(count, 10);
+ $.ajax({
+ url: "https://api.twitter.com/1/statuses/user_timeline/" + user + ".json?trim_user=true&count=" + (count + 20) + "&include_entities=1&exclude_replies=" + (replies ? "0" : "1") + "&callback=?"
+ , type: 'jsonp'
+ , error: function (err) { $('#tweets li.loading').addClass('error').text("Twitter's busted"); }
+ , success: function(data) { showTwitterFeed(data.slice(0, count), user); }
+ })
+}
diff --git a/source/members/group-photo-2014.jpg b/source/members/group-photo-2014.jpg
new file mode 100644
index 00000000..3b0b9492
Binary files /dev/null and b/source/members/group-photo-2014.jpg differ
diff --git a/source/members/group-photo-2015.jpg b/source/members/group-photo-2015.jpg
new file mode 100644
index 00000000..342d051c
Binary files /dev/null and b/source/members/group-photo-2015.jpg differ
diff --git a/source/members/group-photo.png b/source/members/group-photo.png
new file mode 100644
index 00000000..522f30d0
Binary files /dev/null and b/source/members/group-photo.png differ
diff --git a/source/members/index.markdown b/source/members/index.markdown
new file mode 100644
index 00000000..a907d068
--- /dev/null
+++ b/source/members/index.markdown
@@ -0,0 +1,86 @@
+---
+layout: page
+title: "Members"
+date: 2013-01-20 11:36
+comments: false
+sharing: false
+footer: false
+---
+
+[comment]: <> (Faculty
+
+
+
+
+PhD Students
+
+
+ Nashid Noor (Jan 2020 - present)
+ Rahul Krishna (Sep 2017 - present)Mohammad Bajammal (Jan 2017 - present)
+ Quinn Hanam (Jan 2015 -- present)
+
+Master Students
+
+
+ Marjane Namavar (Sep 2019 - present)
+ Amirhossein Abbasi Makhshari (Sep 2019 - present)
+
+
+Graduated (Alumni)
+
+ Davood Mazinanian (post-doc, Oct 2017 - May 2019)Andrea Stocco (post-doc, Jan 2017 - Jan 2019)Saba Alimadadi (PhD, November 2017, dissertation) . Now Assistant Professor at SFUAmin Milani Fard (PhD, January 2017, dissertation )Mohamed Ali (MASc 2016 )
+
+ Frolin Ocariza Jr. (PhD, October 2016, dissertation) Arash Vahabzadeh (MASc 2016 )
+
+ Yucheng Zhang (MASc 2016 )
+
+ Mona Erfani Joorabchi (PhD, April 2016, dissertation )Keheliya Gallaba (MASc 2015 , co-supervised with Ivan Beschastnikh )Shabnam Mirshokraie (PhD, October 2015, dissertation )Kartik Bajaj (MASc 2014 )Golnaz Gharachorlu (MASc 2014 )
+ Sheldon Sequeira (MASc 2014 )
+ Mehdi Mirzaaghaei (post-doc 2014)Charanpreet Toor (MEng 2014)
+ Alireza Zarei (MASc 2014 )
+ Zahra Behfarshad (MASc 2013 )
+ Alex Nederlof (MSc 2013 ), co-supervised with Arie van Deursen Jeremy Hewett (MEng 2013)
+ Prabhjot Singh (MEng 2013)
+
+
+Interns/Visitors
+
+ Oksana Hlushko (2019)
+ Fernando Brito, Mitacs Global Link (2015)
+ Gregory Zhang (2014)
+ Erin Bush, NSERC USRA (2014)
+ Aakanksha Saha, Mitacs Global Link (2014)
+ Joseph Hejderup, TU Delft (2014)
+ Mohamed Ali, NSERC USRA (2013)
+ Nainy Argawal, Mitacs Global Link (2013)
+
+
+
+
diff --git a/source/mission/index.markdown b/source/mission/index.markdown
new file mode 100644
index 00000000..43930e55
--- /dev/null
+++ b/source/mission/index.markdown
@@ -0,0 +1,12 @@
+---
+layout: page
+title: "Mission"
+date: 2013-01-03 12:36
+comments: false
+sharing: false
+footer: false
+---
+
+The main mission of the Software AnaLysis and Testing (SALT) lab is to explore novel and automated techniques for supporting software dependability and evolution. Our main focus is currently on analysis and testing, fault localization and debugging, program comprehension, as well as software maintenance and evolution of modern web-based and mobile applications.
+
+SALT Lab is part of the department of Electrical and Computer Engineering , faculty of Applied Science , University of British Columbia (UBC).
\ No newline at end of file
diff --git a/source/open-positions/496.markdown b/source/open-positions/496.markdown
new file mode 100644
index 00000000..2d7ebf35
--- /dev/null
+++ b/source/open-positions/496.markdown
@@ -0,0 +1,41 @@
+---
+layout: page
+title: "EECE 496"
+date: 2013-01-03 12:36
+comments: false
+sharing: false
+footer: false
+---
+
+
+
496 Projects
+
+The SALT lab is offering the following projects as part of EECE 496 at UBC.
+
+
+
+List of Projects
+
+
+
+CSS Analysis and Visualization: CSS is a widely used language for describing the presentation semantics of HTML elements on the web. The
+language has a number of characteristics, such as inheritance
+and cascading order, which makes maintaining CSS code a
+challenging task for web developers. As a result, it is common
+for unused rules to be accumulated over time. Our lab has developed a software tool called CILLA, which is written in Java and is capable of automatically detecting unused CSS code in web applications. The goal of this 496 project is to build a visualization component for the textual output produced by CILLA by linking the detected unused code to the original CSS code so that developers can easily see which parts of the code needs maintenance and cleaning up activities.Mobile Application Navigation : This project offers an opportunity to explore how web applications running on mobile operating systems such as iOS (on e.g., iPhone, iPad) and Android can be automatically navigated and analyzed for cross-platform compatibility.Crawljax Plugins: Crawljax is a web crawler (see crawljax.com ) that can navigate any modern standards-based web application including JavaScript and Ajax-based ones. Crawljax has a plugin-based architecture and there are already many plugins available. This 496 project aims at designing and developing new generic web crawling and analysis plugins.
+
+These projects require strong programming skills. Students are expected to be committed and be able to work relatively independently as far as the implementation steps are concerned. There will be regular meetings to discuss the milestones on a conceptual/design level throughout the project.
+
+
+If you have other interesting EECE 496 projects in the areas of web and software engineering, send me an email and we can discuss the possibilities.
+
+
+
+
\ No newline at end of file
diff --git a/source/open-positions/index.markdown b/source/open-positions/index.markdown
new file mode 100644
index 00000000..d9c7836f
--- /dev/null
+++ b/source/open-positions/index.markdown
@@ -0,0 +1,56 @@
+---
+layout: page
+title: "Open Positions"
+date: 2013-01-03 12:36
+comments: false
+sharing: false
+footer: false
+---
+
+Postdoctoral Position
+A postdoctoral position is available in the SALT lab starting January 1, 2018 (negotiable). The term of the position is one year with a possible extension.
+Strong applicants are solicited in the broad areas of software engineering, software analysis and testing, bug prediction/detection/repair, web and mobile engineering, and software maintenance and evolution.
+
+Applications for this position should:
+
+have received (or soon expect to receive) their PhD
+have a strong publication record in software engineering and/or related venues
+strong software engineering skills
+
+
+If interested, please send a CV and a brief research statement to Dr. Mesbah , and arrange to have 3 letters of recommendation directly sent to the same email address.
+
+
+PhD and Master Students
+
+ We currently have PhD and MSc positions in the SALT lab. There are a number of exciting projects for graduate students with strong academic background and experience in software engineering, software analysis and testing, web and mobile engineering, and/or related areas of research. Interested candidates may contact Dr. Mesbah provided they meet the following criteria:
+
+
+ Strong academic background
+
+ Excellent programming skills
+
+ PhD applicants: Published or submitted ACM/IEEE papers from your Master's work. Having publications will strengthen your case.
+
+
+
+ Visit this page for general information about admission requirements and deadlines.
+
+
+
+ Undergraduate Research Assistantships
+
+
+ Each year, we have a number of USRA (Undergraduate Student Research Awards) interns in the SALT lab. If you are interested, contact Dr. Mesbah before the departmental deadline .
+
+
+ We also have a number of exciting EECE 496 thesis projects for strong undergrad students.
+
+
+ International undergraduate students should consider the MITACS Global Link projects. These are fully funded summer research projects. We are offering a number of research projects there for top international students.
+
+
+
+
+
+ VIDEO
diff --git a/source/publications/docs/UBC-SALT-2014-001.pdf b/source/publications/docs/UBC-SALT-2014-001.pdf
new file mode 100644
index 00000000..7b5f9c9c
Binary files /dev/null and b/source/publications/docs/UBC-SALT-2014-001.pdf differ
diff --git a/source/publications/docs/UBC-SALT-2014-002.pdf b/source/publications/docs/UBC-SALT-2014-002.pdf
new file mode 100644
index 00000000..23712228
Binary files /dev/null and b/source/publications/docs/UBC-SALT-2014-002.pdf differ
diff --git a/source/publications/docs/ase13.pdf b/source/publications/docs/ase13.pdf
new file mode 100644
index 00000000..d20fe65f
Binary files /dev/null and b/source/publications/docs/ase13.pdf differ
diff --git a/source/publications/docs/ase15-confix.pdf b/source/publications/docs/ase15-confix.pdf
new file mode 100644
index 00000000..f6bd3cc9
Binary files /dev/null and b/source/publications/docs/ase15-confix.pdf differ
diff --git a/source/publications/docs/ase15-led.pdf b/source/publications/docs/ase15-led.pdf
new file mode 100644
index 00000000..1ec870dc
Binary files /dev/null and b/source/publications/docs/ase15-led.pdf differ
diff --git a/source/publications/docs/ase17.pdf b/source/publications/docs/ase17.pdf
new file mode 100644
index 00000000..e17aad23
Binary files /dev/null and b/source/publications/docs/ase17.pdf differ
diff --git a/source/publications/docs/ase18.pdf b/source/publications/docs/ase18.pdf
new file mode 100644
index 00000000..472b0632
Binary files /dev/null and b/source/publications/docs/ase18.pdf differ
diff --git a/source/publications/docs/azarei-masc-thesis14.pdf b/source/publications/docs/azarei-masc-thesis14.pdf
new file mode 100644
index 00000000..f8d838df
Binary files /dev/null and b/source/publications/docs/azarei-masc-thesis14.pdf differ
diff --git a/source/publications/docs/clematis-icse14.pdf b/source/publications/docs/clematis-icse14.pdf
new file mode 100644
index 00000000..fb8a5869
Binary files /dev/null and b/source/publications/docs/clematis-icse14.pdf differ
diff --git a/source/publications/docs/deepdelta-fse19.pdf b/source/publications/docs/deepdelta-fse19.pdf
new file mode 100644
index 00000000..753ec928
Binary files /dev/null and b/source/publications/docs/deepdelta-fse19.pdf differ
diff --git a/source/publications/docs/dompletion-ase14.pdf b/source/publications/docs/dompletion-ase14.pdf
new file mode 100644
index 00000000..82c69077
Binary files /dev/null and b/source/publications/docs/dompletion-ase14.pdf differ
diff --git a/source/publications/docs/ecoop15.pdf b/source/publications/docs/ecoop15.pdf
new file mode 100644
index 00000000..aadb8976
Binary files /dev/null and b/source/publications/docs/ecoop15.pdf differ
diff --git a/source/publications/docs/fose16.pdf b/source/publications/docs/fose16.pdf
new file mode 100644
index 00000000..8d4266be
Binary files /dev/null and b/source/publications/docs/fose16.pdf differ
diff --git a/source/publications/docs/frolin-tse16.pdf b/source/publications/docs/frolin-tse16.pdf
new file mode 100644
index 00000000..3d3db510
Binary files /dev/null and b/source/publications/docs/frolin-tse16.pdf differ
diff --git a/source/publications/docs/fse14.pdf b/source/publications/docs/fse14.pdf
new file mode 100644
index 00000000..589ba315
Binary files /dev/null and b/source/publications/docs/fse14.pdf differ
diff --git a/source/publications/docs/fse15.pdf b/source/publications/docs/fse15.pdf
new file mode 100644
index 00000000..ac317745
Binary files /dev/null and b/source/publications/docs/fse15.pdf differ
diff --git a/source/publications/docs/fse16.pdf b/source/publications/docs/fse16.pdf
new file mode 100644
index 00000000..b15865b4
Binary files /dev/null and b/source/publications/docs/fse16.pdf differ
diff --git a/source/publications/docs/fse18-vista.pdf b/source/publications/docs/fse18-vista.pdf
new file mode 100644
index 00000000..d58d5590
Binary files /dev/null and b/source/publications/docs/fse18-vista.pdf differ
diff --git a/source/publications/docs/icse14-seip.pdf b/source/publications/docs/icse14-seip.pdf
new file mode 100644
index 00000000..4a528d8d
Binary files /dev/null and b/source/publications/docs/icse14-seip.pdf differ
diff --git a/source/publications/docs/icse15.pdf b/source/publications/docs/icse15.pdf
new file mode 100644
index 00000000..f67de612
Binary files /dev/null and b/source/publications/docs/icse15.pdf differ
diff --git a/source/publications/docs/icse16.pdf b/source/publications/docs/icse16.pdf
new file mode 100644
index 00000000..acfe3de9
Binary files /dev/null and b/source/publications/docs/icse16.pdf differ
diff --git a/source/publications/docs/icse18-sabalan.pdf b/source/publications/docs/icse18-sabalan.pdf
new file mode 100644
index 00000000..121c11c1
Binary files /dev/null and b/source/publications/docs/icse18-sabalan.pdf differ
diff --git a/source/publications/docs/icse18-testler.pdf b/source/publications/docs/icse18-testler.pdf
new file mode 100644
index 00000000..faf7f571
Binary files /dev/null and b/source/publications/docs/icse18-testler.pdf differ
diff --git a/source/publications/docs/icse19.pdf b/source/publications/docs/icse19.pdf
new file mode 100644
index 00000000..62984eea
Binary files /dev/null and b/source/publications/docs/icse19.pdf differ
diff --git a/source/publications/docs/icse20.pdf b/source/publications/docs/icse20.pdf
new file mode 100644
index 00000000..251930c4
Binary files /dev/null and b/source/publications/docs/icse20.pdf differ
diff --git a/source/publications/docs/icsme15.pdf b/source/publications/docs/icsme15.pdf
new file mode 100644
index 00000000..443854d3
Binary files /dev/null and b/source/publications/docs/icsme15.pdf differ
diff --git a/source/publications/docs/icsme17.pdf b/source/publications/docs/icsme17.pdf
new file mode 100644
index 00000000..c47edbb2
Binary files /dev/null and b/source/publications/docs/icsme17.pdf differ
diff --git a/source/publications/docs/icsme19.pdf b/source/publications/docs/icsme19.pdf
new file mode 100644
index 00000000..82144cc7
Binary files /dev/null and b/source/publications/docs/icsme19.pdf differ
diff --git a/source/publications/docs/icst10.pdf b/source/publications/docs/icst10.pdf
new file mode 100644
index 00000000..c43d3113
Binary files /dev/null and b/source/publications/docs/icst10.pdf differ
diff --git a/source/publications/docs/icst15.pdf b/source/publications/docs/icst15.pdf
new file mode 100644
index 00000000..82bc5325
Binary files /dev/null and b/source/publications/docs/icst15.pdf differ
diff --git a/source/publications/docs/icst16.pdf b/source/publications/docs/icst16.pdf
new file mode 100644
index 00000000..dca18c62
Binary files /dev/null and b/source/publications/docs/icst16.pdf differ
diff --git a/source/publications/docs/icst17.pdf b/source/publications/docs/icst17.pdf
new file mode 100644
index 00000000..be074598
Binary files /dev/null and b/source/publications/docs/icst17.pdf differ
diff --git a/source/publications/docs/icst18.pdf b/source/publications/docs/icst18.pdf
new file mode 100644
index 00000000..1c8d080d
Binary files /dev/null and b/source/publications/docs/icst18.pdf differ
diff --git a/source/publications/docs/icst19.pdf b/source/publications/docs/icst19.pdf
new file mode 100644
index 00000000..fe6b6f29
Binary files /dev/null and b/source/publications/docs/icst19.pdf differ
diff --git a/source/publications/docs/issre15.pdf b/source/publications/docs/issre15.pdf
new file mode 100644
index 00000000..5fed4f74
Binary files /dev/null and b/source/publications/docs/issre15.pdf differ
diff --git a/source/publications/docs/issta14.pdf b/source/publications/docs/issta14.pdf
new file mode 100644
index 00000000..1b7574c3
Binary files /dev/null and b/source/publications/docs/issta14.pdf differ
diff --git a/source/publications/docs/jss08.pdf b/source/publications/docs/jss08.pdf
new file mode 100644
index 00000000..0f5f9dc0
Binary files /dev/null and b/source/publications/docs/jss08.pdf differ
diff --git a/source/publications/docs/kartik-msr14.pdf b/source/publications/docs/kartik-msr14.pdf
new file mode 100644
index 00000000..271ac7bb
Binary files /dev/null and b/source/publications/docs/kartik-msr14.pdf differ
diff --git a/source/publications/docs/mesbah-dissertation.pdf b/source/publications/docs/mesbah-dissertation.pdf
new file mode 100644
index 00000000..f12a0a27
Binary files /dev/null and b/source/publications/docs/mesbah-dissertation.pdf differ
diff --git a/source/publications/docs/mobilesoft17.pdf b/source/publications/docs/mobilesoft17.pdf
new file mode 100644
index 00000000..50beb250
Binary files /dev/null and b/source/publications/docs/mobilesoft17.pdf differ
diff --git a/source/publications/docs/mona-msr14.pdf b/source/publications/docs/mona-msr14.pdf
new file mode 100644
index 00000000..b1bdc1a2
Binary files /dev/null and b/source/publications/docs/mona-msr14.pdf differ
diff --git a/source/publications/docs/mutandis-tse.pdf b/source/publications/docs/mutandis-tse.pdf
new file mode 100644
index 00000000..4d7d6a72
Binary files /dev/null and b/source/publications/docs/mutandis-tse.pdf differ
diff --git a/source/publications/docs/roundtable16.pdf b/source/publications/docs/roundtable16.pdf
new file mode 100644
index 00000000..85e63439
Binary files /dev/null and b/source/publications/docs/roundtable16.pdf differ
diff --git a/source/publications/docs/stvr15-frolin.pdf b/source/publications/docs/stvr15-frolin.pdf
new file mode 100644
index 00000000..7bf0b385
Binary files /dev/null and b/source/publications/docs/stvr15-frolin.pdf differ
diff --git a/source/publications/docs/tedd-fse19.pdf b/source/publications/docs/tedd-fse19.pdf
new file mode 100644
index 00000000..e77bc119
Binary files /dev/null and b/source/publications/docs/tedd-fse19.pdf differ
diff --git a/source/publications/docs/testilizer-ase14.pdf b/source/publications/docs/testilizer-ase14.pdf
new file mode 100644
index 00000000..859094fe
Binary files /dev/null and b/source/publications/docs/testilizer-ase14.pdf differ
diff --git a/source/publications/docs/tosem16.pdf b/source/publications/docs/tosem16.pdf
new file mode 100644
index 00000000..126485ce
Binary files /dev/null and b/source/publications/docs/tosem16.pdf differ
diff --git a/source/publications/docs/vejovis-icse14.pdf b/source/publications/docs/vejovis-icse14.pdf
new file mode 100644
index 00000000..cd475922
Binary files /dev/null and b/source/publications/docs/vejovis-icse14.pdf differ
diff --git a/source/publications/index.markdown b/source/publications/index.markdown
new file mode 100644
index 00000000..a09e2d13
--- /dev/null
+++ b/source/publications/index.markdown
@@ -0,0 +1,17 @@
+---
+layout: page
+title: "Publications"
+comments: false
+sharing: false
+footer: false
+sidebar: false
+---
+
+
+
+{% for myyear in (2007..2020) reversed %}
+
{{myyear}}
+ {% bibliography --query @*[year={{myyear}}] %}
+{% endfor %}
+
+
\ No newline at end of file
diff --git a/source/robots.txt b/source/robots.txt
new file mode 100644
index 00000000..ee34c720
--- /dev/null
+++ b/source/robots.txt
@@ -0,0 +1,7 @@
+---
+layout: null
+---
+User-agent: *
+Disallow:
+
+Sitemap: {{ site.url }}/sitemap.xml
diff --git a/source/slides/dompletion-ase14.pdf b/source/slides/dompletion-ase14.pdf
new file mode 100644
index 00000000..27e3d61b
Binary files /dev/null and b/source/slides/dompletion-ase14.pdf differ
diff --git a/source/slides/icse14-clematis.pdf b/source/slides/icse14-clematis.pdf
new file mode 100644
index 00000000..9d34b1fe
Binary files /dev/null and b/source/slides/icse14-clematis.pdf differ
diff --git a/source/slides/icse14-seip.pdf b/source/slides/icse14-seip.pdf
new file mode 100644
index 00000000..e3c54855
Binary files /dev/null and b/source/slides/icse14-seip.pdf differ
diff --git a/source/slides/icse14-vejovis.pdf b/source/slides/icse14-vejovis.pdf
new file mode 100644
index 00000000..03184b17
Binary files /dev/null and b/source/slides/icse14-vejovis.pdf differ
diff --git a/source/slides/issta14.pdf b/source/slides/issta14.pdf
new file mode 100644
index 00000000..80b69bab
Binary files /dev/null and b/source/slides/issta14.pdf differ
diff --git a/source/slides/msr14-nr.pdf b/source/slides/msr14-nr.pdf
new file mode 100644
index 00000000..4fdb99b3
Binary files /dev/null and b/source/slides/msr14-nr.pdf differ
diff --git a/source/slides/msr14-so.pdf b/source/slides/msr14-so.pdf
new file mode 100644
index 00000000..b06c5d85
Binary files /dev/null and b/source/slides/msr14-so.pdf differ
diff --git a/source/slides/ppt/icse14-clematis.pptx b/source/slides/ppt/icse14-clematis.pptx
new file mode 100644
index 00000000..63ac10ed
Binary files /dev/null and b/source/slides/ppt/icse14-clematis.pptx differ
diff --git a/source/slides/ppt/icse14-vejovis.pptx b/source/slides/ppt/icse14-vejovis.pptx
new file mode 100644
index 00000000..bbb4b6bc
Binary files /dev/null and b/source/slides/ppt/icse14-vejovis.pptx differ
diff --git a/source/slides/ppt/msr14-nr.ppt b/source/slides/ppt/msr14-nr.ppt
new file mode 100644
index 00000000..985f642f
Binary files /dev/null and b/source/slides/ppt/msr14-nr.ppt differ
diff --git a/source/slides/ppt/msr14-so.pptx b/source/slides/ppt/msr14-so.pptx
new file mode 100644
index 00000000..6ef47a12
Binary files /dev/null and b/source/slides/ppt/msr14-so.pptx differ
diff --git a/software/assertion-study/experimental-data.zip b/source/software/assertion-study/experimental-data.zip
similarity index 100%
rename from software/assertion-study/experimental-data.zip
rename to source/software/assertion-study/experimental-data.zip
diff --git a/software/assertion-study/index.markdown b/source/software/assertion-study/index.markdown
similarity index 100%
rename from software/assertion-study/index.markdown
rename to source/software/assertion-study/index.markdown
diff --git a/software/bugaid-old/.index.html.swp b/source/software/bugaid-old/.index.html.swp
similarity index 100%
rename from software/bugaid-old/.index.html.swp
rename to source/software/bugaid-old/.index.html.swp
diff --git a/software/bugaid-old/bootstrap.css b/source/software/bugaid-old/bootstrap.css
similarity index 100%
rename from software/bugaid-old/bootstrap.css
rename to source/software/bugaid-old/bootstrap.css
diff --git a/software/bugaid-old/bootswatch.js b/source/software/bugaid-old/bootswatch.js
similarity index 100%
rename from software/bugaid-old/bootswatch.js
rename to source/software/bugaid-old/bootswatch.js
diff --git a/software/bugaid-old/bootswatch.min.css b/source/software/bugaid-old/bootswatch.min.css
similarity index 100%
rename from software/bugaid-old/bootswatch.min.css
rename to source/software/bugaid-old/bootswatch.min.css
diff --git a/software/bugaid-old/data/subject-apps.csv b/source/software/bugaid-old/data/subject-apps.csv
similarity index 100%
rename from software/bugaid-old/data/subject-apps.csv
rename to source/software/bugaid-old/data/subject-apps.csv
diff --git a/software/bugaid-old/data/subject-modules.csv b/source/software/bugaid-old/data/subject-modules.csv
similarity index 100%
rename from software/bugaid-old/data/subject-modules.csv
rename to source/software/bugaid-old/data/subject-modules.csv
diff --git a/software/bugaid-old/index.html b/source/software/bugaid-old/index.html
similarity index 100%
rename from software/bugaid-old/index.html
rename to source/software/bugaid-old/index.html
diff --git a/software/bugaid-old/jquery.csv-0.71.min.js b/source/software/bugaid-old/jquery.csv-0.71.min.js
similarity index 100%
rename from software/bugaid-old/jquery.csv-0.71.min.js
rename to source/software/bugaid-old/jquery.csv-0.71.min.js
diff --git a/software/bugaid-old/results/empirical_data.tar.gz b/source/software/bugaid-old/results/empirical_data.tar.gz
similarity index 100%
rename from software/bugaid-old/results/empirical_data.tar.gz
rename to source/software/bugaid-old/results/empirical_data.tar.gz
diff --git a/software/bugaid-old/results/tech-report.pdf b/source/software/bugaid-old/results/tech-report.pdf
similarity index 100%
rename from software/bugaid-old/results/tech-report.pdf
rename to source/software/bugaid-old/results/tech-report.pdf
diff --git a/software/bugaid-old/results/tuning_data.tar.gz b/source/software/bugaid-old/results/tuning_data.tar.gz
similarity index 100%
rename from software/bugaid-old/results/tuning_data.tar.gz
rename to source/software/bugaid-old/results/tuning_data.tar.gz
diff --git a/software/bugaid-old/table-bugs.png b/source/software/bugaid-old/table-bugs.png
similarity index 100%
rename from software/bugaid-old/table-bugs.png
rename to source/software/bugaid-old/table-bugs.png
diff --git a/software/bugaid/bootstrap.css b/source/software/bugaid/bootstrap.css
similarity index 100%
rename from software/bugaid/bootstrap.css
rename to source/software/bugaid/bootstrap.css
diff --git a/software/bugaid/bootswatch.js b/source/software/bugaid/bootswatch.js
similarity index 100%
rename from software/bugaid/bootswatch.js
rename to source/software/bugaid/bootswatch.js
diff --git a/software/bugaid/bootswatch.min.css b/source/software/bugaid/bootswatch.min.css
similarity index 100%
rename from software/bugaid/bootswatch.min.css
rename to source/software/bugaid/bootswatch.min.css
diff --git a/software/bugaid/custom.css b/source/software/bugaid/custom.css
similarity index 100%
rename from software/bugaid/custom.css
rename to source/software/bugaid/custom.css
diff --git a/software/bugaid/custom.js b/source/software/bugaid/custom.js
similarity index 100%
rename from software/bugaid/custom.js
rename to source/software/bugaid/custom.js
diff --git a/software/bugaid/data/basic-change-types.csv b/source/software/bugaid/data/basic-change-types.csv
similarity index 100%
rename from software/bugaid/data/basic-change-types.csv
rename to source/software/bugaid/data/basic-change-types.csv
diff --git a/software/bugaid/data/bug-patterns.csv b/source/software/bugaid/data/bug-patterns.csv
similarity index 100%
rename from software/bugaid/data/bug-patterns.csv
rename to source/software/bugaid/data/bug-patterns.csv
diff --git a/software/bugaid/data/clusters/0.csv b/source/software/bugaid/data/clusters/0.csv
similarity index 100%
rename from software/bugaid/data/clusters/0.csv
rename to source/software/bugaid/data/clusters/0.csv
diff --git a/software/bugaid/data/clusters/1.csv b/source/software/bugaid/data/clusters/1.csv
similarity index 100%
rename from software/bugaid/data/clusters/1.csv
rename to source/software/bugaid/data/clusters/1.csv
diff --git a/software/bugaid/data/clusters/10.csv b/source/software/bugaid/data/clusters/10.csv
similarity index 100%
rename from software/bugaid/data/clusters/10.csv
rename to source/software/bugaid/data/clusters/10.csv
diff --git a/software/bugaid/data/clusters/100.csv b/source/software/bugaid/data/clusters/100.csv
similarity index 100%
rename from software/bugaid/data/clusters/100.csv
rename to source/software/bugaid/data/clusters/100.csv
diff --git a/software/bugaid/data/clusters/101.csv b/source/software/bugaid/data/clusters/101.csv
similarity index 100%
rename from software/bugaid/data/clusters/101.csv
rename to source/software/bugaid/data/clusters/101.csv
diff --git a/software/bugaid/data/clusters/102.csv b/source/software/bugaid/data/clusters/102.csv
similarity index 100%
rename from software/bugaid/data/clusters/102.csv
rename to source/software/bugaid/data/clusters/102.csv
diff --git a/software/bugaid/data/clusters/103.csv b/source/software/bugaid/data/clusters/103.csv
similarity index 100%
rename from software/bugaid/data/clusters/103.csv
rename to source/software/bugaid/data/clusters/103.csv
diff --git a/software/bugaid/data/clusters/104.csv b/source/software/bugaid/data/clusters/104.csv
similarity index 100%
rename from software/bugaid/data/clusters/104.csv
rename to source/software/bugaid/data/clusters/104.csv
diff --git a/software/bugaid/data/clusters/105.csv b/source/software/bugaid/data/clusters/105.csv
similarity index 100%
rename from software/bugaid/data/clusters/105.csv
rename to source/software/bugaid/data/clusters/105.csv
diff --git a/software/bugaid/data/clusters/106.csv b/source/software/bugaid/data/clusters/106.csv
similarity index 100%
rename from software/bugaid/data/clusters/106.csv
rename to source/software/bugaid/data/clusters/106.csv
diff --git a/software/bugaid/data/clusters/107.csv b/source/software/bugaid/data/clusters/107.csv
similarity index 100%
rename from software/bugaid/data/clusters/107.csv
rename to source/software/bugaid/data/clusters/107.csv
diff --git a/software/bugaid/data/clusters/108.csv b/source/software/bugaid/data/clusters/108.csv
similarity index 100%
rename from software/bugaid/data/clusters/108.csv
rename to source/software/bugaid/data/clusters/108.csv
diff --git a/software/bugaid/data/clusters/109.csv b/source/software/bugaid/data/clusters/109.csv
similarity index 100%
rename from software/bugaid/data/clusters/109.csv
rename to source/software/bugaid/data/clusters/109.csv
diff --git a/software/bugaid/data/clusters/11.csv b/source/software/bugaid/data/clusters/11.csv
similarity index 100%
rename from software/bugaid/data/clusters/11.csv
rename to source/software/bugaid/data/clusters/11.csv
diff --git a/software/bugaid/data/clusters/110.csv b/source/software/bugaid/data/clusters/110.csv
similarity index 100%
rename from software/bugaid/data/clusters/110.csv
rename to source/software/bugaid/data/clusters/110.csv
diff --git a/software/bugaid/data/clusters/111.csv b/source/software/bugaid/data/clusters/111.csv
similarity index 100%
rename from software/bugaid/data/clusters/111.csv
rename to source/software/bugaid/data/clusters/111.csv
diff --git a/software/bugaid/data/clusters/112.csv b/source/software/bugaid/data/clusters/112.csv
similarity index 100%
rename from software/bugaid/data/clusters/112.csv
rename to source/software/bugaid/data/clusters/112.csv
diff --git a/software/bugaid/data/clusters/113.csv b/source/software/bugaid/data/clusters/113.csv
similarity index 100%
rename from software/bugaid/data/clusters/113.csv
rename to source/software/bugaid/data/clusters/113.csv
diff --git a/software/bugaid/data/clusters/114.csv b/source/software/bugaid/data/clusters/114.csv
similarity index 100%
rename from software/bugaid/data/clusters/114.csv
rename to source/software/bugaid/data/clusters/114.csv
diff --git a/software/bugaid/data/clusters/115.csv b/source/software/bugaid/data/clusters/115.csv
similarity index 100%
rename from software/bugaid/data/clusters/115.csv
rename to source/software/bugaid/data/clusters/115.csv
diff --git a/software/bugaid/data/clusters/116.csv b/source/software/bugaid/data/clusters/116.csv
similarity index 100%
rename from software/bugaid/data/clusters/116.csv
rename to source/software/bugaid/data/clusters/116.csv
diff --git a/software/bugaid/data/clusters/117.csv b/source/software/bugaid/data/clusters/117.csv
similarity index 100%
rename from software/bugaid/data/clusters/117.csv
rename to source/software/bugaid/data/clusters/117.csv
diff --git a/software/bugaid/data/clusters/118.csv b/source/software/bugaid/data/clusters/118.csv
similarity index 100%
rename from software/bugaid/data/clusters/118.csv
rename to source/software/bugaid/data/clusters/118.csv
diff --git a/software/bugaid/data/clusters/119.csv b/source/software/bugaid/data/clusters/119.csv
similarity index 100%
rename from software/bugaid/data/clusters/119.csv
rename to source/software/bugaid/data/clusters/119.csv
diff --git a/software/bugaid/data/clusters/12.csv b/source/software/bugaid/data/clusters/12.csv
similarity index 100%
rename from software/bugaid/data/clusters/12.csv
rename to source/software/bugaid/data/clusters/12.csv
diff --git a/software/bugaid/data/clusters/120.csv b/source/software/bugaid/data/clusters/120.csv
similarity index 100%
rename from software/bugaid/data/clusters/120.csv
rename to source/software/bugaid/data/clusters/120.csv
diff --git a/software/bugaid/data/clusters/121.csv b/source/software/bugaid/data/clusters/121.csv
similarity index 100%
rename from software/bugaid/data/clusters/121.csv
rename to source/software/bugaid/data/clusters/121.csv
diff --git a/software/bugaid/data/clusters/122.csv b/source/software/bugaid/data/clusters/122.csv
similarity index 100%
rename from software/bugaid/data/clusters/122.csv
rename to source/software/bugaid/data/clusters/122.csv
diff --git a/software/bugaid/data/clusters/123.csv b/source/software/bugaid/data/clusters/123.csv
similarity index 100%
rename from software/bugaid/data/clusters/123.csv
rename to source/software/bugaid/data/clusters/123.csv
diff --git a/software/bugaid/data/clusters/124.csv b/source/software/bugaid/data/clusters/124.csv
similarity index 100%
rename from software/bugaid/data/clusters/124.csv
rename to source/software/bugaid/data/clusters/124.csv
diff --git a/software/bugaid/data/clusters/125.csv b/source/software/bugaid/data/clusters/125.csv
similarity index 100%
rename from software/bugaid/data/clusters/125.csv
rename to source/software/bugaid/data/clusters/125.csv
diff --git a/software/bugaid/data/clusters/126.csv b/source/software/bugaid/data/clusters/126.csv
similarity index 100%
rename from software/bugaid/data/clusters/126.csv
rename to source/software/bugaid/data/clusters/126.csv
diff --git a/software/bugaid/data/clusters/127.csv b/source/software/bugaid/data/clusters/127.csv
similarity index 100%
rename from software/bugaid/data/clusters/127.csv
rename to source/software/bugaid/data/clusters/127.csv
diff --git a/software/bugaid/data/clusters/128.csv b/source/software/bugaid/data/clusters/128.csv
similarity index 100%
rename from software/bugaid/data/clusters/128.csv
rename to source/software/bugaid/data/clusters/128.csv
diff --git a/software/bugaid/data/clusters/129.csv b/source/software/bugaid/data/clusters/129.csv
similarity index 100%
rename from software/bugaid/data/clusters/129.csv
rename to source/software/bugaid/data/clusters/129.csv
diff --git a/software/bugaid/data/clusters/13.csv b/source/software/bugaid/data/clusters/13.csv
similarity index 100%
rename from software/bugaid/data/clusters/13.csv
rename to source/software/bugaid/data/clusters/13.csv
diff --git a/software/bugaid/data/clusters/130.csv b/source/software/bugaid/data/clusters/130.csv
similarity index 100%
rename from software/bugaid/data/clusters/130.csv
rename to source/software/bugaid/data/clusters/130.csv
diff --git a/software/bugaid/data/clusters/131.csv b/source/software/bugaid/data/clusters/131.csv
similarity index 100%
rename from software/bugaid/data/clusters/131.csv
rename to source/software/bugaid/data/clusters/131.csv
diff --git a/software/bugaid/data/clusters/132.csv b/source/software/bugaid/data/clusters/132.csv
similarity index 100%
rename from software/bugaid/data/clusters/132.csv
rename to source/software/bugaid/data/clusters/132.csv
diff --git a/software/bugaid/data/clusters/133.csv b/source/software/bugaid/data/clusters/133.csv
similarity index 100%
rename from software/bugaid/data/clusters/133.csv
rename to source/software/bugaid/data/clusters/133.csv
diff --git a/software/bugaid/data/clusters/134.csv b/source/software/bugaid/data/clusters/134.csv
similarity index 100%
rename from software/bugaid/data/clusters/134.csv
rename to source/software/bugaid/data/clusters/134.csv
diff --git a/software/bugaid/data/clusters/135.csv b/source/software/bugaid/data/clusters/135.csv
similarity index 100%
rename from software/bugaid/data/clusters/135.csv
rename to source/software/bugaid/data/clusters/135.csv
diff --git a/software/bugaid/data/clusters/136.csv b/source/software/bugaid/data/clusters/136.csv
similarity index 100%
rename from software/bugaid/data/clusters/136.csv
rename to source/software/bugaid/data/clusters/136.csv
diff --git a/software/bugaid/data/clusters/137.csv b/source/software/bugaid/data/clusters/137.csv
similarity index 100%
rename from software/bugaid/data/clusters/137.csv
rename to source/software/bugaid/data/clusters/137.csv
diff --git a/software/bugaid/data/clusters/138.csv b/source/software/bugaid/data/clusters/138.csv
similarity index 100%
rename from software/bugaid/data/clusters/138.csv
rename to source/software/bugaid/data/clusters/138.csv
diff --git a/software/bugaid/data/clusters/139.csv b/source/software/bugaid/data/clusters/139.csv
similarity index 100%
rename from software/bugaid/data/clusters/139.csv
rename to source/software/bugaid/data/clusters/139.csv
diff --git a/software/bugaid/data/clusters/14.csv b/source/software/bugaid/data/clusters/14.csv
similarity index 100%
rename from software/bugaid/data/clusters/14.csv
rename to source/software/bugaid/data/clusters/14.csv
diff --git a/software/bugaid/data/clusters/140.csv b/source/software/bugaid/data/clusters/140.csv
similarity index 100%
rename from software/bugaid/data/clusters/140.csv
rename to source/software/bugaid/data/clusters/140.csv
diff --git a/software/bugaid/data/clusters/141.csv b/source/software/bugaid/data/clusters/141.csv
similarity index 100%
rename from software/bugaid/data/clusters/141.csv
rename to source/software/bugaid/data/clusters/141.csv
diff --git a/software/bugaid/data/clusters/142.csv b/source/software/bugaid/data/clusters/142.csv
similarity index 100%
rename from software/bugaid/data/clusters/142.csv
rename to source/software/bugaid/data/clusters/142.csv
diff --git a/software/bugaid/data/clusters/143.csv b/source/software/bugaid/data/clusters/143.csv
similarity index 100%
rename from software/bugaid/data/clusters/143.csv
rename to source/software/bugaid/data/clusters/143.csv
diff --git a/software/bugaid/data/clusters/144.csv b/source/software/bugaid/data/clusters/144.csv
similarity index 100%
rename from software/bugaid/data/clusters/144.csv
rename to source/software/bugaid/data/clusters/144.csv
diff --git a/software/bugaid/data/clusters/145.csv b/source/software/bugaid/data/clusters/145.csv
similarity index 100%
rename from software/bugaid/data/clusters/145.csv
rename to source/software/bugaid/data/clusters/145.csv
diff --git a/software/bugaid/data/clusters/146.csv b/source/software/bugaid/data/clusters/146.csv
similarity index 100%
rename from software/bugaid/data/clusters/146.csv
rename to source/software/bugaid/data/clusters/146.csv
diff --git a/software/bugaid/data/clusters/147.csv b/source/software/bugaid/data/clusters/147.csv
similarity index 100%
rename from software/bugaid/data/clusters/147.csv
rename to source/software/bugaid/data/clusters/147.csv
diff --git a/software/bugaid/data/clusters/148.csv b/source/software/bugaid/data/clusters/148.csv
similarity index 100%
rename from software/bugaid/data/clusters/148.csv
rename to source/software/bugaid/data/clusters/148.csv
diff --git a/software/bugaid/data/clusters/149.csv b/source/software/bugaid/data/clusters/149.csv
similarity index 100%
rename from software/bugaid/data/clusters/149.csv
rename to source/software/bugaid/data/clusters/149.csv
diff --git a/software/bugaid/data/clusters/15.csv b/source/software/bugaid/data/clusters/15.csv
similarity index 100%
rename from software/bugaid/data/clusters/15.csv
rename to source/software/bugaid/data/clusters/15.csv
diff --git a/software/bugaid/data/clusters/150.csv b/source/software/bugaid/data/clusters/150.csv
similarity index 100%
rename from software/bugaid/data/clusters/150.csv
rename to source/software/bugaid/data/clusters/150.csv
diff --git a/software/bugaid/data/clusters/151.csv b/source/software/bugaid/data/clusters/151.csv
similarity index 100%
rename from software/bugaid/data/clusters/151.csv
rename to source/software/bugaid/data/clusters/151.csv
diff --git a/software/bugaid/data/clusters/152.csv b/source/software/bugaid/data/clusters/152.csv
similarity index 100%
rename from software/bugaid/data/clusters/152.csv
rename to source/software/bugaid/data/clusters/152.csv
diff --git a/software/bugaid/data/clusters/153.csv b/source/software/bugaid/data/clusters/153.csv
similarity index 100%
rename from software/bugaid/data/clusters/153.csv
rename to source/software/bugaid/data/clusters/153.csv
diff --git a/software/bugaid/data/clusters/154.csv b/source/software/bugaid/data/clusters/154.csv
similarity index 100%
rename from software/bugaid/data/clusters/154.csv
rename to source/software/bugaid/data/clusters/154.csv
diff --git a/software/bugaid/data/clusters/155.csv b/source/software/bugaid/data/clusters/155.csv
similarity index 100%
rename from software/bugaid/data/clusters/155.csv
rename to source/software/bugaid/data/clusters/155.csv
diff --git a/software/bugaid/data/clusters/156.csv b/source/software/bugaid/data/clusters/156.csv
similarity index 100%
rename from software/bugaid/data/clusters/156.csv
rename to source/software/bugaid/data/clusters/156.csv
diff --git a/software/bugaid/data/clusters/157.csv b/source/software/bugaid/data/clusters/157.csv
similarity index 100%
rename from software/bugaid/data/clusters/157.csv
rename to source/software/bugaid/data/clusters/157.csv
diff --git a/software/bugaid/data/clusters/158.csv b/source/software/bugaid/data/clusters/158.csv
similarity index 100%
rename from software/bugaid/data/clusters/158.csv
rename to source/software/bugaid/data/clusters/158.csv
diff --git a/software/bugaid/data/clusters/159.csv b/source/software/bugaid/data/clusters/159.csv
similarity index 100%
rename from software/bugaid/data/clusters/159.csv
rename to source/software/bugaid/data/clusters/159.csv
diff --git a/software/bugaid/data/clusters/16.csv b/source/software/bugaid/data/clusters/16.csv
similarity index 100%
rename from software/bugaid/data/clusters/16.csv
rename to source/software/bugaid/data/clusters/16.csv
diff --git a/software/bugaid/data/clusters/160.csv b/source/software/bugaid/data/clusters/160.csv
similarity index 100%
rename from software/bugaid/data/clusters/160.csv
rename to source/software/bugaid/data/clusters/160.csv
diff --git a/software/bugaid/data/clusters/161.csv b/source/software/bugaid/data/clusters/161.csv
similarity index 100%
rename from software/bugaid/data/clusters/161.csv
rename to source/software/bugaid/data/clusters/161.csv
diff --git a/software/bugaid/data/clusters/162.csv b/source/software/bugaid/data/clusters/162.csv
similarity index 100%
rename from software/bugaid/data/clusters/162.csv
rename to source/software/bugaid/data/clusters/162.csv
diff --git a/software/bugaid/data/clusters/163.csv b/source/software/bugaid/data/clusters/163.csv
similarity index 100%
rename from software/bugaid/data/clusters/163.csv
rename to source/software/bugaid/data/clusters/163.csv
diff --git a/software/bugaid/data/clusters/164.csv b/source/software/bugaid/data/clusters/164.csv
similarity index 100%
rename from software/bugaid/data/clusters/164.csv
rename to source/software/bugaid/data/clusters/164.csv
diff --git a/software/bugaid/data/clusters/165.csv b/source/software/bugaid/data/clusters/165.csv
similarity index 100%
rename from software/bugaid/data/clusters/165.csv
rename to source/software/bugaid/data/clusters/165.csv
diff --git a/software/bugaid/data/clusters/166.csv b/source/software/bugaid/data/clusters/166.csv
similarity index 100%
rename from software/bugaid/data/clusters/166.csv
rename to source/software/bugaid/data/clusters/166.csv
diff --git a/software/bugaid/data/clusters/167.csv b/source/software/bugaid/data/clusters/167.csv
similarity index 100%
rename from software/bugaid/data/clusters/167.csv
rename to source/software/bugaid/data/clusters/167.csv
diff --git a/software/bugaid/data/clusters/168.csv b/source/software/bugaid/data/clusters/168.csv
similarity index 100%
rename from software/bugaid/data/clusters/168.csv
rename to source/software/bugaid/data/clusters/168.csv
diff --git a/software/bugaid/data/clusters/169.csv b/source/software/bugaid/data/clusters/169.csv
similarity index 100%
rename from software/bugaid/data/clusters/169.csv
rename to source/software/bugaid/data/clusters/169.csv
diff --git a/software/bugaid/data/clusters/17.csv b/source/software/bugaid/data/clusters/17.csv
similarity index 100%
rename from software/bugaid/data/clusters/17.csv
rename to source/software/bugaid/data/clusters/17.csv
diff --git a/software/bugaid/data/clusters/170.csv b/source/software/bugaid/data/clusters/170.csv
similarity index 100%
rename from software/bugaid/data/clusters/170.csv
rename to source/software/bugaid/data/clusters/170.csv
diff --git a/software/bugaid/data/clusters/171.csv b/source/software/bugaid/data/clusters/171.csv
similarity index 100%
rename from software/bugaid/data/clusters/171.csv
rename to source/software/bugaid/data/clusters/171.csv
diff --git a/software/bugaid/data/clusters/172.csv b/source/software/bugaid/data/clusters/172.csv
similarity index 100%
rename from software/bugaid/data/clusters/172.csv
rename to source/software/bugaid/data/clusters/172.csv
diff --git a/software/bugaid/data/clusters/173.csv b/source/software/bugaid/data/clusters/173.csv
similarity index 100%
rename from software/bugaid/data/clusters/173.csv
rename to source/software/bugaid/data/clusters/173.csv
diff --git a/software/bugaid/data/clusters/174.csv b/source/software/bugaid/data/clusters/174.csv
similarity index 100%
rename from software/bugaid/data/clusters/174.csv
rename to source/software/bugaid/data/clusters/174.csv
diff --git a/software/bugaid/data/clusters/175.csv b/source/software/bugaid/data/clusters/175.csv
similarity index 100%
rename from software/bugaid/data/clusters/175.csv
rename to source/software/bugaid/data/clusters/175.csv
diff --git a/software/bugaid/data/clusters/176.csv b/source/software/bugaid/data/clusters/176.csv
similarity index 100%
rename from software/bugaid/data/clusters/176.csv
rename to source/software/bugaid/data/clusters/176.csv
diff --git a/software/bugaid/data/clusters/177.csv b/source/software/bugaid/data/clusters/177.csv
similarity index 100%
rename from software/bugaid/data/clusters/177.csv
rename to source/software/bugaid/data/clusters/177.csv
diff --git a/software/bugaid/data/clusters/178.csv b/source/software/bugaid/data/clusters/178.csv
similarity index 100%
rename from software/bugaid/data/clusters/178.csv
rename to source/software/bugaid/data/clusters/178.csv
diff --git a/software/bugaid/data/clusters/179.csv b/source/software/bugaid/data/clusters/179.csv
similarity index 100%
rename from software/bugaid/data/clusters/179.csv
rename to source/software/bugaid/data/clusters/179.csv
diff --git a/software/bugaid/data/clusters/18.csv b/source/software/bugaid/data/clusters/18.csv
similarity index 100%
rename from software/bugaid/data/clusters/18.csv
rename to source/software/bugaid/data/clusters/18.csv
diff --git a/software/bugaid/data/clusters/180.csv b/source/software/bugaid/data/clusters/180.csv
similarity index 100%
rename from software/bugaid/data/clusters/180.csv
rename to source/software/bugaid/data/clusters/180.csv
diff --git a/software/bugaid/data/clusters/181.csv b/source/software/bugaid/data/clusters/181.csv
similarity index 100%
rename from software/bugaid/data/clusters/181.csv
rename to source/software/bugaid/data/clusters/181.csv
diff --git a/software/bugaid/data/clusters/182.csv b/source/software/bugaid/data/clusters/182.csv
similarity index 100%
rename from software/bugaid/data/clusters/182.csv
rename to source/software/bugaid/data/clusters/182.csv
diff --git a/software/bugaid/data/clusters/183.csv b/source/software/bugaid/data/clusters/183.csv
similarity index 100%
rename from software/bugaid/data/clusters/183.csv
rename to source/software/bugaid/data/clusters/183.csv
diff --git a/software/bugaid/data/clusters/184.csv b/source/software/bugaid/data/clusters/184.csv
similarity index 100%
rename from software/bugaid/data/clusters/184.csv
rename to source/software/bugaid/data/clusters/184.csv
diff --git a/software/bugaid/data/clusters/185.csv b/source/software/bugaid/data/clusters/185.csv
similarity index 100%
rename from software/bugaid/data/clusters/185.csv
rename to source/software/bugaid/data/clusters/185.csv
diff --git a/software/bugaid/data/clusters/186.csv b/source/software/bugaid/data/clusters/186.csv
similarity index 100%
rename from software/bugaid/data/clusters/186.csv
rename to source/software/bugaid/data/clusters/186.csv
diff --git a/software/bugaid/data/clusters/187.csv b/source/software/bugaid/data/clusters/187.csv
similarity index 100%
rename from software/bugaid/data/clusters/187.csv
rename to source/software/bugaid/data/clusters/187.csv
diff --git a/software/bugaid/data/clusters/188.csv b/source/software/bugaid/data/clusters/188.csv
similarity index 100%
rename from software/bugaid/data/clusters/188.csv
rename to source/software/bugaid/data/clusters/188.csv
diff --git a/software/bugaid/data/clusters/189.csv b/source/software/bugaid/data/clusters/189.csv
similarity index 100%
rename from software/bugaid/data/clusters/189.csv
rename to source/software/bugaid/data/clusters/189.csv
diff --git a/software/bugaid/data/clusters/19.csv b/source/software/bugaid/data/clusters/19.csv
similarity index 100%
rename from software/bugaid/data/clusters/19.csv
rename to source/software/bugaid/data/clusters/19.csv
diff --git a/software/bugaid/data/clusters/190.csv b/source/software/bugaid/data/clusters/190.csv
similarity index 100%
rename from software/bugaid/data/clusters/190.csv
rename to source/software/bugaid/data/clusters/190.csv
diff --git a/software/bugaid/data/clusters/191.csv b/source/software/bugaid/data/clusters/191.csv
similarity index 100%
rename from software/bugaid/data/clusters/191.csv
rename to source/software/bugaid/data/clusters/191.csv
diff --git a/software/bugaid/data/clusters/192.csv b/source/software/bugaid/data/clusters/192.csv
similarity index 100%
rename from software/bugaid/data/clusters/192.csv
rename to source/software/bugaid/data/clusters/192.csv
diff --git a/software/bugaid/data/clusters/193.csv b/source/software/bugaid/data/clusters/193.csv
similarity index 100%
rename from software/bugaid/data/clusters/193.csv
rename to source/software/bugaid/data/clusters/193.csv
diff --git a/software/bugaid/data/clusters/194.csv b/source/software/bugaid/data/clusters/194.csv
similarity index 100%
rename from software/bugaid/data/clusters/194.csv
rename to source/software/bugaid/data/clusters/194.csv
diff --git a/software/bugaid/data/clusters/195.csv b/source/software/bugaid/data/clusters/195.csv
similarity index 100%
rename from software/bugaid/data/clusters/195.csv
rename to source/software/bugaid/data/clusters/195.csv
diff --git a/software/bugaid/data/clusters/196.csv b/source/software/bugaid/data/clusters/196.csv
similarity index 100%
rename from software/bugaid/data/clusters/196.csv
rename to source/software/bugaid/data/clusters/196.csv
diff --git a/software/bugaid/data/clusters/197.csv b/source/software/bugaid/data/clusters/197.csv
similarity index 100%
rename from software/bugaid/data/clusters/197.csv
rename to source/software/bugaid/data/clusters/197.csv
diff --git a/software/bugaid/data/clusters/198.csv b/source/software/bugaid/data/clusters/198.csv
similarity index 100%
rename from software/bugaid/data/clusters/198.csv
rename to source/software/bugaid/data/clusters/198.csv
diff --git a/software/bugaid/data/clusters/199.csv b/source/software/bugaid/data/clusters/199.csv
similarity index 100%
rename from software/bugaid/data/clusters/199.csv
rename to source/software/bugaid/data/clusters/199.csv
diff --git a/software/bugaid/data/clusters/2.csv b/source/software/bugaid/data/clusters/2.csv
similarity index 100%
rename from software/bugaid/data/clusters/2.csv
rename to source/software/bugaid/data/clusters/2.csv
diff --git a/software/bugaid/data/clusters/20.csv b/source/software/bugaid/data/clusters/20.csv
similarity index 100%
rename from software/bugaid/data/clusters/20.csv
rename to source/software/bugaid/data/clusters/20.csv
diff --git a/software/bugaid/data/clusters/200.csv b/source/software/bugaid/data/clusters/200.csv
similarity index 100%
rename from software/bugaid/data/clusters/200.csv
rename to source/software/bugaid/data/clusters/200.csv
diff --git a/software/bugaid/data/clusters/201.csv b/source/software/bugaid/data/clusters/201.csv
similarity index 100%
rename from software/bugaid/data/clusters/201.csv
rename to source/software/bugaid/data/clusters/201.csv
diff --git a/software/bugaid/data/clusters/202.csv b/source/software/bugaid/data/clusters/202.csv
similarity index 100%
rename from software/bugaid/data/clusters/202.csv
rename to source/software/bugaid/data/clusters/202.csv
diff --git a/software/bugaid/data/clusters/203.csv b/source/software/bugaid/data/clusters/203.csv
similarity index 100%
rename from software/bugaid/data/clusters/203.csv
rename to source/software/bugaid/data/clusters/203.csv
diff --git a/software/bugaid/data/clusters/204.csv b/source/software/bugaid/data/clusters/204.csv
similarity index 100%
rename from software/bugaid/data/clusters/204.csv
rename to source/software/bugaid/data/clusters/204.csv
diff --git a/software/bugaid/data/clusters/205.csv b/source/software/bugaid/data/clusters/205.csv
similarity index 100%
rename from software/bugaid/data/clusters/205.csv
rename to source/software/bugaid/data/clusters/205.csv
diff --git a/software/bugaid/data/clusters/206.csv b/source/software/bugaid/data/clusters/206.csv
similarity index 100%
rename from software/bugaid/data/clusters/206.csv
rename to source/software/bugaid/data/clusters/206.csv
diff --git a/software/bugaid/data/clusters/207.csv b/source/software/bugaid/data/clusters/207.csv
similarity index 100%
rename from software/bugaid/data/clusters/207.csv
rename to source/software/bugaid/data/clusters/207.csv
diff --git a/software/bugaid/data/clusters/208.csv b/source/software/bugaid/data/clusters/208.csv
similarity index 100%
rename from software/bugaid/data/clusters/208.csv
rename to source/software/bugaid/data/clusters/208.csv
diff --git a/software/bugaid/data/clusters/209.csv b/source/software/bugaid/data/clusters/209.csv
similarity index 100%
rename from software/bugaid/data/clusters/209.csv
rename to source/software/bugaid/data/clusters/209.csv
diff --git a/software/bugaid/data/clusters/21.csv b/source/software/bugaid/data/clusters/21.csv
similarity index 100%
rename from software/bugaid/data/clusters/21.csv
rename to source/software/bugaid/data/clusters/21.csv
diff --git a/software/bugaid/data/clusters/210.csv b/source/software/bugaid/data/clusters/210.csv
similarity index 100%
rename from software/bugaid/data/clusters/210.csv
rename to source/software/bugaid/data/clusters/210.csv
diff --git a/software/bugaid/data/clusters/211.csv b/source/software/bugaid/data/clusters/211.csv
similarity index 100%
rename from software/bugaid/data/clusters/211.csv
rename to source/software/bugaid/data/clusters/211.csv
diff --git a/software/bugaid/data/clusters/212.csv b/source/software/bugaid/data/clusters/212.csv
similarity index 100%
rename from software/bugaid/data/clusters/212.csv
rename to source/software/bugaid/data/clusters/212.csv
diff --git a/software/bugaid/data/clusters/213.csv b/source/software/bugaid/data/clusters/213.csv
similarity index 100%
rename from software/bugaid/data/clusters/213.csv
rename to source/software/bugaid/data/clusters/213.csv
diff --git a/software/bugaid/data/clusters/214.csv b/source/software/bugaid/data/clusters/214.csv
similarity index 100%
rename from software/bugaid/data/clusters/214.csv
rename to source/software/bugaid/data/clusters/214.csv
diff --git a/software/bugaid/data/clusters/215.csv b/source/software/bugaid/data/clusters/215.csv
similarity index 100%
rename from software/bugaid/data/clusters/215.csv
rename to source/software/bugaid/data/clusters/215.csv
diff --git a/software/bugaid/data/clusters/216.csv b/source/software/bugaid/data/clusters/216.csv
similarity index 100%
rename from software/bugaid/data/clusters/216.csv
rename to source/software/bugaid/data/clusters/216.csv
diff --git a/software/bugaid/data/clusters/217.csv b/source/software/bugaid/data/clusters/217.csv
similarity index 100%
rename from software/bugaid/data/clusters/217.csv
rename to source/software/bugaid/data/clusters/217.csv
diff --git a/software/bugaid/data/clusters/218.csv b/source/software/bugaid/data/clusters/218.csv
similarity index 100%
rename from software/bugaid/data/clusters/218.csv
rename to source/software/bugaid/data/clusters/218.csv
diff --git a/software/bugaid/data/clusters/22.csv b/source/software/bugaid/data/clusters/22.csv
similarity index 100%
rename from software/bugaid/data/clusters/22.csv
rename to source/software/bugaid/data/clusters/22.csv
diff --git a/software/bugaid/data/clusters/23.csv b/source/software/bugaid/data/clusters/23.csv
similarity index 100%
rename from software/bugaid/data/clusters/23.csv
rename to source/software/bugaid/data/clusters/23.csv
diff --git a/software/bugaid/data/clusters/24.csv b/source/software/bugaid/data/clusters/24.csv
similarity index 100%
rename from software/bugaid/data/clusters/24.csv
rename to source/software/bugaid/data/clusters/24.csv
diff --git a/software/bugaid/data/clusters/25.csv b/source/software/bugaid/data/clusters/25.csv
similarity index 100%
rename from software/bugaid/data/clusters/25.csv
rename to source/software/bugaid/data/clusters/25.csv
diff --git a/software/bugaid/data/clusters/26.csv b/source/software/bugaid/data/clusters/26.csv
similarity index 100%
rename from software/bugaid/data/clusters/26.csv
rename to source/software/bugaid/data/clusters/26.csv
diff --git a/software/bugaid/data/clusters/27.csv b/source/software/bugaid/data/clusters/27.csv
similarity index 100%
rename from software/bugaid/data/clusters/27.csv
rename to source/software/bugaid/data/clusters/27.csv
diff --git a/software/bugaid/data/clusters/28.csv b/source/software/bugaid/data/clusters/28.csv
similarity index 100%
rename from software/bugaid/data/clusters/28.csv
rename to source/software/bugaid/data/clusters/28.csv
diff --git a/software/bugaid/data/clusters/29.csv b/source/software/bugaid/data/clusters/29.csv
similarity index 100%
rename from software/bugaid/data/clusters/29.csv
rename to source/software/bugaid/data/clusters/29.csv
diff --git a/software/bugaid/data/clusters/3.csv b/source/software/bugaid/data/clusters/3.csv
similarity index 100%
rename from software/bugaid/data/clusters/3.csv
rename to source/software/bugaid/data/clusters/3.csv
diff --git a/software/bugaid/data/clusters/30.csv b/source/software/bugaid/data/clusters/30.csv
similarity index 100%
rename from software/bugaid/data/clusters/30.csv
rename to source/software/bugaid/data/clusters/30.csv
diff --git a/software/bugaid/data/clusters/31.csv b/source/software/bugaid/data/clusters/31.csv
similarity index 100%
rename from software/bugaid/data/clusters/31.csv
rename to source/software/bugaid/data/clusters/31.csv
diff --git a/software/bugaid/data/clusters/32.csv b/source/software/bugaid/data/clusters/32.csv
similarity index 100%
rename from software/bugaid/data/clusters/32.csv
rename to source/software/bugaid/data/clusters/32.csv
diff --git a/software/bugaid/data/clusters/33.csv b/source/software/bugaid/data/clusters/33.csv
similarity index 100%
rename from software/bugaid/data/clusters/33.csv
rename to source/software/bugaid/data/clusters/33.csv
diff --git a/software/bugaid/data/clusters/34.csv b/source/software/bugaid/data/clusters/34.csv
similarity index 100%
rename from software/bugaid/data/clusters/34.csv
rename to source/software/bugaid/data/clusters/34.csv
diff --git a/software/bugaid/data/clusters/35.csv b/source/software/bugaid/data/clusters/35.csv
similarity index 100%
rename from software/bugaid/data/clusters/35.csv
rename to source/software/bugaid/data/clusters/35.csv
diff --git a/software/bugaid/data/clusters/36.csv b/source/software/bugaid/data/clusters/36.csv
similarity index 100%
rename from software/bugaid/data/clusters/36.csv
rename to source/software/bugaid/data/clusters/36.csv
diff --git a/software/bugaid/data/clusters/37.csv b/source/software/bugaid/data/clusters/37.csv
similarity index 100%
rename from software/bugaid/data/clusters/37.csv
rename to source/software/bugaid/data/clusters/37.csv
diff --git a/software/bugaid/data/clusters/38.csv b/source/software/bugaid/data/clusters/38.csv
similarity index 100%
rename from software/bugaid/data/clusters/38.csv
rename to source/software/bugaid/data/clusters/38.csv
diff --git a/software/bugaid/data/clusters/39.csv b/source/software/bugaid/data/clusters/39.csv
similarity index 100%
rename from software/bugaid/data/clusters/39.csv
rename to source/software/bugaid/data/clusters/39.csv
diff --git a/software/bugaid/data/clusters/4.csv b/source/software/bugaid/data/clusters/4.csv
similarity index 100%
rename from software/bugaid/data/clusters/4.csv
rename to source/software/bugaid/data/clusters/4.csv
diff --git a/software/bugaid/data/clusters/40.csv b/source/software/bugaid/data/clusters/40.csv
similarity index 100%
rename from software/bugaid/data/clusters/40.csv
rename to source/software/bugaid/data/clusters/40.csv
diff --git a/software/bugaid/data/clusters/41.csv b/source/software/bugaid/data/clusters/41.csv
similarity index 100%
rename from software/bugaid/data/clusters/41.csv
rename to source/software/bugaid/data/clusters/41.csv
diff --git a/software/bugaid/data/clusters/42.csv b/source/software/bugaid/data/clusters/42.csv
similarity index 100%
rename from software/bugaid/data/clusters/42.csv
rename to source/software/bugaid/data/clusters/42.csv
diff --git a/software/bugaid/data/clusters/43.csv b/source/software/bugaid/data/clusters/43.csv
similarity index 100%
rename from software/bugaid/data/clusters/43.csv
rename to source/software/bugaid/data/clusters/43.csv
diff --git a/software/bugaid/data/clusters/44.csv b/source/software/bugaid/data/clusters/44.csv
similarity index 100%
rename from software/bugaid/data/clusters/44.csv
rename to source/software/bugaid/data/clusters/44.csv
diff --git a/software/bugaid/data/clusters/45.csv b/source/software/bugaid/data/clusters/45.csv
similarity index 100%
rename from software/bugaid/data/clusters/45.csv
rename to source/software/bugaid/data/clusters/45.csv
diff --git a/software/bugaid/data/clusters/46.csv b/source/software/bugaid/data/clusters/46.csv
similarity index 100%
rename from software/bugaid/data/clusters/46.csv
rename to source/software/bugaid/data/clusters/46.csv
diff --git a/software/bugaid/data/clusters/47.csv b/source/software/bugaid/data/clusters/47.csv
similarity index 100%
rename from software/bugaid/data/clusters/47.csv
rename to source/software/bugaid/data/clusters/47.csv
diff --git a/software/bugaid/data/clusters/48.csv b/source/software/bugaid/data/clusters/48.csv
similarity index 100%
rename from software/bugaid/data/clusters/48.csv
rename to source/software/bugaid/data/clusters/48.csv
diff --git a/software/bugaid/data/clusters/49.csv b/source/software/bugaid/data/clusters/49.csv
similarity index 100%
rename from software/bugaid/data/clusters/49.csv
rename to source/software/bugaid/data/clusters/49.csv
diff --git a/software/bugaid/data/clusters/5.csv b/source/software/bugaid/data/clusters/5.csv
similarity index 100%
rename from software/bugaid/data/clusters/5.csv
rename to source/software/bugaid/data/clusters/5.csv
diff --git a/software/bugaid/data/clusters/50.csv b/source/software/bugaid/data/clusters/50.csv
similarity index 100%
rename from software/bugaid/data/clusters/50.csv
rename to source/software/bugaid/data/clusters/50.csv
diff --git a/software/bugaid/data/clusters/51.csv b/source/software/bugaid/data/clusters/51.csv
similarity index 100%
rename from software/bugaid/data/clusters/51.csv
rename to source/software/bugaid/data/clusters/51.csv
diff --git a/software/bugaid/data/clusters/52.csv b/source/software/bugaid/data/clusters/52.csv
similarity index 100%
rename from software/bugaid/data/clusters/52.csv
rename to source/software/bugaid/data/clusters/52.csv
diff --git a/software/bugaid/data/clusters/53.csv b/source/software/bugaid/data/clusters/53.csv
similarity index 100%
rename from software/bugaid/data/clusters/53.csv
rename to source/software/bugaid/data/clusters/53.csv
diff --git a/software/bugaid/data/clusters/54.csv b/source/software/bugaid/data/clusters/54.csv
similarity index 100%
rename from software/bugaid/data/clusters/54.csv
rename to source/software/bugaid/data/clusters/54.csv
diff --git a/software/bugaid/data/clusters/55.csv b/source/software/bugaid/data/clusters/55.csv
similarity index 100%
rename from software/bugaid/data/clusters/55.csv
rename to source/software/bugaid/data/clusters/55.csv
diff --git a/software/bugaid/data/clusters/56.csv b/source/software/bugaid/data/clusters/56.csv
similarity index 100%
rename from software/bugaid/data/clusters/56.csv
rename to source/software/bugaid/data/clusters/56.csv
diff --git a/software/bugaid/data/clusters/57.csv b/source/software/bugaid/data/clusters/57.csv
similarity index 100%
rename from software/bugaid/data/clusters/57.csv
rename to source/software/bugaid/data/clusters/57.csv
diff --git a/software/bugaid/data/clusters/58.csv b/source/software/bugaid/data/clusters/58.csv
similarity index 100%
rename from software/bugaid/data/clusters/58.csv
rename to source/software/bugaid/data/clusters/58.csv
diff --git a/software/bugaid/data/clusters/59.csv b/source/software/bugaid/data/clusters/59.csv
similarity index 100%
rename from software/bugaid/data/clusters/59.csv
rename to source/software/bugaid/data/clusters/59.csv
diff --git a/software/bugaid/data/clusters/6.csv b/source/software/bugaid/data/clusters/6.csv
similarity index 100%
rename from software/bugaid/data/clusters/6.csv
rename to source/software/bugaid/data/clusters/6.csv
diff --git a/software/bugaid/data/clusters/60.csv b/source/software/bugaid/data/clusters/60.csv
similarity index 100%
rename from software/bugaid/data/clusters/60.csv
rename to source/software/bugaid/data/clusters/60.csv
diff --git a/software/bugaid/data/clusters/61.csv b/source/software/bugaid/data/clusters/61.csv
similarity index 100%
rename from software/bugaid/data/clusters/61.csv
rename to source/software/bugaid/data/clusters/61.csv
diff --git a/software/bugaid/data/clusters/62.csv b/source/software/bugaid/data/clusters/62.csv
similarity index 100%
rename from software/bugaid/data/clusters/62.csv
rename to source/software/bugaid/data/clusters/62.csv
diff --git a/software/bugaid/data/clusters/63.csv b/source/software/bugaid/data/clusters/63.csv
similarity index 100%
rename from software/bugaid/data/clusters/63.csv
rename to source/software/bugaid/data/clusters/63.csv
diff --git a/software/bugaid/data/clusters/64.csv b/source/software/bugaid/data/clusters/64.csv
similarity index 100%
rename from software/bugaid/data/clusters/64.csv
rename to source/software/bugaid/data/clusters/64.csv
diff --git a/software/bugaid/data/clusters/65.csv b/source/software/bugaid/data/clusters/65.csv
similarity index 100%
rename from software/bugaid/data/clusters/65.csv
rename to source/software/bugaid/data/clusters/65.csv
diff --git a/software/bugaid/data/clusters/66.csv b/source/software/bugaid/data/clusters/66.csv
similarity index 100%
rename from software/bugaid/data/clusters/66.csv
rename to source/software/bugaid/data/clusters/66.csv
diff --git a/software/bugaid/data/clusters/67.csv b/source/software/bugaid/data/clusters/67.csv
similarity index 100%
rename from software/bugaid/data/clusters/67.csv
rename to source/software/bugaid/data/clusters/67.csv
diff --git a/software/bugaid/data/clusters/68.csv b/source/software/bugaid/data/clusters/68.csv
similarity index 100%
rename from software/bugaid/data/clusters/68.csv
rename to source/software/bugaid/data/clusters/68.csv
diff --git a/software/bugaid/data/clusters/69.csv b/source/software/bugaid/data/clusters/69.csv
similarity index 100%
rename from software/bugaid/data/clusters/69.csv
rename to source/software/bugaid/data/clusters/69.csv
diff --git a/software/bugaid/data/clusters/7.csv b/source/software/bugaid/data/clusters/7.csv
similarity index 100%
rename from software/bugaid/data/clusters/7.csv
rename to source/software/bugaid/data/clusters/7.csv
diff --git a/software/bugaid/data/clusters/70.csv b/source/software/bugaid/data/clusters/70.csv
similarity index 100%
rename from software/bugaid/data/clusters/70.csv
rename to source/software/bugaid/data/clusters/70.csv
diff --git a/software/bugaid/data/clusters/71.csv b/source/software/bugaid/data/clusters/71.csv
similarity index 100%
rename from software/bugaid/data/clusters/71.csv
rename to source/software/bugaid/data/clusters/71.csv
diff --git a/software/bugaid/data/clusters/72.csv b/source/software/bugaid/data/clusters/72.csv
similarity index 100%
rename from software/bugaid/data/clusters/72.csv
rename to source/software/bugaid/data/clusters/72.csv
diff --git a/software/bugaid/data/clusters/73.csv b/source/software/bugaid/data/clusters/73.csv
similarity index 100%
rename from software/bugaid/data/clusters/73.csv
rename to source/software/bugaid/data/clusters/73.csv
diff --git a/software/bugaid/data/clusters/74.csv b/source/software/bugaid/data/clusters/74.csv
similarity index 100%
rename from software/bugaid/data/clusters/74.csv
rename to source/software/bugaid/data/clusters/74.csv
diff --git a/software/bugaid/data/clusters/75.csv b/source/software/bugaid/data/clusters/75.csv
similarity index 100%
rename from software/bugaid/data/clusters/75.csv
rename to source/software/bugaid/data/clusters/75.csv
diff --git a/software/bugaid/data/clusters/76.csv b/source/software/bugaid/data/clusters/76.csv
similarity index 100%
rename from software/bugaid/data/clusters/76.csv
rename to source/software/bugaid/data/clusters/76.csv
diff --git a/software/bugaid/data/clusters/77.csv b/source/software/bugaid/data/clusters/77.csv
similarity index 100%
rename from software/bugaid/data/clusters/77.csv
rename to source/software/bugaid/data/clusters/77.csv
diff --git a/software/bugaid/data/clusters/78.csv b/source/software/bugaid/data/clusters/78.csv
similarity index 100%
rename from software/bugaid/data/clusters/78.csv
rename to source/software/bugaid/data/clusters/78.csv
diff --git a/software/bugaid/data/clusters/79.csv b/source/software/bugaid/data/clusters/79.csv
similarity index 100%
rename from software/bugaid/data/clusters/79.csv
rename to source/software/bugaid/data/clusters/79.csv
diff --git a/software/bugaid/data/clusters/8.csv b/source/software/bugaid/data/clusters/8.csv
similarity index 100%
rename from software/bugaid/data/clusters/8.csv
rename to source/software/bugaid/data/clusters/8.csv
diff --git a/software/bugaid/data/clusters/80.csv b/source/software/bugaid/data/clusters/80.csv
similarity index 100%
rename from software/bugaid/data/clusters/80.csv
rename to source/software/bugaid/data/clusters/80.csv
diff --git a/software/bugaid/data/clusters/81.csv b/source/software/bugaid/data/clusters/81.csv
similarity index 100%
rename from software/bugaid/data/clusters/81.csv
rename to source/software/bugaid/data/clusters/81.csv
diff --git a/software/bugaid/data/clusters/82.csv b/source/software/bugaid/data/clusters/82.csv
similarity index 100%
rename from software/bugaid/data/clusters/82.csv
rename to source/software/bugaid/data/clusters/82.csv
diff --git a/software/bugaid/data/clusters/83.csv b/source/software/bugaid/data/clusters/83.csv
similarity index 100%
rename from software/bugaid/data/clusters/83.csv
rename to source/software/bugaid/data/clusters/83.csv
diff --git a/software/bugaid/data/clusters/84.csv b/source/software/bugaid/data/clusters/84.csv
similarity index 100%
rename from software/bugaid/data/clusters/84.csv
rename to source/software/bugaid/data/clusters/84.csv
diff --git a/software/bugaid/data/clusters/85.csv b/source/software/bugaid/data/clusters/85.csv
similarity index 100%
rename from software/bugaid/data/clusters/85.csv
rename to source/software/bugaid/data/clusters/85.csv
diff --git a/software/bugaid/data/clusters/86.csv b/source/software/bugaid/data/clusters/86.csv
similarity index 100%
rename from software/bugaid/data/clusters/86.csv
rename to source/software/bugaid/data/clusters/86.csv
diff --git a/software/bugaid/data/clusters/87.csv b/source/software/bugaid/data/clusters/87.csv
similarity index 100%
rename from software/bugaid/data/clusters/87.csv
rename to source/software/bugaid/data/clusters/87.csv
diff --git a/software/bugaid/data/clusters/88.csv b/source/software/bugaid/data/clusters/88.csv
similarity index 100%
rename from software/bugaid/data/clusters/88.csv
rename to source/software/bugaid/data/clusters/88.csv
diff --git a/software/bugaid/data/clusters/89.csv b/source/software/bugaid/data/clusters/89.csv
similarity index 100%
rename from software/bugaid/data/clusters/89.csv
rename to source/software/bugaid/data/clusters/89.csv
diff --git a/software/bugaid/data/clusters/9.csv b/source/software/bugaid/data/clusters/9.csv
similarity index 100%
rename from software/bugaid/data/clusters/9.csv
rename to source/software/bugaid/data/clusters/9.csv
diff --git a/software/bugaid/data/clusters/90.csv b/source/software/bugaid/data/clusters/90.csv
similarity index 100%
rename from software/bugaid/data/clusters/90.csv
rename to source/software/bugaid/data/clusters/90.csv
diff --git a/software/bugaid/data/clusters/91.csv b/source/software/bugaid/data/clusters/91.csv
similarity index 100%
rename from software/bugaid/data/clusters/91.csv
rename to source/software/bugaid/data/clusters/91.csv
diff --git a/software/bugaid/data/clusters/92.csv b/source/software/bugaid/data/clusters/92.csv
similarity index 100%
rename from software/bugaid/data/clusters/92.csv
rename to source/software/bugaid/data/clusters/92.csv
diff --git a/software/bugaid/data/clusters/93.csv b/source/software/bugaid/data/clusters/93.csv
similarity index 100%
rename from software/bugaid/data/clusters/93.csv
rename to source/software/bugaid/data/clusters/93.csv
diff --git a/software/bugaid/data/clusters/94.csv b/source/software/bugaid/data/clusters/94.csv
similarity index 100%
rename from software/bugaid/data/clusters/94.csv
rename to source/software/bugaid/data/clusters/94.csv
diff --git a/software/bugaid/data/clusters/95.csv b/source/software/bugaid/data/clusters/95.csv
similarity index 100%
rename from software/bugaid/data/clusters/95.csv
rename to source/software/bugaid/data/clusters/95.csv
diff --git a/software/bugaid/data/clusters/96.csv b/source/software/bugaid/data/clusters/96.csv
similarity index 100%
rename from software/bugaid/data/clusters/96.csv
rename to source/software/bugaid/data/clusters/96.csv
diff --git a/software/bugaid/data/clusters/97.csv b/source/software/bugaid/data/clusters/97.csv
similarity index 100%
rename from software/bugaid/data/clusters/97.csv
rename to source/software/bugaid/data/clusters/97.csv
diff --git a/software/bugaid/data/clusters/98.csv b/source/software/bugaid/data/clusters/98.csv
similarity index 100%
rename from software/bugaid/data/clusters/98.csv
rename to source/software/bugaid/data/clusters/98.csv
diff --git a/software/bugaid/data/clusters/99.csv b/source/software/bugaid/data/clusters/99.csv
similarity index 100%
rename from software/bugaid/data/clusters/99.csv
rename to source/software/bugaid/data/clusters/99.csv
diff --git a/software/bugaid/data/complex-change-types.csv b/source/software/bugaid/data/complex-change-types.csv
similarity index 100%
rename from software/bugaid/data/complex-change-types.csv
rename to source/software/bugaid/data/complex-change-types.csv
diff --git a/software/bugaid/data/subject-apps.csv b/source/software/bugaid/data/subject-apps.csv
similarity index 100%
rename from software/bugaid/data/subject-apps.csv
rename to source/software/bugaid/data/subject-apps.csv
diff --git a/software/bugaid/data/subject-modules.csv b/source/software/bugaid/data/subject-modules.csv
similarity index 100%
rename from software/bugaid/data/subject-modules.csv
rename to source/software/bugaid/data/subject-modules.csv
diff --git a/software/bugaid/index.html b/source/software/bugaid/index.html
similarity index 100%
rename from software/bugaid/index.html
rename to source/software/bugaid/index.html
diff --git a/software/bugaid/jquery.csv-0.71.min.js b/source/software/bugaid/jquery.csv-0.71.min.js
similarity index 100%
rename from software/bugaid/jquery.csv-0.71.min.js
rename to source/software/bugaid/jquery.csv-0.71.min.js
diff --git a/software/bugaid/results/empirical_data.tar.gz b/source/software/bugaid/results/empirical_data.tar.gz
similarity index 100%
rename from software/bugaid/results/empirical_data.tar.gz
rename to source/software/bugaid/results/empirical_data.tar.gz
diff --git a/software/bugaid/results/tech-report.pdf b/source/software/bugaid/results/tech-report.pdf
similarity index 100%
rename from software/bugaid/results/tech-report.pdf
rename to source/software/bugaid/results/tech-report.pdf
diff --git a/software/bugaid/results/tuning_data.tar.gz b/source/software/bugaid/results/tuning_data.tar.gz
similarity index 100%
rename from software/bugaid/results/tuning_data.tar.gz
rename to source/software/bugaid/results/tuning_data.tar.gz
diff --git a/software/camellia/index.markdown b/source/software/camellia/index.markdown
similarity index 100%
rename from software/camellia/index.markdown
rename to source/software/camellia/index.markdown
diff --git a/software/clematis/index.markdown b/source/software/clematis/index.markdown
similarity index 100%
rename from software/clematis/index.markdown
rename to source/software/clematis/index.markdown
diff --git a/software/confix/experiments.zip b/source/software/confix/experiments.zip
similarity index 100%
rename from software/confix/experiments.zip
rename to source/software/confix/experiments.zip
diff --git a/software/confix/index.markdown b/source/software/confix/index.markdown
similarity index 100%
rename from software/confix/index.markdown
rename to source/software/confix/index.markdown
diff --git a/software/cssnose/index.markdown b/source/software/cssnose/index.markdown
similarity index 100%
rename from software/cssnose/index.markdown
rename to source/software/cssnose/index.markdown
diff --git a/software/domcovery/index.markdown b/source/software/domcovery/index.markdown
similarity index 100%
rename from software/domcovery/index.markdown
rename to source/software/domcovery/index.markdown
diff --git a/software/index.markdown b/source/software/index.markdown
similarity index 100%
rename from software/index.markdown
rename to source/software/index.markdown
diff --git a/software/jseft/index.markdown b/source/software/jseft/index.markdown
similarity index 100%
rename from software/jseft/index.markdown
rename to source/software/jseft/index.markdown
diff --git a/software/pangor/bootstrap.css b/source/software/pangor/bootstrap.css
similarity index 100%
rename from software/pangor/bootstrap.css
rename to source/software/pangor/bootstrap.css
diff --git a/software/pangor/bootswatch.js b/source/software/pangor/bootswatch.js
similarity index 100%
rename from software/pangor/bootswatch.js
rename to source/software/pangor/bootswatch.js
diff --git a/software/pangor/bootswatch.min.css b/source/software/pangor/bootswatch.min.css
similarity index 100%
rename from software/pangor/bootswatch.min.css
rename to source/software/pangor/bootswatch.min.css
diff --git a/software/pangor/data/pangor-data-sets.tar.gz b/source/software/pangor/data/pangor-data-sets.tar.gz
similarity index 100%
rename from software/pangor/data/pangor-data-sets.tar.gz
rename to source/software/pangor/data/pangor-data-sets.tar.gz
diff --git a/software/pangor/data/subject-apps.csv b/source/software/pangor/data/subject-apps.csv
similarity index 100%
rename from software/pangor/data/subject-apps.csv
rename to source/software/pangor/data/subject-apps.csv
diff --git a/software/pangor/data/subject-modules.csv b/source/software/pangor/data/subject-modules.csv
similarity index 100%
rename from software/pangor/data/subject-modules.csv
rename to source/software/pangor/data/subject-modules.csv
diff --git a/software/pangor/index.html b/source/software/pangor/index.html
similarity index 100%
rename from software/pangor/index.html
rename to source/software/pangor/index.html
diff --git a/software/pangor/jquery.csv-0.71.min.js b/source/software/pangor/jquery.csv-0.71.min.js
similarity index 100%
rename from software/pangor/jquery.csv-0.71.min.js
rename to source/software/pangor/jquery.csv-0.71.min.js
diff --git a/software/pangor/table-bugs.png b/source/software/pangor/table-bugs.png
similarity index 100%
rename from software/pangor/table-bugs.png
rename to source/software/pangor/table-bugs.png
diff --git a/software/promisland/bootstrap.css b/source/software/promisland/bootstrap.css
similarity index 100%
rename from software/promisland/bootstrap.css
rename to source/software/promisland/bootstrap.css
diff --git a/software/promisland/css/bootswatch.min.css b/source/software/promisland/css/bootswatch.min.css
similarity index 100%
rename from software/promisland/css/bootswatch.min.css
rename to source/software/promisland/css/bootswatch.min.css
diff --git a/software/promisland/index.html b/source/software/promisland/index.html
similarity index 100%
rename from software/promisland/index.html
rename to source/software/promisland/index.html
diff --git a/software/promisland/js/bootstrap.min.js b/source/software/promisland/js/bootstrap.min.js
similarity index 100%
rename from software/promisland/js/bootstrap.min.js
rename to source/software/promisland/js/bootstrap.min.js
diff --git a/software/promisland/js/bootswatch.js b/source/software/promisland/js/bootswatch.js
similarity index 100%
rename from software/promisland/js/bootswatch.js
rename to source/software/promisland/js/bootswatch.js
diff --git a/software/promisland/readme.md b/source/software/promisland/readme.md
similarity index 100%
rename from software/promisland/readme.md
rename to source/software/promisland/readme.md
diff --git a/software/promisland/results/eval-targets.json b/source/software/promisland/results/eval-targets.json
similarity index 100%
rename from software/promisland/results/eval-targets.json
rename to source/software/promisland/results/eval-targets.json
diff --git a/software/promisland/results/promisesLand-evaluation-power.csv b/source/software/promisland/results/promisesLand-evaluation-power.csv
similarity index 100%
rename from software/promisland/results/promisesLand-evaluation-power.csv
rename to source/software/promisland/results/promisesLand-evaluation-power.csv
diff --git a/software/promisland/results/promisesLand-evaluation-runtime-perf.csv b/source/software/promisland/results/promisesLand-evaluation-runtime-perf.csv
similarity index 100%
rename from software/promisland/results/promisesLand-evaluation-runtime-perf.csv
rename to source/software/promisland/results/promisesLand-evaluation-runtime-perf.csv
diff --git a/software/promisland/results/promisesland_full_dataset.zip b/source/software/promisland/results/promisesland_full_dataset.zip
similarity index 100%
rename from software/promisland/results/promisesland_full_dataset.zip
rename to source/software/promisland/results/promisesland_full_dataset.zip
diff --git a/software/sahand/index.markdown b/source/software/sahand/index.markdown
similarity index 100%
rename from software/sahand/index.markdown
rename to source/software/sahand/index.markdown
diff --git a/software/sahand/study.zip b/source/software/sahand/study.zip
similarity index 100%
rename from software/sahand/study.zip
rename to source/software/sahand/study.zip
diff --git a/software/slicejs/index.markdown b/source/software/slicejs/index.markdown
similarity index 100%
rename from software/slicejs/index.markdown
rename to source/software/slicejs/index.markdown
diff --git a/software/testbugs-study/index.markdown b/source/software/testbugs-study/index.markdown
similarity index 100%
rename from software/testbugs-study/index.markdown
rename to source/software/testbugs-study/index.markdown
diff --git a/software/testilizer/index.markdown b/source/software/testilizer/index.markdown
similarity index 100%
rename from software/testilizer/index.markdown
rename to source/software/testilizer/index.markdown
diff --git a/software/tochal/index.markdown b/source/software/tochal/index.markdown
similarity index 100%
rename from software/tochal/index.markdown
rename to source/software/tochal/index.markdown
diff --git a/source/sponsors/index.markdown b/source/sponsors/index.markdown
new file mode 100644
index 00000000..50673619
--- /dev/null
+++ b/source/sponsors/index.markdown
@@ -0,0 +1,25 @@
+---
+layout: page
+title: "sponsors"
+date: 2013-01-03 12:36
+comments: false
+sharing: false
+footer: false
+---
+
+
+ SALT lab is supported by:
+
+
diff --git a/source/stylesheets/screen.css.notused b/source/stylesheets/screen.css.notused
new file mode 100644
index 00000000..5040bb96
--- /dev/null
+++ b/source/stylesheets/screen.css.notused
@@ -0,0 +1 @@
+html,body,div,span,applet,object,iframe,h1,h2,h3,h4,h5,h6,p,blockquote,pre,a,abbr,acronym,address,big,cite,code,del,dfn,em,img,ins,kbd,q,s,samp,small,strike,strong,sub,sup,tt,var,b,u,i,center,dl,dt,dd,ol,ul,li,fieldset,form,label,legend,table,caption,tbody,tfoot,thead,tr,th,td,article,aside,canvas,details,embed,figure,figcaption,footer,header,hgroup,menu,nav,output,ruby,section,summary,time,mark,audio,video{margin:0;padding:0;border:0;font:inherit;font-size:100%;vertical-align:baseline}html{line-height:1}ol,ul{list-style:none}table{border-collapse:collapse;border-spacing:0}caption,th,td{text-align:left;font-weight:normal;vertical-align:middle}q,blockquote{quotes:none}q:before,q:after,blockquote:before,blockquote:after{content:"";content:none}a img{border:none}article,aside,details,figcaption,figure,footer,header,hgroup,menu,nav,section,summary{display:block}article,aside,details,figcaption,figure,footer,header,hgroup,menu,nav,section,summary{display:block}.icon-sprite,.icon-facebook,.facebook-share:before,.icon-github,.sidebar .github-follow:before,.icon-googleplus,.googleplus-share:before,.icon-twitter-bird,#tweets .loading:before,.icon-twitter,.twitter-share:before,.sidebar a.twitter-follow-button:before{background:url('/images/icon-sdc231d6676.png') no-repeat}.icon-facebook,.facebook-share:before{background-position:0 -80px;height:16px;width:12px}.icon-github,.sidebar .github-follow:before{background-position:0 -48px;height:16px;width:16px}.icon-googleplus,.googleplus-share:before{background-position:0 -64px;height:16px;width:11px}.icon-twitter-bird,#tweets .loading:before{background-position:0 0;height:32px;width:32px}.icon-twitter,.twitter-share:before,.sidebar a.twitter-follow-button:before{background-position:0 -32px;height:16px;width:14px}a{color:#1863a1;color:#1863a1}a:visited{color:#751590}a:focus{color:#0181eb}a:hover{color:#0181eb}a:active{color:#01579f}.sidebar a{color:#1863a1}.sidebar a:focus{color:#0181eb}.sidebar a:hover{color:#0181eb}.sidebar a:active{color:#01579f}a{-webkit-transition:color 0.3s;-moz-transition:color 0.3s;-o-transition:color 0.3s;transition:color 0.3s}html{background:#12212b url('/images/line-tile.png?1357438739') top left}body>div{background:#f2f2f2 url('/images/noise.png?1357266755') top left;border-bottom:1px solid #bfbfbf}body>div>div{background:#f8f8f8 url('/images/noise.png?1357266755') top left;border-right:1px solid #e0e0e0}.icon-sprite,.icon-facebook,.facebook-share:before,.icon-github,.sidebar .github-follow:before,.icon-googleplus,.googleplus-share:before,.icon-twitter-bird,#tweets .loading:before,.icon-twitter,.twitter-share:before,.sidebar a.twitter-follow-button:before{background:url('/images/icon-sdc231d6676.png') no-repeat}.icon-facebook,.facebook-share:before{background-position:0 -80px;height:16px;width:12px}.icon-github,.sidebar .github-follow:before{background-position:0 -48px;height:16px;width:16px}.icon-googleplus,.googleplus-share:before{background-position:0 -64px;height:16px;width:11px}.icon-twitter-bird,#tweets .loading:before{background-position:0 0;height:32px;width:32px}.icon-twitter,.twitter-share:before,.sidebar a.twitter-follow-button:before{background-position:0 -32px;height:16px;width:14px}a{color:#1863a1;color:#1863a1}a:visited{color:#751590}a:focus{color:#0181eb}a:hover{color:#0181eb}a:active{color:#01579f}.sidebar a{color:#1863a1}.sidebar a:focus{color:#0181eb}.sidebar a:hover{color:#0181eb}.sidebar a:active{color:#01579f}a{-webkit-transition:color 0.3s;-moz-transition:color 0.3s;-o-transition:color 0.3s;transition:color 0.3s}html{background:#12212b url('/images/line-tile.png?1357438739') top left}body>div{background:#f2f2f2 url('/images/noise.png?1357266755') top left;border-bottom:1px solid #bfbfbf}body>div>div{background:#f8f8f8 url('/images/noise.png?1357266755') top left;border-right:1px solid #e0e0e0}.heading,body>header h1,h1,h2,h3,h4,h5,h6{font-family:"Varela Round","Helvetica Neue",Arial,sans-serif}.sans,body>header h2,article header p.meta,article>footer,#blog-archives a.category,#blog-archives time,.sidebar section,body>footer{font-family:"Varela Round","Helvetica Neue",Arial,sans-serif}.serif,body,article a[rel=full-article]{font-family:"MJX_Main",Georgia,Times,"Times New Roman",serif}.mono,pre,code,tt,p code,li code{font-family:Menlo,Monaco,"Andale Mono","lucida console","Courier New",monospace}body>header h1{font-size:2.2em;font-family:"Varela","Helvetica Neue",Arial,sans-serif;font-weight:normal;line-height:1.2em;margin-bottom:0.6667em}body>header h2{font-family:"Varela","Helvetica Neue",Arial,sans-serif}body{line-height:1.5em;color:#111}h1,h2,h3,h4,h5,h6{text-rendering:optimizelegibility;margin-bottom:1em;font-weight:bold}h1{font-size:2.2em;line-height:1.2em}h2,section h1{font-size:1.5em}h3,section h2,section section h1{font-size:1.3em}h4,section h3,section section h2,section section section h1{font-size:1em}h5,section h4,section section h3{font-size:0.9em}h6,section h5,section section h4,section section section h3{font-size:0.8em}@media only screen and (min-width: 992px){body{font-size:1.15em}}p,blockquote,ul,ol{margin-bottom:1.5em}ul{list-style-type:disc}ul ul{list-style-type:circle;margin-bottom:0px}ul ul ul{list-style-type:square;margin-bottom:0px}ol{list-style-type:decimal}ol ol{list-style-type:lower-alpha;margin-bottom:0px}ol ol ol{list-style-type:lower-roman;margin-bottom:0px}ul,ul ul,ul ol,ol,ol ul,ol ol{margin-left:1.3em}strong{font-weight:bold}em{font-style:italic}sup,sub{vertical-align:baseline;font-size:0.8em;position:relative}sup{top:-.5em}sub{bottom:-.5em}q{font-style:italic}q:before{content:"\201C"}q:after{content:"\201D"}em,dfn{font-style:italic}strong,dfn{font-weight:bold}del,s{text-decoration:line-through}abbr,acronym{border-bottom:1px dotted;cursor:help}sub,sup{line-height:0}hr{margin-bottom:0.2em}small{font-size:.8em}big{font-size:1.2em}blockquote{font-style:italic;position:relative;font-size:1.2em;line-height:1.5em;padding-left:1em;border-left:4px solid rgba(170,170,170,0.5)}blockquote cite{font-style:italic}blockquote cite a{color:#aaa !important;word-wrap:break-word}blockquote cite:before{content:'\2014';padding-right:.3em;padding-left:.3em;color:#aaa}@media only screen and (min-width: 992px){blockquote{padding-left:1.5em;border-left-width:4px}}.pullquote-right:before,.pullquote-left:before{padding:0;border:none;content:attr(data-pullquote);float:right;width:45%;margin:0.5em 0 1em 1.5em;position:relative;top:7px;font-size:1.4em;line-height:1.45em}.pullquote-left:before{float:left;margin:0.5em 1.5em 1em 0}.force-wrap,article a,.sidebar a{white-space:-moz-pre-wrap;white-space:-pre-wrap;white-space:-o-pre-wrap;white-space:pre-wrap;word-wrap:break-word}.group,body>header,body>nav,body>footer,body #content>article,body #content>div>article,body #content>div>section,body div.pagination,aside.sidebar,#main,#content,.sidebar{*zoom:1}.group:after,body>header:after,body>nav:after,body>footer:after,body #content>article:after,body #content>div>article:after,body #content>div>section:after,body div.pagination:after,#main:after,#content:after,.sidebar:after{content:"";display:table;clear:both}body{-webkit-text-size-adjust:none;max-width:1200px;position:relative;margin:0 auto}body>header,body>nav,body>footer,body #content>article,body #content>div>article,body #content>div>section{padding-left:18px;padding-right:18px}@media only screen and (min-width: 480px){body>header,body>nav,body>footer,body #content>article,body #content>div>article,body #content>div>section{padding-left:25px;padding-right:25px}}@media only screen and (min-width: 768px){body>header,body>nav,body>footer,body #content>article,body #content>div>article,body #content>div>section{padding-left:35px;padding-right:35px}}@media only screen and (min-width: 992px){body>header,body>nav,body>footer,body #content>article,body #content>div>article,body #content>div>section{padding-left:55px;padding-right:55px}}body div.pagination{margin-left:18px;margin-right:18px}@media only screen and (min-width: 480px){body div.pagination{margin-left:25px;margin-right:25px}}@media only screen and (min-width: 768px){body div.pagination{margin-left:35px;margin-right:35px}}@media only screen and (min-width: 992px){body div.pagination{margin-left:55px;margin-right:55px}}body>header{font-size:1em;padding-top:1.5em;padding-bottom:1.5em}#content{overflow:hidden}#content>div,#content>article{width:100%}aside.sidebar{float:none;padding:0 18px 1px;background-color:#f7f7f7;border-top:1px solid #e0e0e0}.flex-content,article img,article video,article .flash-video,.sidebar img{max-width:100%;height:auto}.basic-alignment.left,article img.left,article video.left,article .left.flash-video,.sidebar img.left{float:left;margin-right:1.5em}.basic-alignment.right,article img.right,article video.right,article .right.flash-video,.sidebar img.right{float:right;margin-left:1.5em}.basic-alignment.center,article img.center,article video.center,article .center.flash-video,.sidebar img.center{display:block;margin:0 auto 1.5em}.basic-alignment.left,article img.left,article video.left,article .left.flash-video,.sidebar img.left,.basic-alignment.right,article img.right,article video.right,article .right.flash-video,.sidebar img.right{margin-bottom:.8em}.toggle-sidebar,.no-sidebar .toggle-sidebar{display:none}@media only screen and (min-width: 750px){body.sidebar-footer aside.sidebar{float:none;width:auto;clear:left;margin:0;padding:0 35px 1px;background-color:#f7f7f7;border-top:1px solid #eaeaea}body.sidebar-footer aside.sidebar section.odd,body.sidebar-footer aside.sidebar section.even{float:left;width:48%}body.sidebar-footer aside.sidebar section.odd{margin-left:0}body.sidebar-footer aside.sidebar section.even{margin-left:4%}body.sidebar-footer aside.sidebar.thirds section{width:30%;margin-left:5%}body.sidebar-footer aside.sidebar.thirds section.first{margin-left:0;clear:both}}body.sidebar-footer #content{margin-right:0px}body.sidebar-footer .toggle-sidebar{display:none}@media only screen and (min-width: 550px){body>header{font-size:1em}}@media only screen and (min-width: 750px){aside.sidebar{float:none;width:auto;clear:left;margin:0;padding:0 35px 1px;background-color:#f7f7f7;border-top:1px solid #eaeaea}aside.sidebar section.odd,aside.sidebar section.even{float:left;width:48%}aside.sidebar section.odd{margin-left:0}aside.sidebar section.even{margin-left:4%}aside.sidebar.thirds section{width:30%;margin-left:5%}aside.sidebar.thirds section.first{margin-left:0;clear:both}}@media only screen and (min-width: 768px){body{-webkit-text-size-adjust:auto}body>header{font-size:1.2em}#main{padding:0;margin:0 auto}#content{overflow:visible;margin-right:240px;position:relative}.no-sidebar #content{margin-right:0;border-right:0}.collapse-sidebar #content{margin-right:20px}#content>div,#content>article{padding-top:17.5px;padding-bottom:17.5px;float:left}aside.sidebar{width:210px;padding:0 15px 15px;background:none;clear:none;float:left;margin:0 -100% 0 0}aside.sidebar section{width:auto;margin-left:0}aside.sidebar section.odd,aside.sidebar section.even{float:none;width:auto;margin-left:0}.collapse-sidebar aside.sidebar{float:none;width:auto;clear:left;margin:0;padding:0 35px 1px;background-color:#f7f7f7;border-top:1px solid #eaeaea}.collapse-sidebar aside.sidebar section.odd,.collapse-sidebar aside.sidebar section.even{float:left;width:48%}.collapse-sidebar aside.sidebar section.odd{margin-left:0}.collapse-sidebar aside.sidebar section.even{margin-left:4%}.collapse-sidebar aside.sidebar.thirds section{width:30%;margin-left:5%}.collapse-sidebar aside.sidebar.thirds section.first{margin-left:0;clear:both}}@media only screen and (min-width: 992px){body>header{font-size:1.3em}#content{margin-right:300px}#content>div,#content>article{padding-top:27.5px;padding-bottom:27.5px}aside.sidebar{width:260px;padding:1.2em 20px 20px}.collapse-sidebar aside.sidebar{padding-left:55px;padding-right:55px}}@media only screen and (min-width: 768px){ul,ol{margin-left:0}}body>header{background:#333}body>header h1{display:inline-block;margin:0}body>header h1 a,body>header h1 a:visited,body>header h1 a:hover{color:#f2f2f2;text-decoration:none}body>header h2{margin:0.2em 0 0;font-size:1em;color:#f2f2f2;font-weight:normal}body>nav{position:relative;background-color:#223442;background:url('/images/noise.png?1357266755'),-webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #30495d), color-stop(50%, #223442), color-stop(100%, #0f171d));background:url('/images/noise.png?1357266755'),-webkit-linear-gradient(#30495d,#223442,#0f171d);background:url('/images/noise.png?1357266755'),-moz-linear-gradient(#30495d,#223442,#0f171d);background:url('/images/noise.png?1357266755'),-o-linear-gradient(#30495d,#223442,#0f171d);background:url('/images/noise.png?1357266755'),linear-gradient(#30495d,#223442,#0f171d);border-top:1px solid #3c5c74;border-bottom:1px solid #000;padding-top:.35em;padding-bottom:.35em}body>nav form{-webkit-background-clip:padding;-moz-background-clip:padding;background-clip:padding-box;margin:0;padding:0}body>nav form .search{padding:0.3em 0.5em 0;font-size:.85em;font-family:"Varela Round","Helvetica Neue",Arial,sans-serif;line-height:1.1em;width:95%;-webkit-border-radius:0.5em;-moz-border-radius:0.5em;-ms-border-radius:0.5em;-o-border-radius:0.5em;border-radius:0.5em;-webkit-background-clip:padding;-moz-background-clip:padding;background-clip:padding-box;-webkit-box-shadow:#253949 0 1px;-moz-box-shadow:#253949 0 1px;box-shadow:#253949 0 1px;background-color:#3c5c74;border:1px solid #111920;color:#888}body>nav form .search:focus{color:#444;border-color:#80b1df;-webkit-box-shadow:#80b1df 0 0 4px,#80b1df 0 0 3px inset;-moz-box-shadow:#80b1df 0 0 4px,#80b1df 0 0 3px inset;box-shadow:#80b1df 0 0 4px,#80b1df 0 0 3px inset;background-color:#fff;outline:none}body>nav fieldset[role=search]{float:right;width:48%}body>nav fieldset.mobile-nav{float:left;width:48%}body>nav fieldset.mobile-nav select{width:100%;font-size:.8em;border:1px solid #888}body>nav ul{display:none}@media only screen and (min-width: 550px){body>nav{font-size:.9em}body>nav ul{margin:0;padding:0;border:0;overflow:hidden;*zoom:1;float:left;display:block;padding-top:.15em}body>nav ul li{list-style-image:none;list-style-type:none;margin-left:0;white-space:nowrap;display:inline;float:left;padding-left:0;padding-right:0}body>nav ul li:first-child,body>nav ul li.first{padding-left:0}body>nav ul li:last-child{padding-right:0}body>nav ul li.last{padding-right:0}body>nav ul.subscription{margin-left:.8em;float:right}body>nav ul.subscription li:last-child a{padding-right:0}body>nav ul li{margin:0}body>nav a{color:#dce6ed;font-family:"Varela Round","Helvetica Neue",Arial,sans-serif;text-shadow:#37546a 0 1px;float:left;text-decoration:none;font-size:1.1em;padding:0.1em 0;line-height:1.5em}body>nav a:visited{color:#dce6ed}body>nav a:hover{color:#88a8c2}body>nav li+li{border-left:1px solid #0f171d;margin-left:.8em}body>nav li+li a{padding-left:.8em;border-left:1px solid #2e475a}body>nav form{float:right;text-align:left;padding-left:.8em;width:175px}body>nav form .search{width:93%;font-size:.95em;line-height:1.2em}body>nav ul[data-subscription$=email]+form{width:97px}body>nav ul[data-subscription$=email]+form .search{width:91%}body>nav fieldset.mobile-nav{display:none}body>nav fieldset[role=search]{width:99%}}@media only screen and (min-width: 992px){body>nav form{width:215px}body>nav ul[data-subscription$=email]+form{width:147px}}.no-placeholder body>nav .search{background:#3c5c74 url('/images/search.png?1357266755') 0.3em 0.25em no-repeat;text-indent:1.3em}@media only screen and (min-width: 550px){.maskimage body>nav ul[data-subscription$=email]+form{width:123px}}@media only screen and (min-width: 992px){.maskimage body>nav ul[data-subscription$=email]+form{width:173px}}.maskimage ul.subscription{position:relative;top:.2em}.maskimage ul.subscription li,.maskimage ul.subscription a{border:0;padding:0}.maskimage a[rel=subscribe-rss]{position:relative;top:0px;text-indent:-999999em;background-color:#2e475a;border:0;padding:0}.maskimage a[rel=subscribe-rss],.maskimage a[rel=subscribe-rss]:after{-webkit-mask-image:url('/images/rss.png?1357266755');-moz-mask-image:url('/images/rss.png?1357266755');-ms-mask-image:url('/images/rss.png?1357266755');-o-mask-image:url('/images/rss.png?1357266755');mask-image:url('/images/rss.png?1357266755');-webkit-mask-repeat:no-repeat;-moz-mask-repeat:no-repeat;-ms-mask-repeat:no-repeat;-o-mask-repeat:no-repeat;mask-repeat:no-repeat;width:22px;height:22px}.maskimage a[rel=subscribe-rss]:after{content:"";position:absolute;top:-1px;left:0;background-color:#fff}.maskimage a[rel=subscribe-rss]:hover:after{background-color:#fff}.maskimage a[rel=subscribe-email]{position:relative;top:0px;text-indent:-999999em;background-color:#2e475a;border:0;padding:0}.maskimage a[rel=subscribe-email],.maskimage a[rel=subscribe-email]:after{-webkit-mask-image:url('/images/email.png?1357266755');-moz-mask-image:url('/images/email.png?1357266755');-ms-mask-image:url('/images/email.png?1357266755');-o-mask-image:url('/images/email.png?1357266755');mask-image:url('/images/email.png?1357266755');-webkit-mask-repeat:no-repeat;-moz-mask-repeat:no-repeat;-ms-mask-repeat:no-repeat;-o-mask-repeat:no-repeat;mask-repeat:no-repeat;width:28px;height:22px}.maskimage a[rel=subscribe-email]:after{content:"";position:absolute;top:-1px;left:0;background-color:#fff}.maskimage a[rel=subscribe-email]:hover:after{background-color:#fff}#content .blog-index{padding-top:0;padding-bottom:0}#content .blog-index article{padding-top:2em}article{padding-top:1em}article header{position:relative;padding-top:2em;padding-bottom:1em;margin-bottom:1em;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') bottom left repeat-x}@media only screen and (min-width: 768px){article header{margin-bottom:1.5em;padding-bottom:1em;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') bottom left repeat-x}}.blog-index article header{background:none;padding-bottom:0}article header p{font-size:.8em;margin:0;color:#aaa}article header p.meta{position:absolute;top:0}article header time{text-transform:uppercase}article .entry-title{margin:0}article .entry-title a{text-decoration:none}article .entry-title a:hover{text-decoration:underline}.blog-index article .entry-title{font-size:2.2em}.blog-index article .entry-title a{color:inherit}.blog-index article .entry-title a:hover{color:#0181eb}article a[rel=bookmark]{text-decoration:none}article h2{padding-top:0.8em;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') top left repeat-x}article h2:first-child,article header+h2{background:none}.entry-content article h2:first-child,article header+h2{padding-top:0}article.linklog .entry-title{font-size:2.2em}article.linklog .entry-title a{text-decoration:underline}.blog-index article.linklog .entry-title{font-size:1.5em}article .linklog-marker{color:#aaa;font-size:.8em;line-height:1em;position:relative;top:-.15em}article>footer{padding-bottom:2.5em;margin-top:2em}.blog-index article>footer{margin-top:1em}article footer .meta{margin-bottom:.8em;font-size:.85em;clear:both;overflow:hidden}article footer p:last-child{margin-bottom:0}article footer .comments-link{font-size:.8em;color:inherit}article footer .comments-link:hover,article footer .comments-link:focus{color:#0181eb}article a[rel=full-article]{background:#ebebeb;display:inline-block;padding:0.4em 0.8em;margin-right:.5em;text-decoration:none;color:#5d5d5d;-webkit-transition:background-color 0.5s;-moz-transition:background-color 0.5s;-o-transition:background-color 0.5s;transition:background-color 0.5s}article a[rel=full-article]:hover{background:#0181eb;text-shadow:none;color:#f8f8f8}.blog-index article+article{background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') top left repeat-x}article .feature{padding-top:.5em;margin-bottom:1em;padding-bottom:1em;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') bottom left repeat-x;font-size:2.0em;font-style:italic;line-height:1.3em}article img,article video,article .flash-video{-webkit-border-radius:0.3em;-moz-border-radius:0.3em;-ms-border-radius:0.3em;-o-border-radius:0.3em;border-radius:0.3em;-webkit-box-shadow:rgba(0,0,0,0.15) 0 1px 4px;-moz-box-shadow:rgba(0,0,0,0.15) 0 1px 4px;box-shadow:rgba(0,0,0,0.15) 0 1px 4px;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box;border:#fff 0.5em solid}article video,article .flash-video{margin:0 auto 1.5em}article video{display:block;width:100%}article .flash-video>div{position:relative;display:block;padding-bottom:56.25%;padding-top:1px;height:0;overflow:hidden}article .flash-video>div iframe,article .flash-video>div object,article .flash-video>div embed{position:absolute;top:0;left:0;width:100%;height:100%}.separator,article footer .byline+time:before,article footer time+time:before,article footer .comments:before,article footer .byline ~ .categories:before{content:"\2022 ";padding:0 0.4em 0 0.2em;display:inline-block}#content div.pagination{text-align:center;font-size:.95em;position:relative;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') top left repeat-x;padding-top:1.5em;padding-bottom:1.5em}#content div.pagination a{text-decoration:none;color:#aaa}#content div.pagination a.prev{position:absolute;left:0}#content div.pagination a.next{position:absolute;right:0}#content div.pagination a:hover{color:#0181eb}#content div.pagination a[href*=archive]:before,#content div.pagination a[href*=archive]:after{content:'\2014';padding:0 0.3em}.simple-social-button,.googleplus-share,.facebook-share,.twitter-share,.sidebar a.twitter-follow-button,.sidebar .github-follow{position:relative;overflow:hidden;font-family:"Lucida Grande",Helvetica,Arial,sans;display:inline-block;border:1px solid #ccc;padding:0.2em 0.5em;line-height:1.45em;font-size:11px;font-weight:bold;text-decoration:none;text-shadow:#fff 0 1px;-webkit-border-radius:0.3em;-moz-border-radius:0.3em;-ms-border-radius:0.3em;-o-border-radius:0.3em;border-radius:0.3em;background-color:#e5e5e5;background-image:-webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #ffffff), color-stop(100%, #dddddd));background-image:-webkit-linear-gradient(#ffffff,#dddddd);background-image:-moz-linear-gradient(#ffffff,#dddddd);background-image:-o-linear-gradient(#ffffff,#dddddd);background-image:linear-gradient(#ffffff,#dddddd)}.simple-social-button:hover,.googleplus-share:hover,.facebook-share:hover,.twitter-share:hover,.sidebar a.twitter-follow-button:hover,.sidebar .github-follow:hover{background-image:-webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #f5f5f5), color-stop(100%, #cccccc));background-image:-webkit-linear-gradient(#f5f5f5,#cccccc);background-image:-moz-linear-gradient(#f5f5f5,#cccccc);background-image:-o-linear-gradient(#f5f5f5,#cccccc);background-image:linear-gradient(#f5f5f5,#cccccc);border-color:#b5b5b5;background-color:#ddd}.simple-social-button:before,.googleplus-share:before,.facebook-share:before,.twitter-share:before,.sidebar a.twitter-follow-button:before,.sidebar .github-follow:before{content:"";display:inline-block}p.meta+.sharing{padding-top:1em;padding-left:0;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') top left repeat-x}#fb-root{display:none}.googleplus-share{color:#db583b;padding-left:17px}.googleplus-share:visited,.googleplus-share:hover,.googleplus-share:visited:hover{color:#db583b}.googleplus-share:before{vertical-align:middle;position:absolute;left:3px}.googleplus-share:before{top:5px}.facebook-share{color:#4e5a9b;padding-left:18px}.facebook-share:visited,.facebook-share:hover,.facebook-share:visited:hover{color:#4e5a9b}.facebook-share:before{vertical-align:middle;position:absolute;left:3px}.facebook-share:before{top:3px}.twitter-share,.sidebar a.twitter-follow-button{color:#333;padding-left:20px}.twitter-share:visited,.twitter-share:hover,.twitter-share:visited:hover,.sidebar a.twitter-follow-button:visited,.sidebar a.twitter-follow-button:hover,.sidebar a.twitter-follow-button:visited:hover{color:#333}.twitter-share:before,.sidebar a.twitter-follow-button:before{vertical-align:middle;position:absolute;left:3px}.sidebar .github-follow{color:#333;padding-left:22px}.sidebar .github-follow:visited,.sidebar .github-follow:hover,.sidebar .github-follow:visited:hover{color:#333}.sidebar .github-follow:before{vertical-align:middle;position:absolute;left:3px}p code,li code{display:inline-block;white-space:no-wrap;background:#fff;font-size:.8em;line-height:1.5em;color:#555;border:1px solid #ddd;-webkit-border-radius:0.4em;-moz-border-radius:0.4em;-ms-border-radius:0.4em;-o-border-radius:0.4em;border-radius:0.4em;padding:0 0.3em;margin:-1px 0}p pre code,li pre code{font-size:1em;background:none;border:none}pre{background:#fbfbfb url('/images/noise.png?1357266755') top left;-webkit-border-radius:0.4em;-moz-border-radius:0.4em;-ms-border-radius:0.4em;-o-border-radius:0.4em;border-radius:0.4em;color:#586e75;overflow:scroll;overflow-y:hidden;overflow-x:auto;border:1px solid #d8d8d8;margin-bottom:2.1em;padding:1em 0.8em;font-size:13px;line-height:1.45em}figure.code{-webkit-box-shadow:rgba(0,0,0,0.06) 0 0 10px;-moz-box-shadow:rgba(0,0,0,0.06) 0 0 10px;box-shadow:rgba(0,0,0,0.06) 0 0 10px;background:none;padding:0;border:0;margin-bottom:1.5em}figure.code pre{-webkit-border-radius:0px;-moz-border-radius:0px;-ms-border-radius:0px;-o-border-radius:0px;border-radius:0px;-webkit-box-shadow:none;-moz-box-shadow:none;box-shadow:none;background:none;color:#586e75;border:none;padding:0;margin-bottom:0;overflow:visible;font-style:normal;font-weight:normal}figure.code figcaption{position:relative;text-align:center;font-size:13px;line-height:2em;font-weight:normal;margin-bottom:0;-moz-border-radius-topleft:5px;-webkit-border-top-left-radius:5px;border-top-left-radius:5px;-moz-border-radius-topright:5px;-webkit-border-top-right-radius:5px;border-top-right-radius:5px;font-family:"Helvetica Neue",Arial,"Lucida Grande","Lucida Sans Unicode",Lucida,sans-serif;background-color:#aaaaaa;text-shadow:#fff 0 1px 0;color:#777;background-image:-webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #ffffff), color-stop(6%, #f0f0f0), color-stop(90%, #e5e5e5), color-stop(100%, #dddddd));background-image:-webkit-linear-gradient(#ffffff,#f0f0f0 6%,#e5e5e5 90%,#dddddd);background-image:-moz-linear-gradient(#ffffff,#f0f0f0 6%,#e5e5e5 90%,#dddddd);background-image:-o-linear-gradient(#ffffff,#f0f0f0 6%,#e5e5e5 90%,#dddddd);background-image:linear-gradient(#ffffff,#f0f0f0 6%,#e5e5e5 90%,#dddddd);border:1px solid #c5c5c5;border-top-color:#d5d5d5;border-bottom:0}figure.code figcaption a{position:absolute;right:.8em;text-decoration:none;color:inherit;z-index:1;padding-left:3em}figure.code figcaption a:hover{text-decoration:underline}figure.code .marked{position:relative;display:block}figure.code .marked:after{content:"";position:absolute;background:rgba(0,186,255,0.03);left:-.8em;top:0;bottom:0;right:-.8em;border:0px solid rgba(0,186,255,0.13);border-left-color:rgba(0,186,255,0.5)}figure.code .marked.start:after{border-top-width:1px}figure.code .marked.end:after{border-bottom-width:1px}figure.code .unnumbered .marked:after,figure.code .line-numbers .marked:after{border-left-width:2px}.highlight{border:1px solid #d8d8d8;background:#fbfbfb;overflow-y:hidden;overflow-x:auto}.highlight [data-line]:before{content:attr(data-line);font-size:0;line-height:0;color:transparent}.highlight td{line-height:1.45em;font-size:13px}.highlight td div{padding:.8em}.highlight .main{width:100%;background:#fbfbfb url('/images/noise.png?1357266755') top left}.highlight .line-numbers{text-align:right;background:#fefefe url('/images/noise.png?1357266755') top left;border-right:1px solid #e0e0e0;-webkit-box-shadow:#fff -1px 0 inset;-moz-box-shadow:#fff -1px 0 inset;box-shadow:#fff -1px 0 inset;text-shadow:#eaeaea 0 -1px}.highlight .line-numbers pre{color:#93a1a1}.highlight .c{color:#93a1a1;font-style:italic}.highlight .cm{color:#93a1a1;font-style:italic}.highlight .cp{color:#93a1a1;font-style:italic}.highlight .c1{color:#93a1a1;font-style:italic}.highlight .cs{color:#93a1a1;font-weight:bold;font-style:italic}.highlight .err{color:#dc322f;background:none}.highlight .k{color:#cb4b16}.highlight .o{color:#586e75;font-weight:bold}.highlight .p{color:#586e75}.highlight .ow{color:#2aa198;font-weight:bold}.highlight .gd{color:#586e75;background-color:#f3c8c8;display:inline-block}.highlight .gd .x{color:#586e75;background-color:#f0b4b3;display:inline-block}.highlight .ge{color:#586e75;font-style:italic}.highlight .gh{color:#93a1a1}.highlight .gi{color:#586e75;background-color:#e3e7c8;display:inline-block}.highlight .gi .x{color:#586e75;background-color:#cbd396;display:inline-block}.highlight .gs{color:#586e75;font-weight:bold}.highlight .gu{color:#6c71c4}.highlight .kc{color:#859900;font-weight:bold}.highlight .kd{color:#268bd2}.highlight .kp{color:#cb4b16;font-weight:bold}.highlight .kr{color:#d33682;font-weight:bold}.highlight .kt{color:#2aa198}.highlight .n{color:#268bd2}.highlight .na{color:#268bd2}.highlight .nb{color:#859900}.highlight .nc{color:#d33682}.highlight .no{color:#b58900}.highlight .nl{color:#859900}.highlight .ne{color:#268bd2;font-weight:bold}.highlight .nf{color:#268bd2;font-weight:bold}.highlight .nn{color:#b58900}.highlight .nt{color:#268bd2;font-weight:bold}.highlight .nx{color:#b58900 !important}.highlight .vg{color:#268bd2}.highlight .vi{color:#268bd2}.highlight .nv{color:#268bd2}.highlight .mf{color:#2aa198}.highlight .m{color:#2aa198}.highlight .mh{color:#2aa198}.highlight .mi{color:#2aa198}.highlight .s{color:#2aa198}.highlight .sd{color:#2aa198}.highlight .s2{color:#2aa198}.highlight .se{color:#dc322f}.highlight .si{color:#268bd2}.highlight .sr{color:#2aa198}.highlight .s1{color:#2aa198}.highlight div .gd,.highlight div .gd .x,.highlight div .gi,.highlight div .gi .x{display:inline-block;width:100%}pre::-webkit-scrollbar,.highlight::-webkit-scrollbar{height:.5em;background:rgba(0,0,0,0.15)}pre::-webkit-scrollbar-thumb:horizontal,.highlight::-webkit-scrollbar-thumb:horizontal{background:rgba(0,0,0,0.15);-webkit-border-radius:4px;border-radius:4px}#archive #content>div,#archive #content>div>article{padding-top:0}#blog-archives{color:#aaa}#blog-archives article{padding:1em 0 1em;position:relative;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') bottom left repeat-x}#blog-archives article:last-child{background:none}#blog-archives article footer{padding:0;margin:0;font-size:.85em;line-height:1em}#blog-archives h2{display:none}#blog-archives .entry-title{color:#111;margin-bottom:.3em;font-size:1.3em}#blog-archives .entry-title a{text-decoration:none;font-weight:normal;display:inline-block}#blog-archives .entry-title a:hover{text-decoration:underline}#blog-archives .entry-title a:hover{color:#0181eb}#blog-archives article[data-linklog] .entry-title{font-size:1em}#blog-archives article[data-linklog] .entry-title a{text-decoration:underline}#blog-archives a.category,#blog-archives time{color:#aaa}#blog-archives .entry-content{display:none}#blog-archives time{font-size:.9em;line-height:1.2em}#blog-archives time .month,#blog-archives time .day{display:inline-block}#blog-archives time .month{text-transform:uppercase}#blog-archives p{margin-bottom:1em}#blog-archives a:hover{color:#0181eb}@media only screen and (min-width: 550px){#blog-archives article{padding-left:4.5em;padding-bottom:.7em;margin-left:5em}#blog-archives h2{margin-bottom:.3em;font-weight:normal;display:inline-block;position:relative;top:-1px;float:left}#blog-archives h2:first-child{padding-top:.75em}#blog-archives time{position:absolute;text-align:right;left:0em;top:1.8em}#blog-archives .year{display:none}#blog-archives a.category{line-height:1.1em}}#content>.category article{margin-left:0;padding-left:6.8em}#content>.category .year{display:inline}.side-shadow-border,.sidebar section h1,.sidebar li{-webkit-box-shadow:#fff 0 1px;-moz-box-shadow:#fff 0 1px;box-shadow:#fff 0 1px}.sidebar{overflow:hidden;color:#3d3d3d;text-shadow:#fff 0 1px}.sidebar section{font-size:.8em;line-height:1.4em;margin-bottom:1.5em}.sidebar section h1{margin:1.5em 0 0;padding-bottom:.2em;border-bottom:1px solid #e0e0e0}.sidebar section h1+p{padding-top:.4em}.sidebar img{-webkit-border-radius:0.3em;-moz-border-radius:0.3em;-ms-border-radius:0.3em;-o-border-radius:0.3em;border-radius:0.3em;-webkit-box-shadow:rgba(0,0,0,0.15) 0 1px 4px;-moz-box-shadow:rgba(0,0,0,0.15) 0 1px 4px;box-shadow:rgba(0,0,0,0.15) 0 1px 4px;-webkit-box-sizing:border-box;-moz-box-sizing:border-box;box-sizing:border-box;border:#fff 0.3em solid}.sidebar ul{margin-bottom:0.5em;margin-left:0}.sidebar li{list-style:none;padding:0.5em 0;margin:0;border-bottom:1px solid #e0e0e0}.sidebar li p:last-child{margin-bottom:0}.sidebar a{color:inherit;-webkit-transition:color 0.5s;-moz-transition:color 0.5s;-o-transition:color 0.5s;transition:color 0.5s}.sidebar:hover p a,.sidebar:hover li a{color:#1863a1}.sidebar:hover p a:hover,.sidebar:hover li a:hover{color:#0181eb}.aside-alt-link,#tweets a[href*='twitter.com/search'],#pinboard_linkroll .pin-tag{color:#707070}.aside-alt-link:hover,#tweets a[href*='twitter.com/search']:hover,#pinboard_linkroll .pin-tag:hover{color:#0181eb}@media only screen and (min-width: 768px){.toggle-sidebar{outline:none;position:absolute;right:-10px;top:0;bottom:0;display:inline-block;text-decoration:none;color:#cecece;width:9px;cursor:pointer}.toggle-sidebar:hover{background:#e9e9e9;background:-webkit-gradient(linear, 0% 50%, 100% 50%, color-stop(0%, rgba(224,224,224,0.5)), color-stop(100%, rgba(224,224,224,0)));background:-webkit-linear-gradient(left, rgba(224,224,224,0.5),rgba(224,224,224,0));background:-moz-linear-gradient(left, rgba(224,224,224,0.5),rgba(224,224,224,0));background:-o-linear-gradient(left, rgba(224,224,224,0.5),rgba(224,224,224,0));background:linear-gradient(left, rgba(224,224,224,0.5),rgba(224,224,224,0))}.toggle-sidebar:after{position:absolute;right:-11px;top:0;width:20px;font-size:1.2em;line-height:1.1em;padding-bottom:.15em;-moz-border-radius-bottomright:0.3em;-webkit-border-bottom-right-radius:0.3em;border-bottom-right-radius:0.3em;text-align:center;background:#f8f8f8 url('/images/noise.png?1357266755') top left;border-bottom:1px solid #e0e0e0;border-right:1px solid #e0e0e0;content:"\00BB";text-indent:-1px}.collapse-sidebar .toggle-sidebar{text-indent:0px;right:-20px;width:19px}.collapse-sidebar .toggle-sidebar:hover{background:#e9e9e9}.collapse-sidebar .toggle-sidebar:after{border-left:1px solid #e0e0e0;text-shadow:#fff 0 1px;content:"\00AB";left:0px;right:0;text-align:center;text-indent:0;border:0;border-right-width:0;background:none}}#tweets .loading{color:#c4c4c4;text-shadow:#f8f8f8 0 1px;text-align:center;padding:0.5em 0}#tweets .loading:before{content:"";display:block;margin:0 auto}.transform #tweets .loading.error{-webkit-transform:rotate(180deg);-moz-transform:rotate(180deg);-ms-transform:rotate(180deg);-o-transform:rotate(180deg);transform:rotate(180deg);-webkit-box-shadow:#fff 0 -1px;-moz-box-shadow:#fff 0 -1px;box-shadow:#fff 0 -1px;border-bottom:0;border-top:1px solid #e0e0e0}#tweets p{position:relative;padding-right:1em}#tweets a[href*=status]:first-child{color:#969696;float:right;padding:0 0 0.1em 1em;position:relative;right:-1.3em;text-shadow:#fff 0 1px;font-size:.7em;text-decoration:none}#tweets a[href*=status]:first-child span{font-size:1.5em}#tweets a[href*=status]:first-child:hover{color:#0181eb;text-decoration:none}#tweets a[href*='twitter.com/search']{text-decoration:none}#tweets a[href*='twitter.com/search']:hover{text-decoration:underline}.googleplus h1{-moz-box-shadow:none !important;-webkit-box-shadow:none !important;-o-box-shadow:none !important;box-shadow:none !important;border-bottom:0px none !important}.googleplus a{text-decoration:none;white-space:normal !important;line-height:32px}.googleplus a img{float:left;margin-right:0.5em;border:0 none}.googleplus-hidden{position:absolute;top:-1000em;left:-1000em}#pinboard_linkroll .pin-title,#pinboard_linkroll .pin-description{display:block;margin-bottom:.5em}#pinboard_linkroll .pin-tag{text-decoration:none}#pinboard_linkroll .pin-tag:hover{text-decoration:underline}#pinboard_linkroll .pin-tag:after{content:','}#pinboard_linkroll .pin-tag:last-child:after{content:''}.delicious-posts a.delicious-link{margin-bottom:.5em;display:block}.delicious-posts p{font-size:1em}body>footer{font-size:.8em;color:#888;text-shadow:#d9d9d9 0 1px;background-color:#ccc;background:url('/images/noise.png?1357266755'),-webkit-gradient(linear, 50% 0%, 50% 100%, color-stop(0%, #e0e0e0), color-stop(50%, #cccccc), color-stop(100%, #b0b0b0));background:url('/images/noise.png?1357266755'),-webkit-linear-gradient(#e0e0e0,#cccccc,#b0b0b0);background:url('/images/noise.png?1357266755'),-moz-linear-gradient(#e0e0e0,#cccccc,#b0b0b0);background:url('/images/noise.png?1357266755'),-o-linear-gradient(#e0e0e0,#cccccc,#b0b0b0);background:url('/images/noise.png?1357266755'),linear-gradient(#e0e0e0,#cccccc,#b0b0b0);border-top:1px solid #f2f2f2;position:relative;padding-top:1em;padding-bottom:1em;margin-bottom:3em;-moz-border-radius-bottomleft:0.4em;-webkit-border-bottom-left-radius:0.4em;border-bottom-left-radius:0.4em;-moz-border-radius-bottomright:0.4em;-webkit-border-bottom-right-radius:0.4em;border-bottom-right-radius:0.4em;z-index:1}body>footer a{color:#6b6b6b}body>footer a:visited{color:#6b6b6b}body>footer a:hover{color:#484848}body>footer p:last-child{margin-bottom:0}#blog-archives{color:#aaa}#blog-archives article{padding:1em 0 1em;position:relative;background:url('data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACgAAAABCAYAAACsXeyTAAAACXBIWXMAAAsTAAALEwEAmpwYAAAAFUlEQVQIHWNIS0sr/v//PwMMDzY+ADqMahlW4J91AAAAAElFTkSuQmCC') bottom left repeat-x}#blog-archives article:last-child{background:none}#blog-archives article footer{padding:0;margin:0;font-size:.85em;line-height:1em}#blog-archives h2{display:none}#blog-archives .entry-title{color:#111;margin-bottom:.3em;font-size:1.3em}#blog-archives .entry-title a{text-decoration:none;font-weight:bold;display:inline-block}#blog-archives .entry-title a:hover{text-decoration:underline}#blog-archives .entry-title a:hover{color:#0181eb}#blog-archives article[data-linklog] .entry-title{font-size:1em}#blog-archives article[data-linklog] .entry-title a{text-decoration:underline}#blog-archives a.category,#blog-archives time{color:#aaa}#blog-archives .entry-content{display:none}#blog-archives time{font-size:.9em;line-height:1.2em}#blog-archives time .month,#blog-archives time .day{display:inline-block}#blog-archives time .month{text-transform:uppercase}#blog-archives p{margin-bottom:1em}#blog-archives a:hover{color:#0181eb}@media only screen and (min-width: 550px){#blog-archives article{padding-left:4.5em;padding-bottom:.7em;margin-left:5em}#blog-archives h2{margin-bottom:.3em;font-weight:normal;display:inline-block;position:relative;top:-1px;float:left}#blog-archives h2:first-child{padding-top:.75em}#blog-archives time{position:absolute;text-align:right;left:0em;top:1.8em}#blog-archives .year{display:none}#blog-archives a.category{line-height:1.1em}}figure.code{overflow-x:auto}a[rel=bookmark]{font-family:"Varela Round","Helvetica Neue",Arial,sans-serif;text-decoration:none}@font-face{font-family:'MJX_Main';src:url("http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/eot/MathJax_Main-Regular.eot");src:url("http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/eot/MathJax_Main-Regular.eot?iefix") format("eot"),url("http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/woff/MathJax_Main-Regular.woff") format("woff"),url("http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/otf/MathJax_Main-Regular.otf") format("opentype"),url("http://cdn.mathjax.org/mathjax/latest/fonts/HTML-CSS/TeX/svg/MathJax_Main-Regular.svg#MathJax_Main-Regular") format("svg")}header[role="banner"]{background-image:url(/images/Terrace2.jpg);background-repeat:no-repeat}#publications q:before{content:"\201C"}#publications q:after{content:"\201D"}#publications q{font-style:normal}#publications i{font-style:italic}#publications a:before{content:"("}#publications a:after{content:")"}#publications a{font-family:"Varela Round","Helvetica Neue",Arial,sans-serif;font-size:80%}.theorem{display:block;margin:12px 0;font-style:italic}.theorem:before{content:"Theorem.";font-weight:bold;font-style:normal}.lemma{display:block;margin:12px 0;font-style:italic}.lemma:before{content:"Lemma.";font-weight:bold;font-style:normal}.proof{display:block;margin:12px 0;font-style:normal}.proof:before{content:"Proof.";font-style:italic}.proof:after{content:"\25FC";float:right}.definition{display:block;margin:12px 0;font-style:normal}.definition:before{content:"Definition.";font-weight:bold;font-style:normal}*+table{border-style:solid;border-width:1px;border-color:#e7e3e7}*+table th,*+table td{border-style:dashed;border-width:1px;border-color:#e7e3e7;padding-left:3px;padding-right:3px}*+table th{border-style:solid;font-weight:bold;background:url("/images/noise.png?1330434582") repeat scroll left top #f7f3f7}*+table th[align="left"],*+table td[align="left"]{text-align:left}*+table th[align="right"],*+table td[align="right"]{text-align:right}*+table th[align="center"],*+table td[align="center"]{text-align:center}*+table img{max-width:none !important}
diff --git a/sponsors/index.html b/sponsors/index.html
new file mode 100644
index 00000000..d31d79b3
--- /dev/null
+++ b/sponsors/index.html
@@ -0,0 +1,222 @@
+
+
+
+
+
+
+ sponsors - SALT Lab
+
+
+
+ Software AnaLysis and Testing (SALT) Lab
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ SALT lab is supported by:
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Google+
+
+