Stronger symmetry breaking. UNOPTIMIZED. Optimizations on todo list.
Some fixes.