#include "drake/common/nice_type_name.h"
#include <algorithm>
#include <array>
#include <regex>
#include <string>