#include using namespace std; #define rep(i, n) for (int i = 0; i < n; i++) #define rep2(i, x, n) for (int i = x; i <= n; i++) #define rep3(i, x, n) for (int i = x; i >= n; i--) #define each(e, v) for (auto &e : v) #define pb push_back #define eb emplace_back #define all(x) x.begin(), x.end() #define rall(x) x.rbegin(), x.rend() #define sz(x) (int)x.size() using ll = long long; using pii = pair; using pil = pair; using pli = pair; using pll = pair; template bool chmax(T &x, const T &y) { return (x < y) ? (x = y, true) : false; } template bool chmin(T &x, const T &y) { return (x > y) ? (x = y, true) : false; } template int flg(T x, int i) { return (x >> i) & 1; } template void print(const vector &v, T x = 0) { int n = v.size(); for (int i = 0; i < n; i++) cout << v[i] + x << (i == n - 1 ? '\n' : ' '); if (v.empty()) cout << '\n'; } template void printn(const vector &v, T x = 0) { int n = v.size(); for (int i = 0; i < n; i++) cout << v[i] + x << '\n'; } template int lb(const vector &v, T x) { return lower_bound(begin(v), end(v), x) - begin(v); } template int ub(const vector &v, T x) { return upper_bound(begin(v), end(v), x) - begin(v); } template void rearrange(vector &v) { sort(begin(v), end(v)); v.erase(unique(begin(v), end(v)), end(v)); } template vector id_sort(const vector &v, bool greater = false) { int n = v.size(); vector ret(n); iota(begin(ret), end(ret), 0); sort(begin(ret), end(ret), [&](int i, int j) { return greater ? v[i] > v[j] : v[i] < v[j]; }); return ret; } template pair operator+(const pair &p, const pair &q) { return make_pair(p.first + q.first, p.second + q.second); } template pair operator-(const pair &p, const pair &q) { return make_pair(p.first - q.first, p.second - q.second); } template istream &operator>>(istream &is, pair &p) { S a; T b; is >> a >> b; p = make_pair(a, b); return is; } template ostream &operator<<(ostream &os, const pair &p) { return os << p.first << ' ' << p.second; } struct io_setup { io_setup() { ios_base::sync_with_stdio(false); cin.tie(NULL); cout << fixed << setprecision(15); } } io_setup; const int inf = (1 << 30) - 1; const ll INF = (1LL << 60) - 1; const int MOD = 1000000007; // const int MOD = 998244353; template void fast_zeta_transform(vector &a, bool upper) { int n = a.size(); assert((n & (n - 1)) == 0); for (int i = 1; i < n; i <<= 1) { for (int j = 0; j < n; j++) { if (!(j & i)) { if (upper) a[j] += a[j | i]; else a[j | i] += a[j]; } } } } template void fast_mobius_transform(vector &a, bool upper) { int n = a.size(); assert((n & (n - 1)) == 0); for (int i = 1; i < n; i <<= 1) { for (int j = 0; j < n; j++) { if (!(j & i)) { if (upper) a[j] -= a[j | i]; else a[j | i] -= a[j]; } } } } template void fast_hadamard_transform(vector &a, bool inverse = false) { int n = a.size(); assert((n & (n - 1)) == 0); for (int i = 1; i < n; i <<= 1) { for (int j = 0; j < n; j++) { if (!(j & i)) { T x = a[j], y = a[j | i]; a[j] = x + y, a[j | i] = x - y; } } } if (inverse) { T inv = T(1) / T(n); for (auto &e : a) e *= inv; } } template vector bitwise_and_convolve(vector a, vector b) { int n = a.size(); assert(b.size() == n && (n & (n - 1)) == 0); fast_zeta_transform(a, true), fast_zeta_transform(b, true); for (int i = 0; i < n; i++) a[i] *= b[i]; fast_mobius_transform(a, true); return a; } template vector bitwise_or_convolve(vector a, vector b) { int n = a.size(); assert(b.size() == n && (n & (n - 1)) == 0); fast_zeta_transform(a, false), fast_zeta_transform(b, false); for (int i = 0; i < n; i++) a[i] *= b[i]; fast_mobius_transform(a, false); return a; } template vector bitwise_xor_convolve(vector a, vector b) { int n = a.size(); assert(b.size() == n && (n & (n - 1)) == 0); fast_hadamard_transform(a), fast_hadamard_transform(b); for (int i = 0; i < n; i++) a[i] *= b[i]; fast_hadamard_transform(a, true); return a; } template vector subset_convolve(const vector &a, const vector &b) { int n = a.size(); assert(b.size() == n && (n & (n - 1)) == 0); int k = __builtin_ctz(n); vector> A(k + 1, vector(n, 0)), B(k + 1, vector(n, 0)), C(k + 1, vector(n, 0)); for (int i = 0; i < n; i++) { int t = __builtin_popcount(i); A[t][i] = a[i], B[t][i] = b[i]; } for (int i = 0; i <= k; i++) fast_zeta_transform(A[i], false), fast_zeta_transform(B[i], false); for (int i = 0; i <= k; i++) { for (int j = 0; j <= k - i; j++) { for (int l = 0; l < n; l++) C[i + j][l] += A[i][l] * B[j][l]; } } for (int i = 0; i <= k; i++) fast_mobius_transform(C[i], false); vector c(n); for (int i = 0; i < n; i++) c[i] = C[__builtin_popcount(i)][i]; return c; } int main() { int N, M; cin >> N >> M; vector a(N); rep(i, N) cin >> a[i]; vector S(1 << M, 0); rep(i, N) { string T; cin >> T; int x = 0; rep(j, M) { if (T[j] == 'o') x |= 1 << j; } S[x] += a[i]; } fast_zeta_transform(S, false); vector dp(1 << M, 0); rep(i, 1 << M) { rep(j, M) { if (flg(i, j)) continue; ll tmp = S[i | (1 << j)] - S[i]; chmax(dp[i | (1 << j)], dp[i] + tmp * tmp); } } cout << dp.back() << '\n'; }