// File: /workspace/github_cpp_makefile_star2_O1/Marcos30004347[P]JSS-with-VNS/main.cpp
// Function: argmin(std::vector<unsigned int, std::allocator<unsigned int>>, unsigned int&, unsigned int)
solution argmin(solution s, unsigned& k, unsigned p) {
  solution s_ = s;
  for(int i=0; i<p; i++) {
    solution tmp;

    switch (k) {
    case 1: tmp = opt_2(s); break;
    case 2: tmp = opt_3(s); break;
    default: break;
    }

    if(total_cost(tmp) < total_cost(s_))
      s_ = tmp;
  }

  return s_;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xa8, %rsp
movl %ecx, %r14d
movq %rdx, -0x70(%rbp)
movq %rdi, %rbx
movq %rsi, -0x68(%rbp)
callq 0x3e06
testl %r14d, %r14d
je 0x3072
leaq -0xa0(%rbp), %r12
xorps %xmm0, %xmm0
movaps %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
movq -0x70(%rbp), %rax
movl (%rax), %eax
cmpl $0x2, %eax
je 0x2f58
cmpl $0x1, %eax
jne 0x2fdb
leaq -0xd0(%rbp), %r15
movq %r15, %rdi
movq -0x68(%rbp), %rsi
callq 0x3e06
leaq -0x60(%rbp), %rdi
movq %r15, %rsi
callq 0x2854
movq -0x40(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x60(%rbp), %rax
movq %rax, -0x40(%rbp)
movups -0x58(%rbp), %xmm0
movups %xmm0, -0x38(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x60(%rbp)
movq $0x0, -0x50(%rbp)
testq %rdi, %rdi
je 0x2f2a
subq %rdi, %rsi
callq 0x2140
movq -0x60(%rbp), %rdi
testq %rdi, %rdi
je 0x2f3f
movq -0x50(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
movq -0xd0(%rbp), %rdi
testq %rdi, %rdi
je 0x2fdb
movq -0xc0(%rbp), %rsi
jmp 0x2fd3
leaq -0xb8(%rbp), %r15
movq %r15, %rdi
movq -0x68(%rbp), %rsi
callq 0x3e06
leaq -0x60(%rbp), %rdi
movq %r15, %rsi
callq 0x28d9
movq -0x40(%rbp), %rdi
movq -0x30(%rbp), %rsi
movq -0x60(%rbp), %rax
movq %rax, -0x40(%rbp)
movups -0x58(%rbp), %xmm0
movups %xmm0, -0x38(%rbp)
xorps %xmm0, %xmm0
movaps %xmm0, -0x60(%rbp)
movq $0x0, -0x50(%rbp)
testq %rdi, %rdi
je 0x2fab
subq %rdi, %rsi
callq 0x2140
movq -0x60(%rbp), %rdi
testq %rdi, %rdi
je 0x2fc0
movq -0x50(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
movq -0xb8(%rbp), %rdi
testq %rdi, %rdi
je 0x2fdb
movq -0xa8(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
leaq -0x88(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x3e06
leaq -0x88(%rbp), %rdi
callq 0x24ed
movl %eax, %r15d
movq %r12, %rdi
movq %rbx, %rsi
callq 0x3e06
movq %r12, %rdi
callq 0x24ed
movl %eax, %r13d
movq -0xa0(%rbp), %rdi
testq %rdi, %rdi
je 0x302b
movq -0x90(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
movq -0x88(%rbp), %rdi
testq %rdi, %rdi
je 0x3043
movq -0x78(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
cmpl %r13d, %r15d
jae 0x3054
movq %rbx, %rdi
leaq -0x40(%rbp), %rsi
callq 0x3e86
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x3069
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
decl %r14d
jne 0x2eb0
movq %rbx, %rax
addq $0xa8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x30c3
movq %rax, %r14
movq -0xb8(%rbp), %rdi
testq %rdi, %rdi
je 0x30e3
movq -0xa8(%rbp), %rsi
jmp 0x30db
jmp 0x30c3
movq %rax, %r14
movq -0xa0(%rbp), %rdi
testq %rdi, %rdi
je 0x30cb
movq -0x90(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
jmp 0x30cb
movq %rax, %r14
jmp 0x30e3
movq %rax, %r14
movq -0x88(%rbp), %rdi
testq %rdi, %rdi
je 0x30e3
movq -0x78(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x30f8
movq -0x30(%rbp), %rsi
subq %rdi, %rsi
callq 0x2140
movq (%rbx), %rdi
testq %rdi, %rdi
je 0x310c
movq 0x10(%rbx), %rsi
subq %rdi, %rsi
callq 0x2140
movq %r14, %rdi
callq 0x21d0