File sliver_83cb34f62800fed14e14547c39337aab8e0427fe2c6310a3fb40ce0ac36168c9.elf
Function:
    00540440
    00540440crypto/internal/fips140/nistec/fiat.p384ToMontgomery: ; void crypto/internal/fips140/nistec/fiat.p384ToMontgomery(crypto/internal/fips140/nistec/fiat.p384MontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p384NonMontgomeryDomainFieldElement * arg1)
    00540440ldr x16, [x28+16]
    00540444movz x27, 6304
    00540448subs x17, sp, x27
    0054044cb.lo 0x5437fc
    00540450subs xzr, x17, x16
    00540454b.ls 0x5437fc
    00540458movz x27, 6432
    0054045csub x20, sp, x27
    00540460stp x29, x30, [x20-8]
    00540464add sp, x20, 0
    00540468sub x29, sp, 8
    0054046cstr x0, [sp+6440]
    00540470str x1, [sp+6448]
    00540474ldrsb x27, [x1]
    00540478ldr x4, [x1+8]
    0054047cstr x4, [sp+3216]
    00540480ldrsb x27, [x1]
    00540484ldr x4, [x1+16]
    00540488str x4, [sp+2352]
    0054048cldrsb x27, [x1]
    00540490ldr x4, [x1+24]
    00540494str x4, [sp+1496]
    00540498ldrsb x27, [x1]
    0054049cldr x4, [x1+32]
    005404a0str x4, [sp+632]
    005404a4ldr x4, [sp+6448]
    005404a8ldrsb x27, [x4]
    005404acldr x4, [x4+40]
    005404b0str x4, [sp+472]
    005404b4ldr x4, [sp+6448]
    005404b8ldrsb x27, [x4]
    005404bcldr x4, [x4]
    005404c0str x4, [sp+384]
    005404c4str xzr, [sp+296]
    005404c8str xzr, [sp+208]
    005404ccubfm x5, x4, 31, 30
    005404d0movz x6, 0x200000000
    005404d4umulh x4, x4, x6
    005404d8str x4, [sp+3312]
    005404dcstr x5, [sp+3304]
    005404e0str x4, [sp+6416]
    005404e4str x5, [sp+6360]
    005404e8str x4, [sp+208]
    005404ecstr x5, [sp+296]
    005404f0str xzr, [sp+120]
    005404f4str xzr, [sp+3208]
    005404f8ldr x4, [sp+384]
    005404fcorr x5, xzr, 0xfffffffe00000000
    00540500umulh x7, x4, x5
    00540504str x7, [sp+3304]
    00540508madd x4, x4, x5, xzr
    0054050cstr x4, [sp+3312]
    00540510str x7, [sp+6240]
    00540514str x4, [sp+6184]
    00540518str x7, [sp+3208]
    0054051cstr x4, [sp+120]
    00540520str xzr, [sp+3120]
    00540524str xzr, [sp+3040]
    00540528ldr x4, [sp+384]
    0054052cumulh x7, x4, x6
    00540530str x7, [sp+3312]
    00540534ubfm x4, x4, 31, 30
    00540538str x4, [sp+3304]
    0054053cstr x7, [sp+6056]
    00540540str x4, [sp+6008]
    00540544str x7, [sp+3040]
    00540548str x4, [sp+3120]
    0054054cstr xzr, [sp+2952]
    00540550str xzr, [sp+2864]
    00540554ldr x4, [sp+384]
    00540558orr x7, xzr, 0xfffffffe00000001
    0054055cumulh x8, x4, x7
    00540560str x8, [sp+3304]
    00540564madd x4, x4, x7, xzr
    00540568str x4, [sp+3312]
    0054056cstr x8, [sp+5872]
    00540570str x4, [sp+5832]
    00540574str x8, [sp+2864]
    00540578str x4, [sp+2952]
    0054057cstr xzr, [sp+2776]
    00540580str xzr, [sp+2696]
    00540584ldr x4, [sp+3120]
    00540588adds x9, x8, x4
    0054058cadc x9, xzr, xzr
    00540590adds x10, x8, x4
    00540594str x10, [sp+3312]
    00540598str x9, [sp+3304]
    0054059cstr x10, [sp+5696]
    005405a0str x9, [sp+5656]
    005405a4str x10, [sp+2776]
    005405a8str x9, [sp+2696]
    005405acstr xzr, [sp+2608]
    005405b0str xzr, [sp+2528]
    005405b4ldr x9, [sp+120]
    005405b8ldr x10, [sp+3040]
    005405bcadds x11, x8, x4
    005405c0adcs x11, x10, x9
    005405c4adds x11, x8, x4
    005405c8adcs x11, x10, x9
    005405ccstr x11, [sp+3304]
    005405d0adds x12, x8, x4
    005405d4adcs x12, x10, x9
    005405d8adc x12, xzr, xzr
    005405dcstr x12, [sp+3312]
    005405e0str x11, [sp+5520]
    005405e4str x12, [sp+5472]
    005405e8str x11, [sp+2608]
    005405ecstr x12, [sp+2528]
    005405f0str xzr, [sp+2440]
    005405f4str xzr, [sp+2344]
    005405f8ldr x11, [sp+296]
    005405fcldr x12, [sp+3208]
    00540600adcs x13, x12, x11
    00540604adds x13, x8, x4
    00540608adcs x13, x10, x9
    0054060cadcs x13, x12, x11
    00540610str x13, [sp+3312]
    00540614adds x14, x8, x4
    00540618adcs x14, x10, x9
    0054061cadcs x14, x12, x11
    00540620adc x14, xzr, xzr
    00540624str x14, [sp+3304]
    00540628str x13, [sp+5344]
    0054062cstr x14, [sp+5288]
    00540630str x13, [sp+2440]
    00540634str x14, [sp+2344]
    00540638str xzr, [sp+2256]
    0054063cstr xzr, [sp+2168]
    00540640ldr x13, [sp+384]
    00540644ldr x14, [sp+208]
    00540648adcs x15, x14, x13
    0054064cadds x15, x8, x4
    00540650adcs x15, x10, x9
    00540654adcs x15, x12, x11
    00540658adcs x15, x14, x13
    0054065cstr x15, [sp+3304]
    00540660adds x4, x8, x4
    00540664adcs x4, x10, x9
    00540668adcs x4, x12, x11
    0054066cadcs x4, x14, x13
    00540670adc x4, xzr, xzr
    00540674str x4, [sp+3312]
    00540678str x15, [sp+5168]
    0054067cstr x4, [sp+5112]
    00540680str x15, [sp+2256]
    00540684str x4, [sp+2168]
    00540688str xzr, [sp+2088]
    0054068cldr x4, [sp+2952]
    00540690add x8, x4, x4, lsl #32
    00540694orr x9, xzr, 0x100000001
    00540698umulh x4, x4, x9
    0054069cstr x4, [sp+3312]
    005406a0str x8, [sp+3304]
    005406a4str x4, [sp+5024]
    005406a8str x8, [sp+4984]
    005406acstr x8, [sp+2088]
    005406b0str xzr, [sp+1928]
    005406b4str xzr, [sp+1840]
    005406b8sub x4, xzr, x8
    005406bcmovn x10, 0
    005406c0umulh x8, x8, x10
    005406c4str x8, [sp+3304]
    005406c8str x4, [sp+3312]
    005406ccstr x8, [sp+4848]
    005406d0str x4, [sp+4800]
    005406d4str x8, [sp+1840]
    005406d8str x4, [sp+1928]
    005406dcstr xzr, [sp+1752]
    005406e0str xzr, [sp+1664]
    005406e4ldr x4, [sp+2088]
    005406e8umulh x8, x4, x10
    005406ecstr x8, [sp+3312]
    005406f0sub x4, xzr, x4
    005406f4str x4, [sp+3304]
    005406f8str x8, [sp+4672]
    005406fcstr x4, [sp+4616]
    00540700str x8, [sp+1664]
    00540704str x4, [sp+1752]
    00540708str xzr, [sp+1584]
    0054070cstr xzr, [sp+1488]
    00540710ldr x4, [sp+2088]
    00540714umulh x8, x4, x10
    00540718str x8, [sp+3304]
    0054071csub x4, xzr, x4
    00540720str x4, [sp+3312]
    00540724str x8, [sp+4496]
    00540728str x4, [sp+4440]
    0054072cstr x8, [sp+1488]
    00540730str x4, [sp+1584]
    00540734str xzr, [sp+1400]
    00540738str xzr, [sp+1320]
    0054073cldr x4, [sp+2088]
    00540740movn x8, 1
    00540744umulh x11, x4, x8
    00540748str x11, [sp+3312]
    0054074cmadd x4, x4, x8, xzr
    00540750str x4, [sp+3304]
    00540754str x11, [sp+4312]
    00540758str x4, [sp+4264]
    0054075cstr x11, [sp+1320]
    00540760str x4, [sp+1400]
    00540764str xzr, [sp+1232]
    00540768str xzr, [sp+1144]
    0054076cldr x4, [sp+2088]
    00540770orr x11, xzr, 0xffffffff00000000
    00540774umulh x12, x4, x11
    00540778str x12, [sp+3304]
    0054077cmadd x4, x4, x11, xzr
    00540780str x4, [sp+3312]
    00540784str x12, [sp+4128]
    00540788str x4, [sp+4088]
    0054078cstr x12, [sp+1144]
    00540790str x4, [sp+1232]
    00540794str xzr, [sp+1056]
    00540798str xzr, [sp+976]
    0054079cldr x4, [sp+2088]
    005407a0orr x12, xzr, 0xffffffff
    005407a4umulh x13, x4, x12
    005407a8str x13, [sp+3312]
    005407acsub x14, xzr, x4
    005407b0add x4, x14, x4, lsl #32
    005407b4str x4, [sp+3304]
    005407b8str x13, [sp+3952]
    005407bcstr x4, [sp+3912]
    005407c0str x13, [sp+976]
    005407c4str x4, [sp+1056]
    005407c8str xzr, [sp+888]
    005407ccstr xzr, [sp+808]
    005407d0ldr x4, [sp+1232]
    005407d4adds x14, x13, x4
    005407d8adc x14, xzr, xzr
    005407dcadds x15, x13, x4
    005407e0str x15, [sp+3304]
    005407e4str x14, [sp+3312]
    005407e8str x15, [sp+3776]
    005407ecstr x14, [sp+3728]
    005407f0str x15, [sp+888]
    005407f4str x14, [sp+808]
    005407f8str xzr, [sp+720]
    005407fcstr xzr, [sp+624]
    00540800ldr x14, [sp+1400]
    00540804ldr x15, [sp+1144]
    00540808adds x16, x13, x4
    0054080cadcs x16, x15, x14
    00540810adds x16, x13, x4
    00540814adcs x16, x15, x14
    00540818str x16, [sp+3312]
    0054081cadds x17, x13, x4
    00540820adcs x17, x15, x14
    00540824adc x17, xzr, xzr
    00540828str x17, [sp+3304]
    0054082cstr x16, [sp+3600]
    00540830str x17, [sp+3544]
    00540834str x16, [sp+720]
    00540838str x17, [sp+624]
    0054083cstr xzr, [sp+544]
    00540840str xzr, [sp+528]
    00540844ldr x16, [sp+1584]
    00540848ldr x17, [sp+1320]
    0054084cadcs x19, x17, x16
    00540850adds x19, x13, x4
    00540854adcs x19, x15, x14
    00540858adcs x19, x17, x16
    0054085cstr x19, [sp+3304]
    00540860adds x20, x13, x4
    00540864adcs x20, x15, x14
    00540868adcs x20, x17, x16
    0054086cadc x20, xzr, xzr
    00540870str x20, [sp+3312]
    00540874str x19, [sp+3424]
    00540878str x20, [sp+3368]
    0054087cstr x19, [sp+544]
    00540880str x20, [sp+528]
    00540884str xzr, [sp+520]
    00540888str xzr, [sp+512]
    0054088cldr x19, [sp+1752]
    00540890ldr x20, [sp+1488]
    00540894adcs x21, x20, x19
    00540898adds x21, x13, x4
    0054089cadcs x21, x15, x14
    005408a0adcs x21, x17, x16
    005408a4adcs x21, x20, x19
    005408a8str x21, [sp+3312]
    005408acadds x22, x13, x4
    005408b0adcs x22, x15, x14
    005408b4adcs x22, x17, x16
    005408b8adcs x22, x20, x19
    005408bcadc x22, xzr, xzr
    005408c0str x22, [sp+3304]
    005408c4str x21, [sp+3296]
    005408c8str x22, [sp+3288]
    005408ccstr x21, [sp+520]
    005408d0str x22, [sp+512]
    005408d4str xzr, [sp+504]
    005408d8str xzr, [sp+496]
    005408dcldr x21, [sp+1928]
    005408e0ldr x22, [sp+1664]
    005408e4adcs x23, x22, x21
    005408e8adds x23, x13, x4
    005408ecadcs x23, x15, x14
    005408f0adcs x23, x17, x16
    005408f4adcs x23, x20, x19
    005408f8adcs x23, x22, x21
    005408fcstr x23, [sp+3304]
    00540900adds x4, x13, x4
    00540904adcs x4, x15, x14
    00540908adcs x4, x17, x16
    0054090cadcs x4, x20, x19
    00540910adcs x4, x22, x21
    00540914adc x4, xzr, xzr
    00540918str x4, [sp+3312]
    0054091cstr x23, [sp+3280]
    00540920str x4, [sp+3272]
    00540924str x23, [sp+504]
    00540928str x4, [sp+496]
    0054092cstr xzr, [sp+488]
    00540930ldr x4, [sp+1056]
    00540934ldr x13, [sp+2952]
    00540938adds x14, x13, x4
    0054093cadc x14, xzr, xzr
    00540940adds x15, x13, x4
    00540944str x15, [sp+3312]
    00540948str x14, [sp+3304]
    0054094cstr x15, [sp+3264]
    00540950str x14, [sp+3256]
    00540954str x14, [sp+488]
    00540958str xzr, [sp+480]
    0054095cstr xzr, [sp+464]
    00540960ldr x14, [sp+888]
    00540964ldr x15, [sp+2776]
    00540968adds x16, x13, x4
    0054096cadcs x16, x15, x14
    00540970adds x16, x13, x4
    00540974adcs x16, x15, x14
    00540978str x16, [sp+3304]
    0054097cadds x17, x13, x4
    00540980adcs x17, x15, x14
    00540984adc x17, xzr, xzr
    00540988str x17, [sp+3312]
    0054098cstr x16, [sp+3248]
    00540990str x17, [sp+3240]
    00540994str x16, [sp+480]
    00540998str x17, [sp+464]
    0054099cstr xzr, [sp+456]
    005409a0str xzr, [sp+448]
    005409a4ldr x16, [sp+720]
    005409a8ldr x17, [sp+2608]
    005409acadcs x19, x17, x16
    005409b0adds x19, x13, x4
    005409b4adcs x19, x15, x14
    005409b8adcs x19, x17, x16
    005409bcstr x19, [sp+3312]
    005409c0adds x20, x13, x4
    005409c4adcs x20, x15, x14
    005409c8adcs x20, x17, x16
    005409ccadc x20, xzr, xzr
    005409d0str x20, [sp+3304]
    005409d4str x19, [sp+3232]
    005409d8str x20, [sp+3224]
    005409dcstr x19, [sp+456]
    005409e0str x20, [sp+448]
    005409e4str xzr, [sp+440]
    005409e8str xzr, [sp+432]
    005409ecldr x19, [sp+544]
    005409f0ldr x20, [sp+2440]
    005409f4adcs x21, x20, x19
    005409f8adds x21, x13, x4
    005409fcadcs x21, x15, x14
    00540a00adcs x21, x17, x16
    00540a04adcs x21, x20, x19
    00540a08str x21, [sp+3304]
    00540a0cadds x22, x13, x4
    00540a10adcs x22, x15, x14
    00540a14adcs x22, x17, x16
    00540a18adcs x22, x20, x19
    00540a1cadc x22, xzr, xzr
    00540a20str x22, [sp+3312]
    00540a24str x21, [sp+6408]
    00540a28str x22, [sp+6400]
    00540a2cstr x21, [sp+440]
    00540a30str x22, [sp+432]
    00540a34str xzr, [sp+424]
    00540a38str xzr, [sp+416]
    00540a3cldr x21, [sp+520]
    00540a40ldr x22, [sp+2256]
    00540a44adcs x23, x22, x21
    00540a48adds x23, x13, x4
    00540a4cadcs x23, x15, x14
    00540a50adcs x23, x17, x16
    00540a54adcs x23, x20, x19
    00540a58adcs x23, x22, x21
    00540a5cstr x23, [sp+3312]
    00540a60adds x24, x13, x4
    00540a64adcs x24, x15, x14
    00540a68adcs x24, x17, x16
    00540a6cadcs x24, x20, x19
    00540a70adcs x24, x22, x21
    00540a74adc x24, xzr, xzr
    00540a78str x24, [sp+3304]
    00540a7cstr x23, [sp+6392]
    00540a80str x24, [sp+6384]
    00540a84str x23, [sp+424]
    00540a88str x24, [sp+416]
    00540a8cstr xzr, [sp+408]
    00540a90str xzr, [sp+400]
    00540a94ldr x23, [sp+504]
    00540a98ldr x24, [sp+2168]
    00540a9cadcs x25, x24, x23
    00540aa0adds x25, x13, x4
    00540aa4adcs x25, x15, x14
    00540aa8adcs x25, x17, x16
    00540aacadcs x25, x20, x19
    00540ab0adcs x25, x22, x21
    00540ab4adcs x25, x24, x23
    00540ab8str x25, [sp+3304]
    00540abcadds x26, x13, x4
    00540ac0adcs x26, x15, x14
    00540ac4adcs x26, x17, x16
    00540ac8adcs x26, x20, x19
    00540accadcs x26, x22, x21
    00540ad0adcs x26, x24, x23
    00540ad4adc x26, xzr, xzr
    00540ad8str x26, [sp+3312]
    00540adcstr x25, [sp+6376]
    00540ae0str x26, [sp+6368]
    00540ae4str x25, [sp+408]
    00540ae8str x26, [sp+400]
    00540aecstr xzr, [sp+392]
    00540af0str xzr, [sp+376]
    00540af4ldr x25, [sp+496]
    00540af8ldr x26, [sp+1840]
    00540afcadd x25, x25, x26
    00540b00mov x26, xzr
    00540b04adcs x30, x26, x25
    00540b08adds x30, x13, x4
    00540b0cadcs x30, x15, x14
    00540b10adcs x30, x17, x16
    00540b14adcs x30, x20, x19
    00540b18adcs x30, x22, x21
    00540b1cadcs x30, x24, x23
    00540b20adcs x30, x26, x25
    00540b24str x30, [sp+3312]
    00540b28adds x4, x13, x4
    00540b2cadcs x4, x15, x14
    00540b30adcs x4, x17, x16
    00540b34adcs x4, x20, x19
    00540b38adcs x4, x22, x21
    00540b3cadcs x4, x24, x23
    00540b40adcs x4, x26, x25
    00540b44adc x4, xzr, xzr
    00540b48str x4, [sp+3304]
    00540b4cstr x30, [sp+6352]
    00540b50str x4, [sp+6344]
    00540b54str x30, [sp+392]
    00540b58str x4, [sp+376]
    00540b5cstr xzr, [sp+368]
    00540b60str xzr, [sp+360]
    00540b64ldr x4, [sp+3216]
    00540b68umulh x13, x4, x6
    00540b6cstr x13, [sp+3304]
    00540b70ubfm x4, x4, 31, 30
    00540b74str x4, [sp+3312]
    00540b78str x13, [sp+6336]
    00540b7cstr x4, [sp+6328]
    00540b80str x13, [sp+360]
    00540b84str x4, [sp+368]
    00540b88str xzr, [sp+352]
    00540b8cstr xzr, [sp+344]
    00540b90ldr x4, [sp+3216]
    00540b94umulh x13, x4, x5
    00540b98str x13, [sp+3312]
    00540b9cmadd x4, x4, x5, xzr
    00540ba0str x4, [sp+3304]
    00540ba4str x13, [sp+6320]
    00540ba8str x4, [sp+6312]
    00540bacstr x13, [sp+344]
    00540bb0str x4, [sp+352]
    00540bb4str xzr, [sp+336]
    00540bb8str xzr, [sp+328]
    00540bbcldr x4, [sp+3216]
    00540bc0umulh x13, x4, x6
    00540bc4str x13, [sp+3304]
    00540bc8ubfm x4, x4, 31, 30
    00540bccstr x4, [sp+3312]
    00540bd0str x13, [sp+6304]
    00540bd4str x4, [sp+6296]
    00540bd8str x13, [sp+328]
    00540bdcstr x4, [sp+336]
    00540be0str xzr, [sp+320]
    00540be4str xzr, [sp+312]
    00540be8ldr x4, [sp+3216]
    00540becumulh x13, x4, x7
    00540bf0str x13, [sp+3312]
    00540bf4madd x4, x4, x7, xzr
    00540bf8str x4, [sp+3304]
    00540bfcstr x13, [sp+6288]
    00540c00str x4, [sp+6280]
    00540c04str x13, [sp+312]
    00540c08str x4, [sp+320]
    00540c0cstr xzr, [sp+304]
    00540c10str xzr, [sp+288]
    00540c14ldr x4, [sp+336]
    00540c18adds x14, x13, x4
    00540c1cadc x14, xzr, xzr
    00540c20adds x15, x13, x4
    00540c24str x15, [sp+3304]
    00540c28str x14, [sp+3312]
    00540c2cstr x15, [sp+6272]
    00540c30str x14, [sp+6264]
    00540c34str x15, [sp+304]
    00540c38str x14, [sp+288]
    00540c3cstr xzr, [sp+280]
    00540c40str xzr, [sp+272]
    00540c44ldr x14, [sp+352]
    00540c48ldr x15, [sp+328]
    00540c4cadds x16, x13, x4
    00540c50adcs x16, x15, x14
    00540c54adds x16, x13, x4
    00540c58adcs x16, x15, x14
    00540c5cstr x16, [sp+3312]
    00540c60adds x17, x13, x4
    00540c64adcs x17, x15, x14
    00540c68adc x17, xzr, xzr
    00540c6cstr x17, [sp+3304]
    00540c70str x16, [sp+6256]
    00540c74str x17, [sp+6248]
    00540c78str x16, [sp+280]
    00540c7cstr x17, [sp+272]
    00540c80str xzr, [sp+264]
    00540c84str xzr, [sp+256]
    00540c88ldr x16, [sp+368]
    00540c8cldr x17, [sp+344]
    00540c90adcs x19, x17, x16
    00540c94adds x19, x13, x4
    00540c98adcs x19, x15, x14
    00540c9cadcs x19, x17, x16
    00540ca0str x19, [sp+3304]
    00540ca4adds x20, x13, x4
    00540ca8adcs x20, x15, x14
    00540cacadcs x20, x17, x16
    00540cb0adc x20, xzr, xzr
    00540cb4str x20, [sp+3312]
    00540cb8str x19, [sp+6232]
    00540cbcstr x20, [sp+6224]
    00540cc0str x19, [sp+264]
    00540cc4str x20, [sp+256]
    00540cc8str xzr, [sp+248]
    00540cccstr xzr, [sp+240]
    00540cd0ldr x19, [sp+3216]
    00540cd4ldr x20, [sp+360]
    00540cd8adcs x21, x20, x19
    00540cdcadds x21, x13, x4
    00540ce0adcs x21, x15, x14
    00540ce4adcs x21, x17, x16
    00540ce8adcs x21, x20, x19
    00540cecstr x21, [sp+3312]
    00540cf0adds x4, x13, x4
    00540cf4adcs x4, x15, x14
    00540cf8adcs x4, x17, x16
    00540cfcadcs x4, x20, x19
    00540d00adc x4, xzr, xzr
    00540d04str x4, [sp+3304]
    00540d08str x21, [sp+6216]
    00540d0cstr x4, [sp+6208]
    00540d10str x21, [sp+248]
    00540d14str x4, [sp+240]
    00540d18str xzr, [sp+232]
    00540d1cstr xzr, [sp+224]
    00540d20ldr x4, [sp+320]
    00540d24ldr x13, [sp+480]
    00540d28adds x14, x13, x4
    00540d2cadc x14, xzr, xzr
    00540d30adds x15, x13, x4
    00540d34str x15, [sp+3304]
    00540d38str x14, [sp+3312]
    00540d3cstr x15, [sp+6200]
    00540d40str x14, [sp+6192]
    00540d44str x15, [sp+232]
    00540d48str x14, [sp+224]
    00540d4cstr xzr, [sp+216]
    00540d50str xzr, [sp+200]
    00540d54ldr x14, [sp+304]
    00540d58ldr x15, [sp+456]
    00540d5cadds x16, x13, x4
    00540d60adcs x16, x15, x14
    00540d64adds x16, x13, x4
    00540d68adcs x16, x15, x14
    00540d6cstr x16, [sp+3312]
    00540d70adds x17, x13, x4
    00540d74adcs x17, x15, x14
    00540d78adc x17, xzr, xzr
    00540d7cstr x17, [sp+3304]
    00540d80str x16, [sp+6176]
    00540d84str x17, [sp+6168]
    00540d88str x16, [sp+216]
    00540d8cstr x17, [sp+200]
    00540d90str xzr, [sp+192]
    00540d94str xzr, [sp+184]
    00540d98ldr x16, [sp+280]
    00540d9cldr x17, [sp+440]
    00540da0adcs x19, x17, x16
    00540da4adds x19, x13, x4
    00540da8adcs x19, x15, x14
    00540dacadcs x19, x17, x16
    00540db0str x19, [sp+3304]
    00540db4adds x20, x13, x4
    00540db8adcs x20, x15, x14
    00540dbcadcs x20, x17, x16
    00540dc0adc x20, xzr, xzr
    00540dc4str x20, [sp+3312]
    00540dc8str x19, [sp+6160]
    00540dccstr x20, [sp+6152]
    00540dd0str x19, [sp+192]
    00540dd4str x20, [sp+184]
    00540dd8str xzr, [sp+176]
    00540ddcstr xzr, [sp+168]
    00540de0ldr x19, [sp+264]
    00540de4ldr x20, [sp+424]
    00540de8adcs x21, x20, x19
    00540decadds x21, x13, x4
    00540df0adcs x21, x15, x14
    00540df4adcs x21, x17, x16
    00540df8adcs x21, x20, x19
    00540dfcstr x21, [sp+3312]
    00540e00adds x22, x13, x4
    00540e04adcs x22, x15, x14
    00540e08adcs x22, x17, x16
    00540e0cadcs x22, x20, x19
    00540e10adc x22, xzr, xzr
    00540e14str x22, [sp+3304]
    00540e18str x21, [sp+6144]
    00540e1cstr x22, [sp+6136]
    00540e20str x21, [sp+176]
    00540e24str x22, [sp+168]
    00540e28str xzr, [sp+160]
    00540e2cstr xzr, [sp+152]
    00540e30ldr x21, [sp+248]
    00540e34ldr x22, [sp+408]
    00540e38adcs x23, x22, x21
    00540e3cadds x23, x13, x4
    00540e40adcs x23, x15, x14
    00540e44adcs x23, x17, x16
    00540e48adcs x23, x20, x19
    00540e4cadcs x23, x22, x21
    00540e50str x23, [sp+3304]
    00540e54adds x24, x13, x4
    00540e58adcs x24, x15, x14
    00540e5cadcs x24, x17, x16
    00540e60adcs x24, x20, x19
    00540e64adcs x24, x22, x21
    00540e68adc x24, xzr, xzr
    00540e6cstr x24, [sp+3312]
    00540e70str x23, [sp+6128]
    00540e74str x24, [sp+6120]
    00540e78str x23, [sp+160]
    00540e7cstr x24, [sp+152]
    00540e80str xzr, [sp+144]
    00540e84str xzr, [sp+136]
    00540e88ldr x23, [sp+392]
    00540e8cldr x24, [sp+240]
    00540e90adcs x25, x23, x24
    00540e94adds x25, x13, x4
    00540e98adcs x25, x15, x14
    00540e9cadcs x25, x17, x16
    00540ea0adcs x25, x20, x19
    00540ea4adcs x25, x22, x21
    00540ea8adcs x25, x23, x24
    00540eacstr x25, [sp+3312]
    00540eb0adds x4, x13, x4
    00540eb4adcs x4, x15, x14
    00540eb8adcs x4, x17, x16
    00540ebcadcs x4, x20, x19
    00540ec0adcs x4, x22, x21
    00540ec4adcs x4, x23, x24
    00540ec8adc x4, xzr, xzr
    00540eccstr x4, [sp+3304]
    00540ed0str x25, [sp+6112]
    00540ed4str x4, [sp+6104]
    00540ed8str x25, [sp+144]
    00540edcstr x4, [sp+136]
    00540ee0str xzr, [sp+128]
    00540ee4ldr x4, [sp+232]
    00540ee8add x13, x4, x4, lsl #32
    00540eecumulh x4, x4, x9
    00540ef0str x4, [sp+3304]
    00540ef4str x13, [sp+3312]
    00540ef8str x4, [sp+6096]
    00540efcstr x13, [sp+6088]
    00540f00str x13, [sp+128]
    00540f04str xzr, [sp+112]
    00540f08str xzr, [sp+104]
    00540f0csub x4, xzr, x13
    00540f10umulh x13, x13, x10
    00540f14str x13, [sp+3312]
    00540f18str x4, [sp+3304]
    00540f1cstr x13, [sp+6080]
    00540f20str x4, [sp+6072]
    00540f24str x13, [sp+104]
    00540f28str x4, [sp+112]
    00540f2cstr xzr, [sp+96]
    00540f30str xzr, [sp+88]
    00540f34ldr x4, [sp+128]
    00540f38umulh x13, x4, x10
    00540f3cstr x13, [sp+3304]
    00540f40sub x4, xzr, x4
    00540f44str x4, [sp+3312]
    00540f48str x13, [sp+6064]
    00540f4cstr x4, [sp+6048]
    00540f50str x13, [sp+88]
    00540f54str x4, [sp+96]
    00540f58str xzr, [sp+80]
    00540f5cstr xzr, [sp+72]
    00540f60ldr x4, [sp+128]
    00540f64umulh x13, x4, x10
    00540f68str x13, [sp+3312]
    00540f6csub x4, xzr, x4
    00540f70str x4, [sp+3304]
    00540f74str x13, [sp+6040]
    00540f78str x4, [sp+6032]
    00540f7cstr x13, [sp+72]
    00540f80str x4, [sp+80]
    00540f84str xzr, [sp+64]
    00540f88str xzr, [sp+56]
    00540f8cldr x4, [sp+128]
    00540f90umulh x13, x4, x8
    00540f94str x13, [sp+3304]
    00540f98madd x4, x4, x8, xzr
    00540f9cstr x4, [sp+3312]
    00540fa0str x13, [sp+6024]
    00540fa4str x4, [sp+6016]
    00540fa8str x13, [sp+56]
    00540facstr x4, [sp+64]
    00540fb0str xzr, [sp+48]
    00540fb4str xzr, [sp+3200]
    00540fb8ldr x4, [sp+128]
    00540fbcumulh x13, x4, x11
    00540fc0str x13, [sp+3312]
    00540fc4madd x4, x4, x11, xzr
    00540fc8str x4, [sp+3304]
    00540fccstr x13, [sp+6000]
    00540fd0str x4, [sp+5992]
    00540fd4str x13, [sp+3200]
    00540fd8str x4, [sp+48]
    00540fdcstr xzr, [sp+3192]
    00540fe0str xzr, [sp+3184]
    00540fe4ldr x4, [sp+128]
    00540fe8umulh x13, x4, x12
    00540fecstr x13, [sp+3304]
    00540ff0sub x14, xzr, x4
    00540ff4add x4, x14, x4, lsl #32
    00540ff8str x4, [sp+3312]
    00540ffcstr x13, [sp+5984]
    00541000str x4, [sp+5976]
    00541004str x13, [sp+3184]
    00541008str x4, [sp+3192]
    0054100cstr xzr, [sp+3176]
    00541010str xzr, [sp+3168]
    00541014ldr x4, [sp+48]
    00541018adds x14, x13, x4
    0054101cadc x14, xzr, xzr
    00541020adds x15, x13, x4
    00541024str x15, [sp+3312]
    00541028str x14, [sp+3304]
    0054102cstr x15, [sp+5968]
    00541030str x14, [sp+5960]
    00541034str x15, [sp+3176]
    00541038str x14, [sp+3168]
    0054103cstr xzr, [sp+3160]
    00541040str xzr, [sp+3152]
    00541044ldr x14, [sp+64]
    00541048ldr x15, [sp+3200]
    0054104cadds x16, x13, x4
    00541050adcs x16, x15, x14
    00541054adds x16, x13, x4
    00541058adcs x16, x15, x14
    0054105cstr x16, [sp+3304]
    00541060adds x17, x13, x4
    00541064adcs x17, x15, x14
    00541068adc x17, xzr, xzr
    0054106cstr x17, [sp+3312]
    00541070str x16, [sp+5952]
    00541074str x17, [sp+5944]
    00541078str x16, [sp+3160]
    0054107cstr x17, [sp+3152]
    00541080str xzr, [sp+3144]
    00541084str xzr, [sp+3136]
    00541088ldr x16, [sp+80]
    0054108cldr x17, [sp+56]
    00541090adcs x19, x17, x16
    00541094adds x19, x13, x4
    00541098adcs x19, x15, x14
    0054109cadcs x19, x17, x16
    005410a0str x19, [sp+3312]
    005410a4adds x20, x13, x4
    005410a8adcs x20, x15, x14
    005410acadcs x20, x17, x16
    005410b0adc x20, xzr, xzr
    005410b4str x20, [sp+3304]
    005410b8str x19, [sp+5936]
    005410bcstr x20, [sp+5928]
    005410c0str x19, [sp+3144]
    005410c4str x20, [sp+3136]
    005410c8str xzr, [sp+3128]
    005410ccstr xzr, [sp+3112]
    005410d0ldr x19, [sp+96]
    005410d4ldr x20, [sp+72]
    005410d8adcs x21, x20, x19
    005410dcadds x21, x13, x4
    005410e0adcs x21, x15, x14
    005410e4adcs x21, x17, x16
    005410e8adcs x21, x20, x19
    005410ecstr x21, [sp+3304]
    005410f0adds x22, x13, x4
    005410f4adcs x22, x15, x14
    005410f8adcs x22, x17, x16
    005410fcadcs x22, x20, x19
    00541100adc x22, xzr, xzr
    00541104str x22, [sp+3312]
    00541108str x21, [sp+5920]
    0054110cstr x22, [sp+5912]
    00541110str x21, [sp+3128]
    00541114str x22, [sp+3112]
    00541118str xzr, [sp+3104]
    0054111cstr xzr, [sp+3096]
    00541120ldr x21, [sp+112]
    00541124ldr x22, [sp+88]
    00541128adcs x23, x22, x21
    0054112cadds x23, x13, x4
    00541130adcs x23, x15, x14
    00541134adcs x23, x17, x16
    00541138adcs x23, x20, x19
    0054113cadcs x23, x22, x21
    00541140str x23, [sp+3312]
    00541144adds x4, x13, x4
    00541148adcs x4, x15, x14
    0054114cadcs x4, x17, x16
    00541150adcs x4, x20, x19
    00541154adcs x4, x22, x21
    00541158adc x4, xzr, xzr
    0054115cstr x4, [sp+3304]
    00541160str x23, [sp+5904]
    00541164str x4, [sp+5896]
    00541168str x23, [sp+3104]
    0054116cstr x4, [sp+3096]
    00541170str xzr, [sp+3088]
    00541174ldr x4, [sp+3192]
    00541178ldr x13, [sp+232]
    0054117cadds x14, x13, x4
    00541180adc x14, xzr, xzr
    00541184adds x15, x13, x4
    00541188str x15, [sp+3304]
    0054118cstr x14, [sp+3312]
    00541190str x15, [sp+5888]
    00541194str x14, [sp+5880]
    00541198str x14, [sp+3088]
    0054119cstr xzr, [sp+3080]
    005411a0str xzr, [sp+3072]
    005411a4ldr x14, [sp+3176]
    005411a8ldr x15, [sp+216]
    005411acadds x16, x13, x4
    005411b0adcs x16, x15, x14
    005411b4adds x16, x13, x4
    005411b8adcs x16, x15, x14
    005411bcstr x16, [sp+3312]
    005411c0adds x17, x13, x4
    005411c4adcs x17, x15, x14
    005411c8adc x17, xzr, xzr
    005411ccstr x17, [sp+3304]
    005411d0str x16, [sp+5864]
    005411d4str x17, [sp+5856]
    005411d8str x16, [sp+3080]
    005411dcstr x17, [sp+3072]
    005411e0str xzr, [sp+3064]
    005411e4str xzr, [sp+3056]
    005411e8ldr x16, [sp+3160]
    005411ecldr x17, [sp+192]
    005411f0adcs x19, x17, x16
    005411f4adds x19, x13, x4
    005411f8adcs x19, x15, x14
    005411fcadcs x19, x17, x16
    00541200str x19, [sp+3304]
    00541204adds x20, x13, x4
    00541208adcs x20, x15, x14
    0054120cadcs x20, x17, x16
    00541210adc x20, xzr, xzr
    00541214str x20, [sp+3312]
    00541218str x19, [sp+5848]
    0054121cstr x20, [sp+5840]
    00541220str x19, [sp+3064]
    00541224str x20, [sp+3056]
    00541228str xzr, [sp+3048]
    0054122cstr xzr, [sp+3032]
    00541230ldr x19, [sp+3144]
    00541234ldr x20, [sp+176]
    00541238adcs x21, x20, x19
    0054123cadds x21, x13, x4
    00541240adcs x21, x15, x14
    00541244adcs x21, x17, x16
    00541248adcs x21, x20, x19
    0054124cstr x21, [sp+3312]
    00541250adds x22, x13, x4
    00541254adcs x22, x15, x14
    00541258adcs x22, x17, x16
    0054125cadcs x22, x20, x19
    00541260adc x22, xzr, xzr
    00541264str x22, [sp+3304]
    00541268str x21, [sp+5824]
    0054126cstr x22, [sp+5816]
    00541270str x21, [sp+3048]
    00541274str x22, [sp+3032]
    00541278str xzr, [sp+3024]
    0054127cstr xzr, [sp+3016]
    00541280ldr x21, [sp+3128]
    00541284ldr x22, [sp+160]
    00541288adcs x23, x22, x21
    0054128cadds x23, x13, x4
    00541290adcs x23, x15, x14
    00541294adcs x23, x17, x16
    00541298adcs x23, x20, x19
    0054129cadcs x23, x22, x21
    005412a0str x23, [sp+3304]
    005412a4adds x24, x13, x4
    005412a8adcs x24, x15, x14
    005412acadcs x24, x17, x16
    005412b0adcs x24, x20, x19
    005412b4adcs x24, x22, x21
    005412b8adc x24, xzr, xzr
    005412bcstr x24, [sp+3312]
    005412c0str x23, [sp+5808]
    005412c4str x24, [sp+5800]
    005412c8str x23, [sp+3024]
    005412ccstr x24, [sp+3016]
    005412d0str xzr, [sp+3008]
    005412d4str xzr, [sp+3000]
    005412d8ldr x23, [sp+3104]
    005412dcldr x24, [sp+144]
    005412e0adcs x25, x24, x23
    005412e4adds x25, x13, x4
    005412e8adcs x25, x15, x14
    005412ecadcs x25, x17, x16
    005412f0adcs x25, x20, x19
    005412f4adcs x25, x22, x21
    005412f8adcs x25, x24, x23
    005412fcstr x25, [sp+3312]
    00541300adds x30, x13, x4
    00541304adcs x30, x15, x14
    00541308adcs x30, x17, x16
    0054130cadcs x30, x20, x19
    00541310adcs x30, x22, x21
    00541314adcs x30, x24, x23
    00541318adc x30, xzr, xzr
    0054131cstr x30, [sp+3304]
    00541320str x25, [sp+5792]
    00541324str x30, [sp+5784]
    00541328str x25, [sp+3008]
    0054132cstr x30, [sp+3000]
    00541330str xzr, [sp+2992]
    00541334str xzr, [sp+2984]
    00541338ldr x25, [sp+136]
    0054133cldr x30, [sp+376]
    00541340add x25, x25, x30
    00541344ldr x30, [sp+3096]
    00541348ldr x0, [sp+104]
    0054134cadd x30, x30, x0
    00541350adcs x0, x25, x30
    00541354adds x0, x13, x4
    00541358adcs x0, x15, x14
    0054135cadcs x0, x17, x16
    00541360adcs x0, x20, x19
    00541364adcs x0, x22, x21
    00541368adcs x0, x24, x23
    0054136cadcs x0, x25, x30
    00541370str x0, [sp+3304]
    00541374adds x4, x13, x4
    00541378adcs x4, x15, x14
    0054137cadcs x4, x17, x16
    00541380adcs x4, x20, x19
    00541384adcs x4, x22, x21
    00541388adcs x4, x24, x23
    0054138cadcs x4, x25, x30
    00541390adc x4, xzr, xzr
    00541394str x4, [sp+3312]
    00541398str x0, [sp+5776]
    0054139cstr x4, [sp+5768]
    005413a0str x0, [sp+2992]
    005413a4str x4, [sp+2984]
    005413a8str xzr, [sp+2976]
    005413acstr xzr, [sp+2968]
    005413b0ldr x4, [sp+2352]
    005413b4umulh x13, x4, x6
    005413b8str x13, [sp+3312]
    005413bcubfm x4, x4, 31, 30
    005413c0str x4, [sp+3304]
    005413c4str x13, [sp+5760]
    005413c8str x4, [sp+5752]
    005413ccstr x13, [sp+2968]
    005413d0str x4, [sp+2976]
    005413d4str xzr, [sp+2960]
    005413d8str xzr, [sp+2944]
    005413dcldr x4, [sp+2352]
    005413e0umulh x13, x4, x5
    005413e4str x13, [sp+3304]
    005413e8madd x4, x4, x5, xzr
    005413ecstr x4, [sp+3312]
    005413f0str x13, [sp+5744]
    005413f4str x4, [sp+5736]
    005413f8str x13, [sp+2944]
    005413fcstr x4, [sp+2960]
    00541400str xzr, [sp+2936]
    00541404str xzr, [sp+2928]
    00541408ldr x4, [sp+2352]
    0054140cumulh x13, x4, x6
    00541410str x13, [sp+3312]
    00541414ubfm x4, x4, 31, 30
    00541418str x4, [sp+3304]
    0054141cstr x13, [sp+5728]
    00541420str x4, [sp+5720]
    00541424str x13, [sp+2928]
    00541428str x4, [sp+2936]
    0054142cstr xzr, [sp+2920]
    00541430str xzr, [sp+2912]
    00541434ldr x4, [sp+2352]
    00541438umulh x13, x4, x7
    0054143cstr x13, [sp+3304]
    00541440madd x4, x4, x7, xzr
    00541444str x4, [sp+3312]
    00541448str x13, [sp+5712]
    0054144cstr x4, [sp+5704]
    00541450str x13, [sp+2912]
    00541454str x4, [sp+2920]
    00541458str xzr, [sp+2904]
    0054145cstr xzr, [sp+2896]
    00541460ldr x4, [sp+2936]
    00541464adds x14, x13, x4
    00541468adc x14, xzr, xzr
    0054146cadds x15, x13, x4
    00541470str x15, [sp+3312]
    00541474str x14, [sp+3304]
    00541478str x15, [sp+5688]
    0054147cstr x14, [sp+5680]
    00541480str x15, [sp+2904]
    00541484str x14, [sp+2896]
    00541488str xzr, [sp+2888]
    0054148cstr xzr, [sp+2880]
    00541490ldr x14, [sp+2960]
    00541494ldr x15, [sp+2928]
    00541498adds x16, x13, x4
    0054149cadcs x16, x15, x14
    005414a0adds x16, x13, x4
    005414a4adcs x16, x15, x14
    005414a8str x16, [sp+3304]
    005414acadds x17, x13, x4
    005414b0adcs x17, x15, x14
    005414b4adc x17, xzr, xzr
    005414b8str x17, [sp+3312]
    005414bcstr x16, [sp+5672]
    005414c0str x17, [sp+5664]
    005414c4str x16, [sp+2888]
    005414c8str x17, [sp+2880]
    005414ccstr xzr, [sp+2872]
    005414d0str xzr, [sp+2856]
    005414d4ldr x16, [sp+2976]
    005414d8ldr x17, [sp+2944]
    005414dcadcs x19, x17, x16
    005414e0adds x19, x13, x4
    005414e4adcs x19, x15, x14
    005414e8adcs x19, x17, x16
    005414ecstr x19, [sp+3312]
    005414f0adds x20, x13, x4
    005414f4adcs x20, x15, x14
    005414f8adcs x20, x17, x16
    005414fcadc x20, xzr, xzr
    00541500str x20, [sp+3304]
    00541504str x19, [sp+5648]
    00541508str x20, [sp+5640]
    0054150cstr x19, [sp+2872]
    00541510str x20, [sp+2856]
    00541514str xzr, [sp+2848]
    00541518str xzr, [sp+2840]
    0054151cldr x19, [sp+2352]
    00541520ldr x20, [sp+2968]
    00541524adcs x21, x20, x19
    00541528adds x21, x13, x4
    0054152cadcs x21, x15, x14
    00541530adcs x21, x17, x16
    00541534adcs x21, x20, x19
    00541538str x21, [sp+3304]
    0054153cadds x4, x13, x4
    00541540adcs x4, x15, x14
    00541544adcs x4, x17, x16
    00541548adcs x4, x20, x19
    0054154cadc x4, xzr, xzr
    00541550str x4, [sp+3312]
    00541554str x21, [sp+5632]
    00541558str x4, [sp+5624]
    0054155cstr x21, [sp+2848]
    00541560str x4, [sp+2840]
    00541564str xzr, [sp+2832]
    00541568str xzr, [sp+2824]
    0054156cldr x4, [sp+2920]
    00541570ldr x13, [sp+3080]
    00541574adds x14, x13, x4
    00541578adc x14, xzr, xzr
    0054157cadds x15, x13, x4
    00541580str x15, [sp+3312]
    00541584str x14, [sp+3304]
    00541588str x15, [sp+5616]
    0054158cstr x14, [sp+5608]
    00541590str x15, [sp+2832]
    00541594str x14, [sp+2824]
    00541598str xzr, [sp+2816]
    0054159cstr xzr, [sp+2808]
    005415a0ldr x14, [sp+2904]
    005415a4ldr x15, [sp+3064]
    005415a8adds x16, x13, x4
    005415acadcs x16, x15, x14
    005415b0adds x16, x13, x4
    005415b4adcs x16, x15, x14
    005415b8str x16, [sp+3304]
    005415bcadds x17, x13, x4
    005415c0adcs x17, x15, x14
    005415c4adc x17, xzr, xzr
    005415c8str x17, [sp+3312]
    005415ccstr x16, [sp+5600]
    005415d0str x17, [sp+5592]
    005415d4str x16, [sp+2816]
    005415d8str x17, [sp+2808]
    005415dcstr xzr, [sp+2800]
    005415e0str xzr, [sp+2792]
    005415e4ldr x16, [sp+2888]
    005415e8ldr x17, [sp+3048]
    005415ecadcs x19, x17, x16
    005415f0adds x19, x13, x4
    005415f4adcs x19, x15, x14
    005415f8adcs x19, x17, x16
    005415fcstr x19, [sp+3312]
    00541600adds x20, x13, x4
    00541604adcs x20, x15, x14
    00541608adcs x20, x17, x16
    0054160cadc x20, xzr, xzr
    00541610str x20, [sp+3304]
    00541614str x19, [sp+5584]
    00541618str x20, [sp+5576]
    0054161cstr x19, [sp+2800]
    00541620str x20, [sp+2792]
    00541624str xzr, [sp+2784]
    00541628str xzr, [sp+2768]
    0054162cldr x19, [sp+2872]
    00541630ldr x20, [sp+3024]
    00541634adcs x21, x20, x19
    00541638adds x21, x13, x4
    0054163cadcs x21, x15, x14
    00541640adcs x21, x17, x16
    00541644adcs x21, x20, x19
    00541648str x21, [sp+3304]
    0054164cadds x22, x13, x4
    00541650adcs x22, x15, x14
    00541654adcs x22, x17, x16
    00541658adcs x22, x20, x19
    0054165cadc x22, xzr, xzr
    00541660str x22, [sp+3312]
    00541664str x21, [sp+5568]
    00541668str x22, [sp+5560]
    0054166cstr x21, [sp+2784]
    00541670str x22, [sp+2768]
    00541674str xzr, [sp+2760]
    00541678str xzr, [sp+2752]
    0054167cldr x21, [sp+2848]
    00541680ldr x22, [sp+3008]
    00541684adcs x23, x22, x21
    00541688adds x23, x13, x4
    0054168cadcs x23, x15, x14
    00541690adcs x23, x17, x16
    00541694adcs x23, x20, x19
    00541698adcs x23, x22, x21
    0054169cstr x23, [sp+3312]
    005416a0adds x24, x13, x4
    005416a4adcs x24, x15, x14
    005416a8adcs x24, x17, x16
    005416acadcs x24, x20, x19
    005416b0adcs x24, x22, x21
    005416b4adc x24, xzr, xzr
    005416b8str x24, [sp+3304]
    005416bcstr x23, [sp+5552]
    005416c0str x24, [sp+5544]
    005416c4str x23, [sp+2760]
    005416c8str x24, [sp+2752]
    005416ccstr xzr, [sp+2744]
    005416d0str xzr, [sp+2736]
    005416d4ldr x23, [sp+2992]
    005416d8ldr x24, [sp+2840]
    005416dcadcs x25, x23, x24
    005416e0adds x25, x13, x4
    005416e4adcs x25, x15, x14
    005416e8adcs x25, x17, x16
    005416ecadcs x25, x20, x19
    005416f0adcs x25, x22, x21
    005416f4adcs x25, x23, x24
    005416f8str x25, [sp+3304]
    005416fcadds x4, x13, x4
    00541700adcs x4, x15, x14
    00541704adcs x4, x17, x16
    00541708adcs x4, x20, x19
    0054170cadcs x4, x22, x21
    00541710adcs x4, x23, x24
    00541714adc x4, xzr, xzr
    00541718str x4, [sp+3312]
    0054171cstr x25, [sp+5536]
    00541720str x4, [sp+5528]
    00541724str x25, [sp+2744]
    00541728str x4, [sp+2736]
    0054172cstr xzr, [sp+2728]
    00541730ldr x4, [sp+2832]
    00541734add x13, x4, x4, lsl #32
    00541738umulh x4, x4, x9
    0054173cstr x4, [sp+3312]
    00541740str x13, [sp+3304]
    00541744str x4, [sp+5512]
    00541748str x13, [sp+5504]
    0054174cstr x13, [sp+2728]
    00541750str xzr, [sp+2720]
    00541754str xzr, [sp+2712]
    00541758sub x4, xzr, x13
    0054175cumulh x13, x13, x10
    00541760str x13, [sp+3304]
    00541764str x4, [sp+3312]
    00541768str x13, [sp+5496]
    0054176cstr x4, [sp+5488]
    00541770str x13, [sp+2712]
    00541774str x4, [sp+2720]
    00541778str xzr, [sp+2704]
    0054177cstr xzr, [sp+2688]
    00541780ldr x4, [sp+2728]
    00541784umulh x13, x4, x10
    00541788str x13, [sp+3312]
    0054178csub x4, xzr, x4
    00541790str x4, [sp+3304]
    00541794str x13, [sp+5480]
    00541798str x4, [sp+5464]
    0054179cstr x13, [sp+2688]
    005417a0str x4, [sp+2704]
    005417a4str xzr, [sp+2680]
    005417a8str xzr, [sp+2672]
    005417acldr x4, [sp+2728]
    005417b0umulh x13, x4, x10
    005417b4str x13, [sp+3304]
    005417b8sub x4, xzr, x4
    005417bcstr x4, [sp+3312]
    005417c0str x13, [sp+5456]
    005417c4str x4, [sp+5448]
    005417c8str x13, [sp+2672]
    005417ccstr x4, [sp+2680]
    005417d0str xzr, [sp+2664]
    005417d4str xzr, [sp+2656]
    005417d8ldr x4, [sp+2728]
    005417dcumulh x13, x4, x8
    005417e0str x13, [sp+3312]
    005417e4madd x4, x4, x8, xzr
    005417e8str x4, [sp+3304]
    005417ecstr x13, [sp+5440]
    005417f0str x4, [sp+5432]
    005417f4str x13, [sp+2656]
    005417f8str x4, [sp+2664]
    005417fcstr xzr, [sp+2648]
    00541800str xzr, [sp+2640]
    00541804ldr x4, [sp+2728]
    00541808umulh x13, x4, x11
    0054180cstr x13, [sp+3304]
    00541810madd x4, x4, x11, xzr
    00541814str x4, [sp+3312]
    00541818str x13, [sp+5424]
    0054181cstr x4, [sp+5416]
    00541820str x13, [sp+2640]
    00541824str x4, [sp+2648]
    00541828str xzr, [sp+2632]
    0054182cstr xzr, [sp+2624]
    00541830ldr x4, [sp+2728]
    00541834umulh x13, x4, x12
    00541838str x13, [sp+3312]
    0054183csub x14, xzr, x4
    00541840add x4, x14, x4, lsl #32
    00541844str x4, [sp+3304]
    00541848str x13, [sp+5408]
    0054184cstr x4, [sp+5400]
    00541850str x13, [sp+2624]
    00541854str x4, [sp+2632]
    00541858str xzr, [sp+2616]
    0054185cstr xzr, [sp+2600]
    00541860ldr x4, [sp+2648]
    00541864adds x14, x13, x4
    00541868adc x14, xzr, xzr
    0054186cadds x15, x13, x4
    00541870str x15, [sp+3304]
    00541874str x14, [sp+3312]
    00541878str x15, [sp+5392]
    0054187cstr x14, [sp+5384]
    00541880str x15, [sp+2616]
    00541884str x14, [sp+2600]
    00541888str xzr, [sp+2592]
    0054188cstr xzr, [sp+2584]
    00541890ldr x14, [sp+2664]
    00541894ldr x15, [sp+2640]
    00541898adds x16, x13, x4
    0054189cadcs x16, x15, x14
    005418a0adds x16, x13, x4
    005418a4adcs x16, x15, x14
    005418a8str x16, [sp+3312]
    005418acadds x17, x13, x4
    005418b0adcs x17, x15, x14
    005418b4adc x17, xzr, xzr
    005418b8str x17, [sp+3304]
    005418bcstr x16, [sp+5376]
    005418c0str x17, [sp+5368]
    005418c4str x16, [sp+2592]
    005418c8str x17, [sp+2584]
    005418ccstr xzr, [sp+2576]
    005418d0str xzr, [sp+2568]
    005418d4ldr x16, [sp+2680]
    005418d8ldr x17, [sp+2656]
    005418dcadcs x19, x17, x16
    005418e0adds x19, x13, x4
    005418e4adcs x19, x15, x14
    005418e8adcs x19, x17, x16
    005418ecstr x19, [sp+3304]
    005418f0adds x20, x13, x4
    005418f4adcs x20, x15, x14
    005418f8adcs x20, x17, x16
    005418fcadc x20, xzr, xzr
    00541900str x20, [sp+3312]
    00541904str x19, [sp+5360]
    00541908str x20, [sp+5352]
    0054190cstr x19, [sp+2576]
    00541910str x20, [sp+2568]
    00541914str xzr, [sp+2560]
    00541918str xzr, [sp+2552]
    0054191cldr x19, [sp+2704]
    00541920ldr x20, [sp+2672]
    00541924adcs x21, x20, x19
    00541928adds x21, x13, x4
    0054192cadcs x21, x15, x14
    00541930adcs x21, x17, x16
    00541934adcs x21, x20, x19
    00541938str x21, [sp+3312]
    0054193cadds x22, x13, x4
    00541940adcs x22, x15, x14
    00541944adcs x22, x17, x16
    00541948adcs x22, x20, x19
    0054194cadc x22, xzr, xzr
    00541950str x22, [sp+3304]
    00541954str x21, [sp+5336]
    00541958str x22, [sp+5328]
    0054195cstr x21, [sp+2560]
    00541960str x22, [sp+2552]
    00541964str xzr, [sp+2544]
    00541968str xzr, [sp+2536]
    0054196cldr x21, [sp+2720]
    00541970ldr x22, [sp+2688]
    00541974adcs x23, x22, x21
    00541978adds x23, x13, x4
    0054197cadcs x23, x15, x14
    00541980adcs x23, x17, x16
    00541984adcs x23, x20, x19
    00541988adcs x23, x22, x21
    0054198cstr x23, [sp+3304]
    00541990adds x4, x13, x4
    00541994adcs x4, x15, x14
    00541998adcs x4, x17, x16
    0054199cadcs x4, x20, x19
    005419a0adcs x4, x22, x21
    005419a4adc x4, xzr, xzr
    005419a8str x4, [sp+3312]
    005419acstr x23, [sp+5320]
    005419b0str x4, [sp+5312]
    005419b4str x23, [sp+2544]
    005419b8str x4, [sp+2536]
    005419bcstr xzr, [sp+2520]
    005419c0ldr x4, [sp+2632]
    005419c4ldr x13, [sp+2832]
    005419c8adds x14, x13, x4
    005419ccadc x14, xzr, xzr
    005419d0adds x15, x13, x4
    005419d4str x15, [sp+3312]
    005419d8str x14, [sp+3304]
    005419dcstr x15, [sp+5304]
    005419e0str x14, [sp+5296]
    005419e4str x14, [sp+2520]
    005419e8str xzr, [sp+2512]
    005419ecstr xzr, [sp+2504]
    005419f0ldr x14, [sp+2616]
    005419f4ldr x15, [sp+2816]
    005419f8adds x16, x13, x4
    005419fcadcs x16, x15, x14
    00541a00adds x16, x13, x4
    00541a04adcs x16, x15, x14
    00541a08str x16, [sp+3304]
    00541a0cadds x17, x13, x4
    00541a10adcs x17, x15, x14
    00541a14adc x17, xzr, xzr
    00541a18str x17, [sp+3312]
    00541a1cstr x16, [sp+5280]
    00541a20str x17, [sp+5272]
    00541a24str x16, [sp+2512]
    00541a28str x17, [sp+2504]
    00541a2cstr xzr, [sp+2496]
    00541a30str xzr, [sp+2488]
    00541a34ldr x16, [sp+2592]
    00541a38ldr x17, [sp+2800]
    00541a3cadcs x19, x17, x16
    00541a40adds x19, x13, x4
    00541a44adcs x19, x15, x14
    00541a48adcs x19, x17, x16
    00541a4cstr x19, [sp+3312]
    00541a50adds x20, x13, x4
    00541a54adcs x20, x15, x14
    00541a58adcs x20, x17, x16
    00541a5cadc x20, xzr, xzr
    00541a60str x20, [sp+3304]
    00541a64str x19, [sp+5264]
    00541a68str x20, [sp+5256]
    00541a6cstr x19, [sp+2496]
    00541a70str x20, [sp+2488]
    00541a74str xzr, [sp+2480]
    00541a78str xzr, [sp+2472]
    00541a7cldr x19, [sp+2576]
    00541a80ldr x20, [sp+2784]
    00541a84adcs x21, x20, x19
    00541a88adds x21, x13, x4
    00541a8cadcs x21, x15, x14
    00541a90adcs x21, x17, x16
    00541a94adcs x21, x20, x19
    00541a98str x21, [sp+3304]
    00541a9cadds x22, x13, x4
    00541aa0adcs x22, x15, x14
    00541aa4adcs x22, x17, x16
    00541aa8adcs x22, x20, x19
    00541aacadc x22, xzr, xzr
    00541ab0str x22, [sp+3312]
    00541ab4str x21, [sp+5248]
    00541ab8str x22, [sp+5240]
    00541abcstr x21, [sp+2480]
    00541ac0str x22, [sp+2472]
    00541ac4str xzr, [sp+2464]
    00541ac8str xzr, [sp+2456]
    00541accldr x21, [sp+2560]
    00541ad0ldr x22, [sp+2760]
    00541ad4adcs x23, x22, x21
    00541ad8adds x23, x13, x4
    00541adcadcs x23, x15, x14
    00541ae0adcs x23, x17, x16
    00541ae4adcs x23, x20, x19
    00541ae8adcs x23, x22, x21
    00541aecstr x23, [sp+3312]
    00541af0adds x24, x13, x4
    00541af4adcs x24, x15, x14
    00541af8adcs x24, x17, x16
    00541afcadcs x24, x20, x19
    00541b00adcs x24, x22, x21
    00541b04adc x24, xzr, xzr
    00541b08str x24, [sp+3304]
    00541b0cstr x23, [sp+5232]
    00541b10str x24, [sp+5224]
    00541b14str x23, [sp+2464]
    00541b18str x24, [sp+2456]
    00541b1cstr xzr, [sp+2448]
    00541b20str xzr, [sp+2432]
    00541b24ldr x23, [sp+2544]
    00541b28ldr x24, [sp+2744]
    00541b2cadcs x25, x24, x23
    00541b30adds x25, x13, x4
    00541b34adcs x25, x15, x14
    00541b38adcs x25, x17, x16
    00541b3cadcs x25, x20, x19
    00541b40adcs x25, x22, x21
    00541b44adcs x25, x24, x23
    00541b48str x25, [sp+3304]
    00541b4cadds x30, x13, x4
    00541b50adcs x30, x15, x14
    00541b54adcs x30, x17, x16
    00541b58adcs x30, x20, x19
    00541b5cadcs x30, x22, x21
    00541b60adcs x30, x24, x23
    00541b64adc x30, xzr, xzr
    00541b68str x30, [sp+3312]
    00541b6cstr x25, [sp+5216]
    00541b70str x30, [sp+5208]
    00541b74str x25, [sp+2448]
    00541b78str x30, [sp+2432]
    00541b7cstr xzr, [sp+2424]
    00541b80str xzr, [sp+2416]
    00541b84ldr x25, [sp+2736]
    00541b88ldr x30, [sp+2984]
    00541b8cadd x25, x25, x30
    00541b90ldr x30, [sp+2536]
    00541b94ldr x0, [sp+2712]
    00541b98add x30, x30, x0
    00541b9cadcs x0, x25, x30
    00541ba0adds x0, x13, x4
    00541ba4adcs x0, x15, x14
    00541ba8adcs x0, x17, x16
    00541bacadcs x0, x20, x19
    00541bb0adcs x0, x22, x21
    00541bb4adcs x0, x24, x23
    00541bb8adcs x0, x25, x30
    00541bbcstr x0, [sp+3312]
    00541bc0adds x4, x13, x4
    00541bc4adcs x4, x15, x14
    00541bc8adcs x4, x17, x16
    00541bccadcs x4, x20, x19
    00541bd0adcs x4, x22, x21
    00541bd4adcs x4, x24, x23
    00541bd8adcs x4, x25, x30
    00541bdcadc x4, xzr, xzr
    00541be0str x4, [sp+3304]
    00541be4str x0, [sp+5200]
    00541be8str x4, [sp+5192]
    00541becstr x0, [sp+2424]
    00541bf0str x4, [sp+2416]
    00541bf4str xzr, [sp+2408]
    00541bf8str xzr, [sp+2400]
    00541bfcldr x4, [sp+1496]
    00541c00umulh x13, x4, x6
    00541c04str x13, [sp+3304]
    00541c08ubfm x4, x4, 31, 30
    00541c0cstr x4, [sp+3312]
    00541c10str x13, [sp+5184]
    00541c14str x4, [sp+5176]
    00541c18str x13, [sp+2400]
    00541c1cstr x4, [sp+2408]
    00541c20str xzr, [sp+2392]
    00541c24str xzr, [sp+2384]
    00541c28ldr x4, [sp+1496]
    00541c2cumulh x13, x4, x5
    00541c30str x13, [sp+3312]
    00541c34madd x4, x4, x5, xzr
    00541c38str x4, [sp+3304]
    00541c3cstr x13, [sp+5160]
    00541c40str x4, [sp+5152]
    00541c44str x13, [sp+2384]
    00541c48str x4, [sp+2392]
    00541c4cstr xzr, [sp+2376]
    00541c50str xzr, [sp+2368]
    00541c54ldr x4, [sp+1496]
    00541c58umulh x13, x4, x6
    00541c5cstr x13, [sp+3304]
    00541c60ubfm x4, x4, 31, 30
    00541c64str x4, [sp+3312]
    00541c68str x13, [sp+5144]
    00541c6cstr x4, [sp+5136]
    00541c70str x13, [sp+2368]
    00541c74str x4, [sp+2376]
    00541c78str xzr, [sp+2360]
    00541c7cstr xzr, [sp+2336]
    00541c80ldr x4, [sp+1496]
    00541c84umulh x13, x4, x7
    00541c88str x13, [sp+3312]
    00541c8cmadd x4, x4, x7, xzr
    00541c90str x4, [sp+3304]
    00541c94str x13, [sp+5128]
    00541c98str x4, [sp+5120]
    00541c9cstr x13, [sp+2336]
    00541ca0str x4, [sp+2360]
    00541ca4str xzr, [sp+2328]
    00541ca8str xzr, [sp+2320]
    00541cacldr x4, [sp+2376]
    00541cb0adds x14, x13, x4
    00541cb4adc x14, xzr, xzr
    00541cb8adds x15, x13, x4
    00541cbcstr x15, [sp+3304]
    00541cc0str x14, [sp+3312]
    00541cc4str x15, [sp+5104]
    00541cc8str x14, [sp+5096]
    00541cccstr x15, [sp+2328]
    00541cd0str x14, [sp+2320]
    00541cd4str xzr, [sp+2312]
    00541cd8str xzr, [sp+2304]
    00541cdcldr x14, [sp+2392]
    00541ce0ldr x15, [sp+2368]
    00541ce4adds x16, x13, x4
    00541ce8adcs x16, x15, x14
    00541cecadds x16, x13, x4
    00541cf0adcs x16, x15, x14
    00541cf4str x16, [sp+3312]
    00541cf8adds x17, x13, x4
    00541cfcadcs x17, x15, x14
    00541d00adc x17, xzr, xzr
    00541d04str x17, [sp+3304]
    00541d08str x16, [sp+5088]
    00541d0cstr x17, [sp+5080]
    00541d10str x16, [sp+2312]
    00541d14str x17, [sp+2304]
    00541d18str xzr, [sp+2296]
    00541d1cstr xzr, [sp+2288]
    00541d20ldr x16, [sp+2408]
    00541d24ldr x17, [sp+2384]
    00541d28adcs x19, x17, x16
    00541d2cadds x19, x13, x4
    00541d30adcs x19, x15, x14
    00541d34adcs x19, x17, x16
    00541d38str x19, [sp+3304]
    00541d3cadds x20, x13, x4
    00541d40adcs x20, x15, x14
    00541d44adcs x20, x17, x16
    00541d48adc x20, xzr, xzr
    00541d4cstr x20, [sp+3312]
    00541d50str x19, [sp+5072]
    00541d54str x20, [sp+5064]
    00541d58str x19, [sp+2296]
    00541d5cstr x20, [sp+2288]
    00541d60str xzr, [sp+2280]
    00541d64str xzr, [sp+2272]
    00541d68ldr x19, [sp+1496]
    00541d6cldr x20, [sp+2400]
    00541d70adcs x21, x20, x19
    00541d74adds x21, x13, x4
    00541d78adcs x21, x15, x14
    00541d7cadcs x21, x17, x16
    00541d80adcs x21, x20, x19
    00541d84str x21, [sp+3312]
    00541d88adds x4, x13, x4
    00541d8cadcs x4, x15, x14
    00541d90adcs x4, x17, x16
    00541d94adcs x4, x20, x19
    00541d98adc x4, xzr, xzr
    00541d9cstr x4, [sp+3304]
    00541da0str x21, [sp+5056]
    00541da4str x4, [sp+5048]
    00541da8str x21, [sp+2280]
    00541dacstr x4, [sp+2272]
    00541db0str xzr, [sp+2264]
    00541db4str xzr, [sp+2248]
    00541db8ldr x4, [sp+2360]
    00541dbcldr x13, [sp+2512]
    00541dc0adds x14, x13, x4
    00541dc4adc x14, xzr, xzr
    00541dc8adds x15, x13, x4
    00541dccstr x15, [sp+3304]
    00541dd0str x14, [sp+3312]
    00541dd4str x15, [sp+5040]
    00541dd8str x14, [sp+5032]
    00541ddcstr x15, [sp+2264]
    00541de0str x14, [sp+2248]
    00541de4str xzr, [sp+2240]
    00541de8str xzr, [sp+2232]
    00541decldr x14, [sp+2328]
    00541df0ldr x15, [sp+2496]
    00541df4adds x16, x13, x4
    00541df8adcs x16, x15, x14
    00541dfcadds x16, x13, x4
    00541e00adcs x16, x15, x14
    00541e04str x16, [sp+3312]
    00541e08adds x17, x13, x4
    00541e0cadcs x17, x15, x14
    00541e10adc x17, xzr, xzr
    00541e14str x17, [sp+3304]
    00541e18str x16, [sp+5016]
    00541e1cstr x17, [sp+5008]
    00541e20str x16, [sp+2240]
    00541e24str x17, [sp+2232]
    00541e28str xzr, [sp+2224]
    00541e2cstr xzr, [sp+2216]
    00541e30ldr x16, [sp+2312]
    00541e34ldr x17, [sp+2480]
    00541e38adcs x19, x17, x16
    00541e3cadds x19, x13, x4
    00541e40adcs x19, x15, x14
    00541e44adcs x19, x17, x16
    00541e48str x19, [sp+3304]
    00541e4cadds x20, x13, x4
    00541e50adcs x20, x15, x14
    00541e54adcs x20, x17, x16
    00541e58adc x20, xzr, xzr
    00541e5cstr x20, [sp+3312]
    00541e60str x19, [sp+5000]
    00541e64str x20, [sp+4992]
    00541e68str x19, [sp+2224]
    00541e6cstr x20, [sp+2216]
    00541e70str xzr, [sp+2208]
    00541e74str xzr, [sp+2200]
    00541e78ldr x19, [sp+2296]
    00541e7cldr x20, [sp+2464]
    00541e80adcs x21, x20, x19
    00541e84adds x21, x13, x4
    00541e88adcs x21, x15, x14
    00541e8cadcs x21, x17, x16
    00541e90adcs x21, x20, x19
    00541e94str x21, [sp+3312]
    00541e98adds x22, x13, x4
    00541e9cadcs x22, x15, x14
    00541ea0adcs x22, x17, x16
    00541ea4adcs x22, x20, x19
    00541ea8adc x22, xzr, xzr
    00541eacstr x22, [sp+3304]
    00541eb0str x21, [sp+4976]
    00541eb4str x22, [sp+4968]
    00541eb8str x21, [sp+2208]
    00541ebcstr x22, [sp+2200]
    00541ec0str xzr, [sp+2192]
    00541ec4str xzr, [sp+2184]
    00541ec8ldr x21, [sp+2280]
    00541eccldr x22, [sp+2448]
    00541ed0adcs x23, x22, x21
    00541ed4adds x23, x13, x4
    00541ed8adcs x23, x15, x14
    00541edcadcs x23, x17, x16
    00541ee0adcs x23, x20, x19
    00541ee4adcs x23, x22, x21
    00541ee8str x23, [sp+3304]
    00541eecadds x24, x13, x4
    00541ef0adcs x24, x15, x14
    00541ef4adcs x24, x17, x16
    00541ef8adcs x24, x20, x19
    00541efcadcs x24, x22, x21
    00541f00adc x24, xzr, xzr
    00541f04str x24, [sp+3312]
    00541f08str x23, [sp+4960]
    00541f0cstr x24, [sp+4952]
    00541f10str x23, [sp+2192]
    00541f14str x24, [sp+2184]
    00541f18str xzr, [sp+2176]
    00541f1cstr xzr, [sp+2160]
    00541f20ldr x23, [sp+2424]
    00541f24ldr x24, [sp+2272]
    00541f28adcs x25, x23, x24
    00541f2cadds x25, x13, x4
    00541f30adcs x25, x15, x14
    00541f34adcs x25, x17, x16
    00541f38adcs x25, x20, x19
    00541f3cadcs x25, x22, x21
    00541f40adcs x25, x23, x24
    00541f44str x25, [sp+3312]
    00541f48adds x4, x13, x4
    00541f4cadcs x4, x15, x14
    00541f50adcs x4, x17, x16
    00541f54adcs x4, x20, x19
    00541f58adcs x4, x22, x21
    00541f5cadcs x4, x23, x24
    00541f60adc x4, xzr, xzr
    00541f64str x4, [sp+3304]
    00541f68str x25, [sp+4944]
    00541f6cstr x4, [sp+4936]
    00541f70str x25, [sp+2176]
    00541f74str x4, [sp+2160]
    00541f78str xzr, [sp+2152]
    00541f7cldr x4, [sp+2264]
    00541f80add x13, x4, x4, lsl #32
    00541f84umulh x4, x4, x9
    00541f88str x4, [sp+3304]
    00541f8cstr x13, [sp+3312]
    00541f90str x4, [sp+4928]
    00541f94str x13, [sp+4920]
    00541f98str x13, [sp+2152]
    00541f9cstr xzr, [sp+2144]
    00541fa0str xzr, [sp+2136]
    00541fa4sub x4, xzr, x13
    00541fa8umulh x13, x13, x10
    00541facstr x13, [sp+3312]
    00541fb0str x4, [sp+3304]
    00541fb4str x13, [sp+4912]
    00541fb8str x4, [sp+4904]
    00541fbcstr x13, [sp+2136]
    00541fc0str x4, [sp+2144]
    00541fc4str xzr, [sp+2128]
    00541fc8str xzr, [sp+2120]
    00541fccldr x4, [sp+2152]
    00541fd0umulh x13, x4, x10
    00541fd4str x13, [sp+3304]
    00541fd8sub x4, xzr, x4
    00541fdcstr x4, [sp+3312]
    00541fe0str x13, [sp+4896]
    00541fe4str x4, [sp+4888]
    00541fe8str x13, [sp+2120]
    00541fecstr x4, [sp+2128]
    00541ff0str xzr, [sp+2112]
    00541ff4str xzr, [sp+2104]
    00541ff8ldr x4, [sp+2152]
    00541ffcumulh x13, x4, x10
    00542000str x13, [sp+3312]
    00542004sub x4, xzr, x4
    00542008str x4, [sp+3304]
    0054200cstr x13, [sp+4880]
    00542010str x4, [sp+4872]
    00542014str x13, [sp+2104]
    00542018str x4, [sp+2112]
    0054201cstr xzr, [sp+2096]
    00542020str xzr, [sp+2080]
    00542024ldr x4, [sp+2152]
    00542028umulh x13, x4, x8
    0054202cstr x13, [sp+3304]
    00542030madd x4, x4, x8, xzr
    00542034str x4, [sp+3312]
    00542038str x13, [sp+4864]
    0054203cstr x4, [sp+4856]
    00542040str x13, [sp+2080]
    00542044str x4, [sp+2096]
    00542048str xzr, [sp+2072]
    0054204cstr xzr, [sp+2064]
    00542050ldr x4, [sp+2152]
    00542054umulh x13, x4, x11
    00542058str x13, [sp+3312]
    0054205cmadd x4, x4, x11, xzr
    00542060str x4, [sp+3304]
    00542064str x13, [sp+4840]
    00542068str x4, [sp+4832]
    0054206cstr x13, [sp+2064]
    00542070str x4, [sp+2072]
    00542074str xzr, [sp+2056]
    00542078str xzr, [sp+2048]
    0054207cldr x4, [sp+2152]
    00542080umulh x13, x4, x12
    00542084str x13, [sp+3304]
    00542088sub x14, xzr, x4
    0054208cadd x4, x14, x4, lsl #32
    00542090str x4, [sp+3312]
    00542094str x13, [sp+4824]
    00542098str x4, [sp+4816]
    0054209cstr x13, [sp+2048]
    005420a0str x4, [sp+2056]
    005420a4str xzr, [sp+2040]
    005420a8str xzr, [sp+2032]
    005420acldr x4, [sp+2072]
    005420b0adds x14, x13, x4
    005420b4adc x14, xzr, xzr
    005420b8adds x15, x13, x4
    005420bcstr x15, [sp+3312]
    005420c0str x14, [sp+3304]
    005420c4str x15, [sp+4808]
    005420c8str x14, [sp+4792]
    005420ccstr x15, [sp+2040]
    005420d0str x14, [sp+2032]
    005420d4str xzr, [sp+2024]
    005420d8str xzr, [sp+2016]
    005420dcldr x14, [sp+2096]
    005420e0ldr x15, [sp+2064]
    005420e4adds x16, x13, x4
    005420e8adcs x16, x15, x14
    005420ecadds x16, x13, x4
    005420f0adcs x16, x15, x14
    005420f4str x16, [sp+3304]
    005420f8adds x17, x13, x4
    005420fcadcs x17, x15, x14
    00542100adc x17, xzr, xzr
    00542104str x17, [sp+3312]
    00542108str x16, [sp+4784]
    0054210cstr x17, [sp+4776]
    00542110str x16, [sp+2024]
    00542114str x17, [sp+2016]
    00542118str xzr, [sp+2008]
    0054211cstr xzr, [sp+2000]
    00542120ldr x16, [sp+2112]
    00542124ldr x17, [sp+2080]
    00542128adcs x19, x17, x16
    0054212cadds x19, x13, x4
    00542130adcs x19, x15, x14
    00542134adcs x19, x17, x16
    00542138str x19, [sp+3312]
    0054213cadds x20, x13, x4
    00542140adcs x20, x15, x14
    00542144adcs x20, x17, x16
    00542148adc x20, xzr, xzr
    0054214cstr x20, [sp+3304]
    00542150str x19, [sp+4768]
    00542154str x20, [sp+4760]
    00542158str x19, [sp+2008]
    0054215cstr x20, [sp+2000]
    00542160str xzr, [sp+1992]
    00542164str xzr, [sp+1984]
    00542168ldr x19, [sp+2128]
    0054216cldr x20, [sp+2104]
    00542170adcs x21, x20, x19
    00542174adds x21, x13, x4
    00542178adcs x21, x15, x14
    0054217cadcs x21, x17, x16
    00542180adcs x21, x20, x19
    00542184str x21, [sp+3304]
    00542188adds x22, x13, x4
    0054218cadcs x22, x15, x14
    00542190adcs x22, x17, x16
    00542194adcs x22, x20, x19
    00542198adc x22, xzr, xzr
    0054219cstr x22, [sp+3312]
    005421a0str x21, [sp+4752]
    005421a4str x22, [sp+4744]
    005421a8str x21, [sp+1992]
    005421acstr x22, [sp+1984]
    005421b0str xzr, [sp+1976]
    005421b4str xzr, [sp+1968]
    005421b8ldr x21, [sp+2144]
    005421bcldr x22, [sp+2120]
    005421c0adcs x23, x22, x21
    005421c4adds x23, x13, x4
    005421c8adcs x23, x15, x14
    005421ccadcs x23, x17, x16
    005421d0adcs x23, x20, x19
    005421d4adcs x23, x22, x21
    005421d8str x23, [sp+3312]
    005421dcadds x4, x13, x4
    005421e0adcs x4, x15, x14
    005421e4adcs x4, x17, x16
    005421e8adcs x4, x20, x19
    005421ecadcs x4, x22, x21
    005421f0adc x4, xzr, xzr
    005421f4str x4, [sp+3304]
    005421f8str x23, [sp+4736]
    005421fcstr x4, [sp+4728]
    00542200str x23, [sp+1976]
    00542204str x4, [sp+1968]
    00542208str xzr, [sp+1960]
    0054220cldr x4, [sp+2056]
    00542210ldr x13, [sp+2264]
    00542214adds x14, x13, x4
    00542218adc x14, xzr, xzr
    0054221cadds x15, x13, x4
    00542220str x15, [sp+3304]
    00542224str x14, [sp+3312]
    00542228str x15, [sp+4720]
    0054222cstr x14, [sp+4712]
    00542230str x14, [sp+1960]
    00542234str xzr, [sp+1952]
    00542238str xzr, [sp+1944]
    0054223cldr x14, [sp+2040]
    00542240ldr x15, [sp+2240]
    00542244adds x16, x13, x4
    00542248adcs x16, x15, x14
    0054224cadds x16, x13, x4
    00542250adcs x16, x15, x14
    00542254str x16, [sp+3312]
    00542258adds x17, x13, x4
    0054225cadcs x17, x15, x14
    00542260adc x17, xzr, xzr
    00542264str x17, [sp+3304]
    00542268str x16, [sp+4704]
    0054226cstr x17, [sp+4696]
    00542270str x16, [sp+1952]
    00542274str x17, [sp+1944]
    00542278str xzr, [sp+1936]
    0054227cstr xzr, [sp+1920]
    00542280ldr x16, [sp+2024]
    00542284ldr x17, [sp+2224]
    00542288adcs x19, x17, x16
    0054228cadds x19, x13, x4
    00542290adcs x19, x15, x14
    00542294adcs x19, x17, x16
    00542298str x19, [sp+3304]
    0054229cadds x20, x13, x4
    005422a0adcs x20, x15, x14
    005422a4adcs x20, x17, x16
    005422a8adc x20, xzr, xzr
    005422acstr x20, [sp+3312]
    005422b0str x19, [sp+4688]
    005422b4str x20, [sp+4680]
    005422b8str x19, [sp+1936]
    005422bcstr x20, [sp+1920]
    005422c0str xzr, [sp+1912]
    005422c4str xzr, [sp+1904]
    005422c8ldr x19, [sp+2008]
    005422ccldr x20, [sp+2208]
    005422d0adcs x21, x20, x19
    005422d4adds x21, x13, x4
    005422d8adcs x21, x15, x14
    005422dcadcs x21, x17, x16
    005422e0adcs x21, x20, x19
    005422e4str x21, [sp+3312]
    005422e8adds x22, x13, x4
    005422ecadcs x22, x15, x14
    005422f0adcs x22, x17, x16
    005422f4adcs x22, x20, x19
    005422f8adc x22, xzr, xzr
    005422fcstr x22, [sp+3304]
    00542300str x21, [sp+4664]
    00542304str x22, [sp+4656]
    00542308str x21, [sp+1912]
    0054230cstr x22, [sp+1904]
    00542310str xzr, [sp+1896]
    00542314str xzr, [sp+1888]
    00542318ldr x21, [sp+1992]
    0054231cldr x22, [sp+2192]
    00542320adcs x23, x22, x21
    00542324adds x23, x13, x4
    00542328adcs x23, x15, x14
    0054232cadcs x23, x17, x16
    00542330adcs x23, x20, x19
    00542334adcs x23, x22, x21
    00542338str x23, [sp+3304]
    0054233cadds x24, x13, x4
    00542340adcs x24, x15, x14
    00542344adcs x24, x17, x16
    00542348adcs x24, x20, x19
    0054234cadcs x24, x22, x21
    00542350adc x24, xzr, xzr
    00542354str x24, [sp+3312]
    00542358str x23, [sp+4648]
    0054235cstr x24, [sp+4640]
    00542360str x23, [sp+1896]
    00542364str x24, [sp+1888]
    00542368str xzr, [sp+1880]
    0054236cstr xzr, [sp+1872]
    00542370ldr x23, [sp+1976]
    00542374ldr x24, [sp+2176]
    00542378adcs x25, x24, x23
    0054237cadds x25, x13, x4
    00542380adcs x25, x15, x14
    00542384adcs x25, x17, x16
    00542388adcs x25, x20, x19
    0054238cadcs x25, x22, x21
    00542390adcs x25, x24, x23
    00542394str x25, [sp+3312]
    00542398adds x30, x13, x4
    0054239cadcs x30, x15, x14
    005423a0adcs x30, x17, x16
    005423a4adcs x30, x20, x19
    005423a8adcs x30, x22, x21
    005423acadcs x30, x24, x23
    005423b0adc x30, xzr, xzr
    005423b4str x30, [sp+3304]
    005423b8str x25, [sp+4632]
    005423bcstr x30, [sp+4624]
    005423c0str x25, [sp+1880]
    005423c4str x30, [sp+1872]
    005423c8str xzr, [sp+1864]
    005423ccstr xzr, [sp+1856]
    005423d0ldr x25, [sp+2160]
    005423d4ldr x30, [sp+2416]
    005423d8add x25, x25, x30
    005423dcldr x30, [sp+1968]
    005423e0ldr x0, [sp+2136]
    005423e4add x30, x30, x0
    005423e8adcs x0, x25, x30
    005423ecadds x0, x13, x4
    005423f0adcs x0, x15, x14
    005423f4adcs x0, x17, x16
    005423f8adcs x0, x20, x19
    005423fcadcs x0, x22, x21
    00542400adcs x0, x24, x23
    00542404adcs x0, x25, x30
    00542408str x0, [sp+3304]
    0054240cadds x4, x13, x4
    00542410adcs x4, x15, x14
    00542414adcs x4, x17, x16
    00542418adcs x4, x20, x19
    0054241cadcs x4, x22, x21
    00542420adcs x4, x24, x23
    00542424adcs x4, x25, x30
    00542428adc x4, xzr, xzr
    0054242cstr x4, [sp+3312]
    00542430str x0, [sp+4608]
    00542434str x4, [sp+4600]
    00542438str x0, [sp+1864]
    0054243cstr x4, [sp+1856]
    00542440str xzr, [sp+1848]
    00542444str xzr, [sp+1832]
    00542448ldr x4, [sp+632]
    0054244cumulh x13, x4, x6
    00542450str x13, [sp+3312]
    00542454ubfm x4, x4, 31, 30
    00542458str x4, [sp+3304]
    0054245cstr x13, [sp+4592]
    00542460str x4, [sp+4584]
    00542464str x13, [sp+1832]
    00542468str x4, [sp+1848]
    0054246cstr xzr, [sp+1824]
    00542470str xzr, [sp+1816]
    00542474ldr x4, [sp+632]
    00542478umulh x13, x4, x5
    0054247cstr x13, [sp+3304]
    00542480madd x4, x4, x5, xzr
    00542484str x4, [sp+3312]
    00542488str x13, [sp+4576]
    0054248cstr x4, [sp+4568]
    00542490str x13, [sp+1816]
    00542494str x4, [sp+1824]
    00542498str xzr, [sp+1808]
    0054249cstr xzr, [sp+1800]
    005424a0ldr x4, [sp+632]
    005424a4umulh x13, x4, x6
    005424a8str x13, [sp+3312]
    005424acubfm x4, x4, 31, 30
    005424b0str x4, [sp+3304]
    005424b4str x13, [sp+4560]
    005424b8str x4, [sp+4552]
    005424bcstr x13, [sp+1800]
    005424c0str x4, [sp+1808]
    005424c4str xzr, [sp+1792]
    005424c8str xzr, [sp+1784]
    005424ccldr x4, [sp+632]
    005424d0umulh x13, x4, x7
    005424d4str x13, [sp+3304]
    005424d8madd x4, x4, x7, xzr
    005424dcstr x4, [sp+3312]
    005424e0str x13, [sp+4544]
    005424e4str x4, [sp+4536]
    005424e8str x13, [sp+1784]
    005424ecstr x4, [sp+1792]
    005424f0str xzr, [sp+1776]
    005424f4str xzr, [sp+1768]
    005424f8ldr x4, [sp+1808]
    005424fcadds x14, x13, x4
    00542500adc x14, xzr, xzr
    00542504adds x15, x13, x4
    00542508str x15, [sp+3312]
    0054250cstr x14, [sp+3304]
    00542510str x15, [sp+4528]
    00542514str x14, [sp+4520]
    00542518str x15, [sp+1776]
    0054251cstr x14, [sp+1768]
    00542520str xzr, [sp+1760]
    00542524str xzr, [sp+1744]
    00542528ldr x14, [sp+1824]
    0054252cldr x15, [sp+1800]
    00542530adds x16, x13, x4
    00542534adcs x16, x15, x14
    00542538adds x16, x13, x4
    0054253cadcs x16, x15, x14
    00542540str x16, [sp+3304]
    00542544adds x17, x13, x4
    00542548adcs x17, x15, x14
    0054254cadc x17, xzr, xzr
    00542550str x17, [sp+3312]
    00542554str x16, [sp+4512]
    00542558str x17, [sp+4504]
    0054255cstr x16, [sp+1760]
    00542560str x17, [sp+1744]
    00542564str xzr, [sp+1736]
    00542568str xzr, [sp+1728]
    0054256cldr x16, [sp+1848]
    00542570ldr x17, [sp+1816]
    00542574adcs x19, x17, x16
    00542578adds x19, x13, x4
    0054257cadcs x19, x15, x14
    00542580adcs x19, x17, x16
    00542584str x19, [sp+3312]
    00542588adds x20, x13, x4
    0054258cadcs x20, x15, x14
    00542590adcs x20, x17, x16
    00542594adc x20, xzr, xzr
    00542598str x20, [sp+3304]
    0054259cstr x19, [sp+4488]
    005425a0str x20, [sp+4480]
    005425a4str x19, [sp+1736]
    005425a8str x20, [sp+1728]
    005425acstr xzr, [sp+1720]
    005425b0str xzr, [sp+1712]
    005425b4ldr x19, [sp+632]
    005425b8ldr x20, [sp+1832]
    005425bcadcs x21, x20, x19
    005425c0adds x21, x13, x4
    005425c4adcs x21, x15, x14
    005425c8adcs x21, x17, x16
    005425ccadcs x21, x20, x19
    005425d0str x21, [sp+3304]
    005425d4adds x4, x13, x4
    005425d8adcs x4, x15, x14
    005425dcadcs x4, x17, x16
    005425e0adcs x4, x20, x19
    005425e4adc x4, xzr, xzr
    005425e8str x4, [sp+3312]
    005425ecstr x21, [sp+4472]
    005425f0str x4, [sp+4464]
    005425f4str x21, [sp+1720]
    005425f8str x4, [sp+1712]
    005425fcstr xzr, [sp+1704]
    00542600str xzr, [sp+1696]
    00542604ldr x4, [sp+1792]
    00542608ldr x13, [sp+1952]
    0054260cadds x14, x13, x4
    00542610adc x14, xzr, xzr
    00542614adds x15, x13, x4
    00542618str x15, [sp+3312]
    0054261cstr x14, [sp+3304]
    00542620str x15, [sp+4456]
    00542624str x14, [sp+4448]
    00542628str x15, [sp+1704]
    0054262cstr x14, [sp+1696]
    00542630str xzr, [sp+1688]
    00542634str xzr, [sp+1680]
    00542638ldr x14, [sp+1776]
    0054263cldr x15, [sp+1936]
    00542640adds x16, x13, x4
    00542644adcs x16, x15, x14
    00542648adds x16, x13, x4
    0054264cadcs x16, x15, x14
    00542650str x16, [sp+3304]
    00542654adds x17, x13, x4
    00542658adcs x17, x15, x14
    0054265cadc x17, xzr, xzr
    00542660str x17, [sp+3312]
    00542664str x16, [sp+4432]
    00542668str x17, [sp+4424]
    0054266cstr x16, [sp+1688]
    00542670str x17, [sp+1680]
    00542674str xzr, [sp+1672]
    00542678str xzr, [sp+1656]
    0054267cldr x16, [sp+1760]
    00542680ldr x17, [sp+1912]
    00542684adcs x19, x17, x16
    00542688adds x19, x13, x4
    0054268cadcs x19, x15, x14
    00542690adcs x19, x17, x16
    00542694str x19, [sp+3312]
    00542698adds x20, x13, x4
    0054269cadcs x20, x15, x14
    005426a0adcs x20, x17, x16
    005426a4adc x20, xzr, xzr
    005426a8str x20, [sp+3304]
    005426acstr x19, [sp+4416]
    005426b0str x20, [sp+4408]
    005426b4str x19, [sp+1672]
    005426b8str x20, [sp+1656]
    005426bcstr xzr, [sp+1648]
    005426c0str xzr, [sp+1640]
    005426c4ldr x19, [sp+1736]
    005426c8ldr x20, [sp+1896]
    005426ccadcs x21, x20, x19
    005426d0adds x21, x13, x4
    005426d4adcs x21, x15, x14
    005426d8adcs x21, x17, x16
    005426dcadcs x21, x20, x19
    005426e0str x21, [sp+3304]
    005426e4adds x22, x13, x4
    005426e8adcs x22, x15, x14
    005426ecadcs x22, x17, x16
    005426f0adcs x22, x20, x19
    005426f4adc x22, xzr, xzr
    005426f8str x22, [sp+3312]
    005426fcstr x21, [sp+4400]
    00542700str x22, [sp+4392]
    00542704str x21, [sp+1648]
    00542708str x22, [sp+1640]
    0054270cstr xzr, [sp+1632]
    00542710str xzr, [sp+1624]
    00542714ldr x21, [sp+1720]
    00542718ldr x22, [sp+1880]
    0054271cadcs x23, x22, x21
    00542720adds x23, x13, x4
    00542724adcs x23, x15, x14
    00542728adcs x23, x17, x16
    0054272cadcs x23, x20, x19
    00542730adcs x23, x22, x21
    00542734str x23, [sp+3312]
    00542738adds x24, x13, x4
    0054273cadcs x24, x15, x14
    00542740adcs x24, x17, x16
    00542744adcs x24, x20, x19
    00542748adcs x24, x22, x21
    0054274cadc x24, xzr, xzr
    00542750str x24, [sp+3304]
    00542754str x23, [sp+4384]
    00542758str x24, [sp+4376]
    0054275cstr x23, [sp+1632]
    00542760str x24, [sp+1624]
    00542764str xzr, [sp+1616]
    00542768str xzr, [sp+1608]
    0054276cldr x23, [sp+1864]
    00542770ldr x24, [sp+1712]
    00542774adcs x25, x23, x24
    00542778adds x25, x13, x4
    0054277cadcs x25, x15, x14
    00542780adcs x25, x17, x16
    00542784adcs x25, x20, x19
    00542788adcs x25, x22, x21
    0054278cadcs x25, x23, x24
    00542790str x25, [sp+3304]
    00542794adds x4, x13, x4
    00542798adcs x4, x15, x14
    0054279cadcs x4, x17, x16
    005427a0adcs x4, x20, x19
    005427a4adcs x4, x22, x21
    005427a8adcs x4, x23, x24
    005427acadc x4, xzr, xzr
    005427b0str x4, [sp+3312]
    005427b4str x25, [sp+4368]
    005427b8str x4, [sp+4360]
    005427bcstr x25, [sp+1616]
    005427c0str x4, [sp+1608]
    005427c4str xzr, [sp+1600]
    005427c8ldr x4, [sp+1704]
    005427ccadd x13, x4, x4, lsl #32
    005427d0umulh x4, x4, x9
    005427d4str x4, [sp+3312]
    005427d8str x13, [sp+3304]
    005427dcstr x4, [sp+4352]
    005427e0str x13, [sp+4344]
    005427e4str x13, [sp+1600]
    005427e8str xzr, [sp+1592]
    005427ecstr xzr, [sp+1576]
    005427f0sub x4, xzr, x13
    005427f4umulh x13, x13, x10
    005427f8str x13, [sp+3304]
    005427fcstr x4, [sp+3312]
    00542800str x13, [sp+4336]
    00542804str x4, [sp+4328]
    00542808str x13, [sp+1576]
    0054280cstr x4, [sp+1592]
    00542810str xzr, [sp+1568]
    00542814str xzr, [sp+1560]
    00542818ldr x4, [sp+1600]
    0054281cumulh x13, x4, x10
    00542820str x13, [sp+3312]
    00542824sub x4, xzr, x4
    00542828str x4, [sp+3304]
    0054282cstr x13, [sp+4320]
    00542830str x4, [sp+4304]
    00542834str x13, [sp+1560]
    00542838str x4, [sp+1568]
    0054283cstr xzr, [sp+1552]
    00542840str xzr, [sp+1544]
    00542844ldr x4, [sp+1600]
    00542848umulh x13, x4, x10
    0054284cstr x13, [sp+3304]
    00542850sub x4, xzr, x4
    00542854str x4, [sp+3312]
    00542858str x13, [sp+4296]
    0054285cstr x4, [sp+4288]
    00542860str x13, [sp+1544]
    00542864str x4, [sp+1552]
    00542868str xzr, [sp+1536]
    0054286cstr xzr, [sp+1528]
    00542870ldr x4, [sp+1600]
    00542874umulh x13, x4, x8
    00542878str x13, [sp+3312]
    0054287cmadd x4, x4, x8, xzr
    00542880str x4, [sp+3304]
    00542884str x13, [sp+4280]
    00542888str x4, [sp+4272]
    0054288cstr x13, [sp+1528]
    00542890str x4, [sp+1536]
    00542894str xzr, [sp+1520]
    00542898str xzr, [sp+1512]
    0054289cldr x4, [sp+1600]
    005428a0umulh x13, x4, x11
    005428a4str x13, [sp+3304]
    005428a8madd x4, x4, x11, xzr
    005428acstr x4, [sp+3312]
    005428b0str x13, [sp+4256]
    005428b4str x4, [sp+4248]
    005428b8str x13, [sp+1512]
    005428bcstr x4, [sp+1520]
    005428c0str xzr, [sp+1504]
    005428c4str xzr, [sp+1480]
    005428c8ldr x4, [sp+1600]
    005428ccumulh x13, x4, x12
    005428d0str x13, [sp+3312]
    005428d4sub x14, xzr, x4
    005428d8add x4, x14, x4, lsl #32
    005428dcstr x4, [sp+3304]
    005428e0str x13, [sp+4240]
    005428e4str x4, [sp+4232]
    005428e8str x13, [sp+1480]
    005428ecstr x4, [sp+1504]
    005428f0str xzr, [sp+1472]
    005428f4str xzr, [sp+1464]
    005428f8ldr x4, [sp+1520]
    005428fcadds x14, x13, x4
    00542900adc x14, xzr, xzr
    00542904adds x15, x13, x4
    00542908str x15, [sp+3304]
    0054290cstr x14, [sp+3312]
    00542910str x15, [sp+4224]
    00542914str x14, [sp+4216]
    00542918str x15, [sp+1472]
    0054291cstr x14, [sp+1464]
    00542920str xzr, [sp+1456]
    00542924str xzr, [sp+1448]
    00542928ldr x14, [sp+1536]
    0054292cldr x15, [sp+1512]
    00542930adds x16, x13, x4
    00542934adcs x16, x15, x14
    00542938adds x16, x13, x4
    0054293cadcs x16, x15, x14
    00542940str x16, [sp+3312]
    00542944adds x17, x13, x4
    00542948adcs x17, x15, x14
    0054294cadc x17, xzr, xzr
    00542950str x17, [sp+3304]
    00542954str x16, [sp+4208]
    00542958str x17, [sp+4200]
    0054295cstr x16, [sp+1456]
    00542960str x17, [sp+1448]
    00542964str xzr, [sp+1440]
    00542968str xzr, [sp+1432]
    0054296cldr x16, [sp+1552]
    00542970ldr x17, [sp+1528]
    00542974adcs x19, x17, x16
    00542978adds x19, x13, x4
    0054297cadcs x19, x15, x14
    00542980adcs x19, x17, x16
    00542984str x19, [sp+3304]
    00542988adds x20, x13, x4
    0054298cadcs x20, x15, x14
    00542990adcs x20, x17, x16
    00542994adc x20, xzr, xzr
    00542998str x20, [sp+3312]
    0054299cstr x19, [sp+4192]
    005429a0str x20, [sp+4184]
    005429a4str x19, [sp+1440]
    005429a8str x20, [sp+1432]
    005429acstr xzr, [sp+1424]
    005429b0str xzr, [sp+1416]
    005429b4ldr x19, [sp+1568]
    005429b8ldr x20, [sp+1544]
    005429bcadcs x21, x20, x19
    005429c0adds x21, x13, x4
    005429c4adcs x21, x15, x14
    005429c8adcs x21, x17, x16
    005429ccadcs x21, x20, x19
    005429d0str x21, [sp+3312]
    005429d4adds x22, x13, x4
    005429d8adcs x22, x15, x14
    005429dcadcs x22, x17, x16
    005429e0adcs x22, x20, x19
    005429e4adc x22, xzr, xzr
    005429e8str x22, [sp+3304]
    005429ecstr x21, [sp+4176]
    005429f0str x22, [sp+4168]
    005429f4str x21, [sp+1424]
    005429f8str x22, [sp+1416]
    005429fcstr xzr, [sp+1408]
    00542a00str xzr, [sp+1392]
    00542a04ldr x21, [sp+1592]
    00542a08ldr x22, [sp+1560]
    00542a0cadcs x23, x22, x21
    00542a10adds x23, x13, x4
    00542a14adcs x23, x15, x14
    00542a18adcs x23, x17, x16
    00542a1cadcs x23, x20, x19
    00542a20adcs x23, x22, x21
    00542a24str x23, [sp+3304]
    00542a28adds x4, x13, x4
    00542a2cadcs x4, x15, x14
    00542a30adcs x4, x17, x16
    00542a34adcs x4, x20, x19
    00542a38adcs x4, x22, x21
    00542a3cadc x4, xzr, xzr
    00542a40str x4, [sp+3312]
    00542a44str x23, [sp+4160]
    00542a48str x4, [sp+4152]
    00542a4cstr x23, [sp+1408]
    00542a50str x4, [sp+1392]
    00542a54str xzr, [sp+1384]
    00542a58ldr x4, [sp+1504]
    00542a5cldr x13, [sp+1704]
    00542a60adds x14, x13, x4
    00542a64adc x14, xzr, xzr
    00542a68adds x15, x13, x4
    00542a6cstr x15, [sp+3312]
    00542a70str x14, [sp+3304]
    00542a74str x15, [sp+4144]
    00542a78str x14, [sp+4136]
    00542a7cstr x14, [sp+1384]
    00542a80str xzr, [sp+1376]
    00542a84str xzr, [sp+1368]
    00542a88ldr x14, [sp+1472]
    00542a8cldr x15, [sp+1688]
    00542a90adds x16, x13, x4
    00542a94adcs x16, x15, x14
    00542a98adds x16, x13, x4
    00542a9cadcs x16, x15, x14
    00542aa0str x16, [sp+3304]
    00542aa4adds x17, x13, x4
    00542aa8adcs x17, x15, x14
    00542aacadc x17, xzr, xzr
    00542ab0str x17, [sp+3312]
    00542ab4str x16, [sp+4120]
    00542ab8str x17, [sp+4112]
    00542abcstr x16, [sp+1376]
    00542ac0str x17, [sp+1368]
    00542ac4str xzr, [sp+1360]
    00542ac8str xzr, [sp+1352]
    00542accldr x16, [sp+1456]
    00542ad0ldr x17, [sp+1672]
    00542ad4adcs x19, x17, x16
    00542ad8adds x19, x13, x4
    00542adcadcs x19, x15, x14
    00542ae0adcs x19, x17, x16
    00542ae4str x19, [sp+3312]
    00542ae8adds x20, x13, x4
    00542aecadcs x20, x15, x14
    00542af0adcs x20, x17, x16
    00542af4adc x20, xzr, xzr
    00542af8str x20, [sp+3304]
    00542afcstr x19, [sp+4104]
    00542b00str x20, [sp+4096]
    00542b04str x19, [sp+1360]
    00542b08str x20, [sp+1352]
    00542b0cstr xzr, [sp+1344]
    00542b10str xzr, [sp+1336]
    00542b14ldr x19, [sp+1440]
    00542b18ldr x20, [sp+1648]
    00542b1cadcs x21, x20, x19
    00542b20adds x21, x13, x4
    00542b24adcs x21, x15, x14
    00542b28adcs x21, x17, x16
    00542b2cadcs x21, x20, x19
    00542b30str x21, [sp+3304]
    00542b34adds x22, x13, x4
    00542b38adcs x22, x15, x14
    00542b3cadcs x22, x17, x16
    00542b40adcs x22, x20, x19
    00542b44adc x22, xzr, xzr
    00542b48str x22, [sp+3312]
    00542b4cstr x21, [sp+4080]
    00542b50str x22, [sp+4072]
    00542b54str x21, [sp+1344]
    00542b58str x22, [sp+1336]
    00542b5cstr xzr, [sp+1328]
    00542b60str xzr, [sp+1312]
    00542b64ldr x21, [sp+1424]
    00542b68ldr x22, [sp+1632]
    00542b6cadcs x23, x22, x21
    00542b70adds x23, x13, x4
    00542b74adcs x23, x15, x14
    00542b78adcs x23, x17, x16
    00542b7cadcs x23, x20, x19
    00542b80adcs x23, x22, x21
    00542b84str x23, [sp+3312]
    00542b88adds x24, x13, x4
    00542b8cadcs x24, x15, x14
    00542b90adcs x24, x17, x16
    00542b94adcs x24, x20, x19
    00542b98adcs x24, x22, x21
    00542b9cadc x24, xzr, xzr
    00542ba0str x24, [sp+3304]
    00542ba4str x23, [sp+4064]
    00542ba8str x24, [sp+4056]
    00542bacstr x23, [sp+1328]
    00542bb0str x24, [sp+1312]
    00542bb4str xzr, [sp+1304]
    00542bb8str xzr, [sp+1296]
    00542bbcldr x23, [sp+1408]
    00542bc0ldr x24, [sp+1616]
    00542bc4adcs x25, x24, x23
    00542bc8adds x25, x13, x4
    00542bccadcs x25, x15, x14
    00542bd0adcs x25, x17, x16
    00542bd4adcs x25, x20, x19
    00542bd8adcs x25, x22, x21
    00542bdcadcs x25, x24, x23
    00542be0str x25, [sp+3304]
    00542be4adds x30, x13, x4
    00542be8adcs x30, x15, x14
    00542becadcs x30, x17, x16
    00542bf0adcs x30, x20, x19
    00542bf4adcs x30, x22, x21
    00542bf8adcs x30, x24, x23
    00542bfcadc x30, xzr, xzr
    00542c00str x30, [sp+3312]
    00542c04str x25, [sp+4048]
    00542c08str x30, [sp+4040]
    00542c0cstr x25, [sp+1304]
    00542c10str x30, [sp+1296]
    00542c14str xzr, [sp+1288]
    00542c18str xzr, [sp+1280]
    00542c1cldr x25, [sp+1608]
    00542c20ldr x30, [sp+1856]
    00542c24add x25, x25, x30
    00542c28ldr x30, [sp+1392]
    00542c2cldr x0, [sp+1576]
    00542c30add x30, x30, x0
    00542c34adcs x0, x25, x30
    00542c38adds x0, x13, x4
    00542c3cadcs x0, x15, x14
    00542c40adcs x0, x17, x16
    00542c44adcs x0, x20, x19
    00542c48adcs x0, x22, x21
    00542c4cadcs x0, x24, x23
    00542c50adcs x0, x25, x30
    00542c54str x0, [sp+3312]
    00542c58adds x4, x13, x4
    00542c5cadcs x4, x15, x14
    00542c60adcs x4, x17, x16
    00542c64adcs x4, x20, x19
    00542c68adcs x4, x22, x21
    00542c6cadcs x4, x24, x23
    00542c70adcs x4, x25, x30
    00542c74adc x4, xzr, xzr
    00542c78str x4, [sp+3304]
    00542c7cstr x0, [sp+4032]
    00542c80str x4, [sp+4024]
    00542c84str x0, [sp+1288]
    00542c88str x4, [sp+1280]
    00542c8cstr xzr, [sp+1272]
    00542c90str xzr, [sp+1264]
    00542c94ldr x4, [sp+472]
    00542c98umulh x13, x4, x6
    00542c9cstr x13, [sp+3304]
    00542ca0ubfm x4, x4, 31, 30
    00542ca4str x4, [sp+3312]
    00542ca8str x13, [sp+4016]
    00542cacstr x4, [sp+4008]
    00542cb0str x13, [sp+1264]
    00542cb4str x4, [sp+1272]
    00542cb8str xzr, [sp+1256]
    00542cbcstr xzr, [sp+1248]
    00542cc0ldr x4, [sp+472]
    00542cc4umulh x13, x4, x5
    00542cc8str x13, [sp+3312]
    00542cccmadd x4, x4, x5, xzr
    00542cd0str x4, [sp+3304]
    00542cd4str x13, [sp+4000]
    00542cd8str x4, [sp+3992]
    00542cdcstr x13, [sp+1248]
    00542ce0str x4, [sp+1256]
    00542ce4str xzr, [sp+1240]
    00542ce8str xzr, [sp+1224]
    00542cecldr x4, [sp+472]
    00542cf0umulh x5, x4, x6
    00542cf4str x5, [sp+3304]
    00542cf8ubfm x4, x4, 31, 30
    00542cfcstr x4, [sp+3312]
    00542d00str x5, [sp+3984]
    00542d04str x4, [sp+3976]
    00542d08str x5, [sp+1224]
    00542d0cstr x4, [sp+1240]
    00542d10str xzr, [sp+1216]
    00542d14str xzr, [sp+1208]
    00542d18ldr x4, [sp+472]
    00542d1cumulh x5, x4, x7
    00542d20str x5, [sp+3312]
    00542d24madd x4, x4, x7, xzr
    00542d28str x4, [sp+3304]
    00542d2cstr x5, [sp+3968]
    00542d30str x4, [sp+3960]
    00542d34str x5, [sp+1208]
    00542d38str x4, [sp+1216]
    00542d3cstr xzr, [sp+1200]
    00542d40str xzr, [sp+1192]
    00542d44ldr x4, [sp+1240]
    00542d48adds x6, x5, x4
    00542d4cadc x6, xzr, xzr
    00542d50adds x7, x5, x4
    00542d54str x7, [sp+3304]
    00542d58str x6, [sp+3312]
    00542d5cstr x7, [sp+3944]
    00542d60str x6, [sp+3936]
    00542d64str x7, [sp+1200]
    00542d68str x6, [sp+1192]
    00542d6cstr xzr, [sp+1184]
    00542d70str xzr, [sp+1176]
    00542d74ldr x6, [sp+1256]
    00542d78ldr x7, [sp+1224]
    00542d7cadds x13, x5, x4
    00542d80adcs x13, x7, x6
    00542d84adds x13, x5, x4
    00542d88adcs x13, x7, x6
    00542d8cstr x13, [sp+3312]
    00542d90adds x14, x5, x4
    00542d94adcs x14, x7, x6
    00542d98adc x14, xzr, xzr
    00542d9cstr x14, [sp+3304]
    00542da0str x13, [sp+3928]
    00542da4str x14, [sp+3920]
    00542da8str x13, [sp+1184]
    00542dacstr x14, [sp+1176]
    00542db0str xzr, [sp+1168]
    00542db4str xzr, [sp+1160]
    00542db8ldr x13, [sp+1272]
    00542dbcldr x14, [sp+1248]
    00542dc0adcs x15, x14, x13
    00542dc4adds x15, x5, x4
    00542dc8adcs x15, x7, x6
    00542dccadcs x15, x14, x13
    00542dd0str x15, [sp+3304]
    00542dd4adds x16, x5, x4
    00542dd8adcs x16, x7, x6
    00542ddcadcs x16, x14, x13
    00542de0adc x16, xzr, xzr
    00542de4str x16, [sp+3312]
    00542de8str x15, [sp+3904]
    00542decstr x16, [sp+3896]
    00542df0str x15, [sp+1168]
    00542df4str x16, [sp+1160]
    00542df8str xzr, [sp+1152]
    00542dfcstr xzr, [sp+1136]
    00542e00ldr x15, [sp+472]
    00542e04ldr x16, [sp+1264]
    00542e08adcs x17, x16, x15
    00542e0cadds x17, x5, x4
    00542e10adcs x17, x7, x6
    00542e14adcs x17, x14, x13
    00542e18adcs x17, x16, x15
    00542e1cstr x17, [sp+3312]
    00542e20adds x4, x5, x4
    00542e24adcs x4, x7, x6
    00542e28adcs x4, x14, x13
    00542e2cadcs x4, x16, x15
    00542e30adc x4, xzr, xzr
    00542e34str x4, [sp+3304]
    00542e38str x17, [sp+3888]
    00542e3cstr x4, [sp+3880]
    00542e40str x17, [sp+1152]
    00542e44str x4, [sp+1136]
    00542e48str xzr, [sp+1128]
    00542e4cstr xzr, [sp+1120]
    00542e50ldr x4, [sp+1216]
    00542e54ldr x5, [sp+1376]
    00542e58adds x6, x5, x4
    00542e5cadc x6, xzr, xzr
    00542e60adds x7, x5, x4
    00542e64str x7, [sp+3304]
    00542e68str x6, [sp+3312]
    00542e6cstr x7, [sp+3872]
    00542e70str x6, [sp+3864]
    00542e74str x7, [sp+1128]
    00542e78str x6, [sp+1120]
    00542e7cstr xzr, [sp+1112]
    00542e80str xzr, [sp+1104]
    00542e84ldr x6, [sp+1200]
    00542e88ldr x7, [sp+1360]
    00542e8cadds x13, x5, x4
    00542e90adcs x13, x7, x6
    00542e94adds x13, x5, x4
    00542e98adcs x13, x7, x6
    00542e9cstr x13, [sp+3312]
    00542ea0adds x14, x5, x4
    00542ea4adcs x14, x7, x6
    00542ea8adc x14, xzr, xzr
    00542eacstr x14, [sp+3304]
    00542eb0str x13, [sp+3856]
    00542eb4str x14, [sp+3848]
    00542eb8str x13, [sp+1112]
    00542ebcstr x14, [sp+1104]
    00542ec0str xzr, [sp+1096]
    00542ec4str xzr, [sp+1088]
    00542ec8ldr x13, [sp+1184]
    00542eccldr x14, [sp+1344]
    00542ed0adcs x15, x14, x13
    00542ed4adds x15, x5, x4
    00542ed8adcs x15, x7, x6
    00542edcadcs x15, x14, x13
    00542ee0str x15, [sp+3304]
    00542ee4adds x16, x5, x4
    00542ee8adcs x16, x7, x6
    00542eecadcs x16, x14, x13
    00542ef0adc x16, xzr, xzr
    00542ef4str x16, [sp+3312]
    00542ef8str x15, [sp+3840]
    00542efcstr x16, [sp+3832]
    00542f00str x15, [sp+1096]
    00542f04str x16, [sp+1088]
    00542f08str xzr, [sp+1080]
    00542f0cstr xzr, [sp+1072]
    00542f10ldr x15, [sp+1168]
    00542f14ldr x16, [sp+1328]
    00542f18adcs x17, x16, x15
    00542f1cadds x17, x5, x4
    00542f20adcs x17, x7, x6
    00542f24adcs x17, x14, x13
    00542f28adcs x17, x16, x15
    00542f2cstr x17, [sp+3312]
    00542f30adds x19, x5, x4
    00542f34adcs x19, x7, x6
    00542f38adcs x19, x14, x13
    00542f3cadcs x19, x16, x15
    00542f40adc x19, xzr, xzr
    00542f44str x19, [sp+3304]
    00542f48str x17, [sp+3824]
    00542f4cstr x19, [sp+3816]
    00542f50str x17, [sp+1080]
    00542f54str x19, [sp+1072]
    00542f58str xzr, [sp+1064]
    00542f5cstr xzr, [sp+1048]
    00542f60ldr x17, [sp+1152]
    00542f64ldr x19, [sp+1304]
    00542f68adcs x20, x19, x17
    00542f6cadds x20, x5, x4
    00542f70adcs x20, x7, x6
    00542f74adcs x20, x14, x13
    00542f78adcs x20, x16, x15
    00542f7cadcs x20, x19, x17
    00542f80str x20, [sp+3304]
    00542f84adds x21, x5, x4
    00542f88adcs x21, x7, x6
    00542f8cadcs x21, x14, x13
    00542f90adcs x21, x16, x15
    00542f94adcs x21, x19, x17
    00542f98adc x21, xzr, xzr
    00542f9cstr x21, [sp+3312]
    00542fa0str x20, [sp+3808]
    00542fa4str x21, [sp+3800]
    00542fa8str x20, [sp+1064]
    00542facstr x21, [sp+1048]
    00542fb0str xzr, [sp+1040]
    00542fb4str xzr, [sp+1032]
    00542fb8ldr x20, [sp+1288]
    00542fbcldr x21, [sp+1136]
    00542fc0adcs x22, x20, x21
    00542fc4adds x22, x5, x4
    00542fc8adcs x22, x7, x6
    00542fccadcs x22, x14, x13
    00542fd0adcs x22, x16, x15
    00542fd4adcs x22, x19, x17
    00542fd8adcs x22, x20, x21
    00542fdcstr x22, [sp+3312]
    00542fe0adds x4, x5, x4
    00542fe4adcs x4, x7, x6
    00542fe8adcs x4, x14, x13
    00542fecadcs x4, x16, x15
    00542ff0adcs x4, x19, x17
    00542ff4adcs x4, x20, x21
    00542ff8adc x4, xzr, xzr
    00542ffcstr x4, [sp+3304]
    00543000str x22, [sp+3792]
    00543004str x4, [sp+3784]
    00543008str x22, [sp+1040]
    0054300cstr x4, [sp+1032]
    00543010str xzr, [sp+1024]
    00543014ldr x4, [sp+1128]
    00543018add x5, x4, x4, lsl #32
    0054301cumulh x4, x4, x9
    00543020str x4, [sp+3304]
    00543024str x5, [sp+3312]
    00543028str x4, [sp+3768]
    0054302cstr x5, [sp+3760]
    00543030str x5, [sp+1024]
    00543034str xzr, [sp+1016]
    00543038str xzr, [sp+1008]
    0054303csub x4, xzr, x5
    00543040umulh x5, x5, x10
    00543044str x5, [sp+3312]
    00543048str x4, [sp+3304]
    0054304cstr x5, [sp+3752]
    00543050str x4, [sp+3744]
    00543054str x5, [sp+1008]
    00543058str x4, [sp+1016]
    0054305cstr xzr, [sp+1000]
    00543060str xzr, [sp+992]
    00543064ldr x4, [sp+1024]
    00543068umulh x5, x4, x10
    0054306cstr x5, [sp+3304]
    00543070sub x4, xzr, x4
    00543074str x4, [sp+3312]
    00543078str x5, [sp+3736]
    0054307cstr x4, [sp+3720]
    00543080str x5, [sp+992]
    00543084str x4, [sp+1000]
    00543088str xzr, [sp+984]
    0054308cstr xzr, [sp+968]
    00543090ldr x4, [sp+1024]
    00543094umulh x5, x4, x10
    00543098str x5, [sp+3312]
    0054309csub x4, xzr, x4
    005430a0str x4, [sp+3304]
    005430a4str x5, [sp+3712]
    005430a8str x4, [sp+3704]
    005430acstr x5, [sp+968]
    005430b0str x4, [sp+984]
    005430b4str xzr, [sp+960]
    005430b8str xzr, [sp+952]
    005430bcldr x4, [sp+1024]
    005430c0umulh x5, x4, x8
    005430c4str x5, [sp+3304]
    005430c8madd x4, x4, x8, xzr
    005430ccstr x4, [sp+3312]
    005430d0str x5, [sp+3696]
    005430d4str x4, [sp+3688]
    005430d8str x5, [sp+952]
    005430dcstr x4, [sp+960]
    005430e0str xzr, [sp+944]
    005430e4str xzr, [sp+936]
    005430e8ldr x4, [sp+1024]
    005430ecumulh x5, x4, x11
    005430f0str x5, [sp+3312]
    005430f4madd x4, x4, x11, xzr
    005430f8str x4, [sp+3304]
    005430fcstr x5, [sp+3680]
    00543100str x4, [sp+3672]
    00543104str x5, [sp+936]
    00543108str x4, [sp+944]
    0054310cstr xzr, [sp+928]
    00543110str xzr, [sp+920]
    00543114ldr x4, [sp+1024]
    00543118umulh x5, x4, x12
    0054311cstr x5, [sp+3304]
    00543120sub x6, xzr, x4
    00543124add x4, x6, x4, lsl #32
    00543128str x4, [sp+3312]
    0054312cstr x5, [sp+3664]
    00543130str x4, [sp+3656]
    00543134str x5, [sp+920]
    00543138str x4, [sp+928]
    0054313cstr xzr, [sp+912]
    00543140str xzr, [sp+904]
    00543144ldr x4, [sp+944]
    00543148adds x6, x5, x4
    0054314cadc x6, xzr, xzr
    00543150adds x7, x5, x4
    00543154str x7, [sp+3312]
    00543158str x6, [sp+3304]
    0054315cstr x7, [sp+3648]
    00543160str x6, [sp+3640]
    00543164str x7, [sp+912]
    00543168str x6, [sp+904]
    0054316cstr xzr, [sp+896]
    00543170str xzr, [sp+880]
    00543174ldr x6, [sp+960]
    00543178ldr x7, [sp+936]
    0054317cadds x9, x5, x4
    00543180adcs x9, x7, x6
    00543184adds x9, x5, x4
    00543188adcs x9, x7, x6
    0054318cstr x9, [sp+3304]
    00543190adds x13, x5, x4
    00543194adcs x13, x7, x6
    00543198adc x13, xzr, xzr
    0054319cstr x13, [sp+3312]
    005431a0str x9, [sp+3632]
    005431a4str x13, [sp+3624]
    005431a8str x9, [sp+896]
    005431acstr x13, [sp+880]
    005431b0str xzr, [sp+872]
    005431b4str xzr, [sp+864]
    005431b8ldr x9, [sp+984]
    005431bcldr x13, [sp+952]
    005431c0adcs x14, x13, x9
    005431c4adds x14, x5, x4
    005431c8adcs x14, x7, x6
    005431ccadcs x14, x13, x9
    005431d0str x14, [sp+3312]
    005431d4adds x15, x5, x4
    005431d8adcs x15, x7, x6
    005431dcadcs x15, x13, x9
    005431e0adc x15, xzr, xzr
    005431e4str x15, [sp+3304]
    005431e8str x14, [sp+3616]
    005431ecstr x15, [sp+3608]
    005431f0str x14, [sp+872]
    005431f4str x15, [sp+864]
    005431f8str xzr, [sp+856]
    005431fcstr xzr, [sp+848]
    00543200ldr x14, [sp+1000]
    00543204ldr x15, [sp+968]
    00543208adcs x16, x15, x14
    0054320cadds x16, x5, x4
    00543210adcs x16, x7, x6
    00543214adcs x16, x13, x9
    00543218adcs x16, x15, x14
    0054321cstr x16, [sp+3304]
    00543220adds x17, x5, x4
    00543224adcs x17, x7, x6
    00543228adcs x17, x13, x9
    0054322cadcs x17, x15, x14
    00543230adc x17, xzr, xzr
    00543234str x17, [sp+3312]
    00543238str x16, [sp+3592]
    0054323cstr x17, [sp+3584]
    00543240str x16, [sp+856]
    00543244str x17, [sp+848]
    00543248str xzr, [sp+840]
    0054324cstr xzr, [sp+832]
    00543250ldr x16, [sp+1016]
    00543254ldr x17, [sp+992]
    00543258adcs x19, x17, x16
    0054325cadds x19, x5, x4
    00543260adcs x19, x7, x6
    00543264adcs x19, x13, x9
    00543268adcs x19, x15, x14
    0054326cadcs x19, x17, x16
    00543270str x19, [sp+3312]
    00543274adds x4, x5, x4
    00543278adcs x4, x7, x6
    0054327cadcs x4, x13, x9
    00543280adcs x4, x15, x14
    00543284adcs x4, x17, x16
    00543288adc x4, xzr, xzr
    0054328cstr x4, [sp+3304]
    00543290str x19, [sp+3576]
    00543294str x4, [sp+3568]
    00543298str x19, [sp+840]
    0054329cstr x4, [sp+832]
    005432a0str xzr, [sp+824]
    005432a4ldr x4, [sp+928]
    005432a8ldr x5, [sp+1128]
    005432acadds x6, x5, x4
    005432b0adc x6, xzr, xzr
    005432b4adds x7, x5, x4
    005432b8str x7, [sp+3304]
    005432bcstr x6, [sp+3312]
    005432c0str x7, [sp+3560]
    005432c4str x6, [sp+3552]
    005432c8str x6, [sp+824]
    005432ccstr xzr, [sp+816]
    005432d0str xzr, [sp+800]
    005432d4ldr x6, [sp+912]
    005432d8ldr x7, [sp+1112]
    005432dcadds x9, x5, x4
    005432e0adcs x9, x7, x6
    005432e4adds x9, x5, x4
    005432e8adcs x9, x7, x6
    005432ecstr x9, [sp+3312]
    005432f0adds x13, x5, x4
    005432f4adcs x13, x7, x6
    005432f8adc x13, xzr, xzr
    005432fcstr x13, [sp+3304]
    00543300str x9, [sp+3536]
    00543304str x13, [sp+3528]
    00543308str x9, [sp+816]
    0054330cstr x13, [sp+800]
    00543310str xzr, [sp+792]
    00543314str xzr, [sp+784]
    00543318ldr x9, [sp+896]
    0054331cldr x13, [sp+1096]
    00543320adcs x14, x13, x9
    00543324adds x14, x5, x4
    00543328adcs x14, x7, x6
    0054332cadcs x14, x13, x9
    00543330str x14, [sp+3304]
    00543334adds x15, x5, x4
    00543338adcs x15, x7, x6
    0054333cadcs x15, x13, x9
    00543340adc x15, xzr, xzr
    00543344str x15, [sp+3312]
    00543348str x14, [sp+3520]
    0054334cstr x15, [sp+3512]
    00543350str x14, [sp+792]
    00543354str x15, [sp+784]
    00543358str xzr, [sp+776]
    0054335cstr xzr, [sp+768]
    00543360ldr x14, [sp+872]
    00543364ldr x15, [sp+1080]
    00543368adcs x16, x15, x14
    0054336cadds x16, x5, x4
    00543370adcs x16, x7, x6
    00543374adcs x16, x13, x9
    00543378adcs x16, x15, x14
    0054337cstr x16, [sp+3312]
    00543380adds x17, x5, x4
    00543384adcs x17, x7, x6
    00543388adcs x17, x13, x9
    0054338cadcs x17, x15, x14
    00543390adc x17, xzr, xzr
    00543394str x17, [sp+3304]
    00543398str x16, [sp+3504]
    0054339cstr x17, [sp+3496]
    005433a0str x16, [sp+776]
    005433a4str x17, [sp+768]
    005433a8str xzr, [sp+760]
    005433acstr xzr, [sp+752]
    005433b0ldr x16, [sp+856]
    005433b4ldr x17, [sp+1064]
    005433b8adcs x19, x17, x16
    005433bcadds x19, x5, x4
    005433c0adcs x19, x7, x6
    005433c4adcs x19, x13, x9
    005433c8adcs x19, x15, x14
    005433ccadcs x19, x17, x16
    005433d0str x19, [sp+3304]
    005433d4adds x20, x5, x4
    005433d8adcs x20, x7, x6
    005433dcadcs x20, x13, x9
    005433e0adcs x20, x15, x14
    005433e4adcs x20, x17, x16
    005433e8adc x20, xzr, xzr
    005433ecstr x20, [sp+3312]
    005433f0str x19, [sp+3488]
    005433f4str x20, [sp+3480]
    005433f8str x19, [sp+760]
    005433fcstr x20, [sp+752]
    00543400str xzr, [sp+744]
    00543404str xzr, [sp+736]
    00543408ldr x19, [sp+840]
    0054340cldr x20, [sp+1040]
    00543410adcs x21, x20, x19
    00543414adds x21, x5, x4
    00543418adcs x21, x7, x6
    0054341cadcs x21, x13, x9
    00543420adcs x21, x15, x14
    00543424adcs x21, x17, x16
    00543428adcs x21, x20, x19
    0054342cstr x21, [sp+3312]
    00543430adds x22, x5, x4
    00543434adcs x22, x7, x6
    00543438adcs x22, x13, x9
    0054343cadcs x22, x15, x14
    00543440adcs x22, x17, x16
    00543444adcs x22, x20, x19
    00543448adc x22, xzr, xzr
    0054344cstr x22, [sp+3304]
    00543450str x21, [sp+3472]
    00543454str x22, [sp+3464]
    00543458str x21, [sp+744]
    0054345cstr x22, [sp+736]
    00543460str xzr, [sp+728]
    00543464str xzr, [sp+712]
    00543468ldr x21, [sp+1032]
    0054346cldr x22, [sp+1280]
    00543470add x21, x21, x22
    00543474ldr x22, [sp+832]
    00543478ldr x23, [sp+1008]
    0054347cadd x22, x22, x23
    00543480adcs x23, x21, x22
    00543484adds x23, x5, x4
    00543488adcs x23, x7, x6
    0054348cadcs x23, x13, x9
    00543490adcs x23, x15, x14
    00543494adcs x23, x17, x16
    00543498adcs x23, x20, x19
    0054349cadcs x23, x21, x22
    005434a0str x23, [sp+3304]
    005434a4adds x4, x5, x4
    005434a8adcs x4, x7, x6
    005434acadcs x4, x13, x9
    005434b0adcs x4, x15, x14
    005434b4adcs x4, x17, x16
    005434b8adcs x4, x20, x19
    005434bcadcs x4, x21, x22
    005434c0adc x4, xzr, xzr
    005434c4str x4, [sp+3312]
    005434c8str x23, [sp+3456]
    005434ccstr x4, [sp+3448]
    005434d0str x23, [sp+728]
    005434d4str x4, [sp+712]
    005434d8str xzr, [sp+704]
    005434dcstr xzr, [sp+696]
    005434e0ldr x4, [sp+816]
    005434e4subs x5, x4, x12
    005434e8sbc x5, xzr, xzr
    005434ecsub x5, xzr, x5
    005434f0subs x6, x4, x12
    005434f4str x6, [sp+3312]
    005434f8str x5, [sp+3304]
    005434fcstr x6, [sp+3440]
    00543500str x5, [sp+3432]
    00543504str x6, [sp+704]
    00543508str x5, [sp+696]
    0054350cstr xzr, [sp+688]
    00543510str xzr, [sp+680]
    00543514ldr x5, [sp+792]
    00543518subs x6, x4, x12
    0054351csbcs x6, x5, x11
    00543520subs x6, x4, x12
    00543524sbcs x6, x5, x11
    00543528str x6, [sp+3304]
    0054352csubs x7, x4, x12
    00543530sbcs x7, x5, x11
    00543534sbc x7, xzr, xzr
    00543538sub x7, xzr, x7
    0054353cstr x7, [sp+3312]
    00543540str x6, [sp+3416]
    00543544str x7, [sp+3408]
    00543548str x6, [sp+688]
    0054354cstr x7, [sp+680]
    00543550str xzr, [sp+672]
    00543554str xzr, [sp+664]
    00543558ldr x6, [sp+776]
    0054355csbcs x7, x6, x8
    00543560subs x7, x4, x12
    00543564sbcs x7, x5, x11
    00543568sbcs x7, x6, x8
    0054356cstr x7, [sp+3312]
    00543570subs x9, x4, x12
    00543574sbcs x9, x5, x11
    00543578sbcs x9, x6, x8
    0054357csbc x9, xzr, xzr
    00543580sub x9, xzr, x9
    00543584str x9, [sp+3304]
    00543588str x7, [sp+3400]
    0054358cstr x9, [sp+3392]
    00543590str x7, [sp+672]
    00543594str x9, [sp+664]
    00543598str xzr, [sp+656]
    0054359cstr xzr, [sp+648]
    005435a0ldr x7, [sp+760]
    005435a4sbcs x9, x7, x10
    005435a8subs x9, x4, x12
    005435acsbcs x9, x5, x11
    005435b0sbcs x9, x6, x8
    005435b4sbcs x9, x7, x10
    005435b8str x9, [sp+3304]
    005435bcsubs x13, x4, x12
    005435c0sbcs x13, x5, x11
    005435c4sbcs x13, x6, x8
    005435c8sbcs x13, x7, x10
    005435ccsbc x13, xzr, xzr
    005435d0sub x13, xzr, x13
    005435d4str x13, [sp+3312]
    005435d8str x9, [sp+3384]
    005435dcstr x13, [sp+3376]
    005435e0str x9, [sp+656]
    005435e4str x13, [sp+648]
    005435e8str xzr, [sp+640]
    005435ecstr xzr, [sp+616]
    005435f0ldr x9, [sp+744]
    005435f4sbcs x13, x9, x10
    005435f8subs x13, x4, x12
    005435fcsbcs x13, x5, x11
    00543600sbcs x13, x6, x8
    00543604sbcs x13, x7, x10
    00543608sbcs x13, x9, x10
    0054360cstr x13, [sp+3312]
    00543610subs x14, x4, x12
    00543614sbcs x14, x5, x11
    00543618sbcs x14, x6, x8
    0054361csbcs x14, x7, x10
    00543620sbcs x14, x9, x10
    00543624sbc x14, xzr, xzr
    00543628sub x14, xzr, x14
    0054362cstr x14, [sp+3304]
    00543630str x13, [sp+3360]
    00543634str x14, [sp+3352]
    00543638str x13, [sp+640]
    0054363cstr x14, [sp+616]
    00543640str xzr, [sp+608]
    00543644str xzr, [sp+600]
    00543648ldr x13, [sp+728]
    0054364csbcs x14, x13, x10
    00543650subs x14, x4, x12
    00543654sbcs x14, x5, x11
    00543658sbcs x14, x6, x8
    0054365csbcs x14, x7, x10
    00543660sbcs x14, x9, x10
    00543664sbcs x14, x13, x10
    00543668str x14, [sp+3304]
    0054366csubs x15, x4, x12
    00543670sbcs x15, x5, x11
    00543674sbcs x15, x6, x8
    00543678sbcs x15, x7, x10
    0054367csbcs x15, x9, x10
    00543680sbcs x15, x13, x10
    00543684sbc x15, xzr, xzr
    00543688sub x15, xzr, x15
    0054368cstr x15, [sp+3312]
    00543690str x14, [sp+3344]
    00543694str x15, [sp+3336]
    00543698str x14, [sp+608]
    0054369cstr x15, [sp+600]
    005436a0str xzr, [sp+592]
    005436a4ldr x14, [sp+712]
    005436a8sbcs x15, x14, x26
    005436acsubs x15, x4, x12
    005436b0sbcs x15, x5, x11
    005436b4sbcs x15, x6, x8
    005436b8sbcs x15, x7, x10
    005436bcsbcs x15, x9, x10
    005436c0sbcs x15, x13, x10
    005436c4sbcs x15, x14, x26
    005436c8str x15, [sp+3312]
    005436ccsubs x4, x4, x12
    005436d0sbcs x4, x5, x11
    005436d4sbcs x4, x6, x8
    005436d8sbcs x4, x7, x10
    005436dcsbcs x4, x9, x10
    005436e0sbcs x4, x13, x10
    005436e4sbcs x4, x14, x26
    005436e8sbc x4, xzr, xzr
    005436ecsub x1, xzr, x4
    005436f0str x1, [sp+3304]
    005436f4str x15, [sp+3328]
    005436f8str x1, [sp+3320]
    005436fcstr x1, [sp+592]
    00543700str xzr, [sp+584]
    00543704ldr x2, [sp+704]
    00543708ldr x3, [sp+816]
    0054370cadd x0, sp, 584
    00543710bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00543714str xzr, [sp+576]
    00543718ldr x2, [sp+688]
    0054371cldr x3, [sp+792]
    00543720ldr x1, [sp+592]
    00543724add x0, sp, 576
    00543728bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    0054372cstr xzr, [sp+568]
    00543730ldr x2, [sp+672]
    00543734ldr x3, [sp+776]
    00543738ldr x1, [sp+592]
    0054373cadd x0, sp, 568
    00543740bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00543744str xzr, [sp+560]
    00543748ldr x2, [sp+656]
    0054374cldr x3, [sp+760]
    00543750ldr x1, [sp+592]
    00543754add x0, sp, 560
    00543758bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    0054375cstr xzr, [sp+552]
    00543760ldr x2, [sp+640]
    00543764ldr x3, [sp+744]
    00543768ldr x1, [sp+592]
    0054376cadd x0, sp, 552
    00543770bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00543774str xzr, [sp+536]
    00543778ldr x2, [sp+608]
    0054377cldr x3, [sp+728]
    00543780ldr x1, [sp+592]
    00543784add x0, sp, 536
    00543788bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    0054378cldr x4, [sp+6440]
    00543790ldrsb x27, [x4]
    00543794ldr x5, [sp+584]
    00543798str x5, [x4]
    0054379cldr x4, [sp+6440]
    005437a0ldrsb x27, [x4]
    005437a4ldr x5, [sp+576]
    005437a8str x5, [x4+8]
    005437acldr x4, [sp+6440]
    005437b0ldrsb x27, [x4]
    005437b4ldr x5, [sp+568]
    005437b8str x5, [x4+16]
    005437bcldr x4, [sp+6440]
    005437c0ldrsb x27, [x4]
    005437c4ldr x5, [sp+560]
    005437c8str x5, [x4+24]
    005437ccldr x4, [sp+6440]
    005437d0ldrsb x27, [x4]
    005437d4ldr x5, [sp+552]
    005437d8str x5, [x4+32]
    005437dcldr x4, [sp+6440]
    005437e0ldrsb x27, [x4]
    005437e4ldr x5, [sp+536]
    005437e8str x5, [x4+40]
    005437ecldp x29, x30, [sp-8]
    005437f0movz x27, 6432
    005437f4add sp, sp, x27
    005437f8ret x30
    005437fc
    005437fcloc_5437fc:
    005437fcstp x0, x1, [sp+8]
    00543800mov x3, x30
    00543804bl runtime.morestack_noctxt.abi0
    00543808ldp x0, x1, [sp+8]
    0054380cb 0x540440
    00540440
    00543810
    00543810crypto/internal/fips140/nistec/fiat.p384Selectznz: ; void crypto/internal/fips140/nistec/fiat.p384Selectznz(uint64[6] * out1, crypto/internal/fips140/nistec/fiat.p384Uint1 arg1, uint64[6] * arg2, uint64[6] * arg3)
    00543810ldr x16, [x28+16]
    00543814sub x17, sp, 64
    00543818subs xzr, x17, x16
    0054381cb.ls 0x5439c0
    00543820str x30, [sp-192]!
    00543824stur x29, [sp-8]
    00543828sub x29, sp, 8
    0054382cstr x0, [sp+200]
    00543830str x1, [sp+208]
    00543834str x2, [sp+216]
    00543838str x3, [sp+224]
    0054383cstr xzr, [sp+80]
    00543840ldrsb x27, [x2]
    00543844ldr x2, [x2]
    00543848str x2, [sp+176]
    0054384cldrsb x27, [x3]
    00543850ldr x3, [x3]
    00543854str x3, [sp+168]
    00543858ldr x1, [sp+208]
    0054385cadd x0, sp, 80
    00543860bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00543864str xzr, [sp+72]
    00543868ldr x4, [sp+216]
    0054386cldrsb x27, [x4]
    00543870ldr x2, [x4+8]
    00543874str x2, [sp+160]
    00543878ldr x4, [sp+224]
    0054387cldrsb x27, [x4]
    00543880ldr x3, [x4+8]
    00543884str x3, [sp+152]
    00543888ldr x1, [sp+208]
    0054388cadd x0, sp, 72
    00543890bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00543894str xzr, [sp+64]
    00543898ldr x4, [sp+216]
    0054389cldrsb x27, [x4]
    005438a0ldr x2, [x4+16]
    005438a4str x2, [sp+144]
    005438a8ldr x4, [sp+224]
    005438acldrsb x27, [x4]
    005438b0ldr x3, [x4+16]
    005438b4str x3, [sp+136]
    005438b8ldr x1, [sp+208]
    005438bcadd x0, sp, 64
    005438c0bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    005438c4str xzr, [sp+56]
    005438c8ldr x4, [sp+216]
    005438ccldrsb x27, [x4]
    005438d0ldr x2, [x4+24]
    005438d4str x2, [sp+128]
    005438d8ldr x4, [sp+224]
    005438dcldrsb x27, [x4]
    005438e0ldr x3, [x4+24]
    005438e4str x3, [sp+120]
    005438e8ldr x1, [sp+208]
    005438ecadd x0, sp, 56
    005438f0bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    005438f4str xzr, [sp+48]
    005438f8ldr x4, [sp+216]
    005438fcldrsb x27, [x4]
    00543900ldr x2, [x4+32]
    00543904str x2, [sp+112]
    00543908ldr x4, [sp+224]
    0054390cldrsb x27, [x4]
    00543910ldr x3, [x4+32]
    00543914str x3, [sp+104]
    00543918ldr x1, [sp+208]
    0054391cadd x0, sp, 48
    00543920bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00543924str xzr, [sp+40]
    00543928ldr x4, [sp+216]
    0054392cldrsb x27, [x4]
    00543930ldr x2, [x4+40]
    00543934str x2, [sp+96]
    00543938ldr x4, [sp+224]
    0054393cldrsb x27, [x4]
    00543940ldr x3, [x4+40]
    00543944str x3, [sp+88]
    00543948ldr x1, [sp+208]
    0054394cadd x0, sp, 40
    00543950bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00543954ldr x4, [sp+200]
    00543958ldrsb x27, [x4]
    0054395cldr x5, [sp+80]
    00543960str x5, [x4]
    00543964ldr x4, [sp+200]
    00543968ldrsb x27, [x4]
    0054396cldr x5, [sp+72]
    00543970str x5, [x4+8]
    00543974ldr x4, [sp+200]
    00543978ldrsb x27, [x4]
    0054397cldr x5, [sp+64]
    00543980str x5, [x4+16]
    00543984ldr x4, [sp+200]
    00543988ldrsb x27, [x4]
    0054398cldr x5, [sp+56]
    00543990str x5, [x4+24]
    00543994ldr x4, [sp+200]
    00543998ldrsb x27, [x4]
    0054399cldr x5, [sp+48]
    005439a0str x5, [x4+32]
    005439a4ldr x4, [sp+200]
    005439a8ldrsb x27, [x4]
    005439acldr x5, [sp+40]
    005439b0str x5, [x4+40]
    005439b4ldur x29, [sp-8]
    005439b8ldr x30, [sp], 192
    005439bcret x30
    005439c0
    005439c0loc_5439c0:
    005439c0stp x0, x1, [sp+8]
    005439c4stp x2, x3, [sp+24]
    005439c8mov x3, x30
    005439ccbl runtime.morestack_noctxt.abi0
    005439d0ldp x0, x1, [sp+8]
    005439d4ldp x2, x3, [sp+24]
    005439d8b 0x543810
    005439dcudf 0
    00543810
    005439e0
    005439e0crypto/internal/fips140/nistec/fiat.p384ToBytes: ; void crypto/internal/fips140/nistec/fiat.p384ToBytes(uint8[48] * out1, uint64[6] * arg1)
    005439e0ldr x16, [x28+16]
    005439e4sub x17, sp, 272
    005439e8subs xzr, x17, x16
    005439ecb.ls 0x544018
    005439f0sub x20, sp, 400
    005439f4stp x29, x30, [x20-8]
    005439f8add sp, x20, 0
    005439fcsub x29, sp, 8
    00543a00str x0, [sp+408]
    00543a04str x1, [sp+416]
    00543a08ldrsb x27, [x1]
    00543a0cldr x0, [x1+40]
    00543a10str x0, [sp+384]
    00543a14ldrsb x27, [x1]
    00543a18ldr x0, [x1+32]
    00543a1cstr x0, [sp+336]
    00543a20ldrsb x27, [x1]
    00543a24ldr x0, [x1+24]
    00543a28str x0, [sp+296]
    00543a2cldrsb x27, [x1]
    00543a30ldr x0, [x1+16]
    00543a34str x0, [sp+256]
    00543a38ldr x0, [sp+416]
    00543a3cldrsb x27, [x0]
    00543a40ldr x0, [x0+8]
    00543a44str x0, [sp+216]
    00543a48ldr x0, [sp+416]
    00543a4cldrsb x27, [x0]
    00543a50ldr x0, [x0]
    00543a54str x0, [sp+168]
    00543a58strb w0, [sp+21]
    00543a5cldr x0, [sp+168]
    00543a60ubfm x0, x0, 8, 63
    00543a64str x0, [sp+96]
    00543a68strb w0, [sp+9]
    00543a6cldr x0, [sp+96]
    00543a70ubfm x0, x0, 8, 63
    00543a74str x0, [sp+376]
    00543a78strb w0, [sp+55]
    00543a7cldr x0, [sp+376]
    00543a80ubfm x0, x0, 8, 63
    00543a84str x0, [sp+368]
    00543a88strb w0, [sp+54]
    00543a8cldr x0, [sp+368]
    00543a90ubfm x0, x0, 8, 63
    00543a94str x0, [sp+360]
    00543a98strb w0, [sp+53]
    00543a9cldr x0, [sp+360]
    00543aa0ubfm x0, x0, 8, 63
    00543aa4str x0, [sp+352]
    00543aa8strb w0, [sp+52]
    00543aacldr x0, [sp+352]
    00543ab0ubfm x0, x0, 8, 63
    00543ab4str x0, [sp+344]
    00543ab8strb w0, [sp+51]
    00543abcldr x0, [sp+344]
    00543ac0ubfm x0, x0, 8, 63
    00543ac4strb w0, [sp+50]
    00543ac8ldr x0, [sp+216]
    00543accstrb w0, [sp+49]
    00543ad0ldr x0, [sp+216]
    00543ad4ubfm x0, x0, 8, 63
    00543ad8str x0, [sp+328]
    00543adcstrb w0, [sp+48]
    00543ae0ldr x0, [sp+328]
    00543ae4ubfm x0, x0, 8, 63
    00543ae8str x0, [sp+320]
    00543aecstrb w0, [sp+47]
    00543af0ldr x0, [sp+320]
    00543af4ubfm x0, x0, 8, 63
    00543af8str x0, [sp+312]
    00543afcstrb w0, [sp+46]
    00543b00ldr x0, [sp+312]
    00543b04ubfm x0, x0, 8, 63
    00543b08str x0, [sp+304]
    00543b0cstrb w0, [sp+45]
    00543b10ldr x0, [sp+304]
    00543b14ubfm x0, x0, 8, 63
    00543b18str x0, [sp+288]
    00543b1cstrb w0, [sp+44]
    00543b20ldr x0, [sp+288]
    00543b24ubfm x0, x0, 8, 63
    00543b28str x0, [sp+280]
    00543b2cstrb w0, [sp+43]
    00543b30ldr x0, [sp+280]
    00543b34ubfm x0, x0, 8, 63
    00543b38strb w0, [sp+42]
    00543b3cldr x0, [sp+256]
    00543b40strb w0, [sp+41]
    00543b44ldr x0, [sp+256]
    00543b48ubfm x0, x0, 8, 63
    00543b4cstr x0, [sp+272]
    00543b50strb w0, [sp+40]
    00543b54ldr x0, [sp+272]
    00543b58ubfm x0, x0, 8, 63
    00543b5cstr x0, [sp+264]
    00543b60strb w0, [sp+39]
    00543b64ldr x0, [sp+264]
    00543b68ubfm x0, x0, 8, 63
    00543b6cstr x0, [sp+248]
    00543b70strb w0, [sp+38]
    00543b74ldr x0, [sp+248]
    00543b78ubfm x0, x0, 8, 63
    00543b7cstr x0, [sp+240]
    00543b80strb w0, [sp+37]
    00543b84ldr x0, [sp+240]
    00543b88ubfm x0, x0, 8, 63
    00543b8cstr x0, [sp+232]
    00543b90strb w0, [sp+36]
    00543b94ldr x0, [sp+232]
    00543b98ubfm x0, x0, 8, 63
    00543b9cstr x0, [sp+224]
    00543ba0strb w0, [sp+35]
    00543ba4ldr x0, [sp+224]
    00543ba8ubfm x0, x0, 8, 63
    00543bacstrb w0, [sp+34]
    00543bb0ldr x0, [sp+296]
    00543bb4strb w0, [sp+33]
    00543bb8ldr x0, [sp+296]
    00543bbcubfm x0, x0, 8, 63
    00543bc0str x0, [sp+208]
    00543bc4strb w0, [sp+32]
    00543bc8ldr x0, [sp+208]
    00543bccubfm x0, x0, 8, 63
    00543bd0str x0, [sp+200]
    00543bd4strb w0, [sp+31]
    00543bd8ldr x0, [sp+200]
    00543bdcubfm x0, x0, 8, 63
    00543be0str x0, [sp+192]
    00543be4strb w0, [sp+30]
    00543be8ldr x0, [sp+192]
    00543becubfm x0, x0, 8, 63
    00543bf0str x0, [sp+184]
    00543bf4strb w0, [sp+29]
    00543bf8ldr x0, [sp+184]
    00543bfcubfm x0, x0, 8, 63
    00543c00str x0, [sp+176]
    00543c04strb w0, [sp+28]
    00543c08ldr x0, [sp+176]
    00543c0cubfm x0, x0, 8, 63
    00543c10str x0, [sp+160]
    00543c14strb w0, [sp+27]
    00543c18ldr x0, [sp+160]
    00543c1cubfm x0, x0, 8, 63
    00543c20strb w0, [sp+26]
    00543c24ldr x0, [sp+336]
    00543c28strb w0, [sp+25]
    00543c2cldr x0, [sp+336]
    00543c30ubfm x0, x0, 8, 63
    00543c34str x0, [sp+152]
    00543c38strb w0, [sp+24]
    00543c3cldr x0, [sp+152]
    00543c40ubfm x0, x0, 8, 63
    00543c44str x0, [sp+144]
    00543c48strb w0, [sp+23]
    00543c4cldr x0, [sp+144]
    00543c50ubfm x0, x0, 8, 63
    00543c54str x0, [sp+136]
    00543c58strb w0, [sp+22]
    00543c5cldr x0, [sp+136]
    00543c60ubfm x0, x0, 8, 63
    00543c64str x0, [sp+128]
    00543c68strb w0, [sp+20]
    00543c6cldr x0, [sp+128]
    00543c70ubfm x0, x0, 8, 63
    00543c74str x0, [sp+120]
    00543c78strb w0, [sp+19]
    00543c7cldr x0, [sp+120]
    00543c80ubfm x0, x0, 8, 63
    00543c84str x0, [sp+112]
    00543c88strb w0, [sp+18]
    00543c8cldr x0, [sp+112]
    00543c90ubfm x0, x0, 8, 63
    00543c94strb w0, [sp+17]
    00543c98ldr x0, [sp+384]
    00543c9cstrb w0, [sp+16]
    00543ca0ldr x0, [sp+384]
    00543ca4ubfm x0, x0, 8, 63
    00543ca8str x0, [sp+104]
    00543cacstrb w0, [sp+15]
    00543cb0ldr x0, [sp+104]
    00543cb4ubfm x0, x0, 8, 63
    00543cb8str x0, [sp+88]
    00543cbcstrb w0, [sp+14]
    00543cc0ldr x0, [sp+88]
    00543cc4ubfm x0, x0, 8, 63
    00543cc8str x0, [sp+80]
    00543cccstrb w0, [sp+13]
    00543cd0ldr x0, [sp+80]
    00543cd4ubfm x0, x0, 8, 63
    00543cd8str x0, [sp+72]
    00543cdcstrb w0, [sp+12]
    00543ce0ldr x0, [sp+72]
    00543ce4ubfm x0, x0, 8, 63
    00543ce8str x0, [sp+64]
    00543cecstrb w0, [sp+11]
    00543cf0ldr x0, [sp+64]
    00543cf4ubfm x0, x0, 8, 63
    00543cf8str x0, [sp+56]
    00543cfcstrb w0, [sp+10]
    00543d00ldr x0, [sp+56]
    00543d04ubfm x0, x0, 8, 63
    00543d08strb w0, [sp+8]
    00543d0cldr x0, [sp+408]
    00543d10ldrsb x27, [x0]
    00543d14ldrb w1, [sp+21]
    00543d18strb w1, [x0]
    00543d1cldr x0, [sp+408]
    00543d20ldrsb x27, [x0]
    00543d24ldrb w1, [sp+9]
    00543d28strb w1, [x0+1]
    00543d2cldr x0, [sp+408]
    00543d30ldrsb x27, [x0]
    00543d34ldrb w1, [sp+55]
    00543d38strb w1, [x0+2]
    00543d3cldr x0, [sp+408]
    00543d40ldrsb x27, [x0]
    00543d44ldrb w1, [sp+54]
    00543d48strb w1, [x0+3]
    00543d4cldr x0, [sp+408]
    00543d50ldrsb x27, [x0]
    00543d54ldrb w1, [sp+53]
    00543d58strb w1, [x0+4]
    00543d5cldr x0, [sp+408]
    00543d60ldrsb x27, [x0]
    00543d64ldrb w1, [sp+52]
    00543d68strb w1, [x0+5]
    00543d6cldr x0, [sp+408]
    00543d70ldrsb x27, [x0]
    00543d74ldrb w1, [sp+51]
    00543d78strb w1, [x0+6]
    00543d7cldr x0, [sp+408]
    00543d80ldrsb x27, [x0]
    00543d84ldrb w1, [sp+50]
    00543d88strb w1, [x0+7]
    00543d8cldr x0, [sp+408]
    00543d90ldrsb x27, [x0]
    00543d94ldrb w1, [sp+49]
    00543d98strb w1, [x0+8]
    00543d9cldr x0, [sp+408]
    00543da0ldrsb x27, [x0]
    00543da4ldrb w1, [sp+48]
    00543da8strb w1, [x0+9]
    00543dacldr x0, [sp+408]
    00543db0ldrsb x27, [x0]
    00543db4ldrb w1, [sp+47]
    00543db8strb w1, [x0+10]
    00543dbcldr x0, [sp+408]
    00543dc0ldrsb x27, [x0]
    00543dc4ldrb w1, [sp+46]
    00543dc8strb w1, [x0+11]
    00543dccldr x0, [sp+408]
    00543dd0ldrsb x27, [x0]
    00543dd4ldrb w1, [sp+45]
    00543dd8strb w1, [x0+12]
    00543ddcldr x0, [sp+408]
    00543de0ldrsb x27, [x0]
    00543de4ldrb w1, [sp+44]
    00543de8strb w1, [x0+13]
    00543decldr x0, [sp+408]
    00543df0ldrsb x27, [x0]
    00543df4ldrb w1, [sp+43]
    00543df8strb w1, [x0+14]
    00543dfcldr x0, [sp+408]
    00543e00ldrsb x27, [x0]
    00543e04ldrb w1, [sp+42]
    00543e08strb w1, [x0+15]
    00543e0cldr x0, [sp+408]
    00543e10ldrsb x27, [x0]
    00543e14ldrb w1, [sp+41]
    00543e18strb w1, [x0+16]
    00543e1cldr x0, [sp+408]
    00543e20ldrsb x27, [x0]
    00543e24ldrb w1, [sp+40]
    00543e28strb w1, [x0+17]
    00543e2cldr x0, [sp+408]
    00543e30ldrsb x27, [x0]
    00543e34ldrb w1, [sp+39]
    00543e38strb w1, [x0+18]
    00543e3cldr x0, [sp+408]
    00543e40ldrsb x27, [x0]
    00543e44ldrb w1, [sp+38]
    00543e48strb w1, [x0+19]
    00543e4cldr x0, [sp+408]
    00543e50ldrsb x27, [x0]
    00543e54ldrb w1, [sp+37]
    00543e58strb w1, [x0+20]
    00543e5cldr x0, [sp+408]
    00543e60ldrsb x27, [x0]
    00543e64ldrb w1, [sp+36]
    00543e68strb w1, [x0+21]
    00543e6cldr x0, [sp+408]
    00543e70ldrsb x27, [x0]
    00543e74ldrb w1, [sp+35]
    00543e78strb w1, [x0+22]
    00543e7cldr x0, [sp+408]
    00543e80ldrsb x27, [x0]
    00543e84ldrb w1, [sp+34]
    00543e88strb w1, [x0+23]
    00543e8cldr x0, [sp+408]
    00543e90ldrsb x27, [x0]
    00543e94ldrb w1, [sp+33]
    00543e98strb w1, [x0+24]
    00543e9cldr x0, [sp+408]
    00543ea0ldrsb x27, [x0]
    00543ea4ldrb w1, [sp+32]
    00543ea8strb w1, [x0+25]
    00543eacldr x0, [sp+408]
    00543eb0ldrsb x27, [x0]
    00543eb4ldrb w1, [sp+31]
    00543eb8strb w1, [x0+26]
    00543ebcldr x0, [sp+408]
    00543ec0ldrsb x27, [x0]
    00543ec4ldrb w1, [sp+30]
    00543ec8strb w1, [x0+27]
    00543eccldr x0, [sp+408]
    00543ed0ldrsb x27, [x0]
    00543ed4ldrb w1, [sp+29]
    00543ed8strb w1, [x0+28]
    00543edcldr x0, [sp+408]
    00543ee0ldrsb x27, [x0]
    00543ee4ldrb w1, [sp+28]
    00543ee8strb w1, [x0+29]
    00543eecldr x0, [sp+408]
    00543ef0ldrsb x27, [x0]
    00543ef4ldrb w1, [sp+27]
    00543ef8strb w1, [x0+30]
    00543efcldr x0, [sp+408]
    00543f00ldrsb x27, [x0]
    00543f04ldrb w1, [sp+26]
    00543f08strb w1, [x0+31]
    00543f0cldr x0, [sp+408]
    00543f10ldrsb x27, [x0]
    00543f14ldrb w1, [sp+25]
    00543f18strb w1, [x0+32]
    00543f1cldr x0, [sp+408]
    00543f20ldrsb x27, [x0]
    00543f24ldrb w1, [sp+24]
    00543f28strb w1, [x0+33]
    00543f2cldr x0, [sp+408]
    00543f30ldrsb x27, [x0]
    00543f34ldrb w1, [sp+23]
    00543f38strb w1, [x0+34]
    00543f3cldr x0, [sp+408]
    00543f40ldrsb x27, [x0]
    00543f44ldrb w1, [sp+22]
    00543f48strb w1, [x0+35]
    00543f4cldr x0, [sp+408]
    00543f50ldrsb x27, [x0]
    00543f54ldrb w1, [sp+20]
    00543f58strb w1, [x0+36]
    00543f5cldr x0, [sp+408]
    00543f60ldrsb x27, [x0]
    00543f64ldrb w1, [sp+19]
    00543f68strb w1, [x0+37]
    00543f6cldr x0, [sp+408]
    00543f70ldrsb x27, [x0]
    00543f74ldrb w1, [sp+18]
    00543f78strb w1, [x0+38]
    00543f7cldr x0, [sp+408]
    00543f80ldrsb x27, [x0]
    00543f84ldrb w1, [sp+17]
    00543f88strb w1, [x0+39]
    00543f8cldr x0, [sp+408]
    00543f90ldrsb x27, [x0]
    00543f94ldrb w1, [sp+16]
    00543f98strb w1, [x0+40]
    00543f9cldr x0, [sp+408]
    00543fa0ldrsb x27, [x0]
    00543fa4ldrb w1, [sp+15]
    00543fa8strb w1, [x0+41]
    00543facldr x0, [sp+408]
    00543fb0ldrsb x27, [x0]
    00543fb4ldrb w1, [sp+14]
    00543fb8strb w1, [x0+42]
    00543fbcldr x0, [sp+408]
    00543fc0ldrsb x27, [x0]
    00543fc4ldrb w1, [sp+13]
    00543fc8strb w1, [x0+43]
    00543fccldr x0, [sp+408]
    00543fd0ldrsb x27, [x0]
    00543fd4ldrb w1, [sp+12]
    00543fd8strb w1, [x0+44]
    00543fdcldr x0, [sp+408]
    00543fe0ldrsb x27, [x0]
    00543fe4ldrb w1, [sp+11]
    00543fe8strb w1, [x0+45]
    00543fecldr x0, [sp+408]
    00543ff0ldrsb x27, [x0]
    00543ff4ldrb w1, [sp+10]
    00543ff8strb w1, [x0+46]
    00543ffcldr x0, [sp+408]
    00544000ldrsb x27, [x0]
    00544004ldrb w1, [sp+8]
    00544008strb w1, [x0+47]
    0054400cadd x29, sp, 392
    00544010add sp, sp, 400
    00544014ret x30
    00544018
    00544018loc_544018:
    00544018stp x0, x1, [sp+8]
    0054401cmov x3, x30
    00544020bl runtime.morestack_noctxt.abi0
    00544024ldp x0, x1, [sp+8]
    00544028b 0x5439e0
    0054402cudf 0
    005439e0
    00544030
    00544030crypto/internal/fips140/nistec/fiat.p384FromBytes: ; void crypto/internal/fips140/nistec/fiat.p384FromBytes(uint64[6] * out1, uint8[48] * arg1)
    00544030ldr x16, [x28+16]
    00544034sub x17, sp, 576
    00544038subs xzr, x17, x16
    0054403cb.ls 0x544664
    00544040sub x20, sp, 704
    00544044stp x29, x30, [x20-8]
    00544048add sp, x20, 0
    0054404csub x29, sp, 8
    00544050str x0, [sp+712]
    00544054str x1, [sp+720]
    00544058ldrsb x27, [x1]
    0054405cldrb w0, [x1+47]
    00544060ubfm x0, x0, 8, 7
    00544064str x0, [sp+688]
    00544068ldrsb x27, [x1]
    0054406cldrb w0, [x1+46]
    00544070ubfm x0, x0, 16, 7
    00544074str x0, [sp+608]
    00544078ldrsb x27, [x1]
    0054407cldrb w0, [x1+45]
    00544080ubfm x0, x0, 24, 7
    00544084str x0, [sp+528]
    00544088ldrsb x27, [x1]
    0054408cldrb w0, [x1+44]
    00544090ubfm x0, x0, 32, 7
    00544094str x0, [sp+448]
    00544098ldr x0, [sp+720]
    0054409cldrsb x27, [x0]
    005440a0ldrb w0, [x0+43]
    005440a4ubfm x0, x0, 40, 7
    005440a8str x0, [sp+376]
    005440acldr x0, [sp+720]
    005440b0ldrsb x27, [x0]
    005440b4ldrb w0, [x0+42]
    005440b8ubfm x0, x0, 48, 7
    005440bcstr x0, [sp+288]
    005440c0ldr x0, [sp+720]
    005440c4ldrsb x27, [x0]
    005440c8ldrb w0, [x0+41]
    005440ccubfm x0, x0, 56, 7
    005440d0str x0, [sp+200]
    005440d4ldr x0, [sp+720]
    005440d8ldrsb x27, [x0]
    005440dcldrb w0, [x0+40]
    005440e0strb w0, [sp+18]
    005440e4ldr x0, [sp+720]
    005440e8ldrsb x27, [x0]
    005440ecldrb w0, [x0+39]
    005440f0ubfm x0, x0, 8, 7
    005440f4str x0, [sp+32]
    005440f8ldr x0, [sp+720]
    005440fcldrsb x27, [x0]
    00544100ldrb w0, [x0+38]
    00544104ubfm x0, x0, 16, 7
    00544108str x0, [sp+680]
    0054410cldr x0, [sp+720]
    00544110ldrsb x27, [x0]
    00544114ldrb w0, [x0+37]
    00544118ubfm x0, x0, 24, 7
    0054411cstr x0, [sp+672]
    00544120ldr x0, [sp+720]
    00544124ldrsb x27, [x0]
    00544128ldrb w0, [x0+36]
    0054412cubfm x0, x0, 32, 7
    00544130str x0, [sp+664]
    00544134ldr x0, [sp+720]
    00544138ldrsb x27, [x0]
    0054413cldrb w0, [x0+35]
    00544140ubfm x0, x0, 40, 7
    00544144str x0, [sp+656]
    00544148ldr x0, [sp+720]
    0054414cldrsb x27, [x0]
    00544150ldrb w0, [x0+34]
    00544154ubfm x0, x0, 48, 7
    00544158str x0, [sp+648]
    0054415cldr x0, [sp+720]
    00544160ldrsb x27, [x0]
    00544164ldrb w0, [x0+33]
    00544168ubfm x0, x0, 56, 7
    0054416cstr x0, [sp+640]
    00544170ldr x0, [sp+720]
    00544174ldrsb x27, [x0]
    00544178ldrb w0, [x0+32]
    0054417cstrb w0, [sp+23]
    00544180ldr x0, [sp+720]
    00544184ldrsb x27, [x0]
    00544188ldrb w0, [x0+31]
    0054418cubfm x0, x0, 8, 7
    00544190str x0, [sp+632]
    00544194ldr x0, [sp+720]
    00544198ldrsb x27, [x0]
    0054419cldrb w0, [x0+30]
    005441a0ubfm x0, x0, 16, 7
    005441a4str x0, [sp+624]
    005441a8ldr x0, [sp+720]
    005441acldrsb x27, [x0]
    005441b0ldrb w0, [x0+29]
    005441b4ubfm x0, x0, 24, 7
    005441b8str x0, [sp+616]
    005441bcldr x0, [sp+720]
    005441c0ldrsb x27, [x0]
    005441c4ldrb w0, [x0+28]
    005441c8ubfm x0, x0, 32, 7
    005441ccstr x0, [sp+600]
    005441d0ldr x0, [sp+720]
    005441d4ldrsb x27, [x0]
    005441d8ldrb w0, [x0+27]
    005441dcubfm x0, x0, 40, 7
    005441e0str x0, [sp+592]
    005441e4ldr x0, [sp+720]
    005441e8ldrsb x27, [x0]
    005441ecldrb w0, [x0+26]
    005441f0ubfm x0, x0, 48, 7
    005441f4str x0, [sp+584]
    005441f8ldr x0, [sp+720]
    005441fcldrsb x27, [x0]
    00544200ldrb w0, [x0+25]
    00544204ubfm x0, x0, 56, 7
    00544208str x0, [sp+576]
    0054420cldr x0, [sp+720]
    00544210ldrsb x27, [x0]
    00544214ldrb w0, [x0+24]
    00544218strb w0, [sp+22]
    0054421cldr x0, [sp+720]
    00544220ldrsb x27, [x0]
    00544224ldrb w0, [x0+23]
    00544228ubfm x0, x0, 8, 7
    0054422cstr x0, [sp+568]
    00544230ldr x0, [sp+720]
    00544234ldrsb x27, [x0]
    00544238ldrb w0, [x0+22]
    0054423cubfm x0, x0, 16, 7
    00544240str x0, [sp+560]
    00544244ldr x0, [sp+720]
    00544248ldrsb x27, [x0]
    0054424cldrb w0, [x0+21]
    00544250ubfm x0, x0, 24, 7
    00544254str x0, [sp+552]
    00544258ldr x0, [sp+720]
    0054425cldrsb x27, [x0]
    00544260ldrb w0, [x0+20]
    00544264ubfm x0, x0, 32, 7
    00544268str x0, [sp+544]
    0054426cldr x0, [sp+720]
    00544270ldrsb x27, [x0]
    00544274ldrb w0, [x0+19]
    00544278ubfm x0, x0, 40, 7
    0054427cstr x0, [sp+536]
    00544280ldr x0, [sp+720]
    00544284ldrsb x27, [x0]
    00544288ldrb w0, [x0+18]
    0054428cubfm x0, x0, 48, 7
    00544290str x0, [sp+520]
    00544294ldr x0, [sp+720]
    00544298ldrsb x27, [x0]
    0054429cldrb w0, [x0+17]
    005442a0ubfm x0, x0, 56, 7
    005442a4str x0, [sp+512]
    005442a8ldr x0, [sp+720]
    005442acldrsb x27, [x0]
    005442b0ldrb w0, [x0+16]
    005442b4strb w0, [sp+21]
    005442b8ldr x0, [sp+720]
    005442bcldrsb x27, [x0]
    005442c0ldrb w0, [x0+15]
    005442c4ubfm x0, x0, 8, 7
    005442c8str x0, [sp+504]
    005442ccldr x0, [sp+720]
    005442d0ldrsb x27, [x0]
    005442d4ldrb w0, [x0+14]
    005442d8ubfm x0, x0, 16, 7
    005442dcstr x0, [sp+496]
    005442e0ldr x0, [sp+720]
    005442e4ldrsb x27, [x0]
    005442e8ldrb w0, [x0+13]
    005442ecubfm x0, x0, 24, 7
    005442f0str x0, [sp+488]
    005442f4ldr x0, [sp+720]
    005442f8ldrsb x27, [x0]
    005442fcldrb w0, [x0+12]
    00544300ubfm x0, x0, 32, 7
    00544304str x0, [sp+480]
    00544308ldr x0, [sp+720]
    0054430cldrsb x27, [x0]
    00544310ldrb w0, [x0+11]
    00544314ubfm x0, x0, 40, 7
    00544318str x0, [sp+472]
    0054431cldr x0, [sp+720]
    00544320ldrsb x27, [x0]
    00544324ldrb w0, [x0+10]
    00544328ubfm x0, x0, 48, 7
    0054432cstr x0, [sp+464]
    00544330ldr x0, [sp+720]
    00544334ldrsb x27, [x0]
    00544338ldrb w0, [x0+9]
    0054433cubfm x0, x0, 56, 7
    00544340str x0, [sp+456]
    00544344ldr x0, [sp+720]
    00544348ldrsb x27, [x0]
    0054434cldrb w0, [x0+8]
    00544350strb w0, [sp+20]
    00544354ldr x0, [sp+720]
    00544358ldrsb x27, [x0]
    0054435cldrb w0, [x0+7]
    00544360ubfm x0, x0, 8, 7
    00544364str x0, [sp+440]
    00544368ldr x0, [sp+720]
    0054436cldrsb x27, [x0]
    00544370ldrb w0, [x0+6]
    00544374ubfm x0, x0, 16, 7
    00544378str x0, [sp+432]
    0054437cldr x0, [sp+720]
    00544380ldrsb x27, [x0]
    00544384ldrb w0, [x0+5]
    00544388ubfm x0, x0, 24, 7
    0054438cstr x0, [sp+424]
    00544390ldr x0, [sp+720]
    00544394ldrsb x27, [x0]
    00544398ldrb w0, [x0+4]
    0054439cubfm x0, x0, 32, 7
    005443a0str x0, [sp+416]
    005443a4ldr x0, [sp+720]
    005443a8ldrsb x27, [x0]
    005443acldrb w0, [x0+3]
    005443b0ubfm x0, x0, 40, 7
    005443b4str x0, [sp+408]
    005443b8ldr x0, [sp+720]
    005443bcldrsb x27, [x0]
    005443c0ldrb w0, [x0+2]
    005443c4ubfm x0, x0, 48, 7
    005443c8str x0, [sp+400]
    005443ccldr x1, [sp+720]
    005443d0ldrsb x27, [x1]
    005443d4ldrb w1, [x1+1]
    005443d8ubfm x1, x1, 56, 7
    005443dcstr x1, [sp+392]
    005443e0ldr x1, [sp+720]
    005443e4ldrsb x27, [x1]
    005443e8ldrb w1, [x1]
    005443ecstrb w1, [sp+19]
    005443f0ldr x2, [sp+392]
    005443f4add x1, x2, x1
    005443f8str x1, [sp+384]
    005443fcadd x0, x0, x1
    00544400str x0, [sp+368]
    00544404ldr x1, [sp+408]
    00544408add x0, x1, x0
    0054440cstr x0, [sp+360]
    00544410ldr x1, [sp+416]
    00544414add x0, x1, x0
    00544418str x0, [sp+352]
    0054441cldr x1, [sp+424]
    00544420add x0, x1, x0
    00544424str x0, [sp+344]
    00544428ldr x1, [sp+432]
    0054442cadd x0, x1, x0
    00544430str x0, [sp+336]
    00544434ldr x1, [sp+440]
    00544438add x0, x1, x0
    0054443cstr x0, [sp+328]
    00544440ldr x0, [sp+456]
    00544444ldrb w1, [sp+20]
    00544448add x0, x0, x1
    0054444cstr x0, [sp+320]
    00544450ldr x1, [sp+464]
    00544454add x0, x1, x0
    00544458str x0, [sp+312]
    0054445cldr x1, [sp+472]
    00544460add x0, x1, x0
    00544464str x0, [sp+304]
    00544468ldr x1, [sp+480]
    0054446cadd x0, x1, x0
    00544470str x0, [sp+296]
    00544474ldr x1, [sp+488]
    00544478add x0, x1, x0
    0054447cstr x0, [sp+280]
    00544480ldr x1, [sp+496]
    00544484add x0, x1, x0
    00544488str x0, [sp+272]
    0054448cldr x1, [sp+504]
    00544490add x0, x1, x0
    00544494str x0, [sp+264]
    00544498ldr x0, [sp+512]
    0054449cldrb w1, [sp+21]
    005444a0add x0, x0, x1
    005444a4str x0, [sp+256]
    005444a8ldr x1, [sp+520]
    005444acadd x0, x1, x0
    005444b0str x0, [sp+248]
    005444b4ldr x1, [sp+536]
    005444b8add x0, x1, x0
    005444bcstr x0, [sp+240]
    005444c0ldr x1, [sp+544]
    005444c4add x0, x1, x0
    005444c8str x0, [sp+232]
    005444ccldr x1, [sp+552]
    005444d0add x0, x1, x0
    005444d4str x0, [sp+224]
    005444d8ldr x1, [sp+560]
    005444dcadd x0, x1, x0
    005444e0str x0, [sp+216]
    005444e4ldr x1, [sp+568]
    005444e8add x0, x1, x0
    005444ecstr x0, [sp+208]
    005444f0ldr x0, [sp+576]
    005444f4ldrb w1, [sp+22]
    005444f8add x0, x0, x1
    005444fcstr x0, [sp+192]
    00544500ldr x1, [sp+584]
    00544504add x0, x1, x0
    00544508str x0, [sp+184]
    0054450cldr x1, [sp+592]
    00544510add x0, x1, x0
    00544514str x0, [sp+176]
    00544518ldr x1, [sp+600]
    0054451cadd x0, x1, x0
    00544520str x0, [sp+168]
    00544524ldr x1, [sp+616]
    00544528add x0, x1, x0
    0054452cstr x0, [sp+160]
    00544530ldr x1, [sp+624]
    00544534add x0, x1, x0
    00544538str x0, [sp+152]
    0054453cldr x1, [sp+632]
    00544540add x0, x1, x0
    00544544str x0, [sp+144]
    00544548ldr x0, [sp+640]
    0054454cldrb w1, [sp+23]
    00544550add x0, x0, x1
    00544554str x0, [sp+136]
    00544558ldr x1, [sp+648]
    0054455cadd x0, x1, x0
    00544560str x0, [sp+128]
    00544564ldr x1, [sp+656]
    00544568add x0, x1, x0
    0054456cstr x0, [sp+120]
    00544570ldr x1, [sp+664]
    00544574add x0, x1, x0
    00544578str x0, [sp+112]
    0054457cldr x1, [sp+672]
    00544580add x0, x1, x0
    00544584str x0, [sp+104]
    00544588ldr x1, [sp+680]
    0054458cadd x0, x1, x0
    00544590str x0, [sp+96]
    00544594ldr x1, [sp+32]
    00544598add x0, x1, x0
    0054459cstr x0, [sp+88]
    005445a0ldr x0, [sp+200]
    005445a4ldrb w1, [sp+18]
    005445a8add x0, x0, x1
    005445acstr x0, [sp+80]
    005445b0ldr x1, [sp+288]
    005445b4add x0, x1, x0
    005445b8str x0, [sp+72]
    005445bcldr x1, [sp+376]
    005445c0add x0, x1, x0
    005445c4str x0, [sp+64]
    005445c8ldr x1, [sp+448]
    005445ccadd x0, x1, x0
    005445d0str x0, [sp+56]
    005445d4ldr x1, [sp+528]
    005445d8add x0, x1, x0
    005445dcstr x0, [sp+48]
    005445e0ldr x1, [sp+608]
    005445e4add x0, x1, x0
    005445e8str x0, [sp+40]
    005445ecldr x1, [sp+688]
    005445f0add x0, x1, x0
    005445f4str x0, [sp+24]
    005445f8ldr x0, [sp+712]
    005445fcldrsb x27, [x0]
    00544600ldr x1, [sp+328]
    00544604str x1, [x0]
    00544608ldr x0, [sp+712]
    0054460cldrsb x27, [x0]
    00544610ldr x1, [sp+264]
    00544614str x1, [x0+8]
    00544618ldr x0, [sp+712]
    0054461cldrsb x27, [x0]
    00544620ldr x1, [sp+208]
    00544624str x1, [x0+16]
    00544628ldr x0, [sp+712]
    0054462cldrsb x27, [x0]
    00544630ldr x1, [sp+144]
    00544634str x1, [x0+24]
    00544638ldr x0, [sp+712]
    0054463cldrsb x27, [x0]
    00544640ldr x1, [sp+88]
    00544644str x1, [x0+32]
    00544648ldr x0, [sp+712]
    0054464cldrsb x27, [x0]
    00544650ldr x1, [sp+24]
    00544654str x1, [x0+40]
    00544658add x29, sp, 696
    0054465cadd sp, sp, 704
    00544660ret x30
    00544664
    00544664loc_544664:
    00544664stp x0, x1, [sp+8]
    00544668mov x3, x30
    0054466cbl runtime.morestack_noctxt.abi0
    00544670ldp x0, x1, [sp+8]
    00544674b 0x544030
    00544678udf 0
    0054467cudf 0
    00544030
    00544680
    00544680crypto/internal/fips140/nistec/fiat.(*P384Element).Invert: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Invert(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * x)
    00544680ldr x16, [x28+16]
    00544684sub x17, sp, 304
    00544688subs xzr, x17, x16
    0054468cb.ls 0x544b38
    00544690sub x20, sp, 432
    00544694stp x29, x30, [x20-8]
    00544698add sp, x20, 0
    0054469csub x29, sp, 8
    005446a0str x0, [sp+440]
    005446a4str x1, [sp+448]
    005446a8str xzr, [sp+368]
    005446acstp xzr, xzr, [sp+320]
    005446b0stp xzr, xzr, [sp+336]
    005446b4stp xzr, xzr, [sp+352]
    005446b8add x0, sp, 320
    005446bcstr x0, [sp+416]
    005446c0ldr x1, [sp+440]
    005446c4bl crypto/internal/fips140/nistec/fiat.(*P384Element).Set
    005446c8str x0, [sp+376]
    005446ccstp xzr, xzr, [sp+272]
    005446d0stp xzr, xzr, [sp+288]
    005446d4stp xzr, xzr, [sp+304]
    005446d8add x2, sp, 272
    005446dcstr x2, [sp+408]
    005446e0stp xzr, xzr, [sp+224]
    005446e4stp xzr, xzr, [sp+240]
    005446e8stp xzr, xzr, [sp+256]
    005446ecadd x2, sp, 224
    005446f0str x2, [sp+400]
    005446f4stp xzr, xzr, [sp+176]
    005446f8stp xzr, xzr, [sp+192]
    005446fcstp xzr, xzr, [sp+208]
    00544700add x2, sp, 176
    00544704str x2, [sp+392]
    00544708stp xzr, xzr, [sp+128]
    0054470cstp xzr, xzr, [sp+144]
    00544710stp xzr, xzr, [sp+160]
    00544714add x2, sp, 128
    00544718str x2, [sp+384]
    0054471cldr x1, [sp+448]
    00544720ldr x0, [sp+376]
    00544724bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544728ldr x1, [sp+448]
    0054472cldr x2, [sp+376]
    00544730ldr x0, [sp+376]
    00544734bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544738ldr x1, [sp+376]
    0054473cldr x0, [sp+376]
    00544740bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544744ldr x1, [sp+448]
    00544748ldr x2, [sp+376]
    0054474cldr x0, [sp+400]
    00544750bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544754ldr x1, [sp+400]
    00544758ldr x0, [sp+376]
    0054475cbl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544760orr x2, xzr, 1
    00544764str x2, [sp+120]
    00544768b 0x54476c
    0054476c
    0054476cloc_54476c:
    0054476cldr x3, [sp+120]
    00544770subs xzr, x3, 3
    00544774b.lt 0x54477c
    00544778b 0x5447a0
    0054477c
    0054477cloc_54477c:
    0054477cldr x1, [sp+376]
    00544780ldr x0, [sp+376]
    00544784bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544788b 0x54478c
    0054478c
    0054478cloc_54478c:
    0054478cldr x3, [sp+120]
    00544790add x3, x3, 1
    00544794str x3, [sp+120]
    00544798orr x2, xzr, 1
    0054479cb 0x54476c
    005447a0
    005447a0loc_5447a0:
    005447a0ldr x1, [sp+400]
    005447a4ldr x2, [sp+376]
    005447a8ldr x0, [sp+376]
    005447acbl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    005447b0ldr x1, [sp+376]
    005447b4ldr x0, [sp+408]
    005447b8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    005447bcorr x3, xzr, 1
    005447c0str x3, [sp+112]
    005447c4b 0x5447c8
    005447c8
    005447c8loc_5447c8:
    005447c8ldr x4, [sp+112]
    005447ccsubs xzr, x4, 6
    005447d0b.lt 0x5447d8
    005447d4b 0x5447fc
    005447d8
    005447d8loc_5447d8:
    005447d8ldr x1, [sp+408]
    005447dcldr x0, [sp+408]
    005447e0bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    005447e4b 0x5447e8
    005447e8
    005447e8loc_5447e8:
    005447e8ldr x4, [sp+112]
    005447ecadd x4, x4, 1
    005447f0str x4, [sp+112]
    005447f4orr x3, xzr, 1
    005447f8b 0x5447c8
    005447fc
    005447fcloc_5447fc:
    005447fcldr x1, [sp+376]
    00544800ldr x2, [sp+408]
    00544804ldr x0, [sp+408]
    00544808bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    0054480cldr x1, [sp+408]
    00544810ldr x0, [sp+392]
    00544814bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544818orr x3, xzr, 1
    0054481cstr x3, [sp+104]
    00544820b 0x544824
    00544824
    00544824loc_544824:
    00544824ldr x4, [sp+104]
    00544828subs xzr, x4, 12
    0054482cb.lt 0x544834
    00544830b 0x544858
    00544834
    00544834loc_544834:
    00544834ldr x1, [sp+392]
    00544838ldr x0, [sp+392]
    0054483cbl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544840b 0x544844
    00544844
    00544844loc_544844:
    00544844ldr x4, [sp+104]
    00544848add x4, x4, 1
    0054484cstr x4, [sp+104]
    00544850orr x3, xzr, 1
    00544854b 0x544824
    00544858
    00544858loc_544858:
    00544858ldr x1, [sp+408]
    0054485cldr x2, [sp+392]
    00544860ldr x0, [sp+408]
    00544864bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544868str xzr, [sp+96]
    0054486cb 0x544870
    00544870
    00544870loc_544870:
    00544870ldr x3, [sp+96]
    00544874subs xzr, x3, 6
    00544878b.lt 0x544880
    0054487cb 0x5448a0
    00544880
    00544880loc_544880:
    00544880ldr x1, [sp+408]
    00544884ldr x0, [sp+408]
    00544888bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    0054488cb 0x544890
    00544890
    00544890loc_544890:
    00544890ldr x3, [sp+96]
    00544894add x3, x3, 1
    00544898str x3, [sp+96]
    0054489cb 0x544870
    005448a0
    005448a0loc_5448a0:
    005448a0ldr x1, [sp+376]
    005448a4ldr x2, [sp+408]
    005448a8ldr x0, [sp+376]
    005448acbl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    005448b0ldr x1, [sp+376]
    005448b4ldr x0, [sp+408]
    005448b8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    005448bcldr x1, [sp+448]
    005448c0ldr x2, [sp+408]
    005448c4ldr x0, [sp+392]
    005448c8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    005448ccldr x1, [sp+392]
    005448d0ldr x0, [sp+408]
    005448d4bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    005448d8ldr x1, [sp+448]
    005448dcldr x2, [sp+408]
    005448e0ldr x0, [sp+408]
    005448e4bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    005448e8ldr x1, [sp+408]
    005448ecldr x0, [sp+384]
    005448f0bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    005448f4orr x3, xzr, 1
    005448f8str x3, [sp+88]
    005448fcb 0x544900
    00544900
    00544900loc_544900:
    00544900ldr x4, [sp+88]
    00544904subs xzr, x4, 31
    00544908b.lt 0x544910
    0054490cb 0x544934
    00544910
    00544910loc_544910:
    00544910ldr x1, [sp+384]
    00544914ldr x0, [sp+384]
    00544918bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    0054491cb 0x544920
    00544920
    00544920loc_544920:
    00544920ldr x4, [sp+88]
    00544924add x4, x4, 1
    00544928str x4, [sp+88]
    0054492corr x3, xzr, 1
    00544930b 0x544900
    00544934
    00544934loc_544934:
    00544934ldr x1, [sp+392]
    00544938ldr x2, [sp+384]
    0054493cldr x0, [sp+392]
    00544940bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544944ldr x1, [sp+392]
    00544948ldr x0, [sp+384]
    0054494cbl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544950orr x3, xzr, 1
    00544954str x3, [sp+80]
    00544958b 0x54495c
    0054495c
    0054495cloc_54495c:
    0054495cldr x4, [sp+80]
    00544960subs xzr, x4, 63
    00544964b.lt 0x54496c
    00544968b 0x544990
    0054496c
    0054496cloc_54496c:
    0054496cldr x1, [sp+384]
    00544970ldr x0, [sp+384]
    00544974bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544978b 0x54497c
    0054497c
    0054497cloc_54497c:
    0054497cldr x4, [sp+80]
    00544980add x4, x4, 1
    00544984str x4, [sp+80]
    00544988orr x3, xzr, 1
    0054498cb 0x54495c
    00544990
    00544990loc_544990:
    00544990ldr x1, [sp+392]
    00544994ldr x2, [sp+384]
    00544998ldr x0, [sp+392]
    0054499cbl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    005449a0ldr x1, [sp+392]
    005449a4ldr x0, [sp+384]
    005449a8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    005449acorr x3, xzr, 1
    005449b0str x3, [sp+72]
    005449b4b 0x5449b8
    005449b8
    005449b8loc_5449b8:
    005449b8ldr x3, [sp+72]
    005449bcsubs xzr, x3, 126
    005449c0b.lt 0x5449c8
    005449c4b 0x5449e8
    005449c8
    005449c8loc_5449c8:
    005449c8ldr x1, [sp+384]
    005449ccldr x0, [sp+384]
    005449d0bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    005449d4b 0x5449d8
    005449d8
    005449d8loc_5449d8:
    005449d8ldr x3, [sp+72]
    005449dcadd x3, x3, 1
    005449e0str x3, [sp+72]
    005449e4b 0x5449b8
    005449e8
    005449e8loc_5449e8:
    005449e8ldr x1, [sp+392]
    005449ecldr x2, [sp+384]
    005449f0ldr x0, [sp+392]
    005449f4bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    005449f8str xzr, [sp+64]
    005449fcb 0x544a00
    00544a00
    00544a00loc_544a00:
    00544a00ldr x3, [sp+64]
    00544a04subs xzr, x3, 3
    00544a08b.lt 0x544a10
    00544a0cb 0x544a30
    00544a10
    00544a10loc_544a10:
    00544a10ldr x1, [sp+392]
    00544a14ldr x0, [sp+392]
    00544a18bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544a1cb 0x544a20
    00544a20
    00544a20loc_544a20:
    00544a20ldr x3, [sp+64]
    00544a24add x3, x3, 1
    00544a28str x3, [sp+64]
    00544a2cb 0x544a00
    00544a30
    00544a30loc_544a30:
    00544a30ldr x1, [sp+400]
    00544a34ldr x2, [sp+392]
    00544a38ldr x0, [sp+400]
    00544a3cbl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544a40str xzr, [sp+56]
    00544a44b 0x544a48
    00544a48
    00544a48loc_544a48:
    00544a48ldr x3, [sp+56]
    00544a4csubs xzr, x3, 33
    00544a50b.lt 0x544a58
    00544a54b 0x544a78
    00544a58
    00544a58loc_544a58:
    00544a58ldr x1, [sp+400]
    00544a5cldr x0, [sp+400]
    00544a60bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544a64b 0x544a68
    00544a68
    00544a68loc_544a68:
    00544a68ldr x3, [sp+56]
    00544a6cadd x3, x3, 1
    00544a70str x3, [sp+56]
    00544a74b 0x544a48
    00544a78
    00544a78loc_544a78:
    00544a78ldr x1, [sp+408]
    00544a7cldr x2, [sp+400]
    00544a80ldr x0, [sp+408]
    00544a84bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544a88str xzr, [sp+48]
    00544a8cb 0x544a90
    00544a90
    00544a90loc_544a90:
    00544a90ldr x3, [sp+48]
    00544a94subs xzr, x3, 94
    00544a98b.lt 0x544aa0
    00544a9cb 0x544ac0
    00544aa0
    00544aa0loc_544aa0:
    00544aa0ldr x1, [sp+408]
    00544aa4ldr x0, [sp+408]
    00544aa8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544aacb 0x544ab0
    00544ab0
    00544ab0loc_544ab0:
    00544ab0ldr x3, [sp+48]
    00544ab4add x3, x3, 1
    00544ab8str x3, [sp+48]
    00544abcb 0x544a90
    00544ac0
    00544ac0loc_544ac0:
    00544ac0ldr x1, [sp+376]
    00544ac4ldr x2, [sp+408]
    00544ac8ldr x0, [sp+376]
    00544accbl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544ad0str xzr, [sp+40]
    00544ad4b 0x544ad8
    00544ad8
    00544ad8loc_544ad8:
    00544ad8ldr x3, [sp+40]
    00544adcsubs xzr, x3, 2
    00544ae0b.lt 0x544ae8
    00544ae4b 0x544b08
    00544ae8
    00544ae8loc_544ae8:
    00544ae8ldr x1, [sp+376]
    00544aecldr x0, [sp+376]
    00544af0bl crypto/internal/fips140/nistec/fiat.(*P384Element).Square
    00544af4b 0x544af8
    00544af8
    00544af8loc_544af8:
    00544af8ldr x3, [sp+40]
    00544afcadd x3, x3, 1
    00544b00str x3, [sp+40]
    00544b04b 0x544ad8
    00544b08
    00544b08loc_544b08:
    00544b08ldr x1, [sp+448]
    00544b0cldr x2, [sp+376]
    00544b10ldr x0, [sp+376]
    00544b14bl crypto/internal/fips140/nistec/fiat.(*P384Element).Mul
    00544b18ldr x1, [sp+376]
    00544b1cldr x0, [sp+440]
    00544b20bl crypto/internal/fips140/nistec/fiat.(*P384Element).Set
    00544b24str x0, [sp+416]
    00544b28str x0, [sp+368]
    00544b2cldp x29, x30, [sp-8]
    00544b30add sp, sp, 432
    00544b34ret x30
    00544b38
    00544b38loc_544b38:
    00544b38stp x0, x1, [sp+8]
    00544b3cmov x3, x30
    00544b40bl runtime.morestack_noctxt.abi0
    00544b44ldp x0, x1, [sp+8]
    00544b48b 0x544680
    00544b4cudf 0
    00544680