// File: bowenfan96[P]icl-mcs-enigma/enigma.cpp
// Function: Enigma::is_one_to_one(std::vector<int, std::allocator<int>> const&, std::vector<int, std::allocator<int>> const&)
bool Enigma::is_one_to_one(const std::vector<int>& map_from, const std::vector<int>& map_to) 
{
    // check if both arrays contain only unique elements
    int sz = map_to.size();
    
    std::unordered_set<int> set1;
    for(int i=0; i < sz; i++) {
        if(!set1.insert(map_from[i]).second) {
            return false;
        }
    }
    std::unordered_set<int> set2;
    for(int i=0; i < sz; i++) {
        if(!set2.insert(map_to[i]).second) {
            return false;
        }
    }
    
    // check if an index maps to itself
    for(int i=0; i < sz; i++) {
        if(map_from.at(i) == map_to.at(i)) {
            return false;
        }
    }
    
    return true;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x10(%rbp)
movq %rsi, -0x18(%rbp)
movq -0x18(%rbp), %rdi
callq 0x53a0
movl %eax, -0x1c(%rbp)
leaq -0x58(%rbp), %rdi
callq 0x5800
movl $0x0, -0x5c(%rbp)
movl -0x5c(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x3020
movq -0x10(%rbp), %rdi
movslq -0x5c(%rbp), %rsi
callq 0x5eb0
movq %rax, %rsi
leaq -0x58(%rbp), %rdi
callq 0x5820
movb %dl, -0x109(%rbp)
movq %rax, -0x108(%rbp)
jmp 0x2fb3
movb -0x109(%rbp), %al
movq -0x108(%rbp), %rcx
movq %rcx, -0x90(%rbp)
movb %al, -0x88(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x70(%rbp)
movb -0x88(%rbp), %al
movb %al, -0x68(%rbp)
movb -0x68(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x2fec
jmp 0x3010
movb $0x0, -0x1(%rbp)
movl $0x1, -0x94(%rbp)
jmp 0x319f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
jmp 0x31b6
jmp 0x3012
movl -0x5c(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x5c(%rbp)
jmp 0x2f7f
leaq -0xd0(%rbp), %rdi
callq 0x5800
movl $0x0, -0xd4(%rbp)
movl -0xd4(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x30fb
movq -0x18(%rbp), %rdi
movslq -0xd4(%rbp), %rsi
callq 0x5eb0
movq %rax, %rsi
leaq -0xd0(%rbp), %rdi
callq 0x5820
movb %dl, -0x119(%rbp)
movq %rax, -0x118(%rbp)
jmp 0x3073
movb -0x119(%rbp), %al
movq -0x118(%rbp), %rcx
movq %rcx, -0xf8(%rbp)
movb %al, -0xf0(%rbp)
movq -0xf8(%rbp), %rax
movq %rax, -0xe8(%rbp)
movb -0xf0(%rbp), %al
movb %al, -0xe0(%rbp)
movb -0xe0(%rbp), %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x30b5
jmp 0x30e5
movb $0x0, -0x1(%rbp)
movl $0x1, -0x94(%rbp)
jmp 0x3193
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x78(%rbp)
movl %eax, -0x7c(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0x5930
jmp 0x31b6
jmp 0x30e7
movl -0xd4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xd4(%rbp)
jmp 0x3036
movl $0x0, -0xfc(%rbp)
movl -0xfc(%rbp), %eax
cmpl -0x1c(%rbp), %eax
jge 0x3185
movq -0x10(%rbp), %rdi
movslq -0xfc(%rbp), %rsi
callq 0x5ed0
movq %rax, -0x128(%rbp)
jmp 0x3129
movq -0x128(%rbp), %rax
movl (%rax), %eax
movl %eax, -0x134(%rbp)
movq -0x18(%rbp), %rdi
movslq -0xfc(%rbp), %rsi
callq 0x5ed0
movq %rax, -0x130(%rbp)
jmp 0x3151
movl -0x134(%rbp), %eax
movq -0x130(%rbp), %rcx
cmpl (%rcx), %eax
jne 0x3172
movb $0x0, -0x1(%rbp)
movl $0x1, -0x94(%rbp)
jmp 0x3193
jmp 0x3174
movl -0xfc(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xfc(%rbp)
jmp 0x3105
movb $0x1, -0x1(%rbp)
movl $0x1, -0x94(%rbp)
leaq -0xd0(%rbp), %rdi
callq 0x5930
leaq -0x58(%rbp), %rdi
callq 0x5930
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
leaq -0x58(%rbp), %rdi
callq 0x5930
movq -0x78(%rbp), %rdi
callq 0x2330
nopl (%rax,%rax)