Added nonrandom generators for the brute force decoder to use