// File: /workspace/github_cpp_makefile_star2_O1/cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::create_ban[abi:cxx11](std::vector<int, std::allocator<int>>&)
std::string Graph::create_ban(std::vector<int> &orig_path){
    int n_vertices = orig_path.size();
    std::string ban = "";
    for(int i = 1; i < n_vertices - 1; i++){
        int var = -encode(i, orig_path[i]);
        ban += std::to_string(var) + " ";
    }
    ban += "0\n";

    return ban;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rsi, -0x68(%rbp)
movq 0x8(%rdx), %r14
movq %rdx, -0x70(%rbp)
subq (%rdx), %r14
movq %rdi, %rbx
shrq $0x2, %r14
leaq 0x10(%rdi), %rax
movq %rax, -0x60(%rbp)
movq %rax, (%rdi)
leaq 0x373b(%rip), %rdx      # 0x9166
movq %rdx, %rsi
callq 0x7a46
movq %r14, -0x38(%rbp)
cmpl $0x3, %r14d
jl 0x5ba6
movq -0x38(%rbp), %rax
decl %eax
movq %rax, -0x38(%rbp)
movl $0x1, %r12d
leaq -0x90(%rbp), %r14
movl $0xd1b71759, %edx       # imm = 0xD1B71759
movq %rbx, -0x30(%rbp)
movq -0x70(%rbp), %rax
movq (%rax), %rax
movl (%rax,%r12,4), %ebx
movq -0x68(%rbp), %rax
movl (%rax), %eax
imull %r12d, %eax
notl %ebx
subl %eax, %ebx
movl %ebx, %r13d
negl %r13d
cmovsl %ebx, %r13d
movl $0x1, %r15d
cmpl $0xa, %r13d
jb 0x5ad2
movl $0x4, %r15d
movl %r13d, %eax
cmpl $0x63, %eax
jbe 0x5ac9
cmpl $0x3e7, %eax            # imm = 0x3E7
jbe 0x5acf
cmpl $0x2710, %eax           # imm = 0x2710
jb 0x5ad2
movl %eax, %ecx
imulq %rdx, %rcx
shrq $0x2d, %rcx
addl $0x4, %r15d
cmpl $0x1869f, %eax          # imm = 0x1869F
movl %ecx, %eax
ja 0x5a99
addl $-0x3, %r15d
jmp 0x5ad2
addl $-0x2, %r15d
jmp 0x5ad2
decl %r15d
shrl $0x1f, %ebx
leal (%r15,%rbx), %esi
leaq -0x80(%rbp), %rax
movq %rax, -0x90(%rbp)
movq %r14, %rdi
movl $0x2d, %edx
callq 0x2260
movl %ebx, %edi
addq -0x90(%rbp), %rdi
movl %r15d, %esi
movl %r13d, %edx
callq 0x79d3
movq %r14, %r15
movq %r14, %rdi
leaq 0x36b5(%rip), %rsi      # 0x91c7
callq 0x23c0
leaq -0x48(%rbp), %r13
movq %r13, -0x58(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
movq -0x30(%rbp), %rbx
je 0x5b3f
movq %rdx, -0x58(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x48(%rbp)
jmp 0x5b47
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, -0x50(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x58(%rbp), %rsi
movq -0x50(%rbp), %rdx
movq %rbx, %rdi
callq 0x2090
movq -0x58(%rbp), %rdi
cmpq %r13, %rdi
je 0x5b7c
callq 0x21d0
movq -0x90(%rbp), %rdi
leaq -0x80(%rbp), %rax
cmpq %rax, %rdi
je 0x5b91
callq 0x21d0
incq %r12
cmpq -0x38(%rbp), %r12
movq %r15, %r14
movl $0xd1b71759, %edx       # imm = 0xD1B71759
jne 0x5a61
leaq 0x35b7(%rip), %rsi      # 0x9164
movq %rbx, %rdi
callq 0x23c0
movq %rbx, %rax
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rbx, -0x30(%rbp)
jmp 0x5bcd
movq %rax, %r14
jmp 0x5bfd
movq %rax, %r14
jmp 0x5be8
movq %rax, %r14
movq -0x58(%rbp), %rdi
cmpq %r13, %rdi
je 0x5be8
callq 0x21d0
movq -0x90(%rbp), %rdi
leaq -0x80(%rbp), %rax
cmpq %rax, %rdi
je 0x5bfd
callq 0x21d0
movq -0x30(%rbp), %rax
movq (%rax), %rdi
cmpq -0x60(%rbp), %rdi
je 0x5c0f
callq 0x21d0
movq %r14, %rdi
callq 0x2380
nop