116 	{ u32 x20; u8/*bool*/ x21 = subborrow_u26(0x0, x2, 0x3ffffed, &x20);  in fe_freeze()  local
128 	{ u32 x52; u8/*bool*/ x53 = addcarryx_u26(0x0, x20, x50, &x52);  in fe_freeze()
224 	{ const u32 x20 = in1[9];  in fe_add_impl()  local
253 	out[9] = (x20 + x38);  in fe_add_impl()
267 	{ const u32 x20 = in1[9];  in fe_sub_impl()  local
296 	out[9] = ((0x3fffffe + x20) - x38);  in fe_sub_impl()
310 	{ const u32 x20 = in1[9];  in fe_mul_impl()  local
339 …)) + ((u64)x37 * x9)) + ((u64)x25 * x21)) + ((u64)x39 * x7)) + ((u64)x23 * x20)) + ((u64)x38 * x5)…  in fe_mul_impl()
340 …((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * x20)) + ((u64)x38 * x7)…  in fe_mul_impl()
341 … + ((u64)x37 * x13)) + ((u64)x29 * x21)) + ((u64)x39 * x11)) + ((u64)x27 * x20)) + ((u64)x38 * x9)…  in fe_mul_impl()
342 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_impl()
343 … + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((u64)x31 * x20)) + ((u64)x38 * x13…  in fe_mul_impl()
344 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_impl()
345 	{ u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17));  in fe_mul_impl()
346 	{ u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19))));  in fe_mul_impl()
347 	{ u64 x57 = (((u64)x39 * x20) + ((u64)x38 * x21));  in fe_mul_impl()
348 	{ u64 x58 = ((u64)(0x2 * x38) * x20);  in fe_mul_impl()
453 	{ u64 x20 = ((u64)(0x2 * x2) * x4);  in fe_sqr_impl()  local
492 	{ u64 x59 = (x20 + (x30 << 0x4));  in fe_sqr_impl()
633 	{ const u32 x20 = in1[9];  in fe_mul_121666_impl()  local
662 …)) + ((u64)x37 * x9)) + ((u64)x25 * x21)) + ((u64)x39 * x7)) + ((u64)x23 * x20)) + ((u64)x38 * x5)…  in fe_mul_121666_impl()
663 …((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * x20)) + ((u64)x38 * x7)…  in fe_mul_121666_impl()
664 … + ((u64)x37 * x13)) + ((u64)x29 * x21)) + ((u64)x39 * x11)) + ((u64)x27 * x20)) + ((u64)x38 * x9)…  in fe_mul_121666_impl()
665 …{ u64 x52 = (((((u64)x35 * x17) + (0x2 * (((((u64)x33 * x19) + ((u64)x37 * x15)) + ((u64)x29 * x20…  in fe_mul_121666_impl()
666 … + ((u64)x37 * x17)) + ((u64)x33 * x21)) + ((u64)x39 * x15)) + ((u64)x31 * x20)) + ((u64)x38 * x13…  in fe_mul_121666_impl()
667 …{ u64 x54 = (((0x2 * ((((u64)x37 * x19) + ((u64)x33 * x20)) + ((u64)x38 * x15))) + ((u64)x35 * x21…  in fe_mul_121666_impl()
668 	{ u64 x55 = (((((u64)x37 * x21) + ((u64)x39 * x19)) + ((u64)x35 * x20)) + ((u64)x38 * x17));  in fe_mul_121666_impl()
669 	{ u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19))));  in fe_mul_121666_impl()
670 	{ u64 x57 = (((u64)x39 * x20) + ((u64)x38 * x21));  in fe_mul_121666_impl()
671 	{ u64 x58 = ((u64)(0x2 * x38) * x20);  in fe_mul_121666_impl()