Selected Algorithms from the 2013 Toads-and-Frogs Blitz Tournament