Problem:
Score : 600 points

Problem Statement

We have a tree with N vertices numbered 1 to N.
The i-th edge in this tree connects Vertex a_i and Vertex b_i.

Consider painting each of these edges white or black. There are 2^{N-1} such ways to paint the edges. Among them, how many satisfy all of the following M restrictions?

The i-th (1 \leq i \leq M) restriction is represented by two integers u_i and v_i, which mean that the path connecting Vertex u_i and Vertex v_i must contain at least one edge painted black.

Constraints

2 \leq N \leq 50

1 \leq a_i,b_i \leq N

The graph given in input is a tree.

1 \leq M \leq \min(20,\frac{N(N-1)}{2})

1 \leq u_i < v_i \leq N

If i \not= j, either u_i \not=u_j or v_i\not=v_j

All values in input are integers.

Input

Input is given from Standard Input in the following format:

N
a_1 b_1
:
a_{N-1} b_{N-1}
M
u_1 v_1
:
u_M v_M

Output

Print the number of ways to paint the edges that satisfy all of the M conditions.

Sample Input 1

3
1 2
2 3
1
1 3

Sample Output 1

3

The tree in this input is shown below:

All of the M restrictions will be satisfied if Edge 1 and 2 are respectively painted (white, black), (black, white), or (black, black), so the answer is 3.

Sample Input 2

2
1 2
1
1 2

Sample Output 2

1

The tree in this input is shown below:

All of the M restrictions will be satisfied only if Edge 1 is painted black, so the answer is 1.

Sample Input 3

5
1 2
3 2
3 4
5 3
3
1 3
2 4
2 5

Sample Output 3

9

The tree in this input is shown below:

Sample Input 4

8
1 2
2 3
4 3
2 5
6 3
6 7
8 6
5
2 7
3 5
1 6
2 8
7 8

Sample Output 4

62

The tree in this input is shown below:

Solution in C# (Mono 4.6.2.0) (judge verdict: Accepted)

using System;
using System.Collections.Generic;
using System.Linq;
using System.IO;
using System.Text;
using System.Numerics;
using static System.Math;
using static System.Array;
using static AtCoder.Tool;
namespace AtCoder
{
    class AC
    {
        const int MOD = 1000000007;
        //const int MOD = 998244353;
        const int INF = int.MaxValue / 2;
        const long SINF = long.MaxValue / 2;
        const double EPS = 1e-8;
        static readonly int[] dI = { 0, 1, 0, -1, 1, -1, -1, 1 };
        static readonly int[] dJ = { 1, 0, -1, 0, 1, 1, -1, -1 };
        static List<List<int>> G = new List<List<int>>();
        //static List<List<Edge>> G = new List<List<Edge>>();
        //static List<Edge> E = new List<Edge>();

        static void Main(string[] args)
        {
            //var sw = new StreamWriter(Console.OpenStandardOutput()) { AutoFlush = false };
            //Console.SetOut(sw);
            var cin = new IO_ShortCut();

            int N = cin.Int;
            for (var i = 0; i < N; i++) G.Add(new List<int>());
            var num = new Dictionary<int, long>();
            for (var i = 0; i < N - 1; i++)
            {
                int a, b;
                cin.Input(out a, out b);
                a--;b--;
                G[a].Add(b);
                G[b].Add(a);
                num[Min(a, b) + 100 * Max(a, b)] = 0;
            }
            int M = cin.Int;
            var U = new int[M];
            var V = new int[M];
            for(var i = 0; i < M; i++)
            {
                int a, b;
                cin.Input(out a, out b);
                a--;b--;
                U[i] = a;
                V[i] = b;
            }

            
            Func<int, int, int, int, StringBuilder, int> dfs1 = null;

            dfs1 = (v, prev, goal, ind, path) =>
            {
                path.Append($"{v} ");
                if (v == goal)
                {
                    var s = path.ToString().Trim();
                    var l = ConvertAll(s.Split(), int.Parse);
                    
                    for(var i = 0; i < l.Count() - 1; i++)
                    {
                        int a = Min(l[i], l[i + 1]);
                        int b = Max(l[i], l[i + 1]);
                        num[a + 100 * b] |= (1L << ind);
                    }
                    return 0;
                }
                else
                {
                    foreach (var nx in G[v])
                    {
                        if (nx == prev) continue;
                        var np = new StringBuilder();
                        np.Append(path);
                        dfs1(nx, v, goal, ind, np);
                    }
                }
                return 0;
            };
            for(var i = 0; i < M; i++) { dfs1(U[i], -1, V[i], i, new StringBuilder()); }
            

            Func<int, int, long, int> dfs = null;
            long sum = 1;
            long ans = 0;
            //Qで立っているbit全部白にぬる制約
            dfs = (v, prev, Q) =>
            {
                foreach (var nx in G[v])
                {
                    if (nx == prev) continue;
                    int a = Min(nx, v);
                    int b = Max(nx, v);
                    var k = num[a + 100 * b];

                    if ((Q & k) == 0) sum *= 2;
                    dfs(nx, v, Q);
                }
                return 0;
            };
            for(var i = 0; i < (1L << M); i++)
            {
                int cn = 0;
                for(var j = 0; j < M; j++)
                {
                    if (((1L << j) & i) != 0) cn++;
                }
                sum = 1;
                dfs(0, -1, i);
                //cin.OutL(sum);
                if (cn % 2 == 1) { ans += sum; }
                else { ans -= sum; }
            }
            //cin.OutL(ans);
            ans = -ans;
            cin.OutL(ans);


            
            //Console.Out.Flush();
        }
        struct Edge
        {
            public int from;

            public int to;
            public long dist;
            public Edge(int t, long c)
            {
                from = -1;
                to = t;
                dist = c;
            }
            public Edge(int f, int t, long c)
            {
                from = f;
                to = t;
                dist = c;
            }
        }
    }
    
    class IO_ShortCut
    {
        public IO_ShortCut() { }
        public string[] ReadSplit => Console.ReadLine().Split();
        public int[] ReadSplitInt => ConvertAll(Console.ReadLine().Split(), int.Parse);
        public long[] ReadSplitLong => ConvertAll(Console.ReadLine().Split(), long.Parse);
        public double[] ReadSplit_Double => ConvertAll(Console.ReadLine().Split(), double.Parse);
        public string Str => Console.ReadLine();
        public int Int => int.Parse(Console.ReadLine());
        public long Long => long.Parse(Console.ReadLine());
        public double Double => double.Parse(Console.ReadLine());
        public T Conv<T>(string input) => (T)Convert.ChangeType(input, typeof(T));
        public void Input<T>(out T a) => a = Conv<T>(Console.ReadLine());
        public void Input<T, U>(out T a, out U b)
        { var q = ReadSplit;a = Conv<T>(q[0]);b = Conv<U>(q[1]); }
        public void Input<T, U, V>(out T a, out U b, out V c)
        { var q = ReadSplit;a = Conv<T>(q[0]);b = Conv<U>(q[1]);c = Conv<V>(q[2]); }
        public void Input<T, U, V, W>(out T a, out U b, out V c, out W d)
        { var q = ReadSplit; a = Conv<T>(q[0]); b = Conv<U>(q[1]); c = Conv<V>(q[2]);d = Conv<W>(q[3]); }

        public void OutL(object s) => Console.WriteLine(s);
        public void Out_Sep<T>(IEnumerable<T> s) => Console.WriteLine(string.Join(" ", s));
        public void Out_Sep<T>(IEnumerable<T> s, string sep) => Console.WriteLine(string.Join($"{sep}", s));
        public void Out_Sep(params object[] s) => Console.WriteLine(string.Join(" ", s));
        public void Out_One(object s) => Console.Write($"{s} ");
        public void Out_One(object s, string sep) => Console.Write($"{s}{sep}");
    }
    public static class Tool
    {
        static public void Initialize<T>(ref T[] array, T initialvalue)
        {
            for (var i = 0; i < array.Length; i++)
            {
                array[i] = initialvalue;
            }
        }
        static public void Swap<T>(ref T a, ref T b)
        {
            T keep = a;
            a = b;
            b = keep;
        }
        static public void Display<T>(T[,] array2d, int n, int m)
        {
            for (var i = 0; i < n; i++)
            {
                for (var j = 0; j < m; j++)
                {
                    Console.Write($"{array2d[i, j]} ");
                }
                Console.WriteLine();
            }
        }
        static public long LPow(int a, int b) => (long)Pow(a, b);
    }
    class Modulo
    {
        private int M;
        private readonly long[] m_facs;
        public long Mul(long a, long b)
        {
            return ((a * b) % M);
        }
        public Modulo(long n, int m)
        {
            M = m;
            m_facs = new long[n + 1];
            m_facs[0] = 1;
            for (long i = 1; i <= n; ++i)
            {
                m_facs[i] = Mul(m_facs[i - 1], i);
            }
        }
        public long Fac(long n)
        {
            return m_facs[n];
        }
        public long Pow(long a, long m)
        {
            switch (m)
            {
                case 0:
                    return 1L;
                case 1:
                    return a;
                default:
                    long p1 = Pow(a, m / 2);
                    long p2 = Mul(p1, p1);
                    return ((m % 2) == 0) ? p2 : Mul(p2, a);
            }
        }
        public long Div(long a, long b)
        {
            return Mul(a, Pow(b, M - 2));
        }
        public long Ncr(long n, long r)
        {
            if (n < r) { return 0; }
            if (n == r) { return 1; }
            long res = Fac(n);
            res = Div(res, Fac(r));
            res = Div(res, Fac(n - r));
            return res;
        }
    }
}