computed vertices for k5