File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37b72c920
    37b72c920strti2_:
    37b72c920push r15
    37b72c922push r14
    37b72c924push r13
    37b72c926push r12
    37b72c928push rbp
    37b72c929push rdi
    37b72c92apush rsi
    37b72c92bpush rbx
    37b72c92csub rsp, 168
    37b72c933movups [rsp+144], x6
    37b72c93bmov r12, [rsp+280]
    37b72c943mov rax, [rsp+272]
    37b72c94bmov [r12], 0
    37b72c953mov esi, [rax]
    37b72c955mov [rsp+248], rdx
    37b72c95dmov rdi, r8
    37b72c960lea rdx, [rip+0xd09b39]
    37b72c967mov rbp, r9
    37b72c96amov r8l, 1
    37b72c970mov r9l, 1
    37b72c976mov rbx, rcx
    37b72c979call lsame_
    37b72c97emov rcx, [rsp+248]
    37b72c986mov r9l, 1
    37b72c98cmov r8l, 1
    37b72c992lea rdx, [rip+0xd09b08]
    37b72c999mov r13l, eax
    37b72c99ccall lsame_
    37b72c9a1mov r15l, eax
    37b72c9a4test r13l, r13l
    37b72c9a7je 0x37b72ccd0
    37b72c9ad
    37b72c9adloc_37b72c9ad:
    37b72c9adtest r15l, r15l
    37b72c9b0je 0x37b72cd08
    37b72c9b6
    37b72c9b6loc_37b72c9b6:
    37b72c9b6mov ebx, [rdi]
    37b72c9b8test ebx, ebx
    37b72c9bajs 0x37b72ca20
    37b72c9bcmov rcx, [rsp+272]
    37b72c9c4mov eax, 1
    37b72c9c9cmovg eax, ebx
    37b72c9cccmp [rcx], eax
    37b72c9cejge 0x37b72ca30
    37b72c9d0mov eax, -5
    37b72c9d5mov edx, 5
    37b72c9da
    37b72c9daloc_37b72c9da:
    37b72c9damov [r12], eax
    37b72c9de
    37b72c9deloc_37b72c9de:
    37b72c9demov [rsp+140], edx
    37b72c9e5mov r8l, 6
    37b72c9eblea rdx, [rsp+140]
    37b72c9f3lea rcx, [rip+0xd09aa9]
    37b72c9facall xerbla_
    37b72c9ffnop
    37b72ca00
    37b72ca00loc_37b72ca00:
    37b72ca00movups x6, [rsp+144]
    37b72ca08add rsp, 168
    37b72ca0fpop rbx
    37b72ca10pop rsi
    37b72ca11pop rdi
    37b72ca12pop rbp
    37b72ca13pop r12
    37b72ca15pop r13
    37b72ca17pop r14
    37b72ca19pop r15
    37b72ca1bret
    37b72ca1c
    37b72ca1c 0f 1f 40 00 ..@.
    37b72ca20
    37b72ca20loc_37b72ca20:
    37b72ca20mov eax, -3
    37b72ca25mov edx, 3
    37b72ca2ajmp 0x37b72c9da
    37b72ca2c
    37b72ca2c 0f 1f 40 00 ..@.
    37b72ca30
    37b72ca30loc_37b72ca30:
    37b72ca30movsxd rax, esi
    37b72ca33xor edx, edx
    37b72ca35test rax, rax
    37b72ca38cmovs rax, rdx
    37b72ca3cmov edx, [r12]
    37b72ca40test edx, edx
    37b72ca42jne 0x37b72cd3f
    37b72ca48test r13l, r13l
    37b72ca4bje 0x37b72cb70
    37b72ca51test ebx, ebx
    37b72ca53je 0x37b72ca00
    37b72ca55lea rcx, [rsp+136]
    37b72ca5dmov [rsp+124], ebx
    37b72ca61mov rdi, rbp
    37b72ca64lea rsi, [4*rax+4]
    37b72ca6cmov [rsp+112], rcx
    37b72ca71movss x6, [rip+0xd09a4f]
    37b72ca79lea r14, [rbp-4]
    37b72ca7dmov r13l, 1
    37b72ca83mov [rsp+104], rsi
    37b72ca88lea rsi, [4*rax]
    37b72ca90
    37b72ca90loc_37b72ca90:
    37b72ca90movaps x0, x6
    37b72ca93test r15l, r15l
    37b72ca96je 0x37b72cab3
    37b72ca98movss x0, [rip+0xd09a2c]
    37b72caa0divss x0, [r14+4]
    37b72caa6movss [r14+4], x0
    37b72caacxorps x0, [rip+0xd09a1d]
    37b72cab3
    37b72cab3loc_37b72cab3:
    37b72cab3lea rax, [rip+0xd09a02]
    37b72cabamov [rsp+48], rdi
    37b72cabfmov r8, [rsp+248]
    37b72cac7lea ebx, [r13-1]
    37b72cacbmov [rsp+56], rax
    37b72cad0lea rdx, [rip+0xd099d2]
    37b72cad7mov rax, [rsp+272]
    37b72cadflea r9, [rsp+140]
    37b72cae7mov [rsp+32], rbp
    37b72caeclea rcx, [rip+0xd099c2]
    37b72caf3add r13l, 1
    37b72caf7mov [rsp+40], rax
    37b72cafcmov [rsp+80], 1
    37b72cb05mov [rsp+72], 12
    37b72cb0emov [rsp+64], 5
    37b72cb17movss [rsp+136], x0
    37b72cb20mov [rsp+140], ebx
    37b72cb27call strmv_
    37b72cb2cmov rdx, [rsp+112]
    37b72cb31mov r8, rdi
    37b72cb34lea r9, [rip+0xd09981]
    37b72cb3blea rcx, [rsp+140]
    37b72cb43mov [rsp+140], ebx
    37b72cb4aadd rdi, rsi
    37b72cb4dcall sscal_
    37b72cb52add r14, [rsp+104]
    37b72cb57cmp [rsp+124], r13l
    37b72cb5cjge 0x37b72ca90
    37b72cb62jmp 0x37b72ca00
    37b72cb67
    37b72cb67 66 0f 1f 84 00 00 00 00 00 f........
    37b72cb70
    37b72cb70loc_37b72cb70:
    37b72cb70test ebx, ebx
    37b72cb72je 0x37b72ca00
    37b72cb78movsxd r8, ebx
    37b72cb7blea rdx, [rax+1]
    37b72cb7fmov r13, rax
    37b72cb82mov rcx, rax
    37b72cb85imul rdx, r8
    37b72cb89not rcx
    37b72cb8cmov rsi, rax
    37b72cb8fmov r11, rbp
    37b72cb92imul r13, r8
    37b72cb96mov [rsp+112], rcx
    37b72cb9bmovss x6, [rip+0xd09925]
    37b72cba3lea r14, [4*rcx]
    37b72cbabadd rdx, rcx
    37b72cbaelea r12, [rbp+4*rdx]
    37b72cbb3add r13, rcx
    37b72cbb6mov edx, ebx
    37b72cbb8jmp 0x37b72cbd1
    37b72cbba
    37b72cbba 66 0f 1f 44 00 00 f..D..
    37b72cbc0
    37b72cbc0loc_37b72cbc0:
    37b72cbc0sub ebx, 1
    37b72cbc3je 0x37b72ca00
    37b72cbc9mov edx, [rdi]
    37b72cbcbsub r13, rsi
    37b72cbceadd r12, r14
    37b72cbd1
    37b72cbd1loc_37b72cbd1:
    37b72cbd1movaps x0, x6
    37b72cbd4test r15l, r15l
    37b72cbd7je 0x37b72cbf4
    37b72cbd9movss x0, [rip+0xd098eb]
    37b72cbe1divss x0, [r12]
    37b72cbe7movss [r12], x0
    37b72cbedxorps x0, [rip+0xd098dc]
    37b72cbf4
    37b72cbf4loc_37b72cbf4:
    37b72cbf4movss [rsp+136], x0
    37b72cbfdcmp ebx, edx
    37b72cbffjge 0x37b72cbc0
    37b72cc01sub edx, ebx
    37b72cc03lea ecx, [rbx+1]
    37b72cc06mov [rsp+80], 1
    37b72cc0fmov r8, [rsp+248]
    37b72cc17mov [rsp+140], edx
    37b72cc1elea rdx, [rip+0xd09897]
    37b72cc25lea rax, [r13+rcx]
    37b72cc2amov [rsp+56], rdx
    37b72cc2fmov rdx, rcx
    37b72cc32lea rax, [r11+4*rax]
    37b72cc36lea rbp, [rsp+140]
    37b72cc3eimul rdx, rsi
    37b72cc42add rdx, [rsp+112]
    37b72cc47mov r9, rbp
    37b72cc4amov [rsp+48], rax
    37b72cc4fmov [rsp+104], rax
    37b72cc54add rdx, rcx
    37b72cc57mov rax, [rsp+272]
    37b72cc5flea rcx, [rip+0xd0985a]
    37b72cc66lea rdx, [r11+4*rdx]
    37b72cc6amov [rsp+264], r11
    37b72cc72mov [rsp+40], rax
    37b72cc77mov [rsp+32], rdx
    37b72cc7clea rdx, [rip+0xd09826]
    37b72cc83mov [rsp+72], 12
    37b72cc8cmov [rsp+64], 5
    37b72cc95call strmv_
    37b72cc9amov edx, [rdi]
    37b72cc9cmov r8, [rsp+104]
    37b72cca1mov rcx, rbp
    37b72cca4lea r9, [rip+0xd09811]
    37b72ccabsub edx, ebx
    37b72ccadmov [rsp+140], edx
    37b72ccb4lea rdx, [rsp+136]
    37b72ccbccall sscal_
    37b72ccc1mov r11, [rsp+264]
    37b72ccc9jmp 0x37b72cbc0
    37b72ccce
    37b72ccce 66 90 f.
    37b72ccd0
    37b72ccd0loc_37b72ccd0:
    37b72ccd0mov r9l, 1
    37b72ccd6mov r8l, 1
    37b72ccdclea rdx, [rip+0xd097bf]
    37b72cce3mov rcx, rbx
    37b72cce6call lsame_
    37b72ccebtest eax, eax
    37b72ccedjne 0x37b72c9ad
    37b72ccf3mov [r12], -1
    37b72ccfbmov edx, 1
    37b72cd00jmp 0x37b72c9de
    37b72cd05
    37b72cd05 0f 1f 00 ...
    37b72cd08
    37b72cd08loc_37b72cd08:
    37b72cd08mov rcx, [rsp+248]
    37b72cd10mov r9l, 1
    37b72cd16mov r8l, 1
    37b72cd1clea rdx, [rip+0xd0977d]
    37b72cd23call lsame_
    37b72cd28test eax, eax
    37b72cd2ajne 0x37b72c9b6
    37b72cd30mov eax, -2
    37b72cd35mov edx, 2
    37b72cd3ajmp 0x37b72c9da
    37b72cd3f
    37b72cd3floc_37b72cd3f:
    37b72cd3fneg edx
    37b72cd41jmp 0x37b72c9de
    37b72c920
    37b72cd46
    37b72cd46 // align 0x10
    37b72cd50
    37b72cd50strtri_:
    37b72cd50push r15
    37b72cd52push r14
    37b72cd54push r13
    37b72cd56push r12
    37b72cd58push rbp
    37b72cd59push rdi
    37b72cd5apush rsi
    37b72cd5bpush rbx
    37b72cd5csub rsp, 216
    37b72cd63mov rbx, [rsp+328]
    37b72cd6bmov rdi, [rsp+320]
    37b72cd73mov [rbx], 0
    37b72cd79mov r12l, [rdi]
    37b72cd7cmov rsi, rdx
    37b72cd7fmov rbp, r8
    37b72cd82lea rdx, [rip+0xd09757]
    37b72cd89mov r13, r9
    37b72cd8cmov r8l, 1
    37b72cd92mov r9l, 1
    37b72cd98mov r14, rcx
    37b72cd9bcall lsame_
    37b72cda0mov r9l, 1
    37b72cda6mov r8l, 1
    37b72cdacmov rcx, rsi
    37b72cdaflea rdx, [rip+0xd0972b]
    37b72cdb6mov r15l, eax
    37b72cdb9call lsame_
    37b72cdbemov r11l, eax
    37b72cdc1test r15l, r15l
    37b72cdc4je 0x37b72d188
    37b72cdca
    37b72cdcaloc_37b72cdca:
    37b72cdcatest r11l, r11l
    37b72cdcdje 0x37b72d1d0
    37b72cdd3
    37b72cdd3loc_37b72cdd3:
    37b72cdd3mov ecx, [rbp]
    37b72cdd6test ecx, ecx
    37b72cdd8js 0x37b72ce30
    37b72cddamov eax, 1
    37b72cddfcmovg eax, ecx
    37b72cde2cmp [rdi], eax
    37b72cde4jge 0x37b72ce40
    37b72cde6mov edx, -5
    37b72cdebmov eax, 5
    37b72cdf0
    37b72cdf0loc_37b72cdf0:
    37b72cdf0mov [rbx], edx
    37b72cdf2
    37b72cdf2loc_37b72cdf2:
    37b72cdf2lea rdx, [rsp+204]
    37b72cdfamov r8l, 6
    37b72ce00lea rcx, [rip+0xd096dc]
    37b72ce07mov [rsp+204], eax
    37b72ce0ecall xerbla_
    37b72ce13nop
    37b72ce14
    37b72ce14loc_37b72ce14:
    37b72ce14add rsp, 216
    37b72ce1bpop rbx
    37b72ce1cpop rsi
    37b72ce1dpop rdi
    37b72ce1epop rbp
    37b72ce1fpop r12
    37b72ce21pop r13
    37b72ce23pop r14
    37b72ce25pop r15
    37b72ce27ret
    37b72ce28
    37b72ce28 0f 1f 84 00 00 00 00 00 ........
    37b72ce30
    37b72ce30loc_37b72ce30:
    37b72ce30mov edx, -3
    37b72ce35mov eax, 3
    37b72ce3ajmp 0x37b72cdf0
    37b72ce3c
    37b72ce3c 0f 1f 40 00 ..@.
    37b72ce40
    37b72ce40loc_37b72ce40:
    37b72ce40mov eax, [rbx]
    37b72ce42test eax, eax
    37b72ce44jne 0x37b72d4c0
    37b72ce4atest ecx, ecx
    37b72ce4cje 0x37b72ce14
    37b72ce4emovsxd r10, r12l
    37b72ce51xor eax, eax
    37b72ce53test r10, r10
    37b72ce56cmovs r10, rax
    37b72ce5atest r11l, r11l
    37b72ce5dje 0x37b72ceae
    37b72ce5fmov [rbx], 1
    37b72ce65lea rdx, [r13-4]
    37b72ce69mov eax, 1
    37b72ce6elea r8, [4*r10+4]
    37b72ce76pxor x0, x0
    37b72ce7ajmp 0x37b72ce90
    37b72ce7c
    37b72ce7cloc_37b72ce7c:
    37b72ce7cadd eax, 1
    37b72ce7fadd rdx, r8
    37b72ce82mov [rbx], eax
    37b72ce84cmp ecx, eax
    37b72ce86jl 0x37b72cea8
    37b72ce88nop [rax+rax]
    37b72ce90
    37b72ce90loc_37b72ce90:
    37b72ce90ucomiss x0, [rdx+4]
    37b72ce94jp 0x37b72ce7c
    37b72ce96je 0x37b72ce14
    37b72ce9cadd eax, 1
    37b72ce9fadd rdx, r8
    37b72cea2mov [rbx], eax
    37b72cea4cmp ecx, eax
    37b72cea6jge 0x37b72ce90
    37b72cea8
    37b72cea8loc_37b72cea8:
    37b72cea8mov [rbx], 0
    37b72ceae
    37b72ceaeloc_37b72ceae:
    37b72ceaemov [rsp+40], rsi
    37b72ceb3lea r12, [rsp+204]
    37b72cebbmov r9, r14
    37b72cebemov ecx, 2
    37b72cec3mov [rsp+32], 1
    37b72ceccmov rdx, r12
    37b72cecfmov r8l, 1
    37b72ced5mov [rsp+144], r10
    37b72ceddmov [rsp+136], r12
    37b72cee5call _gfortran_concat_string
    37b72ceealea rax, [rip+0xd095ff]
    37b72cef1mov r8, r12
    37b72cef4mov [rsp+64], 2
    37b72cefdmov [rsp+48], rax
    37b72cf02mov r9, rbp
    37b72cf05lea rdx, [rip+0xd095d7]
    37b72cf0clea rcx, [rip+0xd095d9]
    37b72cf13mov [rsp+56], 6
    37b72cf1cmov [rsp+40], rax
    37b72cf21mov [rsp+32], rax
    37b72cf26call ilaenv_
    37b72cf2bmov r12l, eax
    37b72cf2ecmp eax, 1
    37b72cf31jle 0x37b72d150
    37b72cf37mov ecx, [rbp]
    37b72cf3amov r10, [rsp+144]
    37b72cf42cmp ecx, eax
    37b72cf44jle 0x37b72d150
    37b72cf4atest r15l, r15l
    37b72cf4dje 0x37b72d218
    37b72cf53lea eax, [rcx-1]
    37b72cf56xor edx, edx
    37b72cf58mov r8, r10
    37b72cf5badd r10, 1
    37b72cf5fmov [rsp+304], rbp
    37b72cf67mov r14, r13
    37b72cf6amov r15, r13
    37b72cf6dmov ebp, 1
    37b72cf72div r12l
    37b72cf75mov [rsp+312], r13
    37b72cf7dmov [rsp+328], rbx
    37b72cf85movsxd rdx, r12l
    37b72cf88mov ebx, r12l
    37b72cf8blea r13, [rsp+200]
    37b72cf93imul r8, rdx
    37b72cf97imul r10, rdx
    37b72cf9blea r11, [4*r8]
    37b72cfa3lea rdx, [4*r10]
    37b72cfabmov [rsp+160], r11
    37b72cfb3mov [rsp+152], rdx
    37b72cfbbmov r12l, eax
    37b72cfbejmp 0x37b72cfe0
    37b72cfc0
    37b72cfc0loc_37b72cfc0:
    37b72cfc0mov rax, [rsp+304]
    37b72cfc8add r14, [rsp+160]
    37b72cfd0add ebp, ebx
    37b72cfd2sub r12l, 1
    37b72cfd6add r15, [rsp+152]
    37b72cfdemov ecx, [rax]
    37b72cfe0
    37b72cfe0loc_37b72cfe0:
    37b72cfe0sub ecx, ebp
    37b72cfe2mov [rsp+80], rdi
    37b72cfe7lea r10l, [rbp-1]
    37b72cfebmov r9, rsi
    37b72cfeemov rax, [rsp+312]
    37b72cff6add ecx, 1
    37b72cff9mov [rsp+112], 1
    37b72d002lea r8, [rip+0xd094eb]
    37b72d009cmp ecx, ebx
    37b72d00bmov [rsp+72], r14
    37b72d010lea rdx, [rip+0xd094e9]
    37b72d017mov [rsp+56], rax
    37b72d01clea rax, [rip+0xd094e9]
    37b72d023cmovg ecx, ebx
    37b72d026mov [rsp+48], rax
    37b72d02bmov rax, [rsp+136]
    37b72d033mov [rsp+104], 12
    37b72d03cmov [rsp+32], rax
    37b72d041mov [rsp+96], 5
    37b72d04amov [rsp+88], 4
    37b72d053mov [rsp+64], rdi
    37b72d058mov [rsp+40], r13
    37b72d05dmov [rsp+200], ecx
    37b72d064lea rcx, [rip+0xd0949a]
    37b72d06bmov [rsp+204], r10l
    37b72d073mov [rsp+144], r10l
    37b72d07bcall strmm_
    37b72d080mov rax, [rsp+136]
    37b72d088mov [rsp+80], rdi
    37b72d08dlea rdx, [rip+0xd09484]
    37b72d094mov [rsp+48], rdx
    37b72d099mov r9, rsi
    37b72d09cmov r10l, [rsp+144]
    37b72d0a4lea r8, [rip+0xd09449]
    37b72d0abmov [rsp+32], rax
    37b72d0b0lea rdx, [rip+0xd09449]
    37b72d0b7lea rcx, [rip+0xd09452]
    37b72d0bemov [rsp+112], 1
    37b72d0c7mov [rsp+104], 12
    37b72d0d0mov [rsp+96], 5
    37b72d0d9mov [rsp+88], 5
    37b72d0e2mov [rsp+72], r14
    37b72d0e7mov [rsp+64], rdi
    37b72d0ecmov [rsp+56], r15
    37b72d0f1mov [rsp+40], r13
    37b72d0f6mov [rsp+204], r10l
    37b72d0fecall strsm_
    37b72d103mov [rsp+32], rdi
    37b72d108mov r9, r15
    37b72d10bmov r8, r13
    37b72d10emov rax, [rsp+328]
    37b72d116mov rdx, rsi
    37b72d119lea rcx, [rip+0xd093e0]
    37b72d120mov [rsp+56], 1
    37b72d129mov [rsp+48], 5
    37b72d132mov [rsp+40], rax
    37b72d137call strti2_
    37b72d13ctest r12l, r12l
    37b72d13fjne 0x37b72cfc0
    37b72d145jmp 0x37b72ce14
    37b72d14a
    37b72d14a 66 0f 1f 44 00 00 f..D..
    37b72d150
    37b72d150loc_37b72d150:
    37b72d150mov [rsp+40], rbx
    37b72d155mov r9, r13
    37b72d158mov r8, rbp
    37b72d15bmov rdx, rsi
    37b72d15emov [rsp+56], 1
    37b72d167mov rcx, r14
    37b72d16amov [rsp+48], 1
    37b72d173mov [rsp+32], rdi
    37b72d178call strti2_
    37b72d17djmp 0x37b72ce14
    37b72d182
    37b72d182 66 0f 1f 44 00 00 f..D..
    37b72d188
    37b72d188loc_37b72d188:
    37b72d188mov r9l, 1
    37b72d18emov r8l, 1
    37b72d194mov rcx, r14
    37b72d197mov [rsp+136], eax
    37b72d19elea rdx, [rip+0xd0933d]
    37b72d1a5call lsame_
    37b72d1aamov r11l, [rsp+136]
    37b72d1b2test eax, eax
    37b72d1b4jne 0x37b72cdca
    37b72d1bamov edx, -1
    37b72d1bfmov eax, 1
    37b72d1c4jmp 0x37b72cdf0
    37b72d1c9
    37b72d1c9 0f 1f 80 00 00 00 00 .......
    37b72d1d0
    37b72d1d0loc_37b72d1d0:
    37b72d1d0mov r9l, 1
    37b72d1d6mov r8l, 1
    37b72d1dcmov rcx, rsi
    37b72d1dfmov [rsp+136], r11l
    37b72d1e7lea rdx, [rip+0xd092f2]
    37b72d1eecall lsame_
    37b72d1f3mov r11l, [rsp+136]
    37b72d1fbtest eax, eax
    37b72d1fdjne 0x37b72cdd3
    37b72d203mov [rbx], -2
    37b72d209mov eax, 2
    37b72d20ejmp 0x37b72cdf2
    37b72d213
    37b72d213 0f 1f 44 00 00 ..D..
    37b72d218
    37b72d218loc_37b72d218:
    37b72d218lea r9l, [rcx-1]
    37b72d21cmov r8, r10
    37b72d21fmov [rsp+312], r13
    37b72d227mov eax, r9l
    37b72d22anot r8
    37b72d22dmov [rsp+328], rbx
    37b72d235cdq
    37b72d236mov [rsp+168], r10
    37b72d23eidiv r12l
    37b72d241mov [rsp+176], r8
    37b72d249sub r9l, edx
    37b72d24cxor edx, edx
    37b72d24emov eax, r9l
    37b72d251lea r15l, [r9+1]
    37b72d255movsxd r9, r9l
    37b72d258div r12l
    37b72d25bmov edx, r12l
    37b72d25eadd r9, r8
    37b72d261neg edx
    37b72d263movsxd rdx, edx
    37b72d266mov [rsp+188], eax
    37b72d26dlea rax, [r10+1]
    37b72d271mov ebx, [rsp+188]
    37b72d278imul rax, rdx
    37b72d27cimul rdx, r10
    37b72d280lea r11, [4*rax]
    37b72d288movsxd rax, r15l
    37b72d28bimul rax, r10
    37b72d28fmov [rsp+152], r11
    37b72d297lea r11, [rsp+200]
    37b72d29fmov [rsp+160], rdx
    37b72d2a7mov [rsp+144], r11
    37b72d2afadd r9, rax
    37b72d2b2lea r14, [r13+4*r9+4]
    37b72d2b7mov r13l, r12l
    37b72d2bamov r12, rbp
    37b72d2bdmov rbp, rsi
    37b72d2c0lea rsi, [r8+rax]
    37b72d2c4jmp 0x37b72d330
    37b72d2c6
    37b72d2c6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72d2d0
    37b72d2d0loc_37b72d2d0:
    37b72d2d0mov rax, [rsp+328]
    37b72d2d8mov [rsp+32], rdi
    37b72d2ddmov r9, r14
    37b72d2e0mov rdx, rbp
    37b72d2e3mov [rsp+56], 1
    37b72d2ecmov r8, [rsp+144]
    37b72d2f4lea rcx, [rip+0xd09221]
    37b72d2fbmov [rsp+48], 5
    37b72d304mov [rsp+40], rax
    37b72d309call strti2_
    37b72d30etest ebx, ebx
    37b72d310je 0x37b72ce14
    37b72d316mov ecx, [r12]
    37b72d31aadd r14, [rsp+152]
    37b72d322sub r15l, r13l
    37b72d325sub ebx, 1
    37b72d328add rsi, [rsp+160]
    37b72d330
    37b72d330loc_37b72d330:
    37b72d330mov r8l, ecx
    37b72d333sub r8l, r15l
    37b72d336lea eax, [r8+1]
    37b72d33acmp eax, r13l
    37b72d33dcmovg eax, r13l
    37b72d341lea edx, [r15+rax]
    37b72d345mov [rsp+200], eax
    37b72d34ccmp edx, ecx
    37b72d34ejg 0x37b72d2d0
    37b72d350movsxd rdx, edx
    37b72d353sub r8l, eax
    37b72d356mov [rsp+80], rdi
    37b72d35bmov r9, rbp
    37b72d35emov rcx, [rsp+312]
    37b72d366lea rax, [rdx+rsi]
    37b72d36amov [rsp+112], 1
    37b72d373add r8l, 1
    37b72d377mov [rsp+104], 12
    37b72d380lea rax, [rcx+4*rax]
    37b72d384mov [rsp+64], rdi
    37b72d389lea rcx, [rip+0xd09175]
    37b72d390mov [rsp+72], rax
    37b72d395mov rax, [rsp+168]
    37b72d39dmov [rsp+96], 5
    37b72d3a6imul rax, rdx
    37b72d3aaadd rax, [rsp+176]
    37b72d3b2mov [rsp+88], 4
    37b72d3bbadd rax, rdx
    37b72d3bemov rdx, [rsp+312]
    37b72d3c6mov [rsp+204], r8l
    37b72d3celea r8, [rip+0xd0911f]
    37b72d3d5lea rax, [rdx+4*rax]
    37b72d3d9mov rdx, [rsp+136]
    37b72d3e1mov [rsp+56], rax
    37b72d3e6lea rax, [rip+0xd0911f]
    37b72d3edmov [rsp+48], rax
    37b72d3f2mov rax, [rsp+144]
    37b72d3famov [rsp+32], rdx
    37b72d3fflea rdx, [rip+0xd09116]
    37b72d406mov [rsp+40], rax
    37b72d40bcall strmm_
    37b72d410mov ecx, [r12]
    37b72d414mov r9, rbp
    37b72d417mov eax, [rsp+200]
    37b72d41emov [rsp+112], 1
    37b72d427lea r8, [rip+0xd090c6]
    37b72d42esub ecx, r15l
    37b72d431mov [rsp+80], rdi
    37b72d436mov edx, ecx
    37b72d438mov [rsp+64], rdi
    37b72d43dmov rcx, [rsp+312]
    37b72d445sub edx, eax
    37b72d447add eax, r15l
    37b72d44amov [rsp+104], 12
    37b72d453cdqe
    37b72d455add edx, 1
    37b72d458mov [rsp+96], 5
    37b72d461add rax, rsi
    37b72d464mov [rsp+204], edx
    37b72d46bmov rdx, [rsp+136]
    37b72d473lea rax, [rcx+4*rax]
    37b72d477lea rcx, [rip+0xd0909a]
    37b72d47emov [rsp+56], r14
    37b72d483mov [rsp+72], rax
    37b72d488mov rax, [rsp+144]
    37b72d490mov [rsp+48], rcx
    37b72d495lea rcx, [rip+0xd09074]
    37b72d49cmov [rsp+32], rdx
    37b72d4a1lea rdx, [rip+0xd09074]
    37b72d4a8mov [rsp+88], 5
    37b72d4b1mov [rsp+40], rax
    37b72d4b6call strsm_
    37b72d4bbjmp 0x37b72d2d0
    37b72d4c0
    37b72d4c0loc_37b72d4c0:
    37b72d4c0neg eax
    37b72d4c2jmp 0x37b72cdf2
    37b72cd50
    37b72d4c7
    37b72d4c7 // align 0x10
    37b72d4d0
    37b72d4d0strtrs_:
    37b72d4d0push r14
    37b72d4d2push r13
    37b72d4d4push r12
    37b72d4d6push rbp
    37b72d4d7push rdi
    37b72d4d8push rsi
    37b72d4d9push rbx
    37b72d4dasub rsp, 144
    37b72d4e1mov rbx, [rsp+280]
    37b72d4e9mov rax, [rsp+256]
    37b72d4f1mov [rbx], 0
    37b72d4f7movsxd r13, [rax]
    37b72d4famov rdi, r8
    37b72d4fdmov rsi, rcx
    37b72d500mov r8l, 1
    37b72d506mov rbp, rdx
    37b72d509mov rcx, rdi
    37b72d50clea rdx, [rip+0xd0901d]
    37b72d513mov r12, r9
    37b72d516mov r9l, 1
    37b72d51ccall lsame_
    37b72d521mov r9l, 1
    37b72d527mov r8l, 1
    37b72d52dmov rcx, rsi
    37b72d530lea rdx, [rip+0xd08ffa]
    37b72d537mov r14l, eax
    37b72d53acall lsame_
    37b72d53ftest eax, eax
    37b72d541jne 0x37b72d566
    37b72d543mov r9l, 1
    37b72d549mov r8l, 1
    37b72d54flea rdx, [rip+0xd08fdc]
    37b72d556mov rcx, rsi
    37b72d559call lsame_
    37b72d55etest eax, eax
    37b72d560je 0x37b72d630
    37b72d566
    37b72d566loc_37b72d566:
    37b72d566mov r9l, 1
    37b72d56cmov r8l, 1
    37b72d572lea rdx, [rip+0xd08fb7]
    37b72d579mov rcx, rbp
    37b72d57ccall lsame_
    37b72d581test eax, eax
    37b72d583je 0x37b72d688
    37b72d589
    37b72d589loc_37b72d589:
    37b72d589test r14l, r14l
    37b72d58cje 0x37b72d650
    37b72d592
    37b72d592loc_37b72d592:
    37b72d592mov ecx, [r12]
    37b72d596test ecx, ecx
    37b72d598js 0x37b72d640
    37b72d59emov rax, [rsp+240]
    37b72d5a6mov eax, [rax]
    37b72d5a8test eax, eax
    37b72d5aajs 0x37b72d7f0
    37b72d5b0mov rdx, [rsp+256]
    37b72d5b8test ecx, ecx
    37b72d5bamov eax, 1
    37b72d5bfcmovg eax, ecx
    37b72d5c2cmp [rdx], eax
    37b72d5c4jl 0x37b72d6e0
    37b72d5camov rdx, [rsp+272]
    37b72d5d2cmp [rdx], eax
    37b72d5d4jge 0x37b72d6f0
    37b72d5damov edx, -9
    37b72d5dfmov eax, 9
    37b72d5e4nop
    37b72d5e5nop [rax+rax]
    37b72d5f0
    37b72d5f0loc_37b72d5f0:
    37b72d5f0mov [rbx], edx
    37b72d5f2
    37b72d5f2loc_37b72d5f2:
    37b72d5f2lea rdx, [rsp+140]
    37b72d5famov r8l, 6
    37b72d600lea rcx, [rip+0xd08f2e]
    37b72d607mov [rsp+140], eax
    37b72d60ecall xerbla_
    37b72d613nop
    37b72d614
    37b72d614loc_37b72d614:
    37b72d614add rsp, 144
    37b72d61bpop rbx
    37b72d61cpop rsi
    37b72d61dpop rdi
    37b72d61epop rbp
    37b72d61fpop r12
    37b72d621pop r13
    37b72d623pop r14
    37b72d625ret
    37b72d626
    37b72d626 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72d630
    37b72d630loc_37b72d630:
    37b72d630mov edx, -1
    37b72d635mov eax, 1
    37b72d63ajmp 0x37b72d5f0
    37b72d63c
    37b72d63c 0f 1f 40 00 ..@.
    37b72d640
    37b72d640loc_37b72d640:
    37b72d640mov edx, -4
    37b72d645mov eax, 4
    37b72d64ajmp 0x37b72d5f0
    37b72d64c
    37b72d64c 0f 1f 40 00 ..@.
    37b72d650
    37b72d650loc_37b72d650:
    37b72d650mov r9l, 1
    37b72d656mov r8l, 1
    37b72d65clea rdx, [rip+0xd08ece]
    37b72d663mov rcx, rdi
    37b72d666call lsame_
    37b72d66btest eax, eax
    37b72d66djne 0x37b72d592
    37b72d673mov [rbx], -3
    37b72d679mov eax, 3
    37b72d67ejmp 0x37b72d5f2
    37b72d683
    37b72d683 0f 1f 44 00 00 ..D..
    37b72d688
    37b72d688loc_37b72d688:
    37b72d688mov r9l, 1
    37b72d68emov r8l, 1
    37b72d694lea rdx, [rip+0xd08e98]
    37b72d69bmov rcx, rbp
    37b72d69ecall lsame_
    37b72d6a3test eax, eax
    37b72d6a5jne 0x37b72d589
    37b72d6abmov r9l, 1
    37b72d6b1mov r8l, 1
    37b72d6b7lea rdx, [rip+0xd08e76]
    37b72d6bemov rcx, rbp
    37b72d6c1call lsame_
    37b72d6c6test eax, eax
    37b72d6c8jne 0x37b72d589
    37b72d6cemov edx, -2
    37b72d6d3mov eax, 2
    37b72d6d8jmp 0x37b72d5f0
    37b72d6dd
    37b72d6dd 0f 1f 00 ...
    37b72d6e0
    37b72d6e0loc_37b72d6e0:
    37b72d6e0mov edx, -7
    37b72d6e5mov eax, 7
    37b72d6eajmp 0x37b72d5f0
    37b72d6ef
    37b72d6ef 90 .
    37b72d6f0
    37b72d6f0loc_37b72d6f0:
    37b72d6f0mov eax, [rbx]
    37b72d6f2test eax, eax
    37b72d6f4jne 0x37b72d7ff
    37b72d6fatest ecx, ecx
    37b72d6fcje 0x37b72d614
    37b72d702test r14l, r14l
    37b72d705je 0x37b72d758
    37b72d707xor eax, eax
    37b72d709test r13, r13
    37b72d70cmov [rbx], 1
    37b72d712pxor x0, x0
    37b72d716cmovs r13, rax
    37b72d71amov rax, [rsp+248]
    37b72d722lea r8, [4*r13+4]
    37b72d72alea rdx, [rax-4]
    37b72d72emov eax, 1
    37b72d733nop
    37b72d735nop [rax+rax]
    37b72d740
    37b72d740loc_37b72d740:
    37b72d740ucomiss x0, [rdx+4]
    37b72d744jp 0x37b72d74c
    37b72d746je 0x37b72d614
    37b72d74c
    37b72d74cloc_37b72d74c:
    37b72d74cadd eax, 1
    37b72d74fadd rdx, r8
    37b72d752mov [rbx], eax
    37b72d754cmp ecx, eax
    37b72d756jge 0x37b72d740
    37b72d758
    37b72d758loc_37b72d758:
    37b72d758mov [rbx], 0
    37b72d75emov r9, rdi
    37b72d761mov r8, rbp
    37b72d764mov rdx, rsi
    37b72d767mov rax, [rsp+272]
    37b72d76fmov [rsp+32], r12
    37b72d774lea rcx, [rip+0xd08dc0]
    37b72d77bmov [rsp+112], 1
    37b72d784mov [rsp+80], rax
    37b72d789mov rax, [rsp+264]
    37b72d791mov [rsp+104], 1
    37b72d79amov [rsp+72], rax
    37b72d79fmov rax, [rsp+256]
    37b72d7a7mov [rsp+96], 1
    37b72d7b0mov [rsp+64], rax
    37b72d7b5mov rax, [rsp+248]
    37b72d7bdmov [rsp+88], 4
    37b72d7c6mov [rsp+56], rax
    37b72d7cblea rax, [rip+0xd08d6e]
    37b72d7d2mov [rsp+48], rax
    37b72d7d7mov rax, [rsp+240]
    37b72d7dfmov [rsp+40], rax
    37b72d7e4call strsm_
    37b72d7e9jmp 0x37b72d614
    37b72d7ee
    37b72d7ee 66 90 f.
    37b72d7f0
    37b72d7f0loc_37b72d7f0:
    37b72d7f0mov edx, -5
    37b72d7f5mov eax, 5
    37b72d7fajmp 0x37b72d5f0
    37b72d7ff
    37b72d7ffloc_37b72d7ff:
    37b72d7ffneg eax
    37b72d801jmp 0x37b72d5f2
    37b72d4d0
    37b72d806
    37b72d806 // align 0x10
    37b72d810
    37b72d810stzrzf_:
    37b72d810push r15
    37b72d812push r14
    37b72d814push r13
    37b72d816push r12
    37b72d818push rbp
    37b72d819push rdi
    37b72d81apush rsi
    37b72d81bpush rbx
    37b72d81csub rsp, 328
    37b72d823mov rax, [rsp+432]
    37b72d82bmov rsi, [rsp+456]
    37b72d833mov rbp, [rsp+440]
    37b72d83bmov r14, [rsp+448]
    37b72d843mov [rsi], 0
    37b72d849movsxd r12, [r9]
    37b72d84cmov [rsp+160], rax
    37b72d854mov eax, [rcx]
    37b72d856mov rbx, rcx
    37b72d859mov rdi, rdx
    37b72d85cmov [rsp+168], r8
    37b72d864mov r13, r9
    37b72d867test eax, eax
    37b72d869js 0x37b72d948
    37b72d86fmov edx, [rdx]
    37b72d871cmp eax, edx
    37b72d873jle 0x37b72d8c0
    37b72d875mov edx, -2
    37b72d87amov eax, 2
    37b72d87f
    37b72d87floc_37b72d87f:
    37b72d87fmov [rsi], edx
    37b72d881
    37b72d881loc_37b72d881:
    37b72d881lea rdx, [rsp+316]
    37b72d889mov r8l, 6
    37b72d88flea rcx, [rip+0xd08cca]
    37b72d896mov [rsp+316], eax
    37b72d89dcall xerbla_
    37b72d8a2nop
    37b72d8a3
    37b72d8a3loc_37b72d8a3:
    37b72d8a3add rsp, 328
    37b72d8aapop rbx
    37b72d8abpop rsi
    37b72d8acpop rdi
    37b72d8adpop rbp
    37b72d8aepop r12
    37b72d8b0pop r13
    37b72d8b2pop r14
    37b72d8b4pop r15
    37b72d8b6ret
    37b72d8b7
    37b72d8b7 66 0f 1f 84 00 00 00 00 00 f........
    37b72d8c0
    37b72d8c0loc_37b72d8c0:
    37b72d8c0test eax, eax
    37b72d8c2mov ecx, 1
    37b72d8c7cmovg ecx, eax
    37b72d8cacmp r12l, ecx
    37b72d8cdjl 0x37b72de60
    37b72d8d3mov [rsp+184], 1
    37b72d8demov ecx, [r14]
    37b72d8e1mov [rsp+176], ecx
    37b72d8e8mov ecx, 1
    37b72d8edtest eax, eax
    37b72d8efjne 0x37b72ddf0
    37b72d8f5
    37b72d8f5loc_37b72d8f5:
    37b72d8f5lea rax, [rsp+304]
    37b72d8fdmov [rsp+304], ecx
    37b72d904mov rcx, rax
    37b72d907mov [rsp+192], rax
    37b72d90fcall sroundup_lwork_
    37b72d914mov eax, [rsp+184]
    37b72d91bmovss [rbp], x0
    37b72d920cmp [r14], eax
    37b72d923jge 0x37b72d960
    37b72d925cmp [rsp+176], -1
    37b72d92dje 0x37b72ded0
    37b72d933mov [rsi], -7
    37b72d939mov eax, 7
    37b72d93ejmp 0x37b72d881
    37b72d943
    37b72d943 0f 1f 44 00 00 ..D..
    37b72d948
    37b72d948loc_37b72d948:
    37b72d948mov [rsi], -1
    37b72d94emov eax, -1
    37b72d953
    37b72d953loc_37b72d953:
    37b72d953neg eax
    37b72d955jmp 0x37b72d881
    37b72d95a
    37b72d95a 66 0f 1f 44 00 00 f..D..
    37b72d960
    37b72d960loc_37b72d960:
    37b72d960mov eax, [rsi]
    37b72d962test eax, eax
    37b72d964jne 0x37b72d953
    37b72d966cmp [rsp+176], -1
    37b72d96eje 0x37b72d8a3
    37b72d974mov ecx, [rbx]
    37b72d976test ecx, ecx
    37b72d978je 0x37b72d8a3
    37b72d97ecmp ecx, [rdi]
    37b72d980je 0x37b72dee0
    37b72d986cmp r15l, 1
    37b72d98ajle 0x37b72ddc0
    37b72d990cmp ecx, r15l
    37b72d993jle 0x37b72ddc0
    37b72d999lea rax, [rip+0xd08bbc]
    37b72d9a0mov [rsp+32], rdi
    37b72d9a5lea rdx, [rip+0xd08ba5]
    37b72d9acmov r9, rbx
    37b72d9afmov [rsp+64], 1
    37b72d9b8lea rcx, [rip+0xd08ba9]
    37b72d9bflea r8, [rip+0xd08b8a]
    37b72d9c6mov [rsp+56], 6
    37b72d9cfmov [rsp+48], rax
    37b72d9d4mov [rsp+40], rax
    37b72d9d9call ilaenv_
    37b72d9dexor edx, edx
    37b72d9e0mov ecx, [rbx]
    37b72d9e2test eax, eax
    37b72d9e4cmovns edx, eax
    37b72d9e7mov r10l, edx
    37b72d9eacmp ecx, edx
    37b72d9ecjle 0x37b72ddc0
    37b72d9f2mov edx, ecx
    37b72d9f4mov eax, [r14]
    37b72d9f7mov [rsp+300], ecx
    37b72d9feimul edx, r15l
    37b72da02cmp eax, edx
    37b72da04jl 0x37b72df18
    37b72da0acmp r15l, r10l
    37b72da0dmov eax, r10l
    37b72da10mov r11, r12
    37b72da13cmovge eax, r15l
    37b72da17not r11
    37b72da1acmp ecx, eax
    37b72da1cjle 0x37b72de6f
    37b72da22
    37b72da22loc_37b72da22:
    37b72da22mov r9l, ecx
    37b72da25mov r14, [rsp+168]
    37b72da2dmov r8l, [rdi]
    37b72da30mov [rsp+208], rbx
    37b72da38sub r9l, r10l
    37b72da3bmov ebx, r15l
    37b72da3elea eax, [r9-1]
    37b72da42cdq
    37b72da43idiv r15l
    37b72da46lea eax, [r9-1]
    37b72da4asub eax, edx
    37b72da4clea edx, [rax+r15]
    37b72da50cmp edx, ecx
    37b72da52cmovg edx, ecx
    37b72da55mov r9l, edx
    37b72da58mov edx, ecx
    37b72da5asub edx, r9l
    37b72da5dlea r10l, [rdx+rax]
    37b72da61xor edx, edx
    37b72da63div r15l
    37b72da66mov edx, r15l
    37b72da69lea esi, [r10+1]
    37b72da6dneg edx
    37b72da6fmov [rsp+284], esi
    37b72da76mov r15l, esi
    37b72da79movsxd r9, edx
    37b72da7cmov [rsp+280], edx
    37b72da83mov [rsp+276], eax
    37b72da8alea rax, [r12+1]
    37b72da8fimul rax, r9
    37b72da93lea rdx, [4*rax]
    37b72da9bmov [rsp+240], rdx
    37b72daa3movsxd rdx, r10l
    37b72daa6movsxd r10, esi
    37b72daa9imul r10, r12
    37b72daadlea rax, [r11+rdx]
    37b72dab1add rax, r10
    37b72dab4lea rax, [r14+4*rax+4]
    37b72dab9mov [rsp+176], rax
    37b72dac1lea rax, [4*r9]
    37b72dac9mov [rsp+232], rax
    37b72dad1mov rax, [rsp+160]
    37b72dad9lea r14, [rax+4*rdx]
    37b72daddlea eax, [rcx+1]
    37b72dae0cmp eax, r8l
    37b72dae3mov rsi, r14
    37b72dae6cmovg eax, r8l
    37b72daeaimul r9, r12
    37b72daeecdqe
    37b72daf0imul rax, r12
    37b72daf4shl r9, 2
    37b72daf8mov r12l, [rsp+276]
    37b72db00mov [rsp+248], r9
    37b72db08add rax, r11
    37b72db0badd r11, r10
    37b72db0eadd rax, rdx
    37b72db11mov rdx, [rsp+168]
    37b72db19lea rax, [rdx+4*rax+4]
    37b72db1elea rdx, [rdx+4*r11+4]
    37b72db23mov [rsp+224], rdx
    37b72db2blea rdx, [rsp+316]
    37b72db33mov r14, rax
    37b72db36mov [rsp+200], rdx
    37b72db3elea rdx, [rsp+312]
    37b72db46mov [rsp+216], rdx
    37b72db4elea rdx, [rsp+296]
    37b72db56mov [rsp+184], rdx
    37b72db5elea rdx, [rsp+300]
    37b72db66mov [rsp+256], rdx
    37b72db6elea rdx, [rsp+308]
    37b72db76mov [rsp+264], rdx
    37b72db7ejmp 0x37b72dbc2
    37b72db80
    37b72db80loc_37b72db80:
    37b72db80mov rax, [rsp+232]
    37b72db88mov r8l, [rdi]
    37b72db8bsub r15l, ebx
    37b72db8esub r12l, 1
    37b72db92mov rdx, [rsp+248]
    37b72db9aadd [rsp+224], rdx
    37b72dba2add rsi, rax
    37b72dba5add r14, rax
    37b72dba8mov rax, [rsp+208]
    37b72dbb0mov rcx, [rsp+240]
    37b72dbb8add [rsp+176], rcx
    37b72dbc0mov ecx, [rax]
    37b72dbc2
    37b72dbc2loc_37b72dbc2:
    37b72dbc2mov edx, ecx
    37b72dbc4mov [rsp+48], rbp
    37b72dbc9mov r9, [rsp+176]
    37b72dbd1sub edx, r15l
    37b72dbd4mov [rsp+40], rsi
    37b72dbd9add edx, 1
    37b72dbdcmov [rsp+32], r13
    37b72dbe1cmp edx, ebx
    37b72dbe3cmovg edx, ebx
    37b72dbe6mov [rsp+296], edx
    37b72dbedmov edx, r8l
    37b72dbf0sub r8l, ecx
    37b72dbf3mov rcx, [rsp+184]
    37b72dbfbsub edx, r15l
    37b72dbfemov [rsp+316], r8l
    37b72dc06mov r8, [rsp+200]
    37b72dc0eadd edx, 1
    37b72dc11mov [rsp+312], edx
    37b72dc18mov rdx, [rsp+216]
    37b72dc20call slatrz_
    37b72dc25cmp r15l, 1
    37b72dc29jle 0x37b72dd91
    37b72dc2fmov r11, [rsp+208]
    37b72dc37mov edx, [rdi]
    37b72dc39lea rcx, [rip+0xd08937]
    37b72dc40mov r9, [rsp+184]
    37b72dc48mov r8, [rsp+200]
    37b72dc50sub edx, [r11]
    37b72dc53mov r11, [rsp+256]
    37b72dc5bmov [rsp+56], rbp
    37b72dc60mov [rsp+80], 7
    37b72dc69mov [rsp+64], r11
    37b72dc6emov [rsp+72], 8
    37b72dc77mov [rsp+48], rsi
    37b72dc7cmov [rsp+40], r13
    37b72dc81mov [rsp+32], r14
    37b72dc86mov [rsp+316], edx
    37b72dc8dlea rdx, [rip+0xd088dc]
    37b72dc94call slarzt_
    37b72dc99lea edx, [r15-1]
    37b72dc9dmov rax, [rsp+200]
    37b72dca5mov r10, [rsp+208]
    37b72dcadmov [rsp+308], edx
    37b72dcb4mov edx, [rdi]
    37b72dcb6lea r9, [rip+0xd088b3]
    37b72dcbdlea r8, [rip+0xd088b3]
    37b72dcc4mov r11, [rsp+224]
    37b72dcccmov ecx, edx
    37b72dccesub edx, [r10]
    37b72dcd1mov [rsp+56], rax
    37b72dcd6mov rax, [rsp+184]
    37b72dcdesub ecx, r15l
    37b72dce1mov [rsp+316], edx
    37b72dce8add ecx, 1
    37b72dcebmovsxd rdx, [rsp+296]
    37b72dcf3mov [rsp+152], 7
    37b72dcffmov [rsp+48], rax
    37b72dd04mov rax, [rsp+216]
    37b72dd0cmov [rsp+312], ecx
    37b72dd13mov rcx, [rsp+256]
    37b72dd1blea rdx, [rbp+4*rdx]
    37b72dd20mov [rsp+40], rax
    37b72dd25mov rax, [rsp+264]
    37b72dd2dmov [rsp+120], rcx
    37b72dd32mov [rsp+32], rax
    37b72dd37mov [rsp+112], rdx
    37b72dd3clea rdx, [rip+0xd0883c]
    37b72dd43mov [rsp+88], rcx
    37b72dd48lea rcx, [rip+0xd0883c]
    37b72dd4fmov [rsp+144], 8
    37b72dd5bmov [rsp+136], 12
    37b72dd67mov [rsp+128], 5
    37b72dd73mov [rsp+104], r13
    37b72dd78mov [rsp+96], r11
    37b72dd7dmov [rsp+80], rbp
    37b72dd82mov [rsp+72], r13
    37b72dd87mov [rsp+64], r14
    37b72dd8ccall slarzb_
    37b72dd91
    37b72dd91loc_37b72dd91:
    37b72dd91test r12l, r12l
    37b72dd94jne 0x37b72db80
    37b72dd9amov eax, [rsp+280]
    37b72dda1imul eax, [rsp+276]
    37b72dda9mov esi, [rsp+284]
    37b72ddb0mov rbx, [rsp+208]
    37b72ddb8lea ecx, [rsi+rax-1]
    37b72ddbcnop [rax]
    37b72ddc0
    37b72ddc0loc_37b72ddc0:
    37b72ddc0mov [rsp+312], ecx
    37b72ddc7test ecx, ecx
    37b72ddc9jg 0x37b72de80
    37b72ddcf
    37b72ddcfloc_37b72ddcf:
    37b72ddcfmov rcx, [rsp+192]
    37b72ddd7call sroundup_lwork_
    37b72dddcmovss [rbp], x0
    37b72dde1jmp 0x37b72d8a3
    37b72dde6
    37b72dde6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72ddf0
    37b72ddf0loc_37b72ddf0:
    37b72ddf0cmp eax, edx
    37b72ddf2je 0x37b72d8f5
    37b72ddf8lea rax, [rip+0xd0875d]
    37b72ddffmov [rsp+32], rdi
    37b72de04lea rdx, [rip+0xd08746]
    37b72de0bmov r9, rbx
    37b72de0emov [rsp+64], 1
    37b72de17lea rcx, [rip+0xd0873a]
    37b72de1elea r8, [rip+0xd0872b]
    37b72de25mov [rsp+56], 6
    37b72de2emov [rsp+48], rax
    37b72de33mov [rsp+40], rax
    37b72de38call ilaenv_
    37b72de3dmov edx, 1
    37b72de42mov r15l, eax
    37b72de45mov eax, [rbx]
    37b72de47mov ecx, eax
    37b72de49imul ecx, r15l
    37b72de4dtest eax, eax
    37b72de4fcmovg edx, eax
    37b72de52mov [rsp+184], edx
    37b72de59jmp 0x37b72d8f5
    37b72de5e
    37b72de5e 66 90 f.
    37b72de60
    37b72de60loc_37b72de60:
    37b72de60mov edx, -4
    37b72de65mov eax, 4
    37b72de6ajmp 0x37b72d87f
    37b72de6f
    37b72de6floc_37b72de6f:
    37b72de6fmov [rsp+312], ecx
    37b72de76nop [rax+rax]
    37b72de80
    37b72de80loc_37b72de80:
    37b72de80mov eax, [rdi]
    37b72de82sub eax, [rbx]
    37b72de84mov [rsp+48], rbp
    37b72de89lea rcx, [rsp+312]
    37b72de91mov [rsp+32], r13
    37b72de96mov r9, [rsp+168]
    37b72de9emov rdx, rdi
    37b72dea1lea r8, [rsp+316]
    37b72dea9mov [rsp+316], eax
    37b72deb0mov rax, [rsp+160]
    37b72deb8mov [rsp+40], rax
    37b72debdcall slatrz_
    37b72dec2jmp 0x37b72ddcf
    37b72dec7
    37b72dec7 66 0f 1f 84 00 00 00 00 00 f........
    37b72ded0
    37b72ded0loc_37b72ded0:
    37b72ded0mov eax, [rsi]
    37b72ded2test eax, eax
    37b72ded4je 0x37b72d8a3
    37b72dedajmp 0x37b72d953
    37b72dedf
    37b72dedf 90 .
    37b72dee0
    37b72dee0loc_37b72dee0:
    37b72dee0test ecx, ecx
    37b72dee2jle 0x37b72d8a3
    37b72dee8lea r8, [4*rcx]
    37b72def0mov rcx, [rsp+160]
    37b72def8xor edx, edx
    37b72defaadd rsp, 328
    37b72df01pop rbx
    37b72df02pop rsi
    37b72df03pop rdi
    37b72df04pop rbp
    37b72df05pop r12
    37b72df07pop r13
    37b72df09pop r14
    37b72df0bpop r15
    37b72df0djmp 0x37c430a60
    37b72df12
    37b72df12 66 0f 1f 44 00 00 f..D..
    37b72df18
    37b72df18loc_37b72df18:
    37b72df18cdq
    37b72df19mov [rsp+32], rdi
    37b72df1emov r9, rbx
    37b72df21lea r8, [rip+0xd08628]
    37b72df28idiv ecx
    37b72df2amov [rsp+176], r10l
    37b72df32mov [rsp+64], 1
    37b72df3bmov [rsp+56], 6
    37b72df44lea rdx, [rip+0xd08606]
    37b72df4blea rcx, [rip+0xd0861a]
    37b72df52mov esi, eax
    37b72df54mov r15l, eax
    37b72df57lea rax, [rip+0xd085fe]
    37b72df5emov [rsp+48], rax
    37b72df63mov [rsp+40], rax
    37b72df68call ilaenv_
    37b72df6dmov edx, 2
    37b72df72mov ecx, [rbx]
    37b72df74mov r10l, [rsp+176]
    37b72df7ccmp eax, edx
    37b72df7ecmovl eax, edx
    37b72df81cmp esi, eax
    37b72df83jl 0x37b72ddc0
    37b72df89cmp r10l, esi
    37b72df8cmov r11, r12
    37b72df8fcmovge esi, r10l
    37b72df93not r11
    37b72df96cmp esi, ecx
    37b72df98jl 0x37b72da22
    37b72df9ejmp 0x37b72ddc0
    37b72d810
    37b72dfa3
    37b72dfa3 // align 0x20
    37b72dfc0
    37b72dfc0sstemr_:
    37b72dfc0push r15
    37b72dfc2push r14
    37b72dfc4push r13
    37b72dfc6push r12
    37b72dfc8push rbp
    37b72dfc9push rdi
    37b72dfcapush rsi
    37b72dfcbpush rbx
    37b72dfccsub rsp, 488
    37b72dfd3movups [rsp+464], x6
    37b72dfdbmov rax, [rsp+656]
    37b72dfe3mov r13, [rsp+592]
    37b72dfebmov rbp, [rsp+640]
    37b72dff3mov rdi, [rsp+720]
    37b72dffbmov eax, [rax]
    37b72dffdmov rbx, rdx
    37b72e000mov rsi, r8
    37b72e003lea rdx, [rip+0xd08586]
    37b72e00amov r15, rcx
    37b72e00dmov [rsp+584], r9
    37b72e015mov r8l, 1
    37b72e01bmov r9l, 1
    37b72e021mov [rsp+248], eax
    37b72e028call lsame_
    37b72e02dmov r9l, 1
    37b72e033mov r8l, 1
    37b72e039mov rcx, rbx
    37b72e03clea rdx, [rip+0xd0854e]
    37b72e043mov r12l, eax
    37b72e046call lsame_
    37b72e04bmov r9l, 1
    37b72e051mov r8l, 1
    37b72e057mov rcx, rbx
    37b72e05alea rdx, [rip+0xd0852f]
    37b72e061mov [rsp+224], eax
    37b72e068call lsame_
    37b72e06dmov r9l, 1
    37b72e073mov r8l, 1
    37b72e079mov rcx, rbx
    37b72e07clea rdx, [rip+0xd0850f]
    37b72e083mov [rsp+216], eax
    37b72e08acall lsame_
    37b72e08fmov [rsp+232], eax
    37b72e096mov rax, [rsp+696]
    37b72e09ecmp [rax], -1
    37b72e0a1je 0x37b72e3c0
    37b72e0a7mov rax, [rsp+712]
    37b72e0afcmp [rax], -1
    37b72e0b2sete r14b
    37b72e0b6sete r10b
    37b72e0bamovzx r14l, r14b
    37b72e0be
    37b72e0beloc_37b72e0be:
    37b72e0bemov rax, [rsp+664]
    37b72e0c6mov eax, [rax]
    37b72e0c8mov [rsp+240], eax
    37b72e0cfmov eax, [rsi]
    37b72e0d1mov ecx, eax
    37b72e0d3test r12l, r12l
    37b72e0d6je 0x37b72e1f0
    37b72e0dcmov [rsp+452], 0
    37b72e0e7lea edx, [rax+4*rax]
    37b72e0eamov [rsp+456], 0
    37b72e0f5add edx, edx
    37b72e0f7mov [rsp+320], edx
    37b72e0felea edx, [rax+8*rax]
    37b72e101mov [rsp+372], 0
    37b72e10cadd edx, edx
    37b72e10emov [rsp+400], edx
    37b72e115mov edx, [rsp+216]
    37b72e11cmov [rsp+380], 0
    37b72e127mov [rsp+404], 0
    37b72e132test edx, edx
    37b72e134je 0x37b72e450
    37b72e13amov rcx, [rsp+600]
    37b72e142mov [rdi], 0
    37b72e148movss x0, [rcx]
    37b72e14cmov rcx, [rsp+608]
    37b72e154movss [rsp+452], x0
    37b72e15dmovss x0, [rcx]
    37b72e161movss [rsp+456], x0
    37b72e16atest eax, eax
    37b72e16cjns 0x37b72e7d0
    37b72e172
    37b72e172loc_37b72e172:
    37b72e172mov [rdi], -3
    37b72e178
    37b72e178loc_37b72e178:
    37b72e178mov edx, 12
    37b72e17dlea rcx, [rip+0xd0840f]
    37b72e184call slamch_
    37b72e189mov edx, 9
    37b72e18elea rcx, [rip+0xd0840a]
    37b72e195movss [rsp+436], x0
    37b72e19emovaps x6, x0
    37b72e1a1call slamch_
    37b72e1a6mov eax, [rdi]
    37b72e1a8test eax, eax
    37b72e1aaje 0x37b72e320
    37b72e1b0
    37b72e1b0loc_37b72e1b0:
    37b72e1b0neg eax
    37b72e1b2
    37b72e1b2loc_37b72e1b2:
    37b72e1b2lea rdx, [rsp+460]
    37b72e1bamov r8l, 6
    37b72e1c0lea rcx, [rip+0xd083e3]
    37b72e1c7mov [rsp+460], eax
    37b72e1cecall xerbla_
    37b72e1d3nop
    37b72e1d4
    37b72e1d4loc_37b72e1d4:
    37b72e1d4movups x6, [rsp+464]
    37b72e1dcadd rsp, 488
    37b72e1e3pop rbx
    37b72e1e4pop rsi
    37b72e1e5pop rdi
    37b72e1e6pop rbp
    37b72e1e7pop r12
    37b72e1e9pop r13
    37b72e1ebpop r14
    37b72e1edpop r15
    37b72e1efret
    37b72e1f0
    37b72e1f0loc_37b72e1f0:
    37b72e1f0lea ecx, [8*rax]
    37b72e1f7lea eax, [rax+2*rax]
    37b72e1famov [rsp+452], 0
    37b72e205shl eax, 2
    37b72e208mov [rsp+320], ecx
    37b72e20fmov [rsp+400], eax
    37b72e216mov eax, [rsp+216]
    37b72e21dmov [rsp+456], 0
    37b72e228mov [rsp+372], 0
    37b72e233mov [rsp+380], 0
    37b72e23emov [rsp+404], 0
    37b72e249test eax, eax
    37b72e24bjne 0x37b72e3d8
    37b72e251mov r11l, [rsp+232]
    37b72e259test r11l, r11l
    37b72e25cje 0x37b72e280
    37b72e25emov rax, [rsp+616]
    37b72e266mov eax, [rax]
    37b72e268mov [rsp+372], eax
    37b72e26fmov rax, [rsp+624]
    37b72e277mov eax, [rax]
    37b72e279mov [rsp+380], eax
    37b72e280
    37b72e280loc_37b72e280:
    37b72e280mov [rdi], 0
    37b72e286mov r9l, 1
    37b72e28cmov r8l, 1
    37b72e292mov rcx, r15
    37b72e295lea rdx, [rip+0xd0830c]
    37b72e29cmov [rsp+256], r10b
    37b72e2a4call lsame_
    37b72e2a9movzx r10l, [rsp+256]
    37b72e2b2test eax, eax
    37b72e2b4je 0x37b72e43c
    37b72e2bamov r11l, [rsp+224]
    37b72e2c2test r11l, r11l
    37b72e2c5jne 0x37b72f959
    37b72e2cbmov r9l, [rsp+232]
    37b72e2d3test r9l, r9l
    37b72e2d6je 0x37b72e727
    37b72e2dcmov ecx, [rsi]
    37b72e2de
    37b72e2deloc_37b72e2de:
    37b72e2demov edx, [rsp+372]
    37b72e2e5mov eax, ecx
    37b72e2e7
    37b72e2e7loc_37b72e2e7:
    37b72e2e7test eax, eax
    37b72e2e9js 0x37b72e172
    37b72e2ef
    37b72e2efloc_37b72e2ef:
    37b72e2efcmp eax, edx
    37b72e2f1jl 0x37b72e4b9
    37b72e2f7test edx, edx
    37b72e2f9jle 0x37b72e4b9
    37b72e2ffmov ecx, [rsp+380]
    37b72e306cmp ecx, edx
    37b72e308jl 0x37b72e312
    37b72e30acmp ecx, eax
    37b72e30cjle 0x37b72e7fe
    37b72e312
    37b72e312loc_37b72e312:
    37b72e312mov [rdi], -9
    37b72e318jmp 0x37b72e178
    37b72e31d
    37b72e31d 0f 1f 00 ...
    37b72e320
    37b72e320loc_37b72e320:
    37b72e320lea rax, [rsp+400]
    37b72e328movss [rsp+264], x0
    37b72e331mov rcx, rax
    37b72e334mov [rsp+256], rax
    37b72e33ccall sroundup_lwork_
    37b72e341mov rax, [rsp+688]
    37b72e349mov ecx, [rsp+320]
    37b72e350test r12l, r12l
    37b72e353movss x2, [rsp+264]
    37b72e35cmovss [rax], x0
    37b72e360mov rax, [rsp+704]
    37b72e368mov [rax], ecx
    37b72e36aje 0x37b72e7ac
    37b72e370mov eax, [rsp+224]
    37b72e377test eax, eax
    37b72e379je 0x37b72f2d2
    37b72e37fmov eax, [rsi]
    37b72e381mov [rsp+408], eax
    37b72e388
    37b72e388loc_37b72e388:
    37b72e388cmp [rsp+240], -1
    37b72e390je 0x37b72efb0
    37b72e396mov rax, [rsp+664]
    37b72e39emov ecx, [rsp+408]
    37b72e3a5cmp [rax], ecx
    37b72e3a7jge 0x37b72e4c8
    37b72e3admov [rdi], -14
    37b72e3b3mov eax, 14
    37b72e3b8jmp 0x37b72e1b2
    37b72e3bd
    37b72e3bd 0f 1f 00 ...
    37b72e3c0
    37b72e3c0loc_37b72e3c0:
    37b72e3c0mov r14l, 1
    37b72e3c6mov r10l, 1
    37b72e3ccjmp 0x37b72e0be
    37b72e3d1
    37b72e3d1 0f 1f 80 00 00 00 00 .......
    37b72e3d8
    37b72e3d8loc_37b72e3d8:
    37b72e3d8mov [rdi], 0
    37b72e3demov r9l, 1
    37b72e3e4mov rcx, r15
    37b72e3e7mov rax, [rsp+600]
    37b72e3efmov r8l, 1
    37b72e3f5lea rdx, [rip+0xd081ac]
    37b72e3fcmov [rsp+256], r10b
    37b72e404movss x0, [rax]
    37b72e408mov rax, [rsp+608]
    37b72e410movss [rsp+452], x0
    37b72e419movss x0, [rax]
    37b72e41dmovss [rsp+456], x0
    37b72e426call lsame_
    37b72e42bmovzx r10l, [rsp+256]
    37b72e434test eax, eax
    37b72e436jne 0x37b72e7bc
    37b72e43c
    37b72e43cloc_37b72e43c:
    37b72e43cmov [rdi], -1
    37b72e442jmp 0x37b72e178
    37b72e447
    37b72e447 66 0f 1f 84 00 00 00 00 00 f........
    37b72e450
    37b72e450loc_37b72e450:
    37b72e450mov r9l, [rsp+232]
    37b72e458test r9l, r9l
    37b72e45bje 0x37b72e710
    37b72e461mov r11, [rsp+624]
    37b72e469mov rdx, [rsp+616]
    37b72e471mov [rdi], 0
    37b72e477mov r8l, [r11]
    37b72e47amov edx, [rdx]
    37b72e47cmov [rsp+380], r8l
    37b72e484mov r8l, [rsp+224]
    37b72e48cmov [rsp+372], edx
    37b72e493test r8l, r8l
    37b72e496je 0x37b72e2de
    37b72e49cjmp 0x37b72e2e7
    37b72e4a1
    37b72e4a1 0f 1f 80 00 00 00 00 .......
    37b72e4a8
    37b72e4a8loc_37b72e4a8:
    37b72e4a8mov r8l, [rsp+232]
    37b72e4b0test r8l, r8l
    37b72e4b3je 0x37b72e821
    37b72e4b9
    37b72e4b9loc_37b72e4b9:
    37b72e4b9mov [rdi], -8
    37b72e4bfjmp 0x37b72e178
    37b72e4c4
    37b72e4c4 0f 1f 40 00 ..@.
    37b72e4c8
    37b72e4c8loc_37b72e4c8:
    37b72e4c8mov eax, [rdi]
    37b72e4catest eax, eax
    37b72e4ccjne 0x37b72e1b0
    37b72e4d2test r14l, r14l
    37b72e4d5jne 0x37b72e1d4
    37b72e4dbmov rax, [rsp+632]
    37b72e4e3mov [rax], 0
    37b72e4e9mov eax, [rsi]
    37b72e4ebtest eax, eax
    37b72e4edje 0x37b72e1d4
    37b72e4f3cmp eax, 1
    37b72e4f6je 0x37b72f0da
    37b72e4fcmovsxd r15, [rsp+248]
    37b72e504xor edx, edx
    37b72e506test r15, r15
    37b72e509cmovs r15, rdx
    37b72e50dmov rcx, r15
    37b72e510not rcx
    37b72e513mov [rsp+240], rcx
    37b72e51bcmp eax, 2
    37b72e51ejne 0x37b72e878
    37b72e524mov [rsp+248], eax
    37b72e52btest r12l, r12l
    37b72e52eje 0x37b72f697
    37b72e534lea rdx, [rsp+460]
    37b72e53cmov rax, [rsp+584]
    37b72e544lea r9, [rsp+420]
    37b72e54cmov [rsp+48], rdx
    37b72e551lea rdx, [rsp+364]
    37b72e559mov [rsp+40], rdx
    37b72e55elea rdx, [rsp+424]
    37b72e566lea r8, [rax+4]
    37b72e56amov rcx, rax
    37b72e56dmov [rsp+32], rdx
    37b72e572mov rdx, r13
    37b72e575call slaev2_
    37b72e57amov eax, [rsp+248]
    37b72e581
    37b72e581loc_37b72e581:
    37b72e581movss x0, [rsp+420]
    37b72e58amovss x1, [rsp+424]
    37b72e593comiss x1, x0
    37b72e596jbe 0x37b72e5b6
    37b72e598movss [r13+4], x0
    37b72e59emov r14l, 1
    37b72e5a4movss [rsp+420], x1
    37b72e5admovss [rsp+424], x0
    37b72e5b6
    37b72e5b6loc_37b72e5b6:
    37b72e5b6mov r9l, [rsp+224]
    37b72e5betest r9l, r9l
    37b72e5c1jne 0x37b72efe0
    37b72e5c7mov r8l, [rsp+216]
    37b72e5cftest r8l, r8l
    37b72e5d2jne 0x37b72f453
    37b72e5d8cmp [rsp+372], 1
    37b72e5e0jne 0x37b72e5f1
    37b72e5e2mov edx, [rsp+232]
    37b72e5e9test edx, edx
    37b72e5ebjne 0x37b72efe0
    37b72e5f1
    37b72e5f1loc_37b72e5f1:
    37b72e5f1cmp [rsp+380], 2
    37b72e5f9jne 0x37b72edd5
    37b72e5ffmovss x0, [rsp+420]
    37b72e608mov eax, [rsp+232]
    37b72e60ftest eax, eax
    37b72e611je 0x37b72edd5
    37b72e617
    37b72e617loc_37b72e617:
    37b72e617mov rax, [rsp+632]
    37b72e61fmov rbx, [rsp+632]
    37b72e627movsxd rax, [rax]
    37b72e62alea ecx, [rax+1]
    37b72e62dmovss [rbp+4*rax], x0
    37b72e633mov [rbx], ecx
    37b72e635test r12l, r12l
    37b72e638je 0x37b72f27d
    37b72e63emovss x0, [rsp+460]
    37b72e647movsxd rax, ecx
    37b72e64amovss x1, [rsp+364]
    37b72e653
    37b72e653loc_37b72e653:
    37b72e653imul rax, r15
    37b72e657mov rdi, [rsp+240]
    37b72e65flea rax, [rdi+rax+1]
    37b72e664test r14l, r14l
    37b72e667je 0x37b72f8b1
    37b72e66dmovaps x2, x0
    37b72e670xorps x2, [rip+0xd07f59]
    37b72e677movaps x3, x1
    37b72e67a
    37b72e67aloc_37b72e67a:
    37b72e67amov rdi, [rsp+648]
    37b72e682unpcklps x2, x3
    37b72e685mov edx, [rsp+404]
    37b72e68cmovlps [rdi+4*rax], x2
    37b72e690lea eax, [rcx+rcx-1]
    37b72e694pxor x2, x2
    37b72e698cdqe
    37b72e69asub rax, 1
    37b72e69eucomiss x0, x2
    37b72e6a1jp 0x37b72e6a9
    37b72e6a3je 0x37b72f890
    37b72e6a9
    37b72e6a9loc_37b72e6a9:
    37b72e6a9pxor x0, x0
    37b72e6aducomiss x1, x0
    37b72e6b0jp 0x37b72e6b8
    37b72e6b2je 0x37b72f92b
    37b72e6b8
    37b72e6b8loc_37b72e6b8:
    37b72e6b8mov rcx, [rip+0xd07f21]
    37b72e6bfmov rdi, [rsp+672]
    37b72e6c7mov [rdi+4*rax], rcx
    37b72e6cbcmp edx, 1
    37b72e6cejg 0x37b72edec
    37b72e6d4
    37b72e6d4loc_37b72e6d4:
    37b72e6d4cmp [rsi], 2
    37b72e6d7je 0x37b72edec
    37b72e6ddnop [rax]
    37b72e6e0
    37b72e6e0loc_37b72e6e0:
    37b72e6e0mov rcx, [rsp+256]
    37b72e6e8call sroundup_lwork_
    37b72e6edmov rax, [rsp+688]
    37b72e6f5mov esi, [rsp+320]
    37b72e6fcmovss [rax], x0
    37b72e700mov rax, [rsp+704]
    37b72e708mov [rax], esi
    37b72e70ajmp 0x37b72e1d4
    37b72e70f
    37b72e70f 90 .
    37b72e710
    37b72e710loc_37b72e710:
    37b72e710mov r15l, [rsp+224]
    37b72e718mov [rdi], 0
    37b72e71etest r15l, r15l
    37b72e721jne 0x37b72f4d0
    37b72e727
    37b72e727loc_37b72e727:
    37b72e727mov [rdi], -2
    37b72e72dmov edx, 12
    37b72e732lea rcx, [rip+0xd07e5a]
    37b72e739call slamch_
    37b72e73emov edx, 9
    37b72e743lea rcx, [rip+0xd07e55]
    37b72e74amovss [rsp+436], x0
    37b72e753movaps x6, x0
    37b72e756call slamch_
    37b72e75bmov eax, [rdi]
    37b72e75dtest eax, eax
    37b72e75fjne 0x37b72e1b0
    37b72e765lea rax, [rsp+400]
    37b72e76dmovss [rsp+264], x0
    37b72e776mov rcx, rax
    37b72e779mov [rsp+256], rax
    37b72e781call sroundup_lwork_
    37b72e786mov rax, [rsp+688]
    37b72e78emov ecx, [rsp+320]
    37b72e795movss x2, [rsp+264]
    37b72e79emovss [rax], x0
    37b72e7a2mov rax, [rsp+704]
    37b72e7aamov [rax], ecx
    37b72e7ac
    37b72e7acloc_37b72e7ac:
    37b72e7acmov [rsp+408], 0
    37b72e7b7jmp 0x37b72e388
    37b72e7bc
    37b72e7bcloc_37b72e7bc:
    37b72e7bcmov eax, [rsi]
    37b72e7betest eax, eax
    37b72e7c0js 0x37b72e172
    37b72e7c6nop [rax+rax]
    37b72e7d0
    37b72e7d0loc_37b72e7d0:
    37b72e7d0test eax, eax
    37b72e7d2je 0x37b72e4a8
    37b72e7d8movss x0, [rsp+452]
    37b72e7e1comiss x0, [rsp+456]
    37b72e7e9jae 0x37b72f30f
    37b72e7ef
    37b72e7efloc_37b72e7ef:
    37b72e7efmov edx, [rsp+232]
    37b72e7f6test edx, edx
    37b72e7f8jne 0x37b72f8bc
    37b72e7fe
    37b72e7feloc_37b72e7fe:
    37b72e7femov rcx, [rsp+656]
    37b72e806mov edx, [rcx]
    37b72e808test edx, edx
    37b72e80ajle 0x37b72e816
    37b72e80ccmp edx, eax
    37b72e80ejge 0x37b72e82f
    37b72e810test r12b, 1
    37b72e814je 0x37b72e82f
    37b72e816
    37b72e816loc_37b72e816:
    37b72e816mov [rdi], -13
    37b72e81cjmp 0x37b72e178
    37b72e821
    37b72e821loc_37b72e821:
    37b72e821mov rax, [rsp+656]
    37b72e829mov ecx, [rax]
    37b72e82btest ecx, ecx
    37b72e82djle 0x37b72e816
    37b72e82f
    37b72e82floc_37b72e82f:
    37b72e82fmov rax, [rsp+696]
    37b72e837mov ecx, [rsp+400]
    37b72e83ecmp [rax], ecx
    37b72e840jl 0x37b72f43f
    37b72e846mov rax, [rsp+712]
    37b72e84emov ecx, [rsp+320]
    37b72e855cmp [rax], ecx
    37b72e857jge 0x37b72e178
    37b72e85dtest r10b, r10b
    37b72e860jne 0x37b72e178
    37b72e866mov [rdi], -19
    37b72e86cjmp 0x37b72e178
    37b72e871
    37b72e871 0f 1f 80 00 00 00 00 .......
    37b72e878
    37b72e878loc_37b72e878:
    37b72e878movaps x4, x6
    37b72e87blea ecx, [rax+rax]
    37b72e87elea edx, [4*rax]
    37b72e885mov r9, r13
    37b72e888divss x4, x2
    37b72e88cmov [rsp+324], ecx
    37b72e893mov r8, [rsp+584]
    37b72e89badd ecx, eax
    37b72e89dmov [rsp+32], 1
    37b72e8a6mov [rsp+232], ecx
    37b72e8admov [rsp+264], eax
    37b72e8b4lea eax, [rcx+rcx]
    37b72e8b7lea rcx, [rip+0xd07cf2]
    37b72e8bemov [rsp+224], edx
    37b72e8c5mov rdx, rsi
    37b72e8c8mov [rsp+248], eax
    37b72e8cfmovss [rsp+280], x2
    37b72e8d8mov [rsp+440], 0x3f800000
    37b72e8e3movss [rsp+272], x4
    37b72e8eccall slanst_
    37b72e8f1pxor x1, x1
    37b72e8f5mov eax, [rsp+264]
    37b72e8fcmovss x4, [rsp+272]
    37b72e905movss x2, [rsp+280]
    37b72e90ecomiss x0, x1
    37b72e911movss [rsp+448], x0
    37b72e91ajbe 0x37b72ef70
    37b72e920movaps x1, x4
    37b72e923sqrtss x1, x1
    37b72e927comiss x1, x0
    37b72e92ajbe 0x37b72ef70
    37b72e930
    37b72e930loc_37b72e930:
    37b72e930divss x1, x0
    37b72e934ucomiss x1, [rip+0xd07c81]
    37b72e93bmovss [rsp+440], x1
    37b72e944jp 0x37b72e94c
    37b72e946je 0x37b72ea20
    37b72e94c
    37b72e94cloc_37b72e94c:
    37b72e94cmov r8, [rsp+584]
    37b72e954lea r9, [rip+0xd07c59]
    37b72e95bmov rcx, rsi
    37b72e95elea rdx, [rsp+440]
    37b72e966movss [rsp+280], x0
    37b72e96fmovss [rsp+272], x2
    37b72e978mov [rsp+264], eax
    37b72e97fcall sscal_
    37b72e984mov eax, [rsi]
    37b72e986lea rcx, [rsp+460]
    37b72e98emov r8, r13
    37b72e991lea r9, [rip+0xd07c1c]
    37b72e998lea edx, [rax-1]
    37b72e99bmov [rsp+460], edx
    37b72e9a2lea rdx, [rsp+440]
    37b72e9aacall sscal_
    37b72e9afmov r14l, [rsp+216]
    37b72e9b7movss x1, [rsp+440]
    37b72e9c0movss x0, [rsp+280]
    37b72e9c9mov eax, [rsp+264]
    37b72e9d0movss x2, [rsp+272]
    37b72e9d9test r14l, r14l
    37b72e9dcmulss x0, x1
    37b72e9e0movss [rsp+448], x0
    37b72e9e9je 0x37b72ea20
    37b72e9ebmovss x0, [rsp+452]
    37b72e9f4mulss x0, x1
    37b72e9f8mulss x1, [rsp+456]
    37b72ea01movss [rsp+452], x0
    37b72ea0amovss [rsp+456], x1
    37b72ea13nop
    37b72ea15nop [rax+rax]
    37b72ea20
    37b72ea20loc_37b72ea20:
    37b72ea20mov rcx, [rsp+680]
    37b72ea28mov r11l, [rcx]
    37b72ea2btest r11l, r11l
    37b72ea2ejne 0x37b72f181
    37b72ea34lea rcx, [rsp+376]
    37b72ea3cmov [rsp+376], -1
    37b72ea47mov [rsp+216], rcx
    37b72ea4f
    37b72ea4floc_37b72ea4f:
    37b72ea4fmov rcx, [rsp+680]
    37b72ea57movaps x0, x2
    37b72ea5axorps x0, [rip+0xd07b6f]
    37b72ea61mov [rcx], 0
    37b72ea67movss [rsp+444], x0
    37b72ea70
    37b72ea70loc_37b72ea70:
    37b72ea70mov r10l, [rsi]
    37b72ea73cmp r10l, 1
    37b72ea77jle 0x37b72f923
    37b72ea7dlea edx, [r10-2]
    37b72ea81cmp edx, 2
    37b72ea84jbe 0x37b72f94c
    37b72ea8alea ecx, [r10-1]
    37b72ea8emov r11, [rsp+688]
    37b72ea96movsxd r14, eax
    37b72ea99mov r8l, ecx
    37b72ea9clea rdx, [r14+4*r14]
    37b72eaa0shr r8l, 2
    37b72eaa4lea r9, [r11+4*rdx]
    37b72eaa8xor edx, edx
    37b72eaaashl r8, 4
    37b72eaaenop [rax]
    37b72eab5nop [rax+rax]
    37b72eac0
    37b72eac0loc_37b72eac0:
    37b72eac0movups x0, [r13+rdx]
    37b72eac6mulps x0, x0
    37b72eac9movups [r9+rdx], x0
    37b72eaceadd rdx, 16
    37b72ead2cmp r8, rdx
    37b72ead5jne 0x37b72eac0
    37b72ead7test cl, 3
    37b72eadaje 0x37b72eb0f
    37b72eadcand ecx, -4
    37b72eadflea edx, [rcx+1]
    37b72eae2
    37b72eae2loc_37b72eae2:
    37b72eae2mov r11, [rsp+688]
    37b72eaealea rcx, [r14+4*r14]
    37b72eaeemovsxd rdx, edx
    37b72eaf1lea rcx, [r11+4*rcx]
    37b72eaf5
    37b72eaf5loc_37b72eaf5:
    37b72eaf5movss x1, [r13+4*rdx-4]
    37b72eafcmulss x1, x1
    37b72eb00movss [rcx+4*rdx-4], x1
    37b72eb06add rdx, 1
    37b72eb0acmp r10l, edx
    37b72eb0djg 0x37b72eaf5
    37b72eb0f
    37b72eb0floc_37b72eb0f:
    37b72eb0fmovss x6, [rip+0xd07ad9]
    37b72eb17mulss x6, x2
    37b72eb1btest r12l, r12l
    37b72eb1ejne 0x37b72f159
    37b72eb24movaps x0, x6
    37b72eb27movaps x1, x6
    37b72eb2a
    37b72eb2aloc_37b72eb2a:
    37b72eb2amovsxd r10, [rsp+232]
    37b72eb32mov r11, r14
    37b72eb35mov [rsp+280], eax
    37b72eb3clea r8, [rsp+456]
    37b72eb44mov rax, [rsp+704]
    37b72eb4cmovsxd rdx, [rsp+248]
    37b72eb54neg r11
    37b72eb57mov [rsp+232], r8
    37b72eb5fmov rcx, [rsp+688]
    37b72eb67shl r10, 2
    37b72eb6bshl r11, 2
    37b72eb6flea r8, [rsp+452]
    37b72eb77add rax, r10
    37b72eb7amov [rsp+120], rbp
    37b72eb7fadd r10, [rsp+688]
    37b72eb87lea rdx, [rcx+4*rdx]
    37b72eb8bmov [rsp+288], rax
    37b72eb93lea rcx, [rax+r11]
    37b72eb97mov [rsp+184], rax
    37b72eb9flea rax, [rsp+416]
    37b72eba7lea r9, [rcx+r11]
    37b72ebabadd r11, r10
    37b72ebaemov [rsp+304], rax
    37b72ebb6mov [rsp+168], rax
    37b72ebbemov rax, [rsp+688]
    37b72ebc6mov [rsp+248], r8
    37b72ebcemov r8, [rsp+216]
    37b72ebd6mov [rsp+160], rax
    37b72ebdemov rax, [rsp+632]
    37b72ebe6mov [rsp+296], rdx
    37b72ebeemov [rsp+112], rax
    37b72ebf3mov rax, [rsp+704]
    37b72ebfbmov [rsp+176], rdx
    37b72ec03lea rdx, [rsp+404]
    37b72ec0bmov [rsp+136], r10
    37b72ec13mov [rsp+272], r10
    37b72ec1bmov [rsp+128], r11
    37b72ec23mov [rsp+336], rcx
    37b72ec2bmov [rsp+328], r9
    37b72ec33mov [rsp+192], r8
    37b72ec3bmov [rsp+152], rcx
    37b72ec43mov rcx, rbx
    37b72ec46mov [rsp+144], r9
    37b72ec4emovss [rsp+432], x0
    37b72ec57movss [rsp+428], x1
    37b72ec60mov [rsp+200], 1
    37b72ec6cmov [rsp+104], rax
    37b72ec71lea rax, [rsp+432]
    37b72ec79mov r9, [rsp+232]
    37b72ec81mov [rsp+96], rdx
    37b72ec86lea rdx, [rsp+444]
    37b72ec8emov r8, [rsp+248]
    37b72ec96mov [rsp+88], rdx
    37b72ec9blea rdx, [r14+2*r14]
    37b72ec9flea rdx, [r11+4*rdx]
    37b72eca3mov [rsp+312], rax
    37b72ecabmov [rsp+80], rax
    37b72ecb0lea rax, [rsp+428]
    37b72ecb8mov [rsp+344], rax
    37b72ecc0mov [rsp+72], rax
    37b72ecc5mov rax, [rsp+584]
    37b72eccdmov [rsp+64], rdx
    37b72ecd2lea rdx, [rsp+380]
    37b72ecdamov [rsp+40], rdx
    37b72ecdflea rdx, [rsp+372]
    37b72ece7mov [rsp+48], rax
    37b72ececmov [rsp+32], rdx
    37b72ecf1mov rdx, rsi
    37b72ecf4mov [rsp+56], r13
    37b72ecf9mov [rsp+264], r11
    37b72ed01call slarre_
    37b72ed06mov edx, [rsp+376]
    37b72ed0dmov r11, [rsp+264]
    37b72ed15mov r10, [rsp+272]
    37b72ed1dmov eax, [rsp+280]
    37b72ed24test edx, edx
    37b72ed26jne 0x37b72f6cf
    37b72ed2ctest r12l, r12l
    37b72ed2fjne 0x37b72f738
    37b72ed35mov rbx, [rsp+632]
    37b72ed3dmov r8l, [rbx]
    37b72ed40test r8l, r8l
    37b72ed43jle 0x37b72eda5
    37b72ed45mov r9, [rsp+328]
    37b72ed4dmov r10, [rsp+704]
    37b72ed55xor edx, edx
    37b72ed57nop [rax+rax]
    37b72ed5fnop [rax+rax]
    37b72ed6anop [rax+rax]
    37b72ed75nop [rax+rax]
    37b72ed80
    37b72ed80loc_37b72ed80:
    37b72ed80movsxd rcx, [r9+4*rdx]
    37b72ed84movss x0, [rbp+4*rdx]
    37b72ed8amovsxd rcx, [r10+4*rcx-4]
    37b72ed8faddss x0, [r13+4*rcx-4]
    37b72ed96movss [rbp+4*rdx], x0
    37b72ed9cadd rdx, 1
    37b72eda0cmp r8, rdx
    37b72eda3jne 0x37b72ed80
    37b72eda5
    37b72eda5loc_37b72eda5:
    37b72eda5mov rbx, [rsp+680]
    37b72edadmov r8l, [rbx]
    37b72edb0test r8l, r8l
    37b72edb3jne 0x37b72f31a
    37b72edb9
    37b72edb9loc_37b72edb9:
    37b72edb9movss x1, [rsp+440]
    37b72edc2ucomiss x1, [rip+0xd077f3]
    37b72edc9jp 0x37b72f8ea
    37b72edcfjne 0x37b72f8ea
    37b72edd5
    37b72edd5loc_37b72edd5:
    37b72edd5cmp [rsp+404], 1
    37b72edddjle 0x37b72f6e0
    37b72ede3
    37b72ede3loc_37b72ede3:
    37b72ede3test r12l, r12l
    37b72ede6je 0x37b72f290
    37b72edec
    37b72edecloc_37b72edec:
    37b72edecmov rax, [rsp+632]
    37b72edf4mov r8l, [rax]
    37b72edf7cmp r8l, 1
    37b72edfbjle 0x37b72e6e0
    37b72ee01mov r9, [rsp+648]
    37b72ee09mov [rsp+576], rsi
    37b72ee11lea rax, [4*r15]
    37b72ee19lea r14l, [r8+1]
    37b72ee1dmov r10, [rsp+632]
    37b72ee25mov rsi, [rsp+672]
    37b72ee2dmov [rsp+224], r15
    37b72ee35mov r13, -8
    37b72ee3cmov r12l, 4
    37b72ee42mov edi, 2
    37b72ee47mov r15, r9
    37b72ee4anop [rax+rax]
    37b72ee50
    37b72ee50loc_37b72ee50:
    37b72ee50cmp r8l, edi
    37b72ee53jl 0x37b72ef4f
    37b72ee59movss x2, [rbp+r12-4]
    37b72ee60lea rcx, [r13+r12]
    37b72ee65mov rdx, rdi
    37b72ee68xor ebx, ebx
    37b72ee6aadd rcx, rbp
    37b72ee6dmovaps x0, x2
    37b72ee70nop [rax+rax]
    37b72ee75nop [rax+rax]
    37b72ee80
    37b72ee80loc_37b72ee80:
    37b72ee80movss x1, [rcx+4*rdx]
    37b72ee85comiss x0, x1
    37b72ee88minss x1, x0
    37b72ee8ccmova ebx, edx
    37b72ee8fadd rdx, 1
    37b72ee93movaps x0, x1
    37b72ee96cmp r8l, edx
    37b72ee99jge 0x37b72ee80
    37b72ee9btest ebx, ebx
    37b72ee9dje 0x37b72ef4f
    37b72eea3movsxd rdx, ebx
    37b72eea6mov [rsp+216], rax
    37b72eeaemov r9, r15
    37b72eeb1add ebx, ebx
    37b72eeb3movss [rbp+4*rdx-4], x2
    37b72eeb9mov rax, [rsp+240]
    37b72eec1imul rdx, [rsp+224]
    37b72eecamovss [rbp+r12-4], x1
    37b72eed1mov rcx, [rsp+576]
    37b72eed9mov [rsp+632], r10
    37b72eee1lea rdx, [rax+rdx+1]
    37b72eee6mov rax, [rsp+648]
    37b72eeeelea rdx, [rax+4*rdx]
    37b72eef2lea rax, [rip+0xd076bb]
    37b72eef9mov [rsp+32], rax
    37b72eefemov r8, rax
    37b72ef01call sswap_
    37b72ef06lea edx, [rdi+rdi]
    37b72ef09lea r8l, [rbx-2]
    37b72ef0dsub ebx, 1
    37b72ef10lea ecx, [rdx-4]
    37b72ef13movsxd r8, r8l
    37b72ef16sub edx, 3
    37b72ef19movsxd rbx, ebx
    37b72ef1cmovsxd rcx, ecx
    37b72ef1fmov r11l, [rsi+4*r8]
    37b72ef23movsxd rdx, edx
    37b72ef26mov r10, [rsp+632]
    37b72ef2emov eax, [rsi+4*rcx]
    37b72ef31mov [rsi+4*r8], eax
    37b72ef35mov rax, [rsp+216]
    37b72ef3dmov [rsi+4*rcx], r11l
    37b72ef41mov ecx, [rsi+4*rbx]
    37b72ef44mov r8l, [rsi+4*rdx]
    37b72ef48mov [rsi+4*rbx], r8l
    37b72ef4cmov [rsi+4*rdx], ecx
    37b72ef4f
    37b72ef4floc_37b72ef4f:
    37b72ef4fadd rdi, 1
    37b72ef53cmp rdi, r14
    37b72ef56je 0x37b72e6e0
    37b72ef5cmov r8l, [r10]
    37b72ef5fadd r15, rax
    37b72ef62sub r13, 4
    37b72ef66add r12, 4
    37b72ef6ajmp 0x37b72ee50
    37b72ef6f
    37b72ef6f 90 .
    37b72ef70
    37b72ef70loc_37b72ef70:
    37b72ef70sqrtss x6, x6
    37b72ef74movss x3, [rip+0xd07640]
    37b72ef7cmovss x1, [rip+0xd07638]
    37b72ef84divss x3, x4
    37b72ef88sqrtss x6, x6
    37b72ef8cdivss x1, x6
    37b72ef90sqrtss x3, x3
    37b72ef94minss x1, x3
    37b72ef98comiss x0, x1
    37b72ef9bjbe 0x37b72ea20
    37b72efa1jmp 0x37b72e930
    37b72efa6
    37b72efa6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72efb0
    37b72efb0loc_37b72efb0:
    37b72efb0mov eax, [rdi]
    37b72efb2test eax, eax
    37b72efb4jne 0x37b72e1b0
    37b72efbapxor x0, x0
    37b72efbemov rax, [rsp+648]
    37b72efc6cvtsi2ss x0, [rsp+408]
    37b72efcfmovss [rax], x0
    37b72efd3jmp 0x37b72e1d4
    37b72efd8
    37b72efd8 0f 1f 84 00 00 00 00 00 ........
    37b72efe0
    37b72efe0loc_37b72efe0:
    37b72efe0mov rbx, [rsp+632]
    37b72efe8movss x0, [rsp+424]
    37b72eff1movsxd r9, [rbx]
    37b72eff4lea edx, [r9+1]
    37b72eff8mov rcx, r9
    37b72effbmovss [rbp+4*r9], x0
    37b72f002mov [rbx], edx
    37b72f004movsxd r8, edx
    37b72f007test r12l, r12l
    37b72f00aje 0x37b72f251
    37b72f010
    37b72f010loc_37b72f010:
    37b72f010mov r9, r8
    37b72f013mov rbx, [rsp+240]
    37b72f01bmovss x0, [rsp+460]
    37b72f024movss x1, [rsp+364]
    37b72f02dimul r9, r15
    37b72f031lea r9, [rbx+r9+1]
    37b72f036test r14l, r14l
    37b72f039jne 0x37b72f4e0
    37b72f03fmovaps x2, x0
    37b72f042xorps x2, [rip+0xd07587]
    37b72f049movaps x3, x1
    37b72f04c
    37b72f04cloc_37b72f04c:
    37b72f04cmov rbx, [rsp+648]
    37b72f054add edx, edx
    37b72f056unpcklps x2, x3
    37b72f059movlps [rbx+4*r9], x2
    37b72f05elea r9l, [rdx-1]
    37b72f062pxor x2, x2
    37b72f066movsxd rdx, edx
    37b72f069movsxd r9, r9l
    37b72f06csub rdx, 1
    37b72f070sub r9, 1
    37b72f074ucomiss x0, x2
    37b72f077jp 0x37b72f081
    37b72f079mov r10l, 2
    37b72f07fje 0x37b72f097
    37b72f081
    37b72f081loc_37b72f081:
    37b72f081pxor x2, x2
    37b72f085mov r10l, 1
    37b72f08bucomiss x1, x2
    37b72f08ejp 0x37b72f097
    37b72f090jne 0x37b72f097
    37b72f092mov eax, 1
    37b72f097
    37b72f097loc_37b72f097:
    37b72f097mov rbx, [rsp+672]
    37b72f09fmov [rbx+4*r9], r10l
    37b72f0a3mov [rbx+4*rdx], eax
    37b72f0a6mov eax, [rsp+224]
    37b72f0adtest eax, eax
    37b72f0afje 0x37b72f6ee
    37b72f0b5mov rax, [rsp+632]
    37b72f0bdadd ecx, 2
    37b72f0c0movss x2, [rsp+420]
    37b72f0c9mov [rax], ecx
    37b72f0cbmovsxd rax, ecx
    37b72f0cemovss [rbp+4*r8], x2
    37b72f0d5jmp 0x37b72e653
    37b72f0da
    37b72f0daloc_37b72f0da:
    37b72f0damov rax, [rsp+584]
    37b72f0e2mov r11l, [rsp+224]
    37b72f0eamovss x0, [rax]
    37b72f0eetest r11l, r11l
    37b72f0f1jne 0x37b72f118
    37b72f0f3mov r10l, [rsp+232]
    37b72f0fbtest r10l, r10l
    37b72f0fejne 0x37b72f118
    37b72f100comiss x0, [rsp+452]
    37b72f108jbe 0x37b72f12b
    37b72f10amovss x1, [rsp+456]
    37b72f113comiss x1, x0
    37b72f116jb 0x37b72f12b
    37b72f118
    37b72f118loc_37b72f118:
    37b72f118mov rax, [rsp+632]
    37b72f120movss [rbp], x0
    37b72f125mov [rax], 1
    37b72f12b
    37b72f12bloc_37b72f12b:
    37b72f12btest r12l, r12l
    37b72f12eje 0x37b72e1d4
    37b72f134mov rax, [rsp+648]
    37b72f13cmov rsi, [rsp+672]
    37b72f144mov [rax], 0x3f800000
    37b72f14amov rax, [rip+0xd0746f]
    37b72f151mov [rsi], rax
    37b72f154jmp 0x37b72e1d4
    37b72f159
    37b72f159loc_37b72f159:
    37b72f159sqrtss x2, x2
    37b72f15dmovss x1, [rip+0xd0748f]
    37b72f165mulss x1, x2
    37b72f169movaps x0, x2
    37b72f16cmulss x0, [rip+0xd07484]
    37b72f174maxss x1, x6
    37b72f178maxss x0, x6
    37b72f17cjmp 0x37b72eb2a
    37b72f181
    37b72f181loc_37b72f181:
    37b72f181mov [rsp+264], eax
    37b72f188mov rdx, [rsp+584]
    37b72f190mov r8, r13
    37b72f193mov rcx, rsi
    37b72f196lea rax, [rsp+376]
    37b72f19emovss [rsp+272], x2
    37b72f1a7mov r9, rax
    37b72f1aamov [rsp+216], rax
    37b72f1b2call slarrr_
    37b72f1b7mov r10l, [rsp+376]
    37b72f1bfmov eax, [rsp+264]
    37b72f1c6movss x2, [rsp+272]
    37b72f1cftest r10l, r10l
    37b72f1d2jne 0x37b72ea4f
    37b72f1d8mov rcx, [rsp+680]
    37b72f1e0movss [rsp+444], x2
    37b72f1e9mov r9l, [rcx]
    37b72f1ectest r9l, r9l
    37b72f1efje 0x37b72ea70
    37b72f1f5mov [rsp+264], eax
    37b72f1fclea rax, [rip+0xd073b1]
    37b72f203lea r8, [rip+0xd073aa]
    37b72f20amov rcx, rsi
    37b72f20dmovsxd rdx, [rsp+224]
    37b72f215mov [rsp+32], rax
    37b72f21amov rax, [rsp+688]
    37b72f222movss [rsp+272], x2
    37b72f22blea r9, [rax+4*rdx]
    37b72f22fmov rdx, [rsp+584]
    37b72f237call scopy_
    37b72f23cmov eax, [rsp+264]
    37b72f243movss x2, [rsp+272]
    37b72f24cjmp 0x37b72ea70
    37b72f251
    37b72f251loc_37b72f251:
    37b72f251mov edx, [rsp+224]
    37b72f258test edx, edx
    37b72f25aje 0x37b72f6ee
    37b72f260mov rax, [rsp+632]
    37b72f268add ecx, 2
    37b72f26bmovss x0, [rsp+420]
    37b72f274mov [rax], ecx
    37b72f276movss [rbp+4*r8], x0
    37b72f27d
    37b72f27dloc_37b72f27d:
    37b72f27dcmp [rsp+404], 1
    37b72f285jg 0x37b72f290
    37b72f287cmp [rsi], 2
    37b72f28ajne 0x37b72e6e0
    37b72f290
    37b72f290loc_37b72f290:
    37b72f290mov [rsp+32], 1
    37b72f299mov rdx, [rsp+632]
    37b72f2a1mov r8, rbp
    37b72f2a4lea rcx, [rip+0xd072e7]
    37b72f2ablea r9, [rsp+376]
    37b72f2b3call slasrt_
    37b72f2b8mov ecx, [rsp+376]
    37b72f2bftest ecx, ecx
    37b72f2c1je 0x37b72e6e0
    37b72f2c7mov [rdi], 3
    37b72f2cdjmp 0x37b72e1d4
    37b72f2d2
    37b72f2d2loc_37b72f2d2:
    37b72f2d2mov eax, [rsp+216]
    37b72f2d9test eax, eax
    37b72f2dbjne 0x37b72f60d
    37b72f2e1mov r15l, [rsp+232]
    37b72f2e9test r15l, r15l
    37b72f2ecje 0x37b72e7ac
    37b72f2f2mov eax, [rsp+380]
    37b72f2f9sub eax, [rsp+372]
    37b72f300add eax, 1
    37b72f303mov [rsp+408], eax
    37b72f30ajmp 0x37b72e388
    37b72f30f
    37b72f30floc_37b72f30f:
    37b72f30fmov [rdi], -7
    37b72f315jmp 0x37b72e178
    37b72f31a
    37b72f31aloc_37b72f31a:
    37b72f31amov rbx, [rsp+632]
    37b72f322mov edx, [rbx]
    37b72f324mov rbx, [rsp+704]
    37b72f32clea ecx, [rax+rdx]
    37b72f32fmovsxd rcx, ecx
    37b72f332mov r10l, [rbx+4*rcx-4]
    37b72f337test r10l, r10l
    37b72f33ajle 0x37b72edb9
    37b72f340mov ebx, [rsp+224]
    37b72f347mov [rsp+576], rsi
    37b72f34fmov r13l, 1
    37b72f355mov r8l, 1
    37b72f35bmov [rsp+280], r15
    37b72f363mov r15, [rsp+688]
    37b72f36bmov r9l, 1
    37b72f371lea eax, [rax+rbx+1]
    37b72f375mov [rsp+640], rbp
    37b72f37dmov rbp, [rsp+632]
    37b72f385mov [rsp+248], eax
    37b72f38cmov rax, [rsp+704]
    37b72f394mov [rsp+720], rdi
    37b72f39cmov rdi, [rsp+704]
    37b72f3a4lea r11, [rax-4]
    37b72f3a8lea rax, [rsp+368]
    37b72f3b0mov [rsp+328], r12l
    37b72f3b8mov r12l, r10l
    37b72f3bbmov [rsp+264], rax
    37b72f3c3lea rax, [rsp+388]
    37b72f3cbmov [rsp+272], rax
    37b72f3d3nop
    37b72f3d5nop [rax+rax]
    37b72f3e0
    37b72f3e0loc_37b72f3e0:
    37b72f3e0mov esi, [rdi+4*r13-4]
    37b72f3e5lea ecx, [r8-1]
    37b72f3e9mov eax, esi
    37b72f3ebsub eax, r9l
    37b72f3eeadd eax, 1
    37b72f3f1mov [rsp+388], eax
    37b72f3f8cmp ecx, edx
    37b72f3fajge 0x37b72f429
    37b72f3fcmovsxd rax, r8l
    37b72f3ffmov ebx, ecx
    37b72f401add rax, r14
    37b72f404lea rax, [r11+4*rax]
    37b72f408jmp 0x37b72f41b
    37b72f40a
    37b72f40a 66 0f 1f 44 00 00 f..D..
    37b72f410
    37b72f410loc_37b72f410:
    37b72f410add ebx, 1
    37b72f413add rax, 4
    37b72f417cmp ebx, edx
    37b72f419je 0x37b72f420
    37b72f41b
    37b72f41bloc_37b72f41b:
    37b72f41bcmp [rax], r13l
    37b72f41eje 0x37b72f410
    37b72f420
    37b72f420loc_37b72f420:
    37b72f420cmp r8l, ebx
    37b72f423jle 0x37b72f4f0
    37b72f429
    37b72f429loc_37b72f429:
    37b72f429lea r9l, [rsi+1]
    37b72f42d
    37b72f42dloc_37b72f42d:
    37b72f42dadd r13, 1
    37b72f431cmp r12l, r13l
    37b72f434jl 0x37b72f70b
    37b72f43amov edx, [rbp]
    37b72f43djmp 0x37b72f3e0
    37b72f43f
    37b72f43floc_37b72f43f:
    37b72f43ftest r14l, r14l
    37b72f442jne 0x37b72e178
    37b72f448mov [rdi], -17
    37b72f44ejmp 0x37b72e178
    37b72f453
    37b72f453loc_37b72f453:
    37b72f453movss x0, [rsp+424]
    37b72f45cmovss x1, [rsp+452]
    37b72f465comiss x0, x1
    37b72f468jbe 0x37b72f8c8
    37b72f46emovss x2, [rsp+456]
    37b72f477comiss x2, x0
    37b72f47ajb 0x37b72f8c8
    37b72f480
    37b72f480loc_37b72f480:
    37b72f480mov rbx, [rsp+632]
    37b72f488movsxd r8, [rbx]
    37b72f48blea edx, [r8+1]
    37b72f48fmov rcx, r8
    37b72f492movss [rbp+4*r8], x0
    37b72f499mov [rbx], edx
    37b72f49bmovsxd r8, edx
    37b72f49etest r12l, r12l
    37b72f4a1jne 0x37b72f010
    37b72f4a7
    37b72f4a7loc_37b72f4a7:
    37b72f4a7movss x0, [rsp+420]
    37b72f4b0comiss x0, x1
    37b72f4b3jbe 0x37b72e5f1
    37b72f4b9movss x1, [rsp+456]
    37b72f4c2comiss x1, x0
    37b72f4c5jae 0x37b72e617
    37b72f4cbjmp 0x37b72e5f1
    37b72f4d0
    37b72f4d0loc_37b72f4d0:
    37b72f4d0test eax, eax
    37b72f4d2jns 0x37b72e7fe
    37b72f4d8jmp 0x37b72e172
    37b72f4dd
    37b72f4dd 0f 1f 00 ...
    37b72f4e0
    37b72f4e0loc_37b72f4e0:
    37b72f4e0movaps x2, x1
    37b72f4e3movaps x3, x0
    37b72f4e6jmp 0x37b72f04c
    37b72f4eb
    37b72f4eb 0f 1f 44 00 00 ..D..
    37b72f4f0
    37b72f4f0loc_37b72f4f0:
    37b72f4f0mov [rsp+232], r11
    37b72f4f8movsxd rcx, ecx
    37b72f4fbmov r11l, [rsp+324]
    37b72f503movss [rsp+432], x6
    37b72f50cadd r8l, r11l
    37b72f50fmovsxd r8, r8l
    37b72f512sub r8, 1
    37b72f516mov eax, [rdi+4*r8]
    37b72f51alea r8, [r15+4*r8]
    37b72f51elea edx, [rax-1]
    37b72f521mov [rsp+368], eax
    37b72f528lea eax, [rbx+r11]
    37b72f52cmov r11, [rsp+216]
    37b72f534cdqe
    37b72f536mov [rsp+412], edx
    37b72f53dmov edx, [rsp+224]
    37b72f544mov eax, [rdi+4*rax-4]
    37b72f548mov [rsp+104], r11
    37b72f54dmov r11, [rsp+304]
    37b72f555add edx, r9l
    37b72f558mov [rsp+64], r8
    37b72f55dmov [rsp+384], eax
    37b72f564mov eax, [rsp+248]
    37b72f56bmovsxd rdx, edx
    37b72f56emov [rsp+88], r11
    37b72f573mov r11, [rsp+288]
    37b72f57blea rdx, [r15+4*rdx-4]
    37b72f580lea eax, [r9+rax-1]
    37b72f585lea r9, [rsp+448]
    37b72f58dmov [rsp+80], r11
    37b72f592mov r11, [rsp+296]
    37b72f59acdqe
    37b72f59cmov [rsp+96], r9
    37b72f5a1mov r9, [rsp+264]
    37b72f5a9lea r8, [r15+4*rax-4]
    37b72f5aemov [rsp+72], r11
    37b72f5b3mov r11, [rsp+640]
    37b72f5bblea rcx, [r11+4*rcx]
    37b72f5bfmov [rsp+56], rcx
    37b72f5c4lea rcx, [rsp+412]
    37b72f5ccmov [rsp+48], rcx
    37b72f5d1mov rcx, [rsp+312]
    37b72f5d9mov [rsp+40], rcx
    37b72f5delea rcx, [rsp+384]
    37b72f5e6mov [rsp+32], rcx
    37b72f5ebmov rcx, [rsp+272]
    37b72f5f3call slarrj_
    37b72f5f8lea r8l, [rbx+1]
    37b72f5fclea r9l, [rsi+1]
    37b72f600mov r11, [rsp+232]
    37b72f608jmp 0x37b72f42d
    37b72f60d
    37b72f60dloc_37b72f60d:
    37b72f60dlea rax, [rsp+396]
    37b72f615mov [rsp+80], rdi
    37b72f61amov rdx, rsi
    37b72f61dmov r9, [rsp+608]
    37b72f625mov [rsp+72], rax
    37b72f62alea rax, [rsp+392]
    37b72f632mov r8, [rsp+600]
    37b72f63alea rcx, [rip+0xd06f68]
    37b72f641mov [rsp+64], rax
    37b72f646lea rax, [rsp+408]
    37b72f64emov [rsp+56], rax
    37b72f653lea rax, [rsp+436]
    37b72f65bmov [rsp+48], rax
    37b72f660mov rax, [rsp+584]
    37b72f668mov [rsp+88], 1
    37b72f671mov [rsp+40], r13
    37b72f676mov [rsp+32], rax
    37b72f67bmovss [rsp+264], x2
    37b72f684call slarrc_
    37b72f689movss x2, [rsp+264]
    37b72f692jmp 0x37b72e388
    37b72f697
    37b72f697loc_37b72f697:
    37b72f697lea rdx, [rsp+424]
    37b72f69fmov rax, [rsp+584]
    37b72f6a7lea r9, [rsp+420]
    37b72f6afmov [rsp+32], rdx
    37b72f6b4mov rdx, r13
    37b72f6b7lea r8, [rax+4]
    37b72f6bbmov rcx, rax
    37b72f6becall slae2_
    37b72f6c3mov eax, [rsp+248]
    37b72f6cajmp 0x37b72e581
    37b72f6cf
    37b72f6cfloc_37b72f6cf:
    37b72f6cfmov eax, edx
    37b72f6d1neg eax
    37b72f6d3cmovs eax, edx
    37b72f6d6add eax, 10
    37b72f6d9mov [rdi], eax
    37b72f6dbjmp 0x37b72e1d4
    37b72f6e0
    37b72f6e0loc_37b72f6e0:
    37b72f6e0cmp [rsi], 2
    37b72f6e3jne 0x37b72e6e0
    37b72f6e9jmp 0x37b72ede3
    37b72f6ee
    37b72f6eeloc_37b72f6ee:
    37b72f6eemov eax, [rsp+216]
    37b72f6f5test eax, eax
    37b72f6f7je 0x37b72e5f1
    37b72f6fdmovss x1, [rsp+452]
    37b72f706jmp 0x37b72f4a7
    37b72f70b
    37b72f70bloc_37b72f70b:
    37b72f70bmov r15, [rsp+280]
    37b72f713mov rsi, [rsp+576]
    37b72f71bmov rbp, [rsp+640]
    37b72f723mov rdi, [rsp+720]
    37b72f72bmov r12l, [rsp+328]
    37b72f733jmp 0x37b72edb9
    37b72f738
    37b72f738loc_37b72f738:
    37b72f738mov [rsp+264], eax
    37b72f73fmov rax, [rsp+216]
    37b72f747mov rcx, rsi
    37b72f74amov [rsp+120], r10
    37b72f74fmov [rsp+192], rax
    37b72f757mov rax, [rsp+288]
    37b72f75fmov [rsp+112], r11
    37b72f764mov [rsp+184], rax
    37b72f76cmov rax, [rsp+296]
    37b72f774mov [rsp+104], rbp
    37b72f779mov [rsp+176], rax
    37b72f781mov rax, [rsp+672]
    37b72f789mov [rsp+168], rax
    37b72f791mov rax, [rsp+656]
    37b72f799mov [rsp+160], rax
    37b72f7a1mov rax, [rsp+648]
    37b72f7a9mov [rsp+152], rax
    37b72f7b1mov rax, [rsp+688]
    37b72f7b9mov [rsp+144], rax
    37b72f7c1mov rax, [rsp+336]
    37b72f7c9mov [rsp+136], rax
    37b72f7d1mov rax, [rsp+328]
    37b72f7d9mov [rsp+128], rax
    37b72f7e1mov rax, [rsp+312]
    37b72f7e9mov [rsp+96], rax
    37b72f7eemov rax, [rsp+344]
    37b72f7f6mov [rsp+88], rax
    37b72f7fblea rax, [rip+0xd06db6]
    37b72f802mov [rsp+80], rax
    37b72f807mov rax, [rsp+632]
    37b72f80fmov [rsp+72], rax
    37b72f814lea rax, [rip+0xd06d99]
    37b72f81bmov [rsp+64], rax
    37b72f820mov rax, [rsp+632]
    37b72f828mov [rsp+56], rax
    37b72f82dmov rax, [rsp+704]
    37b72f835mov [rsp+32], r13
    37b72f83amov rdx, [rsp+248]
    37b72f842mov [rsp+48], rax
    37b72f847mov rax, [rsp+304]
    37b72f84fmov r9, [rsp+584]
    37b72f857mov r8, [rsp+232]
    37b72f85fmov [rsp+40], rax
    37b72f864call slarrv_
    37b72f869mov edx, [rsp+376]
    37b72f870mov eax, [rsp+264]
    37b72f877test edx, edx
    37b72f879je 0x37b72eda5
    37b72f87fmov eax, edx
    37b72f881neg eax
    37b72f883cmovs eax, edx
    37b72f886add eax, 20
    37b72f889mov [rdi], eax
    37b72f88bjmp 0x37b72e1d4
    37b72f890
    37b72f890loc_37b72f890:
    37b72f890mov rcx, [rip+0xd06d51]
    37b72f897mov rdi, [rsp+672]
    37b72f89fmov [rdi+4*rax], rcx
    37b72f8a3cmp edx, 1
    37b72f8a6jg 0x37b72edec
    37b72f8acjmp 0x37b72e6d4
    37b72f8b1
    37b72f8b1loc_37b72f8b1:
    37b72f8b1movaps x2, x1
    37b72f8b4movaps x3, x0
    37b72f8b7jmp 0x37b72e67a
    37b72f8bc
    37b72f8bcloc_37b72f8bc:
    37b72f8bcmov edx, [rsp+372]
    37b72f8c3jmp 0x37b72e2ef
    37b72f8c8
    37b72f8c8loc_37b72f8c8:
    37b72f8c8cmp [rsp+372], 1
    37b72f8d0jne 0x37b72f4a7
    37b72f8d6mov ecx, [rsp+232]
    37b72f8ddtest ecx, ecx
    37b72f8dfjne 0x37b72f480
    37b72f8e5jmp 0x37b72f4a7
    37b72f8ea
    37b72f8ealoc_37b72f8ea:
    37b72f8eamovss x0, [rip+0xd06cca]
    37b72f8f2mov rcx, [rsp+632]
    37b72f8famov r8, rbp
    37b72f8fdlea rdx, [rsp+460]
    37b72f905lea r9, [rip+0xd06ca8]
    37b72f90cdivss x0, x1
    37b72f910movss [rsp+460], x0
    37b72f919call sscal_
    37b72f91ejmp 0x37b72edd5
    37b72f923
    37b72f923loc_37b72f923:
    37b72f923movsxd r14, eax
    37b72f926jmp 0x37b72eb0f
    37b72f92b
    37b72f92bloc_37b72f92b:
    37b72f92bmov rcx, [rip+0xd06c8e]
    37b72f932mov rdi, [rsp+672]
    37b72f93amov [rdi+4*rax], rcx
    37b72f93ecmp edx, 1
    37b72f941jg 0x37b72edec
    37b72f947jmp 0x37b72e6d4
    37b72f94c
    37b72f94cloc_37b72f94c:
    37b72f94cmov edx, 1
    37b72f951movsxd r14, eax
    37b72f954jmp 0x37b72eae2
    37b72f959
    37b72f959loc_37b72f959:
    37b72f959mov eax, [rsi]
    37b72f95btest eax, eax
    37b72f95djns 0x37b72e7ef
    37b72f963jmp 0x37b72e172
    37b72dfc0