// File: /workspace/github_cpp_makefile_star2_O1/grame-cncm[P]digraph/tests.cpp
// Function: check7()
bool check7()
{
    std::stringstream ss;
    test7(ss);
    bool ok = (0 == ss.str().compare(res7()));
    if (ok) {
        std::cout << "test7 OK " << std::endl;
    } else {
        std::cout << "test7 FAIL " << std::endl;
        std::cout << "We got     \"" << ss.str() << '"' << std::endl;
        std::cout << "instead of \"" << res7() << '"' << std::endl;
    }
    return ok;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1d8, %rsp            # imm = 0x1D8
leaq 0x50(%rsp), %rdi
callq 0x20f0
leaq 0x60(%rsp), %rdi
callq 0x10e1c
leaq 0x68(%rsp), %r14
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq 0x2210
leaq 0x38(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x48(%rsp), %rsi
movq $0x4c9, (%rsi)          # imm = 0x4C9
leaq 0x28(%rsp), %rdi
xorl %edx, %edx
callq 0x2260
movq %rax, %rbx
movq %rax, 0x28(%rsp)
movq 0x48(%rsp), %r12
movq %r12, 0x38(%rsp)
leaq 0xbe78(%rip), %rsi      # 0x1d3a9
movl $0x4c9, %edx            # imm = 0x4C9
movq %rax, %rdi
callq 0x2130
movq %r12, 0x30(%rsp)
movb $0x0, (%rbx,%r12)
movq 0x10(%rsp), %r12
movq 0x30(%rsp), %r13
cmpq %r12, %r13
movq %r12, %rdx
cmovbq %r13, %rdx
testq %rdx, %rdx
je 0x11577
movq 0x28(%rsp), %rsi
movq 0x8(%rsp), %rdi
callq 0x2180
testl %eax, %eax
sete %bl
jmp 0x11579
movb $0x1, %bl
cmpq %r13, %r12
sete %bpl
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x1158f
callq 0x2150
andb %bpl, %bl
leaq 0x18(%rsp), %r12
movq -0x10(%r12), %rdi
cmpq %r12, %rdi
je 0x115a6
callq 0x2150
testb %bl, %bl
je 0x115f5
movq 0x16a1f(%rip), %r14     # 0x27fd0
leaq 0xc2bb(%rip), %rsi      # 0x1d873
movl $0x9, %edx
movq %r14, %rdi
callq 0x21a0
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq 0x169ed(%rip), %rdi     # 0x27fd0
callq 0x2030
movq %rax, %rdi
callq 0x20d0
jmp 0x1178b
movq 0x169d4(%rip), %r15     # 0x27fd0
leaq 0xc27a(%rip), %rsi      # 0x1d87d
movl $0xb, %edx
movq %r15, %rdi
callq 0x21a0
movq (%r15), %rax
addq -0x18(%rax), %r15
movq %r15, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq 0x169a2(%rip), %rdi     # 0x27fd0
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movq 0x1698e(%rip), %rdi     # 0x27fd0
leaq 0xbb8c(%rip), %rsi      # 0x1d1d5
movl $0xc, %edx
callq 0x21a0
leaq 0x8(%rsp), %rdi
movq %r14, %rsi
callq 0x2210
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0x1695f(%rip), %rdi     # 0x27fd0
callq 0x21a0
leaq 0x28(%rsp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x21a0
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x116c4
callq 0x2150
movq 0x16905(%rip), %rdi     # 0x27fd0
leaq 0xbb10(%rip), %rsi      # 0x1d1e2
movl $0xc, %edx
callq 0x21a0
leaq 0x8(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x28(%rsp), %rsi
movq $0x4c9, (%rsi)          # imm = 0x4C9
xorl %edx, %edx
callq 0x2260
movq %rax, %r14
movq %rax, 0x8(%rsp)
movq 0x28(%rsp), %r15
movq %r15, 0x18(%rsp)
leaq 0xbc99(%rip), %rsi      # 0x1d3a9
movl $0x4c9, %edx            # imm = 0x4C9
movq %rax, %rdi
callq 0x2130
movq %r15, 0x10(%rsp)
movb $0x0, (%r14,%r15)
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
movq 0x16898(%rip), %rdi     # 0x27fd0
callq 0x21a0
leaq 0x28(%rsp), %rsi
movb $0x22, (%rsi)
movl $0x1, %edx
movq %rax, %rdi
callq 0x21a0
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2160
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x20d0
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x1178b
callq 0x2150
movq 0x1681e(%rip), %rsi     # 0x27fb0
leaq 0x50(%rsp), %rdi
callq 0x2110
leaq 0xd0(%rsp), %rdi
callq 0x2070
movl %ebx, %eax
addq $0x1d8, %rsp            # imm = 0x1D8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x117ee
jmp 0x117ee
movq %rax, %rbx
leaq 0x18(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
jne 0x117e7
jmp 0x117f1
jmp 0x117ee
jmp 0x117ee
jmp 0x117da
movq %rax, %rbx
movq 0x8(%rsp), %rdi
cmpq %r12, %rdi
je 0x117f1
callq 0x2150
jmp 0x117f1
movq %rax, %rbx
movq 0x167b8(%rip), %rsi     # 0x27fb0
leaq 0x50(%rsp), %rdi
callq 0x2110
leaq 0xd0(%rsp), %rdi
callq 0x2070
movq %rbx, %rdi
callq 0x2250