// includes #include // macros #define ll long long int #define pb emplace_back #define mk make_pair #define pq priority_queue #define FOR(i, a, b) for(int i=(a);i<(b);++i) #define rep(i, n) FOR(i, 0, n) #define rrep(i, n) for(int i=((int)(n)-1);i>=0;i--) #define all(x) (x).begin(),(x).end() #define sz(x) ((int)(x).size()) #define UNIQUE(v) v.erase(unique(v.begin(), v.end()), v.end()) #define FI first #define SE second using namespace std; // types typedef pair P; typedef pair Pl; typedef pair Pll; typedef pair Pd; // constants const int inf = 1e9; const ll linf = 1LL << 50; const double EPS = 1e-10; const int mod = 1e9 + 7; // solve template bool chmax(T &a, const T &b){if(a < b){a = b; return 1;} return 0;} template bool chmin(T &a, const T &b){if(a > b){a = b; return 1;} return 0;} template istream &operator>>(istream &is, vector &vec){for(auto &v: vec)is >> v; return is;} template struct Graph_ { int n; vector > d; vector > path; Graph_(int ns) { n = ns; d = vector >(n, vector(n, numeric_limits::max() / 10)); path = vector >(n, vector(n, -1)); for(int i = 0; i < n; i++)d[i][i] = 0; } void warshall_floyd(){ for(int k = 0; k < n; k++){ for(int i = 0; i < n; i++){ for(int j = 0; j < n; j++){ if(d[i][j] > d[i][k] + d[k][j]){ d[i][j] = d[i][k] + d[k][j]; path[i][j] = k; } } } } } void adde(int at, int to, T cost){ d[at][to] = cost; } }; typedef struct Graph_ GraphI; typedef struct Graph_ GraphL; int main(int argc, char const* argv[]) { ios_base::sync_with_stdio(false); cin.tie(0); int n, m, K; cin >> n >> m >> K; GraphI graph(n); rep(i, m){ int u, v; cin >> u >> v, u--, v--; graph.adde(u, v, 1); graph.adde(v, u, 1); } graph.warshall_floyd(); vector v; vector used(n, false); auto ok = [&](vector &s){ vector > dp(1 << sz(s), vector(sz(s), inf)); rep(i, sz(s))dp[1<> j) % 2 == 1){ int st = i ^ (1 << j); for(int k = 0; k < sz(s); k++){ if((st >> k) % 2 == 1){ dp[i][j] = min(dp[i][j], dp[st][k] + graph.d[s[j]][s[k]]); } } } } } rep(i, sz(s))if(dp[(1< 0; i--){ if(!used[i]){ v.pb(i); if(ok(v)){ used[i] = true; break; }else{ v.pop_back(); } } if(i == 1)flag = false; } if(!flag)break; } ll res = 0; rep(i, sz(v))res += (1LL << v[i]) - 1; cout << res << endl; return 0; }