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

drwxr-xr-x		..
-rw-r--r--	12827	000203.dat	blob \| history \| raw
-rw-r--r--	12805	000710.dat	blob \| history \| raw
-rw-r--r--	12825	001217.dat	blob \| history \| raw
-rw-r--r--	12844	001723.dat	blob \| history \| raw
-rw-r--r--	12813	002230.dat	blob \| history \| raw
-rw-r--r--	12838	002736.dat	blob \| history \| raw
-rw-r--r--	12845	003252.dat	blob \| history \| raw
-rw-r--r--	12814	003758.dat	blob \| history \| raw
-rw-r--r--	12842	004305.dat	blob \| history \| raw
-rw-r--r--	12840	004811.dat	blob \| history \| raw
-rw-r--r--	12828	005317.dat	blob \| history \| raw
-rw-r--r--	12817	005824.dat	blob \| history \| raw
-rw-r--r--	12831	010330.dat	blob \| history \| raw
-rw-r--r--	12831	010837.dat	blob \| history \| raw
-rw-r--r--	12820	011343.dat	blob \| history \| raw
-rw-r--r--	12822	011849.dat	blob \| history \| raw
-rw-r--r--	12841	012356.dat	blob \| history \| raw
-rw-r--r--	12822	012902.dat	blob \| history \| raw
-rw-r--r--	12816	013414.dat	blob \| history \| raw
-rw-r--r--	12821	013922.dat	blob \| history \| raw
-rw-r--r--	12809	014429.dat	blob \| history \| raw
-rw-r--r--	12801	014936.dat	blob \| history \| raw
-rw-r--r--	12830	015442.dat	blob \| history \| raw
-rw-r--r--	12819	015949.dat	blob \| history \| raw
-rw-r--r--	12815	020456.dat	blob \| history \| raw
-rw-r--r--	12828	021003.dat	blob \| history \| raw
-rw-r--r--	12812	021509.dat	blob \| history \| raw
-rw-r--r--	12814	022016.dat	blob \| history \| raw
-rw-r--r--	12829	022522.dat	blob \| history \| raw
-rw-r--r--	12818	023029.dat	blob \| history \| raw
-rw-r--r--	12824	023535.dat	blob \| history \| raw
-rw-r--r--	12821	024042.dat	blob \| history \| raw
-rw-r--r--	12810	024548.dat	blob \| history \| raw
-rw-r--r--	12829	025055.dat	blob \| history \| raw
-rw-r--r--	12829	025602.dat	blob \| history \| raw
-rw-r--r--	12831	030109.dat	blob \| history \| raw
-rw-r--r--	12823	030615.dat	blob \| history \| raw
-rw-r--r--	12812	031121.dat	blob \| history \| raw
-rw-r--r--	12798	031633.dat	blob \| history \| raw
-rw-r--r--	12812	032139.dat	blob \| history \| raw
-rw-r--r--	12801	032647.dat	blob \| history \| raw
-rw-r--r--	12813	033153.dat	blob \| history \| raw
-rw-r--r--	12814	033659.dat	blob \| history \| raw
-rw-r--r--	12800	034206.dat	blob \| history \| raw
-rw-r--r--	12844	034714.dat	blob \| history \| raw
-rw-r--r--	12840	035220.dat	blob \| history \| raw
-rw-r--r--	12807	035728.dat	blob \| history \| raw
-rw-r--r--	12832	040235.dat	blob \| history \| raw
-rw-r--r--	12820	040741.dat	blob \| history \| raw
-rw-r--r--	12838	041248.dat	blob \| history \| raw
-rw-r--r--	12824	041755.dat	blob \| history \| raw
-rw-r--r--	12812	042302.dat	blob \| history \| raw
-rw-r--r--	12828	042819.dat	blob \| history \| raw
-rw-r--r--	12833	043325.dat	blob \| history \| raw
-rw-r--r--	12826	043832.dat	blob \| history \| raw
-rw-r--r--	12834	044339.dat	blob \| history \| raw
-rw-r--r--	12826	044846.dat	blob \| history \| raw
-rw-r--r--	12840	045352.dat	blob \| history \| raw
-rw-r--r--	12826	045859.dat	blob \| history \| raw
-rw-r--r--	12820	050405.dat	blob \| history \| raw
-rw-r--r--	12815	050912.dat	blob \| history \| raw
-rw-r--r--	12816	051418.dat	blob \| history \| raw
-rw-r--r--	12824	051925.dat	blob \| history \| raw
-rw-r--r--	12831	052431.dat	blob \| history \| raw
-rw-r--r--	12814	052938.dat	blob \| history \| raw
-rw-r--r--	12837	053450.dat	blob \| history \| raw
-rw-r--r--	12824	053956.dat	blob \| history \| raw
-rw-r--r--	12819	054503.dat	blob \| history \| raw
-rw-r--r--	12815	055010.dat	blob \| history \| raw
-rw-r--r--	12837	055517.dat	blob \| history \| raw
-rw-r--r--	12847	060023.dat	blob \| history \| raw
-rw-r--r--	12847	060540.dat	blob \| history \| raw
-rw-r--r--	12839	061047.dat	blob \| history \| raw
-rw-r--r--	12825	061554.dat	blob \| history \| raw
-rw-r--r--	12813	062102.dat	blob \| history \| raw
-rw-r--r--	12842	062609.dat	blob \| history \| raw
-rw-r--r--	12804	063115.dat	blob \| history \| raw
-rw-r--r--	12819	063621.dat	blob \| history \| raw
-rw-r--r--	12828	064128.dat	blob \| history \| raw
-rw-r--r--	12840	064635.dat	blob \| history \| raw
-rw-r--r--	12823	065142.dat	blob \| history \| raw
-rw-r--r--	12815	065648.dat	blob \| history \| raw
-rw-r--r--	12836	070154.dat	blob \| history \| raw
-rw-r--r--	12845	070701.dat	blob \| history \| raw
-rw-r--r--	12840	071207.dat	blob \| history \| raw
-rw-r--r--	12838	071714.dat	blob \| history \| raw
-rw-r--r--	12814	072221.dat	blob \| history \| raw
-rw-r--r--	12823	072727.dat	blob \| history \| raw
-rw-r--r--	12833	073234.dat	blob \| history \| raw
-rw-r--r--	12835	073745.dat	blob \| history \| raw
-rw-r--r--	12835	074252.dat	blob \| history \| raw
-rw-r--r--	12844	074759.dat	blob \| history \| raw
-rw-r--r--	12825	075305.dat	blob \| history \| raw
-rw-r--r--	12823	075812.dat	blob \| history \| raw
-rw-r--r--	12835	080319.dat	blob \| history \| raw
-rw-r--r--	12830	080826.dat	blob \| history \| raw
-rw-r--r--	12831	081332.dat	blob \| history \| raw
-rw-r--r--	12836	081839.dat	blob \| history \| raw
-rw-r--r--	12833	082346.dat	blob \| history \| raw
-rw-r--r--	12843	082858.dat	blob \| history \| raw
-rw-r--r--	12849	083405.dat	blob \| history \| raw
-rw-r--r--	12834	083911.dat	blob \| history \| raw
-rw-r--r--	12842	084418.dat	blob \| history \| raw
-rw-r--r--	12846	084924.dat	blob \| history \| raw
-rw-r--r--	12846	085431.dat	blob \| history \| raw
-rw-r--r--	12835	085937.dat	blob \| history \| raw
-rw-r--r--	12842	090444.dat	blob \| history \| raw
-rw-r--r--	12847	090950.dat	blob \| history \| raw
-rw-r--r--	12845	091457.dat	blob \| history \| raw
-rw-r--r--	12842	092003.dat	blob \| history \| raw
-rw-r--r--	12870	092510.dat	blob \| history \| raw
-rw-r--r--	12840	093016.dat	blob \| history \| raw
-rw-r--r--	12845	093523.dat	blob \| history \| raw
-rw-r--r--	12845	094029.dat	blob \| history \| raw
-rw-r--r--	12844	094535.dat	blob \| history \| raw
-rw-r--r--	12861	095041.dat	blob \| history \| raw
-rw-r--r--	12834	095548.dat	blob \| history \| raw
-rw-r--r--	12832	100054.dat	blob \| history \| raw
-rw-r--r--	12836	100601.dat	blob \| history \| raw
-rw-r--r--	12842	101108.dat	blob \| history \| raw
-rw-r--r--	12844	101615.dat	blob \| history \| raw
-rw-r--r--	12840	102121.dat	blob \| history \| raw
-rw-r--r--	12847	102628.dat	blob \| history \| raw
-rw-r--r--	12844	103135.dat	blob \| history \| raw
-rw-r--r--	12828	103641.dat	blob \| history \| raw
-rw-r--r--	12837	104148.dat	blob \| history \| raw
-rw-r--r--	12827	104654.dat	blob \| history \| raw
-rw-r--r--	12816	105201.dat	blob \| history \| raw
-rw-r--r--	12826	105707.dat	blob \| history \| raw
-rw-r--r--	12852	110214.dat	blob \| history \| raw
-rw-r--r--	12851	110720.dat	blob \| history \| raw
-rw-r--r--	12843	111226.dat	blob \| history \| raw
-rw-r--r--	12805	111733.dat	blob \| history \| raw
-rw-r--r--	12840	112239.dat	blob \| history \| raw
-rw-r--r--	12839	112745.dat	blob \| history \| raw
-rw-r--r--	12827	113251.dat	blob \| history \| raw
-rw-r--r--	12846	113758.dat	blob \| history \| raw
-rw-r--r--	12856	114304.dat	blob \| history \| raw
-rw-r--r--	12847	114811.dat	blob \| history \| raw
-rw-r--r--	12829	115317.dat	blob \| history \| raw
-rw-r--r--	12844	115823.dat	blob \| history \| raw
-rw-r--r--	12851	120330.dat	blob \| history \| raw
-rw-r--r--	12837	120836.dat	blob \| history \| raw
-rw-r--r--	12841	121342.dat	blob \| history \| raw
-rw-r--r--	12839	121848.dat	blob \| history \| raw
-rw-r--r--	12833	122354.dat	blob \| history \| raw
-rw-r--r--	12839	122901.dat	blob \| history \| raw
-rw-r--r--	12834	123408.dat	blob \| history \| raw
-rw-r--r--	12846	123914.dat	blob \| history \| raw
-rw-r--r--	12835	124421.dat	blob \| history \| raw
-rw-r--r--	12834	124927.dat	blob \| history \| raw
-rw-r--r--	12858	125434.dat	blob \| history \| raw
-rw-r--r--	12843	125940.dat	blob \| history \| raw
-rw-r--r--	12836	130446.dat	blob \| history \| raw
-rw-r--r--	12844	130952.dat	blob \| history \| raw
-rw-r--r--	12834	131459.dat	blob \| history \| raw
-rw-r--r--	12846	132006.dat	blob \| history \| raw
-rw-r--r--	12836	132513.dat	blob \| history \| raw
-rw-r--r--	12852	133019.dat	blob \| history \| raw
-rw-r--r--	12841	133525.dat	blob \| history \| raw
-rw-r--r--	12832	134032.dat	blob \| history \| raw
-rw-r--r--	12860	134539.dat	blob \| history \| raw
-rw-r--r--	12857	135046.dat	blob \| history \| raw
-rw-r--r--	12845	135553.dat	blob \| history \| raw
-rw-r--r--	12859	140059.dat	blob \| history \| raw
-rw-r--r--	12853	140605.dat	blob \| history \| raw
-rw-r--r--	12847	141111.dat	blob \| history \| raw
-rw-r--r--	12834	141617.dat	blob \| history \| raw
-rw-r--r--	12837	142129.dat	blob \| history \| raw
-rw-r--r--	12844	142635.dat	blob \| history \| raw
-rw-r--r--	12848	143142.dat	blob \| history \| raw
-rw-r--r--	12829	143648.dat	blob \| history \| raw
-rw-r--r--	12833	144155.dat	blob \| history \| raw
-rw-r--r--	12848	144707.dat	blob \| history \| raw
-rw-r--r--	12837	145213.dat	blob \| history \| raw
-rw-r--r--	12847	145720.dat	blob \| history \| raw
-rw-r--r--	12834	150226.dat	blob \| history \| raw
-rw-r--r--	12842	150733.dat	blob \| history \| raw
-rw-r--r--	12830	151240.dat	blob \| history \| raw
-rw-r--r--	12831	151746.dat	blob \| history \| raw
-rw-r--r--	12845	152252.dat	blob \| history \| raw
-rw-r--r--	12849	152759.dat	blob \| history \| raw
-rw-r--r--	12825	153305.dat	blob \| history \| raw
-rw-r--r--	12822	153812.dat	blob \| history \| raw
-rw-r--r--	12839	154318.dat	blob \| history \| raw
-rw-r--r--	12847	154824.dat	blob \| history \| raw
-rw-r--r--	12813	155330.dat	blob \| history \| raw
-rw-r--r--	12831	155836.dat	blob \| history \| raw
-rw-r--r--	12822	160343.dat	blob \| history \| raw
-rw-r--r--	12862	160849.dat	blob \| history \| raw
-rw-r--r--	12837	161355.dat	blob \| history \| raw
-rw-r--r--	12838	161901.dat	blob \| history \| raw
-rw-r--r--	12832	162406.dat	blob \| history \| raw
-rw-r--r--	12844	162912.dat	blob \| history \| raw
-rw-r--r--	6146	163418.dat	blob \| history \| raw
-rw-r--r--	11896	165548.dat	blob \| history \| raw
-rw-r--r--	11910	170030.dat	blob \| history \| raw
-rw-r--r--	11947	170512.dat	blob \| history \| raw
-rw-r--r--	11926	170959.dat	blob \| history \| raw
-rw-r--r--	11967	171443.dat	blob \| history \| raw
-rw-r--r--	11950	171930.dat	blob \| history \| raw
-rw-r--r--	11917	172415.dat	blob \| history \| raw
-rw-r--r--	11915	172858.dat	blob \| history \| raw
-rw-r--r--	11862	173343.dat	blob \| history \| raw
-rw-r--r--	11852	173825.dat	blob \| history \| raw
-rw-r--r--	11858	174305.dat	blob \| history \| raw
-rw-r--r--	11952	174746.dat	blob \| history \| raw
-rw-r--r--	11888	175231.dat	blob \| history \| raw
-rw-r--r--	11914	175713.dat	blob \| history \| raw
-rw-r--r--	11900	180156.dat	blob \| history \| raw
-rw-r--r--	11833	180639.dat	blob \| history \| raw
-rw-r--r--	11851	181118.dat	blob \| history \| raw
-rw-r--r--	11877	181558.dat	blob \| history \| raw
-rw-r--r--	11814	182040.dat	blob \| history \| raw
-rw-r--r--	11851	182519.dat	blob \| history \| raw
-rw-r--r--	11861	182959.dat	blob \| history \| raw
-rw-r--r--	11842	183441.dat	blob \| history \| raw
-rw-r--r--	11889	183920.dat	blob \| history \| raw
-rw-r--r--	11799	184401.dat	blob \| history \| raw
-rw-r--r--	11864	184839.dat	blob \| history \| raw
-rw-r--r--	11788	185319.dat	blob \| history \| raw
-rw-r--r--	11805	185756.dat	blob \| history \| raw
-rw-r--r--	11793	190232.dat	blob \| history \| raw
-rw-r--r--	11799	190708.dat	blob \| history \| raw
-rw-r--r--	11785	191145.dat	blob \| history \| raw
-rw-r--r--	11821	191621.dat	blob \| history \| raw
-rw-r--r--	11828	192059.dat	blob \| history \| raw
-rw-r--r--	11860	192539.dat	blob \| history \| raw
-rw-r--r--	11827	193020.dat	blob \| history \| raw
-rw-r--r--	11794	193459.dat	blob \| history \| raw
-rw-r--r--	11819	193937.dat	blob \| history \| raw
-rw-r--r--	11827	194415.dat	blob \| history \| raw
-rw-r--r--	11863	194853.dat	blob \| history \| raw
-rw-r--r--	11914	195334.dat	blob \| history \| raw
-rw-r--r--	11935	195817.dat	blob \| history \| raw
-rw-r--r--	11897	200301.dat	blob \| history \| raw
-rw-r--r--	11889	200743.dat	blob \| history \| raw
-rw-r--r--	11870	201227.dat	blob \| history \| raw
-rw-r--r--	11857	201709.dat	blob \| history \| raw
-rw-r--r--	11900	202150.dat	blob \| history \| raw
-rw-r--r--	11871	202634.dat	blob \| history \| raw
-rw-r--r--	11835	203115.dat	blob \| history \| raw
-rw-r--r--	11786	203555.dat	blob \| history \| raw
-rw-r--r--	11858	204032.dat	blob \| history \| raw
-rw-r--r--	11864	204514.dat	blob \| history \| raw
-rw-r--r--	11862	204955.dat	blob \| history \| raw
-rw-r--r--	11829	205436.dat	blob \| history \| raw
-rw-r--r--	11810	205920.dat	blob \| history \| raw
-rw-r--r--	11847	210402.dat	blob \| history \| raw
-rw-r--r--	11818	210843.dat	blob \| history \| raw
-rw-r--r--	11831	211322.dat	blob \| history \| raw
-rw-r--r--	11797	211801.dat	blob \| history \| raw
-rw-r--r--	11849	212238.dat	blob \| history \| raw
-rw-r--r--	11829	212719.dat	blob \| history \| raw
-rw-r--r--	11885	213158.dat	blob \| history \| raw
-rw-r--r--	11791	213639.dat	blob \| history \| raw
-rw-r--r--	11853	214116.dat	blob \| history \| raw
-rw-r--r--	11850	214557.dat	blob \| history \| raw
-rw-r--r--	11852	215037.dat	blob \| history \| raw
-rw-r--r--	11831	215518.dat	blob \| history \| raw
-rw-r--r--	11813	215957.dat	blob \| history \| raw
-rw-r--r--	11848	220436.dat	blob \| history \| raw
-rw-r--r--	11833	220915.dat	blob \| history \| raw
-rw-r--r--	11830	221354.dat	blob \| history \| raw
-rw-r--r--	11842	221833.dat	blob \| history \| raw
-rw-r--r--	11807	222313.dat	blob \| history \| raw
-rw-r--r--	11809	222754.dat	blob \| history \| raw
-rw-r--r--	11768	223232.dat	blob \| history \| raw
-rw-r--r--	11844	223710.dat	blob \| history \| raw
-rw-r--r--	11790	224151.dat	blob \| history \| raw
-rw-r--r--	11809	224629.dat	blob \| history \| raw
-rw-r--r--	11864	225108.dat	blob \| history \| raw
-rw-r--r--	11834	225549.dat	blob \| history \| raw
-rw-r--r--	11870	230029.dat	blob \| history \| raw
-rw-r--r--	11849	230511.dat	blob \| history \| raw
-rw-r--r--	11818	230952.dat	blob \| history \| raw
-rw-r--r--	11848	231432.dat	blob \| history \| raw
-rw-r--r--	11831	231917.dat	blob \| history \| raw
-rw-r--r--	11859	232356.dat	blob \| history \| raw
-rw-r--r--	11782	232838.dat	blob \| history \| raw
-rw-r--r--	11772	233316.dat	blob \| history \| raw
-rw-r--r--	11832	233753.dat	blob \| history \| raw
-rw-r--r--	11784	234232.dat	blob \| history \| raw
-rw-r--r--	11764	234710.dat	blob \| history \| raw
-rw-r--r--	11827	235145.dat	blob \| history \| raw
-rw-r--r--	11754	235624.dat	blob \| history \| raw
drwxr-xr-x	-	bad	tree \| history
-rw-r--r--	694	checklist	blob \| history \| raw