1
2/* qhasm: fe z1 */
3
4/* qhasm: fe z2 */
5
6/* qhasm: fe z8 */
7
8/* qhasm: fe z9 */
9
10/* qhasm: fe z11 */
11
12/* qhasm: fe z22 */
13
14/* qhasm: fe z_5_0 */
15
16/* qhasm: fe z_10_5 */
17
18/* qhasm: fe z_10_0 */
19
20/* qhasm: fe z_20_10 */
21
22/* qhasm: fe z_20_0 */
23
24/* qhasm: fe z_40_20 */
25
26/* qhasm: fe z_40_0 */
27
28/* qhasm: fe z_50_10 */
29
30/* qhasm: fe z_50_0 */
31
32/* qhasm: fe z_100_50 */
33
34/* qhasm: fe z_100_0 */
35
36/* qhasm: fe z_200_100 */
37
38/* qhasm: fe z_200_0 */
39
40/* qhasm: fe z_250_50 */
41
42/* qhasm: fe z_250_0 */
43
44/* qhasm: fe z_252_2 */
45
46/* qhasm: fe z_252_3 */
47
48/* qhasm: enter pow22523 */
49
50/* qhasm: z2 = z1^2^1 */
51/* asm 1: fe_sq(>z2=fe#1,<z1=fe#11); for (i = 1;i < 1;++i) fe_sq(>z2=fe#1,>z2=fe#1); */
52/* asm 2: fe_sq(>z2=t0,<z1=z); for (i = 1;i < 1;++i) fe_sq(>z2=t0,>z2=t0); */
53fe_sq(t0,z); for (i = 1;i < 1;++i) fe_sq(t0,t0);
54
55/* qhasm: z8 = z2^2^2 */
56/* asm 1: fe_sq(>z8=fe#2,<z2=fe#1); for (i = 1;i < 2;++i) fe_sq(>z8=fe#2,>z8=fe#2); */
57/* asm 2: fe_sq(>z8=t1,<z2=t0); for (i = 1;i < 2;++i) fe_sq(>z8=t1,>z8=t1); */
58fe_sq(t1,t0); for (i = 1;i < 2;++i) fe_sq(t1,t1);
59
60/* qhasm: z9 = z1*z8 */
61/* asm 1: fe_mul(>z9=fe#2,<z1=fe#11,<z8=fe#2); */
62/* asm 2: fe_mul(>z9=t1,<z1=z,<z8=t1); */
63fe_mul(t1,z,t1);
64
65/* qhasm: z11 = z2*z9 */
66/* asm 1: fe_mul(>z11=fe#1,<z2=fe#1,<z9=fe#2); */
67/* asm 2: fe_mul(>z11=t0,<z2=t0,<z9=t1); */
68fe_mul(t0,t0,t1);
69
70/* qhasm: z22 = z11^2^1 */
71/* asm 1: fe_sq(>z22=fe#1,<z11=fe#1); for (i = 1;i < 1;++i) fe_sq(>z22=fe#1,>z22=fe#1); */
72/* asm 2: fe_sq(>z22=t0,<z11=t0); for (i = 1;i < 1;++i) fe_sq(>z22=t0,>z22=t0); */
73fe_sq(t0,t0); for (i = 1;i < 1;++i) fe_sq(t0,t0);
74
75/* qhasm: z_5_0 = z9*z22 */
76/* asm 1: fe_mul(>z_5_0=fe#1,<z9=fe#2,<z22=fe#1); */
77/* asm 2: fe_mul(>z_5_0=t0,<z9=t1,<z22=t0); */
78fe_mul(t0,t1,t0);
79
80/* qhasm: z_10_5 = z_5_0^2^5 */
81/* asm 1: fe_sq(>z_10_5=fe#2,<z_5_0=fe#1); for (i = 1;i < 5;++i) fe_sq(>z_10_5=fe#2,>z_10_5=fe#2); */
82/* asm 2: fe_sq(>z_10_5=t1,<z_5_0=t0); for (i = 1;i < 5;++i) fe_sq(>z_10_5=t1,>z_10_5=t1); */
83fe_sq(t1,t0); for (i = 1;i < 5;++i) fe_sq(t1,t1);
84
85/* qhasm: z_10_0 = z_10_5*z_5_0 */
86/* asm 1: fe_mul(>z_10_0=fe#1,<z_10_5=fe#2,<z_5_0=fe#1); */
87/* asm 2: fe_mul(>z_10_0=t0,<z_10_5=t1,<z_5_0=t0); */
88fe_mul(t0,t1,t0);
89
90/* qhasm: z_20_10 = z_10_0^2^10 */
91/* asm 1: fe_sq(>z_20_10=fe#2,<z_10_0=fe#1); for (i = 1;i < 10;++i) fe_sq(>z_20_10=fe#2,>z_20_10=fe#2); */
92/* asm 2: fe_sq(>z_20_10=t1,<z_10_0=t0); for (i = 1;i < 10;++i) fe_sq(>z_20_10=t1,>z_20_10=t1); */
93fe_sq(t1,t0); for (i = 1;i < 10;++i) fe_sq(t1,t1);
94
95/* qhasm: z_20_0 = z_20_10*z_10_0 */
96/* asm 1: fe_mul(>z_20_0=fe#2,<z_20_10=fe#2,<z_10_0=fe#1); */
97/* asm 2: fe_mul(>z_20_0=t1,<z_20_10=t1,<z_10_0=t0); */
98fe_mul(t1,t1,t0);
99
100/* qhasm: z_40_20 = z_20_0^2^20 */
101/* asm 1: fe_sq(>z_40_20=fe#3,<z_20_0=fe#2); for (i = 1;i < 20;++i) fe_sq(>z_40_20=fe#3,>z_40_20=fe#3); */
102/* asm 2: fe_sq(>z_40_20=t2,<z_20_0=t1); for (i = 1;i < 20;++i) fe_sq(>z_40_20=t2,>z_40_20=t2); */
103fe_sq(t2,t1); for (i = 1;i < 20;++i) fe_sq(t2,t2);
104
105/* qhasm: z_40_0 = z_40_20*z_20_0 */
106/* asm 1: fe_mul(>z_40_0=fe#2,<z_40_20=fe#3,<z_20_0=fe#2); */
107/* asm 2: fe_mul(>z_40_0=t1,<z_40_20=t2,<z_20_0=t1); */
108fe_mul(t1,t2,t1);
109
110/* qhasm: z_50_10 = z_40_0^2^10 */
111/* asm 1: fe_sq(>z_50_10=fe#2,<z_40_0=fe#2); for (i = 1;i < 10;++i) fe_sq(>z_50_10=fe#2,>z_50_10=fe#2); */
112/* asm 2: fe_sq(>z_50_10=t1,<z_40_0=t1); for (i = 1;i < 10;++i) fe_sq(>z_50_10=t1,>z_50_10=t1); */
113fe_sq(t1,t1); for (i = 1;i < 10;++i) fe_sq(t1,t1);
114
115/* qhasm: z_50_0 = z_50_10*z_10_0 */
116/* asm 1: fe_mul(>z_50_0=fe#1,<z_50_10=fe#2,<z_10_0=fe#1); */
117/* asm 2: fe_mul(>z_50_0=t0,<z_50_10=t1,<z_10_0=t0); */
118fe_mul(t0,t1,t0);
119
120/* qhasm: z_100_50 = z_50_0^2^50 */
121/* asm 1: fe_sq(>z_100_50=fe#2,<z_50_0=fe#1); for (i = 1;i < 50;++i) fe_sq(>z_100_50=fe#2,>z_100_50=fe#2); */
122/* asm 2: fe_sq(>z_100_50=t1,<z_50_0=t0); for (i = 1;i < 50;++i) fe_sq(>z_100_50=t1,>z_100_50=t1); */
123fe_sq(t1,t0); for (i = 1;i < 50;++i) fe_sq(t1,t1);
124
125/* qhasm: z_100_0 = z_100_50*z_50_0 */
126/* asm 1: fe_mul(>z_100_0=fe#2,<z_100_50=fe#2,<z_50_0=fe#1); */
127/* asm 2: fe_mul(>z_100_0=t1,<z_100_50=t1,<z_50_0=t0); */
128fe_mul(t1,t1,t0);
129
130/* qhasm: z_200_100 = z_100_0^2^100 */
131/* asm 1: fe_sq(>z_200_100=fe#3,<z_100_0=fe#2); for (i = 1;i < 100;++i) fe_sq(>z_200_100=fe#3,>z_200_100=fe#3); */
132/* asm 2: fe_sq(>z_200_100=t2,<z_100_0=t1); for (i = 1;i < 100;++i) fe_sq(>z_200_100=t2,>z_200_100=t2); */
133fe_sq(t2,t1); for (i = 1;i < 100;++i) fe_sq(t2,t2);
134
135/* qhasm: z_200_0 = z_200_100*z_100_0 */
136/* asm 1: fe_mul(>z_200_0=fe#2,<z_200_100=fe#3,<z_100_0=fe#2); */
137/* asm 2: fe_mul(>z_200_0=t1,<z_200_100=t2,<z_100_0=t1); */
138fe_mul(t1,t2,t1);
139
140/* qhasm: z_250_50 = z_200_0^2^50 */
141/* asm 1: fe_sq(>z_250_50=fe#2,<z_200_0=fe#2); for (i = 1;i < 50;++i) fe_sq(>z_250_50=fe#2,>z_250_50=fe#2); */
142/* asm 2: fe_sq(>z_250_50=t1,<z_200_0=t1); for (i = 1;i < 50;++i) fe_sq(>z_250_50=t1,>z_250_50=t1); */
143fe_sq(t1,t1); for (i = 1;i < 50;++i) fe_sq(t1,t1);
144
145/* qhasm: z_250_0 = z_250_50*z_50_0 */
146/* asm 1: fe_mul(>z_250_0=fe#1,<z_250_50=fe#2,<z_50_0=fe#1); */
147/* asm 2: fe_mul(>z_250_0=t0,<z_250_50=t1,<z_50_0=t0); */
148fe_mul(t0,t1,t0);
149
150/* qhasm: z_252_2 = z_250_0^2^2 */
151/* asm 1: fe_sq(>z_252_2=fe#1,<z_250_0=fe#1); for (i = 1;i < 2;++i) fe_sq(>z_252_2=fe#1,>z_252_2=fe#1); */
152/* asm 2: fe_sq(>z_252_2=t0,<z_250_0=t0); for (i = 1;i < 2;++i) fe_sq(>z_252_2=t0,>z_252_2=t0); */
153fe_sq(t0,t0); for (i = 1;i < 2;++i) fe_sq(t0,t0);
154
155/* qhasm: z_252_3 = z_252_2*z1 */
156/* asm 1: fe_mul(>z_252_3=fe#12,<z_252_2=fe#1,<z1=fe#11); */
157/* asm 2: fe_mul(>z_252_3=out,<z_252_2=t0,<z1=z); */
158fe_mul(out,t0,z);
159
160/* qhasm: return */
161