/* #pragma GCC target("avx2") #pragma GCC optimize("O3") #pragma GCC optimize("unroll-loops") //*/ #include // #include using namespace std; // using namespace atcoder; #define DEBUG(x) cerr<<#x<<": "< #define vl vector #define vii vector< vector > #define vll vector< vector > #define vs vector #define pii pair #define pis pair #define psi pair #define pll pair template pair operator+(const pair &s, const pair &t) { return pair(s.first + t.first, s.second + t.second); } template pair operator-(const pair &s, const pair &t) { return pair(s.first - t.first, s.second - t.second); } template ostream& operator<<(ostream& os, pair p) { os << "(" << p.first << ", " << p.second << ")"; return os; } #define X first #define Y second #define rep(i,n) for(int i=0;i<(int)(n);i++) #define rep1(i,n) for(int i=1;i<=(int)(n);i++) #define rrep(i,n) for(int i=(int)(n)-1;i>=0;i--) #define rrep1(i,n) for(int i=(int)(n);i>0;i--) #define REP(i,a,b) for(int i=a;i bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (a>b) { a = b; return 1; } return 0; } #define UNIQUE(v) v.erase(std::unique(v.begin(), v.end()), v.end()); const ll inf = 1000000001; const ll INF = (ll)1e18 + 1; const long double pi = 3.1415926535897932384626433832795028841971L; int popcount(ll t) { return __builtin_popcountll(t); } // int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1}; // int dx2[8] = { 1,1,0,-1,-1,-1,0,1 }, dy2[8] = { 0,1,1,1,0,-1,-1,-1 }; vi dx = {0, 1, 0, -1}, dy = {-1, 0, 1, 0}; // vi dx2 = { 1,1,0,-1,-1,-1,0,1 }, dy2 = { 0,1,1,1,0,-1,-1,-1 }; struct Setup_io { Setup_io() { ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0); cout << fixed << setprecision(25); } } setup_io; const ll MOD = 1000000007; // const ll MOD = 998244353; // #define mp make_pair //#define endl '\n' vi ans; template struct TrieNode { // 持たせたい好きな状態を持たせよう // 持たせたい好きな状態を持たせよう int next_idx[char_size]; // Trie木上での次の状態のインデックス,存在しない時は-1 vector exist_char; // 続きのノードが存在する文字 vector state_idx; // ちょうどこのノードと同じ文字列のインデックス(同じ文字列が複数回追加される時もあるので) int sub_num = 0; // このノード以下に存在する追加された文字列の数(!= ノードの数) TrieNode() { for (int i = 0; i < char_size; i++) next_idx[i] = -1; } }; template struct Trie { using Node = TrieNode; vector nodes; int str_num=0; // 追加された文字列の数(!= ノードの数) vector strs; // 追加された文字列とそのidの対応表,idが連番じゃない時はunordered_mapに変えて頑張って Trie() { nodes.push_back(Node()); } void add(string& s, int str_idx, int node_idx, int id) { if (str_idx == s.size()) { nodes[node_idx].state_idx.push_back(id); nodes[node_idx].sub_num++; return; } if (nodes[node_idx].next_idx[s[str_idx] - initial_char] == -1) { nodes[node_idx].next_idx[s[str_idx] - initial_char] = nodes.size(); nodes[node_idx].exist_char.push_back(s[str_idx] - initial_char); nodes.push_back(Node()); } add(s, str_idx+1, nodes[node_idx].next_idx[s[str_idx] - initial_char], id); nodes[node_idx].sub_num++; } void add(string& s, int id=-1) { if (id == -1) id = str_num; add(s, 0, 0, id); str_num++; strs.push_back(s); } int sub(string& s, int str_idx, int node_idx) { if (str_idx == s.size()) { assert(nodes[node_idx].state_idx.size() > 0); int id = nodes[node_idx].state_idx.back(); nodes[node_idx].state_idx.pop_back(); nodes[node_idx].sub_num--; strs[id] = ""; return id; } int next_node_idx = nodes[node_idx].next_idx[s[str_idx] - initial_char]; int id = sub(s, str_idx+1, next_node_idx); nodes[node_idx].sub_num--; assert(nodes[node_idx].sub_num >= 0); if (nodes[next_node_idx].sub_num == 0 and (nodes[node_idx].sub_num > 0 or node_idx == 0)) { nodes[node_idx].next_idx[s[str_idx] - initial_char] = -1; rep (i, nodes[node_idx].exist_char.size()) { if (nodes[node_idx].exist_char[i] == s[str_idx] - initial_char) { nodes[node_idx].exist_char.erase(nodes[node_idx].exist_char.begin() + i); break; } } } return id; } // 削除した文字列のidを返す int sub(string& s) { int id = sub(s, 0, 0); return id; } void query(string& s, int str_idx, int node_idx) { for (int id: nodes[node_idx].state_idx) { // s[0, str_idx)にちょうど一致する追加された文字列たちに対する処理 ans[id]++; } if (str_idx == s.size()) { // ちょうどsと一致するノードが見つかったよ! return; } if (nodes[node_idx].next_idx[s[str_idx] - initial_char] == -1) { // これ以上sのprefixに共通するノードはない return; } query(s, str_idx + 1, nodes[node_idx].next_idx[s[str_idx] - initial_char]); } // sのprefixに対する何らかの処理をしたい時 void query(string s) { query(s, 0, 0); } void dfs(int node_idx, int depth, string& s) { // 今の頂点に関する何らかの処理 DEBUG(s); DEBUG(nodes[node_idx].sub_num); DEBUG_VEC(nodes[node_idx].exist_char); // 今の頂点に関する何らかの処理(終わり) for (int c: nodes[node_idx].exist_char) { assert(nodes[node_idx].next_idx[c] != -1); s += initial_char + c; dfs(nodes[node_idx].next_idx[c], depth + 1, s); s.pop_back(); } } // 根からdfsしたい時 void dfs() { string s; dfs(0, 0, s); } }; struct dice { mt19937 mt; dice() : mt(chrono::steady_clock::now().time_since_epoch().count()) {} // [0, x)の一様乱数 ll operator()(ll x) { return this->operator()(0, x); } // [x, y)の一様乱数 ll operator()(ll x, ll y) { uniform_int_distribution dist(x, y - 1); return dist(mt); } vl operator()(int n, ll x, ll y) { vl res(n); for (int i = 0; i < n; i++) res[i] = this->operator()(x, y); return res; } } rnd; signed main() { string s; cin >> s; int m; cin >> m; Trie<26, 'A'> trie; vector temp(m); rep (i, m) { cin >> temp[i]; trie.add(temp[i]); } rep (i, m) { trie.sub(temp[i]); } rep (i, 100000) { int u = rnd(m); trie.add(temp[u]); trie.sub(temp[u]); } rep (i, m) { trie.add(temp[i]); int u = rnd(m); trie.add(temp[u]); trie.sub(temp[u]); } ans.resize(trie.nodes.size()); rep (i, s.size()) { string t = s.substr(i, 12); trie.query(t); } ll res = 0; rep (i, trie.nodes.size()) { res += ans[i]; } cout << res << endl; }