125 	{ u32 x35; u8/*bool*/ x36 = subborrow_u25(x33, x12, 0x1ffffff, &x35);  in fe_freeze()  local
142 	{ u32 x72; u8/*bool*/ x73 = addcarryx_u25(x69, x35, x70, &x72);  in fe_freeze()
241 	{ const u32 x35 = in2[6];  in fe_add_impl()  local
254 	out[6] = (x17 + x35);  in fe_add_impl()
284 	{ const u32 x35 = in2[6];  in fe_sub_impl()  local
297 	out[6] = ((0x7fffffe + x17) - x35);  in fe_sub_impl()
327 	{ const u32 x35 = in2[6];  in fe_mul_impl()  local
340 … + ((u64)x33 * x7))) + ((u64)x27 * x13)) + ((u64)x31 * x9)) + ((u64)x23 * x17)) + ((u64)x35 * x5));  in fe_mul_impl()
341 …* x11)) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 …  in fe_mul_impl()
342 …x11)) + ((u64)x25 * x19)) + ((u64)x37 * x7)))) + ((u64)x27 * x17)) + ((u64)x35 * x9)) + ((u64)x23 …  in fe_mul_impl()
343 …{ u64 x49 = (((((((((((u64)x31 * x15) + ((u64)x33 * x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) …  in fe_mul_impl()
344 … x11)) + ((u64)x25 * x20)) + ((u64)x38 * x7))) + ((u64)x31 * x17)) + ((u64)x35 * x13)) + ((u64)x27…  in fe_mul_impl()
345 …{ u64 x51 = (((((((((u64)x33 * x17) + ((u64)x35 * x15)) + ((u64)x31 * x19)) + ((u64)x37 * x13)) + …  in fe_mul_impl()
346 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_impl()
347 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((…  in fe_mul_impl()
348 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_impl()
349 	{ u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17));  in fe_mul_impl()
472 	{ u64 x35 = (((u64)x18 * x18) + ((u64)(0x4 * x16) * x17));  in fe_sqr_impl()  local
481 	{ u64 x44 = (x25 + (x35 << 0x4));  in fe_sqr_impl()
482 	{ u64 x45 = (x44 + (x35 << 0x1));  in fe_sqr_impl()
483 	{ u64 x46 = (x45 + x35);  in fe_sqr_impl()
650 	{ const u32 x35 = 0;  in fe_mul_121666_impl()  local
663 … + ((u64)x33 * x7))) + ((u64)x27 * x13)) + ((u64)x31 * x9)) + ((u64)x23 * x17)) + ((u64)x35 * x5));  in fe_mul_121666_impl()
664 …* x11)) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + ((u64)x25 * x17)) + ((u64)x35 * x7)) + ((u64)x23 …  in fe_mul_121666_impl()
665 …x11)) + ((u64)x25 * x19)) + ((u64)x37 * x7)))) + ((u64)x27 * x17)) + ((u64)x35 * x9)) + ((u64)x23 …  in fe_mul_121666_impl()
666 …{ u64 x49 = (((((((((((u64)x31 * x15) + ((u64)x33 * x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) …  in fe_mul_121666_impl()
667 … x11)) + ((u64)x25 * x20)) + ((u64)x38 * x7))) + ((u64)x31 * x17)) + ((u64)x35 * x13)) + ((u64)x27…  in fe_mul_121666_impl()
668 …{ u64 x51 = (((((((((u64)x33 * x17) + ((u64)x35 * x15)) + ((u64)x31 * x19)) + ((u64)x37 * x13)) + …  in fe_mul_121666_impl()
669 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_121666_impl()
670 …{ u64 x53 = (((((((u64)x35 * x19) + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((…  in fe_mul_121666_impl()
671 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_121666_impl()
672 	{ u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17));  in fe_mul_121666_impl()