File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37b7216c0
    37b7216c0strsyl_:
    37b7216c0push r15
    37b7216c2push r14
    37b7216c4push r13
    37b7216c6push r12
    37b7216c8push rbp
    37b7216c9push rdi
    37b7216capush rsi
    37b7216cbpush rbx
    37b7216ccsub rsp, 568
    37b7216d3movups [rsp+416], x6
    37b7216dbmovups [rsp+432], x7
    37b7216e3movups [rsp+448], x8
    37b7216ecmovups [rsp+464], x9
    37b7216f5movups [rsp+480], x10
    37b7216femovups [rsp+496], x11
    37b721707movups [rsp+512], x12
    37b721710movups [rsp+528], x13
    37b721719movups [rsp+544], x14
    37b721722mov rax, [rsp+688]
    37b72172amov r14l, [rax]
    37b72172dmov rax, [rsp+704]
    37b721735mov r12l, [rax]
    37b721738mov rax, [rsp+720]
    37b721740mov r13, rdx
    37b721743lea rdx, [rip+0xd14cb6]
    37b72174amov [rsp+656], r8
    37b721752mov r8l, 1
    37b721758mov rbx, rcx
    37b72175bmov [rsp+664], r9
    37b721763mov r9l, 1
    37b721769mov ebp, [rax]
    37b72176bcall lsame_
    37b721770mov r9l, 1
    37b721776mov r8l, 1
    37b72177cmov rcx, r13
    37b72177flea rdx, [rip+0xd14c7a]
    37b721786mov esi, eax
    37b721788call lsame_
    37b72178dmov edi, eax
    37b72178fmov rax, [rsp+736]
    37b721797mov [rax], 0
    37b72179dtest esi, esi
    37b72179fje 0x37b7218e8
    37b7217a5
    37b7217a5loc_37b7217a5:
    37b7217a5test edi, edi
    37b7217a7je 0x37b721940
    37b7217ad
    37b7217adloc_37b7217ad:
    37b7217admov rax, [rsp+656]
    37b7217b5mov eax, [rax]
    37b7217b7mov [rsp+152], eax
    37b7217beadd eax, 1
    37b7217c1and eax, -3
    37b7217c4je 0x37b721868
    37b7217camov edx, -3
    37b7217cfmov eax, 3
    37b7217d4
    37b7217d4loc_37b7217d4:
    37b7217d4mov rsi, [rsp+736]
    37b7217dcmov [rsi], edx
    37b7217de
    37b7217deloc_37b7217de:
    37b7217delea rdx, [rsp+400]
    37b7217e6mov r8l, 6
    37b7217eclea rcx, [rip+0xd14c10]
    37b7217f3mov [rsp+400], eax
    37b7217facall xerbla_
    37b7217ffnop
    37b721800
    37b721800loc_37b721800:
    37b721800movups x6, [rsp+416]
    37b721808movups x7, [rsp+432]
    37b721810movups x8, [rsp+448]
    37b721819movups x9, [rsp+464]
    37b721822movups x10, [rsp+480]
    37b72182bmovups x11, [rsp+496]
    37b721834movups x12, [rsp+512]
    37b72183dmovups x13, [rsp+528]
    37b721846movups x14, [rsp+544]
    37b72184fadd rsp, 568
    37b721856pop rbx
    37b721857pop rsi
    37b721858pop rdi
    37b721859pop rbp
    37b72185apop r12
    37b72185cpop r13
    37b72185epop r14
    37b721860pop r15
    37b721862ret
    37b721863
    37b721863 0f 1f 44 00 00 ..D..
    37b721868
    37b721868loc_37b721868:
    37b721868mov rax, [rsp+664]
    37b721870mov edx, [rax]
    37b721872test edx, edx
    37b721874js 0x37b7219b0
    37b72187amov rax, [rsp+672]
    37b721882mov ecx, [rax]
    37b721884test ecx, ecx
    37b721886js 0x37b721998
    37b72188cmov rbx, [rsp+688]
    37b721894test edx, edx
    37b721896mov eax, 1
    37b72189bcmovg eax, edx
    37b72189ecmp [rbx], eax
    37b7218a0jl 0x37b7219c0
    37b7218a6mov rbx, [rsp+704]
    37b7218aetest ecx, ecx
    37b7218b0mov r8l, 1
    37b7218b6cmovg r8l, ecx
    37b7218bacmp [rbx], r8l
    37b7218bdjl 0x37b7219d0
    37b7218c3mov rbx, [rsp+720]
    37b7218cbcmp [rbx], eax
    37b7218cdjge 0x37b7219e0
    37b7218d3mov edx, -11
    37b7218d8mov eax, 11
    37b7218ddjmp 0x37b7217d4
    37b7218e2
    37b7218e2 66 0f 1f 44 00 00 f..D..
    37b7218e8
    37b7218e8loc_37b7218e8:
    37b7218e8mov r9l, 1
    37b7218eemov r8l, 1
    37b7218f4lea rdx, [rip+0xd14b06]
    37b7218fbmov rcx, rbx
    37b7218fecall lsame_
    37b721903test eax, eax
    37b721905jne 0x37b7217a5
    37b72190bmov r9l, 1
    37b721911mov r8l, 1
    37b721917lea rdx, [rip+0xd14ae4]
    37b72191emov rcx, rbx
    37b721921call lsame_
    37b721926test eax, eax
    37b721928jne 0x37b7217a5
    37b72192emov edx, -1
    37b721933mov eax, 1
    37b721938jmp 0x37b7217d4
    37b72193d
    37b72193d 0f 1f 00 ...
    37b721940
    37b721940loc_37b721940:
    37b721940mov r9l, 1
    37b721946mov r8l, 1
    37b72194clea rdx, [rip+0xd14aae]
    37b721953mov rcx, r13
    37b721956call lsame_
    37b72195btest eax, eax
    37b72195djne 0x37b7217ad
    37b721963mov r9l, 1
    37b721969mov r8l, 1
    37b72196flea rdx, [rip+0xd14a8c]
    37b721976mov rcx, r13
    37b721979call lsame_
    37b72197etest eax, eax
    37b721980jne 0x37b7217ad
    37b721986mov edx, -2
    37b72198bmov eax, 2
    37b721990jmp 0x37b7217d4
    37b721995
    37b721995 0f 1f 00 ...
    37b721998
    37b721998loc_37b721998:
    37b721998mov edx, -5
    37b72199dmov eax, 5
    37b7219a2jmp 0x37b7217d4
    37b7219a7
    37b7219a7 66 0f 1f 84 00 00 00 00 00 f........
    37b7219b0
    37b7219b0loc_37b7219b0:
    37b7219b0mov edx, -4
    37b7219b5mov eax, 4
    37b7219bajmp 0x37b7217d4
    37b7219bf
    37b7219bf 90 .
    37b7219c0
    37b7219c0loc_37b7219c0:
    37b7219c0mov edx, -7
    37b7219c5mov eax, 7
    37b7219cajmp 0x37b7217d4
    37b7219cf
    37b7219cf 90 .
    37b7219d0
    37b7219d0loc_37b7219d0:
    37b7219d0mov edx, -9
    37b7219d5mov eax, 9
    37b7219dajmp 0x37b7217d4
    37b7219df
    37b7219df 90 .
    37b7219e0
    37b7219e0loc_37b7219e0:
    37b7219e0mov rax, [rsp+736]
    37b7219e8mov eax, [rax]
    37b7219eatest eax, eax
    37b7219ecjne 0x37b726869
    37b7219f2movss x8, [rip+0xd14a29]
    37b7219fbmov rax, [rsp+728]
    37b721a03movss [rax], x8
    37b721a08test edx, edx
    37b721a0aje 0x37b721800
    37b721a10test ecx, ecx
    37b721a12je 0x37b721800
    37b721a18movsxd rbx, r14l
    37b721a1bxor eax, eax
    37b721a1dmovsxd rcx, r12l
    37b721a20mov edx, 1
    37b721a25test rbx, rbx
    37b721a28pxor x7, x7
    37b721a2ccmovns rax, rbx
    37b721a30movsxd rbx, ebp
    37b721a33mov [rsp+152], rax
    37b721a3bmov r15, rax
    37b721a3exor eax, eax
    37b721a40test rcx, rcx
    37b721a43cmovns rax, rcx
    37b721a47not r15
    37b721a4alea rcx, [rip+0xd149b8]
    37b721a51mov [rsp+168], r15
    37b721a59mov [rsp+240], rax
    37b721a61mov r14, rax
    37b721a64not rax
    37b721a67mov [rsp+232], rax
    37b721a6fxor eax, eax
    37b721a71test rbx, rbx
    37b721a74cmovns rax, rbx
    37b721a78mov [rsp+160], rax
    37b721a80not rax
    37b721a83mov [rsp+224], rax
    37b721a8bcall slamch_
    37b721a90mov edx, 1
    37b721a95lea rcx, [rip+0xd1496e]
    37b721a9cmovaps x12, x0
    37b721aa0call slamch_
    37b721aa5movaps x3, x8
    37b721aa9mov rbx, [rsp+672]
    37b721ab1mov rax, [rsp+664]
    37b721ab9mov r8, [rsp+664]
    37b721ac1mov r9, [rsp+680]
    37b721ac9lea rcx, [rip+0xd1493b]
    37b721ad0mov eax, [rax]
    37b721ad2imul eax, [rbx]
    37b721ad5lea rbx, [rsp+360]
    37b721addmov [rsp+48], 1
    37b721ae6mov [rsp+40], rbx
    37b721aebmov rdx, r8
    37b721aeecvtsi2ss x7, eax
    37b721af2mov rax, [rsp+688]
    37b721afamov [rsp+32], rax
    37b721affmulss x7, x0
    37b721b03divss x7, x12
    37b721b08divss x3, x7
    37b721b0cmovaps x14, x3
    37b721b10call slange_
    37b721b15mov rax, [rsp+704]
    37b721b1dmov r8, [rsp+672]
    37b721b25mov [rsp+48], 1
    37b721b2emulss x0, x12
    37b721b33mov [rsp+40], rbx
    37b721b38mov r9, [rsp+696]
    37b721b40lea rcx, [rip+0xd148c4]
    37b721b47mov [rsp+32], rax
    37b721b4cmov rdx, r8
    37b721b4fmovaps x13, x0
    37b721b53call slange_
    37b721b58mov rax, [rsp+656]
    37b721b60mulss x0, x12
    37b721b65maxss x0, x13
    37b721b6amaxss x0, x7
    37b721b6epxor x7, x7
    37b721b72cvtsi2ss x7, [rax]
    37b721b76movss [rsp+372], x0
    37b721b7ftest esi, esi
    37b721b81je 0x37b722bd8
    37b721b87test edi, edi
    37b721b89je 0x37b722bd8
    37b721b8fmov rax, [rsp+672]
    37b721b97mov ecx, [rax]
    37b721b99test ecx, ecx
    37b721b9bjle 0x37b721800
    37b721ba1mov r10, [rsp+696]
    37b721ba9lea rax, [4*r15]
    37b721bb1mov [rsp+176], -1
    37b721bbdmov r13l, 1
    37b721bc3mov [rsp+200], rax
    37b721bcbmov r15l, 1
    37b721bd1lea r12, [4*r14+4]
    37b721bd9lea r8, [4*r14]
    37b721be1mov [rsp+184], r10
    37b721be9mov [rsp+208], r10
    37b721bf1jmp 0x37b721c2d
    37b721bf3
    37b721bf3 66 90 66 66 2e 0f 1f 84 00 00 00 00 00 f.ff.........
    37b721c00
    37b721c00loc_37b721c00:
    37b721c00add r13, 1
    37b721c04mov rdi, [rsp+160]
    37b721c0cadd [rsp+208], r12
    37b721c14add [rsp+176], rdi
    37b721c1cadd [rsp+184], r8
    37b721c24cmp ecx, r13l
    37b721c27jl 0x37b721800
    37b721c2d
    37b721c2dloc_37b721c2d:
    37b721c2dmov [rsp+192], r13l
    37b721c35mov [rsp+220], r13l
    37b721c3dcmp r15l, r13l
    37b721c40jg 0x37b721c00
    37b721c42mov rax, [rsp+672]
    37b721c4amov [rsp+248], r13l
    37b721c52cmp [rax], r13l
    37b721c55je 0x37b721c7b
    37b721c57mov rax, [rsp+208]
    37b721c5fpxor x0, x0
    37b721c63lea r15l, [r13+1]
    37b721c67ucomiss x0, [rax+4]
    37b721c6bjp 0x37b721c6f
    37b721c6dje 0x37b721c7b
    37b721c6f
    37b721c6floc_37b721c6f:
    37b721c6fmov [rsp+192], r15l
    37b721c77lea r15l, [r13+2]
    37b721c7b
    37b721c7bloc_37b721c7b:
    37b721c7bmov rax, [rsp+664]
    37b721c83mov eax, [rax]
    37b721c85mov [rsp+216], eax
    37b721c8ctest eax, eax
    37b721c8ejle 0x37b721c00
    37b721c94movsxd rbx, eax
    37b721c97mov rax, [rsp+176]
    37b721c9fmov rsi, [rsp+712]
    37b721ca7mov [rsp+312], r12
    37b721cafmov rdx, [rsp+160]
    37b721cb7mov r11, [rsp+680]
    37b721cbfmov [rsp+288], r15l
    37b721cc7add rax, rbx
    37b721ccamov [rsp+296], ecx
    37b721cd1lea rbp, [rsi+4*rax]
    37b721cd5movsxd rsi, [rsp+192]
    37b721cddmov rax, [rsp+224]
    37b721ce5mov [rsp+304], r8
    37b721cedmov [rsp+320], r13
    37b721cf5imul rdx, rsi
    37b721cf9mov [rsp+264], rsi
    37b721d01add rax, rbx
    37b721d04mov rsi, [rsp+712]
    37b721d0clea rdi, [rsi+4*rbx-4]
    37b721d11add rax, rdx
    37b721d14lea rdx, [rsi+4*rax]
    37b721d18mov rax, [rsp+152]
    37b721d20lea rsi, [rbx-1]
    37b721d24imul rax, rsi
    37b721d28add rax, [rsp+168]
    37b721d30add rax, rbx
    37b721d33lea r10, [r11+4*rax-4]
    37b721d38mov r11, rbp
    37b721d3bmov r12, r10
    37b721d3emov r10, rdx
    37b721d41jmp 0x37b721ee6
    37b721d46
    37b721d46 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b721d50
    37b721d50loc_37b721d50:
    37b721d50lea ecx, [rbx-1]
    37b721d53mov [rsp+216], ecx
    37b721d5a
    37b721d5aloc_37b721d5a:
    37b721d5amov r15l, [rsp+220]
    37b721d62cmp [rsp+192], r15l
    37b721d6ajne 0x37b722788
    37b721d70mov rcx, [rsp+680]
    37b721d78mov rax, [rsp+176]
    37b721d80add r9, rbx
    37b721d83lea r15, [rip+0xd14682]
    37b721d8amov [rsp+32], r15
    37b721d8fadd rax, rdx
    37b721d92lea rdx, [rcx+4*r9]
    37b721d96mov rcx, [rsp+712]
    37b721d9emov [rsp+380], r8l
    37b721da6mov r8, [rsp+688]
    37b721daemov [rsp+272], r10
    37b721db6lea r9, [rcx+4*rax]
    37b721dbalea rcx, [rsp+380]
    37b721dc2mov [rsp+256], r11
    37b721dcacall sdot_
    37b721dcfmov [rsp+32], r15
    37b721dd4mov r9, [rsp+184]
    37b721ddcmov rdx, rdi
    37b721ddfmov r8, [rsp+720]
    37b721de7lea rcx, [rsp+380]
    37b721defmovaps x6, x0
    37b721df2mov [rsp+380], r14l
    37b721dfacall sdot_
    37b721dffmov rax, [rsp+208]
    37b721e07movss x2, [rsp+372]
    37b721e10movss [rsp+368], x8
    37b721e1amulss x0, x7
    37b721e1emov r11, [rsp+256]
    37b721e26mov r10, [rsp+272]
    37b721e2eaddss x0, x6
    37b721e32movss x6, [rbp]
    37b721e37subss x6, x0
    37b721e3bmovss x0, [rax]
    37b721e3fmov rax, [rsp+152]
    37b721e47mulss x0, x7
    37b721e4baddss x0, [r12+4*rax+4]
    37b721e52movaps x1, x0
    37b721e55andps x1, [rip+0xd145d4]
    37b721e5ccomiss x2, x1
    37b721e5fjb 0x37b721e75
    37b721e61mov rax, [rsp+736]
    37b721e69movaps x1, x2
    37b721e6cmovaps x0, x2
    37b721e6fmov [rax], 1
    37b721e75
    37b721e75loc_37b721e75:
    37b721e75comiss x8, x1
    37b721e79ja 0x37b722ad0
    37b721e7f
    37b721e7floc_37b721e7f:
    37b721e7fdivss x6, x0
    37b721e83
    37b721e83loc_37b721e83:
    37b721e83movss [rbp], x6
    37b721e88lea r13, [rdi-4]
    37b721e8cnop [rax+rax]
    37b721e94nop [rax+rax]
    37b721e9fnop [rax+rax]
    37b721eaanop [rax+rax]
    37b721eb5nop [rax+rax]
    37b721ec0
    37b721ec0loc_37b721ec0:
    37b721ec0mov rbx, rsi
    37b721ec3sub rbp, 4
    37b721ec7sub r11, 4
    37b721ecbsub r10, 4
    37b721ecfmov rdi, r13
    37b721ed2add r12, [rsp+200]
    37b721edatest esi, esi
    37b721edcjle 0x37b722260
    37b721ee2sub rsi, 1
    37b721ee6
    37b721ee6loc_37b721ee6:
    37b721ee6lea r13, [rdi-4]
    37b721eeacmp [rsp+216], ebx
    37b721ef1jl 0x37b721ec0
    37b721ef3mov rax, [rsp+664]
    37b721efbmov [rsp+256], ebx
    37b721f02mov ecx, ebx
    37b721f04mov r9, [rsp+152]
    37b721f0cmov r15l, [rsp+248]
    37b721f14mov edx, [rax]
    37b721f16lea eax, [rbx+1]
    37b721f19lea r14l, [r15-1]
    37b721f1dmov r8l, edx
    37b721f20sub r8l, ebx
    37b721f23cmp edx, eax
    37b721f25cmovg edx, eax
    37b721f28movsxd rdx, edx
    37b721f2bimul r9, rdx
    37b721f2fadd r9, [rsp+168]
    37b721f37cmp ebx, 1
    37b721f3aje 0x37b721d5a
    37b721f40pxor x0, x0
    37b721f44ucomiss x0, [r12+4]
    37b721f4ajp 0x37b721f52
    37b721f4cje 0x37b721d50
    37b721f52
    37b721f52loc_37b721f52:
    37b721f52sub ecx, 2
    37b721f55add r9, rsi
    37b721f58lea r13, [rdi-4]
    37b721f5cmov [rsp+216], ecx
    37b721f63mov rcx, [rsp+680]
    37b721f6blea rcx, [rcx+4*r9]
    37b721f6fmov r9l, [rsp+220]
    37b721f77cmp [rsp+192], r9l
    37b721f7fjne 0x37b722290
    37b721f85mov [rsp+256], eax
    37b721f8clea rax, [rip+0xd14479]
    37b721f93lea r15, [rsp+380]
    37b721f9badd rdx, [rsp+176]
    37b721fa3mov [rsp+272], r11
    37b721fabmov r11, [rsp+712]
    37b721fb3mov [rsp+32], rax
    37b721fb8mov [rsp+380], r8l
    37b721fc0mov r8, [rsp+688]
    37b721fc8lea r9, [r11+4*rdx]
    37b721fccmov rdx, rcx
    37b721fcfmov rcx, r15
    37b721fd2mov [rsp+280], r10
    37b721fdacall sdot_
    37b721fdflea rax, [rip+0xd14426]
    37b721fe6mov rdx, r13
    37b721fe9mov rcx, r15
    37b721fecmov [rsp+32], rax
    37b721ff1mov r9, [rsp+184]
    37b721ff9movaps x13, x0
    37b721ffdmov r8, [rsp+720]
    37b722005mov [rsp+380], r14l
    37b72200dcall sdot_
    37b722012mov rdx, [rsp+664]
    37b72201amovsxd rax, [rsp+256]
    37b722022mulss x0, x7
    37b722026movss x1, [rbp-4]
    37b72202bmov r8, [rsp+688]
    37b722033movsxd rdx, [rdx]
    37b722036mov ecx, edx
    37b722038sub ecx, ebx
    37b72203acmp edx, eax
    37b72203ccmovg rdx, rax
    37b722040mov [rsp+380], ecx
    37b722047addss x0, x13
    37b72204cmov rcx, [rsp+176]
    37b722054lea rax, [rcx+rdx]
    37b722058mov rcx, [rsp+680]
    37b722060imul rdx, [rsp+152]
    37b722069subss x1, x0
    37b72206dadd rdx, [rsp+168]
    37b722075add rdx, rbx
    37b722078lea rbx, [rip+0xd1438d]
    37b72207flea rdx, [rcx+4*rdx]
    37b722083mov [rsp+32], rbx
    37b722088mov rcx, [rsp+712]
    37b722090movss [rsp+384], x1
    37b722099lea r9, [rcx+4*rax]
    37b72209dmov rcx, r15
    37b7220a0call sdot_
    37b7220a5mov [rsp+32], rbx
    37b7220aamov rdx, rdi
    37b7220admov rcx, r15
    37b7220b0mov r9, [rsp+184]
    37b7220b8mov r8, [rsp+720]
    37b7220c0movaps x13, x0
    37b7220c4mov [rsp+380], r14l
    37b7220cclea rdi, [rip+0xd1433d]
    37b7220d3lea rbx, [rsp+368]
    37b7220dbcall sdot_
    37b7220e0movss x1, [rbp]
    37b7220e5mov rax, [rsp+208]
    37b7220edlea r9, [rsp+372]
    37b7220f5mulss x0, x7
    37b7220f9lea r8, [rip+0xd1430c]
    37b722100lea rdx, [rip+0xd14309]
    37b722107movss [rsp+400], x6
    37b722110lea rcx, [rip+0xd142fd]
    37b722117movss [rsp+404], x9
    37b722121movss [rsp+408], x11
    37b72212bmovss [rsp+412], x10
    37b722135addss x0, x13
    37b72213asubss x1, x0
    37b72213emovss x0, [rax]
    37b722142lea rax, [rsp+364]
    37b72214amov [rsp+112], rdi
    37b72214fmov [rsp+136], rax
    37b722157lea rax, [rsp+376]
    37b72215fmov [rsp+128], rax
    37b722167lea rax, [rsp+400]
    37b72216fmulss x0, x7
    37b722173mov [rsp+104], rax
    37b722178lea rax, [rip+0xd14299]
    37b72217fxorps x0, [rip+0xd142ba]
    37b722186mov [rsp+96], rax
    37b72218blea rax, [rsp+384]
    37b722193mov [rsp+80], rdi
    37b722198mov rdi, [rsp+688]
    37b7221a0mov [rsp+72], rax
    37b7221a5lea rax, [rip+0xd14270]
    37b7221acmov [rsp+64], rax
    37b7221b1mov [rsp+56], rax
    37b7221b6mov [rsp+32], rax
    37b7221bbmov [rsp+48], rdi
    37b7221c0mov [rsp+40], r12
    37b7221c5mov [rsp+120], rbx
    37b7221camov [rsp+88], r15
    37b7221cfmovss [rsp+388], x1
    37b7221d8movss [rsp+380], x0
    37b7221e1call slaln2_
    37b7221e6mov eax, [rsp+364]
    37b7221edmovss x6, [rsp+400]
    37b7221f6mov r11, [rsp+272]
    37b7221femov r10, [rsp+280]
    37b722206movss x9, [rsp+404]
    37b722210test eax, eax
    37b722212movss x11, [rsp+408]
    37b72221cmovss x10, [rsp+412]
    37b722226je 0x37b722236
    37b722228mov rax, [rsp+736]
    37b722230mov [rax], 1
    37b722236
    37b722236loc_37b722236:
    37b722236movss x0, [rsp+368]
    37b72223fucomiss x0, x8
    37b722243jp 0x37b723650
    37b722249jne 0x37b723650
    37b72224f
    37b72224floc_37b72224f:
    37b72224fmovss [rbp-4], x6
    37b722254movss [rbp], x9
    37b72225ajmp 0x37b721ec0
    37b72225f
    37b72225f 90 .
    37b722260
    37b722260loc_37b722260:
    37b722260mov r15l, [rsp+288]
    37b722268mov ecx, [rsp+296]
    37b72226fmov r8, [rsp+304]
    37b722277mov r12, [rsp+312]
    37b72227fmov r13, [rsp+320]
    37b722287jmp 0x37b721c00
    37b72228c
    37b72228c 0f 1f 40 00 ..@.
    37b722290
    37b722290loc_37b722290:
    37b722290mov [rsp+256], eax
    37b722297lea rax, [rip+0xd1416e]
    37b72229eadd rdx, [rsp+176]
    37b7222a6mov [rsp+272], r11
    37b7222aemov r11, [rsp+712]
    37b7222b6mov [rsp+32], rax
    37b7222bbmov [rsp+380], r8l
    37b7222c3mov r8, [rsp+688]
    37b7222cblea r9, [r11+4*rdx]
    37b7222cfmov rdx, rcx
    37b7222d2lea rcx, [rsp+380]
    37b7222damov [rsp+328], r10
    37b7222e2call sdot_
    37b7222e7lea rax, [rip+0xd1411e]
    37b7222eemov r9, [rsp+184]
    37b7222f6mov r8, [rsp+720]
    37b7222femov [rsp+32], rax
    37b722303mov rdx, r13
    37b722306lea rcx, [rsp+380]
    37b72230emovaps x13, x0
    37b722312mov [rsp+380], r14l
    37b72231acall sdot_
    37b72231fmov rdx, [rsp+664]
    37b722327movsxd rax, [rsp+256]
    37b72232fmulss x0, x7
    37b722333mov r10, [rsp+224]
    37b72233bmov r11, [rsp+272]
    37b722343movsxd rdx, [rdx]
    37b722346mov [rsp+280], eax
    37b72234dmovss x1, [r11-4]
    37b722353mov [rsp+344], r11
    37b72235bmov ecx, edx
    37b72235dmov r11, [rsp+680]
    37b722365mov r8, [rsp+688]
    37b72236dsub ecx, ebx
    37b72236fmov [rsp+380], ecx
    37b722376mov rcx, [rsp+264]
    37b72237eaddss x0, x13
    37b722383imul rcx, [rsp+160]
    37b72238csubss x1, x0
    37b722390add r10, rcx
    37b722393cmp edx, eax
    37b722395cmovg rdx, rax
    37b722399lea rax, [rip+0xd1406c]
    37b7223a0mov [rsp+256], r10
    37b7223a8mov [rsp+32], rax
    37b7223admovss [rsp+384], x1
    37b7223b6lea rcx, [r10+rdx]
    37b7223baimul rdx, [rsp+152]
    37b7223c3add rdx, [rsp+168]
    37b7223cbadd rdx, rsi
    37b7223celea rdx, [r11+4*rdx]
    37b7223d2mov r11, [rsp+712]
    37b7223dalea r9, [r11+4*rcx]
    37b7223delea rcx, [rsp+380]
    37b7223e6call sdot_
    37b7223ebmov rdx, [rsp+264]
    37b7223f3imul rdx, [rsp+240]
    37b7223fclea rax, [rip+0xd14009]
    37b722403mov rcx, [rsp+232]
    37b72240bmov [rsp+32], rax
    37b722410movaps x12, x0
    37b722414mov r8, [rsp+720]
    37b72241cmov [rsp+380], r14l
    37b722424lea rdx, [rcx+rdx+1]
    37b722429mov rcx, [rsp+696]
    37b722431lea rdx, [rcx+4*rdx]
    37b722435lea rcx, [rsp+380]
    37b72243dmov r9, rdx
    37b722440mov [rsp+272], rdx
    37b722448mov rdx, r13
    37b72244bcall sdot_
    37b722450mov rdx, [rsp+664]
    37b722458movsxd rax, [rsp+280]
    37b722460mulss x0, x7
    37b722464mov r10, [rsp+328]
    37b72246cmov r8, [rsp+688]
    37b722474movsxd rdx, [rdx]
    37b722477mov [rsp+328], eax
    37b72247emovss x1, [r10-4]
    37b722484mov [rsp+336], r10
    37b72248cmov ecx, edx
    37b72248esub ecx, ebx
    37b722490cmp edx, eax
    37b722492cmovg rdx, rax
    37b722496mov [rsp+380], ecx
    37b72249dmov rcx, [rsp+176]
    37b7224a5addss x0, x12
    37b7224aamov rax, [rsp+680]
    37b7224b2add rcx, rdx
    37b7224b5imul rdx, [rsp+152]
    37b7224beadd rdx, [rsp+168]
    37b7224c6add rdx, rbx
    37b7224c9subss x1, x0
    37b7224cdlea rdx, [rax+4*rdx]
    37b7224d1lea rax, [rip+0xd13f34]
    37b7224d8mov [rsp+32], rax
    37b7224ddmov rax, [rsp+712]
    37b7224e5movss [rsp+392], x1
    37b7224eelea r9, [rax+4*rcx]
    37b7224f2lea rcx, [rsp+380]
    37b7224facall sdot_
    37b7224fflea rax, [rip+0xd13f06]
    37b722506mov r9, [rsp+184]
    37b72250emov r8, [rsp+720]
    37b722516mov [rsp+32], rax
    37b72251bmov rdx, rdi
    37b72251elea rcx, [rsp+380]
    37b722526movaps x13, x0
    37b72252amov [rsp+380], r14l
    37b722532call sdot_
    37b722537mov rcx, [rsp+664]
    37b72253fmovsxd rax, [rsp+328]
    37b722547mulss x0, x7
    37b72254bmov r11, [rsp+344]
    37b722553mov r8, [rsp+688]
    37b72255bmovsxd rdx, [rcx]
    37b72255emovss x1, [r11]
    37b722563mov [rsp+280], r11
    37b72256bmov ecx, edx
    37b72256dsub ecx, ebx
    37b72256fcmp edx, eax
    37b722571cmovg rdx, rax
    37b722575mov [rsp+380], ecx
    37b72257caddss x0, x13
    37b722581mov rcx, [rsp+256]
    37b722589lea rax, [rcx+rdx]
    37b72258dmov rcx, [rsp+680]
    37b722595imul rdx, [rsp+152]
    37b72259esubss x1, x0
    37b7225a2add rdx, [rsp+168]
    37b7225aaadd rdx, rbx
    37b7225adlea rbx, [rip+0xd13e58]
    37b7225b4lea rdx, [rcx+4*rdx]
    37b7225b8mov [rsp+32], rbx
    37b7225bdmov rcx, [rsp+712]
    37b7225c5movss [rsp+388], x1
    37b7225celea r9, [rcx+4*rax]
    37b7225d2lea rcx, [rsp+380]
    37b7225dacall sdot_
    37b7225dfmov [rsp+32], rbx
    37b7225e4mov r9, [rsp+272]
    37b7225ecmov rdx, rdi
    37b7225efmov r8, [rsp+720]
    37b7225f7lea rcx, [rsp+380]
    37b7225ffmovaps x12, x0
    37b722603mov [rsp+380], r14l
    37b72260blea rdi, [rip+0xd13dfe]
    37b722612lea rbx, [rsp+368]
    37b72261acall sdot_
    37b72261fmov r10, [rsp+336]
    37b722627mov r9, rdi
    37b72262alea rax, [rsp+364]
    37b722632mulss x0, x7
    37b722636lea rdx, [rip+0xd13dd7]
    37b72263dmov r8, [rsp+656]
    37b722645movss [rsp+400], x6
    37b72264emovss x1, [r10]
    37b722653mov [rsp+120], rax
    37b722658lea rax, [rsp+376]
    37b722660mov rcx, rdx
    37b722663mov [rsp+112], rax
    37b722668lea rax, [rsp+400]
    37b722670mov [rsp+96], rax
    37b722675lea rax, [rsp+384]
    37b72267dmov [rsp+72], rax
    37b722682mov rax, [rsp+704]
    37b72268aaddss x0, x12
    37b72268fmov [rsp+88], rbx
    37b722694mov [rsp+64], rax
    37b722699mov rax, [rsp+208]
    37b7226a1mov [rsp+80], rdi
    37b7226a6mov [rsp+56], rax
    37b7226abmov rax, [rsp+688]
    37b7226b3subss x1, x0
    37b7226b7mov [rsp+40], r12
    37b7226bcmov [rsp+48], rax
    37b7226c1mov [rsp+32], rdi
    37b7226c6mov [rsp+256], r10
    37b7226cemovss [rsp+404], x9
    37b7226d8movss [rsp+408], x11
    37b7226e2movss [rsp+412], x10
    37b7226ecmov [rsp+104], rdi
    37b7226f1movss [rsp+396], x1
    37b7226facall slasy2_
    37b7226ffmov eax, [rsp+364]
    37b722706movss x6, [rsp+400]
    37b72270fmov r10, [rsp+256]
    37b722717mov r11, [rsp+280]
    37b72271fmovss x9, [rsp+404]
    37b722729test eax, eax
    37b72272bmovss x11, [rsp+408]
    37b722735movss x10, [rsp+412]
    37b72273fje 0x37b72274f
    37b722741mov rax, [rsp+736]
    37b722749mov [rax], 1
    37b72274f
    37b72274floc_37b72274f:
    37b72274fmovss x0, [rsp+368]
    37b722758ucomiss x0, x8
    37b72275cjp 0x37b7254e8
    37b722762jne 0x37b7254e8
    37b722768
    37b722768loc_37b722768:
    37b722768movss [r11-4], x6
    37b72276emovss [r10-4], x11
    37b722774movss [r11], x9
    37b722779movss [r10], x10
    37b72277ejmp 0x37b721ec0
    37b722783
    37b722783 0f 1f 44 00 00 ..D..
    37b722788
    37b722788loc_37b722788:
    37b722788mov [rsp+256], eax
    37b72278fmov rax, [rsp+176]
    37b722797lea r15, [rip+0xd13c6e]
    37b72279eadd r9, rbx
    37b7227a1mov [rsp+32], r15
    37b7227a6lea r13, [rsp+380]
    37b7227aelea rcx, [rax+rdx]
    37b7227b2mov rax, [rsp+680]
    37b7227bamov [rsp+380], r8l
    37b7227c2mov r8, [rsp+688]
    37b7227camov [rsp+280], r10
    37b7227d2lea rdx, [rax+4*r9]
    37b7227d6mov rax, [rsp+712]
    37b7227demov [rsp+272], r11
    37b7227e6lea r9, [rax+4*rcx]
    37b7227eamov rcx, r13
    37b7227edcall sdot_
    37b7227f2mov [rsp+32], r15
    37b7227f7mov rdx, rdi
    37b7227famov rcx, r13
    37b7227fdmov r9, [rsp+184]
    37b722805mov r8, [rsp+720]
    37b72280dmovaps x13, x0
    37b722811mov [rsp+380], r14l
    37b722819call sdot_
    37b72281emov rax, [rsp+664]
    37b722826mov r11, [rsp+272]
    37b72282emovaps x1, x0
    37b722831mov r8, [rsp+688]
    37b722839mulss x1, x7
    37b72283dmovsxd rdx, [rax]
    37b722840movsxd rax, [rsp+256]
    37b722848movss x0, [r11]
    37b72284dmov [rsp+32], r15
    37b722852mov ecx, edx
    37b722854sub ecx, ebx
    37b722856cmp edx, eax
    37b722858cmovg rdx, rax
    37b72285cmov rax, [rsp+264]
    37b722864imul rax, [rsp+160]
    37b72286dmov [rsp+380], ecx
    37b722874addss x1, x13
    37b722879add rax, [rsp+224]
    37b722881mov rcx, r13
    37b722884add rax, rdx
    37b722887imul rdx, [rsp+152]
    37b722890add rdx, [rsp+168]
    37b722898add rdx, rbx
    37b72289bmov rbx, [rsp+680]
    37b7228a3subss x0, x1
    37b7228a7lea rdx, [rbx+4*rdx]
    37b7228abmov rbx, [rsp+712]
    37b7228b3mulss x0, x7
    37b7228b7lea r9, [rbx+4*rax]
    37b7228bbmovss [rsp+384], x0
    37b7228c4call sdot_
    37b7228c9mov [rsp+32], r15
    37b7228cemov rdx, rdi
    37b7228d1mov rcx, r13
    37b7228d4mov rax, [rsp+264]
    37b7228dcmov rbx, [rsp+232]
    37b7228e4movaps x12, x0
    37b7228e8mov [rsp+380], r14l
    37b7228f0imul rax, [rsp+240]
    37b7228f9mov r8, [rsp+720]
    37b722901lea rax, [rbx+rax+1]
    37b722906mov rbx, [rsp+696]
    37b72290elea r9, [rbx+4*rax]
    37b722912lea rbx, [rsp+368]
    37b72291acall sdot_
    37b72291fmov r10, [rsp+280]
    37b722927mov r8, r15
    37b72292amov rcx, [rsp+152]
    37b722932movaps x1, x0
    37b722935lea rax, [rsp+364]
    37b72293dlea r9, [rsp+372]
    37b722945movss [rsp+400], x6
    37b72294emulss x1, x7
    37b722952movss x0, [r10]
    37b722957lea rdx, [rip+0xd13ab2]
    37b72295emov [rsp+256], r10
    37b722966movss [rsp+404], x9
    37b722970movss [rsp+408], x11
    37b72297amovss [rsp+412], x10
    37b722984addss x1, x12
    37b722989subss x0, x1
    37b72298dmulss x0, x7
    37b722991movss [rsp+388], x0
    37b72299amovss x0, [r12+4*rcx+4]
    37b7229a1lea rcx, [rip+0xd13a68]
    37b7229a8mov [rsp+136], rax
    37b7229b0lea rax, [rsp+376]
    37b7229b8mov [rsp+128], rax
    37b7229c0lea rax, [rsp+400]
    37b7229c8mulss x0, x7
    37b7229ccmov [rsp+112], rcx
    37b7229d1xorps x0, [rip+0xd13a68]
    37b7229d8mov [rsp+80], rcx
    37b7229ddmov rcx, [rsp+704]
    37b7229e5mov [rsp+104], rax
    37b7229ealea rax, [rip+0xd13a27]
    37b7229f1mov [rsp+96], rax
    37b7229f6lea rax, [rsp+384]
    37b7229femov [rsp+48], rcx
    37b722a03mov rcx, [rsp+208]
    37b722a0bmov [rsp+72], rax
    37b722a10lea rax, [rip+0xd13a05]
    37b722a17mov [rsp+56], rax
    37b722a1cmov [rsp+40], rcx
    37b722a21lea rcx, [rip+0xd139f8]
    37b722a28mov [rsp+32], rax
    37b722a2dmov [rsp+64], rax
    37b722a32mov [rsp+120], rbx
    37b722a37mov [rsp+88], r13
    37b722a3cmovss [rsp+380], x0
    37b722a45call slaln2_
    37b722a4amov eax, [rsp+364]
    37b722a51movss x6, [rsp+400]
    37b722a5amov r10, [rsp+256]
    37b722a62mov r11, [rsp+272]
    37b722a6amovss x9, [rsp+404]
    37b722a74test eax, eax
    37b722a76movss x11, [rsp+408]
    37b722a80movss x10, [rsp+412]
    37b722a8aje 0x37b722a9a
    37b722a8cmov rax, [rsp+736]
    37b722a94mov [rax], 1
    37b722a9a
    37b722a9aloc_37b722a9a:
    37b722a9amovss x0, [rsp+368]
    37b722aa3ucomiss x0, x8
    37b722aa7jp 0x37b724628
    37b722aadjne 0x37b724628
    37b722ab3
    37b722ab3loc_37b722ab3:
    37b722ab3movss [r11], x6
    37b722ab8lea r13, [rdi-4]
    37b722abcmovss [r10], x9
    37b722ac1jmp 0x37b721ec0
    37b722ac6
    37b722ac6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b722ad0
    37b722ad0loc_37b722ad0:
    37b722ad0movaps x2, x6
    37b722ad3andps x2, [rip+0xd13956]
    37b722adacomiss x2, x8
    37b722adejbe 0x37b721e7f
    37b722ae4mulss x1, x14
    37b722ae9comiss x2, x1
    37b722aecjbe 0x37b721e7f
    37b722af2movaps x1, x8
    37b722af6mov rax, [rsp+672]
    37b722afedivss x1, x2
    37b722b02mov eax, [rax]
    37b722b04movss [rsp+368], x1
    37b722b0dmulss x6, x1
    37b722b11divss x6, x0
    37b722b15test eax, eax
    37b722b17jle 0x37b722bc0
    37b722b1dmov rbx, [rsp+160]
    37b722b25mov r15, [rsp+712]
    37b722b2dmov [rsp+272], r11
    37b722b35mov [rsp+256], rbp
    37b722b3dmov rbp, [rsp+664]
    37b722b45mov [rsp+280], rdi
    37b722b4dlea r13, [4*rbx]
    37b722b55mov rdi, r15
    37b722b58mov ebx, eax
    37b722b5amov [rsp+328], rsi
    37b722b62mov r15, r10
    37b722b65mov esi, 1
    37b722b6anop [rax+rax]
    37b722b70
    37b722b70loc_37b722b70:
    37b722b70mov r8, rdi
    37b722b73lea r9, [rip+0xd13892]
    37b722b7amov rcx, rbp
    37b722b7dadd esi, 1
    37b722b80lea rdx, [rsp+368]
    37b722b88add rdi, r13
    37b722b8bcall sscal_
    37b722b90cmp ebx, esi
    37b722b92jge 0x37b722b70
    37b722b94mov rbp, [rsp+256]
    37b722b9cmov r11, [rsp+272]
    37b722ba4mov r10, r15
    37b722ba7mov rdi, [rsp+280]
    37b722bafmov rsi, [rsp+328]
    37b722bb7movss x1, [rsp+368]
    37b722bc0
    37b722bc0loc_37b722bc0:
    37b722bc0mov rax, [rsp+728]
    37b722bc8mulss x1, [rax]
    37b722bccmovss [rax], x1
    37b722bd0jmp 0x37b721e83
    37b722bd5
    37b722bd5 0f 1f 00 ...
    37b722bd8
    37b722bd8loc_37b722bd8:
    37b722bd8cmp esi, 1
    37b722bdbje 0x37b7248d0
    37b722be1test edi, edi
    37b722be3je 0x37b723710
    37b722be9mov rax, [rsp+672]
    37b722bf1mov esi, [rax]
    37b722bf3test esi, esi
    37b722bf5jle 0x37b721800
    37b722bfbmov rax, [rsp+240]
    37b722c03mov rdi, [rsp+160]
    37b722c0bmov r15l, 1
    37b722c11mov r12l, 1
    37b722c17mov rcx, [rsp+696]
    37b722c1fmov rdx, [rsp+712]
    37b722c27mov r8l, esi
    37b722c2alea r14, [4*rax]
    37b722c32lea r13, [4*rax+4]
    37b722c3ashl rdi, 2
    37b722c3emov rax, [rsp+152]
    37b722c46mov [rsp+256], rdi
    37b722c4emov r9, rcx
    37b722c51shl rax, 2
    37b722c55mov [rsp+192], rax
    37b722c5dadd rax, 4
    37b722c61mov [rsp+176], rax
    37b722c69jmp 0x37b722c9b
    37b722c6b
    37b722c6b 66 2e 0f 1f 84 f....
    37b722c70 00 00 00 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 .....ff.........
    37b722c80
    37b722c80loc_37b722c80:
    37b722c80add r15, 1
    37b722c84add r9, r13
    37b722c87add rdx, [rsp+256]
    37b722c8fadd rcx, r14
    37b722c92cmp r8l, r15l
    37b722c95jl 0x37b721800
    37b722c9b
    37b722c9bloc_37b722c9b:
    37b722c9bmov [rsp+168], r15l
    37b722ca3mov [rsp+184], r15l
    37b722cabcmp r12l, r15l
    37b722caejg 0x37b722c80
    37b722cb0mov rax, [rsp+672]
    37b722cb8mov [rsp+220], r15l
    37b722cc0cmp [rax], r15l
    37b722cc3je 0x37b722ce2
    37b722cc5pxor x0, x0
    37b722cc9ucomiss x0, [r9+4]
    37b722ccelea r12l, [r15+1]
    37b722cd2jp 0x37b722cd6
    37b722cd4je 0x37b722ce2
    37b722cd6
    37b722cd6loc_37b722cd6:
    37b722cd6mov [rsp+168], r12l
    37b722cdelea r12l, [r15+2]
    37b722ce2
    37b722ce2loc_37b722ce2:
    37b722ce2mov rax, [rsp+664]
    37b722ceamov eax, [rax]
    37b722cecmov [rsp+216], eax
    37b722cf3test eax, eax
    37b722cf5jle 0x37b722c80
    37b722cf7movsxd rsi, [rsp+168]
    37b722cffmov rax, [rsp+160]
    37b722d07mov [rsp+280], r12l
    37b722d0fmov ebx, 1
    37b722d14mov r10, [rsp+680]
    37b722d1cmov [rsp+304], r13
    37b722d24lea r13, [rdx-4]
    37b722d28imul rax, rsi
    37b722d2cmov [rsp+264], rsi
    37b722d34mov rsi, [rsp+712]
    37b722d3cmov [rsp+200], rcx
    37b722d44mov rdi, r10
    37b722d47mov r12, r10
    37b722d4aadd rax, [rsp+224]
    37b722d52mov rbp, rsi
    37b722d55lea r11, [rsi+4*rax]
    37b722d59mov [rsp+152], 1
    37b722d64mov rsi, rdx
    37b722d67mov [rsp+288], r8l
    37b722d6fmov [rsp+208], rdx
    37b722d77mov [rsp+296], r14
    37b722d7fmov [rsp+248], r9
    37b722d87mov [rsp+312], r15
    37b722d8fjmp 0x37b72310b
    37b722d94
    37b722d94 0f 1f 40 00 ..@.
    37b722d98
    37b722d98loc_37b722d98:
    37b722d98mov ecx, [rsp+220]
    37b722d9fmov eax, ebx
    37b722da1lea r15l, [rbx-1]
    37b722da5lea r14l, [rcx-1]
    37b722da9mov rcx, [rsp+664]
    37b722db1cmp [rcx], ebx
    37b722db3je 0x37b722dd5
    37b722db5pxor x0, x0
    37b722db9ucomiss x0, [r12+4]
    37b722dbfjp 0x37b723230
    37b722dc5jne 0x37b723230
    37b722dcblea eax, [rbx+1]
    37b722dcemov [rsp+152], eax
    37b722dd5
    37b722dd5loc_37b722dd5:
    37b722dd5mov ecx, [rsp+184]
    37b722ddccmp [rsp+168], ecx
    37b722de3je 0x37b723130
    37b722de9lea rcx, [rip+0xd1361c]
    37b722df0lea rax, [rsp+380]
    37b722df8mov rdx, rdi
    37b722dfbmov r9, [rsp+208]
    37b722e03mov [rsp+32], rcx
    37b722e08mov r8, rcx
    37b722e0bmov rcx, rax
    37b722e0emov [rsp+320], r11
    37b722e16mov [rsp+272], rax
    37b722e1emov [rsp+380], r15l
    37b722e26call sdot_
    37b722e2blea rdx, [rip+0xd135da]
    37b722e32mov r9, [rsp+200]
    37b722e3amov r8, [rsp+720]
    37b722e42mov [rsp+32], rdx
    37b722e47mov rdx, rbp
    37b722e4amovaps x12, x0
    37b722e4emov rcx, [rsp+272]
    37b722e56mov [rsp+380], r14l
    37b722e5ecall sdot_
    37b722e63mov rax, [rsp+264]
    37b722e6bimul rax, [rsp+160]
    37b722e74lea rdx, [rip+0xd13591]
    37b722e7bmovaps x1, x0
    37b722e7emovss x0, [r13+4]
    37b722e84mov r10, [rsp+224]
    37b722e8cmov [rsp+380], r15l
    37b722e94mulss x1, x7
    37b722e98mov [rsp+32], rdx
    37b722e9dmov r8, rdx
    37b722ea0mov r15, [rsp+272]
    37b722ea8mov r11, [rsp+712]
    37b722eb0lea rax, [r10+rax+1]
    37b722eb5mov rdx, rdi
    37b722eb8mov rcx, r15
    37b722ebblea r9, [r11+4*rax]
    37b722ebfaddss x1, x12
    37b722ec4subss x0, x1
    37b722ec8mulss x0, x7
    37b722eccmovss [rsp+384], x0
    37b722ed5call sdot_
    37b722edamov rax, [rsp+264]
    37b722ee2imul rax, [rsp+240]
    37b722eeblea rdx, [rip+0xd1351a]
    37b722ef2mov r11, [rsp+232]
    37b722efamov rcx, [rsp+696]
    37b722f02mov [rsp+32], rdx
    37b722f07mov rdx, rbp
    37b722f0amov r8, [rsp+720]
    37b722f12mov [rsp+380], r14l
    37b722f1amovaps x12, x0
    37b722f1elea r14, [rsp+368]
    37b722f26lea rax, [r11+rax+1]
    37b722f2blea r9, [rcx+4*rax]
    37b722f2fmov rcx, r15
    37b722f32call sdot_
    37b722f37mov r11, [rsp+320]
    37b722f3flea rax, [rsp+364]
    37b722f47lea rcx, [rip+0xd134c2]
    37b722f4emovaps x1, x0
    37b722f51lea r9, [rsp+372]
    37b722f59lea r8, [rip+0xd134ac]
    37b722f60movss [rsp+400], x6
    37b722f69mulss x1, x7
    37b722f6dmovss x0, [r11+4]
    37b722f73lea rdx, [rip+0xd13496]
    37b722f7amov [rsp+272], r11
    37b722f82movss [rsp+404], x9
    37b722f8cmovss [rsp+408], x11
    37b722f96movss [rsp+412], x10
    37b722fa0addss x1, x12
    37b722fa5subss x0, x1
    37b722fa9mulss x0, x7
    37b722fadmovss [rsp+388], x0
    37b722fb6movss x0, [r12]
    37b722fbcmov [rsp+136], rax
    37b722fc4lea rax, [rsp+376]
    37b722fccmov [rsp+128], rax
    37b722fd4lea rax, [rsp+400]
    37b722fdcmulss x0, x7
    37b722fe0mov [rsp+112], rcx
    37b722fe5xorps x0, [rip+0xd13454]
    37b722fecmov [rsp+80], rcx
    37b722ff1mov rcx, [rsp+704]
    37b722ff9mov [rsp+104], rax
    37b722ffelea rax, [rip+0xd13413]
    37b723005mov [rsp+96], rax
    37b72300alea rax, [rsp+384]
    37b723012mov [rsp+48], rcx
    37b723017mov rcx, [rsp+248]
    37b72301fmov [rsp+72], rax
    37b723024lea rax, [rip+0xd133f1]
    37b72302bmov [rsp+40], rcx
    37b723030lea rcx, [rip+0xd133e9]
    37b723037mov [rsp+64], rax
    37b72303cmov [rsp+56], rax
    37b723041mov [rsp+32], rax
    37b723046mov [rsp+88], r15
    37b72304bmov [rsp+120], r14
    37b723050movss [rsp+380], x0
    37b723059call slaln2_
    37b72305emov r15l, [rsp+364]
    37b723066movss x6, [rsp+400]
    37b72306fmovss x9, [rsp+404]
    37b723079mov r11, [rsp+272]
    37b723081movss x11, [rsp+408]
    37b72308btest r15l, r15l
    37b72308emovss x10, [rsp+412]
    37b723098je 0x37b7230a8
    37b72309amov rax, [rsp+736]
    37b7230a2mov [rax], 1
    37b7230a8
    37b7230a8loc_37b7230a8:
    37b7230a8movss x0, [rsp+368]
    37b7230b1ucomiss x0, x8
    37b7230b5jp 0x37b725b1f
    37b7230bbjne 0x37b725b1f
    37b7230c1
    37b7230c1loc_37b7230c1:
    37b7230c1mov rax, [rsp+192]
    37b7230c9movss [r13+4], x6
    37b7230cfmovss [r11+4], x9
    37b7230d5lea r10, [rax+rdi]
    37b7230d9lea rax, [rbp+4]
    37b7230ddnop [rax]
    37b7230e0
    37b7230e0loc_37b7230e0:
    37b7230e0add rbx, 1
    37b7230e4add rsi, 4
    37b7230e8add r13, 4
    37b7230ecadd r11, 4
    37b7230f0mov rdi, r10
    37b7230f3mov rbp, rax
    37b7230f6add r12, [rsp+176]
    37b7230fecmp [rsp+216], ebx
    37b723105jl 0x37b723500
    37b72310b
    37b72310bloc_37b72310b:
    37b72310bcmp [rsp+152], ebx
    37b723112jle 0x37b722d98
    37b723118mov rax, [rsp+192]
    37b723120lea r10, [rax+rdi]
    37b723124lea rax, [rbp+4]
    37b723128jmp 0x37b7230e0
    37b72312a
    37b72312a 66 0f 1f 44 00 00 f..D..
    37b723130
    37b723130loc_37b723130:
    37b723130lea rax, [rip+0xd132d5]
    37b723137mov r9, [rsp+208]
    37b72313fmov rdx, rdi
    37b723142lea rcx, [rsp+380]
    37b72314amov [rsp+32], rax
    37b72314fmov r8, rax
    37b723152mov [rsp+272], r11
    37b72315amov [rsp+380], r15l
    37b723162call sdot_
    37b723167lea rax, [rip+0xd1329e]
    37b72316emov r9, [rsp+200]
    37b723176mov r8, [rsp+720]
    37b72317emov [rsp+32], rax
    37b723183mov rdx, rbp
    37b723186lea rcx, [rsp+380]
    37b72318emovaps x6, x0
    37b723191mov [rsp+380], r14l
    37b723199call sdot_
    37b72319emov rax, [rsp+248]
    37b7231a6movss x2, [rsp+372]
    37b7231afmovss [rsp+368], x8
    37b7231b9mulss x0, x7
    37b7231bdmov r11, [rsp+272]
    37b7231c5addss x0, x6
    37b7231c9movss x6, [rsi]
    37b7231cdsubss x6, x0
    37b7231d1movss x0, [rax]
    37b7231d5mulss x0, x7
    37b7231d9addss x0, [r12]
    37b7231dfmovaps x1, x0
    37b7231e2andps x1, [rip+0xd13247]
    37b7231e9comiss x2, x1
    37b7231ecjb 0x37b723202
    37b7231eemov rax, [rsp+736]
    37b7231f6movaps x1, x2
    37b7231f9movaps x0, x2
    37b7231fcmov [rax], 1
    37b723202
    37b723202loc_37b723202:
    37b723202comiss x8, x1
    37b723206ja 0x37b723548
    37b72320c
    37b72320cloc_37b72320c:
    37b72320cdivss x6, x0
    37b723210
    37b723210loc_37b723210:
    37b723210mov rax, [rsp+192]
    37b723218movss [rsi], x6
    37b72321clea r10, [rax+rdi]
    37b723220lea rax, [rbp+4]
    37b723224jmp 0x37b7230e0
    37b723229
    37b723229 0f 1f 80 00 00 00 00 .......
    37b723230
    37b723230loc_37b723230:
    37b723230add eax, 2
    37b723233mov edx, [rsp+184]
    37b72323amov [rsp+152], eax
    37b723241mov rax, [rsp+192]
    37b723249lea r10, [rax+rdi]
    37b72324dlea rax, [rbp+4]
    37b723251cmp [rsp+168], edx
    37b723258jne 0x37b724225
    37b72325elea rcx, [rip+0xd131a7]
    37b723265mov rdx, rdi
    37b723268mov r9, [rsp+208]
    37b723270lea rdi, [rsp+380]
    37b723278mov [rsp+32], rcx
    37b72327dmov r8, rcx
    37b723280mov rcx, rdi
    37b723283mov [rsp+336], r11
    37b72328bmov [rsp+328], rax
    37b723293mov [rsp+272], r10
    37b72329bmov [rsp+380], r15l
    37b7232a3call sdot_
    37b7232a8lea rcx, [rip+0xd1315d]
    37b7232afmov r9, [rsp+200]
    37b7232b7mov r8, [rsp+720]
    37b7232bfmov [rsp+32], rcx
    37b7232c4mov rdx, rbp
    37b7232c7mov rcx, rdi
    37b7232camovaps x13, x0
    37b7232cemov [rsp+380], r14l
    37b7232d6call sdot_
    37b7232dbmovss x1, [rsi]
    37b7232dfmov rcx, rdi
    37b7232e2mov [rsp+380], r15l
    37b7232eamulss x0, x7
    37b7232eelea r15, [rip+0xd13117]
    37b7232f5mov r10, [rsp+272]
    37b7232fdmov r9, [rsp+208]
    37b723305mov [rsp+32], r15
    37b72330amov r8, r15
    37b72330dmov rdx, r10
    37b723310mov [rsp+320], r10
    37b723318addss x0, x13
    37b72331dsubss x1, x0
    37b723321movss [rsp+384], x1
    37b72332acall sdot_
    37b72332fmov rax, [rsp+328]
    37b723337mov rcx, rdi
    37b72333amov [rsp+32], r15
    37b72333fmov r9, [rsp+200]
    37b723347mov r8, [rsp+720]
    37b72334fmov [rsp+380], r14l
    37b723357movaps x13, x0
    37b72335bmov rdx, rax
    37b72335emov [rsp+272], rax
    37b723366lea r14, [rsp+368]
    37b72336ecall sdot_
    37b723373movss x1, [rsi+4]
    37b723378mov r8, r15
    37b72337bmov rax, [rsp+248]
    37b723383mulss x0, x7
    37b723387lea rdx, [rsp+364]
    37b72338flea rcx, [rip+0xd13082]
    37b723396movss [rsp+400], x6
    37b72339flea r9, [rsp+372]
    37b7233a7movss [rsp+404], x9
    37b7233b1movss [rsp+408], x11
    37b7233bbmovss [rsp+412], x10
    37b7233c5addss x0, x13
    37b7233casubss x1, x0
    37b7233cemovss x0, [rax]
    37b7233d2mov [rsp+136], rdx
    37b7233dalea rdx, [rsp+376]
    37b7233e2lea rax, [rip+0xd13027]
    37b7233e9mov [rsp+128], rdx
    37b7233f1lea rdx, [rsp+400]
    37b7233f9mov [rsp+88], rdi
    37b7233femov rdi, [rsp+688]
    37b723406mulss x0, x7
    37b72340amov [rsp+112], rax
    37b72340fxorps x0, [rip+0xd1302a]
    37b723416mov [rsp+104], rdx
    37b72341blea rdx, [rsp+384]
    37b723423mov [rsp+80], rax
    37b723428lea rax, [rip+0xd12fed]
    37b72342fmov [rsp+72], rdx
    37b723434lea rdx, [rip+0xd12fd5]
    37b72343bmov [rsp+64], rax
    37b723440mov [rsp+56], rax
    37b723445mov [rsp+32], rax
    37b72344amov [rsp+48], rdi
    37b72344fmov [rsp+40], r12
    37b723454mov [rsp+96], rcx
    37b723459lea rcx, [rip+0xd12fc0]
    37b723460mov [rsp+120], r14
    37b723465movss [rsp+388], x1
    37b72346emovss [rsp+380], x0
    37b723477call slaln2_
    37b72347cmov eax, [rsp+364]
    37b723483movss x6, [rsp+400]
    37b72348cmov r10, [rsp+320]
    37b723494mov r11, [rsp+336]
    37b72349cmovss x9, [rsp+404]
    37b7234a6test eax, eax
    37b7234a8movss x11, [rsp+408]
    37b7234b2movss x10, [rsp+412]
    37b7234bcmov rax, [rsp+272]
    37b7234c4je 0x37b7234d4
    37b7234c6mov rdi, [rsp+736]
    37b7234cemov [rdi], 1
    37b7234d4
    37b7234d4loc_37b7234d4:
    37b7234d4movss x0, [rsp+368]
    37b7234dducomiss x0, x8
    37b7234e1jp 0x37b7247f8
    37b7234e7jne 0x37b7247f8
    37b7234ed
    37b7234edloc_37b7234ed:
    37b7234edmovss [rsi], x6
    37b7234f1movss [rsi+4], x9
    37b7234f7jmp 0x37b7230e0
    37b7234fc
    37b7234fc 0f 1f 40 00 ..@.
    37b723500
    37b723500loc_37b723500:
    37b723500mov r12l, [rsp+280]
    37b723508mov rcx, [rsp+200]
    37b723510mov r8l, [rsp+288]
    37b723518mov rdx, [rsp+208]
    37b723520mov r14, [rsp+296]
    37b723528mov r13, [rsp+304]
    37b723530mov r9, [rsp+248]
    37b723538mov r15, [rsp+312]
    37b723540jmp 0x37b722c80
    37b723545
    37b723545 0f 1f 00 ...
    37b723548
    37b723548loc_37b723548:
    37b723548movaps x2, x6
    37b72354bandps x2, [rip+0xd12ede]
    37b723552comiss x2, x8
    37b723556jbe 0x37b72320c
    37b72355cmulss x1, x14
    37b723561comiss x2, x1
    37b723564jbe 0x37b72320c
    37b72356amovaps x1, x8
    37b72356emov rax, [rsp+672]
    37b723576divss x1, x2
    37b72357amov eax, [rax]
    37b72357cmovss [rsp+368], x1
    37b723585mulss x6, x1
    37b723589divss x6, x0
    37b72358dtest eax, eax
    37b72358fjle 0x37b723636
    37b723595mov r8, [rsp+712]
    37b72359dmov [rsp+328], r11
    37b7235a5mov [rsp+320], rdi
    37b7235admov r14, [rsp+256]
    37b7235b5mov rdi, [rsp+664]
    37b7235bdmov [rsp+272], r12
    37b7235c5mov r12l, eax
    37b7235c8mov [rsp+336], rsi
    37b7235d0mov rsi, r8
    37b7235d3mov [rsp+344], rbx
    37b7235dbmov ebx, 1
    37b7235e0
    37b7235e0loc_37b7235e0:
    37b7235e0mov r8, rsi
    37b7235e3lea r9, [rip+0xd12e22]
    37b7235eamov rcx, rdi
    37b7235edadd ebx, 1
    37b7235f0lea rdx, [rsp+368]
    37b7235f8add rsi, r14
    37b7235fbcall sscal_
    37b723600cmp r12l, ebx
    37b723603jge 0x37b7235e0
    37b723605mov r12, [rsp+272]
    37b72360dmov rdi, [rsp+320]
    37b723615mov r11, [rsp+328]
    37b72361dmov rsi, [rsp+336]
    37b723625mov rbx, [rsp+344]
    37b72362dmovss x1, [rsp+368]
    37b723636
    37b723636loc_37b723636:
    37b723636mov rax, [rsp+728]
    37b72363emulss x1, [rax]
    37b723642movss [rax], x1
    37b723646jmp 0x37b723210
    37b72364b
    37b72364b 0f 1f 44 00 00 ..D..
    37b723650
    37b723650loc_37b723650:
    37b723650mov rax, [rsp+672]
    37b723658mov eax, [rax]
    37b72365atest eax, eax
    37b72365cjle 0x37b7236fb
    37b723662mov r15, [rsp+712]
    37b72366amov rdi, [rsp+160]
    37b723672mov [rsp+272], r11
    37b72367amov r14, rbx
    37b72367dmov [rsp+280], r12
    37b723685mov r12, [rsp+664]
    37b72368dmov ebx, eax
    37b72368fmov [rsp+256], rbp
    37b723697shl rdi, 2
    37b72369bmov rbp, r15
    37b72369emov r15, r10
    37b7236a1mov [rsp+328], rsi
    37b7236a9mov esi, 1
    37b7236aenop
    37b7236b0
    37b7236b0loc_37b7236b0:
    37b7236b0mov r8, rbp
    37b7236b3lea r9, [rip+0xd12d52]
    37b7236bamov rdx, r14
    37b7236bdmov rcx, r12
    37b7236c0call sscal_
    37b7236c5add esi, 1
    37b7236c8add rbp, rdi
    37b7236cbcmp ebx, esi
    37b7236cdjge 0x37b7236b0
    37b7236cfmov rbp, [rsp+256]
    37b7236d7mov r11, [rsp+272]
    37b7236dfmov r10, r15
    37b7236e2mov r12, [rsp+280]
    37b7236eamov rsi, [rsp+328]
    37b7236f2movss x0, [rsp+368]
    37b7236fb
    37b7236fbloc_37b7236fb:
    37b7236fbmov rax, [rsp+728]
    37b723703mulss x0, [rax]
    37b723707movss [rax], x0
    37b72370bjmp 0x37b72224f
    37b723710
    37b723710loc_37b723710:
    37b723710test esi, esi
    37b723712jne 0x37b7248d0
    37b723718mov rax, [rsp+672]
    37b723720mov r15l, [rax]
    37b723723test r15l, r15l
    37b723726jle 0x37b721800
    37b72372cmov rsi, [rsp+160]
    37b723734movsxd rcx, r15l
    37b723737mov r13l, r15l
    37b72373amov rax, rsi
    37b72373dneg rax
    37b723740shl rax, 2
    37b723744mov [rsp+256], rax
    37b72374cmov rax, rsi
    37b72374fmov rsi, [rsp+712]
    37b723757imul rax, rcx
    37b72375badd rax, [rsp+224]
    37b723763lea r9, [rsi+4*rax+4]
    37b723768mov rax, [rsp+152]
    37b723770shl rax, 2
    37b723774mov [rsp+184], rax
    37b72377cadd rax, 4
    37b723780mov [rsp+168], rax
    37b723788jmp 0x37b7237d5
    37b72378a
    37b72378a 66 2e 0f 1f 84 00 f.....
    37b723790 00 00 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 66 ....ff.........f
    37b7237a0 66 2e 0f 1f 84 00 00 00 00 00 66 66 2e 0f 1f 84 f.........ff....
    37b7237b0 00 00 00 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 .....ff.........
    37b7237c0
    37b7237c0loc_37b7237c0:
    37b7237c0test r14l, r14l
    37b7237c3je 0x37b721800
    37b7237c9
    37b7237c9loc_37b7237c9:
    37b7237c9sub rcx, 1
    37b7237cdadd r9, [rsp+256]
    37b7237d5
    37b7237d5loc_37b7237d5:
    37b7237d5mov [rsp+208], ecx
    37b7237dclea r14l, [rcx-1]
    37b7237e0mov [rsp+192], ecx
    37b7237e7cmp r13l, ecx
    37b7237eajl 0x37b7237c0
    37b7237ecmov rax, [rsp+664]
    37b7237f4mov [rsp+220], ecx
    37b7237fbmov eax, [rax]
    37b7237fdmov [rsp+216], eax
    37b723804cmp ecx, 1
    37b723807je 0x37b725d90
    37b72380dlea r14l, [rcx-1]
    37b723811mov rax, [rsp+232]
    37b723819mov rsi, [rsp+696]
    37b723821pxor x0, x0
    37b723825movsxd rdx, r14l
    37b723828imul rdx, [rsp+240]
    37b723831add rax, rcx
    37b723834add rax, rdx
    37b723837ucomiss x0, [rsi+4*rax]
    37b72383bjp 0x37b723843
    37b72383dje 0x37b725b10
    37b723843
    37b723843loc_37b723843:
    37b723843mov [rsp+200], r14l
    37b72384blea r13l, [rcx-2]
    37b72384f
    37b72384floc_37b72384f:
    37b72384fmov ebx, [rsp+216]
    37b723856test ebx, ebx
    37b723858jle 0x37b7237c9
    37b72385emovsxd rax, [rsp+200]
    37b723866mov [rsp+176], rax
    37b72386e
    37b72386eloc_37b72386e:
    37b72386emov rdi, [rsp+160]
    37b723876mov rbx, [rsp+224]
    37b72387emov [rsp+296], r13l
    37b723886lea r13, [r9-4]
    37b72388amov rsi, [rsp+712]
    37b723892mov [rsp+272], rcx
    37b72389amov rdx, rdi
    37b72389dmov [rsp+280], r9
    37b7238a5imul rdx, rax
    37b7238a9mov [rsp+304], r14l
    37b7238b1mov [rsp+152], 1
    37b7238bclea rdx, [rbx+rdx+1]
    37b7238c1lea rsi, [rsi+4*rdx]
    37b7238c5mov rdx, [rsp+232]
    37b7238cdmov [rsp+248], rsi
    37b7238d5add rdx, rax
    37b7238d8imul rax, [rsp+240]
    37b7238e1add rax, rdx
    37b7238e4mov [rsp+288], rax
    37b7238ecmov rax, [rsp+176]
    37b7238f4imul rax, rdi
    37b7238f8mov rdi, [rsp+712]
    37b723900add rax, rbx
    37b723903mov ebx, 1
    37b723908lea r12, [rdi+4*rax]
    37b72390cmov rdi, [rsp+680]
    37b723914mov rbp, rdi
    37b723917jmp 0x37b723d18
    37b72391c
    37b72391c 0f 1f 40 00 ..@.
    37b723920
    37b723920loc_37b723920:
    37b723920mov rcx, [rsp+664]
    37b723928mov eax, ebx
    37b72392alea r14l, [rbx-1]
    37b72392ecmp [rcx], ebx
    37b723930je 0x37b723950
    37b723932pxor x0, x0
    37b723936ucomiss x0, [rdi+4]
    37b72393ajp 0x37b723e80
    37b723940jne 0x37b723e80
    37b723946lea eax, [rbx+1]
    37b723949mov [rsp+152], eax
    37b723950
    37b723950loc_37b723950:
    37b723950mov ecx, [rsp+192]
    37b723957cmp [rsp+200], ecx
    37b72395eje 0x37b723d40
    37b723964mov rax, [rsp+160]
    37b72396cmov rdx, [rsp+224]
    37b723974lea r9, [rip+0xd12a91]
    37b72397blea r15, [rsp+380]
    37b723983mov r10, [rsp+712]
    37b72398bmov [rsp+32], r9
    37b723990lea r8, [rip+0xd12a75]
    37b723997mov rcx, r15
    37b72399aimul rax, [rsp+176]
    37b7239a3mov [rsp+380], r14l
    37b7239ablea rax, [rdx+rax+1]
    37b7239b0mov rdx, rbp
    37b7239b3lea r9, [r10+4*rax]
    37b7239b7call sdot_
    37b7239bcmov r10l, [rsp+208]
    37b7239c4mov r8, [rsp+720]
    37b7239ccmovaps x13, x0
    37b7239d0lea eax, [r10+1]
    37b7239d4mov r10, [rsp+672]
    37b7239dcmov [rsp+264], eax
    37b7239e3mov edx, [r10]
    37b7239e6mov ecx, edx
    37b7239e8sub ecx, [rsp+220]
    37b7239efcmp eax, edx
    37b7239f1cmovle edx, eax
    37b7239f4mov [rsp+380], ecx
    37b7239fbmov rcx, [rsp+240]
    37b723a03mov rax, [rsp+712]
    37b723a0bmovsxd rdx, edx
    37b723a0eimul rcx, rdx
    37b723a12add rcx, [rsp+232]
    37b723a1aadd rcx, [rsp+176]
    37b723a22imul rdx, [rsp+160]
    37b723a2badd rdx, [rsp+224]
    37b723a33add rdx, rbx
    37b723a36lea rdx, [rax+4*rdx]
    37b723a3amov rax, [rsp+704]
    37b723a42mov [rsp+32], rax
    37b723a47mov rax, [rsp+696]
    37b723a4flea r9, [rax+4*rcx]
    37b723a53mov rcx, r15
    37b723a56call sdot_
    37b723a5bmov [rsp+380], r14l
    37b723a63mov rdx, rbp
    37b723a66mov rcx, r15
    37b723a69movaps x1, x0
    37b723a6cmovss x0, [r12+4]
    37b723a73lea r14, [rip+0xd12992]
    37b723a7amov r9, [rsp+280]
    37b723a82mulss x1, x7
    37b723a86mov [rsp+32], r14
    37b723a8bmov r8, r14
    37b723a8eaddss x1, x13
    37b723a93subss x0, x1
    37b723a97mulss x0, x7
    37b723a9bmovss [rsp+384], x0
    37b723aa4call sdot_
    37b723aa9mov rdx, [rsp+672]
    37b723ab1mov rcx, r15
    37b723ab4mov r14, [rsp+712]
    37b723abcmov r11, [rsp+704]
    37b723ac4mov r8, [rsp+720]
    37b723accmovaps x13, x0
    37b723ad0movsxd rdx, [rdx]
    37b723ad3mov [rsp+32], r11
    37b723ad8mov eax, edx
    37b723adasub eax, [rsp+220]
    37b723ae1mov [rsp+380], eax
    37b723ae8movsxd rax, [rsp+264]
    37b723af0cmp eax, edx
    37b723af2cmovle rdx, rax
    37b723af6mov rax, [rsp+240]
    37b723afeimul rax, rdx
    37b723b02add rax, [rsp+232]
    37b723b0aadd rax, [rsp+272]
    37b723b12imul rdx, [rsp+160]
    37b723b1badd rdx, [rsp+224]
    37b723b23add rdx, rbx
    37b723b26lea rdx, [r14+4*rdx]
    37b723b2amov r14, [rsp+696]
    37b723b32lea r9, [r14+4*rax]
    37b723b36lea r14, [rsp+368]
    37b723b3ecall sdot_
    37b723b43lea rax, [rsp+364]
    37b723b4bmov rcx, [rsp+176]
    37b723b53mov r8, [rsp+704]
    37b723b5bmovaps x1, x0
    37b723b5emovss x0, [r13+4]
    37b723b64lea r11, [rip+0xd128ad]
    37b723b6blea rdx, [rip+0xd1289e]
    37b723b72mulss x1, x7
    37b723b76lea r9, [rsp+372]
    37b723b7emovss [rsp+400], x6
    37b723b87movss [rsp+404], x9
    37b723b91movss [rsp+408], x11
    37b723b9bmovss [rsp+412], x10
    37b723ba5addss x1, x13
    37b723baasubss x0, x1
    37b723baemulss x0, x7
    37b723bb2movss [rsp+388], x0
    37b723bbbmovss x0, [rdi]
    37b723bbfmov [rsp+136], rax
    37b723bc7lea rax, [rsp+376]
    37b723bcfmov [rsp+128], rax
    37b723bd7lea rax, [rsp+400]
    37b723bdfmulss x0, x7
    37b723be3mov [rsp+104], rax
    37b723be8lea rax, [rsp+384]
    37b723bf0xorps x0, [rip+0xd12849]
    37b723bf7mov [rsp+72], rax
    37b723bfcmov rax, [rsp+240]
    37b723c04mov [rsp+96], r11
    37b723c09lea r11, [rip+0xd1280c]
    37b723c10imul rax, rcx
    37b723c14add rax, [rsp+232]
    37b723c1cmov [rsp+48], r8
    37b723c21lea r8, [rip+0xd127e4]
    37b723c28add rax, rcx
    37b723c2bmov rcx, [rsp+696]
    37b723c33mov [rsp+56], r11
    37b723c38mov [rsp+32], r11
    37b723c3dlea rax, [rcx+4*rax]
    37b723c41lea rcx, [rip+0xd127cc]
    37b723c48mov [rsp+120], r14
    37b723c4dmov [rsp+40], rax
    37b723c52mov [rsp+112], rdx
    37b723c57mov [rsp+88], r15
    37b723c5cmov [rsp+80], rdx
    37b723c61mov [rsp+64], r11
    37b723c66movss [rsp+380], x0
    37b723c6fcall slaln2_
    37b723c74mov r9l, [rsp+364]
    37b723c7cmovss x6, [rsp+400]
    37b723c85movss x9, [rsp+404]
    37b723c8fmovss x11, [rsp+408]
    37b723c99movss x10, [rsp+412]
    37b723ca3test r9l, r9l
    37b723ca6je 0x37b723cb6
    37b723ca8mov rax, [rsp+736]
    37b723cb0mov [rax], 1
    37b723cb6
    37b723cb6loc_37b723cb6:
    37b723cb6movss x0, [rsp+368]
    37b723cbfucomiss x0, x8
    37b723cc3jp 0x37b7264b3
    37b723cc9jne 0x37b7264b3
    37b723ccf
    37b723ccfloc_37b723ccf:
    37b723ccfmov rax, [rsp+184]
    37b723cd7movss [r12+4], x6
    37b723cdelea r10, [rbx+1]
    37b723ce2movss [r13+4], x9
    37b723ce8add rax, rbp
    37b723cebnop [rax+rax]
    37b723cf0
    37b723cf0loc_37b723cf0:
    37b723cf0mov rbx, r10
    37b723cf3add rsi, 4
    37b723cf7add r12, 4
    37b723cfbadd r13, 4
    37b723cffmov rbp, rax
    37b723d02add rdi, [rsp+168]
    37b723d0acmp [rsp+216], r10l
    37b723d12jl 0x37b724200
    37b723d18
    37b723d18loc_37b723d18:
    37b723d18cmp [rsp+152], ebx
    37b723d1fjle 0x37b723920
    37b723d25
    37b723d25loc_37b723d25:
    37b723d25mov rax, [rsp+184]
    37b723d2dlea r10, [rbx+1]
    37b723d31add rax, rbp
    37b723d34jmp 0x37b723cf0
    37b723d36
    37b723d36 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b723d40
    37b723d40loc_37b723d40:
    37b723d40lea rax, [rip+0xd126c5]
    37b723d47mov r9, [rsp+248]
    37b723d4fmov rdx, rbp
    37b723d52lea rcx, [rsp+380]
    37b723d5amov [rsp+32], rax
    37b723d5fmov r8, rax
    37b723d62mov [rsp+380], r14l
    37b723d6acall sdot_
    37b723d6fmov rax, [rsp+672]
    37b723d77mov ecx, [rsp+200]
    37b723d7emov r8, [rsp+720]
    37b723d86movaps x6, x0
    37b723d89mov edx, [rax]
    37b723d8bmov eax, edx
    37b723d8dsub eax, ecx
    37b723d8fmov [rsp+380], eax
    37b723d96lea eax, [rcx+1]
    37b723d99mov rcx, [rsp+240]
    37b723da1cmp eax, edx
    37b723da3cmovg eax, edx
    37b723da6mov rdx, [rsp+712]
    37b723daecdqe
    37b723db0imul rcx, rax
    37b723db4add rcx, [rsp+232]
    37b723dbcadd rcx, [rsp+176]
    37b723dc4imul rax, [rsp+160]
    37b723dcdadd rax, [rsp+224]
    37b723dd5add rax, rbx
    37b723dd8lea rdx, [rdx+4*rax]
    37b723ddcmov rax, [rsp+704]
    37b723de4mov [rsp+32], rax
    37b723de9mov rax, [rsp+696]
    37b723df1lea r9, [rax+4*rcx]
    37b723df5lea rcx, [rsp+380]
    37b723dfdcall sdot_
    37b723e02mov rax, [rsp+696]
    37b723e0amov rcx, [rsp+288]
    37b723e12movss [rsp+368], x8
    37b723e1cmovss x2, [rsp+372]
    37b723e25mulss x0, x7
    37b723e29addss x0, x6
    37b723e2dmovss x6, [rsi]
    37b723e31subss x6, x0
    37b723e35movss x0, [rax+4*rcx]
    37b723e3amulss x0, x7
    37b723e3eaddss x0, [rdi]
    37b723e42movaps x1, x0
    37b723e45andps x1, [rip+0xd125e4]
    37b723e4ccomiss x2, x1
    37b723e4fjb 0x37b723e65
    37b723e51mov rax, [rsp+736]
    37b723e59movaps x1, x2
    37b723e5cmovaps x0, x2
    37b723e5fmov [rax], 1
    37b723e65
    37b723e65loc_37b723e65:
    37b723e65comiss x8, x1
    37b723e69ja 0x37b7246f0
    37b723e6f
    37b723e6floc_37b723e6f:
    37b723e6fdivss x6, x0
    37b723e73
    37b723e73loc_37b723e73:
    37b723e73movss [rsi], x6
    37b723e77jmp 0x37b723d25
    37b723e7c
    37b723e7c 0f 1f 40 00 ..@.
    37b723e80
    37b723e80loc_37b723e80:
    37b723e80add eax, 2
    37b723e83mov ecx, [rsp+208]
    37b723e8amov edx, [rsp+192]
    37b723e91lea r10, [rbx+1]
    37b723e95mov [rsp+152], eax
    37b723e9cmov rax, [rsp+184]
    37b723ea4lea r15l, [rcx+1]
    37b723ea8add rax, rbp
    37b723eabcmp [rsp+200], edx
    37b723eb2jne 0x37b7255b0
    37b723eb8lea rcx, [rip+0xd1254d]
    37b723ebfmov rdx, rbp
    37b723ec2mov r9, [rsp+248]
    37b723ecalea rbp, [rsp+380]
    37b723ed2mov [rsp+32], rcx
    37b723ed7mov r8, rcx
    37b723edamov rcx, rbp
    37b723eddmov [rsp+264], r10
    37b723ee5mov [rsp+312], rax
    37b723eedmov [rsp+380], r14l
    37b723ef5call sdot_
    37b723efamov rdx, [rsp+672]
    37b723f02mov r8, [rsp+720]
    37b723f0amovaps x13, x0
    37b723f0emov edx, [rdx]
    37b723f10mov ecx, edx
    37b723f12sub ecx, [rsp+220]
    37b723f19cmp edx, r15l
    37b723f1ccmovg edx, r15l
    37b723f20mov [rsp+380], ecx
    37b723f27mov rcx, [rsp+240]
    37b723f2fmovsxd rdx, edx
    37b723f32imul rcx, rdx
    37b723f36add rcx, [rsp+232]
    37b723f3eadd rcx, [rsp+176]
    37b723f46imul rdx, [rsp+160]
    37b723f4fadd rdx, [rsp+224]
    37b723f57add rdx, rbx
    37b723f5amov rbx, [rsp+712]
    37b723f62lea rdx, [rbx+4*rdx]
    37b723f66mov rbx, [rsp+704]
    37b723f6emov [rsp+32], rbx
    37b723f73mov rbx, [rsp+696]
    37b723f7blea r9, [rbx+4*rcx]
    37b723f7fmov rcx, rbp
    37b723f82call sdot_
    37b723f87movss x1, [rsi]
    37b723f8bmov rcx, rbp
    37b723f8elea rax, [rip+0xd12477]
    37b723f95mulss x0, x7
    37b723f99mov [rsp+32], rax
    37b723f9emov r8, rax
    37b723fa1mov r9, [rsp+248]
    37b723fa9mov rdx, [rsp+312]
    37b723fb1mov [rsp+380], r14l
    37b723fb9addss x0, x13
    37b723fbesubss x1, x0
    37b723fc2movss [rsp+384], x1
    37b723fcbcall sdot_
    37b723fd0mov rdx, [rsp+672]
    37b723fd8mov rcx, [rsp+240]
    37b723fe0mov rax, [rsp+712]
    37b723fe8mov r8, [rsp+720]
    37b723ff0movaps x12, x0
    37b723ff4mov edx, [rdx]
    37b723ff6mov r14l, edx
    37b723ff9sub r14l, [rsp+220]
    37b724001cmp edx, r15l
    37b724004cmovg edx, r15l
    37b724008mov [rsp+380], r14l
    37b724010lea r14, [rsp+368]
    37b724018movsxd rdx, edx
    37b72401bimul rcx, rdx
    37b72401fadd rcx, [rsp+232]
    37b724027add rcx, [rsp+176]
    37b72402fimul rdx, [rsp+160]
    37b724038add rdx, [rsp+224]
    37b724040add rdx, [rsp+264]
    37b724048lea rdx, [rax+4*rdx]
    37b72404cmov rax, [rsp+704]
    37b724054mov [rsp+32], rax
    37b724059mov rax, [rsp+696]
    37b724061lea r9, [rax+4*rcx]
    37b724065mov rcx, rbp
    37b724068call sdot_
    37b72406dmovss x1, [rsi+4]
    37b724072mov rax, [rsp+696]
    37b72407alea rdx, [rsp+364]
    37b724082mulss x0, x7
    37b724086mov rcx, [rsp+288]
    37b72408emov rbx, [rsp+688]
    37b724096lea r9, [rsp+372]
    37b72409emovss [rsp+400], x6
    37b7240a7lea r8, [rip+0xd1235e]
    37b7240aemovss [rsp+404], x9
    37b7240b8movss [rsp+408], x11
    37b7240c2movss [rsp+412], x10
    37b7240ccaddss x0, x12
    37b7240d1subss x1, x0
    37b7240d5movss x0, [rax+4*rcx]
    37b7240dalea rax, [rip+0xd1232f]
    37b7240e1mov [rsp+136], rdx
    37b7240e9lea rdx, [rsp+376]
    37b7240f1mov [rsp+112], rax
    37b7240f6lea rcx, [rip+0xd1231b]
    37b7240fdmov [rsp+128], rdx
    37b724105lea rdx, [rsp+400]
    37b72410dmulss x0, x7
    37b724111mov [rsp+104], rdx
    37b724116lea rdx, [rsp+384]
    37b72411exorps x0, [rip+0xd1231b]
    37b724125mov [rsp+80], rax
    37b72412alea rax, [rip+0xd122eb]
    37b724131mov [rsp+72], rdx
    37b724136lea rdx, [rip+0xd122d3]
    37b72413dmov [rsp+64], rax
    37b724142mov [rsp+56], rax
    37b724147mov [rsp+32], rax
    37b72414cmov [rsp+48], rbx
    37b724151mov [rsp+40], rdi
    37b724156mov [rsp+96], rcx
    37b72415blea rcx, [rip+0xd122be]
    37b724162mov [rsp+120], r14
    37b724167mov [rsp+88], rbp
    37b72416cmovss [rsp+388], x1
    37b724175movss [rsp+380], x0
    37b72417ecall slaln2_
    37b724183mov r11l, [rsp+364]
    37b72418bmovss x6, [rsp+400]
    37b724194mov r10, [rsp+264]
    37b72419cmov rax, [rsp+312]
    37b7241a4movss x9, [rsp+404]
    37b7241aetest r11l, r11l
    37b7241b1movss x11, [rsp+408]
    37b7241bbmovss x10, [rsp+412]
    37b7241c5je 0x37b7241d5
    37b7241c7mov rbx, [rsp+736]
    37b7241cfmov [rbx], 1
    37b7241d5
    37b7241d5loc_37b7241d5:
    37b7241d5movss x0, [rsp+368]
    37b7241deucomiss x0, x8
    37b7241e2jp 0x37b725cca
    37b7241e8jne 0x37b725cca
    37b7241ee
    37b7241eeloc_37b7241ee:
    37b7241eemovss [rsi], x6
    37b7241f2movss [rsi+4], x9
    37b7241f8jmp 0x37b723cf0
    37b7241fd
    37b7241fd 0f 1f 00 ...
    37b724200
    37b724200loc_37b724200:
    37b724200mov rcx, [rsp+272]
    37b724208mov r9, [rsp+280]
    37b724210mov r13l, [rsp+296]
    37b724218mov r14l, [rsp+304]
    37b724220jmp 0x37b7237c0
    37b724225
    37b724225loc_37b724225:
    37b724225lea rcx, [rip+0xd121e0]
    37b72422cmov [rsp+344], rax
    37b724234mov rdx, rdi
    37b724237lea rax, [rsp+380]
    37b72423fmov [rsp+32], rcx
    37b724244mov r9, [rsp+208]
    37b72424cmov r8, rcx
    37b72424fmov rcx, rax
    37b724252mov [rsp+336], r11
    37b72425amov [rsp+328], r10
    37b724262mov [rsp+272], rax
    37b72426amov [rsp+380], r15l
    37b724272call sdot_
    37b724277lea rdx, [rip+0xd1218e]
    37b72427emov r9, [rsp+200]
    37b724286mov r8, [rsp+720]
    37b72428emov [rsp+32], rdx
    37b724293mov rdx, rbp
    37b724296movaps x13, x0
    37b72429amov rcx, [rsp+272]
    37b7242a2mov [rsp+380], r14l
    37b7242aacall sdot_
    37b7242afmov rax, [rsp+264]
    37b7242b7imul rax, [rsp+160]
    37b7242c0mov [rsp+380], r15l
    37b7242c8mulss x0, x7
    37b7242ccmov r10, [rsp+224]
    37b7242d4mov r11, [rsp+712]
    37b7242dcmovss x1, [r13+4]
    37b7242e2mov rcx, [rsp+272]
    37b7242ealea rdx, [rax+r10+1]
    37b7242eflea r11, [r11+4*rdx]
    37b7242f3lea rdx, [rip+0xd12112]
    37b7242famov [rsp+32], rdx
    37b7242ffmov r9, r11
    37b724302mov r8, rdx
    37b724305mov rdx, rdi
    37b724308addss x0, x13
    37b72430dmov [rsp+320], r11
    37b724315subss x1, x0
    37b724319movss [rsp+384], x1
    37b724322call sdot_
    37b724327mov rax, [rsp+264]
    37b72432fimul rax, [rsp+240]
    37b724338mov [rsp+380], r14l
    37b724340mov r8, [rsp+720]
    37b724348movaps x12, x0
    37b72434cmov rdx, rax
    37b72434fmov rax, [rsp+232]
    37b724357lea rdx, [rax+rdx+1]
    37b72435cmov rax, [rsp+696]
    37b724364lea rdi, [rax+4*rdx]
    37b724368lea rdx, [rip+0xd1209d]
    37b72436fmov [rsp+32], rdx
    37b724374mov rdx, rbp
    37b724377mov rbp, [rsp+272]
    37b72437fmov r9, rdi
    37b724382mov rcx, rbp
    37b724385call sdot_
    37b72438amov r11, [rsp+336]
    37b724392lea rdx, [rip+0xd12073]
    37b724399mov r9, [rsp+208]
    37b7243a1mulss x0, x7
    37b7243a5mov r8, rdx
    37b7243a8mov rcx, rbp
    37b7243abmov [rsp+380], r15l
    37b7243b3movss x1, [r11+4]
    37b7243b9mov [rsp+32], rdx
    37b7243bemov rdx, [rsp+328]
    37b7243c6addss x0, x12
    37b7243cbsubss x1, x0
    37b7243cfmovss [rsp+392], x1
    37b7243d8call sdot_
    37b7243ddlea rdx, [rip+0xd12028]
    37b7243e4mov rcx, rbp
    37b7243e7mov rax, [rsp+344]
    37b7243efmov [rsp+32], rdx
    37b7243f4mov r9, [rsp+200]
    37b7243fcmovaps x13, x0
    37b724400mov r8, [rsp+720]
    37b724408mov rdx, rax
    37b72440bmov [rsp+272], rax
    37b724413mov [rsp+380], r14l
    37b72441bcall sdot_
    37b724420movss x1, [r13+8]
    37b724426mov rcx, rbp
    37b724429mov [rsp+380], r15l
    37b724431mulss x0, x7
    37b724435lea r15, [rip+0xd11fd0]
    37b72443cmov r9, [rsp+320]
    37b724444mov rdx, [rsp+328]
    37b72444cmov [rsp+32], r15
    37b724451mov r8, r15
    37b724454addss x0, x13
    37b724459subss x1, x0
    37b72445dmovss [rsp+388], x1
    37b724466call sdot_
    37b72446bmov [rsp+32], r15
    37b724470mov r9, rdi
    37b724473mov rcx, rbp
    37b724476mov rax, [rsp+272]
    37b72447emov r8, [rsp+720]
    37b724486mov [rsp+380], r14l
    37b72448emovaps x12, x0
    37b724492lea r14, [rsp+368]
    37b72449amov rdx, rax
    37b72449dmov [rsp+320], rax
    37b7244a5call sdot_
    37b7244aamov r11, [rsp+336]
    37b7244b2mov rdi, [rsp+704]
    37b7244balea rdx, [rsp+364]
    37b7244c2mulss x0, x7
    37b7244c6lea rax, [rip+0xd11f43]
    37b7244cdmov r8, [rsp+656]
    37b7244d5lea rcx, [rip+0xd11f44]
    37b7244dcmovss x1, [r11+8]
    37b7244e2mov [rsp+64], rdi
    37b7244e7mov r9, rax
    37b7244eamov rdi, [rsp+248]
    37b7244f2mov [rsp+120], rdx
    37b7244f7lea rdx, [rsp+376]
    37b7244ffmov [rsp+112], rdx
    37b724504lea rdx, [rsp+400]
    37b72450cmov [rsp+56], rdi
    37b724511mov rdi, [rsp+688]
    37b724519addss x0, x12
    37b72451emov [rsp+96], rdx
    37b724523lea rdx, [rsp+384]
    37b72452bmov [rsp+80], rax
    37b724530mov [rsp+72], rdx
    37b724535lea rdx, [rip+0xd11ed8]
    37b72453csubss x1, x0
    37b724540mov [rsp+32], rax
    37b724545mov [rsp+88], r14
    37b72454amov [rsp+48], rdi
    37b72454fmov [rsp+40], r12
    37b724554mov [rsp+272], r11
    37b72455cmov [rsp+104], rax
    37b724561movss [rsp+400], x6
    37b72456amovss [rsp+404], x9
    37b724574movss [rsp+408], x11
    37b72457emovss [rsp+412], x10
    37b724588movss [rsp+396], x1
    37b724591call slasy2_
    37b724596mov eax, [rsp+364]
    37b72459dmovss x6, [rsp+400]
    37b7245a6mov r11, [rsp+272]
    37b7245aemov r10, [rsp+328]
    37b7245b6movss x9, [rsp+404]
    37b7245c0test eax, eax
    37b7245c2movss x11, [rsp+408]
    37b7245ccmovss x10, [rsp+412]
    37b7245d6mov rax, [rsp+320]
    37b7245deje 0x37b7245ee
    37b7245e0mov rdi, [rsp+736]
    37b7245e8mov [rdi], 1
    37b7245ee
    37b7245eeloc_37b7245ee:
    37b7245eemovss x0, [rsp+368]
    37b7245f7ucomiss x0, x8
    37b7245fbjp 0x37b725dbc
    37b724601jne 0x37b725dbc
    37b724607
    37b724607loc_37b724607:
    37b724607movss [r13+4], x6
    37b72460dmovss [r11+4], x11
    37b724613movss [r13+8], x9
    37b724619movss [r11+8], x10
    37b72461fjmp 0x37b7230e0
    37b724624
    37b724624 0f 1f 40 00 ..@.
    37b724628
    37b724628loc_37b724628:
    37b724628mov rax, [rsp+672]
    37b724630mov eax, [rax]
    37b724632test eax, eax
    37b724634jle 0x37b7246db
    37b72463amov r15, [rsp+712]
    37b724642mov rcx, [rsp+160]
    37b72464amov [rsp+272], r11
    37b724652mov r14, rbx
    37b724655mov [rsp+256], rbp
    37b72465dmov rbp, [rsp+664]
    37b724665mov ebx, eax
    37b724667mov [rsp+280], rdi
    37b72466flea r13, [4*rcx]
    37b724677mov rdi, r15
    37b72467amov r15, r10
    37b72467dmov [rsp+328], rsi
    37b724685mov esi, 1
    37b72468anop [rax+rax]
    37b724690
    37b724690loc_37b724690:
    37b724690mov r8, rdi
    37b724693lea r9, [rip+0xd11d72]
    37b72469amov rdx, r14
    37b72469dmov rcx, rbp
    37b7246a0call sscal_
    37b7246a5add esi, 1
    37b7246a8add rdi, r13
    37b7246abcmp ebx, esi
    37b7246adjge 0x37b724690
    37b7246afmov rbp, [rsp+256]
    37b7246b7mov r11, [rsp+272]
    37b7246bfmov r10, r15
    37b7246c2mov rdi, [rsp+280]
    37b7246camov rsi, [rsp+328]
    37b7246d2movss x0, [rsp+368]
    37b7246db
    37b7246dbloc_37b7246db:
    37b7246dbmov rax, [rsp+728]
    37b7246e3mulss x0, [rax]
    37b7246e7movss [rax], x0
    37b7246ebjmp 0x37b722ab3
    37b7246f0
    37b7246f0loc_37b7246f0:
    37b7246f0movaps x2, x6
    37b7246f3andps x2, [rip+0xd11d36]
    37b7246facomiss x2, x8
    37b7246fejbe 0x37b723e6f
    37b724704mulss x1, x14
    37b724709comiss x2, x1
    37b72470cjbe 0x37b723e6f
    37b724712movaps x1, x8
    37b724716mov rax, [rsp+672]
    37b72471edivss x1, x2
    37b724722mov edx, [rax]
    37b724724movss [rsp+368], x1
    37b72472dmulss x6, x1
    37b724731divss x6, x0
    37b724735test edx, edx
    37b724737jle 0x37b7247dd
    37b72473dmov rax, [rsp+160]
    37b724745mov r8, [rsp+712]
    37b72474dmov [rsp+312], rdi
    37b724755mov rdi, [rsp+664]
    37b72475dmov [rsp+264], rbp
    37b724765mov ebp, edx
    37b724767mov [rsp+320], rbx
    37b72476flea r14, [4*rax]
    37b724777mov rbx, r8
    37b72477amov [rsp+328], rsi
    37b724782mov esi, 1
    37b724787nop [rax+rax]
    37b724790
    37b724790loc_37b724790:
    37b724790mov r8, rbx
    37b724793lea r9, [rip+0xd11c72]
    37b72479amov rcx, rdi
    37b72479dadd esi, 1
    37b7247a0lea rdx, [rsp+368]
    37b7247a8add rbx, r14
    37b7247abcall sscal_
    37b7247b0cmp ebp, esi
    37b7247b2jge 0x37b724790
    37b7247b4mov rbp, [rsp+264]
    37b7247bcmov rdi, [rsp+312]
    37b7247c4mov rbx, [rsp+320]
    37b7247ccmov rsi, [rsp+328]
    37b7247d4movss x1, [rsp+368]
    37b7247dd
    37b7247ddloc_37b7247dd:
    37b7247ddmov rax, [rsp+728]
    37b7247e5mulss x1, [rax]
    37b7247e9movss [rax], x1
    37b7247edjmp 0x37b723e73
    37b7247f2
    37b7247f2 66 0f 1f 44 00 00 f..D..
    37b7247f8
    37b7247f8loc_37b7247f8:
    37b7247f8mov rdi, [rsp+672]
    37b724800mov r15l, [rdi]
    37b724803test r15l, r15l
    37b724806jle 0x37b7248b1
    37b72480cmov rbp, [rsp+712]
    37b724814mov [rsp+272], r11
    37b72481cmov [rsp+336], r10
    37b724824mov rdi, [rsp+256]
    37b72482cmov [rsp+344], rax
    37b724834mov [rsp+320], rsi
    37b72483cmov rsi, rbp
    37b72483fmov rbp, [rsp+664]
    37b724847mov [rsp+328], rbx
    37b72484fmov ebx, 1
    37b724854nop
    37b724855nop [rax+rax]
    37b724860
    37b724860loc_37b724860:
    37b724860mov r8, rsi
    37b724863lea r9, [rip+0xd11ba2]
    37b72486amov rdx, r14
    37b72486dmov rcx, rbp
    37b724870call sscal_
    37b724875add ebx, 1
    37b724878add rsi, rdi
    37b72487bcmp r15l, ebx
    37b72487ejge 0x37b724860
    37b724880mov r11, [rsp+272]
    37b724888mov rsi, [rsp+320]
    37b724890mov rbx, [rsp+328]
    37b724898mov r10, [rsp+336]
    37b7248a0mov rax, [rsp+344]
    37b7248a8movss x0, [rsp+368]
    37b7248b1
    37b7248b1loc_37b7248b1:
    37b7248b1mov rdi, [rsp+728]
    37b7248b9mulss x0, [rdi]
    37b7248bdmovss [rdi], x0
    37b7248c1jmp 0x37b7234ed
    37b7248c6
    37b7248c6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b7248d0
    37b7248d0loc_37b7248d0:
    37b7248d0cmp edi, 1
    37b7248d3je 0x37b721800
    37b7248d9test esi, esi
    37b7248dbje 0x37b721800
    37b7248e1mov rax, [rsp+672]
    37b7248e9mov r10l, [rax]
    37b7248ectest r10l, r10l
    37b7248efjle 0x37b721800
    37b7248f5mov rax, [rsp+160]
    37b7248fdmovsxd rdx, r10l
    37b724900mov rsi, [rsp+224]
    37b724908mov r14l, r10l
    37b72490bimul rax, rdx
    37b72490flea r9, [rax+rsi]
    37b724913mov rax, [rsp+168]
    37b72491bshl rax, 2
    37b72491fmov [rsp+176], rax
    37b724927jmp 0x37b724955
    37b724929
    37b724929 90 66 66 2e 0f 1f 84 .ff....
    37b724930 00 00 00 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 .....ff.........
    37b724940
    37b724940loc_37b724940:
    37b724940test r15l, r15l
    37b724943je 0x37b721800
    37b724949
    37b724949loc_37b724949:
    37b724949sub rdx, 1
    37b72494dsub r9, [rsp+160]
    37b724955
    37b724955loc_37b724955:
    37b724955mov [rsp+208], edx
    37b72495clea r15l, [rdx-1]
    37b724960mov [rsp+192], edx
    37b724967cmp r14l, edx
    37b72496ajl 0x37b724940
    37b72496cmov rax, [rsp+664]
    37b724974mov [rsp+220], edx
    37b72497bmov eax, [rax]
    37b72497dmov [rsp+216], eax
    37b724984cmp edx, 1
    37b724987je 0x37b726626
    37b72498dlea r15l, [rdx-1]
    37b724991mov rax, [rsp+232]
    37b724999mov rsi, [rsp+696]
    37b7249a1pxor x0, x0
    37b7249a5movsxd rcx, r15l
    37b7249a8imul rcx, [rsp+240]
    37b7249b1add rax, rdx
    37b7249b4add rax, rcx
    37b7249b7ucomiss x0, [rsi+4*rax]
    37b7249bbjp 0x37b7249c3
    37b7249bdje 0x37b7264a4
    37b7249c3
    37b7249c3loc_37b7249c3:
    37b7249c3mov [rsp+200], r15l
    37b7249cblea r14l, [rdx-2]
    37b7249cf
    37b7249cfloc_37b7249cf:
    37b7249cfmov r8l, [rsp+216]
    37b7249d7test r8l, r8l
    37b7249dajle 0x37b724949
    37b7249e0movsxd rax, [rsp+200]
    37b7249e8mov [rsp+184], rax
    37b7249f0
    37b7249f0loc_37b7249f0:
    37b7249f0mov rsi, [rsp+160]
    37b7249f8mov r11, [rsp+224]
    37b724a00mov [rsp+288], r14l
    37b724a08mov rbx, [rsp+232]
    37b724a10mov [rsp+272], r9
    37b724a18mov rcx, rsi
    37b724a1bmov [rsp+280], rdx
    37b724a23mov r14, [rsp+664]
    37b724a2bimul rcx, rax
    37b724a2fmov [rsp+296], r15l
    37b724a37lea rdi, [rcx+r11]
    37b724a3blea rcx, [rbx+rax]
    37b724a3fmovsxd rbx, [rsp+216]
    37b724a47imul rax, [rsp+240]
    37b724a50mov [rsp+256], rdi
    37b724a58add rax, rcx
    37b724a5bmov rcx, [rsp+184]
    37b724a63mov [rsp+264], rax
    37b724a6blea rax, [rbx+rdi]
    37b724a6fmov rdi, [rsp+712]
    37b724a77imul rcx, rsi
    37b724a7blea rsi, [rbx-1]
    37b724a7flea rbp, [rdi+4*rax]
    37b724a83lea rax, [rbx+r11]
    37b724a87add rax, rcx
    37b724a8alea r13, [rdi+4*rax]
    37b724a8elea rax, [rbx+r9]
    37b724a92lea r12, [rdi+4*rax]
    37b724a96mov rax, [rsp+152]
    37b724a9emov rdi, [rsp+680]
    37b724aa6imul rax, rsi
    37b724aaaadd rax, [rsp+168]
    37b724ab2add rax, rbx
    37b724ab5lea rdi, [rdi+4*rax-4]
    37b724abajmp 0x37b724f23
    37b724abf
    37b724abf 90 .
    37b724ac0
    37b724ac0loc_37b724ac0:
    37b724ac0lea ecx, [rbx-1]
    37b724ac3mov [rsp+216], ecx
    37b724aca
    37b724acaloc_37b724aca:
    37b724acamov r10l, [rsp+192]
    37b724ad2cmp [rsp+200], r10l
    37b724adaje 0x37b725350
    37b724ae0mov rcx, [rsp+160]
    37b724ae8add r9, rbx
    37b724aebimul rcx, [rsp+184]
    37b724af4mov [rsp+312], eax
    37b724afbadd rcx, [rsp+224]
    37b724b03mov rax, [rsp+712]
    37b724b0blea r15, [rsp+380]
    37b724b13mov [rsp+380], r8l
    37b724b1badd rcx, rdx
    37b724b1emov rdx, [rsp+680]
    37b724b26mov r8, [rsp+688]
    37b724b2emov [rsp+304], r11l
    37b724b36lea rdx, [rdx+4*r9]
    37b724b3alea r9, [rip+0xd118cb]
    37b724b41mov [rsp+32], r9
    37b724b46lea r9, [rax+4*rcx]
    37b724b4amov rcx, r15
    37b724b4dcall sdot_
    37b724b52mov edx, [rsp+208]
    37b724b59mov rax, [rsp+712]
    37b724b61mov r8, [rsp+720]
    37b724b69movaps x12, x0
    37b724b6dlea r10l, [rdx+1]
    37b724b71mov rdx, [rsp+672]
    37b724b79mov [rsp+248], r10l
    37b724b81mov edx, [rdx]
    37b724b83mov ecx, edx
    37b724b85sub ecx, [rsp+220]
    37b724b8ccmp r10l, edx
    37b724b8fcmovle edx, r10l
    37b724b93mov [rsp+380], ecx
    37b724b9amov rcx, [rsp+240]
    37b724ba2movsxd rdx, edx
    37b724ba5imul rcx, rdx
    37b724ba9add rcx, [rsp+232]
    37b724bb1add rcx, [rsp+184]
    37b724bb9imul rdx, [rsp+160]
    37b724bc2add rdx, [rsp+224]
    37b724bcaadd rdx, rbx
    37b724bcdlea rdx, [rax+4*rdx]
    37b724bd1mov rax, [rsp+704]
    37b724bd9mov [rsp+32], rax
    37b724bdemov rax, [rsp+696]
    37b724be6lea r9, [rax+4*rcx]
    37b724beamov rcx, r15
    37b724bedcall sdot_
    37b724bf2movsxd rdx, [r14]
    37b724bf5movsxd rax, [rsp+312]
    37b724bfdlea r10, [rip+0xd11808]
    37b724c04movaps x1, x0
    37b724c07movss x0, [r13]
    37b724c0dmov [rsp+32], r10
    37b724c12mulss x1, x7
    37b724c16mov ecx, edx
    37b724c18sub ecx, [rsp+304]
    37b724c1fcmp edx, eax
    37b724c21cmovg rdx, rax
    37b724c25mov rax, [rsp+272]
    37b724c2dmov r8, [rsp+680]
    37b724c35mov [rsp+380], ecx
    37b724c3cmov r10, [rsp+712]
    37b724c44mov rcx, r15
    37b724c47add rax, rdx
    37b724c4aimul rdx, [rsp+152]
    37b724c53add rdx, [rsp+168]
    37b724c5badd rdx, rbx
    37b724c5elea r9, [r10+4*rax]
    37b724c62addss x1, x12
    37b724c67lea rdx, [r8+4*rdx]
    37b724c6bmov r8, [rsp+688]
    37b724c73subss x0, x1
    37b724c77mulss x0, x7
    37b724c7bmovss [rsp+384], x0
    37b724c84call sdot_
    37b724c89mov rdx, [rsp+672]
    37b724c91mov r8, [rsp+720]
    37b724c99mov rcx, r15
    37b724c9cmovaps x12, x0
    37b724ca0mov eax, [rdx]
    37b724ca2mov r10l, eax
    37b724ca5sub r10l, [rsp+220]
    37b724cadmovsxd rdx, eax
    37b724cb0mov [rsp+380], r10l
    37b724cb8movsxd r10, [rsp+248]
    37b724cc0cmp r10l, eax
    37b724cc3mov rax, [rsp+240]
    37b724ccbcmovle rdx, r10
    37b724ccfimul rax, rdx
    37b724cd3add rax, [rsp+232]
    37b724cdbadd rax, [rsp+280]
    37b724ce3imul rdx, [rsp+160]
    37b724cecadd rdx, [rsp+224]
    37b724cf4add rdx, rbx
    37b724cf7mov rbx, [rsp+712]
    37b724cfflea rdx, [rbx+4*rdx]
    37b724d03mov rbx, [rsp+704]
    37b724d0bmov [rsp+32], rbx
    37b724d10mov rbx, [rsp+696]
    37b724d18lea r9, [rbx+4*rax]
    37b724d1clea rbx, [rsp+368]
    37b724d24call sdot_
    37b724d29mov r11, [rsp+152]
    37b724d31lea rax, [rsp+364]
    37b724d39mov rcx, [rsp+184]
    37b724d41movaps x1, x0
    37b724d44movss x0, [r12]
    37b724d4alea rdx, [rip+0xd116bf]
    37b724d51lea r9, [rsp+372]
    37b724d59mulss x1, x7
    37b724d5dlea r8, [rip+0xd116a8]
    37b724d64movss [rsp+400], x6
    37b724d6dmovss [rsp+404], x9
    37b724d77movss [rsp+408], x11
    37b724d81movss [rsp+412], x10
    37b724d8baddss x1, x12
    37b724d90subss x0, x1
    37b724d94mulss x0, x7
    37b724d98movss [rsp+388], x0
    37b724da1movss x0, [rdi+4*r11+4]
    37b724da8lea r11, [rip+0xd11669]
    37b724dafmov [rsp+136], rax
    37b724db7lea rax, [rsp+376]
    37b724dbfmov [rsp+128], rax
    37b724dc7lea rax, [rsp+400]
    37b724dcfmulss x0, x7
    37b724dd3mov [rsp+104], rax
    37b724dd8lea rax, [rsp+384]
    37b724de0xorps x0, [rip+0xd11659]
    37b724de7mov [rsp+72], rax
    37b724decmov rax, [rsp+240]
    37b724df4mov [rsp+96], r11
    37b724df9mov r11, [rsp+704]
    37b724e01imul rax, rcx
    37b724e05add rax, [rsp+232]
    37b724e0dmov [rsp+112], rdx
    37b724e12add rax, rcx
    37b724e15mov rcx, [rsp+696]
    37b724e1dmov [rsp+80], rdx
    37b724e22lea rdx, [rip+0xd115f3]
    37b724e29mov [rsp+32], rdx
    37b724e2elea rax, [rcx+4*rax]
    37b724e32mov [rsp+48], r11
    37b724e37lea rcx, [rip+0xd115d6]
    37b724e3emov [rsp+40], rax
    37b724e43mov [rsp+64], rdx
    37b724e48mov [rsp+56], rdx
    37b724e4dlea rdx, [rip+0xd115bc]
    37b724e54mov [rsp+120], rbx
    37b724e59mov [rsp+88], r15
    37b724e5emovss [rsp+380], x0
    37b724e67call slaln2_
    37b724e6cmov eax, [rsp+364]
    37b724e73movss x6, [rsp+400]
    37b724e7cmovss x9, [rsp+404]
    37b724e86movss x11, [rsp+408]
    37b724e90movss x10, [rsp+412]
    37b724e9atest eax, eax
    37b724e9cje 0x37b724eac
    37b724e9emov rax, [rsp+736]
    37b724ea6mov [rax], 1
    37b724eac
    37b724eacloc_37b724eac:
    37b724eacucomiss x8, [rsp+368]
    37b724eb5jp 0x37b72670d
    37b724ebbjne 0x37b72670d
    37b724ec1
    37b724ec1loc_37b724ec1:
    37b724ec1movss [r13], x6
    37b724ec7movss [r12], x9
    37b724ecdnop [rax]
    37b724ed4nop [rax+rax]
    37b724edfnop [rax+rax]
    37b724eeanop [rax+rax]
    37b724ef5nop [rax+rax]
    37b724f00
    37b724f00loc_37b724f00:
    37b724f00mov rbx, rsi
    37b724f03sub rbp, 4
    37b724f07sub r13, 4
    37b724f0bsub r12, 4
    37b724f0fadd rdi, [rsp+176]
    37b724f17test esi, esi
    37b724f19jle 0x37b7254c0
    37b724f1fsub rsi, 1
    37b724f23
    37b724f23loc_37b724f23:
    37b724f23cmp [rsp+216], ebx
    37b724f2ajl 0x37b724f00
    37b724f2cmov edx, [r14]
    37b724f2flea eax, [rbx+1]
    37b724f32mov r9, [rsp+152]
    37b724f3amov ecx, ebx
    37b724f3cmov r11l, ebx
    37b724f3fmov r8l, edx
    37b724f42sub r8l, ebx
    37b724f45cmp edx, eax
    37b724f47cmovg edx, eax
    37b724f4amovsxd rdx, edx
    37b724f4dimul r9, rdx
    37b724f51add r9, [rsp+168]
    37b724f59cmp ebx, 1
    37b724f5cje 0x37b724aca
    37b724f62pxor x0, x0
    37b724f66ucomiss x0, [rdi+4]
    37b724f6ajp 0x37b724f72
    37b724f6cje 0x37b724ac0
    37b724f72
    37b724f72loc_37b724f72:
    37b724f72sub ecx, 2
    37b724f75mov r10l, [rsp+208]
    37b724f7dadd r9, rsi
    37b724f80mov [rsp+216], ecx
    37b724f87mov rcx, [rsp+680]
    37b724f8flea r15l, [r10+1]
    37b724f93lea rcx, [rcx+4*r9]
    37b724f97mov r9l, [rsp+192]
    37b724f9fcmp [rsp+200], r9l
    37b724fa7jne 0x37b725e86
    37b724fadmov [rsp+304], r11l
    37b724fb5lea r11, [rip+0xd11450]
    37b724fbcmov r10, [rsp+712]
    37b724fc4mov [rsp+32], r11
    37b724fc9add rdx, [rsp+256]
    37b724fd1mov [rsp+312], eax
    37b724fd8lea rax, [rsp+380]
    37b724fe0lea r9, [r10+4*rdx]
    37b724fe4mov rdx, rcx
    37b724fe7mov [rsp+380], r8l
    37b724fefmov r8, [rsp+688]
    37b724ff7mov rcx, rax
    37b724ffamov [rsp+248], rax
    37b725002call sdot_
    37b725007mov r10, [rsp+672]
    37b72500fmov r8, [rsp+712]
    37b725017movaps x12, x0
    37b72501bmov edx, [r10]
    37b72501emov ecx, edx
    37b725020sub ecx, [rsp+220]
    37b725027cmp edx, r15l
    37b72502acmovg edx, r15l
    37b72502emov [rsp+380], ecx
    37b725035mov rcx, [rsp+240]
    37b72503dmovsxd rdx, edx
    37b725040imul rcx, rdx
    37b725044add rcx, [rsp+232]
    37b72504cadd rcx, [rsp+184]
    37b725054imul rdx, [rsp+160]
    37b72505dadd rdx, [rsp+224]
    37b725065add rdx, rsi
    37b725068lea rdx, [r8+4*rdx]
    37b72506cmov r8, [rsp+704]
    37b725074mov [rsp+32], r8
    37b725079mov r8, [rsp+696]
    37b725081lea r9, [r8+4*rcx]
    37b725085mov r8, [rsp+720]
    37b72508dmov rcx, [rsp+248]
    37b725095call sdot_
    37b72509amovsxd rdx, [r14]
    37b72509dmovsxd rax, [rsp+312]
    37b7250a5lea r11, [rip+0xd11360]
    37b7250acmulss x0, x7
    37b7250b0movss x1, [rbp-4]
    37b7250b5mov [rsp+32], r11
    37b7250bamov ecx, edx
    37b7250bcsub ecx, [rsp+304]
    37b7250c3cmp edx, eax
    37b7250c5mov r8, [rsp+688]
    37b7250cdcmovle rax, rdx
    37b7250d1mov rdx, [rsp+256]
    37b7250d9mov [rsp+380], ecx
    37b7250e0lea rcx, [rdx+rax]
    37b7250e4mov rdx, [rsp+680]
    37b7250ecimul rax, [rsp+152]
    37b7250f5addss x0, x12
    37b7250faadd rax, [rsp+168]
    37b725102add rax, rbx
    37b725105lea rdx, [rdx+4*rax]
    37b725109mov rax, [rsp+712]
    37b725111subss x1, x0
    37b725115lea r9, [rax+4*rcx]
    37b725119mov rcx, [rsp+248]
    37b725121movss [rsp+384], x1
    37b72512acall sdot_
    37b72512fmov rdx, [rsp+672]
    37b725137mov r8, [rsp+720]
    37b72513fmovaps x13, x0
    37b725143movsxd rax, [rdx]
    37b725146mov edx, eax
    37b725148sub edx, [rsp+220]
    37b72514fcmp eax, r15l
    37b725152mov [rsp+380], edx
    37b725159movsxd rdx, r15l
    37b72515cmov r15, [rsp+248]
    37b725164cmovle rdx, rax
    37b725168mov rax, [rsp+240]
    37b725170mov rcx, r15
    37b725173imul rax, rdx
    37b725177add rax, [rsp+232]
    37b72517fadd rax, [rsp+184]
    37b725187imul rdx, [rsp+160]
    37b725190add rdx, [rsp+224]
    37b725198add rdx, rbx
    37b72519bmov rbx, [rsp+712]
    37b7251a3lea rdx, [rbx+4*rdx]
    37b7251a7mov rbx, [rsp+704]
    37b7251afmov [rsp+32], rbx
    37b7251b4mov rbx, [rsp+696]
    37b7251bclea r9, [rbx+4*rax]
    37b7251c0call sdot_
    37b7251c5movss x1, [rbp]
    37b7251camov rax, [rsp+696]
    37b7251d2lea rcx, [rip+0xd11237]
    37b7251d9mulss x0, x7
    37b7251ddmov rbx, [rsp+264]
    37b7251e5lea r9, [rsp+372]
    37b7251edlea r8, [rip+0xd11218]
    37b7251f4movss [rsp+400], x6
    37b7251fdlea rdx, [rip+0xd1120c]
    37b725204movss [rsp+404], x9
    37b72520emovss [rsp+408], x11
    37b725218movss [rsp+412], x10
    37b725222addss x0, x13
    37b725227subss x1, x0
    37b72522bmovss x0, [rax+4*rbx]
    37b725230mov [rsp+112], rcx
    37b725235lea rax, [rsp+364]
    37b72523dmov [rsp+136], rax
    37b725245lea rax, [rsp+376]
    37b72524dlea rbx, [rsp+368]
    37b725255mov [rsp+128], rax
    37b72525dlea rax, [rsp+400]
    37b725265mulss x0, x7
    37b725269mov [rsp+104], rax
    37b72526elea rax, [rip+0xd111a3]
    37b725275xorps x0, [rip+0xd111c4]
    37b72527cmov [rsp+96], rax
    37b725281lea rax, [rsp+384]
    37b725289mov [rsp+80], rcx
    37b72528emov rcx, [rsp+688]
    37b725296mov [rsp+72], rax
    37b72529blea rax, [rip+0xd1117a]
    37b7252a2mov [rsp+48], rcx
    37b7252a7lea rcx, [rip+0xd11166]
    37b7252aemov [rsp+64], rax
    37b7252b3mov [rsp+56], rax
    37b7252b8mov [rsp+40], rdi
    37b7252bdmov [rsp+32], rax
    37b7252c2mov [rsp+120], rbx
    37b7252c7mov [rsp+88], r15
    37b7252ccmovss [rsp+388], x1
    37b7252d5movss [rsp+380], x0
    37b7252decall slaln2_
    37b7252e3mov ecx, [rsp+364]
    37b7252eamovss x6, [rsp+400]
    37b7252f3movss x9, [rsp+404]
    37b7252fdmovss x11, [rsp+408]
    37b725307movss x10, [rsp+412]
    37b725311test ecx, ecx
    37b725313je 0x37b725323
    37b725315mov rax, [rsp+736]
    37b72531dmov [rax], 1
    37b725323
    37b725323loc_37b725323:
    37b725323ucomiss x8, [rsp+368]
    37b72532cjp 0x37b72657e
    37b725332jne 0x37b72657e
    37b725338
    37b725338loc_37b725338:
    37b725338movss [rbp-4], x6
    37b72533dmovss [rbp], x9
    37b725343jmp 0x37b724f00
    37b725348
    37b725348 0f 1f 84 00 00 00 00 00 ........
    37b725350
    37b725350loc_37b725350:
    37b725350mov rcx, [rsp+680]
    37b725358mov rax, [rsp+256]
    37b725360add r9, rbx
    37b725363mov [rsp+380], r8l
    37b72536bmov r8, [rsp+688]
    37b725373add rax, rdx
    37b725376lea rdx, [rcx+4*r9]
    37b72537alea rcx, [rip+0xd1108b]
    37b725381mov [rsp+32], rcx
    37b725386mov rcx, [rsp+712]
    37b72538elea r9, [rcx+4*rax]
    37b725392lea rcx, [rsp+380]
    37b72539acall sdot_
    37b72539fmov rax, [rsp+672]
    37b7253a7mov ecx, [rsp+200]
    37b7253aemov r8, [rsp+720]
    37b7253b6movaps x6, x0
    37b7253b9mov edx, [rax]
    37b7253bbmov eax, edx
    37b7253bdsub eax, ecx
    37b7253bfmov [rsp+380], eax
    37b7253c6lea eax, [rcx+1]
    37b7253c9mov rcx, [rsp+240]
    37b7253d1cmp eax, edx
    37b7253d3cmovg eax, edx
    37b7253d6cdqe
    37b7253d8imul rcx, rax
    37b7253dcadd rcx, [rsp+232]
    37b7253e4add rcx, [rsp+184]
    37b7253ecimul rax, [rsp+160]
    37b7253f5add rax, [rsp+224]
    37b7253fdadd rax, rbx
    37b725400mov rbx, [rsp+712]
    37b725408lea rdx, [rbx+4*rax]
    37b72540cmov rax, [rsp+704]
    37b725414mov [rsp+32], rax
    37b725419mov rax, [rsp+696]
    37b725421lea r9, [rax+4*rcx]
    37b725425lea rcx, [rsp+380]
    37b72542dcall sdot_
    37b725432mov rax, [rsp+696]
    37b72543amov rbx, [rsp+264]
    37b725442movss [rsp+368], x8
    37b72544cmovss x2, [rsp+372]
    37b725455mulss x0, x7
    37b725459addss x0, x6
    37b72545dmovss x6, [rbp]
    37b725462subss x6, x0
    37b725466movss x0, [rax+4*rbx]
    37b72546bmov rax, [rsp+152]
    37b725473mulss x0, x7
    37b725477addss x0, [rdi+4*rax+4]
    37b72547dmovaps x1, x0
    37b725480andps x1, [rip+0xd10fa9]
    37b725487comiss x2, x1
    37b72548ajb 0x37b7254a0
    37b72548cmov rax, [rsp+736]
    37b725494movaps x1, x2
    37b725497movaps x0, x2
    37b72549amov [rax], 1
    37b7254a0
    37b7254a0loc_37b7254a0:
    37b7254a0comiss x8, x1
    37b7254a4ja 0x37b725be6
    37b7254aa
    37b7254aaloc_37b7254aa:
    37b7254aadivss x6, x0
    37b7254ae
    37b7254aeloc_37b7254ae:
    37b7254aemovss [rbp], x6
    37b7254b3jmp 0x37b724f00
    37b7254b8
    37b7254b8 0f 1f 84 00 00 00 00 00 ........
    37b7254c0
    37b7254c0loc_37b7254c0:
    37b7254c0mov r14l, [rsp+288]
    37b7254c8mov r9, [rsp+272]
    37b7254d0mov rdx, [rsp+280]
    37b7254d8mov r15l, [rsp+296]
    37b7254e0jmp 0x37b724940
    37b7254e5
    37b7254e5 0f 1f 00 ...
    37b7254e8
    37b7254e8loc_37b7254e8:
    37b7254e8mov rax, [rsp+672]
    37b7254f0mov eax, [rax]
    37b7254f2test eax, eax
    37b7254f4jle 0x37b72559b
    37b7254famov r15, [rsp+712]
    37b725502mov rdi, [rsp+160]
    37b72550amov [rsp+272], r11
    37b725512mov r14, rbx
    37b725515mov [rsp+280], r12
    37b72551dmov r12, [rsp+664]
    37b725525mov ebx, eax
    37b725527mov [rsp+256], rbp
    37b72552fshl rdi, 2
    37b725533mov rbp, r15
    37b725536mov r15, r10
    37b725539mov [rsp+328], rsi
    37b725541mov esi, 1
    37b725546nop [rax+rax]
    37b725550
    37b725550loc_37b725550:
    37b725550mov r8, rbp
    37b725553lea r9, [rip+0xd10eb2]
    37b72555amov rdx, r14
    37b72555dmov rcx, r12
    37b725560call sscal_
    37b725565add esi, 1
    37b725568add rbp, rdi
    37b72556bcmp ebx, esi
    37b72556djge 0x37b725550
    37b72556fmov rbp, [rsp+256]
    37b725577mov r11, [rsp+272]
    37b72557fmov r10, r15
    37b725582mov r12, [rsp+280]
    37b72558amov rsi, [rsp+328]
    37b725592movss x0, [rsp+368]
    37b72559b
    37b72559bloc_37b72559b:
    37b72559bmov rax, [rsp+728]
    37b7255a3mulss x0, [rax]
    37b7255a7movss [rax], x0
    37b7255abjmp 0x37b722768
    37b7255b0
    37b7255b0loc_37b7255b0:
    37b7255b0mov rdx, [rsp+160]
    37b7255b8mov rcx, [rsp+224]
    37b7255c0mov [rsp+328], rax
    37b7255c8lea rax, [rsp+380]
    37b7255d0imul rdx, [rsp+176]
    37b7255d9mov r9, [rsp+712]
    37b7255e1lea r8, [rip+0xd10e24]
    37b7255e8mov [rsp+320], r10
    37b7255f0mov [rsp+380], r14l
    37b7255f8mov [rsp+264], rax
    37b725600lea rdx, [rcx+rdx+1]
    37b725605mov rcx, rax
    37b725608lea r11, [r9+4*rdx]
    37b72560clea r9, [rip+0xd10df9]
    37b725613mov rdx, rbp
    37b725616mov [rsp+32], r9
    37b72561bmov r9, r11
    37b72561emov [rsp+312], r11
    37b725626call sdot_
    37b72562bmov r10, [rsp+672]
    37b725633mov rax, [rsp+240]
    37b72563bmov r9, [rsp+232]
    37b725643mov r8, [rsp+720]
    37b72564bmovaps x12, x0
    37b72564fmov edx, [r10]
    37b725652mov r11l, edx
    37b725655sub r11l, [rsp+220]
    37b72565dcmp edx, r15l
    37b725660cmovg edx, r15l
    37b725664mov [rsp+380], r11l
    37b72566cmov r11, [rsp+712]
    37b725674movsxd rdx, edx
    37b725677imul rax, rdx
    37b72567bimul rdx, [rsp+160]
    37b725684add rdx, [rsp+224]
    37b72568cadd rdx, rbx
    37b72568flea rdx, [r11+4*rdx]
    37b725693mov r11, [rsp+704]
    37b72569blea rcx, [rax+r9]
    37b72569fadd rcx, [rsp+176]
    37b7256a7mov [rsp+32], r11
    37b7256acmov r11, [rsp+696]
    37b7256b4lea r9, [r11+4*rcx]
    37b7256b8mov rcx, [rsp+264]
    37b7256c0call sdot_
    37b7256c5movss x1, [r12+4]
    37b7256cclea rdx, [rip+0xd10d39]
    37b7256d3mov r9, [rsp+280]
    37b7256dbmulss x0, x7
    37b7256dfmov [rsp+32], rdx
    37b7256e4mov r8, rdx
    37b7256e7mov rcx, [rsp+264]
    37b7256efmov rdx, rbp
    37b7256f2mov [rsp+380], r14l
    37b7256faaddss x0, x12
    37b7256ffsubss x1, x0
    37b725703movss [rsp+384], x1
    37b72570ccall sdot_
    37b725711mov rcx, [rsp+672]
    37b725719mov ebp, [rsp+220]
    37b725720mov r10, [rsp+232]
    37b725728mov r8, [rsp+720]
    37b725730movaps x13, x0
    37b725734mov edx, [rcx]
    37b725736mov ecx, edx
    37b725738sub ecx, ebp
    37b72573acmp edx, r15l
    37b72573dmov rbp, [rsp+240]
    37b725745cmovg edx, r15l
    37b725749mov [rsp+380], ecx
    37b725750mov rax, rbp
    37b725753movsxd rdx, edx
    37b725756imul rax, rdx
    37b72575aimul rdx, [rsp+160]
    37b725763add rdx, [rsp+224]
    37b72576badd rdx, rbx
    37b72576emov rbx, [rsp+712]
    37b725776lea rcx, [rax+r10]
    37b72577aadd rcx, [rsp+272]
    37b725782lea rdx, [rbx+4*rdx]
    37b725786mov rbx, [rsp+704]
    37b72578emov [rsp+32], rbx
    37b725793mov rbx, [rsp+696]
    37b72579blea r9, [rbx+4*rcx]
    37b72579fmov rbx, [rsp+264]
    37b7257a7mov rcx, rbx
    37b7257aacall sdot_
    37b7257afmovss x1, [r13+4]
    37b7257b5mov rcx, rbx
    37b7257b8lea rdx, [rip+0xd10c4d]
    37b7257bfmulss x0, x7
    37b7257c3mov [rsp+32], rdx
    37b7257c8mov r8, rdx
    37b7257cbmov rax, [rsp+328]
    37b7257d3mov r9, [rsp+312]
    37b7257dbmov [rsp+380], r14l
    37b7257e3mov rdx, rax
    37b7257e6mov [rsp+312], rax
    37b7257eemov [rsp+264], rbx
    37b7257f6addss x0, x13
    37b7257fbsubss x1, x0
    37b7257ffmovss [rsp+392], x1
    37b725808call sdot_
    37b72580dmov rbx, [rsp+672]
    37b725815mov rax, rbp
    37b725818mov r10, [rsp+712]
    37b725820mov r8, [rsp+720]
    37b725828movaps x12, x0
    37b72582cmov edx, [rbx]
    37b72582emov rbx, rbp
    37b725831mov rbp, [rsp+232]
    37b725839mov ecx, edx
    37b72583bsub ecx, [rsp+220]
    37b725842cmp edx, r15l
    37b725845cmovg edx, r15l
    37b725849mov [rsp+380], ecx
    37b725850movsxd rdx, edx
    37b725853imul rax, rdx
    37b725857imul rdx, [rsp+160]
    37b725860add rdx, [rsp+224]
    37b725868add rdx, [rsp+320]
    37b725870lea rdx, [r10+4*rdx]
    37b725874mov r10, [rsp+704]
    37b72587clea rcx, [rax+rbp]
    37b725880mov rbp, [rsp+264]
    37b725888add rcx, [rsp+176]
    37b725890mov [rsp+32], r10
    37b725895mov r10, [rsp+696]
    37b72589dlea r9, [r10+4*rcx]
    37b7258a1mov rcx, rbp
    37b7258a4call sdot_
    37b7258a9movss x1, [r12+8]
    37b7258b0lea rdx, [rip+0xd10b55]
    37b7258b7mov r9, [rsp+280]
    37b7258bfmulss x0, x7
    37b7258c3mov [rsp+32], rdx
    37b7258c8mov r8, rdx
    37b7258cbmov rcx, rbp
    37b7258cemov rdx, [rsp+312]
    37b7258d6mov [rsp+380], r14l
    37b7258delea r14, [rsp+368]
    37b7258e6addss x0, x12
    37b7258ebsubss x1, x0
    37b7258efmovss [rsp+388], x1
    37b7258f8call sdot_
    37b7258fdmov rcx, [rsp+672]
    37b725905mov rax, rbx
    37b725908mov r10, [rsp+320]
    37b725910mov r11, [rsp+712]
    37b725918mov r8, [rsp+720]
    37b725920movaps x13, x0
    37b725924mov edx, [rcx]
    37b725926mov [rsp+264], r10
    37b72592emov ecx, edx
    37b725930sub ecx, [rsp+220]
    37b725937cmp edx, r15l
    37b72593acmovg edx, r15l
    37b72593emov r15, [rsp+232]
    37b725946mov [rsp+380], ecx
    37b72594dmovsxd rdx, edx
    37b725950imul rax, rdx
    37b725954imul rdx, [rsp+160]
    37b72595dadd rdx, [rsp+224]
    37b725965add rdx, r10
    37b725968lea rdx, [r11+4*rdx]
    37b72596cmov r11, [rsp+704]
    37b725974lea rcx, [rax+r15]
    37b725978add rcx, [rsp+272]
    37b725980mov [rsp+32], r11
    37b725985mov r11, [rsp+696]
    37b72598dlea r9, [r11+4*rcx]
    37b725991mov rcx, rbp
    37b725994call sdot_
    37b725999lea rdx, [rsp+364]
    37b7259a1movss x1, [r13+8]
    37b7259a7mov rax, [rsp+176]
    37b7259afmov [rsp+120], rdx
    37b7259b4mulss x0, x7
    37b7259b8lea rdx, [rsp+376]
    37b7259c0lea rcx, [rip+0xd10a49]
    37b7259c7mov [rsp+112], rdx
    37b7259cclea rdx, [rsp+400]
    37b7259d4mov r8, [rsp+656]
    37b7259dcmov r9, rcx
    37b7259dfimul rbx, rax
    37b7259e3mov [rsp+96], rdx
    37b7259e8lea rdx, [rsp+384]
    37b7259f0mov [rsp+72], rdx
    37b7259f5mov rdx, [rsp+704]
    37b7259fdmov [rsp+80], rcx
    37b725a02mov [rsp+64], rdx
    37b725a07lea rdx, [rbx+r15]
    37b725a0baddss x0, x13
    37b725a10add rdx, rax
    37b725a13mov rax, [rsp+696]
    37b725a1bmov [rsp+32], rcx
    37b725a20mov [rsp+88], r14
    37b725a25lea rdx, [rax+4*rdx]
    37b725a29subss x1, x0
    37b725a2dmov [rsp+40], rdi
    37b725a32mov rax, [rsp+688]
    37b725a3amov [rsp+56], rdx
    37b725a3flea rdx, [rip+0xd109da]
    37b725a46mov [rsp+48], rax
    37b725a4bmov [rsp+104], rcx
    37b725a50mov rcx, rdx
    37b725a53movss [rsp+400], x6
    37b725a5cmovss [rsp+404], x9
    37b725a66movss [rsp+408], x11
    37b725a70movss [rsp+412], x10
    37b725a7amovss [rsp+396], x1
    37b725a83call slasy2_
    37b725a88mov r10l, [rsp+364]
    37b725a90movss x6, [rsp+400]
    37b725a99movss x9, [rsp+404]
    37b725aa3mov rax, [rsp+312]
    37b725aabmovss x11, [rsp+408]
    37b725ab5test r10l, r10l
    37b725ab8movss x10, [rsp+412]
    37b725ac2mov r10, [rsp+264]
    37b725acaje 0x37b725ada
    37b725accmov rbx, [rsp+736]
    37b725ad4mov [rbx], 1
    37b725ada
    37b725adaloc_37b725ada:
    37b725adaucomiss x8, [rsp+368]
    37b725ae3jp 0x37b726652
    37b725ae9jne 0x37b726652
    37b725aef
    37b725aefloc_37b725aef:
    37b725aefmovss [r12+4], x6
    37b725af6movss [r13+4], x11
    37b725afcmovss [r12+8], x9
    37b725b03movss [r13+8], x10
    37b725b09jmp 0x37b723cf0
    37b725b0e
    37b725b0e 66 90 f.
    37b725b10
    37b725b10loc_37b725b10:
    37b725b10mov [rsp+200], ecx
    37b725b17mov r13l, r14l
    37b725b1ajmp 0x37b72384f
    37b725b1f
    37b725b1floc_37b725b1f:
    37b725b1fmov rax, [rsp+672]
    37b725b27mov eax, [rax]
    37b725b29test eax, eax
    37b725b2bjle 0x37b725bd1
    37b725b31mov r8, [rsp+712]
    37b725b39mov [rsp+328], r11
    37b725b41mov r15, r14
    37b725b44mov [rsp+320], rdi
    37b725b4cmov r14, [rsp+256]
    37b725b54mov rdi, [rsp+664]
    37b725b5cmov [rsp+272], r12
    37b725b64mov r12l, eax
    37b725b67mov [rsp+336], rsi
    37b725b6fmov rsi, r8
    37b725b72mov [rsp+344], rbx
    37b725b7amov ebx, 1
    37b725b7fnop
    37b725b80
    37b725b80loc_37b725b80:
    37b725b80mov r8, rsi
    37b725b83lea r9, [rip+0xd10882]
    37b725b8amov rdx, r15
    37b725b8dmov rcx, rdi
    37b725b90call sscal_
    37b725b95add ebx, 1
    37b725b98add rsi, r14
    37b725b9bcmp r12l, ebx
    37b725b9ejge 0x37b725b80
    37b725ba0mov r12, [rsp+272]
    37b725ba8mov rdi, [rsp+320]
    37b725bb0mov r11, [rsp+328]
    37b725bb8mov rsi, [rsp+336]
    37b725bc0mov rbx, [rsp+344]
    37b725bc8movss x0, [rsp+368]
    37b725bd1
    37b725bd1loc_37b725bd1:
    37b725bd1mov rax, [rsp+728]
    37b725bd9mulss x0, [rax]
    37b725bddmovss [rax], x0
    37b725be1jmp 0x37b7230c1
    37b725be6
    37b725be6loc_37b725be6:
    37b725be6movaps x2, x6
    37b725be9andps x2, [rip+0xd10840]
    37b725bf0comiss x2, x8
    37b725bf4jbe 0x37b7254aa
    37b725bfamulss x1, x14
    37b725bffcomiss x2, x1
    37b725c02jbe 0x37b7254aa
    37b725c08movaps x1, x8
    37b725c0cmov rax, [rsp+672]
    37b725c14divss x1, x2
    37b725c18mov edx, [rax]
    37b725c1amovss [rsp+368], x1
    37b725c23mulss x6, x1
    37b725c27divss x6, x0
    37b725c2btest edx, edx
    37b725c2djle 0x37b725cb5
    37b725c33mov rax, [rsp+160]
    37b725c3bmov r8, [rsp+712]
    37b725c43mov [rsp+248], r13
    37b725c4bmov ebx, edx
    37b725c4dmov [rsp+304], rdi
    37b725c55mov [rsp+312], rsi
    37b725c5dlea r13, [4*rax]
    37b725c65mov rdi, r8
    37b725c68mov esi, 1
    37b725c6dnop [rax]
    37b725c70
    37b725c70loc_37b725c70:
    37b725c70mov r8, rdi
    37b725c73lea r9, [rip+0xd10792]
    37b725c7amov rcx, r14
    37b725c7dadd esi, 1
    37b725c80lea rdx, [rsp+368]
    37b725c88add rdi, r13
    37b725c8bcall sscal_
    37b725c90cmp ebx, esi
    37b725c92jge 0x37b725c70
    37b725c94mov r13, [rsp+248]
    37b725c9cmov rdi, [rsp+304]
    37b725ca4mov rsi, [rsp+312]
    37b725cacmovss x1, [rsp+368]
    37b725cb5
    37b725cb5loc_37b725cb5:
    37b725cb5mov rax, [rsp+728]
    37b725cbdmulss x1, [rax]
    37b725cc1movss [rax], x1
    37b725cc5jmp 0x37b7254ae
    37b725cca
    37b725ccaloc_37b725cca:
    37b725ccamov rbx, [rsp+672]
    37b725cd2mov edx, [rbx]
    37b725cd4test edx, edx
    37b725cd6jle 0x37b725d7b
    37b725cdcmov rbx, [rsp+160]
    37b725ce4mov r15, [rsp+712]
    37b725cecmov [rsp+328], r10
    37b725cf4mov ebp, 1
    37b725cf9mov [rsp+312], r12
    37b725d01mov r12, [rsp+664]
    37b725d09mov [rsp+264], rdi
    37b725d11mov edi, ebp
    37b725d13lea rbp, [4*rbx]
    37b725d1bmov ebx, edx
    37b725d1dmov [rsp+320], rsi
    37b725d25mov rsi, r15
    37b725d28mov r15, rax
    37b725d2bnop [rax+rax]
    37b725d30
    37b725d30loc_37b725d30:
    37b725d30mov r8, rsi
    37b725d33lea r9, [rip+0xd106d2]
    37b725d3amov rdx, r14
    37b725d3dmov rcx, r12
    37b725d40call sscal_
    37b725d45add edi, 1
    37b725d48add rsi, rbp
    37b725d4bcmp ebx, edi
    37b725d4djge 0x37b725d30
    37b725d4fmov rdi, [rsp+264]
    37b725d57mov r12, [rsp+312]
    37b725d5fmov rax, r15
    37b725d62mov rsi, [rsp+320]
    37b725d6amov r10, [rsp+328]
    37b725d72movss x0, [rsp+368]
    37b725d7b
    37b725d7bloc_37b725d7b:
    37b725d7bmov rbx, [rsp+728]
    37b725d83mulss x0, [rbx]
    37b725d87movss [rbx], x0
    37b725d8bjmp 0x37b7241ee
    37b725d90
    37b725d90loc_37b725d90:
    37b725d90test eax, eax
    37b725d92jle 0x37b721800
    37b725d98mov [rsp+200], 1
    37b725da3xor r14l, r14l
    37b725da6mov eax, 1
    37b725dabmov [rsp+176], 1
    37b725db7jmp 0x37b72386e
    37b725dbc
    37b725dbcloc_37b725dbc:
    37b725dbcmov rdi, [rsp+672]
    37b725dc4mov r15l, [rdi]
    37b725dc7test r15l, r15l
    37b725dcajle 0x37b725e71
    37b725dd0mov rbp, [rsp+712]
    37b725dd8mov [rsp+272], r11
    37b725de0mov [rsp+336], r10
    37b725de8mov rdi, [rsp+256]
    37b725df0mov [rsp+344], rax
    37b725df8mov [rsp+320], rsi
    37b725e00mov rsi, rbp
    37b725e03mov rbp, [rsp+664]
    37b725e0bmov [rsp+328], rbx
    37b725e13mov ebx, 1
    37b725e18nop [rax+rax]
    37b725e20
    37b725e20loc_37b725e20:
    37b725e20mov r8, rsi
    37b725e23lea r9, [rip+0xd105e2]
    37b725e2amov rdx, r14
    37b725e2dmov rcx, rbp
    37b725e30call sscal_
    37b725e35add ebx, 1
    37b725e38add rsi, rdi
    37b725e3bcmp r15l, ebx
    37b725e3ejge 0x37b725e20
    37b725e40mov r11, [rsp+272]
    37b725e48mov rsi, [rsp+320]
    37b725e50mov rbx, [rsp+328]
    37b725e58mov r10, [rsp+336]
    37b725e60mov rax, [rsp+344]
    37b725e68movss x0, [rsp+368]
    37b725e71
    37b725e71loc_37b725e71:
    37b725e71mov rdi, [rsp+728]
    37b725e79mulss x0, [rdi]
    37b725e7dmovss [rdi], x0
    37b725e81jmp 0x37b724607
    37b725e86
    37b725e86loc_37b725e86:
    37b725e86mov [rsp+380], r8l
    37b725e8emov r8, [rsp+160]
    37b725e96lea r9, [rip+0xd1056f]
    37b725e9dimul r8, [rsp+184]
    37b725ea6mov r10, [rsp+224]
    37b725eaemov [rsp+32], r9
    37b725eb3mov r9, [rsp+712]
    37b725ebbmov [rsp+328], eax
    37b725ec2lea rax, [rsp+380]
    37b725ecamov [rsp+304], r11l
    37b725ed2add r10, r8
    37b725ed5mov r8, [rsp+688]
    37b725eddmov [rsp+248], rax
    37b725ee5add rdx, r10
    37b725ee8mov [rsp+320], r10
    37b725ef0lea r9, [r9+4*rdx]
    37b725ef4mov rdx, rcx
    37b725ef7mov rcx, rax
    37b725efacall sdot_
    37b725effmov rdx, [rsp+672]
    37b725f07mov rax, [rsp+240]
    37b725f0fmov r10, [rsp+712]
    37b725f17mov r9, [rsp+232]
    37b725f1fmovaps x13, x0
    37b725f23mov edx, [rdx]
    37b725f25mov r8, [rsp+720]
    37b725f2dmov ecx, edx
    37b725f2fsub ecx, [rsp+220]
    37b725f36cmp edx, r15l
    37b725f39cmovg edx, r15l
    37b725f3dmov [rsp+380], ecx
    37b725f44movsxd rdx, edx
    37b725f47imul rax, rdx
    37b725f4bimul rdx, [rsp+160]
    37b725f54add rdx, [rsp+224]
    37b725f5cadd rdx, rsi
    37b725f5flea rdx, [r10+4*rdx]
    37b725f63mov r10, [rsp+704]
    37b725f6blea rcx, [rax+r9]
    37b725f6fadd rcx, [rsp+184]
    37b725f77mov [rsp+32], r10
    37b725f7cmov r10, [rsp+696]
    37b725f84lea r9, [r10+4*rcx]
    37b725f88mov rcx, [rsp+248]
    37b725f90call sdot_
    37b725f95movsxd rdx, [r14]
    37b725f98mov r11l, [rsp+304]
    37b725fa0movsxd rax, [rsp+328]
    37b725fa8mulss x0, x7
    37b725facmov r8, [rsp+680]
    37b725fb4mov ecx, edx
    37b725fb6movss x1, [r13-4]
    37b725fbcmov [rsp+312], r11l
    37b725fc4sub ecx, r11l
    37b725fc7cmp edx, eax
    37b725fc9mov [rsp+304], eax
    37b725fd0lea r11, [rip+0xd10435]
    37b725fd7cmovg rdx, rax
    37b725fdbmov rax, [rsp+272]
    37b725fe3mov [rsp+32], r11
    37b725fe8mov [rsp+380], ecx
    37b725fefaddss x0, x13
    37b725ff4lea rcx, [rax+rdx]
    37b725ff8imul rdx, [rsp+152]
    37b726001add rdx, [rsp+168]
    37b726009add rdx, rsi
    37b72600clea rdx, [r8+4*rdx]
    37b726010mov r8, [rsp+712]
    37b726018subss x1, x0
    37b72601clea r9, [r8+4*rcx]
    37b726020mov r8, [rsp+688]
    37b726028mov rcx, [rsp+248]
    37b726030movss [rsp+384], x1
    37b726039call sdot_
    37b72603emov rdx, [rsp+672]
    37b726046mov r8, [rsp+712]
    37b72604emovaps x13, x0
    37b726052mov edx, [rdx]
    37b726054mov ecx, edx
    37b726056sub ecx, [rsp+220]
    37b72605dcmp edx, r15l
    37b726060cmovg edx, r15l
    37b726064mov [rsp+380], ecx
    37b72606bmov rcx, [rsp+240]
    37b726073movsxd rdx, edx
    37b726076imul rcx, rdx
    37b72607aadd rcx, [rsp+232]
    37b726082add rcx, [rsp+280]
    37b72608aimul rdx, [rsp+160]
    37b726093add rdx, [rsp+224]
    37b72609badd rdx, rsi
    37b72609elea rdx, [r8+4*rdx]
    37b7260a2mov r8, [rsp+704]
    37b7260aamov [rsp+32], r8
    37b7260afmov r8, [rsp+696]
    37b7260b7lea r9, [r8+4*rcx]
    37b7260bbmov r8, [rsp+720]
    37b7260c3mov rcx, [rsp+248]
    37b7260cbcall sdot_
    37b7260d0movsxd rdx, [r14]
    37b7260d3movsxd rax, [rsp+304]
    37b7260dbmulss x0, x7
    37b7260dfmov r10, [rsp+320]
    37b7260e7mov r8, [rsp+680]
    37b7260efmov ecx, edx
    37b7260f1sub ecx, [rsp+312]
    37b7260f8cmp edx, eax
    37b7260famovss x1, [r12-4]
    37b726101cmovg rdx, rax
    37b726105mov [rsp+380], ecx
    37b72610clea rax, [rip+0xd102f9]
    37b726113mov [rsp+32], rax
    37b726118lea rcx, [r10+rdx]
    37b72611cimul rdx, [rsp+152]
    37b726125addss x0, x13
    37b72612aadd rdx, [rsp+168]
    37b726132add rdx, rbx
    37b726135lea rdx, [r8+4*rdx]
    37b726139mov r8, [rsp+712]
    37b726141subss x1, x0
    37b726145lea r9, [r8+4*rcx]
    37b726149mov r8, [rsp+688]
    37b726151mov rcx, [rsp+248]
    37b726159movss [rsp+392], x1
    37b726162call sdot_
    37b726167mov rdx, [rsp+672]
    37b72616fmov rax, [rsp+240]
    37b726177mov r9, [rsp+232]
    37b72617fmov r8, [rsp+720]
    37b726187movaps x12, x0
    37b72618bmov edx, [rdx]
    37b72618dmov ecx, edx
    37b72618fsub ecx, [rsp+220]
    37b726196cmp edx, r15l
    37b726199cmovg edx, r15l
    37b72619dmov [rsp+380], ecx
    37b7261a4movsxd rdx, edx
    37b7261a7imul rax, rdx
    37b7261abimul rdx, [rsp+160]
    37b7261b4add rdx, [rsp+224]
    37b7261bcadd rdx, rbx
    37b7261bflea rcx, [rax+r9]
    37b7261c3mov r9, [rsp+712]
    37b7261cbadd rcx, [rsp+184]
    37b7261d3lea rdx, [r9+4*rdx]
    37b7261d7mov r9, [rsp+704]
    37b7261dfmov [rsp+32], r9
    37b7261e4mov r9, [rsp+696]
    37b7261eclea r9, [r9+4*rcx]
    37b7261f0mov rcx, [rsp+248]
    37b7261f8call sdot_
    37b7261fdmovsxd rdx, [r14]
    37b726200movsxd rax, [rsp+304]
    37b726208mulss x0, x7
    37b72620cmov r11, [rsp+272]
    37b726214mov rcx, [rsp+680]
    37b72621cmov r9l, edx
    37b72621fsub r9l, [rsp+312]
    37b726227cmp edx, eax
    37b726229movss x1, [r13]
    37b72622fcmovg rdx, rax
    37b726233mov [rsp+380], r9l
    37b72623bmov r8, [rsp+688]
    37b726243lea rax, [r11+rdx]
    37b726247lea r11, [rip+0xd101be]
    37b72624eimul rdx, [rsp+152]
    37b726257addss x0, x12
    37b72625cmov [rsp+32], r11
    37b726261add rdx, [rsp+168]
    37b726269add rdx, rbx
    37b72626clea rdx, [rcx+4*rdx]
    37b726270mov rcx, [rsp+712]
    37b726278subss x1, x0
    37b72627clea r9, [rcx+4*rax]
    37b726280mov rcx, [rsp+248]
    37b726288movss [rsp+388], x1
    37b726291call sdot_
    37b726296mov rdx, [rsp+672]
    37b72629emov r8, [rsp+720]
    37b7262a6mov rcx, [rsp+248]
    37b7262aemovaps x13, x0
    37b7262b2movsxd rax, [rdx]
    37b7262b5movsxd rdx, r15l
    37b7262b8mov r11l, eax
    37b7262bbsub r11l, [rsp+220]
    37b7262c3cmp eax, r15l
    37b7262c6mov r15, [rsp+240]
    37b7262cecmovle rdx, rax
    37b7262d2mov [rsp+380], r11l
    37b7262damov rax, r15
    37b7262ddimul rax, rdx
    37b7262e1add rax, [rsp+232]
    37b7262e9add rax, [rsp+280]
    37b7262f1imul rdx, [rsp+160]
    37b7262faadd rdx, [rsp+224]
    37b726302add rdx, rbx
    37b726305mov rbx, [rsp+712]
    37b72630dlea rdx, [rbx+4*rdx]
    37b726311mov rbx, [rsp+704]
    37b726319mov [rsp+32], rbx
    37b72631emov rbx, [rsp+696]
    37b726326lea r9, [rbx+4*rax]
    37b72632alea rbx, [rsp+368]
    37b726332call sdot_
    37b726337lea rax, [rsp+364]
    37b72633fmovss x1, [r12]
    37b726345mov rcx, [rsp+184]
    37b72634dmov [rsp+120], rax
    37b726352mulss x0, x7
    37b726356lea rax, [rsp+376]
    37b72635elea rdx, [rip+0xd100ab]
    37b726365mov [rsp+112], rax
    37b72636alea rax, [rsp+400]
    37b726372mov r8, [rsp+656]
    37b72637amov r9, rdx
    37b72637dmov [rsp+96], rax
    37b726382lea rax, [rsp+384]
    37b72638amov [rsp+72], rax
    37b72638fmov rax, [rsp+704]
    37b726397mov [rsp+80], rdx
    37b72639cmov [rsp+64], rax
    37b7263a1mov rax, r15
    37b7263a4addss x0, x13
    37b7263a9imul rax, rcx
    37b7263adadd rax, [rsp+232]
    37b7263b5mov [rsp+32], rdx
    37b7263baadd rax, rcx
    37b7263bdmov rcx, [rsp+696]
    37b7263c5mov [rsp+88], rbx
    37b7263casubss x1, x0
    37b7263cemov [rsp+40], rdi
    37b7263d3lea rax, [rcx+4*rax]
    37b7263d7mov [rsp+104], rdx
    37b7263dclea rcx, [rip+0xd10031]
    37b7263e3mov [rsp+56], rax
    37b7263e8mov rax, [rsp+688]
    37b7263f0lea rdx, [rip+0xd10029]
    37b7263f7movss [rsp+400], x6
    37b726400mov [rsp+48], rax
    37b726405movss [rsp+404], x9
    37b72640fmovss [rsp+408], x11
    37b726419movss [rsp+412], x10
    37b726423movss [rsp+396], x1
    37b72642ccall slasy2_
    37b726431mov edx, [rsp+364]
    37b726438movss x6, [rsp+400]
    37b726441movss x9, [rsp+404]
    37b72644bmovss x11, [rsp+408]
    37b726455movss x10, [rsp+412]
    37b72645ftest edx, edx
    37b726461je 0x37b726471
    37b726463mov rax, [rsp+736]
    37b72646bmov [rax], 1
    37b726471
    37b726471loc_37b726471:
    37b726471ucomiss x8, [rsp+368]
    37b72647ajp 0x37b7267b6
    37b726480jne 0x37b7267b6
    37b726486
    37b726486loc_37b726486:
    37b726486movss [r13-4], x6
    37b72648cmovss [r12-4], x11
    37b726493movss [r13], x9
    37b726499movss [r12], x10
    37b72649fjmp 0x37b724f00
    37b7264a4
    37b7264a4loc_37b7264a4:
    37b7264a4mov [rsp+200], edx
    37b7264abmov r14l, r15l
    37b7264aejmp 0x37b7249cf
    37b7264b3
    37b7264b3loc_37b7264b3:
    37b7264b3mov rax, [rsp+672]
    37b7264bbmov edx, [rax]
    37b7264bdtest edx, edx
    37b7264bfjle 0x37b726569
    37b7264c5mov rax, [rsp+160]
    37b7264cdmov r8, [rsp+712]
    37b7264d5mov [rsp+312], rdi
    37b7264ddmov r15, r14
    37b7264e0mov rdi, [rsp+664]
    37b7264e8mov [rsp+264], rbp
    37b7264f0mov r14l, edx
    37b7264f3mov [rsp+320], rbx
    37b7264fblea rbp, [4*rax]
    37b726503mov rbx, r8
    37b726506mov [rsp+328], rsi
    37b72650emov esi, 1
    37b726513nop
    37b726515nop [rax+rax]
    37b726520
    37b726520loc_37b726520:
    37b726520mov r8, rbx
    37b726523lea r9, [rip+0xd0fee2]
    37b72652amov rdx, r15
    37b72652dmov rcx, rdi
    37b726530call sscal_
    37b726535add esi, 1
    37b726538add rbx, rbp
    37b72653bcmp r14l, esi
    37b72653ejge 0x37b726520
    37b726540mov rbp, [rsp+264]
    37b726548mov rdi, [rsp+312]
    37b726550mov rbx, [rsp+320]
    37b726558mov rsi, [rsp+328]
    37b726560movss x0, [rsp+368]
    37b726569
    37b726569loc_37b726569:
    37b726569mov rax, [rsp+728]
    37b726571mulss x0, [rax]
    37b726575movss [rax], x0
    37b726579jmp 0x37b723ccf
    37b72657e
    37b72657eloc_37b72657e:
    37b72657emov rax, [rsp+672]
    37b726586mov r8, [rsp+712]
    37b72658emov edx, [rax]
    37b726590mov rax, [rsp+160]
    37b726598test edx, edx
    37b72659ajle 0x37b726608
    37b72659cmov [rsp+248], r13
    37b7265a4mov r15, rbx
    37b7265a7mov r13l, edx
    37b7265aalea rbx, [4*rax]
    37b7265b2mov [rsp+304], rdi
    37b7265bamov rdi, r8
    37b7265bdmov [rsp+312], rsi
    37b7265c5mov esi, 1
    37b7265canop [rax+rax]
    37b7265d0
    37b7265d0loc_37b7265d0:
    37b7265d0mov r8, rdi
    37b7265d3lea r9, [rip+0xd0fe32]
    37b7265damov rdx, r15
    37b7265ddmov rcx, r14
    37b7265e0call sscal_
    37b7265e5add esi, 1
    37b7265e8add rdi, rbx
    37b7265ebcmp r13l, esi
    37b7265eejge 0x37b7265d0
    37b7265f0mov r13, [rsp+248]
    37b7265f8mov rdi, [rsp+304]
    37b726600mov rsi, [rsp+312]
    37b726608
    37b726608loc_37b726608:
    37b726608mov rax, [rsp+728]
    37b726610movss x0, [rax]
    37b726614mulss x0, [rsp+368]
    37b72661dmovss [rax], x0
    37b726621jmp 0x37b725338
    37b726626
    37b726626loc_37b726626:
    37b726626test eax, eax
    37b726628jle 0x37b721800
    37b72662emov [rsp+200], 1
    37b726639xor r15l, r15l
    37b72663cmov eax, 1
    37b726641mov [rsp+184], 1
    37b72664djmp 0x37b7249f0
    37b726652
    37b726652loc_37b726652:
    37b726652mov rbx, [rsp+672]
    37b72665amov rbp, [rsp+712]
    37b726662mov edx, [rbx]
    37b726664mov rbx, [rsp+160]
    37b72666clea r15, [4*rbx]
    37b726674test edx, edx
    37b726676jle 0x37b7266ef
    37b726678mov [rsp+320], r10
    37b726680mov ebx, edx
    37b726682mov [rsp+328], rax
    37b72668amov [rsp+264], rdi
    37b726692mov rdi, rbp
    37b726695mov rbp, [rsp+664]
    37b72669dmov [rsp+312], rsi
    37b7266a5mov esi, 1
    37b7266aanop [rax+rax]
    37b7266b0
    37b7266b0loc_37b7266b0:
    37b7266b0mov r8, rdi
    37b7266b3lea r9, [rip+0xd0fd52]
    37b7266bamov rdx, r14
    37b7266bdmov rcx, rbp
    37b7266c0call sscal_
    37b7266c5add esi, 1
    37b7266c8add rdi, r15
    37b7266cbcmp ebx, esi
    37b7266cdjge 0x37b7266b0
    37b7266cfmov rdi, [rsp+264]
    37b7266d7mov rsi, [rsp+312]
    37b7266dfmov r10, [rsp+320]
    37b7266e7mov rax, [rsp+328]
    37b7266ef
    37b7266efloc_37b7266ef:
    37b7266efmov rbx, [rsp+728]
    37b7266f7movss x0, [rbx]
    37b7266fbmulss x0, [rsp+368]
    37b726704movss [rbx], x0
    37b726708jmp 0x37b725aef
    37b72670d
    37b72670dloc_37b72670d:
    37b72670dmov rax, [rsp+672]
    37b726715mov r8, [rsp+712]
    37b72671dmov edx, [rax]
    37b72671fmov rax, [rsp+160]
    37b726727test edx, edx
    37b726729jle 0x37b726798
    37b72672bmov [rsp+248], r13
    37b726733mov r15, rbx
    37b726736mov r13l, edx
    37b726739lea rbx, [4*rax]
    37b726741mov [rsp+304], rdi
    37b726749mov edi, 1
    37b72674emov [rsp+312], rsi
    37b726756mov rsi, r8
    37b726759nop [rax]
    37b726760
    37b726760loc_37b726760:
    37b726760mov r8, rsi
    37b726763lea r9, [rip+0xd0fca2]
    37b72676amov rdx, r15
    37b72676dmov rcx, r14
    37b726770call sscal_
    37b726775add edi, 1
    37b726778add rsi, rbx
    37b72677bcmp r13l, edi
    37b72677ejge 0x37b726760
    37b726780mov r13, [rsp+248]
    37b726788mov rdi, [rsp+304]
    37b726790mov rsi, [rsp+312]
    37b726798
    37b726798loc_37b726798:
    37b726798mov rax, [rsp+728]
    37b7267a0movss x0, [rax]
    37b7267a4mulss x0, [rsp+368]
    37b7267admovss [rax], x0
    37b7267b1jmp 0x37b724ec1
    37b7267b6
    37b7267b6loc_37b7267b6:
    37b7267b6mov rax, [rsp+672]
    37b7267bemov r8, [rsp+712]
    37b7267c6mov edx, [rax]
    37b7267c8mov rax, [rsp+160]
    37b7267d0test edx, edx
    37b7267d2jle 0x37b72684b
    37b7267d4mov [rsp+248], r13
    37b7267dcmov r15, rsi
    37b7267dfmov r13l, edx
    37b7267e2mov rsi, rbx
    37b7267e5mov [rsp+304], rbp
    37b7267edlea rbx, [4*rax]
    37b7267f5mov ebp, 1
    37b7267famov [rsp+312], rdi
    37b726802mov rdi, r8
    37b726805nop [rax+rax]
    37b726810
    37b726810loc_37b726810:
    37b726810mov r8, rdi
    37b726813lea r9, [rip+0xd0fbf2]
    37b72681amov rdx, rsi
    37b72681dmov rcx, r14
    37b726820call sscal_
    37b726825add ebp, 1
    37b726828add rdi, rbx
    37b72682bcmp r13l, ebp
    37b72682ejge 0x37b726810
    37b726830mov r13, [rsp+248]
    37b726838mov rbp, [rsp+304]
    37b726840mov rsi, r15
    37b726843mov rdi, [rsp+312]
    37b72684b
    37b72684bloc_37b72684b:
    37b72684bmov rax, [rsp+728]
    37b726853movss x0, [rax]
    37b726857mulss x0, [rsp+368]
    37b726860movss [rax], x0
    37b726864jmp 0x37b726486
    37b726869
    37b726869loc_37b726869:
    37b726869neg eax
    37b72686bjmp 0x37b7217de
    37b7216c0