#include<bits/stdc++.h>
#define rep(i,a,b) for(int i=a;i<b;i++)
#define rrep(i,a,b) for(int i=a;i>=b;i--)
#define fore(i,a) for(auto &i:a)
#define all(x) (x).begin(),(x).end()
//#pragma GCC optimize ("-O3")
using namespace std; void _main(); int main() { cin.tie(0); ios::sync_with_stdio(false); _main(); }
typedef long long ll; const int inf = INT_MAX / 2; const ll infl = 1LL << 60;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a = b; return 1; } return 0; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a = b; return 1; } return 0; }
//---------------------------------------------------------------------------------------------------
/*---------------------------------------------------------------------------------------------------
　　　　　　　　　　　 ∧＿∧  
　　　　　 ∧＿∧ 　（´<_｀ ）　 Welcome to My Coding Space!
　　　　 （ ´_ゝ`）　/　 ⌒i     
　　　　／　　　＼　 　 |　|     
　　　 /　　 /￣￣￣￣/　　|  
　 ＿_(__ﾆつ/　    ＿/ .| .|＿＿＿＿  
　 　　　＼/＿＿＿＿/　（u　⊃  
---------------------------------------------------------------------------------------------------*/












int N, M, A[201010], B[201010];
//---------------------------------------------------------------------------------------------------
void _main() {
    cin >> N >> M;
    rep(i, 0, N) cin >> A[i];
    rep(i, 0, M) cin >> B[i];

    vector<int> ansand, ansor;
    int a = 0, b = 0;
    while (a < N and b < M) {
        if (A[a] == B[b]) {
            ansand.push_back(A[a]);
            ansor.push_back(A[a]);
            a++; b++;
        } else if (A[a] < B[b]) {
            ansor.push_back(A[a]);
            a++;
        } else {
            ansor.push_back(B[b]);
            b++;
        }
    }
    while (a < N) {
        ansor.push_back(A[a]);
        a++;
    }
    while (b < M) {
        ansor.push_back(B[b]);
        b++;
    }

    int A = ansand.size();
    int B = ansor.size();

    printf("%d %d\n", A, B);
    fore(i, ansand) printf("%d\n", i);
    fore(i, ansor) printf("%d\n", i);
}
