File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37b726880
    37b726880strsyl3_:
    37b726880push r15
    37b726882push r14
    37b726884push r13
    37b726886push r12
    37b726888push rbp
    37b726889push rdi
    37b72688apush rsi
    37b72688bpush rbx
    37b72688csub rsp, 888
    37b726893movups [rsp+720], x6
    37b72689bmovups [rsp+736], x7
    37b7268a3movups [rsp+752], x8
    37b7268acmovups [rsp+768], x9
    37b7268b5movups [rsp+784], x10
    37b7268bemovups [rsp+800], x11
    37b7268c7movups [rsp+816], x12
    37b7268d0movups [rsp+832], x13
    37b7268d9movups [rsp+848], x14
    37b7268e2movups [rsp+864], x15
    37b7268ebmov esi, 1
    37b7268f0mov rax, [rsp+1008]
    37b7268f8mov rbp, [rsp+1080]
    37b726900mov r13l, [rax]
    37b726903mov rax, [rsp+1024]
    37b72690bmov r12l, [rbp]
    37b72690fmov [rsp+960], rcx
    37b726917mov r14l, [rax]
    37b72691amov rcx, [rsp+992]
    37b726922mov rax, [rsp+1040]
    37b72692amov [rsp+968], rdx
    37b726932mov [rsp+976], r8
    37b72693amov edx, [rcx]
    37b72693cmov r15l, [rax]
    37b72693fmov [rsp+984], r9
    37b726947movsxd rax, [r9]
    37b72694amovsxd rcx, edx
    37b72694dcmp eax, edx
    37b72694fcmovge rcx, rax
    37b726953xor eax, eax
    37b726955test rcx, rcx
    37b726958cmovs rcx, rax
    37b72695cmov eax, 1
    37b726961shl rcx, 2
    37b726965cmove rcx, rax
    37b726969call malloc
    37b72696emov rcx, [rsp+960]
    37b726976mov r9l, 1
    37b72697cmov r8l, 1
    37b726982lea rdx, [rip+0xd0fac7]
    37b726989mov [rsp+152], rax
    37b726991call lsame_
    37b726996mov rcx, [rsp+968]
    37b72699emov r9l, 1
    37b7269a4mov r8l, 1
    37b7269aalea rdx, [rip+0xd0fa9f]
    37b7269b1mov [rsp+144], eax
    37b7269b8call lsame_
    37b7269bdmov r9, [rsp+984]
    37b7269c5mov [rsp+64], 0
    37b7269celea rdx, [rip+0xd0fa7c]
    37b7269d5mov [rsp+160], eax
    37b7269dclea rax, [rip+0xd0fa79]
    37b7269e3lea rcx, [rip+0xd0fa6e]
    37b7269eamov [rsp+48], rax
    37b7269eflea r8, [rip+0xd0fa5b]
    37b7269f6mov [rsp+40], rax
    37b7269fbmov rax, [rsp+992]
    37b726a03mov [rsp+56], 6
    37b726a0cmov [rsp+32], rax
    37b726a11call ilaenv_
    37b726a16mov rcx, [rsp+984]
    37b726a1emov ebx, eax
    37b726a20mov eax, 8
    37b726a25cmp ebx, eax
    37b726a27cmovl ebx, eax
    37b726a2amov eax, [rcx]
    37b726a2cmov rcx, [rsp+992]
    37b726a34lea eax, [rax+rbx-1]
    37b726a38cdq
    37b726a39idiv ebx
    37b726a3btest eax, eax
    37b726a3dcmovg esi, eax
    37b726a40mov eax, [rcx]
    37b726a42mov rcx, [rsp+1064]
    37b726a4alea eax, [rax+rbx-1]
    37b726a4ecdq
    37b726a4fidiv ebx
    37b726a51mov edx, 1
    37b726a56test eax, eax
    37b726a58cmovg edx, eax
    37b726a5bmov rax, [rsp+1088]
    37b726a63mov [rax], 0
    37b726a69lea eax, [rsi+rdx]
    37b726a6cmov r11l, edx
    37b726a6flea edx, [rax+2]
    37b726a72cmp [rcx], -1
    37b726a75je 0x37b726b7b
    37b726a7bxor edi, edi
    37b726a7dcmp [rbp], -1
    37b726a81je 0x37b726b7b
    37b726a87
    37b726a87loc_37b726a87:
    37b726a87mov rax, [rsp+1056]
    37b726a8fmov ecx, [rsp+144]
    37b726a96mov [rax], edx
    37b726a98test ecx, ecx
    37b726a9aje 0x37b726c60
    37b726aa0
    37b726aa0loc_37b726aa0:
    37b726aa0mov edx, [rsp+160]
    37b726aa7test edx, edx
    37b726aa9je 0x37b726cd7
    37b726aaf
    37b726aafloc_37b726aaf:
    37b726aafmov rax, [rsp+976]
    37b726ab7mov eax, [rax]
    37b726ab9mov [rsp+136], eax
    37b726ac0add eax, 1
    37b726ac3and eax, -3
    37b726ac6je 0x37b726bb6
    37b726accmov edx, -3
    37b726ad1mov eax, 3
    37b726ad6
    37b726ad6loc_37b726ad6:
    37b726ad6mov rcx, [rsp+1088]
    37b726ademov [rcx], edx
    37b726ae0
    37b726ae0loc_37b726ae0:
    37b726ae0lea rdx, [rsp+716]
    37b726ae8mov r8l, 7
    37b726aeelea rcx, [rip+0xd0f96d]
    37b726af5mov [rsp+716], eax
    37b726afccall xerbla_
    37b726b01
    37b726b01loc_37b726b01:
    37b726b01mov rcx, [rsp+152]
    37b726b09call free
    37b726b0enop
    37b726b0fmovups x6, [rsp+720]
    37b726b17movups x7, [rsp+736]
    37b726b1fmovups x8, [rsp+752]
    37b726b28movups x9, [rsp+768]
    37b726b31movups x10, [rsp+784]
    37b726b3amovups x11, [rsp+800]
    37b726b43movups x12, [rsp+816]
    37b726b4cmovups x13, [rsp+832]
    37b726b55movups x14, [rsp+848]
    37b726b5emovups x15, [rsp+864]
    37b726b67add rsp, 888
    37b726b6epop rbx
    37b726b6fpop rsi
    37b726b70pop rdi
    37b726b71pop rbp
    37b726b72pop r12
    37b726b74pop r13
    37b726b76pop r14
    37b726b78pop r15
    37b726b7aret
    37b726b7b
    37b726b7bloc_37b726b7b:
    37b726b7bcmp esi, r11l
    37b726b7emov ecx, r11l
    37b726b81mov edi, 1
    37b726b86mov [rbp], 2
    37b726b8dcmovge ecx, esi
    37b726b90add eax, r11l
    37b726b93movd x4, eax
    37b726b97mov rax, [rsp+1072]
    37b726b9fmovd x0, ecx
    37b726ba3punpckldq x0, x4
    37b726ba7movq x0, x0
    37b726babcvtdq2ps x0, x0
    37b726baemovlps [rax], x0
    37b726bb1jmp 0x37b726a87
    37b726bb6
    37b726bb6loc_37b726bb6:
    37b726bb6mov rax, [rsp+984]
    37b726bbemov edx, [rax]
    37b726bc0test edx, edx
    37b726bc2js 0x37b726d5d
    37b726bc8mov rax, [rsp+992]
    37b726bd0mov ecx, [rax]
    37b726bd2test ecx, ecx
    37b726bd4js 0x37b726d4e
    37b726bdamov r10, [rsp+1008]
    37b726be2test edx, edx
    37b726be4mov eax, 1
    37b726be9cmovg eax, edx
    37b726beccmp [r10], eax
    37b726befjl 0x37b726d6c
    37b726bf5mov r10, [rsp+1024]
    37b726bfdtest ecx, ecx
    37b726bffmov r8l, 1
    37b726c05cmovg r8l, ecx
    37b726c09cmp [r10], r8l
    37b726c0cjl 0x37b726d7b
    37b726c12mov r10, [rsp+1040]
    37b726c1acmp [r10], eax
    37b726c1djl 0x37b726d8a
    37b726c23test edi, edi
    37b726c25jne 0x37b726dbf
    37b726c2bmov rdi, [rsp+1056]
    37b726c33mov rax, [rsp+1064]
    37b726c3bmov edi, [rdi]
    37b726c3dcmp [rax], edi
    37b726c3fjge 0x37b726d99
    37b726c45mov rax, [rsp+1088]
    37b726c4dmov [rax], -14
    37b726c53mov eax, 14
    37b726c58jmp 0x37b726ae0
    37b726c5d
    37b726c5d 0f 1f 00 ...
    37b726c60
    37b726c60loc_37b726c60:
    37b726c60mov rcx, [rsp+960]
    37b726c68lea rdx, [rip+0xd0f7f1]
    37b726c6fmov r9l, 1
    37b726c75mov r8l, 1
    37b726c7bmov [rsp+136], r11l
    37b726c83call lsame_
    37b726c88mov r11l, [rsp+136]
    37b726c90test eax, eax
    37b726c92jne 0x37b726aa0
    37b726c98mov rcx, [rsp+960]
    37b726ca0mov r9l, 1
    37b726ca6mov r8l, 1
    37b726caclea rdx, [rip+0xd0f7ae]
    37b726cb3call lsame_
    37b726cb8mov r11l, [rsp+136]
    37b726cc0test eax, eax
    37b726cc2jne 0x37b726aa0
    37b726cc8mov edx, -1
    37b726ccdmov eax, 1
    37b726cd2jmp 0x37b726ad6
    37b726cd7
    37b726cd7loc_37b726cd7:
    37b726cd7mov rcx, [rsp+968]
    37b726cdflea rdx, [rip+0xd0f77a]
    37b726ce6mov r9l, 1
    37b726cecmov r8l, 1
    37b726cf2mov [rsp+136], r11l
    37b726cfacall lsame_
    37b726cffmov r11l, [rsp+136]
    37b726d07test eax, eax
    37b726d09jne 0x37b726aaf
    37b726d0fmov rcx, [rsp+968]
    37b726d17mov r9l, 1
    37b726d1dmov r8l, 1
    37b726d23lea rdx, [rip+0xd0f737]
    37b726d2acall lsame_
    37b726d2fmov r11l, [rsp+136]
    37b726d37test eax, eax
    37b726d39jne 0x37b726aaf
    37b726d3fmov edx, -2
    37b726d44mov eax, 2
    37b726d49jmp 0x37b726ad6
    37b726d4e
    37b726d4eloc_37b726d4e:
    37b726d4emov edx, -5
    37b726d53mov eax, 5
    37b726d58jmp 0x37b726ad6
    37b726d5d
    37b726d5dloc_37b726d5d:
    37b726d5dmov edx, -4
    37b726d62mov eax, 4
    37b726d67jmp 0x37b726ad6
    37b726d6c
    37b726d6cloc_37b726d6c:
    37b726d6cmov edx, -7
    37b726d71mov eax, 7
    37b726d76jmp 0x37b726ad6
    37b726d7b
    37b726d7bloc_37b726d7b:
    37b726d7bmov edx, -9
    37b726d80mov eax, 9
    37b726d85jmp 0x37b726ad6
    37b726d8a
    37b726d8aloc_37b726d8a:
    37b726d8amov edx, -11
    37b726d8fmov eax, 11
    37b726d94jmp 0x37b726ad6
    37b726d99
    37b726d99loc_37b726d99:
    37b726d99cmp esi, r11l
    37b726d9cmov eax, r11l
    37b726d9fcmovge eax, esi
    37b726da2cmp [rbp], eax
    37b726da5mov rax, [rsp+1088]
    37b726dadjge 0x37b726dd8
    37b726dafmov [rax], -16
    37b726db5mov eax, 16
    37b726dbajmp 0x37b726ae0
    37b726dbf
    37b726dbfloc_37b726dbf:
    37b726dbfmov rax, [rsp+1088]
    37b726dc7mov eax, [rax]
    37b726dc9test eax, eax
    37b726dcbje 0x37b726b01
    37b726dd1
    37b726dd1loc_37b726dd1:
    37b726dd1neg eax
    37b726dd3jmp 0x37b726ae0
    37b726dd8
    37b726dd8loc_37b726dd8:
    37b726dd8mov eax, [rax]
    37b726ddatest eax, eax
    37b726ddcjne 0x37b726dd1
    37b726ddemovss x10, [rip+0xd0f691]
    37b726de7mov rax, [rsp+1048]
    37b726defmovss [rax], x10
    37b726df4test edx, edx
    37b726df6je 0x37b726b01
    37b726dfctest ecx, ecx
    37b726dfeje 0x37b726b01
    37b726e04cmp esi, r11l
    37b726e07mov eax, r11l
    37b726e0acmovle eax, esi
    37b726e0dcmp eax, 1
    37b726e10je 0x37b727499
    37b726e16movsxd rcx, r12l
    37b726e19xor eax, eax
    37b726e1bmovaps x7, x10
    37b726e1fmov edx, 1
    37b726e24test rcx, rcx
    37b726e27mov [rsp+136], r11l
    37b726e2fcmovns rax, rcx
    37b726e33movsxd rcx, r13l
    37b726e36mov [rsp+376], rax
    37b726e3enot rax
    37b726e41mov [rsp+168], rax
    37b726e49xor eax, eax
    37b726e4btest rcx, rcx
    37b726e4ecmovns rax, rcx
    37b726e52movsxd rcx, r14l
    37b726e55mov [rsp+344], rax
    37b726e5dnot rax
    37b726e60mov [rsp+368], rax
    37b726e68xor eax, eax
    37b726e6atest rcx, rcx
    37b726e6dcmovns rax, rcx
    37b726e71movsxd rcx, r15l
    37b726e74mov [rsp+272], rax
    37b726e7cnot rax
    37b726e7fmov [rsp+264], rax
    37b726e87xor eax, eax
    37b726e89test rcx, rcx
    37b726e8ccmovns rax, rcx
    37b726e90lea rcx, [rip+0xd0f5d2]
    37b726e97mov [rsp+184], rax
    37b726e9fnot rax
    37b726ea2mov [rsp+192], rax
    37b726eaacall slamch_
    37b726eafmov rax, [rsp+1056]
    37b726eb7lea ecx, [rsi-1]
    37b726ebamov r11l, [rsp+136]
    37b726ec2divss x7, x0
    37b726ec6shl rcx, 2
    37b726ecamovaps x13, x0
    37b726ecemov edx, 1
    37b726ed3add rax, 4
    37b726ed7mov [rsp+496], rax
    37b726edflea r8, [rax+rcx]
    37b726ee3mov rax, [rsp+1056]
    37b726eeb
    37b726eebloc_37b726eeb:
    37b726eebmov [rax], edx
    37b726eedadd rax, 4
    37b726ef1add edx, ebx
    37b726ef3cmp rax, r8
    37b726ef6jne 0x37b726eeb
    37b726ef8mov rax, [rsp+984]
    37b726f00movsxd rdx, esi
    37b726f03mov r10, [rsp+1056]
    37b726f0bmov [rsp+200], r11l
    37b726f13mov rbp, [rsp+496]
    37b726f1bpxor x0, x0
    37b726f1fmov edi, [rax]
    37b726f21lea rdx, [r10+4*rdx]
    37b726f25lea r13, [r10+rcx+8]
    37b726f2amov rcx, [rsp+344]
    37b726f32lea eax, [rdi+1]
    37b726f35lea r12, [rcx+1]
    37b726f39xor ecx, ecx
    37b726f3bmov [rdx], eax
    37b726f3dlea r9, [4*r12]
    37b726f45mov [rsp+176], eax
    37b726f4c
    37b726f4cloc_37b726f4c:
    37b726f4cmov eax, [rbp-4]
    37b726f4fmov r10l, [rbp]
    37b726f53cmp r10l, eax
    37b726f56jle 0x37b72700e
    37b726f5cmovsxd r14, eax
    37b726f5fmov r15, r12
    37b726f62mov r11, [rsp+368]
    37b726f6aimul r15, r14
    37b726f6elea r8, [r11+r15]
    37b726f72mov r11, [rsp+1000]
    37b726f7alea r11, [r11+4*r8]
    37b726f7emov [rsp+136], r11
    37b726f86lea r11, [r14+1]
    37b726f8asub r14, r15
    37b726f8dmov r8, [rsp+136]
    37b726f95imul r11, [rsp+344]
    37b726f9eadd r11, r14
    37b726fa1jmp 0x37b726fcd
    37b726fa3
    37b726fa3 0f 1f 80 00 00 00 00 66 66 2e 0f 1f 84 .......ff....
    37b726fb0 00 00 00 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 .....ff.........
    37b726fc0
    37b726fc0loc_37b726fc0:
    37b726fc0mov eax, r14l
    37b726fc3add r8, r9
    37b726fc6xor ecx, ecx
    37b726fc8cmp r10l, eax
    37b726fcbje 0x37b72700e
    37b726fcd
    37b726fcdloc_37b726fcd:
    37b726fcdlea r14l, [rax+1]
    37b726fd1cmp edi, eax
    37b726fd3jle 0x37b726fc0
    37b726fd5test ecx, ecx
    37b726fd7jne 0x37b726fc0
    37b726fd9ucomiss x0, [r8+4*r11]
    37b726fdejp 0x37b726fe2
    37b726fe0je 0x37b726fc0
    37b726fe2
    37b726fe2loc_37b726fe2:
    37b726fe2ucomiss x0, [r8+4]
    37b726fe7jp 0x37b726feb
    37b726fe9je 0x37b726fc0
    37b726feb
    37b726febloc_37b726feb:
    37b726febcmp [rbp], r14l
    37b726fefje 0x37b72754a
    37b726ff5cmp r10l, r14l
    37b726ff8je 0x37b728f1e
    37b726ffeadd r8, r9
    37b727001add eax, 2
    37b727004xor ecx, ecx
    37b727006add r8, r9
    37b727009cmp r10l, eax
    37b72700cjne 0x37b726fcd
    37b72700e
    37b72700eloc_37b72700e:
    37b72700eadd rbp, 4
    37b727012cmp rbp, r13
    37b727015jne 0x37b726f4c
    37b72701bmov eax, [rsp+176]
    37b727022mov r11l, [rsp+200]
    37b72702amov [rdx], eax
    37b72702ccmp eax, [rdx-4]
    37b72702fjle 0x37b728f05
    37b727035lea eax, [rsi+1]
    37b727038mov [rsp+436], esi
    37b72703fmov [rsp+208], eax
    37b727046
    37b727046loc_37b727046:
    37b727046movsxd rdi, [rsp+208]
    37b72704elea eax, [r11-1]
    37b727052mov edx, 1
    37b727057mov r13, rax
    37b72705alea rcx, [4*rdi]
    37b727062add rax, rdi
    37b727065mov [rsp+600], rdi
    37b72706dmov rdi, [rsp+496]
    37b727075mov [rsp+232], rcx
    37b72707dadd rcx, [rsp+1056]
    37b727085mov [rsp+592], rcx
    37b72708dlea rbp, [rdi+4*rax]
    37b727091mov rax, rcx
    37b727094
    37b727094loc_37b727094:
    37b727094mov [rax], edx
    37b727096add rax, 4
    37b72709aadd edx, ebx
    37b72709ccmp rax, rbp
    37b72709fjne 0x37b727094
    37b7270a1mov rax, [rsp+992]
    37b7270a9mov rcx, [rsp+1056]
    37b7270b1pxor x0, x0
    37b7270b5mov rdi, [rsp+592]
    37b7270bdmov esi, [rax]
    37b7270bfmov eax, [rsp+208]
    37b7270c6lea r8l, [r11+rax]
    37b7270calea eax, [rsi+1]
    37b7270cdmovsxd rdx, r8l
    37b7270d0mov [rsp+176], r8l
    37b7270d8mov [rcx+4*rdx], eax
    37b7270dbmov rcx, [rsp+272]
    37b7270e3mov [rsp+200], rdx
    37b7270eblea r12, [rcx+1]
    37b7270efxor ecx, ecx
    37b7270f1lea r9, [4*r12]
    37b7270f9
    37b7270f9loc_37b7270f9:
    37b7270f9mov edx, [rdi]
    37b7270fbmov r10l, [rdi+4]
    37b7270ffcmp r10l, edx
    37b727102jle 0x37b7271ae
    37b727108movsxd r14, edx
    37b72710bmov r15, r12
    37b72710emov rbx, [rsp+264]
    37b727116imul r15, r14
    37b72711alea r8, [rbx+r15]
    37b72711emov rbx, [rsp+1016]
    37b727126lea rbx, [rbx+4*r8]
    37b72712amov [rsp+136], rbx
    37b727132lea rbx, [r14+1]
    37b727136sub r14, r15
    37b727139mov r8, [rsp+136]
    37b727141imul rbx, [rsp+272]
    37b72714aadd rbx, r14
    37b72714djmp 0x37b72716d
    37b72714f
    37b72714f 66 f
    37b727150 0f 1f 44 00 00 66 66 2e 0f 1f 84 00 00 00 00 00 ..D..ff.........
    37b727160
    37b727160loc_37b727160:
    37b727160mov edx, r14l
    37b727163add r8, r9
    37b727166xor ecx, ecx
    37b727168cmp r10l, edx
    37b72716bje 0x37b7271ae
    37b72716d
    37b72716dloc_37b72716d:
    37b72716dlea r14l, [rdx+1]
    37b727171cmp esi, edx
    37b727173jle 0x37b727160
    37b727175test ecx, ecx
    37b727177jne 0x37b727160
    37b727179ucomiss x0, [r8+4*rbx]
    37b72717ejp 0x37b727182
    37b727180je 0x37b727160
    37b727182
    37b727182loc_37b727182:
    37b727182ucomiss x0, [r8+4]
    37b727187jp 0x37b72718b
    37b727189je 0x37b727160
    37b72718b
    37b72718bloc_37b72718b:
    37b72718bcmp [rdi+4], r14l
    37b72718fje 0x37b727556
    37b727195cmp r10l, r14l
    37b727198je 0x37b72b456
    37b72719eadd r8, r9
    37b7271a1add edx, 2
    37b7271a4xor ecx, ecx
    37b7271a6add r8, r9
    37b7271a9cmp r10l, edx
    37b7271acjne 0x37b72716d
    37b7271ae
    37b7271aeloc_37b7271ae:
    37b7271aeadd rdi, 4
    37b7271b2cmp rdi, rbp
    37b7271b5jne 0x37b7270f9
    37b7271bbmov rdx, [rsp+200]
    37b7271c3mov r8l, [rsp+176]
    37b7271cbmov rcx, [rsp+1056]
    37b7271d3mov [rcx+4*rdx], eax
    37b7271d6lea edx, [r8-1]
    37b7271damovsxd rdx, edx
    37b7271ddcmp eax, [rcx+4*rdx]
    37b7271e0jg 0x37b728eeb
    37b7271e6mov [rcx+4*rdx], eax
    37b7271e9mov eax, [rsp+144]
    37b7271f0mov r11l, r13l
    37b7271f3and eax, [rsp+160]
    37b7271famov [rsp+216], eax
    37b727201test r13l, r13l
    37b727204je 0x37b72c79a
    37b72720a
    37b72720aloc_37b72720a:
    37b72720amov eax, [rsp+436]
    37b727211lea r10l, [r11+1]
    37b727215mov [rsp+384], r10l
    37b72721dtest eax, eax
    37b72721fje 0x37b72c778
    37b727225mov rcx, [rsp+376]
    37b72722dsub eax, 1
    37b727230mov r8l, 1
    37b727236lea rbx, [4*rcx]
    37b72723emov rcx, [rsp+1072]
    37b727246lea rdx, [rcx+4*rax+4]
    37b72724bnot rax
    37b72724elea r9, [4*rax]
    37b727256
    37b727256loc_37b727256:
    37b727256mov rcx, r9
    37b727259lea rax, [r9+rdx]
    37b72725dneg rcx
    37b727260and ecx, 4
    37b727263je 0x37b727280
    37b727265movss [rax], x10
    37b72726aadd rax, 4
    37b72726ecmp rdx, rax
    37b727271je 0x37b727294
    37b727273nop
    37b727275nop [rax+rax]
    37b727280
    37b727280loc_37b727280:
    37b727280movss [rax], x10
    37b727285add rax, 8
    37b727289movss [rax-4], x10
    37b72728fcmp rdx, rax
    37b727292jne 0x37b727280
    37b727294
    37b727294loc_37b727294:
    37b727294add r8l, 1
    37b727298add rdx, rbx
    37b72729bcmp r8l, r10l
    37b72729ejne 0x37b727256
    37b7272a0mov eax, [rsp+436]
    37b7272a7test eax, eax
    37b7272a9je 0x37b72c792
    37b7272af
    37b7272afloc_37b7272af:
    37b7272afmov ecx, 1
    37b7272b4cmp [rsp+436], ecx
    37b7272bbjge 0x37b7272ce
    37b7272bd
    37b7272bdloc_37b7272bd:
    37b7272bdadd rcx, 1
    37b7272c1cmp [rsp+436], ecx
    37b7272c8jl 0x37b727562
    37b7272ce
    37b7272celoc_37b7272ce:
    37b7272cemov rax, [rsp+1056]
    37b7272d6lea r13l, [r11+rcx]
    37b7272damov rdi, [rsp+1072]
    37b7272e2lea r15, [rsp+716]
    37b7272ealea rbx, [rsp+712]
    37b7272f2mov [rsp+200], rcx
    37b7272falea r12, [rax+4*rcx]
    37b7272femov eax, r13l
    37b727301mov [rsp+176], r15
    37b727309mov r15, [rsp+368]
    37b727311imul rax, [rsp+376]
    37b72731aadd rax, [rsp+168]
    37b727322mov rsi, r12
    37b727325mov [rsp+136], rbx
    37b72732dadd rax, rcx
    37b727330mov r12l, r13l
    37b727333mov [rsp+224], r11l
    37b72733blea r14, [rdi+4*rax]
    37b72733fmov eax, [rsp+436]
    37b727346lea edi, [rax+r11+1]
    37b72734bmov rax, [rsp+1056]
    37b727353mov edx, [rax+4*rcx]
    37b727356mov eax, [rax+4*rcx-4]
    37b72735amov ebp, edx
    37b72735cmov r8l, edx
    37b72735fmov ecx, eax
    37b727361sub ebp, eax
    37b727363mov r13l, ebp
    37b727366movsxd rbp, eax
    37b727369jmp 0x37b7273f3
    37b72736e
    37b72736e 66 90 f.
    37b727370
    37b727370loc_37b727370:
    37b727370mov rax, [rsp+152]
    37b727378mov r8, [rsp+176]
    37b727380movsxd rbx, r12l
    37b727383mov [rsp+48], 1
    37b72738cmov rdx, [rsp+136]
    37b727394lea rcx, [rip+0xd0f0cf]
    37b72739badd r12l, 1
    37b72739fimul rbx, [rsp+376]
    37b7273a8mov [rsp+40], rax
    37b7273admov rax, [rsp+1008]
    37b7273b5add rbx, [rsp+168]
    37b7273bdadd rbx, [rsp+200]
    37b7273c5mov [rsp+32], rax
    37b7273cacall slange_
    37b7273cfmov rax, [rsp+1072]
    37b7273d7movss [rax+4*rbx], x0
    37b7273dccmp r12l, edi
    37b7273dfje 0x37b727484
    37b7273e5
    37b7273e5loc_37b7273e5:
    37b7273e5mov ecx, [rsi]
    37b7273e7mov r8l, [rsi+4]
    37b7273ebadd r14, 4
    37b7273efadd rsi, 4
    37b7273f3
    37b7273f3loc_37b7273f3:
    37b7273f3movsxd rdx, ecx
    37b7273f6mov rax, [rsp+1000]
    37b7273feimul rdx, [rsp+344]
    37b727407sub r8l, ecx
    37b72740amov [rsp+712], r13l
    37b727412mov [rsp+716], r8l
    37b72741aadd rdx, r15
    37b72741dadd rdx, rbp
    37b727420lea r9, [rax+4*rdx]
    37b727424mov eax, [rsp+144]
    37b72742btest eax, eax
    37b72742djne 0x37b727370
    37b727433mov rax, [rsp+152]
    37b72743bmov r8, [rsp+176]
    37b727443add r12l, 1
    37b727447mov [rsp+48], 1
    37b727450mov rdx, [rsp+136]
    37b727458lea rcx, [rip+0xd0f00c]
    37b72745fmov [rsp+40], rax
    37b727464mov rax, [rsp+1008]
    37b72746cmov [rsp+32], rax
    37b727471call slange_
    37b727476movss [r14], x0
    37b72747bcmp r12l, edi
    37b72747ejne 0x37b7273e5
    37b727484
    37b727484loc_37b727484:
    37b727484mov r11l, [rsp+224]
    37b72748cmov rcx, [rsp+200]
    37b727494jmp 0x37b7272bd
    37b727499
    37b727499loc_37b727499:
    37b727499mov rax, [rsp+1088]
    37b7274a1mov r9, [rsp+984]
    37b7274a9mov [rsp+112], 1
    37b7274b2mov r8, [rsp+976]
    37b7274bamov rdx, [rsp+968]
    37b7274c2mov [rsp+104], 1
    37b7274cbmov [rsp+96], rax
    37b7274d0mov rax, [rsp+1048]
    37b7274d8mov rcx, [rsp+960]
    37b7274e0mov [rsp+88], rax
    37b7274e5mov rax, [rsp+1040]
    37b7274edmov [rsp+80], rax
    37b7274f2mov rax, [rsp+1032]
    37b7274famov [rsp+72], rax
    37b7274ffmov rax, [rsp+1024]
    37b727507mov [rsp+64], rax
    37b72750cmov rax, [rsp+1016]
    37b727514mov [rsp+56], rax
    37b727519mov rax, [rsp+1008]
    37b727521mov [rsp+48], rax
    37b727526mov rax, [rsp+1000]
    37b72752emov [rsp+40], rax
    37b727533mov rax, [rsp+992]
    37b72753bmov [rsp+32], rax
    37b727540call strsyl_
    37b727545jmp 0x37b726b01
    37b72754a
    37b72754aloc_37b72754a:
    37b72754alea eax, [r14+1]
    37b72754emov [rbp], eax
    37b727551jmp 0x37b726fc0
    37b727556
    37b727556loc_37b727556:
    37b727556lea edx, [r14+1]
    37b72755amov [rdi+4], edx
    37b72755djmp 0x37b727160
    37b727562
    37b727562loc_37b727562:
    37b727562mov eax, [rsp+436]
    37b727569lea ebx, [rax+r11]
    37b72756dtest r11l, r11l
    37b727570je 0x37b72b471
    37b727576lea eax, [r11+1]
    37b72757amov [rsp+384], eax
    37b727581
    37b727581loc_37b727581:
    37b727581mov eax, [rsp+384]
    37b727588mov [rsp+224], r11l
    37b727590mov r8l, 1
    37b727596mov r10, [rsp+232]
    37b72759eadd r10, [rsp+496]
    37b7275a6mov [rsp+232], ebx
    37b7275admov [rsp+248], rax
    37b7275b5mov rbx, r10
    37b7275b8
    37b7275b8loc_37b7275b8:
    37b7275b8cmp [rsp+224], r8l
    37b7275c0jl 0x37b72778f
    37b7275c6mov eax, [rsp+208]
    37b7275cdmov edi, [rsp+232]
    37b7275d4lea r12, [rsp+712]
    37b7275dcmov [rsp+200], r8
    37b7275e4mov rsi, [rsp+1072]
    37b7275ecmov [rsp+176], r12
    37b7275f4lea edx, [rax+r8-1]
    37b7275f9lea ecx, [rax+r8]
    37b7275fdmov [rsp+240], rbx
    37b727605lea eax, [rdi+r8]
    37b727609mov r15, rax
    37b72760cimul rax, [rsp+376]
    37b727615add rax, [rsp+168]
    37b72761dadd rax, r8
    37b727620mov r12l, r15l
    37b727623mov r15, [rsp+272]
    37b72762blea r14, [rsi+4*rax]
    37b72762fmov eax, [rsp+384]
    37b727636mov rsi, rbx
    37b727639add edi, eax
    37b72763bmov rax, [rsp+1056]
    37b727643mov ecx, [rax+4*rcx]
    37b727646movsxd rdx, [rax+4*rdx]
    37b72764alea rax, [rsp+716]
    37b727652mov [rsp+136], rax
    37b72765amov ebp, ecx
    37b72765csub ebp, edx
    37b72765emov r13l, ebp
    37b727661movsxd rbp, edx
    37b727664jmp 0x37b7276f3
    37b727669
    37b727669 0f 1f 80 00 00 00 00 .......
    37b727670
    37b727670loc_37b727670:
    37b727670mov rax, [rsp+152]
    37b727678mov r8, [rsp+136]
    37b727680movsxd rbx, r12l
    37b727683mov [rsp+48], 1
    37b72768cmov rdx, [rsp+176]
    37b727694lea rcx, [rip+0xd0edcf]
    37b72769badd r12l, 1
    37b72769fimul rbx, [rsp+376]
    37b7276a8mov [rsp+40], rax
    37b7276admov rax, [rsp+1024]
    37b7276b5add rbx, [rsp+168]
    37b7276bdadd rbx, [rsp+200]
    37b7276c5mov [rsp+32], rax
    37b7276cacall slange_
    37b7276cfmov rax, [rsp+1072]
    37b7276d7movss [rax+4*rbx], x0
    37b7276dccmp r12l, edi
    37b7276dfje 0x37b72777f
    37b7276e5
    37b7276e5loc_37b7276e5:
    37b7276e5mov ecx, [rsi+4]
    37b7276e8movsxd rdx, [rsi]
    37b7276ebadd r14, 4
    37b7276efadd rsi, 4
    37b7276f3
    37b7276f3loc_37b7276f3:
    37b7276f3sub ecx, edx
    37b7276f5mov rax, [rsp+1016]
    37b7276fdimul rdx, r15
    37b727701add rdx, [rsp+264]
    37b727709add rdx, rbp
    37b72770cmov [rsp+712], r13l
    37b727714lea r9, [rax+4*rdx]
    37b727718mov eax, [rsp+160]
    37b72771fmov [rsp+716], ecx
    37b727726test eax, eax
    37b727728jne 0x37b727670
    37b72772emov rax, [rsp+152]
    37b727736mov r8, [rsp+136]
    37b72773eadd r12l, 1
    37b727742mov [rsp+48], 1
    37b72774bmov rdx, [rsp+176]
    37b727753lea rcx, [rip+0xd0ed11]
    37b72775amov [rsp+40], rax
    37b72775fmov rax, [rsp+1024]
    37b727767mov [rsp+32], rax
    37b72776ccall slange_
    37b727771movss [r14], x0
    37b727776cmp r12l, edi
    37b727779jne 0x37b7276e5
    37b72777f
    37b72777floc_37b72777f:
    37b72777fmov r8, [rsp+200]
    37b727787mov rbx, [rsp+240]
    37b72778f
    37b72778floc_37b72778f:
    37b72778fadd r8, 1
    37b727793add rbx, 4
    37b727797cmp r8, [rsp+248]
    37b72779fjne 0x37b7275b8
    37b7277a5mov rax, [rsp+976]
    37b7277adpxor x11, x11
    37b7277b2mov r11l, [rsp+224]
    37b7277bamov ebx, [rsp+232]
    37b7277c1cvtsi2ss x11, [rax]
    37b7277c6mov eax, [rsp+216]
    37b7277cdtest eax, eax
    37b7277cfje 0x37b728f28
    37b7277d5mov r12l, [rsp+436]
    37b7277ddtest r12l, r12l
    37b7277e0je 0x37b72c7b9
    37b7277e6
    37b7277e6loc_37b7277e6:
    37b7277e6movsxd rdx, [rsp+436]
    37b7277eemov r8, rdx
    37b7277f1test r11l, r11l
    37b7277f4je 0x37b7280c5
    37b7277famov rcx, [rsp+376]
    37b727802mov rax, [rsp+1072]
    37b72780aadd ebx, 2
    37b72780dmovaps x12, x10
    37b727811mov rdi, [rsp+1072]
    37b727819xorps x11, [rip+0xd0ec5f]
    37b727821lea r9, [rdx-1]
    37b727825mov [rsp+616], ebx
    37b72782clea r12, [rax+4*rdx-8]
    37b727831lea rax, [4*rcx]
    37b727839movss x9, [rip+0xd0ec3a]
    37b727842mov r10, [rsp+1056]
    37b72784amov [rsp+176], rax
    37b727852lea eax, [rdx-1]
    37b727855lea rbp, [rcx+rcx]
    37b727859lea rdi, [rdi+4*rax+4]
    37b72785eneg rax
    37b727861mov rsi, rbp
    37b727864shl rax, 2
    37b727868mov [rsp+440], rdi
    37b727870mov [rsp+456], rax
    37b727878mov rax, [rsp+184]
    37b727880shl rax, 2
    37b727884mov [rsp+608], rax
    37b72788cmovsxd rax, ebx
    37b72788flea rbx, [rsp+716]
    37b727897imul rax, rcx
    37b72789bsub rax, rbp
    37b72789emov rcx, rax
    37b7278a1lea eax, [r11+1]
    37b7278a5mov [rsp+384], eax
    37b7278aclea rax, [rsp+712]
    37b7278b4mov rbp, rcx
    37b7278b7mov [rsp+136], rax
    37b7278bflea rax, [rip+0xd0eba4]
    37b7278c6mov [rsp+160], rax
    37b7278cemov rax, [rsp+600]
    37b7278d6lea r13, [rax+1]
    37b7278dalea rax, [rsp+688]
    37b7278e2mov [rsp+480], rax
    37b7278ealea rax, [rsp+696]
    37b7278f2mov [rsp+488], rax
    37b7278famov rax, r13
    37b7278fdmov r13, r12
    37b727900mov r12, rax
    37b727903
    37b727903loc_37b727903:
    37b727903movsxd rdi, [r10+4*rdx-4]
    37b727908mov r14l, [r10+4*rdx]
    37b72790cmov r15, r13
    37b72790fmovaps x6, x13
    37b727913mov rax, [rsp+344]
    37b72791bmov [rsp+448], r12
    37b727923mov rcx, rdi
    37b727926mov [rsp+280], rdi
    37b72792eimul rax, rdi
    37b727932sub r14l, ecx
    37b727935add rax, [rsp+368]
    37b72793dmov ecx, [rsp+384]
    37b727944mov [rsp+360], rax
    37b72794cadd rax, rdi
    37b72794fmov rdi, [rsp+1000]
    37b727957mov [rsp+536], rcx
    37b72795flea rcx, [r10+4*rdx]
    37b727963lea rax, [rdi+4*rax]
    37b727967mov [rsp+560], rcx
    37b72796flea ecx, [r8-2]
    37b727973mov [rsp+528], rax
    37b72797blea eax, [r11+r8]
    37b72797fcdqe
    37b727981mov [rsp+568], rcx
    37b727989mov rcx, rbp
    37b72798cadd rax, 1
    37b727990sub rcx, rdx
    37b727993mov [rsp+512], rsi
    37b72799bimul rax, [rsp+376]
    37b7279a4mov [rsp+576], rcx
    37b7279acmov [rsp+504], 2
    37b7279b8mov [rsp+544], r11l
    37b7279c0mov [rsp+584], rax
    37b7279c8mov [rsp+552], rdx
    37b7279d0mov [rsp+632], rsi
    37b7279d8mov [rsp+144], r15
    37b7279e0mov [rsp+640], rbp
    37b7279e8mov [rsp+1056], r10
    37b7279f0mov [rsp+648], r12
    37b7279f8mov [rsp+656], r9
    37b727a00mov [rsp+624], r13
    37b727a08mov r13, [rsp+608]
    37b727a10
    37b727a10loc_37b727a10:
    37b727a10mov rax, [rsp+448]
    37b727a18mov rsi, [rsp+1056]
    37b727a20mov [rsp+712], r14l
    37b727a28mov rcx, [rsp+1056]
    37b727a30mov rdi, [rsp+1032]
    37b727a38movsxd rcx, [rcx+4*rax-4]
    37b727a3dmov eax, [rsi+4*rax]
    37b727a40mov [rsp+112], 1
    37b727a49mov rsi, [rsp+480]
    37b727a51mov [rsp+104], 1
    37b727a5amov [rsp+392], eax
    37b727a61sub eax, ecx
    37b727a63mov [rsp+168], eax
    37b727a6amov [rsp+716], eax
    37b727a71mov rax, [rsp+184]
    37b727a79mov [rsp+352], ecx
    37b727a80imul rax, rcx
    37b727a84add rax, [rsp+192]
    37b727a8cmov [rsp+96], rsi
    37b727a91mov [rsp+296], rax
    37b727a99add rax, [rsp+280]
    37b727aa1lea rax, [rdi+4*rax]
    37b727aa5mov [rsp+288], rcx
    37b727aadmov rdi, [rsp+488]
    37b727ab5mov [rsp+208], rax
    37b727abdmov rsi, [rsp+1040]
    37b727ac5mov [rsp+72], rax
    37b727acamov rax, [rsp+1024]
    37b727ad2mov [rsp+88], rdi
    37b727ad7mov [rsp+64], rax
    37b727adcmov rax, [rsp+272]
    37b727ae4mov [rsp+80], rsi
    37b727ae9imul rax, rcx
    37b727aedadd rax, [rsp+264]
    37b727af5add rax, rcx
    37b727af8mov rcx, [rsp+1016]
    37b727b00lea rax, [rcx+4*rax]
    37b727b04mov [rsp+56], rax
    37b727b09mov rax, [rsp+1008]
    37b727b11mov [rsp+32], rbx
    37b727b16mov rdx, [rsp+968]
    37b727b1emov [rsp+48], rax
    37b727b23mov rax, [rsp+528]
    37b727b2bmov rcx, [rsp+960]
    37b727b33mov r9, [rsp+136]
    37b727b3bmov [rsp+40], rax
    37b727b40mov r8, [rsp+976]
    37b727b48call strsyl_
    37b727b4dmov edx, [rsp+688]
    37b727b54pxor x1, x1
    37b727b58mov rax, [rsp+1088]
    37b727b60mov rcx, [rsp+1088]
    37b727b68movss x14, [rsp+696]
    37b727b72mov eax, [rax]
    37b727b74cmp eax, edx
    37b727b76cmovl eax, edx
    37b727b79mov [rcx], eax
    37b727b7bmov rax, [rsp+144]
    37b727b83movss x0, [rax+4]
    37b727b88mulss x0, x14
    37b727b8ducomiss x0, x1
    37b727b90jp 0x37b727b98
    37b727b92je 0x37b728da0
    37b727b98
    37b727b98loc_37b727b98:
    37b727b98mov eax, [rsp+168]
    37b727b9fmov rsi, [rsp+144]
    37b727ba7mov r8, rbx
    37b727baamov [rsp+712], r14l
    37b727bb2mov r9, [rsp+208]
    37b727bbamov rdx, [rsp+136]
    37b727bc2mov [rsp+716], eax
    37b727bc9mov rax, [rsp+152]
    37b727bd1movss [rsi+4], x0
    37b727bd6mov rcx, [rsp+160]
    37b727bdemov [rsp+40], rax
    37b727be3mov rax, [rsp+1040]
    37b727bebmov [rsp+48], 1
    37b727bf4mov [rsp+32], rax
    37b727bf9call slange_
    37b727bfemovss [rsp+700], x0
    37b727c07cmp [rsp+552], 1
    37b727c0fje 0x37b7286f7
    37b727c15mov rcx, [rsp+192]
    37b727c1dmov rdx, [rsp+288]
    37b727c25mov r15, rsi
    37b727c28mov [rsp+256], r14l
    37b727c30imul rdx, [rsp+184]
    37b727c39mov rax, [rsp+280]
    37b727c41mov r14, r15
    37b727c44mov rdi, [rsp+1032]
    37b727c4cmov r12, [rsp+560]
    37b727c54add rax, rcx
    37b727c57add rax, rdx
    37b727c5alea rax, [rdi+4*rax]
    37b727c5emov edi, [rsp+392]
    37b727c65mov [rsp+416], rax
    37b727c6dlea rax, [rdx+rcx]
    37b727c71mov [rsp+408], rax
    37b727c79mov rax, [rsp+568]
    37b727c81not rax
    37b727c84lea rax, [rsi+4*rax]
    37b727c88mov rsi, [rsp+584]
    37b727c90sub rsi, [rsp+512]
    37b727c98mov [rsp+304], rax
    37b727ca0lea rax, [rsp+684]
    37b727ca8mov [rsp+240], rax
    37b727cb0lea rax, [rsp+700]
    37b727cb8mov [rsp+232], rax
    37b727cc0lea rax, [rsp+676]
    37b727cc8mov [rsp+320], rax
    37b727cd0lea rax, [rsp+708]
    37b727cd8mov [rsp+224], rax
    37b727ce0lea rax, [rip+0xd0e785]
    37b727ce7mov [rsp+216], rax
    37b727ceflea rax, [rip+0xd0e77a]
    37b727cf6mov [rsp+312], rax
    37b727cfemov [rsp+328], rsi
    37b727d06jmp 0x37b727e33
    37b727d0b
    37b727d0b 0f 1f 44 00 00 ..D..
    37b727d10
    37b727d10loc_37b727d10:
    37b727d10divss x14, [r14]
    37b727d15mulss x14, x8
    37b727d1amovss [rsp+692], x14
    37b727d24ucomiss x14, x10
    37b727d28jp 0x37b728590
    37b727d2ejne 0x37b728590
    37b727d34
    37b727d34loc_37b727d34:
    37b727d34mov rax, [rsp+144]
    37b727d3cmov rdx, [rsp+200]
    37b727d44mov [rsp+708], esi
    37b727d4bsub r12, 4
    37b727d4fadd rdx, [rsp+360]
    37b727d57mov r9, [rsp+136]
    37b727d5fsub r14, 4
    37b727d63movss [rax+4], x13
    37b727d69mov eax, [rsp+168]
    37b727d70mov r8, [rsp+224]
    37b727d78movss [r14+4], x13
    37b727d7emov [rsp+712], eax
    37b727d85mov eax, [rsp+256]
    37b727d8cmov [rsp+32], rbx
    37b727d91mov [rsp+716], eax
    37b727d98mov rax, [rsp+1040]
    37b727da0mov [rsp+112], 1
    37b727da9mov [rsp+96], rax
    37b727daemov rax, [rsp+248]
    37b727db6mov [rsp+104], 1
    37b727dbfmov [rsp+88], rax
    37b727dc4mov rax, [rsp+216]
    37b727dccmov [rsp+80], rax
    37b727dd1mov rax, [rsp+1040]
    37b727dd9mov [rsp+72], rax
    37b727ddemov rax, [rsp+208]
    37b727de6mov [rsp+64], rax
    37b727debmov rax, [rsp+1008]
    37b727df3mov [rsp+56], rax
    37b727df8mov rax, [rsp+1000]
    37b727e00lea rdx, [rax+4*rdx]
    37b727e04mov rax, [rsp+312]
    37b727e0cmov [rsp+48], rdx
    37b727e11lea rdx, [rip+0xd0e638]
    37b727e18mov rcx, rdx
    37b727e1bmov [rsp+40], rax
    37b727e20call sgemm_
    37b727e25cmp r14, [rsp+304]
    37b727e2dje 0x37b7286ef
    37b727e33
    37b727e33loc_37b727e33:
    37b727e33mov edx, [r12-8]
    37b727e38mov esi, [r12-4]
    37b727e3dmov r8, rbx
    37b727e40mov [rsp+48], 1
    37b727e49mov eax, [rsp+168]
    37b727e50mov rcx, [rsp+296]
    37b727e58sub esi, edx
    37b727e5amov [rsp+716], eax
    37b727e61movsxd rax, edx
    37b727e64lea rdx, [rcx+rax]
    37b727e68mov [rsp+200], rax
    37b727e70mov rax, [rsp+1032]
    37b727e78mov rcx, [rsp+160]
    37b727e80mov [rsp+712], esi
    37b727e87lea r9, [rax+4*rdx]
    37b727e8bmov rax, [rsp+152]
    37b727e93mov rdx, [rsp+136]
    37b727e9bmov [rsp+248], r9
    37b727ea3mov [rsp+40], rax
    37b727ea8mov rax, [rsp+1040]
    37b727eb0mov [rsp+32], rax
    37b727eb5call slange_
    37b727ebamov rax, [rsp+144]
    37b727ec2movss x2, [r14]
    37b727ec7movaps x3, x0
    37b727ecamov r8, [rsp+240]
    37b727ed2mov rdx, [rsp+232]
    37b727edamovss x1, [rax+4]
    37b727edfmovaps x14, x2
    37b727ee3mov rax, [rsp+328]
    37b727eebmov rcx, [rsp+320]
    37b727ef3minss x14, x1
    37b727ef8movaps x0, x14
    37b727efcdivss x0, x2
    37b727f00mulss x0, x3
    37b727f04movss [rsp+684], x0
    37b727f0dmovaps x0, x14
    37b727f11divss x0, x1
    37b727f15mulss x0, [rsp+700]
    37b727f1emovss [rsp+700], x0
    37b727f27movss x0, [r14+4*rax]
    37b727f2dmovss [rsp+676], x0
    37b727f36call slarmm_
    37b727f3bmovaps x13, x0
    37b727f3fmovaps x8, x0
    37b727f43movss [rsp+696], x0
    37b727f4cpxor x0, x0
    37b727f50mulss x13, x14
    37b727f55ucomiss x13, x0
    37b727f59jp 0x37b727f61
    37b727f5bje 0x37b7285b0
    37b727f61
    37b727f61loc_37b727f61:
    37b727f61movss x0, [rsp+684]
    37b727f6amov rax, [rsp+144]
    37b727f72mulss x0, x8
    37b727f77movss [rsp+684], x0
    37b727f80movss x0, [rsp+700]
    37b727f89mulss x0, x8
    37b727f8emovss [rsp+700], x0
    37b727f97movaps x0, x14
    37b727f9bdivss x0, [rax+4]
    37b727fa0mulss x0, x8
    37b727fa5movss [rsp+692], x0
    37b727faeucomiss x0, x10
    37b727fb2jp 0x37b727fba
    37b727fb4je 0x37b727d10
    37b727fba
    37b727fbaloc_37b727fba:
    37b727fbamov r15l, [rsp+352]
    37b727fc2cmp r15l, edi
    37b727fc5jge 0x37b727d34
    37b727fcbmov r8, [rsp+416]
    37b727fd3mov [rsp+336], esi
    37b727fdamov esi, r15l
    37b727fddlea rbp, [rsp+692]
    37b727fe5mov r15l, [rsp+256]
    37b727fedmov [rsp+400], r12
    37b727ff5mov r12, r8
    37b727ff8nop [rax+rax]
    37b728000
    37b728000loc_37b728000:
    37b728000mov r8, r12
    37b728003lea r9, [rip+0xd0e44e]
    37b72800amov rdx, rbp
    37b72800dmov rcx, rbx
    37b728010add esi, 1
    37b728013mov [rsp+716], r15l
    37b72801badd r12, r13
    37b72801ecall sscal_
    37b728023cmp edi, esi
    37b728025jne 0x37b728000
    37b728027divss x14, [r14]
    37b72802cmulss x8, x14
    37b728031mov esi, [rsp+336]
    37b728038mov r12, [rsp+400]
    37b728040movss [rsp+692], x8
    37b72804aucomiss x8, x10
    37b72804ejp 0x37b728056
    37b728050je 0x37b727d34
    37b728056
    37b728056loc_37b728056:
    37b728056mov rax, [rsp+200]
    37b72805emov rcx, [rsp+408]
    37b728066mov [rsp+336], r12
    37b72806emov r15l, [rsp+352]
    37b728076lea rdx, [rax+rcx]
    37b72807amov rax, [rsp+1032]
    37b728082lea r12, [rax+4*rdx]
    37b728086nop [rax+rax]
    37b728090
    37b728090loc_37b728090:
    37b728090mov r8, r12
    37b728093lea r9, [rip+0xd0e3be]
    37b72809amov rdx, rbp
    37b72809dmov rcx, rbx
    37b7280a0add r15l, 1
    37b7280a4mov [rsp+716], esi
    37b7280abadd r12, r13
    37b7280aecall sscal_
    37b7280b3cmp edi, r15l
    37b7280b6jne 0x37b728090
    37b7280b8mov r12, [rsp+336]
    37b7280c0jmp 0x37b727d34
    37b7280c5
    37b7280c5loc_37b7280c5:
    37b7280c5mov eax, edx
    37b7280c7lea r11l, [rdx-1]
    37b7280cbsub eax, 1
    37b7280ceje 0x37b7280db
    37b7280d0sub rdx, 2
    37b7280d4mov r11l, edx
    37b7280d7test edx, edx
    37b7280d9jne 0x37b7280c5
    37b7280db
    37b7280dbloc_37b7280db:
    37b7280dbmov rax, [rsp+376]
    37b7280e3movaps x12, x10
    37b7280e7add ebx, 2
    37b7280ealea rax, [4*rax]
    37b7280f2mov [rsp+176], rax
    37b7280fa
    37b7280faloc_37b7280fa:
    37b7280famov rax, [rsp+1072]
    37b728102movss x0, [rax]
    37b728106mov rax, [rsp+1048]
    37b72810emovss [rax], x0
    37b728112
    37b728112loc_37b728112:
    37b728112mov eax, [rsp+436]
    37b728119mov rdx, [rsp+1072]
    37b728121mov r8l, 1
    37b728127lea esi, [rax+1]
    37b72812alea eax, [r11+1]
    37b72812emov rcx, rdx
    37b728131mov [rsp+384], eax
    37b728138test r11l, r11l
    37b72813bje 0x37b72c8ab
    37b728141mov rbp, [rsp+1048]
    37b728149mov r10l, [rsp+384]
    37b728151mov rdi, [rsp+176]
    37b728159
    37b728159loc_37b728159:
    37b728159movss x0, [rbp]
    37b72815emov r9, rcx
    37b728161mov eax, 1
    37b728166nop [rax+rax]
    37b728170
    37b728170loc_37b728170:
    37b728170add eax, 1
    37b728173minss x0, [r9]
    37b728178add r9, rdi
    37b72817bcmp eax, r10l
    37b72817ejne 0x37b728170
    37b728180add r8, 1
    37b728184movss [rbp], x0
    37b728189add rcx, 4
    37b72818dcmp r8, rsi
    37b728190jne 0x37b728159
    37b728192
    37b728192loc_37b728192:
    37b728192mov rax, [rsp+1048]
    37b72819apxor x0, x0
    37b72819eucomiss x0, [rax]
    37b7281a1jp 0x37b7281a9
    37b7281a3je 0x37b72854f
    37b7281a9
    37b7281a9loc_37b7281a9:
    37b7281a9test r11l, r11l
    37b7281acje 0x37b72c883
    37b7281b2mov rcx, [rsp+496]
    37b7281balea eax, [r11-1]
    37b7281bemov r12, rsi
    37b7281c1add rax, [rsp+600]
    37b7281c9mov [rsp+216], ebx
    37b7281d0lea r8, [rsp+716]
    37b7281d8mov ebx, 1
    37b7281ddlea rcx, [rcx+4*rax]
    37b7281e1mov rax, [rsp+184]
    37b7281e9lea rbp, [4*rax]
    37b7281f1mov rax, [rsp+1048]
    37b7281f9mov r14, rbp
    37b7281fcmov rbp, rdx
    37b7281ffmovss x1, [rax]
    37b728203
    37b728203loc_37b728203:
    37b728203mov rax, [rsp+1056]
    37b72820bmov rdi, [rsp+1056]
    37b728213mov [rsp+240], r12
    37b72821bmov rsi, r8
    37b72821emov r13, [rsp+592]
    37b728226mov [rsp+248], rbp
    37b72822emov r12, rbp
    37b728231movsxd rdx, [rax+4*rbx-4]
    37b728236mov rax, [rsp+192]
    37b72823emov [rsp+224], r11l
    37b728246mov edi, [rdi+4*rbx]
    37b728249mov [rsp+232], rbx
    37b728251mov rbp, r13
    37b728254add rax, rdx
    37b728257mov [rsp+168], edx
    37b72825emov rdx, [rsp+176]
    37b728266mov [rsp+208], rax
    37b72826emov rax, rcx
    37b728271mov [rsp+200], edi
    37b728278jmp 0x37b728290
    37b72827a
    37b72827a 66 0f 1f 44 00 00 f..D..
    37b728280
    37b728280loc_37b728280:
    37b728280add rbp, 4
    37b728284add r12, rdx
    37b728287cmp rbp, rax
    37b72828aje 0x37b728372
    37b728290
    37b728290loc_37b728290:
    37b728290movaps x0, x1
    37b728293divss x0, [r12]
    37b728299ucomiss x0, x10
    37b72829dmov r15l, [rbp]
    37b7282a1movss [rsp+692], x0
    37b7282aamov r10l, [rbp+4]
    37b7282aejp 0x37b7282b2
    37b7282b0je 0x37b728280
    37b7282b2
    37b7282b2loc_37b7282b2:
    37b7282b2cmp r15l, r10l
    37b7282b5jge 0x37b728280
    37b7282b7mov rcx, [rsp+1032]
    37b7282bfmov [rsp+160], rax
    37b7282c7movsxd r8, r15l
    37b7282camov ebx, [rsp+200]
    37b7282d1sub ebx, [rsp+168]
    37b7282d8mov [rsp+136], rbp
    37b7282e0mov ebp, r15l
    37b7282e3imul r8, [rsp+184]
    37b7282ecadd r8, [rsp+208]
    37b7282f4mov edi, ebx
    37b7282f6mov r15, rdx
    37b7282f9mov [rsp+144], r12
    37b728301mov ebx, r10l
    37b728304lea r12, [rcx+4*r8]
    37b728308nop [rax+rax]
    37b728310
    37b728310loc_37b728310:
    37b728310mov r8, r12
    37b728313lea r9, [rip+0xd0e13e]
    37b72831amov rcx, rsi
    37b72831dadd ebp, 1
    37b728320lea rdx, [rsp+692]
    37b728328mov [rsp+716], edi
    37b72832fadd r12, r14
    37b728332call sscal_
    37b728337cmp ebx, ebp
    37b728339jne 0x37b728310
    37b72833bmov rbp, [rsp+136]
    37b728343mov r12, [rsp+144]
    37b72834bmov rdx, r15
    37b72834emov rcx, [rsp+1048]
    37b728356mov rax, [rsp+160]
    37b72835eadd rbp, 4
    37b728362add r12, rdx
    37b728365movss x1, [rcx]
    37b728369cmp rbp, rax
    37b72836cjne 0x37b728290
    37b728372
    37b728372loc_37b728372:
    37b728372mov rbx, [rsp+232]
    37b72837amov rcx, rax
    37b72837dmov r8, rsi
    37b728380mov rbp, [rsp+248]
    37b728388mov r12, [rsp+240]
    37b728390mov r11l, [rsp+224]
    37b728398add rbx, 1
    37b72839cadd rbp, 4
    37b7283a0cmp rbx, r12
    37b7283a3jne 0x37b728203
    37b7283a9mov ebx, [rsp+216]
    37b7283b0
    37b7283b0loc_37b7283b0:
    37b7283b0ucomiss x12, x10
    37b7283b4movaps x0, x1
    37b7283b7jp 0x37b7283bf
    37b7283b9je 0x37b728543
    37b7283bf
    37b7283bfloc_37b7283bf:
    37b7283bfpxor x0, x0
    37b7283c3comiss x12, x0
    37b7283c7jbe 0x37b72c876
    37b7283cdmovaps x2, x1
    37b7283d0movaps x0, x10
    37b7283d4mov rax, [rsp+1048]
    37b7283dcdivss x0, x12
    37b7283e1divss x2, x13
    37b7283e6minss x2, x0
    37b7283eadivss x1, x2
    37b7283eemulss x12, x2
    37b7283f3ucomiss x12, x10
    37b7283f7movaps x0, x1
    37b7283famovss [rax], x1
    37b7283fejp 0x37b728406
    37b728400je 0x37b728543
    37b728406
    37b728406loc_37b728406:
    37b728406pxor x1, x1
    37b72840acomiss x12, x1
    37b72840ejbe 0x37b72c86c
    37b728414mov rax, [rsp+1032]
    37b72841cmovss x1, [rax]
    37b728420mov rax, [rsp+984]
    37b728428mov edx, [rax]
    37b72842atest edx, edx
    37b72842cjle 0x37b72848f
    37b72842emov rax, [rsp+992]
    37b728436lea r10l, [rdx+1]
    37b72843amov eax, [rax]
    37b72843ctest eax, eax
    37b72843ejle 0x37b72c84c
    37b728444mov r8, [rsp+184]
    37b72844cmov rsi, [rsp+1032]
    37b728454mov r9l, 1
    37b72845alea ecx, [rax+1]
    37b72845dshl r8, 2
    37b728461
    37b728461loc_37b728461:
    37b728461mov rdx, rsi
    37b728464mov eax, 1
    37b728469
    37b728469loc_37b728469:
    37b728469movss x0, [rdx]
    37b72846dandps x0, [rip+0xd0e01c]
    37b728474add eax, 1
    37b728477add rdx, r8
    37b72847amaxss x1, x0
    37b72847ecmp eax, ecx
    37b728480jne 0x37b728469
    37b728482add r9, 1
    37b728486add rsi, 4
    37b72848acmp r10, r9
    37b72848djne 0x37b728461
    37b72848f
    37b72848floc_37b72848f:
    37b72848fdivss x7, x1
    37b728493lea r8, [rip+0xd0dfc2]
    37b72849amov rax, [rsp+1056]
    37b7284a2mov [rsp+80], 1
    37b7284ablea r9, [rip+0xd0dfba]
    37b7284b2mov rdx, r8
    37b7284b5lea rcx, [rip+0xd0dfb8]
    37b7284bcmov [rsp+136], r11l
    37b7284c4mov [rsp+72], rax
    37b7284c9mov rax, [rsp+1040]
    37b7284d1mov [rsp+64], rax
    37b7284d6mov rax, [rsp+1032]
    37b7284demov [rsp+56], rax
    37b7284e3mov rax, [rsp+992]
    37b7284ebmov [rsp+48], rax
    37b7284f0mov rax, [rsp+984]
    37b7284f8mov [rsp+40], rax
    37b7284fdlea rax, [rsp+696]
    37b728505mov [rsp+32], rax
    37b72850adivss x10, x12
    37b72850fmovaps x0, x7
    37b728512minss x0, x10
    37b728517movss [rsp+696], x0
    37b728520mulss x12, x0
    37b728525call slascl_
    37b72852amov rax, [rsp+1048]
    37b728532mov r11l, [rsp+136]
    37b72853amovss x0, [rax]
    37b72853emulss x0, x12
    37b728543
    37b728543loc_37b728543:
    37b728543mov rax, [rsp+1048]
    37b72854bmovss [rax], x0
    37b72854f
    37b72854floc_37b72854f:
    37b72854fmov rax, [rsp+1056]
    37b728557mov [rax], ebx
    37b728559mov eax, [rsp+436]
    37b728560cmp eax, r11l
    37b728563mov ecx, eax
    37b728565lea eax, [rax+2*r11]
    37b728569cmovl ecx, r11l
    37b72856dmovd x5, eax
    37b728571mov rax, [rsp+1072]
    37b728579movd x0, ecx
    37b72857dpunpckldq x0, x5
    37b728581movq x0, x0
    37b728585cvtdq2ps x0, x0
    37b728588movlps [rax], x0
    37b72858bjmp 0x37b726b01
    37b728590
    37b728590loc_37b728590:
    37b728590cmp [rsp+352], edi
    37b728597jge 0x37b727d34
    37b72859dlea rbp, [rsp+692]
    37b7285a5jmp 0x37b728056
    37b7285aa
    37b7285aa 66 0f 1f 44 00 00 f..D..
    37b7285b0
    37b7285b0loc_37b7285b0:
    37b7285b0mov rdx, rbx
    37b7285b3movaps x0, x8
    37b7285b7call fn_37c4308f0
    37b7285bcmov edx, [rsp+716]
    37b7285c3movaps x0, x9
    37b7285c7call __powisf2
    37b7285ccmov rbp, [rsp+440]
    37b7285d4mov rax, [rsp+456]
    37b7285dcmov [rsp+424], r13
    37b7285e4mulss x12, x0
    37b7285e9mov [rsp+336], esi
    37b7285f0mov r15, [rsp+176]
    37b7285f8mov esi, [rsp+384]
    37b7285ffmov [rsp+400], edi
    37b728606mov edi, 1
    37b72860bmov [rsp+464], r12
    37b728613mov r12, rbp
    37b728616lea rbp, [rax-4]
    37b72861anop [rax+rax]
    37b728620
    37b728620loc_37b728620:
    37b728620lea r13, [rbp+r12]
    37b728625nop [rax+rax]
    37b728630
    37b728630loc_37b728630:
    37b728630mov rdx, rbx
    37b728633movaps x0, x8
    37b728637movss x13, [r13]
    37b72863dadd r13, 4
    37b728641call fn_37c4308f0
    37b728646mov edx, [rsp+716]
    37b72864dmovaps x0, x9
    37b728651call __powisf2
    37b728656divss x13, x0
    37b72865bminss x13, x7
    37b728660movss [r13-4], x13
    37b728666cmp r13, r12
    37b728669jne 0x37b728630
    37b72866badd edi, 1
    37b72866elea r12, [r13+r15]
    37b728673cmp edi, esi
    37b728675jne 0x37b728620
    37b728677mov rdx, rbx
    37b72867amovaps x0, x8
    37b72867emov esi, [rsp+336]
    37b728685mov edi, [rsp+400]
    37b72868cmov r13, [rsp+424]
    37b728694mov r12, [rsp+464]
    37b72869ccall fn_37c4308f0
    37b7286a1mov edx, [rsp+716]
    37b7286a8movaps x0, x9
    37b7286accall __powisf2
    37b7286b1mov rdx, rbx
    37b7286b4divss x14, x0
    37b7286b9movaps x0, x8
    37b7286bdcall fn_37c4308f0
    37b7286c2mov edx, [rsp+716]
    37b7286c9movaps x0, x9
    37b7286cdcall __powisf2
    37b7286d2divss x8, x0
    37b7286d7movss [rsp+696], x8
    37b7286e1movaps x13, x8
    37b7286e5mulss x13, x14
    37b7286eajmp 0x37b727f61
    37b7286ef
    37b7286efloc_37b7286ef:
    37b7286efmov r14l, [rsp+256]
    37b7286f7
    37b7286f7loc_37b7286f7:
    37b7286f7mov rcx, [rsp+504]
    37b7286ffcmp rcx, [rsp+536]
    37b728707je 0x37b728e64
    37b72870dmov rdx, [rsp+448]
    37b728715pxor x13, x13
    37b72871amov rax, [rsp+1056]
    37b728722movss [rsp+520], x6
    37b72872bmov rdi, [rsp+176]
    37b728733movss x8, [rip+0xd0dd40]
    37b72873clea rsi, [rax+4*rdx]
    37b728740mov rax, [rsp+144]
    37b728748lea rdi, [rax+rdi+4]
    37b72874dmov eax, [rsp+544]
    37b728754sub eax, ecx
    37b728756add rax, rdx
    37b728759mov rdx, [rsp+496]
    37b728761lea rax, [rdx+4*rax]
    37b728765mov [rsp+320], rax
    37b72876dmov rax, [rsp+576]
    37b728775lea rax, [rcx+rax-1]
    37b72877amov rcx, [rsp+280]
    37b728782mov [rsp+312], rax
    37b72878amov rax, [rsp+192]
    37b728792lea rdx, [rax+rcx]
    37b728796mov rax, [rsp+288]
    37b72879emov rcx, [rsp+1032]
    37b7287a6imul rax, [rsp+184]
    37b7287afmov [rsp+424], rdx
    37b7287b7add rax, rdx
    37b7287balea rax, [rcx+4*rax]
    37b7287bemov [rsp+416], rax
    37b7287c6lea rax, [rsp+684]
    37b7287cemov [rsp+240], rax
    37b7287d6lea rax, [rsp+700]
    37b7287demov [rsp+232], rax
    37b7287e6lea rax, [rsp+708]
    37b7287eemov [rsp+224], rax
    37b7287f6lea rax, [rip+0xd0dc6f]
    37b7287fdmov [rsp+216], rax
    37b728805lea rax, [rsp+680]
    37b72880dmov [rsp+336], rax
    37b728815lea rax, [rsp+704]
    37b72881dmov [rsp+328], rax
    37b728825jmp 0x37b728970
    37b72882a
    37b72882a 66 0f 1f 44 00 00 f..D..
    37b728830
    37b728830loc_37b728830:
    37b728830divss x15, [rdi]
    37b728835mulss x15, x14
    37b72883amovss [rsp+692], x15
    37b728844ucomiss x15, x10
    37b728848jp 0x37b728ba0
    37b72884ejne 0x37b728ba0
    37b728854
    37b728854loc_37b728854:
    37b728854mov rax, [rsp+144]
    37b72885cmov rcx, [rsp+1016]
    37b728864add rsi, 4
    37b728868lea rdx, [rip+0xd0dbe1]
    37b72886fmov [rsp+704], r14l
    37b728877movss [rax+4], x6
    37b72887cmov eax, [rsp+200]
    37b728883movss [rdi], x6
    37b728887mov [rsp+708], eax
    37b72888emov eax, [rsp+168]
    37b728895mov [rsp+112], 1
    37b72889emov [rsp+712], eax
    37b7288a5mov rax, [rsp+1040]
    37b7288admov [rsp+104], 1
    37b7288b6mov [rsp+96], rax
    37b7288bbmov rax, [rsp+256]
    37b7288c3mov [rsp+40], rbx
    37b7288c8mov [rsp+88], rax
    37b7288cdmov rax, [rsp+216]
    37b7288d5movss [rsp+716], x11
    37b7288dfmov [rsp+80], rax
    37b7288e4mov rax, [rsp+1024]
    37b7288ecmov [rsp+72], rax
    37b7288f1mov rax, [rsp+248]
    37b7288f9imul rax, [rsp+272]
    37b728902add rax, [rsp+264]
    37b72890aadd rax, [rsp+288]
    37b728912lea rax, [rcx+4*rax]
    37b728916mov rcx, rdx
    37b728919mov [rsp+64], rax
    37b72891emov rax, [rsp+1040]
    37b728926mov [rsp+56], rax
    37b72892bmov rax, [rsp+208]
    37b728933mov [rsp+48], rax
    37b728938mov rax, [rsp+136]
    37b728940mov [rsp+32], rax
    37b728945mov r9, [rsp+224]
    37b72894dmov r8, [rsp+328]
    37b728955call sgemm_
    37b72895aadd rdi, [rsp+176]
    37b728962cmp rsi, [rsp+320]
    37b72896aje 0x37b728d60
    37b728970
    37b728970loc_37b728970:
    37b728970movsxd rcx, [rsi]
    37b728973mov eax, [rsi+4]
    37b728976mov [rsp+48], 1
    37b72897fmov r8, rbx
    37b728982mov [rsp+712], r14l
    37b72898amov [rsp+296], eax
    37b728991sub eax, ecx
    37b728993mov r15, rcx
    37b728996mov [rsp+200], eax
    37b72899dmov [rsp+716], eax
    37b7289a4mov rax, [rsp+184]
    37b7289acmov [rsp+248], rcx
    37b7289b4imul rax, rcx
    37b7289b8mov rcx, [rsp+192]
    37b7289c0mov [rsp+304], rax
    37b7289c8lea rdx, [rax+rcx]
    37b7289ccmov rax, [rsp+1032]
    37b7289d4add rdx, [rsp+280]
    37b7289dcmov rcx, [rsp+160]
    37b7289e4lea r9, [rax+4*rdx]
    37b7289e8mov rax, [rsp+152]
    37b7289f0mov rdx, [rsp+136]
    37b7289f8mov [rsp+256], r9
    37b728a00mov [rsp+40], rax
    37b728a05mov rax, [rsp+1040]
    37b728a0dmov [rsp+32], rax
    37b728a12call slange_
    37b728a17mov rax, [rsp+144]
    37b728a1fmovss x2, [rdi]
    37b728a23movaps x3, x0
    37b728a26mov r8, [rsp+240]
    37b728a2emov rdx, [rsp+232]
    37b728a36movss x1, [rax+4]
    37b728a3bmovaps x15, x2
    37b728a3fmov rax, [rsp+312]
    37b728a47mov rcx, [rsp+336]
    37b728a4fminss x15, x1
    37b728a54movaps x0, x15
    37b728a58divss x0, x2
    37b728a5cmulss x0, x3
    37b728a60movss [rsp+684], x0
    37b728a69movaps x0, x15
    37b728a6ddivss x0, x1
    37b728a71mulss x0, [rsp+700]
    37b728a7amovss [rsp+700], x0
    37b728a83movss x0, [rdi+4*rax]
    37b728a88movss [rsp+680], x0
    37b728a91call slarmm_
    37b728a96movss [rsp+696], x0
    37b728a9fmovaps x6, x0
    37b728aa2movaps x14, x0
    37b728aa6mulss x6, x15
    37b728aabucomiss x6, x13
    37b728aafjp 0x37b728ab7
    37b728ab1je 0x37b728c20
    37b728ab7
    37b728ab7loc_37b728ab7:
    37b728ab7movss x0, [rsp+684]
    37b728ac0mov rax, [rsp+144]
    37b728ac8mulss x0, x14
    37b728acdmovss [rsp+684], x0
    37b728ad6movss x0, [rsp+700]
    37b728adfmulss x0, x14
    37b728ae4movss [rsp+700], x0
    37b728aedmovaps x0, x15
    37b728af1divss x0, [rax+4]
    37b728af6mulss x0, x14
    37b728afbmovss [rsp+692], x0
    37b728b04ucomiss x0, x10
    37b728b08jp 0x37b728b10
    37b728b0aje 0x37b728830
    37b728b10
    37b728b10loc_37b728b10:
    37b728b10mov r12l, [rsp+352]
    37b728b18mov eax, [rsp+392]
    37b728b1fcmp r12l, eax
    37b728b22jge 0x37b728830
    37b728b28mov r8, [rsp+416]
    37b728b30lea rbp, [rsp+692]
    37b728b38mov [rsp+400], rsi
    37b728b40mov esi, r12l
    37b728b43mov [rsp+408], rdi
    37b728b4bmov r12, rbp
    37b728b4emov ebp, eax
    37b728b50mov rdi, r8
    37b728b53nop
    37b728b55nop [rax+rax]
    37b728b60
    37b728b60loc_37b728b60:
    37b728b60mov r8, rdi
    37b728b63lea r9, [rip+0xd0d8ee]
    37b728b6amov rdx, r12
    37b728b6dmov rcx, rbx
    37b728b70add esi, 1
    37b728b73mov [rsp+716], r14l
    37b728b7badd rdi, r13
    37b728b7ecall sscal_
    37b728b83cmp ebp, esi
    37b728b85jne 0x37b728b60
    37b728b87mov rsi, [rsp+400]
    37b728b8fmov rdi, [rsp+408]
    37b728b97jmp 0x37b728830
    37b728b9c
    37b728b9c 0f 1f 40 00 ..@.
    37b728ba0
    37b728ba0loc_37b728ba0:
    37b728ba0mov r12l, [rsp+296]
    37b728ba8cmp r15l, r12l
    37b728babjge 0x37b728854
    37b728bb1mov rax, [rsp+1032]
    37b728bb9mov rdx, [rsp+304]
    37b728bc1mov [rsp+296], rsi
    37b728bc9lea rbp, [rsp+692]
    37b728bd1add rdx, [rsp+424]
    37b728bd9lea rsi, [rax+4*rdx]
    37b728bddnop [rax]
    37b728be0
    37b728be0loc_37b728be0:
    37b728be0mov r8, rsi
    37b728be3lea r9, [rip+0xd0d86e]
    37b728beamov rdx, rbp
    37b728bedmov rcx, rbx
    37b728bf0add r15l, 1
    37b728bf4mov [rsp+716], r14l
    37b728bfcadd rsi, r13
    37b728bffcall sscal_
    37b728c04cmp r12l, r15l
    37b728c07jne 0x37b728be0
    37b728c09mov rsi, [rsp+296]
    37b728c11jmp 0x37b728854
    37b728c16
    37b728c16 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b728c20
    37b728c20loc_37b728c20:
    37b728c20mov rdx, rbx
    37b728c23call fn_37c4308f0
    37b728c28mov edx, [rsp+716]
    37b728c2fmovaps x0, x8
    37b728c33call __powisf2
    37b728c38mov rbp, [rsp+440]
    37b728c40mov rax, [rsp+456]
    37b728c48mov [rsp+472], r13
    37b728c50mulss x12, x0
    37b728c55mov [rsp+400], r15l
    37b728c5dmov r12, [rsp+176]
    37b728c65mov r15l, [rsp+384]
    37b728c6dmov [rsp+408], rsi
    37b728c75mov esi, 1
    37b728c7amov [rsp+464], rdi
    37b728c82mov rdi, rbp
    37b728c85lea rbp, [rax-4]
    37b728c89nop [rax]
    37b728c90
    37b728c90loc_37b728c90:
    37b728c90lea r13, [rbp+rdi]
    37b728c95nop [rax+rax]
    37b728ca0
    37b728ca0loc_37b728ca0:
    37b728ca0mov rdx, rbx
    37b728ca3movaps x0, x14
    37b728ca7movss x6, [r13]
    37b728cadadd r13, 4
    37b728cb1call fn_37c4308f0
    37b728cb6mov edx, [rsp+716]
    37b728cbdmovaps x0, x8
    37b728cc1call __powisf2
    37b728cc6divss x6, x0
    37b728ccaminss x6, x7
    37b728ccemovss [r13-4], x6
    37b728cd4cmp r13, rdi
    37b728cd7jne 0x37b728ca0
    37b728cd9add esi, 1
    37b728cdclea rdi, [r13+r12]
    37b728ce1cmp esi, r15l
    37b728ce4jne 0x37b728c90
    37b728ce6mov rdx, rbx
    37b728ce9movaps x0, x14
    37b728cedmov r15l, [rsp+400]
    37b728cf5mov rsi, [rsp+408]
    37b728cfdmov rdi, [rsp+464]
    37b728d05mov r13, [rsp+472]
    37b728d0dcall fn_37c4308f0
    37b728d12mov edx, [rsp+716]
    37b728d19movaps x0, x8
    37b728d1dcall __powisf2
    37b728d22mov rdx, rbx
    37b728d25divss x15, x0
    37b728d2amovaps x0, x14
    37b728d2ecall fn_37c4308f0
    37b728d33mov edx, [rsp+716]
    37b728d3amovaps x0, x8
    37b728d3ecall __powisf2
    37b728d43divss x14, x0
    37b728d48movss [rsp+696], x14
    37b728d52movaps x6, x14
    37b728d56mulss x6, x15
    37b728d5bjmp 0x37b728ab7
    37b728d60
    37b728d60loc_37b728d60:
    37b728d60mov rcx, [rsp+376]
    37b728d68add [rsp+504], 1
    37b728d71add [rsp+512], rcx
    37b728d79movss x6, [rsp+520]
    37b728d82mov rcx, [rsp+176]
    37b728d8aadd [rsp+448], 1
    37b728d93add [rsp+144], rcx
    37b728d9bjmp 0x37b727a10
    37b728da0
    37b728da0loc_37b728da0:
    37b728da0ucomiss x14, x1
    37b728da4jp 0x37b728ebc
    37b728daajne 0x37b728ebc
    37b728db0pxor x12, x12
    37b728db5movaps x13, x9
    37b728db9
    37b728db9loc_37b728db9:
    37b728db9mov r12, [rsp+440]
    37b728dc1mov rax, [rsp+456]
    37b728dc9mov [rsp+200], r13
    37b728dd1mov ebp, 1
    37b728dd6mov edi, [rsp+384]
    37b728dddmov r13, r12
    37b728de0mov r12, [rsp+176]
    37b728de8lea rsi, [rax-4]
    37b728decnop [rax]
    37b728df0
    37b728df0loc_37b728df0:
    37b728df0lea r15, [rsi+r13]
    37b728df4nop
    37b728df5nop [rax+rax]
    37b728e00
    37b728e00loc_37b728e00:
    37b728e00mov rdx, rbx
    37b728e03movaps x0, x14
    37b728e07movss x8, [r15]
    37b728e0cadd r15, 4
    37b728e10call fn_37c4308f0
    37b728e15mov edx, [rsp+716]
    37b728e1cmovaps x0, x13
    37b728e20call __powisf2
    37b728e25divss x8, x0
    37b728e2aminss x8, x7
    37b728e2fmovss [r15-4], x8
    37b728e35cmp r15, r13
    37b728e38jne 0x37b728e00
    37b728e3aadd ebp, 1
    37b728e3dlea r13, [r15+r12]
    37b728e41cmp ebp, edi
    37b728e43jne 0x37b728df0
    37b728e45mov rax, [rsp+144]
    37b728e4dmov r13, [rsp+200]
    37b728e55movss x0, [rax+4]
    37b728e5amulss x0, x14
    37b728e5fjmp 0x37b727b98
    37b728e64
    37b728e64loc_37b728e64:
    37b728e64mov r9, [rsp+656]
    37b728e6cmov r11l, [rsp+544]
    37b728e74movaps x13, x6
    37b728e78mov r13, [rsp+624]
    37b728e80mov rsi, [rsp+632]
    37b728e88mov rbp, [rsp+640]
    37b728e90mov r10, [rsp+1056]
    37b728e98mov rdx, r9
    37b728e9bmov r12, [rsp+648]
    37b728ea3test r9l, r9l
    37b728ea6je 0x37b72b44a
    37b728eacmov r8l, r9l
    37b728eafsub r13, 4
    37b728eb3sub r9, 1
    37b728eb7jmp 0x37b727903
    37b728ebc
    37b728ebcloc_37b728ebc:
    37b728ebcmov rdx, rbx
    37b728ebfmovaps x0, x14
    37b728ec3call fn_37c4308f0
    37b728ec8mov edx, [rsp+716]
    37b728ecfmovss x13, [rip+0xd0d5a4]
    37b728ed8movaps x0, x13
    37b728edccall __powisf2
    37b728ee1mulss x12, x0
    37b728ee6jmp 0x37b728db9
    37b728eeb
    37b728eebloc_37b728eeb:
    37b728eebmov eax, [rsp+144]
    37b728ef2and eax, [rsp+160]
    37b728ef9mov [rsp+216], eax
    37b728f00jmp 0x37b72720a
    37b728f05
    37b728f05loc_37b728f05:
    37b728f05lea ecx, [rsi-1]
    37b728f08mov [rdx-4], eax
    37b728f0bmov [rsp+436], ecx
    37b728f12mov [rsp+208], esi
    37b728f19jmp 0x37b727046
    37b728f1e
    37b728f1eloc_37b728f1e:
    37b728f1emov ecx, 1
    37b728f23jmp 0x37b72700e
    37b728f28
    37b728f28loc_37b728f28:
    37b728f28cmp [rsp+144], 1
    37b728f30je 0x37b72b4ba
    37b728f36mov esi, [rsp+160]
    37b728f3dtest esi, esi
    37b728f3fje 0x37b72a1dd
    37b728f45mov r10l, [rsp+436]
    37b728f4dtest r10l, r10l
    37b728f50je 0x37b72c7b9
    37b728f56
    37b728f56loc_37b728f56:
    37b728f56mov eax, [rsp+436]
    37b728f5dlea ecx, [rax-1]
    37b728f60mov rsi, rcx
    37b728f63lea r10, [rcx+2]
    37b728f67test r11l, r11l
    37b728f6aje 0x37b72c8d6
    37b728f70mov rdx, [rsp+376]
    37b728f78add ebx, 2
    37b728f7bmov r14l, esi
    37b728f7emov rax, [rsp+1072]
    37b728f86movss x9, [rip+0xd0d4ed]
    37b728f8fmovaps x12, x10
    37b728f93mov rsi, r10
    37b728f96xorps x11, [rip+0xd0d4e2]
    37b728f9elea r12, [rax+4]
    37b728fa2lea r8, [rdx+rdx]
    37b728fa6mov r9, [rsp+1056]
    37b728faemov [rsp+520], r11l
    37b728fb6lea rax, [4*rdx]
    37b728fbelea r15, [rsp+716]
    37b728fc6movaps x6, x13
    37b728fcamov [rsp+176], rax
    37b728fd2mov rax, [rsp+1072]
    37b728fdalea rax, [rax+4*rcx+4]
    37b728fdfmov [rsp+424], rax
    37b728fe7mov rax, rcx
    37b728feamov ecx, 2
    37b728fefneg rax
    37b728ff2shl rax, 2
    37b728ff6mov [rsp+456], rax
    37b728ffemov rax, [rsp+184]
    37b729006lea rdi, [4*rax]
    37b72900emovsxd rax, ebx
    37b729011imul rax, rdx
    37b729015mov [rsp+360], rdi
    37b72901dmov edx, 1
    37b729022mov rdi, r8
    37b729025sub rax, r8
    37b729028mov r8, r12
    37b72902bmov [rsp+584], rax
    37b729033lea eax, [r11+1]
    37b729037mov r11l, 1
    37b72903dmov [rsp+384], eax
    37b729044lea rax, [rsp+712]
    37b72904cmov [rsp+136], rax
    37b729054lea rax, [rip+0xd0d40f]
    37b72905bmov [rsp+160], rax
    37b729063mov rax, [rsp+600]
    37b72906blea rbp, [rax+1]
    37b72906flea rax, [rsp+688]
    37b729077mov [rsp+480], rax
    37b72907flea rax, [rsp+696]
    37b729087mov [rsp+488], rax
    37b72908f
    37b72908floc_37b72908f:
    37b72908fmovsxd r12, [r9+4*r11-4]
    37b729094mov rax, [rsp+344]
    37b72909cmov [rsp+472], 2
    37b7290a8mov r13, r8
    37b7290abmov [rsp+544], ecx
    37b7290b2imul rax, r12
    37b7290b6add rax, [rsp+368]
    37b7290bemov r10, r12
    37b7290c1mov [rsp+200], r12
    37b7290c9add rax, r12
    37b7290ccmov r12, [rsp+1000]
    37b7290d4mov [rsp+608], rsi
    37b7290dcmov [rsp+616], r14l
    37b7290e4lea rax, [r12+4*rax]
    37b7290e8mov r12l, [r9+4*r11]
    37b7290ecmov [rsp+632], r8
    37b7290f4mov [rsp+528], rax
    37b7290fcmov eax, [rsp+520]
    37b729103sub r12l, r10l
    37b729106mov r10l, [rsp+384]
    37b72910emov [rsp+640], r11
    37b729116add eax, edx
    37b729118mov [rsp+656], ebx
    37b72911fmov [rsp+536], r10
    37b729127lea r10, [r9+4*r11]
    37b72912bcdqe
    37b72912dmov [rsp+568], r10
    37b729135mov r10l, r14l
    37b729138add rax, 1
    37b72913csub r10l, edx
    37b72913fmov rdx, [rsp+584]
    37b729147imul rax, [rsp+376]
    37b729150mov [rsp+416], rbp
    37b729158mov [rsp+552], r10
    37b729160sub rdx, r11
    37b729163mov [rsp+504], rdi
    37b72916bmov [rsp+560], rdx
    37b729173mov [rsp+576], rax
    37b72917bmov [rsp+624], rdi
    37b729183mov rdi, r9
    37b729186mov [rsp+648], rbp
    37b72918emov ebp, r12l
    37b729191
    37b729191loc_37b729191:
    37b729191mov rax, [rsp+416]
    37b729199mov rsi, [rsp+1032]
    37b7291a1mov [rsp+712], ebp
    37b7291a8movsxd rcx, [rdi+4*rax-4]
    37b7291admov eax, [rdi+4*rax]
    37b7291b0mov [rsp+112], 1
    37b7291b9mov [rsp+104], 1
    37b7291c2mov [rsp+352], eax
    37b7291c9sub eax, ecx
    37b7291cbmov [rsp+168], eax
    37b7291d2mov [rsp+716], eax
    37b7291d9mov rax, [rsp+184]
    37b7291e1mov [rsp+336], ecx
    37b7291e8imul rax, rcx
    37b7291ecadd rax, [rsp+192]
    37b7291f4mov [rsp+288], rcx
    37b7291fcmov [rsp+280], rax
    37b729204add rax, [rsp+200]
    37b72920clea rax, [rsi+4*rax]
    37b729210mov rsi, [rsp+480]
    37b729218mov [rsp+208], rax
    37b729220mov [rsp+72], rax
    37b729225mov rax, [rsp+1024]
    37b72922dmov [rsp+96], rsi
    37b729232mov rsi, [rsp+488]
    37b72923amov [rsp+64], rax
    37b72923fmov rax, [rsp+272]
    37b729247mov [rsp+88], rsi
    37b72924cmov rsi, [rsp+1040]
    37b729254imul rax, rcx
    37b729258add rax, [rsp+264]
    37b729260add rax, rcx
    37b729263mov rcx, [rsp+1016]
    37b72926bmov [rsp+80], rsi
    37b729270lea rax, [rcx+4*rax]
    37b729274mov [rsp+56], rax
    37b729279mov rax, [rsp+1008]
    37b729281mov [rsp+48], rax
    37b729286mov rax, [rsp+528]
    37b72928emov [rsp+32], r15
    37b729293mov rdx, [rsp+968]
    37b72929bmov [rsp+40], rax
    37b7292a0mov rcx, [rsp+960]
    37b7292a8mov r9, [rsp+136]
    37b7292b0mov r8, [rsp+976]
    37b7292b8call strsyl_
    37b7292bdmovss x0, [r13-4]
    37b7292c3mov edx, [rsp+688]
    37b7292capxor x1, x1
    37b7292cemov rax, [rsp+1088]
    37b7292d6mov rcx, [rsp+1088]
    37b7292demovss x14, [rsp+696]
    37b7292e8mov eax, [rax]
    37b7292eamulss x0, x14
    37b7292efcmp eax, edx
    37b7292f1cmovl eax, edx
    37b7292f4mov [rcx], eax
    37b7292f6ucomiss x0, x1
    37b7292f9jp 0x37b729301
    37b7292fbje 0x37b72a08c
    37b729301
    37b729301loc_37b729301:
    37b729301mov eax, [rsp+168]
    37b729308movss [r13-4], x0
    37b72930emov rcx, [rsp+160]
    37b729316mov r8, r15
    37b729319mov r9, [rsp+208]
    37b729321mov rdx, [rsp+136]
    37b729329mov [rsp+48], 1
    37b729332mov [rsp+716], eax
    37b729339mov rax, [rsp+152]
    37b729341mov [rsp+712], ebp
    37b729348mov [rsp+40], rax
    37b72934dmov rax, [rsp+1040]
    37b729355mov [rsp+32], rax
    37b72935acall slange_
    37b72935fmov ecx, [rsp+544]
    37b729366movss [rsp+700], x0
    37b72936fcmp [rsp+436], ecx
    37b729376jl 0x37b7299dd
    37b72937cmov rcx, [rsp+192]
    37b729384mov rdx, [rsp+288]
    37b72938clea rbx, [rip+0xd0d0dd]
    37b729393mov [rsp+256], ebp
    37b72939aimul rdx, [rsp+184]
    37b7293a3mov rax, [rsp+200]
    37b7293abmov [rsp+1056], rdi
    37b7293b3mov rbp, r13
    37b7293b6mov rsi, [rsp+1032]
    37b7293bemov r14, [rsp+568]
    37b7293c6mov [rsp+328], rbx
    37b7293ceadd rax, rcx
    37b7293d1add rax, rdx
    37b7293d4mov rdi, r14
    37b7293d7mov r14, [rsp+360]
    37b7293dflea rax, [rsi+4*rax]
    37b7293e3mov [rsp+440], rax
    37b7293eblea rax, [rdx+rcx]
    37b7293efmov [rsp+448], rax
    37b7293f7mov rax, [rsp+552]
    37b7293fflea rax, [r13+4*rax+4]
    37b729404mov [rsp+296], rax
    37b72940clea rax, [rip+0xd0d04d]
    37b729413mov [rsp+320], rax
    37b72941blea rax, [rsp+684]
    37b729423mov [rsp+240], rax
    37b72942blea rax, [rsp+700]
    37b729433mov [rsp+232], rax
    37b72943blea rax, [rsp+676]
    37b729443mov [rsp+312], rax
    37b72944blea rax, [rsp+708]
    37b729453mov [rsp+224], rax
    37b72945blea rax, [rip+0xd0d00a]
    37b729462mov [rsp+216], rax
    37b72946amov rax, [rsp+576]
    37b729472sub rax, [rsp+504]
    37b72947amov [rsp+304], rax
    37b729482jmp 0x37b7295c6
    37b729487
    37b729487 66 0f 1f 84 00 00 00 00 00 f........
    37b729490
    37b729490loc_37b729490:
    37b729490divss x14, [rbp]
    37b729496mulss x14, x8
    37b72949bmovss [rsp+692], x14
    37b7294a5ucomiss x14, x10
    37b7294a9jp 0x37b72986b
    37b7294afjne 0x37b72986b
    37b7294b5
    37b7294b5loc_37b7294b5:
    37b7294b5mov eax, [rsp+168]
    37b7294bcmovss [r13-4], x13
    37b7294c2mov rbx, [rsp+144]
    37b7294caadd rdi, 4
    37b7294cemovss [rbp], x13
    37b7294d4mov r9, [rsp+136]
    37b7294dcadd rbp, 4
    37b7294e0imul rbx, [rsp+344]
    37b7294e9mov [rsp+712], eax
    37b7294f0mov eax, [rsp+256]
    37b7294f7mov r8, [rsp+224]
    37b7294ffmov [rsp+708], esi
    37b729506mov [rsp+716], eax
    37b72950dmov rax, [rsp+1040]
    37b729515mov [rsp+112], 1
    37b72951emov [rsp+96], rax
    37b729523mov rax, [rsp+248]
    37b72952bmov [rsp+104], 1
    37b729534mov [rsp+88], rax
    37b729539mov rax, [rsp+216]
    37b729541mov [rsp+32], r15
    37b729546mov [rsp+80], rax
    37b72954bmov rax, [rsp+1040]
    37b729553mov [rsp+72], rax
    37b729558mov rax, [rsp+208]
    37b729560mov [rsp+64], rax
    37b729565mov rax, [rsp+1008]
    37b72956dmov [rsp+56], rax
    37b729572mov rax, [rsp+368]
    37b72957alea rdx, [rbx+rax]
    37b72957emov rax, [rsp+1000]
    37b729586add rdx, [rsp+200]
    37b72958elea rdx, [rax+4*rdx]
    37b729592mov rax, [rsp+328]
    37b72959amov [rsp+48], rdx
    37b72959flea rdx, [rip+0xd0ceaa]
    37b7295a6mov [rsp+40], rax
    37b7295abmov rcx, [rsp+320]
    37b7295b3call sgemm_
    37b7295b8cmp [rsp+296], rbp
    37b7295c0je 0x37b7299ce
    37b7295c6
    37b7295c6loc_37b7295c6:
    37b7295c6mov ebx, [rdi]
    37b7295c8mov eax, [rsp+168]
    37b7295cfmov r8, r15
    37b7295d2mov rcx, [rsp+280]
    37b7295damov esi, [rdi+4]
    37b7295ddmov [rsp+48], 1
    37b7295e6mov [rsp+716], eax
    37b7295edmovsxd rax, ebx
    37b7295f0lea rdx, [rcx+rax]
    37b7295f4mov [rsp+144], rax
    37b7295fcmov rax, [rsp+1032]
    37b729604sub esi, ebx
    37b729606mov rcx, [rsp+160]
    37b72960emov [rsp+712], esi
    37b729615lea r9, [rax+4*rdx]
    37b729619mov rax, [rsp+152]
    37b729621mov rdx, [rsp+136]
    37b729629mov [rsp+248], r9
    37b729631mov [rsp+40], rax
    37b729636mov rax, [rsp+1040]
    37b72963emov [rsp+32], rax
    37b729643call slange_
    37b729648movss x2, [rbp]
    37b72964dmovss x1, [r13-4]
    37b729653movaps x3, x0
    37b729656mov rax, [rsp+304]
    37b72965emov r8, [rsp+240]
    37b729666movaps x14, x2
    37b72966amov rdx, [rsp+232]
    37b729672mov rcx, [rsp+312]
    37b72967aminss x14, x1
    37b72967fmovaps x0, x14
    37b729683divss x0, x2
    37b729687mulss x0, x3
    37b72968bmovss [rsp+684], x0
    37b729694movaps x0, x14
    37b729698divss x0, x1
    37b72969cmulss x0, [rsp+700]
    37b7296a5movss [rsp+700], x0
    37b7296aemovss x0, [rbp+4*rax]
    37b7296b4movss [rsp+676], x0
    37b7296bdcall slarmm_
    37b7296c2movaps x13, x0
    37b7296c6movaps x8, x0
    37b7296camovss [rsp+696], x0
    37b7296d3pxor x0, x0
    37b7296d7mulss x13, x14
    37b7296dcucomiss x13, x0
    37b7296e0jp 0x37b7296e8
    37b7296e2je 0x37b72988c
    37b7296e8
    37b7296e8loc_37b7296e8:
    37b7296e8movss x0, [rsp+684]
    37b7296f1mulss x0, x8
    37b7296f6movss [rsp+684], x0
    37b7296ffmovss x0, [rsp+700]
    37b729708mulss x0, x8
    37b72970dmovss [rsp+700], x0
    37b729716movaps x0, x14
    37b72971adivss x0, [r13-4]
    37b729720mulss x0, x8
    37b729725movss [rsp+692], x0
    37b72972eucomiss x0, x10
    37b729732jp 0x37b72973a
    37b729734je 0x37b729490
    37b72973a
    37b72973aloc_37b72973a:
    37b72973amov ebx, [rsp+336]
    37b729741mov eax, [rsp+352]
    37b729748cmp ebx, eax
    37b72974ajge 0x37b7294b5
    37b729750mov r8, [rsp+440]
    37b729758mov [rsp+408], rdi
    37b729760mov edi, ebx
    37b729762lea r12, [rsp+692]
    37b72976amov ebx, [rsp+256]
    37b729771mov [rsp+392], esi
    37b729778mov esi, eax
    37b72977amov [rsp+400], rbp
    37b729782mov rbp, r8
    37b729785nop [rax+rax]
    37b729790
    37b729790loc_37b729790:
    37b729790mov r8, rbp
    37b729793lea r9, [rip+0xd0ccbe]
    37b72979amov rdx, r12
    37b72979dmov rcx, r15
    37b7297a0add edi, 1
    37b7297a3mov [rsp+716], ebx
    37b7297aaadd rbp, r14
    37b7297adcall sscal_
    37b7297b2cmp esi, edi
    37b7297b4jne 0x37b729790
    37b7297b6mov rbp, [rsp+400]
    37b7297bemov esi, [rsp+392]
    37b7297c5mov rdi, [rsp+408]
    37b7297cddivss x14, [rbp]
    37b7297d3mulss x8, x14
    37b7297d8movss [rsp+692], x8
    37b7297e2ucomiss x8, x10
    37b7297e6jp 0x37b7297ee
    37b7297e8je 0x37b7294b5
    37b7297ee
    37b7297eeloc_37b7297ee:
    37b7297eemov rax, [rsp+144]
    37b7297f6mov rcx, [rsp+448]
    37b7297femov [rsp+400], rdi
    37b729806mov ebx, [rsp+336]
    37b72980dmov [rsp+392], rbp
    37b729815lea rdx, [rax+rcx]
    37b729819mov rax, [rsp+1032]
    37b729821mov edi, ebx
    37b729823mov ebx, [rsp+352]
    37b72982alea rbp, [rax+4*rdx]
    37b72982enop
    37b729830
    37b729830loc_37b729830:
    37b729830mov r8, rbp
    37b729833lea r9, [rip+0xd0cc1e]
    37b72983amov rdx, r12
    37b72983dmov rcx, r15
    37b729840add edi, 1
    37b729843mov [rsp+716], esi
    37b72984aadd rbp, r14
    37b72984dcall sscal_
    37b729852cmp ebx, edi
    37b729854jne 0x37b729830
    37b729856mov rbp, [rsp+392]
    37b72985emov rdi, [rsp+400]
    37b729866jmp 0x37b7294b5
    37b72986b
    37b72986bloc_37b72986b:
    37b72986bmov ecx, [rsp+352]
    37b729872cmp [rsp+336], ecx
    37b729879jge 0x37b7294b5
    37b72987flea r12, [rsp+692]
    37b729887jmp 0x37b7297ee
    37b72988c
    37b72988cloc_37b72988c:
    37b72988cmov rdx, r15
    37b72988fmovaps x0, x8
    37b729893call fn_37c4308f0
    37b729898mov edx, [rsp+716]
    37b72989fmovaps x0, x9
    37b7298a3call __powisf2
    37b7298a8mov r12, [rsp+424]
    37b7298b0mov rcx, [rsp+456]
    37b7298b8mov [rsp+400], r13
    37b7298c0mulss x12, x0
    37b7298c5mov [rsp+408], rbp
    37b7298cdmov ebx, [rsp+384]
    37b7298d4mov rbp, r12
    37b7298d7mov r12, [rsp+176]
    37b7298dfmov [rsp+392], esi
    37b7298e6lea rsi, [rcx-4]
    37b7298eamov [rsp+464], rdi
    37b7298f2mov edi, 1
    37b7298f7nop [rax+rax]
    37b729900
    37b729900loc_37b729900:
    37b729900lea r13, [rsi+rbp]
    37b729904nop
    37b729905nop [rax+rax]
    37b729910
    37b729910loc_37b729910:
    37b729910mov rdx, r15
    37b729913movaps x0, x8
    37b729917movss x13, [r13]
    37b72991dadd r13, 4
    37b729921call fn_37c4308f0
    37b729926mov edx, [rsp+716]
    37b72992dmovaps x0, x9
    37b729931call __powisf2
    37b729936divss x13, x0
    37b72993bminss x13, x7
    37b729940movss [r13-4], x13
    37b729946cmp rbp, r13
    37b729949jne 0x37b729910
    37b72994badd edi, 1
    37b72994eadd rbp, r12
    37b729951cmp edi, ebx
    37b729953jne 0x37b729900
    37b729955mov rdx, r15
    37b729958movaps x0, x8
    37b72995cmov esi, [rsp+392]
    37b729963mov r13, [rsp+400]
    37b72996bmov rbp, [rsp+408]
    37b729973mov rdi, [rsp+464]
    37b72997bcall fn_37c4308f0
    37b729980mov edx, [rsp+716]
    37b729987movaps x0, x9
    37b72998bcall __powisf2
    37b729990mov rdx, r15
    37b729993divss x14, x0
    37b729998movaps x0, x8
    37b72999ccall fn_37c4308f0
    37b7299a1mov edx, [rsp+716]
    37b7299a8movaps x0, x9
    37b7299accall __powisf2
    37b7299b1divss x8, x0
    37b7299b6movss [rsp+696], x8
    37b7299c0movaps x13, x8
    37b7299c4mulss x13, x14
    37b7299c9jmp 0x37b7296e8
    37b7299ce
    37b7299celoc_37b7299ce:
    37b7299cemov ebp, [rsp+256]
    37b7299d5mov rdi, [rsp+1056]
    37b7299dd
    37b7299ddloc_37b7299dd:
    37b7299ddmov rcx, [rsp+472]
    37b7299e5cmp [rsp+536], rcx
    37b7299edje 0x37b72a186
    37b7299f3mov rsi, [rsp+416]
    37b7299fbmov [rsp+1056], rdi
    37b729a03pxor x13, x13
    37b729a08movss x8, [rip+0xd0ca6b]
    37b729a11movss [rsp+512], x6
    37b729a1alea rax, [rdi+4*rsi]
    37b729a1emov [rsp+144], rax
    37b729a26mov rax, [rsp+176]
    37b729a2elea r14, [r13+rax-4]
    37b729a33mov eax, [rsp+520]
    37b729a3asub eax, ecx
    37b729a3cadd rax, rsi
    37b729a3fmov rsi, [rsp+496]
    37b729a47lea rax, [rsi+4*rax]
    37b729a4bmov rsi, [rsp+1032]
    37b729a53mov [rsp+304], rax
    37b729a5bmov rax, [rsp+560]
    37b729a63lea rax, [rax+rcx-1]
    37b729a68mov rcx, [rsp+192]
    37b729a70mov [rsp+312], rax
    37b729a78mov rax, [rsp+200]
    37b729a80add rcx, rax
    37b729a83mov rax, [rsp+288]
    37b729a8bimul rax, [rsp+184]
    37b729a94mov [rsp+448], rcx
    37b729a9cadd rax, rcx
    37b729a9flea rax, [rsi+4*rax]
    37b729aa3mov [rsp+440], rax
    37b729aablea rax, [rsp+684]
    37b729ab3mov [rsp+240], rax
    37b729abblea rax, [rsp+700]
    37b729ac3mov [rsp+232], rax
    37b729acblea rax, [rsp+708]
    37b729ad3mov [rsp+224], rax
    37b729adblea rax, [rip+0xd0c98a]
    37b729ae2mov [rsp+216], rax
    37b729aealea rax, [rsp+680]
    37b729af2mov [rsp+328], rax
    37b729afalea rax, [rsp+704]
    37b729b02mov [rsp+320], rax
    37b729b0ajmp 0x37b729c59
    37b729b0f
    37b729b0f 90 .
    37b729b10
    37b729b10loc_37b729b10:
    37b729b10divss x15, [r14]
    37b729b15mulss x15, x14
    37b729b1amovss [rsp+692], x15
    37b729b24ucomiss x15, x10
    37b729b28jp 0x37b729e90
    37b729b2ejne 0x37b729e90
    37b729b34
    37b729b34loc_37b729b34:
    37b729b34mov eax, [rsp+248]
    37b729b3bmovss [r13-4], x6
    37b729b41mov rbx, [rsp+256]
    37b729b49lea rdx, [rip+0xd0c900]
    37b729b50movss [r14], x6
    37b729b55mov rcx, [rsp+1016]
    37b729b5dimul rbx, [rsp+272]
    37b729b66mov [rsp+708], eax
    37b729b6dmov eax, [rsp+168]
    37b729b74mov r9, [rsp+224]
    37b729b7cmov [rsp+704], ebp
    37b729b83mov [rsp+712], eax
    37b729b8amov rax, [rsp+1040]
    37b729b92mov [rsp+112], 1
    37b729b9bmov [rsp+96], rax
    37b729ba0mov rax, [rsp+280]
    37b729ba8mov [rsp+104], 1
    37b729bb1mov [rsp+88], rax
    37b729bb6mov rax, [rsp+216]
    37b729bbemov [rsp+40], r15
    37b729bc3mov [rsp+80], rax
    37b729bc8mov rax, [rsp+1024]
    37b729bd0movss [rsp+716], x11
    37b729bdamov [rsp+72], rax
    37b729bdfmov rax, [rsp+264]
    37b729be7add rax, rbx
    37b729beaadd rax, [rsp+288]
    37b729bf2lea rax, [rcx+4*rax]
    37b729bf6mov rcx, rdx
    37b729bf9mov [rsp+64], rax
    37b729bfemov rax, [rsp+1040]
    37b729c06mov [rsp+56], rax
    37b729c0bmov rax, [rsp+208]
    37b729c13mov [rsp+48], rax
    37b729c18mov rax, [rsp+136]
    37b729c20mov [rsp+32], rax
    37b729c25mov r8, [rsp+320]
    37b729c2dcall sgemm_
    37b729c32add r14, [rsp+176]
    37b729c3aadd [rsp+144], 4
    37b729c43mov rax, [rsp+144]
    37b729c4bcmp [rsp+304], rax
    37b729c53je 0x37b72a04c
    37b729c59
    37b729c59loc_37b729c59:
    37b729c59mov rax, [rsp+144]
    37b729c61mov rsi, [rsp+184]
    37b729c69mov r8, r15
    37b729c6cmov [rsp+712], ebp
    37b729c73mov rcx, [rsp+160]
    37b729c7bmov r12l, [rax]
    37b729c7emov eax, [rax+4]
    37b729c81mov [rsp+48], 1
    37b729c8amov [rsp+296], eax
    37b729c91sub eax, r12l
    37b729c94mov [rsp+248], eax
    37b729c9bmov [rsp+716], eax
    37b729ca2movsxd rax, r12l
    37b729ca5imul rsi, rax
    37b729ca9mov [rsp+256], rax
    37b729cb1mov rax, [rsp+192]
    37b729cb9lea rdx, [rsi+rax]
    37b729cbdmov rax, [rsp+1032]
    37b729cc5add rdx, [rsp+200]
    37b729ccdlea r9, [rax+4*rdx]
    37b729cd1mov rax, [rsp+152]
    37b729cd9mov rdx, [rsp+136]
    37b729ce1mov [rsp+280], r9
    37b729ce9mov [rsp+40], rax
    37b729ceemov rax, [rsp+1040]
    37b729cf6mov [rsp+32], rax
    37b729cfbcall slange_
    37b729d00movss x2, [r14]
    37b729d05movss x1, [r13-4]
    37b729d0bmovaps x3, x0
    37b729d0emov rax, [rsp+312]
    37b729d16mov r8, [rsp+240]
    37b729d1emovaps x15, x2
    37b729d22mov rdx, [rsp+232]
    37b729d2amov rcx, [rsp+328]
    37b729d32minss x15, x1
    37b729d37movaps x0, x15
    37b729d3bdivss x0, x2
    37b729d3fmulss x0, x3
    37b729d43movss [rsp+684], x0
    37b729d4cmovaps x0, x15
    37b729d50divss x0, x1
    37b729d54mulss x0, [rsp+700]
    37b729d5dmovss [rsp+700], x0
    37b729d66movss x0, [r14+4*rax]
    37b729d6cmovss [rsp+680], x0
    37b729d75call slarmm_
    37b729d7amovss [rsp+696], x0
    37b729d83movaps x6, x0
    37b729d86movaps x14, x0
    37b729d8amulss x6, x15
    37b729d8fucomiss x6, x13
    37b729d93jp 0x37b729d9b
    37b729d95je 0x37b729f0a
    37b729d9b
    37b729d9bloc_37b729d9b:
    37b729d9bmovss x0, [rsp+684]
    37b729da4mulss x0, x14
    37b729da9movss [rsp+684], x0
    37b729db2movss x0, [rsp+700]
    37b729dbbmulss x0, x14
    37b729dc0movss [rsp+700], x0
    37b729dc9movaps x0, x15
    37b729dcddivss x0, [r13-4]
    37b729dd3mulss x0, x14
    37b729dd8movss [rsp+692], x0
    37b729de1ucomiss x0, x10
    37b729de5jp 0x37b729ded
    37b729de7je 0x37b729b10
    37b729ded
    37b729dedloc_37b729ded:
    37b729dedmov ebx, [rsp+336]
    37b729df4mov eax, [rsp+352]
    37b729dfbcmp ebx, eax
    37b729dfdjge 0x37b729b10
    37b729e03mov r8, [rsp+440]
    37b729e0bmov [rsp+400], r12l
    37b729e13mov r12l, ebx
    37b729e16mov rbx, [rsp+360]
    37b729e1emov [rsp+392], rsi
    37b729e26mov esi, eax
    37b729e28mov [rsp+408], r13
    37b729e30mov r13, r8
    37b729e33nop
    37b729e35nop [rax+rax]
    37b729e40
    37b729e40loc_37b729e40:
    37b729e40mov r8, r13
    37b729e43lea r9, [rip+0xd0c60e]
    37b729e4amov rcx, r15
    37b729e4dadd r13, rbx
    37b729e50lea rdx, [rsp+692]
    37b729e58add r12l, 1
    37b729e5cmov [rsp+716], ebp
    37b729e63call sscal_
    37b729e68cmp esi, r12l
    37b729e6bjne 0x37b729e40
    37b729e6dmov rsi, [rsp+392]
    37b729e75mov r12l, [rsp+400]
    37b729e7dmov r13, [rsp+408]
    37b729e85jmp 0x37b729b10
    37b729e8a
    37b729e8a 66 0f 1f 44 00 00 f..D..
    37b729e90
    37b729e90loc_37b729e90:
    37b729e90mov eax, [rsp+296]
    37b729e97cmp r12l, eax
    37b729e9ajge 0x37b729b34
    37b729ea0mov rcx, [rsp+448]
    37b729ea8mov rbx, [rsp+360]
    37b729eb0mov [rsp+296], r13
    37b729eb8lea rdx, [rsi+rcx]
    37b729ebcmov rcx, [rsp+1032]
    37b729ec4mov esi, eax
    37b729ec6lea r13, [rcx+4*rdx]
    37b729ecanop [rax+rax]
    37b729ed0
    37b729ed0loc_37b729ed0:
    37b729ed0mov r8, r13
    37b729ed3lea r9, [rip+0xd0c57e]
    37b729edamov rcx, r15
    37b729eddadd r13, rbx
    37b729ee0lea rdx, [rsp+692]
    37b729ee8add r12l, 1
    37b729eecmov [rsp+716], ebp
    37b729ef3call sscal_
    37b729ef8cmp esi, r12l
    37b729efbjne 0x37b729ed0
    37b729efdmov r13, [rsp+296]
    37b729f05jmp 0x37b729b34
    37b729f0a
    37b729f0aloc_37b729f0a:
    37b729f0amov rdx, r15
    37b729f0dcall fn_37c4308f0
    37b729f12mov edx, [rsp+716]
    37b729f19movaps x0, x8
    37b729f1dcall __powisf2
    37b729f22mov rdi, [rsp+424]
    37b729f2amov rax, [rsp+456]
    37b729f32mov [rsp+408], r13
    37b729f3amulss x12, x0
    37b729f3fmov [rsp+392], rsi
    37b729f47mov esi, [rsp+384]
    37b729f4emov [rsp+400], r12l
    37b729f56mov r12, rdi
    37b729f59mov rdi, [rsp+176]
    37b729f61lea rbx, [rax-4]
    37b729f65mov [rsp+464], ebp
    37b729f6cmov ebp, 1
    37b729f71nop [rax]
    37b729f75nop [rax+rax]
    37b729f80
    37b729f80loc_37b729f80:
    37b729f80lea r13, [rbx+r12]
    37b729f84nop
    37b729f85nop [rax+rax]
    37b729f90
    37b729f90loc_37b729f90:
    37b729f90mov rdx, r15
    37b729f93movaps x0, x14
    37b729f97movss x6, [r13]
    37b729f9dadd r13, 4
    37b729fa1call fn_37c4308f0
    37b729fa6mov edx, [rsp+716]
    37b729fadmovaps x0, x8
    37b729fb1call __powisf2
    37b729fb6divss x6, x0
    37b729fbaminss x6, x7
    37b729fbemovss [r13-4], x6
    37b729fc4cmp r12, r13
    37b729fc7jne 0x37b729f90
    37b729fc9add ebp, 1
    37b729fccadd r12, rdi
    37b729fcfcmp ebp, esi
    37b729fd1jne 0x37b729f80
    37b729fd3mov rdx, r15
    37b729fd6movaps x0, x14
    37b729fdamov rsi, [rsp+392]
    37b729fe2mov r12l, [rsp+400]
    37b729feamov r13, [rsp+408]
    37b729ff2mov ebp, [rsp+464]
    37b729ff9call fn_37c4308f0
    37b729ffemov edx, [rsp+716]
    37b72a005movaps x0, x8
    37b72a009call __powisf2
    37b72a00emov rdx, r15
    37b72a011divss x15, x0
    37b72a016movaps x0, x14
    37b72a01acall fn_37c4308f0
    37b72a01fmov edx, [rsp+716]
    37b72a026movaps x0, x8
    37b72a02acall __powisf2
    37b72a02fdivss x14, x0
    37b72a034movss [rsp+696], x14
    37b72a03emovaps x6, x14
    37b72a042mulss x6, x15
    37b72a047jmp 0x37b729d9b
    37b72a04c
    37b72a04cloc_37b72a04c:
    37b72a04cmov rcx, [rsp+376]
    37b72a054mov rdi, [rsp+1056]
    37b72a05cadd [rsp+504], rcx
    37b72a064movss x6, [rsp+512]
    37b72a06dadd [rsp+472], 1
    37b72a076add r13, [rsp+176]
    37b72a07eadd [rsp+416], 1
    37b72a087jmp 0x37b729191
    37b72a08c
    37b72a08cloc_37b72a08c:
    37b72a08cucomiss x14, x1
    37b72a090jp 0x37b72a157
    37b72a096jne 0x37b72a157
    37b72a09cpxor x12, x12
    37b72a0a1movaps x13, x9
    37b72a0a5
    37b72a0a5loc_37b72a0a5:
    37b72a0a5mov rax, [rsp+456]
    37b72a0admov [rsp+144], r13
    37b72a0b5mov r14, rdi
    37b72a0b8mov r12, [rsp+424]
    37b72a0c0mov ebx, [rsp+384]
    37b72a0c7mov [rsp+216], ebp
    37b72a0cemov ebp, 1
    37b72a0d3mov rdi, [rsp+176]
    37b72a0dblea rsi, [rax-4]
    37b72a0dfnop
    37b72a0e0
    37b72a0e0loc_37b72a0e0:
    37b72a0e0lea r13, [rsi+r12]
    37b72a0e4nop
    37b72a0e5nop [rax+rax]
    37b72a0f0
    37b72a0f0loc_37b72a0f0:
    37b72a0f0mov rdx, r15
    37b72a0f3movaps x0, x14
    37b72a0f7movss x8, [r13]
    37b72a0fdadd r13, 4
    37b72a101call fn_37c4308f0
    37b72a106mov edx, [rsp+716]
    37b72a10dmovaps x0, x13
    37b72a111call __powisf2
    37b72a116divss x8, x0
    37b72a11bminss x8, x7
    37b72a120movss [r13-4], x8
    37b72a126cmp r12, r13
    37b72a129jne 0x37b72a0f0
    37b72a12badd ebp, 1
    37b72a12eadd r12, rdi
    37b72a131cmp ebp, ebx
    37b72a133jne 0x37b72a0e0
    37b72a135mov r13, [rsp+144]
    37b72a13dmov ebp, [rsp+216]
    37b72a144mov rdi, r14
    37b72a147movss x0, [r13-4]
    37b72a14dmulss x0, x14
    37b72a152jmp 0x37b729301
    37b72a157
    37b72a157loc_37b72a157:
    37b72a157mov rdx, r15
    37b72a15amovaps x0, x14
    37b72a15ecall fn_37c4308f0
    37b72a163mov edx, [rsp+716]
    37b72a16amovss x13, [rip+0xd0c309]
    37b72a173movaps x0, x13
    37b72a177call __powisf2
    37b72a17cmulss x12, x0
    37b72a181jmp 0x37b72a0a5
    37b72a186
    37b72a186loc_37b72a186:
    37b72a186mov r11, [rsp+640]
    37b72a18emov rsi, [rsp+608]
    37b72a196mov r9, rdi
    37b72a199mov r14l, [rsp+616]
    37b72a1a1mov r8, [rsp+632]
    37b72a1a9add r11, 1
    37b72a1admov rdi, [rsp+624]
    37b72a1b5mov rbp, [rsp+648]
    37b72a1bdmov ebx, [rsp+656]
    37b72a1c4cmp rsi, r11
    37b72a1c7je 0x37b72b460
    37b72a1cdadd r8, 4
    37b72a1d1mov edx, r11l
    37b72a1d4lea ecx, [r11+1]
    37b72a1d8jmp 0x37b72908f
    37b72a1dd
    37b72a1ddloc_37b72a1dd:
    37b72a1ddmov r9l, [rsp+144]
    37b72a1e5test r9l, r9l
    37b72a1e8jne 0x37b72b4ba
    37b72a1eemov r8l, [rsp+436]
    37b72a1f6test r8l, r8l
    37b72a1f9je 0x37b72c7b9
    37b72a1ff
    37b72a1ffloc_37b72a1ff:
    37b72a1ffmov eax, [rsp+436]
    37b72a206lea ecx, [rax-1]
    37b72a209mov r8, rcx
    37b72a20clea r12, [rcx+2]
    37b72a210test r11l, r11l
    37b72a213je 0x37b72c7f9
    37b72a219movsxd r10, r11l
    37b72a21cmov [rsp+584], ebx
    37b72a223mov r9l, r11l
    37b72a226mov r15, r12
    37b72a229mov rdi, [rsp+376]
    37b72a231movaps x12, x10
    37b72a235mov rax, [rsp+168]
    37b72a23dmov [rsp+408], 1
    37b72a249mov rsi, [rsp+1072]
    37b72a251xorps x11, [rip+0xd0c227]
    37b72a259mov r11l, 2
    37b72a25flea r14, [rsp+716]
    37b72a267movss x8, [rip+0xd0c20c]
    37b72a270mov rbp, rdi
    37b72a273movss [rsp+608], x13
    37b72a27dimul rbp, r10
    37b72a281add rax, rbp
    37b72a284lea r13, [rsi+4*rax+8]
    37b72a289mov rax, rdi
    37b72a28cneg rax
    37b72a28fmov [rsp+528], r13
    37b72a297shl rax, 2
    37b72a29bmov [rsp+576], rax
    37b72a2a3lea rax, [4*rdi]
    37b72a2abmov [rsp+176], rax
    37b72a2b3lea rax, [rsi+4*rcx+4]
    37b72a2b8mov [rsp+448], rax
    37b72a2c0mov rax, rcx
    37b72a2c3mov ecx, 1
    37b72a2c8neg rax
    37b72a2cbshl rax, 2
    37b72a2cfmov [rsp+456], rax
    37b72a2d7mov rax, [rsp+184]
    37b72a2dfshl rax, 2
    37b72a2e3mov [rsp+520], rax
    37b72a2ebmovsxd rax, ebx
    37b72a2eemov ebx, r8l
    37b72a2f1mov r8, [rsp+1056]
    37b72a2f9imul rax, rdi
    37b72a2fdlea rdi, [rsi-4]
    37b72a301mov [rsp+664], rax
    37b72a309lea rax, [rsp+712]
    37b72a311mov [rsp+136], rax
    37b72a319lea rax, [rip+0xd0c14a]
    37b72a320mov [rsp+160], rax
    37b72a328lea rax, [rsp+688]
    37b72a330mov [rsp+480], rax
    37b72a338lea rax, [rsp+696]
    37b72a340mov [rsp+488], rax
    37b72a348
    37b72a348loc_37b72a348:
    37b72a348mov rdx, [rsp+408]
    37b72a350mov rax, [rsp+344]
    37b72a358mov [rsp+400], r10
    37b72a360mov [rsp+616], ebx
    37b72a367movss x9, [rip+0xd0c10c]
    37b72a370movsxd r12, [r8+4*rdx-4]
    37b72a375mov [rsp+624], r15
    37b72a37dmov [rsp+640], r11l
    37b72a385imul rax, r12
    37b72a389add rax, [rsp+368]
    37b72a391mov rsi, r12
    37b72a394mov [rsp+200], r12
    37b72a39cadd rax, r12
    37b72a39fmov r12, [rsp+1000]
    37b72a3a7mov [rsp+416], r9l
    37b72a3afmov [rsp+648], rbp
    37b72a3b7lea rax, [r12+4*rax]
    37b72a3bbmov [rsp+656], r10
    37b72a3c3mov [rsp+536], rax
    37b72a3cbmov eax, [r8+4*rdx]
    37b72a3cfmov [rsp+1056], r8
    37b72a3d7mov r12l, eax
    37b72a3damov [rsp+144], eax
    37b72a3e1lea eax, [r9+rcx]
    37b72a3e5cdqe
    37b72a3e7sub r12l, esi
    37b72a3eamov [rsp+632], rdi
    37b72a3f2imul rax, [rsp+376]
    37b72a3fbmov r13l, r12l
    37b72a3fesub rax, rbp
    37b72a401mov [rsp+312], rax
    37b72a409lea rax, [4*rdx]
    37b72a411lea rsi, [r8+rax]
    37b72a415add rax, rdi
    37b72a418mov [rsp+568], rax
    37b72a420mov rax, [rsp+664]
    37b72a428mov [rsp+560], rsi
    37b72a430mov esi, ebx
    37b72a432sub rax, rdx
    37b72a435sub esi, ecx
    37b72a437mov [rsp+552], rax
    37b72a43fmov rax, [rsp+528]
    37b72a447mov [rsp+544], rsi
    37b72a44fmov rdi, rax
    37b72a452
    37b72a452loc_37b72a452:
    37b72a452mov rsi, [rsp+400]
    37b72a45amov rax, [rsp+592]
    37b72a462mov [rsp+712], r13l
    37b72a46amov rbx, [rsp+480]
    37b72a472movsxd rcx, [rax+4*rsi-4]
    37b72a477mov eax, [rax+4*rsi]
    37b72a47amov [rsp+112], 1
    37b72a483mov rsi, [rsp+1032]
    37b72a48bmov [rsp+96], rbx
    37b72a490mov [rsp+392], eax
    37b72a497sub eax, ecx
    37b72a499mov rbx, [rsp+488]
    37b72a4a1mov [rsp+144], eax
    37b72a4a8mov [rsp+716], eax
    37b72a4afmov rax, [rsp+184]
    37b72a4b7mov [rsp+384], ecx
    37b72a4beimul rax, rcx
    37b72a4c2mov [rsp+88], rbx
    37b72a4c7add rax, [rsp+192]
    37b72a4cfmov [rsp+296], rax
    37b72a4d7add rax, [rsp+200]
    37b72a4dflea rsi, [rsi+4*rax]
    37b72a4e3mov rax, [rsp+272]
    37b72a4ebmov [rsp+464], rcx
    37b72a4f3mov [rsp+208], rsi
    37b72a4fbmov rbx, [rsp+1040]
    37b72a503imul rax, rcx
    37b72a507mov [rsp+72], rsi
    37b72a50cadd rax, [rsp+264]
    37b72a514mov [rsp+320], rax
    37b72a51cadd rax, rcx
    37b72a51fmov rcx, [rsp+1016]
    37b72a527mov rsi, [rsp+1024]
    37b72a52fmov [rsp+80], rbx
    37b72a534mov [rsp+104], 1
    37b72a53dlea rax, [rcx+4*rax]
    37b72a541mov [rsp+64], rsi
    37b72a546mov [rsp+56], rax
    37b72a54bmov rax, [rsp+1008]
    37b72a553mov [rsp+32], r14
    37b72a558mov rdx, [rsp+968]
    37b72a560mov [rsp+48], rax
    37b72a565mov rax, [rsp+536]
    37b72a56dmov rcx, [rsp+960]
    37b72a575mov r9, [rsp+136]
    37b72a57dmov [rsp+40], rax
    37b72a582mov r8, [rsp+976]
    37b72a58acall strsyl_
    37b72a58fmovss x0, [rdi-4]
    37b72a594mov edx, [rsp+688]
    37b72a59bpxor x1, x1
    37b72a59fmov rax, [rsp+1088]
    37b72a5a7mov rcx, [rsp+1088]
    37b72a5afmovss x15, [rsp+696]
    37b72a5b9mov eax, [rax]
    37b72a5bbmulss x0, x15
    37b72a5c0cmp eax, edx
    37b72a5c2cmovl eax, edx
    37b72a5c5mov [rcx], eax
    37b72a5c7ucomiss x0, x1
    37b72a5cajp 0x37b72a5d2
    37b72a5ccje 0x37b72b360
    37b72a5d2
    37b72a5d2loc_37b72a5d2:
    37b72a5d2mov eax, [rsp+144]
    37b72a5d9movss [rdi-4], x0
    37b72a5demov rcx, [rsp+160]
    37b72a5e6mov r8, r14
    37b72a5e9mov r9, [rsp+208]
    37b72a5f1mov rdx, [rsp+136]
    37b72a5f9mov [rsp+48], 1
    37b72a602mov [rsp+716], eax
    37b72a609mov rax, [rsp+152]
    37b72a611mov [rsp+712], r13l
    37b72a619mov [rsp+40], rax
    37b72a61emov rax, [rsp+1040]
    37b72a626mov [rsp+32], rax
    37b72a62bcall slange_
    37b72a630mov ecx, [rsp+640]
    37b72a637movss [rsp+700], x0
    37b72a640cmp [rsp+436], ecx
    37b72a647jl 0x37b72ac85
    37b72a64dmov rcx, [rsp+192]
    37b72a655mov rdx, [rsp+464]
    37b72a65dmov [rsp+280], r13l
    37b72a665pxor x14, x14
    37b72a66aimul rdx, [rsp+184]
    37b72a673mov rax, [rsp+200]
    37b72a67bmov r13, rdi
    37b72a67emov rsi, [rsp+1032]
    37b72a686mov rbp, [rsp+560]
    37b72a68eadd rax, rcx
    37b72a691mov r12, [rsp+520]
    37b72a699add rax, rdx
    37b72a69clea rax, [rsi+4*rax]
    37b72a6a0mov [rsp+424], rax
    37b72a6a8lea rax, [rcx+rdx]
    37b72a6acmov [rsp+440], rax
    37b72a6b4mov rax, [rsp+544]
    37b72a6bclea rax, [rdi+4*rax+4]
    37b72a6c1mov [rsp+288], rax
    37b72a6c9lea rax, [rip+0xd0bd90]
    37b72a6d0mov [rsp+248], rax
    37b72a6d8lea rax, [rsp+684]
    37b72a6e0mov [rsp+240], rax
    37b72a6e8lea rax, [rsp+700]
    37b72a6f0mov [rsp+232], rax
    37b72a6f8lea rax, [rsp+676]
    37b72a700mov [rsp+328], rax
    37b72a708lea rax, [rsp+708]
    37b72a710mov [rsp+224], rax
    37b72a718lea rax, [rip+0xd0bd4d]
    37b72a71fmov [rsp+216], rax
    37b72a727lea rax, [rip+0xd0bd42]
    37b72a72emov [rsp+304], rax
    37b72a736jmp 0x37b72a871
    37b72a73b
    37b72a73b 0f 1f 44 00 00 ..D..
    37b72a740
    37b72a740loc_37b72a740:
    37b72a740divss x13, [r13]
    37b72a746mulss x13, x15
    37b72a74bmovss [rsp+692], x13
    37b72a755ucomiss x13, x10
    37b72a759jp 0x37b72ab1b
    37b72a75fjne 0x37b72ab1b
    37b72a765
    37b72a765loc_37b72a765:
    37b72a765mov eax, [rsp+144]
    37b72a76cmovss [rdi-4], x6
    37b72a771mov rdx, [rsp+168]
    37b72a779add rbp, 4
    37b72a77dmovss [r13], x6
    37b72a783mov r9, [rsp+136]
    37b72a78badd r13, 4
    37b72a78fimul rdx, [rsp+344]
    37b72a798mov [rsp+712], eax
    37b72a79fmov eax, [rsp+280]
    37b72a7a6add rdx, [rsp+368]
    37b72a7aemov [rsp+708], ebx
    37b72a7b5mov [rsp+716], eax
    37b72a7bcmov rax, [rsp+1040]
    37b72a7c4add rdx, [rsp+200]
    37b72a7ccmov [rsp+32], r14
    37b72a7d1mov [rsp+96], rax
    37b72a7d6mov rax, [rsp+256]
    37b72a7demov r8, [rsp+224]
    37b72a7e6mov [rsp+112], 1
    37b72a7efmov [rsp+88], rax
    37b72a7f4mov rax, [rsp+216]
    37b72a7fcmov [rsp+104], 1
    37b72a805mov [rsp+80], rax
    37b72a80amov rax, [rsp+1040]
    37b72a812mov [rsp+72], rax
    37b72a817mov rax, [rsp+208]
    37b72a81fmov [rsp+64], rax
    37b72a824mov rax, [rsp+1008]
    37b72a82cmov [rsp+56], rax
    37b72a831mov rax, [rsp+1000]
    37b72a839lea rdx, [rax+4*rdx]
    37b72a83dmov rax, [rsp+304]
    37b72a845mov [rsp+48], rdx
    37b72a84alea rdx, [rip+0xd0bbff]
    37b72a851mov [rsp+40], rax
    37b72a856mov rcx, [rsp+248]
    37b72a85ecall sgemm_
    37b72a863cmp [rsp+288], r13
    37b72a86bje 0x37b72ac7d
    37b72a871
    37b72a871loc_37b72a871:
    37b72a871mov edx, [rbp]
    37b72a874mov ebx, [rbp+4]
    37b72a877mov r8, r14
    37b72a87amov [rsp+48], 1
    37b72a883mov eax, [rsp+144]
    37b72a88amov rcx, [rsp+296]
    37b72a892sub ebx, edx
    37b72a894mov [rsp+716], eax
    37b72a89bmovsxd rax, edx
    37b72a89elea rdx, [rcx+rax]
    37b72a8a2mov [rsp+168], rax
    37b72a8aamov rax, [rsp+1032]
    37b72a8b2mov rcx, [rsp+160]
    37b72a8bamov [rsp+712], ebx
    37b72a8c1lea r9, [rax+4*rdx]
    37b72a8c5mov rax, [rsp+152]
    37b72a8cdmov rdx, [rsp+136]
    37b72a8d5mov [rsp+256], r9
    37b72a8ddmov [rsp+40], rax
    37b72a8e2mov rax, [rsp+1040]
    37b72a8eamov [rsp+32], rax
    37b72a8efcall slange_
    37b72a8f4movss x2, [r13]
    37b72a8famovss x1, [rdi-4]
    37b72a8ffmovaps x3, x0
    37b72a902mov rax, [rsp+312]
    37b72a90amov r8, [rsp+240]
    37b72a912movaps x13, x2
    37b72a916mov rdx, [rsp+232]
    37b72a91emov rcx, [rsp+328]
    37b72a926minss x13, x1
    37b72a92bmovaps x0, x13
    37b72a92fdivss x0, x2
    37b72a933mulss x0, x3
    37b72a937movss [rsp+684], x0
    37b72a940movaps x0, x13
    37b72a944divss x0, x1
    37b72a948mulss x0, [rsp+700]
    37b72a951movss [rsp+700], x0
    37b72a95amovss x0, [r13+4*rax]
    37b72a961movss [rsp+676], x0
    37b72a96acall slarmm_
    37b72a96fmovss [rsp+696], x0
    37b72a978movaps x6, x0
    37b72a97bmovaps x15, x0
    37b72a97fmulss x6, x13
    37b72a984ucomiss x6, x14
    37b72a988jp 0x37b72a990
    37b72a98aje 0x37b72ab3c
    37b72a990
    37b72a990loc_37b72a990:
    37b72a990movss x0, [rsp+684]
    37b72a999mulss x0, x15
    37b72a99emovss [rsp+684], x0
    37b72a9a7movss x0, [rsp+700]
    37b72a9b0mulss x0, x15
    37b72a9b5movss [rsp+700], x0
    37b72a9bemovaps x0, x13
    37b72a9c2divss x0, [rdi-4]
    37b72a9c7mulss x0, x15
    37b72a9ccmovss [rsp+692], x0
    37b72a9d5ucomiss x0, x10
    37b72a9d9jp 0x37b72a9e1
    37b72a9dbje 0x37b72a740
    37b72a9e1
    37b72a9e1loc_37b72a9e1:
    37b72a9e1mov r15l, [rsp+384]
    37b72a9e9mov eax, [rsp+392]
    37b72a9f0cmp r15l, eax
    37b72a9f3jge 0x37b72a765
    37b72a9f9mov r8, [rsp+424]
    37b72aa01mov [rsp+352], rdi
    37b72aa09mov edi, r15l
    37b72aa0clea rsi, [rsp+692]
    37b72aa14mov r15l, [rsp+280]
    37b72aa1cmov [rsp+336], ebx
    37b72aa23mov ebx, eax
    37b72aa25mov [rsp+360], rbp
    37b72aa2dmov rbp, r8
    37b72aa30
    37b72aa30loc_37b72aa30:
    37b72aa30mov r8, rbp
    37b72aa33lea r9, [rip+0xd0ba1e]
    37b72aa3amov rdx, rsi
    37b72aa3dmov rcx, r14
    37b72aa40add edi, 1
    37b72aa43mov [rsp+716], r15l
    37b72aa4badd rbp, r12
    37b72aa4ecall sscal_
    37b72aa53cmp ebx, edi
    37b72aa55jne 0x37b72aa30
    37b72aa57divss x13, [r13]
    37b72aa5dmulss x13, x15
    37b72aa62mov ebx, [rsp+336]
    37b72aa69mov rdi, [rsp+352]
    37b72aa71mov rbp, [rsp+360]
    37b72aa79movss [rsp+692], x13
    37b72aa83ucomiss x13, x10
    37b72aa87jp 0x37b72aa8f
    37b72aa89je 0x37b72a765
    37b72aa8f
    37b72aa8floc_37b72aa8f:
    37b72aa8fmov rax, [rsp+168]
    37b72aa97mov rcx, [rsp+440]
    37b72aa9fmov [rsp+336], rdi
    37b72aaa7mov r15l, [rsp+384]
    37b72aaafmov [rsp+352], rbp
    37b72aab7lea rdx, [rax+rcx]
    37b72aabbmov rax, [rsp+1032]
    37b72aac3mov edi, r15l
    37b72aac6mov r15, rsi
    37b72aac9mov esi, [rsp+392]
    37b72aad0lea rbp, [rax+4*rdx]
    37b72aad4nop
    37b72aad5nop [rax+rax]
    37b72aae0
    37b72aae0loc_37b72aae0:
    37b72aae0mov r8, rbp
    37b72aae3lea r9, [rip+0xd0b96e]
    37b72aaeamov rdx, r15
    37b72aaedmov rcx, r14
    37b72aaf0add edi, 1
    37b72aaf3mov [rsp+716], ebx
    37b72aafaadd rbp, r12
    37b72aafdcall sscal_
    37b72ab02cmp esi, edi
    37b72ab04jne 0x37b72aae0
    37b72ab06mov rdi, [rsp+336]
    37b72ab0emov rbp, [rsp+352]
    37b72ab16jmp 0x37b72a765
    37b72ab1b
    37b72ab1bloc_37b72ab1b:
    37b72ab1bmov ecx, [rsp+392]
    37b72ab22cmp [rsp+384], ecx
    37b72ab29jge 0x37b72a765
    37b72ab2flea rsi, [rsp+692]
    37b72ab37jmp 0x37b72aa8f
    37b72ab3c
    37b72ab3cloc_37b72ab3c:
    37b72ab3cmov rdx, r14
    37b72ab3fcall fn_37c4308f0
    37b72ab44mov edx, [rsp+716]
    37b72ab4bmovaps x0, x8
    37b72ab4fcall __powisf2
    37b72ab54mov r15, [rsp+448]
    37b72ab5cmov eax, [rsp+416]
    37b72ab63mov [rsp+472], r12
    37b72ab6bmulss x12, x0
    37b72ab70mov rcx, [rsp+456]
    37b72ab78mov rsi, [rsp+176]
    37b72ab80mov [rsp+336], ebx
    37b72ab87mov [rsp+352], rdi
    37b72ab8flea ebx, [rax+1]
    37b72ab92mov edi, 1
    37b72ab97mov [rsp+360], rbp
    37b72ab9fmov rbp, r15
    37b72aba2lea r15, [rcx-4]
    37b72aba6nop [rax+rax]
    37b72abb0
    37b72abb0loc_37b72abb0:
    37b72abb0lea r12, [r15+rbp]
    37b72abb4nop
    37b72abb5nop [rax+rax]
    37b72abc0
    37b72abc0loc_37b72abc0:
    37b72abc0mov rdx, r14
    37b72abc3movaps x0, x15
    37b72abc7movss x6, [r12]
    37b72abcdadd r12, 4
    37b72abd1call fn_37c4308f0
    37b72abd6mov edx, [rsp+716]
    37b72abddmovaps x0, x8
    37b72abe1call __powisf2
    37b72abe6divss x6, x0
    37b72abeaminss x6, x7
    37b72abeemovss [r12-4], x6
    37b72abf5cmp rbp, r12
    37b72abf8jne 0x37b72abc0
    37b72abfaadd edi, 1
    37b72abfdadd rbp, rsi
    37b72ac00cmp edi, ebx
    37b72ac02jne 0x37b72abb0
    37b72ac04mov rdx, r14
    37b72ac07movaps x0, x15
    37b72ac0bmov ebx, [rsp+336]
    37b72ac12mov rdi, [rsp+352]
    37b72ac1amov rbp, [rsp+360]
    37b72ac22mov r12, [rsp+472]
    37b72ac2acall fn_37c4308f0
    37b72ac2fmov edx, [rsp+716]
    37b72ac36movaps x0, x8
    37b72ac3acall __powisf2
    37b72ac3fmov rdx, r14
    37b72ac42divss x13, x0
    37b72ac47movaps x0, x15
    37b72ac4bcall fn_37c4308f0
    37b72ac50mov edx, [rsp+716]
    37b72ac57movaps x0, x8
    37b72ac5bcall __powisf2
    37b72ac60divss x15, x0
    37b72ac65movss [rsp+696], x15
    37b72ac6fmovaps x6, x15
    37b72ac73mulss x6, x13
    37b72ac78jmp 0x37b72a990
    37b72ac7d
    37b72ac7dloc_37b72ac7d:
    37b72ac7dmov r13l, [rsp+280]
    37b72ac85
    37b72ac85loc_37b72ac85:
    37b72ac85cmp [rsp+400], 1
    37b72ac8djle 0x37b72b2f6
    37b72ac93mov rcx, [rsp+400]
    37b72ac9bmov rsi, [rsp+496]
    37b72aca3mov [rsp+168], rdi
    37b72acabpxor x14, x14
    37b72acb0mov rbx, [rsp+592]
    37b72acb8mov rbp, [rsp+568]
    37b72acc0lea eax, [rcx-2]
    37b72acc3add rax, [rsp+600]
    37b72accbmov r12, [rsp+520]
    37b72acd3lea rax, [rsi+4*rax]
    37b72acd7mov rsi, [rsp+464]
    37b72acdfmov [rsp+328], rax
    37b72ace7mov rax, [rsp+552]
    37b72acefimul rsi, [rsp+184]
    37b72acf8add rax, rcx
    37b72acfbmov rcx, [rsp+192]
    37b72ad03mov [rsp+336], rax
    37b72ad0bmov rax, [rsp+200]
    37b72ad13add rcx, rax
    37b72ad16lea rax, [rsi+rcx]
    37b72ad1amov rsi, [rsp+1032]
    37b72ad22mov [rsp+472], rcx
    37b72ad2alea rax, [rsi+4*rax]
    37b72ad2emov [rsp+464], rax
    37b72ad36lea rax, [rip+0xd0b723]
    37b72ad3dmov [rsp+248], rax
    37b72ad45lea rax, [rsp+684]
    37b72ad4dmov [rsp+240], rax
    37b72ad55lea rax, [rsp+700]
    37b72ad5dmov [rsp+232], rax
    37b72ad65lea rax, [rsp+708]
    37b72ad6dmov [rsp+224], rax
    37b72ad75lea rax, [rip+0xd0b6f0]
    37b72ad7cmov [rsp+216], rax
    37b72ad84lea rax, [rsp+680]
    37b72ad8cmov [rsp+360], rax
    37b72ad94lea rax, [rsp+704]
    37b72ad9cmov [rsp+352], rax
    37b72ada4jmp 0x37b72aee6
    37b72ada9
    37b72ada9 0f 1f 80 00 00 00 00 .......
    37b72adb0
    37b72adb0loc_37b72adb0:
    37b72adb0divss x13, [rbp]
    37b72adb6mulss x13, x15
    37b72adbbmovss [rsp+692], x13
    37b72adc5ucomiss x13, x10
    37b72adc9jp 0x37b72b100
    37b72adcfjne 0x37b72b100
    37b72add5
    37b72add5loc_37b72add5:
    37b72add5mov rax, [rsp+168]
    37b72adddmov rcx, [rsp+1016]
    37b72ade5mov [rsp+704], r13l
    37b72adedadd rbx, 4
    37b72adf1mov r9, [rsp+224]
    37b72adf9mov r8, [rsp+352]
    37b72ae01movss [rsp+716], x11
    37b72ae0bmovss [rax-4], x6
    37b72ae10mov eax, [rsp+256]
    37b72ae17movss [rbp], x6
    37b72ae1cmov [rsp+708], eax
    37b72ae23mov eax, [rsp+144]
    37b72ae2amov [rsp+112], 1
    37b72ae33mov [rsp+712], eax
    37b72ae3amov rax, [rsp+1040]
    37b72ae42mov [rsp+104], 1
    37b72ae4bmov [rsp+96], rax
    37b72ae50mov rax, [rsp+288]
    37b72ae58mov [rsp+40], r14
    37b72ae5dmov [rsp+88], rax
    37b72ae62mov rax, [rsp+216]
    37b72ae6amov [rsp+80], rax
    37b72ae6fmov rax, [rsp+1024]
    37b72ae77mov [rsp+72], rax
    37b72ae7cmov rax, [rsp+280]
    37b72ae84add rax, [rsp+320]
    37b72ae8clea rax, [rcx+4*rax]
    37b72ae90lea rcx, [rip+0xd0b5b9]
    37b72ae97mov [rsp+64], rax
    37b72ae9cmov rax, [rsp+1040]
    37b72aea4mov [rsp+56], rax
    37b72aea9mov rax, [rsp+208]
    37b72aeb1mov [rsp+48], rax
    37b72aeb6mov rax, [rsp+136]
    37b72aebemov [rsp+32], rax
    37b72aec3mov rdx, [rsp+248]
    37b72aecbcall sgemm_
    37b72aed0add rbp, [rsp+176]
    37b72aed8cmp [rsp+328], rbx
    37b72aee0je 0x37b72b2bd
    37b72aee6
    37b72aee6loc_37b72aee6:
    37b72aee6movsxd rcx, [rbx]
    37b72aee9mov eax, [rbx+4]
    37b72aeecmov [rsp+48], 1
    37b72aef5mov r8, r14
    37b72aef8mov [rsp+712], r13l
    37b72af00mov [rsp+296], eax
    37b72af07sub eax, ecx
    37b72af09mov rdi, rcx
    37b72af0cmov [rsp+256], eax
    37b72af13mov [rsp+716], eax
    37b72af1amov rax, [rsp+184]
    37b72af22mov [rsp+280], rcx
    37b72af2aimul rax, rcx
    37b72af2emov rcx, [rsp+192]
    37b72af36mov [rsp+304], rax
    37b72af3elea rdx, [rax+rcx]
    37b72af42mov rax, [rsp+1032]
    37b72af4aadd rdx, [rsp+200]
    37b72af52mov rcx, [rsp+160]
    37b72af5alea r9, [rax+4*rdx]
    37b72af5emov rax, [rsp+152]
    37b72af66mov rdx, [rsp+136]
    37b72af6emov [rsp+288], r9
    37b72af76mov [rsp+40], rax
    37b72af7bmov rax, [rsp+1040]
    37b72af83mov [rsp+32], rax
    37b72af88call slange_
    37b72af8dmov rax, [rsp+168]
    37b72af95movss x2, [rbp]
    37b72af9amovaps x3, x0
    37b72af9dmov r8, [rsp+240]
    37b72afa5mov rdx, [rsp+232]
    37b72afadmovss x1, [rax-4]
    37b72afb2movaps x13, x2
    37b72afb6mov rax, [rsp+336]
    37b72afbemov rcx, [rsp+360]
    37b72afc6minss x13, x1
    37b72afcbmovaps x0, x13
    37b72afcfdivss x0, x2
    37b72afd3mulss x0, x3
    37b72afd7movss [rsp+684], x0
    37b72afe0movaps x0, x13
    37b72afe4divss x0, x1
    37b72afe8mulss x0, [rsp+700]
    37b72aff1movss [rsp+700], x0
    37b72affamovss x0, [rbp+4*rax]
    37b72b000movss [rsp+680], x0
    37b72b009call slarmm_
    37b72b00emovss [rsp+696], x0
    37b72b017movaps x6, x0
    37b72b01amovaps x15, x0
    37b72b01emulss x6, x13
    37b72b023ucomiss x6, x14
    37b72b027jp 0x37b72b02f
    37b72b029je 0x37b72b179
    37b72b02f
    37b72b02floc_37b72b02f:
    37b72b02fmovss x0, [rsp+684]
    37b72b038mov rax, [rsp+168]
    37b72b040mulss x0, x15
    37b72b045movss [rsp+684], x0
    37b72b04emovss x0, [rsp+700]
    37b72b057mulss x0, x15
    37b72b05cmovss [rsp+700], x0
    37b72b065movaps x0, x13
    37b72b069divss x0, [rax-4]
    37b72b06emulss x0, x15
    37b72b073movss [rsp+692], x0
    37b72b07cucomiss x0, x10
    37b72b080jp 0x37b72b088
    37b72b082je 0x37b72adb0
    37b72b088
    37b72b088loc_37b72b088:
    37b72b088mov eax, [rsp+384]
    37b72b08fmov ecx, [rsp+392]
    37b72b096cmp eax, ecx
    37b72b098jge 0x37b72adb0
    37b72b09emov r8, [rsp+464]
    37b72b0a6mov [rsp+424], edi
    37b72b0admov esi, ecx
    37b72b0afmov [rsp+440], rbx
    37b72b0b7mov ebx, eax
    37b72b0b9mov rdi, r8
    37b72b0bcnop [rax]
    37b72b0c0
    37b72b0c0loc_37b72b0c0:
    37b72b0c0mov r8, rdi
    37b72b0c3lea r9, [rip+0xd0b38e]
    37b72b0camov rcx, r14
    37b72b0cdadd ebx, 1
    37b72b0d0lea rdx, [rsp+692]
    37b72b0d8mov [rsp+716], r13l
    37b72b0e0add rdi, r12
    37b72b0e3call sscal_
    37b72b0e8cmp esi, ebx
    37b72b0eajne 0x37b72b0c0
    37b72b0ecmov edi, [rsp+424]
    37b72b0f3mov rbx, [rsp+440]
    37b72b0fbjmp 0x37b72adb0
    37b72b100
    37b72b100loc_37b72b100:
    37b72b100mov eax, [rsp+296]
    37b72b107cmp edi, eax
    37b72b109jge 0x37b72add5
    37b72b10fmov rcx, [rsp+1032]
    37b72b117mov rdx, [rsp+304]
    37b72b11fmov [rsp+296], rbx
    37b72b127mov esi, eax
    37b72b129add rdx, [rsp+472]
    37b72b131lea rbx, [rcx+4*rdx]
    37b72b135nop [rax+rax]
    37b72b140
    37b72b140loc_37b72b140:
    37b72b140mov r8, rbx
    37b72b143lea r9, [rip+0xd0b30e]
    37b72b14amov rcx, r14
    37b72b14dadd edi, 1
    37b72b150lea rdx, [rsp+692]
    37b72b158mov [rsp+716], r13l
    37b72b160add rbx, r12
    37b72b163call sscal_
    37b72b168cmp esi, edi
    37b72b16ajne 0x37b72b140
    37b72b16cmov rbx, [rsp+296]
    37b72b174jmp 0x37b72add5
    37b72b179
    37b72b179loc_37b72b179:
    37b72b179mov rdx, r14
    37b72b17ccall fn_37c4308f0
    37b72b181mov edx, [rsp+716]
    37b72b188movaps x0, x9
    37b72b18ccall __powisf2
    37b72b191mov r15, [rsp+448]
    37b72b199mov eax, [rsp+416]
    37b72b1a0mov [rsp+440], r12
    37b72b1a8mulss x12, x0
    37b72b1admov rcx, [rsp+456]
    37b72b1b5mov rsi, [rsp+176]
    37b72b1bdmov [rsp+424], edi
    37b72b1c4mov [rsp+504], rbp
    37b72b1cclea edi, [rax+1]
    37b72b1cfmov rbp, r15
    37b72b1d2mov [rsp+512], rbx
    37b72b1dalea r15, [rcx-4]
    37b72b1demov ebx, 1
    37b72b1e3nop
    37b72b1e5nop [rax+rax]
    37b72b1f0
    37b72b1f0loc_37b72b1f0:
    37b72b1f0lea r12, [r15+rbp]
    37b72b1f4nop
    37b72b1f5nop [rax+rax]
    37b72b200
    37b72b200loc_37b72b200:
    37b72b200mov rdx, r14
    37b72b203movaps x0, x15
    37b72b207movss x6, [r12]
    37b72b20dadd r12, 4
    37b72b211call fn_37c4308f0
    37b72b216mov edx, [rsp+716]
    37b72b21dmovaps x0, x9
    37b72b221call __powisf2
    37b72b226divss x6, x0
    37b72b22aminss x6, x7
    37b72b22emovss [r12-4], x6
    37b72b235cmp rbp, r12
    37b72b238jne 0x37b72b200
    37b72b23aadd ebx, 1
    37b72b23dadd rbp, rsi
    37b72b240cmp ebx, edi
    37b72b242jne 0x37b72b1f0
    37b72b244mov rdx, r14
    37b72b247movaps x0, x15
    37b72b24bmov edi, [rsp+424]
    37b72b252mov r12, [rsp+440]
    37b72b25amov rbp, [rsp+504]
    37b72b262mov rbx, [rsp+512]
    37b72b26acall fn_37c4308f0
    37b72b26fmov edx, [rsp+716]
    37b72b276movaps x0, x9
    37b72b27acall __powisf2
    37b72b27fmov rdx, r14
    37b72b282divss x13, x0
    37b72b287movaps x0, x15
    37b72b28bcall fn_37c4308f0
    37b72b290mov edx, [rsp+716]
    37b72b297movaps x0, x9
    37b72b29bcall __powisf2
    37b72b2a0divss x15, x0
    37b72b2a5movss [rsp+696], x15
    37b72b2afmovaps x6, x15
    37b72b2b3mulss x6, x13
    37b72b2b8jmp 0x37b72b02f
    37b72b2bd
    37b72b2bdloc_37b72b2bd:
    37b72b2bdmov rdi, [rsp+168]
    37b72b2c5mov rsi, [rsp+376]
    37b72b2cdadd rdi, [rsp+576]
    37b72b2d5add [rsp+312], rsi
    37b72b2ddsub [rsp+400], 1
    37b72b2e6mov rax, [rsp+400]
    37b72b2eetest eax, eax
    37b72b2f0jne 0x37b72a452
    37b72b2f6
    37b72b2f6loc_37b72b2f6:
    37b72b2f6add [rsp+408], 1
    37b72b2ffmov ebx, [rsp+616]
    37b72b306mov r15, [rsp+624]
    37b72b30emov rdi, [rsp+632]
    37b72b316mov r9l, [rsp+416]
    37b72b31emov rbp, [rsp+648]
    37b72b326mov r10, [rsp+656]
    37b72b32emov r8, [rsp+1056]
    37b72b336cmp r15, [rsp+408]
    37b72b33eje 0x37b72c830
    37b72b344mov rax, [rsp+408]
    37b72b34cadd [rsp+528], 4
    37b72b355mov ecx, eax
    37b72b357lea r11l, [rax+1]
    37b72b35bjmp 0x37b72a348
    37b72b360
    37b72b360loc_37b72b360:
    37b72b360ucomiss x15, x1
    37b72b364jp 0x37b72b41b
    37b72b36ajne 0x37b72b41b
    37b72b370pxor x12, x12
    37b72b375movaps x14, x8
    37b72b379
    37b72b379loc_37b72b379:
    37b72b379mov eax, [rsp+416]
    37b72b380mov r12, [rsp+448]
    37b72b388mov [rsp+168], rdi
    37b72b390mov edi, 1
    37b72b395mov rbx, [rsp+176]
    37b72b39dlea esi, [rax+1]
    37b72b3a0mov rax, [rsp+456]
    37b72b3a8lea rbp, [rax-4]
    37b72b3ac
    37b72b3acloc_37b72b3ac:
    37b72b3aclea r15, [rbp+r12]
    37b72b3b1nop [rax]
    37b72b3b5nop [rax+rax]
    37b72b3c0
    37b72b3c0loc_37b72b3c0:
    37b72b3c0mov rdx, r14
    37b72b3c3movaps x0, x15
    37b72b3c7movss x13, [r15]
    37b72b3ccadd r15, 4
    37b72b3d0call fn_37c4308f0
    37b72b3d5mov edx, [rsp+716]
    37b72b3dcmovaps x0, x14
    37b72b3e0call __powisf2
    37b72b3e5divss x13, x0
    37b72b3eaminss x13, x7
    37b72b3efmovss [r15-4], x13
    37b72b3f5cmp r12, r15
    37b72b3f8jne 0x37b72b3c0
    37b72b3faadd edi, 1
    37b72b3fdadd r12, rbx
    37b72b400cmp edi, esi
    37b72b402jne 0x37b72b3ac
    37b72b404mov rdi, [rsp+168]
    37b72b40cmovss x0, [rdi-4]
    37b72b411mulss x0, x15
    37b72b416jmp 0x37b72a5d2
    37b72b41b
    37b72b41bloc_37b72b41b:
    37b72b41bmov rdx, r14
    37b72b41emovaps x0, x15
    37b72b422call fn_37c4308f0
    37b72b427mov edx, [rsp+716]
    37b72b42emovss x14, [rip+0xd0b045]
    37b72b437movaps x0, x14
    37b72b43bcall __powisf2
    37b72b440mulss x12, x0
    37b72b445jmp 0x37b72b379
    37b72b44a
    37b72b44aloc_37b72b44a:
    37b72b44amov ebx, [rsp+616]
    37b72b451jmp 0x37b7280fa
    37b72b456
    37b72b456loc_37b72b456:
    37b72b456mov ecx, 1
    37b72b45bjmp 0x37b7271ae
    37b72b460
    37b72b460loc_37b72b460:
    37b72b460mov r11l, [rsp+520]
    37b72b468movaps x13, x6
    37b72b46cjmp 0x37b7280fa
    37b72b471
    37b72b471loc_37b72b471:
    37b72b471mov rax, [rsp+976]
    37b72b479pxor x11, x11
    37b72b47ecvtsi2ss x11, [rax]
    37b72b483mov eax, [rsp+216]
    37b72b48atest eax, eax
    37b72b48cjne 0x37b7277e6
    37b72b492cmp [rsp+144], 1
    37b72b49aje 0x37b72b4ba
    37b72b49cmov ebp, [rsp+160]
    37b72b4a3test ebp, ebp
    37b72b4a5jne 0x37b728f56
    37b72b4abmov edi, [rsp+144]
    37b72b4b2test edi, edi
    37b72b4b4je 0x37b72a1ff
    37b72b4ba
    37b72b4baloc_37b72b4ba:
    37b72b4bacmp [rsp+160], 1
    37b72b4c2je 0x37b72c70c
    37b72b4c8mov ecx, [rsp+144]
    37b72b4cftest ecx, ecx
    37b72b4d1je 0x37b72c70c
    37b72b4d7mov edi, [rsp+436]
    37b72b4detest edi, edi
    37b72b4e0je 0x37b72c7b9
    37b72b4e6movsxd r9, edi
    37b72b4e9test r11l, r11l
    37b72b4ecje 0x37b72c757
    37b72b4f2mov rcx, [rsp+376]
    37b72b4famovsxd r12, r11l
    37b72b4fdmov r8, r9
    37b72b500mov rax, [rsp+168]
    37b72b508mov rsi, [rsp+1072]
    37b72b510xorps x11, [rip+0xd0af68]
    37b72b518movaps x12, x10
    37b72b51clea r15, [rsp+716]
    37b72b524movss x8, [rip+0xd0af4f]
    37b72b52dmov r13, rcx
    37b72b530add rax, r9
    37b72b533mov r9l, r11l
    37b72b536imul r13, r12
    37b72b53amov r11, [rsp+1056]
    37b72b542add rax, r13
    37b72b545mov rbp, r13
    37b72b548lea r14, [rsi+4*rax]
    37b72b54cmov rax, rcx
    37b72b54fneg rax
    37b72b552shl rax, 2
    37b72b556mov [rsp+608], rax
    37b72b55elea rax, [4*rcx]
    37b72b566mov [rsp+176], rax
    37b72b56elea eax, [rdi-1]
    37b72b571lea rdi, [rsi+4*rax+4]
    37b72b576neg rax
    37b72b579shl rax, 2
    37b72b57dmov [rsp+440], rdi
    37b72b585mov [rsp+448], rax
    37b72b58dmov rax, [rsp+184]
    37b72b595lea rdi, [4*rax]
    37b72b59dmovsxd rax, ebx
    37b72b5a0imul rax, rcx
    37b72b5a4mov r13, rdi
    37b72b5a7lea rdi, [rsi-4]
    37b72b5abmov rcx, r14
    37b72b5aemov rsi, r12
    37b72b5b1mov [rsp+560], rax
    37b72b5b9lea rax, [rsp+712]
    37b72b5c1mov [rsp+136], rax
    37b72b5c9lea rax, [rip+0xd0ae9a]
    37b72b5d0mov [rsp+160], rax
    37b72b5d8lea rax, [rsp+688]
    37b72b5e0mov [rsp+480], rax
    37b72b5e8lea rax, [rsp+696]
    37b72b5f0mov [rsp+488], rax
    37b72b5f8
    37b72b5f8loc_37b72b5f8:
    37b72b5f8movsxd r10, [r11+4*r8-4]
    37b72b5fdmov rax, [rsp+344]
    37b72b605mov [rsp+144], rcx
    37b72b60dmov r12l, [r11+4*r8]
    37b72b611mov [rsp+400], rsi
    37b72b619imul rax, r10
    37b72b61dadd rax, [rsp+368]
    37b72b625mov rdx, r10
    37b72b628mov [rsp+280], r10
    37b72b630mov [rsp+320], rax
    37b72b638add rax, r10
    37b72b63bsub r12l, edx
    37b72b63emov r10, [rsp+1000]
    37b72b646mov [rsp+408], r9l
    37b72b64emovss x9, [rip+0xd0ae25]
    37b72b657lea rax, [r10+4*rax]
    37b72b65bmov [rsp+504], rcx
    37b72b663mov [rsp+552], rax
    37b72b66blea eax, [r9+r8]
    37b72b66fcdqe
    37b72b671mov [rsp+512], ebx
    37b72b678imul rax, [rsp+376]
    37b72b681mov [rsp+424], r8
    37b72b689mov [rsp+520], rsi
    37b72b691sub rax, rbp
    37b72b694mov [rsp+528], rbp
    37b72b69cmov [rsp+304], rax
    37b72b6a4mov rax, r8
    37b72b6a7neg rax
    37b72b6aamov [rsp+1056], r11
    37b72b6b2lea rdx, [4*rax]
    37b72b6balea eax, [r8-2]
    37b72b6bemov [rsp+536], rdi
    37b72b6c6sub rax, r8
    37b72b6c9mov [rsp+616], rdx
    37b72b6d1shl rax, 2
    37b72b6d5mov [rsp+576], rax
    37b72b6ddmov rax, rdi
    37b72b6e0mov edi, r12l
    37b72b6e3sub rax, rdx
    37b72b6e6mov [rsp+584], rax
    37b72b6eemov rax, [rsp+560]
    37b72b6f6sub rax, r8
    37b72b6f9mov [rsp+568], rax
    37b72b701
    37b72b701loc_37b72b701:
    37b72b701mov rsi, [rsp+400]
    37b72b709mov rax, [rsp+592]
    37b72b711mov [rsp+712], edi
    37b72b718mov rbx, [rsp+480]
    37b72b720movsxd rcx, [rax+4*rsi-4]
    37b72b725mov eax, [rax+4*rsi]
    37b72b728mov [rsp+112], 1
    37b72b731mov rsi, [rsp+1032]
    37b72b739mov [rsp+96], rbx
    37b72b73emov [rsp+416], eax
    37b72b745sub eax, ecx
    37b72b747mov rbx, [rsp+488]
    37b72b74fmov [rsp+168], eax
    37b72b756mov [rsp+716], eax
    37b72b75dmov rax, [rsp+184]
    37b72b765mov [rsp+392], ecx
    37b72b76cimul rax, rcx
    37b72b770mov [rsp+88], rbx
    37b72b775add rax, [rsp+192]
    37b72b77dmov [rsp+288], rax
    37b72b785add rax, [rsp+280]
    37b72b78dlea rsi, [rsi+4*rax]
    37b72b791mov rax, [rsp+272]
    37b72b799mov [rsp+464], rcx
    37b72b7a1mov [rsp+200], rsi
    37b72b7a9mov rbx, [rsp+1040]
    37b72b7b1imul rax, rcx
    37b72b7b5mov [rsp+72], rsi
    37b72b7baadd rax, [rsp+264]
    37b72b7c2mov [rsp+312], rax
    37b72b7caadd rax, rcx
    37b72b7cdmov rcx, [rsp+1016]
    37b72b7d5mov rsi, [rsp+1024]
    37b72b7ddmov [rsp+80], rbx
    37b72b7e2mov [rsp+104], 1
    37b72b7eblea rax, [rcx+4*rax]
    37b72b7efmov [rsp+64], rsi
    37b72b7f4mov [rsp+56], rax
    37b72b7f9mov rax, [rsp+1008]
    37b72b801mov [rsp+32], r15
    37b72b806mov rdx, [rsp+968]
    37b72b80emov [rsp+48], rax
    37b72b813mov rax, [rsp+552]
    37b72b81bmov rcx, [rsp+960]
    37b72b823mov r9, [rsp+136]
    37b72b82bmov [rsp+40], rax
    37b72b830mov r8, [rsp+976]
    37b72b838call strsyl_
    37b72b83dmov edx, [rsp+688]
    37b72b844pxor x1, x1
    37b72b848mov rax, [rsp+1088]
    37b72b850mov rcx, [rsp+1088]
    37b72b858movss x15, [rsp+696]
    37b72b862mov eax, [rax]
    37b72b864cmp eax, edx
    37b72b866cmovl eax, edx
    37b72b869mov [rcx], eax
    37b72b86bmov rax, [rsp+144]
    37b72b873movss x0, [rax]
    37b72b877mulss x0, x15
    37b72b87cucomiss x0, x1
    37b72b87fjp 0x37b72b887
    37b72b881je 0x37b72c5db
    37b72b887
    37b72b887loc_37b72b887:
    37b72b887mov rax, [rsp+144]
    37b72b88fmov r9, [rsp+200]
    37b72b897mov r8, r15
    37b72b89amov [rsp+712], edi
    37b72b8a1mov rdx, [rsp+136]
    37b72b8a9mov rcx, [rsp+160]
    37b72b8b1movss [rax], x0
    37b72b8b5mov eax, [rsp+168]
    37b72b8bcmov [rsp+48], 1
    37b72b8c5mov [rsp+716], eax
    37b72b8ccmov rax, [rsp+152]
    37b72b8d4mov [rsp+40], rax
    37b72b8d9mov rax, [rsp+1040]
    37b72b8e1mov [rsp+32], rax
    37b72b8e6call slange_
    37b72b8ebmovss [rsp+700], x0
    37b72b8f4cmp [rsp+424], 1
    37b72b8fcjle 0x37b72bf12
    37b72b902mov rax, [rsp+144]
    37b72b90amov rcx, [rsp+616]
    37b72b912mov [rsp+256], edi
    37b72b919pxor x14, x14
    37b72b91emov rbx, [rsp+192]
    37b72b926mov rdx, [rsp+280]
    37b72b92emovss [rsp+472], x11
    37b72b938lea r12, [rax+rcx+4]
    37b72b93dmov rcx, [rsp+464]
    37b72b945mov r10, [rsp+1032]
    37b72b94dimul rcx, [rsp+184]
    37b72b956add rdx, rbx
    37b72b959mov r14, [rsp+1056]
    37b72b961mov ebp, [rsp+416]
    37b72b968mov rdi, r14
    37b72b96badd rdx, rcx
    37b72b96eadd rcx, rbx
    37b72b971mov [rsp+384], rcx
    37b72b979mov rcx, [rsp+576]
    37b72b981lea rdx, [r10+4*rdx]
    37b72b985mov [rsp+456], rdx
    37b72b98dlea rax, [rax+rcx+8]
    37b72b992mov [rsp+296], rax
    37b72b99alea rax, [rsp+684]
    37b72b9a2mov [rsp+224], rax
    37b72b9aalea rax, [rsp+700]
    37b72b9b2mov [rsp+232], rax
    37b72b9balea rax, [rsp+676]
    37b72b9c2mov [rsp+336], rax
    37b72b9calea rax, [rsp+708]
    37b72b9d2mov [rsp+240], rax
    37b72b9dalea rax, [rip+0xd0aa8b]
    37b72b9e1mov [rsp+216], rax
    37b72b9e9lea rax, [rip+0xd0aa80]
    37b72b9f0mov [rsp+328], rax
    37b72b9f8jmp 0x37b72bb20
    37b72b9fd
    37b72b9fdloc_37b72b9fd:
    37b72b9fddivss x6, [r12]
    37b72ba03mulss x6, x15
    37b72ba08movss [rsp+692], x6
    37b72ba11ucomiss x6, x10
    37b72ba15jp 0x37b72bda5
    37b72ba1bjne 0x37b72bda5
    37b72ba21
    37b72ba21loc_37b72ba21:
    37b72ba21mov rax, [rsp+144]
    37b72ba29mov rdx, [rsp+208]
    37b72ba31mov [rsp+708], ebx
    37b72ba38add rdi, 4
    37b72ba3cadd rdx, [rsp+320]
    37b72ba44mov r9, [rsp+136]
    37b72ba4cadd r12, 4
    37b72ba50movss [rax], x11
    37b72ba55mov eax, [rsp+168]
    37b72ba5cmov r8, [rsp+240]
    37b72ba64movss [r12-4], x11
    37b72ba6bmov [rsp+712], eax
    37b72ba72mov eax, [rsp+256]
    37b72ba79mov [rsp+32], r15
    37b72ba7emov [rsp+716], eax
    37b72ba85mov rax, [rsp+1040]
    37b72ba8dmov [rsp+112], 1
    37b72ba96mov [rsp+96], rax
    37b72ba9bmov rax, [rsp+248]
    37b72baa3mov [rsp+104], 1
    37b72baacmov [rsp+88], rax
    37b72bab1mov rax, [rsp+216]
    37b72bab9mov [rsp+80], rax
    37b72babemov rax, [rsp+1040]
    37b72bac6mov [rsp+72], rax
    37b72bacbmov rax, [rsp+200]
    37b72bad3mov [rsp+64], rax
    37b72bad8mov rax, [rsp+1008]
    37b72bae0mov [rsp+56], rax
    37b72bae5mov rax, [rsp+1000]
    37b72baedlea rdx, [rax+4*rdx]
    37b72baf1mov rax, [rsp+328]
    37b72baf9mov [rsp+48], rdx
    37b72bafelea rdx, [rip+0xd0a94b]
    37b72bb05mov rcx, rdx
    37b72bb08mov [rsp+40], rax
    37b72bb0dcall sgemm_
    37b72bb12cmp r12, [rsp+296]
    37b72bb1aje 0x37b72bf01
    37b72bb20
    37b72bb20loc_37b72bb20:
    37b72bb20mov edx, [rdi]
    37b72bb22mov ebx, [rdi+4]
    37b72bb25mov r8, r15
    37b72bb28mov [rsp+48], 1
    37b72bb31mov eax, [rsp+168]
    37b72bb38mov rcx, [rsp+288]
    37b72bb40sub ebx, edx
    37b72bb42mov [rsp+716], eax
    37b72bb49movsxd rax, edx
    37b72bb4clea rdx, [rcx+rax]
    37b72bb50mov [rsp+208], rax
    37b72bb58mov rax, [rsp+1032]
    37b72bb60mov rcx, [rsp+160]
    37b72bb68mov [rsp+712], ebx
    37b72bb6flea r9, [rax+4*rdx]
    37b72bb73mov rax, [rsp+152]
    37b72bb7bmov rdx, [rsp+136]
    37b72bb83mov [rsp+248], r9
    37b72bb8bmov [rsp+40], rax
    37b72bb90mov rax, [rsp+1040]
    37b72bb98mov [rsp+32], rax
    37b72bb9dcall slange_
    37b72bba2mov rax, [rsp+144]
    37b72bbaamovss x2, [r12]
    37b72bbb0movaps x3, x0
    37b72bbb3mov r8, [rsp+224]
    37b72bbbbmov rdx, [rsp+232]
    37b72bbc3movss x1, [rax]
    37b72bbc7movaps x6, x2
    37b72bbcamov rax, [rsp+304]
    37b72bbd2mov rcx, [rsp+336]
    37b72bbdaminss x6, x1
    37b72bbdemovaps x0, x6
    37b72bbe1divss x0, x2
    37b72bbe5mulss x0, x3
    37b72bbe9movss [rsp+684], x0
    37b72bbf2movaps x0, x6
    37b72bbf5divss x0, x1
    37b72bbf9mulss x0, [rsp+700]
    37b72bc02movss [rsp+700], x0
    37b72bc0bmovss x0, [r12+4*rax]
    37b72bc11movss [rsp+676], x0
    37b72bc1acall slarmm_
    37b72bc1fmovaps x11, x0
    37b72bc23movaps x15, x0
    37b72bc27movss [rsp+696], x0
    37b72bc30mulss x11, x6
    37b72bc35ucomiss x11, x14
    37b72bc39jp 0x37b72bc41
    37b72bc3bje 0x37b72bdbf
    37b72bc41
    37b72bc41loc_37b72bc41:
    37b72bc41movss x0, [rsp+684]
    37b72bc4amov rax, [rsp+144]
    37b72bc52mulss x0, x15
    37b72bc57movss [rsp+684], x0
    37b72bc60movss x0, [rsp+700]
    37b72bc69mulss x0, x15
    37b72bc6emovss [rsp+700], x0
    37b72bc77movaps x0, x6
    37b72bc7adivss x0, [rax]
    37b72bc7emulss x0, x15
    37b72bc83movss [rsp+692], x0
    37b72bc8cucomiss x0, x10
    37b72bc90jp 0x37b72bc98
    37b72bc92je 0x37b72b9fd
    37b72bc98
    37b72bc98loc_37b72bc98:
    37b72bc98mov r14l, [rsp+392]
    37b72bca0cmp r14l, ebp
    37b72bca3jge 0x37b72ba21
    37b72bca9mov r8, [rsp+456]
    37b72bcb1mov [rsp+352], ebx
    37b72bcb8mov ebx, r14l
    37b72bcbblea rsi, [rsp+692]
    37b72bcc3mov r14l, [rsp+256]
    37b72bccbmov [rsp+360], rdi
    37b72bcd3mov rdi, r8
    37b72bcd6nop [rax+rax]
    37b72bce0
    37b72bce0loc_37b72bce0:
    37b72bce0mov r8, rdi
    37b72bce3lea r9, [rip+0xd0a76e]
    37b72bceamov rdx, rsi
    37b72bcedmov rcx, r15
    37b72bcf0add ebx, 1
    37b72bcf3mov [rsp+716], r14l
    37b72bcfbadd rdi, r13
    37b72bcfecall sscal_
    37b72bd03cmp ebp, ebx
    37b72bd05jne 0x37b72bce0
    37b72bd07divss x6, [r12]
    37b72bd0dmulss x6, x15
    37b72bd12mov ebx, [rsp+352]
    37b72bd19mov rdi, [rsp+360]
    37b72bd21movss [rsp+692], x6
    37b72bd2aucomiss x6, x10
    37b72bd2ejp 0x37b72bd36
    37b72bd30je 0x37b72ba21
    37b72bd36
    37b72bd36loc_37b72bd36:
    37b72bd36mov rax, [rsp+208]
    37b72bd3emov rcx, [rsp+384]
    37b72bd46mov [rsp+352], rdi
    37b72bd4emov r14l, [rsp+392]
    37b72bd56lea rdx, [rax+rcx]
    37b72bd5amov rax, [rsp+1032]
    37b72bd62lea rdi, [rax+4*rdx]
    37b72bd66nop [rax+rax]
    37b72bd70
    37b72bd70loc_37b72bd70:
    37b72bd70mov r8, rdi
    37b72bd73lea r9, [rip+0xd0a6de]
    37b72bd7amov rdx, rsi
    37b72bd7dmov rcx, r15
    37b72bd80add r14l, 1
    37b72bd84mov [rsp+716], ebx
    37b72bd8badd rdi, r13
    37b72bd8ecall sscal_
    37b72bd93cmp ebp, r14l
    37b72bd96jne 0x37b72bd70
    37b72bd98mov rdi, [rsp+352]
    37b72bda0jmp 0x37b72ba21
    37b72bda5
    37b72bda5loc_37b72bda5:
    37b72bda5cmp [rsp+392], ebp
    37b72bdacjge 0x37b72ba21
    37b72bdb2lea rsi, [rsp+692]
    37b72bdbajmp 0x37b72bd36
    37b72bdbf
    37b72bdbfloc_37b72bdbf:
    37b72bdbfmov rdx, r15
    37b72bdc2call fn_37c4308f0
    37b72bdc7mov edx, [rsp+716]
    37b72bdcemovaps x0, x8
    37b72bdd2call __powisf2
    37b72bdd7mov r14, [rsp+440]
    37b72bddfmov rdx, r12
    37b72bde2mov eax, [rsp+408]
    37b72bde9mulss x12, x0
    37b72bdeemov rcx, [rsp+448]
    37b72bdf6mov [rsp+544], r13
    37b72bdfemov rsi, [rsp+176]
    37b72be06mov [rsp+352], ebx
    37b72be0dmov r12, r14
    37b72be10lea ebx, [rax+1]
    37b72be13mov [rsp+360], ebp
    37b72be1amov r14, rdx
    37b72be1dmov ebp, 1
    37b72be22mov [rsp+624], rdi
    37b72be2alea rdi, [rcx-4]
    37b72be2enop
    37b72be30
    37b72be30loc_37b72be30:
    37b72be30lea r13, [rdi+r12]
    37b72be34nop
    37b72be35nop [rax+rax]
    37b72be40
    37b72be40loc_37b72be40:
    37b72be40mov rdx, r15
    37b72be43movaps x0, x15
    37b72be47movss x11, [r13]
    37b72be4dadd r13, 4
    37b72be51call fn_37c4308f0
    37b72be56mov edx, [rsp+716]
    37b72be5dmovaps x0, x8
    37b72be61call __powisf2
    37b72be66divss x11, x0
    37b72be6bminss x11, x7
    37b72be70movss [r13-4], x11
    37b72be76cmp r13, r12
    37b72be79jne 0x37b72be40
    37b72be7badd ebp, 1
    37b72be7elea r12, [r13+rsi]
    37b72be83cmp ebp, ebx
    37b72be85jne 0x37b72be30
    37b72be87mov rdx, r15
    37b72be8amovaps x0, x15
    37b72be8emov ebx, [rsp+352]
    37b72be95mov ebp, [rsp+360]
    37b72be9cmov r13, [rsp+544]
    37b72bea4mov rdi, [rsp+624]
    37b72beacmov r12, r14
    37b72beafcall fn_37c4308f0
    37b72beb4mov edx, [rsp+716]
    37b72bebbmovaps x0, x8
    37b72bebfcall __powisf2
    37b72bec4mov rdx, r15
    37b72bec7divss x6, x0
    37b72becbmovaps x0, x15
    37b72becfcall fn_37c4308f0
    37b72bed4mov edx, [rsp+716]
    37b72bedbmovaps x0, x8
    37b72bedfcall __powisf2
    37b72bee4divss x15, x0
    37b72bee9movss [rsp+696], x15
    37b72bef3movaps x11, x15
    37b72bef7mulss x11, x6
    37b72befcjmp 0x37b72bc41
    37b72bf01
    37b72bf01loc_37b72bf01:
    37b72bf01mov edi, [rsp+256]
    37b72bf08movss x11, [rsp+472]
    37b72bf12
    37b72bf12loc_37b72bf12:
    37b72bf12cmp [rsp+400], 1
    37b72bf1ajle 0x37b72c586
    37b72bf20mov rcx, [rsp+400]
    37b72bf28mov rsi, [rsp+496]
    37b72bf30pxor x14, x14
    37b72bf35movss [rsp+624], x13
    37b72bf3fmov rbx, [rsp+592]
    37b72bf47mov r12, [rsp+584]
    37b72bf4flea eax, [rcx-2]
    37b72bf52add rax, [rsp+600]
    37b72bf5alea rax, [rsi+4*rax]
    37b72bf5emov rsi, [rsp+1032]
    37b72bf66mov [rsp+336], rax
    37b72bf6emov rax, [rsp+568]
    37b72bf76add rax, rcx
    37b72bf79mov rcx, [rsp+280]
    37b72bf81mov [rsp+328], rax
    37b72bf89mov rax, [rsp+192]
    37b72bf91add rcx, rax
    37b72bf94mov rax, [rsp+464]
    37b72bf9cimul rax, [rsp+184]
    37b72bfa5mov [rsp+544], rcx
    37b72bfadadd rax, rcx
    37b72bfb0lea rax, [rsi+4*rax]
    37b72bfb4mov [rsp+472], rax
    37b72bfbclea rax, [rip+0xd0a49d]
    37b72bfc3mov [rsp+384], rax
    37b72bfcblea rax, [rsp+684]
    37b72bfd3mov [rsp+224], rax
    37b72bfdblea rax, [rsp+700]
    37b72bfe3mov [rsp+232], rax
    37b72bfeblea rax, [rsp+708]
    37b72bff3mov [rsp+240], rax
    37b72bffblea rax, [rip+0xd0a46a]
    37b72c002mov [rsp+216], rax
    37b72c00alea rax, [rsp+680]
    37b72c012mov [rsp+352], rax
    37b72c01alea rax, [rsp+704]
    37b72c022mov [rsp+360], rax
    37b72c02ajmp 0x37b72c165
    37b72c02f
    37b72c02f 90 .
    37b72c030
    37b72c030loc_37b72c030:
    37b72c030divss x6, [r12]
    37b72c036mulss x6, x15
    37b72c03bmovss [rsp+692], x6
    37b72c044ucomiss x6, x10
    37b72c048jp 0x37b72c37f
    37b72c04ejne 0x37b72c37f
    37b72c054
    37b72c054loc_37b72c054:
    37b72c054mov rax, [rsp+144]
    37b72c05cmov rcx, [rsp+1016]
    37b72c064mov [rsp+704], edi
    37b72c06badd rbx, 4
    37b72c06fmov r9, [rsp+240]
    37b72c077mov r8, [rsp+360]
    37b72c07fmovss [rsp+716], x11
    37b72c089movss [rax], x13
    37b72c08emov eax, [rsp+208]
    37b72c095movss [r12], x13
    37b72c09bmov [rsp+708], eax
    37b72c0a2mov eax, [rsp+168]
    37b72c0a9mov [rsp+112], 1
    37b72c0b2mov [rsp+712], eax
    37b72c0b9mov rax, [rsp+1040]
    37b72c0c1mov [rsp+104], 1
    37b72c0camov [rsp+96], rax
    37b72c0cfmov rax, [rsp+256]
    37b72c0d7mov [rsp+40], r15
    37b72c0dcmov [rsp+88], rax
    37b72c0e1mov rax, [rsp+216]
    37b72c0e9mov [rsp+80], rax
    37b72c0eemov rax, [rsp+1024]
    37b72c0f6mov [rsp+72], rax
    37b72c0fbmov rax, [rsp+248]
    37b72c103add rax, [rsp+312]
    37b72c10blea rax, [rcx+4*rax]
    37b72c10flea rcx, [rip+0xd0a33a]
    37b72c116mov [rsp+64], rax
    37b72c11bmov rax, [rsp+1040]
    37b72c123mov [rsp+56], rax
    37b72c128mov rax, [rsp+200]
    37b72c130mov [rsp+48], rax
    37b72c135mov rax, [rsp+136]
    37b72c13dmov [rsp+32], rax
    37b72c142mov rdx, [rsp+384]
    37b72c14acall sgemm_
    37b72c14fadd r12, [rsp+176]
    37b72c157cmp rbx, [rsp+336]
    37b72c15fje 0x37b72c543
    37b72c165
    37b72c165loc_37b72c165:
    37b72c165movsxd rcx, [rbx]
    37b72c168mov eax, [rbx+4]
    37b72c16bmov r8, r15
    37b72c16emov [rsp+712], edi
    37b72c175mov [rsp+48], 1
    37b72c17emov [rsp+288], eax
    37b72c185sub eax, ecx
    37b72c187mov rbp, rcx
    37b72c18amov [rsp+208], eax
    37b72c191mov [rsp+716], eax
    37b72c198mov rax, [rsp+184]
    37b72c1a0mov [rsp+248], rcx
    37b72c1a8imul rax, rcx
    37b72c1acmov rcx, [rsp+192]
    37b72c1b4mov [rsp+296], rax
    37b72c1bclea rdx, [rax+rcx]
    37b72c1c0mov rax, [rsp+1032]
    37b72c1c8add rdx, [rsp+280]
    37b72c1d0mov rcx, [rsp+160]
    37b72c1d8lea r9, [rax+4*rdx]
    37b72c1dcmov rax, [rsp+152]
    37b72c1e4mov rdx, [rsp+136]
    37b72c1ecmov [rsp+256], r9
    37b72c1f4mov [rsp+40], rax
    37b72c1f9mov rax, [rsp+1040]
    37b72c201mov [rsp+32], rax
    37b72c206call slange_
    37b72c20bmov rax, [rsp+144]
    37b72c213movss x2, [r12]
    37b72c219movaps x3, x0
    37b72c21cmov r8, [rsp+224]
    37b72c224mov rdx, [rsp+232]
    37b72c22cmovss x1, [rax]
    37b72c230movaps x6, x2
    37b72c233mov rax, [rsp+328]
    37b72c23bmov rcx, [rsp+352]
    37b72c243minss x6, x1
    37b72c247movaps x0, x6
    37b72c24adivss x0, x2
    37b72c24emulss x0, x3
    37b72c252movss [rsp+684], x0
    37b72c25bmovaps x0, x6
    37b72c25edivss x0, x1
    37b72c262mulss x0, [rsp+700]
    37b72c26bmovss [rsp+700], x0
    37b72c274movss x0, [r12+4*rax]
    37b72c27amovss [rsp+680], x0
    37b72c283call slarmm_
    37b72c288movaps x13, x0
    37b72c28cmovaps x15, x0
    37b72c290movss [rsp+696], x0
    37b72c299mulss x13, x6
    37b72c29eucomiss x13, x14
    37b72c2a2jp 0x37b72c2aa
    37b72c2a4je 0x37b72c3f8
    37b72c2aa
    37b72c2aaloc_37b72c2aa:
    37b72c2aamovss x0, [rsp+684]
    37b72c2b3mov rax, [rsp+144]
    37b72c2bbmulss x0, x15
    37b72c2c0movss [rsp+684], x0
    37b72c2c9movss x0, [rsp+700]
    37b72c2d2mulss x0, x15
    37b72c2d7movss [rsp+700], x0
    37b72c2e0movaps x0, x6
    37b72c2e3divss x0, [rax]
    37b72c2e7mulss x0, x15
    37b72c2ecmovss [rsp+692], x0
    37b72c2f5ucomiss x0, x10
    37b72c2f9jp 0x37b72c301
    37b72c2fbje 0x37b72c030
    37b72c301
    37b72c301loc_37b72c301:
    37b72c301mov eax, [rsp+392]
    37b72c308mov ecx, [rsp+416]
    37b72c30fcmp eax, ecx
    37b72c311jge 0x37b72c030
    37b72c317mov r8, [rsp+472]
    37b72c31fmov [rsp+456], rbx
    37b72c327mov esi, ecx
    37b72c329mov [rsp+464], ebp
    37b72c330mov ebp, eax
    37b72c332mov rbx, r8
    37b72c335nop [rax+rax]
    37b72c340
    37b72c340loc_37b72c340:
    37b72c340mov r8, rbx
    37b72c343lea r9, [rip+0xd0a10e]
    37b72c34amov rcx, r15
    37b72c34dadd ebp, 1
    37b72c350lea rdx, [rsp+692]
    37b72c358mov [rsp+716], edi
    37b72c35fadd rbx, r13
    37b72c362call sscal_
    37b72c367cmp esi, ebp
    37b72c369jne 0x37b72c340
    37b72c36bmov rbx, [rsp+456]
    37b72c373mov ebp, [rsp+464]
    37b72c37ajmp 0x37b72c030
    37b72c37f
    37b72c37floc_37b72c37f:
    37b72c37fmov eax, [rsp+288]
    37b72c386cmp ebp, eax
    37b72c388jge 0x37b72c054
    37b72c38emov rcx, [rsp+1032]
    37b72c396mov rdx, [rsp+296]
    37b72c39emov [rsp+288], rbx
    37b72c3a6mov ebx, ebp
    37b72c3a8add rdx, [rsp+544]
    37b72c3b0mov ebp, eax
    37b72c3b2lea rsi, [rcx+4*rdx]
    37b72c3b6nop [rax+rax]
    37b72c3c0
    37b72c3c0loc_37b72c3c0:
    37b72c3c0mov r8, rsi
    37b72c3c3lea r9, [rip+0xd0a08e]
    37b72c3camov rcx, r15
    37b72c3cdadd ebx, 1
    37b72c3d0lea rdx, [rsp+692]
    37b72c3d8mov [rsp+716], edi
    37b72c3dfadd rsi, r13
    37b72c3e2call sscal_
    37b72c3e7cmp ebp, ebx
    37b72c3e9jne 0x37b72c3c0
    37b72c3ebmov rbx, [rsp+288]
    37b72c3f3jmp 0x37b72c054
    37b72c3f8
    37b72c3f8loc_37b72c3f8:
    37b72c3f8mov rdx, r15
    37b72c3fbcall fn_37c4308f0
    37b72c400mov edx, [rsp+716]
    37b72c407movaps x0, x9
    37b72c40bcall __powisf2
    37b72c410mov r14, [rsp+440]
    37b72c418mov eax, [rsp+408]
    37b72c41fmov [rsp+456], rbx
    37b72c427mulss x12, x0
    37b72c42cmov rcx, [rsp+448]
    37b72c434mov rsi, [rsp+176]
    37b72c43cmov [rsp+464], ebp
    37b72c443mov [rsp+632], edi
    37b72c44amov rbp, r14
    37b72c44dlea ebx, [rax+1]
    37b72c450mov r14, r13
    37b72c453mov [rsp+640], r12
    37b72c45blea rdi, [rcx-4]
    37b72c45fmov r12l, 1
    37b72c465nop [rax+rax]
    37b72c470
    37b72c470loc_37b72c470:
    37b72c470lea r13, [rdi+rbp]
    37b72c474nop
    37b72c475nop [rax+rax]
    37b72c480
    37b72c480loc_37b72c480:
    37b72c480mov rdx, r15
    37b72c483movaps x0, x15
    37b72c487movss x13, [r13]
    37b72c48dadd r13, 4
    37b72c491call fn_37c4308f0
    37b72c496mov edx, [rsp+716]
    37b72c49dmovaps x0, x9
    37b72c4a1call __powisf2
    37b72c4a6divss x13, x0
    37b72c4abminss x13, x7
    37b72c4b0movss [r13-4], x13
    37b72c4b6cmp r13, rbp
    37b72c4b9jne 0x37b72c480
    37b72c4bbadd r12l, 1
    37b72c4bflea rbp, [r13+rsi]
    37b72c4c4cmp ebx, r12l
    37b72c4c7jne 0x37b72c470
    37b72c4c9mov rdx, r15
    37b72c4ccmovaps x0, x15
    37b72c4d0mov rbx, [rsp+456]
    37b72c4d8mov ebp, [rsp+464]
    37b72c4dfmov edi, [rsp+632]
    37b72c4e6mov r12, [rsp+640]
    37b72c4eemov r13, r14
    37b72c4f1call fn_37c4308f0
    37b72c4f6mov edx, [rsp+716]
    37b72c4fdmovaps x0, x9
    37b72c501call __powisf2
    37b72c506mov rdx, r15
    37b72c509divss x6, x0
    37b72c50dmovaps x0, x15
    37b72c511call fn_37c4308f0
    37b72c516mov edx, [rsp+716]
    37b72c51dmovaps x0, x9
    37b72c521call __powisf2
    37b72c526divss x15, x0
    37b72c52bmovss [rsp+696], x15
    37b72c535movaps x13, x15
    37b72c539mulss x13, x6
    37b72c53ejmp 0x37b72c2aa
    37b72c543
    37b72c543loc_37b72c543:
    37b72c543sub [rsp+400], 1
    37b72c54cmov rax, [rsp+400]
    37b72c554mov rsi, [rsp+608]
    37b72c55cmovss x13, [rsp+624]
    37b72c566add [rsp+144], rsi
    37b72c56emov rsi, [rsp+376]
    37b72c576add [rsp+304], rsi
    37b72c57etest eax, eax
    37b72c580jne 0x37b72b701
    37b72c586
    37b72c586loc_37b72c586:
    37b72c586mov r8, [rsp+424]
    37b72c58emov r9l, [rsp+408]
    37b72c596mov rcx, [rsp+504]
    37b72c59emov ebx, [rsp+512]
    37b72c5a5sub r8, 1
    37b72c5a9mov rsi, [rsp+520]
    37b72c5b1mov rbp, [rsp+528]
    37b72c5b9mov rdi, [rsp+536]
    37b72c5c1mov r11, [rsp+1056]
    37b72c5c9test r8l, r8l
    37b72c5ccje 0x37b72c8cb
    37b72c5d2sub rcx, 4
    37b72c5d6jmp 0x37b72b5f8
    37b72c5db
    37b72c5dbloc_37b72c5db:
    37b72c5dbucomiss x15, x1
    37b72c5dfjp 0x37b72c698
    37b72c5e5jne 0x37b72c698
    37b72c5ebpxor x12, x12
    37b72c5f0movaps x14, x8
    37b72c5f4
    37b72c5f4loc_37b72c5f4:
    37b72c5f4mov eax, [rsp+408]
    37b72c5fbmov r14, [rsp+440]
    37b72c603mov ebx, 1
    37b72c608add eax, 1
    37b72c60bmov [rsp+208], eax
    37b72c612mov rax, [rsp+448]
    37b72c61alea rbp, [rax-4]
    37b72c61emov rsi, rbp
    37b72c621
    37b72c621loc_37b72c621:
    37b72c621lea r12, [rsi+r14]
    37b72c625nop [rax+rax]
    37b72c630
    37b72c630loc_37b72c630:
    37b72c630mov rdx, r15
    37b72c633movaps x0, x15
    37b72c637movss x6, [r12]
    37b72c63dadd r12, 4
    37b72c641call fn_37c4308f0
    37b72c646mov edx, [rsp+716]
    37b72c64dmovaps x0, x14
    37b72c651call __powisf2
    37b72c656divss x6, x0
    37b72c65aminss x6, x7
    37b72c65emovss [r12-4], x6
    37b72c665cmp r12, r14
    37b72c668jne 0x37b72c630
    37b72c66amov rax, [rsp+176]
    37b72c672add ebx, 1
    37b72c675lea r14, [r12+rax]
    37b72c679cmp ebx, [rsp+208]
    37b72c680jne 0x37b72c621
    37b72c682mov rax, [rsp+144]
    37b72c68amovss x0, [rax]
    37b72c68emulss x0, x15
    37b72c693jmp 0x37b72b887
    37b72c698
    37b72c698loc_37b72c698:
    37b72c698mov rdx, r15
    37b72c69bmovaps x0, x15
    37b72c69fcall fn_37c4308f0
    37b72c6a4mov edx, [rsp+716]
    37b72c6abmovss x14, [rip+0xd09dc8]
    37b72c6b4movaps x0, x14
    37b72c6b8call __powisf2
    37b72c6bdmulss x12, x0
    37b72c6c2jmp 0x37b72c5f4
    37b72c6c7
    37b72c6c7loc_37b72c6c7:
    37b72c6c7cmp [rsp+144], 1
    37b72c6cfje 0x37b72c6ef
    37b72c6d1xor ebx, ebx
    37b72c6d3cmp [rsp+160], 0
    37b72c6dbjne 0x37b72c7b9
    37b72c6e1cmp [rsp+144], 0
    37b72c6e9je 0x37b72c7b9
    37b72c6ef
    37b72c6efloc_37b72c6ef:
    37b72c6efxor r11l, r11l
    37b72c6f2xor ebx, ebx
    37b72c6f4cmp [rsp+160], 1
    37b72c6fcje 0x37b72c70c
    37b72c6fecmp [rsp+144], 0
    37b72c706jne 0x37b72c7b9
    37b72c70c
    37b72c70cloc_37b72c70c:
    37b72c70cmov rax, [rsp+1072]
    37b72c714mov edx, [rsp+436]
    37b72c71bmovss x0, [rax]
    37b72c71fmov rax, [rsp+1048]
    37b72c727movss [rax], x0
    37b72c72btest edx, edx
    37b72c72dje 0x37b72c7e8
    37b72c733mov rax, [rsp+376]
    37b72c73bmovaps x12, x10
    37b72c73fadd ebx, 2
    37b72c742lea rax, [4*rax]
    37b72c74amov [rsp+176], rax
    37b72c752jmp 0x37b728112
    37b72c757
    37b72c757loc_37b72c757:
    37b72c757mov eax, r9l
    37b72c75alea r11l, [r9-1]
    37b72c75esub eax, 1
    37b72c761je 0x37b7280db
    37b72c767sub r9, 2
    37b72c76bmov r11l, r9l
    37b72c76etest r9l, r9l
    37b72c771jne 0x37b72c757
    37b72c773jmp 0x37b7280db
    37b72c778
    37b72c778loc_37b72c778:
    37b72c778mov edx, [rsp+384]
    37b72c77fmov eax, 1
    37b72c784
    37b72c784loc_37b72c784:
    37b72c784lea ecx, [rax+1]
    37b72c787cmp ecx, edx
    37b72c789je 0x37b72c792
    37b72c78badd eax, 2
    37b72c78ecmp eax, edx
    37b72c790jne 0x37b72c784
    37b72c792
    37b72c792loc_37b72c792:
    37b72c792mov ebx, r11l
    37b72c795jmp 0x37b727581
    37b72c79a
    37b72c79aloc_37b72c79a:
    37b72c79amov eax, [rsp+436]
    37b72c7a1test eax, eax
    37b72c7a3jne 0x37b7272af
    37b72c7a9cmp [rsp+216], 0
    37b72c7b1je 0x37b72c6c7
    37b72c7b7xor ebx, ebx
    37b72c7b9
    37b72c7b9loc_37b72c7b9:
    37b72c7b9mov rax, [rsp+1072]
    37b72c7c1pxor x1, x1
    37b72c7c5movss x0, [rax]
    37b72c7c9mov rax, [rsp+1048]
    37b72c7d1ucomiss x0, x1
    37b72c7d4movss [rax], x0
    37b72c7d8jp 0x37b72c7f1
    37b72c7da
    37b72c7daloc_37b72c7da:
    37b72c7dalea ebx, [rbx+2]
    37b72c7ddjne 0x37b728543
    37b72c7e3jmp 0x37b72854f
    37b72c7e8
    37b72c7e8loc_37b72c7e8:
    37b72c7e8pxor x1, x1
    37b72c7ecucomiss x0, x1
    37b72c7efjnp 0x37b72c7da
    37b72c7f1
    37b72c7f1loc_37b72c7f1:
    37b72c7f1add ebx, 2
    37b72c7f4jmp 0x37b728543
    37b72c7f9
    37b72c7f9loc_37b72c7f9:
    37b72c7f9mov eax, 1
    37b72c7felea rdx, [rax+1]
    37b72c802cmp r12, rdx
    37b72c805je 0x37b7280db
    37b72c80b
    37b72c80bloc_37b72c80b:
    37b72c80bcmp rcx, rax
    37b72c80eje 0x37b7280db
    37b72c814add rax, 2
    37b72c818lea rdx, [rax+1]
    37b72c81ccmp r12, rdx
    37b72c81fjne 0x37b72c80b
    37b72c821jmp 0x37b7280db
    37b72c826
    37b72c826 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72c830
    37b72c830loc_37b72c830:
    37b72c830mov ebx, [rsp+584]
    37b72c837mov r11l, r9l
    37b72c83amovss x13, [rsp+608]
    37b72c844add ebx, 2
    37b72c847jmp 0x37b7280fa
    37b72c84c
    37b72c84cloc_37b72c84c:
    37b72c84cmov eax, 1
    37b72c851
    37b72c851loc_37b72c851:
    37b72c851lea rdx, [rax+1]
    37b72c855cmp r10, rdx
    37b72c858je 0x37b72848f
    37b72c85eadd rax, 2
    37b72c862cmp rax, r10
    37b72c865jne 0x37b72c851
    37b72c867jmp 0x37b72848f
    37b72c86c
    37b72c86cloc_37b72c86c:
    37b72c86cmulss x0, x12
    37b72c871jmp 0x37b728543
    37b72c876
    37b72c876loc_37b72c876:
    37b72c876mulss x1, x12
    37b72c87bmovaps x0, x1
    37b72c87ejmp 0x37b728543
    37b72c883
    37b72c883loc_37b72c883:
    37b72c883mov eax, 1
    37b72c888
    37b72c888loc_37b72c888:
    37b72c888lea rdx, [rax+1]
    37b72c88ccmp rsi, rdx
    37b72c88fje 0x37b72c89a
    37b72c891add rax, 2
    37b72c895cmp rax, rsi
    37b72c898jne 0x37b72c888
    37b72c89a
    37b72c89aloc_37b72c89a:
    37b72c89amov rax, [rsp+1048]
    37b72c8a2movss x1, [rax]
    37b72c8a6jmp 0x37b7283b0
    37b72c8ab
    37b72c8abloc_37b72c8ab:
    37b72c8abmov eax, 1
    37b72c8b0
    37b72c8b0loc_37b72c8b0:
    37b72c8b0lea rcx, [rax+1]
    37b72c8b4cmp rsi, rcx
    37b72c8b7je 0x37b728192
    37b72c8bdadd rax, 2
    37b72c8c1cmp rsi, rax
    37b72c8c4jne 0x37b72c8b0
    37b72c8c6jmp 0x37b728192
    37b72c8cb
    37b72c8cbloc_37b72c8cb:
    37b72c8cbmov r11l, r9l
    37b72c8ceadd ebx, 2
    37b72c8d1jmp 0x37b7280fa
    37b72c8d6
    37b72c8d6loc_37b72c8d6:
    37b72c8d6mov eax, 1
    37b72c8dblea rdx, [rax+1]
    37b72c8dfcmp r10, rdx
    37b72c8e2je 0x37b7280db
    37b72c8e8
    37b72c8e8loc_37b72c8e8:
    37b72c8e8cmp rcx, rax
    37b72c8ebje 0x37b7280db
    37b72c8f1add rax, 2
    37b72c8f5lea rdx, [rax+1]
    37b72c8f9cmp r10, rdx
    37b72c8fcjne 0x37b72c8e8
    37b72c8fejmp 0x37b7280db
    37b726880
    37b72c903
    37b72c903 // align 0x20
    37b72c920
    37b72c920strti2_:
    37b72c920push r15
    37b72c922push r14
    37b72c924push r13
    37b72c926push r12
    37b72c928push rbp
    37b72c929push rdi
    37b72c92apush rsi
    37b72c92bpush rbx
    37b72c92csub rsp, 168
    37b72c933movups [rsp+144], x6
    37b72c93bmov r12, [rsp+280]
    37b72c943mov rax, [rsp+272]
    37b72c94bmov [r12], 0
    37b72c953mov esi, [rax]
    37b72c955mov [rsp+248], rdx
    37b72c95dmov rdi, r8
    37b72c960lea rdx, [rip+0xd09b39]
    37b72c967mov rbp, r9
    37b72c96amov r8l, 1
    37b72c970mov r9l, 1
    37b72c976mov rbx, rcx
    37b72c979call lsame_
    37b72c97emov rcx, [rsp+248]
    37b72c986mov r9l, 1
    37b72c98cmov r8l, 1
    37b72c992lea rdx, [rip+0xd09b08]
    37b72c999mov r13l, eax
    37b72c99ccall lsame_
    37b72c9a1mov r15l, eax
    37b72c9a4test r13l, r13l
    37b72c9a7je 0x37b72ccd0
    37b72c9ad
    37b72c9adloc_37b72c9ad:
    37b72c9adtest r15l, r15l
    37b72c9b0je 0x37b72cd08
    37b72c9b6
    37b72c9b6loc_37b72c9b6:
    37b72c9b6mov ebx, [rdi]
    37b72c9b8test ebx, ebx
    37b72c9bajs 0x37b72ca20
    37b72c9bcmov rcx, [rsp+272]
    37b72c9c4mov eax, 1
    37b72c9c9cmovg eax, ebx
    37b72c9cccmp [rcx], eax
    37b72c9cejge 0x37b72ca30
    37b72c9d0mov eax, -5
    37b72c9d5mov edx, 5
    37b72c9da
    37b72c9daloc_37b72c9da:
    37b72c9damov [r12], eax
    37b72c9de
    37b72c9deloc_37b72c9de:
    37b72c9demov [rsp+140], edx
    37b72c9e5mov r8l, 6
    37b72c9eblea rdx, [rsp+140]
    37b72c9f3lea rcx, [rip+0xd09aa9]
    37b72c9facall xerbla_
    37b72c9ffnop
    37b72ca00
    37b72ca00loc_37b72ca00:
    37b72ca00movups x6, [rsp+144]
    37b72ca08add rsp, 168
    37b72ca0fpop rbx
    37b72ca10pop rsi
    37b72ca11pop rdi
    37b72ca12pop rbp
    37b72ca13pop r12
    37b72ca15pop r13
    37b72ca17pop r14
    37b72ca19pop r15
    37b72ca1bret
    37b72ca1c
    37b72ca1c 0f 1f 40 00 ..@.
    37b72ca20
    37b72ca20loc_37b72ca20:
    37b72ca20mov eax, -3
    37b72ca25mov edx, 3
    37b72ca2ajmp 0x37b72c9da
    37b72ca2c
    37b72ca2c 0f 1f 40 00 ..@.
    37b72ca30
    37b72ca30loc_37b72ca30:
    37b72ca30movsxd rax, esi
    37b72ca33xor edx, edx
    37b72ca35test rax, rax
    37b72ca38cmovs rax, rdx
    37b72ca3cmov edx, [r12]
    37b72ca40test edx, edx
    37b72ca42jne 0x37b72cd3f
    37b72ca48test r13l, r13l
    37b72ca4bje 0x37b72cb70
    37b72ca51test ebx, ebx
    37b72ca53je 0x37b72ca00
    37b72ca55lea rcx, [rsp+136]
    37b72ca5dmov [rsp+124], ebx
    37b72ca61mov rdi, rbp
    37b72ca64lea rsi, [4*rax+4]
    37b72ca6cmov [rsp+112], rcx
    37b72ca71movss x6, [rip+0xd09a4f]
    37b72ca79lea r14, [rbp-4]
    37b72ca7dmov r13l, 1
    37b72ca83mov [rsp+104], rsi
    37b72ca88lea rsi, [4*rax]
    37b72ca90
    37b72ca90loc_37b72ca90:
    37b72ca90movaps x0, x6
    37b72ca93test r15l, r15l
    37b72ca96je 0x37b72cab3
    37b72ca98movss x0, [rip+0xd09a2c]
    37b72caa0divss x0, [r14+4]
    37b72caa6movss [r14+4], x0
    37b72caacxorps x0, [rip+0xd09a1d]
    37b72cab3
    37b72cab3loc_37b72cab3:
    37b72cab3lea rax, [rip+0xd09a02]
    37b72cabamov [rsp+48], rdi
    37b72cabfmov r8, [rsp+248]
    37b72cac7lea ebx, [r13-1]
    37b72cacbmov [rsp+56], rax
    37b72cad0lea rdx, [rip+0xd099d2]
    37b72cad7mov rax, [rsp+272]
    37b72cadflea r9, [rsp+140]
    37b72cae7mov [rsp+32], rbp
    37b72caeclea rcx, [rip+0xd099c2]
    37b72caf3add r13l, 1
    37b72caf7mov [rsp+40], rax
    37b72cafcmov [rsp+80], 1
    37b72cb05mov [rsp+72], 12
    37b72cb0emov [rsp+64], 5
    37b72cb17movss [rsp+136], x0
    37b72cb20mov [rsp+140], ebx
    37b72cb27call strmv_
    37b72cb2cmov rdx, [rsp+112]
    37b72cb31mov r8, rdi
    37b72cb34lea r9, [rip+0xd09981]
    37b72cb3blea rcx, [rsp+140]
    37b72cb43mov [rsp+140], ebx
    37b72cb4aadd rdi, rsi
    37b72cb4dcall sscal_
    37b72cb52add r14, [rsp+104]
    37b72cb57cmp [rsp+124], r13l
    37b72cb5cjge 0x37b72ca90
    37b72cb62jmp 0x37b72ca00
    37b72cb67
    37b72cb67 66 0f 1f 84 00 00 00 00 00 f........
    37b72cb70
    37b72cb70loc_37b72cb70:
    37b72cb70test ebx, ebx
    37b72cb72je 0x37b72ca00
    37b72cb78movsxd r8, ebx
    37b72cb7blea rdx, [rax+1]
    37b72cb7fmov r13, rax
    37b72cb82mov rcx, rax
    37b72cb85imul rdx, r8
    37b72cb89not rcx
    37b72cb8cmov rsi, rax
    37b72cb8fmov r11, rbp
    37b72cb92imul r13, r8
    37b72cb96mov [rsp+112], rcx
    37b72cb9bmovss x6, [rip+0xd09925]
    37b72cba3lea r14, [4*rcx]
    37b72cbabadd rdx, rcx
    37b72cbaelea r12, [rbp+4*rdx]
    37b72cbb3add r13, rcx
    37b72cbb6mov edx, ebx
    37b72cbb8jmp 0x37b72cbd1
    37b72cbba
    37b72cbba 66 0f 1f 44 00 00 f..D..
    37b72cbc0
    37b72cbc0loc_37b72cbc0:
    37b72cbc0sub ebx, 1
    37b72cbc3je 0x37b72ca00
    37b72cbc9mov edx, [rdi]
    37b72cbcbsub r13, rsi
    37b72cbceadd r12, r14
    37b72cbd1
    37b72cbd1loc_37b72cbd1:
    37b72cbd1movaps x0, x6
    37b72cbd4test r15l, r15l
    37b72cbd7je 0x37b72cbf4
    37b72cbd9movss x0, [rip+0xd098eb]
    37b72cbe1divss x0, [r12]
    37b72cbe7movss [r12], x0
    37b72cbedxorps x0, [rip+0xd098dc]
    37b72cbf4
    37b72cbf4loc_37b72cbf4:
    37b72cbf4movss [rsp+136], x0
    37b72cbfdcmp ebx, edx
    37b72cbffjge 0x37b72cbc0
    37b72cc01sub edx, ebx
    37b72cc03lea ecx, [rbx+1]
    37b72cc06mov [rsp+80], 1
    37b72cc0fmov r8, [rsp+248]
    37b72cc17mov [rsp+140], edx
    37b72cc1elea rdx, [rip+0xd09897]
    37b72cc25lea rax, [r13+rcx]
    37b72cc2amov [rsp+56], rdx
    37b72cc2fmov rdx, rcx
    37b72cc32lea rax, [r11+4*rax]
    37b72cc36lea rbp, [rsp+140]
    37b72cc3eimul rdx, rsi
    37b72cc42add rdx, [rsp+112]
    37b72cc47mov r9, rbp
    37b72cc4amov [rsp+48], rax
    37b72cc4fmov [rsp+104], rax
    37b72cc54add rdx, rcx
    37b72cc57mov rax, [rsp+272]
    37b72cc5flea rcx, [rip+0xd0985a]
    37b72cc66lea rdx, [r11+4*rdx]
    37b72cc6amov [rsp+264], r11
    37b72cc72mov [rsp+40], rax
    37b72cc77mov [rsp+32], rdx
    37b72cc7clea rdx, [rip+0xd09826]
    37b72cc83mov [rsp+72], 12
    37b72cc8cmov [rsp+64], 5
    37b72cc95call strmv_
    37b72cc9amov edx, [rdi]
    37b72cc9cmov r8, [rsp+104]
    37b72cca1mov rcx, rbp
    37b72cca4lea r9, [rip+0xd09811]
    37b72ccabsub edx, ebx
    37b72ccadmov [rsp+140], edx
    37b72ccb4lea rdx, [rsp+136]
    37b72ccbccall sscal_
    37b72ccc1mov r11, [rsp+264]
    37b72ccc9jmp 0x37b72cbc0
    37b72ccce
    37b72ccce 66 90 f.
    37b72ccd0
    37b72ccd0loc_37b72ccd0:
    37b72ccd0mov r9l, 1
    37b72ccd6mov r8l, 1
    37b72ccdclea rdx, [rip+0xd097bf]
    37b72cce3mov rcx, rbx
    37b72cce6call lsame_
    37b72ccebtest eax, eax
    37b72ccedjne 0x37b72c9ad
    37b72ccf3mov [r12], -1
    37b72ccfbmov edx, 1
    37b72cd00jmp 0x37b72c9de
    37b72cd05
    37b72cd05 0f 1f 00 ...
    37b72cd08
    37b72cd08loc_37b72cd08:
    37b72cd08mov rcx, [rsp+248]
    37b72cd10mov r9l, 1
    37b72cd16mov r8l, 1
    37b72cd1clea rdx, [rip+0xd0977d]
    37b72cd23call lsame_
    37b72cd28test eax, eax
    37b72cd2ajne 0x37b72c9b6
    37b72cd30mov eax, -2
    37b72cd35mov edx, 2
    37b72cd3ajmp 0x37b72c9da
    37b72cd3f
    37b72cd3floc_37b72cd3f:
    37b72cd3fneg edx
    37b72cd41jmp 0x37b72c9de
    37b72c920
    37b72cd46
    37b72cd46 // align 0x10
    37b72cd50
    37b72cd50strtri_:
    37b72cd50push r15
    37b72cd52push r14
    37b72cd54push r13
    37b72cd56push r12
    37b72cd58push rbp
    37b72cd59push rdi
    37b72cd5apush rsi
    37b72cd5bpush rbx
    37b72cd5csub rsp, 216
    37b72cd63mov rbx, [rsp+328]
    37b72cd6bmov rdi, [rsp+320]
    37b72cd73mov [rbx], 0
    37b72cd79mov r12l, [rdi]
    37b72cd7cmov rsi, rdx
    37b72cd7fmov rbp, r8
    37b72cd82lea rdx, [rip+0xd09757]
    37b72cd89mov r13, r9
    37b72cd8cmov r8l, 1
    37b72cd92mov r9l, 1
    37b72cd98mov r14, rcx
    37b72cd9bcall lsame_
    37b72cda0mov r9l, 1
    37b72cda6mov r8l, 1
    37b72cdacmov rcx, rsi
    37b72cdaflea rdx, [rip+0xd0972b]
    37b72cdb6mov r15l, eax
    37b72cdb9call lsame_
    37b72cdbemov r11l, eax
    37b72cdc1test r15l, r15l
    37b72cdc4je 0x37b72d188
    37b72cdca
    37b72cdcaloc_37b72cdca:
    37b72cdcatest r11l, r11l
    37b72cdcdje 0x37b72d1d0
    37b72cdd3
    37b72cdd3loc_37b72cdd3:
    37b72cdd3mov ecx, [rbp]
    37b72cdd6test ecx, ecx
    37b72cdd8js 0x37b72ce30
    37b72cddamov eax, 1
    37b72cddfcmovg eax, ecx
    37b72cde2cmp [rdi], eax
    37b72cde4jge 0x37b72ce40
    37b72cde6mov edx, -5
    37b72cdebmov eax, 5
    37b72cdf0
    37b72cdf0loc_37b72cdf0:
    37b72cdf0mov [rbx], edx
    37b72cdf2
    37b72cdf2loc_37b72cdf2:
    37b72cdf2lea rdx, [rsp+204]
    37b72cdfamov r8l, 6
    37b72ce00lea rcx, [rip+0xd096dc]
    37b72ce07mov [rsp+204], eax
    37b72ce0ecall xerbla_
    37b72ce13nop
    37b72ce14
    37b72ce14loc_37b72ce14:
    37b72ce14add rsp, 216
    37b72ce1bpop rbx
    37b72ce1cpop rsi
    37b72ce1dpop rdi
    37b72ce1epop rbp
    37b72ce1fpop r12
    37b72ce21pop r13
    37b72ce23pop r14
    37b72ce25pop r15
    37b72ce27ret
    37b72ce28
    37b72ce28 0f 1f 84 00 00 00 00 00 ........
    37b72ce30
    37b72ce30loc_37b72ce30:
    37b72ce30mov edx, -3
    37b72ce35mov eax, 3
    37b72ce3ajmp 0x37b72cdf0
    37b72ce3c
    37b72ce3c 0f 1f 40 00 ..@.
    37b72ce40
    37b72ce40loc_37b72ce40:
    37b72ce40mov eax, [rbx]
    37b72ce42test eax, eax
    37b72ce44jne 0x37b72d4c0
    37b72ce4atest ecx, ecx
    37b72ce4cje 0x37b72ce14
    37b72ce4emovsxd r10, r12l
    37b72ce51xor eax, eax
    37b72ce53test r10, r10
    37b72ce56cmovs r10, rax
    37b72ce5atest r11l, r11l
    37b72ce5dje 0x37b72ceae
    37b72ce5fmov [rbx], 1
    37b72ce65lea rdx, [r13-4]
    37b72ce69mov eax, 1
    37b72ce6elea r8, [4*r10+4]
    37b72ce76pxor x0, x0
    37b72ce7ajmp 0x37b72ce90
    37b72ce7c
    37b72ce7cloc_37b72ce7c:
    37b72ce7cadd eax, 1
    37b72ce7fadd rdx, r8
    37b72ce82mov [rbx], eax
    37b72ce84cmp ecx, eax
    37b72ce86jl 0x37b72cea8
    37b72ce88nop [rax+rax]
    37b72ce90
    37b72ce90loc_37b72ce90:
    37b72ce90ucomiss x0, [rdx+4]
    37b72ce94jp 0x37b72ce7c
    37b72ce96je 0x37b72ce14
    37b72ce9cadd eax, 1
    37b72ce9fadd rdx, r8
    37b72cea2mov [rbx], eax
    37b72cea4cmp ecx, eax
    37b72cea6jge 0x37b72ce90
    37b72cea8
    37b72cea8loc_37b72cea8:
    37b72cea8mov [rbx], 0
    37b72ceae
    37b72ceaeloc_37b72ceae:
    37b72ceaemov [rsp+40], rsi
    37b72ceb3lea r12, [rsp+204]
    37b72cebbmov r9, r14
    37b72cebemov ecx, 2
    37b72cec3mov [rsp+32], 1
    37b72ceccmov rdx, r12
    37b72cecfmov r8l, 1
    37b72ced5mov [rsp+144], r10
    37b72ceddmov [rsp+136], r12
    37b72cee5call _gfortran_concat_string
    37b72ceealea rax, [rip+0xd095ff]
    37b72cef1mov r8, r12
    37b72cef4mov [rsp+64], 2
    37b72cefdmov [rsp+48], rax
    37b72cf02mov r9, rbp
    37b72cf05lea rdx, [rip+0xd095d7]
    37b72cf0clea rcx, [rip+0xd095d9]
    37b72cf13mov [rsp+56], 6
    37b72cf1cmov [rsp+40], rax
    37b72cf21mov [rsp+32], rax
    37b72cf26call ilaenv_
    37b72cf2bmov r12l, eax
    37b72cf2ecmp eax, 1
    37b72cf31jle 0x37b72d150
    37b72cf37mov ecx, [rbp]
    37b72cf3amov r10, [rsp+144]
    37b72cf42cmp ecx, eax
    37b72cf44jle 0x37b72d150
    37b72cf4atest r15l, r15l
    37b72cf4dje 0x37b72d218
    37b72cf53lea eax, [rcx-1]
    37b72cf56xor edx, edx
    37b72cf58mov r8, r10
    37b72cf5badd r10, 1
    37b72cf5fmov [rsp+304], rbp
    37b72cf67mov r14, r13
    37b72cf6amov r15, r13
    37b72cf6dmov ebp, 1
    37b72cf72div r12l
    37b72cf75mov [rsp+312], r13
    37b72cf7dmov [rsp+328], rbx
    37b72cf85movsxd rdx, r12l
    37b72cf88mov ebx, r12l
    37b72cf8blea r13, [rsp+200]
    37b72cf93imul r8, rdx
    37b72cf97imul r10, rdx
    37b72cf9blea r11, [4*r8]
    37b72cfa3lea rdx, [4*r10]
    37b72cfabmov [rsp+160], r11
    37b72cfb3mov [rsp+152], rdx
    37b72cfbbmov r12l, eax
    37b72cfbejmp 0x37b72cfe0
    37b72cfc0
    37b72cfc0loc_37b72cfc0:
    37b72cfc0mov rax, [rsp+304]
    37b72cfc8add r14, [rsp+160]
    37b72cfd0add ebp, ebx
    37b72cfd2sub r12l, 1
    37b72cfd6add r15, [rsp+152]
    37b72cfdemov ecx, [rax]
    37b72cfe0
    37b72cfe0loc_37b72cfe0:
    37b72cfe0sub ecx, ebp
    37b72cfe2mov [rsp+80], rdi
    37b72cfe7lea r10l, [rbp-1]
    37b72cfebmov r9, rsi
    37b72cfeemov rax, [rsp+312]
    37b72cff6add ecx, 1
    37b72cff9mov [rsp+112], 1
    37b72d002lea r8, [rip+0xd094eb]
    37b72d009cmp ecx, ebx
    37b72d00bmov [rsp+72], r14
    37b72d010lea rdx, [rip+0xd094e9]
    37b72d017mov [rsp+56], rax
    37b72d01clea rax, [rip+0xd094e9]
    37b72d023cmovg ecx, ebx
    37b72d026mov [rsp+48], rax
    37b72d02bmov rax, [rsp+136]
    37b72d033mov [rsp+104], 12
    37b72d03cmov [rsp+32], rax
    37b72d041mov [rsp+96], 5
    37b72d04amov [rsp+88], 4
    37b72d053mov [rsp+64], rdi
    37b72d058mov [rsp+40], r13
    37b72d05dmov [rsp+200], ecx
    37b72d064lea rcx, [rip+0xd0949a]
    37b72d06bmov [rsp+204], r10l
    37b72d073mov [rsp+144], r10l
    37b72d07bcall strmm_
    37b72d080mov rax, [rsp+136]
    37b72d088mov [rsp+80], rdi
    37b72d08dlea rdx, [rip+0xd09484]
    37b72d094mov [rsp+48], rdx
    37b72d099mov r9, rsi
    37b72d09cmov r10l, [rsp+144]
    37b72d0a4lea r8, [rip+0xd09449]
    37b72d0abmov [rsp+32], rax
    37b72d0b0lea rdx, [rip+0xd09449]
    37b72d0b7lea rcx, [rip+0xd09452]
    37b72d0bemov [rsp+112], 1
    37b72d0c7mov [rsp+104], 12
    37b72d0d0mov [rsp+96], 5
    37b72d0d9mov [rsp+88], 5
    37b72d0e2mov [rsp+72], r14
    37b72d0e7mov [rsp+64], rdi
    37b72d0ecmov [rsp+56], r15
    37b72d0f1mov [rsp+40], r13
    37b72d0f6mov [rsp+204], r10l
    37b72d0fecall strsm_
    37b72d103mov [rsp+32], rdi
    37b72d108mov r9, r15
    37b72d10bmov r8, r13
    37b72d10emov rax, [rsp+328]
    37b72d116mov rdx, rsi
    37b72d119lea rcx, [rip+0xd093e0]
    37b72d120mov [rsp+56], 1
    37b72d129mov [rsp+48], 5
    37b72d132mov [rsp+40], rax
    37b72d137call strti2_
    37b72d13ctest r12l, r12l
    37b72d13fjne 0x37b72cfc0
    37b72d145jmp 0x37b72ce14
    37b72d14a
    37b72d14a 66 0f 1f 44 00 00 f..D..
    37b72d150
    37b72d150loc_37b72d150:
    37b72d150mov [rsp+40], rbx
    37b72d155mov r9, r13
    37b72d158mov r8, rbp
    37b72d15bmov rdx, rsi
    37b72d15emov [rsp+56], 1
    37b72d167mov rcx, r14
    37b72d16amov [rsp+48], 1
    37b72d173mov [rsp+32], rdi
    37b72d178call strti2_
    37b72d17djmp 0x37b72ce14
    37b72d182
    37b72d182 66 0f 1f 44 00 00 f..D..
    37b72d188
    37b72d188loc_37b72d188:
    37b72d188mov r9l, 1
    37b72d18emov r8l, 1
    37b72d194mov rcx, r14
    37b72d197mov [rsp+136], eax
    37b72d19elea rdx, [rip+0xd0933d]
    37b72d1a5call lsame_
    37b72d1aamov r11l, [rsp+136]
    37b72d1b2test eax, eax
    37b72d1b4jne 0x37b72cdca
    37b72d1bamov edx, -1
    37b72d1bfmov eax, 1
    37b72d1c4jmp 0x37b72cdf0
    37b72d1c9
    37b72d1c9 0f 1f 80 00 00 00 00 .......
    37b72d1d0
    37b72d1d0loc_37b72d1d0:
    37b72d1d0mov r9l, 1
    37b72d1d6mov r8l, 1
    37b72d1dcmov rcx, rsi
    37b72d1dfmov [rsp+136], r11l
    37b72d1e7lea rdx, [rip+0xd092f2]
    37b72d1eecall lsame_
    37b72d1f3mov r11l, [rsp+136]
    37b72d1fbtest eax, eax
    37b72d1fdjne 0x37b72cdd3
    37b72d203mov [rbx], -2
    37b72d209mov eax, 2
    37b72d20ejmp 0x37b72cdf2
    37b72d213
    37b72d213 0f 1f 44 00 00 ..D..
    37b72d218
    37b72d218loc_37b72d218:
    37b72d218lea r9l, [rcx-1]
    37b72d21cmov r8, r10
    37b72d21fmov [rsp+312], r13
    37b72d227mov eax, r9l
    37b72d22anot r8
    37b72d22dmov [rsp+328], rbx
    37b72d235cdq
    37b72d236mov [rsp+168], r10
    37b72d23eidiv r12l
    37b72d241mov [rsp+176], r8
    37b72d249sub r9l, edx
    37b72d24cxor edx, edx
    37b72d24emov eax, r9l
    37b72d251lea r15l, [r9+1]
    37b72d255movsxd r9, r9l
    37b72d258div r12l
    37b72d25bmov edx, r12l
    37b72d25eadd r9, r8
    37b72d261neg edx
    37b72d263movsxd rdx, edx
    37b72d266mov [rsp+188], eax
    37b72d26dlea rax, [r10+1]
    37b72d271mov ebx, [rsp+188]
    37b72d278imul rax, rdx
    37b72d27cimul rdx, r10
    37b72d280lea r11, [4*rax]
    37b72d288movsxd rax, r15l
    37b72d28bimul rax, r10
    37b72d28fmov [rsp+152], r11
    37b72d297lea r11, [rsp+200]
    37b72d29fmov [rsp+160], rdx
    37b72d2a7mov [rsp+144], r11
    37b72d2afadd r9, rax
    37b72d2b2lea r14, [r13+4*r9+4]
    37b72d2b7mov r13l, r12l
    37b72d2bamov r12, rbp
    37b72d2bdmov rbp, rsi
    37b72d2c0lea rsi, [r8+rax]
    37b72d2c4jmp 0x37b72d330
    37b72d2c6
    37b72d2c6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72d2d0
    37b72d2d0loc_37b72d2d0:
    37b72d2d0mov rax, [rsp+328]
    37b72d2d8mov [rsp+32], rdi
    37b72d2ddmov r9, r14
    37b72d2e0mov rdx, rbp
    37b72d2e3mov [rsp+56], 1
    37b72d2ecmov r8, [rsp+144]
    37b72d2f4lea rcx, [rip+0xd09221]
    37b72d2fbmov [rsp+48], 5
    37b72d304mov [rsp+40], rax
    37b72d309call strti2_
    37b72d30etest ebx, ebx
    37b72d310je 0x37b72ce14
    37b72d316mov ecx, [r12]
    37b72d31aadd r14, [rsp+152]
    37b72d322sub r15l, r13l
    37b72d325sub ebx, 1
    37b72d328add rsi, [rsp+160]
    37b72d330
    37b72d330loc_37b72d330:
    37b72d330mov r8l, ecx
    37b72d333sub r8l, r15l
    37b72d336lea eax, [r8+1]
    37b72d33acmp eax, r13l
    37b72d33dcmovg eax, r13l
    37b72d341lea edx, [r15+rax]
    37b72d345mov [rsp+200], eax
    37b72d34ccmp edx, ecx
    37b72d34ejg 0x37b72d2d0
    37b72d350movsxd rdx, edx
    37b72d353sub r8l, eax
    37b72d356mov [rsp+80], rdi
    37b72d35bmov r9, rbp
    37b72d35emov rcx, [rsp+312]
    37b72d366lea rax, [rdx+rsi]
    37b72d36amov [rsp+112], 1
    37b72d373add r8l, 1
    37b72d377mov [rsp+104], 12
    37b72d380lea rax, [rcx+4*rax]
    37b72d384mov [rsp+64], rdi
    37b72d389lea rcx, [rip+0xd09175]
    37b72d390mov [rsp+72], rax
    37b72d395mov rax, [rsp+168]
    37b72d39dmov [rsp+96], 5
    37b72d3a6imul rax, rdx
    37b72d3aaadd rax, [rsp+176]
    37b72d3b2mov [rsp+88], 4
    37b72d3bbadd rax, rdx
    37b72d3bemov rdx, [rsp+312]
    37b72d3c6mov [rsp+204], r8l
    37b72d3celea r8, [rip+0xd0911f]
    37b72d3d5lea rax, [rdx+4*rax]
    37b72d3d9mov rdx, [rsp+136]
    37b72d3e1mov [rsp+56], rax
    37b72d3e6lea rax, [rip+0xd0911f]
    37b72d3edmov [rsp+48], rax
    37b72d3f2mov rax, [rsp+144]
    37b72d3famov [rsp+32], rdx
    37b72d3fflea rdx, [rip+0xd09116]
    37b72d406mov [rsp+40], rax
    37b72d40bcall strmm_
    37b72d410mov ecx, [r12]
    37b72d414mov r9, rbp
    37b72d417mov eax, [rsp+200]
    37b72d41emov [rsp+112], 1
    37b72d427lea r8, [rip+0xd090c6]
    37b72d42esub ecx, r15l
    37b72d431mov [rsp+80], rdi
    37b72d436mov edx, ecx
    37b72d438mov [rsp+64], rdi
    37b72d43dmov rcx, [rsp+312]
    37b72d445sub edx, eax
    37b72d447add eax, r15l
    37b72d44amov [rsp+104], 12
    37b72d453cdqe
    37b72d455add edx, 1
    37b72d458mov [rsp+96], 5
    37b72d461add rax, rsi
    37b72d464mov [rsp+204], edx
    37b72d46bmov rdx, [rsp+136]
    37b72d473lea rax, [rcx+4*rax]
    37b72d477lea rcx, [rip+0xd0909a]
    37b72d47emov [rsp+56], r14
    37b72d483mov [rsp+72], rax
    37b72d488mov rax, [rsp+144]
    37b72d490mov [rsp+48], rcx
    37b72d495lea rcx, [rip+0xd09074]
    37b72d49cmov [rsp+32], rdx
    37b72d4a1lea rdx, [rip+0xd09074]
    37b72d4a8mov [rsp+88], 5
    37b72d4b1mov [rsp+40], rax
    37b72d4b6call strsm_
    37b72d4bbjmp 0x37b72d2d0
    37b72d4c0
    37b72d4c0loc_37b72d4c0:
    37b72d4c0neg eax
    37b72d4c2jmp 0x37b72cdf2
    37b72cd50
    37b72d4c7
    37b72d4c7 // align 0x10
    37b72d4d0
    37b72d4d0strtrs_:
    37b72d4d0push r14
    37b72d4d2push r13
    37b72d4d4push r12
    37b72d4d6push rbp
    37b72d4d7push rdi
    37b72d4d8push rsi
    37b72d4d9push rbx
    37b72d4dasub rsp, 144
    37b72d4e1mov rbx, [rsp+280]
    37b72d4e9mov rax, [rsp+256]
    37b72d4f1mov [rbx], 0
    37b72d4f7movsxd r13, [rax]
    37b72d4famov rdi, r8
    37b72d4fdmov rsi, rcx
    37b72d500mov r8l, 1
    37b72d506mov rbp, rdx
    37b72d509mov rcx, rdi
    37b72d50clea rdx, [rip+0xd0901d]
    37b72d513mov r12, r9
    37b72d516mov r9l, 1
    37b72d51ccall lsame_
    37b72d521mov r9l, 1
    37b72d527mov r8l, 1
    37b72d52dmov rcx, rsi
    37b72d530lea rdx, [rip+0xd08ffa]
    37b72d537mov r14l, eax
    37b72d53acall lsame_
    37b72d53ftest eax, eax
    37b72d541jne 0x37b72d566
    37b72d543mov r9l, 1
    37b72d549mov r8l, 1
    37b72d54flea rdx, [rip+0xd08fdc]
    37b72d556mov rcx, rsi
    37b72d559call lsame_
    37b72d55etest eax, eax
    37b72d560je 0x37b72d630
    37b72d566
    37b72d566loc_37b72d566:
    37b72d566mov r9l, 1
    37b72d56cmov r8l, 1
    37b72d572lea rdx, [rip+0xd08fb7]
    37b72d579mov rcx, rbp
    37b72d57ccall lsame_
    37b72d581test eax, eax
    37b72d583je 0x37b72d688
    37b72d589
    37b72d589loc_37b72d589:
    37b72d589test r14l, r14l
    37b72d58cje 0x37b72d650
    37b72d592
    37b72d592loc_37b72d592:
    37b72d592mov ecx, [r12]
    37b72d596test ecx, ecx
    37b72d598js 0x37b72d640
    37b72d59emov rax, [rsp+240]
    37b72d5a6mov eax, [rax]
    37b72d5a8test eax, eax
    37b72d5aajs 0x37b72d7f0
    37b72d5b0mov rdx, [rsp+256]
    37b72d5b8test ecx, ecx
    37b72d5bamov eax, 1
    37b72d5bfcmovg eax, ecx
    37b72d5c2cmp [rdx], eax
    37b72d5c4jl 0x37b72d6e0
    37b72d5camov rdx, [rsp+272]
    37b72d5d2cmp [rdx], eax
    37b72d5d4jge 0x37b72d6f0
    37b72d5damov edx, -9
    37b72d5dfmov eax, 9
    37b72d5e4nop
    37b72d5e5nop [rax+rax]
    37b72d5f0
    37b72d5f0loc_37b72d5f0:
    37b72d5f0mov [rbx], edx
    37b72d5f2
    37b72d5f2loc_37b72d5f2:
    37b72d5f2lea rdx, [rsp+140]
    37b72d5famov r8l, 6
    37b72d600lea rcx, [rip+0xd08f2e]
    37b72d607mov [rsp+140], eax
    37b72d60ecall xerbla_
    37b72d613nop
    37b72d614
    37b72d614loc_37b72d614:
    37b72d614add rsp, 144
    37b72d61bpop rbx
    37b72d61cpop rsi
    37b72d61dpop rdi
    37b72d61epop rbp
    37b72d61fpop r12
    37b72d621pop r13
    37b72d623pop r14
    37b72d625ret
    37b72d626
    37b72d626 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72d630
    37b72d630loc_37b72d630:
    37b72d630mov edx, -1
    37b72d635mov eax, 1
    37b72d63ajmp 0x37b72d5f0
    37b72d63c
    37b72d63c 0f 1f 40 00 ..@.
    37b72d640
    37b72d640loc_37b72d640:
    37b72d640mov edx, -4
    37b72d645mov eax, 4
    37b72d64ajmp 0x37b72d5f0
    37b72d64c
    37b72d64c 0f 1f 40 00 ..@.
    37b72d650
    37b72d650loc_37b72d650:
    37b72d650mov r9l, 1
    37b72d656mov r8l, 1
    37b72d65clea rdx, [rip+0xd08ece]
    37b72d663mov rcx, rdi
    37b72d666call lsame_
    37b72d66btest eax, eax
    37b72d66djne 0x37b72d592
    37b72d673mov [rbx], -3
    37b72d679mov eax, 3
    37b72d67ejmp 0x37b72d5f2
    37b72d683
    37b72d683 0f 1f 44 00 00 ..D..
    37b72d688
    37b72d688loc_37b72d688:
    37b72d688mov r9l, 1
    37b72d68emov r8l, 1
    37b72d694lea rdx, [rip+0xd08e98]
    37b72d69bmov rcx, rbp
    37b72d69ecall lsame_
    37b72d6a3test eax, eax
    37b72d6a5jne 0x37b72d589
    37b72d6abmov r9l, 1
    37b72d6b1mov r8l, 1
    37b72d6b7lea rdx, [rip+0xd08e76]
    37b72d6bemov rcx, rbp
    37b72d6c1call lsame_
    37b72d6c6test eax, eax
    37b72d6c8jne 0x37b72d589
    37b72d6cemov edx, -2
    37b72d6d3mov eax, 2
    37b72d6d8jmp 0x37b72d5f0
    37b72d6dd
    37b72d6dd 0f 1f 00 ...
    37b72d6e0
    37b72d6e0loc_37b72d6e0:
    37b72d6e0mov edx, -7
    37b72d6e5mov eax, 7
    37b72d6eajmp 0x37b72d5f0
    37b72d6ef
    37b72d6ef 90 .
    37b72d6f0
    37b72d6f0loc_37b72d6f0:
    37b72d6f0mov eax, [rbx]
    37b72d6f2test eax, eax
    37b72d6f4jne 0x37b72d7ff
    37b72d6fatest ecx, ecx
    37b72d6fcje 0x37b72d614
    37b72d702test r14l, r14l
    37b72d705je 0x37b72d758
    37b72d707xor eax, eax
    37b72d709test r13, r13
    37b72d70cmov [rbx], 1
    37b72d712pxor x0, x0
    37b72d716cmovs r13, rax
    37b72d71amov rax, [rsp+248]
    37b72d722lea r8, [4*r13+4]
    37b72d72alea rdx, [rax-4]
    37b72d72emov eax, 1
    37b72d733nop
    37b72d735nop [rax+rax]
    37b72d740
    37b72d740loc_37b72d740:
    37b72d740ucomiss x0, [rdx+4]
    37b72d744jp 0x37b72d74c
    37b72d746je 0x37b72d614
    37b72d74c
    37b72d74cloc_37b72d74c:
    37b72d74cadd eax, 1
    37b72d74fadd rdx, r8
    37b72d752mov [rbx], eax
    37b72d754cmp ecx, eax
    37b72d756jge 0x37b72d740
    37b72d758
    37b72d758loc_37b72d758:
    37b72d758mov [rbx], 0
    37b72d75emov r9, rdi
    37b72d761mov r8, rbp
    37b72d764mov rdx, rsi
    37b72d767mov rax, [rsp+272]
    37b72d76fmov [rsp+32], r12
    37b72d774lea rcx, [rip+0xd08dc0]
    37b72d77bmov [rsp+112], 1
    37b72d784mov [rsp+80], rax
    37b72d789mov rax, [rsp+264]
    37b72d791mov [rsp+104], 1
    37b72d79amov [rsp+72], rax
    37b72d79fmov rax, [rsp+256]
    37b72d7a7mov [rsp+96], 1
    37b72d7b0mov [rsp+64], rax
    37b72d7b5mov rax, [rsp+248]
    37b72d7bdmov [rsp+88], 4
    37b72d7c6mov [rsp+56], rax
    37b72d7cblea rax, [rip+0xd08d6e]
    37b72d7d2mov [rsp+48], rax
    37b72d7d7mov rax, [rsp+240]
    37b72d7dfmov [rsp+40], rax
    37b72d7e4call strsm_
    37b72d7e9jmp 0x37b72d614
    37b72d7ee
    37b72d7ee 66 90 f.
    37b72d7f0
    37b72d7f0loc_37b72d7f0:
    37b72d7f0mov edx, -5
    37b72d7f5mov eax, 5
    37b72d7fajmp 0x37b72d5f0
    37b72d7ff
    37b72d7ffloc_37b72d7ff:
    37b72d7ffneg eax
    37b72d801jmp 0x37b72d5f2
    37b72d4d0
    37b72d806
    37b72d806 // align 0x10
    37b72d810
    37b72d810stzrzf_:
    37b72d810push r15
    37b72d812push r14
    37b72d814push r13
    37b72d816push r12
    37b72d818push rbp
    37b72d819push rdi
    37b72d81apush rsi
    37b72d81bpush rbx
    37b72d81csub rsp, 328
    37b72d823mov rax, [rsp+432]
    37b72d82bmov rsi, [rsp+456]
    37b72d833mov rbp, [rsp+440]
    37b72d83bmov r14, [rsp+448]
    37b72d843mov [rsi], 0
    37b72d849movsxd r12, [r9]
    37b72d84cmov [rsp+160], rax
    37b72d854mov eax, [rcx]
    37b72d856mov rbx, rcx
    37b72d859mov rdi, rdx
    37b72d85cmov [rsp+168], r8
    37b72d864mov r13, r9
    37b72d867test eax, eax
    37b72d869js 0x37b72d948
    37b72d86fmov edx, [rdx]
    37b72d871cmp eax, edx
    37b72d873jle 0x37b72d8c0
    37b72d875mov edx, -2
    37b72d87amov eax, 2
    37b72d87f
    37b72d87floc_37b72d87f:
    37b72d87fmov [rsi], edx
    37b72d881
    37b72d881loc_37b72d881:
    37b72d881lea rdx, [rsp+316]
    37b72d889mov r8l, 6
    37b72d88flea rcx, [rip+0xd08cca]
    37b72d896mov [rsp+316], eax
    37b72d89dcall xerbla_
    37b72d8a2nop
    37b72d8a3
    37b72d8a3loc_37b72d8a3:
    37b72d8a3add rsp, 328
    37b72d8aapop rbx
    37b72d8abpop rsi
    37b72d8acpop rdi
    37b72d8adpop rbp
    37b72d8aepop r12
    37b72d8b0pop r13
    37b72d8b2pop r14
    37b72d8b4pop r15
    37b72d8b6ret
    37b72d8b7
    37b72d8b7 66 0f 1f 84 00 00 00 00 00 f........
    37b72d8c0
    37b72d8c0loc_37b72d8c0:
    37b72d8c0test eax, eax
    37b72d8c2mov ecx, 1
    37b72d8c7cmovg ecx, eax
    37b72d8cacmp r12l, ecx
    37b72d8cdjl 0x37b72de60
    37b72d8d3mov [rsp+184], 1
    37b72d8demov ecx, [r14]
    37b72d8e1mov [rsp+176], ecx
    37b72d8e8mov ecx, 1
    37b72d8edtest eax, eax
    37b72d8efjne 0x37b72ddf0
    37b72d8f5
    37b72d8f5loc_37b72d8f5:
    37b72d8f5lea rax, [rsp+304]
    37b72d8fdmov [rsp+304], ecx
    37b72d904mov rcx, rax
    37b72d907mov [rsp+192], rax
    37b72d90fcall sroundup_lwork_
    37b72d914mov eax, [rsp+184]
    37b72d91bmovss [rbp], x0
    37b72d920cmp [r14], eax
    37b72d923jge 0x37b72d960
    37b72d925cmp [rsp+176], -1
    37b72d92dje 0x37b72ded0
    37b72d933mov [rsi], -7
    37b72d939mov eax, 7
    37b72d93ejmp 0x37b72d881
    37b72d943
    37b72d943 0f 1f 44 00 00 ..D..
    37b72d948
    37b72d948loc_37b72d948:
    37b72d948mov [rsi], -1
    37b72d94emov eax, -1
    37b72d953
    37b72d953loc_37b72d953:
    37b72d953neg eax
    37b72d955jmp 0x37b72d881
    37b72d95a
    37b72d95a 66 0f 1f 44 00 00 f..D..
    37b72d960
    37b72d960loc_37b72d960:
    37b72d960mov eax, [rsi]
    37b72d962test eax, eax
    37b72d964jne 0x37b72d953
    37b72d966cmp [rsp+176], -1
    37b72d96eje 0x37b72d8a3
    37b72d974mov ecx, [rbx]
    37b72d976test ecx, ecx
    37b72d978je 0x37b72d8a3
    37b72d97ecmp ecx, [rdi]
    37b72d980je 0x37b72dee0
    37b72d986cmp r15l, 1
    37b72d98ajle 0x37b72ddc0
    37b72d990cmp ecx, r15l
    37b72d993jle 0x37b72ddc0
    37b72d999lea rax, [rip+0xd08bbc]
    37b72d9a0mov [rsp+32], rdi
    37b72d9a5lea rdx, [rip+0xd08ba5]
    37b72d9acmov r9, rbx
    37b72d9afmov [rsp+64], 1
    37b72d9b8lea rcx, [rip+0xd08ba9]
    37b72d9bflea r8, [rip+0xd08b8a]
    37b72d9c6mov [rsp+56], 6
    37b72d9cfmov [rsp+48], rax
    37b72d9d4mov [rsp+40], rax
    37b72d9d9call ilaenv_
    37b72d9dexor edx, edx
    37b72d9e0mov ecx, [rbx]
    37b72d9e2test eax, eax
    37b72d9e4cmovns edx, eax
    37b72d9e7mov r10l, edx
    37b72d9eacmp ecx, edx
    37b72d9ecjle 0x37b72ddc0
    37b72d9f2mov edx, ecx
    37b72d9f4mov eax, [r14]
    37b72d9f7mov [rsp+300], ecx
    37b72d9feimul edx, r15l
    37b72da02cmp eax, edx
    37b72da04jl 0x37b72df18
    37b72da0acmp r15l, r10l
    37b72da0dmov eax, r10l
    37b72da10mov r11, r12
    37b72da13cmovge eax, r15l
    37b72da17not r11
    37b72da1acmp ecx, eax
    37b72da1cjle 0x37b72de6f
    37b72da22
    37b72da22loc_37b72da22:
    37b72da22mov r9l, ecx
    37b72da25mov r14, [rsp+168]
    37b72da2dmov r8l, [rdi]
    37b72da30mov [rsp+208], rbx
    37b72da38sub r9l, r10l
    37b72da3bmov ebx, r15l
    37b72da3elea eax, [r9-1]
    37b72da42cdq
    37b72da43idiv r15l
    37b72da46lea eax, [r9-1]
    37b72da4asub eax, edx
    37b72da4clea edx, [rax+r15]
    37b72da50cmp edx, ecx
    37b72da52cmovg edx, ecx
    37b72da55mov r9l, edx
    37b72da58mov edx, ecx
    37b72da5asub edx, r9l
    37b72da5dlea r10l, [rdx+rax]
    37b72da61xor edx, edx
    37b72da63div r15l
    37b72da66mov edx, r15l
    37b72da69lea esi, [r10+1]
    37b72da6dneg edx
    37b72da6fmov [rsp+284], esi
    37b72da76mov r15l, esi
    37b72da79movsxd r9, edx
    37b72da7cmov [rsp+280], edx
    37b72da83mov [rsp+276], eax
    37b72da8alea rax, [r12+1]
    37b72da8fimul rax, r9
    37b72da93lea rdx, [4*rax]
    37b72da9bmov [rsp+240], rdx
    37b72daa3movsxd rdx, r10l
    37b72daa6movsxd r10, esi
    37b72daa9imul r10, r12
    37b72daadlea rax, [r11+rdx]
    37b72dab1add rax, r10
    37b72dab4lea rax, [r14+4*rax+4]
    37b72dab9mov [rsp+176], rax
    37b72dac1lea rax, [4*r9]
    37b72dac9mov [rsp+232], rax
    37b72dad1mov rax, [rsp+160]
    37b72dad9lea r14, [rax+4*rdx]
    37b72daddlea eax, [rcx+1]
    37b72dae0cmp eax, r8l
    37b72dae3mov rsi, r14
    37b72dae6cmovg eax, r8l
    37b72daeaimul r9, r12
    37b72daeecdqe
    37b72daf0imul rax, r12
    37b72daf4shl r9, 2
    37b72daf8mov r12l, [rsp+276]
    37b72db00mov [rsp+248], r9
    37b72db08add rax, r11
    37b72db0badd r11, r10
    37b72db0eadd rax, rdx
    37b72db11mov rdx, [rsp+168]
    37b72db19lea rax, [rdx+4*rax+4]
    37b72db1elea rdx, [rdx+4*r11+4]
    37b72db23mov [rsp+224], rdx
    37b72db2blea rdx, [rsp+316]
    37b72db33mov r14, rax
    37b72db36mov [rsp+200], rdx
    37b72db3elea rdx, [rsp+312]
    37b72db46mov [rsp+216], rdx
    37b72db4elea rdx, [rsp+296]
    37b72db56mov [rsp+184], rdx
    37b72db5elea rdx, [rsp+300]
    37b72db66mov [rsp+256], rdx
    37b72db6elea rdx, [rsp+308]
    37b72db76mov [rsp+264], rdx
    37b72db7ejmp 0x37b72dbc2
    37b72db80
    37b72db80loc_37b72db80:
    37b72db80mov rax, [rsp+232]
    37b72db88mov r8l, [rdi]
    37b72db8bsub r15l, ebx
    37b72db8esub r12l, 1
    37b72db92mov rdx, [rsp+248]
    37b72db9aadd [rsp+224], rdx
    37b72dba2add rsi, rax
    37b72dba5add r14, rax
    37b72dba8mov rax, [rsp+208]
    37b72dbb0mov rcx, [rsp+240]
    37b72dbb8add [rsp+176], rcx
    37b72dbc0mov ecx, [rax]
    37b72dbc2
    37b72dbc2loc_37b72dbc2:
    37b72dbc2mov edx, ecx
    37b72dbc4mov [rsp+48], rbp
    37b72dbc9mov r9, [rsp+176]
    37b72dbd1sub edx, r15l
    37b72dbd4mov [rsp+40], rsi
    37b72dbd9add edx, 1
    37b72dbdcmov [rsp+32], r13
    37b72dbe1cmp edx, ebx
    37b72dbe3cmovg edx, ebx
    37b72dbe6mov [rsp+296], edx
    37b72dbedmov edx, r8l
    37b72dbf0sub r8l, ecx
    37b72dbf3mov rcx, [rsp+184]
    37b72dbfbsub edx, r15l
    37b72dbfemov [rsp+316], r8l
    37b72dc06mov r8, [rsp+200]
    37b72dc0eadd edx, 1
    37b72dc11mov [rsp+312], edx
    37b72dc18mov rdx, [rsp+216]
    37b72dc20call slatrz_
    37b72dc25cmp r15l, 1
    37b72dc29jle 0x37b72dd91
    37b72dc2fmov r11, [rsp+208]
    37b72dc37mov edx, [rdi]
    37b72dc39lea rcx, [rip+0xd08937]
    37b72dc40mov r9, [rsp+184]
    37b72dc48mov r8, [rsp+200]
    37b72dc50sub edx, [r11]
    37b72dc53mov r11, [rsp+256]
    37b72dc5bmov [rsp+56], rbp
    37b72dc60mov [rsp+80], 7
    37b72dc69mov [rsp+64], r11
    37b72dc6emov [rsp+72], 8
    37b72dc77mov [rsp+48], rsi
    37b72dc7cmov [rsp+40], r13
    37b72dc81mov [rsp+32], r14
    37b72dc86mov [rsp+316], edx
    37b72dc8dlea rdx, [rip+0xd088dc]
    37b72dc94call slarzt_
    37b72dc99lea edx, [r15-1]
    37b72dc9dmov rax, [rsp+200]
    37b72dca5mov r10, [rsp+208]
    37b72dcadmov [rsp+308], edx
    37b72dcb4mov edx, [rdi]
    37b72dcb6lea r9, [rip+0xd088b3]
    37b72dcbdlea r8, [rip+0xd088b3]
    37b72dcc4mov r11, [rsp+224]
    37b72dcccmov ecx, edx
    37b72dccesub edx, [r10]
    37b72dcd1mov [rsp+56], rax
    37b72dcd6mov rax, [rsp+184]
    37b72dcdesub ecx, r15l
    37b72dce1mov [rsp+316], edx
    37b72dce8add ecx, 1
    37b72dcebmovsxd rdx, [rsp+296]
    37b72dcf3mov [rsp+152], 7
    37b72dcffmov [rsp+48], rax
    37b72dd04mov rax, [rsp+216]
    37b72dd0cmov [rsp+312], ecx
    37b72dd13mov rcx, [rsp+256]
    37b72dd1blea rdx, [rbp+4*rdx]
    37b72dd20mov [rsp+40], rax
    37b72dd25mov rax, [rsp+264]
    37b72dd2dmov [rsp+120], rcx
    37b72dd32mov [rsp+32], rax
    37b72dd37mov [rsp+112], rdx
    37b72dd3clea rdx, [rip+0xd0883c]
    37b72dd43mov [rsp+88], rcx
    37b72dd48lea rcx, [rip+0xd0883c]
    37b72dd4fmov [rsp+144], 8
    37b72dd5bmov [rsp+136], 12
    37b72dd67mov [rsp+128], 5
    37b72dd73mov [rsp+104], r13
    37b72dd78mov [rsp+96], r11
    37b72dd7dmov [rsp+80], rbp
    37b72dd82mov [rsp+72], r13
    37b72dd87mov [rsp+64], r14
    37b72dd8ccall slarzb_
    37b72dd91
    37b72dd91loc_37b72dd91:
    37b72dd91test r12l, r12l
    37b72dd94jne 0x37b72db80
    37b72dd9amov eax, [rsp+280]
    37b72dda1imul eax, [rsp+276]
    37b72dda9mov esi, [rsp+284]
    37b72ddb0mov rbx, [rsp+208]
    37b72ddb8lea ecx, [rsi+rax-1]
    37b72ddbcnop [rax]
    37b72ddc0
    37b72ddc0loc_37b72ddc0:
    37b72ddc0mov [rsp+312], ecx
    37b72ddc7test ecx, ecx
    37b72ddc9jg 0x37b72de80
    37b72ddcf
    37b72ddcfloc_37b72ddcf:
    37b72ddcfmov rcx, [rsp+192]
    37b72ddd7call sroundup_lwork_
    37b72dddcmovss [rbp], x0
    37b72dde1jmp 0x37b72d8a3
    37b72dde6
    37b72dde6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b72ddf0
    37b72ddf0loc_37b72ddf0:
    37b72ddf0cmp eax, edx
    37b72ddf2je 0x37b72d8f5
    37b72ddf8lea rax, [rip+0xd0875d]
    37b72ddffmov [rsp+32], rdi
    37b72de04lea rdx, [rip+0xd08746]
    37b72de0bmov r9, rbx
    37b72de0emov [rsp+64], 1
    37b72de17lea rcx, [rip+0xd0873a]
    37b72de1elea r8, [rip+0xd0872b]
    37b72de25mov [rsp+56], 6
    37b72de2emov [rsp+48], rax
    37b72de33mov [rsp+40], rax
    37b72de38call ilaenv_
    37b72de3dmov edx, 1
    37b72de42mov r15l, eax
    37b72de45mov eax, [rbx]
    37b72de47mov ecx, eax
    37b72de49imul ecx, r15l
    37b72de4dtest eax, eax
    37b72de4fcmovg edx, eax
    37b72de52mov [rsp+184], edx
    37b72de59jmp 0x37b72d8f5
    37b72de5e
    37b72de5e 66 90 f.
    37b72de60
    37b72de60loc_37b72de60:
    37b72de60mov edx, -4
    37b72de65mov eax, 4
    37b72de6ajmp 0x37b72d87f
    37b72de6f
    37b72de6floc_37b72de6f:
    37b72de6fmov [rsp+312], ecx
    37b72de76nop [rax+rax]
    37b72de80
    37b72de80loc_37b72de80:
    37b72de80mov eax, [rdi]
    37b72de82sub eax, [rbx]
    37b72de84mov [rsp+48], rbp
    37b72de89lea rcx, [rsp+312]
    37b72de91mov [rsp+32], r13
    37b72de96mov r9, [rsp+168]
    37b72de9emov rdx, rdi
    37b72dea1lea r8, [rsp+316]
    37b72dea9mov [rsp+316], eax
    37b72deb0mov rax, [rsp+160]
    37b72deb8mov [rsp+40], rax
    37b72debdcall slatrz_
    37b72dec2jmp 0x37b72ddcf
    37b72dec7
    37b72dec7 66 0f 1f 84 00 00 00 00 00 f........
    37b72ded0
    37b72ded0loc_37b72ded0:
    37b72ded0mov eax, [rsi]
    37b72ded2test eax, eax
    37b72ded4je 0x37b72d8a3
    37b72dedajmp 0x37b72d953
    37b72dedf
    37b72dedf 90 .
    37b72dee0
    37b72dee0loc_37b72dee0:
    37b72dee0test ecx, ecx
    37b72dee2jle 0x37b72d8a3
    37b72dee8lea r8, [4*rcx]
    37b72def0mov rcx, [rsp+160]
    37b72def8xor edx, edx
    37b72defaadd rsp, 328
    37b72df01pop rbx
    37b72df02pop rsi
    37b72df03pop rdi
    37b72df04pop rbp
    37b72df05pop r12
    37b72df07pop r13
    37b72df09pop r14
    37b72df0bpop r15
    37b72df0djmp 0x37c430a60
    37b72df12
    37b72df12 66 0f 1f 44 00 00 f..D..
    37b72df18
    37b72df18loc_37b72df18:
    37b72df18cdq
    37b72df19mov [rsp+32], rdi
    37b72df1emov r9, rbx
    37b72df21lea r8, [rip+0xd08628]
    37b72df28idiv ecx
    37b72df2amov [rsp+176], r10l
    37b72df32mov [rsp+64], 1
    37b72df3bmov [rsp+56], 6
    37b72df44lea rdx, [rip+0xd08606]
    37b72df4blea rcx, [rip+0xd0861a]
    37b72df52mov esi, eax
    37b72df54mov r15l, eax
    37b72df57lea rax, [rip+0xd085fe]
    37b72df5emov [rsp+48], rax
    37b72df63mov [rsp+40], rax
    37b72df68call ilaenv_
    37b72df6dmov edx, 2
    37b72df72mov ecx, [rbx]
    37b72df74mov r10l, [rsp+176]
    37b72df7ccmp eax, edx
    37b72df7ecmovl eax, edx
    37b72df81cmp esi, eax
    37b72df83jl 0x37b72ddc0
    37b72df89cmp r10l, esi
    37b72df8cmov r11, r12
    37b72df8fcmovge esi, r10l
    37b72df93not r11
    37b72df96cmp esi, ecx
    37b72df98jl 0x37b72da22
    37b72df9ejmp 0x37b72ddc0
    37b72d810