#include <bits/stdc++.h>   using namespace std;   template <class T>   void _R(T &x) {     cin >> x;   }   void _R(int &x) { scanf( %d , &x); }   void _R(int64_t &x) { scanf( %lld , &x); }   void _R(double &x) { scanf( %lf , &x); }   void _R(char &x) { scanf(  %c , &x); }   void _R(char *x) { scanf( %s , x); }   void R() {}   template <class T, class... U>   void R(T &head, U &...tail) {     _R(head);     R(tail...);   }   template <class T>   void _W(const T &x) {     cout << x;   }   void _W(const int &x) { printf( %d , x); }   void _W(const int64_t &x) { printf( %lld , x); }   void _W(const double &x) { printf( %.16f , x); }   void _W(const char &x) { putchar(x); }   void _W(const char *x) { printf( %s , x); }   template <class T, class U>   void _W(const pair<T, U> &x) {     _W(x.first);     putchar(   );     _W(x.second);   }   template <class T>   void _W(const vector<T> &x) {     for (auto i = x.begin(); i != x.end(); _W(*i++))       if (i != x.cbegin()) putchar(   );   }   void W() {}   template <class T, class... U>   void W(const T &head, const U &...tail) {     _W(head);     putchar(sizeof...(tail) ?     :   n );     W(tail...);   }   template <class T, class... U>   void DEBUG(const T &head, const U &...tail) {}   int MOD = 1e9 + 7;   void ADD(long long &x, long long v) {     x = (x + v) % MOD;     if (x < 0) x += MOD;   }   const int SIZE = 5e5 + 10;   long long mypow(long long x, long long y) {     x %= MOD;     long long res = 1 % MOD;     while (y) {       if (y & 1) res = res * x % MOD;       y >>= 1;       x = x * x % MOD;     }     return res;   }   int ll[2][SIZE];   int d[SIZE], dn;   vector<pair<int, int> > seg[2];   template <class T>   void maa(T &x, T y) {     if (x < y) x = y;   }   template <class T>   void mii(T &x, T y) {     if (x > y) x = y;   }   int get_v(int x) { return lower_bound(d, d + dn, x) - d; }   int get_len(int x) { return d[x] - d[x - 1]; }   struct BIT {     int _n;     long long _d[SIZE];     void init(int __n) {       _n = __n;       memset(_d, 0, sizeof(long long) * (_n + 1));     }     void ins(int x, long long v) {       x++;       for (; x <= _n; x += x & -x) ADD(_d[x], v);     }     long long qq(int x) {       x++;       long long res = 0;       for (; x; x -= x & -x) ADD(res, _d[x]);       return res;     }     long long qq_range(int x, int y) {       long long ret = qq(y);       if (x) ADD(ret, -qq(x - 1));       return ret;     }   } bit[2];   int main() {     int K, N, M;     R(K, N, M);     if (N + M == 0) {       W(mypow(2, K));       return 0;     }     d[dn++] = 0;     for (int i = 0; i < (N); ++i) {       int x, y;       R(x, y);       d[dn++] = x - 1;       d[dn++] = y;       seg[0].push_back(make_pair(x - 1, y));     }     for (int i = 0; i < (M); ++i) {       int x, y;       R(x, y);       d[dn++] = x - 1;       d[dn++] = y;       seg[1].push_back(make_pair(x - 1, y));     }     sort(d, d + dn);     dn = unique(d, d + dn) - d;     for (int j = 0; j < (2); ++j) {       for (int i = 0; i < (((int)(seg[j]).size())); ++i) {         maa(ll[j][get_v(seg[j][i].second)], get_v(seg[j][i].first) + 1);       }     }     for (int i = 0; i < (2); ++i) bit[i].init(dn + 2);     bit[0].ins(1, mypow(2, get_len(1)) - 2);     if (ll[0][1] == 0) {       bit[1].ins(0, 1);     }     if (ll[1][1] == 0) {       bit[0].ins(0, 1);     }     int bb[2] = {};     for (int i = (2); i < (dn); ++i) {       long long both[2] = {};       int len = get_len(i);       for (int j = 0; j < (2); ++j) ADD(both[j], bit[j].qq(i - 1));       while (bb[0] < ll[1][i]) {         long long v = bit[0].qq_range(bb[0], bb[0]);         bit[0].ins(bb[0], -v);         bb[0]++;       }       if (ll[1][i] != i) bit[0].ins(i - 1, both[1]);       while (bb[1] < ll[0][i]) {         long long v = bit[1].qq_range(bb[1], bb[1]);         bit[1].ins(bb[1], -v);         bb[1]++;       }       if (ll[0][i] != i) bit[1].ins(i - 1, both[0]);       bit[0].ins(i, (both[0] + both[1]) * (mypow(2, len) - 2) % MOD);     }     long long ans = 0;     for (int i = 0; i < (2); ++i) ADD(ans, bit[i].qq(dn));     W(ans * mypow(2, (K - d[dn - 1])) % MOD);     return 0;   }