// File: /workspace/github_cpp_makefile_star2_O2/datourat[P]IP-label-for-graph-reachability/Graph.cpp
// Function: Graph::PrintIndex(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>> const&)
void Graph::PrintIndex(const string& filename){
	ofstream output(filename.c_str());

	if(output.is_open()==false){
		cout << "Fail to open " << filename << endl;
		quit();
	}

	output << hugenode << endl;

	for(int u=0; u<vsize; u++){
		output << u << ": ";
		for(int j=0; j<ProLabelOut[u].size(); j++){
			output << ProLabelOut[u][j] << ' ';
		}
		output << "# ";
		for(int j=0; j<ProLabelIn[u].size(); j++){
			output << ProLabelIn[u][j] << ' ';
		}
		output << "# ";
		for(int j=0; j<HugeNodeList[u].size(); j++){
			output << HugeNodeList[u][j] << ' ';
		}
		output << "# ";
		output << layerup[u] << ' ' << layerdown[u] << " #" << endl;
	}


	output.close();

}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x208, %rsp            # imm = 0x208
movq %rsi, %r14
movq %rdi, %rbx
movq (%rsi), %rsi
leaq 0x8(%rsp), %rdi
pushq $0x10
popq %rdx
callq 0x32b0
leaq 0x78(%rsp), %rdi
callq 0x3090
testb %al, %al
jne 0x8018
movq 0xcfe4(%rip), %rdi      # 0x14fd8
leaq 0x6542(%rip), %rsi      # 0xe53d
callq 0x3270
movq %rax, %rdi
movq %r14, %rsi
callq 0x3220
movq %rax, %rdi
callq 0x3140
callq 0x41b8
movl 0x8(%rbx), %esi
leaq 0x8(%rsp), %rdi
callq 0x3420
movq %rax, %rdi
callq 0x3140
xorl %r14d, %r14d
leaq 0x8(%rsp), %r15
pushq $0x20
popq %rbp
movslq 0xc(%rbx), %rax
cmpq %rax, %r14
jge 0x818c
movq %r15, %rdi
movl %r14d, %esi
callq 0x3420
movq %rax, %rdi
leaq 0x6346(%rip), %rsi      # 0xe3a0
callq 0x3270
imulq $0x18, %r14, %r12
xorl %r13d, %r13d
movq 0x78(%rbx), %rcx
movq (%rcx,%r12), %rax
movq 0x8(%rcx,%r12), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %r13, %rcx
jbe 0x809a
movl (%rax,%r13,4), %esi
movq %r15, %rdi
callq 0x3420
movq %rax, %rdi
movl %ebp, %esi
callq 0x32e0
incq %r13
jmp 0x8066
movq %r15, %rdi
leaq 0x64a7(%rip), %rsi      # 0xe54b
callq 0x3270
xorl %r13d, %r13d
movq 0x90(%rbx), %rcx
movq (%rcx,%r12), %rax
movq 0x8(%rcx,%r12), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %r13, %rcx
jbe 0x80e3
movl (%rax,%r13,4), %esi
movq %r15, %rdi
callq 0x3420
movq %rax, %rdi
movl %ebp, %esi
callq 0x32e0
incq %r13
jmp 0x80ac
movq %r15, %rdi
leaq 0x645e(%rip), %rsi      # 0xe54b
callq 0x3270
xorl %r13d, %r13d
movq 0xf0(%rbx), %rcx
movq (%rcx,%r12), %rax
movq 0x8(%rcx,%r12), %rcx
subq %rax, %rcx
sarq $0x2, %rcx
cmpq %r13, %rcx
jbe 0x812c
movl (%rax,%r13,4), %esi
movq %r15, %rdi
callq 0x3420
movq %rax, %rdi
movl %ebp, %esi
callq 0x32e0
incq %r13
jmp 0x80f5
movq %r15, %rdi
leaq 0x6415(%rip), %rsi      # 0xe54b
callq 0x3270
movq 0xd8(%rbx), %rax
movzwl (%rax,%r14,2), %esi
movq %r15, %rdi
callq 0x3400
movq %rax, %rdi
movl %ebp, %esi
callq 0x32e0
movq 0xc0(%rbx), %rcx
movzwl (%rcx,%r14,2), %esi
movq %rax, %rdi
callq 0x3400
movq %rax, %rdi
leaq 0x63d7(%rip), %rsi      # 0xe54e
callq 0x3270
movq %rax, %rdi
callq 0x3140
incq %r14
jmp 0x8038
leaq 0x8(%rsp), %rdi
callq 0x3360
leaq 0x8(%rsp), %rdi
callq 0x3380
addq $0x208, %rsp            # imm = 0x208
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x81ba
jmp 0x81ba
jmp 0x81ba
jmp 0x81ba
movq %rax, %rbx
leaq 0x8(%rsp), %rdi
callq 0x3380
movq %rbx, %rdi
callq 0x3430
nop