// File: /workspace/github_c_makefile_star2_O2/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, -0x98(%rbp)
movq %rdi, %rbx
leaq -0xf0(%rbp), %rdx
movq %rsi, %rdi
movq %rbx, %rsi
callq 0x31376
movabsq $0xfffffffffffc, %r14   # imm = 0xFFFFFFFFFFFC
cmpl $0x1, %eax
movq %r14, -0x58(%rbp)
jne 0x48b9d
movq %rdx, %rdi
callq 0xd491
testb $0x1, %dl
je 0x47a65
movq %rax, %rsi
andq %r14, %rsi
sete %cl
testb $0x3, %al
setne %dl
orb %cl, %dl
jne 0x47a65
incl (%rsi)
movq -0xf0(%rbp), %r14
cmpq %rbx, %rax
je 0x48bfd
movq %r12, -0x160(%rbp)
movq %r15, -0x168(%rbp)
leaq -0xe8(%rbp), %rdx
movq %r14, %rdi
movq %rax, -0xb0(%rbp)
movq %rax, %rsi
callq 0x48d0b
cmpq %rbx, %rax
jne 0x48c44
movq -0xe8(%rbp), %rdi
leaq -0xe0(%rbp), %r13
movq %rbx, %rsi
movq %r13, %rdx
callq 0x31550
movl %eax, %ebx
movq %rdx, %r12
xorl %edi, %edi
xorl %esi, %esi
callq 0xcd32
movl %eax, %r14d
movq %rdx, %r15
movb $0x1, %al
movq (%r13), %r13
testb $0x1, %al
je 0x47bbb
movl %ebx, %edi
movq %r12, %rsi
leaq -0x50(%rbp), %rdx
callq 0x1075d
testl %eax, %eax
je 0x47b7d
cmpl $0x1, %eax
jne 0x48be6
movq %rdx, %rdi
callq 0xd491
movq %rax, %r12
movq %rdx, %rbx
testb $0x1, %bl
je 0x47b32
movq %r12, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x47b32
incl (%rax)
movq %r13, %rdi
movq %r12, %rsi
leaq -0x70(%rbp), %rdx
callq 0x31601
testb %al, %al
je 0x47b81
testb $0x1, %bl
je 0x47b77
movq %r12, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x47b77
decl (%rax)
jne 0x47b77
movq %r12, %rdi
movq %rbx, %rsi
callq 0xce94
xorl %ecx, %ecx
xorl %eax, %eax
jmp 0x47b92
xorl %ecx, %ecx
jmp 0x47b96
movq %r12, %rdi
movq %rbx, %rsi
callq 0x8d0c
movq %rdx, %rcx
pushq $0x1
popq %rax
movq -0x70(%rbp), %r13
movl %r14d, %edi
movq %r15, %rsi
movl %eax, %edx
leaq -0x70(%rbp), %r8
callq 0x498f9
movl -0x70(%rbp), %r14d
movq -0x68(%rbp), %r15
movl -0x50(%rbp), %ebx
movq -0x48(%rbp), %r12
jmp 0x47ad8
movl %r14d, %edi
movq %r15, %rsi
callq 0xcd32
movl %eax, %r14d
movq %rdx, %r15
movq %r12, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r12b
setne %dl
orb %cl, %dl
jne 0x47c04
decl (%rax)
jne 0x47c04
shlq $0x30, %rbx
orq %r12, %rbx
movq %rbx, %rdi
leaq 0xc067a(%rip), %rsi     # 0x108279
callq 0xce94
leaq -0x170(%rbp), %rdx
movq %r13, %rdi
movq -0xb0(%rbp), %rsi
callq 0x48d0b
movq 0x10c47d7(%rip), %rcx   # 0x110c3f8
movq %rcx, -0x158(%rbp)
movq -0x98(%rbp), %rcx
movl (%rcx), %edi
movq 0x8(%rcx), %rsi
movq %rsi, %rcx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
andq %r12, %rcx
sete %dl
testb $0x3, %sil
setne %r8b
orb %dl, %r8b
jne 0x47c57
incl (%rcx)
movq -0x170(%rbp), %rcx
movq %rcx, -0x38(%rbp)
movq -0x98(%rbp), %rcx
movups 0x20(%rcx), %xmm0
movaps %xmm0, -0x150(%rbp)
movq -0x148(%rbp), %r9
movq %r9, %rcx
andq %r12, %rcx
sete %dl
testb $0x3, %r9b
setne %r8b
orb %dl, %r8b
jne 0x47c94
addl $0x2, (%rcx)
movl -0x150(%rbp), %r8d
xorps %xmm0, %xmm0
movaps %xmm0, -0x1b0(%rbp)
movq -0x98(%rbp), %rcx
movups 0x30(%rcx), %xmm1
movaps %xmm1, -0x1a0(%rbp)
movq -0x198(%rbp), %rdx
movq %rdx, %rcx
andq %r12, %rcx
sete %r10b
testb $0x3, %dl
setne %dl
orb %r10b, %dl
jne 0x47cd6
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 -0x150(%rbp), %xmm0
movups %xmm0, (%rsp)
movq %rax, %rdx
movq %rax, %rcx
callq 0x48df3
movq %rax, %r13
movl %r14d, %edi
movq %r15, %rsi
callq 0xcd32
leaq -0x140(%rbp), %rsi
movb $0x1, %cl
movq %rdx, %rdi
testb $0x1, %cl
je 0x4893e
xorl %ecx, %ecx
movl $0x0, %edx
testl %eax, %eax
je 0x47d2c
cmpl $0x1, %eax
jne 0x48be6
callq 0xce01
movq %rax, %r15
movq %r13, %rbx
andq %r12, %rbx
setne %al
testb $0x3, %r13b
sete %r14b
andb %al, %r14b
cmpb $0x1, %r14b
jne 0x47d70
incl (%rbx)
cmpl $0x2, (%r13)
jb 0x47e66
movl $0x88, %esi
pushq $0x1
popq %rdi
callq 0x50c0
testq %rax, %rax
je 0x48ca1
movl $0x88, %edx
movq %rax, -0x40(%rbp)
movq -0x40(%rbp), %rdi
movq %r13, %rsi
callq 0x50e0
movq -0x40(%rbp), %rsi
movq 0x10(%rsi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x47dc3
incl (%rax)
movq %r15, 0x18(%rsi)
movq 0x30(%rsi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x47de0
incl (%rax)
movq 0x40(%rsi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x47df9
incl (%rax)
movq 0x50(%rsi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x47e12
incl (%rax)
movq 0x60(%rsi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x47e2b
incl (%rax)
movq 0x70(%rsi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x47e44
incl (%rax)
movq 0x80(%rsi), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x47e60
incl (%rax)
decl (%r13)
jmp 0x47e6e
movq %r15, 0x18(%r13)
movq %r13, -0x40(%rbp)
testb %r14b, %r14b
je 0x47e86
decl (%rbx)
jne 0x47e86
movq %r13, %rdi
leaq 0xc16d0(%rip), %rsi     # 0x109551
callq 0xce94
movq -0x38(%rbp), %rdi
movq %r15, %rsi
leaq -0x130(%rbp), %rdx
callq 0x2df0c
movq -0x130(%rbp), %rdi
movq %r15, %rsi
leaq -0xc8(%rbp), %rdx
callq 0x3c584
testb %al, %al
je 0x47ed4
movq -0xc8(%rbp), %rdi
movq -0x40(%rbp), %rsi
leaq -0x50(%rbp), %rdx
leaq -0x70(%rbp), %rcx
callq 0x4997c
movq -0x70(%rbp), %r13
jmp 0x48924
movq -0xc8(%rbp), %rdi
movq %r15, %rsi
leaq -0xc0(%rbp), %rdx
callq 0x24b09
cmpl $0x1, %eax
jne 0x48cc0
movq %rdx, %rdi
callq 0xd491
movq %rax, %rbx
movq 0x10c4b33(%rip), %r14   # 0x110ca38
testq %r14, %r14
jne 0x47f23
leaq 0x92d39(%rip), %rdi     # 0xdac4a
pushq $0xb
popq %rsi
callq 0x8a21
movq %rax, %r14
movq %rax, 0x10c4b15(%rip)   # 0x110ca38
movq %r14, %rax
andq %r12, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x47f39
incl (%rax)
movq -0x40(%rbp), %rcx
movq %rcx, %rax
andq %r12, %rax
movq %rax, -0x60(%rbp)
setne %al
testb $0x3, %cl
sete %dl
andb %al, %dl
movb %dl, -0x29(%rbp)
cmpb $0x1, %dl
jne 0x47f60
movq -0x60(%rbp), %rax
incl (%rax)
movl 0x58(%rcx), %r12d
movq 0x60(%rcx), %r13
movq %r13, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %r13b
setne %dl
orb %cl, %dl
jne 0x47f88
incl (%rax)
cmpb $0x0, -0x29(%rbp)
je 0x47fa6
movq -0x60(%rbp), %rax
decl (%rax)
jne 0x47fa6
movq -0x40(%rbp), %rdi
leaq 0xc15b0(%rip), %rsi     # 0x109551
callq 0xce94
movq -0xc0(%rbp), %rdi
movl %r12d, %esi
movq %r13, %rdx
leaq -0x128(%rbp), %rcx
callq 0x4a037
xorb $0x1, %al
movq %rbx, %rdx
shrq $0x30, %rdx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
andq %r12, %rbx
movq -0x128(%rbp), %rcx
leaq -0xb8(%rbp), %rsi
movq %rsi, 0x10(%rsp)
leaq -0x120(%rbp), %rsi
movq %rsi, 0x8(%rsp)
movq %rcx, (%rsp)
movzbl %al, %r9d
movq %r14, %rdi
movq %r15, %rsi
movq %rbx, %rcx
xorl %r8d, %r8d
callq 0x25fba
movq -0xb8(%rbp), %rax
movl 0x20(%rax), %edi
movq 0x28(%rax), %rcx
movq %rcx, %rax
andq %r12, %rax
sete %dl
testb $0x3, %cl
setne %sil
orb %dl, %sil
jne 0x48032
incl (%rax)
xorl %ebx, %ebx
xorl %r14d, %r14d
xorl %r13d, %r13d
xorl %r15d, %r15d
movb $0x1, %dl
movq %rcx, %rax
testb $0x1, %dl
je 0x481bc
xorl %edx, %edx
movl $0x0, %ecx
testl %edi, %edi
je 0x4803f
cmpl $0x1, %edi
jne 0x48be6
movl %r13d, -0x80(%rbp)
movq %r15, -0x88(%rbp)
movq %r14, -0x90(%rbp)
movq %rbx, -0x38(%rbp)
movq %rax, %rdi
leaq -0x50(%rbp), %rsi
callq 0xce01
movq %rax, %r12
movq %rdx, %rbx
movq %rax, %r14
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %r14
testb $0x1, %bl
je 0x480b0
testq %r14, %r14
sete %al
testb $0x3, %r12b
setne %cl
orb %al, %cl
jne 0x480b0
incl (%r14)
movq %r12, %r15
shrq $0x30, %r15
movl %r15d, %edi
movq %r14, %rsi
callq 0x2d2e8
movl %eax, %r13d
movq %rdx, %rax
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq %rcx, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x480fe
decl (%rax)
jne 0x480fe
movq %r13, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xc01c8(%rip), %rsi     # 0x1082c1
callq 0xce94
movq %r13, %rdi
callq 0xd86d
movq %rax, %rdi
pushq $0x1
popq %rsi
callq 0xd759
testb %al, %al
je 0x4816a
movl %r15d, %edi
movq %r14, %rsi
callq 0x26334
movq %rax, %rdi
leaq 0xc0e87(%rip), %rsi     # 0x108fb1
callq 0x1e400
movq %rdx, %rdi
callq 0x1e79d
movq %rax, %rdi
movq %rdx, %rsi
movl -0x80(%rbp), %edx
movq -0x88(%rbp), %rcx
callq 0xcf39
movq %rdx, %r15
pushq $0x1
popq %r13
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq -0x38(%rbp), %rbx
movq -0x90(%rbp), %r14
jmp 0x481b0
movq %r12, %rdi
movq %rbx, %rsi
callq 0x1e454
movq %rdx, %rdi
callq 0x1e7e4
movq %rax, %rdi
movq %rdx, %rsi
movq -0x38(%rbp), %rdx
movq -0x90(%rbp), %rcx
callq 0xcf39
movq %rdx, %r14
pushq $0x1
popq %rax
movl %eax, %ebx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movq -0x88(%rbp), %r15
movl -0x80(%rbp), %r13d
movl -0x50(%rbp), %edi
movq -0x48(%rbp), %rcx
jmp 0x4803d
movq %rax, %rcx
andq %r12, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x481e7
decl (%rcx)
jne 0x481e7
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xc0097(%rip), %rsi     # 0x108279
callq 0xce94
movl %r13d, %edi
movq %r15, %rsi
callq 0xcd32
movl %eax, %r12d
movq %rdx, %r13
movl %ebx, %edi
movq %r14, %rsi
callq 0xcd32
movl %eax, %r14d
movq %rdx, %r15
movq -0xb8(%rbp), %rbx
movl 0x30(%rbx), %edx
movq 0x38(%rbx), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rsi   # imm = 0xFFFFFFFFFFFC
andq %rsi, %rax
sete %sil
testb $0x3, %cl
setne %dil
orb %sil, %dil
jne 0x48238
incl (%rax)
movl %r12d, %edi
movq %r13, %rsi
callq 0x26383
movl %eax, %r12d
movq %rdx, %r13
movq 0x38(%rbx), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x48285
movl 0x30(%rbx), %edi
decl (%rcx)
jne 0x48285
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xbfff9(%rip), %rsi     # 0x108279
callq 0xce94
movl %r12d, 0x30(%rbx)
movq %r13, 0x38(%rbx)
movq 0x28(%rbx), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
andq %r12, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x482c9
movl 0x20(%rbx), %edi
decl (%rcx)
jne 0x482c9
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xbffb5(%rip), %rsi     # 0x108279
callq 0xce94
movl %r14d, 0x20(%rbx)
movq %r15, 0x28(%rbx)
movq -0x120(%rbp), %rdi
movq %rbx, %rsi
leaq -0x118(%rbp), %rdx
leaq -0x190(%rbp), %rcx
callq 0x3d5e8
movq -0x118(%rbp), %rdi
movq -0x190(%rbp), %rsi
leaq -0x188(%rbp), %rdx
leaq -0x110(%rbp), %rcx
callq 0x263b9
movb -0x29(%rbp), %r15b
testb %r15b, %r15b
je 0x4831e
movq -0x60(%rbp), %rax
incl (%rax)
movq -0x40(%rbp), %rax
movl 0x58(%rax), %ebx
movq 0x60(%rax), %r14
movq %r14, %rax
andq %r12, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x4833f
incl (%rax)
testb %r15b, %r15b
je 0x4835c
movq -0x60(%rbp), %rax
decl (%rax)
jne 0x4835c
movq -0x40(%rbp), %rdi
leaq 0xc11fa(%rip), %rsi     # 0x109551
callq 0xce94
movq -0x188(%rbp), %rdi
movl %ebx, %esi
movq %r14, %rdx
leaq -0x108(%rbp), %rcx
callq 0x4a037
testb %al, %al
je 0x48472
testb %r15b, %r15b
je 0x48387
movq -0x60(%rbp), %rax
incl (%rax)
movq -0x40(%rbp), %rax
movl 0x58(%rax), %ebx
movq 0x60(%rax), %r14
movq %r14, %rax
andq %r12, %rax
sete %cl
testb $0x3, %r14b
setne %dl
orb %cl, %dl
jne 0x483a8
incl (%rax)
testb %r15b, %r15b
je 0x483c5
movq -0x60(%rbp), %rax
decl (%rax)
jne 0x483c5
movq -0x40(%rbp), %rdi
leaq 0xc1191(%rip), %rsi     # 0x109551
callq 0xce94
movq -0x108(%rbp), %rdi
movl %ebx, %esi
movq %r14, %rdx
leaq -0x180(%rbp), %rcx
callq 0x4a0ee
movl %eax, %ebx
movq %rdx, %r15
movq -0x110(%rbp), %r13
movq 0x8(%r13), %rsi
movq -0x180(%rbp), %rdi
leaq -0x100(%rbp), %rdx
callq 0x2df97
movl %eax, %r14d
movq %rdx, %rax
andq %r12, %rax
sete %cl
testb $0x3, %dl
setne %sil
orb %cl, %sil
jne 0x48432
decl (%rax)
jne 0x48432
movq %r14, %rdi
shlq $0x30, %rdi
orq %rdx, %rdi
leaq 0xbfe94(%rip), %rsi     # 0x1082c1
callq 0xce94
movq %r14, %rdi
callq 0xd86d
movq %rax, %rdi
pushq $0x1
popq %rsi
callq 0xd759
testb %al, %al
je 0x48485
movq -0x100(%rbp), %rdi
movq %r13, %rsi
movl %ebx, %edx
movq %r15, %rcx
leaq -0x50(%rbp), %r8
leaq -0x70(%rbp), %r9
callq 0x267d7
movq -0x70(%rbp), %r14
movq -0x50(%rbp), %rdi
jmp 0x48878
movq -0x110(%rbp), %r14
movq -0x108(%rbp), %rdi
jmp 0x4887c
movl 0x20(%r13), %edi
movq 0x28(%r13), %rax
movq %rax, %rcx
andq %r12, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x484a3
incl (%rcx)
movq $0x0, -0xa8(%rbp)
movb $0x1, %cl
movq -0x100(%rbp), %rdx
movq %rdx, -0x38(%rbp)
movq $0x0, -0x80(%rbp)
movl $0x0, -0x74(%rbp)
movq $0x0, -0xa0(%rbp)
testb $0x1, %cl
je 0x48714
movl %ebx, -0x50(%rbp)
movl %r14d, -0x4c(%rbp)
movq %r15, -0x48(%rbp)
testl %edi, %edi
je 0x4866e
cmpl $0x1, %edi
jne 0x48be6
movq %rax, %rdi
leaq -0x70(%rbp), %rsi
callq 0xce01
movq %rax, %r12
movq %rdx, %rsi
movq -0x48(%rbp), %rcx
movq %rcx, %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rax
sete %dl
testb $0x3, %cl
setne %cl
orb %dl, %cl
jne 0x4852f
incl (%rax)
movq %r13, -0x90(%rbp)
movq %r12, %rbx
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq %rax, %rbx
movq %rsi, -0x88(%rbp)
testb $0x1, %sil
je 0x48566
testq %rbx, %rbx
sete %al
testb $0x3, %r12b
setne %cl
orb %al, %cl
jne 0x48566
incl (%rbx)
movq %r12, %r14
shrq $0x30, %r14
movq -0x38(%rbp), %rdi
movl %r14d, %esi
movq %rbx, %rdx
leaq -0x178(%rbp), %rcx
callq 0x2b1e9
movl 0x8(%rax), %r13d
movq 0x10(%rax), %r15
movq %r15, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x485ad
incl (%rcx)
movq %rax, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x485de
decl (%rcx)
jne 0x485de
movq %rax, %rdi
leaq 0xc0168(%rip), %rsi     # 0x108741
callq 0xce94
movq -0x178(%rbp), %rdi
movups -0x50(%rbp), %xmm0
movups %xmm0, (%rsp)
movq -0x90(%rbp), %rsi
movl %r13d, %edx
movq %r15, %rcx
leaq -0xf8(%rbp), %r8
leaq -0xe0(%rbp), %r9
callq 0x2bee9
testb %al, %al
je 0x48677
movq %r12, %rdi
movq -0x88(%rbp), %rsi
callq 0x1e454
movq %rdx, %rdi
movl -0x50(%rbp), %ebx
movl -0x4c(%rbp), %r14d
movq -0x48(%rbp), %r15
movq -0xe0(%rbp), %r13
movq -0xf8(%rbp), %rax
movq %rax, -0x38(%rbp)
callq 0x1e7e4
movq %rax, %rdi
movq %rdx, %rsi
movq -0xa8(%rbp), %rdx
movq -0x80(%rbp), %rcx
callq 0xcf39
movq %rdx, -0x80(%rbp)
pushq $0x1
popq %rax
movq %rax, -0xa8(%rbp)
jmp 0x486fc
xorl %ecx, %ecx
xorl %eax, %eax
jmp 0x484d5
pushq $0x1
popq %rdi
pushq $0x18
popq %rsi
callq 0x50c0
testq %rax, %rax
je 0x48c93
movl $0x1, (%rax)
movl %r14d, 0x8(%rax)
movq %rbx, 0x10(%rax)
movabsq $0x5000000000000, %rcx  # imm = 0x5000000000000
orq %rcx, %rax
movq %rax, %rdi
leaq 0xc0901(%rip), %rsi     # 0x108fb1
callq 0x1e400
movq %rdx, %rdi
movl -0x50(%rbp), %ebx
movl -0x4c(%rbp), %r14d
movq -0x48(%rbp), %r15
movq -0xe0(%rbp), %r13
movq -0xf8(%rbp), %rax
movq %rax, -0x38(%rbp)
callq 0x1e79d
movq %rax, %rdi
movq %rdx, %rsi
movl -0x74(%rbp), %edx
movq -0xa0(%rbp), %rcx
callq 0xcf39
movq %rdx, -0xa0(%rbp)
pushq $0x1
popq %rax
movl %eax, -0x74(%rbp)
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
movl -0x70(%rbp), %edi
movq -0x68(%rbp), %rax
movb $0x1, %cl
jmp 0x484d5
movq %r13, %r14
movq %rax, %rcx
andq %r12, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x48742
decl (%rcx)
jne 0x48742
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xbfb3c(%rip), %rsi     # 0x108279
callq 0xce94
movl -0x74(%rbp), %edi
movq -0xa0(%rbp), %rsi
callq 0xcd32
movl %eax, %r12d
movq %rdx, %r13
movq -0xa8(%rbp), %rdi
movq -0x80(%rbp), %rsi
callq 0xcd32
movl %eax, -0x90(%rbp)
movq %rdx, -0x88(%rbp)
movl 0x30(%r14), %edx
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 0x4879e
incl (%rax)
movl %r12d, %edi
movq %r13, %rsi
callq 0x26383
movl %eax, %r12d
movq %rdx, %r13
movq 0x38(%r14), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x487ec
movl 0x30(%r14), %edi
decl (%rcx)
jne 0x487ec
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xbfa92(%rip), %rsi     # 0x108279
callq 0xce94
movl %r12d, 0x30(%r14)
movq %r13, 0x38(%r14)
movq 0x28(%r14), %rax
movq %rax, %rcx
movabsq $0xfffffffffffc, %r12   # imm = 0xFFFFFFFFFFFC
andq %r12, %rcx
sete %dl
testb $0x3, %al
setne %sil
orb %dl, %sil
jne 0x48831
movl 0x20(%r14), %edi
decl (%rcx)
jne 0x48831
shlq $0x30, %rdi
orq %rax, %rdi
leaq 0xbfa4d(%rip), %rsi     # 0x108279
callq 0xce94
movl -0x90(%rbp), %eax
movl %eax, 0x20(%r14)
movq -0x88(%rbp), %rax
movq %rax, 0x28(%r14)
movq %r15, %rax
andq %r12, %rax
sete %cl
testb $0x3, %r15b
setne %dl
orb %cl, %dl
jne 0x48874
decl (%rax)
jne 0x48874
shlq $0x30, %rbx
orq %r15, %rbx
movq %rbx, %rdi
leaq 0xbfa0a(%rip), %rsi     # 0x108279
callq 0xce94
movq -0x38(%rbp), %rdi
movb -0x29(%rbp), %r15b
movq %r14, %rsi
leaq -0x50(%rbp), %rdx
callq 0x27e9f
testl %eax, %eax
je 0x488ec
cmpl $0x1, %eax
jne 0x48be6
movq %rdx, %rdi
callq 0xd491
movq %rax, %rdi
shrq $0x30, %rdi
andq %r12, %rax
movq %rax, %rsi
callq 0x2d2e8
testl %eax, %eax
je 0x488ec
cmpl $0x1, %eax
jne 0x48be6
movq %rdx, %rdi
callq 0xd491
movq -0x50(%rbp), %rdi
movq -0x40(%rbp), %rsi
movq %rax, %rdx
leaq -0x70(%rbp), %rcx
leaq -0xe0(%rbp), %r8
callq 0x4a2d3
movq -0xe0(%rbp), %r13
movq -0x70(%rbp), %rax
jmp 0x48928
testb %r15b, %r15b
je 0x488f7
movq -0x60(%rbp), %rax
incl (%rax)
movq -0x40(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x4a619
movq %rax, %r13
testb %r15b, %r15b
je 0x48924
movq -0x60(%rbp), %rax
decl (%rax)
jne 0x48924
movq -0x40(%rbp), %rdi
leaq 0xc0c32(%rip), %rsi     # 0x109551
callq 0xce94
movq -0x50(%rbp), %rax
movq %rax, -0x38(%rbp)
movl -0x140(%rbp), %eax
movq -0x138(%rbp), %rdx
jmp 0x47d23
movq %rdi, %rcx
andq %r12, %rcx
sete %dl
testb $0x3, %dil
setne %sil
orb %dl, %sil
jne 0x4896e
decl (%rcx)
jne 0x4896e
shlq $0x30, %rax
orq %rdi, %rax
movq %rax, %rdi
leaq 0xbf910(%rip), %rsi     # 0x108279
callq 0xce94
movq %r13, %rbx
andq %r12, %rbx
setne %cl
testb $0x3, %r13b
sete %al
andb %cl, %al
cmpb $0x1, %al
jne 0x48986
incl (%rbx)
movl 0x38(%r13), %ecx
movl %ecx, -0x40(%rbp)
movq 0x40(%r13), %r15
movq %r15, %rcx
andq %r12, %rcx
sete %dl
testb $0x3, %r15b
setne %sil
orb %dl, %sil
jne 0x489a9
incl (%rcx)
testb %al, %al
je 0x489cc
movl (%rbx), %eax
movl %eax, %ecx
decl %ecx
movl %ecx, (%rbx)
jne 0x489ca
movq %r13, %rdi
leaq 0xc0b90(%rip), %rsi     # 0x109551
callq 0xce94
movl (%rbx), %eax
incl %eax
movl %eax, (%rbx)
movq %r13, %rdi
callq 0x48ead
movq -0x98(%rbp), %rcx
movl 0x40(%rcx), %r8d
movq 0x48(%rcx), %rcx
movq %rcx, %rsi
andq %r12, %rsi
sete %dil
testb $0x3, %cl
setne %r9b
orb %dil, %r9b
jne 0x489fb
incl (%rsi)
movl %eax, %edi
movq %rdx, %rsi
movl %r8d, %edx
callq 0x1e896
movq -0x98(%rbp), %rcx
movl (%rcx), %r12d
movq 0x8(%rcx), %rbx
movq %rbx, %rcx
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rdx, %rcx
sete %dl
testb $0x3, %bl
setne %sil
orb %dl, %sil
jne 0x48a37
incl (%rcx)
leaq -0x50(%rbp), %r14
leaq -0x70(%rbp), %rdx
movq %rax, %rdi
movq %r14, %rsi
callq 0x36e55
movq 0x8(%r14), %rax
movabsq $0xfffffffffffc, %rdx   # imm = 0xFFFFFFFFFFFC
andq %rax, %rdx
sete %cl
testb $0x3, %al
setne %al
orb %cl, %al
jne 0x48a69
incl (%rdx)
movq -0xb0(%rbp), %rax
leaq 0x1(%rax), %rcx
xorl %edx, %edx
cmpq %rax, -0x158(%rbp)
cmovbeq %rdx, %rcx
xorps %xmm0, %xmm0
movaps %xmm0, -0xe0(%rbp)
movups %xmm0, 0x20(%rsp)
movups -0x50(%rbp), %xmm0
movups %xmm0, 0x10(%rsp)
movups %xmm0, (%rsp)
movl %r12d, %edi
movq %rbx, %rsi
movq %rcx, %rdx
movl -0x40(%rbp), %r8d
movq %r15, %r9
callq 0x3f209
leaq -0x140(%rbp), %rbx
leaq -0x130(%rbp), %r14
movq -0x38(%rbp), %rdi
movq %rax, %rsi
movq %rbx, %rdx
movq %r14, %rcx
callq 0x469df
movq (%r14), %rdi
leaq -0xc8(%rbp), %r14
movq %r14, %rsi
callq 0x3f5b0
movq %rax, %r15
movq (%rbx), %rdi
leaq -0xc0(%rbp), %r12
movq %rax, %rsi
movq %r12, %rdx
callq 0x25802
cmpq %r15, 0x10c38f5(%rip)   # 0x110c3f8
leaq 0x1(%r15), %rbx
movl $0x0, %ecx
cmovbeq %rcx, %rbx
testb %al, %al
cmoveq %r15, %rbx
movq (%r14), %rsi
movq (%r12), %rdi
movl -0x70(%rbp), %edx
movq -0x68(%rbp), %rcx
leaq -0x128(%rbp), %r14
leaq -0x120(%rbp), %r15
movq %r14, %r8
movq %r15, %r9
callq 0x3faad
movq (%r15), %rsi
movq %r13, %rdi
callq 0x49059
movq (%r14), %rdi
leaq -0xb8(%rbp), %r14
leaq -0x118(%rbp), %r15
movq -0x98(%rbp), %rsi
movq %rax, %rdx
movq %r14, %rcx
movq %r15, %r8
callq 0x490a8
movq (%r15), %rax
movq -0x160(%rbp), %rcx
movq %rax, (%rcx)
movq (%r14), %rax
movq -0x168(%rbp), %rcx
movq %rax, (%rcx)
movq %rbx, %rax
addq $0x1e8, %rsp            # imm = 0x1E8
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
testl %eax, %eax
jne 0x48be6
movq 0x10c3e78(%rip), %rdx   # 0x110ca20
testq %rdx, %rdx
jne 0x48bc6
leaq 0x90e30(%rip), %rdi     # 0xd99e4
pushq $0x26
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x10c3e5a(%rip)   # 0x110ca20
andq %rdx, -0x58(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x48bdd
movq -0x58(%rbp), %rax
incl (%rax)
movq -0xf0(%rbp), %rdi
jmp 0x48c3c
leaq 0x8bc20(%rip), %rdi     # 0xd480d
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdi
callq 0x8cc6
movq 0x10c3e24(%rip), %rdx   # 0x110ca28
testq %rdx, %rdx
jne 0x48c22
leaq 0x90dfb(%rip), %rdi     # 0xd9a0b
pushq $0x10
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x10c3e06(%rip)   # 0x110ca28
andq %rdx, -0x58(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x48c39
movq -0x58(%rbp), %rax
incl (%rax)
movq %r14, %rdi
movq %rbx, %rsi
callq 0x246fe
movq 0x10c3de5(%rip), %rdx   # 0x110ca30
testq %rdx, %rdx
jne 0x48c69
leaq 0x90dc5(%rip), %rdi     # 0xd9a1c
pushq $0x20
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x10c3dc7(%rip)   # 0x110ca30
andq %rdx, -0x58(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x48c80
movq -0x58(%rbp), %rax
incl (%rax)
movq -0xe8(%rbp), %rdi
movq -0xb0(%rbp), %rsi
callq 0x246fe
leaq 0x90f69(%rip), %rsi     # 0xd9c03
pushq $0x2
popq %rdi
pushq $0x31
jmp 0x48cad
leaq 0x90de3(%rip), %rsi     # 0xd9a8b
pushq $0x2
popq %rdi
pushq $0x33
popq %rdx
callq 0x5060
callq 0x52ae
pushq $0x1
popq %rdi
callq 0x5130
movq 0x10c3d79(%rip), %rdx   # 0x110ca40
testq %rdx, %rdx
jne 0x48ce5
leaq 0x90d9d(%rip), %rdi     # 0xd9a70
pushq $0x1a
popq %rsi
callq 0x8a21
movq %rax, %rdx
movq %rax, 0x10c3d5b(%rip)   # 0x110ca40
andq %rdx, -0x58(%rbp)
sete %al
testb $0x3, %dl
setne %cl
orb %al, %cl
jne 0x48cfc
movq -0x58(%rbp), %rax
incl (%rax)
movq -0xc0(%rbp), %rdi
movq %r15, %rsi
callq 0x246fe