A helper for generating pajek files