// File: chuckwolber[P]Cube/test/test_cube.cpp
// Function: test_operators()
void test_operators() {
   std::cout << "Testing operators... ";

   Cube c4(CubieColor::WHITE,  4);
   Cube c5(CubieColor::BLUE,   5);
   Cube c6(CubieColor::GREEN,  6);
   Cube c7(CubieColor::ORANGE, 7);
   Cube c8(CubieColor::RED,    8);
   Cube c9(CubieColor::YELLOW, 9);
   verify_cube(c4, getExpected(CubieColor::WHITE,  4));
   verify_cube(c5, getExpected(CubieColor::BLUE,   5));
   verify_cube(c6, getExpected(CubieColor::GREEN,  6));
   verify_cube(c7, getExpected(CubieColor::ORANGE, 7));
   verify_cube(c8, getExpected(CubieColor::RED,    8));
   verify_cube(c9, getExpected(CubieColor::YELLOW, 9));

   Cube c4_cp; c4_cp = c4; assert(c4_cp == c4);
   Cube c5_cp; c5_cp = c5; assert(c5_cp == c5);
   Cube c6_cp; c6_cp = c6; assert(c6_cp == c6);
   Cube c7_cp; c7_cp = c7; assert(c7_cp == c7);
   Cube c8_cp; c8_cp = c8; assert(c8_cp == c8);
   Cube c9_cp; c9_cp = c9; assert(c9_cp == c9);
   verify_cube(c4_cp, getExpected(CubieColor::WHITE,  4));
   verify_cube(c5_cp, getExpected(CubieColor::BLUE,   5));
   verify_cube(c6_cp, getExpected(CubieColor::GREEN,  6));
   verify_cube(c7_cp, getExpected(CubieColor::ORANGE, 7));
   verify_cube(c8_cp, getExpected(CubieColor::RED,    8));
   verify_cube(c9_cp, getExpected(CubieColor::YELLOW, 9));
   
   Cube c4_mv; c4_mv = std::move(c4);
   Cube c5_mv; c5_mv = std::move(c5);
   Cube c6_mv; c6_mv = std::move(c6);
   Cube c7_mv; c7_mv = std::move(c7);
   Cube c8_mv; c8_mv = std::move(c8);
   Cube c9_mv; c9_mv = std::move(c9);
   verify_cube(c4_mv, getExpected(CubieColor::WHITE,  4));
   verify_cube(c5_mv, getExpected(CubieColor::BLUE,   5));
   verify_cube(c6_mv, getExpected(CubieColor::GREEN,  6));
   verify_cube(c7_mv, getExpected(CubieColor::ORANGE, 7));
   verify_cube(c8_mv, getExpected(CubieColor::RED,    8));
   verify_cube(c9_mv, getExpected(CubieColor::YELLOW, 9));

   std::cout << "Passed" << std::endl;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x12b0, %rsp           # imm = 0x12B0
movq 0xb996(%rip), %rdi      # 0x15fd8
leaq 0x5cd7(%rip), %rsi      # 0x10320
callq 0x2160
leaq -0x78(%rbp), %rdi
movl $0x77, %esi
movl $0x4, %edx
callq 0x7ce0
leaq -0xf0(%rbp), %rdi
movl $0x62, %esi
movl $0x5, %edx
callq 0x7ce0
jmp 0xa679
leaq -0x178(%rbp), %rdi
movl $0x67, %esi
movl $0x6, %edx
callq 0x7ce0
jmp 0xa691
leaq -0x1f0(%rbp), %rdi
movl $0x6f, %esi
movl $0x7, %edx
callq 0x7ce0
jmp 0xa6a9
leaq -0x268(%rbp), %rdi
movl $0x72, %esi
movl $0x8, %edx
callq 0x7ce0
jmp 0xa6c1
leaq -0x2e0(%rbp), %rdi
movl $0x79, %esi
movl $0x9, %edx
callq 0x7ce0
jmp 0xa6d9
leaq -0x358(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x7d50
jmp 0xa6eb
leaq -0x370(%rbp), %rdi
movl $0x77, %esi
movl $0x4, %edx
callq 0xd410
jmp 0xa703
leaq -0x358(%rbp), %rdi
leaq -0x370(%rbp), %rsi
callq 0xd2e0
jmp 0xa718
leaq -0x370(%rbp), %rdi
callq 0x95e0
leaq -0x358(%rbp), %rdi
callq 0x8210
leaq -0x3e8(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x7d50
jmp 0xa745
leaq -0x400(%rbp), %rdi
movl $0x62, %esi
movl $0x5, %edx
callq 0xd410
jmp 0xa75d
leaq -0x3e8(%rbp), %rdi
leaq -0x400(%rbp), %rsi
callq 0xd2e0
jmp 0xa772
leaq -0x400(%rbp), %rdi
callq 0x95e0
leaq -0x3e8(%rbp), %rdi
callq 0x8210
leaq -0x478(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0x7d50
jmp 0xa79f
leaq -0x490(%rbp), %rdi
movl $0x67, %esi
movl $0x6, %edx
callq 0xd410
jmp 0xa7b7
leaq -0x478(%rbp), %rdi
leaq -0x490(%rbp), %rsi
callq 0xd2e0
jmp 0xa7cc
leaq -0x490(%rbp), %rdi
callq 0x95e0
leaq -0x478(%rbp), %rdi
callq 0x8210
leaq -0x508(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0x7d50
jmp 0xa7f9
leaq -0x520(%rbp), %rdi
movl $0x6f, %esi
movl $0x7, %edx
callq 0xd410
jmp 0xa811
leaq -0x508(%rbp), %rdi
leaq -0x520(%rbp), %rsi
callq 0xd2e0
jmp 0xa826
leaq -0x520(%rbp), %rdi
callq 0x95e0
leaq -0x508(%rbp), %rdi
callq 0x8210
leaq -0x598(%rbp), %rdi
leaq -0x268(%rbp), %rsi
callq 0x7d50
jmp 0xa853
leaq -0x5b0(%rbp), %rdi
movl $0x72, %esi
movl $0x8, %edx
callq 0xd410
jmp 0xa86b
leaq -0x598(%rbp), %rdi
leaq -0x5b0(%rbp), %rsi
callq 0xd2e0
jmp 0xa880
leaq -0x5b0(%rbp), %rdi
callq 0x95e0
leaq -0x598(%rbp), %rdi
callq 0x8210
leaq -0x628(%rbp), %rdi
leaq -0x2e0(%rbp), %rsi
callq 0x7d50
jmp 0xa8ad
leaq -0x640(%rbp), %rdi
movl $0x79, %esi
movl $0x9, %edx
callq 0xd410
jmp 0xa8c5
leaq -0x628(%rbp), %rdi
leaq -0x640(%rbp), %rsi
callq 0xd2e0
jmp 0xa8da
leaq -0x640(%rbp), %rdi
callq 0x95e0
leaq -0x628(%rbp), %rdi
callq 0x8210
leaq -0x6b8(%rbp), %rdi
callq 0x7a90
jmp 0xa900
leaq -0x6b8(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x7f90
jmp 0xa912
leaq -0x6b8(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x8120
movb %al, -0x12a1(%rbp)
jmp 0xa92a
movb -0x12a1(%rbp), %al
testb $0x1, %al
jne 0xa936
jmp 0xa93b
jmp 0xab8d
leaq 0x59f4(%rip), %rdi      # 0x10336
leaq 0x59f9(%rip), %rsi      # 0x10342
movl $0x8d, %edx
leaq 0x59fb(%rip), %rcx      # 0x10350
callq 0x20e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb89c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb890
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb884
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb878
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb86c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb860
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xaa16
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x370(%rbp), %rdi
callq 0x95e0
leaq -0x358(%rbp), %rdi
callq 0x8210
jmp 0xb860
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xaa59
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x400(%rbp), %rdi
callq 0x95e0
leaq -0x3e8(%rbp), %rdi
callq 0x8210
jmp 0xb860
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xaa9c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x490(%rbp), %rdi
callq 0x95e0
leaq -0x478(%rbp), %rdi
callq 0x8210
jmp 0xb860
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xaadf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x520(%rbp), %rdi
callq 0x95e0
leaq -0x508(%rbp), %rdi
callq 0x8210
jmp 0xb860
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xab22
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x5b0(%rbp), %rdi
callq 0x95e0
leaq -0x598(%rbp), %rdi
callq 0x8210
jmp 0xb860
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xab65
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x640(%rbp), %rdi
callq 0x95e0
leaq -0x628(%rbp), %rdi
callq 0x8210
jmp 0xb860
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb854
leaq -0x730(%rbp), %rdi
callq 0x7a90
jmp 0xab9b
leaq -0x730(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x7f90
jmp 0xabb0
leaq -0x730(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x8120
movb %al, -0x12a2(%rbp)
jmp 0xabcb
movb -0x12a2(%rbp), %al
testb $0x1, %al
jne 0xabd7
jmp 0xabd9
jmp 0xac0f
leaq 0x5786(%rip), %rdi      # 0x10366
leaq 0x575b(%rip), %rsi      # 0x10342
movl $0x8e, %edx
leaq 0x575d(%rip), %rcx      # 0x10350
callq 0x20e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb848
leaq -0x7a8(%rbp), %rdi
callq 0x7a90
jmp 0xac1d
leaq -0x7a8(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0x7f90
jmp 0xac32
leaq -0x7a8(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0x8120
movb %al, -0x12a3(%rbp)
jmp 0xac4d
movb -0x12a3(%rbp), %al
testb $0x1, %al
jne 0xac59
jmp 0xac5b
jmp 0xac91
leaq 0x5710(%rip), %rdi      # 0x10372
leaq 0x56d9(%rip), %rsi      # 0x10342
movl $0x8f, %edx
leaq 0x56db(%rip), %rcx      # 0x10350
callq 0x20e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb83c
leaq -0x820(%rbp), %rdi
callq 0x7a90
jmp 0xac9f
leaq -0x820(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0x7f90
jmp 0xacb4
leaq -0x820(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0x8120
movb %al, -0x12a4(%rbp)
jmp 0xaccf
movb -0x12a4(%rbp), %al
testb $0x1, %al
jne 0xacdb
jmp 0xacdd
jmp 0xad13
leaq 0x569a(%rip), %rdi      # 0x1037e
leaq 0x5657(%rip), %rsi      # 0x10342
movl $0x90, %edx
leaq 0x5659(%rip), %rcx      # 0x10350
callq 0x20e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb830
leaq -0x898(%rbp), %rdi
callq 0x7a90
jmp 0xad21
leaq -0x898(%rbp), %rdi
leaq -0x268(%rbp), %rsi
callq 0x7f90
jmp 0xad36
leaq -0x898(%rbp), %rdi
leaq -0x268(%rbp), %rsi
callq 0x8120
movb %al, -0x12a5(%rbp)
jmp 0xad51
movb -0x12a5(%rbp), %al
testb $0x1, %al
jne 0xad5d
jmp 0xad5f
jmp 0xad95
leaq 0x5624(%rip), %rdi      # 0x1038a
leaq 0x55d5(%rip), %rsi      # 0x10342
movl $0x91, %edx
leaq 0x55d7(%rip), %rcx      # 0x10350
callq 0x20e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb824
leaq -0x910(%rbp), %rdi
callq 0x7a90
jmp 0xada3
leaq -0x910(%rbp), %rdi
leaq -0x2e0(%rbp), %rsi
callq 0x7f90
jmp 0xadb8
leaq -0x910(%rbp), %rdi
leaq -0x2e0(%rbp), %rsi
callq 0x8120
movb %al, -0x12a6(%rbp)
jmp 0xadd3
movb -0x12a6(%rbp), %al
testb $0x1, %al
jne 0xaddf
jmp 0xade1
jmp 0xae17
leaq 0x55ae(%rip), %rdi      # 0x10396
leaq 0x5553(%rip), %rsi      # 0x10342
movl $0x92, %edx
leaq 0x5555(%rip), %rcx      # 0x10350
callq 0x20e0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb818
leaq -0x988(%rbp), %rdi
leaq -0x6b8(%rbp), %rsi
callq 0x7d50
jmp 0xae2c
leaq -0x9a0(%rbp), %rdi
movl $0x77, %esi
movl $0x4, %edx
callq 0xd410
jmp 0xae44
leaq -0x988(%rbp), %rdi
leaq -0x9a0(%rbp), %rsi
callq 0xd2e0
jmp 0xae59
leaq -0x9a0(%rbp), %rdi
callq 0x95e0
leaq -0x988(%rbp), %rdi
callq 0x8210
leaq -0xa18(%rbp), %rdi
leaq -0x730(%rbp), %rsi
callq 0x7d50
jmp 0xae86
leaq -0xa30(%rbp), %rdi
movl $0x62, %esi
movl $0x5, %edx
callq 0xd410
jmp 0xae9e
leaq -0xa18(%rbp), %rdi
leaq -0xa30(%rbp), %rsi
callq 0xd2e0
jmp 0xaeb3
leaq -0xa30(%rbp), %rdi
callq 0x95e0
leaq -0xa18(%rbp), %rdi
callq 0x8210
leaq -0xaa8(%rbp), %rdi
leaq -0x7a8(%rbp), %rsi
callq 0x7d50
jmp 0xaee0
leaq -0xac0(%rbp), %rdi
movl $0x67, %esi
movl $0x6, %edx
callq 0xd410
jmp 0xaef8
leaq -0xaa8(%rbp), %rdi
leaq -0xac0(%rbp), %rsi
callq 0xd2e0
jmp 0xaf0d
leaq -0xac0(%rbp), %rdi
callq 0x95e0
leaq -0xaa8(%rbp), %rdi
callq 0x8210
leaq -0xb38(%rbp), %rdi
leaq -0x820(%rbp), %rsi
callq 0x7d50
jmp 0xaf3a
leaq -0xb50(%rbp), %rdi
movl $0x6f, %esi
movl $0x7, %edx
callq 0xd410
jmp 0xaf52
leaq -0xb38(%rbp), %rdi
leaq -0xb50(%rbp), %rsi
callq 0xd2e0
jmp 0xaf67
leaq -0xb50(%rbp), %rdi
callq 0x95e0
leaq -0xb38(%rbp), %rdi
callq 0x8210
leaq -0xbc8(%rbp), %rdi
leaq -0x898(%rbp), %rsi
callq 0x7d50
jmp 0xaf94
leaq -0xbe0(%rbp), %rdi
movl $0x72, %esi
movl $0x8, %edx
callq 0xd410
jmp 0xafac
leaq -0xbc8(%rbp), %rdi
leaq -0xbe0(%rbp), %rsi
callq 0xd2e0
jmp 0xafc1
leaq -0xbe0(%rbp), %rdi
callq 0x95e0
leaq -0xbc8(%rbp), %rdi
callq 0x8210
leaq -0xc58(%rbp), %rdi
leaq -0x910(%rbp), %rsi
callq 0x7d50
jmp 0xafee
leaq -0xc70(%rbp), %rdi
movl $0x79, %esi
movl $0x9, %edx
callq 0xd410
jmp 0xb006
leaq -0xc58(%rbp), %rdi
leaq -0xc70(%rbp), %rsi
callq 0xd2e0
jmp 0xb01b
leaq -0xc70(%rbp), %rdi
callq 0x95e0
leaq -0xc58(%rbp), %rdi
callq 0x8210
leaq -0xce8(%rbp), %rdi
callq 0x7a90
jmp 0xb041
leaq -0xce8(%rbp), %rdi
leaq -0x78(%rbp), %rsi
callq 0x80c0
jmp 0xb053
leaq -0xd60(%rbp), %rdi
callq 0x7a90
jmp 0xb061
leaq -0xd60(%rbp), %rdi
leaq -0xf0(%rbp), %rsi
callq 0x80c0
jmp 0xb076
leaq -0xdd8(%rbp), %rdi
callq 0x7a90
jmp 0xb084
leaq -0xdd8(%rbp), %rdi
leaq -0x178(%rbp), %rsi
callq 0x80c0
jmp 0xb099
leaq -0xe50(%rbp), %rdi
callq 0x7a90
jmp 0xb0a7
leaq -0xe50(%rbp), %rdi
leaq -0x1f0(%rbp), %rsi
callq 0x80c0
jmp 0xb0bc
leaq -0xec8(%rbp), %rdi
callq 0x7a90
jmp 0xb0ca
leaq -0xec8(%rbp), %rdi
leaq -0x268(%rbp), %rsi
callq 0x80c0
jmp 0xb0df
leaq -0xf40(%rbp), %rdi
callq 0x7a90
jmp 0xb0ed
leaq -0xf40(%rbp), %rdi
leaq -0x2e0(%rbp), %rsi
callq 0x80c0
jmp 0xb102
leaq -0xfb8(%rbp), %rdi
leaq -0xce8(%rbp), %rsi
callq 0x7d50
jmp 0xb117
leaq -0xfd0(%rbp), %rdi
movl $0x77, %esi
movl $0x4, %edx
callq 0xd410
jmp 0xb12f
leaq -0xfb8(%rbp), %rdi
leaq -0xfd0(%rbp), %rsi
callq 0xd2e0
jmp 0xb144
leaq -0xfd0(%rbp), %rdi
callq 0x95e0
leaq -0xfb8(%rbp), %rdi
callq 0x8210
leaq -0x1048(%rbp), %rdi
leaq -0xd60(%rbp), %rsi
callq 0x7d50
jmp 0xb171
leaq -0x1060(%rbp), %rdi
movl $0x62, %esi
movl $0x5, %edx
callq 0xd410
jmp 0xb189
leaq -0x1048(%rbp), %rdi
leaq -0x1060(%rbp), %rsi
callq 0xd2e0
jmp 0xb19e
leaq -0x1060(%rbp), %rdi
callq 0x95e0
leaq -0x1048(%rbp), %rdi
callq 0x8210
leaq -0x10d8(%rbp), %rdi
leaq -0xdd8(%rbp), %rsi
callq 0x7d50
jmp 0xb1cb
leaq -0x10f0(%rbp), %rdi
movl $0x67, %esi
movl $0x6, %edx
callq 0xd410
jmp 0xb1e3
leaq -0x10d8(%rbp), %rdi
leaq -0x10f0(%rbp), %rsi
callq 0xd2e0
jmp 0xb1f8
leaq -0x10f0(%rbp), %rdi
callq 0x95e0
leaq -0x10d8(%rbp), %rdi
callq 0x8210
leaq -0x1168(%rbp), %rdi
leaq -0xe50(%rbp), %rsi
callq 0x7d50
jmp 0xb225
leaq -0x1180(%rbp), %rdi
movl $0x6f, %esi
movl $0x7, %edx
callq 0xd410
jmp 0xb23d
leaq -0x1168(%rbp), %rdi
leaq -0x1180(%rbp), %rsi
callq 0xd2e0
jmp 0xb252
leaq -0x1180(%rbp), %rdi
callq 0x95e0
leaq -0x1168(%rbp), %rdi
callq 0x8210
leaq -0x11f8(%rbp), %rdi
leaq -0xec8(%rbp), %rsi
callq 0x7d50
jmp 0xb27f
leaq -0x1210(%rbp), %rdi
movl $0x72, %esi
movl $0x8, %edx
callq 0xd410
jmp 0xb297
leaq -0x11f8(%rbp), %rdi
leaq -0x1210(%rbp), %rsi
callq 0xd2e0
jmp 0xb2ac
leaq -0x1210(%rbp), %rdi
callq 0x95e0
leaq -0x11f8(%rbp), %rdi
callq 0x8210
leaq -0x1288(%rbp), %rdi
leaq -0xf40(%rbp), %rsi
callq 0x7d50
jmp 0xb2d9
leaq -0x12a0(%rbp), %rdi
movl $0x79, %esi
movl $0x9, %edx
callq 0xd410
jmp 0xb2f1
leaq -0x1288(%rbp), %rdi
leaq -0x12a0(%rbp), %rsi
callq 0xd2e0
jmp 0xb306
leaq -0x12a0(%rbp), %rdi
callq 0x95e0
leaq -0x1288(%rbp), %rdi
callq 0x8210
movq 0xacb3(%rip), %rdi      # 0x15fd8
leaq 0x4fed(%rip), %rsi      # 0x10319
callq 0x2160
movq %rax, -0x12b0(%rbp)
jmp 0xb33a
movq -0x12b0(%rbp), %rdi
movq 0xac80(%rip), %rsi      # 0x15fc8
callq 0x2190
jmp 0xb34f
leaq -0xf40(%rbp), %rdi
callq 0x8210
leaq -0xec8(%rbp), %rdi
callq 0x8210
leaq -0xe50(%rbp), %rdi
callq 0x8210
leaq -0xdd8(%rbp), %rdi
callq 0x8210
leaq -0xd60(%rbp), %rdi
callq 0x8210
leaq -0xce8(%rbp), %rdi
callq 0x8210
leaq -0x910(%rbp), %rdi
callq 0x8210
leaq -0x898(%rbp), %rdi
callq 0x8210
leaq -0x820(%rbp), %rdi
callq 0x8210
leaq -0x7a8(%rbp), %rdi
callq 0x8210
leaq -0x730(%rbp), %rdi
callq 0x8210
leaq -0x6b8(%rbp), %rdi
callq 0x8210
leaq -0x2e0(%rbp), %rdi
callq 0x8210
leaq -0x268(%rbp), %rdi
callq 0x8210
leaq -0x1f0(%rbp), %rdi
callq 0x8210
leaq -0x178(%rbp), %rdi
callq 0x8210
leaq -0xf0(%rbp), %rdi
callq 0x8210
leaq -0x78(%rbp), %rdi
callq 0x8210
addq $0x12b0, %rsp           # imm = 0x12B0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb45f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x9a0(%rbp), %rdi
callq 0x95e0
leaq -0x988(%rbp), %rdi
callq 0x8210
jmp 0xb818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb4a2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0xa30(%rbp), %rdi
callq 0x95e0
leaq -0xa18(%rbp), %rdi
callq 0x8210
jmp 0xb818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb4e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0xac0(%rbp), %rdi
callq 0x95e0
leaq -0xaa8(%rbp), %rdi
callq 0x8210
jmp 0xb818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb528
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0xb50(%rbp), %rdi
callq 0x95e0
leaq -0xb38(%rbp), %rdi
callq 0x8210
jmp 0xb818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb56b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0xbe0(%rbp), %rdi
callq 0x95e0
leaq -0xbc8(%rbp), %rdi
callq 0x8210
jmp 0xb818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb5ae
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0xc70(%rbp), %rdi
callq 0x95e0
leaq -0xc58(%rbp), %rdi
callq 0x8210
jmp 0xb818
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb80c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb800
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb7f4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb7e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb7dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb7d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb67b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0xfd0(%rbp), %rdi
callq 0x95e0
leaq -0xfb8(%rbp), %rdi
callq 0x8210
jmp 0xb7d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb6be
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x1060(%rbp), %rdi
callq 0x95e0
leaq -0x1048(%rbp), %rdi
callq 0x8210
jmp 0xb7d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb701
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x10f0(%rbp), %rdi
callq 0x95e0
leaq -0x10d8(%rbp), %rdi
callq 0x8210
jmp 0xb7d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb744
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x1180(%rbp), %rdi
callq 0x95e0
leaq -0x1168(%rbp), %rdi
callq 0x8210
jmp 0xb7d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb784
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x1210(%rbp), %rdi
callq 0x95e0
leaq -0x11f8(%rbp), %rdi
callq 0x8210
jmp 0xb7d0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
jmp 0xb7c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0xf8(%rbp)
movl %eax, -0xfc(%rbp)
leaq -0x12a0(%rbp), %rdi
callq 0x95e0
leaq -0x1288(%rbp), %rdi
callq 0x8210
leaq -0xf40(%rbp), %rdi
callq 0x8210
leaq -0xec8(%rbp), %rdi
callq 0x8210
leaq -0xe50(%rbp), %rdi
callq 0x8210
leaq -0xdd8(%rbp), %rdi
callq 0x8210
leaq -0xd60(%rbp), %rdi
callq 0x8210
leaq -0xce8(%rbp), %rdi
callq 0x8210
leaq -0x910(%rbp), %rdi
callq 0x8210
leaq -0x898(%rbp), %rdi
callq 0x8210
leaq -0x820(%rbp), %rdi
callq 0x8210
leaq -0x7a8(%rbp), %rdi
callq 0x8210
leaq -0x730(%rbp), %rdi
callq 0x8210
leaq -0x6b8(%rbp), %rdi
callq 0x8210
leaq -0x2e0(%rbp), %rdi
callq 0x8210
leaq -0x268(%rbp), %rdi
callq 0x8210
leaq -0x1f0(%rbp), %rdi
callq 0x8210
leaq -0x178(%rbp), %rdi
callq 0x8210
leaq -0xf0(%rbp), %rdi
callq 0x8210
leaq -0x78(%rbp), %rdi
callq 0x8210
movq -0xf8(%rbp), %rdi
callq 0x2250
nopw %cs:(%rax,%rax)