Speed-up due removing unnecessary dot construction; Non-det bdd run; Started better preimage computation; Worked on algorithms' .tex descriptions.