FilesBlogsAbout
Register
File sliver_83cb34f62800fed14e14547c39337aab8e0427fe2c6310a3fb40ce0ac36168c9.elf
Function:
    00534490
    00534490crypto/internal/fips140/nistec/fiat.p224FromBytes: ; void crypto/internal/fips140/nistec/fiat.p224FromBytes(uint64[4] * out1, uint8[28] * arg1)
    00534490ldr x16, [x28+16]
    00534494sub x17, sp, 288
    00534498subs xzr, x17, x16
    0053449cb.ls 0x53483c
    005344a0sub x20, sp, 416
    005344a4stp x29, x30, [x20-8]
    005344a8add sp, x20, 0
    005344acsub x29, sp, 8
    005344b0str x0, [sp+424]
    005344b4str x1, [sp+432]
    005344b8ldrsb x27, [x1]
    005344bcldrb w0, [x1+27]
    005344c0ubfm x0, x0, 40, 7
    005344c4str x0, [sp+400]
    005344c8ldrsb x27, [x1]
    005344ccldrb w0, [x1+26]
    005344d0ubfm x0, x0, 48, 7
    005344d4str x0, [sp+320]
    005344d8ldrsb x27, [x1]
    005344dcldrb w0, [x1+25]
    005344e0ubfm x0, x0, 56, 7
    005344e4str x0, [sp+248]
    005344e8ldrsb x27, [x1]
    005344ecldrb w0, [x1+24]
    005344f0strb w0, [sp+20]
    005344f4ldr x0, [sp+432]
    005344f8ldrsb x27, [x0]
    005344fcldrb w0, [x0+23]
    00534500ubfm x0, x0, 8, 7
    00534504str x0, [sp+80]
    00534508ldr x0, [sp+432]
    0053450cldrsb x27, [x0]
    00534510ldrb w0, [x0+22]
    00534514ubfm x0, x0, 16, 7
    00534518str x0, [sp+48]
    0053451cldr x0, [sp+432]
    00534520ldrsb x27, [x0]
    00534524ldrb w0, [x0+21]
    00534528ubfm x0, x0, 24, 7
    0053452cstr x0, [sp+40]
    00534530ldr x0, [sp+432]
    00534534ldrsb x27, [x0]
    00534538ldrb w0, [x0+20]
    0053453cubfm x0, x0, 32, 7
    00534540str x0, [sp+32]
    00534544ldr x0, [sp+432]
    00534548ldrsb x27, [x0]
    0053454cldrb w0, [x0+19]
    00534550ubfm x0, x0, 40, 7
    00534554str x0, [sp+24]
    00534558ldr x0, [sp+432]
    0053455cldrsb x27, [x0]
    00534560ldrb w0, [x0+18]
    00534564ubfm x0, x0, 48, 7
    00534568str x0, [sp+392]
    0053456cldr x0, [sp+432]
    00534570ldrsb x27, [x0]
    00534574ldrb w0, [x0+17]
    00534578ubfm x0, x0, 56, 7
    0053457cstr x0, [sp+384]
    00534580ldr x0, [sp+432]
    00534584ldrsb x27, [x0]
    00534588ldrb w0, [x0+16]
    0053458cstrb w0, [sp+23]
    00534590ldr x0, [sp+432]
    00534594ldrsb x27, [x0]
    00534598ldrb w0, [x0+15]
    0053459cubfm x0, x0, 8, 7
    005345a0str x0, [sp+376]
    005345a4ldr x0, [sp+432]
    005345a8ldrsb x27, [x0]
    005345acldrb w0, [x0+14]
    005345b0ubfm x0, x0, 16, 7
    005345b4str x0, [sp+368]
    005345b8ldr x0, [sp+432]
    005345bcldrsb x27, [x0]
    005345c0ldrb w0, [x0+13]
    005345c4ubfm x0, x0, 24, 7
    005345c8str x0, [sp+360]
    005345ccldr x0, [sp+432]
    005345d0ldrsb x27, [x0]
    005345d4ldrb w0, [x0+12]
    005345d8ubfm x0, x0, 32, 7
    005345dcstr x0, [sp+352]
    005345e0ldr x0, [sp+432]
    005345e4ldrsb x27, [x0]
    005345e8ldrb w0, [x0+11]
    005345ecubfm x0, x0, 40, 7
    005345f0str x0, [sp+344]
    005345f4ldr x0, [sp+432]
    005345f8ldrsb x27, [x0]
    005345fcldrb w0, [x0+10]
    00534600ubfm x0, x0, 48, 7
    00534604str x0, [sp+336]
    00534608ldr x0, [sp+432]
    0053460cldrsb x27, [x0]
    00534610ldrb w0, [x0+9]
    00534614ubfm x0, x0, 56, 7
    00534618str x0, [sp+328]
    0053461cldr x0, [sp+432]
    00534620ldrsb x27, [x0]
    00534624ldrb w0, [x0+8]
    00534628strb w0, [sp+22]
    0053462cldr x0, [sp+432]
    00534630ldrsb x27, [x0]
    00534634ldrb w0, [x0+7]
    00534638ubfm x0, x0, 8, 7
    0053463cstr x0, [sp+312]
    00534640ldr x0, [sp+432]
    00534644ldrsb x27, [x0]
    00534648ldrb w0, [x0+6]
    0053464cubfm x0, x0, 16, 7
    00534650str x0, [sp+304]
    00534654ldr x0, [sp+432]
    00534658ldrsb x27, [x0]
    0053465cldrb w0, [x0+5]
    00534660ubfm x0, x0, 24, 7
    00534664str x0, [sp+296]
    00534668ldr x0, [sp+432]
    0053466cldrsb x27, [x0]
    00534670ldrb w0, [x0+4]
    00534674ubfm x0, x0, 32, 7
    00534678str x0, [sp+288]
    0053467cldr x0, [sp+432]
    00534680ldrsb x27, [x0]
    00534684ldrb w0, [x0+3]
    00534688ubfm x0, x0, 40, 7
    0053468cstr x0, [sp+280]
    00534690ldr x0, [sp+432]
    00534694ldrsb x27, [x0]
    00534698ldrb w0, [x0+2]
    0053469cubfm x0, x0, 48, 7
    005346a0str x0, [sp+272]
    005346a4ldr x1, [sp+432]
    005346a8ldrsb x27, [x1]
    005346acldrb w1, [x1+1]
    005346b0ubfm x1, x1, 56, 7
    005346b4str x1, [sp+264]
    005346b8ldr x1, [sp+432]
    005346bcldrsb x27, [x1]
    005346c0ldrb w1, [x1]
    005346c4strb w1, [sp+21]
    005346c8ldr x2, [sp+264]
    005346ccadd x1, x2, x1
    005346d0str x1, [sp+256]
    005346d4add x0, x0, x1
    005346d8str x0, [sp+240]
    005346dcldr x1, [sp+280]
    005346e0add x0, x1, x0
    005346e4str x0, [sp+232]
    005346e8ldr x1, [sp+288]
    005346ecadd x0, x1, x0
    005346f0str x0, [sp+224]
    005346f4ldr x1, [sp+296]
    005346f8add x0, x1, x0
    005346fcstr x0, [sp+216]
    00534700ldr x1, [sp+304]
    00534704add x0, x1, x0
    00534708str x0, [sp+208]
    0053470cldr x1, [sp+312]
    00534710add x0, x1, x0
    00534714str x0, [sp+200]
    00534718ldr x0, [sp+328]
    0053471cldrb w1, [sp+22]
    00534720add x0, x0, x1
    00534724str x0, [sp+192]
    00534728ldr x1, [sp+336]
    0053472cadd x0, x1, x0
    00534730str x0, [sp+184]
    00534734ldr x1, [sp+344]
    00534738add x0, x1, x0
    0053473cstr x0, [sp+176]
    00534740ldr x1, [sp+352]
    00534744add x0, x1, x0
    00534748str x0, [sp+168]
    0053474cldr x1, [sp+360]
    00534750add x0, x1, x0
    00534754str x0, [sp+160]
    00534758ldr x1, [sp+368]
    0053475cadd x0, x1, x0
    00534760str x0, [sp+152]
    00534764ldr x1, [sp+376]
    00534768add x0, x1, x0
    0053476cstr x0, [sp+144]
    00534770ldr x0, [sp+384]
    00534774ldrb w1, [sp+23]
    00534778add x0, x0, x1
    0053477cstr x0, [sp+136]
    00534780ldr x1, [sp+392]
    00534784add x0, x1, x0
    00534788str x0, [sp+128]
    0053478cldr x1, [sp+24]
    00534790add x0, x1, x0
    00534794str x0, [sp+120]
    00534798ldr x1, [sp+32]
    0053479cadd x0, x1, x0
    005347a0str x0, [sp+112]
    005347a4ldr x1, [sp+40]
    005347a8add x0, x1, x0
    005347acstr x0, [sp+104]
    005347b0ldr x1, [sp+48]
    005347b4add x0, x1, x0
    005347b8str x0, [sp+96]
    005347bcldr x1, [sp+80]
    005347c0add x0, x1, x0
    005347c4str x0, [sp+88]
    005347c8ldr x0, [sp+248]
    005347ccldrb w1, [sp+20]
    005347d0add x0, x0, x1
    005347d4str x0, [sp+72]
    005347d8ldr x1, [sp+320]
    005347dcadd x0, x1, x0
    005347e0str x0, [sp+64]
    005347e4ldr x1, [sp+400]
    005347e8add x0, x1, x0
    005347ecstr x0, [sp+56]
    005347f0ldr x0, [sp+424]
    005347f4ldrsb x27, [x0]
    005347f8ldr x1, [sp+200]
    005347fcstr x1, [x0]
    00534800ldr x0, [sp+424]
    00534804ldrsb x27, [x0]
    00534808ldr x1, [sp+144]
    0053480cstr x1, [x0+8]
    00534810ldr x0, [sp+424]
    00534814ldrsb x27, [x0]
    00534818ldr x1, [sp+88]
    0053481cstr x1, [x0+16]
    00534820ldr x0, [sp+424]
    00534824ldrsb x27, [x0]
    00534828ldr x1, [sp+56]
    0053482cstr x1, [x0+24]
    00534830add x29, sp, 408
    00534834add sp, sp, 416
    00534838ret x30
    0053483c
    0053483cloc_53483c:
    0053483cstp x0, x1, [sp+8]
    00534840mov x3, x30
    00534844bl runtime.morestack_noctxt.abi0
    00534848ldp x0, x1, [sp+8]
    0053484cb 0x534490
    00534490
    00534850
    00534850crypto/internal/fips140/nistec/fiat.(*P224Element).Invert: ; void crypto/internal/fips140/nistec/fiat.(*P224Element).Invert(crypto/internal/fips140/nistec/fiat.P224Element * e, crypto/internal/fips140/nistec/fiat.P224Element * x)
    00534850ldr x16, [x28+16]
    00534854sub x17, sp, 160
    00534858subs xzr, x17, x16
    0053485cb.ls 0x534c30
    00534860sub x20, sp, 288
    00534864stp x29, x30, [x20-8]
    00534868add sp, x20, 0
    0053486csub x29, sp, 8
    00534870str x0, [sp+296]
    00534874str x1, [sp+304]
    00534878str xzr, [sp+232]
    0053487cstp xzr, xzr, [sp+200]
    00534880stp xzr, xzr, [sp+216]
    00534884add x0, sp, 200
    00534888str x0, [sp+272]
    0053488cldr x1, [sp+296]
    00534890bl crypto/internal/fips140/nistec/fiat.(*P224Element).Set
    00534894str x0, [sp+240]
    00534898stp xzr, xzr, [sp+168]
    0053489cstp xzr, xzr, [sp+184]
    005348a0add x2, sp, 168
    005348a4str x2, [sp+264]
    005348a8stp xzr, xzr, [sp+136]
    005348acstp xzr, xzr, [sp+152]
    005348b0add x2, sp, 136
    005348b4str x2, [sp+256]
    005348b8stp xzr, xzr, [sp+104]
    005348bcstp xzr, xzr, [sp+120]
    005348c0add x2, sp, 104
    005348c4str x2, [sp+248]
    005348c8ldr x1, [sp+304]
    005348ccldr x0, [sp+240]
    005348d0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    005348d4ldr x1, [sp+304]
    005348d8ldr x2, [sp+240]
    005348dcldr x0, [sp+264]
    005348e0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    005348e4ldr x1, [sp+264]
    005348e8ldr x0, [sp+240]
    005348ecbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    005348f0ldr x1, [sp+304]
    005348f4ldr x2, [sp+240]
    005348f8ldr x0, [sp+240]
    005348fcbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534900ldr x1, [sp+240]
    00534904ldr x0, [sp+256]
    00534908bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    0053490corr x2, xzr, 1
    00534910str x2, [sp+96]
    00534914b 0x534918
    00534918
    00534918loc_534918:
    00534918ldr x3, [sp+96]
    0053491csubs xzr, x3, 3
    00534920b.lt 0x534928
    00534924b 0x53494c
    00534928
    00534928loc_534928:
    00534928ldr x1, [sp+256]
    0053492cldr x0, [sp+256]
    00534930bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534934b 0x534938
    00534938
    00534938loc_534938:
    00534938ldr x3, [sp+96]
    0053493cadd x3, x3, 1
    00534940str x3, [sp+96]
    00534944orr x2, xzr, 1
    00534948b 0x534918
    0053494c
    0053494cloc_53494c:
    0053494cldr x1, [sp+240]
    00534950ldr x2, [sp+256]
    00534954ldr x0, [sp+256]
    00534958bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    0053495cldr x1, [sp+256]
    00534960ldr x0, [sp+248]
    00534964bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534968orr x3, xzr, 1
    0053496cstr x3, [sp+88]
    00534970b 0x534974
    00534974
    00534974loc_534974:
    00534974ldr x4, [sp+88]
    00534978subs xzr, x4, 6
    0053497cb.lt 0x534984
    00534980b 0x5349a8
    00534984
    00534984loc_534984:
    00534984ldr x1, [sp+248]
    00534988ldr x0, [sp+248]
    0053498cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534990b 0x534994
    00534994
    00534994loc_534994:
    00534994ldr x4, [sp+88]
    00534998add x4, x4, 1
    0053499cstr x4, [sp+88]
    005349a0orr x3, xzr, 1
    005349a4b 0x534974
    005349a8
    005349a8loc_5349a8:
    005349a8ldr x1, [sp+256]
    005349acldr x2, [sp+248]
    005349b0ldr x0, [sp+256]
    005349b4bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    005349b8str xzr, [sp+80]
    005349bcb 0x5349c0
    005349c0
    005349c0loc_5349c0:
    005349c0ldr x3, [sp+80]
    005349c4subs xzr, x3, 2
    005349c8b.lt 0x5349d0
    005349ccb 0x5349f0
    005349d0
    005349d0loc_5349d0:
    005349d0ldr x1, [sp+256]
    005349d4ldr x0, [sp+256]
    005349d8bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    005349dcb 0x5349e0
    005349e0
    005349e0loc_5349e0:
    005349e0ldr x3, [sp+80]
    005349e4add x3, x3, 1
    005349e8str x3, [sp+80]
    005349ecb 0x5349c0
    005349f0
    005349f0loc_5349f0:
    005349f0ldr x1, [sp+264]
    005349f4ldr x2, [sp+256]
    005349f8ldr x0, [sp+264]
    005349fcbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534a00ldr x1, [sp+264]
    00534a04ldr x0, [sp+256]
    00534a08bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a0corr x3, xzr, 1
    00534a10str x3, [sp+72]
    00534a14b 0x534a18
    00534a18
    00534a18loc_534a18:
    00534a18ldr x4, [sp+72]
    00534a1csubs xzr, x4, 3
    00534a20b.lt 0x534a28
    00534a24b 0x534a4c
    00534a28
    00534a28loc_534a28:
    00534a28ldr x1, [sp+256]
    00534a2cldr x0, [sp+256]
    00534a30bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a34b 0x534a38
    00534a38
    00534a38loc_534a38:
    00534a38ldr x4, [sp+72]
    00534a3cadd x4, x4, 1
    00534a40str x4, [sp+72]
    00534a44orr x3, xzr, 1
    00534a48b 0x534a18
    00534a4c
    00534a4cloc_534a4c:
    00534a4cldr x1, [sp+240]
    00534a50ldr x2, [sp+256]
    00534a54ldr x0, [sp+240]
    00534a58bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534a5cldr x1, [sp+240]
    00534a60ldr x0, [sp+256]
    00534a64bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a68orr x3, xzr, 1
    00534a6cstr x3, [sp+64]
    00534a70b 0x534a74
    00534a74
    00534a74loc_534a74:
    00534a74ldr x4, [sp+64]
    00534a78subs xzr, x4, 14
    00534a7cb.lt 0x534a84
    00534a80b 0x534aa8
    00534a84
    00534a84loc_534a84:
    00534a84ldr x1, [sp+256]
    00534a88ldr x0, [sp+256]
    00534a8cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534a90b 0x534a94
    00534a94
    00534a94loc_534a94:
    00534a94ldr x4, [sp+64]
    00534a98add x4, x4, 1
    00534a9cstr x4, [sp+64]
    00534aa0orr x3, xzr, 1
    00534aa4b 0x534a74
    00534aa8
    00534aa8loc_534aa8:
    00534aa8ldr x1, [sp+264]
    00534aacldr x2, [sp+256]
    00534ab0ldr x0, [sp+264]
    00534ab4bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534ab8ldr x1, [sp+264]
    00534abcldr x0, [sp+256]
    00534ac0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534ac4orr x3, xzr, 1
    00534ac8str x3, [sp+56]
    00534accb 0x534ad0
    00534ad0
    00534ad0loc_534ad0:
    00534ad0ldr x4, [sp+56]
    00534ad4subs xzr, x4, 17
    00534ad8b.lt 0x534ae0
    00534adcb 0x534b04
    00534ae0
    00534ae0loc_534ae0:
    00534ae0ldr x1, [sp+256]
    00534ae4ldr x0, [sp+256]
    00534ae8bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534aecb 0x534af0
    00534af0
    00534af0loc_534af0:
    00534af0ldr x4, [sp+56]
    00534af4add x4, x4, 1
    00534af8str x4, [sp+56]
    00534afcorr x3, xzr, 1
    00534b00b 0x534ad0
    00534b04
    00534b04loc_534b04:
    00534b04ldr x1, [sp+240]
    00534b08ldr x2, [sp+256]
    00534b0cldr x0, [sp+240]
    00534b10bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534b14ldr x1, [sp+240]
    00534b18ldr x0, [sp+256]
    00534b1cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534b20orr x3, xzr, 1
    00534b24str x3, [sp+48]
    00534b28b 0x534b2c
    00534b2c
    00534b2cloc_534b2c:
    00534b2cldr x4, [sp+48]
    00534b30subs xzr, x4, 48
    00534b34b.lt 0x534b3c
    00534b38b 0x534b60
    00534b3c
    00534b3cloc_534b3c:
    00534b3cldr x1, [sp+256]
    00534b40ldr x0, [sp+256]
    00534b44bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534b48b 0x534b4c
    00534b4c
    00534b4cloc_534b4c:
    00534b4cldr x4, [sp+48]
    00534b50add x4, x4, 1
    00534b54str x4, [sp+48]
    00534b58orr x3, xzr, 1
    00534b5cb 0x534b2c
    00534b60
    00534b60loc_534b60:
    00534b60ldr x1, [sp+240]
    00534b64ldr x2, [sp+256]
    00534b68ldr x0, [sp+240]
    00534b6cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534b70ldr x1, [sp+240]
    00534b74ldr x0, [sp+256]
    00534b78bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534b7corr x3, xzr, 1
    00534b80str x3, [sp+40]
    00534b84b 0x534b88
    00534b88
    00534b88loc_534b88:
    00534b88ldr x3, [sp+40]
    00534b8csubs xzr, x3, 31
    00534b90b.lt 0x534b98
    00534b94b 0x534bb8
    00534b98
    00534b98loc_534b98:
    00534b98ldr x1, [sp+256]
    00534b9cldr x0, [sp+256]
    00534ba0bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534ba4b 0x534ba8
    00534ba8
    00534ba8loc_534ba8:
    00534ba8ldr x3, [sp+40]
    00534bacadd x3, x3, 1
    00534bb0str x3, [sp+40]
    00534bb4b 0x534b88
    00534bb8
    00534bb8loc_534bb8:
    00534bb8ldr x1, [sp+264]
    00534bbcldr x2, [sp+256]
    00534bc0ldr x0, [sp+264]
    00534bc4bl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534bc8str xzr, [sp+32]
    00534bccb 0x534bd0
    00534bd0
    00534bd0loc_534bd0:
    00534bd0ldr x3, [sp+32]
    00534bd4subs xzr, x3, 97
    00534bd8b.lt 0x534be0
    00534bdcb 0x534c00
    00534be0
    00534be0loc_534be0:
    00534be0ldr x1, [sp+264]
    00534be4ldr x0, [sp+264]
    00534be8bl crypto/internal/fips140/nistec/fiat.(*P224Element).Square
    00534becb 0x534bf0
    00534bf0
    00534bf0loc_534bf0:
    00534bf0ldr x3, [sp+32]
    00534bf4add x3, x3, 1
    00534bf8str x3, [sp+32]
    00534bfcb 0x534bd0
    00534c00
    00534c00loc_534c00:
    00534c00ldr x1, [sp+240]
    00534c04ldr x2, [sp+264]
    00534c08ldr x0, [sp+240]
    00534c0cbl crypto/internal/fips140/nistec/fiat.(*P224Element).Mul
    00534c10ldr x1, [sp+240]
    00534c14ldr x0, [sp+296]
    00534c18bl crypto/internal/fips140/nistec/fiat.(*P224Element).Set
    00534c1cstr x0, [sp+272]
    00534c20str x0, [sp+232]
    00534c24ldp x29, x30, [sp-8]
    00534c28add sp, sp, 288
    00534c2cret x30
    00534c30
    00534c30loc_534c30:
    00534c30stp x0, x1, [sp+8]
    00534c34mov x3, x30
    00534c38bl runtime.morestack_noctxt.abi0
    00534c3cldp x0, x1, [sp+8]
    00534c40b 0x534850
    00534c44udf 0
    00534c48udf 0
    00534c4cudf 0
    00534850
    00534c50
    00534c50crypto/internal/fips140/nistec/fiat.(*P384Element).One: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).One(crypto/internal/fips140/nistec/fiat.P384Element * e)
    00534c50ldr x16, [x28+16]
    00534c54subs xzr, sp, x16
    00534c58b.ls 0x534c94
    00534c5cstr x30, [sp-48]!
    00534c60stur x29, [sp-8]
    00534c64sub x29, sp, 8
    00534c68str x0, [sp+56]
    00534c6cstr xzr, [sp+24]
    00534c70ldr x0, [sp+56]
    00534c74ldrsb x27, [x0]
    00534c78str x0, [sp+32]
    00534c7cbl crypto/internal/fips140/nistec/fiat.p384SetOne
    00534c80ldr x0, [sp+56]
    00534c84str x0, [sp+24]
    00534c88ldur x29, [sp-8]
    00534c8cldr x30, [sp], 48
    00534c90ret x30
    00534c94
    00534c94loc_534c94:
    00534c94str x0, [sp+8]
    00534c98mov x3, x30
    00534c9cbl runtime.morestack_noctxt.abi0
    00534ca0ldr x0, [sp+8]
    00534ca4b 0x534c50
    00534ca8udf 0
    00534cacudf 0
    00534c50
    00534cb0
    00534cb0crypto/internal/fips140/nistec/fiat.(*P384Element).Equal: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Equal(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * t)
    00534cb0ldr x16, [x28+16]
    00534cb4subs xzr, sp, x16
    00534cb8b.ls 0x534d40
    00534cbcstr x30, [sp-128]!
    00534cc0stur x29, [sp-8]
    00534cc4sub x29, sp, 8
    00534cc8str x0, [sp+136]
    00534cccstr x1, [sp+144]
    00534cd0str xzr, [sp+56]
    00534cd4bl crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes
    00534cd8str x0, [sp+96]
    00534cdcstr x1, [sp+104]
    00534ce0str x2, [sp+112]
    00534ce4ldr x0, [sp+144]
    00534ce8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes
    00534cecstr x0, [sp+72]
    00534cf0str x1, [sp+80]
    00534cf4str x2, [sp+88]
    00534cf8ldr x3, [sp+96]
    00534cfcldr x4, [sp+104]
    00534d00ldr x5, [sp+112]
    00534d04mov x6, x0
    00534d08mov x0, x3
    00534d0cmov x7, x1
    00534d10mov x1, x4
    00534d14mov x8, x2
    00534d18mov x2, x5
    00534d1cmov x3, x6
    00534d20mov x4, x7
    00534d24mov x5, x8
    00534d28bl crypto/internal/fips140/subtle.ConstantTimeCompare
    00534d2cstr x0, [sp+64]
    00534d30str x0, [sp+56]
    00534d34ldur x29, [sp-8]
    00534d38ldr x30, [sp], 128
    00534d3cret x30
    00534d40
    00534d40loc_534d40:
    00534d40stp x0, x1, [sp+8]
    00534d44mov x3, x30
    00534d48bl runtime.morestack_noctxt.abi0
    00534d4cldp x0, x1, [sp+8]
    00534d50b 0x534cb0
    00534d54udf 0
    00534d58udf 0
    00534d5cudf 0
    00534cb0
    00534d60
    00534d60crypto/internal/fips140/nistec/fiat.(*P384Element).IsZero: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).IsZero(crypto/internal/fips140/nistec/fiat.P384Element * e)
    00534d60ldr x16, [x28+16]
    00534d64sub x17, sp, 48
    00534d68subs xzr, x17, x16
    00534d6cb.ls 0x534de8
    00534d70str x30, [sp-176]!
    00534d74stur x29, [sp-8]
    00534d78sub x29, sp, 8
    00534d7cstr x0, [sp+184]
    00534d80str xzr, [sp+104]
    00534d84b 0x534d88
    00534d88
    00534d88loc_534d88:
    00534d88stp xzr, xzr, [sp+56]
    00534d8cstp xzr, xzr, [sp+72]
    00534d90stp xzr, xzr, [sp+88]
    00534d94add x1, sp, 56
    00534d98ldrsb x27, [x1]
    00534d9cb 0x534da0
    00534da0
    00534da0loc_534da0:
    00534da0str x1, [sp+120]
    00534da4orr x1, xzr, 48
    00534da8str x1, [sp+128]
    00534dacstr x1, [sp+136]
    00534db0ldr x0, [sp+184]
    00534db4bl crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes
    00534db8str x0, [sp+144]
    00534dbcstr x1, [sp+152]
    00534dc0str x2, [sp+160]
    00534dc4ldr x4, [sp+128]
    00534dc8ldr x5, [sp+136]
    00534dccldr x3, [sp+120]
    00534dd0bl crypto/internal/fips140/subtle.ConstantTimeCompare
    00534dd4str x0, [sp+112]
    00534dd8str x0, [sp+104]
    00534ddcldur x29, [sp-8]
    00534de0ldr x30, [sp], 176
    00534de4ret x30
    00534de8
    00534de8loc_534de8:
    00534de8str x0, [sp+8]
    00534decmov x3, x30
    00534df0bl runtime.morestack_noctxt.abi0
    00534df4ldr x0, [sp+8]
    00534df8b 0x534d60
    00534dfcudf 0
    00534d60
    00534e00
    00534e00crypto/internal/fips140/nistec/fiat.(*P384Element).Set: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Set(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * t)
    00534e00str x30, [sp-32]!
    00534e04stur x29, [sp-8]
    00534e08sub x29, sp, 8
    00534e0cstr x0, [sp+40]
    00534e10str x1, [sp+48]
    00534e14str xzr, [sp+16]
    00534e18ldr x1, [sp+40]
    00534e1cldrsb x27, [x1]
    00534e20ldr x2, [sp+48]
    00534e24ldrsb x27, [x2]
    00534e28ldp x3, x4, [x2]
    00534e2cldp x5, x6, [x2+16]
    00534e30ldp x2, x7, [x2+32]
    00534e34stp x3, x4, [x1]
    00534e38stp x5, x6, [x1+16]
    00534e3cstp x2, x7, [x1+32]
    00534e40ldr x0, [sp+40]
    00534e44str x0, [sp+16]
    00534e48add x29, sp, 24
    00534e4cadd sp, sp, 32
    00534e50ret x30
    00534e54udf 0
    00534e58udf 0
    00534e5cudf 0
    00534e00
    00534e60
    00534e60crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes(crypto/internal/fips140/nistec/fiat.P384Element * e)
    00534e60ldr x16, [x28+16]
    00534e64subs xzr, sp, x16
    00534e68b.ls 0x534ed0
    00534e6cstr x30, [sp-96]!
    00534e70stur x29, [sp-8]
    00534e74sub x29, sp, 8
    00534e78str x0, [sp+104]
    00534e7cstr xzr, [sp+32]
    00534e80stp xzr, xzr, [sp+40]
    00534e84adrp x0, 0xd1000
    00534e88add x0, x0, 2464
    00534e8cbl runtime.newobject
    00534e90str x0, [sp+80]
    00534e94stp xzr, xzr, [x0]
    00534e98stp xzr, xzr, [x0+16]
    00534e9cstp xzr, xzr, [x0+32]
    00534ea0ldr x0, [sp+104]
    00534ea4ldr x1, [sp+80]
    00534ea8bl crypto/internal/fips140/nistec/fiat.(*P384Element).bytes
    00534eacstr x0, [sp+56]
    00534eb0str x1, [sp+64]
    00534eb4str x2, [sp+72]
    00534eb8str x0, [sp+32]
    00534ebcstr x1, [sp+40]
    00534ec0str x2, [sp+48]
    00534ec4ldur x29, [sp-8]
    00534ec8ldr x30, [sp], 96
    00534eccret x30
    00534ed0
    00534ed0loc_534ed0:
    00534ed0str x0, [sp+8]
    00534ed4mov x3, x30
    00534ed8bl runtime.morestack_noctxt.abi0
    00534edcldr x0, [sp+8]
    00534ee0b 0x534e60
    00534ee4udf 0
    00534ee8udf 0
    00534eecudf 0
    00534e60
    00534ef0
    00534ef0crypto/internal/fips140/nistec/fiat.(*P384Element).bytes: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).bytes(crypto/internal/fips140/nistec/fiat.P384Element * e, uint8[48] * out)
    00534ef0ldr x16, [x28+16]
    00534ef4sub x17, sp, 16
    00534ef8subs xzr, x17, x16
    00534efcb.ls 0x534fa8
    00534f00str x30, [sp-144]!
    00534f04stur x29, [sp-8]
    00534f08sub x29, sp, 8
    00534f0cstr x0, [sp+152]
    00534f10str x1, [sp+160]
    00534f14str xzr, [sp+80]
    00534f18stp xzr, xzr, [sp+88]
    00534f1cstp xzr, xzr, [sp+32]
    00534f20stp xzr, xzr, [sp+48]
    00534f24stp xzr, xzr, [sp+64]
    00534f28ldr x1, [sp+152]
    00534f2cldrsb x27, [x1]
    00534f30str x1, [sp+104]
    00534f34add x0, sp, 32
    00534f38bl crypto/internal/fips140/nistec/fiat.p384FromMontgomery
    00534f3cldr x0, [sp+160]
    00534f40add x1, sp, 32
    00534f44bl crypto/internal/fips140/nistec/fiat.p384ToBytes
    00534f48ldr x0, [sp+160]
    00534f4cldrsb x27, [x0]
    00534f50b 0x534f54
    00534f54
    00534f54loc_534f54:
    00534f54str x0, [sp+112]
    00534f58orr x2, xzr, 48
    00534f5cstr x2, [sp+120]
    00534f60str x2, [sp+128]
    00534f64mov x1, x2
    00534f68bl crypto/internal/fips140/nistec/fiat.p384InvertEndianness
    00534f6cldr x3, [sp+160]
    00534f70ldrsb x27, [x3]
    00534f74b 0x534f78
    00534f78
    00534f78loc_534f78:
    00534f78str x3, [sp+112]
    00534f7corr x2, xzr, 48
    00534f80str x2, [sp+120]
    00534f84str x2, [sp+128]
    00534f88str x3, [sp+80]
    00534f8cstr x2, [sp+88]
    00534f90str x2, [sp+96]
    00534f94ldr x0, [sp+80]
    00534f98mov x1, x2
    00534f9cldur x29, [sp-8]
    00534fa0ldr x30, [sp], 144
    00534fa4ret x30
    00534fa8
    00534fa8loc_534fa8:
    00534fa8stp x0, x1, [sp+8]
    00534facmov x3, x30
    00534fb0bl runtime.morestack_noctxt.abi0
    00534fb4ldp x0, x1, [sp+8]
    00534fb8b 0x534ef0
    00534fbcudf 0
    00534ef0
    00534fc0
    00534fc0crypto/internal/fips140/nistec/fiat.(*P384Element).SetBytes: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).SetBytes(crypto/internal/fips140/nistec/fiat.P384Element * e, struct []uint8 v)
    00534fc0ldr x16, [x28+16]
    00534fc4sub x17, sp, 384
    00534fc8subs xzr, x17, x16
    00534fccb.ls 0x5352dc
    00534fd0sub x20, sp, 512
    00534fd4stp x29, x30, [x20-8]
    00534fd8add sp, x20, 0
    00534fdcsub x29, sp, 8
    00534fe0str x0, [sp+520]
    00534fe4str x1, [sp+528]
    00534fe8str x2, [sp+536]
    00534fecstr x3, [sp+544]
    00534ff0str xzr, [sp+336]
    00534ff4stp xzr, xzr, [sp+320]
    00534ff8ldr x2, [sp+536]
    00534ffcstr x2, [sp+136]
    00535000subs xzr, x2, 48
    00535004b.ne 0x53500c
    00535008b 0x535048
    0053500c
    0053500cloc_53500c:
    0053500cadrp x0, 0x187000
    00535010add x0, x0, 372
    00535014orr x1, xzr, 28
    00535018bl errors.New
    0053501cstr x0, [sp+368]
    00535020str x1, [sp+376]
    00535024str xzr, [sp+336]
    00535028ldr x1, [sp+368]
    0053502cldr x2, [sp+376]
    00535030str x1, [sp+320]
    00535034str x2, [sp+328]
    00535038ldr x0, [sp+336]
    0053503cldp x29, x30, [sp-8]
    00535040add sp, sp, 512
    00535044ret x30
    00535048
    00535048loc_535048:
    00535048stp xzr, xzr, [sp+272]
    0053504cstp xzr, xzr, [sp+288]
    00535050stp xzr, xzr, [sp+304]
    00535054add x1, sp, 272
    00535058str x1, [sp+496]
    0053505cstp xzr, xzr, [sp+224]
    00535060stp xzr, xzr, [sp+240]
    00535064stp xzr, xzr, [sp+256]
    00535068add x1, sp, 224
    0053506cstr x1, [sp+488]
    00535070stp xzr, xzr, [sp+176]
    00535074stp xzr, xzr, [sp+192]
    00535078stp xzr, xzr, [sp+208]
    0053507cadd x0, sp, 176
    00535080str x0, [sp+480]
    00535084bl crypto/internal/fips140/nistec/fiat.(*P384Element).One
    00535088str x0, [sp+472]
    0053508cldr x1, [sp+488]
    00535090ldr x2, [sp+496]
    00535094mov x3, x0
    00535098mov x0, x2
    0053509cmov x2, x3
    005350a0bl crypto/internal/fips140/nistec/fiat.(*P384Element).Sub
    005350a4str x0, [sp+464]
    005350a8bl crypto/internal/fips140/nistec/fiat.(*P384Element).Bytes
    005350acstr x0, [sp+344]
    005350b0str x1, [sp+352]
    005350b4str x2, [sp+360]
    005350b8str xzr, [sp+168]
    005350bcldr x1, [sp+536]
    005350c0str x1, [sp+160]
    005350c4b 0x5350c8
    005350c8
    005350c8loc_5350c8:
    005350c8ldr x3, [sp+160]
    005350ccldr x4, [sp+168]
    005350d0subs xzr, x3, x4
    005350d4b.gt 0x5350dc
    005350d8b 0x5351b0
    005350dc
    005350dcloc_5350dc:
    005350dcldr x0, [sp+168]
    005350e0str x0, [sp+128]
    005350e4ldr x1, [sp+536]
    005350e8ldr x3, [sp+528]
    005350ecsubs xzr, x1, x0
    005350f0b.hi 0x5350f8
    005350f4b 0x5352d4
    005350f8
    005350f8loc_5350f8:
    005350f8ldrb w3, [x3+x0]
    005350fcldr x1, [sp+352]
    00535100ldr x4, [sp+344]
    00535104subs xzr, x1, x0
    00535108b.hi 0x535110
    0053510cb 0x5352d0
    00535110
    00535110loc_535110:
    00535110ldrb w4, [x4+x0]
    00535114subs wzr, w3, w4
    00535118b.lo 0x535120
    0053511cb 0x535124
    00535120
    00535120loc_535120:
    00535120b 0x5351b4
    00535124
    00535124loc_535124:
    00535124ldr x1, [sp+536]
    00535128ldr x3, [sp+528]
    0053512csubs xzr, x1, x0
    00535130b.hi 0x535138
    00535134b 0x5352cc
    00535138
    00535138loc_535138:
    00535138ldrb w3, [x3+x0]
    0053513cldr x1, [sp+352]
    00535140ldr x4, [sp+344]
    00535144subs xzr, x1, x0
    00535148b.hi 0x535150
    0053514cb 0x5352c8
    00535150
    00535150loc_535150:
    00535150ldrb w4, [x4+x0]
    00535154subs wzr, w4, w3
    00535158b.lo 0x535160
    0053515cb 0x53519c
    00535160
    00535160loc_535160:
    00535160adrp x0, 0x187000
    00535164add x0, x0, 372
    00535168orr x1, xzr, 28
    0053516cbl errors.New
    00535170str x0, [sp+368]
    00535174str x1, [sp+376]
    00535178str xzr, [sp+336]
    0053517cldr x1, [sp+368]
    00535180ldr x2, [sp+376]
    00535184str x1, [sp+320]
    00535188str x2, [sp+328]
    0053518cldr x0, [sp+336]
    00535190ldp x29, x30, [sp-8]
    00535194add sp, sp, 512
    00535198ret x30
    0053519c
    0053519cloc_53519c:
    0053519cb 0x5351a0
    005351a0
    005351a0loc_5351a0:
    005351a0ldr x3, [sp+168]
    005351a4add x3, x3, 1
    005351a8str x3, [sp+168]
    005351acb 0x5350c8
    005351b0
    005351b0loc_5351b0:
    005351b0b 0x5351b4
    005351b4
    005351b4loc_5351b4:
    005351b4stp xzr, xzr, [sp+32]
    005351b8stp xzr, xzr, [sp+48]
    005351bcstp xzr, xzr, [sp+64]
    005351c0add x3, sp, 32
    005351c4ldrsb x27, [x3]
    005351c8b 0x5351cc
    005351cc
    005351ccloc_5351cc:
    005351ccstr x3, [sp+440]
    005351d0orr x2, xzr, 48
    005351d4str x2, [sp+448]
    005351d8str x2, [sp+456]
    005351dcstr x3, [sp+416]
    005351e0str x2, [sp+424]
    005351e4str x2, [sp+432]
    005351e8ldr x3, [sp+536]
    005351ecldr x4, [sp+528]
    005351f0ldr x5, [sp+544]
    005351f4str x4, [sp+392]
    005351f8str x3, [sp+400]
    005351fcstr x5, [sp+408]
    00535200ldr x4, [sp+424]
    00535204str x4, [sp+152]
    00535208subs xzr, x4, x3
    0053520cb.gt 0x535214
    00535210b 0x53521c
    00535214
    00535214loc_535214:
    00535214str x3, [sp+152]
    00535218b 0x535220
    0053521c
    0053521cloc_53521c:
    0053521cb 0x535220
    00535220
    00535220loc_535220:
    00535220ldr x3, [sp+392]
    00535224ldr x4, [sp+416]
    00535228subs xzr, x3, x4
    0053522cb.ne 0x535234
    00535230b 0x535250
    00535234
    00535234loc_535234:
    00535234ldr x3, [sp+152]
    00535238str x3, [sp+144]
    0053523cldr x2, [sp+144]
    00535240ldr x1, [sp+392]
    00535244ldr x0, [sp+416]
    00535248bl runtime.memmove
    0053524cb 0x535254
    00535250
    00535250loc_535250:
    00535250b 0x535254
    00535254
    00535254loc_535254:
    00535254add x0, sp, 32
    00535258ldrsb x27, [x0]
    0053525cb 0x535260
    00535260
    00535260loc_535260:
    00535260str x0, [sp+440]
    00535264orr x2, xzr, 48
    00535268str x2, [sp+448]
    0053526cstr x2, [sp+456]
    00535270mov x1, x2
    00535274bl crypto/internal/fips140/nistec/fiat.p384InvertEndianness
    00535278stp xzr, xzr, [sp+80]
    0053527cstp xzr, xzr, [sp+96]
    00535280stp xzr, xzr, [sp+112]
    00535284add x0, sp, 80
    00535288add x1, sp, 32
    0053528cbl crypto/internal/fips140/nistec/fiat.p384FromBytes
    00535290ldr x0, [sp+520]
    00535294ldrsb x27, [x0]
    00535298str x0, [sp+384]
    0053529cadd x1, sp, 80
    005352a0bl crypto/internal/fips140/nistec/fiat.p384ToMontgomery
    005352a4ldr x3, [sp+520]
    005352a8str x3, [sp+336]
    005352acstp xzr, xzr, [sp+320]
    005352b0ldr x0, [sp+336]
    005352b4mov x1, xzr
    005352b8mov x2, xzr
    005352bcldp x29, x30, [sp-8]
    005352c0add sp, sp, 512
    005352c4ret x30
    005352c8
    005352c8loc_5352c8:
    005352c8bl runtime.panicIndex
    005352cc
    005352ccloc_5352cc:
    005352ccbl runtime.panicIndex
    005352d0
    005352d0loc_5352d0:
    005352d0bl runtime.panicIndex
    005352d4
    005352d4loc_5352d4:
    005352d4bl runtime.panicIndex
    005352d8hint
    005352dc
    005352dcloc_5352dc:
    005352dcstp x0, x1, [sp+8]
    005352e0stp x2, x3, [sp+24]
    005352e4mov x3, x30
    005352e8bl runtime.morestack_noctxt.abi0
    005352ecldp x0, x1, [sp+8]
    005352f0ldp x2, x3, [sp+24]
    005352f4b 0x534fc0
    005352f8udf 0
    005352fcudf 0
    00534fc0
    00535300
    00535300crypto/internal/fips140/nistec/fiat.(*P384Element).Add: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Add(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * t1, crypto/internal/fips140/nistec/fiat.P384Element * t2)
    00535300ldr x16, [x28+16]
    00535304subs xzr, sp, x16
    00535308b.ls 0x53536c
    0053530cstr x30, [sp-80]!
    00535310stur x29, [sp-8]
    00535314sub x29, sp, 8
    00535318str x0, [sp+88]
    0053531cstr x1, [sp+96]
    00535320str x2, [sp+104]
    00535324str xzr, [sp+40]
    00535328ldr x3, [sp+88]
    0053532cldrsb x27, [x3]
    00535330str x3, [sp+64]
    00535334ldr x3, [sp+96]
    00535338ldrsb x27, [x3]
    0053533cstr x3, [sp+56]
    00535340ldr x2, [sp+104]
    00535344ldrsb x27, [x2]
    00535348str x2, [sp+48]
    0053534cldr x0, [sp+64]
    00535350ldr x1, [sp+56]
    00535354bl crypto/internal/fips140/nistec/fiat.p384Add
    00535358ldr x0, [sp+88]
    0053535cstr x0, [sp+40]
    00535360ldur x29, [sp-8]
    00535364ldr x30, [sp], 80
    00535368ret x30
    0053536c
    0053536cloc_53536c:
    0053536cstp x0, x1, [sp+8]
    00535370str x2, [sp+24]
    00535374mov x3, x30
    00535378bl runtime.morestack_noctxt.abi0
    0053537cldp x0, x1, [sp+8]
    00535380ldr x2, [sp+24]
    00535384b 0x535300
    00535388udf 0
    0053538cudf 0
    00535300
    00535390
    00535390crypto/internal/fips140/nistec/fiat.(*P384Element).Sub: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Sub(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * t1, crypto/internal/fips140/nistec/fiat.P384Element * t2)
    00535390ldr x16, [x28+16]
    00535394subs xzr, sp, x16
    00535398b.ls 0x5353fc
    0053539cstr x30, [sp-80]!
    005353a0stur x29, [sp-8]
    005353a4sub x29, sp, 8
    005353a8str x0, [sp+88]
    005353acstr x1, [sp+96]
    005353b0str x2, [sp+104]
    005353b4str xzr, [sp+40]
    005353b8ldr x3, [sp+88]
    005353bcldrsb x27, [x3]
    005353c0str x3, [sp+64]
    005353c4ldr x3, [sp+96]
    005353c8ldrsb x27, [x3]
    005353ccstr x3, [sp+56]
    005353d0ldr x2, [sp+104]
    005353d4ldrsb x27, [x2]
    005353d8str x2, [sp+48]
    005353dcldr x0, [sp+64]
    005353e0ldr x1, [sp+56]
    005353e4bl crypto/internal/fips140/nistec/fiat.p384Sub
    005353e8ldr x0, [sp+88]
    005353ecstr x0, [sp+40]
    005353f0ldur x29, [sp-8]
    005353f4ldr x30, [sp], 80
    005353f8ret x30
    005353fc
    005353fcloc_5353fc:
    005353fcstp x0, x1, [sp+8]
    00535400str x2, [sp+24]
    00535404mov x3, x30
    00535408bl runtime.morestack_noctxt.abi0
    0053540cldp x0, x1, [sp+8]
    00535410ldr x2, [sp+24]
    00535414b 0x535390
    00535418udf 0
    0053541cudf 0
    00535390
    00535420
    00535420crypto/internal/fips140/nistec/fiat.(*P384Element).Mul: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Mul(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * t1, crypto/internal/fips140/nistec/fiat.P384Element * t2)
    00535420ldr x16, [x28+16]
    00535424subs xzr, sp, x16
    00535428b.ls 0x53548c
    0053542cstr x30, [sp-80]!
    00535430stur x29, [sp-8]
    00535434sub x29, sp, 8
    00535438str x0, [sp+88]
    0053543cstr x1, [sp+96]
    00535440str x2, [sp+104]
    00535444str xzr, [sp+40]
    00535448ldr x3, [sp+88]
    0053544cldrsb x27, [x3]
    00535450str x3, [sp+64]
    00535454ldr x3, [sp+96]
    00535458ldrsb x27, [x3]
    0053545cstr x3, [sp+56]
    00535460ldr x2, [sp+104]
    00535464ldrsb x27, [x2]
    00535468str x2, [sp+48]
    0053546cldr x0, [sp+64]
    00535470ldr x1, [sp+56]
    00535474bl crypto/internal/fips140/nistec/fiat.p384Mul
    00535478ldr x0, [sp+88]
    0053547cstr x0, [sp+40]
    00535480ldur x29, [sp-8]
    00535484ldr x30, [sp], 80
    00535488ret x30
    0053548c
    0053548cloc_53548c:
    0053548cstp x0, x1, [sp+8]
    00535490str x2, [sp+24]
    00535494mov x3, x30
    00535498bl runtime.morestack_noctxt.abi0
    0053549cldp x0, x1, [sp+8]
    005354a0ldr x2, [sp+24]
    005354a4b 0x535420
    005354a8udf 0
    005354acudf 0
    00535420
    005354b0
    005354b0crypto/internal/fips140/nistec/fiat.(*P384Element).Square: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Square(crypto/internal/fips140/nistec/fiat.P384Element * e, crypto/internal/fips140/nistec/fiat.P384Element * t)
    005354b0ldr x16, [x28+16]
    005354b4subs xzr, sp, x16
    005354b8b.ls 0x535508
    005354bcstr x30, [sp-64]!
    005354c0stur x29, [sp-8]
    005354c4sub x29, sp, 8
    005354c8str x0, [sp+72]
    005354ccstr x1, [sp+80]
    005354d0str xzr, [sp+32]
    005354d4ldr x2, [sp+72]
    005354d8ldrsb x27, [x2]
    005354dcstr x2, [sp+48]
    005354e0ldr x1, [sp+80]
    005354e4ldrsb x27, [x1]
    005354e8str x1, [sp+40]
    005354ecldr x0, [sp+48]
    005354f0bl crypto/internal/fips140/nistec/fiat.p384Square
    005354f4ldr x0, [sp+72]
    005354f8str x0, [sp+32]
    005354fcldur x29, [sp-8]
    00535500ldr x30, [sp], 64
    00535504ret x30
    00535508
    00535508loc_535508:
    00535508stp x0, x1, [sp+8]
    0053550cmov x3, x30
    00535510bl runtime.morestack_noctxt.abi0
    00535514ldp x0, x1, [sp+8]
    00535518b 0x5354b0
    0053551cudf 0
    005354b0
    00535520
    00535520crypto/internal/fips140/nistec/fiat.(*P384Element).Select: ; void crypto/internal/fips140/nistec/fiat.(*P384Element).Select(crypto/internal/fips140/nistec/fiat.P384Element * v, crypto/internal/fips140/nistec/fiat.P384Element * a, crypto/internal/fips140/nistec/fiat.P384Element * b, int cond)
    00535520ldr x16, [x28+16]
    00535524subs xzr, sp, x16
    00535528b.ls 0x535598
    0053552cstr x30, [sp-80]!
    00535530stur x29, [sp-8]
    00535534sub x29, sp, 8
    00535538str x0, [sp+88]
    0053553cstr x1, [sp+96]
    00535540str x2, [sp+104]
    00535544str x3, [sp+112]
    00535548str xzr, [sp+40]
    0053554cldr x4, [sp+88]
    00535550ldrsb x27, [x4]
    00535554str x4, [sp+64]
    00535558ldr x4, [sp+104]
    0053555cldrsb x27, [x4]
    00535560str x4, [sp+56]
    00535564ldr x4, [sp+96]
    00535568ldrsb x27, [x4]
    0053556cstr x4, [sp+48]
    00535570ldr x0, [sp+64]
    00535574ldr x2, [sp+56]
    00535578ldr x3, [sp+48]
    0053557cldr x1, [sp+112]
    00535580bl crypto/internal/fips140/nistec/fiat.p384Selectznz
    00535584ldr x0, [sp+88]
    00535588str x0, [sp+40]
    0053558cldur x29, [sp-8]
    00535590ldr x30, [sp], 80
    00535594ret x30
    00535598
    00535598loc_535598:
    00535598stp x0, x1, [sp+8]
    0053559cstp x2, x3, [sp+24]
    005355a0mov x3, x30
    005355a4bl runtime.morestack_noctxt.abi0
    005355a8ldp x0, x1, [sp+8]
    005355acldp x2, x3, [sp+24]
    005355b0b 0x535520
    005355b4udf 0
    005355b8udf 0
    005355bcudf 0
    00535520
    005355c0
    005355c0crypto/internal/fips140/nistec/fiat.p384InvertEndianness: ; void crypto/internal/fips140/nistec/fiat.p384InvertEndianness(struct []uint8 v)
    005355c0ldr x16, [x28+16]
    005355c4subs xzr, sp, x16
    005355c8b.ls 0x5356e0
    005355ccstr x30, [sp-80]!
    005355d0stur x29, [sp-8]
    005355d4sub x29, sp, 8
    005355d8str x0, [sp+88]
    005355dcstr x1, [sp+96]
    005355e0str x2, [sp+104]
    005355e4str xzr, [sp+32]
    005355e8b 0x5355ec
    005355ec
    005355ecloc_5355ec:
    005355ecldr x2, [sp+96]
    005355f0str x2, [sp+64]
    005355f4ldr x3, [sp+32]
    005355f8subs xzr, x3, x2, lsr #1
    005355fcb.lt 0x535604
    00535600b 0x5356bc
    00535604
    00535604loc_535604:
    00535604ldr x2, [sp+96]
    00535608str x2, [sp+56]
    0053560cldr x2, [sp+96]
    00535610str x2, [sp+48]
    00535614ldr x0, [sp+32]
    00535618ldr x1, [sp+96]
    0053561cldr x2, [sp+88]
    00535620subs xzr, x0, x1
    00535624b.lo 0x53562c
    00535628b 0x5356d8
    0053562c
    0053562cloc_53562c:
    0053562cldrb w2, [x2+x0]
    00535630strb w2, [sp+31]
    00535634ldr x1, [sp+96]
    00535638ldr x2, [sp+88]
    0053563cldr x3, [sp+48]
    00535640ldr x4, [sp+32]
    00535644sub x3, x3, x4
    00535648sub x0, x3, 1
    0053564csubs xzr, x1, x0
    00535650b.hi 0x535658
    00535654b 0x5356d4
    00535658
    00535658loc_535658:
    00535658ldr x3, [sp+32]
    0053565cldr x1, [sp+96]
    00535660ldr x4, [sp+88]
    00535664ldrb w2, [x2+x0]
    00535668subs xzr, x1, x3
    0053566cb.hi 0x535674
    00535670b 0x5356cc
    00535674
    00535674loc_535674:
    00535674strb w2, [x4+x3]
    00535678ldr x2, [sp+56]
    0053567cldr x3, [sp+32]
    00535680sub x2, x2, x3
    00535684sub x0, x2, 1
    00535688str x0, [sp+40]
    0053568cldr x1, [sp+96]
    00535690ldr x2, [sp+88]
    00535694ldrb w3, [sp+31]
    00535698subs xzr, x1, x0
    0053569cb.hi 0x5356a4
    005356a0b 0x5356c8
    005356a4
    005356a4loc_5356a4:
    005356a4strb w3, [x2+x0]
    005356a8b 0x5356ac
    005356ac
    005356acloc_5356ac:
    005356acldr x2, [sp+32]
    005356b0add x2, x2, 1
    005356b4str x2, [sp+32]
    005356b8b 0x5355ec
    005356bc
    005356bcloc_5356bc:
    005356bcldur x29, [sp-8]
    005356c0ldr x30, [sp], 80
    005356c4ret x30
    005356c8
    005356c8loc_5356c8:
    005356c8bl runtime.panicIndex
    005356cc
    005356ccloc_5356cc:
    005356ccmov x0, x3
    005356d0bl runtime.panicIndex
    005356d4
    005356d4loc_5356d4:
    005356d4bl runtime.panicIndex
    005356d8
    005356d8loc_5356d8:
    005356d8bl runtime.panicIndex
    005356dchint
    005356e0
    005356e0loc_5356e0:
    005356e0stp x0, x1, [sp+8]
    005356e4str x2, [sp+24]
    005356e8mov x3, x30
    005356ecbl runtime.morestack_noctxt.abi0
    005356f0ldp x0, x1, [sp+8]
    005356f4ldr x2, [sp+24]
    005356f8b 0x5355c0
    005356fcudf 0
    005355c0
    00535700
    00535700crypto/internal/fips140/nistec/fiat.p384CmovznzU64: ; void crypto/internal/fips140/nistec/fiat.p384CmovznzU64(uint64 * out1, crypto/internal/fips140/nistec/fiat.p384Uint1 arg1, uint64 arg2, uint64 arg3)
    00535700str x30, [sp-32]!
    00535704stur x29, [sp-8]
    00535708sub x29, sp, 8
    0053570cstr x0, [sp+40]
    00535710str x1, [sp+48]
    00535714str x2, [sp+56]
    00535718str x3, [sp+64]
    0053571csub x0, xzr, x1
    00535720str x0, [sp+16]
    00535724and x1, x0, x3
    00535728bic x0, x2, x0
    0053572corr x0, x1, x0
    00535730str x0, [sp+8]
    00535734ldr x1, [sp+40]
    00535738ldrsb x27, [x1]
    0053573cstr x0, [x1]
    00535740add x29, sp, 24
    00535744add sp, sp, 32
    00535748ret x30
    0053574cudf 0
    00535700
    00535750
    00535750crypto/internal/fips140/nistec/fiat.p384Mul: ; void crypto/internal/fips140/nistec/fiat.p384Mul(crypto/internal/fips140/nistec/fiat.p384MontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p384MontgomeryDomainFieldElement * arg1, crypto/internal/fips140/nistec/fiat.p384MontgomeryDomainFieldElement * arg2)
    00535750ldr x16, [x28+16]
    00535754movz x27, 7456
    00535758subs x17, sp, x27
    0053575cb.lo 0x5393e8
    00535760subs xzr, x17, x16
    00535764b.ls 0x5393e8
    00535768movz x27, 7584
    0053576csub x20, sp, x27
    00535770stp x29, x30, [x20-8]
    00535774add sp, x20, 0
    00535778sub x29, sp, 8
    0053577cstr x0, [sp+7592]
    00535780str x1, [sp+7600]
    00535784str x2, [sp+7608]
    00535788ldrsb x27, [x1]
    0053578cldr x4, [x1+8]
    00535790str x4, [sp+3712]
    00535794ldrsb x27, [x1]
    00535798ldr x4, [x1+16]
    0053579cstr x4, [sp+2848]
    005357a0ldrsb x27, [x1]
    005357a4ldr x4, [x1+24]
    005357a8str x4, [sp+1984]
    005357acldr x4, [sp+7600]
    005357b0ldrsb x27, [x4]
    005357b4ldr x4, [x4+32]
    005357b8str x4, [sp+1120]
    005357bcldr x4, [sp+7600]
    005357c0ldrsb x27, [x4]
    005357c4ldr x4, [x4+40]
    005357c8str x4, [sp+464]
    005357ccldr x4, [sp+7600]
    005357d0ldrsb x27, [x4]
    005357d4ldr x4, [x4]
    005357d8str x4, [sp+384]
    005357dcstr xzr, [sp+296]
    005357e0str xzr, [sp+208]
    005357e4ldr x5, [sp+7608]
    005357e8ldrsb x27, [x5]
    005357ecldr x5, [x5+40]
    005357f0str x5, [sp+4040]
    005357f4umulh x6, x4, x5
    005357f8str x6, [sp+4056]
    005357fcmadd x4, x4, x5, xzr
    00535800str x4, [sp+4048]
    00535804str x6, [sp+7528]
    00535808str x4, [sp+7480]
    0053580cstr x6, [sp+208]
    00535810str x4, [sp+296]
    00535814str xzr, [sp+120]
    00535818str xzr, [sp+3704]
    0053581cldr x4, [sp+7608]
    00535820ldrsb x27, [x4]
    00535824ldr x4, [x4+32]
    00535828str x4, [sp+4024]
    0053582cldr x5, [sp+384]
    00535830umulh x6, x5, x4
    00535834str x6, [sp+4048]
    00535838madd x4, x5, x4, xzr
    0053583cstr x4, [sp+4056]
    00535840str x6, [sp+7352]
    00535844str x4, [sp+7304]
    00535848str x6, [sp+3704]
    0053584cstr x4, [sp+120]
    00535850str xzr, [sp+3624]
    00535854str xzr, [sp+3536]
    00535858ldr x4, [sp+7608]
    0053585cldrsb x27, [x4]
    00535860ldr x4, [x4+24]
    00535864str x4, [sp+4016]
    00535868ldr x5, [sp+384]
    0053586cumulh x6, x5, x4
    00535870str x6, [sp+4056]
    00535874madd x4, x5, x4, xzr
    00535878str x4, [sp+4048]
    0053587cstr x6, [sp+7176]
    00535880str x4, [sp+7136]
    00535884str x6, [sp+3536]
    00535888str x4, [sp+3624]
    0053588cstr xzr, [sp+3448]
    00535890str xzr, [sp+3368]
    00535894ldr x4, [sp+7608]
    00535898ldrsb x27, [x4]
    0053589cldr x4, [x4+16]
    005358a0str x4, [sp+4008]
    005358a4ldr x5, [sp+384]
    005358a8umulh x6, x5, x4
    005358acstr x6, [sp+4048]
    005358b0madd x4, x5, x4, xzr
    005358b4str x4, [sp+4056]
    005358b8str x6, [sp+7000]
    005358bcstr x4, [sp+6952]
    005358c0str x6, [sp+3368]
    005358c4str x4, [sp+3448]
    005358c8str xzr, [sp+3280]
    005358ccstr xzr, [sp+3192]
    005358d0ldr x4, [sp+7608]
    005358d4ldrsb x27, [x4]
    005358d8ldr x4, [x4+8]
    005358dcstr x4, [sp+4000]
    005358e0ldr x5, [sp+384]
    005358e4umulh x6, x5, x4
    005358e8str x6, [sp+4056]
    005358ecmadd x4, x5, x4, xzr
    005358f0str x4, [sp+4048]
    005358f4str x6, [sp+6824]
    005358f8str x4, [sp+6784]
    005358fcstr x6, [sp+3192]
    00535900str x4, [sp+3280]
    00535904str xzr, [sp+3104]
    00535908str xzr, [sp+3016]
    0053590cldr x4, [sp+7608]
    00535910ldrsb x27, [x4]
    00535914ldr x4, [x4]
    00535918str x4, [sp+3992]
    0053591cldr x5, [sp+384]
    00535920umulh x6, x5, x4
    00535924str x6, [sp+4048]
    00535928madd x4, x5, x4, xzr
    0053592cstr x4, [sp+4056]
    00535930str x6, [sp+6648]
    00535934str x4, [sp+6608]
    00535938str x6, [sp+3016]
    0053593cstr x4, [sp+3104]
    00535940str xzr, [sp+2936]
    00535944str xzr, [sp+2840]
    00535948ldr x4, [sp+3280]
    0053594cadds x5, x6, x4
    00535950adc x5, xzr, xzr
    00535954adds x7, x6, x4
    00535958str x7, [sp+4056]
    0053595cstr x5, [sp+4048]
    00535960str x7, [sp+6480]
    00535964str x5, [sp+6432]
    00535968str x7, [sp+2936]
    0053596cstr x5, [sp+2840]
    00535970str xzr, [sp+2760]
    00535974str xzr, [sp+2672]
    00535978ldr x5, [sp+3448]
    0053597cldr x7, [sp+3192]
    00535980adds x8, x6, x4
    00535984adcs x8, x7, x5
    00535988adds x8, x6, x4
    0053598cadcs x8, x7, x5
    00535990str x8, [sp+4048]
    00535994adds x9, x6, x4
    00535998adcs x9, x7, x5
    0053599cadc x9, xzr, xzr
    005359a0str x9, [sp+4056]
    005359a4str x8, [sp+6296]
    005359a8str x9, [sp+6256]
    005359acstr x8, [sp+2760]
    005359b0str x9, [sp+2672]
    005359b4str xzr, [sp+2584]
    005359b8str xzr, [sp+2496]
    005359bcldr x8, [sp+3624]
    005359c0ldr x9, [sp+3368]
    005359c4adcs x10, x9, x8
    005359c8adds x10, x6, x4
    005359ccadcs x10, x7, x5
    005359d0adcs x10, x9, x8
    005359d4str x10, [sp+4056]
    005359d8adds x11, x6, x4
    005359dcadcs x11, x7, x5
    005359e0adcs x11, x9, x8
    005359e4adc x11, xzr, xzr
    005359e8str x11, [sp+4048]
    005359ecstr x10, [sp+6128]
    005359f0str x11, [sp+6080]
    005359f4str x10, [sp+2584]
    005359f8str x11, [sp+2496]
    005359fcstr xzr, [sp+2408]
    00535a00str xzr, [sp+2320]
    00535a04ldr x10, [sp+120]
    00535a08ldr x11, [sp+3536]
    00535a0cadcs x12, x11, x10
    00535a10adds x12, x6, x4
    00535a14adcs x12, x7, x5
    00535a18adcs x12, x9, x8
    00535a1cadcs x12, x11, x10
    00535a20str x12, [sp+4048]
    00535a24adds x13, x6, x4
    00535a28adcs x13, x7, x5
    00535a2cadcs x13, x9, x8
    00535a30adcs x13, x11, x10
    00535a34adc x13, xzr, xzr
    00535a38str x13, [sp+4056]
    00535a3cstr x12, [sp+5952]
    00535a40str x13, [sp+5904]
    00535a44str x12, [sp+2408]
    00535a48str x13, [sp+2320]
    00535a4cstr xzr, [sp+2240]
    00535a50str xzr, [sp+2152]
    00535a54ldr x12, [sp+296]
    00535a58ldr x13, [sp+3704]
    00535a5cadcs x14, x13, x12
    00535a60adds x14, x6, x4
    00535a64adcs x14, x7, x5
    00535a68adcs x14, x9, x8
    00535a6cadcs x14, x11, x10
    00535a70adcs x14, x13, x12
    00535a74str x14, [sp+4056]
    00535a78adds x4, x6, x4
    00535a7cadcs x4, x7, x5
    00535a80adcs x4, x9, x8
    00535a84adcs x4, x11, x10
    00535a88adcs x4, x13, x12
    00535a8cadc x4, xzr, xzr
    00535a90str x4, [sp+4048]
    00535a94str x14, [sp+5776]
    00535a98str x4, [sp+5728]
    00535a9cstr x14, [sp+2240]
    00535aa0str x4, [sp+2152]
    00535aa4ldr x5, [sp+208]
    00535aa8add x4, x4, x5
    00535aacstr x4, [sp+2072]
    00535ab0str xzr, [sp+1976]
    00535ab4ldr x4, [sp+3104]
    00535ab8add x5, x4, x4, lsl #32
    00535abcorr x6, xzr, 0x100000001
    00535ac0umulh x4, x4, x6
    00535ac4str x4, [sp+4048]
    00535ac8str x5, [sp+4056]
    00535accstr x4, [sp+5600]
    00535ad0str x5, [sp+5552]
    00535ad4str x5, [sp+1976]
    00535ad8str xzr, [sp+1808]
    00535adcstr xzr, [sp+1720]
    00535ae0sub x4, xzr, x5
    00535ae4movn x7, 0
    00535ae8umulh x5, x5, x7
    00535aecstr x5, [sp+4056]
    00535af0str x4, [sp+4048]
    00535af4str x5, [sp+5432]
    00535af8str x4, [sp+5376]
    00535afcstr x5, [sp+1720]
    00535b00str x4, [sp+1808]
    00535b04str xzr, [sp+1640]
    00535b08str xzr, [sp+1552]
    00535b0cldr x4, [sp+1976]
    00535b10umulh x5, x4, x7
    00535b14str x5, [sp+4048]
    00535b18sub x4, xzr, x4
    00535b1cstr x4, [sp+4056]
    00535b20str x5, [sp+5256]
    00535b24str x4, [sp+5208]
    00535b28str x5, [sp+1552]
    00535b2cstr x4, [sp+1640]
    00535b30str xzr, [sp+1464]
    00535b34str xzr, [sp+1384]
    00535b38ldr x4, [sp+1976]
    00535b3cumulh x5, x4, x7
    00535b40str x5, [sp+4056]
    00535b44sub x4, xzr, x4
    00535b48str x4, [sp+4048]
    00535b4cstr x5, [sp+5080]
    00535b50str x4, [sp+5024]
    00535b54str x5, [sp+1384]
    00535b58str x4, [sp+1464]
    00535b5cstr xzr, [sp+1296]
    00535b60str xzr, [sp+1208]
    00535b64ldr x4, [sp+1976]
    00535b68movn x5, 1
    00535b6cumulh x8, x4, x5
    00535b70str x8, [sp+4048]
    00535b74madd x4, x4, x5, xzr
    00535b78str x4, [sp+4056]
    00535b7cstr x8, [sp+4904]
    00535b80str x4, [sp+4848]
    00535b84str x8, [sp+1208]
    00535b88str x4, [sp+1296]
    00535b8cstr xzr, [sp+1112]
    00535b90str xzr, [sp+1024]
    00535b94ldr x4, [sp+1976]
    00535b98orr x8, xzr, 0xffffffff00000000
    00535b9cumulh x9, x4, x8
    00535ba0str x9, [sp+4056]
    00535ba4madd x4, x4, x8, xzr
    00535ba8str x4, [sp+4048]
    00535bacstr x9, [sp+4728]
    00535bb0str x4, [sp+4680]
    00535bb4str x9, [sp+1024]
    00535bb8str x4, [sp+1112]
    00535bbcstr xzr, [sp+944]
    00535bc0str xzr, [sp+856]
    00535bc4ldr x4, [sp+1976]
    00535bc8orr x9, xzr, 0xffffffff
    00535bccumulh x10, x4, x9
    00535bd0str x10, [sp+4048]
    00535bd4sub x11, xzr, x4
    00535bd8add x4, x11, x4, lsl #32
    00535bdcstr x4, [sp+4056]
    00535be0str x10, [sp+4552]
    00535be4str x4, [sp+4504]
    00535be8str x10, [sp+856]
    00535becstr x4, [sp+944]
    00535bf0str xzr, [sp+776]
    00535bf4str xzr, [sp+688]
    00535bf8ldr x4, [sp+1112]
    00535bfcadds x11, x10, x4
    00535c00adc x11, xzr, xzr
    00535c04adds x12, x10, x4
    00535c08str x12, [sp+4056]
    00535c0cstr x11, [sp+4048]
    00535c10str x12, [sp+4376]
    00535c14str x11, [sp+4328]
    00535c18str x12, [sp+776]
    00535c1cstr x11, [sp+688]
    00535c20str xzr, [sp+600]
    00535c24str xzr, [sp+520]
    00535c28ldr x11, [sp+1296]
    00535c2cldr x12, [sp+1024]
    00535c30adds x13, x10, x4
    00535c34adcs x13, x12, x11
    00535c38adds x13, x10, x4
    00535c3cadcs x13, x12, x11
    00535c40str x13, [sp+4048]
    00535c44adds x14, x10, x4
    00535c48adcs x14, x12, x11
    00535c4cadc x14, xzr, xzr
    00535c50str x14, [sp+4056]
    00535c54str x13, [sp+4200]
    00535c58str x14, [sp+4160]
    00535c5cstr x13, [sp+600]
    00535c60str x14, [sp+520]
    00535c64str xzr, [sp+480]
    00535c68str xzr, [sp+472]
    00535c6cldr x13, [sp+1464]
    00535c70ldr x14, [sp+1208]
    00535c74adcs x15, x14, x13
    00535c78adds x15, x10, x4
    00535c7cadcs x15, x12, x11
    00535c80adcs x15, x14, x13
    00535c84str x15, [sp+4056]
    00535c88adds x16, x10, x4
    00535c8cadcs x16, x12, x11
    00535c90adcs x16, x14, x13
    00535c94adc x16, xzr, xzr
    00535c98str x16, [sp+4048]
    00535c9cstr x15, [sp+4032]
    00535ca0str x16, [sp+3944]
    00535ca4str x15, [sp+480]
    00535ca8str x16, [sp+472]
    00535cacstr xzr, [sp+456]
    00535cb0str xzr, [sp+448]
    00535cb4ldr x15, [sp+1640]
    00535cb8ldr x16, [sp+1384]
    00535cbcadcs x17, x16, x15
    00535cc0adds x17, x10, x4
    00535cc4adcs x17, x12, x11
    00535cc8adcs x17, x14, x13
    00535cccadcs x17, x16, x15
    00535cd0str x17, [sp+4048]
    00535cd4adds x19, x10, x4
    00535cd8adcs x19, x12, x11
    00535cdcadcs x19, x14, x13
    00535ce0adcs x19, x16, x15
    00535ce4adc x19, xzr, xzr
    00535ce8str x19, [sp+4056]
    00535cecstr x17, [sp+3736]
    00535cf0str x19, [sp+3728]
    00535cf4str x17, [sp+456]
    00535cf8str x19, [sp+448]
    00535cfcstr xzr, [sp+440]
    00535d00str xzr, [sp+432]
    00535d04ldr x17, [sp+1808]
    00535d08ldr x19, [sp+1552]
    00535d0cadcs x20, x19, x17
    00535d10adds x20, x10, x4
    00535d14adcs x20, x12, x11
    00535d18adcs x20, x14, x13
    00535d1cadcs x20, x16, x15
    00535d20adcs x20, x19, x17
    00535d24str x20, [sp+4056]
    00535d28adds x4, x10, x4
    00535d2cadcs x4, x12, x11
    00535d30adcs x4, x14, x13
    00535d34adcs x4, x16, x15
    00535d38adcs x4, x19, x17
    00535d3cadc x4, xzr, xzr
    00535d40str x4, [sp+4048]
    00535d44str x20, [sp+3720]
    00535d48str x4, [sp+7568]
    00535d4cstr x20, [sp+440]
    00535d50str x4, [sp+432]
    00535d54ldr x10, [sp+1720]
    00535d58add x4, x4, x10
    00535d5cstr x4, [sp+424]
    00535d60str xzr, [sp+416]
    00535d64ldr x4, [sp+944]
    00535d68ldr x10, [sp+3104]
    00535d6cadds x11, x10, x4
    00535d70adc x11, xzr, xzr
    00535d74adds x12, x10, x4
    00535d78str x12, [sp+4048]
    00535d7cstr x11, [sp+4056]
    00535d80str x12, [sp+7560]
    00535d84str x11, [sp+7552]
    00535d88str x11, [sp+416]
    00535d8cstr xzr, [sp+408]
    00535d90str xzr, [sp+400]
    00535d94ldr x11, [sp+776]
    00535d98ldr x12, [sp+2936]
    00535d9cadds x13, x10, x4
    00535da0adcs x13, x12, x11
    00535da4adds x13, x10, x4
    00535da8adcs x13, x12, x11
    00535dacstr x13, [sp+4056]
    00535db0adds x14, x10, x4
    00535db4adcs x14, x12, x11
    00535db8adc x14, xzr, xzr
    00535dbcstr x14, [sp+4048]
    00535dc0str x13, [sp+7544]
    00535dc4str x14, [sp+7536]
    00535dc8str x13, [sp+408]
    00535dccstr x14, [sp+400]
    00535dd0str xzr, [sp+392]
    00535dd4str xzr, [sp+376]
    00535dd8ldr x13, [sp+600]
    00535ddcldr x14, [sp+2760]
    00535de0adcs x15, x14, x13
    00535de4adds x15, x10, x4
    00535de8adcs x15, x12, x11
    00535decadcs x15, x14, x13
    00535df0str x15, [sp+4048]
    00535df4adds x16, x10, x4
    00535df8adcs x16, x12, x11
    00535dfcadcs x16, x14, x13
    00535e00adc x16, xzr, xzr
    00535e04str x16, [sp+4056]
    00535e08str x15, [sp+7520]
    00535e0cstr x16, [sp+7512]
    00535e10str x15, [sp+392]
    00535e14str x16, [sp+376]
    00535e18str xzr, [sp+368]
    00535e1cstr xzr, [sp+360]
    00535e20ldr x15, [sp+480]
    00535e24ldr x16, [sp+2584]
    00535e28adcs x17, x16, x15
    00535e2cadds x17, x10, x4
    00535e30adcs x17, x12, x11
    00535e34adcs x17, x14, x13
    00535e38adcs x17, x16, x15
    00535e3cstr x17, [sp+4056]
    00535e40adds x19, x10, x4
    00535e44adcs x19, x12, x11
    00535e48adcs x19, x14, x13
    00535e4cadcs x19, x16, x15
    00535e50adc x19, xzr, xzr
    00535e54str x19, [sp+4048]
    00535e58str x17, [sp+7504]
    00535e5cstr x19, [sp+7496]
    00535e60str x17, [sp+368]
    00535e64str x19, [sp+360]
    00535e68str xzr, [sp+352]
    00535e6cstr xzr, [sp+344]
    00535e70ldr x17, [sp+456]
    00535e74ldr x19, [sp+2408]
    00535e78adcs x20, x19, x17
    00535e7cadds x20, x10, x4
    00535e80adcs x20, x12, x11
    00535e84adcs x20, x14, x13
    00535e88adcs x20, x16, x15
    00535e8cadcs x20, x19, x17
    00535e90str x20, [sp+4048]
    00535e94adds x21, x10, x4
    00535e98adcs x21, x12, x11
    00535e9cadcs x21, x14, x13
    00535ea0adcs x21, x16, x15
    00535ea4adcs x21, x19, x17
    00535ea8adc x21, xzr, xzr
    00535eacstr x21, [sp+4056]
    00535eb0str x20, [sp+7488]
    00535eb4str x21, [sp+7472]
    00535eb8str x20, [sp+352]
    00535ebcstr x21, [sp+344]
    00535ec0str xzr, [sp+336]
    00535ec4str xzr, [sp+328]
    00535ec8ldr x20, [sp+440]
    00535eccldr x21, [sp+2240]
    00535ed0adcs x22, x21, x20
    00535ed4adds x22, x10, x4
    00535ed8adcs x22, x12, x11
    00535edcadcs x22, x14, x13
    00535ee0adcs x22, x16, x15
    00535ee4adcs x22, x19, x17
    00535ee8adcs x22, x21, x20
    00535eecstr x22, [sp+4056]
    00535ef0adds x23, x10, x4
    00535ef4adcs x23, x12, x11
    00535ef8adcs x23, x14, x13
    00535efcadcs x23, x16, x15
    00535f00adcs x23, x19, x17
    00535f04adcs x23, x21, x20
    00535f08adc x23, xzr, xzr
    00535f0cstr x23, [sp+4048]
    00535f10str x22, [sp+7464]
    00535f14str x23, [sp+7456]
    00535f18str x22, [sp+336]
    00535f1cstr x23, [sp+328]
    00535f20str xzr, [sp+320]
    00535f24str xzr, [sp+312]
    00535f28ldr x22, [sp+424]
    00535f2cldr x23, [sp+2072]
    00535f30adcs x24, x23, x22
    00535f34adds x24, x10, x4
    00535f38adcs x24, x12, x11
    00535f3cadcs x24, x14, x13
    00535f40adcs x24, x16, x15
    00535f44adcs x24, x19, x17
    00535f48adcs x24, x21, x20
    00535f4cadcs x24, x23, x22
    00535f50str x24, [sp+4048]
    00535f54adds x4, x10, x4
    00535f58adcs x4, x12, x11
    00535f5cadcs x4, x14, x13
    00535f60adcs x4, x16, x15
    00535f64adcs x4, x19, x17
    00535f68adcs x4, x21, x20
    00535f6cadcs x4, x23, x22
    00535f70adc x4, xzr, xzr
    00535f74str x4, [sp+4056]
    00535f78str x24, [sp+7448]
    00535f7cstr x4, [sp+7440]
    00535f80str x24, [sp+320]
    00535f84str x4, [sp+312]
    00535f88str xzr, [sp+304]
    00535f8cstr xzr, [sp+288]
    00535f90ldr x4, [sp+7608]
    00535f94ldrsb x27, [x4]
    00535f98ldr x4, [x4+40]
    00535f9cstr x4, [sp+3984]
    00535fa0ldr x10, [sp+3712]
    00535fa4umulh x11, x10, x4
    00535fa8str x11, [sp+4056]
    00535facmadd x4, x10, x4, xzr
    00535fb0str x4, [sp+4048]
    00535fb4str x11, [sp+7432]
    00535fb8str x4, [sp+7424]
    00535fbcstr x11, [sp+288]
    00535fc0str x4, [sp+304]
    00535fc4str xzr, [sp+280]
    00535fc8str xzr, [sp+272]
    00535fccldr x4, [sp+7608]
    00535fd0ldrsb x27, [x4]
    00535fd4ldr x4, [x4+32]
    00535fd8str x4, [sp+3976]
    00535fdcldr x10, [sp+3712]
    00535fe0umulh x11, x10, x4
    00535fe4str x11, [sp+4048]
    00535fe8madd x4, x10, x4, xzr
    00535fecstr x4, [sp+4056]
    00535ff0str x11, [sp+7416]
    00535ff4str x4, [sp+7408]
    00535ff8str x11, [sp+272]
    00535ffcstr x4, [sp+280]
    00536000str xzr, [sp+264]
    00536004str xzr, [sp+256]
    00536008ldr x4, [sp+7608]
    0053600cldrsb x27, [x4]
    00536010ldr x4, [x4+24]
    00536014str x4, [sp+3968]
    00536018ldr x10, [sp+3712]
    0053601cumulh x11, x10, x4
    00536020str x11, [sp+4056]
    00536024madd x4, x10, x4, xzr
    00536028str x4, [sp+4048]
    0053602cstr x11, [sp+7400]
    00536030str x4, [sp+7392]
    00536034str x11, [sp+256]
    00536038str x4, [sp+264]
    0053603cstr xzr, [sp+248]
    00536040str xzr, [sp+240]
    00536044ldr x4, [sp+7608]
    00536048ldrsb x27, [x4]
    0053604cldr x4, [x4+16]
    00536050str x4, [sp+3960]
    00536054ldr x10, [sp+3712]
    00536058umulh x11, x10, x4
    0053605cstr x11, [sp+4048]
    00536060madd x4, x10, x4, xzr
    00536064str x4, [sp+4056]
    00536068str x11, [sp+7384]
    0053606cstr x4, [sp+7376]
    00536070str x11, [sp+240]
    00536074str x4, [sp+248]
    00536078str xzr, [sp+232]
    0053607cstr xzr, [sp+224]
    00536080ldr x4, [sp+7608]
    00536084ldrsb x27, [x4]
    00536088ldr x4, [x4+8]
    0053608cstr x4, [sp+3952]
    00536090ldr x10, [sp+3712]
    00536094umulh x11, x10, x4
    00536098str x11, [sp+4056]
    0053609cmadd x4, x10, x4, xzr
    005360a0str x4, [sp+4048]
    005360a4str x11, [sp+7368]
    005360a8str x4, [sp+7360]
    005360acstr x11, [sp+224]
    005360b0str x4, [sp+232]
    005360b4str xzr, [sp+216]
    005360b8str xzr, [sp+200]
    005360bcldr x4, [sp+7608]
    005360c0ldrsb x27, [x4]
    005360c4ldr x4, [x4]
    005360c8str x4, [sp+3936]
    005360ccldr x10, [sp+3712]
    005360d0umulh x11, x10, x4
    005360d4str x11, [sp+4048]
    005360d8madd x4, x10, x4, xzr
    005360dcstr x4, [sp+4056]
    005360e0str x11, [sp+7344]
    005360e4str x4, [sp+7336]
    005360e8str x11, [sp+200]
    005360ecstr x4, [sp+216]
    005360f0str xzr, [sp+192]
    005360f4str xzr, [sp+184]
    005360f8ldr x4, [sp+232]
    005360fcadds x10, x11, x4
    00536100adc x10, xzr, xzr
    00536104adds x12, x11, x4
    00536108str x12, [sp+4056]
    0053610cstr x10, [sp+4048]
    00536110str x12, [sp+7328]
    00536114str x10, [sp+7320]
    00536118str x12, [sp+192]
    0053611cstr x10, [sp+184]
    00536120str xzr, [sp+176]
    00536124str xzr, [sp+168]
    00536128ldr x10, [sp+248]
    0053612cldr x12, [sp+224]
    00536130adds x13, x11, x4
    00536134adcs x13, x12, x10
    00536138adds x13, x11, x4
    0053613cadcs x13, x12, x10
    00536140str x13, [sp+4048]
    00536144adds x14, x11, x4
    00536148adcs x14, x12, x10
    0053614cadc x14, xzr, xzr
    00536150str x14, [sp+4056]
    00536154str x13, [sp+7312]
    00536158str x14, [sp+7296]
    0053615cstr x13, [sp+176]
    00536160str x14, [sp+168]
    00536164str xzr, [sp+160]
    00536168str xzr, [sp+152]
    0053616cldr x13, [sp+264]
    00536170ldr x14, [sp+240]
    00536174adcs x15, x14, x13
    00536178adds x15, x11, x4
    0053617cadcs x15, x12, x10
    00536180adcs x15, x14, x13
    00536184str x15, [sp+4056]
    00536188adds x16, x11, x4
    0053618cadcs x16, x12, x10
    00536190adcs x16, x14, x13
    00536194adc x16, xzr, xzr
    00536198str x16, [sp+4048]
    0053619cstr x15, [sp+7288]
    005361a0str x16, [sp+7280]
    005361a4str x15, [sp+160]
    005361a8str x16, [sp+152]
    005361acstr xzr, [sp+144]
    005361b0str xzr, [sp+136]
    005361b4ldr x15, [sp+280]
    005361b8ldr x16, [sp+256]
    005361bcadcs x17, x16, x15
    005361c0adds x17, x11, x4
    005361c4adcs x17, x12, x10
    005361c8adcs x17, x14, x13
    005361ccadcs x17, x16, x15
    005361d0str x17, [sp+4048]
    005361d4adds x19, x11, x4
    005361d8adcs x19, x12, x10
    005361dcadcs x19, x14, x13
    005361e0adcs x19, x16, x15
    005361e4adc x19, xzr, xzr
    005361e8str x19, [sp+4056]
    005361ecstr x17, [sp+7272]
    005361f0str x19, [sp+7264]
    005361f4str x17, [sp+144]
    005361f8str x19, [sp+136]
    005361fcstr xzr, [sp+128]
    00536200str xzr, [sp+112]
    00536204ldr x17, [sp+304]
    00536208ldr x19, [sp+272]
    0053620cadcs x20, x19, x17
    00536210adds x20, x11, x4
    00536214adcs x20, x12, x10
    00536218adcs x20, x14, x13
    0053621cadcs x20, x16, x15
    00536220adcs x20, x19, x17
    00536224str x20, [sp+4056]
    00536228adds x4, x11, x4
    0053622cadcs x4, x12, x10
    00536230adcs x4, x14, x13
    00536234adcs x4, x16, x15
    00536238adcs x4, x19, x17
    0053623cadc x4, xzr, xzr
    00536240str x4, [sp+4048]
    00536244str x20, [sp+7256]
    00536248str x4, [sp+7248]
    0053624cstr x20, [sp+128]
    00536250str x4, [sp+112]
    00536254ldr x10, [sp+288]
    00536258add x4, x4, x10
    0053625cstr x4, [sp+104]
    00536260str xzr, [sp+96]
    00536264str xzr, [sp+88]
    00536268ldr x4, [sp+216]
    0053626cldr x10, [sp+408]
    00536270adds x11, x10, x4
    00536274adc x11, xzr, xzr
    00536278adds x12, x10, x4
    0053627cstr x12, [sp+4048]
    00536280str x11, [sp+4056]
    00536284str x12, [sp+7240]
    00536288str x11, [sp+7232]
    0053628cstr x12, [sp+96]
    00536290str x11, [sp+88]
    00536294str xzr, [sp+80]
    00536298str xzr, [sp+72]
    0053629cldr x11, [sp+192]
    005362a0ldr x12, [sp+392]
    005362a4adds x13, x10, x4
    005362a8adcs x13, x12, x11
    005362acadds x13, x10, x4
    005362b0adcs x13, x12, x11
    005362b4str x13, [sp+4056]
    005362b8adds x14, x10, x4
    005362bcadcs x14, x12, x11
    005362c0adc x14, xzr, xzr
    005362c4str x14, [sp+4048]
    005362c8str x13, [sp+7224]
    005362ccstr x14, [sp+7216]
    005362d0str x13, [sp+80]
    005362d4str x14, [sp+72]
    005362d8str xzr, [sp+64]
    005362dcstr xzr, [sp+56]
    005362e0ldr x13, [sp+176]
    005362e4ldr x14, [sp+368]
    005362e8adcs x15, x14, x13
    005362ecadds x15, x10, x4
    005362f0adcs x15, x12, x11
    005362f4adcs x15, x14, x13
    005362f8str x15, [sp+4048]
    005362fcadds x16, x10, x4
    00536300adcs x16, x12, x11
    00536304adcs x16, x14, x13
    00536308adc x16, xzr, xzr
    0053630cstr x16, [sp+4056]
    00536310str x15, [sp+7208]
    00536314str x16, [sp+7200]
    00536318str x15, [sp+64]
    0053631cstr x16, [sp+56]
    00536320str xzr, [sp+48]
    00536324str xzr, [sp+40]
    00536328ldr x15, [sp+160]
    0053632cldr x16, [sp+352]
    00536330adcs x17, x16, x15
    00536334adds x17, x10, x4
    00536338adcs x17, x12, x11
    0053633cadcs x17, x14, x13
    00536340adcs x17, x16, x15
    00536344str x17, [sp+4056]
    00536348adds x19, x10, x4
    0053634cadcs x19, x12, x11
    00536350adcs x19, x14, x13
    00536354adcs x19, x16, x15
    00536358adc x19, xzr, xzr
    0053635cstr x19, [sp+4048]
    00536360str x17, [sp+7192]
    00536364str x19, [sp+7184]
    00536368str x17, [sp+48]
    0053636cstr x19, [sp+40]
    00536370str xzr, [sp+3696]
    00536374str xzr, [sp+3688]
    00536378ldr x17, [sp+144]
    0053637cldr x19, [sp+336]
    00536380adcs x20, x19, x17
    00536384adds x20, x10, x4
    00536388adcs x20, x12, x11
    0053638cadcs x20, x14, x13
    00536390adcs x20, x16, x15
    00536394adcs x20, x19, x17
    00536398str x20, [sp+4048]
    0053639cadds x21, x10, x4
    005363a0adcs x21, x12, x11
    005363a4adcs x21, x14, x13
    005363a8adcs x21, x16, x15
    005363acadcs x21, x19, x17
    005363b0adc x21, xzr, xzr
    005363b4str x21, [sp+4056]
    005363b8str x20, [sp+7168]
    005363bcstr x21, [sp+7160]
    005363c0str x20, [sp+3696]
    005363c4str x21, [sp+3688]
    005363c8str xzr, [sp+3680]
    005363ccstr xzr, [sp+3672]
    005363d0ldr x20, [sp+128]
    005363d4ldr x21, [sp+320]
    005363d8adcs x22, x21, x20
    005363dcadds x22, x10, x4
    005363e0adcs x22, x12, x11
    005363e4adcs x22, x14, x13
    005363e8adcs x22, x16, x15
    005363ecadcs x22, x19, x17
    005363f0adcs x22, x21, x20
    005363f4str x22, [sp+4056]
    005363f8adds x23, x10, x4
    005363fcadcs x23, x12, x11
    00536400adcs x23, x14, x13
    00536404adcs x23, x16, x15
    00536408adcs x23, x19, x17
    0053640cadcs x23, x21, x20
    00536410adc x23, xzr, xzr
    00536414str x23, [sp+4048]
    00536418str x22, [sp+7152]
    0053641cstr x23, [sp+7144]
    00536420str x22, [sp+3680]
    00536424str x23, [sp+3672]
    00536428str xzr, [sp+3664]
    0053642cstr xzr, [sp+3656]
    00536430ldr x22, [sp+104]
    00536434ldr x23, [sp+312]
    00536438adcs x24, x23, x22
    0053643cadds x24, x10, x4
    00536440adcs x24, x12, x11
    00536444adcs x24, x14, x13
    00536448adcs x24, x16, x15
    0053644cadcs x24, x19, x17
    00536450adcs x24, x21, x20
    00536454adcs x24, x23, x22
    00536458str x24, [sp+4048]
    0053645cadds x4, x10, x4
    00536460adcs x4, x12, x11
    00536464adcs x4, x14, x13
    00536468adcs x4, x16, x15
    0053646cadcs x4, x19, x17
    00536470adcs x4, x21, x20
    00536474adcs x4, x23, x22
    00536478adc x4, xzr, xzr
    0053647cstr x4, [sp+4056]
    00536480str x24, [sp+7128]
    00536484str x4, [sp+7120]
    00536488str x24, [sp+3664]
    0053648cstr x4, [sp+3656]
    00536490str xzr, [sp+3648]
    00536494ldr x4, [sp+96]
    00536498add x10, x4, x4, lsl #32
    0053649cumulh x4, x4, x6
    005364a0str x4, [sp+4056]
    005364a4str x10, [sp+4048]
    005364a8str x4, [sp+7112]
    005364acstr x10, [sp+7104]
    005364b0str x10, [sp+3648]
    005364b4str xzr, [sp+3640]
    005364b8str xzr, [sp+3632]
    005364bcsub x4, xzr, x10
    005364c0umulh x10, x10, x7
    005364c4str x10, [sp+4048]
    005364c8str x4, [sp+4056]
    005364ccstr x10, [sp+7096]
    005364d0str x4, [sp+7088]
    005364d4str x10, [sp+3632]
    005364d8str x4, [sp+3640]
    005364dcstr xzr, [sp+3616]
    005364e0str xzr, [sp+3608]
    005364e4ldr x4, [sp+3648]
    005364e8umulh x10, x4, x7
    005364ecstr x10, [sp+4056]
    005364f0sub x4, xzr, x4
    005364f4str x4, [sp+4048]
    005364f8str x10, [sp+7080]
    005364fcstr x4, [sp+7072]
    00536500str x10, [sp+3608]
    00536504str x4, [sp+3616]
    00536508str xzr, [sp+3600]
    0053650cstr xzr, [sp+3592]
    00536510ldr x4, [sp+3648]
    00536514umulh x10, x4, x7
    00536518str x10, [sp+4048]
    0053651csub x4, xzr, x4
    00536520str x4, [sp+4056]
    00536524str x10, [sp+7064]
    00536528str x4, [sp+7056]
    0053652cstr x10, [sp+3592]
    00536530str x4, [sp+3600]
    00536534str xzr, [sp+3584]
    00536538str xzr, [sp+3576]
    0053653cldr x4, [sp+3648]
    00536540umulh x10, x4, x5
    00536544str x10, [sp+4056]
    00536548madd x4, x4, x5, xzr
    0053654cstr x4, [sp+4048]
    00536550str x10, [sp+7048]
    00536554str x4, [sp+7040]
    00536558str x10, [sp+3576]
    0053655cstr x4, [sp+3584]
    00536560str xzr, [sp+3568]
    00536564str xzr, [sp+3560]
    00536568ldr x4, [sp+3648]
    0053656cumulh x10, x4, x8
    00536570str x10, [sp+4048]
    00536574madd x4, x4, x8, xzr
    00536578str x4, [sp+4056]
    0053657cstr x10, [sp+7032]
    00536580str x4, [sp+7024]
    00536584str x10, [sp+3560]
    00536588str x4, [sp+3568]
    0053658cstr xzr, [sp+3552]
    00536590str xzr, [sp+3544]
    00536594ldr x4, [sp+3648]
    00536598umulh x10, x4, x9
    0053659cstr x10, [sp+4056]
    005365a0sub x11, xzr, x4
    005365a4add x4, x11, x4, lsl #32
    005365a8str x4, [sp+4048]
    005365acstr x10, [sp+7016]
    005365b0str x4, [sp+7008]
    005365b4str x10, [sp+3544]
    005365b8str x4, [sp+3552]
    005365bcstr xzr, [sp+3528]
    005365c0str xzr, [sp+3520]
    005365c4ldr x4, [sp+3568]
    005365c8adds x11, x10, x4
    005365ccadc x11, xzr, xzr
    005365d0adds x12, x10, x4
    005365d4str x12, [sp+4048]
    005365d8str x11, [sp+4056]
    005365dcstr x12, [sp+6992]
    005365e0str x11, [sp+6984]
    005365e4str x12, [sp+3528]
    005365e8str x11, [sp+3520]
    005365ecstr xzr, [sp+3512]
    005365f0str xzr, [sp+3504]
    005365f4ldr x11, [sp+3584]
    005365f8ldr x12, [sp+3560]
    005365fcadds x13, x10, x4
    00536600adcs x13, x12, x11
    00536604adds x13, x10, x4
    00536608adcs x13, x12, x11
    0053660cstr x13, [sp+4056]
    00536610adds x14, x10, x4
    00536614adcs x14, x12, x11
    00536618adc x14, xzr, xzr
    0053661cstr x14, [sp+4048]
    00536620str x13, [sp+6976]
    00536624str x14, [sp+6968]
    00536628str x13, [sp+3512]
    0053662cstr x14, [sp+3504]
    00536630str xzr, [sp+3496]
    00536634str xzr, [sp+3488]
    00536638ldr x13, [sp+3600]
    0053663cldr x14, [sp+3576]
    00536640adcs x15, x14, x13
    00536644adds x15, x10, x4
    00536648adcs x15, x12, x11
    0053664cadcs x15, x14, x13
    00536650str x15, [sp+4048]
    00536654adds x16, x10, x4
    00536658adcs x16, x12, x11
    0053665cadcs x16, x14, x13
    00536660adc x16, xzr, xzr
    00536664str x16, [sp+4056]
    00536668str x15, [sp+6960]
    0053666cstr x16, [sp+6944]
    00536670str x15, [sp+3496]
    00536674str x16, [sp+3488]
    00536678str xzr, [sp+3480]
    0053667cstr xzr, [sp+3472]
    00536680ldr x15, [sp+3616]
    00536684ldr x16, [sp+3592]
    00536688adcs x17, x16, x15
    0053668cadds x17, x10, x4
    00536690adcs x17, x12, x11
    00536694adcs x17, x14, x13
    00536698adcs x17, x16, x15
    0053669cstr x17, [sp+4056]
    005366a0adds x19, x10, x4
    005366a4adcs x19, x12, x11
    005366a8adcs x19, x14, x13
    005366acadcs x19, x16, x15
    005366b0adc x19, xzr, xzr
    005366b4str x19, [sp+4048]
    005366b8str x17, [sp+6936]
    005366bcstr x19, [sp+6928]
    005366c0str x17, [sp+3480]
    005366c4str x19, [sp+3472]
    005366c8str xzr, [sp+3464]
    005366ccstr xzr, [sp+3456]
    005366d0ldr x17, [sp+3640]
    005366d4ldr x19, [sp+3608]
    005366d8adcs x20, x19, x17
    005366dcadds x20, x10, x4
    005366e0adcs x20, x12, x11
    005366e4adcs x20, x14, x13
    005366e8adcs x20, x16, x15
    005366ecadcs x20, x19, x17
    005366f0str x20, [sp+4048]
    005366f4adds x4, x10, x4
    005366f8adcs x4, x12, x11
    005366fcadcs x4, x14, x13
    00536700adcs x4, x16, x15
    00536704adcs x4, x19, x17
    00536708adc x4, xzr, xzr
    0053670cstr x4, [sp+4056]
    00536710str x20, [sp+6920]
    00536714str x4, [sp+6912]
    00536718str x20, [sp+3464]
    0053671cstr x4, [sp+3456]
    00536720ldr x10, [sp+3632]
    00536724add x4, x4, x10
    00536728str x4, [sp+3440]
    0053672cstr xzr, [sp+3432]
    00536730ldr x4, [sp+3552]
    00536734ldr x10, [sp+96]
    00536738adds x11, x10, x4
    0053673cadc x11, xzr, xzr
    00536740adds x12, x10, x4
    00536744str x12, [sp+4056]
    00536748str x11, [sp+4048]
    0053674cstr x12, [sp+6904]
    00536750str x11, [sp+6896]
    00536754str x11, [sp+3432]
    00536758str xzr, [sp+3424]
    0053675cstr xzr, [sp+3416]
    00536760ldr x11, [sp+3528]
    00536764ldr x12, [sp+80]
    00536768adds x13, x10, x4
    0053676cadcs x13, x12, x11
    00536770adds x13, x10, x4
    00536774adcs x13, x12, x11
    00536778str x13, [sp+4048]
    0053677cadds x14, x10, x4
    00536780adcs x14, x12, x11
    00536784adc x14, xzr, xzr
    00536788str x14, [sp+4056]
    0053678cstr x13, [sp+6888]
    00536790str x14, [sp+6880]
    00536794str x13, [sp+3424]
    00536798str x14, [sp+3416]
    0053679cstr xzr, [sp+3408]
    005367a0str xzr, [sp+3400]
    005367a4ldr x13, [sp+3512]
    005367a8ldr x14, [sp+64]
    005367acadcs x15, x14, x13
    005367b0adds x15, x10, x4
    005367b4adcs x15, x12, x11
    005367b8adcs x15, x14, x13
    005367bcstr x15, [sp+4056]
    005367c0adds x16, x10, x4
    005367c4adcs x16, x12, x11
    005367c8adcs x16, x14, x13
    005367ccadc x16, xzr, xzr
    005367d0str x16, [sp+4048]
    005367d4str x15, [sp+6872]
    005367d8str x16, [sp+6864]
    005367dcstr x15, [sp+3408]
    005367e0str x16, [sp+3400]
    005367e4str xzr, [sp+3392]
    005367e8str xzr, [sp+3384]
    005367ecldr x15, [sp+3496]
    005367f0ldr x16, [sp+48]
    005367f4adcs x17, x16, x15
    005367f8adds x17, x10, x4
    005367fcadcs x17, x12, x11
    00536800adcs x17, x14, x13
    00536804adcs x17, x16, x15
    00536808str x17, [sp+4048]
    0053680cadds x19, x10, x4
    00536810adcs x19, x12, x11
    00536814adcs x19, x14, x13
    00536818adcs x19, x16, x15
    0053681cadc x19, xzr, xzr
    00536820str x19, [sp+4056]
    00536824str x17, [sp+6856]
    00536828str x19, [sp+6848]
    0053682cstr x17, [sp+3392]
    00536830str x19, [sp+3384]
    00536834str xzr, [sp+3376]
    00536838str xzr, [sp+3360]
    0053683cldr x17, [sp+3480]
    00536840ldr x19, [sp+3696]
    00536844adcs x20, x19, x17
    00536848adds x20, x10, x4
    0053684cadcs x20, x12, x11
    00536850adcs x20, x14, x13
    00536854adcs x20, x16, x15
    00536858adcs x20, x19, x17
    0053685cstr x20, [sp+4056]
    00536860adds x21, x10, x4
    00536864adcs x21, x12, x11
    00536868adcs x21, x14, x13
    0053686cadcs x21, x16, x15
    00536870adcs x21, x19, x17
    00536874adc x21, xzr, xzr
    00536878str x21, [sp+4048]
    0053687cstr x20, [sp+6840]
    00536880str x21, [sp+6832]
    00536884str x20, [sp+3376]
    00536888str x21, [sp+3360]
    0053688cstr xzr, [sp+3352]
    00536890str xzr, [sp+3344]
    00536894ldr x20, [sp+3464]
    00536898ldr x21, [sp+3680]
    0053689cadcs x22, x21, x20
    005368a0adds x22, x10, x4
    005368a4adcs x22, x12, x11
    005368a8adcs x22, x14, x13
    005368acadcs x22, x16, x15
    005368b0adcs x22, x19, x17
    005368b4adcs x22, x21, x20
    005368b8str x22, [sp+4048]
    005368bcadds x23, x10, x4
    005368c0adcs x23, x12, x11
    005368c4adcs x23, x14, x13
    005368c8adcs x23, x16, x15
    005368ccadcs x23, x19, x17
    005368d0adcs x23, x21, x20
    005368d4adc x23, xzr, xzr
    005368d8str x23, [sp+4056]
    005368dcstr x22, [sp+6816]
    005368e0str x23, [sp+6808]
    005368e4str x22, [sp+3352]
    005368e8str x23, [sp+3344]
    005368ecstr xzr, [sp+3336]
    005368f0str xzr, [sp+3328]
    005368f4ldr x22, [sp+3440]
    005368f8ldr x23, [sp+3664]
    005368fcadcs x24, x23, x22
    00536900adds x24, x10, x4
    00536904adcs x24, x12, x11
    00536908adcs x24, x14, x13
    0053690cadcs x24, x16, x15
    00536910adcs x24, x19, x17
    00536914adcs x24, x21, x20
    00536918adcs x24, x23, x22
    0053691cstr x24, [sp+4056]
    00536920adds x4, x10, x4
    00536924adcs x4, x12, x11
    00536928adcs x4, x14, x13
    0053692cadcs x4, x16, x15
    00536930adcs x4, x19, x17
    00536934adcs x4, x21, x20
    00536938adcs x4, x23, x22
    0053693cadc x4, xzr, xzr
    00536940str x4, [sp+4048]
    00536944str x24, [sp+6800]
    00536948str x4, [sp+6792]
    0053694cstr x24, [sp+3336]
    00536950str x4, [sp+3328]
    00536954ldr x10, [sp+3656]
    00536958add x4, x4, x10
    0053695cstr x4, [sp+3320]
    00536960str xzr, [sp+3312]
    00536964str xzr, [sp+3304]
    00536968ldr x4, [sp+7608]
    0053696cldrsb x27, [x4]
    00536970ldr x4, [x4+40]
    00536974str x4, [sp+3928]
    00536978ldr x10, [sp+2848]
    0053697cumulh x11, x10, x4
    00536980str x11, [sp+4048]
    00536984madd x4, x10, x4, xzr
    00536988str x4, [sp+4056]
    0053698cstr x11, [sp+6776]
    00536990str x4, [sp+6768]
    00536994str x11, [sp+3304]
    00536998str x4, [sp+3312]
    0053699cstr xzr, [sp+3296]
    005369a0str xzr, [sp+3288]
    005369a4ldr x4, [sp+7608]
    005369a8ldrsb x27, [x4]
    005369acldr x4, [x4+32]
    005369b0str x4, [sp+3920]
    005369b4ldr x10, [sp+2848]
    005369b8umulh x11, x10, x4
    005369bcstr x11, [sp+4056]
    005369c0madd x4, x10, x4, xzr
    005369c4str x4, [sp+4048]
    005369c8str x11, [sp+6760]
    005369ccstr x4, [sp+6752]
    005369d0str x11, [sp+3288]
    005369d4str x4, [sp+3296]
    005369d8str xzr, [sp+3272]
    005369dcstr xzr, [sp+3264]
    005369e0ldr x4, [sp+7608]
    005369e4ldrsb x27, [x4]
    005369e8ldr x4, [x4+24]
    005369ecstr x4, [sp+3912]
    005369f0ldr x10, [sp+2848]
    005369f4umulh x11, x10, x4
    005369f8str x11, [sp+4048]
    005369fcmadd x4, x10, x4, xzr
    00536a00str x4, [sp+4056]
    00536a04str x11, [sp+6744]
    00536a08str x4, [sp+6736]
    00536a0cstr x11, [sp+3264]
    00536a10str x4, [sp+3272]
    00536a14str xzr, [sp+3256]
    00536a18str xzr, [sp+3248]
    00536a1cldr x4, [sp+7608]
    00536a20ldrsb x27, [x4]
    00536a24ldr x4, [x4+16]
    00536a28str x4, [sp+3904]
    00536a2cldr x10, [sp+2848]
    00536a30umulh x11, x10, x4
    00536a34str x11, [sp+4056]
    00536a38madd x4, x10, x4, xzr
    00536a3cstr x4, [sp+4048]
    00536a40str x11, [sp+6728]
    00536a44str x4, [sp+6720]
    00536a48str x11, [sp+3248]
    00536a4cstr x4, [sp+3256]
    00536a50str xzr, [sp+3240]
    00536a54str xzr, [sp+3232]
    00536a58ldr x4, [sp+7608]
    00536a5cldrsb x27, [x4]
    00536a60ldr x4, [x4+8]
    00536a64str x4, [sp+3896]
    00536a68ldr x10, [sp+2848]
    00536a6cumulh x11, x10, x4
    00536a70str x11, [sp+4048]
    00536a74madd x4, x10, x4, xzr
    00536a78str x4, [sp+4056]
    00536a7cstr x11, [sp+6712]
    00536a80str x4, [sp+6704]
    00536a84str x11, [sp+3232]
    00536a88str x4, [sp+3240]
    00536a8cstr xzr, [sp+3224]
    00536a90str xzr, [sp+3216]
    00536a94ldr x4, [sp+7608]
    00536a98ldrsb x27, [x4]
    00536a9cldr x4, [x4]
    00536aa0str x4, [sp+3888]
    00536aa4ldr x10, [sp+2848]
    00536aa8umulh x11, x10, x4
    00536aacstr x11, [sp+4056]
    00536ab0madd x4, x10, x4, xzr
    00536ab4str x4, [sp+4048]
    00536ab8str x11, [sp+6696]
    00536abcstr x4, [sp+6688]
    00536ac0str x11, [sp+3216]
    00536ac4str x4, [sp+3224]
    00536ac8str xzr, [sp+3208]
    00536accstr xzr, [sp+3200]
    00536ad0ldr x4, [sp+3240]
    00536ad4adds x10, x11, x4
    00536ad8adc x10, xzr, xzr
    00536adcadds x12, x11, x4
    00536ae0str x12, [sp+4048]
    00536ae4str x10, [sp+4056]
    00536ae8str x12, [sp+6680]
    00536aecstr x10, [sp+6672]
    00536af0str x12, [sp+3208]
    00536af4str x10, [sp+3200]
    00536af8str xzr, [sp+3184]
    00536afcstr xzr, [sp+3176]
    00536b00ldr x10, [sp+3256]
    00536b04ldr x12, [sp+3232]
    00536b08adds x13, x11, x4
    00536b0cadcs x13, x12, x10
    00536b10adds x13, x11, x4
    00536b14adcs x13, x12, x10
    00536b18str x13, [sp+4056]
    00536b1cadds x14, x11, x4
    00536b20adcs x14, x12, x10
    00536b24adc x14, xzr, xzr
    00536b28str x14, [sp+4048]
    00536b2cstr x13, [sp+6664]
    00536b30str x14, [sp+6656]
    00536b34str x13, [sp+3184]
    00536b38str x14, [sp+3176]
    00536b3cstr xzr, [sp+3168]
    00536b40str xzr, [sp+3160]
    00536b44ldr x13, [sp+3272]
    00536b48ldr x14, [sp+3248]
    00536b4cadcs x15, x14, x13
    00536b50adds x15, x11, x4
    00536b54adcs x15, x12, x10
    00536b58adcs x15, x14, x13
    00536b5cstr x15, [sp+4048]
    00536b60adds x16, x11, x4
    00536b64adcs x16, x12, x10
    00536b68adcs x16, x14, x13
    00536b6cadc x16, xzr, xzr
    00536b70str x16, [sp+4056]
    00536b74str x15, [sp+6640]
    00536b78str x16, [sp+6632]
    00536b7cstr x15, [sp+3168]
    00536b80str x16, [sp+3160]
    00536b84str xzr, [sp+3152]
    00536b88str xzr, [sp+3144]
    00536b8cldr x15, [sp+3296]
    00536b90ldr x16, [sp+3264]
    00536b94adcs x17, x16, x15
    00536b98adds x17, x11, x4
    00536b9cadcs x17, x12, x10
    00536ba0adcs x17, x14, x13
    00536ba4adcs x17, x16, x15
    00536ba8str x17, [sp+4056]
    00536bacadds x19, x11, x4
    00536bb0adcs x19, x12, x10
    00536bb4adcs x19, x14, x13
    00536bb8adcs x19, x16, x15
    00536bbcadc x19, xzr, xzr
    00536bc0str x19, [sp+4048]
    00536bc4str x17, [sp+6624]
    00536bc8str x19, [sp+6616]
    00536bccstr x17, [sp+3152]
    00536bd0str x19, [sp+3144]
    00536bd4str xzr, [sp+3136]
    00536bd8str xzr, [sp+3128]
    00536bdcldr x17, [sp+3312]
    00536be0ldr x19, [sp+3288]
    00536be4adcs x20, x19, x17
    00536be8adds x20, x11, x4
    00536becadcs x20, x12, x10
    00536bf0adcs x20, x14, x13
    00536bf4adcs x20, x16, x15
    00536bf8adcs x20, x19, x17
    00536bfcstr x20, [sp+4048]
    00536c00adds x4, x11, x4
    00536c04adcs x4, x12, x10
    00536c08adcs x4, x14, x13
    00536c0cadcs x4, x16, x15
    00536c10adcs x4, x19, x17
    00536c14adc x4, xzr, xzr
    00536c18str x4, [sp+4056]
    00536c1cstr x20, [sp+6600]
    00536c20str x4, [sp+6592]
    00536c24str x20, [sp+3136]
    00536c28str x4, [sp+3128]
    00536c2cldr x10, [sp+3304]
    00536c30add x4, x4, x10
    00536c34str x4, [sp+3120]
    00536c38str xzr, [sp+3112]
    00536c3cstr xzr, [sp+3096]
    00536c40ldr x4, [sp+3224]
    00536c44ldr x10, [sp+3424]
    00536c48adds x11, x10, x4
    00536c4cadc x11, xzr, xzr
    00536c50adds x12, x10, x4
    00536c54str x12, [sp+4056]
    00536c58str x11, [sp+4048]
    00536c5cstr x12, [sp+6584]
    00536c60str x11, [sp+6576]
    00536c64str x12, [sp+3112]
    00536c68str x11, [sp+3096]
    00536c6cstr xzr, [sp+3088]
    00536c70str xzr, [sp+3080]
    00536c74ldr x11, [sp+3208]
    00536c78ldr x12, [sp+3408]
    00536c7cadds x13, x10, x4
    00536c80adcs x13, x12, x11
    00536c84adds x13, x10, x4
    00536c88adcs x13, x12, x11
    00536c8cstr x13, [sp+4048]
    00536c90adds x14, x10, x4
    00536c94adcs x14, x12, x11
    00536c98adc x14, xzr, xzr
    00536c9cstr x14, [sp+4056]
    00536ca0str x13, [sp+6568]
    00536ca4str x14, [sp+6560]
    00536ca8str x13, [sp+3088]
    00536cacstr x14, [sp+3080]
    00536cb0str xzr, [sp+3072]
    00536cb4str xzr, [sp+3064]
    00536cb8ldr x13, [sp+3184]
    00536cbcldr x14, [sp+3392]
    00536cc0adcs x15, x14, x13
    00536cc4adds x15, x10, x4
    00536cc8adcs x15, x12, x11
    00536cccadcs x15, x14, x13
    00536cd0str x15, [sp+4056]
    00536cd4adds x16, x10, x4
    00536cd8adcs x16, x12, x11
    00536cdcadcs x16, x14, x13
    00536ce0adc x16, xzr, xzr
    00536ce4str x16, [sp+4048]
    00536ce8str x15, [sp+6552]
    00536cecstr x16, [sp+6544]
    00536cf0str x15, [sp+3072]
    00536cf4str x16, [sp+3064]
    00536cf8str xzr, [sp+3056]
    00536cfcstr xzr, [sp+3048]
    00536d00ldr x15, [sp+3168]
    00536d04ldr x16, [sp+3376]
    00536d08adcs x17, x16, x15
    00536d0cadds x17, x10, x4
    00536d10adcs x17, x12, x11
    00536d14adcs x17, x14, x13
    00536d18adcs x17, x16, x15
    00536d1cstr x17, [sp+4048]
    00536d20adds x19, x10, x4
    00536d24adcs x19, x12, x11
    00536d28adcs x19, x14, x13
    00536d2cadcs x19, x16, x15
    00536d30adc x19, xzr, xzr
    00536d34str x19, [sp+4056]
    00536d38str x17, [sp+6536]
    00536d3cstr x19, [sp+6528]
    00536d40str x17, [sp+3056]
    00536d44str x19, [sp+3048]
    00536d48str xzr, [sp+3040]
    00536d4cstr xzr, [sp+3032]
    00536d50ldr x17, [sp+3152]
    00536d54ldr x19, [sp+3352]
    00536d58adcs x20, x19, x17
    00536d5cadds x20, x10, x4
    00536d60adcs x20, x12, x11
    00536d64adcs x20, x14, x13
    00536d68adcs x20, x16, x15
    00536d6cadcs x20, x19, x17
    00536d70str x20, [sp+4056]
    00536d74adds x21, x10, x4
    00536d78adcs x21, x12, x11
    00536d7cadcs x21, x14, x13
    00536d80adcs x21, x16, x15
    00536d84adcs x21, x19, x17
    00536d88adc x21, xzr, xzr
    00536d8cstr x21, [sp+4048]
    00536d90str x20, [sp+6520]
    00536d94str x21, [sp+6512]
    00536d98str x20, [sp+3040]
    00536d9cstr x21, [sp+3032]
    00536da0str xzr, [sp+3024]
    00536da4str xzr, [sp+3008]
    00536da8ldr x20, [sp+3136]
    00536dacldr x21, [sp+3336]
    00536db0adcs x22, x21, x20
    00536db4adds x22, x10, x4
    00536db8adcs x22, x12, x11
    00536dbcadcs x22, x14, x13
    00536dc0adcs x22, x16, x15
    00536dc4adcs x22, x19, x17
    00536dc8adcs x22, x21, x20
    00536dccstr x22, [sp+4048]
    00536dd0adds x23, x10, x4
    00536dd4adcs x23, x12, x11
    00536dd8adcs x23, x14, x13
    00536ddcadcs x23, x16, x15
    00536de0adcs x23, x19, x17
    00536de4adcs x23, x21, x20
    00536de8adc x23, xzr, xzr
    00536decstr x23, [sp+4056]
    00536df0str x22, [sp+6504]
    00536df4str x23, [sp+6496]
    00536df8str x22, [sp+3024]
    00536dfcstr x23, [sp+3008]
    00536e00str xzr, [sp+3000]
    00536e04str xzr, [sp+2992]
    00536e08ldr x22, [sp+3120]
    00536e0cldr x23, [sp+3320]
    00536e10adcs x24, x23, x22
    00536e14adds x24, x10, x4
    00536e18adcs x24, x12, x11
    00536e1cadcs x24, x14, x13
    00536e20adcs x24, x16, x15
    00536e24adcs x24, x19, x17
    00536e28adcs x24, x21, x20
    00536e2cadcs x24, x23, x22
    00536e30str x24, [sp+4056]
    00536e34adds x4, x10, x4
    00536e38adcs x4, x12, x11
    00536e3cadcs x4, x14, x13
    00536e40adcs x4, x16, x15
    00536e44adcs x4, x19, x17
    00536e48adcs x4, x21, x20
    00536e4cadcs x4, x23, x22
    00536e50adc x4, xzr, xzr
    00536e54str x4, [sp+4048]
    00536e58str x24, [sp+6488]
    00536e5cstr x4, [sp+6472]
    00536e60str x24, [sp+3000]
    00536e64str x4, [sp+2992]
    00536e68str xzr, [sp+2984]
    00536e6cldr x4, [sp+3112]
    00536e70add x10, x4, x4, lsl #32
    00536e74umulh x4, x4, x6
    00536e78str x4, [sp+4048]
    00536e7cstr x10, [sp+4056]
    00536e80str x4, [sp+6464]
    00536e84str x10, [sp+6456]
    00536e88str x10, [sp+2984]
    00536e8cstr xzr, [sp+2976]
    00536e90str xzr, [sp+2968]
    00536e94sub x4, xzr, x10
    00536e98umulh x10, x10, x7
    00536e9cstr x10, [sp+4056]
    00536ea0str x4, [sp+4048]
    00536ea4str x10, [sp+6448]
    00536ea8str x4, [sp+6440]
    00536eacstr x10, [sp+2968]
    00536eb0str x4, [sp+2976]
    00536eb4str xzr, [sp+2960]
    00536eb8str xzr, [sp+2952]
    00536ebcldr x4, [sp+2984]
    00536ec0umulh x10, x4, x7
    00536ec4str x10, [sp+4048]
    00536ec8sub x4, xzr, x4
    00536eccstr x4, [sp+4056]
    00536ed0str x10, [sp+6424]
    00536ed4str x4, [sp+6416]
    00536ed8str x10, [sp+2952]
    00536edcstr x4, [sp+2960]
    00536ee0str xzr, [sp+2944]
    00536ee4str xzr, [sp+2928]
    00536ee8ldr x4, [sp+2984]
    00536eecumulh x10, x4, x7
    00536ef0str x10, [sp+4056]
    00536ef4sub x4, xzr, x4
    00536ef8str x4, [sp+4048]
    00536efcstr x10, [sp+6408]
    00536f00str x4, [sp+6400]
    00536f04str x10, [sp+2928]
    00536f08str x4, [sp+2944]
    00536f0cstr xzr, [sp+2920]
    00536f10str xzr, [sp+2912]
    00536f14ldr x4, [sp+2984]
    00536f18umulh x10, x4, x5
    00536f1cstr x10, [sp+4048]
    00536f20madd x4, x4, x5, xzr
    00536f24str x4, [sp+4056]
    00536f28str x10, [sp+6392]
    00536f2cstr x4, [sp+6384]
    00536f30str x10, [sp+2912]
    00536f34str x4, [sp+2920]
    00536f38str xzr, [sp+2904]
    00536f3cstr xzr, [sp+2896]
    00536f40ldr x4, [sp+2984]
    00536f44umulh x10, x4, x8
    00536f48str x10, [sp+4056]
    00536f4cmadd x4, x4, x8, xzr
    00536f50str x4, [sp+4048]
    00536f54str x10, [sp+6376]
    00536f58str x4, [sp+6368]
    00536f5cstr x10, [sp+2896]
    00536f60str x4, [sp+2904]
    00536f64str xzr, [sp+2888]
    00536f68str xzr, [sp+2880]
    00536f6cldr x4, [sp+2984]
    00536f70umulh x10, x4, x9
    00536f74str x10, [sp+4048]
    00536f78sub x11, xzr, x4
    00536f7cadd x4, x11, x4, lsl #32
    00536f80str x4, [sp+4056]
    00536f84str x10, [sp+6360]
    00536f88str x4, [sp+6352]
    00536f8cstr x10, [sp+2880]
    00536f90str x4, [sp+2888]
    00536f94str xzr, [sp+2872]
    00536f98str xzr, [sp+2864]
    00536f9cldr x4, [sp+2904]
    00536fa0adds x11, x10, x4
    00536fa4adc x11, xzr, xzr
    00536fa8adds x12, x10, x4
    00536facstr x12, [sp+4056]
    00536fb0str x11, [sp+4048]
    00536fb4str x12, [sp+6344]
    00536fb8str x11, [sp+6336]
    00536fbcstr x12, [sp+2872]
    00536fc0str x11, [sp+2864]
    00536fc4str xzr, [sp+2856]
    00536fc8str xzr, [sp+2832]
    00536fccldr x11, [sp+2920]
    00536fd0ldr x12, [sp+2896]
    00536fd4adds x13, x10, x4
    00536fd8adcs x13, x12, x11
    00536fdcadds x13, x10, x4
    00536fe0adcs x13, x12, x11
    00536fe4str x13, [sp+4048]
    00536fe8adds x14, x10, x4
    00536fecadcs x14, x12, x11
    00536ff0adc x14, xzr, xzr
    00536ff4str x14, [sp+4056]
    00536ff8str x13, [sp+6328]
    00536ffcstr x14, [sp+6320]
    00537000str x13, [sp+2856]
    00537004str x14, [sp+2832]
    00537008str xzr, [sp+2824]
    0053700cstr xzr, [sp+2816]
    00537010ldr x13, [sp+2944]
    00537014ldr x14, [sp+2912]
    00537018adcs x15, x14, x13
    0053701cadds x15, x10, x4
    00537020adcs x15, x12, x11
    00537024adcs x15, x14, x13
    00537028str x15, [sp+4056]
    0053702cadds x16, x10, x4
    00537030adcs x16, x12, x11
    00537034adcs x16, x14, x13
    00537038adc x16, xzr, xzr
    0053703cstr x16, [sp+4048]
    00537040str x15, [sp+6312]
    00537044str x16, [sp+6304]
    00537048str x15, [sp+2824]
    0053704cstr x16, [sp+2816]
    00537050str xzr, [sp+2808]
    00537054str xzr, [sp+2800]
    00537058ldr x15, [sp+2960]
    0053705cldr x16, [sp+2928]
    00537060adcs x17, x16, x15
    00537064adds x17, x10, x4
    00537068adcs x17, x12, x11
    0053706cadcs x17, x14, x13
    00537070adcs x17, x16, x15
    00537074str x17, [sp+4048]
    00537078adds x19, x10, x4
    0053707cadcs x19, x12, x11
    00537080adcs x19, x14, x13
    00537084adcs x19, x16, x15
    00537088adc x19, xzr, xzr
    0053708cstr x19, [sp+4056]
    00537090str x17, [sp+6288]
    00537094str x19, [sp+6280]
    00537098str x17, [sp+2808]
    0053709cstr x19, [sp+2800]
    005370a0str xzr, [sp+2792]
    005370a4str xzr, [sp+2784]
    005370a8ldr x17, [sp+2976]
    005370acldr x19, [sp+2952]
    005370b0adcs x20, x19, x17
    005370b4adds x20, x10, x4
    005370b8adcs x20, x12, x11
    005370bcadcs x20, x14, x13
    005370c0adcs x20, x16, x15
    005370c4adcs x20, x19, x17
    005370c8str x20, [sp+4056]
    005370ccadds x4, x10, x4
    005370d0adcs x4, x12, x11
    005370d4adcs x4, x14, x13
    005370d8adcs x4, x16, x15
    005370dcadcs x4, x19, x17
    005370e0adc x4, xzr, xzr
    005370e4str x4, [sp+4048]
    005370e8str x20, [sp+6272]
    005370ecstr x4, [sp+6264]
    005370f0str x20, [sp+2792]
    005370f4str x4, [sp+2784]
    005370f8ldr x10, [sp+2968]
    005370fcadd x4, x4, x10
    00537100str x4, [sp+2776]
    00537104str xzr, [sp+2768]
    00537108ldr x4, [sp+2888]
    0053710cldr x10, [sp+3112]
    00537110adds x11, x10, x4
    00537114adc x11, xzr, xzr
    00537118adds x12, x10, x4
    0053711cstr x12, [sp+4048]
    00537120str x11, [sp+4056]
    00537124str x12, [sp+6248]
    00537128str x11, [sp+6240]
    0053712cstr x11, [sp+2768]
    00537130str xzr, [sp+2752]
    00537134str xzr, [sp+2744]
    00537138ldr x11, [sp+2872]
    0053713cldr x12, [sp+3088]
    00537140adds x13, x10, x4
    00537144adcs x13, x12, x11
    00537148adds x13, x10, x4
    0053714cadcs x13, x12, x11
    00537150str x13, [sp+4056]
    00537154adds x14, x10, x4
    00537158adcs x14, x12, x11
    0053715cadc x14, xzr, xzr
    00537160str x14, [sp+4048]
    00537164str x13, [sp+6232]
    00537168str x14, [sp+6224]
    0053716cstr x13, [sp+2752]
    00537170str x14, [sp+2744]
    00537174str xzr, [sp+2736]
    00537178str xzr, [sp+2728]
    0053717cldr x13, [sp+2856]
    00537180ldr x14, [sp+3072]
    00537184adcs x15, x14, x13
    00537188adds x15, x10, x4
    0053718cadcs x15, x12, x11
    00537190adcs x15, x14, x13
    00537194str x15, [sp+4048]
    00537198adds x16, x10, x4
    0053719cadcs x16, x12, x11
    005371a0adcs x16, x14, x13
    005371a4adc x16, xzr, xzr
    005371a8str x16, [sp+4056]
    005371acstr x15, [sp+6216]
    005371b0str x16, [sp+6208]
    005371b4str x15, [sp+2736]
    005371b8str x16, [sp+2728]
    005371bcstr xzr, [sp+2720]
    005371c0str xzr, [sp+2712]
    005371c4ldr x15, [sp+2824]
    005371c8ldr x16, [sp+3056]
    005371ccadcs x17, x16, x15
    005371d0adds x17, x10, x4
    005371d4adcs x17, x12, x11
    005371d8adcs x17, x14, x13
    005371dcadcs x17, x16, x15
    005371e0str x17, [sp+4056]
    005371e4adds x19, x10, x4
    005371e8adcs x19, x12, x11
    005371ecadcs x19, x14, x13
    005371f0adcs x19, x16, x15
    005371f4adc x19, xzr, xzr
    005371f8str x19, [sp+4048]
    005371fcstr x17, [sp+6200]
    00537200str x19, [sp+6192]
    00537204str x17, [sp+2720]
    00537208str x19, [sp+2712]
    0053720cstr xzr, [sp+2704]
    00537210str xzr, [sp+2696]
    00537214ldr x17, [sp+2808]
    00537218ldr x19, [sp+3040]
    0053721cadcs x20, x19, x17
    00537220adds x20, x10, x4
    00537224adcs x20, x12, x11
    00537228adcs x20, x14, x13
    0053722cadcs x20, x16, x15
    00537230adcs x20, x19, x17
    00537234str x20, [sp+4048]
    00537238adds x21, x10, x4
    0053723cadcs x21, x12, x11
    00537240adcs x21, x14, x13
    00537244adcs x21, x16, x15
    00537248adcs x21, x19, x17
    0053724cadc x21, xzr, xzr
    00537250str x21, [sp+4056]
    00537254str x20, [sp+6184]
    00537258str x21, [sp+6176]
    0053725cstr x20, [sp+2704]
    00537260str x21, [sp+2696]
    00537264str xzr, [sp+2688]
    00537268str xzr, [sp+2680]
    0053726cldr x20, [sp+2792]
    00537270ldr x21, [sp+3024]
    00537274adcs x22, x21, x20
    00537278adds x22, x10, x4
    0053727cadcs x22, x12, x11
    00537280adcs x22, x14, x13
    00537284adcs x22, x16, x15
    00537288adcs x22, x19, x17
    0053728cadcs x22, x21, x20
    00537290str x22, [sp+4056]
    00537294adds x23, x10, x4
    00537298adcs x23, x12, x11
    0053729cadcs x23, x14, x13
    005372a0adcs x23, x16, x15
    005372a4adcs x23, x19, x17
    005372a8adcs x23, x21, x20
    005372acadc x23, xzr, xzr
    005372b0str x23, [sp+4048]
    005372b4str x22, [sp+6168]
    005372b8str x23, [sp+6160]
    005372bcstr x22, [sp+2688]
    005372c0str x23, [sp+2680]
    005372c4str xzr, [sp+2664]
    005372c8str xzr, [sp+2656]
    005372ccldr x22, [sp+2776]
    005372d0ldr x23, [sp+3000]
    005372d4adcs x24, x23, x22
    005372d8adds x24, x10, x4
    005372dcadcs x24, x12, x11
    005372e0adcs x24, x14, x13
    005372e4adcs x24, x16, x15
    005372e8adcs x24, x19, x17
    005372ecadcs x24, x21, x20
    005372f0adcs x24, x23, x22
    005372f4str x24, [sp+4048]
    005372f8adds x4, x10, x4
    005372fcadcs x4, x12, x11
    00537300adcs x4, x14, x13
    00537304adcs x4, x16, x15
    00537308adcs x4, x19, x17
    0053730cadcs x4, x21, x20
    00537310adcs x4, x23, x22
    00537314adc x4, xzr, xzr
    00537318str x4, [sp+4056]
    0053731cstr x24, [sp+6152]
    00537320str x4, [sp+6144]
    00537324str x24, [sp+2664]
    00537328str x4, [sp+2656]
    0053732cldr x10, [sp+2992]
    00537330add x4, x4, x10
    00537334str x4, [sp+2648]
    00537338str xzr, [sp+2640]
    0053733cstr xzr, [sp+2632]
    00537340ldr x4, [sp+7608]
    00537344ldrsb x27, [x4]
    00537348ldr x4, [x4+40]
    0053734cstr x4, [sp+3880]
    00537350ldr x10, [sp+1984]
    00537354umulh x11, x10, x4
    00537358str x11, [sp+4056]
    0053735cmadd x4, x10, x4, xzr
    00537360str x4, [sp+4048]
    00537364str x11, [sp+6136]
    00537368str x4, [sp+6120]
    0053736cstr x11, [sp+2632]
    00537370str x4, [sp+2640]
    00537374str xzr, [sp+2624]
    00537378str xzr, [sp+2616]
    0053737cldr x4, [sp+7608]
    00537380ldrsb x27, [x4]
    00537384ldr x4, [x4+32]
    00537388str x4, [sp+3872]
    0053738cldr x10, [sp+1984]
    00537390umulh x11, x10, x4
    00537394str x11, [sp+4048]
    00537398madd x4, x10, x4, xzr
    0053739cstr x4, [sp+4056]
    005373a0str x11, [sp+6112]
    005373a4str x4, [sp+6104]
    005373a8str x11, [sp+2616]
    005373acstr x4, [sp+2624]
    005373b0str xzr, [sp+2608]
    005373b4str xzr, [sp+2600]
    005373b8ldr x4, [sp+7608]
    005373bcldrsb x27, [x4]
    005373c0ldr x4, [x4+24]
    005373c4str x4, [sp+3864]
    005373c8ldr x10, [sp+1984]
    005373ccumulh x11, x10, x4
    005373d0str x11, [sp+4056]
    005373d4madd x4, x10, x4, xzr
    005373d8str x4, [sp+4048]
    005373dcstr x11, [sp+6096]
    005373e0str x4, [sp+6088]
    005373e4str x11, [sp+2600]
    005373e8str x4, [sp+2608]
    005373ecstr xzr, [sp+2592]
    005373f0str xzr, [sp+2576]
    005373f4ldr x4, [sp+7608]
    005373f8ldrsb x27, [x4]
    005373fcldr x4, [x4+16]
    00537400str x4, [sp+3856]
    00537404ldr x10, [sp+1984]
    00537408umulh x11, x10, x4
    0053740cstr x11, [sp+4048]
    00537410madd x4, x10, x4, xzr
    00537414str x4, [sp+4056]
    00537418str x11, [sp+6072]
    0053741cstr x4, [sp+6064]
    00537420str x11, [sp+2576]
    00537424str x4, [sp+2592]
    00537428str xzr, [sp+2568]
    0053742cstr xzr, [sp+2560]
    00537430ldr x4, [sp+7608]
    00537434ldrsb x27, [x4]
    00537438ldr x4, [x4+8]
    0053743cstr x4, [sp+3848]
    00537440ldr x10, [sp+1984]
    00537444umulh x11, x10, x4
    00537448str x11, [sp+4056]
    0053744cmadd x4, x10, x4, xzr
    00537450str x4, [sp+4048]
    00537454str x11, [sp+6056]
    00537458str x4, [sp+6048]
    0053745cstr x11, [sp+2560]
    00537460str x4, [sp+2568]
    00537464str xzr, [sp+2552]
    00537468str xzr, [sp+2544]
    0053746cldr x4, [sp+7608]
    00537470ldrsb x27, [x4]
    00537474ldr x4, [x4]
    00537478str x4, [sp+3840]
    0053747cldr x10, [sp+1984]
    00537480umulh x11, x10, x4
    00537484str x11, [sp+4048]
    00537488madd x4, x10, x4, xzr
    0053748cstr x4, [sp+4056]
    00537490str x11, [sp+6040]
    00537494str x4, [sp+6032]
    00537498str x11, [sp+2544]
    0053749cstr x4, [sp+2552]
    005374a0str xzr, [sp+2536]
    005374a4str xzr, [sp+2528]
    005374a8ldr x4, [sp+2568]
    005374acadds x10, x11, x4
    005374b0adc x10, xzr, xzr
    005374b4adds x12, x11, x4
    005374b8str x12, [sp+4056]
    005374bcstr x10, [sp+4048]
    005374c0str x12, [sp+6024]
    005374c4str x10, [sp+6016]
    005374c8str x12, [sp+2536]
    005374ccstr x10, [sp+2528]
    005374d0str xzr, [sp+2520]
    005374d4str xzr, [sp+2512]
    005374d8ldr x10, [sp+2592]
    005374dcldr x12, [sp+2560]
    005374e0adds x13, x11, x4
    005374e4adcs x13, x12, x10
    005374e8adds x13, x11, x4
    005374ecadcs x13, x12, x10
    005374f0str x13, [sp+4048]
    005374f4adds x14, x11, x4
    005374f8adcs x14, x12, x10
    005374fcadc x14, xzr, xzr
    00537500str x14, [sp+4056]
    00537504str x13, [sp+6008]
    00537508str x14, [sp+6000]
    0053750cstr x13, [sp+2520]
    00537510str x14, [sp+2512]
    00537514str xzr, [sp+2504]
    00537518str xzr, [sp+2488]
    0053751cldr x13, [sp+2608]
    00537520ldr x14, [sp+2576]
    00537524adcs x15, x14, x13
    00537528adds x15, x11, x4
    0053752cadcs x15, x12, x10
    00537530adcs x15, x14, x13
    00537534str x15, [sp+4056]
    00537538adds x16, x11, x4
    0053753cadcs x16, x12, x10
    00537540adcs x16, x14, x13
    00537544adc x16, xzr, xzr
    00537548str x16, [sp+4048]
    0053754cstr x15, [sp+5992]
    00537550str x16, [sp+5984]
    00537554str x15, [sp+2504]
    00537558str x16, [sp+2488]
    0053755cstr xzr, [sp+2480]
    00537560str xzr, [sp+2472]
    00537564ldr x15, [sp+2624]
    00537568ldr x16, [sp+2600]
    0053756cadcs x17, x16, x15
    00537570adds x17, x11, x4
    00537574adcs x17, x12, x10
    00537578adcs x17, x14, x13
    0053757cadcs x17, x16, x15
    00537580str x17, [sp+4048]
    00537584adds x19, x11, x4
    00537588adcs x19, x12, x10
    0053758cadcs x19, x14, x13
    00537590adcs x19, x16, x15
    00537594adc x19, xzr, xzr
    00537598str x19, [sp+4056]
    0053759cstr x17, [sp+5976]
    005375a0str x19, [sp+5968]
    005375a4str x17, [sp+2480]
    005375a8str x19, [sp+2472]
    005375acstr xzr, [sp+2464]
    005375b0str xzr, [sp+2456]
    005375b4ldr x17, [sp+2640]
    005375b8ldr x19, [sp+2616]
    005375bcadcs x20, x19, x17
    005375c0adds x20, x11, x4
    005375c4adcs x20, x12, x10
    005375c8adcs x20, x14, x13
    005375ccadcs x20, x16, x15
    005375d0adcs x20, x19, x17
    005375d4str x20, [sp+4056]
    005375d8adds x4, x11, x4
    005375dcadcs x4, x12, x10
    005375e0adcs x4, x14, x13
    005375e4adcs x4, x16, x15
    005375e8adcs x4, x19, x17
    005375ecadc x4, xzr, xzr
    005375f0str x4, [sp+4048]
    005375f4str x20, [sp+5960]
    005375f8str x4, [sp+5944]
    005375fcstr x20, [sp+2464]
    00537600str x4, [sp+2456]
    00537604ldr x10, [sp+2632]
    00537608add x4, x4, x10
    0053760cstr x4, [sp+2448]
    00537610str xzr, [sp+2440]
    00537614str xzr, [sp+2432]
    00537618ldr x4, [sp+2552]
    0053761cldr x10, [sp+2752]
    00537620adds x11, x10, x4
    00537624adc x11, xzr, xzr
    00537628adds x12, x10, x4
    0053762cstr x12, [sp+4048]
    00537630str x11, [sp+4056]
    00537634str x12, [sp+5936]
    00537638str x11, [sp+5928]
    0053763cstr x12, [sp+2440]
    00537640str x11, [sp+2432]
    00537644str xzr, [sp+2424]
    00537648str xzr, [sp+2416]
    0053764cldr x11, [sp+2536]
    00537650ldr x12, [sp+2736]
    00537654adds x13, x10, x4
    00537658adcs x13, x12, x11
    0053765cadds x13, x10, x4
    00537660adcs x13, x12, x11
    00537664str x13, [sp+4056]
    00537668adds x14, x10, x4
    0053766cadcs x14, x12, x11
    00537670adc x14, xzr, xzr
    00537674str x14, [sp+4048]
    00537678str x13, [sp+5920]
    0053767cstr x14, [sp+5912]
    00537680str x13, [sp+2424]
    00537684str x14, [sp+2416]
    00537688str xzr, [sp+2400]
    0053768cstr xzr, [sp+2392]
    00537690ldr x13, [sp+2520]
    00537694ldr x14, [sp+2720]
    00537698adcs x15, x14, x13
    0053769cadds x15, x10, x4
    005376a0adcs x15, x12, x11
    005376a4adcs x15, x14, x13
    005376a8str x15, [sp+4048]
    005376acadds x16, x10, x4
    005376b0adcs x16, x12, x11
    005376b4adcs x16, x14, x13
    005376b8adc x16, xzr, xzr
    005376bcstr x16, [sp+4056]
    005376c0str x15, [sp+5896]
    005376c4str x16, [sp+5888]
    005376c8str x15, [sp+2400]
    005376ccstr x16, [sp+2392]
    005376d0str xzr, [sp+2384]
    005376d4str xzr, [sp+2376]
    005376d8ldr x15, [sp+2504]
    005376dcldr x16, [sp+2704]
    005376e0adcs x17, x16, x15
    005376e4adds x17, x10, x4
    005376e8adcs x17, x12, x11
    005376ecadcs x17, x14, x13
    005376f0adcs x17, x16, x15
    005376f4str x17, [sp+4056]
    005376f8adds x19, x10, x4
    005376fcadcs x19, x12, x11
    00537700adcs x19, x14, x13
    00537704adcs x19, x16, x15
    00537708adc x19, xzr, xzr
    0053770cstr x19, [sp+4048]
    00537710str x17, [sp+5880]
    00537714str x19, [sp+5872]
    00537718str x17, [sp+2384]
    0053771cstr x19, [sp+2376]
    00537720str xzr, [sp+2368]
    00537724str xzr, [sp+2360]
    00537728ldr x17, [sp+2480]
    0053772cldr x19, [sp+2688]
    00537730adcs x20, x19, x17
    00537734adds x20, x10, x4
    00537738adcs x20, x12, x11
    0053773cadcs x20, x14, x13
    00537740adcs x20, x16, x15
    00537744adcs x20, x19, x17
    00537748str x20, [sp+4048]
    0053774cadds x21, x10, x4
    00537750adcs x21, x12, x11
    00537754adcs x21, x14, x13
    00537758adcs x21, x16, x15
    0053775cadcs x21, x19, x17
    00537760adc x21, xzr, xzr
    00537764str x21, [sp+4056]
    00537768str x20, [sp+5864]
    0053776cstr x21, [sp+5856]
    00537770str x20, [sp+2368]
    00537774str x21, [sp+2360]
    00537778str xzr, [sp+2352]
    0053777cstr xzr, [sp+2344]
    00537780ldr x20, [sp+2464]
    00537784ldr x21, [sp+2664]
    00537788adcs x22, x21, x20
    0053778cadds x22, x10, x4
    00537790adcs x22, x12, x11
    00537794adcs x22, x14, x13
    00537798adcs x22, x16, x15
    0053779cadcs x22, x19, x17
    005377a0adcs x22, x21, x20
    005377a4str x22, [sp+4056]
    005377a8adds x23, x10, x4
    005377acadcs x23, x12, x11
    005377b0adcs x23, x14, x13
    005377b4adcs x23, x16, x15
    005377b8adcs x23, x19, x17
    005377bcadcs x23, x21, x20
    005377c0adc x23, xzr, xzr
    005377c4str x23, [sp+4048]
    005377c8str x22, [sp+5848]
    005377ccstr x23, [sp+5840]
    005377d0str x22, [sp+2352]
    005377d4str x23, [sp+2344]
    005377d8str xzr, [sp+2336]
    005377dcstr xzr, [sp+2328]
    005377e0ldr x22, [sp+2448]
    005377e4ldr x23, [sp+2648]
    005377e8adcs x24, x23, x22
    005377ecadds x24, x10, x4
    005377f0adcs x24, x12, x11
    005377f4adcs x24, x14, x13
    005377f8adcs x24, x16, x15
    005377fcadcs x24, x19, x17
    00537800adcs x24, x21, x20
    00537804adcs x24, x23, x22
    00537808str x24, [sp+4048]
    0053780cadds x4, x10, x4
    00537810adcs x4, x12, x11
    00537814adcs x4, x14, x13
    00537818adcs x4, x16, x15
    0053781cadcs x4, x19, x17
    00537820adcs x4, x21, x20
    00537824adcs x4, x23, x22
    00537828adc x4, xzr, xzr
    0053782cstr x4, [sp+4056]
    00537830str x24, [sp+5832]
    00537834str x4, [sp+5824]
    00537838str x24, [sp+2336]
    0053783cstr x4, [sp+2328]
    00537840str xzr, [sp+2312]
    00537844ldr x4, [sp+2440]
    00537848add x10, x4, x4, lsl #32
    0053784cumulh x4, x4, x6
    00537850str x4, [sp+4056]
    00537854str x10, [sp+4048]
    00537858str x4, [sp+5816]
    0053785cstr x10, [sp+5808]
    00537860str x10, [sp+2312]
    00537864str xzr, [sp+2304]
    00537868str xzr, [sp+2296]
    0053786csub x4, xzr, x10
    00537870umulh x10, x10, x7
    00537874str x10, [sp+4048]
    00537878str x4, [sp+4056]
    0053787cstr x10, [sp+5800]
    00537880str x4, [sp+5792]
    00537884str x10, [sp+2296]
    00537888str x4, [sp+2304]
    0053788cstr xzr, [sp+2288]
    00537890str xzr, [sp+2280]
    00537894ldr x4, [sp+2312]
    00537898umulh x10, x4, x7
    0053789cstr x10, [sp+4056]
    005378a0sub x4, xzr, x4
    005378a4str x4, [sp+4048]
    005378a8str x10, [sp+5784]
    005378acstr x4, [sp+5768]
    005378b0str x10, [sp+2280]
    005378b4str x4, [sp+2288]
    005378b8str xzr, [sp+2272]
    005378bcstr xzr, [sp+2264]
    005378c0ldr x4, [sp+2312]
    005378c4umulh x10, x4, x7
    005378c8str x10, [sp+4048]
    005378ccsub x4, xzr, x4
    005378d0str x4, [sp+4056]
    005378d4str x10, [sp+5760]
    005378d8str x4, [sp+5752]
    005378dcstr x10, [sp+2264]
    005378e0str x4, [sp+2272]
    005378e4str xzr, [sp+2256]
    005378e8str xzr, [sp+2248]
    005378ecldr x4, [sp+2312]
    005378f0umulh x10, x4, x5
    005378f4str x10, [sp+4056]
    005378f8madd x4, x4, x5, xzr
    005378fcstr x4, [sp+4048]
    00537900str x10, [sp+5744]
    00537904str x4, [sp+5736]
    00537908str x10, [sp+2248]
    0053790cstr x4, [sp+2256]
    00537910str xzr, [sp+2232]
    00537914str xzr, [sp+2224]
    00537918ldr x4, [sp+2312]
    0053791cumulh x10, x4, x8
    00537920str x10, [sp+4048]
    00537924madd x4, x4, x8, xzr
    00537928str x4, [sp+4056]
    0053792cstr x10, [sp+5720]
    00537930str x4, [sp+5712]
    00537934str x10, [sp+2224]
    00537938str x4, [sp+2232]
    0053793cstr xzr, [sp+2216]
    00537940str xzr, [sp+2208]
    00537944ldr x4, [sp+2312]
    00537948umulh x10, x4, x9
    0053794cstr x10, [sp+4056]
    00537950sub x11, xzr, x4
    00537954add x4, x11, x4, lsl #32
    00537958str x4, [sp+4048]
    0053795cstr x10, [sp+5704]
    00537960str x4, [sp+5696]
    00537964str x10, [sp+2208]
    00537968str x4, [sp+2216]
    0053796cstr xzr, [sp+2200]
    00537970str xzr, [sp+2192]
    00537974ldr x4, [sp+2232]
    00537978adds x11, x10, x4
    0053797cadc x11, xzr, xzr
    00537980adds x12, x10, x4
    00537984str x12, [sp+4048]
    00537988str x11, [sp+4056]
    0053798cstr x12, [sp+5688]
    00537990str x11, [sp+5680]
    00537994str x12, [sp+2200]
    00537998str x11, [sp+2192]
    0053799cstr xzr, [sp+2184]
    005379a0str xzr, [sp+2176]
    005379a4ldr x11, [sp+2256]
    005379a8ldr x12, [sp+2224]
    005379acadds x13, x10, x4
    005379b0adcs x13, x12, x11
    005379b4adds x13, x10, x4
    005379b8adcs x13, x12, x11
    005379bcstr x13, [sp+4056]
    005379c0adds x14, x10, x4
    005379c4adcs x14, x12, x11
    005379c8adc x14, xzr, xzr
    005379ccstr x14, [sp+4048]
    005379d0str x13, [sp+5672]
    005379d4str x14, [sp+5664]
    005379d8str x13, [sp+2184]
    005379dcstr x14, [sp+2176]
    005379e0str xzr, [sp+2168]
    005379e4str xzr, [sp+2160]
    005379e8ldr x13, [sp+2272]
    005379ecldr x14, [sp+2248]
    005379f0adcs x15, x14, x13
    005379f4adds x15, x10, x4
    005379f8adcs x15, x12, x11
    005379fcadcs x15, x14, x13
    00537a00str x15, [sp+4048]
    00537a04adds x16, x10, x4
    00537a08adcs x16, x12, x11
    00537a0cadcs x16, x14, x13
    00537a10adc x16, xzr, xzr
    00537a14str x16, [sp+4056]
    00537a18str x15, [sp+5656]
    00537a1cstr x16, [sp+5648]
    00537a20str x15, [sp+2168]
    00537a24str x16, [sp+2160]
    00537a28str xzr, [sp+2144]
    00537a2cstr xzr, [sp+2136]
    00537a30ldr x15, [sp+2288]
    00537a34ldr x16, [sp+2264]
    00537a38adcs x17, x16, x15
    00537a3cadds x17, x10, x4
    00537a40adcs x17, x12, x11
    00537a44adcs x17, x14, x13
    00537a48adcs x17, x16, x15
    00537a4cstr x17, [sp+4056]
    00537a50adds x19, x10, x4
    00537a54adcs x19, x12, x11
    00537a58adcs x19, x14, x13
    00537a5cadcs x19, x16, x15
    00537a60adc x19, xzr, xzr
    00537a64str x19, [sp+4048]
    00537a68str x17, [sp+5640]
    00537a6cstr x19, [sp+5632]
    00537a70str x17, [sp+2144]
    00537a74str x19, [sp+2136]
    00537a78str xzr, [sp+2128]
    00537a7cstr xzr, [sp+2120]
    00537a80ldr x17, [sp+2304]
    00537a84ldr x19, [sp+2280]
    00537a88adcs x20, x19, x17
    00537a8cadds x20, x10, x4
    00537a90adcs x20, x12, x11
    00537a94adcs x20, x14, x13
    00537a98adcs x20, x16, x15
    00537a9cadcs x20, x19, x17
    00537aa0str x20, [sp+4048]
    00537aa4adds x4, x10, x4
    00537aa8adcs x4, x12, x11
    00537aacadcs x4, x14, x13
    00537ab0adcs x4, x16, x15
    00537ab4adcs x4, x19, x17
    00537ab8adc x4, xzr, xzr
    00537abcstr x4, [sp+4056]
    00537ac0str x20, [sp+5624]
    00537ac4str x4, [sp+5616]
    00537ac8str x20, [sp+2128]
    00537accstr x4, [sp+2120]
    00537ad0ldr x10, [sp+2296]
    00537ad4add x4, x4, x10
    00537ad8str x4, [sp+2112]
    00537adcstr xzr, [sp+2104]
    00537ae0ldr x4, [sp+2216]
    00537ae4ldr x10, [sp+2440]
    00537ae8adds x11, x10, x4
    00537aecadc x11, xzr, xzr
    00537af0adds x12, x10, x4
    00537af4str x12, [sp+4056]
    00537af8str x11, [sp+4048]
    00537afcstr x12, [sp+5608]
    00537b00str x11, [sp+5592]
    00537b04str x11, [sp+2104]
    00537b08str xzr, [sp+2096]
    00537b0cstr xzr, [sp+2088]
    00537b10ldr x11, [sp+2200]
    00537b14ldr x12, [sp+2424]
    00537b18adds x13, x10, x4
    00537b1cadcs x13, x12, x11
    00537b20adds x13, x10, x4
    00537b24adcs x13, x12, x11
    00537b28str x13, [sp+4048]
    00537b2cadds x14, x10, x4
    00537b30adcs x14, x12, x11
    00537b34adc x14, xzr, xzr
    00537b38str x14, [sp+4056]
    00537b3cstr x13, [sp+5584]
    00537b40str x14, [sp+5576]
    00537b44str x13, [sp+2096]
    00537b48str x14, [sp+2088]
    00537b4cstr xzr, [sp+2080]
    00537b50str xzr, [sp+2064]
    00537b54ldr x13, [sp+2184]
    00537b58ldr x14, [sp+2400]
    00537b5cadcs x15, x14, x13
    00537b60adds x15, x10, x4
    00537b64adcs x15, x12, x11
    00537b68adcs x15, x14, x13
    00537b6cstr x15, [sp+4056]
    00537b70adds x16, x10, x4
    00537b74adcs x16, x12, x11
    00537b78adcs x16, x14, x13
    00537b7cadc x16, xzr, xzr
    00537b80str x16, [sp+4048]
    00537b84str x15, [sp+5568]
    00537b88str x16, [sp+5560]
    00537b8cstr x15, [sp+2080]
    00537b90str x16, [sp+2064]
    00537b94str xzr, [sp+2056]
    00537b98str xzr, [sp+2048]
    00537b9cldr x15, [sp+2168]
    00537ba0ldr x16, [sp+2384]
    00537ba4adcs x17, x16, x15
    00537ba8adds x17, x10, x4
    00537bacadcs x17, x12, x11
    00537bb0adcs x17, x14, x13
    00537bb4adcs x17, x16, x15
    00537bb8str x17, [sp+4048]
    00537bbcadds x19, x10, x4
    00537bc0adcs x19, x12, x11
    00537bc4adcs x19, x14, x13
    00537bc8adcs x19, x16, x15
    00537bccadc x19, xzr, xzr
    00537bd0str x19, [sp+4056]
    00537bd4str x17, [sp+5544]
    00537bd8str x19, [sp+5536]
    00537bdcstr x17, [sp+2056]
    00537be0str x19, [sp+2048]
    00537be4str xzr, [sp+2040]
    00537be8str xzr, [sp+2032]
    00537becldr x17, [sp+2144]
    00537bf0ldr x19, [sp+2368]
    00537bf4adcs x20, x19, x17
    00537bf8adds x20, x10, x4
    00537bfcadcs x20, x12, x11
    00537c00adcs x20, x14, x13
    00537c04adcs x20, x16, x15
    00537c08adcs x20, x19, x17
    00537c0cstr x20, [sp+4056]
    00537c10adds x21, x10, x4
    00537c14adcs x21, x12, x11
    00537c18adcs x21, x14, x13
    00537c1cadcs x21, x16, x15
    00537c20adcs x21, x19, x17
    00537c24adc x21, xzr, xzr
    00537c28str x21, [sp+4048]
    00537c2cstr x20, [sp+5528]
    00537c30str x21, [sp+5520]
    00537c34str x20, [sp+2040]
    00537c38str x21, [sp+2032]
    00537c3cstr xzr, [sp+2024]
    00537c40str xzr, [sp+2016]
    00537c44ldr x20, [sp+2128]
    00537c48ldr x21, [sp+2352]
    00537c4cadcs x22, x21, x20
    00537c50adds x22, x10, x4
    00537c54adcs x22, x12, x11
    00537c58adcs x22, x14, x13
    00537c5cadcs x22, x16, x15
    00537c60adcs x22, x19, x17
    00537c64adcs x22, x21, x20
    00537c68str x22, [sp+4048]
    00537c6cadds x23, x10, x4
    00537c70adcs x23, x12, x11
    00537c74adcs x23, x14, x13
    00537c78adcs x23, x16, x15
    00537c7cadcs x23, x19, x17
    00537c80adcs x23, x21, x20
    00537c84adc x23, xzr, xzr
    00537c88str x23, [sp+4056]
    00537c8cstr x22, [sp+5512]
    00537c90str x23, [sp+5504]
    00537c94str x22, [sp+2024]
    00537c98str x23, [sp+2016]
    00537c9cstr xzr, [sp+2008]
    00537ca0str xzr, [sp+2000]
    00537ca4ldr x22, [sp+2112]
    00537ca8ldr x23, [sp+2336]
    00537cacadcs x24, x23, x22
    00537cb0adds x24, x10, x4
    00537cb4adcs x24, x12, x11
    00537cb8adcs x24, x14, x13
    00537cbcadcs x24, x16, x15
    00537cc0adcs x24, x19, x17
    00537cc4adcs x24, x21, x20
    00537cc8adcs x24, x23, x22
    00537cccstr x24, [sp+4056]
    00537cd0adds x4, x10, x4
    00537cd4adcs x4, x12, x11
    00537cd8adcs x4, x14, x13
    00537cdcadcs x4, x16, x15
    00537ce0adcs x4, x19, x17
    00537ce4adcs x4, x21, x20
    00537ce8adcs x4, x23, x22
    00537cecadc x4, xzr, xzr
    00537cf0str x4, [sp+4048]
    00537cf4str x24, [sp+5496]
    00537cf8str x4, [sp+5488]
    00537cfcstr x24, [sp+2008]
    00537d00str x4, [sp+2000]
    00537d04ldr x10, [sp+2328]
    00537d08add x4, x4, x10
    00537d0cstr x4, [sp+1992]
    00537d10str xzr, [sp+1968]
    00537d14str xzr, [sp+1960]
    00537d18ldr x4, [sp+7608]
    00537d1cldrsb x27, [x4]
    00537d20ldr x4, [x4+40]
    00537d24str x4, [sp+3832]
    00537d28ldr x10, [sp+1120]
    00537d2cumulh x11, x10, x4
    00537d30str x11, [sp+4048]
    00537d34madd x4, x10, x4, xzr
    00537d38str x4, [sp+4056]
    00537d3cstr x11, [sp+5480]
    00537d40str x4, [sp+5472]
    00537d44str x11, [sp+1960]
    00537d48str x4, [sp+1968]
    00537d4cstr xzr, [sp+1952]
    00537d50str xzr, [sp+1944]
    00537d54ldr x4, [sp+7608]
    00537d58ldrsb x27, [x4]
    00537d5cldr x4, [x4+32]
    00537d60str x4, [sp+3824]
    00537d64ldr x10, [sp+1120]
    00537d68umulh x11, x10, x4
    00537d6cstr x11, [sp+4056]
    00537d70madd x4, x10, x4, xzr
    00537d74str x4, [sp+4048]
    00537d78str x11, [sp+5464]
    00537d7cstr x4, [sp+5456]
    00537d80str x11, [sp+1944]
    00537d84str x4, [sp+1952]
    00537d88str xzr, [sp+1936]
    00537d8cstr xzr, [sp+1928]
    00537d90ldr x4, [sp+7608]
    00537d94ldrsb x27, [x4]
    00537d98ldr x4, [x4+24]
    00537d9cstr x4, [sp+3816]
    00537da0ldr x10, [sp+1120]
    00537da4umulh x11, x10, x4
    00537da8str x11, [sp+4048]
    00537dacmadd x4, x10, x4, xzr
    00537db0str x4, [sp+4056]
    00537db4str x11, [sp+5448]
    00537db8str x4, [sp+5440]
    00537dbcstr x11, [sp+1928]
    00537dc0str x4, [sp+1936]
    00537dc4str xzr, [sp+1920]
    00537dc8str xzr, [sp+1912]
    00537dccldr x4, [sp+7608]
    00537dd0ldrsb x27, [x4]
    00537dd4ldr x4, [x4+16]
    00537dd8str x4, [sp+3808]
    00537ddcldr x10, [sp+1120]
    00537de0umulh x11, x10, x4
    00537de4str x11, [sp+4056]
    00537de8madd x4, x10, x4, xzr
    00537decstr x4, [sp+4048]
    00537df0str x11, [sp+5424]
    00537df4str x4, [sp+5416]
    00537df8str x11, [sp+1912]
    00537dfcstr x4, [sp+1920]
    00537e00str xzr, [sp+1904]
    00537e04str xzr, [sp+1896]
    00537e08ldr x4, [sp+7608]
    00537e0cldrsb x27, [x4]
    00537e10ldr x4, [x4+8]
    00537e14str x4, [sp+3800]
    00537e18ldr x10, [sp+1120]
    00537e1cumulh x11, x10, x4
    00537e20str x11, [sp+4048]
    00537e24madd x4, x10, x4, xzr
    00537e28str x4, [sp+4056]
    00537e2cstr x11, [sp+5408]
    00537e30str x4, [sp+5400]
    00537e34str x11, [sp+1896]
    00537e38str x4, [sp+1904]
    00537e3cstr xzr, [sp+1888]
    00537e40str xzr, [sp+1880]
    00537e44ldr x4, [sp+7608]
    00537e48ldrsb x27, [x4]
    00537e4cldr x4, [x4]
    00537e50str x4, [sp+3792]
    00537e54ldr x10, [sp+1120]
    00537e58umulh x11, x10, x4
    00537e5cstr x11, [sp+4056]
    00537e60madd x4, x10, x4, xzr
    00537e64str x4, [sp+4048]
    00537e68str x11, [sp+5392]
    00537e6cstr x4, [sp+5384]
    00537e70str x11, [sp+1880]
    00537e74str x4, [sp+1888]
    00537e78str xzr, [sp+1872]
    00537e7cstr xzr, [sp+1864]
    00537e80ldr x4, [sp+1904]
    00537e84adds x10, x11, x4
    00537e88adc x10, xzr, xzr
    00537e8cadds x12, x11, x4
    00537e90str x12, [sp+4048]
    00537e94str x10, [sp+4056]
    00537e98str x12, [sp+5368]
    00537e9cstr x10, [sp+5360]
    00537ea0str x12, [sp+1872]
    00537ea4str x10, [sp+1864]
    00537ea8str xzr, [sp+1856]
    00537eacstr xzr, [sp+1848]
    00537eb0ldr x10, [sp+1920]
    00537eb4ldr x12, [sp+1896]
    00537eb8adds x13, x11, x4
    00537ebcadcs x13, x12, x10
    00537ec0adds x13, x11, x4
    00537ec4adcs x13, x12, x10
    00537ec8str x13, [sp+4056]
    00537eccadds x14, x11, x4
    00537ed0adcs x14, x12, x10
    00537ed4adc x14, xzr, xzr
    00537ed8str x14, [sp+4048]
    00537edcstr x13, [sp+5352]
    00537ee0str x14, [sp+5344]
    00537ee4str x13, [sp+1856]
    00537ee8str x14, [sp+1848]
    00537eecstr xzr, [sp+1840]
    00537ef0str xzr, [sp+1832]
    00537ef4ldr x13, [sp+1936]
    00537ef8ldr x14, [sp+1912]
    00537efcadcs x15, x14, x13
    00537f00adds x15, x11, x4
    00537f04adcs x15, x12, x10
    00537f08adcs x15, x14, x13
    00537f0cstr x15, [sp+4048]
    00537f10adds x16, x11, x4
    00537f14adcs x16, x12, x10
    00537f18adcs x16, x14, x13
    00537f1cadc x16, xzr, xzr
    00537f20str x16, [sp+4056]
    00537f24str x15, [sp+5336]
    00537f28str x16, [sp+5328]
    00537f2cstr x15, [sp+1840]
    00537f30str x16, [sp+1832]
    00537f34str xzr, [sp+1824]
    00537f38str xzr, [sp+1816]
    00537f3cldr x15, [sp+1952]
    00537f40ldr x16, [sp+1928]
    00537f44adcs x17, x16, x15
    00537f48adds x17, x11, x4
    00537f4cadcs x17, x12, x10
    00537f50adcs x17, x14, x13
    00537f54adcs x17, x16, x15
    00537f58str x17, [sp+4056]
    00537f5cadds x19, x11, x4
    00537f60adcs x19, x12, x10
    00537f64adcs x19, x14, x13
    00537f68adcs x19, x16, x15
    00537f6cadc x19, xzr, xzr
    00537f70str x19, [sp+4048]
    00537f74str x17, [sp+5320]
    00537f78str x19, [sp+5312]
    00537f7cstr x17, [sp+1824]
    00537f80str x19, [sp+1816]
    00537f84str xzr, [sp+1800]
    00537f88str xzr, [sp+1792]
    00537f8cldr x17, [sp+1968]
    00537f90ldr x19, [sp+1944]
    00537f94adcs x20, x19, x17
    00537f98adds x20, x11, x4
    00537f9cadcs x20, x12, x10
    00537fa0adcs x20, x14, x13
    00537fa4adcs x20, x16, x15
    00537fa8adcs x20, x19, x17
    00537facstr x20, [sp+4048]
    00537fb0adds x4, x11, x4
    00537fb4adcs x4, x12, x10
    00537fb8adcs x4, x14, x13
    00537fbcadcs x4, x16, x15
    00537fc0adcs x4, x19, x17
    00537fc4adc x4, xzr, xzr
    00537fc8str x4, [sp+4056]
    00537fccstr x20, [sp+5304]
    00537fd0str x4, [sp+5296]
    00537fd4str x20, [sp+1800]
    00537fd8str x4, [sp+1792]
    00537fdcldr x10, [sp+1960]
    00537fe0add x4, x4, x10
    00537fe4str x4, [sp+1784]
    00537fe8str xzr, [sp+1776]
    00537fecstr xzr, [sp+1768]
    00537ff0ldr x4, [sp+1888]
    00537ff4ldr x10, [sp+2096]
    00537ff8adds x11, x10, x4
    00537ffcadc x11, xzr, xzr
    00538000adds x12, x10, x4
    00538004str x12, [sp+4056]
    00538008str x11, [sp+4048]
    0053800cstr x12, [sp+5288]
    00538010str x11, [sp+5280]
    00538014str x12, [sp+1776]
    00538018str x11, [sp+1768]
    0053801cstr xzr, [sp+1760]
    00538020str xzr, [sp+1752]
    00538024ldr x11, [sp+1872]
    00538028ldr x12, [sp+2080]
    0053802cadds x13, x10, x4
    00538030adcs x13, x12, x11
    00538034adds x13, x10, x4
    00538038adcs x13, x12, x11
    0053803cstr x13, [sp+4048]
    00538040adds x14, x10, x4
    00538044adcs x14, x12, x11
    00538048adc x14, xzr, xzr
    0053804cstr x14, [sp+4056]
    00538050str x13, [sp+5272]
    00538054str x14, [sp+5264]
    00538058str x13, [sp+1760]
    0053805cstr x14, [sp+1752]
    00538060str xzr, [sp+1744]
    00538064str xzr, [sp+1736]
    00538068ldr x13, [sp+1856]
    0053806cldr x14, [sp+2056]
    00538070adcs x15, x14, x13
    00538074adds x15, x10, x4
    00538078adcs x15, x12, x11
    0053807cadcs x15, x14, x13
    00538080str x15, [sp+4056]
    00538084adds x16, x10, x4
    00538088adcs x16, x12, x11
    0053808cadcs x16, x14, x13
    00538090adc x16, xzr, xzr
    00538094str x16, [sp+4048]
    00538098str x15, [sp+5248]
    0053809cstr x16, [sp+5240]
    005380a0str x15, [sp+1744]
    005380a4str x16, [sp+1736]
    005380a8str xzr, [sp+1728]
    005380acstr xzr, [sp+1712]
    005380b0ldr x15, [sp+1840]
    005380b4ldr x16, [sp+2040]
    005380b8adcs x17, x16, x15
    005380bcadds x17, x10, x4
    005380c0adcs x17, x12, x11
    005380c4adcs x17, x14, x13
    005380c8adcs x17, x16, x15
    005380ccstr x17, [sp+4048]
    005380d0adds x19, x10, x4
    005380d4adcs x19, x12, x11
    005380d8adcs x19, x14, x13
    005380dcadcs x19, x16, x15
    005380e0adc x19, xzr, xzr
    005380e4str x19, [sp+4056]
    005380e8str x17, [sp+5232]
    005380ecstr x19, [sp+5224]
    005380f0str x17, [sp+1728]
    005380f4str x19, [sp+1712]
    005380f8str xzr, [sp+1704]
    005380fcstr xzr, [sp+1696]
    00538100ldr x17, [sp+1824]
    00538104ldr x19, [sp+2024]
    00538108adcs x20, x19, x17
    0053810cadds x20, x10, x4
    00538110adcs x20, x12, x11
    00538114adcs x20, x14, x13
    00538118adcs x20, x16, x15
    0053811cadcs x20, x19, x17
    00538120str x20, [sp+4056]
    00538124adds x21, x10, x4
    00538128adcs x21, x12, x11
    0053812cadcs x21, x14, x13
    00538130adcs x21, x16, x15
    00538134adcs x21, x19, x17
    00538138adc x21, xzr, xzr
    0053813cstr x21, [sp+4048]
    00538140str x20, [sp+5216]
    00538144str x21, [sp+5200]
    00538148str x20, [sp+1704]
    0053814cstr x21, [sp+1696]
    00538150str xzr, [sp+1688]
    00538154str xzr, [sp+1680]
    00538158ldr x20, [sp+1800]
    0053815cldr x21, [sp+2008]
    00538160adcs x22, x21, x20
    00538164adds x22, x10, x4
    00538168adcs x22, x12, x11
    0053816cadcs x22, x14, x13
    00538170adcs x22, x16, x15
    00538174adcs x22, x19, x17
    00538178adcs x22, x21, x20
    0053817cstr x22, [sp+4048]
    00538180adds x23, x10, x4
    00538184adcs x23, x12, x11
    00538188adcs x23, x14, x13
    0053818cadcs x23, x16, x15
    00538190adcs x23, x19, x17
    00538194adcs x23, x21, x20
    00538198adc x23, xzr, xzr
    0053819cstr x23, [sp+4056]
    005381a0str x22, [sp+5192]
    005381a4str x23, [sp+5184]
    005381a8str x22, [sp+1688]
    005381acstr x23, [sp+1680]
    005381b0str xzr, [sp+1672]
    005381b4str xzr, [sp+1664]
    005381b8ldr x22, [sp+1784]
    005381bcldr x23, [sp+1992]
    005381c0adcs x24, x23, x22
    005381c4adds x24, x10, x4
    005381c8adcs x24, x12, x11
    005381ccadcs x24, x14, x13
    005381d0adcs x24, x16, x15
    005381d4adcs x24, x19, x17
    005381d8adcs x24, x21, x20
    005381dcadcs x24, x23, x22
    005381e0str x24, [sp+4056]
    005381e4adds x4, x10, x4
    005381e8adcs x4, x12, x11
    005381ecadcs x4, x14, x13
    005381f0adcs x4, x16, x15
    005381f4adcs x4, x19, x17
    005381f8adcs x4, x21, x20
    005381fcadcs x4, x23, x22
    00538200adc x4, xzr, xzr
    00538204str x4, [sp+4048]
    00538208str x24, [sp+5176]
    0053820cstr x4, [sp+5168]
    00538210str x24, [sp+1672]
    00538214str x4, [sp+1664]
    00538218str xzr, [sp+1656]
    0053821cldr x4, [sp+1776]
    00538220add x10, x4, x4, lsl #32
    00538224umulh x4, x4, x6
    00538228str x4, [sp+4048]
    0053822cstr x10, [sp+4056]
    00538230str x4, [sp+5160]
    00538234str x10, [sp+5152]
    00538238str x10, [sp+1656]
    0053823cstr xzr, [sp+1648]
    00538240str xzr, [sp+1632]
    00538244sub x4, xzr, x10
    00538248umulh x10, x10, x7
    0053824cstr x10, [sp+4056]
    00538250str x4, [sp+4048]
    00538254str x10, [sp+5144]
    00538258str x4, [sp+5136]
    0053825cstr x10, [sp+1632]
    00538260str x4, [sp+1648]
    00538264str xzr, [sp+1624]
    00538268str xzr, [sp+1616]
    0053826cldr x4, [sp+1656]
    00538270umulh x10, x4, x7
    00538274str x10, [sp+4048]
    00538278sub x4, xzr, x4
    0053827cstr x4, [sp+4056]
    00538280str x10, [sp+5128]
    00538284str x4, [sp+5120]
    00538288str x10, [sp+1616]
    0053828cstr x4, [sp+1624]
    00538290str xzr, [sp+1608]
    00538294str xzr, [sp+1600]
    00538298ldr x4, [sp+1656]
    0053829cumulh x10, x4, x7
    005382a0str x10, [sp+4056]
    005382a4sub x4, xzr, x4
    005382a8str x4, [sp+4048]
    005382acstr x10, [sp+5112]
    005382b0str x4, [sp+5104]
    005382b4str x10, [sp+1600]
    005382b8str x4, [sp+1608]
    005382bcstr xzr, [sp+1592]
    005382c0str xzr, [sp+1584]
    005382c4ldr x4, [sp+1656]
    005382c8umulh x10, x4, x5
    005382ccstr x10, [sp+4048]
    005382d0madd x4, x4, x5, xzr
    005382d4str x4, [sp+4056]
    005382d8str x10, [sp+5096]
    005382dcstr x4, [sp+5088]
    005382e0str x10, [sp+1584]
    005382e4str x4, [sp+1592]
    005382e8str xzr, [sp+1576]
    005382ecstr xzr, [sp+1568]
    005382f0ldr x4, [sp+1656]
    005382f4umulh x10, x4, x8
    005382f8str x10, [sp+4056]
    005382fcmadd x4, x4, x8, xzr
    00538300str x4, [sp+4048]
    00538304str x10, [sp+5072]
    00538308str x4, [sp+5064]
    0053830cstr x10, [sp+1568]
    00538310str x4, [sp+1576]
    00538314str xzr, [sp+1560]
    00538318str xzr, [sp+1544]
    0053831cldr x4, [sp+1656]
    00538320umulh x10, x4, x9
    00538324str x10, [sp+4048]
    00538328sub x11, xzr, x4
    0053832cadd x4, x11, x4, lsl #32
    00538330str x4, [sp+4056]
    00538334str x10, [sp+5056]
    00538338str x4, [sp+5048]
    0053833cstr x10, [sp+1544]
    00538340str x4, [sp+1560]
    00538344str xzr, [sp+1536]
    00538348str xzr, [sp+1528]
    0053834cldr x4, [sp+1576]
    00538350adds x11, x10, x4
    00538354adc x11, xzr, xzr
    00538358adds x12, x10, x4
    0053835cstr x12, [sp+4056]
    00538360str x11, [sp+4048]
    00538364str x12, [sp+5040]
    00538368str x11, [sp+5032]
    0053836cstr x12, [sp+1536]
    00538370str x11, [sp+1528]
    00538374str xzr, [sp+1520]
    00538378str xzr, [sp+1512]
    0053837cldr x11, [sp+1592]
    00538380ldr x12, [sp+1568]
    00538384adds x13, x10, x4
    00538388adcs x13, x12, x11
    0053838cadds x13, x10, x4
    00538390adcs x13, x12, x11
    00538394str x13, [sp+4048]
    00538398adds x14, x10, x4
    0053839cadcs x14, x12, x11
    005383a0adc x14, xzr, xzr
    005383a4str x14, [sp+4056]
    005383a8str x13, [sp+5016]
    005383acstr x14, [sp+5008]
    005383b0str x13, [sp+1520]
    005383b4str x14, [sp+1512]
    005383b8str xzr, [sp+1504]
    005383bcstr xzr, [sp+1496]
    005383c0ldr x13, [sp+1608]
    005383c4ldr x14, [sp+1584]
    005383c8adcs x15, x14, x13
    005383ccadds x15, x10, x4
    005383d0adcs x15, x12, x11
    005383d4adcs x15, x14, x13
    005383d8str x15, [sp+4056]
    005383dcadds x16, x10, x4
    005383e0adcs x16, x12, x11
    005383e4adcs x16, x14, x13
    005383e8adc x16, xzr, xzr
    005383ecstr x16, [sp+4048]
    005383f0str x15, [sp+5000]
    005383f4str x16, [sp+4992]
    005383f8str x15, [sp+1504]
    005383fcstr x16, [sp+1496]
    00538400str xzr, [sp+1488]
    00538404str xzr, [sp+1480]
    00538408ldr x15, [sp+1624]
    0053840cldr x16, [sp+1600]
    00538410adcs x17, x16, x15
    00538414adds x17, x10, x4
    00538418adcs x17, x12, x11
    0053841cadcs x17, x14, x13
    00538420adcs x17, x16, x15
    00538424str x17, [sp+4048]
    00538428adds x19, x10, x4
    0053842cadcs x19, x12, x11
    00538430adcs x19, x14, x13
    00538434adcs x19, x16, x15
    00538438adc x19, xzr, xzr
    0053843cstr x19, [sp+4056]
    00538440str x17, [sp+4984]
    00538444str x19, [sp+4976]
    00538448str x17, [sp+1488]
    0053844cstr x19, [sp+1480]
    00538450str xzr, [sp+1472]
    00538454str xzr, [sp+1456]
    00538458ldr x17, [sp+1648]
    0053845cldr x19, [sp+1616]
    00538460adcs x20, x19, x17
    00538464adds x20, x10, x4
    00538468adcs x20, x12, x11
    0053846cadcs x20, x14, x13
    00538470adcs x20, x16, x15
    00538474adcs x20, x19, x17
    00538478str x20, [sp+4056]
    0053847cadds x4, x10, x4
    00538480adcs x4, x12, x11
    00538484adcs x4, x14, x13
    00538488adcs x4, x16, x15
    0053848cadcs x4, x19, x17
    00538490adc x4, xzr, xzr
    00538494str x4, [sp+4048]
    00538498str x20, [sp+4968]
    0053849cstr x4, [sp+4960]
    005384a0str x20, [sp+1472]
    005384a4str x4, [sp+1456]
    005384a8ldr x10, [sp+1632]
    005384acadd x4, x4, x10
    005384b0str x4, [sp+1448]
    005384b4str xzr, [sp+1440]
    005384b8ldr x4, [sp+1560]
    005384bcldr x10, [sp+1776]
    005384c0adds x11, x10, x4
    005384c4adc x11, xzr, xzr
    005384c8adds x12, x10, x4
    005384ccstr x12, [sp+4048]
    005384d0str x11, [sp+4056]
    005384d4str x12, [sp+4952]
    005384d8str x11, [sp+4944]
    005384dcstr x11, [sp+1440]
    005384e0str xzr, [sp+1432]
    005384e4str xzr, [sp+1424]
    005384e8ldr x11, [sp+1536]
    005384ecldr x12, [sp+1760]
    005384f0adds x13, x10, x4
    005384f4adcs x13, x12, x11
    005384f8adds x13, x10, x4
    005384fcadcs x13, x12, x11
    00538500str x13, [sp+4056]
    00538504adds x14, x10, x4
    00538508adcs x14, x12, x11
    0053850cadc x14, xzr, xzr
    00538510str x14, [sp+4048]
    00538514str x13, [sp+4936]
    00538518str x14, [sp+4928]
    0053851cstr x13, [sp+1432]
    00538520str x14, [sp+1424]
    00538524str xzr, [sp+1416]
    00538528str xzr, [sp+1408]
    0053852cldr x13, [sp+1520]
    00538530ldr x14, [sp+1744]
    00538534adcs x15, x14, x13
    00538538adds x15, x10, x4
    0053853cadcs x15, x12, x11
    00538540adcs x15, x14, x13
    00538544str x15, [sp+4048]
    00538548adds x16, x10, x4
    0053854cadcs x16, x12, x11
    00538550adcs x16, x14, x13
    00538554adc x16, xzr, xzr
    00538558str x16, [sp+4056]
    0053855cstr x15, [sp+4920]
    00538560str x16, [sp+4912]
    00538564str x15, [sp+1416]
    00538568str x16, [sp+1408]
    0053856cstr xzr, [sp+1400]
    00538570str xzr, [sp+1392]
    00538574ldr x15, [sp+1504]
    00538578ldr x16, [sp+1728]
    0053857cadcs x17, x16, x15
    00538580adds x17, x10, x4
    00538584adcs x17, x12, x11
    00538588adcs x17, x14, x13
    0053858cadcs x17, x16, x15
    00538590str x17, [sp+4056]
    00538594adds x19, x10, x4
    00538598adcs x19, x12, x11
    0053859cadcs x19, x14, x13
    005385a0adcs x19, x16, x15
    005385a4adc x19, xzr, xzr
    005385a8str x19, [sp+4048]
    005385acstr x17, [sp+4896]
    005385b0str x19, [sp+4888]
    005385b4str x17, [sp+1400]
    005385b8str x19, [sp+1392]
    005385bcstr xzr, [sp+1376]
    005385c0str xzr, [sp+1368]
    005385c4ldr x17, [sp+1488]
    005385c8ldr x19, [sp+1704]
    005385ccadcs x20, x19, x17
    005385d0adds x20, x10, x4
    005385d4adcs x20, x12, x11
    005385d8adcs x20, x14, x13
    005385dcadcs x20, x16, x15
    005385e0adcs x20, x19, x17
    005385e4str x20, [sp+4048]
    005385e8adds x21, x10, x4
    005385ecadcs x21, x12, x11
    005385f0adcs x21, x14, x13
    005385f4adcs x21, x16, x15
    005385f8adcs x21, x19, x17
    005385fcadc x21, xzr, xzr
    00538600str x21, [sp+4056]
    00538604str x20, [sp+4880]
    00538608str x21, [sp+4872]
    0053860cstr x20, [sp+1376]
    00538610str x21, [sp+1368]
    00538614str xzr, [sp+1360]
    00538618str xzr, [sp+1352]
    0053861cldr x20, [sp+1472]
    00538620ldr x21, [sp+1688]
    00538624adcs x22, x21, x20
    00538628adds x22, x10, x4
    0053862cadcs x22, x12, x11
    00538630adcs x22, x14, x13
    00538634adcs x22, x16, x15
    00538638adcs x22, x19, x17
    0053863cadcs x22, x21, x20
    00538640str x22, [sp+4056]
    00538644adds x23, x10, x4
    00538648adcs x23, x12, x11
    0053864cadcs x23, x14, x13
    00538650adcs x23, x16, x15
    00538654adcs x23, x19, x17
    00538658adcs x23, x21, x20
    0053865cadc x23, xzr, xzr
    00538660str x23, [sp+4048]
    00538664str x22, [sp+4864]
    00538668str x23, [sp+4856]
    0053866cstr x22, [sp+1360]
    00538670str x23, [sp+1352]
    00538674str xzr, [sp+1344]
    00538678str xzr, [sp+1336]
    0053867cldr x22, [sp+1448]
    00538680ldr x23, [sp+1672]
    00538684adcs x24, x23, x22
    00538688adds x24, x10, x4
    0053868cadcs x24, x12, x11
    00538690adcs x24, x14, x13
    00538694adcs x24, x16, x15
    00538698adcs x24, x19, x17
    0053869cadcs x24, x21, x20
    005386a0adcs x24, x23, x22
    005386a4str x24, [sp+4048]
    005386a8adds x4, x10, x4
    005386acadcs x4, x12, x11
    005386b0adcs x4, x14, x13
    005386b4adcs x4, x16, x15
    005386b8adcs x4, x19, x17
    005386bcadcs x4, x21, x20
    005386c0adcs x4, x23, x22
    005386c4adc x4, xzr, xzr
    005386c8str x4, [sp+4056]
    005386ccstr x24, [sp+4840]
    005386d0str x4, [sp+4832]
    005386d4str x24, [sp+1344]
    005386d8str x4, [sp+1336]
    005386dcldr x10, [sp+1664]
    005386e0add x4, x4, x10
    005386e4str x4, [sp+1328]
    005386e8str xzr, [sp+1320]
    005386ecstr xzr, [sp+1312]
    005386f0ldr x4, [sp+7608]
    005386f4ldrsb x27, [x4]
    005386f8ldr x4, [x4+40]
    005386fcstr x4, [sp+3784]
    00538700ldr x10, [sp+464]
    00538704umulh x11, x10, x4
    00538708str x11, [sp+4056]
    0053870cmadd x4, x10, x4, xzr
    00538710str x4, [sp+4048]
    00538714str x11, [sp+4824]
    00538718str x4, [sp+4816]
    0053871cstr x11, [sp+1312]
    00538720str x4, [sp+1320]
    00538724str xzr, [sp+1304]
    00538728str xzr, [sp+1288]
    0053872cldr x4, [sp+7608]
    00538730ldrsb x27, [x4]
    00538734ldr x4, [x4+32]
    00538738str x4, [sp+3776]
    0053873cldr x10, [sp+464]
    00538740umulh x11, x10, x4
    00538744str x11, [sp+4048]
    00538748madd x4, x10, x4, xzr
    0053874cstr x4, [sp+4056]
    00538750str x11, [sp+4808]
    00538754str x4, [sp+4800]
    00538758str x11, [sp+1288]
    0053875cstr x4, [sp+1304]
    00538760str xzr, [sp+1280]
    00538764str xzr, [sp+1272]
    00538768ldr x4, [sp+7608]
    0053876cldrsb x27, [x4]
    00538770ldr x4, [x4+24]
    00538774str x4, [sp+3768]
    00538778ldr x10, [sp+464]
    0053877cumulh x11, x10, x4
    00538780str x11, [sp+4056]
    00538784madd x4, x10, x4, xzr
    00538788str x4, [sp+4048]
    0053878cstr x11, [sp+4792]
    00538790str x4, [sp+4784]
    00538794str x11, [sp+1272]
    00538798str x4, [sp+1280]
    0053879cstr xzr, [sp+1264]
    005387a0str xzr, [sp+1256]
    005387a4ldr x4, [sp+7608]
    005387a8ldrsb x27, [x4]
    005387acldr x4, [x4+16]
    005387b0str x4, [sp+3760]
    005387b4ldr x10, [sp+464]
    005387b8umulh x11, x10, x4
    005387bcstr x11, [sp+4048]
    005387c0madd x4, x10, x4, xzr
    005387c4str x4, [sp+4056]
    005387c8str x11, [sp+4776]
    005387ccstr x4, [sp+4768]
    005387d0str x11, [sp+1256]
    005387d4str x4, [sp+1264]
    005387d8str xzr, [sp+1248]
    005387dcstr xzr, [sp+1240]
    005387e0ldr x4, [sp+7608]
    005387e4ldrsb x27, [x4]
    005387e8ldr x4, [x4+8]
    005387ecstr x4, [sp+3752]
    005387f0ldr x10, [sp+464]
    005387f4umulh x11, x10, x4
    005387f8str x11, [sp+4056]
    005387fcmadd x4, x10, x4, xzr
    00538800str x4, [sp+4048]
    00538804str x11, [sp+4760]
    00538808str x4, [sp+4752]
    0053880cstr x11, [sp+1240]
    00538810str x4, [sp+1248]
    00538814str xzr, [sp+1232]
    00538818str xzr, [sp+1224]
    0053881cldr x4, [sp+7608]
    00538820ldrsb x27, [x4]
    00538824ldr x4, [x4]
    00538828str x4, [sp+3744]
    0053882cldr x10, [sp+464]
    00538830umulh x11, x10, x4
    00538834str x11, [sp+4048]
    00538838madd x4, x10, x4, xzr
    0053883cstr x4, [sp+4056]
    00538840str x11, [sp+4744]
    00538844str x4, [sp+4736]
    00538848str x11, [sp+1224]
    0053884cstr x4, [sp+1232]
    00538850str xzr, [sp+1216]
    00538854str xzr, [sp+1200]
    00538858ldr x4, [sp+1248]
    0053885cadds x10, x11, x4
    00538860adc x10, xzr, xzr
    00538864adds x12, x11, x4
    00538868str x12, [sp+4056]
    0053886cstr x10, [sp+4048]
    00538870str x12, [sp+4720]
    00538874str x10, [sp+4712]
    00538878str x12, [sp+1216]
    0053887cstr x10, [sp+1200]
    00538880str xzr, [sp+1192]
    00538884str xzr, [sp+1184]
    00538888ldr x10, [sp+1264]
    0053888cldr x12, [sp+1240]
    00538890adds x13, x11, x4
    00538894adcs x13, x12, x10
    00538898adds x13, x11, x4
    0053889cadcs x13, x12, x10
    005388a0str x13, [sp+4048]
    005388a4adds x14, x11, x4
    005388a8adcs x14, x12, x10
    005388acadc x14, xzr, xzr
    005388b0str x14, [sp+4056]
    005388b4str x13, [sp+4704]
    005388b8str x14, [sp+4696]
    005388bcstr x13, [sp+1192]
    005388c0str x14, [sp+1184]
    005388c4str xzr, [sp+1176]
    005388c8str xzr, [sp+1168]
    005388ccldr x13, [sp+1280]
    005388d0ldr x14, [sp+1256]
    005388d4adcs x15, x14, x13
    005388d8adds x15, x11, x4
    005388dcadcs x15, x12, x10
    005388e0adcs x15, x14, x13
    005388e4str x15, [sp+4056]
    005388e8adds x16, x11, x4
    005388ecadcs x16, x12, x10
    005388f0adcs x16, x14, x13
    005388f4adc x16, xzr, xzr
    005388f8str x16, [sp+4048]
    005388fcstr x15, [sp+4688]
    00538900str x16, [sp+4672]
    00538904str x15, [sp+1176]
    00538908str x16, [sp+1168]
    0053890cstr xzr, [sp+1160]
    00538910str xzr, [sp+1152]
    00538914ldr x15, [sp+1304]
    00538918ldr x16, [sp+1272]
    0053891cadcs x17, x16, x15
    00538920adds x17, x11, x4
    00538924adcs x17, x12, x10
    00538928adcs x17, x14, x13
    0053892cadcs x17, x16, x15
    00538930str x17, [sp+4048]
    00538934adds x19, x11, x4
    00538938adcs x19, x12, x10
    0053893cadcs x19, x14, x13
    00538940adcs x19, x16, x15
    00538944adc x19, xzr, xzr
    00538948str x19, [sp+4056]
    0053894cstr x17, [sp+4664]
    00538950str x19, [sp+4656]
    00538954str x17, [sp+1160]
    00538958str x19, [sp+1152]
    0053895cstr xzr, [sp+1144]
    00538960str xzr, [sp+1136]
    00538964ldr x17, [sp+1320]
    00538968ldr x19, [sp+1288]
    0053896cadcs x20, x19, x17
    00538970adds x20, x11, x4
    00538974adcs x20, x12, x10
    00538978adcs x20, x14, x13
    0053897cadcs x20, x16, x15
    00538980adcs x20, x19, x17
    00538984str x20, [sp+4056]
    00538988adds x4, x11, x4
    0053898cadcs x4, x12, x10
    00538990adcs x4, x14, x13
    00538994adcs x4, x16, x15
    00538998adcs x4, x19, x17
    0053899cadc x4, xzr, xzr
    005389a0str x4, [sp+4048]
    005389a4str x20, [sp+4648]
    005389a8str x4, [sp+4640]
    005389acstr x20, [sp+1144]
    005389b0str x4, [sp+1136]
    005389b4ldr x10, [sp+1312]
    005389b8add x4, x4, x10
    005389bcstr x4, [sp+1128]
    005389c0str xzr, [sp+1104]
    005389c4str xzr, [sp+1096]
    005389c8ldr x4, [sp+1232]
    005389ccldr x10, [sp+1432]
    005389d0adds x11, x10, x4
    005389d4adc x11, xzr, xzr
    005389d8adds x12, x10, x4
    005389dcstr x12, [sp+4048]
    005389e0str x11, [sp+4056]
    005389e4str x12, [sp+4632]
    005389e8str x11, [sp+4624]
    005389ecstr x12, [sp+1104]
    005389f0str x11, [sp+1096]
    005389f4str xzr, [sp+1088]
    005389f8str xzr, [sp+1080]
    005389fcldr x11, [sp+1216]
    00538a00ldr x12, [sp+1416]
    00538a04adds x13, x10, x4
    00538a08adcs x13, x12, x11
    00538a0cadds x13, x10, x4
    00538a10adcs x13, x12, x11
    00538a14str x13, [sp+4056]
    00538a18adds x14, x10, x4
    00538a1cadcs x14, x12, x11
    00538a20adc x14, xzr, xzr
    00538a24str x14, [sp+4048]
    00538a28str x13, [sp+4616]
    00538a2cstr x14, [sp+4608]
    00538a30str x13, [sp+1088]
    00538a34str x14, [sp+1080]
    00538a38str xzr, [sp+1072]
    00538a3cstr xzr, [sp+1064]
    00538a40ldr x13, [sp+1192]
    00538a44ldr x14, [sp+1400]
    00538a48adcs x15, x14, x13
    00538a4cadds x15, x10, x4
    00538a50adcs x15, x12, x11
    00538a54adcs x15, x14, x13
    00538a58str x15, [sp+4048]
    00538a5cadds x16, x10, x4
    00538a60adcs x16, x12, x11
    00538a64adcs x16, x14, x13
    00538a68adc x16, xzr, xzr
    00538a6cstr x16, [sp+4056]
    00538a70str x15, [sp+4600]
    00538a74str x16, [sp+4592]
    00538a78str x15, [sp+1072]
    00538a7cstr x16, [sp+1064]
    00538a80str xzr, [sp+1056]
    00538a84str xzr, [sp+1048]
    00538a88ldr x15, [sp+1176]
    00538a8cldr x16, [sp+1376]
    00538a90adcs x17, x16, x15
    00538a94adds x17, x10, x4
    00538a98adcs x17, x12, x11
    00538a9cadcs x17, x14, x13
    00538aa0adcs x17, x16, x15
    00538aa4str x17, [sp+4056]
    00538aa8adds x19, x10, x4
    00538aacadcs x19, x12, x11
    00538ab0adcs x19, x14, x13
    00538ab4adcs x19, x16, x15
    00538ab8adc x19, xzr, xzr
    00538abcstr x19, [sp+4048]
    00538ac0str x17, [sp+4584]
    00538ac4str x19, [sp+4576]
    00538ac8str x17, [sp+1056]
    00538accstr x19, [sp+1048]
    00538ad0str xzr, [sp+1040]
    00538ad4str xzr, [sp+1032]
    00538ad8ldr x17, [sp+1160]
    00538adcldr x19, [sp+1360]
    00538ae0adcs x20, x19, x17
    00538ae4adds x20, x10, x4
    00538ae8adcs x20, x12, x11
    00538aecadcs x20, x14, x13
    00538af0adcs x20, x16, x15
    00538af4adcs x20, x19, x17
    00538af8str x20, [sp+4048]
    00538afcadds x21, x10, x4
    00538b00adcs x21, x12, x11
    00538b04adcs x21, x14, x13
    00538b08adcs x21, x16, x15
    00538b0cadcs x21, x19, x17
    00538b10adc x21, xzr, xzr
    00538b14str x21, [sp+4056]
    00538b18str x20, [sp+4568]
    00538b1cstr x21, [sp+4560]
    00538b20str x20, [sp+1040]
    00538b24str x21, [sp+1032]
    00538b28str xzr, [sp+1016]
    00538b2cstr xzr, [sp+1008]
    00538b30ldr x20, [sp+1144]
    00538b34ldr x21, [sp+1344]
    00538b38adcs x22, x21, x20
    00538b3cadds x22, x10, x4
    00538b40adcs x22, x12, x11
    00538b44adcs x22, x14, x13
    00538b48adcs x22, x16, x15
    00538b4cadcs x22, x19, x17
    00538b50adcs x22, x21, x20
    00538b54str x22, [sp+4056]
    00538b58adds x23, x10, x4
    00538b5cadcs x23, x12, x11
    00538b60adcs x23, x14, x13
    00538b64adcs x23, x16, x15
    00538b68adcs x23, x19, x17
    00538b6cadcs x23, x21, x20
    00538b70adc x23, xzr, xzr
    00538b74str x23, [sp+4048]
    00538b78str x22, [sp+4544]
    00538b7cstr x23, [sp+4536]
    00538b80str x22, [sp+1016]
    00538b84str x23, [sp+1008]
    00538b88str xzr, [sp+1000]
    00538b8cstr xzr, [sp+992]
    00538b90ldr x22, [sp+1128]
    00538b94ldr x23, [sp+1328]
    00538b98adcs x24, x23, x22
    00538b9cadds x24, x10, x4
    00538ba0adcs x24, x12, x11
    00538ba4adcs x24, x14, x13
    00538ba8adcs x24, x16, x15
    00538bacadcs x24, x19, x17
    00538bb0adcs x24, x21, x20
    00538bb4adcs x24, x23, x22
    00538bb8str x24, [sp+4048]
    00538bbcadds x4, x10, x4
    00538bc0adcs x4, x12, x11
    00538bc4adcs x4, x14, x13
    00538bc8adcs x4, x16, x15
    00538bccadcs x4, x19, x17
    00538bd0adcs x4, x21, x20
    00538bd4adcs x4, x23, x22
    00538bd8adc x4, xzr, xzr
    00538bdcstr x4, [sp+4056]
    00538be0str x24, [sp+4528]
    00538be4str x4, [sp+4520]
    00538be8str x24, [sp+1000]
    00538becstr x4, [sp+992]
    00538bf0str xzr, [sp+984]
    00538bf4ldr x4, [sp+1104]
    00538bf8add x10, x4, x4, lsl #32
    00538bfcumulh x4, x4, x6
    00538c00str x4, [sp+4056]
    00538c04str x10, [sp+4048]
    00538c08str x4, [sp+4512]
    00538c0cstr x10, [sp+4496]
    00538c10str x10, [sp+984]
    00538c14str xzr, [sp+976]
    00538c18str xzr, [sp+968]
    00538c1csub x4, xzr, x10
    00538c20umulh x6, x10, x7
    00538c24str x6, [sp+4048]
    00538c28str x4, [sp+4056]
    00538c2cstr x6, [sp+4488]
    00538c30str x4, [sp+4480]
    00538c34str x6, [sp+968]
    00538c38str x4, [sp+976]
    00538c3cstr xzr, [sp+960]
    00538c40str xzr, [sp+952]
    00538c44ldr x4, [sp+984]
    00538c48umulh x6, x4, x7
    00538c4cstr x6, [sp+4056]
    00538c50sub x4, xzr, x4
    00538c54str x4, [sp+4048]
    00538c58str x6, [sp+4472]
    00538c5cstr x4, [sp+4464]
    00538c60str x6, [sp+952]
    00538c64str x4, [sp+960]
    00538c68str xzr, [sp+936]
    00538c6cstr xzr, [sp+928]
    00538c70ldr x4, [sp+984]
    00538c74umulh x6, x4, x7
    00538c78str x6, [sp+4048]
    00538c7csub x4, xzr, x4
    00538c80str x4, [sp+4056]
    00538c84str x6, [sp+4456]
    00538c88str x4, [sp+4448]
    00538c8cstr x6, [sp+928]
    00538c90str x4, [sp+936]
    00538c94str xzr, [sp+920]
    00538c98str xzr, [sp+912]
    00538c9cldr x4, [sp+984]
    00538ca0umulh x6, x4, x5
    00538ca4str x6, [sp+4056]
    00538ca8madd x4, x4, x5, xzr
    00538cacstr x4, [sp+4048]
    00538cb0str x6, [sp+4440]
    00538cb4str x4, [sp+4432]
    00538cb8str x6, [sp+912]
    00538cbcstr x4, [sp+920]
    00538cc0str xzr, [sp+904]
    00538cc4str xzr, [sp+896]
    00538cc8ldr x4, [sp+984]
    00538cccumulh x6, x4, x8
    00538cd0str x6, [sp+4048]
    00538cd4madd x4, x4, x8, xzr
    00538cd8str x4, [sp+4056]
    00538cdcstr x6, [sp+4424]
    00538ce0str x4, [sp+4416]
    00538ce4str x6, [sp+896]
    00538ce8str x4, [sp+904]
    00538cecstr xzr, [sp+888]
    00538cf0str xzr, [sp+880]
    00538cf4ldr x4, [sp+984]
    00538cf8umulh x6, x4, x9
    00538cfcstr x6, [sp+4056]
    00538d00sub x10, xzr, x4
    00538d04add x4, x10, x4, lsl #32
    00538d08str x4, [sp+4048]
    00538d0cstr x6, [sp+4408]
    00538d10str x4, [sp+4400]
    00538d14str x6, [sp+880]
    00538d18str x4, [sp+888]
    00538d1cstr xzr, [sp+872]
    00538d20str xzr, [sp+864]
    00538d24ldr x4, [sp+904]
    00538d28adds x10, x6, x4
    00538d2cadc x10, xzr, xzr
    00538d30adds x11, x6, x4
    00538d34str x11, [sp+4048]
    00538d38str x10, [sp+4056]
    00538d3cstr x11, [sp+4392]
    00538d40str x10, [sp+4384]
    00538d44str x11, [sp+872]
    00538d48str x10, [sp+864]
    00538d4cstr xzr, [sp+848]
    00538d50str xzr, [sp+840]
    00538d54ldr x10, [sp+920]
    00538d58ldr x11, [sp+896]
    00538d5cadds x12, x6, x4
    00538d60adcs x12, x11, x10
    00538d64adds x12, x6, x4
    00538d68adcs x12, x11, x10
    00538d6cstr x12, [sp+4056]
    00538d70adds x13, x6, x4
    00538d74adcs x13, x11, x10
    00538d78adc x13, xzr, xzr
    00538d7cstr x13, [sp+4048]
    00538d80str x12, [sp+4368]
    00538d84str x13, [sp+4360]
    00538d88str x12, [sp+848]
    00538d8cstr x13, [sp+840]
    00538d90str xzr, [sp+832]
    00538d94str xzr, [sp+824]
    00538d98ldr x12, [sp+936]
    00538d9cldr x13, [sp+912]
    00538da0adcs x14, x13, x12
    00538da4adds x14, x6, x4
    00538da8adcs x14, x11, x10
    00538dacadcs x14, x13, x12
    00538db0str x14, [sp+4048]
    00538db4adds x15, x6, x4
    00538db8adcs x15, x11, x10
    00538dbcadcs x15, x13, x12
    00538dc0adc x15, xzr, xzr
    00538dc4str x15, [sp+4056]
    00538dc8str x14, [sp+4352]
    00538dccstr x15, [sp+4344]
    00538dd0str x14, [sp+832]
    00538dd4str x15, [sp+824]
    00538dd8str xzr, [sp+816]
    00538ddcstr xzr, [sp+808]
    00538de0ldr x14, [sp+960]
    00538de4ldr x15, [sp+928]
    00538de8adcs x16, x15, x14
    00538decadds x16, x6, x4
    00538df0adcs x16, x11, x10
    00538df4adcs x16, x13, x12
    00538df8adcs x16, x15, x14
    00538dfcstr x16, [sp+4056]
    00538e00adds x17, x6, x4
    00538e04adcs x17, x11, x10
    00538e08adcs x17, x13, x12
    00538e0cadcs x17, x15, x14
    00538e10adc x17, xzr, xzr
    00538e14str x17, [sp+4048]
    00538e18str x16, [sp+4336]
    00538e1cstr x17, [sp+4320]
    00538e20str x16, [sp+816]
    00538e24str x17, [sp+808]
    00538e28str xzr, [sp+800]
    00538e2cstr xzr, [sp+792]
    00538e30ldr x16, [sp+976]
    00538e34ldr x17, [sp+952]
    00538e38adcs x19, x17, x16
    00538e3cadds x19, x6, x4
    00538e40adcs x19, x11, x10
    00538e44adcs x19, x13, x12
    00538e48adcs x19, x15, x14
    00538e4cadcs x19, x17, x16
    00538e50str x19, [sp+4048]
    00538e54adds x4, x6, x4
    00538e58adcs x4, x11, x10
    00538e5cadcs x4, x13, x12
    00538e60adcs x4, x15, x14
    00538e64adcs x4, x17, x16
    00538e68adc x4, xzr, xzr
    00538e6cstr x4, [sp+4056]
    00538e70str x19, [sp+4312]
    00538e74str x4, [sp+4304]
    00538e78str x19, [sp+800]
    00538e7cstr x4, [sp+792]
    00538e80ldr x6, [sp+968]
    00538e84add x4, x4, x6
    00538e88str x4, [sp+784]
    00538e8cstr xzr, [sp+768]
    00538e90ldr x4, [sp+888]
    00538e94ldr x6, [sp+1104]
    00538e98adds x10, x6, x4
    00538e9cadc x10, xzr, xzr
    00538ea0adds x11, x6, x4
    00538ea4str x11, [sp+4056]
    00538ea8str x10, [sp+4048]
    00538eacstr x11, [sp+4296]
    00538eb0str x10, [sp+4288]
    00538eb4str x10, [sp+768]
    00538eb8str xzr, [sp+760]
    00538ebcstr xzr, [sp+752]
    00538ec0ldr x10, [sp+872]
    00538ec4ldr x11, [sp+1088]
    00538ec8adds x12, x6, x4
    00538eccadcs x12, x11, x10
    00538ed0adds x12, x6, x4
    00538ed4adcs x12, x11, x10
    00538ed8str x12, [sp+4048]
    00538edcadds x13, x6, x4
    00538ee0adcs x13, x11, x10
    00538ee4adc x13, xzr, xzr
    00538ee8str x13, [sp+4056]
    00538eecstr x12, [sp+4280]
    00538ef0str x13, [sp+4272]
    00538ef4str x12, [sp+760]
    00538ef8str x13, [sp+752]
    00538efcstr xzr, [sp+744]
    00538f00str xzr, [sp+736]
    00538f04ldr x12, [sp+848]
    00538f08ldr x13, [sp+1072]
    00538f0cadcs x14, x13, x12
    00538f10adds x14, x6, x4
    00538f14adcs x14, x11, x10
    00538f18adcs x14, x13, x12
    00538f1cstr x14, [sp+4056]
    00538f20adds x15, x6, x4
    00538f24adcs x15, x11, x10
    00538f28adcs x15, x13, x12
    00538f2cadc x15, xzr, xzr
    00538f30str x15, [sp+4048]
    00538f34str x14, [sp+4264]
    00538f38str x15, [sp+4256]
    00538f3cstr x14, [sp+744]
    00538f40str x15, [sp+736]
    00538f44str xzr, [sp+728]
    00538f48str xzr, [sp+720]
    00538f4cldr x14, [sp+832]
    00538f50ldr x15, [sp+1056]
    00538f54adcs x16, x15, x14
    00538f58adds x16, x6, x4
    00538f5cadcs x16, x11, x10
    00538f60adcs x16, x13, x12
    00538f64adcs x16, x15, x14
    00538f68str x16, [sp+4048]
    00538f6cadds x17, x6, x4
    00538f70adcs x17, x11, x10
    00538f74adcs x17, x13, x12
    00538f78adcs x17, x15, x14
    00538f7cadc x17, xzr, xzr
    00538f80str x17, [sp+4056]
    00538f84str x16, [sp+4248]
    00538f88str x17, [sp+4240]
    00538f8cstr x16, [sp+728]
    00538f90str x17, [sp+720]
    00538f94str xzr, [sp+712]
    00538f98str xzr, [sp+704]
    00538f9cldr x16, [sp+816]
    00538fa0ldr x17, [sp+1040]
    00538fa4adcs x19, x17, x16
    00538fa8adds x19, x6, x4
    00538facadcs x19, x11, x10
    00538fb0adcs x19, x13, x12
    00538fb4adcs x19, x15, x14
    00538fb8adcs x19, x17, x16
    00538fbcstr x19, [sp+4056]
    00538fc0adds x20, x6, x4
    00538fc4adcs x20, x11, x10
    00538fc8adcs x20, x13, x12
    00538fccadcs x20, x15, x14
    00538fd0adcs x20, x17, x16
    00538fd4adc x20, xzr, xzr
    00538fd8str x20, [sp+4048]
    00538fdcstr x19, [sp+4232]
    00538fe0str x20, [sp+4224]
    00538fe4str x19, [sp+712]
    00538fe8str x20, [sp+704]
    00538fecstr xzr, [sp+696]
    00538ff0str xzr, [sp+680]
    00538ff4ldr x19, [sp+800]
    00538ff8ldr x20, [sp+1016]
    00538ffcadcs x21, x20, x19
    00539000adds x21, x6, x4
    00539004adcs x21, x11, x10
    00539008adcs x21, x13, x12
    0053900cadcs x21, x15, x14
    00539010adcs x21, x17, x16
    00539014adcs x21, x20, x19
    00539018str x21, [sp+4048]
    0053901cadds x22, x6, x4
    00539020adcs x22, x11, x10
    00539024adcs x22, x13, x12
    00539028adcs x22, x15, x14
    0053902cadcs x22, x17, x16
    00539030adcs x22, x20, x19
    00539034adc x22, xzr, xzr
    00539038str x22, [sp+4056]
    0053903cstr x21, [sp+4216]
    00539040str x22, [sp+4208]
    00539044str x21, [sp+696]
    00539048str x22, [sp+680]
    0053904cstr xzr, [sp+672]
    00539050str xzr, [sp+664]
    00539054ldr x21, [sp+784]
    00539058ldr x22, [sp+1000]
    0053905cadcs x23, x22, x21
    00539060adds x23, x6, x4
    00539064adcs x23, x11, x10
    00539068adcs x23, x13, x12
    0053906cadcs x23, x15, x14
    00539070adcs x23, x17, x16
    00539074adcs x23, x20, x19
    00539078adcs x23, x22, x21
    0053907cstr x23, [sp+4056]
    00539080adds x4, x6, x4
    00539084adcs x4, x11, x10
    00539088adcs x4, x13, x12
    0053908cadcs x4, x15, x14
    00539090adcs x4, x17, x16
    00539094adcs x4, x20, x19
    00539098adcs x4, x22, x21
    0053909cadc x4, xzr, xzr
    005390a0str x4, [sp+4048]
    005390a4str x23, [sp+4192]
    005390a8str x4, [sp+4184]
    005390acstr x23, [sp+672]
    005390b0str x4, [sp+664]
    005390b4ldr x6, [sp+992]
    005390b8add x4, x4, x6
    005390bcstr x4, [sp+656]
    005390c0str xzr, [sp+648]
    005390c4str xzr, [sp+640]
    005390c8ldr x4, [sp+760]
    005390ccsubs x6, x4, x9
    005390d0sbc x6, xzr, xzr
    005390d4sub x6, xzr, x6
    005390d8subs x10, x4, x9
    005390dcstr x10, [sp+4048]
    005390e0str x6, [sp+4056]
    005390e4str x10, [sp+4176]
    005390e8str x6, [sp+4168]
    005390ecstr x10, [sp+648]
    005390f0str x6, [sp+640]
    005390f4str xzr, [sp+632]
    005390f8str xzr, [sp+624]
    005390fcldr x6, [sp+744]
    00539100subs x10, x4, x9
    00539104sbcs x10, x6, x8
    00539108subs x10, x4, x9
    0053910csbcs x10, x6, x8
    00539110str x10, [sp+4056]
    00539114subs x11, x4, x9
    00539118sbcs x11, x6, x8
    0053911csbc x11, xzr, xzr
    00539120sub x11, xzr, x11
    00539124str x11, [sp+4048]
    00539128str x10, [sp+4152]
    0053912cstr x11, [sp+4144]
    00539130str x10, [sp+632]
    00539134str x11, [sp+624]
    00539138str xzr, [sp+616]
    0053913cstr xzr, [sp+608]
    00539140ldr x10, [sp+728]
    00539144sbcs x11, x10, x5
    00539148subs x11, x4, x9
    0053914csbcs x11, x6, x8
    00539150sbcs x11, x10, x5
    00539154str x11, [sp+4048]
    00539158subs x12, x4, x9
    0053915csbcs x12, x6, x8
    00539160sbcs x12, x10, x5
    00539164sbc x12, xzr, xzr
    00539168sub x12, xzr, x12
    0053916cstr x12, [sp+4056]
    00539170str x11, [sp+4136]
    00539174str x12, [sp+4128]
    00539178str x11, [sp+616]
    0053917cstr x12, [sp+608]
    00539180str xzr, [sp+592]
    00539184str xzr, [sp+584]
    00539188ldr x11, [sp+712]
    0053918csbcs x12, x11, x7
    00539190subs x12, x4, x9
    00539194sbcs x12, x6, x8
    00539198sbcs x12, x10, x5
    0053919csbcs x12, x11, x7
    005391a0str x12, [sp+4056]
    005391a4subs x13, x4, x9
    005391a8sbcs x13, x6, x8
    005391acsbcs x13, x10, x5
    005391b0sbcs x13, x11, x7
    005391b4sbc x13, xzr, xzr
    005391b8sub x13, xzr, x13
    005391bcstr x13, [sp+4048]
    005391c0str x12, [sp+4120]
    005391c4str x13, [sp+4112]
    005391c8str x12, [sp+592]
    005391ccstr x13, [sp+584]
    005391d0str xzr, [sp+576]
    005391d4str xzr, [sp+568]
    005391d8ldr x12, [sp+696]
    005391dcsbcs x13, x12, x7
    005391e0subs x13, x4, x9
    005391e4sbcs x13, x6, x8
    005391e8sbcs x13, x10, x5
    005391ecsbcs x13, x11, x7
    005391f0sbcs x13, x12, x7
    005391f4str x13, [sp+4048]
    005391f8subs x14, x4, x9
    005391fcsbcs x14, x6, x8
    00539200sbcs x14, x10, x5
    00539204sbcs x14, x11, x7
    00539208sbcs x14, x12, x7
    0053920csbc x14, xzr, xzr
    00539210sub x14, xzr, x14
    00539214str x14, [sp+4056]
    00539218str x13, [sp+4104]
    0053921cstr x14, [sp+4096]
    00539220str x13, [sp+576]
    00539224str x14, [sp+568]
    00539228str xzr, [sp+560]
    0053922cstr xzr, [sp+552]
    00539230ldr x13, [sp+672]
    00539234sbcs x14, x13, x7
    00539238subs x14, x4, x9
    0053923csbcs x14, x6, x8
    00539240sbcs x14, x10, x5
    00539244sbcs x14, x11, x7
    00539248sbcs x14, x12, x7
    0053924csbcs x14, x13, x7
    00539250str x14, [sp+4056]
    00539254subs x15, x4, x9
    00539258sbcs x15, x6, x8
    0053925csbcs x15, x10, x5
    00539260sbcs x15, x11, x7
    00539264sbcs x15, x12, x7
    00539268sbcs x15, x13, x7
    0053926csbc x15, xzr, xzr
    00539270sub x15, xzr, x15
    00539274str x15, [sp+4048]
    00539278str x14, [sp+4088]
    0053927cstr x15, [sp+4080]
    00539280str x14, [sp+560]
    00539284str x15, [sp+552]
    00539288str xzr, [sp+544]
    0053928cldr x14, [sp+656]
    00539290mov x15, xzr
    00539294sbcs x16, x14, x15
    00539298subs x16, x4, x9
    0053929csbcs x16, x6, x8
    005392a0sbcs x16, x10, x5
    005392a4sbcs x16, x11, x7
    005392a8sbcs x16, x12, x7
    005392acsbcs x16, x13, x7
    005392b0sbcs x16, x14, x15
    005392b4str x16, [sp+4048]
    005392b8subs x4, x4, x9
    005392bcsbcs x4, x6, x8
    005392c0sbcs x4, x10, x5
    005392c4sbcs x4, x11, x7
    005392c8sbcs x4, x12, x7
    005392ccsbcs x4, x13, x7
    005392d0sbcs x4, x14, x15
    005392d4sbc x4, xzr, xzr
    005392d8sub x1, xzr, x4
    005392dcstr x1, [sp+4056]
    005392e0str x16, [sp+4072]
    005392e4str x1, [sp+4064]
    005392e8str x1, [sp+544]
    005392ecstr xzr, [sp+536]
    005392f0ldr x2, [sp+648]
    005392f4ldr x3, [sp+760]
    005392f8add x0, sp, 536
    005392fcbl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00539300str xzr, [sp+528]
    00539304ldr x2, [sp+632]
    00539308ldr x3, [sp+744]
    0053930cldr x1, [sp+544]
    00539310add x0, sp, 528
    00539314bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00539318str xzr, [sp+512]
    0053931cldr x2, [sp+616]
    00539320ldr x3, [sp+728]
    00539324ldr x1, [sp+544]
    00539328add x0, sp, 512
    0053932cbl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00539330str xzr, [sp+504]
    00539334ldr x2, [sp+592]
    00539338ldr x3, [sp+712]
    0053933cldr x1, [sp+544]
    00539340add x0, sp, 504
    00539344bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00539348str xzr, [sp+496]
    0053934cldr x2, [sp+576]
    00539350ldr x3, [sp+696]
    00539354ldr x1, [sp+544]
    00539358add x0, sp, 496
    0053935cbl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00539360str xzr, [sp+488]
    00539364ldr x2, [sp+560]
    00539368ldr x3, [sp+672]
    0053936cldr x1, [sp+544]
    00539370add x0, sp, 488
    00539374bl crypto/internal/fips140/nistec/fiat.p384CmovznzU64
    00539378ldr x4, [sp+7592]
    0053937cldrsb x27, [x4]
    00539380ldr x5, [sp+536]
    00539384str x5, [x4]
    00539388ldr x4, [sp+7592]
    0053938cldrsb x27, [x4]
    00539390ldr x5, [sp+528]
    00539394str x5, [x4+8]
    00539398ldr x4, [sp+7592]
    0053939cldrsb x27, [x4]
    005393a0ldr x5, [sp+512]
    005393a4str x5, [x4+16]
    005393a8ldr x4, [sp+7592]
    005393acldrsb x27, [x4]
    005393b0ldr x5, [sp+504]
    005393b4str x5, [x4+24]
    005393b8ldr x4, [sp+7592]
    005393bcldrsb x27, [x4]
    005393c0ldr x5, [sp+496]
    005393c4str x5, [x4+32]
    005393c8ldr x4, [sp+7592]
    005393ccldrsb x27, [x4]
    005393d0ldr x5, [sp+488]
    005393d4str x5, [x4+40]
    005393d8ldp x29, x30, [sp-8]
    005393dcmovz x27, 7584
    005393e0add sp, sp, x27
    005393e4ret x30
    005393e8
    005393e8loc_5393e8:
    005393e8stp x0, x1, [sp+8]
    005393ecstr x2, [sp+24]
    005393f0mov x3, x30
    005393f4bl runtime.morestack_noctxt.abi0
    005393f8ldp x0, x1, [sp+8]
    005393fcldr x2, [sp+24]
    00539400b 0x535750
    00539404udf 0
    00539408udf 0
    0053940cudf 0
    00535750