// File: /workspace/github_cpp_makefile_star2_O3/Laakeri[P]Triangulator/src/solver.cpp
// Function: main
int main(int argc, char** argv) {
	assert(argc == 1 || argc == 2 || argc == 3);
	int upperBound = -1;
	int problem = -1;
	
	for (int i = 1; i < argc; i++) {
		string s(argv[i]);
		if (s == "-treewidth") {
			problem = PROBLEM_TREEWIDTH;
		}
		else if (s == "-minfill") {
			problem = PROBLEM_MINFILL;
		}
		else if (s == "-bayes") {
			problem = PROBLEM_BAYES;
		}
		else if (s == "-hyper") {
			problem = PROBLEM_HYPER;
		}
		else if (s == "-frachyper") {
			problem = PROBLEM_FRACHYPER;
		}
		else if (s == "-pmcprogress") {
			PMC::setPrintProgress(true);
		}
		else if (s.size() > 3 && s.substr(0, 3) == "-k=") {
			upperBound = 0;
			for (int j = 3; j < (int)s.size(); j++) {
				assert(isdigit(s[j]));
				upperBound *= 10;
				upperBound += (s[j] - '0');
			}
			cerr<<"Upper bound set to "<<upperBound<<endl;
		}
		else {
			cerr<<"invalid arg"<<endl;
			abort();
		}
	}
	if (problem == -1) {
		cerr<<"No problem specified, defaulting to treewidth"<<endl;
		problem = PROBLEM_TREEWIDTH;
	}
	
	if (upperBound != -1 && problem != PROBLEM_MINFILL && problem != PROBLEM_TREEWIDTH) {
		cerr<<"WARNING: UPPER BOUND HAS EFFECT ONLY FOR TREEWIDTH AND MINFILL"<<endl;
	}
	
	if (problem == PROBLEM_BAYES) {
		Bayes::solve();
	}
	else if (problem == PROBLEM_HYPER) {
		Hyper::solve();
	}
	else if (problem == PROBLEM_FRACHYPER) {
		Hyper::solveFrac();
	}
	else {
		Timer timer;
		timer.start();
		set<pair<int, int> > edges;
		IO io;
		int n = io.readInput(cin, edges);
		assert(n <= maxN);
		Graph G(edges);
		
		if (upperBound == -1) {
			upperBound = (int)1e9;
		}
		if (problem == PROBLEM_MINFILL) {
			if (n == 0) return 0;
			vector<pair<int, int> > sol = MinFill::SolveGraph::solveGraph(G, 0, upperBound, 0);
			
			if (sol == FAILSOLUTION) {
				assert(upperBound < (int)1e9);
				cout<<"No fill in with <= "<<upperBound<<" edges"<<endl;
				cerr<<"No fill in with <= "<<upperBound<<" edges"<<endl;
			}
			else {
				// check correctness
				G.addEdges(sol);
				auto fill0 = MCS::MCS_MP(G);
				assert(fill0.F.size() == 0);
				
				sol = G.mapBack(sol);
				
				io.printFill(cout, sol);
				
				cerr<<"Fill edges: "<<sol.size()<<endl;
				cerr<<"*Treewidth: "<<MCS::getTreeWidth(G)<<endl;
				cerr<<"Time: "<<timer.getTime().count()<<endl;
			}
		}
		else if (problem == PROBLEM_TREEWIDTH) {
			pair<int, vector<pair<int, int> > > sol = TreeWidth::SolveGraph::solveGraph(G, 0, 0, upperBound);
			
			if (sol.S == FAILSOLUTION) {
				assert(upperBound < (int)1e9);
				cout<<"Treewidth > "<<upperBound<<endl;
				cerr<<"Treewidth > "<<upperBound<<endl;
			}
			else {
				// check correctness
				G.addEdges(sol.S);
				auto fill0 = MCS::MCS_MP(G);
				assert(fill0.F.size() == 0);
				
				int treeWidth = MCS::getTreeWidth(G);
				
				assert(treeWidth == sol.F);
				
				auto treeDecomposition = MCS::getTreeDecomposition(G);
				treeDecomposition = G.mapBack(treeDecomposition);
				
				for (auto& bag : treeDecomposition.F) {
					assert((int)bag.size()-1 <= treeWidth);
				}
				
				if (G.n > 0) {
					Graph testT(treeDecomposition.S);
					assert(testT.isConnected());
					assert(testT.n == G.n);
					assert(testT.m == G.n - 1);
				}
				
				io.printTreeDecomposition(cout, treeDecomposition);
				
				cerr<<"Treewidth: "<<treeWidth<<endl;
				cerr<<"*Fill edges: "<<sol.S.size()<<endl;
				cerr<<"Time: "<<timer.getTime().count()<<endl;
			}
		}
		else {
			abort();
		}
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x248, %rsp            # imm = 0x248
movq %rsi, 0x130(%rsp)
leal -0x1(%rdi), %eax
cmpl $0x2, %eax
ja 0x3c68
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
cmpl $0x2, %edi
jb 0x324c
movl %edi, %r13d
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
movl $0x1, %ebp
leaq 0x60(%rsp), %r12
movl $0xffffffff, %r15d      # imm = 0xFFFFFFFF
movq 0x130(%rsp), %rax
movq (%rax,%rbp,8), %rsi
movq %r12, %rdi
leaq 0xd8(%rsp), %rdx
callq 0x3f3e
movq %r12, %rdi
leaq 0x2604d(%rip), %rsi     # 0x2904a
callq 0x2070
testl %eax, %eax
je 0x316e
movq %r12, %rdi
leaq 0x26041(%rip), %rsi     # 0x29055
callq 0x2070
testl %eax, %eax
je 0x3176
movq %r12, %rdi
leaq 0x26033(%rip), %rsi     # 0x2905e
callq 0x2070
testl %eax, %eax
je 0x317e
movq %r12, %rdi
leaq 0x26023(%rip), %rsi     # 0x29065
callq 0x2070
testl %eax, %eax
je 0x3186
movq %r12, %rdi
leaq 0x26013(%rip), %rsi     # 0x2906c
callq 0x2070
testl %eax, %eax
je 0x318e
movq %r12, %rdi
leaq 0x26007(%rip), %rsi     # 0x29077
callq 0x2070
testl %eax, %eax
je 0x3196
cmpq $0x4, 0x68(%rsp)
jb 0x3c3f
movl $0x3, %ecx
leaq 0xd8(%rsp), %rbx
movq %rbx, %rdi
movq %r12, %rsi
xorl %edx, %edx
callq 0x2230
movq %rbx, %rdi
leaq 0x25fd7(%rip), %rsi     # 0x29084
callq 0x2070
movl %eax, %ebx
movq 0xd8(%rsp), %rdi
leaq 0xe8(%rsp), %rax
cmpq %rax, %rdi
je 0x30d9
movq 0xe8(%rsp), %rsi
incq %rsi
callq 0x2210
testl %ebx, %ebx
jne 0x3c3f
movq 0x68(%rsp), %rax
xorl %ebx, %ebx
cmpl $0x4, %eax
jl 0x311c
movq 0x60(%rsp), %rcx
andl $0x7fffffff, %eax       # imm = 0x7FFFFFFF
xorl %ebx, %ebx
movl $0x3, %edx
movsbl (%rcx,%rdx), %esi
addl $-0x30, %esi
cmpl $0xa, %esi
jae 0x3c01
leal (%rbx,%rbx,4), %edi
leal (%rsi,%rdi,2), %ebx
incq %rdx
cmpq %rdx, %rax
jne 0x30fe
movl $0x13, %edx
movq 0x31ec8(%rip), %rdi     # 0x34ff0
leaq 0x25f67(%rip), %rsi     # 0x29096
callq 0x2250
movq 0x31eb5(%rip), %rdi     # 0x34ff0
movl %ebx, %esi
callq 0x2300
movq %rax, %r14
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
jmp 0x31a0
movl $0x2, %r15d
jmp 0x31a0
movl $0x1, %r15d
jmp 0x31a0
movl $0x3, %r15d
jmp 0x31a0
movl $0x4, %r15d
jmp 0x31a0
movl $0x6, %r15d
jmp 0x31a0
movl $0x1, %edi
callq 0x1b3c8
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x31bc
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x2210
incq %rbp
cmpq %r13, %rbp
jne 0x2fd7
movq %r15, %r12
cmpl $-0x1, %r12d
je 0x324c
cmpl $-0x1, %ebx
sete %al
leal -0x3(%r12), %ecx
cmpl $-0x2, %ecx
setae %cl
orb %al, %cl
jne 0x3228
leaq 0x25ef7(%rip), %rsi     # 0x290e4
movl $0x3e, %edx
movq 0x31df7(%rip), %r14     # 0x34ff0
movq %r14, %rdi
callq 0x2250
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
cmpl $0x6, %r12d
je 0x3bfa
cmpl $0x4, %r12d
je 0x3bf3
cmpl $0x3, %r12d
jne 0x3294
callq 0x545c
jmp 0x3bdf
movq 0x31d9d(%rip), %r14     # 0x34ff0
leaq 0x25e5c(%rip), %rsi     # 0x290b6
movl $0x2d, %edx
movq %r14, %rdi
callq 0x2250
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %r14, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movl $0x2, %r12d
leaq 0x230(%rsp), %r14
movq %r14, %rdi
callq 0x268d8
movq %r14, %rdi
callq 0x268e4
leaq 0x208(%rsp), %rax
xorl %ecx, %ecx
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
movq %rcx, 0x20(%rax)
leaq 0x1b8(%rsp), %rax
movl %ecx, (%rax)
movq %rcx, 0x8(%rax)
movq %rax, 0x10(%rax)
movq %rax, 0x18(%rax)
xorpd %xmm0, %xmm0
movupd %xmm0, 0x20(%rax)
movupd %xmm0, 0x30(%rax)
movq 0x31ce5(%rip), %rsi     # 0x34fd8
leaq 0x1b0(%rsp), %rdi
leaq 0x200(%rsp), %rdx
callq 0x11050
movl %eax, %r14d
cmpl $0xc351, %eax           # imm = 0xC351
jge 0x3c87
leaq 0x60(%rsp), %rdi
leaq 0x200(%rsp), %rsi
callq 0x958a
cmpl $-0x1, %ebx
movl $0x3b9aca00, %r15d      # imm = 0x3B9ACA00
cmovnel %ebx, %r15d
cmpl $0x1, %r12d
je 0x33c3
cmpl $0x2, %r12d
jne 0x3c63
leaq 0xb8(%rsp), %rdi
leaq 0x60(%rsp), %rsi
xorl %edx, %edx
xorl %ecx, %ecx
movl %r15d, %r8d
callq 0x27570
movq 0xc0(%rsp), %rax
movq 0xc8(%rsp), %rcx
movq %rcx, %rsi
subq %rax, %rsi
movq 0x31e59(%rip), %rdi     # 0x351d8
movq 0x31e4a(%rip), %rdx     # 0x351d0
subq %rdx, %rdi
cmpq %rdi, %rsi
jne 0x343b
cmpq %rcx, %rax
je 0x39ce
movq (%rax), %xmm0
movq (%rdx), %xmm1
pcmpeqd %xmm0, %xmm1
pshufd $0x50, %xmm1, %xmm0     # xmm0 = xmm1[0,0,1,1]
movmskpd %xmm0, %esi
cmpl $0x3, %esi
jne 0x343b
addq $0x8, %rax
addq $0x8, %rdx
jmp 0x3392
testl %r14d, %r14d
je 0x3b88
movq %rsp, %rdi
leaq 0x60(%rsp), %rsi
xorl %edx, %edx
movl %r15d, %ecx
xorl %r8d, %r8d
callq 0x16589
movq (%rsp), %rax
movq 0x8(%rsp), %rcx
movq %rcx, %rsi
subq %rax, %rsi
movq 0x31de1(%rip), %rdi     # 0x351d8
movq 0x31dd2(%rip), %rdx     # 0x351d0
subq %rdx, %rdi
cmpq %rdi, %rsi
jne 0x3796
cmpq %rcx, %rax
je 0x3a9b
movq (%rax), %xmm0
movq (%rdx), %xmm1
pcmpeqd %xmm0, %xmm1
pshufd $0x50, %xmm1, %xmm0     # xmm0 = xmm1[0,0,1,1]
movmskpd %xmm0, %esi
cmpl $0x3, %esi
jne 0x3796
addq $0x8, %rax
addq $0x8, %rdx
jmp 0x340a
leaq 0xc0(%rsp), %rsi
leaq 0x60(%rsp), %rdi
callq 0x9bd8
movq %rsp, %rdi
leaq 0x60(%rsp), %rsi
callq 0x12cbc
movq 0x8(%rsp), %rax
cmpq (%rsp), %rax
jne 0x3ca6
leaq 0x60(%rsp), %rdi
callq 0x139e9
movl %eax, %ebx
cmpl 0xb8(%rsp), %eax
jne 0x3cc5
leaq 0x30(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x14b03
leaq 0x180(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x4022
leaq 0xd8(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x180(%rsp), %rdx
callq 0xa32c
leaq 0x30(%rsp), %rdi
leaq 0xd8(%rsp), %r14
movq %r14, %rsi
callq 0x405c
movq 0x18(%r14), %rdi
testq %rdi, %rdi
je 0x34eb
movq 0x100(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0xd8(%rsp), %rdi
callq 0x41aa
movq 0x198(%rsp), %rdi
testq %rdi, %rdi
je 0x3515
movq 0x1a8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x180(%rsp), %rdi
callq 0x41aa
movq 0x30(%rsp), %rax
movq 0x38(%rsp), %rcx
cmpq %rcx, %rax
je 0x354c
movq 0x8(%rax), %rdx
subq (%rax), %rdx
shrq $0x2, %rdx
decl %edx
cmpl %ebx, %edx
jg 0x3c20
addq $0x18, %rax
jmp 0x352c
cmpl $0x0, 0xb0(%rsp)
jle 0x35da
leaq 0x48(%rsp), %rsi
leaq 0xd8(%rsp), %rdi
callq 0x98ec
leaq 0xd8(%rsp), %rdi
callq 0xa486
testb %al, %al
je 0x3d03
movl 0x128(%rsp), %eax
cmpl 0xb0(%rsp), %eax
jne 0x3d22
decl %eax
cmpl %eax, 0x12c(%rsp)
jne 0x3d41
leaq 0x110(%rsp), %rdi
callq 0x41aa
leaq 0xf0(%rsp), %r14
movq %r14, %rdi
callq 0x436a
movq -0x18(%r14), %rdi
testq %rdi, %rdi
je 0x35da
movq 0xe8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x150(%rsp), %rdi
leaq 0x30(%rsp), %rsi
callq 0x4022
movq 0x319d5(%rip), %rsi     # 0x34fc8
leaq 0x1b0(%rsp), %rdi
leaq 0x150(%rsp), %rdx
callq 0x11cf2
movq 0x168(%rsp), %rdi
testq %rdi, %rdi
je 0x3625
movq 0x178(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x150(%rsp), %rdi
callq 0x41aa
movq 0x319b7(%rip), %rdi     # 0x34ff0
leaq 0x25b33(%rip), %rsi     # 0x29173
movl $0xb, %edx
callq 0x2250
movq 0x3199f(%rip), %rdi     # 0x34ff0
movl %ebx, %esi
callq 0x2300
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0x31967(%rip), %rdi     # 0x34ff0
leaq 0x25b6b(%rip), %rsi     # 0x291fb
movl $0xd, %edx
callq 0x2250
movq 0xc8(%rsp), %rsi
subq 0xc0(%rsp), %rsi
sarq $0x3, %rsi
movq 0x3193b(%rip), %rdi     # 0x34ff0
callq 0x2150
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0x31905(%rip), %rdi     # 0x34ff0
leaq 0x25a8d(%rip), %rsi     # 0x2917f
movl $0x6, %edx
callq 0x2250
leaq 0x230(%rsp), %rdi
callq 0x2692a
movq 0x318e0(%rip), %rdi     # 0x34ff0
callq 0x22d0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0x48(%rsp), %rdi
testq %rdi, %rdi
je 0x3756
movq 0x58(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x30(%rsp), %rdi
callq 0x41aa
movq 0x18(%rsp), %rdi
testq %rdi, %rdi
je 0x3777
movq 0x28(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x3a7d
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x3a7d
leaq 0x60(%rsp), %rdi
movq %rsp, %rsi
callq 0x9bd8
leaq 0xd8(%rsp), %rdi
leaq 0x60(%rsp), %rsi
callq 0x12cbc
movq 0xe0(%rsp), %rax
cmpq 0xd8(%rsp), %rax
jne 0x3ce4
leaq 0x138(%rsp), %rdi
movq %rsp, %rsi
callq 0x3f7c
leaq 0x30(%rsp), %rdi
leaq 0x60(%rsp), %rsi
leaq 0x138(%rsp), %rdx
callq 0xa2d6
movq (%rsp), %rdi
movq 0x10(%rsp), %rsi
movapd 0x30(%rsp), %xmm0
movapd %xmm0, (%rsp)
movq 0x40(%rsp), %rax
movq %rax, 0x10(%rsp)
xorpd %xmm0, %xmm0
movapd %xmm0, 0x30(%rsp)
movq $0x0, 0x40(%rsp)
testq %rdi, %rdi
je 0x3847
subq %rdi, %rsi
callq 0x2210
movq 0x30(%rsp), %rdi
testq %rdi, %rdi
je 0x3847
movq 0x40(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x3864
movq 0x148(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0x3175d(%rip), %rsi     # 0x34fc8
leaq 0x1b0(%rsp), %rdi
movq %rsp, %rdx
callq 0x11b7a
movq 0x3176e(%rip), %rdi     # 0x34ff0
leaq 0x25973(%rip), %rsi     # 0x291fc
movl $0xc, %edx
callq 0x2250
movq 0x8(%rsp), %rsi
subq (%rsp), %rsi
sarq $0x3, %rsi
movq 0x31749(%rip), %rdi     # 0x34ff0
callq 0x2150
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0x31713(%rip), %rdi     # 0x34ff0
leaq 0x2588e(%rip), %rsi     # 0x29172
movl $0xc, %edx
callq 0x2250
leaq 0x60(%rsp), %rdi
callq 0x139e9
movq 0x316f1(%rip), %rdi     # 0x34ff0
movl %eax, %esi
callq 0x2300
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0x316b9(%rip), %rdi     # 0x34ff0
leaq 0x25841(%rip), %rsi     # 0x2917f
movl $0x6, %edx
callq 0x2250
leaq 0x230(%rsp), %rdi
callq 0x2692a
movq 0x31694(%rip), %rdi     # 0x34ff0
callq 0x22d0
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0xf0(%rsp), %rdi
testq %rdi, %rdi
je 0x39a8
movq 0x100(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
movq 0xd8(%rsp), %rdi
testq %rdi, %rdi
je 0x3b72
movq 0xe8(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x3b72
cmpl $0x3b9aca00, %r15d      # imm = 0x3B9ACA00
jge 0x3d60
movq 0x315e6(%rip), %rdi     # 0x34fc8
leaq 0x2579d(%rip), %rsi     # 0x29186
movl $0xc, %edx
callq 0x2250
movq 0x315ce(%rip), %rdi     # 0x34fc8
movl %r15d, %esi
callq 0x2300
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0x315bd(%rip), %rdi     # 0x34ff0
leaq 0x2574c(%rip), %rsi     # 0x29186
movl $0xc, %edx
callq 0x2250
movq 0x315a5(%rip), %rdi     # 0x34ff0
movl %r15d, %esi
callq 0x2300
movq %rax, %rbx
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x3b88
movq 0xd0(%rsp), %rsi
jmp 0x3b80
cmpl $0x3b9aca00, %r15d      # imm = 0x3B9ACA00
jge 0x3d7f
movq 0x31519(%rip), %rdi     # 0x34fc8
leaq 0x2568d(%rip), %rsi     # 0x29143
movl $0x13, %edx
callq 0x2250
movq 0x31501(%rip), %rdi     # 0x34fc8
movl %r15d, %esi
callq 0x2300
movq %rax, %rbx
leaq 0x2567e(%rip), %rsi     # 0x29157
movl $0x6, %edx
movq %rax, %rdi
callq 0x2250
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq 0x314dc(%rip), %rdi     # 0x34ff0
leaq 0x25628(%rip), %rsi     # 0x29143
movl $0x13, %edx
callq 0x2250
movq 0x314c4(%rip), %rdi     # 0x34ff0
movl %r15d, %esi
callq 0x2300
movq %rax, %rbx
leaq 0x25619(%rip), %rsi     # 0x29157
movl $0x6, %edx
movq %rax, %rdi
callq 0x2250
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x21f0
movsbl %al, %esi
movq %rbx, %rdi
callq 0x2030
movq %rax, %rdi
callq 0x2160
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x3b88
movq 0x10(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x98(%rsp), %rdi
callq 0x41aa
leaq 0x78(%rsp), %rbx
movq %rbx, %rdi
callq 0x436a
movq -0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x3bb8
movq 0x70(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x1e0(%rsp), %rdi
callq 0x43be
leaq 0x1b0(%rsp), %rdi
callq 0x441c
leaq 0x200(%rsp), %rdi
callq 0x4494
xorl %eax, %eax
addq $0x248, %rsp            # imm = 0x248
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
callq 0xdfad
jmp 0x3bdf
callq 0xe5a9
jmp 0x3bdf
leaq 0x25480(%rip), %rdi     # 0x29088
leaq 0x25419(%rip), %rsi     # 0x29028
leaq 0x2541d(%rip), %rcx     # 0x29033
movl $0x31, %edx
callq 0x2140
leaq 0x2557f(%rip), %rdi     # 0x291a6
leaq 0x253fa(%rip), %rsi     # 0x29028
leaq 0x253fe(%rip), %rcx     # 0x29033
movl $0x88, %edx
callq 0x2140
movq 0x313aa(%rip), %rdi     # 0x34ff0
leaq 0x2545d(%rip), %rsi     # 0x290aa
movl $0xb, %edx
callq 0x2250
movq 0x31392(%rip), %rdi     # 0x34ff0
callq 0x20d0
callq 0x2120
leaq 0x25395(%rip), %rdi     # 0x29004
leaq 0x253b2(%rip), %rsi     # 0x29028
leaq 0x253b6(%rip), %rcx     # 0x29033
movl $0x16, %edx
callq 0x2140
leaq 0x25495(%rip), %rdi     # 0x29123
leaq 0x25393(%rip), %rsi     # 0x29028
leaq 0x25397(%rip), %rcx     # 0x29033
movl $0x54, %edx
callq 0x2140
leaq 0x254b1(%rip), %rdi     # 0x2915e
leaq 0x25374(%rip), %rsi     # 0x29028
leaq 0x25378(%rip), %rcx     # 0x29033
movl $0x7e, %edx
callq 0x2140
leaq 0x254c7(%rip), %rdi     # 0x29193
leaq 0x25355(%rip), %rsi     # 0x29028
leaq 0x25359(%rip), %rcx     # 0x29033
movl $0x82, %edx
callq 0x2140
leaq 0x25473(%rip), %rdi     # 0x2915e
leaq 0x25336(%rip), %rsi     # 0x29028
leaq 0x2533a(%rip), %rcx     # 0x29033
movl $0x67, %edx
callq 0x2140
leaq 0x254bb(%rip), %rdi     # 0x291c5
leaq 0x25317(%rip), %rsi     # 0x29028
leaq 0x2531b(%rip), %rcx     # 0x29033
movl $0x8d, %edx
callq 0x2140
leaq 0x254b0(%rip), %rdi     # 0x291d9
leaq 0x252f8(%rip), %rsi     # 0x29028
leaq 0x252fc(%rip), %rcx     # 0x29033
movl $0x8e, %edx
callq 0x2140
leaq 0x254a0(%rip), %rdi     # 0x291e8
leaq 0x252d9(%rip), %rsi     # 0x29028
leaq 0x252dd(%rip), %rcx     # 0x29033
movl $0x8f, %edx
callq 0x2140
leaq 0x253c6(%rip), %rdi     # 0x2912d
leaq 0x252ba(%rip), %rsi     # 0x29028
leaq 0x252be(%rip), %rcx     # 0x29033
movl $0x76, %edx
callq 0x2140
leaq 0x253a7(%rip), %rdi     # 0x2912d
leaq 0x2529b(%rip), %rsi     # 0x29028
leaq 0x2529f(%rip), %rcx     # 0x29033
movl $0x5f, %edx
callq 0x2140
movq %rax, %rbx
leaq 0xd8(%rsp), %rdi
callq 0x40d8
jmp 0x3e51
jmp 0x3e4e
movq %rax, %rbx
movq 0x138(%rsp), %rdi
testq %rdi, %rdi
je 0x3e31
movq 0x148(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
jmp 0x3e31
jmp 0x3e2e
jmp 0x3e1d
jmp 0x3e0a
movq %rax, %rbx
leaq 0x150(%rsp), %rdi
jmp 0x3df8
movq %rax, %rbx
leaq 0x180(%rsp), %rdi
callq 0x40b6
jmp 0x3e51
jmp 0x3e4e
jmp 0x3e03
movq %rax, %rbx
jmp 0x3e5b
jmp 0x3e29
movq %rax, %rbx
jmp 0x3e80
jmp 0x3e11
movq %rax, %rbx
jmp 0x3e8a
jmp 0x3e2e
jmp 0x3eb3
movq %rax, %rbx
jmp 0x3e3e
jmp 0x3e4e
jmp 0x3eb3
movq %rax, %rbx
jmp 0x3e63
movq %rax, %rbx
leaq 0xd8(%rsp), %rdi
callq 0x3ff2
movq (%rsp), %rdi
testq %rdi, %rdi
je 0x3e80
movq 0x10(%rsp), %rsi
jmp 0x3e78
movq %rax, %rbx
leaq 0x30(%rsp), %rdi
callq 0x40b6
movq %rsp, %rdi
callq 0x3ff2
movq 0xc0(%rsp), %rdi
testq %rdi, %rdi
je 0x3e80
movq 0xd0(%rsp), %rsi
subq %rdi, %rsi
callq 0x2210
leaq 0x60(%rsp), %rdi
callq 0x40d8
leaq 0x1e0(%rsp), %rdi
callq 0x43be
leaq 0x1b0(%rsp), %rdi
callq 0x441c
leaq 0x200(%rsp), %rdi
callq 0x4494
jmp 0x3ed7
movq %rax, %rbx
movq 0x60(%rsp), %rdi
leaq 0x70(%rsp), %rax
cmpq %rax, %rdi
je 0x3ed7
movq 0x70(%rsp), %rsi
incq %rsi
callq 0x2210
jmp 0x3ed7
movq %rax, %rbx
movq %rbx, %rdi
callq 0x2310
nop