File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37b8bd040
    37b8bd040dtgexc_:
    37b8bd040push r15
    37b8bd042push r14
    37b8bd044push r13
    37b8bd046push r12
    37b8bd048push rbp
    37b8bd049push rdi
    37b8bd04apush rsi
    37b8bd04bpush rbx
    37b8bd04csub rsp, 248
    37b8bd053movups [rsp+208], x6
    37b8bd05bmovups [rsp+224], x7
    37b8bd063mov rax, [rsp+352]
    37b8bd06bmov r14, [rsp+400]
    37b8bd073mov rsi, [rsp+440]
    37b8bd07bmov r10l, [rax]
    37b8bd07emov rax, [rsp+368]
    37b8bd086mov [rsi], 0
    37b8bd08cmov r15l, [r14]
    37b8bd08fmov r11l, [rax]
    37b8bd092mov rbp, rcx
    37b8bd095mov r12, rdx
    37b8bd098mov rdi, r8
    37b8bd09bmov rax, [rsp+384]
    37b8bd0a3mov r13, r9
    37b8bd0a6mov ebx, [rax]
    37b8bd0a8mov eax, [r8]
    37b8bd0abtest eax, eax
    37b8bd0adjs 0x37b8bd160
    37b8bd0b3mov r8l, 1
    37b8bd0b9cmovg r8l, eax
    37b8bd0bdcmp r10l, r8l
    37b8bd0c0jge 0x37b8bd118
    37b8bd0c2mov edx, -5
    37b8bd0c7mov eax, 5
    37b8bd0cc
    37b8bd0ccloc_37b8bd0cc:
    37b8bd0ccmov [rsi], edx
    37b8bd0cemov r8l, 6
    37b8bd0d4lea rdx, [rsp+204]
    37b8bd0dclea rcx, [rip+0xb80ddd]
    37b8bd0e3mov [rsp+204], eax
    37b8bd0eacall xerbla_
    37b8bd0efnop
    37b8bd0f0
    37b8bd0f0loc_37b8bd0f0:
    37b8bd0f0movups x6, [rsp+208]
    37b8bd0f8movups x7, [rsp+224]
    37b8bd100add rsp, 248
    37b8bd107pop rbx
    37b8bd108pop rsi
    37b8bd109pop rdi
    37b8bd10apop rbp
    37b8bd10bpop r12
    37b8bd10dpop r13
    37b8bd10fpop r14
    37b8bd111pop r15
    37b8bd113ret
    37b8bd114
    37b8bd114 0f 1f 40 00 ..@.
    37b8bd118
    37b8bd118loc_37b8bd118:
    37b8bd118cmp r11l, r8l
    37b8bd11bjl 0x37b8bd170
    37b8bd11dtest ebx, ebx
    37b8bd11fjle 0x37b8bd180
    37b8bd121test [rcx], 1
    37b8bd124je 0x37b8bd12b
    37b8bd126cmp ebx, r8l
    37b8bd129jl 0x37b8bd180
    37b8bd12b
    37b8bd12bloc_37b8bd12b:
    37b8bd12btest r15l, r15l
    37b8bd12ejle 0x37b8bd190
    37b8bd130test [r12], 1
    37b8bd135je 0x37b8bd13c
    37b8bd137cmp r15l, r8l
    37b8bd13ajl 0x37b8bd190
    37b8bd13c
    37b8bd13cloc_37b8bd13c:
    37b8bd13cmov rcx, [rsp+408]
    37b8bd144mov ebx, [rcx]
    37b8bd146test ebx, ebx
    37b8bd148jle 0x37b8bd14e
    37b8bd14acmp eax, ebx
    37b8bd14cjge 0x37b8bd19f
    37b8bd14e
    37b8bd14eloc_37b8bd14e:
    37b8bd14emov edx, -12
    37b8bd153mov eax, 12
    37b8bd158jmp 0x37b8bd0cc
    37b8bd15d
    37b8bd15d 0f 1f 00 ...
    37b8bd160
    37b8bd160loc_37b8bd160:
    37b8bd160mov edx, -3
    37b8bd165mov eax, 3
    37b8bd16ajmp 0x37b8bd0cc
    37b8bd16f
    37b8bd16f 90 .
    37b8bd170
    37b8bd170loc_37b8bd170:
    37b8bd170mov edx, -7
    37b8bd175mov eax, 7
    37b8bd17ajmp 0x37b8bd0cc
    37b8bd17f
    37b8bd17f 90 .
    37b8bd180
    37b8bd180loc_37b8bd180:
    37b8bd180mov edx, -9
    37b8bd185mov eax, 9
    37b8bd18ajmp 0x37b8bd0cc
    37b8bd18f
    37b8bd18f 90 .
    37b8bd190
    37b8bd190loc_37b8bd190:
    37b8bd190mov edx, -11
    37b8bd195mov eax, 11
    37b8bd19ajmp 0x37b8bd0cc
    37b8bd19f
    37b8bd19floc_37b8bd19f:
    37b8bd19fmov rcx, [rsp+416]
    37b8bd1a7mov r8l, [rcx]
    37b8bd1aacmp eax, r8l
    37b8bd1adjl 0x37b8bd1b4
    37b8bd1aftest r8l, r8l
    37b8bd1b2jg 0x37b8bd1c8
    37b8bd1b4
    37b8bd1b4loc_37b8bd1b4:
    37b8bd1b4mov edx, -13
    37b8bd1b9mov eax, 13
    37b8bd1bejmp 0x37b8bd0cc
    37b8bd1c3
    37b8bd1c3 0f 1f 44 00 00 ..D..
    37b8bd1c8
    37b8bd1c8loc_37b8bd1c8:
    37b8bd1c8mov rcx, [rsp+432]
    37b8bd1d0mov r15l, [rcx]
    37b8bd1d3cmp eax, 1
    37b8bd1d6jle 0x37b8bdf4f
    37b8bd1dcmov rcx, [rsp+424]
    37b8bd1e4lea r11l, [4*rax+16]
    37b8bd1ecpxor x0, x0
    37b8bd1f0cvtsi2sd x0, r11l
    37b8bd1f5movsd_xmm [rcx], x0
    37b8bd1f9cmp r15l, r11l
    37b8bd1fcjge 0x37b8bd220
    37b8bd1fe
    37b8bd1feloc_37b8bd1fe:
    37b8bd1fecmp r15l, -1
    37b8bd202je 0x37b8bd0f0
    37b8bd208mov edx, -15
    37b8bd20dmov eax, 15
    37b8bd212jmp 0x37b8bd0cc
    37b8bd217
    37b8bd217 66 0f 1f 84 00 00 00 00 00 f........
    37b8bd220
    37b8bd220loc_37b8bd220:
    37b8bd220movsxd rdx, r10l
    37b8bd223mov rcx, rdx
    37b8bd226not rcx
    37b8bd229cmp ebx, 1
    37b8bd22cje 0x37b8bd8d8
    37b8bd232lea r15l, [rbx-1]
    37b8bd236movsxd r11, ebx
    37b8bd239pxor x1, x1
    37b8bd23dmovsxd r10, r15l
    37b8bd240imul r10, rdx
    37b8bd244add r10, rcx
    37b8bd247add r10, r11
    37b8bd24aucomisd x1, [r13+8*r10]
    37b8bd251jp 0x37b8bd255
    37b8bd253je 0x37b8bd263
    37b8bd255
    37b8bd255loc_37b8bd255:
    37b8bd255mov rbx, [rsp+408]
    37b8bd25dmov [rbx], r15l
    37b8bd260mov ebx, r15l
    37b8bd263
    37b8bd263loc_37b8bd263:
    37b8bd263mov [rsp+196], 1
    37b8bd26ecmp eax, ebx
    37b8bd270jg 0x37b8bd8e3
    37b8bd276
    37b8bd276loc_37b8bd276:
    37b8bd276cmp r8l, 1
    37b8bd27aje 0x37b8bd8a0
    37b8bd280lea r15l, [r8-1]
    37b8bd284movsxd r11, r8l
    37b8bd287pxor x1, x1
    37b8bd28bmovsxd r10, r15l
    37b8bd28eimul r10, rdx
    37b8bd292add r10, rcx
    37b8bd295add r10, r11
    37b8bd298ucomisd x1, [r13+8*r10]
    37b8bd29fjp 0x37b8bd2a3
    37b8bd2a1je 0x37b8bd2b1
    37b8bd2a3
    37b8bd2a3loc_37b8bd2a3:
    37b8bd2a3mov r9, [rsp+416]
    37b8bd2abmov r8l, r15l
    37b8bd2aemov [r9], r15l
    37b8bd2b1
    37b8bd2b1loc_37b8bd2b1:
    37b8bd2b1cmp eax, r8l
    37b8bd2b4jg 0x37b8bd8a0
    37b8bd2ba
    37b8bd2baloc_37b8bd2ba:
    37b8bd2bamov r11l, 1
    37b8bd2c0
    37b8bd2c0loc_37b8bd2c0:
    37b8bd2c0cmp ebx, r8l
    37b8bd2c3je 0x37b8bd0f0
    37b8bd2c9jge 0x37b8bd930
    37b8bd2cfmov r10l, [rsp+196]
    37b8bd2d7cmp r10l, 2
    37b8bd2dbjne 0x37b8bdf10
    37b8bd2e1cmp r11l, 1
    37b8bd2e5jne 0x37b8bdf10
    37b8bd2ebmov r9, [rsp+416]
    37b8bd2f3sub r8l, 1
    37b8bd2f7mov [r9], r8l
    37b8bd2fa
    37b8bd2faloc_37b8bd2fa:
    37b8bd2famov [rsp+320], rbp
    37b8bd302pxor x6, x6
    37b8bd306movapd x7, x0
    37b8bd30alea r9, [rsp+200]
    37b8bd312mov [rsp+144], r9
    37b8bd31alea r9, [rsp+204]
    37b8bd322mov rbp, [rsp+384]
    37b8bd32alea r15, [rip+0xb80b97]
    37b8bd331mov [rsp+328], r12
    37b8bd339mov r12, [rsp+392]
    37b8bd341mov [rsp+192], ebx
    37b8bd348mov [rsp+184], r9
    37b8bd350mov [rsp+168], rdx
    37b8bd358mov [rsp+176], rcx
    37b8bd360jmp 0x37b8bd58a
    37b8bd365
    37b8bd365 0f 1f 00 ...
    37b8bd368
    37b8bd368loc_37b8bd368:
    37b8bd368lea r10l, [rbx+2]
    37b8bd36ccmp r10l, eax
    37b8bd36fjge 0x37b8bd3a4
    37b8bd371lea edx, [rbx+3]
    37b8bd374movsxd rax, r10l
    37b8bd377imul rax, [rsp+168]
    37b8bd380movsxd rdx, edx
    37b8bd383add rax, [rsp+176]
    37b8bd38badd rax, rdx
    37b8bd38eucomisd x6, [r13+8*rax]
    37b8bd395jp 0x37b8bd399
    37b8bd397je 0x37b8bd3a4
    37b8bd399
    37b8bd399loc_37b8bd399:
    37b8bd399mov [rsp+200], 2
    37b8bd3a4
    37b8bd3a4loc_37b8bd3a4:
    37b8bd3a4lea eax, [rbx+1]
    37b8bd3a7mov [rsp+72], r12
    37b8bd3acmov r8, rdi
    37b8bd3afmov r9, r13
    37b8bd3b2mov [rsp+204], eax
    37b8bd3b9mov rdx, [rsp+328]
    37b8bd3c1mov [rsp+152], eax
    37b8bd3c8mov rax, [rsp+432]
    37b8bd3d0mov [rsp+64], rbp
    37b8bd3d5mov rcx, [rsp+320]
    37b8bd3ddmov [rsp+120], rax
    37b8bd3e2mov rax, [rsp+424]
    37b8bd3eamov [rsp+164], r10l
    37b8bd3f2mov [rsp+112], rax
    37b8bd3f7mov rax, [rsp+144]
    37b8bd3ffmov [rsp+128], rsi
    37b8bd407mov [rsp+104], rax
    37b8bd40cmov rax, [rsp+184]
    37b8bd414mov [rsp+96], r15
    37b8bd419mov [rsp+88], rax
    37b8bd41emov rax, [rsp+376]
    37b8bd426mov [rsp+80], r14
    37b8bd42bmov [rsp+56], rax
    37b8bd430mov rax, [rsp+368]
    37b8bd438mov [rsp+48], rax
    37b8bd43dmov rax, [rsp+360]
    37b8bd445mov [rsp+40], rax
    37b8bd44amov rax, [rsp+352]
    37b8bd452mov [rsp+32], rax
    37b8bd457call dtgex2_
    37b8bd45cmov r8l, [rsi]
    37b8bd45ftest r8l, r8l
    37b8bd462jne 0x37b8bd920
    37b8bd468mov edx, [rsp+200]
    37b8bd46fcmp edx, 1
    37b8bd472je 0x37b8bd860
    37b8bd478movsxd r10, [rsp+164]
    37b8bd480movsxd rax, [rsp+152]
    37b8bd488imul rax, [rsp+168]
    37b8bd491add rax, [rsp+176]
    37b8bd499add rax, r10
    37b8bd49cucomisd x6, [r13+8*rax]
    37b8bd4a3jp 0x37b8bd4ab
    37b8bd4a5je 0x37b8bd6f8
    37b8bd4ab
    37b8bd4abloc_37b8bd4ab:
    37b8bd4abcmp edx, 2
    37b8bd4aejne 0x37b8bd6f8
    37b8bd4b4mov rax, [rsp+432]
    37b8bd4bcmov [rsp+96], r15
    37b8bd4c1mov r9, r13
    37b8bd4c4mov r8, rdi
    37b8bd4c7mov [rsp+80], r14
    37b8bd4ccmov rcx, [rsp+320]
    37b8bd4d4mov [rsp+120], rax
    37b8bd4d9mov rax, [rsp+424]
    37b8bd4e1mov [rsp+72], r12
    37b8bd4e6mov rdx, [rsp+328]
    37b8bd4eemov [rsp+112], rax
    37b8bd4f3mov rax, [rsp+144]
    37b8bd4fbmov [rsp+64], rbp
    37b8bd500mov [rsp+104], rax
    37b8bd505lea rax, [rsp+192]
    37b8bd50dmov [rsp+88], rax
    37b8bd512mov rax, [rsp+376]
    37b8bd51amov [rsp+128], rsi
    37b8bd522mov [rsp+56], rax
    37b8bd527mov rax, [rsp+368]
    37b8bd52fmov [rsp+48], rax
    37b8bd534mov rax, [rsp+360]
    37b8bd53cmov [rsp+40], rax
    37b8bd541mov rax, [rsp+352]
    37b8bd549mov [rsp+32], rax
    37b8bd54ecall dtgex2_
    37b8bd553mov ecx, [rsi]
    37b8bd555mov ebx, [rsp+192]
    37b8bd55ctest ecx, ecx
    37b8bd55ejne 0x37b8bd920
    37b8bd564add ebx, 2
    37b8bd567mov [rsp+192], ebx
    37b8bd56enop
    37b8bd570
    37b8bd570loc_37b8bd570:
    37b8bd570mov rax, [rsp+416]
    37b8bd578cmp [rax], ebx
    37b8bd57ajle 0x37b8bdef0
    37b8bd580mov r10l, [rsp+196]
    37b8bd588mov eax, [rdi]
    37b8bd58a
    37b8bd58aloc_37b8bd58a:
    37b8bd58amov [rsp+200], 1
    37b8bd595lea edx, [r10-1]
    37b8bd599cmp edx, 1
    37b8bd59cja 0x37b8bd368
    37b8bd5a2add r10l, ebx
    37b8bd5a5cmp r10l, eax
    37b8bd5a8jge 0x37b8bd5de
    37b8bd5aamovsxd rax, r10l
    37b8bd5adadd r10l, 1
    37b8bd5b1imul rax, [rsp+168]
    37b8bd5bamovsxd r10, r10l
    37b8bd5bdadd rax, [rsp+176]
    37b8bd5c5add rax, r10
    37b8bd5c8ucomisd x6, [r13+8*rax]
    37b8bd5cfjp 0x37b8bd5d3
    37b8bd5d1je 0x37b8bd5de
    37b8bd5d3
    37b8bd5d3loc_37b8bd5d3:
    37b8bd5d3mov [rsp+200], 2
    37b8bd5de
    37b8bd5deloc_37b8bd5de:
    37b8bd5demov rax, [rsp+432]
    37b8bd5e6mov [rsp+80], r14
    37b8bd5ebmov r9, r13
    37b8bd5eemov r8, rdi
    37b8bd5f1mov [rsp+72], r12
    37b8bd5f6mov rdx, [rsp+328]
    37b8bd5femov [rsp+120], rax
    37b8bd603mov rax, [rsp+424]
    37b8bd60bmov [rsp+64], rbp
    37b8bd610mov rcx, [rsp+320]
    37b8bd618mov [rsp+112], rax
    37b8bd61dmov rax, [rsp+144]
    37b8bd625mov [rsp+128], rsi
    37b8bd62dmov [rsp+104], rax
    37b8bd632lea rax, [rsp+196]
    37b8bd63amov [rsp+96], rax
    37b8bd63flea rax, [rsp+192]
    37b8bd647mov [rsp+88], rax
    37b8bd64cmov rax, [rsp+376]
    37b8bd654mov [rsp+56], rax
    37b8bd659mov rax, [rsp+368]
    37b8bd661mov [rsp+48], rax
    37b8bd666mov rax, [rsp+360]
    37b8bd66emov [rsp+40], rax
    37b8bd673mov rax, [rsp+352]
    37b8bd67bmov [rsp+32], rax
    37b8bd680call dtgex2_
    37b8bd685mov r9l, [rsi]
    37b8bd688mov ebx, [rsp+192]
    37b8bd68ftest r9l, r9l
    37b8bd692jne 0x37b8bd920
    37b8bd698add ebx, [rsp+200]
    37b8bd69fmov [rsp+192], ebx
    37b8bd6a6cmp [rsp+196], 2
    37b8bd6aejne 0x37b8bd570
    37b8bd6b4lea edx, [rbx+1]
    37b8bd6b7movsxd rax, ebx
    37b8bd6baimul rax, [rsp+168]
    37b8bd6c3movsxd rdx, edx
    37b8bd6c6add rax, [rsp+176]
    37b8bd6ceadd rax, rdx
    37b8bd6d1ucomisd x6, [r13+8*rax]
    37b8bd6d8jp 0x37b8bd570
    37b8bd6dejne 0x37b8bd570
    37b8bd6e4mov [rsp+196], 3
    37b8bd6efjmp 0x37b8bd570
    37b8bd6f4
    37b8bd6f4 0f 1f 40 00 ..@.
    37b8bd6f8
    37b8bd6f8loc_37b8bd6f8:
    37b8bd6f8mov rax, [rsp+432]
    37b8bd700mov [rsp+104], r15
    37b8bd705mov r9, r13
    37b8bd708mov r8, rdi
    37b8bd70blea rbx, [rsp+192]
    37b8bd713mov [rsp+96], r15
    37b8bd718mov rdx, [rsp+328]
    37b8bd720mov [rsp+120], rax
    37b8bd725mov rax, [rsp+424]
    37b8bd72dmov [rsp+88], rbx
    37b8bd732mov rcx, [rsp+320]
    37b8bd73amov [rsp+112], rax
    37b8bd73fmov rax, [rsp+376]
    37b8bd747mov [rsp+80], r14
    37b8bd74cmov [rsp+56], rax
    37b8bd751mov rax, [rsp+368]
    37b8bd759mov [rsp+72], r12
    37b8bd75emov [rsp+48], rax
    37b8bd763mov rax, [rsp+360]
    37b8bd76bmov [rsp+64], rbp
    37b8bd770mov [rsp+40], rax
    37b8bd775mov rax, [rsp+352]
    37b8bd77dmov [rsp+128], rsi
    37b8bd785mov [rsp+32], rax
    37b8bd78acall dtgex2_
    37b8bd78fmov edx, [rsi]
    37b8bd791mov eax, [rsp+192]
    37b8bd798test edx, edx
    37b8bd79ajne 0x37b8bdf40
    37b8bd7a0add eax, 1
    37b8bd7a3mov [rsp+128], rsi
    37b8bd7abmov [rsp+192], eax
    37b8bd7b2mov rax, [rsp+432]
    37b8bd7bamov [rsp+104], r15
    37b8bd7bfmov [rsp+120], rax
    37b8bd7c4mov rax, [rsp+424]
    37b8bd7ccmov [rsp+96], r15
    37b8bd7d1mov [rsp+112], rax
    37b8bd7d6mov [rsp+88], rbx
    37b8bd7db
    37b8bd7dbloc_37b8bd7db:
    37b8bd7dbmov rax, [rsp+376]
    37b8bd7e3mov [rsp+80], r14
    37b8bd7e8mov r9, r13
    37b8bd7ebmov r8, rdi
    37b8bd7eemov [rsp+72], r12
    37b8bd7f3mov rdx, [rsp+328]
    37b8bd7fbmov [rsp+56], rax
    37b8bd800mov rax, [rsp+368]
    37b8bd808mov [rsp+64], rbp
    37b8bd80dmov rcx, [rsp+320]
    37b8bd815mov [rsp+48], rax
    37b8bd81amov rax, [rsp+360]
    37b8bd822mov [rsp+40], rax
    37b8bd827mov rax, [rsp+352]
    37b8bd82fmov [rsp+32], rax
    37b8bd834call dtgex2_
    37b8bd839mov r11l, [rsi]
    37b8bd83cmov ebx, [rsp+192]
    37b8bd843test r11l, r11l
    37b8bd846jne 0x37b8bd920
    37b8bd84cadd ebx, 1
    37b8bd84fmov [rsp+192], ebx
    37b8bd856jmp 0x37b8bd570
    37b8bd85b
    37b8bd85b 0f 1f 44 00 00 ..D..
    37b8bd860
    37b8bd860loc_37b8bd860:
    37b8bd860mov rax, [rsp+432]
    37b8bd868mov [rsp+128], rsi
    37b8bd870mov [rsp+104], r15
    37b8bd875mov [rsp+120], rax
    37b8bd87amov rax, [rsp+424]
    37b8bd882mov [rsp+96], r15
    37b8bd887mov [rsp+112], rax
    37b8bd88clea rax, [rsp+192]
    37b8bd894mov [rsp+88], rax
    37b8bd899jmp 0x37b8bd7db
    37b8bd89e
    37b8bd89e 66 90 f.
    37b8bd8a0
    37b8bd8a0loc_37b8bd8a0:
    37b8bd8a0movsxd r10, r8l
    37b8bd8a3lea r11l, [r8+1]
    37b8bd8a7pxor x1, x1
    37b8bd8abimul r10, rdx
    37b8bd8afmovsxd r11, r11l
    37b8bd8b2add r10, rcx
    37b8bd8b5add r10, r11
    37b8bd8b8ucomisd x1, [r13+8*r10]
    37b8bd8bfjp 0x37b8bd8c7
    37b8bd8c1je 0x37b8bd2ba
    37b8bd8c7
    37b8bd8c7loc_37b8bd8c7:
    37b8bd8c7mov r11l, 2
    37b8bd8cdjmp 0x37b8bd2c0
    37b8bd8d2
    37b8bd8d2 66 0f 1f 44 00 00 f..D..
    37b8bd8d8
    37b8bd8d8loc_37b8bd8d8:
    37b8bd8d8mov [rsp+196], 1
    37b8bd8e3
    37b8bd8e3loc_37b8bd8e3:
    37b8bd8e3movsxd r10, ebx
    37b8bd8e6lea r11l, [rbx+1]
    37b8bd8eapxor x1, x1
    37b8bd8eeimul r10, rdx
    37b8bd8f2movsxd r11, r11l
    37b8bd8f5add r10, rcx
    37b8bd8f8add r10, r11
    37b8bd8fbucomisd x1, [r13+8*r10]
    37b8bd902jp 0x37b8bd90a
    37b8bd904je 0x37b8bd276
    37b8bd90a
    37b8bd90aloc_37b8bd90a:
    37b8bd90amov [rsp+196], 2
    37b8bd915jmp 0x37b8bd276
    37b8bd91a
    37b8bd91aloc_37b8bd91a:
    37b8bd91amov ebx, eax
    37b8bd91cnop [rax]
    37b8bd920
    37b8bd920loc_37b8bd920:
    37b8bd920mov rax, [rsp+416]
    37b8bd928mov [rax], ebx
    37b8bd92ajmp 0x37b8bd0f0
    37b8bd92f
    37b8bd92f 90 .
    37b8bd930
    37b8bd930loc_37b8bd930:
    37b8bd930mov [rsp+320], rbp
    37b8bd938pxor x6, x6
    37b8bd93cmovapd x7, x0
    37b8bd940lea rax, [rsp+204]
    37b8bd948mov [rsp+152], rax
    37b8bd950lea rax, [rsp+200]
    37b8bd958mov rbp, [rsp+376]
    37b8bd960lea r15, [rip+0xb80561]
    37b8bd967mov [rsp+328], r12
    37b8bd96fmov r12, [rsp+384]
    37b8bd977mov [rsp+336], rdi
    37b8bd97fmov rdi, [rsp+368]
    37b8bd987mov [rsp+192], ebx
    37b8bd98emov [rsp+144], rax
    37b8bd996mov [rsp+168], rdx
    37b8bd99emov [rsp+176], rcx
    37b8bd9a6jmp 0x37b8bdbc0
    37b8bd9ab
    37b8bd9ab 0f 1f 44 00 00 ..D..
    37b8bd9b0
    37b8bd9b0loc_37b8bd9b0:
    37b8bd9b0mov ecx, r11l
    37b8bd9b3cmp ebx, 2
    37b8bd9b6jle 0x37b8bd9ef
    37b8bd9b8lea ecx, [rbx-2]
    37b8bd9bbmovsxd r8, r11l
    37b8bd9bemovsxd rdx, ecx
    37b8bd9c1imul rdx, [rsp+168]
    37b8bd9caadd rdx, [rsp+176]
    37b8bd9d2add rdx, r8
    37b8bd9d5ucomisd x6, [r13+8*rdx]
    37b8bd9dcjp 0x37b8bd9e4
    37b8bd9deje 0x37b8bde98
    37b8bd9e4
    37b8bd9e4loc_37b8bd9e4:
    37b8bd9e4mov [rsp+200], 2
    37b8bd9ef
    37b8bd9efloc_37b8bd9ef:
    37b8bd9efmov rax, [rsp+432]
    37b8bd9f7mov [rsp+80], r14
    37b8bd9fcmov r9, r13
    37b8bd9ffmov [rsp+64], r12
    37b8bda04mov r8, [rsp+336]
    37b8bda0cmov [rsp+120], rax
    37b8bda11mov rax, [rsp+424]
    37b8bda19mov [rsp+56], rbp
    37b8bda1emov rdx, [rsp+328]
    37b8bda26mov [rsp+112], rax
    37b8bda2bmov rax, [rsp+144]
    37b8bda33mov [rsp+48], rdi
    37b8bda38mov [rsp+96], rax
    37b8bda3dmov rax, [rsp+152]
    37b8bda45mov [rsp+204], ecx
    37b8bda4cmov rcx, [rsp+320]
    37b8bda54mov [rsp+88], rax
    37b8bda59mov rax, [rsp+392]
    37b8bda61mov [rsp+164], r11l
    37b8bda69mov [rsp+72], rax
    37b8bda6emov rax, [rsp+360]
    37b8bda76mov [rsp+128], rsi
    37b8bda7emov [rsp+40], rax
    37b8bda83mov rax, [rsp+352]
    37b8bda8bmov [rsp+104], r15
    37b8bda90mov [rsp+32], rax
    37b8bda95call dtgex2_
    37b8bda9amov r9l, [rsi]
    37b8bda9dmov r11l, [rsp+164]
    37b8bdaa5test r9l, r9l
    37b8bdaa8jne 0x37b8bd920
    37b8bdaaemov r8l, [rsp+200]
    37b8bdab6cmp r8l, 1
    37b8bdabaje 0x37b8bdea0
    37b8bdac0movsxd rdx, r11l
    37b8bdac3movsxd rcx, ebx
    37b8bdac6imul rdx, [rsp+168]
    37b8bdacfadd rdx, [rsp+176]
    37b8bdad7add rdx, rcx
    37b8bdadaucomisd x6, [r13+8*rdx]
    37b8bdae1jp 0x37b8bdae9
    37b8bdae3je 0x37b8bdd38
    37b8bdae9
    37b8bdae9loc_37b8bdae9:
    37b8bdae9cmp r8l, 2
    37b8bdaedjne 0x37b8bdd38
    37b8bdaf3mov rax, [rsp+432]
    37b8bdafbmov [rsp+80], r14
    37b8bdb00mov r9, r13
    37b8bdb03mov [rsp+64], r12
    37b8bdb08mov r8, [rsp+336]
    37b8bdb10mov [rsp+120], rax
    37b8bdb15mov rax, [rsp+424]
    37b8bdb1dmov [rsp+56], rbp
    37b8bdb22mov rdx, [rsp+328]
    37b8bdb2amov [rsp+112], rax
    37b8bdb2flea rax, [rip+0xb80396]
    37b8bdb36mov rcx, [rsp+320]
    37b8bdb3emov [rsp+96], rax
    37b8bdb43mov rax, [rsp+152]
    37b8bdb4bmov [rsp+48], rdi
    37b8bdb50mov [rsp+88], rax
    37b8bdb55mov rax, [rsp+392]
    37b8bdb5dmov [rsp+204], r11l
    37b8bdb65mov [rsp+72], rax
    37b8bdb6amov rax, [rsp+360]
    37b8bdb72mov [rsp+128], rsi
    37b8bdb7amov [rsp+40], rax
    37b8bdb7fmov rax, [rsp+352]
    37b8bdb87mov [rsp+104], r15
    37b8bdb8cmov [rsp+32], rax
    37b8bdb91call dtgex2_
    37b8bdb96mov r8l, [rsi]
    37b8bdb99test r8l, r8l
    37b8bdb9cjne 0x37b8bd920
    37b8bdba2sub ebx, 2
    37b8bdba5mov [rsp+192], ebx
    37b8bdbacnop [rax]
    37b8bdbb0
    37b8bdbb0loc_37b8bdbb0:
    37b8bdbb0mov rax, [rsp+416]
    37b8bdbb8cmp [rax], ebx
    37b8bdbbajge 0x37b8bdef0
    37b8bdbc0
    37b8bdbc0loc_37b8bdbc0:
    37b8bdbc0mov eax, [rsp+196]
    37b8bdbc7lea r11l, [rbx-1]
    37b8bdbcbmov [rsp+200], 1
    37b8bdbd6lea edx, [rax-1]
    37b8bdbd9cmp edx, 1
    37b8bdbdcja 0x37b8bd9b0
    37b8bdbe2cmp ebx, 2
    37b8bdbe5jle 0x37b8bdc1e
    37b8bdbe7lea r8l, [rbx-2]
    37b8bdbebmovsxd rcx, r11l
    37b8bdbeemovsxd rdx, r8l
    37b8bdbf1imul rdx, [rsp+168]
    37b8bdbfaadd rdx, [rsp+176]
    37b8bdc02add rdx, rcx
    37b8bdc05ucomisd x6, [r13+8*rdx]
    37b8bdc0cjp 0x37b8bdc10
    37b8bdc0eje 0x37b8bdc1e
    37b8bdc10
    37b8bdc10loc_37b8bdc10:
    37b8bdc10mov [rsp+200], 2
    37b8bdc1bmov r11l, r8l
    37b8bdc1e
    37b8bdc1eloc_37b8bdc1e:
    37b8bdc1emov rax, [rsp+432]
    37b8bdc26lea rdx, [rsp+196]
    37b8bdc2emov [rsp+80], r14
    37b8bdc33mov r9, r13
    37b8bdc36mov [rsp+64], r12
    37b8bdc3bmov r8, [rsp+336]
    37b8bdc43mov [rsp+120], rax
    37b8bdc48mov rax, [rsp+424]
    37b8bdc50mov [rsp+56], rbp
    37b8bdc55mov rcx, [rsp+320]
    37b8bdc5dmov [rsp+112], rax
    37b8bdc62mov rax, [rsp+144]
    37b8bdc6amov [rsp+48], rdi
    37b8bdc6fmov [rsp+96], rax
    37b8bdc74mov rax, [rsp+152]
    37b8bdc7cmov [rsp+104], rdx
    37b8bdc81mov rdx, [rsp+328]
    37b8bdc89mov [rsp+88], rax
    37b8bdc8emov rax, [rsp+392]
    37b8bdc96mov [rsp+204], r11l
    37b8bdc9emov [rsp+72], rax
    37b8bdca3mov rax, [rsp+360]
    37b8bdcabmov [rsp+128], rsi
    37b8bdcb3mov [rsp+40], rax
    37b8bdcb8mov rax, [rsp+352]
    37b8bdcc0mov [rsp+32], rax
    37b8bdcc5call dtgex2_
    37b8bdccamov r10l, [rsi]
    37b8bdccdtest r10l, r10l
    37b8bdcd0jne 0x37b8bd920
    37b8bdcd6sub ebx, [rsp+200]
    37b8bdcddmov [rsp+192], ebx
    37b8bdce4cmp [rsp+196], 2
    37b8bdcecjne 0x37b8bdbb0
    37b8bdcf2lea ecx, [rbx+1]
    37b8bdcf5movsxd rdx, ebx
    37b8bdcf8imul rdx, [rsp+168]
    37b8bdd01movsxd rcx, ecx
    37b8bdd04add rdx, [rsp+176]
    37b8bdd0cadd rdx, rcx
    37b8bdd0fucomisd x6, [r13+8*rdx]
    37b8bdd16jp 0x37b8bdbb0
    37b8bdd1cjne 0x37b8bdbb0
    37b8bdd22mov [rsp+196], 3
    37b8bdd2djmp 0x37b8bdbb0
    37b8bdd32
    37b8bdd32 66 0f 1f 44 00 00 f..D..
    37b8bdd38
    37b8bdd38loc_37b8bdd38:
    37b8bdd38mov rax, [rsp+432]
    37b8bdd40lea rbx, [rsp+192]
    37b8bdd48mov [rsp+104], r15
    37b8bdd4dmov r9, r13
    37b8bdd50mov [rsp+96], r15
    37b8bdd55mov rcx, [rsp+320]
    37b8bdd5dmov [rsp+120], rax
    37b8bdd62mov rax, [rsp+424]
    37b8bdd6amov [rsp+88], rbx
    37b8bdd6fmov r8, [rsp+336]
    37b8bdd77mov [rsp+112], rax
    37b8bdd7cmov rax, [rsp+392]
    37b8bdd84mov [rsp+80], r14
    37b8bdd89mov rdx, [rsp+328]
    37b8bdd91mov [rsp+72], rax
    37b8bdd96mov rax, [rsp+360]
    37b8bdd9emov [rsp+64], r12
    37b8bdda3mov [rsp+40], rax
    37b8bdda8mov rax, [rsp+352]
    37b8bddb0mov [rsp+56], rbp
    37b8bddb5mov [rsp+32], rax
    37b8bddbamov [rsp+48], rdi
    37b8bddbfmov [rsp+128], rsi
    37b8bddc7call dtgex2_
    37b8bddccmov ecx, [rsi]
    37b8bddcemov eax, [rsp+192]
    37b8bddd5test ecx, ecx
    37b8bddd7jne 0x37b8bdf40
    37b8bddddsub eax, 1
    37b8bdde0mov [rsp+128], rsi
    37b8bdde8mov [rsp+192], eax
    37b8bddefmov rax, [rsp+432]
    37b8bddf7mov [rsp+104], r15
    37b8bddfcmov [rsp+120], rax
    37b8bde01mov rax, [rsp+424]
    37b8bde09mov [rsp+96], r15
    37b8bde0emov [rsp+112], rax
    37b8bde13mov [rsp+88], rbx
    37b8bde18
    37b8bde18loc_37b8bde18:
    37b8bde18mov rax, [rsp+392]
    37b8bde20mov [rsp+80], r14
    37b8bde25mov r9, r13
    37b8bde28mov [rsp+64], r12
    37b8bde2dmov rdx, [rsp+328]
    37b8bde35mov [rsp+72], rax
    37b8bde3amov rax, [rsp+360]
    37b8bde42mov [rsp+56], rbp
    37b8bde47mov r8, [rsp+336]
    37b8bde4fmov [rsp+40], rax
    37b8bde54mov rax, [rsp+352]
    37b8bde5cmov [rsp+48], rdi
    37b8bde61mov rcx, [rsp+320]
    37b8bde69mov [rsp+32], rax
    37b8bde6ecall dtgex2_
    37b8bde73mov edx, [rsi]
    37b8bde75mov eax, [rsp+192]
    37b8bde7ctest edx, edx
    37b8bde7ejne 0x37b8bd91a
    37b8bde84lea ebx, [rax-1]
    37b8bde87mov [rsp+192], ebx
    37b8bde8ejmp 0x37b8bdbb0
    37b8bde93
    37b8bde93 0f 1f 44 00 00 ..D..
    37b8bde98
    37b8bde98loc_37b8bde98:
    37b8bde98mov ecx, r11l
    37b8bde9bjmp 0x37b8bd9ef
    37b8bdea0
    37b8bdea0loc_37b8bdea0:
    37b8bdea0mov rax, [rsp+432]
    37b8bdea8mov [rsp+128], rsi
    37b8bdeb0mov [rsp+104], r15
    37b8bdeb5mov [rsp+120], rax
    37b8bdebamov rax, [rsp+424]
    37b8bdec2mov [rsp+112], rax
    37b8bdec7mov rax, [rsp+144]
    37b8bdecfmov [rsp+96], rax
    37b8bded4lea rax, [rsp+192]
    37b8bdedcmov [rsp+88], rax
    37b8bdee1jmp 0x37b8bde18
    37b8bdee6
    37b8bdee6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b8bdef0
    37b8bdef0loc_37b8bdef0:
    37b8bdef0mov rax, [rsp+416]
    37b8bdef8mov [rax], ebx
    37b8bdefamov rax, [rsp+424]
    37b8bdf02movsd_xmm [rax], x7
    37b8bdf06jmp 0x37b8bd0f0
    37b8bdf0b
    37b8bdf0b 0f 1f 44 00 00 ..D..
    37b8bdf10
    37b8bdf10loc_37b8bdf10:
    37b8bdf10cmp r10l, 1
    37b8bdf14jne 0x37b8bd2fa
    37b8bdf1acmp r11l, 2
    37b8bdf1ejne 0x37b8bd2fa
    37b8bdf24mov r9, [rsp+416]
    37b8bdf2cadd r8l, 1
    37b8bdf30mov [r9], r8l
    37b8bdf33jmp 0x37b8bd2fa
    37b8bdf38
    37b8bdf38 0f 1f 84 00 00 00 00 00 ........
    37b8bdf40
    37b8bdf40loc_37b8bdf40:
    37b8bdf40mov rdi, [rsp+416]
    37b8bdf48mov [rdi], eax
    37b8bdf4ajmp 0x37b8bd0f0
    37b8bdf4f
    37b8bdf4floc_37b8bdf4f:
    37b8bdf4fmov rax, [rsp+424]
    37b8bdf57mov rdi, [rip+0xb7ff72]
    37b8bdf5emov [rax], rdi
    37b8bdf61test r15l, r15l
    37b8bdf64jle 0x37b8bd1fe
    37b8bdf6ajmp 0x37b8bd0f0
    37b8bd040
    37b8bdf6f
    37b8bdf6f // align 0x20
    37b8bdf80
    37b8bdf80dtgsen_:
    37b8bdf80push r15
    37b8bdf82push r14
    37b8bdf84push r13
    37b8bdf86push r12
    37b8bdf88push rbp
    37b8bdf89push rdi
    37b8bdf8apush rsi
    37b8bdf8bpush rbx
    37b8bdf8csub rsp, 440
    37b8bdf93movups [rsp+384], x6
    37b8bdf9bmovups [rsp+400], x7
    37b8bdfa3movups [rsp+416], x8
    37b8bdfacmov ebx, 1
    37b8bdfb1mov rax, [rsp+560]
    37b8bdfb9mov rdi, [rsp+640]
    37b8bdfc1mov r13, [rsp+696]
    37b8bdfc9mov eax, [rax]
    37b8bdfcbmov [rsp+200], eax
    37b8bdfd2mov rax, [rsp+576]
    37b8bdfdamov rbp, rcx
    37b8bdfddmov rsi, r9
    37b8bdfe0mov [rsp+520], rdx
    37b8bdfe8mov eax, [rax]
    37b8bdfeamov [rsp+528], r8
    37b8bdff2mov [rsp+216], eax
    37b8bdff9mov rax, [rsp+616]
    37b8be001mov eax, [rax]
    37b8be003mov [rsp+228], eax
    37b8be00amov rax, [rsp+632]
    37b8be012mov edx, [rax]
    37b8be014mov rax, [rsp+704]
    37b8be01cmov [rax], 0
    37b8be022mov rax, [rsp+680]
    37b8be02acmp [rax], -1
    37b8be02dje 0x37b8be037
    37b8be02fcmp [r13], -1
    37b8be034sete bl
    37b8be037
    37b8be037loc_37b8be037:
    37b8be037and ebx, 1
    37b8be03acmp [rbp], 5
    37b8be03eja 0x37b8be280
    37b8be044mov rax, [rsp+544]
    37b8be04cmov eax, [rax]
    37b8be04etest eax, eax
    37b8be050js 0x37b8be2a0
    37b8be056mov ecx, 1
    37b8be05bcmovg ecx, eax
    37b8be05ecmp [rsp+200], ecx
    37b8be065jl 0x37b8be2b0
    37b8be06bcmp [rsp+216], ecx
    37b8be072jl 0x37b8be2c0
    37b8be078mov ecx, [rsp+228]
    37b8be07ftest ecx, ecx
    37b8be081jle 0x37b8be2cc
    37b8be087cmp ecx, eax
    37b8be089jge 0x37b8be09c
    37b8be08bmov rcx, [rsp+520]
    37b8be093test [rcx], 1
    37b8be096jne 0x37b8be2cc
    37b8be09c
    37b8be09cloc_37b8be09c:
    37b8be09ctest edx, edx
    37b8be09ejle 0x37b8bf55a
    37b8be0a4mov rcx, [rsp+528]
    37b8be0actest [rcx], 1
    37b8be0afje 0x37b8be0b9
    37b8be0b1cmp edx, eax
    37b8be0b3jl 0x37b8bf55a
    37b8be0b9
    37b8be0b9loc_37b8be0b9:
    37b8be0b9mov edx, 1
    37b8be0belea rcx, [rip+0xb7fe33]
    37b8be0c5call dlamch_
    37b8be0calea rcx, [rip+0xb7fe28]
    37b8be0d1mov edx, 1
    37b8be0d6movapd x6, x0
    37b8be0dacall dlamch_
    37b8be0dfmov ecx, [rbp]
    37b8be0e2mov rax, [rsp+544]
    37b8be0eamov [rsp+304], 0
    37b8be0f5mov [rdi], 0
    37b8be0fbmovapd x7, x0
    37b8be0ffmov r14l, [rax]
    37b8be102lea r11l, [rcx-3]
    37b8be106test ecx, ecx
    37b8be108jne 0x37b8be112
    37b8be10atest ebx, ebx
    37b8be10cjne 0x37b8be310
    37b8be112
    37b8be112loc_37b8be112:
    37b8be112xor r12l, r12l
    37b8be115cmp ecx, 4
    37b8be118sete r12b
    37b8be11ctest r14l, r14l
    37b8be11fjle 0x37b8be1a0
    37b8be121movsxd rax, [rsp+200]
    37b8be129movsxd r10, r14l
    37b8be12clea r8l, [r14+1]
    37b8be130pxor x0, x0
    37b8be134sub r10, 1
    37b8be138lea r9, [8*rax+8]
    37b8be140mov rax, [rsp+552]
    37b8be148lea rdx, [rax-8]
    37b8be14cmov eax, 1
    37b8be151jmp 0x37b8be16f
    37b8be153
    37b8be153 0f 1f 44 00 00 ..D..
    37b8be158
    37b8be158loc_37b8be158:
    37b8be158mov ebp, [rsi+4*r10]
    37b8be15ctest ebp, ebp
    37b8be15eje 0x37b8be163
    37b8be160
    37b8be160loc_37b8be160:
    37b8be160add [rdi], 1
    37b8be163
    37b8be163loc_37b8be163:
    37b8be163add rax, 1
    37b8be167add rdx, r9
    37b8be16acmp rax, r8
    37b8be16dje 0x37b8be1a0
    37b8be16f
    37b8be16floc_37b8be16f:
    37b8be16fcmp r14l, eax
    37b8be172jle 0x37b8be158
    37b8be174ucomisd x0, [rdx+16]
    37b8be179mov ebp, [rsi+4*rax-4]
    37b8be17djp 0x37b8be2e0
    37b8be183jne 0x37b8be2e0
    37b8be189test ebp, ebp
    37b8be18bjne 0x37b8be160
    37b8be18dadd rax, 1
    37b8be191add rdx, r9
    37b8be194cmp rax, r8
    37b8be197jne 0x37b8be16f
    37b8be199nop [rax]
    37b8be1a0
    37b8be1a0loc_37b8be1a0:
    37b8be1a0lea eax, [rcx-1]
    37b8be1a3cmp eax, 1
    37b8be1a6jbe 0x37b8be1b1
    37b8be1a8test r12l, r12l
    37b8be1abje 0x37b8be310
    37b8be1b1
    37b8be1b1loc_37b8be1b1:
    37b8be1b1mov eax, [rdi]
    37b8be1b3mov edx, r14l
    37b8be1b6mov r8l, 1
    37b8be1bclea r12l, [r14+6]
    37b8be1c0sub edx, eax
    37b8be1c2imul eax, edx
    37b8be1c5lea edx, [4*r14+16]
    37b8be1cdadd eax, eax
    37b8be1cftest edx, edx
    37b8be1d1cmovle edx, r8l
    37b8be1d5cmp eax, edx
    37b8be1d7cmovl eax, edx
    37b8be1datest r12l, r12l
    37b8be1ddmov edx, 1
    37b8be1e2cmovle r12l, edx
    37b8be1e6
    37b8be1e6loc_37b8be1e6:
    37b8be1e6mov rdx, [rsp+672]
    37b8be1eepxor x0, x0
    37b8be1f2cvtsi2sd x0, eax
    37b8be1f6movsd_xmm [rdx], x0
    37b8be1famov rdx, [rsp+688]
    37b8be202mov [rdx], r12l
    37b8be205mov rdx, [rsp+680]
    37b8be20dcmp [rdx], eax
    37b8be20fmov rax, [rsp+704]
    37b8be217jge 0x37b8be378
    37b8be21dtest ebx, ebx
    37b8be21fjne 0x37b8be3b0
    37b8be225mov [rax], -22
    37b8be22bmov eax, 22
    37b8be230
    37b8be230loc_37b8be230:
    37b8be230lea rdx, [rsp+372]
    37b8be238mov r8l, 6
    37b8be23elea rcx, [rip+0xb7fc9b]
    37b8be245mov [rsp+372], eax
    37b8be24ccall xerbla_
    37b8be251nop
    37b8be252
    37b8be252loc_37b8be252:
    37b8be252movups x6, [rsp+384]
    37b8be25amovups x7, [rsp+400]
    37b8be262movups x8, [rsp+416]
    37b8be26badd rsp, 440
    37b8be272pop rbx
    37b8be273pop rsi
    37b8be274pop rdi
    37b8be275pop rbp
    37b8be276pop r12
    37b8be278pop r13
    37b8be27apop r14
    37b8be27cpop r15
    37b8be27eret
    37b8be27f
    37b8be27f 90 .
    37b8be280
    37b8be280loc_37b8be280:
    37b8be280mov edx, -1
    37b8be285mov eax, 1
    37b8be28a
    37b8be28aloc_37b8be28a:
    37b8be28amov rsi, [rsp+704]
    37b8be292mov [rsi], edx
    37b8be294jmp 0x37b8be230
    37b8be296
    37b8be296 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b8be2a0
    37b8be2a0loc_37b8be2a0:
    37b8be2a0mov edx, -5
    37b8be2a5mov eax, 5
    37b8be2aajmp 0x37b8be28a
    37b8be2ac
    37b8be2ac 0f 1f 40 00 ..@.
    37b8be2b0
    37b8be2b0loc_37b8be2b0:
    37b8be2b0mov edx, -7
    37b8be2b5mov eax, 7
    37b8be2bajmp 0x37b8be28a
    37b8be2bc
    37b8be2bc 0f 1f 40 00 ..@.
    37b8be2c0
    37b8be2c0loc_37b8be2c0:
    37b8be2c0mov edx, -9
    37b8be2c5mov eax, 9
    37b8be2cajmp 0x37b8be28a
    37b8be2cc
    37b8be2ccloc_37b8be2cc:
    37b8be2ccmov edx, -14
    37b8be2d1mov eax, 14
    37b8be2d6jmp 0x37b8be28a
    37b8be2d8
    37b8be2d8 0f 1f 84 00 00 00 00 00 ........
    37b8be2e0
    37b8be2e0loc_37b8be2e0:
    37b8be2e0test ebp, ebp
    37b8be2e2jne 0x37b8be3a0
    37b8be2e8mov r15l, [rsi+4*rax]
    37b8be2ectest r15l, r15l
    37b8be2efjne 0x37b8be3a0
    37b8be2f5
    37b8be2f5loc_37b8be2f5:
    37b8be2f5add rax, 1
    37b8be2f9cmp r8, rax
    37b8be2fcje 0x37b8be1a0
    37b8be302add rdx, r9
    37b8be305jmp 0x37b8be163
    37b8be30a
    37b8be30a 66 0f 1f 44 00 00 f..D..
    37b8be310
    37b8be310loc_37b8be310:
    37b8be310lea eax, [4*r14+16]
    37b8be318mov edx, 1
    37b8be31dmov r12l, 1
    37b8be323test eax, eax
    37b8be325cmovle eax, edx
    37b8be328test r11l, -3
    37b8be32fjne 0x37b8be1e6
    37b8be335mov r8l, [rdi]
    37b8be338mov edx, r14l
    37b8be33bmov r9l, 1
    37b8be341sub edx, r8l
    37b8be344imul edx, r8l
    37b8be348lea r8l, [4*rdx]
    37b8be350cmp eax, r8l
    37b8be353cmovl eax, r8l
    37b8be357lea r8l, [r14+6]
    37b8be35btest r8l, r8l
    37b8be35ecmovle r8l, r9l
    37b8be362add edx, edx
    37b8be364cmp r8l, edx
    37b8be367cmovge edx, r8l
    37b8be36bmov r12l, edx
    37b8be36ejmp 0x37b8be1e6
    37b8be373
    37b8be373 0f 1f 44 00 00 ..D..
    37b8be378
    37b8be378loc_37b8be378:
    37b8be378cmp [r13], r12l
    37b8be37cjge 0x37b8be3c8
    37b8be37etest ebx, ebx
    37b8be380jne 0x37b8bee14
    37b8be386mov [rax], -24
    37b8be38cmov eax, 24
    37b8be391jmp 0x37b8be230
    37b8be396
    37b8be396 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b8be3a0
    37b8be3a0loc_37b8be3a0:
    37b8be3a0add [rdi], 2
    37b8be3a3jmp 0x37b8be2f5
    37b8be3a8
    37b8be3a8 0f 1f 84 00 00 00 00 00 ........
    37b8be3b0
    37b8be3b0loc_37b8be3b0:
    37b8be3b0mov eax, [rax]
    37b8be3b2test eax, eax
    37b8be3b4je 0x37b8be252
    37b8be3ba
    37b8be3baloc_37b8be3ba:
    37b8be3baneg eax
    37b8be3bcjmp 0x37b8be230
    37b8be3c1
    37b8be3c1 0f 1f 80 00 00 00 00 .......
    37b8be3c8
    37b8be3c8loc_37b8be3c8:
    37b8be3c8mov eax, [rax]
    37b8be3catest eax, eax
    37b8be3ccjne 0x37b8be3ba
    37b8be3cetest ebx, ebx
    37b8be3d0jne 0x37b8be252
    37b8be3d6xor r13l, r13l
    37b8be3d9cmp ecx, 1
    37b8be3dcsete r13b
    37b8be3e0xor eax, eax
    37b8be3e2cmp ecx, 3
    37b8be3e5setg al
    37b8be3e8sub ecx, 2
    37b8be3ebor r13l, eax
    37b8be3eeand ecx, -3
    37b8be3f1sete al
    37b8be3f4xor edx, edx
    37b8be3f6and r11l, -3
    37b8be3famov [rsp+248], ecx
    37b8be401sete dl
    37b8be404movzx eax, al
    37b8be407or eax, edx
    37b8be409mov edx, [rdi]
    37b8be40btest edx, edx
    37b8be40dje 0x37b8be670
    37b8be413cmp edx, r14l
    37b8be416je 0x37b8be670
    37b8be41cmovsxd r11, [rsp+200]
    37b8be424mov [rsp+320], 0
    37b8be42fmov rbx, r11
    37b8be432not rbx
    37b8be435mov [rsp+280], rbx
    37b8be43dmovsxd rbx, [rsp+216]
    37b8be445mov [rsp+296], rbx
    37b8be44dnot rbx
    37b8be450mov [rsp+288], rbx
    37b8be458test r14l, r14l
    37b8be45bjle 0x37b8bf86f
    37b8be461lea rcx, [rsp+304]
    37b8be469mov rbx, rsi
    37b8be46cmov ebp, 2
    37b8be471mov rsi, -1
    37b8be478mov [rsp+256], rcx
    37b8be480lea rcx, [rsp+320]
    37b8be488mov edx, 1
    37b8be48dmov [rsp+264], rcx
    37b8be495lea rcx, [rsp+316]
    37b8be49dmov [rsp+272], rcx
    37b8be4a5jmp 0x37b8be50d
    37b8be4a7
    37b8be4a7 66 0f 1f 84 00 00 00 00 00 f........
    37b8be4b0
    37b8be4b0loc_37b8be4b0:
    37b8be4b0mov r10, [rsp+552]
    37b8be4b8movsxd rcx, ebp
    37b8be4bbpxor x1, x1
    37b8be4bfadd rcx, rsi
    37b8be4c2ucomisd x1, [r10+8*rcx]
    37b8be4c8jp 0x37b8be4cc
    37b8be4caje 0x37b8be51c
    37b8be4cc
    37b8be4ccloc_37b8be4cc:
    37b8be4cctest r15l, r15l
    37b8be4cfjne 0x37b8be52b
    37b8be4d1mov r15l, [rbx+4]
    37b8be4d5test r15l, r15l
    37b8be4d8jne 0x37b8be52b
    37b8be4dacmp ebp, r14l
    37b8be4ddjg 0x37b8beb90
    37b8be4e3nop
    37b8be4e5nop [rax+rax]
    37b8be4f0
    37b8be4f0loc_37b8be4f0:
    37b8be4f0lea edx, [rbp+1]
    37b8be4f3add rbx, 4
    37b8be4f7add rsi, r11
    37b8be4fa
    37b8be4faloc_37b8be4fa:
    37b8be4facmp edx, r14l
    37b8be4fdjg 0x37b8beb90
    37b8be503lea ebp, [rdx+1]
    37b8be506add rbx, 4
    37b8be50aadd rsi, r11
    37b8be50d
    37b8be50dloc_37b8be50d:
    37b8be50dmov rcx, [rsp+544]
    37b8be515mov r15l, [rbx]
    37b8be518cmp edx, [rcx]
    37b8be51ajl 0x37b8be4b0
    37b8be51c
    37b8be51cloc_37b8be51c:
    37b8be51ctest r15l, r15l
    37b8be51fjne 0x37b8be528
    37b8be521mov edx, ebp
    37b8be523jmp 0x37b8be4fa
    37b8be525
    37b8be525 0f 1f 00 ...
    37b8be528
    37b8be528loc_37b8be528:
    37b8be528xor r15l, r15l
    37b8be52b
    37b8be52bloc_37b8be52b:
    37b8be52bmov ecx, [rsp+320]
    37b8be532mov [rsp+316], edx
    37b8be539add ecx, 1
    37b8be53cmov [rsp+320], ecx
    37b8be543cmp edx, ecx
    37b8be545je 0x37b8be63c
    37b8be54bmov [rsp+232], eax
    37b8be552mov rax, [rsp+256]
    37b8be55amov r9, [rsp+552]
    37b8be562mov r8, [rsp+544]
    37b8be56amov [rsp+240], r11
    37b8be572mov [rsp+120], rax
    37b8be577mov rax, [rsp+680]
    37b8be57fmov rdx, [rsp+528]
    37b8be587mov rcx, [rsp+520]
    37b8be58fmovsd_xmm [rsp+208], x0
    37b8be598mov [rsp+112], rax
    37b8be59dmov rax, [rsp+672]
    37b8be5a5mov [rsp+104], rax
    37b8be5aamov rax, [rsp+264]
    37b8be5b2mov [rsp+96], rax
    37b8be5b7mov rax, [rsp+272]
    37b8be5bfmov [rsp+88], rax
    37b8be5c4mov rax, [rsp+632]
    37b8be5ccmov [rsp+80], rax
    37b8be5d1mov rax, [rsp+624]
    37b8be5d9mov [rsp+72], rax
    37b8be5demov rax, [rsp+616]
    37b8be5e6mov [rsp+64], rax
    37b8be5ebmov rax, [rsp+608]
    37b8be5f3mov [rsp+56], rax
    37b8be5f8mov rax, [rsp+576]
    37b8be600mov [rsp+48], rax
    37b8be605mov rax, [rsp+568]
    37b8be60dmov [rsp+40], rax
    37b8be612mov rax, [rsp+560]
    37b8be61amov [rsp+32], rax
    37b8be61fcall dtgexc_
    37b8be624mov r11, [rsp+240]
    37b8be62cmov eax, [rsp+232]
    37b8be633movsd_xmm x0, [rsp+208]
    37b8be63c
    37b8be63cloc_37b8be63c:
    37b8be63cmov r10l, [rsp+304]
    37b8be644test r10l, r10l
    37b8be647jg 0x37b8bf502
    37b8be64dtest r15l, r15l
    37b8be650jne 0x37b8beb70
    37b8be656cmp ebp, r14l
    37b8be659jg 0x37b8beb90
    37b8be65fmov edx, ebp
    37b8be661add rbx, 4
    37b8be665add rsi, r11
    37b8be668add ebp, 1
    37b8be66bjmp 0x37b8be50d
    37b8be670
    37b8be670loc_37b8be670:
    37b8be670test r13l, r13l
    37b8be673je 0x37b8be695
    37b8be675movsd_xmm x1, [rip+0xb7f893]
    37b8be67dmov rdi, [rsp+648]
    37b8be685mov rsi, [rsp+656]
    37b8be68dmovsd_xmm [rdi], x1
    37b8be691movsd_xmm [rsi], x1
    37b8be695
    37b8be695loc_37b8be695:
    37b8be695test eax, eax
    37b8be697je 0x37b8be7af
    37b8be69dmov rax, [rip+0xb7f86c]
    37b8be6a4mov [rsp+336], 0
    37b8be6b0mov [rsp+344], rax
    37b8be6b8test r14l, r14l
    37b8be6bbjle 0x37b8bf85b
    37b8be6c1movsxd rdi, [rsp+216]
    37b8be6c9mov r15, [rsp+552]
    37b8be6d1mov [rsp+232], r12l
    37b8be6d9lea r13, [rsp+344]
    37b8be6e1movsxd rbp, [rsp+200]
    37b8be6e9mov rbx, [rsp+568]
    37b8be6f1movapd x8, x0
    37b8be6f6lea rax, [8*rdi]
    37b8be6femov rsi, [rsp+544]
    37b8be706mov r12, r15
    37b8be709mov r15l, r14l
    37b8be70cmov [rsp+208], rax
    37b8be714shl rbp, 3
    37b8be718mov r14l, 1
    37b8be71enop
    37b8be720
    37b8be720loc_37b8be720:
    37b8be720mov [rsp+32], r13
    37b8be725mov rdx, r12
    37b8be728mov rcx, rsi
    37b8be72badd r14l, 1
    37b8be72flea r9, [rsp+336]
    37b8be737lea r8, [rip+0xb7f7aa]
    37b8be73eadd r12, rbp
    37b8be741call dlassq_
    37b8be746mov [rsp+32], r13
    37b8be74bmov rdx, rbx
    37b8be74emov rcx, rsi
    37b8be751lea r9, [rsp+336]
    37b8be759lea r8, [rip+0xb7f788]
    37b8be760call dlassq_
    37b8be765add rbx, [rsp+208]
    37b8be76dcmp r14l, r15l
    37b8be770jle 0x37b8be720
    37b8be772movsd_xmm x1, [rsp+344]
    37b8be77bmov rax, [rsp+544]
    37b8be783movapd x0, x8
    37b8be788mov r12l, [rsp+232]
    37b8be790sqrtsd x1, x1
    37b8be794mov r14l, [rax]
    37b8be797mov rax, [rsp+664]
    37b8be79fmulsd x1, [rsp+336]
    37b8be7a8unpcklpd x1, x1
    37b8be7acmovups [rax], x1
    37b8be7af
    37b8be7afloc_37b8be7af:
    37b8be7aftest r14l, r14l
    37b8be7b2jle 0x37b8be924
    37b8be7b8movapd x5, x7
    37b8be7bcmovsxd rax, [rsp+200]
    37b8be7c4movsxd r15, [rsp+228]
    37b8be7ccmov r10l, r14l
    37b8be7cfdivsd x5, x6
    37b8be7d3mov rsi, [rsp+552]
    37b8be7dbmov rbp, [rsp+600]
    37b8be7e3mov [rsp+228], r12l
    37b8be7ebmov [rsp+232], rax
    37b8be7f3lea rax, [8*rax+8]
    37b8be7fbxor edx, edx
    37b8be7fdmovapd x7, x0
    37b8be801mov [rsp+208], rax
    37b8be809movsxd rax, [rsp+216]
    37b8be811mov rdi, -1
    37b8be818lea r13, [rsi-8]
    37b8be81cmov r9, [rsp+584]
    37b8be824mov rbx, [rsp+592]
    37b8be82cmov r12l, 1
    37b8be832movq x2, [rip+0xb7f6c6]
    37b8be83amov [rsp+216], rax
    37b8be842lea rax, [8*rax+8]
    37b8be84amovq x4, [rip+0xb7f6be]
    37b8be852mov [rsp+200], rax
    37b8be85amov rax, [rsp+568]
    37b8be862lea r11, [rax-8]
    37b8be866mov r14, r11
    37b8be869mov r11, r15
    37b8be86cmovapd x8, x5
    37b8be871nop [rax]
    37b8be875nop [rax+rax]
    37b8be880
    37b8be880loc_37b8be880:
    37b8be880test edx, edx
    37b8be882jne 0x37b8be8e0
    37b8be884mov rax, [rsp+544]
    37b8be88cmovsd_xmm x1, [r14+8]
    37b8be892mov eax, [rax]
    37b8be894cmp eax, r12l
    37b8be897jle 0x37b8be8b3
    37b8be899movsd_xmm x5, [r13+16]
    37b8be89fpxor x0, x0
    37b8be8a3ucomisd x5, x0
    37b8be8a7jp 0x37b8bea58
    37b8be8adjne 0x37b8bea58
    37b8be8b3
    37b8be8b3loc_37b8be8b3:
    37b8be8b3movapd x0, x2
    37b8be8b7pxor x3, x3
    37b8be8bbandpd x0, x1
    37b8be8bforpd x0, x4
    37b8be8c3comisd x3, x0
    37b8be8c7ja 0x37b8be940
    37b8be8c9
    37b8be8c9loc_37b8be8c9:
    37b8be8c9movsd_xmm x0, [r13+8]
    37b8be8cfmov [rbx], 0
    37b8be8d6movsd_xmm [rbp], x1
    37b8be8dbmovsd_xmm [r9], x0
    37b8be8e0
    37b8be8e0loc_37b8be8e0:
    37b8be8e0xor edx, edx
    37b8be8e2lea r15, [r9+8]
    37b8be8e6lea rax, [rbp+8]
    37b8be8ea
    37b8be8ealoc_37b8be8ea:
    37b8be8eaadd r12, 1
    37b8be8eemov rbp, rax
    37b8be8f1mov r9, r15
    37b8be8f4add rbx, 8
    37b8be8f8add r13, [rsp+208]
    37b8be900add r14, [rsp+200]
    37b8be908add rsi, 8
    37b8be90cadd rdi, r11
    37b8be90fcmp r10l, r12l
    37b8be912jge 0x37b8be880
    37b8be918mov r12l, [rsp+228]
    37b8be920movapd x0, x7
    37b8be924
    37b8be924loc_37b8be924:
    37b8be924mov rax, [rsp+672]
    37b8be92cmovsd_xmm [rax], x0
    37b8be930mov rax, [rsp+688]
    37b8be938mov [rax], r12l
    37b8be93bjmp 0x37b8be252
    37b8be940
    37b8be940loc_37b8be940:
    37b8be940test eax, eax
    37b8be942jle 0x37b8be8c9
    37b8be944mov rcx, [rsp+520]
    37b8be94cmov rdx, [rsp+216]
    37b8be954sub eax, 1
    37b8be957mov [rsp+256], rbx
    37b8be95fadd rax, rdi
    37b8be962mov r15l, [rcx]
    37b8be965mov rcx, [rsp+232]
    37b8be96dlea r8, [8*rdx]
    37b8be975mov rdx, [rsp+568]
    37b8be97dshl rcx, 3
    37b8be981mov [rsp+240], rcx
    37b8be989lea rcx, [rdx+8*r12-8]
    37b8be98emov rdx, [rsp+608]
    37b8be996mov [rsp+248], rcx
    37b8be99emov rcx, [rsp+608]
    37b8be9a6lea rdx, [rdx+8*rax+16]
    37b8be9abmov rbx, [rsp+240]
    37b8be9b3mov rax, rsi
    37b8be9b6mov [rsp+240], rdi
    37b8be9belea rcx, [rcx+8*rdi+8]
    37b8be9c3mov rdi, rdx
    37b8be9c6mov rdx, [rsp+248]
    37b8be9cenop [rax+rax]
    37b8be9d4nop [rax+rax]
    37b8be9dfnop [rax+rax]
    37b8be9eanop [rax+rax]
    37b8be9f5nop [rax+rax]
    37b8bea00
    37b8bea00loc_37b8bea00:
    37b8bea00movsd_xmm x0, [rax]
    37b8bea04xorpd x0, x2
    37b8bea08movsd_xmm [rax], x0
    37b8bea0cmovsd_xmm x0, [rdx]
    37b8bea10xorpd x0, x2
    37b8bea14movsd_xmm [rdx], x0
    37b8bea18test r15l, r15l
    37b8bea1bje 0x37b8bea29
    37b8bea1dmovsd_xmm x0, [rcx]
    37b8bea21xorpd x0, x2
    37b8bea25movsd_xmm [rcx], x0
    37b8bea29
    37b8bea29loc_37b8bea29:
    37b8bea29add rcx, 8
    37b8bea2dadd rax, rbx
    37b8bea30add rdx, r8
    37b8bea33cmp rdi, rcx
    37b8bea36jne 0x37b8bea00
    37b8bea38mov rbx, [rsp+256]
    37b8bea40mov rdi, [rsp+240]
    37b8bea48movsd_xmm x1, [r14+8]
    37b8bea4ejmp 0x37b8be8c9
    37b8bea53
    37b8bea53 0f 1f 44 00 00 ..D..
    37b8bea58
    37b8bea58loc_37b8bea58:
    37b8bea58mov rax, [rsp+232]
    37b8bea60movsd_xmm x2, [r13+8]
    37b8bea66movapd x0, x6
    37b8bea6amovhpd x1, [r14+16]
    37b8bea70mulsd x0, x8
    37b8bea75lea r15, [r9+8]
    37b8bea79lea rdx, [rsp+360]
    37b8bea81mov [rsp+256], r11
    37b8bea89movsd_xmm x3, [r13+8*rax+8]
    37b8bea90unpcklpd x2, x5
    37b8bea94mov [rsp+248], r10l
    37b8bea9cmovapd x4, x3
    37b8beaa0movhpd x4, [r13+8*rax+16]
    37b8beaa7mov rax, [rsp+216]
    37b8beaafmovsd_xmm [rsp+360], x0
    37b8beab8movsd_xmm x3, [r14+8*rax+8]
    37b8beabfmovhpd x3, [r14+8*rax+16]
    37b8beac6mov rax, [rsp+672]
    37b8beacemovups [rax], x2
    37b8bead1movups [rax+16], x4
    37b8bead5movups [rax+32], x1
    37b8bead9movups [rax+48], x3
    37b8beaddlea rax, [rbp+8]
    37b8beae1mov [rsp+56], r9
    37b8beae6lea r9, [rip+0xb7f407]
    37b8beaedmov [rsp+48], rax
    37b8beaf2mov [rsp+240], rax
    37b8beafamov rax, [rsp+672]
    37b8beb02mov [rsp+32], rdx
    37b8beb07mov rdx, r9
    37b8beb0amov [rsp+72], rbx
    37b8beb0flea r8, [rax+32]
    37b8beb13mov rcx, rax
    37b8beb16mov [rsp+64], r15
    37b8beb1bmov [rsp+40], rbp
    37b8beb20call dlag2_
    37b8beb25movsd_xmm x1, [rbx]
    37b8beb29xorpd x1, [rip+0xb7f3cf]
    37b8beb31mov edx, 1
    37b8beb36mov rax, [rsp+240]
    37b8beb3emov r10l, [rsp+248]
    37b8beb46movq x2, [rip+0xb7f3b2]
    37b8beb4emovq x4, [rip+0xb7f3ba]
    37b8beb56mov r11, [rsp+256]
    37b8beb5emovsd_xmm [rbx+8], x1
    37b8beb63jmp 0x37b8be8ea
    37b8beb68
    37b8beb68 0f 1f 84 00 00 00 00 00 ........
    37b8beb70
    37b8beb70loc_37b8beb70:
    37b8beb70add [rsp+320], 1
    37b8beb78cmp ebp, r14l
    37b8beb7bjle 0x37b8be4f0
    37b8beb81nop [rax]
    37b8beb85nop [rax+rax]
    37b8beb90
    37b8beb90loc_37b8beb90:
    37b8beb90mov rsi, [rsp+544]
    37b8beb98mov r14l, [rsi]
    37b8beb9btest r13l, r13l
    37b8beb9ejne 0x37b8bf0e0
    37b8beba4
    37b8beba4loc_37b8beba4:
    37b8beba4test eax, eax
    37b8beba6je 0x37b8be7af
    37b8bebacmov edx, [rdi]
    37b8bebae
    37b8bebaeloc_37b8bebae:
    37b8bebaesub r14l, edx
    37b8bebb1mov ecx, edx
    37b8bebb3mov r9l, [rsp+248]
    37b8bebbblea r8l, [rdx+1]
    37b8bebbfimul ecx, r14l
    37b8bebc3lea eax, [rcx+rcx]
    37b8bebc6test r9l, r9l
    37b8bebc9je 0x37b8bf569
    37b8bebcfmov [rsp+328], edx
    37b8bebd6movsxd r8, r8l
    37b8bebd9mov rdx, [rsp+296]
    37b8bebe1lea rsi, [rsp+324]
    37b8bebe9mov rdi, [rsp+568]
    37b8bebf1imul r11, r8
    37b8bebf5mov [rsp+332], r14l
    37b8bebfdlea rbp, [rsp+372]
    37b8bec05imul rdx, r8
    37b8bec09movapd x8, x0
    37b8bec0eadd rdx, [rsp+288]
    37b8bec16mov [rsp+248], r12l
    37b8bec1eadd rdx, r8
    37b8bec21mov [rsp+208], rsi
    37b8bec29mov r12, [rsp+576]
    37b8bec31lea rbx, [rsp+312]
    37b8bec39lea r15, [rdi+8*rdx]
    37b8bec3dmov rdx, [rsp+280]
    37b8bec45mov rdi, [rsp+552]
    37b8bec4dmov [rsp+312], 0
    37b8bec58mov [rsp+324], eax
    37b8bec5fmov r14, [rsp+680]
    37b8bec67add rdx, r11
    37b8bec6amov rsi, [rsp+688]
    37b8bec72mov [rsp+308], 0
    37b8bec7dadd rdx, r8
    37b8bec80lea r13, [rdi+8*rdx]
    37b8bec84lea rdi, [rsp+332]
    37b8bec8cmov [rsp+232], r13
    37b8bec94mov r13, [rsp+672]
    37b8bec9cmov [rsp+240], rdi
    37b8beca4mov rdi, [rsp+560]
    37b8becacjmp 0x37b8becc3
    37b8becae
    37b8becae 66 90 f.
    37b8becb0
    37b8becb0loc_37b8becb0:
    37b8becb0lea rcx, [rip+0xb7f23a]
    37b8becb7call dtgsyl_
    37b8becbc
    37b8becbcloc_37b8becbc:
    37b8becbcmov eax, [rsp+324]
    37b8becc3
    37b8becc3loc_37b8becc3:
    37b8becc3cdqe
    37b8becc5mov [rsp+48], rbp
    37b8beccamov r9, rsi
    37b8beccdmov r8, r13
    37b8becd0lea rdx, [r13+8*rax]
    37b8becd5mov rax, [rsp+664]
    37b8becddmov [rsp+40], rbx
    37b8bece2mov rcx, [rsp+208]
    37b8beceamov [rsp+32], rax
    37b8becefcall dlacn2_
    37b8becf4mov ecx, [rsp+312]
    37b8becfbtest ecx, ecx
    37b8becfdje 0x37b8bee23
    37b8bed03mov eax, [rsp+328]
    37b8bed0aimul eax, [rsp+332]
    37b8bed12lea r9, [rsp+304]
    37b8bed1amov r8l, [r14]
    37b8bed1dmov [rsp+168], r9
    37b8bed25lea r9, [rsp+360]
    37b8bed2dmov [rsp+152], r9
    37b8bed35mov r9, [rsp+240]
    37b8bed3dlea edx, [rax+rax]
    37b8bed40cdqe
    37b8bed42mov [rsp+104], r12
    37b8bed47lea rax, [r13+8*rax]
    37b8bed4csub r8l, edx
    37b8bed4fmovsxd rdx, edx
    37b8bed52mov [rsp+176], 1
    37b8bed5emov [rsp+112], rax
    37b8bed63mov rax, [rsp+568]
    37b8bed6blea rdx, [r13+8*rdx]
    37b8bed70mov [rsp+144], rdx
    37b8bed78mov rdx, [rsp+664]
    37b8bed80mov [rsp+80], rax
    37b8bed85mov rax, [rsp+232]
    37b8bed8dmov [rsp+360], r8l
    37b8bed95lea r8, [rsp+328]
    37b8bed9dmov [rsp+48], rax
    37b8beda2mov rax, [rsp+552]
    37b8bedaamov [rsp+136], rdx
    37b8bedb2lea rdx, [rsp+336]
    37b8bedbamov [rsp+128], rdx
    37b8bedc2lea rdx, [rsp+308]
    37b8bedcamov [rsp+160], rsi
    37b8bedd2mov [rsp+120], r8
    37b8bedd7mov [rsp+96], r15
    37b8beddcmov [rsp+88], r12
    37b8bede1mov [rsp+72], r8
    37b8bede6mov [rsp+64], r13
    37b8bedebmov [rsp+56], rdi
    37b8bedf0mov [rsp+40], rdi
    37b8bedf5mov [rsp+32], rax
    37b8bedfacmp ecx, 1
    37b8bedfdjne 0x37b8becb0
    37b8bee03lea rcx, [rip+0xb7f0e6]
    37b8bee0acall dtgsyl_
    37b8bee0fjmp 0x37b8becbc
    37b8bee14
    37b8bee14loc_37b8bee14:
    37b8bee14mov eax, [rax]
    37b8bee16test eax, eax
    37b8bee18je 0x37b8be252
    37b8bee1ejmp 0x37b8be3ba
    37b8bee23
    37b8bee23loc_37b8bee23:
    37b8bee23mov r12l, [rsp+248]
    37b8bee2bmov rax, [rsp+664]
    37b8bee33lea r14, [rsp+328]
    37b8bee3bmov r13, [rsp+232]
    37b8bee43mov rsi, [rsp+208]
    37b8bee4bmov [rsp+232], r12l
    37b8bee53mov r12, [rsp+672]
    37b8bee5blea rdi, [rax+8]
    37b8bee5fmovsd_xmm x1, [rsp+336]
    37b8bee68divsd x1, [rax]
    37b8bee6cmovsd_xmm [rax], x1
    37b8bee70
    37b8bee70loc_37b8bee70:
    37b8bee70movsxd rax, [rsp+324]
    37b8bee78mov [rsp+48], rbp
    37b8bee7dmov r8, r12
    37b8bee80mov rcx, rsi
    37b8bee83mov [rsp+40], rbx
    37b8bee88mov r9, [rsp+688]
    37b8bee90mov [rsp+32], rdi
    37b8bee95lea rdx, [r12+8*rax]
    37b8bee99call dlacn2_
    37b8bee9emov r8l, [rsp+312]
    37b8beea6test r8l, r8l
    37b8beea9je 0x37b8bf0a8
    37b8beeafmov eax, [rsp+328]
    37b8beeb6mov rcx, [rsp+680]
    37b8beebelea r9, [rsp+304]
    37b8beec6imul eax, [rsp+332]
    37b8beecemov ecx, [rcx]
    37b8beed0mov [rsp+168], r9
    37b8beed8mov [rsp+176], 1
    37b8beee4lea edx, [rax+rax]
    37b8beee7mov [rsp+208], ecx
    37b8beeeecdqe
    37b8beef0sub ecx, edx
    37b8beef2movsxd rdx, edx
    37b8beef5lea rax, [r12+8*rax]
    37b8beef9cmp r8l, 1
    37b8beefdmov [rsp+360], ecx
    37b8bef04lea rdx, [r12+8*rdx]
    37b8bef08lea r8, [rsp+332]
    37b8bef10je 0x37b8befe0
    37b8bef16mov [rsp+112], rax
    37b8bef1bmov rax, [rsp+576]
    37b8bef23lea r9, [rsp+360]
    37b8bef2blea rcx, [rip+0xb7efbf]
    37b8bef32mov [rsp+80], r15
    37b8bef37mov r10, [rsp+688]
    37b8bef3fmov [rsp+104], rax
    37b8bef44mov rax, [rsp+568]
    37b8bef4cmov [rsp+72], r8
    37b8bef51mov [rsp+96], rax
    37b8bef56mov rax, [rsp+576]
    37b8bef5emov [rsp+64], r12
    37b8bef63mov [rsp+88], rax
    37b8bef68mov rax, [rsp+560]
    37b8bef70mov [rsp+32], r13
    37b8bef75mov [rsp+56], rax
    37b8bef7amov rax, [rsp+552]
    37b8bef82mov [rsp+144], rdx
    37b8bef8alea rdx, [rsp+336]
    37b8bef92mov [rsp+48], rax
    37b8bef97mov rax, [rsp+560]
    37b8bef9fmov [rsp+152], r9
    37b8befa7mov r9, r14
    37b8befaamov [rsp+40], rax
    37b8befafmov [rsp+128], rdx
    37b8befb7lea rdx, [rsp+308]
    37b8befbfmov [rsp+160], r10
    37b8befc7mov [rsp+136], rdi
    37b8befcfmov [rsp+120], r8
    37b8befd4call dtgsyl_
    37b8befd9jmp 0x37b8bee70
    37b8befde
    37b8befde 66 90 f.
    37b8befe0
    37b8befe0loc_37b8befe0:
    37b8befe0mov [rsp+112], rax
    37b8befe5mov rax, [rsp+576]
    37b8befedlea r9, [rsp+360]
    37b8beff5lea rcx, [rip+0xb7eef4]
    37b8beffcmov [rsp+80], r15
    37b8bf001mov r11, [rsp+688]
    37b8bf009mov [rsp+104], rax
    37b8bf00emov rax, [rsp+568]
    37b8bf016mov [rsp+72], r8
    37b8bf01bmov [rsp+96], rax
    37b8bf020mov rax, [rsp+576]
    37b8bf028mov [rsp+64], r12
    37b8bf02dmov [rsp+88], rax
    37b8bf032mov rax, [rsp+560]
    37b8bf03amov [rsp+32], r13
    37b8bf03fmov [rsp+56], rax
    37b8bf044mov rax, [rsp+552]
    37b8bf04cmov [rsp+144], rdx
    37b8bf054lea rdx, [rsp+336]
    37b8bf05cmov [rsp+48], rax
    37b8bf061mov rax, [rsp+560]
    37b8bf069mov [rsp+152], r9
    37b8bf071mov r9, r14
    37b8bf074mov [rsp+40], rax
    37b8bf079mov [rsp+128], rdx
    37b8bf081lea rdx, [rsp+308]
    37b8bf089mov [rsp+160], r11
    37b8bf091mov [rsp+136], rdi
    37b8bf099mov [rsp+120], r8
    37b8bf09ecall dtgsyl_
    37b8bf0a3jmp 0x37b8bee70
    37b8bf0a8
    37b8bf0a8loc_37b8bf0a8:
    37b8bf0a8mov rax, [rsp+664]
    37b8bf0b0mov r12l, [rsp+232]
    37b8bf0b8movapd x0, x8
    37b8bf0bdmovsd_xmm x1, [rsp+336]
    37b8bf0c6divsd x1, [rax+8]
    37b8bf0cbmovsd_xmm [rax+8], x1
    37b8bf0d0mov rax, [rsp+544]
    37b8bf0d8mov r14l, [rax]
    37b8bf0dbjmp 0x37b8be7af
    37b8bf0e0
    37b8bf0e0loc_37b8bf0e0:
    37b8bf0e0mov edx, [rdi]
    37b8bf0e2
    37b8bf0e2loc_37b8bf0e2:
    37b8bf0e2mov ecx, r14l
    37b8bf0e5mov [rsp+328], edx
    37b8bf0eclea r15, [rsp+328]
    37b8bf0f4lea r8, [rsp+332]
    37b8bf0fcsub ecx, edx
    37b8bf0feadd edx, 1
    37b8bf101mov [rsp+256], eax
    37b8bf108mov rax, [rsp+280]
    37b8bf110movsxd rbx, edx
    37b8bf113mov [rsp+48], r15
    37b8bf118lea rbp, [rsp+372]
    37b8bf120mov rdx, rbx
    37b8bf123mov [rsp+332], ecx
    37b8bf12alea rcx, [rip+0xb7edbb]
    37b8bf131imul rdx, r11
    37b8bf135mov [rsp+56], 4
    37b8bf13emov [rsp+232], r11
    37b8bf146movsd_xmm [rsp+240], x0
    37b8bf14fmov [rsp+308], 0
    37b8bf15alea r14, [rdx+rax]
    37b8bf15emov rax, [rsp+672]
    37b8bf166mov rdx, r15
    37b8bf169mov [rsp+40], rax
    37b8bf16emov rax, [rsp+560]
    37b8bf176mov [rsp+32], rax
    37b8bf17bmov rax, [rsp+552]
    37b8bf183lea r9, [rax+8*r14+8]
    37b8bf188call dlacpy_
    37b8bf18dmov rdx, [rsp+296]
    37b8bf195mov rax, [rsp+288]
    37b8bf19dmov [rsp+56], 4
    37b8bf1a6mov [rsp+48], r15
    37b8bf1ablea r8, [rsp+332]
    37b8bf1b3lea rcx, [rip+0xb7ed32]
    37b8bf1baimul rdx, rbx
    37b8bf1belea r13, [rdx+rax]
    37b8bf1c2mov edx, [rsp+328]
    37b8bf1c9mov rax, [rsp+672]
    37b8bf1d1imul edx, [rsp+332]
    37b8bf1d9movsxd rdx, edx
    37b8bf1dclea rdx, [rax+8*rdx]
    37b8bf1e0mov rax, [rsp+576]
    37b8bf1e8mov [rsp+40], rdx
    37b8bf1edmov rdx, r15
    37b8bf1f0mov [rsp+32], rax
    37b8bf1f5mov rax, [rsp+568]
    37b8bf1fdlea r9, [rax+8*r13+8]
    37b8bf202call dlacpy_
    37b8bf207mov rax, [rsp+680]
    37b8bf20fmov edx, [rsp+328]
    37b8bf216lea r9, [rsp+332]
    37b8bf21eimul edx, [rsp+332]
    37b8bf226mov eax, [rax]
    37b8bf228mov [rsp+152], rbp
    37b8bf230mov [rsp+176], 1
    37b8bf23cmov [rsp+208], eax
    37b8bf243mov r8l, eax
    37b8bf246mov rax, [rsp+688]
    37b8bf24elea ecx, [rdx+rdx]
    37b8bf251sub r8l, ecx
    37b8bf254movsxd rcx, ecx
    37b8bf257movsxd rdx, edx
    37b8bf25amov [rsp+120], r15
    37b8bf25fmov [rsp+160], rax
    37b8bf267mov rax, [rsp+672]
    37b8bf26fmov [rsp+372], r8l
    37b8bf277lea r8, [rsp+304]
    37b8bf27flea rcx, [rax+8*rcx]
    37b8bf283mov rax, [rsp+664]
    37b8bf28bmov [rsp+72], r15
    37b8bf290mov [rsp+144], rcx
    37b8bf298lea rcx, [rsp+336]
    37b8bf2a0mov [rsp+136], rax
    37b8bf2a8mov rax, [rsp+672]
    37b8bf2b0mov [rsp+168], r8
    37b8bf2b8mov r8, r15
    37b8bf2bblea rdx, [rax+8*rdx]
    37b8bf2bfmov rax, [rsp+576]
    37b8bf2c7mov [rsp+128], rcx
    37b8bf2cflea rcx, [rip+0xb7ec1a]
    37b8bf2d6mov [rsp+112], rdx
    37b8bf2dblea rdx, [rbx+r13]
    37b8bf2dflea r13, [rsp+344]
    37b8bf2e7mov [rsp+104], rax
    37b8bf2ecmov rax, [rsp+568]
    37b8bf2f4lea rdx, [rax+8*rdx]
    37b8bf2f8mov rax, [rsp+576]
    37b8bf300mov [rsp+96], rdx
    37b8bf305lea rdx, [rbx+r14]
    37b8bf309mov [rsp+88], rax
    37b8bf30emov rax, [rsp+568]
    37b8bf316mov [rsp+80], rax
    37b8bf31bmov rax, [rsp+672]
    37b8bf323mov [rsp+64], rax
    37b8bf328mov rax, [rsp+560]
    37b8bf330mov [rsp+56], rax
    37b8bf335mov rax, [rsp+552]
    37b8bf33dlea rdx, [rax+8*rdx]
    37b8bf341mov rax, [rsp+560]
    37b8bf349mov [rsp+48], rdx
    37b8bf34elea rdx, [rsp+308]
    37b8bf356mov [rsp+40], rax
    37b8bf35bmov rax, [rsp+552]
    37b8bf363mov [rsp+32], rax
    37b8bf368call dtgsyl_
    37b8bf36dmov ebx, [rsp+328]
    37b8bf374mov rcx, rbp
    37b8bf377imul ebx, [rsp+332]
    37b8bf37fmov [rsp+32], r13
    37b8bf384mov rax, [rip+0xb7eb85]
    37b8bf38blea r9, [rsp+352]
    37b8bf393lea r8, [rip+0xb7eb4e]
    37b8bf39amov rdx, [rsp+672]
    37b8bf3a2mov [rsp+352], 0
    37b8bf3aemov [rsp+344], rax
    37b8bf3b6mov [rsp+372], ebx
    37b8bf3bdcall dlassq_
    37b8bf3c2pxor x2, x2
    37b8bf3c6movsd_xmm x1, [rsp+344]
    37b8bf3cfmov r11, [rsp+232]
    37b8bf3d7movsd_xmm x0, [rsp+240]
    37b8bf3e0mov eax, [rsp+256]
    37b8bf3e7sqrtsd x1, x1
    37b8bf3ebmulsd x1, [rsp+352]
    37b8bf3f4ucomisd x1, x2
    37b8bf3f8jp 0x37b8bf404
    37b8bf3famovsd_xmm x3, [rip+0xb7eb0e]
    37b8bf402je 0x37b8bf42d
    37b8bf404
    37b8bf404loc_37b8bf404:
    37b8bf404movsd_xmm x3, [rsp+336]
    37b8bf40dmovapd x2, x3
    37b8bf411mulsd x2, x3
    37b8bf415divsd x2, x1
    37b8bf419addsd x2, x1
    37b8bf41dsqrtsd x1, x1
    37b8bf421sqrtsd x2, x2
    37b8bf425mulsd x1, x2
    37b8bf429divsd x3, x1
    37b8bf42d
    37b8bf42dloc_37b8bf42d:
    37b8bf42dmov [rsp+232], eax
    37b8bf434mov rax, [rsp+648]
    37b8bf43cmov rcx, rbp
    37b8bf43flea r9, [rsp+352]
    37b8bf447mov [rsp+372], ebx
    37b8bf44emovsxd rbx, ebx
    37b8bf451lea r8, [rip+0xb7ea90]
    37b8bf458movsd_xmm [rax], x3
    37b8bf45cmov rax, [rip+0xb7eaad]
    37b8bf463mov [rsp+32], r13
    37b8bf468mov [rsp+344], rax
    37b8bf470mov rax, [rsp+672]
    37b8bf478mov [rsp+240], r11
    37b8bf480movsd_xmm [rsp+208], x0
    37b8bf489lea rdx, [rax+8*rbx]
    37b8bf48dmov [rsp+352], 0
    37b8bf499call dlassq_
    37b8bf49epxor x2, x2
    37b8bf4a2movsd_xmm x1, [rsp+344]
    37b8bf4abmovsd_xmm x0, [rsp+208]
    37b8bf4b4mov eax, [rsp+232]
    37b8bf4bbmov r11, [rsp+240]
    37b8bf4c3sqrtsd x1, x1
    37b8bf4c7mulsd x1, [rsp+352]
    37b8bf4d0ucomisd x1, x2
    37b8bf4d4jp 0x37b8bf816
    37b8bf4dajne 0x37b8bf816
    37b8bf4e0mov rsi, [rsp+656]
    37b8bf4e8mov rbx, [rip+0xb7ea21]
    37b8bf4efmov [rsi], rbx
    37b8bf4f2mov rsi, [rsp+544]
    37b8bf4famov r14l, [rsi]
    37b8bf4fdjmp 0x37b8beba4
    37b8bf502
    37b8bf502loc_37b8bf502:
    37b8bf502mov rdi, [rsp+704]
    37b8bf50amov [rdi], 1
    37b8bf510test r13l, r13l
    37b8bf513je 0x37b8bf533
    37b8bf515mov rsi, [rsp+648]
    37b8bf51dmov rdi, [rsp+656]
    37b8bf525mov [rsi], 0
    37b8bf52cmov [rdi], 0
    37b8bf533
    37b8bf533loc_37b8bf533:
    37b8bf533mov rdi, [rsp+544]
    37b8bf53bmov r14l, [rdi]
    37b8bf53etest eax, eax
    37b8bf540je 0x37b8be7af
    37b8bf546mov rax, [rsp+664]
    37b8bf54epxor x1, x1
    37b8bf552movups [rax], x1
    37b8bf555jmp 0x37b8be7af
    37b8bf55a
    37b8bf55aloc_37b8bf55a:
    37b8bf55amov edx, -16
    37b8bf55fmov eax, 16
    37b8bf564jmp 0x37b8be28a
    37b8bf569
    37b8bf569loc_37b8bf569:
    37b8bf569mov rdi, [rsp+680]
    37b8bf571movsxd r8, r8l
    37b8bf574movsxd rcx, ecx
    37b8bf577mov [rsp+328], edx
    37b8bf57eimul r11, r8
    37b8bf582mov [rsp+332], r14l
    37b8bf58alea r15, [rsp+328]
    37b8bf592mov edx, [rdi]
    37b8bf594mov [rsp+120], r15
    37b8bf599lea rsi, [rsp+304]
    37b8bf5a1lea rbp, [rsp+336]
    37b8bf5a9mov rdi, [rsp+568]
    37b8bf5b1mov [rsp+72], r15
    37b8bf5b6lea rbx, [rsp+332]
    37b8bf5belea r10, [rsp+308]
    37b8bf5c6sub edx, eax
    37b8bf5c8cdqe
    37b8bf5camov r9, rbx
    37b8bf5cdmovsd_xmm [rsp+232], x0
    37b8bf5d6mov [rsp+372], edx
    37b8bf5ddmov rdx, [rsp+296]
    37b8bf5e5mov [rsp+168], rsi
    37b8bf5edimul rdx, r8
    37b8bf5f1add rdx, [rsp+288]
    37b8bf5f9mov [rsp+308], 3
    37b8bf604add rdx, r8
    37b8bf607mov [rsp+128], rbp
    37b8bf60fmov [rsp+176], 1
    37b8bf61blea r13, [rdi+8*rdx]
    37b8bf61fmov rdx, [rsp+280]
    37b8bf627mov rdi, [rsp+552]
    37b8bf62fmov [rsp+96], r13
    37b8bf634add rdx, r11
    37b8bf637add rdx, r8
    37b8bf63amov r8, r15
    37b8bf63dlea r14, [rdi+8*rdx]
    37b8bf641mov rdx, [rsp+672]
    37b8bf649mov rdi, [rsp+688]
    37b8bf651lea rax, [rdx+8*rax]
    37b8bf655mov [rsp+160], rdi
    37b8bf65dlea rdi, [rsp+372]
    37b8bf665mov [rsp+144], rax
    37b8bf66dmov rax, [rsp+664]
    37b8bf675mov [rsp+152], rdi
    37b8bf67dmov [rsp+136], rax
    37b8bf685lea rax, [rdx+8*rcx]
    37b8bf689lea rcx, [rip+0xb7e860]
    37b8bf690mov [rsp+112], rax
    37b8bf695mov rax, [rsp+576]
    37b8bf69dmov [rsp+64], rdx
    37b8bf6a2mov rdx, r10
    37b8bf6a5mov [rsp+104], rax
    37b8bf6aamov [rsp+88], rax
    37b8bf6afmov rax, [rsp+568]
    37b8bf6b7mov [rsp+80], rax
    37b8bf6bcmov rax, [rsp+560]
    37b8bf6c4mov [rsp+48], r14
    37b8bf6c9mov [rsp+56], rax
    37b8bf6cemov [rsp+40], rax
    37b8bf6d3mov rax, [rsp+552]
    37b8bf6dbmov [rsp+208], r10
    37b8bf6e3mov [rsp+32], rax
    37b8bf6e8call dtgsyl_
    37b8bf6edmov eax, [rsp+328]
    37b8bf6f4mov r9, r15
    37b8bf6f7mov r8, rbx
    37b8bf6faimul eax, [rsp+332]
    37b8bf702mov rcx, [rsp+680]
    37b8bf70amov ecx, [rcx]
    37b8bf70cmov [rsp+152], rdi
    37b8bf714mov rdi, [rsp+672]
    37b8bf71clea edx, [rax+rax]
    37b8bf71fcdqe
    37b8bf721mov [rsp+168], rsi
    37b8bf729mov rsi, [rsp+688]
    37b8bf731sub ecx, edx
    37b8bf733movsxd rdx, edx
    37b8bf736mov [rsp+176], 1
    37b8bf742lea rax, [rdi+8*rax]
    37b8bf746lea rdx, [rdi+8*rdx]
    37b8bf74amov [rsp+372], ecx
    37b8bf751mov [rsp+112], rax
    37b8bf756mov rax, [rsp+576]
    37b8bf75elea rcx, [rip+0xb7e78b]
    37b8bf765mov [rsp+160], rsi
    37b8bf76dmov rsi, [rsp+664]
    37b8bf775mov [rsp+104], rax
    37b8bf77amov rax, [rsp+568]
    37b8bf782mov [rsp+144], rdx
    37b8bf78alea rdx, [rsi+8]
    37b8bf78emov [rsp+96], rax
    37b8bf793mov rax, [rsp+576]
    37b8bf79bmov [rsp+136], rdx
    37b8bf7a3mov [rsp+88], rax
    37b8bf7a8mov rax, [rsp+560]
    37b8bf7b0mov [rsp+128], rbp
    37b8bf7b8mov [rsp+56], rax
    37b8bf7bdmov rax, [rsp+552]
    37b8bf7c5mov [rsp+120], rbx
    37b8bf7camov [rsp+48], rax
    37b8bf7cfmov rax, [rsp+560]
    37b8bf7d7mov [rsp+80], r13
    37b8bf7dcmov [rsp+40], rax
    37b8bf7e1mov [rsp+72], rbx
    37b8bf7e6mov [rsp+64], rdi
    37b8bf7ebmov [rsp+32], r14
    37b8bf7f0mov rdx, [rsp+208]
    37b8bf7f8call dtgsyl_
    37b8bf7fdmov rax, [rsp+544]
    37b8bf805movsd_xmm x0, [rsp+232]
    37b8bf80emov r14l, [rax]
    37b8bf811jmp 0x37b8be7af
    37b8bf816
    37b8bf816loc_37b8bf816:
    37b8bf816movsd_xmm x3, [rsp+336]
    37b8bf81fmov rsi, [rsp+656]
    37b8bf827movapd x2, x3
    37b8bf82bmulsd x2, x3
    37b8bf82fdivsd x2, x1
    37b8bf833addsd x2, x1
    37b8bf837sqrtsd x1, x1
    37b8bf83bsqrtsd x2, x2
    37b8bf83fmulsd x1, x2
    37b8bf843divsd x3, x1
    37b8bf847movsd_xmm [rsi], x3
    37b8bf84bmov rsi, [rsp+544]
    37b8bf853mov r14l, [rsi]
    37b8bf856jmp 0x37b8beba4
    37b8bf85b
    37b8bf85bloc_37b8bf85b:
    37b8bf85bmov rax, [rsp+664]
    37b8bf863pxor x1, x1
    37b8bf867movups [rax], x1
    37b8bf86ajmp 0x37b8be924
    37b8bf86f
    37b8bf86floc_37b8bf86f:
    37b8bf86ftest r13l, r13l
    37b8bf872jne 0x37b8bf0e2
    37b8bf878test eax, eax
    37b8bf87ajne 0x37b8bebae
    37b8bf880jmp 0x37b8be924
    37b8bdf80