fuzzy beaver - big-t