def read_header(filename):
    """N, dim, t = read_header(filename)"""
    with open(filename) as f:

        N=int(f.readline().strip())
        dim=int(f.readline().strip())
        t=float(f.readline().strip())

    return N, dim, t