Small update, worinkg on smallest counterexample.
Adding a few small groups.