4231 is the number of labeled partially ordered sets with 5 elements.