// File: /workspace/github_c_makefile_star2_O3/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_elabzematchzecasezx
static uint64_t mw_mirth_elab_elabzematchzecasezx (uint64_t in_Token_1, struct mirth_mirth_zaMirth* in_zaMirth_2, struct mirth_match_zaMatch* in_zaMatch_3, struct mirth_mirth_zaMirth* *out_zaMirth_5, struct mirth_match_zaMatch* *out_zaMatch_6) {
	struct mirth_mirth_zaMirth* v7;
	struct std_maybe_Maybe_1 v8 = mw_mirth_token_Token_runzearrowzy(in_zaMirth_2, in_Token_1, &v7);
	struct mirth_mirth_zaMirth* branch_zaMirth_9;
	uint64_t branch_Token_10;
	VAL branch_zux1_11;
	VAL branch_zux2_12;
	switch ((v8).tag) {
		case std_maybe_Maybe_1_Some: {
			VAL v13 = mtp_std_maybe_Maybe_1_Some(v8);
			branch_zux2_12 = v13;
			branch_zux1_11 = MK_mirth_match_zaMatch(in_zaMatch_3);
			branch_Token_10 = in_Token_1;
			branch_zaMirth_9 = v7;
		} break;
		case std_maybe_Maybe_1_None: {
			STR* v14;
			STRLIT(v14, "Expected pattern match case ... -> ...", 38);
			mw_mirth_mirth_zaMirth_emitzefatalzeerrorzx(v7, in_Token_1, v14);
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	incref(branch_zux2_12);
	uint64_t v18 = V_mirth_token_Token(branch_zux2_12);
	uint64_t v19 = branch_Token_10;
	bool v20 = (v18 == v19);
	uint64_t branch_Token_21;
	struct mirth_mirth_zaMirth* branch_zaMirth_22;
	VAL branch_zux1_23;
	if (v20) {
		STR* v24;
		STRLIT(v24, "expected pattern", 16);
		mw_mirth_mirth_zaMirth_emitzefatalzeerrorzx(branch_zaMirth_9, V_mirth_token_Token(branch_zux2_12), v24);
	} else {
		branch_zux1_23 = branch_zux1_11;
		branch_zaMirth_22 = branch_zaMirth_9;
		branch_Token_21 = V_mirth_token_Token(branch_zux2_12);
	}
	struct mirth_mirth_zaMirth* v27;
	uint64_t v28 = mw_mirth_token_Token_prev(branch_zaMirth_22, branch_Token_21, &v27);
	uint64_t v29 = v28;
	uint64_t v30 = branch_Token_10;
	bool v31 = (v29 == v30);
	struct mirth_mirth_zaMirth* branch_zaMirth_32;
	uint64_t branch_Token_33;
	if (v31) {
		branch_Token_33 = branch_Token_21;
		branch_zaMirth_32 = v27;
	} else {
		STR* v34;
		STRLIT(v34, "multi-part pattern not supported", 32);
		mw_mirth_mirth_zaMirth_emitzefatalzeerrorzx(v27, branch_Token_21, v34);
	}
	struct mirth_mirth_zaMirth* v37;
	struct std_list_List_1 v38 = mw_mirth_token_Token_patzetokens(branch_zaMirth_32, branch_Token_10, &v37);
	struct mirth_mirth_zaMirth* v39;
	uint64_t v40 = mw_mirth_token_Token_prev(v37, branch_Token_33, &v39);
	struct mirth_mirth_zaMirth* v41;
	uint64_t v42 = mw_mirth_token_Token_succ(v39, branch_Token_33, &v41);
	struct mirth_arrow_Home v43 = V_mirth_match_zaMatch(branch_zux1_23)->mhome;
	incref(MK_mirth_arrow_Home(v43));
	struct std_list_List_1 v44 = V_mirth_match_zaMatch(branch_zux1_23)->mctx;
	incref(MK_std_list_List_1(v44));
	incref(MK_std_list_List_1(v44));
	struct std_list_List_1 v45 = { .tag=std_list_List_1_Nil };
	struct mirth_type_StackType v46 = V_mirth_match_zaMatch(branch_zux1_23)->mdom;
	incref(MK_mirth_type_StackType(v46));
	incref(MK_mirth_type_StackType(v46));
	struct std_list_List_1 v47 = { .tag=std_list_List_1_Nil };
	struct mirth_match_Pattern* v48 = mtw_mirth_match_Pattern_Pattern(v43, v40, v40, v44, v44, v45, v46, v46, v47);
	struct mirth_match_Pattern* v49;
	mw_mirth_match_Pattern_thaw(v48, &v49);
	struct mirth_mirth_zaMirth* v50;
	struct mirth_match_Pattern* v51;
	mw_mirth_elab_elabzepatternzx(v41, v49, v38, &v50, &v51);
	struct mirth_match_Pattern* v52 = mw_mirth_match_zaPattern_freezze(v51);
	incref(MK_mirth_match_Pattern(v52));
	struct std_list_List_1 v53 = v52->minnerzectx;
	incref(MK_std_list_List_1(v53));
	decref(MK_mirth_match_Pattern(v52));
	incref(MK_mirth_match_Pattern(v52));
	struct mirth_type_StackType v54 = mw_mirth_match_Pattern_dom(v52);
	struct mirth_type_StackType v55 = V_mirth_match_zaMatch(branch_zux1_23)->mcod;
	incref(MK_mirth_type_StackType(v55));
	struct mirth_type_ArrowType* v56 = mw_mirth_type_Tzezg(v54, v55);
	struct mirth_arrow_Home v57 = V_mirth_match_zaMatch(branch_zux1_23)->mhome;
	incref(MK_mirth_arrow_Home(v57));
	struct mirth_type_StackType v58;
	struct mirth_type_StackType v59;
	mtp_mirth_type_ArrowType_ArrowType(v56, &v58, &v59);
	incref(MK_mirth_type_StackType(v58));
	struct std_list_List_1 v60 = { .tag=std_list_List_1_Nil };
	struct mirth_arrow_Arrow* v61 = mtw_mirth_arrow_Arrow_Arrow(v57, v42, v42, v53, v58, v58, v60);
	struct mirth_mirth_zaMirth* v62;
	struct mirth_arrow_Arrow* v63;
	mw_mirth_elab_zaAB_elabzeatomszx(v50, v61, &v62, &v63);
	struct mirth_arrow_Arrow* v64;
	uint64_t v65 = mw_mirth_elab_zaAB_abzetokenzo(v63, &v64);
	struct mirth_mirth_zaMirth* v66;
	bool v67 = mw_mirth_token_Token_commazy(v62, v65, &v66);
	uint64_t branch_Token_68;
	struct mirth_mirth_zaMirth* branch_zaMirth_69;
	VAL branch_zux1_70;
	if (v67) {
		struct mirth_mirth_zaMirth* v71;
		uint64_t v72 = mw_mirth_token_Token_succ(v66, v65, &v71);
		branch_zux1_70 = MK_mirth_arrow_Arrow(v64);
		branch_zaMirth_69 = v71;
		branch_Token_68 = v72;
	} else {
		branch_zux1_70 = MK_mirth_arrow_Arrow(v64);
		branch_zaMirth_69 = v66;
		branch_Token_68 = v65;
	}
	struct mirth_mirth_zaMirth* v73;
	struct mirth_arrow_Arrow* v74;
	mw_mirth_elab_zaAB_abzeunifyzetypezx(branch_zaMirth_69, V_mirth_arrow_Arrow(branch_zux1_70), v59, &v73, &v74);
	struct mirth_match_Case* v75 = mtw_mirth_match_Case_Case(v52, v74);
	struct mirth_mirth_zaMirth* v76;
	struct mirth_match_zaMatch* v77;
	mw_mirth_match_zaMatch_addzecase(v73, V_mirth_match_zaMatch(branch_zux1_23), v75, &v76, &v77);
	*out_zaMatch_6 = v77;
	*out_zaMirth_5 = v76;
	return branch_Token_68;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x1e8, %rsp            # imm = 0x1E8
movq %r8, %r12
movq %rcx, %r15
movq %rdx, -0xa0(%rbp)
movq %rdi, %rbx
leaq -0xe8(%rbp), %rdx
movq %rsi, %rdi
movq %rbx, %rsi
callq 0x33f33
cmpl $0x1, %eax
jne 0x4d226
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
movq %rax, -0x98(%rbp)
movq %rdx, %rdi
callq 0xd745
testb $0x1, %dl
je 0x4c07b
movq %rax, %rsi
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rsi
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x4c07b
incl (%rsi)
movq -0xe8(%rbp), %r14
cmpq %rbx, %rax
je 0x4d2d0
movq %r12, -0x170(%rbp)
movq %r15, -0x178(%rbp)
leaq -0xe0(%rbp), %rdx
movq %r14, %rdi
movq %rax, -0xa8(%rbp)
movq %rax, %rsi
callq 0x4d399
cmpq %rbx, %rax
jne 0x4d32b
movq -0xe0(%rbp), %rdi
leaq -0x150(%rbp), %r12
movq %rbx, %rsi
movq %r12, %rdx
callq 0x34126
movl %eax, %r13d
movq %rdx, %r15
xorl %edi, %edi
xorl %esi, %esi
xorl %edx, %edx
xorl %ecx, %ecx
callq 0xd01b
movl %eax, %r14d
movq %rdx, %rbx
movq (%r12), %rax
movq %rax, -0x38(%rbp)
leaq -0x50(%rbp), %r12
movl %r13d, %edi
movq %r15, %rsi
movq %r12, %rdx
callq 0x111eb
testl %eax, %eax
je 0x4c171
cmpl $0x1, %eax
jne 0x4d2a0
movq %rdx, %rdi
callq 0xd745
movq %rax, %r13
movq %rdx, %r15
testb $0x1, %r15b
je 0x4c175
movq %r13, %r12
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r12
sete %al
testb $0x3, %r13b
setne %cl
orb %al, %cl
jne 0x4c175
incl (%r12)
movq -0x38(%rbp), %rdi
movq %r13, %rsi
leaq -0x70(%rbp), %rdx
callq 0x341df
testb %al, %al
je 0x4c18f
decl (%r12)
jne 0x4c189
movq %r13, %rdi
movq %r15, %rsi
callq 0xd13d
jmp 0x4c189
xorl %ecx, %ecx
jmp 0x4c1ae
movq -0x38(%rbp), %rdi
movq %r13, %rsi
leaq -0x70(%rbp), %rdx
callq 0x341df
testb %al, %al
je 0x4c18f
xorl %ecx, %ecx
xorl %eax, %eax
jmp 0x4c1a2
movq %r13, %rdi
movq %r15, %rsi
callq 0x9353
movq %rdx, %rcx
movl $0x1, %eax
leaq -0x50(%rbp), %r12
movq -0x70(%rbp), %rdx
movq %rdx, -0x38(%rbp)
movl %r14d, %edi
movq %rbx, %rsi
movl %eax, %edx
leaq -0x70(%rbp), %r8
callq 0x4df55
movl -0x70(%rbp), %r14d
movq -0x68(%rbp), %rbx
movl -0x50(%rbp), %r13d
movq -0x48(%rbp), %r15
testb %al, %al
jne 0x4c0f9
xorl %edi, %edi
xorl %esi, %esi
movl %r14d, %edx
movq %rbx, %rcx
callq 0xd01b
movl %eax, %r14d
movq %rdx, %r12
movq %r15, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x4c224
decl (%rax)
jne 0x4c224
shlq $0x30, %r13
orq %r15, %r13
movq %r13, %rdi
leaq 0xc505a(%rip), %rsi     # 0x111279
callq 0xd13d
leaq -0x180(%rbp), %rdx
movq -0x38(%rbp), %rdi
movq -0xa8(%rbp), %rsi
callq 0x4d399
movq 0x10c91b6(%rip), %rcx   # 0x11153f8
movq %rcx, -0x168(%rbp)
movq -0xa0(%rbp), %rcx
movl (%rcx), %edi
movq 0x8(%rcx), %rsi
movq %rsi, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %sil
setne %r8b
orb %dl, %r8b
jne 0x4c278
incl (%rcx)
movq -0x180(%rbp), %r13
movq -0xa0(%rbp), %rcx
movups 0x20(%rcx), %xmm0
movaps %xmm0, -0x160(%rbp)
movq -0x158(%rbp), %r9
movq %r9, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %r9b
setne %r8b
orb %dl, %r8b
jne 0x4c2bb
addl $0x2, (%rcx)
movl -0x160(%rbp), %r8d
xorps %xmm0, %xmm0
movaps %xmm0, -0x1b0(%rbp)
movq -0xa0(%rbp), %rcx
movups 0x30(%rcx), %xmm1
movaps %xmm1, -0x1a0(%rbp)
movq -0x198(%rbp), %rdx
movq %rdx, %rcx
movabsq $0xfffffffffffc, %r10   # imm = 0xFFFFFFFFFFFC
andq %r10, %rcx
sete %r10b
testb $0x3, %dl
setne %dl
orb %r10b, %dl
jne 0x4c307
addl $0x2, (%rcx)
movaps %xmm0, -0x1c0(%rbp)
movups %xmm0, 0x40(%rsp)
movaps -0x1a0(%rbp), %xmm0
movups %xmm0, 0x30(%rsp)
movups %xmm0, 0x20(%rsp)
movaps -0x1b0(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movaps -0x160(%rbp), %xmm0
movups %xmm0, (%rsp)
movq %rax, %rdx
movq %rax, %rcx
callq 0x4d474
movq %rax, %rbx
xorl %edi, %edi
xorl %esi, %esi
movl %r14d, %edx
movq %r12, %rcx
callq 0xd01b
movq %rdx, %rdi
cmpl $0x1, %eax
jne 0x4cf34
leaq -0x150(%rbp), %rsi
callq 0xd0aa
movq %rax, %r12
movq %rbx, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r14
setne %al
testb $0x3, %bl
sete %r15b
andb %al, %r15b
cmpb $0x1, %r15b
jne 0x4c399
incl (%r14)
cmpl $0x2, (%rbx)
jb 0x4c497
movl $0x1, %edi
movl $0x88, %esi
callq 0x50c0
testq %rax, %rax
je 0x4d1ae
movl $0x88, %edx
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x50e0
movq -0x40(%rbp), %rdi
movq 0x10(%rdi), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c3f6
incl (%rax)
movq %r12, 0x18(%rdi)
movq 0x30(%rdi), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c413
incl (%rax)
movq 0x40(%rdi), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c42c
incl (%rax)
movq 0x50(%rdi), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c445
incl (%rax)
movq 0x60(%rdi), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c45e
incl (%rax)
movq 0x70(%rdi), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c477
incl (%rax)
movq 0x80(%rdi), %rcx
movq %rcx, %rax
andq %rsi, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4c493
incl (%rax)
decl (%rbx)
jmp 0x4c49f
movq %r12, 0x18(%rbx)
movq %rbx, -0x40(%rbp)
testb %r15b, %r15b
je 0x4c4b8
decl (%r14)
jne 0x4c4b8
movq %rbx, %rdi
leaq 0xc609e(%rip), %rsi     # 0x112551
callq 0xd13d
movq %r13, %rdi
movq %r12, %rsi
leaq -0x138(%rbp), %rdx
callq 0x307a8
movq -0x138(%rbp), %rdi
movq %r12, %rsi
leaq -0xd0(%rbp), %rdx
callq 0x3f9ba
testb %al, %al
je 0x4c505
movq -0xd0(%rbp), %rdi
movq -0x40(%rbp), %rsi
leaq -0x50(%rbp), %rdx
leaq -0x70(%rbp), %rcx
callq 0x4dff1
movq -0x70(%rbp), %rbx
jmp 0x4cf1e
movq -0xd0(%rbp), %rdi
movq %r12, %rsi
leaq -0xc8(%rbp), %rdx
callq 0x275cc
cmpl $0x1, %eax
jne 0x4d1bc
movq %rdx, %rdi
callq 0xd745
movq %rax, %rbx
movq 0x10c9502(%rip), %r14   # 0x1115a38
testq %r14, %r14
jne 0x4c56d
movl $0xb, %edi
callq 0xf5e4
movq %rax, %r14
movq $0xb, 0x10(%rax)
movabsq $0x63757274736e6f63, %rax # imm = 0x63757274736E6F63
movq %rax, 0x18(%r14)
movl $0x726f7463, 0x1f(%r14) # imm = 0x726F7463
movq %r14, 0x10c94cb(%rip)   # 0x1115a38
movq %r14, %rax
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x4c58d
incl (%rax)
movq -0x40(%rbp), %rcx
movq %rcx, %rax
andq %rsi, %rax
movq %rax, -0x80(%rbp)
setne %al
testb $0x3, %cl
sete %dil
andb %al, %dil
cmpb $0x1, %dil
jne 0x4c5b4
movq -0x80(%rbp), %rax
incl (%rax)
movl 0x58(%rcx), %r15d
movq 0x60(%rcx), %r13
movq %r13, %rax
andq %rsi, %rax
sete %cl
testb $0x3, %r13b
setne %dl
orb %cl, %dl
jne 0x4c5d2
incl (%rax)
movb %dil, -0x29(%rbp)
testb %dil, %dil
je 0x4c5f3
movq -0x80(%rbp), %rax
decl (%rax)
jne 0x4c5f3
movq -0x40(%rbp), %rdi
leaq 0xc5f63(%rip), %rsi     # 0x112551
callq 0xd13d
movq -0xc8(%rbp), %rdi
movl %r15d, %esi
movq %r13, %rdx
leaq -0x130(%rbp), %rcx
callq 0x4e71c
xorb $0x1, %al
movq %rbx, %rdx
shrq $0x30, %rdx
movabsq $0xfffffffffffc, %r15   # imm = 0xFFFFFFFFFFFC
andq %r15, %rbx
movq -0x130(%rbp), %rcx
leaq -0x120(%rbp), %rsi
movq %rsi, 0x10(%rsp)
leaq -0x128(%rbp), %rsi
movq %rsi, 0x8(%rsp)
movq %rcx, (%rsp)
movzbl %al, %r9d
movq %r14, %rdi
movq %r12, %rsi
movq %rbx, %rcx
xorl %r8d, %r8d
callq 0x28951
movq -0x120(%rbp), %rcx
movl 0x20(%rcx), %eax
movq %rcx, -0x58(%rbp)
movq 0x28(%rcx), %rdi
movq %rdi, %rcx
andq %r15, %rcx
sete %dl
testb $0x3, %dil
setne %sil
orb %dl, %sil
jne 0x4c684
incl (%rcx)
movq $0x0, -0x78(%rbp)
movl $0x0, -0x88(%rbp)
movq $0x0, -0x38(%rbp)
movl $0x0, -0x60(%rbp)
cmpl $0x1, %eax
jne 0x4c7cd
leaq -0x50(%rbp), %rsi
callq 0xd0aa
movq %rax, %r14
movq %rdx, %r12
movq %rax, %rbx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %rbx
testb $0x1, %r12b
je 0x4c6e6
testq %rbx, %rbx
sete %al
testb $0x3, %r14b
setne %cl
orb %al, %cl
jne 0x4c6e6
incl (%rbx)
movq %r14, %r13
shrq $0x30, %r13
movl %r13d, %edi
movq %rbx, %rsi
callq 0x2fb90
movl %eax, %r15d
movq %rdx, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x4c734
decl (%rax)
jne 0x4c734
movq %r15, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xc4b92(%rip), %rsi     # 0x1112c1
callq 0xd13d
leaq 0x1(,%r15,2), %rdi
movl $0x1, %esi
callq 0xe83a
testl %eax, %eax
je 0x4c77c
movq %r14, %rdi
movq %r12, %rsi
callq 0x206fc
movq %rdx, %rdi
callq 0x20aa1
movq %rax, %rdi
movq %rdx, %rsi
movl -0x60(%rbp), %edx
movq -0x38(%rbp), %rcx
callq 0xd1ec
movq %rdx, -0x38(%rbp)
movl $0x1, -0x60(%rbp)
jmp 0x4c7c1
movl %r13d, %edi
movq %rbx, %rsi
callq 0x28d34
movq %rax, %rdi
leaq 0xc5820(%rip), %rsi     # 0x111fb1
callq 0x2069e
movq %rdx, %rdi
callq 0x20a5a
movq %rax, %rdi
movq %rdx, %rsi
movl -0x88(%rbp), %edx
movq -0x78(%rbp), %rcx
callq 0xd1ec
movq %rdx, -0x78(%rbp)
movl $0x1, -0x88(%rbp)
movl -0x50(%rbp), %eax
movq -0x48(%rbp), %rdi
jmp 0x4c6a5
testl %eax, %eax
jne 0x4d2a0
xorl %edi, %edi
xorl %esi, %esi
movl -0x88(%rbp), %edx
movq -0x78(%rbp), %rcx
callq 0xd01b
movl %eax, %ebx
movq %rdx, %r12
xorl %edi, %edi
xorl %esi, %esi
movl -0x60(%rbp), %edx
movq -0x38(%rbp), %rcx
callq 0xd01b
movl %eax, %r14d
movq %rdx, %r15
movq -0x58(%rbp), %rax
movl 0x30(%rax), %edx
movq 0x38(%rax), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %sil
testb $0x3, %cl
setne %dil
orb %sil, %dil
jne 0x4c830
incl (%rax)
movl %ebx, %edi
movq %r12, %rsi
callq 0x28d8d
movl %eax, %ebx
movq %rdx, %r12
movq -0x58(%rbp), %rdi
movq 0x38(%rdi), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
movq %rdi, %rdx
jne 0x4c886
movl 0x30(%rdx), %edi
decl (%rcx)
jne 0x4c886
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xc49fc(%rip), %rsi     # 0x111279
callq 0xd13d
movq -0x58(%rbp), %rdx
movl %ebx, 0x30(%rdx)
movq %r12, 0x38(%rdx)
movq 0x28(%rdx), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
movq -0x58(%rbp), %rsi
jne 0x4c8d1
movl 0x20(%rsi), %edi
decl (%rcx)
jne 0x4c8d1
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xc49b1(%rip), %rsi     # 0x111279
callq 0xd13d
movq -0x58(%rbp), %rsi
movl %r14d, 0x20(%rsi)
movq %r15, 0x28(%rsi)
movq -0x128(%rbp), %rdi
leaq -0x118(%rbp), %rdx
leaq -0x110(%rbp), %rcx
callq 0x41145
movq -0x118(%rbp), %rdi
movq -0x110(%rbp), %rsi
leaq -0x108(%rbp), %rdx
leaq -0x100(%rbp), %rcx
callq 0x28dc9
movb -0x29(%rbp), %sil
testb %sil, %sil
je 0x4c923
movq -0x80(%rbp), %rax
incl (%rax)
movq -0x40(%rbp), %rax
movl 0x58(%rax), %r14d
movq 0x60(%rax), %rbx
movq %rbx, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %bl
setne %dl
orb %cl, %dl
jne 0x4c94e
incl (%rax)
testb %sil, %sil
je 0x4c994
movq -0x80(%rbp), %rax
decl (%rax)
jne 0x4c96b
movq -0x40(%rbp), %rdi
leaq 0xc5beb(%rip), %rsi     # 0x112551
callq 0xd13d
movq -0x108(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
leaq -0xc0(%rbp), %rcx
callq 0x4e71c
testb %al, %al
je 0x4ccde
movq -0x80(%rbp), %rax
incl (%rax)
jmp 0x4c9b5
movq -0x108(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
leaq -0xc0(%rbp), %rcx
callq 0x4e71c
testb %al, %al
je 0x4ccde
movq -0x40(%rbp), %rax
movl 0x58(%rax), %ebx
movq 0x60(%rax), %r14
movq %r14, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
movb -0x29(%rbp), %cl
jne 0x4c9e3
incl (%rax)
testb %cl, %cl
je 0x4c9ff
movq -0x80(%rbp), %rax
decl (%rax)
jne 0x4c9ff
movq -0x40(%rbp), %rdi
leaq 0xc5b57(%rip), %rsi     # 0x112551
callq 0xd13d
movq -0xc0(%rbp), %rdi
movl %ebx, %esi
movq %r14, %rdx
leaq -0xb8(%rbp), %rcx
callq 0x4e7e6
movq %rax, -0x88(%rbp)
movq %rdx, -0x78(%rbp)
movq -0x100(%rbp), %r14
movq 0x8(%r14), %rsi
movq -0xb8(%rbp), %rdi
leaq -0xf8(%rbp), %rdx
callq 0x30835
movl %eax, %ebx
movq %rdx, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x4ca7b
decl (%rax)
jne 0x4ca7b
movq %rbx, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xc484b(%rip), %rsi     # 0x1112c1
callq 0xd13d
leaq 0x1(,%rbx,2), %rdi
movl $0x1, %esi
callq 0xe83a
testl %eax, %eax
je 0x4ce31
movl 0x20(%r14), %eax
movq 0x28(%r14), %rdi
movq %rdi, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %dil
setne %sil
orb %dl, %sil
jne 0x4cabf
incl (%rcx)
movq -0xf8(%rbp), %r15
movq -0x78(%rbp), %rdx
movq %rdx, %rsi
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rsi
movq %rsi, -0xd8(%rbp)
setne %cl
testb $0x3, %dl
sete %dl
andb %cl, %dl
movb %dl, -0x2a(%rbp)
movq $0x0, -0xb0(%rbp)
movl $0x0, -0x8c(%rbp)
movq $0x0, -0x58(%rbp)
movl $0x0, -0x90(%rbp)
cmpl $0x1, %eax
jne 0x4ccf1
movq %r14, -0x38(%rbp)
leaq -0x50(%rbp), %rsi
callq 0xd0aa
movq %rax, %r12
cmpb $0x0, -0x2a(%rbp)
je 0x4cb3e
movq -0xd8(%rbp), %rax
incl (%rax)
movq %r12, %rbx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %rbx
movq %rdx, -0x60(%rbp)
testb $0x1, %dl
je 0x4cb6a
testq %rbx, %rbx
sete %al
testb $0x3, %r12b
setne %cl
orb %al, %cl
jne 0x4cb6a
incl (%rbx)
movq %r12, %r13
shrq $0x30, %r13
movq %r15, %rdi
movl %r13d, %esi
movq %rbx, %rdx
leaq -0x188(%rbp), %rcx
callq 0x2dac3
movl 0x8(%rax), %r15d
movq 0x10(%rax), %r14
movq %r14, %rcx
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rcx
sete %dl
testb $0x3, %r14b
setne %sil
orb %dl, %sil
jne 0x4cbb0
incl (%rcx)
movq %rax, %rcx
andq %rdi, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x4cbd7
decl (%rcx)
jne 0x4cbd7
movq %rax, %rdi
leaq 0xc4b6f(%rip), %rsi     # 0x111741
callq 0xd13d
movq -0x188(%rbp), %rdi
leaq -0x70(%rbp), %rax
movq %rax, 0x8(%rsp)
leaq -0xf0(%rbp), %rax
movq %rax, (%rsp)
movq -0x38(%rbp), %rsi
movl %r15d, %edx
movq %r14, %rcx
movq -0x88(%rbp), %r8
movq -0x78(%rbp), %r9
callq 0x2e661
testb %al, %al
je 0x4cc54
movq %r12, %rdi
movq -0x60(%rbp), %rsi
callq 0x206fc
movq %rdx, %rdi
movq -0x70(%rbp), %r14
movq -0xf0(%rbp), %r15
callq 0x20aa1
movq %rax, %rdi
movq %rdx, %rsi
movl -0x90(%rbp), %edx
movq -0x58(%rbp), %rcx
callq 0xd1ec
movq %rdx, -0x58(%rbp)
movl $0x1, -0x90(%rbp)
jmp 0x4ccd2
movl $0x1, %edi
movl $0x18, %esi
callq 0x50c0
testq %rax, %rax
je 0x4d189
movl $0x1, (%rax)
movl %r13d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movabsq $0x5000000000000, %rcx  # imm = 0x5000000000000
orq %rcx, %rax
movq %rax, %rdi
leaq 0xc5320(%rip), %rsi     # 0x111fb1
callq 0x2069e
movq %rdx, %rdi
movq -0x70(%rbp), %r14
movq -0xf0(%rbp), %r15
callq 0x20a5a
movq %rax, %rdi
movq %rdx, %rsi
movl -0x8c(%rbp), %edx
movq -0xb0(%rbp), %rcx
callq 0xd1ec
movq %rdx, -0xb0(%rbp)
movl $0x1, -0x8c(%rbp)
movl -0x50(%rbp), %eax
movq -0x48(%rbp), %rdi
jmp 0x4cb16
movq -0x100(%rbp), %r12
movq -0xc0(%rbp), %r15
jmp 0x4ce5b
testl %eax, %eax
jne 0x4d2a0
xorl %edi, %edi
xorl %esi, %esi
movl -0x8c(%rbp), %edx
movq -0xb0(%rbp), %rcx
callq 0xd01b
movl %eax, %ebx
movq %rdx, %r13
xorl %edi, %edi
xorl %esi, %esi
movl -0x90(%rbp), %edx
movq -0x58(%rbp), %rcx
callq 0xd01b
movl %eax, -0x38(%rbp)
movq %rdx, -0x60(%rbp)
movl 0x30(%r14), %edx
movq %r14, %r12
movq 0x38(%r14), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %sil
testb $0x3, %cl
setne %dil
orb %sil, %dil
jne 0x4cd5b
incl (%rax)
movl %ebx, %edi
movq %r13, %rsi
callq 0x28d8d
movl %eax, %ebx
movq %rdx, %r13
movq 0x38(%r12), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x4cda9
movl 0x30(%r12), %edi
decl (%rcx)
jne 0x4cda9
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xc44d5(%rip), %rsi     # 0x111279
callq 0xd13d
movl %ebx, 0x30(%r12)
movq %r13, 0x38(%r12)
movq 0x28(%r12), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x4cdf2
movl 0x20(%r12), %edi
decl (%rcx)
jne 0x4cdf2
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xc448c(%rip), %rsi     # 0x111279
callq 0xd13d
movl -0x38(%rbp), %eax
movl %eax, 0x20(%r12)
movq -0x60(%rbp), %rax
movq %rax, 0x28(%r12)
cmpb $0x0, -0x2a(%rbp)
je 0x4ce5b
movq -0xd8(%rbp), %rax
decl (%rax)
jne 0x4ce5b
movq -0x88(%rbp), %rdi
shlq $0x30, %rdi
orq -0x78(%rbp), %rdi
leaq 0xc444f(%rip), %rsi     # 0x111279
callq 0xd13d
jmp 0x4ce5b
movq -0xf8(%rbp), %rdi
movq %r14, %rsi
movq -0x88(%rbp), %rdx
movq -0x78(%rbp), %rcx
leaq -0x50(%rbp), %r8
leaq -0x70(%rbp), %r9
callq 0x2917d
movq -0x70(%rbp), %r12
movq -0x50(%rbp), %r15
movq %r15, %rdi
movq %r12, %rsi
leaq -0x50(%rbp), %rdx
callq 0x2a68a
testl %eax, %eax
je 0x4ced8
cmpl $0x1, %eax
jne 0x4d2a0
movq %rdx, %rdi
callq 0xd745
movq %rax, %rdi
shrq $0x30, %rdi
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
movq %rax, %rsi
callq 0x2fb90
testl %eax, %eax
je 0x4ced8
cmpl $0x1, %eax
jne 0x4d2a0
movq %rdx, %rdi
callq 0xd745
movq -0x50(%rbp), %rdi
movq -0x40(%rbp), %rsi
movq %rax, %rdx
leaq -0x70(%rbp), %rcx
leaq -0xb8(%rbp), %r8
callq 0x4e9d1
movq -0xb8(%rbp), %rbx
movq -0x70(%rbp), %r13
jmp 0x4cf22
cmpb $0x0, -0x29(%rbp)
je 0x4cf0e
movq -0x80(%rbp), %r15
incl (%r15)
movq -0x40(%rbp), %r14
movq %r14, %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4ed15
movq %rax, %rbx
decl (%r15)
jne 0x4cf1e
movq %r14, %rdi
leaq 0xc564a(%rip), %rsi     # 0x112551
callq 0xd13d
jmp 0x4cf1e
movq -0x40(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4ed15
movq %rax, %rbx
movq -0x50(%rbp), %r13
movl -0x150(%rbp), %eax
movq -0x148(%rbp), %rdi
jmp 0x4c35b
testl %eax, %eax
jne 0x4d2a0
movq %rbx, %r14
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %r14
setne %cl
testb $0x3, %bl
sete %al
andb %cl, %al
cmpb $0x1, %al
jne 0x4cf5e
incl (%r14)
movl 0x38(%rbx), %ecx
movl %ecx, -0x38(%rbp)
movq 0x40(%rbx), %rsi
movq %rsi, %rcx
andq %rdx, %rcx
sete %dl
movq %rsi, -0x60(%rbp)
testb $0x3, %sil
setne %sil
orb %dl, %sil
jne 0x4cf84
incl (%rcx)
testb %al, %al
je 0x4cfab
movl (%r14), %eax
movl %eax, %ecx
decl %ecx
movl %ecx, (%r14)
jne 0x4cfa8
movq %rbx, %rdi
leaq 0xc55b3(%rip), %rsi     # 0x112551
callq 0xd13d
movl (%r14), %eax
incl %eax
movl %eax, (%r14)
movq %rbx, %rdi
callq 0x4d536
movq -0xa0(%rbp), %rcx
movl 0x40(%rcx), %r8d
movq 0x48(%rcx), %rcx
movq %rcx, %rsi
movabsq $0xfffffffffffc, %rdi   # imm = 0xFFFFFFFFFFFC
andq %rdi, %rsi
sete %dil
testb $0x3, %cl
setne %r9b
orb %dil, %r9b
jne 0x4cfe4
incl (%rsi)
movl %eax, %edi
movq %rdx, %rsi
movl %r8d, %edx
callq 0x20b5f
movq -0xa0(%rbp), %rcx
movl (%rcx), %r12d
movq 0x8(%rcx), %r14
movq %r14, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %r14b
setne %sil
orb %dl, %sil
jne 0x4d021
incl (%rcx)
leaq -0x50(%rbp), %r15
leaq -0x70(%rbp), %rdx
movq %rax, %rdi
movq %r15, %rsi
callq 0x3a145
movq 0x8(%r15), %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x4d053
incl (%rdx)
movq -0xa8(%rbp), %rax
leaq 0x1(%rax), %rcx
xorl %edx, %edx
cmpq %rax, -0x168(%rbp)
cmovbeq %rdx, %rcx
xorps %xmm0, %xmm0
movaps %xmm0, -0x150(%rbp)
movups %xmm0, 0x20(%rsp)
movups -0x50(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movl %r12d, %edi
movq %r14, %rsi
movq %rcx, %rdx
movl -0x38(%rbp), %r8d
movq -0x60(%rbp), %r9
callq 0x42f0b
leaq -0x138(%rbp), %r14
leaq -0xd0(%rbp), %r15
movq %r13, %rdi
movq %rax, %rsi
movq %r14, %rdx
movq %r15, %rcx
callq 0x4ae04
movq (%r15), %rdi
leaq -0xc8(%rbp), %r15
movq %r15, %rsi
callq 0x432bd
movq %rax, %r12
movq (%r14), %rdi
leaq -0x130(%rbp), %r13
movq %rax, %rsi
movq %r13, %rdx
callq 0x28222
cmpq %r12, 0x10c830b(%rip)   # 0x11153f8
leaq 0x1(%r12), %r14
movl $0x0, %ecx
cmovbeq %rcx, %r14
testb %al, %al
cmoveq %r12, %r14
movq (%r15), %rsi
movq (%r13), %rdi
movl -0x70(%rbp), %edx
movq -0x68(%rbp), %rcx
leaq -0x128(%rbp), %r15
leaq -0x120(%rbp), %r12
movq %r15, %r8
movq %r12, %r9
callq 0x4379b
movq (%r12), %rsi
movq %rbx, %rdi
callq 0x4d692
movq (%r15), %rdi
leaq -0x118(%rbp), %rbx
leaq -0x110(%rbp), %r15
movq -0xa0(%rbp), %rsi
movq %rax, %rdx
movq %rbx, %rcx
movq %r15, %r8
callq 0x4d6eb
movq (%r15), %rax
movq -0x170(%rbp), %rcx
movq %rax, (%rcx)
movq (%rbx), %rax
movq -0x178(%rbp), %rcx
movq %rax, (%rcx)
movq %r14, %rax
addq $0x1e8, %rsp            # imm = 0x1E8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
leaq 0x988c1(%rip), %rsi     # 0xe5a51
movl $0x31, %edx
movl $0x2, %edi
callq 0x5060
callq 0x52b6
movl $0x1, %edi
callq 0x5130
leaq 0x98724(%rip), %rsi     # 0xe58d9
movl $0x33, %edx
jmp 0x4d195
movq 0x10c887d(%rip), %rdx   # 0x1115a40
testq %rdx, %rdx
jne 0x4d1fa
movl $0x1a, %edi
callq 0xf5e4
movq %rax, %rdx
movq $0x1a, 0x10(%rax)
movups 0x986da(%rip), %xmm0    # 0xe58be
movups %xmm0, 0x18(%rax)
movups 0x986d9(%rip), %xmm0    # 0xe58c8
movups %xmm0, 0x22(%rax)
movq %rax, 0x10c8846(%rip)   # 0x1115a40
andq %rdx, -0x98(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x4d217
movq -0x98(%rbp), %rax
incl (%rax)
movq -0xc8(%rbp), %rdi
movq %r12, %rsi
callq 0x27183
testl %eax, %eax
jne 0x4d2a0
movq 0x10c87ef(%rip), %rdx   # 0x1115a20
testq %rdx, %rdx
jne 0x4d276
movl $0x26, %edi
callq 0xf5e4
movq %rax, %rdx
movq $0x26, 0x10(%rax)
movabsq $0x2e2e2e203e2d202e, %rax # imm = 0x2E2E2E203E2D202E
movq %rax, 0x36(%rdx)
movups 0x985d2(%rip), %xmm0    # 0xe5832
movups %xmm0, 0x18(%rdx)
movups 0x985d7(%rip), %xmm0    # 0xe5842
movups %xmm0, 0x28(%rdx)
movq %rdx, 0x10c87aa(%rip)   # 0x1115a20
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x4d294
incl (%rax)
movq -0xe8(%rbp), %rdi
jmp 0x4d323
movl $0x20, %edi
callq 0xf5e4
movq $0x20, 0x10(%rax)
movups 0x93414(%rip), %xmm0    # 0xe06cd
movups %xmm0, 0x18(%rax)
movups 0x93419(%rip), %xmm0    # 0xe06dd
movups %xmm0, 0x28(%rax)
movq %rax, %rdi
callq 0x9302
movq 0x10c8751(%rip), %rdx   # 0x1115a28
testq %rdx, %rdx
jne 0x4d303
movl $0x10, %edi
callq 0xf5e4
movq %rax, %rdx
movq $0x10, 0x10(%rax)
movups 0x98561(%rip), %xmm0    # 0xe5859
movups %xmm0, 0x18(%rax)
movq %rax, 0x10c8725(%rip)   # 0x1115a28
andq %rdx, -0x98(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x4d320
movq -0x98(%rbp), %rax
incl (%rax)
movq %r14, %rdi
movq %rbx, %rsi
callq 0x27183
movq 0x10c86fe(%rip), %rdx   # 0x1115a30
testq %rdx, %rdx
jne 0x4d369
movl $0x20, %edi
callq 0xf5e4
movq %rax, %rdx
movq $0x20, 0x10(%rax)
movups 0x98517(%rip), %xmm0    # 0xe586a
movups %xmm0, 0x18(%rax)
movups 0x9851c(%rip), %xmm0    # 0xe587a
movups %xmm0, 0x28(%rax)
movq %rax, 0x10c86c7(%rip)   # 0x1115a30
andq %rdx, -0x98(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x4d386
movq -0x98(%rbp), %rax
incl (%rax)
movq -0xe0(%rbp), %rdi
movq -0xa8(%rbp), %rsi
callq 0x27183