File sliver_83cb34f62800fed14e14547c39337aab8e0427fe2c6310a3fb40ce0ac36168c9.elf
Function:
    00595de0
    00595de0crypto/internal/fips140/edwards25519.fiatScalarMul: ; void crypto/internal/fips140/edwards25519.fiatScalarMul(crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * out1, crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * arg1, crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * arg2)
    00595de0ldr x16, [x28+16]
    00595de4sub x17, sp, 2960
    00595de8subs xzr, x17, x16
    00595decb.ls 0x5974b8
    00595df0sub x20, sp, 3088
    00595df4stp x29, x30, [x20-8]
    00595df8add sp, x20, 0
    00595dfcsub x29, sp, 8
    00595e00str x0, [sp+3096]
    00595e04str x1, [sp+3104]
    00595e08str x2, [sp+3112]
    00595e0cldrsb x27, [x1]
    00595e10ldr x4, [x1+8]
    00595e14str x4, [sp+1520]
    00595e18ldrsb x27, [x1]
    00595e1cldr x4, [x1+16]
    00595e20str x4, [sp+704]
    00595e24ldrsb x27, [x1]
    00595e28ldr x4, [x1+24]
    00595e2cstr x4, [sp+624]
    00595e30ldr x4, [sp+3104]
    00595e34ldrsb x27, [x4]
    00595e38ldr x4, [x4]
    00595e3cstr x4, [sp+544]
    00595e40str xzr, [sp+456]
    00595e44str xzr, [sp+368]
    00595e48ldr x5, [sp+3112]
    00595e4cldrsb x27, [x5]
    00595e50ldr x5, [x5+24]
    00595e54str x5, [sp+1912]
    00595e58umulh x6, x4, x5
    00595e5cstr x6, [sp+1928]
    00595e60madd x4, x4, x5, xzr
    00595e64str x4, [sp+1920]
    00595e68str x6, [sp+1568]
    00595e6cstr x4, [sp+3072]
    00595e70str x6, [sp+368]
    00595e74str x4, [sp+456]
    00595e78str xzr, [sp+288]
    00595e7cstr xzr, [sp+208]
    00595e80ldr x4, [sp+3112]
    00595e84ldrsb x27, [x4]
    00595e88ldr x4, [x4+16]
    00595e8cstr x4, [sp+1904]
    00595e90ldr x5, [sp+544]
    00595e94umulh x6, x5, x4
    00595e98str x6, [sp+1920]
    00595e9cmadd x4, x5, x4, xzr
    00595ea0str x4, [sp+1928]
    00595ea4str x6, [sp+2944]
    00595ea8str x4, [sp+2896]
    00595eacstr x6, [sp+208]
    00595eb0str x4, [sp+288]
    00595eb4str xzr, [sp+120]
    00595eb8str xzr, [sp+1512]
    00595ebcldr x4, [sp+3112]
    00595ec0ldrsb x27, [x4]
    00595ec4ldr x4, [x4+8]
    00595ec8str x4, [sp+1896]
    00595eccldr x5, [sp+544]
    00595ed0umulh x6, x5, x4
    00595ed4str x6, [sp+1928]
    00595ed8madd x4, x5, x4, xzr
    00595edcstr x4, [sp+1920]
    00595ee0str x6, [sp+2776]
    00595ee4str x4, [sp+2720]
    00595ee8str x6, [sp+1512]
    00595eecstr x4, [sp+120]
    00595ef0str xzr, [sp+1424]
    00595ef4str xzr, [sp+1344]
    00595ef8ldr x4, [sp+3112]
    00595efcldrsb x27, [x4]
    00595f00ldr x4, [x4]
    00595f04str x4, [sp+1880]
    00595f08ldr x5, [sp+544]
    00595f0cumulh x6, x5, x4
    00595f10str x6, [sp+1920]
    00595f14madd x4, x5, x4, xzr
    00595f18str x4, [sp+1928]
    00595f1cstr x6, [sp+2600]
    00595f20str x4, [sp+2544]
    00595f24str x6, [sp+1344]
    00595f28str x4, [sp+1424]
    00595f2cstr xzr, [sp+1264]
    00595f30str xzr, [sp+1176]
    00595f34ldr x4, [sp+120]
    00595f38adds x5, x6, x4
    00595f3cadc x5, xzr, xzr
    00595f40adds x7, x6, x4
    00595f44str x7, [sp+1928]
    00595f48str x5, [sp+1920]
    00595f4cstr x7, [sp+2424]
    00595f50str x5, [sp+2376]
    00595f54str x7, [sp+1264]
    00595f58str x5, [sp+1176]
    00595f5cstr xzr, [sp+1088]
    00595f60str xzr, [sp+1000]
    00595f64ldr x5, [sp+288]
    00595f68ldr x7, [sp+1512]
    00595f6cadds x8, x6, x4
    00595f70adcs x8, x7, x5
    00595f74adds x8, x6, x4
    00595f78adcs x8, x7, x5
    00595f7cstr x8, [sp+1920]
    00595f80adds x9, x6, x4
    00595f84adcs x9, x7, x5
    00595f88adc x9, xzr, xzr
    00595f8cstr x9, [sp+1928]
    00595f90str x8, [sp+2248]
    00595f94str x9, [sp+2208]
    00595f98str x8, [sp+1088]
    00595f9cstr x9, [sp+1000]
    00595fa0str xzr, [sp+920]
    00595fa4str xzr, [sp+840]
    00595fa8ldr x8, [sp+456]
    00595facldr x9, [sp+208]
    00595fb0adcs x10, x9, x8
    00595fb4adds x10, x6, x4
    00595fb8adcs x10, x7, x5
    00595fbcadcs x10, x9, x8
    00595fc0str x10, [sp+1928]
    00595fc4adds x4, x6, x4
    00595fc8adcs x4, x7, x5
    00595fccadcs x4, x9, x8
    00595fd0adc x4, xzr, xzr
    00595fd4str x4, [sp+1920]
    00595fd8str x10, [sp+2072]
    00595fdcstr x4, [sp+2024]
    00595fe0str x10, [sp+920]
    00595fe4str x4, [sp+840]
    00595fe8ldr x5, [sp+368]
    00595fecadd x4, x4, x5
    00595ff0str x4, [sp+752]
    00595ff4str xzr, [sp+696]
    00595ff8ldr x4, [sp+1424]
    00595ffcmovz x5, 32283
    00596000movk x5, 0x12540000
    00596004movk x5, 0x1da300000000
    00596008movk x5, 0xd2b5000000000000
    0059600cmadd x6, x4, x5, xzr
    00596010umulh x4, x4, x5
    00596014str x4, [sp+1920]
    00596018str x6, [sp+1928]
    0059601cstr x4, [sp+1888]
    00596020str x6, [sp+1800]
    00596024str x6, [sp+696]
    00596028str xzr, [sp+688]
    0059602cstr xzr, [sp+680]
    00596030ubfm x4, x6, 4, 3
    00596034movz x7, 0x1000000000000000
    00596038umulh x6, x6, x7
    0059603cstr x6, [sp+1928]
    00596040str x4, [sp+1920]
    00596044str x6, [sp+1768]
    00596048str x4, [sp+1760]
    0059604cstr x6, [sp+680]
    00596050str x4, [sp+688]
    00596054str xzr, [sp+672]
    00596058str xzr, [sp+664]
    0059605cldr x4, [sp+696]
    00596060movz x6, 40150
    00596064movk x6, 0xa2f70000
    00596068movk x6, 0xf9de00000000
    0059606cmovk x6, 0x14de000000000000
    00596070umulh x8, x4, x6
    00596074str x8, [sp+1920]
    00596078madd x4, x4, x6, xzr
    0059607cstr x4, [sp+1928]
    00596080str x8, [sp+1752]
    00596084str x4, [sp+1744]
    00596088str x8, [sp+664]
    0059608cstr x4, [sp+672]
    00596090str xzr, [sp+656]
    00596094str xzr, [sp+648]
    00596098ldr x4, [sp+696]
    0059609cmovz x8, 54253
    005960a0movk x8, 0x5cf50000
    005960a4movk x8, 0x631a00000000
    005960a8movk x8, 0x5812000000000000
    005960acumulh x9, x4, x8
    005960b0str x9, [sp+1928]
    005960b4madd x4, x4, x8, xzr
    005960b8str x4, [sp+1920]
    005960bcstr x9, [sp+1736]
    005960c0str x4, [sp+1728]
    005960c4str x9, [sp+648]
    005960c8str x4, [sp+656]
    005960ccstr xzr, [sp+640]
    005960d0str xzr, [sp+632]
    005960d4ldr x4, [sp+672]
    005960d8adds x10, x9, x4
    005960dcadc x10, xzr, xzr
    005960e0adds x4, x9, x4
    005960e4str x4, [sp+1920]
    005960e8str x10, [sp+1928]
    005960ecstr x4, [sp+1720]
    005960f0str x10, [sp+1712]
    005960f4str x4, [sp+640]
    005960f8str x10, [sp+632]
    005960fcldr x4, [sp+664]
    00596100add x4, x10, x4
    00596104str x4, [sp+616]
    00596108str xzr, [sp+608]
    0059610cldr x4, [sp+656]
    00596110ldr x9, [sp+1424]
    00596114adds x10, x9, x4
    00596118adc x10, xzr, xzr
    0059611cadds x11, x9, x4
    00596120str x11, [sp+1928]
    00596124str x10, [sp+1920]
    00596128str x11, [sp+1704]
    0059612cstr x10, [sp+1696]
    00596130str x10, [sp+608]
    00596134str xzr, [sp+600]
    00596138str xzr, [sp+592]
    0059613cldr x10, [sp+640]
    00596140ldr x11, [sp+1264]
    00596144adds x12, x9, x4
    00596148adcs x12, x11, x10
    0059614cadds x12, x9, x4
    00596150adcs x12, x11, x10
    00596154str x12, [sp+1920]
    00596158adds x13, x9, x4
    0059615cadcs x13, x11, x10
    00596160adc x13, xzr, xzr
    00596164str x13, [sp+1928]
    00596168str x12, [sp+1688]
    0059616cstr x13, [sp+1680]
    00596170str x12, [sp+600]
    00596174str x13, [sp+592]
    00596178str xzr, [sp+584]
    0059617cstr xzr, [sp+576]
    00596180ldr x12, [sp+616]
    00596184ldr x13, [sp+1088]
    00596188adcs x14, x13, x12
    0059618cadds x14, x9, x4
    00596190adcs x14, x11, x10
    00596194adcs x14, x13, x12
    00596198str x14, [sp+1928]
    0059619cadds x15, x9, x4
    005961a0adcs x15, x11, x10
    005961a4adcs x15, x13, x12
    005961a8adc x15, xzr, xzr
    005961acstr x15, [sp+1920]
    005961b0str x14, [sp+1672]
    005961b4str x15, [sp+1664]
    005961b8str x14, [sp+584]
    005961bcstr x15, [sp+576]
    005961c0str xzr, [sp+568]
    005961c4str xzr, [sp+560]
    005961c8ldr x14, [sp+688]
    005961ccldr x15, [sp+920]
    005961d0adcs x16, x15, x14
    005961d4adds x16, x9, x4
    005961d8adcs x16, x11, x10
    005961dcadcs x16, x13, x12
    005961e0adcs x16, x15, x14
    005961e4str x16, [sp+1920]
    005961e8adds x17, x9, x4
    005961ecadcs x17, x11, x10
    005961f0adcs x17, x13, x12
    005961f4adcs x17, x15, x14
    005961f8adc x17, xzr, xzr
    005961fcstr x17, [sp+1928]
    00596200str x16, [sp+1656]
    00596204str x17, [sp+1648]
    00596208str x16, [sp+568]
    0059620cstr x17, [sp+560]
    00596210str xzr, [sp+552]
    00596214str xzr, [sp+536]
    00596218ldr x16, [sp+680]
    0059621cldr x17, [sp+752]
    00596220adcs x19, x17, x16
    00596224adds x19, x9, x4
    00596228adcs x19, x11, x10
    0059622cadcs x19, x13, x12
    00596230adcs x19, x15, x14
    00596234adcs x19, x17, x16
    00596238str x19, [sp+1928]
    0059623cadds x4, x9, x4
    00596240adcs x4, x11, x10
    00596244adcs x4, x13, x12
    00596248adcs x4, x15, x14
    0059624cadcs x4, x17, x16
    00596250adc x4, xzr, xzr
    00596254str x4, [sp+1920]
    00596258str x19, [sp+1640]
    0059625cstr x4, [sp+1632]
    00596260str x19, [sp+552]
    00596264str x4, [sp+536]
    00596268str xzr, [sp+528]
    0059626cstr xzr, [sp+520]
    00596270ldr x4, [sp+3112]
    00596274ldrsb x27, [x4]
    00596278ldr x4, [x4+24]
    0059627cstr x4, [sp+1872]
    00596280ldr x9, [sp+1520]
    00596284umulh x10, x9, x4
    00596288str x10, [sp+1920]
    0059628cmadd x4, x9, x4, xzr
    00596290str x4, [sp+1928]
    00596294str x10, [sp+1624]
    00596298str x4, [sp+1616]
    0059629cstr x10, [sp+520]
    005962a0str x4, [sp+528]
    005962a4str xzr, [sp+512]
    005962a8str xzr, [sp+504]
    005962acldr x4, [sp+3112]
    005962b0ldrsb x27, [x4]
    005962b4ldr x4, [x4+16]
    005962b8str x4, [sp+1864]
    005962bcldr x9, [sp+1520]
    005962c0umulh x10, x9, x4
    005962c4str x10, [sp+1928]
    005962c8madd x4, x9, x4, xzr
    005962ccstr x4, [sp+1920]
    005962d0str x10, [sp+1608]
    005962d4str x4, [sp+1600]
    005962d8str x10, [sp+504]
    005962dcstr x4, [sp+512]
    005962e0str xzr, [sp+496]
    005962e4str xzr, [sp+488]
    005962e8ldr x4, [sp+3112]
    005962ecldrsb x27, [x4]
    005962f0ldr x4, [x4+8]
    005962f4str x4, [sp+1856]
    005962f8ldr x9, [sp+1520]
    005962fcumulh x10, x9, x4
    00596300str x10, [sp+1920]
    00596304madd x4, x9, x4, xzr
    00596308str x4, [sp+1928]
    0059630cstr x10, [sp+1592]
    00596310str x4, [sp+1584]
    00596314str x10, [sp+488]
    00596318str x4, [sp+496]
    0059631cstr xzr, [sp+480]
    00596320str xzr, [sp+472]
    00596324ldr x4, [sp+3112]
    00596328ldrsb x27, [x4]
    0059632cldr x4, [x4]
    00596330str x4, [sp+1848]
    00596334ldr x9, [sp+1520]
    00596338umulh x10, x9, x4
    0059633cstr x10, [sp+1928]
    00596340madd x4, x9, x4, xzr
    00596344str x4, [sp+1920]
    00596348str x10, [sp+1576]
    0059634cstr x4, [sp+1560]
    00596350str x10, [sp+472]
    00596354str x4, [sp+480]
    00596358str xzr, [sp+464]
    0059635cstr xzr, [sp+448]
    00596360ldr x4, [sp+496]
    00596364adds x9, x10, x4
    00596368adc x9, xzr, xzr
    0059636cadds x11, x10, x4
    00596370str x11, [sp+1920]
    00596374str x9, [sp+1928]
    00596378str x11, [sp+1552]
    0059637cstr x9, [sp+1544]
    00596380str x11, [sp+464]
    00596384str x9, [sp+448]
    00596388str xzr, [sp+440]
    0059638cstr xzr, [sp+432]
    00596390ldr x9, [sp+512]
    00596394ldr x11, [sp+488]
    00596398adds x12, x10, x4
    0059639cadcs x12, x11, x9
    005963a0adds x12, x10, x4
    005963a4adcs x12, x11, x9
    005963a8str x12, [sp+1928]
    005963acadds x13, x10, x4
    005963b0adcs x13, x11, x9
    005963b4adc x13, xzr, xzr
    005963b8str x13, [sp+1920]
    005963bcstr x12, [sp+1536]
    005963c0str x13, [sp+1528]
    005963c4str x12, [sp+440]
    005963c8str x13, [sp+432]
    005963ccstr xzr, [sp+424]
    005963d0str xzr, [sp+416]
    005963d4ldr x12, [sp+528]
    005963d8ldr x13, [sp+504]
    005963dcadcs x14, x13, x12
    005963e0adds x14, x10, x4
    005963e4adcs x14, x11, x9
    005963e8adcs x14, x13, x12
    005963ecstr x14, [sp+1920]
    005963f0adds x4, x10, x4
    005963f4adcs x4, x11, x9
    005963f8adcs x4, x13, x12
    005963fcadc x4, xzr, xzr
    00596400str x4, [sp+1928]
    00596404str x14, [sp+3064]
    00596408str x4, [sp+3056]
    0059640cstr x14, [sp+424]
    00596410str x4, [sp+416]
    00596414ldr x9, [sp+520]
    00596418add x4, x4, x9
    0059641cstr x4, [sp+408]
    00596420str xzr, [sp+400]
    00596424str xzr, [sp+392]
    00596428ldr x4, [sp+480]
    0059642cldr x9, [sp+600]
    00596430adds x10, x9, x4
    00596434adc x10, xzr, xzr
    00596438adds x11, x9, x4
    0059643cstr x11, [sp+1928]
    00596440str x10, [sp+1920]
    00596444str x11, [sp+3048]
    00596448str x10, [sp+3040]
    0059644cstr x11, [sp+400]
    00596450str x10, [sp+392]
    00596454str xzr, [sp+384]
    00596458str xzr, [sp+376]
    0059645cldr x10, [sp+464]
    00596460ldr x11, [sp+584]
    00596464adds x12, x9, x4
    00596468adcs x12, x11, x10
    0059646cadds x12, x9, x4
    00596470adcs x12, x11, x10
    00596474str x12, [sp+1920]
    00596478adds x13, x9, x4
    0059647cadcs x13, x11, x10
    00596480adc x13, xzr, xzr
    00596484str x13, [sp+1928]
    00596488str x12, [sp+3032]
    0059648cstr x13, [sp+3024]
    00596490str x12, [sp+384]
    00596494str x13, [sp+376]
    00596498str xzr, [sp+360]
    0059649cstr xzr, [sp+352]
    005964a0ldr x12, [sp+440]
    005964a4ldr x13, [sp+568]
    005964a8adcs x14, x13, x12
    005964acadds x14, x9, x4
    005964b0adcs x14, x11, x10
    005964b4adcs x14, x13, x12
    005964b8str x14, [sp+1928]
    005964bcadds x15, x9, x4
    005964c0adcs x15, x11, x10
    005964c4adcs x15, x13, x12
    005964c8adc x15, xzr, xzr
    005964ccstr x15, [sp+1920]
    005964d0str x14, [sp+3016]
    005964d4str x15, [sp+3008]
    005964d8str x14, [sp+360]
    005964dcstr x15, [sp+352]
    005964e0str xzr, [sp+344]
    005964e4str xzr, [sp+336]
    005964e8ldr x14, [sp+424]
    005964ecldr x15, [sp+552]
    005964f0adcs x16, x15, x14
    005964f4adds x16, x9, x4
    005964f8adcs x16, x11, x10
    005964fcadcs x16, x13, x12
    00596500adcs x16, x15, x14
    00596504str x16, [sp+1920]
    00596508adds x17, x9, x4
    0059650cadcs x17, x11, x10
    00596510adcs x17, x13, x12
    00596514adcs x17, x15, x14
    00596518adc x17, xzr, xzr
    0059651cstr x17, [sp+1928]
    00596520str x16, [sp+3000]
    00596524str x17, [sp+2992]
    00596528str x16, [sp+344]
    0059652cstr x17, [sp+336]
    00596530str xzr, [sp+328]
    00596534str xzr, [sp+320]
    00596538ldr x16, [sp+408]
    0059653cldr x17, [sp+536]
    00596540adcs x19, x17, x16
    00596544adds x19, x9, x4
    00596548adcs x19, x11, x10
    0059654cadcs x19, x13, x12
    00596550adcs x19, x15, x14
    00596554adcs x19, x17, x16
    00596558str x19, [sp+1928]
    0059655cadds x4, x9, x4
    00596560adcs x4, x11, x10
    00596564adcs x4, x13, x12
    00596568adcs x4, x15, x14
    0059656cadcs x4, x17, x16
    00596570adc x4, xzr, xzr
    00596574str x4, [sp+1920]
    00596578str x19, [sp+2984]
    0059657cstr x4, [sp+2976]
    00596580str x19, [sp+328]
    00596584str x4, [sp+320]
    00596588str xzr, [sp+312]
    0059658cldr x4, [sp+400]
    00596590madd x9, x4, x5, xzr
    00596594umulh x4, x4, x5
    00596598str x4, [sp+1920]
    0059659cstr x9, [sp+1928]
    005965a0str x4, [sp+2968]
    005965a4str x9, [sp+2960]
    005965a8str x9, [sp+312]
    005965acstr xzr, [sp+304]
    005965b0str xzr, [sp+296]
    005965b4ubfm x4, x9, 4, 3
    005965b8umulh x9, x9, x7
    005965bcstr x9, [sp+1928]
    005965c0str x4, [sp+1920]
    005965c4str x9, [sp+2952]
    005965c8str x4, [sp+2936]
    005965ccstr x9, [sp+296]
    005965d0str x4, [sp+304]
    005965d4str xzr, [sp+280]
    005965d8str xzr, [sp+272]
    005965dcldr x4, [sp+312]
    005965e0umulh x9, x4, x6
    005965e4str x9, [sp+1920]
    005965e8madd x4, x4, x6, xzr
    005965ecstr x4, [sp+1928]
    005965f0str x9, [sp+2928]
    005965f4str x4, [sp+2920]
    005965f8str x9, [sp+272]
    005965fcstr x4, [sp+280]
    00596600str xzr, [sp+264]
    00596604str xzr, [sp+256]
    00596608ldr x4, [sp+312]
    0059660cumulh x9, x4, x8
    00596610str x9, [sp+1928]
    00596614madd x4, x4, x8, xzr
    00596618str x4, [sp+1920]
    0059661cstr x9, [sp+2912]
    00596620str x4, [sp+2904]
    00596624str x9, [sp+256]
    00596628str x4, [sp+264]
    0059662cstr xzr, [sp+248]
    00596630str xzr, [sp+240]
    00596634ldr x4, [sp+280]
    00596638adds x10, x9, x4
    0059663cadc x10, xzr, xzr
    00596640adds x4, x9, x4
    00596644str x4, [sp+1920]
    00596648str x10, [sp+1928]
    0059664cstr x4, [sp+2888]
    00596650str x10, [sp+2880]
    00596654str x4, [sp+248]
    00596658str x10, [sp+240]
    0059665cldr x4, [sp+272]
    00596660add x4, x10, x4
    00596664str x4, [sp+232]
    00596668str xzr, [sp+224]
    0059666cldr x4, [sp+264]
    00596670ldr x9, [sp+400]
    00596674adds x10, x9, x4
    00596678adc x10, xzr, xzr
    0059667cadds x11, x9, x4
    00596680str x11, [sp+1928]
    00596684str x10, [sp+1920]
    00596688str x11, [sp+2872]
    0059668cstr x10, [sp+2864]
    00596690str x10, [sp+224]
    00596694str xzr, [sp+216]
    00596698str xzr, [sp+200]
    0059669cldr x10, [sp+248]
    005966a0ldr x11, [sp+384]
    005966a4adds x12, x9, x4
    005966a8adcs x12, x11, x10
    005966acadds x12, x9, x4
    005966b0adcs x12, x11, x10
    005966b4str x12, [sp+1920]
    005966b8adds x13, x9, x4
    005966bcadcs x13, x11, x10
    005966c0adc x13, xzr, xzr
    005966c4str x13, [sp+1928]
    005966c8str x12, [sp+2856]
    005966ccstr x13, [sp+2848]
    005966d0str x12, [sp+216]
    005966d4str x13, [sp+200]
    005966d8str xzr, [sp+192]
    005966dcstr xzr, [sp+184]
    005966e0ldr x12, [sp+232]
    005966e4ldr x13, [sp+360]
    005966e8adcs x14, x13, x12
    005966ecadds x14, x9, x4
    005966f0adcs x14, x11, x10
    005966f4adcs x14, x13, x12
    005966f8str x14, [sp+1928]
    005966fcadds x15, x9, x4
    00596700adcs x15, x11, x10
    00596704adcs x15, x13, x12
    00596708adc x15, xzr, xzr
    0059670cstr x15, [sp+1920]
    00596710str x14, [sp+2840]
    00596714str x15, [sp+2832]
    00596718str x14, [sp+192]
    0059671cstr x15, [sp+184]
    00596720str xzr, [sp+176]
    00596724str xzr, [sp+168]
    00596728ldr x14, [sp+304]
    0059672cldr x15, [sp+344]
    00596730adcs x16, x15, x14
    00596734adds x16, x9, x4
    00596738adcs x16, x11, x10
    0059673cadcs x16, x13, x12
    00596740adcs x16, x15, x14
    00596744str x16, [sp+1920]
    00596748adds x17, x9, x4
    0059674cadcs x17, x11, x10
    00596750adcs x17, x13, x12
    00596754adcs x17, x15, x14
    00596758adc x17, xzr, xzr
    0059675cstr x17, [sp+1928]
    00596760str x16, [sp+2824]
    00596764str x17, [sp+2816]
    00596768str x16, [sp+176]
    0059676cstr x17, [sp+168]
    00596770str xzr, [sp+160]
    00596774str xzr, [sp+152]
    00596778ldr x16, [sp+296]
    0059677cldr x17, [sp+328]
    00596780adcs x19, x17, x16
    00596784adds x19, x9, x4
    00596788adcs x19, x11, x10
    0059678cadcs x19, x13, x12
    00596790adcs x19, x15, x14
    00596794adcs x19, x17, x16
    00596798str x19, [sp+1928]
    0059679cadds x4, x9, x4
    005967a0adcs x4, x11, x10
    005967a4adcs x4, x13, x12
    005967a8adcs x4, x15, x14
    005967acadcs x4, x17, x16
    005967b0adc x4, xzr, xzr
    005967b4str x4, [sp+1920]
    005967b8str x19, [sp+2808]
    005967bcstr x4, [sp+2800]
    005967c0str x19, [sp+160]
    005967c4str x4, [sp+152]
    005967c8ldr x9, [sp+320]
    005967ccadd x4, x4, x9
    005967d0str x4, [sp+144]
    005967d4str xzr, [sp+136]
    005967d8str xzr, [sp+128]
    005967dcldr x4, [sp+3112]
    005967e0ldrsb x27, [x4]
    005967e4ldr x4, [x4+24]
    005967e8str x4, [sp+1840]
    005967ecldr x9, [sp+704]
    005967f0umulh x10, x9, x4
    005967f4str x10, [sp+1920]
    005967f8madd x4, x9, x4, xzr
    005967fcstr x4, [sp+1928]
    00596800str x10, [sp+2792]
    00596804str x4, [sp+2784]
    00596808str x10, [sp+128]
    0059680cstr x4, [sp+136]
    00596810str xzr, [sp+112]
    00596814str xzr, [sp+104]
    00596818ldr x4, [sp+3112]
    0059681cldrsb x27, [x4]
    00596820ldr x4, [x4+16]
    00596824str x4, [sp+1832]
    00596828ldr x9, [sp+704]
    0059682cumulh x10, x9, x4
    00596830str x10, [sp+1928]
    00596834madd x4, x9, x4, xzr
    00596838str x4, [sp+1920]
    0059683cstr x10, [sp+2768]
    00596840str x4, [sp+2760]
    00596844str x10, [sp+104]
    00596848str x4, [sp+112]
    0059684cstr xzr, [sp+96]
    00596850str xzr, [sp+88]
    00596854ldr x4, [sp+3112]
    00596858ldrsb x27, [x4]
    0059685cldr x4, [x4+8]
    00596860str x4, [sp+1824]
    00596864ldr x9, [sp+704]
    00596868umulh x10, x9, x4
    0059686cstr x10, [sp+1920]
    00596870madd x4, x9, x4, xzr
    00596874str x4, [sp+1928]
    00596878str x10, [sp+2752]
    0059687cstr x4, [sp+2744]
    00596880str x10, [sp+88]
    00596884str x4, [sp+96]
    00596888str xzr, [sp+80]
    0059688cstr xzr, [sp+72]
    00596890ldr x4, [sp+3112]
    00596894ldrsb x27, [x4]
    00596898ldr x4, [x4]
    0059689cstr x4, [sp+1816]
    005968a0ldr x9, [sp+704]
    005968a4umulh x10, x9, x4
    005968a8str x10, [sp+1928]
    005968acmadd x4, x9, x4, xzr
    005968b0str x4, [sp+1920]
    005968b4str x10, [sp+2736]
    005968b8str x4, [sp+2728]
    005968bcstr x10, [sp+72]
    005968c0str x4, [sp+80]
    005968c4str xzr, [sp+64]
    005968c8str xzr, [sp+56]
    005968ccldr x4, [sp+96]
    005968d0adds x9, x10, x4
    005968d4adc x9, xzr, xzr
    005968d8adds x11, x10, x4
    005968dcstr x11, [sp+1920]
    005968e0str x9, [sp+1928]
    005968e4str x11, [sp+2712]
    005968e8str x9, [sp+2704]
    005968ecstr x11, [sp+64]
    005968f0str x9, [sp+56]
    005968f4str xzr, [sp+48]
    005968f8str xzr, [sp+40]
    005968fcldr x9, [sp+112]
    00596900ldr x11, [sp+88]
    00596904adds x12, x10, x4
    00596908adcs x12, x11, x9
    0059690cadds x12, x10, x4
    00596910adcs x12, x11, x9
    00596914str x12, [sp+1928]
    00596918adds x13, x10, x4
    0059691cadcs x13, x11, x9
    00596920adc x13, xzr, xzr
    00596924str x13, [sp+1920]
    00596928str x12, [sp+2696]
    0059692cstr x13, [sp+2688]
    00596930str x12, [sp+48]
    00596934str x13, [sp+40]
    00596938str xzr, [sp+1504]
    0059693cstr xzr, [sp+1496]
    00596940ldr x12, [sp+136]
    00596944ldr x13, [sp+104]
    00596948adcs x14, x13, x12
    0059694cadds x14, x10, x4
    00596950adcs x14, x11, x9
    00596954adcs x14, x13, x12
    00596958str x14, [sp+1920]
    0059695cadds x4, x10, x4
    00596960adcs x4, x11, x9
    00596964adcs x4, x13, x12
    00596968adc x4, xzr, xzr
    0059696cstr x4, [sp+1928]
    00596970str x14, [sp+2680]
    00596974str x4, [sp+2672]
    00596978str x14, [sp+1504]
    0059697cstr x4, [sp+1496]
    00596980ldr x9, [sp+128]
    00596984add x4, x4, x9
    00596988str x4, [sp+1488]
    0059698cstr xzr, [sp+1480]
    00596990str xzr, [sp+1472]
    00596994ldr x4, [sp+80]
    00596998ldr x9, [sp+216]
    0059699cadds x10, x9, x4
    005969a0adc x10, xzr, xzr
    005969a4adds x11, x9, x4
    005969a8str x11, [sp+1928]
    005969acstr x10, [sp+1920]
    005969b0str x11, [sp+2664]
    005969b4str x10, [sp+2656]
    005969b8str x11, [sp+1480]
    005969bcstr x10, [sp+1472]
    005969c0str xzr, [sp+1464]
    005969c4str xzr, [sp+1456]
    005969c8ldr x10, [sp+64]
    005969ccldr x11, [sp+192]
    005969d0adds x12, x9, x4
    005969d4adcs x12, x11, x10
    005969d8adds x12, x9, x4
    005969dcadcs x12, x11, x10
    005969e0str x12, [sp+1920]
    005969e4adds x13, x9, x4
    005969e8adcs x13, x11, x10
    005969ecadc x13, xzr, xzr
    005969f0str x13, [sp+1928]
    005969f4str x12, [sp+2648]
    005969f8str x13, [sp+2640]
    005969fcstr x12, [sp+1464]
    00596a00str x13, [sp+1456]
    00596a04str xzr, [sp+1448]
    00596a08str xzr, [sp+1440]
    00596a0cldr x12, [sp+48]
    00596a10ldr x13, [sp+176]
    00596a14adcs x14, x13, x12
    00596a18adds x14, x9, x4
    00596a1cadcs x14, x11, x10
    00596a20adcs x14, x13, x12
    00596a24str x14, [sp+1928]
    00596a28adds x15, x9, x4
    00596a2cadcs x15, x11, x10
    00596a30adcs x15, x13, x12
    00596a34adc x15, xzr, xzr
    00596a38str x15, [sp+1920]
    00596a3cstr x14, [sp+2632]
    00596a40str x15, [sp+2624]
    00596a44str x14, [sp+1448]
    00596a48str x15, [sp+1440]
    00596a4cstr xzr, [sp+1432]
    00596a50str xzr, [sp+1416]
    00596a54ldr x14, [sp+1504]
    00596a58ldr x15, [sp+160]
    00596a5cadcs x16, x15, x14
    00596a60adds x16, x9, x4
    00596a64adcs x16, x11, x10
    00596a68adcs x16, x13, x12
    00596a6cadcs x16, x15, x14
    00596a70str x16, [sp+1920]
    00596a74adds x17, x9, x4
    00596a78adcs x17, x11, x10
    00596a7cadcs x17, x13, x12
    00596a80adcs x17, x15, x14
    00596a84adc x17, xzr, xzr
    00596a88str x17, [sp+1928]
    00596a8cstr x16, [sp+2616]
    00596a90str x17, [sp+2608]
    00596a94str x16, [sp+1432]
    00596a98str x17, [sp+1416]
    00596a9cstr xzr, [sp+1408]
    00596aa0str xzr, [sp+1400]
    00596aa4ldr x16, [sp+1488]
    00596aa8ldr x17, [sp+144]
    00596aacadcs x19, x17, x16
    00596ab0adds x19, x9, x4
    00596ab4adcs x19, x11, x10
    00596ab8adcs x19, x13, x12
    00596abcadcs x19, x15, x14
    00596ac0adcs x19, x17, x16
    00596ac4str x19, [sp+1928]
    00596ac8adds x4, x9, x4
    00596accadcs x4, x11, x10
    00596ad0adcs x4, x13, x12
    00596ad4adcs x4, x15, x14
    00596ad8adcs x4, x17, x16
    00596adcadc x4, xzr, xzr
    00596ae0str x4, [sp+1920]
    00596ae4str x19, [sp+2592]
    00596ae8str x4, [sp+2584]
    00596aecstr x19, [sp+1408]
    00596af0str x4, [sp+1400]
    00596af4str xzr, [sp+1392]
    00596af8ldr x4, [sp+1480]
    00596afcmadd x9, x4, x5, xzr
    00596b00umulh x4, x4, x5
    00596b04str x4, [sp+1920]
    00596b08str x9, [sp+1928]
    00596b0cstr x4, [sp+2576]
    00596b10str x9, [sp+2568]
    00596b14str x9, [sp+1392]
    00596b18str xzr, [sp+1384]
    00596b1cstr xzr, [sp+1376]
    00596b20ubfm x4, x9, 4, 3
    00596b24umulh x9, x9, x7
    00596b28str x9, [sp+1928]
    00596b2cstr x4, [sp+1920]
    00596b30str x9, [sp+2560]
    00596b34str x4, [sp+2552]
    00596b38str x9, [sp+1376]
    00596b3cstr x4, [sp+1384]
    00596b40str xzr, [sp+1368]
    00596b44str xzr, [sp+1360]
    00596b48ldr x4, [sp+1392]
    00596b4cumulh x9, x4, x6
    00596b50str x9, [sp+1920]
    00596b54madd x4, x4, x6, xzr
    00596b58str x4, [sp+1928]
    00596b5cstr x9, [sp+2536]
    00596b60str x4, [sp+2528]
    00596b64str x9, [sp+1360]
    00596b68str x4, [sp+1368]
    00596b6cstr xzr, [sp+1352]
    00596b70str xzr, [sp+1336]
    00596b74ldr x4, [sp+1392]
    00596b78umulh x9, x4, x8
    00596b7cstr x9, [sp+1928]
    00596b80madd x4, x4, x8, xzr
    00596b84str x4, [sp+1920]
    00596b88str x9, [sp+2520]
    00596b8cstr x4, [sp+2512]
    00596b90str x9, [sp+1336]
    00596b94str x4, [sp+1352]
    00596b98str xzr, [sp+1328]
    00596b9cstr xzr, [sp+1320]
    00596ba0ldr x4, [sp+1368]
    00596ba4adds x10, x9, x4
    00596ba8adc x10, xzr, xzr
    00596bacadds x4, x9, x4
    00596bb0str x4, [sp+1920]
    00596bb4str x10, [sp+1928]
    00596bb8str x4, [sp+2504]
    00596bbcstr x10, [sp+2496]
    00596bc0str x4, [sp+1328]
    00596bc4str x10, [sp+1320]
    00596bc8ldr x4, [sp+1360]
    00596bccadd x4, x10, x4
    00596bd0str x4, [sp+1312]
    00596bd4str xzr, [sp+1304]
    00596bd8ldr x4, [sp+1352]
    00596bdcldr x9, [sp+1480]
    00596be0adds x10, x9, x4
    00596be4adc x10, xzr, xzr
    00596be8adds x11, x9, x4
    00596becstr x11, [sp+1928]
    00596bf0str x10, [sp+1920]
    00596bf4str x11, [sp+2488]
    00596bf8str x10, [sp+2480]
    00596bfcstr x10, [sp+1304]
    00596c00str xzr, [sp+1296]
    00596c04str xzr, [sp+1288]
    00596c08ldr x10, [sp+1328]
    00596c0cldr x11, [sp+1464]
    00596c10adds x12, x9, x4
    00596c14adcs x12, x11, x10
    00596c18adds x12, x9, x4
    00596c1cadcs x12, x11, x10
    00596c20str x12, [sp+1920]
    00596c24adds x13, x9, x4
    00596c28adcs x13, x11, x10
    00596c2cadc x13, xzr, xzr
    00596c30str x13, [sp+1928]
    00596c34str x12, [sp+2472]
    00596c38str x13, [sp+2464]
    00596c3cstr x12, [sp+1296]
    00596c40str x13, [sp+1288]
    00596c44str xzr, [sp+1280]
    00596c48str xzr, [sp+1272]
    00596c4cldr x12, [sp+1312]
    00596c50ldr x13, [sp+1448]
    00596c54adcs x14, x13, x12
    00596c58adds x14, x9, x4
    00596c5cadcs x14, x11, x10
    00596c60adcs x14, x13, x12
    00596c64str x14, [sp+1928]
    00596c68adds x15, x9, x4
    00596c6cadcs x15, x11, x10
    00596c70adcs x15, x13, x12
    00596c74adc x15, xzr, xzr
    00596c78str x15, [sp+1920]
    00596c7cstr x14, [sp+2456]
    00596c80str x15, [sp+2448]
    00596c84str x14, [sp+1280]
    00596c88str x15, [sp+1272]
    00596c8cstr xzr, [sp+1256]
    00596c90str xzr, [sp+1248]
    00596c94ldr x14, [sp+1384]
    00596c98ldr x15, [sp+1432]
    00596c9cadcs x16, x15, x14
    00596ca0adds x16, x9, x4
    00596ca4adcs x16, x11, x10
    00596ca8adcs x16, x13, x12
    00596cacadcs x16, x15, x14
    00596cb0str x16, [sp+1920]
    00596cb4adds x17, x9, x4
    00596cb8adcs x17, x11, x10
    00596cbcadcs x17, x13, x12
    00596cc0adcs x17, x15, x14
    00596cc4adc x17, xzr, xzr
    00596cc8str x17, [sp+1928]
    00596cccstr x16, [sp+2440]
    00596cd0str x17, [sp+2432]
    00596cd4str x16, [sp+1256]
    00596cd8str x17, [sp+1248]
    00596cdcstr xzr, [sp+1240]
    00596ce0str xzr, [sp+1232]
    00596ce4ldr x16, [sp+1376]
    00596ce8ldr x17, [sp+1408]
    00596cecadcs x19, x17, x16
    00596cf0adds x19, x9, x4
    00596cf4adcs x19, x11, x10
    00596cf8adcs x19, x13, x12
    00596cfcadcs x19, x15, x14
    00596d00adcs x19, x17, x16
    00596d04str x19, [sp+1928]
    00596d08adds x4, x9, x4
    00596d0cadcs x4, x11, x10
    00596d10adcs x4, x13, x12
    00596d14adcs x4, x15, x14
    00596d18adcs x4, x17, x16
    00596d1cadc x4, xzr, xzr
    00596d20str x4, [sp+1920]
    00596d24str x19, [sp+2416]
    00596d28str x4, [sp+2408]
    00596d2cstr x19, [sp+1240]
    00596d30str x4, [sp+1232]
    00596d34ldr x9, [sp+1400]
    00596d38add x4, x4, x9
    00596d3cstr x4, [sp+1224]
    00596d40str xzr, [sp+1216]
    00596d44str xzr, [sp+1208]
    00596d48ldr x4, [sp+3112]
    00596d4cldrsb x27, [x4]
    00596d50ldr x4, [x4+24]
    00596d54str x4, [sp+1808]
    00596d58ldr x9, [sp+624]
    00596d5cumulh x10, x9, x4
    00596d60str x10, [sp+1920]
    00596d64madd x4, x9, x4, xzr
    00596d68str x4, [sp+1928]
    00596d6cstr x10, [sp+2400]
    00596d70str x4, [sp+2392]
    00596d74str x10, [sp+1208]
    00596d78str x4, [sp+1216]
    00596d7cstr xzr, [sp+1200]
    00596d80str xzr, [sp+1192]
    00596d84ldr x4, [sp+3112]
    00596d88ldrsb x27, [x4]
    00596d8cldr x4, [x4+16]
    00596d90str x4, [sp+1792]
    00596d94ldr x9, [sp+624]
    00596d98umulh x10, x9, x4
    00596d9cstr x10, [sp+1928]
    00596da0madd x4, x9, x4, xzr
    00596da4str x4, [sp+1920]
    00596da8str x10, [sp+2384]
    00596dacstr x4, [sp+2368]
    00596db0str x10, [sp+1192]
    00596db4str x4, [sp+1200]
    00596db8str xzr, [sp+1184]
    00596dbcstr xzr, [sp+1168]
    00596dc0ldr x4, [sp+3112]
    00596dc4ldrsb x27, [x4]
    00596dc8ldr x4, [x4+8]
    00596dccstr x4, [sp+1784]
    00596dd0ldr x9, [sp+624]
    00596dd4umulh x10, x9, x4
    00596dd8str x10, [sp+1920]
    00596ddcmadd x4, x9, x4, xzr
    00596de0str x4, [sp+1928]
    00596de4str x10, [sp+2360]
    00596de8str x4, [sp+2352]
    00596decstr x10, [sp+1168]
    00596df0str x4, [sp+1184]
    00596df4str xzr, [sp+1160]
    00596df8str xzr, [sp+1152]
    00596dfcldr x4, [sp+3112]
    00596e00ldrsb x27, [x4]
    00596e04ldr x4, [x4]
    00596e08str x4, [sp+1776]
    00596e0cldr x9, [sp+624]
    00596e10umulh x10, x9, x4
    00596e14str x10, [sp+1928]
    00596e18madd x4, x9, x4, xzr
    00596e1cstr x4, [sp+1920]
    00596e20str x10, [sp+2344]
    00596e24str x4, [sp+2336]
    00596e28str x10, [sp+1152]
    00596e2cstr x4, [sp+1160]
    00596e30str xzr, [sp+1144]
    00596e34str xzr, [sp+1136]
    00596e38ldr x4, [sp+1184]
    00596e3cadds x9, x10, x4
    00596e40adc x9, xzr, xzr
    00596e44adds x11, x10, x4
    00596e48str x11, [sp+1920]
    00596e4cstr x9, [sp+1928]
    00596e50str x11, [sp+2328]
    00596e54str x9, [sp+2320]
    00596e58str x11, [sp+1144]
    00596e5cstr x9, [sp+1136]
    00596e60str xzr, [sp+1128]
    00596e64str xzr, [sp+1120]
    00596e68ldr x9, [sp+1200]
    00596e6cldr x11, [sp+1168]
    00596e70adds x12, x10, x4
    00596e74adcs x12, x11, x9
    00596e78adds x12, x10, x4
    00596e7cadcs x12, x11, x9
    00596e80str x12, [sp+1928]
    00596e84adds x13, x10, x4
    00596e88adcs x13, x11, x9
    00596e8cadc x13, xzr, xzr
    00596e90str x13, [sp+1920]
    00596e94str x12, [sp+2312]
    00596e98str x13, [sp+2304]
    00596e9cstr x12, [sp+1128]
    00596ea0str x13, [sp+1120]
    00596ea4str xzr, [sp+1112]
    00596ea8str xzr, [sp+1104]
    00596eacldr x12, [sp+1216]
    00596eb0ldr x13, [sp+1192]
    00596eb4adcs x14, x13, x12
    00596eb8adds x14, x10, x4
    00596ebcadcs x14, x11, x9
    00596ec0adcs x14, x13, x12
    00596ec4str x14, [sp+1920]
    00596ec8adds x4, x10, x4
    00596eccadcs x4, x11, x9
    00596ed0adcs x4, x13, x12
    00596ed4adc x4, xzr, xzr
    00596ed8str x4, [sp+1928]
    00596edcstr x14, [sp+2296]
    00596ee0str x4, [sp+2288]
    00596ee4str x14, [sp+1112]
    00596ee8str x4, [sp+1104]
    00596eecldr x9, [sp+1208]
    00596ef0add x4, x4, x9
    00596ef4str x4, [sp+1096]
    00596ef8str xzr, [sp+1080]
    00596efcstr xzr, [sp+1072]
    00596f00ldr x4, [sp+1160]
    00596f04ldr x9, [sp+1296]
    00596f08adds x10, x9, x4
    00596f0cadc x10, xzr, xzr
    00596f10adds x11, x9, x4
    00596f14str x11, [sp+1928]
    00596f18str x10, [sp+1920]
    00596f1cstr x11, [sp+2280]
    00596f20str x10, [sp+2272]
    00596f24str x11, [sp+1080]
    00596f28str x10, [sp+1072]
    00596f2cstr xzr, [sp+1064]
    00596f30str xzr, [sp+1056]
    00596f34ldr x10, [sp+1144]
    00596f38ldr x11, [sp+1280]
    00596f3cadds x12, x9, x4
    00596f40adcs x12, x11, x10
    00596f44adds x12, x9, x4
    00596f48adcs x12, x11, x10
    00596f4cstr x12, [sp+1920]
    00596f50adds x13, x9, x4
    00596f54adcs x13, x11, x10
    00596f58adc x13, xzr, xzr
    00596f5cstr x13, [sp+1928]
    00596f60str x12, [sp+2264]
    00596f64str x13, [sp+2256]
    00596f68str x12, [sp+1064]
    00596f6cstr x13, [sp+1056]
    00596f70str xzr, [sp+1048]
    00596f74str xzr, [sp+1040]
    00596f78ldr x12, [sp+1128]
    00596f7cldr x13, [sp+1256]
    00596f80adcs x14, x13, x12
    00596f84adds x14, x9, x4
    00596f88adcs x14, x11, x10
    00596f8cadcs x14, x13, x12
    00596f90str x14, [sp+1928]
    00596f94adds x15, x9, x4
    00596f98adcs x15, x11, x10
    00596f9cadcs x15, x13, x12
    00596fa0adc x15, xzr, xzr
    00596fa4str x15, [sp+1920]
    00596fa8str x14, [sp+2240]
    00596facstr x15, [sp+2232]
    00596fb0str x14, [sp+1048]
    00596fb4str x15, [sp+1040]
    00596fb8str xzr, [sp+1032]
    00596fbcstr xzr, [sp+1024]
    00596fc0ldr x14, [sp+1112]
    00596fc4ldr x15, [sp+1240]
    00596fc8adcs x16, x15, x14
    00596fccadds x16, x9, x4
    00596fd0adcs x16, x11, x10
    00596fd4adcs x16, x13, x12
    00596fd8adcs x16, x15, x14
    00596fdcstr x16, [sp+1920]
    00596fe0adds x17, x9, x4
    00596fe4adcs x17, x11, x10
    00596fe8adcs x17, x13, x12
    00596fecadcs x17, x15, x14
    00596ff0adc x17, xzr, xzr
    00596ff4str x17, [sp+1928]
    00596ff8str x16, [sp+2224]
    00596ffcstr x17, [sp+2216]
    00597000str x16, [sp+1032]
    00597004str x17, [sp+1024]
    00597008str xzr, [sp+1016]
    0059700cstr xzr, [sp+1008]
    00597010ldr x16, [sp+1096]
    00597014ldr x17, [sp+1224]
    00597018adcs x19, x17, x16
    0059701cadds x19, x9, x4
    00597020adcs x19, x11, x10
    00597024adcs x19, x13, x12
    00597028adcs x19, x15, x14
    0059702cadcs x19, x17, x16
    00597030str x19, [sp+1928]
    00597034adds x4, x9, x4
    00597038adcs x4, x11, x10
    0059703cadcs x4, x13, x12
    00597040adcs x4, x15, x14
    00597044adcs x4, x17, x16
    00597048adc x4, xzr, xzr
    0059704cstr x4, [sp+1920]
    00597050str x19, [sp+2200]
    00597054str x4, [sp+2192]
    00597058str x19, [sp+1016]
    0059705cstr x4, [sp+1008]
    00597060str xzr, [sp+992]
    00597064ldr x4, [sp+1080]
    00597068madd x9, x4, x5, xzr
    0059706cumulh x4, x4, x5
    00597070str x4, [sp+1920]
    00597074str x9, [sp+1928]
    00597078str x4, [sp+2184]
    0059707cstr x9, [sp+2176]
    00597080str x9, [sp+992]
    00597084str xzr, [sp+984]
    00597088str xzr, [sp+976]
    0059708cubfm x4, x9, 4, 3
    00597090umulh x5, x9, x7
    00597094str x5, [sp+1928]
    00597098str x4, [sp+1920]
    0059709cstr x5, [sp+2168]
    005970a0str x4, [sp+2160]
    005970a4str x5, [sp+976]
    005970a8str x4, [sp+984]
    005970acstr xzr, [sp+968]
    005970b0str xzr, [sp+960]
    005970b4ldr x4, [sp+992]
    005970b8umulh x5, x4, x6
    005970bcstr x5, [sp+1920]
    005970c0madd x4, x4, x6, xzr
    005970c4str x4, [sp+1928]
    005970c8str x5, [sp+2152]
    005970ccstr x4, [sp+2144]
    005970d0str x5, [sp+960]
    005970d4str x4, [sp+968]
    005970d8str xzr, [sp+952]
    005970dcstr xzr, [sp+944]
    005970e0ldr x4, [sp+992]
    005970e4umulh x5, x4, x8
    005970e8str x5, [sp+1928]
    005970ecmadd x4, x4, x8, xzr
    005970f0str x4, [sp+1920]
    005970f4str x5, [sp+2136]
    005970f8str x4, [sp+2128]
    005970fcstr x5, [sp+944]
    00597100str x4, [sp+952]
    00597104str xzr, [sp+936]
    00597108str xzr, [sp+928]
    0059710cldr x4, [sp+968]
    00597110adds x9, x5, x4
    00597114adc x9, xzr, xzr
    00597118adds x4, x5, x4
    0059711cstr x4, [sp+1920]
    00597120str x9, [sp+1928]
    00597124str x4, [sp+2120]
    00597128str x9, [sp+2112]
    0059712cstr x4, [sp+936]
    00597130str x9, [sp+928]
    00597134ldr x4, [sp+960]
    00597138add x4, x9, x4
    0059713cstr x4, [sp+912]
    00597140str xzr, [sp+904]
    00597144ldr x4, [sp+952]
    00597148ldr x5, [sp+1080]
    0059714cadds x9, x5, x4
    00597150adc x9, xzr, xzr
    00597154adds x10, x5, x4
    00597158str x10, [sp+1928]
    0059715cstr x9, [sp+1920]
    00597160str x10, [sp+2104]
    00597164str x9, [sp+2096]
    00597168str x9, [sp+904]
    0059716cstr xzr, [sp+896]
    00597170str xzr, [sp+888]
    00597174ldr x9, [sp+936]
    00597178ldr x10, [sp+1064]
    0059717cadds x11, x5, x4
    00597180adcs x11, x10, x9
    00597184adds x11, x5, x4
    00597188adcs x11, x10, x9
    0059718cstr x11, [sp+1920]
    00597190adds x12, x5, x4
    00597194adcs x12, x10, x9
    00597198adc x12, xzr, xzr
    0059719cstr x12, [sp+1928]
    005971a0str x11, [sp+2088]
    005971a4str x12, [sp+2080]
    005971a8str x11, [sp+896]
    005971acstr x12, [sp+888]
    005971b0str xzr, [sp+880]
    005971b4str xzr, [sp+872]
    005971b8ldr x11, [sp+912]
    005971bcldr x12, [sp+1048]
    005971c0adcs x13, x12, x11
    005971c4adds x13, x5, x4
    005971c8adcs x13, x10, x9
    005971ccadcs x13, x12, x11
    005971d0str x13, [sp+1928]
    005971d4adds x14, x5, x4
    005971d8adcs x14, x10, x9
    005971dcadcs x14, x12, x11
    005971e0adc x14, xzr, xzr
    005971e4str x14, [sp+1920]
    005971e8str x13, [sp+2064]
    005971ecstr x14, [sp+2056]
    005971f0str x13, [sp+880]
    005971f4str x14, [sp+872]
    005971f8str xzr, [sp+864]
    005971fcstr xzr, [sp+856]
    00597200ldr x13, [sp+984]
    00597204ldr x14, [sp+1032]
    00597208adcs x15, x14, x13
    0059720cadds x15, x5, x4
    00597210adcs x15, x10, x9
    00597214adcs x15, x12, x11
    00597218adcs x15, x14, x13
    0059721cstr x15, [sp+1920]
    00597220adds x16, x5, x4
    00597224adcs x16, x10, x9
    00597228adcs x16, x12, x11
    0059722cadcs x16, x14, x13
    00597230adc x16, xzr, xzr
    00597234str x16, [sp+1928]
    00597238str x15, [sp+2048]
    0059723cstr x16, [sp+2040]
    00597240str x15, [sp+864]
    00597244str x16, [sp+856]
    00597248str xzr, [sp+848]
    0059724cstr xzr, [sp+832]
    00597250ldr x15, [sp+976]
    00597254ldr x16, [sp+1016]
    00597258adcs x17, x16, x15
    0059725cadds x17, x5, x4
    00597260adcs x17, x10, x9
    00597264adcs x17, x12, x11
    00597268adcs x17, x14, x13
    0059726cadcs x17, x16, x15
    00597270str x17, [sp+1928]
    00597274adds x4, x5, x4
    00597278adcs x4, x10, x9
    0059727cadcs x4, x12, x11
    00597280adcs x4, x14, x13
    00597284adcs x4, x16, x15
    00597288adc x4, xzr, xzr
    0059728cstr x4, [sp+1920]
    00597290str x17, [sp+2032]
    00597294str x4, [sp+2016]
    00597298str x17, [sp+848]
    0059729cstr x4, [sp+832]
    005972a0ldr x5, [sp+1008]
    005972a4add x4, x4, x5
    005972a8str x4, [sp+824]
    005972acstr xzr, [sp+816]
    005972b0str xzr, [sp+808]
    005972b4ldr x4, [sp+896]
    005972b8subs x5, x4, x8
    005972bcsbc x5, xzr, xzr
    005972c0sub x5, xzr, x5
    005972c4subs x9, x4, x8
    005972c8str x9, [sp+1920]
    005972ccstr x5, [sp+1928]
    005972d0str x9, [sp+2008]
    005972d4str x5, [sp+2000]
    005972d8str x9, [sp+816]
    005972dcstr x5, [sp+808]
    005972e0str xzr, [sp+800]
    005972e4str xzr, [sp+792]
    005972e8ldr x5, [sp+880]
    005972ecsubs x9, x4, x8
    005972f0sbcs x9, x5, x6
    005972f4subs x9, x4, x8
    005972f8sbcs x9, x5, x6
    005972fcstr x9, [sp+1928]
    00597300subs x10, x4, x8
    00597304sbcs x10, x5, x6
    00597308sbc x10, xzr, xzr
    0059730csub x10, xzr, x10
    00597310str x10, [sp+1920]
    00597314str x9, [sp+1992]
    00597318str x10, [sp+1984]
    0059731cstr x9, [sp+800]
    00597320str x10, [sp+792]
    00597324str xzr, [sp+784]
    00597328str xzr, [sp+776]
    0059732cldr x9, [sp+864]
    00597330mov x10, xzr
    00597334sbcs x11, x9, x10
    00597338subs x11, x4, x8
    0059733csbcs x11, x5, x6
    00597340sbcs x11, x9, x10
    00597344str x11, [sp+1920]
    00597348subs x12, x4, x8
    0059734csbcs x12, x5, x6
    00597350sbcs x12, x9, x10
    00597354sbc x12, xzr, xzr
    00597358sub x12, xzr, x12
    0059735cstr x12, [sp+1928]
    00597360str x11, [sp+1976]
    00597364str x12, [sp+1968]
    00597368str x11, [sp+784]
    0059736cstr x12, [sp+776]
    00597370str xzr, [sp+768]
    00597374str xzr, [sp+760]
    00597378ldr x11, [sp+848]
    0059737csbcs x12, x11, x7
    00597380subs x12, x4, x8
    00597384sbcs x12, x5, x6
    00597388sbcs x12, x9, x10
    0059738csbcs x12, x11, x7
    00597390str x12, [sp+1928]
    00597394subs x13, x4, x8
    00597398sbcs x13, x5, x6
    0059739csbcs x13, x9, x10
    005973a0sbcs x13, x11, x7
    005973a4sbc x13, xzr, xzr
    005973a8sub x13, xzr, x13
    005973acstr x13, [sp+1920]
    005973b0str x12, [sp+1960]
    005973b4str x13, [sp+1952]
    005973b8str x12, [sp+768]
    005973bcstr x13, [sp+760]
    005973c0str xzr, [sp+744]
    005973c4ldr x12, [sp+824]
    005973c8sbcs x13, x12, x10
    005973ccsubs x13, x4, x8
    005973d0sbcs x13, x5, x6
    005973d4sbcs x13, x9, x10
    005973d8sbcs x13, x11, x7
    005973dcsbcs x13, x12, x10
    005973e0str x13, [sp+1920]
    005973e4subs x4, x4, x8
    005973e8sbcs x4, x5, x6
    005973ecsbcs x4, x9, x10
    005973f0sbcs x4, x11, x7
    005973f4sbcs x4, x12, x10
    005973f8sbc x4, xzr, xzr
    005973fcsub x1, xzr, x4
    00597400str x1, [sp+1928]
    00597404str x13, [sp+1944]
    00597408str x1, [sp+1936]
    0059740cstr x1, [sp+744]
    00597410str xzr, [sp+736]
    00597414ldr x2, [sp+816]
    00597418ldr x3, [sp+896]
    0059741cadd x0, sp, 736
    00597420bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    00597424str xzr, [sp+728]
    00597428ldr x2, [sp+800]
    0059742cldr x3, [sp+880]
    00597430ldr x1, [sp+744]
    00597434add x0, sp, 728
    00597438bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    0059743cstr xzr, [sp+720]
    00597440ldr x2, [sp+784]
    00597444ldr x3, [sp+864]
    00597448ldr x1, [sp+744]
    0059744cadd x0, sp, 720
    00597450bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    00597454str xzr, [sp+712]
    00597458ldr x2, [sp+768]
    0059745cldr x3, [sp+848]
    00597460ldr x1, [sp+744]
    00597464add x0, sp, 712
    00597468bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    0059746cldr x4, [sp+3096]
    00597470ldrsb x27, [x4]
    00597474ldr x5, [sp+736]
    00597478str x5, [x4]
    0059747cldr x4, [sp+3096]
    00597480ldrsb x27, [x4]
    00597484ldr x5, [sp+728]
    00597488str x5, [x4+8]
    0059748cldr x4, [sp+3096]
    00597490ldrsb x27, [x4]
    00597494ldr x5, [sp+720]
    00597498str x5, [x4+16]
    0059749cldr x4, [sp+3096]
    005974a0ldrsb x27, [x4]
    005974a4ldr x5, [sp+712]
    005974a8str x5, [x4+24]
    005974acldp x29, x30, [sp-8]
    005974b0add sp, sp, 3088
    005974b4ret x30
    005974b8
    005974b8loc_5974b8:
    005974b8stp x0, x1, [sp+8]
    005974bcstr x2, [sp+24]
    005974c0mov x3, x30
    005974c4bl runtime.morestack_noctxt.abi0
    005974c8ldp x0, x1, [sp+8]
    005974ccldr x2, [sp+24]
    005974d0b 0x595de0
    005974d4udf 0
    005974d8udf 0
    005974dcudf 0
    00595de0
    005974e0
    005974e0crypto/internal/fips140/edwards25519.fiatScalarAdd: ; void crypto/internal/fips140/edwards25519.fiatScalarAdd(crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * out1, crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * arg1, crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * arg2)
    005974e0ldr x16, [x28+16]
    005974e4sub x17, sp, 320
    005974e8subs xzr, x17, x16
    005974ecb.ls 0x5978a0
    005974f0sub x20, sp, 448
    005974f4stp x29, x30, [x20-8]
    005974f8add sp, x20, 0
    005974fcsub x29, sp, 8
    00597500str x0, [sp+456]
    00597504str x1, [sp+464]
    00597508str x2, [sp+472]
    0059750cstr xzr, [sp+208]
    00597510str xzr, [sp+128]
    00597514ldrsb x27, [x1]
    00597518ldr x4, [x1]
    0059751cstr x4, [sp+296]
    00597520ldrsb x27, [x2]
    00597524ldr x5, [x2]
    00597528str x5, [sp+288]
    0059752cadds x6, x4, x5
    00597530adc x6, xzr, xzr
    00597534adds x4, x4, x5
    00597538str x4, [sp+312]
    0059753cstr x6, [sp+304]
    00597540str x4, [sp+248]
    00597544str x6, [sp+224]
    00597548str x4, [sp+208]
    0059754cstr x6, [sp+128]
    00597550str xzr, [sp+96]
    00597554str xzr, [sp+88]
    00597558ldr x4, [sp+464]
    0059755cldrsb x27, [x4]
    00597560ldr x4, [x4+8]
    00597564str x4, [sp+280]
    00597568ldr x5, [sp+472]
    0059756cldrsb x27, [x5]
    00597570ldr x5, [x5+8]
    00597574str x5, [sp+272]
    00597578ldr x6, [sp+128]
    0059757cmovn x7, 0
    00597580adds x7, x6, x7
    00597584adcs x7, x4, x5
    00597588adc x7, xzr, xzr
    0059758cmovn x8, 0
    00597590adds x6, x6, x8
    00597594adcs x4, x4, x5
    00597598str x4, [sp+304]
    0059759cstr x7, [sp+312]
    005975a0str x4, [sp+216]
    005975a4str x7, [sp+432]
    005975a8str x4, [sp+96]
    005975acstr x7, [sp+88]
    005975b0str xzr, [sp+80]
    005975b4str xzr, [sp+72]
    005975b8ldr x4, [sp+464]
    005975bcldrsb x27, [x4]
    005975c0ldr x4, [x4+16]
    005975c4str x4, [sp+264]
    005975c8ldr x5, [sp+472]
    005975ccldrsb x27, [x5]
    005975d0ldr x5, [x5+16]
    005975d4str x5, [sp+256]
    005975d8ldr x6, [sp+88]
    005975dcmovn x7, 0
    005975e0adds x7, x6, x7
    005975e4adcs x7, x4, x5
    005975e8adc x7, xzr, xzr
    005975ecmovn x8, 0
    005975f0adds x6, x6, x8
    005975f4adcs x4, x4, x5
    005975f8str x4, [sp+312]
    005975fcstr x7, [sp+304]
    00597600str x4, [sp+424]
    00597604str x7, [sp+416]
    00597608str x4, [sp+80]
    0059760cstr x7, [sp+72]
    00597610str xzr, [sp+64]
    00597614str xzr, [sp+56]
    00597618ldr x4, [sp+464]
    0059761cldrsb x27, [x4]
    00597620ldr x4, [x4+24]
    00597624str x4, [sp+240]
    00597628ldr x5, [sp+472]
    0059762cldrsb x27, [x5]
    00597630ldr x5, [x5+24]
    00597634str x5, [sp+232]
    00597638ldr x6, [sp+72]
    0059763cmovn x7, 0
    00597640adds x7, x6, x7
    00597644adcs x7, x4, x5
    00597648adc x7, xzr, xzr
    0059764cmovn x8, 0
    00597650adds x6, x6, x8
    00597654adcs x4, x4, x5
    00597658str x4, [sp+304]
    0059765cstr x7, [sp+312]
    00597660str x4, [sp+408]
    00597664str x7, [sp+400]
    00597668str x4, [sp+64]
    0059766cstr x7, [sp+56]
    00597670str xzr, [sp+48]
    00597674str xzr, [sp+200]
    00597678ldr x4, [sp+208]
    0059767cmovz x5, 54253
    00597680movk x5, 0x5cf50000
    00597684movk x5, 0x631a00000000
    00597688movk x5, 0x5812000000000000
    0059768csubs x6, x4, x5
    00597690sbc x6, xzr, xzr
    00597694sub x6, xzr, x6
    00597698subs x7, x4, x5
    0059769cstr x7, [sp+312]
    005976a0str x6, [sp+304]
    005976a4str x7, [sp+392]
    005976a8str x6, [sp+384]
    005976acstr x7, [sp+48]
    005976b0str x6, [sp+200]
    005976b4str xzr, [sp+192]
    005976b8str xzr, [sp+184]
    005976bcldr x6, [sp+96]
    005976c0subs x7, x4, x5
    005976c4movz x7, 40150
    005976c8movk x7, 0xa2f70000
    005976ccmovk x7, 0xf9de00000000
    005976d0movk x7, 0x14de000000000000
    005976d4sbcs x8, x6, x7
    005976d8subs x8, x4, x5
    005976dcsbcs x8, x6, x7
    005976e0str x8, [sp+304]
    005976e4subs x9, x4, x5
    005976e8sbcs x9, x6, x7
    005976ecsbc x9, xzr, xzr
    005976f0sub x9, xzr, x9
    005976f4str x9, [sp+312]
    005976f8str x8, [sp+376]
    005976fcstr x9, [sp+368]
    00597700str x8, [sp+192]
    00597704str x9, [sp+184]
    00597708str xzr, [sp+176]
    0059770cstr xzr, [sp+168]
    00597710ldr x8, [sp+80]
    00597714mov x9, xzr
    00597718sbcs x10, x8, x9
    0059771csubs x10, x4, x5
    00597720sbcs x10, x6, x7
    00597724sbcs x10, x8, x9
    00597728str x10, [sp+312]
    0059772csubs x11, x4, x5
    00597730sbcs x11, x6, x7
    00597734sbcs x11, x8, x9
    00597738sbc x11, xzr, xzr
    0059773csub x11, xzr, x11
    00597740str x11, [sp+304]
    00597744str x10, [sp+360]
    00597748str x11, [sp+352]
    0059774cstr x10, [sp+176]
    00597750str x11, [sp+168]
    00597754str xzr, [sp+160]
    00597758str xzr, [sp+152]
    0059775cldr x10, [sp+64]
    00597760movz x11, 0x1000000000000000
    00597764sbcs x12, x10, x11
    00597768subs x12, x4, x5
    0059776csbcs x12, x6, x7
    00597770sbcs x12, x8, x9
    00597774sbcs x12, x10, x11
    00597778str x12, [sp+304]
    0059777csubs x13, x4, x5
    00597780sbcs x13, x6, x7
    00597784sbcs x13, x8, x9
    00597788sbcs x13, x10, x11
    0059778csbc x13, xzr, xzr
    00597790sub x13, xzr, x13
    00597794str x13, [sp+312]
    00597798str x12, [sp+344]
    0059779cstr x13, [sp+336]
    005977a0str x12, [sp+160]
    005977a4str x13, [sp+152]
    005977a8str xzr, [sp+144]
    005977acldr x12, [sp+56]
    005977b0sbcs x13, x12, x9
    005977b4subs x13, x4, x5
    005977b8sbcs x13, x6, x7
    005977bcsbcs x13, x8, x9
    005977c0sbcs x13, x10, x11
    005977c4sbcs x13, x12, x9
    005977c8str x13, [sp+312]
    005977ccsubs x4, x4, x5
    005977d0sbcs x4, x6, x7
    005977d4sbcs x4, x8, x9
    005977d8sbcs x4, x10, x11
    005977dcsbcs x4, x12, x9
    005977e0sbc x4, xzr, xzr
    005977e4sub x1, xzr, x4
    005977e8str x1, [sp+304]
    005977ecstr x13, [sp+328]
    005977f0str x1, [sp+320]
    005977f4str x1, [sp+144]
    005977f8str xzr, [sp+136]
    005977fcldr x2, [sp+48]
    00597800ldr x3, [sp+208]
    00597804add x0, sp, 136
    00597808bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    0059780cstr xzr, [sp+120]
    00597810ldr x2, [sp+192]
    00597814ldr x3, [sp+96]
    00597818ldr x1, [sp+144]
    0059781cadd x0, sp, 120
    00597820bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    00597824str xzr, [sp+112]
    00597828ldr x2, [sp+176]
    0059782cldr x3, [sp+80]
    00597830ldr x1, [sp+144]
    00597834add x0, sp, 112
    00597838bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    0059783cstr xzr, [sp+104]
    00597840ldr x2, [sp+160]
    00597844ldr x3, [sp+64]
    00597848ldr x1, [sp+144]
    0059784cadd x0, sp, 104
    00597850bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    00597854ldr x4, [sp+456]
    00597858ldrsb x27, [x4]
    0059785cldr x5, [sp+136]
    00597860str x5, [x4]
    00597864ldr x4, [sp+456]
    00597868ldrsb x27, [x4]
    0059786cldr x5, [sp+120]
    00597870str x5, [x4+8]
    00597874ldr x4, [sp+456]
    00597878ldrsb x27, [x4]
    0059787cldr x5, [sp+112]
    00597880str x5, [x4+16]
    00597884ldr x4, [sp+456]
    00597888ldrsb x27, [x4]
    0059788cldr x5, [sp+104]
    00597890str x5, [x4+24]
    00597894ldp x29, x30, [sp-8]
    00597898add sp, sp, 448
    0059789cret x30
    005978a0
    005978a0loc_5978a0:
    005978a0stp x0, x1, [sp+8]
    005978a4str x2, [sp+24]
    005978a8mov x3, x30
    005978acbl runtime.morestack_noctxt.abi0
    005978b0ldp x0, x1, [sp+8]
    005978b4ldr x2, [sp+24]
    005978b8b 0x5974e0
    005978bcudf 0
    005974e0
    005978c0
    005978c0crypto/internal/fips140/edwards25519.fiatScalarFromMontgomery: ; void crypto/internal/fips140/edwards25519.fiatScalarFromMontgomery(crypto/internal/fips140/edwards25519.fiatScalarNonMontgomeryDomainFieldElement * out1, crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * arg1)
    005978c0ldr x16, [x28+16]
    005978c4sub x17, sp, 1408
    005978c8subs xzr, x17, x16
    005978ccb.ls 0x598420
    005978d0sub x20, sp, 1536
    005978d4stp x29, x30, [x20-8]
    005978d8add sp, x20, 0
    005978dcsub x29, sp, 8
    005978e0str x0, [sp+1544]
    005978e4str x1, [sp+1552]
    005978e8ldrsb x27, [x1]
    005978ecldr x4, [x1]
    005978f0str x4, [sp+744]
    005978f4str xzr, [sp+672]
    005978f8movz x5, 32283
    005978fcmovk x5, 0x12540000
    00597900movk x5, 0x1da300000000
    00597904movk x5, 0xd2b5000000000000
    00597908madd x6, x4, x5, xzr
    0059790cumulh x4, x4, x5
    00597910str x4, [sp+1160]
    00597914str x6, [sp+1152]
    00597918str x4, [sp+1024]
    0059791cstr x6, [sp+984]
    00597920str x6, [sp+672]
    00597924str xzr, [sp+512]
    00597928str xzr, [sp+432]
    0059792cubfm x4, x6, 4, 3
    00597930movz x7, 0x1000000000000000
    00597934umulh x6, x6, x7
    00597938str x6, [sp+1152]
    0059793cstr x4, [sp+1160]
    00597940str x6, [sp+848]
    00597944str x4, [sp+792]
    00597948str x6, [sp+432]
    0059794cstr x4, [sp+512]
    00597950str xzr, [sp+352]
    00597954str xzr, [sp+272]
    00597958ldr x4, [sp+672]
    0059795cmovz x6, 40150
    00597960movk x6, 0xa2f70000
    00597964movk x6, 0xf9de00000000
    00597968movk x6, 0x14de000000000000
    0059796cumulh x8, x4, x6
    00597970str x8, [sp+1160]
    00597974madd x4, x4, x6, xzr
    00597978str x4, [sp+1152]
    0059797cstr x8, [sp+1440]
    00597980str x4, [sp+1392]
    00597984str x8, [sp+272]
    00597988str x4, [sp+352]
    0059798cstr xzr, [sp+192]
    00597990str xzr, [sp+104]
    00597994ldr x4, [sp+672]
    00597998movz x8, 54253
    0059799cmovk x8, 0x5cf50000
    005979a0movk x8, 0x631a00000000
    005979a4movk x8, 0x5812000000000000
    005979a8umulh x9, x4, x8
    005979acstr x9, [sp+1152]
    005979b0madd x4, x4, x8, xzr
    005979b4str x4, [sp+1160]
    005979b8str x9, [sp+1256]
    005979bcstr x4, [sp+1216]
    005979c0str x9, [sp+104]
    005979c4str x4, [sp+192]
    005979c8str xzr, [sp+736]
    005979ccstr xzr, [sp+728]
    005979d0ldr x4, [sp+352]
    005979d4adds x10, x9, x4
    005979d8adc x10, xzr, xzr
    005979dcadds x4, x9, x4
    005979e0str x4, [sp+1160]
    005979e4str x10, [sp+1152]
    005979e8str x4, [sp+1120]
    005979ecstr x10, [sp+1112]
    005979f0str x4, [sp+736]
    005979f4str x10, [sp+728]
    005979f8str xzr, [sp+720]
    005979fcldr x4, [sp+192]
    00597a00ldr x9, [sp+744]
    00597a04adds x10, x9, x4
    00597a08adc x10, xzr, xzr
    00597a0cadds x11, x9, x4
    00597a10str x11, [sp+1152]
    00597a14str x10, [sp+1160]
    00597a18str x11, [sp+1104]
    00597a1cstr x10, [sp+1096]
    00597a20str x10, [sp+720]
    00597a24str xzr, [sp+712]
    00597a28str xzr, [sp+704]
    00597a2cldr x10, [sp+736]
    00597a30adds x11, x9, x4
    00597a34mov x11, xzr
    00597a38adcs x12, x11, x10
    00597a3cadds x12, x9, x4
    00597a40adcs x12, x11, x10
    00597a44str x12, [sp+1160]
    00597a48adds x4, x9, x4
    00597a4cadcs x4, x11, x10
    00597a50adc x4, xzr, xzr
    00597a54str x4, [sp+1152]
    00597a58str x12, [sp+1088]
    00597a5cstr x4, [sp+1080]
    00597a60str x12, [sp+712]
    00597a64str x4, [sp+704]
    00597a68str xzr, [sp+696]
    00597a6cstr xzr, [sp+688]
    00597a70ldr x4, [sp+1552]
    00597a74ldrsb x27, [x4]
    00597a78ldr x4, [x4+8]
    00597a7cstr x4, [sp+1144]
    00597a80ldr x9, [sp+712]
    00597a84adds x10, x9, x4
    00597a88adc x10, xzr, xzr
    00597a8cadds x4, x9, x4
    00597a90str x4, [sp+1152]
    00597a94str x10, [sp+1160]
    00597a98str x4, [sp+1072]
    00597a9cstr x10, [sp+1064]
    00597aa0str x4, [sp+696]
    00597aa4str x10, [sp+688]
    00597aa8str xzr, [sp+680]
    00597aacmadd x9, x4, x5, xzr
    00597ab0umulh x4, x4, x5
    00597ab4str x4, [sp+1160]
    00597ab8str x9, [sp+1152]
    00597abcstr x4, [sp+1056]
    00597ac0str x9, [sp+1048]
    00597ac4str x9, [sp+680]
    00597ac8str xzr, [sp+664]
    00597accstr xzr, [sp+656]
    00597ad0ubfm x4, x9, 4, 3
    00597ad4umulh x9, x9, x7
    00597ad8str x9, [sp+1152]
    00597adcstr x4, [sp+1160]
    00597ae0str x9, [sp+1040]
    00597ae4str x4, [sp+1032]
    00597ae8str x9, [sp+656]
    00597aecstr x4, [sp+664]
    00597af0str xzr, [sp+648]
    00597af4str xzr, [sp+640]
    00597af8ldr x4, [sp+680]
    00597afcumulh x9, x4, x6
    00597b00str x9, [sp+1160]
    00597b04madd x4, x4, x6, xzr
    00597b08str x4, [sp+1152]
    00597b0cstr x9, [sp+1016]
    00597b10str x4, [sp+1008]
    00597b14str x9, [sp+640]
    00597b18str x4, [sp+648]
    00597b1cstr xzr, [sp+632]
    00597b20str xzr, [sp+624]
    00597b24ldr x4, [sp+680]
    00597b28umulh x9, x4, x8
    00597b2cstr x9, [sp+1152]
    00597b30madd x4, x4, x8, xzr
    00597b34str x4, [sp+1160]
    00597b38str x9, [sp+1000]
    00597b3cstr x4, [sp+992]
    00597b40str x9, [sp+624]
    00597b44str x4, [sp+632]
    00597b48str xzr, [sp+616]
    00597b4cstr xzr, [sp+608]
    00597b50ldr x4, [sp+648]
    00597b54adds x10, x9, x4
    00597b58adc x10, xzr, xzr
    00597b5cadds x4, x9, x4
    00597b60str x4, [sp+1160]
    00597b64str x10, [sp+1152]
    00597b68str x4, [sp+976]
    00597b6cstr x10, [sp+968]
    00597b70str x4, [sp+616]
    00597b74str x10, [sp+608]
    00597b78str xzr, [sp+600]
    00597b7cldr x4, [sp+632]
    00597b80ldr x9, [sp+696]
    00597b84adds x10, x9, x4
    00597b88adc x10, xzr, xzr
    00597b8cadds x12, x9, x4
    00597b90str x12, [sp+1152]
    00597b94str x10, [sp+1160]
    00597b98str x12, [sp+960]
    00597b9cstr x10, [sp+952]
    00597ba0str x10, [sp+600]
    00597ba4str xzr, [sp+592]
    00597ba8str xzr, [sp+584]
    00597bacldr x10, [sp+616]
    00597bb0ldr x12, [sp+688]
    00597bb4ldr x13, [sp+704]
    00597bb8ldr x14, [sp+728]
    00597bbcldr x15, [sp+272]
    00597bc0add x14, x14, x15
    00597bc4add x13, x13, x14
    00597bc8add x12, x12, x13
    00597bccadds x13, x9, x4
    00597bd0adcs x13, x12, x10
    00597bd4adds x13, x9, x4
    00597bd8adcs x13, x12, x10
    00597bdcstr x13, [sp+1160]
    00597be0adds x14, x9, x4
    00597be4adcs x14, x12, x10
    00597be8adc x14, xzr, xzr
    00597becstr x14, [sp+1152]
    00597bf0str x13, [sp+944]
    00597bf4str x14, [sp+936]
    00597bf8str x13, [sp+592]
    00597bfcstr x14, [sp+584]
    00597c00str xzr, [sp+576]
    00597c04str xzr, [sp+568]
    00597c08ldr x13, [sp+512]
    00597c0cldr x14, [sp+608]
    00597c10ldr x15, [sp+640]
    00597c14add x14, x14, x15
    00597c18adcs x15, x13, x14
    00597c1cadds x15, x9, x4
    00597c20adcs x15, x12, x10
    00597c24adcs x15, x13, x14
    00597c28str x15, [sp+1152]
    00597c2cadds x16, x9, x4
    00597c30adcs x16, x12, x10
    00597c34adcs x16, x13, x14
    00597c38adc x16, xzr, xzr
    00597c3cstr x16, [sp+1160]
    00597c40str x15, [sp+928]
    00597c44str x16, [sp+920]
    00597c48str x15, [sp+576]
    00597c4cstr x16, [sp+568]
    00597c50str xzr, [sp+560]
    00597c54str xzr, [sp+552]
    00597c58ldr x15, [sp+664]
    00597c5cldr x16, [sp+432]
    00597c60adcs x17, x16, x15
    00597c64adds x17, x9, x4
    00597c68adcs x17, x12, x10
    00597c6cadcs x17, x13, x14
    00597c70adcs x17, x16, x15
    00597c74str x17, [sp+1160]
    00597c78adds x4, x9, x4
    00597c7cadcs x4, x12, x10
    00597c80adcs x4, x13, x14
    00597c84adcs x4, x16, x15
    00597c88adc x4, xzr, xzr
    00597c8cstr x4, [sp+1152]
    00597c90str x17, [sp+912]
    00597c94str x4, [sp+904]
    00597c98str x17, [sp+560]
    00597c9cstr x4, [sp+552]
    00597ca0str xzr, [sp+544]
    00597ca4str xzr, [sp+536]
    00597ca8ldr x4, [sp+1552]
    00597cacldrsb x27, [x4]
    00597cb0ldr x4, [x4+16]
    00597cb4str x4, [sp+1136]
    00597cb8ldr x9, [sp+592]
    00597cbcadds x10, x9, x4
    00597cc0adc x10, xzr, xzr
    00597cc4adds x12, x9, x4
    00597cc8str x12, [sp+1152]
    00597cccstr x10, [sp+1160]
    00597cd0str x12, [sp+896]
    00597cd4str x10, [sp+888]
    00597cd8str x12, [sp+544]
    00597cdcstr x10, [sp+536]
    00597ce0str xzr, [sp+528]
    00597ce4str xzr, [sp+520]
    00597ce8ldr x10, [sp+576]
    00597cecadds x12, x9, x4
    00597cf0adcs x12, x10, x11
    00597cf4adds x12, x9, x4
    00597cf8adcs x12, x10, x11
    00597cfcstr x12, [sp+1160]
    00597d00adds x13, x9, x4
    00597d04adcs x13, x10, x11
    00597d08adc x13, xzr, xzr
    00597d0cstr x13, [sp+1152]
    00597d10str x12, [sp+880]
    00597d14str x13, [sp+872]
    00597d18str x12, [sp+528]
    00597d1cstr x13, [sp+520]
    00597d20str xzr, [sp+504]
    00597d24str xzr, [sp+496]
    00597d28ldr x12, [sp+560]
    00597d2cadcs x13, x12, x11
    00597d30adds x13, x9, x4
    00597d34adcs x13, x10, x11
    00597d38adcs x13, x12, x11
    00597d3cstr x13, [sp+1152]
    00597d40adds x4, x9, x4
    00597d44adcs x4, x10, x11
    00597d48adcs x4, x12, x11
    00597d4cadc x4, xzr, xzr
    00597d50str x4, [sp+1160]
    00597d54str x13, [sp+864]
    00597d58str x4, [sp+856]
    00597d5cstr x13, [sp+504]
    00597d60str x4, [sp+496]
    00597d64str xzr, [sp+488]
    00597d68ldr x4, [sp+544]
    00597d6cmadd x9, x4, x5, xzr
    00597d70umulh x4, x4, x5
    00597d74str x4, [sp+1160]
    00597d78str x9, [sp+1152]
    00597d7cstr x4, [sp+840]
    00597d80str x9, [sp+832]
    00597d84str x9, [sp+488]
    00597d88str xzr, [sp+480]
    00597d8cstr xzr, [sp+472]
    00597d90ubfm x4, x9, 4, 3
    00597d94umulh x9, x9, x7
    00597d98str x9, [sp+1152]
    00597d9cstr x4, [sp+1160]
    00597da0str x9, [sp+824]
    00597da4str x4, [sp+816]
    00597da8str x9, [sp+472]
    00597dacstr x4, [sp+480]
    00597db0str xzr, [sp+464]
    00597db4str xzr, [sp+456]
    00597db8ldr x4, [sp+488]
    00597dbcumulh x9, x4, x6
    00597dc0str x9, [sp+1160]
    00597dc4madd x4, x4, x6, xzr
    00597dc8str x4, [sp+1152]
    00597dccstr x9, [sp+808]
    00597dd0str x4, [sp+800]
    00597dd4str x9, [sp+456]
    00597dd8str x4, [sp+464]
    00597ddcstr xzr, [sp+448]
    00597de0str xzr, [sp+440]
    00597de4ldr x4, [sp+488]
    00597de8umulh x9, x4, x8
    00597decstr x9, [sp+1152]
    00597df0madd x4, x4, x8, xzr
    00597df4str x4, [sp+1160]
    00597df8str x9, [sp+784]
    00597dfcstr x4, [sp+776]
    00597e00str x9, [sp+440]
    00597e04str x4, [sp+448]
    00597e08str xzr, [sp+424]
    00597e0cstr xzr, [sp+416]
    00597e10ldr x4, [sp+464]
    00597e14adds x10, x9, x4
    00597e18adc x10, xzr, xzr
    00597e1cadds x4, x9, x4
    00597e20str x4, [sp+1160]
    00597e24str x10, [sp+1152]
    00597e28str x4, [sp+768]
    00597e2cstr x10, [sp+760]
    00597e30str x4, [sp+424]
    00597e34str x10, [sp+416]
    00597e38str xzr, [sp+408]
    00597e3cldr x4, [sp+448]
    00597e40ldr x9, [sp+544]
    00597e44adds x10, x9, x4
    00597e48adc x10, xzr, xzr
    00597e4cadds x12, x9, x4
    00597e50str x12, [sp+1152]
    00597e54str x10, [sp+1160]
    00597e58str x12, [sp+752]
    00597e5cstr x10, [sp+1520]
    00597e60str x10, [sp+408]
    00597e64str xzr, [sp+400]
    00597e68str xzr, [sp+392]
    00597e6cldr x10, [sp+424]
    00597e70ldr x12, [sp+528]
    00597e74adds x13, x9, x4
    00597e78adcs x13, x12, x10
    00597e7cadds x13, x9, x4
    00597e80adcs x13, x12, x10
    00597e84str x13, [sp+1160]
    00597e88adds x14, x9, x4
    00597e8cadcs x14, x12, x10
    00597e90adc x14, xzr, xzr
    00597e94str x14, [sp+1152]
    00597e98str x13, [sp+1512]
    00597e9cstr x14, [sp+1504]
    00597ea0str x13, [sp+400]
    00597ea4str x14, [sp+392]
    00597ea8str xzr, [sp+384]
    00597eacstr xzr, [sp+376]
    00597eb0ldr x13, [sp+504]
    00597eb4ldr x14, [sp+416]
    00597eb8ldr x15, [sp+456]
    00597ebcadd x14, x14, x15
    00597ec0adcs x15, x13, x14
    00597ec4adds x15, x9, x4
    00597ec8adcs x15, x12, x10
    00597eccadcs x15, x13, x14
    00597ed0str x15, [sp+1152]
    00597ed4adds x16, x9, x4
    00597ed8adcs x16, x12, x10
    00597edcadcs x16, x13, x14
    00597ee0adc x16, xzr, xzr
    00597ee4str x16, [sp+1160]
    00597ee8str x15, [sp+1496]
    00597eecstr x16, [sp+1488]
    00597ef0str x15, [sp+384]
    00597ef4str x16, [sp+376]
    00597ef8str xzr, [sp+368]
    00597efcstr xzr, [sp+360]
    00597f00ldr x15, [sp+480]
    00597f04ldr x16, [sp+496]
    00597f08ldr x17, [sp+552]
    00597f0cldr x19, [sp+656]
    00597f10add x17, x17, x19
    00597f14add x16, x16, x17
    00597f18adcs x17, x16, x15
    00597f1cadds x17, x9, x4
    00597f20adcs x17, x12, x10
    00597f24adcs x17, x13, x14
    00597f28adcs x17, x16, x15
    00597f2cstr x17, [sp+1160]
    00597f30adds x4, x9, x4
    00597f34adcs x4, x12, x10
    00597f38adcs x4, x13, x14
    00597f3cadcs x4, x16, x15
    00597f40adc x4, xzr, xzr
    00597f44str x4, [sp+1152]
    00597f48str x17, [sp+1480]
    00597f4cstr x4, [sp+1472]
    00597f50str x17, [sp+368]
    00597f54str x4, [sp+360]
    00597f58str xzr, [sp+344]
    00597f5cstr xzr, [sp+336]
    00597f60ldr x4, [sp+1552]
    00597f64ldrsb x27, [x4]
    00597f68ldr x4, [x4+24]
    00597f6cstr x4, [sp+1128]
    00597f70ldr x9, [sp+400]
    00597f74adds x10, x9, x4
    00597f78adc x10, xzr, xzr
    00597f7cadds x12, x9, x4
    00597f80str x12, [sp+1152]
    00597f84str x10, [sp+1160]
    00597f88str x12, [sp+1464]
    00597f8cstr x10, [sp+1456]
    00597f90str x12, [sp+344]
    00597f94str x10, [sp+336]
    00597f98str xzr, [sp+328]
    00597f9cstr xzr, [sp+320]
    00597fa0ldr x10, [sp+384]
    00597fa4adds x12, x9, x4
    00597fa8adcs x12, x10, x11
    00597facadds x12, x9, x4
    00597fb0adcs x12, x10, x11
    00597fb4str x12, [sp+1160]
    00597fb8adds x13, x9, x4
    00597fbcadcs x13, x10, x11
    00597fc0adc x13, xzr, xzr
    00597fc4str x13, [sp+1152]
    00597fc8str x12, [sp+1448]
    00597fccstr x13, [sp+1432]
    00597fd0str x12, [sp+328]
    00597fd4str x13, [sp+320]
    00597fd8str xzr, [sp+312]
    00597fdcstr xzr, [sp+304]
    00597fe0ldr x12, [sp+368]
    00597fe4adcs x13, x12, x11
    00597fe8adds x13, x9, x4
    00597fecadcs x13, x10, x11
    00597ff0adcs x13, x12, x11
    00597ff4str x13, [sp+1152]
    00597ff8adds x4, x9, x4
    00597ffcadcs x4, x10, x11
    00598000adcs x4, x12, x11
    00598004adc x4, xzr, xzr
    00598008str x4, [sp+1160]
    0059800cstr x13, [sp+1424]
    00598010str x4, [sp+1416]
    00598014str x13, [sp+312]
    00598018str x4, [sp+304]
    0059801cstr xzr, [sp+296]
    00598020ldr x4, [sp+344]
    00598024madd x9, x4, x5, xzr
    00598028umulh x4, x4, x5
    0059802cstr x4, [sp+1160]
    00598030str x9, [sp+1152]
    00598034str x4, [sp+1408]
    00598038str x9, [sp+1400]
    0059803cstr x9, [sp+296]
    00598040str xzr, [sp+288]
    00598044str xzr, [sp+280]
    00598048ubfm x4, x9, 4, 3
    0059804cumulh x5, x9, x7
    00598050str x5, [sp+1152]
    00598054str x4, [sp+1160]
    00598058str x5, [sp+1384]
    0059805cstr x4, [sp+1376]
    00598060str x5, [sp+280]
    00598064str x4, [sp+288]
    00598068str xzr, [sp+264]
    0059806cstr xzr, [sp+256]
    00598070ldr x4, [sp+296]
    00598074umulh x5, x4, x6
    00598078str x5, [sp+1160]
    0059807cmadd x4, x4, x6, xzr
    00598080str x4, [sp+1152]
    00598084str x5, [sp+1368]
    00598088str x4, [sp+1360]
    0059808cstr x5, [sp+256]
    00598090str x4, [sp+264]
    00598094str xzr, [sp+248]
    00598098str xzr, [sp+240]
    0059809cldr x4, [sp+296]
    005980a0umulh x5, x4, x8
    005980a4str x5, [sp+1152]
    005980a8madd x4, x4, x8, xzr
    005980acstr x4, [sp+1160]
    005980b0str x5, [sp+1352]
    005980b4str x4, [sp+1344]
    005980b8str x5, [sp+240]
    005980bcstr x4, [sp+248]
    005980c0str xzr, [sp+232]
    005980c4str xzr, [sp+224]
    005980c8ldr x4, [sp+264]
    005980ccadds x9, x5, x4
    005980d0adc x9, xzr, xzr
    005980d4adds x4, x5, x4
    005980d8str x4, [sp+1160]
    005980dcstr x9, [sp+1152]
    005980e0str x4, [sp+1336]
    005980e4str x9, [sp+1328]
    005980e8str x4, [sp+232]
    005980ecstr x9, [sp+224]
    005980f0str xzr, [sp+216]
    005980f4ldr x4, [sp+248]
    005980f8ldr x5, [sp+344]
    005980fcadds x9, x5, x4
    00598100adc x9, xzr, xzr
    00598104adds x10, x5, x4
    00598108str x10, [sp+1152]
    0059810cstr x9, [sp+1160]
    00598110str x10, [sp+1320]
    00598114str x9, [sp+1312]
    00598118str x9, [sp+216]
    0059811cstr xzr, [sp+208]
    00598120str xzr, [sp+200]
    00598124ldr x9, [sp+232]
    00598128ldr x10, [sp+328]
    0059812cadds x12, x5, x4
    00598130adcs x12, x10, x9
    00598134adds x12, x5, x4
    00598138adcs x12, x10, x9
    0059813cstr x12, [sp+1160]
    00598140adds x13, x5, x4
    00598144adcs x13, x10, x9
    00598148adc x13, xzr, xzr
    0059814cstr x13, [sp+1152]
    00598150str x12, [sp+1304]
    00598154str x13, [sp+1296]
    00598158str x12, [sp+208]
    0059815cstr x13, [sp+200]
    00598160str xzr, [sp+184]
    00598164str xzr, [sp+176]
    00598168ldr x12, [sp+312]
    0059816cldr x13, [sp+224]
    00598170ldr x14, [sp+256]
    00598174add x13, x13, x14
    00598178adcs x14, x12, x13
    0059817cadds x14, x5, x4
    00598180adcs x14, x10, x9
    00598184adcs x14, x12, x13
    00598188str x14, [sp+1152]
    0059818cadds x15, x5, x4
    00598190adcs x15, x10, x9
    00598194adcs x15, x12, x13
    00598198adc x15, xzr, xzr
    0059819cstr x15, [sp+1160]
    005981a0str x14, [sp+1288]
    005981a4str x15, [sp+1280]
    005981a8str x14, [sp+184]
    005981acstr x15, [sp+176]
    005981b0str xzr, [sp+168]
    005981b4str xzr, [sp+160]
    005981b8ldr x14, [sp+288]
    005981bcldr x15, [sp+304]
    005981c0ldr x16, [sp+360]
    005981c4ldr x17, [sp+472]
    005981c8add x16, x16, x17
    005981ccadd x15, x15, x16
    005981d0adcs x16, x15, x14
    005981d4adds x16, x5, x4
    005981d8adcs x16, x10, x9
    005981dcadcs x16, x12, x13
    005981e0adcs x16, x15, x14
    005981e4str x16, [sp+1160]
    005981e8adds x4, x5, x4
    005981ecadcs x4, x10, x9
    005981f0adcs x4, x12, x13
    005981f4adcs x4, x15, x14
    005981f8adc x4, xzr, xzr
    005981fcstr x4, [sp+1152]
    00598200str x16, [sp+1272]
    00598204str x4, [sp+1264]
    00598208str x16, [sp+168]
    0059820cstr x4, [sp+160]
    00598210ldr x5, [sp+280]
    00598214add x4, x4, x5
    00598218str x4, [sp+152]
    0059821cstr xzr, [sp+144]
    00598220str xzr, [sp+136]
    00598224ldr x4, [sp+208]
    00598228subs x5, x4, x8
    0059822csbc x5, xzr, xzr
    00598230sub x5, xzr, x5
    00598234subs x9, x4, x8
    00598238str x9, [sp+1152]
    0059823cstr x5, [sp+1160]
    00598240str x9, [sp+1248]
    00598244str x5, [sp+1240]
    00598248str x9, [sp+144]
    0059824cstr x5, [sp+136]
    00598250str xzr, [sp+128]
    00598254str xzr, [sp+120]
    00598258ldr x5, [sp+184]
    0059825csubs x9, x4, x8
    00598260sbcs x9, x5, x6
    00598264subs x9, x4, x8
    00598268sbcs x9, x5, x6
    0059826cstr x9, [sp+1160]
    00598270subs x10, x4, x8
    00598274sbcs x10, x5, x6
    00598278sbc x10, xzr, xzr
    0059827csub x10, xzr, x10
    00598280str x10, [sp+1152]
    00598284str x9, [sp+1232]
    00598288str x10, [sp+1224]
    0059828cstr x9, [sp+128]
    00598290str x10, [sp+120]
    00598294str xzr, [sp+112]
    00598298str xzr, [sp+96]
    0059829cldr x9, [sp+168]
    005982a0sbcs x10, x9, x11
    005982a4subs x10, x4, x8
    005982a8sbcs x10, x5, x6
    005982acsbcs x10, x9, x11
    005982b0str x10, [sp+1152]
    005982b4subs x12, x4, x8
    005982b8sbcs x12, x5, x6
    005982bcsbcs x12, x9, x11
    005982c0sbc x12, xzr, xzr
    005982c4sub x12, xzr, x12
    005982c8str x12, [sp+1160]
    005982ccstr x10, [sp+1208]
    005982d0str x12, [sp+1200]
    005982d4str x10, [sp+112]
    005982d8str x12, [sp+96]
    005982dcstr xzr, [sp+88]
    005982e0str xzr, [sp+80]
    005982e4ldr x10, [sp+152]
    005982e8sbcs x12, x10, x7
    005982ecsubs x12, x4, x8
    005982f0sbcs x12, x5, x6
    005982f4sbcs x12, x9, x11
    005982f8sbcs x12, x10, x7
    005982fcstr x12, [sp+1160]
    00598300subs x13, x4, x8
    00598304sbcs x13, x5, x6
    00598308sbcs x13, x9, x11
    0059830csbcs x13, x10, x7
    00598310sbc x13, xzr, xzr
    00598314sbcs x14, x11, x11
    00598318subs x14, x4, x8
    0059831csbcs x14, x5, x6
    00598320sbcs x14, x9, x11
    00598324sbcs x14, x10, x7
    00598328sbcs x14, x11, x11
    0059832csubs x4, x4, x8
    00598330sbcs x4, x5, x6
    00598334sbcs x4, x9, x11
    00598338sbcs x4, x10, x7
    0059833csbcs x4, x11, x11
    00598340sbc x4, xzr, xzr
    00598344sub x5, xzr, x13
    00598348str x5, [sp+1152]
    0059834cstr x12, [sp+1192]
    00598350str x5, [sp+1184]
    00598354str x12, [sp+88]
    00598358str x5, [sp+80]
    0059835cstr xzr, [sp+72]
    00598360str x14, [sp+1152]
    00598364sub x1, xzr, x4
    00598368str x1, [sp+1160]
    0059836cstr x14, [sp+1176]
    00598370str x1, [sp+1168]
    00598374str x1, [sp+72]
    00598378str xzr, [sp+64]
    0059837cldr x2, [sp+144]
    00598380ldr x3, [sp+208]
    00598384add x0, sp, 64
    00598388bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    0059838cstr xzr, [sp+56]
    00598390ldr x2, [sp+128]
    00598394ldr x3, [sp+184]
    00598398ldr x1, [sp+72]
    0059839cadd x0, sp, 56
    005983a0bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    005983a4str xzr, [sp+48]
    005983a8ldr x2, [sp+112]
    005983acldr x3, [sp+168]
    005983b0ldr x1, [sp+72]
    005983b4add x0, sp, 48
    005983b8bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    005983bcstr xzr, [sp+40]
    005983c0ldr x2, [sp+88]
    005983c4ldr x3, [sp+152]
    005983c8ldr x1, [sp+72]
    005983ccadd x0, sp, 40
    005983d0bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    005983d4ldr x4, [sp+1544]
    005983d8ldrsb x27, [x4]
    005983dcldr x5, [sp+64]
    005983e0str x5, [x4]
    005983e4ldr x4, [sp+1544]
    005983e8ldrsb x27, [x4]
    005983ecldr x5, [sp+56]
    005983f0str x5, [x4+8]
    005983f4ldr x4, [sp+1544]
    005983f8ldrsb x27, [x4]
    005983fcldr x5, [sp+48]
    00598400str x5, [x4+16]
    00598404ldr x4, [sp+1544]
    00598408ldrsb x27, [x4]
    0059840cldr x5, [sp+40]
    00598410str x5, [x4+24]
    00598414ldp x29, x30, [sp-8]
    00598418add sp, sp, 1536
    0059841cret x30
    00598420
    00598420loc_598420:
    00598420stp x0, x1, [sp+8]
    00598424mov x3, x30
    00598428bl runtime.morestack_noctxt.abi0
    0059842cldp x0, x1, [sp+8]
    00598430b 0x5978c0
    00598434udf 0
    00598438udf 0
    0059843cudf 0
    005978c0
    00598440
    00598440crypto/internal/fips140/edwards25519.fiatScalarToMontgomery: ; void crypto/internal/fips140/edwards25519.fiatScalarToMontgomery(crypto/internal/fips140/edwards25519.fiatScalarMontgomeryDomainFieldElement * out1, crypto/internal/fips140/edwards25519.fiatScalarNonMontgomeryDomainFieldElement * arg1)
    00598440ldr x16, [x28+16]
    00598444sub x17, sp, 2528
    00598448subs xzr, x17, x16
    0059844cb.ls 0x5997fc
    00598450sub x20, sp, 2656
    00598454stp x29, x30, [x20-8]
    00598458add sp, x20, 0
    0059845csub x29, sp, 8
    00598460str x0, [sp+2664]
    00598464str x1, [sp+2672]
    00598468ldrsb x27, [x1]
    0059846cldr x4, [x1+8]
    00598470str x4, [sp+1328]
    00598474ldrsb x27, [x1]
    00598478ldr x4, [x1+16]
    0059847cstr x4, [sp+704]
    00598480ldrsb x27, [x1]
    00598484ldr x4, [x1+24]
    00598488str x4, [sp+632]
    0059848cldrsb x27, [x1]
    00598490ldr x4, [x1]
    00598494str x4, [sp+544]
    00598498str xzr, [sp+456]
    0059849cstr xzr, [sp+368]
    005984a0movz x5, 39485
    005984a4movk x5, 0x7c300000
    005984a8movk x5, 0x411b00000000
    005984acmovk x5, 0x399000000000000
    005984b0madd x6, x4, x5, xzr
    005984b4umulh x4, x4, x5
    005984b8str x4, [sp+1640]
    005984bcstr x6, [sp+1632]
    005984c0str x4, [sp+1424]
    005984c4str x6, [sp+1384]
    005984c8str x4, [sp+368]
    005984ccstr x6, [sp+456]
    005984d0str xzr, [sp+296]
    005984d4str xzr, [sp+208]
    005984d8ldr x4, [sp+544]
    005984dcmovz x6, 48741
    005984e0movk x6, 0x17f50000
    005984e4movk x6, 0x73d200000000
    005984e8movk x6, 0xceec000000000000
    005984ecumulh x7, x4, x6
    005984f0str x7, [sp+1632]
    005984f4madd x4, x4, x6, xzr
    005984f8str x4, [sp+1640]
    005984fcstr x7, [sp+2560]
    00598500str x4, [sp+2512]
    00598504str x7, [sp+208]
    00598508str x4, [sp+296]
    0059850cstr xzr, [sp+120]
    00598510str xzr, [sp+1320]
    00598514ldr x4, [sp+544]
    00598518movz x7, 37703
    0059851cmovk x7, 0x68850000
    00598520movk x7, 0x1ba700000000
    00598524movk x7, 0xd00e000000000000
    00598528umulh x8, x4, x7
    0059852cstr x8, [sp+1640]
    00598530madd x4, x4, x7, xzr
    00598534str x4, [sp+1632]
    00598538str x8, [sp+2384]
    0059853cstr x4, [sp+2328]
    00598540str x8, [sp+1320]
    00598544str x4, [sp+120]
    00598548str xzr, [sp+1248]
    0059854cstr xzr, [sp+1160]
    00598550ldr x4, [sp+544]
    00598554movz x8, 3841
    00598558movk x8, 0x449c0000
    0059855cmovk x8, 0x11e300000000
    00598560movk x8, 0xa406000000000000
    00598564umulh x9, x4, x8
    00598568str x9, [sp+1632]
    0059856cmadd x4, x4, x8, xzr
    00598570str x4, [sp+1640]
    00598574str x9, [sp+2200]
    00598578str x4, [sp+2152]
    0059857cstr x9, [sp+1160]
    00598580str x4, [sp+1248]
    00598584str xzr, [sp+1072]
    00598588str xzr, [sp+984]
    0059858cldr x4, [sp+120]
    00598590adds x10, x9, x4
    00598594adc x10, xzr, xzr
    00598598adds x11, x9, x4
    0059859cstr x11, [sp+1640]
    005985a0str x10, [sp+1632]
    005985a4str x11, [sp+2016]
    005985a8str x10, [sp+1976]
    005985acstr x11, [sp+1072]
    005985b0str x10, [sp+984]
    005985b4str xzr, [sp+912]
    005985b8str xzr, [sp+824]
    005985bcldr x10, [sp+296]
    005985c0ldr x11, [sp+1320]
    005985c4adds x12, x9, x4
    005985c8adcs x12, x11, x10
    005985ccadds x12, x9, x4
    005985d0adcs x12, x11, x10
    005985d4str x12, [sp+1632]
    005985d8adds x13, x9, x4
    005985dcadcs x13, x11, x10
    005985e0adc x13, xzr, xzr
    005985e4str x13, [sp+1640]
    005985e8str x12, [sp+1840]
    005985ecstr x13, [sp+1784]
    005985f0str x12, [sp+912]
    005985f4str x13, [sp+824]
    005985f8str xzr, [sp+744]
    005985fcstr xzr, [sp+720]
    00598600ldr x12, [sp+456]
    00598604ldr x13, [sp+208]
    00598608adcs x14, x13, x12
    0059860cadds x14, x9, x4
    00598610adcs x14, x11, x10
    00598614adcs x14, x13, x12
    00598618str x14, [sp+1640]
    0059861cadds x4, x9, x4
    00598620adcs x4, x11, x10
    00598624adcs x4, x13, x12
    00598628adc x4, xzr, xzr
    0059862cstr x4, [sp+1632]
    00598630str x14, [sp+1664]
    00598634str x4, [sp+1624]
    00598638str x14, [sp+744]
    0059863cstr x4, [sp+720]
    00598640str xzr, [sp+712]
    00598644ldr x4, [sp+1248]
    00598648movz x9, 32283
    0059864cmovk x9, 0x12540000
    00598650movk x9, 0x1da300000000
    00598654movk x9, 0xd2b5000000000000
    00598658madd x10, x4, x9, xzr
    0059865cumulh x4, x4, x9
    00598660str x4, [sp+1632]
    00598664str x10, [sp+1640]
    00598668str x4, [sp+1616]
    0059866cstr x10, [sp+1608]
    00598670str x10, [sp+712]
    00598674str xzr, [sp+696]
    00598678str xzr, [sp+688]
    0059867cubfm x4, x10, 4, 3
    00598680movz x11, 0x1000000000000000
    00598684umulh x10, x10, x11
    00598688str x10, [sp+1640]
    0059868cstr x4, [sp+1632]
    00598690str x10, [sp+1600]
    00598694str x4, [sp+1592]
    00598698str x10, [sp+688]
    0059869cstr x4, [sp+696]
    005986a0str xzr, [sp+680]
    005986a4str xzr, [sp+672]
    005986a8ldr x4, [sp+712]
    005986acmovz x10, 40150
    005986b0movk x10, 0xa2f70000
    005986b4movk x10, 0xf9de00000000
    005986b8movk x10, 0x14de000000000000
    005986bcumulh x12, x4, x10
    005986c0str x12, [sp+1632]
    005986c4madd x4, x4, x10, xzr
    005986c8str x4, [sp+1640]
    005986ccstr x12, [sp+1584]
    005986d0str x4, [sp+1576]
    005986d4str x12, [sp+672]
    005986d8str x4, [sp+680]
    005986dcstr xzr, [sp+664]
    005986e0str xzr, [sp+656]
    005986e4ldr x4, [sp+712]
    005986e8movz x12, 54253
    005986ecmovk x12, 0x5cf50000
    005986f0movk x12, 0x631a00000000
    005986f4movk x12, 0x5812000000000000
    005986f8umulh x13, x4, x12
    005986fcstr x13, [sp+1640]
    00598700madd x4, x4, x12, xzr
    00598704str x4, [sp+1632]
    00598708str x13, [sp+1568]
    0059870cstr x4, [sp+1560]
    00598710str x13, [sp+656]
    00598714str x4, [sp+664]
    00598718str xzr, [sp+648]
    0059871cstr xzr, [sp+640]
    00598720ldr x4, [sp+680]
    00598724adds x14, x13, x4
    00598728adc x14, xzr, xzr
    0059872cadds x4, x13, x4
    00598730str x4, [sp+1632]
    00598734str x14, [sp+1640]
    00598738str x4, [sp+1552]
    0059873cstr x14, [sp+1544]
    00598740str x4, [sp+648]
    00598744str x14, [sp+640]
    00598748str xzr, [sp+624]
    0059874cldr x4, [sp+664]
    00598750ldr x13, [sp+1248]
    00598754adds x14, x13, x4
    00598758adc x14, xzr, xzr
    0059875cadds x15, x13, x4
    00598760str x15, [sp+1640]
    00598764str x14, [sp+1632]
    00598768str x15, [sp+1536]
    0059876cstr x14, [sp+1528]
    00598770str x14, [sp+624]
    00598774str xzr, [sp+616]
    00598778str xzr, [sp+608]
    0059877cldr x14, [sp+648]
    00598780ldr x15, [sp+1072]
    00598784adds x16, x13, x4
    00598788adcs x16, x15, x14
    0059878cadds x16, x13, x4
    00598790adcs x16, x15, x14
    00598794str x16, [sp+1632]
    00598798adds x17, x13, x4
    0059879cadcs x17, x15, x14
    005987a0adc x17, xzr, xzr
    005987a4str x17, [sp+1640]
    005987a8str x16, [sp+1520]
    005987acstr x17, [sp+1512]
    005987b0str x16, [sp+616]
    005987b4str x17, [sp+608]
    005987b8str xzr, [sp+600]
    005987bcstr xzr, [sp+592]
    005987c0ldr x16, [sp+912]
    005987c4ldr x17, [sp+640]
    005987c8ldr x19, [sp+672]
    005987ccadd x17, x17, x19
    005987d0adcs x19, x16, x17
    005987d4adds x19, x13, x4
    005987d8adcs x19, x15, x14
    005987dcadcs x19, x16, x17
    005987e0str x19, [sp+1640]
    005987e4adds x20, x13, x4
    005987e8adcs x20, x15, x14
    005987ecadcs x20, x16, x17
    005987f0adc x20, xzr, xzr
    005987f4str x20, [sp+1632]
    005987f8str x19, [sp+1504]
    005987fcstr x20, [sp+1496]
    00598800str x19, [sp+600]
    00598804str x20, [sp+592]
    00598808str xzr, [sp+584]
    0059880cstr xzr, [sp+576]
    00598810ldr x19, [sp+696]
    00598814ldr x20, [sp+744]
    00598818adcs x21, x20, x19
    0059881cadds x21, x13, x4
    00598820adcs x21, x15, x14
    00598824adcs x21, x16, x17
    00598828adcs x21, x20, x19
    0059882cstr x21, [sp+1632]
    00598830adds x4, x13, x4
    00598834adcs x4, x15, x14
    00598838adcs x4, x16, x17
    0059883cadcs x4, x20, x19
    00598840adc x4, xzr, xzr
    00598844str x4, [sp+1640]
    00598848str x21, [sp+1488]
    0059884cstr x4, [sp+1480]
    00598850str x21, [sp+584]
    00598854str x4, [sp+576]
    00598858str xzr, [sp+568]
    0059885cstr xzr, [sp+560]
    00598860ldr x4, [sp+1328]
    00598864umulh x13, x4, x5
    00598868str x13, [sp+1640]
    0059886cmadd x4, x4, x5, xzr
    00598870str x4, [sp+1632]
    00598874str x13, [sp+1472]
    00598878str x4, [sp+1464]
    0059887cstr x13, [sp+560]
    00598880str x4, [sp+568]
    00598884str xzr, [sp+552]
    00598888str xzr, [sp+536]
    0059888cldr x4, [sp+1328]
    00598890umulh x13, x4, x6
    00598894str x13, [sp+1632]
    00598898madd x4, x4, x6, xzr
    0059889cstr x4, [sp+1640]
    005988a0str x13, [sp+1456]
    005988a4str x4, [sp+1448]
    005988a8str x13, [sp+536]
    005988acstr x4, [sp+552]
    005988b0str xzr, [sp+528]
    005988b4str xzr, [sp+520]
    005988b8ldr x4, [sp+1328]
    005988bcumulh x13, x4, x7
    005988c0str x13, [sp+1640]
    005988c4madd x4, x4, x7, xzr
    005988c8str x4, [sp+1632]
    005988ccstr x13, [sp+1440]
    005988d0str x4, [sp+1432]
    005988d4str x13, [sp+520]
    005988d8str x4, [sp+528]
    005988dcstr xzr, [sp+512]
    005988e0str xzr, [sp+504]
    005988e4ldr x4, [sp+1328]
    005988e8umulh x13, x4, x8
    005988ecstr x13, [sp+1632]
    005988f0madd x4, x4, x8, xzr
    005988f4str x4, [sp+1640]
    005988f8str x13, [sp+1416]
    005988fcstr x4, [sp+1408]
    00598900str x13, [sp+504]
    00598904str x4, [sp+512]
    00598908str xzr, [sp+496]
    0059890cstr xzr, [sp+488]
    00598910ldr x4, [sp+528]
    00598914adds x14, x13, x4
    00598918adc x14, xzr, xzr
    0059891cadds x15, x13, x4
    00598920str x15, [sp+1640]
    00598924str x14, [sp+1632]
    00598928str x15, [sp+1400]
    0059892cstr x14, [sp+1392]
    00598930str x15, [sp+496]
    00598934str x14, [sp+488]
    00598938str xzr, [sp+480]
    0059893cstr xzr, [sp+472]
    00598940ldr x14, [sp+552]
    00598944ldr x15, [sp+520]
    00598948adds x16, x13, x4
    0059894cadcs x16, x15, x14
    00598950adds x16, x13, x4
    00598954adcs x16, x15, x14
    00598958str x16, [sp+1632]
    0059895cadds x17, x13, x4
    00598960adcs x17, x15, x14
    00598964adc x17, xzr, xzr
    00598968str x17, [sp+1640]
    0059896cstr x16, [sp+1376]
    00598970str x17, [sp+1368]
    00598974str x16, [sp+480]
    00598978str x17, [sp+472]
    0059897cstr xzr, [sp+464]
    00598980str xzr, [sp+448]
    00598984ldr x16, [sp+568]
    00598988ldr x17, [sp+536]
    0059898cadcs x19, x17, x16
    00598990adds x19, x13, x4
    00598994adcs x19, x15, x14
    00598998adcs x19, x17, x16
    0059899cstr x19, [sp+1640]
    005989a0adds x4, x13, x4
    005989a4adcs x4, x15, x14
    005989a8adcs x4, x17, x16
    005989acadc x4, xzr, xzr
    005989b0str x4, [sp+1632]
    005989b4str x19, [sp+1360]
    005989b8str x4, [sp+1352]
    005989bcstr x19, [sp+464]
    005989c0str x4, [sp+448]
    005989c4str xzr, [sp+440]
    005989c8str xzr, [sp+432]
    005989ccldr x4, [sp+512]
    005989d0ldr x13, [sp+616]
    005989d4adds x14, x13, x4
    005989d8adc x14, xzr, xzr
    005989dcadds x15, x13, x4
    005989e0str x15, [sp+1632]
    005989e4str x14, [sp+1640]
    005989e8str x15, [sp+1344]
    005989ecstr x14, [sp+1336]
    005989f0str x15, [sp+440]
    005989f4str x14, [sp+432]
    005989f8str xzr, [sp+424]
    005989fcstr xzr, [sp+416]
    00598a00ldr x14, [sp+496]
    00598a04ldr x15, [sp+600]
    00598a08adds x16, x13, x4
    00598a0cadcs x16, x15, x14
    00598a10adds x16, x13, x4
    00598a14adcs x16, x15, x14
    00598a18str x16, [sp+1640]
    00598a1cadds x17, x13, x4
    00598a20adcs x17, x15, x14
    00598a24adc x17, xzr, xzr
    00598a28str x17, [sp+1632]
    00598a2cstr x16, [sp+2640]
    00598a30str x17, [sp+2632]
    00598a34str x16, [sp+424]
    00598a38str x17, [sp+416]
    00598a3cstr xzr, [sp+408]
    00598a40str xzr, [sp+400]
    00598a44ldr x16, [sp+480]
    00598a48ldr x17, [sp+584]
    00598a4cadcs x19, x17, x16
    00598a50adds x19, x13, x4
    00598a54adcs x19, x15, x14
    00598a58adcs x19, x17, x16
    00598a5cstr x19, [sp+1632]
    00598a60adds x20, x13, x4
    00598a64adcs x20, x15, x14
    00598a68adcs x20, x17, x16
    00598a6cadc x20, xzr, xzr
    00598a70str x20, [sp+1640]
    00598a74str x19, [sp+2624]
    00598a78str x20, [sp+2616]
    00598a7cstr x19, [sp+408]
    00598a80str x20, [sp+400]
    00598a84str xzr, [sp+392]
    00598a88str xzr, [sp+384]
    00598a8cldr x19, [sp+464]
    00598a90ldr x20, [sp+576]
    00598a94ldr x21, [sp+720]
    00598a98ldr x22, [sp+368]
    00598a9cadd x21, x21, x22
    00598aa0add x20, x20, x21
    00598aa4ldr x21, [sp+688]
    00598aa8add x20, x20, x21
    00598aacadcs x21, x20, x19
    00598ab0adds x21, x13, x4
    00598ab4adcs x21, x15, x14
    00598ab8adcs x21, x17, x16
    00598abcadcs x21, x20, x19
    00598ac0str x21, [sp+1640]
    00598ac4adds x4, x13, x4
    00598ac8adcs x4, x15, x14
    00598accadcs x4, x17, x16
    00598ad0adcs x4, x20, x19
    00598ad4adc x4, xzr, xzr
    00598ad8str x4, [sp+1632]
    00598adcstr x21, [sp+2608]
    00598ae0str x4, [sp+2600]
    00598ae4str x21, [sp+392]
    00598ae8str x4, [sp+384]
    00598aecstr xzr, [sp+376]
    00598af0ldr x4, [sp+440]
    00598af4madd x13, x4, x9, xzr
    00598af8umulh x4, x4, x9
    00598afcstr x4, [sp+1632]
    00598b00str x13, [sp+1640]
    00598b04str x4, [sp+2592]
    00598b08str x13, [sp+2584]
    00598b0cstr x13, [sp+376]
    00598b10str xzr, [sp+360]
    00598b14str xzr, [sp+352]
    00598b18ubfm x4, x13, 4, 3
    00598b1cumulh x13, x13, x11
    00598b20str x13, [sp+1640]
    00598b24str x4, [sp+1632]
    00598b28str x13, [sp+2576]
    00598b2cstr x4, [sp+2568]
    00598b30str x13, [sp+352]
    00598b34str x4, [sp+360]
    00598b38str xzr, [sp+344]
    00598b3cstr xzr, [sp+336]
    00598b40ldr x4, [sp+376]
    00598b44umulh x13, x4, x10
    00598b48str x13, [sp+1632]
    00598b4cmadd x4, x4, x10, xzr
    00598b50str x4, [sp+1640]
    00598b54str x13, [sp+2552]
    00598b58str x4, [sp+2544]
    00598b5cstr x13, [sp+336]
    00598b60str x4, [sp+344]
    00598b64str xzr, [sp+328]
    00598b68str xzr, [sp+320]
    00598b6cldr x4, [sp+376]
    00598b70umulh x13, x4, x12
    00598b74str x13, [sp+1640]
    00598b78madd x4, x4, x12, xzr
    00598b7cstr x4, [sp+1632]
    00598b80str x13, [sp+2536]
    00598b84str x4, [sp+2528]
    00598b88str x13, [sp+320]
    00598b8cstr x4, [sp+328]
    00598b90str xzr, [sp+312]
    00598b94str xzr, [sp+304]
    00598b98ldr x4, [sp+344]
    00598b9cadds x14, x13, x4
    00598ba0adc x14, xzr, xzr
    00598ba4adds x4, x13, x4
    00598ba8str x4, [sp+1632]
    00598bacstr x14, [sp+1640]
    00598bb0str x4, [sp+2520]
    00598bb4str x14, [sp+2504]
    00598bb8str x4, [sp+312]
    00598bbcstr x14, [sp+304]
    00598bc0str xzr, [sp+288]
    00598bc4ldr x4, [sp+328]
    00598bc8ldr x13, [sp+440]
    00598bccadds x14, x13, x4
    00598bd0adc x14, xzr, xzr
    00598bd4adds x15, x13, x4
    00598bd8str x15, [sp+1640]
    00598bdcstr x14, [sp+1632]
    00598be0str x15, [sp+2496]
    00598be4str x14, [sp+2488]
    00598be8str x14, [sp+288]
    00598becstr xzr, [sp+280]
    00598bf0str xzr, [sp+272]
    00598bf4ldr x14, [sp+312]
    00598bf8ldr x15, [sp+424]
    00598bfcadds x16, x13, x4
    00598c00adcs x16, x15, x14
    00598c04adds x16, x13, x4
    00598c08adcs x16, x15, x14
    00598c0cstr x16, [sp+1632]
    00598c10adds x17, x13, x4
    00598c14adcs x17, x15, x14
    00598c18adc x17, xzr, xzr
    00598c1cstr x17, [sp+1640]
    00598c20str x16, [sp+2480]
    00598c24str x17, [sp+2472]
    00598c28str x16, [sp+280]
    00598c2cstr x17, [sp+272]
    00598c30str xzr, [sp+264]
    00598c34str xzr, [sp+256]
    00598c38ldr x16, [sp+408]
    00598c3cldr x17, [sp+304]
    00598c40ldr x19, [sp+336]
    00598c44add x17, x17, x19
    00598c48adcs x19, x16, x17
    00598c4cadds x19, x13, x4
    00598c50adcs x19, x15, x14
    00598c54adcs x19, x16, x17
    00598c58str x19, [sp+1640]
    00598c5cadds x20, x13, x4
    00598c60adcs x20, x15, x14
    00598c64adcs x20, x16, x17
    00598c68adc x20, xzr, xzr
    00598c6cstr x20, [sp+1632]
    00598c70str x19, [sp+2464]
    00598c74str x20, [sp+2456]
    00598c78str x19, [sp+264]
    00598c7cstr x20, [sp+256]
    00598c80str xzr, [sp+248]
    00598c84str xzr, [sp+240]
    00598c88ldr x19, [sp+360]
    00598c8cldr x20, [sp+392]
    00598c90adcs x21, x20, x19
    00598c94adds x21, x13, x4
    00598c98adcs x21, x15, x14
    00598c9cadcs x21, x16, x17
    00598ca0adcs x21, x20, x19
    00598ca4str x21, [sp+1632]
    00598ca8adds x4, x13, x4
    00598cacadcs x4, x15, x14
    00598cb0adcs x4, x16, x17
    00598cb4adcs x4, x20, x19
    00598cb8adc x4, xzr, xzr
    00598cbcstr x4, [sp+1640]
    00598cc0str x21, [sp+2448]
    00598cc4str x4, [sp+2440]
    00598cc8str x21, [sp+248]
    00598cccstr x4, [sp+240]
    00598cd0str xzr, [sp+232]
    00598cd4str xzr, [sp+224]
    00598cd8ldr x4, [sp+704]
    00598cdcumulh x13, x4, x5
    00598ce0str x13, [sp+1640]
    00598ce4madd x4, x4, x5, xzr
    00598ce8str x4, [sp+1632]
    00598cecstr x13, [sp+2432]
    00598cf0str x4, [sp+2424]
    00598cf4str x13, [sp+224]
    00598cf8str x4, [sp+232]
    00598cfcstr xzr, [sp+216]
    00598d00str xzr, [sp+200]
    00598d04ldr x4, [sp+704]
    00598d08umulh x13, x4, x6
    00598d0cstr x13, [sp+1632]
    00598d10madd x4, x4, x6, xzr
    00598d14str x4, [sp+1640]
    00598d18str x13, [sp+2416]
    00598d1cstr x4, [sp+2408]
    00598d20str x13, [sp+200]
    00598d24str x4, [sp+216]
    00598d28str xzr, [sp+192]
    00598d2cstr xzr, [sp+184]
    00598d30ldr x4, [sp+704]
    00598d34umulh x13, x4, x7
    00598d38str x13, [sp+1640]
    00598d3cmadd x4, x4, x7, xzr
    00598d40str x4, [sp+1632]
    00598d44str x13, [sp+2400]
    00598d48str x4, [sp+2392]
    00598d4cstr x13, [sp+184]
    00598d50str x4, [sp+192]
    00598d54str xzr, [sp+176]
    00598d58str xzr, [sp+168]
    00598d5cldr x4, [sp+704]
    00598d60umulh x13, x4, x8
    00598d64str x13, [sp+1632]
    00598d68madd x4, x4, x8, xzr
    00598d6cstr x4, [sp+1640]
    00598d70str x13, [sp+2376]
    00598d74str x4, [sp+2368]
    00598d78str x13, [sp+168]
    00598d7cstr x4, [sp+176]
    00598d80str xzr, [sp+160]
    00598d84str xzr, [sp+152]
    00598d88ldr x4, [sp+192]
    00598d8cadds x14, x13, x4
    00598d90adc x14, xzr, xzr
    00598d94adds x15, x13, x4
    00598d98str x15, [sp+1640]
    00598d9cstr x14, [sp+1632]
    00598da0str x15, [sp+2360]
    00598da4str x14, [sp+2352]
    00598da8str x15, [sp+160]
    00598dacstr x14, [sp+152]
    00598db0str xzr, [sp+144]
    00598db4str xzr, [sp+136]
    00598db8ldr x14, [sp+216]
    00598dbcldr x15, [sp+184]
    00598dc0adds x16, x13, x4
    00598dc4adcs x16, x15, x14
    00598dc8adds x16, x13, x4
    00598dccadcs x16, x15, x14
    00598dd0str x16, [sp+1632]
    00598dd4adds x17, x13, x4
    00598dd8adcs x17, x15, x14
    00598ddcadc x17, xzr, xzr
    00598de0str x17, [sp+1640]
    00598de4str x16, [sp+2344]
    00598de8str x17, [sp+2336]
    00598decstr x16, [sp+144]
    00598df0str x17, [sp+136]
    00598df4str xzr, [sp+128]
    00598df8str xzr, [sp+112]
    00598dfcldr x16, [sp+232]
    00598e00ldr x17, [sp+200]
    00598e04adcs x19, x17, x16
    00598e08adds x19, x13, x4
    00598e0cadcs x19, x15, x14
    00598e10adcs x19, x17, x16
    00598e14str x19, [sp+1640]
    00598e18adds x4, x13, x4
    00598e1cadcs x4, x15, x14
    00598e20adcs x4, x17, x16
    00598e24adc x4, xzr, xzr
    00598e28str x4, [sp+1632]
    00598e2cstr x19, [sp+2320]
    00598e30str x4, [sp+2312]
    00598e34str x19, [sp+128]
    00598e38str x4, [sp+112]
    00598e3cstr xzr, [sp+104]
    00598e40str xzr, [sp+96]
    00598e44ldr x4, [sp+176]
    00598e48ldr x13, [sp+280]
    00598e4cadds x14, x13, x4
    00598e50adc x14, xzr, xzr
    00598e54adds x15, x13, x4
    00598e58str x15, [sp+1632]
    00598e5cstr x14, [sp+1640]
    00598e60str x15, [sp+2304]
    00598e64str x14, [sp+2296]
    00598e68str x15, [sp+104]
    00598e6cstr x14, [sp+96]
    00598e70str xzr, [sp+88]
    00598e74str xzr, [sp+80]
    00598e78ldr x14, [sp+160]
    00598e7cldr x15, [sp+264]
    00598e80adds x16, x13, x4
    00598e84adcs x16, x15, x14
    00598e88adds x16, x13, x4
    00598e8cadcs x16, x15, x14
    00598e90str x16, [sp+1640]
    00598e94adds x17, x13, x4
    00598e98adcs x17, x15, x14
    00598e9cadc x17, xzr, xzr
    00598ea0str x17, [sp+1632]
    00598ea4str x16, [sp+2288]
    00598ea8str x17, [sp+2280]
    00598eacstr x16, [sp+88]
    00598eb0str x17, [sp+80]
    00598eb4str xzr, [sp+72]
    00598eb8str xzr, [sp+64]
    00598ebcldr x16, [sp+144]
    00598ec0ldr x17, [sp+248]
    00598ec4adcs x19, x17, x16
    00598ec8adds x19, x13, x4
    00598eccadcs x19, x15, x14
    00598ed0adcs x19, x17, x16
    00598ed4str x19, [sp+1632]
    00598ed8adds x20, x13, x4
    00598edcadcs x20, x15, x14
    00598ee0adcs x20, x17, x16
    00598ee4adc x20, xzr, xzr
    00598ee8str x20, [sp+1640]
    00598eecstr x19, [sp+2272]
    00598ef0str x20, [sp+2264]
    00598ef4str x19, [sp+72]
    00598ef8str x20, [sp+64]
    00598efcstr xzr, [sp+56]
    00598f00str xzr, [sp+48]
    00598f04ldr x19, [sp+128]
    00598f08ldr x20, [sp+240]
    00598f0cldr x21, [sp+384]
    00598f10ldr x22, [sp+448]
    00598f14ldr x23, [sp+560]
    00598f18add x22, x22, x23
    00598f1cadd x21, x21, x22
    00598f20add x20, x20, x21
    00598f24ldr x21, [sp+352]
    00598f28add x20, x20, x21
    00598f2cadcs x21, x20, x19
    00598f30adds x21, x13, x4
    00598f34adcs x21, x15, x14
    00598f38adcs x21, x17, x16
    00598f3cadcs x21, x20, x19
    00598f40str x21, [sp+1640]
    00598f44adds x4, x13, x4
    00598f48adcs x4, x15, x14
    00598f4cadcs x4, x17, x16
    00598f50adcs x4, x20, x19
    00598f54adc x4, xzr, xzr
    00598f58str x4, [sp+1632]
    00598f5cstr x21, [sp+2256]
    00598f60str x4, [sp+2248]
    00598f64str x21, [sp+56]
    00598f68str x4, [sp+48]
    00598f6cstr xzr, [sp+40]
    00598f70ldr x4, [sp+104]
    00598f74madd x13, x4, x9, xzr
    00598f78umulh x4, x4, x9
    00598f7cstr x4, [sp+1632]
    00598f80str x13, [sp+1640]
    00598f84str x4, [sp+2240]
    00598f88str x13, [sp+2232]
    00598f8cstr x13, [sp+40]
    00598f90str xzr, [sp+1312]
    00598f94str xzr, [sp+1304]
    00598f98ubfm x4, x13, 4, 3
    00598f9cumulh x13, x13, x11
    00598fa0str x13, [sp+1640]
    00598fa4str x4, [sp+1632]
    00598fa8str x13, [sp+2224]
    00598facstr x4, [sp+2216]
    00598fb0str x13, [sp+1304]
    00598fb4str x4, [sp+1312]
    00598fb8str xzr, [sp+1296]
    00598fbcstr xzr, [sp+1288]
    00598fc0ldr x4, [sp+40]
    00598fc4umulh x13, x4, x10
    00598fc8str x13, [sp+1632]
    00598fccmadd x4, x4, x10, xzr
    00598fd0str x4, [sp+1640]
    00598fd4str x13, [sp+2208]
    00598fd8str x4, [sp+2192]
    00598fdcstr x13, [sp+1288]
    00598fe0str x4, [sp+1296]
    00598fe4str xzr, [sp+1280]
    00598fe8str xzr, [sp+1272]
    00598fecldr x4, [sp+40]
    00598ff0umulh x13, x4, x12
    00598ff4str x13, [sp+1640]
    00598ff8madd x4, x4, x12, xzr
    00598ffcstr x4, [sp+1632]
    00599000str x13, [sp+2184]
    00599004str x4, [sp+2176]
    00599008str x13, [sp+1272]
    0059900cstr x4, [sp+1280]
    00599010str xzr, [sp+1264]
    00599014str xzr, [sp+1256]
    00599018ldr x4, [sp+1296]
    0059901cadds x14, x13, x4
    00599020adc x14, xzr, xzr
    00599024adds x4, x13, x4
    00599028str x4, [sp+1632]
    0059902cstr x14, [sp+1640]
    00599030str x4, [sp+2168]
    00599034str x14, [sp+2160]
    00599038str x4, [sp+1264]
    0059903cstr x14, [sp+1256]
    00599040str xzr, [sp+1240]
    00599044ldr x4, [sp+1280]
    00599048ldr x13, [sp+104]
    0059904cadds x14, x13, x4
    00599050adc x14, xzr, xzr
    00599054adds x15, x13, x4
    00599058str x15, [sp+1640]
    0059905cstr x14, [sp+1632]
    00599060str x15, [sp+2144]
    00599064str x14, [sp+2136]
    00599068str x14, [sp+1240]
    0059906cstr xzr, [sp+1232]
    00599070str xzr, [sp+1224]
    00599074ldr x14, [sp+1264]
    00599078ldr x15, [sp+88]
    0059907cadds x16, x13, x4
    00599080adcs x16, x15, x14
    00599084adds x16, x13, x4
    00599088adcs x16, x15, x14
    0059908cstr x16, [sp+1632]
    00599090adds x17, x13, x4
    00599094adcs x17, x15, x14
    00599098adc x17, xzr, xzr
    0059909cstr x17, [sp+1640]
    005990a0str x16, [sp+2128]
    005990a4str x17, [sp+2120]
    005990a8str x16, [sp+1232]
    005990acstr x17, [sp+1224]
    005990b0str xzr, [sp+1216]
    005990b4str xzr, [sp+1208]
    005990b8ldr x16, [sp+72]
    005990bcldr x17, [sp+1256]
    005990c0ldr x19, [sp+1288]
    005990c4add x17, x17, x19
    005990c8adcs x19, x16, x17
    005990ccadds x19, x13, x4
    005990d0adcs x19, x15, x14
    005990d4adcs x19, x16, x17
    005990d8str x19, [sp+1640]
    005990dcadds x20, x13, x4
    005990e0adcs x20, x15, x14
    005990e4adcs x20, x16, x17
    005990e8adc x20, xzr, xzr
    005990ecstr x20, [sp+1632]
    005990f0str x19, [sp+2112]
    005990f4str x20, [sp+2104]
    005990f8str x19, [sp+1216]
    005990fcstr x20, [sp+1208]
    00599100str xzr, [sp+1200]
    00599104str xzr, [sp+1192]
    00599108ldr x19, [sp+1312]
    0059910cldr x20, [sp+56]
    00599110adcs x21, x20, x19
    00599114adds x21, x13, x4
    00599118adcs x21, x15, x14
    0059911cadcs x21, x16, x17
    00599120adcs x21, x20, x19
    00599124str x21, [sp+1632]
    00599128adds x4, x13, x4
    0059912cadcs x4, x15, x14
    00599130adcs x4, x16, x17
    00599134adcs x4, x20, x19
    00599138adc x4, xzr, xzr
    0059913cstr x4, [sp+1640]
    00599140str x21, [sp+2096]
    00599144str x4, [sp+2088]
    00599148str x21, [sp+1200]
    0059914cstr x4, [sp+1192]
    00599150str xzr, [sp+1184]
    00599154str xzr, [sp+1176]
    00599158ldr x4, [sp+632]
    0059915cumulh x13, x4, x5
    00599160str x13, [sp+1640]
    00599164madd x4, x4, x5, xzr
    00599168str x4, [sp+1632]
    0059916cstr x13, [sp+2080]
    00599170str x4, [sp+2072]
    00599174str x13, [sp+1176]
    00599178str x4, [sp+1184]
    0059917cstr xzr, [sp+1168]
    00599180str xzr, [sp+1152]
    00599184ldr x4, [sp+632]
    00599188umulh x5, x4, x6
    0059918cstr x5, [sp+1632]
    00599190madd x4, x4, x6, xzr
    00599194str x4, [sp+1640]
    00599198str x5, [sp+2064]
    0059919cstr x4, [sp+2056]
    005991a0str x5, [sp+1152]
    005991a4str x4, [sp+1168]
    005991a8str xzr, [sp+1144]
    005991acstr xzr, [sp+1136]
    005991b0ldr x4, [sp+632]
    005991b4umulh x5, x4, x7
    005991b8str x5, [sp+1640]
    005991bcmadd x4, x4, x7, xzr
    005991c0str x4, [sp+1632]
    005991c4str x5, [sp+2048]
    005991c8str x4, [sp+2040]
    005991ccstr x5, [sp+1136]
    005991d0str x4, [sp+1144]
    005991d4str xzr, [sp+1128]
    005991d8str xzr, [sp+1120]
    005991dcldr x4, [sp+632]
    005991e0umulh x5, x4, x8
    005991e4str x5, [sp+1632]
    005991e8madd x4, x4, x8, xzr
    005991ecstr x4, [sp+1640]
    005991f0str x5, [sp+2032]
    005991f4str x4, [sp+2024]
    005991f8str x5, [sp+1120]
    005991fcstr x4, [sp+1128]
    00599200str xzr, [sp+1112]
    00599204str xzr, [sp+1104]
    00599208ldr x4, [sp+1144]
    0059920cadds x6, x5, x4
    00599210adc x6, xzr, xzr
    00599214adds x7, x5, x4
    00599218str x7, [sp+1640]
    0059921cstr x6, [sp+1632]
    00599220str x7, [sp+2008]
    00599224str x6, [sp+2000]
    00599228str x7, [sp+1112]
    0059922cstr x6, [sp+1104]
    00599230str xzr, [sp+1096]
    00599234str xzr, [sp+1088]
    00599238ldr x6, [sp+1168]
    0059923cldr x7, [sp+1136]
    00599240adds x8, x5, x4
    00599244adcs x8, x7, x6
    00599248adds x8, x5, x4
    0059924cadcs x8, x7, x6
    00599250str x8, [sp+1632]
    00599254adds x13, x5, x4
    00599258adcs x13, x7, x6
    0059925cadc x13, xzr, xzr
    00599260str x13, [sp+1640]
    00599264str x8, [sp+1992]
    00599268str x13, [sp+1984]
    0059926cstr x8, [sp+1096]
    00599270str x13, [sp+1088]
    00599274str xzr, [sp+1080]
    00599278str xzr, [sp+1064]
    0059927cldr x8, [sp+1184]
    00599280ldr x13, [sp+1152]
    00599284adcs x14, x13, x8
    00599288adds x14, x5, x4
    0059928cadcs x14, x7, x6
    00599290adcs x14, x13, x8
    00599294str x14, [sp+1640]
    00599298adds x4, x5, x4
    0059929cadcs x4, x7, x6
    005992a0adcs x4, x13, x8
    005992a4adc x4, xzr, xzr
    005992a8str x4, [sp+1632]
    005992acstr x14, [sp+1968]
    005992b0str x4, [sp+1960]
    005992b4str x14, [sp+1080]
    005992b8str x4, [sp+1064]
    005992bcstr xzr, [sp+1056]
    005992c0str xzr, [sp+1048]
    005992c4ldr x4, [sp+1128]
    005992c8ldr x5, [sp+1232]
    005992ccadds x6, x5, x4
    005992d0adc x6, xzr, xzr
    005992d4adds x7, x5, x4
    005992d8str x7, [sp+1632]
    005992dcstr x6, [sp+1640]
    005992e0str x7, [sp+1952]
    005992e4str x6, [sp+1944]
    005992e8str x7, [sp+1056]
    005992ecstr x6, [sp+1048]
    005992f0str xzr, [sp+1040]
    005992f4str xzr, [sp+1032]
    005992f8ldr x6, [sp+1112]
    005992fcldr x7, [sp+1216]
    00599300adds x8, x5, x4
    00599304adcs x8, x7, x6
    00599308adds x8, x5, x4
    0059930cadcs x8, x7, x6
    00599310str x8, [sp+1640]
    00599314adds x13, x5, x4
    00599318adcs x13, x7, x6
    0059931cadc x13, xzr, xzr
    00599320str x13, [sp+1632]
    00599324str x8, [sp+1936]
    00599328str x13, [sp+1928]
    0059932cstr x8, [sp+1040]
    00599330str x13, [sp+1032]
    00599334str xzr, [sp+1024]
    00599338str xzr, [sp+1016]
    0059933cldr x8, [sp+1096]
    00599340ldr x13, [sp+1200]
    00599344adcs x14, x13, x8
    00599348adds x14, x5, x4
    0059934cadcs x14, x7, x6
    00599350adcs x14, x13, x8
    00599354str x14, [sp+1632]
    00599358adds x15, x5, x4
    0059935cadcs x15, x7, x6
    00599360adcs x15, x13, x8
    00599364adc x15, xzr, xzr
    00599368str x15, [sp+1640]
    0059936cstr x14, [sp+1920]
    00599370str x15, [sp+1912]
    00599374str x14, [sp+1024]
    00599378str x15, [sp+1016]
    0059937cstr xzr, [sp+1008]
    00599380str xzr, [sp+1000]
    00599384ldr x14, [sp+1080]
    00599388ldr x15, [sp+1192]
    0059938cldr x16, [sp+48]
    00599390ldr x17, [sp+112]
    00599394ldr x19, [sp+224]
    00599398add x17, x17, x19
    0059939cadd x16, x16, x17
    005993a0add x15, x15, x16
    005993a4ldr x16, [sp+1304]
    005993a8add x15, x15, x16
    005993acadcs x16, x15, x14
    005993b0adds x16, x5, x4
    005993b4adcs x16, x7, x6
    005993b8adcs x16, x13, x8
    005993bcadcs x16, x15, x14
    005993c0str x16, [sp+1640]
    005993c4adds x4, x5, x4
    005993c8adcs x4, x7, x6
    005993ccadcs x4, x13, x8
    005993d0adcs x4, x15, x14
    005993d4adc x4, xzr, xzr
    005993d8str x4, [sp+1632]
    005993dcstr x16, [sp+1904]
    005993e0str x4, [sp+1896]
    005993e4str x16, [sp+1008]
    005993e8str x4, [sp+1000]
    005993ecstr xzr, [sp+992]
    005993f0ldr x4, [sp+1056]
    005993f4madd x5, x4, x9, xzr
    005993f8umulh x4, x4, x9
    005993fcstr x4, [sp+1632]
    00599400str x5, [sp+1640]
    00599404str x4, [sp+1888]
    00599408str x5, [sp+1880]
    0059940cstr x5, [sp+992]
    00599410str xzr, [sp+976]
    00599414str xzr, [sp+968]
    00599418ubfm x4, x5, 4, 3
    0059941cumulh x5, x5, x11
    00599420str x5, [sp+1640]
    00599424str x4, [sp+1632]
    00599428str x5, [sp+1872]
    0059942cstr x4, [sp+1864]
    00599430str x5, [sp+968]
    00599434str x4, [sp+976]
    00599438str xzr, [sp+960]
    0059943cstr xzr, [sp+952]
    00599440ldr x4, [sp+992]
    00599444umulh x5, x4, x10
    00599448str x5, [sp+1632]
    0059944cmadd x4, x4, x10, xzr
    00599450str x4, [sp+1640]
    00599454str x5, [sp+1856]
    00599458str x4, [sp+1848]
    0059945cstr x5, [sp+952]
    00599460str x4, [sp+960]
    00599464str xzr, [sp+944]
    00599468str xzr, [sp+936]
    0059946cldr x4, [sp+992]
    00599470umulh x5, x4, x12
    00599474str x5, [sp+1640]
    00599478madd x4, x4, x12, xzr
    0059947cstr x4, [sp+1632]
    00599480str x5, [sp+1832]
    00599484str x4, [sp+1824]
    00599488str x5, [sp+936]
    0059948cstr x4, [sp+944]
    00599490str xzr, [sp+928]
    00599494str xzr, [sp+920]
    00599498ldr x4, [sp+960]
    0059949cadds x6, x5, x4
    005994a0adc x6, xzr, xzr
    005994a4adds x4, x5, x4
    005994a8str x4, [sp+1632]
    005994acstr x6, [sp+1640]
    005994b0str x4, [sp+1816]
    005994b4str x6, [sp+1808]
    005994b8str x4, [sp+928]
    005994bcstr x6, [sp+920]
    005994c0str xzr, [sp+904]
    005994c4ldr x4, [sp+944]
    005994c8ldr x5, [sp+1056]
    005994ccadds x6, x5, x4
    005994d0adc x6, xzr, xzr
    005994d4adds x7, x5, x4
    005994d8str x7, [sp+1640]
    005994dcstr x6, [sp+1632]
    005994e0str x7, [sp+1800]
    005994e4str x6, [sp+1792]
    005994e8str x6, [sp+904]
    005994ecstr xzr, [sp+896]
    005994f0str xzr, [sp+888]
    005994f4ldr x6, [sp+928]
    005994f8ldr x7, [sp+1040]
    005994fcadds x8, x5, x4
    00599500adcs x8, x7, x6
    00599504adds x8, x5, x4
    00599508adcs x8, x7, x6
    0059950cstr x8, [sp+1632]
    00599510adds x9, x5, x4
    00599514adcs x9, x7, x6
    00599518adc x9, xzr, xzr
    0059951cstr x9, [sp+1640]
    00599520str x8, [sp+1776]
    00599524str x9, [sp+1768]
    00599528str x8, [sp+896]
    0059952cstr x9, [sp+888]
    00599530str xzr, [sp+880]
    00599534str xzr, [sp+872]
    00599538ldr x8, [sp+1024]
    0059953cldr x9, [sp+920]
    00599540ldr x13, [sp+952]
    00599544add x9, x9, x13
    00599548adcs x13, x8, x9
    0059954cadds x13, x5, x4
    00599550adcs x13, x7, x6
    00599554adcs x13, x8, x9
    00599558str x13, [sp+1640]
    0059955cadds x14, x5, x4
    00599560adcs x14, x7, x6
    00599564adcs x14, x8, x9
    00599568adc x14, xzr, xzr
    0059956cstr x14, [sp+1632]
    00599570str x13, [sp+1760]
    00599574str x14, [sp+1752]
    00599578str x13, [sp+880]
    0059957cstr x14, [sp+872]
    00599580str xzr, [sp+864]
    00599584str xzr, [sp+856]
    00599588ldr x13, [sp+976]
    0059958cldr x14, [sp+1008]
    00599590adcs x15, x14, x13
    00599594adds x15, x5, x4
    00599598adcs x15, x7, x6
    0059959cadcs x15, x8, x9
    005995a0adcs x15, x14, x13
    005995a4str x15, [sp+1632]
    005995a8adds x4, x5, x4
    005995acadcs x4, x7, x6
    005995b0adcs x4, x8, x9
    005995b4adcs x4, x14, x13
    005995b8adc x4, xzr, xzr
    005995bcstr x4, [sp+1640]
    005995c0str x15, [sp+1744]
    005995c4str x4, [sp+1736]
    005995c8str x15, [sp+864]
    005995ccstr x4, [sp+856]
    005995d0ldr x5, [sp+1000]
    005995d4ldr x6, [sp+1064]
    005995d8ldr x7, [sp+1176]
    005995dcadd x6, x6, x7
    005995e0add x5, x5, x6
    005995e4add x4, x4, x5
    005995e8ldr x5, [sp+968]
    005995ecadd x4, x4, x5
    005995f0str x4, [sp+848]
    005995f4str xzr, [sp+840]
    005995f8str xzr, [sp+832]
    005995fcldr x4, [sp+896]
    00599600subs x5, x4, x12
    00599604sbc x5, xzr, xzr
    00599608sub x5, xzr, x5
    0059960csubs x6, x4, x12
    00599610str x6, [sp+1640]
    00599614str x5, [sp+1632]
    00599618str x6, [sp+1728]
    0059961cstr x5, [sp+1720]
    00599620str x6, [sp+840]
    00599624str x5, [sp+832]
    00599628str xzr, [sp+816]
    0059962cstr xzr, [sp+808]
    00599630ldr x5, [sp+880]
    00599634subs x6, x4, x12
    00599638sbcs x6, x5, x10
    0059963csubs x6, x4, x12
    00599640sbcs x6, x5, x10
    00599644str x6, [sp+1632]
    00599648subs x7, x4, x12
    0059964csbcs x7, x5, x10
    00599650sbc x7, xzr, xzr
    00599654sub x7, xzr, x7
    00599658str x7, [sp+1640]
    0059965cstr x6, [sp+1712]
    00599660str x7, [sp+1704]
    00599664str x6, [sp+816]
    00599668str x7, [sp+808]
    0059966cstr xzr, [sp+800]
    00599670str xzr, [sp+792]
    00599674ldr x6, [sp+864]
    00599678mov x7, xzr
    0059967csbcs x8, x6, x7
    00599680subs x8, x4, x12
    00599684sbcs x8, x5, x10
    00599688sbcs x8, x6, x7
    0059968cstr x8, [sp+1640]
    00599690subs x9, x4, x12
    00599694sbcs x9, x5, x10
    00599698sbcs x9, x6, x7
    0059969csbc x9, xzr, xzr
    005996a0sub x9, xzr, x9
    005996a4str x9, [sp+1632]
    005996a8str x8, [sp+1696]
    005996acstr x9, [sp+1688]
    005996b0str x8, [sp+800]
    005996b4str x9, [sp+792]
    005996b8str xzr, [sp+784]
    005996bcstr xzr, [sp+776]
    005996c0ldr x8, [sp+848]
    005996c4sbcs x9, x8, x11
    005996c8subs x9, x4, x12
    005996ccsbcs x9, x5, x10
    005996d0sbcs x9, x6, x7
    005996d4sbcs x9, x8, x11
    005996d8str x9, [sp+1632]
    005996dcsubs x13, x4, x12
    005996e0sbcs x13, x5, x10
    005996e4sbcs x13, x6, x7
    005996e8sbcs x13, x8, x11
    005996ecsbc x13, xzr, xzr
    005996f0sbcs x14, x7, x7
    005996f4subs x14, x4, x12
    005996f8sbcs x14, x5, x10
    005996fcsbcs x14, x6, x7
    00599700sbcs x14, x8, x11
    00599704sbcs x14, x7, x7
    00599708subs x4, x4, x12
    0059970csbcs x4, x5, x10
    00599710sbcs x4, x6, x7
    00599714sbcs x4, x8, x11
    00599718sbcs x4, x7, x7
    0059971csbc x4, xzr, xzr
    00599720sub x5, xzr, x13
    00599724str x5, [sp+1640]
    00599728str x9, [sp+1680]
    0059972cstr x5, [sp+1672]
    00599730str x9, [sp+784]
    00599734str x5, [sp+776]
    00599738str xzr, [sp+768]
    0059973cstr x14, [sp+1640]
    00599740sub x1, xzr, x4
    00599744str x1, [sp+1632]
    00599748str x14, [sp+1656]
    0059974cstr x1, [sp+1648]
    00599750str x1, [sp+768]
    00599754str xzr, [sp+760]
    00599758ldr x2, [sp+840]
    0059975cldr x3, [sp+896]
    00599760add x0, sp, 760
    00599764bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    00599768str xzr, [sp+752]
    0059976cldr x2, [sp+816]
    00599770ldr x3, [sp+880]
    00599774ldr x1, [sp+768]
    00599778add x0, sp, 752
    0059977cbl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    00599780str xzr, [sp+736]
    00599784ldr x2, [sp+800]
    00599788ldr x3, [sp+864]
    0059978cldr x1, [sp+768]
    00599790add x0, sp, 736
    00599794bl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    00599798str xzr, [sp+728]
    0059979cldr x2, [sp+784]
    005997a0ldr x3, [sp+848]
    005997a4ldr x1, [sp+768]
    005997a8add x0, sp, 728
    005997acbl crypto/internal/fips140/edwards25519.fiatScalarCmovznzU64
    005997b0ldr x4, [sp+2664]
    005997b4ldrsb x27, [x4]
    005997b8ldr x5, [sp+760]
    005997bcstr x5, [x4]
    005997c0ldr x4, [sp+2664]
    005997c4ldrsb x27, [x4]
    005997c8ldr x5, [sp+752]
    005997ccstr x5, [x4+8]
    005997d0ldr x4, [sp+2664]
    005997d4ldrsb x27, [x4]
    005997d8ldr x5, [sp+736]
    005997dcstr x5, [x4+16]
    005997e0ldr x4, [sp+2664]
    005997e4ldrsb x27, [x4]
    005997e8ldr x5, [sp+728]
    005997ecstr x5, [x4+24]
    005997f0ldp x29, x30, [sp-8]
    005997f4add sp, sp, 2656
    005997f8ret x30
    005997fc
    005997fcloc_5997fc:
    005997fcstp x0, x1, [sp+8]
    00599800mov x3, x30
    00599804bl runtime.morestack_noctxt.abi0
    00599808ldp x0, x1, [sp+8]
    0059980cb 0x598440
    00598440