#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; static const double EPS = 1e-8; static const double PI = 4.0 * atan(1.0); static const double PI2 = 8.0 * atan(1.0); typedef long long ll; typedef unsigned long long ull; #define ALL(c) (c).begin(), (c).end() #define CLEAR(v) memset(v,0,sizeof(v)) #define MP(a,b) make_pair((a),(b)) #define REP(i,n) for(int i=0;i<(int)n;++i) #define ABS(a) ((a)>0?(a):-(a)) template T MIN(const T& a, const T& b) { return a < b ? a : b; } template T MAX(const T& a, const T& b) { return a > b ? a : b; } template void MIN_UPDATE(T& a, const T& b) { if (a > b) a = b; } template void MAX_UPDATE(T& a, const T& b) { if (a < b) a = b; } int graph[64][64]; ll best = 0; vector bestUsed(64); int K; bool canGo(const vector& path) { ll sum = 0; for (int i = 0; i + 1 < path.size(); ++i) { sum += graph[path[i]][path[i + 1]]; } return sum <= K; } void dfs(int k, vector& path, ll temp, vector& used) { if (best < temp) { best = temp; bestUsed = used; } if (k == 1) { return; } for (int insertIndex = 1; insertIndex <= path.size(); ++insertIndex) { path.insert(path.begin() + insertIndex, k); if (canGo(path)) { used[k] = true; dfs(k - 1, path, temp + (1LL << (k - 1)) - 1, used); used[k] = false; } path.erase(path.begin() + insertIndex); } if (!bestUsed[k]) { dfs(k - 1, path, temp, used); } } const int PRUNING_THRESHOLD = 1 << 16; int main() { std::ios::sync_with_stdio(false); int N, M; cin >> N >> M >> K; REP(i, 64) REP(j, 64) { graph[i][j] = INT_MAX / 3; } REP(m, M) { int u, v; cin >> u >> v; graph[u][v] = 1; graph[v][u] = 1; } REP(k, 64) REP(i, 64) REP(j, 64) { MIN_UPDATE(graph[i][j], graph[i][k] + graph[k][j]); } vector initial; initial.push_back(1); vector > q; q.push_back(initial); for (int n = N; n > 1; --n) { vector > next; for (auto path : q) { for (int insertIndex = 1; insertIndex <= path.size() && next.size() < PRUNING_THRESHOLD; ++insertIndex) { path.insert(path.begin() + insertIndex, n); if (canGo(path)) { next.push_back(path); } path.erase(path.begin() + insertIndex); } if (next.size() == PRUNING_THRESHOLD) { break; } } if (!next.empty()) { swap(q, next); } } ll answer = 0; for (int k : q[0]) { answer += (1LL << (k - 1)) - 1; } cout << answer << endl; }