// File: dsharlet[P]array/test/array_lifetime.cpp
// Function: void nda::test_reshape_lifetime<std::allocator<nda::lifetime_counter>>(bool)
void test_reshape_lifetime(bool alloc_movable = true) {
  lifetime_array<Alloc> default_init(lifetime_shape);
  {
    lifetime_counter::reset();
    // No-op test case.
    default_init.reshape(lifetime_shape);
    ASSERT_EQ(lifetime_counter::constructs(), 0);
    ASSERT_EQ(lifetime_counter::moves(), 0);
    ASSERT_EQ(lifetime_counter::destructs, 0);
  }
  {
    lifetime_counter::reset();
    default_init.reshape(lifetime_subshape);
    if (alloc_movable) {
      ASSERT_EQ(lifetime_counter::constructs(), lifetime_subshape.size());
      ASSERT_EQ(lifetime_counter::moves(), lifetime_subshape.size());
      ASSERT_EQ(lifetime_counter::destructs, lifetime_shape.size());
    } else {
      ASSERT_EQ(lifetime_counter::constructs(), lifetime_subshape.size() * 2);
      ASSERT_EQ(lifetime_counter::moves(), lifetime_subshape.size() * 2);
      ASSERT_EQ(lifetime_counter::destructs, lifetime_shape.size() + lifetime_subshape.size());
    }
  }
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x1440, %rsp           # imm = 0x1440
movb %dil, %al
andb $0x1, %al
movb %al, -0x1(%rbp)
leaq 0x2207de(%rip), %rsi    # 0x292258
leaq -0x58(%rbp), %rdi
movq %rdi, -0x10c8(%rbp)
callq 0x7f7e0
callq 0x7f630
movq -0x10c8(%rbp), %rdi
movups 0x2207db(%rip), %xmm0   # 0x292278
movaps %xmm0, -0x70(%rbp)
movups 0x2207c0(%rip), %xmm0   # 0x292268
movaps %xmm0, -0x80(%rbp)
movups 0x2207a5(%rip), %xmm0   # 0x292258
movaps %xmm0, -0x90(%rbp)
leaq -0x90(%rbp), %rsi
callq 0x8b050
jmp 0x71ac8
callq 0x7f730
testq %rax, %rax
sete %al
movb %al, -0x10d1(%rbp)
leaq -0x251(%rbp), %rdi
movq %rdi, -0x10d0(%rbp)
callq 0x33b0
movq -0x10d0(%rbp), %rdx
leaq 0x16fd28(%rip), %rsi    # 0x1e1822
leaq -0x250(%rbp), %rdi
callq 0x10a90
jmp 0x71b08
movb -0x10d1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x230(%rbp), %rdi
leaq -0x250(%rbp), %rdx
callq 0x10f80
jmp 0x71b29
leaq 0x16acb5(%rip), %rsi    # 0x1dc7e5
leaq -0x230(%rbp), %rdi
callq 0x34320
movq %rax, -0x10e0(%rbp)
jmp 0x71b45
movq -0x10e0(%rbp), %rdi
leaq 0x175728(%rip), %rsi    # 0x1e727b
callq 0x7f760
movq %rax, -0x10e8(%rbp)
jmp 0x71b61
movq -0x10e8(%rbp), %rdi
leaq 0x16ec3d(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x10f0(%rbp)
jmp 0x71b7d
callq 0x7f730
movq -0x10f0(%rbp), %rdi
movq %rax, -0x260(%rbp)
leaq -0x260(%rbp), %rsi
callq 0x355c0
movq %rax, -0x10f8(%rbp)
jmp 0x71ba5
movq -0x10f8(%rbp), %rdi
leaq 0x16ac32(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x1100(%rbp)
jmp 0x71bc1
movq -0x1100(%rbp), %rdi
leaq 0x16c865(%rip), %rsi    # 0x1de434
callq 0x34320
movq %rax, -0x1108(%rbp)
jmp 0x71bdd
movq -0x1108(%rbp), %rdi
leaq 0x16ebc1(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1110(%rbp)
jmp 0x71bf9
movq -0x1110(%rbp), %rdi
movl $0x0, -0x264(%rbp)
leaq -0x264(%rbp), %rsi
callq 0x343a0
movq %rax, -0x1118(%rbp)
jmp 0x71c1f
movq -0x1118(%rbp), %rdi
leaq 0x18484e(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x71c34
leaq -0x230(%rbp), %rdi
callq 0x10ff0
jmp 0x71c42
leaq -0x250(%rbp), %rdi
callq 0x3100
leaq -0x251(%rbp), %rdi
callq 0x3290
callq 0x880e0
testq %rax, %rax
sete %al
movb %al, -0x1121(%rbp)
leaq -0x419(%rbp), %rdi
movq %rdi, -0x1120(%rbp)
callq 0x33b0
movq -0x1120(%rbp), %rdx
leaq 0x17398a(%rip), %rsi    # 0x1e5616
leaq -0x418(%rbp), %rdi
callq 0x10a90
jmp 0x71c9a
movb -0x1121(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x3f8(%rbp), %rdi
leaq -0x418(%rbp), %rdx
callq 0x10f80
jmp 0x71cbb
leaq 0x16ab23(%rip), %rsi    # 0x1dc7e5
leaq -0x3f8(%rbp), %rdi
callq 0x34320
movq %rax, -0x1130(%rbp)
jmp 0x71cd7
movq -0x1130(%rbp), %rdi
leaq 0x173950(%rip), %rsi    # 0x1e5635
callq 0x85670
movq %rax, -0x1138(%rbp)
jmp 0x71cf3
movq -0x1138(%rbp), %rdi
leaq 0x16eaab(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1140(%rbp)
jmp 0x71d0f
callq 0x880e0
movq -0x1140(%rbp), %rdi
movq %rax, -0x428(%rbp)
leaq -0x428(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1148(%rbp)
jmp 0x71d37
movq -0x1148(%rbp), %rdi
leaq 0x16aaa0(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x1150(%rbp)
jmp 0x71d53
movq -0x1150(%rbp), %rdi
leaq 0x16c6d3(%rip), %rsi    # 0x1de434
callq 0x34320
movq %rax, -0x1158(%rbp)
jmp 0x71d6f
movq -0x1158(%rbp), %rdi
leaq 0x16ea2f(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1160(%rbp)
jmp 0x71d8b
movq -0x1160(%rbp), %rdi
movl $0x0, -0x42c(%rbp)
leaq -0x42c(%rbp), %rsi
callq 0x343a0
movq %rax, -0x1168(%rbp)
jmp 0x71db1
movq -0x1168(%rbp), %rdi
leaq 0x1846bc(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x71dc6
leaq -0x3f8(%rbp), %rdi
callq 0x10ff0
jmp 0x71dd4
leaq -0x418(%rbp), %rdi
callq 0x3100
leaq -0x419(%rbp), %rdi
callq 0x3290
leaq 0x220565(%rip), %rax    # 0x292358
movq (%rax), %rax
testq %rax, %rax
sete %al
movb %al, -0x1171(%rbp)
leaq -0x5e1(%rbp), %rdi
movq %rdi, -0x1170(%rbp)
callq 0x33b0
movq -0x1170(%rbp), %rdx
leaq 0x175269(%rip), %rsi    # 0x1e708c
leaq -0x5e0(%rbp), %rdi
callq 0x10a90
jmp 0x71e31
movb -0x1171(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x5c0(%rbp), %rdi
leaq -0x5e0(%rbp), %rdx
callq 0x10f80
jmp 0x71e52
leaq 0x16a98c(%rip), %rsi    # 0x1dc7e5
leaq -0x5c0(%rbp), %rdi
callq 0x34320
movq %rax, -0x1180(%rbp)
jmp 0x71e6e
movq -0x1180(%rbp), %rdi
leaq 0x16fa62(%rip), %rsi    # 0x1e18de
callq 0x7f8f0
movq %rax, -0x1188(%rbp)
jmp 0x71e8a
movq -0x1188(%rbp), %rdi
leaq 0x16e914(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1190(%rbp)
jmp 0x71ea6
movq -0x1190(%rbp), %rdi
leaq 0x2204a4(%rip), %rsi    # 0x292358
callq 0x355c0
movq %rax, -0x1198(%rbp)
jmp 0x71ec2
movq -0x1198(%rbp), %rdi
leaq 0x16a915(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x11a0(%rbp)
jmp 0x71ede
movq -0x11a0(%rbp), %rdi
leaq 0x16c548(%rip), %rsi    # 0x1de434
callq 0x34320
movq %rax, -0x11a8(%rbp)
jmp 0x71efa
movq -0x11a8(%rbp), %rdi
leaq 0x16e8a4(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x11b0(%rbp)
jmp 0x71f16
movq -0x11b0(%rbp), %rdi
movl $0x0, -0x5e8(%rbp)
leaq -0x5e8(%rbp), %rsi
callq 0x343a0
movq %rax, -0x11b8(%rbp)
jmp 0x71f3c
movq -0x11b8(%rbp), %rdi
leaq 0x184531(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x71f51
leaq -0x5c0(%rbp), %rdi
callq 0x10ff0
jmp 0x71f5f
leaq -0x5e0(%rbp), %rdi
callq 0x3100
leaq -0x5e1(%rbp), %rdi
callq 0x3290
callq 0x7f630
movups 0x220325(%rip), %xmm0   # 0x2922a8
movaps %xmm0, -0x600(%rbp)
movups 0x220307(%rip), %xmm0   # 0x292298
movaps %xmm0, -0x610(%rbp)
movups 0x2202e9(%rip), %xmm0   # 0x292288
movaps %xmm0, -0x620(%rbp)
leaq -0x58(%rbp), %rdi
leaq -0x620(%rbp), %rsi
callq 0x8b050
jmp 0x71fb8
testb $0x1, -0x1(%rbp)
je 0x727c0
callq 0x7f730
movq %rax, -0x11c8(%rbp)
leaq 0x2202b3(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x11c0(%rbp)
jmp 0x71fe3
movq -0x11c0(%rbp), %rcx
movq -0x11c8(%rbp), %rax
subq %rcx, %rax
sete %al
movb %al, -0x11d1(%rbp)
leaq -0x7d1(%rbp), %rdi
movq %rdi, -0x11d0(%rbp)
callq 0x33b0
movq -0x11d0(%rbp), %rdx
leaq 0x1736d5(%rip), %rsi    # 0x1e56f3
leaq -0x7d0(%rbp), %rdi
callq 0x10a90
jmp 0x7202c
movb -0x11d1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x7b0(%rbp), %rdi
leaq -0x7d0(%rbp), %rdx
callq 0x10f80
jmp 0x7204d
leaq 0x16a791(%rip), %rsi    # 0x1dc7e5
leaq -0x7b0(%rbp), %rdi
callq 0x34320
movq %rax, -0x11e0(%rbp)
jmp 0x72069
movq -0x11e0(%rbp), %rdi
leaq 0x175204(%rip), %rsi    # 0x1e727b
callq 0x7f760
movq %rax, -0x11e8(%rbp)
jmp 0x72085
movq -0x11e8(%rbp), %rdi
leaq 0x16e719(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x11f0(%rbp)
jmp 0x720a1
callq 0x7f730
movq -0x11f0(%rbp), %rdi
movq %rax, -0x7e0(%rbp)
leaq -0x7e0(%rbp), %rsi
callq 0x355c0
movq %rax, -0x11f8(%rbp)
jmp 0x720c9
movq -0x11f8(%rbp), %rdi
leaq 0x16a70e(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x1200(%rbp)
jmp 0x720e5
movq -0x1200(%rbp), %rdi
leaq 0x1736cc(%rip), %rsi    # 0x1e57bf
callq 0x86430
movq %rax, -0x1208(%rbp)
jmp 0x72101
movq -0x1208(%rbp), %rdi
leaq 0x16e69d(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1210(%rbp)
jmp 0x7211d
leaq 0x220164(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x1218(%rbp)
jmp 0x72132
movq -0x1210(%rbp), %rdi
movq -0x1218(%rbp), %rax
movq %rax, -0x7e8(%rbp)
leaq -0x7e8(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1220(%rbp)
jmp 0x7215c
movq -0x1220(%rbp), %rdi
leaq 0x184311(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x72171
leaq -0x7b0(%rbp), %rdi
callq 0x10ff0
jmp 0x7217f
leaq -0x7d0(%rbp), %rdi
callq 0x3100
leaq -0x7d1(%rbp), %rdi
callq 0x3290
callq 0x880e0
movq %rax, -0x1230(%rbp)
leaq 0x2200de(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x1228(%rbp)
jmp 0x721b8
movq -0x1228(%rbp), %rcx
movq -0x1230(%rbp), %rax
subq %rcx, %rax
sete %al
movb %al, -0x1239(%rbp)
leaq -0x999(%rbp), %rdi
movq %rdi, -0x1238(%rbp)
callq 0x33b0
movq -0x1238(%rbp), %rdx
leaq 0x174eba(%rip), %rsi    # 0x1e70ad
leaq -0x998(%rbp), %rdi
callq 0x10a90
jmp 0x72201
movb -0x1239(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x978(%rbp), %rdi
leaq -0x998(%rbp), %rdx
callq 0x10f80
jmp 0x72222
leaq 0x16a5bc(%rip), %rsi    # 0x1dc7e5
leaq -0x978(%rbp), %rdi
callq 0x34320
movq %rax, -0x1248(%rbp)
jmp 0x7223e
movq -0x1248(%rbp), %rdi
leaq 0x1733e9(%rip), %rsi    # 0x1e5635
callq 0x85670
movq %rax, -0x1250(%rbp)
jmp 0x7225a
movq -0x1250(%rbp), %rdi
leaq 0x16e544(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1258(%rbp)
jmp 0x72276
callq 0x880e0
movq -0x1258(%rbp), %rdi
movq %rax, -0x9a8(%rbp)
leaq -0x9a8(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1260(%rbp)
jmp 0x7229e
movq -0x1260(%rbp), %rdi
leaq 0x16a539(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x1268(%rbp)
jmp 0x722ba
movq -0x1268(%rbp), %rdi
leaq 0x1734f7(%rip), %rsi    # 0x1e57bf
callq 0x86430
movq %rax, -0x1270(%rbp)
jmp 0x722d6
movq -0x1270(%rbp), %rdi
leaq 0x16e4c8(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1278(%rbp)
jmp 0x722f2
leaq 0x21ff8f(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x1280(%rbp)
jmp 0x72307
movq -0x1278(%rbp), %rdi
movq -0x1280(%rbp), %rax
movq %rax, -0x9b0(%rbp)
leaq -0x9b0(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1288(%rbp)
jmp 0x72331
movq -0x1288(%rbp), %rdi
leaq 0x18413c(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x72346
leaq -0x978(%rbp), %rdi
callq 0x10ff0
jmp 0x72354
leaq -0x998(%rbp), %rdi
callq 0x3100
leaq -0x999(%rbp), %rdi
callq 0x3290
leaq 0x21ffe5(%rip), %rax    # 0x292358
movq (%rax), %rax
movq %rax, -0x1298(%rbp)
leaq 0x21fed4(%rip), %rdi    # 0x292258
callq 0x1a900
movq %rax, -0x1290(%rbp)
jmp 0x72392
movq -0x1290(%rbp), %rcx
movq -0x1298(%rbp), %rax
subq %rcx, %rax
sete %al
movb %al, -0x12a1(%rbp)
leaq -0xb61(%rbp), %rdi
movq %rdi, -0x12a0(%rbp)
callq 0x33b0
movq -0x12a0(%rbp), %rdx
leaq 0x16f4dc(%rip), %rsi    # 0x1e18a9
leaq -0xb60(%rbp), %rdi
callq 0x10a90
jmp 0x723db
movb -0x12a1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xb40(%rbp), %rdi
leaq -0xb60(%rbp), %rdx
callq 0x10f80
jmp 0x723fc
leaq 0x16a3e2(%rip), %rsi    # 0x1dc7e5
leaq -0xb40(%rbp), %rdi
callq 0x34320
movq %rax, -0x12b0(%rbp)
jmp 0x72418
movq -0x12b0(%rbp), %rdi
leaq 0x16f4b8(%rip), %rsi    # 0x1e18de
callq 0x7f8f0
movq %rax, -0x12b8(%rbp)
jmp 0x72434
movq -0x12b8(%rbp), %rdi
leaq 0x16e36a(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x12c0(%rbp)
jmp 0x72450
movq -0x12c0(%rbp), %rdi
leaq 0x21fefa(%rip), %rsi    # 0x292358
callq 0x355c0
movq %rax, -0x12c8(%rbp)
jmp 0x7246c
movq -0x12c8(%rbp), %rdi
leaq 0x16a36b(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x12d0(%rbp)
jmp 0x72488
movq -0x12d0(%rbp), %rdi
leaq 0x17320e(%rip), %rsi    # 0x1e56a4
callq 0x34ba0
movq %rax, -0x12d8(%rbp)
jmp 0x724a4
movq -0x12d8(%rbp), %rdi
leaq 0x16e2fa(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x12e0(%rbp)
jmp 0x724c0
leaq 0x21fd91(%rip), %rdi    # 0x292258
callq 0x1a900
movq %rax, -0x12e8(%rbp)
jmp 0x724d5
movq -0x12e0(%rbp), %rdi
movq -0x12e8(%rbp), %rax
movq %rax, -0xb70(%rbp)
leaq -0xb70(%rbp), %rsi
callq 0x355c0
movq %rax, -0x12f0(%rbp)
jmp 0x724ff
movq -0x12f0(%rbp), %rdi
leaq 0x183f6e(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x72514
leaq -0xb40(%rbp), %rdi
callq 0x10ff0
jmp 0x72522
leaq -0xb60(%rbp), %rdi
callq 0x3100
leaq -0xb61(%rbp), %rdi
callq 0x3290
jmp 0x72eb6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x725ac
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x725a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x230(%rbp), %rdi
callq 0x10ff0
jmp 0x7259e
jmp 0x725a0
leaq -0x250(%rbp), %rdi
callq 0x3100
leaq -0x251(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72613
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72607
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x3f8(%rbp), %rdi
callq 0x10ff0
jmp 0x72605
jmp 0x72607
leaq -0x418(%rbp), %rdi
callq 0x3100
leaq -0x419(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x7267a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x7266e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x5c0(%rbp), %rdi
callq 0x10ff0
jmp 0x7266c
jmp 0x7266e
leaq -0x5e0(%rbp), %rdi
callq 0x3100
leaq -0x5e1(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x726e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x726d5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x7b0(%rbp), %rdi
callq 0x10ff0
jmp 0x726d3
jmp 0x726d5
leaq -0x7d0(%rbp), %rdi
callq 0x3100
leaq -0x7d1(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72748
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x7273c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x978(%rbp), %rdi
callq 0x10ff0
jmp 0x7273a
jmp 0x7273c
leaq -0x998(%rbp), %rdi
callq 0x3100
leaq -0x999(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x727af
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x727a3
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0xb40(%rbp), %rdi
callq 0x10ff0
jmp 0x727a1
jmp 0x727a3
leaq -0xb60(%rbp), %rdi
callq 0x3100
leaq -0xb61(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
callq 0x7f730
movq %rax, -0x1300(%rbp)
leaq 0x21fab5(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x12f8(%rbp)
jmp 0x727e1
movq -0x1300(%rbp), %rax
movq -0x12f8(%rbp), %rcx
addq %rcx, %rcx
subq %rcx, %rax
sete %al
movb %al, -0x1309(%rbp)
leaq -0xd21(%rbp), %rdi
movq %rdi, -0x1308(%rbp)
callq 0x33b0
movq -0x1308(%rbp), %rdx
leaq 0x1748c4(%rip), %rsi    # 0x1e70e3
leaq -0xd20(%rbp), %rdi
callq 0x10a90
jmp 0x7282d
movb -0x1309(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xd00(%rbp), %rdi
leaq -0xd20(%rbp), %rdx
callq 0x10f80
jmp 0x7284e
leaq 0x169f90(%rip), %rsi    # 0x1dc7e5
leaq -0xd00(%rbp), %rdi
callq 0x34320
movq %rax, -0x1318(%rbp)
jmp 0x7286a
movq -0x1318(%rbp), %rdi
leaq 0x174a03(%rip), %rsi    # 0x1e727b
callq 0x7f760
movq %rax, -0x1320(%rbp)
jmp 0x72886
movq -0x1320(%rbp), %rdi
leaq 0x16df18(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1328(%rbp)
jmp 0x728a2
callq 0x7f730
movq -0x1328(%rbp), %rdi
movq %rax, -0xd30(%rbp)
leaq -0xd30(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1330(%rbp)
jmp 0x728ca
movq -0x1330(%rbp), %rdi
leaq 0x169f0d(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x1338(%rbp)
jmp 0x728e6
movq -0x1338(%rbp), %rdi
leaq 0x17484b(%rip), %rsi    # 0x1e713f
callq 0x8b1f0
movq %rax, -0x1340(%rbp)
jmp 0x72902
movq -0x1340(%rbp), %rdi
leaq 0x16de9c(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1348(%rbp)
jmp 0x7291e
leaq 0x21f963(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x1350(%rbp)
jmp 0x72933
movq -0x1348(%rbp), %rdi
movq -0x1350(%rbp), %rax
addq %rax, %rax
movq %rax, -0xd38(%rbp)
leaq -0xd38(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1358(%rbp)
jmp 0x72960
movq -0x1358(%rbp), %rdi
leaq 0x183b0d(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x72975
leaq -0xd00(%rbp), %rdi
callq 0x10ff0
jmp 0x72983
leaq -0xd20(%rbp), %rdi
callq 0x3100
leaq -0xd21(%rbp), %rdi
callq 0x3290
callq 0x880e0
movq %rax, -0x1368(%rbp)
leaq 0x21f8da(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x1360(%rbp)
jmp 0x729bc
movq -0x1368(%rbp), %rax
movq -0x1360(%rbp), %rcx
addq %rcx, %rcx
subq %rcx, %rax
sete %al
movb %al, -0x1371(%rbp)
leaq -0xee9(%rbp), %rdi
movq %rdi, -0x1370(%rbp)
callq 0x33b0
movq -0x1370(%rbp), %rdx
leaq 0x174728(%rip), %rsi    # 0x1e7122
leaq -0xee8(%rbp), %rdi
callq 0x10a90
jmp 0x72a08
movb -0x1371(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xec8(%rbp), %rdi
leaq -0xee8(%rbp), %rdx
callq 0x10f80
jmp 0x72a29
leaq 0x169db5(%rip), %rsi    # 0x1dc7e5
leaq -0xec8(%rbp), %rdi
callq 0x34320
movq %rax, -0x1380(%rbp)
jmp 0x72a45
movq -0x1380(%rbp), %rdi
leaq 0x172be2(%rip), %rsi    # 0x1e5635
callq 0x85670
movq %rax, -0x1388(%rbp)
jmp 0x72a61
movq -0x1388(%rbp), %rdi
leaq 0x16dd3d(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1390(%rbp)
jmp 0x72a7d
callq 0x880e0
movq -0x1390(%rbp), %rdi
movq %rax, -0xef8(%rbp)
leaq -0xef8(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1398(%rbp)
jmp 0x72aa5
movq -0x1398(%rbp), %rdi
leaq 0x169d32(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x13a0(%rbp)
jmp 0x72ac1
movq -0x13a0(%rbp), %rdi
leaq 0x174670(%rip), %rsi    # 0x1e713f
callq 0x8b1f0
movq %rax, -0x13a8(%rbp)
jmp 0x72add
movq -0x13a8(%rbp), %rdi
leaq 0x16dcc1(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x13b0(%rbp)
jmp 0x72af9
leaq 0x21f788(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x13b8(%rbp)
jmp 0x72b0e
movq -0x13b0(%rbp), %rdi
movq -0x13b8(%rbp), %rax
addq %rax, %rax
movq %rax, -0xf00(%rbp)
leaq -0xf00(%rbp), %rsi
callq 0x355c0
movq %rax, -0x13c0(%rbp)
jmp 0x72b3b
movq -0x13c0(%rbp), %rdi
leaq 0x183932(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x72b50
leaq -0xec8(%rbp), %rdi
callq 0x10ff0
jmp 0x72b5e
leaq -0xee8(%rbp), %rdi
callq 0x3100
leaq -0xee9(%rbp), %rdi
callq 0x3290
leaq 0x21f7db(%rip), %rax    # 0x292358
movq (%rax), %rax
movq %rax, -0x13d0(%rbp)
leaq 0x21f6ca(%rip), %rdi    # 0x292258
callq 0x1a900
movq %rax, -0x13c8(%rbp)
jmp 0x72b9c
leaq 0x21f6e5(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x13d8(%rbp)
jmp 0x72bb1
movq -0x13d0(%rbp), %rax
movq -0x13d8(%rbp), %rdx
movq -0x13c8(%rbp), %rcx
addq %rdx, %rcx
subq %rcx, %rax
sete %al
movb %al, -0x13e1(%rbp)
leaq -0x10b1(%rbp), %rdi
movq %rdi, -0x13e0(%rbp)
callq 0x33b0
movq -0x13e0(%rbp), %rdx
leaq 0x172b92(%rip), %rsi    # 0x1e5788
leaq -0x10b0(%rbp), %rdi
callq 0x10a90
jmp 0x72c04
movb -0x13e1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x1090(%rbp), %rdi
leaq -0x10b0(%rbp), %rdx
callq 0x10f80
jmp 0x72c25
leaq 0x169bb9(%rip), %rsi    # 0x1dc7e5
leaq -0x1090(%rbp), %rdi
callq 0x34320
movq %rax, -0x13f0(%rbp)
jmp 0x72c41
movq -0x13f0(%rbp), %rdi
leaq 0x16ec8f(%rip), %rsi    # 0x1e18de
callq 0x7f8f0
movq %rax, -0x13f8(%rbp)
jmp 0x72c5d
movq -0x13f8(%rbp), %rdi
leaq 0x16db41(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1400(%rbp)
jmp 0x72c79
movq -0x1400(%rbp), %rdi
leaq 0x21f6d1(%rip), %rsi    # 0x292358
callq 0x355c0
movq %rax, -0x1408(%rbp)
jmp 0x72c95
movq -0x1408(%rbp), %rdi
leaq 0x169b42(%rip), %rsi    # 0x1dc7e5
callq 0x34320
movq %rax, -0x1410(%rbp)
jmp 0x72cb1
movq -0x1410(%rbp), %rdi
leaq 0x172ae8(%rip), %rsi    # 0x1e57a7
callq 0x88150
movq %rax, -0x1418(%rbp)
jmp 0x72ccd
movq -0x1418(%rbp), %rdi
leaq 0x16dad1(%rip), %rsi    # 0x1e07ac
callq 0x34320
movq %rax, -0x1420(%rbp)
jmp 0x72ce9
leaq 0x21f568(%rip), %rdi    # 0x292258
callq 0x1a900
movq %rax, -0x1428(%rbp)
jmp 0x72cfe
leaq 0x21f583(%rip), %rdi    # 0x292288
callq 0x1a900
movq %rax, -0x1430(%rbp)
jmp 0x72d13
movq -0x1420(%rbp), %rdi
movq -0x1430(%rbp), %rcx
movq -0x1428(%rbp), %rax
addq %rcx, %rax
movq %rax, -0x10c0(%rbp)
leaq -0x10c0(%rbp), %rsi
callq 0x355c0
movq %rax, -0x1438(%rbp)
jmp 0x72d47
movq -0x1438(%rbp), %rdi
leaq 0x183726(%rip), %rsi    # 0x1f647b
callq 0x34320
jmp 0x72d5c
leaq -0x1090(%rbp), %rdi
callq 0x10ff0
jmp 0x72d6a
leaq -0x10b0(%rbp), %rdi
callq 0x3100
leaq -0x10b1(%rbp), %rdi
callq 0x3290
jmp 0x72eb6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72ddd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72dd1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0xd00(%rbp), %rdi
callq 0x10ff0
jmp 0x72dcf
jmp 0x72dd1
leaq -0xd20(%rbp), %rdi
callq 0x3100
leaq -0xd21(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72e44
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72e38
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0xec8(%rbp), %rdi
callq 0x10ff0
jmp 0x72e36
jmp 0x72e38
leaq -0xee8(%rbp), %rdi
callq 0x3100
leaq -0xee9(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72ea8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
jmp 0x72e9c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x98(%rbp)
movl %eax, -0x9c(%rbp)
leaq -0x1090(%rbp), %rdi
callq 0x10ff0
jmp 0x72e9a
jmp 0x72e9c
leaq -0x10b0(%rbp), %rdi
callq 0x3100
leaq -0x10b1(%rbp), %rdi
callq 0x3290
jmp 0x72ec8
leaq -0x58(%rbp), %rdi
callq 0x7f870
addq $0x1440, %rsp           # imm = 0x1440
popq %rbp
retq
leaq -0x58(%rbp), %rdi
callq 0x7f870
movq -0x98(%rbp), %rdi
callq 0x33a0
movq %rax, %rdi
callq 0x116d0
nopw %cs:(%rax,%rax)
nop