// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mb_mirth_mirth_PropLabel_prop_1_sp13_0
static void mb_mirth_mirth_PropLabel_prop_1_sp13_0 (void) {
	PTUP v0 = value_tup(pop_value());
	struct mirth_mirth_zaMirth* r1 = V_mirth_mirth_zaMirth(pop_resource());
	VAL v2 = ((TUP*)PTRPTR(v0))->cells[0];
	VAL v3 = ((TUP*)PTRPTR(v0))->cells[1];
	tup_decref_outer(v0);
	struct mirth_mirth_zaMirth* v4;
	struct mirth_type_ArrowType* v5;
	uint64_t v6;
	struct mirth_arrow_Home v7;
	uint64_t v8;
	struct std_list_List_1 v9 = mw_mirth_elab_initialzectxzetypezebodyzehome(r1, V_mirth_word_Word(v3), &v4, &v5, &v6, &v7, &v8);
	struct mirth_type_StackType v10;
	struct mirth_type_StackType v11;
	mtp_mirth_type_ArrowType_ArrowType(v5, &v10, &v11);
	incref(MK_mirth_type_StackType(v10));
	struct std_list_List_1 v12 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Arrow* v13 = mtw_mirth_arrow_Arrow_Arrow(v7, v6, v6, v9, v10, v10, v12);
	incref(v2);
	struct mirth_mirth_zaMirth* v14;
	struct mirth_type_ArrowType* v15 = mw_mirth_data_Tag_type(v4, V_mirth_data_Tag(v2), &v14);
	struct mirth_type_StackType v16 = v15->mdom;
	incref(MK_mirth_type_StackType(v16));
	decref(MK_mirth_type_ArrowType(v15));
	incref(v2);
	struct mirth_mirth_zaMirth* v17;
	uint64_t v18 = mw_mirth_data_Tag_data(v14, V_mirth_data_Tag(v2), &v17);
	struct mirth_mirth_zaMirth* v19;
	struct std_maybe_Maybe_1 v20 = mw_mirth_data_Data_headzy(v17, v18, &v19);
	struct mirth_mirth_zaMirth* branch_zaMirth_21;
	VAL branch_zux1_22;
	VAL branch_zux2_23;
	switch ((v20).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v24 = mtp_std_maybe_Maybe_1_Some(v20);
			branch_zux2_23 = v24;
			branch_zux1_22 = MK_mirth_arrow_Arrow(v13);
			branch_zaMirth_21 = v19;
		} break;
		case std_maybe_Maybe_1_None: {
			STR* v25;
			STRLIT(v25, "Missing data token info", 23);
			mw_mirth_mirth_zaMirth_fatalzeerrorzx(v19, v25);
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	incref(branch_zux2_23);
	struct mirth_arrow_Arrow* v28;
	struct std_list_List_1 v29 = mw_mirth_elab_zaAB_abzectxzo(V_mirth_arrow_Arrow(branch_zux1_22), &v28);
	struct mirth_arrow_Arrow* v30;
	struct mirth_type_StackType v31 = mw_mirth_elab_zaAB_abzetypezo(v28, &v30);
	struct mirth_arrow_Arrow* v32;
	uint64_t v33 = mw_mirth_elab_zaAB_abzetokenzo(v30, &v32);
	struct mirth_arrow_Arrow* v34;
	struct mirth_arrow_Home v35 = mw_mirth_elab_zaAB_abzehomezo(v32, &v34);
	struct std_list_List_1 v36 = { .tag=std_list_List_1_Nil };
	struct mirth_match_zaMatch* v37;
	mtw_mirth_match_zaMatch_zaMatch(v35, v33, V_mirth_token_Token(branch_zux2_23), v29, v31, v16, v36, &v37);
	incref(branch_zux2_23);
	struct mirth_arrow_Home v38 = v37->mhome;
	incref(MK_mirth_arrow_Home(v38));
	incref(branch_zux2_23);
	struct std_list_List_1 v39 = v37->mctx;
	incref(MK_std_list_List_1(v39));
	incref(MK_std_list_List_1(v39));
	struct std_list_List_1 v40 = { .tag=std_list_List_1_Nil };
	struct mirth_type_StackType v41 = v37->mdom;
	incref(MK_mirth_type_StackType(v41));
	incref(MK_mirth_type_StackType(v41));
	struct std_list_List_1 v42 = { .tag=std_list_List_1_Nil };
	struct mirth_match_Pattern* v43 = mtw_mirth_match_Pattern_Pattern(v38, V_mirth_token_Token(branch_zux2_23), V_mirth_token_Token(branch_zux2_23), v39, v39, v40, v41, v41, v42);
	struct mirth_match_Pattern* v44;
	mw_mirth_match_Pattern_thaw(v43, &v44);
	incref(v2);
	struct mirth_mirth_zaMirth* v45;
	struct mirth_match_Pattern* v46;
	mw_mirth_match_zaPattern_tagzx(branch_zaMirth_21, v44, V_mirth_data_Tag(v2), &v45, &v46);
	struct mirth_match_Pattern* v47 = mw_mirth_match_zaPattern_freezze(v46);
	incref(MK_mirth_match_Pattern(v47));
	struct std_list_List_1 v48 = v47->minnerzectx;
	incref(MK_std_list_List_1(v48));
	decref(MK_mirth_match_Pattern(v47));
	incref(MK_mirth_match_Pattern(v47));
	struct mirth_type_StackType v49 = mw_mirth_match_Pattern_dom(v47);
	struct mirth_type_StackType v50 = v37->mcod;
	incref(MK_mirth_type_StackType(v50));
	struct mirth_type_ArrowType* v51 = mw_mirth_type_Tzezg(v49, v50);
	struct mirth_arrow_Home v52 = v37->mhome;
	incref(MK_mirth_arrow_Home(v52));
	struct mirth_type_StackType v53;
	struct mirth_type_StackType v54;
	mtp_mirth_type_ArrowType_ArrowType(v51, &v53, &v54);
	incref(branch_zux2_23);
	incref(MK_mirth_type_StackType(v53));
	struct std_list_List_1 v55 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Arrow* v56 = mtw_mirth_arrow_Arrow_Arrow(v52, V_mirth_token_Token(branch_zux2_23), V_mirth_token_Token(branch_zux2_23), v48, v53, v53, v55);
	struct mirth_mirth_zaMirth* v57;
	struct mirth_arrow_Arrow* v58;
	mw_mirth_elab_zaAB_abzeunifyzetypezx(v45, v56, v54, &v57, &v58);
	struct mirth_match_Case* v59 = mtw_mirth_match_Case_Case(v47, v58);
	struct mirth_mirth_zaMirth* v60;
	struct mirth_match_zaMatch* v61;
	mw_mirth_match_zaMatch_addzecase(v57, v37, v59, &v60, &v61);
	struct mirth_match_Match* v62 = mw_mirth_match_zaMatch_freezze(v61);
	struct mirth_arrow_Op v63 = mtw_mirth_arrow_Op_Match(v62);
	struct std_list_List_1 v64 = { .tag=std_list_List_1_Nil };
	struct mirth_mirth_zaMirth* v65;
	struct mirth_arrow_Arrow* v66;
	mw_mirth_elab_zaAB_abzeopzx(v60, v34, v64, v63, &v65, &v66);
	struct mirth_mirth_zaMirth* v67;
	struct mirth_arrow_Arrow* v68;
	mw_mirth_elab_zaAB_abzeunifyzetypezx(v65, v66, v11, &v67, &v68);
	struct mirth_mirth_zaMirth* v69;
	struct mirth_arrow_Arrow* v70 = mw_mirth_elab_finalizzezewordzearrow(v67, v68, v8, &v69);
	decref(v2);
	push_resource(MK_mirth_mirth_zaMirth(v69));
	push_value(MK_mirth_arrow_Arrow(v70));
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r14
pushq %rbx
subq $0x7e0, %rsp            # imm = 0x7E0
callq 0x138a0
movq %rax, -0x28(%rbp)
movq %rdx, -0x20(%rbp)
movq -0x28(%rbp), %rdi
movq -0x20(%rbp), %rsi
callq 0xb770
movq %rax, -0x18(%rbp)
callq 0x13920
movq %rax, -0x40(%rbp)
movq %rdx, -0x38(%rbp)
movq -0x40(%rbp), %rax
movq %rax, -0x30(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x18(%rbp), %rax
movq 0x8(%rax), %rcx
movq %rcx, -0x50(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x48(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x18(%rbp), %rax
movq 0x18(%rax), %rcx
movq %rcx, -0x60(%rbp)
movq 0x20(%rax), %rax
movq %rax, -0x58(%rbp)
movq -0x18(%rbp), %rdi
callq 0xb7e0
movq -0x30(%rbp), %rdi
movq -0x60(%rbp), %rsi
leaq -0x68(%rbp), %rdx
leaq -0x70(%rbp), %rcx
leaq -0x78(%rbp), %r8
leaq -0x88(%rbp), %r9
leaq -0x90(%rbp), %rax
movq %rax, (%rsp)
callq 0xdfd30
movl %eax, -0xa0(%rbp)
movq %rdx, -0x98(%rbp)
movq -0x70(%rbp), %rdi
leaq -0xb0(%rbp), %rsi
leaq -0xc0(%rbp), %rdx
callq 0xc1010
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x6f140
movq %rax, -0xd0(%rbp)
movq %rdx, -0xc8(%rbp)
movq -0xc8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a143a
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x6f140
movq %rax, -0xe0(%rbp)
movq %rdx, -0xd8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xe0(%rbp), %rax
cmpq $0x0, %rax
je 0x1a143a
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x6f140
movq %rax, -0xf0(%rbp)
movq %rdx, -0xe8(%rbp)
movq -0xf0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a143a
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x100(%rbp)
movq %rdx, -0xf8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x100(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a143c
leaq -0x110(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x78(%rbp), %rdx
movq -0x78(%rbp), %rcx
movl -0x88(%rbp), %edi
movq -0x80(%rbp), %rsi
movl -0xa0(%rbp), %r8d
movq -0x98(%rbp), %r9
leaq -0xb0(%rbp), %r10
leaq -0x110(%rbp), %rax
movq (%r10), %r11
movq %r11, (%rsp)
movq 0x8(%r10), %r11
movq %r11, 0x8(%rsp)
movq (%r10), %r11
movq %r11, 0x10(%rsp)
movq 0x8(%r10), %r10
movq %r10, 0x18(%rsp)
movq (%rax), %r10
movq %r10, 0x20(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
callq 0xdffa0
movq %rax, -0x118(%rbp)
movq -0x48(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1500
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1500
movq -0x50(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1500
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1502
movq -0x68(%rbp), %rdi
movq -0x50(%rbp), %rsi
leaq -0x120(%rbp), %rdx
callq 0x1043a0
movq %rax, -0x128(%rbp)
movq -0x128(%rbp), %rax
movq 0x8(%rax), %rcx
movq %rcx, -0x138(%rbp)
movq 0x10(%rax), %rax
movq %rax, -0x130(%rbp)
movl -0x138(%rbp), %edi
movq -0x130(%rbp), %rsi
callq 0x6f140
movq %rax, -0x148(%rbp)
movq %rdx, -0x140(%rbp)
movq -0x140(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a160f
movl -0x138(%rbp), %edi
movq -0x130(%rbp), %rsi
callq 0x6f140
movq %rax, -0x158(%rbp)
movq %rdx, -0x150(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x158(%rbp), %rax
cmpq $0x0, %rax
je 0x1a160f
movl -0x138(%rbp), %edi
movq -0x130(%rbp), %rsi
callq 0x6f140
movq %rax, -0x168(%rbp)
movq %rdx, -0x160(%rbp)
movq -0x168(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a160f
movl -0x138(%rbp), %edi
movq -0x130(%rbp), %rsi
callq 0x6f140
movq %rax, -0x178(%rbp)
movq %rdx, -0x170(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x178(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1611
jmp 0x1a1613
movq -0x128(%rbp), %rax
movq %rax, -0x188(%rbp)
leaq 0x1f05e0(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x180(%rbp)
movq -0x180(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1726
movq -0x128(%rbp), %rax
movq %rax, -0x198(%rbp)
leaq 0x1f05ab(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x190(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x198(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1726
movq -0x128(%rbp), %rax
movq %rax, -0x1a8(%rbp)
leaq 0x1f0570(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x1a0(%rbp)
movq -0x1a8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1726
movq -0x128(%rbp), %rax
movq %rax, -0x1b8(%rbp)
leaq 0x1f053f(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x1b0(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x1b8(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1a1724
movq -0x128(%rbp), %rax
movq %rax, -0x1c8(%rbp)
leaq 0x1f0502(%rip), %rax    # 0x391c08
orq $0x1, %rax
movq %rax, -0x1c0(%rbp)
movq -0x1c8(%rbp), %rdi
movq -0x1c0(%rbp), %rsi
callq 0x127c0
jmp 0x1a1726
jmp 0x1a1728
jmp 0x1a172a
movq -0x48(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a176f
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
cmpq $0x0, %rax
je 0x1a176f
movq -0x50(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a176f
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1771
movq -0x120(%rbp), %rdi
movq -0x50(%rbp), %rsi
leaq -0x1d0(%rbp), %rdx
callq 0x57890
movq %rax, -0x1d8(%rbp)
movq -0x1d0(%rbp), %rdi
movq -0x1d8(%rbp), %rsi
leaq -0x1e0(%rbp), %rdx
callq 0x60390
movl %eax, -0x1f0(%rbp)
movq %rdx, -0x1e8(%rbp)
movl -0x1f0(%rbp), %eax
movl %eax, -0x79c(%rbp)
testl %eax, %eax
je 0x1a1868
jmp 0x1a17cc
movl -0x79c(%rbp), %eax
subl $0x1, %eax
jne 0x1a1988
jmp 0x1a17dd
movl -0x1f0(%rbp), %edi
movq -0x1e8(%rbp), %rsi
callq 0x174a0
movq %rax, -0x228(%rbp)
movq %rdx, -0x220(%rbp)
movq -0x228(%rbp), %rax
movq %rax, -0x218(%rbp)
movq -0x220(%rbp), %rax
movq %rax, -0x210(%rbp)
movq -0x118(%rbp), %rax
movq %rax, -0x238(%rbp)
leaq 0x1f0c02(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x230(%rbp)
movq -0x238(%rbp), %rax
movq %rax, -0x208(%rbp)
movq -0x230(%rbp), %rax
movq %rax, -0x200(%rbp)
movq -0x1e0(%rbp), %rax
movq %rax, -0x1f8(%rbp)
jmp 0x1a19a1
jmp 0x1a186a
cmpq $0x0, 0x11f4b9e(%rip)   # 0x1396410
jne 0x1a188c
leaq 0x1b9e73(%rip), %rdi    # 0x35b6ee
movl $0x17, %esi
callq 0xb6c0
movq %rax, 0x11f4b84(%rip)   # 0x1396410
jmp 0x1a188e
movq 0x11f4b7b(%rip), %rax   # 0x1396410
movq %rax, -0x250(%rbp)
leaq 0x1ef8b5(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x248(%rbp)
movq -0x248(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1963
movq 0x11f4b46(%rip), %rax   # 0x1396410
movq %rax, -0x260(%rbp)
leaq 0x1ef880(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x258(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x260(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1963
movq 0x11f4b0f(%rip), %rax   # 0x1396410
movq %rax, -0x270(%rbp)
leaq 0x1ef849(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x268(%rbp)
movq -0x270(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1963
movq 0x11f4ade(%rip), %rax   # 0x1396410
movq %rax, -0x280(%rbp)
leaq 0x1ef818(%rip), %rax    # 0x391158
orq $0x1, %rax
movq %rax, -0x278(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x280(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1965
movq 0x11f4aa4(%rip), %rax   # 0x1396410
movq %rax, -0x240(%rbp)
movq -0x1e0(%rbp), %rdi
movq -0x240(%rbp), %rsi
callq 0x44a80
jmp 0x1a19a1
leaq 0x1b24f2(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
jmp 0x1a19a3
movq -0x210(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a19f4
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
cmpq $0x0, %rax
je 0x1a19f4
movq -0x218(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a19f4
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a19f6
movq -0x208(%rbp), %rdi
leaq -0x288(%rbp), %rsi
callq 0xe0d50
movl %eax, -0x298(%rbp)
movq %rdx, -0x290(%rbp)
movq -0x288(%rbp), %rdi
leaq -0x2a0(%rbp), %rsi
callq 0xe0ff0
movl %eax, -0x2b0(%rbp)
movq %rdx, -0x2a8(%rbp)
movq -0x2a0(%rbp), %rdi
leaq -0x2b8(%rbp), %rsi
callq 0xe0b80
movq %rax, -0x2c0(%rbp)
movq -0x2b8(%rbp), %rdi
leaq -0x2c8(%rbp), %rsi
callq 0xe1930
movl %eax, -0x2d8(%rbp)
movq %rdx, -0x2d0(%rbp)
leaq -0x2e8(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x2c0(%rbp), %rdx
movq -0x218(%rbp), %rcx
movl -0x2d8(%rbp), %edi
movq -0x2d0(%rbp), %rsi
movl -0x298(%rbp), %r8d
movq -0x290(%rbp), %r9
leaq -0x2b0(%rbp), %rbx
leaq -0x138(%rbp), %r11
leaq -0x2e8(%rbp), %r10
leaq -0x2f0(%rbp), %rax
movq (%rbx), %r14
movq %r14, (%rsp)
movq 0x8(%rbx), %rbx
movq %rbx, 0x8(%rsp)
movq (%r11), %rbx
movq %rbx, 0x10(%rsp)
movq 0x8(%r11), %r11
movq %r11, 0x18(%rsp)
movq (%r10), %r11
movq %r11, 0x20(%rsp)
movq 0x8(%r10), %r10
movq %r10, 0x28(%rsp)
movq %rax, 0x30(%rsp)
callq 0xf4910
movq -0x210(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1b55
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1b55
movq -0x218(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1b55
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1b57
movq -0x2f0(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x300(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x2f8(%rbp)
movl -0x300(%rbp), %edi
movq -0x2f8(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x310(%rbp)
movq %rdx, -0x308(%rbp)
movq -0x308(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1c48
movl -0x300(%rbp), %edi
movq -0x2f8(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x320(%rbp)
movq %rdx, -0x318(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x320(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1c48
movl -0x300(%rbp), %edi
movq -0x2f8(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x330(%rbp)
movq %rdx, -0x328(%rbp)
movq -0x330(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1c48
movl -0x300(%rbp), %edi
movq -0x2f8(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x340(%rbp)
movq %rdx, -0x338(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x340(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1c4a
jmp 0x1a1c4c
movq -0x210(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1c9d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1c9d
movq -0x218(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1c9d
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1c9f
movq -0x2f0(%rbp), %rax
movq 0x20(%rax), %rcx
movq %rcx, -0x350(%rbp)
movq 0x28(%rax), %rax
movq %rax, -0x348(%rbp)
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x360(%rbp)
movq %rdx, -0x358(%rbp)
movq -0x358(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1d91
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x370(%rbp)
movq %rdx, -0x368(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x370(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1d91
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x380(%rbp)
movq %rdx, -0x378(%rbp)
movq -0x380(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1d91
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x390(%rbp)
movq %rdx, -0x388(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x390(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1d93
jmp 0x1a1d95
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x3a0(%rbp)
movq %rdx, -0x398(%rbp)
movq -0x398(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1e6a
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x3b0(%rbp)
movq %rdx, -0x3a8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3b0(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1e6a
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x3c0(%rbp)
movq %rdx, -0x3b8(%rbp)
movq -0x3c0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1e6a
movl -0x350(%rbp), %edi
movq -0x348(%rbp), %rsi
callq 0x12780
movq %rax, -0x3d0(%rbp)
movq %rdx, -0x3c8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3d0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1e6c
leaq -0x3e0(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x2f0(%rbp), %rax
movq 0x30(%rax), %rcx
movq %rcx, -0x3f0(%rbp)
movq 0x38(%rax), %rax
movq %rax, -0x3e8(%rbp)
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x400(%rbp)
movq %rdx, -0x3f8(%rbp)
movq -0x3f8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a1f71
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x410(%rbp)
movq %rdx, -0x408(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x410(%rbp), %rax
cmpq $0x0, %rax
je 0x1a1f71
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x420(%rbp)
movq %rdx, -0x418(%rbp)
movq -0x420(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a1f71
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x430(%rbp)
movq %rdx, -0x428(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x430(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a1f73
jmp 0x1a1f75
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x440(%rbp)
movq %rdx, -0x438(%rbp)
movq -0x438(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a204a
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x450(%rbp)
movq %rdx, -0x448(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x450(%rbp), %rax
cmpq $0x0, %rax
je 0x1a204a
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x460(%rbp)
movq %rdx, -0x458(%rbp)
movq -0x460(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a204a
movl -0x3f0(%rbp), %edi
movq -0x3e8(%rbp), %rsi
callq 0x6f140
movq %rax, -0x470(%rbp)
movq %rdx, -0x468(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x470(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a204c
leaq -0x480(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x218(%rbp), %rdx
movq -0x218(%rbp), %rcx
movl -0x300(%rbp), %edi
movq -0x2f8(%rbp), %rsi
movl -0x350(%rbp), %r8d
movq -0x348(%rbp), %r9
leaq -0x350(%rbp), %rbx
leaq -0x3e0(%rbp), %r11
leaq -0x3f0(%rbp), %r10
leaq -0x480(%rbp), %rax
movq (%rbx), %r14
movq %r14, (%rsp)
movq 0x8(%rbx), %rbx
movq %rbx, 0x8(%rsp)
movq (%r11), %rbx
movq %rbx, 0x10(%rsp)
movq 0x8(%r11), %r11
movq %r11, 0x18(%rsp)
movq (%r10), %r11
movq %r11, 0x20(%rsp)
movq 0x8(%r10), %r11
movq %r11, 0x28(%rsp)
movq (%r10), %r11
movq %r11, 0x30(%rsp)
movq 0x8(%r10), %r10
movq %r10, 0x38(%rsp)
movq (%rax), %r10
movq %r10, 0x40(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x48(%rsp)
callq 0xf7840
movq %rax, -0x488(%rbp)
movq -0x488(%rbp), %rdi
leaq -0x490(%rbp), %rsi
callq 0xf79a0
movq -0x48(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a215c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
cmpq $0x0, %rax
je 0x1a215c
movq -0x50(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a215c
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a215e
movq -0x1f8(%rbp), %rdi
movq -0x490(%rbp), %rsi
movq -0x50(%rbp), %rdx
leaq -0x498(%rbp), %rcx
leaq -0x4a0(%rbp), %r8
callq 0xff3a0
movq -0x4a0(%rbp), %rdi
callq 0xf7cf0
movq %rax, -0x4a8(%rbp)
movq -0x4a8(%rbp), %rax
movq %rax, -0x4b8(%rbp)
leaq 0x1f047d(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x4b0(%rbp)
movq -0x4b0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a226b
movq -0x4a8(%rbp), %rax
movq %rax, -0x4c8(%rbp)
leaq 0x1f0448(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x4c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4c8(%rbp), %rax
cmpq $0x0, %rax
je 0x1a226b
movq -0x4a8(%rbp), %rax
movq %rax, -0x4d8(%rbp)
leaq 0x1f0411(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x4d0(%rbp)
movq -0x4d8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a226b
movq -0x4a8(%rbp), %rax
movq %rax, -0x4e8(%rbp)
leaq 0x1f03e0(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x4e0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4e8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a226d
movq -0x4a8(%rbp), %rax
movq 0x38(%rax), %rcx
movq %rcx, -0x4f8(%rbp)
movq 0x40(%rax), %rax
movq %rax, -0x4f0(%rbp)
movl -0x4f8(%rbp), %edi
movq -0x4f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x508(%rbp)
movq %rdx, -0x500(%rbp)
movq -0x500(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a235f
movl -0x4f8(%rbp), %edi
movq -0x4f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x518(%rbp)
movq %rdx, -0x510(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x518(%rbp), %rax
cmpq $0x0, %rax
je 0x1a235f
movl -0x4f8(%rbp), %edi
movq -0x4f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x528(%rbp)
movq %rdx, -0x520(%rbp)
movq -0x528(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a235f
movl -0x4f8(%rbp), %edi
movq -0x4f0(%rbp), %rsi
callq 0x12780
movq %rax, -0x538(%rbp)
movq %rdx, -0x530(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x538(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a2361
jmp 0x1a2363
movq -0x4a8(%rbp), %rax
movq %rax, -0x548(%rbp)
leaq 0x1f02b0(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x540(%rbp)
movq -0x540(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a2476
movq -0x4a8(%rbp), %rax
movq %rax, -0x558(%rbp)
leaq 0x1f027b(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x550(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x558(%rbp), %rax
cmpq $0x0, %rax
je 0x1a2476
movq -0x4a8(%rbp), %rax
movq %rax, -0x568(%rbp)
leaq 0x1f0240(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x560(%rbp)
movq -0x568(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a2476
movq -0x4a8(%rbp), %rax
movq %rax, -0x578(%rbp)
leaq 0x1f020f(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x570(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x578(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1a2474
movq -0x4a8(%rbp), %rax
movq %rax, -0x588(%rbp)
leaq 0x1f01d2(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x580(%rbp)
movq -0x588(%rbp), %rdi
movq -0x580(%rbp), %rsi
callq 0x127c0
jmp 0x1a2476
jmp 0x1a2478
jmp 0x1a247a
movq -0x4a8(%rbp), %rax
movq %rax, -0x598(%rbp)
leaq 0x1f0199(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x590(%rbp)
movq -0x590(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a254f
movq -0x4a8(%rbp), %rax
movq %rax, -0x5a8(%rbp)
leaq 0x1f0164(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x5a0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x5a8(%rbp), %rax
cmpq $0x0, %rax
je 0x1a254f
movq -0x4a8(%rbp), %rax
movq %rax, -0x5b8(%rbp)
leaq 0x1f012d(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x5b0(%rbp)
movq -0x5b8(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a254f
movq -0x4a8(%rbp), %rax
movq %rax, -0x5c8(%rbp)
leaq 0x1f00fc(%rip), %rax    # 0x392628
orq $0x1, %rax
movq %rax, -0x5c0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x5c8(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a2551
movq -0x4a8(%rbp), %rdi
callq 0xf7d00
movl %eax, -0x5d8(%rbp)
movq %rdx, -0x5d0(%rbp)
movq -0x2f0(%rbp), %rax
movq 0x40(%rax), %rcx
movq %rcx, -0x5e8(%rbp)
movq 0x48(%rax), %rax
movq %rax, -0x5e0(%rbp)
movl -0x5e8(%rbp), %edi
movq -0x5e0(%rbp), %rsi
callq 0x6f140
movq %rax, -0x5f8(%rbp)
movq %rdx, -0x5f0(%rbp)
movq -0x5f0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a265c
movl -0x5e8(%rbp), %edi
movq -0x5e0(%rbp), %rsi
callq 0x6f140
movq %rax, -0x608(%rbp)
movq %rdx, -0x600(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x608(%rbp), %rax
cmpq $0x0, %rax
je 0x1a265c
movl -0x5e8(%rbp), %edi
movq -0x5e0(%rbp), %rsi
callq 0x6f140
movq %rax, -0x618(%rbp)
movq %rdx, -0x610(%rbp)
movq -0x618(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a265c
movl -0x5e8(%rbp), %edi
movq -0x5e0(%rbp), %rsi
callq 0x6f140
movq %rax, -0x628(%rbp)
movq %rdx, -0x620(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x628(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a265e
movl -0x5d8(%rbp), %edi
movq -0x5d0(%rbp), %rsi
movl -0x5e8(%rbp), %edx
movq -0x5e0(%rbp), %rcx
callq 0x735b0
movq %rax, -0x630(%rbp)
movq -0x2f0(%rbp), %rax
movq (%rax), %rcx
movq %rcx, -0x640(%rbp)
movq 0x8(%rax), %rax
movq %rax, -0x638(%rbp)
movl -0x640(%rbp), %edi
movq -0x638(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x650(%rbp)
movq %rdx, -0x648(%rbp)
movq -0x648(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a2775
movl -0x640(%rbp), %edi
movq -0x638(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x660(%rbp)
movq %rdx, -0x658(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x660(%rbp), %rax
cmpq $0x0, %rax
je 0x1a2775
movl -0x640(%rbp), %edi
movq -0x638(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x670(%rbp)
movq %rdx, -0x668(%rbp)
movq -0x670(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a2775
movl -0x640(%rbp), %edi
movq -0x638(%rbp), %rsi
callq 0xce0b0
movq %rax, -0x680(%rbp)
movq %rdx, -0x678(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x680(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a2777
movq -0x630(%rbp), %rdi
leaq -0x690(%rbp), %rsi
leaq -0x6a0(%rbp), %rdx
callq 0xc1010
movq -0x210(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a27e2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
cmpq $0x0, %rax
je 0x1a27e2
movq -0x218(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a27e2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x218(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a27e4
jmp 0x1a27e6
movl -0x690(%rbp), %edi
movq -0x688(%rbp), %rsi
callq 0x6f140
movq %rax, -0x6b0(%rbp)
movq %rdx, -0x6a8(%rbp)
movq -0x6a8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a28bb
movl -0x690(%rbp), %edi
movq -0x688(%rbp), %rsi
callq 0x6f140
movq %rax, -0x6c0(%rbp)
movq %rdx, -0x6b8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x6c0(%rbp), %rax
cmpq $0x0, %rax
je 0x1a28bb
movl -0x690(%rbp), %edi
movq -0x688(%rbp), %rsi
callq 0x6f140
movq %rax, -0x6d0(%rbp)
movq %rdx, -0x6c8(%rbp)
movq -0x6d0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a28bb
movl -0x690(%rbp), %edi
movq -0x688(%rbp), %rsi
callq 0x6f140
movq %rax, -0x6e0(%rbp)
movq %rdx, -0x6d8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x6e0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x1a28bd
leaq -0x6f0(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x218(%rbp), %rdx
movq -0x218(%rbp), %rcx
movl -0x640(%rbp), %edi
movq -0x638(%rbp), %rsi
movl -0x4f8(%rbp), %r8d
movq -0x4f0(%rbp), %r9
leaq -0x690(%rbp), %r10
leaq -0x6f0(%rbp), %rax
movq (%r10), %r11
movq %r11, (%rsp)
movq 0x8(%r10), %r11
movq %r11, 0x8(%rsp)
movq (%r10), %r11
movq %r11, 0x10(%rsp)
movq 0x8(%r10), %r10
movq %r10, 0x18(%rsp)
movq (%rax), %r10
movq %r10, 0x20(%rsp)
movq 0x8(%rax), %rax
movq %rax, 0x28(%rsp)
callq 0xdffa0
movq %rax, -0x6f8(%rbp)
movq -0x498(%rbp), %rdi
movq -0x6f8(%rbp), %rsi
movl -0x6a0(%rbp), %edx
movq -0x698(%rbp), %rcx
leaq -0x700(%rbp), %r8
leaq -0x708(%rbp), %r9
callq 0xe1bd0
movq -0x4a8(%rbp), %rdi
movq -0x708(%rbp), %rsi
callq 0xf84e0
movq %rax, -0x710(%rbp)
movq -0x700(%rbp), %rdi
movq -0x2f0(%rbp), %rsi
movq -0x710(%rbp), %rdx
leaq -0x718(%rbp), %rcx
leaq -0x720(%rbp), %r8
callq 0xf8570
movq -0x720(%rbp), %rdi
callq 0xf50b0
movq %rax, -0x728(%rbp)
movq -0x728(%rbp), %rdi
callq 0xf5160
movl %eax, -0x738(%rbp)
movq %rdx, -0x730(%rbp)
leaq -0x748(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x718(%rbp), %rdi
movq -0x2c8(%rbp), %rsi
movl -0x748(%rbp), %edx
movq -0x740(%rbp), %rcx
movl -0x738(%rbp), %r8d
movq -0x730(%rbp), %r9
leaq -0x750(%rbp), %r10
leaq -0x758(%rbp), %rax
movq %r10, (%rsp)
movq %rax, 0x8(%rsp)
callq 0xe1ee0
movq -0x750(%rbp), %rdi
movq -0x758(%rbp), %rsi
movl -0xc0(%rbp), %edx
movq -0xb8(%rbp), %rcx
leaq -0x760(%rbp), %r8
leaq -0x768(%rbp), %r9
callq 0xe1bd0
movq -0x760(%rbp), %rdi
movq -0x768(%rbp), %rsi
movq -0x90(%rbp), %rdx
leaq -0x770(%rbp), %rcx
callq 0xefb90
movq %rax, -0x778(%rbp)
movq -0x48(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1a2ae8
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rax
cmpq $0x0, %rax
je 0x1a2ae8
movq -0x50(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1a2ae8
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x50(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1a2ae6
movq -0x50(%rbp), %rdi
movq -0x48(%rbp), %rsi
callq 0x127c0
jmp 0x1a2ae8
jmp 0x1a2aea
movq -0x770(%rbp), %rax
movq %rax, -0x788(%rbp)
leaq 0x1eee81(%rip), %rax    # 0x391980
movq %rax, -0x780(%rbp)
movq -0x788(%rbp), %rdi
movq -0x780(%rbp), %rsi
callq 0x5b40
movq -0x778(%rbp), %rax
movq %rax, -0x798(%rbp)
leaq 0x1ef902(%rip), %rax    # 0x392430
orq $0x1, %rax
movq %rax, -0x790(%rbp)
movq -0x798(%rbp), %rdi
movq -0x790(%rbp), %rsi
callq 0x12cc0
addq $0x7e0, %rsp            # imm = 0x7E0
popq %rbx
popq %r14
popq %rbp
retq
nopl (%rax,%rax)