DotA Stats for isabelle