// File: estwings57[P]CasHMC/sources/Transaction.cpp
// Function: CasHMC::operator<<(std::ostream&, CasHMC::Transaction const&)
ostream& operator<<(ostream &out, const Transaction &t)
{
	string header;
	stringstream id;
	id << t.transactionID;

	switch(t.transactionType) {
		case DATA_READ:		header = "[T" + id.str() + "-Read]";	break;
		case DATA_WRITE:	header = "[T" + id.str() + "-Write]";	break;
		case RETURN_DATA:	header = "[T" + id.str() + "-Data]";	break;
		//ATOMICS commands for HMC
		case ATM_2ADD8:		header = "[T" + id.str() + "-2ADD8]";	break;		case ATM_ADD16:		header = "[T" + id.str() + "-ADD16]";	break;
		case ATM_P_2ADD8:	header = "[T" + id.str() + "-P_2ADD8]";	break;		case ATM_P_ADD16:	header = "[T" + id.str() + "-P_ADD16]";	break;
		case ATM_2ADDS8R:	header = "[T" + id.str() + "-2ADDS8R]";	break;		case ATM_ADDS16R:	header = "[T" + id.str() + "-ADDS16R]";	break;
		case ATM_INC8:		header = "[T" + id.str() + "-INC8]";	break;		case ATM_P_INC8:	header = "[T" + id.str() + "-P_INC8]";	break;
		case ATM_XOR16:		header = "[T" + id.str() + "-XOR16]";	break;		case ATM_OR16:		header = "[T" + id.str() + "-OR16]";	break;
		case ATM_NOR16:		header = "[T" + id.str() + "-NOR16]";	break;		case ATM_AND16:		header = "[T" + id.str() + "-AND16]";	break;
		case ATM_NAND16:	header = "[T" + id.str() + "-NAND16]";	break;		case ATM_CASGT8:	header = "[T" + id.str() + "-CASGT8]";	break;
		case ATM_CASLT8:	header = "[T" + id.str() + "-CASLT8]";	break;		case ATM_CASGT16:	header = "[T" + id.str() + "-CASGT16]";	break;
		case ATM_CASLT16:	header = "[T" + id.str() + "-CASLT16]";	break;		case ATM_CASEQ8:	header = "[T" + id.str() + "-CASEQ8]";	break;
		case ATM_CASZERO16:	header = "[T" + id.str() + "-CASZR16]";	break;		case ATM_EQ16:		header = "[T" + id.str() + "-EQ16]";	break;
		case ATM_EQ8:		header = "[T" + id.str() + "-EQ8]";		break;		case ATM_BWR:		header = "[T" + id.str() + "-BWR]";		break;
		case ATM_P_BWR:		header = "[T" + id.str() + "-P_BWR]";	break;		case ATM_BWR8R:		header = "[T" + id.str() + "-BWR8R]";	break;
		case ATM_SWAP16:	header = "[T" + id.str() + "-SWAP16]";	break;
		default:
			ERROR(" (TS) == Error - Trying to print unknown kind of transaction type");
			ERROR("         T"<<t.transactionID<<" [?"<<t.transactionType<<"?] [0x"<<hex<<setw(16)<<setfill('0')<<t.address<<dec<<"]");
			exit(0);
	}
	out<<header;
	return out;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xd20, %rsp            # imm = 0xD20
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq -0x30(%rbp), %rdi
callq 0x44f0
leaq -0x1b8(%rbp), %rdi
callq 0x4270
jmp 0x4a3da
leaq -0x1a8(%rbp), %rdi
movq -0x10(%rbp), %rax
movl 0x24(%rax), %esi
callq 0x44c0
jmp 0x4a3ef
movq -0x10(%rbp), %rax
movl 0x10(%rax), %eax
movq %rax, -0xc58(%rbp)
subq $0x1b, %rax
ja 0x4ba48
movq -0xc58(%rbp), %rax
leaq 0xa343(%rip), %rcx      # 0x54758
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4bd64
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4bd58
leaq -0x228(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a461
leaq 0xa377(%rip), %rsi      # 0x547df
leaq -0x208(%rbp), %rdi
leaq -0x228(%rbp), %rdx
callq 0x179c0
jmp 0x4a47d
leaq 0xa35e(%rip), %rdx      # 0x547e2
leaq -0x1e8(%rbp), %rdi
leaq -0x208(%rbp), %rsi
callq 0x18020
jmp 0x4a499
leaq -0x30(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x4470
leaq -0x1e8(%rbp), %rdi
callq 0x46e8
leaq -0x208(%rbp), %rdi
callq 0x46e8
leaq -0x228(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4a504
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x208(%rbp), %rdi
callq 0x46e8
leaq -0x228(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x288(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a52a
leaq 0xa2ae(%rip), %rsi      # 0x547df
leaq -0x268(%rbp), %rdi
leaq -0x288(%rbp), %rdx
callq 0x179c0
jmp 0x4a546
leaq 0xa29c(%rip), %rdx      # 0x547e9
leaq -0x248(%rbp), %rdi
leaq -0x268(%rbp), %rsi
callq 0x18020
jmp 0x4a562
leaq -0x30(%rbp), %rdi
leaq -0x248(%rbp), %rsi
callq 0x4470
leaq -0x248(%rbp), %rdi
callq 0x46e8
leaq -0x268(%rbp), %rdi
callq 0x46e8
leaq -0x288(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4a5cd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x268(%rbp), %rdi
callq 0x46e8
leaq -0x288(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x2e8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a5f3
leaq 0xa1e5(%rip), %rsi      # 0x547df
leaq -0x2c8(%rbp), %rdi
leaq -0x2e8(%rbp), %rdx
callq 0x179c0
jmp 0x4a60f
leaq 0xa1db(%rip), %rdx      # 0x547f1
leaq -0x2a8(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
callq 0x18020
jmp 0x4a62b
leaq -0x30(%rbp), %rdi
leaq -0x2a8(%rbp), %rsi
callq 0x4470
leaq -0x2a8(%rbp), %rdi
callq 0x46e8
leaq -0x2c8(%rbp), %rdi
callq 0x46e8
leaq -0x2e8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4a696
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x2c8(%rbp), %rdi
callq 0x46e8
leaq -0x2e8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x348(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a6bc
leaq 0xa11c(%rip), %rsi      # 0x547df
leaq -0x328(%rbp), %rdi
leaq -0x348(%rbp), %rdx
callq 0x179c0
jmp 0x4a6d8
leaq 0x9a5d(%rip), %rdx      # 0x5413c
leaq -0x308(%rbp), %rdi
leaq -0x328(%rbp), %rsi
callq 0x18020
jmp 0x4a6f4
leaq -0x30(%rbp), %rdi
leaq -0x308(%rbp), %rsi
callq 0x4470
leaq -0x308(%rbp), %rdi
callq 0x46e8
leaq -0x328(%rbp), %rdi
callq 0x46e8
leaq -0x348(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4a75f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x328(%rbp), %rdi
callq 0x46e8
leaq -0x348(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x3a8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a785
leaq 0xa053(%rip), %rsi      # 0x547df
leaq -0x388(%rbp), %rdi
leaq -0x3a8(%rbp), %rdx
callq 0x179c0
jmp 0x4a7a1
leaq 0x999c(%rip), %rdx      # 0x54144
leaq -0x368(%rbp), %rdi
leaq -0x388(%rbp), %rsi
callq 0x18020
jmp 0x4a7bd
leaq -0x30(%rbp), %rdi
leaq -0x368(%rbp), %rsi
callq 0x4470
leaq -0x368(%rbp), %rdi
callq 0x46e8
leaq -0x388(%rbp), %rdi
callq 0x46e8
leaq -0x3a8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4a828
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x388(%rbp), %rdi
callq 0x46e8
leaq -0x3a8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x408(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a84e
leaq 0x9f8a(%rip), %rsi      # 0x547df
leaq -0x3e8(%rbp), %rdi
leaq -0x408(%rbp), %rdx
callq 0x179c0
jmp 0x4a86a
leaq 0x98db(%rip), %rdx      # 0x5414c
leaq -0x3c8(%rbp), %rdi
leaq -0x3e8(%rbp), %rsi
callq 0x18020
jmp 0x4a886
leaq -0x30(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x4470
leaq -0x3c8(%rbp), %rdi
callq 0x46e8
leaq -0x3e8(%rbp), %rdi
callq 0x46e8
leaq -0x408(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4a8f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x3e8(%rbp), %rdi
callq 0x46e8
leaq -0x408(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x468(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a917
leaq 0x9ec1(%rip), %rsi      # 0x547df
leaq -0x448(%rbp), %rdi
leaq -0x468(%rbp), %rdx
callq 0x179c0
jmp 0x4a933
leaq 0x981c(%rip), %rdx      # 0x54156
leaq -0x428(%rbp), %rdi
leaq -0x448(%rbp), %rsi
callq 0x18020
jmp 0x4a94f
leaq -0x30(%rbp), %rdi
leaq -0x428(%rbp), %rsi
callq 0x4470
leaq -0x428(%rbp), %rdi
callq 0x46e8
leaq -0x448(%rbp), %rdi
callq 0x46e8
leaq -0x468(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4a9ba
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x448(%rbp), %rdi
callq 0x46e8
leaq -0x468(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x4c8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4a9e0
leaq 0x9df8(%rip), %rsi      # 0x547df
leaq -0x4a8(%rbp), %rdi
leaq -0x4c8(%rbp), %rdx
callq 0x179c0
jmp 0x4a9fc
leaq 0x975d(%rip), %rdx      # 0x54160
leaq -0x488(%rbp), %rdi
leaq -0x4a8(%rbp), %rsi
callq 0x18020
jmp 0x4aa18
leaq -0x30(%rbp), %rdi
leaq -0x488(%rbp), %rsi
callq 0x4470
leaq -0x488(%rbp), %rdi
callq 0x46e8
leaq -0x4a8(%rbp), %rdi
callq 0x46e8
leaq -0x4c8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4aa83
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x4a8(%rbp), %rdi
callq 0x46e8
leaq -0x4c8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x528(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4aaa9
leaq 0x9d2f(%rip), %rsi      # 0x547df
leaq -0x508(%rbp), %rdi
leaq -0x528(%rbp), %rdx
callq 0x179c0
jmp 0x4aac5
leaq 0x969e(%rip), %rdx      # 0x5416a
leaq -0x4e8(%rbp), %rdi
leaq -0x508(%rbp), %rsi
callq 0x18020
jmp 0x4aae1
leaq -0x30(%rbp), %rdi
leaq -0x4e8(%rbp), %rsi
callq 0x4470
leaq -0x4e8(%rbp), %rdi
callq 0x46e8
leaq -0x508(%rbp), %rdi
callq 0x46e8
leaq -0x528(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4ab4c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x508(%rbp), %rdi
callq 0x46e8
leaq -0x528(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x588(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4ab72
leaq 0x9c66(%rip), %rsi      # 0x547df
leaq -0x568(%rbp), %rdi
leaq -0x588(%rbp), %rdx
callq 0x179c0
jmp 0x4ab8e
leaq 0x95df(%rip), %rdx      # 0x54174
leaq -0x548(%rbp), %rdi
leaq -0x568(%rbp), %rsi
callq 0x18020
jmp 0x4abaa
leaq -0x30(%rbp), %rdi
leaq -0x548(%rbp), %rsi
callq 0x4470
leaq -0x548(%rbp), %rdi
callq 0x46e8
leaq -0x568(%rbp), %rdi
callq 0x46e8
leaq -0x588(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4ac15
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x568(%rbp), %rdi
callq 0x46e8
leaq -0x588(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x5e8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4ac3b
leaq 0x9b9d(%rip), %rsi      # 0x547df
leaq -0x5c8(%rbp), %rdi
leaq -0x5e8(%rbp), %rdx
callq 0x179c0
jmp 0x4ac57
leaq 0x951d(%rip), %rdx      # 0x5417b
leaq -0x5a8(%rbp), %rdi
leaq -0x5c8(%rbp), %rsi
callq 0x18020
jmp 0x4ac73
leaq -0x30(%rbp), %rdi
leaq -0x5a8(%rbp), %rsi
callq 0x4470
leaq -0x5a8(%rbp), %rdi
callq 0x46e8
leaq -0x5c8(%rbp), %rdi
callq 0x46e8
leaq -0x5e8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4acde
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x5c8(%rbp), %rdi
callq 0x46e8
leaq -0x5e8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x648(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4ad04
leaq 0x9ad4(%rip), %rsi      # 0x547df
leaq -0x628(%rbp), %rdi
leaq -0x648(%rbp), %rdx
callq 0x179c0
jmp 0x4ad20
leaq 0x945d(%rip), %rdx      # 0x54184
leaq -0x608(%rbp), %rdi
leaq -0x628(%rbp), %rsi
callq 0x18020
jmp 0x4ad3c
leaq -0x30(%rbp), %rdi
leaq -0x608(%rbp), %rsi
callq 0x4470
leaq -0x608(%rbp), %rdi
callq 0x46e8
leaq -0x628(%rbp), %rdi
callq 0x46e8
leaq -0x648(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4ada7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x628(%rbp), %rdi
callq 0x46e8
leaq -0x648(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x6a8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4adcd
leaq 0x9a0b(%rip), %rsi      # 0x547df
leaq -0x688(%rbp), %rdi
leaq -0x6a8(%rbp), %rdx
callq 0x179c0
jmp 0x4ade9
leaq 0x939c(%rip), %rdx      # 0x5418c
leaq -0x668(%rbp), %rdi
leaq -0x688(%rbp), %rsi
callq 0x18020
jmp 0x4ae05
leaq -0x30(%rbp), %rdi
leaq -0x668(%rbp), %rsi
callq 0x4470
leaq -0x668(%rbp), %rdi
callq 0x46e8
leaq -0x688(%rbp), %rdi
callq 0x46e8
leaq -0x6a8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4ae70
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x688(%rbp), %rdi
callq 0x46e8
leaq -0x6a8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x708(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4ae96
leaq 0x9942(%rip), %rsi      # 0x547df
leaq -0x6e8(%rbp), %rdi
leaq -0x708(%rbp), %rdx
callq 0x179c0
jmp 0x4aeb2
leaq 0x92da(%rip), %rdx      # 0x54193
leaq -0x6c8(%rbp), %rdi
leaq -0x6e8(%rbp), %rsi
callq 0x18020
jmp 0x4aece
leaq -0x30(%rbp), %rdi
leaq -0x6c8(%rbp), %rsi
callq 0x4470
leaq -0x6c8(%rbp), %rdi
callq 0x46e8
leaq -0x6e8(%rbp), %rdi
callq 0x46e8
leaq -0x708(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4af39
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x6e8(%rbp), %rdi
callq 0x46e8
leaq -0x708(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x768(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4af5f
leaq 0x9879(%rip), %rsi      # 0x547df
leaq -0x748(%rbp), %rdi
leaq -0x768(%rbp), %rdx
callq 0x179c0
jmp 0x4af7b
leaq 0x9219(%rip), %rdx      # 0x5419b
leaq -0x728(%rbp), %rdi
leaq -0x748(%rbp), %rsi
callq 0x18020
jmp 0x4af97
leaq -0x30(%rbp), %rdi
leaq -0x728(%rbp), %rsi
callq 0x4470
leaq -0x728(%rbp), %rdi
callq 0x46e8
leaq -0x748(%rbp), %rdi
callq 0x46e8
leaq -0x768(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b002
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x748(%rbp), %rdi
callq 0x46e8
leaq -0x768(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x7c8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b028
leaq 0x97b0(%rip), %rsi      # 0x547df
leaq -0x7a8(%rbp), %rdi
leaq -0x7c8(%rbp), %rdx
callq 0x179c0
jmp 0x4b044
leaq 0x9158(%rip), %rdx      # 0x541a3
leaq -0x788(%rbp), %rdi
leaq -0x7a8(%rbp), %rsi
callq 0x18020
jmp 0x4b060
leaq -0x30(%rbp), %rdi
leaq -0x788(%rbp), %rsi
callq 0x4470
leaq -0x788(%rbp), %rdi
callq 0x46e8
leaq -0x7a8(%rbp), %rdi
callq 0x46e8
leaq -0x7c8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b0cb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x7a8(%rbp), %rdi
callq 0x46e8
leaq -0x7c8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x828(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b0f1
leaq 0x96e7(%rip), %rsi      # 0x547df
leaq -0x808(%rbp), %rdi
leaq -0x828(%rbp), %rdx
callq 0x179c0
jmp 0x4b10d
leaq 0x9098(%rip), %rdx      # 0x541ac
leaq -0x7e8(%rbp), %rdi
leaq -0x808(%rbp), %rsi
callq 0x18020
jmp 0x4b129
leaq -0x30(%rbp), %rdi
leaq -0x7e8(%rbp), %rsi
callq 0x4470
leaq -0x7e8(%rbp), %rdi
callq 0x46e8
leaq -0x808(%rbp), %rdi
callq 0x46e8
leaq -0x828(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b194
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x808(%rbp), %rdi
callq 0x46e8
leaq -0x828(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x888(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b1ba
leaq 0x961e(%rip), %rsi      # 0x547df
leaq -0x868(%rbp), %rdi
leaq -0x888(%rbp), %rdx
callq 0x179c0
jmp 0x4b1d6
leaq 0x8fd8(%rip), %rdx      # 0x541b5
leaq -0x848(%rbp), %rdi
leaq -0x868(%rbp), %rsi
callq 0x18020
jmp 0x4b1f2
leaq -0x30(%rbp), %rdi
leaq -0x848(%rbp), %rsi
callq 0x4470
leaq -0x848(%rbp), %rdi
callq 0x46e8
leaq -0x868(%rbp), %rdi
callq 0x46e8
leaq -0x888(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b25d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x868(%rbp), %rdi
callq 0x46e8
leaq -0x888(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x8e8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b283
leaq 0x9555(%rip), %rsi      # 0x547df
leaq -0x8c8(%rbp), %rdi
leaq -0x8e8(%rbp), %rdx
callq 0x179c0
jmp 0x4b29f
leaq 0x8f18(%rip), %rdx      # 0x541be
leaq -0x8a8(%rbp), %rdi
leaq -0x8c8(%rbp), %rsi
callq 0x18020
jmp 0x4b2bb
leaq -0x30(%rbp), %rdi
leaq -0x8a8(%rbp), %rsi
callq 0x4470
leaq -0x8a8(%rbp), %rdi
callq 0x46e8
leaq -0x8c8(%rbp), %rdi
callq 0x46e8
leaq -0x8e8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b326
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x8c8(%rbp), %rdi
callq 0x46e8
leaq -0x8e8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x948(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b34c
leaq 0x948c(%rip), %rsi      # 0x547df
leaq -0x928(%rbp), %rdi
leaq -0x948(%rbp), %rdx
callq 0x179c0
jmp 0x4b368
leaq 0x8e59(%rip), %rdx      # 0x541c8
leaq -0x908(%rbp), %rdi
leaq -0x928(%rbp), %rsi
callq 0x18020
jmp 0x4b384
leaq -0x30(%rbp), %rdi
leaq -0x908(%rbp), %rsi
callq 0x4470
leaq -0x908(%rbp), %rdi
callq 0x46e8
leaq -0x928(%rbp), %rdi
callq 0x46e8
leaq -0x948(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b3ef
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x928(%rbp), %rdi
callq 0x46e8
leaq -0x948(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0x9a8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b415
leaq 0x93c3(%rip), %rsi      # 0x547df
leaq -0x988(%rbp), %rdi
leaq -0x9a8(%rbp), %rdx
callq 0x179c0
jmp 0x4b431
leaq 0x8d9a(%rip), %rdx      # 0x541d2
leaq -0x968(%rbp), %rdi
leaq -0x988(%rbp), %rsi
callq 0x18020
jmp 0x4b44d
leaq -0x30(%rbp), %rdi
leaq -0x968(%rbp), %rsi
callq 0x4470
leaq -0x968(%rbp), %rdi
callq 0x46e8
leaq -0x988(%rbp), %rdi
callq 0x46e8
leaq -0x9a8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b4b8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x988(%rbp), %rdi
callq 0x46e8
leaq -0x9a8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0xa08(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b4de
leaq 0x92fa(%rip), %rsi      # 0x547df
leaq -0x9e8(%rbp), %rdi
leaq -0xa08(%rbp), %rdx
callq 0x179c0
jmp 0x4b4fa
leaq 0x8cda(%rip), %rdx      # 0x541db
leaq -0x9c8(%rbp), %rdi
leaq -0x9e8(%rbp), %rsi
callq 0x18020
jmp 0x4b516
leaq -0x30(%rbp), %rdi
leaq -0x9c8(%rbp), %rsi
callq 0x4470
leaq -0x9c8(%rbp), %rdi
callq 0x46e8
leaq -0x9e8(%rbp), %rdi
callq 0x46e8
leaq -0xa08(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b581
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0x9e8(%rbp), %rdi
callq 0x46e8
leaq -0xa08(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0xa68(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b5a7
leaq 0x9231(%rip), %rsi      # 0x547df
leaq -0xa48(%rbp), %rdi
leaq -0xa68(%rbp), %rdx
callq 0x179c0
jmp 0x4b5c3
leaq 0x8c1b(%rip), %rdx      # 0x541e5
leaq -0xa28(%rbp), %rdi
leaq -0xa48(%rbp), %rsi
callq 0x18020
jmp 0x4b5df
leaq -0x30(%rbp), %rdi
leaq -0xa28(%rbp), %rsi
callq 0x4470
leaq -0xa28(%rbp), %rdi
callq 0x46e8
leaq -0xa48(%rbp), %rdi
callq 0x46e8
leaq -0xa68(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b64a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0xa48(%rbp), %rdi
callq 0x46e8
leaq -0xa68(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0xac8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b670
leaq 0x9168(%rip), %rsi      # 0x547df
leaq -0xaa8(%rbp), %rdi
leaq -0xac8(%rbp), %rdx
callq 0x179c0
jmp 0x4b68c
leaq 0x8b59(%rip), %rdx      # 0x541ec
leaq -0xa88(%rbp), %rdi
leaq -0xaa8(%rbp), %rsi
callq 0x18020
jmp 0x4b6a8
leaq -0x30(%rbp), %rdi
leaq -0xa88(%rbp), %rsi
callq 0x4470
leaq -0xa88(%rbp), %rdi
callq 0x46e8
leaq -0xaa8(%rbp), %rdi
callq 0x46e8
leaq -0xac8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b713
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0xaa8(%rbp), %rdi
callq 0x46e8
leaq -0xac8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0xb28(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b739
leaq 0x909f(%rip), %rsi      # 0x547df
leaq -0xb08(%rbp), %rdi
leaq -0xb28(%rbp), %rdx
callq 0x179c0
jmp 0x4b755
leaq 0x8a96(%rip), %rdx      # 0x541f2
leaq -0xae8(%rbp), %rdi
leaq -0xb08(%rbp), %rsi
callq 0x18020
jmp 0x4b771
leaq -0x30(%rbp), %rdi
leaq -0xae8(%rbp), %rsi
callq 0x4470
leaq -0xae8(%rbp), %rdi
callq 0x46e8
leaq -0xb08(%rbp), %rdi
callq 0x46e8
leaq -0xb28(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b7dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0xb08(%rbp), %rdi
callq 0x46e8
leaq -0xb28(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0xb88(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b802
leaq 0x8fd6(%rip), %rsi      # 0x547df
leaq -0xb68(%rbp), %rdi
leaq -0xb88(%rbp), %rdx
callq 0x179c0
jmp 0x4b81e
leaq 0x89d3(%rip), %rdx      # 0x541f8
leaq -0xb48(%rbp), %rdi
leaq -0xb68(%rbp), %rsi
callq 0x18020
jmp 0x4b83a
leaq -0x30(%rbp), %rdi
leaq -0xb48(%rbp), %rsi
callq 0x4470
leaq -0xb48(%rbp), %rdi
callq 0x46e8
leaq -0xb68(%rbp), %rdi
callq 0x46e8
leaq -0xb88(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b8a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0xb68(%rbp), %rdi
callq 0x46e8
leaq -0xb88(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0xbe8(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b8cb
leaq 0x8f0d(%rip), %rsi      # 0x547df
leaq -0xbc8(%rbp), %rdi
leaq -0xbe8(%rbp), %rdx
callq 0x179c0
jmp 0x4b8e7
leaq 0x8912(%rip), %rdx      # 0x54200
leaq -0xba8(%rbp), %rdi
leaq -0xbc8(%rbp), %rsi
callq 0x18020
jmp 0x4b903
leaq -0x30(%rbp), %rdi
leaq -0xba8(%rbp), %rsi
callq 0x4470
leaq -0xba8(%rbp), %rdi
callq 0x46e8
leaq -0xbc8(%rbp), %rdi
callq 0x46e8
leaq -0xbe8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4b96e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0xbc8(%rbp), %rdi
callq 0x46e8
leaq -0xbe8(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
leaq -0xc48(%rbp), %rdi
leaq -0x1b8(%rbp), %rsi
callq 0x4370
jmp 0x4b994
leaq 0x8e44(%rip), %rsi      # 0x547df
leaq -0xc28(%rbp), %rdi
leaq -0xc48(%rbp), %rdx
callq 0x179c0
jmp 0x4b9b0
leaq 0x8851(%rip), %rdx      # 0x54208
leaq -0xc08(%rbp), %rdi
leaq -0xc28(%rbp), %rsi
callq 0x18020
jmp 0x4b9cc
leaq -0x30(%rbp), %rdi
leaq -0xc08(%rbp), %rsi
callq 0x4470
leaq -0xc08(%rbp), %rdi
callq 0x46e8
leaq -0xc28(%rbp), %rdi
callq 0x46e8
leaq -0xc48(%rbp), %rdi
callq 0x46e8
jmp 0x4bd19
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
jmp 0x4ba37
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x1c0(%rbp)
movl %eax, -0x1c4(%rbp)
leaq -0xc28(%rbp), %rdi
callq 0x46e8
leaq -0xc48(%rbp), %rdi
callq 0x46e8
jmp 0x4bd58
movq 0x1a5a1(%rip), %rdi     # 0x65ff0
leaq 0x55e4(%rip), %rsi      # 0x5103a
callq 0x4380
movq %rax, -0xc60(%rbp)
jmp 0x4ba64
movq -0xc60(%rbp), %rdi
leaq 0x8d86(%rip), %rsi      # 0x547f8
callq 0x4380
movq %rax, -0xc68(%rbp)
jmp 0x4ba80
movq -0xc68(%rbp), %rdi
leaq 0x5da7(%rip), %rsi      # 0x51835
callq 0x4380
movq %rax, -0xc70(%rbp)
jmp 0x4ba9c
movq -0xc70(%rbp), %rdi
movl $0x47, %esi
callq 0x4610
movq %rax, -0xc78(%rbp)
jmp 0x4bab6
movq -0xc78(%rbp), %rdi
leaq 0x5595(%rip), %rsi      # 0x51059
callq 0x4380
movq %rax, -0xc80(%rbp)
jmp 0x4bad2
movq -0xc80(%rbp), %rdi
leaq 0x8d30(%rip), %rsi      # 0x54810
callq 0x4380
movq %rax, -0xc88(%rbp)
jmp 0x4baee
movq -0xc88(%rbp), %rdi
movq 0x1a4b4(%rip), %rsi     # 0x65fb0
callq 0x43c0
jmp 0x4bb03
movq 0x1a4e6(%rip), %rdi     # 0x65ff0
leaq 0x5529(%rip), %rsi      # 0x5103a
callq 0x4380
movq %rax, -0xc90(%rbp)
jmp 0x4bb1f
movq -0xc90(%rbp), %rdi
leaq 0x8ccb(%rip), %rsi      # 0x547f8
callq 0x4380
movq %rax, -0xc98(%rbp)
jmp 0x4bb3b
movq -0xc98(%rbp), %rdi
leaq 0x5cec(%rip), %rsi      # 0x51835
callq 0x4380
movq %rax, -0xca0(%rbp)
jmp 0x4bb57
movq -0xca0(%rbp), %rdi
movl $0x48, %esi
callq 0x4610
movq %rax, -0xca8(%rbp)
jmp 0x4bb71
movq -0xca8(%rbp), %rdi
leaq 0x54da(%rip), %rsi      # 0x51059
callq 0x4380
movq %rax, -0xcb0(%rbp)
jmp 0x4bb8d
movq -0xcb0(%rbp), %rdi
leaq 0x8cb7(%rip), %rsi      # 0x54852
callq 0x4380
movq %rax, -0xcb8(%rbp)
jmp 0x4bba9
movq -0xcb8(%rbp), %rdi
movq -0x10(%rbp), %rax
movl 0x24(%rax), %esi
callq 0x44c0
movq %rax, -0xcc0(%rbp)
jmp 0x4bbc5
movq -0xcc0(%rbp), %rdi
leaq 0x8715(%rip), %rsi      # 0x542e8
callq 0x4380
movq %rax, -0xcc8(%rbp)
jmp 0x4bbe1
movq -0xcc8(%rbp), %rdi
movq -0x10(%rbp), %rax
movl 0x10(%rax), %esi
callq 0x4610
movq %rax, -0xcd0(%rbp)
jmp 0x4bbfd
movq -0xcd0(%rbp), %rdi
leaq 0x8c52(%rip), %rsi      # 0x5485d
callq 0x4380
movq %rax, -0xcd8(%rbp)
jmp 0x4bc19
movq -0xcd8(%rbp), %rdi
leaq -0x82b7(%rip), %rsi     # 0x43970
callq 0x4150
movq %rax, -0xce0(%rbp)
jmp 0x4bc35
movl $0x10, %edi
callq 0x177b0
movl %eax, -0xce4(%rbp)
jmp 0x4bc47
movq -0xce0(%rbp), %rdi
movl -0xce4(%rbp), %eax
movl %eax, -0xc4c(%rbp)
movl -0xc4c(%rbp), %esi
callq 0x4440
movq %rax, -0xcf0(%rbp)
jmp 0x4bc6e
movl $0x30, %edi
callq 0x177d0
movb %al, -0xcf1(%rbp)
jmp 0x4bc80
movq -0xcf0(%rbp), %rdi
movb -0xcf1(%rbp), %al
movb %al, -0xc4d(%rbp)
movzbl -0xc4d(%rbp), %esi
callq 0x4550
movq %rax, -0xd00(%rbp)
jmp 0x4bca8
movq -0xd00(%rbp), %rdi
movq -0x10(%rbp), %rax
movq 0x18(%rax), %rsi
callq 0x40f0
movq %rax, -0xd08(%rbp)
jmp 0x4bcc5
movq -0xd08(%rbp), %rdi
leaq -0x8333(%rip), %rsi     # 0x439a0
callq 0x4150
movq %rax, -0xd10(%rbp)
jmp 0x4bce1
movq -0xd10(%rbp), %rdi
leaq 0x6d2b(%rip), %rsi      # 0x52a1a
callq 0x4380
movq %rax, -0xd18(%rbp)
jmp 0x4bcfd
movq -0xd18(%rbp), %rdi
movq 0x1a2a5(%rip), %rsi     # 0x65fb0
callq 0x43c0
jmp 0x4bd12
xorl %edi, %edi
callq 0x4460
movq -0x8(%rbp), %rdi
leaq -0x30(%rbp), %rsi
callq 0x4320
jmp 0x4bd28
movq -0x8(%rbp), %rax
movq %rax, -0xd20(%rbp)
leaq -0x1b8(%rbp), %rdi
callq 0x42a0
leaq -0x30(%rbp), %rdi
callq 0x46e8
movq -0xd20(%rbp), %rax
addq $0xd20, %rsp            # imm = 0xD20
popq %rbp
retq
leaq -0x1b8(%rbp), %rdi
callq 0x42a0
leaq -0x30(%rbp), %rdi
callq 0x46e8
movq -0x1c0(%rbp), %rdi
callq 0x4630
nopl (%rax)