// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_specializzer_specializzezewordzx
static uint64_t mw_mirth_specializzer_specializzezewordzx (struct mirth_mirth_zaMirth* in_zaMirth_1, struct std_list_Nest_1* in_SPKey_2, uint64_t in_Word_3, struct mirth_mirth_zaMirth* *out_zaMirth_4) {
	incref(MK_std_list_Nest_1(in_SPKey_2));
	struct mirth_mirth_zaMirth* v6;
	struct std_list_List_1 v7 = mw_mirth_word_Word_spzesynthed(in_zaMirth_1, in_Word_3, &v6);
	struct std_maybe_Maybe_1 v8 = { .tag=std_maybe_Maybe_1_None };
	bool v9 = true;
	struct mirth_mirth_zaMirth* r10 = v6;
	struct std_list_Nest_1* v11 = in_SPKey_2;
	struct std_maybe_Maybe_1 v12 = v8;
	struct std_list_List_1 v13 = v7;
	bool v14 = v9;
	bool v15 = v9;
	while (v15) {
		struct mirth_mirth_zaMirth* r16 = r10;
		struct std_list_Nest_1* v17 = v11;
		struct std_maybe_Maybe_1 v18 = v12;
		struct std_list_List_1 v19 = v13;
		bool v20 = v14;
		struct std_list_List_1 v21;
		struct std_maybe_Maybe_1 v22 = mw_std_list_List_1_uncons(v19, &v21);
		struct mirth_mirth_zaMirth* branch_zaMirth_23;
		struct std_list_Nest_1* branch_SPKey_24;
		struct std_maybe_Maybe_1 branch_Maybe_25;
		struct std_list_List_1 branch_List_26;
		bool branch_Bool_27;
		switch ((v22).tag) {
			case std_maybe_Maybe_1_Some: {
				VAL v28 = mtp_std_maybe_Maybe_1_Some(v22);
				incref(v28);
				incref(MK_std_list_Nest_1(v17));
				VAL v29 = V_std_map_KeyValuePair_2(v28)->mkey;
				incref(v29);
				decref(MK_std_map_KeyValuePair_2(V_std_map_KeyValuePair_2(v28)));
				struct mirth_mirth_zaMirth* v30;
				bool v31 = mw_mirth_specializzer_SPKey_similar(r16, v17, V_std_list_Nest_1(v29), &v30);
				struct mirth_mirth_zaMirth* branch_zaMirth_32;
				struct std_list_Nest_1* branch_SPKey_33;
				struct std_maybe_Maybe_1 branch_Maybe_34;
				if (v31) {
					struct std_maybe_Maybe_1 v35 = mtw_std_maybe_Maybe_1_Some(v28);
					branch_Maybe_34 = v35;
					branch_SPKey_33 = v17;
					branch_zaMirth_32 = v30;
				} else {
					decref(v28);
					struct std_maybe_Maybe_1 v36 = { .tag=std_maybe_Maybe_1_None };
					branch_Maybe_34 = v36;
					branch_SPKey_33 = v17;
					branch_zaMirth_32 = v30;
				}
				struct mirth_mirth_zaMirth* branch_zaMirth_37;
				struct std_list_Nest_1* branch_SPKey_38;
				struct std_maybe_Maybe_1 branch_Maybe_39;
				struct std_list_List_1 branch_List_40;
				switch ((branch_Maybe_34).tag) {
					case std_maybe_Maybe_1_None: {
						branch_List_40 = v21;
						branch_Maybe_39 = v18;
						branch_SPKey_38 = branch_SPKey_33;
						branch_zaMirth_37 = branch_zaMirth_32;
					} break;
					default: {
						decref(MK_std_list_List_1(v21));
						decref(MK_std_maybe_Maybe_1(v18));
						struct std_list_List_1 v41 = { .tag=std_list_List_1_Nil };
						branch_List_40 = v41;
						branch_Maybe_39 = branch_Maybe_34;
						branch_SPKey_38 = branch_SPKey_33;
						branch_zaMirth_37 = branch_zaMirth_32;
					} break;
				}
				bool v42 = true;
				branch_Bool_27 = v42;
				branch_List_26 = branch_List_40;
				branch_Maybe_25 = branch_Maybe_39;
				branch_SPKey_24 = branch_SPKey_38;
				branch_zaMirth_23 = branch_zaMirth_37;
			} break;
			case std_maybe_Maybe_1_None: {
				bool v43 = false;
				branch_Bool_27 = v43;
				branch_List_26 = v21;
				branch_Maybe_25 = v18;
				branch_SPKey_24 = v17;
				branch_zaMirth_23 = r16;
			} break;
			default: {
				do_panic(str_make("unexpected fallthrough in match\n", 32));
			}
		}
		v15 = branch_Bool_27;
		v14 = branch_Bool_27;
		v13 = branch_List_26;
		v12 = branch_Maybe_25;
		v11 = branch_SPKey_24;
		r10 = branch_zaMirth_23;
	}
	decref(MK_std_list_List_1(v13));
	decref(MK_std_list_Nest_1(v11));
	struct std_maybe_Maybe_1 v44 = mw_std_maybe_Maybe_1_map_1_sp18(v12);
	struct std_list_Nest_1* branch_SPKey_45;
	uint64_t branch_Word_46;
	uint64_t branch_Word_47;
	struct mirth_mirth_zaMirth* branch_zaMirth_48;
	switch ((v44).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v49 = mtp_std_maybe_Maybe_1_Some(v44);
			struct mirth_mirth_zaMirth* v50;
			bool v51 = mw_mirth_word_Word_preferzeinlinezy(r10, in_Word_3, &v50);
			incref(v49);
			struct mirth_mirth_zaMirth* v52;
			mw_mirth_word_Word_preferzeinlinezyzx(v50, v51, V_mirth_word_Word(v49), &v52);
			branch_zaMirth_48 = v52;
			branch_Word_47 = V_mirth_word_Word(v49);
			branch_Word_46 = in_Word_3;
			branch_SPKey_45 = in_SPKey_2;
		} break;
		case std_maybe_Maybe_1_None: {
			struct mirth_mirth_zaMirth* v53;
			uint64_t v54 = mw_mirth_word_Word_head(r10, in_Word_3, &v53);
			struct std_maybe_Maybe_1 v55 = { .tag=std_maybe_Maybe_1_None };
			struct mirth_mirth_zaMirth* v56;
			uint64_t v57 = mw_mirth_word_Word_body(v53, in_Word_3, &v56);
			struct mirth_mirth_zaMirth* v58;
			struct std_list_List_1 v59 = mw_mirth_word_Word_spzesynthed(v56, in_Word_3, &v58);
			INT v60 = mw_std_map_Map_2_len(v59);
			INT v61 = WRAP_I63(1LL);
			INT v62 = v60;
			INT v63 = v61;
			INT v64 = int_add(v62, v63);
			INT v65 = v64;
			STR* v66;
			STRLIT(v66, "", 0);
			STR* v67;
			STRLIT(v67, "sp", 2);
			STR* v68;
			mw_std_str_zaStr_pushzestrzx(v67, v66, &v68);
			INT v69 = v65;
			STR* v70 = int_to_str(v69);
			STR* v71;
			mw_std_str_zaStr_pushzestrzx(v70, v68, &v71);
			struct mirth_mirth_zaMirth* v72;
			uint64_t v73 = mw_mirth_name_Name_Name(v58, v71, &v72);
			INT v74 = WRAP_I63(0LL);
			struct mirth_mirth_zaMirth* v75;
			struct std_maybe_Maybe_1 v76 = mw_mirth_word_Word_doc(v72, in_Word_3, &v75);
			struct mirth_mirth_zaMirth* v77;
			uint64_t v78 = mw_mirth_word_Word_Newzx(v75, v54, v55, v57, v73, v74, v76, &v77);
			struct mirth_name_Namespace v79 = mtw_mirth_name_Namespace_Word(in_Word_3);
			struct mirth_mirth_zaMirth* v80;
			uint64_t v81 = mw_mirth_word_Word_name(v77, v78, &v80);
			INT v82 = WRAP_I63(0LL);
			struct mirth_name_QName* v83 = mw_mirth_name_QName_Mk(v79, v81, v82);
			struct mirth_mirth_PropLabel v84 = mtw_mirth_mirth_PropLabel_WordQName(v78);
			struct mirth_mirth_zaMirth* v85;
			struct mirth_mirth_Prop_1* v86 = mw_mirth_mirth_PropLabel_prop(v80, MK_mirth_name_QName(v83), v84, &v85);
			void* v87 = field_mut(&mfld_mirth_word_Word_ztqname, v78);
			mut_set(MK_mirth_mirth_Prop_1(v86), v87);
			incref(MK_std_list_Nest_1(in_SPKey_2));
			struct std_map_KeyValuePair_2* v88 = mtw_std_map_KeyValuePair_2_KeyValuePair(MK_std_list_Nest_1(in_SPKey_2), MK_mirth_word_Word(v78));
			struct mirth_mirth_zaMirth* v89;
			struct std_list_List_1 v90 = mw_mirth_word_Word_spzesynthed(v85, in_Word_3, &v89);
			struct std_list_List_1 v91 = mw_std_map_Map_2_insert(v88, v90);
			void* v92 = field_mut(&mfld_mirth_word_Word_ztspzesynthed, in_Word_3);
			mut_set(MK_std_list_List_1(v91), v92);
			struct mirth_mirth_PropLabel v93 = mtw_mirth_mirth_PropLabel_WordType(v78);
			struct mirth_mirth_LexicalState* v94 = v89->mlexicalzestate;
			incref(MK_mirth_mirth_LexicalState(v94));
			FNPTR v95 = &mb_mirth_mirth_PropLabel_prop_1_sp1_0;
			struct mirth_mirth_PropState_1 v96 = mtw_mirth_mirth_PropState_1_Delay(v94, MK_mirth_word_Word(v78), MKFNPTR(v95));
			struct mirth_mirth_Prop_1* v97 = mtw_mirth_mirth_Prop_1_Prop(v93, v96);
			void* v98 = field_mut(&mfld_mirth_word_Word_ztctxzetype, v78);
			mut_set(MK_mirth_mirth_Prop_1(v97), v98);
			bool v99 = true;
			struct mirth_mirth_zaMirth* v100;
			mw_mirth_word_Word_preferzeinlinezyzx(v89, v99, v78, &v100);
			incref(MK_std_list_Nest_1(in_SPKey_2));
			struct mirth_mirth_PropLabel v101 = mtw_mirth_mirth_PropLabel_WordArrow(v78);
			PTUP r102 = PTRMK(0,tup_new(3),0);
			((TUP*)PTRPTR(r102))->size = 3;
			((TUP*)PTRPTR(r102))->cells[2] = MK_mirth_word_Word(v78);
			((TUP*)PTRPTR(r102))->cells[1] = MK_mirth_word_Word(in_Word_3);
			((TUP*)PTRPTR(r102))->cells[0] = MK_std_list_Nest_1(in_SPKey_2);
			struct mirth_mirth_LexicalState* v103 = v100->mlexicalzestate;
			incref(MK_mirth_mirth_LexicalState(v103));
			FNPTR v104 = &mb_mirth_mirth_PropLabel_prop_1_sp2_0;
			struct mirth_mirth_PropState_1 v105 = mtw_mirth_mirth_PropState_1_Delay(v103, MKTUP(r102), MKFNPTR(v104));
			struct mirth_mirth_Prop_1* v106 = mtw_mirth_mirth_Prop_1_Prop(v101, v105);
			void* v107 = field_mut(&mfld_mirth_word_Word_ztarrow, v78);
			mut_set(MK_mirth_mirth_Prop_1(v106), v107);
			struct mirth_mirth_zaMirth* v108;
			struct mirth_type_ArrowType* v109 = mw_mirth_word_Word_type(v100, v78, &v108);
			decref(MK_mirth_type_ArrowType(v109));
			branch_zaMirth_48 = v108;
			branch_Word_47 = v78;
			branch_Word_46 = in_Word_3;
			branch_SPKey_45 = in_SPKey_2;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	decref(MK_std_list_Nest_1(branch_SPKey_45));
	*out_zaMirth_4 = branch_zaMirth_48;
	return branch_Word_47;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x990, %rsp            # imm = 0x990
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq %rcx, -0x20(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x30(%rbp)
leaq 0x199976(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x28(%rbp)
movq -0x28(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f863c
movq -0x10(%rbp), %rax
movq %rax, -0x40(%rbp)
leaq 0x199951(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x38(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x40(%rbp), %rax
cmpq $0x0, %rax
je 0x1f863c
movq -0x10(%rbp), %rax
movq %rax, -0x50(%rbp)
leaq 0x199926(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x48(%rbp)
movq -0x50(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f863c
movq -0x10(%rbp), %rax
movq %rax, -0x60(%rbp)
leaq 0x199901(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x58(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x60(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f863e
movq -0x8(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x68(%rbp), %rdx
callq 0x2032f0
movl %eax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
leaq -0x88(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movb $0x1, -0x89(%rbp)
movq -0x68(%rbp), %rax
movq %rax, -0x98(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x88(%rbp), %rax
movq %rax, -0xb0(%rbp)
movq -0x80(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x78(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0x70(%rbp), %rax
movq %rax, -0xb8(%rbp)
movb -0x89(%rbp), %al
andb $0x1, %al
movb %al, -0xc1(%rbp)
movb -0x89(%rbp), %al
andb $0x1, %al
movb %al, -0xc2(%rbp)
testb $0x1, -0xc2(%rbp)
je 0x1f8fee
movq -0x98(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq -0xa0(%rbp), %rax
movq %rax, -0xd8(%rbp)
movups -0xb0(%rbp), %xmm0
movaps %xmm0, -0xf0(%rbp)
movups -0xc0(%rbp), %xmm0
movaps %xmm0, -0x100(%rbp)
movb -0xc1(%rbp), %al
andb $0x1, %al
movb %al, -0x101(%rbp)
movl -0x100(%rbp), %edi
movq -0xf8(%rbp), %rsi
leaq -0x118(%rbp), %rdx
callq 0x2c490
movl %eax, -0x128(%rbp)
movq %rdx, -0x120(%rbp)
movl -0x128(%rbp), %eax
movl %eax, -0x964(%rbp)
testl %eax, %eax
je 0x1f8ef5
jmp 0x1f8760
movl -0x964(%rbp), %eax
subl $0x1, %eax
jne 0x1f8f60
jmp 0x1f8771
movl -0x128(%rbp), %edi
movq -0x120(%rbp), %rsi
callq 0x174a0
movq %rax, -0x170(%rbp)
movq %rdx, -0x168(%rbp)
movq -0x168(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f87e2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x170(%rbp), %rax
cmpq $0x0, %rax
je 0x1f87e2
movq -0x170(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f87e2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x170(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f87e4
jmp 0x1f87e6
movq -0xd8(%rbp), %rax
movq %rax, -0x180(%rbp)
leaq 0x199725(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x178(%rbp)
movq -0x178(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f88bb
movq -0xd8(%rbp), %rax
movq %rax, -0x190(%rbp)
leaq 0x1996f0(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x188(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x190(%rbp), %rax
cmpq $0x0, %rax
je 0x1f88bb
movq -0xd8(%rbp), %rax
movq %rax, -0x1a0(%rbp)
leaq 0x1996b9(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x198(%rbp)
movq -0x1a0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f88bb
movq -0xd8(%rbp), %rax
movq %rax, -0x1b0(%rbp)
leaq 0x199688(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x1a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1b0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f88bd
movq -0x170(%rbp), %rax
movq 0x8(%rax), %rcx
movq %rcx, -0x1c0(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f892b
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1c0(%rbp), %rax
cmpq $0x0, %rax
je 0x1f892b
movq -0x1c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f892b
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1c0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f892d
jmp 0x1f892f
movq -0x170(%rbp), %rax
movq %rax, -0x1d0(%rbp)
leaq 0x199c0c(%rip), %rax    # 0x392550
orq $0x1, %rax
movq %rax, -0x1c8(%rbp)
movq -0x1c8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f8a42
movq -0x170(%rbp), %rax
movq %rax, -0x1e0(%rbp)
leaq 0x199bd7(%rip), %rax    # 0x392550
orq $0x1, %rax
movq %rax, -0x1d8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1e0(%rbp), %rax
cmpq $0x0, %rax
je 0x1f8a42
movq -0x170(%rbp), %rax
movq %rax, -0x1f0(%rbp)
leaq 0x199b9c(%rip), %rax    # 0x392550
orq $0x1, %rax
movq %rax, -0x1e8(%rbp)
movq -0x1f0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f8a42
movq -0x170(%rbp), %rax
movq %rax, -0x200(%rbp)
leaq 0x199b6b(%rip), %rax    # 0x392550
orq $0x1, %rax
movq %rax, -0x1f8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x200(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1f8a40
movq -0x170(%rbp), %rax
movq %rax, -0x210(%rbp)
leaq 0x199b2e(%rip), %rax    # 0x392550
orq $0x1, %rax
movq %rax, -0x208(%rbp)
movq -0x210(%rbp), %rdi
movq -0x208(%rbp), %rsi
callq 0x127c0
jmp 0x1f8a42
jmp 0x1f8a44
movq -0xd0(%rbp), %rdi
movq -0xd8(%rbp), %rsi
movq -0x1c0(%rbp), %rdx
leaq -0x218(%rbp), %rcx
callq 0x2033d0
andb $0x1, %al
movb %al, -0x219(%rbp)
testb $0x1, -0x219(%rbp)
je 0x1f8ad3
movq -0x170(%rbp), %rdi
movq -0x168(%rbp), %rsi
callq 0xca10
movl %eax, -0x250(%rbp)
movq %rdx, -0x248(%rbp)
movq -0x250(%rbp), %rax
movq %rax, -0x240(%rbp)
movq -0x248(%rbp), %rax
movq %rax, -0x238(%rbp)
movq -0xd8(%rbp), %rax
movq %rax, -0x230(%rbp)
movq -0x218(%rbp), %rax
movq %rax, -0x228(%rbp)
jmp 0x1f8b8d
jmp 0x1f8ad5
movq -0x168(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f8b40
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x170(%rbp), %rax
cmpq $0x0, %rax
je 0x1f8b40
movq -0x170(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f8b40
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x170(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1f8b3e
movq -0x170(%rbp), %rdi
movq -0x168(%rbp), %rsi
callq 0x127c0
jmp 0x1f8b40
jmp 0x1f8b42
leaq -0x260(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x260(%rbp), %rax
movq %rax, -0x240(%rbp)
movq -0x258(%rbp), %rax
movq %rax, -0x238(%rbp)
movq -0xd8(%rbp), %rax
movq %rax, -0x230(%rbp)
movq -0x218(%rbp), %rax
movq %rax, -0x228(%rbp)
movl -0x240(%rbp), %eax
testl %eax, %eax
jne 0x1f8bf2
jmp 0x1f8b99
movq -0x118(%rbp), %rax
movq %rax, -0x290(%rbp)
movq -0x110(%rbp), %rax
movq %rax, -0x288(%rbp)
movq -0xf0(%rbp), %rax
movq %rax, -0x280(%rbp)
movq -0xe8(%rbp), %rax
movq %rax, -0x278(%rbp)
movq -0x230(%rbp), %rax
movq %rax, -0x270(%rbp)
movq -0x228(%rbp), %rax
movq %rax, -0x268(%rbp)
jmp 0x1f8e87
jmp 0x1f8bf4
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2a0(%rbp)
movq %rdx, -0x298(%rbp)
movq -0x298(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f8d07
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2b0(%rbp)
movq %rdx, -0x2a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x2b0(%rbp), %rax
cmpq $0x0, %rax
je 0x1f8d07
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2c0(%rbp)
movq %rdx, -0x2b8(%rbp)
movq -0x2c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f8d07
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2d0(%rbp)
movq %rdx, -0x2c8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x2d0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1f8d05
movl -0x118(%rbp), %edi
movq -0x110(%rbp), %rsi
callq 0x12780
movq %rax, -0x2e0(%rbp)
movq %rdx, -0x2d8(%rbp)
movq -0x2e0(%rbp), %rdi
movq -0x2d8(%rbp), %rsi
callq 0x127c0
jmp 0x1f8d07
jmp 0x1f8d09
jmp 0x1f8d0b
movl -0xf0(%rbp), %edi
movq -0xe8(%rbp), %rsi
callq 0x133a0
movq %rax, -0x2f0(%rbp)
movq %rdx, -0x2e8(%rbp)
movq -0x2e8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f8e1e
movl -0xf0(%rbp), %edi
movq -0xe8(%rbp), %rsi
callq 0x133a0
movq %rax, -0x300(%rbp)
movq %rdx, -0x2f8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x300(%rbp), %rax
cmpq $0x0, %rax
je 0x1f8e1e
movl -0xf0(%rbp), %edi
movq -0xe8(%rbp), %rsi
callq 0x133a0
movq %rax, -0x310(%rbp)
movq %rdx, -0x308(%rbp)
movq -0x310(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f8e1e
movl -0xf0(%rbp), %edi
movq -0xe8(%rbp), %rsi
callq 0x133a0
movq %rax, -0x320(%rbp)
movq %rdx, -0x318(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x320(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1f8e1c
movl -0xf0(%rbp), %edi
movq -0xe8(%rbp), %rsi
callq 0x133a0
movq %rax, -0x330(%rbp)
movq %rdx, -0x328(%rbp)
movq -0x330(%rbp), %rdi
movq -0x328(%rbp), %rsi
callq 0x127c0
jmp 0x1f8e1e
jmp 0x1f8e20
leaq -0x340(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x340(%rbp), %rax
movq %rax, -0x290(%rbp)
movq -0x338(%rbp), %rax
movq %rax, -0x288(%rbp)
movq -0x240(%rbp), %rax
movq %rax, -0x280(%rbp)
movq -0x238(%rbp), %rax
movq %rax, -0x278(%rbp)
movq -0x230(%rbp), %rax
movq %rax, -0x270(%rbp)
movq -0x228(%rbp), %rax
movq %rax, -0x268(%rbp)
movb $0x1, -0x341(%rbp)
movb -0x341(%rbp), %al
andb $0x1, %al
movb %al, -0x159(%rbp)
movq -0x290(%rbp), %rax
movq %rax, -0x158(%rbp)
movq -0x288(%rbp), %rax
movq %rax, -0x150(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x148(%rbp)
movq -0x278(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0x270(%rbp), %rax
movq %rax, -0x138(%rbp)
movq -0x268(%rbp), %rax
movq %rax, -0x130(%rbp)
jmp 0x1f8f79
movb $0x0, -0x342(%rbp)
movb -0x342(%rbp), %al
andb $0x1, %al
movb %al, -0x159(%rbp)
movq -0x118(%rbp), %rax
movq %rax, -0x158(%rbp)
movq -0x110(%rbp), %rax
movq %rax, -0x150(%rbp)
movq -0xf0(%rbp), %rax
movq %rax, -0x148(%rbp)
movq -0xe8(%rbp), %rax
movq %rax, -0x140(%rbp)
movq -0xd8(%rbp), %rax
movq %rax, -0x138(%rbp)
movq -0xd0(%rbp), %rax
movq %rax, -0x130(%rbp)
jmp 0x1f8f79
leaq 0x15af1a(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movb -0x159(%rbp), %al
andb $0x1, %al
movb %al, -0xc2(%rbp)
movb -0x159(%rbp), %al
andb $0x1, %al
movb %al, -0xc1(%rbp)
movq -0x158(%rbp), %rax
movq %rax, -0xc0(%rbp)
movq -0x150(%rbp), %rax
movq %rax, -0xb8(%rbp)
movq -0x148(%rbp), %rax
movq %rax, -0xb0(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0xa8(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0xa0(%rbp)
movq -0x130(%rbp), %rax
movq %rax, -0x98(%rbp)
jmp 0x1f86d1
jmp 0x1f8ff0
movl -0xc0(%rbp), %edi
movq -0xb8(%rbp), %rsi
callq 0x12780
movq %rax, -0x358(%rbp)
movq %rdx, -0x350(%rbp)
movq -0x350(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f9103
movl -0xc0(%rbp), %edi
movq -0xb8(%rbp), %rsi
callq 0x12780
movq %rax, -0x368(%rbp)
movq %rdx, -0x360(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x368(%rbp), %rax
cmpq $0x0, %rax
je 0x1f9103
movl -0xc0(%rbp), %edi
movq -0xb8(%rbp), %rsi
callq 0x12780
movq %rax, -0x378(%rbp)
movq %rdx, -0x370(%rbp)
movq -0x378(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f9103
movl -0xc0(%rbp), %edi
movq -0xb8(%rbp), %rsi
callq 0x12780
movq %rax, -0x388(%rbp)
movq %rdx, -0x380(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x388(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1f9101
movl -0xc0(%rbp), %edi
movq -0xb8(%rbp), %rsi
callq 0x12780
movq %rax, -0x398(%rbp)
movq %rdx, -0x390(%rbp)
movq -0x398(%rbp), %rdi
movq -0x390(%rbp), %rsi
callq 0x127c0
jmp 0x1f9103
jmp 0x1f9105
jmp 0x1f9107
movq -0xa0(%rbp), %rax
movq %rax, -0x3a8(%rbp)
leaq 0x198e04(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x3a0(%rbp)
movq -0x3a0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f921a
movq -0xa0(%rbp), %rax
movq %rax, -0x3b8(%rbp)
leaq 0x198dcf(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x3b0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3b8(%rbp), %rax
cmpq $0x0, %rax
je 0x1f921a
movq -0xa0(%rbp), %rax
movq %rax, -0x3c8(%rbp)
leaq 0x198d94(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x3c0(%rbp)
movq -0x3c8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f921a
movq -0xa0(%rbp), %rax
movq %rax, -0x3d8(%rbp)
leaq 0x198d63(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x3d0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x3d8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1f9218
movq -0xa0(%rbp), %rax
movq %rax, -0x3e8(%rbp)
leaq 0x198d26(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x3e0(%rbp)
movq -0x3e8(%rbp), %rdi
movq -0x3e0(%rbp), %rsi
callq 0x127c0
jmp 0x1f921a
jmp 0x1f921c
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0xdc890
movl %eax, -0x3f8(%rbp)
movq %rdx, -0x3f0(%rbp)
movl -0x3f8(%rbp), %eax
movl %eax, -0x968(%rbp)
testl %eax, %eax
je 0x1f9350
jmp 0x1f9251
movl -0x968(%rbp), %eax
subl $0x1, %eax
jne 0x1fa18c
jmp 0x1f9262
movl -0x3f8(%rbp), %edi
movq -0x3f0(%rbp), %rsi
callq 0x174a0
movq %rax, -0x428(%rbp)
movq %rdx, -0x420(%rbp)
movq -0x98(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x430(%rbp), %rdx
callq 0x15bfb0
andb $0x1, %al
movb %al, -0x431(%rbp)
movq -0x420(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f92f2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x428(%rbp), %rax
cmpq $0x0, %rax
je 0x1f92f2
movq -0x428(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f92f2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x428(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f92f4
movq -0x430(%rbp), %rdi
movb -0x431(%rbp), %al
movq -0x428(%rbp), %rdx
leaq -0x440(%rbp), %rcx
andb $0x1, %al
movzbl %al, %esi
callq 0xaaa00
movq -0x440(%rbp), %rax
movq %rax, -0x418(%rbp)
movq -0x428(%rbp), %rax
movq %rax, -0x410(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x408(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x400(%rbp)
jmp 0x1fa1a5
movq -0x98(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x448(%rbp), %rdx
callq 0x60a10
movq %rax, -0x450(%rbp)
leaq -0x460(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x448(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x468(%rbp), %rdx
callq 0xf1a00
movq %rax, -0x470(%rbp)
movq -0x468(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x478(%rbp), %rdx
callq 0x2032f0
movl %eax, -0x488(%rbp)
movq %rdx, -0x480(%rbp)
movl -0x488(%rbp), %edi
movq -0x480(%rbp), %rsi
callq 0x203440
movq %rax, -0x490(%rbp)
movq 0x175675(%rip), %rax    # 0x36ea58
movq %rax, -0x498(%rbp)
movq -0x490(%rbp), %rax
movq %rax, -0x4a0(%rbp)
movq -0x498(%rbp), %rax
movq %rax, -0x4a8(%rbp)
movq -0x4a0(%rbp), %rdi
movq -0x4a8(%rbp), %rsi
callq 0x1b780
movq %rax, -0x4b0(%rbp)
movq -0x4b0(%rbp), %rax
movq %rax, -0x4b8(%rbp)
cmpq $0x0, 0x119d562(%rip)   # 0x1396998
jne 0x1f944f
leaq 0x162b79(%rip), %rdi    # 0x35bfb8
xorl %eax, %eax
movl %eax, %esi
callq 0xb6c0
movq %rax, 0x119d549(%rip)   # 0x1396998
jmp 0x1f9451
movq 0x119d540(%rip), %rax   # 0x1396998
movq %rax, -0x4d0(%rbp)
leaq 0x197cf2(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x4c8(%rbp)
movq -0x4c8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f9526
movq 0x119d50b(%rip), %rax   # 0x1396998
movq %rax, -0x4e0(%rbp)
leaq 0x197cbd(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x4d8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4e0(%rbp), %rax
cmpq $0x0, %rax
je 0x1f9526
movq 0x119d4d4(%rip), %rax   # 0x1396998
movq %rax, -0x4f0(%rbp)
leaq 0x197c86(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x4e8(%rbp)
movq -0x4f0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f9526
movq 0x119d4a3(%rip), %rax   # 0x1396998
movq %rax, -0x500(%rbp)
leaq 0x197c55(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x4f8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x500(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f9528
movq 0x119d469(%rip), %rax   # 0x1396998
movq %rax, -0x4c0(%rbp)
jmp 0x1f9538
cmpq $0x0, 0x119d460(%rip)   # 0x13969a0
jne 0x1f955a
leaq 0x1635c2(%rip), %rdi    # 0x35cb0b
movl $0x2, %esi
callq 0xb6c0
movq %rax, 0x119d446(%rip)   # 0x13969a0
jmp 0x1f955c
movq 0x119d43d(%rip), %rax   # 0x13969a0
movq %rax, -0x518(%rbp)
leaq 0x197be7(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x510(%rbp)
movq -0x510(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f9631
movq 0x119d408(%rip), %rax   # 0x13969a0
movq %rax, -0x528(%rbp)
leaq 0x197bb2(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x520(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x528(%rbp), %rax
cmpq $0x0, %rax
je 0x1f9631
movq 0x119d3d1(%rip), %rax   # 0x13969a0
movq %rax, -0x538(%rbp)
leaq 0x197b7b(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x530(%rbp)
movq -0x538(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f9631
movq 0x119d3a0(%rip), %rax   # 0x13969a0
movq %rax, -0x548(%rbp)
leaq 0x197b4a(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x540(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x548(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f9633
movq 0x119d366(%rip), %rax   # 0x13969a0
movq %rax, -0x508(%rbp)
movq -0x508(%rbp), %rdi
movq -0x4c0(%rbp), %rsi
leaq -0x550(%rbp), %rdx
callq 0xb940
movq -0x4b8(%rbp), %rax
movq %rax, -0x558(%rbp)
movq -0x558(%rbp), %rdi
callq 0x211e0
movq %rax, -0x560(%rbp)
movq -0x560(%rbp), %rdi
movq -0x550(%rbp), %rsi
leaq -0x568(%rbp), %rdx
callq 0xb940
movq -0x478(%rbp), %rdi
movq -0x568(%rbp), %rsi
leaq -0x570(%rbp), %rdx
callq 0x3ed80
movq %rax, -0x578(%rbp)
movq 0x175392(%rip), %rax    # 0x36ea50
movq %rax, -0x580(%rbp)
movq -0x570(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x588(%rbp), %rdx
callq 0x203470
movl %eax, -0x598(%rbp)
movq %rdx, -0x590(%rbp)
movq -0x588(%rbp), %rdi
movq -0x450(%rbp), %rsi
movq -0x470(%rbp), %r8
movq -0x578(%rbp), %r9
movl -0x460(%rbp), %edx
movq -0x458(%rbp), %rcx
movq -0x580(%rbp), %r11
leaq -0x598(%rbp), %r10
leaq -0x5a0(%rbp), %rax
movq %r11, (%rsp)
movq (%r10), %r11
movq %r11, 0x8(%rsp)
movq 0x8(%r10), %r10
movq %r10, 0x10(%rsp)
movq %rax, 0x18(%rsp)
callq 0xaa8b0
movq %rax, -0x5a8(%rbp)
movq -0x18(%rbp), %rdi
callq 0x86f80
movl %eax, -0x5b8(%rbp)
movq %rdx, -0x5b0(%rbp)
movq -0x5a0(%rbp), %rdi
movq -0x5a8(%rbp), %rsi
leaq -0x5c0(%rbp), %rdx
callq 0x645a0
movq %rax, -0x5c8(%rbp)
movq 0x1752c5(%rip), %rax    # 0x36ea50
movq %rax, -0x5d0(%rbp)
movq -0x5c8(%rbp), %rdx
movl -0x5b8(%rbp), %edi
movq -0x5b0(%rbp), %rsi
movq -0x5d0(%rbp), %rcx
callq 0x470b0
movq %rax, -0x5d8(%rbp)
movq -0x5a8(%rbp), %rdi
callq 0xaa970
movl %eax, -0x5e8(%rbp)
movq %rdx, -0x5e0(%rbp)
movq -0x5c0(%rbp), %rdi
movq -0x5d8(%rbp), %rax
movq %rax, -0x608(%rbp)
leaq 0x197fe2(%rip), %rax    # 0x3917d0
orq $0x1, %rax
movq %rax, -0x600(%rbp)
movq -0x608(%rbp), %rsi
movq -0x600(%rbp), %rdx
movl -0x5e8(%rbp), %ecx
movq -0x5e0(%rbp), %r8
leaq -0x5f0(%rbp), %r9
callq 0x70840
movq %rax, -0x5f8(%rbp)
movq -0x5a8(%rbp), %rsi
leaq 0x119b4cb(%rip), %rdi   # 0x1394d00
callq 0x40d30
movq %rax, -0x610(%rbp)
movq -0x5f8(%rbp), %rax
movq %rax, -0x620(%rbp)
leaq 0x19800a(%rip), %rax    # 0x391860
orq $0x1, %rax
movq %rax, -0x618(%rbp)
movq -0x610(%rbp), %rdx
movq -0x620(%rbp), %rdi
movq -0x618(%rbp), %rsi
callq 0x431a0
movq -0x10(%rbp), %rax
movq %rax, -0x630(%rbp)
leaq 0x198693(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x628(%rbp)
movq -0x628(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f9944
movq -0x10(%rbp), %rax
movq %rax, -0x640(%rbp)
leaq 0x198661(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x638(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x640(%rbp), %rax
cmpq $0x0, %rax
je 0x1f9944
movq -0x10(%rbp), %rax
movq %rax, -0x650(%rbp)
leaq 0x19862d(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x648(%rbp)
movq -0x650(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f9944
movq -0x10(%rbp), %rax
movq %rax, -0x660(%rbp)
leaq 0x1985ff(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x658(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x660(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f9946
movq -0x10(%rbp), %rax
movq %rax, -0x678(%rbp)
leaq 0x1985c8(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x670(%rbp)
movq -0x5a8(%rbp), %rax
movq %rax, -0x688(%rbp)
leaq 0x198878(%rip), %rax    # 0x3921f0
movq %rax, -0x680(%rbp)
movq -0x678(%rbp), %rdi
movq -0x670(%rbp), %rsi
movq -0x688(%rbp), %rdx
movq -0x680(%rbp), %rcx
callq 0xdab90
movq %rax, -0x668(%rbp)
movq -0x5f0(%rbp), %rdi
movq -0x18(%rbp), %rsi
leaq -0x690(%rbp), %rdx
callq 0x2032f0
movl %eax, -0x6a0(%rbp)
movq %rdx, -0x698(%rbp)
movq -0x668(%rbp), %rdi
movl -0x6a0(%rbp), %esi
movq -0x698(%rbp), %rdx
callq 0xdac30
movl %eax, -0x6b0(%rbp)
movq %rdx, -0x6a8(%rbp)
movq -0x18(%rbp), %rsi
leaq 0x119cfac(%rip), %rdi   # 0x13969a8
callq 0x40d30
movq %rax, -0x6b8(%rbp)
movl -0x6b0(%rbp), %edi
movq -0x6a8(%rbp), %rsi
callq 0x12780
movq %rax, -0x6c8(%rbp)
movq %rdx, -0x6c0(%rbp)
movq -0x6b8(%rbp), %rdx
movq -0x6c8(%rbp), %rdi
movq -0x6c0(%rbp), %rsi
callq 0x431a0
movq -0x5a8(%rbp), %rdi
callq 0xaaa70
movl %eax, -0x6d8(%rbp)
movq %rdx, -0x6d0(%rbp)
movq -0x690(%rbp), %rax
movq 0x48(%rax), %rax
movq %rax, -0x6e0(%rbp)
movq -0x6e0(%rbp), %rax
movq %rax, -0x6f0(%rbp)
leaq 0x197e6e(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x6e8(%rbp)
movq -0x6e8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f9b42
movq -0x6e0(%rbp), %rax
movq %rax, -0x700(%rbp)
leaq 0x197e39(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x6f8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x700(%rbp), %rax
cmpq $0x0, %rax
je 0x1f9b42
movq -0x6e0(%rbp), %rax
movq %rax, -0x710(%rbp)
leaq 0x197e02(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x708(%rbp)
movq -0x710(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f9b42
movq -0x6e0(%rbp), %rax
movq %rax, -0x720(%rbp)
leaq 0x197dd1(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x718(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x720(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f9b44
leaq 0x9995(%rip), %rax      # 0x2034e0
movq %rax, -0x728(%rbp)
movq -0x6e0(%rbp), %rdi
movq -0x5a8(%rbp), %rax
movq %rax, -0x748(%rbp)
leaq 0x198682(%rip), %rax    # 0x3921f0
movq %rax, -0x740(%rbp)
movq -0x728(%rbp), %rax
movq %rax, -0x758(%rbp)
leaq 0x19765e(%rip), %rax    # 0x3911e8
movq %rax, -0x750(%rbp)
movq -0x748(%rbp), %rsi
movq -0x740(%rbp), %rdx
movq -0x758(%rbp), %rcx
movq -0x750(%rbp), %r8
callq 0x788b0
movl %eax, -0x738(%rbp)
movq %rdx, -0x730(%rbp)
movl -0x6d8(%rbp), %edi
movq -0x6d0(%rbp), %rsi
movl -0x738(%rbp), %edx
movq -0x730(%rbp), %rcx
callq 0x70ac0
movq %rax, -0x760(%rbp)
movq -0x5a8(%rbp), %rsi
leaq 0x119bbfd(%rip), %rdi   # 0x13957f0
callq 0x40d30
movq %rax, -0x768(%rbp)
movq -0x760(%rbp), %rax
movq %rax, -0x778(%rbp)
leaq 0x197c4c(%rip), %rax    # 0x391860
orq $0x1, %rax
movq %rax, -0x770(%rbp)
movq -0x768(%rbp), %rdx
movq -0x778(%rbp), %rdi
movq -0x770(%rbp), %rsi
callq 0x431a0
movb $0x1, -0x779(%rbp)
movq -0x690(%rbp), %rdi
movb -0x779(%rbp), %al
movq -0x5a8(%rbp), %rdx
leaq -0x788(%rbp), %rcx
andb $0x1, %al
movzbl %al, %esi
callq 0xaaa00
movq -0x10(%rbp), %rax
movq %rax, -0x798(%rbp)
leaq 0x1982a9(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x790(%rbp)
movq -0x790(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f9d2e
movq -0x10(%rbp), %rax
movq %rax, -0x7a8(%rbp)
leaq 0x198277(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x7a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x7a8(%rbp), %rax
cmpq $0x0, %rax
je 0x1f9d2e
movq -0x10(%rbp), %rax
movq %rax, -0x7b8(%rbp)
leaq 0x198243(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x7b0(%rbp)
movq -0x7b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f9d2e
movq -0x10(%rbp), %rax
movq %rax, -0x7c8(%rbp)
leaq 0x198215(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x7c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x7c8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f9d30
movq -0x5a8(%rbp), %rdi
callq 0xab080
movl %eax, -0x7d8(%rbp)
movq %rdx, -0x7d0(%rbp)
movl $0x3, %edi
callq 0x1a7d0
orq $0x0, %rax
orq $0x0, %rax
movq %rax, -0x7e0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x7e0(%rbp), %rax
movw $0x3, 0x6(%rax)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x7e0(%rbp), %rax
movq -0x5a8(%rbp), %rcx
movq %rcx, -0x7f0(%rbp)
leaq 0x198451(%rip), %rcx    # 0x3921f0
movq %rcx, -0x7e8(%rbp)
movq -0x7f0(%rbp), %rcx
movq %rcx, 0x28(%rax)
movq -0x7e8(%rbp), %rcx
movq %rcx, 0x30(%rax)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x7e0(%rbp), %rax
movq -0x18(%rbp), %rcx
movq %rcx, -0x800(%rbp)
leaq 0x198411(%rip), %rcx    # 0x3921f0
movq %rcx, -0x7f8(%rbp)
movq -0x800(%rbp), %rcx
movq %rcx, 0x18(%rax)
movq -0x7f8(%rbp), %rcx
movq %rcx, 0x20(%rax)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x7e0(%rbp), %rax
movq -0x10(%rbp), %rcx
movq %rcx, -0x810(%rbp)
leaq 0x198101(%rip), %rcx    # 0x391f20
orq $0x1, %rcx
movq %rcx, -0x808(%rbp)
movq -0x810(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x808(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x788(%rbp), %rax
movq 0x48(%rax), %rax
movq %rax, -0x818(%rbp)
movq -0x818(%rbp), %rax
movq %rax, -0x828(%rbp)
leaq 0x197a89(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x820(%rbp)
movq -0x820(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1f9f27
movq -0x818(%rbp), %rax
movq %rax, -0x838(%rbp)
leaq 0x197a54(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x830(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x838(%rbp), %rax
cmpq $0x0, %rax
je 0x1f9f27
movq -0x818(%rbp), %rax
movq %rax, -0x848(%rbp)
leaq 0x197a1d(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x840(%rbp)
movq -0x848(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1f9f27
movq -0x818(%rbp), %rax
movq %rax, -0x858(%rbp)
leaq 0x1979ec(%rip), %rax    # 0x3918f0
orq $0x1, %rax
movq %rax, -0x850(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x858(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1f9f29
leaq 0x9720(%rip), %rax      # 0x203650
movq %rax, -0x860(%rbp)
movq -0x818(%rbp), %rdi
movq -0x7e0(%rbp), %rax
movq %rax, -0x880(%rbp)
leaq 0x197445(%rip), %rax    # 0x391398
orq $0x1, %rax
movq %rax, -0x878(%rbp)
movq -0x860(%rbp), %rax
movq %rax, -0x890(%rbp)
leaq 0x197275(%rip), %rax    # 0x3911e8
movq %rax, -0x888(%rbp)
movq -0x880(%rbp), %rsi
movq -0x878(%rbp), %rdx
movq -0x890(%rbp), %rcx
movq -0x888(%rbp), %r8
callq 0x788b0
movl %eax, -0x870(%rbp)
movq %rdx, -0x868(%rbp)
movl -0x7d8(%rbp), %edi
movq -0x7d0(%rbp), %rsi
movl -0x870(%rbp), %edx
movq -0x868(%rbp), %rcx
callq 0x70ac0
movq %rax, -0x898(%rbp)
movq -0x5a8(%rbp), %rsi
leaq 0x119b834(%rip), %rdi   # 0x1395810
callq 0x40d30
movq %rax, -0x8a0(%rbp)
movq -0x898(%rbp), %rax
movq %rax, -0x8b0(%rbp)
leaq 0x197863(%rip), %rax    # 0x391860
orq $0x1, %rax
movq %rax, -0x8a8(%rbp)
movq -0x8a0(%rbp), %rdx
movq -0x8b0(%rbp), %rdi
movq -0x8a8(%rbp), %rsi
callq 0x431a0
movq -0x788(%rbp), %rdi
movq -0x5a8(%rbp), %rsi
leaq -0x8b8(%rbp), %rdx
callq 0xdf130
movq %rax, -0x8c0(%rbp)
movq -0x8c0(%rbp), %rax
movq %rax, -0x8d0(%rbp)
leaq 0x197bb0(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x8c8(%rbp)
movq -0x8c8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1fa156
movq -0x8c0(%rbp), %rax
movq %rax, -0x8e0(%rbp)
leaq 0x197b7b(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x8d8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x8e0(%rbp), %rax
cmpq $0x0, %rax
je 0x1fa156
movq -0x8c0(%rbp), %rax
movq %rax, -0x8f0(%rbp)
leaq 0x197b40(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x8e8(%rbp)
movq -0x8f0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1fa156
movq -0x8c0(%rbp), %rax
movq %rax, -0x900(%rbp)
leaq 0x197b0f(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x8f8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x900(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1fa154
movq -0x8c0(%rbp), %rax
movq %rax, -0x910(%rbp)
leaq 0x197ad2(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x908(%rbp)
movq -0x910(%rbp), %rdi
movq -0x908(%rbp), %rsi
callq 0x127c0
jmp 0x1fa156
jmp 0x1fa158
movq -0x8b8(%rbp), %rax
movq %rax, -0x418(%rbp)
movq -0x5a8(%rbp), %rax
movq %rax, -0x410(%rbp)
movq -0x18(%rbp), %rax
movq %rax, -0x408(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x400(%rbp)
jmp 0x1fa1a5
leaq 0x159cee(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
jmp 0x1fa1a7
movq -0x400(%rbp), %rax
movq %rax, -0x920(%rbp)
leaq 0x197d64(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x918(%rbp)
movq -0x918(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1fa2ba
movq -0x400(%rbp), %rax
movq %rax, -0x930(%rbp)
leaq 0x197d2f(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x928(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x930(%rbp), %rax
cmpq $0x0, %rax
je 0x1fa2ba
movq -0x400(%rbp), %rax
movq %rax, -0x940(%rbp)
leaq 0x197cf4(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x938(%rbp)
movq -0x940(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1fa2ba
movq -0x400(%rbp), %rax
movq %rax, -0x950(%rbp)
leaq 0x197cc3(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x948(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x950(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1fa2b8
movq -0x400(%rbp), %rax
movq %rax, -0x960(%rbp)
leaq 0x197c86(%rip), %rax    # 0x391f20
orq $0x1, %rax
movq %rax, -0x958(%rbp)
movq -0x960(%rbp), %rdi
movq -0x958(%rbp), %rsi
callq 0x127c0
jmp 0x1fa2ba
jmp 0x1fa2bc
movq -0x418(%rbp), %rcx
movq -0x20(%rbp), %rax
movq %rcx, (%rax)
movq -0x410(%rbp), %rax
addq $0x990, %rsp            # imm = 0x990
popq %rbp
retq
nopw (%rax,%rax)