Perhaps time to make another look at where time is wasted. Replacing a Stdio.stdin.gets()-loop with a foreach on Stdio.stdin.read()/"\n" speeds up some tests with 30%, so doing something about Stdio.FILE might be a good idea.