// File: 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:
subq $0x28, %rsp
movl $0x0, 0x24(%rsp)
movq 0x1b0bd(%rip), %rdi     # 0x1dfd0
movq %rdi, 0x8(%rsp)
leaq 0x141c5(%rip), %rsi     # 0x170e4
callq 0x2220
movq %rax, %rdi
movq 0x1b092(%rip), %rsi     # 0x1dfc0
movq %rsi, 0x10(%rsp)
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x141b7(%rip), %rsi     # 0x170fb
callq 0x2220
movq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x141bb(%rip), %rsi     # 0x1711d
callq 0x2220
movq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x141d5(%rip), %rsi     # 0x17155
callq 0x2220
movq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x141f3(%rip), %rsi     # 0x17191
callq 0x2220
movq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x141f5(%rip), %rsi     # 0x171b1
callq 0x2220
movq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x14208(%rip), %rsi     # 0x171e2
callq 0x2220
movq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x1421e(%rip), %rsi     # 0x17216
callq 0x2220
movq 0x10(%rsp), %rsi
movq %rax, %rdi
callq 0x2260
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x2260
movq 0x8(%rsp), %rdi
leaq 0x141fb(%rip), %rsi     # 0x17220
callq 0x2220
movq 0x1afaf(%rip), %rdi     # 0x1dfe0
leaq 0x24(%rsp), %rsi
callq 0x2160
movq 0x8(%rsp), %rdi
movq 0x10(%rsp), %rsi
callq 0x2260
movl 0x24(%rsp), %eax
movq %rax, 0x18(%rsp)
subq $0x6, %rax
ja 0x3a98
movq 0x18(%rsp), %rax
leaq 0x1405f(%rip), %rcx     # 0x170c8
movslq (%rcx,%rax,4), %rax
addq %rcx, %rax
jmpq *%rax
movq 0x1af57(%rip), %rdi     # 0x1dfd0
leaq 0x141b5(%rip), %rsi     # 0x17235
callq 0x2220
movq %rax, %rdi
movq 0x1af31(%rip), %rsi     # 0x1dfc0
callq 0x2260
movl $0x1, %edi
callq 0x22e0
movq 0x1af2b(%rip), %rdi     # 0x1dfd0
leaq 0x1419d(%rip), %rsi     # 0x17249
callq 0x2220
movq %rax, %rdi
movq 0x1af05(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1af09(%rip), %rdi     # 0x1dfd0
leaq 0x141a7(%rip), %rsi     # 0x17275
callq 0x2220
movq %rax, %rdi
movq 0x1aee3(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aee7(%rip), %rdi     # 0x1dfd0
leaq 0x141bb(%rip), %rsi     # 0x172ab
callq 0x2220
movq %rax, %rdi
movq 0x1aec1(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aec5(%rip), %rdi     # 0x1dfd0
leaq 0x141dd(%rip), %rsi     # 0x172ef
callq 0x2220
movq %rax, %rdi
movq 0x1ae9f(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1ae90(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ae94(%rip), %rdi     # 0x1dfd0
leaq 0x141dc(%rip), %rsi     # 0x1731f
callq 0x2220
movq %rax, %rdi
movq 0x1ae6e(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ae72(%rip), %rdi     # 0x1dfd0
leaq 0x141c3(%rip), %rsi     # 0x17328
callq 0x2220
movq %rax, %rdi
movq 0x1ae4c(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ae50(%rip), %rdi     # 0x1dfd0
leaq 0x141ca(%rip), %rsi     # 0x17351
callq 0x2220
movq %rax, %rdi
movq 0x1ae2a(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ae2e(%rip), %rdi     # 0x1dfd0
leaq 0x141e6(%rip), %rsi     # 0x1738f
callq 0x2220
movq %rax, %rdi
movq 0x1ae08(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ae0c(%rip), %rdi     # 0x1dfd0
leaq 0x14203(%rip), %rsi     # 0x173ce
callq 0x2220
movq %rax, %rdi
movq 0x1ade6(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1adea(%rip), %rdi     # 0x1dfd0
leaq 0x1421e(%rip), %rsi     # 0x1740b
callq 0x2220
movq %rax, %rdi
movq 0x1adc4(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1adc8(%rip), %rdi     # 0x1dfd0
leaq 0x14240(%rip), %rsi     # 0x1744f
callq 0x2220
movq %rax, %rdi
movq 0x1ada2(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ada6(%rip), %rdi     # 0x1dfd0
leaq 0x14270(%rip), %rsi     # 0x174a1
callq 0x2220
movq %rax, %rdi
movq 0x1ad80(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ad84(%rip), %rdi     # 0x1dfd0
leaq 0x1428e(%rip), %rsi     # 0x174e1
callq 0x2220
movq %rax, %rdi
movq 0x1ad5e(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ad62(%rip), %rdi     # 0x1dfd0
leaq 0x142bb(%rip), %rsi     # 0x17530
callq 0x2220
movq %rax, %rdi
movq 0x1ad3c(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ad40(%rip), %rdi     # 0x1dfd0
leaq 0x142ee(%rip), %rsi     # 0x17585
callq 0x2220
movq %rax, %rdi
movq 0x1ad1a(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ad1e(%rip), %rdi     # 0x1dfd0
leaq 0x1430d(%rip), %rsi     # 0x175c6
callq 0x2220
movq %rax, %rdi
movq 0x1acf8(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1acfc(%rip), %rdi     # 0x1dfd0
leaq 0x1433b(%rip), %rsi     # 0x17616
callq 0x2220
movq %rax, %rdi
movq 0x1acd6(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1acda(%rip), %rdi     # 0x1dfd0
movq 0x1acc3(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1acc7(%rip), %rdi     # 0x1dfd0
leaq 0x14334(%rip), %rsi     # 0x17644
callq 0x2220
movq %rax, %rdi
movq 0x1aca1(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1ac92(%rip), %rsi     # 0x1dfc0
callq 0x2260
jmp 0x3a9a
movq 0x1ac91(%rip), %rdi     # 0x1dfd0
leaq 0x14313(%rip), %rsi     # 0x17659
callq 0x2220
movq %rax, %rdi
movq 0x1ac6b(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ac6f(%rip), %rdi     # 0x1dfd0
leaq 0x13f0d(%rip), %rsi     # 0x17275
callq 0x2220
movq %rax, %rdi
movq 0x1ac49(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ac4d(%rip), %rdi     # 0x1dfd0
leaq 0x14310(%rip), %rsi     # 0x1769a
callq 0x2220
movq %rax, %rdi
movq 0x1ac27(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1ac18(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ac1c(%rip), %rdi     # 0x1dfd0
leaq 0x13f64(%rip), %rsi     # 0x1731f
callq 0x2220
movq %rax, %rdi
movq 0x1abf6(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1abfa(%rip), %rdi     # 0x1dfd0
leaq 0x13f4b(%rip), %rsi     # 0x17328
callq 0x2220
movq %rax, %rdi
movq 0x1abd4(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1abd8(%rip), %rdi     # 0x1dfd0
leaq 0x142df(%rip), %rsi     # 0x176de
callq 0x2220
movq %rax, %rdi
movq 0x1abb2(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1abb6(%rip), %rdi     # 0x1dfd0
leaq 0x13f6e(%rip), %rsi     # 0x1738f
callq 0x2220
movq %rax, %rdi
movq 0x1ab90(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ab94(%rip), %rdi     # 0x1dfd0
leaq 0x13f8b(%rip), %rsi     # 0x173ce
callq 0x2220
movq %rax, %rdi
movq 0x1ab6e(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ab72(%rip), %rdi     # 0x1dfd0
leaq 0x141b1(%rip), %rsi     # 0x17616
callq 0x2220
movq %rax, %rdi
movq 0x1ab4c(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ab50(%rip), %rdi     # 0x1dfd0
leaq 0x1429f(%rip), %rsi     # 0x17726
callq 0x2220
movq %rax, %rdi
movq 0x1ab2a(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ab2e(%rip), %rdi     # 0x1dfd0
movq 0x1ab17(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1ab1b(%rip), %rdi     # 0x1dfd0
leaq 0x14188(%rip), %rsi     # 0x17644
callq 0x2220
movq %rax, %rdi
movq 0x1aaf5(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1aae6(%rip), %rsi     # 0x1dfc0
callq 0x2260
jmp 0x3a9a
movq 0x1aae5(%rip), %rdi     # 0x1dfd0
leaq 0x14271(%rip), %rsi     # 0x17763
callq 0x2220
movq %rax, %rdi
movq 0x1aabf(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aac3(%rip), %rdi     # 0x1dfd0
leaq 0x13d61(%rip), %rsi     # 0x17275
callq 0x2220
movq %rax, %rdi
movq 0x1aa9d(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aaa1(%rip), %rdi     # 0x1dfd0
leaq 0x14271(%rip), %rsi     # 0x177a7
callq 0x2220
movq %rax, %rdi
movq 0x1aa7b(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1aa6c(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aa70(%rip), %rdi     # 0x1dfd0
leaq 0x13db8(%rip), %rsi     # 0x1731f
callq 0x2220
movq %rax, %rdi
movq 0x1aa4a(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aa4e(%rip), %rdi     # 0x1dfd0
leaq 0x13d9f(%rip), %rsi     # 0x17328
callq 0x2220
movq %rax, %rdi
movq 0x1aa28(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aa2c(%rip), %rdi     # 0x1dfd0
leaq 0x14240(%rip), %rsi     # 0x177eb
callq 0x2220
movq %rax, %rdi
movq 0x1aa06(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1aa0a(%rip), %rdi     # 0x1dfd0
leaq 0x13dc2(%rip), %rsi     # 0x1738f
callq 0x2220
movq %rax, %rdi
movq 0x1a9e4(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a9e8(%rip), %rdi     # 0x1dfd0
leaq 0x13ddf(%rip), %rsi     # 0x173ce
callq 0x2220
movq %rax, %rdi
movq 0x1a9c2(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a9c6(%rip), %rdi     # 0x1dfd0
leaq 0x14005(%rip), %rsi     # 0x17616
callq 0x2220
movq %rax, %rdi
movq 0x1a9a0(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a9a4(%rip), %rdi     # 0x1dfd0
leaq 0x140f3(%rip), %rsi     # 0x17726
callq 0x2220
movq %rax, %rdi
movq 0x1a97e(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a982(%rip), %rdi     # 0x1dfd0
movq 0x1a96b(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a96f(%rip), %rdi     # 0x1dfd0
leaq 0x13fdc(%rip), %rsi     # 0x17644
callq 0x2220
movq %rax, %rdi
movq 0x1a949(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1a93a(%rip), %rsi     # 0x1dfc0
callq 0x2260
jmp 0x3a9a
movq 0x1a939(%rip), %rdi     # 0x1dfd0
leaq 0x14195(%rip), %rsi     # 0x17833
callq 0x2220
movq %rax, %rdi
movq 0x1a913(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a917(%rip), %rdi     # 0x1dfd0
leaq 0x13bb5(%rip), %rsi     # 0x17275
callq 0x2220
movq %rax, %rdi
movq 0x1a8f1(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a8f5(%rip), %rdi     # 0x1dfd0
leaq 0x1417c(%rip), %rsi     # 0x1785e
callq 0x2220
movq %rax, %rdi
movq 0x1a8cf(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a8d3(%rip), %rdi     # 0x1dfd0
leaq 0x13c1b(%rip), %rsi     # 0x1731f
callq 0x2220
movq %rax, %rdi
movq 0x1a8ad(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a8b1(%rip), %rdi     # 0x1dfd0
leaq 0x13c03(%rip), %rsi     # 0x17329
callq 0x2220
movq %rax, %rdi
movq 0x1a88b(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a88f(%rip), %rdi     # 0x1dfd0
leaq 0x14140(%rip), %rsi     # 0x17888
callq 0x2220
movq %rax, %rdi
movq 0x1a869(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a86d(%rip), %rdi     # 0x1dfd0
leaq 0x14153(%rip), %rsi     # 0x178bd
callq 0x2220
movq %rax, %rdi
movq 0x1a847(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a84b(%rip), %rdi     # 0x1dfd0
leaq 0x14160(%rip), %rsi     # 0x178ec
callq 0x2220
movq %rax, %rdi
movq 0x1a825(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a829(%rip), %rdi     # 0x1dfd0
movq 0x1a812(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a816(%rip), %rdi     # 0x1dfd0
leaq 0x13e83(%rip), %rsi     # 0x17644
callq 0x2220
movq %rax, %rdi
movq 0x1a7f0(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1a7e1(%rip), %rsi     # 0x1dfc0
callq 0x2260
jmp 0x3a9a
movq 0x1a7e0(%rip), %rdi     # 0x1dfd0
leaq 0x14123(%rip), %rsi     # 0x1791a
callq 0x2220
movq %rax, %rdi
movq 0x1a7ba(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a7be(%rip), %rdi     # 0x1dfd0
leaq 0x13a5c(%rip), %rsi     # 0x17275
callq 0x2220
movq %rax, %rdi
movq 0x1a798(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a79c(%rip), %rdi     # 0x1dfd0
leaq 0x1411b(%rip), %rsi     # 0x17956
callq 0x2220
movq %rax, %rdi
movq 0x1a776(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a77a(%rip), %rdi     # 0x1dfd0
leaq 0x13ac2(%rip), %rsi     # 0x1731f
callq 0x2220
movq %rax, %rdi
movq 0x1a754(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a758(%rip), %rdi     # 0x1dfd0
leaq 0x13aaa(%rip), %rsi     # 0x17329
callq 0x2220
movq %rax, %rdi
movq 0x1a732(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a736(%rip), %rdi     # 0x1dfd0
leaq 0x140e2(%rip), %rsi     # 0x17983
callq 0x2220
movq %rax, %rdi
movq 0x1a710(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a714(%rip), %rdi     # 0x1dfd0
leaq 0x13ffa(%rip), %rsi     # 0x178bd
callq 0x2220
movq %rax, %rdi
movq 0x1a6ee(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a6f2(%rip), %rdi     # 0x1dfd0
leaq 0x14007(%rip), %rsi     # 0x178ec
callq 0x2220
movq %rax, %rdi
movq 0x1a6cc(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a6d0(%rip), %rdi     # 0x1dfd0
movq 0x1a6b9(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a6bd(%rip), %rdi     # 0x1dfd0
leaq 0x13d2a(%rip), %rsi     # 0x17644
callq 0x2220
movq %rax, %rdi
movq 0x1a697(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1a688(%rip), %rsi     # 0x1dfc0
callq 0x2260
jmp 0x3a9a
movq 0x1a687(%rip), %rdi     # 0x1dfd0
leaq 0x14068(%rip), %rsi     # 0x179b8
callq 0x2220
movq %rax, %rdi
movq 0x1a661(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a665(%rip), %rdi     # 0x1dfd0
leaq 0x13903(%rip), %rsi     # 0x17275
callq 0x2220
movq %rax, %rdi
movq 0x1a63f(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a643(%rip), %rdi     # 0x1dfd0
leaq 0x14063(%rip), %rsi     # 0x179f7
callq 0x2220
movq %rax, %rdi
movq 0x1a61d(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a621(%rip), %rdi     # 0x1dfd0
leaq 0x13969(%rip), %rsi     # 0x1731f
callq 0x2220
movq %rax, %rdi
movq 0x1a5fb(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a5ff(%rip), %rdi     # 0x1dfd0
leaq 0x13951(%rip), %rsi     # 0x17329
callq 0x2220
movq %rax, %rdi
movq 0x1a5d9(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a5dd(%rip), %rdi     # 0x1dfd0
leaq 0x1402b(%rip), %rsi     # 0x17a25
callq 0x2220
movq %rax, %rdi
movq 0x1a5b7(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a5bb(%rip), %rdi     # 0x1dfd0
leaq 0x13ea1(%rip), %rsi     # 0x178bd
callq 0x2220
movq %rax, %rdi
movq 0x1a595(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a599(%rip), %rdi     # 0x1dfd0
leaq 0x13eae(%rip), %rsi     # 0x178ec
callq 0x2220
movq %rax, %rdi
movq 0x1a573(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a577(%rip), %rdi     # 0x1dfd0
movq 0x1a560(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq 0x1a564(%rip), %rdi     # 0x1dfd0
leaq 0x13bd1(%rip), %rsi     # 0x17644
callq 0x2220
movq %rax, %rdi
movq 0x1a53e(%rip), %rsi     # 0x1dfc0
callq 0x2260
movq %rax, %rdi
movq 0x1a52f(%rip), %rsi     # 0x1dfc0
callq 0x2260
jmp 0x3a9a
jmp 0x3a9a
callq 0x2340
callq 0x2340
cmpl $0x0, 0x24(%rsp)
jne 0x2f0c
addq $0x28, %rsp
retq
nopw %cs:(%rax,%rax)