File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37bf30df0
    37bf30df0dgemqrt_64_:
    37bf30df0push r15
    37bf30df2push r14
    37bf30df4push r13
    37bf30df6push r12
    37bf30df8push rbp
    37bf30df9push rdi
    37bf30dfapush rsi
    37bf30dfbpush rbx
    37bf30dfcsub rsp, 248
    37bf30e03mov rax, [rsp+376]
    37bf30e0bmov r13, [rax]
    37bf30e0emov rax, [rsp+392]
    37bf30e16mov r12, [rax]
    37bf30e19mov rdi, rcx
    37bf30e1cmov rbx, rdx
    37bf30e1fmov rbp, r8
    37bf30e22lea rdx, [rip+0x529507]
    37bf30e29mov r8l, 1
    37bf30e2fmov r15, r9
    37bf30e32mov rax, [rsp+408]
    37bf30e3amov r9l, 1
    37bf30e40mov rax, [rax]
    37bf30e43mov [rsp+168], rax
    37bf30e4bmov rax, [rsp+424]
    37bf30e53mov [rax], 0
    37bf30e5acall lsame_64_
    37bf30e5fmov rcx, rdi
    37bf30e62mov r9l, 1
    37bf30e68mov r8l, 1
    37bf30e6elea rdx, [rip+0x5294bc]
    37bf30e75mov rsi, rax
    37bf30e78call lsame_64_
    37bf30e7dmov r9l, 1
    37bf30e83mov r8l, 1
    37bf30e89mov rcx, rbx
    37bf30e8clea rdx, [rip+0x52949f]
    37bf30e93mov r14, rax
    37bf30e96call lsame_64_
    37bf30e9bmov r9l, 1
    37bf30ea1mov r8l, 1
    37bf30ea7mov rcx, rbx
    37bf30eaalea rdx, [rip+0x529482]
    37bf30eb1mov rdi, rax
    37bf30eb4call lsame_64_
    37bf30eb9mov r10, rax
    37bf30ebctest rsi, rsi
    37bf30ebfje 0x37bf30f40
    37bf30ec1mov rdx, [r15]
    37bf30ec4mov eax, 1
    37bf30ec9test rdx, rdx
    37bf30ecccmovg rax, rdx
    37bf30ed0mov [rsp+224], rax
    37bf30ed8mov rax, [rbp]
    37bf30edcmov r9, rax
    37bf30edftest rdi, rdi
    37bf30ee2jne 0x37bf30f70
    37bf30ee8
    37bf30ee8loc_37bf30ee8:
    37bf30ee8mov r8, -2
    37bf30eefmov ecx, 2
    37bf30ef4test r10, r10
    37bf30ef7jne 0x37bf30f70
    37bf30ef9
    37bf30ef9loc_37bf30ef9:
    37bf30ef9mov rax, [rsp+424]
    37bf30f01mov [rax], r8
    37bf30f04
    37bf30f04loc_37bf30f04:
    37bf30f04mov [rsp+232], rcx
    37bf30f0clea rdx, [rsp+232]
    37bf30f14mov r8l, 7
    37bf30f1alea rcx, [rip+0x529413]
    37bf30f21call xerbla_64_
    37bf30f26nop
    37bf30f27
    37bf30f27loc_37bf30f27:
    37bf30f27add rsp, 248
    37bf30f2epop rbx
    37bf30f2fpop rsi
    37bf30f30pop rdi
    37bf30f31pop rbp
    37bf30f32pop r12
    37bf30f34pop r13
    37bf30f36pop r14
    37bf30f38pop r15
    37bf30f3aret
    37bf30f3b
    37bf30f3b 0f 1f 44 00 00 ..D..
    37bf30f40
    37bf30f40loc_37bf30f40:
    37bf30f40test r14, r14
    37bf30f43je 0x37bf30fb0
    37bf30f45mov rax, [rbp]
    37bf30f49mov edx, 1
    37bf30f4etest rax, rax
    37bf30f51cmovg rdx, rax
    37bf30f55mov [rsp+224], rdx
    37bf30f5dmov rdx, [r15]
    37bf30f60mov r9, rdx
    37bf30f63test rdi, rdi
    37bf30f66je 0x37bf30ee8
    37bf30f68nop [rax+rax]
    37bf30f70
    37bf30f70loc_37bf30f70:
    37bf30f70mov rcx, rax
    37bf30f73test rax, rax
    37bf30f76js 0x37bf30fc8
    37bf30f78mov r11, rdx
    37bf30f7btest rdx, rdx
    37bf30f7ejs 0x37bf30fe0
    37bf30f80mov rbx, [rsp+352]
    37bf30f88mov r8, [rbx]
    37bf30f8btest r8, r8
    37bf30f8ejs 0x37bf30f95
    37bf30f90cmp r8, r9
    37bf30f93jle 0x37bf30ff8
    37bf30f95
    37bf30f95loc_37bf30f95:
    37bf30f95mov r8, -5
    37bf30f9cmov ecx, 5
    37bf30fa1jmp 0x37bf30ef9
    37bf30fa6
    37bf30fa6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bf30fb0
    37bf30fb0loc_37bf30fb0:
    37bf30fb0mov r8, -1
    37bf30fb7mov ecx, 1
    37bf30fbcjmp 0x37bf30ef9
    37bf30fc1
    37bf30fc1 0f 1f 80 00 00 00 00 .......
    37bf30fc8
    37bf30fc8loc_37bf30fc8:
    37bf30fc8mov r8, -3
    37bf30fcfmov ecx, 3
    37bf30fd4jmp 0x37bf30ef9
    37bf30fd9
    37bf30fd9 0f 1f 80 00 00 00 00 .......
    37bf30fe0
    37bf30fe0loc_37bf30fe0:
    37bf30fe0mov r8, -4
    37bf30fe7mov ecx, 4
    37bf30fecjmp 0x37bf30ef9
    37bf30ff1
    37bf30ff1 0f 1f 80 00 00 00 00 .......
    37bf30ff8
    37bf30ff8loc_37bf30ff8:
    37bf30ff8mov rbx, [rsp+360]
    37bf31000mov rbx, [rbx]
    37bf31003mov [rsp+176], rbx
    37bf3100btest rbx, rbx
    37bf3100ejle 0x37bf31928
    37bf31014cmp r8, rbx
    37bf31017jge 0x37bf31022
    37bf31019test r8, r8
    37bf3101cjne 0x37bf31928
    37bf31022
    37bf31022loc_37bf31022:
    37bf31022mov ebx, 1
    37bf31027test r9, r9
    37bf3102acmovle r9, rbx
    37bf3102emov rbx, [rsp+376]
    37bf31036cmp [rbx], r9
    37bf31039jl 0x37bf31939
    37bf3103fmov rbx, [rsp+392]
    37bf31047mov r9, [rsp+176]
    37bf3104fcmp r9, [rbx]
    37bf31052jg 0x37bf3194a
    37bf31058mov rbx, [rsp+408]
    37bf31060test rax, rax
    37bf31063mov r9l, 1
    37bf31069cmovg r9, rax
    37bf3106dcmp [rbx], r9
    37bf31070jge 0x37bf31088
    37bf31072mov r8, -12
    37bf31079mov ecx, 12
    37bf3107ejmp 0x37bf30ef9
    37bf31083
    37bf31083 0f 1f 44 00 00 ..D..
    37bf31088
    37bf31088loc_37bf31088:
    37bf31088mov rbx, [rsp+424]
    37bf31090mov r9, [rbx]
    37bf31093test r9, r9
    37bf31096jne 0x37bf3195b
    37bf3109ctest rax, rax
    37bf3109fje 0x37bf30f27
    37bf310a5test rdx, rdx
    37bf310a8je 0x37bf30f27
    37bf310aetest r8, r8
    37bf310b1je 0x37bf30f27
    37bf310b7xor r9l, r9l
    37bf310batest r13, r13
    37bf310bdcmovns r9, r13
    37bf310c1xor eax, eax
    37bf310c3test r12, r12
    37bf310c6cmovns rax, r12
    37bf310camov [rsp+184], rax
    37bf310d2mov rbx, rax
    37bf310d5test rsi, rsi
    37bf310d8je 0x37bf312a8
    37bf310detest rdi, rdi
    37bf310e1je 0x37bf312a8
    37bf310e7lea rax, [r8-1]
    37bf310ebxor edx, edx
    37bf310edadd r9, 1
    37bf310f1mov esi, 1
    37bf310f6mov rdi, [rsp+176]
    37bf310femov r14, [rsp+368]
    37bf31106div rdi
    37bf31109imul r9, rdi
    37bf3110dmov rdx, rdi
    37bf31110mov r13, rax
    37bf31113lea rax, [8*r9]
    37bf3111bmov [rsp+192], rax
    37bf31123mov rax, rbx
    37bf31126mov rbx, [rsp+384]
    37bf3112eimul rax, rdi
    37bf31132lea rdi, [rsp+216]
    37bf3113amov r12, rbx
    37bf3113dmov rbx, r14
    37bf31140mov r14, rbp
    37bf31143mov rbp, r13
    37bf31146lea r13, [rsp+232]
    37bf3114eshl rax, 3
    37bf31152mov [rsp+200], rax
    37bf3115alea rax, [rsp+224]
    37bf31162mov [rsp+168], rax
    37bf3116amov rax, [rsp+400]
    37bf31172sub rax, 8
    37bf31176mov [rsp+184], rax
    37bf3117ejmp 0x37bf311b5
    37bf31180
    37bf31180loc_37bf31180:
    37bf31180mov rax, [rsp+352]
    37bf31188mov rcx, [r14]
    37bf3118bsub rbp, 1
    37bf3118fadd rbx, [rsp+192]
    37bf31197add r12, [rsp+200]
    37bf3119fmov r8, [rax]
    37bf311a2mov rax, [rsp+360]
    37bf311aaadd rsi, [rsp+176]
    37bf311b2mov rdx, [rax]
    37bf311b5
    37bf311b5loc_37bf311b5:
    37bf311b5mov rax, [rsp+168]
    37bf311bdsub r8, rsi
    37bf311c0mov [rsp+72], r12
    37bf311c5lea r9, [rip+0x52916f]
    37bf311ccadd r8, 1
    37bf311d0mov [rsp+56], rbx
    37bf311d5mov [rsp+112], rax
    37bf311damov rax, [rsp+416]
    37bf311e2cmp r8, rdx
    37bf311e5cmovg r8, rdx
    37bf311e9mov [rsp+48], rdi
    37bf311eesub rcx, rsi
    37bf311f1mov [rsp+104], rax
    37bf311f6mov rax, [rsp+408]
    37bf311feadd rcx, 1
    37bf31202mov [rsp+40], r15
    37bf31207mov [rsp+96], rax
    37bf3120cmov rax, [rsp+184]
    37bf31214mov [rsp+32], r13
    37bf31219lea rdx, [rax+8*rsi]
    37bf3121dmov rax, [rsp+392]
    37bf31225mov [rsp+216], r8
    37bf3122dlea r8, [rip+0x529108]
    37bf31234mov [rsp+88], rdx
    37bf31239lea rdx, [rip+0x5290f2]
    37bf31240mov [rsp+80], rax
    37bf31245mov rax, [rsp+376]
    37bf3124dmov [rsp+232], rcx
    37bf31255lea rcx, [rip+0x5290d4]
    37bf3125cmov [rsp+64], rax
    37bf31261mov [rsp+144], 1
    37bf3126dmov [rsp+136], 1
    37bf31279mov [rsp+128], 1
    37bf31285mov [rsp+120], 1
    37bf3128ecall dlarfb_64_
    37bf31293test rbp, rbp
    37bf31296jne 0x37bf31180
    37bf3129cjmp 0x37bf30f27
    37bf312a1
    37bf312a1 0f 1f 80 00 00 00 00 .......
    37bf312a8
    37bf312a8loc_37bf312a8:
    37bf312a8mov rbx, [rsp+168]
    37bf312b0xor eax, eax
    37bf312b2test rbx, rbx
    37bf312b5cmovs rbx, rax
    37bf312b9test r14, r14
    37bf312bcje 0x37bf314b0
    37bf312c2test r10, r10
    37bf312c5je 0x37bf314b0
    37bf312cblea rax, [r8-1]
    37bf312cfxor edx, edx
    37bf312d1add r9, 1
    37bf312d5mov rcx, r11
    37bf312d8mov rsi, [rsp+176]
    37bf312e0mov r14, [rsp+368]
    37bf312e8mov [rsp+344], r15
    37bf312f0div rsi
    37bf312f3mov rdx, [rsp+184]
    37bf312fbimul r9, rsi
    37bf312ffmov r15, r14
    37bf31302lea r14, [rsp+232]
    37bf3130aimul rdx, rsi
    37bf3130elea rdi, [8*r9]
    37bf31316mov [rsp+200], rdi
    37bf3131emov rdi, rsi
    37bf31321lea rsi, [8*rdx]
    37bf31329mov r13, rdi
    37bf3132cmov [rsp+192], rsi
    37bf31334mov rdx, rdi
    37bf31337mov rsi, [rsp+384]
    37bf3133fimul r13, rbx
    37bf31343mov rbx, [rsp+400]
    37bf3134bmov r12, rsi
    37bf3134emov rsi, rbx
    37bf31351lea rdi, [8*r13]
    37bf31359mov r13l, 1
    37bf3135fmov [rsp+184], rdi
    37bf31367lea rdi, [rsp+224]
    37bf3136fmov [rsp+168], rdi
    37bf31377lea rdi, [rsp+216]
    37bf3137fmov rbx, rax
    37bf31382jmp 0x37bf313cd
    37bf31384
    37bf31384 0f 1f 40 00 ..@.
    37bf31388
    37bf31388loc_37bf31388:
    37bf31388mov rax, [rsp+352]
    37bf31390add r15, [rsp+200]
    37bf31398sub rbx, 1
    37bf3139cadd r12, [rsp+192]
    37bf313a4add rsi, [rsp+184]
    37bf313acmov r8, [rax]
    37bf313afmov rax, [rsp+344]
    37bf313b7add r13, [rsp+176]
    37bf313bfmov rcx, [rax]
    37bf313c2mov rax, [rsp+360]
    37bf313camov rdx, [rax]
    37bf313cd
    37bf313cdloc_37bf313cd:
    37bf313cdmov rax, [rsp+168]
    37bf313d5sub r8, r13
    37bf313d8mov [rsp+88], rsi
    37bf313ddlea r9, [rip+0x528f57]
    37bf313e4add r8, 1
    37bf313e8mov [rsp+72], r12
    37bf313edmov [rsp+112], rax
    37bf313f2mov rax, [rsp+416]
    37bf313facmp r8, rdx
    37bf313fdcmovg r8, rdx
    37bf31401mov [rsp+56], r15
    37bf31406sub rcx, r13
    37bf31409lea rdx, [rip+0x528f23]
    37bf31410mov [rsp+104], rax
    37bf31415mov rax, [rsp+408]
    37bf3141dadd rcx, 1
    37bf31421mov [rsp+48], rdi
    37bf31426mov [rsp+96], rax
    37bf3142bmov rax, [rsp+392]
    37bf31433mov [rsp+40], r14
    37bf31438mov [rsp+80], rax
    37bf3143dmov rax, [rsp+376]
    37bf31445mov [rsp+32], rbp
    37bf3144amov [rsp+64], rax
    37bf3144fmov [rsp+216], r8
    37bf31457lea r8, [rip+0x528ede]
    37bf3145emov [rsp+232], rcx
    37bf31466lea rcx, [rip+0x528ec4]
    37bf3146dmov [rsp+144], 1
    37bf31479mov [rsp+136], 1
    37bf31485mov [rsp+128], 1
    37bf31491mov [rsp+120], 1
    37bf3149acall dlarfb_64_
    37bf3149ftest rbx, rbx
    37bf314a2jne 0x37bf31388
    37bf314a8jmp 0x37bf30f27
    37bf314ad
    37bf314ad 0f 1f 00 ...
    37bf314b0
    37bf314b0loc_37bf314b0:
    37bf314b0mov r13, [rsp+184]
    37bf314b8mov r12, r9
    37bf314bbnot r12
    37bf314benot r13
    37bf314c1mov [rsp+168], r13
    37bf314c9test rsi, rsi
    37bf314ccje 0x37bf316e8
    37bf314d2test r10, r10
    37bf314d5je 0x37bf316e8
    37bf314dblea rbx, [r8-1]
    37bf314dfmov r11, [rsp+176]
    37bf314e7mov rdi, [rsp+184]
    37bf314efmov [rsp+336], rbp
    37bf314f7mov rax, rbx
    37bf314facqo
    37bf314fcidiv r11
    37bf314ffsub rbx, rdx
    37bf31502xor edx, edx
    37bf31504mov rax, rbx
    37bf31507lea r10, [rbx+1]
    37bf3150bdiv r11
    37bf3150emov rdx, r9
    37bf31511imul r9, r10
    37bf31515add r9, r12
    37bf31518lea r12, [rsp+232]
    37bf31520add r9, rbx
    37bf31523mov r14, rax
    37bf31526mov rax, r11
    37bf31529neg rax
    37bf3152cimul rdx, rax
    37bf31530imul rax, rdi
    37bf31534imul rdi, r10
    37bf31538sub rdx, r11
    37bf3153bshl rax, 3
    37bf3153flea rsi, [8*rdx]
    37bf31547mov rdx, r11
    37bf3154amov [rsp+192], rax
    37bf31552lea rax, [rdi+r13]
    37bf31556mov r13, r10
    37bf31559mov rdi, [rsp+384]
    37bf31561mov [rsp+200], rsi
    37bf31569mov rsi, [rsp+368]
    37bf31571lea rbx, [rdi+8*rax+8]
    37bf31576lea rdi, [rsp+224]
    37bf3157emov [rsp+168], rdi
    37bf31586mov rdi, [rsp+400]
    37bf3158elea rbp, [rsi+8*r9+8]
    37bf31593mov rsi, rbx
    37bf31596mov rbx, r14
    37bf31599mov r14, [rsp+336]
    37bf315a1sub rdi, 8
    37bf315a5mov [rsp+184], rdi
    37bf315adlea rdi, [rsp+216]
    37bf315b5jmp 0x37bf315f5
    37bf315b7
    37bf315b7 66 0f 1f 84 00 00 00 00 00 f........
    37bf315c0
    37bf315c0loc_37bf315c0:
    37bf315c0mov rax, [rsp+352]
    37bf315c8mov rcx, [r14]
    37bf315cbsub rbx, 1
    37bf315cfadd rbp, [rsp+200]
    37bf315d7add rsi, [rsp+192]
    37bf315dfmov r8, [rax]
    37bf315e2mov rax, [rsp+360]
    37bf315easub r13, [rsp+176]
    37bf315f2mov rdx, [rax]
    37bf315f5
    37bf315f5loc_37bf315f5:
    37bf315f5mov rax, [rsp+168]
    37bf315fdsub r8, r13
    37bf31600mov [rsp+72], rsi
    37bf31605lea r9, [rip+0x528d2f]
    37bf3160cadd r8, 1
    37bf31610mov [rsp+56], rbp
    37bf31615mov [rsp+112], rax
    37bf3161amov rax, [rsp+416]
    37bf31622cmp r8, rdx
    37bf31625cmovg r8, rdx
    37bf31629mov [rsp+48], rdi
    37bf3162esub rcx, r13
    37bf31631mov [rsp+104], rax
    37bf31636mov rax, [rsp+408]
    37bf3163eadd rcx, 1
    37bf31642mov [rsp+40], r15
    37bf31647mov [rsp+96], rax
    37bf3164cmov rax, [rsp+184]
    37bf31654mov [rsp+32], r12
    37bf31659lea rdx, [rax+8*r13]
    37bf3165dmov rax, [rsp+392]
    37bf31665mov [rsp+216], r8
    37bf3166dlea r8, [rip+0x528cc8]
    37bf31674mov [rsp+88], rdx
    37bf31679lea rdx, [rip+0x528cb3]
    37bf31680mov [rsp+80], rax
    37bf31685mov rax, [rsp+376]
    37bf3168dmov [rsp+232], rcx
    37bf31695lea rcx, [rip+0x528c94]
    37bf3169cmov [rsp+64], rax
    37bf316a1mov [rsp+144], 1
    37bf316admov [rsp+136], 1
    37bf316b9mov [rsp+128], 1
    37bf316c5mov [rsp+120], 1
    37bf316cecall dlarfb_64_
    37bf316d3test rbx, rbx
    37bf316d6jne 0x37bf315c0
    37bf316dcjmp 0x37bf30f27
    37bf316e1
    37bf316e1 0f 1f 80 00 00 00 00 .......
    37bf316e8
    37bf316e8loc_37bf316e8:
    37bf316e8test r14, r14
    37bf316ebje 0x37bf30f27
    37bf316f1test rdi, rdi
    37bf316f4je 0x37bf30f27
    37bf316falea rcx, [r8-1]
    37bf316femov rdi, [rsp+176]
    37bf31706mov [rsp+344], r15
    37bf3170emov rax, rcx
    37bf31711cqo
    37bf31713idiv rdi
    37bf31716sub rcx, rdx
    37bf31719xor edx, edx
    37bf3171bmov rax, rcx
    37bf3171elea r10, [rcx+1]
    37bf31722div rdi
    37bf31725mov rdx, r9
    37bf31728imul r9, r10
    37bf3172cmov r14, rax
    37bf3172fmov rax, rdi
    37bf31732neg rax
    37bf31735imul rdx, rax
    37bf31739sub rdx, rdi
    37bf3173clea rsi, [8*rdx]
    37bf31744lea rdx, [r9+r12]
    37bf31748mov r9, rdi
    37bf3174bmov [rsp+192], rsi
    37bf31753mov rsi, [rsp+368]
    37bf3175badd rdx, rcx
    37bf3175elea rdi, [rsp+224]
    37bf31766lea r12, [rsp+216]
    37bf3176elea r13, [rsi+8*rdx+8]
    37bf31773mov rsi, [rsp+184]
    37bf3177bmov r15, r13
    37bf3177emov rdx, rsi
    37bf31781imul rsi, r10
    37bf31785imul rdx, rax
    37bf31789imul rax, rbx
    37bf3178dlea rcx, [8*rdx]
    37bf31795mov rdx, [rsp+168]
    37bf3179dmov [rsp+168], rdi
    37bf317a5mov rdi, r14
    37bf317a8shl rax, 3
    37bf317acmov [rsp+200], rcx
    37bf317b4lea r14, [rsp+232]
    37bf317bcmov rcx, r11
    37bf317bfmov [rsp+184], rax
    37bf317c7mov rax, rbx
    37bf317canot rbx
    37bf317cdadd rdx, rsi
    37bf317d0imul rax, r10
    37bf317d4mov rsi, [rsp+384]
    37bf317dclea rsi, [rsi+8*rdx+8]
    37bf317e1mov rdx, r8
    37bf317e4add rax, rbx
    37bf317e7mov rbx, [rsp+400]
    37bf317efmov r13, rsi
    37bf317f2lea rbx, [rbx+8*rax+8]
    37bf317f7mov rsi, rbx
    37bf317famov rbx, r10
    37bf317fdjmp 0x37bf31845
    37bf317ff
    37bf317ff 90 .
    37bf31800
    37bf31800loc_37bf31800:
    37bf31800mov rax, [rsp+352]
    37bf31808add r15, [rsp+192]
    37bf31810sub rdi, 1
    37bf31814add r13, [rsp+200]
    37bf3181cadd rsi, [rsp+184]
    37bf31824mov rdx, [rax]
    37bf31827mov rax, [rsp+344]
    37bf3182fsub rbx, [rsp+176]
    37bf31837mov rcx, [rax]
    37bf3183amov rax, [rsp+360]
    37bf31842mov r9, [rax]
    37bf31845
    37bf31845loc_37bf31845:
    37bf31845mov rax, [rsp+168]
    37bf3184dsub rdx, rbx
    37bf31850mov [rsp+88], rsi
    37bf31855lea r8, [rip+0x528ae0]
    37bf3185cadd rdx, 1
    37bf31860mov [rsp+72], r13
    37bf31865mov [rsp+112], rax
    37bf3186amov rax, [rsp+416]
    37bf31872cmp rdx, r9
    37bf31875cmovg rdx, r9
    37bf31879mov [rsp+56], r15
    37bf3187esub rcx, rbx
    37bf31881lea r9, [rip+0x528ab3]
    37bf31888mov [rsp+104], rax
    37bf3188dmov rax, [rsp+408]
    37bf31895add rcx, 1
    37bf31899mov [rsp+48], r12
    37bf3189emov [rsp+96], rax
    37bf318a3mov rax, [rsp+392]
    37bf318abmov [rsp+40], r14
    37bf318b0mov [rsp+80], rax
    37bf318b5mov rax, [rsp+376]
    37bf318bdmov [rsp+32], rbp
    37bf318c2mov [rsp+64], rax
    37bf318c7mov [rsp+216], rdx
    37bf318cflea rdx, [rip+0x528a5c]
    37bf318d6mov [rsp+232], rcx
    37bf318delea rcx, [rip+0x528a4c]
    37bf318e5mov [rsp+144], 1
    37bf318f1mov [rsp+136], 1
    37bf318fdmov [rsp+128], 1
    37bf31909mov [rsp+120], 1
    37bf31912call dlarfb_64_
    37bf31917test rdi, rdi
    37bf3191ajne 0x37bf31800
    37bf31920jmp 0x37bf30f27
    37bf31925
    37bf31925 0f 1f 00 ...
    37bf31928
    37bf31928loc_37bf31928:
    37bf31928mov r8, -6
    37bf3192fmov ecx, 6
    37bf31934jmp 0x37bf30ef9
    37bf31939
    37bf31939loc_37bf31939:
    37bf31939mov r8, -8
    37bf31940mov ecx, 8
    37bf31945jmp 0x37bf30ef9
    37bf3194a
    37bf3194aloc_37bf3194a:
    37bf3194amov r8, -10
    37bf31951mov ecx, 10
    37bf31956jmp 0x37bf30ef9
    37bf3195b
    37bf3195bloc_37bf3195b:
    37bf3195bmov rcx, r9
    37bf3195eneg rcx
    37bf31961jmp 0x37bf30f04
    37bf30df0
    37bf31966
    37bf31966 // align 0x10
    37bf31970
    37bf31970dgeql2_64_:
    37bf31970push r15
    37bf31972push r14
    37bf31974push r13
    37bf31976push r12
    37bf31978push rbp
    37bf31979push rdi
    37bf3197apush rsi
    37bf3197bpush rbx
    37bf3197csub rsp, 120
    37bf31980mov r11, [rsp+240]
    37bf31988mov r12, [r9]
    37bf3198bmov [r11], 0
    37bf31992mov rdi, rdx
    37bf31995mov rdx, [rcx]
    37bf31998mov r13, rcx
    37bf3199btest rdx, rdx
    37bf3199ejs 0x37bf31b38
    37bf319a4mov rax, [rdi]
    37bf319a7test rax, rax
    37bf319aajs 0x37bf31af8
    37bf319b0test rdx, rdx
    37bf319b3mov ebx, 1
    37bf319b8cmovg rbx, rdx
    37bf319bccmp r12, rbx
    37bf319bfjl 0x37bf31b50
    37bf319c5cmp rdx, rax
    37bf319c8mov r15, rax
    37bf319cbcmovle r15, rdx
    37bf319cftest r15, r15
    37bf319d2je 0x37bf31b24
    37bf319d8lea rcx, [rsp+104]
    37bf319ddmov rbp, r12
    37bf319e0mov r11, [rsp+224]
    37bf319e8mov [rsp+208], r8
    37bf319f0mov [rsp+80], rcx
    37bf319f5lea rcx, [rsp+96]
    37bf319fanot rbp
    37bf319fdmov r14, r15
    37bf31a00mov [rsp+88], rcx
    37bf31a05mov rbx, [rsp+208]
    37bf31a0dlea rsi, [r11+8*r15-8]
    37bf31a12mov rcx, rax
    37bf31a15mov [rsp+216], r9
    37bf31a1djmp 0x37bf31a2f
    37bf31a1f
    37bf31a1f 90 .
    37bf31a20
    37bf31a20loc_37bf31a20:
    37bf31a20mov rdx, [r13]
    37bf31a24mov rcx, [rdi]
    37bf31a27sub rsi, 8
    37bf31a2bsub r14, 1
    37bf31a2f
    37bf31a2floc_37bf31a2f:
    37bf31a2fsub rcx, r15
    37bf31a32sub rdx, r15
    37bf31a35mov [rsp+32], rsi
    37bf31a3alea r9, [rip+0x528907]
    37bf31a41add rcx, r14
    37bf31a44add rdx, r14
    37bf31a47imul rcx, r12
    37bf31a4bmov [rsp+104], rdx
    37bf31a50add rcx, rbp
    37bf31a53add rdx, rcx
    37bf31a56lea r8, [rbx+8*rcx+8]
    37bf31a5bmov rcx, [rsp+80]
    37bf31a60lea rdx, [rbx+8*rdx]
    37bf31a64call dlarfg_64_
    37bf31a69mov rdx, [r13]
    37bf31a6dmov r8, [rsp+80]
    37bf31a72mov rax, [rsp+232]
    37bf31a7asub rdx, r15
    37bf31a7dadd rdx, r14
    37bf31a80mov [rsp+96], rdx
    37bf31a85mov rdx, [rdi]
    37bf31a88mov [rsp+64], rax
    37bf31a8dmov rax, [rsp+216]
    37bf31a95sub rdx, r15
    37bf31a98mov [rsp+48], rbx
    37bf31a9dadd rdx, r14
    37bf31aa0mov [rsp+56], rax
    37bf31aa5lea rax, [rip+0x52889c]
    37bf31aaclea rcx, [rdx-1]
    37bf31ab0mov [rsp+32], rax
    37bf31ab5imul rdx, r12
    37bf31ab9mov [rsp+40], rsi
    37bf31abemov [rsp+72], 4
    37bf31ac7mov [rsp+104], rcx
    37bf31acclea rcx, [rip+0x52887d]
    37bf31ad3lea rdx, [rbp+rdx+1]
    37bf31ad8lea r9, [rbx+8*rdx]
    37bf31adcmov rdx, [rsp+88]
    37bf31ae1call dlarf1l_64_
    37bf31ae6mov rax, r14
    37bf31ae9sub rax, 1
    37bf31aedjne 0x37bf31a20
    37bf31af3jmp 0x37bf31b24
    37bf31af5
    37bf31af5 0f 1f 00 ...
    37bf31af8
    37bf31af8loc_37bf31af8:
    37bf31af8mov rdx, -2
    37bf31affmov eax, 2
    37bf31b04
    37bf31b04loc_37bf31b04:
    37bf31b04mov [r11], rdx
    37bf31b07mov r8l, 6
    37bf31b0dlea rdx, [rsp+104]
    37bf31b12lea rcx, [rip+0x528827]
    37bf31b19mov [rsp+104], rax
    37bf31b1ecall xerbla_64_
    37bf31b23nop
    37bf31b24
    37bf31b24loc_37bf31b24:
    37bf31b24add rsp, 120
    37bf31b28pop rbx
    37bf31b29pop rsi
    37bf31b2apop rdi
    37bf31b2bpop rbp
    37bf31b2cpop r12
    37bf31b2epop r13
    37bf31b30pop r14
    37bf31b32pop r15
    37bf31b34ret
    37bf31b35
    37bf31b35 0f 1f 00 ...
    37bf31b38
    37bf31b38loc_37bf31b38:
    37bf31b38mov rdx, -1
    37bf31b3fmov eax, 1
    37bf31b44jmp 0x37bf31b04
    37bf31b46
    37bf31b46 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bf31b50
    37bf31b50loc_37bf31b50:
    37bf31b50mov rdx, -4
    37bf31b57mov eax, 4
    37bf31b5cjmp 0x37bf31b04
    37bf31970
    37bf31b5e
    37bf31b5e // align 0x10
    37bf31b60
    37bf31b60dgeqlf_64_:
    37bf31b60push r15
    37bf31b62push r14
    37bf31b64push r13
    37bf31b66push r12
    37bf31b68push rbp
    37bf31b69push rdi
    37bf31b6apush rsi
    37bf31b6bpush rbx
    37bf31b6csub rsp, 312
    37bf31b73mov rsi, [rsp+440]
    37bf31b7bmov rbx, [rcx]
    37bf31b7emov r15, [r9]
    37bf31b81mov [rsi], 0
    37bf31b88mov rdi, rcx
    37bf31b8bmov rbp, rdx
    37bf31b8emov r10, r8
    37bf31b91mov r12, r9
    37bf31b94test rbx, rbx
    37bf31b97js 0x37bf321c0
    37bf31b9dmov rax, [rdx]
    37bf31ba0test rax, rax
    37bf31ba3js 0x37bf32170
    37bf31ba9test rbx, rbx
    37bf31bacmov edx, 1
    37bf31bb1cmovg rdx, rbx
    37bf31bb5cmp r15, rdx
    37bf31bb8jl 0x37bf321d0
    37bf31bbecmp rbx, rax
    37bf31bc1mov rcx, [rsp+432]
    37bf31bc9movsd_xmm x0, [rip+0x5287d7]
    37bf31bd1cmovg rbx, rax
    37bf31bd5mov r13, [rcx]
    37bf31bd8test rbx, rbx
    37bf31bdbje 0x37bf31c46
    37bf31bddlea rax, [rip+0x52878c]
    37bf31be4mov [rsp+32], rbp
    37bf31be9mov r9, rdi
    37bf31beclea r8, [rip+0x52876d]
    37bf31bf3mov [rsp+64], 1
    37bf31bfclea rdx, [rip+0x52875e]
    37bf31c03lea rcx, [rip+0x52875e]
    37bf31c0amov [rsp+56], 6
    37bf31c13mov [rsp+48], rax
    37bf31c18mov [rsp+40], rax
    37bf31c1dmov [rsp+400], r10
    37bf31c25call ilaenv_64_
    37bf31c2amov r10, [rsp+400]
    37bf31c32pxor x0, x0
    37bf31c36mov r14, rax
    37bf31c39mov rax, [rbp]
    37bf31c3dimul rax, r14
    37bf31c41cvtsi2sd x0, rax
    37bf31c46
    37bf31c46loc_37bf31c46:
    37bf31c46mov rax, [rsp+424]
    37bf31c4emovsd_xmm [rax], x0
    37bf31c52cmp r13, -1
    37bf31c56je 0x37bf32200
    37bf31c5cmov rax, [rsp+432]
    37bf31c64mov rax, [rax]
    37bf31c67test rax, rax
    37bf31c6ajle 0x37bf321e0
    37bf31c70cmp [rdi], 0
    37bf31c74jle 0x37bf31c8f
    37bf31c76mov rdx, [rbp]
    37bf31c7amov ecx, 1
    37bf31c7ftest rdx, rdx
    37bf31c82cmovle rdx, rcx
    37bf31c86cmp rax, rdx
    37bf31c89jl 0x37bf321e0
    37bf31c8f
    37bf31c8floc_37bf31c8f:
    37bf31c8fmov rax, [rsi]
    37bf31c92test rax, rax
    37bf31c95jne 0x37bf32208
    37bf31c9btest rbx, rbx
    37bf31c9eje 0x37bf321a2
    37bf31ca4mov rsi, [rbp]
    37bf31ca8cmp r14, 1
    37bf31cacjle 0x37bf321f0
    37bf31cb2cmp r14, rbx
    37bf31cb5jge 0x37bf321f0
    37bf31cbblea rax, [rip+0x5286ae]
    37bf31cc2mov [rsp+32], rbp
    37bf31cc7lea rdx, [rip+0x528693]
    37bf31ccemov r9, rdi
    37bf31cd1mov [rsp+64], 1
    37bf31cdalea rcx, [rip+0x528697]
    37bf31ce1lea r8, [rip+0x528678]
    37bf31ce8mov [rsp+56], 6
    37bf31cf1mov [rsp+48], rax
    37bf31cf6mov [rsp+40], rax
    37bf31cfbmov [rsp+400], r10
    37bf31d03call ilaenv_64_
    37bf31d08xor edx, edx
    37bf31d0amov rcx, [rbp]
    37bf31d0emov r10, [rsp+400]
    37bf31d16test rax, rax
    37bf31d19cmovns rdx, rax
    37bf31d1dcmp rbx, rdx
    37bf31d20mov r13, rdx
    37bf31d23jle 0x37bf321f3
    37bf31d29mov rax, [rsp+432]
    37bf31d31mov rsi, r14
    37bf31d34mov [rsp+280], rcx
    37bf31d3cimul rsi, rcx
    37bf31d40mov rax, [rax]
    37bf31d43cmp rax, rsi
    37bf31d46jl 0x37bf32210
    37bf31d4c
    37bf31d4cloc_37bf31d4c:
    37bf31d4cmov rax, rbx
    37bf31d4fmov [rsp+240], rsi
    37bf31d57sub rax, r13
    37bf31d5amov r13, rbx
    37bf31d5dmov [rsp+384], rdi
    37bf31d65mov rdi, rbx
    37bf31d68lea r8, [rax-1]
    37bf31d6cmov [rsp+392], rbp
    37bf31d74mov rbp, r10
    37bf31d77mov rax, r8
    37bf31d7acqo
    37bf31d7cidiv r14
    37bf31d7fmov rax, r8
    37bf31d82mov r8, rbx
    37bf31d85sub rax, rdx
    37bf31d88lea rdx, [rax+r14]
    37bf31d8ccmp rdx, rbx
    37bf31d8fcmovg rdx, rbx
    37bf31d93sub r8, rdx
    37bf31d96add r8, rax
    37bf31d99lea rdx, [r8+1]
    37bf31d9dsub r13, r8
    37bf31da0mov [rsp+232], rdx
    37bf31da8xor edx, edx
    37bf31daadiv r14
    37bf31dadmov rdx, [rsp+416]
    37bf31db5lea rdx, [rdx+8*rbx]
    37bf31db9mov [rsp+192], rdx
    37bf31dc1lea rdx, [rsp+296]
    37bf31dc9mov [rsp+176], rdx
    37bf31dd1lea rdx, [rbx+1]
    37bf31dd5mov [rsp+200], rdx
    37bf31dddlea rdx, [rsp+264]
    37bf31de5mov [rsp+168], rdx
    37bf31dedlea rdx, [rsp+272]
    37bf31df5mov [rsp+208], rdx
    37bf31dfdlea rdx, [rsp+280]
    37bf31e05mov [rsp+216], rdx
    37bf31e0dlea rdx, [rsp+288]
    37bf31e15mov [rsp+224], rdx
    37bf31e1dmov rdx, rcx
    37bf31e20mov [rsp+248], rax
    37bf31e28mov rsi, rax
    37bf31e2bnop [rax+rax]
    37bf31e30
    37bf31e30loc_37bf31e30:
    37bf31e30mov rax, [rsp+384]
    37bf31e38mov rbx, [rsp+200]
    37bf31e40mov rcx, r14
    37bf31e43mov r9, r12
    37bf31e46mov r8, [rax]
    37bf31e49sub rbx, r13
    37bf31e4ccmp r13, r14
    37bf31e4fmov rax, [rsp+192]
    37bf31e57cmovle rcx, r13
    37bf31e5bsub rdx, rdi
    37bf31e5eadd r8, rbx
    37bf31e61add rdx, rbx
    37bf31e64sub r8, rdi
    37bf31e67mov [rsp+264], rcx
    37bf31e6fimul rdx, r15
    37bf31e73lea rcx, [rcx+r8-1]
    37bf31e78mov [rsp+296], rcx
    37bf31e80mov rcx, r13
    37bf31e83neg rcx
    37bf31e86sub rdx, r15
    37bf31e89lea r11, [rax+8*rcx]
    37bf31e8dmov rax, [rsp+208]
    37bf31e95mov rcx, [rsp+176]
    37bf31e9dlea r8, [rbp+8*rdx]
    37bf31ea2mov [rsp+32], r11
    37bf31ea7mov rdx, [rsp+168]
    37bf31eafmov [rsp+48], rax
    37bf31eb4mov rax, [rsp+424]
    37bf31ebcmov [rsp+184], r11
    37bf31ec4mov [rsp+40], rax
    37bf31ec9call dgeql2_64_
    37bf31ecemov r10, [rsp+392]
    37bf31ed6mov rcx, [r10]
    37bf31ed9mov rax, rcx
    37bf31edcsub rax, rdi
    37bf31edflea rdx, [rax+rbx]
    37bf31ee3cmp rdx, 1
    37bf31ee7jle 0x37bf32097
    37bf31eedmov r9, [rsp+384]
    37bf31ef5imul rdx, r15
    37bf31ef9mov r11, [rsp+216]
    37bf31f01mov r8, [rsp+176]
    37bf31f09mov r10, [r9]
    37bf31f0cmov r9, [rsp+168]
    37bf31f14mov [rsp+64], r11
    37bf31f19sub rdx, r15
    37bf31f1cmov [rsp+40], r12
    37bf31f21mov r11, [rsp+184]
    37bf31f29add r10, rbx
    37bf31f2clea rdx, [rbp+8*rdx]
    37bf31f31mov [rsp+80], 10
    37bf31f3amov rcx, r10
    37bf31f3dmov [rsp+48], r11
    37bf31f42mov r10, [rsp+424]
    37bf31f4amov [rsp+32], rdx
    37bf31f4fsub rcx, rdi
    37bf31f52add rcx, [rsp+264]
    37bf31f5alea rdx, [rip+0x528427]
    37bf31f61mov [rsp+56], r10
    37bf31f66sub rcx, 1
    37bf31f6amov [rsp+72], 8
    37bf31f73mov [rsp+296], rcx
    37bf31f7blea rcx, [rip+0x528410]
    37bf31f82call dlarft_64_
    37bf31f87mov r10, [rsp+384]
    37bf31f8fmov rcx, [rsp+264]
    37bf31f97lea r9, [rip+0x5283ea]
    37bf31f9emov rax, [rsp+168]
    37bf31fa6mov r11, [rsp+216]
    37bf31faelea r8, [rip+0x5283dd]
    37bf31fb5mov rdx, [r10]
    37bf31fb8add rdx, rbx
    37bf31fbbsub rdx, rdi
    37bf31fbelea rdx, [rcx+rdx-1]
    37bf31fc3mov [rsp+288], rdx
    37bf31fcbmov rdx, [rsp+392]
    37bf31fd3add rbx, [rdx]
    37bf31fd6mov [rsp+48], rax
    37bf31fdbsub rbx, rdi
    37bf31fdemov rax, [rsp+176]
    37bf31fe6mov [rsp+144], 10
    37bf31ff2lea rdx, [rbx-1]
    37bf31ff6mov [rsp+112], r11
    37bf31ffbimul rbx, r15
    37bf31fffmov [rsp+296], rdx
    37bf32007mov rdx, [rsp+424]
    37bf3200fmov [rsp+40], rax
    37bf32014mov rax, [rsp+224]
    37bf3201clea rdx, [rdx+8*rcx]
    37bf32020mov [rsp+96], r12
    37bf32025mov rcx, [rsp+424]
    37bf3202dsub rbx, r15
    37bf32030mov [rsp+104], rdx
    37bf32035lea rdx, [rbp+8*rbx]
    37bf3203amov [rsp+32], rax
    37bf3203fmov [rsp+56], rdx
    37bf32044lea rdx, [rip+0x52834f]
    37bf3204bmov [rsp+72], rcx
    37bf32050lea rcx, [rip+0x52834c]
    37bf32057mov [rsp+136], 8
    37bf32063mov [rsp+128], 9
    37bf3206fmov [rsp+120], 4
    37bf32078mov [rsp+88], rbp
    37bf3207dmov [rsp+80], r11
    37bf32082mov [rsp+64], r12
    37bf32087call dlarfb_64_
    37bf3208cmov rax, [rsp+392]
    37bf32094mov rcx, [rax]
    37bf32097
    37bf32097loc_37bf32097:
    37bf32097sub rsi, 1
    37bf3209bmov rdx, rcx
    37bf3209eadd r13, r14
    37bf320a1cmp rsi, -1
    37bf320a5jne 0x37bf31e30
    37bf320abmov rax, [rsp+248]
    37bf320b3mov rbx, rdi
    37bf320b6mov r10, rbp
    37bf320b9mov rdx, [rsp+232]
    37bf320c1mov rdi, [rsp+384]
    37bf320c9sub rcx, rbx
    37bf320ccmov rsi, [rsp+240]
    37bf320d4imul rax, r14
    37bf320d8sub rdx, r14
    37bf320dbsub rdx, rax
    37bf320demov rax, [rdi]
    37bf320e1add rcx, rdx
    37bf320e4sub rax, rbx
    37bf320e7lea rcx, [r14+rcx-1]
    37bf320ecadd rax, rdx
    37bf320eflea rax, [r14+rax-1]
    37bf320f4
    37bf320f4loc_37bf320f4:
    37bf320f4mov [rsp+288], rax
    37bf320fcmov [rsp+296], rcx
    37bf32104test rax, rax
    37bf32107jle 0x37bf32150
    37bf32109test rcx, rcx
    37bf3210cjle 0x37bf32150
    37bf3210elea rax, [rsp+272]
    37bf32116lea rdx, [rsp+296]
    37bf3211emov r9, r12
    37bf32121mov r8, r10
    37bf32124mov [rsp+48], rax
    37bf32129mov rax, [rsp+424]
    37bf32131lea rcx, [rsp+288]
    37bf32139mov [rsp+40], rax
    37bf3213emov rax, [rsp+416]
    37bf32146mov [rsp+32], rax
    37bf3214bcall dgeql2_64_
    37bf32150
    37bf32150loc_37bf32150:
    37bf32150mov rax, [rsp+424]
    37bf32158pxor x0, x0
    37bf3215ccvtsi2sd x0, rsi
    37bf32161movsd_xmm [rax], x0
    37bf32165jmp 0x37bf321a2
    37bf32167
    37bf32167 66 0f 1f 84 00 00 00 00 00 f........
    37bf32170
    37bf32170loc_37bf32170:
    37bf32170mov rdx, -2
    37bf32177mov eax, 2
    37bf3217c
    37bf3217cloc_37bf3217c:
    37bf3217cmov [rsi], rdx
    37bf3217f
    37bf3217floc_37bf3217f:
    37bf3217flea rdx, [rsp+296]
    37bf32187mov r8l, 6
    37bf3218dlea rcx, [rip+0x5281cd]
    37bf32194mov [rsp+296], rax
    37bf3219ccall xerbla_64_
    37bf321a1nop
    37bf321a2
    37bf321a2loc_37bf321a2:
    37bf321a2add rsp, 312
    37bf321a9pop rbx
    37bf321aapop rsi
    37bf321abpop rdi
    37bf321acpop rbp
    37bf321adpop r12
    37bf321afpop r13
    37bf321b1pop r14
    37bf321b3pop r15
    37bf321b5ret
    37bf321b6
    37bf321b6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bf321c0
    37bf321c0loc_37bf321c0:
    37bf321c0mov [rsi], -1
    37bf321c7mov eax, 1
    37bf321ccjmp 0x37bf3217f
    37bf321ce
    37bf321ce 66 90 f.
    37bf321d0
    37bf321d0loc_37bf321d0:
    37bf321d0mov rdx, -4
    37bf321d7mov eax, 4
    37bf321dcjmp 0x37bf3217c
    37bf321de
    37bf321de 66 90 f.
    37bf321e0
    37bf321e0loc_37bf321e0:
    37bf321e0mov [rsi], -7
    37bf321e7mov eax, 7
    37bf321ecjmp 0x37bf3217f
    37bf321ee
    37bf321ee 66 90 f.
    37bf321f0
    37bf321f0loc_37bf321f0:
    37bf321f0mov rcx, rsi
    37bf321f3
    37bf321f3loc_37bf321f3:
    37bf321f3mov rax, [rdi]
    37bf321f6jmp 0x37bf320f4
    37bf321fb
    37bf321fb 0f 1f 44 00 00 ..D..
    37bf32200
    37bf32200loc_37bf32200:
    37bf32200mov rax, [rsi]
    37bf32203test rax, rax
    37bf32206je 0x37bf321a2
    37bf32208
    37bf32208loc_37bf32208:
    37bf32208neg rax
    37bf3220bjmp 0x37bf3217f
    37bf32210
    37bf32210loc_37bf32210:
    37bf32210cqo
    37bf32212mov [rsp+32], rbp
    37bf32217mov r9, rdi
    37bf3221alea r8, [rip+0x52813f]
    37bf32221idiv rcx
    37bf32224mov [rsp+64], 1
    37bf3222dmov [rsp+56], 6
    37bf32236lea rdx, [rip+0x528124]
    37bf3223dlea rcx, [rip+0x52813c]
    37bf32244mov r14, rax
    37bf32247lea rax, [rip+0x528122]
    37bf3224emov [rsp+48], rax
    37bf32253mov [rsp+40], rax
    37bf32258call ilaenv_64_
    37bf3225dmov edx, 2
    37bf32262mov rcx, [rbp]
    37bf32266mov r10, [rsp+400]
    37bf3226ecmp rax, rdx
    37bf32271cmovl rax, rdx
    37bf32275cmp r14, rax
    37bf32278jl 0x37bf321f3
    37bf3227ecmp rbx, r14
    37bf32281jle 0x37bf321f3
    37bf32287jmp 0x37bf31d4c
    37bf31b60
    37bf3228c
    37bf3228c // align 0x10
    37bf32290
    37bf32290dgeqp3_64_:
    37bf32290push r15
    37bf32292push r14
    37bf32294push r13
    37bf32296push r12
    37bf32298push rbp
    37bf32299push rdi
    37bf3229apush rsi
    37bf3229bpush rbx
    37bf3229csub rsp, 280
    37bf322a3mov rax, [rsp+416]
    37bf322abmov rsi, [rsp+384]
    37bf322b3mov rdi, [rsp+400]
    37bf322bbmov r13, [r9]
    37bf322bemov [rax], 0
    37bf322c5mov rax, [rcx]
    37bf322c8mov [rsp+368], r8
    37bf322d0mov r12, rcx
    37bf322d3mov rbp, rdx
    37bf322d6mov [rsp+376], r9
    37bf322detest rax, rax
    37bf322e1js 0x37bf323d0
    37bf322e7mov r10, [rdx]
    37bf322eatest r10, r10
    37bf322edjs 0x37bf32378
    37bf322f3test rax, rax
    37bf322f6mov edx, 1
    37bf322fbcmovg rdx, rax
    37bf322ffcmp r13, rdx
    37bf32302jl 0x37bf32918
    37bf32308cmp rax, r10
    37bf3230bmov rbx, [rsp+408]
    37bf32313cmovg rax, r10
    37bf32317mov rbx, [rbx]
    37bf3231amov [rsp+152], rax
    37bf32322test rax, rax
    37bf32325jne 0x37bf32baf
    37bf3232bmov [rsp+144], 1
    37bf32337movsd_xmm x0, [rip+0x5280b1]
    37bf3233fmov rax, rbx
    37bf32342
    37bf32342loc_37bf32342:
    37bf32342cmp [rsp+144], rax
    37bf3234amovsd_xmm [rdi], x0
    37bf3234emov rax, [rsp+416]
    37bf32356jle 0x37bf32400
    37bf3235ccmp rbx, -1
    37bf32360je 0x37bf32930
    37bf32366mov [rax], -8
    37bf3236dmov eax, 8
    37bf32372jmp 0x37bf3238f
    37bf32374
    37bf32374 0f 1f 40 00 ..@.
    37bf32378
    37bf32378loc_37bf32378:
    37bf32378mov rdx, -2
    37bf3237fmov eax, 2
    37bf32384
    37bf32384loc_37bf32384:
    37bf32384mov rbx, [rsp+416]
    37bf3238cmov [rbx], rdx
    37bf3238f
    37bf3238floc_37bf3238f:
    37bf3238flea rdx, [rsp+264]
    37bf32397mov r8l, 6
    37bf3239dlea rcx, [rip+0x528024]
    37bf323a4mov [rsp+264], rax
    37bf323accall xerbla_64_
    37bf323b1nop
    37bf323b2
    37bf323b2loc_37bf323b2:
    37bf323b2add rsp, 280
    37bf323b9pop rbx
    37bf323bapop rsi
    37bf323bbpop rdi
    37bf323bcpop rbp
    37bf323bdpop r12
    37bf323bfpop r13
    37bf323c1pop r14
    37bf323c3pop r15
    37bf323c5ret
    37bf323c6
    37bf323c6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bf323d0
    37bf323d0loc_37bf323d0:
    37bf323d0mov rax, [rsp+416]
    37bf323d8mov [rsp+160], -1
    37bf323e4mov [rax], -1
    37bf323eb
    37bf323ebloc_37bf323eb:
    37bf323ebmov rax, [rsp+160]
    37bf323f3
    37bf323f3loc_37bf323f3:
    37bf323f3neg rax
    37bf323f6jmp 0x37bf3238f
    37bf323f8
    37bf323f8 0f 1f 84 00 00 00 00 00 ........
    37bf32400
    37bf32400loc_37bf32400:
    37bf32400mov rax, [rax]
    37bf32403mov [rsp+160], rax
    37bf3240btest rax, rax
    37bf3240ejne 0x37bf323eb
    37bf32410cmp rbx, -1
    37bf32414je 0x37bf323b2
    37bf32416mov rax, r13
    37bf32419not rax
    37bf3241cmov [rsp+136], rax
    37bf32424test r10, r10
    37bf32427jle 0x37bf324fa
    37bf3242dmov r14, [rsp+368]
    37bf32435mov ebx, 1
    37bf3243amov [rsp+360], rbp
    37bf32442mov rbp, r10
    37bf32445mov [rsp+400], rdi
    37bf3244dmov r15l, 1
    37bf32453mov rdi, r14
    37bf32456lea r14, [8*r13]
    37bf3245ejmp 0x37bf324c8
    37bf32460
    37bf32460loc_37bf32460:
    37bf32460cmp r15, rbx
    37bf32463je 0x37bf32530
    37bf32469mov rdx, r13
    37bf3246cmov rax, [rsp+136]
    37bf32474mov rcx, r12
    37bf32477lea r8, [rip+0x527f3a]
    37bf3247eimul rdx, rbx
    37bf32482lea rdx, [rax+rdx+1]
    37bf32487lea rax, [rip+0x527f2a]
    37bf3248emov [rsp+32], rax
    37bf32493mov rax, [rsp+368]
    37bf3249blea r9, [rax+8*rdx]
    37bf3249fmov rdx, rdi
    37bf324a2call dswap_64_
    37bf324a7lea rdx, [rbx-1]
    37bf324abmov rcx, [rsi+8*rdx]
    37bf324afmov [rsi+8*r15-8], rcx
    37bf324b4mov [rsi+8*rdx], r15
    37bf324b8
    37bf324b8loc_37bf324b8:
    37bf324b8add r15, 1
    37bf324bcadd rbx, 1
    37bf324c0add rdi, r14
    37bf324c3cmp rbp, r15
    37bf324c6jl 0x37bf324e1
    37bf324c8
    37bf324c8loc_37bf324c8:
    37bf324c8cmp [rsi+8*r15-8], 0
    37bf324cejne 0x37bf32460
    37bf324d0mov [rsi+8*r15-8], r15
    37bf324d5add r15, 1
    37bf324d9add rdi, r14
    37bf324dccmp rbp, r15
    37bf324dfjge 0x37bf324c8
    37bf324e1
    37bf324e1loc_37bf324e1:
    37bf324e1mov r15, rbx
    37bf324e4mov rbp, [rsp+360]
    37bf324ecmov rdi, [rsp+400]
    37bf324f4sub r15, 1
    37bf324f8jne 0x37bf32540
    37bf324fa
    37bf324faloc_37bf324fa:
    37bf324faxor r15l, r15l
    37bf324fdmov ebx, 1
    37bf32502
    37bf32502loc_37bf32502:
    37bf32502cmp r15, [rsp+152]
    37bf3250ajl 0x37bf326c0
    37bf32510
    37bf32510loc_37bf32510:
    37bf32510pxor x0, x0
    37bf32514cvtsi2sd x0, [rsp+144]
    37bf3251emovsd_xmm [rdi], x0
    37bf32522jmp 0x37bf323b2
    37bf32527
    37bf32527 66 0f 1f 84 00 00 00 00 00 f........
    37bf32530
    37bf32530loc_37bf32530:
    37bf32530mov [rsi+8*r15-8], r15
    37bf32535jmp 0x37bf324b8
    37bf32537
    37bf32537 66 0f 1f 84 00 00 00 00 00 f........
    37bf32540
    37bf32540loc_37bf32540:
    37bf32540mov rcx, [rsp+416]
    37bf32548mov rax, [r12]
    37bf3254cmov [rsp+40], rdi
    37bf32551mov r9, [rsp+376]
    37bf32559mov r8, [rsp+368]
    37bf32561mov [rsp+56], rcx
    37bf32566mov rcx, [rsp+408]
    37bf3256ecmp rax, r15
    37bf32571cmovg rax, r15
    37bf32575mov [rsp+48], rcx
    37bf3257amov rcx, [rsp+392]
    37bf32582mov [rsp+224], rax
    37bf3258alea rax, [rsp+224]
    37bf32592mov [rsp+32], rcx
    37bf32597mov rdx, rax
    37bf3259amov rcx, r12
    37bf3259dmov [rsp+168], rax
    37bf325a5call dgeqrf_64_
    37bf325aacvttsd2si rdx, [rdi]
    37bf325afmov rcx, [rbp]
    37bf325b3mov rax, [rsp+144]
    37bf325bbcmp rax, rdx
    37bf325becmovge rdx, rax
    37bf325c2mov rax, [rsp+168]
    37bf325camov [rsp+144], rdx
    37bf325d2mov rdx, [rsp+224]
    37bf325dacmp rcx, rdx
    37bf325ddjle 0x37bf32502
    37bf325e3sub rcx, rdx
    37bf325e6add rdx, 1
    37bf325eamov r8, r12
    37bf325edmov [rsp+32], rax
    37bf325f2mov [rsp+264], rcx
    37bf325faimul rdx, r13
    37bf325femov rcx, [rsp+416]
    37bf32606lea r9, [rsp+264]
    37bf3260emov [rsp+112], 9
    37bf32617mov [rsp+96], rcx
    37bf3261cmov rcx, [rsp+408]
    37bf32624mov [rsp+104], 4
    37bf3262dmov [rsp+88], rcx
    37bf32632mov rcx, [rsp+376]
    37bf3263amov [rsp+80], rdi
    37bf3263fmov [rsp+72], rcx
    37bf32644mov rcx, [rsp+136]
    37bf3264clea rdx, [rcx+rdx+1]
    37bf32651mov rcx, [rsp+368]
    37bf32659lea rdx, [rcx+8*rdx]
    37bf3265dmov rcx, [rsp+392]
    37bf32665mov [rsp+64], rdx
    37bf3266alea rdx, [rip+0x527d5d]
    37bf32671mov [rsp+56], rcx
    37bf32676mov rcx, [rsp+376]
    37bf3267emov [rsp+48], rcx
    37bf32683mov rcx, [rsp+368]
    37bf3268bmov [rsp+40], rcx
    37bf32690lea rcx, [rip+0x527d40]
    37bf32697call dormqr_64_
    37bf3269ccvttsd2si rax, [rdi]
    37bf326a1mov rcx, [rsp+144]
    37bf326a9cmp rcx, rax
    37bf326accmovge rax, rcx
    37bf326b0mov [rsp+144], rax
    37bf326b8jmp 0x37bf32502
    37bf326bd
    37bf326bd 0f 1f 00 ...
    37bf326c0
    37bf326c0loc_37bf326c0:
    37bf326c0mov rax, [r12]
    37bf326c4mov r14, [rsp+152]
    37bf326cclea r9, [rsp+232]
    37bf326d4lea rdx, [rip+0x527cd6]
    37bf326dblea r8, [rip+0x527cce]
    37bf326e2lea rcx, [rip+0x527ccf]
    37bf326e9mov [rsp+176], r9
    37bf326f1sub rax, r15
    37bf326f4sub r14, r15
    37bf326f7mov [rsp+232], rax
    37bf326ffmov rax, [rbp]
    37bf32703mov [rsp+64], 1
    37bf3270csub rax, r15
    37bf3270flea r15, [rsp+240]
    37bf32717mov [rsp+56], 6
    37bf32720mov [rsp+240], rax
    37bf32728lea rax, [rip+0x527c91]
    37bf3272fmov [rsp+48], rax
    37bf32734mov [rsp+40], rax
    37bf32739mov [rsp+32], r15
    37bf3273emov [rsp+168], r14
    37bf32746call ilaenv_64_
    37bf3274bxor edx, edx
    37bf3274dmov r11, rax
    37bf32750cmp rax, 1
    37bf32754setg dl
    37bf32757xor eax, eax
    37bf32759cmp r14, r11
    37bf3275csetg al
    37bf3275fand rdx, rax
    37bf32762mov [rsp+200], rdx
    37bf3276ajne 0x37bf32948
    37bf32770mov rcx, [rbp]
    37bf32774cmp rcx, rbx
    37bf32777jl 0x37bf32858
    37bf3277d
    37bf3277dloc_37bf3277d:
    37bf3277dmov rax, rbx
    37bf32780mov rdx, [rsp+136]
    37bf32788mov [rsp+192], r11
    37bf32790lea r15, [8*r13]
    37bf32798imul rax, r13
    37bf3279cmov [rsp+184], rbx
    37bf327a4mov r14, rcx
    37bf327a7add rdx, rbx
    37bf327aamov [rsp+384], rsi
    37bf327b2mov rsi, rbx
    37bf327b5mov rbx, [rsp+176]
    37bf327bdmov [rsp+352], r12
    37bf327c5mov r12, rdi
    37bf327c8add rax, rdx
    37bf327cbmov rdx, [rsp+368]
    37bf327d3lea rdi, [rdx+8*rax]
    37bf327d7nop [rax+rax]
    37bf327e0
    37bf327e0loc_37bf327e0:
    37bf327e0mov rdx, rdi
    37bf327e3mov rcx, rbx
    37bf327e6lea r8, [rip+0x527bcb]
    37bf327edadd rdi, r15
    37bf327f0call dnrm2_64_
    37bf327f5mov r10, [rbp]
    37bf327f9movsd_xmm [r12+8*rsi-8], x0
    37bf32800lea rcx, [rsi+r10-1]
    37bf32805add rsi, 1
    37bf32809movsd_xmm [r12+8*rcx], x0
    37bf3280fcmp rsi, r14
    37bf32812jle 0x37bf327e0
    37bf32814mov rdi, r12
    37bf32817mov rbx, [rsp+184]
    37bf3281fmov r11, [rsp+192]
    37bf32827mov rsi, [rsp+384]
    37bf3282fmov r12, [rsp+352]
    37bf32837
    37bf32837loc_37bf32837:
    37bf32837mov rcx, [rsp+160]
    37bf3283fcmp [rsp+168], rcx
    37bf32847jle 0x37bf32858
    37bf32849cmp [rsp+200], 0
    37bf32852jne 0x37bf32a16
    37bf32858
    37bf32858loc_37bf32858:
    37bf32858cmp rbx, [rsp+152]
    37bf32860jg 0x37bf32510
    37bf32866mov rdx, [rbp]
    37bf3286aimul r13, rbx
    37bf3286emov rcx, [rsp+136]
    37bf32876mov rax, rdx
    37bf32879sub rax, rbx
    37bf3287clea r8, [rcx+r13+1]
    37bf32881mov rcx, rdx
    37bf32884add rax, 1
    37bf32888lea rdx, [rdx+rbx-1]
    37bf3288dshl rcx, 4
    37bf32891mov [rsp+256], rax
    37bf32899lea rax, [rbx-1]
    37bf3289dlea rdx, [rdi+8*rdx]
    37bf328a1add rcx, rdi
    37bf328a4mov [rsp+264], rax
    37bf328acshl rax, 3
    37bf328b0mov [rsp+64], rdx
    37bf328b5lea rdx, [rdi+rax]
    37bf328b9mov [rsp+56], rdx
    37bf328bemov rdx, [rsp+392]
    37bf328c6mov [rsp+72], rcx
    37bf328cbmov rcx, r12
    37bf328ceadd rdx, rax
    37bf328d1add rax, rsi
    37bf328d4mov [rsp+40], rax
    37bf328d9mov rax, [rsp+376]
    37bf328e1mov [rsp+48], rdx
    37bf328e6lea rdx, [rsp+256]
    37bf328eemov [rsp+32], rax
    37bf328f3mov rax, [rsp+368]
    37bf328fblea r9, [rax+8*r8]
    37bf328fflea r8, [rsp+264]
    37bf32907call dlaqp2_64_
    37bf3290cjmp 0x37bf32510
    37bf32911
    37bf32911 0f 1f 80 00 00 00 00 .......
    37bf32918
    37bf32918loc_37bf32918:
    37bf32918mov rdx, -4
    37bf3291fmov eax, 4
    37bf32924jmp 0x37bf32384
    37bf32929
    37bf32929 0f 1f 80 00 00 00 00 .......
    37bf32930
    37bf32930loc_37bf32930:
    37bf32930mov rax, [rax]
    37bf32933test rax, rax
    37bf32936je 0x37bf323b2
    37bf3293cjmp 0x37bf323f3
    37bf32941
    37bf32941 0f 1f 80 00 00 00 00 .......
    37bf32948
    37bf32948loc_37bf32948:
    37bf32948lea rax, [rip+0x527a71]
    37bf3294fmov [rsp+32], r15
    37bf32954mov r9, [rsp+176]
    37bf3295clea rdx, [rip+0x527a4e]
    37bf32963mov [rsp+64], 1
    37bf3296clea r8, [rip+0x527a3d]
    37bf32973lea rcx, [rip+0x527a66]
    37bf3297amov [rsp+56], 6
    37bf32983mov [rsp+48], rax
    37bf32988mov [rsp+40], rax
    37bf3298dmov [rsp+184], r11
    37bf32995call ilaenv_64_
    37bf3299axor edx, edx
    37bf3299cmov r11, [rsp+184]
    37bf329a4test rax, rax
    37bf329a7cmovns rdx, rax
    37bf329abcmp [rsp+168], rdx
    37bf329b3mov [rsp+160], rdx
    37bf329bbjle 0x37bf32c2d
    37bf329c1mov rcx, [rsp+240]
    37bf329c9mov rax, [rsp+144]
    37bf329d1lea r8, [rcx+rcx]
    37bf329d5add rcx, 1
    37bf329d9mov rdx, rcx
    37bf329dcimul rdx, r11
    37bf329e0add rdx, r8
    37bf329e3cmp rax, rdx
    37bf329e6cmovl rax, rdx
    37bf329eamov [rsp+144], rax
    37bf329f2mov rax, [rsp+408]
    37bf329famov rax, [rax]
    37bf329fdcmp rax, rdx
    37bf32a00jl 0x37bf32c3f
    37bf32a06mov r10, [rbp]
    37bf32a0amov rcx, r10
    37bf32a0dcmp rbx, r10
    37bf32a10jle 0x37bf3277d
    37bf32a16
    37bf32a16loc_37bf32a16:
    37bf32a16mov r14, [rsp+152]
    37bf32a1esub r14, [rsp+160]
    37bf32a26cmp rbx, r14
    37bf32a29jg 0x37bf32858
    37bf32a2flea rax, [rsp+264]
    37bf32a37mov [rsp+352], r12
    37bf32a3fmov r15, r11
    37bf32a42mov r12, rdi
    37bf32a45mov [rsp+184], rax
    37bf32a4dmov rdi, rbx
    37bf32a50mov r8, r10
    37bf32a53lea rax, [rsp+216]
    37bf32a5bmov [rsp+160], rax
    37bf32a63lea rax, [rsp+256]
    37bf32a6blea rbx, [rsp+208]
    37bf32a73mov [rsp+176], rax
    37bf32a7blea rax, [rsp+248]
    37bf32a83mov [rsp+168], rax
    37bf32a8bjmp 0x37bf32a94
    37bf32a8d
    37bf32a8d 0f 1f 00 ...
    37bf32a90
    37bf32a90loc_37bf32a90:
    37bf32a90mov r8, [rbp]
    37bf32a94
    37bf32a94loc_37bf32a94:
    37bf32a94mov rdx, r14
    37bf32a97lea rax, [rdi-1]
    37bf32a9bmov rcx, r8
    37bf32a9emov [rsp+32], rbx
    37bf32aa3sub rdx, rdi
    37bf32aa6mov [rsp+256], rax
    37bf32aaemov r9, [rsp+160]
    37bf32ab6add rdx, 1
    37bf32abacmp rdx, r15
    37bf32abdcmovg rdx, r15
    37bf32ac1shl rax, 3
    37bf32ac5sub rcx, rdi
    37bf32ac8add rcx, 1
    37bf32accmov [rsp+216], rdx
    37bf32ad4lea rdx, [rdx+2*r8]
    37bf32ad8lea rdx, [r12+8*rdx]
    37bf32adcmov [rsp+248], rcx
    37bf32ae4mov [rsp+96], rdx
    37bf32ae9mov rdx, r8
    37bf32aecshl rdx, 4
    37bf32af0mov [rsp+264], rcx
    37bf32af8mov rcx, [rsp+184]
    37bf32b00add rdx, r12
    37bf32b03mov [rsp+88], rdx
    37bf32b08lea rdx, [rdi+r8-1]
    37bf32b0dmov r8, [rsp+176]
    37bf32b15lea rdx, [r12+8*rdx]
    37bf32b19mov [rsp+104], rcx
    37bf32b1emov rcx, [rsp+136]
    37bf32b26mov [rsp+80], rdx
    37bf32b2blea rdx, [r12+rax]
    37bf32b2fmov [rsp+72], rdx
    37bf32b34mov rdx, [rsp+392]
    37bf32b3cadd rdx, rax
    37bf32b3fadd rax, rsi
    37bf32b42mov [rsp+56], rax
    37bf32b47mov rax, [rsp+376]
    37bf32b4fmov [rsp+64], rdx
    37bf32b54mov rdx, [rsp+168]
    37bf32b5cmov [rsp+48], rax
    37bf32b61mov rax, r13
    37bf32b64imul rax, rdi
    37bf32b68lea rax, [rcx+rax+1]
    37bf32b6dmov rcx, [rsp+368]
    37bf32b75lea rax, [rcx+8*rax]
    37bf32b79mov rcx, [rsp+352]
    37bf32b81mov [rsp+40], rax
    37bf32b86call dlaqps_64_
    37bf32b8badd rdi, [rsp+208]
    37bf32b93cmp r14, rdi
    37bf32b96jge 0x37bf32a90
    37bf32b9cmov rbx, rdi
    37bf32b9fmov rdi, r12
    37bf32ba2mov r12, [rsp+352]
    37bf32baajmp 0x37bf32858
    37bf32baf
    37bf32bafloc_37bf32baf:
    37bf32baflea rax, [r10+2*r10+1]
    37bf32bb4mov [rsp+32], rbp
    37bf32bb9mov r9, r12
    37bf32bbclea rdx, [rip+0x5277ee]
    37bf32bc3mov [rsp+144], rax
    37bf32bcblea rax, [rip+0x5277ee]
    37bf32bd2lea r8, [rip+0x5277d7]
    37bf32bd9mov [rsp+64], 1
    37bf32be2lea rcx, [rip+0x5277cf]
    37bf32be9mov [rsp+56], 6
    37bf32bf2mov [rsp+48], rax
    37bf32bf7mov [rsp+40], rax
    37bf32bfccall ilaenv_64_
    37bf32c01mov r10, [rbp]
    37bf32c05pxor x0, x0
    37bf32c09mov rdx, rax
    37bf32c0clea rax, [r10+1]
    37bf32c10imul rax, rdx
    37bf32c14lea rax, [rax+2*r10]
    37bf32c18cvtsi2sd x0, rax
    37bf32c1dmov rax, [rsp+408]
    37bf32c25mov rax, [rax]
    37bf32c28jmp 0x37bf32342
    37bf32c2d
    37bf32c2dloc_37bf32c2d:
    37bf32c2dmov rcx, [rbp]
    37bf32c31cmp rbx, rcx
    37bf32c34jle 0x37bf3277d
    37bf32c3ajmp 0x37bf32858
    37bf32c3f
    37bf32c3floc_37bf32c3f:
    37bf32c3fsub rax, r8
    37bf32c42mov [rsp+32], r15
    37bf32c47mov r9, [rsp+176]
    37bf32c4flea r8, [rip+0x52775a]
    37bf32c56mov [rsp+64], 1
    37bf32c5fcqo
    37bf32c61idiv rcx
    37bf32c64mov [rsp+56], 6
    37bf32c6dlea rdx, [rip+0x52773d]
    37bf32c74lea rcx, [rip+0x52776d]
    37bf32c7bmov [rsp+184], rax
    37bf32c83lea rax, [rip+0x527736]
    37bf32c8amov [rsp+48], rax
    37bf32c8fmov [rsp+40], rax
    37bf32c94call ilaenv_64_
    37bf32c99mov edx, 2
    37bf32c9emov r10, [rbp]
    37bf32ca2mov r11, [rsp+184]
    37bf32caacmp rax, rdx
    37bf32cadcmovl rax, rdx
    37bf32cb1xor edx, edx
    37bf32cb3mov rcx, r10
    37bf32cb6cmp r11, rax
    37bf32cb9setge dl
    37bf32cbcxor eax, eax
    37bf32cbecmp [rsp+168], r11
    37bf32cc6setg al
    37bf32cc9and rdx, rax
    37bf32cccmov [rsp+200], rdx
    37bf32cd4cmp rbx, r10
    37bf32cd7jle 0x37bf3277d
    37bf32cddjmp 0x37bf32837
    37bf32290
    37bf32ce2
    37bf32ce2 // align 0x20
    37bf32d00
    37bf32d00dgeqp3rk_64_:
    37bf32d00push r15
    37bf32d02push r14
    37bf32d04push r13
    37bf32d06push r12
    37bf32d08push rbp
    37bf32d09push rdi
    37bf32d0apush rsi
    37bf32d0bpush rbx
    37bf32d0csub rsp, 392
    37bf32d13movups [rsp+368], x6
    37bf32d1bmov rax, [rsp+520]
    37bf32d23mov rbp, [rsp+552]
    37bf32d2bmov rbx, [rsp+568]
    37bf32d33mov r13, [rax]
    37bf32d36mov rax, [rsp+592]
    37bf32d3emov [rsp+480], r8
    37bf32d46mov rdi, rcx
    37bf32d49mov rsi, rdx
    37bf32d4cmov [rsp+488], r9
    37bf32d54mov [rax], 0
    37bf32d5bcmp [rcx], 0
    37bf32d5fjs 0x37bf32e60
    37bf32d65cmp [rdx], 0
    37bf32d69js 0x37bf32e00
    37bf32d6fcmp [r8], 0
    37bf32d73js 0x37bf32e70
    37bf32d79mov rdx, -4
    37bf32d80mov eax, 4
    37bf32d85cmp [r9], 0
    37bf32d89js 0x37bf32e0c
    37bf32d8fmov rax, [rsp+576]
    37bf32d97mov rcx, [rsp+496]
    37bf32d9fmov r12, [rax]
    37bf32da2call disnan_64_
    37bf32da7mov rdx, -5
    37bf32daetest rax, rax
    37bf32db1mov eax, 5
    37bf32db6jne 0x37bf32e0c
    37bf32db8mov rcx, [rsp+504]
    37bf32dc0call disnan_64_
    37bf32dc5test rax, rax
    37bf32dc8jne 0x37bf334a4
    37bf32dcemov r15, [rdi]
    37bf32dd1mov rcx, [rsp+520]
    37bf32dd9mov eax, 1
    37bf32ddetest r15, r15
    37bf32de1cmovg rax, r15
    37bf32de5cmp [rcx], rax
    37bf32de8jge 0x37bf32e7e
    37bf32deemov rdx, -8
    37bf32df5mov eax, 8
    37bf32dfajmp 0x37bf32e0c
    37bf32dfc
    37bf32dfc 0f 1f 40 00 ..@.
    37bf32e00
    37bf32e00loc_37bf32e00:
    37bf32e00mov rdx, -2
    37bf32e07mov eax, 2
    37bf32e0c
    37bf32e0cloc_37bf32e0c:
    37bf32e0cmov rdi, [rsp+592]
    37bf32e14mov [rdi], rdx
    37bf32e17
    37bf32e17loc_37bf32e17:
    37bf32e17lea rdx, [rsp+360]
    37bf32e1fmov r8l, 8
    37bf32e25lea rcx, [rip+0x5275d5]
    37bf32e2cmov [rsp+360], rax
    37bf32e34call xerbla_64_
    37bf32e39nop
    37bf32e3a
    37bf32e3aloc_37bf32e3a:
    37bf32e3amovups x6, [rsp+368]
    37bf32e42add rsp, 392
    37bf32e49pop rbx
    37bf32e4apop rsi
    37bf32e4bpop rdi
    37bf32e4cpop rbp
    37bf32e4dpop r12
    37bf32e4fpop r13
    37bf32e51pop r14
    37bf32e53pop r15
    37bf32e55ret
    37bf32e56
    37bf32e56 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bf32e60
    37bf32e60loc_37bf32e60:
    37bf32e60mov rdx, -1
    37bf32e67mov eax, 1
    37bf32e6cjmp 0x37bf32e0c
    37bf32e6e
    37bf32e6e 66 90 f.
    37bf32e70
    37bf32e70loc_37bf32e70:
    37bf32e70mov rdx, -3
    37bf32e77mov eax, 3
    37bf32e7cjmp 0x37bf32e0c
    37bf32e7e
    37bf32e7eloc_37bf32e7e:
    37bf32e7emov rax, [rsp+592]
    37bf32e86mov rax, [rax]
    37bf32e89test rax, rax
    37bf32e8cjne 0x37bf3325c
    37bf32e92mov r14, [rsi]
    37bf32e95cmp r15, r14
    37bf32e98cmovg r15, r14
    37bf32e9cmov [rsp+192], r15
    37bf32ea4test r15, r15
    37bf32ea7jne 0x37bf330e8
    37bf32eadmovsd_xmm x6, [rip+0x52759b]
    37bf32eb5mov r15l, 1
    37bf32ebbmov [rsp+208], 1
    37bf32ec7
    37bf32ec7loc_37bf32ec7:
    37bf32ec7mov rax, [rsp+576]
    37bf32ecfmovsd_xmm [rbx], x6
    37bf32ed3cmp [rax], r15
    37bf32ed6mov rax, [rsp+592]
    37bf32edejge 0x37bf32f00
    37bf32ee0cmp r12, -1
    37bf32ee4je 0x37bf33250
    37bf32eeamov [rax], -15
    37bf32ef1mov eax, 15
    37bf32ef6jmp 0x37bf32e17
    37bf32efb
    37bf32efb 0f 1f 44 00 00 ..D..
    37bf32f00
    37bf32f00loc_37bf32f00:
    37bf32f00mov rax, [rax]
    37bf32f03test rax, rax
    37bf32f06jne 0x37bf3325c
    37bf32f0ccmp r12, -1
    37bf32f10je 0x37bf32e3a
    37bf32f16cmp [rsp+192], 0
    37bf32f1fje 0x37bf330b0
    37bf32f25xor eax, eax
    37bf32f27test r13, r13
    37bf32f2alea r8, [r14+1]
    37bf32f2ecmovns rax, r13
    37bf32f32mov [rsp+200], rax
    37bf32f3amov eax, 1
    37bf32f3ftest r14, r14
    37bf32f42jle 0x37bf32ff1
    37bf32f48test r14b, 1
    37bf32f4cje 0x37bf32f80
    37bf32f4emov [rbp+8*rax-8], 1
    37bf32f57mov eax, 2
    37bf32f5ccmp rax, r8
    37bf32f5fje 0x37bf32f97
    37bf32f61nop [rax+rax]
    37bf32f6anop [rax+rax]
    37bf32f75nop [rax+rax]
    37bf32f80
    37bf32f80loc_37bf32f80:
    37bf32f80mov [rbp+8*rax-8], rax
    37bf32f85lea rdx, [rax+1]
    37bf32f89add rax, 2
    37bf32f8dmov [rbp+8*rdx-8], rdx
    37bf32f92cmp rax, r8
    37bf32f95jne 0x37bf32f80
    37bf32f97
    37bf32f97loc_37bf32f97:
    37bf32f97mov rax, [rsp+200]
    37bf32f9fmov r15, [rsp+512]
    37bf32fa7mov r12l, 1
    37bf32fadlea r13, [8*rax]
    37bf32fb5nop [rax+rax]
    37bf32fc0
    37bf32fc0loc_37bf32fc0:
    37bf32fc0mov rdx, r15
    37bf32fc3lea r8, [rip+0x527446]
    37bf32fcamov rcx, rdi
    37bf32fcdadd r15, r13
    37bf32fd0call dnrm2_64_
    37bf32fd5mov rax, [rsi]
    37bf32fd8movsd_xmm [rbx+8*r12-8], x0
    37bf32fdfadd rax, r12
    37bf32fe2add r12, 1
    37bf32fe6movsd_xmm [rbx+8*rax-8], x0
    37bf32feccmp r14, r12
    37bf32fefjge 0x37bf32fc0
    37bf32ff1
    37bf32ff1loc_37bf32ff1:
    37bf32ff1lea r8, [rip+0x527418]
    37bf32ff8mov rdx, rbx
    37bf32ffbmov rcx, rsi
    37bf32ffecall idamax_64_
    37bf33003lea r13, [rsp+344]
    37bf3300bmovsd_xmm x0, [rbx+8*rax-8]
    37bf33011mov rcx, r13
    37bf33014mov [rsp+336], rax
    37bf3301cmov r14, rax
    37bf3301fmovsd_xmm [rsp+344], x0
    37bf33028call disnan_64_
    37bf3302dmovsd_xmm x1, [rsp+344]
    37bf33036test rax, rax
    37bf33039jne 0x37bf33180
    37bf3303fpxor x0, x0
    37bf33043ucomisd x1, x0
    37bf33047jp 0x37bf331c0
    37bf3304djne 0x37bf331c0
    37bf33053mov rax, [rsp+528]
    37bf3305bmov [rax], 0
    37bf33062mov rax, [rsp+536]
    37bf3306amovsd_xmm [rax], x0
    37bf3306emov rax, [rsp+544]
    37bf33076movsd_xmm [rax], x0
    37bf3307acmp [rsp+192], 0
    37bf33083jle 0x37bf330a0
    37bf33085
    37bf33085loc_37bf33085:
    37bf33085mov r8, [rsp+192]
    37bf3308dmov rcx, [rsp+560]
    37bf33095xor edx, edx
    37bf33097shl r8, 3
    37bf3309bcall memset
    37bf330a0
    37bf330a0loc_37bf330a0:
    37bf330a0movsd_xmm [rbx], x6
    37bf330a4jmp 0x37bf32e3a
    37bf330a9
    37bf330a9 0f 1f 80 00 00 00 00 .......
    37bf330b0
    37bf330b0loc_37bf330b0:
    37bf330b0mov rax, [rsp+528]
    37bf330b8mov [rax], 0
    37bf330bfmov rax, [rsp+536]
    37bf330c7mov [rax], 0
    37bf330cemov rax, [rsp+544]
    37bf330d6mov [rax], 0
    37bf330ddjmp 0x37bf32e3a
    37bf330e2
    37bf330e2 66 0f 1f 44 00 00 f..D..
    37bf330e8
    37bf330e8loc_37bf330e8:
    37bf330e8mov rax, [rsp+480]
    37bf330f0lea r10, [r14+2*r14]
    37bf330f4mov r9, rdi
    37bf330f7lea rdx, [rip+0x527303]
    37bf330felea rcx, [rip+0x52730b]
    37bf33105lea r8, [rip+0x5272f4]
    37bf3310cadd r10, [rax]
    37bf3310flea rax, [rip+0x527302]
    37bf33116mov [rsp+32], rsi
    37bf3311bmov [rsp+64], 1
    37bf33124lea r15, [r10-1]
    37bf33128mov [rsp+56], 8
    37bf33131mov [rsp+48], rax
    37bf33136mov [rsp+40], rax
    37bf3313bcall ilaenv_64_
    37bf33140mov rdx, [rsp+480]
    37bf33148mov r14, [rsi]
    37bf3314bpxor x4, x4
    37bf3314fmov rcx, rax
    37bf33152mov [rsp+224], rax
    37bf3315amov rax, [rdx]
    37bf3315dlea rax, [rax+r14+1]
    37bf33162imul rax, rcx
    37bf33166lea rax, [rax+2*r14]
    37bf3316acvtsi2sd x4, rax
    37bf3316fmov [rsp+208], rax
    37bf33177movapd x6, x4
    37bf3317bjmp 0x37bf32ec7
    37bf33180
    37bf33180loc_37bf33180:
    37bf33180mov rax, [rsp+528]
    37bf33188movsd_xmm [rbx], x6
    37bf3318cmov [rax], 0
    37bf33193mov rax, [rsp+592]
    37bf3319bmov [rax], r14
    37bf3319emov rax, [rsp+536]
    37bf331a6movsd_xmm [rax], x1
    37bf331aamov rax, [rsp+544]
    37bf331b2movsd_xmm [rax], x1
    37bf331b6jmp 0x37bf32e3a
    37bf331bb
    37bf331bb 0f 1f 44 00 00 ..D..
    37bf331c0
    37bf331c0loc_37bf331c0:
    37bf331c0mov edx, 8
    37bf331c5lea rcx, [rip+0x527254]
    37bf331ccmovsd_xmm [rsp+216], x1
    37bf331d5call dlamch_64_
    37bf331damovsd_xmm x1, [rsp+216]
    37bf331e3comisd x1, x0
    37bf331e7jbe 0x37bf331f7
    37bf331e9mov rax, [rsp+592]
    37bf331f1add r14, [rsi]
    37bf331f4mov [rax], r14
    37bf331f7
    37bf331f7loc_37bf331f7:
    37bf331f7mov rax, [rsp+488]
    37bf331ffcmp [rax], 0
    37bf33203jne 0x37bf33268
    37bf33205mov rax, [rsp+528]
    37bf3320dmov rsi, [rip+0x52723c]
    37bf33214mov [rax], 0
    37bf3321bmov rax, [rsp+536]
    37bf33223movsd_xmm [rax], x1
    37bf33227mov rax, [rsp+544]
    37bf3322fmov [rax], rsi
    37bf33232cmp [rsp+192], 0
    37bf3323bjg 0x37bf33085
    37bf33241jmp 0x37bf330a0
    37bf33246
    37bf33246 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bf33250
    37bf33250loc_37bf33250:
    37bf33250mov rax, [rax]
    37bf33253test rax, rax
    37bf33256je 0x37bf32e3a
    37bf3325c
    37bf3325cloc_37bf3325c:
    37bf3325cneg rax
    37bf3325fjmp 0x37bf32e17
    37bf33264
    37bf33264 0f 1f 40 00 ..@.
    37bf33268
    37bf33268loc_37bf33268:
    37bf33268mov edx, 7
    37bf3326dlea rcx, [rip+0x5271b4]
    37bf33274movsd_xmm [rsp+216], x1
    37bf3327dcall dlamch_64_
    37bf33282mov rax, [rsp+496]
    37bf3328apxor x2, x2
    37bf3328emovsd_xmm x1, [rsp+216]
    37bf33297movapd x4, x0
    37bf3329bmovsd_xmm x0, [rax]
    37bf3329fcomisd x0, x2
    37bf332a3jb 0x37bf332e5
    37bf332a5mov edx, 12
    37bf332aalea rcx, [rip+0x52717e]
    37bf332b1movsd_xmm [rsp+232], x4
    37bf332bacall dlamch_64_
    37bf332bfmov rax, [rsp+496]
    37bf332c7movsd_xmm x4, [rsp+232]
    37bf332d0movsd_xmm x1, [rsp+216]
    37bf332d9addsd x0, x0
    37bf332ddmaxsd x0, [rax]
    37bf332e1movsd_xmm [rax], x0
    37bf332e5
    37bf332e5loc_37bf332e5:
    37bf332e5mov rax, [rsp+504]
    37bf332edpxor x3, x3
    37bf332f1movsd_xmm x2, [rax]
    37bf332f5mov rax, [rsp+488]
    37bf332fdcomisd x2, x3
    37bf33301mov r10, [rax]
    37bf33304jb 0x37bf33365
    37bf33306maxsd x2, x4
    37bf3330acomisd x0, x1
    37bf3330emov rax, [rsp+504]
    37bf33316movsd_xmm x0, [rip+0x527132]
    37bf3331emovsd_xmm [rax], x2
    37bf33322jae 0x37bf3332a
    37bf33324comisd x2, x0
    37bf33328jb 0x37bf3336f
    37bf3332a
    37bf3332aloc_37bf3332a:
    37bf3332amov rax, [rsp+528]
    37bf33332mov [rax], 0
    37bf33339mov rax, [rsp+536]
    37bf33341movsd_xmm [rax], x1
    37bf33345mov rax, [rsp+544]
    37bf3334dmovsd_xmm [rax], x0
    37bf33351cmp [rsp+192], 0
    37bf3335ajg 0x37bf33085
    37bf33360jmp 0x37bf330a0
    37bf33365
    37bf33365loc_37bf33365:
    37bf33365comisd x0, x1
    37bf33369jae 0x37bf334b5
    37bf3336f
    37bf3336floc_37bf3336f:
    37bf3336fmov rax, [rsp+192]
    37bf33377mov rcx, [rsp+224]
    37bf3337fcmp rax, r10
    37bf33382mov r11, rax
    37bf33385cmovg r11, r10
    37bf33389xor edx, edx
    37bf3338bcmp rcx, 1
    37bf3338fsetg dl
    37bf33392cmp rcx, rax
    37bf33395setl cl
    37bf33398mov rax, r11
    37bf3339bmovzx ecx, cl
    37bf3339eand rcx, rdx
    37bf333a1mov r14, rcx
    37bf333a4jne 0x37bf334c2
    37bf333aa
    37bf333aaloc_37bf333aa:
    37bf333aamov r12, [rsp+224]
    37bf333b2xor ecx, ecx
    37bf333b4mov [rsp+288], 0
    37bf333c0cmp r12, r11
    37bf333c3setl cl
    37bf333c6test cl, dl
    37bf333c8je 0x37bf333d3
    37bf333catest rax, rax
    37bf333cdjg 0x37bf33702
    37bf333d3
    37bf333d3loc_37bf333d3:
    37bf333d3mov r14l, 1
    37bf333d9
    37bf333d9loc_37bf333d9:
    37bf333d9cmp r14, r11
    37bf333dcjle 0x37bf33576
    37bf333e2mov rax, [rsp+528]
    37bf333eamov [rax], r11
    37bf333edcmp [rsp+192], r10
    37bf333f5jle 0x37bf330a0
    37bf333fbmov rax, [rsi]
    37bf333felea rdx, [rbx+8*r11]
    37bf33402lea rcx, [rsp+360]
    37bf3340amov [rsp+200], r11
    37bf33412lea r8, [rip+0x526ff7]
    37bf33419sub rax, r11
    37bf3341cmov [rsp+360], rax
    37bf33424call idamax_64_
    37bf33429mov r11, [rsp+200]
    37bf33431lea rax, [r11+rax-1]
    37bf33436movsd_xmm x0, [rbx+8*rax]
    37bf3343bmov rax, [rsp+536]
    37bf33443movsd_xmm [rax], x0
    37bf33447mov rax, [rsp+528]
    37bf3344fmov rax, [rax]
    37bf33452test rax, rax
    37bf33455je 0x37bf33a3d
    37bf3345bdivsd x0, [rsp+344]
    37bf33464
    37bf33464loc_37bf33464:
    37bf33464mov rsi, [rsp+544]
    37bf3346cmovsd_xmm [rsi], x0
    37bf33470mov rsi, [rsp+192]
    37bf33478cmp rax, rsi
    37bf3347bjge 0x37bf330a0
    37bf33481sub rsi, rax
    37bf33484xor edx, edx
    37bf33486lea r8, [8*rsi]
    37bf3348emov rsi, [rsp+560]
    37bf33496lea rcx, [rsi+8*rax]
    37bf3349acall memset
    37bf3349fjmp 0x37bf330a0
    37bf334a4
    37bf334a4loc_37bf334a4:
    37bf334a4mov rdx, -6
    37bf334abmov eax, 6
    37bf334b0jmp 0x37bf32e0c
    37bf334b5
    37bf334b5loc_37bf334b5:
    37bf334b5movsd_xmm x0, [rip+0x526f93]
    37bf334bdjmp 0x37bf3332a
    37bf334c2
    37bf334c2loc_37bf334c2:
    37bf334c2lea rax, [rip+0x526f4f]
    37bf334c9mov [rsp+32], rsi
    37bf334celea rdx, [rip+0x526f2c]
    37bf334d5mov r9, rdi
    37bf334d8mov [rsp+64], 1
    37bf334e1lea rcx, [rip+0x526f58]
    37bf334e8lea r8, [rip+0x526f11]
    37bf334efmov [rsp+56], 8
    37bf334f8mov [rsp+48], rax
    37bf334fdmov [rsp+40], rax
    37bf33502mov [rsp+232], r11
    37bf3350amov [rsp+216], r10
    37bf33512call ilaenv_64_
    37bf33517mov rcx, [rsp+192]
    37bf3351fxor edx, edx
    37bf33521mov r10, [rsp+216]
    37bf33529test rax, rax
    37bf3352cmov r11, [rsp+232]
    37bf33534cmovs rax, rdx
    37bf33538mov r12, rcx
    37bf3353bsub r12, rax
    37bf3353ecmp rcx, rax
    37bf33541jle 0x37bf3355c
    37bf33543mov rax, [rsp+576]
    37bf3354bmov rax, [rax]
    37bf3354ecmp rax, [rsp+208]
    37bf33556jl 0x37bf33a4a
    37bf3355c
    37bf3355cloc_37bf3355c:
    37bf3355cmov rax, [rsp+488]
    37bf33564mov rdx, r14
    37bf33567mov rax, [rax]
    37bf3356acmp r12, rax
    37bf3356dcmovle rax, r12
    37bf33571jmp 0x37bf333aa
    37bf33576
    37bf33576loc_37bf33576:
    37bf33576mov rcx, [rsi]
    37bf33579lea r8, [rsp+296]
    37bf33581lea rsi, [r14-1]
    37bf33585mov [rsp+64], r13
    37bf3358amov [rsp+152], r8
    37bf33592lea rdx, [rsp+352]
    37bf3359alea r9, [rsp+304]
    37bf335a2mov rax, rcx
    37bf335a5mov r8, rcx
    37bf335a8lea rcx, [rcx+r14-1]
    37bf335admov [rsp+304], rsi
    37bf335b5sub rax, r14
    37bf335b8lea rcx, [rbx+8*rcx]
    37bf335bcshl r8, 4
    37bf335c0add rax, 1
    37bf335c4mov [rsp+136], rcx
    37bf335ccadd r8, rbx
    37bf335cfmov [rsp+352], rax
    37bf335d7mov rax, r11
    37bf335dasub rax, r14
    37bf335ddmov [rsp+144], r8
    37bf335e5mov r8, [rsp+480]
    37bf335edadd rax, 1
    37bf335f1mov [rsp+360], rax
    37bf335f9lea rax, [8*rsi]
    37bf33601lea rcx, [rbx+rax]
    37bf33605mov [rsp+128], rcx
    37bf3360dmov rcx, [rsp+560]
    37bf33615add rcx, rax
    37bf33618add rax, rbp
    37bf3361bmov [rsp+112], rax
    37bf33620mov rax, [rsp+544]
    37bf33628mov [rsp+120], rcx
    37bf3362dmov rcx, [rsp+200]
    37bf33635mov [rsp+104], rax
    37bf3363amov rax, [rsp+536]
    37bf33642mov [rsp+96], rax
    37bf33647lea rax, [rsp+328]
    37bf3364fmov [rsp+88], rax
    37bf33654mov rax, [rsp+520]
    37bf3365cmov [rsp+80], rax
    37bf33661mov rax, rcx
    37bf33664imul rax, r14
    37bf33668sub rax, rcx
    37bf3366bmov rcx, [rsp+512]
    37bf33673lea rax, [rcx+8*rax]
    37bf33677mov rcx, rdi
    37bf3367amov [rsp+72], rax
    37bf3367flea rax, [rsp+336]
    37bf33687mov [rsp+56], rax
    37bf3368cmov rax, [rsp+504]
    37bf33694mov [rsp+48], rax
    37bf33699mov rax, [rsp+496]
    37bf336a1mov [rsp+40], rax
    37bf336a6lea rax, [rsp+360]
    37bf336aemov [rsp+32], rax
    37bf336b3call dlaqp2rk_64_
    37bf336b8mov rax, [rsp+528]
    37bf336c0add rsi, [rsp+328]
    37bf336c8mov [rax], rsi
    37bf336cbmov rax, [rsp+296]
    37bf336d3cmp rax, [rsp+352]
    37bf336dbjg 0x37bf33a17
    37bf336e1test rax, rax
    37bf336e4jle 0x37bf330a0
    37bf336eamov rsi, [rsp+592]
    37bf336f2add rax, [rsp+304]
    37bf336famov [rsi], rax
    37bf336fdjmp 0x37bf330a0
    37bf33702
    37bf33702loc_37bf33702:
    37bf33702lea rcx, [rsp+360]
    37bf3370amov [rsp+272], r10
    37bf33712mov r15, [rsp+200]
    37bf3371amov r14, rsi
    37bf3371dmov [rsp+232], rcx
    37bf33725lea rcx, [rsp+304]
    37bf3372dmov rsi, rax
    37bf33730mov [rsp+256], rcx
    37bf33738lea rcx, [rsp+352]
    37bf33740mov [rsp+224], rcx
    37bf33748lea rcx, [rsp+296]
    37bf33750mov [rsp+248], rcx
    37bf33758lea rcx, [rsp+320]
    37bf33760mov [rsp+208], rcx
    37bf33768lea rcx, [rsp+288]
    37bf33770mov [rsp+240], rcx
    37bf33778lea rcx, [rsp+336]
    37bf33780mov [rsp+216], rcx
    37bf33788lea rcx, [rsp+312]
    37bf33790mov [rsp+264], rcx
    37bf33798mov [rsp+280], r11
    37bf337a0mov [rsp+552], rbp
    37bf337a8mov rbp, rbx
    37bf337abmov rbx, [rsp+480]
    37bf337b3mov [rsp+464], rdi
    37bf337bbmov edi, 1
    37bf337c0
    37bf337c0loc_37bf337c0:
    37bf337c0mov rcx, rsi
    37bf337c3mov r8, [r14]
    37bf337c6mov rax, [rsp+248]
    37bf337cesub rcx, rdi
    37bf337d1mov r9, [rbx]
    37bf337d4add rcx, 1
    37bf337d8mov [rsp+184], rax
    37bf337e0mov rdx, r8
    37bf337e3mov rax, [rsp+584]
    37bf337ebcmp rcx, r12
    37bf337eecmovg rcx, r12
    37bf337f2mov [rsp+176], rax
    37bf337fasub rdx, rdi
    37bf337fdadd r9, r8
    37bf33800mov rax, [rsp+232]
    37bf33808add rdx, 1
    37bf3380csub r9, rdi
    37bf3380fmov [rsp+312], rcx
    37bf33817lea rcx, [rcx+2*r8]
    37bf3381badd r9, 1
    37bf3381flea rcx, [rbp+8*rcx]
    37bf33824mov [rsp+168], rax
    37bf3382cmov rax, [rsp+544]
    37bf33834mov [rsp+160], rcx
    37bf3383cmov rcx, r8
    37bf3383fshl rcx, 4
    37bf33843mov [rsp+352], rdx
    37bf3384blea rdx, [rdi-1]
    37bf3384fadd rcx, rbp
    37bf33852mov [rsp+304], rdx
    37bf3385ashl rdx, 3
    37bf3385emov [rsp+152], rcx
    37bf33866lea rcx, [r8+rdi-1]
    37bf3386bmov r8, rbx
    37bf3386emov [rsp+112], rax
    37bf33873lea rcx, [rbp+8*rcx]
    37bf33878mov rax, [rsp+536]
    37bf33880mov [rsp+144], rcx
    37bf33888lea rcx, [rbp+rdx]
    37bf3388dmov [rsp+136], rcx
    37bf33895mov rcx, [rsp+560]
    37bf3389dmov [rsp+104], rax
    37bf338a2mov rax, [rsp+208]
    37bf338aaadd rcx, rdx
    37bf338adadd rdx, [rsp+552]
    37bf338b5mov [rsp+360], r9
    37bf338bdmov [rsp+96], rax
    37bf338c2mov rax, [rsp+240]
    37bf338camov [rsp+120], rdx
    37bf338cfmov rdx, r15
    37bf338d2mov [rsp+88], rax
    37bf338d7imul rdx, rdi
    37bf338dbmov rax, [rsp+520]
    37bf338e3mov [rsp+128], rcx
    37bf338ebmov [rsp+80], rax
    37bf338f0mov rax, [rsp+512]
    37bf338f8sub rdx, r15
    37bf338fblea rdx, [rax+8*rdx]
    37bf338ffmov [rsp+72], rdx
    37bf33904mov [rsp+64], r13
    37bf33909mov rax, [rsp+216]
    37bf33911mov rdx, [rsp+224]
    37bf33919mov r9, [rsp+256]
    37bf33921mov [rsp+56], rax
    37bf33926mov rax, [rsp+504]
    37bf3392emov rcx, [rsp+464]
    37bf33936mov [rsp+48], rax
    37bf3393bmov rax, [rsp+496]
    37bf33943mov [rsp+40], rax
    37bf33948mov rax, [rsp+264]
    37bf33950mov [rsp+32], rax
    37bf33955call dlaqp3rk_64_
    37bf3395amov rdx, [rsp+296]
    37bf33962mov r8, [rsp+352]
    37bf3396acmp rdx, r8
    37bf3396djle 0x37bf3398c
    37bf3396fmov rax, [rsp+592]
    37bf33977cmp [rax], 0
    37bf3397bjne 0x37bf3398c
    37bf3397dmov rcx, [rsp+304]
    37bf33985lea rcx, [rdx+2*rcx]
    37bf33989mov [rax], rcx
    37bf3398c
    37bf3398cloc_37bf3398c:
    37bf3398cmov rcx, [rsp+320]
    37bf33994cmp [rsp+288], 0
    37bf3399djne 0x37bf339d9
    37bf3399fadd rdi, rcx
    37bf339a2cmp rdi, rsi
    37bf339a5jle 0x37bf337c0
    37bf339abmov rsi, r14
    37bf339aemov rbx, rbp
    37bf339b1mov r14, rdi
    37bf339b4mov r10, [rsp+272]
    37bf339bcmov r11, [rsp+280]
    37bf339c4mov rdi, [rsp+464]
    37bf339ccmov rbp, [rsp+552]
    37bf339d4jmp 0x37bf333d9
    37bf339d9
    37bf339d9loc_37bf339d9:
    37bf339d9mov rax, [rsp+304]
    37bf339e1mov rsi, [rsp+528]
    37bf339e9mov rbx, rbp
    37bf339ecadd rcx, rax
    37bf339efmov [rsi], rcx
    37bf339f2test rdx, rdx
    37bf339f5jle 0x37bf330a0
    37bf339fbcmp rdx, r8
    37bf339fejg 0x37bf330a0
    37bf33a04add rdx, rax
    37bf33a07mov rax, [rsp+592]
    37bf33a0fmov [rax], rdx
    37bf33a12jmp 0x37bf330a0
    37bf33a17
    37bf33a17loc_37bf33a17:
    37bf33a17mov rsi, [rsp+592]
    37bf33a1fcmp [rsi], 0
    37bf33a23jne 0x37bf330a0
    37bf33a29mov rdx, [rsp+304]
    37bf33a31lea rax, [rax+2*rdx]
    37bf33a35mov [rsi], rax
    37bf33a38jmp 0x37bf330a0
    37bf33a3d
    37bf33a3dloc_37bf33a3d:
    37bf33a3dmovsd_xmm x0, [rip+0x526a0b]
    37bf33a45jmp 0x37bf33464
    37bf33a4a
    37bf33a4aloc_37bf33a4a:
    37bf33a4amov rcx, [rsi]
    37bf33a4dmov [rsp+32], rsi
    37bf33a52mov r9, rdi
    37bf33a55lea r8, [rip+0x5269a4]
    37bf33a5cmov [rsp+64], 1
    37bf33a65lea rdx, [rcx+rcx]
    37bf33a69add rcx, 1
    37bf33a6dmov [rsp+56], 8
    37bf33a76sub rax, rdx
    37bf33a79mov [rsp+216], r11
    37bf33a81cqo
    37bf33a83mov [rsp+208], r10
    37bf33a8bidiv rcx
    37bf33a8elea rcx, [rip+0x526983]
    37bf33a95lea rdx, [rip+0x526965]
    37bf33a9cmov [rsp+48], rcx
    37bf33aa1mov [rsp+40], rcx
    37bf33aa6lea rcx, [rip+0x52699b]
    37bf33aadmov [rsp+224], rax
    37bf33ab5call ilaenv_64_
    37bf33abamov edx, 2
    37bf33abfmov r11, [rsp+216]
    37bf33ac7mov r10, [rsp+208]
    37bf33acfcmp rax, rdx
    37bf33ad2cmovl rax, rdx
    37bf33ad6xor edx, edx
    37bf33ad8cmp [rsp+224], rax
    37bf33ae0mov rax, [rsp+488]
    37bf33ae8setge dl
    37bf33aebmov rax, [rax]
    37bf33aeecmp r12, rax
    37bf33af1cmovle rax, r12
    37bf33af5jmp 0x37bf333aa
    37bf32d00