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

drwxr-xr-x		..
-rw-r--r--	11786	000059.dat	blob \| history \| raw
-rw-r--r--	11740	000537.dat	blob \| history \| raw
-rw-r--r--	11735	001012.dat	blob \| history \| raw
-rw-r--r--	11781	001446.dat	blob \| history \| raw
-rw-r--r--	11811	001927.dat	blob \| history \| raw
-rw-r--r--	11834	002411.dat	blob \| history \| raw
-rw-r--r--	11763	002851.dat	blob \| history \| raw
-rw-r--r--	11740	003327.dat	blob \| history \| raw
-rw-r--r--	11756	003800.dat	blob \| history \| raw
-rw-r--r--	11739	004236.dat	blob \| history \| raw
-rw-r--r--	11759	004712.dat	blob \| history \| raw
-rw-r--r--	11797	005149.dat	blob \| history \| raw
-rw-r--r--	11799	005626.dat	blob \| history \| raw
-rw-r--r--	11817	010104.dat	blob \| history \| raw
-rw-r--r--	11872	010544.dat	blob \| history \| raw
-rw-r--r--	11839	011026.dat	blob \| history \| raw
-rw-r--r--	11802	011506.dat	blob \| history \| raw
-rw-r--r--	11769	011946.dat	blob \| history \| raw
-rw-r--r--	11762	012422.dat	blob \| history \| raw
-rw-r--r--	11776	012857.dat	blob \| history \| raw
-rw-r--r--	11755	013335.dat	blob \| history \| raw
-rw-r--r--	11776	013810.dat	blob \| history \| raw
-rw-r--r--	11776	014246.dat	blob \| history \| raw
-rw-r--r--	11797	014722.dat	blob \| history \| raw
-rw-r--r--	11810	015200.dat	blob \| history \| raw
-rw-r--r--	11828	015638.dat	blob \| history \| raw
-rw-r--r--	11856	020122.dat	blob \| history \| raw
-rw-r--r--	11763	020603.dat	blob \| history \| raw
-rw-r--r--	11722	021038.dat	blob \| history \| raw
-rw-r--r--	11833	021510.dat	blob \| history \| raw
-rw-r--r--	11770	021949.dat	blob \| history \| raw
-rw-r--r--	11817	022427.dat	blob \| history \| raw
-rw-r--r--	11796	022905.dat	blob \| history \| raw
-rw-r--r--	11821	023341.dat	blob \| history \| raw
-rw-r--r--	11788	023818.dat	blob \| history \| raw
-rw-r--r--	11811	024254.dat	blob \| history \| raw
-rw-r--r--	11768	024731.dat	blob \| history \| raw
-rw-r--r--	11760	025208.dat	blob \| history \| raw
-rw-r--r--	11723	025642.dat	blob \| history \| raw
-rw-r--r--	11738	030116.dat	blob \| history \| raw
-rw-r--r--	11757	030549.dat	blob \| history \| raw
-rw-r--r--	11757	031025.dat	blob \| history \| raw
-rw-r--r--	11758	031502.dat	blob \| history \| raw
-rw-r--r--	11795	031938.dat	blob \| history \| raw
-rw-r--r--	11759	032415.dat	blob \| history \| raw
-rw-r--r--	11786	032852.dat	blob \| history \| raw
-rw-r--r--	11766	033328.dat	blob \| history \| raw
-rw-r--r--	11802	033804.dat	blob \| history \| raw
-rw-r--r--	11757	034241.dat	blob \| history \| raw
-rw-r--r--	11816	034715.dat	blob \| history \| raw
-rw-r--r--	11834	035152.dat	blob \| history \| raw
-rw-r--r--	11854	035632.dat	blob \| history \| raw
-rw-r--r--	11804	040113.dat	blob \| history \| raw
-rw-r--r--	11862	040551.dat	blob \| history \| raw
-rw-r--r--	11858	041032.dat	blob \| history \| raw
-rw-r--r--	11805	041513.dat	blob \| history \| raw
-rw-r--r--	11847	041951.dat	blob \| history \| raw
-rw-r--r--	11925	042432.dat	blob \| history \| raw
-rw-r--r--	11867	042916.dat	blob \| history \| raw
-rw-r--r--	11862	043357.dat	blob \| history \| raw
-rw-r--r--	11774	043840.dat	blob \| history \| raw
-rw-r--r--	11766	044317.dat	blob \| history \| raw
-rw-r--r--	11769	044753.dat	blob \| history \| raw
-rw-r--r--	11756	045231.dat	blob \| history \| raw
-rw-r--r--	11818	045707.dat	blob \| history \| raw
-rw-r--r--	11745	050145.dat	blob \| history \| raw
-rw-r--r--	11747	050619.dat	blob \| history \| raw
-rw-r--r--	11753	051055.dat	blob \| history \| raw
-rw-r--r--	11811	051530.dat	blob \| history \| raw
-rw-r--r--	11748	052008.dat	blob \| history \| raw
-rw-r--r--	11742	052442.dat	blob \| history \| raw
-rw-r--r--	11744	052916.dat	blob \| history \| raw
-rw-r--r--	11738	053350.dat	blob \| history \| raw
-rw-r--r--	11752	053823.dat	blob \| history \| raw
-rw-r--r--	11730	054257.dat	blob \| history \| raw
-rw-r--r--	11799	054730.dat	blob \| history \| raw
-rw-r--r--	11797	055208.dat	blob \| history \| raw
-rw-r--r--	11794	055645.dat	blob \| history \| raw
-rw-r--r--	11803	060125.dat	blob \| history \| raw
-rw-r--r--	11738	060603.dat	blob \| history \| raw
-rw-r--r--	11780	061038.dat	blob \| history \| raw
-rw-r--r--	11776	061515.dat	blob \| history \| raw
-rw-r--r--	11784	061950.dat	blob \| history \| raw
-rw-r--r--	11819	062426.dat	blob \| history \| raw
-rw-r--r--	11781	062905.dat	blob \| history \| raw
-rw-r--r--	11755	063341.dat	blob \| history \| raw
-rw-r--r--	11776	063817.dat	blob \| history \| raw
-rw-r--r--	11790	064254.dat	blob \| history \| raw
-rw-r--r--	11785	064730.dat	blob \| history \| raw
-rw-r--r--	11829	065209.dat	blob \| history \| raw
-rw-r--r--	11803	065648.dat	blob \| history \| raw
-rw-r--r--	11744	070126.dat	blob \| history \| raw
-rw-r--r--	11747	070608.dat	blob \| history \| raw
-rw-r--r--	11748	071043.dat	blob \| history \| raw
-rw-r--r--	11822	071519.dat	blob \| history \| raw
-rw-r--r--	11768	071958.dat	blob \| history \| raw
-rw-r--r--	11813	072435.dat	blob \| history \| raw
-rw-r--r--	11837	072913.dat	blob \| history \| raw
-rw-r--r--	11811	073352.dat	blob \| history \| raw
-rw-r--r--	11828	073833.dat	blob \| history \| raw
-rw-r--r--	11793	074312.dat	blob \| history \| raw
-rw-r--r--	11752	074750.dat	blob \| history \| raw
-rw-r--r--	11772	075225.dat	blob \| history \| raw
-rw-r--r--	11754	075701.dat	blob \| history \| raw
-rw-r--r--	11769	080142.dat	blob \| history \| raw
-rw-r--r--	11846	080618.dat	blob \| history \| raw
-rw-r--r--	11851	081057.dat	blob \| history \| raw
-rw-r--r--	11839	081538.dat	blob \| history \| raw
-rw-r--r--	11798	082018.dat	blob \| history \| raw
-rw-r--r--	11833	082458.dat	blob \| history \| raw
-rw-r--r--	11796	082936.dat	blob \| history \| raw
-rw-r--r--	11833	083415.dat	blob \| history \| raw
-rw-r--r--	11806	083855.dat	blob \| history \| raw
-rw-r--r--	11812	084333.dat	blob \| history \| raw
-rw-r--r--	11729	084811.dat	blob \| history \| raw
-rw-r--r--	11759	085243.dat	blob \| history \| raw
-rw-r--r--	11808	085718.dat	blob \| history \| raw
-rw-r--r--	11831	090155.dat	blob \| history \| raw
-rw-r--r--	11849	090633.dat	blob \| history \| raw
-rw-r--r--	11863	091113.dat	blob \| history \| raw
-rw-r--r--	11804	091553.dat	blob \| history \| raw
-rw-r--r--	11850	092032.dat	blob \| history \| raw
-rw-r--r--	11843	092512.dat	blob \| history \| raw
-rw-r--r--	11780	092952.dat	blob \| history \| raw
-rw-r--r--	11867	093428.dat	blob \| history \| raw
-rw-r--r--	11846	093909.dat	blob \| history \| raw
-rw-r--r--	11819	094348.dat	blob \| history \| raw
-rw-r--r--	11781	094828.dat	blob \| history \| raw
-rw-r--r--	11825	095305.dat	blob \| history \| raw
-rw-r--r--	11838	095744.dat	blob \| history \| raw
-rw-r--r--	11857	100225.dat	blob \| history \| raw
-rw-r--r--	11874	100704.dat	blob \| history \| raw
-rw-r--r--	11902	101147.dat	blob \| history \| raw
-rw-r--r--	11802	101632.dat	blob \| history \| raw
-rw-r--r--	11827	102111.dat	blob \| history \| raw
-rw-r--r--	11775	102548.dat	blob \| history \| raw
-rw-r--r--	11858	103026.dat	blob \| history \| raw
-rw-r--r--	11813	103507.dat	blob \| history \| raw
-rw-r--r--	11856	103947.dat	blob \| history \| raw
-rw-r--r--	11784	104428.dat	blob \| history \| raw
-rw-r--r--	11862	104905.dat	blob \| history \| raw
-rw-r--r--	11871	105346.dat	blob \| history \| raw
-rw-r--r--	11843	105828.dat	blob \| history \| raw
-rw-r--r--	11854	110309.dat	blob \| history \| raw
-rw-r--r--	11897	110750.dat	blob \| history \| raw
-rw-r--r--	11891	111232.dat	blob \| history \| raw
-rw-r--r--	11885	111714.dat	blob \| history \| raw
-rw-r--r--	11907	112156.dat	blob \| history \| raw
-rw-r--r--	11929	112638.dat	blob \| history \| raw
-rw-r--r--	11913	113122.dat	blob \| history \| raw
-rw-r--r--	11888	113606.dat	blob \| history \| raw
-rw-r--r--	11856	114048.dat	blob \| history \| raw
-rw-r--r--	11862	114535.dat	blob \| history \| raw
-rw-r--r--	11858	115016.dat	blob \| history \| raw
-rw-r--r--	11863	115458.dat	blob \| history \| raw
-rw-r--r--	11886	115939.dat	blob \| history \| raw
-rw-r--r--	11850	120422.dat	blob \| history \| raw
-rw-r--r--	11820	120905.dat	blob \| history \| raw
-rw-r--r--	11918	121345.dat	blob \| history \| raw
-rw-r--r--	11910	121828.dat	blob \| history \| raw
-rw-r--r--	11913	122312.dat	blob \| history \| raw
-rw-r--r--	11905	122755.dat	blob \| history \| raw
-rw-r--r--	11892	123240.dat	blob \| history \| raw
-rw-r--r--	11907	123723.dat	blob \| history \| raw
-rw-r--r--	11874	124206.dat	blob \| history \| raw
-rw-r--r--	11905	124648.dat	blob \| history \| raw
-rw-r--r--	11921	125131.dat	blob \| history \| raw
-rw-r--r--	11859	125615.dat	blob \| history \| raw
-rw-r--r--	11882	130055.dat	blob \| history \| raw
-rw-r--r--	11885	130537.dat	blob \| history \| raw
-rw-r--r--	11863	131020.dat	blob \| history \| raw
-rw-r--r--	11874	131501.dat	blob \| history \| raw
-rw-r--r--	11774	131942.dat	blob \| history \| raw
-rw-r--r--	11893	132429.dat	blob \| history \| raw
-rw-r--r--	11881	132911.dat	blob \| history \| raw
-rw-r--r--	11872	133354.dat	blob \| history \| raw
-rw-r--r--	11838	133835.dat	blob \| history \| raw
-rw-r--r--	11767	134314.dat	blob \| history \| raw
-rw-r--r--	11787	134750.dat	blob \| history \| raw
-rw-r--r--	11846	135227.dat	blob \| history \| raw
-rw-r--r--	11855	135707.dat	blob \| history \| raw
-rw-r--r--	11843	140148.dat	blob \| history \| raw
-rw-r--r--	11790	140628.dat	blob \| history \| raw
-rw-r--r--	11840	141107.dat	blob \| history \| raw
-rw-r--r--	11808	141548.dat	blob \| history \| raw
-rw-r--r--	11896	142026.dat	blob \| history \| raw
-rw-r--r--	11876	142520.dat	blob \| history \| raw
-rw-r--r--	11826	143001.dat	blob \| history \| raw
-rw-r--r--	11838	143446.dat	blob \| history \| raw
-rw-r--r--	11941	143926.dat	blob \| history \| raw
-rw-r--r--	11835	144412.dat	blob \| history \| raw
-rw-r--r--	11857	144852.dat	blob \| history \| raw
-rw-r--r--	11833	145333.dat	blob \| history \| raw
-rw-r--r--	11769	145812.dat	blob \| history \| raw
-rw-r--r--	11837	150249.dat	blob \| history \| raw
-rw-r--r--	11798	150729.dat	blob \| history \| raw
-rw-r--r--	11783	151207.dat	blob \| history \| raw
-rw-r--r--	11825	151643.dat	blob \| history \| raw
-rw-r--r--	11787	152122.dat	blob \| history \| raw
-rw-r--r--	11730	152558.dat	blob \| history \| raw
-rw-r--r--	11708	153031.dat	blob \| history \| raw
-rw-r--r--	11745	153501.dat	blob \| history \| raw
-rw-r--r--	11780	153933.dat	blob \| history \| raw
-rw-r--r--	11807	154410.dat	blob \| history \| raw
-rw-r--r--	11823	154849.dat	blob \| history \| raw
-rw-r--r--	11774	155328.dat	blob \| history \| raw
-rw-r--r--	11778	155805.dat	blob \| history \| raw
-rw-r--r--	11759	160242.dat	blob \| history \| raw
-rw-r--r--	11743	160718.dat	blob \| history \| raw
-rw-r--r--	11756	161153.dat	blob \| history \| raw
-rw-r--r--	11738	161628.dat	blob \| history \| raw
-rw-r--r--	11729	162103.dat	blob \| history \| raw
-rw-r--r--	11730	162535.dat	blob \| history \| raw
-rw-r--r--	11706	163007.dat	blob \| history \| raw
-rw-r--r--	11713	163437.dat	blob \| history \| raw
-rw-r--r--	11746	163905.dat	blob \| history \| raw
-rw-r--r--	11732	164338.dat	blob \| history \| raw
-rw-r--r--	11712	164809.dat	blob \| history \| raw
-rw-r--r--	11727	165241.dat	blob \| history \| raw
-rw-r--r--	11719	165714.dat	blob \| history \| raw
-rw-r--r--	11728	170145.dat	blob \| history \| raw
-rw-r--r--	11730	170616.dat	blob \| history \| raw
-rw-r--r--	11828	171050.dat	blob \| history \| raw
-rw-r--r--	11732	171533.dat	blob \| history \| raw
-rw-r--r--	11749	172004.dat	blob \| history \| raw
-rw-r--r--	11742	172437.dat	blob \| history \| raw
-rw-r--r--	11742	172910.dat	blob \| history \| raw
-rw-r--r--	11735	173345.dat	blob \| history \| raw
-rw-r--r--	11707	173818.dat	blob \| history \| raw
-rw-r--r--	11710	174248.dat	blob \| history \| raw
-rw-r--r--	11700	174719.dat	blob \| history \| raw
-rw-r--r--	11718	175148.dat	blob \| history \| raw
-rw-r--r--	11738	175619.dat	blob \| history \| raw
-rw-r--r--	11721	180051.dat	blob \| history \| raw
-rw-r--r--	11703	180522.dat	blob \| history \| raw
-rw-r--r--	11722	180951.dat	blob \| history \| raw
-rw-r--r--	11708	181423.dat	blob \| history \| raw
-rw-r--r--	11734	181855.dat	blob \| history \| raw
-rw-r--r--	11705	182328.dat	blob \| history \| raw
-rw-r--r--	11720	182759.dat	blob \| history \| raw
-rw-r--r--	11717	183231.dat	blob \| history \| raw
-rw-r--r--	11713	183702.dat	blob \| history \| raw
-rw-r--r--	11700	184132.dat	blob \| history \| raw
-rw-r--r--	11722	184602.dat	blob \| history \| raw
-rw-r--r--	11700	185031.dat	blob \| history \| raw
-rw-r--r--	11698	185506.dat	blob \| history \| raw
-rw-r--r--	11706	185935.dat	blob \| history \| raw
-rw-r--r--	11703	190405.dat	blob \| history \| raw
-rw-r--r--	11697	190832.dat	blob \| history \| raw
-rw-r--r--	11720	191308.dat	blob \| history \| raw
-rw-r--r--	11731	191739.dat	blob \| history \| raw
-rw-r--r--	11711	192211.dat	blob \| history \| raw
-rw-r--r--	11700	192642.dat	blob \| history \| raw
-rw-r--r--	11728	193113.dat	blob \| history \| raw
-rw-r--r--	11721	193546.dat	blob \| history \| raw
-rw-r--r--	11716	194019.dat	blob \| history \| raw
-rw-r--r--	11730	194451.dat	blob \| history \| raw
-rw-r--r--	11728	194921.dat	blob \| history \| raw
-rw-r--r--	11749	195354.dat	blob \| history \| raw
-rw-r--r--	11731	195828.dat	blob \| history \| raw
-rw-r--r--	11726	200259.dat	blob \| history \| raw
-rw-r--r--	11756	200732.dat	blob \| history \| raw
-rw-r--r--	11748	201207.dat	blob \| history \| raw
-rw-r--r--	11736	201641.dat	blob \| history \| raw
-rw-r--r--	11741	202115.dat	blob \| history \| raw
-rw-r--r--	11726	202549.dat	blob \| history \| raw
-rw-r--r--	11743	203024.dat	blob \| history \| raw
-rw-r--r--	11732	203459.dat	blob \| history \| raw
-rw-r--r--	11732	203932.dat	blob \| history \| raw
-rw-r--r--	11735	204406.dat	blob \| history \| raw
-rw-r--r--	11713	204840.dat	blob \| history \| raw
-rw-r--r--	11738	205311.dat	blob \| history \| raw
-rw-r--r--	11714	205743.dat	blob \| history \| raw
-rw-r--r--	11727	210214.dat	blob \| history \| raw
-rw-r--r--	11697	210649.dat	blob \| history \| raw
-rw-r--r--	11715	211120.dat	blob \| history \| raw
-rw-r--r--	11706	211548.dat	blob \| history \| raw
-rw-r--r--	11703	212019.dat	blob \| history \| raw
-rw-r--r--	11704	212448.dat	blob \| history \| raw
-rw-r--r--	11723	212918.dat	blob \| history \| raw
-rw-r--r--	11719	213350.dat	blob \| history \| raw
-rw-r--r--	11708	213822.dat	blob \| history \| raw
-rw-r--r--	11702	214253.dat	blob \| history \| raw
-rw-r--r--	11694	214723.dat	blob \| history \| raw
-rw-r--r--	11705	215152.dat	blob \| history \| raw
-rw-r--r--	11698	215619.dat	blob \| history \| raw
-rw-r--r--	11711	220045.dat	blob \| history \| raw
-rw-r--r--	11736	220515.dat	blob \| history \| raw
-rw-r--r--	11692	220946.dat	blob \| history \| raw
-rw-r--r--	11692	221418.dat	blob \| history \| raw
-rw-r--r--	11687	221845.dat	blob \| history \| raw
-rw-r--r--	11693	222313.dat	blob \| history \| raw
-rw-r--r--	11719	222741.dat	blob \| history \| raw
-rw-r--r--	11707	223212.dat	blob \| history \| raw
-rw-r--r--	11710	223644.dat	blob \| history \| raw
-rw-r--r--	11708	224114.dat	blob \| history \| raw
-rw-r--r--	11714	224543.dat	blob \| history \| raw
-rw-r--r--	11709	225019.dat	blob \| history \| raw
-rw-r--r--	11703	225448.dat	blob \| history \| raw
-rw-r--r--	11697	225916.dat	blob \| history \| raw
-rw-r--r--	11693	230345.dat	blob \| history \| raw
-rw-r--r--	6929	230812.dat	blob \| history \| raw
-rw-r--r--	2039	231214.dat	blob \| history \| raw
-rw-r--r--	732	checklist	blob \| history \| raw