Function at 0x180055fc0
Capabilities:
Write file on windows

Disassembly:
mov qword [rsp + 0x18], rbx
push rbp
push rsi
push rdi
push r12
push r13
push r14
push r15
lea rbp, [rsp - 0x17]
sub rsp, 0x100
movaps xmmword [rsp + 0xf0], xmm6
mov rax, qword [0x1800923a0]
xor rax, rsp
mov qword [rbp - 9], rax
mov rax, qword [rbp + 0x7f]
mov r14, r9
mov r9d, r8d
mov dword [rsp + 0x40], r8d
mov r8, qword [rbp + 0x77]
mov r13, rdx
mov qword [rbp - 0x59], rdx
mov rsi, rcx
mov qword [rbp - 0x69], rcx
lea r10d, [r9 + 0x7ec]
mov qword [rbp - 0x71], r8
mov qword [rbp - 0x51], rax
mov dword [rsp + 0x50], r10d
cmp r9d, r10d
jae case.0x1800565ed.258
mov r15, qword [rbp - 0x69]
lea rdx, [0x180000000]
mov r12, qword [rbp - 0x79]
movsd xmm6, qword [rbp - 0x69]
mov rdi, qword [rbp - 0x69]
nop dword [rax + rax]
cmp r9d, 0xf3
ja 0x1800565cd
je 0x1800565c2
lea eax, [r9 - 0x1d]
cmp eax, 0xa6
ja case.0x1800565ed.262
movzx eax, byte [rdx + rax + 0x566fc]
mov ecx, dword [rdx + rax*4 + 0x566e0]
add rcx, rdx
jmp rcx
mov edx, dword [rsi]
test edx, edx
je 0x1800566a1
mov ecx, dword [r14 + 0x14]
add ecx, edx
cmp dword [r14 + 0x10], ecx
ja 0x1800560cf
mov dword [rsp + 0x48], edx
lea r8, [rsp + 0x48]
mov edx, 0x2b
mov qword [rsp + 0x20], 0
mov r9, r14
xor ecx, ecx
call fcn.18006de50
test eax, eax
je 0x180056684
mov r9d, dword [rsp + 0x40]
mov r10d, dword [rsp + 0x50]
cmp dword [r14 + 0x18], 0
je 0x18005614a
mov r8d, 0x53
nop dword [rax]
mov eax, r8d
sub eax, 0x53
je 0x18005612e
sub eax, 1
je 0x18005611d
cmp eax, 1
jne 0x180056141
cmp dword [r14 + 0x18], 0x40
jne 0x1800566a1
mov ecx, dword [r14 + 0x14]
mov rdx, qword [r14 + 8]
mov rax, qword [r14]
bswap rdx
mov qword [rax + rcx*8], rdx
inc dword [r14 + 0x14]
mov dword [r14 + 0x18], 0
jmp 0x180056141
mov eax, dword [rbp - 0x61]
mov ecx, eax
shl qword [r14 + 8], cl
sub dword [rsi], eax
add dword [r14 + 0x18], eax
jmp 0x180056141
mov ecx, dword [rsi]
mov eax, 0x40
sub eax, dword [r14 + 0x18]
cmp eax, ecx
cmovb ecx, eax
mov dword [rbp - 0x61], ecx
inc r8d
cmp r8d, 0x56
jb 0x1800560e0
cmp dword [rsi], 0x40
jb 0x18005664c
nop dword [rax]
nop word [rax + rax]
mov ecx, dword [r14 + 0x14]
mov rax, qword [r14]
mov qword [rax + rcx*8], 0
inc dword [r14 + 0x14]
add dword [rsi], 0xffffffc0
cmp dword [rsi], 0x40
jae 0x180056160
jmp 0x18005664c
inc dword [rsi + 8]
mov r9, r14
xor r8d, r8d
xor edx, edx
mov ecx, 0xdb
call fcn.180007ca0
mov ecx, 1
mov rbx, rax
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
mov r8, qword [rsi]
lea rdx, str._UnnamedClass_0x347f4af2_122_
mov rcx, rax
mov r9d, ebx
mov eax, dword [r13]
mov dword [rsp + 0x20], eax
call fcn.180077230
mov rax, qword [rbp - 0x59]
xor r13d, r13d
mov dword [rsp + 0x48], r13d
cmp qword [rax], r13
jbe 0x180056526
xor ebx, ebx
mov qword [rbp - 0x49], rbx
nop dword [rax + rax]
mov esi, 0x7a
mov dword [rsp + 0x58], esi
nop dword [rax]
mov eax, esi
sub eax, 0x7a
je 0x18005630b
sub eax, 1
je 0x18005626a
sub eax, 1
je 0x180056232
cmp eax, 1
jne 0x1800564f7
mov ecx, eax
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
mov rcx, rax
lea rdx, str.Z3_mk_context
mov rax, qword [rbp - 0x51]
mov r8d, dword [rax + rbx*8]
call fcn.180077230
jmp 0x1800564f7
mov rax, qword [rbp - 0x51]
mov ecx, 1
mov rax, qword [rax + rbx*8]
mov qword [rbp - 0x79], rax
mov rax, qword [rbp - 0x71]
mov rbx, qword [rax + rbx*8]
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
lea r9, [rbp - 0x79]
mov r8, rbx
mov rcx, rax
mov edx, 0xc6
call fcn.18000aed0
jmp 0x1800564f7
mov ecx, 1
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
mov r8d, r13d
lea rdx, str._3d:
mov rcx, rax
call fcn.180077230
mov ecx, 1
mov qword [rbp - 0x79], r12
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
lea r9, [rbp - 0x79]
mov r8, r15
mov rcx, rax
mov edx, 0xc6
call fcn.18000aed0
cmp r12, 0xa
jae 0x1800562df
mov ebx, 0xa
sub rbx, r12
add r12, rbx
nop dword [rax + rax]
mov ecx, 1
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
mov rdx, rax
mov ecx, 0x20
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fputc]
sub rbx, 1
jne 0x1800562c0
mov ecx, 1
inc r12
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll___acrt_iob_func]
mov edx, 1
lea rcx, [0x18008bb48]
mov r9, rax
lea r8d, [rdx + 2]
call qword [sym.imp.api_ms_win_crt_stdio_l1_1_0.dll_fwrite]
jmp 0x1800564f7
xor r12d, r12d
mov dword [rsp + 0x60], r13d
mov qword [rbp - 0x79], r12
mov r15d, 0x89
nop dword [rax]
mov eax, r15d
sub eax, 0x88
je 0x1800564d3
sub eax, 1
je 0x180056494
sub eax, 3
je 0x18005646c
sub eax, 1
je 0x1800563cf
cmp eax, 1
jne 0x1800564ba
lea rax, [rsp + 0x60]
mov rsi, 0xffffffffffffffff
nop
inc rsi
cmp byte [rax + rsi], 0
jne 0x180056360
mov rdx, qword [r14 + 0x18]
mov rcx, qword [r14 + 0x10]
mov rax, rdx
sub rax, rcx
cmp rsi, rax
ja 0x1800563ad
lea rax, [rcx + rsi]
mov qword [r14 + 0x10], rax
mov rax, r14
cmp rdx, 0x10
jb 0x180056390
mov rax, qword [r14]
lea rbx, [rax + rcx]
mov r8, rsi
mov rcx, rbx
lea rdx, [rsp + 0x60]
call sub.VCRUNTIME140.dll_memcpy
mov byte [rbx + rsi], 0
jmp 0x1800564ba
lea r9, [rsp + 0x60]
mov qword [rsp + 0x20], rsi
xor r8d, r8d
mov rdx, rsi
mov rcx, r14
call fcn.180001fa0
mov r13d, dword [rsp + 0x60]
jmp 0x1800564ba
mov rcx, qword [r14 + 0x10]
mov rdx, qword [r14 + 0x18]
cmp rcx, rdx
jae 0x1800563f8
lea rax, [rcx + 1]
mov qword [r14 + 0x10], rax
mov rax, r14
cmp rdx, 0x10
jb 0x1800563f0
mov rax, qword [r14]
mov word [rax + rcx], 0x3a
jmp 0x18005640a
xor r8d, r8d
mov r9b, 0x3a
mov rcx, r14
lea edx, [r8 + 1]
call fcn.180001e40
mov rcx, qword [r14 + 0x10]
mov rdx, qword [r14 + 0x18]
cmp rcx, rdx
jae 0x180056433
lea rax, [rcx + 1]
mov qword [r14 + 0x10], rax
mov rax, r14
cmp rdx, 0x10
jb 0x18005642b
mov rax, qword [r14]
mov word [rax + rcx], 0x20
jmp 0x180056445
xor r8d, r8d
mov r9b, 0x20
mov rcx, r14
lea edx, [r8 + 1]
call fcn.180001e40
lea rax, [rbp - 0x79]
mov r8, 0xffffffffffffffff
inc r8
cmp byte [rax + r8], 0
jne 0x180056450
lea rdx, [rbp - 0x79]
mov rcx, r14
call fcn.1800388e0
mov r12, qword [rbp - 0x79]
jmp 0x1800564ba
cmp qword [0x180092168], 0x10
lea rdx, [0x180092150]
mov r8, qword [0x180092160]
mov rcx, r14
cmovae rdx, qword [0x180092150]
call fcn.1800388e0
jmp 0x1800564ba
test r14, r14
je 0x1800564cc
cmp qword [r14 + 0x70], 0
je 0x1800564cc
mov eax, dword [r14 + 0x68]
dec eax
cmp r13d, eax
ja 0x1800564cc
mov rax, qword [r14 + 0x78]
mov ecx, r13d
mov r12, qword [rax + rcx*8]
mov qword [rbp - 0x79], r12
dec r15d
cmp r15d, 0x84
ja 0x180056320
jmp 0x1800564de
xor r12d, r12d
xor edi, edi
jmp 0x1800564eb
mov rdi, qword [r14 + 0x70]
mov eax, r13d
mov rdi, qword [rdi + rax*8]
cmp r12, 0xa
mov eax, 0xa
cmova r12, rax
mov r13d, dword [rsp + 0x48]
mov r15, rdi
mov esi, dword [rsp + 0x58]
mov rbx, qword [rbp - 0x49]
inc esi
mov dword [rsp + 0x58], esi
cmp esi, 0x7e
jb 0x1800561f0
mov rax, qword [rbp - 0x59]
inc r13d
mov ebx, r13d
mov dword [rsp + 0x48], r13d
mov qword [rbp - 0x49], rbx
cmp rbx, qword [rax]
jb 0x1800561e0
mov r13, qword [rbp - 0x59]
mov dword [rsp + 0x68], 0
jmp 0x180056642
mov rdx, qword [r14]
movsd xmm0, qword [r8]
call qword [r14 + 8]
mov rax, qword [rsi + 8]
movaps xmm6, xmm0
inc dword [rax]
jmp 0x180056642
mov eax, dword [r8]
lea rdx, [rbp - 0x49]
movups xmm0, xmmword [rsi]
mov dword [rsp + 0x48], eax
lea r8, [rsp + 0x58]
mov eax, dword [r14 + 0x20]
xor r9d, r9d
mov qword [rsp + 0x38], 0
xor ecx, ecx
mov dword [rsp + 0x58], eax
lea rax, [rsp + 0x48]
mov qword [rsp + 0x30], rax
mov dword [rsp + 0x28], 0x56
mov qword [rsp + 0x20], r14
movaps xmmword [rbp - 0x49], xmm0
call fcn.18000de80
mov dword [rsp + 0x68], eax
jmp 0x180056642
movups xmm0, xmmword [r14]
movups xmm1, xmmword [r14 + 0x10]
movups xmmword [rbp - 0x39], xmm0
movups xmm0, xmmword [r14 + 0x20]
movups xmmword [rbp - 0x29], xmm1
movups xmmword [rbp - 0x19], xmm0
jmp case.0x1800565ed.262
movsd qword [rsp + 0x68], xmm6
jmp case.0x1800565ed.262
lea eax, [r9 - 0x102]
cmp eax, 0xeb
ja case.0x1800565ed.262
movzx eax, byte [rdx + rax + 0x567b8]
mov ecx, dword [rdx + rax*4 + 0x567a4]
add rcx, rdx
jmp rcx
test r14, r14
je 0x180056684
xor esi, esi
cmp dword [rbp - 0x11], esi
jle 0x180056629
xor ebx, ebx
mov rcx, qword [rbp - 0x19]
mov rcx, qword [rbx + rcx]
call qword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
mov rcx, qword [rbp - 0x19]
mov rcx, qword [rbx + rcx + 8]
call qword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
inc esi
lea rbx, [rbx + 0x10]
cmp esi, dword [rbp - 0x11]
jl 0x180056601
mov rcx, qword [rbp - 0x19]
call qword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
mov rcx, qword [rbp - 0x31]
test rcx, rcx
je 0x180056642
call qword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
mov r9d, dword [rsp + 0x40]
mov r10d, dword [rsp + 0x50]
mov r8, qword [rbp - 0x71]
lea rdx, [0x180000000]
add r9d, 0x9c
mov dword [rsp + 0x40], r9d
cmp r9d, r10d
jae case.0x1800565ed.258
mov rsi, qword [rbp - 0x69]
jmp 0x180056050
mov rax, qword [r14 + 8]
mov rax, qword [rax]
jmp 0x1800566ae
lea rcx, [rbp - 0x39]
call qword [sym.imp.api_ms_win_crt_heap_l1_1_0.dll_free]
mov dword [rsp + 0x68], 0
jmp case.0x1800565ed.258
cmp dword [rsi], 0
jbe 0x1800566a1
mov qword [r14 + 8], 0
mov eax, dword [rsi]
mov dword [r14 + 0x18], eax
mov dword [rsp + 0x68], 1
mov rax, qword [rsp + 0x68]
mov rcx, qword [rbp - 9]
xor rcx, rsp
call fcn.180077c10
mov rbx, qword [rsp + 0x150]
movaps xmm6, xmmword [rsp + 0xf0]
add rsp, 0x100
pop r15
pop r14
pop r13
pop r12
pop rdi
pop rsi
pop rbp
ret