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_255_5 */
45
46/* qhasm: fe z_255_21 */
47
48/* qhasm: enter pow225521 */
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#3,<z11=fe#1); for (i = 1;i < 1;++i) fe_sq(>z22=fe#3,>z22=fe#3); */
72/* asm 2: fe_sq(>z22=t2,<z11=t0); for (i = 1;i < 1;++i) fe_sq(>z22=t2,>z22=t2); */
73fe_sq(t2,t0); for (i = 1;i < 1;++i) fe_sq(t2,t2);
74
75/* qhasm: z_5_0 = z9*z22 */
76/* asm 1: fe_mul(>z_5_0=fe#2,<z9=fe#2,<z22=fe#3); */
77/* asm 2: fe_mul(>z_5_0=t1,<z9=t1,<z22=t2); */
78fe_mul(t1,t1,t2);
79
80/* qhasm: z_10_5 = z_5_0^2^5 */
81/* asm 1: fe_sq(>z_10_5=fe#3,<z_5_0=fe#2); for (i = 1;i < 5;++i) fe_sq(>z_10_5=fe#3,>z_10_5=fe#3); */
82/* asm 2: fe_sq(>z_10_5=t2,<z_5_0=t1); for (i = 1;i < 5;++i) fe_sq(>z_10_5=t2,>z_10_5=t2); */
83fe_sq(t2,t1); for (i = 1;i < 5;++i) fe_sq(t2,t2);
84
85/* qhasm: z_10_0 = z_10_5*z_5_0 */
86/* asm 1: fe_mul(>z_10_0=fe#2,<z_10_5=fe#3,<z_5_0=fe#2); */
87/* asm 2: fe_mul(>z_10_0=t1,<z_10_5=t2,<z_5_0=t1); */
88fe_mul(t1,t2,t1);
89
90/* qhasm: z_20_10 = z_10_0^2^10 */
91/* asm 1: fe_sq(>z_20_10=fe#3,<z_10_0=fe#2); for (i = 1;i < 10;++i) fe_sq(>z_20_10=fe#3,>z_20_10=fe#3); */
92/* asm 2: fe_sq(>z_20_10=t2,<z_10_0=t1); for (i = 1;i < 10;++i) fe_sq(>z_20_10=t2,>z_20_10=t2); */
93fe_sq(t2,t1); for (i = 1;i < 10;++i) fe_sq(t2,t2);
94
95/* qhasm: z_20_0 = z_20_10*z_10_0 */
96/* asm 1: fe_mul(>z_20_0=fe#3,<z_20_10=fe#3,<z_10_0=fe#2); */
97/* asm 2: fe_mul(>z_20_0=t2,<z_20_10=t2,<z_10_0=t1); */
98fe_mul(t2,t2,t1);
99
100/* qhasm: z_40_20 = z_20_0^2^20 */
101/* asm 1: fe_sq(>z_40_20=fe#4,<z_20_0=fe#3); for (i = 1;i < 20;++i) fe_sq(>z_40_20=fe#4,>z_40_20=fe#4); */
102/* asm 2: fe_sq(>z_40_20=t3,<z_20_0=t2); for (i = 1;i < 20;++i) fe_sq(>z_40_20=t3,>z_40_20=t3); */
103fe_sq(t3,t2); for (i = 1;i < 20;++i) fe_sq(t3,t3);
104
105/* qhasm: z_40_0 = z_40_20*z_20_0 */
106/* asm 1: fe_mul(>z_40_0=fe#3,<z_40_20=fe#4,<z_20_0=fe#3); */
107/* asm 2: fe_mul(>z_40_0=t2,<z_40_20=t3,<z_20_0=t2); */
108fe_mul(t2,t3,t2);
109
110/* qhasm: z_50_10 = z_40_0^2^10 */
111/* asm 1: fe_sq(>z_50_10=fe#3,<z_40_0=fe#3); for (i = 1;i < 10;++i) fe_sq(>z_50_10=fe#3,>z_50_10=fe#3); */
112/* asm 2: fe_sq(>z_50_10=t2,<z_40_0=t2); for (i = 1;i < 10;++i) fe_sq(>z_50_10=t2,>z_50_10=t2); */
113fe_sq(t2,t2); for (i = 1;i < 10;++i) fe_sq(t2,t2);
114
115/* qhasm: z_50_0 = z_50_10*z_10_0 */
116/* asm 1: fe_mul(>z_50_0=fe#2,<z_50_10=fe#3,<z_10_0=fe#2); */
117/* asm 2: fe_mul(>z_50_0=t1,<z_50_10=t2,<z_10_0=t1); */
118fe_mul(t1,t2,t1);
119
120/* qhasm: z_100_50 = z_50_0^2^50 */
121/* asm 1: fe_sq(>z_100_50=fe#3,<z_50_0=fe#2); for (i = 1;i < 50;++i) fe_sq(>z_100_50=fe#3,>z_100_50=fe#3); */
122/* asm 2: fe_sq(>z_100_50=t2,<z_50_0=t1); for (i = 1;i < 50;++i) fe_sq(>z_100_50=t2,>z_100_50=t2); */
123fe_sq(t2,t1); for (i = 1;i < 50;++i) fe_sq(t2,t2);
124
125/* qhasm: z_100_0 = z_100_50*z_50_0 */
126/* asm 1: fe_mul(>z_100_0=fe#3,<z_100_50=fe#3,<z_50_0=fe#2); */
127/* asm 2: fe_mul(>z_100_0=t2,<z_100_50=t2,<z_50_0=t1); */
128fe_mul(t2,t2,t1);
129
130/* qhasm: z_200_100 = z_100_0^2^100 */
131/* asm 1: fe_sq(>z_200_100=fe#4,<z_100_0=fe#3); for (i = 1;i < 100;++i) fe_sq(>z_200_100=fe#4,>z_200_100=fe#4); */
132/* asm 2: fe_sq(>z_200_100=t3,<z_100_0=t2); for (i = 1;i < 100;++i) fe_sq(>z_200_100=t3,>z_200_100=t3); */
133fe_sq(t3,t2); for (i = 1;i < 100;++i) fe_sq(t3,t3);
134
135/* qhasm: z_200_0 = z_200_100*z_100_0 */
136/* asm 1: fe_mul(>z_200_0=fe#3,<z_200_100=fe#4,<z_100_0=fe#3); */
137/* asm 2: fe_mul(>z_200_0=t2,<z_200_100=t3,<z_100_0=t2); */
138fe_mul(t2,t3,t2);
139
140/* qhasm: z_250_50 = z_200_0^2^50 */
141/* asm 1: fe_sq(>z_250_50=fe#3,<z_200_0=fe#3); for (i = 1;i < 50;++i) fe_sq(>z_250_50=fe#3,>z_250_50=fe#3); */
142/* asm 2: fe_sq(>z_250_50=t2,<z_200_0=t2); for (i = 1;i < 50;++i) fe_sq(>z_250_50=t2,>z_250_50=t2); */
143fe_sq(t2,t2); for (i = 1;i < 50;++i) fe_sq(t2,t2);
144
145/* qhasm: z_250_0 = z_250_50*z_50_0 */
146/* asm 1: fe_mul(>z_250_0=fe#2,<z_250_50=fe#3,<z_50_0=fe#2); */
147/* asm 2: fe_mul(>z_250_0=t1,<z_250_50=t2,<z_50_0=t1); */
148fe_mul(t1,t2,t1);
149
150/* qhasm: z_255_5 = z_250_0^2^5 */
151/* asm 1: fe_sq(>z_255_5=fe#2,<z_250_0=fe#2); for (i = 1;i < 5;++i) fe_sq(>z_255_5=fe#2,>z_255_5=fe#2); */
152/* asm 2: fe_sq(>z_255_5=t1,<z_250_0=t1); for (i = 1;i < 5;++i) fe_sq(>z_255_5=t1,>z_255_5=t1); */
153fe_sq(t1,t1); for (i = 1;i < 5;++i) fe_sq(t1,t1);
154
155/* qhasm: z_255_21 = z_255_5*z11 */
156/* asm 1: fe_mul(>z_255_21=fe#12,<z_255_5=fe#2,<z11=fe#1); */
157/* asm 2: fe_mul(>z_255_21=out,<z_255_5=t1,<z11=t0); */
158fe_mul(out,t1,t0);
159
160/* qhasm: return */
161