File lapack_564f5cd6dd718723530ccdd421a63387e76d5fcdb30f49d1f0425db7bc512296.dll
Function:
    37bde4200
    37bde4200chfrk_64_:
    37bde4200push r15
    37bde4202push r14
    37bde4204push r13
    37bde4206push r12
    37bde4208push rbp
    37bde4209push rdi
    37bde420apush rsi
    37bde420bpush rbx
    37bde420csub rsp, 184
    37bde4213mov rax, [rsp+312]
    37bde421bmov rax, [rax]
    37bde421emov rsi, rdx
    37bde4221mov rdi, r8
    37bde4224lea rdx, [rip+0x6703e5]
    37bde422bmov rbp, r9
    37bde422emov r8l, 1
    37bde4234mov r9l, 1
    37bde423amov rbx, rcx
    37bde423dmov [rsp+128], rax
    37bde4245call lsame_64_
    37bde424amov r9l, 1
    37bde4250mov r8l, 1
    37bde4256mov rcx, rsi
    37bde4259lea rdx, [rip+0x6703b1]
    37bde4260mov r13, rax
    37bde4263call lsame_64_
    37bde4268mov r9l, 1
    37bde426emov r8l, 1
    37bde4274mov rcx, rdi
    37bde4277lea rdx, [rip+0x670392]
    37bde427emov r14, rax
    37bde4281call lsame_64_
    37bde4286mov r12, rax
    37bde4289test rax, rax
    37bde428cje 0x37bde45b0
    37bde4292mov r15, [rbp]
    37bde4296test r13, r13
    37bde4299je 0x37bde4600
    37bde429fmov rax, r15
    37bde42a2test r14, r14
    37bde42a5je 0x37bde4710
    37bde42abtest rax, rax
    37bde42aejs 0x37bde45f9
    37bde42b4
    37bde42b4loc_37bde42b4:
    37bde42b4mov rdi, [rsp+288]
    37bde42bcmov rcx, [rdi]
    37bde42bftest rcx, rcx
    37bde42c2js 0x37bde46e0
    37bde42c8mov rsi, [rsp+312]
    37bde42d0test r15, r15
    37bde42d3mov edx, 1
    37bde42d8cmovg rdx, r15
    37bde42dccmp [rsi], rdx
    37bde42dfjl 0x37bde46f0
    37bde42e5test rax, rax
    37bde42e8je 0x37bde4592
    37bde42eemov rbx, [rsp+296]
    37bde42f6pxor x2, x2
    37bde42famovss x1, [rbx]
    37bde42femov rbx, [rsp+320]
    37bde4306ucomiss x1, x2
    37bde4309movss x0, [rbx]
    37bde430djp 0x37bde4780
    37bde4313jne 0x37bde4780
    37bde4319ucomiss x0, [rip+0x6702fc]
    37bde4320jp 0x37bde4328
    37bde4322je 0x37bde4592
    37bde4328
    37bde4328loc_37bde4328:
    37bde4328pxor x2, x2
    37bde432cucomiss x0, x2
    37bde432fjp 0x37bde4337
    37bde4331je 0x37bde4d38
    37bde4337
    37bde4337loc_37bde4337:
    37bde4337mov rdi, [rsp+128]
    37bde433fxor ebx, ebx
    37bde4341mov rdx, rax
    37bde4344mov [rsp+164], 0
    37bde434fmov [rsp+172], 0
    37bde435amovss [rsp+160], x1
    37bde4363test rdi, rdi
    37bde4366movss [rsp+168], x0
    37bde436fcmovns rbx, rdi
    37bde4373sar rdx, 1
    37bde4376test al, 1
    37bde4378jne 0x37bde47a8
    37bde437emov [rsp+144], rdx
    37bde4386test r13, r13
    37bde4389je 0x37bde4990
    37bde438fadd rax, 1
    37bde4393test r14, r14
    37bde4396je 0x37bde52d0
    37bde439cmov [rsp+152], rax
    37bde43a4mov [rsp+88], 1
    37bde43admov [rsp+80], 1
    37bde43b6test r12, r12
    37bde43b9je 0x37bde5e15
    37bde43bfmov rax, [rsp+328]
    37bde43c7lea rsi, [rsp+152]
    37bde43cfmov r9, [rsp+288]
    37bde43d7lea r8, [rsp+144]
    37bde43dfmov [rsp+72], rsi
    37bde43e4lea rdx, [rip+0x670225]
    37bde43eblea rcx, [rip+0x67021f]
    37bde43f2add rax, 8
    37bde43f6mov [rsp+64], rax
    37bde43fbmov rax, [rsp+320]
    37bde4403mov [rsp+56], rax
    37bde4408mov rax, [rsp+312]
    37bde4410mov [rsp+48], rax
    37bde4415mov rax, [rsp+304]
    37bde441dmov [rsp+40], rax
    37bde4422mov rax, [rsp+296]
    37bde442amov [rsp+32], rax
    37bde442fcall cherk_64_
    37bde4434mov rax, [rbp]
    37bde4438mov rdi, [rsp+304]
    37bde4440mov [rsp+72], rsi
    37bde4445mov [rsp+88], 1
    37bde444emov r9, [rsp+288]
    37bde4456lea rdx, [rip+0x6701b3]
    37bde445dlea r8, [rsp+144]
    37bde4465add rax, 1
    37bde4469lea rcx, [rip+0x6701a3]
    37bde4470mov [rsp+80], 1
    37bde4479mov [rsp+152], rax
    37bde4481mov rax, [rsp+328]
    37bde4489mov [rsp+64], rax
    37bde448emov rax, [rsp+320]
    37bde4496mov [rsp+56], rax
    37bde449bmov rax, [rsp+312]
    37bde44a3mov [rsp+48], rax
    37bde44a8mov rax, [rsp+144]
    37bde44b0lea rax, [rdi+8*rax]
    37bde44b4mov [rsp+40], rax
    37bde44b9mov rax, [rsp+296]
    37bde44c1mov [rsp+32], rax
    37bde44c6call cherk_64_
    37bde44cbmov rax, [rbp]
    37bde44cfmov [rsp+96], rsi
    37bde44d4mov rsi, [rsp+312]
    37bde44dcmov [rsp+112], 1
    37bde44e5mov [rsp+104], 1
    37bde44eeadd rax, 1
    37bde44f2mov [rsp+72], rsi
    37bde44f7mov rsi, [rsp+304]
    37bde44ffmov [rsp+152], rax
    37bde4507mov rax, [rsp+144]
    37bde450fmov [rsp+64], rsi
    37bde4514mov rsi, [rsp+312]
    37bde451clea rdx, [8*rax+8]
    37bde4524add rdx, [rsp+328]
    37bde452cmov [rsp+56], rsi
    37bde4531mov rsi, [rsp+304]
    37bde4539mov [rsp+88], rdx
    37bde453elea rdx, [rsp+168]
    37bde4546lea rax, [rsi+8*rax]
    37bde454amov [rsp+80], rdx
    37bde454fmov [rsp+48], rax
    37bde4554
    37bde4554loc_37bde4554:
    37bde4554lea rax, [rsp+160]
    37bde455clea r9, [rsp+144]
    37bde4564mov [rsp+40], rax
    37bde4569mov rax, [rsp+288]
    37bde4571lea r8, [rsp+144]
    37bde4579lea rdx, [rip+0x670092]
    37bde4580lea rcx, [rip+0x670089]
    37bde4587mov [rsp+32], rax
    37bde458ccall cgemm_64_
    37bde4591nop
    37bde4592
    37bde4592loc_37bde4592:
    37bde4592add rsp, 184
    37bde4599pop rbx
    37bde459apop rsi
    37bde459bpop rdi
    37bde459cpop rbp
    37bde459dpop r12
    37bde459fpop r13
    37bde45a1pop r14
    37bde45a3pop r15
    37bde45a5ret
    37bde45a6
    37bde45a6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bde45b0
    37bde45b0loc_37bde45b0:
    37bde45b0mov rax, [rsp+288]
    37bde45b8mov r15, [rax]
    37bde45bbtest r13, r13
    37bde45beje 0x37bde4600
    37bde45c0lea r11, [rip+0x67004b]
    37bde45c7test r14, r14
    37bde45caje 0x37bde4740
    37bde45d0
    37bde45d0loc_37bde45d0:
    37bde45d0mov r9l, 1
    37bde45d6mov r8l, 1
    37bde45dcmov rdx, r11
    37bde45dfmov rcx, rdi
    37bde45e2call lsame_64_
    37bde45e7test rax, rax
    37bde45eaje 0x37bde4650
    37bde45ec
    37bde45ecloc_37bde45ec:
    37bde45ecmov rax, [rbp]
    37bde45f0
    37bde45f0loc_37bde45f0:
    37bde45f0test rax, rax
    37bde45f3jns 0x37bde42b4
    37bde45f9
    37bde45f9loc_37bde45f9:
    37bde45f9mov eax, 4
    37bde45fejmp 0x37bde4660
    37bde4600
    37bde4600loc_37bde4600:
    37bde4600lea r11, [rip+0x67000b]
    37bde4607mov r9l, 1
    37bde460dmov r8l, 1
    37bde4613mov rcx, rbx
    37bde4616mov rdx, r11
    37bde4619mov [rsp+136], r11
    37bde4621call lsame_64_
    37bde4626test rax, rax
    37bde4629je 0x37bde4700
    37bde462ftest r14, r14
    37bde4632mov r11, [rsp+136]
    37bde463aje 0x37bde4690
    37bde463c
    37bde463cloc_37bde463c:
    37bde463ctest r12, r12
    37bde463fje 0x37bde45d0
    37bde4641mov rax, [rbp]
    37bde4645jmp 0x37bde45f0
    37bde4647
    37bde4647 66 0f 1f 84 00 00 00 00 00 f........
    37bde4650
    37bde4650loc_37bde4650:
    37bde4650mov eax, 3
    37bde4655nop [rax+rax]
    37bde4660
    37bde4660loc_37bde4660:
    37bde4660lea rdx, [rsp+168]
    37bde4668mov r8l, 6
    37bde466elea rcx, [rip+0x66ff9f]
    37bde4675mov [rsp+168], rax
    37bde467dcall xerbla_64_
    37bde4682jmp 0x37bde4592
    37bde4687
    37bde4687 66 0f 1f 84 00 00 00 00 00 f........
    37bde4690
    37bde4690loc_37bde4690:
    37bde4690mov r9l, 1
    37bde4696mov r8l, 1
    37bde469cmov rcx, rsi
    37bde469fmov [rsp+136], r11
    37bde46a7lea rdx, [rip+0x66ff65]
    37bde46aecall lsame_64_
    37bde46b3mov r11, [rsp+136]
    37bde46bbtest rax, rax
    37bde46bejne 0x37bde463c
    37bde46c4nop
    37bde46c5nop [rax+rax]
    37bde46d0
    37bde46d0loc_37bde46d0:
    37bde46d0mov eax, 2
    37bde46d5jmp 0x37bde4660
    37bde46d7
    37bde46d7 66 0f 1f 84 00 00 00 00 00 f........
    37bde46e0
    37bde46e0loc_37bde46e0:
    37bde46e0mov eax, 5
    37bde46e5jmp 0x37bde4660
    37bde46ea
    37bde46ea 66 0f 1f 44 00 00 f..D..
    37bde46f0
    37bde46f0loc_37bde46f0:
    37bde46f0mov eax, 8
    37bde46f5jmp 0x37bde4660
    37bde46fa
    37bde46fa 66 0f 1f 44 00 00 f..D..
    37bde4700
    37bde4700loc_37bde4700:
    37bde4700mov eax, 1
    37bde4705jmp 0x37bde4660
    37bde470a
    37bde470a 66 0f 1f 44 00 00 f..D..
    37bde4710
    37bde4710loc_37bde4710:
    37bde4710mov r9l, 1
    37bde4716mov r8l, 1
    37bde471clea rdx, [rip+0x66fef0]
    37bde4723mov rcx, rsi
    37bde4726call lsame_64_
    37bde472btest rax, rax
    37bde472ejne 0x37bde45ec
    37bde4734jmp 0x37bde46d0
    37bde4736
    37bde4736 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bde4740
    37bde4740loc_37bde4740:
    37bde4740mov r9l, 1
    37bde4746mov r8l, 1
    37bde474cmov rcx, rsi
    37bde474fmov [rsp+136], r11
    37bde4757lea rdx, [rip+0x66feb5]
    37bde475ecall lsame_64_
    37bde4763mov r11, [rsp+136]
    37bde476btest rax, rax
    37bde476eje 0x37bde46d0
    37bde4774jmp 0x37bde45d0
    37bde4779
    37bde4779 0f 1f 80 00 00 00 00 .......
    37bde4780
    37bde4780loc_37bde4780:
    37bde4780test rcx, rcx
    37bde4783jne 0x37bde4337
    37bde4789ucomiss x0, [rip+0x66fe8c]
    37bde4790jp 0x37bde4337
    37bde4796jne 0x37bde4337
    37bde479cjmp 0x37bde4592
    37bde47a1
    37bde47a1 0f 1f 80 00 00 00 00 .......
    37bde47a8
    37bde47a8loc_37bde47a8:
    37bde47a8sub rax, rdx
    37bde47abmov rsi, rax
    37bde47aetest r14, r14
    37bde47b1je 0x37bde4b58
    37bde47b7mov [rsp+152], rdx
    37bde47bfmov [rsp+144], rax
    37bde47c7test r13, r13
    37bde47caje 0x37bde4db0
    37bde47d0mov rax, [rsp+328]
    37bde47d8mov [rsp+72], rbp
    37bde47ddlea r8, [rsp+144]
    37bde47e5mov [rsp+88], 1
    37bde47eemov r9, [rsp+288]
    37bde47f6mov [rsp+64], rax
    37bde47fbmov rax, [rsp+320]
    37bde4803mov [rsp+80], 1
    37bde480cmov [rsp+56], rax
    37bde4811mov rax, [rsp+312]
    37bde4819mov [rsp+48], rax
    37bde481emov rax, [rsp+304]
    37bde4826mov [rsp+40], rax
    37bde482bmov rax, [rsp+296]
    37bde4833mov [rsp+32], rax
    37bde4838test r12, r12
    37bde483bje 0x37bde5481
    37bde4841lea rdx, [rip+0x66fdc8]
    37bde4848lea rcx, [rip+0x66fdc2]
    37bde484fcall cherk_64_
    37bde4854mov rax, [rsp+144]
    37bde485cmov rcx, [rsp+328]
    37bde4864mov [rsp+88], 1
    37bde486dmov [rsp+80], 1
    37bde4876mov r12, [rsp+304]
    37bde487elea r8, [rsp+152]
    37bde4886lea rdx, [rip+0x66fd83]
    37bde488dmov [rsp+72], rbp
    37bde4892lea rbx, [8*rax]
    37bde489amov rax, [rbp]
    37bde489eadd r12, rbx
    37bde48a1mov r9, [rsp+288]
    37bde48a9lea rax, [rcx+8*rax]
    37bde48admov [rsp+40], r12
    37bde48b2lea rcx, [rip+0x66fd5a]
    37bde48b9mov [rsp+64], rax
    37bde48bemov rax, [rsp+320]
    37bde48c6mov [rsp+56], rax
    37bde48cbmov rax, [rsp+312]
    37bde48d3mov [rsp+48], rax
    37bde48d8mov rax, [rsp+296]
    37bde48e0mov [rsp+32], rax
    37bde48e5call cherk_64_
    37bde48ealea rax, [rsp+168]
    37bde48f2mov [rsp+96], rbp
    37bde48f7add rbx, [rsp+328]
    37bde48ffmov [rsp+80], rax
    37bde4904mov rax, [rsp+312]
    37bde490clea r9, [rsp+144]
    37bde4914lea r8, [rsp+152]
    37bde491cmov [rsp+112], 1
    37bde4925lea rdx, [rip+0x66fce6]
    37bde492clea rcx, [rip+0x66fcdd]
    37bde4933mov [rsp+72], rax
    37bde4938mov rax, [rsp+304]
    37bde4940mov [rsp+104], 1
    37bde4949mov [rsp+64], rax
    37bde494emov rax, [rsp+312]
    37bde4956mov [rsp+88], rbx
    37bde495bmov [rsp+56], rax
    37bde4960lea rax, [rsp+160]
    37bde4968mov [rsp+40], rax
    37bde496dmov rax, [rsp+288]
    37bde4975mov [rsp+48], r12
    37bde497amov [rsp+32], rax
    37bde497fcall cgemm_64_
    37bde4984jmp 0x37bde4592
    37bde4989
    37bde4989 0f 1f 80 00 00 00 00 .......
    37bde4990
    37bde4990loc_37bde4990:
    37bde4990test r14, r14
    37bde4993je 0x37bde5138
    37bde4999mov rax, [rsp+328]
    37bde49a1lea rax, [rax+8*rdx]
    37bde49a5test r12, r12
    37bde49a8je 0x37bde5ac9
    37bde49aemov [rsp+64], rax
    37bde49b3lea rdx, [rip+0x66fc56]
    37bde49bamov rax, [rsp+320]
    37bde49c2lea rbx, [rsp+144]
    37bde49camov [rsp+72], rbx
    37bde49cfmov r9, [rsp+288]
    37bde49d7mov r8, rbx
    37bde49dalea rcx, [rip+0x66fc32]
    37bde49e1mov [rsp+56], rax
    37bde49e6mov rax, [rsp+312]
    37bde49eemov [rsp+88], 1
    37bde49f7mov [rsp+48], rax
    37bde49fcmov rax, [rsp+304]
    37bde4a04mov [rsp+80], 1
    37bde4a0dmov [rsp+40], rax
    37bde4a12mov rax, [rsp+296]
    37bde4a1amov [rsp+32], rax
    37bde4a1fcall cherk_64_
    37bde4a24mov rax, [rsp+328]
    37bde4a2cmov r8, rbx
    37bde4a2fmov rsi, [rsp+304]
    37bde4a37mov [rsp+88], 1
    37bde4a40mov r9, [rsp+288]
    37bde4a48lea rdx, [rip+0x66fbc1]
    37bde4a4flea rcx, [rip+0x66fbbb]
    37bde4a56mov [rsp+64], rax
    37bde4a5bmov rax, [rsp+320]
    37bde4a63mov [rsp+80], 1
    37bde4a6cmov [rsp+56], rax
    37bde4a71mov rax, [rsp+312]
    37bde4a79mov [rsp+72], rbx
    37bde4a7emov [rsp+48], rax
    37bde4a83mov rax, [rsp+144]
    37bde4a8blea rax, [rsi+8*rax]
    37bde4a8fmov [rsp+40], rax
    37bde4a94mov rax, [rsp+296]
    37bde4a9cmov [rsp+32], rax
    37bde4aa1call cherk_64_
    37bde4aa6mov rax, [rsp+144]
    37bde4aaemov [rsp+96], rbx
    37bde4ab3mov rsi, [rsp+328]
    37bde4abbmov [rsp+112], 1
    37bde4ac4mov [rsp+104], 1
    37bde4acdlea rdx, [rax+1]
    37bde4ad1imul rdx, rax
    37bde4ad5lea rdx, [rsi+8*rdx]
    37bde4ad9mov rsi, [rsp+312]
    37bde4ae1mov [rsp+88], rdx
    37bde4ae6lea rdx, [rsp+168]
    37bde4aeemov [rsp+72], rsi
    37bde4af3mov rsi, [rsp+304]
    37bde4afbmov [rsp+80], rdx
    37bde4b00lea rax, [rsi+8*rax]
    37bde4b04mov [rsp+48], rsi
    37bde4b09mov [rsp+64], rax
    37bde4b0emov rax, [rsp+312]
    37bde4b16mov [rsp+56], rax
    37bde4b1b
    37bde4b1bloc_37bde4b1b:
    37bde4b1blea rax, [rsp+160]
    37bde4b23mov r9, rbx
    37bde4b26mov r8, rbx
    37bde4b29mov [rsp+40], rax
    37bde4b2emov rax, [rsp+288]
    37bde4b36lea rdx, [rip+0x66fad5]
    37bde4b3dlea rcx, [rip+0x66facc]
    37bde4b44mov [rsp+32], rax
    37bde4b49call cgemm_64_
    37bde4b4ejmp 0x37bde4592
    37bde4b53
    37bde4b53 0f 1f 44 00 00 ..D..
    37bde4b58
    37bde4b58loc_37bde4b58:
    37bde4b58mov [rsp+144], rdx
    37bde4b60mov [rsp+152], rax
    37bde4b68test r13, r13
    37bde4b6bje 0x37bde4f78
    37bde4b71mov rax, [rsp+328]
    37bde4b79mov [rsp+72], rbp
    37bde4b7elea r8, [rsp+144]
    37bde4b86mov [rsp+88], 1
    37bde4b8fmov r9, [rsp+288]
    37bde4b97mov [rsp+80], 1
    37bde4ba0lea rax, [rax+8*rsi]
    37bde4ba4mov [rsp+64], rax
    37bde4ba9mov rax, [rsp+320]
    37bde4bb1mov [rsp+56], rax
    37bde4bb6mov rax, [rsp+312]
    37bde4bbemov [rsp+48], rax
    37bde4bc3mov rax, [rsp+304]
    37bde4bcbmov [rsp+40], rax
    37bde4bd0mov rax, [rsp+296]
    37bde4bd8mov [rsp+32], rax
    37bde4bddtest r12, r12
    37bde4be0je 0x37bde57a7
    37bde4be6lea rdx, [rip+0x66fa23]
    37bde4bedlea rcx, [rip+0x66fa1d]
    37bde4bf4call cherk_64_
    37bde4bf9mov rcx, [rsp+328]
    37bde4c01mov rax, [rsp+144]
    37bde4c09mov [rsp+88], 1
    37bde4c12mov [rsp+80], 1
    37bde4c1bmov r9, [rsp+288]
    37bde4c23lea r8, [rsp+152]
    37bde4c2blea rdx, [rip+0x66f9de]
    37bde4c32lea rax, [rcx+8*rax]
    37bde4c36mov [rsp+72], rbp
    37bde4c3blea rcx, [rip+0x66f9d1]
    37bde4c42mov [rsp+64], rax
    37bde4c47mov rax, [rsp+320]
    37bde4c4fmov [rsp+56], rax
    37bde4c54mov rax, [rsp+312]
    37bde4c5cmov [rsp+48], rax
    37bde4c61mov rax, [rsp+304]
    37bde4c69lea rax, [rax+8*rsi-8]
    37bde4c6emov [rsp+40], rax
    37bde4c73mov rax, [rsp+296]
    37bde4c7bmov [rsp+32], rax
    37bde4c80call cherk_64_
    37bde4c85mov rax, [rsp+328]
    37bde4c8dmov rsi, [rsp+304]
    37bde4c95mov [rsp+112], 1
    37bde4c9emov [rsp+104], 1
    37bde4ca7lea r9, [rsp+152]
    37bde4caflea r8, [rsp+144]
    37bde4cb7mov [rsp+88], rax
    37bde4cbclea rax, [rsp+168]
    37bde4cc4lea rdx, [rip+0x66f947]
    37bde4ccbmov [rsp+80], rax
    37bde4cd0mov rax, [rsp+312]
    37bde4cd8lea rcx, [rip+0x66f931]
    37bde4cdfmov [rsp+96], rbp
    37bde4ce4mov [rsp+72], rax
    37bde4ce9mov rax, [rsp+152]
    37bde4cf1mov [rsp+48], rsi
    37bde4cf6lea rax, [rsi+8*rax-8]
    37bde4cfbmov [rsp+64], rax
    37bde4d00mov rax, [rsp+312]
    37bde4d08mov [rsp+56], rax
    37bde4d0dlea rax, [rsp+160]
    37bde4d15mov [rsp+40], rax
    37bde4d1amov rax, [rsp+288]
    37bde4d22mov [rsp+32], rax
    37bde4d27call cgemm_64_
    37bde4d2cjmp 0x37bde4592
    37bde4d31
    37bde4d31 0f 1f 80 00 00 00 00 .......
    37bde4d38
    37bde4d38loc_37bde4d38:
    37bde4d38lea rdx, [rax+1]
    37bde4d3cimul rdx, rax
    37bde4d40mov eax, 1
    37bde4d45sar rdx, 1
    37bde4d48lea rcx, [rdx+1]
    37bde4d4cand edx, 1
    37bde4d4fje 0x37bde4d80
    37bde4d51mov rax, [rsp+328]
    37bde4d59mov [rax], 0
    37bde4d60mov eax, 2
    37bde4d65cmp rcx, 2
    37bde4d69je 0x37bde4592
    37bde4d6fnop [rax+rax]
    37bde4d75nop [rax+rax]
    37bde4d80
    37bde4d80loc_37bde4d80:
    37bde4d80mov rsi, [rsp+328]
    37bde4d88mov [rsi+8*rax-8], 0
    37bde4d91mov [rsi+8*rax], 0
    37bde4d99add rax, 2
    37bde4d9dcmp rcx, rax
    37bde4da0jne 0x37bde4d80
    37bde4da2jmp 0x37bde4592
    37bde4da7
    37bde4da7 66 0f 1f 84 00 00 00 00 00 f........
    37bde4db0
    37bde4db0loc_37bde4db0:
    37bde4db0test r12, r12
    37bde4db3je 0x37bde5901
    37bde4db9mov rax, [rsp+328]
    37bde4dc1lea rdx, [rip+0x66f848]
    37bde4dc8lea rbx, [rsp+144]
    37bde4dd0mov [rsp+88], 1
    37bde4dd9mov [rsp+72], rbx
    37bde4ddemov r9, [rsp+288]
    37bde4de6mov r8, rbx
    37bde4de9lea rcx, [rip+0x66f823]
    37bde4df0mov [rsp+64], rax
    37bde4df5mov rax, [rsp+320]
    37bde4dfdmov [rsp+80], 1
    37bde4e06mov [rsp+56], rax
    37bde4e0bmov rax, [rsp+312]
    37bde4e13mov [rsp+48], rax
    37bde4e18mov rax, [rsp+304]
    37bde4e20mov [rsp+40], rax
    37bde4e25mov rax, [rsp+296]
    37bde4e2dmov [rsp+32], rax
    37bde4e32call cherk_64_
    37bde4e37mov rax, [rsp+328]
    37bde4e3fmov rdi, [rsp+304]
    37bde4e47mov [rsp+88], 1
    37bde4e50mov [rsp+80], 1
    37bde4e59mov r9, [rsp+288]
    37bde4e61lea r8, [rsp+152]
    37bde4e69lea rdx, [rip+0x66f7a0]
    37bde4e70add rax, 8
    37bde4e74mov [rsp+72], rbx
    37bde4e79lea rcx, [rip+0x66f791]
    37bde4e80mov [rsp+64], rax
    37bde4e85mov rax, [rsp+320]
    37bde4e8dmov [rsp+56], rax
    37bde4e92mov rax, [rsp+312]
    37bde4e9amov [rsp+48], rax
    37bde4e9fmov rax, [rsp+144]
    37bde4ea7lea rax, [rdi+8*rax]
    37bde4eabmov [rsp+40], rax
    37bde4eb0mov rax, [rsp+296]
    37bde4eb8mov [rsp+32], rax
    37bde4ebdcall cherk_64_
    37bde4ec2mov rax, [rsp+144]
    37bde4ecamov r8, rbx
    37bde4ecdmov rdi, [rsp+328]
    37bde4ed5mov [rsp+112], 1
    37bde4edelea r9, [rsp+152]
    37bde4ee6lea rcx, [rip+0x66f723]
    37bde4eedmov rdx, rax
    37bde4ef0mov [rsp+96], rbx
    37bde4ef5mov [rsp+104], 1
    37bde4efeimul rdx, rax
    37bde4f02lea rdx, [rdi+8*rdx]
    37bde4f06mov rdi, [rsp+312]
    37bde4f0emov [rsp+88], rdx
    37bde4f13lea rdx, [rsp+168]
    37bde4f1bmov [rsp+72], rdi
    37bde4f20mov rdi, [rsp+304]
    37bde4f28mov [rsp+80], rdx
    37bde4f2dlea rdx, [rip+0x66f6de]
    37bde4f34lea rax, [rdi+8*rax]
    37bde4f38mov [rsp+48], rdi
    37bde4f3dmov [rsp+64], rax
    37bde4f42mov rax, [rsp+312]
    37bde4f4amov [rsp+56], rax
    37bde4f4flea rax, [rsp+160]
    37bde4f57mov [rsp+40], rax
    37bde4f5cmov rax, [rsp+288]
    37bde4f64mov [rsp+32], rax
    37bde4f69call cgemm_64_
    37bde4f6ejmp 0x37bde4592
    37bde4f73
    37bde4f73 0f 1f 44 00 00 ..D..
    37bde4f78
    37bde4f78loc_37bde4f78:
    37bde4f78imul rax, rax
    37bde4f7cmov rsi, [rsp+328]
    37bde4f84mov [rsp+88], 1
    37bde4f8dmov [rsp+80], 1
    37bde4f96lea rax, [rsi+8*rax]
    37bde4f9atest r12, r12
    37bde4f9dje 0x37bde5c78
    37bde4fa3mov [rsp+64], rax
    37bde4fa8mov rax, [rsp+320]
    37bde4fb0lea rbx, [rsp+152]
    37bde4fb8lea r8, [rsp+144]
    37bde4fc0mov [rsp+72], rbx
    37bde4fc5mov r9, [rsp+288]
    37bde4fcdlea rdx, [rip+0x66f63c]
    37bde4fd4lea rcx, [rip+0x66f638]
    37bde4fdbmov [rsp+56], rax
    37bde4fe0mov rax, [rsp+312]
    37bde4fe8mov [rsp+48], rax
    37bde4fedmov rax, [rsp+304]
    37bde4ff5mov [rsp+40], rax
    37bde4ffamov rax, [rsp+296]
    37bde5002mov [rsp+32], rax
    37bde5007call cherk_64_
    37bde500cmov rax, [rsp+144]
    37bde5014mov [rsp+72], rbx
    37bde5019mov r8, rbx
    37bde501cmov rdi, [rsp+304]
    37bde5024lea rdx, [rip+0x66f5e5]
    37bde502bmov rcx, [rsp+328]
    37bde5033mov [rsp+88], 1
    37bde503cmov [rsp+80], 1
    37bde5045mov r9, [rsp+288]
    37bde504dlea rdi, [rdi+8*rax]
    37bde5051imul rax, [rsp+152]
    37bde505amov [rsp+40], rdi
    37bde505flea rax, [rcx+8*rax]
    37bde5063lea rcx, [rip+0x66f5a7]
    37bde506amov [rsp+64], rax
    37bde506fmov rax, [rsp+320]
    37bde5077mov [rsp+56], rax
    37bde507cmov rax, [rsp+312]
    37bde5084mov [rsp+48], rax
    37bde5089mov rax, [rsp+296]
    37bde5091mov [rsp+32], rax
    37bde5096call cherk_64_
    37bde509bmov rax, [rsp+328]
    37bde50a3mov r8, rbx
    37bde50a6mov [rsp+112], 1
    37bde50afmov [rsp+104], 1
    37bde50b8lea r9, [rsp+144]
    37bde50c0lea rdx, [rip+0x66f54b]
    37bde50c7mov [rsp+88], rax
    37bde50cclea rax, [rsp+168]
    37bde50d4lea rcx, [rip+0x66f535]
    37bde50dbmov [rsp+80], rax
    37bde50e0mov rax, [rsp+312]
    37bde50e8mov [rsp+96], rbx
    37bde50edmov [rsp+72], rax
    37bde50f2mov rax, [rsp+304]
    37bde50famov [rsp+48], rdi
    37bde50ffmov [rsp+64], rax
    37bde5104mov rax, [rsp+312]
    37bde510cmov [rsp+56], rax
    37bde5111lea rax, [rsp+160]
    37bde5119mov [rsp+40], rax
    37bde511emov rax, [rsp+288]
    37bde5126mov [rsp+32], rax
    37bde512bcall cgemm_64_
    37bde5130jmp 0x37bde4592
    37bde5135
    37bde5135 0f 1f 00 ...
    37bde5138
    37bde5138loc_37bde5138:
    37bde5138lea rax, [rdx+1]
    37bde513cmov rsi, [rsp+328]
    37bde5144imul rax, rdx
    37bde5148lea rax, [rsi+8*rax]
    37bde514ctest r12, r12
    37bde514fje 0x37bde5fc1
    37bde5155mov [rsp+64], rax
    37bde515alea rdx, [rip+0x66f4af]
    37bde5161mov rax, [rsp+320]
    37bde5169lea rbx, [rsp+144]
    37bde5171mov [rsp+72], rbx
    37bde5176mov r9, [rsp+288]
    37bde517emov r8, rbx
    37bde5181lea rcx, [rip+0x66f48b]
    37bde5188mov [rsp+56], rax
    37bde518dmov rax, [rsp+312]
    37bde5195mov [rsp+88], 1
    37bde519emov [rsp+48], rax
    37bde51a3mov rax, [rsp+304]
    37bde51abmov [rsp+80], 1
    37bde51b4mov [rsp+40], rax
    37bde51b9mov rax, [rsp+296]
    37bde51c1mov [rsp+32], rax
    37bde51c6call cherk_64_
    37bde51cbmov rax, [rsp+144]
    37bde51d3mov r8, rbx
    37bde51d6mov rsi, [rsp+328]
    37bde51demov [rsp+88], 1
    37bde51e7mov r9, [rsp+288]
    37bde51eflea rcx, [rip+0x66f41b]
    37bde51f6mov rdx, rax
    37bde51f9mov [rsp+72], rbx
    37bde51femov [rsp+80], 1
    37bde5207imul rdx, rax
    37bde520blea rdx, [rsi+8*rdx]
    37bde520fmov rsi, [rsp+320]
    37bde5217mov [rsp+64], rdx
    37bde521clea rdx, [rip+0x66f3ed]
    37bde5223mov [rsp+56], rsi
    37bde5228mov rsi, [rsp+312]
    37bde5230mov [rsp+48], rsi
    37bde5235mov rsi, [rsp+304]
    37bde523dlea rax, [rsi+8*rax]
    37bde5241mov [rsp+40], rax
    37bde5246mov rax, [rsp+296]
    37bde524emov [rsp+32], rax
    37bde5253call cherk_64_
    37bde5258mov rax, [rsp+328]
    37bde5260mov [rsp+96], rbx
    37bde5265mov rsi, [rsp+304]
    37bde526dmov [rsp+112], 1
    37bde5276mov [rsp+88], rax
    37bde527blea rax, [rsp+168]
    37bde5283mov [rsp+80], rax
    37bde5288mov rax, [rsp+312]
    37bde5290mov [rsp+104], 1
    37bde5299mov [rsp+72], rax
    37bde529emov rax, [rsp+304]
    37bde52a6mov [rsp+64], rax
    37bde52abmov rax, [rsp+312]
    37bde52b3mov [rsp+56], rax
    37bde52b8mov rax, [rsp+144]
    37bde52c0lea rax, [rsi+8*rax]
    37bde52c4mov [rsp+48], rax
    37bde52c9jmp 0x37bde4b1b
    37bde52ce
    37bde52ce 66 90 f.
    37bde52d0
    37bde52d0loc_37bde52d0:
    37bde52d0mov rsi, [rsp+328]
    37bde52d8mov [rsp+152], rax
    37bde52e0mov [rsp+88], 1
    37bde52e9mov [rsp+80], 1
    37bde52f2lea rdx, [rsi+8*rdx+8]
    37bde52f7test r12, r12
    37bde52faje 0x37bde55d2
    37bde5300mov rax, [rsp+320]
    37bde5308lea rsi, [rsp+152]
    37bde5310mov [rsp+64], rdx
    37bde5315lea r8, [rsp+144]
    37bde531dmov [rsp+72], rsi
    37bde5322mov r9, [rsp+288]
    37bde532alea rdx, [rip+0x66f2df]
    37bde5331lea rcx, [rip+0x66f2d9]
    37bde5338mov [rsp+56], rax
    37bde533dmov rax, [rsp+312]
    37bde5345mov [rsp+48], rax
    37bde534amov rax, [rsp+304]
    37bde5352mov [rsp+40], rax
    37bde5357mov rax, [rsp+296]
    37bde535fmov [rsp+32], rax
    37bde5364call cherk_64_
    37bde5369mov rax, [rbp]
    37bde536dmov rdx, [rsp+328]
    37bde5375mov [rsp+72], rsi
    37bde537amov rdi, [rsp+320]
    37bde5382mov r9, [rsp+288]
    37bde538amov [rsp+88], 1
    37bde5393lea r8, [rsp+144]
    37bde539badd rax, 1
    37bde539flea rcx, [rip+0x66f26d]
    37bde53a6mov [rsp+80], 1
    37bde53afmov [rsp+152], rax
    37bde53b7mov rax, [rsp+144]
    37bde53bfmov [rsp+56], rdi
    37bde53c4mov rdi, [rsp+312]
    37bde53ccshl rax, 3
    37bde53d0add rdx, rax
    37bde53d3add rax, [rsp+304]
    37bde53dbmov [rsp+48], rdi
    37bde53e0mov [rsp+40], rax
    37bde53e5mov rax, [rsp+296]
    37bde53edmov [rsp+64], rdx
    37bde53f2lea rdx, [rip+0x66f217]
    37bde53f9mov [rsp+32], rax
    37bde53fecall cherk_64_
    37bde5403mov rax, [rbp]
    37bde5407mov [rsp+96], rsi
    37bde540cmov rsi, [rsp+304]
    37bde5414mov [rsp+112], 1
    37bde541dmov [rsp+104], 1
    37bde5426add rax, 1
    37bde542amov [rsp+152], rax
    37bde5432mov rax, [rsp+328]
    37bde543amov [rsp+48], rsi
    37bde543fmov [rsp+88], rax
    37bde5444lea rax, [rsp+168]
    37bde544cmov [rsp+80], rax
    37bde5451mov rax, [rsp+312]
    37bde5459mov [rsp+72], rax
    37bde545emov rax, [rsp+144]
    37bde5466lea rax, [rsi+8*rax]
    37bde546amov [rsp+64], rax
    37bde546fmov rax, [rsp+312]
    37bde5477mov [rsp+56], rax
    37bde547cjmp 0x37bde4554
    37bde5481
    37bde5481loc_37bde5481:
    37bde5481lea rdx, [rip+0x66f18a]
    37bde5488lea rcx, [rip+0x66f182]
    37bde548fcall cherk_64_
    37bde5494mov r12, [rsp+144]
    37bde549cmov rcx, [rsp+328]
    37bde54a4mov [rsp+88], 1
    37bde54admov [rsp+80], 1
    37bde54b6mov r9, [rsp+288]
    37bde54belea r8, [rsp+152]
    37bde54c6lea rdx, [rip+0x66f145]
    37bde54cdlea rax, [r12+1]
    37bde54d2mov [rsp+72], rbp
    37bde54d7imul rax, rbx
    37bde54dbsub rax, rbx
    37bde54demov rbx, [rsp+304]
    37bde54e6lea rdi, [rbx+8*rax]
    37bde54eamov rax, [rbp]
    37bde54eemov [rsp+40], rdi
    37bde54f3lea rax, [rcx+8*rax]
    37bde54f7lea rcx, [rip+0x66f115]
    37bde54femov [rsp+64], rax
    37bde5503mov rax, [rsp+320]
    37bde550bmov [rsp+56], rax
    37bde5510mov rax, [rsp+312]
    37bde5518mov [rsp+48], rax
    37bde551dmov rax, [rsp+296]
    37bde5525mov [rsp+32], rax
    37bde552acall cherk_64_
    37bde552fmov rax, [rsp+328]
    37bde5537mov [rsp+112], 1
    37bde5540lea r9, [rsp+144]
    37bde5548mov [rsp+104], 1
    37bde5551lea r8, [rsp+152]
    37bde5559lea rdx, [rip+0x66f0b0]
    37bde5560lea rax, [rax+8*r12]
    37bde5564mov [rsp+96], rbp
    37bde5569lea rcx, [rip+0x66f0a2]
    37bde5570mov [rsp+88], rax
    37bde5575lea rax, [rsp+168]
    37bde557dmov [rsp+80], rax
    37bde5582mov rax, [rsp+312]
    37bde558amov [rsp+48], rdi
    37bde558fmov [rsp+72], rax
    37bde5594mov rax, [rsp+304]
    37bde559cmov [rsp+64], rax
    37bde55a1mov rax, [rsp+312]
    37bde55a9mov [rsp+56], rax
    37bde55aelea rax, [rsp+160]
    37bde55b6mov [rsp+40], rax
    37bde55bbmov rax, [rsp+288]
    37bde55c3mov [rsp+32], rax
    37bde55c8call cgemm_64_
    37bde55cdjmp 0x37bde4592
    37bde55d2
    37bde55d2loc_37bde55d2:
    37bde55d2mov rax, [rsp+320]
    37bde55dalea rdi, [rsp+152]
    37bde55e2mov [rsp+64], rdx
    37bde55e7lea r8, [rsp+144]
    37bde55efmov [rsp+72], rdi
    37bde55f4mov r9, [rsp+288]
    37bde55fclea rdx, [rip+0x66f00f]
    37bde5603lea rcx, [rip+0x66f007]
    37bde560amov [rsp+56], rax
    37bde560fmov rax, [rsp+312]
    37bde5617mov [rsp+48], rax
    37bde561cmov rax, [rsp+304]
    37bde5624mov [rsp+40], rax
    37bde5629mov rax, [rsp+296]
    37bde5631mov [rsp+32], rax
    37bde5636call cherk_64_
    37bde563bmov rax, [rbp]
    37bde563fmov rcx, [rsp+328]
    37bde5647mov [rsp+88], 1
    37bde5650mov [rsp+72], rdi
    37bde5655mov r9, [rsp+288]
    37bde565dlea r8, [rsp+144]
    37bde5665mov [rsp+80], 1
    37bde566eadd rax, 1
    37bde5672mov [rsp+152], rax
    37bde567amov rax, [rsp+144]
    37bde5682lea rdx, [rcx+8*rax]
    37bde5686mov rcx, [rsp+320]
    37bde568eadd rax, 1
    37bde5692imul rax, rbx
    37bde5696mov [rsp+64], rdx
    37bde569blea rdx, [rip+0x66ef70]
    37bde56a2mov [rsp+56], rcx
    37bde56a7mov rcx, [rsp+312]
    37bde56afmov [rsp+48], rcx
    37bde56b4mov rcx, [rsp+304]
    37bde56bcsub rax, rbx
    37bde56bflea rax, [rcx+8*rax]
    37bde56c3lea rcx, [rip+0x66ef49]
    37bde56camov [rsp+40], rax
    37bde56cfmov rax, [rsp+296]
    37bde56d7mov [rsp+32], rax
    37bde56dccall cherk_64_
    37bde56e1mov rax, [rbp]
    37bde56e5mov [rsp+96], rdi
    37bde56eamov [rsp+112], 1
    37bde56f3mov [rsp+104], 1
    37bde56fcadd rax, 1
    37bde5700mov [rsp+152], rax
    37bde5708mov rax, [rsp+328]
    37bde5710mov [rsp+88], rax
    37bde5715lea rax, [rsp+168]
    37bde571dmov [rsp+80], rax
    37bde5722mov rax, [rsp+312]
    37bde572amov [rsp+72], rax
    37bde572fmov rax, [rsp+144]
    37bde5737add rax, 1
    37bde573bimul rax, rbx
    37bde573fsub rax, rbx
    37bde5742mov rbx, [rsp+304]
    37bde574alea rax, [rbx+8*rax]
    37bde574emov [rsp+48], rbx
    37bde5753mov [rsp+64], rax
    37bde5758mov rax, [rsp+312]
    37bde5760mov [rsp+56], rax
    37bde5765
    37bde5765loc_37bde5765:
    37bde5765lea rax, [rsp+160]
    37bde576dlea r9, [rsp+144]
    37bde5775mov [rsp+40], rax
    37bde577amov rax, [rsp+288]
    37bde5782lea r8, [rsp+144]
    37bde578alea rdx, [rip+0x66ee7f]
    37bde5791lea rcx, [rip+0x66ee7a]
    37bde5798mov [rsp+32], rax
    37bde579dcall cgemm_64_
    37bde57a2jmp 0x37bde4592
    37bde57a7
    37bde57a7loc_37bde57a7:
    37bde57a7lea rdx, [rip+0x66ee64]
    37bde57aelea rcx, [rip+0x66ee5c]
    37bde57b5call cherk_64_
    37bde57bamov rcx, [rsp+328]
    37bde57c2mov rax, [rsp+144]
    37bde57camov [rsp+88], 1
    37bde57d3mov [rsp+80], 1
    37bde57dcmov r9, [rsp+288]
    37bde57e4lea r8, [rsp+152]
    37bde57eclea rdx, [rip+0x66ee1f]
    37bde57f3lea rax, [rcx+8*rax]
    37bde57f7mov [rsp+72], rbp
    37bde57fclea rcx, [rip+0x66ee10]
    37bde5803mov [rsp+64], rax
    37bde5808mov rax, [rsp+320]
    37bde5810mov [rsp+56], rax
    37bde5815mov rax, [rsp+312]
    37bde581dmov [rsp+48], rax
    37bde5822mov rax, rsi
    37bde5825mov rsi, [rsp+304]
    37bde582dimul rax, rbx
    37bde5831sub rax, rbx
    37bde5834lea rax, [rsi+8*rax]
    37bde5838mov [rsp+40], rax
    37bde583dmov rax, [rsp+296]
    37bde5845mov [rsp+32], rax
    37bde584acall cherk_64_
    37bde584fmov rax, [rsp+328]
    37bde5857mov [rsp+112], 1
    37bde5860lea r9, [rsp+152]
    37bde5868mov [rsp+104], 1
    37bde5871lea r8, [rsp+144]
    37bde5879lea rdx, [rip+0x66ed90]
    37bde5880mov [rsp+88], rax
    37bde5885lea rax, [rsp+168]
    37bde588dlea rcx, [rip+0x66ed7e]
    37bde5894mov [rsp+80], rax
    37bde5899mov rax, [rsp+312]
    37bde58a1mov [rsp+96], rbp
    37bde58a6mov [rsp+72], rax
    37bde58abmov rax, [rsp+152]
    37bde58b3imul rax, rbx
    37bde58b7sub rax, rbx
    37bde58bamov rbx, [rsp+304]
    37bde58c2lea rax, [rbx+8*rax]
    37bde58c6mov [rsp+48], rbx
    37bde58cbmov [rsp+64], rax
    37bde58d0mov rax, [rsp+312]
    37bde58d8mov [rsp+56], rax
    37bde58ddlea rax, [rsp+160]
    37bde58e5mov [rsp+40], rax
    37bde58eamov rax, [rsp+288]
    37bde58f2mov [rsp+32], rax
    37bde58f7call cgemm_64_
    37bde58fcjmp 0x37bde4592
    37bde5901
    37bde5901loc_37bde5901:
    37bde5901mov rax, [rsp+328]
    37bde5909lea rdx, [rip+0x66ed02]
    37bde5910lea rsi, [rsp+144]
    37bde5918mov [rsp+88], 1
    37bde5921mov [rsp+72], rsi
    37bde5926mov r9, [rsp+288]
    37bde592emov r8, rsi
    37bde5931lea rcx, [rip+0x66ecdb]
    37bde5938mov [rsp+64], rax
    37bde593dmov rax, [rsp+320]
    37bde5945mov [rsp+80], 1
    37bde594emov [rsp+56], rax
    37bde5953mov rax, [rsp+312]
    37bde595bmov [rsp+48], rax
    37bde5960mov rax, [rsp+304]
    37bde5968mov [rsp+40], rax
    37bde596dmov rax, [rsp+296]
    37bde5975mov [rsp+32], rax
    37bde597acall cherk_64_
    37bde597fmov rax, [rsp+328]
    37bde5987mov rcx, [rsp+304]
    37bde598fmov [rsp+88], 1
    37bde5998mov [rsp+80], 1
    37bde59a1mov r9, [rsp+288]
    37bde59a9lea r8, [rsp+152]
    37bde59b1lea rdx, [rip+0x66ec5a]
    37bde59b8add rax, 8
    37bde59bcmov [rsp+72], rsi
    37bde59c1mov [rsp+64], rax
    37bde59c6mov rax, [rsp+320]
    37bde59cemov [rsp+56], rax
    37bde59d3mov rax, [rsp+312]
    37bde59dbmov [rsp+48], rax
    37bde59e0mov rax, [rsp+144]
    37bde59e8add rax, 1
    37bde59ecimul rax, rbx
    37bde59f0sub rax, rbx
    37bde59f3lea rax, [rcx+8*rax]
    37bde59f7lea rcx, [rip+0x66ec13]
    37bde59femov [rsp+40], rax
    37bde5a03mov rax, [rsp+296]
    37bde5a0bmov [rsp+32], rax
    37bde5a10call cherk_64_
    37bde5a15mov rax, [rsp+144]
    37bde5a1dmov r8, rsi
    37bde5a20mov rcx, [rsp+328]
    37bde5a28mov [rsp+96], rsi
    37bde5a2dlea r9, [rsp+152]
    37bde5a35mov [rsp+112], 1
    37bde5a3emov rdx, rax
    37bde5a41mov [rsp+104], 1
    37bde5a4aimul rdx, rax
    37bde5a4eadd rax, 1
    37bde5a52imul rax, rbx
    37bde5a56lea rdx, [rcx+8*rdx]
    37bde5a5amov rcx, [rsp+312]
    37bde5a62sub rax, rbx
    37bde5a65mov rbx, [rsp+304]
    37bde5a6dmov [rsp+88], rdx
    37bde5a72lea rdx, [rsp+168]
    37bde5a7amov [rsp+80], rdx
    37bde5a7flea rdx, [rip+0x66eb8a]
    37bde5a86lea rax, [rbx+8*rax]
    37bde5a8amov [rsp+72], rcx
    37bde5a8fmov [rsp+64], rax
    37bde5a94lea rax, [rsp+160]
    37bde5a9cmov [rsp+40], rax
    37bde5aa1mov rax, [rsp+288]
    37bde5aa9mov [rsp+56], rcx
    37bde5aaelea rcx, [rip+0x66eb5d]
    37bde5ab5mov [rsp+48], rbx
    37bde5abamov [rsp+32], rax
    37bde5abfcall cgemm_64_
    37bde5ac4jmp 0x37bde4592
    37bde5ac9
    37bde5ac9loc_37bde5ac9:
    37bde5ac9mov [rsp+64], rax
    37bde5acelea rdx, [rip+0x66eb3d]
    37bde5ad5mov rax, [rsp+320]
    37bde5addlea rsi, [rsp+144]
    37bde5ae5mov [rsp+72], rsi
    37bde5aeamov r9, [rsp+288]
    37bde5af2mov r8, rsi
    37bde5af5lea rcx, [rip+0x66eb17]
    37bde5afcmov [rsp+56], rax
    37bde5b01mov rax, [rsp+312]
    37bde5b09mov [rsp+88], 1
    37bde5b12mov [rsp+48], rax
    37bde5b17mov rax, [rsp+304]
    37bde5b1fmov [rsp+80], 1
    37bde5b28mov [rsp+40], rax
    37bde5b2dmov rax, [rsp+296]
    37bde5b35mov [rsp+32], rax
    37bde5b3acall cherk_64_
    37bde5b3fmov rax, [rsp+328]
    37bde5b47mov r8, rsi
    37bde5b4amov rdi, [rsp+304]
    37bde5b52mov [rsp+88], 1
    37bde5b5bmov r9, [rsp+288]
    37bde5b63lea rdx, [rip+0x66eaa8]
    37bde5b6alea rcx, [rip+0x66eaa0]
    37bde5b71mov [rsp+64], rax
    37bde5b76mov rax, [rsp+320]
    37bde5b7emov [rsp+80], 1
    37bde5b87mov [rsp+56], rax
    37bde5b8cmov rax, [rsp+312]
    37bde5b94mov [rsp+72], rsi
    37bde5b99mov [rsp+48], rax
    37bde5b9emov rax, [rsp+144]
    37bde5ba6add rax, 1
    37bde5baaimul rax, rbx
    37bde5baesub rax, rbx
    37bde5bb1lea rax, [rdi+8*rax]
    37bde5bb5mov [rsp+40], rax
    37bde5bbamov rax, [rsp+296]
    37bde5bc2mov [rsp+32], rax
    37bde5bc7call cherk_64_
    37bde5bccmov rdx, [rsp+144]
    37bde5bd4mov [rsp+96], rsi
    37bde5bd9mov rdi, [rsp+328]
    37bde5be1mov [rsp+112], 1
    37bde5beamov [rsp+104], 1
    37bde5bf3lea rax, [rdx+1]
    37bde5bf7imul rdx, rax
    37bde5bfbimul rax, rbx
    37bde5bfflea rdx, [rdi+8*rdx]
    37bde5c03mov rdi, [rsp+312]
    37bde5c0bsub rax, rbx
    37bde5c0emov rbx, [rsp+304]
    37bde5c16mov [rsp+88], rdx
    37bde5c1blea rdx, [rsp+168]
    37bde5c23mov [rsp+80], rdx
    37bde5c28lea rax, [rbx+8*rax]
    37bde5c2cmov [rsp+72], rdi
    37bde5c31mov [rsp+64], rax
    37bde5c36mov [rsp+56], rdi
    37bde5c3bmov [rsp+48], rbx
    37bde5c40
    37bde5c40loc_37bde5c40:
    37bde5c40lea rax, [rsp+160]
    37bde5c48mov r9, rsi
    37bde5c4bmov r8, rsi
    37bde5c4emov [rsp+40], rax
    37bde5c53mov rax, [rsp+288]
    37bde5c5blea rdx, [rip+0x66e9ae]
    37bde5c62lea rcx, [rip+0x66e9a9]
    37bde5c69mov [rsp+32], rax
    37bde5c6ecall cgemm_64_
    37bde5c73jmp 0x37bde4592
    37bde5c78
    37bde5c78loc_37bde5c78:
    37bde5c78mov [rsp+64], rax
    37bde5c7dmov rax, [rsp+320]
    37bde5c85lea rsi, [rsp+152]
    37bde5c8dlea r8, [rsp+144]
    37bde5c95mov [rsp+72], rsi
    37bde5c9amov r9, [rsp+288]
    37bde5ca2lea rdx, [rip+0x66e969]
    37bde5ca9lea rcx, [rip+0x66e963]
    37bde5cb0mov [rsp+56], rax
    37bde5cb5mov rax, [rsp+312]
    37bde5cbdmov [rsp+48], rax
    37bde5cc2mov rax, [rsp+304]
    37bde5ccamov [rsp+40], rax
    37bde5ccfmov rax, [rsp+296]
    37bde5cd7mov [rsp+32], rax
    37bde5cdccall cherk_64_
    37bde5ce1mov rdx, [rsp+144]
    37bde5ce9mov [rsp+72], rsi
    37bde5ceemov r8, rsi
    37bde5cf1mov [rsp+88], 1
    37bde5cfamov r9, [rsp+288]
    37bde5d02lea rcx, [rip+0x66e908]
    37bde5d09mov [rsp+80], 1
    37bde5d12lea rax, [rdx+1]
    37bde5d16imul rax, rbx
    37bde5d1aimul rdx, [rsp+152]
    37bde5d23sub rax, rbx
    37bde5d26mov rbx, [rsp+304]
    37bde5d2elea rbx, [rbx+8*rax]
    37bde5d32mov rax, [rsp+328]
    37bde5d3amov [rsp+40], rbx
    37bde5d3flea rax, [rax+8*rdx]
    37bde5d43lea rdx, [rip+0x66e8c8]
    37bde5d4amov [rsp+64], rax
    37bde5d4fmov rax, [rsp+320]
    37bde5d57mov [rsp+56], rax
    37bde5d5cmov rax, [rsp+312]
    37bde5d64mov [rsp+48], rax
    37bde5d69mov rax, [rsp+296]
    37bde5d71mov [rsp+32], rax
    37bde5d76call cherk_64_
    37bde5d7bmov rax, [rsp+328]
    37bde5d83mov r8, rsi
    37bde5d86mov [rsp+112], 1
    37bde5d8fmov [rsp+104], 1
    37bde5d98lea r9, [rsp+144]
    37bde5da0lea rdx, [rip+0x66e869]
    37bde5da7mov [rsp+88], rax
    37bde5daclea rax, [rsp+168]
    37bde5db4lea rcx, [rip+0x66e857]
    37bde5dbbmov [rsp+80], rax
    37bde5dc0mov rax, [rsp+312]
    37bde5dc8mov [rsp+96], rsi
    37bde5dcdmov [rsp+72], rax
    37bde5dd2mov rax, [rsp+304]
    37bde5ddamov [rsp+48], rbx
    37bde5ddfmov [rsp+64], rax
    37bde5de4mov rax, [rsp+312]
    37bde5decmov [rsp+56], rax
    37bde5df1lea rax, [rsp+160]
    37bde5df9mov [rsp+40], rax
    37bde5dfemov rax, [rsp+288]
    37bde5e06mov [rsp+32], rax
    37bde5e0bcall cgemm_64_
    37bde5e10jmp 0x37bde4592
    37bde5e15
    37bde5e15loc_37bde5e15:
    37bde5e15mov rax, [rsp+328]
    37bde5e1dlea rdi, [rsp+152]
    37bde5e25mov r9, [rsp+288]
    37bde5e2dlea r8, [rsp+144]
    37bde5e35mov [rsp+72], rdi
    37bde5e3alea rdx, [rip+0x66e7d1]
    37bde5e41lea rcx, [rip+0x66e7c9]
    37bde5e48add rax, 8
    37bde5e4cmov [rsp+64], rax
    37bde5e51mov rax, [rsp+320]
    37bde5e59mov [rsp+56], rax
    37bde5e5emov rax, [rsp+312]
    37bde5e66mov [rsp+48], rax
    37bde5e6bmov rax, [rsp+304]
    37bde5e73mov [rsp+40], rax
    37bde5e78mov rax, [rsp+296]
    37bde5e80mov [rsp+32], rax
    37bde5e85call cherk_64_
    37bde5e8amov rax, [rbp]
    37bde5e8emov rcx, [rsp+304]
    37bde5e96mov [rsp+72], rdi
    37bde5e9bmov [rsp+88], 1
    37bde5ea4mov r9, [rsp+288]
    37bde5eaclea rdx, [rip+0x66e75f]
    37bde5eb3lea r8, [rsp+144]
    37bde5ebbmov [rsp+80], 1
    37bde5ec4add rax, 1
    37bde5ec8mov [rsp+152], rax
    37bde5ed0mov rax, [rsp+328]
    37bde5ed8mov [rsp+64], rax
    37bde5eddmov rax, [rsp+320]
    37bde5ee5mov [rsp+56], rax
    37bde5eeamov rax, [rsp+312]
    37bde5ef2mov [rsp+48], rax
    37bde5ef7mov rax, [rsp+144]
    37bde5effadd rax, 1
    37bde5f03imul rax, rbx
    37bde5f07sub rax, rbx
    37bde5f0alea rax, [rcx+8*rax]
    37bde5f0elea rcx, [rip+0x66e6fe]
    37bde5f15mov [rsp+40], rax
    37bde5f1amov rax, [rsp+296]
    37bde5f22mov [rsp+32], rax
    37bde5f27call cherk_64_
    37bde5f2cmov rax, [rbp]
    37bde5f30mov [rsp+96], rdi
    37bde5f35mov rdi, [rsp+328]
    37bde5f3dmov [rsp+112], 1
    37bde5f46mov [rsp+104], 1
    37bde5f4fadd rax, 1
    37bde5f53mov [rsp+152], rax
    37bde5f5bmov rax, [rsp+144]
    37bde5f63add rax, 1
    37bde5f67lea rdx, [rdi+8*rax]
    37bde5f6bmov rdi, [rsp+312]
    37bde5f73imul rax, rbx
    37bde5f77mov [rsp+88], rdx
    37bde5f7clea rdx, [rsp+168]
    37bde5f84mov [rsp+72], rdi
    37bde5f89mov rdi, [rsp+304]
    37bde5f91mov [rsp+80], rdx
    37bde5f96sub rax, rbx
    37bde5f99mov rbx, [rsp+304]
    37bde5fa1mov [rsp+64], rdi
    37bde5fa6mov rdi, [rsp+312]
    37bde5faelea rax, [rbx+8*rax]
    37bde5fb2mov [rsp+56], rdi
    37bde5fb7mov [rsp+48], rax
    37bde5fbcjmp 0x37bde5765
    37bde5fc1
    37bde5fc1loc_37bde5fc1:
    37bde5fc1mov [rsp+64], rax
    37bde5fc6lea rdx, [rip+0x66e645]
    37bde5fcdmov rax, [rsp+320]
    37bde5fd5lea rsi, [rsp+144]
    37bde5fddmov [rsp+72], rsi
    37bde5fe2mov r9, [rsp+288]
    37bde5feamov r8, rsi
    37bde5fedlea rcx, [rip+0x66e61f]
    37bde5ff4mov [rsp+56], rax
    37bde5ff9mov rax, [rsp+312]
    37bde6001mov [rsp+88], 1
    37bde600amov [rsp+48], rax
    37bde600fmov rax, [rsp+304]
    37bde6017mov [rsp+80], 1
    37bde6020mov [rsp+40], rax
    37bde6025mov rax, [rsp+296]
    37bde602dmov [rsp+32], rax
    37bde6032call cherk_64_
    37bde6037mov rax, [rsp+144]
    37bde603fmov r8, rsi
    37bde6042mov rdi, [rsp+328]
    37bde604amov [rsp+88], 1
    37bde6053mov r9, [rsp+288]
    37bde605blea rcx, [rip+0x66e5af]
    37bde6062mov rdx, rax
    37bde6065mov [rsp+72], rsi
    37bde606amov [rsp+80], 1
    37bde6073imul rdx, rax
    37bde6077add rax, 1
    37bde607bimul rax, rbx
    37bde607flea rdx, [rdi+8*rdx]
    37bde6083mov rdi, [rsp+320]
    37bde608bsub rax, rbx
    37bde608emov [rsp+64], rdx
    37bde6093lea rdx, [rip+0x66e578]
    37bde609amov [rsp+56], rdi
    37bde609fmov rdi, [rsp+312]
    37bde60a7mov [rsp+48], rdi
    37bde60acmov rdi, [rsp+304]
    37bde60b4lea rax, [rdi+8*rax]
    37bde60b8mov [rsp+40], rax
    37bde60bdmov rax, [rsp+296]
    37bde60c5mov [rsp+32], rax
    37bde60cacall cherk_64_
    37bde60cfmov rax, [rsp+328]
    37bde60d7mov [rsp+96], rsi
    37bde60dcmov [rsp+112], 1
    37bde60e5mov [rsp+88], rax
    37bde60ealea rax, [rsp+168]
    37bde60f2mov [rsp+80], rax
    37bde60f7mov rax, [rsp+312]
    37bde60ffmov [rsp+104], 1
    37bde6108mov [rsp+72], rax
    37bde610dmov rax, [rsp+304]
    37bde6115mov [rsp+64], rax
    37bde611amov rax, [rsp+312]
    37bde6122mov [rsp+56], rax
    37bde6127mov rax, [rsp+144]
    37bde612fadd rax, 1
    37bde6133imul rax, rbx
    37bde6137sub rax, rbx
    37bde613amov rbx, [rsp+304]
    37bde6142lea rax, [rbx+8*rax]
    37bde6146mov [rsp+48], rax
    37bde614bjmp 0x37bde5c40
    37bde4200
    37bde6150
    37bde6150 // align 0x40
    37bde6180
    37bde6180chgeqz_64_:
    37bde6180push r15
    37bde6182push r14
    37bde6184push r13
    37bde6186push r12
    37bde6188push rbp
    37bde6189push rdi
    37bde618apush rsi
    37bde618bpush rbx
    37bde618csub rsp, 744
    37bde6193movups [rsp+576], x6
    37bde619bmovups [rsp+592], x7
    37bde61a3movups [rsp+608], x8
    37bde61acmovups [rsp+624], x9
    37bde61b5movups [rsp+640], x10
    37bde61bemovups [rsp+656], x11
    37bde61c7movups [rsp+672], x12
    37bde61d0movups [rsp+688], x13
    37bde61d9movups [rsp+704], x14
    37bde61e2movups [rsp+720], x15
    37bde61ebmov edi, 1
    37bde61f0mov rax, [rsp+920]
    37bde61f8mov r15, [rsp+880]
    37bde6200mov r13, [rax]
    37bde6203mov rax, [rsp+936]
    37bde620bmov r14, [rax]
    37bde620emov rsi, rdx
    37bde6211mov rbx, r8
    37bde6214lea rdx, [rip+0x66e405]
    37bde621bmov rax, [rsp+872]
    37bde6223mov [rsp+840], r9
    37bde622bmov r8l, 1
    37bde6231mov rbp, rcx
    37bde6234mov r9l, 1
    37bde623amov rax, [rax]
    37bde623dmov [rsp+64], rax
    37bde6242mov rax, [rsp+888]
    37bde624amov r12, [rax]
    37bde624dcall lsame_64_
    37bde6252mov [rsp+72], 0
    37bde625btest rax, rax
    37bde625eje 0x37bde65b0
    37bde6264
    37bde6264loc_37bde6264:
    37bde6264mov r9l, 1
    37bde626amov r8l, 1
    37bde6270mov rcx, rsi
    37bde6273mov ebp, 1
    37bde6278lea rdx, [rip+0x66e3a3]
    37bde627fcall lsame_64_
    37bde6284mov [rsp+168], 0
    37bde6290test rax, rax
    37bde6293je 0x37bde6538
    37bde6299
    37bde6299loc_37bde6299:
    37bde6299mov r9l, 1
    37bde629fmov r8l, 1
    37bde62a5mov rcx, rbx
    37bde62a8mov esi, 1
    37bde62adlea rdx, [rip+0x66e36e]
    37bde62b4call lsame_64_
    37bde62b9mov [rsp+88], 0
    37bde62c2test rax, rax
    37bde62c5je 0x37bde64c8
    37bde62cb
    37bde62cbloc_37bde62cb:
    37bde62cbmov rax, [rsp+968]
    37bde62d3pxor x0, x0
    37bde62d7mov rbx, [rsp+944]
    37bde62dfmov [rax], 0
    37bde62e6mov rax, [rsp+840]
    37bde62eemov [rbx+4], 0
    37bde62f5mov rdx, [rax]
    37bde62f8mov eax, 1
    37bde62fdtest rdx, rdx
    37bde6300cmovg rax, rdx
    37bde6304cvtsi2ss x0, rax
    37bde6309movss [rbx], x0
    37bde630dtest rdi, rdi
    37bde6310je 0x37bde6330
    37bde6312test rbp, rbp
    37bde6315jne 0x37bde63e0
    37bde631bmov rdx, -2
    37bde6322mov eax, 2
    37bde6327jmp 0x37bde633c
    37bde6329
    37bde6329 0f 1f 80 00 00 00 00 .......
    37bde6330
    37bde6330loc_37bde6330:
    37bde6330mov rdx, -1
    37bde6337mov eax, 1
    37bde633c
    37bde633cloc_37bde633c:
    37bde633cmov rdi, [rsp+968]
    37bde6344mov r8l, 6
    37bde634alea rcx, [rip+0x66e2d4]
    37bde6351mov [rsp+568], rax
    37bde6359mov [rdi], rdx
    37bde635clea rdx, [rsp+568]
    37bde6364call xerbla_64_
    37bde6369nop
    37bde636a
    37bde636aloc_37bde636a:
    37bde636amovups x6, [rsp+576]
    37bde6372movups x7, [rsp+592]
    37bde637amovups x8, [rsp+608]
    37bde6383movups x9, [rsp+624]
    37bde638cmovups x10, [rsp+640]
    37bde6395movups x11, [rsp+656]
    37bde639emovups x12, [rsp+672]
    37bde63a7movups x13, [rsp+688]
    37bde63b0movups x14, [rsp+704]
    37bde63b9movups x15, [rsp+720]
    37bde63c2add rsp, 744
    37bde63c9pop rbx
    37bde63capop rsi
    37bde63cbpop rdi
    37bde63ccpop rbp
    37bde63cdpop r12
    37bde63cfpop r13
    37bde63d1pop r14
    37bde63d3pop r15
    37bde63d5ret
    37bde63d6
    37bde63d6 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bde63e0
    37bde63e0loc_37bde63e0:
    37bde63e0test rsi, rsi
    37bde63e3je 0x37bde65e0
    37bde63e9test rdx, rdx
    37bde63ecjs 0x37bde65f1
    37bde63f2mov rdi, [rsp+848]
    37bde63famov rcx, [rdi]
    37bde63fdtest rcx, rcx
    37bde6400jle 0x37bde6602
    37bde6406mov rbx, [rsp+856]
    37bde640emov r8, [rbx]
    37bde6411cmp r8, rdx
    37bde6414jg 0x37bde8de4
    37bde641asub rcx, 1
    37bde641ecmp r8, rcx
    37bde6421jl 0x37bde8de4
    37bde6427mov rdi, [rsp+872]
    37bde642fcmp [rdi], rdx
    37bde6432jl 0x37bde94ea
    37bde6438mov rdi, [rsp+888]
    37bde6440cmp [rdi], rdx
    37bde6443jl 0x37bde953d
    37bde6449mov rbx, [rsp+920]
    37bde6451mov rcx, [rbx]
    37bde6454test rcx, rcx
    37bde6457jle 0x37bde954e
    37bde645dcmp rcx, rdx
    37bde6460jge 0x37bde6470
    37bde6462test [rsp+168], 1
    37bde646ajne 0x37bde954e
    37bde6470
    37bde6470loc_37bde6470:
    37bde6470mov rbx, [rsp+936]
    37bde6478mov rcx, [rbx]
    37bde647btest rcx, rcx
    37bde647ejle 0x37bde955f
    37bde6484cmp rcx, rdx
    37bde6487setl cl
    37bde648atest [rsp+88], cl
    37bde648ejne 0x37bde955f
    37bde6494mov rcx, [rsp+952]
    37bde649cmov rcx, [rcx]
    37bde649fcmp rcx, rax
    37bde64a2jge 0x37bde6618
    37bde64a8add rcx, 1
    37bde64acje 0x37bde636a
    37bde64b2mov rdx, -18
    37bde64b9mov eax, 18
    37bde64bejmp 0x37bde633c
    37bde64c3
    37bde64c3 0f 1f 44 00 00 ..D..
    37bde64c8
    37bde64c8loc_37bde64c8:
    37bde64c8mov r9l, 1
    37bde64cemov r8l, 1
    37bde64d4mov rcx, rbx
    37bde64d7mov esi, 2
    37bde64dclea rdx, [rip+0x66e140]
    37bde64e3call lsame_64_
    37bde64e8mov [rsp+88], rax
    37bde64edtest rax, rax
    37bde64f0jne 0x37bde62cb
    37bde64f6mov r9l, 1
    37bde64fcmov r8l, 1
    37bde6502mov rcx, rbx
    37bde6505mov esi, 3
    37bde650alea rdx, [rip+0x66e113]
    37bde6511call lsame_64_
    37bde6516mov [rsp+88], rax
    37bde651btest rax, rax
    37bde651ejne 0x37bde62cb
    37bde6524mov [rsp+88], 1
    37bde652dxor esi, esi
    37bde652fjmp 0x37bde62cb
    37bde6534
    37bde6534 0f 1f 40 00 ..@.
    37bde6538
    37bde6538loc_37bde6538:
    37bde6538mov r9l, 1
    37bde653emov r8l, 1
    37bde6544mov rcx, rsi
    37bde6547mov ebp, 2
    37bde654clea rdx, [rip+0x66e0d0]
    37bde6553call lsame_64_
    37bde6558mov [rsp+168], rax
    37bde6560test rax, rax
    37bde6563jne 0x37bde6299
    37bde6569mov r9l, 1
    37bde656fmov r8l, 1
    37bde6575mov rcx, rsi
    37bde6578mov ebp, 3
    37bde657dlea rdx, [rip+0x66e0a0]
    37bde6584call lsame_64_
    37bde6589mov [rsp+168], rax
    37bde6591test rax, rax
    37bde6594jne 0x37bde6299
    37bde659amov [rsp+168], 1
    37bde65a6xor ebp, ebp
    37bde65a8jmp 0x37bde6299
    37bde65ad
    37bde65ad 0f 1f 00 ...
    37bde65b0
    37bde65b0loc_37bde65b0:
    37bde65b0mov r9l, 1
    37bde65b6mov r8l, 1
    37bde65bclea rdx, [rip+0x66e05e]
    37bde65c3mov rcx, rbp
    37bde65c6call lsame_64_
    37bde65cbmov [rsp+72], 1
    37bde65d4lea rdi, [rax+rax]
    37bde65d8jmp 0x37bde6264
    37bde65dd
    37bde65dd 0f 1f 00 ...
    37bde65e0
    37bde65e0loc_37bde65e0:
    37bde65e0mov rdx, -3
    37bde65e7mov eax, 3
    37bde65ecjmp 0x37bde633c
    37bde65f1
    37bde65f1loc_37bde65f1:
    37bde65f1mov rdx, -4
    37bde65f8mov eax, 4
    37bde65fdjmp 0x37bde633c
    37bde6602
    37bde6602loc_37bde6602:
    37bde6602mov rdx, -5
    37bde6609mov eax, 5
    37bde660ejmp 0x37bde633c
    37bde6613
    37bde6613 0f 1f 44 00 00 ..D..
    37bde6618
    37bde6618loc_37bde6618:
    37bde6618test rdx, rdx
    37bde661bje 0x37bde7a28
    37bde6621xor eax, eax
    37bde6623test r14, r14
    37bde6626mov rdi, [rsp+64]
    37bde662bcmovns rax, r14
    37bde662fmov [rsp+232], rax
    37bde6637not rax
    37bde663amov [rsp+240], rax
    37bde6642xor eax, eax
    37bde6644test rdi, rdi
    37bde6647cmovns rax, rdi
    37bde664bmov [rsp+64], rax
    37bde6650not rax
    37bde6653mov [rsp+80], rax
    37bde6658xor eax, eax
    37bde665atest r12, r12
    37bde665dcmovns rax, r12
    37bde6661mov [rsp+120], rax
    37bde6666not rax
    37bde6669mov [rsp+96], rax
    37bde666ecmp rbp, 3
    37bde6672je 0x37bde7ab8
    37bde6678
    37bde6678loc_37bde6678:
    37bde6678cmp rsi, 3
    37bde667cje 0x37bde7a60
    37bde6682
    37bde6682loc_37bde6682:
    37bde6682mov rax, [rsp+856]
    37bde668amov rbx, [rsp+848]
    37bde6692mov edx, 1
    37bde6697lea rcx, [rip+0x66df83]
    37bde669emov rax, [rax]
    37bde66a1mov [rsp+104], rax
    37bde66a6add rax, 1
    37bde66aasub rax, [rbx]
    37bde66admov [rsp+528], rax
    37bde66b5call slamch_64_
    37bde66bamov edx, 1
    37bde66bflea rcx, [rip+0x66df5a]
    37bde66c6movaps x6, x0
    37bde66c9call slamch_64_
    37bde66cemov edx, 1
    37bde66d3lea rcx, [rip+0x66df66]
    37bde66damovaps x12, x0
    37bde66decall slamch_64_
    37bde66e3mov rax, [rsp+848]
    37bde66ebmov rdi, [rsp+960]
    37bde66f3lea rcx, [rip+0x66df47]
    37bde66famov r12, [rsp+80]
    37bde66ffmov r9, [rsp+872]
    37bde6707movaps x11, x0
    37bde670bmov rdx, [rax]
    37bde670emov rax, [rsp+64]
    37bde6713mov [rsp+32], rdi
    37bde6718mov [rsp+40], 1
    37bde6721mov rdi, [rsp+864]
    37bde6729imul rax, rdx
    37bde672dadd rax, r12
    37bde6730add rax, rdx
    37bde6733lea rdx, [rsp+528]
    37bde673blea r8, [rdi+8*rax]
    37bde673fcall clanhs_64_
    37bde6744mov rax, [rsp+848]
    37bde674cmov r14, [rsp+120]
    37bde6751lea rcx, [rip+0x66dee9]
    37bde6758mov rsi, [rsp+960]
    37bde6760mov r9, [rsp+888]
    37bde6768movaps x10, x0
    37bde676cmov rdx, [rax]
    37bde676fmov rax, r14
    37bde6772mov [rsp+40], 1
    37bde677bmov [rsp+32], rsi
    37bde6780imul rax, rdx
    37bde6784add rax, [rsp+96]
    37bde6789add rax, rdx
    37bde678clea rdx, [rsp+528]
    37bde6794lea r8, [r15+8*rax]
    37bde6798call clanhs_64_
    37bde679dmov rax, [rsp+856]
    37bde67a5movaps x9, x0
    37bde67a9mov rdi, [rax]
    37bde67acmov rax, [rsp+840]
    37bde67b4mov rbp, [rax]
    37bde67b7lea rsi, [rdi+1]
    37bde67bbmov [rsp+536], rsi
    37bde67c3cmp rsi, rbp
    37bde67c6jg 0x37bde6a33
    37bde67ccmov [rsp+128], r13
    37bde67d4mov rdi, [rsp+96]
    37bde67d9mov r13, r12
    37bde67dcmov rbx, r14
    37bde67dfmov [rsp+104], rbp
    37bde67e4pxor x8, x8
    37bde67e9jmp 0x37bde692f
    37bde67ee
    37bde67ee 66 90 f.
    37bde67f0
    37bde67f0loc_37bde67f0:
    37bde67f0movaps x2, x8
    37bde67f4mov rax, [rsp+64]
    37bde67f9mov [r12+4], 0
    37bde6802divss x2, x0
    37bde6806movss [r12], x1
    37bde680cimul rax, rsi
    37bde6810lea rbp, [rax+r13]
    37bde6814movaps x3, x2
    37bde6817mulss x3, x8
    37bde681caddss x3, x0
    37bde6820movaps x0, x2
    37bde6823mulss x0, x7
    37bde6827mulss x2, x13
    37bde682caddss x0, x13
    37bde6831subss x7, x2
    37bde6835divss x0, x3
    37bde6839divss x7, x3
    37bde683dxorps x7, [rip+0x66de1c]
    37bde6844unpcklps x0, x7
    37bde6847movlps [rsp+552], x0
    37bde684fcmp [rsp+72], 0
    37bde6855je 0x37bde6990
    37bde685bsub rsi, 1
    37bde685flea rcx, [rsp+568]
    37bde6867lea r8, [r15+8*r14+8]
    37bde686cmov [rsp+568], rsi
    37bde6874lea rsi, [rsp+552]
    37bde687clea r9, [rip+0x66ddc5]
    37bde6883mov rdx, rsi
    37bde6886call cscal_64_
    37bde688bmov rax, [rsp+864]
    37bde6893lea rcx, [rsp+536]
    37bde689bmov rdx, rsi
    37bde689elea r9, [rip+0x66dda3]
    37bde68a5lea r8, [rax+8*rbp+8]
    37bde68aacall cscal_64_
    37bde68afmov rax, [rsp+536]
    37bde68b7cmp [rsp+88], 0
    37bde68bdjne 0x37bde69ce
    37bde68c3nop
    37bde68c5nop [rax+rax]
    37bde68d0
    37bde68d0loc_37bde68d0:
    37bde68d0mov rdx, [rsp+64]
    37bde68d5mov rsi, [rsp+864]
    37bde68ddlea rcx, [rax-1]
    37bde68e1imul rdx, rax
    37bde68e5add rdx, r13
    37bde68e8add rdx, rax
    37bde68ebmov rdx, [rsi+8*rdx]
    37bde68efmov rsi, [rsp+896]
    37bde68f7mov [rsi+8*rcx], rdx
    37bde68fbmov rdx, rbx
    37bde68femov rsi, [rsp+904]
    37bde6906imul rdx, rax
    37bde690aadd rdx, rdi
    37bde690dadd rdx, rax
    37bde6910mov rdx, [r15+8*rdx]
    37bde6914mov [rsi+8*rcx], rdx
    37bde6918lea rsi, [rax+1]
    37bde691cmov [rsp+536], rsi
    37bde6924cmp rsi, [rsp+104]
    37bde6929jg 0x37bde6a20
    37bde692f
    37bde692floc_37bde692f:
    37bde692fmov rdx, rbx
    37bde6932imul rdx, rsi
    37bde6936lea r14, [rdx+rdi]
    37bde693alea rbp, [r14+rsi]
    37bde693elea r12, [r15+8*rbp]
    37bde6942movss x7, [r12+4]
    37bde6949movss x13, [r12]
    37bde694fmovd r9l, x7
    37bde6954movd ecx, x13
    37bde6959shl r9, 32
    37bde695dor rcx, r9
    37bde6960call fn_37c42fc90
    37bde6965comiss x0, x6
    37bde6968movaps x1, x0
    37bde696bja 0x37bde67f0
    37bde6971mov [r15+8*rbp], 0
    37bde6979mov rax, [rsp+536]
    37bde6981jmp 0x37bde68d0
    37bde6986
    37bde6986 66 2e 0f 1f 84 00 00 00 00 00 f.........
    37bde6990
    37bde6990loc_37bde6990:
    37bde6990mov rcx, [rsp+864]
    37bde6998lea rax, [rsi+rbp]
    37bde699clea r9, [rip+0x66dca5]
    37bde69a3lea rsi, [rsp+552]
    37bde69ablea r8, [rcx+8*rax]
    37bde69afmov rdx, rsi
    37bde69b2mov rcx, r9
    37bde69b5call cscal_64_
    37bde69bamov rax, [rsp+536]
    37bde69c2cmp [rsp+88], 0
    37bde69c8je 0x37bde68d0
    37bde69ce
    37bde69celoc_37bde69ce:
    37bde69cemov rdx, [rsp+232]
    37bde69d6mov [rsp+112], rax
    37bde69dblea r9, [rip+0x66dc66]
    37bde69e2mov rcx, [rsp+840]
    37bde69eaimul rdx, rax
    37bde69eemov rax, [rsp+240]
    37bde69f6lea rdx, [rax+rdx+1]
    37bde69fbmov rax, [rsp+928]
    37bde6a03lea r8, [rax+8*rdx]
    37bde6a07mov rdx, rsi
    37bde6a0acall cscal_64_
    37bde6a0fmov rax, [rsp+112]
    37bde6a14jmp 0x37bde68d0
    37bde6a19
    37bde6a19 0f 1f 80 00 00 00 00 .......
    37bde6a20
    37bde6a20loc_37bde6a20:
    37bde6a20mov rax, [rsp+856]
    37bde6a28mov r13, [rsp+128]
    37bde6a30mov rdi, [rax]
    37bde6a33
    37bde6a33loc_37bde6a33:
    37bde6a33mov rax, [rsp+848]
    37bde6a3bmov rax, [rax]
    37bde6a3emov [rsp+104], rax
    37bde6a43cmp rax, rdi
    37bde6a46jg 0x37bde714d
    37bde6a4cmulss x12, x11
    37bde6a51movss x5, [rip+0x66dbf7]
    37bde6a59xor eax, eax
    37bde6a5btest r13, r13
    37bde6a5ecmovns rax, r13
    37bde6a62mov [rsp+352], rax
    37bde6a6anot rax
    37bde6a6dmov [rsp+360], rax
    37bde6a75movaps x7, x12
    37bde6a79movaps x0, x12
    37bde6a7dmovaps x8, x12
    37bde6a81movss x12, [rip+0x66dbc6]
    37bde6a8amulss x7, x9
    37bde6a8fmaxss x9, x6
    37bde6a94mulss x0, x10
    37bde6a99maxss x10, x6
    37bde6a9edivss x5, x9
    37bde6aa3maxss x7, x6
    37bde6aa7maxss x0, x6
    37bde6aabmovss [rsp+372], x0
    37bde6ab4divss x12, x10
    37bde6ab9movss [rsp+368], x5
    37bde6ac2cmp [rsp+72], 0
    37bde6ac8je 0x37bde7a40
    37bde6acemov rax, [rsp+840]
    37bde6ad6mov [rsp+128], 1
    37bde6ae2mov rax, [rax]
    37bde6ae5mov [rsp+248], rax
    37bde6aed
    37bde6aedloc_37bde6aed:
    37bde6aedmov rbx, [rsp+104]
    37bde6af2mov rax, rdi
    37bde6af5pxor x10, x10
    37bde6afamov rbp, rdi
    37bde6afdmov [rsp+104], 1
    37bde6b06pxor x9, x9
    37bde6b0bmovaps x13, x8
    37bde6b0fsub rax, rbx
    37bde6b12mov [rsp+880], r15
    37bde6b1amov [rsp+176], 0
    37bde6b26add rax, 1
    37bde6b2aimul rax, rax, 30
    37bde6b2emov [rsp+192], rax
    37bde6b36jmp 0x37bde6ce1
    37bde6b3b
    37bde6b3b 0f 1f 44 00 00 ..D..
    37bde6b40
    37bde6b40loc_37bde6b40:
    37bde6b40pxor x3, x3
    37bde6b44movaps x1, x8
    37bde6b48mov [r13+4], 0
    37bde6b50movaps x0, x3
    37bde6b53movss [r13], x2
    37bde6b59divss x0, x2
    37bde6b5dmulss x1, x0
    37bde6b61mulss x3, x0
    37bde6b65addss x1, x9
    37bde6b6amulss x9, x0
    37bde6b6fmovaps x0, x8
    37bde6b73addss x3, x2
    37bde6b77divss x1, x3
    37bde6b7bsubss x0, x9
    37bde6b80divss x0, x3
    37bde6b84xorps x0, [rip+0x66dad5]
    37bde6b8bunpcklps x1, x0
    37bde6b8emovlps [rsp+552], x1
    37bde6b96cmp [rsp+72], 0
    37bde6b9cje 0x37bde70c8
    37bde6ba2mov r14, [rsp+128]
    37bde6baamov rax, rbp
    37bde6badmov rcx, [rsp+880]
    37bde6bb5lea rdi, [rsp+552]
    37bde6bbdlea r9, [rip+0x66da84]
    37bde6bc4mov rdx, rdi
    37bde6bc7sub rax, r14
    37bde6bcamov [rsp+560], rax
    37bde6bd2mov rax, [rsp+152]
    37bde6bdaadd rax, r14
    37bde6bddlea r8, [rcx+8*rax]
    37bde6be1lea rcx, [rsp+560]
    37bde6be9call cscal_64_
    37bde6beelea rax, [rbp+1]
    37bde6bf2mov rcx, [rsp+864]
    37bde6bfamov rdx, rdi
    37bde6bfdsub rax, r14
    37bde6c00lea r9, [rip+0x66da41]
    37bde6c07mov [rsp+560], rax
    37bde6c0fmov rax, [rsp+144]
    37bde6c17add rax, r14
    37bde6c1alea r8, [rcx+8*rax]
    37bde6c1elea rcx, [rsp+560]
    37bde6c26call cscal_64_
    37bde6c2bcmp [rsp+88], 0
    37bde6c31jne 0x37bde70ff
    37bde6c37
    37bde6c37loc_37bde6c37:
    37bde6c37movss x1, [r13+4]
    37bde6c3d
    37bde6c3dloc_37bde6c3d:
    37bde6c3dmov rbx, [rsp+112]
    37bde6c42mov rax, [rsp+864]
    37bde6c4amovss x0, [r13]
    37bde6c50mov rax, [rax+rbx]
    37bde6c54mov rbx, [rsp+896]
    37bde6c5cunpcklps x0, x1
    37bde6c5fmov [rbx+8*rsi], rax
    37bde6c63mov rax, [rsp+904]
    37bde6c6bmovlps [rax+8*rsi], x0
    37bde6c6fmov rax, [rsp+848]
    37bde6c77mov rbx, [rax]
    37bde6c7acmp rbx, rsi
    37bde6c7djg 0x37bde7140
    37bde6c83cmp [rsp+72], 0
    37bde6c89jne 0x37bde6ca5
    37bde6c8bcmp [rsp+128], rsi
    37bde6c93mov [rsp+248], rsi
    37bde6c9bjle 0x37bde6ca5
    37bde6c9dmov [rsp+128], rbx
    37bde6ca5
    37bde6ca5loc_37bde6ca5:
    37bde6ca5mov [rsp+176], 0
    37bde6cb1pxor x9, x9
    37bde6cb6movaps x10, x9
    37bde6cba
    37bde6cbaloc_37bde6cba:
    37bde6cbaadd [rsp+104], 1
    37bde6cc0mov rax, [rsp+104]
    37bde6cc5cmp [rsp+192], rax
    37bde6ccdjl 0x37bde7b10
    37bde6cd3mov rax, [rsp+848]
    37bde6cdbmov rbp, rsi
    37bde6cdemov rbx, [rax]
    37bde6ce1
    37bde6ce1loc_37bde6ce1:
    37bde6ce1mov rcx, [rsp+64]
    37bde6ce6mov rax, [rsp+80]
    37bde6ceblea rsi, [rbp-1]
    37bde6cefmov r14, [rsp+120]
    37bde6cf4imul rcx, rbp
    37bde6cf8imul r14, rbp
    37bde6cfcadd rax, rcx
    37bde6cffmov [rsp+144], rax
    37bde6d07lea rdx, [rbp+rax]
    37bde6d0cmov rax, [rsp+96]
    37bde6d11add rax, r14
    37bde6d14mov [rsp+152], rax
    37bde6d1clea r15, [rbp+rax]
    37bde6d21cmp rbp, rbx
    37bde6d24je 0x37bde6e58
    37bde6d2amov rax, [rsp+80]
    37bde6d2fsub rcx, [rsp+64]
    37bde6d34mov [rsp+256], rcx
    37bde6d3cadd rax, rcx
    37bde6d3fmov rcx, [rsp+864]
    37bde6d47lea rdi, [rax+rbp]
    37bde6d4bmov [rsp+224], rax
    37bde6d53lea r13, [rcx+8*rdi]
    37bde6d57lea rcx, [8*rdx]
    37bde6d5fmov [rsp+208], rdi
    37bde6d67mov [rsp+112], rcx
    37bde6d6cmov rcx, [rsp+864]
    37bde6d74movss x1, [r13]
    37bde6d7amovss x0, [r13+4]
    37bde6d80movq x11, [rcx+8*rdx]
    37bde6d86lea rcx, [rax+rsi]
    37bde6d8amov rax, [rsp+864]
    37bde6d92andps x0, [rip+0x66d8d7]
    37bde6d99andps x1, [rip+0x66d8d0]
    37bde6da0lea r8, [rax+8*rcx]
    37bde6da4movshdup x3, x11
    37bde6da9andps x3, [rip+0x66d8c0]
    37bde6db0addss x1, x0
    37bde6db4movss x2, [r8+4]
    37bde6dbamovss x0, [r8]
    37bde6dbfandps x2, [rip+0x66d8aa]
    37bde6dc6andps x0, [rip+0x66d8a3]
    37bde6dcdaddss x0, x2
    37bde6dd1movaps x2, x11
    37bde6dd5andps x2, [rip+0x66d894]
    37bde6ddcaddss x2, x3
    37bde6de0addss x0, x2
    37bde6de4mulss x0, x13
    37bde6de9maxss x0, x6
    37bde6dedcomiss x0, x1
    37bde6df0jb 0x37bde6e70
    37bde6df2mov [rax+8*rdi], 0
    37bde6dfalea rdi, [8*r15]
    37bde6e02
    37bde6e02loc_37bde6e02:
    37bde6e02mov r13, [rsp+880]
    37bde6e0aadd r13, rdi
    37bde6e0dmovss x8, [r13+4]
    37bde6e13movss x9, [r13]
    37bde6e19movd eax, x8
    37bde6e1emovd ecx, x9
    37bde6e23shl rax, 32
    37bde6e27or rcx, rax
    37bde6e2acall fn_37c42fc90
    37bde6e2fcomiss x0, x6
    37bde6e32movaps x2, x0
    37bde6e35ja 0x37bde6b40
    37bde6e3bmov rax, [rsp+880]
    37bde6e43pxor x1, x1
    37bde6e47mov [rax+rdi], 0
    37bde6e4fjmp 0x37bde6c3d
    37bde6e54
    37bde6e54 0f 1f 40 00 ..@.
    37bde6e58
    37bde6e58loc_37bde6e58:
    37bde6e58lea rax, [8*rdx]
    37bde6e60lea rdi, [8*r15]
    37bde6e68mov [rsp+112], rax
    37bde6e6djmp 0x37bde6e02
    37bde6e6f
    37bde6e6f 90 .
    37bde6e70
    37bde6e70loc_37bde6e70:
    37bde6e70mov rax, [rsp+112]
    37bde6e75add rax, [rsp+864]
    37bde6e7dlea rdi, [8*r15]
    37bde6e85mov [rsp+160], rdx
    37bde6e8dmov [rsp+264], rax
    37bde6e95mov rax, [rsp+880]
    37bde6e9dmov [rsp+136], r8
    37bde6ea5add rax, rdi
    37bde6ea8movss x8, [rax+4]
    37bde6eaemov r12l, [rax]
    37bde6eb1mov [rsp+312], rax
    37bde6eb9movd r9l, x8
    37bde6ebemov ecx, r12l
    37bde6ec1shl r9, 32
    37bde6ec5or rcx, r9
    37bde6ec8call fn_37c42fc90
    37bde6ecdmov r8, [rsp+136]
    37bde6ed5mov rdx, [rsp+160]
    37bde6eddcomiss x7, x0
    37bde6ee0jb 0x37bde73e8
    37bde6ee6mov rax, [rsp+880]
    37bde6eeemov [rax+8*r15], 0
    37bde6ef6
    37bde6ef6loc_37bde6ef6:
    37bde6ef6lea rax, [rsp+544]
    37bde6efelea r14, [rip+0x66d743]
    37bde6f05mov [rsp+200], rax
    37bde6f0dlea rax, [rsp+508]
    37bde6f15lea rbx, [rsp+560]
    37bde6f1dmov [rsp+136], rax
    37bde6f25lea rax, [rsp+512]
    37bde6f2dmov [rsp+160], rax
    37bde6f35
    37bde6f35loc_37bde6f35:
    37bde6f35mov rax, [rsp+264]
    37bde6f3dmov r12, [rsp+200]
    37bde6f45mov rdx, r13
    37bde6f48movlps [rsp+512], x11
    37bde6f51mov r8, [rsp+136]
    37bde6f59mov rcx, [rsp+160]
    37bde6f61mov r13, rbp
    37bde6f64mov [rsp+32], rax
    37bde6f69mov r9, r12
    37bde6f6ccall clartg_64_
    37bde6f71mov rcx, [rsp+864]
    37bde6f79mov rdx, [rsp+208]
    37bde6f81lea r8, [rip+0x66d6c0]
    37bde6f88mov r15, [rsp+128]
    37bde6f90mov r10, [rsp+864]
    37bde6f98mov [rcx+8*rdx], 0
    37bde6fa0mov rdx, [rsp+144]
    37bde6fa8mov rcx, [rsp+224]
    37bde6fb0mov [rsp+48], r12
    37bde6fb5sub r13, r15
    37bde6fb8lea rax, [r15+rdx]
    37bde6fbcmov rdx, [rsp+864]
    37bde6fc4mov [rsp+32], r14
    37bde6fc9add rcx, r15
    37bde6fccmov [rsp+560], r13
    37bde6fd4lea rdx, [rdx+8*rax]
    37bde6fd8mov rax, [rsp+136]
    37bde6fe0lea r9, [r10+8*rcx]
    37bde6fe4mov rcx, rbx
    37bde6fe7mov [rsp+40], rax
    37bde6feccall crot_64_
    37bde6ff1mov rax, [rsp+120]
    37bde6ff6mov rcx, [rsp+136]
    37bde6ffemov [rsp+48], r12
    37bde7003mov rdx, [rsp+152]
    37bde700bmov r10, [rsp+880]
    37bde7013mov [rsp+32], r14
    37bde7018lea r8, [rip+0x66d629]
    37bde701fimul rax, rsi
    37bde7023mov [rsp+40], rcx
    37bde7028add rax, [rsp+96]
    37bde702dmov rcx, rbx
    37bde7030add rax, r15
    37bde7033add rdx, r15
    37bde7036mov [rsp+560], r13
    37bde703elea rdx, [r10+8*rdx]
    37bde7042lea r9, [r10+8*rax]
    37bde7046call crot_64_
    37bde704bcmp [rsp+88], 0
    37bde7051je 0x37bde6e02
    37bde7057mov rbx, [rsp+232]
    37bde705fmov rdx, [rsp+240]
    37bde7067mov [rsp+32], r14
    37bde706clea r8, [rip+0x66d5d5]
    37bde7073mov rax, rbx
    37bde7076imul rax, rsi
    37bde707alea rcx, [rax+rdx+1]
    37bde707fadd rax, rbx
    37bde7082mov rbx, [rsp+928]
    37bde708alea rax, [rdx+rax+1]
    37bde708flea rdx, [rbx+8*rax]
    37bde7093mov rax, [rsp+200]
    37bde709blea r9, [rbx+8*rcx]
    37bde709fmov rcx, [rsp+840]
    37bde70a7mov [rsp+48], rax
    37bde70acmov rax, [rsp+136]
    37bde70b4mov [rsp+40], rax
    37bde70b9call crot_64_
    37bde70bejmp 0x37bde6e02
    37bde70c3
    37bde70c3 0f 1f 44 00 00 ..D..
    37bde70c8
    37bde70c8loc_37bde70c8:
    37bde70c8mov rax, [rsp+864]
    37bde70d0mov rbx, [rsp+112]
    37bde70d5lea rdi, [rsp+552]
    37bde70ddlea r9, [rip+0x66d564]
    37bde70e4mov rdx, rdi
    37bde70e7mov rcx, r9
    37bde70ealea r8, [rax+rbx]
    37bde70eecall cscal_64_
    37bde70f3cmp [rsp+88], 0
    37bde70f9je 0x37bde6c37
    37bde70ff
    37bde70ffloc_37bde70ff:
    37bde70ffmov rax, [rsp+232]
    37bde7107mov rbx, [rsp+240]
    37bde710fmov rdx, rdi
    37bde7112lea r9, [rip+0x66d52f]
    37bde7119mov rcx, [rsp+840]
    37bde7121imul rax, rbp
    37bde7125lea rax, [rbx+rax+1]
    37bde712amov rbx, [rsp+928]
    37bde7132lea r8, [rbx+8*rax]
    37bde7136call cscal_64_
    37bde713bjmp 0x37bde6c37
    37bde7140
    37bde7140loc_37bde7140:
    37bde7140mov [rsp+104], rbx
    37bde7145mov r15, [rsp+880]
    37bde714d
    37bde714dloc_37bde714d:
    37bde714dmov esi, 1
    37bde7152pxor x8, x8
    37bde7157mov [rsp+536], 1
    37bde7163cmp [rsp+104], 1
    37bde7169jle 0x37bde73a8
    37bde716fmov r12, [rsp+80]
    37bde7174mov rbx, [rsp+120]
    37bde7179mov rdi, [rsp+96]
    37bde717ejmp 0x37bde72bf
    37bde7183
    37bde7183 0f 1f 44 00 00 ..D..
    37bde7188
    37bde7188loc_37bde7188:
    37bde7188movaps x3, x8
    37bde718cmov rax, [rsp+64]
    37bde7191movss [rbp], x1
    37bde7196divss x3, x0
    37bde719amov [rbp+4], 0
    37bde71a1imul rax, rsi
    37bde71a5lea r14, [rax+r12]
    37bde71a9movaps x2, x3
    37bde71acmulss x2, x8
    37bde71b1addss x2, x0
    37bde71b5movaps x0, x7
    37bde71b8mulss x0, x3
    37bde71bcaddss x0, x9
    37bde71c1mulss x9, x3
    37bde71c6divss x0, x2
    37bde71casubss x7, x9
    37bde71cfdivss x7, x2
    37bde71d3xorps x7, [rip+0x66d486]
    37bde71daunpcklps x0, x7
    37bde71ddmovlps [rsp+552], x0
    37bde71e5cmp [rsp+72], 0
    37bde71ebje 0x37bde7318
    37bde71f1sub rsi, 1
    37bde71f5lea rcx, [rsp+560]
    37bde71fdlea r8, [r15+8*r13+8]
    37bde7202mov [rsp+560], rsi
    37bde720alea rsi, [rsp+552]
    37bde7212lea r9, [rip+0x66d42f]
    37bde7219mov rdx, rsi
    37bde721ccall cscal_64_
    37bde7221mov rax, [rsp+864]
    37bde7229lea rcx, [rsp+536]
    37bde7231mov rdx, rsi
    37bde7234lea r9, [rip+0x66d40d]
    37bde723blea r8, [rax+8*r14+8]
    37bde7240call cscal_64_
    37bde7245mov rax, [rsp+536]
    37bde724dcmp [rsp+88], 0
    37bde7253jne 0x37bde7356
    37bde7259nop [rax]
    37bde7260
    37bde7260loc_37bde7260:
    37bde7260mov rdx, [rsp+64]
    37bde7265mov rsi, [rsp+864]
    37bde726dlea rcx, [rax-1]
    37bde7271imul rdx, rax
    37bde7275add rdx, r12
    37bde7278add rdx, rax
    37bde727bmov rdx, [rsi+8*rdx]
    37bde727fmov rsi, [rsp+896]
    37bde7287mov [rsi+8*rcx], rdx
    37bde728bmov rdx, rbx
    37bde728emov rsi, [rsp+904]
    37bde7296imul rdx, rax
    37bde729aadd rdx, rdi
    37bde729dadd rdx, rax
    37bde72a0mov rdx, [r15+8*rdx]
    37bde72a4mov [rsi+8*rcx], rdx
    37bde72a8lea rsi, [rax+1]
    37bde72acmov [rsp+536], rsi
    37bde72b4cmp rsi, [rsp+104]
    37bde72b9jge 0x37bde73a8
    37bde72bf
    37bde72bfloc_37bde72bf:
    37bde72bfmov rdx, rbx
    37bde72c2imul rdx, rsi
    37bde72c6lea r13, [rdx+rdi]
    37bde72calea r14, [r13+rsi]
    37bde72cflea rbp, [r15+8*r14]
    37bde72d3movss x7, [rbp+4]
    37bde72d8movss x9, [rbp]
    37bde72demovd r9l, x7
    37bde72e3movd ecx, x9
    37bde72e8shl r9, 32
    37bde72ecor rcx, r9
    37bde72efcall fn_37c42fc90
    37bde72f4comiss x0, x6
    37bde72f7movaps x1, x0
    37bde72faja 0x37bde7188
    37bde7300mov [r15+8*r14], 0
    37bde7308mov rax, [rsp+536]
    37bde7310jmp 0x37bde7260
    37bde7315
    37bde7315 0f 1f 00 ...
    37bde7318
    37bde7318loc_37bde7318:
    37bde7318mov rcx, [rsp+864]
    37bde7320lea rax, [rsi+r14]
    37bde7324lea r9, [rip+0x66d31d]
    37bde732blea rsi, [rsp+552]
    37bde7333lea r8, [rcx+8*rax]
    37bde7337mov rdx, rsi
    37bde733amov rcx, r9
    37bde733dcall cscal_64_
    37bde7342mov rax, [rsp+536]
    37bde734acmp [rsp+88], 0
    37bde7350je 0x37bde7260
    37bde7356
    37bde7356loc_37bde7356:
    37bde7356mov rdx, [rsp+232]
    37bde735emov [rsp+80], rax
    37bde7363lea r9, [rip+0x66d2de]
    37bde736amov rcx, [rsp+840]
    37bde7372imul rdx, rax
    37bde7376mov rax, [rsp+240]
    37bde737elea rdx, [rax+rdx+1]
    37bde7383mov rax, [rsp+928]
    37bde738blea r8, [rax+8*rdx]
    37bde738fmov rdx, rsi
    37bde7392call cscal_64_
    37bde7397mov rax, [rsp+80]
    37bde739cjmp 0x37bde7260
    37bde73a1
    37bde73a1 0f 1f 80 00 00 00 00 .......
    37bde73a8
    37bde73a8loc_37bde73a8:
    37bde73a8mov rax, [rsp+968]
    37bde73b0mov [rax], 0
    37bde73b7mov rax, [rsp+840]
    37bde73bfmov rax, [rax]
    37bde73c2
    37bde73c2loc_37bde73c2:
    37bde73c2pxor x0, x0
    37bde73c6cvtsi2ss x0, rax
    37bde73cbmov rax, [rsp+944]
    37bde73d3mov [rax+4], 0
    37bde73damovss [rax], x0
    37bde73dejmp 0x37bde636a
    37bde73e3
    37bde73e3 0f 1f 44 00 00 ..D..
    37bde73e8
    37bde73e8loc_37bde73e8:
    37bde73e8mov [rsp+536], rsi
    37bde73f0movd x11, r12l
    37bde73f5cmp rbx, rsi
    37bde73f8jg 0x37bde7b30
    37bde73femov rcx, [rsp+96]
    37bde7403mov rax, r14
    37bde7406sub rax, [rsp+120]
    37bde740bmov [rsp+200], rsi
    37bde7413mov r11, [rsp+64]
    37bde7418mov [rsp+376], rax
    37bde7420lea r15, [rcx+rbp-1]
    37bde7425mov rcx, [rsp+80]
    37bde742amov [rsp+280], r13
    37bde7432add r15, rax
    37bde7435mov rax, [rsp+256]
    37bde743dmov [rsp+288], rbp
    37bde7445lea r14, [rcx+rbp-1]
    37bde744alea rcx, [rbp-2]
    37bde744emov [rsp+304], rdi
    37bde7456mov r12, [rsp+272]
    37bde745esub rax, r11
    37bde7461mov [rsp+184], r8
    37bde7469xor ebp, ebp
    37bde746bmov [rsp+384], rax
    37bde7473add r14, rax
    37bde7476mov rax, rsi
    37bde7479sub rax, rcx
    37bde747cmov rcx, [rsp+864]
    37bde7484mov [rsp+296], rdx
    37bde748cimul rax, r11
    37bde7490mov r13, rcx
    37bde7493lea r11, [rcx+8*rax]
    37bde7497mov rax, rsi
    37bde749amov rdi, rax
    37bde749dmov rsi, r11
    37bde74a0jmp 0x37bde7584
    37bde74a5
    37bde74a5 0f 1f 00 ...
    37bde74a8
    37bde74a8loc_37bde74a8:
    37bde74a8movss x1, [r13+8*r14]
    37bde74afmovss x0, [r13+8*r14+4]
    37bde74b6andps x1, [rip+0x66d1b3]
    37bde74bdandps x0, [rip+0x66d1ac]
    37bde74c4movss x2, [rsi+8*r14+4]
    37bde74cbandps x2, [rip+0x66d19e]
    37bde74d2addss x1, x0
    37bde74d6movss x0, [rsi+8*r14]
    37bde74dcandps x0, [rip+0x66d18d]
    37bde74e3movss x3, [r13+8*r14-4]
    37bde74eaandps x3, [rip+0x66d17f]
    37bde74f1addss x0, x2
    37bde74f5movss x2, [r13+8*r14-8]
    37bde74fcandps x2, [rip+0x66d16d]
    37bde7503addss x2, x3
    37bde7507addss x0, x2
    37bde750bmulss x0, x13
    37bde7510maxss x0, x6
    37bde7514comiss x0, x1
    37bde7517jae 0x37bde79c0
    37bde751dlea rax, [rdi-1]
    37bde7521mov [rsp+160], rax
    37bde7529mov rax, [rsp+880]
    37bde7531movss x5, [rax+8*r15]
    37bde7537mov r9l, [rax+8*r15+4]
    37bde753cmovd ecx, x5
    37bde7540shl r9, 32
    37bde7544movss [rsp+136], x5
    37bde754dor rcx, r9
    37bde7550call fn_37c42fc90
    37bde7555mov rax, [rsp+160]
    37bde755dcomiss x7, x0
    37bde7560ja 0x37bde9570
    37bde7566add r15, [rsp+96]
    37bde756badd r14, [rsp+80]
    37bde7570mov ebp, 1
    37bde7575cmp rax, rbx
    37bde7578jl 0x37bde7b30
    37bde757emov r12, rax
    37bde7581mov rdi, rax
    37bde7584
    37bde7584loc_37bde7584:
    37bde7584cmp rdi, rbx
    37bde7587jne 0x37bde74a8
    37bde758dtest bpl, bpl
    37bde7590mov r8, [rsp+184]
    37bde7598mov [rsp+272], r12
    37bde75a0mov [rsp+184], rdi
    37bde75a8mov rsi, [rsp+200]
    37bde75b0mov r13, [rsp+280]
    37bde75b8mov rbp, [rsp+288]
    37bde75c0mov rdx, [rsp+296]
    37bde75c8mov rdi, [rsp+304]
    37bde75d0je 0x37bde75da
    37bde75d2mov [rsp+536], r12
    37bde75da
    37bde75daloc_37bde75da:
    37bde75damov rax, [rsp+880]
    37bde75e2mov [rsp+200], rdx
    37bde75eamov [rsp+160], r8
    37bde75f2movss x5, [rax+8*r15]
    37bde75f8mov eax, [rax+8*r15+4]
    37bde75fdmovd ecx, x5
    37bde7601shl rax, 32
    37bde7605movss [rsp+136], x5
    37bde760eor rcx, rax
    37bde7611call fn_37c42fc90
    37bde7616mov r8, [rsp+160]
    37bde761emov rdx, [rsp+200]
    37bde7626comiss x7, x0
    37bde7629jbe 0x37bde7b50
    37bde762fmov rax, [rsp+880]
    37bde7637xor ecx, ecx
    37bde7639mov [rax+8*r15], 0
    37bde7641
    37bde7641loc_37bde7641:
    37bde7641cmp [rsp+184], rbp
    37bde7649jge 0x37bde94fb
    37bde764fmov rbx, [rsp+184]
    37bde7657mov r10, [rsp+64]
    37bde765cmov [rsp+392], rsi
    37bde7664pxor x8, x8
    37bde7669mov r15, [rsp+864]
    37bde7671mov r12, [rsp+352]
    37bde7679mov [rsp+400], r13
    37bde7681mov r13, rcx
    37bde7684lea rax, [8*r10+8]
    37bde768cmov r11, rbx
    37bde768fmov [rsp+320], rbp
    37bde7697imul r11, r10
    37bde769bmov [rsp+344], rax
    37bde76a3mov rax, [rsp+80]
    37bde76a8mov [rsp+408], rdi
    37bde76b0lea r9, [rax+rbx]
    37bde76b4mov [rsp+416], r8
    37bde76bclea rax, [r9+r11]
    37bde76c0mov [rsp+424], rdx
    37bde76c8lea r14, [r15+8*rax]
    37bde76cclea rax, [r10+r11]
    37bde76d0add rax, r9
    37bde76d3lea rax, [r15+8*rax]
    37bde76d7lea r15, [rbx+1]
    37bde76dbmov [rsp+184], rax
    37bde76e3mov rax, [rsp+120]
    37bde76e8mov rsi, [rsp+184]
    37bde76f0lea r9, [8*rax+8]
    37bde76f8mov [rsp+336], r9
    37bde7700imul rax, r15
    37bde7704mov r9, [rsp+96]
    37bde7709add r9, rbx
    37bde770cadd rax, r9
    37bde770fmov r9, [rsp+880]
    37bde7717lea rax, [r9+8*rax+8]
    37bde771clea r9, [8*r12]
    37bde7724mov [rsp+304], r9
    37bde772cmov r9, rbx
    37bde772fimul r9, r12
    37bde7733mov r12, [rsp+912]
    37bde773badd r9, [rsp+360]
    37bde7743lea r9, [r12+8*r9+8]
    37bde7748mov r12, r14
    37bde774bmov [rsp+296], r9
    37bde7753lea r9, [rbx-1]
    37bde7757lea rbx, [rsp+508]
    37bde775fimul r9, r10
    37bde7763mov [rsp+136], rbx
    37bde776blea rbx, [rsp+560]
    37bde7773mov rdi, [rsp+136]
    37bde777bmov [rsp+280], rbx
    37bde7783mov rbx, rax
    37bde7786mov r10, r9
    37bde7789lea r9, [rsp+544]
    37bde7791sub r10, r11
    37bde7794lea r11, [rsp+512]
    37bde779cmov [rsp+200], r9
    37bde77a4mov rbp, r9
    37bde77a7mov [rsp+160], r11
    37bde77afmov r11, [rsp+248]
    37bde77b7mov r14, r10
    37bde77baadd r11, 1
    37bde77bemov [rsp+328], r11
    37bde77c6jmp 0x37bde7879
    37bde77cb
    37bde77cb 0f 1f 44 00 00 ..D..
    37bde77d0
    37bde77d0loc_37bde77d0:
    37bde77d0test r13, r13
    37bde77d3je 0x37bde7813
    37bde77d5movss x3, [r12+8*r14+4]
    37bde77dcmovss x0, [r12+8*r14]
    37bde77e2movss x2, [rsp+508]
    37bde77ebmovaps x4, x3
    37bde77eemulss x4, x8
    37bde77f3movaps x1, x2
    37bde77f6mulss x1, x0
    37bde77famulss x2, x3
    37bde77femulss x0, x8
    37bde7803subss x1, x4
    37bde7807addss x0, x2
    37bde780bunpcklps x1, x0
    37bde780emovlps [r12+8*r14], x1
    37bde7813
    37bde7813loc_37bde7813:
    37bde7813movss x0, [rbx]
    37bde7817movss x1, [rbx+4]
    37bde781candps x0, [rip+0x66ce4d]
    37bde7823andps x1, [rip+0x66ce46]
    37bde782aaddss x0, x1
    37bde782ecomiss x0, x7
    37bde7831jae 0x37bde9348
    37bde7837mov rax, [rsp+344]
    37bde783fmov [rbx], 0
    37bde7846xor r13l, r13l
    37bde7849mov rcx, [rsp+304]
    37bde7851add rbx, [rsp+336]
    37bde7859add [rsp+296], rcx
    37bde7861add r12, rax
    37bde7864add rsi, rax
    37bde7867cmp r15, [rsp+320]
    37bde786fje 0x37bde9391
    37bde7875add r15, 1
    37bde7879
    37bde7879loc_37bde7879:
    37bde7879mov rdx, [r12]
    37bde787dmov [rsp+32], r12
    37bde7882mov r9, rbp
    37bde7885mov r8, rdi
    37bde7888mov rcx, [rsp+160]
    37bde7890mov [rsp+184], r15
    37bde7898mov [rsp+512], rdx
    37bde78a0lea rdx, [r12+8]
    37bde78a5call clartg_64_
    37bde78aamov rax, [rsp+872]
    37bde78b2lea r9, [rsi+8]
    37bde78b6mov rdx, rsi
    37bde78b9mov r11, [rsp+328]
    37bde78c1mov rcx, [rsp+280]
    37bde78c9mov [r12+8], 0
    37bde78d2mov [rsp+32], rax
    37bde78d7mov r8, rax
    37bde78damov [rsp+48], rbp
    37bde78dfsub r11, r15
    37bde78e2mov [rsp+40], rdi
    37bde78e7mov [rsp+560], r11
    37bde78efmov [rsp+288], r11
    37bde78f7call crot_64_
    37bde78fcmov rax, [rsp+888]
    37bde7904mov r9, rbx
    37bde7907mov [rsp+48], rbp
    37bde790cmov [rsp+40], rdi
    37bde7911mov r11, [rsp+288]
    37bde7919lea rdx, [rbx-8]
    37bde791dmov [rsp+32], rax
    37bde7922mov rcx, [rsp+280]
    37bde792amov r8, rax
    37bde792dmov [rsp+560], r11
    37bde7935call crot_64_
    37bde793acmp [rsp+168], 0
    37bde7943je 0x37bde77d0
    37bde7949mov rax, [rsp+280]
    37bde7951mov [rsp+40], rdi
    37bde7956lea r8, [rip+0x66cceb]
    37bde795dmov rcx, [rsp+304]
    37bde7965movss x0, [rsp+548]
    37bde796emov [rsp+48], rax
    37bde7973lea rax, [rip+0x66ccce]
    37bde797axorps x0, [rip+0x66ccdf]
    37bde7981movss x1, [rsp+544]
    37bde798amov [rsp+32], rax
    37bde798fmov rax, [rsp+296]
    37bde7997unpcklps x1, x0
    37bde799alea r9, [rax+rcx]
    37bde799emov rcx, [rsp+840]
    37bde79a6mov rdx, rax
    37bde79a9movlps [rsp+560], x1
    37bde79b1call crot_64_
    37bde79b6jmp 0x37bde77d0
    37bde79bb
    37bde79bb 0f 1f 44 00 00 ..D..
    37bde79c0
    37bde79c0loc_37bde79c0:
    37bde79c0test bpl, bpl
    37bde79c3mov r8, [rsp+184]
    37bde79cbmov [rsp+272], r12
    37bde79d3mov [rsp+184], rdi
    37bde79dbmov rsi, [rsp+200]
    37bde79e3mov r13, [rsp+280]
    37bde79ebmov rbp, [rsp+288]
    37bde79f3mov rdx, [rsp+296]
    37bde79fbmov rdi, [rsp+304]
    37bde7a03je 0x37bde7a0d
    37bde7a05mov [rsp+536], r12
    37bde7a0d
    37bde7a0dloc_37bde7a0d:
    37bde7a0dmov rax, [rsp+864]
    37bde7a15mov [rax+8*r14], 0
    37bde7a1djmp 0x37bde75da
    37bde7a22
    37bde7a22 66 0f 1f 44 00 00 f..D..
    37bde7a28
    37bde7a28loc_37bde7a28:
    37bde7a28mov rax, [rsp+944]
    37bde7a30mov [rax], 0x3f800000
    37bde7a36jmp 0x37bde636a
    37bde7a3b
    37bde7a3b 0f 1f 44 00 00 ..D..
    37bde7a40
    37bde7a40loc_37bde7a40:
    37bde7a40mov rax, [rsp+104]
    37bde7a45mov [rsp+248], rdi
    37bde7a4dmov [rsp+128], rax
    37bde7a55jmp 0x37bde6aed
    37bde7a5a
    37bde7a5a 66 0f 1f 44 00 00 f..D..
    37bde7a60
    37bde7a60loc_37bde7a60:
    37bde7a60mov rax, [rsp+936]
    37bde7a68mov r8, [rsp+840]
    37bde7a70mov [rsp+56], 4
    37bde7a79lea r9, [rip+0x66cbac]
    37bde7a80lea rcx, [rip+0x66cbad]
    37bde7a87mov [rsp+48], rax
    37bde7a8cmov rax, [rsp+928]
    37bde7a94mov rdx, r8
    37bde7a97mov [rsp+40], rax
    37bde7a9clea rax, [rip+0x66cb95]
    37bde7aa3mov [rsp+32], rax
    37bde7aa8call claset_64_
    37bde7aadjmp 0x37bde6682
    37bde7ab2
    37bde7ab2 66 0f 1f 44 00 00 f..D..
    37bde7ab8
    37bde7ab8loc_37bde7ab8:
    37bde7ab8mov rax, [rsp+920]
    37bde7ac0mov r8, [rsp+840]
    37bde7ac8mov [rsp+56], 4
    37bde7ad1lea r9, [rip+0x66cb54]
    37bde7ad8lea rcx, [rip+0x66cb55]
    37bde7adfmov [rsp+48], rax
    37bde7ae4mov rax, [rsp+912]
    37bde7aecmov rdx, r8
    37bde7aefmov [rsp+40], rax
    37bde7af4lea rax, [rip+0x66cb3d]
    37bde7afbmov [rsp+32], rax
    37bde7b00call claset_64_
    37bde7b05jmp 0x37bde6678
    37bde7b0a
    37bde7b0a 66 0f 1f 44 00 00 f..D..
    37bde7b10
    37bde7b10loc_37bde7b10:
    37bde7b10mov rax, [rsp+968]
    37bde7b18mov [rax], rsi
    37bde7b1bmov rax, [rsp+840]
    37bde7b23mov rax, [rax]
    37bde7b26jmp 0x37bde73c2
    37bde7b2b
    37bde7b2b 0f 1f 44 00 00 ..D..
    37bde7b30
    37bde7b30loc_37bde7b30:
    37bde7b30mov rax, [rsp+840]
    37bde7b38mov rdi, [rsp+968]
    37bde7b40mov rax, [rax]
    37bde7b43lea rdx, [rax+rax+1]
    37bde7b48mov [rdi], rdx
    37bde7b4bjmp 0x37bde73c2
    37bde7b50
    37bde7b50loc_37bde7b50:
    37bde7b50lea rax, [rsp+544]
    37bde7b58mov [rsp+200], rax
    37bde7b60lea rax, [rsp+508]
    37bde7b68mov [rsp+136], rax
    37bde7b70lea rax, [rsp+512]
    37bde7b78mov [rsp+160], rax
    37bde7b80
    37bde7b80loc_37bde7b80:
    37bde7b80add [rsp+176], 1
    37bde7b89mov rax, [rsp+176]
    37bde7b91mov rcx, 0xcccccccccccccccd
    37bde7b9bcmp [rsp+72], 0
    37bde7ba1mov rdi, [rsp+128]
    37bde7ba9cmove rdi, [rsp+184]
    37bde7bb2mul rcx
    37bde7bb5mov [rsp+128], rdi
    37bde7bbdshr rdx, 3
    37bde7bc1lea rax, [rdx+4*rdx]
    37bde7bc5add rax, rax
    37bde7bc8cmp rax, [rsp+176]
    37bde7bd0je 0x37bde8df5
    37bde7bd6mov rax, [rsp+152]
    37bde7bdemov rdi, [rsp+880]
    37bde7be6pxor x5, x5
    37bde7beamovss x14, [rsp+368]
    37bde7bf4add rax, rsi
    37bde7bf7movss x1, [rdi+8*rax]
    37bde7bfcmovss x0, [rdi+8*rax+4]
    37bde7c02movaps x4, x14
    37bde7c06movaps x3, x14
    37bde7c0amov rax, [rsp+312]
    37bde7c12mulss x4, x1
    37bde7c16movaps x2, x0
    37bde7c19mulss x1, x5
    37bde7c1dmulss x0, x14
    37bde7c22mulss x2, x5
    37bde7c26addss x0, x1
    37bde7c2amovss x1, [rax+4]
    37bde7c2fsubss x4, x2
    37bde7c33movss x2, [rax]
    37bde7c37movaps x8, x1
    37bde7c3bmulss x3, x2
    37bde7c3fmulss x8, x5
    37bde7c44mulss x2, x5
    37bde7c48mulss x1, x14
    37bde7c4dsubss x3, x8
    37bde7c52addss x1, x2
    37bde7c56movaps x5, x3
    37bde7c59andps x5, [rip+0x66ca10]
    37bde7c60movaps x2, x1
    37bde7c63andps x2, [rip+0x66ca06]
    37bde7c6amovss [rsp+112], x5
    37bde7c70comiss x2, x5
    37bde7c73movd edx, x2
    37bde7c77jbe 0x37bde8fa8
    37bde7c7dmovaps x5, x3
    37bde7c80movaps x2, x3
    37bde7c83movaps x8, x4
    37bde7c87divss x5, x1
    37bde7c8bmulss x2, x5
    37bde7c8fmulss x8, x5
    37bde7c94mulss x5, x0
    37bde7c98addss x2, x1
    37bde7c9caddss x8, x0
    37bde7ca1subss x5, x4
    37bde7ca5divss x8, x2
    37bde7caadivss x5, x2
    37bde7caemovss [rsp+208], x8
    37bde7cb8movss [rsp+280], x5
    37bde7cc1
    37bde7cc1loc_37bde7cc1:
    37bde7cc1movss x2, [r8]
    37bde7cc6movss x0, [r8+4]
    37bde7cccpxor x4, x4
    37bde7cd0movaps x8, x12
    37bde7cd4mov rbx, [rsp+880]
    37bde7cdcmov rax, [rsp+376]
    37bde7ce4mulss x8, x2
    37bde7ce9movaps x5, x0
    37bde7cecadd rax, [rsp+96]
    37bde7cf1movss x15, [rsp+368]
    37bde7cfbmulss x2, x4
    37bde7cffadd rax, rsi
    37bde7d02mulss x0, x12
    37bde7d07movss x11, [rbx+8*rax+4]
    37bde7d0emulss x5, x4
    37bde7d12movaps x14, x11
    37bde7d16mulss x14, x4
    37bde7d1bmulss x11, x15
    37bde7d20addss x0, x2
    37bde7d24movss x2, [rbx+8*rax]
    37bde7d29subss x8, x5
    37bde7d2emovaps x5, x15
    37bde7d32mulss x5, x2
    37bde7d36mulss x2, x4
    37bde7d3asubss x5, x14
    37bde7d3faddss x2, x11
    37bde7d44movaps x11, x5
    37bde7d48andps x11, [rip+0x66c920]
    37bde7d50movaps x14, x2
    37bde7d54andps x14, [rip+0x66c914]
    37bde7d5ccomiss x14, x11
    37bde7d60jbe 0x37bde8f03
    37bde7d66movaps x11, x5
    37bde7d6adivss x11, x2
    37bde7d6fmulss x5, x11
    37bde7d74movaps x14, x5
    37bde7d78movss x5, [r13]
    37bde7d7eaddss x14, x2
    37bde7d83movaps x2, x8
    37bde7d87mulss x2, x11
    37bde7d8caddss x2, x0
    37bde7d90mulss x0, x11
    37bde7d95divss x2, x14
    37bde7d9asubss x0, x8
    37bde7d9fdivss x0, x14
    37bde7da4movss [rsp+224], x2
    37bde7dadmovaps x2, x12
    37bde7db1mulss x2, x5
    37bde7db5mulss x5, x4
    37bde7db9movss [rsp+152], x0
    37bde7dc2movss x0, [r13+4]
    37bde7dc8movaps x8, x0
    37bde7dccmulss x8, x4
    37bde7dd1movaps x4, x11
    37bde7dd5mulss x0, x12
    37bde7ddasubss x2, x8
    37bde7ddfaddss x0, x5
    37bde7de3movaps x5, x14
    37bde7de7mulss x4, x2
    37bde7debaddss x4, x0
    37bde7defdivss x4, x14
    37bde7df4movaps x14, x11
    37bde7df8mulss x14, x0
    37bde7dfdsubss x14, x2
    37bde7e02divss x14, x5
    37bde7e07movd ebx, x4
    37bde7e0b
    37bde7e0bloc_37bde7e0b:
    37bde7e0bmov rax, [rsp+144]
    37bde7e13mov rdi, [rsp+864]
    37bde7e1bpxor x5, x5
    37bde7e1fmovaps x4, x12
    37bde7e23add rax, rsi
    37bde7e26movss x2, [rdi+8*rax]
    37bde7e2bmovss x0, [rdi+8*rax+4]
    37bde7e31mulss x4, x2
    37bde7e35movaps x8, x0
    37bde7e39mulss x2, x5
    37bde7e3dmulss x0, x12
    37bde7e42mulss x8, x5
    37bde7e47addss x0, x2
    37bde7e4bmovd x2, edx
    37bde7e4fcomiss x2, [rsp+112]
    37bde7e54subss x4, x8
    37bde7e59jbe 0x37bde92b8
    37bde7e5fmovaps x2, x3
    37bde7e62mov rax, [rsp+264]
    37bde7e6adivss x2, x1
    37bde7e6emovss x8, [rax+4]
    37bde7e74movss x11, [rax]
    37bde7e79mulss x3, x2
    37bde7e7daddss x3, x1
    37bde7e81movaps x1, x4
    37bde7e84mulss x1, x2
    37bde7e88addss x1, x0
    37bde7e8cmulss x0, x2
    37bde7e90divss x1, x3
    37bde7e94subss x0, x4
    37bde7e98movaps x4, x8
    37bde7e9cmulss x4, x5
    37bde7ea0mulss x8, x12
    37bde7ea5divss x0, x3
    37bde7ea9movd eax, x1
    37bde7eadmovaps x1, x12
    37bde7eb1mulss x1, x11
    37bde7eb6mulss x11, x5
    37bde7ebbsubss x1, x4
    37bde7ebfaddss x8, x11
    37bde7ec4movaps x11, x2
    37bde7ec8mulss x11, x1
    37bde7ecdaddss x11, x8
    37bde7ed2mulss x8, x2
    37bde7ed7divss x11, x3
    37bde7edcsubss x8, x1
    37bde7ee1divss x8, x3
    37bde7ee6
    37bde7ee6loc_37bde7ee6:
    37bde7ee6movss x4, [rsp+280]
    37bde7eefmovd x1, ebx
    37bde7ef3movss x5, [rsp+208]
    37bde7efcmovss x15, [rsp+224]
    37bde7f06mulss x1, x5
    37bde7f0amovaps x3, x4
    37bde7f0dmulss x3, x14
    37bde7f12subss x1, x3
    37bde7f16movaps x3, x5
    37bde7f19mulss x3, x14
    37bde7f1esubss x11, x1
    37bde7f23movd x1, ebx
    37bde7f27mulss x1, x4
    37bde7f2baddss x1, x3
    37bde7f2fmovaps x3, x4
    37bde7f32mulss x3, x15
    37bde7f37subss x8, x1
    37bde7f3cmovaps x1, x15
    37bde7f40mulss x1, x5
    37bde7f44movss [rsp+112], x8
    37bde7f4bmovss x8, [rsp+152]
    37bde7f55mulss x5, x8
    37bde7f5amovaps x2, x8
    37bde7f5emulss x2, x4
    37bde7f62movd x4, eax
    37bde7f66subss x1, x2
    37bde7f6asubss x4, x1
    37bde7f6emovaps x1, x3
    37bde7f71addss x1, x5
    37bde7f75movd ecx, x4
    37bde7f79subss x0, x1
    37bde7f7dmovd eax, x0
    37bde7f81shl rax, 32
    37bde7f85or rcx, rax
    37bde7f88call fn_37c4305f0
    37bde7f8dmov ecx, ebx
    37bde7f8fmov [rsp+144], eax
    37bde7f96shr rax, 32
    37bde7f9amovd x8, eax
    37bde7f9fmovd eax, x14
    37bde7fa4shl rax, 32
    37bde7fa8or rcx, rax
    37bde7fabcall fn_37c4305f0
    37bde7fb0mov edx, 1
    37bde7fb5movq x5, rax
    37bde7fbamovd x2, eax
    37bde7fbeshufps x5, x5, 85
    37bde7fc2movdqa x1, x5
    37bde7fc6movaps x14, x5
    37bde7fcamovaps x3, x2
    37bde7fcdmovss x5, [rsp+144]
    37bde7fd6unpcklps x3, x1
    37bde7fd9unpcklps x1, x2
    37bde7fdcmovaps x4, x2
    37bde7fdfmulss x4, x8
    37bde7fe4movq x3, x3
    37bde7fe8movq x1, x1
    37bde7fecmovsldup x0, x5
    37bde7ff0movq x0, x0
    37bde7ff4mulps x0, x3
    37bde7ff7movsldup x3, x8
    37bde7ffcmovq x3, x3
    37bde8000mulps x3, x1
    37bde8003movq x0, x0
    37bde8007movq x1, x3
    37bde800bmovaps x3, x5
    37bde800eaddsubps x0, x1
    37bde8012mulss x3, x2
    37bde8016movaps x1, x8
    37bde801amulss x1, x14
    37bde801fmulss x14, x5
    37bde8024movlps [rsp+512], x0
    37bde802csubss x3, x1
    37bde8030pxor x1, x1
    37bde8034addss x4, x14
    37bde8039ucomiss x3, x1
    37bde803csetp al
    37bde803fcmovne eax, edx
    37bde8042test al, al
    37bde8044jne 0x37bde8ff1
    37bde804aucomiss x4, x1
    37bde804dsetp al
    37bde8050cmovne eax, edx
    37bde8053test al, al
    37bde8055jne 0x37bde8ff1
    37bde805b
    37bde805bloc_37bde805b:
    37bde805bmov rdi, [rsp+184]
    37bde8063cmp rdi, rsi
    37bde8066jge 0x37bde8cd5
    37bde806cmov rax, [rsp+80]
    37bde8071mov rdx, [rsp+256]
    37bde8079pxor x3, x3
    37bde807dmovss [rsp+144], x10
    37bde8087mov rbx, [rsp+864]
    37bde808fmovss x10, [rsp+112]
    37bde8096movss [rsp+152], x7
    37bde809flea r11, [8*rax]
    37bde80a7add rax, rbp
    37bde80aamov r10, [rsp+880]
    37bde80b2movss x15, [rsp+372]
    37bde80bcmovss x4, [rsp+368]
    37bde80c5add rdx, rax
    37bde80c8movss [rsp+224], x6
    37bde80d1lea rcx, [rbx+8*rdx]
    37bde80d5mov rdx, [rsp+96]
    37bde80dalea rbx, [8*rdx]
    37bde80e2add rdx, rbp
    37bde80e5add rdx, [rsp+376]
    37bde80edlea r9, [r10+8*rdx-8]
    37bde80f2mov rdx, [rsp+384]
    37bde80faadd rax, rdx
    37bde80fdmov rdx, [rsp+864]
    37bde8105lea r8, [rdx+8*rax-8]
    37bde810amov eax, 1
    37bde810fjmp 0x37bde812e
    37bde8111
    37bde8111 0f 1f 80 00 00 00 00 .......
    37bde8118
    37bde8118loc_37bde8118:
    37bde8118sub rsi, 1
    37bde811cadd rcx, r11
    37bde811fadd r9, rbx
    37bde8122add r8, r11
    37bde8125cmp rsi, rdi
    37bde8128je 0x37bde8cb9
    37bde812e
    37bde812eloc_37bde812e:
    37bde812emovss x8, [r9]
    37bde8133movss x0, [r9+4]
    37bde8139movaps x2, x4
    37bde813cmovaps x6, x12
    37bde8140movss x1, [rcx-4]
    37bde8145movss x5, [rcx-8]
    37bde814amulss x2, x8
    37bde814fmovaps x14, x0
    37bde8153mulss x8, x3
    37bde8158mulss x0, x4
    37bde815cmulss x14, x3
    37bde8161mulss x6, x5
    37bde8165mulss x5, x3
    37bde8169addss x0, x8
    37bde816emovaps x8, x1
    37bde8172mulss x8, x3
    37bde8177subss x2, x14
    37bde817cmovaps x14, x10
    37bde8180mulss x1, x12
    37bde8185mulss x14, x0
    37bde818amulss x0, x11
    37bde818fsubss x6, x8
    37bde8194movaps x8, x11
    37bde8198mulss x8, x2
    37bde819daddss x1, x5
    37bde81a1mulss x2, x10
    37bde81a6movaps x7, x1
    37bde81a9movss x1, [rcx+4]
    37bde81aesubss x8, x14
    37bde81b3movss x14, [rip+0x66c494]
    37bde81bcaddss x2, x0
    37bde81c0subss x6, x8
    37bde81c5movss x8, [rcx]
    37bde81casubss x7, x2
    37bde81cemovaps x5, x8
    37bde81d2andps x5, [rip+0x66c497]
    37bde81d9movaps x2, x6
    37bde81dcandps x2, [rip+0x66c48d]
    37bde81e3movaps x0, x7
    37bde81e6andps x0, [rip+0x66c483]
    37bde81edaddss x2, x0
    37bde81f1movaps x0, x1
    37bde81f4andps x0, [rip+0x66c475]
    37bde81fbaddss x5, x0
    37bde81ffmovaps x0, x2
    37bde8202mulss x5, x12
    37bde8207maxss x0, x5
    37bde820bcomiss x14, x0
    37bde820fjbe 0x37bde8229
    37bde8211ucomiss x0, x3
    37bde8214setp r12b
    37bde8218cmovne r12l, eax
    37bde821ctest r12b, r12b
    37bde821fje 0x37bde8229
    37bde8221divss x2, x0
    37bde8225divss x5, x0
    37bde8229
    37bde8229loc_37bde8229:
    37bde8229movss x14, [r8]
    37bde822emovss x0, [r8+4]
    37bde8234mulss x2, x15
    37bde8239andps x14, [rip+0x66c42f]
    37bde8241andps x0, [rip+0x66c428]
    37bde8248addss x0, x14
    37bde824dmulss x0, x5
    37bde8251comiss x2, x0
    37bde8254jb 0x37bde8118
    37bde825amovd edx, x6
    37bde825emovaps x14, x8
    37bde8262movaps x5, x1
    37bde8265mov [rsp+184], rsi
    37bde826dmov [rsp+512], edx
    37bde8274movaps x8, x7
    37bde8278movss x10, [rsp+144]
    37bde8282movss x7, [rsp+152]
    37bde828bmovss x6, [rsp+224]
    37bde8294movss [rsp+516], x8
    37bde829e
    37bde829eloc_37bde829e:
    37bde829epxor x1, x1
    37bde82a2movaps x2, x5
    37bde82a5movaps x0, x12
    37bde82a9mov r9, [rsp+200]
    37bde82b1mulss x0, x14
    37bde82b6lea rax, [rsp+568]
    37bde82bemov r8, [rsp+136]
    37bde82c6mov rcx, [rsp+160]
    37bde82cemulss x2, x1
    37bde82d2mov [rsp+32], rax
    37bde82d7lea rdx, [rsp+520]
    37bde82dfmulss x14, x1
    37bde82e4mulss x5, x12
    37bde82e9subss x0, x2
    37bde82edaddss x5, x14
    37bde82f2movss [rsp+520], x0
    37bde82fbmovss [rsp+524], x5
    37bde8304call clartg_64_
    37bde8309mov r11, [rsp+184]
    37bde8311cmp r11, rbp
    37bde8314jge 0x37bde89a5
    37bde831amov r9, [rsp+120]
    37bde831fmov rcx, r11
    37bde8322mov rbx, [rsp+96]
    37bde8327mov r8, r11
    37bde832amov rdi, [rsp+232]
    37bde8332mov rdx, [rsp+240]
    37bde833amovss [rsp+312], x10
    37bde8344movss x14, [rip+0x66c313]
    37bde834dmov r12, [rsp+128]
    37bde8355imul rcx, r9
    37bde8359lea r13, [8*r9]
    37bde8361mov r10, [rsp+880]
    37bde8369lea rax, [8*rdi]
    37bde8371mov r15, [rsp+864]
    37bde8379pxor x8, x8
    37bde837emovss [rsp+320], x9
    37bde8388mov [rsp+224], rax
    37bde8390lea rax, [r11+1]
    37bde8394imul rdi, rax
    37bde8398add rdx, rdi
    37bde839bmov rdi, [rsp+928]
    37bde83a3lea r14, [rdi+8*rdx+8]
    37bde83a8mov rdi, [rsp+880]
    37bde83b0lea rdx, [rbx+r12]
    37bde83b4add rdx, rcx
    37bde83b7lea rsi, [rdi+8*rdx]
    37bde83bbmov edx, 1
    37bde83c0sub rdx, r12
    37bde83c3mov [rsp+304], rdx
    37bde83cblea rdi, [r11+rdx]
    37bde83cflea rdx, [r13+8]
    37bde83d3mov [rsp+256], rdx
    37bde83dblea rdx, [rbx+r11]
    37bde83dfadd rdx, rcx
    37bde83e2mov rcx, [rsp+80]
    37bde83e7lea rdx, [r10+8*rdx+8]
    37bde83ecmov [rsp+144], rdx
    37bde83f4mov rdx, [rsp+64]
    37bde83f9imul rax, rdx
    37bde83fdlea r10, [8*rdx]
    37bde8405lea rdx, [rcx+r12]
    37bde8409mov rcx, [rsp+880]
    37bde8411add rax, rdx
    37bde8414mov rdx, [rsp+80]
    37bde8419lea rbx, [r15+8*rax]
    37bde841dmov r15, [rsp+352]
    37bde8425add rdx, r8
    37bde8428lea rax, [8*r15]
    37bde8430mov [rsp+288], rax
    37bde8438mov rax, r11
    37bde843bmov r11, [rsp+912]
    37bde8443imul rax, r15
    37bde8447add rax, [rsp+360]
    37bde844flea r15, [r11+8*rax+8]
    37bde8454lea rax, [r10+8]
    37bde8458mov r11, [rsp+864]
    37bde8460mov [rsp+280], rax
    37bde8468lea rax, [r8-1]
    37bde846cimul rax, [rsp+64]
    37bde8472add rax, rdx
    37bde8475mov rdx, [rsp+248]
    37bde847dlea rax, [r11+8*rax]
    37bde8481mov [rsp+112], rax
    37bde8486lea rax, [rbp+1]
    37bde848alea r11, [rdx+1]
    37bde848esub rax, r12
    37bde8491sub r11, r8
    37bde8494mov [rsp+264], rax
    37bde849cmov rax, r9
    37bde849fmov r12, r11
    37bde84a2imul rax, rdx
    37bde84a6add rax, [rsp+96]
    37bde84ablea rax, [rcx+8*rax]
    37bde84afmov [rsp+296], rax
    37bde84b7mov rax, r14
    37bde84bamov r14, r8
    37bde84bdmovss [rsp+328], x13
    37bde84c7mov [rsp+208], rbp
    37bde84cfmov rbp, r10
    37bde84d2mov r10, r15
    37bde84d5mov r15, [rsp+144]
    37bde84ddnop [rax]
    37bde84e0
    37bde84e0loc_37bde84e0:
    37bde84e0cmp [rsp+184], r14
    37bde84e8jl 0x37bde89b0
    37bde84ee
    37bde84eeloc_37bde84ee:
    37bde84eecmp [rsp+248], r14
    37bde84f6jl 0x37bde8621
    37bde84fcmovss x3, [rsp+548]
    37bde8505lea rdx, [r15-8]
    37bde8509xor r8l, r8l
    37bde850cmovss x4, [rsp+544]
    37bde8515movss x2, [rsp+508]
    37bde851emov rcx, [rsp+112]
    37bde8523movaps x0, x3
    37bde8526movaps x1, x4
    37bde8529movaps x9, x4
    37bde852dxorps x0, x14
    37bde8531unpcklps x9, x3
    37bde8535movaps x5, x3
    37bde8538add rcx, rbp
    37bde853bunpcklps x1, x0
    37bde853eunpcklps x5, x4
    37bde8541unpcklps x3, x3
    37bde8544shufps x2, x2, 0
    37bde8548movlhps x9, x1
    37bde854cmovaps x1, x0
    37bde854funpcklps x0, x0
    37bde8552unpcklps x1, x4
    37bde8555movlhps x3, x0
    37bde8558shufps x4, x4, 0
    37bde855cmovlhps x5, x1
    37bde855fnop
    37bde8560
    37bde8560loc_37bde8560:
    37bde8560movups x0, [rcx]
    37bde8563add r8, 1
    37bde8567movaps x1, x0
    37bde856amovaps x10, x0
    37bde856eshufps x10, x0, -79
    37bde8573mulps x1, x2
    37bde8576mulps x10, x8
    37bde857aaddsubps x1, x10
    37bde857fmovaps x10, x0
    37bde8583shufps x10, x0, 10
    37bde8588shufps x0, x0, 95
    37bde858cmulps x10, x9
    37bde8590mulps x0, x5
    37bde8593addsubps x10, x0
    37bde8598movaps x0, x10
    37bde859caddps x0, x1
    37bde859fsubps x1, x10
    37bde85a3shufps x0, x1, -28
    37bde85a7movups [rcx], x0
    37bde85aamovups x0, [rdx]
    37bde85adadd rcx, rbp
    37bde85b0movaps x10, x0
    37bde85b4movaps x1, x0
    37bde85b7shufps x1, x0, -79
    37bde85bbmulps x10, x2
    37bde85bfmulps x1, x8
    37bde85c3addsubps x10, x1
    37bde85c8movaps x1, x0
    37bde85cbshufps x1, x0, 78
    37bde85cfshufps x0, x0, 27
    37bde85d3mulps x1, x4
    37bde85d6mulps x0, x3
    37bde85d9addsubps x1, x0
    37bde85ddmovaps x0, x10
    37bde85e1subps x0, x1
    37bde85e4addps x1, x10
    37bde85e8movaps x10, x1
    37bde85ecshufps x10, x0, -28
    37bde85f1movups [rdx], x10
    37bde85f5add rdx, r13
    37bde85f8cmp r8, r12
    37bde85fbjb 0x37bde8560
    37bde8601mov rcx, [rsp+296]
    37bde8609psrldq x0, 8
    37bde860emovlps [rsp+520], x1
    37bde8616movlps [rcx+8*r14+8], x0
    37bde861cmovlps [rcx+8*r14], x1
    37bde8621
    37bde8621loc_37bde8621:
    37bde8621cmp [rsp+168], 0
    37bde862ajne 0x37bde8b70
    37bde8630
    37bde8630loc_37bde8630:
    37bde8630mov rcx, [rsp+288]
    37bde8638lea r11, [rcx+r10]
    37bde863c
    37bde863cloc_37bde863c:
    37bde863cmov [rsp+152], rax
    37bde8644mov rax, [rsp+120]
    37bde8649mov r8, [rsp+136]
    37bde8651mov r9, [rsp+200]
    37bde8659mov [rsp+144], r11
    37bde8661mov rdx, [r15+8*rax]
    37bde8665mov rcx, [rsp+160]
    37bde866dmov [rsp+512], rdx
    37bde8675lea rdx, [r15+r13]
    37bde8679mov [rsp+32], rdx
    37bde867emov rdx, r15
    37bde8681call clartg_64_
    37bde8686lea r8, [r14+2]
    37bde868amov rax, [rsp+208]
    37bde8692mov [r15], 0
    37bde8699mov r11, [rsp+144]
    37bde86a1cmp r8, rax
    37bde86a4cmovg r8, rax
    37bde86a8cmp [rsp+128], r8
    37bde86b0mov rax, [rsp+152]
    37bde86b8jg 0x37bde87f3
    37bde86bemovss x9, [rsp+508]
    37bde86c8mov rcx, rbx
    37bde86cbadd r8, [rsp+304]
    37bde86d3xor edx, edx
    37bde86d5movss x10, [rsp+548]
    37bde86dfsub rcx, rbp
    37bde86e2movss x0, [rsp+544]
    37bde86ebmovsldup x9, x9
    37bde86f0movaps x11, x10
    37bde86f4movaps x13, x0
    37bde86f8movaps x15, x0
    37bde86fcxorps x11, x14
    37bde8700unpcklps x13, x10
    37bde8704unpcklps x10, x0
    37bde8708unpcklps x15, x11
    37bde870cunpcklps x11, x0
    37bde8710movq x13, x13
    37bde8715movq x9, x9
    37bde871amovq x15, x15
    37bde871fmovq x11, x11
    37bde8724movq x10, x10
    37bde8729nop [rax]
    37bde8730
    37bde8730loc_37bde8730:
    37bde8730movq x0, [rbx+8*rdx]
    37bde8735movaps x2, x0
    37bde8738movq x1, x0
    37bde873cmulps x1, x9
    37bde8740shufps x2, x2, -31
    37bde8744movq x2, x2
    37bde8748mulps x2, x8
    37bde874cmovq x1, x1
    37bde8750movq x2, x2
    37bde8754addsubps x1, x2
    37bde8758movsldup x2, x0
    37bde875cmovshdup x0, x0
    37bde8760movq x1, x1
    37bde8764movq x2, x2
    37bde8768mulps x2, x15
    37bde876cmovq x0, x0
    37bde8770mulps x0, x11
    37bde8774movq x5, x2
    37bde8778movq x0, x0
    37bde877caddsubps x5, x0
    37bde8780movq x0, [rcx+8*rdx]
    37bde8785movsldup x2, x0
    37bde8789movaps x4, x0
    37bde878cshufps x4, x4, -31
    37bde8790movq x5, x5
    37bde8794movq x4, x4
    37bde8798mulps x4, x8
    37bde879cmovq x3, x2
    37bde87a0movq x2, x0
    37bde87a4mulps x2, x9
    37bde87a8movshdup x0, x0
    37bde87acmulps x3, x13
    37bde87b0movq x4, x4
    37bde87b4movq x0, x0
    37bde87b8mulps x0, x10
    37bde87bcmovq x2, x2
    37bde87c0addsubps x2, x4
    37bde87c4movq x4, x2
    37bde87c8movq x2, x3
    37bde87ccmovq x0, x0
    37bde87d0subps x4, x5
    37bde87d3addsubps x2, x0
    37bde87d7movlps [rcx+8*rdx], x4
    37bde87dbmovq x2, x2
    37bde87dfaddps x2, x1
    37bde87e2movlps [rbx+8*rdx], x2
    37bde87e6add rdx, 1
    37bde87eacmp rdx, r8
    37bde87edjb 0x37bde8730
    37bde87f3
    37bde87f3loc_37bde87f3:
    37bde87f3cmp [rsp+128], r14
    37bde87fbjg 0x37bde8cb0
    37bde8801movss x9, [rsp+508]
    37bde880blea rdx, [rsi+r13]
    37bde880fxor ecx, ecx
    37bde8811movss x10, [rsp+548]
    37bde881bmovss x0, [rsp+544]
    37bde8824movsldup x9, x9
    37bde8829movaps x11, x10
    37bde882dxorps x11, x14
    37bde8831movaps x13, x0
    37bde8835movaps x15, x0
    37bde8839unpcklps x13, x10
    37bde883dunpcklps x15, x11
    37bde8841unpcklps x10, x0
    37bde8845unpcklps x11, x0
    37bde8849movq x15, x15
    37bde884emovq x13, x13
    37bde8853movq x9, x9
    37bde8858movq x11, x11
    37bde885dmovq x10, x10
    37bde8862nop [rax]
    37bde8865nop [rax+rax]
    37bde8870
    37bde8870loc_37bde8870:
    37bde8870movq x0, [rdx+8*rcx]
    37bde8875movaps x2, x0
    37bde8878movq x1, x0
    37bde887cmulps x1, x9
    37bde8880shufps x2, x2, -31
    37bde8884movq x2, x2
    37bde8888mulps x2, x8
    37bde888cmovq x1, x1
    37bde8890movq x2, x2
    37bde8894addsubps x1, x2
    37bde8898movsldup x2, x0
    37bde889cmovshdup x0, x0
    37bde88a0movq x1, x1
    37bde88a4movq x2, x2
    37bde88a8mulps x2, x15
    37bde88acmovq x0, x0
    37bde88b0mulps x0, x11
    37bde88b4movq x5, x2
    37bde88b8movq x0, x0
    37bde88bcaddsubps x5, x0
    37bde88c0movq x0, [rsi+8*rcx]
    37bde88c5movsldup x2, x0
    37bde88c9movaps x4, x0
    37bde88ccshufps x4, x4, -31
    37bde88d0movq x5, x5
    37bde88d4movq x4, x4
    37bde88d8mulps x4, x8
    37bde88dcmovq x3, x2
    37bde88e0movq x2, x0
    37bde88e4mulps x2, x9
    37bde88e8movshdup x0, x0
    37bde88ecmulps x3, x13
    37bde88f0movq x4, x4
    37bde88f4movq x0, x0
    37bde88f8mulps x0, x10
    37bde88fcmovq x2, x2
    37bde8900addsubps x2, x4
    37bde8904movq x4, x2
    37bde8908movq x2, x3
    37bde890cmovq x0, x0
    37bde8910subps x4, x5
    37bde8913addsubps x2, x0
    37bde8917movlps [rsi+8*rcx], x4
    37bde891bmovq x2, x2
    37bde891faddps x2, x1
    37bde8922movlps [rdx+8*rcx], x2
    37bde8926add rcx, 1
    37bde892acmp rcx, rdi
    37bde892djb 0x37bde8870
    37bde8933
    37bde8933loc_37bde8933:
    37bde8933cmp [rsp+88], 0
    37bde8939jne 0x37bde8a20
    37bde893f
    37bde893floc_37bde893f:
    37bde893fmov rsi, rdx
    37bde8942add r14, 1
    37bde8946add rdi, 1
    37bde894aadd rbx, rbp
    37bde894dmov rdx, [rsp+280]
    37bde8955mov r10, r11
    37bde8958add [rsp+112], rdx
    37bde895dsub r12, 1
    37bde8961add rax, [rsp+224]
    37bde8969add r15, [rsp+256]
    37bde8971cmp rdi, [rsp+264]
    37bde8979jne 0x37bde84e0
    37bde897fmovss x10, [rsp+312]
    37bde8989mov rbp, [rsp+208]
    37bde8991movss x9, [rsp+320]
    37bde899bmovss x13, [rsp+328]
    37bde89a5
    37bde89a5loc_37bde89a5:
    37bde89a5mov rsi, rbp
    37bde89a8jmp 0x37bde6cba
    37bde89ad
    37bde89ad 0f 1f 00 ...
    37bde89b0
    37bde89b0loc_37bde89b0:
    37bde89b0mov [rsp+152], rax
    37bde89b8mov rax, [rsp+112]
    37bde89bdmov r9, [rsp+200]
    37bde89c5mov r8, [rsp+136]
    37bde89cdmov [rsp+144], r10
    37bde89d5mov rdx, [rax]
    37bde89d8mov rcx, [rsp+160]
    37bde89e0mov [rsp+32], rax
    37bde89e5mov [rsp+512], rdx
    37bde89edlea rdx, [rax+8]
    37bde89f1call clartg_64_
    37bde89f6mov rax, [rsp+112]
    37bde89fbmov r10, [rsp+144]
    37bde8a03mov [rax+8], 0
    37bde8a0bmov rax, [rsp+152]
    37bde8a13jmp 0x37bde84ee
    37bde8a18
    37bde8a18 0f 1f 84 00 00 00 00 00 ........
    37bde8a20
    37bde8a20loc_37bde8a20:
    37bde8a20mov rsi, [rsp+840]
    37bde8a28mov r9, [rsi]
    37bde8a2btest r9, r9
    37bde8a2ejle 0x37bde893f
    37bde8a34movss x9, [rsp+508]
    37bde8a3emov r8, rax
    37bde8a41xor ecx, ecx
    37bde8a43sub r8, [rsp+224]
    37bde8a4bmovss x10, [rsp+548]
    37bde8a55movss x0, [rsp+544]
    37bde8a5emovsldup x9, x9
    37bde8a63movaps x11, x10
    37bde8a67movaps x13, x0
    37bde8a6bmovaps x15, x0
    37bde8a6fxorps x11, x14
    37bde8a73unpcklps x13, x10
    37bde8a77unpcklps x10, x0
    37bde8a7bunpcklps x15, x11
    37bde8a7funpcklps x11, x0
    37bde8a83movq x13, x13
    37bde8a88movq x9, x9
    37bde8a8dmovq x15, x15
    37bde8a92movq x11, x11
    37bde8a97movq x10, x10
    37bde8a9cnop [rax]
    37bde8aa0
    37bde8aa0loc_37bde8aa0:
    37bde8aa0movq x0, [rax+8*rcx]
    37bde8aa5movaps x2, x0
    37bde8aa8movq x1, x0
    37bde8aacmulps x1, x9
    37bde8ab0shufps x2, x2, -31
    37bde8ab4movq x2, x2
    37bde8ab8mulps x2, x8
    37bde8abcmovq x1, x1
    37bde8ac0movq x2, x2
    37bde8ac4addsubps x1, x2
    37bde8ac8movsldup x2, x0
    37bde8accmovshdup x0, x0
    37bde8ad0movq x1, x1
    37bde8ad4movq x2, x2
    37bde8ad8mulps x2, x15
    37bde8adcmovq x0, x0
    37bde8ae0mulps x0, x11
    37bde8ae4movq x5, x2
    37bde8ae8movq x0, x0
    37bde8aecaddsubps x5, x0
    37bde8af0movq x0, [r8+8*rcx]
    37bde8af6movsldup x2, x0
    37bde8afamovaps x4, x0
    37bde8afdshufps x4, x4, -31
    37bde8b01movq x5, x5
    37bde8b05movq x4, x4
    37bde8b09mulps x4, x8
    37bde8b0dmovq x3, x2
    37bde8b11movq x2, x0
    37bde8b15mulps x2, x9
    37bde8b19movshdup x0, x0
    37bde8b1dmulps x3, x13
    37bde8b21movq x4, x4
    37bde8b25movq x0, x0
    37bde8b29mulps x0, x10
    37bde8b2dmovq x2, x2
    37bde8b31addsubps x2, x4
    37bde8b35movq x4, x2
    37bde8b39movq x2, x3
    37bde8b3dmovq x0, x0
    37bde8b41subps x4, x5
    37bde8b44addsubps x2, x0
    37bde8b48movlps [r8+8*rcx], x4
    37bde8b4dmovq x2, x2
    37bde8b51addps x2, x1
    37bde8b54movlps [rax+8*rcx], x2
    37bde8b58add rcx, 1
    37bde8b5ccmp rcx, r9
    37bde8b5fjne 0x37bde8aa0
    37bde8b65jmp 0x37bde893f
    37bde8b6a
    37bde8b6a 66 0f 1f 44 00 00 f..D..
    37bde8b70
    37bde8b70loc_37bde8b70:
    37bde8b70mov rcx, [rsp+840]
    37bde8b78mov rcx, [rcx]
    37bde8b7btest rcx, rcx
    37bde8b7ejle 0x37bde8630
    37bde8b84movss x10, [rsp+548]
    37bde8b8emov rdx, [rsp+288]
    37bde8b96movss x0, [rsp+544]
    37bde8b9fmovss x9, [rsp+508]
    37bde8ba9movaps x11, x10
    37bde8badlea r11, [rdx+r10]
    37bde8bb1xor edx, edx
    37bde8bb3xorps x11, x14
    37bde8bb7movsldup x9, x9
    37bde8bbcmovaps x15, x0
    37bde8bc0movsldup x13, x0
    37bde8bc5movsldup x11, x11
    37bde8bcaunpcklps x15, x10
    37bde8bceunpcklps x10, x0
    37bde8bd2movq x15, x15
    37bde8bd7movq x10, x10
    37bde8bdcmovq x9, x9
    37bde8be1movq x13, x13
    37bde8be6movq x11, x11
    37bde8bebnop [rax+rax]
    37bde8bf0
    37bde8bf0loc_37bde8bf0:
    37bde8bf0movq x0, [r10+8*rdx]
    37bde8bf6movaps x1, x0
    37bde8bf9movq x2, x0
    37bde8bfdmulps x2, x9
    37bde8c01shufps x1, x1, -31
    37bde8c05movq x1, x1
    37bde8c09mulps x1, x8
    37bde8c0dmovq x2, x2
    37bde8c11movq x1, x1
    37bde8c15addsubps x2, x1
    37bde8c19movsldup x1, x0
    37bde8c1dmovshdup x0, x0
    37bde8c21movq x2, x2
    37bde8c25movq x1, x1
    37bde8c29mulps x1, x15
    37bde8c2dmovq x0, x0
    37bde8c31mulps x0, x10
    37bde8c35movq x4, x1
    37bde8c39movq x1, [r11+8*rdx]
    37bde8c3fmovq x0, x0
    37bde8c43movq x3, x1
    37bde8c47shufps x1, x1, -31
    37bde8c4baddsubps x4, x0
    37bde8c4fmovq x1, x1
    37bde8c53movaps x0, x3
    37bde8c56mulps x0, x13
    37bde8c5amovaps x5, x1
    37bde8c5dmulps x3, x9
    37bde8c61movq x4, x4
    37bde8c65mulps x5, x8
    37bde8c69mulps x1, x11
    37bde8c6dmovq x0, x0
    37bde8c71movq x3, x3
    37bde8c75movq x5, x5
    37bde8c79movq x1, x1
    37bde8c7daddsubps x3, x5
    37bde8c81addsubps x0, x1
    37bde8c85movq x3, x3
    37bde8c89movq x0, x0
    37bde8c8dsubps x3, x4
    37bde8c90addps x0, x2
    37bde8c93movlps [r11+8*rdx], x3
    37bde8c98movlps [r10+8*rdx], x0
    37bde8c9dadd rdx, 1
    37bde8ca1cmp rdx, rcx
    37bde8ca4jne 0x37bde8bf0
    37bde8caajmp 0x37bde863c
    37bde8caf
    37bde8caf 90 .
    37bde8cb0
    37bde8cb0loc_37bde8cb0:
    37bde8cb0lea rdx, [rsi+r13]
    37bde8cb4jmp 0x37bde8933
    37bde8cb9
    37bde8cb9loc_37bde8cb9:
    37bde8cb9movss x10, [rsp+144]
    37bde8cc3movss x7, [rsp+152]
    37bde8cccmovss x6, [rsp+224]
    37bde8cd5
    37bde8cd5loc_37bde8cd5:
    37bde8cd5mov rdi, [rsp+184]
    37bde8cddmov rdx, [rsp+64]
    37bde8ce2pxor x4, x4
    37bde8ce6mov rbx, [rsp+864]
    37bde8ceemovss x15, [rsp+368]
    37bde8cf8imul rdx, rdi
    37bde8cfcadd rdx, [rsp+80]
    37bde8d01lea rax, [rdx+rdi]
    37bde8d05movaps x2, x15
    37bde8d09movss x3, [rbx+8*rax]
    37bde8d0emovss x0, [rbx+8*rax+4]
    37bde8d14mov rax, [rsp+120]
    37bde8d19mov rbx, [rsp+880]
    37bde8d21imul rax, rdi
    37bde8d25add rax, [rsp+96]
    37bde8d2aadd rax, rdi
    37bde8d2dmovss x1, [rbx+8*rax+4]
    37bde8d33movss x5, [rbx+8*rax]
    37bde8d38lea rax, [rdx+rdi+1]
    37bde8d3dmov rdi, [rsp+864]
    37bde8d45mulss x2, x5
    37bde8d49movaps x14, x1
    37bde8d4dmulss x14, x4
    37bde8d52mulss x1, x15
    37bde8d57movss x15, [rsp+112]
    37bde8d5emulss x5, x4
    37bde8d62movaps x8, x15
    37bde8d66subss x2, x14
    37bde8d6bmovaps x14, x12
    37bde8d6fmulss x14, x3
    37bde8d74addss x1, x5
    37bde8d78mulss x3, x4
    37bde8d7cmovaps x5, x0
    37bde8d7fmulss x5, x4
    37bde8d83mulss x15, x2
    37bde8d88mulss x8, x1
    37bde8d8dmulss x0, x12
    37bde8d92subss x14, x5
    37bde8d97movaps x5, x11
    37bde8d9bmulss x5, x2
    37bde8d9fmulss x11, x1
    37bde8da4addss x0, x3
    37bde8da8subss x5, x8
    37bde8dadmovaps x8, x15
    37bde8db1addss x8, x11
    37bde8db6subss x14, x5
    37bde8dbbmovss x5, [rdi+8*rax+4]
    37bde8dc1subss x0, x8
    37bde8dc6movss [rsp+512], x14
    37bde8dd0movss x14, [rdi+8*rax]
    37bde8dd6movss [rsp+516], x0
    37bde8ddfjmp 0x37bde829e
    37bde8de4
    37bde8de4loc_37bde8de4:
    37bde8de4mov rdx, -6
    37bde8debmov eax, 6
    37bde8df0jmp 0x37bde633c
    37bde8df5
    37bde8df5loc_37bde8df5:
    37bde8df5imul rcx, [rsp+176]
    37bde8dfemov rax, 0xccccccccccccccc
    37bde8e08ror rcx, 2
    37bde8e0ccmp rax, rcx
    37bde8e0fjb 0x37bde93db
    37bde8e15movaps x0, x11
    37bde8e19movaps x1, x8
    37bde8e1dandps x0, [rip+0x66b84c]
    37bde8e24movss x5, [rsp+368]
    37bde8e2dandps x1, [rip+0x66b83c]
    37bde8e34addss x0, x1
    37bde8e38mulss x0, x5
    37bde8e3ccomiss x0, x6
    37bde8e3fjbe 0x37bde93db
    37bde8e45mov rax, [rsp+264]
    37bde8e4dpxor x4, x4
    37bde8e51movaps x3, x12
    37bde8e55movss x0, [rax+4]
    37bde8e5amovss x1, [rax]
    37bde8e5emulss x3, x1
    37bde8e62movaps x2, x0
    37bde8e65mulss x2, x4
    37bde8e69mulss x1, x4
    37bde8e6dmulss x0, x12
    37bde8e72subss x3, x2
    37bde8e76movaps x2, x5
    37bde8e79mulss x2, x11
    37bde8e7eaddss x0, x1
    37bde8e82movaps x1, x8
    37bde8e86mulss x1, x4
    37bde8e8amulss x4, x11
    37bde8e8fsubss x2, x1
    37bde8e93movaps x1, x8
    37bde8e97mulss x1, x5
    37bde8e9baddss x1, x4
    37bde8e9fmovaps x4, x2
    37bde8ea2andps x4, [rip+0x66b7c7]
    37bde8ea9movaps x5, x1
    37bde8eacandps x5, [rip+0x66b7bd]
    37bde8eb3comiss x5, x4
    37bde8eb6jbe 0x37bde950e
    37bde8ebcmovaps x4, x2
    37bde8ebfdivss x4, x1
    37bde8ec3mulss x2, x4
    37bde8ec7addss x1, x2
    37bde8ecbmovaps x2, x3
    37bde8ecemulss x2, x4
    37bde8ed2mulss x4, x0
    37bde8ed6addss x2, x0
    37bde8edasubss x4, x3
    37bde8ededivss x2, x1
    37bde8ee2divss x4, x1
    37bde8ee6movaps x0, x4
    37bde8ee9
    37bde8ee9loc_37bde8ee9:
    37bde8ee9addss x10, x2
    37bde8eeeaddss x9, x0
    37bde8ef3movaps x11, x10
    37bde8ef7movss [rsp+112], x9
    37bde8efejmp 0x37bde805b
    37bde8f03
    37bde8f03loc_37bde8f03:
    37bde8f03movaps x11, x2
    37bde8f07divss x11, x5
    37bde8f0cmulss x2, x11
    37bde8f11movaps x14, x2
    37bde8f15movaps x2, x0
    37bde8f18mulss x2, x11
    37bde8f1daddss x14, x5
    37bde8f22movss x5, [r13]
    37bde8f28addss x2, x8
    37bde8f2dmulss x8, x11
    37bde8f32divss x2, x14
    37bde8f37subss x0, x8
    37bde8f3cdivss x0, x14
    37bde8f41movss [rsp+224], x2
    37bde8f4amovaps x2, x5
    37bde8f4dmulss x5, x4
    37bde8f51mulss x2, x12
    37bde8f56movss [rsp+152], x0
    37bde8f5fmovss x0, [r13+4]
    37bde8f65movaps x8, x0
    37bde8f69mulss x0, x12
    37bde8f6emulss x8, x4
    37bde8f73addss x0, x5
    37bde8f77subss x2, x8
    37bde8f7cmovaps x4, x0
    37bde8f7fmulss x4, x11
    37bde8f84addss x4, x2
    37bde8f88mulss x2, x11
    37bde8f8ddivss x4, x14
    37bde8f92subss x0, x2
    37bde8f96divss x0, x14
    37bde8f9bmovd ebx, x4
    37bde8f9fmovaps x14, x0
    37bde8fa3jmp 0x37bde7e0b
    37bde8fa8
    37bde8fa8loc_37bde8fa8:
    37bde8fa8movaps x5, x1
    37bde8fabmovaps x8, x0
    37bde8fafmovaps x2, x1
    37bde8fb2divss x5, x3
    37bde8fb6mulss x2, x5
    37bde8fbamulss x8, x5
    37bde8fbfmulss x5, x4
    37bde8fc3addss x2, x3
    37bde8fc7addss x8, x4
    37bde8fccsubss x0, x5
    37bde8fd0divss x8, x2
    37bde8fd5divss x0, x2
    37bde8fd9movss [rsp+208], x8
    37bde8fe3movss [rsp+280], x0
    37bde8fecjmp 0x37bde7cc1
    37bde8ff1
    37bde8ff1loc_37bde8ff1:
    37bde8ff1movaps x8, x0
    37bde8ff5movshdup x5, x0
    37bde8ff9movss x0, [rsp+224]
    37bde9002movss x2, [rsp+152]
    37bde900bsubss x2, [rsp+112]
    37bde9011andps x3, [rip+0x66b658]
    37bde9018pxor x14, x14
    37bde901dsubss x0, x11
    37bde9022andps x4, [rip+0x66b647]
    37bde9029movsldup x1, x2
    37bde902daddss x4, x3
    37bde9031movsldup x3, x0
    37bde9035movq x1, x1
    37bde9039mulps x1, [rip+0x66b660]
    37bde9040movq x3, x3
    37bde9044mulps x3, [rip+0x66b645]
    37bde904bmovq x1, x1
    37bde904fmovq x3, x3
    37bde9053addsubps x3, x1
    37bde9057movshdup x1, x3
    37bde905bmovaps x15, x3
    37bde905fmovups [rsp+208], x3
    37bde9067movaps x3, x2
    37bde906amulss x3, x14
    37bde906fmulss x2, [rip+0x66b619]
    37bde9077movss [rsp+144], x1
    37bde9080movss x1, [rip+0x66b608]
    37bde9088mulss x1, x0
    37bde908cmulss x0, x14
    37bde9091subss x1, x3
    37bde9095andps x1, [rip+0x66b5d4]
    37bde909caddss x0, x2
    37bde90a0andps x0, [rip+0x66b5c9]
    37bde90a7movaps x3, x1
    37bde90aaaddss x3, x0
    37bde90aemovss x0, [rsp+144]
    37bde90b7movss [rsp+152], x3
    37bde90c0maxss x4, x3
    37bde90c4movaps x1, x4
    37bde90c7movaps x4, x14
    37bde90cbmovss [rsp+224], x1
    37bde90d4divss x4, x1
    37bde90d8movaps x2, x4
    37bde90dbmulss x2, x14
    37bde90e0movaps x3, x2
    37bde90e3movaps x2, x0
    37bde90e6mulss x2, x4
    37bde90eaaddss x3, x1
    37bde90eemovaps x1, x15
    37bde90f2mulss x1, x4
    37bde90f6addss x2, x15
    37bde90fbsubss x0, x1
    37bde90ffmovaps x1, x4
    37bde9102mulss x1, x5
    37bde9106divss x2, x3
    37bde910amulss x4, x8
    37bde910faddss x1, x8
    37bde9114subss x5, x4
    37bde9118divss x0, x3
    37bde911cmovaps x4, x2
    37bde911fmulss x4, x2
    37bde9123divss x1, x3
    37bde9127divss x5, x3
    37bde912bmovaps x3, x4
    37bde912emovaps x4, x0
    37bde9131mulss x4, x0
    37bde9135mulss x0, x2
    37bde9139subss x3, x4
    37bde913dmovaps x4, x1
    37bde9140mulss x4, x1
    37bde9144addss x0, x0
    37bde9148mulss x1, x5
    37bde914cmovaps x8, x5
    37bde9150mulss x8, x5
    37bde9155addss x1, x1
    37bde9159subss x4, x8
    37bde915emovaps x8, x3
    37bde9162addss x0, x1
    37bde9166addss x8, x4
    37bde916bmovq rax, x0
    37bde9170shl rax, 32
    37bde9174movd ecx, x8
    37bde9179or rcx, rax
    37bde917ccall fn_37c4305f0
    37bde9181movss x5, [rsp+224]
    37bde918amovd x3, eax
    37bde918emovq x4, rax
    37bde9193movsldup x0, x5
    37bde9197movaps x2, x3
    37bde919ashufps x4, x4, 85
    37bde919emovdqa x1, x4
    37bde91a2unpcklps x2, x4
    37bde91a5unpcklps x1, x3
    37bde91a8movss x3, [rsp+152]
    37bde91b1movq x2, x2
    37bde91b5movq x1, x1
    37bde91b9comiss x3, x14
    37bde91bdmovq x0, x0
    37bde91c1mulps x0, x2
    37bde91c4pxor x2, x2
    37bde91c8mulps x1, x2
    37bde91cbmovq x0, x0
    37bde91cfmovq x1, x1
    37bde91d3addsubps x0, x1
    37bde91d7movaps x2, x0
    37bde91dajbe 0x37bde9233
    37bde91dcmovss x5, [rsp+144]
    37bde91e5addss x3, x14
    37bde91eamovaps x1, x5
    37bde91edmulss x1, x14
    37bde91f2movaps x4, x3
    37bde91f5addss x1, x15
    37bde91famulss x15, x14
    37bde91ffdivss x1, x3
    37bde9203movaps x3, x0
    37bde9206movshdup x0, x0
    37bde920asubss x5, x15
    37bde920fdivss x5, x4
    37bde9213mulss x3, x1
    37bde9217movaps x1, x5
    37bde921amulss x1, x0
    37bde921eaddss x3, x1
    37bde9222comiss x14, x3
    37bde9226jbe 0x37bde9233
    37bde9228movq x5, [rip+0x66b450]
    37bde9230xorps x2, x5
    37bde9233
    37bde9233loc_37bde9233:
    37bde9233movq x0, [rsp+208]
    37bde923cmovq x2, x2
    37bde9240mov rcx, [rsp+160]
    37bde9248lea rdx, [rsp+560]
    37bde9250addps x0, x2
    37bde9253movlps [rsp+560], x0
    37bde925bcall cladiv_64_
    37bde9260movss x3, [rsp+512]
    37bde9269movss x4, [rsp+516]
    37bde9272movq x5, rax
    37bde9277movd x0, eax
    37bde927bshufps x5, x5, 85
    37bde927fmovdqa x1, x5
    37bde9283movaps x2, x0
    37bde9286mulss x1, x3
    37bde928amulss x0, x4
    37bde928emulss x5, x4
    37bde9292mulss x2, x3
    37bde9296addss x0, x1
    37bde929asubss x2, x5
    37bde929emovss x5, [rsp+112]
    37bde92a4subss x5, x0
    37bde92a8subss x11, x2
    37bde92admovss [rsp+112], x5
    37bde92b3jmp 0x37bde805b
    37bde92b8
    37bde92b8loc_37bde92b8:
    37bde92b8movaps x8, x1
    37bde92bcmovaps x2, x0
    37bde92bfmov rdi, [rsp+264]
    37bde92c7divss x8, x3
    37bde92ccmulss x1, x8
    37bde92d1mulss x2, x8
    37bde92d6addss x1, x3
    37bde92damovaps x3, x12
    37bde92deaddss x2, x4
    37bde92e2mulss x4, x8
    37bde92e7divss x2, x1
    37bde92ebsubss x0, x4
    37bde92efmovss x4, [rdi]
    37bde92f3mulss x3, x4
    37bde92f7mulss x4, x5
    37bde92fbdivss x0, x1
    37bde92ffmovd eax, x2
    37bde9303movss x2, [rdi+4]
    37bde9308movaps x11, x2
    37bde930cmulss x2, x12
    37bde9311mulss x11, x5
    37bde9316addss x2, x4
    37bde931asubss x3, x11
    37bde931fmovaps x11, x8
    37bde9323mulss x11, x2
    37bde9328addss x11, x3
    37bde932dmulss x3, x8
    37bde9332divss x11, x1
    37bde9337subss x2, x3
    37bde933bdivss x2, x1
    37bde933fmovaps x8, x2
    37bde9343jmp 0x37bde7ee6
    37bde9348
    37bde9348loc_37bde9348:
    37bde9348mov rbp, [rsp+320]
    37bde9350mov r8, [rsp+416]
    37bde9358mov rsi, [rsp+392]
    37bde9360mov r13, [rsp+400]
    37bde9368mov rdi, [rsp+408]
    37bde9370cmp r15, rbp
    37bde9373jge 0x37bde6e02
    37bde9379mov rax, [rsp+312]
    37bde9381movss x11, [rax]
    37bde9386movss x8, [rax+4]
    37bde938cjmp 0x37bde7b80
    37bde9391
    37bde9391loc_37bde9391:
    37bde9391mov rdx, [rsp+424]
    37bde9399mov rax, [rsp+864]
    37bde93a1lea r14, [rip+0x66b2a0]
    37bde93a8mov rsi, [rsp+392]
    37bde93b0mov r13, [rsp+400]
    37bde93b8mov rbp, [rsp+320]
    37bde93c0mov rdi, [rsp+408]
    37bde93c8mov rbx, [rsp+280]
    37bde93d0movq x11, [rax+8*rdx]
    37bde93d6jmp 0x37bde6f35
    37bde93db
    37bde93dbloc_37bde93db:
    37bde93dbmovss x0, [r13]
    37bde93e1movss x2, [r13+4]
    37bde93e7pxor x5, x5
    37bde93ebmovaps x4, x12
    37bde93efmov rdi, [rsp+880]
    37bde93f7mov rax, [rsp+376]
    37bde93ffmulss x4, x0
    37bde9403movaps x1, x2
    37bde9406add rax, [rsp+96]
    37bde940bmovss x14, [rsp+368]
    37bde9415mulss x0, x5
    37bde9419add rax, rsi
    37bde941cmulss x2, x12
    37bde9421movaps x3, x14
    37bde9425mulss x1, x5
    37bde9429addss x2, x0
    37bde942dmovss x0, [rdi+8*rax+4]
    37bde9433subss x4, x1
    37bde9437movss x1, [rdi+8*rax]
    37bde943cmovaps x8, x0
    37bde9440mulss x3, x1
    37bde9444mulss x8, x5
    37bde9449mulss x1, x5
    37bde944dmulss x0, x14
    37bde9452subss x3, x8
    37bde9457addss x0, x1
    37bde945bmovaps x1, x3
    37bde945eandps x1, [rip+0x66b20b]
    37bde9465movaps x5, x0
    37bde9468andps x5, [rip+0x66b201]
    37bde946fcomiss x5, x1
    37bde9472jbe 0x37bde94be
    37bde9474movaps x5, x3
    37bde9477movaps x1, x4
    37bde947adivss x5, x0
    37bde947emulss x1, x5
    37bde9482mulss x3, x5
    37bde9486addss x1, x2
    37bde948amulss x2, x5
    37bde948eaddss x3, x0
    37bde9492divss x1, x3
    37bde9496movaps x0, x2
    37bde9499subss x0, x4
    37bde949dmovaps x2, x0
    37bde94a0divss x2, x3
    37bde94a4
    37bde94a4loc_37bde94a4:
    37bde94a4addss x10, x1
    37bde94a9addss x9, x2
    37bde94aemovaps x11, x10
    37bde94b2movss [rsp+112], x9
    37bde94b9jmp 0x37bde805b
    37bde94be
    37bde94beloc_37bde94be:
    37bde94bemovaps x5, x0
    37bde94c1movaps x1, x2
    37bde94c4divss x5, x3
    37bde94c8mulss x1, x5
    37bde94ccmulss x0, x5
    37bde94d0addss x1, x4
    37bde94d4mulss x4, x5
    37bde94d8addss x0, x3
    37bde94dcdivss x1, x0
    37bde94e0subss x2, x4
    37bde94e4divss x2, x0
    37bde94e8jmp 0x37bde94a4
    37bde94ea
    37bde94ealoc_37bde94ea:
    37bde94eamov rdx, -8
    37bde94f1mov eax, 8
    37bde94f6jmp 0x37bde633c
    37bde94fb
    37bde94fbloc_37bde94fb:
    37bde94fbmov rax, [rsp+864]
    37bde9503movq x11, [rax+8*rdx]
    37bde9509jmp 0x37bde6ef6
    37bde950e
    37bde950eloc_37bde950e:
    37bde950emovaps x4, x1
    37bde9511divss x4, x2
    37bde9515mulss x1, x4
    37bde9519addss x1, x2
    37bde951dmovaps x2, x0
    37bde9520mulss x2, x4
    37bde9524addss x2, x3
    37bde9528mulss x3, x4
    37bde952cdivss x2, x1
    37bde9530subss x0, x3
    37bde9534divss x0, x1
    37bde9538jmp 0x37bde8ee9
    37bde953d
    37bde953dloc_37bde953d:
    37bde953dmov rdx, -10
    37bde9544mov eax, 10
    37bde9549jmp 0x37bde633c
    37bde954e
    37bde954eloc_37bde954e:
    37bde954emov rdx, -14
    37bde9555mov eax, 14
    37bde955ajmp 0x37bde633c
    37bde955f
    37bde955floc_37bde955f:
    37bde955fmov rdx, -16
    37bde9566mov eax, 16
    37bde956bjmp 0x37bde633c
    37bde9570
    37bde9570loc_37bde9570:
    37bde9570test bpl, bpl
    37bde9573mov r8, [rsp+184]
    37bde957bmov [rsp+272], r12
    37bde9583mov [rsp+184], rdi
    37bde958bmov rsi, [rsp+200]
    37bde9593mov r13, [rsp+280]
    37bde959bmov rbp, [rsp+288]
    37bde95a3mov rdx, [rsp+296]
    37bde95abmov rdi, [rsp+304]
    37bde95b3je 0x37bde95bd
    37bde95b5mov [rsp+536], r12
    37bde95bd
    37bde95bdloc_37bde95bd:
    37bde95bdmov rbx, [rsp+880]
    37bde95c5mov r10, [rsp+80]
    37bde95camov r12, [rsp+864]
    37bde95d2mov [rbx+8*r15], 0
    37bde95damov rbx, [rsp+64]
    37bde95dfmov r15, [rsp+184]
    37bde95e7mov r11, rbx
    37bde95eaimul r11, rax
    37bde95eelea r14, [r11+rbx]
    37bde95f2lea rbx, [r15+1]
    37bde95f6lea rcx, [r14+r10]
    37bde95falea r9, [r11+r10]
    37bde95felea r10, [rcx+rbx]
    37bde9602add r9, r15
    37bde9605add rcx, r15
    37bde9608movss x0, [r12+8*r10]
    37bde960emovss x1, [r12+8*r10+4]
    37bde9615andps x0, [rip+0x66b054]
    37bde961candps x1, [rip+0x66b04d]
    37bde9623movss x2, [r12+8*r9+4]
    37bde962aandps x2, [rip+0x66b03f]
    37bde9631addss x0, x1
    37bde9635movss x1, [r12+8*r9]
    37bde963bandps x1, [rip+0x66b02e]
    37bde9642addss x1, x2
    37bde9646movss x2, [r12+8*rcx+4]
    37bde964dandps x2, [rip+0x66b01c]
    37bde9654mulss x0, x12
    37bde9659mulss x0, x1
    37bde965dmovss x1, [r12+8*rcx]
    37bde9663andps x1, [rip+0x66b006]
    37bde966aaddss x1, x2
    37bde966emovss x2, [rsp+372]
    37bde9677mulss x2, x12
    37bde967cmulss x1, x2
    37bde9680comiss x1, x0
    37bde9683jae 0x37bde9ccc
    37bde9689cmp r15, rbp
    37bde968cjge 0x37bde94fb
    37bde9692mov r9, [rsp+248]
    37bde969alea r12, [r9-1]
    37bde969emov r9, [rsp+120]
    37bde96a3mov [rsp+392], r12
    37bde96ablea r12, [8*r9+8]
    37bde96b3mov [rsp+432], r12
    37bde96bbmov r12, r9
    37bde96beimul r12, rbx
    37bde96c2mov r10, r12
    37bde96c5mov r12, [rsp+96]
    37bde96caadd r12, r15
    37bde96cdlea r8, [r10+r12]
    37bde96d1lea rcx, [8*r8]
    37bde96d9add rcx, [rsp+880]
    37bde96e1mov [rsp+400], rcx
    37bde96e9mov rcx, [rsp+880]
    37bde96f1lea rcx, [rcx+8*r8+8]
    37bde96f6mov [rsp+456], rcx
    37bde96femov rcx, [rsp+64]
    37bde9703lea r8, [8*rcx+8]
    37bde970bmov rcx, [rsp+864]
    37bde9713mov [rsp+256], r8
    37bde971bmov r8, [rsp+80]
    37bde9720add r8, r15
    37bde9723lea r9, [r8+r14]
    37bde9727add r8, r11
    37bde972alea rcx, [rcx+8*r9]
    37bde972emov r9, [rsp+864]
    37bde9736mov [rsp+320], rcx
    37bde973elea rcx, [8*r8]
    37bde9746mov r8, r15
    37bde9749lea r9, [r9+rcx+8]
    37bde974emov [rsp+176], r9
    37bde9756mov r9, [rsp+128]
    37bde975esub r8, r9
    37bde9761mov [rsp+184], r8
    37bde9769mov r8, [rsp+64]
    37bde976elea r8, [8*r8]
    37bde9776mov [rsp+408], r8
    37bde977emov r8, [rsp+80]
    37bde9783add r9, r8
    37bde9786lea r8, [r9+r14]
    37bde978amov r14, [rsp+864]
    37bde9792add r9, r11
    37bde9795mov r11, [rsp+120]
    37bde979alea r14, [r14+8*r8]
    37bde979esub r10, r11
    37bde97a1mov r8, [rsp+96]
    37bde97a6add r8, [rsp+128]
    37bde97aemov [rsp+280], r14
    37bde97b6mov r14, [rsp+864]
    37bde97belea r14, [r14+8*r9]
    37bde97c2lea r9, [r10+r8]
    37bde97c6sub r10, r11
    37bde97c9mov [rsp+304], r14
    37bde97d1lea r14, [8*r11]
    37bde97d9add r10, r8
    37bde97dcmov r8, [rsp+880]
    37bde97e4mov [rsp+440], r14
    37bde97ecmov r14, [rsp+880]
    37bde97f4lea r10, [r8+8*r10]
    37bde97f8lea r14, [r14+8*r9]
    37bde97fcmov [rsp+312], r14
    37bde9804mov [rsp+296], r10
    37bde980cmov r10, [rsp+232]
    37bde9814mov r14, [rsp+240]
    37bde981cmov r9, [rsp+928]
    37bde9824mov [rsp+464], rsi
    37bde982cimul rax, r10
    37bde9830lea r8, [8*r10]
    37bde9838mov [rsp+472], r13
    37bde9840mov r13, [rsp+256]
    37bde9848mov [rsp+424], r8
    37bde9850mov r8, r10
    37bde9853mov r10, [rsp+360]
    37bde985bimul r8, r15
    37bde985fmov [rsp+488], rdi
    37bde9867mov rdi, [rsp+176]
    37bde986fadd rax, r14
    37bde9872mov [rsp+480], rdx
    37bde987alea rax, [r9+8*rax+8]
    37bde987fmov [rsp+376], rax
    37bde9887mov rax, [rsp+864]
    37bde988fadd r8, r14
    37bde9892lea r14, [rip+0x66adaf]
    37bde9899lea r8, [r9+8*r8+8]
    37bde989emov r9, [rsp+248]
    37bde98a6mov [rsp+256], r14
    37bde98aeadd rax, rcx
    37bde98b1mov rcx, [rsp+352]
    37bde98b9mov [rsp+384], r8
    37bde98c1mov [rsp+288], rax
    37bde98c9mov r8, [rsp+912]
    37bde98d1imul rbx, rcx
    37bde98d5lea rax, [8*rcx]
    37bde98ddmov [rsp+416], rax
    37bde98e5mov rax, rcx
    37bde98e8imul rax, r15
    37bde98ecadd rax, r10
    37bde98eflea rax, [r8+8*rax+8]
    37bde98f4mov [rsp+344], rax
    37bde98fclea rax, [rbx+r10]
    37bde9900mov rbx, [rsp+880]
    37bde9908lea r10, [rsp+508]
    37bde9910lea rax, [r8+8*rax+8]
    37bde9915mov [rsp+136], r10
    37bde991dmov [rsp+336], rax
    37bde9925lea rax, [r15+2]
    37bde9929imul rax, r11
    37bde992dlea r11, [r9+2]
    37bde9931mov [rsp+448], r11
    37bde9939add rax, r12
    37bde993cmov r12, [rsp+400]
    37bde9944mov [rsp+400], rbp
    37bde994clea rax, [rbx+8*rax]
    37bde9950lea rbx, [rsp+512]
    37bde9958mov rbp, [rsp+320]
    37bde9960mov [rsp+328], rax
    37bde9968lea rax, [rsp+544]
    37bde9970mov [rsp+160], rbx
    37bde9978lea rbx, [rsp+560]
    37bde9980mov rsi, rax
    37bde9983mov [rsp+176], rbx
    37bde998bmov rbx, r10
    37bde998emov [rsp+200], rax
    37bde9996mov r14, [rsp+456]
    37bde999ejmp 0x37bde9b82
    37bde99a3
    37bde99a3 0f 1f 44 00 00 ..D..
    37bde99a8
    37bde99a8loc_37bde99a8:
    37bde99a8mov rax, [rsp+448]
    37bde99b0mov [rsp+48], rsi
    37bde99b5mov r9, rdi
    37bde99b8mov [rsp+40], rbx
    37bde99bdmov rdx, [rsp+288]
    37bde99c5sub rax, r15
    37bde99c8mov rcx, [rsp+176]
    37bde99d0mov [rsp+560], rax
    37bde99d8mov rax, [rsp+872]
    37bde99e0mov [rsp+32], rax
    37bde99e5mov r8, rax
    37bde99e8call crot_64_
    37bde99edcmp [rsp+168], 0
    37bde99f6jne 0x37bde9c60
    37bde99fc
    37bde99fcloc_37bde99fc:
    37bde99fcmov rax, [rbp+8]
    37bde9a00mov r9, rsi
    37bde9a03mov r8, rbx
    37bde9a06mov rdx, rdi
    37bde9a09mov rcx, [rsp+160]
    37bde9a11mov [rsp+512], rax
    37bde9a19lea rax, [rbp+8]
    37bde9a1dmov [rsp+32], rax
    37bde9a22call clartg_64_
    37bde9a27mov rcx, [rsp+256]
    37bde9a2fmov [rdi], 0
    37bde9a36lea r8, [rip+0x66ac0b]
    37bde9a3dmov rax, [rsp+184]
    37bde9a45mov [rsp+48], rsi
    37bde9a4amov [rsp+32], rcx
    37bde9a4fmov r9, [rsp+304]
    37bde9a57mov [rsp+40], rbx
    37bde9a5cmov rdx, [rsp+280]
    37bde9a64add rax, 1
    37bde9a68mov rcx, [rsp+176]
    37bde9a70mov [rsp+560], rax
    37bde9a78mov [rsp+320], rax
    37bde9a80call crot_64_
    37bde9a85mov rax, [rsp+184]
    37bde9a8dmov [rsp+48], rsi
    37bde9a92lea r8, [rip+0x66abaf]
    37bde9a99mov [rsp+40], rbx
    37bde9a9emov r9, [rsp+296]
    37bde9aa6mov [rsp+560], rax
    37bde9aaemov rax, [rsp+256]
    37bde9ab6mov rdx, [rsp+312]
    37bde9abemov rcx, [rsp+176]
    37bde9ac6mov [rsp+32], rax
    37bde9acbcall crot_64_
    37bde9ad0cmp [rsp+88], 0
    37bde9ad6mov rax, [rsp+320]
    37bde9adejne 0x37bde9c10
    37bde9ae4
    37bde9ae4loc_37bde9ae4:
    37bde9ae4mov rcx, [rsp+432]
    37bde9aecadd r15, 1
    37bde9af0add rbp, r13
    37bde9af3add rdi, r13
    37bde9af6mov r10, [rsp+408]
    37bde9afeadd [rsp+288], r13
    37bde9b06add [rsp+280], r10
    37bde9b0eadd r12, rcx
    37bde9b11add r14, rcx
    37bde9b14add [rsp+304], r10
    37bde9b1cmov r10, [rsp+440]
    37bde9b24add [rsp+328], rcx
    37bde9b2cadd [rsp+312], r10
    37bde9b34add [rsp+296], r10
    37bde9b3cmov r10, [rsp+424]
    37bde9b44add [rsp+384], r10
    37bde9b4cadd [rsp+376], r10
    37bde9b54mov r10, [rsp+416]
    37bde9b5cadd [rsp+344], r10
    37bde9b64add [rsp+336], r10
    37bde9b6ccmp [rsp+400], r15
    37bde9b74je 0x37bde9cd6
    37bde9b7amov [rsp+184], rax
    37bde9b82
    37bde9b82loc_37bde9b82:
    37bde9b82mov rax, [r12]
    37bde9b86mov [rsp+32], r12
    37bde9b8bmov r9, rsi
    37bde9b8emov r8, rbx
    37bde9b91mov rcx, [rsp+160]
    37bde9b99mov rdx, r14
    37bde9b9cmov [rsp+512], rax
    37bde9ba4call clartg_64_
    37bde9ba9mov rax, [rsp+392]
    37bde9bb1mov [r14], 0
    37bde9bb8cmp r15, rax
    37bde9bbbjge 0x37bde99a8
    37bde9bc1sub rax, r15
    37bde9bc4mov [rsp+48], rsi
    37bde9bc9mov r8, [rsp+888]
    37bde9bd1mov [rsp+560], rax
    37bde9bd9mov rax, [rsp+888]
    37bde9be1mov [rsp+40], rbx
    37bde9be6mov rcx, [rsp+176]
    37bde9beemov [rsp+32], rax
    37bde9bf3mov rax, [rsp+328]
    37bde9bfblea r9, [rax+8]
    37bde9bffmov rdx, rax
    37bde9c02call crot_64_
    37bde9c07jmp 0x37bde99a8
    37bde9c0c
    37bde9c0c 0f 1f 40 00 ..@.
    37bde9c10
    37bde9c10loc_37bde9c10:
    37bde9c10mov [rsp+184], rax
    37bde9c18mov rax, [rsp+256]
    37bde9c20lea r8, [rip+0x66aa21]
    37bde9c27mov [rsp+48], rsi
    37bde9c2cmov r9, [rsp+376]
    37bde9c34mov [rsp+32], rax
    37bde9c39mov rdx, [rsp+384]
    37bde9c41mov [rsp+40], rbx
    37bde9c46mov rcx, [rsp+840]
    37bde9c4ecall crot_64_
    37bde9c53mov rax, [rsp+184]
    37bde9c5bjmp 0x37bde9ae4
    37bde9c60
    37bde9c60loc_37bde9c60:
    37bde9c60mov rax, [rsp+176]
    37bde9c68mov [rsp+40], rbx
    37bde9c6dlea r8, [rip+0x66a9d4]
    37bde9c74mov r9, [rsp+336]
    37bde9c7cmov rdx, [rsp+344]
    37bde9c84mov [rsp+48], rax
    37bde9c89mov rax, [rsp+256]
    37bde9c91movss x0, [rsp+548]
    37bde9c9axorps x0, [rip+0x66a9bf]
    37bde9ca1movss x1, [rsp+544]
    37bde9caamov [rsp+32], rax
    37bde9cafmov rcx, [rsp+840]
    37bde9cb7unpcklps x1, x0
    37bde9cbamovlps [rsp+560], x1
    37bde9cc2call crot_64_
    37bde9cc7jmp 0x37bde99fc
    37bde9ccc
    37bde9cccloc_37bde9ccc:
    37bde9cccmov ecx, 1
    37bde9cd1jmp 0x37bde7641
    37bde9cd6
    37bde9cd6loc_37bde9cd6:
    37bde9cd6mov rdx, [rsp+480]
    37bde9cdemov rax, [rsp+864]
    37bde9ce6mov rsi, [rsp+464]
    37bde9ceemov r13, [rsp+472]
    37bde9cf6mov rbp, [rsp+400]
    37bde9cfemov rdi, [rsp+488]
    37bde9d06mov rbx, [rsp+176]
    37bde9d0emov r14, [rsp+256]
    37bde9d16movq x11, [rax+8*rdx]
    37bde9d1cjmp 0x37bde6f35
    37bde6180