// File: /workspace/github_cpp_makefile_star2_O3/Laakeri[P]maxpre/src/main.cpp
// Function: main
int main(int argc, char* argv[]){
	ios_base::sync_with_stdio(0);
	cin.tie(0);
	if ((argc > 1 && isHelp(argv[1])) || (argc > 2 && isHelp(argv[2])) || (argc > 3 && isHelp(argv[3]))) {
		printHelp(cout);
		return 0;
	}
	if (argc < 3) {
		cout<<"Use -help"<<endl;
		cout<<"Use -help"<<endl;
		return 0;
	}
	auto flags = getFlags(argc, argv);
	if (flags.count("h") || flags.count("help")) {
		printHelp(cout);
	}
	string type(argv[2]);
	assert(type == "solve" || type == "preprocess" || type == "reconstruct");
	string file(argv[1]);
	if (type == "reconstruct") {
		if (!flags.count("mapfile")) {
			cout<<"Give mapfile with -mapfile= flag"<<endl;
			cerr<<"Give mapfile with -mapfile= flag"<<endl;
			return 0;
		}
		string mapFile = flags["mapfile"];
		maxPreprocessor::OutputReader opr;
		ifstream in(file);
		int readStatus = opr.readSolution(in);
		in.close();
		if (readStatus > 0) {
			cout<<"Failed to parse solution"<<endl;
			cerr<<"Failed to parse solution"<<endl;
			return 0;
		}
		if (opr.status == 2) {
			cout<<"s UNSATISFIABLE"<<endl;
		}
		else {
			ifstream mapF(mapFile);
			int vars, ppVars, originalVars;
			mapF>>vars>>ppVars>>originalVars;
			vector<int> varMap(vars);
			for (int i = 0; i < vars; i++) mapF>>varMap[i];
			vector<int> trueLits;
			for (int lit : opr.trueLits) {
				if (abs(lit) > vars) continue;
				if (lit > 0) lit = varMap[abs(lit)-1];
				else lit = -varMap[abs(lit)-1];
				trueLits.push_back(lit);
			}
			maxPreprocessor::Trace trace;
			int traceLines;
			mapF>>traceLines;
			trace.operations.resize(traceLines);
			trace.data.resize(traceLines);
			for (int i = 0; i < traceLines; i++) {
				mapF>>trace.operations[i];
				int sz;
				mapF>>sz;
				trace.data[i].resize(sz);
				for (int j = 0; j < sz; j++) {
					mapF>>trace.data[i][j];
				}
			}
			trace.printSolution(cout, trueLits, opr.ansW, ppVars, originalVars);
		}
		return 0;
	}
	
	if (type == "solve") {
		// just check that -solver flag is used
		if (!(flags.count("solver") && flags["solver"].size() > 0)) {
			cout<<"Please specify the solver"<<endl;
			cerr<<"Please specify the solver"<<endl;
			return 0;
		}
	}
	
	string techniques = parseTechniques(flags);
	double timeLimit = parseTimeLimit(flags);
	bool BVEgate = parseBVEgate(flags);
	bool labelMatching = parseLabelMatching(flags);
	bool maxSat = parseProblemType(flags);
	int skipTechnique = parseSkipTechnique(flags);
  bool BVEsortMaxFirst = parseBVEsortMaxFirst(flags);
  int BVElocalGrow = parseBVElocalGrow(flags);
  int BVEglobalGrow = parseBVEglobalGrow(flags);
	
	ifstream instanceFile(file);
	if (instanceFile.fail()) {
		cout<<"Failed to read the input file"<<endl;
		cerr<<"Failed to read the input file"<<endl;
		return 0;
	}
	maxPreprocessor::InputReader inputReader;
	int readStatus = inputReader.readClauses(instanceFile, maxSat);
	instanceFile.close();
	
	if (readStatus > 0) {
		cout<<"Failed to parse input instance: "<<inputReader.readError<<endl;
		cerr<<"Failed to parse input instance: "<<inputReader.readError<<endl;
		return 0;
	}
	
	int outputFormat = maxPreprocessor::INPUT_FORMAT_WPMS;
	if (flags["outputformat"] == "original") {
		outputFormat = inputReader.inputFormat;
		if (outputFormat == maxPreprocessor::INPUT_FORMAT_MS) {
			// preprocessor works in labeled cnf so it cannot output pure maxsat
			outputFormat = maxPreprocessor::INPUT_FORMAT_WPMS;
		}
		string outf;
		if (outputFormat == maxPreprocessor::INPUT_FORMAT_WPMS) {
			outf = "weighted partial Max-SAT";
		}
		else if (outputFormat == maxPreprocessor::INPUT_FORMAT_SAT) {
			outf = "SAT";
		}
		else {
			return 0;
		}
		cout<<"c Outputformat "<<outf<<endl;
		cerr<<"Outputformat "<<outf<<endl;
	}
	
	int verb = parseVerb(flags);
	
	maxPreprocessor::PreprocessorInterface pif(inputReader.clauses, inputReader.weights, inputReader.top);
	pif.setBVEGateExtraction(BVEgate);
	pif.setLabelMatching(labelMatching);
	pif.setSkipTechnique(skipTechnique);
  pif.setBVEsortMaxFirst(BVEsortMaxFirst);
  pif.setBVElocalGrowLimit(BVElocalGrow);
  pif.setBVEglobalGrowLimit(BVEglobalGrow);

	maxPreprocessor::Timer preprocessTimer;
	preprocessTimer.start();
	
	pif.preprocess(techniques, verb, timeLimit);
	
	preprocessTimer.stop();
	
	cerr<<"Preprocess time: "<<preprocessTimer.getTime().count()<<endl;
	if (verb > 0) pif.printTimeLog(cerr);
	if (type == "preprocess") {
		if (verb > 0) pif.printTechniqueLog(cerr);
		pif.printTechniqueLog(cout);
		pif.printTimeLog(cout);
		pif.printInfoLog(cout);
		pif.printInstance(cout, outputFormat);
		
		if (flags.count("mapfile")) {
			string mapFile = flags["mapfile"];
			cout<<"c Outputting reconstruction map to "<<mapFile<<endl;
			cerr<<"Outputting reconstruction map to "<<mapFile<<endl;
			ofstream out(mapFile);
			pif.printMap(out);
			out.close();
		}
		else {
			cout<<"c No -mapfile= given, will not ouput reconstruction map"<<endl;
			cerr<<"No -mapfile= given, will not ouput reconstruction map"<<endl;
		}
	}
	if (type == "solve") {
		string solver;
		if (flags.count("solver") && flags["solver"].size() > 0) {
			solver = flags["solver"];
			cout<<"c Using solver "<<solver<<endl;
			cerr<<"Using solver "<<solver<<endl;
			cout<<"c Solver flags "<<flags["solverflags"]<<endl;
			cerr<<"Solver flags "<<flags["solverflags"]<<endl;
		}
		else {
			cout<<"Please specify the solver"<<endl;
			cerr<<"Please specify the solver"<<endl;
			return 0;
		}
		
		ofstream out("preprocessed.wcnf");
		pif.printInstance(out, outputFormat);
		out.close();
		
		maxPreprocessor::Timer solveTimer;
		solveTimer.start();
		if (system((solver + " preprocessed.wcnf " + flags["solverflags"] + " > sol0.sol").c_str())) {
			cout<<"Solver error"<<endl;
			cerr<<"Solver error"<<endl;
			return 0;
		}
		solveTimer.stop();
		
		maxPreprocessor::OutputReader opr;
		ifstream in("sol0.sol");
		readStatus = opr.readSolution(in);
		in.close();
		if (readStatus > 0) {
			cout<<"Failed to parse solution"<<endl;
			cerr<<"Failed to parse solution"<<endl;
			return 0;
		}
		
		if (opr.status == 2) {
			cout<<"s UNSATISFIABLE"<<endl;
		}
		else {
			pif.printSolution(opr.trueLits, cout, opr.ansW);
		}
		cerr<<"Preprocess time: "<<preprocessTimer.getTime().count()<<", Solve time: "<<solveTimer.getTime().count()<<endl;
		if (verb > 0) pif.printTimeLog(cerr);
	}
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x20b8, %rsp           # imm = 0x20B8
movq %rsi, %rbx
movl %edi, %ebp
xorl %edi, %edi
callq 0x3110
movq 0x4122b(%rip), %rax     # 0x47fd8
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movq $0x0, 0xd8(%rax,%rcx)
cmpl $0x2, %ebp
jl 0x6dec
movq 0x8(%rbx), %rdi
callq 0x6bd2
testl %eax, %eax
je 0x6de3
movq 0x411ef(%rip), %rdi     # 0x47fc8
callq 0x5b76
jmp 0x6e68
cmpl $0x2, %ebp
jne 0x6e7c
movq 0x411d5(%rip), %rbx     # 0x47fc8
leaq 0x311b0(%rip), %r14     # 0x37faa
movl $0x9, %edx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3310
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movl $0x9, %edx
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3310
movq (%rbx), %rax
movq -0x18(%rax), %rdi
addq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq %rbx, %rdi
callq 0x3030
movq %rax, %rdi
callq 0x31e0
xorl %eax, %eax
addq $0x20b8, %rsp           # imm = 0x20B8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0x10(%rbx), %rdi
callq 0x6bd2
testl %eax, %eax
jne 0x6dd2
cmpl $0x4, %ebp
jb 0x6ea3
movq 0x18(%rbx), %rdi
callq 0x6bd2
testl %eax, %eax
jne 0x6dd2
leaq 0x10(%rsp), %rdi
movl %ebp, %esi
movq %rbx, %rdx
callq 0x3bbc
leaq 0x830(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x310e2(%rip), %rsi     # 0x37fa8
leaq 0x310dc(%rip), %rdx     # 0x37fa9
leaq 0x820(%rsp), %rdi
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x820(%rsp), %rsi
callq 0x9852
movq %rax, %r14
leaq 0x18(%rsp), %rax
movb $0x1, %bpl
cmpq %rax, %r14
jne 0x6f59
leaq 0x628(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x310a0(%rip), %rsi     # 0x37faf
leaq 0x3109d(%rip), %rdx     # 0x37fb3
leaq 0x618(%rsp), %rdi
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x618(%rsp), %rsi
callq 0x9852
cmpq %r14, %rax
setne %bpl
movq 0x618(%rsp), %rdi
cmpq %r15, %rdi
je 0x6f59
movq 0x628(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x6f76
movq 0x830(%rsp), %rsi
incq %rsi
callq 0x32b0
testb %bpl, %bpl
je 0x6f87
movq 0x41046(%rip), %rdi     # 0x47fc8
callq 0x5b76
movq 0x10(%rbx), %rsi
leaq 0xc8(%rsp), %rdi
leaq 0x820(%rsp), %rdx
callq 0x8b66
leaq 0x3100d(%rip), %rsi     # 0x37fb4
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
je 0x6fec
leaq 0x30ffb(%rip), %rsi     # 0x37fba
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
je 0x6fec
leaq 0x30fee(%rip), %rsi     # 0x37fc5
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x86a8
movq 0x8(%rbx), %rsi
leaq 0x168(%rsp), %rdi
leaq 0x820(%rsp), %rdx
callq 0x8b66
leaq 0x30fb9(%rip), %rsi     # 0x37fc5
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
je 0x70e2
leaq 0x30f8c(%rip), %rsi     # 0x37fb4
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x73aa
leaq 0x820(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x30a6c(%rip), %rsi     # 0x37abb
leaq 0x30a6b(%rip), %rdx     # 0x37ac1
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x820(%rsp), %rsi
callq 0x9852
leaq 0x18(%rsp), %rcx
cmpq %rcx, %rax
je 0x72ef
leaq 0x628(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x30a2d(%rip), %rsi     # 0x37abb
leaq 0x30a2c(%rip), %rdx     # 0x37ac1
leaq 0x618(%rsp), %rdi
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x618(%rsp), %rsi
callq 0x8ba4
cmpq $0x0, 0x8(%rax)
sete %bl
movq 0x618(%rsp), %rdi
cmpq %r14, %rdi
je 0x72f1
movq 0x628(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x72f1
leaq 0x820(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x30f3e(%rip), %rsi     # 0x38032
leaq 0x30f3e(%rip), %rdx     # 0x38039
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x820(%rsp), %rsi
callq 0x9852
movq %rax, %rbx
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x7132
movq 0x830(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x729e
leaq 0x820(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x30ee0(%rip), %rsi     # 0x38032
leaq 0x30ee0(%rip), %rdx     # 0x38039
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x820(%rsp), %rsi
callq 0x8ba4
leaq 0x198(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq 0x188(%rsp), %rdi
callq 0x93d0
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x71b0
movq 0x830(%rsp), %rsi
incq %rsi
callq 0x32b0
xorps %xmm0, %xmm0
movups %xmm0, 0x420(%rsp)
movq $0x0, 0x430(%rsp)
leaq 0x820(%rsp), %rdi
leaq 0x168(%rsp), %rsi
movl $0x8, %edx
callq 0x3440
leaq 0x418(%rsp), %rdi
leaq 0x820(%rsp), %rsi
callq 0x264b0
movl %eax, %ebx
leaq 0x820(%rsp), %rdi
callq 0x3070
testl %ebx, %ebx
jle 0x75cf
movq 0x40db4(%rip), %rbx     # 0x47fc8
leaq 0x30e40(%rip), %rsi     # 0x3805b
movl $0x18, %edx
movq %rbx, %rdi
callq 0x3310
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq 0x40d82(%rip), %rdi     # 0x47fc8
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movq 0x40d96(%rip), %rbx     # 0x47ff0
leaq 0x30dfa(%rip), %rsi     # 0x3805b
movl $0x18, %edx
movq %rbx, %rdi
callq 0x3310
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq 0x40d64(%rip), %rdi     # 0x47ff0
callq 0x3030
movq %rax, %rdi
callq 0x31e0
jmp 0x7af8
movq 0x40d23(%rip), %r14     # 0x47fc8
leaq 0x30d8e(%rip), %rbx     # 0x3803a
movl $0x20, %edx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3310
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq 0x40cee(%rip), %rdi     # 0x47fc8
callq 0x3030
movl $0x20, %r14d
movq %rax, %rdi
callq 0x31e0
jmp 0x7365
movb $0x1, %bl
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x730e
movq 0x830(%rsp), %rsi
incq %rsi
callq 0x32b0
testb %bl, %bl
je 0x73aa
movq 0x40cab(%rip), %r14     # 0x47fc8
leaq 0x30d60(%rip), %rbx     # 0x38084
movl $0x19, %edx
movq %r14, %rdi
movq %rbx, %rsi
callq 0x3310
movq (%r14), %rax
addq -0x18(%rax), %r14
movq %r14, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq 0x40c76(%rip), %rdi     # 0x47fc8
callq 0x3030
movl $0x19, %r14d
movq %rax, %rdi
callq 0x31e0
movq 0x40c84(%rip), %r15     # 0x47ff0
movq %r15, %rdi
movq %rbx, %rsi
movq %r14, %rdx
callq 0x3310
movq (%r15), %rax
addq -0x18(%rax), %r15
movq %r15, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq 0x40c58(%rip), %rdi     # 0x47ff0
callq 0x3030
movq %rax, %rdi
callq 0x31e0
jmp 0x8657
leaq 0x40(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x3ebe
leaq 0x10(%rsp), %rdi
callq 0x4124
movsd %xmm0, 0x120(%rsp)
leaq 0x10(%rsp), %rdi
callq 0x43dc
movb %al, 0xb(%rsp)
leaq 0x10(%rsp), %rdi
callq 0x4699
movb %al, 0xa(%rsp)
leaq 0x10(%rsp), %rdi
callq 0x4956
movl %eax, %r15d
leaq 0x10(%rsp), %rdi
callq 0x4d1d
movl %eax, %ebp
leaq 0x10(%rsp), %rdi
callq 0x5024
movl %eax, %r14d
leaq 0x10(%rsp), %rdi
callq 0x52e1
movl %eax, %ebx
leaq 0x10(%rsp), %rdi
callq 0x55e8
movl %eax, %r13d
leaq 0x618(%rsp), %rdi
leaq 0x168(%rsp), %rsi
movl $0x8, %edx
callq 0x3440
movq 0x618(%rsp), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x638(%rsp,%rax)
je 0x74ec
movq 0x40b66(%rip), %rbx     # 0x47fc8
leaq 0x30c35(%rip), %rsi     # 0x3809e
movl $0x1d, %edx
movq %rbx, %rdi
callq 0x3310
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq 0x40b34(%rip), %rdi     # 0x47fc8
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movq 0x40b48(%rip), %rbx     # 0x47ff0
leaq 0x30bef(%rip), %rsi     # 0x3809e
movl $0x1d, %edx
movq %rbx, %rdi
callq 0x3310
movq (%rbx), %rax
addq -0x18(%rax), %rbx
movq %rbx, %rdi
movl $0xa, %esi
callq 0x3280
movsbl %al, %esi
movq 0x40b16(%rip), %rdi     # 0x47ff0
callq 0x3030
movq %rax, %rdi
callq 0x31e0
jmp 0x862f
leaq 0x1a8(%rsp), %rcx
movq %rcx, -0x10(%rcx)
xorl %eax, %eax
movq %rax, -0x8(%rcx)
movb $0x0, (%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x20(%rcx)
movups %xmm0, 0x30(%rcx)
movups %xmm0, 0x40(%rcx)
movups %xmm0, 0x50(%rcx)
movq %rax, 0x60(%rcx)
movzbl %r15b, %edx
leaq 0x188(%rsp), %rdi
leaq 0x618(%rsp), %rsi
callq 0x251ba
movl %eax, %r15d
leaq 0x618(%rsp), %rdi
callq 0x3070
testl %r15d, %r15d
jle 0x7606
movq 0x40a77(%rip), %rdi     # 0x47fc8
leaq 0x30b64(%rip), %rsi     # 0x380bc
movl $0x20, %edx
callq 0x3310
leaq 0x1c8(%rsp), %r12
movq 0x198(%rsp), %rsi
movq 0x1a0(%rsp), %rdx
movq 0x40a47(%rip), %rdi     # 0x47fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x40a5b(%rip), %rdi     # 0x47ff0
leaq 0x30b20(%rip), %rsi     # 0x380bc
movl $0x20, %edx
callq 0x3310
movq 0x198(%rsp), %rsi
movq 0x1a0(%rsp), %rdx
movq 0x40a33(%rip), %rdi     # 0x47ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
jmp 0x85d9
cmpl $0x2, 0x418(%rsp)
jne 0x7823
movq 0x409e4(%rip), %rdi     # 0x47fc8
leaq 0x30a89(%rip), %rsi     # 0x38074
movl $0xf, %edx
callq 0x3310
movq 0x409cc(%rip), %rdi     # 0x47fc8
callq 0x3130
jmp 0x7af8
leaq 0x820(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x30ac5(%rip), %rsi     # 0x380dd
leaq 0x30aca(%rip), %rdx     # 0x380e9
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x820(%rsp), %rsi
callq 0x8ba4
leaq 0x30aad(%rip), %rsi     # 0x380ea
movq %rax, %rdi
callq 0x30b0
movl %eax, %r15d
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x7665
movq 0x830(%rsp), %rsi
incq %rsi
callq 0x32b0
movl $0x1, 0xc(%rsp)
testl %r15d, %r15d
je 0x7b40
leaq 0x10(%rsp), %rdi
callq 0x58ef
movl %eax, %r15d
leaq 0x1e0(%rsp), %rdx
movq -0x28(%rdx), %rcx
leaq 0x820(%rsp), %rdi
leaq 0x1c8(%rsp), %r12
movq %r12, %rsi
xorl %r8d, %r8d
callq 0x30c34
movzbl 0xb(%rsp), %esi
leaq 0x820(%rsp), %rdi
callq 0x31b3c
movzbl 0xa(%rsp), %esi
leaq 0x820(%rsp), %rdi
callq 0x31b44
leaq 0x820(%rsp), %rdi
movl %ebp, %esi
callq 0x31b4c
movzbl %r14b, %esi
leaq 0x820(%rsp), %rdi
callq 0x31b54
leaq 0x820(%rsp), %rdi
movl %ebx, %esi
callq 0x31b5c
leaq 0x820(%rsp), %rdi
movl %r13d, %esi
callq 0x31b64
leaq 0xb0(%rsp), %rdi
callq 0x28720
leaq 0xb0(%rsp), %rdi
callq 0x2872c
leaq 0x158(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0x40(%rsp), %rsi
movq 0x48(%rsp), %rdx
addq %rsi, %rdx
leaq 0x148(%rsp), %rdi
callq 0x93d0
leaq 0x820(%rsp), %rdi
leaq 0x148(%rsp), %rsi
movl %r15d, %edx
movsd 0x120(%rsp), %xmm0
callq 0x30dee
movq 0x148(%rsp), %rdi
cmpq %r14, %rdi
je 0x778b
movq 0x158(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0xb0(%rsp), %rdi
callq 0x28744
movq 0x40851(%rip), %rdi     # 0x47ff0
leaq 0x30976(%rip), %rsi     # 0x3811c
movl $0x11, %edx
callq 0x3310
leaq 0xb0(%rsp), %rdi
callq 0x28772
movq 0x4082c(%rip), %rdi     # 0x47ff0
callq 0x3430
movq %rax, %rdi
callq 0x3130
testl %r15d, %r15d
je 0x7b90
movq 0x4080f(%rip), %rsi     # 0x47ff0
leaq 0x820(%rsp), %rdi
callq 0x32066
leaq 0x307c5(%rip), %rsi     # 0x37fba
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x7ed3
movq 0x407df(%rip), %rsi     # 0x47ff0
leaq 0x820(%rsp), %rdi
callq 0x3205a
jmp 0x7bac
leaq 0x618(%rsp), %rdi
leaq 0x188(%rsp), %rsi
movl $0x8, %edx
callq 0x3440
leaq 0x618(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x3190
leaq 0x128(%rsp), %rsi
movq %rax, %rdi
callq 0x3190
leaq 0x100(%rsp), %rsi
movq %rax, %rdi
callq 0x3190
movslq 0x68(%rsp), %rsi
leaq 0x88(%rsp), %rdi
leaq 0x210(%rsp), %rdx
callq 0x8c20
cmpl $0x0, 0x68(%rsp)
jle 0x78c2
xorl %r14d, %r14d
leaq 0x618(%rsp), %rbx
xorl %r15d, %r15d
movq 0x88(%rsp), %rsi
addq %r14, %rsi
movq %rbx, %rdi
callq 0x3190
incq %r15
movslq 0x68(%rsp), %rax
addq $0x4, %r14
cmpq %rax, %r15
jl 0x789e
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq $0x0, 0x50(%rsp)
movq 0x420(%rsp), %r12
movq 0x428(%rsp), %r13
cmpq %r13, %r12
je 0x7958
leaq 0x40(%rsp), %rbx
leaq 0x210(%rsp), %r14
movl (%r12), %eax
movl %eax, 0x210(%rsp)
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpl 0x68(%rsp), %ecx
jg 0x794f
movq 0x88(%rsp), %rdx
movl %ecx, %ecx
movl -0x4(%rdx,%rcx,4), %edx
movl %edx, %ecx
negl %ecx
testl %eax, %eax
cmovgl %edx, %ecx
movl %ecx, 0x210(%rsp)
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0x7944
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x48(%rsp)
jmp 0x794f
movq %rbx, %rdi
movq %r14, %rdx
callq 0x98f8
addq $0x4, %r12
cmpq %r13, %r12
jne 0x78f5
xorps %xmm0, %xmm0
movaps %xmm0, 0x230(%rsp)
movaps %xmm0, 0x220(%rsp)
movaps %xmm0, 0x210(%rsp)
movq $0x0, 0x240(%rsp)
leaq 0x618(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x3190
leaq 0x218(%rsp), %rdi
movslq 0xb0(%rsp), %rsi
callq 0x8cac
leaq 0x230(%rsp), %rdi
movslq 0xb0(%rsp), %rsi
callq 0x8cde
cmpl $0x0, 0xb0(%rsp)
jle 0x7a71
xorl %r12d, %r12d
leaq 0x618(%rsp), %rbx
leaq 0xe8(%rsp), %r14
leaq (,%r12,4), %rsi
addq 0x218(%rsp), %rsi
movq %rbx, %rdi
callq 0x3190
movq %rbx, %rdi
movq %r14, %rsi
callq 0x3190
leaq (%r12,%r12,2), %r13
leaq (,%r13,8), %rdi
addq 0x230(%rsp), %rdi
movslq 0xe8(%rsp), %rsi
callq 0x8cac
cmpl $0x0, 0xe8(%rsp)
jle 0x7a5d
xorl %ebp, %ebp
xorl %r15d, %r15d
movq 0x230(%rsp), %rax
movq (%rax,%r13,8), %rsi
addq %rbp, %rsi
movq %rbx, %rdi
callq 0x3190
incq %r15
movslq 0xe8(%rsp), %rax
addq $0x4, %rbp
cmpq %rax, %r15
jl 0x7a32
incq %r12
movslq 0xb0(%rsp), %rax
cmpq %rax, %r12
jl 0x79df
movq 0x438(%rsp), %rcx
movl 0x128(%rsp), %r8d
movl 0x100(%rsp), %r9d
movq 0x40538(%rip), %rsi     # 0x47fc8
leaq 0x210(%rsp), %rdi
leaq 0x40(%rsp), %rdx
callq 0x276b8
leaq 0x210(%rsp), %rdi
callq 0x8d1a
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x7ac6
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
leaq 0x198(%rsp), %r14
je 0x7aeb
movq 0x98(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x618(%rsp), %rdi
callq 0x3080
leaq 0x820(%rsp), %rdi
callq 0x3080
movq 0x420(%rsp), %rdi
testq %rdi, %rdi
je 0x7b22
movq 0x430(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x188(%rsp), %rdi
cmpq %r14, %rdi
je 0x8657
movq 0x198(%rsp), %rsi
jmp 0x864f
movl 0x1c0(%rsp), %eax
cmpl $0x2, %eax
movl $0x1, %r15d
cmovnel %eax, %r15d
movq %r12, 0x820(%rsp)
movq $0x0, 0x828(%rsp)
movb $0x0, 0x830(%rsp)
cmpl $0x1, %r15d
je 0x7dc4
cmpl $0x3, %r15d
jne 0x7e7b
leaq 0x2f653(%rip), %rsi     # 0x371de
jmp 0x7dcb
leaq 0x30423(%rip), %rsi     # 0x37fba
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x7ed3
movq 0x40415(%rip), %rsi     # 0x47fc8
leaq 0x820(%rsp), %rdi
callq 0x3205a
movq 0x40401(%rip), %rsi     # 0x47fc8
leaq 0x820(%rsp), %rdi
callq 0x32066
movq 0x403ed(%rip), %rsi     # 0x47fc8
leaq 0x820(%rsp), %rdi
callq 0x32072
movq 0x403d9(%rip), %rsi     # 0x47fc8
leaq 0x820(%rsp), %rdi
movl 0xc(%rsp), %edx
callq 0x31b6c
movl %r15d, %ebp
leaq 0x220(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3041c(%rip), %rsi     # 0x38032
leaq 0x3041c(%rip), %rdx     # 0x38039
leaq 0x210(%rsp), %rdi
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x9852
movq %rax, %rbx
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x7c5c
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x7e88
leaq 0x210(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x303b6(%rip), %rsi     # 0x38032
leaq 0x303b6(%rip), %rdx     # 0x38039
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x8ba4
leaq 0x428(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq 0x418(%rsp), %rdi
callq 0x93d0
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x7cda
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x402e7(%rip), %rdi     # 0x47fc8
leaq 0x30446(%rip), %rsi     # 0x3812e
movl $0x23, %edx
callq 0x3310
movl %ebp, %r15d
movq 0x418(%rsp), %rsi
movq 0x420(%rsp), %rdx
movq 0x402bc(%rip), %rdi     # 0x47fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x402d0(%rip), %rdi     # 0x47ff0
leaq 0x30409(%rip), %rsi     # 0x38130
movl $0x21, %edx
callq 0x3310
movq 0x418(%rsp), %rsi
movq 0x420(%rsp), %rdx
movq 0x402a8(%rip), %rdi     # 0x47ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
leaq 0x210(%rsp), %rdi
leaq 0x418(%rsp), %rsi
movl $0x10, %edx
callq 0x34f0
leaq 0x820(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x3207e
leaq 0x210(%rsp), %rdi
callq 0x33b0
leaq 0x210(%rsp), %rdi
callq 0x33e0
movq 0x418(%rsp), %rdi
cmpq %r14, %rdi
je 0x7ed3
movq 0x428(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x7ed3
leaq 0x30328(%rip), %rsi     # 0x380f3
leaq 0x820(%rsp), %rdi
callq 0x33a0
movq 0x401e9(%rip), %rdi     # 0x47fc8
leaq 0x30326(%rip), %rsi     # 0x3810c
movl $0xf, %edx
callq 0x3310
movq 0x820(%rsp), %rsi
movq 0x828(%rsp), %rdx
movq 0x401c1(%rip), %rdi     # 0x47fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x401d5(%rip), %rdi     # 0x47ff0
leaq 0x302ec(%rip), %rsi     # 0x3810e
movl $0xd, %edx
callq 0x3310
movq 0x820(%rsp), %rsi
movq 0x828(%rsp), %rdx
movq 0x401ad(%rip), %rdi     # 0x47ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
movl %r15d, 0xc(%rsp)
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x7676
movq 0x830(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x7676
leaq 0x1c8(%rsp), %r12
jmp 0x85d9
movq 0x40139(%rip), %rdi     # 0x47fc8
leaq 0x302bc(%rip), %rsi     # 0x38152
movl $0x37, %edx
callq 0x3310
movl %ebp, %r15d
movq 0x4011e(%rip), %rdi     # 0x47fc8
callq 0x3130
movq 0x4013a(%rip), %rdi     # 0x47ff0
leaq 0x30297(%rip), %rsi     # 0x38154
movl $0x35, %edx
callq 0x3310
movq 0x40122(%rip), %rdi     # 0x47ff0
callq 0x3130
leaq 0x300da(%rip), %rsi     # 0x37fb4
leaq 0xc8(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x85cc
movl %r15d, %ebp
leaq 0x78(%rsp), %r14
movq %r14, -0x10(%r14)
movq $0x0, -0x8(%r14)
movb $0x0, (%r14)
leaq 0x220(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x2fba1(%rip), %rsi     # 0x37abb
leaq 0x2fba0(%rip), %rdx     # 0x37ac1
leaq 0x210(%rsp), %rdi
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x9852
leaq 0x18(%rsp), %rcx
cmpq %rcx, %rax
je 0x7fb3
leaq 0x428(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x2fb5d(%rip), %rsi     # 0x37abb
leaq 0x2fb5c(%rip), %rdx     # 0x37ac1
leaq 0x418(%rsp), %rdi
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x418(%rsp), %rsi
callq 0x8ba4
cmpq $0x0, 0x8(%rax)
setne %bl
movq 0x418(%rsp), %rdi
cmpq %r12, %rdi
je 0x7fa9
movq 0x428(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x1c8(%rsp), %r12
jmp 0x7fb5
xorl %ebx, %ebx
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x7fd2
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
testb %bl, %bl
je 0x82a4
leaq 0x210(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x2facf(%rip), %rsi     # 0x37abb
leaq 0x2face(%rip), %rdx     # 0x37ac1
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x8ba4
leaq 0x68(%rsp), %rdi
movq %rax, %rsi
callq 0x3150
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x8034
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x3ff8d(%rip), %rdi     # 0x47fc8
leaq 0x30148(%rip), %rsi     # 0x3818a
movl $0xf, %edx
callq 0x3310
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq 0x3ff6b(%rip), %rdi     # 0x47fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x3ff7f(%rip), %rdi     # 0x47ff0
leaq 0x30114(%rip), %rsi     # 0x3818c
movl $0xd, %edx
callq 0x3310
movq 0x68(%rsp), %rsi
movq 0x70(%rsp), %rdx
movq 0x3ff5d(%rip), %rdi     # 0x47ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x3ff21(%rip), %rdi     # 0x47fc8
leaq 0x300ec(%rip), %rsi     # 0x3819a
movl $0xf, %edx
callq 0x3310
leaq 0x210(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x300e0(%rip), %rsi     # 0x381aa
leaq 0x300e4(%rip), %rdx     # 0x381b5
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x8ba4
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq 0x3fed2(%rip), %rdi     # 0x47fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x8120
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x3fec9(%rip), %rdi     # 0x47ff0
leaq 0x3006e(%rip), %rsi     # 0x3819c
movl $0xd, %edx
callq 0x3310
leaq 0x210(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x30060(%rip), %rsi     # 0x381aa
leaq 0x30064(%rip), %rdx     # 0x381b5
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x8ba4
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq 0x3fe7a(%rip), %rdi     # 0x47ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x81a0
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x2f3b0(%rip), %rsi     # 0x37557
leaq 0x418(%rsp), %rdi
movl $0x10, %edx
callq 0x32f0
leaq 0x820(%rsp), %rdi
leaq 0x418(%rsp), %rsi
movl 0xc(%rsp), %edx
callq 0x31b6c
leaq 0x418(%rsp), %rdi
callq 0x33b0
leaq 0xe8(%rsp), %rdi
callq 0x28720
leaq 0xe8(%rsp), %rdi
callq 0x2872c
leaq 0x2ffb6(%rip), %rdx     # 0x381b6
leaq 0x128(%rsp), %rdi
leaq 0x68(%rsp), %rsi
callq 0x8d99
leaq 0x110(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x2ff84(%rip), %rsi     # 0x381aa
leaq 0x2ff88(%rip), %rdx     # 0x381b5
leaq 0x100(%rsp), %rdi
callq 0x9466
leaq 0x10(%rsp), %rdi
leaq 0x100(%rsp), %rsi
callq 0x8ba4
leaq 0x88(%rsp), %rdi
leaq 0x128(%rsp), %rsi
movq %rax, %rdx
callq 0x8d3f
leaq 0x2f31b(%rip), %rsi     # 0x37586
leaq 0x88(%rsp), %rdi
callq 0x34e0
movq %r15, 0x210(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x82f1
movq %rdx, 0x210(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x220(%rsp)
jmp 0x82f8
movq 0x3fd1d(%rip), %rdi     # 0x47fc8
leaq 0x2fdd2(%rip), %rsi     # 0x38084
movl $0x19, %edx
callq 0x3310
movq 0x3fd05(%rip), %rdi     # 0x47fc8
callq 0x3130
movq 0x3fd21(%rip), %rdi     # 0x47ff0
leaq 0x2fdae(%rip), %rsi     # 0x38084
movl $0x19, %edx
callq 0x3310
movq 0x3fd09(%rip), %rdi     # 0x47ff0
callq 0x3130
jmp 0x85b5
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x218(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x210(%rsp), %rdi
callq 0x3260
movl %eax, %ebx
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x833f
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8360
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x100(%rsp), %rdi
cmpq %r12, %rdi
je 0x837d
movq 0x110(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x138(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
leaq 0x1c8(%rsp), %r12
je 0x83a6
movq 0x138(%rsp), %rsi
incq %rsi
callq 0x32b0
testl %ebx, %ebx
je 0x83f7
movq 0x3fc17(%rip), %rdi     # 0x47fc8
leaq 0x2fe12(%rip), %rsi     # 0x381ca
movl $0xc, %edx
callq 0x3310
movq 0x3fbff(%rip), %rdi     # 0x47fc8
callq 0x3130
movq 0x3fc1b(%rip), %rdi     # 0x47ff0
leaq 0x2fdee(%rip), %rsi     # 0x381ca
movl $0xc, %edx
callq 0x3310
movq 0x3fc03(%rip), %rdi     # 0x47ff0
callq 0x3130
jmp 0x85a8
leaq 0xe8(%rsp), %rdi
callq 0x28744
xorps %xmm0, %xmm0
movups %xmm0, 0x90(%rsp)
movq $0x0, 0xa0(%rsp)
leaq 0x2f167(%rip), %rsi     # 0x37589
leaq 0x210(%rsp), %rdi
movl $0x8, %edx
callq 0x34c0
leaq 0x88(%rsp), %rdi
leaq 0x210(%rsp), %rsi
callq 0x264b0
movl %eax, %ebx
leaq 0x210(%rsp), %rdi
callq 0x3070
testl %ebx, %ebx
jle 0x84a9
movq 0x3fb65(%rip), %rdi     # 0x47fc8
leaq 0x2fbf1(%rip), %rsi     # 0x3805b
movl $0x18, %edx
callq 0x3310
movq 0x3fb4d(%rip), %rdi     # 0x47fc8
callq 0x3130
movq 0x3fb69(%rip), %rdi     # 0x47ff0
leaq 0x2fbcd(%rip), %rsi     # 0x3805b
movl $0x18, %edx
callq 0x3310
movq 0x3fb51(%rip), %rdi     # 0x47ff0
callq 0x3130
jmp 0x8576
cmpl $0x2, 0x88(%rsp)
jne 0x84d9
movq 0x3fb0e(%rip), %rdi     # 0x47fc8
leaq 0x2fbb3(%rip), %rsi     # 0x38074
movl $0xf, %edx
callq 0x3310
movq 0x3faf6(%rip), %rdi     # 0x47fc8
callq 0x3130
jmp 0x84f9
leaq 0x90(%rsp), %rsi
movq 0x18(%rsi), %rcx
movq 0x3fadc(%rip), %rdx     # 0x47fc8
leaq 0x820(%rsp), %rdi
callq 0x3133c
movq 0x3faf0(%rip), %rdi     # 0x47ff0
leaq 0x2fc15(%rip), %rsi     # 0x3811c
movl $0x11, %edx
callq 0x3310
leaq 0xb0(%rsp), %rdi
callq 0x28772
movq 0x3facb(%rip), %rdi     # 0x47ff0
callq 0x3430
movq %rax, %rbx
leaq 0x2fca3(%rip), %rsi     # 0x381d7
movl $0xe, %edx
movq %rax, %rdi
callq 0x3310
leaq 0xe8(%rsp), %rdi
callq 0x28772
movq %rbx, %rdi
callq 0x3430
movq %rax, %rdi
callq 0x3130
testl %ebp, %ebp
je 0x8576
movq 0x3fa87(%rip), %rsi     # 0x47ff0
leaq 0x820(%rsp), %rdi
callq 0x32066
leaq 0x210(%rsp), %rdi
callq 0x3080
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x85a0
movq 0xa0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x1c8(%rsp), %r12
leaq 0x418(%rsp), %rdi
callq 0x33e0
movq 0x68(%rsp), %rdi
cmpq %r14, %rdi
je 0x85cc
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x820(%rsp), %rdi
callq 0x8df0
leaq 0x1f8(%rsp), %rbx
movq %rbx, %rdi
callq 0x9340
movq -0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x8602
movq 0x1f0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq %r12, %rdi
callq 0x8f5e
movq 0x198(%rsp), %rdi
leaq 0x1a8(%rsp), %rax
cmpq %rax, %rdi
je 0x862f
movq 0x1a8(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x618(%rsp), %rdi
callq 0x3080
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8657
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x178(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8678
movq 0x178(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8699
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x10(%rsp), %rdi
callq 0x8ecc
jmp 0x6e68
leaq 0x2f922(%rip), %rdi     # 0x37fd1
leaq 0x2f95c(%rip), %rsi     # 0x38012
leaq 0x2f95e(%rip), %rcx     # 0x3801b
movl $0x17f, %edx            # imm = 0x17F
callq 0x31b0
movq %rax, %rbx
jmp 0x87de
jmp 0x87ce
jmp 0x87ce
movq %rax, %rbx
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x86fe
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x86fe
movq %rax, %rbx
leaq 0x98(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x877a
movq 0x98(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x877a
movq %rax, %rbx
jmp 0x8797
jmp 0x886c
jmp 0x88ff
jmp 0x88ff
jmp 0x88ff
jmp 0x88ff
jmp 0x88b0
movq %rax, %rbx
movq 0x418(%rsp), %rdi
cmpq %r12, %rdi
je 0x883c
movq 0x428(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x883c
jmp 0x8839
jmp 0x89b7
movq %rax, %rbx
movq 0x100(%rsp), %rdi
cmpq %r12, %rdi
je 0x8797
movq 0x110(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x138(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x886f
movq 0x138(%rsp), %rsi
incq %rsi
jmp 0x87fa
jmp 0x886c
jmp 0x8839
jmp 0x8839
jmp 0x88ff
jmp 0x8816
jmp 0x89b7
movq %rax, %rbx
leaq 0x210(%rsp), %rdi
callq 0x3080
movq 0x90(%rsp), %rdi
testq %rdi, %rdi
je 0x886f
movq 0xa0(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0x886f
movq %rax, %rbx
leaq 0x210(%rsp), %rdi
callq 0x33e0
jmp 0x88b3
movq %rax, %rbx
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x89ba
movq 0x220(%rsp), %rsi
jmp 0x8915
jmp 0x8839
movq %rax, %rbx
movq 0x210(%rsp), %rdi
cmpq %r15, %rdi
je 0x8902
movq 0x220(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x8902
jmp 0x88f7
jmp 0x8a34
movq %rax, %rbx
leaq 0x418(%rsp), %rdi
callq 0x33e0
jmp 0x8902
movq %rax, %rbx
movq 0x148(%rsp), %rdi
cmpq %r14, %rdi
je 0x89ba
movq 0x158(%rsp), %rsi
jmp 0x8915
jmp 0x8a22
jmp 0x8a22
jmp 0x88ce
jmp 0x8a22
movq %rax, %rbx
movq 0x418(%rsp), %rdi
cmpq %r14, %rdi
je 0x89ba
movq 0x428(%rsp), %rsi
jmp 0x8915
movq %rax, %rbx
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x8a25
movq 0x830(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x8a25
movq %rax, %rbx
jmp 0x8ab6
movq %rax, %rbx
movq 0x68(%rsp), %rdi
cmpq %r14, %rdi
je 0x89ba
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x89ba
movq %rax, %rbx
movq 0x618(%rsp), %rdi
cmpq %r14, %rdi
je 0x8999
movq 0x628(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x8999
jmp 0x8996
movq %rax, %rbx
jmp 0x8a82
jmp 0x8a72
jmp 0x89b7
movq %rax, %rbx
jmp 0x8ad0
jmp 0x8a3e
jmp 0x8996
jmp 0x8a3e
jmp 0x89b7
jmp 0x8996
jmp 0x8a3e
movq %rax, %rbx
movq 0x618(%rsp), %rdi
cmpq %r15, %rdi
je 0x89fc
movq 0x628(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x89fc
jmp 0x89f9
movq %rax, %rbx
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x8b12
movq 0x830(%rsp), %rsi
jmp 0x8b0a
movq %rax, %rbx
leaq 0x820(%rsp), %rdi
callq 0x8df0
jmp 0x8a25
jmp 0x8a1a
jmp 0x89db
jmp 0x89db
jmp 0x89db
jmp 0x89db
jmp 0x89db
jmp 0x89db
jmp 0x89db
jmp 0x89db
movq %rax, %rbx
jmp 0x8a56
jmp 0x8a3e
jmp 0x8a72
movq %rax, %rbx
jmp 0x8a99
movq %rax, %rbx
jmp 0x8b33
jmp 0x8a1a
movq %rax, %rbx
movq 0x820(%rsp), %rdi
cmpq %r12, %rdi
je 0x8b54
movq 0x830(%rsp), %rsi
jmp 0x8b4c
movq %rax, %rbx
jmp 0x8b54
movq %rax, %rbx
leaq 0x188(%rsp), %rdi
callq 0x8e7a
jmp 0x8a49
movq %rax, %rbx
jmp 0x8ac3
jmp 0x8a72
movq %rax, %rbx
jmp 0x8b12
movq %rax, %rbx
leaq 0x618(%rsp), %rdi
callq 0x3080
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8b12
movq 0x50(%rsp), %rsi
jmp 0x8b0a
movq %rax, %rbx
leaq 0x210(%rsp), %rdi
callq 0x8d1a
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x8a99
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x88(%rsp), %rdi
testq %rdi, %rdi
je 0x8ab6
movq 0x98(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x618(%rsp), %rdi
callq 0x3080
leaq 0x820(%rsp), %rdi
callq 0x3080
movq 0x420(%rsp), %rdi
testq %rdi, %rdi
je 0x8aed
movq 0x430(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x188(%rsp), %rdi
leaq 0x198(%rsp), %rax
cmpq %rax, %rdi
je 0x8b12
movq 0x198(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x178(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8b33
movq 0x178(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0xd8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8b54
movq 0xd8(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x10(%rsp), %rdi
callq 0x8ecc
movq %rbx, %rdi
callq 0x34a0