Function at 0x53d900
Capabilities:
Resolve function by parsing pe exports

Disassembly:
mov ecx, dword [0x7c4fec]
mov ecx, dword fs:[ecx]
mov ecx, dword [ecx]
lea eax, [esp - 0xb4]
cmp eax, dword [ecx + 8]
jbe 0x53eae1
sub esp, 0x134
mov eax, dword [esp + 0x13c]
test eax, eax
je 0x53dac5
mov ecx, dword [0x77fc90]
mov edx, dword [0x77fc94]
mov ebx, dword [0x77fc98]
mov ebp, dword [esp + 0x138]
mov dword [esp], ebp
mov dword [esp + 4], eax
mov esi, dword [esp + 0x140]
mov dword [esp + 8], esi
mov dword [esp + 0xc], ecx
mov dword [esp + 0x10], edx
mov dword [esp + 0x14], ebx
call sym.math_big.nat.cmp
mov eax, dword [esp + 0x18]
test eax, eax
je 0x53dac5
mov eax, dword [esp + 0x138]
mov ecx, dword [eax]
test ecx, 1
je 0x53da72
mov dword [esp + 0xcc], 0
mov dword [esp + 0xcc], 1
mov byte [esp + 0x120], 0
mov dword [esp + 0x124], 0
mov dword [esp + 0x128], 0
mov dword [esp + 0x12c], 0
mov byte [esp + 0x120], 0
mov dword [esp + 0x12c], 0
mov dword [esp + 0x128], 1
mov dword [esp + 0x12c], 1
lea ecx, [esp + 0xcc]
mov dword [esp + 0x124], ecx
mov byte [esp + 0x110], 0
mov dword [esp + 0x114], 0
mov dword [esp + 0x118], 0
mov dword [esp + 0x11c], 0
mov byte [esp + 0x110], 0
mov dword [esp + 0x11c], 0
mov ecx, dword [esp + 0x13c]
mov dword [esp + 0x118], ecx
mov edx, dword [esp + 0x140]
mov dword [esp + 0x11c], edx
mov dword [esp + 0x114], eax
mov ebx, 3
xor ebp, ebp
xor esi, esi
xor edi, edi
jmp 0x53daf2
mov ecx, dword [0x77fca0]
mov edx, dword [0x77fca4]
mov ebx, dword [0x77fca8]
mov dword [esp], eax
mov eax, dword [esp + 0x13c]
mov dword [esp + 4], eax
mov eax, dword [esp + 0x140]
mov dword [esp + 8], eax
mov dword [esp + 0xc], ecx
mov dword [esp + 0x10], edx
mov dword [esp + 0x14], ebx
call sym.math_big.nat.cmp
mov eax, dword [esp + 0x18]
test eax, eax
sete al
mov byte [esp + 0x144], al
add esp, 0x134
ret
mov byte [esp + 0x144], 0
add esp, 0x134
ret
inc eax
mov ebp, ecx
mov esi, edx
mov edi, ebx
mov ecx, dword [esp + 0x13c]
mov edx, dword [esp + 0x140]
mov ebx, eax
mov eax, dword [esp + 0x138]
cmp ebx, 0x2710
ja 0x53ea42
mov dword [esp + 0xb0], ebx
mov dword [esp + 0x104], edi
mov dword [esp + 0x98], ebp
mov dword [esp + 0xa0], esi
imul ebx, ebx
lea ecx, [ebx - 4]
mov dword [esp + 0xcc], ecx
lea ecx, [esp + 0x120]
mov dword [esp], ecx
lea edx, [esp + 0x110]
mov dword [esp + 4], edx
call sym.math_big.Jacobi
mov eax, dword [esp + 8]
cmp eax, 0xffffffff
je 0x53dca8
test eax, eax
je 0x53dc74
mov eax, dword [esp + 0xb0]
cmp eax, 0x28
je 0x53db7c
mov ecx, dword [esp + 0x98]
mov edx, dword [esp + 0xa0]
mov ebx, dword [esp + 0x104]
jmp 0x53dad4
mov eax, dword [esp + 0x104]
mov dword [esp], eax
mov eax, dword [esp + 0x98]
mov dword [esp + 4], eax
mov eax, dword [esp + 0xa0]
mov dword [esp + 8], eax
mov eax, dword [esp + 0x138]
mov dword [esp + 0xc], eax
mov ecx, dword [esp + 0x13c]
mov dword [esp + 0x10], ecx
mov edx, dword [esp + 0x140]
mov dword [esp + 0x14], edx
call sym.math_big.nat.sqrt
mov eax, dword [esp + 0x18]
mov ecx, dword [esp + 0x1c]
mov edx, dword [esp + 0x20]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
call sym.math_big.nat.sqr
mov eax, dword [esp + 0x18]
mov dword [esp + 0x104], eax
mov ecx, dword [esp + 0x1c]
mov dword [esp + 0x98], ecx
mov edx, dword [esp + 0x20]
mov dword [esp + 0xa0], edx
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov ebx, dword [esp + 0x138]
mov dword [esp + 0xc], ebx
mov ebp, dword [esp + 0x13c]
mov dword [esp + 0x10], ebp
mov esi, dword [esp + 0x140]
mov dword [esp + 0x14], esi
call sym.math_big.nat.cmp
mov eax, dword [esp + 0x18]
test eax, eax
je 0x53dc65
mov eax, dword [esp + 0xb0]
mov ecx, dword [esp + 0x98]
mov edx, dword [esp + 0xa0]
mov ebx, dword [esp + 0x104]
jmp 0x53dad4
mov byte [esp + 0x144], 0
add esp, 0x134
ret
mov eax, dword [esp + 0x13c]
cmp eax, 1
jne 0x53dc98
mov eax, dword [esp + 0xb0]
add eax, 2
mov ecx, dword [esp + 0x138]
cmp dword [ecx], eax
sete al
jmp 0x53dc9a
xor eax, eax
mov byte [esp + 0x144], al
add esp, 0x134
ret
mov eax, dword [0x77fc90]
mov ecx, dword [0x77fc94]
mov edx, dword [0x77fc98]
mov dword [esp], 0
mov dword [esp + 4], 0
mov dword [esp + 8], 0
mov ebx, dword [esp + 0x138]
mov dword [esp + 0xc], ebx
mov ebp, dword [esp + 0x13c]
mov dword [esp + 0x10], ebp
mov esi, dword [esp + 0x140]
mov dword [esp + 0x14], esi
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
call sym.math_big.nat.add
mov ecx, dword [esp + 0x28]
mov eax, dword [esp + 0x24]
test ecx, ecx
je 0x53dd16
xor edx, edx
jmp 0x53ea23
xor edx, edx
mov dword [esp + 0x70], edx
mov ebx, dword [esp + 0x2c]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], ebx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], ebx
mov dword [esp + 0x18], edx
call sym.math_big.nat.shr
mov eax, dword [0x77fca0]
mov ecx, dword [0x77fca4]
mov edx, dword [0x77fca8]
mov ebx, dword [esp + 0x1c]
mov dword [esp + 0x108], ebx
mov ebp, dword [esp + 0x20]
mov dword [esp + 0xa8], ebp
mov esi, dword [esp + 0x24]
mov dword [esp + 0xac], esi
mov dword [esp], 0
mov dword [esp + 4], 0
mov dword [esp + 8], 0
mov edi, dword [esp + 0x138]
mov dword [esp + 0xc], edi
mov edi, dword [esp + 0x13c]
mov dword [esp + 0x10], edi
mov edi, dword [esp + 0x140]
mov dword [esp + 0x14], edi
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
call sym.math_big.nat.sub
mov eax, dword [esp + 0x24]
mov ecx, dword [esp + 0x28]
mov edx, dword [esp + 0x2c]
mov ebx, dword [esp + 0xb0]
test ebx, ebx
jne 0x53dddf
mov ebp, 0
mov esi, 0
jmp 0x53ddfe
nop
mov dword [esp + 0xc8], 0
mov dword [esp + 0xc8], ebx
mov ebp, 1
lea esi, [esp + 0xc8]
mov dword [esp + 0x10c], eax
mov dword [esp + 0xb8], edx
mov dword [esp + 0xb4], ecx
mov dword [esp + 0xec], esi
mov dword [esp + 0x6c], ebp
nop
nop
mov dword [esp + 0xc4], 0
mov dword [esp + 0xc4], 2
jne 0x53de3e
xor ebx, ebx
xor edi, edi
jmp 0x53de5d
nop
mov dword [esp + 0xc0], 0
mov dword [esp + 0xc0], ebx
mov ebx, 1
lea edi, [esp + 0xc0]
mov dword [esp + 0xe8], edi
mov dword [esp + 0x68], ebx
mov eax, dword [esp + 0x108]
mov dword [esp], eax
mov ecx, dword [esp + 0xa8]
mov dword [esp + 4], ecx
mov edx, dword [esp + 0xac]
mov dword [esp + 8], edx
call sym.math_big.nat.bitLen
mov eax, dword [esp + 0xc]
mov ecx, 1
mov edx, 1
lea ebx, [esp + 0xc4]
mov ebp, dword [esp + 0x68]
mov esi, ebp
mov edi, dword [esp + 0xe8]
xor ebp, ebp
mov dword [esp + 0x88], ebp
xor esi, esi
mov dword [esp + 0x90], esi
xor edi, edi
mov dword [esp + 0xfc], edi
mov ebp, dword [esp + 0x68]
mov esi, ebp
mov edi, dword [esp + 0xe8]
jmp 0x53df18
mov dword [esp + 0xfc], eax
mov eax, dword [esp + 0xbc]
dec eax
mov dword [esp + 0x88], edx
mov dword [esp + 0x90], ebx
mov edx, dword [esp + 0x80]
mov ebx, dword [esp + 0xf4]
mov dword [esp + 0xd8], eax
mov eax, ecx
mov ecx, edi
mov edi, eax
mov eax, dword [esp + 0xd8]
mov dword [esp + 0xf0], edi
mov dword [esp + 0x74], ebp
mov dword [esp + 0x78], esi
mov dword [esp + 0xf4], ebx
mov dword [esp + 0x7c], ecx
mov dword [esp + 0x80], edx
test eax, eax
jl 0x53e542
mov dword [esp + 0xbc], eax
shr eax, 5
mov esi, dword [esp + 0xa8]
cmp esi, eax
ja 0x53df5a
xor eax, eax
jmp 0x53df7b
mov esi, dword [esp + 0x108]
mov eax, dword [esi + eax*4]
mov ecx, dword [esp + 0xbc]
shr eax, cl
and eax, 1
mov ecx, dword [esp + 0x7c]
mov esi, dword [esp + 0xa8]
test eax, eax
je 0x53e254
mov eax, dword [esp + 0x104]
mov dword [esp], eax
mov eax, dword [esp + 0x98]
mov dword [esp + 4], eax
mov eax, dword [esp + 0xa0]
mov dword [esp + 8], eax
mov dword [esp + 0xc], ebx
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov dword [esp + 0x18], edi
mov dword [esp + 0x1c], ebp
mov eax, dword [esp + 0x78]
mov dword [esp + 0x20], eax
call sym.math_big.nat.mul
mov eax, dword [esp + 0x24]
mov ecx, dword [esp + 0x28]
mov edx, dword [esp + 0x2c]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov eax, dword [esp + 0x138]
mov dword [esp + 0x18], eax
mov ecx, dword [esp + 0x13c]
mov dword [esp + 0x1c], ecx
mov edx, dword [esp + 0x140]
mov dword [esp + 0x20], edx
call sym.math_big.nat.add
mov eax, dword [esp + 0x24]
mov ecx, dword [esp + 0x28]
mov edx, dword [esp + 0x2c]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov eax, dword [esp + 0xec]
mov dword [esp + 0x18], eax
mov ecx, dword [esp + 0x6c]
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], ecx
call sym.math_big.nat.sub
mov eax, dword [esp + 0x24]
mov dword [esp + 0x104], eax
mov ecx, dword [esp + 0x28]
mov dword [esp + 0x98], ecx
mov edx, dword [esp + 0x2c]
mov dword [esp + 0xa0], edx
mov ebx, dword [esp + 0xfc]
mov dword [esp], ebx
mov ebx, dword [esp + 0x88]
mov dword [esp + 4], ebx
mov ebx, dword [esp + 0x90]
mov dword [esp + 8], ebx
mov ebx, dword [esp + 0xf4]
mov dword [esp + 0xc], ebx
mov ebx, dword [esp + 0x7c]
mov dword [esp + 0x10], ebx
mov ebx, dword [esp + 0x80]
mov dword [esp + 0x14], ebx
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
mov ebx, dword [esp + 0x138]
mov dword [esp + 0x24], ebx
mov ebp, dword [esp + 0x13c]
mov dword [esp + 0x28], ebp
mov esi, dword [esp + 0x140]
mov dword [esp + 0x2c], esi
call sym.math_big.nat.div
mov eax, dword [esp + 0x30]
mov dword [esp + 0xfc], eax
mov ecx, dword [esp + 0x34]
mov dword [esp + 0x88], ecx
mov edx, dword [esp + 0x38]
mov dword [esp + 0x90], edx
mov ebx, dword [esp + 0x3c]
mov dword [esp + 0xf4], ebx
mov ebp, dword [esp + 0x40]
mov dword [esp + 0x7c], ebp
mov esi, dword [esp + 0x44]
mov dword [esp + 0x80], esi
mov edi, dword [esp + 0x104]
mov dword [esp], edi
mov edi, dword [esp + 0x98]
mov dword [esp + 4], edi
mov edi, dword [esp + 0xa0]
mov dword [esp + 8], edi
mov edi, dword [esp + 0xf0]
mov dword [esp + 0xc], edi
mov ebx, dword [esp + 0x74]
mov dword [esp + 0x10], ebx
mov ebp, dword [esp + 0x78]
mov dword [esp + 0x14], ebp
call sym.math_big.nat.sqr
mov eax, dword [esp + 0x18]
mov ecx, dword [esp + 0x1c]
mov edx, dword [esp + 0x20]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov eax, dword [esp + 0x10c]
mov dword [esp + 0x18], eax
mov ecx, dword [esp + 0xb4]
mov dword [esp + 0x1c], ecx
mov edx, dword [esp + 0xb8]
mov dword [esp + 0x20], edx
call sym.math_big.nat.add
mov eax, dword [esp + 0x24]
mov dword [esp + 0x104], eax
mov ecx, dword [esp + 0x28]
mov dword [esp + 0x98], ecx
mov edx, dword [esp + 0x2c]
mov dword [esp + 0xa0], edx
mov ebx, dword [esp + 0xfc]
mov dword [esp], ebx
mov ebx, dword [esp + 0x88]
mov dword [esp + 4], ebx
mov ebx, dword [esp + 0x90]
mov dword [esp + 8], ebx
mov ebx, dword [esp + 0xf0]
mov dword [esp + 0xc], ebx
mov ebx, dword [esp + 0x74]
mov dword [esp + 0x10], ebx
mov ebx, dword [esp + 0x78]
mov dword [esp + 0x14], ebx
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
mov ebx, dword [esp + 0x138]
mov dword [esp + 0x24], ebx
mov ebp, dword [esp + 0x13c]
mov dword [esp + 0x28], ebp
mov esi, dword [esp + 0x140]
mov dword [esp + 0x2c], esi
call sym.math_big.nat.div
mov eax, dword [esp + 0x30]
mov ecx, dword [esp + 0x3c]
mov edx, dword [esp + 0x34]
mov ebx, dword [esp + 0x38]
mov ebp, dword [esp + 0x40]
mov esi, dword [esp + 0x44]
mov edi, dword [esp + 0x7c]
jmp 0x53ded9
mov eax, dword [esp + 0x104]
mov dword [esp], eax
mov eax, dword [esp + 0x98]
mov dword [esp + 4], eax
mov eax, dword [esp + 0xa0]
mov dword [esp + 8], eax
mov dword [esp + 0xc], ebx
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov dword [esp + 0x18], edi
mov dword [esp + 0x1c], ebp
mov eax, dword [esp + 0x78]
mov dword [esp + 0x20], eax
call sym.math_big.nat.mul
mov eax, dword [esp + 0x24]
mov ecx, dword [esp + 0x28]
mov edx, dword [esp + 0x2c]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov eax, dword [esp + 0x138]
mov dword [esp + 0x18], eax
mov ecx, dword [esp + 0x13c]
mov dword [esp + 0x1c], ecx
mov edx, dword [esp + 0x140]
mov dword [esp + 0x20], edx
call sym.math_big.nat.add
mov eax, dword [esp + 0x24]
mov ecx, dword [esp + 0x28]
mov edx, dword [esp + 0x2c]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov eax, dword [esp + 0xec]
mov dword [esp + 0x18], eax
mov ecx, dword [esp + 0x6c]
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], ecx
call sym.math_big.nat.sub
mov eax, dword [esp + 0x24]
mov dword [esp + 0x104], eax
mov ecx, dword [esp + 0x28]
mov dword [esp + 0x98], ecx
mov edx, dword [esp + 0x2c]
mov dword [esp + 0xa0], edx
mov ebx, dword [esp + 0xfc]
mov dword [esp], ebx
mov ebx, dword [esp + 0x88]
mov dword [esp + 4], ebx
mov ebx, dword [esp + 0x90]
mov dword [esp + 8], ebx
mov ebx, dword [esp + 0xf0]
mov dword [esp + 0xc], ebx
mov ebx, dword [esp + 0x74]
mov dword [esp + 0x10], ebx
mov ebx, dword [esp + 0x78]
mov dword [esp + 0x14], ebx
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
mov ebx, dword [esp + 0x138]
mov dword [esp + 0x24], ebx
mov ebp, dword [esp + 0x13c]
mov dword [esp + 0x28], ebp
mov esi, dword [esp + 0x140]
mov dword [esp + 0x2c], esi
call sym.math_big.nat.div
mov eax, dword [esp + 0x30]
mov dword [esp + 0xfc], eax
mov ecx, dword [esp + 0x34]
mov dword [esp + 0x88], ecx
mov edx, dword [esp + 0x38]
mov dword [esp + 0x90], edx
mov ebx, dword [esp + 0x3c]
mov dword [esp + 0xf0], ebx
mov ebp, dword [esp + 0x40]
mov dword [esp + 0x74], ebp
mov esi, dword [esp + 0x44]
mov dword [esp + 0x78], esi
mov edi, dword [esp + 0x104]
mov dword [esp], edi
mov edi, dword [esp + 0x98]
mov dword [esp + 4], edi
mov edi, dword [esp + 0xa0]
mov dword [esp + 8], edi
mov edi, dword [esp + 0xf4]
mov dword [esp + 0xc], edi
mov ebx, dword [esp + 0x7c]
mov dword [esp + 0x10], ebx
mov ebp, dword [esp + 0x80]
mov dword [esp + 0x14], ebp
call sym.math_big.nat.sqr
mov eax, dword [esp + 0x18]
mov ecx, dword [esp + 0x1c]
mov edx, dword [esp + 0x20]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov eax, dword [esp + 0x10c]
mov dword [esp + 0x18], eax
mov ecx, dword [esp + 0xb4]
mov dword [esp + 0x1c], ecx
mov edx, dword [esp + 0xb8]
mov dword [esp + 0x20], edx
call sym.math_big.nat.add
mov eax, dword [esp + 0x24]
mov dword [esp + 0x104], eax
mov ecx, dword [esp + 0x28]
mov dword [esp + 0x98], ecx
mov edx, dword [esp + 0x2c]
mov dword [esp + 0xa0], edx
mov ebx, dword [esp + 0xfc]
mov dword [esp], ebx
mov ebx, dword [esp + 0x88]
mov dword [esp + 4], ebx
mov ebx, dword [esp + 0x90]
mov dword [esp + 8], ebx
mov ebx, dword [esp + 0xf4]
mov dword [esp + 0xc], ebx
mov ebx, dword [esp + 0x7c]
mov dword [esp + 0x10], ebx
mov ebx, dword [esp + 0x80]
mov dword [esp + 0x14], ebx
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
mov ebx, dword [esp + 0x138]
mov dword [esp + 0x24], ebx
mov ebp, dword [esp + 0x13c]
mov dword [esp + 0x28], ebp
mov esi, dword [esp + 0x140]
mov dword [esp + 0x2c], esi
call sym.math_big.nat.div
mov eax, dword [esp + 0x30]
mov ebx, dword [esp + 0x3c]
mov edx, dword [esp + 0x34]
mov ecx, dword [esp + 0x38]
mov ebp, dword [esp + 0x40]
mov esi, dword [esp + 0x44]
mov edi, ebp
mov dword [esp + 0x80], esi
mov dword [esp + 0xf4], ebx
mov ebp, dword [esp + 0x74]
mov esi, dword [esp + 0x78]
mov ebx, ecx
mov ecx, dword [esp + 0xf0]
jmp 0x53ded9
mov eax, dword [0x77fca0]
mov ebp, dword [0x77fca4]
mov esi, dword [0x77fca8]
mov dword [esp], ebx
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ebp
mov dword [esp + 0x14], esi
call sym.math_big.nat.cmp
mov eax, dword [esp + 0x18]
test eax, eax
jne 0x53e57f
mov eax, 1
jmp 0x53e5cb
mov eax, dword [esp + 0xf4]
mov dword [esp], eax
mov ecx, dword [esp + 0x7c]
mov dword [esp + 4], ecx
mov edx, dword [esp + 0x80]
mov dword [esp + 8], edx
mov ebx, dword [esp + 0x10c]
mov dword [esp + 0xc], ebx
mov ebx, dword [esp + 0xb4]
mov dword [esp + 0x10], ebx
mov ebx, dword [esp + 0xb8]
mov dword [esp + 0x14], ebx
call sym.math_big.nat.cmp
mov eax, dword [esp + 0x18]
test eax, eax
sete al
test al, al
je 0x53e804
mov eax, dword [esp + 0x104]
mov dword [esp], eax
mov ecx, dword [esp + 0x98]
mov dword [esp + 4], ecx
mov edx, dword [esp + 0xa0]
mov dword [esp + 8], edx
mov ebx, dword [esp + 0xf4]
mov dword [esp + 0xc], ebx
mov ebp, dword [esp + 0x7c]
mov dword [esp + 0x10], ebp
mov esi, dword [esp + 0x80]
mov dword [esp + 0x14], esi
mov edi, dword [esp + 0xec]
mov dword [esp + 0x18], edi
mov edi, dword [esp + 0x6c]
mov dword [esp + 0x1c], edi
mov dword [esp + 0x20], edi
call sym.math_big.nat.mul
mov eax, dword [esp + 0x24]
mov dword [esp + 0x100], eax
mov ecx, dword [esp + 0x28]
mov dword [esp + 0x94], ecx
mov edx, dword [esp + 0x2c]
mov dword [esp + 0x9c], edx
mov ebx, dword [esp + 0xfc]
mov dword [esp], ebx
mov ebp, dword [esp + 0x88]
mov dword [esp + 4], ebp
mov esi, dword [esp + 0x90]
mov dword [esp + 8], esi
mov edi, dword [esp + 0xf0]
mov dword [esp + 0xc], edi
mov ebx, dword [esp + 0x74]
mov dword [esp + 0x10], ebx
mov ebp, dword [esp + 0x78]
mov dword [esp + 0x14], ebp
mov dword [esp + 0x18], 1
call sym.math_big.nat.shl
mov eax, dword [esp + 0x1c]
mov dword [esp + 0x130], eax
mov ecx, dword [esp + 0x20]
mov dword [esp + 0xe4], ecx
mov edx, dword [esp + 0x24]
mov dword [esp + 0xe0], edx
mov ebx, dword [esp + 0x100]
mov dword [esp], ebx
mov ebp, dword [esp + 0x94]
mov dword [esp + 4], ebp
mov esi, dword [esp + 0x9c]
mov dword [esp + 8], esi
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
call sym.math_big.nat.cmp
mov eax, dword [esp + 0x18]
test eax, eax
jge 0x53e71c
mov eax, dword [esp + 0xe4]
mov ecx, dword [esp + 0xe0]
mov edx, dword [esp + 0x94]
mov ebx, dword [esp + 0x9c]
mov ebp, dword [esp + 0x130]
mov esi, dword [esp + 0x100]
jmp 0x53e746
mov eax, dword [esp + 0x94]
mov ecx, dword [esp + 0x9c]
mov edx, dword [esp + 0xe4]
mov ebx, dword [esp + 0xe0]
mov ebp, dword [esp + 0x100]
mov esi, dword [esp + 0x130]
mov dword [esp + 0xf8], esi
mov dword [esp + 0x84], edx
mov dword [esp + 0x8c], ebx
mov dword [esp], ebp
mov dword [esp + 4], eax
mov dword [esp + 8], ecx
mov dword [esp + 0xc], ebp
mov dword [esp + 0x10], eax
mov dword [esp + 0x14], ecx
mov dword [esp + 0x18], esi
mov dword [esp + 0x1c], edx
mov dword [esp + 0x20], ebx
call sym.math_big.nat.sub
mov eax, dword [esp + 0x24]
mov ecx, dword [esp + 0x28]
mov edx, dword [esp + 0x2c]
mov ebx, dword [esp + 0xf8]
mov dword [esp], ebx
mov ebx, dword [esp + 0x84]
mov dword [esp + 4], ebx
mov ebx, dword [esp + 0x8c]
mov dword [esp + 8], ebx
mov ebx, dword [esp + 0xf0]
mov dword [esp + 0xc], ebx
mov ebx, dword [esp + 0x74]
mov dword [esp + 0x10], ebx
mov ebx, dword [esp + 0x78]
mov dword [esp + 0x14], ebx
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
mov eax, dword [esp + 0x138]
mov dword [esp + 0x24], eax
mov ecx, dword [esp + 0x13c]
mov dword [esp + 0x28], ecx
mov edx, dword [esp + 0x140]
mov dword [esp + 0x2c], edx
call sym.math_big.nat.div
mov eax, dword [esp + 0x40]
test eax, eax
je 0x53e84e
mov eax, dword [esp + 0x70]
mov ebp, dword [esp + 0xfc]
mov esi, dword [esp + 0x90]
mov edi, dword [esp + 0x88]
mov ecx, dword [esp + 0x104]
mov edx, dword [esp + 0xa0]
mov ebx, dword [esp + 0x98]
mov dword [esp + 0xd0], eax
xor eax, eax
mov dword [esp + 0xa4], eax
mov eax, dword [esp + 0xd0]
jmp 0x53e9a9
mov byte [esp + 0x144], 1
add esp, 0x134
ret
mov dword [esp], ecx
mov dword [esp + 4], ebx
mov dword [esp + 8], edx
mov dword [esp + 0xc], esi
mov dword [esp + 0x10], eax
mov ecx, dword [esp + 0x80]
mov dword [esp + 0x14], ecx
call sym.math_big.nat.sqr
mov eax, dword [esp + 0x18]
mov ecx, dword [esp + 0x1c]
mov edx, dword [esp + 0x20]
mov ebx, dword [0x77fca0]
mov ebp, dword [0x77fca4]
mov esi, dword [0x77fca8]
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov dword [esp + 0xc], eax
mov dword [esp + 0x10], ecx
mov dword [esp + 0x14], edx
mov dword [esp + 0x18], ebx
mov dword [esp + 0x1c], ebp
mov dword [esp + 0x20], esi
call sym.math_big.nat.sub
mov eax, dword [esp + 0x24]
mov dword [esp + 0x104], eax
mov ecx, dword [esp + 0x28]
mov dword [esp + 0x98], ecx
mov edx, dword [esp + 0x2c]
mov dword [esp + 0xa0], edx
mov ebx, dword [esp + 0xfc]
mov dword [esp], ebx
mov ebx, dword [esp + 0x88]
mov dword [esp + 4], ebx
mov ebx, dword [esp + 0x90]
mov dword [esp + 8], ebx
mov ebx, dword [esp + 0xf4]
mov dword [esp + 0xc], ebx
mov ebx, dword [esp + 0x7c]
mov dword [esp + 0x10], ebx
mov ebx, dword [esp + 0x80]
mov dword [esp + 0x14], ebx
mov dword [esp + 0x18], eax
mov dword [esp + 0x1c], ecx
mov dword [esp + 0x20], edx
mov ebx, dword [esp + 0x138]
mov dword [esp + 0x24], ebx
mov ebp, dword [esp + 0x13c]
mov dword [esp + 0x28], ebp
mov esi, dword [esp + 0x140]
mov dword [esp + 0x2c], esi
call sym.math_big.nat.div
mov eax, dword [esp + 0xa4]
inc eax
mov ebp, dword [esp + 0x30]
mov ebx, dword [esp + 0x3c]
mov edi, dword [esp + 0x34]
mov esi, dword [esp + 0x38]
mov ecx, dword [esp + 0x40]
mov edx, dword [esp + 0x44]
mov dword [esp + 0xa4], eax
mov dword [esp + 0x7c], ecx
mov dword [esp + 0xf4], ebx
mov dword [esp + 0x80], edx
mov ebx, dword [esp + 0x98]
mov edx, dword [esp + 0xa0]
mov ecx, dword [esp + 0x104]
mov eax, dword [esp + 0x70]
mov dword [esp + 0x90], esi
dec eax
mov esi, dword [esp + 0xa4]
cmp esi, eax
jge 0x53ea13
mov eax, dword [esp + 0x7c]
test eax, eax
je 0x53ea04
mov dword [esp + 0xfc], ebp
mov dword [esp + 0x88], edi
cmp eax, 1
jne 0x53e9e9
mov esi, dword [esp + 0xf4]
cmp dword [esi], 2
jne 0x53e85d
jmp 0x53e9f5
mov esi, dword [esp + 0xf4]
jmp 0x53e85d
mov byte [esp + 0x144], 0
add esp, 0x134
ret
mov byte [esp + 0x144], 1
add esp, 0x134
ret
mov byte [esp + 0x144], 0
add esp, 0x134
ret
inc edx
cmp edx, ecx
jae 0x53ea3b
mov ebx, dword [eax + edx*4]
test ebx, ebx
je 0x53ea22
shl edx, 5
bsf ebx, ebx
add edx, ebx
jmp 0x53dd18
mov eax, edx
call sym.runtime.panicIndexU
mov eax, dword [esp + 0x114]
mov ecx, dword [esp + 0x118]
mov edx, dword [esp + 0x11c]
movzx ebx, byte [esp + 0x110]
nop
mov dword [esp], eax
mov dword [esp + 4], ecx
mov dword [esp + 8], edx
mov byte [esp + 0xc], bl
mov dword [esp + 0x10], 0xa
call sym.math_big.nat.itoa
mov eax, dword [esp + 0x14]
mov ecx, dword [esp + 0x18]
lea edx, [esp + 0x48]
mov dword [esp], edx
mov dword [esp + 4], eax
mov dword [esp + 8], ecx
call sym.runtime.slicebytetostring
mov dword [esp], 0
lea eax, [0x62675f]
mov dword [esp + 4], eax
mov dword [esp + 8], 0x35
call sym.runtime.concatstring2
mov eax, dword [esp + 0x14]
mov ecx, dword [esp + 0x18]
mov dword [esp], eax
mov dword [esp + 4], ecx
call sym.runtime.convTstring
mov eax, dword [esp + 8]
lea ecx, [0x5f3f60]
mov dword [esp], ecx
mov dword [esp + 4], eax
call sym.runtime.gopanic
nop
call sym.runtime.morestack_noctxt
jmp sym.math_big.nat.probablyPrimeLucas