An Implementation of an Algorithm Counting Points on a Kind of Hyperelliptic Curves