// File: /workspace/github_cpp_makefile_star2_O1/davidjosepha[P]slitherlink/src/solver/contradictions.cpp
// Function: initContradictions(Contradiction (&) [11])
void initContradictions(Contradiction (& contradictions)[NUM_CONTRADICTIONS]) {
    int i = 0;

    /**
     * Contradiction #01
     * .   .   .
     *     x
     * . x . x .
     *     |
     * .   .   .
     */
    contradictions[i] = Contradiction(2, 2);

    contradictions[i].addHLinePattern(1, 0, NLINE);
    contradictions[i].addHLinePattern(1, 1, NLINE);
    contradictions[i].addVLinePattern(0, 1, NLINE);
    contradictions[i].addVLinePattern(1, 1, LINE);

    i++;

    /**
     * Contradiction #02
     * .   .   .
     *     |
     * . _ . _ .
     *
     */
    contradictions[i] = Contradiction(1, 2);

    contradictions[i].addHLinePattern(1, 0, LINE);
    contradictions[i].addHLinePattern(1, 1, LINE);
    contradictions[i].addVLinePattern(0, 1, LINE);

    i++;

    /**
     * Contradiction #03
     * . _ .
     * |   |
     * . _ .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addHLinePattern(0, 0, LINE);
    contradictions[i].addVLinePattern(0, 0, LINE);
    contradictions[i].addHLinePattern(1, 0, LINE);
    contradictions[i].addVLinePattern(0, 1, LINE);

    i++;

    /**
     * Contradiction #04
     * . x .
     * x 3
     * .   .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, THREE);
    contradictions[i].addHLinePattern(0, 0, NLINE);
    contradictions[i].addVLinePattern(0, 0, NLINE);

    i++;

    /**
     * Contradiction #05
     * .   .
     * x 3 x
     * .   .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, THREE);
    contradictions[i].addVLinePattern(0, 0, NLINE);
    contradictions[i].addVLinePattern(0, 1, NLINE);

    i++;

    /**
     * Contradiction #06
     * . _ .
     * | 2
     * . _ .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, TWO);
    contradictions[i].addHLinePattern(0, 0, LINE);
    contradictions[i].addHLinePattern(1, 0, LINE);
    contradictions[i].addVLinePattern(0, 0, LINE);

    i++;

    /**
     * Contradiction #07
     * . x .
     * x 2
     * . x .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, TWO);
    contradictions[i].addHLinePattern(0, 0, NLINE);
    contradictions[i].addHLinePattern(1, 0, NLINE);
    contradictions[i].addVLinePattern(0, 0, NLINE);

    i++;

    /**
     * Contradiction #08
     * . _ .
     * | 1
     * .   .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, ONE);
    contradictions[i].addHLinePattern(0, 0, LINE);
    contradictions[i].addVLinePattern(0, 0, LINE);

    i++;

    /**
     * Contradiction #09
     * .   .
     * | 1 |
     * .   .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, ONE);
    contradictions[i].addVLinePattern(0, 0, LINE);
    contradictions[i].addVLinePattern(0, 1, LINE);

    i++;

    /**
     * Contradiction #10
     * . x .
     * x 1 x
     * . x .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, ONE);
    contradictions[i].addVLinePattern(0, 0, NLINE);
    contradictions[i].addVLinePattern(0, 1, NLINE);
    contradictions[i].addHLinePattern(0, 0, NLINE);
    contradictions[i].addHLinePattern(1, 0, NLINE);

    i++;

    /**
     * Contradiction #11
     * .   .
     * | 0
     * .   .
     */
    contradictions[i] = Contradiction(1, 1);

    contradictions[i].addNumberPattern(0, 0, ZERO);
    contradictions[i].addVLinePattern(0, 0, LINE);

    i++;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x50, %rsp
movq %rdi, %rbx
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x2, %esi
movl $0x2, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, (%rbx)
movq 0x8(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x8(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x10(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x18(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x4563
callq 0x2180
xorps %xmm0, %xmm0
movq 0x20(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x20(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x28(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x30(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x4595
callq 0x2180
movq 0x38(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x38(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x40(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x48(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x45ca
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x45d8
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x45e6
callq 0x2180
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x45f4
callq 0x2180
movq %rbx, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x536c
movq %rbx, %rdi
movl $0x1, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x536c
movq %rbx, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x53ae
movq %rbx, %rdi
movl $0x1, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53ae
movq %r14, %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x50(%rbx)
movq 0x58(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x58(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x60(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x68(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x469c
callq 0x2180
xorps %xmm0, %xmm0
movq 0x70(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x70(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x78(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x80(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x46d1
callq 0x2180
movq 0x88(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x88(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x90(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x98(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x4712
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4720
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x472e
callq 0x2180
leaq 0x50(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4740
callq 0x2180
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x536c
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x536c
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0xa0(%rbx)
movq 0xa8(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0xa8(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0xb0(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0xb8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x47e4
callq 0x2180
xorps %xmm0, %xmm0
movq 0xc0(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0xc0(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0xc8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0xd0(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x4822
callq 0x2180
movq 0xd8(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0xd8(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0xe0(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0xe8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x4863
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4871
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x487f
callq 0x2180
leaq 0xa0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4894
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x536c
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53ae
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x536c
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0xf0(%rbx)
movq 0xf8(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0xf8(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x100(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x108(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x4943
callq 0x2180
xorps %xmm0, %xmm0
movq 0x110(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x110(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x118(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x120(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x4981
callq 0x2180
movq 0x128(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x128(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x130(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x138(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x49c2
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x49d0
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x49de
callq 0x2180
leaq 0xf0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x49f3
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x4, %ecx
callq 0x53f0
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x536c
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x140(%rbx)
movq 0x148(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x148(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x150(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x158(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x4a8b
callq 0x2180
xorps %xmm0, %xmm0
movq 0x160(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x160(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x168(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x170(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x4ac9
callq 0x2180
movq 0x178(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x178(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x180(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x188(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x4b0a
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4b18
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4b26
callq 0x2180
leaq 0x140(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4b3b
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x4, %ecx
callq 0x53f0
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53ae
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x190(%rbx)
movq 0x198(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x198(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x1a0(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x1a8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x4bd6
callq 0x2180
xorps %xmm0, %xmm0
movq 0x1b0(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x1b0(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x1b8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x1c0(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x4c14
callq 0x2180
movq 0x1c8(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x1c8(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x1d0(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x1d8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x4c55
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4c63
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4c71
callq 0x2180
leaq 0x190(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4c86
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x3, %ecx
callq 0x53f0
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x536c
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x536c
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x1e0(%rbx)
movq 0x1e8(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x1e8(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x1f0(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x1f8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x4d32
callq 0x2180
xorps %xmm0, %xmm0
movq 0x200(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x200(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x208(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x210(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x4d70
callq 0x2180
movq 0x218(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x218(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x220(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x228(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x4db1
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4dbf
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4dcd
callq 0x2180
leaq 0x1e0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4de2
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x3, %ecx
callq 0x53f0
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x536c
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x536c
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x230(%rbx)
movq 0x238(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x238(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x240(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x248(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x4e8e
callq 0x2180
xorps %xmm0, %xmm0
movq 0x250(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x250(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x258(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x260(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x4ecc
callq 0x2180
movq 0x268(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x268(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x270(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x278(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x4f0d
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4f1b
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4f29
callq 0x2180
leaq 0x230(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4f3e
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53f0
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x536c
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x280(%rbx)
movq 0x288(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x288(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x290(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x298(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x4fd6
callq 0x2180
xorps %xmm0, %xmm0
movq 0x2a0(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x2a0(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x2a8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x2b0(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x5014
callq 0x2180
movq 0x2b8(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x2b8(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x2c0(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x2c8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x5055
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x5063
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x5071
callq 0x2180
leaq 0x280(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x5086
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53f0
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53ae
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53ae
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x2d0(%rbx)
movq 0x2d8(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x2d8(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x2e0(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x2e8(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x5121
callq 0x2180
xorps %xmm0, %xmm0
movq 0x2f0(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x2f0(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x2f8(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x300(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x515f
callq 0x2180
movq 0x308(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x308(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x310(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x318(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x51a0
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x51ae
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x51bc
callq 0x2180
leaq 0x2d0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x51d1
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53f0
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53ae
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x53ae
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x536c
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x536c
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44ac
movq (%r14), %rax
movq %rax, 0x320(%rbx)
movq 0x328(%rbx), %rdi
movq 0x8(%r14), %rax
movq %rax, 0x328(%rbx)
movq 0x10(%r14), %rax
movq %rax, 0x330(%rbx)
movq 0x18(%r14), %rax
movq %rax, 0x338(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%r14)
movq $0x0, 0x18(%r14)
testq %rdi, %rdi
je 0x5291
callq 0x2180
xorps %xmm0, %xmm0
movq 0x340(%rbx), %rdi
movq -0x40(%rbp), %rax
movq %rax, 0x340(%rbx)
movq -0x38(%rbp), %rax
movq %rax, 0x348(%rbx)
movq -0x30(%rbp), %rax
movq %rax, 0x350(%rbx)
movups %xmm0, -0x40(%rbp)
movq $0x0, -0x30(%rbp)
testq %rdi, %rdi
je 0x52cf
callq 0x2180
movq 0x358(%rbx), %rdi
movq -0x28(%rbp), %rax
movq %rax, 0x358(%rbx)
movq -0x20(%rbp), %rax
movq %rax, 0x360(%rbx)
movq -0x18(%rbp), %rax
movq %rax, 0x368(%rbx)
xorps %xmm0, %xmm0
movups %xmm0, -0x28(%rbp)
movq $0x0, -0x18(%rbp)
testq %rdi, %rdi
je 0x5310
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x531e
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x532c
callq 0x2180
addq $0x320, %rbx            # imm = 0x320
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x5341
callq 0x2180
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53f0
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53ae
addq $0x50, %rsp
popq %rbx
popq %r14
popq %rbp
retq