// File: /workspace/github_cpp_makefile_star2_O1/akinanop[P]mvl-solver/src/Global.cc
// Function: PrintHelp()
void PrintHelp()
{
	//local variable
	int option = 0;
	do
	{
		//Print Menu
		cout<<"**** Menu Options ****"<<endl;
		cout<<" (1) Generate Benchmark Problems "<<endl;
		cout<<" (2) Finite Domain Solver (Chronological Backtracking) "<<endl;
		cout<<" (3) Finite Domain Solver (Non Chronological Backtracking) "<<endl;
		cout<<" (4) Convert Boolean to Finite "<<endl;
		cout<<" (5) Convert Finite to Boolean : Linear Encoding"<<endl;
		cout<<" (6) Convert Finite to Boolean : Quadratic Encoding"<<endl;
		cout<<" (0) Quit"<<endl;
		cout<<endl;
		cout<<" Enter Choice now : ";
		cin>>option;
		cout<<endl;

		//Start Printing messages based on option
		switch(option)
		{
		case 0:
		{
			cout<<"    Goodbye!!!     "<<endl;
			exit(1);
			break;
		}
		case 1:
		{
			cout<<"**** Generating Benchmark Problem Help ****"<<endl;
			cout<<"**** Use the following format to run the program ****"<<endl;
			cout<<"% exe -genben -var <int> -clause <int> -clausesize <int> -sat <1/0>"<<endl;
			cout<<"      -domain <int> -drand <1/0> -file <string>"<<endl<<endl;
			cout<<"where : "<<endl;
			cout<<"  exe             : * name of executable"<<endl;
			cout<<"  -genben         : * option stating create benchmark problem"<<endl;
			cout<<"  -var            : * number of variables in benchmark problem"<<endl;
			cout<<"  -clause         : * number of clauses in benchmark problem"<<endl;
			cout<<"  -clausesize     :   number of atoms in each clause, [DEFAULT : 3]"<<endl;
			cout<<"  -sat            :   states whether this benchmark problem is satisfiable or not"<<endl;
			cout<<"                      [possible value : 1/0] [default : 1/true]"<<endl;
			cout<<"  -domain         :   states the domain size of each variables, [DEFAULT : 10]"<<endl;
			cout<<"  -drand          :   states whether to assign domain size of each variable randomly"<<endl;
			cout<<"                      [possible value : 1/0] [DEFAULT : 0/false]"<<endl;
			cout<<"  -bool           :   states whether the file is in boolean cnf or modified cnf"<<endl;
			cout<<"  -file           : * name of the output file"<<endl;
			cout<<endl;
			cout<<" * - required fields"<<endl<<endl;
			break;
		}

		case 2:
		{
			cout<<"**** Finite Domain Solver (Chronological Backtracking) Help ****"<<endl;
			cout<<"**** Use the following format to run the program ****"<<endl;
			cout<<"% exe -solvech -var <int> -clause <int> -file <string> -time <int> "<<endl<<endl;
			cout<<"where : "<<endl;
			cout<<"  exe             : * name of executable"<<endl;
			cout<<"  -solvech        : * option stating to solve the finite domain problem"<<endl;
			cout<<"  -var            : * number of variables in benchmark problem"<<endl;
			cout<<"  -clause         : * number of clauses in benchmark problem"<<endl;
			cout<<"  -file           : * name of the output file"<<endl;
			cout<<"  -time           : amount of time allowed for solver to run"<<endl;
			cout<<endl;
			cout<<" * - required fields"<<endl<<endl;
			break;
		}

		case 3:
		{
			cout<<"**** Finite Domain Solver (NonChronological Backtracking) Help ****"<<endl;
			cout<<"**** Use the following format to run the program ****"<<endl;
			cout<<"% exe -solvenc -var <int> -clause <int> -file <string> -time <int> "<<endl<<endl;
			cout<<"where : "<<endl;
			cout<<"  exe             : * name of executable"<<endl;
			cout<<"  -solvenc        : * option stating to solve the finite domain problem"<<endl;
			cout<<"  -var            : * number of variables in benchmark problem"<<endl;
			cout<<"  -clause         : * number of clauses in benchmark problem"<<endl;
			cout<<"  -file           : * name of the output file"<<endl;
			cout<<"  -time           : amount of time allowed for solver to run"<<endl;
			cout<<endl;
			cout<<" * - required fields"<<endl<<endl;
			break;
		}

		case 4:
		{
			cout<<"**** Convert Boolean to Finite Domain ****"<<endl;
			cout<<"**** Use the following format to run the program ****"<<endl;
			cout<<"% exe -b2f -file <string> -model <string>"<<endl;
			cout<<"where : "<<endl;
			cout<<" exe             : * name of executable"<<endl;
			cout<<" -b2f            : * option stating to convert file "<<endl;
			cout<<" -file           : * name of the boolean file "<<endl;
			cout<<" -model          : * name of the finite file "<<endl;
			cout<<endl;
			cout<<" * - required fields"<<endl<<endl;
			break;
		}

		case 5:
		{
			cout<<"**** Convert Finite Domain to Boolean : Linear Encoding****"<<endl;
			cout<<"**** Use the following format to run the program ****"<<endl;
			cout<<"% exe -linenc -file <string> -model <string>"<<endl;
			cout<<"where : "<<endl;
			cout<<" exe             : * name of executable"<<endl;
			cout<<" -linenc         : * option stating to convert file "<<endl;
			cout<<" -file           : * name of the boolean file "<<endl;
			cout<<" -model          : * name of the finite file "<<endl;
			cout<<endl;
			cout<<" * - required fields"<<endl<<endl;
			break;
		}

		case 6:
		{
			cout<<"**** Convert Finite Domain to Boolean : Quadratic Encoding****"<<endl;
			cout<<"**** Use the following format to run the program ****"<<endl;
			cout<<"% exe -quadenc -file <string> -model <string>"<<endl;
			cout<<"where : "<<endl;
			cout<<" exe             : * name of executable"<<endl;
			cout<<" -quadenc        : * option stating to convert file "<<endl;
			cout<<" -file           : * name of the boolean file "<<endl;
			cout<<" -model          : * name of the finite file "<<endl;
			cout<<endl;
			cout<<" * - required fields"<<endl<<endl;
			break;
		}

		default:
		{
			break;
		}
		}
		getchar();
		getchar();
	}while(option != 0);
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
pushq %rax
leaq 0x4(%rsp), %rbx
movl $0x0, (%rbx)
movq 0xd406(%rip), %r14      # 0xffd0
leaq 0x964f(%rip), %r15      # 0xc220
movq 0xd408(%rip), %r12      # 0xffe0
leaq 0x94e9(%rip), %rbp      # 0xc0c8
movl $0x16, %edx
movq %r14, %rdi
leaq 0x94f6(%rip), %rsi      # 0xc0e4
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x21, %edx
movq %r14, %rdi
leaq 0x94d2(%rip), %rsi      # 0xc0fb
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x37, %edx
movq %r14, %rdi
leaq 0x94b9(%rip), %rsi      # 0xc11d
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3b, %edx
movq %r14, %rdi
leaq 0x94b6(%rip), %rsi      # 0xc155
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x1f, %edx
movq %r14, %rdi
leaq 0x94b7(%rip), %rsi      # 0xc191
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x30, %edx
movq %r14, %rdi
leaq 0x949c(%rip), %rsi      # 0xc1b1
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x33, %edx
movq %r14, %rdi
leaq 0x9492(%rip), %rsi      # 0xc1e2
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x9, %edx
movq %r14, %rdi
leaq 0x948b(%rip), %rsi      # 0xc216
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x14, %edx
movq %r14, %rdi
movq %r15, %rsi
callq 0x2270
movq %r12, %rdi
movq %rbx, %rsi
callq 0x2160
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl 0x4(%rsp), %eax
cmpq $0x6, %rax
ja 0x3ab6
movslq (%rbp,%rax,4), %rax
addq %rbp, %rax
jmpq *%rax
movl $0x2b, %edx
movq %r14, %rdi
leaq 0x9402(%rip), %rsi      # 0xc249
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x35, %edx
movq %r14, %rdi
leaq 0x93f3(%rip), %rsi      # 0xc275
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x43, %edx
movq %r14, %rdi
leaq 0x93ee(%rip), %rsi      # 0xc2ab
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x2f, %edx
movq %r14, %rdi
leaq 0x93f7(%rip), %rsi      # 0xc2ef
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r13, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x8, %edx
movq %r14, %rdi
leaq 0x93c2(%rip), %rsi      # 0xc31f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x28, %edx
movq %r14, %rdi
leaq 0x9390(%rip), %rsi      # 0xc328
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3d, %edx
movq %r14, %rdi
leaq 0x937e(%rip), %rsi      # 0xc351
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3e, %edx
movq %r14, %rdi
leaq 0x9381(%rip), %rsi      # 0xc38f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3c, %edx
movq %r14, %rdi
leaq 0x9385(%rip), %rsi      # 0xc3ce
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x43, %edx
movq %r14, %rdi
leaq 0x9387(%rip), %rsi      # 0xc40b
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x51, %edx
movq %r14, %rdi
leaq 0x9390(%rip), %rsi      # 0xc44f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3f, %edx
movq %r14, %rdi
leaq 0x93a7(%rip), %rsi      # 0xc4a1
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x4e, %edx
movq %r14, %rdi
leaq 0x93ac(%rip), %rsi      # 0xc4e1
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x54, %edx
movq %r14, %rdi
leaq 0x93c0(%rip), %rsi      # 0xc530
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x40, %edx
movq %r14, %rdi
leaq 0x93da(%rip), %rsi      # 0xc585
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x4f, %edx
movq %r14, %rdi
leaq 0x93e0(%rip), %rsi      # 0xc5c6
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x2d, %edx
movq %r14, %rdi
leaq 0x93f5(%rip), %rsi      # 0xc616
jmp 0x39fe
movl $0x3b, %edx
movq %r14, %rdi
leaq 0x96e5(%rip), %rsi      # 0xc91a
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x35, %edx
movq %r14, %rdi
leaq 0x9005(%rip), %rsi      # 0xc275
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x2c, %edx
movq %r14, %rdi
leaq 0x96ab(%rip), %rsi      # 0xc956
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x8, %edx
movq %r14, %rdi
leaq 0x9039(%rip), %rsi      # 0xc31f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x27, %edx
movq %r14, %rdi
leaq 0x9008(%rip), %rsi      # 0xc329
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x34, %edx
movq %r14, %rdi
leaq 0x9627(%rip), %rsi      # 0xc983
jmp 0x3988
movl $0x2a, %edx
movq %r14, %rdi
leaq 0x94c3(%rip), %rsi      # 0xc833
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x35, %edx
movq %r14, %rdi
leaq 0x8eca(%rip), %rsi      # 0xc275
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x29, %edx
movq %r14, %rdi
leaq 0x9478(%rip), %rsi      # 0xc85e
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x8, %edx
movq %r14, %rdi
leaq 0x8efe(%rip), %rsi      # 0xc31f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x27, %edx
movq %r14, %rdi
leaq 0x8ecd(%rip), %rsi      # 0xc329
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x34, %edx
movq %r14, %rdi
leaq 0x93f1(%rip), %rsi      # 0xc888
jmp 0x3988
movl $0x43, %edx
movq %r14, %rdi
leaq 0x92b8(%rip), %rsi      # 0xc763
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x35, %edx
movq %r14, %rdi
leaq 0x8d8f(%rip), %rsi      # 0xc275
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x43, %edx
movq %r14, %rdi
leaq 0x9286(%rip), %rsi      # 0xc7a7
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r13, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x8, %edx
movq %r14, %rdi
leaq 0x8d99(%rip), %rsi      # 0xc31f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x28, %edx
movq %r14, %rdi
leaq 0x8d67(%rip), %rsi      # 0xc328
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x47, %edx
movq %r14, %rdi
leaq 0x91ef(%rip), %rsi      # 0xc7eb
jmp 0x3761
movl $0x40, %edx
movq %r14, %rdi
leaq 0x9049(%rip), %rsi      # 0xc659
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x35, %edx
movq %r14, %rdi
leaq 0x8c2a(%rip), %rsi      # 0xc275
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x43, %edx
movq %r14, %rdi
leaq 0x9014(%rip), %rsi      # 0xc69a
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r13, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x8, %edx
movq %r14, %rdi
leaq 0x8c34(%rip), %rsi      # 0xc31f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x28, %edx
movq %r14, %rdi
leaq 0x8c02(%rip), %rsi      # 0xc328
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x47, %edx
movq %r14, %rdi
leaq 0x8f7d(%rip), %rsi      # 0xc6de
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3e, %edx
movq %r14, %rdi
leaq 0x8bf3(%rip), %rsi      # 0xc38f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3c, %edx
movq %r14, %rdi
leaq 0x8bf7(%rip), %rsi      # 0xc3ce
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x2d, %edx
movq %r14, %rdi
leaq 0x8e04(%rip), %rsi      # 0xc616
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x3c, %edx
movq %r14, %rdi
leaq 0x8ed9(%rip), %rsi      # 0xc726
jmp 0x39fe
movl $0x3e, %edx
movq %r14, %rdi
leaq 0x9157(%rip), %rsi      # 0xc9b8
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x35, %edx
movq %r14, %rdi
leaq 0x89d9(%rip), %rsi      # 0xc275
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x2d, %edx
movq %r14, %rdi
leaq 0x9120(%rip), %rsi      # 0xc9f7
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x8, %edx
movq %r14, %rdi
leaq 0x8a0d(%rip), %rsi      # 0xc31f
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x27, %edx
movq %r14, %rdi
leaq 0x89dc(%rip), %rsi      # 0xc329
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x34, %edx
movq %r14, %rdi
leaq 0x909d(%rip), %rsi      # 0xca25
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x2e, %edx
movq %r14, %rdi
leaq 0x8efa(%rip), %rsi      # 0xc8bd
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x2d, %edx
movq %r14, %rdi
leaq 0x8eee(%rip), %rsi      # 0xc8ec
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movl $0x14, %edx
movq %r14, %rdi
leaq 0x8be4(%rip), %rsi      # 0xc644
callq 0x2270
movq (%r14), %rax
movq -0x18(%rax), %rdi
addq %r14, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r14, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
movq %rax, %r13
movq (%rax), %rax
movq -0x18(%rax), %rdi
addq %r13, %rdi
movl $0xa, %esi
callq 0x2200
movsbl %al, %esi
movq %r13, %rdi
callq 0x2040
movq %rax, %rdi
callq 0x2180
callq 0x22c0
callq 0x22c0
cmpl $0x0, 0x4(%rsp)
jne 0x2bdf
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xc4ef(%rip), %rdi      # 0xffd0
leaq 0x874d(%rip), %rsi      # 0xc235
callq 0x2220
movq %rax, %rdi
callq 0x2120
movl $0x1, %edi
callq 0x2290