77 	fe51 a0, b, c, t00;  in finv()  local
80 	x25519_fe51_sqr_times(t00, a0, 2);  in finv()
82 	fmul(b, t00, i);  in finv()
85 	fsqr(t00, a0);  in finv()
87 	fmul(b, t00, b);  in finv()
88 	x25519_fe51_sqr_times(t00, b, 5);  in finv()
90 	fmul(b, t00, b);  in finv()
91 	x25519_fe51_sqr_times(t00, b, 10);  in finv()
93 	fmul(c, t00, b);  in finv()
94 	x25519_fe51_sqr_times(t00, c, 20);  in finv()
96 	fmul(t00, t00, c);  in finv()
97 	x25519_fe51_sqr_times(t00, t00, 10);  in finv()
99 	fmul(b, t00, b);  in finv()
100 	x25519_fe51_sqr_times(t00, b, 50);  in finv()
102 	fmul(c, t00, b);  in finv()
103 	x25519_fe51_sqr_times(t00, c, 100);  in finv()
105 	fmul(t00, t00, c);  in finv()
106 	x25519_fe51_sqr_times(t00, t00, 50);  in finv()
108 	fmul(t00, t00, b);  in finv()
109 	x25519_fe51_sqr_times(t00, t00, 5);  in finv()
111 	fmul(o, t00, a0);  in finv()