// File: /workspace/github_c_makefile_star2_O0/joewalnes[P]verifysignature/verifysignature.c
// Function: fe_pow22523
void fe_pow22523(fe out, const fe z) {
    fe t0;
    fe t1;
    fe t2;
    int i;

    fe_sq(t0,z);
    fe_sq(t1,t0); for (i = 1;i < 2;++i) fe_sq(t1,t1);
    fe_mul(t1,z,t1);
    fe_mul(t0,t0,t1);
    fe_sq(t0,t0);
    fe_mul(t0,t1,t0);
    fe_sq(t1,t0); for (i = 1;i < 5;++i) fe_sq(t1,t1);
    fe_mul(t0,t1,t0);
    fe_sq(t1,t0); for (i = 1;i < 10;++i) fe_sq(t1,t1);
    fe_mul(t1,t1,t0);
    fe_sq(t2,t1); for (i = 1;i < 20;++i) fe_sq(t2,t2);
    fe_mul(t1,t2,t1);
    fe_sq(t1,t1); for (i = 1;i < 10;++i) fe_sq(t1,t1);
    fe_mul(t0,t1,t0);
    fe_sq(t1,t0); for (i = 1;i < 50;++i) fe_sq(t1,t1);
    fe_mul(t1,t1,t0);
    fe_sq(t2,t1); for (i = 1;i < 100;++i) fe_sq(t2,t2);
    fe_mul(t1,t2,t1);
    fe_sq(t1,t1); for (i = 1;i < 50;++i) fe_sq(t1,t1);
    fe_mul(t0,t1,t0);
    fe_sq(t0,t0); for (i = 1;i < 2;++i) fe_sq(t0,t0);
    fe_mul(out,t0,z);
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xb0, %rsp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
leaq -0x40(%rbp), %rdi
movq -0x10(%rbp), %rsi
callq 0xa830
leaq -0x70(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0x2, -0xa4(%rbp)
jge 0xc74e
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc727
leaq -0x70(%rbp), %rdi
movq -0x10(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0x40(%rbp), %rdi
leaq -0x40(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0x40(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
leaq -0x40(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xb2f0
leaq -0x70(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0x5, -0xa4(%rbp)
jge 0xc7cc
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc7a5
leaq -0x40(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xb2f0
leaq -0x70(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0xa, -0xa4(%rbp)
jge 0xc81b
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc7f4
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0x14, -0xa4(%rbp)
jge 0xc873
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc846
leaq -0x70(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0xa, -0xa4(%rbp)
jge 0xc8c5
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc89e
leaq -0x40(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xb2f0
leaq -0x70(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0x32, -0xa4(%rbp)
jge 0xc914
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc8ed
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xb2f0
leaq -0xa0(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0x64, -0xa4(%rbp)
jge 0xc96c
leaq -0xa0(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc93f
leaq -0x70(%rbp), %rdi
leaq -0xa0(%rbp), %rsi
leaq -0x70(%rbp), %rdx
callq 0xb2f0
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0x32, -0xa4(%rbp)
jge 0xc9be
leaq -0x70(%rbp), %rdi
leaq -0x70(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc997
leaq -0x40(%rbp), %rdi
leaq -0x70(%rbp), %rsi
leaq -0x40(%rbp), %rdx
callq 0xb2f0
leaq -0x40(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
movl $0x1, -0xa4(%rbp)
cmpl $0x2, -0xa4(%rbp)
jge 0xca0d
leaq -0x40(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0xa830
movl -0xa4(%rbp), %eax
addl $0x1, %eax
movl %eax, -0xa4(%rbp)
jmp 0xc9e6
movq -0x8(%rbp), %rdi
leaq -0x40(%rbp), %rsi
movq -0x10(%rbp), %rdx
callq 0xb2f0
addq $0xb0, %rsp
popq %rbp
retq
nopw (%rax,%rax)