On Tue, 31 Mar 2015 19:54:17 -0400 Martin Becze <mjbecze at gmail.com> 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