// File: /workspace/github_cpp_makefile_star2_O3/sehe[P]spirit-v2-json/json.cpp
// Function: JSON::generator<std::back_insert_iterator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>>, boost::spirit::unused_type>::generator()
generator() : generator::base_type(json)
        {
            const static karma::int_generator <Integer> integer     = {};
            const static karma::real_generator<Double>  real        = {};

            truefalse.add
                (Bool(false), "false")
                (Bool(true),  "true");

            value = karma::attr_cast<Null>  (karma::lit("null")) 
                  | truefalse
                  | object
                  | array
                  | integer
                  | real        // TODO FIXME roundtrip safe formatting
                  | string
                  ;

            object = '{' << -(member % ',') << '}';
            member = string << ':' << value;

            array = '[' << -(value % ',') << ']';

            char_escape.add
                ('"',  "\\\"")
                ('\\', "\\\\")
              //('/',  "\\/")
                ('\b', "\\b")
                ('\f', "\\f")
                ('\n', "\\n")
                ('\r', "\\r")
                ('\t', "\\t");

            using karma::_val;
            using karma::_1;

            unicode_escape = 
                karma::eps(_val >= uint32_t(0x0) && _val <= uint32_t(0x1f)) << 
                qi::string [ _1 = unicode_escape_(_val) ]
                ;

            char_ = char_escape | unicode_escape | encoding::char_;
            string = '"' << *char_ << '"';

            // entry point
            json = value;

            BOOST_SPIRIT_DEBUG_NODES( (json)(value)(object)(member)(array)(string)(char_)(unicode_escape));
        }

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x188, %rsp            # imm = 0x188
leaq 0x10(%rsp), %rbx
movq %rdi, %r12
movq %rbx, -0x10(%rbx)
leaq 0x2a1e2(%rip), %rsi     # 0x30810
leaq 0x2a1ea(%rip), %rdx     # 0x3081f
movq %rsp, %rdi
callq 0x9d18
leaq 0xb8(%r12), %r13
leaq 0x18(%r12), %r15
leaq 0x8(%r12), %r14
movq %r13, (%r12)
movq %r15, 0x8(%r12)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %r14, %rdi
callq 0x8c12
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x667a
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2a199(%rip), %rsi     # 0x30820
leaq 0x2a199(%rip), %rdx     # 0x30827
movq %r14, 0xe0(%rsp)
movq %r15, 0xd8(%rsp)
callq 0x9d18
leaq 0x28(%r12), %rdi
movq %rsp, %rsi
movq %rdi, 0x90(%rsp)
callq 0x9a7c
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x66c6
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2a155(%rip), %rsi     # 0x30828
leaq 0x2a15a(%rip), %rdx     # 0x30834
callq 0x9d18
leaq 0x70(%r12), %rax
leaq 0x88(%r12), %rcx
leaq 0x78(%r12), %rbp
movq %rax, 0x70(%r12)
movq %rcx, 0x78(%r12)
movq %rax, 0x88(%rsp)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rbp, %rdi
callq 0x8c12
movq $0x0, 0x98(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6731
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2a0ea(%rip), %rsi     # 0x30828
leaq 0x2a0ef(%rip), %rdx     # 0x30834
callq 0x9d18
leaq 0xd0(%r12), %rax
movq %r13, 0xb8(%r12)
leaq 0xc0(%r12), %rdi
movq %rax, 0xc0(%r12)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rdi, 0x120(%rsp)
callq 0x8c12
movq $0x0, 0xe0(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x679d
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2a07e(%rip), %rsi     # 0x30828
leaq 0x2a083(%rip), %rdx     # 0x30834
movq %r13, 0x70(%rsp)
callq 0x9d18
leaq 0x100(%r12), %rax
leaq 0x118(%r12), %rcx
leaq 0x108(%r12), %rdi
movq %rax, 0x100(%r12)
movq %rcx, 0x108(%r12)
movq %rax, 0x28(%rsp)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rdi, 0x118(%rsp)
callq 0x8c12
movq $0x0, 0x128(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x681b
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2a000(%rip), %rsi     # 0x30828
leaq 0x2a005(%rip), %rdx     # 0x30834
callq 0x9d18
leaq 0x148(%r12), %rax
leaq 0x160(%r12), %rcx
leaq 0x150(%r12), %rdi
movq %rax, 0x148(%r12)
movq %rcx, 0x150(%r12)
movq %rax, 0x80(%rsp)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rdi, 0x110(%rsp)
callq 0x8c12
movq $0x0, 0x170(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6897
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x29f84(%rip), %rsi     # 0x30828
leaq 0x29f89(%rip), %rdx     # 0x30834
callq 0x9d18
leaq 0x190(%r12), %rax
leaq 0x1a8(%r12), %rcx
leaq 0x198(%r12), %rdi
movq %rax, 0x190(%r12)
movq %rcx, 0x198(%r12)
movq %rax, 0x78(%rsp)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rdi, 0x100(%rsp)
callq 0x8c12
movq $0x0, 0x1b8(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6910
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x29f0b(%rip), %rsi     # 0x30828
leaq 0x29f10(%rip), %rdx     # 0x30834
callq 0x9d18
leaq 0x1d8(%r12), %rax
leaq 0x1f0(%r12), %rcx
leaq 0x1e0(%r12), %rdi
movq %rax, 0x1d8(%r12)
movq %rcx, 0x1e0(%r12)
movq %rax, 0x30(%rsp)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rdi, 0xf8(%rsp)
callq 0x8c12
movq $0x0, 0x200(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6989
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x29e92(%rip), %rsi     # 0x30828
leaq 0x29e97(%rip), %rdx     # 0x30834
callq 0x9d18
leaq 0x220(%r12), %rax
leaq 0x238(%r12), %rcx
leaq 0x228(%r12), %rdi
movq %rax, 0x220(%r12)
movq %rcx, 0x228(%r12)
movq %rax, 0x68(%rsp)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rdi, 0xf0(%rsp)
callq 0x8c12
movq $0x0, 0x248(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6a02
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x29e19(%rip), %rsi     # 0x30828
leaq 0x29e1e(%rip), %rdx     # 0x30834
callq 0x9d18
leaq 0x268(%r12), %rax
leaq 0x280(%r12), %rcx
leaq 0x270(%r12), %rdi
movq %rax, 0x268(%r12)
movq %rcx, 0x270(%r12)
movq %rax, 0x60(%rsp)
movq (%rsp), %rsi
movq 0x8(%rsp), %rdx
addq %rsi, %rdx
movq %rdi, 0xe8(%rsp)
callq 0x8c12
movq $0x0, 0x290(%r12)
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6a7b
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x29d98(%rip), %rsi     # 0x30820
leaq 0x29d98(%rip), %rdx     # 0x30827
callq 0x9d18
leaq 0x2b0(%r12), %rdi
movq %rsp, %rsi
movq %rdi, 0x58(%rsp)
callq 0x9b02
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6ab7
callq 0x4210
movb 0x3edfb(%rip), %al      # 0x458b8
testb %al, %al
je 0x714f
movb 0x3edfd(%rip), %al      # 0x458c8
testb %al, %al
je 0x7159
movq %rsp, %rdi
movq %rbp, 0x108(%rsp)
movb $0x0, 0x98(%rsp)
movq %rbx, (%rdi)
leaq 0x2ab08(%rip), %rsi     # 0x315f8
leaq 0x2ab06(%rip), %rdx     # 0x315fd
callq 0x9d18
leaq 0x30(%r12), %rdi
leaq 0x98(%rsp), %r14
movq %rsp, %rdx
movq %r14, %rsi
callq 0x9b88
leaq 0x48(%rsp), %rcx
movq %rax, %rbp
movb $0x1, 0xb8(%rsp)
movq %rcx, -0x10(%rcx)
leaq 0x29d06(%rip), %rsi     # 0x30835
leaq 0x29d03(%rip), %rdx     # 0x30839
leaq 0x38(%rsp), %rdi
callq 0x9d18
leaq 0xb8(%rsp), %r13
leaq 0x38(%rsp), %r15
movq %rbp, %rdi
movq %r13, %rsi
movq %r15, %rdx
callq 0x9b88
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x6b6f
callq 0x4210
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6b7d
callq 0x4210
movq 0x90(%rsp), %rsi
leaq 0x148(%rsp), %rcx
leaq 0x128(%rsp), %r8
leaq 0x168(%rsp), %rdx
leaq 0x29c96(%rip), %rax     # 0x3083a
movq %r13, 0x98(%rsp)
movq %r14, 0x38(%rsp)
movq %rcx, (%r8)
movq %rax, (%rcx)
leaq 0x3ecf2(%rip), %rcx     # 0x458b0
movq %r8, (%rdx)
movq %rdx, 0xb8(%rsp)
movq %rcx, 0xa0(%rsp)
movq 0x30(%rsp), %rcx
movq %rsi, 0x8(%r8)
movq 0x80(%rsp), %rsi
movq %rsi, 0x8(%rdx)
movq 0x78(%rsp), %rdx
movq %rsp, %rsi
movq %r15, (%rsi)
movq %rcx, 0x8(%rsi)
movq %rdx, 0xc0(%rsp)
leaq 0x3ecbc(%rip), %rdx     # 0x458c0
movq %rdx, 0x40(%rsp)
movq 0x28(%rsp), %r14
movq %r14, %rdi
callq 0xa1ca
movq 0x88(%rsp), %rax
leaq 0x170(%r12), %rdi
movq %rsp, %rsi
movq (%rax), %rax
movb $0x7b, (%rsi)
movq %rax, 0x8(%rsi)
movb $0x2c, 0x10(%rsi)
movb $0x7d, 0x18(%rsi)
callq 0xd366
movq 0x30(%rsp), %rcx
movq (%r14), %rax
leaq 0x98(%r12), %rdi
movq %rsp, %rsi
movq (%rcx), %rcx
movq %rcx, (%rsi)
movb $0x3a, 0x8(%rsi)
movq %rax, 0x10(%rsi)
callq 0xd928
movq (%r14), %rax
movq %rsp, %rsi
movb $0x5b, (%rsi)
leaq 0x1b8(%r12), %rdi
movq %rax, 0x8(%rsi)
movb $0x2c, 0x10(%rsi)
movb $0x5d, 0x18(%rsi)
callq 0xdc78
movq %rsp, %rdi
movb $0x22, 0x27(%rsp)
movq %rbx, (%rdi)
leaq 0x29ba5(%rip), %rsi     # 0x3083f
leaq 0x29ba0(%rip), %rdx     # 0x30841
callq 0x9d18
leaq 0x2b8(%r12), %rdi
leaq 0x27(%rsp), %rsi
movq %rsp, %rdx
callq 0x9c24
leaq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rcx
movq %rax, %r14
movb $0x5c, 0x26(%rsp)
movq %rcx, (%rdi)
leaq 0x29b6b(%rip), %rsi     # 0x30842
leaq 0x29b66(%rip), %rdx     # 0x30844
callq 0x9d18
leaq 0x26(%rsp), %rsi
leaq 0x38(%rsp), %rdx
movq %r14, %rdi
callq 0x9c24
leaq 0xa8(%rsp), %rcx
movq %rax, %r14
movb $0x8, 0x25(%rsp)
movq %rcx, -0x10(%rcx)
leaq 0x29b35(%rip), %rsi     # 0x30845
leaq 0x29b30(%rip), %rdx     # 0x30847
leaq 0x98(%rsp), %rdi
callq 0x9d18
leaq 0x25(%rsp), %rsi
leaq 0x98(%rsp), %rdx
movq %r14, %rdi
callq 0x9c24
leaq 0xc8(%rsp), %r15
movq %rax, %r14
movb $0xc, 0x24(%rsp)
movq %r15, -0x10(%r15)
leaq 0x29af4(%rip), %rsi     # 0x30848
leaq 0x29aef(%rip), %rdx     # 0x3084a
leaq 0xb8(%rsp), %rdi
callq 0x9d18
leaq 0x24(%rsp), %rsi
leaq 0xb8(%rsp), %rdx
movq %r14, %rdi
callq 0x9c24
leaq 0x178(%rsp), %rbp
movq %rax, %r14
movb $0xa, 0x23(%rsp)
movq %rbp, -0x10(%rbp)
leaq 0x29ab3(%rip), %rsi     # 0x3084b
leaq 0x29aae(%rip), %rdx     # 0x3084d
leaq 0x168(%rsp), %rdi
callq 0x9d18
leaq 0x23(%rsp), %rsi
leaq 0x168(%rsp), %rdx
movq %r14, %rdi
callq 0x9c24
leaq 0x138(%rsp), %rcx
movq %rax, %r14
movb $0xd, 0x22(%rsp)
movq %rcx, -0x10(%rcx)
leaq 0x29a72(%rip), %rsi     # 0x3084e
leaq 0x29a6d(%rip), %rdx     # 0x30850
leaq 0x128(%rsp), %rdi
callq 0x9d18
leaq 0x22(%rsp), %rsi
leaq 0x128(%rsp), %rdx
movq %r14, %rdi
callq 0x9c24
leaq 0x158(%rsp), %r13
movq %rax, %r14
movb $0x9, 0x21(%rsp)
movq %r13, -0x10(%r13)
leaq 0x29a31(%rip), %rsi     # 0x30851
leaq 0x29a2c(%rip), %rdx     # 0x30853
leaq 0x148(%rsp), %rdi
callq 0x9d18
leaq 0x21(%rsp), %rsi
leaq 0x148(%rsp), %rdx
movq %r14, %rdi
callq 0x9c24
movq 0x148(%rsp), %rdi
cmpq %r13, %rdi
je 0x6e5b
callq 0x4210
movq 0x128(%rsp), %rdi
leaq 0x138(%rsp), %rax
cmpq %rax, %rdi
je 0x6e75
callq 0x4210
movq 0x168(%rsp), %rdi
cmpq %rbp, %rdi
je 0x6e87
callq 0x4210
movq 0xb8(%rsp), %rdi
movq 0x70(%rsp), %r13
movq 0x108(%rsp), %rbp
cmpq %r15, %rdi
je 0x6ea6
callq 0x4210
movq 0x98(%rsp), %rdi
leaq 0xa8(%rsp), %rax
cmpq %rax, %rdi
je 0x6ec0
callq 0x4210
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x6ed4
callq 0x4210
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6ee2
callq 0x4210
movl $0x20, %edi
callq 0x4250
movabsq $0x1f00000000, %rcx     # imm = 0x1F00000000
movq $0x0, 0x4(%rax)
movq %rsp, %rdi
leaq 0x290(%r12), %rsi
movq %rax, 0x8(%rdi)
movq %rcx, 0xc(%rax)
leaq 0x3d930(%rip), %rcx     # 0x44848
movq %rcx, (%rdi)
callq 0xe39a
movq %rsp, %r15
movq %r15, %rdi
leaq 0x248(%r12), %r14
callq 0xe4a2
movq 0x60(%rsp), %rax
movq 0x58(%rsp), %rcx
movq (%rax), %rax
movq (%rcx), %rcx
movq %rcx, (%r15)
movq %rax, 0x8(%r15)
movq %rsp, %rsi
movq %r14, %rdi
callq 0xe4da
movq 0x68(%rsp), %rax
movb $0x22, %cl
addq $0x200, %r12            # imm = 0x200
movq %rsp, %rsi
movq (%rax), %rax
movb %cl, (%rsi)
movq %rax, 0x8(%rsi)
movb %cl, 0x10(%rsi)
movq 0x28(%rsp), %r14
movq %r12, %rdi
callq 0xeb5e
movq %r13, %rdi
movq %r14, %rsi
callq 0x9cc0
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x298bd(%rip), %rsi     # 0x30854
leaq 0x298ba(%rip), %rdx     # 0x30858
callq 0x9d18
movq 0x120(%rsp), %rdi
movq %rsp, %rsi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6fc1
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2988b(%rip), %rsi     # 0x30859
leaq 0x29889(%rip), %rdx     # 0x3085e
callq 0x9d18
movq 0x118(%rsp), %rdi
movq %rsp, %rsi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x6ff8
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2985a(%rip), %rsi     # 0x3085f
leaq 0x29859(%rip), %rdx     # 0x30865
callq 0x9d18
movq 0x110(%rsp), %rdi
movq %rsp, %rsi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x702f
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2982a(%rip), %rsi     # 0x30866
leaq 0x29829(%rip), %rdx     # 0x3086c
callq 0x9d18
movq %rsp, %rsi
movq %rbp, %rdi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x7061
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x297ff(%rip), %rsi     # 0x3086d
leaq 0x297fd(%rip), %rdx     # 0x30872
callq 0x9d18
movq 0x100(%rsp), %rdi
movq %rsp, %rsi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x7098
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x297ce(%rip), %rsi     # 0x30873
leaq 0x297cd(%rip), %rdx     # 0x30879
callq 0x9d18
movq 0xf8(%rsp), %rdi
movq %rsp, %rsi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x70cf
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2979e(%rip), %rsi     # 0x3087a
leaq 0x2979c(%rip), %rdx     # 0x3087f
callq 0x9d18
movq 0xf0(%rsp), %rdi
movq %rsp, %rsi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x7106
callq 0x4210
movq %rsp, %rdi
movq %rbx, (%rdi)
leaq 0x2976d(%rip), %rsi     # 0x30880
leaq 0x29774(%rip), %rdx     # 0x3088e
callq 0x9d18
movq 0xe8(%rsp), %rdi
movq %rsp, %rsi
callq 0x4120
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x713d
callq 0x4210
addq $0x188, %rsp            # imm = 0x188
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0x4482
jmp 0x6ac5
callq 0x44a8
jmp 0x6ad3
jmp 0x728f
jmp 0x72a2
jmp 0x728f
jmp 0x72a2
jmp 0x728f
jmp 0x72a2
jmp 0x728f
jmp 0x72a2
jmp 0x728f
jmp 0x72a2
jmp 0x728f
jmp 0x72a2
jmp 0x728f
jmp 0x72a2
jmp 0x728f
jmp 0x72a2
jmp 0x72a2
jmp 0x72a2
jmp 0x72a2
movq %rsp, %rdi
movq %rax, %r14
callq 0xe4a2
jmp 0x72a5
jmp 0x72a2
movq 0x148(%rsp), %rdi
movq %rax, %r14
cmpq %r13, %rdi
je 0x71f3
callq 0x4210
jmp 0x71f3
jmp 0x71f0
movq %rax, %r14
movq 0x128(%rsp), %rdi
leaq 0x138(%rsp), %rax
cmpq %rax, %rdi
je 0x7214
callq 0x4210
jmp 0x7214
jmp 0x7211
movq %rax, %r14
movq 0x168(%rsp), %rdi
cmpq %rbp, %rdi
je 0x722d
callq 0x4210
jmp 0x722d
jmp 0x722a
movq %rax, %r14
movq 0xb8(%rsp), %rdi
cmpq %r15, %rdi
je 0x7246
callq 0x4210
jmp 0x7246
jmp 0x7243
movq %rax, %r14
movq 0x98(%rsp), %rdi
leaq 0xa8(%rsp), %rax
cmpq %rax, %rdi
je 0x7277
callq 0x4210
jmp 0x7277
jmp 0x7274
jmp 0x7274
jmp 0x728f
jmp 0x728f
jmp 0x72a2
jmp 0x72a2
jmp 0x72a2
jmp 0x72a2
jmp 0x72a2
movq %rax, %r14
movq 0x38(%rsp), %rdi
leaq 0x48(%rsp), %rax
cmpq %rax, %rdi
je 0x7292
callq 0x4210
jmp 0x7292
jmp 0x728f
movq %rax, %r14
movq (%rsp), %rdi
cmpq %rbx, %rdi
je 0x72a5
callq 0x4210
jmp 0x72a5
movq %rax, %r14
movq 0x58(%rsp), %rdi
callq 0x8ca8
movq 0x60(%rsp), %rdi
callq 0x8ccc
movq 0x68(%rsp), %rdi
callq 0x8cee
movq 0x30(%rsp), %rdi
callq 0x8d10
movq 0x78(%rsp), %rdi
callq 0x8d32
movq 0x80(%rsp), %rdi
callq 0x8d54
movq 0x28(%rsp), %rdi
callq 0x8d76
movq 0x70(%rsp), %rdi
callq 0x8d76
movq 0x88(%rsp), %rdi
callq 0x8d98
movq 0x90(%rsp), %rdi
callq 0x8dba
movq 0xe0(%rsp), %rax
movq (%rax), %rdi
cmpq 0xd8(%rsp), %rdi
je 0x732c
callq 0x4210
movq %r14, %rdi
callq 0x4410
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72af
callq 0x4210
jmp 0x72af
movq %rax, %r14
jmp 0x72af
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72b9
callq 0x4210
jmp 0x72b9
movq %rax, %r14
jmp 0x72b9
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72c3
callq 0x4210
jmp 0x72c3
movq %rax, %r14
jmp 0x72c3
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72cd
callq 0x4210
jmp 0x72cd
movq %rax, %r14
jmp 0x72cd
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72d7
callq 0x4210
jmp 0x72d7
movq %rax, %r14
jmp 0x72d7
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72e4
callq 0x4210
jmp 0x72e4
movq %rax, %r14
jmp 0x72e4
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72ee
callq 0x4210
jmp 0x72ee
movq %rax, %r14
jmp 0x72ee
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x72f8
callq 0x4210
jmp 0x72f8
movq %rax, %r14
jmp 0x72f8
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x7305
callq 0x4210
jmp 0x7305
movq %rax, %r14
jmp 0x7305
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
je 0x7312
callq 0x4210
jmp 0x7312
movq %rax, %r14
jmp 0x7312
movq (%rsp), %rdi
movq %rax, %r14
cmpq %rbx, %rdi
jne 0x7327
jmp 0x732c
movq %rax, %r14
jmp 0x732c
nop