git@UCC - matches/honours.git/tree - research/TCS/2012-10-06/

drwxr-xr-x		..
-rw-r--r--	12737	000304.dat	blob \| history \| raw
-rw-r--r--	12741	000810.dat	blob \| history \| raw
-rw-r--r--	12745	001315.dat	blob \| history \| raw
-rw-r--r--	12753	001820.dat	blob \| history \| raw
-rw-r--r--	12758	002326.dat	blob \| history \| raw
-rw-r--r--	12738	002831.dat	blob \| history \| raw
-rw-r--r--	12749	003337.dat	blob \| history \| raw
-rw-r--r--	12741	003842.dat	blob \| history \| raw
-rw-r--r--	12746	004348.dat	blob \| history \| raw
-rw-r--r--	12730	004854.dat	blob \| history \| raw
-rw-r--r--	12740	005400.dat	blob \| history \| raw
-rw-r--r--	12750	005906.dat	blob \| history \| raw
-rw-r--r--	12732	010412.dat	blob \| history \| raw
-rw-r--r--	12732	010918.dat	blob \| history \| raw
-rw-r--r--	12710	011424.dat	blob \| history \| raw
-rw-r--r--	12739	011930.dat	blob \| history \| raw
-rw-r--r--	12734	012436.dat	blob \| history \| raw
-rw-r--r--	12730	012941.dat	blob \| history \| raw
-rw-r--r--	12744	013447.dat	blob \| history \| raw
-rw-r--r--	12736	013952.dat	blob \| history \| raw
-rw-r--r--	12723	014459.dat	blob \| history \| raw
-rw-r--r--	12725	015004.dat	blob \| history \| raw
-rw-r--r--	12714	015510.dat	blob \| history \| raw
-rw-r--r--	12735	020015.dat	blob \| history \| raw
-rw-r--r--	12721	020521.dat	blob \| history \| raw
-rw-r--r--	12720	021026.dat	blob \| history \| raw
-rw-r--r--	12719	021532.dat	blob \| history \| raw
-rw-r--r--	12732	022038.dat	blob \| history \| raw
-rw-r--r--	12729	022543.dat	blob \| history \| raw
-rw-r--r--	12727	023049.dat	blob \| history \| raw
-rw-r--r--	12724	023554.dat	blob \| history \| raw
-rw-r--r--	12718	024059.dat	blob \| history \| raw
-rw-r--r--	12734	024605.dat	blob \| history \| raw
-rw-r--r--	12714	025110.dat	blob \| history \| raw
-rw-r--r--	12729	025616.dat	blob \| history \| raw
-rw-r--r--	12730	030122.dat	blob \| history \| raw
-rw-r--r--	12735	030628.dat	blob \| history \| raw
-rw-r--r--	12749	031134.dat	blob \| history \| raw
-rw-r--r--	12734	031640.dat	blob \| history \| raw
-rw-r--r--	12737	032146.dat	blob \| history \| raw
-rw-r--r--	12736	032651.dat	blob \| history \| raw
-rw-r--r--	12715	033157.dat	blob \| history \| raw
-rw-r--r--	12733	033708.dat	blob \| history \| raw
-rw-r--r--	12738	034214.dat	blob \| history \| raw
-rw-r--r--	12732	034719.dat	blob \| history \| raw
-rw-r--r--	12729	035225.dat	blob \| history \| raw
-rw-r--r--	12734	035730.dat	blob \| history \| raw
-rw-r--r--	12740	040236.dat	blob \| history \| raw
-rw-r--r--	12734	040741.dat	blob \| history \| raw
-rw-r--r--	12711	041247.dat	blob \| history \| raw
-rw-r--r--	12738	041753.dat	blob \| history \| raw
-rw-r--r--	12750	042258.dat	blob \| history \| raw
-rw-r--r--	12740	042804.dat	blob \| history \| raw
-rw-r--r--	12726	043309.dat	blob \| history \| raw
-rw-r--r--	12729	043815.dat	blob \| history \| raw
-rw-r--r--	12744	044321.dat	blob \| history \| raw
-rw-r--r--	12743	044826.dat	blob \| history \| raw
-rw-r--r--	12749	045331.dat	blob \| history \| raw
-rw-r--r--	12738	045837.dat	blob \| history \| raw
-rw-r--r--	12739	050342.dat	blob \| history \| raw
-rw-r--r--	12758	050848.dat	blob \| history \| raw
-rw-r--r--	12740	051354.dat	blob \| history \| raw
-rw-r--r--	12725	051900.dat	blob \| history \| raw
-rw-r--r--	12723	052406.dat	blob \| history \| raw
-rw-r--r--	12729	052917.dat	blob \| history \| raw
-rw-r--r--	12716	053423.dat	blob \| history \| raw
-rw-r--r--	12725	053929.dat	blob \| history \| raw
-rw-r--r--	12737	054440.dat	blob \| history \| raw
-rw-r--r--	12741	054946.dat	blob \| history \| raw
-rw-r--r--	12725	055452.dat	blob \| history \| raw
-rw-r--r--	12731	055957.dat	blob \| history \| raw
-rw-r--r--	12745	060502.dat	blob \| history \| raw
-rw-r--r--	12742	061008.dat	blob \| history \| raw
-rw-r--r--	12726	061514.dat	blob \| history \| raw
-rw-r--r--	12747	062019.dat	blob \| history \| raw
-rw-r--r--	12737	062530.dat	blob \| history \| raw
-rw-r--r--	12754	063036.dat	blob \| history \| raw
-rw-r--r--	12750	063541.dat	blob \| history \| raw
-rw-r--r--	12738	064046.dat	blob \| history \| raw
-rw-r--r--	12737	064552.dat	blob \| history \| raw
-rw-r--r--	12740	065057.dat	blob \| history \| raw
-rw-r--r--	12726	065603.dat	blob \| history \| raw
-rw-r--r--	12733	070108.dat	blob \| history \| raw
-rw-r--r--	12738	070613.dat	blob \| history \| raw
-rw-r--r--	12738	071119.dat	blob \| history \| raw
-rw-r--r--	12735	071625.dat	blob \| history \| raw
-rw-r--r--	12726	072131.dat	blob \| history \| raw
-rw-r--r--	12719	072637.dat	blob \| history \| raw
-rw-r--r--	12733	073143.dat	blob \| history \| raw
-rw-r--r--	12733	073649.dat	blob \| history \| raw
-rw-r--r--	12715	074155.dat	blob \| history \| raw
-rw-r--r--	12734	074701.dat	blob \| history \| raw
-rw-r--r--	12727	075207.dat	blob \| history \| raw
-rw-r--r--	12757	075713.dat	blob \| history \| raw
-rw-r--r--	12744	080219.dat	blob \| history \| raw
-rw-r--r--	12733	080725.dat	blob \| history \| raw
-rw-r--r--	12740	081230.dat	blob \| history \| raw
-rw-r--r--	12730	081736.dat	blob \| history \| raw
-rw-r--r--	12749	082242.dat	blob \| history \| raw
-rw-r--r--	12737	082747.dat	blob \| history \| raw
-rw-r--r--	12743	083253.dat	blob \| history \| raw
-rw-r--r--	12739	083758.dat	blob \| history \| raw
-rw-r--r--	12726	084309.dat	blob \| history \| raw
-rw-r--r--	12734	084815.dat	blob \| history \| raw
-rw-r--r--	12720	085320.dat	blob \| history \| raw
-rw-r--r--	12760	085825.dat	blob \| history \| raw
-rw-r--r--	12747	090331.dat	blob \| history \| raw
-rw-r--r--	12744	090836.dat	blob \| history \| raw
-rw-r--r--	12750	091341.dat	blob \| history \| raw
-rw-r--r--	12712	091847.dat	blob \| history \| raw
-rw-r--r--	12732	092352.dat	blob \| history \| raw
-rw-r--r--	12761	092858.dat	blob \| history \| raw
-rw-r--r--	12745	093404.dat	blob \| history \| raw
-rw-r--r--	12735	093910.dat	blob \| history \| raw
-rw-r--r--	12730	094416.dat	blob \| history \| raw
-rw-r--r--	12739	094922.dat	blob \| history \| raw
-rw-r--r--	12744	095427.dat	blob \| history \| raw
-rw-r--r--	12732	095933.dat	blob \| history \| raw
-rw-r--r--	12724	100439.dat	blob \| history \| raw
-rw-r--r--	12733	100944.dat	blob \| history \| raw
-rw-r--r--	12747	101449.dat	blob \| history \| raw
-rw-r--r--	12724	101955.dat	blob \| history \| raw
-rw-r--r--	12742	102500.dat	blob \| history \| raw
-rw-r--r--	12711	103006.dat	blob \| history \| raw
-rw-r--r--	12727	103511.dat	blob \| history \| raw
-rw-r--r--	12740	104016.dat	blob \| history \| raw
-rw-r--r--	12727	104521.dat	blob \| history \| raw
-rw-r--r--	12723	105027.dat	blob \| history \| raw
-rw-r--r--	12730	105532.dat	blob \| history \| raw
-rw-r--r--	12730	110038.dat	blob \| history \| raw
-rw-r--r--	12731	110544.dat	blob \| history \| raw
-rw-r--r--	12748	111049.dat	blob \| history \| raw
-rw-r--r--	12732	111554.dat	blob \| history \| raw
-rw-r--r--	12766	112059.dat	blob \| history \| raw
-rw-r--r--	12754	112605.dat	blob \| history \| raw
-rw-r--r--	12741	113110.dat	blob \| history \| raw
-rw-r--r--	12732	113616.dat	blob \| history \| raw
-rw-r--r--	12756	114122.dat	blob \| history \| raw
-rw-r--r--	12752	114628.dat	blob \| history \| raw
-rw-r--r--	12759	115134.dat	blob \| history \| raw
-rw-r--r--	12760	115640.dat	blob \| history \| raw
-rw-r--r--	12765	120146.dat	blob \| history \| raw
-rw-r--r--	12737	120652.dat	blob \| history \| raw
-rw-r--r--	12742	121158.dat	blob \| history \| raw
-rw-r--r--	12741	121703.dat	blob \| history \| raw
-rw-r--r--	12733	122209.dat	blob \| history \| raw
-rw-r--r--	12742	122715.dat	blob \| history \| raw
-rw-r--r--	12758	123220.dat	blob \| history \| raw
-rw-r--r--	12747	123726.dat	blob \| history \| raw
-rw-r--r--	12761	124231.dat	blob \| history \| raw
-rw-r--r--	12742	124737.dat	blob \| history \| raw
-rw-r--r--	12759	125242.dat	blob \| history \| raw
-rw-r--r--	12749	125748.dat	blob \| history \| raw
-rw-r--r--	12736	130253.dat	blob \| history \| raw
-rw-r--r--	12752	130758.dat	blob \| history \| raw
-rw-r--r--	12756	131304.dat	blob \| history \| raw
-rw-r--r--	12719	131809.dat	blob \| history \| raw
-rw-r--r--	12734	132314.dat	blob \| history \| raw
-rw-r--r--	12746	132819.dat	blob \| history \| raw
-rw-r--r--	12728	133325.dat	blob \| history \| raw
-rw-r--r--	12752	133830.dat	blob \| history \| raw
-rw-r--r--	12738	134335.dat	blob \| history \| raw
-rw-r--r--	12753	134841.dat	blob \| history \| raw
-rw-r--r--	12740	135347.dat	blob \| history \| raw
-rw-r--r--	12755	135853.dat	blob \| history \| raw
-rw-r--r--	12752	140359.dat	blob \| history \| raw
-rw-r--r--	12743	140904.dat	blob \| history \| raw
-rw-r--r--	12766	141410.dat	blob \| history \| raw
-rw-r--r--	12750	141916.dat	blob \| history \| raw
-rw-r--r--	12743	142422.dat	blob \| history \| raw
-rw-r--r--	12724	142928.dat	blob \| history \| raw
-rw-r--r--	12748	143433.dat	blob \| history \| raw
-rw-r--r--	12740	143938.dat	blob \| history \| raw
-rw-r--r--	12746	144444.dat	blob \| history \| raw
-rw-r--r--	12750	144950.dat	blob \| history \| raw
-rw-r--r--	12745	145455.dat	blob \| history \| raw
-rw-r--r--	12730	150000.dat	blob \| history \| raw
-rw-r--r--	12747	150506.dat	blob \| history \| raw
-rw-r--r--	12741	151011.dat	blob \| history \| raw
-rw-r--r--	12755	151517.dat	blob \| history \| raw
-rw-r--r--	12750	152022.dat	blob \| history \| raw
-rw-r--r--	12769	152527.dat	blob \| history \| raw
-rw-r--r--	12741	153032.dat	blob \| history \| raw
-rw-r--r--	12737	153538.dat	blob \| history \| raw
-rw-r--r--	12762	154043.dat	blob \| history \| raw
-rw-r--r--	12737	154548.dat	blob \| history \| raw
-rw-r--r--	12745	155054.dat	blob \| history \| raw
-rw-r--r--	12752	155559.dat	blob \| history \| raw
-rw-r--r--	12745	160105.dat	blob \| history \| raw
-rw-r--r--	12752	160611.dat	blob \| history \| raw
-rw-r--r--	12753	161117.dat	blob \| history \| raw
-rw-r--r--	12732	161623.dat	blob \| history \| raw
-rw-r--r--	12727	162128.dat	blob \| history \| raw
-rw-r--r--	12746	162634.dat	blob \| history \| raw
-rw-r--r--	12744	163139.dat	blob \| history \| raw
-rw-r--r--	12753	163650.dat	blob \| history \| raw
-rw-r--r--	12740	164155.dat	blob \| history \| raw
-rw-r--r--	12732	164701.dat	blob \| history \| raw
-rw-r--r--	12735	165207.dat	blob \| history \| raw
-rw-r--r--	12746	165712.dat	blob \| history \| raw
-rw-r--r--	12731	170218.dat	blob \| history \| raw
-rw-r--r--	12750	170723.dat	blob \| history \| raw
-rw-r--r--	12752	171228.dat	blob \| history \| raw
-rw-r--r--	12739	171734.dat	blob \| history \| raw
-rw-r--r--	12741	172239.dat	blob \| history \| raw
-rw-r--r--	12747	172744.dat	blob \| history \| raw
-rw-r--r--	12756	173249.dat	blob \| history \| raw
-rw-r--r--	12743	173755.dat	blob \| history \| raw
-rw-r--r--	12744	174300.dat	blob \| history \| raw
-rw-r--r--	12741	174805.dat	blob \| history \| raw
-rw-r--r--	12747	175311.dat	blob \| history \| raw
-rw-r--r--	12750	175816.dat	blob \| history \| raw
-rw-r--r--	12738	180321.dat	blob \| history \| raw
-rw-r--r--	12744	180827.dat	blob \| history \| raw
-rw-r--r--	12744	181333.dat	blob \| history \| raw
-rw-r--r--	12746	181839.dat	blob \| history \| raw
-rw-r--r--	12754	182345.dat	blob \| history \| raw
-rw-r--r--	12748	182851.dat	blob \| history \| raw
-rw-r--r--	12731	183357.dat	blob \| history \| raw
-rw-r--r--	12752	183902.dat	blob \| history \| raw
-rw-r--r--	12750	184408.dat	blob \| history \| raw
-rw-r--r--	12728	184914.dat	blob \| history \| raw
-rw-r--r--	12749	185419.dat	blob \| history \| raw
-rw-r--r--	12735	185925.dat	blob \| history \| raw
-rw-r--r--	12723	190430.dat	blob \| history \| raw
-rw-r--r--	12749	190936.dat	blob \| history \| raw
-rw-r--r--	12743	191441.dat	blob \| history \| raw
-rw-r--r--	12751	191947.dat	blob \| history \| raw
-rw-r--r--	12737	192452.dat	blob \| history \| raw
-rw-r--r--	12743	192957.dat	blob \| history \| raw
-rw-r--r--	12731	193503.dat	blob \| history \| raw
-rw-r--r--	12760	194008.dat	blob \| history \| raw
-rw-r--r--	12751	194513.dat	blob \| history \| raw
-rw-r--r--	12752	195019.dat	blob \| history \| raw
-rw-r--r--	12732	195524.dat	blob \| history \| raw
-rw-r--r--	12747	200029.dat	blob \| history \| raw
-rw-r--r--	12729	200535.dat	blob \| history \| raw
-rw-r--r--	12742	201040.dat	blob \| history \| raw
-rw-r--r--	12746	201546.dat	blob \| history \| raw
-rw-r--r--	12746	202052.dat	blob \| history \| raw
-rw-r--r--	12732	202558.dat	blob \| history \| raw
-rw-r--r--	12737	203104.dat	blob \| history \| raw
-rw-r--r--	12740	203610.dat	blob \| history \| raw
-rw-r--r--	12755	204116.dat	blob \| history \| raw
-rw-r--r--	12752	204622.dat	blob \| history \| raw
-rw-r--r--	12733	205128.dat	blob \| history \| raw
-rw-r--r--	12731	205634.dat	blob \| history \| raw
-rw-r--r--	12742	210139.dat	blob \| history \| raw
-rw-r--r--	12735	210645.dat	blob \| history \| raw
-rw-r--r--	12746	211151.dat	blob \| history \| raw
-rw-r--r--	12747	211657.dat	blob \| history \| raw
-rw-r--r--	12745	212202.dat	blob \| history \| raw
-rw-r--r--	12755	212707.dat	blob \| history \| raw
-rw-r--r--	12746	213213.dat	blob \| history \| raw
-rw-r--r--	12745	213718.dat	blob \| history \| raw
-rw-r--r--	12741	214224.dat	blob \| history \| raw
-rw-r--r--	12743	214729.dat	blob \| history \| raw
-rw-r--r--	12747	215235.dat	blob \| history \| raw
-rw-r--r--	12717	215740.dat	blob \| history \| raw
-rw-r--r--	12757	220245.dat	blob \| history \| raw
-rw-r--r--	12747	220751.dat	blob \| history \| raw
-rw-r--r--	12747	221256.dat	blob \| history \| raw
-rw-r--r--	12752	221802.dat	blob \| history \| raw
-rw-r--r--	12736	222307.dat	blob \| history \| raw
-rw-r--r--	12742	222813.dat	blob \| history \| raw
-rw-r--r--	12744	223319.dat	blob \| history \| raw
-rw-r--r--	12757	223825.dat	blob \| history \| raw
-rw-r--r--	12739	224331.dat	blob \| history \| raw
-rw-r--r--	12742	224837.dat	blob \| history \| raw
-rw-r--r--	12737	225343.dat	blob \| history \| raw
-rw-r--r--	12747	225848.dat	blob \| history \| raw
-rw-r--r--	12729	230354.dat	blob \| history \| raw
-rw-r--r--	12734	230900.dat	blob \| history \| raw
-rw-r--r--	12741	231405.dat	blob \| history \| raw
-rw-r--r--	12741	231911.dat	blob \| history \| raw
-rw-r--r--	12737	232416.dat	blob \| history \| raw
-rw-r--r--	12744	232922.dat	blob \| history \| raw
-rw-r--r--	12744	233427.dat	blob \| history \| raw
-rw-r--r--	12737	233933.dat	blob \| history \| raw
-rw-r--r--	12727	234438.dat	blob \| history \| raw
-rw-r--r--	12748	234944.dat	blob \| history \| raw
-rw-r--r--	12731	235449.dat	blob \| history \| raw
-rw-r--r--	5706	235955.dat	blob \| history \| raw