#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int, int>
#define pll pair<ll, ll>
#define vi vector<int>
#define vl vector<ll>
#define ov3(a, b, c, name, ...) name
#define rep0(n) for(ll aaaaa = 0; aaaaa < (n); aaaaa++)
#define rep1(i, n) for(ll i = 0; i < (n); i++)
#define rep2(i, a, b) for(ll i = (a); i < (b); i++)
#define rep(...) ov3(__VA_ARGS__, rep2, rep1, rep0)(__VA_ARGS__)
#define per(i, a, b) for(ll i = (a) - 1; i >= b; i--)
#define fore(e, v) for(auto &&e : v)
#define all(a) begin(a), end(a)
#define si(a) (int)(size(a))
#define lb(v, x) (lower_bound(all(v), x) - begin(v))
#define eb emplace_back
template <typename T, typename S> bool chmin(T &a, S &b) { return a > b ? a = b, true : false; }
template <typename T, typename S> bool chmax(T &a, S &b) { return a < b ? a = b, true : false; }

const int INF = 1e9 + 100;
const ll INFL = 3e18 + 100;

#define i128 __int128_t

struct _ {
    _() { cin.tie(0)->sync_with_stdio(0), cout.tie(0); }
} __;

constexpr ll mod = 1e9 + 7;
struct mint {
    int x;
    mint(ll x_ = 0) : x(x_ % mod) {
        if(x < 0) x += mod;
    }
    mint operator-() { return mint(-x); }
    mint &operator+=(const mint &r) {
        x += r.x;
        if(x >= mod) x -= mod;
        return *this;
    }
    mint &operator-=(const mint &r) {
        x -= r.x;
        if(x < 0) x += mod;
        return *this;
    }
    mint &operator*=(const mint &r) {
        x = 1LL * x * r.x % mod;
        return *this;
    }
    mint inv() const { return pow(mod - 2); }
    mint pow(ll b) const {
        mint a = *this, c = 1;
        while(b) {
            if(b & 1) c *= a;
            a *= a;
            b >>= 1;
        }
        return c;
    }
    mint &operator/=(const mint &r) { return (*this) *= r.inv(); }
    friend mint operator+(mint a, mint b) { return (a += b); }
    friend mint operator-(mint a, mint b) { return (a -= b); }
    friend mint operator*(mint a, mint b) { return (a *= b); }
    friend mint operator/(mint a, mint b) { return (a /= b); }
};
using vm = vector<mint>;

vector<int> cartesian_tree(vi &a) {
    int n = si(a);
    vi pr(n, -1);
    stack<int> st;
    st.push(0);
    rep(i, 1, n) {
        int prev = -1;
        while(!st.empty()) {
            int j = st.top();
            if(a[i] > a[j]) {
                st.pop();
                if(prev != -1) { pr[prev] = j; }
                prev = j;
            } else {
                break;
            }
        }
        if(prev != -1) { pr[prev] = i; }
        st.push(i);
    }
    while(st.size() >= 2) {
        int x = st.top();
        st.pop();
        pr[x] = st.top();
    }
    return pr;
}

template <typename S, S (*op)(S, S), S (*e)()> struct segtree {
    segtree(int n) : segtree(vector<S>(n, e())) {}
    segtree(const vector<S> &v) : n(si(v)) {
        s = bit_ceil(unsigned(n));
        log = countr_zero(unsigned(s));
        d = vector<S>(2 * s, e());
        rep(i, n) d[s + i] = v[i];
        per(i, s, 1) update(i);
    }
    void set(int p, S x) {
        d[p += s] = x;
        rep(i, 1, log + 1) update(p >> i);
    }
    S prod(int l, int r) const {
        S sml = e(), smr = e();
        l += s, r += s;
        while(l < r) {
            if(l & 1) sml = op(sml, d[l++]);
            if(r & 1) smr = op(d[--r], smr);
            l >>= 1, r >>= 1;
        }
        return op(sml, smr);
    }
    S all_prod() const { return d[1]; }

  private:
    int n, s, log;
    vector<S> d;
    void update(int k) { d[k] = op(d[k * 2], d[k * 2 + 1]); }
};

pii f(pii x, pii y) { return min(x, y); }
pii e() { return pii(INF, INF); }

constexpr int N = 1e6 + 100;
mint fact[N], ifact[N];
void pre() {
    fact[0] = 1;
    rep(i, 1, N) fact[i] = i * fact[i - 1];
    ifact[N - 1] = fact[N - 1].inv();
    per(i, N - 1, 0) ifact[i] = ifact[i + 1] * (i + 1);
}
mint C(int n, int m) { return (n < m or m < 0 ? 0 : fact[n] * ifact[m] * ifact[n - m]); }

int f2(int x, int y) { return x + y; }
int e2() { return 0; }

int main() {
    pre();
    int n, W;
    cin >> n >> W;
    vi p(n);
    fore(e, p) cin >> e, e--;
    vi w(n);
    fore(e, w) cin >> e;
    reverse(all(p)), reverse(all(w));

    auto c = cartesian_tree(w);
    vector<pii> g(n, pii(-1, -1));
    int r;

    rep(i, n) {
        if(c[i] != -1) {
            if(i < c[i])
                g[c[i]].first = i;
            else
                g[c[i]].second = i;
        } else {
            r = i;
        }
    }

    // rep(i, n) { cout << g[i].first << " " << g[i].second << endl; }

    vector<pii> setter(n);
    rep(i, n) setter[i] = pii(w[i], i);
    segtree<pii, f, e> seg(setter);
    segtree<int, f2, e2> rst(vi(n, 1));

    set<int> s;
    vi res;

    mint ans = 1;
    auto dfs = [&](auto &&f, int l, int r, int t) {
        if(l == r or rst.prod(t, t + 1) == 0) return;
        int off = W - w[t];
        vi v;
        seg.set(t, pii(INF, t));
        while(true) {
            auto [val, i] = seg.prod(l, r);
            if(val > off) break;
            v.eb(i);
            seg.set(i, pii(INF, i));
        }
        sort(all(v));
        fore(e, v) s.emplace(p[e]);

        int n = rst.prod(l, r);
        // cout << l << " " << r << " " << t << endl;
        // cout << n << " " << si(v) << endl;
        // fore(e, v) cout << e << " ";
        // cout << endl;

        ans *= C(n, si(v)) * fact[si(v)];
        fore(e, v) rst.set(e, 0);

        if(g[t].first != -1) f(f, l, t, g[t].first);
        while(!empty(s) and *begin(s) < p[t]) {
            res.eb(*begin(s));
            s.erase(begin(s));
        }
        res.eb(p[t]);
        if(g[t].second != -1) f(f, t + 1, r, g[t].second);
        vi w(si(v));
        rep(i, si(v)) w[i] = p[v[i]];
        sort(all(w));

        // cout << "w" << endl;
        // fore(e, w) cout << e << " ";
        // cout << endl;
        fore(e, w) {
            if(auto it = s.find(e); it != end(s)) {
                while(*begin(s) < e) res.eb(*begin(s)), s.erase(begin(s));
                res.eb(e);
                s.erase(e);
            }
        }
    };
    dfs(dfs, 0, n, r);

    cout << ans.x << endl;
    // reverse(all(res));
    rep(i, n) cout << res[i] + 1 << " \n"[i == n - 1];
}