// File: /workspace/github_c_makefile_star2_O0/mirth-lang[P]mirth/bin/mirth1.c
// Function: mw_mirth_elab_zaAB_worthzeslidingzeforzeaux
static bool mw_mirth_elab_zaAB_worthzeslidingzeforzeaux (struct mirth_mirth_zaMirth* in_zaMirth_1, struct mirth_arrow_Arrow* in_zaAB_2, struct std_list_List_1 in_List_3, struct std_list_List_1 in_List_4, struct mirth_mirth_zaMirth* *out_zaMirth_5, struct mirth_arrow_Arrow* *out_zaAB_6) {
	struct mirth_mirth_zaMirth* branch_zaMirth_8;
	struct mirth_arrow_Arrow* branch_zaAB_9;
	bool branch_Bool_10;
	switch ((in_List_4).tag) {
		case std_list_List_1_Nil: {
			decref(MK_std_list_List_1(in_List_3));
			bool v11 = false;
			branch_Bool_10 = v11;
			branch_zaAB_9 = in_zaAB_2;
			branch_zaMirth_8 = in_zaMirth_1;
		} break;
		case std_list_List_1_Cons: {
			struct std_list_List_1 v12;
			VAL v13 = mtp_std_list_List_1_Cons(in_List_4, &v12);
			struct mirth_mirth_zaMirth* branch_zaMirth_14;
			struct mirth_arrow_Arrow* branch_zaAB_15;
			bool branch_Bool_16;
			switch ((in_List_3).tag) {
				case std_list_List_1_Nil: {
					decref(v13);
					decref(MK_std_list_List_1(v12));
					bool v17 = false;
					branch_Bool_16 = v17;
					branch_zaAB_15 = in_zaAB_2;
					branch_zaMirth_14 = in_zaMirth_1;
				} break;
				case std_list_List_1_Cons: {
					struct std_list_List_1 v18;
					VAL v19 = mtp_std_list_List_1_Cons(in_List_3, &v18);
					incref(v13);
					struct mirth_mirth_zaMirth* v20;
					bool v21 = mw_mirth_tycon_Tycon_zd(in_zaMirth_1, V_mirth_tycon_Tycon(v19), V_mirth_tycon_Tycon(v13), &v20);
					struct mirth_mirth_zaMirth* branch_zaMirth_22;
					struct mirth_arrow_Arrow* branch_zaAB_23;
					bool branch_Bool_24;
					if (v21) {
						decref(v13);
						struct mirth_mirth_zaMirth* v25;
						struct mirth_arrow_Arrow* v26;
						bool v27 = mw_mirth_elab_zaAB_worthzeslidingzeforzeaux(v20, in_zaAB_2, v18, v12, &v25, &v26);
						branch_Bool_24 = v27;
						branch_zaAB_23 = v26;
						branch_zaMirth_22 = v25;
					} else {
						decref(MK_std_list_List_1(v12));
						struct std_maybe_Maybe_1 v28 = { .tag=std_maybe_Maybe_1_None };
						bool v29 = true;
						struct mirth_mirth_zaMirth* r30 = v20;
						VAL v31 = v13;
						struct std_maybe_Maybe_1 v32 = v28;
						struct std_list_List_1 v33 = v18;
						bool v34 = v29;
						bool v35 = v29;
						while (v35) {
							struct mirth_mirth_zaMirth* r36 = r30;
							VAL v37 = v31;
							struct std_maybe_Maybe_1 v38 = v32;
							struct std_list_List_1 v39 = v33;
							bool v40 = v34;
							struct std_list_List_1 v41;
							struct std_maybe_Maybe_1 v42 = mw_std_list_List_1_uncons(v39, &v41);
							struct mirth_mirth_zaMirth* branch_zaMirth_43;
							struct mirth_tycon_Tycon branch_Tycon_44;
							struct std_maybe_Maybe_1 branch_Maybe_45;
							struct std_list_List_1 branch_List_46;
							bool branch_Bool_47;
							switch ((v42).tag) {
								case std_maybe_Maybe_1_Some: {
									VAL v48 = mtp_std_maybe_Maybe_1_Some(v42);
									incref(v48);
									incref(v37);
									struct mirth_mirth_zaMirth* v49;
									bool v50 = mw_mirth_tycon_Tycon_zd(r36, V_mirth_tycon_Tycon(v37), V_mirth_tycon_Tycon(v48), &v49);
									struct mirth_mirth_zaMirth* branch_zaMirth_51;
									struct mirth_tycon_Tycon branch_Tycon_52;
									struct std_maybe_Maybe_1 branch_Maybe_53;
									if (v50) {
										struct std_maybe_Maybe_1 v54 = mtw_std_maybe_Maybe_1_Some(v48);
										branch_Maybe_53 = v54;
										branch_Tycon_52 = V_mirth_tycon_Tycon(v37);
										branch_zaMirth_51 = v49;
									} else {
										decref(v48);
										struct std_maybe_Maybe_1 v55 = { .tag=std_maybe_Maybe_1_None };
										branch_Maybe_53 = v55;
										branch_Tycon_52 = V_mirth_tycon_Tycon(v37);
										branch_zaMirth_51 = v49;
									}
									struct mirth_mirth_zaMirth* branch_zaMirth_56;
									struct mirth_tycon_Tycon branch_Tycon_57;
									struct std_maybe_Maybe_1 branch_Maybe_58;
									struct std_list_List_1 branch_List_59;
									switch ((branch_Maybe_53).tag) {
										case std_maybe_Maybe_1_None: {
											branch_List_59 = v41;
											branch_Maybe_58 = v38;
											branch_Tycon_57 = branch_Tycon_52;
											branch_zaMirth_56 = branch_zaMirth_51;
										} break;
										default: {
											decref(MK_std_list_List_1(v41));
											decref(MK_std_maybe_Maybe_1(v38));
											struct std_list_List_1 v60 = { .tag=std_list_List_1_Nil };
											branch_List_59 = v60;
											branch_Maybe_58 = branch_Maybe_53;
											branch_Tycon_57 = branch_Tycon_52;
											branch_zaMirth_56 = branch_zaMirth_51;
										} break;
									}
									bool v61 = true;
									branch_Bool_47 = v61;
									branch_List_46 = branch_List_59;
									branch_Maybe_45 = branch_Maybe_58;
									branch_Tycon_44 = branch_Tycon_57;
									branch_zaMirth_43 = branch_zaMirth_56;
								} break;
								case std_maybe_Maybe_1_None: {
									bool v62 = false;
									branch_Bool_47 = v62;
									branch_List_46 = v41;
									branch_Maybe_45 = v38;
									branch_Tycon_44 = V_mirth_tycon_Tycon(v37);
									branch_zaMirth_43 = r36;
								} break;
								default: {
									do_panic(str_make("unexpected fallthrough in match\n", 32));
								}
							}
							v35 = branch_Bool_47;
							v34 = branch_Bool_47;
							v33 = branch_List_46;
							v32 = branch_Maybe_45;
							v31 = MK_mirth_tycon_Tycon(branch_Tycon_44);
							r30 = branch_zaMirth_43;
						}
						decref(MK_std_list_List_1(v33));
						decref(v31);
						int64_t v63 = (v32).tag;
						decref(MK_std_maybe_Maybe_1(v32));
						INT v64 = WRAP_I63(0LL);
						INT v65 = v64;
						INT v66 = i64_to_int(v63);
						bool v67 = int_eq(v66, v65);
						bool v68 = !v67;
						branch_Bool_24 = v68;
						branch_zaAB_23 = in_zaAB_2;
						branch_zaMirth_22 = r30;
					}
					branch_Bool_16 = branch_Bool_24;
					branch_zaAB_15 = branch_zaAB_23;
					branch_zaMirth_14 = branch_zaMirth_22;
				} break;
				default: {
					do_panic(str_make("unexpected fallthrough in match\n", 32));
				}
			}
			branch_Bool_10 = branch_Bool_16;
			branch_zaAB_9 = branch_zaAB_15;
			branch_zaMirth_8 = branch_zaMirth_14;
		} break;
		default: {
			do_panic(str_make("unexpected fallthrough in match\n", 32));
		}
	}
	*out_zaAB_6 = branch_zaAB_9;
	*out_zaMirth_5 = branch_zaMirth_8;
	return branch_Bool_10;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x5b0, %rsp            # imm = 0x5B0
movq 0x18(%rbp), %rax
movq 0x10(%rbp), %rax
movl %edx, -0x10(%rbp)
movq %rcx, -0x8(%rbp)
movl %r8d, -0x20(%rbp)
movq %r9, -0x18(%rbp)
movq %rdi, -0x28(%rbp)
movq %rsi, -0x30(%rbp)
movl -0x20(%rbp), %eax
movl %eax, -0x578(%rbp)
testl %eax, %eax
je 0x12131d
jmp 0x121309
movl -0x578(%rbp), %eax
subl $0x1, %eax
je 0x12141f
jmp 0x122594
jmp 0x12131f
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x12780
movq %rax, -0x58(%rbp)
movq %rdx, -0x50(%rbp)
movq -0x50(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1213f6
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x12780
movq %rax, -0x68(%rbp)
movq %rdx, -0x60(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x68(%rbp), %rax
cmpq $0x0, %rax
je 0x1213f6
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x12780
movq %rax, -0x78(%rbp)
movq %rdx, -0x70(%rbp)
movq -0x78(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1213f6
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x12780
movq %rax, -0x88(%rbp)
movq %rdx, -0x80(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x88(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1213f4
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
callq 0x12780
movq %rax, -0x98(%rbp)
movq %rdx, -0x90(%rbp)
movq -0x98(%rbp), %rdi
movq -0x90(%rbp), %rsi
callq 0x127c0
jmp 0x1213f6
jmp 0x1213f8
movb $0x0, -0x99(%rbp)
movb -0x99(%rbp), %al
andb $0x1, %al
movb %al, -0x41(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0x38(%rbp)
jmp 0x1225ad
movl -0x20(%rbp), %edi
movq -0x18(%rbp), %rsi
leaq -0xb0(%rbp), %rdx
callq 0x125e0
movq %rax, -0xc0(%rbp)
movq %rdx, -0xb8(%rbp)
movl -0x10(%rbp), %eax
movl %eax, -0x57c(%rbp)
testl %eax, %eax
je 0x121463
jmp 0x12144f
movl -0x57c(%rbp), %eax
subl $0x1, %eax
je 0x121619
jmp 0x122558
jmp 0x121465
movq -0xb8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1214d0
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xc0(%rbp), %rax
cmpq $0x0, %rax
je 0x1214d0
movq -0xc0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1214d0
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xc0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1214ce
movq -0xc0(%rbp), %rdi
movq -0xb8(%rbp), %rsi
callq 0x127c0
jmp 0x1214d0
jmp 0x1214d2
jmp 0x1214d4
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0xe8(%rbp)
movq %rdx, -0xe0(%rbp)
movq -0xe0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1215e7
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0xf8(%rbp)
movq %rdx, -0xf0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xf8(%rbp), %rax
cmpq $0x0, %rax
je 0x1215e7
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x108(%rbp)
movq %rdx, -0x100(%rbp)
movq -0x108(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1215e7
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x118(%rbp)
movq %rdx, -0x110(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x118(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1215e5
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x128(%rbp)
movq %rdx, -0x120(%rbp)
movq -0x128(%rbp), %rdi
movq -0x120(%rbp), %rsi
callq 0x127c0
jmp 0x1215e7
jmp 0x1215e9
movb $0x0, -0x129(%rbp)
movb -0x129(%rbp), %al
andb $0x1, %al
movb %al, -0xd1(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq -0x28(%rbp), %rax
movq %rax, -0xc8(%rbp)
jmp 0x122571
movl -0x10(%rbp), %edi
movq -0x8(%rbp), %rsi
leaq -0x140(%rbp), %rdx
callq 0x125e0
movq %rax, -0x150(%rbp)
movq %rdx, -0x148(%rbp)
movq -0xb8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x12168b
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xc0(%rbp), %rax
cmpq $0x0, %rax
je 0x12168b
movq -0xc0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x12168b
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xc0(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x12168d
movq -0x28(%rbp), %rax
movq %rax, -0x588(%rbp)
movq -0x150(%rbp), %rdi
movq -0x148(%rbp), %rsi
callq 0x59cb0
movl %eax, -0x170(%rbp)
movq %rdx, -0x168(%rbp)
movq -0xc0(%rbp), %rdi
movq -0xb8(%rbp), %rsi
callq 0x59cb0
movq -0x588(%rbp), %rdi
movl %eax, -0x180(%rbp)
movq %rdx, -0x178(%rbp)
movl -0x170(%rbp), %esi
movq -0x168(%rbp), %rdx
movl -0x180(%rbp), %ecx
movq -0x178(%rbp), %r8
leaq -0x158(%rbp), %r9
callq 0x59e90
andb $0x1, %al
movb %al, -0x159(%rbp)
testb $0x1, -0x159(%rbp)
je 0x121802
jmp 0x12171c
movq -0xb8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x121787
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0xc0(%rbp), %rax
cmpq $0x0, %rax
je 0x121787
movq -0xc0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x121787
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0xc0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x121785
movq -0xc0(%rbp), %rdi
movq -0xb8(%rbp), %rsi
callq 0x127c0
jmp 0x121787
jmp 0x121789
movq -0x158(%rbp), %rdi
movq -0x30(%rbp), %rsi
movl -0x140(%rbp), %edx
movq -0x138(%rbp), %rcx
movl -0xb0(%rbp), %r8d
movq -0xa8(%rbp), %r9
leaq -0x1a0(%rbp), %r10
leaq -0x1a8(%rbp), %rax
movq %r10, (%rsp)
movq %rax, 0x8(%rsp)
callq 0x1212d0
andb $0x1, %al
movb %al, -0x1a9(%rbp)
movb -0x1a9(%rbp), %al
andb $0x1, %al
movb %al, -0x191(%rbp)
movq -0x1a8(%rbp), %rax
movq %rax, -0x190(%rbp)
movq -0x1a0(%rbp), %rax
movq %rax, -0x188(%rbp)
jmp 0x12252c
jmp 0x121804
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x1c0(%rbp)
movq %rdx, -0x1b8(%rbp)
movq -0x1b8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x121917
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x1d0(%rbp)
movq %rdx, -0x1c8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x1d0(%rbp), %rax
cmpq $0x0, %rax
je 0x121917
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x1e0(%rbp)
movq %rdx, -0x1d8(%rbp)
movq -0x1e0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x121917
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x1f0(%rbp)
movq %rdx, -0x1e8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x1f0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x121915
movl -0xb0(%rbp), %edi
movq -0xa8(%rbp), %rsi
callq 0x12780
movq %rax, -0x200(%rbp)
movq %rdx, -0x1f8(%rbp)
movq -0x200(%rbp), %rdi
movq -0x1f8(%rbp), %rsi
callq 0x127c0
jmp 0x121917
jmp 0x121919
leaq -0x210(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movb $0x1, -0x211(%rbp)
movq -0x158(%rbp), %rax
movq %rax, -0x220(%rbp)
movq -0xc0(%rbp), %rax
movq %rax, -0x230(%rbp)
movq -0xb8(%rbp), %rax
movq %rax, -0x228(%rbp)
movq -0x210(%rbp), %rax
movq %rax, -0x240(%rbp)
movq -0x208(%rbp), %rax
movq %rax, -0x238(%rbp)
movq -0x140(%rbp), %rax
movq %rax, -0x250(%rbp)
movq -0x138(%rbp), %rax
movq %rax, -0x248(%rbp)
movb -0x211(%rbp), %al
andb $0x1, %al
movb %al, -0x251(%rbp)
movb -0x211(%rbp), %al
andb $0x1, %al
movb %al, -0x252(%rbp)
testb $0x1, -0x252(%rbp)
je 0x122203
movq -0x220(%rbp), %rax
movq %rax, -0x260(%rbp)
movups -0x230(%rbp), %xmm0
movaps %xmm0, -0x270(%rbp)
movups -0x240(%rbp), %xmm0
movaps %xmm0, -0x280(%rbp)
movups -0x250(%rbp), %xmm0
movaps %xmm0, -0x290(%rbp)
movb -0x251(%rbp), %al
andb $0x1, %al
movb %al, -0x291(%rbp)
movl -0x290(%rbp), %edi
movq -0x288(%rbp), %rsi
leaq -0x2a8(%rbp), %rdx
callq 0x2c490
movl %eax, -0x2b8(%rbp)
movq %rdx, -0x2b0(%rbp)
movl -0x2b8(%rbp), %eax
movl %eax, -0x58c(%rbp)
testl %eax, %eax
je 0x1220ae
jmp 0x121a40
movl -0x58c(%rbp), %eax
subl $0x1, %eax
jne 0x122147
jmp 0x121a51
movl -0x2b8(%rbp), %edi
movq -0x2b0(%rbp), %rsi
callq 0x174a0
movq %rax, -0x308(%rbp)
movq %rdx, -0x300(%rbp)
movq -0x300(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x121ac2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x308(%rbp), %rax
cmpq $0x0, %rax
je 0x121ac2
movq -0x308(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x121ac2
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x308(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x121ac4
jmp 0x121ac6
movq -0x268(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x121b17
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x270(%rbp), %rax
cmpq $0x0, %rax
je 0x121b17
movq -0x270(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x121b17
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x270(%rbp), %rax
movl (%rax), %ecx
addl $0x1, %ecx
movl %ecx, (%rax)
jmp 0x121b19
movq -0x260(%rbp), %rax
movq %rax, -0x598(%rbp)
movq -0x270(%rbp), %rdi
movq -0x268(%rbp), %rsi
callq 0x59cb0
movl %eax, -0x328(%rbp)
movq %rdx, -0x320(%rbp)
movq -0x308(%rbp), %rdi
movq -0x300(%rbp), %rsi
callq 0x59cb0
movq -0x598(%rbp), %rdi
movl %eax, -0x338(%rbp)
movq %rdx, -0x330(%rbp)
movl -0x328(%rbp), %esi
movq -0x320(%rbp), %rdx
movl -0x338(%rbp), %ecx
movq -0x330(%rbp), %r8
leaq -0x310(%rbp), %r9
callq 0x59e90
andb $0x1, %al
movb %al, -0x311(%rbp)
testb $0x1, -0x311(%rbp)
je 0x121c34
movq -0x308(%rbp), %rdi
movq -0x300(%rbp), %rsi
callq 0xca10
movl %eax, -0x370(%rbp)
movq %rdx, -0x368(%rbp)
movq -0x370(%rbp), %rax
movq %rax, -0x360(%rbp)
movq -0x368(%rbp), %rax
movq %rax, -0x358(%rbp)
movq -0x270(%rbp), %rdi
movq -0x268(%rbp), %rsi
callq 0x59cb0
movl %eax, -0x380(%rbp)
movq %rdx, -0x378(%rbp)
movq -0x380(%rbp), %rax
movq %rax, -0x350(%rbp)
movq -0x378(%rbp), %rax
movq %rax, -0x348(%rbp)
movq -0x310(%rbp), %rax
movq %rax, -0x340(%rbp)
jmp 0x121d1c
jmp 0x121c36
movq -0x300(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x121ca1
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x308(%rbp), %rax
cmpq $0x0, %rax
je 0x121ca1
movq -0x308(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x121ca1
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x308(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x121c9f
movq -0x308(%rbp), %rdi
movq -0x300(%rbp), %rsi
callq 0x127c0
jmp 0x121ca1
jmp 0x121ca3
leaq -0x390(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x390(%rbp), %rax
movq %rax, -0x360(%rbp)
movq -0x388(%rbp), %rax
movq %rax, -0x358(%rbp)
movq -0x270(%rbp), %rdi
movq -0x268(%rbp), %rsi
callq 0x59cb0
movl %eax, -0x3a0(%rbp)
movq %rdx, -0x398(%rbp)
movq -0x3a0(%rbp), %rax
movq %rax, -0x350(%rbp)
movq -0x398(%rbp), %rax
movq %rax, -0x348(%rbp)
movq -0x310(%rbp), %rax
movq %rax, -0x340(%rbp)
movl -0x360(%rbp), %eax
testl %eax, %eax
jne 0x121d8f
jmp 0x121d28
movq -0x2a8(%rbp), %rax
movq %rax, -0x3d8(%rbp)
movq -0x2a0(%rbp), %rax
movq %rax, -0x3d0(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x3c8(%rbp)
movq -0x278(%rbp), %rax
movq %rax, -0x3c0(%rbp)
movq -0x350(%rbp), %rax
movq %rax, -0x3b8(%rbp)
movq -0x348(%rbp), %rax
movq %rax, -0x3b0(%rbp)
movq -0x340(%rbp), %rax
movq %rax, -0x3a8(%rbp)
jmp 0x122032
jmp 0x121d91
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x3e8(%rbp)
movq %rdx, -0x3e0(%rbp)
movq -0x3e0(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x121ea4
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x3f8(%rbp)
movq %rdx, -0x3f0(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x3f8(%rbp), %rax
cmpq $0x0, %rax
je 0x121ea4
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x408(%rbp)
movq %rdx, -0x400(%rbp)
movq -0x408(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x121ea4
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x418(%rbp)
movq %rdx, -0x410(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x418(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x121ea2
movl -0x2a8(%rbp), %edi
movq -0x2a0(%rbp), %rsi
callq 0x12780
movq %rax, -0x428(%rbp)
movq %rdx, -0x420(%rbp)
movq -0x428(%rbp), %rdi
movq -0x420(%rbp), %rsi
callq 0x127c0
jmp 0x121ea4
jmp 0x121ea6
jmp 0x121ea8
movl -0x280(%rbp), %edi
movq -0x278(%rbp), %rsi
callq 0x133a0
movq %rax, -0x438(%rbp)
movq %rdx, -0x430(%rbp)
movq -0x430(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x121fbb
movl -0x280(%rbp), %edi
movq -0x278(%rbp), %rsi
callq 0x133a0
movq %rax, -0x448(%rbp)
movq %rdx, -0x440(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x448(%rbp), %rax
cmpq $0x0, %rax
je 0x121fbb
movl -0x280(%rbp), %edi
movq -0x278(%rbp), %rsi
callq 0x133a0
movq %rax, -0x458(%rbp)
movq %rdx, -0x450(%rbp)
movq -0x458(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x121fbb
movl -0x280(%rbp), %edi
movq -0x278(%rbp), %rsi
callq 0x133a0
movq %rax, -0x468(%rbp)
movq %rdx, -0x460(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x468(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x121fb9
movl -0x280(%rbp), %edi
movq -0x278(%rbp), %rsi
callq 0x133a0
movq %rax, -0x478(%rbp)
movq %rdx, -0x470(%rbp)
movq -0x478(%rbp), %rdi
movq -0x470(%rbp), %rsi
callq 0x127c0
jmp 0x121fbb
jmp 0x121fbd
leaq -0x488(%rbp), %rdi
xorl %esi, %esi
movl $0x10, %edx
callq 0x5080
movq -0x488(%rbp), %rax
movq %rax, -0x3d8(%rbp)
movq -0x480(%rbp), %rax
movq %rax, -0x3d0(%rbp)
movq -0x360(%rbp), %rax
movq %rax, -0x3c8(%rbp)
movq -0x358(%rbp), %rax
movq %rax, -0x3c0(%rbp)
movq -0x350(%rbp), %rax
movq %rax, -0x3b8(%rbp)
movq -0x348(%rbp), %rax
movq %rax, -0x3b0(%rbp)
movq -0x340(%rbp), %rax
movq %rax, -0x3a8(%rbp)
movb $0x1, -0x489(%rbp)
movb -0x489(%rbp), %al
andb $0x1, %al
movb %al, -0x2f1(%rbp)
movq -0x3d8(%rbp), %rax
movq %rax, -0x2f0(%rbp)
movq -0x3d0(%rbp), %rax
movq %rax, -0x2e8(%rbp)
movq -0x3c8(%rbp), %rax
movq %rax, -0x2e0(%rbp)
movq -0x3c0(%rbp), %rax
movq %rax, -0x2d8(%rbp)
movq -0x3b8(%rbp), %rax
movq %rax, -0x2d0(%rbp)
movq -0x3b0(%rbp), %rax
movq %rax, -0x2c8(%rbp)
movq -0x3a8(%rbp), %rax
movq %rax, -0x2c0(%rbp)
jmp 0x122160
movb $0x0, -0x48a(%rbp)
movb -0x48a(%rbp), %al
andb $0x1, %al
movb %al, -0x2f1(%rbp)
movq -0x2a8(%rbp), %rax
movq %rax, -0x2f0(%rbp)
movq -0x2a0(%rbp), %rax
movq %rax, -0x2e8(%rbp)
movq -0x280(%rbp), %rax
movq %rax, -0x2e0(%rbp)
movq -0x278(%rbp), %rax
movq %rax, -0x2d8(%rbp)
movq -0x270(%rbp), %rdi
movq -0x268(%rbp), %rsi
callq 0x59cb0
movl %eax, -0x4a0(%rbp)
movq %rdx, -0x498(%rbp)
movq -0x4a0(%rbp), %rax
movq %rax, -0x2d0(%rbp)
movq -0x498(%rbp), %rax
movq %rax, -0x2c8(%rbp)
movq -0x260(%rbp), %rax
movq %rax, -0x2c0(%rbp)
jmp 0x122160
leaq 0x231d33(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movb -0x2f1(%rbp), %al
andb $0x1, %al
movb %al, -0x252(%rbp)
movb -0x2f1(%rbp), %al
andb $0x1, %al
movb %al, -0x251(%rbp)
movq -0x2f0(%rbp), %rax
movq %rax, -0x250(%rbp)
movq -0x2e8(%rbp), %rax
movq %rax, -0x248(%rbp)
movq -0x2e0(%rbp), %rax
movq %rax, -0x240(%rbp)
movq -0x2d8(%rbp), %rax
movq %rax, -0x238(%rbp)
movl -0x2d0(%rbp), %edi
movq -0x2c8(%rbp), %rsi
callq 0x59b10
movq %rax, -0x4b0(%rbp)
movq %rdx, -0x4a8(%rbp)
movq -0x4b0(%rbp), %rax
movq %rax, -0x230(%rbp)
movq -0x4a8(%rbp), %rax
movq %rax, -0x228(%rbp)
movq -0x2c0(%rbp), %rax
movq %rax, -0x220(%rbp)
jmp 0x1219b1
jmp 0x122205
movl -0x250(%rbp), %edi
movq -0x248(%rbp), %rsi
callq 0x12780
movq %rax, -0x4c0(%rbp)
movq %rdx, -0x4b8(%rbp)
movq -0x4b8(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x122318
movl -0x250(%rbp), %edi
movq -0x248(%rbp), %rsi
callq 0x12780
movq %rax, -0x4d0(%rbp)
movq %rdx, -0x4c8(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x4d0(%rbp), %rax
cmpq $0x0, %rax
je 0x122318
movl -0x250(%rbp), %edi
movq -0x248(%rbp), %rsi
callq 0x12780
movq %rax, -0x4e0(%rbp)
movq %rdx, -0x4d8(%rbp)
movq -0x4e0(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x122318
movl -0x250(%rbp), %edi
movq -0x248(%rbp), %rsi
callq 0x12780
movq %rax, -0x4f0(%rbp)
movq %rdx, -0x4e8(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x4f0(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x122316
movl -0x250(%rbp), %edi
movq -0x248(%rbp), %rsi
callq 0x12780
movq %rax, -0x500(%rbp)
movq %rdx, -0x4f8(%rbp)
movq -0x500(%rbp), %rdi
movq -0x4f8(%rbp), %rsi
callq 0x127c0
jmp 0x122318
jmp 0x12231a
jmp 0x12231c
movq -0x228(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x122387
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x230(%rbp), %rax
cmpq $0x0, %rax
je 0x122387
movq -0x230(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x122387
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x230(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x122385
movq -0x230(%rbp), %rdi
movq -0x228(%rbp), %rsi
callq 0x127c0
jmp 0x122387
jmp 0x122389
movl -0x240(%rbp), %eax
movq %rax, -0x508(%rbp)
movl -0x240(%rbp), %edi
movq -0x238(%rbp), %rsi
callq 0x133a0
movq %rax, -0x518(%rbp)
movq %rdx, -0x510(%rbp)
movq -0x510(%rbp), %rax
andq $0x1, %rax
cmpq $0x0, %rax
je 0x1224a9
movl -0x240(%rbp), %edi
movq -0x238(%rbp), %rsi
callq 0x133a0
movq %rax, -0x528(%rbp)
movq %rdx, -0x520(%rbp)
movabsq $0xfffffffffffc, %rax   # imm = 0xFFFFFFFFFFFC
andq -0x528(%rbp), %rax
cmpq $0x0, %rax
je 0x1224a9
movl -0x240(%rbp), %edi
movq -0x238(%rbp), %rsi
callq 0x133a0
movq %rax, -0x538(%rbp)
movq %rdx, -0x530(%rbp)
movq -0x538(%rbp), %rax
andq $0x3, %rax
cmpq $0x0, %rax
jne 0x1224a9
movl -0x240(%rbp), %edi
movq -0x238(%rbp), %rsi
callq 0x133a0
movq %rax, -0x548(%rbp)
movq %rdx, -0x540(%rbp)
movabsq $0xfffffffffffc, %rcx   # imm = 0xFFFFFFFFFFFC
andq -0x548(%rbp), %rcx
movl (%rcx), %eax
addl $-0x1, %eax
movl %eax, (%rcx)
cmpl $0x0, %eax
jne 0x1224a7
movl -0x240(%rbp), %edi
movq -0x238(%rbp), %rsi
callq 0x133a0
movq %rax, -0x558(%rbp)
movq %rdx, -0x550(%rbp)
movq -0x558(%rbp), %rdi
movq -0x550(%rbp), %rsi
callq 0x127c0
jmp 0x1224a9
jmp 0x1224ab
movq 0x24c59e(%rip), %rax    # 0x36ea50
movq %rax, -0x560(%rbp)
movq -0x560(%rbp), %rax
movq %rax, -0x568(%rbp)
movq -0x508(%rbp), %rdi
callq 0x1a290
movq %rax, -0x570(%rbp)
movq -0x570(%rbp), %rdi
movq -0x568(%rbp), %rsi
callq 0x194b0
andb $0x1, %al
movb %al, -0x571(%rbp)
movb -0x571(%rbp), %al
xorb $-0x1, %al
andb $0x1, %al
movb %al, -0x572(%rbp)
movb -0x572(%rbp), %al
andb $0x1, %al
movb %al, -0x191(%rbp)
movq -0x30(%rbp), %rax
movq %rax, -0x190(%rbp)
movq -0x220(%rbp), %rax
movq %rax, -0x188(%rbp)
movb -0x191(%rbp), %al
andb $0x1, %al
movb %al, -0xd1(%rbp)
movq -0x190(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq -0x188(%rbp), %rax
movq %rax, -0xc8(%rbp)
jmp 0x122571
leaq 0x231922(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movb -0xd1(%rbp), %al
andb $0x1, %al
movb %al, -0x41(%rbp)
movq -0xd0(%rbp), %rax
movq %rax, -0x40(%rbp)
movq -0xc8(%rbp), %rax
movq %rax, -0x38(%rbp)
jmp 0x1225ad
leaq 0x2318e6(%rip), %rdi    # 0x353e81
movl $0x20, %esi
callq 0xb6c0
movq %rax, %rdi
callq 0xc620
movq -0x40(%rbp), %rcx
movq 0x18(%rbp), %rax
movq %rcx, (%rax)
movq -0x38(%rbp), %rcx
movq 0x10(%rbp), %rax
movq %rcx, (%rax)
movb -0x41(%rbp), %al
andb $0x1, %al
addq $0x5b0, %rsp            # imm = 0x5B0
popq %rbp
retq
nopw %cs:(%rax,%rax)