// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_specializzer_synthzespecializzedzewordzx
static void mw_mirth_specializzer_synthzespecializzedzewordzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct std_list_Nest_1* in_SPKey_3, uint64_t in_Word_4, struct mirth_mirth_zaMirth* *out_zaMirth_5, struct mirth_arrow_Arrow* *out_zaAB_6) {
	struct mirth_mirth_zaMirth* v7;
	struct mirth_arrow_Arrow* v8 = mw_mirth_word_Word_arrow(in_zaMirth_1, in_Word_4, &v7);
	struct std_list_List_1 v9 = v8->matoms;
	incref(MK_std_list_List_1(v9));
	decref(MK_mirth_arrow_Arrow(v8));
	struct std_maybe_Maybe_1 v10 = mw_std_list_List_1_singlezy(v9);
	struct mirth_mirth_zaMirth* branch_zaMirth_11;
	VAL branch_zux1_12;
	VAL branch_zux2_13;
	switch ((v10).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v14 = mtp_std_maybe_Maybe_1_Some(v10);
			branch_zux2_13 = v14;
			branch_zux1_12 = MK_mirth_arrow_Arrow(in_zaAB_2);
			branch_zaMirth_11 = v7;
		} break;
		case std_maybe_Maybe_1_None: {
			STR* v15;
			STRLIT(v15, "unexpected shape for synth-specialized-word!", 44);
			mw_mirth_mirth_zaMirth_fatalzeerrorzx(v7, v15);
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	struct mirth_arrow_Op v18 = V_mirth_arrow_Atom(branch_zux2_13)->mop;
	incref(MK_mirth_arrow_Op(v18));
	decref(MK_mirth_arrow_Atom(V_mirth_arrow_Atom(branch_zux2_13)));
	struct mirth_mirth_zaMirth* branch_zaMirth_19;
	struct mirth_arrow_Arrow* branch_zaAB_20;
	switch ((v18).tag) {
		case mirth_arrow_Op_Lambda: {
			struct mirth_arrow_Lambda* v21 = mtp_mirth_arrow_Op_Lambda(v18);
			incref(MK_mirth_arrow_Lambda(v21));
			struct std_list_List_1 v22 = v21->mparams;
			incref(MK_std_list_List_1(v22));
			decref(MK_mirth_arrow_Lambda(v21));
			incref(MK_std_list_Nest_1(in_SPKey_3));
			struct std_list_List_1 v23 = mw_std_list_Nest_1_zgList(in_SPKey_3);
			incref(MK_std_list_List_1(v22));
			incref(MK_std_list_List_1(v23));
			INT v24 = mw_std_list_List_1_len(v22);
			INT v25 = mw_std_list_List_1_len(v23);
			INT v26 = v25;
			INT v27 = v24;
			bool v28 = int_eq(v27, v26);
			struct mirth_mirth_zaMirth* branch_zaMirth_29;
			VAL branch_zux1_30;
			if (v28) {
				branch_zux1_30 = branch_zux1_12;
				branch_zaMirth_29 = branch_zaMirth_11;
			} else {
				STR* v31;
				STRLIT(v31, "wrong number of lambda params in synth-specialized-word!", 56);
				mw_mirth_mirth_zaMirth_fatalzeerrorzx(branch_zaMirth_11, v31);
			}
			struct std_list_List_1 v33 = { .tag=std_list_List_1_Nil };
			struct std_list_List_1 v34;
			mw_std_list_List_1_buildzx(v33, &v34);
			bool v35 = true;
			struct std_list_List_1 v36 = v22;
			struct std_list_List_1 v37 = v23;
			struct std_list_List_1 r38 = v34;
			bool v39 = v35;
			bool v40 = v35;
			while (v40) {
				struct std_list_List_1 v41 = v36;
				struct std_list_List_1 v42 = v37;
				struct std_list_List_1 r43 = r38;
				bool v44 = v39;
				struct std_list_List_1 v45;
				struct std_maybe_Maybe_1 v46 = mw_std_list_List_1_uncons(v42, &v45);
				struct std_list_List_1 v47;
				struct std_maybe_Maybe_1 v48 = mw_std_list_List_1_uncons(v41, &v47);
				struct std_maybe_Maybe_1 branch_Maybe_49;
				switch ((v46).tag) {
					case std_maybe_Maybe_1_None: {
						decref(MK_std_maybe_Maybe_1(v48));
						struct std_maybe_Maybe_1 v50 = { .tag=std_maybe_Maybe_1_None };
						branch_Maybe_49 = v50;
					} break;
					case std_maybe_Maybe_1_Some: {
						VAL v51 = mtp_std_maybe_Maybe_1_Some(v46);
						struct std_maybe_Maybe_1 branch_Maybe_52;
						switch ((v48).tag) {
							case std_maybe_Maybe_1_None: {
								decref(v51);
								struct std_maybe_Maybe_1 v53 = { .tag=std_maybe_Maybe_1_None };
								branch_Maybe_52 = v53;
							} break;
							case std_maybe_Maybe_1_Some: {
								VAL v54 = mtp_std_maybe_Maybe_1_Some(v48);
								struct std_map_KeyValuePair_2* v55 = mtw_std_map_KeyValuePair_2_KeyValuePair(v54, MK_mirth_arrow_Block(V_mirth_arrow_Block(v51)));
								struct std_maybe_Maybe_1 v56 = mtw_std_maybe_Maybe_1_Some(MK_std_map_KeyValuePair_2(v55));
								branch_Maybe_52 = v56;
							} break;
							default: {
								do_panic(str_make("unexpected fallthrough in match\n", 32));
							}
						}
						branch_Maybe_49 = branch_Maybe_52;
					} break;
					default: {
						do_panic(str_make("unexpected fallthrough in match\n", 32));
					}
				}
				struct std_list_List_1 v57;
				bool v58 = mw_std_maybe_Maybe_1_ifzy_2_sp65(r43, branch_Maybe_49, &v57);
				v40 = v58;
				v39 = v58;
				r38 = v57;
				v37 = v45;
				v36 = v47;
			}
			struct std_list_List_1 v59 = mw_std_list_zaLister_1_donezx(r38);
			decref(MK_std_list_List_1(v37));
			decref(MK_std_list_List_1(v36));
			struct mirth_specializzer_zaSPSynth* v60;
			mtw_mirth_specializzer_zaSPSynth_zaSPSynth(in_SPKey_3, in_Word_4, v59, V_mirth_arrow_Arrow(branch_zux1_30), &v60);
			struct mirth_arrow_Arrow* v61 = v21->mbody;
			incref(MK_mirth_arrow_Arrow(v61));
			decref(MK_mirth_arrow_Lambda(v21));
			struct mirth_mirth_zaMirth* v62;
			struct mirth_specializzer_zaSPSynth* v63;
			mw_mirth_specializzer_zaSPSynth_synthzearrowzx(branch_zaMirth_29, v60, v61, &v62, &v63);
			struct std_list_Nest_1* v64;
			uint64_t v65;
			struct std_list_List_1 v66;
			struct mirth_arrow_Arrow* v67;
			mtp_mirth_specializzer_zaSPSynth_zaSPSynth(v63, &v64, &v65, &v66, &v67);
			decref(MK_std_list_List_1(v66));
			decref(MK_std_list_Nest_1(v64));
			branch_zaAB_20 = v67;
			branch_zaMirth_19 = v62;
		} break;
		default: {
			STR* v68;
			STRLIT(v68, "unexpected shape", 16);
			mw_mirth_mirth_zaMirth_fatalzeerrorzx(branch_zaMirth_11, v68);
		} break;
	}
	*out_zaAB_6 = branch_zaAB_20;
	*out_zaMirth_5 = branch_zaMirth_19;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x8d0, %rsp            # imm = 0x8D0
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq %r8, -0x28(%rbp)
movq %r9, -0x30(%rbp)
movq -0x8(%rbp), %rdi
movq -0x20(%rbp), %rsi
leaq -0x38(%rbp), %rdx
callq 0xae460
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rax
movq 0x58(%rax), %rcx
movq %rcx, -0x50(%rbp)
movq 0x60(%rax), %rax
movq %rax, -0x48(%rbp)
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
callq 0x12780
movq %rax, -0x60(%rbp)
movq %rdx, -0x58(%rbp)
movq -0x58(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b01a
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
callq 0x12780
movq %rax, -0x70(%rbp)
movq %rdx, -0x68(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x70(%rbp), %rax
cmpq $0x0, %rax
je 0x20b01a
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
callq 0x12780
movq %rax, -0x80(%rbp)
movq %rdx, -0x78(%rbp)
movq -0x80(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b01a
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
callq 0x12780
movq %rax, -0x90(%rbp)
movq %rdx, -0x88(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x90(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20b01c
jmp 0x20b01e
movq -0x40(%rbp), %rax
movq %rax, -0xa0(%rbp)
leaq 0x187400(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x98(%rbp)
movq -0x98(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b122
movq -0x40(%rbp), %rax
movq %rax, -0xb0(%rbp)
leaq 0x1873ce(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0xa8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xb0(%rbp), %rax
cmpq $0x0, %rax
je 0x20b122
movq -0x40(%rbp), %rax
movq %rax, -0xc0(%rbp)
leaq 0x187396(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0xb8(%rbp)
movq -0xc0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b122
movq -0x40(%rbp), %rax
movq %rax, -0xd0(%rbp)
leaq 0x187368(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0xc8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xd0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20b120
movq -0x40(%rbp), %rax
movq %rax, -0xe0(%rbp)
leaq 0x18732e(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0xd8(%rbp)
movq -0xe0(%rbp), %rdi
movq -0xd8(%rbp), %rsi
callq 0x127c0
jmp 0x20b122
jmp 0x20b124
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rsi
callq 0x1f250
movl %eax, -0xf0(%rbp)
movq %rdx, -0xe8(%rbp)
movl -0xf0(%rbp), %eax
movl %eax, -0x8bc(%rbp)
testl %eax, %eax
je 0x20b1e9
jmp 0x20b153
movl -0x8bc(%rbp), %eax
subl $0x1, %eax
jne 0x20b306
jmp 0x20b164
movl -0xf0(%rbp), %edi
movq -0xe8(%rbp), %rsi
callq 0x174a0
movq %rax, -0x128(%rbp)
movq %rdx, -0x120(%rbp)
movq -0x128(%rbp), %rax
movq %rax, -0x118(%rbp)
movq -0x120(%rbp), %rax
movq %rax, -0x110(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x138(%rbp)
leaq 0x18727e(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x130(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0x108(%rbp)
movq -0x130(%rbp), %rax
movq %rax, -0x100(%rbp)
movq -0x38(%rbp), %rax
movq %rax, -0xf8(%rbp)
jmp 0x20b31f
jmp 0x20b1eb
cmpq $0x0, 0x118b7c5(%rip)   # 0x13969b8
jne 0x20b20d
leaq 0x151912(%rip), %rdi    # 0x35cb0e
movl $0x2c, %esi
callq 0xb6c0
movq %rax, 0x118b7ab(%rip)   # 0x13969b8
jmp 0x20b20f
movq 0x118b7a2(%rip), %rax   # 0x13969b8
movq %rax, -0x150(%rbp)
leaq 0x185f34(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x148(%rbp)
movq -0x148(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b2e4
movq 0x118b76d(%rip), %rax   # 0x13969b8
movq %rax, -0x160(%rbp)
leaq 0x185eff(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x158(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x160(%rbp), %rax
cmpq $0x0, %rax
je 0x20b2e4
movq 0x118b736(%rip), %rax   # 0x13969b8
movq %rax, -0x170(%rbp)
leaq 0x185ec8(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x168(%rbp)
movq -0x170(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b2e4
movq 0x118b705(%rip), %rax   # 0x13969b8
movq %rax, -0x180(%rbp)
leaq 0x185e97(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x178(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x180(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20b2e6
movq 0x118b6cb(%rip), %rax   # 0x13969b8
movq %rax, -0x140(%rbp)
movq -0x38(%rbp), %rdi
movq -0x140(%rbp), %rsi
callq 0x44a80
jmp 0x20b31f
leaq 0x148b74(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movq -0x118(%rbp), %rax
movq 0x30(%rax), %rcx
movq %rcx, -0x190(%rbp)
movq 0x38(%rax), %rax
movq %rax, -0x188(%rbp)
movl -0x190(%rbp), %edi
movq -0x188(%rbp), %rsi
callq 0x122ee0
movq %rax, -0x1a0(%rbp)
movq %rdx, -0x198(%rbp)
movq -0x198(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b411
movl -0x190(%rbp), %edi
movq -0x188(%rbp), %rsi
callq 0x122ee0
movq %rax, -0x1b0(%rbp)
movq %rdx, -0x1a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1b0(%rbp), %rax
cmpq $0x0, %rax
je 0x20b411
movl -0x190(%rbp), %edi
movq -0x188(%rbp), %rsi
callq 0x122ee0
movq %rax, -0x1c0(%rbp)
movq %rdx, -0x1b8(%rbp)
movq -0x1c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b411
movl -0x190(%rbp), %edi
movq -0x188(%rbp), %rsi
callq 0x122ee0
movq %rax, -0x1d0(%rbp)
movq %rdx, -0x1c8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1d0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20b413
jmp 0x20b415
movq -0x118(%rbp), %rax
movq %rax, -0x1e0(%rbp)
leaq 0x187516(%rip), %rax    # 0x392940
orq $0x1, %rax
movq %rax, -0x1d8(%rbp)
movq -0x1d8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b528
movq -0x118(%rbp), %rax
movq %rax, -0x1f0(%rbp)
leaq 0x1874e1(%rip), %rax    # 0x392940
orq $0x1, %rax
movq %rax, -0x1e8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1f0(%rbp), %rax
cmpq $0x0, %rax
je 0x20b528
movq -0x118(%rbp), %rax
movq %rax, -0x200(%rbp)
leaq 0x1874a6(%rip), %rax    # 0x392940
orq $0x1, %rax
movq %rax, -0x1f8(%rbp)
movq -0x200(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b528
movq -0x118(%rbp), %rax
movq %rax, -0x210(%rbp)
leaq 0x187475(%rip), %rax    # 0x392940
orq $0x1, %rax
movq %rax, -0x208(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x210(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20b526
movq -0x118(%rbp), %rax
movq %rax, -0x220(%rbp)
leaq 0x187438(%rip), %rax    # 0x392940
orq $0x1, %rax
movq %rax, -0x218(%rbp)
movq -0x220(%rbp), %rdi
movq -0x218(%rbp), %rsi
callq 0x127c0
jmp 0x20b528
jmp 0x20b52a
movl -0x190(%rbp), %eax
subl $0x8, %eax
jne 0x20c8db
jmp 0x20b53b
movl -0x190(%rbp), %edi
movq -0x188(%rbp), %rsi
callq 0x1337a0
movq %rax, -0x238(%rbp)
movq -0x238(%rbp), %rax
movq %rax, -0x248(%rbp)
leaq 0x1872ff(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x240(%rbp)
movq -0x240(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b629
movq -0x238(%rbp), %rax
movq %rax, -0x258(%rbp)
leaq 0x1872ca(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x250(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x258(%rbp), %rax
cmpq $0x0, %rax
je 0x20b629
movq -0x238(%rbp), %rax
movq %rax, -0x268(%rbp)
leaq 0x187293(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x260(%rbp)
movq -0x268(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b629
movq -0x238(%rbp), %rax
movq %rax, -0x278(%rbp)
leaq 0x187262(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x270(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x278(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20b62b
movq -0x238(%rbp), %rax
movq 0x30(%rax), %rcx
movq %rcx, -0x288(%rbp)
movq 0x38(%rax), %rax
movq %rax, -0x280(%rbp)
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x298(%rbp)
movq %rdx, -0x290(%rbp)
movq -0x290(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b71d
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x2a8(%rbp)
movq %rdx, -0x2a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2a8(%rbp), %rax
cmpq $0x0, %rax
je 0x20b71d
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x2b8(%rbp)
movq %rdx, -0x2b0(%rbp)
movq -0x2b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b71d
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x2c8(%rbp)
movq %rdx, -0x2c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2c8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20b71f
jmp 0x20b721
movq -0x238(%rbp), %rax
movq %rax, -0x2d8(%rbp)
leaq 0x187132(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x2d0(%rbp)
movq -0x2d0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b834
movq -0x238(%rbp), %rax
movq %rax, -0x2e8(%rbp)
leaq 0x1870fd(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x2e0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2e8(%rbp), %rax
cmpq $0x0, %rax
je 0x20b834
movq -0x238(%rbp), %rax
movq %rax, -0x2f8(%rbp)
leaq 0x1870c2(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x2f0(%rbp)
movq -0x2f8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b834
movq -0x238(%rbp), %rax
movq %rax, -0x308(%rbp)
leaq 0x187091(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x300(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x308(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20b832
movq -0x238(%rbp), %rax
movq %rax, -0x318(%rbp)
leaq 0x187054(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x310(%rbp)
movq -0x318(%rbp), %rdi
movq -0x310(%rbp), %rsi
callq 0x127c0
jmp 0x20b834
jmp 0x20b836
jmp 0x20b838
movq -0x18(%rbp), %rax
movq %rax, -0x328(%rbp)
leaq 0x1866d6(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x320(%rbp)
movq -0x320(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b901
movq -0x18(%rbp), %rax
movq %rax, -0x338(%rbp)
leaq 0x1866a4(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x330(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x338(%rbp), %rax
cmpq $0x0, %rax
je 0x20b901
movq -0x18(%rbp), %rax
movq %rax, -0x348(%rbp)
leaq 0x186670(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x340(%rbp)
movq -0x348(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b901
movq -0x18(%rbp), %rax
movq %rax, -0x358(%rbp)
leaq 0x186642(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x350(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x358(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20b903
movq -0x18(%rbp), %rdi
callq 0x1f180
movl %eax, -0x368(%rbp)
movq %rdx, -0x360(%rbp)
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x378(%rbp)
movq %rdx, -0x370(%rbp)
movq -0x370(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20b9ee
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x388(%rbp)
movq %rdx, -0x380(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x388(%rbp), %rax
cmpq $0x0, %rax
je 0x20b9ee
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x398(%rbp)
movq %rdx, -0x390(%rbp)
movq -0x398(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20b9ee
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x12780
movq %rax, -0x3a8(%rbp)
movq %rdx, -0x3a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3a8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20b9f0
jmp 0x20b9f2
movl -0x368(%rbp), %edi
movq -0x360(%rbp), %rsi
callq 0x12780
movq %rax, -0x3b8(%rbp)
movq %rdx, -0x3b0(%rbp)
movq -0x3b0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20bac7
movl -0x368(%rbp), %edi
movq -0x360(%rbp), %rsi
callq 0x12780
movq %rax, -0x3c8(%rbp)
movq %rdx, -0x3c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3c8(%rbp), %rax
cmpq $0x0, %rax
je 0x20bac7
movl -0x368(%rbp), %edi
movq -0x360(%rbp), %rsi
callq 0x12780
movq %rax, -0x3d8(%rbp)
movq %rdx, -0x3d0(%rbp)
movq -0x3d8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20bac7
movl -0x368(%rbp), %edi
movq -0x360(%rbp), %rsi
callq 0x12780
movq %rax, -0x3e8(%rbp)
movq %rdx, -0x3e0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3e8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20bac9
movl -0x288(%rbp), %edi
movq -0x280(%rbp), %rsi
callq 0x33100
movq %rax, -0x3f0(%rbp)
movl -0x368(%rbp), %edi
movq -0x360(%rbp), %rsi
callq 0x33100
movq %rax, -0x3f8(%rbp)
movq -0x3f8(%rbp), %rax
movq %rax, -0x400(%rbp)
movq -0x3f0(%rbp), %rax
movq %rax, -0x408(%rbp)
movq -0x408(%rbp), %rdi
movq -0x400(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x409(%rbp)
testb $0x1, -0x409(%rbp)
je 0x20bb6a
movq -0x108(%rbp), %rax
movq %rax, -0x428(%rbp)
movq -0x100(%rbp), %rax
movq %rax, -0x420(%rbp)
movq -0xf8(%rbp), %rax
movq %rax, -0x418(%rbp)
jmp 0x20bc88
jmp 0x20bb6c
cmpq $0x0, 0x118ae4c(%rip)   # 0x13969c0
jne 0x20bb8e
leaq 0x150fbe(%rip), %rdi    # 0x35cb3b
movl $0x38, %esi
callq 0xb6c0
movq %rax, 0x118ae32(%rip)   # 0x13969c0
jmp 0x20bb90
movq 0x118ae29(%rip), %rax   # 0x13969c0
movq %rax, -0x440(%rbp)
leaq 0x1855b3(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x438(%rbp)
movq -0x438(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20bc65
movq 0x118adf4(%rip), %rax   # 0x13969c0
movq %rax, -0x450(%rbp)
leaq 0x18557e(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x448(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x450(%rbp), %rax
cmpq $0x0, %rax
je 0x20bc65
movq 0x118adbd(%rip), %rax   # 0x13969c0
movq %rax, -0x460(%rbp)
leaq 0x185547(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x458(%rbp)
movq -0x460(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20bc65
movq 0x118ad8c(%rip), %rax   # 0x13969c0
movq %rax, -0x470(%rbp)
leaq 0x185516(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x468(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x470(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20bc67
movq 0x118ad52(%rip), %rax   # 0x13969c0
movq %rax, -0x430(%rbp)
movq -0xf8(%rbp), %rdi
movq -0x430(%rbp), %rsi
callq 0x44a80
leaq -0x480(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movl -0x480(%rbp), %edi
movq -0x478(%rbp), %rsi
leaq -0x490(%rbp), %rdx
callq 0xc9d0
movb $0x1, -0x491(%rbp)
movq -0x288(%rbp), %rax
movq %rax, -0x4a8(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x4a0(%rbp)
movq -0x368(%rbp), %rax
movq %rax, -0x4b8(%rbp)
movq -0x360(%rbp), %rax
movq %rax, -0x4b0(%rbp)
movq -0x490(%rbp), %rax
movq %rax, -0x4c8(%rbp)
movq -0x488(%rbp), %rax
movq %rax, -0x4c0(%rbp)
movb -0x491(%rbp), %al
andb $0x1, %al
movb %al, -0x4c9(%rbp)
movb -0x491(%rbp), %al
andb $0x1, %al
movb %al, -0x4ca(%rbp)
testb $0x1, -0x4ca(%rbp)
je 0x20c1cb
movups -0x4a8(%rbp), %xmm0
movaps %xmm0, -0x4e0(%rbp)
movups -0x4b8(%rbp), %xmm0
movaps %xmm0, -0x4f0(%rbp)
movups -0x4c8(%rbp), %xmm0
movaps %xmm0, -0x500(%rbp)
movb -0x4c9(%rbp), %al
andb $0x1, %al
movb %al, -0x501(%rbp)
movl -0x4f0(%rbp), %edi
movq -0x4e8(%rbp), %rsi
leaq -0x518(%rbp), %rdx
callq 0x2c490
movl %eax, -0x528(%rbp)
movq %rdx, -0x520(%rbp)
movl -0x4e0(%rbp), %edi
movq -0x4d8(%rbp), %rsi
leaq -0x538(%rbp), %rdx
callq 0x2c490
movl %eax, -0x548(%rbp)
movq %rdx, -0x540(%rbp)
movl -0x528(%rbp), %eax
movl %eax, -0x8c0(%rbp)
testl %eax, %eax
je 0x20bde2
jmp 0x20bdce
movl -0x8c0(%rbp), %eax
subl $0x1, %eax
je 0x20bf2d
jmp 0x20c10f
jmp 0x20bde4
movl -0x548(%rbp), %edi
movq -0x540(%rbp), %rsi
callq 0x133a0
movq %rax, -0x568(%rbp)
movq %rdx, -0x560(%rbp)
movq -0x560(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20bef7
movl -0x548(%rbp), %edi
movq -0x540(%rbp), %rsi
callq 0x133a0
movq %rax, -0x578(%rbp)
movq %rdx, -0x570(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x578(%rbp), %rax
cmpq $0x0, %rax
je 0x20bef7
movl -0x548(%rbp), %edi
movq -0x540(%rbp), %rsi
callq 0x133a0
movq %rax, -0x588(%rbp)
movq %rdx, -0x580(%rbp)
movq -0x588(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20bef7
movl -0x548(%rbp), %edi
movq -0x540(%rbp), %rsi
callq 0x133a0
movq %rax, -0x598(%rbp)
movq %rdx, -0x590(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x598(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20bef5
movl -0x548(%rbp), %edi
movq -0x540(%rbp), %rsi
callq 0x133a0
movq %rax, -0x5a8(%rbp)
movq %rdx, -0x5a0(%rbp)
movq -0x5a8(%rbp), %rdi
movq -0x5a0(%rbp), %rsi
callq 0x127c0
jmp 0x20bef7
jmp 0x20bef9
leaq -0x5b8(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x5b8(%rbp), %rax
movq %rax, -0x558(%rbp)
movq -0x5b0(%rbp), %rax
movq %rax, -0x550(%rbp)
jmp 0x20c128
movl -0x528(%rbp), %edi
movq -0x520(%rbp), %rsi
callq 0x174a0
movq %rax, -0x5c8(%rbp)
movq %rdx, -0x5c0(%rbp)
movl -0x548(%rbp), %eax
movl %eax, -0x8c4(%rbp)
testl %eax, %eax
je 0x20bf73
jmp 0x20bf5f
movl -0x8c4(%rbp), %eax
subl $0x1, %eax
je 0x20c016
jmp 0x20c0d8
jmp 0x20bf75
movq -0x5c0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20bfe0
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x5c8(%rbp), %rax
cmpq $0x0, %rax
je 0x20bfe0
movq -0x5c8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20bfe0
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x5c8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20bfde
movq -0x5c8(%rbp), %rdi
movq -0x5c0(%rbp), %rsi
callq 0x127c0
jmp 0x20bfe0
jmp 0x20bfe2
leaq -0x5e8(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x5e8(%rbp), %rax
movq %rax, -0x5d8(%rbp)
movq -0x5e0(%rbp), %rax
movq %rax, -0x5d0(%rbp)
jmp 0x20c0f1
movl -0x548(%rbp), %edi
movq -0x540(%rbp), %rsi
callq 0x174a0
movq %rax, -0x5f8(%rbp)
movq %rdx, -0x5f0(%rbp)
movq -0x5c8(%rbp), %rax
movq %rax, -0x610(%rbp)
leaq 0x186745(%rip), %rax    # 0x392790
movq %rax, -0x608(%rbp)
movq -0x5f8(%rbp), %rdi
movq -0x5f0(%rbp), %rsi
movq -0x610(%rbp), %rdx
movq -0x608(%rbp), %rcx
callq 0xdab90
movq %rax, -0x600(%rbp)
movq -0x600(%rbp), %rax
movq %rax, -0x630(%rbp)
leaq 0x1864c1(%rip), %rax    # 0x392550
orq $0x1, %rax
movq %rax, -0x628(%rbp)
movq -0x630(%rbp), %rdi
movq -0x628(%rbp), %rsi
callq 0xca10
movl %eax, -0x620(%rbp)
movq %rdx, -0x618(%rbp)
movq -0x620(%rbp), %rax
movq %rax, -0x5d8(%rbp)
movq -0x618(%rbp), %rax
movq %rax, -0x5d0(%rbp)
jmp 0x20c0f1
leaq 0x147da2(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movq -0x5d8(%rbp), %rax
movq %rax, -0x558(%rbp)
movq -0x5d0(%rbp), %rax
movq %rax, -0x550(%rbp)
jmp 0x20c128
leaq 0x147d6b(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movl -0x500(%rbp), %edi
movq -0x4f8(%rbp), %rsi
movl -0x558(%rbp), %edx
movq -0x550(%rbp), %rcx
leaq -0x640(%rbp), %r8
callq 0xf8e10
andb $0x1, %al
movb %al, -0x641(%rbp)
movb -0x641(%rbp), %al
andb $0x1, %al
movb %al, -0x4ca(%rbp)
movb -0x641(%rbp), %al
andb $0x1, %al
movb %al, -0x4c9(%rbp)
movq -0x640(%rbp), %rax
movq %rax, -0x4c8(%rbp)
movq -0x638(%rbp), %rax
movq %rax, -0x4c0(%rbp)
movq -0x518(%rbp), %rax
movq %rax, -0x4b8(%rbp)
movq -0x510(%rbp), %rax
movq %rax, -0x4b0(%rbp)
movq -0x538(%rbp), %rax
movq %rax, -0x4a8(%rbp)
movq -0x530(%rbp), %rax
movq %rax, -0x4a0(%rbp)
jmp 0x20bd2b
movl -0x4c8(%rbp), %edi
movq -0x4c0(%rbp), %rsi
callq 0xcea0
movl %eax, -0x658(%rbp)
movq %rdx, -0x650(%rbp)
movl -0x4b8(%rbp), %edi
movq -0x4b0(%rbp), %rsi
callq 0x12780
movq %rax, -0x668(%rbp)
movq %rdx, -0x660(%rbp)
movq -0x660(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20c2fd
movl -0x4b8(%rbp), %edi
movq -0x4b0(%rbp), %rsi
callq 0x12780
movq %rax, -0x678(%rbp)
movq %rdx, -0x670(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x678(%rbp), %rax
cmpq $0x0, %rax
je 0x20c2fd
movl -0x4b8(%rbp), %edi
movq -0x4b0(%rbp), %rsi
callq 0x12780
movq %rax, -0x688(%rbp)
movq %rdx, -0x680(%rbp)
movq -0x688(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20c2fd
movl -0x4b8(%rbp), %edi
movq -0x4b0(%rbp), %rsi
callq 0x12780
movq %rax, -0x698(%rbp)
movq %rdx, -0x690(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x698(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20c2fb
movl -0x4b8(%rbp), %edi
movq -0x4b0(%rbp), %rsi
callq 0x12780
movq %rax, -0x6a8(%rbp)
movq %rdx, -0x6a0(%rbp)
movq -0x6a8(%rbp), %rdi
movq -0x6a0(%rbp), %rsi
callq 0x127c0
jmp 0x20c2fd
jmp 0x20c2ff
jmp 0x20c301
movl -0x4a8(%rbp), %edi
movq -0x4a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x6b8(%rbp)
movq %rdx, -0x6b0(%rbp)
movq -0x6b0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20c414
movl -0x4a8(%rbp), %edi
movq -0x4a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x6c8(%rbp)
movq %rdx, -0x6c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x6c8(%rbp), %rax
cmpq $0x0, %rax
je 0x20c414
movl -0x4a8(%rbp), %edi
movq -0x4a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x6d8(%rbp)
movq %rdx, -0x6d0(%rbp)
movq -0x6d8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20c414
movl -0x4a8(%rbp), %edi
movq -0x4a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x6e8(%rbp)
movq %rdx, -0x6e0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x6e8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20c412
movl -0x4a8(%rbp), %edi
movq -0x4a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x6f8(%rbp)
movq %rdx, -0x6f0(%rbp)
movq -0x6f8(%rbp), %rdi
movq -0x6f0(%rbp), %rsi
callq 0x127c0
jmp 0x20c414
jmp 0x20c416
movq -0x18(%rbp), %rdi
movq -0x20(%rbp), %rsi
movq -0x428(%rbp), %r8
movl -0x658(%rbp), %edx
movq -0x650(%rbp), %rcx
leaq -0x700(%rbp), %r9
callq 0x20ca20
movq -0x238(%rbp), %rax
movq 0x40(%rax), %rax
movq %rax, -0x708(%rbp)
movq -0x708(%rbp), %rax
movq %rax, -0x718(%rbp)
leaq 0x185fcb(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x710(%rbp)
movq -0x710(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20c525
movq -0x708(%rbp), %rax
movq %rax, -0x728(%rbp)
leaq 0x185f96(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x720(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x728(%rbp), %rax
cmpq $0x0, %rax
je 0x20c525
movq -0x708(%rbp), %rax
movq %rax, -0x738(%rbp)
leaq 0x185f5f(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x730(%rbp)
movq -0x738(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20c525
movq -0x708(%rbp), %rax
movq %rax, -0x748(%rbp)
leaq 0x185f2e(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x740(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x748(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20c527
jmp 0x20c529
movq -0x238(%rbp), %rax
movq %rax, -0x758(%rbp)
leaq 0x18632a(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x750(%rbp)
movq -0x750(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20c63c
movq -0x238(%rbp), %rax
movq %rax, -0x768(%rbp)
leaq 0x1862f5(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x760(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x768(%rbp), %rax
cmpq $0x0, %rax
je 0x20c63c
movq -0x238(%rbp), %rax
movq %rax, -0x778(%rbp)
leaq 0x1862ba(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x770(%rbp)
movq -0x778(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20c63c
movq -0x238(%rbp), %rax
movq %rax, -0x788(%rbp)
leaq 0x186289(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x780(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x788(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20c63a
movq -0x238(%rbp), %rax
movq %rax, -0x798(%rbp)
leaq 0x18624c(%rip), %rax    # 0x392868
orq $0x1, %rax
movq %rax, -0x790(%rbp)
movq -0x798(%rbp), %rdi
movq -0x790(%rbp), %rsi
callq 0x127c0
jmp 0x20c63c
jmp 0x20c63e
movq -0x418(%rbp), %rdi
movq -0x700(%rbp), %rsi
movq -0x708(%rbp), %rdx
leaq -0x7a0(%rbp), %rcx
leaq -0x7a8(%rbp), %r8
callq 0x20cad0
movq -0x7a8(%rbp), %rdi
leaq -0x7b0(%rbp), %rsi
leaq -0x7b8(%rbp), %rdx
leaq -0x7c8(%rbp), %rcx
leaq -0x7d0(%rbp), %r8
callq 0x20d010
movl -0x7c8(%rbp), %edi
movq -0x7c0(%rbp), %rsi
callq 0x12780
movq %rax, -0x7e0(%rbp)
movq %rdx, -0x7d8(%rbp)
movq -0x7d8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20c7a1
movl -0x7c8(%rbp), %edi
movq -0x7c0(%rbp), %rsi
callq 0x12780
movq %rax, -0x7f0(%rbp)
movq %rdx, -0x7e8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x7f0(%rbp), %rax
cmpq $0x0, %rax
je 0x20c7a1
movl -0x7c8(%rbp), %edi
movq -0x7c0(%rbp), %rsi
callq 0x12780
movq %rax, -0x800(%rbp)
movq %rdx, -0x7f8(%rbp)
movq -0x800(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20c7a1
movl -0x7c8(%rbp), %edi
movq -0x7c0(%rbp), %rsi
callq 0x12780
movq %rax, -0x810(%rbp)
movq %rdx, -0x808(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x810(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20c79f
movl -0x7c8(%rbp), %edi
movq -0x7c0(%rbp), %rsi
callq 0x12780
movq %rax, -0x820(%rbp)
movq %rdx, -0x818(%rbp)
movq -0x820(%rbp), %rdi
movq -0x818(%rbp), %rsi
callq 0x127c0
jmp 0x20c7a1
jmp 0x20c7a3
jmp 0x20c7a5
movq -0x7b0(%rbp), %rax
movq %rax, -0x830(%rbp)
leaq 0x185766(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x828(%rbp)
movq -0x828(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20c8b8
movq -0x7b0(%rbp), %rax
movq %rax, -0x840(%rbp)
leaq 0x185731(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x838(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x840(%rbp), %rax
cmpq $0x0, %rax
je 0x20c8b8
movq -0x7b0(%rbp), %rax
movq %rax, -0x850(%rbp)
leaq 0x1856f6(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x848(%rbp)
movq -0x850(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20c8b8
movq -0x7b0(%rbp), %rax
movq %rax, -0x860(%rbp)
leaq 0x1856c5(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x858(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x860(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x20c8b6
movq -0x7b0(%rbp), %rax
movq %rax, -0x870(%rbp)
leaq 0x185688(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x868(%rbp)
movq -0x870(%rbp), %rdi
movq -0x868(%rbp), %rsi
callq 0x127c0
jmp 0x20c8b8
jmp 0x20c8ba
movq -0x7d0(%rbp), %rax
movq %rax, -0x230(%rbp)
movq -0x7a0(%rbp), %rax
movq %rax, -0x228(%rbp)
jmp 0x20c9f9
jmp 0x20c8dd
cmpq $0x0, 0x118a0e3(%rip)   # 0x13969c8
jne 0x20c8ff
leaq 0x150286(%rip), %rdi    # 0x35cb74
movl $0x10, %esi
callq 0xb6c0
movq %rax, 0x118a0c9(%rip)   # 0x13969c8
jmp 0x20c901
movq 0x118a0c0(%rip), %rax   # 0x13969c8
movq %rax, -0x888(%rbp)
leaq 0x184842(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x880(%rbp)
movq -0x880(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x20c9d6
movq 0x118a08b(%rip), %rax   # 0x13969c8
movq %rax, -0x898(%rbp)
leaq 0x18480d(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x890(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x898(%rbp), %rax
cmpq $0x0, %rax
je 0x20c9d6
movq 0x118a054(%rip), %rax   # 0x13969c8
movq %rax, -0x8a8(%rbp)
leaq 0x1847d6(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x8a0(%rbp)
movq -0x8a8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x20c9d6
movq 0x118a023(%rip), %rax   # 0x13969c8
movq %rax, -0x8b8(%rbp)
leaq 0x1847a5(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x8b0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x8b8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x20c9d8
movq 0x1189fe9(%rip), %rax   # 0x13969c8
movq %rax, -0x878(%rbp)
movq -0xf8(%rbp), %rdi
movq -0x878(%rbp), %rsi
callq 0x44a80
movq -0x230(%rbp), %rcx
movq -0x30(%rbp), %rax
movq %rcx, (%rax)
movq -0x228(%rbp), %rcx
movq -0x28(%rbp), %rax
movq %rcx, (%rax)
addq $0x8d0, %rsp            # imm = 0x8D0
popq %rbp
retq
nop