renamed files, small fix for randomized contraction