def join_col(col):
    """Converts an array of arrays into an array of strings, using ';' as the sep."""
    joined_col = []
    for item in col:
        joined_col.append(";".join(map(str, item)))
    return joined_col