LLM4Binary/decompile-bench-makefile huggingface dataset:
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/core/SolverTypes.h
// Function: Minisat::OccLists<Minisat::Lit, Minisat::vec<Minisat::Solver::Watcher, int>, Minisat::Solver::WatcherDeleted, Minisat::MkIndexLit>::cleanAll()
void OccLists<K,Vec,Deleted,MkIndex>::cleanAll()
{
    for (int i = 0; i < dirties.size(); i++)
        // Dirties may contain duplicates so check here if a variable is already cleaned:
        if (dirty[dirties[i]])
            clean(dirties[i]);
    dirties.clear();
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
xorl %r14d, %r14d
xorl %r15d, %r15d
movslq 0x38(%rbx), %rax
movq 0x30(%rbx), %rsi
cmpq %rax, %r15
jge 0x6ca7
movslq (%rsi,%r14), %rax
movq 0x18(%rbx), %rcx
cmpb $0x0, (%rcx,%rax)
je 0x6c9e
addq %r14, %rsi
movq %rbx, %rdi
callq 0x7e78
incq %r15
addq $0x4, %r14
jmp 0x6c78
testq %rsi, %rsi
je 0x6cb0
andl $0x0, 0x38(%rbx)
popq %rbx
popq %r14
popq %r15
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/core/SolverTypes.h
// Function: Minisat::ClauseAllocator::reloc(unsigned int&, Minisat::ClauseAllocator&)
void reloc(CRef& cr, ClauseAllocator& to)
    {
        Clause& c = operator[](cr);
        
        if (c.reloced()) { cr = c.relocation(); return; }
        
        cr = to.alloc(c);
        c.relocate(cr);
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movl (%rsi), %eax
movq (%rdi), %rcx
leaq (%rcx,%rax,4), %r14
testb $0x10, (%r14)
jne 0x6ce3
movq %rdx, %rdi
movq %r14, %rsi
callq 0x7790
movl %eax, (%rbx)
orb $0x10, (%r14)
movl %eax, 0x4(%r14)
jmp 0x6ce9
movl 0x4(%r14), %eax
movl %eax, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/utils/Options.h
// Function: Minisat::DoubleOption::parse(char const*)
virtual bool parse(const char* str){
        const char* span = str; 

        if (!match(span, "-") || !match(span, name) || !match(span, "="))
            return false;

        char*  end;
        double tmp = strtod(span, &end);

        if (end == NULL) 
            return false;
        else if (tmp >= range.end && (!range.end_inclusive || tmp != range.end)){
            fprintf(stderr, "ERROR! value <%s> is too large for option \"%s\".\n", span, name);
            exit(1);
        }else if (tmp <= range.begin && (!range.begin_inclusive || tmp != range.begin)){
            fprintf(stderr, "ERROR! value <%s> is too small for option \"%s\".\n", span, name);
            exit(1); }

        value = tmp;
        // fprintf(stderr, "READ VALUE: %g\n", value);

        return true;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movq %rsp, %rdi
movq %rsi, (%rdi)
leaq 0x2deb(%rip), %rsi      # 0x9b5c
callq 0x63bb
testb %al, %al
je 0x6df3
movq 0x8(%rbx), %rsi
movq %rsp, %rdi
callq 0x63bb
testb %al, %al
je 0x6df3
leaq 0x2f68(%rip), %rsi      # 0x9cf9
movq %rsp, %rdi
callq 0x63bb
testb %al, %al
je 0x6df3
movq (%rsp), %r14
leaq 0x8(%rsp), %r15
movq %r14, %rdi
movq %r15, %rsi
callq 0x20f0
cmpq $0x0, (%r15)
setne %al
je 0x6df5
movsd 0x30(%rbx), %xmm1
ucomisd %xmm1, %xmm0
jb 0x6dd3
cmpb $0x1, 0x39(%rbx)
jne 0x6dff
ucomisd %xmm1, %xmm0
jne 0x6dff
jp 0x6dff
movsd 0x28(%rbx), %xmm1
ucomisd %xmm0, %xmm1
jb 0x6dec
cmpb $0x1, 0x38(%rbx)
jne 0x6e16
ucomisd %xmm1, %xmm0
jne 0x6e16
jp 0x6e16
movsd %xmm0, 0x40(%rbx)
jmp 0x6df5
xorl %eax, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq 0x71da(%rip), %rax      # 0xdfe0
movq (%rax), %rdi
movq 0x8(%rbx), %rcx
leaq 0x2c60(%rip), %rsi      # 0x9a74
jmp 0x6e2b
movq 0x71c3(%rip), %rax      # 0xdfe0
movq (%rax), %rdi
movq 0x8(%rbx), %rcx
leaq 0x2c7a(%rip), %rsi      # 0x9aa5
movq %r14, %rdx
xorl %eax, %eax
callq 0x2250
pushq $0x1
popq %rdi
callq 0x21c0
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/utils/Options.h
// Function: Minisat::DoubleOption::help(bool)
virtual void help (bool verbose = false){
        fprintf(stderr, "  -%-12s = %-8s %c%4.2g .. %4.2g%c (default: %g)\n", 
                name, type_name, 
                range.begin_inclusive ? '[' : '(', 
                range.begin,
                range.end,
                range.end_inclusive ? ']' : ')', 
                value);
        if (verbose){
            fprintf(stderr, "\n        %s\n", description);
            fprintf(stderr, "\n");
        }
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movl %esi, %ebp
movq %rdi, %rbx
movq 0x7192(%rip), %r14      # 0xdfe0
movq (%r14), %rdi
movq 0x8(%rbx), %rdx
movq 0x20(%rbx), %rcx
cmpb $0x0, 0x38(%rbx)
pushq $0x5b
popq %rax
pushq $0x28
popq %r8
cmovnel %eax, %r8d
movsd 0x28(%rbx), %xmm0
movsd 0x30(%rbx), %xmm1
cmpb $0x0, 0x39(%rbx)
pushq $0x5d
popq %rax
pushq $0x29
popq %r9
cmovnel %eax, %r9d
movsd 0x40(%rbx), %xmm2
leaq 0x2c49(%rip), %rsi      # 0x9ad6
movb $0x3, %al
callq 0x2250
testl %ebp, %ebp
jne 0x6e9d
popq %rbx
popq %r14
popq %rbp
retq
movq (%r14), %rdi
movq 0x10(%rbx), %rdx
leaq 0x2c5d(%rip), %rsi      # 0x9b08
xorl %eax, %eax
callq 0x2250
movq (%r14), %rsi
pushq $0xa
popq %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x21d0
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/utils/Options.h
// Function: Minisat::IntOption::parse(char const*)
virtual bool parse(const char* str){
        const char* span = str; 

        if (!match(span, "-") || !match(span, name) || !match(span, "="))
            return false;

        char*   end;
        int32_t tmp = strtol(span, &end, 10);

        if (end == NULL) 
            return false;
        else if (tmp > range.end){
            fprintf(stderr, "ERROR! value <%s> is too large for option \"%s\".\n", span, name);
            exit(1);
        }else if (tmp < range.begin){
            fprintf(stderr, "ERROR! value <%s> is too small for option \"%s\".\n", span, name);
            exit(1); }

        value = tmp;

        return true;
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
movq %rsp, %rdi
movq %rsi, (%rdi)
leaq 0x2b4b(%rip), %rsi      # 0x9b5c
callq 0x63bb
testb %al, %al
je 0x706f
movq 0x8(%rbx), %rsi
movq %rsp, %rdi
callq 0x63bb
testb %al, %al
je 0x706f
leaq 0x2cc8(%rip), %rsi      # 0x9cf9
movq %rsp, %rdi
callq 0x63bb
testb %al, %al
je 0x706f
movq (%rsp), %r14
leaq 0x8(%rsp), %r15
pushq $0xa
popq %rdx
movq %r14, %rdi
movq %r15, %rsi
callq 0x2230
movq %rax, %rcx
cmpq $0x0, (%r15)
setne %al
je 0x7071
cmpl %ecx, 0x2c(%rbx)
jl 0x707b
cmpl %ecx, 0x28(%rbx)
jg 0x7092
movl %ecx, 0x30(%rbx)
jmp 0x7071
xorl %eax, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
movq 0x6f5e(%rip), %rax      # 0xdfe0
movq (%rax), %rdi
movq 0x8(%rbx), %rcx
leaq 0x29e4(%rip), %rsi      # 0x9a74
jmp 0x70a7
movq 0x6f47(%rip), %rax      # 0xdfe0
movq (%rax), %rdi
movq 0x8(%rbx), %rcx
leaq 0x29fe(%rip), %rsi      # 0x9aa5
movq %r14, %rdx
xorl %eax, %eax
callq 0x2250
pushq $0x1
popq %rdi
callq 0x21c0
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/utils/Options.h
// Function: Minisat::IntOption::help(bool)
virtual void help (bool verbose = false){
        fprintf(stderr, "  -%-12s = %-8s [", name, type_name);
        if (range.begin == INT32_MIN)
            fprintf(stderr, "imin");
        else
            fprintf(stderr, "%4d", range.begin);

        fprintf(stderr, " .. ");
        if (range.end == INT32_MAX)
            fprintf(stderr, "imax");
        else
            fprintf(stderr, "%4d", range.end);

        fprintf(stderr, "] (default: %d)\n", value);
        if (verbose){
            fprintf(stderr, "\n        %s\n", description);
            fprintf(stderr, "\n");
        }
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
movl %esi, %ebp
movq %rdi, %rbx
movq 0x6f16(%rip), %r14      # 0xdfe0
movq (%r14), %rdi
movq 0x8(%rbx), %rdx
movq 0x20(%rbx), %rcx
leaq 0x2a41(%rip), %rsi      # 0x9b1d
xorl %eax, %eax
callq 0x2250
movl 0x28(%rbx), %edx
movl %edx, %eax
negl %eax
movq (%r14), %rcx
jno 0x7103
leaq 0x2a39(%rip), %rdi      # 0x9b2f
pushq $0x4
popq %rsi
pushq $0x1
popq %rdx
callq 0x2320
jmp 0x7114
leaq 0x2a2a(%rip), %rsi      # 0x9b34
movq %rcx, %rdi
xorl %eax, %eax
callq 0x2250
movq (%r14), %rcx
leaq 0x2a1a(%rip), %rdi      # 0x9b38
pushq $0x4
popq %rsi
pushq $0x1
popq %rdx
callq 0x2320
movl 0x2c(%rbx), %edx
movq (%r14), %rcx
cmpl $0x7fffffff, %edx       # imm = 0x7FFFFFFF
jne 0x714b
leaq 0x29ff(%rip), %rdi      # 0x9b3d
pushq $0x4
popq %rsi
pushq $0x1
popq %rdx
callq 0x2320
jmp 0x715c
leaq 0x29e2(%rip), %rsi      # 0x9b34
movq %rcx, %rdi
xorl %eax, %eax
callq 0x2250
movq (%r14), %rdi
movl 0x30(%rbx), %edx
leaq 0x29d9(%rip), %rsi      # 0x9b42
xorl %eax, %eax
callq 0x2250
testb %bpl, %bpl
jne 0x717a
popq %rbx
popq %r14
popq %rbp
retq
movq (%r14), %rdi
movq 0x10(%rbx), %rdx
leaq 0x2980(%rip), %rsi      # 0x9b08
xorl %eax, %eax
callq 0x2250
movq (%r14), %rsi
pushq $0xa
popq %rdi
popq %rbx
popq %r14
popq %rbp
jmp 0x21d0
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/utils/Options.h
// Function: Minisat::BoolOption::parse(char const*)
virtual bool parse(const char* str){
        const char* span = str; 
        
        if (match(span, "-")){
            bool b = !match(span, "no-");

            if (strcmp(span, name) == 0){
                value = b;
                return true; }
        }

        return false;
    }

// Assembly:
pushq %rbp
pushq %r14
pushq %rbx
subq $0x10, %rsp
movq %rdi, %rbx
leaq 0x8(%rsp), %rdi
movq %rsi, (%rdi)
leaq 0x299c(%rip), %rsi      # 0x9b5c
callq 0x63bb
testb %al, %al
je 0x71ef
leaq 0x298a(%rip), %rsi      # 0x9b5a
leaq 0x8(%rsp), %r14
movq %r14, %rdi
callq 0x63bb
movl %eax, %ebp
movq (%r14), %rdi
movq 0x8(%rbx), %rsi
callq 0x2210
testl %eax, %eax
je 0x71fa
xorl %eax, %eax
addq $0x10, %rsp
popq %rbx
popq %r14
popq %rbp
retq
xorb $0x1, %bpl
movb %bpl, 0x28(%rbx)
movb $0x1, %al
jmp 0x71f1
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/utils/Options.h
// Function: Minisat::BoolOption::help(bool)
virtual void help (bool verbose = false){

        fprintf(stderr, "  -%s, -no-%s", name, name);

        for (uint32_t i = 0; i < 32 - strlen(name)*2; i++)
            fprintf(stderr, " ");

        fprintf(stderr, " ");
        fprintf(stderr, "(default: %s)\n", value ? "on" : "off");
        if (verbose){
            fprintf(stderr, "\n        %s\n", description);
            fprintf(stderr, "\n");
        }
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %esi, 0x4(%rsp)
movq %rdi, %rbx
movq 0x6dc1(%rip), %rax      # 0xdfe0
movq (%rax), %rdi
movq 0x8(%rbx), %rcx
leaq 0x2931(%rip), %rsi      # 0x9b5e
xorl %r12d, %r12d
movq %rcx, %rdx
xorl %eax, %eax
callq 0x2250
pushq $0x20
popq %r15
pushq $0x20
popq %r14
movl %r12d, %ebp
movq 0x8(%rbx), %rdi
callq 0x2090
addq %rax, %rax
movq %r15, %r13
subq %rax, %r13
movq 0x6d82(%rip), %rax      # 0xdfe0
movq (%rax), %rsi
movl %r14d, %edi
callq 0x21d0
incl %r12d
cmpq %rbp, %r13
ja 0x7242
movq 0x6d68(%rip), %rax      # 0xdfe0
movq (%rax), %rdi
leaq 0x2b9a(%rip), %rax      # 0x9e1c
leaq 0x28f2(%rip), %rdx      # 0x9b7b
cmpb $0x0, 0x28(%rbx)
cmovneq %rax, %rdx
leaq 0x28d4(%rip), %rsi      # 0x9b6c
xorl %eax, %eax
callq 0x2250
cmpb $0x0, 0x4(%rsp)
jne 0x72b5
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x6d24(%rip), %r14      # 0xdfe0
movq (%r14), %rdi
movq 0x10(%rbx), %rdx
leaq 0x283e(%rip), %rsi      # 0x9b08
xorl %eax, %eax
callq 0x2250
movq (%r14), %rsi
pushq $0xa
popq %rdi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
jmp 0x21d0
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Alloc.h
// Function: Minisat::RegionAllocator<unsigned int>::capacity(unsigned int)
void RegionAllocator<T>::capacity(uint32_t min_cap)
{
    if (cap >= min_cap) return;

    uint32_t prev_cap = cap;
    while (cap < min_cap){
        // NOTE: Multiply by a factor (13/8) without causing overflow, then add 2 and make the
        // result even by clearing the least significant bit. The resulting sequence of capacities
        // is carefully chosen to hit a maximum capacity that is close to the '2^32-1' limit when
        // using 'uint32_t' as indices so that as much as possible of this space can be used.
        uint32_t delta = ((cap >> 1) + (cap >> 3) + 2) & ~1;
        cap += delta;

        if (cap <= prev_cap)
            throw OutOfMemoryException();
    }
    // printf(" .. (%p) cap = %u\n", this, cap);

    assert(cap > 0);
    memory = (T*)xrealloc(memory, sizeof(T)*cap);
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl 0xc(%rdi), %eax
cmpl %esi, %eax
jae 0x7390
movq %rdi, %rbx
movl %eax, %ecx
cmpl %esi, %ecx
jae 0x736d
movl %ecx, %edx
shrl %edx
movl %ecx, %edi
shrl $0x3, %edi
addl %edx, %edi
andl $-0x2, %edi
addl %edi, %ecx
addl $0x2, %ecx
movl %ecx, 0xc(%rbx)
cmpl %eax, %ecx
ja 0x7336
pushq $0x1
popq %rdi
callq 0x20a0
leaq 0x68dd(%rip), %rsi      # 0xdc40
movq %rax, %rdi
xorl %edx, %edx
callq 0x22b0
movq (%rbx), %rdi
movl %ecx, %esi
shlq $0x2, %rsi
callq 0x22a0
movq %rax, %r14
testq %rax, %rax
jne 0x738d
callq 0x2040
cmpl $0xc, (%rax)
je 0x7354
movq %r14, (%rbx)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Alloc.h
// Function: Minisat::RegionAllocator<unsigned int>::alloc(int)
typename RegionAllocator<T>::Ref
RegionAllocator<T>::alloc(int size)
{ 
    // printf("ALLOC called (this = %p, size = %d)\n", this, size); fflush(stdout);
    assert(size > 0);
    capacity(sz + size);

    uint32_t prev_sz = sz;
    sz += size;
    
    // Handle overflow:
    if (sz < prev_sz)
        throw OutOfMemoryException();

    return prev_sz;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movl %esi, %ebx
movq %rdi, %r14
movl 0x8(%rdi), %esi
addl %ebx, %esi
callq 0x7326
movl 0x8(%r14), %eax
addl %eax, %ebx
movl %ebx, 0x8(%r14)
jb 0x74ad
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x1
popq %rdi
callq 0x20a0
leaq 0x6784(%rip), %rsi      # 0xdc40
movq %rax, %rdi
xorl %edx, %edx
callq 0x22b0
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/core/SolverTypes.h
// Function: Minisat::Clause::Clause(Minisat::vec<Minisat::Lit, int> const&, bool, bool)
Clause(const vec<Lit>& ps, bool use_extra, bool learnt) {
        header.mark      = 0;
        header.learnt    = learnt;
        header.has_extra = use_extra;
        header.reloced   = 0;
        header.size      = ps.size();

        for (int i = 0; i < ps.size(); i++) 
            data[i].lit = ps[i];

        if (header.has_extra){
            if (header.learnt)
                data[header.size].act = 0;
            else
                calcAbstraction();
    }
    }

// Assembly:
movl (%rdi), %eax
andl $-0x20, %eax
leal (%rax,%rdx,8), %eax
leal (%rax,%rcx,4), %eax
movl %eax, (%rdi)
movl 0x8(%rsi), %eax
movl %eax, %r8d
shll $0x5, %r8d
leal (%r8,%rdx,8), %r8d
leal (%r8,%rcx,4), %r8d
movl %r8d, (%rdi)
movq (%rsi), %r8
xorl %r9d, %r9d
movslq 0x8(%rsi), %r10
cmpq %r10, %r9
jge 0x7505
movl (%r8,%r9,4), %r10d
movl %r10d, 0x4(%rdi,%r9,4)
incq %r9
jmp 0x74ee
testb %dl, %dl
je 0x751b
testb %cl, %cl
je 0x751c
andl $0x7ffffff, %eax        # imm = 0x7FFFFFF
andl $0x0, 0x4(%rdi,%rax,4)
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/core/SolverTypes.h
// Function: Minisat::Clause::calcAbstraction()
void calcAbstraction() {
        assert(header.has_extra);
        uint32_t abstraction = 0;
        for (int i = 0; i < size(); i++)
            abstraction |= 1 << (var(data[i].lit) & 31);
        data[header.size].abs = abstraction;  }

// Assembly:
movl (%rdi), %eax
shrl $0x5, %eax
xorl %ecx, %ecx
xorl %edx, %edx
cmpq %rcx, %rax
je 0x753a
movb 0x4(%rdi,%rcx,4), %sil
shrb %sil
btsl %esi, %edx
incq %rcx
jmp 0x7525
movl %edx, 0x4(%rdi,%rax,4)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Heap.h
// Function: Minisat::Heap<int, Minisat::Solver::VarOrderLt, Minisat::MkIndexDefault<int>>::insert(int)
void insert(K k)
    {
        indices.reserve(k, -1);
        assert(!inHeap(k));

        indices[k] = heap.size();
        heap.push(k);
        percolateUp(indices[k]);
    }

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x10, %rsp
movl %esi, %ebx
movq %rdi, %r14
leaq 0xc(%rsp), %r15
movl %esi, (%r15)
addq $0x10, %rdi
pushq $-0x1
popq %rdx
callq 0x7598
movl 0x8(%r14), %eax
movq 0x10(%r14), %rcx
movslq %ebx, %rdx
movl %eax, (%rcx,%rdx,4)
movq %r14, %rdi
movq %r15, %rsi
callq 0x665a
movslq (%r15), %rax
movq 0x10(%r14), %rcx
movl (%rcx,%rax,4), %esi
movq %r14, %rdi
callq 0x75ac
addq $0x10, %rsp
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Vec.h
// Function: Minisat::vec<int, int>::growTo(int, int const&)
void vec<T,_Size>::growTo(Size size, const T& pad) {
    if (sz >= size) return;
    capacity(size);
    for (Size i = sz; i < size; i++) data[i] = pad;
    sz = size; }

// Assembly:
cmpl %esi, 0x8(%rdi)
jge 0x7634
pushq %r15
pushq %r14
pushq %rbx
movq %rdx, %r14
movl %esi, %ebx
movq %rdi, %r15
callq 0x7636
movslq 0x8(%r15), %rax
movq (%r15), %rcx
movslq %ebx, %rdx
cmpq %rdx, %rax
jge 0x762b
movl (%r14), %esi
movl %esi, (%rcx,%rax,4)
incq %rax
jmp 0x761b
movl %ebx, 0x8(%r15)
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/core/SolverTypes.h
// Function: Minisat::ClauseAllocator::alloc(Minisat::Clause const&)
CRef alloc(const Clause& from)
    {
        bool use_extra = from.learnt() | extra_clause_field;
        CRef cid       = ra.alloc(clauseWord32Size(from.size(), use_extra));
        new (lea(cid)) Clause(from, use_extra);
        return cid; }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movl (%rsi), %eax
movzbl 0x18(%rdi), %ecx
movl %eax, %r15d
shrl $0x2, %r15d
andl $0x1, %r15d
orl %ecx, %r15d
shrl $0x5, %eax
leal (%rax,%r15), %esi
incl %esi
callq 0x7486
movl %eax, %ebp
movl %eax, %edi
shlq $0x2, %rdi
addq (%r14), %rdi
movq %rbx, %rsi
movl %r15d, %edx
callq 0x77e2
movl %ebp, %eax
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/core/SolverTypes.h
// Function: Minisat::Clause::Clause(Minisat::Clause const&, bool)
Clause(const Clause& from, bool use_extra){
        header           = from.header;
        header.has_extra = use_extra;   // NOTE: the copied clause may lose the extra field.

        for (int i = 0; i < from.size(); i++)
            data[i].lit = from[i];

        if (header.has_extra){
            if (header.learnt)
                data[header.size].act = from.data[header.size].act;
            else 
                data[header.size].abs = from.data[header.size].abs;
    }
    }

// Assembly:
movl (%rsi), %eax
movl %eax, %ecx
andl $-0x9, %ecx
leal (%rcx,%rdx,8), %ecx
movl %ecx, (%rdi)
xorl %ecx, %ecx
movl (%rsi), %r8d
shrl $0x5, %r8d
cmpq %r8, %rcx
jae 0x780b
movl 0x4(%rsi,%rcx,4), %r8d
movl %r8d, 0x4(%rdi,%rcx,4)
incq %rcx
jmp 0x77f0
testb %dl, %dl
je 0x7823
movl %eax, %ecx
shrl $0x5, %ecx
shll $0x2, %ecx
testb $0x4, %al
jne 0x7824
movl 0x4(%rsi,%rcx), %eax
movl %eax, 0x4(%rdi,%rcx)
retq
movss 0x4(%rsi,%rcx), %xmm0
movss %xmm0, 0x4(%rdi,%rcx)
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Alloc.h
// Function: Minisat::RegionAllocator<unsigned int>::moveTo(Minisat::RegionAllocator<unsigned int>&)
void     moveTo(RegionAllocator& to) {
        if (to.memory != NULL) ::free(to.memory);
        to.memory = memory;
        to.sz = sz;
        to.cap = cap;
        to.wasted_ = wasted_;

        memory = NULL;
        sz = cap = wasted_ = 0;
    }

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
movq (%rsi), %rdi
callq 0x21b0
movq (%r14), %rax
movq %rax, (%rbx)
movq 0x8(%r14), %rax
movq %rax, 0x8(%rbx)
movl 0x10(%r14), %eax
movl %eax, 0x10(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, (%r14)
andl $0x0, 0x10(%r14)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Sort.h
// Function: void Minisat::sort<Minisat::Lit, Minisat::LessThan_default<Minisat::Lit>>(Minisat::Lit*, int, Minisat::LessThan_default<Minisat::Lit>)
void sort(T* array, int size, LessThan lt)
{
    if (size <= 15)
        selectionSort(array, size, lt);

    else{
        T           pivot = array[size / 2];
        T           tmp;
        int         i = -1;
        int         j = size;

        for(;;){
            do i++; while(lt(array[i], pivot));
            do j--; while(lt(pivot, array[j]));

            if (i >= j) break;

            tmp = array[i]; array[i] = array[j]; array[j] = tmp;
        }

        sort(array    , i     , lt);
        sort(&array[i], size-i, lt);
    }
}

// Assembly:
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
pushq %rax
movl %esi, %ebx
pushq $-0x1
popq %r15
cmpl $0xf, %ebx
jle 0x7c13
movl %ebx, %eax
shrl %eax
movl (%rdi,%rax,4), %eax
movl %ebx, %ecx
movq %r15, %r14
movslq %r14d, %r14
leaq (%rdi,%r14,4), %r12
incq %r14
movl 0x4(%r12), %edx
addq $0x4, %r12
cmpl %eax, %edx
jl 0x7bd7
movslq %ecx, %rcx
movl -0x4(%rdi,%rcx,4), %esi
decq %rcx
cmpl %esi, %eax
jl 0x7bea
cmpq %rcx, %r14
jge 0x7c03
movl %esi, (%r12)
movl %edx, (%rdi,%rcx,4)
jmp 0x7bd0
movl %r14d, %esi
callq 0x7bb1
subl %r14d, %ebx
movq %r12, %rdi
jmp 0x7bbf
movl %ebx, %esi
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
jmp 0x7c25
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Sort.h
// Function: void Minisat::selectionSort<Minisat::Lit, Minisat::LessThan_default<Minisat::Lit>>(Minisat::Lit*, int, Minisat::LessThan_default<Minisat::Lit>)
void selectionSort(T* array, int size, LessThan lt)
{
    int     i, j, best_i;
    T       tmp;

    for (i = 0; i < size-1; i++){
        best_i = i;
        for (j = i+1; j < size; j++){
            if (lt(array[j], array[best_i]))
                best_i = j;
        }
        tmp = array[i]; array[i] = array[best_i]; array[best_i] = tmp;
    }
}

// Assembly:
pushq %rbx
cmpl $0x2, %esi
movl $0x1, %eax
cmovgel %esi, %eax
decl %eax
movl %esi, %ecx
movabsq $0x1, %rdx
xorl %esi, %esi
cmpq %rax, %rsi
je 0x7c84
movq %rdx, %r8
movl %esi, %r9d
movslq %r9d, %r10
cmpq %r8, %rcx
je 0x7c6c
movl (%rdi,%r8,4), %ebx
movl %r8d, %r11d
cmpl (%rdi,%r10,4), %ebx
jl 0x7c64
movl %r9d, %r11d
incq %r8
movl %r11d, %r9d
jmp 0x7c4c
movl (%rdi,%rsi,4), %r8d
movl (%rdi,%r10,4), %r9d
movl %r9d, (%rdi,%rsi,4)
incq %rsi
movl %r8d, (%rdi,%r10,4)
incq %rdx
jmp 0x7c41
popq %rbx
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/mtl/Heap.h
// Function: Minisat::Heap<int, Minisat::Solver::VarOrderLt, Minisat::MkIndexDefault<int>>::percolateDown(int)
void percolateDown(int i)
    {
        K x = heap[i];
        while (left(i) < heap.size()){
            int child = right(i) < heap.size() && lt(heap[right(i)], heap[left(i)]) ? right(i) : left(i);
            if (!lt(heap[child], x)) break;
            heap[i]          = heap[child];
            indices[heap[i]] = i;
            i                = child;
        }
        heap   [i] = x;
        indices[x] = i;
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq (%rdi), %rax
movq 0x10(%rdi), %rcx
movslq %esi, %rdx
movl (%rax,%rdx,4), %edx
movq 0x28(%rdi), %r8
movslq %edx, %rdx
leal 0x1(,%rsi,2), %r10d
movl 0x8(%rdi), %r11d
movslq %esi, %r9
cmpl %r11d, %r10d
jge 0x7df9
leal (%rsi,%rsi), %ebp
addl $0x2, %ebp
movslq %r10d, %rbx
cmpl %r11d, %ebp
jge 0x7dd5
movslq %ebp, %r11
movl (%rax,%r11,4), %r15d
movl (%rax,%rbx,4), %r11d
movq (%r8), %rbx
movslq %r15d, %r12
movsd (%rbx,%r12,8), %xmm1
movslq %r11d, %r14
movsd (%rbx,%r14,8), %xmm0
ucomisd %xmm0, %xmm1
jbe 0x7de5
movq %r12, %r14
movapd %xmm1, %xmm0
movl %r15d, %r11d
movl %ebp, %r10d
jmp 0x7de5
movl (%rax,%rbx,4), %r11d
movq (%r8), %rbx
movslq %r11d, %r14
movsd (%rbx,%r14,8), %xmm0
ucomisd (%rbx,%rdx,8), %xmm0
jbe 0x7df9
movl %r11d, (%rax,%r9,4)
movl %esi, (%rcx,%r14,4)
movl %r10d, %esi
jmp 0x7d7e
movl %edx, (%rax,%r9,4)
movl %esi, (%rcx,%rdx,4)
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/./minisat/core/SolverTypes.h
// Function: Minisat::OccLists<Minisat::Lit, Minisat::vec<Minisat::Solver::Watcher, int>, Minisat::Solver::WatcherDeleted, Minisat::MkIndexLit>::clean(Minisat::Lit const&)
void OccLists<K,Vec,Deleted,MkIndex>::clean(const K& idx)
{
    Vec& vec = occs[idx];
    int  i, j;
    for (i = j = 0; i < vec.size(); i++)
        if (!deleted(vec[i]))
            vec[j++] = vec[i];
    vec.shrink(i - j);
    dirty[idx] = 0;
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
movslq (%rsi), %rdi
shlq $0x4, %rdi
addq (%rbx), %rdi
xorl %esi, %esi
xorl %eax, %eax
movslq 0x8(%rdi), %rcx
cmpq %rcx, %rsi
jge 0x7ec5
movq (%rdi), %rcx
movq 0x40(%rbx), %rdx
movl (%rcx,%rsi,8), %r8d
movq (%rdx), %rdx
movl (%rdx,%r8,4), %edx
andl $0x3, %edx
cmpl $0x1, %edx
je 0x7ec0
movslq %eax, %rdx
incl %eax
movq (%rcx,%rsi,8), %r8
movq %r8, (%rcx,%rdx,8)
incq %rsi
jmp 0x7e90
subl %eax, %esi
callq 0x6a92
movslq (%r14), %rax
movq 0x18(%rbx), %rcx
movb $0x0, (%rcx,%rax)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/minisat/utils/System.cc
// Function: Minisat::memUsed()
static inline int memReadStat(int field)
{
    char  name[256];
    pid_t pid = getpid();
    int   value;

    sprintf(name, "/proc/%d/statm", pid);
    FILE* in = fopen(name, "rb");
    if (in == NULL) return 0;

    for (; field >= 0; field--)
        if (fscanf(in, "%d", &value) != 1)
            printf("ERROR! Failed to parse memory statistics from \"/proc\".\n"), exit(1);
    fclose(in);
    return value;
}

// Assembly:
pushq %rbx
subq $0x110, %rsp            # imm = 0x110
callq 0x2260
leaq 0x1c58(%rip), %rsi      # 0x9d78
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
movl %eax, %edx
xorl %eax, %eax
callq 0x2060
leaq 0x1c4f(%rip), %rsi      # 0x9d87
movq %rbx, %rdi
callq 0x2190
testq %rax, %rax
je 0x8173
movq %rax, %rbx
leaq 0xfd5(%rip), %rsi       # 0x9124
leaq 0x4(%rsp), %rdx
movq %rax, %rdi
xorl %eax, %eax
callq 0x2310
cmpl $0x1, %eax
jne 0x819d
movq %rbx, %rdi
callq 0x2130
cvtsi2sdl 0x4(%rsp), %xmm0
jmp 0x8177
xorpd %xmm0, %xmm0
movsd %xmm0, 0x8(%rsp)
callq 0x22e0
cvtsi2sd %eax, %xmm0
mulsd 0x8(%rsp), %xmm0
mulsd 0x1bd4(%rip), %xmm0     # 0x9d68
addq $0x110, %rsp            # imm = 0x110
popq %rbx
retq
leaq 0x1c04(%rip), %rdi      # 0x9da8
callq 0x2270
pushq $0x1
popq %rdi
callq 0x21c0
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/minisat/utils/System.cc
// Function: Minisat::limitMemory(unsigned long)
void Minisat::limitMemory(uint64_t max_mem_mb)
{
// FIXME: OpenBSD does not support RLIMIT_AS. Not sure how well RLIMIT_DATA works instead.
#if defined(__OpenBSD__)
#define RLIMIT_AS RLIMIT_DATA
#endif

    // Set limit on virtual memory:
    if (max_mem_mb != 0){
        rlim_t new_mem_lim = (rlim_t)max_mem_mb * 1024*1024;
        rlimit rl;
        getrlimit(RLIMIT_AS, &rl);
        if (rl.rlim_max == RLIM_INFINITY || new_mem_lim < rl.rlim_max){
            rl.rlim_cur = new_mem_lim;
            if (setrlimit(RLIMIT_AS, &rl) == -1)
                printf("WARNING! Could not set resource limit: Virtual memory.\n");
        }
    }

#if defined(__OpenBSD__)
#undef RLIMIT_AS
#endif
}

// Assembly:
testq %rdi, %rdi
je 0x8303
pushq %r14
pushq %rbx
subq $0x18, %rsp
movq %rdi, %rbx
shlq $0x14, %rbx
pushq $0x9
popq %rdi
leaq 0x8(%rsp), %r14
movq %r14, %rsi
callq 0x2220
cmpq 0x8(%r14), %rbx
jae 0x82fc
leaq 0x8(%rsp), %rsi
movq %rbx, (%rsi)
pushq $0x9
popq %rdi
callq 0x2110
cmpl $-0x1, %eax
jne 0x82fc
leaq 0x1b28(%rip), %rdi      # 0x9e1f
callq 0x2270
addq $0x18, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/biotomas[P]ipasir/sat/minisat220/minisat-220/minisat/utils/System.cc
// Function: Minisat::limitTime(unsigned int)
void Minisat::limitTime(uint32_t max_cpu_time)
{
    if (max_cpu_time != 0){
        rlimit rl;
        getrlimit(RLIMIT_CPU, &rl);
        if (rl.rlim_max == RLIM_INFINITY || (rlim_t)max_cpu_time < rl.rlim_max){
            rl.rlim_cur = max_cpu_time;
            if (setrlimit(RLIMIT_CPU, &rl) == -1)
                printf("WARNING! Could not set resource limit: CPU-time.\n");
        }
    }
}

// Assembly:
testl %edi, %edi
je 0x834f
pushq %r14
pushq %rbx
subq $0x18, %rsp
movl %edi, %ebx
leaq 0x8(%rsp), %r14
xorl %edi, %edi
movq %r14, %rsi
callq 0x2220
movl %ebx, %eax
cmpq %rax, 0x8(%r14)
jbe 0x8348
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
xorl %edi, %edi
callq 0x2110
cmpl $-0x1, %eax
jne 0x8348
leaq 0x1b13(%rip), %rdi      # 0x9e56
callq 0x2270
addq $0x18, %rsp
popq %rbx
popq %r14
retq
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/./klotski_board.h
// Function: klotski_board::klotski_board<std::vector<int, std::allocator<int>>>(std::vector<int, std::allocator<int>> const&, int, int)
klotski_board::klotski_board(const T& situation_array, int dx, int dy):
	dx(dx), dy(dy),
	x_distribution(std::uniform_int_distribution<>(0, dx-1)),
	y_distribution(std::uniform_int_distribution<>(0, dy-1)){
		resize_board_to_fit();
		auto const_array_iterator = situation_array.cbegin();
		for(auto& i: situation){
			for(auto& n: i){
				if(const_array_iterator != situation_array.cend()){
					n = *const_array_iterator++;
				}else{
					throw std::invalid_argument("situation array is not fit");
				}
			}
		}
	}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rsi, %r14
movq %rdi, %rbx
leaq 0xa278(%rip), %rax      # 0xfca0
addq $0x10, %rax
movq %rax, (%rdi)
movl %edx, 0x8(%rdi)
movl %ecx, 0xc(%rdi)
decl %edx
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, 0x20(%rdi)
andl $0x0, 0x30(%rdi)
movl %edx, 0x34(%rdi)
andl $0x0, 0x38(%rdi)
decl %ecx
movl %ecx, 0x3c(%rdi)
movabsq $0x3fe0000000000000, %rax # imm = 0x3FE0000000000000
movq %rax, 0x40(%rdi)
callq 0x5f9a
movq (%r14), %rax
movq 0x18(%rbx), %rcx
movq 0x20(%rbx), %rdx
cmpq %rdx, %rcx
je 0x5aa0
movq (%rcx), %rsi
movq 0x8(%rcx), %rdi
movq 0x8(%r14), %r8
cmpq %rdi, %rsi
je 0x5a9a
cmpq %r8, %rax
je 0x5aa6
movl (%rax), %r9d
addq $0x4, %rax
movl %r9d, (%rsi)
addq $0x4, %rsi
jmp 0x5a80
addq $0x18, %rcx
jmp 0x5a70
popq %rbx
popq %r14
popq %r15
retq
pushq $0x10
popq %rdi
callq 0x3100
movq %rax, %r15
leaq 0x4a1e(%rip), %rsi      # 0xa4d6
movq %rax, %rdi
callq 0x33e0
movq 0xa509(%rip), %rsi      # 0xffd0
movq 0xa4ea(%rip), %rdx      # 0xffb8
movq %r15, %rdi
callq 0x33a0
jmp 0x5ad8
movq %rax, %r14
jmp 0x5ae8
movq %rax, %r14
movq %r15, %rdi
callq 0x31a0
addq $0x18, %rbx
movq %rbx, %rdi
callq 0x4f26
movq %r14, %rdi
callq 0x33c0
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::resize_board_to_fit()
void klotski_board::resize_board_to_fit(){
	situation.resize(dy);
	situation.shrink_to_fit();
	std::for_each(situation.begin(), situation.end(),
			[this](std::vector<int>& vec){vec.resize(dx); vec.shrink_to_fit();});
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
movq %rdi, %rbx
leaq 0x18(%rdi), %r14
movslq 0xc(%rdi), %rsi
movq %r14, %rdi
callq 0x6e5c
movq %r14, %rdi
callq 0x5388
movq 0x18(%rbx), %r14
movq 0x20(%rbx), %r15
cmpq %r15, %r14
je 0x5fe1
movslq 0x8(%rbx), %rsi
movq %r14, %rdi
callq 0x79ba
movq %r14, %rdi
callq 0x7b24
addq $0x18, %r14
jmp 0x5fc2
popq %rbx
popq %r14
popq %r15
retq
nop
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::klotski_board(std::basic_fstream<char, std::char_traits<char>>&, int, int)
klotski_board::klotski_board(std::fstream& file, int dx, int dy):
	dx(dx), dy(dy),
	x_distribution(std::uniform_int_distribution<>(0, dx-1)),
	y_distribution(std::uniform_int_distribution<>(0, dy-1)){
		if(!file.is_open()){
			throw std::runtime_error("file is not open");
		}
		resize_board_to_fit();
		for(auto& i:situation){
			for(int& n: i){
				if(file.eof()){
					throw std::runtime_error("file is not fit");
				}
				file>>n;
				if(file.fail()){
					throw std::runtime_error("file is not a valid board file");
				}

			}
		}
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movq %rsi, %r14
movq %rdi, %rbx
leaq 0x9cb0(%rip), %rax      # 0xfcb0
movq %rax, (%rdi)
movl %edx, 0x8(%rdi)
movl %ecx, 0xc(%rdi)
decl %edx
xorps %xmm0, %xmm0
movups %xmm0, 0x10(%rdi)
movups %xmm0, 0x20(%rdi)
andl $0x0, 0x30(%rdi)
movl %edx, 0x34(%rdi)
decl %ecx
andl $0x0, 0x38(%rdi)
movl %ecx, 0x3c(%rdi)
movabsq $0x3fe0000000000000, %rax # imm = 0x3FE0000000000000
movq %rax, 0x40(%rdi)
leaq 0x80(%rsi), %rdi
callq 0x3060
testb %al, %al
je 0x60fb
movq %rbx, %rdi
callq 0x5f9a
movq 0x18(%rbx), %r12
movq 0x20(%rbx), %r13
cmpq %r13, %r12
je 0x60a0
movq (%r12), %r15
movq 0x8(%r12), %rbp
cmpq %rbp, %r15
je 0x609a
movq (%r14), %rax
movq -0x18(%rax), %rax
testb $0x2, 0x20(%r14,%rax)
jne 0x60cb
movq %r14, %rdi
movq %r15, %rsi
callq 0x3150
movq (%r14), %rax
movq -0x18(%rax), %rax
addq $0x4, %r15
testb $0x5, 0x20(%r14,%rax)
je 0x6066
jmp 0x60af
addq $0x18, %r12
jmp 0x6058
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
pushq $0x10
popq %rdi
callq 0x3100
movq %rax, %r15
leaq 0x42d5(%rip), %rsi      # 0xa396
movq %rax, %rdi
callq 0x30a0
jmp 0x60e5
pushq $0x10
popq %rdi
callq 0x3100
movq %rax, %r15
leaq 0x45c5(%rip), %rsi      # 0xa6a2
movq %rax, %rdi
callq 0x30a0
movq 0x9f04(%rip), %rsi      # 0xfff0
movq 0x9e9d(%rip), %rdx      # 0xff90
movq %r15, %rdi
callq 0x33a0
pushq $0x10
popq %rdi
callq 0x3100
movq %rax, %r15
leaq 0x4584(%rip), %rsi      # 0xa691
movq %rax, %rdi
callq 0x30a0
movq 0x9ed4(%rip), %rsi      # 0xfff0
movq 0x9e6d(%rip), %rdx      # 0xff90
movq %r15, %rdi
callq 0x33a0
jmp 0x6131
jmp 0x6140
jmp 0x6131
movq %rax, %r14
movq %r15, %rdi
callq 0x31a0
jmp 0x6143
jmp 0x6140
movq %rax, %r14
addq $0x18, %rbx
movq %rbx, %rdi
callq 0x4f26
movq %r14, %rdi
callq 0x33c0
nop
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::reset()
void klotski_board::reset() noexcept{
	resize_board_to_fit();
	int inc = 1;
	for(auto& i: situation){
		for(int& n: i){
			n = inc++;
		}
	}
	situation[dy - 1][dx - 1] = 0;
	zero_x = dx - 1;
	zero_y = dy - 1;
}

// Assembly:
pushq %rbx
movq %rdi, %rbx
callq 0x5f9a
movq 0x18(%rbx), %rax
movq 0x20(%rbx), %rcx
pushq $0x1
popq %rdx
movq %rax, %rsi
cmpq %rcx, %rsi
je 0x61d0
movq (%rsi), %rdi
movq 0x8(%rsi), %r8
cmpq %r8, %rdi
je 0x61ca
movl %edx, (%rdi)
incl %edx
addq $0x4, %rdi
jmp 0x61bb
addq $0x18, %rsi
jmp 0x61af
movslq 0xc(%rbx), %rcx
imulq $0x18, %rcx, %rcx
movslq 0x8(%rbx), %rdx
movq -0x18(%rax,%rcx), %rax
andl $0x0, -0x4(%rax,%rdx,4)
movq 0x8(%rbx), %xmm0
pcmpeqd %xmm1, %xmm1
paddd %xmm0, %xmm1
movq %xmm1, 0x10(%rbx)
popq %rbx
retq
movq %rax, %rdi
callq 0x497f
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::upset(int)
void klotski_board::upset(int depth) noexcept{
	bool is_horizontal = orientation_distribution(random_engine);
	for (int i = 0; i < depth; ++i) {
		if(is_horizontal){
			while(!move_item(x_distribution(random_engine), zero_y));
		}else{
			while(!move_item(zero_x, y_distribution(random_engine)));
		}
		is_horizontal = !is_horizontal;
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %esi, %ebx
movq %rdi, %r14
addq $0x40, %rdi
leaq 0xa183(%rip), %rsi      # 0x103a0
callq 0x6dde
movb %al, 0x3(%rsp)
leaq 0x38(%r14), %r15
leaq 0x30(%r14), %r12
xorl %ebp, %ebp
testl %ebx, %ebx
cmovlel %ebp, %ebx
movl %ebx, 0x4(%rsp)
leaq 0xa160(%rip), %r13      # 0x103a0
cmpl 0x4(%rsp), %ebp
je 0x6294
testb $0x1, 0x3(%rsp)
je 0x626c
movq %r12, %rdi
movq %r13, %rsi
callq 0x6df8
movl 0x14(%r14), %edx
movq (%r14), %rcx
movq %r14, %rdi
movl %eax, %esi
callq *(%rcx)
testb %al, %al
je 0x624d
jmp 0x628b
movl 0x10(%r14), %ebx
movq %r15, %rdi
movq %r13, %rsi
callq 0x6df8
movq (%r14), %rcx
movq %r14, %rdi
movl %ebx, %esi
movl %eax, %edx
callq *(%rcx)
testb %al, %al
je 0x626c
xorb $0x1, 0x3(%rsp)
incl %ebp
jmp 0x6240
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x62a7
jmp 0x62a7
movq %rax, %rdi
callq 0x497f
nop
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::print_line(int, int, std::ostream&)
void klotski_board::print_line(int dx, int space_n, std::ostream& os) noexcept{
	os<<std::setw(space_n)<<" ";
	for(int j=0; j<dx; ++j){
		os<<std::setw(space_n+1)<<std::setfill('-')<<"+";
	}
	os<<'+'<<std::endl<<std::setfill(' ');
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
movq %rdx, %rbx
movl %esi, %r14d
movl %edi, %ebp
movq (%rdx), %rax
movq -0x18(%rax), %rax
movslq %esi, %rcx
movq %rcx, 0x10(%rdx,%rax)
leaq 0x3e2b(%rip), %rsi      # 0xa3f9
movq %rdx, %rdi
callq 0x3240
incl %r14d
movslq %r14d, %r15
xorl %r12d, %r12d
testl %ebp, %ebp
cmovgl %ebp, %r12d
pushq $0x2d
popq %rbp
leaq 0x40c3(%rip), %r14      # 0xa6b2
subl $0x1, %r12d
jb 0x6618
movq (%rbx), %rax
movq -0x18(%rax), %rax
movq %r15, 0x10(%rbx,%rax)
movq %rbx, %rdi
movl %ebp, %esi
callq 0x3340
movq %rax, %rdi
movq %r14, %rsi
callq 0x3240
jmp 0x65ef
pushq $0x2b
popq %rsi
movq %rbx, %rdi
callq 0x3280
movq %rax, %rdi
callq 0x30f0
pushq $0x20
popq %rsi
movq %rax, %rdi
callq 0x3340
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
jmp 0x6641
movq %rax, %rdi
callq 0x497f
nop
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::move_item(int, int)
bool klotski_board::move_item(int x, int y){
	auto info = get_pos_info(x, y);
	if(info->is_item_can_move){
		if(info->zero_distance != 1){
			if(info->Orientation == pos_info::Horizontal){
				move_item(x, info->is_zero_in_top_or_left?y-1:y+1);
			}else{
				move_item(info->is_zero_in_top_or_left?x-1:x+1, y);
			}
		}
		std::swap(situation[y][x], get_zero());
		zero_x = x;
		zero_y = y;
		return true;
	}
	return false;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r12
pushq %rbx
subq $0x10, %rsp
movl %edx, %ebx
movl %esi, %ebp
movq %rdi, %r14
movq %rsp, %r15
movq %r15, %rdi
movq %r14, %rsi
movl %ebp, %edx
movl %ebx, %ecx
callq 0x6700
movq (%r15), %rax
movb 0x5(%rax), %r15b
cmpb $0x1, %r15b
jne 0x66d1
cmpl $0x1, 0x8(%rax)
je 0x66a3
movl (%rax), %esi
movzbl 0x4(%rax), %eax
negl %eax
orl $0x1, %eax
xorl %edx, %edx
testl %esi, %esi
movq (%r14), %rcx
cmovnel %eax, %esi
cmovel %eax, %edx
addl %ebp, %esi
addl %ebx, %edx
movq %r14, %rdi
callq *(%rcx)
movslq %ebx, %rax
movq 0x18(%r14), %rcx
imulq $0x18, %rax, %rax
movq (%rcx,%rax), %r12
movq %r14, %rdi
callq 0x681e
movslq %ebp, %rcx
movl (%r12,%rcx,4), %edx
movl (%rax), %esi
movl %esi, (%r12,%rcx,4)
movl %edx, (%rax)
movl %ebp, 0x10(%r14)
movl %ebx, 0x14(%r14)
leaq 0x8(%rsp), %rdi
callq 0x4a42
movl %r15d, %eax
addq $0x10, %rsp
popq %rbx
popq %r12
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x4a42
movq %rbx, %rdi
callq 0x33c0
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::get_pos_info(int, int) const
std::shared_ptr<klotski_board::pos_info> klotski_board::get_pos_info(int x, int y) const noexcept{
	auto info = std::make_shared<pos_info>();
	try{
		if(situation.at(y).at(x) == 0){
			info->is_item_can_move = false;
			return info;
		}
	}catch(const std::out_of_range&){
		info->is_item_can_move = false;
		return info;
	}
	for(int i=0; i<dy; ++i){
		if(situation[i][x] == 0){
			info->is_item_can_move = true;
			info->is_zero_in_top_or_left = y - i > 0;
			info->Orientation = pos_info::Horizontal;
			info->zero_distance = abs(y - i);
			zero_x = x;
			zero_y = i;
			return info;
		}
	}
	for(int i=0; i<dx; ++i){
		if(situation[y][i] == 0){
			info->is_item_can_move = true;
			info->is_zero_in_top_or_left = x - i > 0;
			info->Orientation = pos_info::Vertical;
			info->zero_distance = abs(x - i);
			zero_x = i;
			zero_y = y;
			return info;
		}
	}
	info->is_item_can_move = false;
	return info;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
movl %ecx, %r15d
movl %edx, %ebp
movq %rsi, %r14
movq %rdi, %rbx
callq 0x6e00
leaq 0x18(%r14), %rdi
movslq %r15d, %r12
movq %r12, %rsi
callq 0x6e1c
movslq %ebp, %r13
movq %rax, %rdi
movq %r13, %rsi
callq 0x6e3a
cmpl $0x0, (%rax)
je 0x678f
movl %r15d, %eax
movl 0xc(%r14), %esi
movq 0x18(%r14), %rcx
xorl %edx, %edx
testl %esi, %esi
cmovlel %edx, %esi
movq %rcx, %rdi
cmpq %rdx, %rsi
je 0x676a
movq (%rdi), %r8
cmpl $0x0, (%r8,%r13,4)
je 0x6798
incq %rdx
addq $0x18, %rdi
jmp 0x6752
movl 0x8(%r14), %esi
imulq $0x18, %r12, %rdx
addq %rdx, %rcx
xorl %edx, %edx
testl %esi, %esi
cmovlel %edx, %esi
cmpq %rdx, %rsi
je 0x678f
movq (%rcx), %rdi
cmpl $0x0, (%rdi,%rdx,4)
je 0x67c2
incq %rdx
jmp 0x677c
movq (%rbx), %rax
movb $0x0, 0x5(%rax)
jmp 0x67e9
movq (%rbx), %rax
movb $0x1, 0x5(%rax)
subl %edx, %r15d
testl %r15d, %r15d
setg 0x4(%rax)
andl $0x0, (%rax)
movl %r15d, %ecx
negl %ecx
cmovsl %r15d, %ecx
movl %ecx, 0x8(%rax)
movl %ebp, 0x10(%r14)
movl %edx, 0x14(%r14)
jmp 0x67e9
movq (%rbx), %rcx
movb $0x1, 0x5(%rcx)
subl %edx, %ebp
testl %ebp, %ebp
setg 0x4(%rcx)
movl %ebp, %esi
negl %esi
cmovsl %ebp, %esi
movl $0x1, (%rcx)
movl %esi, 0x8(%rcx)
movl %edx, 0x10(%r14)
movl %eax, 0x14(%r14)
movq %rbx, %rax
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
cmpl $0x2, %edx
jne 0x6816
movq %rax, %rdi
callq 0x30b0
movq (%rbx), %rax
movb $0x0, 0x5(%rax)
callq 0x3380
jmp 0x67e9
movq %rax, %rdi
callq 0x497f
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::get_zero()
int& klotski_board::get_zero(){
	if(situation[zero_y][zero_x] != 0){
		for(int i=0; i<dy; ++i){
			for(int j=0; j<dx; ++j){
				if(situation[i][j] == 0){
					zero_x = j;
					zero_y = i;
					return situation[i][j];
				}
			}
		}
	}else{
		return situation[zero_y][zero_x];
	}
	throw std::runtime_error("Can not find zero on klotski board");
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movslq 0x14(%rdi), %rax
movq 0x18(%rdi), %rcx
imulq $0x18, %rax, %rdx
movslq 0x10(%rdi), %rax
movq (%rcx,%rdx), %rdx
cmpl $0x0, (%rdx,%rax,4)
je 0x6890
movl 0x8(%rdi), %esi
movl 0xc(%rdi), %r8d
xorl %edx, %edx
testl %esi, %esi
cmovlel %edx, %esi
testl %r8d, %r8d
cmovlel %edx, %r8d
shlq $0x2, %rsi
cmpq %r8, %rdx
je 0x689c
imulq $0x18, %rdx, %r10
addq %rcx, %r10
xorl %r9d, %r9d
xorl %r11d, %r11d
cmpq %r11, %rsi
je 0x687f
movq (%r10), %rax
cmpl $0x0, (%rax,%r11)
je 0x6884
addq $0x4, %r11
incl %r9d
jmp 0x6867
incq %rdx
jmp 0x6855
addq %r11, %rax
movl %r9d, 0x10(%rdi)
movl %edx, 0x14(%rdi)
jmp 0x6894
leaq (%rdx,%rax,4), %rax
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0x3100
movq %rax, %rbx
leaq 0x3e08(%rip), %rsi      # 0xa6b6
movq %rax, %rdi
callq 0x30a0
movq 0x9733(%rip), %rsi      # 0xfff0
movq 0x96cc(%rip), %rdx      # 0xff90
movq %rbx, %rdi
callq 0x33a0
movq %rax, %r14
movq %rbx, %rdi
callq 0x31a0
movq %r14, %rdi
callq 0x33c0
nop
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::is_valid() const
bool klotski_board::is_valid() const{
	if(!is_nums_linear()){
		return false;
	}
	std::vector<int> linear_situation;
	for(const auto& i: situation){
		for(int j: i){
			linear_situation.push_back(j);
		}
	}

	int rn = 0;
	int situation_size = linear_situation.size();
	for (int i = 0; i < situation_size - 1; ++i) {
		if(linear_situation[i] == 0){
			continue;
		}
		for (int j = i + 1; j < situation_size; ++j) {
			if(linear_situation[j] != 0
					&&linear_situation[i] > linear_situation[j]){
				rn ^= 1;
			}
		}
	}

	if((dx & 1) == 0){
		update_zero_pos();
		rn ^= (dy - 1 - zero_y) & 1;
	}
	return rn == 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rdi, %rbx
movq (%rdi), %rax
callq *0x20(%rax)
testb %al, %al
je 0x69ad
xorps %xmm0, %xmm0
leaq 0x10(%rsp), %r14
andq $0x0, 0x10(%r14)
movaps %xmm0, (%r14)
movq 0x18(%rbx), %r12
movq %rbx, 0x8(%rsp)
movq 0x20(%rbx), %r13
leaq 0x4(%rsp), %r15
cmpq %r13, %r12
je 0x69b4
movq (%r12), %rbp
movq 0x8(%r12), %rbx
cmpq %rbx, %rbp
je 0x69a7
movl (%rbp), %eax
movl %eax, 0x4(%rsp)
movq %r14, %rdi
movq %r15, %rsi
callq 0x49ae
addq $0x4, %rbp
jmp 0x698a
addq $0x18, %r12
jmp 0x697c
xorl %ebx, %ebx
jmp 0x6a4b
movq 0x10(%rsp), %rax
movq 0x18(%rsp), %rcx
subq %rax, %rcx
shrq $0x2, %rcx
decl %ecx
xorl %edx, %edx
testl %ecx, %ecx
movl $0x0, %esi
cmovgl %ecx, %esi
leaq 0x4(%rax), %rdi
xorl %ebp, %ebp
movq 0x8(%rsp), %rbx
cmpq %rsi, %rdx
je 0x6a21
movl (%rax,%rdx,4), %r8d
testl %r8d, %r8d
je 0x6a15
xorl %r9d, %r9d
cmpq %r9, %rcx
je 0x6a15
movl (%rdi,%r9,4), %r10d
testl %r10d, %r10d
setne %r11b
cmpl %r10d, %r8d
setg %r10b
andb %r11b, %r10b
movzbl %r10b, %r10d
xorl %r10d, %ebp
incq %r9
jmp 0x69ef
incq %rdx
decq %rcx
addq $0x4, %rdi
jmp 0x69de
testb $0x1, 0x8(%rbx)
jne 0x6a3c
movq %rbx, %rdi
callq 0x6a74
movl 0x14(%rbx), %eax
notl %eax
addl 0xc(%rbx), %eax
andl $0x1, %eax
xorl %eax, %ebp
testl %ebp, %ebp
sete %bl
leaq 0x10(%rsp), %rdi
callq 0x509c
movl %ebx, %eax
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x6a5e
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x509c
movq %rbx, %rdi
callq 0x33c0
nop
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_board.cpp
// Function: klotski_board::update_zero_pos() const
void klotski_board::update_zero_pos() const{
	if(situation[zero_y][zero_x] == 0){
		return;
	}
	for (int i = 0; i < dy; ++i) {
		for (int j = 0; j < dx; ++j) {
			if(situation[i][j] == 0){
				zero_x = j;
				zero_y = i;
				return;
			}
		}
	}
	throw std::runtime_error("Can not find zero on klotski board");
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movslq 0x14(%rdi), %rcx
movq 0x18(%rdi), %rax
imulq $0x18, %rcx, %rcx
movslq 0x10(%rdi), %rdx
movq (%rax,%rcx), %rcx
cmpl $0x0, (%rcx,%rdx,4)
je 0x6ad3
movl 0x8(%rdi), %edx
xorl %ecx, %ecx
testl %edx, %edx
cmovlel %ecx, %edx
movl 0xc(%rdi), %esi
testl %esi, %esi
cmovlel %ecx, %esi
cmpq %rsi, %rcx
je 0x6adb
imulq $0x18, %rcx, %r8
addq %rax, %r8
xorl %r9d, %r9d
cmpq %r9, %rdx
je 0x6ac7
movq (%r8), %r10
cmpl $0x0, (%r10,%r9,4)
je 0x6acc
incq %r9
jmp 0x6ab3
incq %rcx
jmp 0x6aa4
movl %r9d, 0x10(%rdi)
movl %ecx, 0x14(%rdi)
addq $0x8, %rsp
popq %rbx
popq %r14
retq
pushq $0x10
popq %rdi
callq 0x3100
movq %rax, %rbx
leaq 0x3bc9(%rip), %rsi      # 0xa6b6
movq %rax, %rdi
callq 0x30a0
movq 0x94f4(%rip), %rsi      # 0xfff0
movq 0x948d(%rip), %rdx      # 0xff90
movq %rbx, %rdi
callq 0x33a0
movq %rax, %r14
movq %rbx, %rdi
callq 0x31a0
movq %r14, %rdi
callq 0x33c0
// File: /workspace/github_cpp_makefile_star2_O2/iTruth[P]klotski/klotski_search.cpp
// Function: klotski_search::build_route(klotski_search::record_item const&)
void klotski_search::build_route(const record_item& item){
	const record_item* cur_item = &item;
	last_route.clear();
	auto last_orientation = record_item::Undefined;
	while(cur_item != nullptr){
		if(cur_item->Orientation != last_orientation){
			last_route.push_front(cur_item->situation);
			last_orientation = cur_item->Orientation;
		}
		cur_item = cur_item->prev;
	}
}

// Assembly:
pushq %r14
pushq %rbx
pushq %rax
movq %rsi, %rbx
movq %rdi, %r14
addq $0x20, %r14
movq %r14, %rdi
callq 0x81fa
pushq $0x2
popq %rax
testq %rbx, %rbx
je 0x81cf
cmpl %eax, 0x18(%rbx)
je 0x81c9
movq %r14, %rdi
movq %rbx, %rsi
callq 0x82a4
movl 0x18(%rbx), %eax
movq 0x20(%rbx), %rbx
jmp 0x81b1
addq $0x8, %rsp
popq %rbx
popq %r14
retq
nop