git@UCC - matches/honours.git/tree - research/TCS/2012-09-28/

drwxr-xr-x		..
-rw-r--r--	12653	000215.dat	blob \| history \| raw
-rw-r--r--	12664	000716.dat	blob \| history \| raw
-rw-r--r--	12666	001216.dat	blob \| history \| raw
-rw-r--r--	12681	001716.dat	blob \| history \| raw
-rw-r--r--	12671	002216.dat	blob \| history \| raw
-rw-r--r--	12665	002717.dat	blob \| history \| raw
-rw-r--r--	12661	003217.dat	blob \| history \| raw
-rw-r--r--	12694	003718.dat	blob \| history \| raw
-rw-r--r--	12657	004218.dat	blob \| history \| raw
-rw-r--r--	12671	004718.dat	blob \| history \| raw
-rw-r--r--	12659	005218.dat	blob \| history \| raw
-rw-r--r--	12673	005718.dat	blob \| history \| raw
-rw-r--r--	12673	010218.dat	blob \| history \| raw
-rw-r--r--	12670	010718.dat	blob \| history \| raw
-rw-r--r--	12685	011218.dat	blob \| history \| raw
-rw-r--r--	12671	011718.dat	blob \| history \| raw
-rw-r--r--	12681	012217.dat	blob \| history \| raw
-rw-r--r--	12673	012717.dat	blob \| history \| raw
-rw-r--r--	12680	013217.dat	blob \| history \| raw
-rw-r--r--	12677	013717.dat	blob \| history \| raw
-rw-r--r--	12676	014217.dat	blob \| history \| raw
-rw-r--r--	12673	014716.dat	blob \| history \| raw
-rw-r--r--	12676	015216.dat	blob \| history \| raw
-rw-r--r--	12693	015717.dat	blob \| history \| raw
-rw-r--r--	12673	020217.dat	blob \| history \| raw
-rw-r--r--	12686	020718.dat	blob \| history \| raw
-rw-r--r--	12687	021218.dat	blob \| history \| raw
-rw-r--r--	12662	021719.dat	blob \| history \| raw
-rw-r--r--	12673	022219.dat	blob \| history \| raw
-rw-r--r--	12674	022720.dat	blob \| history \| raw
-rw-r--r--	12683	023220.dat	blob \| history \| raw
-rw-r--r--	12674	023720.dat	blob \| history \| raw
-rw-r--r--	12672	024220.dat	blob \| history \| raw
-rw-r--r--	12671	024721.dat	blob \| history \| raw
-rw-r--r--	12672	025221.dat	blob \| history \| raw
-rw-r--r--	12666	025721.dat	blob \| history \| raw
-rw-r--r--	12681	030221.dat	blob \| history \| raw
-rw-r--r--	12666	030722.dat	blob \| history \| raw
-rw-r--r--	12663	031222.dat	blob \| history \| raw
-rw-r--r--	12673	031721.dat	blob \| history \| raw
-rw-r--r--	12687	032221.dat	blob \| history \| raw
-rw-r--r--	12668	032721.dat	blob \| history \| raw
-rw-r--r--	12685	033221.dat	blob \| history \| raw
-rw-r--r--	12683	033722.dat	blob \| history \| raw
-rw-r--r--	12676	034221.dat	blob \| history \| raw
-rw-r--r--	12691	034722.dat	blob \| history \| raw
-rw-r--r--	12685	035222.dat	blob \| history \| raw
-rw-r--r--	12679	035722.dat	blob \| history \| raw
-rw-r--r--	12673	040222.dat	blob \| history \| raw
-rw-r--r--	12684	040722.dat	blob \| history \| raw
-rw-r--r--	12687	041223.dat	blob \| history \| raw
-rw-r--r--	12676	041723.dat	blob \| history \| raw
-rw-r--r--	12691	042224.dat	blob \| history \| raw
-rw-r--r--	12683	042725.dat	blob \| history \| raw
-rw-r--r--	12687	043226.dat	blob \| history \| raw
-rw-r--r--	12682	043726.dat	blob \| history \| raw
-rw-r--r--	12675	044226.dat	blob \| history \| raw
-rw-r--r--	12684	044727.dat	blob \| history \| raw
-rw-r--r--	12682	045227.dat	blob \| history \| raw
-rw-r--r--	12681	045728.dat	blob \| history \| raw
-rw-r--r--	12677	050228.dat	blob \| history \| raw
-rw-r--r--	12694	050728.dat	blob \| history \| raw
-rw-r--r--	12683	051229.dat	blob \| history \| raw
-rw-r--r--	12673	051729.dat	blob \| history \| raw
-rw-r--r--	12676	052229.dat	blob \| history \| raw
-rw-r--r--	12682	052729.dat	blob \| history \| raw
-rw-r--r--	12681	053229.dat	blob \| history \| raw
-rw-r--r--	12691	053730.dat	blob \| history \| raw
-rw-r--r--	12673	054230.dat	blob \| history \| raw
-rw-r--r--	12692	054730.dat	blob \| history \| raw
-rw-r--r--	12671	055230.dat	blob \| history \| raw
-rw-r--r--	12685	055730.dat	blob \| history \| raw
-rw-r--r--	12677	060230.dat	blob \| history \| raw
-rw-r--r--	12669	060730.dat	blob \| history \| raw
-rw-r--r--	12681	061230.dat	blob \| history \| raw
-rw-r--r--	12681	061730.dat	blob \| history \| raw
-rw-r--r--	12668	062231.dat	blob \| history \| raw
-rw-r--r--	12687	062732.dat	blob \| history \| raw
-rw-r--r--	12680	063232.dat	blob \| history \| raw
-rw-r--r--	12683	063733.dat	blob \| history \| raw
-rw-r--r--	12666	064234.dat	blob \| history \| raw
-rw-r--r--	12690	064734.dat	blob \| history \| raw
-rw-r--r--	12683	065234.dat	blob \| history \| raw
-rw-r--r--	12666	065735.dat	blob \| history \| raw
-rw-r--r--	12687	070235.dat	blob \| history \| raw
-rw-r--r--	12684	070736.dat	blob \| history \| raw
-rw-r--r--	12684	071236.dat	blob \| history \| raw
-rw-r--r--	12676	071737.dat	blob \| history \| raw
-rw-r--r--	12684	072237.dat	blob \| history \| raw
-rw-r--r--	12690	072737.dat	blob \| history \| raw
-rw-r--r--	12669	073237.dat	blob \| history \| raw
-rw-r--r--	12679	073736.dat	blob \| history \| raw
-rw-r--r--	12685	074236.dat	blob \| history \| raw
-rw-r--r--	12668	074736.dat	blob \| history \| raw
-rw-r--r--	12677	075242.dat	blob \| history \| raw
-rw-r--r--	12681	075742.dat	blob \| history \| raw
-rw-r--r--	12688	080242.dat	blob \| history \| raw
-rw-r--r--	12690	080742.dat	blob \| history \| raw
-rw-r--r--	12689	081241.dat	blob \| history \| raw
-rw-r--r--	12674	081741.dat	blob \| history \| raw
-rw-r--r--	12688	082241.dat	blob \| history \| raw
-rw-r--r--	12654	082741.dat	blob \| history \| raw
-rw-r--r--	12681	083241.dat	blob \| history \| raw
-rw-r--r--	12679	083741.dat	blob \| history \| raw
-rw-r--r--	12676	084242.dat	blob \| history \| raw
-rw-r--r--	12677	084742.dat	blob \| history \| raw
-rw-r--r--	12685	085243.dat	blob \| history \| raw
-rw-r--r--	12687	085743.dat	blob \| history \| raw
-rw-r--r--	12667	090243.dat	blob \| history \| raw
-rw-r--r--	12694	090743.dat	blob \| history \| raw
-rw-r--r--	12686	091244.dat	blob \| history \| raw
-rw-r--r--	12689	091744.dat	blob \| history \| raw
-rw-r--r--	12679	092244.dat	blob \| history \| raw
-rw-r--r--	12689	092744.dat	blob \| history \| raw
-rw-r--r--	12680	093244.dat	blob \| history \| raw
-rw-r--r--	12678	093744.dat	blob \| history \| raw
-rw-r--r--	12668	094244.dat	blob \| history \| raw
-rw-r--r--	12684	094744.dat	blob \| history \| raw
-rw-r--r--	12668	095244.dat	blob \| history \| raw
-rw-r--r--	12681	095744.dat	blob \| history \| raw
-rw-r--r--	12671	100244.dat	blob \| history \| raw
-rw-r--r--	12680	100744.dat	blob \| history \| raw
-rw-r--r--	12659	101244.dat	blob \| history \| raw
-rw-r--r--	12688	101743.dat	blob \| history \| raw
-rw-r--r--	12685	102243.dat	blob \| history \| raw
-rw-r--r--	12694	102743.dat	blob \| history \| raw
-rw-r--r--	12681	103242.dat	blob \| history \| raw
-rw-r--r--	12685	103742.dat	blob \| history \| raw
-rw-r--r--	12656	104243.dat	blob \| history \| raw
-rw-r--r--	12678	104743.dat	blob \| history \| raw
-rw-r--r--	12661	105243.dat	blob \| history \| raw
-rw-r--r--	12672	105744.dat	blob \| history \| raw
-rw-r--r--	12665	110244.dat	blob \| history \| raw
-rw-r--r--	12672	110744.dat	blob \| history \| raw
-rw-r--r--	12690	111244.dat	blob \| history \| raw
-rw-r--r--	12692	111745.dat	blob \| history \| raw
-rw-r--r--	12682	112245.dat	blob \| history \| raw
-rw-r--r--	12680	112745.dat	blob \| history \| raw
-rw-r--r--	12687	113245.dat	blob \| history \| raw
-rw-r--r--	12680	113745.dat	blob \| history \| raw
-rw-r--r--	12677	114245.dat	blob \| history \| raw
-rw-r--r--	12689	114745.dat	blob \| history \| raw
-rw-r--r--	12676	115245.dat	blob \| history \| raw
-rw-r--r--	12684	115745.dat	blob \| history \| raw
-rw-r--r--	12688	120244.dat	blob \| history \| raw
-rw-r--r--	12681	120744.dat	blob \| history \| raw
-rw-r--r--	12678	121244.dat	blob \| history \| raw
-rw-r--r--	12680	121744.dat	blob \| history \| raw
-rw-r--r--	12682	122243.dat	blob \| history \| raw
-rw-r--r--	12669	122744.dat	blob \| history \| raw
-rw-r--r--	12664	123243.dat	blob \| history \| raw
-rw-r--r--	12672	123743.dat	blob \| history \| raw
-rw-r--r--	12686	124244.dat	blob \| history \| raw
-rw-r--r--	12662	124744.dat	blob \| history \| raw
-rw-r--r--	12682	125244.dat	blob \| history \| raw
-rw-r--r--	12687	125745.dat	blob \| history \| raw
-rw-r--r--	12686	130245.dat	blob \| history \| raw
-rw-r--r--	12681	130746.dat	blob \| history \| raw
-rw-r--r--	12665	131246.dat	blob \| history \| raw
-rw-r--r--	12692	131746.dat	blob \| history \| raw
-rw-r--r--	12679	132246.dat	blob \| history \| raw
-rw-r--r--	12670	132747.dat	blob \| history \| raw
-rw-r--r--	12674	133247.dat	blob \| history \| raw
-rw-r--r--	12690	133747.dat	blob \| history \| raw
-rw-r--r--	12688	134247.dat	blob \| history \| raw
-rw-r--r--	12668	134747.dat	blob \| history \| raw
-rw-r--r--	12674	135246.dat	blob \| history \| raw
-rw-r--r--	12685	135746.dat	blob \| history \| raw
-rw-r--r--	12663	140246.dat	blob \| history \| raw
-rw-r--r--	12650	140746.dat	blob \| history \| raw
-rw-r--r--	12673	141246.dat	blob \| history \| raw
-rw-r--r--	12676	141746.dat	blob \| history \| raw
-rw-r--r--	12677	142245.dat	blob \| history \| raw
-rw-r--r--	12672	142745.dat	blob \| history \| raw
-rw-r--r--	12675	143245.dat	blob \| history \| raw
-rw-r--r--	12665	143744.dat	blob \| history \| raw
-rw-r--r--	12683	144244.dat	blob \| history \| raw
-rw-r--r--	12660	144744.dat	blob \| history \| raw
-rw-r--r--	12678	145244.dat	blob \| history \| raw
-rw-r--r--	12678	145744.dat	blob \| history \| raw
-rw-r--r--	12677	150244.dat	blob \| history \| raw
-rw-r--r--	12689	150745.dat	blob \| history \| raw
-rw-r--r--	12687	151245.dat	blob \| history \| raw
-rw-r--r--	12674	151745.dat	blob \| history \| raw
-rw-r--r--	12679	152246.dat	blob \| history \| raw
-rw-r--r--	12680	152746.dat	blob \| history \| raw
-rw-r--r--	12681	153246.dat	blob \| history \| raw
-rw-r--r--	12670	153746.dat	blob \| history \| raw
-rw-r--r--	12686	154247.dat	blob \| history \| raw
-rw-r--r--	12680	154747.dat	blob \| history \| raw
-rw-r--r--	12655	155247.dat	blob \| history \| raw
-rw-r--r--	12686	155747.dat	blob \| history \| raw
-rw-r--r--	12679	160247.dat	blob \| history \| raw
-rw-r--r--	12685	160747.dat	blob \| history \| raw
-rw-r--r--	12687	161246.dat	blob \| history \| raw
-rw-r--r--	12688	161746.dat	blob \| history \| raw
-rw-r--r--	12668	162246.dat	blob \| history \| raw
-rw-r--r--	12670	162746.dat	blob \| history \| raw
-rw-r--r--	12676	163245.dat	blob \| history \| raw
-rw-r--r--	12665	163745.dat	blob \| history \| raw
-rw-r--r--	12678	164245.dat	blob \| history \| raw
-rw-r--r--	12676	164744.dat	blob \| history \| raw
-rw-r--r--	12684	165244.dat	blob \| history \| raw
-rw-r--r--	12684	165744.dat	blob \| history \| raw
-rw-r--r--	12683	170244.dat	blob \| history \| raw
-rw-r--r--	12663	170743.dat	blob \| history \| raw
-rw-r--r--	12679	171244.dat	blob \| history \| raw
-rw-r--r--	12681	171744.dat	blob \| history \| raw
-rw-r--r--	12669	172244.dat	blob \| history \| raw
-rw-r--r--	12685	172745.dat	blob \| history \| raw
-rw-r--r--	12668	173245.dat	blob \| history \| raw
-rw-r--r--	12668	173745.dat	blob \| history \| raw
-rw-r--r--	12685	174245.dat	blob \| history \| raw
-rw-r--r--	12672	174746.dat	blob \| history \| raw
-rw-r--r--	12669	175246.dat	blob \| history \| raw
-rw-r--r--	12675	175747.dat	blob \| history \| raw
-rw-r--r--	12675	180247.dat	blob \| history \| raw
-rw-r--r--	12668	180746.dat	blob \| history \| raw
-rw-r--r--	12658	181246.dat	blob \| history \| raw
-rw-r--r--	12674	181746.dat	blob \| history \| raw
-rw-r--r--	12663	182245.dat	blob \| history \| raw
-rw-r--r--	12664	182745.dat	blob \| history \| raw
-rw-r--r--	12666	183245.dat	blob \| history \| raw
-rw-r--r--	12667	183745.dat	blob \| history \| raw
-rw-r--r--	12668	184244.dat	blob \| history \| raw
-rw-r--r--	12681	184744.dat	blob \| history \| raw
-rw-r--r--	12674	185244.dat	blob \| history \| raw
-rw-r--r--	12651	185744.dat	blob \| history \| raw
-rw-r--r--	12678	190244.dat	blob \| history \| raw
-rw-r--r--	12675	190743.dat	blob \| history \| raw
-rw-r--r--	12676	191243.dat	blob \| history \| raw
-rw-r--r--	12666	191743.dat	blob \| history \| raw
-rw-r--r--	12677	192243.dat	blob \| history \| raw
-rw-r--r--	12656	192744.dat	blob \| history \| raw
-rw-r--r--	12681	193245.dat	blob \| history \| raw
-rw-r--r--	12670	193745.dat	blob \| history \| raw
-rw-r--r--	12667	194245.dat	blob \| history \| raw
-rw-r--r--	12673	194745.dat	blob \| history \| raw
-rw-r--r--	12663	195246.dat	blob \| history \| raw
-rw-r--r--	12687	195746.dat	blob \| history \| raw
-rw-r--r--	12671	200246.dat	blob \| history \| raw
-rw-r--r--	12672	200746.dat	blob \| history \| raw
-rw-r--r--	12678	201246.dat	blob \| history \| raw
-rw-r--r--	12679	201746.dat	blob \| history \| raw
-rw-r--r--	12674	202246.dat	blob \| history \| raw
-rw-r--r--	12681	202746.dat	blob \| history \| raw
-rw-r--r--	12676	203246.dat	blob \| history \| raw
-rw-r--r--	12684	203746.dat	blob \| history \| raw
-rw-r--r--	12676	204245.dat	blob \| history \| raw
-rw-r--r--	12665	204751.dat	blob \| history \| raw
-rw-r--r--	12658	205251.dat	blob \| history \| raw
-rw-r--r--	12681	205750.dat	blob \| history \| raw
-rw-r--r--	12672	210251.dat	blob \| history \| raw
-rw-r--r--	12665	210751.dat	blob \| history \| raw
-rw-r--r--	12674	211251.dat	blob \| history \| raw
-rw-r--r--	12686	211751.dat	blob \| history \| raw
-rw-r--r--	12680	212250.dat	blob \| history \| raw
-rw-r--r--	12678	212750.dat	blob \| history \| raw
-rw-r--r--	12676	213251.dat	blob \| history \| raw
-rw-r--r--	12660	213751.dat	blob \| history \| raw
-rw-r--r--	12680	214252.dat	blob \| history \| raw
-rw-r--r--	12677	214752.dat	blob \| history \| raw
-rw-r--r--	12676	215252.dat	blob \| history \| raw
-rw-r--r--	12674	215753.dat	blob \| history \| raw
-rw-r--r--	12681	220253.dat	blob \| history \| raw
-rw-r--r--	12664	220753.dat	blob \| history \| raw
-rw-r--r--	12677	221254.dat	blob \| history \| raw
-rw-r--r--	12681	221754.dat	blob \| history \| raw
-rw-r--r--	12705	222253.dat	blob \| history \| raw
-rw-r--r--	12679	222753.dat	blob \| history \| raw
-rw-r--r--	12670	223253.dat	blob \| history \| raw
-rw-r--r--	12693	223753.dat	blob \| history \| raw
-rw-r--r--	12675	224253.dat	blob \| history \| raw
-rw-r--r--	12677	224753.dat	blob \| history \| raw
-rw-r--r--	12682	225253.dat	blob \| history \| raw
-rw-r--r--	12652	225753.dat	blob \| history \| raw
-rw-r--r--	12672	230253.dat	blob \| history \| raw
-rw-r--r--	12676	230753.dat	blob \| history \| raw
-rw-r--r--	12690	231253.dat	blob \| history \| raw
-rw-r--r--	12674	231753.dat	blob \| history \| raw
-rw-r--r--	12684	232253.dat	blob \| history \| raw
-rw-r--r--	12677	232753.dat	blob \| history \| raw
-rw-r--r--	12668	233253.dat	blob \| history \| raw
-rw-r--r--	12686	233753.dat	blob \| history \| raw
-rw-r--r--	12670	234253.dat	blob \| history \| raw
-rw-r--r--	12676	234754.dat	blob \| history \| raw
-rw-r--r--	12687	235254.dat	blob \| history \| raw
-rw-r--r--	12676	235754.dat	blob \| history \| raw