// File: dsharlet[P]array/test/shape.cpp
// Function: nda::test_shape_conversion_body()
TEST(shape_conversion) {
  dense_shape<2> static_dense({0, 10}, {1, 5});
  shape_of_rank<2> dense = static_dense;
  ASSERT_EQ(dense, static_dense);

  static_dense = dense;
  ASSERT_EQ(dense, static_dense);

  dense_shape<2> static_dense2(dense);
  ASSERT_EQ(dense, static_dense2);

  shape_of_rank<2> dense_unresolved({0, 10}, {1, 5});
  dense_shape<2> static_dense3(dense);
  ASSERT_EQ(dense, static_dense3);

  ASSERT(is_compatible<dense_shape<2>>(dense));

  shape_of_rank<2> sparse({0, 10, 2}, {1, 5, 20});
  ASSERT(!is_compatible<dense_shape<2>>(sparse));

  dense_shape<3> uprank = convert_shape<dense_shape<3>>(dense);
  ASSERT_EQ(uprank.z().min(), 0);
  ASSERT_EQ(uprank.z().extent(), 1);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x12e0, %rsp           # imm = 0x12E0
xorl %eax, %eax
movl %eax, %esi
leaq -0x88(%rbp), %rdi
movq %rdi, -0x1058(%rbp)
movl $0xa, %edx
movl $0x1, %ecx
movq %rcx, -0x1060(%rbp)
callq 0x16d70
movq -0x1060(%rbp), %rsi
leaq -0xa0(%rbp), %rdi
movq %rdi, -0x1050(%rbp)
movl $0x5, %edx
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
callq 0x10c60
movq -0x1058(%rbp), %rsi
movq -0x1050(%rbp), %rdx
leaq -0x70(%rbp), %rdi
movq %rdi, -0x1040(%rbp)
callq 0x349d0
movq -0x1040(%rbp), %rsi
leaq -0xd0(%rbp), %rdi
movq %rdi, -0x1048(%rbp)
callq 0x18b120
movq -0x1048(%rbp), %rdi
movq -0x1040(%rbp), %rsi
callq 0x18b160
movb %al, -0x1031(%rbp)
leaq -0x281(%rbp), %rdi
movq %rdi, -0x1030(%rbp)
callq 0x33b0
movq -0x1030(%rbp), %rdx
leaq 0x784de(%rip), %rsi     # 0x1fbb8c
leaq -0x280(%rbp), %rdi
callq 0x10a90
jmp 0x1836bc
movb -0x1031(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x260(%rbp), %rdi
leaq -0x280(%rbp), %rdx
callq 0x10f80
jmp 0x1836dd
leaq 0x59101(%rip), %rsi     # 0x1dc7e5
leaq -0x260(%rbp), %rdi
callq 0x34320
movq %rax, -0x1068(%rbp)
jmp 0x1836f9
movq -0x1068(%rbp), %rdi
leaq 0x6451c(%rip), %rsi     # 0x1e7c23
callq 0x661c0
movq %rax, -0x1070(%rbp)
jmp 0x183715
movq -0x1070(%rbp), %rdi
leaq 0x5d089(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x1078(%rbp)
jmp 0x183731
movq -0x1078(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x18b1a0
movq %rax, -0x1080(%rbp)
jmp 0x18374d
movq -0x1080(%rbp), %rdi
leaq 0x5908a(%rip), %rsi     # 0x1dc7e5
callq 0x34320
movq %rax, -0x1088(%rbp)
jmp 0x183769
movq -0x1088(%rbp), %rdi
leaq 0x7841e(%rip), %rsi     # 0x1fbb95
callq 0x346f0
movq %rax, -0x1090(%rbp)
jmp 0x183785
movq -0x1090(%rbp), %rdi
leaq 0x5d019(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x1098(%rbp)
jmp 0x1837a1
movq -0x1098(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x18b1e0
movq %rax, -0x10a0(%rbp)
jmp 0x1837ba
movq -0x10a0(%rbp), %rdi
leaq 0x72cb3(%rip), %rsi     # 0x1f647b
callq 0x34320
jmp 0x1837cf
leaq -0x260(%rbp), %rdi
callq 0x10ff0
jmp 0x1837dd
leaq -0x280(%rbp), %rdi
callq 0x3100
leaq -0x281(%rbp), %rdi
callq 0x3290
leaq -0x70(%rbp), %rdi
movq %rdi, -0x10b8(%rbp)
leaq -0xd0(%rbp), %rsi
movq %rsi, -0x10c0(%rbp)
callq 0x18b220
movq -0x10c0(%rbp), %rdi
movq -0x10b8(%rbp), %rsi
callq 0x18b160
movb %al, -0x10a9(%rbp)
leaq -0x449(%rbp), %rdi
movq %rdi, -0x10a8(%rbp)
callq 0x33b0
movq -0x10a8(%rbp), %rdx
leaq 0x7833f(%rip), %rsi     # 0x1fbb8c
leaq -0x448(%rbp), %rdi
callq 0x10a90
jmp 0x18385b
movb -0x10a9(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x428(%rbp), %rdi
leaq -0x448(%rbp), %rdx
callq 0x10f80
jmp 0x18387c
leaq 0x58f62(%rip), %rsi     # 0x1dc7e5
leaq -0x428(%rbp), %rdi
callq 0x34320
movq %rax, -0x10c8(%rbp)
jmp 0x183898
movq -0x10c8(%rbp), %rdi
leaq 0x6437d(%rip), %rsi     # 0x1e7c23
callq 0x661c0
movq %rax, -0x10d0(%rbp)
jmp 0x1838b4
movq -0x10d0(%rbp), %rdi
leaq 0x5ceea(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x10d8(%rbp)
jmp 0x1838d0
movq -0x10d8(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x18b1a0
movq %rax, -0x10e0(%rbp)
jmp 0x1838ec
movq -0x10e0(%rbp), %rdi
leaq 0x58eeb(%rip), %rsi     # 0x1dc7e5
callq 0x34320
movq %rax, -0x10e8(%rbp)
jmp 0x183908
movq -0x10e8(%rbp), %rdi
leaq 0x7827f(%rip), %rsi     # 0x1fbb95
callq 0x346f0
movq %rax, -0x10f0(%rbp)
jmp 0x183924
movq -0x10f0(%rbp), %rdi
leaq 0x5ce7a(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x10f8(%rbp)
jmp 0x183940
movq -0x10f8(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0x18b1e0
movq %rax, -0x1100(%rbp)
jmp 0x183959
movq -0x1100(%rbp), %rdi
leaq 0x72b14(%rip), %rsi     # 0x1f647b
callq 0x34320
jmp 0x18396e
leaq -0x428(%rbp), %rdi
callq 0x10ff0
jmp 0x18397c
leaq -0x448(%rbp), %rdi
callq 0x3100
leaq -0x449(%rbp), %rdi
callq 0x3290
leaq -0x480(%rbp), %rdi
movq %rdi, -0x1118(%rbp)
leaq -0xd0(%rbp), %rsi
movq %rsi, -0x1120(%rbp)
callq 0x18b260
movq -0x1120(%rbp), %rdi
movq -0x1118(%rbp), %rsi
callq 0x18b160
movb %al, -0x1109(%rbp)
leaq -0x631(%rbp), %rdi
movq %rdi, -0x1108(%rbp)
callq 0x33b0
movq -0x1108(%rbp), %rdx
leaq 0x781b3(%rip), %rsi     # 0x1fbba2
leaq -0x630(%rbp), %rdi
callq 0x10a90
jmp 0x1839fd
movb -0x1109(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x610(%rbp), %rdi
leaq -0x630(%rbp), %rdx
callq 0x10f80
jmp 0x183a1e
leaq 0x58dc0(%rip), %rsi     # 0x1dc7e5
leaq -0x610(%rbp), %rdi
callq 0x34320
movq %rax, -0x1128(%rbp)
jmp 0x183a3a
movq -0x1128(%rbp), %rdi
leaq 0x641db(%rip), %rsi     # 0x1e7c23
callq 0x661c0
movq %rax, -0x1130(%rbp)
jmp 0x183a56
movq -0x1130(%rbp), %rdi
leaq 0x5cd48(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x1138(%rbp)
jmp 0x183a72
movq -0x1138(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x18b1a0
movq %rax, -0x1140(%rbp)
jmp 0x183a8e
movq -0x1140(%rbp), %rdi
leaq 0x58d49(%rip), %rsi     # 0x1dc7e5
callq 0x34320
movq %rax, -0x1148(%rbp)
jmp 0x183aaa
movq -0x1148(%rbp), %rdi
leaq 0x780f3(%rip), %rsi     # 0x1fbbab
callq 0x347a0
movq %rax, -0x1150(%rbp)
jmp 0x183ac6
movq -0x1150(%rbp), %rdi
leaq 0x5ccd8(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x1158(%rbp)
jmp 0x183ae2
movq -0x1158(%rbp), %rdi
leaq -0x480(%rbp), %rsi
callq 0x18b1e0
movq %rax, -0x1160(%rbp)
jmp 0x183afe
movq -0x1160(%rbp), %rdi
leaq 0x7296f(%rip), %rsi     # 0x1f647b
callq 0x34320
jmp 0x183b13
leaq -0x610(%rbp), %rdi
callq 0x10ff0
jmp 0x183b21
leaq -0x630(%rbp), %rdi
callq 0x3100
leaq -0x631(%rbp), %rdi
callq 0x3290
xorl %eax, %eax
movl %eax, %esi
leaq -0x680(%rbp), %rdi
movq %rdi, -0x1190(%rbp)
movl $0xa, %edx
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
movq %rcx, -0x1198(%rbp)
callq 0x10c60
movq -0x1198(%rbp), %rcx
leaq -0x698(%rbp), %rdi
movq %rdi, -0x1188(%rbp)
movl $0x1, %esi
movl $0x5, %edx
callq 0x10c60
movq -0x1190(%rbp), %rsi
movq -0x1188(%rbp), %rdx
leaq -0x668(%rbp), %rdi
callq 0x11310
leaq -0x6c8(%rbp), %rdi
movq %rdi, -0x1178(%rbp)
leaq -0xd0(%rbp), %rsi
movq %rsi, -0x1180(%rbp)
callq 0x18b260
movq -0x1180(%rbp), %rdi
movq -0x1178(%rbp), %rsi
callq 0x18b160
movb %al, -0x1169(%rbp)
leaq -0x879(%rbp), %rdi
movq %rdi, -0x1168(%rbp)
callq 0x33b0
movq -0x1168(%rbp), %rdx
leaq 0x77fba(%rip), %rsi     # 0x1fbbb9
leaq -0x878(%rbp), %rdi
callq 0x10a90
jmp 0x183c0d
movb -0x1169(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0x858(%rbp), %rdi
leaq -0x878(%rbp), %rdx
callq 0x10f80
jmp 0x183c2e
leaq 0x58bb0(%rip), %rsi     # 0x1dc7e5
leaq -0x858(%rbp), %rdi
callq 0x34320
movq %rax, -0x11a0(%rbp)
jmp 0x183c4a
movq -0x11a0(%rbp), %rdi
leaq 0x63fcb(%rip), %rsi     # 0x1e7c23
callq 0x661c0
movq %rax, -0x11a8(%rbp)
jmp 0x183c66
movq -0x11a8(%rbp), %rdi
leaq 0x5cb38(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x11b0(%rbp)
jmp 0x183c82
movq -0x11b0(%rbp), %rdi
leaq -0xd0(%rbp), %rsi
callq 0x18b1a0
movq %rax, -0x11b8(%rbp)
jmp 0x183c9e
movq -0x11b8(%rbp), %rdi
leaq 0x58b39(%rip), %rsi     # 0x1dc7e5
callq 0x34320
movq %rax, -0x11c0(%rbp)
jmp 0x183cba
movq -0x11c0(%rbp), %rdi
leaq 0x77efa(%rip), %rsi     # 0x1fbbc2
callq 0x347a0
movq %rax, -0x11c8(%rbp)
jmp 0x183cd6
movq -0x11c8(%rbp), %rdi
leaq 0x5cac8(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x11d0(%rbp)
jmp 0x183cf2
movq -0x11d0(%rbp), %rdi
leaq -0x6c8(%rbp), %rsi
callq 0x18b1e0
movq %rax, -0x11d8(%rbp)
jmp 0x183d0e
movq -0x11d8(%rbp), %rdi
leaq 0x7275f(%rip), %rsi     # 0x1f647b
callq 0x34320
jmp 0x183d23
leaq -0x858(%rbp), %rdi
callq 0x10ff0
jmp 0x183d31
leaq -0x878(%rbp), %rdi
callq 0x3100
leaq -0x879(%rbp), %rdi
callq 0x3290
leaq -0xd0(%rbp), %rdi
callq 0x18b2a0
movb %al, -0x11e1(%rbp)
leaq -0xa31(%rbp), %rdi
movq %rdi, -0x11e0(%rbp)
callq 0x33b0
movq -0x11e0(%rbp), %rdx
leaq 0x77e54(%rip), %rsi     # 0x1fbbd0
leaq -0xa30(%rbp), %rdi
callq 0x10a90
jmp 0x183d8a
movb -0x11e1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xa10(%rbp), %rdi
leaq -0xa30(%rbp), %rdx
callq 0x10f80
jmp 0x183dab
leaq -0xa10(%rbp), %rdi
callq 0x10ff0
jmp 0x183db9
leaq -0xa30(%rbp), %rdi
callq 0x3100
leaq -0xa31(%rbp), %rdi
callq 0x3290
xorl %eax, %eax
movl %eax, %esi
leaq -0xa80(%rbp), %rdi
movq %rdi, -0x1210(%rbp)
movl $0xa, %edx
movl $0x2, %ecx
callq 0x10c60
leaq -0xa98(%rbp), %rdi
movq %rdi, -0x1208(%rbp)
movl $0x1, %esi
movl $0x5, %edx
movl $0x14, %ecx
callq 0x10c60
movq -0x1210(%rbp), %rsi
movq -0x1208(%rbp), %rdx
leaq -0xa68(%rbp), %rdi
movq %rdi, -0x1200(%rbp)
callq 0x11310
movq -0x1200(%rbp), %rdi
callq 0x18b2a0
xorb $0x1, %al
movb %al, -0x11f1(%rbp)
leaq -0xc49(%rbp), %rdi
movq %rdi, -0x11f0(%rbp)
callq 0x33b0
movq -0x11f0(%rbp), %rdx
leaq 0x77d8b(%rip), %rsi     # 0x1fbbf5
leaq -0xc48(%rbp), %rdi
callq 0x10a90
jmp 0x183e78
movb -0x11f1(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xc28(%rbp), %rdi
leaq -0xc48(%rbp), %rdx
callq 0x10f80
jmp 0x183e99
leaq -0xc28(%rbp), %rdi
callq 0x10ff0
jmp 0x183ea7
leaq -0xc48(%rbp), %rdi
callq 0x3100
leaq -0xc49(%rbp), %rdi
callq 0x3290
leaq -0xc98(%rbp), %rdi
movq %rdi, -0x1228(%rbp)
leaq -0xd0(%rbp), %rsi
callq 0x18b2d0
movq -0x1228(%rbp), %rdi
callq 0x18a210
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x20(%rbp), %rax
movq (%rax), %rax
testq %rax, %rax
sete %al
movb %al, -0x1219(%rbp)
leaq -0xe49(%rbp), %rdi
movq %rdi, -0x1218(%rbp)
callq 0x33b0
movq -0x1218(%rbp), %rdx
leaq 0x77cf7(%rip), %rsi     # 0x1fbc1c
leaq -0xe48(%rbp), %rdi
callq 0x10a90
jmp 0x183f33
movb -0x1219(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xe28(%rbp), %rdi
leaq -0xe48(%rbp), %rdx
callq 0x10f80
jmp 0x183f54
leaq 0x5888a(%rip), %rsi     # 0x1dc7e5
leaq -0xe28(%rbp), %rdi
callq 0x34320
movq %rax, -0x1230(%rbp)
jmp 0x183f70
movq -0x1230(%rbp), %rdi
leaq 0x77cb4(%rip), %rsi     # 0x1fbc32
callq 0x34800
movq %rax, -0x1238(%rbp)
jmp 0x183f8c
movq -0x1238(%rbp), %rdi
leaq 0x5c812(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x1240(%rbp)
jmp 0x183fa8
leaq -0xc98(%rbp), %rdi
callq 0x18a210
movq %rax, -0x1248(%rbp)
jmp 0x183fbd
movq -0x1248(%rbp), %rax
movq %rax, -0x30(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x18(%rbp)
movq -0x18(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x1250(%rbp)
movq -0x1240(%rbp), %rdi
movq -0x1250(%rbp), %rax
movq %rax, -0xe58(%rbp)
leaq -0xe58(%rbp), %rsi
callq 0x34510
movq %rax, -0x1258(%rbp)
jmp 0x184008
movq -0x1258(%rbp), %rdi
leaq 0x587cf(%rip), %rsi     # 0x1dc7e5
callq 0x34320
movq %rax, -0x1260(%rbp)
jmp 0x184024
movq -0x1260(%rbp), %rdi
leaq 0x5a402(%rip), %rsi     # 0x1de434
callq 0x34320
movq %rax, -0x1268(%rbp)
jmp 0x184040
movq -0x1268(%rbp), %rdi
leaq 0x5c75e(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x1270(%rbp)
jmp 0x18405c
movq -0x1270(%rbp), %rdi
movl $0x0, -0xe5c(%rbp)
leaq -0xe5c(%rbp), %rsi
callq 0x343a0
movq %rax, -0x1278(%rbp)
jmp 0x184082
movq -0x1278(%rbp), %rdi
leaq 0x723eb(%rip), %rsi     # 0x1f647b
callq 0x34320
jmp 0x184097
leaq -0xe28(%rbp), %rdi
callq 0x10ff0
jmp 0x1840a5
leaq -0xe48(%rbp), %rdi
callq 0x3100
leaq -0xe49(%rbp), %rdi
callq 0x3290
leaq -0xc98(%rbp), %rdi
callq 0x18a210
movq %rax, -0x38(%rbp)
movq -0x38(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x10(%rbp)
movq -0x10(%rbp), %rax
movq (%rax), %rax
subq $0x1, %rax
sete %al
movb %al, -0x1281(%rbp)
leaq -0x1011(%rbp), %rdi
movq %rdi, -0x1280(%rbp)
callq 0x33b0
movq -0x1280(%rbp), %rdx
leaq 0x77b35(%rip), %rsi     # 0x1fbc43
leaq -0x1010(%rbp), %rdi
callq 0x10a90
jmp 0x18411c
movb -0x1281(%rbp), %al
movzbl %al, %esi
andl $0x1, %esi
leaq -0xff0(%rbp), %rdi
leaq -0x1010(%rbp), %rdx
callq 0x10f80
jmp 0x18413d
leaq 0x586a1(%rip), %rsi     # 0x1dc7e5
leaq -0xff0(%rbp), %rdi
callq 0x34320
movq %rax, -0x1290(%rbp)
jmp 0x184159
movq -0x1290(%rbp), %rdi
leaq 0x77af5(%rip), %rsi     # 0x1fbc5c
callq 0x35580
movq %rax, -0x1298(%rbp)
jmp 0x184175
movq -0x1298(%rbp), %rdi
leaq 0x5c629(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x12a0(%rbp)
jmp 0x184191
leaq -0xc98(%rbp), %rdi
callq 0x18a210
movq %rax, -0x12a8(%rbp)
jmp 0x1841a6
movq -0x12a8(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
addq $0x8, %rax
movq %rax, -0x8(%rbp)
movq -0x8(%rbp), %rax
movq (%rax), %rax
movq %rax, -0x12b0(%rbp)
movq -0x12a0(%rbp), %rdi
movq -0x12b0(%rbp), %rax
movq %rax, -0x1020(%rbp)
leaq -0x1020(%rbp), %rsi
callq 0x34510
movq %rax, -0x12b8(%rbp)
jmp 0x1841f5
movq -0x12b8(%rbp), %rdi
leaq 0x585e2(%rip), %rsi     # 0x1dc7e5
callq 0x34320
movq %rax, -0x12c0(%rbp)
jmp 0x184211
movq -0x12c0(%rbp), %rdi
leaq 0x5fe4e(%rip), %rsi     # 0x1e406d
callq 0x34320
movq %rax, -0x12c8(%rbp)
jmp 0x18422d
movq -0x12c8(%rbp), %rdi
leaq 0x5c571(%rip), %rsi     # 0x1e07ac
callq 0x34320
movq %rax, -0x12d0(%rbp)
jmp 0x184249
movq -0x12d0(%rbp), %rdi
movl $0x1, -0x1024(%rbp)
leaq -0x1024(%rbp), %rsi
callq 0x343a0
movq %rax, -0x12d8(%rbp)
jmp 0x18426f
movq -0x12d8(%rbp), %rdi
leaq 0x721fe(%rip), %rsi     # 0x1f647b
callq 0x34320
jmp 0x184284
leaq -0xff0(%rbp), %rdi
callq 0x10ff0
jmp 0x184292
leaq -0x1010(%rbp), %rdi
callq 0x3100
leaq -0x1011(%rbp), %rdi
callq 0x3290
addq $0x12e0, %rsp           # imm = 0x12E0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x184309
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x1842fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0x260(%rbp), %rdi
callq 0x10ff0
jmp 0x1842fb
jmp 0x1842fd
leaq -0x280(%rbp), %rdi
callq 0x3100
leaq -0x281(%rbp), %rdi
callq 0x3290
jmp 0x18459b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x184370
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x184364
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0x428(%rbp), %rdi
callq 0x10ff0
jmp 0x184362
jmp 0x184364
leaq -0x448(%rbp), %rdi
callq 0x3100
leaq -0x449(%rbp), %rdi
callq 0x3290
jmp 0x18459b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x1843d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x1843cb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0x610(%rbp), %rdi
callq 0x10ff0
jmp 0x1843c9
jmp 0x1843cb
leaq -0x630(%rbp), %rdi
callq 0x3100
leaq -0x631(%rbp), %rdi
callq 0x3290
jmp 0x18459b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x18443e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x184432
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0x858(%rbp), %rdi
callq 0x10ff0
jmp 0x184430
jmp 0x184432
leaq -0x878(%rbp), %rdi
callq 0x3100
leaq -0x879(%rbp), %rdi
callq 0x3290
jmp 0x18459b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x184481
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0xa30(%rbp), %rdi
callq 0x3100
leaq -0xa31(%rbp), %rdi
callq 0x3290
jmp 0x18459b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x1844c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0xc48(%rbp), %rdi
callq 0x3100
leaq -0xc49(%rbp), %rdi
callq 0x3290
jmp 0x18459b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x18452b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x18451f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0xe28(%rbp), %rdi
callq 0x10ff0
jmp 0x18451d
jmp 0x18451f
leaq -0xe48(%rbp), %rdi
callq 0x3100
leaq -0xe49(%rbp), %rdi
callq 0x3290
jmp 0x18459b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x18458f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
jmp 0x184583
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x290(%rbp)
movl %eax, -0x294(%rbp)
leaq -0xff0(%rbp), %rdi
callq 0x10ff0
jmp 0x184581
jmp 0x184583
leaq -0x1010(%rbp), %rdi
callq 0x3100
leaq -0x1011(%rbp), %rdi
callq 0x3290
movq -0x290(%rbp), %rdi
callq 0x33a0
movq %rax, %rdi
callq 0x116d0
nop