File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37bfb6900
    37bfb6900dlaqtr_64_:
    37bfb6900push r15
    37bfb6902push r14
    37bfb6904push r13
    37bfb6906push r12
    37bfb6908push rbp
    37bfb6909push rdi
    37bfb690apush rsi
    37bfb690bpush rbx
    37bfb690csub rsp, 552
    37bfb6913movups [rsp+416], x6
    37bfb691bmovups [rsp+432], x7
    37bfb6923movups [rsp+448], x8
    37bfb692cmovups [rsp+464], x9
    37bfb6935movups [rsp+480], x10
    37bfb693emovups [rsp+496], x11
    37bfb6947movups [rsp+512], x12
    37bfb6950movups [rsp+528], x13
    37bfb6959mov rcx, [rcx]
    37bfb695cmov rax, [rsp+656]
    37bfb6964mov rbx, [rsp+688]
    37bfb696cmov rdi, [rsp+696]
    37bfb6974mov rax, [rax]
    37bfb6977mov [rsp+160], rcx
    37bfb697fmov rcx, [rsp+704]
    37bfb6987mov r14, r8
    37bfb698amov [rsp+632], rdx
    37bfb6992mov [rsp+648], r9
    37bfb699amov [rcx], 0
    37bfb69a1cmp [r8], 0
    37bfb69a5jne 0x37bfb6a08
    37bfb69a7
    37bfb69a7loc_37bfb69a7:
    37bfb69a7movups x6, [rsp+416]
    37bfb69afmovups x7, [rsp+432]
    37bfb69b7movups x8, [rsp+448]
    37bfb69c0movups x9, [rsp+464]
    37bfb69c9movups x10, [rsp+480]
    37bfb69d2movups x11, [rsp+496]
    37bfb69dbmovups x12, [rsp+512]
    37bfb69e4movups x13, [rsp+528]
    37bfb69edadd rsp, 552
    37bfb69f4pop rbx
    37bfb69f5pop rsi
    37bfb69f6pop rdi
    37bfb69f7pop rbp
    37bfb69f8pop r12
    37bfb69fapop r13
    37bfb69fcpop r14
    37bfb69fepop r15
    37bfb6a00ret
    37bfb6a01
    37bfb6a01 0f 1f 80 00 00 00 00 .......
    37bfb6a08
    37bfb6a08loc_37bfb6a08:
    37bfb6a08xor edx, edx
    37bfb6a0atest rax, rax
    37bfb6a0dlea rcx, [rip+0x4a61cc]
    37bfb6a14cmovns rdx, rax
    37bfb6a18pxor x8, x8
    37bfb6a1dmovapd x9, x8
    37bfb6a22mov [rsp+152], rdx
    37bfb6a2anot rdx
    37bfb6a2dmov [rsp+184], rdx
    37bfb6a35mov edx, 1
    37bfb6a3acall dlamch_64_
    37bfb6a3fmov edx, 1
    37bfb6a44lea rcx, [rip+0x4a6196]
    37bfb6a4bmovapd x7, x0
    37bfb6a4fmovapd x13, x0
    37bfb6a54call dlamch_64_
    37bfb6a59lea rax, [rsp+352]
    37bfb6a61mov r8, r14
    37bfb6a64mov rdx, r14
    37bfb6a67movapd x11, x0
    37bfb6a6cmov [rsp+40], rax
    37bfb6a71mov r9, [rsp+648]
    37bfb6a79lea rcx, [rip+0x4a6162]
    37bfb6a80divsd x11, x7
    37bfb6a85mov [rsp+176], rax
    37bfb6a8dmov rax, [rsp+656]
    37bfb6a95mov [rsp+48], 1
    37bfb6a9emovsd_xmm x7, [rip+0x4a6172]
    37bfb6aa6mov [rsp+32], rax
    37bfb6aabmovapd x10, x7
    37bfb6ab0call dlange_64_
    37bfb6ab5mov rax, [rsp+632]
    37bfb6abdmovq x6, [rip+0x4a615b]
    37bfb6ac5movsd_xmm [rsp+320], x0
    37bfb6acedivsd x10, x11
    37bfb6ad3cmp [rax], 0
    37bfb6ad7je 0x37bfb8108
    37bfb6add
    37bfb6addloc_37bfb6add:
    37bfb6addmulsd x0, x13
    37bfb6ae2mov r13, [r14]
    37bfb6ae5mov [rdi], 0
    37bfb6aecmaxsd x0, x11
    37bfb6af1movsd_xmm [rsp+288], x0
    37bfb6afamovapd x12, x0
    37bfb6affcmp r13, 1
    37bfb6b03jle 0x37bfb6c20
    37bfb6b09mov rax, [rsp+152]
    37bfb6b11mov rcx, [rsp+184]
    37bfb6b19mov esi, 2
    37bfb6b1elea rbp, [rsp+384]
    37bfb6b26lea r15, [8*rax]
    37bfb6b2elea rax, [rcx+2*rax]
    37bfb6b32mov rcx, [rsp+648]
    37bfb6b3alea r12, [rcx+8*rax+8]
    37bfb6b3fnop
    37bfb6b40
    37bfb6b40loc_37bfb6b40:
    37bfb6b40lea rax, [rsi-1]
    37bfb6b44mov rdx, r12
    37bfb6b47lea r8, [rip+0x4a609a]
    37bfb6b4emov rcx, rbp
    37bfb6b51mov [rsp+384], rax
    37bfb6b59add r12, r15
    37bfb6b5ccall dasum_64_
    37bfb6b61movsd_xmm [rdi+8*rsi-8], x0
    37bfb6b67add rsi, 1
    37bfb6b6bcmp r13, rsi
    37bfb6b6ejge 0x37bfb6b40
    37bfb6b70mov rax, [rsp+632]
    37bfb6b78mov r13, [r14]
    37bfb6b7bcmp [rax], 0
    37bfb6b7fjne 0x37bfb6c30
    37bfb6b85cmp r13, 1
    37bfb6b89jle 0x37bfb6c13
    37bfb6b8fcmp r13, 2
    37bfb6b93je 0x37bfb8950
    37bfb6b99lea r9, [r13-1]
    37bfb6b9dmovddup x0, [rip+0x4a607b]
    37bfb6ba5xor eax, eax
    37bfb6ba7xor edx, edx
    37bfb6ba9mov r8, r9
    37bfb6bacmov rcx, [rsp+664]
    37bfb6bb4shr r8, 1
    37bfb6bb7nop [rax+rax]
    37bfb6bc0
    37bfb6bc0loc_37bfb6bc0:
    37bfb6bc0movupd x1, [rcx+rax+8]
    37bfb6bc6movupd x5, [rdi+rax+8]
    37bfb6bccadd rdx, 1
    37bfb6bd0andpd x1, x0
    37bfb6bd4addpd x1, x5
    37bfb6bd8movups [rdi+rax+8], x1
    37bfb6bddadd rax, 16
    37bfb6be1cmp r8, rdx
    37bfb6be4jne 0x37bfb6bc0
    37bfb6be6test r9b, 1
    37bfb6beaje 0x37bfb6c13
    37bfb6becand r9, -2
    37bfb6bf0lea rax, [r9+2]
    37bfb6bf4
    37bfb6bf4loc_37bfb6bf4:
    37bfb6bf4mov rsi, [rsp+664]
    37bfb6bfcsub rax, 1
    37bfb6c00movsd_xmm x0, [rsi+8*rax]
    37bfb6c05andpd x0, x6
    37bfb6c09addsd x0, [rdi+8*rax]
    37bfb6c0emovsd_xmm [rdi+8*rax], x0
    37bfb6c13
    37bfb6c13loc_37bfb6c13:
    37bfb6c13add r13, r13
    37bfb6c16mov rax, r13
    37bfb6c19jmp 0x37bfb6c35
    37bfb6c1b
    37bfb6c1b 0f 1f 44 00 00 ..D..
    37bfb6c20
    37bfb6c20loc_37bfb6c20:
    37bfb6c20mov rax, [rsp+632]
    37bfb6c28cmp [rax], 0
    37bfb6c2cje 0x37bfb6c13
    37bfb6c2enop
    37bfb6c30
    37bfb6c30loc_37bfb6c30:
    37bfb6c30lea rax, [r13+r13]
    37bfb6c35
    37bfb6c35loc_37bfb6c35:
    37bfb6c35lea rbp, [rsp+248]
    37bfb6c3dlea r8, [rip+0x4a5fa4]
    37bfb6c44mov rdx, rbx
    37bfb6c47mov [rsp+256], rax
    37bfb6c4fmov rcx, rbp
    37bfb6c52mov [rsp+248], r13
    37bfb6c5acall idamax_64_
    37bfb6c5fmovsd_xmm x11, [rbx+8*rax-8]
    37bfb6c66andpd x11, x6
    37bfb6c6bcomisd x11, x10
    37bfb6c70ja 0x37bfb80d0
    37bfb6c76mov rax, [rsp+680]
    37bfb6c7emovsd_xmm [rax], x7
    37bfb6c82
    37bfb6c82loc_37bfb6c82:
    37bfb6c82mov rbp, [r14]
    37bfb6c85mov rax, [rsp+632]
    37bfb6c8dmov rdx, rbp
    37bfb6c90cmp [rax], 0
    37bfb6c94je 0x37bfb6f08
    37bfb6c9amov rax, [rsp+160]
    37bfb6ca2xor rax, 1
    37bfb6ca6je 0x37bfb78d0
    37bfb6cactest rbp, rbp
    37bfb6cafjle 0x37bfb69a7
    37bfb6cb5mov rsi, [rsp+152]
    37bfb6cbdmov rcx, [rsp+184]
    37bfb6cc5mov [rsp+640], r14
    37bfb6ccdmov r12, rbp
    37bfb6cd0mov r10, [rsp+648]
    37bfb6cd8mov [rsp+696], rdi
    37bfb6ce0mov rax, rsi
    37bfb6ce3lea r14, [8*rcx]
    37bfb6cebneg rax
    37bfb6ceelea rdx, [8*rax]
    37bfb6cf6mov rax, rsi
    37bfb6cf9imul rax, rbp
    37bfb6cfdmov rdi, rdx
    37bfb6d00add rax, rcx
    37bfb6d03lea r13, [r10+8*rax+8]
    37bfb6d08lea rax, [rbp-1]
    37bfb6d0cimul rax, rsi
    37bfb6d10add rax, rcx
    37bfb6d13add rax, rbp
    37bfb6d16lea r15, [r10+8*rax-8]
    37bfb6d1bjmp 0x37bfb6ee3
    37bfb6d20
    37bfb6d20loc_37bfb6d20:
    37bfb6d20movsd_xmm x0, [rbx+8*r12-8]
    37bfb6d27cmp r12, 1
    37bfb6d2bje 0x37bfb7cd0
    37bfb6d31pxor x1, x1
    37bfb6d35ucomisd x1, [r15+8]
    37bfb6d3bjp 0x37bfb6d46
    37bfb6d3dmov rbp, rsi
    37bfb6d40je 0x37bfb7cd2
    37bfb6d46
    37bfb6d46loc_37bfb6d46:
    37bfb6d46lea rax, [rip+0x4a5ea3]
    37bfb6d4dmovsd_xmm x1, [rbx+8*r12-16]
    37bfb6d54lea rcx, [rip+0x4a5ea5]
    37bfb6d5bmov [rsp+40], r15
    37bfb6d60mov [rsp+112], rax
    37bfb6d65lea rdx, [rsp+240]
    37bfb6d6dlea rbp, [rsp+272]
    37bfb6d75mov [rsp+80], rax
    37bfb6d7aunpcklpd x1, x0
    37bfb6d7emov rax, [rsp+176]
    37bfb6d86lea r9, [rsp+288]
    37bfb6d8emov [rsp+136], rdx
    37bfb6d96lea rdx, [rsp+320]
    37bfb6d9elea r8, [rip+0x4a5e43]
    37bfb6da5mov [rsp+96], rcx
    37bfb6daamov [rsp+88], rcx
    37bfb6dafmov rcx, [rsp+656]
    37bfb6db7mov [rsp+128], rdx
    37bfb6dbflea rdx, [rsp+384]
    37bfb6dc7mov [rsp+72], rax
    37bfb6dcclea rax, [rip+0x4a5e35]
    37bfb6dd3mov [rsp+104], rdx
    37bfb6dd8lea rdx, [rip+0x4a5e11]
    37bfb6ddfmov [rsp+48], rcx
    37bfb6de4lea rcx, [rip+0x4a5e0d]
    37bfb6debmov [rsp+120], rbp
    37bfb6df0mov [rsp+64], rax
    37bfb6df5mov [rsp+56], rax
    37bfb6dfamov [rsp+32], rax
    37bfb6dffmovups [rsp+352], x1
    37bfb6e07movups [rsp+384], x8
    37bfb6e10movups [rsp+400], x9
    37bfb6e19call dlaln2_64_
    37bfb6e1emovupd x1, [rip+0x4a5e0a]
    37bfb6e26movupd x8, [rsp+384]
    37bfb6e30movupd x9, [rsp+400]
    37bfb6e3aandpd x1, x8
    37bfb6e3fcmp [rsp+240], 0
    37bfb6e48je 0x37bfb6e59
    37bfb6e4amov rax, [rsp+704]
    37bfb6e52mov [rax], 2
    37bfb6e59
    37bfb6e59loc_37bfb6e59:
    37bfb6e59ucomisd x7, [rsp+272]
    37bfb6e62jp 0x37bfb8340
    37bfb6e68jne 0x37bfb8340
    37bfb6e6e
    37bfb6e6eloc_37bfb6e6e:
    37bfb6e6emovapd x0, x1
    37bfb6e72movups [rbx+8*r12-16], x8
    37bfb6e78unpckhpd x0, x1
    37bfb6e7cmaxpd x0, x1
    37bfb6e80comisd x0, x7
    37bfb6e84jbe 0x37bfb6eca
    37bfb6e86movapd x2, x7
    37bfb6e8amovapd x1, x10
    37bfb6e8fmov rax, [rsp+696]
    37bfb6e97divsd x2, x0
    37bfb6e9bsubsd x1, x11
    37bfb6ea0movsd_xmm [rsp+264], x2
    37bfb6ea9mulsd x1, x2
    37bfb6eadmovupd x2, [rax+8*r12-16]
    37bfb6eb4movapd x0, x2
    37bfb6eb8unpckhpd x0, x2
    37bfb6ebcmaxpd x0, x2
    37bfb6ec0comisd x0, x1
    37bfb6ec4ja 0x37bfb8960
    37bfb6eca
    37bfb6ecaloc_37bfb6eca:
    37bfb6ecacmp rsi, 1
    37bfb6ecejne 0x37bfb8178
    37bfb6ed4add r13, rdi
    37bfb6ed7add r15, r14
    37bfb6edaxor ebp, ebp
    37bfb6edcnop [rax]
    37bfb6ee0
    37bfb6ee0loc_37bfb6ee0:
    37bfb6ee0mov r12, rsi
    37bfb6ee3
    37bfb6ee3loc_37bfb6ee3:
    37bfb6ee3lea rsi, [r12-1]
    37bfb6ee8cmp r12, rbp
    37bfb6eebjle 0x37bfb6d20
    37bfb6ef1
    37bfb6ef1loc_37bfb6ef1:
    37bfb6ef1test rsi, rsi
    37bfb6ef4je 0x37bfb69a7
    37bfb6efaadd r13, rdi
    37bfb6efdadd r15, r14
    37bfb6f00jmp 0x37bfb6ee0
    37bfb6f02
    37bfb6f02 66 0f 1f 44 00 00 f..D..
    37bfb6f08
    37bfb6f08loc_37bfb6f08:
    37bfb6f08mov rax, [rsp+672]
    37bfb6f10movsd_xmm x0, [rax]
    37bfb6f14mov rax, [rsp+160]
    37bfb6f1candpd x0, x6
    37bfb6f20xor rax, 1
    37bfb6f24mulsd x0, x13
    37bfb6f29maxsd x0, x12
    37bfb6f2emovsd_xmm [rsp+296], x0
    37bfb6f37je 0x37bfb7220
    37bfb6f3dtest rbp, rbp
    37bfb6f40jle 0x37bfb69a7
    37bfb6f46mov rsi, [rsp+152]
    37bfb6f4emov r12, rbp
    37bfb6f51lea r15, [rbx+8*rbp-8]
    37bfb6f56mov rcx, [rsp+184]
    37bfb6f5emov rdx, [rsp+648]
    37bfb6f66mov [rsp+696], rdi
    37bfb6f6emov rdi, r14
    37bfb6f71mov rax, rsi
    37bfb6f74neg rax
    37bfb6f77shl rax, 3
    37bfb6f7bmov [rsp+224], rax
    37bfb6f83mov rax, rsi
    37bfb6f86imul rax, rbp
    37bfb6f8aadd rax, rcx
    37bfb6f8dlea r11, [rdx+8*rax+8]
    37bfb6f92lea rax, [8*rcx]
    37bfb6f9amov [rsp+160], rax
    37bfb6fa2lea rax, [rbp-1]
    37bfb6fa6mov r14, r11
    37bfb6fa9imul rax, rsi
    37bfb6fadadd rax, rcx
    37bfb6fb0add rax, rbp
    37bfb6fb3lea r13, [rdx+8*rax-8]
    37bfb6fb8jmp 0x37bfb71f2
    37bfb6fbd
    37bfb6fbd 0f 1f 00 ...
    37bfb6fc0
    37bfb6fc0loc_37bfb6fc0:
    37bfb6fc0mov rdx, [rdi]
    37bfb6fc3movsd_xmm x2, [r15]
    37bfb6fc8lea rcx, [r12+rdx-1]
    37bfb6fcdmovsd_xmm x1, [rbx+8*rcx]
    37bfb6fd2cmp r12, 1
    37bfb6fd6je 0x37bfb7e20
    37bfb6fdcpxor x3, x3
    37bfb6fe0ucomisd x3, [r13+8]
    37bfb6fe6mov rax, [rsp+672]
    37bfb6feemovsd_xmm x0, [rax]
    37bfb6ff2jp 0x37bfb6ffd
    37bfb6ff4mov rbp, rsi
    37bfb6ff7je 0x37bfb7e2e
    37bfb6ffd
    37bfb6ffdloc_37bfb6ffd:
    37bfb6ffdlea rdx, [rsi+rdx-1]
    37bfb7002lea rax, [rip+0x4a5be7]
    37bfb7009xorpd x0, [rip+0x4a5c2f]
    37bfb7011movups [rsp+384], x8
    37bfb701amovsd_xmm x3, [rbx+8*rdx]
    37bfb701flea rcx, [rsp+344]
    37bfb7027lea rdx, [rsp+240]
    37bfb702fmovups [rsp+400], x9
    37bfb7038mov [rsp+184], rcx
    37bfb7040lea r8, [rip+0x4a5ba9]
    37bfb7047lea rbp, [rsp+272]
    37bfb704funpcklpd x3, x1
    37bfb7053movsd_xmm x1, [r15-8]
    37bfb7059mov [rsp+112], rax
    37bfb705elea r9, [rsp+296]
    37bfb7066mov [rsp+96], rcx
    37bfb706blea rcx, [rip+0x4a5b8e]
    37bfb7072mov [rsp+80], rax
    37bfb7077mov rax, [rsp+176]
    37bfb707funpcklpd x1, x2
    37bfb7083mov [rsp+88], rcx
    37bfb7088mov rcx, [rsp+656]
    37bfb7090mov [rsp+72], rax
    37bfb7095lea rax, [rip+0x4a5b6c]
    37bfb709cmov [rsp+136], rdx
    37bfb70a4lea rdx, [rsp+320]
    37bfb70acmov [rsp+48], rcx
    37bfb70b1lea rcx, [rip+0x4a5b40]
    37bfb70b8mov [rsp+64], rax
    37bfb70bdmov [rsp+56], rax
    37bfb70c2mov [rsp+40], r13
    37bfb70c7mov [rsp+32], rax
    37bfb70ccmov [rsp+128], rdx
    37bfb70d4lea rdx, [rsp+384]
    37bfb70dcmov [rsp+104], rdx
    37bfb70e1mov rdx, r8
    37bfb70e4movups [rsp+352], x1
    37bfb70ecmovsd_xmm [rsp+344], x0
    37bfb70f5mov [rsp+120], rbp
    37bfb70famovups [rsp+368], x3
    37bfb7102call dlaln2_64_
    37bfb7107movupd x0, [rip+0x4a5b21]
    37bfb710fmovupd x8, [rsp+384]
    37bfb7119movupd x9, [rsp+400]
    37bfb7123movupd x1, [rip+0x4a5b05]
    37bfb712bandpd x0, x8
    37bfb7130andpd x1, x9
    37bfb7135cmp [rsp+240], 0
    37bfb713eje 0x37bfb714f
    37bfb7140mov rax, [rsp+704]
    37bfb7148mov [rax], 2
    37bfb714f
    37bfb714floc_37bfb714f:
    37bfb714fucomisd x7, [rsp+272]
    37bfb7158jp 0x37bfb8390
    37bfb715ejne 0x37bfb8390
    37bfb7164
    37bfb7164loc_37bfb7164:
    37bfb7164addpd x1, x0
    37bfb7168mov rdx, [rdi]
    37bfb716bmovups [r15-8], x8
    37bfb7170add rdx, rsi
    37bfb7173movapd x0, x1
    37bfb7177movups [rbx+8*rdx-8], x9
    37bfb717dunpckhpd x0, x1
    37bfb7181maxpd x0, x1
    37bfb7185comisd x0, x7
    37bfb7189jbe 0x37bfb71cf
    37bfb718bmovapd x2, x7
    37bfb718fmovapd x1, x10
    37bfb7194mov rax, [rsp+696]
    37bfb719cdivsd x2, x0
    37bfb71a0subsd x1, x11
    37bfb71a5movsd_xmm [rsp+264], x2
    37bfb71aemulsd x1, x2
    37bfb71b2movupd x2, [rax+8*r12-16]
    37bfb71b9movapd x0, x2
    37bfb71bdunpckhpd x0, x2
    37bfb71c1maxpd x0, x2
    37bfb71c5comisd x0, x1
    37bfb71c9ja 0x37bfb89a0
    37bfb71cf
    37bfb71cfloc_37bfb71cf:
    37bfb71cfcmp rsi, 1
    37bfb71d3jne 0x37bfb85d0
    37bfb71d9sub r15, 8
    37bfb71ddadd r14, [rsp+224]
    37bfb71e5add r13, [rsp+160]
    37bfb71edxor ebp, ebp
    37bfb71ef
    37bfb71efloc_37bfb71ef:
    37bfb71efmov r12, rsi
    37bfb71f2
    37bfb71f2loc_37bfb71f2:
    37bfb71f2lea rsi, [r12-1]
    37bfb71f7cmp rbp, r12
    37bfb71fajge 0x37bfb6fc0
    37bfb7200
    37bfb7200loc_37bfb7200:
    37bfb7200test rsi, rsi
    37bfb7203je 0x37bfb69a7
    37bfb7209sub r15, 8
    37bfb720dadd r14, [rsp+224]
    37bfb7215add r13, [rsp+160]
    37bfb721djmp 0x37bfb71ef
    37bfb721f
    37bfb721f 90 .
    37bfb7220
    37bfb7220loc_37bfb7220:
    37bfb7220test rbp, rbp
    37bfb7223jle 0x37bfb69a7
    37bfb7229mov r8, [rsp+152]
    37bfb7231mov rax, [rsp+648]
    37bfb7239mov r12, rbx
    37bfb723cmov [rsp+224], rbp
    37bfb7244movapd x13, x10
    37bfb7249mov [rsp+696], rdi
    37bfb7251movapd x10, x8
    37bfb7256mov r10l, 1
    37bfb725cshl r8, 3
    37bfb7260mov r15, rax
    37bfb7263mov rbp, rax
    37bfb7266lea rsi, [r8+8]
    37bfb726amov [rsp+152], r8
    37bfb7272mov [rsp+184], rsi
    37bfb727amov esi, 1
    37bfb727fjmp 0x37bfb74dd
    37bfb7284
    37bfb7284 0f 1f 40 00 ..@.
    37bfb7288
    37bfb7288loc_37bfb7288:
    37bfb7288comisd x11, x7
    37bfb728djbe 0x37bfb72cb
    37bfb728fmovapd x3, x7
    37bfb7293movapd x1, x13
    37bfb7298mov rax, [rsp+696]
    37bfb72a0divsd x3, x11
    37bfb72a5subsd x1, x0
    37bfb72a9movsd_xmm [rsp+264], x3
    37bfb72b2mulsd x1, x3
    37bfb72b6movapd x0, x1
    37bfb72bamovsd_xmm x1, [rax+8*r11-8]
    37bfb72c1comisd x1, x0
    37bfb72c5ja 0x37bfb8a61
    37bfb72cb
    37bfb72cbloc_37bfb72cb:
    37bfb72cblea rcx, [rip+0x4a5916]
    37bfb72d2lea rax, [rsp+344]
    37bfb72damov r9, rbx
    37bfb72ddmov rdx, rbp
    37bfb72e0mov [rsp+32], rcx
    37bfb72e5mov r8, rcx
    37bfb72e8mov rcx, rax
    37bfb72ebmov [rsp+192], r11
    37bfb72f3mov [rsp+160], rax
    37bfb72fbmov [rsp+344], r13
    37bfb7303call ddot_64_
    37bfb7308mov rax, [r14]
    37bfb730bmov rcx, [rsp+160]
    37bfb7313mov [rsp+344], r13
    37bfb731bsubsd x8, x0
    37bfb7320lea rdx, [rax+rdi-1]
    37bfb7325lea r9, [rbx+8*rax]
    37bfb7329movsd_xmm [r12], x8
    37bfb732fmovsd_xmm x8, [rbx+8*rdx]
    37bfb7335lea rdx, [rip+0x4a58ac]
    37bfb733cmov [rsp+32], rdx
    37bfb7341mov r8, rdx
    37bfb7344mov rdx, rbp
    37bfb7347call ddot_64_
    37bfb734cmov rcx, [r14]
    37bfb734fmov r11, [rsp+192]
    37bfb7357subsd x8, x0
    37bfb735clea rax, [rcx+rdi]
    37bfb7360lea rdx, [rax-1]
    37bfb7364movsd_xmm [rbx+8*rax-8], x8
    37bfb736bcmp r11, 1
    37bfb736fje 0x37bfb89dd
    37bfb7375mov r10, [rsp+664]
    37bfb737dmovsd_xmm x2, [rbx+8*rcx]
    37bfb7382movsd_xmm x1, [r12]
    37bfb7388movsd_xmm x0, [r10+8*r11-8]
    37bfb738fmulsd x2, x0
    37bfb7393subsd x1, x2
    37bfb7397movsd_xmm [r12], x1
    37bfb739dmulsd x0, [rbx]
    37bfb73a1addsd x0, [rbx+8*rax-8]
    37bfb73a7movsd_xmm [rbx+8*rax-8], x0
    37bfb73admovsd_xmm x1, [r12]
    37bfb73b3andpd x0, x6
    37bfb73b7mov rax, [rsp+672]
    37bfb73bfandpd x1, x6
    37bfb73c3movsd_xmm x8, [rax]
    37bfb73c8addsd x1, x0
    37bfb73cc
    37bfb73ccloc_37bfb73cc:
    37bfb73ccmovsd_xmm x3, [r15]
    37bfb73d1movapd x4, x8
    37bfb73d6movsd_xmm x2, [rsp+296]
    37bfb73dfandpd x4, x6
    37bfb73e3movsd_xmm [rsp+312], x3
    37bfb73ecmovapd x0, x3
    37bfb73f0andpd x0, x6
    37bfb73f4addsd x0, x4
    37bfb73f8comisd x2, x0
    37bfb73fcjbe 0x37bfb741a
    37bfb73femov rax, [rsp+704]
    37bfb7406movapd x0, x2
    37bfb740amovsd_xmm [rsp+312], x2
    37bfb7413mov [rax], 1
    37bfb741a
    37bfb741aloc_37bfb741a:
    37bfb741acomisd x7, x0
    37bfb741eja 0x37bfb8400
    37bfb7424
    37bfb7424loc_37bfb7424:
    37bfb7424lea rax, [rsp+280]
    37bfb742cmov r9, [rsp+160]
    37bfb7434lea rdx, [rbx+8*rdx]
    37bfb7438mov rcx, r12
    37bfb743bmov [rsp+40], rax
    37bfb7440lea rax, [rsp+304]
    37bfb7448xorpd x8, [rip+0x4a57ef]
    37bfb7451lea r8, [rsp+312]
    37bfb7459mov [rsp+32], rax
    37bfb745emovsd_xmm [rsp+344], x8
    37bfb7468call dladiv_64_
    37bfb746dmov rdx, [r14]
    37bfb7470mov r10, rsi
    37bfb7473movsd_xmm x0, [rsp+304]
    37bfb747cmovsd_xmm x1, [rsp+280]
    37bfb7485lea rax, [rdi+rdx-1]
    37bfb748amovsd_xmm [r12], x0
    37bfb7490movsd_xmm [rbx+8*rax], x1
    37bfb7495movsd_xmm x0, [r12]
    37bfb749bandpd x1, x6
    37bfb749fmov rax, [rsp+152]
    37bfb74a7andpd x0, x6
    37bfb74abadd rax, rbp
    37bfb74aeaddsd x0, x1
    37bfb74b2maxsd x11, x0
    37bfb74b7nop [rax+rax]
    37bfb74c0
    37bfb74c0loc_37bfb74c0:
    37bfb74c0add r12, 8
    37bfb74c4mov rbp, rax
    37bfb74c7add r15, [rsp+184]
    37bfb74cfcmp rsi, [rsp+224]
    37bfb74d7jg 0x37bfb69a7
    37bfb74dd
    37bfb74ddloc_37bfb74dd:
    37bfb74ddmov rax, [rsp+152]
    37bfb74e5mov rdi, rsi
    37bfb74e8mov r11, rsi
    37bfb74ebadd rsi, 1
    37bfb74efadd rax, rbp
    37bfb74f2cmp r10, rdi
    37bfb74f5jg 0x37bfb74c0
    37bfb74f7movsd_xmm x8, [r12]
    37bfb74fdlea rax, [rdi+rdx-1]
    37bfb7502lea r13, [rdi-1]
    37bfb7506movsd_xmm x0, [rbx+8*rax]
    37bfb750bmovapd x1, x8
    37bfb7510andpd x0, x6
    37bfb7514andpd x1, x6
    37bfb7518addsd x0, x1
    37bfb751ccmp rdx, rdi
    37bfb751fjle 0x37bfb7288
    37bfb7525pxor x1, x1
    37bfb7529ucomisd x1, [r15+8]
    37bfb752fjp 0x37bfb7537
    37bfb7531je 0x37bfb7288
    37bfb7537
    37bfb7537loc_37bfb7537:
    37bfb7537comisd x11, x7
    37bfb753clea r10, [r11+2]
    37bfb7540jbe 0x37bfb75ac
    37bfb7542lea rax, [rsi+rdx-1]
    37bfb7547movsd_xmm x3, [r12+8]
    37bfb754emovsd_xmm x1, [rbx+8*rax]
    37bfb7553mov rax, [rsp+696]
    37bfb755bandpd x3, x6
    37bfb755fandpd x1, x6
    37bfb7563addsd x1, x3
    37bfb7567movupd x3, [rax+8*r11-8]
    37bfb756emaxsd x1, x0
    37bfb7572movapd x0, x7
    37bfb7576divsd x0, x11
    37bfb757bmovsd_xmm [rsp+264], x0
    37bfb7584movapd x0, x13
    37bfb7589subsd x0, x1
    37bfb758dmovapd x1, x0
    37bfb7591movapd x0, x3
    37bfb7595divsd x1, x11
    37bfb759aunpckhpd x0, x3
    37bfb759emaxpd x0, x3
    37bfb75a2comisd x0, x1
    37bfb75a6ja 0x37bfb8500
    37bfb75ac
    37bfb75acloc_37bfb75ac:
    37bfb75aclea rcx, [rip+0x4a5635]
    37bfb75b3lea rax, [rsp+344]
    37bfb75bbmov rdx, rbp
    37bfb75bemov r9, rbx
    37bfb75c1mov [rsp+32], rcx
    37bfb75c6mov r8, rcx
    37bfb75c9mov rcx, rax
    37bfb75ccmov [rsp+208], r11
    37bfb75d4mov [rsp+232], r10
    37bfb75dcmov [rsp+160], rax
    37bfb75e4mov [rsp+344], r13
    37bfb75eccall ddot_64_
    37bfb75f1mov r10, [rsp+152]
    37bfb75f9lea rdx, [rip+0x4a55e8]
    37bfb7600mov rcx, [rsp+160]
    37bfb7608subsd x8, x0
    37bfb760dmov r8, rdx
    37bfb7610mov r9, rbx
    37bfb7613mov [rsp+344], r13
    37bfb761blea rax, [rbp+r10]
    37bfb7620mov [rsp+192], rax
    37bfb7628movsd_xmm [rsp+352], x8
    37bfb7632movsd_xmm x8, [r12+8]
    37bfb7639mov [rsp+32], rdx
    37bfb763emov rdx, rax
    37bfb7641call ddot_64_
    37bfb7646mov rdx, [r14]
    37bfb7649lea rax, [rip+0x4a5598]
    37bfb7650mov [rsp+344], r13
    37bfb7658subsd x8, x0
    37bfb765dmov r8, rax
    37bfb7660lea rcx, [rdx+rdi-1]
    37bfb7665lea r9, [rbx+8*rdx]
    37bfb7669mov rdx, rbp
    37bfb766cmov rbp, [rsp+160]
    37bfb7674movsd_xmm [rsp+360], x8
    37bfb767emovsd_xmm x8, [rbx+8*rcx]
    37bfb7684mov rcx, rbp
    37bfb7687mov [rsp+32], rax
    37bfb768ccall ddot_64_
    37bfb7691mov rdx, [r14]
    37bfb7694lea rax, [rip+0x4a554d]
    37bfb769bmov [rsp+344], r13
    37bfb76a3subsd x8, x0
    37bfb76a8mov r8, rax
    37bfb76ablea rcx, [rdx+rsi-1]
    37bfb76b0lea r9, [rbx+8*rdx]
    37bfb76b4movsd_xmm [rsp+368], x8
    37bfb76bemovsd_xmm x8, [rbx+8*rcx]
    37bfb76c4mov rcx, rbp
    37bfb76c7lea rbp, [rsp+272]
    37bfb76cfmov [rsp+32], rax
    37bfb76d4mov rax, [rsp+192]
    37bfb76dcmov rdx, rax
    37bfb76dfmov [rsp+160], rax
    37bfb76e7call ddot_64_
    37bfb76ecmov rdx, [r14]
    37bfb76efmovapd x1, x8
    37bfb76f4mov rax, [rsp+664]
    37bfb76fcmov r11, [rsp+208]
    37bfb7704movapd x4, x0
    37bfb7708movupd x2, [rsp+352]
    37bfb7711lea r8, [rip+0x4a54d8]
    37bfb7718movddup x3, [rbx+8*rdx]
    37bfb771dsubsd x1, x4
    37bfb7721mov rcx, [rsp+672]
    37bfb7729lea rdx, [rsp+240]
    37bfb7731movupd x0, [rax+8*r11-8]
    37bfb7738lea rax, [rip+0x4a54b1]
    37bfb773flea r9, [rsp+296]
    37bfb7747movups [rsp+384], x10
    37bfb7750movups [rsp+400], x9
    37bfb7759mulpd x3, x0
    37bfb775dsubpd x2, x3
    37bfb7761movsd_xmm x3, [rbx]
    37bfb7765mov [rsp+112], rax
    37bfb776amov [rsp+80], rax
    37bfb776fmov rax, [rsp+176]
    37bfb7777mov [rsp+96], rcx
    37bfb777clea rcx, [rip+0x4a547d]
    37bfb7783movups [rsp+352], x2
    37bfb778bmovapd x2, x0
    37bfb778funpckhpd x0, x0
    37bfb7793mulsd x0, x3
    37bfb7797mov [rsp+72], rax
    37bfb779clea rax, [rip+0x4a5465]
    37bfb77a3mulsd x2, x3
    37bfb77a7mov [rsp+136], rdx
    37bfb77aflea rdx, [rsp+320]
    37bfb77b7addsd x2, [rsp+368]
    37bfb77c0mov [rsp+88], rcx
    37bfb77c5mov [rsp+32], rax
    37bfb77camov rcx, [rsp+656]
    37bfb77d2mov [rsp+40], r15
    37bfb77d7addsd x0, x1
    37bfb77dbmov [rsp+128], rdx
    37bfb77e3lea rdx, [rsp+384]
    37bfb77ebmov [rsp+104], rdx
    37bfb77f0mov rdx, r8
    37bfb77f3mov [rsp+48], rcx
    37bfb77f8lea rcx, [rip+0x4a5411]
    37bfb77ffmov [rsp+64], rax
    37bfb7804mov [rsp+56], rax
    37bfb7809movsd_xmm [rsp+368], x2
    37bfb7812mov [rsp+120], rbp
    37bfb7817movsd_xmm [rsp+376], x0
    37bfb7820call dlaln2_64_
    37bfb7825mov rax, [rsp+160]
    37bfb782dmovupd x9, [rsp+400]
    37bfb7837cmp [rsp+240], 0
    37bfb7840mov r10, [rsp+232]
    37bfb7848movupd x10, [rsp+384]
    37bfb7852movapd x4, x9
    37bfb7857unpckhpd x4, x4
    37bfb785bmovapd x2, x4
    37bfb785fje 0x37bfb7870
    37bfb7861mov rcx, [rsp+704]
    37bfb7869mov [rcx], 2
    37bfb7870
    37bfb7870loc_37bfb7870:
    37bfb7870ucomisd x7, [rsp+272]
    37bfb7879jp 0x37bfb82d0
    37bfb787fjne 0x37bfb82d0
    37bfb7885
    37bfb7885loc_37bfb7885:
    37bfb7885mov rdx, [r14]
    37bfb7888movups [r12], x10
    37bfb788dandpd x2, x6
    37bfb7891lea rcx, [rdi+rdx-1]
    37bfb7896movups [rbx+8*rcx], x9
    37bfb789bmovsd_xmm x0, [r12]
    37bfb78a1movsd_xmm x1, [rbx+8*rcx]
    37bfb78a6andpd x0, x6
    37bfb78aaandpd x1, x6
    37bfb78aeaddsd x0, x1
    37bfb78b2movsd_xmm x1, [r12+8]
    37bfb78b9andpd x1, x6
    37bfb78bdaddsd x1, x2
    37bfb78c1maxsd x0, x1
    37bfb78c5maxsd x11, x0
    37bfb78cajmp 0x37bfb74c0
    37bfb78cf
    37bfb78cf 90 .
    37bfb78d0
    37bfb78d0loc_37bfb78d0:
    37bfb78d0test rbp, rbp
    37bfb78d3jle 0x37bfb69a7
    37bfb78d9mov r13, [rsp+152]
    37bfb78e1mov rsi, [rsp+648]
    37bfb78e9mov [rsp+640], r14
    37bfb78f1movapd x12, x10
    37bfb78f6mov [rsp+696], rdi
    37bfb78femov r12l, 1
    37bfb7904movapd x10, x9
    37bfb7909mov rdi, rbp
    37bfb790cshl r13, 3
    37bfb7910mov r14, rsi
    37bfb7913mov r15l, 1
    37bfb7919lea rax, [r13+8]
    37bfb791dmov [rsp+152], rax
    37bfb7925lea rax, [rsp+344]
    37bfb792dmov [rsp+160], rax
    37bfb7935jmp 0x37bfb7a54
    37bfb793a
    37bfb793a 66 0f 1f 44 00 00 f..D..
    37bfb7940
    37bfb7940loc_37bfb7940:
    37bfb7940comisd x11, x7
    37bfb7945jbe 0x37bfb797e
    37bfb7947movapd x3, x7
    37bfb794bmovapd x0, x12
    37bfb7950mov rcx, [rsp+696]
    37bfb7958divsd x3, x11
    37bfb795dsubsd x0, x2
    37bfb7961movsd_xmm x2, [rcx+8*rbp-8]
    37bfb7967movsd_xmm [rsp+264], x3
    37bfb7970mulsd x0, x3
    37bfb7974comisd x2, x0
    37bfb7978ja 0x37bfb8a04
    37bfb797e
    37bfb797eloc_37bfb797e:
    37bfb797emov [rsp+344], rax
    37bfb7986lea rax, [rip+0x4a525b]
    37bfb798dmov r9, rbx
    37bfb7990mov rdx, rsi
    37bfb7993mov [rsp+32], rax
    37bfb7998mov rcx, [rsp+160]
    37bfb79a0mov r8, rax
    37bfb79a3call ddot_64_
    37bfb79a8movsd_xmm x2, [r14]
    37bfb79admovsd_xmm x1, [rsp+288]
    37bfb79b6subsd x9, x0
    37bfb79bbmovapd x0, x2
    37bfb79bfandpd x0, x6
    37bfb79c3comisd x1, x0
    37bfb79c7movsd_xmm [rbx+8*rbp-8], x9
    37bfb79cejbe 0x37bfb79e7
    37bfb79d0mov rax, [rsp+704]
    37bfb79d8movapd x2, x1
    37bfb79dcmovapd x0, x1
    37bfb79e0mov [rax], 1
    37bfb79e7
    37bfb79e7loc_37bfb79e7:
    37bfb79e7comisd x7, x0
    37bfb79ebja 0x37bfb8470
    37bfb79f1
    37bfb79f1loc_37bfb79f1:
    37bfb79f1divsd x9, x2
    37bfb79f6mov r15, r12
    37bfb79f9lea rax, [r13+rsi]
    37bfb79femovapd x1, x9
    37bfb7a03movsd_xmm [rbx+8*rbp-8], x9
    37bfb7a0aandpd x1, x6
    37bfb7a0emaxsd x11, x1
    37bfb7a13nop
    37bfb7a14nop [rax+rax]
    37bfb7a1fnop [rax+rax]
    37bfb7a2anop [rax+rax]
    37bfb7a35nop [rax+rax]
    37bfb7a40
    37bfb7a40loc_37bfb7a40:
    37bfb7a40mov rsi, rax
    37bfb7a43add r14, [rsp+152]
    37bfb7a4bcmp r12, rdi
    37bfb7a4ejg 0x37bfb69a7
    37bfb7a54
    37bfb7a54loc_37bfb7a54:
    37bfb7a54mov rbp, r12
    37bfb7a57lea rax, [r13+rsi]
    37bfb7a5cadd r12, 1
    37bfb7a60cmp r15, rbp
    37bfb7a63jg 0x37bfb7a40
    37bfb7a65movsd_xmm x9, [rbx+8*rbp-8]
    37bfb7a6cmov rcx, [rsp+640]
    37bfb7a74lea rax, [rbp-1]
    37bfb7a78movapd x2, x9
    37bfb7a7dandpd x2, x6
    37bfb7a81cmp [rcx], rbp
    37bfb7a84jle 0x37bfb7940
    37bfb7a8apxor x0, x0
    37bfb7a8eucomisd x0, [r14+8]
    37bfb7a94jp 0x37bfb7a9c
    37bfb7a96je 0x37bfb7940
    37bfb7a9c
    37bfb7a9cloc_37bfb7a9c:
    37bfb7a9ccomisd x11, x7
    37bfb7aa1lea r15, [rbp+2]
    37bfb7aa5jbe 0x37bfb7af7
    37bfb7aa7movapd x3, x7
    37bfb7aabmovsd_xmm x0, [rbx+8*rbp]
    37bfb7ab0mov rcx, [rsp+696]
    37bfb7ab8divsd x3, x11
    37bfb7abdandpd x0, x6
    37bfb7ac1maxsd x0, x2
    37bfb7ac5movapd x2, x12
    37bfb7acasubsd x2, x0
    37bfb7acemovsd_xmm [rsp+264], x3
    37bfb7ad7mulsd x2, x3
    37bfb7adbmovupd x3, [rcx+8*rbp-8]
    37bfb7ae1movapd x0, x3
    37bfb7ae5unpckhpd x0, x3
    37bfb7ae9maxpd x0, x3
    37bfb7aedcomisd x0, x2
    37bfb7af1ja 0x37bfb8570
    37bfb7af7
    37bfb7af7loc_37bfb7af7:
    37bfb7af7mov [rsp+344], rax
    37bfb7affmov rcx, [rsp+160]
    37bfb7b07mov rdx, rsi
    37bfb7b0amov r9, rbx
    37bfb7b0dmov [rsp+184], rax
    37bfb7b15lea rax, [rip+0x4a50cc]
    37bfb7b1cmov [rsp+32], rax
    37bfb7b21mov r8, rax
    37bfb7b24call ddot_64_
    37bfb7b29mov rax, [rsp+184]
    37bfb7b31mov rcx, [rsp+160]
    37bfb7b39mov r9, rbx
    37bfb7b3csubsd x9, x0
    37bfb7b41mov [rsp+344], rax
    37bfb7b49lea rax, [r13+rsi]
    37bfb7b4elea rsi, [rip+0x4a5093]
    37bfb7b55mov r8, rsi
    37bfb7b58mov rdx, rax
    37bfb7b5bmov [rsp+184], rax
    37bfb7b63movsd_xmm [rsp+352], x9
    37bfb7b6dmovsd_xmm x9, [rbx+8*rbp]
    37bfb7b73mov [rsp+32], rsi
    37bfb7b78lea rsi, [rsp+272]
    37bfb7b80call ddot_64_
    37bfb7b85lea rax, [rip+0x4a5064]
    37bfb7b8cmov [rsp+120], rsi
    37bfb7b91lea rcx, [rip+0x4a5068]
    37bfb7b98mov [rsp+112], rax
    37bfb7b9dlea rdx, [rsp+240]
    37bfb7ba5subsd x9, x0
    37bfb7baamov [rsp+80], rax
    37bfb7bafmov rax, [rsp+176]
    37bfb7bb7lea r9, [rsp+288]
    37bfb7bbflea r8, [rip+0x4a5022]
    37bfb7bc6mov [rsp+136], rdx
    37bfb7bcelea rdx, [rsp+320]
    37bfb7bd6mov [rsp+96], rcx
    37bfb7bdbmov [rsp+88], rcx
    37bfb7be0mov rcx, [rsp+656]
    37bfb7be8mov [rsp+128], rdx
    37bfb7bf0lea rdx, [rsp+384]
    37bfb7bf8mov [rsp+72], rax
    37bfb7bfdlea rax, [rip+0x4a5004]
    37bfb7c04mov [rsp+104], rdx
    37bfb7c09lea rdx, [rip+0x4a4fe0]
    37bfb7c10mov [rsp+64], rax
    37bfb7c15mov [rsp+56], rax
    37bfb7c1amov [rsp+48], rcx
    37bfb7c1flea rcx, [rip+0x4a4fea]
    37bfb7c26mov [rsp+32], rax
    37bfb7c2bmov [rsp+40], r14
    37bfb7c30movups [rsp+384], x8
    37bfb7c39movups [rsp+400], x10
    37bfb7c42movsd_xmm [rsp+360], x9
    37bfb7c4ccall dlaln2_64_
    37bfb7c51mov rax, [rsp+184]
    37bfb7c59movupd x8, [rsp+384]
    37bfb7c63cmp [rsp+240], 0
    37bfb7c6cmovupd x10, [rsp+400]
    37bfb7c76movapd x4, x8
    37bfb7c7bunpckhpd x4, x4
    37bfb7c7fmovapd x1, x4
    37bfb7c83je 0x37bfb7c94
    37bfb7c85mov rcx, [rsp+704]
    37bfb7c8dmov [rcx], 2
    37bfb7c94
    37bfb7c94loc_37bfb7c94:
    37bfb7c94ucomisd x7, [rsp+272]
    37bfb7c9djp 0x37bfb8270
    37bfb7ca3jne 0x37bfb8270
    37bfb7ca9
    37bfb7ca9loc_37bfb7ca9:
    37bfb7ca9movapd x0, x8
    37bfb7caeandpd x1, x6
    37bfb7cb2movups [rbx+8*rbp-8], x8
    37bfb7cb8andpd x0, x6
    37bfb7cbcmaxsd x0, x1
    37bfb7cc0maxsd x11, x0
    37bfb7cc5jmp 0x37bfb7a40
    37bfb7cca
    37bfb7cca 66 0f 1f 44 00 00 f..D..
    37bfb7cd0
    37bfb7cd0loc_37bfb7cd0:
    37bfb7cd0xor ebp, ebp
    37bfb7cd2
    37bfb7cd2loc_37bfb7cd2:
    37bfb7cd2mov rax, [rsp+152]
    37bfb7cdamovsd_xmm x2, [r15+8*rax+8]
    37bfb7ce1movsd_xmm [rsp+312], x2
    37bfb7ceamovapd x1, x2
    37bfb7ceemovsd_xmm x2, [rsp+288]
    37bfb7cf7andpd x1, x6
    37bfb7cfbcomisd x2, x1
    37bfb7cffjbe 0x37bfb7d1d
    37bfb7d01mov rax, [rsp+704]
    37bfb7d09movapd x1, x2
    37bfb7d0dmovsd_xmm [rsp+312], x2
    37bfb7d16mov [rax], 1
    37bfb7d1d
    37bfb7d1dloc_37bfb7d1d:
    37bfb7d1dpxor x2, x2
    37bfb7d21ucomisd x0, x2
    37bfb7d25jp 0x37bfb7d2d
    37bfb7d27je 0x37bfb6ef1
    37bfb7d2d
    37bfb7d2dloc_37bfb7d2d:
    37bfb7d2dcomisd x7, x1
    37bfb7d31ja 0x37bfb87f0
    37bfb7d37
    37bfb7d37loc_37bfb7d37:
    37bfb7d37divsd x0, [rsp+312]
    37bfb7d40movsd_xmm [rbx+8*r12-8], x0
    37bfb7d47andpd x0, x6
    37bfb7d4bcomisd x0, x7
    37bfb7d4fjbe 0x37bfb7d89
    37bfb7d51movapd x1, x7
    37bfb7d55mov rax, [rsp+696]
    37bfb7d5ddivsd x1, x0
    37bfb7d61movapd x0, x10
    37bfb7d66subsd x0, x11
    37bfb7d6bmovsd_xmm [rsp+264], x1
    37bfb7d74mulsd x0, x1
    37bfb7d78movsd_xmm x1, [rax+8*r12-8]
    37bfb7d7fcomisd x1, x0
    37bfb7d83ja 0x37bfb8913
    37bfb7d89
    37bfb7d89loc_37bfb7d89:
    37bfb7d89cmp r12, 1
    37bfb7d8dje 0x37bfb69a7
    37bfb7d93lea rax, [rip+0x4a4e4e]
    37bfb7d9amovsd_xmm x0, [rbx+8*r12-8]
    37bfb7da1mov [rsp+32], rbx
    37bfb7da6lea rcx, [rsp+336]
    37bfb7daemov [rsp+40], rax
    37bfb7db3xorpd x0, [rip+0x4a4e85]
    37bfb7dbbmov r9, rax
    37bfb7dbemov r8, r13
    37bfb7dc1lea rdx, [rsp+344]
    37bfb7dc9mov [rsp+336], rsi
    37bfb7dd1movsd_xmm [rsp+344], x0
    37bfb7ddacall daxpy_64_
    37bfb7ddflea r8, [rip+0x4a4e02]
    37bfb7de6mov rdx, rbx
    37bfb7de9lea rcx, [rsp+344]
    37bfb7df1mov [rsp+344], rsi
    37bfb7df9call idamax_64_
    37bfb7dfelea r11, [r13+rdi]
    37bfb7e03movsd_xmm x11, [rbx+8*rax-8]
    37bfb7e0aandpd x11, x6
    37bfb7e0f
    37bfb7e0floc_37bfb7e0f:
    37bfb7e0fmov r13, r11
    37bfb7e12add r15, r14
    37bfb7e15jmp 0x37bfb6ee0
    37bfb7e1a
    37bfb7e1a 66 0f 1f 44 00 00 f..D..
    37bfb7e20
    37bfb7e20loc_37bfb7e20:
    37bfb7e20mov rax, [rsp+664]
    37bfb7e28xor ebp, ebp
    37bfb7e2amovsd_xmm x0, [rax]
    37bfb7e2e
    37bfb7e2eloc_37bfb7e2e:
    37bfb7e2emov rax, [rsp+152]
    37bfb7e36andpd x1, x6
    37bfb7e3aandpd x2, x6
    37bfb7e3emovsd_xmm [rsp+328], x0
    37bfb7e47addsd x2, x1
    37bfb7e4bandpd x0, x6
    37bfb7e4fmovsd_xmm x3, [r13+8*rax+8]
    37bfb7e56movsd_xmm [rsp+312], x3
    37bfb7e5fmovapd x1, x3
    37bfb7e63andpd x1, x6
    37bfb7e67addsd x0, x1
    37bfb7e6bmovsd_xmm x1, [rsp+296]
    37bfb7e74comisd x1, x0
    37bfb7e78jbe 0x37bfb7e96
    37bfb7e7amov rax, [rsp+704]
    37bfb7e82movapd x0, x1
    37bfb7e86movsd_xmm [rsp+312], x1
    37bfb7e8fmov [rax], 1
    37bfb7e96
    37bfb7e96loc_37bfb7e96:
    37bfb7e96pxor x1, x1
    37bfb7e9aucomisd x2, x1
    37bfb7e9ejp 0x37bfb7ea6
    37bfb7ea0je 0x37bfb7200
    37bfb7ea6
    37bfb7ea6loc_37bfb7ea6:
    37bfb7ea6comisd x7, x0
    37bfb7eaaja 0x37bfb8868
    37bfb7eb0
    37bfb7eb0loc_37bfb7eb0:
    37bfb7eb0lea rdx, [rbx+8*rcx]
    37bfb7eb4lea rcx, [rsp+280]
    37bfb7ebcmov [rsp+40], rcx
    37bfb7ec1lea rcx, [rsp+304]
    37bfb7ec9lea r9, [rsp+328]
    37bfb7ed1mov [rsp+32], rcx
    37bfb7ed6lea r8, [rsp+312]
    37bfb7edemov rcx, r15
    37bfb7ee1call dladiv_64_
    37bfb7ee6mov rdx, [rdi]
    37bfb7ee9movsd_xmm x0, [rsp+304]
    37bfb7ef2movsd_xmm x1, [rsp+280]
    37bfb7efbadd rdx, r12
    37bfb7efemovsd_xmm [r15], x0
    37bfb7f03movsd_xmm [rbx+8*rdx-8], x1
    37bfb7f09movsd_xmm x0, [r15]
    37bfb7f0eandpd x1, x6
    37bfb7f12andpd x0, x6
    37bfb7f16addsd x0, x1
    37bfb7f1acomisd x0, x7
    37bfb7f1ejbe 0x37bfb7f58
    37bfb7f20movapd x1, x7
    37bfb7f24mov rax, [rsp+696]
    37bfb7f2cdivsd x1, x0
    37bfb7f30movapd x0, x10
    37bfb7f35subsd x0, x11
    37bfb7f3amovsd_xmm [rsp+264], x1
    37bfb7f43mulsd x0, x1
    37bfb7f47movsd_xmm x1, [rax+8*r12-8]
    37bfb7f4ecomisd x1, x0
    37bfb7f52ja 0x37bfb88d6
    37bfb7f58
    37bfb7f58loc_37bfb7f58:
    37bfb7f58cmp r12, 1
    37bfb7f5cje 0x37bfb69a7
    37bfb7f62lea rcx, [rip+0x4a4c7f]
    37bfb7f69movsd_xmm x0, [r15]
    37bfb7f6emov [rsp+32], rbx
    37bfb7f73lea rax, [rsp+336]
    37bfb7f7bmov [rsp+40], rcx
    37bfb7f80mov r9, rcx
    37bfb7f83mov r8, r14
    37bfb7f86mov rcx, rax
    37bfb7f89lea r10, [rsp+344]
    37bfb7f91xorpd x0, [rip+0x4a4ca7]
    37bfb7f99mov [rsp+184], rax
    37bfb7fa1pxor x11, x11
    37bfb7fa6mov rdx, r10
    37bfb7fa9mov [rsp+192], r10
    37bfb7fb1movsd_xmm [rsp+344], x0
    37bfb7fbamov [rsp+336], rsi
    37bfb7fc2call daxpy_64_
    37bfb7fc7mov rdx, [rdi]
    37bfb7fcamov r8, r14
    37bfb7fcdmov [rsp+336], rsi
    37bfb7fd5lea rcx, [rdx+r12-1]
    37bfb7fdalea rdx, [rbx+8*rdx]
    37bfb7fdemovsd_xmm x0, [rbx+8*rcx]
    37bfb7fe3lea rcx, [rip+0x4a4bfe]
    37bfb7feamov [rsp+32], rdx
    37bfb7fefmov [rsp+40], rcx
    37bfb7ff4xorpd x0, [rip+0x4a4c44]
    37bfb7ffcmov r9, rcx
    37bfb7fffmov rdx, [rsp+192]
    37bfb8007mov rcx, [rsp+184]
    37bfb800fmovsd_xmm [rsp+344], x0
    37bfb8018call daxpy_64_
    37bfb801dmov rdx, [rdi]
    37bfb8020mov rax, [rsp+664]
    37bfb8028lea rcx, [rdx+r12-1]
    37bfb802dmovsd_xmm x0, [rax+8*r12-8]
    37bfb8034movsd_xmm x1, [rbx+8*rcx]
    37bfb8039lea rcx, [rbx+8*rdx]
    37bfb803dmulsd x1, x0
    37bfb8041addsd x1, [rbx]
    37bfb8045movsd_xmm [rbx], x1
    37bfb8049mulsd x0, [r15]
    37bfb804emovsd_xmm x1, [rbx+8*rdx]
    37bfb8053subsd x1, x0
    37bfb8057movsd_xmm [rbx+8*rdx], x1
    37bfb805cmov edx, 1
    37bfb8061nop [rax+rax]
    37bfb806anop [rax+rax]
    37bfb8075nop [rax+rax]
    37bfb8080
    37bfb8080loc_37bfb8080:
    37bfb8080movsd_xmm x0, [rbx+8*rdx-8]
    37bfb8086movsd_xmm x1, [rcx+8*rdx-8]
    37bfb808cadd rdx, 1
    37bfb8090andpd x0, x6
    37bfb8094andpd x1, x6
    37bfb8098addsd x0, x1
    37bfb809cmaxsd x11, x0
    37bfb80a1cmp rdx, r12
    37bfb80a4jne 0x37bfb8080
    37bfb80a6mov rax, [rsp+224]
    37bfb80aelea r10, [r14+rax]
    37bfb80b2
    37bfb80b2loc_37bfb80b2:
    37bfb80b2sub r15, 8
    37bfb80b6mov r14, r10
    37bfb80b9add r13, [rsp+160]
    37bfb80c1jmp 0x37bfb71ef
    37bfb80c6
    37bfb80c6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bfb80d0
    37bfb80d0loc_37bfb80d0:
    37bfb80d0movapd x0, x10
    37bfb80d5lea r9, [rip+0x4a4b0c]
    37bfb80dcmov r8, rbx
    37bfb80dfmov rcx, rbp
    37bfb80e2divsd x0, x11
    37bfb80e7mov rax, [rsp+680]
    37bfb80efmovapd x11, x10
    37bfb80f4mov rdx, rax
    37bfb80f7movsd_xmm [rax], x0
    37bfb80fbcall dscal_64_
    37bfb8100jmp 0x37bfb6c82
    37bfb8105
    37bfb8105 0f 1f 00 ...
    37bfb8108
    37bfb8108loc_37bfb8108:
    37bfb8108mov rax, [rsp+672]
    37bfb8110movq x6, [rip+0x4a4b08]
    37bfb8118mov rdx, r14
    37bfb811bmov r9, [rsp+664]
    37bfb8123lea r8, [rip+0x4a4abe]
    37bfb812alea rcx, [rip+0x4a4ab1]
    37bfb8131movsd_xmm x2, [rax]
    37bfb8135mov rax, [rsp+176]
    37bfb813dmov [rsp+32], r14
    37bfb8142mov [rsp+48], 1
    37bfb814bandpd x2, x6
    37bfb814fmov [rsp+40], rax
    37bfb8154maxsd x2, x0
    37bfb8158movapd x12, x2
    37bfb815dcall dlange_64_
    37bfb8162maxsd x0, x12
    37bfb8167movsd_xmm [rsp+320], x0
    37bfb8170jmp 0x37bfb6add
    37bfb8175
    37bfb8175 0f 1f 00 ...
    37bfb8178
    37bfb8178loc_37bfb8178:
    37bfb8178movsd_xmm x0, [rbx+8*r12-16]
    37bfb817flea rdx, [rip+0x4a4a62]
    37bfb8186mov [rsp+32], rbx
    37bfb818blea r11, [rdi+r13]
    37bfb818fmov [rsp+40], rdx
    37bfb8194mov r8, r11
    37bfb8197lea rbp, [r12-2]
    37bfb819cmov r9, rdx
    37bfb819flea rax, [rsp+344]
    37bfb81a7xorpd x0, [rip+0x4a4a91]
    37bfb81aflea rcx, [rsp+336]
    37bfb81b7mov [rsp+224], r11
    37bfb81bfmov rdx, rax
    37bfb81c2mov [rsp+160], rax
    37bfb81camov [rsp+184], rcx
    37bfb81d2movsd_xmm [rsp+344], x0
    37bfb81dbmov [rsp+336], rbp
    37bfb81e3call daxpy_64_
    37bfb81e8lea rax, [rip+0x4a49f9]
    37bfb81efmov r8, r13
    37bfb81f2movsd_xmm x0, [rbx+8*r12-8]
    37bfb81f9mov r13, [rsp+160]
    37bfb8201mov [rsp+40], rax
    37bfb8206mov r9, rax
    37bfb8209mov [rsp+32], rbx
    37bfb820exorpd x0, [rip+0x4a4a2a]
    37bfb8216mov rcx, [rsp+184]
    37bfb821emov rdx, r13
    37bfb8221mov [rsp+336], rbp
    37bfb8229movsd_xmm [rsp+344], x0
    37bfb8232call daxpy_64_
    37bfb8237lea r8, [rip+0x4a49aa]
    37bfb823emov rdx, rbx
    37bfb8241mov rcx, r13
    37bfb8244mov [rsp+344], rbp
    37bfb824ccall idamax_64_
    37bfb8251mov r11, [rsp+224]
    37bfb8259movsd_xmm x11, [rbx+8*rax-8]
    37bfb8260andpd x11, x6
    37bfb8265jmp 0x37bfb7e0f
    37bfb826a
    37bfb826a 66 0f 1f 44 00 00 f..D..
    37bfb8270
    37bfb8270loc_37bfb8270:
    37bfb8270mov rcx, [rsp+640]
    37bfb8278lea r9, [rip+0x4a4969]
    37bfb827fmov r8, rbx
    37bfb8282mov rdx, rsi
    37bfb8285mov [rsp+224], rax
    37bfb828dmovsd_xmm [rsp+184], x1
    37bfb8296call dscal_64_
    37bfb829bmov rax, [rsp+680]
    37bfb82a3movsd_xmm x1, [rsp+184]
    37bfb82acmovsd_xmm x0, [rax]
    37bfb82b0mulsd x0, [rsp+272]
    37bfb82b9movsd_xmm [rax], x0
    37bfb82bdmov rax, [rsp+224]
    37bfb82c5jmp 0x37bfb7ca9
    37bfb82ca
    37bfb82ca 66 0f 1f 44 00 00 f..D..
    37bfb82d0
    37bfb82d0loc_37bfb82d0:
    37bfb82d0lea rcx, [rsp+256]
    37bfb82d8lea r9, [rip+0x4a4909]
    37bfb82dfmov r8, rbx
    37bfb82e2mov rdx, rbp
    37bfb82e5mov [rsp+208], r10
    37bfb82edmov [rsp+192], rax
    37bfb82f5movsd_xmm [rsp+160], x2
    37bfb82fecall dscal_64_
    37bfb8303mov rax, [rsp+680]
    37bfb830bmov r10, [rsp+208]
    37bfb8313movsd_xmm x2, [rsp+160]
    37bfb831cmovsd_xmm x0, [rax]
    37bfb8320mulsd x0, [rsp+272]
    37bfb8329movsd_xmm [rax], x0
    37bfb832dmov rax, [rsp+192]
    37bfb8335jmp 0x37bfb7885
    37bfb833a
    37bfb833a 66 0f 1f 44 00 00 f..D..
    37bfb8340
    37bfb8340loc_37bfb8340:
    37bfb8340mov rcx, [rsp+640]
    37bfb8348lea r9, [rip+0x4a4899]
    37bfb834fmov r8, rbx
    37bfb8352mov rdx, rbp
    37bfb8355movups [rsp+160], x1
    37bfb835dcall dscal_64_
    37bfb8362mov rax, [rsp+680]
    37bfb836amovupd x1, [rsp+160]
    37bfb8373movsd_xmm x0, [rax]
    37bfb8377mulsd x0, [rsp+272]
    37bfb8380movsd_xmm [rax], x0
    37bfb8384jmp 0x37bfb6e6e
    37bfb8389
    37bfb8389 0f 1f 80 00 00 00 00 .......
    37bfb8390
    37bfb8390loc_37bfb8390:
    37bfb8390mov rax, [rdi]
    37bfb8393mov rcx, [rsp+184]
    37bfb839bmov r8, rbx
    37bfb839elea r9, [rip+0x4a4843]
    37bfb83a5movups [rsp+208], x0
    37bfb83adlea rdx, [rax+rax]
    37bfb83b1movups [rsp+192], x1
    37bfb83b9mov [rsp+344], rdx
    37bfb83c1mov rdx, rbp
    37bfb83c4call dscal_64_
    37bfb83c9mov rax, [rsp+680]
    37bfb83d1movupd x0, [rsp+208]
    37bfb83damovupd x1, [rsp+192]
    37bfb83e3movsd_xmm x2, [rax]
    37bfb83e7mulsd x2, [rsp+272]
    37bfb83f0movsd_xmm [rax], x2
    37bfb83f4jmp 0x37bfb7164
    37bfb83f9
    37bfb83f9 0f 1f 80 00 00 00 00 .......
    37bfb8400
    37bfb8400loc_37bfb8400:
    37bfb8400mulsd x0, x13
    37bfb8405comisd x1, x0
    37bfb8409jbe 0x37bfb7424
    37bfb840fmovapd x0, x7
    37bfb8413lea rdx, [rsp+264]
    37bfb841bmov r8, rbx
    37bfb841edivsd x0, x1
    37bfb8422lea rcx, [rsp+256]
    37bfb842alea r9, [rip+0x4a47b7]
    37bfb8431movsd_xmm [rsp+264], x0
    37bfb843acall dscal_64_
    37bfb843fmov rax, [rsp+680]
    37bfb8447mov rdx, [r14]
    37bfb844amovsd_xmm x0, [rsp+264]
    37bfb8453movsd_xmm x1, [rax]
    37bfb8457lea rdx, [rdx+rdi-1]
    37bfb845cmulsd x11, x0
    37bfb8461mulsd x1, x0
    37bfb8465movsd_xmm [rax], x1
    37bfb8469jmp 0x37bfb7424
    37bfb846e
    37bfb846e 66 90 f.
    37bfb8470
    37bfb8470loc_37bfb8470:
    37bfb8470mulsd x0, x12
    37bfb8475movapd x3, x9
    37bfb847aandpd x3, x6
    37bfb847ecomisd x3, x0
    37bfb8482jbe 0x37bfb79f1
    37bfb8488movapd x0, x7
    37bfb848cmov rcx, [rsp+640]
    37bfb8494mov r8, rbx
    37bfb8497lea rdx, [rsp+264]
    37bfb849fdivsd x0, x3
    37bfb84a3lea r9, [rip+0x4a473e]
    37bfb84aamovsd_xmm [rsp+184], x2
    37bfb84b3movsd_xmm [rsp+264], x0
    37bfb84bccall dscal_64_
    37bfb84c1mov rax, [rsp+680]
    37bfb84c9movsd_xmm x0, [rsp+264]
    37bfb84d2movsd_xmm x2, [rsp+184]
    37bfb84dbmovsd_xmm x9, [rbx+8*rbp-8]
    37bfb84e2movsd_xmm x1, [rax]
    37bfb84e6mulsd x11, x0
    37bfb84ebmulsd x1, x0
    37bfb84efmovsd_xmm [rax], x1
    37bfb84f3jmp 0x37bfb79f1
    37bfb84f8
    37bfb84f8 0f 1f 84 00 00 00 00 00 ........
    37bfb8500
    37bfb8500loc_37bfb8500:
    37bfb8500lea rdx, [rsp+264]
    37bfb8508lea rcx, [rsp+256]
    37bfb8510mov r8, rbx
    37bfb8513mov [rsp+192], r10
    37bfb851blea r9, [rip+0x4a46c6]
    37bfb8522mov [rsp+160], r11
    37bfb852acall dscal_64_
    37bfb852fmov rax, [rsp+680]
    37bfb8537movsd_xmm x0, [rsp+264]
    37bfb8540movsd_xmm x8, [r12]
    37bfb8546mov r10, [rsp+192]
    37bfb854emovsd_xmm x1, [rax]
    37bfb8552mulsd x11, x0
    37bfb8557mov r11, [rsp+160]
    37bfb855fmulsd x1, x0
    37bfb8563movsd_xmm [rax], x1
    37bfb8567jmp 0x37bfb75ac
    37bfb856c
    37bfb856c 0f 1f 40 00 ..@.
    37bfb8570
    37bfb8570loc_37bfb8570:
    37bfb8570mov rcx, [rsp+640]
    37bfb8578lea rdx, [rsp+264]
    37bfb8580mov r8, rbx
    37bfb8583lea r9, [rip+0x4a465e]
    37bfb858amov [rsp+184], rax
    37bfb8592call dscal_64_
    37bfb8597mov rax, [rsp+680]
    37bfb859fmovsd_xmm x0, [rsp+264]
    37bfb85a8movsd_xmm x9, [rbx+8*rbp-8]
    37bfb85afmovsd_xmm x1, [rax]
    37bfb85b3mulsd x11, x0
    37bfb85b8mulsd x1, x0
    37bfb85bcmovsd_xmm [rax], x1
    37bfb85c0mov rax, [rsp+184]
    37bfb85c8jmp 0x37bfb7af7
    37bfb85cd
    37bfb85cd 0f 1f 00 ...
    37bfb85d0
    37bfb85d0loc_37bfb85d0:
    37bfb85d0movsd_xmm x0, [r15-8]
    37bfb85d6mov rax, [rsp+224]
    37bfb85delea rcx, [rip+0x4a4603]
    37bfb85e5mov [rsp+32], rbx
    37bfb85eamov [rsp+40], rcx
    37bfb85efxorpd x0, [rip+0x4a4649]
    37bfb85f7lea rbp, [r12-2]
    37bfb85fcmov r9, rcx
    37bfb85fflea r10, [r14+rax]
    37bfb8603mov rdx, [rsp+184]
    37bfb860bpxor x11, x11
    37bfb8610lea rax, [rsp+336]
    37bfb8618mov r8, r10
    37bfb861bmov rcx, rax
    37bfb861emov [rsp+208], r10
    37bfb8626mov [rsp+192], rax
    37bfb862emovsd_xmm [rsp+344], x0
    37bfb8637mov [rsp+336], rbp
    37bfb863fcall daxpy_64_
    37bfb8644lea r11, [rip+0x4a459d]
    37bfb864bmov r8, r14
    37bfb864emovsd_xmm x0, [r15]
    37bfb8653mov [rsp+40], r11
    37bfb8658xorpd x0, [rip+0x4a45e0]
    37bfb8660mov r9, r11
    37bfb8663mov [rsp+32], rbx
    37bfb8668mov rdx, [rsp+184]
    37bfb8670mov rcx, [rsp+192]
    37bfb8678mov [rsp+336], rbp
    37bfb8680movsd_xmm [rsp+344], x0
    37bfb8689call daxpy_64_
    37bfb868emov rdx, [rdi]
    37bfb8691lea r11, [rip+0x4a4550]
    37bfb8698mov r8, [rsp+208]
    37bfb86a0mov r9, r11
    37bfb86a3mov [rsp+336], rbp
    37bfb86ablea rcx, [rdx+rsi-1]
    37bfb86b0lea rdx, [rbx+8*rdx]
    37bfb86b4movsd_xmm x0, [rbx+8*rcx]
    37bfb86b9mov [rsp+40], r11
    37bfb86bemov [rsp+32], rdx
    37bfb86c3xorpd x0, [rip+0x4a4575]
    37bfb86cbmov rdx, [rsp+184]
    37bfb86d3mov rcx, [rsp+192]
    37bfb86dbmovsd_xmm [rsp+344], x0
    37bfb86e4call daxpy_64_
    37bfb86e9mov rdx, [rdi]
    37bfb86ecmov r8, r14
    37bfb86eflea r11, [rip+0x4a44f2]
    37bfb86f6mov r9, r11
    37bfb86f9mov [rsp+336], rbp
    37bfb8701lea rcx, [rdx+r12-1]
    37bfb8706lea rdx, [rbx+8*rdx]
    37bfb870amovsd_xmm x0, [rbx+8*rcx]
    37bfb870fmov [rsp+32], rdx
    37bfb8714mov [rsp+40], r11
    37bfb8719xorpd x0, [rip+0x4a451f]
    37bfb8721mov rdx, [rsp+184]
    37bfb8729mov rcx, [rsp+192]
    37bfb8731movsd_xmm [rsp+344], x0
    37bfb873acall daxpy_64_
    37bfb873fmov rdx, [rdi]
    37bfb8742mov rax, [rsp+664]
    37bfb874amov r10, [rsp+208]
    37bfb8752lea rcx, [rdx+rsi-1]
    37bfb8757movsd_xmm x1, [rax+8*r12-8]
    37bfb875emovsd_xmm x2, [rax+8*r12-16]
    37bfb8765movsd_xmm x0, [rbx+8*rcx]
    37bfb876alea rcx, [rdx+r12-1]
    37bfb876fmovsd_xmm x3, [rbx+8*rcx]
    37bfb8774lea rcx, [rbx+8*rdx]
    37bfb8778mulsd x0, x2
    37bfb877cmulsd x3, x1
    37bfb8780addsd x0, [rbx]
    37bfb8784addsd x0, x3
    37bfb8788movsd_xmm [rbx], x0
    37bfb878cmulsd x2, [r15-8]
    37bfb8792movsd_xmm x0, [rbx+8*rdx]
    37bfb8797mulsd x1, [r15]
    37bfb879csubsd x0, x2
    37bfb87a0subsd x0, x1
    37bfb87a4movsd_xmm [rbx+8*rdx], x0
    37bfb87a9mov edx, 1
    37bfb87aenop [rax]
    37bfb87b5nop [rax+rax]
    37bfb87c0
    37bfb87c0loc_37bfb87c0:
    37bfb87c0movsd_xmm x0, [rbx+8*rdx-8]
    37bfb87c6movsd_xmm x1, [rcx+8*rdx-8]
    37bfb87ccadd rdx, 1
    37bfb87d0andpd x0, x6
    37bfb87d4andpd x1, x6
    37bfb87d8addsd x0, x1
    37bfb87dcmaxsd x11, x0
    37bfb87e1cmp rdx, rsi
    37bfb87e4jl 0x37bfb87c0
    37bfb87e6jmp 0x37bfb80b2
    37bfb87eb
    37bfb87eb 0f 1f 44 00 00 ..D..
    37bfb87f0
    37bfb87f0loc_37bfb87f0:
    37bfb87f0mulsd x1, x10
    37bfb87f5movapd x2, x0
    37bfb87f9andpd x2, x6
    37bfb87fdcomisd x2, x1
    37bfb8801jbe 0x37bfb7d37
    37bfb8807movapd x0, x7
    37bfb880bmov rcx, [rsp+640]
    37bfb8813mov r8, rbx
    37bfb8816lea rdx, [rsp+264]
    37bfb881edivsd x0, x2
    37bfb8822lea r9, [rip+0x4a43bf]
    37bfb8829movsd_xmm [rsp+264], x0
    37bfb8832call dscal_64_
    37bfb8837mov rax, [rsp+680]
    37bfb883fmovsd_xmm x0, [rsp+264]
    37bfb8848movsd_xmm x1, [rax]
    37bfb884cmulsd x11, x0
    37bfb8851mulsd x1, x0
    37bfb8855movsd_xmm x0, [rbx+8*r12-8]
    37bfb885cmovsd_xmm [rax], x1
    37bfb8860jmp 0x37bfb7d37
    37bfb8865
    37bfb8865 0f 1f 00 ...
    37bfb8868
    37bfb8868loc_37bfb8868:
    37bfb8868mulsd x0, x10
    37bfb886dcomisd x2, x0
    37bfb8871jbe 0x37bfb7eb0
    37bfb8877movapd x0, x7
    37bfb887blea rcx, [rsp+256]
    37bfb8883mov r8, rbx
    37bfb8886divsd x0, x2
    37bfb888alea rdx, [rsp+264]
    37bfb8892lea r9, [rip+0x4a434f]
    37bfb8899movsd_xmm [rsp+264], x0
    37bfb88a2call dscal_64_
    37bfb88a7mov rax, [rsp+680]
    37bfb88afmov rcx, [rdi]
    37bfb88b2movsd_xmm x0, [rsp+264]
    37bfb88bbmovsd_xmm x1, [rax]
    37bfb88bflea rcx, [rcx+r12-1]
    37bfb88c4mulsd x11, x0
    37bfb88c9mulsd x1, x0
    37bfb88cdmovsd_xmm [rax], x1
    37bfb88d1jmp 0x37bfb7eb0
    37bfb88d6
    37bfb88d6loc_37bfb88d6:
    37bfb88d6lea rdx, [rsp+264]
    37bfb88delea rcx, [rsp+256]
    37bfb88e6mov r8, rbx
    37bfb88e9lea r9, [rip+0x4a42f8]
    37bfb88f0call dscal_64_
    37bfb88f5mov rax, [rsp+680]
    37bfb88fdmovsd_xmm x0, [rax]
    37bfb8901mulsd x0, [rsp+264]
    37bfb890amovsd_xmm [rax], x0
    37bfb890ejmp 0x37bfb7f58
    37bfb8913
    37bfb8913loc_37bfb8913:
    37bfb8913mov rcx, [rsp+640]
    37bfb891blea rdx, [rsp+264]
    37bfb8923lea r9, [rip+0x4a42be]
    37bfb892amov r8, rbx
    37bfb892dcall dscal_64_
    37bfb8932mov rax, [rsp+680]
    37bfb893amovsd_xmm x0, [rax]
    37bfb893emulsd x0, [rsp+264]
    37bfb8947movsd_xmm [rax], x0
    37bfb894bjmp 0x37bfb7d89
    37bfb8950
    37bfb8950loc_37bfb8950:
    37bfb8950mov eax, 2
    37bfb8955jmp 0x37bfb6bf4
    37bfb895a
    37bfb895a 66 0f 1f 44 00 00 f..D..
    37bfb8960
    37bfb8960loc_37bfb8960:
    37bfb8960mov rcx, [rsp+640]
    37bfb8968lea rdx, [rsp+264]
    37bfb8970lea r9, [rip+0x4a4271]
    37bfb8977mov r8, rbx
    37bfb897acall dscal_64_
    37bfb897fmov rax, [rsp+680]
    37bfb8987movsd_xmm x0, [rax]
    37bfb898bmulsd x0, [rsp+264]
    37bfb8994movsd_xmm [rax], x0
    37bfb8998jmp 0x37bfb6eca
    37bfb899d
    37bfb899d 0f 1f 00 ...
    37bfb89a0
    37bfb89a0loc_37bfb89a0:
    37bfb89a0lea rdx, [rsp+264]
    37bfb89a8lea rcx, [rsp+256]
    37bfb89b0mov r8, rbx
    37bfb89b3lea r9, [rip+0x4a422e]
    37bfb89bacall dscal_64_
    37bfb89bfmov rax, [rsp+680]
    37bfb89c7movsd_xmm x0, [rax]
    37bfb89cbmulsd x0, [rsp+264]
    37bfb89d4movsd_xmm [rax], x0
    37bfb89d8jmp 0x37bfb71cf
    37bfb89dd
    37bfb89ddloc_37bfb89dd:
    37bfb89ddmovsd_xmm x1, [rbx]
    37bfb89e1movapd x0, x8
    37bfb89e6mov rax, [rsp+664]
    37bfb89eeandpd x0, x6
    37bfb89f2andpd x1, x6
    37bfb89f6movsd_xmm x8, [rax]
    37bfb89fbaddsd x1, x0
    37bfb89ffjmp 0x37bfb73cc
    37bfb8a04
    37bfb8a04loc_37bfb8a04:
    37bfb8a04mov rcx, [rsp+640]
    37bfb8a0clea rdx, [rsp+264]
    37bfb8a14mov r8, rbx
    37bfb8a17lea r9, [rip+0x4a41ca]
    37bfb8a1emov [rsp+184], rax
    37bfb8a26call dscal_64_
    37bfb8a2bmov rax, [rsp+680]
    37bfb8a33movsd_xmm x0, [rsp+264]
    37bfb8a3cmovsd_xmm x9, [rbx+8*rbp-8]
    37bfb8a43movsd_xmm x1, [rax]
    37bfb8a47mulsd x11, x0
    37bfb8a4cmulsd x1, x0
    37bfb8a50movsd_xmm [rax], x1
    37bfb8a54mov rax, [rsp+184]
    37bfb8a5cjmp 0x37bfb797e
    37bfb8a61
    37bfb8a61loc_37bfb8a61:
    37bfb8a61lea rdx, [rsp+264]
    37bfb8a69lea rcx, [rsp+256]
    37bfb8a71mov r8, rbx
    37bfb8a74mov [rsp+160], r11
    37bfb8a7clea r9, [rip+0x4a4165]
    37bfb8a83call dscal_64_
    37bfb8a88mov rax, [rsp+680]
    37bfb8a90movsd_xmm x0, [rsp+264]
    37bfb8a99movsd_xmm x8, [r12]
    37bfb8a9fmov r11, [rsp+160]
    37bfb8aa7movsd_xmm x1, [rax]
    37bfb8aabmulsd x11, x0
    37bfb8ab0mulsd x1, x0
    37bfb8ab4movsd_xmm [rax], x1
    37bfb8ab8jmp 0x37bfb72cb
    37bfb6900
    37bfb8abd
    37bfb8abd // align 0x10
    37bfb8ac0
    37bfb8ac0dlaqz0_64_:
    37bfb8ac0push r15
    37bfb8ac2push r14
    37bfb8ac4push r13
    37bfb8ac6push r12
    37bfb8ac8push rbp
    37bfb8ac9push rdi
    37bfb8acapush rsi
    37bfb8acbpush rbx
    37bfb8accsub rsp, 968
    37bfb8ad3movups [rsp+880], x6
    37bfb8adbmovups [rsp+896], x7
    37bfb8ae3movups [rsp+912], x8
    37bfb8aecmovups [rsp+928], x9
    37bfb8af5movups [rsp+944], x10
    37bfb8afemov rax, [rsp+1096]
    37bfb8b06mov r15, [rsp+1200]
    37bfb8b0emov rax, [rax]
    37bfb8b11mov [rsp+456], rax
    37bfb8b19mov rax, [rsp+1112]
    37bfb8b21mov [rsp+1048], rdx
    37bfb8b29lea rdx, [rip+0x4a4120]
    37bfb8b30mov rax, [rax]
    37bfb8b33mov [rsp+1056], r8
    37bfb8b3bmov r8l, 1
    37bfb8b41mov [rsp+1064], r9
    37bfb8b49mov r9l, 1
    37bfb8b4fmov [rsp+504], rax
    37bfb8b57mov rax, [rsp+1152]
    37bfb8b5fmov [rsp+1040], rcx
    37bfb8b67mov rax, [rax]
    37bfb8b6amov [rsp+520], rax
    37bfb8b72mov rax, [rsp+1168]
    37bfb8b7amov rax, [rax]
    37bfb8b7dmov [rsp+232], rax
    37bfb8b85call lsame_64_
    37bfb8b8atest rax, rax
    37bfb8b8dje 0x37bfb9220
    37bfb8b93mov [rsp+760], 0
    37bfb8b9fmov ebx, 1
    37bfb8ba4
    37bfb8ba4loc_37bfb8ba4:
    37bfb8ba4mov rcx, [rsp+1048]
    37bfb8bacmov r9l, 1
    37bfb8bb2mov r8l, 1
    37bfb8bb8lea rdx, [rip+0x4a4093]
    37bfb8bbfcall lsame_64_
    37bfb8bc4test rax, rax
    37bfb8bc7je 0x37bfb9268
    37bfb8bcdmov [rsp+752], 0
    37bfb8bd9mov r14l, 1
    37bfb8bdf
    37bfb8bdfloc_37bfb8bdf:
    37bfb8bdfmov rcx, [rsp+1056]
    37bfb8be7mov r9l, 1
    37bfb8bedmov r8l, 1
    37bfb8bf3lea rdx, [rip+0x4a4058]
    37bfb8bfacall lsame_64_
    37bfb8bfftest rax, rax
    37bfb8c02je 0x37bfb91b8
    37bfb8c08mov [rsp+768], 0
    37bfb8c14mov [r15], 0
    37bfb8c1btest rbx, rbx
    37bfb8c1ejne 0x37bfb8c98
    37bfb8c20
    37bfb8c20loc_37bfb8c20:
    37bfb8c20mov rdx, -1
    37bfb8c27mov eax, 1
    37bfb8c2c
    37bfb8c2cloc_37bfb8c2c:
    37bfb8c2cmov [r15], rdx
    37bfb8c2f
    37bfb8c2floc_37bfb8c2f:
    37bfb8c2flea rdx, [rsp+872]
    37bfb8c37mov r8l, 6
    37bfb8c3dlea rcx, [rip+0x4a4011]
    37bfb8c44mov [rsp+872], rax
    37bfb8c4ccall xerbla_64_
    37bfb8c51nop
    37bfb8c52
    37bfb8c52loc_37bfb8c52:
    37bfb8c52movups x6, [rsp+880]
    37bfb8c5amovups x7, [rsp+896]
    37bfb8c62movups x8, [rsp+912]
    37bfb8c6bmovups x9, [rsp+928]
    37bfb8c74movups x10, [rsp+944]
    37bfb8c7dadd rsp, 968
    37bfb8c84pop rbx
    37bfb8c85pop rsi
    37bfb8c86pop rdi
    37bfb8c87pop rbp
    37bfb8c88pop r12
    37bfb8c8apop r13
    37bfb8c8cpop r14
    37bfb8c8epop r15
    37bfb8c90ret
    37bfb8c91
    37bfb8c91 0f 1f 80 00 00 00 00 .......
    37bfb8c98
    37bfb8c98loc_37bfb8c98:
    37bfb8c98mov edi, 1
    37bfb8c9dtest r14, r14
    37bfb8ca0je 0x37bfb920b
    37bfb8ca6
    37bfb8ca6loc_37bfb8ca6:
    37bfb8ca6mov rax, [rsp+1064]
    37bfb8caemov rax, [rax]
    37bfb8cb1mov [rsp+512], rax
    37bfb8cb9mov rsi, rax
    37bfb8cbctest rax, rax
    37bfb8cbfjs 0x37bfb935e
    37bfb8cc5mov rbx, [rsp+1072]
    37bfb8ccdmov rcx, [rbx]
    37bfb8cd0mov [rsp+224], rcx
    37bfb8cd8test rcx, rcx
    37bfb8cdbjle 0x37bfb936f
    37bfb8ce1mov rbx, [rsp+1080]
    37bfb8ce9mov rbx, [rbx]
    37bfb8ceccmp rax, rbx
    37bfb8cefjl 0x37bfbacc2
    37bfb8cf5lea rax, [rcx-1]
    37bfb8cf9cmp rbx, rax
    37bfb8cfcjl 0x37bfbacc2
    37bfb8d02mov rax, rsi
    37bfb8d05cmp rsi, [rsp+456]
    37bfb8d0djg 0x37bfbadc0
    37bfb8d13cmp rsi, [rsp+504]
    37bfb8d1bjg 0x37bfbadd1
    37bfb8d21mov rsi, [rsp+520]
    37bfb8d29test rsi, rsi
    37bfb8d2cjle 0x37bfbade2
    37bfb8d32test [rsp+752], 1
    37bfb8d3aje 0x37bfb8d45
    37bfb8d3ccmp rax, rsi
    37bfb8d3fjg 0x37bfbade2
    37bfb8d45
    37bfb8d45loc_37bfb8d45:
    37bfb8d45mov rax, [rsp+232]
    37bfb8d4dtest rax, rax
    37bfb8d50jle 0x37bfbadf3
    37bfb8d56cmp [rsp+512], rax
    37bfb8d5ejle 0x37bfb8d6e
    37bfb8d60test [rsp+768], 1
    37bfb8d68jne 0x37bfbadf3
    37bfb8d6e
    37bfb8d6eloc_37bfb8d6e:
    37bfb8d6emov rax, [r15]
    37bfb8d71test rax, rax
    37bfb8d74jne 0x37bfbae04
    37bfb8d7acmp [rsp+512], 0
    37bfb8d83je 0x37bfb9380
    37bfb8d89mov rax, [rsp+1040]
    37bfb8d91mov r9, [rsp+1064]
    37bfb8d99lea r8, [rsp+732]
    37bfb8da1lea rdx, [rip+0x4a3ead]
    37bfb8da8lea rcx, [rip+0x4a3eb1]
    37bfb8dafmov r13, rbx
    37bfb8db2pxor x6, x6
    37bfb8db6movzx eax, [rax]
    37bfb8db9mov [rsp+732], al
    37bfb8dc0mov rax, [rsp+1048]
    37bfb8dc8movzx eax, [rax]
    37bfb8dcbmov [rsp+733], al
    37bfb8dd2mov rax, [rsp+1056]
    37bfb8ddamovzx eax, [rax]
    37bfb8dddmov [rsp+64], 3
    37bfb8de6mov [rsp+56], 6
    37bfb8defmov [rsp+734], al
    37bfb8df6mov rax, [rsp+1184]
    37bfb8dfemov [rsp+48], rax
    37bfb8e03mov rax, [rsp+1080]
    37bfb8e0bmov [rsp+40], rax
    37bfb8e10mov rax, [rsp+1072]
    37bfb8e18mov [rsp+32], rax
    37bfb8e1dcall ilaenv_64_
    37bfb8e22mov rcx, [rsp+1184]
    37bfb8e2amov [rsp+64], 3
    37bfb8e33lea r8, [rsp+732]
    37bfb8e3bmov [rsp+56], 6
    37bfb8e44mov r9, [rsp+1064]
    37bfb8e4clea rdx, [rip+0x4a3e02]
    37bfb8e53mov [rsp+48], rcx
    37bfb8e58mov rcx, [rsp+1080]
    37bfb8e60mov [rsp+536], rax
    37bfb8e68mov [rsp+40], rcx
    37bfb8e6dmov rcx, [rsp+1072]
    37bfb8e75mov [rsp+32], rcx
    37bfb8e7alea rcx, [rip+0x4a3de7]
    37bfb8e81call ilaenv_64_
    37bfb8e86mov rcx, [rsp+1184]
    37bfb8e8emov [rsp+64], 3
    37bfb8e97lea r8, [rsp+732]
    37bfb8e9fmov [rsp+56], 6
    37bfb8ea8mov r9, [rsp+1064]
    37bfb8eb0mov rbp, rax
    37bfb8eb3lea rdx, [rip+0x4a3d9b]
    37bfb8ebamov [rsp+48], rcx
    37bfb8ebfmov rcx, [rsp+1080]
    37bfb8ec7sub r13, [rsp+224]
    37bfb8ecfmov [rsp+40], rcx
    37bfb8ed4mov rcx, [rsp+1072]
    37bfb8edcmov [rsp+32], rcx
    37bfb8ee1lea rcx, [rip+0x4a3d88]
    37bfb8ee8call ilaenv_64_
    37bfb8eedmov rcx, [rsp+1184]
    37bfb8ef5mov [rsp+64], 3
    37bfb8efelea r8, [rsp+732]
    37bfb8f06mov [rsp+56], 6
    37bfb8f0fmov r9, [rsp+1064]
    37bfb8f17lea rdx, [rip+0x4a3d37]
    37bfb8f1emov [rsp+48], rcx
    37bfb8f23mov rcx, [rsp+1080]
    37bfb8f2bmov [rsp+616], rax
    37bfb8f33mov [rsp+40], rcx
    37bfb8f38mov rcx, [rsp+1072]
    37bfb8f40mov [rsp+32], rcx
    37bfb8f45lea rcx, [rip+0x4a3d2c]
    37bfb8f4ccall ilaenv_64_
    37bfb8f51mov rdx, [rsp+512]
    37bfb8f59mov r8, 0xe38e38e38e38e38f
    37bfb8f63mov [rsp+64], 3
    37bfb8f6cmov rcx, rax
    37bfb8f6fmov r9, [rsp+1064]
    37bfb8f77mov [rsp+56], 6
    37bfb8f80lea rax, [rdx+6]
    37bfb8f84mul r8
    37bfb8f87lea r8, [rsp+732]
    37bfb8f8fshr rdx, 3
    37bfb8f93cmp rdx, r13
    37bfb8f96mov r12, rdx
    37bfb8f99lea rdx, [rip+0x4a3cb5]
    37bfb8fa0cmovg r12, r13
    37bfb8fa4cmp r12, rcx
    37bfb8fa7cmovg r12, rcx
    37bfb8fabmov rcx, r12
    37bfb8faeshr rcx, 63
    37bfb8fb2lea rax, [r12+rcx]
    37bfb8fb6and eax, 1
    37bfb8fb9sub rax, rcx
    37bfb8fbcmov rcx, [rsp+1184]
    37bfb8fc4sub r12, rax
    37bfb8fc7mov eax, 2
    37bfb8fccmov [rsp+48], rcx
    37bfb8fd1mov rcx, [rsp+1080]
    37bfb8fd9cmp r12, rax
    37bfb8fdccmovl r12, rax
    37bfb8fe0mov [rsp+40], rcx
    37bfb8fe5mov rcx, [rsp+1072]
    37bfb8fedmov [rsp+832], r12
    37bfb8ff5mov [rsp+32], rcx
    37bfb8ffalea rcx, [rip+0x4a3c7f]
    37bfb9001call ilaenv_64_
    37bfb9006pxor x1, x1
    37bfb900alea rdx, [r12+r12]
    37bfb900emov rsi, [rsp+512]
    37bfb9016cvtsi2sd x1, rax
    37bfb901bdivsd x1, [rip+0x4a3ca5]
    37bfb9023pxor x0, x0
    37bfb9027cvtsi2sd x6, rsi
    37bfb902cmulsd x1, x6
    37bfb9030cvtsi2sd x0, rdx
    37bfb9035divsd x0, x1
    37bfb9039pxor x1, x1
    37bfb903dcvtsi2sd x1, r12
    37bfb9042addsd x0, [rip+0x4a3ca6]
    37bfb904asqrtsd x0, x0
    37bfb904edivsd x1, x0
    37bfb9052cvttsd2si rdx, x1
    37bfb9057lea rax, [rdx+2]
    37bfb905bsub rdx, 1
    37bfb905fcmovns rax, rdx
    37bfb9063sar rax, 2
    37bfb9067lea rax, [r12+4*rax+4]
    37bfb906cmov [rsp+816], rax
    37bfb9074cmp rsi, [rsp+536]
    37bfb907cjl 0x37bfb9090
    37bfb907emov rax, [rsp+1192]
    37bfb9086cmp [rax], 1
    37bfb908ajle 0x37bfb9397
    37bfb9090
    37bfb9090loc_37bfb9090:
    37bfb9090mov rax, [rsp+1184]
    37bfb9098mov [rsp+176], 1
    37bfb90a4mov [rsp+168], 1
    37bfb90b0mov [rsp+144], rax
    37bfb90b8mov rax, [rsp+1176]
    37bfb90c0mov [rsp+160], 1
    37bfb90ccmov [rsp+136], rax
    37bfb90d4mov rax, [rsp+1168]
    37bfb90dcmov [rsp+152], r15
    37bfb90e4mov [rsp+128], rax
    37bfb90ecmov rax, [rsp+1160]
    37bfb90f4mov [rsp+120], rax
    37bfb90f9mov rax, [rsp+1152]
    37bfb9101mov [rsp+112], rax
    37bfb9106mov rax, [rsp+1144]
    37bfb910emov [rsp+104], rax
    37bfb9113mov rax, [rsp+1136]
    37bfb911bmov [rsp+96], rax
    37bfb9120mov rax, [rsp+1128]
    37bfb9128mov [rsp+88], rax
    37bfb912dmov rax, [rsp+1120]
    37bfb9135mov [rsp+80], rax
    37bfb913amov rax, [rsp+1112]
    37bfb9142mov [rsp+72], rax
    37bfb9147mov rax, [rsp+1104]
    37bfb914fmov [rsp+64], rax
    37bfb9154mov rax, [rsp+1096]
    37bfb915cmov [rsp+56], rax
    37bfb9161mov rax, [rsp+1088]
    37bfb9169mov [rsp+48], rax
    37bfb916emov rax, [rsp+1080]
    37bfb9176mov [rsp+40], rax
    37bfb917bmov rax, [rsp+1072]
    37bfb9183mov r9, [rsp+1064]
    37bfb918bmov r8, [rsp+1056]
    37bfb9193mov [rsp+32], rax
    37bfb9198mov rdx, [rsp+1048]
    37bfb91a0mov rcx, [rsp+1040]
    37bfb91a8call dhgeqz_64_
    37bfb91adjmp 0x37bfb8c52
    37bfb91b2
    37bfb91b2 66 0f 1f 44 00 00 f..D..
    37bfb91b8
    37bfb91b8loc_37bfb91b8:
    37bfb91b8mov rcx, [rsp+1056]
    37bfb91c0mov r9l, 1
    37bfb91c6mov r8l, 1
    37bfb91cclea rdx, [rip+0x4a3a80]
    37bfb91d3call lsame_64_
    37bfb91d8test rax, rax
    37bfb91dbje 0x37bfb92e7
    37bfb91e1mov [rsp+768], 1
    37bfb91edmov [r15], 0
    37bfb91f4test rbx, rbx
    37bfb91f7je 0x37bfb8c20
    37bfb91fdmov edi, 2
    37bfb9202test r14, r14
    37bfb9205jne 0x37bfb8ca6
    37bfb920b
    37bfb920bloc_37bfb920b:
    37bfb920bmov rdx, -2
    37bfb9212mov eax, 2
    37bfb9217jmp 0x37bfb8c2c
    37bfb921c
    37bfb921c 0f 1f 40 00 ..@.
    37bfb9220
    37bfb9220loc_37bfb9220:
    37bfb9220mov rcx, [rsp+1040]
    37bfb9228mov r9l, 1
    37bfb922emov r8l, 1
    37bfb9234xor ebx, ebx
    37bfb9236lea rdx, [rip+0x4a3a14]
    37bfb923dcall lsame_64_
    37bfb9242test rax, rax
    37bfb9245je 0x37bfb8ba4
    37bfb924bmov [rsp+760], 1
    37bfb9257mov ebx, 2
    37bfb925cjmp 0x37bfb8ba4
    37bfb9261
    37bfb9261 0f 1f 80 00 00 00 00 .......
    37bfb9268
    37bfb9268loc_37bfb9268:
    37bfb9268mov rcx, [rsp+1048]
    37bfb9270mov r9l, 1
    37bfb9276mov r8l, 1
    37bfb927clea rdx, [rip+0x4a39d0]
    37bfb9283call lsame_64_
    37bfb9288test rax, rax
    37bfb928bje 0x37bfb92a4
    37bfb928dmov [rsp+752], 1
    37bfb9299mov r14l, 2
    37bfb929fjmp 0x37bfb8bdf
    37bfb92a4
    37bfb92a4loc_37bfb92a4:
    37bfb92a4mov r9l, 1
    37bfb92aamov r8l, 1
    37bfb92b0xor r14l, r14l
    37bfb92b3mov rcx, [rsp+1048]
    37bfb92bblea rdx, [rip+0x4a3992]
    37bfb92c2call lsame_64_
    37bfb92c7test rax, rax
    37bfb92caje 0x37bfb8bdf
    37bfb92d0mov [rsp+752], 1
    37bfb92dcmov r14l, 3
    37bfb92e2jmp 0x37bfb8bdf
    37bfb92e7
    37bfb92e7loc_37bfb92e7:
    37bfb92e7mov rcx, [rsp+1056]
    37bfb92efmov r9l, 1
    37bfb92f5mov r8l, 1
    37bfb92fblea rdx, [rip+0x4a3952]
    37bfb9302call lsame_64_
    37bfb9307test rax, rax
    37bfb930ajne 0x37bfb932f
    37bfb930ctest rbx, rbx
    37bfb930fje 0x37bfb8c20
    37bfb9315test r14, r14
    37bfb9318je 0x37bfb920b
    37bfb931emov rdx, -3
    37bfb9325mov eax, 3
    37bfb932ajmp 0x37bfb8c2c
    37bfb932f
    37bfb932floc_37bfb932f:
    37bfb932fmov [rsp+768], 1
    37bfb933bmov [r15], 0
    37bfb9342test rbx, rbx
    37bfb9345je 0x37bfb8c20
    37bfb934bmov edi, 3
    37bfb9350test r14, r14
    37bfb9353jne 0x37bfb8ca6
    37bfb9359jmp 0x37bfb920b
    37bfb935e
    37bfb935eloc_37bfb935e:
    37bfb935emov rdx, -4
    37bfb9365mov eax, 4
    37bfb936ajmp 0x37bfb8c2c
    37bfb936f
    37bfb936floc_37bfb936f:
    37bfb936fmov rdx, -5
    37bfb9376mov eax, 5
    37bfb937bjmp 0x37bfb8c2c
    37bfb9380
    37bfb9380loc_37bfb9380:
    37bfb9380mov rax, [rsp+1176]
    37bfb9388mov rdi, [rip+0x4a3961]
    37bfb938fmov [rax], rdi
    37bfb9392jmp 0x37bfb8c52
    37bfb9397
    37bfb9397loc_37bfb9397:
    37bfb9397mov rax, [rsp+512]
    37bfb939flea r12, [r13+1]
    37bfb93a3mov rcx, 0xaaaaaaaaaaaaaaab
    37bfb93admov rsi, [rsp+536]
    37bfb93b5lea r10, [rsp+760]
    37bfb93bdsub rax, 1
    37bfb93c1mul rcx
    37bfb93c4lea rcx, [rsp+752]
    37bfb93ccshr rdx, 1
    37bfb93cfcmp rdx, r12
    37bfb93d2mov rax, rdx
    37bfb93d5mov edx, 2
    37bfb93dacmovg rax, r12
    37bfb93decmp rbp, rdx
    37bfb93e1cmovge rdx, rbp
    37bfb93e5lea rbp, [rsp+768]
    37bfb93edmov [rsp+648], rbp
    37bfb93f5mov r8, rbp
    37bfb93f8cmp rax, rdx
    37bfb93fbcmovg rax, rdx
    37bfb93ffmov rdx, [rsp+1176]
    37bfb9407mov [rsp+192], rdx
    37bfb940fcmp rsi, rax
    37bfb9412mov [rsp+176], rdx
    37bfb941amov [rsp+160], rdx
    37bfb9422mov rdx, [rsp+1136]
    37bfb942amov [rsp+632], rax
    37bfb9432cmovge rax, rsi
    37bfb9436mov [rsp+152], rdx
    37bfb943emov rdx, [rsp+1128]
    37bfb9446mov [rsp+840], rax
    37bfb944elea rax, [rsp+736]
    37bfb9456mov [rsp+144], rdx
    37bfb945emov rdx, [rsp+1120]
    37bfb9466mov [rsp+664], rax
    37bfb946emov [rsp+136], rdx
    37bfb9476lea rdx, [rsp+792]
    37bfb947emov [rsp+672], rdx
    37bfb9486mov [rsp+128], rdx
    37bfb948elea rdx, [rsp+800]
    37bfb9496mov [rsp+680], rdx
    37bfb949emov [rsp+120], rdx
    37bfb94a3mov rdx, [rsp+1168]
    37bfb94abmov [rsp+216], rax
    37bfb94b3mov rax, [rsp+1192]
    37bfb94bbmov [rsp+112], rdx
    37bfb94c0mov rdx, [rsp+1160]
    37bfb94c8mov [rsp+208], rax
    37bfb94d0lea rax, [rip+0x4a37b1]
    37bfb94d7mov [rsp+104], rdx
    37bfb94dcmov rdx, [rsp+1152]
    37bfb94e4mov [rsp+200], rax
    37bfb94eclea rax, [rsp+840]
    37bfb94f4mov [rsp+688], rax
    37bfb94fcmov [rsp+184], rax
    37bfb9504mov [rsp+168], rax
    37bfb950cmov [rsp+96], rdx
    37bfb9511mov rdx, [rsp+1144]
    37bfb9519mov [rsp+48], rax
    37bfb951emov r9, [rsp+1064]
    37bfb9526mov [rsp+88], rdx
    37bfb952bmov rdx, [rsp+1112]
    37bfb9533mov [rsp+592], rcx
    37bfb953bmov [rsp+80], rdx
    37bfb9540mov rdx, [rsp+1104]
    37bfb9548mov [rsp+600], r10
    37bfb9550mov [rsp+72], rdx
    37bfb9555mov rdx, [rsp+1096]
    37bfb955dmov [rsp+64], rdx
    37bfb9562mov rdx, [rsp+1088]
    37bfb956amov [rsp+56], rdx
    37bfb956fmov rdx, [rsp+1080]
    37bfb9577mov [rsp+40], rdx
    37bfb957cmov rdx, [rsp+1072]
    37bfb9584mov [rsp+32], rdx
    37bfb9589mov rdx, rcx
    37bfb958cmov rcx, r10
    37bfb958fcall dlaqz3_64_
    37bfb9594mov rsi, [rsp+1176]
    37bfb959clea r9, [rsp+856]
    37bfb95a4mov r8, rbp
    37bfb95a7mov [rsp+712], r9
    37bfb95aflea rax, [rip+0x4a36d2]
    37bfb95b6cvttsd2si rsi, [rsi]
    37bfb95bbmov [rsp+200], r9
    37bfb95c3mov r9, [rsp+1176]
    37bfb95cbmov [rsp+192], rax
    37bfb95d3mov rax, [rsp+1176]
    37bfb95dbmov [rsp+168], r9
    37bfb95e3mov [rsp+152], r9
    37bfb95ebmov r9, [rsp+1168]
    37bfb95f3mov [rsp+184], rax
    37bfb95fblea rax, [rsp+816]
    37bfb9603mov [rsp+144], r9
    37bfb960bmov r9, [rsp+1160]
    37bfb9613mov [rsp+176], rax
    37bfb961bmov [rsp+136], r9
    37bfb9623mov r9, [rsp+1152]
    37bfb962bmov [rsp+160], rax
    37bfb9633mov [rsp+128], r9
    37bfb963bmov r9, [rsp+1144]
    37bfb9643mov [rsp+120], r9
    37bfb9648mov r9, [rsp+1112]
    37bfb9650mov [rsp+112], r9
    37bfb9655mov r9, [rsp+1104]
    37bfb965dmov [rsp+104], r9
    37bfb9662mov r9, [rsp+1096]
    37bfb966amov [rsp+96], r9
    37bfb966fmov r9, [rsp+1088]
    37bfb9677mov [rsp+88], r9
    37bfb967cmov r9, [rsp+1136]
    37bfb9684mov [rsp+80], r9
    37bfb9689mov r9, [rsp+1128]
    37bfb9691mov [rsp+72], r9
    37bfb9696mov r9, [rsp+1120]
    37bfb969emov [rsp+56], rax
    37bfb96a3lea rax, [rsp+832]
    37bfb96abmov rdx, [rsp+592]
    37bfb96b3mov [rsp+48], rax
    37bfb96b8mov rax, [rsp+1080]
    37bfb96c0mov [rsp+64], r9
    37bfb96c5mov rcx, [rsp+600]
    37bfb96cdmov [rsp+40], rax
    37bfb96d2mov rax, [rsp+1072]
    37bfb96damov r9, [rsp+1064]
    37bfb96e2mov [rsp+32], rax
    37bfb96e7call dlaqz4_64_
    37bfb96ecmov rax, [rsp+840]
    37bfb96f4mov rcx, [rsp+816]
    37bfb96fcimul rax, rax
    37bfb9700mov [rsp+656], rcx
    37bfb9708imul rcx, rcx
    37bfb970clea rax, [rsi+2*rax]
    37bfb9710mov rsi, [rsp+1176]
    37bfb9718mov [rsp+704], rcx
    37bfb9720add rcx, rcx
    37bfb9723cvttsd2si rdx, [rsi]
    37bfb9728mov rsi, [rsp+1184]
    37bfb9730mov [rsp+696], rcx
    37bfb9738mov rsi, [rsi]
    37bfb973badd rdx, rcx
    37bfb973emov [rsp+640], rsi
    37bfb9746cmp rax, rdx
    37bfb9749cmovl rax, rdx
    37bfb974dcmp rsi, -1
    37bfb9751je 0x37bfbacd3
    37bfb9757cmp [rsp+640], rax
    37bfb975fjge 0x37bfb9782
    37bfb9761mov [r15], -19
    37bfb9768
    37bfb9768loc_37bfb9768:
    37bfb9768mov r8l, 6
    37bfb976emov rdx, r15
    37bfb9771lea rcx, [rip+0x4a34dd]
    37bfb9778call xerbla_64_
    37bfb977djmp 0x37bfb8c52
    37bfb9782
    37bfb9782loc_37bfb9782:
    37bfb9782mov rax, [rsp+504]
    37bfb978anot rax
    37bfb978dmov [rsp+544], rax
    37bfb9795cmp [r15], 0
    37bfb9799jne 0x37bfb9768
    37bfb979bcmp r14, 3
    37bfb979fje 0x37bfbad53
    37bfb97a5
    37bfb97a5loc_37bfb97a5:
    37bfb97a5cmp rdi, 3
    37bfb97a9je 0x37bfbad01
    37bfb97af
    37bfb97afloc_37bfb97af:
    37bfb97afmov edx, 12
    37bfb97b4lea rcx, [rip+0x4a34ed]
    37bfb97bbcall dlamch_64_
    37bfb97c0mov edx, 9
    37bfb97c5lea rcx, [rip+0x4a34e8]
    37bfb97ccmovapd x8, x0
    37bfb97d1movapd x10, x0
    37bfb97d6call dlamch_64_
    37bfb97dbmov rdi, [rsp+224]
    37bfb97e3mov r14, [rsp+504]
    37bfb97ebmov [rsp+40], 1
    37bfb97f4mov rsi, [rsp+1176]
    37bfb97fcmov rbp, [rsp+544]
    37bfb9804lea rdx, [rsp+872]
    37bfb980clea rcx, [rip+0x4a34aa]
    37bfb9813mov rax, rdi
    37bfb9816mov r9, [rsp+1112]
    37bfb981emovapd x7, x0
    37bfb9822mov [rsp+872], r12
    37bfb982aimul rax, r14
    37bfb982emov [rsp+32], rsi
    37bfb9833mov rsi, [rsp+1104]
    37bfb983bmov [rsp+224], rdx
    37bfb9843add rax, rbp
    37bfb9846add rax, rdi
    37bfb9849lea r8, [rsi+8*rax]
    37bfb984dcall dlanhs_64_
    37bfb9852lea rax, [r12+2*r12]
    37bfb9856mov [rsp+784], rbx
    37bfb985emov [rsp+576], rax
    37bfb9866test rax, rax
    37bfb9869jle 0x37bfba850
    37bfb986fdivsd x6, x7
    37bfb9873mov r10, [rsp+520]
    37bfb987bmov rdx, [rsp+232]
    37bfb9883mov [rsp+528], 0
    37bfb988fmov rcx, [rsp+456]
    37bfb9897mulsd x0, x7
    37bfb989bmov [rsp+472], 1
    37bfb98a7mov rax, r10
    37bfb98aamov [rsp+1200], r15
    37bfb98b2mov r15, rdx
    37bfb98b5not rax
    37bfb98b8mov rsi, rcx
    37bfb98bbmov [rsp+568], rax
    37bfb98c3mov rax, rdx
    37bfb98c6not rsi
    37bfb98c9not rax
    37bfb98ccmov [rsp+448], rsi
    37bfb98d4mov [rsp+624], rax
    37bfb98dclea rax, [r13+2*r13+4]
    37bfb98e1mov [rsp+584], rax
    37bfb98e9mov rax, r14
    37bfb98eclea r14, [8*rbp]
    37bfb98f4neg rax
    37bfb98f7shl rax, 3
    37bfb98fbmov [rsp+296], rax
    37bfb9903mov rax, rcx
    37bfb9906neg rax
    37bfb9909shl rax, 3
    37bfb990dmov [rsp+280], rax
    37bfb9915mov rax, r10
    37bfb9918neg rax
    37bfb991bshl rax, 3
    37bfb991fmov [rsp+288], rax
    37bfb9927lea rax, [8*rsi]
    37bfb992fmov [rsp+432], rax
    37bfb9937mov rax, rdx
    37bfb993aneg rax
    37bfb993dshl rax, 3
    37bfb9941mov [rsp+304], rax
    37bfb9949lea rax, [rcx+rcx]
    37bfb994dmov [rsp+608], rax
    37bfb9955mulsd x6, x8
    37bfb995amovapd x8, x0
    37bfb995fmaxsd x8, x10
    37bfb9964nop
    37bfb9965nop [rax+rax]
    37bfb9970
    37bfb9970loc_37bfb9970:
    37bfb9970mov rsi, [rsp+576]
    37bfb9978cmp [rsp+472], rsi
    37bfb9980je 0x37bfbaced
    37bfb9986lea r10, [rdi+1]
    37bfb998acmp r10, rbx
    37bfb998djge 0x37bfba848
    37bfb9993mov rsi, [rsp+456]
    37bfb999blea rcx, [rbx-1]
    37bfb999flea r12, [rbx-2]
    37bfb99a3mov r9, [rsp+448]
    37bfb99abmov r11, [rsp+1088]
    37bfb99b3mov rax, rsi
    37bfb99b6imul rax, rcx
    37bfb99balea r8, [rax+r9]
    37bfb99besub rax, rsi
    37bfb99c1lea rdx, [rcx+r8]
    37bfb99c5movsd_xmm x1, [r11+8*rdx]
    37bfb99cblea rdx, [rax+r9]
    37bfb99cfandpd x1, [rip+0x4a32f9]
    37bfb99d7lea r9, [rcx+rdx]
    37bfb99dbadd rdx, r12
    37bfb99demovsd_xmm x0, [r11+8*rdx]
    37bfb99e4andpd x0, [rip+0x4a32e4]
    37bfb99ecmovsd_xmm x2, [r11+8*r9]
    37bfb99f2andpd x2, [rip+0x4a32d6]
    37bfb99faaddsd x0, x1
    37bfb99femulsd x0, x7
    37bfb9a02maxsd x0, x6
    37bfb9a06comisd x0, x2
    37bfb9a0ajb 0x37bfba718
    37bfb9a10mov [r11+8*r9], 0
    37bfb9a18pxor x9, x9
    37bfb9a1dmov [rsp+784], r12
    37bfb9a25mov [rsp+528], 0
    37bfb9a31
    37bfb9a31loc_37bfb9a31:
    37bfb9a31mov rsi, [rsp+456]
    37bfb9a39mov rbx, [rsp+448]
    37bfb9a41lea r8, [rdi+2]
    37bfb9a45mov r9, [rsp+1088]
    37bfb9a4dmov rax, rsi
    37bfb9a50imul rax, r10
    37bfb9a54lea rdx, [rax+rbx]
    37bfb9a58add rax, rsi
    37bfb9a5blea rcx, [r10+rdx]
    37bfb9a5fadd rdx, r8
    37bfb9a62movsd_xmm x1, [r9+8*rcx]
    37bfb9a68lea rcx, [r8+rax]
    37bfb9a6candpd x1, [rip+0x4a325c]
    37bfb9a74add rcx, rbx
    37bfb9a77movsd_xmm x2, [r9+8*rdx]
    37bfb9a7dandpd x2, [rip+0x4a324b]
    37bfb9a85movsd_xmm x0, [r9+8*rcx]
    37bfb9a8bandpd x0, [rip+0x4a323d]
    37bfb9a93addsd x0, x1
    37bfb9a97mulsd x0, x7
    37bfb9a9bmaxsd x0, x6
    37bfb9a9fcomisd x0, x2
    37bfb9aa3jb 0x37bfba6a0
    37bfb9aa9mov [r9+8*rdx], 0
    37bfb9ab1lea r10, [rdi+3]
    37bfb9ab5pxor x9, x9
    37bfb9abamov rdi, r8
    37bfb9abdmov [rsp+528], 0
    37bfb9ac9
    37bfb9ac9loc_37bfb9ac9:
    37bfb9ac9cmp r12, r10
    37bfb9accjle 0x37bfba848
    37bfb9ad2mov rsi, [rsp+456]
    37bfb9adalea rax, [r12-1]
    37bfb9adfmov rbp, r12
    37bfb9ae2mov rbx, [rsp+448]
    37bfb9aeamov [rsp+776], rdi
    37bfb9af2mov r10, r12
    37bfb9af5mov r8, rsi
    37bfb9af8imul rsi, r12
    37bfb9afclea r9, [rbx+r12]
    37bfb9b00imul r8, rax
    37bfb9b04mov rcx, rsi
    37bfb9b07mov rsi, [rsp+1088]
    37bfb9b0fsub rcx, r8
    37bfb9b12lea rdx, [r9+r8]
    37bfb9b16lea r8, [rsi+8*rcx]
    37bfb9b1amov rcx, rsi
    37bfb9b1djmp 0x37bfb9b66
    37bfb9b1f
    37bfb9b1f 90 .
    37bfb9b20
    37bfb9b20loc_37bfb9b20:
    37bfb9b20movsd_xmm x1, [r8+8*rdx]
    37bfb9b26movsd_xmm x3, [rcx+8*rdx-8]
    37bfb9b2candpd x1, [rip+0x4a319c]
    37bfb9b34andpd x3, [rip+0x4a3194]
    37bfb9b3cmovsd_xmm x2, [rcx+8*rdx]
    37bfb9b41andpd x2, [rip+0x4a3187]
    37bfb9b49addsd x1, x3
    37bfb9b4dmulsd x1, x7
    37bfb9b51maxsd x1, x6
    37bfb9b55comisd x1, x2
    37bfb9b59jae 0x37bfba7e0
    37bfb9b5fadd rdx, rbx
    37bfb9b62sub r10, 1
    37bfb9b66
    37bfb9b66loc_37bfb9b66:
    37bfb9b66cmp rdi, r10
    37bfb9b69jl 0x37bfb9b20
    37bfb9b6bmov r10, rdi
    37bfb9b6e
    37bfb9b6eloc_37bfb9b6e:
    37bfb9b6ecmp [rsp+760], 0
    37bfb9b77je 0x37bfba7c8
    37bfb9b7dmov rsi, [rsp+512]
    37bfb9b85mov [rsp+272], 1
    37bfb9b91mov [rsp+440], rsi
    37bfb9b99
    37bfb9b99loc_37bfb9b99:
    37bfb9b99cmp r12, r10
    37bfb9b9cjl 0x37bfba7a0
    37bfb9ba2mov rdx, [rsp+504]
    37bfb9baamov rbx, [rsp+544]
    37bfb9bb2lea r13, [rsp+848]
    37bfb9bbamov [rsp+232], r12
    37bfb9bc2mov r8, [rsp+272]
    37bfb9bcamov rsi, [rsp+1104]
    37bfb9bd2mov [rsp+560], r15
    37bfb9bdaimul rdx, r12
    37bfb9bdemov [rsp+552], rdi
    37bfb9be6imul rax, [rsp+456]
    37bfb9befmov [rsp+464], r13
    37bfb9bf7lea rcx, [rbx+rdx]
    37bfb9bfbadd rcx, r8
    37bfb9bfelea rsi, [rsi+8*rcx]
    37bfb9c02mov rcx, [rsp+448]
    37bfb9c0aadd rcx, rax
    37bfb9c0dadd rax, r9
    37bfb9c10add rcx, r8
    37bfb9c13mov r8, [rsp+1088]
    37bfb9c1blea rcx, [r8+8*rcx]
    37bfb9c1fmov r8, [rsp+1144]
    37bfb9c27mov [rsp+416], rcx
    37bfb9c2fmov rcx, [rsp+520]
    37bfb9c37imul rcx, r12
    37bfb9c3badd rcx, [rsp+568]
    37bfb9c43lea rcx, [r8+8*rcx+8]
    37bfb9c48mov [rsp+424], rcx
    37bfb9c50mov rcx, [rsp+1088]
    37bfb9c58lea r9, [rcx+8*rax]
    37bfb9c5clea rax, [rbx+r12]
    37bfb9c60mov rbx, [rsp+1104]
    37bfb9c68add rax, rdx
    37bfb9c6blea r11, [rbx+8*rax]
    37bfb9c6fmov rax, r15
    37bfb9c72mov rbx, [rsp+1160]
    37bfb9c7aimul rax, r12
    37bfb9c7eadd rax, [rsp+624]
    37bfb9c86mov r15, r11
    37bfb9c89mov r12, r14
    37bfb9c8clea rcx, [rbx+8*rax+8]
    37bfb9c91mov r11, r10
    37bfb9c94mov rax, rbp
    37bfb9c97mov r10, r9
    37bfb9c9ajmp 0x37bfb9d13
    37bfb9c9c
    37bfb9c9c 0f 1f 40 00 ..@.
    37bfb9ca0
    37bfb9ca0loc_37bfb9ca0:
    37bfb9ca0add rsi, [rsp+296]
    37bfb9ca8mov r11, [rsp+776]
    37bfb9cb0mov [rsp+400], rsi
    37bfb9cb8mov rsi, [rsp+304]
    37bfb9cc0add rsi, rcx
    37bfb9cc3mov [rsp+408], rsi
    37bfb9ccb
    37bfb9ccbloc_37bfb9ccb:
    37bfb9ccbsub rax, 1
    37bfb9ccfmov rbx, [rsp+280]
    37bfb9cd7mov rdi, [rsp+288]
    37bfb9cdfadd r15, r12
    37bfb9ce2add [rsp+416], rbx
    37bfb9ceamov rsi, [rsp+400]
    37bfb9cf2add [rsp+424], rdi
    37bfb9cfamov rcx, [rsp+408]
    37bfb9d02add r10, [rsp+432]
    37bfb9d0acmp r11, rax
    37bfb9d0djg 0x37bfba1a0
    37bfb9d13
    37bfb9d13loc_37bfb9d13:
    37bfb9d13movsd_xmm x1, [r15]
    37bfb9d18andpd x1, [rip+0x4a2fb0]
    37bfb9d20comisd x8, x1
    37bfb9d25jbe 0x37bfb9ca0
    37bfb9d2bmov r13, rax
    37bfb9d2ecmp r11, rax
    37bfb9d31jge 0x37bfba810
    37bfb9d37mov rdi, [rsp+768]
    37bfb9d3fmov rbx, [rsp+296]
    37bfb9d47mov [rsp+264], rsi
    37bfb9d4flea rbp, [r15-8]
    37bfb9d53mov r8, [rsp+280]
    37bfb9d5bmov r14, [rsp+304]
    37bfb9d63mov [rsp+344], rcx
    37bfb9d6bmov [rsp+392], rdi
    37bfb9d73lea rdi, [r15+rbx-8]
    37bfb9d78add rbx, rsi
    37bfb9d7bmov rsi, [rsp+432]
    37bfb9d83mov [rsp+400], rbx
    37bfb9d8bmov [rsp+256], rbx
    37bfb9d93mov rbx, [rsp+416]
    37bfb9d9bmov [rsp+336], r15
    37bfb9da3mov rdx, rbx
    37bfb9da6mov [rsp+240], rbx
    37bfb9daelea rbx, [rsp+744]
    37bfb9db6sub rdx, r8
    37bfb9db9mov [rsp+320], r10
    37bfb9dc1mov [rsp+248], rdx
    37bfb9dc9mov rdx, [rsp+424]
    37bfb9dd1mov [rsp+312], r10
    37bfb9dd9mov r9, rdx
    37bfb9ddcsub r9, [rsp+288]
    37bfb9de4mov [rsp+384], rdx
    37bfb9decmov [rsp+376], r9
    37bfb9df4mov r9, r10
    37bfb9df7sub r9, r8
    37bfb9dfalea r8, [rsp+864]
    37bfb9e02mov [rsp+368], r11
    37bfb9e0amov [rsp+328], r9
    37bfb9e12lea r9, [rcx+r14]
    37bfb9e16mov r14, [rsp+464]
    37bfb9e1emov [rsp+408], r9
    37bfb9e26mov [rsp+352], r9
    37bfb9e2emov [rsp+480], rax
    37bfb9e36mov [rsp+488], r10
    37bfb9e3emov [rsp+496], r15
    37bfb9e46mov [rsp+360], r8
    37bfb9e4ejmp 0x37bfb9efa
    37bfb9e53
    37bfb9e53 0f 1f 44 00 00 ..D..
    37bfb9e58
    37bfb9e58loc_37bfb9e58:
    37bfb9e58cmp r15, [rsp+232]
    37bfb9e60jl 0x37bfba02d
    37bfb9e66
    37bfb9e66loc_37bfb9e66:
    37bfb9e66add [rsp+312], rsi
    37bfb9e6eadd rbp, r12
    37bfb9e71add rdi, r12
    37bfb9e74mov rcx, [rsp+296]
    37bfb9e7cmov rdx, [rsp+280]
    37bfb9e84add [rsp+264], rcx
    37bfb9e8cadd [rsp+256], rcx
    37bfb9e94mov rcx, [rsp+288]
    37bfb9e9cadd [rsp+248], rdx
    37bfb9ea4add [rsp+240], rdx
    37bfb9eacmov rdx, [rsp+304]
    37bfb9eb4add [rsp+384], rcx
    37bfb9ebcadd [rsp+376], rcx
    37bfb9ec4add [rsp+320], rsi
    37bfb9eccadd [rsp+328], rsi
    37bfb9ed4add [rsp+336], r12
    37bfb9edcadd [rsp+344], rdx
    37bfb9ee4add [rsp+352], rdx
    37bfb9eeccmp r13, [rsp+368]
    37bfb9ef4je 0x37bfba150
    37bfb9efa
    37bfb9efaloc_37bfb9efa:
    37bfb9efamov r15, r13
    37bfb9efdmov r9, r14
    37bfb9f00sub r13, 1
    37bfb9f04mov r8, rbx
    37bfb9f07mov rax, [rsp+360]
    37bfb9f0fmov rdx, rdi
    37bfb9f12mov rcx, rbp
    37bfb9f15mov [rsp+32], rax
    37bfb9f1acall dlartg_64_
    37bfb9f1fmov rax, r13
    37bfb9f22movsd_xmm x1, [rsp+864]
    37bfb9f2bsub rax, [rsp+272]
    37bfb9f33mov [rsp+872], rax
    37bfb9f3blea rax, [rip+0x4a2d7e]
    37bfb9f42mov r9, [rsp+256]
    37bfb9f4amovsd_xmm [rbp], x1
    37bfb9f4fmov rdx, [rsp+264]
    37bfb9f57mov rcx, [rsp+224]
    37bfb9f5fmov r8, rax
    37bfb9f62mov [rdi], 0
    37bfb9f69mov [rsp+32], rax
    37bfb9f6emov [rsp+48], r14
    37bfb9f73mov [rsp+40], rbx
    37bfb9f78call drot_64_
    37bfb9f7dlea rax, [r15+1]
    37bfb9f81mov [rsp+48], r14
    37bfb9f86mov r11, [rsp+232]
    37bfb9f8emov [rsp+40], rbx
    37bfb9f93mov r9, [rsp+240]
    37bfb9f9bcmp rax, r11
    37bfb9f9emov rdx, [rsp+248]
    37bfb9fa6mov rcx, [rsp+224]
    37bfb9faecmovg rax, r11
    37bfb9fb2sub rax, [rsp+272]
    37bfb9fbaadd rax, 1
    37bfb9fbemov [rsp+872], rax
    37bfb9fc6lea rax, [rip+0x4a2cf3]
    37bfb9fcdmov [rsp+32], rax
    37bfb9fd2mov r8, rax
    37bfb9fd5call drot_64_
    37bfb9fdacmp [rsp+392], 0
    37bfb9fe3je 0x37bfb9e58
    37bfb9fe9lea rax, [rip+0x4a2cd0]
    37bfb9ff0mov [rsp+48], r14
    37bfb9ff5mov r9, [rsp+352]
    37bfb9ffdmov [rsp+40], rbx
    37bfba002mov rdx, [rsp+344]
    37bfba00amov r8, rax
    37bfba00dmov [rsp+32], rax
    37bfba012mov rcx, [rsp+1064]
    37bfba01acall drot_64_
    37bfba01fcmp r15, [rsp+232]
    37bfba027jge 0x37bfb9e66
    37bfba02d
    37bfba02dloc_37bfba02d:
    37bfba02dmov rax, [rsp+360]
    37bfba035mov rcx, [rsp+312]
    37bfba03dmov r9, r14
    37bfba040mov r8, rbx
    37bfba043mov [rsp+32], rax
    37bfba048lea rdx, [rcx+8]
    37bfba04ccall dlartg_64_
    37bfba051mov rax, [rsp+320]
    37bfba059movsd_xmm x0, [rsp+864]
    37bfba062mov r15, [rsp+440]
    37bfba06amov r8, [rsp+1096]
    37bfba072mov [rax+8], 0
    37bfba07amov rcx, [rsp+224]
    37bfba082movsd_xmm [rax], x0
    37bfba086mov rax, [rsp+1096]
    37bfba08esub r15, r13
    37bfba091mov [rsp+48], r14
    37bfba096mov [rsp+32], rax
    37bfba09bmov rax, [rsp+328]
    37bfba0a3mov [rsp+40], rbx
    37bfba0a8lea r9, [rax+8]
    37bfba0acmov rdx, rax
    37bfba0afmov [rsp+872], r15
    37bfba0b7call drot_64_
    37bfba0bcmov rax, [rsp+1112]
    37bfba0c4mov [rsp+48], r14
    37bfba0c9mov [rsp+40], rbx
    37bfba0cemov r8, [rsp+1112]
    37bfba0d6mov [rsp+32], rax
    37bfba0dbmov rax, [rsp+336]
    37bfba0e3mov rcx, [rsp+224]
    37bfba0ebmov [rsp+872], r15
    37bfba0f3lea r9, [rax+8]
    37bfba0f7mov rdx, rax
    37bfba0facall drot_64_
    37bfba0ffcmp [rsp+752], 0
    37bfba108je 0x37bfb9e66
    37bfba10elea rax, [rip+0x4a2bab]
    37bfba115mov [rsp+48], r14
    37bfba11amov r9, [rsp+376]
    37bfba122mov [rsp+40], rbx
    37bfba127mov rdx, [rsp+384]
    37bfba12fmov r8, rax
    37bfba132mov [rsp+32], rax
    37bfba137mov rcx, [rsp+1064]
    37bfba13fcall drot_64_
    37bfba144jmp 0x37bfb9e66
    37bfba149
    37bfba149 0f 1f 80 00 00 00 00 .......
    37bfba150
    37bfba150loc_37bfba150:
    37bfba150mov [rsp+464], r14
    37bfba158mov r11, [rsp+368]
    37bfba160mov rax, [rsp+480]
    37bfba168mov r10, [rsp+488]
    37bfba170mov r15, [rsp+496]
    37bfba178
    37bfba178loc_37bfba178:
    37bfba178lea rbp, [r11+1]
    37bfba17ccmp r11, [rsp+232]
    37bfba184jl 0x37bfba460
    37bfba18a
    37bfba18aloc_37bfba18a:
    37bfba18amov [rsp+776], rbp
    37bfba192mov r11, rbp
    37bfba195jmp 0x37bfb9ccb
    37bfba19a
    37bfba19a 66 0f 1f 44 00 00 f..D..
    37bfba1a0
    37bfba1a0loc_37bfba1a0:
    37bfba1a0mov r14, r12
    37bfba1a3mov r12, [rsp+232]
    37bfba1abmov rdi, [rsp+552]
    37bfba1b3mov r10, r11
    37bfba1b6mov r15, [rsp+560]
    37bfba1becmp r12, r11
    37bfba1c1jle 0x37bfba7a0
    37bfba1c7mov rax, [rsp+632]
    37bfba1cfmov rdx, r12
    37bfba1d2mov rsi, [rsp+536]
    37bfba1dasub rdx, r11
    37bfba1ddmov rbp, [rsp+832]
    37bfba1e5mov [rsp+840], rax
    37bfba1edmov rax, [rsp+656]
    37bfba1f5add rdx, 1
    37bfba1f9mov [rsp+808], rax
    37bfba201cmp rdx, rsi
    37bfba204jge 0x37bfba800
    37bfba20amov rax, r12
    37bfba20dsub rax, rdi
    37bfba210add rax, 1
    37bfba214cmp rax, rsi
    37bfba217jge 0x37bfba83b
    37bfba21dmov [rsp+840], rax
    37bfba225mov rdx, rax
    37bfba228mov [rsp+776], rdi
    37bfba230
    37bfba230loc_37bfba230:
    37bfba230imul rdx, rdx
    37bfba234mov rsi, [rsp+664]
    37bfba23cmov rax, [rsp+640]
    37bfba244lea rbx, [rsp+784]
    37bfba24cmov [rsp+216], rsi
    37bfba254mov rsi, [rsp+1192]
    37bfba25clea rcx, [rdx+rdx]
    37bfba260sub rax, rcx
    37bfba263mov [rsp+208], rsi
    37bfba26bmov rsi, [rsp+224]
    37bfba273mov [rsp+872], rax
    37bfba27bmov rax, rdx
    37bfba27eneg rdx
    37bfba281mov [rsp+200], rsi
    37bfba289shl rax, 4
    37bfba28dmov rsi, [rsp+688]
    37bfba295add rax, [rsp+1176]
    37bfba29dmov [rsp+192], rax
    37bfba2a5lea rax, [rax+8*rdx]
    37bfba2a9mov [rsp+184], rsi
    37bfba2b1mov [rsp+176], rax
    37bfba2b9mov rax, rsi
    37bfba2bcmov [rsp+168], rsi
    37bfba2c4mov rsi, [rsp+1176]
    37bfba2ccmov [rsp+160], rsi
    37bfba2d4mov rsi, [rsp+1136]
    37bfba2dcmov [rsp+152], rsi
    37bfba2e4mov rsi, [rsp+1128]
    37bfba2ecmov [rsp+144], rsi
    37bfba2f4mov rsi, [rsp+1120]
    37bfba2fcmov [rsp+136], rsi
    37bfba304mov rsi, [rsp+672]
    37bfba30cmov [rsp+128], rsi
    37bfba314mov rsi, [rsp+680]
    37bfba31cmov [rsp+120], rsi
    37bfba321mov rsi, [rsp+1168]
    37bfba329mov [rsp+112], rsi
    37bfba32emov rsi, [rsp+1160]
    37bfba336mov [rsp+104], rsi
    37bfba33bmov rsi, [rsp+1152]
    37bfba343mov [rsp+96], rsi
    37bfba348mov rsi, [rsp+1144]
    37bfba350mov [rsp+48], rax
    37bfba355mov rdx, [rsp+592]
    37bfba35dmov [rsp+88], rsi
    37bfba362mov rsi, [rsp+1112]
    37bfba36amov [rsp+40], rbx
    37bfba36fmov r9, [rsp+1064]
    37bfba377mov [rsp+80], rsi
    37bfba37cmov rsi, [rsp+1104]
    37bfba384mov r8, [rsp+648]
    37bfba38cmov rcx, [rsp+600]
    37bfba394mov [rsp+72], rsi
    37bfba399mov rsi, [rsp+1096]
    37bfba3a1mov [rsp+64], rsi
    37bfba3a6mov rsi, [rsp+1088]
    37bfba3aemov [rsp+56], rsi
    37bfba3b3lea rsi, [rsp+776]
    37bfba3bbmov [rsp+32], rsi
    37bfba3c0call dlaqz3_64_
    37bfba3c5mov rdx, [rsp+792]
    37bfba3cdtest rdx, rdx
    37bfba3d0jle 0x37bfba3eb
    37bfba3d2sub [rsp+784], rdx
    37bfba3dapxor x9, x9
    37bfba3dfmov [rsp+528], 0
    37bfba3eb
    37bfba3ebloc_37bfba3eb:
    37bfba3ebmov rax, [rsp+800]
    37bfba3f3imul rcx, rdx, 100
    37bfba3f7add rdx, rax
    37bfba3faimul rdx, [rsp+616]
    37bfba403cmp rcx, rdx
    37bfba406jg 0x37bfba430
    37bfba408mov r9, [rsp+784]
    37bfba410mov rdx, r9
    37bfba413sub rdx, [rsp+776]
    37bfba41blea rcx, [rdx+1]
    37bfba41fcmp rcx, [rsp+536]
    37bfba427jge 0x37bfba985
    37bfba42dnop [rax]
    37bfba430
    37bfba430loc_37bfba430:
    37bfba430add [rsp+472], 1
    37bfba439mov rsi, [rsp+584]
    37bfba441cmp [rsp+472], rsi
    37bfba449je 0x37bfba848
    37bfba44fmov rbx, [rsp+784]
    37bfba457jmp 0x37bfb9970
    37bfba45c
    37bfba45c 0f 1f 40 00 ..@.
    37bfba460
    37bfba460loc_37bfba460:
    37bfba460mov r14, [rsp+456]
    37bfba468mov [rsp+256], rax
    37bfba470lea r8, [rsp+864]
    37bfba478lea rdi, [rsp+848]
    37bfba480mov rax, [rsp+448]
    37bfba488mov [rsp+32], r8
    37bfba48dlea rbx, [rsp+744]
    37bfba495mov r9, rdi
    37bfba498mov r13, r14
    37bfba49bmov [rsp+264], r10
    37bfba4a3mov r8, rbx
    37bfba4a6mov r10, [rsp+1088]
    37bfba4aeimul r13, r11
    37bfba4b2mov rdx, [rsp+1088]
    37bfba4bamov [rsp+248], r11
    37bfba4c2lea rsi, [r13+rax]
    37bfba4c7lea rcx, [rsi+rbp]
    37bfba4cbadd rsi, r11
    37bfba4celea rdx, [rdx+8*rcx]
    37bfba4d2mov [rsp+240], rcx
    37bfba4dalea rcx, [r10+8*rsi]
    37bfba4decall dlartg_64_
    37bfba4e3mov rdx, [rsp+1088]
    37bfba4ebmov rcx, [rsp+240]
    37bfba4f3mov r11, [rsp+248]
    37bfba4fbmov rax, [rsp+1088]
    37bfba503movsd_xmm x0, [rsp+864]
    37bfba50cmov r8, [rsp+1096]
    37bfba514mov [rsp+240], r11
    37bfba51cmovsd_xmm [rdx+8*rsi], x0
    37bfba521mov [rdx+8*rcx], 0
    37bfba529mov rdx, [rsp+440]
    37bfba531mov [rsp+48], rdi
    37bfba536sub rdx, rbp
    37bfba539mov [rsp+40], rbx
    37bfba53elea rsi, [rdx+1]
    37bfba542lea rdx, [r13+r14]
    37bfba547add rdx, [rsp+448]
    37bfba54fmov r14, [rsp+224]
    37bfba557lea rcx, [rdx+rbp]
    37bfba55badd rdx, r11
    37bfba55emov [rsp+872], rsi
    37bfba566lea rdx, [rax+8*rdx]
    37bfba56amov rax, [rsp+1096]
    37bfba572mov [rsp+32], rax
    37bfba577mov rax, [rsp+1088]
    37bfba57flea r9, [rax+8*rcx]
    37bfba583mov rcx, r14
    37bfba586call drot_64_
    37bfba58bmov rdx, [rsp+504]
    37bfba593mov [rsp+48], rdi
    37bfba598mov rax, [rsp+1104]
    37bfba5a0mov [rsp+40], rbx
    37bfba5a5imul rdx, rbp
    37bfba5a9add rdx, [rsp+544]
    37bfba5b1mov r8, [rsp+1112]
    37bfba5b9mov [rsp+872], rsi
    37bfba5c1lea rcx, [rdx+rbp]
    37bfba5c5add rdx, [rsp+240]
    37bfba5cdlea rdx, [rax+8*rdx]
    37bfba5d1mov rax, [rsp+1112]
    37bfba5d9mov [rsp+32], rax
    37bfba5demov rax, [rsp+1104]
    37bfba5e6lea r9, [rax+8*rcx]
    37bfba5eamov rcx, r14
    37bfba5edcall drot_64_
    37bfba5f2mov rax, [rsp+256]
    37bfba5facmp [rsp+752], 0
    37bfba603mov r10, [rsp+264]
    37bfba60bje 0x37bfba18a
    37bfba611mov [rsp+240], rax
    37bfba619mov rax, [rsp+520]
    37bfba621lea r8, [rip+0x4a2698]
    37bfba628mov rsi, [rsp+568]
    37bfba630mov [rsp+48], rdi
    37bfba635mov rdx, rax
    37bfba638mov [rsp+40], rbx
    37bfba63dimul rdx, rbp
    37bfba641mov [rsp+248], r10
    37bfba649lea rcx, [rdx+rsi+1]
    37bfba64esub rdx, rax
    37bfba651mov rax, [rsp+1144]
    37bfba659lea rdx, [rsi+rdx+1]
    37bfba65elea rdx, [rax+8*rdx]
    37bfba662lea rax, [rip+0x4a2657]
    37bfba669mov [rsp+32], rax
    37bfba66emov rax, [rsp+1144]
    37bfba676lea r9, [rax+8*rcx]
    37bfba67amov rcx, [rsp+1064]
    37bfba682call drot_64_
    37bfba687mov r10, [rsp+248]
    37bfba68fmov rax, [rsp+240]
    37bfba697jmp 0x37bfba18a
    37bfba69c
    37bfba69c 0f 1f 40 00 ..@.
    37bfba6a0
    37bfba6a0loc_37bfba6a0:
    37bfba6a0mov rsi, [rsp+1088]
    37bfba6a8sub rax, [rsp+608]
    37bfba6b0add rax, [rsp+448]
    37bfba6b8lea rdx, [r10+rax]
    37bfba6bcadd rax, rdi
    37bfba6bfmovsd_xmm x0, [rsi+8*rax]
    37bfba6c4andpd x0, [rip+0x4a2604]
    37bfba6ccmovsd_xmm x2, [rsi+8*rdx]
    37bfba6d1andpd x2, [rip+0x4a25f7]
    37bfba6d9addsd x0, x1
    37bfba6ddmulsd x0, x7
    37bfba6e1maxsd x0, x6
    37bfba6e5comisd x0, x2
    37bfba6e9jb 0x37bfb9ac9
    37bfba6efmov rdi, r10
    37bfba6f2mov [rsi+8*rdx], 0
    37bfba6famov r10, r8
    37bfba6fdpxor x9, x9
    37bfba702mov [rsp+528], 0
    37bfba70ejmp 0x37bfb9ac9
    37bfba713
    37bfba713 0f 1f 44 00 00 ..D..
    37bfba718
    37bfba718loc_37bfba718:
    37bfba718mov rsi, [rsp+1088]
    37bfba720add r8, rbx
    37bfba723add rax, [rsp+608]
    37bfba72bmov r12, rbx
    37bfba72eadd rax, [rsp+448]
    37bfba736movsd_xmm x2, [rsi+8*r8]
    37bfba73cmov rsi, [rsp+1088]
    37bfba744add rax, rbx
    37bfba747andpd x2, [rip+0x4a2581]
    37bfba74fmovsd_xmm x0, [rsi+8*rax]
    37bfba754andpd x0, [rip+0x4a2574]
    37bfba75caddsd x0, x1
    37bfba760mulsd x0, x7
    37bfba764maxsd x0, x6
    37bfba768comisd x0, x2
    37bfba76cjb 0x37bfb9a31
    37bfba772mov [rsi+8*r8], 0
    37bfba77amov r12, rcx
    37bfba77dpxor x9, x9
    37bfba782mov [rsp+784], rcx
    37bfba78amov [rsp+528], 0
    37bfba796jmp 0x37bfb9a31
    37bfba79b
    37bfba79b 0f 1f 44 00 00 ..D..
    37bfba7a0
    37bfba7a0loc_37bfba7a0:
    37bfba7a0sub r10, 1
    37bfba7a4pxor x9, x9
    37bfba7a9mov [rsp+528], 0
    37bfba7b5mov [rsp+784], r10
    37bfba7bdjmp 0x37bfba430
    37bfba7c2
    37bfba7c2 66 0f 1f 44 00 00 f..D..
    37bfba7c8
    37bfba7c8loc_37bfba7c8:
    37bfba7c8mov [rsp+440], r12
    37bfba7d0mov [rsp+272], r10
    37bfba7d8jmp 0x37bfb9b99
    37bfba7dd
    37bfba7dd 0f 1f 00 ...
    37bfba7e0
    37bfba7e0loc_37bfba7e0:
    37bfba7e0mov rsi, [rsp+1088]
    37bfba7e8mov [rsp+776], r10
    37bfba7f0mov [rsi+8*rdx], 0
    37bfba7f8jmp 0x37bfb9b6e
    37bfba7fd
    37bfba7fd 0f 1f 00 ...
    37bfba800
    37bfba800loc_37bfba800:
    37bfba800mov rdx, [rsp+632]
    37bfba808jmp 0x37bfba230
    37bfba80d
    37bfba80d 0f 1f 00 ...
    37bfba810
    37bfba810loc_37bfba810:
    37bfba810mov rdi, [rsp+296]
    37bfba818add rdi, rsi
    37bfba81bmov [rsp+400], rdi
    37bfba823mov rdi, [rsp+304]
    37bfba82badd rdi, rcx
    37bfba82emov [rsp+408], rdi
    37bfba836jmp 0x37bfba178
    37bfba83b
    37bfba83bloc_37bfba83b:
    37bfba83bmov [rsp+840], rdx
    37bfba843jmp 0x37bfba230
    37bfba848
    37bfba848loc_37bfba848:
    37bfba848mov r15, [rsp+1200]
    37bfba850
    37bfba850loc_37bfba850:
    37bfba850mov rax, [rsp+224]
    37bfba858mov [rsp+176], 1
    37bfba864mov [rsp+168], 1
    37bfba870mov [rsp+152], rax
    37bfba878mov rax, [rsp+1184]
    37bfba880mov [rsp+160], 1
    37bfba88cmov [rsp+144], rax
    37bfba894mov rax, [rsp+1176]
    37bfba89cmov [rsp+136], rax
    37bfba8a4mov rax, [rsp+1168]
    37bfba8acmov [rsp+128], rax
    37bfba8b4mov rax, [rsp+1160]
    37bfba8bcmov [rsp+120], rax
    37bfba8c1mov rax, [rsp+1152]
    37bfba8c9mov [rsp+112], rax
    37bfba8cemov rax, [rsp+1144]
    37bfba8d6mov [rsp+104], rax
    37bfba8dbmov rax, [rsp+1136]
    37bfba8e3mov [rsp+96], rax
    37bfba8e8mov rax, [rsp+1128]
    37bfba8f0mov [rsp+88], rax
    37bfba8f5mov rax, [rsp+1120]
    37bfba8fdmov [rsp+80], rax
    37bfba902mov rax, [rsp+1112]
    37bfba90amov [rsp+72], rax
    37bfba90fmov rax, [rsp+1104]
    37bfba917mov [rsp+64], rax
    37bfba91cmov rax, [rsp+1096]
    37bfba924mov [rsp+56], rax
    37bfba929mov rax, [rsp+1088]
    37bfba931mov [rsp+48], rax
    37bfba936mov rax, [rsp+1080]
    37bfba93emov [rsp+40], rax
    37bfba943mov rax, [rsp+1072]
    37bfba94bmov r9, [rsp+1064]
    37bfba953mov r8, [rsp+1056]
    37bfba95bmov [rsp+32], rax
    37bfba960mov rdx, [rsp+1048]
    37bfba968mov rcx, [rsp+1040]
    37bfba970call dhgeqz_64_
    37bfba975mov rax, [rsp+872]
    37bfba97dmov [r15], rax
    37bfba980jmp 0x37bfb8c52
    37bfba985
    37bfba985loc_37bfba985:
    37bfba985add [rsp+528], 1
    37bfba98emov rcx, rbp
    37bfba991cmp rax, rbp
    37bfba994cmovle rcx, rax
    37bfba998cmp rcx, rdx
    37bfba99bcmovg rcx, rdx
    37bfba99fmov rdx, r9
    37bfba9a2sub rdx, rax
    37bfba9a5mov [rsp+824], rcx
    37bfba9adlea r8, [rax+rdx]
    37bfba9b1lea rcx, [rdx+1]
    37bfba9b5cmp rcx, r8
    37bfba9b8jg 0x37bfbae0c
    37bfba9belea r10, [8*rdx]
    37bfba9c6sub r8, rcx
    37bfba9c9mov rax, [rsp+1128]
    37bfba9d1mov rcx, [rsp+1120]
    37bfba9d9mov rdx, [rsp+1136]
    37bfba9e1shr r8, 1
    37bfba9e4add rax, r10
    37bfba9e7add rcx, r10
    37bfba9eaadd rdx, r10
    37bfba9ednop [rax]
    37bfba9f0
    37bfba9f0loc_37bfba9f0:
    37bfba9f0movsd_xmm x0, [rax+8]
    37bfba9f5movsd_xmm x1, [rax]
    37bfba9f9movapd x2, x0
    37bfba9fdxorpd x2, [rip+0x4a22db]
    37bfbaa05ucomisd x1, x2
    37bfbaa09jp 0x37bfbaa0d
    37bfbaa0bje 0x37bfbaa3c
    37bfbaa0d
    37bfbaa0dloc_37bfbaa0d:
    37bfbaa0dmovhpd x0, [rax+16]
    37bfbaa12movsd_xmm x2, [rcx]
    37bfbaa16movupd x3, [rcx+8]
    37bfbaa1bmovups [rax], x0
    37bfbaa1emovsd_xmm [rax+16], x1
    37bfbaa23movsd_xmm x0, [rdx]
    37bfbaa27movupd x1, [rdx+8]
    37bfbaa2cmovups [rcx], x3
    37bfbaa2fmovsd_xmm [rcx+16], x2
    37bfbaa34movups [rdx], x1
    37bfbaa37movsd_xmm [rdx+16], x0
    37bfbaa3c
    37bfbaa3cloc_37bfbaa3c:
    37bfbaa3csub r8, 1
    37bfbaa40add rax, 16
    37bfbaa44add rcx, 16
    37bfbaa48add rdx, 16
    37bfbaa4ccmp r8, -1
    37bfbaa50jne 0x37bfba9f0
    37bfbaa52
    37bfbaa52loc_37bfbaa52:
    37bfbaa52mov rax, 0xaaaaaaaaaaaaaaab
    37bfbaa5cimul rax, [rsp+528]
    37bfbaa65mov rdx, 0x2aaaaaaaaaaaaaaa
    37bfbaa6fror rax, 1
    37bfbaa72cmp rdx, rax
    37bfbaa75jb 0x37bfbab50
    37bfbaa7bmov rdx, [rsp+456]
    37bfbaa83lea rax, [r9-1]
    37bfbaa87pxor x0, x0
    37bfbaa8bcvtsi2sd x0, [rsp+576]
    37bfbaa95mulsd x0, x10
    37bfbaa9aimul rdx, rax
    37bfbaa9eadd rdx, [rsp+448]
    37bfbaaa6lea rcx, [r9+rdx]
    37bfbaaaamov r9, [rsp+1088]
    37bfbaab2add rdx, rax
    37bfbaab5movsd_xmm x3, [r9+8*rcx]
    37bfbaabbmovsd_xmm x2, [r9+8*rdx]
    37bfbaac1andpd x2, [rip+0x4a2207]
    37bfbaac9movapd x1, x3
    37bfbaacdandpd x1, [rip+0x4a21fb]
    37bfbaad5mulsd x1, x0
    37bfbaad9comisd x2, x1
    37bfbaaddjbe 0x37bfbada5
    37bfbaae3mov rdx, [rsp+504]
    37bfbaaebmov rcx, [rsp+1104]
    37bfbaaf3imul rdx, rax
    37bfbaaf7add rax, [rsp+544]
    37bfbaaffadd rax, rdx
    37bfbab02divsd x3, [rcx+8*rax]
    37bfbab07movapd x9, x3
    37bfbab0c
    37bfbab0cloc_37bfbab0c:
    37bfbab0cmov rax, [rsp+1120]
    37bfbab14movq x0, [rip+0x4a21d4]
    37bfbab1cmov [rsp+824], 2
    37bfbab28movups [rax+r10], x0
    37bfbab2dmov rax, [rsp+1128]
    37bfbab35pxor x0, x0
    37bfbab39movups [rax+r10], x0
    37bfbab3emov rax, [rsp+1136]
    37bfbab46movddup x0, x9
    37bfbab4bmovups [rax+r10], x0
    37bfbab50
    37bfbab50loc_37bfbab50:
    37bfbab50mov rcx, [rsp+696]
    37bfbab58mov rax, [rsp+640]
    37bfbab60sub rax, rcx
    37bfbab63mov [rsp+872], rax
    37bfbab6bmov rax, [rsp+1176]
    37bfbab73lea rdx, [rax+8*rcx]
    37bfbab77mov rcx, [rsp+704]
    37bfbab7fmov rax, [rsp+712]
    37bfbab87mov [rsp+184], rdx
    37bfbab8fneg rcx
    37bfbab92mov [rsp+200], rax
    37bfbab9amov rax, [rsp+224]
    37bfbaba2lea rdx, [rdx+8*rcx]
    37bfbaba6mov rcx, [rsp+1176]
    37bfbabaemov [rsp+168], rdx
    37bfbabb6mov rdx, [rsp+1136]
    37bfbabbemov [rsp+152], rcx
    37bfbabc6mov rcx, [rsp+1168]
    37bfbabceadd rdx, r10
    37bfbabd1mov [rsp+192], rax
    37bfbabd9lea rax, [rsp+808]
    37bfbabe1mov [rsp+144], rcx
    37bfbabe9mov rcx, [rsp+1160]
    37bfbabf1mov [rsp+176], rax
    37bfbabf9mov [rsp+136], rcx
    37bfbac01mov rcx, [rsp+1152]
    37bfbac09mov [rsp+160], rax
    37bfbac11mov [rsp+128], rcx
    37bfbac19mov rcx, [rsp+1144]
    37bfbac21mov [rsp+120], rcx
    37bfbac26mov rcx, [rsp+1112]
    37bfbac2emov [rsp+112], rcx
    37bfbac33mov rcx, [rsp+1104]
    37bfbac3bmov [rsp+104], rcx
    37bfbac40mov rcx, [rsp+1096]
    37bfbac48mov [rsp+96], rcx
    37bfbac4dmov rcx, [rsp+1088]
    37bfbac55mov [rsp+88], rcx
    37bfbac5amov [rsp+80], rdx
    37bfbac5fmov rdx, [rsp+1128]
    37bfbac67mov [rsp+56], rax
    37bfbac6clea rax, [rsp+824]
    37bfbac74mov r9, [rsp+1064]
    37bfbac7cadd rdx, r10
    37bfbac7fadd r10, [rsp+1120]
    37bfbac87mov [rsp+48], rax
    37bfbac8cmov [rsp+72], rdx
    37bfbac91mov r8, [rsp+648]
    37bfbac99mov [rsp+64], r10
    37bfbac9emov rdx, [rsp+592]
    37bfbaca6mov [rsp+40], rbx
    37bfbacabmov rcx, [rsp+600]
    37bfbacb3mov [rsp+32], rsi
    37bfbacb8call dlaqz4_64_
    37bfbacbdjmp 0x37bfba430
    37bfbacc2
    37bfbacc2loc_37bfbacc2:
    37bfbacc2mov rdx, -6
    37bfbacc9mov eax, 6
    37bfbaccejmp 0x37bfb8c2c
    37bfbacd3
    37bfbacd3loc_37bfbacd3:
    37bfbacd3pxor x0, x0
    37bfbacd7cvtsi2sd x0, rax
    37bfbacdcmov rax, [rsp+1176]
    37bfbace4movsd_xmm [rax], x0
    37bfbace8jmp 0x37bfb8c52
    37bfbaced
    37bfbacedloc_37bfbaced:
    37bfbacedmov r15, [rsp+1200]
    37bfbacf5add rbx, 1
    37bfbacf9mov [r15], rbx
    37bfbacfcjmp 0x37bfba850
    37bfbad01
    37bfbad01loc_37bfbad01:
    37bfbad01mov rax, [rsp+1168]
    37bfbad09mov r8, [rsp+1064]
    37bfbad11mov [rsp+56], 4
    37bfbad1alea r9, [rip+0x4a1f6f]
    37bfbad21lea rcx, [rip+0x4a1f70]
    37bfbad28mov [rsp+48], rax
    37bfbad2dmov rax, [rsp+1160]
    37bfbad35mov rdx, r8
    37bfbad38mov [rsp+40], rax
    37bfbad3dlea rax, [rip+0x4a1f5c]
    37bfbad44mov [rsp+32], rax
    37bfbad49call dlaset_64_
    37bfbad4ejmp 0x37bfb97af
    37bfbad53
    37bfbad53loc_37bfbad53:
    37bfbad53mov rax, [rsp+1152]
    37bfbad5bmov r8, [rsp+1064]
    37bfbad63mov [rsp+56], 4
    37bfbad6clea r9, [rip+0x4a1f1d]
    37bfbad73lea rcx, [rip+0x4a1f1e]
    37bfbad7amov [rsp+48], rax
    37bfbad7fmov rax, [rsp+1144]
    37bfbad87mov rdx, r8
    37bfbad8amov [rsp+40], rax
    37bfbad8flea rax, [rip+0x4a1f0a]
    37bfbad96mov [rsp+32], rax
    37bfbad9bcall dlaset_64_
    37bfbada0jmp 0x37bfb97a5
    37bfbada5
    37bfbada5loc_37bfbada5:
    37bfbada5movsd_xmm x1, [rip+0x4a1f43]
    37bfbadaddivsd x1, x0
    37bfbadb1addsd x1, x9
    37bfbadb6movapd x9, x1
    37bfbadbbjmp 0x37bfbab0c
    37bfbadc0
    37bfbadc0loc_37bfbadc0:
    37bfbadc0mov rdx, -8
    37bfbadc7mov eax, 8
    37bfbadccjmp 0x37bfb8c2c
    37bfbadd1
    37bfbadd1loc_37bfbadd1:
    37bfbadd1mov rdx, -10
    37bfbadd8mov eax, 10
    37bfbadddjmp 0x37bfb8c2c
    37bfbade2
    37bfbade2loc_37bfbade2:
    37bfbade2mov rdx, -15
    37bfbade9mov eax, 15
    37bfbadeejmp 0x37bfb8c2c
    37bfbadf3
    37bfbadf3loc_37bfbadf3:
    37bfbadf3mov rdx, -17
    37bfbadfamov eax, 17
    37bfbadffjmp 0x37bfb8c2c
    37bfbae04
    37bfbae04loc_37bfbae04:
    37bfbae04neg rax
    37bfbae07jmp 0x37bfb8c2f
    37bfbae0c
    37bfbae0cloc_37bfbae0c:
    37bfbae0clea r10, [8*rdx]
    37bfbae14jmp 0x37bfbaa52
    37bfb8ac0