// File: yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_shr::test_method()
BOOST_AUTO_TEST_CASE(test_shr) {
	BOOST_TEST(
			   shr_256("0x0",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x1");
	BOOST_TEST(
			   shr_256("0x1",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x0");
	BOOST_TEST(
			   shr_256("0x01",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x4000000000000000000000000000000000000000000000000000000000000000");
	BOOST_TEST(
			   shr_256("0xff",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x1");
	BOOST_TEST(
			   shr_256("0x100",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x0");
	BOOST_TEST(
			   shr_256("0x0101",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x0");
	BOOST_TEST(
			   shr_256("0x00",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   shr_256("0x01",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   shr_256("0xff",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x1");
	BOOST_TEST(
			   shr_256("0x0100",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x0");
	BOOST_TEST(
			   shr_256("0x01",
					   "0x0000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x0");
	
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x920, %rsp            # imm = 0x920
movq %rdi, -0x8(%rbp)
movq 0x1093b2(%rip), %rax    # 0x140a98
movq %rax, -0x728(%rbp)
leaq 0xa5213(%rip), %rsi     # 0xdc907
leaq -0x18(%rbp), %rdi
movq %rdi, -0x720(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x28(%rbp), %rdi
movq %rdi, -0x718(%rbp)
callq 0x53590
movq -0x728(%rbp), %rdi
movq -0x720(%rbp), %rsi
movq -0x718(%rbp), %rcx
movl $0x76, %edx
callq 0x29d70
leaq 0xa55df(%rip), %rdi     # 0xdcd1e
leaq 0xa55dc(%rip), %rsi     # 0xdcd22
callq 0x32ad0
movq %rax, -0x68(%rbp)
leaq -0x58(%rbp), %rdi
movq %rdi, -0x710(%rbp)
leaq -0x59(%rbp), %rsi
leaq -0x68(%rbp), %rdx
callq 0x63070
movq -0x710(%rbp), %rsi
leaq 0xa55f0(%rip), %rdx     # 0xdcd65
leaq -0x50(%rbp), %rdi
movq %rdi, -0x708(%rbp)
callq 0x636b0
movq -0x708(%rbp), %rsi
leaq -0x40(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x700(%rbp)
jmp 0x377a5
leaq 0xa5ce6(%rip), %rsi     # 0xdd492
leaq -0xa8(%rbp), %rdi
movl $0x5d, %edx
callq 0x514b0
jmp 0x377bf
movq -0x700(%rbp), %rsi
leaq -0x88(%rbp), %rdi
leaq -0xa8(%rbp), %rdx
callq 0x63280
jmp 0x377db
leaq 0xa5125(%rip), %rsi     # 0xdc907
leaq -0xb8(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x377f5
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x40(%rbp), %rdi
leaq -0x88(%rbp), %rsi
leaq -0xb8(%rbp), %rdx
movl $0x76, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x3782b
leaq -0x88(%rbp), %rdi
callq 0x632c0
leaq -0x40(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x376df
jmp 0x3784f
movq 0x109242(%rip), %rax    # 0x140a98
movq %rax, -0x758(%rbp)
leaq 0xa50a3(%rip), %rsi     # 0xdc907
leaq -0xc8(%rbp), %rdi
movq %rdi, -0x750(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0xd8(%rbp), %rdi
movq %rdi, -0x748(%rbp)
callq 0x53590
movq -0x758(%rbp), %rdi
movq -0x750(%rbp), %rsi
movq -0x748(%rbp), %rcx
movl $0x7b, %edx
callq 0x29d70
leaq 0xa54b0(%rip), %rdi     # 0xdcd65
leaq 0xa5466(%rip), %rsi     # 0xdcd22
callq 0x32ad0
movq %rax, -0x118(%rbp)
leaq -0x108(%rbp), %rdi
movq %rdi, -0x740(%rbp)
leaq -0x109(%rbp), %rsi
leaq -0x118(%rbp), %rdx
callq 0x63070
movq -0x740(%rbp), %rsi
leaq 0xa5427(%rip), %rdx     # 0xdcd1e
leaq -0x100(%rbp), %rdi
movq %rdi, -0x738(%rbp)
callq 0x636b0
movq -0x738(%rbp), %rsi
leaq -0xf0(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x730(%rbp)
jmp 0x3792d
leaq 0xa5bbc(%rip), %rsi     # 0xdd4f0
leaq -0x148(%rbp), %rdi
movl $0x5d, %edx
callq 0x514b0
jmp 0x37947
movq -0x730(%rbp), %rsi
leaq -0x138(%rbp), %rdi
leaq -0x148(%rbp), %rdx
callq 0x63280
jmp 0x37963
leaq 0xa4f9d(%rip), %rsi     # 0xdc907
leaq -0x158(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x3797d
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0xf0(%rbp), %rdi
leaq -0x138(%rbp), %rsi
leaq -0x158(%rbp), %rdx
movl $0x7b, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x379b6
leaq -0x138(%rbp), %rdi
callq 0x632c0
leaq -0xf0(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x3784f
jmp 0x379dd
movq 0x1090b4(%rip), %rax    # 0x140a98
movq %rax, -0x788(%rbp)
leaq 0xa4f15(%rip), %rsi     # 0xdc907
leaq -0x168(%rbp), %rdi
movq %rdi, -0x780(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x178(%rbp), %rdi
movq %rdi, -0x778(%rbp)
callq 0x53590
movq -0x788(%rbp), %rdi
movq -0x780(%rbp), %rsi
movq -0x778(%rbp), %rcx
movl $0x80, %edx
callq 0x29d70
leaq 0xa567e(%rip), %rdi     # 0xdd0c1
leaq 0xa53e4(%rip), %rsi     # 0xdce2e
callq 0x32ad0
movq %rax, -0x1b8(%rbp)
leaq -0x1a8(%rbp), %rdi
movq %rdi, -0x770(%rbp)
leaq -0x1a9(%rbp), %rsi
leaq -0x1b8(%rbp), %rdx
callq 0x63070
movq -0x770(%rbp), %rsi
leaq 0xa5ac9(%rip), %rdx     # 0xdd54e
leaq -0x1a0(%rbp), %rdi
movq %rdi, -0x768(%rbp)
callq 0x630a0
movq -0x768(%rbp), %rsi
leaq -0x190(%rbp), %rdi
xorl %edx, %edx
callq 0x630e0
callq 0x55830
movq %rax, -0x760(%rbp)
jmp 0x37abb
leaq 0xa5acf(%rip), %rsi     # 0xdd591
leaq -0x1e8(%rbp), %rdi
movl $0x9d, %edx
callq 0x514b0
jmp 0x37ad5
movq -0x760(%rbp), %rsi
leaq -0x1d8(%rbp), %rdi
leaq -0x1e8(%rbp), %rdx
callq 0x63280
jmp 0x37af1
leaq 0xa4e0f(%rip), %rsi     # 0xdc907
leaq -0x1f8(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x37b0b
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x190(%rbp), %rdi
leaq -0x1d8(%rbp), %rsi
leaq -0x1f8(%rbp), %rdx
movl $0x80, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x37b44
leaq -0x1d8(%rbp), %rdi
callq 0x632c0
leaq -0x190(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x379dd
jmp 0x37b6b
movq 0x108f26(%rip), %rax    # 0x140a98
movq %rax, -0x7b8(%rbp)
leaq 0xa4d87(%rip), %rsi     # 0xdc907
leaq -0x208(%rbp), %rdi
movq %rdi, -0x7b0(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x218(%rbp), %rdi
movq %rdi, -0x7a8(%rbp)
callq 0x53590
movq -0x7b8(%rbp), %rdi
movq -0x7b0(%rbp), %rsi
movq -0x7a8(%rbp), %rcx
movl $0x85, %edx
callq 0x29d70
leaq 0xa5258(%rip), %rdi     # 0xdce29
leaq 0xa5256(%rip), %rsi     # 0xdce2e
callq 0x32ad0
movq %rax, -0x258(%rbp)
leaq -0x248(%rbp), %rdi
movq %rdi, -0x7a0(%rbp)
leaq -0x249(%rbp), %rsi
leaq -0x258(%rbp), %rdx
callq 0x63070
movq -0x7a0(%rbp), %rsi
leaq 0xa5152(%rip), %rdx     # 0xdcd65
leaq -0x240(%rbp), %rdi
movq %rdi, -0x798(%rbp)
callq 0x636b0
movq -0x798(%rbp), %rsi
leaq -0x230(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x790(%rbp)
jmp 0x37c49
leaq 0xa59df(%rip), %rsi     # 0xdd62f
leaq -0x288(%rbp), %rdi
movl $0x5e, %edx
callq 0x514b0
jmp 0x37c63
movq -0x790(%rbp), %rsi
leaq -0x278(%rbp), %rdi
leaq -0x288(%rbp), %rdx
callq 0x63280
jmp 0x37c7f
leaq 0xa4c81(%rip), %rsi     # 0xdc907
leaq -0x298(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x37c99
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x230(%rbp), %rdi
leaq -0x278(%rbp), %rsi
leaq -0x298(%rbp), %rdx
movl $0x85, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x37cd2
leaq -0x278(%rbp), %rdi
callq 0x632c0
leaq -0x230(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x37b6b
jmp 0x37cf9
movq 0x108d98(%rip), %rax    # 0x140a98
movq %rax, -0x7e8(%rbp)
leaq 0xa4bf9(%rip), %rsi     # 0xdc907
leaq -0x2a8(%rbp), %rdi
movq %rdi, -0x7e0(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x2b8(%rbp), %rdi
movq %rdi, -0x7d8(%rbp)
callq 0x53590
movq -0x7e8(%rbp), %rdi
movq -0x7e0(%rbp), %rsi
movq -0x7d8(%rbp), %rcx
movl $0x8a, %edx
callq 0x29d70
leaq 0xa51b0(%rip), %rdi     # 0xdcf0f
leaq 0xa50c8(%rip), %rsi     # 0xdce2e
callq 0x32ad0
movq %rax, -0x2f8(%rbp)
leaq -0x2e8(%rbp), %rdi
movq %rdi, -0x7d0(%rbp)
leaq -0x2e9(%rbp), %rsi
leaq -0x2f8(%rbp), %rdx
callq 0x63070
movq -0x7d0(%rbp), %rsi
leaq 0xa4f7d(%rip), %rdx     # 0xdcd1e
leaq -0x2e0(%rbp), %rdi
movq %rdi, -0x7c8(%rbp)
callq 0x636b0
movq -0x7c8(%rbp), %rsi
leaq -0x2d0(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x7c0(%rbp)
jmp 0x37dd7
leaq 0xa58b0(%rip), %rsi     # 0xdd68e
leaq -0x328(%rbp), %rdi
movl $0x5f, %edx
callq 0x514b0
jmp 0x37df1
movq -0x7c0(%rbp), %rsi
leaq -0x318(%rbp), %rdi
leaq -0x328(%rbp), %rdx
callq 0x63280
jmp 0x37e0d
leaq 0xa4af3(%rip), %rsi     # 0xdc907
leaq -0x338(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x37e27
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x2d0(%rbp), %rdi
leaq -0x318(%rbp), %rsi
leaq -0x338(%rbp), %rdx
movl $0x8a, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x37e60
leaq -0x318(%rbp), %rdi
callq 0x632c0
leaq -0x2d0(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x37cf9
jmp 0x37e87
movq 0x108c0a(%rip), %rax    # 0x140a98
movq %rax, -0x818(%rbp)
leaq 0xa4a6b(%rip), %rsi     # 0xdc907
leaq -0x348(%rbp), %rdi
movq %rdi, -0x810(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x358(%rbp), %rdi
movq %rdi, -0x808(%rbp)
callq 0x53590
movq -0x818(%rbp), %rdi
movq -0x810(%rbp), %rsi
movq -0x808(%rbp), %rcx
movl $0x8f, %edx
callq 0x29d70
leaq 0xa5801(%rip), %rdi     # 0xdd6ee
leaq 0xa4f3a(%rip), %rsi     # 0xdce2e
callq 0x32ad0
movq %rax, -0x398(%rbp)
leaq -0x388(%rbp), %rdi
movq %rdi, -0x800(%rbp)
leaq -0x389(%rbp), %rsi
leaq -0x398(%rbp), %rdx
callq 0x63070
movq -0x800(%rbp), %rsi
leaq 0xa4def(%rip), %rdx     # 0xdcd1e
leaq -0x380(%rbp), %rdi
movq %rdi, -0x7f8(%rbp)
callq 0x636b0
movq -0x7f8(%rbp), %rsi
leaq -0x370(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x7f0(%rbp)
jmp 0x37f65
leaq 0xa5789(%rip), %rsi     # 0xdd6f5
leaq -0x3c8(%rbp), %rdi
movl $0x60, %edx
callq 0x514b0
jmp 0x37f7f
movq -0x7f0(%rbp), %rsi
leaq -0x3b8(%rbp), %rdi
leaq -0x3c8(%rbp), %rdx
callq 0x63280
jmp 0x37f9b
leaq 0xa4965(%rip), %rsi     # 0xdc907
leaq -0x3d8(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x37fb5
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x370(%rbp), %rdi
leaq -0x3b8(%rbp), %rsi
leaq -0x3d8(%rbp), %rdx
movl $0x8f, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x37fee
leaq -0x3b8(%rbp), %rdi
callq 0x632c0
leaq -0x370(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x37e87
jmp 0x38015
movq 0x108a7c(%rip), %rax    # 0x140a98
movq %rax, -0x850(%rbp)
leaq 0xa48dd(%rip), %rsi     # 0xdc907
leaq -0x3e8(%rbp), %rdi
movq %rdi, -0x848(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x3f8(%rbp), %rdi
movq %rdi, -0x840(%rbp)
callq 0x53590
movq -0x850(%rbp), %rdi
movq -0x848(%rbp), %rsi
movq -0x840(%rbp), %rcx
movl $0x94, %edx
callq 0x29d70
leaq 0xa4f60(%rip), %rdi     # 0xdcfdb
leaq 0xa4f5e(%rip), %rsi     # 0xdcfe0
movq %rsi, -0x830(%rbp)
callq 0x32ad0
movq %rax, -0x438(%rbp)
leaq -0x428(%rbp), %rdi
movq %rdi, -0x838(%rbp)
leaq -0x429(%rbp), %rsi
leaq -0x438(%rbp), %rdx
callq 0x63070
movq -0x838(%rbp), %rsi
movq -0x830(%rbp), %rdx
leaq -0x420(%rbp), %rdi
movq %rdi, -0x828(%rbp)
callq 0x630a0
movq -0x828(%rbp), %rsi
leaq -0x410(%rbp), %rdi
xorl %edx, %edx
callq 0x630e0
callq 0x55830
movq %rax, -0x820(%rbp)
jmp 0x380fa
leaq 0xa5655(%rip), %rsi     # 0xdd756
leaq -0x468(%rbp), %rdi
movl $0x9d, %edx
callq 0x514b0
jmp 0x38114
movq -0x820(%rbp), %rsi
leaq -0x458(%rbp), %rdi
leaq -0x468(%rbp), %rdx
callq 0x63280
jmp 0x38130
leaq 0xa47d0(%rip), %rsi     # 0xdc907
leaq -0x478(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x3814a
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x410(%rbp), %rdi
leaq -0x458(%rbp), %rsi
leaq -0x478(%rbp), %rdx
movl $0x94, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x38183
leaq -0x458(%rbp), %rdi
callq 0x632c0
leaq -0x410(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x38015
jmp 0x381aa
movq 0x1088e7(%rip), %rax    # 0x140a98
movq %rax, -0x880(%rbp)
leaq 0xa4748(%rip), %rsi     # 0xdc907
leaq -0x488(%rbp), %rdi
movq %rdi, -0x878(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x498(%rbp), %rdi
movq %rdi, -0x870(%rbp)
callq 0x53590
movq -0x880(%rbp), %rdi
movq -0x878(%rbp), %rsi
movq -0x870(%rbp), %rcx
movl $0x99, %edx
callq 0x29d70
leaq 0xa4eb1(%rip), %rdi     # 0xdd0c1
leaq 0xa4dc9(%rip), %rsi     # 0xdcfe0
callq 0x32ad0
movq %rax, -0x4d8(%rbp)
leaq -0x4c8(%rbp), %rdi
movq %rdi, -0x868(%rbp)
leaq -0x4c9(%rbp), %rsi
leaq -0x4d8(%rbp), %rdx
callq 0x63070
movq -0x868(%rbp), %rsi
leaq 0xa50f5(%rip), %rdx     # 0xdd347
leaq -0x4c0(%rbp), %rdi
movq %rdi, -0x860(%rbp)
callq 0x630a0
movq -0x860(%rbp), %rsi
leaq -0x4b0(%rbp), %rdi
xorl %edx, %edx
callq 0x630e0
callq 0x55830
movq %rax, -0x858(%rbp)
jmp 0x38288
leaq 0xa5565(%rip), %rsi     # 0xdd7f4
leaq -0x508(%rbp), %rdi
movl $0x9d, %edx
callq 0x514b0
jmp 0x382a2
movq -0x858(%rbp), %rsi
leaq -0x4f8(%rbp), %rdi
leaq -0x508(%rbp), %rdx
callq 0x63280
jmp 0x382be
leaq 0xa4642(%rip), %rsi     # 0xdc907
leaq -0x518(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x382d8
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x4b0(%rbp), %rdi
leaq -0x4f8(%rbp), %rsi
leaq -0x518(%rbp), %rdx
movl $0x99, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x38311
leaq -0x4f8(%rbp), %rdi
callq 0x632c0
leaq -0x4b0(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x381aa
jmp 0x38338
movq 0x108759(%rip), %rax    # 0x140a98
movq %rax, -0x8b0(%rbp)
leaq 0xa45ba(%rip), %rsi     # 0xdc907
leaq -0x528(%rbp), %rdi
movq %rdi, -0x8a8(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x538(%rbp), %rdi
movq %rdi, -0x8a0(%rbp)
callq 0x53590
movq -0x8b0(%rbp), %rdi
movq -0x8a8(%rbp), %rsi
movq -0x8a0(%rbp), %rcx
movl $0x9e, %edx
callq 0x29d70
leaq 0xa4a8b(%rip), %rdi     # 0xdce29
leaq 0xa4c3b(%rip), %rsi     # 0xdcfe0
callq 0x32ad0
movq %rax, -0x578(%rbp)
leaq -0x568(%rbp), %rdi
movq %rdi, -0x898(%rbp)
leaq -0x569(%rbp), %rsi
leaq -0x578(%rbp), %rdx
callq 0x63070
movq -0x898(%rbp), %rsi
leaq 0xa4985(%rip), %rdx     # 0xdcd65
leaq -0x560(%rbp), %rdi
movq %rdi, -0x890(%rbp)
callq 0x636b0
movq -0x890(%rbp), %rsi
leaq -0x550(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x888(%rbp)
jmp 0x38416
leaq 0xa5475(%rip), %rsi     # 0xdd892
leaq -0x5a8(%rbp), %rdi
movl $0x5e, %edx
callq 0x514b0
jmp 0x38430
movq -0x888(%rbp), %rsi
leaq -0x598(%rbp), %rdi
leaq -0x5a8(%rbp), %rdx
callq 0x63280
jmp 0x3844c
leaq 0xa44b4(%rip), %rsi     # 0xdc907
leaq -0x5b8(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x38466
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x550(%rbp), %rdi
leaq -0x598(%rbp), %rsi
leaq -0x5b8(%rbp), %rdx
movl $0x9e, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x3849f
leaq -0x598(%rbp), %rdi
callq 0x632c0
leaq -0x550(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x38338
jmp 0x384c6
movq 0x1085cb(%rip), %rax    # 0x140a98
movq %rax, -0x8e0(%rbp)
leaq 0xa442c(%rip), %rsi     # 0xdc907
leaq -0x5c8(%rbp), %rdi
movq %rdi, -0x8d8(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x5d8(%rbp), %rdi
movq %rdi, -0x8d0(%rbp)
callq 0x53590
movq -0x8e0(%rbp), %rdi
movq -0x8d8(%rbp), %rsi
movq -0x8d0(%rbp), %rcx
movl $0xa3, %edx
callq 0x29d70
leaq 0xa53c5(%rip), %rdi     # 0xdd8f1
leaq 0xa4aad(%rip), %rsi     # 0xdcfe0
callq 0x32ad0
movq %rax, -0x618(%rbp)
leaq -0x608(%rbp), %rdi
movq %rdi, -0x8c8(%rbp)
leaq -0x609(%rbp), %rsi
leaq -0x618(%rbp), %rdx
callq 0x63070
movq -0x8c8(%rbp), %rsi
leaq 0xa47b0(%rip), %rdx     # 0xdcd1e
leaq -0x600(%rbp), %rdi
movq %rdi, -0x8c0(%rbp)
callq 0x636b0
movq -0x8c0(%rbp), %rsi
leaq -0x5f0(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x8b8(%rbp)
jmp 0x385a4
leaq 0xa534d(%rip), %rsi     # 0xdd8f8
leaq -0x648(%rbp), %rdi
movl $0x60, %edx
callq 0x514b0
jmp 0x385be
movq -0x8b8(%rbp), %rsi
leaq -0x638(%rbp), %rdi
leaq -0x648(%rbp), %rdx
callq 0x63280
jmp 0x385da
leaq 0xa4326(%rip), %rsi     # 0xdc907
leaq -0x658(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x385f4
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x5f0(%rbp), %rdi
leaq -0x638(%rbp), %rsi
leaq -0x658(%rbp), %rdx
movl $0xa3, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x3862d
leaq -0x638(%rbp), %rdi
callq 0x632c0
leaq -0x5f0(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x384c6
jmp 0x38654
movq 0x10843d(%rip), %rax    # 0x140a98
movq %rax, -0x910(%rbp)
leaq 0xa429e(%rip), %rsi     # 0xdc907
leaq -0x668(%rbp), %rdi
movq %rdi, -0x908(%rbp)
movl $0xf, %edx
callq 0x514b0
leaq -0x678(%rbp), %rdi
movq %rdi, -0x900(%rbp)
callq 0x53590
movq -0x910(%rbp), %rdi
movq -0x908(%rbp), %rsi
movq -0x900(%rbp), %rcx
movl $0xa8, %edx
callq 0x29d70
leaq 0xa4a07(%rip), %rdi     # 0xdd0c1
leaq 0xa4be4(%rip), %rsi     # 0xdd2a5
callq 0x32ad0
movq %rax, -0x6b8(%rbp)
leaq -0x6a8(%rbp), %rdi
movq %rdi, -0x8f8(%rbp)
leaq -0x6a9(%rbp), %rsi
leaq -0x6b8(%rbp), %rdx
callq 0x63070
movq -0x8f8(%rbp), %rsi
leaq 0xa4622(%rip), %rdx     # 0xdcd1e
leaq -0x6a0(%rbp), %rdi
movq %rdi, -0x8f0(%rbp)
callq 0x636b0
movq -0x8f0(%rbp), %rsi
leaq -0x690(%rbp), %rdi
xorl %edx, %edx
callq 0x636f0
callq 0x55830
movq %rax, -0x8e8(%rbp)
jmp 0x38732
leaq 0xa5220(%rip), %rsi     # 0xdd959
leaq -0x6e8(%rbp), %rdi
movl $0x5e, %edx
callq 0x514b0
jmp 0x3874c
movq -0x8e8(%rbp), %rsi
leaq -0x6d8(%rbp), %rdi
leaq -0x6e8(%rbp), %rdx
callq 0x63280
jmp 0x38768
leaq 0xa4198(%rip), %rsi     # 0xdc907
leaq -0x6f8(%rbp), %rdi
movl $0xf, %edx
callq 0x514b0
jmp 0x38782
movq %rsp, %rax
movq $0x0, (%rax)
xorl %eax, %eax
leaq -0x690(%rbp), %rdi
leaq -0x6d8(%rbp), %rsi
leaq -0x6f8(%rbp), %rdx
movl $0xa8, %ecx
movl $0x1, %r8d
movl $0xe, %r9d
callq 0x23840
jmp 0x387bb
leaq -0x6d8(%rbp), %rdi
callq 0x632c0
leaq -0x690(%rbp), %rdi
callq 0x5b8a0
callq 0x632e0
testb $0x1, %al
jne 0x38654
addq $0x920, %rsp            # imm = 0x920
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x3881b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x88(%rbp), %rdi
callq 0x632c0
leaq -0x40(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x3885b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x138(%rbp), %rdi
callq 0x632c0
leaq -0xf0(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x3889e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x1d8(%rbp), %rdi
callq 0x632c0
leaq -0x190(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x388e1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x278(%rbp), %rdi
callq 0x632c0
leaq -0x230(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x38924
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x318(%rbp), %rdi
callq 0x632c0
leaq -0x2d0(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x38967
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x3b8(%rbp), %rdi
callq 0x632c0
leaq -0x370(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x389aa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x458(%rbp), %rdi
callq 0x632c0
leaq -0x410(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x389ed
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x4f8(%rbp), %rdi
callq 0x632c0
leaq -0x4b0(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x38a30
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x598(%rbp), %rdi
callq 0x632c0
leaq -0x550(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x38a70
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x638(%rbp), %rdi
callq 0x632c0
leaq -0x5f0(%rbp), %rdi
callq 0x5b8a0
jmp 0x38abc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
jmp 0x38ab0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x90(%rbp)
movl %eax, -0x94(%rbp)
leaq -0x6d8(%rbp), %rdi
callq 0x632c0
leaq -0x690(%rbp), %rdi
callq 0x5b8a0
movq -0x90(%rbp), %rdi
callq 0x10bc0
nopl (%rax,%rax)