#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
 
// Hàm tính số thứ tự của một hoán vị
int permutationToIndex(const vector<int>& perm) {
    int n = perm.size();
    vector<bool> used(n + 1, false);
    int index = 0;
    long long factorial = 1;
 
    for (int i = 1; i <= n; ++i) {
        factorial *= i; // Tính giai thừa
    }
 
    for (int i = 0; i < n; ++i) {
        factorial /= (n - i); // Giảm cấp giai thừa
 
        // Đếm số lượng phần tử nhỏ hơn perm[i] mà chưa được sử dụng
        int rank = 0;
        for (int j = 1; j < perm[i]; ++j) {
            if (!used[j]) {
                rank++;
            }
        }
 
        // Cộng dồn vào chỉ số
        index += rank * factorial;
 
        // Đánh dấu phần tử này đã được sử dụng
        used[perm[i]] = true;
    }
 
    return index + 1; // Chỉ số bắt đầu từ 1
}
 
// Hàm tìm hoán vị từ số thứ tự
vector<int> indexToPermutation(int n, int y) {
    vector<int> permutation;
    vector<int> elements(n);
    for (int i = 0; i < n; ++i) {
        elements[i] = i + 1;
    }
 
    long long factorial = 1;
    for (int i = 1; i <= n; ++i) {
        factorial *= i; // Tính giai thừa
    }
 
    y--; // Chuyển sang chỉ số bắt đầu từ 0
 
    for (int i = 0; i < n; ++i) {
        factorial /= (n - i); // Giảm cấp giai thừa
 
        // Tìm chỉ số của phần tử cần chọn
        int index = y / factorial;
        permutation.push_back(elements[index]);
        elements.erase(elements.begin() + index);
 
        // Cập nhật y
        y %= factorial;
    }
 
    return permutation;
}
 
int main() {
    ios_base::sync_with_stdio(false);
    cin.tie(0);
 
    int n;
    vector<int> perm;
    while (cin >> n) {
        perm.push_back(n);
    }
 
 
 
    int y;
    y = perm[perm.size() - 1];
 
    perm.pop_back();
 
    // Tính số thứ tự x của hoán vị
    int x = permutationToIndex(perm);
    cout << x << endl;
 
    n = perm.size();
 
    // Tìm hoán vị từ số thứ tự y
    vector<int> result = indexToPermutation(n, y);
    for (int num : result) {
        cout << num << " ";
    }
    cout << endl;
 
    return 0;
}
 

I2luY2x1ZGUgPGlvc3RyZWFtPgojaW5jbHVkZSA8dmVjdG9yPgojaW5jbHVkZSA8YWxnb3JpdGhtPgp1c2luZyBuYW1lc3BhY2Ugc3RkOwoKLy8gSMOgbSB0w61uaCBz4buRIHRo4bupIHThu7EgY+G7p2EgbeG7mXQgaG/DoW4gduG7iwppbnQgcGVybXV0YXRpb25Ub0luZGV4KGNvbnN0IHZlY3RvcjxpbnQ+JiBwZXJtKSB7CiAgICBpbnQgbiA9IHBlcm0uc2l6ZSgpOwogICAgdmVjdG9yPGJvb2w+IHVzZWQobiArIDEsIGZhbHNlKTsKICAgIGludCBpbmRleCA9IDA7CiAgICBsb25nIGxvbmcgZmFjdG9yaWFsID0gMTsKCiAgICBmb3IgKGludCBpID0gMTsgaSA8PSBuOyArK2kpIHsKICAgICAgICBmYWN0b3JpYWwgKj0gaTsgLy8gVMOtbmggZ2lhaSB0aOG7q2EKICAgIH0KCiAgICBmb3IgKGludCBpID0gMDsgaSA8IG47ICsraSkgewogICAgICAgIGZhY3RvcmlhbCAvPSAobiAtIGkpOyAvLyBHaeG6o20gY+G6pXAgZ2lhaSB0aOG7q2EKCiAgICAgICAgLy8gxJDhur9tIHPhu5EgbMaw4bujbmcgcGjhuqduIHThu60gbmjhu48gaMahbiBwZXJtW2ldIG3DoCBjaMawYSDEkcaw4bujYyBz4butIGThu6VuZwogICAgICAgIGludCByYW5rID0gMDsKICAgICAgICBmb3IgKGludCBqID0gMTsgaiA8IHBlcm1baV07ICsraikgewogICAgICAgICAgICBpZiAoIXVzZWRbal0pIHsKICAgICAgICAgICAgICAgIHJhbmsrKzsKICAgICAgICAgICAgfQogICAgICAgIH0KCiAgICAgICAgLy8gQ+G7mW5nIGThu5NuIHbDoG8gY2jhu4kgc+G7kQogICAgICAgIGluZGV4ICs9IHJhbmsgKiBmYWN0b3JpYWw7CgogICAgICAgIC8vIMSQw6FuaCBk4bqldSBwaOG6p24gdOG7rSBuw6B5IMSRw6MgxJHGsOG7o2Mgc+G7rSBk4bulbmcKICAgICAgICB1c2VkW3Blcm1baV1dID0gdHJ1ZTsKICAgIH0KCiAgICByZXR1cm4gaW5kZXggKyAxOyAvLyBDaOG7iSBz4buRIGLhuq90IMSR4bqndSB04burIDEKfQoKLy8gSMOgbSB0w6xtIGhvw6FuIHbhu4sgdOG7qyBz4buRIHRo4bupIHThu7EKdmVjdG9yPGludD4gaW5kZXhUb1Blcm11dGF0aW9uKGludCBuLCBpbnQgeSkgewogICAgdmVjdG9yPGludD4gcGVybXV0YXRpb247CiAgICB2ZWN0b3I8aW50PiBlbGVtZW50cyhuKTsKICAgIGZvciAoaW50IGkgPSAwOyBpIDwgbjsgKytpKSB7CiAgICAgICAgZWxlbWVudHNbaV0gPSBpICsgMTsKICAgIH0KCiAgICBsb25nIGxvbmcgZmFjdG9yaWFsID0gMTsKICAgIGZvciAoaW50IGkgPSAxOyBpIDw9IG47ICsraSkgewogICAgICAgIGZhY3RvcmlhbCAqPSBpOyAvLyBUw61uaCBnaWFpIHRo4burYQogICAgfQoKICAgIHktLTsgLy8gQ2h1eeG7g24gc2FuZyBjaOG7iSBz4buRIGLhuq90IMSR4bqndSB04burIDAKCiAgICBmb3IgKGludCBpID0gMDsgaSA8IG47ICsraSkgewogICAgICAgIGZhY3RvcmlhbCAvPSAobiAtIGkpOyAvLyBHaeG6o20gY+G6pXAgZ2lhaSB0aOG7q2EKCiAgICAgICAgLy8gVMOsbSBjaOG7iSBz4buRIGPhu6dhIHBo4bqnbiB04butIGPhuqduIGNo4buNbgogICAgICAgIGludCBpbmRleCA9IHkgLyBmYWN0b3JpYWw7CiAgICAgICAgcGVybXV0YXRpb24ucHVzaF9iYWNrKGVsZW1lbnRzW2luZGV4XSk7CiAgICAgICAgZWxlbWVudHMuZXJhc2UoZWxlbWVudHMuYmVnaW4oKSArIGluZGV4KTsKCiAgICAgICAgLy8gQ+G6rXAgbmjhuq10IHkKICAgICAgICB5ICU9IGZhY3RvcmlhbDsKICAgIH0KCiAgICByZXR1cm4gcGVybXV0YXRpb247Cn0KCmludCBtYWluKCkgewogICAgaW9zX2Jhc2U6OnN5bmNfd2l0aF9zdGRpbyhmYWxzZSk7CiAgICBjaW4udGllKDApOwoKICAgIGludCBuOwogICAgdmVjdG9yPGludD4gcGVybTsKICAgIHdoaWxlIChjaW4gPj4gbikgewogICAgICAgIHBlcm0ucHVzaF9iYWNrKG4pOwogICAgfQoKICAgIAoKICAgIGludCB5OwogICAgeSA9IHBlcm1bcGVybS5zaXplKCkgLSAxXTsKCiAgICBwZXJtLnBvcF9iYWNrKCk7CgogICAgLy8gVMOtbmggc+G7kSB0aOG7qSB04buxIHggY+G7p2EgaG/DoW4gduG7iwogICAgaW50IHggPSBwZXJtdXRhdGlvblRvSW5kZXgocGVybSk7CiAgICBjb3V0IDw8IHggPDwgZW5kbDsKCiAgICBuID0gcGVybS5zaXplKCk7CgogICAgLy8gVMOsbSBob8OhbiB24buLIHThu6sgc+G7kSB0aOG7qSB04buxIHkKICAgIHZlY3RvcjxpbnQ+IHJlc3VsdCA9IGluZGV4VG9QZXJtdXRhdGlvbihuLCB5KTsKICAgIGZvciAoaW50IG51bSA6IHJlc3VsdCkgewogICAgICAgIGNvdXQgPDwgbnVtIDw8ICIgIjsKICAgIH0KICAgIGNvdXQgPDwgZW5kbDsKCiAgICByZXR1cm4gMDsKfQo=

MiAxIDMgCjQK

2 1 3 
4