// File: /workspace/github_cpp_makefile_star2_O3/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 0xe3f2(%rip), %r14      # 0x10fd0
leaq 0xa63b(%rip), %r15      # 0xd220
movq 0xe3f4(%rip), %r12      # 0x10fe0
leaq 0xa4d5(%rip), %rbp      # 0xd0c8
movl $0x16, %edx
movq %r14, %rdi
leaq 0xa4e2(%rip), %rsi      # 0xd0e4
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 0xa4be(%rip), %rsi      # 0xd0fb
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 0xa4a5(%rip), %rsi      # 0xd11d
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 0xa4a2(%rip), %rsi      # 0xd155
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 0xa4a3(%rip), %rsi      # 0xd191
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 0xa488(%rip), %rsi      # 0xd1b1
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 0xa47e(%rip), %rsi      # 0xd1e2
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 0xa477(%rip), %rsi      # 0xd216
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 0x3aca
movslq (%rbp,%rax,4), %rax
addq %rbp, %rax
jmpq *%rax
movl $0x2b, %edx
movq %r14, %rdi
leaq 0xa3ee(%rip), %rsi      # 0xd249
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 0xa3df(%rip), %rsi      # 0xd275
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 0xa3da(%rip), %rsi      # 0xd2ab
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 0xa3e3(%rip), %rsi      # 0xd2ef
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 0xa3ae(%rip), %rsi      # 0xd31f
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 0xa37c(%rip), %rsi      # 0xd328
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 0xa36a(%rip), %rsi      # 0xd351
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 0xa36d(%rip), %rsi      # 0xd38f
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 0xa371(%rip), %rsi      # 0xd3ce
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 0xa373(%rip), %rsi      # 0xd40b
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 0xa37c(%rip), %rsi      # 0xd44f
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 0xa393(%rip), %rsi      # 0xd4a1
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 0xa398(%rip), %rsi      # 0xd4e1
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 0xa3ac(%rip), %rsi      # 0xd530
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 0xa3c6(%rip), %rsi      # 0xd585
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 0xa3cc(%rip), %rsi      # 0xd5c6
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 0xa3e1(%rip), %rsi      # 0xd616
jmp 0x3a12
movl $0x3b, %edx
movq %r14, %rdi
leaq 0xa6d1(%rip), %rsi      # 0xd91a
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 0x9ff1(%rip), %rsi      # 0xd275
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 0xa697(%rip), %rsi      # 0xd956
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 0xa025(%rip), %rsi      # 0xd31f
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 0x9ff4(%rip), %rsi      # 0xd329
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 0xa613(%rip), %rsi      # 0xd983
jmp 0x399c
movl $0x2a, %edx
movq %r14, %rdi
leaq 0xa4af(%rip), %rsi      # 0xd833
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 0x9eb6(%rip), %rsi      # 0xd275
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 0xa464(%rip), %rsi      # 0xd85e
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 0x9eea(%rip), %rsi      # 0xd31f
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 0x9eb9(%rip), %rsi      # 0xd329
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 0xa3dd(%rip), %rsi      # 0xd888
jmp 0x399c
movl $0x43, %edx
movq %r14, %rdi
leaq 0xa2a4(%rip), %rsi      # 0xd763
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 0x9d7b(%rip), %rsi      # 0xd275
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 0xa272(%rip), %rsi      # 0xd7a7
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 0x9d85(%rip), %rsi      # 0xd31f
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 0x9d53(%rip), %rsi      # 0xd328
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 0xa1db(%rip), %rsi      # 0xd7eb
jmp 0x3775
movl $0x40, %edx
movq %r14, %rdi
leaq 0xa035(%rip), %rsi      # 0xd659
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 0x9c16(%rip), %rsi      # 0xd275
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 0xa000(%rip), %rsi      # 0xd69a
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 0x9c20(%rip), %rsi      # 0xd31f
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 0x9bee(%rip), %rsi      # 0xd328
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 0x9f69(%rip), %rsi      # 0xd6de
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 0x9bdf(%rip), %rsi      # 0xd38f
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 0x9be3(%rip), %rsi      # 0xd3ce
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 0x9df0(%rip), %rsi      # 0xd616
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 0x9ec5(%rip), %rsi      # 0xd726
jmp 0x3a12
movl $0x3e, %edx
movq %r14, %rdi
leaq 0xa143(%rip), %rsi      # 0xd9b8
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 0x99c5(%rip), %rsi      # 0xd275
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 0xa10c(%rip), %rsi      # 0xd9f7
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 0x99f9(%rip), %rsi      # 0xd31f
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 0x99c8(%rip), %rsi      # 0xd329
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 0xa089(%rip), %rsi      # 0xda25
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 0x9ee6(%rip), %rsi      # 0xd8bd
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 0x9eda(%rip), %rsi      # 0xd8ec
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 0x9bd0(%rip), %rsi      # 0xd644
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 0x2bf3
addq $0x8, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq 0xd4db(%rip), %rdi      # 0x10fd0
leaq 0x9739(%rip), %rsi      # 0xd235
callq 0x2220
movq %rax, %rdi
callq 0x2120
movl $0x1, %edi
callq 0x2290