// File: /workspace/github_cpp_makefile_star2_O3/KokiKishimoto[P]cp_decomposition/add_rev.cpp
// Function: main
int main(int argc, char **argv){
	std::string file_name;
	std::string rev_filename;
	int i;
	if ((i = ArgPos((char *)"-file_name", argc, argv)) > 0) file_name = argv[i + 1];
	if ((i = ArgPos((char *)"-rev_filename", argc, argv)) > 0) rev_filename = argv[i + 1];
	AddRev addrev(file_name);
	addrev.add_rev();
	addrev.write_file(rev_filename);
	std::cout << addrev.triple.size() << std::endl;
	std::cout << addrev.triple.front().size() << std::endl;

	return 0;
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0xb8, %rsp
movq %rsi, %rbx
movl %edi, %ebp
leaq 0x70(%rsp), %r12
movq %r12, -0x10(%r12)
xorl %eax, %eax
movq %rax, -0x8(%r12)
movb %al, (%r12)
leaq 0x10(%rsp), %r13
movq %r13, -0x10(%r13)
movq %rax, -0x8(%r13)
movb %al, (%r13)
leaq 0x50(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x1b2a(%rip), %rsi      # 0x4035
leaq 0x1b2d(%rip), %rdx      # 0x403f
leaq 0x40(%rsp), %rdi
callq 0x34f2
leaq 0x40(%rsp), %rdi
movl %ebp, %esi
movq %rbx, %rdx
callq 0x243c
movl %eax, %r14d
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x2545
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x21d0
testl %r14d, %r14d
jle 0x2581
movl %r14d, %eax
movq 0x8(%rbx,%rax,8), %r14
leaq 0x60(%rsp), %r15
movq %r12, %r13
movq 0x8(%r15), %r12
movq %r14, %rdi
callq 0x20d0
movq %r15, %rdi
xorl %esi, %esi
movq %r12, %rdx
movq %r13, %r12
leaq 0x10(%rsp), %r13
movq %r14, %rcx
movq %rax, %r8
callq 0x2280
leaq 0x30(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x1aaf(%rip), %rsi      # 0x4040
leaq 0x1ab5(%rip), %rdx      # 0x404d
leaq 0x20(%rsp), %rdi
callq 0x34f2
leaq 0x20(%rsp), %rdi
movl %ebp, %esi
movq %rbx, %rdx
callq 0x243c
movl %eax, %ebp
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x25ca
movq 0x30(%rsp), %rsi
incq %rsi
callq 0x21d0
testl %ebp, %ebp
jle 0x25f7
movl %ebp, %eax
movq 0x8(%rbx,%rax,8), %rbx
movq %rsp, %r14
movq 0x8(%r14), %r15
movq %rbx, %rdi
callq 0x20d0
movq %r14, %rdi
xorl %esi, %esi
movq %r15, %rdx
movq %rbx, %rcx
movq %rax, %r8
callq 0x2280
leaq 0x80(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x27b6
leaq 0x80(%rsp), %rdi
callq 0x2832
leaq 0x80(%rsp), %rdi
movq %rsp, %rsi
callq 0x2a22
movq 0x88(%rsp), %rax
subq 0x80(%rsp), %rax
sarq $0x3, %rax
movabsq $-0x5555555555555555, %rsi # imm = 0xAAAAAAAAAAAAAAAB
imulq %rax, %rsi
movq 0x3989(%rip), %rdi      # 0x5fd8
callq 0x2120
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2130
movq 0x80(%rsp), %rax
movq 0x8(%rax), %rsi
subq (%rax), %rsi
sarq $0x5, %rsi
movq 0x3940(%rip), %rdi      # 0x5fd8
callq 0x2120
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21a0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2130
leaq 0xa8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x26e8
movq 0xa8(%rsp), %rsi
incq %rsi
callq 0x21d0
leaq 0x80(%rsp), %rdi
callq 0x2de0
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x270b
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21d0
movq 0x60(%rsp), %rdi
cmpq %r12, %rdi
je 0x2722
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x21d0
xorl %eax, %eax
addq $0xb8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x276c
movq %rax, %rbx
movq 0x20(%rsp), %rdi
cmpq %r14, %rdi
je 0x2781
movq 0x30(%rsp), %rsi
jmp 0x2760
jmp 0x276c
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %r15, %rdi
je 0x2781
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x21d0
jmp 0x2781
jmp 0x276c
movq %rax, %rbx
jmp 0x2781
movq %rax, %rbx
leaq 0x80(%rsp), %rdi
callq 0x2b96
movq (%rsp), %rdi
cmpq %r13, %rdi
je 0x2797
movq 0x10(%rsp), %rsi
incq %rsi
callq 0x21d0
movq 0x60(%rsp), %rdi
cmpq %r12, %rdi
je 0x27ae
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x21d0
movq %rbx, %rdi
callq 0x22c0