A superpermutation on six symbols of length 872