334 	{ u64 x40 = ((u64)x23 * x5);  in fe_mul_impl()
335 	{ u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5));  in fe_mul_impl()
336 	{ u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5));  in fe_mul_impl()
337 	{ u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5));  in fe_mul_impl()
338 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))…  in fe_mul_impl()
339 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6…  in fe_mul_impl()
340 …{ u64 x46 = (((((0x2 * ((((u64)x29 * x11) + ((u64)x25 * x15)) + ((u64)x33 * x7))) + ((u64)x27 * x1…  in fe_mul_impl()
341 …u64 x47 = (((((((((u64)x29 * x13) + ((u64)x31 * x11)) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + ((u…  in fe_mul_impl()
342 …u64 x48 = (((((((u64)x31 * x13) + (0x2 * (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x19…  in fe_mul_impl()
343 …u64 x49 = (((((((((((u64)x31 * x15) + ((u64)x33 * x13)) + ((u64)x29 * x17)) + ((u64)x35 * x11)) + …  in fe_mul_impl()
344 …u64 x50 = (((((0x2 * ((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * x2…  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()
350 	{ u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19))));  in fe_mul_impl()
351 	{ u64 x57 = (((u64)x39 * x20) + ((u64)x38 * x21));  in fe_mul_impl()
352 	{ u64 x58 = ((u64)(0x2 * x38) * x20);  in fe_mul_impl()
353 	{ u64 x59 = (x48 + (x58 << 0x4));  in fe_mul_impl()
354 	{ u64 x60 = (x59 + (x58 << 0x1));  in fe_mul_impl()
355 	{ u64 x61 = (x60 + x58);  in fe_mul_impl()
356 	{ u64 x62 = (x47 + (x57 << 0x4));  in fe_mul_impl()
357 	{ u64 x63 = (x62 + (x57 << 0x1));  in fe_mul_impl()
358 	{ u64 x64 = (x63 + x57);  in fe_mul_impl()
359 	{ u64 x65 = (x46 + (x56 << 0x4));  in fe_mul_impl()
360 	{ u64 x66 = (x65 + (x56 << 0x1));  in fe_mul_impl()
361 	{ u64 x67 = (x66 + x56);  in fe_mul_impl()
362 	{ u64 x68 = (x45 + (x55 << 0x4));  in fe_mul_impl()
363 	{ u64 x69 = (x68 + (x55 << 0x1));  in fe_mul_impl()
364 	{ u64 x70 = (x69 + x55);  in fe_mul_impl()
365 	{ u64 x71 = (x44 + (x54 << 0x4));  in fe_mul_impl()
366 	{ u64 x72 = (x71 + (x54 << 0x1));  in fe_mul_impl()
367 	{ u64 x73 = (x72 + x54);  in fe_mul_impl()
368 	{ u64 x74 = (x43 + (x53 << 0x4));  in fe_mul_impl()
369 	{ u64 x75 = (x74 + (x53 << 0x1));  in fe_mul_impl()
370 	{ u64 x76 = (x75 + x53);  in fe_mul_impl()
371 	{ u64 x77 = (x42 + (x52 << 0x4));  in fe_mul_impl()
372 	{ u64 x78 = (x77 + (x52 << 0x1));  in fe_mul_impl()
373 	{ u64 x79 = (x78 + x52);  in fe_mul_impl()
374 	{ u64 x80 = (x41 + (x51 << 0x4));  in fe_mul_impl()
375 	{ u64 x81 = (x80 + (x51 << 0x1));  in fe_mul_impl()
376 	{ u64 x82 = (x81 + x51);  in fe_mul_impl()
377 	{ u64 x83 = (x40 + (x50 << 0x4));  in fe_mul_impl()
378 	{ u64 x84 = (x83 + (x50 << 0x1));  in fe_mul_impl()
379 	{ u64 x85 = (x84 + x50);  in fe_mul_impl()
380 	{ u64 x86 = (x85 >> 0x1a);  in fe_mul_impl()
382 	{ u64 x88 = (x86 + x82);  in fe_mul_impl()
383 	{ u64 x89 = (x88 >> 0x19);  in fe_mul_impl()
385 	{ u64 x91 = (x89 + x79);  in fe_mul_impl()
386 	{ u64 x92 = (x91 >> 0x1a);  in fe_mul_impl()
388 	{ u64 x94 = (x92 + x76);  in fe_mul_impl()
389 	{ u64 x95 = (x94 >> 0x19);  in fe_mul_impl()
391 	{ u64 x97 = (x95 + x73);  in fe_mul_impl()
392 	{ u64 x98 = (x97 >> 0x1a);  in fe_mul_impl()
394 	{ u64 x100 = (x98 + x70);  in fe_mul_impl()
395 	{ u64 x101 = (x100 >> 0x19);  in fe_mul_impl()
397 	{ u64 x103 = (x101 + x67);  in fe_mul_impl()
398 	{ u64 x104 = (x103 >> 0x1a);  in fe_mul_impl()
400 	{ u64 x106 = (x104 + x64);  in fe_mul_impl()
401 	{ u64 x107 = (x106 >> 0x19);  in fe_mul_impl()
403 	{ u64 x109 = (x107 + x61);  in fe_mul_impl()
404 	{ u64 x110 = (x109 >> 0x1a);  in fe_mul_impl()
406 	{ u64 x112 = (x110 + x49);  in fe_mul_impl()
407 	{ u64 x113 = (x112 >> 0x19);  in fe_mul_impl()
409 	{ u64 x115 = (x87 + (0x13 * x113));  in fe_mul_impl()
456 	{ u64 x19 = ((u64)x2 * x2);  in fe_sqr_impl()
457 	{ u64 x20 = ((u64)(0x2 * x2) * x4);  in fe_sqr_impl()
458 	{ u64 x21 = (0x2 * (((u64)x4 * x4) + ((u64)x2 * x6)));  in fe_sqr_impl()
459 	{ u64 x22 = (0x2 * (((u64)x4 * x6) + ((u64)x2 * x8)));  in fe_sqr_impl()
460 	{ u64 x23 = ((((u64)x6 * x6) + ((u64)(0x4 * x4) * x8)) + ((u64)(0x2 * x2) * x10));  in fe_sqr_impl()
461 	{ u64 x24 = (0x2 * ((((u64)x6 * x8) + ((u64)x4 * x10)) + ((u64)x2 * x12)));  in fe_sqr_impl()
462 …{ u64 x25 = (0x2 * (((((u64)x8 * x8) + ((u64)x6 * x10)) + ((u64)x2 * x14)) + ((u64)(0x2 * x4) * x1…  in fe_sqr_impl()
463 	{ u64 x26 = (0x2 * (((((u64)x8 * x10) + ((u64)x6 * x12)) + ((u64)x4 * x14)) + ((u64)x2 * x16)));  in fe_sqr_impl()
464 …{ u64 x27 = (((u64)x10 * x10) + (0x2 * ((((u64)x6 * x14) + ((u64)x2 * x18)) + (0x2 * (((u64)x4 * x…  in fe_sqr_impl()
465 …{ u64 x28 = (0x2 * ((((((u64)x10 * x12) + ((u64)x8 * x14)) + ((u64)x6 * x16)) + ((u64)x4 * x18)) +…  in fe_sqr_impl()
466 …{ u64 x29 = (0x2 * (((((u64)x12 * x12) + ((u64)x10 * x14)) + ((u64)x6 * x18)) + (0x2 * (((u64)x8 *…  in fe_sqr_impl()
467 	{ u64 x30 = (0x2 * (((((u64)x12 * x14) + ((u64)x10 * x16)) + ((u64)x8 * x18)) + ((u64)x6 * x17)));  in fe_sqr_impl()
468 …{ u64 x31 = (((u64)x14 * x14) + (0x2 * (((u64)x10 * x18) + (0x2 * (((u64)x12 * x16) + ((u64)x8 * x…  in fe_sqr_impl()
469 	{ u64 x32 = (0x2 * ((((u64)x14 * x16) + ((u64)x12 * x18)) + ((u64)x10 * x17)));  in fe_sqr_impl()
470 	{ u64 x33 = (0x2 * ((((u64)x16 * x16) + ((u64)x14 * x18)) + ((u64)(0x2 * x12) * x17)));  in fe_sqr_impl()
471 	{ u64 x34 = (0x2 * (((u64)x16 * x18) + ((u64)x14 * x17)));  in fe_sqr_impl()
472 	{ u64 x35 = (((u64)x18 * x18) + ((u64)(0x4 * x16) * x17));  in fe_sqr_impl()
473 	{ u64 x36 = ((u64)(0x2 * x18) * x17);  in fe_sqr_impl()
474 	{ u64 x37 = ((u64)(0x2 * x17) * x17);  in fe_sqr_impl()
475 	{ u64 x38 = (x27 + (x37 << 0x4));  in fe_sqr_impl()
476 	{ u64 x39 = (x38 + (x37 << 0x1));  in fe_sqr_impl()
477 	{ u64 x40 = (x39 + x37);  in fe_sqr_impl()
478 	{ u64 x41 = (x26 + (x36 << 0x4));  in fe_sqr_impl()
479 	{ u64 x42 = (x41 + (x36 << 0x1));  in fe_sqr_impl()
480 	{ u64 x43 = (x42 + x36);  in fe_sqr_impl()
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()
484 	{ u64 x47 = (x24 + (x34 << 0x4));  in fe_sqr_impl()
485 	{ u64 x48 = (x47 + (x34 << 0x1));  in fe_sqr_impl()
486 	{ u64 x49 = (x48 + x34);  in fe_sqr_impl()
487 	{ u64 x50 = (x23 + (x33 << 0x4));  in fe_sqr_impl()
488 	{ u64 x51 = (x50 + (x33 << 0x1));  in fe_sqr_impl()
489 	{ u64 x52 = (x51 + x33);  in fe_sqr_impl()
490 	{ u64 x53 = (x22 + (x32 << 0x4));  in fe_sqr_impl()
491 	{ u64 x54 = (x53 + (x32 << 0x1));  in fe_sqr_impl()
492 	{ u64 x55 = (x54 + x32);  in fe_sqr_impl()
493 	{ u64 x56 = (x21 + (x31 << 0x4));  in fe_sqr_impl()
494 	{ u64 x57 = (x56 + (x31 << 0x1));  in fe_sqr_impl()
495 	{ u64 x58 = (x57 + x31);  in fe_sqr_impl()
496 	{ u64 x59 = (x20 + (x30 << 0x4));  in fe_sqr_impl()
497 	{ u64 x60 = (x59 + (x30 << 0x1));  in fe_sqr_impl()
498 	{ u64 x61 = (x60 + x30);  in fe_sqr_impl()
499 	{ u64 x62 = (x19 + (x29 << 0x4));  in fe_sqr_impl()
500 	{ u64 x63 = (x62 + (x29 << 0x1));  in fe_sqr_impl()
501 	{ u64 x64 = (x63 + x29);  in fe_sqr_impl()
502 	{ u64 x65 = (x64 >> 0x1a);  in fe_sqr_impl()
504 	{ u64 x67 = (x65 + x61);  in fe_sqr_impl()
505 	{ u64 x68 = (x67 >> 0x19);  in fe_sqr_impl()
507 	{ u64 x70 = (x68 + x58);  in fe_sqr_impl()
508 	{ u64 x71 = (x70 >> 0x1a);  in fe_sqr_impl()
510 	{ u64 x73 = (x71 + x55);  in fe_sqr_impl()
511 	{ u64 x74 = (x73 >> 0x19);  in fe_sqr_impl()
513 	{ u64 x76 = (x74 + x52);  in fe_sqr_impl()
514 	{ u64 x77 = (x76 >> 0x1a);  in fe_sqr_impl()
516 	{ u64 x79 = (x77 + x49);  in fe_sqr_impl()
517 	{ u64 x80 = (x79 >> 0x19);  in fe_sqr_impl()
519 	{ u64 x82 = (x80 + x46);  in fe_sqr_impl()
520 	{ u64 x83 = (x82 >> 0x1a);  in fe_sqr_impl()
522 	{ u64 x85 = (x83 + x43);  in fe_sqr_impl()
523 	{ u64 x86 = (x85 >> 0x19);  in fe_sqr_impl()
525 	{ u64 x88 = (x86 + x40);  in fe_sqr_impl()
526 	{ u64 x89 = (x88 >> 0x1a);  in fe_sqr_impl()
528 	{ u64 x91 = (x89 + x28);  in fe_sqr_impl()
529 	{ u64 x92 = (x91 >> 0x19);  in fe_sqr_impl()
531 	{ u64 x94 = (x66 + (0x13 * x92));  in fe_sqr_impl()
657 	{ u64 x40 = ((u64)x23 * x5);  in fe_mul_121666_impl()
658 	{ u64 x41 = (((u64)x23 * x7) + ((u64)x25 * x5));  in fe_mul_121666_impl()
659 	{ u64 x42 = ((((u64)(0x2 * x25) * x7) + ((u64)x23 * x9)) + ((u64)x27 * x5));  in fe_mul_121666_impl()
660 	{ u64 x43 = (((((u64)x25 * x9) + ((u64)x27 * x7)) + ((u64)x23 * x11)) + ((u64)x29 * x5));  in fe_mul_121666_impl()
661 …{ u64 x44 = (((((u64)x27 * x9) + (0x2 * (((u64)x25 * x11) + ((u64)x29 * x7)))) + ((u64)x23 * x13))…  in fe_mul_121666_impl()
662 …{ u64 x45 = (((((((u64)x27 * x11) + ((u64)x29 * x9)) + ((u64)x25 * x13)) + ((u64)x31 * x7)) + ((u6…  in fe_mul_121666_impl()
663 …{ u64 x46 = (((((0x2 * ((((u64)x29 * x11) + ((u64)x25 * x15)) + ((u64)x33 * x7))) + ((u64)x27 * x1…  in fe_mul_121666_impl()
664 …u64 x47 = (((((((((u64)x29 * x13) + ((u64)x31 * x11)) + ((u64)x27 * x15)) + ((u64)x33 * x9)) + ((u…  in fe_mul_121666_impl()
665 …u64 x48 = (((((((u64)x31 * x13) + (0x2 * (((((u64)x29 * x15) + ((u64)x33 * x11)) + ((u64)x25 * x19…  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 …u64 x50 = (((((0x2 * ((((((u64)x33 * x15) + ((u64)x29 * x19)) + ((u64)x37 * x11)) + ((u64)x25 * x2…  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()
673 	{ u64 x56 = (((u64)x39 * x21) + (0x2 * (((u64)x37 * x20) + ((u64)x38 * x19))));  in fe_mul_121666_impl()
674 	{ u64 x57 = (((u64)x39 * x20) + ((u64)x38 * x21));  in fe_mul_121666_impl()
675 	{ u64 x58 = ((u64)(0x2 * x38) * x20);  in fe_mul_121666_impl()
676 	{ u64 x59 = (x48 + (x58 << 0x4));  in fe_mul_121666_impl()
677 	{ u64 x60 = (x59 + (x58 << 0x1));  in fe_mul_121666_impl()
678 	{ u64 x61 = (x60 + x58);  in fe_mul_121666_impl()
679 	{ u64 x62 = (x47 + (x57 << 0x4));  in fe_mul_121666_impl()
680 	{ u64 x63 = (x62 + (x57 << 0x1));  in fe_mul_121666_impl()
681 	{ u64 x64 = (x63 + x57);  in fe_mul_121666_impl()
682 	{ u64 x65 = (x46 + (x56 << 0x4));  in fe_mul_121666_impl()
683 	{ u64 x66 = (x65 + (x56 << 0x1));  in fe_mul_121666_impl()
684 	{ u64 x67 = (x66 + x56);  in fe_mul_121666_impl()
685 	{ u64 x68 = (x45 + (x55 << 0x4));  in fe_mul_121666_impl()
686 	{ u64 x69 = (x68 + (x55 << 0x1));  in fe_mul_121666_impl()
687 	{ u64 x70 = (x69 + x55);  in fe_mul_121666_impl()
688 	{ u64 x71 = (x44 + (x54 << 0x4));  in fe_mul_121666_impl()
689 	{ u64 x72 = (x71 + (x54 << 0x1));  in fe_mul_121666_impl()
690 	{ u64 x73 = (x72 + x54);  in fe_mul_121666_impl()
691 	{ u64 x74 = (x43 + (x53 << 0x4));  in fe_mul_121666_impl()
692 	{ u64 x75 = (x74 + (x53 << 0x1));  in fe_mul_121666_impl()
693 	{ u64 x76 = (x75 + x53);  in fe_mul_121666_impl()
694 	{ u64 x77 = (x42 + (x52 << 0x4));  in fe_mul_121666_impl()
695 	{ u64 x78 = (x77 + (x52 << 0x1));  in fe_mul_121666_impl()
696 	{ u64 x79 = (x78 + x52);  in fe_mul_121666_impl()
697 	{ u64 x80 = (x41 + (x51 << 0x4));  in fe_mul_121666_impl()
698 	{ u64 x81 = (x80 + (x51 << 0x1));  in fe_mul_121666_impl()
699 	{ u64 x82 = (x81 + x51);  in fe_mul_121666_impl()
700 	{ u64 x83 = (x40 + (x50 << 0x4));  in fe_mul_121666_impl()
701 	{ u64 x84 = (x83 + (x50 << 0x1));  in fe_mul_121666_impl()
702 	{ u64 x85 = (x84 + x50);  in fe_mul_121666_impl()
703 	{ u64 x86 = (x85 >> 0x1a);  in fe_mul_121666_impl()
705 	{ u64 x88 = (x86 + x82);  in fe_mul_121666_impl()
706 	{ u64 x89 = (x88 >> 0x19);  in fe_mul_121666_impl()
708 	{ u64 x91 = (x89 + x79);  in fe_mul_121666_impl()
709 	{ u64 x92 = (x91 >> 0x1a);  in fe_mul_121666_impl()
711 	{ u64 x94 = (x92 + x76);  in fe_mul_121666_impl()
712 	{ u64 x95 = (x94 >> 0x19);  in fe_mul_121666_impl()
714 	{ u64 x97 = (x95 + x73);  in fe_mul_121666_impl()
715 	{ u64 x98 = (x97 >> 0x1a);  in fe_mul_121666_impl()
717 	{ u64 x100 = (x98 + x70);  in fe_mul_121666_impl()
718 	{ u64 x101 = (x100 >> 0x19);  in fe_mul_121666_impl()
720 	{ u64 x103 = (x101 + x67);  in fe_mul_121666_impl()
721 	{ u64 x104 = (x103 >> 0x1a);  in fe_mul_121666_impl()
723 	{ u64 x106 = (x104 + x64);  in fe_mul_121666_impl()
724 	{ u64 x107 = (x106 >> 0x19);  in fe_mul_121666_impl()
726 	{ u64 x109 = (x107 + x61);  in fe_mul_121666_impl()
727 	{ u64 x110 = (x109 >> 0x1a);  in fe_mul_121666_impl()
729 	{ u64 x112 = (x110 + x49);  in fe_mul_121666_impl()
730 	{ u64 x113 = (x112 >> 0x19);  in fe_mul_121666_impl()
732 	{ u64 x115 = (x87 + (0x13 * x113));  in fe_mul_121666_impl()