// File: /workspace/github_cpp_makefile_star2_O3/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 0x44b4
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 0x456b
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 0x459d
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 0x45e0
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x45e0
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x45ee
callq 0x2180
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x45fc
callq 0x2180
movq %rbx, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x5374
movq %rbx, %rdi
movl $0x1, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x5374
movq %rbx, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x53b6
movq %rbx, %rdi
movl $0x1, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53b6
movq %r14, %rdi
movl $0x1, %esi
movl $0x2, %edx
callq 0x44b4
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 0x46a4
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 0x46d9
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 0x4728
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4728
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4736
callq 0x2180
leaq 0x50(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4748
callq 0x2180
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x5374
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x5374
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x47ec
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 0x482a
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 0x4879
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4879
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4887
callq 0x2180
leaq 0xa0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x489c
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x5374
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53b6
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x5374
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x494b
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 0x4989
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 0x49d8
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x49d8
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x49e6
callq 0x2180
leaq 0xf0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x49fb
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x4, %ecx
callq 0x53f8
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x5374
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x4a93
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 0x4ad1
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 0x4b20
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4b20
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4b2e
callq 0x2180
leaq 0x140(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4b43
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x4, %ecx
callq 0x53f8
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53b6
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x4bde
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 0x4c1c
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 0x4c6b
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4c6b
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4c79
callq 0x2180
leaq 0x190(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4c8e
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x3, %ecx
callq 0x53f8
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x5374
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x5374
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x4d3a
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 0x4d78
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 0x4dc7
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4dc7
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4dd5
callq 0x2180
leaq 0x1e0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4dea
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x3, %ecx
callq 0x53f8
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x5374
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x5374
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x4e96
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 0x4ed4
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 0x4f23
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x4f23
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x4f31
callq 0x2180
leaq 0x230(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x4f46
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53f8
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x5374
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x4fde
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 0x501c
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 0x506b
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x506b
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x5079
callq 0x2180
leaq 0x280(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x508e
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53f8
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53b6
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x1, %ecx
callq 0x53b6
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x5129
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 0x5167
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 0x51b6
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x51b6
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x51c4
callq 0x2180
leaq 0x2d0(%rbx), %r14
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x51d9
callq 0x2180
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53f8
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x53b6
movq %r14, %rdi
xorl %esi, %esi
movl $0x1, %edx
movl $0x2, %ecx
callq 0x53b6
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x5374
movq %r14, %rdi
movl $0x1, %esi
xorl %edx, %edx
movl $0x2, %ecx
callq 0x5374
leaq -0x60(%rbp), %r14
movq %r14, %rdi
movl $0x1, %esi
movl $0x1, %edx
callq 0x44b4
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 0x5299
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 0x52d7
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 0x5326
callq 0x2180
movq -0x28(%rbp), %rdi
testq %rdi, %rdi
je 0x5326
callq 0x2180
movq -0x40(%rbp), %rdi
testq %rdi, %rdi
je 0x5334
callq 0x2180
addq $0x320, %rbx            # imm = 0x320
movq -0x58(%rbp), %rdi
testq %rdi, %rdi
je 0x5349
callq 0x2180
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53f8
movq %rbx, %rdi
xorl %esi, %esi
xorl %edx, %edx
movl $0x1, %ecx
callq 0x53b6
addq $0x50, %rsp
popq %rbx
popq %r14
popq %rbp
retq