Index of /~krisztin/ricker/output

	Name	Last modified	Size	Description
	Parent Directory		-
	output_0.875_0.876.txt	2012-08-17 17:07	6.1K
	output_0.999_0.99901000000000006.txt	2012-08-18 21:05	12K
	output_0.9999900000000006_1.txt	2012-08-18 21:32	15K
	proof.txt	2012-09-10 17:31	150K