Tracking down a bug with symmetries (hacked)