// File: /workspace/github_cpp_makefile_star2_O1/iPapatsoris[P]Maximum-Independent-Set/src/Mis.hpp
// Function: Mis::expandIncludedNodes(std::vector<unsigned int, std::allocator<unsigned int>>&, std::vector<unsigned int, std::allocator<unsigned int>>&)
void expandIncludedNodes(std::vector<uint32_t> &set, std::vector<uint32_t> &finalMis) {
        for (uint32_t i = 0 ; i < set.size() ; i++) {
            auto subsequent = subsequentNodes.find(set[i]);
            if (subsequent != subsequentNodes.end()) {
                if (std::find(set.begin(), set.end(), subsequent->second) != set.end() || std::find(finalMis.begin(), finalMis.end(), subsequent->second) != finalMis.end()) {
                    subsequentNodes.erase(subsequent);
                } else {
                    set.push_back(subsequent->second);
                }
            }
            auto res = hypernodeToInnernode.find(set[i]);
            if (res == hypernodeToInnernode.end()) {
                finalMis.push_back(set[i]);
            } else {
                assert(res->second.outerLevel);
                for (auto node : res->second.neighbors) {
                    auto innerHypernode = hypernodeToInnernode.find(node);
                    if (innerHypernode != hypernodeToInnernode.end()) {
                        assert(!innerHypernode->second.outerLevel);
                        innerHypernode->second.outerLevel = true;
                    }
                    set.push_back(node);
                }
                for (auto node : res->second.nodes) {
                    auto innerHypernode = hypernodeToInnernode.find(node);
                    if (innerHypernode != hypernodeToInnernode.end()) {
                        assert(!innerHypernode->second.outerLevel);
                        innerHypernode->second.outerLevel = true;
                    }
                }
                hypernodeToInnernode.erase(res);
            }
        }
        set.clear();
    }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x28, %rsp
movq %rsi, %rbx
movq (%rsi), %rax
movq 0x8(%rsi), %rcx
cmpq %rax, %rcx
je 0x1876d
movq %rdi, %r15
movq %rdx, 0x10(%rsp)
leaq 0x50(%rdi), %rbp
leaq 0x18(%rdi), %rcx
movq %rcx, 0x18(%rsp)
xorl %r13d, %r13d
xorl %esi, %esi
movq %rbp, 0x20(%rsp)
movq %rsi, (%rsp)
leaq (%rax,%r13,4), %rcx
movl (%rcx), %r8d
movq %r8, %rax
xorl %edx, %edx
divq 0x58(%r15)
movq %rbp, %rdi
movq %rdx, %rsi
movq %rcx, %rdx
movq %r8, %rcx
callq 0xda58
movl $0x0, %r12d
testq %rax, %rax
je 0x184f3
movq (%rax), %r12
testq %r12, %r12
je 0x18541
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
leaq 0xc(%r12), %r14
movq %r14, %rdx
callq 0x187e2
cmpq 0x8(%rbx), %rax
jne 0x18536
movq 0x10(%rsp), %rbp
movq (%rbp), %rdi
movq 0x8(%rbp), %rsi
movq %r14, %rdx
callq 0x187e2
cmpq 0x8(%rbp), %rax
movq 0x20(%rsp), %rbp
je 0x18741
movq %rbp, %rdi
movq %r12, %rsi
callq 0x1887c
movq (%rbx), %rax
leaq (%rax,%r13,4), %rcx
movl (%rcx), %r8d
movq %r8, %rax
xorl %edx, %edx
divq 0x20(%r15)
movq 0x18(%rsp), %rdi
movq %rdx, %rsi
movq %rcx, %rdx
movq %r8, %rcx
callq 0x18938
movl $0x0, %r12d
testq %rax, %rax
je 0x18575
movq (%rax), %r12
testq %r12, %r12
je 0x186ee
cmpb $0x0, 0x40(%r12)
je 0x187c3
movq 0x28(%r12), %r14
movq 0x30(%r12), %r13
cmpq %r13, %r14
je 0x18648
movl (%r14), %ecx
movl %ecx, 0xc(%rsp)
movq 0x18(%r15), %rdi
movq 0x20(%r15), %r8
movq %rcx, %rax
xorl %edx, %edx
divq %r8
movq %rdx, %rsi
movq (%rdi,%rdx,8), %rdx
movl $0x0, %eax
testq %rdx, %rdx
je 0x185fd
movq (%rdx), %r9
movq %rdx, %rax
cmpl 0x8(%r9), %ecx
je 0x185fd
movq %r9, %r10
movq (%r9), %r9
testq %r9, %r9
je 0x185fb
movl 0x8(%r9), %edi
movq %rdi, %rax
xorl %edx, %edx
divq %r8
movl $0x0, %eax
cmpq %rsi, %rdx
jne 0x185fd
movq %r10, %rax
cmpl %edi, %ecx
jne 0x185d1
jmp 0x185fd
xorl %eax, %eax
testq %rax, %rax
je 0x18607
movq (%rax), %rax
jmp 0x18609
xorl %eax, %eax
testq %rax, %rax
je 0x1861c
cmpb $0x1, 0x40(%rax)
je 0x18785
movb $0x1, 0x40(%rax)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x18632
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x1863f
movq %rbx, %rdi
leaq 0xc(%rsp), %rdx
callq 0xdeac
addq $0x4, %r14
jmp 0x18594
movq 0x10(%r12), %r8
movq 0x18(%r12), %r9
cmpq %r9, %r8
je 0x186df
movq 0x18(%r15), %r10
movq 0x20(%r15), %r11
movl (%r8), %ecx
movq %rcx, %rax
xorl %edx, %edx
divq %r11
movq %rdx, %rsi
movq (%r10,%rdx,8), %rdx
movl $0x0, %eax
testq %rdx, %rdx
je 0x186b7
movq (%rdx), %r14
movq %rdx, %rax
cmpl 0x8(%r14), %ecx
je 0x186b7
movq %r14, %r13
movq (%r14), %r14
testq %r14, %r14
je 0x186b5
movl 0x8(%r14), %edi
movq %rdi, %rax
xorl %edx, %edx
divq %r11
movl $0x0, %eax
cmpq %rsi, %rdx
jne 0x186b7
movq %r13, %rax
cmpl %edi, %ecx
jne 0x1868b
jmp 0x186b7
xorl %eax, %eax
testq %rax, %rax
je 0x186c1
movq (%rax), %rax
jmp 0x186c3
xorl %eax, %eax
testq %rax, %rax
je 0x186d6
cmpb $0x1, 0x40(%rax)
je 0x187a4
movb $0x1, 0x40(%rax)
addq $0x4, %r8
cmpq %r9, %r8
jne 0x18663
movq 0x18(%rsp), %rdi
movq %r12, %rsi
callq 0x1897e
jmp 0x1871c
shlq $0x2, %r13
addq (%rbx), %r13
movq 0x10(%rsp), %rdi
movq 0x8(%rdi), %rsi
cmpq 0x10(%rdi), %rsi
je 0x18714
movl (%r13), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rdi)
jmp 0x1871c
movq %r13, %rdx
callq 0xdeac
movq (%rsp), %rsi
incl %esi
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x2, %rdx
movq %rsi, %r13
cmpq %rsi, %rdx
ja 0x184c0
jmp 0x1876d
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x1875d
movl (%r14), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x18541
movq %rbx, %rdi
movq %r14, %rdx
callq 0xdeac
jmp 0x18541
cmpq %rax, %rcx
je 0x18776
movq %rax, 0x8(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x27de(%rip), %rdi      # 0x1af6a
leaq 0x2870(%rip), %rsi      # 0x1b003
leaq 0x2875(%rip), %rcx      # 0x1b00f
movl $0x3e, %edx
callq 0x2110
leaq 0x27bf(%rip), %rdi      # 0x1af6a
leaq 0x2851(%rip), %rsi      # 0x1b003
leaq 0x2856(%rip), %rcx      # 0x1b00f
movl $0x46, %edx
callq 0x2110
leaq 0x2822(%rip), %rdi      # 0x1afec
leaq 0x2832(%rip), %rsi      # 0x1b003
leaq 0x2837(%rip), %rcx      # 0x1b00f
movl $0x3a, %edx
callq 0x2110