There are 142 connected functional graphs on four labeled vertices, 142 planar graphs with 6 unlabeled vertices, and 142 partial involutions on five elements.
