File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37b71e440
    37b71e440strrfs_:
    37b71e440push r15
    37b71e442push r14
    37b71e444push r13
    37b71e446push r12
    37b71e448push rbp
    37b71e449push rdi
    37b71e44apush rsi
    37b71e44bpush rbx
    37b71e44csub rsp, 360
    37b71e453movups [rsp+272], x6
    37b71e45bmovups [rsp+288], x7
    37b71e463movups [rsp+304], x8
    37b71e46cmovups [rsp+320], x9
    37b71e475movups [rsp+336], x10
    37b71e47emov rax, [rsp+512]
    37b71e486mov rbp, [rsp+552]
    37b71e48emov r13, [rsp+472]
    37b71e496mov r14, [rsp+536]
    37b71e49emovsxd rbx, [rax]
    37b71e4a1mov rax, [rsp+480]
    37b71e4a9mov [rbp], 0
    37b71e4b0movsxd rdi, [rax]
    37b71e4b3mov rax, [rsp+496]
    37b71e4bbmov [rsp+440], rdx
    37b71e4c3mov r15, r9
    37b71e4c6mov [rsp+448], r8
    37b71e4cemov r9l, 1
    37b71e4d4mov r8l, 1
    37b71e4dalea rdx, [rip+0xd17e4f]
    37b71e4e1mov [rsp+432], rcx
    37b71e4e9mov esi, [rax]
    37b71e4ebcall lsame_
    37b71e4f0mov rcx, [rsp+440]
    37b71e4f8mov r9l, 1
    37b71e4femov r8l, 1
    37b71e504lea rdx, [rip+0xd17e26]
    37b71e50bmov [rsp+152], eax
    37b71e512mov r12l, eax
    37b71e515call lsame_
    37b71e51amov rcx, [rsp+448]
    37b71e522mov r9l, 1
    37b71e528mov r8l, 1
    37b71e52elea rdx, [rip+0xd17dfc]
    37b71e535mov [rsp+140], eax
    37b71e53ccall lsame_
    37b71e541mov [rsp+148], eax
    37b71e548test r12l, r12l
    37b71e54bje 0x37b71ec2b
    37b71e551
    37b71e551loc_37b71e551:
    37b71e551mov eax, [rsp+140]
    37b71e558test eax, eax
    37b71e55aje 0x37b71ec62
    37b71e560
    37b71e560loc_37b71e560:
    37b71e560mov r12l, [rsp+148]
    37b71e568test r12l, r12l
    37b71e56bje 0x37b71ecc1
    37b71e571
    37b71e571loc_37b71e571:
    37b71e571mov r12l, [r15]
    37b71e574test r12l, r12l
    37b71e577js 0x37b71ebbd
    37b71e57dmov rax, [rsp+464]
    37b71e585mov eax, [rax]
    37b71e587test eax, eax
    37b71e589js 0x37b71f81b
    37b71e58fmov rcx, [rsp+480]
    37b71e597test r12l, r12l
    37b71e59amov edx, 1
    37b71e59fcmovg edx, r12l
    37b71e5a3cmp [rcx], edx
    37b71e5a5jl 0x37b71ecf8
    37b71e5abmov rcx, [rsp+496]
    37b71e5b3cmp [rcx], edx
    37b71e5b5jl 0x37b71f82a
    37b71e5bbmov rcx, [rsp+512]
    37b71e5c3cmp [rcx], edx
    37b71e5c5jl 0x37b71f839
    37b71e5cbmov edx, [rbp]
    37b71e5cetest edx, edx
    37b71e5d0jne 0x37b71f848
    37b71e5d6test r12l, r12l
    37b71e5d9je 0x37b71f231
    37b71e5dftest eax, eax
    37b71e5e1je 0x37b71ebec
    37b71e5e7cmp [rsp+140], 1
    37b71e5efmov edx, 7
    37b71e5f4lea rcx, [rip+0xd17d40]
    37b71e5fbsbb eax, eax
    37b71e5fdand eax, -6
    37b71e600add eax, 84
    37b71e603mov [rsp+255], al
    37b71e60acall slamch_
    37b71e60fmov edx, 12
    37b71e614lea rcx, [rip+0xd17d27]
    37b71e61bmovaps x7, x0
    37b71e61ecall slamch_
    37b71e623mov rax, [rsp+464]
    37b71e62bmov eax, [rax]
    37b71e62dmov [rsp+156], eax
    37b71e634test eax, eax
    37b71e636jle 0x37b71ebec
    37b71e63clea r8l, [r12+1]
    37b71e641pxor x8, x8
    37b71e646movaps x6, x0
    37b71e649xor eax, eax
    37b71e64bcvtsi2ss x8, r8l
    37b71e650test rbx, rbx
    37b71e653movsxd rcx, [r15]
    37b71e656mov [rsp+128], -1
    37b71e662mov [rsp+120], -1
    37b71e66bcmovns rax, rbx
    37b71e66fmovsxd rbx, esi
    37b71e672movss x9, [rip+0xd17ce5]
    37b71e67bmov [rsp+112], 0
    37b71e684mov [rsp+160], rax
    37b71e68cxor eax, eax
    37b71e68etest rbx, rbx
    37b71e691shufps x9, x9, 0
    37b71e696mulss x6, x8
    37b71e69bcmovns rax, rbx
    37b71e69fmov [rsp+168], rax
    37b71e6a7xor eax, eax
    37b71e6a9test rdi, rdi
    37b71e6accmovns rax, rdi
    37b71e6b0movaps x10, x6
    37b71e6b4lea rdi, [4*rax+4]
    37b71e6bcmov [rsp+208], rax
    37b71e6c4shl rax, 2
    37b71e6c8divss x10, x7
    37b71e6cdmov [rsp+200], rax
    37b71e6d5mov rax, [rsp+504]
    37b71e6ddmov [rsp+216], rdi
    37b71e6e5lea rdi, [rsp+260]
    37b71e6edadd rax, 4
    37b71e6f1mov [rsp+184], rax
    37b71e6f9mov rax, [rsp+488]
    37b71e701add rax, 4
    37b71e705mov [rsp+176], rax
    37b71e70dlea rax, [rsp+256]
    37b71e715mov [rsp+104], rax
    37b71e71anop [rax+rax]
    37b71e720
    37b71e720loc_37b71e720:
    37b71e720mov rax, [rsp+120]
    37b71e725lea r9, [r14+4*rcx]
    37b71e729mov rcx, r15
    37b71e72clea r12, [4*rax]
    37b71e734mov rax, [rsp+184]
    37b71e73clea rbx, [rax+r12]
    37b71e740lea rax, [rip+0xd17c09]
    37b71e747mov [rsp+32], rax
    37b71e74cmov rsi, rax
    37b71e74fmov r8, rax
    37b71e752mov rdx, rbx
    37b71e755call scopy_
    37b71e75amov [rsp+56], rsi
    37b71e75fmov r9, r15
    37b71e762mov rsi, [rsp+480]
    37b71e76amov r8, [rsp+448]
    37b71e772mov rdx, [rsp+440]
    37b71e77amov [rsp+80], 1
    37b71e783mov [rsp+72], 1
    37b71e78cmov rcx, [rsp+432]
    37b71e794mov [rsp+64], 1
    37b71e79dmovsxd rax, [r15]
    37b71e7a0mov [rsp+40], rsi
    37b71e7a5lea rax, [r14+4*rax]
    37b71e7a9mov [rsp+32], r13
    37b71e7aemov [rsp+48], rax
    37b71e7b3call strmv_
    37b71e7b8lea rax, [rip+0xd17b91]
    37b71e7bfmov rsi, [rsp+128]
    37b71e7c7mov rcx, [rsp+176]
    37b71e7cfmov [rsp+40], rax
    37b71e7d4movsxd rax, [r15]
    37b71e7d7lea r9, [rip+0xd17b72]
    37b71e7delea rdx, [rip+0xd17b6f]
    37b71e7e5shl rsi, 2
    37b71e7e9lea rax, [r14+4*rax]
    37b71e7edlea rbp, [rcx+rsi]
    37b71e7f1mov rcx, r15
    37b71e7f4mov [rsp+32], rax
    37b71e7f9mov r8, rbp
    37b71e7fccall saxpy_
    37b71e801movsxd rax, [r15]
    37b71e804test eax, eax
    37b71e806jle 0x37b71f26a
    37b71e80clea ecx, [rax-1]
    37b71e80fmov [rsp+144], ecx
    37b71e816cmp ecx, 2
    37b71e819jbe 0x37b71f801
    37b71e81fmov ecx, eax
    37b71e821movss x1, [rip+0xd17b37]
    37b71e829xor edx, edx
    37b71e82bshr ecx, 2
    37b71e82eshl rcx, 4
    37b71e832shufps x1, x1, 0
    37b71e836nop [rax+rax]
    37b71e840
    37b71e840loc_37b71e840:
    37b71e840movups x0, [rbp+rdx]
    37b71e845andps x0, x1
    37b71e848movups [r14+rdx], x0
    37b71e84dadd rdx, 16
    37b71e851cmp rdx, rcx
    37b71e854jne 0x37b71e840
    37b71e856mov edx, eax
    37b71e858movss x1, [rip+0xd17b00]
    37b71e860and edx, -4
    37b71e863add edx, 1
    37b71e866test al, 3
    37b71e868je 0x37b71e894
    37b71e86a
    37b71e86aloc_37b71e86a:
    37b71e86amovsxd rdx, edx
    37b71e86dadd rsi, [rsp+488]
    37b71e875movss x1, [rip+0xd17ae3]
    37b71e87d
    37b71e87dloc_37b71e87d:
    37b71e87dmovss x0, [rsi+4*rdx]
    37b71e882andps x0, x1
    37b71e885movss [r14+4*rdx-4], x0
    37b71e88cadd rdx, 1
    37b71e890cmp eax, edx
    37b71e892jge 0x37b71e87d
    37b71e894
    37b71e894loc_37b71e894:
    37b71e894mov esi, [rsp+140]
    37b71e89btest esi, esi
    37b71e89dje 0x37b71ee5b
    37b71e8a3mov r11l, [rsp+152]
    37b71e8abtest r11l, r11l
    37b71e8aeje 0x37b71f0fd
    37b71e8b4mov r10l, [rsp+148]
    37b71e8bctest r10l, r10l
    37b71e8bfje 0x37b71f6cf
    37b71e8c5mov r8, [rsp+504]
    37b71e8cdlea ebp, [rax+1]
    37b71e8d0lea rsi, [r13-4]
    37b71e8d4mov r10l, 1
    37b71e8damovss x2, [rip+0xd17a7e]
    37b71e8e2mov r9, [rsp+200]
    37b71e8eaadd r8, r12
    37b71e8edshufps x2, x2, 0
    37b71e8f1nop [rax]
    37b71e8f5nop [rax+rax]
    37b71e900
    37b71e900loc_37b71e900:
    37b71e900movss x3, [r8+4*r10]
    37b71e906lea edx, [r10-1]
    37b71e90amov ecx, r10l
    37b71e90dandps x3, x1
    37b71e910cmp edx, 2
    37b71e913jbe 0x37b71f7e6
    37b71e919mov r11l, r10l
    37b71e91cmovaps x4, x3
    37b71e91flea r12, [rsi+4]
    37b71e923xor edx, edx
    37b71e925shr r11l, 2
    37b71e929shufps x4, x4, 0
    37b71e92dshl r11, 4
    37b71e931nop [rax]
    37b71e935nop [rax+rax]
    37b71e940
    37b71e940loc_37b71e940:
    37b71e940movups x0, [r12+rdx]
    37b71e945movups x5, [r14+rdx]
    37b71e94aandps x0, x2
    37b71e94dmulps x0, x4
    37b71e950addps x0, x5
    37b71e953movups [r14+rdx], x0
    37b71e958add rdx, 16
    37b71e95ccmp r11, rdx
    37b71e95fjne 0x37b71e940
    37b71e961test cl, 3
    37b71e964je 0x37b71e992
    37b71e966and ecx, -4
    37b71e969lea edx, [rcx+1]
    37b71e96c
    37b71e96cloc_37b71e96c:
    37b71e96cmovsxd rdx, edx
    37b71e96f
    37b71e96floc_37b71e96f:
    37b71e96fmovss x0, [rsi+4*rdx]
    37b71e974andps x0, x1
    37b71e977mulss x0, x3
    37b71e97baddss x0, [r14+4*rdx-4]
    37b71e982movss [r14+4*rdx-4], x0
    37b71e989add rdx, 1
    37b71e98dcmp edx, r10l
    37b71e990jle 0x37b71e96f
    37b71e992
    37b71e992loc_37b71e992:
    37b71e992add r10, 1
    37b71e996add rsi, r9
    37b71e999cmp r10, rbp
    37b71e99cjne 0x37b71e900
    37b71e9a2nop [rax]
    37b71e9a5nop [rax+rax]
    37b71e9b0
    37b71e9b0loc_37b71e9b0:
    37b71e9b0mov ecx, [rsp+144]
    37b71e9b7
    37b71e9b7loc_37b71e9b7:
    37b71e9b7lea r8, [r14+4*rcx+4]
    37b71e9bcmov rdx, r14
    37b71e9bfpxor x3, x3
    37b71e9c3mov rcx, r14
    37b71e9c6nop [rax]
    37b71e9c9nop [rax+rax]
    37b71e9d4nop [rax+rax]
    37b71e9dfnop [rax+rax]
    37b71e9eanop [rax+rax]
    37b71e9f5nop [rax+rax]
    37b71ea00
    37b71ea00loc_37b71ea00:
    37b71ea00movss x2, [rcx]
    37b71ea04movss x0, [rcx+4*rax]
    37b71ea09comiss x2, x10
    37b71ea0dandps x0, x1
    37b71ea10ja 0x37b71ea1a
    37b71ea12addss x0, x6
    37b71ea16addss x2, x6
    37b71ea1a
    37b71ea1aloc_37b71ea1a:
    37b71ea1adivss x0, x2
    37b71ea1eadd rcx, 4
    37b71ea22maxss x3, x0
    37b71ea26cmp r8, rcx
    37b71ea29jne 0x37b71ea00
    37b71ea2bmovaps x4, x8
    37b71ea2fmov rsi, [rsp+528]
    37b71ea37mov rcx, [rsp+112]
    37b71ea3cmulss x4, x7
    37b71ea40movss [rsi+4*rcx], x3
    37b71ea45nop [rax]
    37b71ea49nop [rax+rax]
    37b71ea54nop [rax+rax]
    37b71ea5fnop [rax+rax]
    37b71ea6anop [rax+rax]
    37b71ea75nop [rax+rax]
    37b71ea80
    37b71ea80loc_37b71ea80:
    37b71ea80movss x2, [rdx]
    37b71ea84movss x0, [rdx+4*rax]
    37b71ea89movaps x3, x2
    37b71ea8ccomiss x2, x10
    37b71ea90andps x0, x1
    37b71ea93mulss x3, x4
    37b71ea97addss x0, x3
    37b71ea9bja 0x37b71eaa1
    37b71ea9daddss x0, x6
    37b71eaa1
    37b71eaa1loc_37b71eaa1:
    37b71eaa1movss [rdx], x0
    37b71eaa5add rdx, 4
    37b71eaa9cmp r8, rdx
    37b71eaacjne 0x37b71ea80
    37b71eaae
    37b71eaaeloc_37b71eaae:
    37b71eaaemov rsi, [rsp+520]
    37b71eab6mov rcx, [rsp+112]
    37b71eabblea rbp, [r14+4]
    37b71eabfmov [rsp+256], 0
    37b71eacalea rsi, [rsi+4*rcx]
    37b71eacenop
    37b71ead0
    37b71ead0loc_37b71ead0:
    37b71ead0lea rdx, [4*rax]
    37b71ead8mov rax, [rsp+104]
    37b71eaddmov [rsp+48], rdi
    37b71eae2mov rcx, r15
    37b71eae5mov [rsp+32], rsi
    37b71eaealea r8, [r14+rdx]
    37b71eaeemov r9, [rsp+544]
    37b71eaf6mov [rsp+40], rax
    37b71eafbadd rdx, r8
    37b71eafecall slacn2_
    37b71eb03mov eax, [rsp+256]
    37b71eb0amovsxd rcx, [r15]
    37b71eb0dtest eax, eax
    37b71eb0fje 0x37b71edc0
    37b71eb15movsxd rdx, ecx
    37b71eb18lea r8, [r14+4*rdx]
    37b71eb1ccmp eax, 1
    37b71eb1fje 0x37b71ed10
    37b71eb25test ecx, ecx
    37b71eb27jle 0x37b71eb57
    37b71eb29sub ecx, 1
    37b71eb2cmov rax, r8
    37b71eb2fadd rcx, rdx
    37b71eb32neg rdx
    37b71eb35lea rcx, [rbp+4*rcx]
    37b71eb3ashl rdx, 2
    37b71eb3enop
    37b71eb40
    37b71eb40loc_37b71eb40:
    37b71eb40movss x0, [rax]
    37b71eb44mulss x0, [rax+rdx]
    37b71eb49add rax, 4
    37b71eb4dmovss [rax-4], x0
    37b71eb52cmp rax, rcx
    37b71eb55jne 0x37b71eb40
    37b71eb57
    37b71eb57loc_37b71eb57:
    37b71eb57lea rax, [rip+0xd177f2]
    37b71eb5emov [rsp+48], r8
    37b71eb63mov r9, r15
    37b71eb66mov r8, [rsp+448]
    37b71eb6emov [rsp+56], rax
    37b71eb73mov rax, [rsp+480]
    37b71eb7bmov [rsp+32], r13
    37b71eb80mov rdx, [rsp+440]
    37b71eb88mov [rsp+40], rax
    37b71eb8dmov rcx, [rsp+432]
    37b71eb95mov [rsp+80], 1
    37b71eb9emov [rsp+72], 1
    37b71eba7mov [rsp+64], 1
    37b71ebb0call strsv_
    37b71ebb5movsxd rax, [r15]
    37b71ebb8jmp 0x37b71ead0
    37b71ebbd
    37b71ebbdloc_37b71ebbd:
    37b71ebbdmov edx, -4
    37b71ebc2mov eax, 4
    37b71ebc7
    37b71ebc7loc_37b71ebc7:
    37b71ebc7mov [rbp], edx
    37b71ebca
    37b71ebcaloc_37b71ebca:
    37b71ebcalea rdx, [rsp+260]
    37b71ebd2mov r8l, 6
    37b71ebd8lea rcx, [rip+0xd17756]
    37b71ebdfmov [rsp+260], eax
    37b71ebe6call xerbla_
    37b71ebebnop
    37b71ebec
    37b71ebecloc_37b71ebec:
    37b71ebecmovups x6, [rsp+272]
    37b71ebf4movups x7, [rsp+288]
    37b71ebfcmovups x8, [rsp+304]
    37b71ec05movups x9, [rsp+320]
    37b71ec0emovups x10, [rsp+336]
    37b71ec17add rsp, 360
    37b71ec1epop rbx
    37b71ec1fpop rsi
    37b71ec20pop rdi
    37b71ec21pop rbp
    37b71ec22pop r12
    37b71ec24pop r13
    37b71ec26pop r14
    37b71ec28pop r15
    37b71ec2aret
    37b71ec2b
    37b71ec2bloc_37b71ec2b:
    37b71ec2bmov rcx, [rsp+432]
    37b71ec33mov r9l, 1
    37b71ec39mov r8l, 1
    37b71ec3flea rdx, [rip+0xd176ec]
    37b71ec46call lsame_
    37b71ec4btest eax, eax
    37b71ec4djne 0x37b71e551
    37b71ec53mov edx, -1
    37b71ec58mov eax, 1
    37b71ec5djmp 0x37b71ebc7
    37b71ec62
    37b71ec62loc_37b71ec62:
    37b71ec62mov rcx, [rsp+440]
    37b71ec6amov r9l, 1
    37b71ec70mov r8l, 1
    37b71ec76lea rdx, [rip+0xd176b6]
    37b71ec7dcall lsame_
    37b71ec82test eax, eax
    37b71ec84jne 0x37b71e560
    37b71ec8amov rcx, [rsp+440]
    37b71ec92mov r9l, 1
    37b71ec98mov r8l, 1
    37b71ec9elea rdx, [rip+0xd1768f]
    37b71eca5call lsame_
    37b71ecaatest eax, eax
    37b71ecacjne 0x37b71e560
    37b71ecb2mov edx, -2
    37b71ecb7mov eax, 2
    37b71ecbcjmp 0x37b71ebc7
    37b71ecc1
    37b71ecc1loc_37b71ecc1:
    37b71ecc1mov rcx, [rsp+448]
    37b71ecc9mov r9l, 1
    37b71eccfmov r8l, 1
    37b71ecd5lea rdx, [rip+0xd17654]
    37b71ecdccall lsame_
    37b71ece1test eax, eax
    37b71ece3jne 0x37b71e571
    37b71ece9mov edx, -3
    37b71eceemov eax, 3
    37b71ecf3jmp 0x37b71ebc7
    37b71ecf8
    37b71ecf8loc_37b71ecf8:
    37b71ecf8mov edx, -7
    37b71ecfdmov eax, 7
    37b71ed02jmp 0x37b71ebc7
    37b71ed07
    37b71ed07 66 0f 1f 84 00 00 00 00 00 f........
    37b71ed10
    37b71ed10loc_37b71ed10:
    37b71ed10lea rax, [rip+0xd17639]
    37b71ed17mov [rsp+48], r8
    37b71ed1cmov r9, r15
    37b71ed1fmov r8, [rsp+448]
    37b71ed27mov [rsp+56], rax
    37b71ed2cmov rax, [rsp+480]
    37b71ed34lea rdx, [rsp+255]
    37b71ed3cmov [rsp+32], r13
    37b71ed41mov rcx, [rsp+432]
    37b71ed49mov [rsp+40], rax
    37b71ed4emov [rsp+80], 1
    37b71ed57mov [rsp+72], 1
    37b71ed60mov [rsp+64], 1
    37b71ed69call strsv_
    37b71ed6emov r8l, [r15]
    37b71ed71movsxd rax, r8l
    37b71ed74test r8l, r8l
    37b71ed77jle 0x37b71ead0
    37b71ed7dsub r8l, 1
    37b71ed81lea rcx, [4*rax]
    37b71ed89add r8, rax
    37b71ed8clea rdx, [rcx+r14]
    37b71ed90neg rcx
    37b71ed93lea r8, [rbp+4*r8]
    37b71ed98nop [rax+rax]
    37b71eda0
    37b71eda0loc_37b71eda0:
    37b71eda0movss x0, [rdx]
    37b71eda4mulss x0, [rdx+rcx]
    37b71eda9add rdx, 4
    37b71edadmovss [rdx-4], x0
    37b71edb2cmp r8, rdx
    37b71edb5jne 0x37b71eda0
    37b71edb7jmp 0x37b71ead0
    37b71edbc
    37b71edbc 0f 1f 40 00 ..@.
    37b71edc0
    37b71edc0loc_37b71edc0:
    37b71edc0test ecx, ecx
    37b71edc2jle 0x37b71ee1e
    37b71edc4mov rsi, [rsp+504]
    37b71edcclea eax, [rcx-1]
    37b71edcfadd rax, [rsp+120]
    37b71edd4pxor x1, x1
    37b71edd8lea rax, [rsi+4*rax+8]
    37b71edddnop [rax]
    37b71ede0
    37b71ede0loc_37b71ede0:
    37b71ede0movss x0, [rbx]
    37b71ede4andps x0, [rip+0xd17575]
    37b71edebadd rbx, 4
    37b71edefmaxss x1, x0
    37b71edf3cmp rbx, rax
    37b71edf6jne 0x37b71ede0
    37b71edf8pxor x0, x0
    37b71edfcucomiss x1, x0
    37b71edffjp 0x37b71ee03
    37b71ee01je 0x37b71ee1e
    37b71ee03
    37b71ee03loc_37b71ee03:
    37b71ee03mov rbx, [rsp+520]
    37b71ee0bmov rax, [rsp+112]
    37b71ee10movss x0, [rbx+4*rax]
    37b71ee15divss x0, x1
    37b71ee19movss [rbx+4*rax], x0
    37b71ee1e
    37b71ee1eloc_37b71ee1e:
    37b71ee1eadd [rsp+112], 1
    37b71ee24mov rax, [rsp+112]
    37b71ee29mov rbx, [rsp+160]
    37b71ee31add [rsp+120], rbx
    37b71ee36add eax, 1
    37b71ee39mov rbx, [rsp+168]
    37b71ee41add [rsp+128], rbx
    37b71ee49cmp [rsp+156], eax
    37b71ee50jge 0x37b71e720
    37b71ee56jmp 0x37b71ebec
    37b71ee5b
    37b71ee5bloc_37b71ee5b:
    37b71ee5bmov r8l, [rsp+152]
    37b71ee63test r8l, r8l
    37b71ee66je 0x37b71efa7
    37b71ee6cmov r8, [rsp+504]
    37b71ee74mov ecx, [rsp+148]
    37b71ee7blea ebp, [rax+1]
    37b71ee7elea rsi, [r13-4]
    37b71ee82add r8, r12
    37b71ee85test ecx, ecx
    37b71ee87je 0x37b71f450
    37b71ee8dmov r9l, 1
    37b71ee93mov r10, [rsp+200]
    37b71ee9blea edx, [r9-1]
    37b71ee9fmov ecx, r9l
    37b71eea2cmp edx, 2
    37b71eea5jbe 0x37b71ef9c
    37b71eeabnop [rax+rax]
    37b71eeb0
    37b71eeb0loc_37b71eeb0:
    37b71eeb0mov r11l, r9l
    37b71eeb3lea r12, [rsi+4]
    37b71eeb7pxor x2, x2
    37b71eebbxor edx, edx
    37b71eebdshr r11l, 2
    37b71eec1shl r11, 4
    37b71eec5nop [rax]
    37b71eec9nop [rax+rax]
    37b71eed4nop [rax+rax]
    37b71eedfnop [rax+rax]
    37b71eeeanop [rax+rax]
    37b71eef5nop [rax+rax]
    37b71ef00
    37b71ef00loc_37b71ef00:
    37b71ef00movups x0, [r12+rdx]
    37b71ef05movups x3, [rbx+rdx]
    37b71ef09add rdx, 16
    37b71ef0dandps x3, x9
    37b71ef11andps x0, x9
    37b71ef15mulps x0, x3
    37b71ef18addss x2, x0
    37b71ef1cmovaps x3, x0
    37b71ef1fshufps x3, x0, 85
    37b71ef23addss x2, x3
    37b71ef27movaps x3, x0
    37b71ef2aunpckhps x3, x0
    37b71ef2dshufps x0, x0, -1
    37b71ef31addss x2, x3
    37b71ef35addss x2, x0
    37b71ef39cmp rdx, r11
    37b71ef3cjne 0x37b71ef00
    37b71ef3etest cl, 3
    37b71ef41je 0x37b71ef6e
    37b71ef43and ecx, -4
    37b71ef46lea edx, [rcx+1]
    37b71ef49
    37b71ef49loc_37b71ef49:
    37b71ef49movsxd rdx, edx
    37b71ef4c
    37b71ef4cloc_37b71ef4c:
    37b71ef4cmovss x0, [r8+4*rdx]
    37b71ef52movss x3, [rsi+4*rdx]
    37b71ef57add rdx, 1
    37b71ef5bandps x0, x1
    37b71ef5eandps x3, x1
    37b71ef61mulss x0, x3
    37b71ef65addss x2, x0
    37b71ef69cmp edx, r9l
    37b71ef6cjle 0x37b71ef4c
    37b71ef6e
    37b71ef6eloc_37b71ef6e:
    37b71ef6eaddss x2, [r14+4*r9-4]
    37b71ef75add rsi, r10
    37b71ef78movss [r14+4*r9-4], x2
    37b71ef7fadd r9, 1
    37b71ef83cmp r9, rbp
    37b71ef86je 0x37b71e9b0
    37b71ef8clea edx, [r9-1]
    37b71ef90mov ecx, r9l
    37b71ef93cmp edx, 2
    37b71ef96ja 0x37b71eeb0
    37b71ef9c
    37b71ef9cloc_37b71ef9c:
    37b71ef9cpxor x2, x2
    37b71efa0mov edx, 1
    37b71efa5jmp 0x37b71ef49
    37b71efa7
    37b71efa7loc_37b71efa7:
    37b71efa7mov edx, [rsp+148]
    37b71efaetest edx, edx
    37b71efb0je 0x37b71f28c
    37b71efb6mov rcx, [rsp+504]
    37b71efbemov r11, rbx
    37b71efc1mov r10, r13
    37b71efc4mov ebp, eax
    37b71efc6mov [rsp+192], rbx
    37b71efcemov rbx, [rsp+208]
    37b71efd6mov esi, 1
    37b71efdbmov [rsp+224], rdi
    37b71efe3mov rdi, [rsp+216]
    37b71efebadd rcx, r12
    37b71efeemov r12, -1
    37b71eff5mov [rsp+456], r15
    37b71effdlea r15l, [rax+1]
    37b71f001nop [rax]
    37b71f005nop [rax+rax]
    37b71f010
    37b71f010loc_37b71f010:
    37b71f010cmp eax, esi
    37b71f012jl 0x37b71f283
    37b71f018mov edx, eax
    37b71f01amov r8l, esi
    37b71f01dsub edx, esi
    37b71f01fcmp edx, 2
    37b71f022jbe 0x37b71f812
    37b71f028mov r9l, ebp
    37b71f02bxor edx, edx
    37b71f02dpxor x2, x2
    37b71f031shr r9l, 2
    37b71f035shl r9, 4
    37b71f039nop [rax]
    37b71f040
    37b71f040loc_37b71f040:
    37b71f040movups x0, [r10+rdx]
    37b71f045movups x3, [r11+rdx]
    37b71f04aadd rdx, 16
    37b71f04eandps x3, x9
    37b71f052andps x0, x9
    37b71f056mulps x0, x3
    37b71f059addss x2, x0
    37b71f05dmovaps x3, x0
    37b71f060shufps x3, x0, 85
    37b71f064addss x2, x3
    37b71f068movaps x3, x0
    37b71f06bunpckhps x3, x0
    37b71f06eshufps x0, x0, -1
    37b71f072addss x2, x3
    37b71f076addss x2, x0
    37b71f07acmp rdx, r9
    37b71f07djne 0x37b71f040
    37b71f07ftest bpl, 3
    37b71f083je 0x37b71f0b8
    37b71f085mov edx, ebp
    37b71f087and edx, -4
    37b71f08aadd r8l, edx
    37b71f08d
    37b71f08dloc_37b71f08d:
    37b71f08dmovsxd r8, r8l
    37b71f090lea rdx, [r13+4*r12]
    37b71f095
    37b71f095loc_37b71f095:
    37b71f095movss x0, [rdx+4*r8]
    37b71f09bmovss x3, [rcx+4*r8]
    37b71f0a1add r8, 1
    37b71f0a5andps x0, x1
    37b71f0a8andps x3, x1
    37b71f0abmulss x0, x3
    37b71f0afaddss x2, x0
    37b71f0b3cmp eax, r8l
    37b71f0b6jge 0x37b71f095
    37b71f0b8
    37b71f0b8loc_37b71f0b8:
    37b71f0b8addss x2, [r14+4*rsi-4]
    37b71f0bfadd r12, rbx
    37b71f0c2sub ebp, 1
    37b71f0c5add r10, rdi
    37b71f0c8add r11, 4
    37b71f0ccmovss [r14+4*rsi-4], x2
    37b71f0d3add rsi, 1
    37b71f0d7cmp rsi, r15
    37b71f0dajne 0x37b71f010
    37b71f0e0
    37b71f0e0loc_37b71f0e0:
    37b71f0e0mov rbx, [rsp+192]
    37b71f0e8mov r15, [rsp+456]
    37b71f0f0mov rdi, [rsp+224]
    37b71f0f8jmp 0x37b71e9b0
    37b71f0fd
    37b71f0fdloc_37b71f0fd:
    37b71f0fdmov r9l, [rsp+148]
    37b71f105test r9l, r9l
    37b71f108je 0x37b71f553
    37b71f10emov r8, [rsp+504]
    37b71f116mov r11, r13
    37b71f119xor ebp, ebp
    37b71f11bmov [rsp+456], r15
    37b71f123mov [rsp+224], rdi
    37b71f12bmov r15, [rsp+216]
    37b71f133mov esi, 1
    37b71f138mov rdi, [rsp+208]
    37b71f140mov [rsp+192], rbx
    37b71f148add r8, r12
    37b71f14blea ebx, [rax+1]
    37b71f14emov r12, -1
    37b71f155nop [rax+rax]
    37b71f160
    37b71f160loc_37b71f160:
    37b71f160cmp eax, esi
    37b71f162jl 0x37b71f217
    37b71f168movss x3, [r8+4*rbp+4]
    37b71f16fmov edx, eax
    37b71f171sub edx, esi
    37b71f173andps x3, x1
    37b71f176cmp edx, 2
    37b71f179jbe 0x37b71f80b
    37b71f17fmov ecx, eax
    37b71f181movaps x2, x3
    37b71f184lea r9, [r14+4*rbp]
    37b71f188xor edx, edx
    37b71f18asub ecx, ebp
    37b71f18cshufps x2, x2, 0
    37b71f190mov r10l, ecx
    37b71f193shr r10l, 2
    37b71f197shl r10, 4
    37b71f19bnop [rax]
    37b71f19fnop [rax+rax]
    37b71f1aanop [rax+rax]
    37b71f1b5nop [rax+rax]
    37b71f1c0
    37b71f1c0loc_37b71f1c0:
    37b71f1c0movups x0, [r11+rdx]
    37b71f1c5movups x5, [r9+rdx]
    37b71f1caandps x0, x9
    37b71f1cemulps x0, x2
    37b71f1d1addps x0, x5
    37b71f1d4movups [r9+rdx], x0
    37b71f1d9add rdx, 16
    37b71f1ddcmp rdx, r10
    37b71f1e0jne 0x37b71f1c0
    37b71f1e2test cl, 3
    37b71f1e5je 0x37b71f217
    37b71f1e7and ecx, -4
    37b71f1ealea edx, [rcx+rsi]
    37b71f1ed
    37b71f1edloc_37b71f1ed:
    37b71f1edmovsxd rdx, edx
    37b71f1f0lea rcx, [r13+4*r12]
    37b71f1f5
    37b71f1f5loc_37b71f1f5:
    37b71f1f5movss x0, [rcx+4*rdx]
    37b71f1faandps x0, x1
    37b71f1fdmulss x0, x3
    37b71f201addss x0, [r14+4*rdx-4]
    37b71f208movss [r14+4*rdx-4], x0
    37b71f20fadd rdx, 1
    37b71f213cmp eax, edx
    37b71f215jge 0x37b71f1f5
    37b71f217
    37b71f217loc_37b71f217:
    37b71f217add esi, 1
    37b71f21aadd rbp, 1
    37b71f21eadd r12, rdi
    37b71f221add r11, r15
    37b71f224cmp esi, ebx
    37b71f226jne 0x37b71f160
    37b71f22cjmp 0x37b71f0e0
    37b71f231
    37b71f231loc_37b71f231:
    37b71f231test eax, eax
    37b71f233je 0x37b71ebec
    37b71f239lea rbx, [4*rax]
    37b71f241mov rcx, [rsp+520]
    37b71f249xor edx, edx
    37b71f24bmov r8, rbx
    37b71f24ecall memset
    37b71f253mov rcx, [rsp+528]
    37b71f25bmov r8, rbx
    37b71f25exor edx, edx
    37b71f260call memset
    37b71f265jmp 0x37b71ebec
    37b71f26a
    37b71f26aloc_37b71f26a:
    37b71f26amov rsi, [rsp+528]
    37b71f272mov rcx, [rsp+112]
    37b71f277mov [rsi+4*rcx], 0
    37b71f27ejmp 0x37b71eaae
    37b71f283
    37b71f283loc_37b71f283:
    37b71f283pxor x2, x2
    37b71f287jmp 0x37b71f0b8
    37b71f28c
    37b71f28cloc_37b71f28c:
    37b71f28cmov rsi, [rsp+504]
    37b71f294mov rcx, [rsp+120]
    37b71f299movss x2, [rsi+4*rcx+4]
    37b71f29fandps x2, x1
    37b71f2a2cmp eax, 1
    37b71f2a5je 0x37b71f438
    37b71f2ablea edx, [rax+1]
    37b71f2aemov rcx, [rsp+504]
    37b71f2b6mov [rsp+224], rbx
    37b71f2belea rsi, [rsi+r12+8]
    37b71f2c3mov [rsp+192], edx
    37b71f2camovss x4, [rip+0xd1708e]
    37b71f2d2lea r11, [r13+4]
    37b71f2d6mov r10l, 2
    37b71f2dcmov [rsp+232], rdi
    37b71f2e4mov rbp, [rsp+216]
    37b71f2ecadd rcx, r12
    37b71f2efmov r12, -1
    37b71f2f6mov rdi, [rsp+208]
    37b71f2femov [rsp+456], r15
    37b71f306mov r15, rdx
    37b71f309shufps x4, x4, 0
    37b71f30dnop [rax]
    37b71f310
    37b71f310loc_37b71f310:
    37b71f310mov edx, eax
    37b71f312mov r8l, r10l
    37b71f315sub edx, r10l
    37b71f318cmp edx, 2
    37b71f31bjbe 0x37b71f3c7
    37b71f321cmp eax, r10l
    37b71f324jl 0x37b71f3c7
    37b71f32amov ebx, [rsp+192]
    37b71f331mov edx, 1
    37b71f336sub ebx, r10l
    37b71f339cmp eax, r10l
    37b71f33ccmovl ebx, edx
    37b71f33fxor edx, edx
    37b71f341mov r9l, ebx
    37b71f344shr r9l, 2
    37b71f348shl r9, 4
    37b71f34cnop [rax+rax]
    37b71f354nop [rax+rax]
    37b71f35fnop [rax+rax]
    37b71f36anop [rax+rax]
    37b71f375nop [rax+rax]
    37b71f380
    37b71f380loc_37b71f380:
    37b71f380movups x0, [r11+rdx]
    37b71f385movups x3, [rsi+rdx]
    37b71f389add rdx, 16
    37b71f38dandps x3, x4
    37b71f390andps x0, x4
    37b71f393mulps x0, x3
    37b71f396addss x2, x0
    37b71f39amovaps x3, x0
    37b71f39dshufps x3, x0, 85
    37b71f3a1addss x2, x3
    37b71f3a5movaps x3, x0
    37b71f3a8unpckhps x3, x0
    37b71f3abshufps x0, x0, -1
    37b71f3afaddss x2, x3
    37b71f3b3addss x2, x0
    37b71f3b7cmp rdx, r9
    37b71f3bajne 0x37b71f380
    37b71f3bctest bl, 3
    37b71f3bfje 0x37b71f3f2
    37b71f3c1and ebx, -4
    37b71f3c4add r8l, ebx
    37b71f3c7
    37b71f3c7loc_37b71f3c7:
    37b71f3c7movsxd r8, r8l
    37b71f3calea rdx, [r13+4*r12]
    37b71f3cf
    37b71f3cfloc_37b71f3cf:
    37b71f3cfmovss x0, [rdx+4*r8]
    37b71f3d5movss x3, [rcx+4*r8]
    37b71f3dbadd r8, 1
    37b71f3dfandps x0, x1
    37b71f3e2andps x3, x1
    37b71f3e5mulss x0, x3
    37b71f3e9addss x2, x0
    37b71f3edcmp eax, r8l
    37b71f3f0jge 0x37b71f3cf
    37b71f3f2
    37b71f3f2loc_37b71f3f2:
    37b71f3f2addss x2, [r14+4*r10-8]
    37b71f3f9add r12, rdi
    37b71f3fcadd r11, rbp
    37b71f3ffadd rsi, 4
    37b71f403movss [r14+4*r10-8], x2
    37b71f40amovss x2, [rcx+4*r10]
    37b71f410add r10, 1
    37b71f414andps x2, x1
    37b71f417cmp r10, r15
    37b71f41ajne 0x37b71f310
    37b71f420
    37b71f420loc_37b71f420:
    37b71f420mov rbx, [rsp+224]
    37b71f428mov r15, [rsp+456]
    37b71f430mov rdi, [rsp+232]
    37b71f438
    37b71f438loc_37b71f438:
    37b71f438mov ecx, [rsp+144]
    37b71f43faddss x2, [r14+4*rcx]
    37b71f445movss [r14+4*rcx], x2
    37b71f44bjmp 0x37b71e9b7
    37b71f450
    37b71f450loc_37b71f450:
    37b71f450mov r9, [rsp+200]
    37b71f458mov r10l, 1
    37b71f45enop
    37b71f460
    37b71f460loc_37b71f460:
    37b71f460movss x2, [r8+4*r10]
    37b71f466andps x2, x1
    37b71f469cmp r10, 1
    37b71f46dje 0x37b71f530
    37b71f473lea edx, [r10-2]
    37b71f477cmp edx, 2
    37b71f47ajbe 0x37b71f7f0
    37b71f480lea ecx, [r10-1]
    37b71f484lea r12, [rsi+4]
    37b71f488xor edx, edx
    37b71f48amov r11l, ecx
    37b71f48dshr r11l, 2
    37b71f491shl r11, 4
    37b71f495nop [rax+rax]
    37b71f49fnop [rax+rax]
    37b71f4aanop [rax+rax]
    37b71f4b5nop [rax+rax]
    37b71f4c0
    37b71f4c0loc_37b71f4c0:
    37b71f4c0movups x0, [r12+rdx]
    37b71f4c5movups x3, [rbx+rdx]
    37b71f4c9add rdx, 16
    37b71f4cdandps x3, x9
    37b71f4d1andps x0, x9
    37b71f4d5mulps x0, x3
    37b71f4d8addss x2, x0
    37b71f4dcmovaps x3, x0
    37b71f4dfshufps x3, x0, 85
    37b71f4e3addss x2, x3
    37b71f4e7movaps x3, x0
    37b71f4eaunpckhps x3, x0
    37b71f4edshufps x0, x0, -1
    37b71f4f1addss x2, x3
    37b71f4f5addss x2, x0
    37b71f4f9cmp rdx, r11
    37b71f4fcjne 0x37b71f4c0
    37b71f4fetest cl, 3
    37b71f501je 0x37b71f530
    37b71f503and ecx, -4
    37b71f506lea edx, [rcx+1]
    37b71f509
    37b71f509loc_37b71f509:
    37b71f509mov ecx, r10l
    37b71f50cmovsxd rdx, edx
    37b71f50f
    37b71f50floc_37b71f50f:
    37b71f50fmovss x0, [rsi+4*rdx]
    37b71f514movss x3, [r8+4*rdx]
    37b71f51aadd rdx, 1
    37b71f51eandps x0, x1
    37b71f521andps x3, x1
    37b71f524mulss x0, x3
    37b71f528addss x2, x0
    37b71f52ccmp ecx, edx
    37b71f52ejg 0x37b71f50f
    37b71f530
    37b71f530loc_37b71f530:
    37b71f530addss x2, [r14+4*r10-4]
    37b71f537add rsi, r9
    37b71f53amovss [r14+4*r10-4], x2
    37b71f541add r10, 1
    37b71f545cmp r10, rbp
    37b71f548jne 0x37b71f460
    37b71f54ejmp 0x37b71e9b0
    37b71f553
    37b71f553loc_37b71f553:
    37b71f553mov rsi, [rsp+504]
    37b71f55bmov rcx, [rsp+120]
    37b71f560movss x2, [rsi+4*rcx+4]
    37b71f566andps x2, x1
    37b71f569cmp eax, 1
    37b71f56cje 0x37b71f438
    37b71f572mov rcx, [rsp+504]
    37b71f57alea esi, [rax+1]
    37b71f57dmov [rsp+224], rbx
    37b71f585lea r11, [r13+4]
    37b71f589mov [rsp+456], r15
    37b71f591movss x3, [rip+0xd16dc7]
    37b71f599mov ebp, 1
    37b71f59emov [rsp+232], rdi
    37b71f5a6mov r15, [rsp+216]
    37b71f5aeadd rcx, r12
    37b71f5b1mov r12, -1
    37b71f5b8mov rdi, [rsp+208]
    37b71f5c0mov [rsp+192], rsi
    37b71f5c8shufps x3, x3, 0
    37b71f5ccmov esi, 2
    37b71f5d1nop [rax]
    37b71f5d5nop [rax+rax]
    37b71f5e0
    37b71f5e0loc_37b71f5e0:
    37b71f5e0mov edx, eax
    37b71f5e2mov r8l, esi
    37b71f5e5sub edx, esi
    37b71f5e7cmp edx, 2
    37b71f5eajbe 0x37b71f66c
    37b71f5f0cmp eax, esi
    37b71f5f2jl 0x37b71f66c
    37b71f5f4mov ebx, eax
    37b71f5f6movaps x4, x2
    37b71f5f9lea r9, [r14+4*rbp]
    37b71f5fdmov edx, 1
    37b71f602sub ebx, ebp
    37b71f604cmp eax, esi
    37b71f606shufps x4, x4, 0
    37b71f60acmovl ebx, edx
    37b71f60dxor edx, edx
    37b71f60fmov r10l, ebx
    37b71f612shr r10l, 2
    37b71f616shl r10, 4
    37b71f61anop [rax+rax]
    37b71f61fnop [rax+rax]
    37b71f62anop [rax+rax]
    37b71f635nop [rax+rax]
    37b71f640
    37b71f640loc_37b71f640:
    37b71f640movups x0, [r11+rdx]
    37b71f645movups x5, [r9+rdx]
    37b71f64aandps x0, x3
    37b71f64dmulps x0, x4
    37b71f650addps x0, x5
    37b71f653movups [r9+rdx], x0
    37b71f658add rdx, 16
    37b71f65ccmp rdx, r10
    37b71f65fjne 0x37b71f640
    37b71f661test bl, 3
    37b71f664je 0x37b71f698
    37b71f666and ebx, -4
    37b71f669add r8l, ebx
    37b71f66c
    37b71f66cloc_37b71f66c:
    37b71f66cmovsxd r8, r8l
    37b71f66flea rdx, [r13+4*r12]
    37b71f674
    37b71f674loc_37b71f674:
    37b71f674movss x0, [rdx+4*r8]
    37b71f67aandps x0, x1
    37b71f67dmulss x0, x2
    37b71f681addss x0, [r14+4*r8-4]
    37b71f688movss [r14+4*r8-4], x0
    37b71f68fadd r8, 1
    37b71f693cmp eax, r8l
    37b71f696jge 0x37b71f674
    37b71f698
    37b71f698loc_37b71f698:
    37b71f698addss x2, [r14+4*rsi-8]
    37b71f69fadd rbp, 1
    37b71f6a3add r12, rdi
    37b71f6a6add r11, r15
    37b71f6a9movss [r14+4*rsi-8], x2
    37b71f6b0movss x2, [rcx+4*rsi]
    37b71f6b5add rsi, 1
    37b71f6b9andps x2, x1
    37b71f6bccmp rsi, [rsp+192]
    37b71f6c4jne 0x37b71f5e0
    37b71f6cajmp 0x37b71f420
    37b71f6cf
    37b71f6cfloc_37b71f6cf:
    37b71f6cflea esi, [rax+1]
    37b71f6d2lea rbp, [r13-4]
    37b71f6d6xor r11l, r11l
    37b71f6d9mov edx, 1
    37b71f6demov r8, [rsp+504]
    37b71f6e6mov [rsp+192], rbx
    37b71f6eemovss x3, [rip+0xd16c6a]
    37b71f6f6add r8, r12
    37b71f6f9mov r12, [rsp+200]
    37b71f701movss x2, [r8+4]
    37b71f707shufps x3, x3, 0
    37b71f70bandps x2, x1
    37b71f70enop
    37b71f710
    37b71f710loc_37b71f710:
    37b71f710addss x2, [r14+4*r11]
    37b71f716lea ebx, [rdx+1]
    37b71f719movss [r14+4*r11], x2
    37b71f71fcmp ebx, esi
    37b71f721je 0x37b71f7d9
    37b71f727add r11, 1
    37b71f72bsub edx, 1
    37b71f72eadd rbp, r12
    37b71f731movss x2, [r8+4*r11+4]
    37b71f738andps x2, x1
    37b71f73bcmp edx, 2
    37b71f73ejbe 0x37b71f7fa
    37b71f744mov r9l, r11l
    37b71f747movaps x4, x2
    37b71f74amov ecx, r11l
    37b71f74dxor edx, edx
    37b71f74fshr r9l, 2
    37b71f753lea r10, [rbp+4]
    37b71f757shufps x4, x4, 0
    37b71f75bshl r9, 4
    37b71f75fnop [rax+rax]
    37b71f76anop [rax+rax]
    37b71f775nop [rax+rax]
    37b71f780
    37b71f780loc_37b71f780:
    37b71f780movups x0, [r10+rdx]
    37b71f785movups x5, [r14+rdx]
    37b71f78aandps x0, x3
    37b71f78dmulps x0, x4
    37b71f790addps x0, x5
    37b71f793movups [r14+rdx], x0
    37b71f798add rdx, 16
    37b71f79ccmp rdx, r9
    37b71f79fjne 0x37b71f780
    37b71f7a1test cl, 3
    37b71f7a4je 0x37b71f7d2
    37b71f7a6and ecx, -4
    37b71f7a9lea edx, [rcx+1]
    37b71f7ac
    37b71f7acloc_37b71f7ac:
    37b71f7acmovsxd rdx, edx
    37b71f7af
    37b71f7afloc_37b71f7af:
    37b71f7afmovss x0, [rbp+4*rdx]
    37b71f7b5andps x0, x1
    37b71f7b8mulss x0, x2
    37b71f7bcaddss x0, [r14+4*rdx-4]
    37b71f7c3movss [r14+4*rdx-4], x0
    37b71f7caadd rdx, 1
    37b71f7cecmp ebx, edx
    37b71f7d0jg 0x37b71f7af
    37b71f7d2
    37b71f7d2loc_37b71f7d2:
    37b71f7d2mov edx, ebx
    37b71f7d4jmp 0x37b71f710
    37b71f7d9
    37b71f7d9loc_37b71f7d9:
    37b71f7d9mov rbx, [rsp+192]
    37b71f7e1jmp 0x37b71e9b0
    37b71f7e6
    37b71f7e6loc_37b71f7e6:
    37b71f7e6mov edx, 1
    37b71f7ebjmp 0x37b71e96c
    37b71f7f0
    37b71f7f0loc_37b71f7f0:
    37b71f7f0mov edx, 1
    37b71f7f5jmp 0x37b71f509
    37b71f7fa
    37b71f7faloc_37b71f7fa:
    37b71f7famov edx, 1
    37b71f7ffjmp 0x37b71f7ac
    37b71f801
    37b71f801loc_37b71f801:
    37b71f801mov edx, 1
    37b71f806jmp 0x37b71e86a
    37b71f80b
    37b71f80bloc_37b71f80b:
    37b71f80bmov edx, esi
    37b71f80djmp 0x37b71f1ed
    37b71f812
    37b71f812loc_37b71f812:
    37b71f812pxor x2, x2
    37b71f816jmp 0x37b71f08d
    37b71f81b
    37b71f81bloc_37b71f81b:
    37b71f81bmov edx, -5
    37b71f820mov eax, 5
    37b71f825jmp 0x37b71ebc7
    37b71f82a
    37b71f82aloc_37b71f82a:
    37b71f82amov edx, -9
    37b71f82fmov eax, 9
    37b71f834jmp 0x37b71ebc7
    37b71f839
    37b71f839loc_37b71f839:
    37b71f839mov edx, -11
    37b71f83emov eax, 11
    37b71f843jmp 0x37b71ebc7
    37b71f848
    37b71f848loc_37b71f848:
    37b71f848mov eax, edx
    37b71f84aneg eax
    37b71f84cjmp 0x37b71ebca
    37b71e440
    37b71f851
    37b71f851 // align 0x40
    37b71f880
    37b71f880strsen_:
    37b71f880push r15
    37b71f882push r14
    37b71f884push r13
    37b71f886push r12
    37b71f888push rbp
    37b71f889push rdi
    37b71f88apush rsi
    37b71f88bpush rbx
    37b71f88csub rsp, 248
    37b71f893mov rax, [rsp+360]
    37b71f89bmov rbp, [rsp+424]
    37b71f8a3mov esi, [rax]
    37b71f8a5mov r15, rcx
    37b71f8a8mov r13, rdx
    37b71f8abmov rdi, r8
    37b71f8aemov rbx, r9
    37b71f8b1mov r8l, 1
    37b71f8b7mov r9l, 1
    37b71f8bdlea rdx, [rip+0xd16aac]
    37b71f8c4call lsame_
    37b71f8c9mov r9l, 1
    37b71f8cfmov r8l, 1
    37b71f8d5mov rcx, r15
    37b71f8d8lea rdx, [rip+0xd16a92]
    37b71f8dfmov r12l, eax
    37b71f8e2call lsame_
    37b71f8e7mov r9l, 1
    37b71f8edmov r8l, 1
    37b71f8f3mov rcx, r15
    37b71f8f6or eax, r12l
    37b71f8f9lea rdx, [rip+0xd16a72]
    37b71f900mov [rsp+144], eax
    37b71f907call lsame_
    37b71f90cmov r9l, 1
    37b71f912mov r8l, 1
    37b71f918mov rcx, r13
    37b71f91bor eax, r12l
    37b71f91elea rdx, [rip+0xd16a4d]
    37b71f925mov [rsp+136], eax
    37b71f92ccall lsame_
    37b71f931mov rdx, [rsp+456]
    37b71f939mov r9l, 1
    37b71f93fmov rcx, r15
    37b71f942mov r8l, 1
    37b71f948mov r12l, eax
    37b71f94bmov [rdx], 0
    37b71f951mov rdx, [rsp+432]
    37b71f959mov r14l, [rdx]
    37b71f95clea rdx, [rip+0xd16a10]
    37b71f963call lsame_
    37b71f968test eax, eax
    37b71f96ajne 0x37b71f9d0
    37b71f96cmov r8l, [rsp+136]
    37b71f974test r8l, r8l
    37b71f977jne 0x37b71f9d0
    37b71f979mov ecx, [rsp+144]
    37b71f980mov edx, -1
    37b71f985mov eax, 1
    37b71f98atest ecx, ecx
    37b71f98cjne 0x37b71f9d0
    37b71f98e
    37b71f98eloc_37b71f98e:
    37b71f98emov rsi, [rsp+456]
    37b71f996mov [rsi], edx
    37b71f998
    37b71f998loc_37b71f998:
    37b71f998lea rdx, [rsp+228]
    37b71f9a0mov r8l, 6
    37b71f9a6lea rcx, [rip+0xd169c7]
    37b71f9admov [rsp+228], eax
    37b71f9b4call xerbla_
    37b71f9b9nop
    37b71f9ba
    37b71f9baloc_37b71f9ba:
    37b71f9baadd rsp, 248
    37b71f9c1pop rbx
    37b71f9c2pop rsi
    37b71f9c3pop rdi
    37b71f9c4pop rbp
    37b71f9c5pop r12
    37b71f9c7pop r13
    37b71f9c9pop r14
    37b71f9cbpop r15
    37b71f9cdret
    37b71f9ce
    37b71f9ce 66 90 f.
    37b71f9d0
    37b71f9d0loc_37b71f9d0:
    37b71f9d0mov r9l, 1
    37b71f9d6mov r8l, 1
    37b71f9dclea rdx, [rip+0xd16990]
    37b71f9e3mov rcx, r13
    37b71f9e6call lsame_
    37b71f9ebtest eax, eax
    37b71f9edjne 0x37b71f9f8
    37b71f9eftest r12l, r12l
    37b71f9f2je 0x37b71fb00
    37b71f9f8
    37b71f9f8loc_37b71f9f8:
    37b71f9f8mov eax, [rbx]
    37b71f9fatest eax, eax
    37b71f9fcjs 0x37b71fad0
    37b71fa02mov rcx, [rsp+360]
    37b71fa0amov edx, 1
    37b71fa0fcmovg edx, eax
    37b71fa12cmp [rcx], edx
    37b71fa14jl 0x37b71fae0
    37b71fa1amov rcx, [rsp+376]
    37b71fa22mov edx, [rcx]
    37b71fa24test edx, edx
    37b71fa26jle 0x37b71faf0
    37b71fa2ccmp eax, edx
    37b71fa2ejle 0x37b71fa3a
    37b71fa30and r12l, 1
    37b71fa34jne 0x37b71faf0
    37b71fa3a
    37b71fa3aloc_37b71fa3a:
    37b71fa3amovsxd r12, esi
    37b71fa3dmov rsi, [rsp+400]
    37b71fa45xor edx, edx
    37b71fa47test r12, r12
    37b71fa4amov [rsi], 0
    37b71fa50cmovs r12, rdx
    37b71fa54test eax, eax
    37b71fa56je 0x37b7204b8
    37b71fa5cmov rsi, [rsp+352]
    37b71fa64movsxd r9, eax
    37b71fa67mov r10, [rsp+400]
    37b71fa6flea r8, [4*r12+4]
    37b71fa77mov edx, 1
    37b71fa7csub r9, 1
    37b71fa80pxor x0, x0
    37b71fa84lea rcx, [rsi-4]
    37b71fa88jmp 0x37b71faa8
    37b71fa8a
    37b71fa8a 66 0f 1f 44 00 00 f..D..
    37b71fa90
    37b71fa90loc_37b71fa90:
    37b71fa90mov r11l, [rdi+4*r9]
    37b71fa94test r11l, r11l
    37b71fa97je 0x37b71fa9d
    37b71fa99
    37b71fa99loc_37b71fa99:
    37b71fa99add [r10], 1
    37b71fa9d
    37b71fa9dloc_37b71fa9d:
    37b71fa9dadd rdx, 1
    37b71faa1add rcx, r8
    37b71faa4cmp eax, edx
    37b71faa6jl 0x37b71fb0f
    37b71faa8
    37b71faa8loc_37b71faa8:
    37b71faa8cmp eax, edx
    37b71faaajle 0x37b71fa90
    37b71faacucomiss x0, [rcx+8]
    37b71fab0mov r11l, [rdi+4*rdx-4]
    37b71fab5jp 0x37b71fba0
    37b71fabbjne 0x37b71fba0
    37b71fac1test r11l, r11l
    37b71fac4je 0x37b71fa9d
    37b71fac6jmp 0x37b71fa99
    37b71fac8
    37b71fac8 0f 1f 84 00 00 00 00 00 ........
    37b71fad0
    37b71fad0loc_37b71fad0:
    37b71fad0mov edx, -4
    37b71fad5mov eax, 4
    37b71fadajmp 0x37b71f98e
    37b71fadf
    37b71fadf 90 .
    37b71fae0
    37b71fae0loc_37b71fae0:
    37b71fae0mov edx, -6
    37b71fae5mov eax, 6
    37b71faeajmp 0x37b71f98e
    37b71faef
    37b71faef 90 .
    37b71faf0
    37b71faf0loc_37b71faf0:
    37b71faf0mov edx, -8
    37b71faf5mov eax, 8
    37b71fafajmp 0x37b71f98e
    37b71faff
    37b71faff 90 .
    37b71fb00
    37b71fb00loc_37b71fb00:
    37b71fb00mov edx, -2
    37b71fb05mov eax, 2
    37b71fb0ajmp 0x37b71f98e
    37b71fb0f
    37b71fb0floc_37b71fb0f:
    37b71fb0fmov rsi, [rsp+400]
    37b71fb17mov edx, [rsi]
    37b71fb19sub eax, edx
    37b71fb1bmov esi, edx
    37b71fb1dimul esi, eax
    37b71fb20mov [rsp+172], esi
    37b71fb27
    37b71fb27loc_37b71fb27:
    37b71fb27mov [rsp+216], eax
    37b71fb2emov esi, [rsp+172]
    37b71fb35mov eax, [rsp+136]
    37b71fb3cmov [rsp+212], edx
    37b71fb43mov [rsp+220], esi
    37b71fb4atest eax, eax
    37b71fb4cje 0x37b71fbc0
    37b71fb4elea eax, [rsi+rsi]
    37b71fb51mov edx, 1
    37b71fb56test eax, eax
    37b71fb58cmovle eax, edx
    37b71fb5btest esi, esi
    37b71fb5dcmovg edx, esi
    37b71fb60mov [rsp+208], eax
    37b71fb67mov [rsp+168], edx
    37b71fb6e
    37b71fb6eloc_37b71fb6e:
    37b71fb6emov rsi, [rsp+432]
    37b71fb76cmp [rsi], eax
    37b71fb78jge 0x37b71fc0c
    37b71fb7emov rax, [rsp+456]
    37b71fb86cmp r14l, -1
    37b71fb8aje 0x37b72046f
    37b71fb90mov [rax], -15
    37b71fb96mov eax, 15
    37b71fb9bjmp 0x37b71f998
    37b71fba0
    37b71fba0loc_37b71fba0:
    37b71fba0test r11l, r11l
    37b71fba3jne 0x37b71fc06
    37b71fba5mov esi, [rdi+4*rdx]
    37b71fba8test esi, esi
    37b71fbaajne 0x37b71fc06
    37b71fbac
    37b71fbacloc_37b71fbac:
    37b71fbacadd rdx, 1
    37b71fbb0cmp eax, edx
    37b71fbb2jl 0x37b71fb0f
    37b71fbb8add rcx, r8
    37b71fbbbjmp 0x37b71fa9d
    37b71fbc0
    37b71fbc0loc_37b71fbc0:
    37b71fbc0mov r9l, 1
    37b71fbc6mov r8l, 1
    37b71fbcclea rdx, [rip+0xd167a0]
    37b71fbd3mov rcx, r15
    37b71fbd6call lsame_
    37b71fbdbtest eax, eax
    37b71fbddje 0x37b7204ca
    37b71fbe3mov eax, [rbx]
    37b71fbe5mov edx, 1
    37b71fbeamov [rsp+168], 1
    37b71fbf5test eax, eax
    37b71fbf7cmovle eax, edx
    37b71fbfamov [rsp+208], eax
    37b71fc01jmp 0x37b71fb6e
    37b71fc06
    37b71fc06loc_37b71fc06:
    37b71fc06add [r10], 2
    37b71fc0ajmp 0x37b71fbac
    37b71fc0c
    37b71fc0cloc_37b71fc0c:
    37b71fc0cmov rax, [rsp+448]
    37b71fc14mov esi, [rsp+168]
    37b71fc1bcmp [rax], esi
    37b71fc1dmov rax, [rsp+456]
    37b71fc25jge 0x37b71fc48
    37b71fc27cmp r14l, -1
    37b71fc2bje 0x37b72046f
    37b71fc31mov [rax], -17
    37b71fc37mov eax, 17
    37b71fc3cjmp 0x37b71f998
    37b71fc41
    37b71fc41 0f 1f 80 00 00 00 00 .......
    37b71fc48
    37b71fc48loc_37b71fc48:
    37b71fc48mov eax, [rax]
    37b71fc4atest eax, eax
    37b71fc4cjne 0x37b720475
    37b71fc52lea rsi, [rsp+208]
    37b71fc5amov rcx, rsi
    37b71fc5dcall sroundup_lwork_
    37b71fc62mov rax, [rsp+440]
    37b71fc6amov ecx, [rsp+168]
    37b71fc71movss [rbp], x0
    37b71fc76mov [rax], ecx
    37b71fc78mov rax, [rsp+456]
    37b71fc80mov eax, [rax]
    37b71fc82test eax, eax
    37b71fc84jne 0x37b720475
    37b71fc8acmp r14l, -1
    37b71fc8eje 0x37b71f9ba
    37b71fc94mov rax, [rsp+400]
    37b71fc9cmov r14l, [rbx]
    37b71fc9fmov eax, [rax]
    37b71fca1test eax, eax
    37b71fca3je 0x37b71ff68
    37b71fca9cmp eax, r14l
    37b71fcacje 0x37b71ff68
    37b71fcb2mov [rsp+204], 0
    37b71fcbdmov r15, -1
    37b71fcc4pxor x0, x0
    37b71fcc8lea r9, [rsp+192]
    37b71fcd0test r14l, r14l
    37b71fcd3jle 0x37b71fdce
    37b71fcd9mov [rsp+160], r9
    37b71fce1mov [rsp+152], rsi
    37b71fce9mov rsi, r12
    37b71fcecmov r12l, r14l
    37b71fcefmov r14, rbx
    37b71fcf2mov rbx, r13
    37b71fcf5mov r13l, 2
    37b71fcfb
    37b71fcfbloc_37b71fcfb:
    37b71fcfblea edx, [r13-1]
    37b71fcffjmp 0x37b71fd5b
    37b71fd01
    37b71fd01 0f 1f 80 00 00 00 00 .......
    37b71fd08
    37b71fd08loc_37b71fd08:
    37b71fd08mov r11, [rsp+352]
    37b71fd10movsxd rax, r13l
    37b71fd13add rax, r15
    37b71fd16ucomiss x0, [r11+4*rax]
    37b71fd1bjp 0x37b71fd1f
    37b71fd1dje 0x37b71fd62
    37b71fd1f
    37b71fd1floc_37b71fd1f:
    37b71fd1ftest ecx, ecx
    37b71fd21jne 0x37b7200a0
    37b71fd27mov r8l, [rdi+4]
    37b71fd2btest r8l, r8l
    37b71fd2ejne 0x37b7200a0
    37b71fd34cmp r12l, r13l
    37b71fd37jl 0x37b71fdc0
    37b71fd3dnop [rax]
    37b71fd40
    37b71fd40loc_37b71fd40:
    37b71fd40lea edx, [r13+1]
    37b71fd44add rdi, 4
    37b71fd48add r15, rsi
    37b71fd4b
    37b71fd4bloc_37b71fd4b:
    37b71fd4bcmp r12l, edx
    37b71fd4ejl 0x37b71fdc0
    37b71fd50lea r13l, [rdx+1]
    37b71fd54add rdi, 4
    37b71fd58add r15, rsi
    37b71fd5b
    37b71fd5bloc_37b71fd5b:
    37b71fd5bmov ecx, [rdi]
    37b71fd5dcmp [r14], edx
    37b71fd60jg 0x37b71fd08
    37b71fd62
    37b71fd62loc_37b71fd62:
    37b71fd62test ecx, ecx
    37b71fd64jne 0x37b71fd70
    37b71fd66mov edx, r13l
    37b71fd69jmp 0x37b71fd4b
    37b71fd6b
    37b71fd6b 0f 1f 44 00 00 ..D..
    37b71fd70
    37b71fd70loc_37b71fd70:
    37b71fd70mov eax, [rsp+204]
    37b71fd77mov [rsp+200], edx
    37b71fd7emov [rsp+192], 0
    37b71fd89add eax, 1
    37b71fd8cmov [rsp+204], eax
    37b71fd93cmp eax, edx
    37b71fd95jne 0x37b720168
    37b71fd9bmov edx, r13l
    37b71fd9eadd rdi, 4
    37b71fda2add r13l, 1
    37b71fda6add r15, rsi
    37b71fda9cmp r12l, edx
    37b71fdacjge 0x37b71fcfb
    37b71fdb2nop [rax]
    37b71fdb5nop [rax+rax]
    37b71fdc0
    37b71fdc0loc_37b71fdc0:
    37b71fdc0mov r12, rsi
    37b71fdc3mov rsi, [rsp+152]
    37b71fdcbmov rbx, r14
    37b71fdce
    37b71fdceloc_37b71fdce:
    37b71fdcemov r9l, [rsp+144]
    37b71fdd6mov r14, r12
    37b71fdd9not r14
    37b71fddctest r9l, r9l
    37b71fddfjne 0x37b7202f0
    37b71fde5
    37b71fde5loc_37b71fde5:
    37b71fde5mov eax, [rsp+136]
    37b71fdectest eax, eax
    37b71fdeeje 0x37b72026e
    37b71fdf4lea rax, [rsp+228]
    37b71fdfclea r15, [rsp+220]
    37b71fe04mov [rsp+344], rbx
    37b71fe0cmov rbx, [rsp+352]
    37b71fe14mov [rsp+136], rax
    37b71fe1clea r13, [rsp+188]
    37b71fe24movsxd rax, [rsp+172]
    37b71fe2clea rdi, [rsp+212]
    37b71fe34mov [rsp+152], rsi
    37b71fe3cmov rsi, [rsp+360]
    37b71fe44mov [rsp+144], r15
    37b71fe4clea r15, [rsp+196]
    37b71fe54mov [rsp+188], 0
    37b71fe5fmov [rsp+196], 0
    37b71fe6ajmp 0x37b71fe87
    37b71fe6c
    37b71fe6c 0f 1f 40 00 ..@.
    37b71fe70
    37b71fe70loc_37b71fe70:
    37b71fe70lea rdx, [rip+0xd16509]
    37b71fe77mov rcx, rdx
    37b71fe7acall strsyl_
    37b71fe7f
    37b71fe7floc_37b71fe7f:
    37b71fe7fmovsxd rax, [rsp+220]
    37b71fe87
    37b71fe87loc_37b71fe87:
    37b71fe87lea rdx, [rbp+4*rax]
    37b71fe8cmov [rsp+40], r15
    37b71fe91mov rax, [rsp+136]
    37b71fe99mov r8, rbp
    37b71fe9cmov [rsp+32], r13
    37b71fea1mov rcx, [rsp+144]
    37b71fea9mov [rsp+48], rax
    37b71feaemov r9, [rsp+440]
    37b71feb6call slacn2_
    37b71febbmov ecx, [rsp+196]
    37b71fec2test ecx, ecx
    37b71fec4je 0x37b720240
    37b71fecamov eax, [rsp+212]
    37b71fed1mov rdx, r12
    37b71fed4mov [rsp+112], 1
    37b71feddmov r9, rdi
    37b71fee0mov [rsp+104], 1
    37b71fee9lea r8, [rip+0xd1648c]
    37b71fef0add eax, 1
    37b71fef3mov [rsp+80], rdi
    37b71fef8cdqe
    37b71fefamov [rsp+72], rbp
    37b71feffimul rdx, rax
    37b71ff03mov [rsp+64], rsi
    37b71ff08mov [rsp+48], rsi
    37b71ff0dmov [rsp+40], rbx
    37b71ff12add rdx, r14
    37b71ff15add rax, rdx
    37b71ff18lea rdx, [rsp+192]
    37b71ff20lea rax, [rbx+4*rax]
    37b71ff24mov [rsp+96], rdx
    37b71ff29lea rdx, [rsp+224]
    37b71ff31mov [rsp+56], rax
    37b71ff36lea rax, [rsp+216]
    37b71ff3emov [rsp+88], rdx
    37b71ff43mov [rsp+32], rax
    37b71ff48cmp ecx, 1
    37b71ff4bjne 0x37b71fe70
    37b71ff51lea rdx, [rip+0xd1641b]
    37b71ff58mov rcx, rdx
    37b71ff5bcall strsyl_
    37b71ff60jmp 0x37b71fe7f
    37b71ff65
    37b71ff65 0f 1f 00 ...
    37b71ff68
    37b71ff68loc_37b71ff68:
    37b71ff68mov r11l, [rsp+144]
    37b71ff70test r11l, r11l
    37b71ff73je 0x37b71ff83
    37b71ff75mov rax, [rsp+408]
    37b71ff7dmov [rax], 0x3f800000
    37b71ff83
    37b71ff83loc_37b71ff83:
    37b71ff83mov r10l, [rsp+136]
    37b71ff8btest r10l, r10l
    37b71ff8ejne 0x37b720280
    37b71ff94
    37b71ff94loc_37b71ff94:
    37b71ff94test r14l, r14l
    37b71ff97jle 0x37b720079
    37b71ff9dmov rax, [rsp+352]
    37b71ffa5lea edx, [r14-1]
    37b71ffa9lea rbx, [4*r12+4]
    37b71ffb1lea rdi, [rax-4]
    37b71ffb5mov rax, [rsp+384]
    37b71ffbdlea rcx, [rax+4*rdx+4]
    37b71ffc2mov rdx, rdi
    37b71ffc5nop [rax+rax]
    37b71ffcanop [rax+rax]
    37b71ffd5nop [rax+rax]
    37b71ffe0
    37b71ffe0loc_37b71ffe0:
    37b71ffe0movss x0, [rdx+4]
    37b71ffe5add rax, 4
    37b71ffe9add rdx, rbx
    37b71ffecmovss [rax-4], x0
    37b71fff1cmp rcx, rax
    37b71fff4jne 0x37b71ffe0
    37b71fff6mov r8l, r14l
    37b71fff9mov rcx, [rsp+392]
    37b720001xor edx, edx
    37b720003shl r8, 2
    37b720007call memset
    37b72000ccmp r14l, 1
    37b720010je 0x37b720079
    37b720012mov rax, [rsp+392]
    37b72001alea edx, [r14-2]
    37b72001epxor x2, x2
    37b720022lea rdx, [rax+4*rdx+4]
    37b720027nop [rax+rax]
    37b720030
    37b720030loc_37b720030:
    37b720030movss x1, [rdi+8]
    37b720035ucomiss x1, x2
    37b720038jp 0x37b72003c
    37b72003aje 0x37b72006d
    37b72003c
    37b72003cloc_37b72003c:
    37b72003cmovss x0, [rdi+4*r12+4]
    37b720043andps x1, [rip+0xd16346]
    37b72004aandps x0, [rip+0xd1633f]
    37b720051sqrtss x1, x1
    37b720055sqrtss x0, x0
    37b720059mulss x0, x1
    37b72005dmovaps x1, x0
    37b720060xorps x1, [rip+0xd16339]
    37b720067unpcklps x0, x1
    37b72006amovlps [rax], x0
    37b72006d
    37b72006dloc_37b72006d:
    37b72006dadd rax, 4
    37b720071add rdi, rbx
    37b720074cmp rdx, rax
    37b720077jne 0x37b720030
    37b720079
    37b720079loc_37b720079:
    37b720079mov rcx, rsi
    37b72007ccall sroundup_lwork_
    37b720081mov rax, [rsp+440]
    37b720089mov esi, [rsp+168]
    37b720090movss [rbp], x0
    37b720095mov [rax], esi
    37b720097jmp 0x37b71f9ba
    37b72009c
    37b72009c 0f 1f 40 00 ..@.
    37b7200a0
    37b7200a0loc_37b7200a0:
    37b7200a0mov eax, [rsp+204]
    37b7200a7mov [rsp+200], edx
    37b7200aemov [rsp+192], 0
    37b7200b9add eax, 1
    37b7200bcmov [rsp+204], eax
    37b7200c3cmp eax, edx
    37b7200c5je 0x37b72014c
    37b7200cblea rax, [rsp+192]
    37b7200d3mov [rsp+64], rbp
    37b7200d8mov rdx, r14
    37b7200dbmov r9, [rsp+360]
    37b7200e3mov [rsp+72], rax
    37b7200e8lea rax, [rsp+204]
    37b7200f0mov r8, [rsp+352]
    37b7200f8mov rcx, rbx
    37b7200fbmov [rsp+56], rax
    37b720100lea rax, [rsp+200]
    37b720108mov [rsp+48], rax
    37b72010dmov rax, [rsp+376]
    37b720115mov [rsp+80], 1
    37b72011emov [rsp+40], rax
    37b720123mov rax, [rsp+368]
    37b72012bmov [rsp+32], rax
    37b720130call strexc_
    37b720135mov eax, [rsp+192]
    37b72013cpxor x0, x0
    37b720140sub eax, 1
    37b720143cmp eax, 1
    37b720146jbe 0x37b7201e5
    37b72014c
    37b72014cloc_37b72014c:
    37b72014cadd [rsp+204], 1
    37b720154cmp r12l, r13l
    37b720157jge 0x37b71fd40
    37b72015djmp 0x37b71fdc0
    37b720162
    37b720162 66 0f 1f 44 00 00 f..D..
    37b720168
    37b720168loc_37b720168:
    37b720168mov rax, [rsp+160]
    37b720170mov [rsp+64], rbp
    37b720175mov rdx, r14
    37b720178mov rcx, rbx
    37b72017bmov r9, [rsp+360]
    37b720183mov r8, [rsp+352]
    37b72018bmov [rsp+80], 1
    37b720194mov [rsp+72], rax
    37b720199lea rax, [rsp+204]
    37b7201a1mov [rsp+56], rax
    37b7201a6lea rax, [rsp+200]
    37b7201aemov [rsp+48], rax
    37b7201b3mov rax, [rsp+376]
    37b7201bbmov [rsp+40], rax
    37b7201c0mov rax, [rsp+368]
    37b7201c8mov [rsp+32], rax
    37b7201cdcall strexc_
    37b7201d2mov eax, [rsp+192]
    37b7201d9sub eax, 1
    37b7201dccmp eax, 1
    37b7201dfja 0x37b7202d0
    37b7201e5
    37b7201e5loc_37b7201e5:
    37b7201e5mov rax, [rsp+456]
    37b7201edmov ecx, [rsp+144]
    37b7201f4mov r12, rsi
    37b7201f7mov rbx, r14
    37b7201famov rsi, [rsp+152]
    37b720202mov [rax], 1
    37b720208test ecx, ecx
    37b72020aje 0x37b72021a
    37b72020cmov rax, [rsp+408]
    37b720214mov [rax], 0
    37b72021a
    37b72021aloc_37b72021a:
    37b72021amov edx, [rsp+136]
    37b720221mov r14l, [rbx]
    37b720224test edx, edx
    37b720226je 0x37b71ff94
    37b72022cmov rax, [rsp+416]
    37b720234mov [rax], 0
    37b72023ajmp 0x37b71ff94
    37b72023f
    37b72023f 90 .
    37b720240
    37b720240loc_37b720240:
    37b720240mov rax, [rsp+416]
    37b720248mov rbx, [rsp+344]
    37b720250mov rsi, [rsp+152]
    37b720258movss x0, [rsp+224]
    37b720261divss x0, [rsp+188]
    37b72026amovss [rax], x0
    37b72026e
    37b72026eloc_37b72026e:
    37b72026emov r14l, [rbx]
    37b720271jmp 0x37b71ff94
    37b720276
    37b720276 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b720280
    37b720280loc_37b720280:
    37b720280mov rax, [rsp+360]
    37b720288mov [rsp+40], rbp
    37b72028dmov r8, rbx
    37b720290mov rdx, rbx
    37b720293mov [rsp+48], 1
    37b72029cmov r9, [rsp+352]
    37b7202a4lea rcx, [rip+0xd160cf]
    37b7202abmov [rsp+32], rax
    37b7202b0call slange_
    37b7202b5mov rax, [rsp+416]
    37b7202bdmov r14l, [rbx]
    37b7202c0movss [rax], x0
    37b7202c4jmp 0x37b71ff94
    37b7202c9
    37b7202c9 0f 1f 80 00 00 00 00 .......
    37b7202d0
    37b7202d0loc_37b7202d0:
    37b7202d0pxor x0, x0
    37b7202d4cmp r12l, r13l
    37b7202d7jl 0x37b71fdc0
    37b7202ddmov edx, r13l
    37b7202e0add rdi, 4
    37b7202e4add r15, rsi
    37b7202e7add r13l, 1
    37b7202ebjmp 0x37b71fd5b
    37b7202f0
    37b7202f0loc_37b7202f0:
    37b7202f0mov eax, [rsp+212]
    37b7202f7mov [rsp+40], rbp
    37b7202fclea r13, [rsp+212]
    37b720304lea rdi, [rsp+216]
    37b72030cmov rcx, [rsp+360]
    37b720314mov [rsp+48], r13
    37b720319mov r8, rdi
    37b72031cmov rdx, r13
    37b72031fmov [rsp+56], 1
    37b720328add eax, 1
    37b72032bcdqe
    37b72032dmov [rsp+32], rcx
    37b720332mov rcx, [rsp+352]
    37b72033aimul rax, r12
    37b72033elea rax, [r14+rax+1]
    37b720343lea r9, [rcx+4*rax]
    37b720347lea rcx, [rip+0xd1602d]
    37b72034ecall slacpy_
    37b720353mov eax, [rsp+212]
    37b72035amov [rsp+80], r13
    37b72035fmov r9, r13
    37b720362lea rdx, [rsp+192]
    37b72036amov [rsp+72], rbp
    37b72036fmov rcx, [rsp+360]
    37b720377lea r8, [rip+0xd15ffe]
    37b72037eadd eax, 1
    37b720381mov [rsp+96], rdx
    37b720386lea rdx, [rsp+224]
    37b72038ecdqe
    37b720390mov [rsp+88], rdx
    37b720395mov rdx, rax
    37b720398mov [rsp+64], rcx
    37b72039dmov rcx, [rsp+352]
    37b7203a5imul rdx, r12
    37b7203a9mov [rsp+32], rdi
    37b7203aemov [rsp+40], rcx
    37b7203b3mov [rsp+112], 1
    37b7203bcmov [rsp+104], 1
    37b7203c5add rdx, r14
    37b7203c8add rax, rdx
    37b7203cblea rdx, [rip+0xd15fa1]
    37b7203d2lea rax, [rcx+4*rax]
    37b7203d6mov rcx, rdx
    37b7203d9mov [rsp+56], rax
    37b7203demov rax, [rsp+360]
    37b7203e6mov [rsp+48], rax
    37b7203ebcall strsyl_
    37b7203f0mov [rsp+40], rbp
    37b7203f5mov r9, rbp
    37b7203f8mov r8, rdi
    37b7203fbmov [rsp+32], r13
    37b720400mov rdx, r13
    37b720403lea rcx, [rip+0xd15f71]
    37b72040amov [rsp+48], 1
    37b720413call slange_
    37b720418pxor x1, x1
    37b72041cucomiss x0, x1
    37b72041fjp 0x37b720436
    37b720421jne 0x37b720436
    37b720423mov rax, [rsp+408]
    37b72042bmov [rax], 0x3f800000
    37b720431jmp 0x37b71fde5
    37b720436
    37b720436loc_37b720436:
    37b720436movss x2, [rsp+224]
    37b72043fmov rax, [rsp+408]
    37b720447movaps x1, x2
    37b72044amulss x1, x2
    37b72044edivss x1, x0
    37b720452addss x1, x0
    37b720456sqrtss x0, x0
    37b72045asqrtss x1, x1
    37b72045emulss x1, x0
    37b720462divss x2, x1
    37b720466movss [rax], x2
    37b72046ajmp 0x37b71fde5
    37b72046f
    37b72046floc_37b72046f:
    37b72046fmov eax, [rax]
    37b720471test eax, eax
    37b720473je 0x37b72047c
    37b720475
    37b720475loc_37b720475:
    37b720475neg eax
    37b720477jmp 0x37b71f998
    37b72047c
    37b72047cloc_37b72047c:
    37b72047clea rcx, [rsp+208]
    37b720484call sroundup_lwork_
    37b720489mov rax, [rsp+440]
    37b720491mov esi, [rsp+168]
    37b720498movss [rbp], x0
    37b72049dmov [rax], esi
    37b72049fmov rax, [rsp+456]
    37b7204a7mov eax, [rax]
    37b7204a9test eax, eax
    37b7204abje 0x37b71f9ba
    37b7204b1jmp 0x37b720475
    37b7204b3
    37b7204b3 0f 1f 44 00 00 ..D..
    37b7204b8
    37b7204b8loc_37b7204b8:
    37b7204b8mov [rsp+172], 0
    37b7204c3xor edx, edx
    37b7204c5jmp 0x37b71fb27
    37b7204ca
    37b7204caloc_37b7204ca:
    37b7204camov r9l, 1
    37b7204d0mov r8l, 1
    37b7204d6lea rdx, [rip+0xd15e94]
    37b7204ddmov rcx, r15
    37b7204e0call lsame_
    37b7204e5test eax, eax
    37b7204e7jne 0x37b7204f5
    37b7204e9mov eax, [rsp+208]
    37b7204f0jmp 0x37b71fb6e
    37b7204f5
    37b7204f5loc_37b7204f5:
    37b7204f5mov esi, [rsp+172]
    37b7204fcmov eax, 1
    37b720501mov [rsp+168], 1
    37b72050ctest esi, esi
    37b72050ecmovg eax, esi
    37b720511mov [rsp+208], eax
    37b720518jmp 0x37b71fb6e
    37b71f880
    37b72051d
    37b72051d // align 0x40
    37b720540
    37b720540strsna_:
    37b720540push r15
    37b720542push r14
    37b720544push r13
    37b720546push r12
    37b720548push rbp
    37b720549push rdi
    37b72054apush rsi
    37b72054bpush rbx
    37b72054csub rsp, 392
    37b720553movups [rsp+320], x6
    37b72055bmovups [rsp+336], x7
    37b720563movups [rsp+352], x8
    37b72056cmovups [rsp+368], x9
    37b720575mov rax, [rsp+504]
    37b72057dmov r15, [rsp+576]
    37b720585mov r14l, [rax]
    37b720588mov rax, [rsp+536]
    37b720590mov eax, [rax]
    37b720592mov rbx, rcx
    37b720595mov [rsp+480], r8
    37b72059dmov rsi, rdx
    37b7205a0mov r8l, 1
    37b7205a6lea rdx, [rip+0xd15e03]
    37b7205admov rbp, r9
    37b7205b0mov r9l, 1
    37b7205b6mov [rsp+104], eax
    37b7205bamov rax, [rsp+520]
    37b7205c2mov r13l, [rax]
    37b7205c5mov rax, [rsp+584]
    37b7205cdmov r12l, [rax]
    37b7205d0call lsame_
    37b7205d5mov rcx, rbx
    37b7205d8mov r9l, 1
    37b7205demov r8l, 1
    37b7205e4lea rdx, [rip+0xd15dc6]
    37b7205ebmov edi, eax
    37b7205edcall lsame_
    37b7205f2mov rcx, rbx
    37b7205f5mov r9l, 1
    37b7205fbmov r8l, 1
    37b720601or eax, edi
    37b720603lea rdx, [rip+0xd15da8]
    37b72060amov [rsp+96], eax
    37b72060ecall lsame_
    37b720613mov r9l, 1
    37b720619mov r8l, 1
    37b72061fmov rcx, rsi
    37b720622or eax, edi
    37b720624lea rdx, [rip+0xd15d88]
    37b72062bmov [rsp+108], eax
    37b72062fmov edi, eax
    37b720631call lsame_
    37b720636mov rbx, [rsp+600]
    37b72063emov [rsp+100], eax
    37b720642mov [rbx], 0
    37b720648test edi, edi
    37b72064ajne 0x37b7206c8
    37b72064cmov r9l, [rsp+96]
    37b720651mov edx, -1
    37b720656mov eax, 1
    37b72065btest r9l, r9l
    37b72065ejne 0x37b7206c8
    37b720660
    37b720660loc_37b720660:
    37b720660mov rsi, [rsp+600]
    37b720668mov [rsi], edx
    37b72066a
    37b72066aloc_37b72066a:
    37b72066alea rdx, [rsp+308]
    37b720672mov r8l, 6
    37b720678lea rcx, [rip+0xd15d36]
    37b72067fmov [rsp+308], eax
    37b720686call xerbla_
    37b72068bnop
    37b72068c
    37b72068cloc_37b72068c:
    37b72068cmovups x6, [rsp+320]
    37b720694movups x7, [rsp+336]
    37b72069cmovups x8, [rsp+352]
    37b7206a5movups x9, [rsp+368]
    37b7206aeadd rsp, 392
    37b7206b5pop rbx
    37b7206b6pop rsi
    37b7206b7pop rdi
    37b7206b8pop rbp
    37b7206b9pop r12
    37b7206bbpop r13
    37b7206bdpop r14
    37b7206bfpop r15
    37b7206c1ret
    37b7206c2
    37b7206c2 66 0f 1f 44 00 00 f..D..
    37b7206c8
    37b7206c8loc_37b7206c8:
    37b7206c8mov r9l, 1
    37b7206cemov r8l, 1
    37b7206d4lea rdx, [rip+0xd15cd9]
    37b7206dbmov rcx, rsi
    37b7206decall lsame_
    37b7206e3test eax, eax
    37b7206e5jne 0x37b7206f1
    37b7206e7mov r8l, [rsp+100]
    37b7206ectest r8l, r8l
    37b7206efje 0x37b720760
    37b7206f1
    37b7206f1loc_37b7206f1:
    37b7206f1mov eax, [rbp]
    37b7206f4test eax, eax
    37b7206f6js 0x37b720750
    37b7206f8mov rsi, [rsp+504]
    37b720700mov edx, 1
    37b720705cmovg edx, eax
    37b720708cmp [rsi], edx
    37b72070ajl 0x37b720770
    37b72070cmov rsi, [rsp+520]
    37b720714mov edx, [rsi]
    37b720716test edx, edx
    37b720718jle 0x37b720780
    37b72071amov ecx, [rsp+96]
    37b72071etest ecx, ecx
    37b720720je 0x37b72078f
    37b720722cmp eax, edx
    37b720724jg 0x37b720780
    37b720726mov rsi, [rsp+536]
    37b72072emov edx, [rsi]
    37b720730cmp eax, edx
    37b720732jg 0x37b720738
    37b720734test edx, edx
    37b720736jg 0x37b72079d
    37b720738
    37b720738loc_37b720738:
    37b720738mov edx, -10
    37b72073dmov eax, 10
    37b720742jmp 0x37b720660
    37b720747
    37b720747 66 0f 1f 84 00 00 00 00 00 f........
    37b720750
    37b720750loc_37b720750:
    37b720750mov edx, -4
    37b720755mov eax, 4
    37b72075ajmp 0x37b720660
    37b72075f
    37b72075f 90 .
    37b720760
    37b720760loc_37b720760:
    37b720760mov edx, -2
    37b720765mov eax, 2
    37b72076ajmp 0x37b720660
    37b72076f
    37b72076f 90 .
    37b720770
    37b720770loc_37b720770:
    37b720770mov edx, -6
    37b720775mov eax, 6
    37b72077ajmp 0x37b720660
    37b72077f
    37b72077f 90 .
    37b720780
    37b720780loc_37b720780:
    37b720780mov edx, -8
    37b720785mov eax, 8
    37b72078ajmp 0x37b720660
    37b72078f
    37b72078floc_37b72078f:
    37b72078fmov rsi, [rsp+536]
    37b720797mov edx, [rsi]
    37b720799test edx, edx
    37b72079bjle 0x37b720738
    37b72079d
    37b72079dloc_37b72079d:
    37b72079dmovsxd rsi, r14l
    37b7207a0mov r14l, [rsp+100]
    37b7207a5xor edx, edx
    37b7207a7mov rdi, [rsp+568]
    37b7207aftest rsi, rsi
    37b7207b2cmovs rsi, rdx
    37b7207b6test r14l, r14l
    37b7207b9je 0x37b72083a
    37b7207bbmov [rdi], 0
    37b7207c1test eax, eax
    37b7207c3je 0x37b721676
    37b7207c9mov rdi, [rsp+496]
    37b7207d1movsxd r9, eax
    37b7207d4mov r10, [rsp+480]
    37b7207dclea r8, [4*rsi+4]
    37b7207e4mov edx, 1
    37b7207e9sub r9, 1
    37b7207edpxor x0, x0
    37b7207f1lea rcx, [rdi-4]
    37b7207f5jmp 0x37b72081a
    37b7207f7
    37b7207f7loc_37b7207f7:
    37b7207f7mov r11l, [r10+4*r9]
    37b7207fbtest r11l, r11l
    37b7207feje 0x37b72080b
    37b720800
    37b720800loc_37b720800:
    37b720800mov rdi, [rsp+568]
    37b720808add [rdi], 1
    37b72080b
    37b72080bloc_37b72080b:
    37b72080badd rdx, 1
    37b72080fadd rcx, r8
    37b720812cmp eax, edx
    37b720814jl 0x37b721607
    37b72081a
    37b72081aloc_37b72081a:
    37b72081acmp eax, edx
    37b72081cjle 0x37b7207f7
    37b72081eucomiss x0, [rcx+8]
    37b720822mov r11l, [r10+4*rdx-4]
    37b720827jp 0x37b721616
    37b72082djne 0x37b721616
    37b720833test r11l, r11l
    37b720836je 0x37b72080b
    37b720838jmp 0x37b720800
    37b72083a
    37b72083aloc_37b72083a:
    37b72083amov [rdi], eax
    37b72083cmov edx, eax
    37b72083e
    37b72083eloc_37b72083e:
    37b72083emov rcx, [rsp+560]
    37b720846cmp [rcx], edx
    37b720848jl 0x37b7215f8
    37b72084emov rdi, [rsp+584]
    37b720856mov edx, [rdi]
    37b720858test edx, edx
    37b72085ajle 0x37b721633
    37b720860cmp eax, edx
    37b720862jle 0x37b72086f
    37b720864test [rsp+108], 1
    37b720869jne 0x37b721633
    37b72086f
    37b72086floc_37b72086f:
    37b72086fmov rdi, [rsp+600]
    37b720877mov r14l, [rdi]
    37b72087atest r14l, r14l
    37b72087djne 0x37b72167d
    37b720883test eax, eax
    37b720885je 0x37b72068c
    37b72088bcmp eax, 1
    37b72088ejne 0x37b720900
    37b720890mov eax, [rsp+100]
    37b720894test eax, eax
    37b720896je 0x37b7213a8
    37b72089cmov rax, [rsp+480]
    37b7208a4mov eax, [rax]
    37b7208a6test eax, eax
    37b7208a8je 0x37b72068c
    37b7208aemov eax, [rsp+96]
    37b7208b2test eax, eax
    37b7208b4je 0x37b7208d2
    37b7208b6
    37b7208b6loc_37b7208b6:
    37b7208b6mov rax, [rsp+544]
    37b7208bemov [rax], 0x3f800000
    37b7208c4
    37b7208c4loc_37b7208c4:
    37b7208c4mov r15l, [rsp+108]
    37b7208c9test r15l, r15l
    37b7208ccje 0x37b72068c
    37b7208d2
    37b7208d2loc_37b7208d2:
    37b7208d2mov rax, [rsp+496]
    37b7208damovss x0, [rax]
    37b7208demov rax, [rsp+552]
    37b7208e6andps x0, [rip+0xd15af3]
    37b7208edmovss [rax], x0
    37b7208f1jmp 0x37b72068c
    37b7208f6
    37b7208f6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b720900
    37b720900loc_37b720900:
    37b720900mov edx, 1
    37b720905lea rcx, [rip+0xd15aaf]
    37b72090ccall slamch_
    37b720911mov edx, 1
    37b720916lea rcx, [rip+0xd15a96]
    37b72091dmovaps x6, x0
    37b720920call slamch_
    37b720925mov eax, [rbp]
    37b720928mov [rsp+232], eax
    37b72092ftest eax, eax
    37b720931jle 0x37b72068c
    37b720937movaps x4, x0
    37b72093amovss x5, [rip+0xd15a8e]
    37b720942xor eax, eax
    37b720944movsxd r11, r13l
    37b720947divss x4, x6
    37b72094bmovsxd rbx, [rsp+104]
    37b720950mov [rsp+120], 1
    37b720958test rbx, rbx
    37b72095bcmovns rax, rbx
    37b72095fmovsxd rbx, r12l
    37b720962mov [rsp+152], rax
    37b72096anot rax
    37b72096dmov [rsp+160], rax
    37b720975xor eax, eax
    37b720977test r11, r11
    37b72097acmovs r11, rax
    37b72097emov rax, r11
    37b720981mov [rsp+192], r11
    37b720989not rax
    37b72098cmov [rsp+168], rax
    37b720994xor eax, eax
    37b720996test rbx, rbx
    37b720999cmovs rbx, rax
    37b72099dlea rax, [4*rsi+4]
    37b7209a5mov esi, r14l
    37b7209a8mov [rsp+136], rax
    37b7209b0mov rax, [rsp+496]
    37b7209b8mov r12, rbx
    37b7209bbmov r13, rbx
    37b7209besub rax, 4
    37b7209c2not r12
    37b7209c5mov [rsp+112], rax
    37b7209camov eax, 1
    37b7209cfdivss x5, x4
    37b7209d3movaps x8, x4
    37b7209d7movaps x9, x5
    37b7209db
    37b7209dbloc_37b7209db:
    37b7209dbcmp [rbp], eax
    37b7209dejg 0x37b720bc0
    37b7209e4
    37b7209e4loc_37b7209e4:
    37b7209e4mov r14l, [rsp+100]
    37b7209e9test r14l, r14l
    37b7209ecjne 0x37b720c50
    37b7209f2
    37b7209f2loc_37b7209f2:
    37b7209f2mov r9l, [rsp+96]
    37b7209f7lea edi, [rsi+1]
    37b7209famov [rsp+104], edi
    37b7209fetest r9l, r9l
    37b720a01jne 0x37b720cf0
    37b720a07movsxd rdi, esi
    37b720a0axor r11l, r11l
    37b720a0dlea rbx, [rip+0xd159a8]
    37b720a14mov [rsp+176], rdi
    37b720a1c
    37b720a1cloc_37b720a1c:
    37b720a1cmov [rsp+144], rax
    37b720a24mov r8, rbp
    37b720a27mov rdx, rbp
    37b720a2amov rax, [rsp+584]
    37b720a32mov [rsp+56], 4
    37b720a3bmov r9, [rsp+496]
    37b720a43lea rcx, [rip+0xd15976]
    37b720a4alea rdi, [rsp+264]
    37b720a52mov [rsp+48], rax
    37b720a57mov rax, [rsp+504]
    37b720a5fmov [rsp+40], r15
    37b720a64mov [rsp+32], rax
    37b720a69mov [rsp+128], r11l
    37b720a71call slacpy_
    37b720a76mov eax, [rsp+120]
    37b720a7amov [rsp+72], rdi
    37b720a7fmov r8, r15
    37b720a82mov [rsp+80], 4
    37b720a8bmov r9, [rsp+584]
    37b720a93lea rcx, [rip+0xd1592a]
    37b720a9amov [rsp+268], eax
    37b720aa1mov eax, [rbp]
    37b720aa4mov [rsp+40], rbx
    37b720aa9mov [rsp+272], 1
    37b720ab4lea edx, [rax+1]
    37b720ab7lea rax, [rsp+256]
    37b720abfmovsxd rdx, edx
    37b720ac2mov [rsp+32], rax
    37b720ac7imul rdx, r13
    37b720acbmov [rsp+208], rax
    37b720ad3lea rdx, [r12+rdx+1]
    37b720ad8lea rdx, [r15+4*rdx]
    37b720adcmov [rsp+64], rdx
    37b720ae1lea rdx, [rsp+272]
    37b720ae9mov [rsp+56], rdx
    37b720aeelea rdx, [rsp+268]
    37b720af6mov [rsp+48], rdx
    37b720afbmov rdx, rbp
    37b720afecall strexc_
    37b720b03mov eax, [rsp+264]
    37b720b0amov r11l, [rsp+128]
    37b720b12lea edx, [rax-1]
    37b720b15mov rax, [rsp+144]
    37b720b1dcmp edx, 1
    37b720b20ja 0x37b721060
    37b720b26mov [rsp+296], 0x3f800000
    37b720b31movss x0, [rip+0xd15897]
    37b720b39movaps x1, x9
    37b720b3d
    37b720b3dloc_37b720b3d:
    37b720b3dmaxss x1, x8
    37b720b42mov rdi, [rsp+552]
    37b720b4amov rbx, [rsp+176]
    37b720b52divss x0, x1
    37b720b56movss [rdi+4*rbx], x0
    37b720b5btest r11l, r11l
    37b720b5eje 0x37b720c70
    37b720b64movsxd rdx, [rsp+104]
    37b720b69lea r11l, [rsi+2]
    37b720b6dmovss [rdi+4*rdx], x0
    37b720b72
    37b720b72loc_37b720b72:
    37b720b72add rax, 1
    37b720b76cmp [rsp+232], eax
    37b720b7djl 0x37b72068c
    37b720b83mov rdi, [rsp+136]
    37b720b8badd [rsp+112], rdi
    37b720b90
    37b720b90loc_37b720b90:
    37b720b90add rax, 1
    37b720b94cmp [rsp+232], eax
    37b720b9bjl 0x37b72068c
    37b720ba1mov rbx, [rsp+136]
    37b720ba9mov [rsp+120], eax
    37b720badmov esi, r11l
    37b720bb0add [rsp+112], rbx
    37b720bb5cmp [rbp], eax
    37b720bb8jle 0x37b7209e4
    37b720bbenop
    37b720bc0
    37b720bc0loc_37b720bc0:
    37b720bc0mov rdi, [rsp+112]
    37b720bc5movss x0, [rdi+8]
    37b720bcamov edi, [rsp+100]
    37b720bcetest edi, edi
    37b720bd0je 0x37b720ca0
    37b720bd6pxor x5, x5
    37b720bdaucomiss x0, x5
    37b720bddjp 0x37b720be1
    37b720bdfje 0x37b720c50
    37b720be1
    37b720be1loc_37b720be1:
    37b720be1mov rdi, [rsp+480]
    37b720be9mov r11l, [rdi+4*rax-4]
    37b720beetest r11l, r11l
    37b720bf1jne 0x37b720dd0
    37b720bf7mov rbx, [rsp+480]
    37b720bffmov r11l, [rbx+4*rax]
    37b720c03test r11l, r11l
    37b720c06jne 0x37b720dd0
    37b720c0cmov edi, [rsp+232]
    37b720c13lea rdx, [rax+1]
    37b720c17cmp edi, edx
    37b720c19jl 0x37b72068c
    37b720c1fadd rax, 2
    37b720c23cmp edi, eax
    37b720c25jl 0x37b72068c
    37b720c2bmov rdi, [rsp+112]
    37b720c30mov rbx, [rsp+136]
    37b720c38mov [rsp+120], eax
    37b720c3clea rdi, [rdi+2*rbx]
    37b720c40mov [rsp+112], rdi
    37b720c45cmp [rbp], eax
    37b720c48jg 0x37b720bc0
    37b720c4enop
    37b720c50
    37b720c50loc_37b720c50:
    37b720c50mov rdi, [rsp+480]
    37b720c58mov r10l, [rdi+4*rax-4]
    37b720c5dtest r10l, r10l
    37b720c60jne 0x37b7209f2
    37b720c66mov r11l, esi
    37b720c69jmp 0x37b720b90
    37b720c6e
    37b720c6e 66 90 f.
    37b720c70
    37b720c70loc_37b720c70:
    37b720c70add rax, 1
    37b720c74cmp [rsp+232], eax
    37b720c7bjl 0x37b72068c
    37b720c81mov rdi, [rsp+136]
    37b720c89mov esi, [rsp+104]
    37b720c8dmov [rsp+120], eax
    37b720c91add [rsp+112], rdi
    37b720c96jmp 0x37b7209db
    37b720c9b
    37b720c9b 0f 1f 44 00 00 ..D..
    37b720ca0
    37b720ca0loc_37b720ca0:
    37b720ca0mov r8l, [rsp+96]
    37b720ca5lea ebx, [rsi+1]
    37b720ca8pxor x1, x1
    37b720cacmov [rsp+104], ebx
    37b720cb0test r8l, r8l
    37b720cb3jne 0x37b720ce0
    37b720cb5xor ecx, ecx
    37b720cb7ucomiss x0, x1
    37b720cbamov edx, 1
    37b720cbfsetp cl
    37b720cc2cmove edx, ecx
    37b720cc5mov r11l, edx
    37b720cc8
    37b720cc8loc_37b720cc8:
    37b720cc8movsxd rdi, esi
    37b720ccblea rbx, [rip+0xd156ea]
    37b720cd2mov [rsp+176], rdi
    37b720cdajmp 0x37b720a1c
    37b720cdf
    37b720cdf 90 .
    37b720ce0
    37b720ce0loc_37b720ce0:
    37b720ce0ucomiss x0, x1
    37b720ce3jp 0x37b720de3
    37b720ce9jne 0x37b720de3
    37b720cefnop
    37b720cf0
    37b720cf0loc_37b720cf0:
    37b720cf0movsxd rdx, [rsp+104]
    37b720cf5mov rcx, [rsp+192]
    37b720cfdmov [rsp+128], rax
    37b720d05mov rbx, [rsp+168]
    37b720d0dmov rdi, [rsp+512]
    37b720d15imul rcx, rdx
    37b720d19imul rdx, [rsp+152]
    37b720d22lea rcx, [rbx+rcx+1]
    37b720d27mov rbx, [rsp+528]
    37b720d2flea r14, [rdi+4*rcx]
    37b720d33mov rdi, [rsp+160]
    37b720d3bmov rcx, rbp
    37b720d3emov r9, r14
    37b720d41lea rdx, [rdi+rdx+1]
    37b720d46lea rdi, [rbx+4*rdx]
    37b720d4alea rbx, [rip+0xd1566b]
    37b720d51mov [rsp+32], rbx
    37b720d56mov rdx, rdi
    37b720d59mov r8, rbx
    37b720d5ccall sdot_
    37b720d61mov rdx, rdi
    37b720d64mov r8, rbx
    37b720d67mov rcx, rbp
    37b720d6amovaps x7, x0
    37b720d6dcall snrm2_
    37b720d72mov rcx, rbp
    37b720d75mov r8, rbx
    37b720d78mov rdx, r14
    37b720d7bmovaps x6, x0
    37b720d7ecall snrm2_
    37b720d83movaps x3, x7
    37b720d86mov ecx, [rsp+108]
    37b720d8amovsxd rax, esi
    37b720d8dmovaps x1, x0
    37b720d90andps x3, [rip+0xd15649]
    37b720d97mov rdi, [rsp+544]
    37b720d9fmov [rsp+176], rax
    37b720da7mulss x1, x6
    37b720dabtest ecx, ecx
    37b720dadmovaps x0, x3
    37b720db0divss x0, x1
    37b720db4movss [rdi+4*rax], x0
    37b720db9mov rax, [rsp+128]
    37b720dc1je 0x37b720c70
    37b720dc7xor r11l, r11l
    37b720dcajmp 0x37b720a1c
    37b720dcf
    37b720dcf 90 .
    37b720dd0
    37b720dd0loc_37b720dd0:
    37b720dd0lea ebx, [rsi+1]
    37b720dd3mov [rsp+104], ebx
    37b720dd7mov ebx, [rsp+96]
    37b720ddbtest ebx, ebx
    37b720dddje 0x37b720cc8
    37b720de3
    37b720de3loc_37b720de3:
    37b720de3mov r14, [rsp+192]
    37b720debmovsxd r10, [rsp+104]
    37b720df0mov [rsp+208], rax
    37b720df8mov rax, [rsp+168]
    37b720e00mov rbx, [rsp+512]
    37b720e08mov rdx, r14
    37b720e0bmov rcx, [rsp+528]
    37b720e13mov [rsp+200], r10
    37b720e1bimul rdx, r10
    37b720e1flea rdx, [rax+rdx+1]
    37b720e24lea rdi, [rbx+4*rdx]
    37b720e28mov rdx, [rsp+152]
    37b720e30mov rbx, [rsp+160]
    37b720e38mov r9, rdi
    37b720e3bimul rdx, r10
    37b720e3flea rdx, [rbx+rdx+1]
    37b720e44lea rbx, [rip+0xd15571]
    37b720e4bmov [rsp+32], rbx
    37b720e50lea rcx, [rcx+4*rdx]
    37b720e54mov r8, rbx
    37b720e57mov rdx, rcx
    37b720e5amov [rsp+128], rcx
    37b720e62mov rcx, rbp
    37b720e65call sdot_
    37b720e6alea r11l, [rsi+2]
    37b720e6emov rcx, r14
    37b720e71mov r8, rbx
    37b720e74movsxd rdx, r11l
    37b720e77mov r10, [rsp+168]
    37b720e7fmov rax, [rsp+160]
    37b720e87mov [rsp+32], rbx
    37b720e8cimul rcx, rdx
    37b720e90mov [rsp+184], r11l
    37b720e98imul rdx, [rsp+152]
    37b720ea1movss [rsp+288], x0
    37b720eaalea rcx, [r10+rcx+1]
    37b720eafmov r10, [rsp+512]
    37b720eb7lea rdx, [rax+rdx+1]
    37b720ebcmov rax, [rsp+528]
    37b720ec4lea r10, [r10+4*rcx]
    37b720ec8mov rcx, rbp
    37b720ecblea r14, [rax+4*rdx]
    37b720ecfmov r9, r10
    37b720ed2mov [rsp+144], r10
    37b720edamov rdx, r14
    37b720eddcall sdot_
    37b720ee2mov [rsp+32], rbx
    37b720ee7mov rdx, rdi
    37b720eeamov r9, r14
    37b720eedaddss x0, [rsp+288]
    37b720ef6mov r8, rbx
    37b720ef9mov rcx, rbp
    37b720efcmovss [rsp+288], x0
    37b720f05call sdot_
    37b720f0amov [rsp+32], rbx
    37b720f0fmov r8, rbx
    37b720f12mov rcx, rbp
    37b720f15mov r9, [rsp+128]
    37b720f1dmov rdx, [rsp+144]
    37b720f25movss [rsp+292], x0
    37b720f2emovss [rsp+176], x0
    37b720f37call sdot_
    37b720f3cmov rdx, [rsp+128]
    37b720f44mov r8, rbx
    37b720f47mov rcx, rbp
    37b720f4amovss x1, [rsp+176]
    37b720f53subss x1, x0
    37b720f57movss [rsp+292], x1
    37b720f60call snrm2_
    37b720f65mov r8, rbx
    37b720f68mov rdx, r14
    37b720f6bmov rcx, rbp
    37b720f6emovss [rsp+300], x0
    37b720f77call snrm2_
    37b720f7clea r9, [rsp+300]
    37b720f84lea rdx, [rsp+304]
    37b720f8cmov rcx, r9
    37b720f8fmov [rsp+128], r9
    37b720f97movss [rsp+304], x0
    37b720fa0call slapy2_
    37b720fa5mov rdx, rdi
    37b720fa8mov r8, rbx
    37b720fabmov rcx, rbp
    37b720faemovaps x6, x0
    37b720fb1call snrm2_
    37b720fb6mov rdx, [rsp+144]
    37b720fbemov r8, rbx
    37b720fc1mov rcx, rbp
    37b720fc4movss [rsp+300], x0
    37b720fcdcall snrm2_
    37b720fd2mov rcx, [rsp+128]
    37b720fdalea rdx, [rsp+304]
    37b720fe2movss [rsp+304], x0
    37b720febcall slapy2_
    37b720ff0lea rdx, [rsp+292]
    37b720ff8lea rcx, [rsp+288]
    37b721000movaps x7, x0
    37b721003call slapy2_
    37b721008mulss x6, x7
    37b72100cmov edx, [rsp+108]
    37b721010movsxd rax, esi
    37b721013mov rdi, [rsp+544]
    37b72101bmov r10, [rsp+200]
    37b721023mov [rsp+176], rax
    37b72102btest edx, edx
    37b72102dmov r11l, [rsp+184]
    37b721035divss x0, x6
    37b721039movss [rdi+4*rax], x0
    37b72103emov rax, [rsp+208]
    37b721046movss [rdi+4*r10], x0
    37b72104cje 0x37b720b72
    37b721052mov r11l, [rsp+108]
    37b721057jmp 0x37b720a1c
    37b72105c
    37b72105c 0f 1f 40 00 ..@.
    37b721060
    37b721060loc_37b721060:
    37b721060movss x0, [r15+4]
    37b721066pxor x1, x1
    37b72106aucomiss x0, x1
    37b72106djp 0x37b721430
    37b721073jne 0x37b721430
    37b721079mov edx, [rbp]
    37b72107ccmp edx, 1
    37b72107fjle 0x37b7215ee
    37b721085lea r14, [r13+r13]
    37b72108alea r9l, [rdx+1]
    37b72108emov r8l, 2
    37b721094lea rcx, [r14+r12]
    37b721098lea r10, [4*r13+4]
    37b7210a0lea rcx, [r15+4*rcx+8]
    37b7210a5nop [rax+rax]
    37b7210aanop [rax+rax]
    37b7210b5nop [rax+rax]
    37b7210c0
    37b7210c0loc_37b7210c0:
    37b7210c0movss x0, [rcx]
    37b7210c4subss x0, [r15]
    37b7210c9add r8l, 1
    37b7210cdmovss [rcx], x0
    37b7210d1add rcx, r10
    37b7210d4cmp r8l, r9l
    37b7210d7jne 0x37b7210c0
    37b7210d9
    37b7210d9loc_37b7210d9:
    37b7210d9mov [rsp+144], 1
    37b7210e4lea ecx, [rdx-1]
    37b7210e7
    37b7210e7loc_37b7210e7:
    37b7210e7mov [rsp+284], ecx
    37b7210eelea rcx, [r12+r14+2]
    37b7210f3lea r10, [r14+r13]
    37b7210f7lea rbx, [r15+4*rcx]
    37b7210fbmov [rsp+216], rax
    37b721103mov eax, edx
    37b721105mov [rsp+184], rbx
    37b72110dlea rbx, [rsp+284]
    37b721115mov [rsp+128], rbx
    37b72111dlea rbx, [rsp+276]
    37b721125mov [rsp+120], rbx
    37b72112alea rbx, [rsp+260]
    37b721132mov [rsp+236], esi
    37b721139mov rsi, r15
    37b72113cmov r15, rdi
    37b72113flea rdi, [rsp+308]
    37b721147mov [rsp+260], 0
    37b721152mov [rsp+276], 0
    37b72115dmov [rsp+200], r10
    37b721165mov [rsp+224], r11l
    37b72116djmp 0x37b7211fb
    37b721172
    37b721172 66 0f 1f 44 00 00 f..D..
    37b721178
    37b721178loc_37b721178:
    37b721178cmp [rsp+144], 1
    37b721180mov [rsp+304], ecx
    37b721187mov [rsp+80], r15
    37b72118cmov [rsp+72], r8
    37b721191mov [rsp+64], r9
    37b721196je 0x37b721310
    37b72119csub rax, [rsp+200]
    37b7211a4lea rdx, [rsp+296]
    37b7211acmov r9, [rsp+184]
    37b7211b4lea r8, [rsp+304]
    37b7211bclea rax, [r12+rax+1]
    37b7211c1mov [rsp+56], rdx
    37b7211c6lea rdx, [rsp+280]
    37b7211celea rax, [rsi+4*rax]
    37b7211d2mov [rsp+48], rdx
    37b7211d7lea rdx, [rip+0xd151ee]
    37b7211demov [rsp+40], rax
    37b7211e3mov rax, [rsp+584]
    37b7211ebmov rcx, rdx
    37b7211eemov [rsp+32], rax
    37b7211f3call slaqtr_
    37b7211f8
    37b7211f8loc_37b7211f8:
    37b7211f8mov eax, [rbp]
    37b7211fb
    37b7211fbloc_37b7211fb:
    37b7211fbadd eax, 4
    37b7211femov [rsp+48], rdi
    37b721203mov r9, [rsp+592]
    37b72120bcdqe
    37b72120dmov [rsp+32], rbx
    37b721212imul rax, r13
    37b721216lea rcx, [rax+r12+1]
    37b72121bsub rax, r14
    37b72121elea rax, [r12+rax+1]
    37b721223lea r8, [rsi+4*rcx]
    37b721227mov rcx, [rsp+128]
    37b72122flea rdx, [rsi+4*rax]
    37b721233mov rax, [rsp+120]
    37b721238mov [rsp+40], rax
    37b72123dcall slacn2_
    37b721242mov edx, [rsp+276]
    37b721249test edx, edx
    37b72124bje 0x37b721370
    37b721251mov eax, [rbp]
    37b721254lea ecx, [rax-1]
    37b721257add eax, 6
    37b72125acdqe
    37b72125cimul rax, r13
    37b721260lea r8, [r12+rax+1]
    37b721265sub rax, r14
    37b721268lea r9, [r12+rax+1]
    37b72126dlea r8, [rsi+4*r8]
    37b721271lea r9, [rsi+4*r9]
    37b721275cmp edx, 1
    37b721278jne 0x37b721178
    37b72127ecmp [rsp+144], 1
    37b721286mov [rsp+304], ecx
    37b72128dje 0x37b7213c0
    37b721293sub rax, [rsp+200]
    37b72129blea rdx, [rsp+296]
    37b7212a3mov [rsp+72], r8
    37b7212a8lea rcx, [rip+0xd15119]
    37b7212aflea rax, [r12+rax+1]
    37b7212b4mov [rsp+56], rdx
    37b7212b9lea rdx, [rsp+280]
    37b7212c1lea rax, [rsi+4*rax]
    37b7212c5mov [rsp+64], r9
    37b7212camov r9, [rsp+184]
    37b7212d2lea r8, [rsp+304]
    37b7212damov [rsp+40], rax
    37b7212dfmov rax, [rsp+584]
    37b7212e7mov [rsp+48], rdx
    37b7212eclea rdx, [rip+0xd150d9]
    37b7212f3mov [rsp+80], r15
    37b7212f8mov [rsp+32], rax
    37b7212fdcall slaqtr_
    37b721302jmp 0x37b7211f8
    37b721307
    37b721307 66 0f 1f 84 00 00 00 00 00 f........
    37b721310
    37b721310loc_37b721310:
    37b721310lea rax, [rsp+296]
    37b721318mov r9, [rsp+184]
    37b721320lea r8, [rsp+304]
    37b721328mov [rsp+56], rax
    37b72132dlea rax, [rsp+252]
    37b721335lea rdx, [rip+0xd1508c]
    37b72133cmov [rsp+48], rax
    37b721341mov rax, [rsp+208]
    37b721349lea rcx, [rip+0xd1507c]
    37b721350mov [rsp+40], rax
    37b721355mov rax, [rsp+584]
    37b72135dmov [rsp+32], rax
    37b721362call slaqtr_
    37b721367jmp 0x37b7211f8
    37b72136c
    37b72136c 0f 1f 40 00 ..@.
    37b721370
    37b721370loc_37b721370:
    37b721370mov r15, rsi
    37b721373mov esi, [rsp+236]
    37b72137amov rax, [rsp+216]
    37b721382mov r11l, [rsp+224]
    37b72138amovss x0, [rsp+296]
    37b721393movss x1, [rsp+260]
    37b72139cjmp 0x37b720b3d
    37b7213a1
    37b7213a1 0f 1f 80 00 00 00 00 .......
    37b7213a8
    37b7213a8loc_37b7213a8:
    37b7213a8mov eax, [rsp+96]
    37b7213actest eax, eax
    37b7213aeje 0x37b7208c4
    37b7213b4jmp 0x37b7208b6
    37b7213b9
    37b7213b9 0f 1f 80 00 00 00 00 .......
    37b7213c0
    37b7213c0loc_37b7213c0:
    37b7213c0mov rcx, [rsp+208]
    37b7213c8mov [rsp+72], r8
    37b7213cdlea rax, [r12+r14+2]
    37b7213d2lea rdx, [rsp+296]
    37b7213damov [rsp+56], rdx
    37b7213dflea rdx, [rsp+252]
    37b7213e7lea r8, [rsp+304]
    37b7213efmov [rsp+40], rcx
    37b7213f4mov rcx, [rsp+584]
    37b7213fcmov [rsp+64], r9
    37b721401lea r9, [rsi+4*rax]
    37b721405mov [rsp+48], rdx
    37b72140alea rdx, [rip+0xd14fb7]
    37b721411mov [rsp+32], rcx
    37b721416mov rcx, rdx
    37b721419mov [rsp+80], r15
    37b72141ecall slaqtr_
    37b721423jmp 0x37b7211f8
    37b721428
    37b721428 0f 1f 84 00 00 00 00 00 ........
    37b721430
    37b721430loc_37b721430:
    37b721430lea r14, [r13+r13]
    37b721435andps x0, [rip+0xd14fa4]
    37b72143cmov [rsp+200], rax
    37b721444lea rax, [r15+4]
    37b721448lea rbx, [r14+r12]
    37b72144cmov rdx, rax
    37b72144flea rcx, [rsp+280]
    37b721457mov [rsp+184], r11l
    37b72145fmovss x1, [r15+4*rbx+4]
    37b721466andps x1, [rip+0xd14f73]
    37b72146dsqrtss x0, x0
    37b721471mov [rsp+224], rax
    37b721479sqrtss x1, x1
    37b72147dmulss x0, x1
    37b721481movss [rsp+280], x0
    37b72148acall slapy2_
    37b72148fmov edx, [rbp]
    37b721492lea rax, [rbx+2]
    37b721496movss x3, [rsp+280]
    37b72149fmov [rsp+128], rax
    37b7214a7mov r11l, [rsp+184]
    37b7214aflea eax, [rdx+1]
    37b7214b2movsxd rcx, eax
    37b7214b5mov [rsp+120], eax
    37b7214b9mov rax, [rsp+200]
    37b7214c1imul rcx, r13
    37b7214c5lea rbx, [rcx+r12]
    37b7214c9mov [rsp+216], rbx
    37b7214d1add rbx, 1
    37b7214d5cmp edx, 2
    37b7214d8mov [rsp+144], rbx
    37b7214e0jle 0x37b72164f
    37b7214e6movaps x2, x3
    37b7214e9lea rcx, [r14+r13]
    37b7214edmov eax, [rsp+120]
    37b7214f1movss x1, [r15+4]
    37b7214f7divss x2, x0
    37b7214fbadd rcx, r12
    37b7214felea r10, [4*r13]
    37b721506mov r9l, 3
    37b72150cshl rcx, 2
    37b721510lea rbx, [r10+4]
    37b721514mov [rsp+184], rcx
    37b72151clea r8, [r15+rcx+8]
    37b721521lea rcx, [r15+rcx+12]
    37b721526divss x1, x0
    37b72152axorps x1, [rip+0xd14ebf]
    37b721531nop [rax]
    37b721535nop [rax+rax]
    37b721540
    37b721540loc_37b721540:
    37b721540movss x0, [r8]
    37b721545add r9l, 1
    37b721549mulss x0, x2
    37b72154dmovss [r8], x0
    37b721552movss x0, [rcx]
    37b721556subss x0, [r15]
    37b72155badd r8, r10
    37b72155emovss [rcx], x0
    37b721562add rcx, rbx
    37b721565cmp eax, r9l
    37b721568jne 0x37b721540
    37b72156amov rbx, [rsp+128]
    37b721572addss x3, x3
    37b721576lea r9l, [rdx-3]
    37b72157amov rax, [rsp+200]
    37b721582mov r8, [rsp+224]
    37b72158aadd r8, [rsp+184]
    37b721592mov [r15+4*rbx], 0
    37b72159amov rbx, [rsp+144]
    37b7215a2movss [r15+4*rbx], x3
    37b7215a8mov rbx, [rsp+216]
    37b7215b0add r9, rbx
    37b7215b3lea rcx, [r15+4*rbx+8]
    37b7215b8lea r9, [r15+4*r9+12]
    37b7215bdnop [rax]
    37b7215c0
    37b7215c0loc_37b7215c0:
    37b7215c0movss x0, [r8]
    37b7215c5add rcx, 4
    37b7215c9add r8, r10
    37b7215ccmulss x0, x1
    37b7215d0movss [rcx-4], x0
    37b7215d5cmp rcx, r9
    37b7215d8jne 0x37b7215c0
    37b7215da
    37b7215daloc_37b7215da:
    37b7215damov [rsp+144], 2
    37b7215e5lea ecx, [rdx+rdx-2]
    37b7215e9jmp 0x37b7210e7
    37b7215ee
    37b7215eeloc_37b7215ee:
    37b7215eelea r14, [r13+r13]
    37b7215f3jmp 0x37b7210d9
    37b7215f8
    37b7215f8loc_37b7215f8:
    37b7215f8mov edx, -13
    37b7215fdmov eax, 13
    37b721602jmp 0x37b720660
    37b721607
    37b721607loc_37b721607:
    37b721607mov rdi, [rsp+568]
    37b72160fmov edx, [rdi]
    37b721611jmp 0x37b72083e
    37b721616
    37b721616loc_37b721616:
    37b721616test r11l, r11l
    37b721619jne 0x37b721642
    37b72161bmov ebx, [r10+4*rdx]
    37b72161ftest ebx, ebx
    37b721621jne 0x37b721642
    37b721623
    37b721623loc_37b721623:
    37b721623add rdx, 1
    37b721627cmp eax, edx
    37b721629jl 0x37b721607
    37b72162badd rcx, r8
    37b72162ejmp 0x37b72080b
    37b721633
    37b721633loc_37b721633:
    37b721633mov edx, -16
    37b721638mov eax, 16
    37b72163djmp 0x37b720660
    37b721642
    37b721642loc_37b721642:
    37b721642mov rdi, [rsp+568]
    37b72164aadd [rdi], 2
    37b72164djmp 0x37b721623
    37b72164f
    37b72164floc_37b72164f:
    37b72164fmov rbx, [rsp+128]
    37b721657addss x3, x3
    37b72165bmov [r15+4*rbx], 0
    37b721663mov rbx, [rsp+144]
    37b72166bmovss [r15+4*rbx], x3
    37b721671jmp 0x37b7215da
    37b721676
    37b721676loc_37b721676:
    37b721676xor edx, edx
    37b721678jmp 0x37b72083e
    37b72167d
    37b72167dloc_37b72167d:
    37b72167dmov eax, r14l
    37b721680neg eax
    37b721682jmp 0x37b72066a
    37b720540