On Tue, 31 Mar 2015 19:54:17 -0400 Martin Becze <[email protected]> wrote: > > maybe we should brute force the state? > > that hasn't been too successful in the past. brute forcing does require a non-trivial amount of resources