File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37b7b3fc0
    37b7b3fc0slasd8_:
    37b7b3fc0push r15
    37b7b3fc2push r14
    37b7b3fc4push r13
    37b7b3fc6push r12
    37b7b3fc8push rbp
    37b7b3fc9push rdi
    37b7b3fcapush rsi
    37b7b3fcbpush rbx
    37b7b3fccsub rsp, 280
    37b7b3fd3movups [rsp+192], x6
    37b7b3fdbmovups [rsp+208], x7
    37b7b3fe3movups [rsp+224], x8
    37b7b3fecmovups [rsp+240], x9
    37b7b3ff5movups [rsp+256], x10
    37b7b3ffemov rax, [rsp+416]
    37b7b4006mov rbp, [rsp+440]
    37b7b400emov rdi, [rsp+424]
    37b7b4016mov rbx, [rsp+432]
    37b7b401emov [rbp], 0
    37b7b4025mov [rsp+360], rdx
    37b7b402dmov edx, [rax]
    37b7b402fmov eax, [rcx]
    37b7b4031mov [rsp+352], rcx
    37b7b4039mov ecx, 1
    37b7b403emov [rsp+368], r8
    37b7b4046mov r8l, -1
    37b7b404cmov [rsp+376], r9
    37b7b4054cmp eax, 1
    37b7b4057jbe 0x37b7b40c0
    37b7b4059
    37b7b4059loc_37b7b4059:
    37b7b4059mov [rbp], r8l
    37b7b405dlea rdx, [rsp+188]
    37b7b4065mov r8l, 6
    37b7b406bmov [rsp+188], ecx
    37b7b4072lea rcx, [rip+0xc84b78]
    37b7b4079call xerbla_
    37b7b407enop
    37b7b407f
    37b7b407floc_37b7b407f:
    37b7b407fmovups x6, [rsp+192]
    37b7b4087movups x7, [rsp+208]
    37b7b408fmovups x8, [rsp+224]
    37b7b4098movups x9, [rsp+240]
    37b7b40a1movups x10, [rsp+256]
    37b7b40aaadd rsp, 280
    37b7b40b1pop rbx
    37b7b40b2pop rsi
    37b7b40b3pop rdi
    37b7b40b4pop rbp
    37b7b40b5pop r12
    37b7b40b7pop r13
    37b7b40b9pop r14
    37b7b40bbpop r15
    37b7b40bdret
    37b7b40be
    37b7b40be 66 90 f.
    37b7b40c0
    37b7b40c0loc_37b7b40c0:
    37b7b40c0mov rsi, [rsp+360]
    37b7b40c8mov ecx, [rsi]
    37b7b40camov [rsp+96], ecx
    37b7b40cetest ecx, ecx
    37b7b40d0jle 0x37b7b48fe
    37b7b40d6cmp edx, ecx
    37b7b40d8jl 0x37b7b48ee
    37b7b40demovsxd r14, edx
    37b7b40e1mov rcx, r14
    37b7b40e4not rcx
    37b7b40e7mov [rsp+144], rcx
    37b7b40efcmp [rsp+96], 1
    37b7b40f4je 0x37b7b4835
    37b7b40famov rdx, [rsp+376]
    37b7b4102mov rcx, [rsp+360]
    37b7b410alea r8, [rip+0xc84acf]
    37b7b4111lea r15, [rsp+188]
    37b7b4119mov r13l, [rsp+96]
    37b7b411ecall snrm2_
    37b7b4123mov rax, [rsp+360]
    37b7b412bmov [rsp+72], rbp
    37b7b4130mov r9, r15
    37b7b4133mov [rsp+80], 1
    37b7b413clea r8, [rip+0xc84aa1]
    37b7b4143lea rcx, [rip+0xc84a9e]
    37b7b414amov [rsp+64], rax
    37b7b414fmov rdx, r8
    37b7b4152lea r12l, [r13+1]
    37b7b4156mov rax, [rsp+376]
    37b7b415emovss [rsp+188], x0
    37b7b4167lea esi, [r13+r12]
    37b7b416cmov [rsp+56], rax
    37b7b4171lea rax, [rip+0xc84a68]
    37b7b4178mov [rsp+48], rax
    37b7b417dmov rax, [rsp+360]
    37b7b4185mov [rsp+40], rax
    37b7b418alea rax, [rip+0xc84a5b]
    37b7b4191mov [rsp+32], rax
    37b7b4196call slascl_
    37b7b419blea ecx, [rsi-1]
    37b7b419emovss x0, [rsp+188]
    37b7b41a7mov rdx, [rsp+360]
    37b7b41afmovsxd rax, ecx
    37b7b41b2mov [rsp+132], ecx
    37b7b41b9lea r8, [rip+0xc84a20]
    37b7b41c0mulss x0, x0
    37b7b41c4lea rcx, [rbx+4*rax]
    37b7b41c8lea rax, [rip+0xc84a1d]
    37b7b41cfmov [rsp+48], rdx
    37b7b41d4mov [rsp+40], rcx
    37b7b41d9mov r9, rax
    37b7b41dcmov [rsp+32], rax
    37b7b41e1mov [rsp+56], 1
    37b7b41eamov [rsp+160], rcx
    37b7b41f2lea rcx, [rip+0xc849f7]
    37b7b41f9movss [rsp+188], x0
    37b7b4202call slaset_
    37b7b4207mov rax, [rsp+360]
    37b7b420fmov [rsp+184], 1
    37b7b421amov edx, [rax]
    37b7b421cmovsxd rax, r13l
    37b7b421fshl rax, 2
    37b7b4223mov [rsp+120], edx
    37b7b4227lea r10, [rbx+rax]
    37b7b422btest edx, edx
    37b7b422djle 0x37b7b489a
    37b7b4233lea rdx, [rsp+184]
    37b7b423bmovsxd rsi, esi
    37b7b423emov [rsp+112], r15
    37b7b4243movsxd r12, r12l
    37b7b4246mov [rsp+104], rdx
    37b7b424blea r13, [4*rsi]
    37b7b4253neg r12
    37b7b4256mov r15, [rsp+360]
    37b7b425emov [rsp+152], rax
    37b7b4266mov r8l, 1
    37b7b426cmovss x7, [rip+0xc849ac]
    37b7b4274mov [rsp+136], rsi
    37b7b427clea rsi, [rbx+r13]
    37b7b4280neg r13
    37b7b4283mov [rsp+168], r14
    37b7b428bmov r14, r10
    37b7b428enop
    37b7b4290
    37b7b4290loc_37b7b4290:
    37b7b4290mov rax, [rsp+368]
    37b7b4298sub r8l, 1
    37b7b429cmov [rsp+64], rbp
    37b7b42a1mov rcx, r15
    37b7b42a4movsxd r8, r8l
    37b7b42a7mov [rsp+56], r14
    37b7b42acmov r9, [rsp+376]
    37b7b42b4lea rax, [rax+4*r8]
    37b7b42b8mov [rsp+32], rbx
    37b7b42bdmov rdx, [rsp+104]
    37b7b42c2mov r8, rdi
    37b7b42c5mov [rsp+48], rax
    37b7b42camov rax, [rsp+112]
    37b7b42cfmov [rsp+40], rax
    37b7b42d4call slasd4_
    37b7b42d9mov eax, [rbp]
    37b7b42dctest eax, eax
    37b7b42dejne 0x37b7b407f
    37b7b42e4movsxd r10, [rsp+184]
    37b7b42ecmov eax, [rsp+132]
    37b7b42f3mov r8l, [rsp+96]
    37b7b42f8lea eax, [r10+rax-1]
    37b7b42fdlea rdx, [4*r10]
    37b7b4305mov r9, r10
    37b7b4308cdqe
    37b7b430alea rcx, [rbx+rdx]
    37b7b430elea r8l, [r8+r10-1]
    37b7b4313movss x0, [rbx+4*rax]
    37b7b4318movsxd r8, r8l
    37b7b431blea r11, [r10-1]
    37b7b431fmulss x0, [rcx-4]
    37b7b4324mulss x0, [rbx+4*r8]
    37b7b432alea r8l, [r10+1]
    37b7b432emovss [rbx+4*rax], x0
    37b7b4333movss x0, [rcx-4]
    37b7b4338mov rax, [rsp+400]
    37b7b4340xorps x0, x7
    37b7b4343movss [rax+4*r11], x0
    37b7b4349movss x0, [rcx]
    37b7b434dmov rax, [rsp+408]
    37b7b4355xorps x0, x7
    37b7b4358movss [rax+4*r11], x0
    37b7b435ecmp r10l, 1
    37b7b4362jle 0x37b7b43b8
    37b7b4364movss x2, [rdi+4*r11]
    37b7b436alea ecx, [r10-1]
    37b7b436exor eax, eax
    37b7b4370nop [rax+rax]
    37b7b4375nop [rax+rax]
    37b7b4380
    37b7b4380loc_37b7b4380:
    37b7b4380movss x1, [rdi+4*rax]
    37b7b4385movss x0, [rsi+4*rax-4]
    37b7b438bmulss x0, [rbx+4*rax]
    37b7b4390mulss x0, [r14+4*rax]
    37b7b4396movaps x3, x1
    37b7b4399addss x1, x2
    37b7b439dsubss x3, x2
    37b7b43a1divss x0, x3
    37b7b43a5divss x0, x1
    37b7b43a9movss [rsi+4*rax-4], x0
    37b7b43afadd rax, 1
    37b7b43b3cmp rax, rcx
    37b7b43b6jne 0x37b7b4380
    37b7b43b8
    37b7b43b8loc_37b7b43b8:
    37b7b43b8mov ecx, [r15]
    37b7b43bbcmp r8l, ecx
    37b7b43bejg 0x37b7b443b
    37b7b43c0movss x2, [rdi+4*r11]
    37b7b43c6mov r11l, ecx
    37b7b43c9add r10, [rsp+136]
    37b7b43d1add rdx, rdi
    37b7b43d4sub r11l, r9l
    37b7b43d7lea rax, [rbx+4*r10-4]
    37b7b43dclea r9l, [r11-1]
    37b7b43e0add r9, r10
    37b7b43e3lea r9, [rbx+4*r9]
    37b7b43e7nop [rax]
    37b7b43eanop [rax+rax]
    37b7b43f5nop [rax+rax]
    37b7b4400
    37b7b4400loc_37b7b4400:
    37b7b4400movss x1, [rdx]
    37b7b4404movss x0, [rax]
    37b7b4408add rdx, 4
    37b7b440cmulss x0, [rax+r13+4]
    37b7b4413mulss x0, [rax+4*r12+4]
    37b7b441amovaps x3, x1
    37b7b441daddss x1, x2
    37b7b4421add rax, 4
    37b7b4425subss x3, x2
    37b7b4429divss x0, x3
    37b7b442ddivss x0, x1
    37b7b4431movss [rax-4], x0
    37b7b4436cmp rax, r9
    37b7b4439jne 0x37b7b4400
    37b7b443b
    37b7b443bloc_37b7b443b:
    37b7b443bmov [rsp+184], r8l
    37b7b4443cmp r8l, [rsp+120]
    37b7b4448jle 0x37b7b4290
    37b7b444emov r10, r14
    37b7b4451mov rax, [rsp+152]
    37b7b4459mov r14, [rsp+168]
    37b7b4461test ecx, ecx
    37b7b4463jle 0x37b7b489a
    37b7b4469lea edx, [rcx-1]
    37b7b446ccmp edx, 2
    37b7b446fjbe 0x37b7b490e
    37b7b4475mov edx, ecx
    37b7b4477movss x4, [rip+0xc84781]
    37b7b447flea r8, [r10+rax]
    37b7b4483movss x3, [rip+0xc84795]
    37b7b448bshr edx, 2
    37b7b448emov r9, [rsp+376]
    37b7b4496xor eax, eax
    37b7b4498shl rdx, 4
    37b7b449cshufps x4, x4, 0
    37b7b44a0shufps x3, x3, 0
    37b7b44a4nop [rax+rax]
    37b7b44aanop [rax+rax]
    37b7b44b5nop [rax+rax]
    37b7b44c0
    37b7b44c0loc_37b7b44c0:
    37b7b44c0movups x0, [r8+rax]
    37b7b44c5movups x2, [r9+rax]
    37b7b44camovaps x1, x3
    37b7b44cdandps x0, x4
    37b7b44d0andps x2, x3
    37b7b44d3sqrtps x0, x0
    37b7b44d6andnps x1, x0
    37b7b44d9movaps x0, x2
    37b7b44dcorps x0, x1
    37b7b44dfmovups [r9+rax], x0
    37b7b44e4add rax, 16
    37b7b44e8cmp rdx, rax
    37b7b44ebjne 0x37b7b44c0
    37b7b44edmov eax, ecx
    37b7b44efand eax, -4
    37b7b44f2add eax, 1
    37b7b44f5test cl, 3
    37b7b44f8je 0x37b7b4538
    37b7b44fa
    37b7b44faloc_37b7b44fa:
    37b7b44famov rdx, [rsp+376]
    37b7b4502cdqe
    37b7b4504
    37b7b4504loc_37b7b4504:
    37b7b4504movss x0, [rsi+4*rax-8]
    37b7b450aandps x0, [rip+0xc846ef]
    37b7b4511movaps x1, x7
    37b7b4514movss x2, [rdx+4*rax-4]
    37b7b451asqrtss x0, x0
    37b7b451eandnps x1, x0
    37b7b4521movaps x0, x2
    37b7b4524andps x0, x7
    37b7b4527orps x0, x1
    37b7b452amovss [rdx+4*rax-4], x0
    37b7b4530add rax, 1
    37b7b4534cmp ecx, eax
    37b7b4536jge 0x37b7b4504
    37b7b4538
    37b7b4538loc_37b7b4538:
    37b7b4538lea rax, [rdi+4]
    37b7b453cmov [rsp+120], r10
    37b7b4541mov rdx, [rsp+408]
    37b7b4549mov r15l, ecx
    37b7b454cmov [rsp+96], rax
    37b7b4551mov rax, [rsp+144]
    37b7b4559mov [rsp+112], 4
    37b7b4562lea rax, [rax+2*r14]
    37b7b4566mov [rsp+132], ecx
    37b7b456dmov r14l, 2
    37b7b4573lea rax, [rdx+4*rax]
    37b7b4577mov rdx, [rsp+376]
    37b7b457fmov [rsp+136], rsi
    37b7b4587mov [rsp+152], rax
    37b7b458fadd rdx, 4
    37b7b4593mov [rsp+424], rdi
    37b7b459bmov [rsp+144], rdx
    37b7b45a3mov [rsp+432], rbx
    37b7b45abnop [rax+rax]
    37b7b45b0
    37b7b45b0loc_37b7b45b0:
    37b7b45b0mov rax, [rsp+400]
    37b7b45b8lea r8l, [r14-1]
    37b7b45bcmov ecx, r14l
    37b7b45bfmovss x10, [rax+4*r14-8]
    37b7b45c6mov rax, [rsp+368]
    37b7b45cemovss x9, [rax+4*r14-8]
    37b7b45d5mov rax, [rsp+424]
    37b7b45ddmovss x1, [rax+4*r14-8]
    37b7b45e4movaps x0, x1
    37b7b45e7xorps x0, x7
    37b7b45eamovss [rsp+176], x0
    37b7b45f3cmp r8l, r15l
    37b7b45f6jge 0x37b7b461f
    37b7b45f8mov rax, [rsp+408]
    37b7b4600movss x6, [rax+4*r14-8]
    37b7b4607mov rax, [rsp+96]
    37b7b460cmovss x0, [rax]
    37b7b4610xorps x6, x7
    37b7b4613xorps x0, x7
    37b7b4616movss [rsp+180], x0
    37b7b461f
    37b7b461floc_37b7b461f:
    37b7b461fmov rax, [rsp+376]
    37b7b4627addss x1, x9
    37b7b462cmovss x0, [rax+4*r14-8]
    37b7b4633mov rax, [rsp+432]
    37b7b463bdivss x0, x10
    37b7b4640divss x0, x1
    37b7b4644xorps x0, x7
    37b7b4647movss [rax+4*r14-8], x0
    37b7b464ecmp r8l, 1
    37b7b4652je 0x37b7b46d1
    37b7b4654mov rbp, rax
    37b7b4657mov rax, [rsp+144]
    37b7b465flea edx, [rcx-3]
    37b7b4662mov rdi, [rsp+376]
    37b7b466amov r15, [rsp+424]
    37b7b4672lea rsi, [rax+4*rdx]
    37b7b4676nop [rax+rax]
    37b7b4680
    37b7b4680loc_37b7b4680:
    37b7b4680mov rcx, r15
    37b7b4683movss x8, [rdi]
    37b7b4688add rdi, 4
    37b7b468cadd r15, 4
    37b7b4690lea rdx, [rsp+176]
    37b7b4698add rbp, 4
    37b7b469ccall slamc3_
    37b7b46a1subss x0, x10
    37b7b46a6divss x8, x0
    37b7b46abmovss x0, [r15-4]
    37b7b46b1addss x0, x9
    37b7b46b6divss x8, x0
    37b7b46bbmovss [rbp-4], x8
    37b7b46c1cmp rsi, rdi
    37b7b46c4jne 0x37b7b4680
    37b7b46c6mov rax, [rsp+360]
    37b7b46cemov r15l, [rax]
    37b7b46d1
    37b7b46d1loc_37b7b46d1:
    37b7b46d1mov [rsp+104], r14l
    37b7b46d6cmp r14l, r15l
    37b7b46d9jg 0x37b7b4752
    37b7b46dbmov rax, [rsp+112]
    37b7b46e0mov rcx, r14
    37b7b46e3mov rbx, [rsp+96]
    37b7b46e8mov r13, r14
    37b7b46ebmov rbp, [rsp+376]
    37b7b46f3neg rcx
    37b7b46f6lea rsi, [rax+4*rcx]
    37b7b46faadd rbp, rsi
    37b7b46fdadd rsi, [rsp+432]
    37b7b4705nop [rax+rax]
    37b7b4710
    37b7b4710loc_37b7b4710:
    37b7b4710mov rcx, rbx
    37b7b4713lea rdx, [rsp+180]
    37b7b471badd rbx, 4
    37b7b471fmovss x8, [rbp+4*r13]
    37b7b4726call slamc3_
    37b7b472baddss x0, x6
    37b7b472fdivss x8, x0
    37b7b4734movss x0, [rbx-4]
    37b7b4739addss x0, x9
    37b7b473edivss x8, x0
    37b7b4743movss [rsi+4*r13], x8
    37b7b4749add r13, 1
    37b7b474dcmp r15l, r13l
    37b7b4750jge 0x37b7b4710
    37b7b4752
    37b7b4752loc_37b7b4752:
    37b7b4752mov rdx, [rsp+432]
    37b7b475amov rcx, [rsp+360]
    37b7b4762lea rsi, [rip+0xc84477]
    37b7b4769lea r8, [rip+0xc84470]
    37b7b4770call snrm2_
    37b7b4775mov [rsp+32], rsi
    37b7b477amov r8, rsi
    37b7b477dmov r9, [rsp+384]
    37b7b4785mov rdx, [rsp+432]
    37b7b478dmov rcx, [rsp+360]
    37b7b4795movaps x8, x0
    37b7b4799call sdot_
    37b7b479emov rax, [rsp+120]
    37b7b47a3mov r8, rsi
    37b7b47a6mov r9, [rsp+392]
    37b7b47aedivss x0, x8
    37b7b47b3mov rdx, [rsp+432]
    37b7b47bbmov rcx, [rsp+360]
    37b7b47c3movss [rax+4*r14-8], x0
    37b7b47camov [rsp+32], rsi
    37b7b47cfcall sdot_
    37b7b47d4mov rax, [rsp+136]
    37b7b47dcdivss x0, x8
    37b7b47e1movss [rax+4*r14-12], x0
    37b7b47e8mov rax, [rsp+352]
    37b7b47f0cmp [rax], 1
    37b7b47f3jne 0x37b7b4804
    37b7b47f5mov rax, [rsp+152]
    37b7b47fdmovss [rax+4*r14-4], x8
    37b7b4804
    37b7b4804loc_37b7b4804:
    37b7b4804mov ebx, [rsp+104]
    37b7b4808cmp [rsp+132], ebx
    37b7b480fjl 0x37b7b4895
    37b7b4815mov rax, [rsp+360]
    37b7b481dadd [rsp+96], 4
    37b7b4823add r14, 1
    37b7b4827add [rsp+112], 4
    37b7b482dmov r15l, [rax]
    37b7b4830jmp 0x37b7b45b0
    37b7b4835
    37b7b4835loc_37b7b4835:
    37b7b4835mov rbx, [rsp+376]
    37b7b483dmovss x0, [rbx]
    37b7b4841mov rbx, [rsp+368]
    37b7b4849andps x0, [rip+0xc843b0]
    37b7b4850movss [rbx], x0
    37b7b4854mov rbx, [rsp+400]
    37b7b485cmovss [rbx], x0
    37b7b4860cmp eax, 1
    37b7b4863jne 0x37b7b407f
    37b7b4869movss x0, [rip+0xc8439f]
    37b7b4871mov rax, [rsp+144]
    37b7b4879movss [rbx+4], x0
    37b7b487emov rbx, [rsp+408]
    37b7b4886lea rax, [rax+2*r14+1]
    37b7b488bmovss [rbx+4*rax], x0
    37b7b4890jmp 0x37b7b407f
    37b7b4895
    37b7b4895loc_37b7b4895:
    37b7b4895mov r10, [rsp+120]
    37b7b489a
    37b7b489aloc_37b7b489a:
    37b7b489alea rax, [rip+0xc8433f]
    37b7b48a1mov r9, [rsp+384]
    37b7b48a9mov rcx, [rsp+360]
    37b7b48b1mov rdx, r10
    37b7b48b4mov [rsp+32], rax
    37b7b48b9mov rbx, rax
    37b7b48bcmov r8, rax
    37b7b48bfcall scopy_
    37b7b48c4mov [rsp+32], rbx
    37b7b48c9mov r8, rbx
    37b7b48ccmov r9, [rsp+392]
    37b7b48d4mov rdx, [rsp+160]
    37b7b48dcmov rcx, [rsp+360]
    37b7b48e4call scopy_
    37b7b48e9jmp 0x37b7b407f
    37b7b48ee
    37b7b48eeloc_37b7b48ee:
    37b7b48eemov r8l, -9
    37b7b48f4mov ecx, 9
    37b7b48f9jmp 0x37b7b4059
    37b7b48fe
    37b7b48feloc_37b7b48fe:
    37b7b48femov r8l, -2
    37b7b4904mov ecx, 2
    37b7b4909jmp 0x37b7b4059
    37b7b490e
    37b7b490eloc_37b7b490e:
    37b7b490emov eax, 1
    37b7b4913jmp 0x37b7b44fa
    37b7b3fc0
    37b7b4918
    37b7b4918 // align 0x40
    37b7b4940
    37b7b4940slasda_:
    37b7b4940push r15
    37b7b4942push r14
    37b7b4944push r13
    37b7b4946push r12
    37b7b4948push rbp
    37b7b4949push rdi
    37b7b494apush rsi
    37b7b494bpush rbx
    37b7b494csub rsp, 616
    37b7b4953mov r11l, -1
    37b7b4959mov rax, [rsp+720]
    37b7b4961mov rbx, [rsp+816]
    37b7b4969mov rdi, [rsp+744]
    37b7b4971mov [rsp+264], rax
    37b7b4979mov r14, rcx
    37b7b497cmov r15, r9
    37b7b497fmov rax, [rsp+728]
    37b7b4987mov [rsp+216], rcx
    37b7b498fmov rcx, r8
    37b7b4992mov r10, rdx
    37b7b4995mov [rsp+232], rax
    37b7b499dmov rax, [rsp+736]
    37b7b49a5mov [rsp+520], r9
    37b7b49admov r9l, 1
    37b7b49b3mov [rsp+352], rax
    37b7b49bbmov rax, [rsp+752]
    37b7b49c3mov [rsp+480], rbx
    37b7b49cbmov [rsp+272], rax
    37b7b49d3mov rax, [rsp+760]
    37b7b49dbmov [rsp+424], rax
    37b7b49e3mov rax, [rsp+768]
    37b7b49ebmov [rsp+432], rax
    37b7b49f3mov rax, [rsp+776]
    37b7b49fbmov [rsp+440], rax
    37b7b4a03mov rax, [rsp+784]
    37b7b4a0bmov [rsp+448], rax
    37b7b4a13mov rax, [rsp+792]
    37b7b4a1bmov [rsp+456], rax
    37b7b4a23mov rax, [rsp+800]
    37b7b4a2bmov [rsp+464], rax
    37b7b4a33mov rax, [rsp+808]
    37b7b4a3bmov [rsp+472], rax
    37b7b4a43mov rax, [rsp+824]
    37b7b4a4bmov [rsp+488], rax
    37b7b4a53mov rax, [rsp+832]
    37b7b4a5bmov [rsp+496], rax
    37b7b4a63mov rax, [rsp+840]
    37b7b4a6bmov [rsp+504], rax
    37b7b4a73mov rax, [rsp+848]
    37b7b4a7bmov rsi, [rsp+872]
    37b7b4a83mov r8l, [r14]
    37b7b4a86mov [rsp+512], rax
    37b7b4a8emov rbp, [rsp+856]
    37b7b4a96movsxd rax, [rdi]
    37b7b4a99mov r13l, [rbx]
    37b7b4a9cmov [rsi], 0
    37b7b4aa2mov r12, [rsp+864]
    37b7b4aaacmp r8l, 1
    37b7b4aaejbe 0x37b7b4af0
    37b7b4ab0
    37b7b4ab0loc_37b7b4ab0:
    37b7b4ab0mov [rsi], r11l
    37b7b4ab3lea rdx, [rsp+604]
    37b7b4abbmov r8l, 6
    37b7b4ac1lea rcx, [rip+0xc84180]
    37b7b4ac8mov [rsp+604], r9l
    37b7b4ad0call xerbla_
    37b7b4ad5nop
    37b7b4ad6
    37b7b4ad6loc_37b7b4ad6:
    37b7b4ad6add rsp, 616
    37b7b4addpop rbx
    37b7b4adepop rsi
    37b7b4adfpop rdi
    37b7b4ae0pop rbp
    37b7b4ae1pop r12
    37b7b4ae3pop r13
    37b7b4ae5pop r14
    37b7b4ae7pop r15
    37b7b4ae9ret
    37b7b4aea
    37b7b4aea 66 0f 1f 44 00 00 f..D..
    37b7b4af0
    37b7b4af0loc_37b7b4af0:
    37b7b4af0mov edx, [rdx]
    37b7b4af2cmp edx, 2
    37b7b4af5jle 0x37b7b4b48
    37b7b4af7mov r14l, [rcx]
    37b7b4afamov [rsp+532], r14l
    37b7b4b02test r14l, r14l
    37b7b4b05js 0x37b7b4b59
    37b7b4b07mov ebx, [r15]
    37b7b4b0amov r11l, -4
    37b7b4b10mov r9l, 4
    37b7b4b16cmp ebx, 1
    37b7b4b19ja 0x37b7b4ab0
    37b7b4b1badd ebx, r14l
    37b7b4b1emov [rsp+340], ebx
    37b7b4b25cmp eax, ebx
    37b7b4b27jl 0x37b7b5ce6
    37b7b4b2dcmp r13l, r14l
    37b7b4b30jge 0x37b7b4b6a
    37b7b4b32mov r11l, -17
    37b7b4b38mov r9l, 17
    37b7b4b3ejmp 0x37b7b4ab0
    37b7b4b43
    37b7b4b43 0f 1f 44 00 00 ..D..
    37b7b4b48
    37b7b4b48loc_37b7b4b48:
    37b7b4b48mov r11l, -2
    37b7b4b4emov r9l, 2
    37b7b4b54jmp 0x37b7b4ab0
    37b7b4b59
    37b7b4b59loc_37b7b4b59:
    37b7b4b59mov r11l, -3
    37b7b4b5fmov r9l, 3
    37b7b4b65jmp 0x37b7b4ab0
    37b7b4b6a
    37b7b4b6aloc_37b7b4b6a:
    37b7b4b6amov ebx, [rsp+340]
    37b7b4b71mov [rsp+564], ebx
    37b7b4b78cmp edx, [rsp+532]
    37b7b4b7fjl 0x37b7b4c50
    37b7b4b85test r8l, r8l
    37b7b4b88jne 0x37b7b5bff
    37b7b4b8emov rax, [rsp+352]
    37b7b4b96mov r8, rcx
    37b7b4b99mov rdx, [rsp+520]
    37b7b4ba1lea rcx, [rip+0xc8408c]
    37b7b4ba8mov [rsp+816], 1
    37b7b4bb4mov [rsp+784], rax
    37b7b4bbcmov [rsp+768], rax
    37b7b4bc4mov rax, [rsp+272]
    37b7b4bccmov [rsp+808], rsi
    37b7b4bd4mov [rsp+752], rax
    37b7b4bdcmov rax, [rsp+232]
    37b7b4be4mov [rsp+800], rbp
    37b7b4becmov [rsp+744], rax
    37b7b4bf4mov rax, [rsp+264]
    37b7b4bfcmov [rsp+792], rdi
    37b7b4c04mov [rsp+736], rax
    37b7b4c0clea rax, [rip+0xc8401d]
    37b7b4c13mov r9, rax
    37b7b4c16mov [rsp+776], rdi
    37b7b4c1emov [rsp+760], rdi
    37b7b4c26mov [rsp+728], rax
    37b7b4c2emov [rsp+720], rax
    37b7b4c36add rsp, 616
    37b7b4c3dpop rbx
    37b7b4c3epop rsi
    37b7b4c3fpop rdi
    37b7b4c40pop rbp
    37b7b4c41pop r12
    37b7b4c43pop r13
    37b7b4c45pop r14
    37b7b4c47pop r15
    37b7b4c49jmp 0x37b7b5d00
    37b7b4c4e
    37b7b4c4e 66 90 f.
    37b7b4c50
    37b7b4c50loc_37b7b4c50:
    37b7b4c50mov [rsp+48], r10
    37b7b4c55mov r9, r12
    37b7b4c58lea r8, [rsp+572]
    37b7b4c60mov [rsp+368], rax
    37b7b4c68not rax
    37b7b4c6bmov [rsp+376], rax
    37b7b4c73movsxd rax, [rsp+532]
    37b7b4c7bmov [rsp+568], 0
    37b7b4c86lea r11l, [rax+rax+1]
    37b7b4c8blea r14, [r12+4*rax]
    37b7b4c8fmov [rsp+596], 0
    37b7b4c9alea ebx, [rax+r11]
    37b7b4c9elea eax, [r11-1]
    37b7b4ca2mov [rsp+32], r14
    37b7b4ca7cdqe
    37b7b4ca9mov [rsp+528], ebx
    37b7b4cb0lea ebx, [rdx+1]
    37b7b4cb3mov edx, [rsp+340]
    37b7b4cbalea rax, [r12+4*rax]
    37b7b4cbemov [rsp+208], r11l
    37b7b4cc6mov [rsp+40], rax
    37b7b4ccblea edx, [rdx+rdx+1]
    37b7b4ccfmov [rsp+360], edx
    37b7b4cd6lea rdx, [rsp+584]
    37b7b4cdemov [rsp+600], ebx
    37b7b4ce5mov [rsp+344], r14
    37b7b4cedcall slasdt_
    37b7b4cf2mov r9l, [rsp+572]
    37b7b4cfamov r11l, [rsp+208]
    37b7b4d02lea ecx, [r9+1]
    37b7b4d06shr ecx, 31
    37b7b4d09lea ecx, [rcx+r9+1]
    37b7b4d0esar ecx, 1
    37b7b4d10cmp r9l, ecx
    37b7b4d13jl 0x37b7b5325
    37b7b4d19movsxd rax, [rsp+360]
    37b7b4d21imul ebx, ebx
    37b7b4d24mov [rsp+328], r9l
    37b7b4d2cmovsxd r15, ecx
    37b7b4d2fmov [rsp+540], r11l
    37b7b4d37mov r14, rax
    37b7b4d3alea rax, [rbp+4*rax-4]
    37b7b4d3fmov [rsp+240], r12
    37b7b4d47mov [rsp+208], rax
    37b7b4d4flea eax, [rbx+r14]
    37b7b4d53mov r14, rsi
    37b7b4d56cdqe
    37b7b4d58mov [rsp+536], r13l
    37b7b4d60mov r13, rdi
    37b7b4d63lea rax, [rbp+4*rax-4]
    37b7b4d68mov [rsp+392], rax
    37b7b4d70movsxd rax, r11l
    37b7b4d73lea rax, [r12+4*rax]
    37b7b4d77mov [rsp+384], rax
    37b7b4d7flea rax, [rsp+580]
    37b7b4d87mov [rsp+224], rax
    37b7b4d8flea rax, [rsp+576]
    37b7b4d97mov [rsp+248], rax
    37b7b4d9flea rax, [rsp+604]
    37b7b4da7mov [rsp+288], rax
    37b7b4daflea rax, [rsp+568]
    37b7b4db7mov [rsp+280], rax
    37b7b4dbflea rax, [rsp+600]
    37b7b4dc7mov [rsp+296], rax
    37b7b4dcfnop
    37b7b4dd0
    37b7b4dd0loc_37b7b4dd0:
    37b7b4dd0mov rax, [rsp+240]
    37b7b4dd8mov rdi, [rsp+384]
    37b7b4de0mov [rsp+604], 1
    37b7b4debmov r11, [rsp+216]
    37b7b4df3mov rcx, [rsp+264]
    37b7b4dfbmov esi, [rax+4*r15-4]
    37b7b4e00mov rax, [rsp+344]
    37b7b4e08mov edi, [rdi+4*r15-8]
    37b7b4e0dmov eax, [rax+4*r15-4]
    37b7b4e12mov ebx, esi
    37b7b4e14mov [rsp+256], esi
    37b7b4e1bmov [rsp+588], edi
    37b7b4e22lea edx, [rax+1]
    37b7b4e25sub ebx, eax
    37b7b4e27mov [rsp+576], eax
    37b7b4e2emov eax, [rsp+340]
    37b7b4e35mov [rsp+580], edx
    37b7b4e3cmovsxd r12, ebx
    37b7b4e3flea r10l, [rax+rbx]
    37b7b4e43mov rax, [rsp+232]
    37b7b4e4blea rsi, [4*r12-4]
    37b7b4e53movsxd rdx, r10l
    37b7b4e56lea rdx, [rbp+4*rdx-4]
    37b7b4e5badd rax, rsi
    37b7b4e5emov [rsp+320], rdx
    37b7b4e66mov edx, [r11]
    37b7b4e69mov [rsp+304], rax
    37b7b4e71lea rax, [rcx+rsi]
    37b7b4e75lea rcx, [rbp+rsi]
    37b7b4e7amov [rsp+312], rcx
    37b7b4e82test edx, edx
    37b7b4e84jne 0x37b7b5860
    37b7b4e8amov r12, [rsp+208]
    37b7b4e92lea r11, [rip+0xc83da7]
    37b7b4e99mov rsi, [rsp+296]
    37b7b4ea1mov [rsp+56], 1
    37b7b4eaamov [rsp+32], r11
    37b7b4eaflea r9, [rip+0xc83d82]
    37b7b4eb6lea rcx, [rip+0xc83d7f]
    37b7b4ebdmov [rsp+48], rsi
    37b7b4ec2mov rsi, [rsp+224]
    37b7b4ecamov [rsp+40], r12
    37b7b4ecfmov r8, rsi
    37b7b4ed2mov rdx, rsi
    37b7b4ed5mov [rsp+408], rax
    37b7b4eddmov [rsp+400], r10l
    37b7b4ee5call slaset_
    37b7b4eeamov rax, [rsp+304]
    37b7b4ef2mov r9, rsi
    37b7b4ef5mov r11, [rsp+392]
    37b7b4efdmov r10, [rsp+296]
    37b7b4f05mov r8, [rsp+248]
    37b7b4f0dmov [rsp+64], r12
    37b7b4f12lea rcx, [rip+0xc83d1b]
    37b7b4f19mov [rsp+56], rax
    37b7b4f1emov rax, [rsp+408]
    37b7b4f26mov [rsp+72], r10
    37b7b4f2bmov rdx, [rsp+288]
    37b7b4f33mov [rsp+48], rax
    37b7b4f38mov rax, [rsp+280]
    37b7b4f40mov [rsp+112], r11
    37b7b4f45mov [rsp+40], rax
    37b7b4f4alea rax, [rsp+596]
    37b7b4f52mov [rsp+96], r11
    37b7b4f57mov [rsp+80], r11
    37b7b4f5cmov [rsp+104], r8
    37b7b4f61mov [rsp+88], r8
    37b7b4f66mov [rsp+32], rax
    37b7b4f6bmov [rsp+208], r12
    37b7b4f73mov r12, rsi
    37b7b4f76mov [rsp+128], 1
    37b7b4f82mov [rsp+120], r14
    37b7b4f87call slasdq_
    37b7b4f8clea rax, [rip+0xc83cb1]
    37b7b4f93mov r9, [rsp+312]
    37b7b4f9bmov rdx, [rsp+208]
    37b7b4fa3mov [rsp+32], rax
    37b7b4fa8mov r8, rax
    37b7b4fabmov rcx, r12
    37b7b4faemov esi, [rsp+576]
    37b7b4fb5imul esi, [rsp+600]
    37b7b4fbdadd esi, [rsp+360]
    37b7b4fc4sub esi, 1
    37b7b4fc7call scopy_
    37b7b4fcclea rax, [rip+0xc83c71]
    37b7b4fd3movsxd rsi, esi
    37b7b4fd6mov rcx, r12
    37b7b4fd9mov [rsp+32], rax
    37b7b4fdemov r9, [rsp+320]
    37b7b4fe6lea rdx, [rbp+4*rsi]
    37b7b4febmov r8, rax
    37b7b4feecall scopy_
    37b7b4ff3mov r10l, [rsp+400]
    37b7b4ffb
    37b7b4ffbloc_37b7b4ffb:
    37b7b4ffbmov esi, [r14]
    37b7b4ffetest esi, esi
    37b7b5000jne 0x37b7b4ad6
    37b7b5006mov eax, [rsp+528]
    37b7b500dlea r12l, [rax+rbx]
    37b7b5011mov eax, [rsp+576]
    37b7b5018test eax, eax
    37b7b501ajle 0x37b7b5075
    37b7b501cmov rsi, [rsp+240]
    37b7b5024lea r8l, [rax+1]
    37b7b5028movsxd rax, r12l
    37b7b502blea rcx, [rsi+4*rax]
    37b7b502fmov eax, 1
    37b7b5034test r8b, 1
    37b7b5038jne 0x37b7b5060
    37b7b503amov [rcx-8], 1
    37b7b5041mov eax, 2
    37b7b5046cmp r8, 2
    37b7b504aje 0x37b7b5075
    37b7b504cnop [rax+rax]
    37b7b5055nop [rax+rax]
    37b7b5060
    37b7b5060loc_37b7b5060:
    37b7b5060mov [rcx+4*rax-12], eax
    37b7b5064lea rdx, [rax+1]
    37b7b5068add rax, 2
    37b7b506cmov [rcx+4*rdx-12], edx
    37b7b5070cmp r8, rax
    37b7b5073jne 0x37b7b5060
    37b7b5075
    37b7b5075loc_37b7b5075:
    37b7b5075mov eax, 1
    37b7b507acmp [rsp+328], r15l
    37b7b5082je 0x37b7b5bd0
    37b7b5088
    37b7b5088loc_37b7b5088:
    37b7b5088mov esi, [rsp+580]
    37b7b508fmov [rsp+604], eax
    37b7b5096add eax, edi
    37b7b5098movsxd rdi, [rsp+256]
    37b7b50a0mov rcx, [rsp+264]
    37b7b50a8mov [rsp+592], eax
    37b7b50aflea edx, [rsi+r10]
    37b7b50b3mov r10, [rsp+216]
    37b7b50bbadd ebx, esi
    37b7b50bdmov rax, [rsp+232]
    37b7b50c5shl rdi, 2
    37b7b50c9movsxd rbx, ebx
    37b7b50ccmovsxd rdx, edx
    37b7b50cfmov r10l, [r10]
    37b7b50d2add rcx, rdi
    37b7b50d5lea rbx, [rbp+4*rbx-4]
    37b7b50dalea rdx, [rbp+4*rdx-4]
    37b7b50dfmov [rsp+304], rcx
    37b7b50e7add rax, rdi
    37b7b50eamov [rsp+312], rbx
    37b7b50f2mov [rsp+320], rdx
    37b7b50fatest r10l, r10l
    37b7b50fdjne 0x37b7b5a20
    37b7b5103mov rdi, [rsp+208]
    37b7b510blea r10, [rip+0xc83b2e]
    37b7b5112mov [rsp+256], rax
    37b7b511alea r9, [rip+0xc83b17]
    37b7b5121mov rax, [rsp+296]
    37b7b5129mov [rsp+32], r10
    37b7b512elea r8, [rsp+592]
    37b7b5136lea rdx, [rsp+592]
    37b7b513emov [rsp+40], rdi
    37b7b5143lea rcx, [rip+0xc83af2]
    37b7b514amov [rsp+48], rax
    37b7b514fmov [rsp+56], 1
    37b7b5158call slaset_
    37b7b515dmov rax, [rsp+392]
    37b7b5165mov [rsp+64], rdi
    37b7b516alea r10, [rsp+588]
    37b7b5172mov rcx, [rsp+304]
    37b7b517amov [rsp+104], r10
    37b7b517fmov r8, r10
    37b7b5182lea r9, [rsp+592]
    37b7b518amov [rsp+112], rax
    37b7b518fmov rdx, [rsp+288]
    37b7b5197mov [rsp+96], rax
    37b7b519cmov [rsp+80], rax
    37b7b51a1mov rax, [rsp+296]
    37b7b51a9mov [rsp+88], r10
    37b7b51aemov [rsp+72], rax
    37b7b51b3mov rax, [rsp+256]
    37b7b51bbmov [rsp+48], rcx
    37b7b51c0lea rcx, [rip+0xc83a6d]
    37b7b51c7mov [rsp+56], rax
    37b7b51ccmov rax, [rsp+280]
    37b7b51d4mov [rsp+120], r14
    37b7b51d9mov [rsp+40], rax
    37b7b51delea rax, [rsp+596]
    37b7b51e6mov [rsp+32], rax
    37b7b51ebmov [rsp+208], rdi
    37b7b51f3mov [rsp+128], 1
    37b7b51ffcall slasdq_
    37b7b5204mov eax, [rsp+592]
    37b7b520bmov rdx, [rsp+208]
    37b7b5213lea rcx, [rsp+592]
    37b7b521bmov r9, [rsp+312]
    37b7b5223lea edi, [rax-1]
    37b7b5226lea rax, [rip+0xc83a17]
    37b7b522dimul edi, [rsp+600]
    37b7b5235mov [rsp+32], rax
    37b7b523amov r8, rax
    37b7b523dadd edi, [rsp+360]
    37b7b5244sub edi, 1
    37b7b5247call scopy_
    37b7b524cmovsxd rdi, edi
    37b7b524flea rdx, [rbp+4*rdi]
    37b7b5254
    37b7b5254loc_37b7b5254:
    37b7b5254lea rax, [rip+0xc839e9]
    37b7b525bmov r9, [rsp+320]
    37b7b5263lea rcx, [rsp+592]
    37b7b526bmov [rsp+32], rax
    37b7b5270mov r8, rax
    37b7b5273call scopy_
    37b7b5278mov r9l, [r14]
    37b7b527btest r9l, r9l
    37b7b527ejne 0x37b7b4ad6
    37b7b5284mov eax, [rsp+588]
    37b7b528btest eax, eax
    37b7b528djle 0x37b7b52f5
    37b7b528fmov rbx, [rsp+240]
    37b7b5297lea r8l, [rax+1]
    37b7b529blea eax, [r12+rsi-2]
    37b7b52a0cdqe
    37b7b52a2lea rcx, [rbx+4*rax]
    37b7b52a6mov eax, 1
    37b7b52abtest r8b, 1
    37b7b52afjne 0x37b7b52e0
    37b7b52b1mov [rcx], 1
    37b7b52b7mov eax, 2
    37b7b52bccmp r8, 2
    37b7b52c0je 0x37b7b52f5
    37b7b52c2nop [rax+rax]
    37b7b52canop [rax+rax]
    37b7b52d5nop [rax+rax]
    37b7b52e0
    37b7b52e0loc_37b7b52e0:
    37b7b52e0mov [rcx+4*rax-4], eax
    37b7b52e4lea rdx, [rax+1]
    37b7b52e8add rax, 2
    37b7b52ecmov [rcx+4*rdx-4], edx
    37b7b52f0cmp r8, rax
    37b7b52f3jne 0x37b7b52e0
    37b7b52f5
    37b7b52f5loc_37b7b52f5:
    37b7b52f5add r15, 1
    37b7b52f9cmp [rsp+328], r15l
    37b7b5301jge 0x37b7b4dd0
    37b7b5307mov rdi, r13
    37b7b530amov r11l, [rsp+540]
    37b7b5312mov r13l, [rsp+536]
    37b7b531amov rsi, r14
    37b7b531dmov r12, [rsp+240]
    37b7b5325
    37b7b5325loc_37b7b5325:
    37b7b5325mov r14l, [rsp+584]
    37b7b532dmov eax, 1
    37b7b5332xor edx, edx
    37b7b5334mov ecx, r14l
    37b7b5337shl eax, cl
    37b7b5339cmp r14l, 32
    37b7b533dcmovb edx, eax
    37b7b5340mov [rsp+224], edx
    37b7b5347test r14l, r14l
    37b7b534ajle 0x37b7b4ad6
    37b7b5350mov eax, [rsp+532]
    37b7b5357movsxd r8, r13l
    37b7b535aadd eax, [rsp+528]
    37b7b5361movsxd r15, r11l
    37b7b5364cdqe
    37b7b5366mov r9, r8
    37b7b5369mov rdx, [rsp+368]
    37b7b5371mov rbx, [rsp+376]
    37b7b5379lea rax, [r12+4*rax-4]
    37b7b537enot r9
    37b7b5381mov [rsp+296], rdi
    37b7b5389lea r13, [r12+4*r15]
    37b7b538dmov [rsp+272], rax
    37b7b5395movsxd rax, [rsp+360]
    37b7b539dmov r15, r8
    37b7b53a0mov rdi, [rsp+264]
    37b7b53a8lea rax, [rbp+4*rax-4]
    37b7b53admov [rsp+280], rax
    37b7b53b5movsxd rax, r14l
    37b7b53b8imul rdx, rax
    37b7b53bcimul rax, r8
    37b7b53c0add rbx, rdx
    37b7b53c3add rax, r9
    37b7b53c6mov [rsp+304], rbx
    37b7b53cemov [rsp+312], rax
    37b7b53d6lea rax, [rsp+576]
    37b7b53demov [rsp+288], rax
    37b7b53e6
    37b7b53e6loc_37b7b53e6:
    37b7b53e6mov ebx, r14l
    37b7b53e9cmp r14l, 1
    37b7b53edje 0x37b7b5cd6
    37b7b53f3lea ecx, [r14-1]
    37b7b53f7cmp r14l, 32
    37b7b53fbjg 0x37b7b5cae
    37b7b5401mov eax, 2
    37b7b5406mov ebx, 1
    37b7b540bshl eax, cl
    37b7b540dshl ebx, cl
    37b7b540fsub eax, 1
    37b7b5412mov [rsp+208], eax
    37b7b5419cmp ebx, eax
    37b7b541bjg 0x37b7b5cae
    37b7b5421
    37b7b5421loc_37b7b5421:
    37b7b5421mov rdx, [rsp+368]
    37b7b5429lea eax, [r14+r14-1]
    37b7b542emov rcx, [rsp+376]
    37b7b5436mov [rsp+352], r14l
    37b7b543ecdqe
    37b7b5440mov [rsp+360], r9
    37b7b5448movsxd rbx, ebx
    37b7b544bimul rdx, rax
    37b7b544fmov [rsp+384], r15
    37b7b5457imul rax, r15
    37b7b545badd rcx, rdx
    37b7b545eadd rax, r9
    37b7b5461mov [rsp+320], rcx
    37b7b5469mov [rsp+328], rax
    37b7b5471lea rax, [rsp+604]
    37b7b5479mov [rsp+264], rax
    37b7b5481lea rax, [rsp+588]
    37b7b5489mov [rsp+256], rax
    37b7b5491lea rax, [rsp+560]
    37b7b5499mov [rsp+248], rax
    37b7b54a1lea rax, [rsp+556]
    37b7b54a9mov [rsp+240], rax
    37b7b54b1jmp 0x37b7b560c
    37b7b54b6
    37b7b54b6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37b7b54c0
    37b7b54c0loc_37b7b54c0:
    37b7b54c0mov rdx, [rsp+272]
    37b7b54c8mov [rsp+200], rsi
    37b7b54d0mov [rsp+72], r14
    37b7b54d5mov [rsp+192], rdx
    37b7b54ddmov rdx, [rsp+280]
    37b7b54e5mov [rsp+184], rdx
    37b7b54edmov rdx, [rsp+512]
    37b7b54f5mov [rsp+176], rdx
    37b7b54fdmov rdx, [rsp+504]
    37b7b5505mov [rsp+168], rdx
    37b7b550dmov rdx, [rsp+424]
    37b7b5515mov [rsp+160], rdx
    37b7b551dmov rdx, [rsp+448]
    37b7b5525mov [rsp+152], rdx
    37b7b552dmov rdx, [rsp+440]
    37b7b5535mov [rsp+144], rdx
    37b7b553dmov rdx, [rsp+432]
    37b7b5545mov [rsp+136], rdx
    37b7b554dmov rdx, [rsp+456]
    37b7b5555mov [rsp+128], rdx
    37b7b555dmov rdx, [rsp+296]
    37b7b5565mov [rsp+120], rdx
    37b7b556amov rdx, [rsp+496]
    37b7b5572mov [rsp+112], rdx
    37b7b5577mov rdx, [rsp+480]
    37b7b557fmov [rsp+104], rdx
    37b7b5584mov rdx, [rsp+472]
    37b7b558cmov [rsp+96], rdx
    37b7b5591mov rdx, [rsp+464]
    37b7b5599mov [rsp+88], rdx
    37b7b559emov rdx, [rsp+488]
    37b7b55a6mov [rsp+80], rdx
    37b7b55abmov rdx, [rsp+248]
    37b7b55b3mov [rsp+48], r11
    37b7b55b8mov r9, [rsp+264]
    37b7b55c0mov [rsp+64], rdx
    37b7b55c5mov rdx, [rsp+240]
    37b7b55cdmov [rsp+40], r10
    37b7b55d2mov r8, [rsp+256]
    37b7b55damov [rsp+56], rdx
    37b7b55dfmov rdx, [rsp+288]
    37b7b55e7mov [rsp+32], rax
    37b7b55eccall slasd6_
    37b7b55f1
    37b7b55f1loc_37b7b55f1:
    37b7b55f1mov eax, [rsi]
    37b7b55f3test eax, eax
    37b7b55f5jne 0x37b7b4ad6
    37b7b55fbadd rbx, 1
    37b7b55ffcmp [rsp+208], ebx
    37b7b5606jl 0x37b7b5c92
    37b7b560c
    37b7b560cloc_37b7b560c:
    37b7b560cmov rdx, [rsp+344]
    37b7b5614mov ecx, [r13+4*rbx-8]
    37b7b5619movsxd rax, [r12+4*rbx-4]
    37b7b561emov edx, [rdx+4*rbx-4]
    37b7b5622mov [rsp+588], ecx
    37b7b5629mov ecx, eax
    37b7b562bmov [rsp+576], edx
    37b7b5632sub ecx, edx
    37b7b5634mov edx, 1
    37b7b5639cmp [rsp+208], ebx
    37b7b5640je 0x37b7b5bf0
    37b7b5646
    37b7b5646loc_37b7b5646:
    37b7b5646sub rax, 1
    37b7b564amov [rsp+604], edx
    37b7b5651mov rdx, [rsp+232]
    37b7b5659movss x0, [rdi+4*rax]
    37b7b565emovss [rsp+556], x0
    37b7b5667movss x0, [rdx+4*rax]
    37b7b566cmov eax, [rsp+528]
    37b7b5673movsxd rdx, ecx
    37b7b5676movss [rsp+560], x0
    37b7b567flea eax, [rax+rcx-2]
    37b7b5683cdqe
    37b7b5685lea r14, [r12+4*rax]
    37b7b5689mov eax, [rsp+340]
    37b7b5690add eax, ecx
    37b7b5692mov rcx, [rsp+216]
    37b7b569acdqe
    37b7b569cmov r8l, [rcx]
    37b7b569flea r11, [rbp+4*rax-4]
    37b7b56a4lea rax, [4*rdx-4]
    37b7b56aclea r10, [rbp+rax]
    37b7b56b1add rax, rdi
    37b7b56b4test r8l, r8l
    37b7b56b7je 0x37b7b54c0
    37b7b56bdmov r15, [rsp+272]
    37b7b56c5sub [rsp+224], 1
    37b7b56cdmovsxd rcx, [rsp+224]
    37b7b56d5mov [rsp+200], rsi
    37b7b56ddmov [rsp+192], r15
    37b7b56e5mov r15, [rsp+280]
    37b7b56edlea r8, [4*rcx-4]
    37b7b56f5mov rcx, [rsp+304]
    37b7b56fdmov [rsp+184], r15
    37b7b5705mov r15, [rsp+512]
    37b7b570dlea r9, [rcx+rdx]
    37b7b5711mov rcx, [rsp+320]
    37b7b5719add r15, r8
    37b7b571cshl r9, 2
    37b7b5720mov [rsp+176], r15
    37b7b5728mov r15, [rsp+504]
    37b7b5730add rcx, rdx
    37b7b5733shl rcx, 2
    37b7b5737add r15, r8
    37b7b573amov [rsp+168], r15
    37b7b5742mov r15, [rsp+424]
    37b7b574aadd r15, r8
    37b7b574dmov [rsp+160], r15
    37b7b5755mov r15, [rsp+448]
    37b7b575dadd r15, r9
    37b7b5760add r9, [rsp+432]
    37b7b5768mov [rsp+152], r15
    37b7b5770mov r15, [rsp+440]
    37b7b5778mov [rsp+136], r9
    37b7b5780mov r9, [rsp+456]
    37b7b5788add r15, rcx
    37b7b578badd r9, rcx
    37b7b578eadd rcx, [rsp+496]
    37b7b5796mov [rsp+144], r15
    37b7b579emov [rsp+112], rcx
    37b7b57a3mov rcx, [rsp+480]
    37b7b57abmov [rsp+128], r9
    37b7b57b3mov r9, [rsp+296]
    37b7b57bbmov [rsp+104], rcx
    37b7b57c0mov rcx, [rsp+328]
    37b7b57c8mov [rsp+120], r9
    37b7b57cdmov r9, [rsp+472]
    37b7b57d5add rcx, rdx
    37b7b57d8lea rcx, [r9+4*rcx]
    37b7b57dcmov [rsp+96], rcx
    37b7b57e1mov rcx, [rsp+488]
    37b7b57e9add rdx, [rsp+312]
    37b7b57f1add r8, [rsp+464]
    37b7b57f9mov [rsp+72], r14
    37b7b57felea rdx, [rcx+4*rdx]
    37b7b5802mov rcx, [rsp+248]
    37b7b580amov [rsp+88], r8
    37b7b580fmov [rsp+80], rdx
    37b7b5814mov r9, [rsp+264]
    37b7b581cmov [rsp+64], rcx
    37b7b5821mov rcx, [rsp+240]
    37b7b5829mov [rsp+48], r11
    37b7b582emov r8, [rsp+256]
    37b7b5836mov [rsp+56], rcx
    37b7b583bmov rdx, [rsp+288]
    37b7b5843mov [rsp+40], r10
    37b7b5848mov rcx, [rsp+216]
    37b7b5850mov [rsp+32], rax
    37b7b5855call slasd6_
    37b7b585ajmp 0x37b7b55f1
    37b7b585f
    37b7b585f 90 .
    37b7b5860
    37b7b5860loc_37b7b5860:
    37b7b5860mov [rsp+416], rax
    37b7b5868mov rax, [rsp+352]
    37b7b5870lea r9, [rip+0xc833c1]
    37b7b5877lea rcx, [rip+0xc833be]
    37b7b587emov r8, [rsp+248]
    37b7b5886mov [rsp+48], r13
    37b7b588blea r11, [rax+rsi]
    37b7b588flea rax, [rip+0xc833aa]
    37b7b5896mov [rsp+56], 1
    37b7b589fmov [rsp+40], r11
    37b7b58a4mov rdx, r8
    37b7b58a7mov [rsp+32], rax
    37b7b58acmov [rsp+408], r10l
    37b7b58b4mov [rsp+400], r11
    37b7b58bccall slaset_
    37b7b58c1add rsi, [rsp+272]
    37b7b58c9mov [rsp+48], r13
    37b7b58celea rcx, [rip+0xc8336b]
    37b7b58d5mov r8, [rsp+224]
    37b7b58ddmov [rsp+40], rsi
    37b7b58e2lea r9, [rip+0xc8334f]
    37b7b58e9mov [rsp+32], rcx
    37b7b58eelea rcx, [rip+0xc83347]
    37b7b58f5mov [rsp+56], 1
    37b7b58femov rdx, r8
    37b7b5901call slaset_
    37b7b5906mov rcx, [rsp+208]
    37b7b590emov [rsp+64], rsi
    37b7b5913mov rax, [rsp+416]
    37b7b591bmov r11, [rsp+400]
    37b7b5923mov [rsp+104], r13
    37b7b5928mov [rsp+112], rcx
    37b7b592dmov rcx, [rsp+304]
    37b7b5935mov [rsp+48], rax
    37b7b593amov rax, [rsp+248]
    37b7b5942mov [rsp+56], rcx
    37b7b5947mov rcx, [rsp+280]
    37b7b594fmov [rsp+96], r11
    37b7b5954mov r9, [rsp+224]
    37b7b595cmov r8, rax
    37b7b595fmov [rsp+80], r11
    37b7b5964mov rdx, [rsp+288]
    37b7b596cmov [rsp+40], rcx
    37b7b5971lea rcx, [rip+0xc832bc]
    37b7b5978mov [rsp+32], rax
    37b7b597dmov [rsp+88], r13
    37b7b5982mov [rsp+72], r13
    37b7b5987mov [rsp+128], 1
    37b7b5993mov [rsp+120], r14
    37b7b5998call slasdq_
    37b7b599dlea rax, [rip+0xc832a0]
    37b7b59a4mov rdx, rsi
    37b7b59a7mov rsi, [rsp+224]
    37b7b59afmov [rsp+32], rax
    37b7b59b4mov r9, [rsp+312]
    37b7b59bcmov r8, rax
    37b7b59bfmov rcx, rsi
    37b7b59c2call scopy_
    37b7b59c7mov r9, [rsp+272]
    37b7b59cfmovsxd rax, [rsp+580]
    37b7b59d7mov rcx, rsi
    37b7b59daimul rax, [rsp+368]
    37b7b59e3add rax, [rsp+376]
    37b7b59ebadd rax, r12
    37b7b59eelea rdx, [r9+4*rax]
    37b7b59f2lea rax, [rip+0xc8324b]
    37b7b59f9mov r9, [rsp+320]
    37b7b5a01mov [rsp+32], rax
    37b7b5a06mov r8, rax
    37b7b5a09call scopy_
    37b7b5a0emov r10l, [rsp+408]
    37b7b5a16jmp 0x37b7b4ffb
    37b7b5a1b
    37b7b5a1b 0f 1f 44 00 00 ..D..
    37b7b5a20
    37b7b5a20loc_37b7b5a20:
    37b7b5a20mov [rsp+416], rax
    37b7b5a28mov rax, [rsp+352]
    37b7b5a30lea r10, [rsp+588]
    37b7b5a38lea r9, [rip+0xc831f9]
    37b7b5a3fmov [rsp+56], 1
    37b7b5a48mov r8, r10
    37b7b5a4bmov rdx, r10
    37b7b5a4elea rcx, [rip+0xc831e7]
    37b7b5a55lea r11, [rax+rdi]
    37b7b5a59lea rax, [rip+0xc831e0]
    37b7b5a60mov [rsp+48], r13
    37b7b5a65mov [rsp+40], r11
    37b7b5a6amov [rsp+32], rax
    37b7b5a6fmov [rsp+408], r11
    37b7b5a77mov [rsp+400], r10
    37b7b5a7fcall slaset_
    37b7b5a84mov rbx, [rsp+272]
    37b7b5a8clea rax, [rip+0xc831ad]
    37b7b5a93mov [rsp+56], 1
    37b7b5a9cmov [rsp+32], rax
    37b7b5aa1lea r9, [rip+0xc83190]
    37b7b5aa8lea r8, [rsp+592]
    37b7b5ab0add rbx, rdi
    37b7b5ab3mov [rsp+48], r13
    37b7b5ab8lea rdx, [rsp+592]
    37b7b5ac0lea rcx, [rip+0xc83175]
    37b7b5ac7mov [rsp+40], rbx
    37b7b5acccall slaset_
    37b7b5ad1mov rax, [rsp+208]
    37b7b5ad9mov [rsp+64], rbx
    37b7b5adelea r9, [rsp+592]
    37b7b5ae6mov r11, [rsp+408]
    37b7b5aeemov r10, [rsp+400]
    37b7b5af6mov [rsp+120], r14
    37b7b5afblea rcx, [rip+0xc83132]
    37b7b5b02mov [rsp+112], rax
    37b7b5b07mov rax, [rsp+416]
    37b7b5b0fmov [rsp+96], r11
    37b7b5b14mov rdx, [rsp+288]
    37b7b5b1cmov r8, r10
    37b7b5b1fmov [rsp+56], rax
    37b7b5b24mov rax, [rsp+304]
    37b7b5b2cmov [rsp+80], r11
    37b7b5b31mov [rsp+48], rax
    37b7b5b36mov rax, [rsp+280]
    37b7b5b3emov [rsp+32], r10
    37b7b5b43mov [rsp+40], rax
    37b7b5b48mov [rsp+104], r13
    37b7b5b4dmov [rsp+88], r13
    37b7b5b52mov [rsp+72], r13
    37b7b5b57mov [rsp+128], 1
    37b7b5b63call slasdq_
    37b7b5b68lea rax, [rip+0xc830d5]
    37b7b5b6fmov rdx, rbx
    37b7b5b72mov r9, [rsp+312]
    37b7b5b7amov [rsp+32], rax
    37b7b5b7fmov r8, rax
    37b7b5b82lea rcx, [rsp+592]
    37b7b5b8acall scopy_
    37b7b5b8fmov edx, [rsp+256]
    37b7b5b96movsxd rax, [rsp+592]
    37b7b5b9emov rbx, [rsp+272]
    37b7b5ba6imul rax, [rsp+368]
    37b7b5bafadd edx, 1
    37b7b5bb2add rax, [rsp+376]
    37b7b5bbamovsxd rdx, edx
    37b7b5bbdadd rax, rdx
    37b7b5bc0lea rdx, [rbx+4*rax]
    37b7b5bc4jmp 0x37b7b5254
    37b7b5bc9
    37b7b5bc9 0f 1f 80 00 00 00 00 .......
    37b7b5bd0
    37b7b5bd0loc_37b7b5bd0:
    37b7b5bd0mov rax, [rsp+520]
    37b7b5bd8mov r11l, [rax]
    37b7b5bdbxor eax, eax
    37b7b5bddtest r11l, r11l
    37b7b5be0setne al
    37b7b5be3jmp 0x37b7b5088
    37b7b5be8
    37b7b5be8 0f 1f 84 00 00 00 00 00 ........
    37b7b5bf0
    37b7b5bf0loc_37b7b5bf0:
    37b7b5bf0mov rdx, [rsp+520]
    37b7b5bf8mov edx, [rdx]
    37b7b5bfajmp 0x37b7b5646
    37b7b5bff
    37b7b5bffloc_37b7b5bff:
    37b7b5bffmov rax, [rsp+352]
    37b7b5c07mov [rsp+32], rcx
    37b7b5c0cmov r8, rcx
    37b7b5c0flea r9, [rsp+564]
    37b7b5c17mov [rsp+120], rsi
    37b7b5c1cmov rdx, [rsp+520]
    37b7b5c24lea rcx, [rip+0xc83009]
    37b7b5c2bmov [rsp+96], rax
    37b7b5c30mov [rsp+80], rax
    37b7b5c35mov rax, [rsp+272]
    37b7b5c3dmov [rsp+128], 1
    37b7b5c49mov [rsp+64], rax
    37b7b5c4emov rax, [rsp+232]
    37b7b5c56mov [rsp+112], rbp
    37b7b5c5bmov [rsp+56], rax
    37b7b5c60mov rax, [rsp+264]
    37b7b5c68mov [rsp+104], rdi
    37b7b5c6dmov [rsp+48], rax
    37b7b5c72lea rax, [rip+0xc82fb7]
    37b7b5c79mov [rsp+88], rdi
    37b7b5c7emov [rsp+72], rdi
    37b7b5c83mov [rsp+40], rax
    37b7b5c88call slasdq_
    37b7b5c8djmp 0x37b7b4ad6
    37b7b5c92
    37b7b5c92loc_37b7b5c92:
    37b7b5c92mov r14l, [rsp+352]
    37b7b5c9amov r9, [rsp+360]
    37b7b5ca2mov r15, [rsp+384]
    37b7b5caalea ecx, [r14-1]
    37b7b5cae
    37b7b5caeloc_37b7b5cae:
    37b7b5caemov rbx, [rsp+368]
    37b7b5cb6sub [rsp+312], r15
    37b7b5cbemov r14l, ecx
    37b7b5cc1sub [rsp+304], rbx
    37b7b5cc9test ecx, ecx
    37b7b5ccbjne 0x37b7b53e6
    37b7b5cd1jmp 0x37b7b4ad6
    37b7b5cd6
    37b7b5cd6loc_37b7b5cd6:
    37b7b5cd6mov [rsp+208], 1
    37b7b5ce1jmp 0x37b7b5421
    37b7b5ce6
    37b7b5ce6loc_37b7b5ce6:
    37b7b5ce6mov r11l, -8
    37b7b5cecmov r9l, 8
    37b7b5cf2jmp 0x37b7b4ab0
    37b7b5cf7
    37b7b5cf7 90 90 90 90 90 90 90 90 90 .........
    37b7b4940
    37b7b5d00
    37b7b5d00slasdq_:
    37b7b5d00push r15
    37b7b5d02push r14
    37b7b5d04push r13
    37b7b5d06push r12
    37b7b5d08push rbp
    37b7b5d09push rdi
    37b7b5d0apush rsi
    37b7b5d0bpush rbx
    37b7b5d0csub rsp, 200
    37b7b5d13mov rax, [rsp+360]
    37b7b5d1bmov rsi, [rsp+320]
    37b7b5d23mov rdi, [rsp+384]
    37b7b5d2bmov eax, [rax]
    37b7b5d2dmov [rsp+152], eax
    37b7b5d34mov r13, rcx
    37b7b5d37mov rbp, rdx
    37b7b5d3amov rbx, r8
    37b7b5d3dmov rax, [rsp+392]
    37b7b5d45mov [rsp+296], r9
    37b7b5d4dmov r8l, 1
    37b7b5d53mov r9l, 1
    37b7b5d59lea rdx, [rip+0xc82ef0]
    37b7b5d60mov [rax], 0
    37b7b5d66call lsame_
    37b7b5d6bmov r9l, 1
    37b7b5d71mov r8l, 1
    37b7b5d77mov rcx, r13
    37b7b5d7alea rdx, [rip+0xc82ed0]
    37b7b5d81mov r12l, eax
    37b7b5d84call lsame_
    37b7b5d89test eax, eax
    37b7b5d8bjne 0x37b7b5df0
    37b7b5d8dmov edx, 1
    37b7b5d92test r12l, r12l
    37b7b5d95je 0x37b7b5e68
    37b7b5d9b
    37b7b5d9bloc_37b7b5d9b:
    37b7b5d9bmov eax, [rbp]
    37b7b5d9emov r8l, -2
    37b7b5da4mov ecx, 2
    37b7b5da9cmp eax, 1
    37b7b5dacjbe 0x37b7b5df7
    37b7b5dae
    37b7b5daeloc_37b7b5dae:
    37b7b5daemov rax, [rsp+392]
    37b7b5db6mov [rax], r8l
    37b7b5db9
    37b7b5db9loc_37b7b5db9:
    37b7b5db9mov [rsp+188], ecx
    37b7b5dc0lea rdx, [rsp+188]
    37b7b5dc8mov r8l, 6
    37b7b5dcelea rcx, [rip+0xc82e7d]
    37b7b5dd5call xerbla_
    37b7b5ddanop
    37b7b5ddb
    37b7b5ddbloc_37b7b5ddb:
    37b7b5ddbadd rsp, 200
    37b7b5de2pop rbx
    37b7b5de3pop rsi
    37b7b5de4pop rdi
    37b7b5de5pop rbp
    37b7b5de6pop r12
    37b7b5de8pop r13
    37b7b5deapop r14
    37b7b5decpop r15
    37b7b5deeret
    37b7b5def
    37b7b5def 90 .
    37b7b5df0
    37b7b5df0loc_37b7b5df0:
    37b7b5df0mov edx, 2
    37b7b5df5jmp 0x37b7b5d9b
    37b7b5df7
    37b7b5df7loc_37b7b5df7:
    37b7b5df7mov r11l, [rbx]
    37b7b5dfatest r11l, r11l
    37b7b5dfdjs 0x37b7b5e78
    37b7b5dffmov rcx, [rsp+296]
    37b7b5e07mov ecx, [rcx]
    37b7b5e09test ecx, ecx
    37b7b5e0bjs 0x37b7b5e88
    37b7b5e0dmov r10, [rsp+304]
    37b7b5e15mov r8l, [r10]
    37b7b5e18test r8l, r8l
    37b7b5e1bjs 0x37b7b5ea8
    37b7b5e21mov r10, [rsp+312]
    37b7b5e29mov r12l, [r10]
    37b7b5e2ctest r12l, r12l
    37b7b5e2fjs 0x37b7b5e98
    37b7b5e31test r11l, r11l
    37b7b5e34mov r9l, 1
    37b7b5e3amov r10, [rsp+344]
    37b7b5e42cmovg r9l, r11l
    37b7b5e46mov ebp, r9l
    37b7b5e49mov r9l, [r10]
    37b7b5e4ctest ecx, ecx
    37b7b5e4eje 0x37b7b5eb8
    37b7b5e50cmp ebp, r9l
    37b7b5e53jle 0x37b7b5ebd
    37b7b5e55
    37b7b5e55loc_37b7b5e55:
    37b7b5e55mov r8l, -10
    37b7b5e5bmov ecx, 10
    37b7b5e60jmp 0x37b7b5dae
    37b7b5e65
    37b7b5e65 0f 1f 00 ...
    37b7b5e68
    37b7b5e68loc_37b7b5e68:
    37b7b5e68mov r8l, -1
    37b7b5e6emov ecx, 1
    37b7b5e73jmp 0x37b7b5dae
    37b7b5e78
    37b7b5e78loc_37b7b5e78:
    37b7b5e78mov r8l, -3
    37b7b5e7emov ecx, 3
    37b7b5e83jmp 0x37b7b5dae
    37b7b5e88
    37b7b5e88loc_37b7b5e88:
    37b7b5e88mov r8l, -4
    37b7b5e8emov ecx, 4
    37b7b5e93jmp 0x37b7b5dae
    37b7b5e98
    37b7b5e98loc_37b7b5e98:
    37b7b5e98mov r8l, -6
    37b7b5e9emov ecx, 6
    37b7b5ea3jmp 0x37b7b5dae
    37b7b5ea8
    37b7b5ea8loc_37b7b5ea8:
    37b7b5ea8mov r8l, -5
    37b7b5eaemov ecx, 5
    37b7b5eb3jmp 0x37b7b5dae
    37b7b5eb8
    37b7b5eb8loc_37b7b5eb8:
    37b7b5eb8test r9l, r9l
    37b7b5ebbjle 0x37b7b5e55
    37b7b5ebd
    37b7b5ebdloc_37b7b5ebd:
    37b7b5ebdmov r10, [rsp+360]
    37b7b5ec5test r8l, r8l
    37b7b5ec8mov r9l, 1
    37b7b5ececmovg r9l, r8l
    37b7b5ed2cmp [r10], r9l
    37b7b5ed5jl 0x37b7b6885
    37b7b5edbmov r10, [rsp+376]
    37b7b5ee3mov r9l, [r10]
    37b7b5ee6test r12l, r12l
    37b7b5ee9je 0x37b7b5f00
    37b7b5eebcmp ebp, r9l
    37b7b5eeejle 0x37b7b5f05
    37b7b5ef0
    37b7b5ef0loc_37b7b5ef0:
    37b7b5ef0mov r8l, -14
    37b7b5ef6mov ecx, 14
    37b7b5efbjmp 0x37b7b5dae
    37b7b5f00
    37b7b5f00loc_37b7b5f00:
    37b7b5f00test r9l, r9l
    37b7b5f03jle 0x37b7b5ef0
    37b7b5f05
    37b7b5f05loc_37b7b5f05:
    37b7b5f05mov r10, [rsp+392]
    37b7b5f0dmov r10l, [r10]
    37b7b5f10test r10l, r10l
    37b7b5f13jne 0x37b7b6895
    37b7b5f19test r11l, r11l
    37b7b5f1cje 0x37b7b5ddb
    37b7b5f22mov ebp, 1
    37b7b5f27test ecx, ecx
    37b7b5f29je 0x37b7b65c3
    37b7b5f2f
    37b7b5f2floc_37b7b5f2f:
    37b7b5f2flea ecx, [r11+1]
    37b7b5f33mov [rsp+180], ecx
    37b7b5f3acmp edx, 1
    37b7b5f3djne 0x37b7b657d
    37b7b5f43test al, 1
    37b7b5f45je 0x37b7b657d
    37b7b5f4bcmp r11l, 1
    37b7b5f4fje 0x37b7b6853
    37b7b5f55lea rcx, [rsp+188]
    37b7b5f5dmov [rsp+160], r11l
    37b7b5f65mov r14, [rsp+328]
    37b7b5f6dlea r13, [rsp+184]
    37b7b5f75mov [rsp+144], rcx
    37b7b5f7dmov r15l, 1
    37b7b5f83mov r12l, r11l
    37b7b5f86lea rcx, [rsp+176]
    37b7b5f8emov [rsp+136], rcx
    37b7b5f96mov [rsp+172], r10l
    37b7b5f9emov [rsp+320], rsi
    37b7b5fa6nop [rax+rax]
    37b7b5fb0
    37b7b5fb0loc_37b7b5fb0:
    37b7b5fb0mov [rsp+32], r13
    37b7b5fb5mov r9, [rsp+144]
    37b7b5fbdmov rdx, r14
    37b7b5fc0mov rcx, rsi
    37b7b5fc3mov r8, [rsp+136]
    37b7b5fcbcall slartg_
    37b7b5fd0movss x0, [rsi+4]
    37b7b5fd5movss x1, [rsp+188]
    37b7b5fdemovss x3, [rsp+184]
    37b7b5fe7movaps x2, x0
    37b7b5feamulss x2, x1
    37b7b5feemovss [r14], x2
    37b7b5ff3movss x2, [rsp+176]
    37b7b5ffcmulss x0, x2
    37b7b6000unpcklps x3, x0
    37b7b6003movlps [rsi], x3
    37b7b6006test ebp, ebp
    37b7b6008je 0x37b7b6020
    37b7b600amov ecx, [rbx]
    37b7b600cmovss [rdi+4*r15-4], x2
    37b7b6013lea ecx, [rcx+r15-1]
    37b7b6018movsxd rcx, ecx
    37b7b601bmovss [rdi+4*rcx], x1
    37b7b6020
    37b7b6020loc_37b7b6020:
    37b7b6020add r15, 1
    37b7b6024add rsi, 4
    37b7b6028add r14, 4
    37b7b602ccmp r12, r15
    37b7b602fjne 0x37b7b5fb0
    37b7b6035mov r11l, [rsp+160]
    37b7b603dmov r10l, [rsp+172]
    37b7b6045mov rsi, [rsp+320]
    37b7b604dmovsxd rax, [rbx]
    37b7b6050
    37b7b6050loc_37b7b6050:
    37b7b6050mov rdx, [rsp+328]
    37b7b6058mov [rsp+32], r13
    37b7b605dlea rcx, [4*rax-4]
    37b7b6065mov r9, [rsp+144]
    37b7b606dmov r8, [rsp+136]
    37b7b6075mov [rsp+172], r10l
    37b7b607dadd rdx, rcx
    37b7b6080add rcx, rsi
    37b7b6083mov [rsp+160], r11l
    37b7b608bcall slartg_
    37b7b6090movsxd rax, [rbx]
    37b7b6093movss x0, [rsp+184]
    37b7b609cmov rdx, [rsp+328]
    37b7b60a4movsxd r11, [rsp+160]
    37b7b60acmov rcx, rax
    37b7b60afsub rax, 1
    37b7b60b3test ebp, ebp
    37b7b60b5mov r10l, [rsp+172]
    37b7b60bdmov [rdx+4*rax], 0
    37b7b60c4movss [rsi+4*rax], x0
    37b7b60c9je 0x37b7b60ed
    37b7b60cbmovss x0, [rsp+176]
    37b7b60d4movss [rdi+4*rax], x0
    37b7b60d9lea eax, [rcx+rcx]
    37b7b60dcmovss x0, [rsp+188]
    37b7b60e5cdqe
    37b7b60e7movss [rdi+4*rax-4], x0
    37b7b60ed
    37b7b60edloc_37b7b60ed:
    37b7b60edmov rax, [rsp+296]
    37b7b60f5mov r12l, [rax]
    37b7b60f8test r12l, r12l
    37b7b60fbjg 0x37b7b6607
    37b7b6101cmp ecx, 1
    37b7b6104jle 0x37b7b61e1
    37b7b610a
    37b7b610aloc_37b7b610a:
    37b7b610amov r12, [rsp+328]
    37b7b6112mov r14, rsi
    37b7b6115mov rax, r13
    37b7b6118mov r15l, 1
    37b7b611emov [rsp+160], r10l
    37b7b6126mov r13, r14
    37b7b6129mov r14, rax
    37b7b612cmov [rsp+320], rsi
    37b7b6134mov rsi, r12
    37b7b6137mov r12l, ecx
    37b7b613anop [rax+rax]
    37b7b6140
    37b7b6140loc_37b7b6140:
    37b7b6140mov [rsp+32], r14
    37b7b6145mov r9, [rsp+144]
    37b7b614dmov rdx, rsi
    37b7b6150mov rcx, r13
    37b7b6153mov r8, [rsp+136]
    37b7b615bcall slartg_
    37b7b6160movss x0, [r13+4]
    37b7b6166movss x1, [rsp+188]
    37b7b616fmovss x3, [rsp+184]
    37b7b6178movaps x2, x0
    37b7b617bmulss x2, x1
    37b7b617fmovss [rsi], x2
    37b7b6183movss x2, [rsp+176]
    37b7b618cmulss x0, x2
    37b7b6190unpcklps x3, x0
    37b7b6193movlps [r13], x3
    37b7b6198test ebp, ebp
    37b7b619aje 0x37b7b61b2
    37b7b619cmov ecx, [rbx]
    37b7b619emovss [rdi+4*r15-4], x2
    37b7b61a5lea ecx, [rcx+r15-1]
    37b7b61aamovsxd rcx, ecx
    37b7b61admovss [rdi+4*rcx], x1
    37b7b61b2
    37b7b61b2loc_37b7b61b2:
    37b7b61b2add r15, 1
    37b7b61b6add r13, 4
    37b7b61baadd rsi, 4
    37b7b61becmp r12l, r15l
    37b7b61c1jg 0x37b7b6140
    37b7b61c7mov r10l, [rsp+160]
    37b7b61cfmov rsi, [rsp+320]
    37b7b61d7
    37b7b61d7loc_37b7b61d7:
    37b7b61d7cmp r10l, 1
    37b7b61dbje 0x37b7b6699
    37b7b61e1
    37b7b61e1loc_37b7b61e1:
    37b7b61e1mov rax, [rsp+304]
    37b7b61e9mov r11l, [rax]
    37b7b61ectest r11l, r11l
    37b7b61efjle 0x37b7b65da
    37b7b61f5movsxd rax, [rsp+180]
    37b7b61fdmov [rsp+40], rdi
    37b7b6202lea r15, [rip+0xc82a50]
    37b7b6209lea r8, [rip+0xc82a48]
    37b7b6210mov [rsp+32], rbx
    37b7b6215mov r9, [rsp+304]
    37b7b621dmov rdx, r15
    37b7b6220lea rcx, [rip+0xc82a33]
    37b7b6227mov [rsp+88], 1
    37b7b6230lea rbp, [rdi+4*rax-4]
    37b7b6235mov rax, [rsp+360]
    37b7b623dmov [rsp+80], 1
    37b7b6246mov [rsp+64], rax
    37b7b624bmov rax, [rsp+352]
    37b7b6253mov [rsp+72], 1
    37b7b625cmov [rsp+56], rax
    37b7b6261mov [rsp+48], rbp
    37b7b6266call slasr_
    37b7b626bmov rax, [rsp+312]
    37b7b6273mov r10l, [rax]
    37b7b6276test r10l, r10l
    37b7b6279jle 0x37b7b62e0
    37b7b627b
    37b7b627bloc_37b7b627b:
    37b7b627bmov rax, [rsp+376]
    37b7b6283mov r9, rbx
    37b7b6286mov [rsp+88], 1
    37b7b628flea r8, [rip+0xc829c2]
    37b7b6296mov [rsp+48], rbp
    37b7b629bmov rdx, r15
    37b7b629elea rcx, [rip+0xc829ac]
    37b7b62a5mov [rsp+64], rax
    37b7b62aamov rax, [rsp+368]
    37b7b62b2mov [rsp+80], 1
    37b7b62bbmov [rsp+56], rax
    37b7b62c0mov rax, [rsp+312]
    37b7b62c8mov [rsp+72], 1
    37b7b62d1mov [rsp+40], rdi
    37b7b62d6mov [rsp+32], rax
    37b7b62dbcall slasr_
    37b7b62e0
    37b7b62e0loc_37b7b62e0:
    37b7b62e0mov rax, [rsp+392]
    37b7b62e8mov [rsp+40], rsi
    37b7b62edmov rdx, rbx
    37b7b62f0lea rcx, [rip+0xc82959]
    37b7b62f7mov r8, [rsp+296]
    37b7b62ffmov r9, [rsp+304]
    37b7b6307mov [rsp+104], rdi
    37b7b630cmov [rsp+112], rax
    37b7b6311mov rax, [rsp+376]
    37b7b6319mov [rsp+120], 1
    37b7b6322mov [rsp+96], rax
    37b7b6327mov rax, [rsp+368]
    37b7b632fmov [rsp+88], rax
    37b7b6334mov rax, [rsp+360]
    37b7b633cmov [rsp+80], rax
    37b7b6341mov rax, [rsp+352]
    37b7b6349mov [rsp+72], rax
    37b7b634emov rax, [rsp+344]
    37b7b6356mov [rsp+64], rax
    37b7b635bmov rax, [rsp+336]
    37b7b6363mov [rsp+56], rax
    37b7b6368mov rax, [rsp+328]
    37b7b6370mov [rsp+48], rax
    37b7b6375mov rax, [rsp+312]
    37b7b637dmov [rsp+32], rax
    37b7b6382call sbdsqr_
    37b7b6387mov r8l, [rbx]
    37b7b638atest r8l, r8l
    37b7b638djle 0x37b7b5ddb
    37b7b6393movsxd r9, [rsp+152]
    37b7b639bxor eax, eax
    37b7b639dmov r15, [rsp+352]
    37b7b63a5mov [rsp+136], r8l
    37b7b63admov [rsp+288], rbx
    37b7b63b5mov r11l, r8l
    37b7b63b8mov edi, 1
    37b7b63bdmov ebx, 4
    37b7b63c2test r9, r9
    37b7b63c5mov r14, r15
    37b7b63c8mov r15, [rsp+288]
    37b7b63d0cmovs r9, rax
    37b7b63d4xor r13l, r13l
    37b7b63d7mov rax, r9
    37b7b63damov [rsp+160], r9
    37b7b63e2not rax
    37b7b63e5mov [rsp+152], rax
    37b7b63edlea rax, [4*r9]
    37b7b63f5mov [rsp+144], rax
    37b7b63fdnop [rax]
    37b7b6400
    37b7b6400loc_37b7b6400:
    37b7b6400lea ebp, [rdi+1]
    37b7b6403cmp ebp, r11l
    37b7b6406jg 0x37b7b6556
    37b7b640cmovsxd rdx, ebp
    37b7b640fmovss x2, [rsi+r13]
    37b7b6415mov rcx, rdx
    37b7b6418neg rcx
    37b7b641bmovaps x0, x2
    37b7b641elea r8, [rbx+4*rcx]
    37b7b6422mov ecx, edi
    37b7b6424add r8, rsi
    37b7b6427nop [rax]
    37b7b642anop [rax+rax]
    37b7b6435nop [rax+rax]
    37b7b6440
    37b7b6440loc_37b7b6440:
    37b7b6440movss x1, [r8+4*rdx]
    37b7b6446comiss x0, x1
    37b7b6449minss x1, x0
    37b7b644dcmova ecx, edx
    37b7b6450add rdx, 1
    37b7b6454movaps x0, x1
    37b7b6457cmp r11l, edx
    37b7b645ajge 0x37b7b6440
    37b7b645ccmp ecx, edi
    37b7b645eje 0x37b7b6556
    37b7b6464mov rax, [rsp+296]
    37b7b646cmovsxd rdi, ecx
    37b7b646flea r12, [rdi-1]
    37b7b6473mov ecx, [rax]
    37b7b6475movss [rsi+4*r12], x2
    37b7b647bmovss [rsi+r13], x1
    37b7b6481test ecx, ecx
    37b7b6483jle 0x37b7b64bf
    37b7b6485mov rax, [rsp+336]
    37b7b648dmov r8, [rsp+344]
    37b7b6495mov rcx, [rsp+296]
    37b7b649dlea rdx, [rax+4*r12]
    37b7b64a1mov rax, [rsp+344]
    37b7b64a9mov [rsp+32], rax
    37b7b64aemov rax, [rsp+336]
    37b7b64b6lea r9, [rax+r13]
    37b7b64bacall sswap_
    37b7b64bf
    37b7b64bfloc_37b7b64bf:
    37b7b64bfmov rax, [rsp+304]
    37b7b64c7mov edx, [rax]
    37b7b64c9test edx, edx
    37b7b64cbjle 0x37b7b650e
    37b7b64cdimul rdi, [rsp+160]
    37b7b64d6mov rax, [rsp+152]
    37b7b64demov r9, r14
    37b7b64e1mov rcx, [rsp+304]
    37b7b64e9lea rdx, [rax+rdi+1]
    37b7b64eemov rax, [rsp+352]
    37b7b64f6lea rdx, [rax+4*rdx]
    37b7b64falea rax, [rip+0xc8275b]
    37b7b6501mov [rsp+32], rax
    37b7b6506mov r8, rax
    37b7b6509call sswap_
    37b7b650e
    37b7b650eloc_37b7b650e:
    37b7b650emov rax, [rsp+312]
    37b7b6516mov eax, [rax]
    37b7b6518test eax, eax
    37b7b651ajle 0x37b7b6556
    37b7b651cmov rax, [rsp+368]
    37b7b6524mov r8, [rsp+376]
    37b7b652cmov rcx, [rsp+312]
    37b7b6534lea rdx, [rax+4*r12]
    37b7b6538mov rax, [rsp+376]
    37b7b6540mov [rsp+32], rax
    37b7b6545mov rax, [rsp+368]
    37b7b654dlea r9, [rax+r13]
    37b7b6551call sswap_
    37b7b6556
    37b7b6556loc_37b7b6556:
    37b7b6556cmp [rsp+136], ebp
    37b7b655djl 0x37b7b5ddb
    37b7b6563mov r11l, [r15]
    37b7b6566add rbx, 4
    37b7b656aadd r13, 4
    37b7b656emov edi, ebp
    37b7b6570add r14, [rsp+144]
    37b7b6578jmp 0x37b7b6400
    37b7b657d
    37b7b657dloc_37b7b657d:
    37b7b657dcmp edx, 2
    37b7b6580jne 0x37b7b62e0
    37b7b6586mov r10l, eax
    37b7b6589cmp r11l, 1
    37b7b658dje 0x37b7b61d7
    37b7b6593lea rax, [rsp+188]
    37b7b659bmov ecx, r11l
    37b7b659elea r13, [rsp+184]
    37b7b65a6mov [rsp+144], rax
    37b7b65aelea rax, [rsp+176]
    37b7b65b6mov [rsp+136], rax
    37b7b65bejmp 0x37b7b610a
    37b7b65c3
    37b7b65c3loc_37b7b65c3:
    37b7b65c3test r8l, r8l
    37b7b65c6jne 0x37b7b5f2f
    37b7b65ccxor ebp, ebp
    37b7b65cetest r12l, r12l
    37b7b65d1setne bpl
    37b7b65d5jmp 0x37b7b5f2f
    37b7b65da
    37b7b65daloc_37b7b65da:
    37b7b65damov rax, [rsp+312]
    37b7b65e2mov r8l, [rax]
    37b7b65e5test r8l, r8l
    37b7b65e8jle 0x37b7b62e0
    37b7b65eemovsxd rax, [rsp+180]
    37b7b65f6lea r15, [rip+0xc8265c]
    37b7b65fdlea rbp, [rdi+4*rax-4]
    37b7b6602jmp 0x37b7b627b
    37b7b6607
    37b7b6607loc_37b7b6607:
    37b7b6607mov rax, [rsp+344]
    37b7b660fmov [rsp+40], rdi
    37b7b6614lea rcx, [rip+0xc82636]
    37b7b661blea r9, [rsp+180]
    37b7b6623mov [rsp+88], 1
    37b7b662clea r8, [rip+0xc82625]
    37b7b6633lea rdx, [rip+0xc8261f]
    37b7b663amov [rsp+64], rax
    37b7b663fmov rax, [rsp+336]
    37b7b6647mov [rsp+80], 1
    37b7b6650mov [rsp+56], rax
    37b7b6655lea rax, [rdi+4*r11]
    37b7b6659mov [rsp+48], rax
    37b7b665emov rax, [rsp+296]
    37b7b6666mov [rsp+72], 1
    37b7b666fmov [rsp+32], rax
    37b7b6674mov [rsp+160], r10l
    37b7b667ccall slasr_
    37b7b6681mov ecx, [rbx]
    37b7b6683mov r10l, [rsp+160]
    37b7b668bcmp ecx, 1
    37b7b668ejg 0x37b7b610a
    37b7b6694jmp 0x37b7b61e1
    37b7b6699
    37b7b6699loc_37b7b6699:
    37b7b6699movsxd rax, [rbx]
    37b7b669cmov rdx, [rsp+328]
    37b7b66a4lea r9, [rsp+188]
    37b7b66aclea r8, [rsp+176]
    37b7b66b4lea rax, [4*rax-4]
    37b7b66bcadd rdx, rax
    37b7b66bflea rcx, [rsi+rax]
    37b7b66c3lea rax, [rsp+184]
    37b7b66cbmov [rsp+32], rax
    37b7b66d0call slartg_
    37b7b66d5movsxd rdx, [rbx]
    37b7b66d8mov rcx, [rsp+304]
    37b7b66e0movss x0, [rsp+184]
    37b7b66e9mov rax, rdx
    37b7b66ecsub rdx, 1
    37b7b66f0mov ecx, [rcx]
    37b7b66f2movss [rsi+4*rdx], x0
    37b7b66f7test ebp, ebp
    37b7b66f9je 0x37b7b671c
    37b7b66fbmovss x0, [rsp+176]
    37b7b6704add eax, eax
    37b7b6706cdqe
    37b7b6708movss [rdi+4*rdx], x0
    37b7b670dmovss x0, [rsp+188]
    37b7b6716movss [rdi+4*rax-4], x0
    37b7b671c
    37b7b671cloc_37b7b671c:
    37b7b671ctest ecx, ecx
    37b7b671ejle 0x37b7b682d
    37b7b6724mov rax, [rsp+360]
    37b7b672cmov [rsp+40], rdi
    37b7b6731lea rbp, [rsp+180]
    37b7b6739lea r15, [rip+0xc82519]
    37b7b6740mov [rsp+32], rbp
    37b7b6745mov r9, [rsp+304]
    37b7b674dmov rdx, r15
    37b7b6750lea r8, [rip+0xc82501]
    37b7b6757mov [rsp+64], rax
    37b7b675clea rcx, [rip+0xc824f7]
    37b7b6763mov rax, [rsp+352]
    37b7b676bmov [rsp+88], 1
    37b7b6774mov [rsp+56], rax
    37b7b6779movsxd rax, [rsp+180]
    37b7b6781mov [rsp+80], 1
    37b7b678amov [rsp+72], 1
    37b7b6793lea rax, [rdi+4*rax-4]
    37b7b6798mov [rsp+48], rax
    37b7b679dcall slasr_
    37b7b67a2mov rax, [rsp+312]
    37b7b67aamov r9l, [rax]
    37b7b67adtest r9l, r9l
    37b7b67b0jle 0x37b7b62e0
    37b7b67b6
    37b7b67b6loc_37b7b67b6:
    37b7b67b6mov rax, [rsp+376]
    37b7b67bemov r9, rbp
    37b7b67c1mov rdx, r15
    37b7b67c4mov [rsp+88], 1
    37b7b67cdmov [rsp+80], 1
    37b7b67d6lea r8, [rip+0xc8247b]
    37b7b67ddlea rcx, [rip+0xc8246d]
    37b7b67e4mov [rsp+64], rax
    37b7b67e9mov rax, [rsp+368]
    37b7b67f1mov [rsp+72], 1
    37b7b67famov [rsp+56], rax
    37b7b67ffmovsxd rax, [rsp+180]
    37b7b6807mov [rsp+40], rdi
    37b7b680clea rax, [rdi+4*rax-4]
    37b7b6811mov [rsp+48], rax
    37b7b6816mov rax, [rsp+312]
    37b7b681emov [rsp+32], rax
    37b7b6823call slasr_
    37b7b6828jmp 0x37b7b62e0
    37b7b682d
    37b7b682dloc_37b7b682d:
    37b7b682dmov rax, [rsp+312]
    37b7b6835mov ebp, [rax]
    37b7b6837test ebp, ebp
    37b7b6839jle 0x37b7b62e0
    37b7b683flea rbp, [rsp+180]
    37b7b6847lea r15, [rip+0xc8240b]
    37b7b684ejmp 0x37b7b67b6
    37b7b6853
    37b7b6853loc_37b7b6853:
    37b7b6853lea rcx, [rsp+188]
    37b7b685bmov eax, 1
    37b7b6860lea r13, [rsp+184]
    37b7b6868mov [rsp+144], rcx
    37b7b6870lea rcx, [rsp+176]
    37b7b6878mov [rsp+136], rcx
    37b7b6880jmp 0x37b7b6050
    37b7b6885
    37b7b6885loc_37b7b6885:
    37b7b6885mov r8l, -12
    37b7b688bmov ecx, 12
    37b7b6890jmp 0x37b7b5dae
    37b7b6895
    37b7b6895loc_37b7b6895:
    37b7b6895mov ecx, r10l
    37b7b6898neg ecx
    37b7b689ajmp 0x37b7b5db9
    37b7b5d00