FilesBlogsAbout
Register
File sliver_83cb34f62800fed14e14547c39337aab8e0427fe2c6310a3fb40ce0ac36168c9.elf
Function:
    0052fe10
    0052fe10crypto/internal/fips140/nistec/fiat.p224Square: ; void crypto/internal/fips140/nistec/fiat.p224Square(crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * arg1)
    0052fe10ldr x16, [x28+16]
    0052fe14sub x17, sp, 3088
    0052fe18subs xzr, x17, x16
    0052fe1cb.ls 0x5315ec
    0052fe20sub x20, sp, 3216
    0052fe24stp x29, x30, [x20-8]
    0052fe28add sp, x20, 0
    0052fe2csub x29, sp, 8
    0052fe30str x0, [sp+3224]
    0052fe34str x1, [sp+3232]
    0052fe38ldrsb x27, [x1]
    0052fe3cldr x4, [x1+8]
    0052fe40str x4, [sp+1584]
    0052fe44ldrsb x27, [x1]
    0052fe48ldr x4, [x1+16]
    0052fe4cstr x4, [sp+736]
    0052fe50ldrsb x27, [x1]
    0052fe54ldr x4, [x1+24]
    0052fe58str x4, [sp+624]
    0052fe5cldrsb x27, [x1]
    0052fe60ldr x4, [x1]
    0052fe64str x4, [sp+544]
    0052fe68str xzr, [sp+456]
    0052fe6cstr xzr, [sp+368]
    0052fe70ldr x5, [sp+3232]
    0052fe74ldrsb x27, [x5]
    0052fe78ldr x5, [x5+24]
    0052fe7cstr x5, [sp+1968]
    0052fe80umulh x6, x4, x5
    0052fe84str x6, [sp+1984]
    0052fe88madd x4, x4, x5, xzr
    0052fe8cstr x4, [sp+1976]
    0052fe90str x6, [sp+1680]
    0052fe94str x4, [sp+1624]
    0052fe98str x6, [sp+368]
    0052fe9cstr x4, [sp+456]
    0052fea0str xzr, [sp+288]
    0052fea4str xzr, [sp+200]
    0052fea8ldr x4, [sp+3232]
    0052feacldrsb x27, [x4]
    0052feb0ldr x4, [x4+16]
    0052feb4str x4, [sp+1960]
    0052feb8ldr x5, [sp+544]
    0052febcumulh x6, x5, x4
    0052fec0str x6, [sp+1976]
    0052fec4madd x4, x5, x4, xzr
    0052fec8str x4, [sp+1984]
    0052feccstr x6, [sp+3120]
    0052fed0str x4, [sp+3064]
    0052fed4str x6, [sp+200]
    0052fed8str x4, [sp+288]
    0052fedcstr xzr, [sp+120]
    0052fee0str xzr, [sp+1576]
    0052fee4ldr x4, [sp+3232]
    0052fee8ldrsb x27, [x4]
    0052feecldr x4, [x4+8]
    0052fef0str x4, [sp+1952]
    0052fef4ldr x5, [sp+544]
    0052fef8umulh x6, x5, x4
    0052fefcstr x6, [sp+1984]
    0052ff00madd x4, x5, x4, xzr
    0052ff04str x4, [sp+1976]
    0052ff08str x6, [sp+2944]
    0052ff0cstr x4, [sp+2888]
    0052ff10str x6, [sp+1576]
    0052ff14str x4, [sp+120]
    0052ff18str xzr, [sp+1488]
    0052ff1cstr xzr, [sp+1408]
    0052ff20ldr x4, [sp+3232]
    0052ff24ldrsb x27, [x4]
    0052ff28ldr x4, [x4]
    0052ff2cstr x4, [sp+1944]
    0052ff30ldr x5, [sp+544]
    0052ff34umulh x6, x5, x4
    0052ff38str x6, [sp+1976]
    0052ff3cmadd x4, x5, x4, xzr
    0052ff40str x4, [sp+1984]
    0052ff44str x6, [sp+2768]
    0052ff48str x4, [sp+2728]
    0052ff4cstr x6, [sp+1408]
    0052ff50str x4, [sp+1488]
    0052ff54str xzr, [sp+1320]
    0052ff58str xzr, [sp+1240]
    0052ff5cldr x4, [sp+120]
    0052ff60adds x5, x6, x4
    0052ff64adc x5, xzr, xzr
    0052ff68adds x7, x6, x4
    0052ff6cstr x7, [sp+1984]
    0052ff70str x5, [sp+1976]
    0052ff74str x7, [sp+2592]
    0052ff78str x5, [sp+2544]
    0052ff7cstr x7, [sp+1320]
    0052ff80str x5, [sp+1240]
    0052ff84str xzr, [sp+1152]
    0052ff88str xzr, [sp+1064]
    0052ff8cldr x5, [sp+288]
    0052ff90ldr x7, [sp+1576]
    0052ff94adds x8, x6, x4
    0052ff98adcs x8, x7, x5
    0052ff9cadds x8, x6, x4
    0052ffa0adcs x8, x7, x5
    0052ffa4str x8, [sp+1976]
    0052ffa8adds x9, x6, x4
    0052ffacadcs x9, x7, x5
    0052ffb0adc x9, xzr, xzr
    0052ffb4str x9, [sp+1984]
    0052ffb8str x8, [sp+2416]
    0052ffbcstr x9, [sp+2376]
    0052ffc0str x8, [sp+1152]
    0052ffc4str x9, [sp+1064]
    0052ffc8str xzr, [sp+984]
    0052ffccstr xzr, [sp+904]
    0052ffd0ldr x8, [sp+456]
    0052ffd4ldr x9, [sp+200]
    0052ffd8adcs x10, x9, x8
    0052ffdcadds x10, x6, x4
    0052ffe0adcs x10, x7, x5
    0052ffe4adcs x10, x9, x8
    0052ffe8str x10, [sp+1984]
    0052ffecadds x4, x6, x4
    0052fff0adcs x4, x7, x5
    0052fff4adcs x4, x9, x8
    0052fff8adc x4, xzr, xzr
    0052fffcstr x4, [sp+1976]
    00530000str x10, [sp+2240]
    00530004str x4, [sp+2200]
    00530008str x10, [sp+984]
    0053000cstr x4, [sp+904]
    00530010ldr x5, [sp+368]
    00530014add x4, x4, x5
    00530018str x4, [sp+816]
    0053001cstr xzr, [sp+728]
    00530020ldr x4, [sp+1488]
    00530024movn x5, 0
    00530028umulh x6, x4, x5
    0053002cstr x6, [sp+1976]
    00530030sub x7, xzr, x4
    00530034str x7, [sp+1984]
    00530038str x6, [sp+2072]
    0053003cstr x7, [sp+2024]
    00530040str x7, [sp+728]
    00530044str xzr, [sp+688]
    00530048str xzr, [sp+680]
    0053004csub x6, xzr, x4
    00530050add x4, x6, x4, lsl #32
    00530054sub x4, xzr, x4
    00530058orr x6, xzr, 0xffffffff
    0053005cumulh x7, x7, x6
    00530060str x7, [sp+1984]
    00530064str x4, [sp+1976]
    00530068str x7, [sp+1840]
    0053006cstr x4, [sp+1832]
    00530070str x7, [sp+680]
    00530074str x4, [sp+688]
    00530078str xzr, [sp+672]
    0053007cstr xzr, [sp+664]
    00530080ldr x4, [sp+728]
    00530084umulh x7, x4, x5
    00530088str x7, [sp+1976]
    0053008csub x4, xzr, x4
    00530090str x4, [sp+1984]
    00530094str x7, [sp+1824]
    00530098str x4, [sp+1816]
    0053009cstr x7, [sp+664]
    005300a0str x4, [sp+672]
    005300a4str xzr, [sp+656]
    005300a8str xzr, [sp+648]
    005300acldr x4, [sp+728]
    005300b0orr x7, xzr, 0xffffffff00000000
    005300b4umulh x8, x4, x7
    005300b8str x8, [sp+1984]
    005300bcmadd x4, x4, x7, xzr
    005300c0str x4, [sp+1976]
    005300c4str x8, [sp+1808]
    005300c8str x4, [sp+1800]
    005300ccstr x8, [sp+648]
    005300d0str x4, [sp+656]
    005300d4str xzr, [sp+640]
    005300d8str xzr, [sp+632]
    005300dcldr x4, [sp+672]
    005300e0adds x9, x8, x4
    005300e4adc x9, xzr, xzr
    005300e8adds x10, x8, x4
    005300ecstr x10, [sp+1976]
    005300f0str x9, [sp+1984]
    005300f4str x10, [sp+1792]
    005300f8str x9, [sp+1784]
    005300fcstr x10, [sp+640]
    00530100str x9, [sp+632]
    00530104str xzr, [sp+616]
    00530108str xzr, [sp+608]
    0053010cldr x9, [sp+688]
    00530110ldr x10, [sp+664]
    00530114adds x11, x8, x4
    00530118adcs x11, x10, x9
    0053011cadds x11, x8, x4
    00530120adcs x11, x10, x9
    00530124str x11, [sp+1984]
    00530128adds x4, x8, x4
    0053012cadcs x4, x10, x9
    00530130adc x4, xzr, xzr
    00530134str x4, [sp+1976]
    00530138str x11, [sp+1776]
    0053013cstr x4, [sp+1768]
    00530140str x11, [sp+616]
    00530144str x4, [sp+608]
    00530148ldr x8, [sp+680]
    0053014cadd x4, x4, x8
    00530150str x4, [sp+600]
    00530154str xzr, [sp+592]
    00530158ldr x4, [sp+728]
    0053015cldr x8, [sp+1488]
    00530160adds x9, x8, x4
    00530164adc x9, xzr, xzr
    00530168adds x10, x8, x4
    0053016cstr x10, [sp+1976]
    00530170str x9, [sp+1984]
    00530174str x10, [sp+1760]
    00530178str x9, [sp+1752]
    0053017cstr x9, [sp+592]
    00530180str xzr, [sp+584]
    00530184str xzr, [sp+576]
    00530188ldr x9, [sp+656]
    0053018cldr x10, [sp+1320]
    00530190adds x11, x8, x4
    00530194adcs x11, x10, x9
    00530198adds x11, x8, x4
    0053019cadcs x11, x10, x9
    005301a0str x11, [sp+1984]
    005301a4adds x12, x8, x4
    005301a8adcs x12, x10, x9
    005301acadc x12, xzr, xzr
    005301b0str x12, [sp+1976]
    005301b4str x11, [sp+1744]
    005301b8str x12, [sp+1736]
    005301bcstr x11, [sp+584]
    005301c0str x12, [sp+576]
    005301c4str xzr, [sp+568]
    005301c8str xzr, [sp+560]
    005301ccldr x11, [sp+640]
    005301d0ldr x12, [sp+1152]
    005301d4adcs x13, x12, x11
    005301d8adds x13, x8, x4
    005301dcadcs x13, x10, x9
    005301e0adcs x13, x12, x11
    005301e4str x13, [sp+1976]
    005301e8adds x14, x8, x4
    005301ecadcs x14, x10, x9
    005301f0adcs x14, x12, x11
    005301f4adc x14, xzr, xzr
    005301f8str x14, [sp+1984]
    005301fcstr x13, [sp+1728]
    00530200str x14, [sp+1720]
    00530204str x13, [sp+568]
    00530208str x14, [sp+560]
    0053020cstr xzr, [sp+552]
    00530210str xzr, [sp+536]
    00530214ldr x13, [sp+616]
    00530218ldr x14, [sp+984]
    0053021cadcs x15, x14, x13
    00530220adds x15, x8, x4
    00530224adcs x15, x10, x9
    00530228adcs x15, x12, x11
    0053022cadcs x15, x14, x13
    00530230str x15, [sp+1984]
    00530234adds x16, x8, x4
    00530238adcs x16, x10, x9
    0053023cadcs x16, x12, x11
    00530240adcs x16, x14, x13
    00530244adc x16, xzr, xzr
    00530248str x16, [sp+1976]
    0053024cstr x15, [sp+1712]
    00530250str x16, [sp+1704]
    00530254str x15, [sp+552]
    00530258str x16, [sp+536]
    0053025cstr xzr, [sp+528]
    00530260str xzr, [sp+520]
    00530264ldr x15, [sp+600]
    00530268ldr x16, [sp+816]
    0053026cadcs x17, x16, x15
    00530270adds x17, x8, x4
    00530274adcs x17, x10, x9
    00530278adcs x17, x12, x11
    0053027cadcs x17, x14, x13
    00530280adcs x17, x16, x15
    00530284str x17, [sp+1976]
    00530288adds x4, x8, x4
    0053028cadcs x4, x10, x9
    00530290adcs x4, x12, x11
    00530294adcs x4, x14, x13
    00530298adcs x4, x16, x15
    0053029cadc x4, xzr, xzr
    005302a0str x4, [sp+1984]
    005302a4str x17, [sp+1696]
    005302a8str x4, [sp+1688]
    005302acstr x17, [sp+528]
    005302b0str x4, [sp+520]
    005302b4str xzr, [sp+512]
    005302b8str xzr, [sp+504]
    005302bcldr x4, [sp+3232]
    005302c0ldrsb x27, [x4]
    005302c4ldr x4, [x4+24]
    005302c8str x4, [sp+1936]
    005302ccldr x8, [sp+1584]
    005302d0umulh x9, x8, x4
    005302d4str x9, [sp+1984]
    005302d8madd x4, x8, x4, xzr
    005302dcstr x4, [sp+1976]
    005302e0str x9, [sp+1672]
    005302e4str x4, [sp+1664]
    005302e8str x9, [sp+504]
    005302ecstr x4, [sp+512]
    005302f0str xzr, [sp+496]
    005302f4str xzr, [sp+488]
    005302f8ldr x4, [sp+3232]
    005302fcldrsb x27, [x4]
    00530300ldr x4, [x4+16]
    00530304str x4, [sp+1928]
    00530308ldr x8, [sp+1584]
    0053030cumulh x9, x8, x4
    00530310str x9, [sp+1976]
    00530314madd x4, x8, x4, xzr
    00530318str x4, [sp+1984]
    0053031cstr x9, [sp+1656]
    00530320str x4, [sp+1648]
    00530324str x9, [sp+488]
    00530328str x4, [sp+496]
    0053032cstr xzr, [sp+480]
    00530330str xzr, [sp+472]
    00530334ldr x4, [sp+3232]
    00530338ldrsb x27, [x4]
    0053033cldr x4, [x4+8]
    00530340str x4, [sp+1920]
    00530344ldr x8, [sp+1584]
    00530348umulh x9, x8, x4
    0053034cstr x9, [sp+1984]
    00530350madd x4, x8, x4, xzr
    00530354str x4, [sp+1976]
    00530358str x9, [sp+1640]
    0053035cstr x4, [sp+1632]
    00530360str x9, [sp+472]
    00530364str x4, [sp+480]
    00530368str xzr, [sp+464]
    0053036cstr xzr, [sp+448]
    00530370ldr x4, [sp+3232]
    00530374ldrsb x27, [x4]
    00530378ldr x4, [x4]
    0053037cstr x4, [sp+1912]
    00530380ldr x8, [sp+1584]
    00530384umulh x9, x8, x4
    00530388str x9, [sp+1976]
    0053038cmadd x4, x8, x4, xzr
    00530390str x4, [sp+1984]
    00530394str x9, [sp+1616]
    00530398str x4, [sp+1608]
    0053039cstr x9, [sp+448]
    005303a0str x4, [sp+464]
    005303a4str xzr, [sp+440]
    005303a8str xzr, [sp+432]
    005303acldr x4, [sp+480]
    005303b0adds x8, x9, x4
    005303b4adc x8, xzr, xzr
    005303b8adds x10, x9, x4
    005303bcstr x10, [sp+1984]
    005303c0str x8, [sp+1976]
    005303c4str x10, [sp+1600]
    005303c8str x8, [sp+1592]
    005303ccstr x10, [sp+440]
    005303d0str x8, [sp+432]
    005303d4str xzr, [sp+424]
    005303d8str xzr, [sp+416]
    005303dcldr x8, [sp+496]
    005303e0ldr x10, [sp+472]
    005303e4adds x11, x9, x4
    005303e8adcs x11, x10, x8
    005303ecadds x11, x9, x4
    005303f0adcs x11, x10, x8
    005303f4str x11, [sp+1976]
    005303f8adds x12, x9, x4
    005303fcadcs x12, x10, x8
    00530400adc x12, xzr, xzr
    00530404str x12, [sp+1984]
    00530408str x11, [sp+3200]
    0053040cstr x12, [sp+3192]
    00530410str x11, [sp+424]
    00530414str x12, [sp+416]
    00530418str xzr, [sp+408]
    0053041cstr xzr, [sp+400]
    00530420ldr x11, [sp+512]
    00530424ldr x12, [sp+488]
    00530428adcs x13, x12, x11
    0053042cadds x13, x9, x4
    00530430adcs x13, x10, x8
    00530434adcs x13, x12, x11
    00530438str x13, [sp+1984]
    0053043cadds x4, x9, x4
    00530440adcs x4, x10, x8
    00530444adcs x4, x12, x11
    00530448adc x4, xzr, xzr
    0053044cstr x4, [sp+1976]
    00530450str x13, [sp+3184]
    00530454str x4, [sp+3176]
    00530458str x13, [sp+408]
    0053045cstr x4, [sp+400]
    00530460ldr x8, [sp+504]
    00530464add x4, x4, x8
    00530468str x4, [sp+392]
    0053046cstr xzr, [sp+384]
    00530470str xzr, [sp+376]
    00530474ldr x4, [sp+464]
    00530478ldr x8, [sp+584]
    0053047cadds x9, x8, x4
    00530480adc x9, xzr, xzr
    00530484adds x10, x8, x4
    00530488str x10, [sp+1976]
    0053048cstr x9, [sp+1984]
    00530490str x10, [sp+3168]
    00530494str x9, [sp+3160]
    00530498str x10, [sp+384]
    0053049cstr x9, [sp+376]
    005304a0str xzr, [sp+360]
    005304a4str xzr, [sp+352]
    005304a8ldr x9, [sp+440]
    005304acldr x10, [sp+568]
    005304b0adds x11, x8, x4
    005304b4adcs x11, x10, x9
    005304b8adds x11, x8, x4
    005304bcadcs x11, x10, x9
    005304c0str x11, [sp+1984]
    005304c4adds x12, x8, x4
    005304c8adcs x12, x10, x9
    005304ccadc x12, xzr, xzr
    005304d0str x12, [sp+1976]
    005304d4str x11, [sp+3152]
    005304d8str x12, [sp+3144]
    005304dcstr x11, [sp+360]
    005304e0str x12, [sp+352]
    005304e4str xzr, [sp+344]
    005304e8str xzr, [sp+336]
    005304ecldr x11, [sp+424]
    005304f0ldr x12, [sp+552]
    005304f4adcs x13, x12, x11
    005304f8adds x13, x8, x4
    005304fcadcs x13, x10, x9
    00530500adcs x13, x12, x11
    00530504str x13, [sp+1976]
    00530508adds x14, x8, x4
    0053050cadcs x14, x10, x9
    00530510adcs x14, x12, x11
    00530514adc x14, xzr, xzr
    00530518str x14, [sp+1984]
    0053051cstr x13, [sp+3136]
    00530520str x14, [sp+3128]
    00530524str x13, [sp+344]
    00530528str x14, [sp+336]
    0053052cstr xzr, [sp+328]
    00530530str xzr, [sp+320]
    00530534ldr x13, [sp+408]
    00530538ldr x14, [sp+528]
    0053053cadcs x15, x14, x13
    00530540adds x15, x8, x4
    00530544adcs x15, x10, x9
    00530548adcs x15, x12, x11
    0053054cadcs x15, x14, x13
    00530550str x15, [sp+1984]
    00530554adds x16, x8, x4
    00530558adcs x16, x10, x9
    0053055cadcs x16, x12, x11
    00530560adcs x16, x14, x13
    00530564adc x16, xzr, xzr
    00530568str x16, [sp+1976]
    0053056cstr x15, [sp+3112]
    00530570str x16, [sp+3104]
    00530574str x15, [sp+328]
    00530578str x16, [sp+320]
    0053057cstr xzr, [sp+312]
    00530580str xzr, [sp+304]
    00530584ldr x15, [sp+392]
    00530588ldr x16, [sp+520]
    0053058cadcs x17, x16, x15
    00530590adds x17, x8, x4
    00530594adcs x17, x10, x9
    00530598adcs x17, x12, x11
    0053059cadcs x17, x14, x13
    005305a0adcs x17, x16, x15
    005305a4str x17, [sp+1976]
    005305a8adds x4, x8, x4
    005305acadcs x4, x10, x9
    005305b0adcs x4, x12, x11
    005305b4adcs x4, x14, x13
    005305b8adcs x4, x16, x15
    005305bcadc x4, xzr, xzr
    005305c0str x4, [sp+1984]
    005305c4str x17, [sp+3096]
    005305c8str x4, [sp+3088]
    005305ccstr x17, [sp+312]
    005305d0str x4, [sp+304]
    005305d4str xzr, [sp+296]
    005305d8ldr x4, [sp+384]
    005305dcumulh x8, x4, x5
    005305e0str x8, [sp+1984]
    005305e4sub x9, xzr, x4
    005305e8str x9, [sp+1976]
    005305ecstr x8, [sp+3080]
    005305f0str x9, [sp+3072]
    005305f4str x9, [sp+296]
    005305f8str xzr, [sp+280]
    005305fcstr xzr, [sp+272]
    00530600sub x8, xzr, x4
    00530604add x4, x8, x4, lsl #32
    00530608sub x4, xzr, x4
    0053060cumulh x8, x9, x6
    00530610str x8, [sp+1976]
    00530614str x4, [sp+1984]
    00530618str x8, [sp+3056]
    0053061cstr x4, [sp+3048]
    00530620str x8, [sp+272]
    00530624str x4, [sp+280]
    00530628str xzr, [sp+264]
    0053062cstr xzr, [sp+256]
    00530630ldr x4, [sp+296]
    00530634umulh x8, x4, x5
    00530638str x8, [sp+1984]
    0053063csub x4, xzr, x4
    00530640str x4, [sp+1976]
    00530644str x8, [sp+3040]
    00530648str x4, [sp+3032]
    0053064cstr x8, [sp+256]
    00530650str x4, [sp+264]
    00530654str xzr, [sp+248]
    00530658str xzr, [sp+240]
    0053065cldr x4, [sp+296]
    00530660umulh x8, x4, x7
    00530664str x8, [sp+1976]
    00530668madd x4, x4, x7, xzr
    0053066cstr x4, [sp+1984]
    00530670str x8, [sp+3024]
    00530674str x4, [sp+3016]
    00530678str x8, [sp+240]
    0053067cstr x4, [sp+248]
    00530680str xzr, [sp+232]
    00530684str xzr, [sp+224]
    00530688ldr x4, [sp+264]
    0053068cadds x9, x8, x4
    00530690adc x9, xzr, xzr
    00530694adds x10, x8, x4
    00530698str x10, [sp+1984]
    0053069cstr x9, [sp+1976]
    005306a0str x10, [sp+3008]
    005306a4str x9, [sp+3000]
    005306a8str x10, [sp+232]
    005306acstr x9, [sp+224]
    005306b0str xzr, [sp+216]
    005306b4str xzr, [sp+208]
    005306b8ldr x9, [sp+280]
    005306bcldr x10, [sp+256]
    005306c0adds x11, x8, x4
    005306c4adcs x11, x10, x9
    005306c8adds x11, x8, x4
    005306ccadcs x11, x10, x9
    005306d0str x11, [sp+1976]
    005306d4adds x4, x8, x4
    005306d8adcs x4, x10, x9
    005306dcadc x4, xzr, xzr
    005306e0str x4, [sp+1984]
    005306e4str x11, [sp+2992]
    005306e8str x4, [sp+2984]
    005306ecstr x11, [sp+216]
    005306f0str x4, [sp+208]
    005306f4ldr x8, [sp+272]
    005306f8add x4, x4, x8
    005306fcstr x4, [sp+192]
    00530700str xzr, [sp+184]
    00530704ldr x4, [sp+296]
    00530708ldr x8, [sp+384]
    0053070cadds x9, x8, x4
    00530710adc x9, xzr, xzr
    00530714adds x10, x8, x4
    00530718str x10, [sp+1984]
    0053071cstr x9, [sp+1976]
    00530720str x10, [sp+2976]
    00530724str x9, [sp+2968]
    00530728str x9, [sp+184]
    0053072cstr xzr, [sp+176]
    00530730str xzr, [sp+168]
    00530734ldr x9, [sp+248]
    00530738ldr x10, [sp+360]
    0053073cadds x11, x8, x4
    00530740adcs x11, x10, x9
    00530744adds x11, x8, x4
    00530748adcs x11, x10, x9
    0053074cstr x11, [sp+1976]
    00530750adds x12, x8, x4
    00530754adcs x12, x10, x9
    00530758adc x12, xzr, xzr
    0053075cstr x12, [sp+1984]
    00530760str x11, [sp+2960]
    00530764str x12, [sp+2952]
    00530768str x11, [sp+176]
    0053076cstr x12, [sp+168]
    00530770str xzr, [sp+160]
    00530774str xzr, [sp+152]
    00530778ldr x11, [sp+232]
    0053077cldr x12, [sp+344]
    00530780adcs x13, x12, x11
    00530784adds x13, x8, x4
    00530788adcs x13, x10, x9
    0053078cadcs x13, x12, x11
    00530790str x13, [sp+1984]
    00530794adds x14, x8, x4
    00530798adcs x14, x10, x9
    0053079cadcs x14, x12, x11
    005307a0adc x14, xzr, xzr
    005307a4str x14, [sp+1976]
    005307a8str x13, [sp+2936]
    005307acstr x14, [sp+2928]
    005307b0str x13, [sp+160]
    005307b4str x14, [sp+152]
    005307b8str xzr, [sp+144]
    005307bcstr xzr, [sp+136]
    005307c0ldr x13, [sp+216]
    005307c4ldr x14, [sp+328]
    005307c8adcs x15, x14, x13
    005307ccadds x15, x8, x4
    005307d0adcs x15, x10, x9
    005307d4adcs x15, x12, x11
    005307d8adcs x15, x14, x13
    005307dcstr x15, [sp+1976]
    005307e0adds x16, x8, x4
    005307e4adcs x16, x10, x9
    005307e8adcs x16, x12, x11
    005307ecadcs x16, x14, x13
    005307f0adc x16, xzr, xzr
    005307f4str x16, [sp+1984]
    005307f8str x15, [sp+2920]
    005307fcstr x16, [sp+2912]
    00530800str x15, [sp+144]
    00530804str x16, [sp+136]
    00530808str xzr, [sp+128]
    0053080cstr xzr, [sp+112]
    00530810ldr x15, [sp+192]
    00530814ldr x16, [sp+312]
    00530818adcs x17, x16, x15
    0053081cadds x17, x8, x4
    00530820adcs x17, x10, x9
    00530824adcs x17, x12, x11
    00530828adcs x17, x14, x13
    0053082cadcs x17, x16, x15
    00530830str x17, [sp+1984]
    00530834adds x4, x8, x4
    00530838adcs x4, x10, x9
    0053083cadcs x4, x12, x11
    00530840adcs x4, x14, x13
    00530844adcs x4, x16, x15
    00530848adc x4, xzr, xzr
    0053084cstr x4, [sp+1976]
    00530850str x17, [sp+2904]
    00530854str x4, [sp+2896]
    00530858str x17, [sp+128]
    0053085cstr x4, [sp+112]
    00530860ldr x8, [sp+304]
    00530864add x4, x4, x8
    00530868str x4, [sp+104]
    0053086cstr xzr, [sp+96]
    00530870str xzr, [sp+88]
    00530874ldr x4, [sp+3232]
    00530878ldrsb x27, [x4]
    0053087cldr x4, [x4+24]
    00530880str x4, [sp+1904]
    00530884ldr x8, [sp+736]
    00530888umulh x9, x8, x4
    0053088cstr x9, [sp+1976]
    00530890madd x4, x8, x4, xzr
    00530894str x4, [sp+1984]
    00530898str x9, [sp+2880]
    0053089cstr x4, [sp+2872]
    005308a0str x9, [sp+88]
    005308a4str x4, [sp+96]
    005308a8str xzr, [sp+80]
    005308acstr xzr, [sp+72]
    005308b0ldr x4, [sp+3232]
    005308b4ldrsb x27, [x4]
    005308b8ldr x4, [x4+16]
    005308bcstr x4, [sp+1896]
    005308c0ldr x8, [sp+736]
    005308c4umulh x9, x8, x4
    005308c8str x9, [sp+1984]
    005308ccmadd x4, x8, x4, xzr
    005308d0str x4, [sp+1976]
    005308d4str x9, [sp+2864]
    005308d8str x4, [sp+2856]
    005308dcstr x9, [sp+72]
    005308e0str x4, [sp+80]
    005308e4str xzr, [sp+64]
    005308e8str xzr, [sp+56]
    005308ecldr x4, [sp+3232]
    005308f0ldrsb x27, [x4]
    005308f4ldr x4, [x4+8]
    005308f8str x4, [sp+1888]
    005308fcldr x8, [sp+736]
    00530900umulh x9, x8, x4
    00530904str x9, [sp+1976]
    00530908madd x4, x8, x4, xzr
    0053090cstr x4, [sp+1984]
    00530910str x9, [sp+2848]
    00530914str x4, [sp+2840]
    00530918str x9, [sp+56]
    0053091cstr x4, [sp+64]
    00530920str xzr, [sp+48]
    00530924str xzr, [sp+40]
    00530928ldr x4, [sp+3232]
    0053092cldrsb x27, [x4]
    00530930ldr x4, [x4]
    00530934str x4, [sp+1880]
    00530938ldr x8, [sp+736]
    0053093cumulh x9, x8, x4
    00530940str x9, [sp+1984]
    00530944madd x4, x8, x4, xzr
    00530948str x4, [sp+1976]
    0053094cstr x9, [sp+2832]
    00530950str x4, [sp+2824]
    00530954str x9, [sp+40]
    00530958str x4, [sp+48]
    0053095cstr xzr, [sp+1568]
    00530960str xzr, [sp+1560]
    00530964ldr x4, [sp+64]
    00530968adds x8, x9, x4
    0053096cadc x8, xzr, xzr
    00530970adds x10, x9, x4
    00530974str x10, [sp+1976]
    00530978str x8, [sp+1984]
    0053097cstr x10, [sp+2816]
    00530980str x8, [sp+2808]
    00530984str x10, [sp+1568]
    00530988str x8, [sp+1560]
    0053098cstr xzr, [sp+1552]
    00530990str xzr, [sp+1544]
    00530994ldr x8, [sp+80]
    00530998ldr x10, [sp+56]
    0053099cadds x11, x9, x4
    005309a0adcs x11, x10, x8
    005309a4adds x11, x9, x4
    005309a8adcs x11, x10, x8
    005309acstr x11, [sp+1984]
    005309b0adds x12, x9, x4
    005309b4adcs x12, x10, x8
    005309b8adc x12, xzr, xzr
    005309bcstr x12, [sp+1976]
    005309c0str x11, [sp+2800]
    005309c4str x12, [sp+2792]
    005309c8str x11, [sp+1552]
    005309ccstr x12, [sp+1544]
    005309d0str xzr, [sp+1536]
    005309d4str xzr, [sp+1528]
    005309d8ldr x11, [sp+96]
    005309dcldr x12, [sp+72]
    005309e0adcs x13, x12, x11
    005309e4adds x13, x9, x4
    005309e8adcs x13, x10, x8
    005309ecadcs x13, x12, x11
    005309f0str x13, [sp+1976]
    005309f4adds x4, x9, x4
    005309f8adcs x4, x10, x8
    005309fcadcs x4, x12, x11
    00530a00adc x4, xzr, xzr
    00530a04str x4, [sp+1984]
    00530a08str x13, [sp+2784]
    00530a0cstr x4, [sp+2776]
    00530a10str x13, [sp+1536]
    00530a14str x4, [sp+1528]
    00530a18ldr x8, [sp+88]
    00530a1cadd x4, x4, x8
    00530a20str x4, [sp+1520]
    00530a24str xzr, [sp+1512]
    00530a28str xzr, [sp+1504]
    00530a2cldr x4, [sp+48]
    00530a30ldr x8, [sp+176]
    00530a34adds x9, x8, x4
    00530a38adc x9, xzr, xzr
    00530a3cadds x10, x8, x4
    00530a40str x10, [sp+1984]
    00530a44str x9, [sp+1976]
    00530a48str x10, [sp+2760]
    00530a4cstr x9, [sp+2752]
    00530a50str x10, [sp+1512]
    00530a54str x9, [sp+1504]
    00530a58str xzr, [sp+1496]
    00530a5cstr xzr, [sp+1480]
    00530a60ldr x9, [sp+1568]
    00530a64ldr x10, [sp+160]
    00530a68adds x11, x8, x4
    00530a6cadcs x11, x10, x9
    00530a70adds x11, x8, x4
    00530a74adcs x11, x10, x9
    00530a78str x11, [sp+1976]
    00530a7cadds x12, x8, x4
    00530a80adcs x12, x10, x9
    00530a84adc x12, xzr, xzr
    00530a88str x12, [sp+1984]
    00530a8cstr x11, [sp+2744]
    00530a90str x12, [sp+2736]
    00530a94str x11, [sp+1496]
    00530a98str x12, [sp+1480]
    00530a9cstr xzr, [sp+1472]
    00530aa0str xzr, [sp+1464]
    00530aa4ldr x11, [sp+1552]
    00530aa8ldr x12, [sp+144]
    00530aacadcs x13, x12, x11
    00530ab0adds x13, x8, x4
    00530ab4adcs x13, x10, x9
    00530ab8adcs x13, x12, x11
    00530abcstr x13, [sp+1984]
    00530ac0adds x14, x8, x4
    00530ac4adcs x14, x10, x9
    00530ac8adcs x14, x12, x11
    00530accadc x14, xzr, xzr
    00530ad0str x14, [sp+1976]
    00530ad4str x13, [sp+2720]
    00530ad8str x14, [sp+2712]
    00530adcstr x13, [sp+1472]
    00530ae0str x14, [sp+1464]
    00530ae4str xzr, [sp+1456]
    00530ae8str xzr, [sp+1448]
    00530aecldr x13, [sp+1536]
    00530af0ldr x14, [sp+128]
    00530af4adcs x15, x14, x13
    00530af8adds x15, x8, x4
    00530afcadcs x15, x10, x9
    00530b00adcs x15, x12, x11
    00530b04adcs x15, x14, x13
    00530b08str x15, [sp+1976]
    00530b0cadds x16, x8, x4
    00530b10adcs x16, x10, x9
    00530b14adcs x16, x12, x11
    00530b18adcs x16, x14, x13
    00530b1cadc x16, xzr, xzr
    00530b20str x16, [sp+1984]
    00530b24str x15, [sp+2704]
    00530b28str x16, [sp+2696]
    00530b2cstr x15, [sp+1456]
    00530b30str x16, [sp+1448]
    00530b34str xzr, [sp+1440]
    00530b38str xzr, [sp+1432]
    00530b3cldr x15, [sp+1520]
    00530b40ldr x16, [sp+104]
    00530b44adcs x17, x16, x15
    00530b48adds x17, x8, x4
    00530b4cadcs x17, x10, x9
    00530b50adcs x17, x12, x11
    00530b54adcs x17, x14, x13
    00530b58adcs x17, x16, x15
    00530b5cstr x17, [sp+1984]
    00530b60adds x4, x8, x4
    00530b64adcs x4, x10, x9
    00530b68adcs x4, x12, x11
    00530b6cadcs x4, x14, x13
    00530b70adcs x4, x16, x15
    00530b74adc x4, xzr, xzr
    00530b78str x4, [sp+1976]
    00530b7cstr x17, [sp+2688]
    00530b80str x4, [sp+2680]
    00530b84str x17, [sp+1440]
    00530b88str x4, [sp+1432]
    00530b8cstr xzr, [sp+1424]
    00530b90ldr x4, [sp+1512]
    00530b94umulh x8, x4, x5
    00530b98str x8, [sp+1976]
    00530b9csub x9, xzr, x4
    00530ba0str x9, [sp+1984]
    00530ba4str x8, [sp+2672]
    00530ba8str x9, [sp+2664]
    00530bacstr x9, [sp+1424]
    00530bb0str xzr, [sp+1416]
    00530bb4str xzr, [sp+1400]
    00530bb8sub x8, xzr, x4
    00530bbcadd x4, x8, x4, lsl #32
    00530bc0sub x4, xzr, x4
    00530bc4umulh x8, x9, x6
    00530bc8str x8, [sp+1984]
    00530bccstr x4, [sp+1976]
    00530bd0str x8, [sp+2656]
    00530bd4str x4, [sp+2648]
    00530bd8str x8, [sp+1400]
    00530bdcstr x4, [sp+1416]
    00530be0str xzr, [sp+1392]
    00530be4str xzr, [sp+1384]
    00530be8ldr x4, [sp+1424]
    00530becumulh x8, x4, x5
    00530bf0str x8, [sp+1976]
    00530bf4sub x4, xzr, x4
    00530bf8str x4, [sp+1984]
    00530bfcstr x8, [sp+2640]
    00530c00str x4, [sp+2632]
    00530c04str x8, [sp+1384]
    00530c08str x4, [sp+1392]
    00530c0cstr xzr, [sp+1376]
    00530c10str xzr, [sp+1368]
    00530c14ldr x4, [sp+1424]
    00530c18umulh x8, x4, x7
    00530c1cstr x8, [sp+1984]
    00530c20madd x4, x4, x7, xzr
    00530c24str x4, [sp+1976]
    00530c28str x8, [sp+2624]
    00530c2cstr x4, [sp+2616]
    00530c30str x8, [sp+1368]
    00530c34str x4, [sp+1376]
    00530c38str xzr, [sp+1360]
    00530c3cstr xzr, [sp+1352]
    00530c40ldr x4, [sp+1392]
    00530c44adds x9, x8, x4
    00530c48adc x9, xzr, xzr
    00530c4cadds x10, x8, x4
    00530c50str x10, [sp+1976]
    00530c54str x9, [sp+1984]
    00530c58str x10, [sp+2608]
    00530c5cstr x9, [sp+2600]
    00530c60str x10, [sp+1360]
    00530c64str x9, [sp+1352]
    00530c68str xzr, [sp+1344]
    00530c6cstr xzr, [sp+1336]
    00530c70ldr x9, [sp+1416]
    00530c74ldr x10, [sp+1384]
    00530c78adds x11, x8, x4
    00530c7cadcs x11, x10, x9
    00530c80adds x11, x8, x4
    00530c84adcs x11, x10, x9
    00530c88str x11, [sp+1984]
    00530c8cadds x4, x8, x4
    00530c90adcs x4, x10, x9
    00530c94adc x4, xzr, xzr
    00530c98str x4, [sp+1976]
    00530c9cstr x11, [sp+2584]
    00530ca0str x4, [sp+2576]
    00530ca4str x11, [sp+1344]
    00530ca8str x4, [sp+1336]
    00530cacldr x8, [sp+1400]
    00530cb0add x4, x4, x8
    00530cb4str x4, [sp+1328]
    00530cb8str xzr, [sp+1312]
    00530cbcldr x4, [sp+1424]
    00530cc0ldr x8, [sp+1512]
    00530cc4adds x9, x8, x4
    00530cc8adc x9, xzr, xzr
    00530cccadds x10, x8, x4
    00530cd0str x10, [sp+1976]
    00530cd4str x9, [sp+1984]
    00530cd8str x10, [sp+2568]
    00530cdcstr x9, [sp+2560]
    00530ce0str x9, [sp+1312]
    00530ce4str xzr, [sp+1304]
    00530ce8str xzr, [sp+1296]
    00530cecldr x9, [sp+1376]
    00530cf0ldr x10, [sp+1496]
    00530cf4adds x11, x8, x4
    00530cf8adcs x11, x10, x9
    00530cfcadds x11, x8, x4
    00530d00adcs x11, x10, x9
    00530d04str x11, [sp+1984]
    00530d08adds x12, x8, x4
    00530d0cadcs x12, x10, x9
    00530d10adc x12, xzr, xzr
    00530d14str x12, [sp+1976]
    00530d18str x11, [sp+2552]
    00530d1cstr x12, [sp+2536]
    00530d20str x11, [sp+1304]
    00530d24str x12, [sp+1296]
    00530d28str xzr, [sp+1288]
    00530d2cstr xzr, [sp+1280]
    00530d30ldr x11, [sp+1360]
    00530d34ldr x12, [sp+1472]
    00530d38adcs x13, x12, x11
    00530d3cadds x13, x8, x4
    00530d40adcs x13, x10, x9
    00530d44adcs x13, x12, x11
    00530d48str x13, [sp+1976]
    00530d4cadds x14, x8, x4
    00530d50adcs x14, x10, x9
    00530d54adcs x14, x12, x11
    00530d58adc x14, xzr, xzr
    00530d5cstr x14, [sp+1984]
    00530d60str x13, [sp+2528]
    00530d64str x14, [sp+2520]
    00530d68str x13, [sp+1288]
    00530d6cstr x14, [sp+1280]
    00530d70str xzr, [sp+1272]
    00530d74str xzr, [sp+1264]
    00530d78ldr x13, [sp+1344]
    00530d7cldr x14, [sp+1456]
    00530d80adcs x15, x14, x13
    00530d84adds x15, x8, x4
    00530d88adcs x15, x10, x9
    00530d8cadcs x15, x12, x11
    00530d90adcs x15, x14, x13
    00530d94str x15, [sp+1984]
    00530d98adds x16, x8, x4
    00530d9cadcs x16, x10, x9
    00530da0adcs x16, x12, x11
    00530da4adcs x16, x14, x13
    00530da8adc x16, xzr, xzr
    00530dacstr x16, [sp+1976]
    00530db0str x15, [sp+2512]
    00530db4str x16, [sp+2504]
    00530db8str x15, [sp+1272]
    00530dbcstr x16, [sp+1264]
    00530dc0str xzr, [sp+1256]
    00530dc4str xzr, [sp+1248]
    00530dc8ldr x15, [sp+1328]
    00530dccldr x16, [sp+1440]
    00530dd0adcs x17, x16, x15
    00530dd4adds x17, x8, x4
    00530dd8adcs x17, x10, x9
    00530ddcadcs x17, x12, x11
    00530de0adcs x17, x14, x13
    00530de4adcs x17, x16, x15
    00530de8str x17, [sp+1976]
    00530decadds x4, x8, x4
    00530df0adcs x4, x10, x9
    00530df4adcs x4, x12, x11
    00530df8adcs x4, x14, x13
    00530dfcadcs x4, x16, x15
    00530e00adc x4, xzr, xzr
    00530e04str x4, [sp+1984]
    00530e08str x17, [sp+2496]
    00530e0cstr x4, [sp+2488]
    00530e10str x17, [sp+1256]
    00530e14str x4, [sp+1248]
    00530e18ldr x8, [sp+1432]
    00530e1cadd x4, x4, x8
    00530e20str x4, [sp+1232]
    00530e24str xzr, [sp+1224]
    00530e28str xzr, [sp+1216]
    00530e2cldr x4, [sp+3232]
    00530e30ldrsb x27, [x4]
    00530e34ldr x4, [x4+24]
    00530e38str x4, [sp+1872]
    00530e3cldr x8, [sp+624]
    00530e40umulh x9, x8, x4
    00530e44str x9, [sp+1984]
    00530e48madd x4, x8, x4, xzr
    00530e4cstr x4, [sp+1976]
    00530e50str x9, [sp+2480]
    00530e54str x4, [sp+2472]
    00530e58str x9, [sp+1216]
    00530e5cstr x4, [sp+1224]
    00530e60str xzr, [sp+1208]
    00530e64str xzr, [sp+1200]
    00530e68ldr x4, [sp+3232]
    00530e6cldrsb x27, [x4]
    00530e70ldr x4, [x4+16]
    00530e74str x4, [sp+1864]
    00530e78ldr x8, [sp+624]
    00530e7cumulh x9, x8, x4
    00530e80str x9, [sp+1976]
    00530e84madd x4, x8, x4, xzr
    00530e88str x4, [sp+1984]
    00530e8cstr x9, [sp+2464]
    00530e90str x4, [sp+2456]
    00530e94str x9, [sp+1200]
    00530e98str x4, [sp+1208]
    00530e9cstr xzr, [sp+1192]
    00530ea0str xzr, [sp+1184]
    00530ea4ldr x4, [sp+3232]
    00530ea8ldrsb x27, [x4]
    00530eacldr x4, [x4+8]
    00530eb0str x4, [sp+1856]
    00530eb4ldr x8, [sp+624]
    00530eb8umulh x9, x8, x4
    00530ebcstr x9, [sp+1984]
    00530ec0madd x4, x8, x4, xzr
    00530ec4str x4, [sp+1976]
    00530ec8str x9, [sp+2448]
    00530eccstr x4, [sp+2440]
    00530ed0str x9, [sp+1184]
    00530ed4str x4, [sp+1192]
    00530ed8str xzr, [sp+1176]
    00530edcstr xzr, [sp+1168]
    00530ee0ldr x4, [sp+3232]
    00530ee4ldrsb x27, [x4]
    00530ee8ldr x4, [x4]
    00530eecstr x4, [sp+1848]
    00530ef0ldr x8, [sp+624]
    00530ef4umulh x9, x8, x4
    00530ef8str x9, [sp+1976]
    00530efcmadd x4, x8, x4, xzr
    00530f00str x4, [sp+1984]
    00530f04str x9, [sp+2432]
    00530f08str x4, [sp+2424]
    00530f0cstr x9, [sp+1168]
    00530f10str x4, [sp+1176]
    00530f14str xzr, [sp+1160]
    00530f18str xzr, [sp+1144]
    00530f1cldr x4, [sp+1192]
    00530f20adds x8, x9, x4
    00530f24adc x8, xzr, xzr
    00530f28adds x10, x9, x4
    00530f2cstr x10, [sp+1984]
    00530f30str x8, [sp+1976]
    00530f34str x10, [sp+2408]
    00530f38str x8, [sp+2400]
    00530f3cstr x10, [sp+1160]
    00530f40str x8, [sp+1144]
    00530f44str xzr, [sp+1136]
    00530f48str xzr, [sp+1128]
    00530f4cldr x8, [sp+1208]
    00530f50ldr x10, [sp+1184]
    00530f54adds x11, x9, x4
    00530f58adcs x11, x10, x8
    00530f5cadds x11, x9, x4
    00530f60adcs x11, x10, x8
    00530f64str x11, [sp+1976]
    00530f68adds x12, x9, x4
    00530f6cadcs x12, x10, x8
    00530f70adc x12, xzr, xzr
    00530f74str x12, [sp+1984]
    00530f78str x11, [sp+2392]
    00530f7cstr x12, [sp+2384]
    00530f80str x11, [sp+1136]
    00530f84str x12, [sp+1128]
    00530f88str xzr, [sp+1120]
    00530f8cstr xzr, [sp+1112]
    00530f90ldr x11, [sp+1224]
    00530f94ldr x12, [sp+1200]
    00530f98adcs x13, x12, x11
    00530f9cadds x13, x9, x4
    00530fa0adcs x13, x10, x8
    00530fa4adcs x13, x12, x11
    00530fa8str x13, [sp+1984]
    00530facadds x4, x9, x4
    00530fb0adcs x4, x10, x8
    00530fb4adcs x4, x12, x11
    00530fb8adc x4, xzr, xzr
    00530fbcstr x4, [sp+1976]
    00530fc0str x13, [sp+2368]
    00530fc4str x4, [sp+2360]
    00530fc8str x13, [sp+1120]
    00530fccstr x4, [sp+1112]
    00530fd0ldr x8, [sp+1216]
    00530fd4add x4, x4, x8
    00530fd8str x4, [sp+1104]
    00530fdcstr xzr, [sp+1096]
    00530fe0str xzr, [sp+1088]
    00530fe4ldr x4, [sp+1176]
    00530fe8ldr x8, [sp+1304]
    00530fecadds x9, x8, x4
    00530ff0adc x9, xzr, xzr
    00530ff4adds x10, x8, x4
    00530ff8str x10, [sp+1976]
    00530ffcstr x9, [sp+1984]
    00531000str x10, [sp+2352]
    00531004str x9, [sp+2344]
    00531008str x10, [sp+1096]
    0053100cstr x9, [sp+1088]
    00531010str xzr, [sp+1080]
    00531014str xzr, [sp+1072]
    00531018ldr x9, [sp+1160]
    0053101cldr x10, [sp+1288]
    00531020adds x11, x8, x4
    00531024adcs x11, x10, x9
    00531028adds x11, x8, x4
    0053102cadcs x11, x10, x9
    00531030str x11, [sp+1984]
    00531034adds x12, x8, x4
    00531038adcs x12, x10, x9
    0053103cadc x12, xzr, xzr
    00531040str x12, [sp+1976]
    00531044str x11, [sp+2336]
    00531048str x12, [sp+2328]
    0053104cstr x11, [sp+1080]
    00531050str x12, [sp+1072]
    00531054str xzr, [sp+1056]
    00531058str xzr, [sp+1048]
    0053105cldr x11, [sp+1136]
    00531060ldr x12, [sp+1272]
    00531064adcs x13, x12, x11
    00531068adds x13, x8, x4
    0053106cadcs x13, x10, x9
    00531070adcs x13, x12, x11
    00531074str x13, [sp+1976]
    00531078adds x14, x8, x4
    0053107cadcs x14, x10, x9
    00531080adcs x14, x12, x11
    00531084adc x14, xzr, xzr
    00531088str x14, [sp+1984]
    0053108cstr x13, [sp+2320]
    00531090str x14, [sp+2312]
    00531094str x13, [sp+1056]
    00531098str x14, [sp+1048]
    0053109cstr xzr, [sp+1040]
    005310a0str xzr, [sp+1032]
    005310a4ldr x13, [sp+1120]
    005310a8ldr x14, [sp+1256]
    005310acadcs x15, x14, x13
    005310b0adds x15, x8, x4
    005310b4adcs x15, x10, x9
    005310b8adcs x15, x12, x11
    005310bcadcs x15, x14, x13
    005310c0str x15, [sp+1984]
    005310c4adds x16, x8, x4
    005310c8adcs x16, x10, x9
    005310ccadcs x16, x12, x11
    005310d0adcs x16, x14, x13
    005310d4adc x16, xzr, xzr
    005310d8str x16, [sp+1976]
    005310dcstr x15, [sp+2304]
    005310e0str x16, [sp+2296]
    005310e4str x15, [sp+1040]
    005310e8str x16, [sp+1032]
    005310ecstr xzr, [sp+1024]
    005310f0str xzr, [sp+1016]
    005310f4ldr x15, [sp+1104]
    005310f8ldr x16, [sp+1232]
    005310fcadcs x17, x16, x15
    00531100adds x17, x8, x4
    00531104adcs x17, x10, x9
    00531108adcs x17, x12, x11
    0053110cadcs x17, x14, x13
    00531110adcs x17, x16, x15
    00531114str x17, [sp+1976]
    00531118adds x4, x8, x4
    0053111cadcs x4, x10, x9
    00531120adcs x4, x12, x11
    00531124adcs x4, x14, x13
    00531128adcs x4, x16, x15
    0053112cadc x4, xzr, xzr
    00531130str x4, [sp+1984]
    00531134str x17, [sp+2288]
    00531138str x4, [sp+2280]
    0053113cstr x17, [sp+1024]
    00531140str x4, [sp+1016]
    00531144str xzr, [sp+1008]
    00531148ldr x4, [sp+1096]
    0053114cumulh x8, x4, x5
    00531150str x8, [sp+1984]
    00531154sub x9, xzr, x4
    00531158str x9, [sp+1976]
    0053115cstr x8, [sp+2272]
    00531160str x9, [sp+2264]
    00531164str x9, [sp+1008]
    00531168str xzr, [sp+1000]
    0053116cstr xzr, [sp+992]
    00531170sub x8, xzr, x4
    00531174add x4, x8, x4, lsl #32
    00531178sub x4, xzr, x4
    0053117cumulh x8, x9, x6
    00531180str x8, [sp+1976]
    00531184str x4, [sp+1984]
    00531188str x8, [sp+2256]
    0053118cstr x4, [sp+2248]
    00531190str x8, [sp+992]
    00531194str x4, [sp+1000]
    00531198str xzr, [sp+976]
    0053119cstr xzr, [sp+968]
    005311a0ldr x4, [sp+1008]
    005311a4umulh x8, x4, x5
    005311a8str x8, [sp+1984]
    005311acsub x4, xzr, x4
    005311b0str x4, [sp+1976]
    005311b4str x8, [sp+2232]
    005311b8str x4, [sp+2224]
    005311bcstr x8, [sp+968]
    005311c0str x4, [sp+976]
    005311c4str xzr, [sp+960]
    005311c8str xzr, [sp+952]
    005311ccldr x4, [sp+1008]
    005311d0umulh x8, x4, x7
    005311d4str x8, [sp+1976]
    005311d8madd x4, x4, x7, xzr
    005311dcstr x4, [sp+1984]
    005311e0str x8, [sp+2216]
    005311e4str x4, [sp+2208]
    005311e8str x8, [sp+952]
    005311ecstr x4, [sp+960]
    005311f0str xzr, [sp+944]
    005311f4str xzr, [sp+936]
    005311f8ldr x4, [sp+976]
    005311fcadds x9, x8, x4
    00531200adc x9, xzr, xzr
    00531204adds x10, x8, x4
    00531208str x10, [sp+1984]
    0053120cstr x9, [sp+1976]
    00531210str x10, [sp+2192]
    00531214str x9, [sp+2184]
    00531218str x10, [sp+944]
    0053121cstr x9, [sp+936]
    00531220str xzr, [sp+928]
    00531224str xzr, [sp+920]
    00531228ldr x9, [sp+1000]
    0053122cldr x10, [sp+968]
    00531230adds x11, x8, x4
    00531234adcs x11, x10, x9
    00531238adds x11, x8, x4
    0053123cadcs x11, x10, x9
    00531240str x11, [sp+1976]
    00531244adds x4, x8, x4
    00531248adcs x4, x10, x9
    0053124cadc x4, xzr, xzr
    00531250str x4, [sp+1984]
    00531254str x11, [sp+2176]
    00531258str x4, [sp+2168]
    0053125cstr x11, [sp+928]
    00531260str x4, [sp+920]
    00531264ldr x8, [sp+992]
    00531268add x4, x4, x8
    0053126cstr x4, [sp+912]
    00531270str xzr, [sp+896]
    00531274ldr x4, [sp+1008]
    00531278ldr x8, [sp+1096]
    0053127cadds x9, x8, x4
    00531280adc x9, xzr, xzr
    00531284adds x10, x8, x4
    00531288str x10, [sp+1984]
    0053128cstr x9, [sp+1976]
    00531290str x10, [sp+2160]
    00531294str x9, [sp+2152]
    00531298str x9, [sp+896]
    0053129cstr xzr, [sp+888]
    005312a0str xzr, [sp+880]
    005312a4ldr x9, [sp+960]
    005312a8ldr x10, [sp+1080]
    005312acadds x11, x8, x4
    005312b0adcs x11, x10, x9
    005312b4adds x11, x8, x4
    005312b8adcs x11, x10, x9
    005312bcstr x11, [sp+1976]
    005312c0adds x12, x8, x4
    005312c4adcs x12, x10, x9
    005312c8adc x12, xzr, xzr
    005312ccstr x12, [sp+1984]
    005312d0str x11, [sp+2144]
    005312d4str x12, [sp+2136]
    005312d8str x11, [sp+888]
    005312dcstr x12, [sp+880]
    005312e0str xzr, [sp+872]
    005312e4str xzr, [sp+864]
    005312e8ldr x11, [sp+944]
    005312ecldr x12, [sp+1056]
    005312f0adcs x13, x12, x11
    005312f4adds x13, x8, x4
    005312f8adcs x13, x10, x9
    005312fcadcs x13, x12, x11
    00531300str x13, [sp+1984]
    00531304adds x14, x8, x4
    00531308adcs x14, x10, x9
    0053130cadcs x14, x12, x11
    00531310adc x14, xzr, xzr
    00531314str x14, [sp+1976]
    00531318str x13, [sp+2128]
    0053131cstr x14, [sp+2120]
    00531320str x13, [sp+872]
    00531324str x14, [sp+864]
    00531328str xzr, [sp+856]
    0053132cstr xzr, [sp+848]
    00531330ldr x13, [sp+928]
    00531334ldr x14, [sp+1040]
    00531338adcs x15, x14, x13
    0053133cadds x15, x8, x4
    00531340adcs x15, x10, x9
    00531344adcs x15, x12, x11
    00531348adcs x15, x14, x13
    0053134cstr x15, [sp+1976]
    00531350adds x16, x8, x4
    00531354adcs x16, x10, x9
    00531358adcs x16, x12, x11
    0053135cadcs x16, x14, x13
    00531360adc x16, xzr, xzr
    00531364str x16, [sp+1984]
    00531368str x15, [sp+2112]
    0053136cstr x16, [sp+2104]
    00531370str x15, [sp+856]
    00531374str x16, [sp+848]
    00531378str xzr, [sp+840]
    0053137cstr xzr, [sp+832]
    00531380ldr x15, [sp+912]
    00531384ldr x16, [sp+1024]
    00531388adcs x17, x16, x15
    0053138cadds x17, x8, x4
    00531390adcs x17, x10, x9
    00531394adcs x17, x12, x11
    00531398adcs x17, x14, x13
    0053139cadcs x17, x16, x15
    005313a0str x17, [sp+1984]
    005313a4adds x4, x8, x4
    005313a8adcs x4, x10, x9
    005313acadcs x4, x12, x11
    005313b0adcs x4, x14, x13
    005313b4adcs x4, x16, x15
    005313b8adc x4, xzr, xzr
    005313bcstr x4, [sp+1976]
    005313c0str x17, [sp+2096]
    005313c4str x4, [sp+2088]
    005313c8str x17, [sp+840]
    005313ccstr x4, [sp+832]
    005313d0ldr x8, [sp+1016]
    005313d4add x4, x4, x8
    005313d8str x4, [sp+824]
    005313dcstr xzr, [sp+808]
    005313e0str xzr, [sp+800]
    005313e4ldr x4, [sp+888]
    005313e8orr x8, xzr, 1
    005313ecsubs x9, x4, x8
    005313f0sbc x9, xzr, xzr
    005313f4sub x9, xzr, x9
    005313f8subs x10, x4, x8
    005313fcstr x10, [sp+1976]
    00531400str x9, [sp+1984]
    00531404str x10, [sp+2080]
    00531408str x9, [sp+2064]
    0053140cstr x10, [sp+808]
    00531410str x9, [sp+800]
    00531414str xzr, [sp+792]
    00531418str xzr, [sp+784]
    0053141cldr x9, [sp+872]
    00531420subs x10, x4, x8
    00531424sbcs x10, x9, x7
    00531428subs x10, x4, x8
    0053142csbcs x10, x9, x7
    00531430str x10, [sp+1984]
    00531434subs x11, x4, x8
    00531438sbcs x11, x9, x7
    0053143csbc x11, xzr, xzr
    00531440sub x11, xzr, x11
    00531444str x11, [sp+1976]
    00531448str x10, [sp+2056]
    0053144cstr x11, [sp+2048]
    00531450str x10, [sp+792]
    00531454str x11, [sp+784]
    00531458str xzr, [sp+776]
    0053145cstr xzr, [sp+768]
    00531460ldr x10, [sp+856]
    00531464sbcs x11, x10, x5
    00531468subs x11, x4, x8
    0053146csbcs x11, x9, x7
    00531470sbcs x11, x10, x5
    00531474str x11, [sp+1976]
    00531478subs x12, x4, x8
    0053147csbcs x12, x9, x7
    00531480sbcs x12, x10, x5
    00531484sbc x12, xzr, xzr
    00531488sub x12, xzr, x12
    0053148cstr x12, [sp+1984]
    00531490str x11, [sp+2040]
    00531494str x12, [sp+2032]
    00531498str x11, [sp+776]
    0053149cstr x12, [sp+768]
    005314a0str xzr, [sp+760]
    005314a4str xzr, [sp+752]
    005314a8ldr x11, [sp+840]
    005314acsbcs x12, x11, x6
    005314b0subs x12, x4, x8
    005314b4sbcs x12, x9, x7
    005314b8sbcs x12, x10, x5
    005314bcsbcs x12, x11, x6
    005314c0str x12, [sp+1984]
    005314c4subs x13, x4, x8
    005314c8sbcs x13, x9, x7
    005314ccsbcs x13, x10, x5
    005314d0sbcs x13, x11, x6
    005314d4sbc x13, xzr, xzr
    005314d8sub x13, xzr, x13
    005314dcstr x13, [sp+1976]
    005314e0str x12, [sp+2016]
    005314e4str x13, [sp+2008]
    005314e8str x12, [sp+760]
    005314ecstr x13, [sp+752]
    005314f0str xzr, [sp+744]
    005314f4ldr x12, [sp+824]
    005314f8mov x13, xzr
    005314fcsbcs x14, x12, x13
    00531500subs x14, x4, x8
    00531504sbcs x14, x9, x7
    00531508sbcs x14, x10, x5
    0053150csbcs x14, x11, x6
    00531510sbcs x14, x12, x13
    00531514str x14, [sp+1976]
    00531518subs x4, x4, x8
    0053151csbcs x4, x9, x7
    00531520sbcs x4, x10, x5
    00531524sbcs x4, x11, x6
    00531528sbcs x4, x12, x13
    0053152csbc x4, xzr, xzr
    00531530sub x1, xzr, x4
    00531534str x1, [sp+1984]
    00531538str x14, [sp+2000]
    0053153cstr x1, [sp+1992]
    00531540str x1, [sp+744]
    00531544str xzr, [sp+720]
    00531548ldr x2, [sp+808]
    0053154cldr x3, [sp+888]
    00531550add x0, sp, 720
    00531554bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531558str xzr, [sp+712]
    0053155cldr x2, [sp+792]
    00531560ldr x3, [sp+872]
    00531564ldr x1, [sp+744]
    00531568add x0, sp, 712
    0053156cbl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531570str xzr, [sp+704]
    00531574ldr x2, [sp+776]
    00531578ldr x3, [sp+856]
    0053157cldr x1, [sp+744]
    00531580add x0, sp, 704
    00531584bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531588str xzr, [sp+696]
    0053158cldr x2, [sp+760]
    00531590ldr x3, [sp+840]
    00531594ldr x1, [sp+744]
    00531598add x0, sp, 696
    0053159cbl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    005315a0ldr x4, [sp+3224]
    005315a4ldrsb x27, [x4]
    005315a8ldr x5, [sp+720]
    005315acstr x5, [x4]
    005315b0ldr x4, [sp+3224]
    005315b4ldrsb x27, [x4]
    005315b8ldr x5, [sp+712]
    005315bcstr x5, [x4+8]
    005315c0ldr x4, [sp+3224]
    005315c4ldrsb x27, [x4]
    005315c8ldr x5, [sp+704]
    005315ccstr x5, [x4+16]
    005315d0ldr x4, [sp+3224]
    005315d4ldrsb x27, [x4]
    005315d8ldr x5, [sp+696]
    005315dcstr x5, [x4+24]
    005315e0ldp x29, x30, [sp-8]
    005315e4add sp, sp, 3216
    005315e8ret x30
    005315ec
    005315ecloc_5315ec:
    005315ecstp x0, x1, [sp+8]
    005315f0mov x3, x30
    005315f4bl runtime.morestack_noctxt.abi0
    005315f8ldp x0, x1, [sp+8]
    005315fcb 0x52fe10
    0052fe10
    00531600
    00531600crypto/internal/fips140/nistec/fiat.p224Add: ; void crypto/internal/fips140/nistec/fiat.p224Add(crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * arg1, crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * arg2)
    00531600ldr x16, [x28+16]
    00531604sub x17, sp, 320
    00531608subs xzr, x17, x16
    0053160cb.ls 0x5319ac
    00531610sub x20, sp, 448
    00531614stp x29, x30, [x20-8]
    00531618add sp, x20, 0
    0053161csub x29, sp, 8
    00531620str x0, [sp+456]
    00531624str x1, [sp+464]
    00531628str x2, [sp+472]
    0053162cstr xzr, [sp+208]
    00531630str xzr, [sp+128]
    00531634ldrsb x27, [x1]
    00531638ldr x4, [x1]
    0053163cstr x4, [sp+296]
    00531640ldrsb x27, [x2]
    00531644ldr x5, [x2]
    00531648str x5, [sp+288]
    0053164cadds x6, x4, x5
    00531650adc x6, xzr, xzr
    00531654adds x4, x4, x5
    00531658str x4, [sp+312]
    0053165cstr x6, [sp+304]
    00531660str x4, [sp+248]
    00531664str x6, [sp+224]
    00531668str x4, [sp+208]
    0053166cstr x6, [sp+128]
    00531670str xzr, [sp+96]
    00531674str xzr, [sp+88]
    00531678ldr x4, [sp+464]
    0053167cldrsb x27, [x4]
    00531680ldr x4, [x4+8]
    00531684str x4, [sp+280]
    00531688ldr x5, [sp+472]
    0053168cldrsb x27, [x5]
    00531690ldr x5, [x5+8]
    00531694str x5, [sp+272]
    00531698ldr x6, [sp+128]
    0053169cmovn x7, 0
    005316a0adds x7, x6, x7
    005316a4adcs x7, x4, x5
    005316a8adc x7, xzr, xzr
    005316acmovn x8, 0
    005316b0adds x6, x6, x8
    005316b4adcs x4, x4, x5
    005316b8str x4, [sp+304]
    005316bcstr x7, [sp+312]
    005316c0str x4, [sp+216]
    005316c4str x7, [sp+432]
    005316c8str x4, [sp+96]
    005316ccstr x7, [sp+88]
    005316d0str xzr, [sp+80]
    005316d4str xzr, [sp+72]
    005316d8ldr x4, [sp+464]
    005316dcldrsb x27, [x4]
    005316e0ldr x4, [x4+16]
    005316e4str x4, [sp+264]
    005316e8ldr x5, [sp+472]
    005316ecldrsb x27, [x5]
    005316f0ldr x5, [x5+16]
    005316f4str x5, [sp+256]
    005316f8ldr x6, [sp+88]
    005316fcmovn x7, 0
    00531700adds x7, x6, x7
    00531704adcs x7, x4, x5
    00531708adc x7, xzr, xzr
    0053170cmovn x8, 0
    00531710adds x6, x6, x8
    00531714adcs x4, x4, x5
    00531718str x4, [sp+312]
    0053171cstr x7, [sp+304]
    00531720str x4, [sp+424]
    00531724str x7, [sp+416]
    00531728str x4, [sp+80]
    0053172cstr x7, [sp+72]
    00531730str xzr, [sp+64]
    00531734str xzr, [sp+56]
    00531738ldr x4, [sp+464]
    0053173cldrsb x27, [x4]
    00531740ldr x4, [x4+24]
    00531744str x4, [sp+240]
    00531748ldr x5, [sp+472]
    0053174cldrsb x27, [x5]
    00531750ldr x5, [x5+24]
    00531754str x5, [sp+232]
    00531758ldr x6, [sp+72]
    0053175cmovn x7, 0
    00531760adds x7, x6, x7
    00531764adcs x7, x4, x5
    00531768adc x7, xzr, xzr
    0053176cmovn x8, 0
    00531770adds x6, x6, x8
    00531774adcs x4, x4, x5
    00531778str x4, [sp+304]
    0053177cstr x7, [sp+312]
    00531780str x4, [sp+408]
    00531784str x7, [sp+400]
    00531788str x4, [sp+64]
    0053178cstr x7, [sp+56]
    00531790str xzr, [sp+48]
    00531794str xzr, [sp+200]
    00531798ldr x4, [sp+208]
    0053179corr x5, xzr, 1
    005317a0subs x6, x4, x5
    005317a4sbc x6, xzr, xzr
    005317a8sub x6, xzr, x6
    005317acsubs x7, x4, x5
    005317b0str x7, [sp+312]
    005317b4str x6, [sp+304]
    005317b8str x7, [sp+392]
    005317bcstr x6, [sp+384]
    005317c0str x7, [sp+48]
    005317c4str x6, [sp+200]
    005317c8str xzr, [sp+192]
    005317ccstr xzr, [sp+184]
    005317d0ldr x6, [sp+96]
    005317d4subs x7, x4, x5
    005317d8orr x7, xzr, 0xffffffff00000000
    005317dcsbcs x8, x6, x7
    005317e0subs x8, x4, x5
    005317e4sbcs x8, x6, x7
    005317e8str x8, [sp+304]
    005317ecsubs x9, x4, x5
    005317f0sbcs x9, x6, x7
    005317f4sbc x9, xzr, xzr
    005317f8sub x9, xzr, x9
    005317fcstr x9, [sp+312]
    00531800str x8, [sp+376]
    00531804str x9, [sp+368]
    00531808str x8, [sp+192]
    0053180cstr x9, [sp+184]
    00531810str xzr, [sp+176]
    00531814str xzr, [sp+168]
    00531818ldr x8, [sp+80]
    0053181cmovn x9, 0
    00531820sbcs x10, x8, x9
    00531824subs x10, x4, x5
    00531828sbcs x10, x6, x7
    0053182csbcs x10, x8, x9
    00531830str x10, [sp+312]
    00531834subs x11, x4, x5
    00531838sbcs x11, x6, x7
    0053183csbcs x11, x8, x9
    00531840sbc x11, xzr, xzr
    00531844sub x11, xzr, x11
    00531848str x11, [sp+304]
    0053184cstr x10, [sp+360]
    00531850str x11, [sp+352]
    00531854str x10, [sp+176]
    00531858str x11, [sp+168]
    0053185cstr xzr, [sp+160]
    00531860str xzr, [sp+152]
    00531864ldr x10, [sp+64]
    00531868orr x11, xzr, 0xffffffff
    0053186csbcs x12, x10, x11
    00531870subs x12, x4, x5
    00531874sbcs x12, x6, x7
    00531878sbcs x12, x8, x9
    0053187csbcs x12, x10, x11
    00531880str x12, [sp+304]
    00531884subs x13, x4, x5
    00531888sbcs x13, x6, x7
    0053188csbcs x13, x8, x9
    00531890sbcs x13, x10, x11
    00531894sbc x13, xzr, xzr
    00531898sub x13, xzr, x13
    0053189cstr x13, [sp+312]
    005318a0str x12, [sp+344]
    005318a4str x13, [sp+336]
    005318a8str x12, [sp+160]
    005318acstr x13, [sp+152]
    005318b0str xzr, [sp+144]
    005318b4ldr x12, [sp+56]
    005318b8mov x13, xzr
    005318bcsbcs x14, x12, x13
    005318c0subs x14, x4, x5
    005318c4sbcs x14, x6, x7
    005318c8sbcs x14, x8, x9
    005318ccsbcs x14, x10, x11
    005318d0sbcs x14, x12, x13
    005318d4str x14, [sp+312]
    005318d8subs x4, x4, x5
    005318dcsbcs x4, x6, x7
    005318e0sbcs x4, x8, x9
    005318e4sbcs x4, x10, x11
    005318e8sbcs x4, x12, x13
    005318ecsbc x4, xzr, xzr
    005318f0sub x1, xzr, x4
    005318f4str x1, [sp+304]
    005318f8str x14, [sp+328]
    005318fcstr x1, [sp+320]
    00531900str x1, [sp+144]
    00531904str xzr, [sp+136]
    00531908ldr x2, [sp+48]
    0053190cldr x3, [sp+208]
    00531910add x0, sp, 136
    00531914bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531918str xzr, [sp+120]
    0053191cldr x2, [sp+192]
    00531920ldr x3, [sp+96]
    00531924ldr x1, [sp+144]
    00531928add x0, sp, 120
    0053192cbl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531930str xzr, [sp+112]
    00531934ldr x2, [sp+176]
    00531938ldr x3, [sp+80]
    0053193cldr x1, [sp+144]
    00531940add x0, sp, 112
    00531944bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531948str xzr, [sp+104]
    0053194cldr x2, [sp+160]
    00531950ldr x3, [sp+64]
    00531954ldr x1, [sp+144]
    00531958add x0, sp, 104
    0053195cbl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531960ldr x4, [sp+456]
    00531964ldrsb x27, [x4]
    00531968ldr x5, [sp+136]
    0053196cstr x5, [x4]
    00531970ldr x4, [sp+456]
    00531974ldrsb x27, [x4]
    00531978ldr x5, [sp+120]
    0053197cstr x5, [x4+8]
    00531980ldr x4, [sp+456]
    00531984ldrsb x27, [x4]
    00531988ldr x5, [sp+112]
    0053198cstr x5, [x4+16]
    00531990ldr x4, [sp+456]
    00531994ldrsb x27, [x4]
    00531998ldr x5, [sp+104]
    0053199cstr x5, [x4+24]
    005319a0ldp x29, x30, [sp-8]
    005319a4add sp, sp, 448
    005319a8ret x30
    005319ac
    005319acloc_5319ac:
    005319acstp x0, x1, [sp+8]
    005319b0str x2, [sp+24]
    005319b4mov x3, x30
    005319b8bl runtime.morestack_noctxt.abi0
    005319bcldp x0, x1, [sp+8]
    005319c0ldr x2, [sp+24]
    005319c4b 0x531600
    005319c8udf 0
    005319ccudf 0
    00531600
    005319d0
    005319d0crypto/internal/fips140/nistec/fiat.p224Sub: ; void crypto/internal/fips140/nistec/fiat.p224Sub(crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * arg1, crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * arg2)
    005319d0ldr x16, [x28+16]
    005319d4sub x17, sp, 256
    005319d8subs xzr, x17, x16
    005319dcb.ls 0x531ccc
    005319e0sub x20, sp, 384
    005319e4stp x29, x30, [x20-8]
    005319e8add sp, x20, 0
    005319ecsub x29, sp, 8
    005319f0str x0, [sp+392]
    005319f4str x1, [sp+400]
    005319f8str x2, [sp+408]
    005319fcstr xzr, [sp+160]
    00531a00str xzr, [sp+96]
    00531a04ldrsb x27, [x1]
    00531a08ldr x4, [x1]
    00531a0cstr x4, [sp+248]
    00531a10ldrsb x27, [x2]
    00531a14ldr x5, [x2]
    00531a18str x5, [sp+240]
    00531a1csubs x6, x4, x5
    00531a20sbc x6, xzr, xzr
    00531a24sub x6, xzr, x6
    00531a28subs x4, x4, x5
    00531a2cstr x4, [sp+264]
    00531a30str x6, [sp+256]
    00531a34str x4, [sp+184]
    00531a38str x6, [sp+176]
    00531a3cstr x4, [sp+160]
    00531a40str x6, [sp+96]
    00531a44str xzr, [sp+88]
    00531a48str xzr, [sp+80]
    00531a4cldr x4, [sp+400]
    00531a50ldrsb x27, [x4]
    00531a54ldr x4, [x4+8]
    00531a58str x4, [sp+232]
    00531a5cldr x5, [sp+408]
    00531a60ldrsb x27, [x5]
    00531a64ldr x5, [x5+8]
    00531a68str x5, [sp+224]
    00531a6cldr x6, [sp+96]
    00531a70subs x7, xzr, x6
    00531a74sbcs x7, x4, x5
    00531a78sbc x7, xzr, xzr
    00531a7csub x7, xzr, x7
    00531a80subs x6, xzr, x6
    00531a84sbcs x4, x4, x5
    00531a88str x4, [sp+256]
    00531a8cstr x7, [sp+264]
    00531a90str x4, [sp+168]
    00531a94str x7, [sp+368]
    00531a98str x4, [sp+88]
    00531a9cstr x7, [sp+80]
    00531aa0str xzr, [sp+72]
    00531aa4str xzr, [sp+64]
    00531aa8ldr x4, [sp+400]
    00531aacldrsb x27, [x4]
    00531ab0ldr x4, [x4+16]
    00531ab4str x4, [sp+216]
    00531ab8ldr x5, [sp+408]
    00531abcldrsb x27, [x5]
    00531ac0ldr x5, [x5+16]
    00531ac4str x5, [sp+208]
    00531ac8ldr x6, [sp+80]
    00531accsubs x7, xzr, x6
    00531ad0sbcs x7, x4, x5
    00531ad4sbc x7, xzr, xzr
    00531ad8sub x7, xzr, x7
    00531adcsubs x6, xzr, x6
    00531ae0sbcs x4, x4, x5
    00531ae4str x4, [sp+264]
    00531ae8str x7, [sp+256]
    00531aecstr x4, [sp+360]
    00531af0str x7, [sp+352]
    00531af4str x4, [sp+72]
    00531af8str x7, [sp+64]
    00531afcstr xzr, [sp+56]
    00531b00str xzr, [sp+48]
    00531b04ldr x4, [sp+400]
    00531b08ldrsb x27, [x4]
    00531b0cldr x4, [x4+24]
    00531b10str x4, [sp+200]
    00531b14ldr x5, [sp+408]
    00531b18ldrsb x27, [x5]
    00531b1cldr x5, [x5+24]
    00531b20str x5, [sp+192]
    00531b24ldr x6, [sp+64]
    00531b28subs x7, xzr, x6
    00531b2csbcs x7, x4, x5
    00531b30sbc x7, xzr, xzr
    00531b34sub x1, xzr, x7
    00531b38subs x6, xzr, x6
    00531b3csbcs x4, x4, x5
    00531b40str x4, [sp+256]
    00531b44str x1, [sp+264]
    00531b48str x4, [sp+344]
    00531b4cstr x1, [sp+336]
    00531b50str x4, [sp+56]
    00531b54str x1, [sp+48]
    00531b58str xzr, [sp+40]
    00531b5cadd x0, sp, 40
    00531b60mov x2, xzr
    00531b64movn x3, 0
    00531b68bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00531b6cstr xzr, [sp+152]
    00531b70str xzr, [sp+144]
    00531b74ldr x4, [sp+160]
    00531b78ldr x5, [sp+40]
    00531b7cand x5, x5, 1
    00531b80adds x6, x4, x5
    00531b84adc x6, xzr, xzr
    00531b88adds x7, x4, x5
    00531b8cstr x7, [sp+264]
    00531b90str x6, [sp+256]
    00531b94str x7, [sp+328]
    00531b98str x6, [sp+320]
    00531b9cstr x7, [sp+152]
    00531ba0str x6, [sp+144]
    00531ba4str xzr, [sp+136]
    00531ba8str xzr, [sp+128]
    00531bacldr x6, [sp+88]
    00531bb0ldr x7, [sp+40]
    00531bb4and x7, x7, 0xffffffff00000000
    00531bb8adds x8, x4, x5
    00531bbcadcs x8, x6, x7
    00531bc0adds x8, x4, x5
    00531bc4adcs x8, x6, x7
    00531bc8str x8, [sp+256]
    00531bccadds x9, x4, x5
    00531bd0adcs x9, x6, x7
    00531bd4adc x9, xzr, xzr
    00531bd8str x9, [sp+264]
    00531bdcstr x8, [sp+312]
    00531be0str x9, [sp+304]
    00531be4str x8, [sp+136]
    00531be8str x9, [sp+128]
    00531becstr xzr, [sp+120]
    00531bf0str xzr, [sp+112]
    00531bf4ldr x8, [sp+40]
    00531bf8ldr x9, [sp+72]
    00531bfcadcs x10, x9, x8
    00531c00adds x10, x4, x5
    00531c04adcs x10, x6, x7
    00531c08adcs x10, x9, x8
    00531c0cstr x10, [sp+264]
    00531c10adds x11, x4, x5
    00531c14adcs x11, x6, x7
    00531c18adcs x11, x9, x8
    00531c1cadc x11, xzr, xzr
    00531c20str x11, [sp+256]
    00531c24str x10, [sp+296]
    00531c28str x11, [sp+288]
    00531c2cstr x10, [sp+120]
    00531c30str x11, [sp+112]
    00531c34str xzr, [sp+104]
    00531c38ldr x10, [sp+56]
    00531c3cldr x11, [sp+40]
    00531c40and x11, x11, 0xffffffff
    00531c44adcs x12, x10, x11
    00531c48adds x12, x4, x5
    00531c4cadcs x12, x6, x7
    00531c50adcs x12, x9, x8
    00531c54adcs x12, x10, x11
    00531c58str x12, [sp+256]
    00531c5cadds x4, x4, x5
    00531c60adcs x4, x6, x7
    00531c64adcs x4, x9, x8
    00531c68adcs x4, x10, x11
    00531c6cadc x4, xzr, xzr
    00531c70str x4, [sp+264]
    00531c74str x12, [sp+280]
    00531c78str x4, [sp+272]
    00531c7cstr x12, [sp+104]
    00531c80ldr x4, [sp+392]
    00531c84ldrsb x27, [x4]
    00531c88ldr x5, [sp+152]
    00531c8cstr x5, [x4]
    00531c90ldr x4, [sp+392]
    00531c94ldrsb x27, [x4]
    00531c98ldr x5, [sp+136]
    00531c9cstr x5, [x4+8]
    00531ca0ldr x4, [sp+392]
    00531ca4ldrsb x27, [x4]
    00531ca8ldr x5, [sp+120]
    00531cacstr x5, [x4+16]
    00531cb0ldr x4, [sp+392]
    00531cb4ldrsb x27, [x4]
    00531cb8ldr x5, [sp+104]
    00531cbcstr x5, [x4+24]
    00531cc0ldp x29, x30, [sp-8]
    00531cc4add sp, sp, 384
    00531cc8ret x30
    00531ccc
    00531cccloc_531ccc:
    00531cccstp x0, x1, [sp+8]
    00531cd0str x2, [sp+24]
    00531cd4mov x3, x30
    00531cd8bl runtime.morestack_noctxt.abi0
    00531cdcldp x0, x1, [sp+8]
    00531ce0ldr x2, [sp+24]
    00531ce4b 0x5319d0
    00531ce8udf 0
    00531cecudf 0
    005319d0
    00531cf0
    00531cf0crypto/internal/fips140/nistec/fiat.p224SetOne: ; void crypto/internal/fips140/nistec/fiat.p224SetOne(crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * out1)
    00531cf0str x0, [sp+8]
    00531cf4ldrsb x27, [x0]
    00531cf8orr x1, xzr, 0xffffffff00000000
    00531cfcstr x1, [x0]
    00531d00ldrsb x27, [x0]
    00531d04movn x1, 0
    00531d08str x1, [x0+8]
    00531d0cldrsb x27, [x0]
    00531d10str xzr, [x0+16]
    00531d14ldrsb x27, [x0]
    00531d18str xzr, [x0+24]
    00531d1cret x30
    00531cf0
    00531d20
    00531d20crypto/internal/fips140/nistec/fiat.p224FromMontgomery: ; void crypto/internal/fips140/nistec/fiat.p224FromMontgomery(crypto/internal/fips140/nistec/fiat.p224NonMontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * arg1)
    00531d20ldr x16, [x28+16]
    00531d24sub x17, sp, 1664
    00531d28subs xzr, x17, x16
    00531d2cb.ls 0x532aa4
    00531d30sub x20, sp, 1792
    00531d34stp x29, x30, [x20-8]
    00531d38add sp, x20, 0
    00531d3csub x29, sp, 8
    00531d40str x0, [sp+1800]
    00531d44str x1, [sp+1808]
    00531d48ldrsb x27, [x1]
    00531d4cldr x4, [x1]
    00531d50str x4, [sp+872]
    00531d54str xzr, [sp+680]
    00531d58sub x5, xzr, x4
    00531d5cmovn x6, 0
    00531d60umulh x7, x4, x6
    00531d64str x7, [sp+1264]
    00531d68str x5, [sp+1256]
    00531d6cstr x7, [sp+1152]
    00531d70str x5, [sp+1104]
    00531d74str x5, [sp+680]
    00531d78str xzr, [sp+520]
    00531d7cstr xzr, [sp+440]
    00531d80sub x7, xzr, x4
    00531d84add x4, x7, x4, lsl #32
    00531d88sub x4, xzr, x4
    00531d8corr x7, xzr, 0xffffffff
    00531d90umulh x5, x5, x7
    00531d94str x5, [sp+1256]
    00531d98str x4, [sp+1264]
    00531d9cstr x5, [sp+968]
    00531da0str x4, [sp+920]
    00531da4str x5, [sp+440]
    00531da8str x4, [sp+520]
    00531dacstr xzr, [sp+360]
    00531db0str xzr, [sp+280]
    00531db4ldr x4, [sp+680]
    00531db8umulh x5, x4, x6
    00531dbcstr x5, [sp+1264]
    00531dc0sub x4, xzr, x4
    00531dc4str x4, [sp+1256]
    00531dc8str x5, [sp+1696]
    00531dccstr x4, [sp+1640]
    00531dd0str x5, [sp+280]
    00531dd4str x4, [sp+360]
    00531dd8str xzr, [sp+192]
    00531ddcstr xzr, [sp+112]
    00531de0ldr x4, [sp+680]
    00531de4orr x5, xzr, 0xffffffff00000000
    00531de8umulh x8, x4, x5
    00531decstr x8, [sp+1256]
    00531df0madd x4, x4, x5, xzr
    00531df4str x4, [sp+1264]
    00531df8str x8, [sp+1504]
    00531dfcstr x4, [sp+1464]
    00531e00str x8, [sp+112]
    00531e04str x4, [sp+192]
    00531e08str xzr, [sp+864]
    00531e0cstr xzr, [sp+784]
    00531e10ldr x4, [sp+360]
    00531e14adds x9, x8, x4
    00531e18adc x9, xzr, xzr
    00531e1cadds x10, x8, x4
    00531e20str x10, [sp+1264]
    00531e24str x9, [sp+1256]
    00531e28str x10, [sp+1328]
    00531e2cstr x9, [sp+1280]
    00531e30str x10, [sp+864]
    00531e34str x9, [sp+784]
    00531e38str xzr, [sp+736]
    00531e3cstr xzr, [sp+728]
    00531e40ldr x9, [sp+520]
    00531e44ldr x10, [sp+280]
    00531e48adds x11, x8, x4
    00531e4cadcs x11, x10, x9
    00531e50adds x11, x8, x4
    00531e54adcs x11, x10, x9
    00531e58str x11, [sp+1256]
    00531e5cadds x4, x8, x4
    00531e60adcs x4, x10, x9
    00531e64adc x4, xzr, xzr
    00531e68str x4, [sp+1264]
    00531e6cstr x11, [sp+1224]
    00531e70str x4, [sp+1216]
    00531e74str x11, [sp+736]
    00531e78str x4, [sp+728]
    00531e7cstr xzr, [sp+720]
    00531e80ldr x4, [sp+680]
    00531e84ldr x8, [sp+872]
    00531e88adds x9, x8, x4
    00531e8cadc x9, xzr, xzr
    00531e90adds x10, x8, x4
    00531e94str x10, [sp+1264]
    00531e98str x9, [sp+1256]
    00531e9cstr x10, [sp+1208]
    00531ea0str x9, [sp+1200]
    00531ea4str x9, [sp+720]
    00531ea8str xzr, [sp+712]
    00531eacstr xzr, [sp+704]
    00531eb0ldr x9, [sp+192]
    00531eb4adds x10, x8, x4
    00531eb8mov x10, xzr
    00531ebcadcs x11, x10, x9
    00531ec0adds x11, x8, x4
    00531ec4adcs x11, x10, x9
    00531ec8str x11, [sp+1256]
    00531eccadds x12, x8, x4
    00531ed0adcs x12, x10, x9
    00531ed4adc x12, xzr, xzr
    00531ed8str x12, [sp+1264]
    00531edcstr x11, [sp+1192]
    00531ee0str x12, [sp+1184]
    00531ee4str x11, [sp+712]
    00531ee8str x12, [sp+704]
    00531eecstr xzr, [sp+696]
    00531ef0str xzr, [sp+688]
    00531ef4ldr x11, [sp+864]
    00531ef8adcs x12, x10, x11
    00531efcadds x12, x8, x4
    00531f00adcs x12, x10, x9
    00531f04adcs x12, x10, x11
    00531f08str x12, [sp+1264]
    00531f0cadds x13, x8, x4
    00531f10adcs x13, x10, x9
    00531f14adcs x13, x10, x11
    00531f18adc x13, xzr, xzr
    00531f1cstr x13, [sp+1256]
    00531f20str x12, [sp+1176]
    00531f24str x13, [sp+1168]
    00531f28str x12, [sp+696]
    00531f2cstr x13, [sp+688]
    00531f30str xzr, [sp+672]
    00531f34str xzr, [sp+664]
    00531f38ldr x12, [sp+736]
    00531f3cadcs x13, x10, x12
    00531f40adds x13, x8, x4
    00531f44adcs x13, x10, x9
    00531f48adcs x13, x10, x11
    00531f4cadcs x13, x10, x12
    00531f50str x13, [sp+1256]
    00531f54adds x4, x8, x4
    00531f58adcs x4, x10, x9
    00531f5cadcs x4, x10, x11
    00531f60adcs x4, x10, x12
    00531f64adc x4, xzr, xzr
    00531f68str x4, [sp+1264]
    00531f6cstr x13, [sp+1160]
    00531f70str x4, [sp+1144]
    00531f74str x13, [sp+672]
    00531f78str x4, [sp+664]
    00531f7cstr xzr, [sp+656]
    00531f80str xzr, [sp+648]
    00531f84ldr x4, [sp+1808]
    00531f88ldrsb x27, [x4]
    00531f8cldr x4, [x4+8]
    00531f90str x4, [sp+1248]
    00531f94ldr x8, [sp+712]
    00531f98adds x9, x8, x4
    00531f9cadc x9, xzr, xzr
    00531fa0adds x11, x8, x4
    00531fa4str x11, [sp+1264]
    00531fa8str x9, [sp+1256]
    00531facstr x11, [sp+1136]
    00531fb0str x9, [sp+1128]
    00531fb4str x11, [sp+656]
    00531fb8str x9, [sp+648]
    00531fbcstr xzr, [sp+640]
    00531fc0str xzr, [sp+632]
    00531fc4ldr x9, [sp+696]
    00531fc8adds x11, x8, x4
    00531fccadcs x11, x9, x10
    00531fd0adds x11, x8, x4
    00531fd4adcs x11, x9, x10
    00531fd8str x11, [sp+1256]
    00531fdcadds x12, x8, x4
    00531fe0adcs x12, x9, x10
    00531fe4adc x12, xzr, xzr
    00531fe8str x12, [sp+1264]
    00531fecstr x11, [sp+1120]
    00531ff0str x12, [sp+1112]
    00531ff4str x11, [sp+640]
    00531ff8str x12, [sp+632]
    00531ffcstr xzr, [sp+624]
    00532000str xzr, [sp+616]
    00532004ldr x11, [sp+672]
    00532008adcs x12, x11, x10
    0053200cadds x12, x8, x4
    00532010adcs x12, x9, x10
    00532014adcs x12, x11, x10
    00532018str x12, [sp+1264]
    0053201cadds x4, x8, x4
    00532020adcs x4, x9, x10
    00532024adcs x4, x11, x10
    00532028adc x4, xzr, xzr
    0053202cstr x4, [sp+1256]
    00532030str x12, [sp+1096]
    00532034str x4, [sp+1088]
    00532038str x12, [sp+624]
    0053203cstr x4, [sp+616]
    00532040str xzr, [sp+608]
    00532044ldr x4, [sp+656]
    00532048umulh x8, x4, x6
    0053204cstr x8, [sp+1256]
    00532050sub x9, xzr, x4
    00532054str x9, [sp+1264]
    00532058str x8, [sp+1080]
    0053205cstr x9, [sp+1072]
    00532060str x9, [sp+608]
    00532064str xzr, [sp+600]
    00532068str xzr, [sp+592]
    0053206csub x8, xzr, x4
    00532070add x4, x8, x4, lsl #32
    00532074sub x4, xzr, x4
    00532078umulh x8, x9, x7
    0053207cstr x8, [sp+1264]
    00532080str x4, [sp+1256]
    00532084str x8, [sp+1064]
    00532088str x4, [sp+1056]
    0053208cstr x8, [sp+592]
    00532090str x4, [sp+600]
    00532094str xzr, [sp+584]
    00532098str xzr, [sp+576]
    0053209cldr x4, [sp+608]
    005320a0umulh x8, x4, x6
    005320a4str x8, [sp+1256]
    005320a8sub x4, xzr, x4
    005320acstr x4, [sp+1264]
    005320b0str x8, [sp+1048]
    005320b4str x4, [sp+1040]
    005320b8str x8, [sp+576]
    005320bcstr x4, [sp+584]
    005320c0str xzr, [sp+568]
    005320c4str xzr, [sp+560]
    005320c8ldr x4, [sp+608]
    005320ccumulh x8, x4, x5
    005320d0str x8, [sp+1264]
    005320d4madd x4, x4, x5, xzr
    005320d8str x4, [sp+1256]
    005320dcstr x8, [sp+1032]
    005320e0str x4, [sp+1024]
    005320e4str x8, [sp+560]
    005320e8str x4, [sp+568]
    005320ecstr xzr, [sp+552]
    005320f0str xzr, [sp+544]
    005320f4ldr x4, [sp+584]
    005320f8adds x9, x8, x4
    005320fcadc x9, xzr, xzr
    00532100adds x11, x8, x4
    00532104str x11, [sp+1256]
    00532108str x9, [sp+1264]
    0053210cstr x11, [sp+1016]
    00532110str x9, [sp+1008]
    00532114str x11, [sp+552]
    00532118str x9, [sp+544]
    0053211cstr xzr, [sp+536]
    00532120str xzr, [sp+528]
    00532124ldr x9, [sp+600]
    00532128ldr x11, [sp+576]
    0053212cadds x12, x8, x4
    00532130adcs x12, x11, x9
    00532134adds x12, x8, x4
    00532138adcs x12, x11, x9
    0053213cstr x12, [sp+1264]
    00532140adds x4, x8, x4
    00532144adcs x4, x11, x9
    00532148adc x4, xzr, xzr
    0053214cstr x4, [sp+1256]
    00532150str x12, [sp+1000]
    00532154str x4, [sp+992]
    00532158str x12, [sp+536]
    0053215cstr x4, [sp+528]
    00532160str xzr, [sp+512]
    00532164ldr x4, [sp+608]
    00532168ldr x8, [sp+656]
    0053216cadds x9, x8, x4
    00532170adc x9, xzr, xzr
    00532174adds x11, x8, x4
    00532178str x11, [sp+1256]
    0053217cstr x9, [sp+1264]
    00532180str x11, [sp+984]
    00532184str x9, [sp+976]
    00532188str x9, [sp+512]
    0053218cstr xzr, [sp+504]
    00532190str xzr, [sp+496]
    00532194ldr x9, [sp+568]
    00532198ldr x11, [sp+640]
    0053219cadds x12, x8, x4
    005321a0adcs x12, x11, x9
    005321a4adds x12, x8, x4
    005321a8adcs x12, x11, x9
    005321acstr x12, [sp+1264]
    005321b0adds x13, x8, x4
    005321b4adcs x13, x11, x9
    005321b8adc x13, xzr, xzr
    005321bcstr x13, [sp+1256]
    005321c0str x12, [sp+960]
    005321c4str x13, [sp+952]
    005321c8str x12, [sp+504]
    005321ccstr x13, [sp+496]
    005321d0str xzr, [sp+488]
    005321d4str xzr, [sp+480]
    005321d8ldr x12, [sp+552]
    005321dcldr x13, [sp+624]
    005321e0adcs x14, x13, x12
    005321e4adds x14, x8, x4
    005321e8adcs x14, x11, x9
    005321ecadcs x14, x13, x12
    005321f0str x14, [sp+1256]
    005321f4adds x15, x8, x4
    005321f8adcs x15, x11, x9
    005321fcadcs x15, x13, x12
    00532200adc x15, xzr, xzr
    00532204str x15, [sp+1264]
    00532208str x14, [sp+944]
    0053220cstr x15, [sp+936]
    00532210str x14, [sp+488]
    00532214str x15, [sp+480]
    00532218str xzr, [sp+472]
    0053221cstr xzr, [sp+464]
    00532220ldr x14, [sp+536]
    00532224ldr x15, [sp+616]
    00532228ldr x16, [sp+664]
    0053222cldr x17, [sp+728]
    00532230ldr x19, [sp+440]
    00532234add x17, x17, x19
    00532238add x16, x16, x17
    0053223cadd x15, x15, x16
    00532240adcs x16, x15, x14
    00532244adds x16, x8, x4
    00532248adcs x16, x11, x9
    0053224cadcs x16, x13, x12
    00532250adcs x16, x15, x14
    00532254str x16, [sp+1264]
    00532258adds x4, x8, x4
    0053225cadcs x4, x11, x9
    00532260adcs x4, x13, x12
    00532264adcs x4, x15, x14
    00532268adc x4, xzr, xzr
    0053226cstr x4, [sp+1256]
    00532270str x16, [sp+928]
    00532274str x4, [sp+912]
    00532278str x16, [sp+472]
    0053227cstr x4, [sp+464]
    00532280str xzr, [sp+456]
    00532284str xzr, [sp+448]
    00532288ldr x4, [sp+1808]
    0053228cldrsb x27, [x4]
    00532290ldr x4, [x4+16]
    00532294str x4, [sp+1240]
    00532298ldr x8, [sp+504]
    0053229cadds x9, x8, x4
    005322a0adc x9, xzr, xzr
    005322a4adds x11, x8, x4
    005322a8str x11, [sp+1256]
    005322acstr x9, [sp+1264]
    005322b0str x11, [sp+904]
    005322b4str x9, [sp+896]
    005322b8str x11, [sp+456]
    005322bcstr x9, [sp+448]
    005322c0str xzr, [sp+432]
    005322c4str xzr, [sp+424]
    005322c8ldr x9, [sp+488]
    005322ccadds x11, x8, x4
    005322d0adcs x11, x9, x10
    005322d4adds x11, x8, x4
    005322d8adcs x11, x9, x10
    005322dcstr x11, [sp+1264]
    005322e0adds x12, x8, x4
    005322e4adcs x12, x9, x10
    005322e8adc x12, xzr, xzr
    005322ecstr x12, [sp+1256]
    005322f0str x11, [sp+888]
    005322f4str x12, [sp+880]
    005322f8str x11, [sp+432]
    005322fcstr x12, [sp+424]
    00532300str xzr, [sp+416]
    00532304str xzr, [sp+408]
    00532308ldr x11, [sp+472]
    0053230cadcs x12, x11, x10
    00532310adds x12, x8, x4
    00532314adcs x12, x9, x10
    00532318adcs x12, x11, x10
    0053231cstr x12, [sp+1256]
    00532320adds x4, x8, x4
    00532324adcs x4, x9, x10
    00532328adcs x4, x11, x10
    0053232cadc x4, xzr, xzr
    00532330str x4, [sp+1264]
    00532334str x12, [sp+1776]
    00532338str x4, [sp+1768]
    0053233cstr x12, [sp+416]
    00532340str x4, [sp+408]
    00532344str xzr, [sp+400]
    00532348ldr x4, [sp+456]
    0053234cumulh x8, x4, x6
    00532350str x8, [sp+1264]
    00532354sub x9, xzr, x4
    00532358str x9, [sp+1256]
    0053235cstr x8, [sp+1760]
    00532360str x9, [sp+1752]
    00532364str x9, [sp+400]
    00532368str xzr, [sp+392]
    0053236cstr xzr, [sp+384]
    00532370sub x8, xzr, x4
    00532374add x4, x8, x4, lsl #32
    00532378sub x4, xzr, x4
    0053237cumulh x8, x9, x7
    00532380str x8, [sp+1256]
    00532384str x4, [sp+1264]
    00532388str x8, [sp+1744]
    0053238cstr x4, [sp+1736]
    00532390str x8, [sp+384]
    00532394str x4, [sp+392]
    00532398str xzr, [sp+376]
    0053239cstr xzr, [sp+368]
    005323a0ldr x4, [sp+400]
    005323a4umulh x8, x4, x6
    005323a8str x8, [sp+1264]
    005323acsub x4, xzr, x4
    005323b0str x4, [sp+1256]
    005323b4str x8, [sp+1728]
    005323b8str x4, [sp+1720]
    005323bcstr x8, [sp+368]
    005323c0str x4, [sp+376]
    005323c4str xzr, [sp+352]
    005323c8str xzr, [sp+344]
    005323ccldr x4, [sp+400]
    005323d0umulh x8, x4, x5
    005323d4str x8, [sp+1256]
    005323d8madd x4, x4, x5, xzr
    005323dcstr x4, [sp+1264]
    005323e0str x8, [sp+1712]
    005323e4str x4, [sp+1704]
    005323e8str x8, [sp+344]
    005323ecstr x4, [sp+352]
    005323f0str xzr, [sp+336]
    005323f4str xzr, [sp+328]
    005323f8ldr x4, [sp+376]
    005323fcadds x9, x8, x4
    00532400adc x9, xzr, xzr
    00532404adds x11, x8, x4
    00532408str x11, [sp+1264]
    0053240cstr x9, [sp+1256]
    00532410str x11, [sp+1688]
    00532414str x9, [sp+1680]
    00532418str x11, [sp+336]
    0053241cstr x9, [sp+328]
    00532420str xzr, [sp+320]
    00532424str xzr, [sp+312]
    00532428ldr x9, [sp+392]
    0053242cldr x11, [sp+368]
    00532430adds x12, x8, x4
    00532434adcs x12, x11, x9
    00532438adds x12, x8, x4
    0053243cadcs x12, x11, x9
    00532440str x12, [sp+1256]
    00532444adds x4, x8, x4
    00532448adcs x4, x11, x9
    0053244cadc x4, xzr, xzr
    00532450str x4, [sp+1264]
    00532454str x12, [sp+1672]
    00532458str x4, [sp+1664]
    0053245cstr x12, [sp+320]
    00532460str x4, [sp+312]
    00532464str xzr, [sp+304]
    00532468ldr x4, [sp+400]
    0053246cldr x8, [sp+456]
    00532470adds x9, x8, x4
    00532474adc x9, xzr, xzr
    00532478adds x11, x8, x4
    0053247cstr x11, [sp+1264]
    00532480str x9, [sp+1256]
    00532484str x11, [sp+1656]
    00532488str x9, [sp+1648]
    0053248cstr x9, [sp+304]
    00532490str xzr, [sp+296]
    00532494str xzr, [sp+288]
    00532498ldr x9, [sp+352]
    0053249cldr x11, [sp+432]
    005324a0adds x12, x8, x4
    005324a4adcs x12, x11, x9
    005324a8adds x12, x8, x4
    005324acadcs x12, x11, x9
    005324b0str x12, [sp+1256]
    005324b4adds x13, x8, x4
    005324b8adcs x13, x11, x9
    005324bcadc x13, xzr, xzr
    005324c0str x13, [sp+1264]
    005324c4str x12, [sp+1632]
    005324c8str x13, [sp+1624]
    005324ccstr x12, [sp+296]
    005324d0str x13, [sp+288]
    005324d4str xzr, [sp+272]
    005324d8str xzr, [sp+264]
    005324dcldr x12, [sp+336]
    005324e0ldr x13, [sp+416]
    005324e4adcs x14, x13, x12
    005324e8adds x14, x8, x4
    005324ecadcs x14, x11, x9
    005324f0adcs x14, x13, x12
    005324f4str x14, [sp+1264]
    005324f8adds x15, x8, x4
    005324fcadcs x15, x11, x9
    00532500adcs x15, x13, x12
    00532504adc x15, xzr, xzr
    00532508str x15, [sp+1256]
    0053250cstr x14, [sp+1616]
    00532510str x15, [sp+1608]
    00532514str x14, [sp+272]
    00532518str x15, [sp+264]
    0053251cstr xzr, [sp+256]
    00532520str xzr, [sp+248]
    00532524ldr x14, [sp+320]
    00532528ldr x15, [sp+408]
    0053252cldr x16, [sp+464]
    00532530ldr x17, [sp+528]
    00532534ldr x19, [sp+592]
    00532538add x17, x17, x19
    0053253cadd x16, x16, x17
    00532540add x15, x15, x16
    00532544adcs x16, x15, x14
    00532548adds x16, x8, x4
    0053254cadcs x16, x11, x9
    00532550adcs x16, x13, x12
    00532554adcs x16, x15, x14
    00532558str x16, [sp+1256]
    0053255cadds x4, x8, x4
    00532560adcs x4, x11, x9
    00532564adcs x4, x13, x12
    00532568adcs x4, x15, x14
    0053256cadc x4, xzr, xzr
    00532570str x4, [sp+1264]
    00532574str x16, [sp+1600]
    00532578str x4, [sp+1592]
    0053257cstr x16, [sp+256]
    00532580str x4, [sp+248]
    00532584str xzr, [sp+240]
    00532588str xzr, [sp+232]
    0053258cldr x4, [sp+1808]
    00532590ldrsb x27, [x4]
    00532594ldr x4, [x4+24]
    00532598str x4, [sp+1232]
    0053259cldr x8, [sp+296]
    005325a0adds x9, x8, x4
    005325a4adc x9, xzr, xzr
    005325a8adds x11, x8, x4
    005325acstr x11, [sp+1264]
    005325b0str x9, [sp+1256]
    005325b4str x11, [sp+1584]
    005325b8str x9, [sp+1576]
    005325bcstr x11, [sp+240]
    005325c0str x9, [sp+232]
    005325c4str xzr, [sp+224]
    005325c8str xzr, [sp+216]
    005325ccldr x9, [sp+272]
    005325d0adds x11, x8, x4
    005325d4adcs x11, x9, x10
    005325d8adds x11, x8, x4
    005325dcadcs x11, x9, x10
    005325e0str x11, [sp+1256]
    005325e4adds x12, x8, x4
    005325e8adcs x12, x9, x10
    005325ecadc x12, xzr, xzr
    005325f0str x12, [sp+1264]
    005325f4str x11, [sp+1568]
    005325f8str x12, [sp+1560]
    005325fcstr x11, [sp+224]
    00532600str x12, [sp+216]
    00532604str xzr, [sp+208]
    00532608str xzr, [sp+200]
    0053260cldr x11, [sp+256]
    00532610adcs x12, x11, x10
    00532614adds x12, x8, x4
    00532618adcs x12, x9, x10
    0053261cadcs x12, x11, x10
    00532620str x12, [sp+1264]
    00532624adds x4, x8, x4
    00532628adcs x4, x9, x10
    0053262cadcs x4, x11, x10
    00532630adc x4, xzr, xzr
    00532634str x4, [sp+1256]
    00532638str x12, [sp+1552]
    0053263cstr x4, [sp+1544]
    00532640str x12, [sp+208]
    00532644str x4, [sp+200]
    00532648str xzr, [sp+184]
    0053264cldr x4, [sp+240]
    00532650umulh x8, x4, x6
    00532654str x8, [sp+1256]
    00532658sub x9, xzr, x4
    0053265cstr x9, [sp+1264]
    00532660str x8, [sp+1536]
    00532664str x9, [sp+1528]
    00532668str x9, [sp+184]
    0053266cstr xzr, [sp+176]
    00532670str xzr, [sp+168]
    00532674sub x8, xzr, x4
    00532678add x4, x8, x4, lsl #32
    0053267csub x4, xzr, x4
    00532680umulh x8, x9, x7
    00532684str x8, [sp+1264]
    00532688str x4, [sp+1256]
    0053268cstr x8, [sp+1520]
    00532690str x4, [sp+1512]
    00532694str x8, [sp+168]
    00532698str x4, [sp+176]
    0053269cstr xzr, [sp+160]
    005326a0str xzr, [sp+152]
    005326a4ldr x4, [sp+184]
    005326a8umulh x8, x4, x6
    005326acstr x8, [sp+1256]
    005326b0sub x4, xzr, x4
    005326b4str x4, [sp+1264]
    005326b8str x8, [sp+1496]
    005326bcstr x4, [sp+1488]
    005326c0str x8, [sp+152]
    005326c4str x4, [sp+160]
    005326c8str xzr, [sp+144]
    005326ccstr xzr, [sp+136]
    005326d0ldr x4, [sp+184]
    005326d4umulh x8, x4, x5
    005326d8str x8, [sp+1264]
    005326dcmadd x4, x4, x5, xzr
    005326e0str x4, [sp+1256]
    005326e4str x8, [sp+1480]
    005326e8str x4, [sp+1472]
    005326ecstr x8, [sp+136]
    005326f0str x4, [sp+144]
    005326f4str xzr, [sp+128]
    005326f8str xzr, [sp+120]
    005326fcldr x4, [sp+160]
    00532700adds x9, x8, x4
    00532704adc x9, xzr, xzr
    00532708adds x11, x8, x4
    0053270cstr x11, [sp+1256]
    00532710str x9, [sp+1264]
    00532714str x11, [sp+1456]
    00532718str x9, [sp+1448]
    0053271cstr x11, [sp+128]
    00532720str x9, [sp+120]
    00532724str xzr, [sp+104]
    00532728str xzr, [sp+96]
    0053272cldr x9, [sp+176]
    00532730ldr x11, [sp+152]
    00532734adds x12, x8, x4
    00532738adcs x12, x11, x9
    0053273cadds x12, x8, x4
    00532740adcs x12, x11, x9
    00532744str x12, [sp+1264]
    00532748adds x4, x8, x4
    0053274cadcs x4, x11, x9
    00532750adc x4, xzr, xzr
    00532754str x4, [sp+1256]
    00532758str x12, [sp+1440]
    0053275cstr x4, [sp+1432]
    00532760str x12, [sp+104]
    00532764str x4, [sp+96]
    00532768str xzr, [sp+88]
    0053276cldr x4, [sp+184]
    00532770ldr x8, [sp+240]
    00532774adds x9, x8, x4
    00532778adc x9, xzr, xzr
    0053277cadds x11, x8, x4
    00532780str x11, [sp+1256]
    00532784str x9, [sp+1264]
    00532788str x11, [sp+1424]
    0053278cstr x9, [sp+1416]
    00532790str x9, [sp+88]
    00532794str xzr, [sp+80]
    00532798str xzr, [sp+72]
    0053279cldr x9, [sp+144]
    005327a0ldr x11, [sp+224]
    005327a4adds x12, x8, x4
    005327a8adcs x12, x11, x9
    005327acadds x12, x8, x4
    005327b0adcs x12, x11, x9
    005327b4str x12, [sp+1264]
    005327b8adds x13, x8, x4
    005327bcadcs x13, x11, x9
    005327c0adc x13, xzr, xzr
    005327c4str x13, [sp+1256]
    005327c8str x12, [sp+1408]
    005327ccstr x13, [sp+1400]
    005327d0str x12, [sp+80]
    005327d4str x13, [sp+72]
    005327d8str xzr, [sp+64]
    005327dcstr xzr, [sp+56]
    005327e0ldr x12, [sp+128]
    005327e4ldr x13, [sp+208]
    005327e8adcs x14, x13, x12
    005327ecadds x14, x8, x4
    005327f0adcs x14, x11, x9
    005327f4adcs x14, x13, x12
    005327f8str x14, [sp+1256]
    005327fcadds x15, x8, x4
    00532800adcs x15, x11, x9
    00532804adcs x15, x13, x12
    00532808adc x15, xzr, xzr
    0053280cstr x15, [sp+1264]
    00532810str x14, [sp+1392]
    00532814str x15, [sp+1384]
    00532818str x14, [sp+64]
    0053281cstr x15, [sp+56]
    00532820str xzr, [sp+48]
    00532824str xzr, [sp+40]
    00532828ldr x14, [sp+104]
    0053282cldr x15, [sp+200]
    00532830ldr x16, [sp+248]
    00532834ldr x17, [sp+312]
    00532838ldr x19, [sp+384]
    0053283cadd x17, x17, x19
    00532840add x16, x16, x17
    00532844add x15, x15, x16
    00532848adcs x16, x15, x14
    0053284cadds x16, x8, x4
    00532850adcs x16, x11, x9
    00532854adcs x16, x13, x12
    00532858adcs x16, x15, x14
    0053285cstr x16, [sp+1264]
    00532860adds x4, x8, x4
    00532864adcs x4, x11, x9
    00532868adcs x4, x13, x12
    0053286cadcs x4, x15, x14
    00532870adc x4, xzr, xzr
    00532874str x4, [sp+1256]
    00532878str x16, [sp+1376]
    0053287cstr x4, [sp+1368]
    00532880str x16, [sp+48]
    00532884str x4, [sp+40]
    00532888ldr x8, [sp+96]
    0053288cldr x9, [sp+168]
    00532890add x8, x8, x9
    00532894add x4, x4, x8
    00532898str x4, [sp+856]
    0053289cstr xzr, [sp+848]
    005328a0str xzr, [sp+840]
    005328a4ldr x4, [sp+80]
    005328a8orr x8, xzr, 1
    005328acsubs x9, x4, x8
    005328b0sbc x9, xzr, xzr
    005328b4sub x9, xzr, x9
    005328b8subs x11, x4, x8
    005328bcstr x11, [sp+1256]
    005328c0str x9, [sp+1264]
    005328c4str x11, [sp+1360]
    005328c8str x9, [sp+1352]
    005328ccstr x11, [sp+848]
    005328d0str x9, [sp+840]
    005328d4str xzr, [sp+832]
    005328d8str xzr, [sp+824]
    005328dcldr x9, [sp+64]
    005328e0subs x11, x4, x8
    005328e4sbcs x11, x9, x5
    005328e8subs x11, x4, x8
    005328ecsbcs x11, x9, x5
    005328f0str x11, [sp+1264]
    005328f4subs x12, x4, x8
    005328f8sbcs x12, x9, x5
    005328fcsbc x12, xzr, xzr
    00532900sub x12, xzr, x12
    00532904str x12, [sp+1256]
    00532908str x11, [sp+1344]
    0053290cstr x12, [sp+1336]
    00532910str x11, [sp+832]
    00532914str x12, [sp+824]
    00532918str xzr, [sp+816]
    0053291cstr xzr, [sp+808]
    00532920ldr x11, [sp+48]
    00532924sbcs x12, x11, x6
    00532928subs x12, x4, x8
    0053292csbcs x12, x9, x5
    00532930sbcs x12, x11, x6
    00532934str x12, [sp+1256]
    00532938subs x13, x4, x8
    0053293csbcs x13, x9, x5
    00532940sbcs x13, x11, x6
    00532944sbc x13, xzr, xzr
    00532948sub x13, xzr, x13
    0053294cstr x13, [sp+1264]
    00532950str x12, [sp+1320]
    00532954str x13, [sp+1312]
    00532958str x12, [sp+816]
    0053295cstr x13, [sp+808]
    00532960str xzr, [sp+800]
    00532964str xzr, [sp+792]
    00532968ldr x12, [sp+856]
    0053296csbcs x13, x12, x7
    00532970subs x13, x4, x8
    00532974sbcs x13, x9, x5
    00532978sbcs x13, x11, x6
    0053297csbcs x13, x12, x7
    00532980str x13, [sp+1264]
    00532984subs x14, x4, x8
    00532988sbcs x14, x9, x5
    0053298csbcs x14, x11, x6
    00532990sbcs x14, x12, x7
    00532994sbc x14, xzr, xzr
    00532998sbcs x15, x10, x10
    0053299csubs x15, x4, x8
    005329a0sbcs x15, x9, x5
    005329a4sbcs x15, x11, x6
    005329a8sbcs x15, x12, x7
    005329acsbcs x15, x10, x10
    005329b0subs x4, x4, x8
    005329b4sbcs x4, x9, x5
    005329b8sbcs x4, x11, x6
    005329bcsbcs x4, x12, x7
    005329c0sbcs x4, x10, x10
    005329c4sbc x4, xzr, xzr
    005329c8sub x5, xzr, x14
    005329ccstr x5, [sp+1256]
    005329d0str x13, [sp+1304]
    005329d4str x5, [sp+1296]
    005329d8str x13, [sp+800]
    005329dcstr x5, [sp+792]
    005329e0str xzr, [sp+776]
    005329e4str x15, [sp+1256]
    005329e8sub x1, xzr, x4
    005329ecstr x1, [sp+1264]
    005329f0str x15, [sp+1288]
    005329f4str x1, [sp+1272]
    005329f8str x1, [sp+776]
    005329fcstr xzr, [sp+768]
    00532a00ldr x2, [sp+848]
    00532a04ldr x3, [sp+80]
    00532a08add x0, sp, 768
    00532a0cbl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00532a10str xzr, [sp+760]
    00532a14ldr x2, [sp+832]
    00532a18ldr x3, [sp+64]
    00532a1cldr x1, [sp+776]
    00532a20add x0, sp, 760
    00532a24bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00532a28str xzr, [sp+752]
    00532a2cldr x2, [sp+816]
    00532a30ldr x3, [sp+48]
    00532a34ldr x1, [sp+776]
    00532a38add x0, sp, 752
    00532a3cbl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00532a40str xzr, [sp+744]
    00532a44ldr x2, [sp+800]
    00532a48ldr x3, [sp+856]
    00532a4cldr x1, [sp+776]
    00532a50add x0, sp, 744
    00532a54bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00532a58ldr x4, [sp+1800]
    00532a5cldrsb x27, [x4]
    00532a60ldr x5, [sp+768]
    00532a64str x5, [x4]
    00532a68ldr x4, [sp+1800]
    00532a6cldrsb x27, [x4]
    00532a70ldr x5, [sp+760]
    00532a74str x5, [x4+8]
    00532a78ldr x4, [sp+1800]
    00532a7cldrsb x27, [x4]
    00532a80ldr x5, [sp+752]
    00532a84str x5, [x4+16]
    00532a88ldr x4, [sp+1800]
    00532a8cldrsb x27, [x4]
    00532a90ldr x5, [sp+744]
    00532a94str x5, [x4+24]
    00532a98ldp x29, x30, [sp-8]
    00532a9cadd sp, sp, 1792
    00532aa0ret x30
    00532aa4
    00532aa4loc_532aa4:
    00532aa4stp x0, x1, [sp+8]
    00532aa8mov x3, x30
    00532aacbl runtime.morestack_noctxt.abi0
    00532ab0ldp x0, x1, [sp+8]
    00532ab4b 0x531d20
    00532ab8udf 0
    00532abcudf 0
    00531d20
    00532ac0
    00532ac0crypto/internal/fips140/nistec/fiat.p224ToMontgomery: ; void crypto/internal/fips140/nistec/fiat.p224ToMontgomery(crypto/internal/fips140/nistec/fiat.p224MontgomeryDomainFieldElement * out1, crypto/internal/fips140/nistec/fiat.p224NonMontgomeryDomainFieldElement * arg1)
    00532ac0ldr x16, [x28+16]
    00532ac4sub x17, sp, 2656
    00532ac8subs xzr, x17, x16
    00532accb.ls 0x533f60
    00532ad0sub x20, sp, 2784
    00532ad4stp x29, x30, [x20-8]
    00532ad8add sp, x20, 0
    00532adcsub x29, sp, 8
    00532ae0str x0, [sp+2792]
    00532ae4str x1, [sp+2800]
    00532ae8ldrsb x27, [x1]
    00532aecldr x4, [x1+8]
    00532af0str x4, [sp+1392]
    00532af4ldrsb x27, [x1]
    00532af8ldr x4, [x1+16]
    00532afcstr x4, [sp+704]
    00532b00ldrsb x27, [x1]
    00532b04ldr x4, [x1+24]
    00532b08str x4, [sp+624]
    00532b0cldrsb x27, [x1]
    00532b10ldr x4, [x1]
    00532b14str x4, [sp+544]
    00532b18str xzr, [sp+456]
    00532b1cstr xzr, [sp+368]
    00532b20sub x5, xzr, x4
    00532b24add x5, x5, x4, lsl #32
    00532b28orr x6, xzr, 0xffffffff
    00532b2cumulh x4, x4, x6
    00532b30str x4, [sp+1696]
    00532b34str x5, [sp+1688]
    00532b38str x4, [sp+1488]
    00532b3cstr x5, [sp+1448]
    00532b40str x4, [sp+368]
    00532b44str x5, [sp+456]
    00532b48str xzr, [sp+288]
    00532b4cstr xzr, [sp+208]
    00532b50ldr x4, [sp+544]
    00532b54orr x5, xzr, 0xfffffffe00000000
    00532b58umulh x7, x4, x5
    00532b5cstr x7, [sp+1688]
    00532b60madd x4, x4, x5, xzr
    00532b64str x4, [sp+1696]
    00532b68str x7, [sp+2688]
    00532b6cstr x4, [sp+2640]
    00532b70str x7, [sp+208]
    00532b74str x4, [sp+288]
    00532b78str xzr, [sp+120]
    00532b7cstr xzr, [sp+1384]
    00532b80ldr x4, [sp+544]
    00532b84orr x7, xzr, 0xffffffff00000000
    00532b88umulh x8, x4, x7
    00532b8cstr x8, [sp+1696]
    00532b90madd x4, x4, x7, xzr
    00532b94str x4, [sp+1688]
    00532b98str x8, [sp+2512]
    00532b9cstr x4, [sp+2456]
    00532ba0str x8, [sp+1384]
    00532ba4str x4, [sp+120]
    00532ba8str xzr, [sp+1304]
    00532bacstr xzr, [sp+1224]
    00532bb0ldr x4, [sp+544]
    00532bb4orr x8, xzr, 0xffffffff00000001
    00532bb8umulh x9, x4, x8
    00532bbcstr x9, [sp+1688]
    00532bc0madd x4, x4, x8, xzr
    00532bc4str x4, [sp+1696]
    00532bc8str x9, [sp+2328]
    00532bccstr x4, [sp+2280]
    00532bd0str x9, [sp+1224]
    00532bd4str x4, [sp+1304]
    00532bd8str xzr, [sp+1136]
    00532bdcstr xzr, [sp+1048]
    00532be0ldr x4, [sp+120]
    00532be4adds x10, x9, x4
    00532be8adc x10, xzr, xzr
    00532becadds x11, x9, x4
    00532bf0str x11, [sp+1696]
    00532bf4str x10, [sp+1688]
    00532bf8str x11, [sp+2144]
    00532bfcstr x10, [sp+2104]
    00532c00str x11, [sp+1136]
    00532c04str x10, [sp+1048]
    00532c08str xzr, [sp+968]
    00532c0cstr xzr, [sp+888]
    00532c10ldr x10, [sp+288]
    00532c14ldr x11, [sp+1384]
    00532c18adds x12, x9, x4
    00532c1cadcs x12, x11, x10
    00532c20adds x12, x9, x4
    00532c24adcs x12, x11, x10
    00532c28str x12, [sp+1688]
    00532c2cadds x13, x9, x4
    00532c30adcs x13, x11, x10
    00532c34adc x13, xzr, xzr
    00532c38str x13, [sp+1696]
    00532c3cstr x12, [sp+1968]
    00532c40str x13, [sp+1920]
    00532c44str x12, [sp+968]
    00532c48str x13, [sp+888]
    00532c4cstr xzr, [sp+800]
    00532c50str xzr, [sp+720]
    00532c54ldr x12, [sp+456]
    00532c58ldr x13, [sp+208]
    00532c5cadcs x14, x13, x12
    00532c60adds x14, x9, x4
    00532c64adcs x14, x11, x10
    00532c68adcs x14, x13, x12
    00532c6cstr x14, [sp+1696]
    00532c70adds x4, x9, x4
    00532c74adcs x4, x11, x10
    00532c78adcs x4, x13, x12
    00532c7cadc x4, xzr, xzr
    00532c80str x4, [sp+1688]
    00532c84str x14, [sp+1792]
    00532c88str x4, [sp+1744]
    00532c8cstr x14, [sp+800]
    00532c90str x4, [sp+720]
    00532c94str xzr, [sp+712]
    00532c98ldr x4, [sp+1304]
    00532c9cmovn x9, 0
    00532ca0umulh x10, x4, x9
    00532ca4str x10, [sp+1688]
    00532ca8sub x11, xzr, x4
    00532cacstr x11, [sp+1696]
    00532cb0str x10, [sp+1680]
    00532cb4str x11, [sp+1672]
    00532cb8str x11, [sp+712]
    00532cbcstr xzr, [sp+696]
    00532cc0str xzr, [sp+688]
    00532cc4sub x10, xzr, x4
    00532cc8add x4, x10, x4, lsl #32
    00532cccsub x4, xzr, x4
    00532cd0umulh x10, x11, x6
    00532cd4str x10, [sp+1696]
    00532cd8str x4, [sp+1688]
    00532cdcstr x10, [sp+1664]
    00532ce0str x4, [sp+1656]
    00532ce4str x10, [sp+688]
    00532ce8str x4, [sp+696]
    00532cecstr xzr, [sp+680]
    00532cf0str xzr, [sp+672]
    00532cf4ldr x4, [sp+712]
    00532cf8umulh x10, x4, x9
    00532cfcstr x10, [sp+1688]
    00532d00sub x4, xzr, x4
    00532d04str x4, [sp+1696]
    00532d08str x10, [sp+1648]
    00532d0cstr x4, [sp+1640]
    00532d10str x10, [sp+672]
    00532d14str x4, [sp+680]
    00532d18str xzr, [sp+664]
    00532d1cstr xzr, [sp+656]
    00532d20ldr x4, [sp+712]
    00532d24umulh x10, x4, x7
    00532d28str x10, [sp+1696]
    00532d2cmadd x4, x4, x7, xzr
    00532d30str x4, [sp+1688]
    00532d34str x10, [sp+1632]
    00532d38str x4, [sp+1624]
    00532d3cstr x10, [sp+656]
    00532d40str x4, [sp+664]
    00532d44str xzr, [sp+648]
    00532d48str xzr, [sp+640]
    00532d4cldr x4, [sp+680]
    00532d50adds x11, x10, x4
    00532d54adc x11, xzr, xzr
    00532d58adds x12, x10, x4
    00532d5cstr x12, [sp+1688]
    00532d60str x11, [sp+1696]
    00532d64str x12, [sp+1616]
    00532d68str x11, [sp+1608]
    00532d6cstr x12, [sp+648]
    00532d70str x11, [sp+640]
    00532d74str xzr, [sp+632]
    00532d78str xzr, [sp+616]
    00532d7cldr x11, [sp+696]
    00532d80ldr x12, [sp+672]
    00532d84adds x13, x10, x4
    00532d88adcs x13, x12, x11
    00532d8cadds x13, x10, x4
    00532d90adcs x13, x12, x11
    00532d94str x13, [sp+1696]
    00532d98adds x4, x10, x4
    00532d9cadcs x4, x12, x11
    00532da0adc x4, xzr, xzr
    00532da4str x4, [sp+1688]
    00532da8str x13, [sp+1600]
    00532dacstr x4, [sp+1592]
    00532db0str x13, [sp+632]
    00532db4str x4, [sp+616]
    00532db8str xzr, [sp+608]
    00532dbcldr x4, [sp+712]
    00532dc0ldr x10, [sp+1304]
    00532dc4adds x11, x10, x4
    00532dc8adc x11, xzr, xzr
    00532dccadds x12, x10, x4
    00532dd0str x12, [sp+1688]
    00532dd4str x11, [sp+1696]
    00532dd8str x12, [sp+1584]
    00532ddcstr x11, [sp+1576]
    00532de0str x11, [sp+608]
    00532de4str xzr, [sp+600]
    00532de8str xzr, [sp+592]
    00532decldr x11, [sp+664]
    00532df0ldr x12, [sp+1136]
    00532df4adds x13, x10, x4
    00532df8adcs x13, x12, x11
    00532dfcadds x13, x10, x4
    00532e00adcs x13, x12, x11
    00532e04str x13, [sp+1696]
    00532e08adds x14, x10, x4
    00532e0cadcs x14, x12, x11
    00532e10adc x14, xzr, xzr
    00532e14str x14, [sp+1688]
    00532e18str x13, [sp+1568]
    00532e1cstr x14, [sp+1560]
    00532e20str x13, [sp+600]
    00532e24str x14, [sp+592]
    00532e28str xzr, [sp+584]
    00532e2cstr xzr, [sp+576]
    00532e30ldr x13, [sp+648]
    00532e34ldr x14, [sp+968]
    00532e38adcs x15, x14, x13
    00532e3cadds x15, x10, x4
    00532e40adcs x15, x12, x11
    00532e44adcs x15, x14, x13
    00532e48str x15, [sp+1688]
    00532e4cadds x16, x10, x4
    00532e50adcs x16, x12, x11
    00532e54adcs x16, x14, x13
    00532e58adc x16, xzr, xzr
    00532e5cstr x16, [sp+1696]
    00532e60str x15, [sp+1552]
    00532e64str x16, [sp+1544]
    00532e68str x15, [sp+584]
    00532e6cstr x16, [sp+576]
    00532e70str xzr, [sp+568]
    00532e74str xzr, [sp+560]
    00532e78ldr x15, [sp+632]
    00532e7cldr x16, [sp+800]
    00532e80adcs x17, x16, x15
    00532e84adds x17, x10, x4
    00532e88adcs x17, x12, x11
    00532e8cadcs x17, x14, x13
    00532e90adcs x17, x16, x15
    00532e94str x17, [sp+1696]
    00532e98adds x4, x10, x4
    00532e9cadcs x4, x12, x11
    00532ea0adcs x4, x14, x13
    00532ea4adcs x4, x16, x15
    00532ea8adc x4, xzr, xzr
    00532eacstr x4, [sp+1688]
    00532eb0str x17, [sp+1536]
    00532eb4str x4, [sp+1528]
    00532eb8str x17, [sp+568]
    00532ebcstr x4, [sp+560]
    00532ec0str xzr, [sp+552]
    00532ec4str xzr, [sp+536]
    00532ec8ldr x4, [sp+1392]
    00532eccumulh x10, x4, x6
    00532ed0str x10, [sp+1688]
    00532ed4sub x11, xzr, x4
    00532ed8add x4, x11, x4, lsl #32
    00532edcstr x4, [sp+1696]
    00532ee0str x10, [sp+1520]
    00532ee4str x4, [sp+1512]
    00532ee8str x10, [sp+536]
    00532eecstr x4, [sp+552]
    00532ef0str xzr, [sp+528]
    00532ef4str xzr, [sp+520]
    00532ef8ldr x4, [sp+1392]
    00532efcumulh x10, x4, x5
    00532f00str x10, [sp+1696]
    00532f04madd x4, x4, x5, xzr
    00532f08str x4, [sp+1688]
    00532f0cstr x10, [sp+1504]
    00532f10str x4, [sp+1496]
    00532f14str x10, [sp+520]
    00532f18str x4, [sp+528]
    00532f1cstr xzr, [sp+512]
    00532f20str xzr, [sp+504]
    00532f24ldr x4, [sp+1392]
    00532f28umulh x10, x4, x7
    00532f2cstr x10, [sp+1688]
    00532f30madd x4, x4, x7, xzr
    00532f34str x4, [sp+1696]
    00532f38str x10, [sp+1480]
    00532f3cstr x4, [sp+1472]
    00532f40str x10, [sp+504]
    00532f44str x4, [sp+512]
    00532f48str xzr, [sp+496]
    00532f4cstr xzr, [sp+488]
    00532f50ldr x4, [sp+1392]
    00532f54umulh x10, x4, x8
    00532f58str x10, [sp+1696]
    00532f5cmadd x4, x4, x8, xzr
    00532f60str x4, [sp+1688]
    00532f64str x10, [sp+1464]
    00532f68str x4, [sp+1456]
    00532f6cstr x10, [sp+488]
    00532f70str x4, [sp+496]
    00532f74str xzr, [sp+480]
    00532f78str xzr, [sp+472]
    00532f7cldr x4, [sp+512]
    00532f80adds x11, x10, x4
    00532f84adc x11, xzr, xzr
    00532f88adds x12, x10, x4
    00532f8cstr x12, [sp+1688]
    00532f90str x11, [sp+1696]
    00532f94str x12, [sp+1440]
    00532f98str x11, [sp+1432]
    00532f9cstr x12, [sp+480]
    00532fa0str x11, [sp+472]
    00532fa4str xzr, [sp+464]
    00532fa8str xzr, [sp+448]
    00532facldr x11, [sp+528]
    00532fb0ldr x12, [sp+504]
    00532fb4adds x13, x10, x4
    00532fb8adcs x13, x12, x11
    00532fbcadds x13, x10, x4
    00532fc0adcs x13, x12, x11
    00532fc4str x13, [sp+1696]
    00532fc8adds x14, x10, x4
    00532fccadcs x14, x12, x11
    00532fd0adc x14, xzr, xzr
    00532fd4str x14, [sp+1688]
    00532fd8str x13, [sp+1424]
    00532fdcstr x14, [sp+1416]
    00532fe0str x13, [sp+464]
    00532fe4str x14, [sp+448]
    00532fe8str xzr, [sp+440]
    00532fecstr xzr, [sp+432]
    00532ff0ldr x13, [sp+552]
    00532ff4ldr x14, [sp+520]
    00532ff8adcs x15, x14, x13
    00532ffcadds x15, x10, x4
    00533000adcs x15, x12, x11
    00533004adcs x15, x14, x13
    00533008str x15, [sp+1688]
    0053300cadds x4, x10, x4
    00533010adcs x4, x12, x11
    00533014adcs x4, x14, x13
    00533018adc x4, xzr, xzr
    0053301cstr x4, [sp+1696]
    00533020str x15, [sp+1408]
    00533024str x4, [sp+1400]
    00533028str x15, [sp+440]
    0053302cstr x4, [sp+432]
    00533030str xzr, [sp+424]
    00533034str xzr, [sp+416]
    00533038ldr x4, [sp+496]
    0053303cldr x10, [sp+600]
    00533040adds x11, x10, x4
    00533044adc x11, xzr, xzr
    00533048adds x12, x10, x4
    0053304cstr x12, [sp+1696]
    00533050str x11, [sp+1688]
    00533054str x12, [sp+2768]
    00533058str x11, [sp+2760]
    0053305cstr x12, [sp+424]
    00533060str x11, [sp+416]
    00533064str xzr, [sp+408]
    00533068str xzr, [sp+400]
    0053306cldr x11, [sp+480]
    00533070ldr x12, [sp+584]
    00533074adds x13, x10, x4
    00533078adcs x13, x12, x11
    0053307cadds x13, x10, x4
    00533080adcs x13, x12, x11
    00533084str x13, [sp+1688]
    00533088adds x14, x10, x4
    0053308cadcs x14, x12, x11
    00533090adc x14, xzr, xzr
    00533094str x14, [sp+1696]
    00533098str x13, [sp+2752]
    0053309cstr x14, [sp+2744]
    005330a0str x13, [sp+408]
    005330a4str x14, [sp+400]
    005330a8str xzr, [sp+392]
    005330acstr xzr, [sp+384]
    005330b0ldr x13, [sp+464]
    005330b4ldr x14, [sp+568]
    005330b8adcs x15, x14, x13
    005330bcadds x15, x10, x4
    005330c0adcs x15, x12, x11
    005330c4adcs x15, x14, x13
    005330c8str x15, [sp+1696]
    005330ccadds x16, x10, x4
    005330d0adcs x16, x12, x11
    005330d4adcs x16, x14, x13
    005330d8adc x16, xzr, xzr
    005330dcstr x16, [sp+1688]
    005330e0str x15, [sp+2736]
    005330e4str x16, [sp+2728]
    005330e8str x15, [sp+392]
    005330ecstr x16, [sp+384]
    005330f0str xzr, [sp+376]
    005330f4str xzr, [sp+360]
    005330f8ldr x15, [sp+440]
    005330fcldr x16, [sp+560]
    00533100ldr x17, [sp+720]
    00533104ldr x19, [sp+368]
    00533108add x17, x17, x19
    0053310cadd x16, x16, x17
    00533110ldr x17, [sp+616]
    00533114ldr x19, [sp+688]
    00533118add x17, x17, x19
    0053311cadd x16, x16, x17
    00533120adcs x17, x16, x15
    00533124adds x17, x10, x4
    00533128adcs x17, x12, x11
    0053312cadcs x17, x14, x13
    00533130adcs x17, x16, x15
    00533134str x17, [sp+1688]
    00533138adds x4, x10, x4
    0053313cadcs x4, x12, x11
    00533140adcs x4, x14, x13
    00533144adcs x4, x16, x15
    00533148adc x4, xzr, xzr
    0053314cstr x4, [sp+1696]
    00533150str x17, [sp+2720]
    00533154str x4, [sp+2712]
    00533158str x17, [sp+376]
    0053315cstr x4, [sp+360]
    00533160str xzr, [sp+352]
    00533164ldr x4, [sp+424]
    00533168umulh x10, x4, x9
    0053316cstr x10, [sp+1696]
    00533170sub x11, xzr, x4
    00533174str x11, [sp+1688]
    00533178str x10, [sp+2704]
    0053317cstr x11, [sp+2696]
    00533180str x11, [sp+352]
    00533184str xzr, [sp+344]
    00533188str xzr, [sp+336]
    0053318csub x10, xzr, x4
    00533190add x4, x10, x4, lsl #32
    00533194sub x4, xzr, x4
    00533198umulh x10, x11, x6
    0053319cstr x10, [sp+1688]
    005331a0str x4, [sp+1696]
    005331a4str x10, [sp+2680]
    005331a8str x4, [sp+2672]
    005331acstr x10, [sp+336]
    005331b0str x4, [sp+344]
    005331b4str xzr, [sp+328]
    005331b8str xzr, [sp+320]
    005331bcldr x4, [sp+352]
    005331c0umulh x10, x4, x9
    005331c4str x10, [sp+1696]
    005331c8sub x4, xzr, x4
    005331ccstr x4, [sp+1688]
    005331d0str x10, [sp+2664]
    005331d4str x4, [sp+2656]
    005331d8str x10, [sp+320]
    005331dcstr x4, [sp+328]
    005331e0str xzr, [sp+312]
    005331e4str xzr, [sp+304]
    005331e8ldr x4, [sp+352]
    005331ecumulh x10, x4, x7
    005331f0str x10, [sp+1688]
    005331f4madd x4, x4, x7, xzr
    005331f8str x4, [sp+1696]
    005331fcstr x10, [sp+2648]
    00533200str x4, [sp+2632]
    00533204str x10, [sp+304]
    00533208str x4, [sp+312]
    0053320cstr xzr, [sp+296]
    00533210str xzr, [sp+280]
    00533214ldr x4, [sp+328]
    00533218adds x11, x10, x4
    0053321cadc x11, xzr, xzr
    00533220adds x12, x10, x4
    00533224str x12, [sp+1696]
    00533228str x11, [sp+1688]
    0053322cstr x12, [sp+2624]
    00533230str x11, [sp+2616]
    00533234str x12, [sp+296]
    00533238str x11, [sp+280]
    0053323cstr xzr, [sp+272]
    00533240str xzr, [sp+264]
    00533244ldr x11, [sp+344]
    00533248ldr x12, [sp+320]
    0053324cadds x13, x10, x4
    00533250adcs x13, x12, x11
    00533254adds x13, x10, x4
    00533258adcs x13, x12, x11
    0053325cstr x13, [sp+1688]
    00533260adds x4, x10, x4
    00533264adcs x4, x12, x11
    00533268adc x4, xzr, xzr
    0053326cstr x4, [sp+1696]
    00533270str x13, [sp+2608]
    00533274str x4, [sp+2600]
    00533278str x13, [sp+272]
    0053327cstr x4, [sp+264]
    00533280str xzr, [sp+256]
    00533284ldr x4, [sp+352]
    00533288ldr x10, [sp+424]
    0053328cadds x11, x10, x4
    00533290adc x11, xzr, xzr
    00533294adds x12, x10, x4
    00533298str x12, [sp+1696]
    0053329cstr x11, [sp+1688]
    005332a0str x12, [sp+2592]
    005332a4str x11, [sp+2584]
    005332a8str x11, [sp+256]
    005332acstr xzr, [sp+248]
    005332b0str xzr, [sp+240]
    005332b4ldr x11, [sp+312]
    005332b8ldr x12, [sp+408]
    005332bcadds x13, x10, x4
    005332c0adcs x13, x12, x11
    005332c4adds x13, x10, x4
    005332c8adcs x13, x12, x11
    005332ccstr x13, [sp+1688]
    005332d0adds x14, x10, x4
    005332d4adcs x14, x12, x11
    005332d8adc x14, xzr, xzr
    005332dcstr x14, [sp+1696]
    005332e0str x13, [sp+2576]
    005332e4str x14, [sp+2568]
    005332e8str x13, [sp+248]
    005332ecstr x14, [sp+240]
    005332f0str xzr, [sp+232]
    005332f4str xzr, [sp+224]
    005332f8ldr x13, [sp+296]
    005332fcldr x14, [sp+392]
    00533300adcs x15, x14, x13
    00533304adds x15, x10, x4
    00533308adcs x15, x12, x11
    0053330cadcs x15, x14, x13
    00533310str x15, [sp+1696]
    00533314adds x16, x10, x4
    00533318adcs x16, x12, x11
    0053331cadcs x16, x14, x13
    00533320adc x16, xzr, xzr
    00533324str x16, [sp+1688]
    00533328str x15, [sp+2560]
    0053332cstr x16, [sp+2552]
    00533330str x15, [sp+232]
    00533334str x16, [sp+224]
    00533338str xzr, [sp+216]
    0053333cstr xzr, [sp+200]
    00533340ldr x15, [sp+272]
    00533344ldr x16, [sp+376]
    00533348adcs x17, x16, x15
    0053334cadds x17, x10, x4
    00533350adcs x17, x12, x11
    00533354adcs x17, x14, x13
    00533358adcs x17, x16, x15
    0053335cstr x17, [sp+1688]
    00533360adds x4, x10, x4
    00533364adcs x4, x12, x11
    00533368adcs x4, x14, x13
    0053336cadcs x4, x16, x15
    00533370adc x4, xzr, xzr
    00533374str x4, [sp+1696]
    00533378str x17, [sp+2544]
    0053337cstr x4, [sp+2536]
    00533380str x17, [sp+216]
    00533384str x4, [sp+200]
    00533388str xzr, [sp+192]
    0053338cstr xzr, [sp+184]
    00533390ldr x4, [sp+704]
    00533394umulh x10, x4, x6
    00533398str x10, [sp+1696]
    0053339csub x11, xzr, x4
    005333a0add x4, x11, x4, lsl #32
    005333a4str x4, [sp+1688]
    005333a8str x10, [sp+2528]
    005333acstr x4, [sp+2520]
    005333b0str x10, [sp+184]
    005333b4str x4, [sp+192]
    005333b8str xzr, [sp+176]
    005333bcstr xzr, [sp+168]
    005333c0ldr x4, [sp+704]
    005333c4umulh x10, x4, x5
    005333c8str x10, [sp+1688]
    005333ccmadd x4, x4, x5, xzr
    005333d0str x4, [sp+1696]
    005333d4str x10, [sp+2504]
    005333d8str x4, [sp+2496]
    005333dcstr x10, [sp+168]
    005333e0str x4, [sp+176]
    005333e4str xzr, [sp+160]
    005333e8str xzr, [sp+152]
    005333ecldr x4, [sp+704]
    005333f0umulh x10, x4, x7
    005333f4str x10, [sp+1696]
    005333f8madd x4, x4, x7, xzr
    005333fcstr x4, [sp+1688]
    00533400str x10, [sp+2488]
    00533404str x4, [sp+2480]
    00533408str x10, [sp+152]
    0053340cstr x4, [sp+160]
    00533410str xzr, [sp+144]
    00533414str xzr, [sp+136]
    00533418ldr x4, [sp+704]
    0053341cumulh x10, x4, x8
    00533420str x10, [sp+1688]
    00533424madd x4, x4, x8, xzr
    00533428str x4, [sp+1696]
    0053342cstr x10, [sp+2472]
    00533430str x4, [sp+2464]
    00533434str x10, [sp+136]
    00533438str x4, [sp+144]
    0053343cstr xzr, [sp+128]
    00533440str xzr, [sp+112]
    00533444ldr x4, [sp+160]
    00533448adds x11, x10, x4
    0053344cadc x11, xzr, xzr
    00533450adds x12, x10, x4
    00533454str x12, [sp+1696]
    00533458str x11, [sp+1688]
    0053345cstr x12, [sp+2448]
    00533460str x11, [sp+2440]
    00533464str x12, [sp+128]
    00533468str x11, [sp+112]
    0053346cstr xzr, [sp+104]
    00533470str xzr, [sp+96]
    00533474ldr x11, [sp+176]
    00533478ldr x12, [sp+152]
    0053347cadds x13, x10, x4
    00533480adcs x13, x12, x11
    00533484adds x13, x10, x4
    00533488adcs x13, x12, x11
    0053348cstr x13, [sp+1688]
    00533490adds x14, x10, x4
    00533494adcs x14, x12, x11
    00533498adc x14, xzr, xzr
    0053349cstr x14, [sp+1696]
    005334a0str x13, [sp+2432]
    005334a4str x14, [sp+2424]
    005334a8str x13, [sp+104]
    005334acstr x14, [sp+96]
    005334b0str xzr, [sp+88]
    005334b4str xzr, [sp+80]
    005334b8ldr x13, [sp+192]
    005334bcldr x14, [sp+168]
    005334c0adcs x15, x14, x13
    005334c4adds x15, x10, x4
    005334c8adcs x15, x12, x11
    005334ccadcs x15, x14, x13
    005334d0str x15, [sp+1696]
    005334d4adds x4, x10, x4
    005334d8adcs x4, x12, x11
    005334dcadcs x4, x14, x13
    005334e0adc x4, xzr, xzr
    005334e4str x4, [sp+1688]
    005334e8str x15, [sp+2416]
    005334ecstr x4, [sp+2408]
    005334f0str x15, [sp+88]
    005334f4str x4, [sp+80]
    005334f8str xzr, [sp+72]
    005334fcstr xzr, [sp+64]
    00533500ldr x4, [sp+144]
    00533504ldr x10, [sp+248]
    00533508adds x11, x10, x4
    0053350cadc x11, xzr, xzr
    00533510adds x12, x10, x4
    00533514str x12, [sp+1688]
    00533518str x11, [sp+1696]
    0053351cstr x12, [sp+2400]
    00533520str x11, [sp+2392]
    00533524str x12, [sp+72]
    00533528str x11, [sp+64]
    0053352cstr xzr, [sp+56]
    00533530str xzr, [sp+48]
    00533534ldr x11, [sp+128]
    00533538ldr x12, [sp+232]
    0053353cadds x13, x10, x4
    00533540adcs x13, x12, x11
    00533544adds x13, x10, x4
    00533548adcs x13, x12, x11
    0053354cstr x13, [sp+1696]
    00533550adds x14, x10, x4
    00533554adcs x14, x12, x11
    00533558adc x14, xzr, xzr
    0053355cstr x14, [sp+1688]
    00533560str x13, [sp+2384]
    00533564str x14, [sp+2376]
    00533568str x13, [sp+56]
    0053356cstr x14, [sp+48]
    00533570str xzr, [sp+40]
    00533574str xzr, [sp+1376]
    00533578ldr x13, [sp+104]
    0053357cldr x14, [sp+216]
    00533580adcs x15, x14, x13
    00533584adds x15, x10, x4
    00533588adcs x15, x12, x11
    0053358cadcs x15, x14, x13
    00533590str x15, [sp+1688]
    00533594adds x16, x10, x4
    00533598adcs x16, x12, x11
    0053359cadcs x16, x14, x13
    005335a0adc x16, xzr, xzr
    005335a4str x16, [sp+1696]
    005335a8str x15, [sp+2368]
    005335acstr x16, [sp+2360]
    005335b0str x15, [sp+40]
    005335b4str x16, [sp+1376]
    005335b8str xzr, [sp+1368]
    005335bcstr xzr, [sp+1360]
    005335c0ldr x15, [sp+88]
    005335c4ldr x16, [sp+200]
    005335c8ldr x17, [sp+360]
    005335ccldr x19, [sp+432]
    005335d0ldr x20, [sp+536]
    005335d4add x19, x19, x20
    005335d8add x17, x17, x19
    005335dcadd x16, x16, x17
    005335e0ldr x17, [sp+264]
    005335e4ldr x19, [sp+336]
    005335e8add x17, x17, x19
    005335ecadd x16, x16, x17
    005335f0adcs x17, x16, x15
    005335f4adds x17, x10, x4
    005335f8adcs x17, x12, x11
    005335fcadcs x17, x14, x13
    00533600adcs x17, x16, x15
    00533604str x17, [sp+1696]
    00533608adds x4, x10, x4
    0053360cadcs x4, x12, x11
    00533610adcs x4, x14, x13
    00533614adcs x4, x16, x15
    00533618adc x4, xzr, xzr
    0053361cstr x4, [sp+1688]
    00533620str x17, [sp+2352]
    00533624str x4, [sp+2344]
    00533628str x17, [sp+1368]
    0053362cstr x4, [sp+1360]
    00533630str xzr, [sp+1352]
    00533634ldr x4, [sp+72]
    00533638umulh x10, x4, x9
    0053363cstr x10, [sp+1688]
    00533640sub x11, xzr, x4
    00533644str x11, [sp+1696]
    00533648str x10, [sp+2336]
    0053364cstr x11, [sp+2320]
    00533650str x11, [sp+1352]
    00533654str xzr, [sp+1344]
    00533658str xzr, [sp+1336]
    0053365csub x10, xzr, x4
    00533660add x4, x10, x4, lsl #32
    00533664sub x4, xzr, x4
    00533668umulh x10, x11, x6
    0053366cstr x10, [sp+1696]
    00533670str x4, [sp+1688]
    00533674str x10, [sp+2312]
    00533678str x4, [sp+2304]
    0053367cstr x10, [sp+1336]
    00533680str x4, [sp+1344]
    00533684str xzr, [sp+1328]
    00533688str xzr, [sp+1320]
    0053368cldr x4, [sp+1352]
    00533690umulh x10, x4, x9
    00533694str x10, [sp+1688]
    00533698sub x4, xzr, x4
    0053369cstr x4, [sp+1696]
    005336a0str x10, [sp+2296]
    005336a4str x4, [sp+2288]
    005336a8str x10, [sp+1320]
    005336acstr x4, [sp+1328]
    005336b0str xzr, [sp+1312]
    005336b4str xzr, [sp+1296]
    005336b8ldr x4, [sp+1352]
    005336bcumulh x10, x4, x7
    005336c0str x10, [sp+1696]
    005336c4madd x4, x4, x7, xzr
    005336c8str x4, [sp+1688]
    005336ccstr x10, [sp+2272]
    005336d0str x4, [sp+2264]
    005336d4str x10, [sp+1296]
    005336d8str x4, [sp+1312]
    005336dcstr xzr, [sp+1288]
    005336e0str xzr, [sp+1280]
    005336e4ldr x4, [sp+1328]
    005336e8adds x11, x10, x4
    005336ecadc x11, xzr, xzr
    005336f0adds x12, x10, x4
    005336f4str x12, [sp+1688]
    005336f8str x11, [sp+1696]
    005336fcstr x12, [sp+2256]
    00533700str x11, [sp+2248]
    00533704str x12, [sp+1288]
    00533708str x11, [sp+1280]
    0053370cstr xzr, [sp+1272]
    00533710str xzr, [sp+1264]
    00533714ldr x11, [sp+1344]
    00533718ldr x12, [sp+1320]
    0053371cadds x13, x10, x4
    00533720adcs x13, x12, x11
    00533724adds x13, x10, x4
    00533728adcs x13, x12, x11
    0053372cstr x13, [sp+1696]
    00533730adds x4, x10, x4
    00533734adcs x4, x12, x11
    00533738adc x4, xzr, xzr
    0053373cstr x4, [sp+1688]
    00533740str x13, [sp+2240]
    00533744str x4, [sp+2232]
    00533748str x13, [sp+1272]
    0053374cstr x4, [sp+1264]
    00533750str xzr, [sp+1256]
    00533754ldr x4, [sp+1352]
    00533758ldr x10, [sp+72]
    0053375cadds x11, x10, x4
    00533760adc x11, xzr, xzr
    00533764adds x12, x10, x4
    00533768str x12, [sp+1688]
    0053376cstr x11, [sp+1696]
    00533770str x12, [sp+2224]
    00533774str x11, [sp+2216]
    00533778str x11, [sp+1256]
    0053377cstr xzr, [sp+1248]
    00533780str xzr, [sp+1240]
    00533784ldr x11, [sp+1312]
    00533788ldr x12, [sp+56]
    0053378cadds x13, x10, x4
    00533790adcs x13, x12, x11
    00533794adds x13, x10, x4
    00533798adcs x13, x12, x11
    0053379cstr x13, [sp+1696]
    005337a0adds x14, x10, x4
    005337a4adcs x14, x12, x11
    005337a8adc x14, xzr, xzr
    005337acstr x14, [sp+1688]
    005337b0str x13, [sp+2208]
    005337b4str x14, [sp+2200]
    005337b8str x13, [sp+1248]
    005337bcstr x14, [sp+1240]
    005337c0str xzr, [sp+1232]
    005337c4str xzr, [sp+1216]
    005337c8ldr x13, [sp+1288]
    005337ccldr x14, [sp+40]
    005337d0adcs x15, x14, x13
    005337d4adds x15, x10, x4
    005337d8adcs x15, x12, x11
    005337dcadcs x15, x14, x13
    005337e0str x15, [sp+1688]
    005337e4adds x16, x10, x4
    005337e8adcs x16, x12, x11
    005337ecadcs x16, x14, x13
    005337f0adc x16, xzr, xzr
    005337f4str x16, [sp+1696]
    005337f8str x15, [sp+2192]
    005337fcstr x16, [sp+2184]
    00533800str x15, [sp+1232]
    00533804str x16, [sp+1216]
    00533808str xzr, [sp+1208]
    0053380cstr xzr, [sp+1200]
    00533810ldr x15, [sp+1272]
    00533814ldr x16, [sp+1368]
    00533818adcs x17, x16, x15
    0053381cadds x17, x10, x4
    00533820adcs x17, x12, x11
    00533824adcs x17, x14, x13
    00533828adcs x17, x16, x15
    0053382cstr x17, [sp+1696]
    00533830adds x4, x10, x4
    00533834adcs x4, x12, x11
    00533838adcs x4, x14, x13
    0053383cadcs x4, x16, x15
    00533840adc x4, xzr, xzr
    00533844str x4, [sp+1688]
    00533848str x17, [sp+2176]
    0053384cstr x4, [sp+2168]
    00533850str x17, [sp+1208]
    00533854str x4, [sp+1200]
    00533858str xzr, [sp+1192]
    0053385cstr xzr, [sp+1184]
    00533860ldr x4, [sp+624]
    00533864umulh x10, x4, x6
    00533868str x10, [sp+1688]
    0053386csub x11, xzr, x4
    00533870add x4, x11, x4, lsl #32
    00533874str x4, [sp+1696]
    00533878str x10, [sp+2160]
    0053387cstr x4, [sp+2152]
    00533880str x10, [sp+1184]
    00533884str x4, [sp+1192]
    00533888str xzr, [sp+1176]
    0053388cstr xzr, [sp+1168]
    00533890ldr x4, [sp+624]
    00533894umulh x10, x4, x5
    00533898str x10, [sp+1696]
    0053389cmadd x4, x4, x5, xzr
    005338a0str x4, [sp+1688]
    005338a4str x10, [sp+2136]
    005338a8str x4, [sp+2128]
    005338acstr x10, [sp+1168]
    005338b0str x4, [sp+1176]
    005338b4str xzr, [sp+1160]
    005338b8str xzr, [sp+1152]
    005338bcldr x4, [sp+624]
    005338c0umulh x5, x4, x7
    005338c4str x5, [sp+1688]
    005338c8madd x4, x4, x7, xzr
    005338ccstr x4, [sp+1696]
    005338d0str x5, [sp+2120]
    005338d4str x4, [sp+2112]
    005338d8str x5, [sp+1152]
    005338dcstr x4, [sp+1160]
    005338e0str xzr, [sp+1144]
    005338e4str xzr, [sp+1128]
    005338e8ldr x4, [sp+624]
    005338ecumulh x5, x4, x8
    005338f0str x5, [sp+1696]
    005338f4madd x4, x4, x8, xzr
    005338f8str x4, [sp+1688]
    005338fcstr x5, [sp+2096]
    00533900str x4, [sp+2088]
    00533904str x5, [sp+1128]
    00533908str x4, [sp+1144]
    0053390cstr xzr, [sp+1120]
    00533910str xzr, [sp+1112]
    00533914ldr x4, [sp+1160]
    00533918adds x8, x5, x4
    0053391cadc x8, xzr, xzr
    00533920adds x10, x5, x4
    00533924str x10, [sp+1688]
    00533928str x8, [sp+1696]
    0053392cstr x10, [sp+2080]
    00533930str x8, [sp+2072]
    00533934str x10, [sp+1120]
    00533938str x8, [sp+1112]
    0053393cstr xzr, [sp+1104]
    00533940str xzr, [sp+1096]
    00533944ldr x8, [sp+1176]
    00533948ldr x10, [sp+1152]
    0053394cadds x11, x5, x4
    00533950adcs x11, x10, x8
    00533954adds x11, x5, x4
    00533958adcs x11, x10, x8
    0053395cstr x11, [sp+1696]
    00533960adds x12, x5, x4
    00533964adcs x12, x10, x8
    00533968adc x12, xzr, xzr
    0053396cstr x12, [sp+1688]
    00533970str x11, [sp+2064]
    00533974str x12, [sp+2056]
    00533978str x11, [sp+1104]
    0053397cstr x12, [sp+1096]
    00533980str xzr, [sp+1088]
    00533984str xzr, [sp+1080]
    00533988ldr x11, [sp+1192]
    0053398cldr x12, [sp+1168]
    00533990adcs x13, x12, x11
    00533994adds x13, x5, x4
    00533998adcs x13, x10, x8
    0053399cadcs x13, x12, x11
    005339a0str x13, [sp+1688]
    005339a4adds x4, x5, x4
    005339a8adcs x4, x10, x8
    005339acadcs x4, x12, x11
    005339b0adc x4, xzr, xzr
    005339b4str x4, [sp+1696]
    005339b8str x13, [sp+2048]
    005339bcstr x4, [sp+2040]
    005339c0str x13, [sp+1088]
    005339c4str x4, [sp+1080]
    005339c8str xzr, [sp+1072]
    005339ccstr xzr, [sp+1064]
    005339d0ldr x4, [sp+1144]
    005339d4ldr x5, [sp+1248]
    005339d8adds x8, x5, x4
    005339dcadc x8, xzr, xzr
    005339e0adds x10, x5, x4
    005339e4str x10, [sp+1696]
    005339e8str x8, [sp+1688]
    005339ecstr x10, [sp+2032]
    005339f0str x8, [sp+2024]
    005339f4str x10, [sp+1072]
    005339f8str x8, [sp+1064]
    005339fcstr xzr, [sp+1056]
    00533a00str xzr, [sp+1040]
    00533a04ldr x8, [sp+1120]
    00533a08ldr x10, [sp+1232]
    00533a0cadds x11, x5, x4
    00533a10adcs x11, x10, x8
    00533a14adds x11, x5, x4
    00533a18adcs x11, x10, x8
    00533a1cstr x11, [sp+1688]
    00533a20adds x12, x5, x4
    00533a24adcs x12, x10, x8
    00533a28adc x12, xzr, xzr
    00533a2cstr x12, [sp+1696]
    00533a30str x11, [sp+2016]
    00533a34str x12, [sp+2008]
    00533a38str x11, [sp+1056]
    00533a3cstr x12, [sp+1040]
    00533a40str xzr, [sp+1032]
    00533a44str xzr, [sp+1024]
    00533a48ldr x11, [sp+1104]
    00533a4cldr x12, [sp+1208]
    00533a50adcs x13, x12, x11
    00533a54adds x13, x5, x4
    00533a58adcs x13, x10, x8
    00533a5cadcs x13, x12, x11
    00533a60str x13, [sp+1696]
    00533a64adds x14, x5, x4
    00533a68adcs x14, x10, x8
    00533a6cadcs x14, x12, x11
    00533a70adc x14, xzr, xzr
    00533a74str x14, [sp+1688]
    00533a78str x13, [sp+2000]
    00533a7cstr x14, [sp+1992]
    00533a80str x13, [sp+1032]
    00533a84str x14, [sp+1024]
    00533a88str xzr, [sp+1016]
    00533a8cstr xzr, [sp+1008]
    00533a90ldr x13, [sp+1088]
    00533a94ldr x14, [sp+1200]
    00533a98ldr x15, [sp+1360]
    00533a9cldr x16, [sp+80]
    00533aa0ldr x17, [sp+184]
    00533aa4add x16, x16, x17
    00533aa8add x15, x15, x16
    00533aacadd x14, x14, x15
    00533ab0ldr x15, [sp+1264]
    00533ab4ldr x16, [sp+1336]
    00533ab8add x15, x15, x16
    00533abcadd x14, x14, x15
    00533ac0adcs x15, x14, x13
    00533ac4adds x15, x5, x4
    00533ac8adcs x15, x10, x8
    00533accadcs x15, x12, x11
    00533ad0adcs x15, x14, x13
    00533ad4str x15, [sp+1688]
    00533ad8adds x4, x5, x4
    00533adcadcs x4, x10, x8
    00533ae0adcs x4, x12, x11
    00533ae4adcs x4, x14, x13
    00533ae8adc x4, xzr, xzr
    00533aecstr x4, [sp+1696]
    00533af0str x15, [sp+1984]
    00533af4str x4, [sp+1976]
    00533af8str x15, [sp+1016]
    00533afcstr x4, [sp+1008]
    00533b00str xzr, [sp+1000]
    00533b04ldr x4, [sp+1072]
    00533b08umulh x5, x4, x9
    00533b0cstr x5, [sp+1696]
    00533b10sub x8, xzr, x4
    00533b14str x8, [sp+1688]
    00533b18str x5, [sp+1960]
    00533b1cstr x8, [sp+1952]
    00533b20str x8, [sp+1000]
    00533b24str xzr, [sp+992]
    00533b28str xzr, [sp+984]
    00533b2csub x5, xzr, x4
    00533b30add x4, x5, x4, lsl #32
    00533b34sub x4, xzr, x4
    00533b38umulh x5, x8, x6
    00533b3cstr x5, [sp+1688]
    00533b40str x4, [sp+1696]
    00533b44str x5, [sp+1944]
    00533b48str x4, [sp+1936]
    00533b4cstr x5, [sp+984]
    00533b50str x4, [sp+992]
    00533b54str xzr, [sp+976]
    00533b58str xzr, [sp+960]
    00533b5cldr x4, [sp+1000]
    00533b60umulh x5, x4, x9
    00533b64str x5, [sp+1696]
    00533b68sub x4, xzr, x4
    00533b6cstr x4, [sp+1688]
    00533b70str x5, [sp+1928]
    00533b74str x4, [sp+1912]
    00533b78str x5, [sp+960]
    00533b7cstr x4, [sp+976]
    00533b80str xzr, [sp+952]
    00533b84str xzr, [sp+944]
    00533b88ldr x4, [sp+1000]
    00533b8cumulh x5, x4, x7
    00533b90str x5, [sp+1688]
    00533b94madd x4, x4, x7, xzr
    00533b98str x4, [sp+1696]
    00533b9cstr x5, [sp+1904]
    00533ba0str x4, [sp+1896]
    00533ba4str x5, [sp+944]
    00533ba8str x4, [sp+952]
    00533bacstr xzr, [sp+936]
    00533bb0str xzr, [sp+928]
    00533bb4ldr x4, [sp+976]
    00533bb8adds x8, x5, x4
    00533bbcadc x8, xzr, xzr
    00533bc0adds x10, x5, x4
    00533bc4str x10, [sp+1696]
    00533bc8str x8, [sp+1688]
    00533bccstr x10, [sp+1888]
    00533bd0str x8, [sp+1880]
    00533bd4str x10, [sp+936]
    00533bd8str x8, [sp+928]
    00533bdcstr xzr, [sp+920]
    00533be0str xzr, [sp+912]
    00533be4ldr x8, [sp+992]
    00533be8ldr x10, [sp+960]
    00533becadds x11, x5, x4
    00533bf0adcs x11, x10, x8
    00533bf4adds x11, x5, x4
    00533bf8adcs x11, x10, x8
    00533bfcstr x11, [sp+1688]
    00533c00adds x4, x5, x4
    00533c04adcs x4, x10, x8
    00533c08adc x4, xzr, xzr
    00533c0cstr x4, [sp+1696]
    00533c10str x11, [sp+1872]
    00533c14str x4, [sp+1864]
    00533c18str x11, [sp+920]
    00533c1cstr x4, [sp+912]
    00533c20str xzr, [sp+904]
    00533c24ldr x4, [sp+1000]
    00533c28ldr x5, [sp+1072]
    00533c2cadds x8, x5, x4
    00533c30adc x8, xzr, xzr
    00533c34adds x10, x5, x4
    00533c38str x10, [sp+1696]
    00533c3cstr x8, [sp+1688]
    00533c40str x10, [sp+1856]
    00533c44str x8, [sp+1848]
    00533c48str x8, [sp+904]
    00533c4cstr xzr, [sp+896]
    00533c50str xzr, [sp+880]
    00533c54ldr x8, [sp+952]
    00533c58ldr x10, [sp+1056]
    00533c5cadds x11, x5, x4
    00533c60adcs x11, x10, x8
    00533c64adds x11, x5, x4
    00533c68adcs x11, x10, x8
    00533c6cstr x11, [sp+1688]
    00533c70adds x12, x5, x4
    00533c74adcs x12, x10, x8
    00533c78adc x12, xzr, xzr
    00533c7cstr x12, [sp+1696]
    00533c80str x11, [sp+1840]
    00533c84str x12, [sp+1832]
    00533c88str x11, [sp+896]
    00533c8cstr x12, [sp+880]
    00533c90str xzr, [sp+872]
    00533c94str xzr, [sp+864]
    00533c98ldr x11, [sp+936]
    00533c9cldr x12, [sp+1032]
    00533ca0adcs x13, x12, x11
    00533ca4adds x13, x5, x4
    00533ca8adcs x13, x10, x8
    00533cacadcs x13, x12, x11
    00533cb0str x13, [sp+1696]
    00533cb4adds x14, x5, x4
    00533cb8adcs x14, x10, x8
    00533cbcadcs x14, x12, x11
    00533cc0adc x14, xzr, xzr
    00533cc4str x14, [sp+1688]
    00533cc8str x13, [sp+1824]
    00533cccstr x14, [sp+1816]
    00533cd0str x13, [sp+872]
    00533cd4str x14, [sp+864]
    00533cd8str xzr, [sp+856]
    00533cdcstr xzr, [sp+848]
    00533ce0ldr x13, [sp+920]
    00533ce4ldr x14, [sp+1016]
    00533ce8adcs x15, x14, x13
    00533cecadds x15, x5, x4
    00533cf0adcs x15, x10, x8
    00533cf4adcs x15, x12, x11
    00533cf8adcs x15, x14, x13
    00533cfcstr x15, [sp+1688]
    00533d00adds x4, x5, x4
    00533d04adcs x4, x10, x8
    00533d08adcs x4, x12, x11
    00533d0cadcs x4, x14, x13
    00533d10adc x4, xzr, xzr
    00533d14str x4, [sp+1696]
    00533d18str x15, [sp+1808]
    00533d1cstr x4, [sp+1800]
    00533d20str x15, [sp+856]
    00533d24str x4, [sp+848]
    00533d28ldr x5, [sp+1008]
    00533d2cldr x8, [sp+1080]
    00533d30ldr x10, [sp+1184]
    00533d34add x8, x8, x10
    00533d38add x5, x5, x8
    00533d3cadd x4, x4, x5
    00533d40ldr x5, [sp+912]
    00533d44ldr x8, [sp+984]
    00533d48add x5, x5, x8
    00533d4cadd x4, x4, x5
    00533d50str x4, [sp+840]
    00533d54str xzr, [sp+832]
    00533d58str xzr, [sp+824]
    00533d5cldr x4, [sp+896]
    00533d60orr x5, xzr, 1
    00533d64subs x8, x4, x5
    00533d68sbc x8, xzr, xzr
    00533d6csub x8, xzr, x8
    00533d70subs x10, x4, x5
    00533d74str x10, [sp+1696]
    00533d78str x8, [sp+1688]
    00533d7cstr x10, [sp+1784]
    00533d80str x8, [sp+1776]
    00533d84str x10, [sp+832]
    00533d88str x8, [sp+824]
    00533d8cstr xzr, [sp+816]
    00533d90str xzr, [sp+808]
    00533d94ldr x8, [sp+872]
    00533d98subs x10, x4, x5
    00533d9csbcs x10, x8, x7
    00533da0subs x10, x4, x5
    00533da4sbcs x10, x8, x7
    00533da8str x10, [sp+1688]
    00533dacsubs x11, x4, x5
    00533db0sbcs x11, x8, x7
    00533db4sbc x11, xzr, xzr
    00533db8sub x11, xzr, x11
    00533dbcstr x11, [sp+1696]
    00533dc0str x10, [sp+1768]
    00533dc4str x11, [sp+1760]
    00533dc8str x10, [sp+816]
    00533dccstr x11, [sp+808]
    00533dd0str xzr, [sp+792]
    00533dd4str xzr, [sp+784]
    00533dd8ldr x10, [sp+856]
    00533ddcsbcs x11, x10, x9
    00533de0subs x11, x4, x5
    00533de4sbcs x11, x8, x7
    00533de8sbcs x11, x10, x9
    00533decstr x11, [sp+1696]
    00533df0subs x12, x4, x5
    00533df4sbcs x12, x8, x7
    00533df8sbcs x12, x10, x9
    00533dfcsbc x12, xzr, xzr
    00533e00sub x12, xzr, x12
    00533e04str x12, [sp+1688]
    00533e08str x11, [sp+1752]
    00533e0cstr x12, [sp+1736]
    00533e10str x11, [sp+792]
    00533e14str x12, [sp+784]
    00533e18str xzr, [sp+776]
    00533e1cstr xzr, [sp+768]
    00533e20ldr x11, [sp+840]
    00533e24sbcs x12, x11, x6
    00533e28subs x12, x4, x5
    00533e2csbcs x12, x8, x7
    00533e30sbcs x12, x10, x9
    00533e34sbcs x12, x11, x6
    00533e38str x12, [sp+1688]
    00533e3csubs x13, x4, x5
    00533e40sbcs x13, x8, x7
    00533e44sbcs x13, x10, x9
    00533e48sbcs x13, x11, x6
    00533e4csbc x13, xzr, xzr
    00533e50mov x14, xzr
    00533e54sbcs x15, x14, x14
    00533e58subs x15, x4, x5
    00533e5csbcs x15, x8, x7
    00533e60sbcs x15, x10, x9
    00533e64sbcs x15, x11, x6
    00533e68sbcs x15, x14, x14
    00533e6csubs x4, x4, x5
    00533e70sbcs x4, x8, x7
    00533e74sbcs x4, x10, x9
    00533e78sbcs x4, x11, x6
    00533e7csbcs x4, x14, x14
    00533e80sbc x4, xzr, xzr
    00533e84sub x5, xzr, x13
    00533e88str x5, [sp+1696]
    00533e8cstr x12, [sp+1728]
    00533e90str x5, [sp+1720]
    00533e94str x12, [sp+776]
    00533e98str x5, [sp+768]
    00533e9cstr xzr, [sp+760]
    00533ea0str x15, [sp+1696]
    00533ea4sub x1, xzr, x4
    00533ea8str x1, [sp+1688]
    00533eacstr x15, [sp+1712]
    00533eb0str x1, [sp+1704]
    00533eb4str x1, [sp+760]
    00533eb8str xzr, [sp+752]
    00533ebcldr x2, [sp+832]
    00533ec0ldr x3, [sp+896]
    00533ec4add x0, sp, 752
    00533ec8bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533eccstr xzr, [sp+744]
    00533ed0ldr x2, [sp+816]
    00533ed4ldr x3, [sp+872]
    00533ed8ldr x1, [sp+760]
    00533edcadd x0, sp, 744
    00533ee0bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533ee4str xzr, [sp+736]
    00533ee8ldr x2, [sp+792]
    00533eecldr x3, [sp+856]
    00533ef0ldr x1, [sp+760]
    00533ef4add x0, sp, 736
    00533ef8bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533efcstr xzr, [sp+728]
    00533f00ldr x2, [sp+776]
    00533f04ldr x3, [sp+840]
    00533f08ldr x1, [sp+760]
    00533f0cadd x0, sp, 728
    00533f10bl crypto/internal/fips140/nistec/fiat.p224CmovznzU64
    00533f14ldr x4, [sp+2792]
    00533f18ldrsb x27, [x4]
    00533f1cldr x5, [sp+752]
    00533f20str x5, [x4]
    00533f24ldr x4, [sp+2792]
    00533f28ldrsb x27, [x4]
    00533f2cldr x5, [sp+744]
    00533f30str x5, [x4+8]
    00533f34ldr x4, [sp+2792]
    00533f38ldrsb x27, [x4]
    00533f3cldr x5, [sp+736]
    00533f40str x5, [x4+16]
    00533f44ldr x4, [sp+2792]
    00533f48ldrsb x27, [x4]
    00533f4cldr x5, [sp+728]
    00533f50str x5, [x4+24]
    00533f54ldp x29, x30, [sp-8]
    00533f58add sp, sp, 2784
    00533f5cret x30
    00533f60
    00533f60loc_533f60:
    00533f60stp x0, x1, [sp+8]
    00533f64mov x3, x30
    00533f68bl runtime.morestack_noctxt.abi0
    00533f6cldp x0, x1, [sp+8]
    00533f70b 0x532ac0
    00533f74udf 0
    00533f78udf 0
    00533f7cudf 0
    00532ac0