// File: zvrba[P]nonogram/Representation.cpp
// Function: nonogram::DescriptionFormatter<boost::spirit::karma::ostream_iterator<char, char, std::char_traits<char>>>::DescriptionFormatter()
DescriptionFormatter() : DescriptionFormatter::base_type(start)
  {
    using namespace karma::labels;
    using karma::lit;
    using karma::uint_;
    
    start =
      lit("Nonogram {") <<
      line_vector(std::string("Rows")) <<
      line_vector(std::string("Columns")) <<
      lit('}');
    
    line_vector = lit(_r1) << lit('{') << +line << lit('}');
    
    line = lit('[') << *uint_ << lit(']');
  }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x940, %rsp            # imm = 0x940
movq %rdi, -0x598(%rbp)
movq -0x598(%rbp), %rax
movq %rax, -0x7c8(%rbp)
addq $0x28, %rax
movq %rax, -0x7c0(%rbp)
leaq -0x5b9(%rbp), %rdi
movq %rdi, -0x7b8(%rbp)
callq 0x3300
movq -0x7b8(%rbp), %rdx
leaq 0x31c77(%rip), %rsi     # 0x37143
leaq -0x5b8(%rbp), %rdi
callq 0x3240
jmp 0x54da
movq -0x7c0(%rbp), %rsi
movq -0x7c8(%rbp), %rdi
leaq -0x5b8(%rbp), %rdx
callq 0x9fa0
jmp 0x54f6
leaq -0x5b8(%rbp), %rdi
callq 0x3110
leaq -0x5b9(%rbp), %rdi
callq 0x31e0
movq -0x7c8(%rbp), %rax
addq $0x28, %rax
movq %rax, -0x7d8(%rbp)
leaq -0x5f1(%rbp), %rdi
movq %rdi, -0x7d0(%rbp)
callq 0x3300
movq -0x7d0(%rbp), %rdx
leaq 0x31c12(%rip), %rsi     # 0x37153
leaq -0x5f0(%rbp), %rdi
callq 0x3240
jmp 0x554f
movq -0x7d8(%rbp), %rdi
leaq -0x5f0(%rbp), %rsi
callq 0xa040
jmp 0x5564
leaq -0x5f0(%rbp), %rdi
callq 0x3110
leaq -0x5f1(%rbp), %rdi
callq 0x31e0
movq -0x7c8(%rbp), %rax
addq $0x70, %rax
movq %rax, -0x7e8(%rbp)
leaq -0x619(%rbp), %rdi
movq %rdi, -0x7e0(%rbp)
callq 0x3300
movq -0x7e0(%rbp), %rdx
leaq 0x31ba4(%rip), %rsi     # 0x37153
leaq -0x618(%rbp), %rdi
callq 0x3240
jmp 0x55bd
movq -0x7e8(%rbp), %rdi
leaq -0x618(%rbp), %rsi
callq 0xa110
jmp 0x55d2
leaq -0x618(%rbp), %rdi
callq 0x3110
leaq -0x619(%rbp), %rdi
callq 0x31e0
movq -0x7c8(%rbp), %rax
addq $0xb8, %rax
movq %rax, -0x7f8(%rbp)
leaq -0x641(%rbp), %rdi
movq %rdi, -0x7f0(%rbp)
callq 0x3300
movq -0x7f0(%rbp), %rdx
leaq 0x31b34(%rip), %rsi     # 0x37153
leaq -0x640(%rbp), %rdi
callq 0x3240
jmp 0x562d
movq -0x7f8(%rbp), %rdi
leaq -0x640(%rbp), %rsi
callq 0xa1e0
jmp 0x5642
leaq -0x640(%rbp), %rdi
callq 0x3110
leaq -0x641(%rbp), %rdi
callq 0x31e0
leaq 0x53b8a(%rip), %rsi     # 0x591eb
leaq 0x31af8(%rip), %rdx     # 0x37160
xorl %eax, %eax
movl %eax, %ecx
leaq -0x688(%rbp), %rdi
callq 0xa2b0
jmp 0x567a
movq -0x7c8(%rbp), %rax
addq $0x70, %rax
movq %rax, -0x808(%rbp)
leaq -0x6d1(%rbp), %rdi
movq %rdi, -0x800(%rbp)
callq 0x3300
movq -0x800(%rbp), %rdx
leaq 0x31abe(%rip), %rsi     # 0x3716b
leaq -0x6d0(%rbp), %rdi
callq 0x3240
jmp 0x56bb
movq -0x808(%rbp), %rsi
leaq -0x6b0(%rbp), %rdi
leaq -0x6d0(%rbp), %rdx
callq 0xa360
jmp 0x56d7
leaq -0x688(%rbp), %rax
movq %rax, -0x530(%rbp)
leaq -0x6b0(%rbp), %rax
movq %rax, -0x538(%rbp)
movq -0x530(%rbp), %rcx
movq -0x538(%rbp), %rax
leaq -0x539(%rbp), %rdx
movq %rdx, -0x318(%rbp)
movq %rcx, -0x320(%rbp)
movq %rax, -0x328(%rbp)
movq -0x320(%rbp), %rax
leaq -0x339(%rbp), %rcx
movq %rcx, -0x2e8(%rbp)
movq %rax, -0x2f0(%rbp)
movq -0x2f0(%rbp), %rax
movq %rax, -0x338(%rbp)
movq -0x328(%rbp), %rax
leaq -0x33a(%rbp), %rcx
movq %rcx, -0x2f8(%rbp)
movq %rax, -0x300(%rbp)
movq -0x300(%rbp), %rax
movq %rax, -0x330(%rbp)
leaq -0x33b(%rbp), %rax
movq %rax, -0x2d8(%rbp)
leaq -0x338(%rbp), %rax
movq %rax, -0x2e0(%rbp)
movq -0x2e0(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x310(%rbp)
movq -0x310(%rbp), %rax
movq %rax, -0x818(%rbp)
movq -0x308(%rbp), %rax
movq %rax, -0x810(%rbp)
movq -0x810(%rbp), %rax
movq -0x818(%rbp), %rcx
movq %rcx, -0x528(%rbp)
movq %rax, -0x520(%rbp)
movq -0x528(%rbp), %rax
movq %rax, -0x828(%rbp)
movq -0x520(%rbp), %rax
movq %rax, -0x820(%rbp)
movq -0x7c8(%rbp), %rax
movq -0x820(%rbp), %rcx
movq -0x828(%rbp), %rdx
movq %rdx, -0x678(%rbp)
movq %rcx, -0x670(%rbp)
addq $0x70, %rax
movq %rax, -0x838(%rbp)
leaq -0x721(%rbp), %rdi
movq %rdi, -0x830(%rbp)
callq 0x3300
movq -0x830(%rbp), %rdx
leaq 0x3192f(%rip), %rsi     # 0x37170
leaq -0x720(%rbp), %rdi
callq 0x3240
jmp 0x584f
movq -0x838(%rbp), %rsi
leaq -0x700(%rbp), %rdi
leaq -0x720(%rbp), %rdx
callq 0xa360
jmp 0x586b
leaq -0x678(%rbp), %rax
movq %rax, -0x558(%rbp)
leaq -0x700(%rbp), %rax
movq %rax, -0x560(%rbp)
movq -0x558(%rbp), %rcx
movq -0x560(%rbp), %rax
leaq -0x561(%rbp), %rdx
movq %rdx, -0x388(%rbp)
movq %rcx, -0x390(%rbp)
movq %rax, -0x398(%rbp)
movq -0x390(%rbp), %rax
leaq -0x3a9(%rbp), %rcx
movq %rcx, -0x368(%rbp)
movq %rax, -0x370(%rbp)
movq -0x370(%rbp), %rax
movq %rax, -0x3a8(%rbp)
movq -0x398(%rbp), %rax
leaq -0x3aa(%rbp), %rcx
movq %rcx, -0x358(%rbp)
movq %rax, -0x360(%rbp)
movq -0x360(%rbp), %rax
movq %rax, -0x3a0(%rbp)
leaq -0x3ab(%rbp), %rax
movq %rax, -0x348(%rbp)
leaq -0x3a8(%rbp), %rax
movq %rax, -0x350(%rbp)
movq -0x350(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x380(%rbp)
movq -0x380(%rbp), %rax
movq %rax, -0x848(%rbp)
movq -0x378(%rbp), %rax
movq %rax, -0x840(%rbp)
movq -0x840(%rbp), %rax
movq -0x848(%rbp), %rcx
movq %rcx, -0x550(%rbp)
movq %rax, -0x548(%rbp)
movq -0x550(%rbp), %rax
movq %rax, -0x858(%rbp)
movq -0x548(%rbp), %rax
movq %rax, -0x850(%rbp)
movq -0x850(%rbp), %rax
movq -0x858(%rbp), %rcx
movq %rcx, -0x668(%rbp)
movq %rax, -0x660(%rbp)
movb $0x7d, -0x724(%rbp)
leaq 0x5383b(%rip), %rsi     # 0x591eb
xorl %eax, %eax
movl %eax, %ecx
leaq -0x723(%rbp), %rdi
leaq -0x724(%rbp), %rdx
callq 0xa490
jmp 0x59c9
leaq -0x668(%rbp), %rax
movq %rax, -0x580(%rbp)
leaq -0x723(%rbp), %rax
movq %rax, -0x588(%rbp)
movq -0x580(%rbp), %rcx
movq -0x588(%rbp), %rax
leaq -0x589(%rbp), %rdx
movq %rdx, -0x3f8(%rbp)
movq %rcx, -0x400(%rbp)
movq %rax, -0x408(%rbp)
movq -0x400(%rbp), %rax
leaq -0x419(%rbp), %rcx
movq %rcx, -0x3d8(%rbp)
movq %rax, -0x3e0(%rbp)
movq -0x3e0(%rbp), %rax
movq %rax, -0x418(%rbp)
movq -0x408(%rbp), %rax
leaq -0x41a(%rbp), %rcx
movq %rcx, -0x3c8(%rbp)
movq %rax, -0x3d0(%rbp)
movq -0x3d0(%rbp), %rax
movq %rax, -0x410(%rbp)
leaq -0x41b(%rbp), %rax
movq %rax, -0x3b8(%rbp)
leaq -0x418(%rbp), %rax
movq %rax, -0x3c0(%rbp)
movq -0x3c0(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x3f0(%rbp)
movq -0x3f0(%rbp), %rax
movq %rax, -0x868(%rbp)
movq -0x3e8(%rbp), %rax
movq %rax, -0x860(%rbp)
movq -0x860(%rbp), %rax
movq -0x868(%rbp), %rcx
movq %rcx, -0x578(%rbp)
movq %rax, -0x570(%rbp)
movq -0x578(%rbp), %rax
movq %rax, -0x878(%rbp)
movq -0x570(%rbp), %rax
movq %rax, -0x870(%rbp)
movq -0x7c8(%rbp), %rdi
movq -0x870(%rbp), %rax
movq -0x878(%rbp), %rcx
movq %rcx, -0x658(%rbp)
movq %rax, -0x650(%rbp)
addq $0x28, %rdi
leaq -0x658(%rbp), %rsi
callq 0xa530
jmp 0x5b19
leaq -0x700(%rbp), %rdi
callq 0xa560
leaq -0x720(%rbp), %rdi
callq 0x3110
leaq -0x721(%rbp), %rdi
callq 0x31e0
leaq -0x6b0(%rbp), %rdi
callq 0xa560
leaq -0x6d0(%rbp), %rdi
callq 0x3110
leaq -0x6d1(%rbp), %rdi
callq 0x31e0
leaq 0x53683(%rip), %rdi     # 0x591eb
leaq 0x314a2(%rip), %rsi     # 0x37011
xorl %eax, %eax
movl %eax, %edx
callq 0xa580
jmp 0x5b7a
movb $0x7b, -0x761(%rbp)
leaq 0x53663(%rip), %rsi     # 0x591eb
xorl %eax, %eax
movl %eax, %ecx
leaq -0x760(%rbp), %rdi
leaq -0x761(%rbp), %rdx
callq 0xa490
jmp 0x5ba1
leaq -0x75b(%rbp), %rax
movq %rax, -0x4b8(%rbp)
leaq -0x760(%rbp), %rax
movq %rax, -0x4c0(%rbp)
movq -0x4b8(%rbp), %rcx
movq -0x4c0(%rbp), %rax
leaq -0x4c1(%rbp), %rdx
movq %rdx, -0x1c8(%rbp)
movq %rcx, -0x1d0(%rbp)
movq %rax, -0x1d8(%rbp)
movq -0x1d0(%rbp), %rax
leaq -0x1e9(%rbp), %rcx
movq %rcx, -0x190(%rbp)
movq %rax, -0x198(%rbp)
movq -0x198(%rbp), %rax
movq %rax, -0x1e8(%rbp)
movq -0x1d8(%rbp), %rax
leaq -0x1ea(%rbp), %rcx
movq %rcx, -0x1a0(%rbp)
movq %rax, -0x1a8(%rbp)
movq -0x1a8(%rbp), %rax
movq %rax, -0x1e0(%rbp)
leaq -0x1eb(%rbp), %rax
movq %rax, -0x180(%rbp)
leaq -0x1e8(%rbp), %rax
movq %rax, -0x188(%rbp)
movq -0x188(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x1c0(%rbp)
movq -0x1c0(%rbp), %rax
movq %rax, -0x888(%rbp)
movq -0x1b8(%rbp), %rax
movq %rax, -0x880(%rbp)
movq -0x880(%rbp), %rax
movq -0x888(%rbp), %rcx
movq %rcx, -0x4b0(%rbp)
movq %rax, -0x4a8(%rbp)
movq -0x4b0(%rbp), %rax
movq %rax, -0x898(%rbp)
movq -0x4a8(%rbp), %rax
movq %rax, -0x890(%rbp)
movq -0x7c8(%rbp), %rax
movq -0x890(%rbp), %rcx
movq -0x898(%rbp), %rdx
movq %rdx, -0x758(%rbp)
movq %rcx, -0x750(%rbp)
addq $0xb8, %rax
movq %rax, -0x498(%rbp)
movq -0x498(%rbp), %rax
leaq -0x499(%rbp), %rcx
movq %rcx, -0x160(%rbp)
movq %rax, -0x168(%rbp)
movq -0x168(%rbp), %rax
leaq -0x171(%rbp), %rcx
movq %rcx, -0x148(%rbp)
movq %rax, -0x150(%rbp)
movq -0x150(%rbp), %rax
movq %rax, -0x170(%rbp)
leaq -0x172(%rbp), %rax
movq %rax, -0x138(%rbp)
leaq -0x170(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x140(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x158(%rbp)
movq -0x158(%rbp), %rax
movq %rax, -0x8a0(%rbp)
movq -0x8a0(%rbp), %rax
movq %rax, -0x490(%rbp)
movq -0x490(%rbp), %rax
movq %rax, -0x8a8(%rbp)
movq -0x8a8(%rbp), %rax
movq %rax, -0x770(%rbp)
leaq -0x758(%rbp), %rax
movq %rax, -0x4e0(%rbp)
leaq -0x770(%rbp), %rax
movq %rax, -0x4e8(%rbp)
movq -0x4e0(%rbp), %rcx
movq -0x4e8(%rbp), %rax
leaq -0x4e9(%rbp), %rdx
movq %rdx, -0x238(%rbp)
movq %rcx, -0x240(%rbp)
movq %rax, -0x248(%rbp)
movq -0x240(%rbp), %rax
leaq -0x259(%rbp), %rcx
movq %rcx, -0x218(%rbp)
movq %rax, -0x220(%rbp)
movq -0x220(%rbp), %rax
movq %rax, -0x258(%rbp)
movq -0x248(%rbp), %rax
leaq -0x25a(%rbp), %rcx
movq %rcx, -0x208(%rbp)
movq %rax, -0x210(%rbp)
movq -0x210(%rbp), %rax
movq %rax, -0x250(%rbp)
leaq -0x25b(%rbp), %rax
movq %rax, -0x1f8(%rbp)
leaq -0x258(%rbp), %rax
movq %rax, -0x200(%rbp)
movq -0x200(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x230(%rbp)
movq -0x230(%rbp), %rax
movq %rax, -0x8b8(%rbp)
movq -0x228(%rbp), %rax
movq %rax, -0x8b0(%rbp)
movq -0x8b0(%rbp), %rax
movq -0x8b8(%rbp), %rcx
movq %rcx, -0x4d8(%rbp)
movq %rax, -0x4d0(%rbp)
movq -0x4d8(%rbp), %rax
movq %rax, -0x8c8(%rbp)
movq -0x4d0(%rbp), %rax
movq %rax, -0x8c0(%rbp)
movq -0x8c0(%rbp), %rax
movq -0x8c8(%rbp), %rcx
movq %rcx, -0x748(%rbp)
movq %rax, -0x740(%rbp)
movb $0x7d, -0x773(%rbp)
leaq 0x5330f(%rip), %rsi     # 0x591eb
xorl %eax, %eax
movl %eax, %ecx
leaq -0x772(%rbp), %rdi
leaq -0x773(%rbp), %rdx
callq 0xa490
jmp 0x5ef5
leaq -0x748(%rbp), %rax
movq %rax, -0x508(%rbp)
leaq -0x772(%rbp), %rax
movq %rax, -0x510(%rbp)
movq -0x508(%rbp), %rcx
movq -0x510(%rbp), %rax
leaq -0x511(%rbp), %rdx
movq %rdx, -0x2a8(%rbp)
movq %rcx, -0x2b0(%rbp)
movq %rax, -0x2b8(%rbp)
movq -0x2b0(%rbp), %rax
leaq -0x2c9(%rbp), %rcx
movq %rcx, -0x278(%rbp)
movq %rax, -0x280(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x2c8(%rbp)
movq -0x2b8(%rbp), %rax
leaq -0x2ca(%rbp), %rcx
movq %rcx, -0x288(%rbp)
movq %rax, -0x290(%rbp)
movq -0x290(%rbp), %rax
movq %rax, -0x2c0(%rbp)
leaq -0x2cb(%rbp), %rax
movq %rax, -0x268(%rbp)
leaq -0x2c8(%rbp), %rax
movq %rax, -0x270(%rbp)
movq -0x270(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x2a0(%rbp)
movq -0x2a0(%rbp), %rax
movq %rax, -0x8d8(%rbp)
movq -0x298(%rbp), %rax
movq %rax, -0x8d0(%rbp)
movq -0x8d0(%rbp), %rax
movq -0x8d8(%rbp), %rcx
movq %rcx, -0x500(%rbp)
movq %rax, -0x4f8(%rbp)
movq -0x500(%rbp), %rax
movq %rax, -0x8e8(%rbp)
movq -0x4f8(%rbp), %rax
movq %rax, -0x8e0(%rbp)
movq -0x7c8(%rbp), %rdi
movq -0x8e0(%rbp), %rax
movq -0x8e8(%rbp), %rcx
movq %rcx, -0x738(%rbp)
movq %rax, -0x730(%rbp)
addq $0x70, %rdi
leaq -0x738(%rbp), %rsi
callq 0xa5c0
jmp 0x6045
movb $0x5b, -0x79b(%rbp)
leaq 0x53198(%rip), %rsi     # 0x591eb
xorl %eax, %eax
movl %eax, %ecx
leaq -0x79a(%rbp), %rdi
leaq -0x79b(%rbp), %rdx
callq 0xa490
jmp 0x606c
leaq 0x5317f(%rip), %rax     # 0x591f2
movq %rax, -0x430(%rbp)
movq -0x430(%rbp), %rax
leaq -0x431(%rbp), %rcx
movq %rcx, -0x30(%rbp)
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
leaq -0x41(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq -0x42(%rbp), %rax
movq %rax, -0x8(%rbp)
leaq -0x40(%rbp), %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x8f0(%rbp)
movq -0x8f0(%rbp), %rax
movq %rax, -0x428(%rbp)
movq -0x428(%rbp), %rax
movq %rax, -0x8f8(%rbp)
movq -0x8f8(%rbp), %rax
movq %rax, -0x7a8(%rbp)
leaq -0x79a(%rbp), %rax
movq %rax, -0x450(%rbp)
leaq -0x7a8(%rbp), %rax
movq %rax, -0x458(%rbp)
movq -0x450(%rbp), %rcx
movq -0x458(%rbp), %rax
leaq -0x459(%rbp), %rdx
movq %rdx, -0x98(%rbp)
movq %rcx, -0xa0(%rbp)
movq %rax, -0xa8(%rbp)
movq -0xa0(%rbp), %rax
leaq -0xb9(%rbp), %rcx
movq %rcx, -0x70(%rbp)
movq %rax, -0x78(%rbp)
movq -0x78(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0xa8(%rbp), %rax
leaq -0xba(%rbp), %rcx
movq %rcx, -0x60(%rbp)
movq %rax, -0x68(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0xb0(%rbp)
leaq -0xbb(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq -0xb8(%rbp), %rax
movq %rax, -0x58(%rbp)
movq -0x58(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x90(%rbp)
movq -0x90(%rbp), %rax
movq %rax, -0x908(%rbp)
movq -0x88(%rbp), %rax
movq %rax, -0x900(%rbp)
movq -0x900(%rbp), %rax
movq -0x908(%rbp), %rcx
movq %rcx, -0x448(%rbp)
movq %rax, -0x440(%rbp)
movq -0x448(%rbp), %rax
movq %rax, -0x918(%rbp)
movq -0x440(%rbp), %rax
movq %rax, -0x910(%rbp)
movq -0x910(%rbp), %rax
movq -0x918(%rbp), %rcx
movq %rcx, -0x798(%rbp)
movq %rax, -0x790(%rbp)
movb $0x5d, -0x7ab(%rbp)
leaq 0x52fc9(%rip), %rsi     # 0x591eb
xorl %eax, %eax
movl %eax, %ecx
leaq -0x7aa(%rbp), %rdi
leaq -0x7ab(%rbp), %rdx
callq 0xa490
jmp 0x623b
leaq -0x798(%rbp), %rax
movq %rax, -0x478(%rbp)
leaq -0x7aa(%rbp), %rax
movq %rax, -0x480(%rbp)
movq -0x478(%rbp), %rcx
movq -0x480(%rbp), %rax
leaq -0x481(%rbp), %rdx
movq %rdx, -0x108(%rbp)
movq %rcx, -0x110(%rbp)
movq %rax, -0x118(%rbp)
movq -0x110(%rbp), %rax
leaq -0x129(%rbp), %rcx
movq %rcx, -0xd8(%rbp)
movq %rax, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
movq %rax, -0x128(%rbp)
movq -0x118(%rbp), %rax
leaq -0x12a(%rbp), %rcx
movq %rcx, -0xe8(%rbp)
movq %rax, -0xf0(%rbp)
movq -0xf0(%rbp), %rax
movq %rax, -0x120(%rbp)
leaq -0x12b(%rbp), %rax
movq %rax, -0xc8(%rbp)
leaq -0x128(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq -0xd0(%rbp), %rax
movups (%rax), %xmm0
movaps %xmm0, -0x100(%rbp)
movq -0x100(%rbp), %rax
movq %rax, -0x928(%rbp)
movq -0xf8(%rbp), %rax
movq %rax, -0x920(%rbp)
movq -0x920(%rbp), %rax
movq -0x928(%rbp), %rcx
movq %rcx, -0x470(%rbp)
movq %rax, -0x468(%rbp)
movq -0x470(%rbp), %rax
movq %rax, -0x938(%rbp)
movq -0x468(%rbp), %rax
movq %rax, -0x930(%rbp)
movq -0x7c8(%rbp), %rdi
movq -0x930(%rbp), %rax
movq -0x938(%rbp), %rcx
movq %rcx, -0x788(%rbp)
movq %rax, -0x780(%rbp)
addq $0xb8, %rdi
leaq -0x788(%rbp), %rsi
callq 0xa5f0
jmp 0x638e
addq $0x940, %rsp            # imm = 0x940
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x63c9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
leaq -0x5b8(%rbp), %rdi
callq 0x3110
leaq -0x5b9(%rbp), %rdi
callq 0x31e0
jmp 0x6597
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x640c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
leaq -0x5f0(%rbp), %rdi
callq 0x3110
leaq -0x5f1(%rbp), %rdi
callq 0x31e0
jmp 0x658b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x644f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
leaq -0x618(%rbp), %rdi
callq 0x3110
leaq -0x619(%rbp), %rdi
callq 0x31e0
jmp 0x657f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x6492
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
leaq -0x640(%rbp), %rdi
callq 0x3110
leaq -0x641(%rbp), %rdi
callq 0x31e0
jmp 0x6573
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x6567
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x655b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x654f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x6537
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
jmp 0x652b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x5c8(%rbp)
movl %eax, -0x5cc(%rbp)
leaq -0x700(%rbp), %rdi
callq 0xa560
leaq -0x720(%rbp), %rdi
callq 0x3110
leaq -0x721(%rbp), %rdi
callq 0x31e0
leaq -0x6b0(%rbp), %rdi
callq 0xa560
leaq -0x6d0(%rbp), %rdi
callq 0x3110
leaq -0x6d1(%rbp), %rdi
callq 0x31e0
movq -0x7f8(%rbp), %rdi
callq 0x8e20
movq -0x7e8(%rbp), %rdi
callq 0x8e50
movq -0x7d8(%rbp), %rdi
callq 0x8e80
movq -0x7c8(%rbp), %rdi
callq 0x8eb0
movq -0x5c8(%rbp), %rdi
callq 0x32f0
nopw %cs:(%rax,%rax)
nopl (%rax)