// File: /workspace/github_cpp_makefile_star2_O3/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 0x179b3
movq %rdx, %r13
movq %rdi, %r15
leaq 0x50(%rdi), %rcx
movq %rcx, 0x20(%rsp)
addq $0x18, %r15
xorl %r12d, %r12d
leaq 0xc(%rsp), %rbp
xorl %esi, %esi
movq %rdx, (%rsp)
movq %rsi, 0x10(%rsp)
leaq (%rax,%r12,4), %rsi
movq 0x20(%rsp), %rdi
callq 0xd37a
testq %rax, %rax
je 0x17866
movq %rax, %r14
movq (%rbx), %rdi
movq 0x8(%rbx), %rsi
leaq 0xc(%rax), %r13
movq %r13, %rdx
callq 0x17a28
cmpq 0x8(%rbx), %rax
jne 0x17855
movq (%rsp), %rax
movq (%rax), %rdi
movq 0x8(%rax), %rsi
movq %r13, %rdx
callq 0x17a28
movq (%rsp), %rcx
cmpq 0x8(%rcx), %rax
je 0x17986
movq 0x20(%rsp), %rdi
movq %r14, %rsi
callq 0x17ace
movq (%rsp), %r13
shlq $0x2, %r12
movq (%rbx), %rsi
addq %r12, %rsi
movq %r15, %rdi
callq 0x17b80
testq %rax, %rax
je 0x17938
movq %rax, %r14
cmpb $0x0, 0x40(%rax)
je 0x17a09
movq 0x28(%r14), %r12
movq 0x30(%r14), %r13
cmpq %r13, %r12
je 0x178ec
movl (%r12), %eax
movl %eax, 0xc(%rsp)
movq %r15, %rdi
movq %rbp, %rsi
callq 0x17b80
testq %rax, %rax
je 0x178c1
cmpb $0x1, 0x40(%rax)
je 0x179cb
movb $0x1, 0x40(%rax)
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x178db
movl 0xc(%rsp), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x178e6
movq %rbx, %rdi
movq %rbp, %rdx
callq 0xd7b4
addq $0x4, %r12
jmp 0x17896
movq 0x10(%r14), %r12
movq 0x18(%r14), %r13
cmpq %r13, %r12
je 0x17927
movl (%r12), %eax
movl %eax, 0x1c(%rsp)
movq %r15, %rdi
leaq 0x1c(%rsp), %rsi
callq 0x17b80
testq %rax, %rax
je 0x17921
cmpb $0x1, 0x40(%rax)
je 0x179ea
movb $0x1, 0x40(%rax)
addq $0x4, %r12
jmp 0x178f4
movq %r15, %rdi
movq %r14, %rsi
callq 0x17bdc
movq (%rsp), %r13
jmp 0x17960
addq (%rbx), %r12
movq 0x8(%r13), %rsi
cmpq 0x10(%r13), %rsi
je 0x17955
movl (%r12), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%r13)
jmp 0x17960
movq %r13, %rdi
movq %r12, %rdx
callq 0xd7b4
movq 0x10(%rsp), %rsi
incl %esi
movq (%rbx), %rax
movq 0x8(%rbx), %rcx
movq %rcx, %rdx
subq %rax, %rdx
sarq $0x2, %rdx
movq %rsi, %r12
cmpq %rsi, %rdx
ja 0x17800
jmp 0x179b3
movq 0x8(%rbx), %rsi
cmpq 0x10(%rbx), %rsi
je 0x179a3
movl (%r13), %eax
movl %eax, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x8(%rbx)
jmp 0x17862
movq %rbx, %rdi
movq %r13, %rdx
callq 0xd7b4
jmp 0x17862
cmpq %rax, %rcx
je 0x179bc
movq %rax, 0x8(%rbx)
addq $0x28, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x2598(%rip), %rdi      # 0x19f6a
leaq 0x262a(%rip), %rsi      # 0x1a003
leaq 0x262f(%rip), %rcx      # 0x1a00f
movl $0x3e, %edx
callq 0x2110
leaq 0x2579(%rip), %rdi      # 0x19f6a
leaq 0x260b(%rip), %rsi      # 0x1a003
leaq 0x2610(%rip), %rcx      # 0x1a00f
movl $0x46, %edx
callq 0x2110
leaq 0x25dc(%rip), %rdi      # 0x19fec
leaq 0x25ec(%rip), %rsi      # 0x1a003
leaq 0x25f1(%rip), %rcx      # 0x1a00f
movl $0x3a, %edx
callq 0x2110