(but the output is very large, so you'd want to use it for your smallest possible case)