// File: /workspace/github_cpp_makefile_star2_O1/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 $0x2118, %rsp           # imm = 0x2118
movq %rsi, %rbx
movl %edi, %ebp
xorl %edi, %edi
callq 0x3110
movq 0x421fe(%rip), %rax     # 0x48fd8
movq (%rax), %rcx
movq -0x18(%rcx), %rcx
movq $0x0, 0xd8(%rax,%rcx)
cmpl $0x2, %ebp
jl 0x6dff
movq 0x8(%rbx), %rdi
callq 0x6bf2
testl %eax, %eax
jne 0x6e23
cmpl $0x3, %ebp
jl 0x6e11
movq 0x10(%rbx), %rdi
callq 0x6bf2
testl %eax, %eax
jne 0x6e23
cmpl $0x4, %ebp
jl 0x6e43
movq 0x18(%rbx), %rdi
callq 0x6bf2
testl %eax, %eax
je 0x6e43
movq 0x4219e(%rip), %rdi     # 0x48fc8
callq 0x5b96
xorl %eax, %eax
addq $0x2118, %rsp           # imm = 0x2118
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
cmpl $0x2, %ebp
jg 0x6ecd
movq 0x42175(%rip), %rbx     # 0x48fc8
leaq 0x32144(%rip), %r14     # 0x38f9e
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
jmp 0x6e2f
leaq 0x10(%rsp), %rdi
movl %ebp, %esi
movq %rbx, %rdx
callq 0x3bcc
leaq 0x890(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x320ac(%rip), %rsi     # 0x38f9c
leaq 0x320a6(%rip), %rdx     # 0x38f9d
leaq 0x880(%rsp), %rdi
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x880(%rsp), %rsi
callq 0x9842
movq %rax, %r14
leaq 0x18(%rsp), %r13
movb $0x1, %bpl
cmpq %r13, %rax
jne 0x6f66
leaq 0x1a8(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3206a(%rip), %rsi     # 0x38fa3
leaq 0x32067(%rip), %rdx     # 0x38fa7
leaq 0x198(%rsp), %rdi
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x198(%rsp), %rsi
callq 0x9842
cmpq %r13, %rax
setne %bpl
cmpq %r13, %r14
jne 0x6f8c
leaq 0x1a8(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x6f8c
movq 0x1a8(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x6fa9
movq 0x890(%rsp), %rsi
incq %rsi
callq 0x32b0
testb %bpl, %bpl
je 0x6fba
movq 0x42013(%rip), %rdi     # 0x48fc8
callq 0x5b96
movq 0x10(%rbx), %rsi
leaq 0xd0(%rsp), %rdi
leaq 0x880(%rsp), %rdx
callq 0x8b78
leaq 0x31fce(%rip), %rsi     # 0x38fa8
leaq 0xd0(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
je 0x701f
leaq 0x31fbc(%rip), %rsi     # 0x38fae
leaq 0xd0(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
je 0x701f
leaq 0x31faf(%rip), %rsi     # 0x38fb9
leaq 0xd0(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x86c3
movq 0x8(%rbx), %rsi
leaq 0x178(%rsp), %rdi
leaq 0x880(%rsp), %rdx
callq 0x8b78
leaq 0x31f7a(%rip), %rsi     # 0x38fb9
leaq 0xd0(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
je 0x70ef
leaq 0x31f4d(%rip), %rsi     # 0x38fa8
leaq 0xd0(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x73e1
leaq 0x880(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x31a2d(%rip), %rsi     # 0x38aaf
leaq 0x31a2c(%rip), %rdx     # 0x38ab5
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x880(%rsp), %rsi
callq 0x9842
movq %rax, %rbx
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x72ff
leaq 0x50(%rsp), %r14
movq %r14, -0x10(%r14)
leaq 0x319ee(%rip), %rsi     # 0x38aaf
leaq 0x319ed(%rip), %rdx     # 0x38ab5
leaq 0x40(%rsp), %rdi
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x40(%rsp), %rsi
callq 0x8bb6
cmpq $0x0, 0x8(%rax)
sete %bpl
jmp 0x7302
leaq 0x880(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x31f25(%rip), %rsi     # 0x39026
leaq 0x31f25(%rip), %rdx     # 0x3902d
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x880(%rsp), %rsi
callq 0x9842
movq %rax, %rbx
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x713f
movq 0x890(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x72ab
leaq 0x880(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x31ec7(%rip), %rsi     # 0x39026
leaq 0x31ec7(%rip), %rdx     # 0x3902d
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x880(%rsp), %rsi
callq 0x8bb6
leaq 0x1e0(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq 0x1d0(%rsp), %rdi
callq 0x93cc
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x71bd
movq 0x890(%rsp), %rsi
incq %rsi
callq 0x32b0
xorps %xmm0, %xmm0
movups %xmm0, 0x480(%rsp)
movq $0x0, 0x490(%rsp)
leaq 0x880(%rsp), %rdi
leaq 0x178(%rsp), %rsi
movl $0x8, %edx
callq 0x3440
leaq 0x478(%rsp), %rdi
leaq 0x880(%rsp), %rsi
callq 0x27188
movl %eax, %ebx
leaq 0x880(%rsp), %rdi
callq 0x3070
testl %ebx, %ebx
jle 0x7601
movq 0x41da7(%rip), %rbx     # 0x48fc8
leaq 0x31e27(%rip), %rsi     # 0x3904f
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 0x41d75(%rip), %rdi     # 0x48fc8
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movq 0x41d89(%rip), %rbx     # 0x48ff0
leaq 0x31de1(%rip), %rsi     # 0x3904f
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 0x41d57(%rip), %rdi     # 0x48ff0
callq 0x3030
movq %rax, %rdi
callq 0x31e0
jmp 0x7bdf
movq 0x41d16(%rip), %r14     # 0x48fc8
leaq 0x31d75(%rip), %rbx     # 0x3902e
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 0x41ce1(%rip), %rdi     # 0x48fc8
callq 0x3030
movl $0x20, %r14d
movq %rax, %rdi
callq 0x31e0
jmp 0x739c
movb $0x1, %bpl
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x7327
leaq 0x50(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7327
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x7344
movq 0x890(%rsp), %rsi
incq %rsi
callq 0x32b0
testb %bpl, %bpl
je 0x73e1
movq 0x41c74(%rip), %r14     # 0x48fc8
leaq 0x31d1d(%rip), %rbx     # 0x39078
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 0x41c3f(%rip), %rdi     # 0x48fc8
callq 0x3030
movl $0x19, %r14d
movq %rax, %rdi
callq 0x31e0
movq 0x41c4d(%rip), %r15     # 0x48ff0
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 0x41c21(%rip), %rdi     # 0x48ff0
callq 0x3030
movq %rax, %rdi
callq 0x31e0
jmp 0x8672
leaq 0xb0(%rsp), %rdi
leaq 0x10(%rsp), %rsi
callq 0x3ee3
leaq 0x10(%rsp), %rdi
callq 0x4149
movsd %xmm0, 0x150(%rsp)
leaq 0x10(%rsp), %rdi
callq 0x43f9
movb %al, 0x7(%rsp)
leaq 0x10(%rsp), %rdi
callq 0x46b6
movb %al, 0x6(%rsp)
leaq 0x10(%rsp), %rdi
callq 0x4973
movl %eax, %r15d
leaq 0x10(%rsp), %rdi
callq 0x4d43
movl %eax, %ebp
leaq 0x10(%rsp), %rdi
callq 0x5048
movl %eax, %r14d
leaq 0x10(%rsp), %rdi
callq 0x5305
movl %eax, %ebx
leaq 0x10(%rsp), %rdi
callq 0x560a
movl %eax, %r13d
leaq 0x678(%rsp), %rdi
leaq 0x178(%rsp), %rsi
movl $0x8, %edx
callq 0x3440
movq 0x678(%rsp), %rax
movq -0x18(%rax), %rax
testb $0x5, 0x698(%rsp,%rax)
je 0x7526
movq 0x41b2c(%rip), %rbx     # 0x48fc8
leaq 0x31bef(%rip), %rsi     # 0x39092
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 0x41afa(%rip), %rdi     # 0x48fc8
callq 0x3030
movq %rax, %rdi
callq 0x31e0
movq 0x41b0e(%rip), %rbx     # 0x48ff0
leaq 0x31ba9(%rip), %rsi     # 0x39092
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 0x41adc(%rip), %rdi     # 0x48ff0
callq 0x3030
movq %rax, %rdi
callq 0x31e0
jmp 0x8644
leaq 0x1f0(%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 0x1d0(%rsp), %rdi
leaq 0x678(%rsp), %rsi
callq 0x25eb8
movl %eax, %r15d
leaq 0x678(%rsp), %rdi
callq 0x3070
testl %r15d, %r15d
jle 0x7638
movq 0x41a3d(%rip), %rdi     # 0x48fc8
leaq 0x31b1e(%rip), %rsi     # 0x390b0
movl $0x20, %edx
callq 0x3310
movq 0x1e0(%rsp), %rsi
movq 0x1e8(%rsp), %rdx
movq 0x41a15(%rip), %rdi     # 0x48fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x41a29(%rip), %rdi     # 0x48ff0
leaq 0x31ae2(%rip), %rsi     # 0x390b0
movl $0x20, %edx
callq 0x3310
movq 0x1e0(%rsp), %rsi
movq 0x1e8(%rsp), %rdx
movq 0x41a01(%rip), %rdi     # 0x48ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
jmp 0x85e9
cmpl $0x2, 0x478(%rsp)
jne 0x790a
movq 0x419b2(%rip), %rdi     # 0x48fc8
leaq 0x31a4b(%rip), %rsi     # 0x39068
movl $0xf, %edx
callq 0x3310
movq 0x4199a(%rip), %rdi     # 0x48fc8
callq 0x3130
jmp 0x7bdf
leaq 0x880(%rsp), %rdi
movq %r12, (%rdi)
leaq 0x31a87(%rip), %rsi     # 0x390d1
leaq 0x31a8c(%rip), %rdx     # 0x390dd
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x880(%rsp), %rsi
callq 0x8bb6
leaq 0x31a6f(%rip), %rsi     # 0x390de
movq %rax, %rdi
callq 0x30b0
movl %eax, %r15d
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x7697
movq 0x890(%rsp), %rsi
incq %rsi
callq 0x32b0
movl $0x1, 0xc(%rsp)
testl %r15d, %r15d
je 0x7c27
leaq 0x10(%rsp), %rdi
callq 0x590f
movl %eax, 0x8(%rsp)
leaq 0x228(%rsp), %rdx
movq -0x28(%rdx), %rcx
leaq 0x880(%rsp), %rdi
leaq 0x210(%rsp), %rsi
xorl %r8d, %r8d
callq 0x31bf8
movl 0xc(%rsp), %r15d
movzbl 0x7(%rsp), %esi
leaq 0x880(%rsp), %rdi
callq 0x32acc
movzbl 0x6(%rsp), %esi
leaq 0x880(%rsp), %rdi
callq 0x32ad4
leaq 0x880(%rsp), %rdi
movl %ebp, %esi
callq 0x32adc
movzbl %r14b, %esi
leaq 0x880(%rsp), %rdi
callq 0x32ae4
leaq 0x880(%rsp), %rdi
movl %ebx, %esi
callq 0x32aec
leaq 0x880(%rsp), %rdi
movl %r13d, %esi
callq 0x32af4
leaq 0x1b8(%rsp), %rdi
callq 0x29468
leaq 0x1b8(%rsp), %rdi
callq 0x29474
leaq 0x168(%rsp), %r14
movq %r14, -0x10(%r14)
movq 0xb0(%rsp), %rsi
movq 0xb8(%rsp), %rdx
addq %rsi, %rdx
leaq 0x158(%rsp), %rdi
callq 0x93cc
leaq 0x880(%rsp), %rdi
leaq 0x158(%rsp), %rsi
movl 0x8(%rsp), %edx
movsd 0x150(%rsp), %xmm0
callq 0x31dae
movq 0x158(%rsp), %rdi
cmpq %r14, %rdi
je 0x77c7
movq 0x168(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x1b8(%rsp), %rdi
callq 0x2948c
movq 0x41815(%rip), %rdi     # 0x48ff0
leaq 0x3192e(%rip), %rsi     # 0x39110
movl $0x11, %edx
callq 0x3310
leaq 0x1b8(%rsp), %rdi
callq 0x294ba
movq 0x417f0(%rip), %rdi     # 0x48ff0
callq 0x3430
movq %rax, %rdi
callq 0x3130
cmpl $0x0, 0x8(%rsp)
je 0x7828
movq 0x417d5(%rip), %rsi     # 0x48ff0
leaq 0x880(%rsp), %rdi
callq 0x32ff2
leaq 0x3177f(%rip), %rsi     # 0x38fae
leaq 0xd0(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
je 0x7c77
leaq 0x3175d(%rip), %rsi     # 0x38fa8
leaq 0xd0(%rsp), %rdi
callq 0x30b0
testl %eax, %eax
jne 0x85dc
leaq 0xa0(%rsp), %r14
movq %r14, -0x10(%r14)
movq $0x0, -0x8(%r14)
movb $0x0, (%r14)
leaq 0x280(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x31224(%rip), %rsi     # 0x38aaf
leaq 0x31223(%rip), %rdx     # 0x38ab5
leaq 0x270(%rsp), %rdi
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x9842
movq %rax, %rbx
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x7fa7
leaq 0x140(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x311d9(%rip), %rsi     # 0x38aaf
leaq 0x311d8(%rip), %rdx     # 0x38ab5
leaq 0x130(%rsp), %rdi
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x130(%rsp), %rsi
callq 0x8bb6
cmpq $0x0, 0x8(%rax)
setne %bpl
jmp 0x7fa9
leaq 0x678(%rsp), %rdi
leaq 0x1d0(%rsp), %rsi
movl $0x8, %edx
callq 0x3440
leaq 0x678(%rsp), %rdi
leaq 0xb0(%rsp), %rsi
callq 0x3190
leaq 0x90(%rsp), %rsi
movq %rax, %rdi
callq 0x3190
leaq 0x130(%rsp), %rsi
movq %rax, %rdi
callq 0x3190
movslq 0xb0(%rsp), %rsi
leaq 0x68(%rsp), %rdi
leaq 0x270(%rsp), %rdx
callq 0x8c32
cmpl $0x0, 0xb0(%rsp)
jle 0x79af
xorl %r14d, %r14d
leaq 0x678(%rsp), %rbx
xorl %r15d, %r15d
movq 0x68(%rsp), %rsi
addq %r14, %rsi
movq %rbx, %rdi
callq 0x3190
incq %r15
movslq 0xb0(%rsp), %rax
addq $0x4, %r14
cmpq %rax, %r15
jl 0x798b
xorps %xmm0, %xmm0
movaps %xmm0, 0x40(%rsp)
movq $0x0, 0x50(%rsp)
movq 0x480(%rsp), %r12
movq 0x488(%rsp), %r13
cmpq %r13, %r12
je 0x7a45
leaq 0x40(%rsp), %rbx
leaq 0x270(%rsp), %r14
movl (%r12), %eax
movl %eax, 0x270(%rsp)
movl %eax, %ecx
negl %ecx
cmovsl %eax, %ecx
cmpl 0xb0(%rsp), %ecx
jg 0x7a3c
movq 0x68(%rsp), %rdx
movl %ecx, %ecx
movl -0x4(%rdx,%rcx,4), %edx
movl %edx, %ecx
negl %ecx
testl %eax, %eax
cmovgl %edx, %ecx
movl %ecx, 0x270(%rsp)
movq 0x48(%rsp), %rsi
cmpq 0x50(%rsp), %rsi
je 0x7a31
movl %ecx, (%rsi)
addq $0x4, %rsi
movq %rsi, 0x48(%rsp)
jmp 0x7a3c
movq %rbx, %rdi
movq %r14, %rdx
callq 0x98e8
addq $0x4, %r12
cmpq %r13, %r12
jne 0x79e2
xorps %xmm0, %xmm0
movaps %xmm0, 0x290(%rsp)
movaps %xmm0, 0x280(%rsp)
movaps %xmm0, 0x270(%rsp)
movq $0x0, 0x2a0(%rsp)
leaq 0x678(%rsp), %rdi
leaq 0x110(%rsp), %rsi
callq 0x3190
leaq 0x278(%rsp), %rdi
movslq 0x110(%rsp), %rsi
callq 0x8cbc
leaq 0x290(%rsp), %rdi
movslq 0x110(%rsp), %rsi
callq 0x8cee
cmpl $0x0, 0x110(%rsp)
jle 0x7b5e
xorl %r12d, %r12d
leaq 0x678(%rsp), %rbx
leaq 0xf0(%rsp), %r14
leaq (,%r12,4), %rsi
addq 0x278(%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 0x290(%rsp), %rdi
movslq 0xf0(%rsp), %rsi
callq 0x8cbc
cmpl $0x0, 0xf0(%rsp)
jle 0x7b4a
xorl %ebp, %ebp
xorl %r15d, %r15d
movq 0x290(%rsp), %rax
movq (%rax,%r13,8), %rsi
addq %rbp, %rsi
movq %rbx, %rdi
callq 0x3190
incq %r15
movslq 0xf0(%rsp), %rax
addq $0x4, %rbp
cmpq %rax, %r15
jl 0x7b1f
incq %r12
movslq 0x110(%rsp), %rax
cmpq %rax, %r12
jl 0x7acc
movq 0x498(%rsp), %rcx
movl 0x90(%rsp), %r8d
movl 0x130(%rsp), %r9d
movq 0x4144b(%rip), %rsi     # 0x48fc8
leaq 0x270(%rsp), %rdi
leaq 0x40(%rsp), %rdx
callq 0x28390
leaq 0x270(%rsp), %rdi
callq 0x8d2a
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x7bb3
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
leaq 0x1e0(%rsp), %r14
je 0x7bd2
movq 0x78(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x678(%rsp), %rdi
callq 0x3080
leaq 0x880(%rsp), %rdi
callq 0x3080
movq 0x480(%rsp), %rdi
testq %rdi, %rdi
je 0x7c09
movq 0x490(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x1d0(%rsp), %rdi
cmpq %r14, %rdi
je 0x8672
movq 0x1e0(%rsp), %rsi
jmp 0x866a
movl 0x208(%rsp), %eax
cmpl $0x2, %eax
movl $0x1, %r15d
cmovnel %eax, %r15d
movq %r12, 0x880(%rsp)
movq $0x0, 0x888(%rsp)
movb $0x0, 0x890(%rsp)
cmpl $0x1, %r15d
je 0x7ea3
cmpl $0x3, %r15d
jne 0x85e9
leaq 0x30560(%rip), %rsi     # 0x381d2
jmp 0x7eaa
cmpl $0x0, 0x8(%rsp)
je 0x7c92
movq 0x4136b(%rip), %rsi     # 0x48ff0
leaq 0x880(%rsp), %rdi
callq 0x32fe6
movq 0x4132f(%rip), %rsi     # 0x48fc8
leaq 0x880(%rsp), %rdi
callq 0x32fe6
movq 0x4131b(%rip), %rsi     # 0x48fc8
leaq 0x880(%rsp), %rdi
callq 0x32ff2
movq 0x41307(%rip), %rsi     # 0x48fc8
leaq 0x880(%rsp), %rdi
callq 0x32ffe
movq 0x412f3(%rip), %rsi     # 0x48fc8
leaq 0x880(%rsp), %rdi
movl %r15d, %edx
callq 0x32afc
leaq 0x280(%rsp), %r15
movq %r15, -0x10(%r15)
leaq 0x3132e(%rip), %rsi     # 0x39026
leaq 0x3132e(%rip), %rdx     # 0x3902d
leaq 0x270(%rsp), %rdi
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x9842
movq %rax, %rbx
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x7d3e
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x7f5a
leaq 0x270(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x312c8(%rip), %rsi     # 0x39026
leaq 0x312c8(%rip), %rdx     # 0x3902d
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x8bb6
leaq 0x488(%rsp), %r14
movq %r14, -0x10(%r14)
movq (%rax), %rsi
movq 0x8(%rax), %rdx
addq %rsi, %rdx
leaq 0x478(%rsp), %rdi
callq 0x93cc
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x7dbc
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x41205(%rip), %rdi     # 0x48fc8
leaq 0x31358(%rip), %rsi     # 0x39122
movl $0x23, %edx
callq 0x3310
movq 0x478(%rsp), %rsi
movq 0x480(%rsp), %rdx
movq 0x411dd(%rip), %rdi     # 0x48fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x411f1(%rip), %rdi     # 0x48ff0
leaq 0x3131e(%rip), %rsi     # 0x39124
movl $0x21, %edx
callq 0x3310
movq 0x478(%rsp), %rsi
movq 0x480(%rsp), %rdx
movq 0x411c9(%rip), %rdi     # 0x48ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
leaq 0x270(%rsp), %rdi
leaq 0x478(%rsp), %rsi
movl $0x10, %edx
callq 0x34f0
leaq 0x880(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x3300a
leaq 0x270(%rsp), %rdi
callq 0x33b0
leaq 0x270(%rsp), %rdi
callq 0x33e0
movq 0x478(%rsp), %rdi
cmpq %r14, %rdi
je 0x7844
movq 0x488(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x7844
leaq 0x3123d(%rip), %rsi     # 0x390e7
leaq 0x880(%rsp), %rdi
callq 0x33a0
movq 0x4110a(%rip), %rdi     # 0x48fc8
leaq 0x3123b(%rip), %rsi     # 0x39100
movl $0xf, %edx
callq 0x3310
movq 0x880(%rsp), %rsi
movq 0x888(%rsp), %rdx
movq 0x410e2(%rip), %rdi     # 0x48fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x410f6(%rip), %rdi     # 0x48ff0
leaq 0x31201(%rip), %rsi     # 0x39102
movl $0xd, %edx
callq 0x3310
movq 0x880(%rsp), %rsi
movq 0x888(%rsp), %rdx
movq 0x410ce(%rip), %rdi     # 0x48ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
movl %r15d, 0xc(%rsp)
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x76a8
movq 0x890(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x76a8
movq 0x41067(%rip), %rdi     # 0x48fc8
leaq 0x311de(%rip), %rsi     # 0x39146
movl $0x37, %edx
callq 0x3310
movq 0x4104f(%rip), %rdi     # 0x48fc8
callq 0x3130
movq 0x4106b(%rip), %rdi     # 0x48ff0
leaq 0x311bc(%rip), %rsi     # 0x39148
movl $0x35, %edx
callq 0x3310
movq 0x41053(%rip), %rdi     # 0x48ff0
callq 0x3130
jmp 0x7844
xorl %ebp, %ebp
leaq 0x18(%rsp), %rax
cmpq %rax, %rbx
je 0x7fd4
leaq 0x140(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x7fd4
movq 0x140(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x7ff1
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
testb %bpl, %bpl
je 0x82d0
leaq 0x270(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x30aa3(%rip), %rsi     # 0x38aaf
leaq 0x30aa2(%rip), %rdx     # 0x38ab5
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x8bb6
leaq 0x90(%rsp), %rdi
movq %rax, %rsi
callq 0x3150
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x8057
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x40f6a(%rip), %rdi     # 0x48fc8
leaq 0x31119(%rip), %rsi     # 0x3917e
movl $0xf, %edx
callq 0x3310
movq 0x90(%rsp), %rsi
movq 0x98(%rsp), %rdx
movq 0x40f42(%rip), %rdi     # 0x48fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x40f56(%rip), %rdi     # 0x48ff0
leaq 0x310df(%rip), %rsi     # 0x39180
movl $0xd, %edx
callq 0x3310
movq 0x90(%rsp), %rsi
movq 0x98(%rsp), %rdx
movq 0x40f2e(%rip), %rdi     # 0x48ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x40ef2(%rip), %rdi     # 0x48fc8
leaq 0x310b1(%rip), %rsi     # 0x3918e
movl $0xf, %edx
callq 0x3310
leaq 0x270(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x310a5(%rip), %rsi     # 0x3919e
leaq 0x310a9(%rip), %rdx     # 0x391a9
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x8bb6
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq 0x40ea3(%rip), %rdi     # 0x48fc8
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x814f
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0x40e9a(%rip), %rdi     # 0x48ff0
leaq 0x31033(%rip), %rsi     # 0x39190
movl $0xd, %edx
callq 0x3310
leaq 0x270(%rsp), %rdi
movq %r15, (%rdi)
leaq 0x31025(%rip), %rsi     # 0x3919e
leaq 0x31029(%rip), %rdx     # 0x391a9
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x8bb6
movq (%rax), %rsi
movq 0x8(%rax), %rdx
movq 0x40e4b(%rip), %rdi     # 0x48ff0
callq 0x3310
movq %rax, %rdi
callq 0x3130
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x81cf
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x30375(%rip), %rsi     # 0x3854b
leaq 0x478(%rsp), %rdi
movl $0x10, %edx
callq 0x32f0
leaq 0x880(%rsp), %rdi
leaq 0x478(%rsp), %rsi
movl 0xc(%rsp), %edx
callq 0x32afc
leaq 0x478(%rsp), %rdi
callq 0x33b0
leaq 0x258(%rsp), %rdi
callq 0x29468
leaq 0x258(%rsp), %rdi
callq 0x29474
leaq 0x30f7b(%rip), %rdx     # 0x391aa
leaq 0x110(%rsp), %rdi
leaq 0x90(%rsp), %rsi
callq 0x8da9
leaq 0x100(%rsp), %r12
movq %r12, -0x10(%r12)
leaq 0x30f46(%rip), %rsi     # 0x3919e
leaq 0x30f4a(%rip), %rdx     # 0x391a9
leaq 0xf0(%rsp), %rdi
callq 0x945c
leaq 0x10(%rsp), %rdi
leaq 0xf0(%rsp), %rsi
callq 0x8bb6
leaq 0x68(%rsp), %rdi
leaq 0x110(%rsp), %rsi
movq %rax, %rdx
callq 0x8d4f
leaq 0x302e0(%rip), %rsi     # 0x3857a
leaq 0x68(%rsp), %rdi
callq 0x34e0
movq %r15, 0x270(%rsp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x831d
movq %rdx, 0x270(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x280(%rsp)
jmp 0x8324
movq 0x40cf1(%rip), %rdi     # 0x48fc8
leaq 0x30d9a(%rip), %rsi     # 0x39078
movl $0x19, %edx
callq 0x3310
movq 0x40cd9(%rip), %rdi     # 0x48fc8
callq 0x3130
movq 0x40cf5(%rip), %rdi     # 0x48ff0
leaq 0x30d76(%rip), %rsi     # 0x39078
movl $0x19, %edx
callq 0x3310
movq 0x40cdd(%rip), %rdi     # 0x48ff0
callq 0x3130
jmp 0x85bf
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
movq %rdx, 0x278(%rsp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq 0x270(%rsp), %rdi
callq 0x3260
movl %eax, %ebx
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x836b
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8386
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x32b0
movq 0xf0(%rsp), %rdi
cmpq %r12, %rdi
je 0x83a3
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x120(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x83c4
movq 0x120(%rsp), %rsi
incq %rsi
callq 0x32b0
testl %ebx, %ebx
je 0x8415
movq 0x40bf9(%rip), %rdi     # 0x48fc8
leaq 0x30de8(%rip), %rsi     # 0x391be
movl $0xc, %edx
callq 0x3310
movq 0x40be1(%rip), %rdi     # 0x48fc8
callq 0x3130
movq 0x40bfd(%rip), %rdi     # 0x48ff0
leaq 0x30dc4(%rip), %rsi     # 0x391be
movl $0xc, %edx
callq 0x3310
movq 0x40be5(%rip), %rdi     # 0x48ff0
callq 0x3130
jmp 0x85b2
leaq 0x258(%rsp), %rdi
callq 0x2948c
xorps %xmm0, %xmm0
movups %xmm0, 0x70(%rsp)
movq $0x0, 0x80(%rsp)
leaq 0x30140(%rip), %rsi     # 0x3857d
leaq 0x270(%rsp), %rdi
movl $0x8, %edx
callq 0x34c0
leaq 0x68(%rsp), %rdi
leaq 0x270(%rsp), %rsi
callq 0x27188
movl %eax, %ebx
leaq 0x270(%rsp), %rdi
callq 0x3070
testl %ebx, %ebx
jle 0x84c1
movq 0x40b4d(%rip), %rdi     # 0x48fc8
leaq 0x30bcd(%rip), %rsi     # 0x3904f
movl $0x18, %edx
callq 0x3310
movq 0x40b35(%rip), %rdi     # 0x48fc8
callq 0x3130
movq 0x40b51(%rip), %rdi     # 0x48ff0
leaq 0x30ba9(%rip), %rsi     # 0x3904f
movl $0x18, %edx
callq 0x3310
movq 0x40b39(%rip), %rdi     # 0x48ff0
callq 0x3130
jmp 0x858b
cmpl $0x2, 0x68(%rsp)
jne 0x84ee
movq 0x40af9(%rip), %rdi     # 0x48fc8
leaq 0x30b92(%rip), %rsi     # 0x39068
movl $0xf, %edx
callq 0x3310
movq 0x40ae1(%rip), %rdi     # 0x48fc8
callq 0x3130
jmp 0x850b
leaq 0x70(%rsp), %rsi
movq 0x18(%rsi), %rcx
movq 0x40aca(%rip), %rdx     # 0x48fc8
leaq 0x880(%rsp), %rdi
callq 0x322ca
movq 0x40ade(%rip), %rdi     # 0x48ff0
leaq 0x30bf7(%rip), %rsi     # 0x39110
movl $0x11, %edx
callq 0x3310
leaq 0x1b8(%rsp), %rdi
callq 0x294ba
movq 0x40ab9(%rip), %rdi     # 0x48ff0
callq 0x3430
movq %rax, %rbx
leaq 0x30c85(%rip), %rsi     # 0x391cb
movl $0xe, %edx
movq %rax, %rdi
callq 0x3310
leaq 0x258(%rsp), %rdi
callq 0x294ba
movq %rbx, %rdi
callq 0x3430
movq %rax, %rdi
callq 0x3130
cmpl $0x0, 0x8(%rsp)
je 0x858b
movq 0x40a72(%rip), %rsi     # 0x48ff0
leaq 0x880(%rsp), %rdi
callq 0x32ff2
leaq 0x270(%rsp), %rdi
callq 0x3080
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x85b2
movq 0x80(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x478(%rsp), %rdi
callq 0x33e0
movq 0x90(%rsp), %rdi
cmpq %r14, %rdi
je 0x85dc
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x880(%rsp), %rdi
callq 0x8e00
leaq 0x240(%rsp), %rbx
movq %rbx, %rdi
callq 0x933c
movq -0x18(%rbx), %rdi
testq %rdi, %rdi
je 0x8612
movq 0x238(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x210(%rsp), %rdi
callq 0x8f6e
movq 0x1e0(%rsp), %rdi
leaq 0x1f0(%rsp), %rax
cmpq %rax, %rdi
je 0x8644
movq 0x1f0(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x678(%rsp), %rdi
callq 0x3080
leaq 0xc0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8672
movq 0xc0(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x188(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8693
movq 0x188(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0xe0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x86b4
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x10(%rsp), %rdi
callq 0x8edc
jmp 0x6e2f
leaq 0x308fb(%rip), %rdi     # 0x38fc5
leaq 0x30935(%rip), %rsi     # 0x39006
leaq 0x30937(%rip), %rcx     # 0x3900f
movl $0x17f, %edx            # imm = 0x17F
callq 0x31b0
movq %rax, %rbx
jmp 0x87f3
jmp 0x87e3
jmp 0x87e3
movq %rax, %rbx
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x8719
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x8719
movq %rax, %rbx
leaq 0x78(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x878f
movq 0x78(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x878f
movq %rax, %rbx
jmp 0x87ac
jmp 0x887e
jmp 0x8911
jmp 0x8911
jmp 0x8911
jmp 0x8911
jmp 0x88c2
movq %rax, %rbx
movq 0x130(%rsp), %rdi
cmpq %r12, %rdi
je 0x884e
movq 0x140(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x884e
jmp 0x884b
jmp 0x89c9
movq %rax, %rbx
movq 0xf0(%rsp), %rdi
cmpq %r12, %rdi
je 0x87ac
movq 0x100(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x120(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8881
movq 0x120(%rsp), %rsi
incq %rsi
jmp 0x880c
jmp 0x887e
jmp 0x884b
jmp 0x884b
jmp 0x8911
jmp 0x8828
jmp 0x89c9
movq %rax, %rbx
leaq 0x270(%rsp), %rdi
callq 0x3080
movq 0x70(%rsp), %rdi
testq %rdi, %rdi
je 0x8881
movq 0x80(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
jmp 0x8881
movq %rax, %rbx
leaq 0x270(%rsp), %rdi
callq 0x33e0
jmp 0x88c5
movq %rax, %rbx
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x89cc
movq 0x280(%rsp), %rsi
jmp 0x892d
jmp 0x884b
movq %rax, %rbx
movq 0x270(%rsp), %rdi
cmpq %r15, %rdi
je 0x8914
movq 0x280(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x8914
jmp 0x8909
jmp 0x8a46
movq %rax, %rbx
leaq 0x478(%rsp), %rdi
callq 0x33e0
jmp 0x8914
movq %rax, %rbx
movq 0x158(%rsp), %rdi
cmpq %r14, %rdi
je 0x89cc
movq 0x168(%rsp), %rsi
jmp 0x892d
jmp 0x8a34
jmp 0x8a34
jmp 0x88e0
jmp 0x8a34
movq %rax, %rbx
movq 0x478(%rsp), %rdi
cmpq %r14, %rdi
je 0x89cc
movq 0x488(%rsp), %rsi
jmp 0x892d
movq %rax, %rbx
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x8a37
movq 0x890(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x8a37
movq %rax, %rbx
jmp 0x8ac8
movq %rax, %rbx
movq 0x90(%rsp), %rdi
cmpq %r14, %rdi
je 0x89cc
movq 0xa0(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x89cc
movq %rax, %rbx
movq 0x40(%rsp), %rdi
cmpq %r14, %rdi
je 0x89ab
movq 0x50(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x89ab
jmp 0x89a8
movq %rax, %rbx
jmp 0x8a9a
jmp 0x8a8a
jmp 0x89c9
movq %rax, %rbx
jmp 0x8ae2
jmp 0x8a50
jmp 0x89a8
jmp 0x8a50
jmp 0x89c9
jmp 0x89a8
jmp 0x8a50
movq %rax, %rbx
movq 0x198(%rsp), %rdi
cmpq %r15, %rdi
je 0x8a0e
movq 0x1a8(%rsp), %rsi
incq %rsi
callq 0x32b0
jmp 0x8a0e
jmp 0x8a0b
movq %rax, %rbx
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x8b24
movq 0x890(%rsp), %rsi
jmp 0x8b1c
movq %rax, %rbx
leaq 0x880(%rsp), %rdi
callq 0x8e00
jmp 0x8a37
jmp 0x8a2c
jmp 0x89ed
jmp 0x89ed
jmp 0x89ed
jmp 0x89ed
jmp 0x89ed
jmp 0x89ed
jmp 0x89ed
jmp 0x89ed
movq %rax, %rbx
jmp 0x8a68
jmp 0x8a50
jmp 0x8a8a
movq %rax, %rbx
jmp 0x8ab1
movq %rax, %rbx
jmp 0x8b45
jmp 0x8a2c
movq %rax, %rbx
movq 0x880(%rsp), %rdi
cmpq %r12, %rdi
je 0x8b66
movq 0x890(%rsp), %rsi
jmp 0x8b5e
movq %rax, %rbx
jmp 0x8b66
movq %rax, %rbx
leaq 0x1d0(%rsp), %rdi
callq 0x8e8a
jmp 0x8a5b
movq %rax, %rbx
jmp 0x8ad5
jmp 0x8a8a
movq %rax, %rbx
jmp 0x8b24
movq %rax, %rbx
leaq 0x678(%rsp), %rdi
callq 0x3080
leaq 0xc0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8b24
movq 0xc0(%rsp), %rsi
jmp 0x8b1c
movq %rax, %rbx
leaq 0x270(%rsp), %rdi
callq 0x8d2a
movq 0x40(%rsp), %rdi
testq %rdi, %rdi
je 0x8ab1
movq 0x50(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x68(%rsp), %rdi
testq %rdi, %rdi
je 0x8ac8
movq 0x78(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
leaq 0x678(%rsp), %rdi
callq 0x3080
leaq 0x880(%rsp), %rdi
callq 0x3080
movq 0x480(%rsp), %rdi
testq %rdi, %rdi
je 0x8aff
movq 0x490(%rsp), %rsi
subq %rdi, %rsi
callq 0x32b0
movq 0x1d0(%rsp), %rdi
leaq 0x1e0(%rsp), %rax
cmpq %rax, %rdi
je 0x8b24
movq 0x1e0(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x188(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8b45
movq 0x188(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0xe0(%rsp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x8b66
movq 0xe0(%rsp), %rsi
incq %rsi
callq 0x32b0
leaq 0x10(%rsp), %rdi
callq 0x8edc
movq %rbx, %rdi
callq 0x34a0