131 files
gentzenReduction/001.svg
30 millisecs