6 files changed, 0 insertions, 498 deletions

diff --git a/src/Specific/montgomery32_2e226m5/femulDisplay.log b/src/Specific/montgomery32_2e226m5/femulDisplay.log
deleted file mode 100644
index 5fc4a163b..000000000
--- a/src/Specific/montgomery32_2e226m5/femulDisplay.log
+++ /dev/null
@@ -1,431 +0,0 @@
-λ x x0 : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32,
-Interp-η
-(λ var : Syntax.base_type → Type,
- λ '(x16, x17, x15, x13, x11, x9, x7, x5, (x30, x31, x29, x27, x25, x23, x21, x19))%core,
- uint32_t x33, uint32_t x34 = mulx_u32(x5, x19);
- uint32_t x36, uint32_t x37 = mulx_u32(x5, x21);
- uint32_t x39, uint32_t x40 = mulx_u32(x5, x23);
- uint32_t x42, uint32_t x43 = mulx_u32(x5, x25);
- uint32_t x45, uint32_t x46 = mulx_u32(x5, x27);
- uint32_t x48, uint32_t x49 = mulx_u32(x5, x29);
- uint32_t x51, uint32_t x52 = mulx_u32(x5, x31);
- uint32_t x54, uint32_t x55 = mulx_u32(x5, x30);
- uint32_t x57, uint8_t x58 = addcarryx_u32(0x0, x34, x36);
- uint32_t x60, uint8_t x61 = addcarryx_u32(x58, x37, x39);
- uint32_t x63, uint8_t x64 = addcarryx_u32(x61, x40, x42);
- uint32_t x66, uint8_t x67 = addcarryx_u32(x64, x43, x45);
- uint32_t x69, uint8_t x70 = addcarryx_u32(x67, x46, x48);
- uint32_t x72, uint8_t x73 = addcarryx_u32(x70, x49, x51);
- uint32_t x75, uint8_t x76 = addcarryx_u32(x73, x52, x54);
- uint32_t x78, uint8_t _ = addcarryx_u32(0x0, x76, x55);
- uint32_t x81, uint32_t _ = mulx_u32(x33, 0xcccccccd);
- uint32_t x84, uint32_t x85 = mulx_u32(x81, 0xfffffffb);
- uint32_t x87, uint32_t x88 = mulx_u32(x81, 0xffffffff);
- uint32_t x90, uint32_t x91 = mulx_u32(x81, 0xffffffff);
- uint32_t x93, uint32_t x94 = mulx_u32(x81, 0xffffffff);
- uint32_t x96, uint32_t x97 = mulx_u32(x81, 0xffffffff);
- uint32_t x99, uint32_t x100 = mulx_u32(x81, 0xffffffff);
- uint32_t x102, uint32_t x103 = mulx_u32(x81, 0xffffffff);
- uint32_t x105, uint8_t x106 = mulx_u32_out_u8(x81, 0x3);
- uint32_t x108, uint8_t x109 = addcarryx_u32(0x0, x85, x87);
- uint32_t x111, uint8_t x112 = addcarryx_u32(x109, x88, x90);
- uint32_t x114, uint8_t x115 = addcarryx_u32(x112, x91, x93);
- uint32_t x117, uint8_t x118 = addcarryx_u32(x115, x94, x96);
- uint32_t x120, uint8_t x121 = addcarryx_u32(x118, x97, x99);
- uint32_t x123, uint8_t x124 = addcarryx_u32(x121, x100, x102);
- uint32_t x126, uint8_t x127 = addcarryx_u32(x124, x103, x105);
- uint8_t x128 = (x127 + x106);
- uint32_t _, uint8_t x131 = addcarryx_u32(0x0, x33, x84);
- uint32_t x133, uint8_t x134 = addcarryx_u32(x131, x57, x108);
- uint32_t x136, uint8_t x137 = addcarryx_u32(x134, x60, x111);
- uint32_t x139, uint8_t x140 = addcarryx_u32(x137, x63, x114);
- uint32_t x142, uint8_t x143 = addcarryx_u32(x140, x66, x117);
- uint32_t x145, uint8_t x146 = addcarryx_u32(x143, x69, x120);
- uint32_t x148, uint8_t x149 = addcarryx_u32(x146, x72, x123);
- uint32_t x151, uint8_t x152 = addcarryx_u32(x149, x75, x126);
- uint32_t x154, uint8_t x155 = addcarryx_u32(x152, x78, x128);
- uint8_t x156 = (x155 + 0x0);
- uint32_t x158, uint32_t x159 = mulx_u32(x7, x19);
- uint32_t x161, uint32_t x162 = mulx_u32(x7, x21);
- uint32_t x164, uint32_t x165 = mulx_u32(x7, x23);
- uint32_t x167, uint32_t x168 = mulx_u32(x7, x25);
- uint32_t x170, uint32_t x171 = mulx_u32(x7, x27);
- uint32_t x173, uint32_t x174 = mulx_u32(x7, x29);
- uint32_t x176, uint32_t x177 = mulx_u32(x7, x31);
- uint32_t x179, uint32_t x180 = mulx_u32(x7, x30);
- uint32_t x182, uint8_t x183 = addcarryx_u32(0x0, x159, x161);
- uint32_t x185, uint8_t x186 = addcarryx_u32(x183, x162, x164);
- uint32_t x188, uint8_t x189 = addcarryx_u32(x186, x165, x167);
- uint32_t x191, uint8_t x192 = addcarryx_u32(x189, x168, x170);
- uint32_t x194, uint8_t x195 = addcarryx_u32(x192, x171, x173);
- uint32_t x197, uint8_t x198 = addcarryx_u32(x195, x174, x176);
- uint32_t x200, uint8_t x201 = addcarryx_u32(x198, x177, x179);
- uint32_t x203, uint8_t _ = addcarryx_u32(0x0, x201, x180);
- uint32_t x206, uint8_t x207 = addcarryx_u32(0x0, x133, x158);
- uint32_t x209, uint8_t x210 = addcarryx_u32(x207, x136, x182);
- uint32_t x212, uint8_t x213 = addcarryx_u32(x210, x139, x185);
- uint32_t x215, uint8_t x216 = addcarryx_u32(x213, x142, x188);
- uint32_t x218, uint8_t x219 = addcarryx_u32(x216, x145, x191);
- uint32_t x221, uint8_t x222 = addcarryx_u32(x219, x148, x194);
- uint32_t x224, uint8_t x225 = addcarryx_u32(x222, x151, x197);
- uint32_t x227, uint8_t x228 = addcarryx_u32(x225, x154, x200);
- uint32_t x230, uint8_t x231 = addcarryx_u32(x228, x156, x203);
- uint32_t x233, uint32_t _ = mulx_u32(x206, 0xcccccccd);
- uint32_t x236, uint32_t x237 = mulx_u32(x233, 0xfffffffb);
- uint32_t x239, uint32_t x240 = mulx_u32(x233, 0xffffffff);
- uint32_t x242, uint32_t x243 = mulx_u32(x233, 0xffffffff);
- uint32_t x245, uint32_t x246 = mulx_u32(x233, 0xffffffff);
- uint32_t x248, uint32_t x249 = mulx_u32(x233, 0xffffffff);
- uint32_t x251, uint32_t x252 = mulx_u32(x233, 0xffffffff);
- uint32_t x254, uint32_t x255 = mulx_u32(x233, 0xffffffff);
- uint32_t x257, uint8_t x258 = mulx_u32_out_u8(x233, 0x3);
- uint32_t x260, uint8_t x261 = addcarryx_u32(0x0, x237, x239);
- uint32_t x263, uint8_t x264 = addcarryx_u32(x261, x240, x242);
- uint32_t x266, uint8_t x267 = addcarryx_u32(x264, x243, x245);
- uint32_t x269, uint8_t x270 = addcarryx_u32(x267, x246, x248);
- uint32_t x272, uint8_t x273 = addcarryx_u32(x270, x249, x251);
- uint32_t x275, uint8_t x276 = addcarryx_u32(x273, x252, x254);
- uint32_t x278, uint8_t x279 = addcarryx_u32(x276, x255, x257);
- uint8_t x280 = (x279 + x258);
- uint32_t _, uint8_t x283 = addcarryx_u32(0x0, x206, x236);
- uint32_t x285, uint8_t x286 = addcarryx_u32(x283, x209, x260);
- uint32_t x288, uint8_t x289 = addcarryx_u32(x286, x212, x263);
- uint32_t x291, uint8_t x292 = addcarryx_u32(x289, x215, x266);
- uint32_t x294, uint8_t x295 = addcarryx_u32(x292, x218, x269);
- uint32_t x297, uint8_t x298 = addcarryx_u32(x295, x221, x272);
- uint32_t x300, uint8_t x301 = addcarryx_u32(x298, x224, x275);
- uint32_t x303, uint8_t x304 = addcarryx_u32(x301, x227, x278);
- uint32_t x306, uint8_t x307 = addcarryx_u32(x304, x230, x280);
- uint8_t x308 = (x307 + x231);
- uint32_t x310, uint32_t x311 = mulx_u32(x9, x19);
- uint32_t x313, uint32_t x314 = mulx_u32(x9, x21);
- uint32_t x316, uint32_t x317 = mulx_u32(x9, x23);
- uint32_t x319, uint32_t x320 = mulx_u32(x9, x25);
- uint32_t x322, uint32_t x323 = mulx_u32(x9, x27);
- uint32_t x325, uint32_t x326 = mulx_u32(x9, x29);
- uint32_t x328, uint32_t x329 = mulx_u32(x9, x31);
- uint32_t x331, uint32_t x332 = mulx_u32(x9, x30);
- uint32_t x334, uint8_t x335 = addcarryx_u32(0x0, x311, x313);
- uint32_t x337, uint8_t x338 = addcarryx_u32(x335, x314, x316);
- uint32_t x340, uint8_t x341 = addcarryx_u32(x338, x317, x319);
- uint32_t x343, uint8_t x344 = addcarryx_u32(x341, x320, x322);
- uint32_t x346, uint8_t x347 = addcarryx_u32(x344, x323, x325);
- uint32_t x349, uint8_t x350 = addcarryx_u32(x347, x326, x328);
- uint32_t x352, uint8_t x353 = addcarryx_u32(x350, x329, x331);
- uint32_t x355, uint8_t _ = addcarryx_u32(0x0, x353, x332);
- uint32_t x358, uint8_t x359 = addcarryx_u32(0x0, x285, x310);
- uint32_t x361, uint8_t x362 = addcarryx_u32(x359, x288, x334);
- uint32_t x364, uint8_t x365 = addcarryx_u32(x362, x291, x337);
- uint32_t x367, uint8_t x368 = addcarryx_u32(x365, x294, x340);
- uint32_t x370, uint8_t x371 = addcarryx_u32(x368, x297, x343);
- uint32_t x373, uint8_t x374 = addcarryx_u32(x371, x300, x346);
- uint32_t x376, uint8_t x377 = addcarryx_u32(x374, x303, x349);
- uint32_t x379, uint8_t x380 = addcarryx_u32(x377, x306, x352);
- uint32_t x382, uint8_t x383 = addcarryx_u32(x380, x308, x355);
- uint32_t x385, uint32_t _ = mulx_u32(x358, 0xcccccccd);
- uint32_t x388, uint32_t x389 = mulx_u32(x385, 0xfffffffb);
- uint32_t x391, uint32_t x392 = mulx_u32(x385, 0xffffffff);
- uint32_t x394, uint32_t x395 = mulx_u32(x385, 0xffffffff);
- uint32_t x397, uint32_t x398 = mulx_u32(x385, 0xffffffff);
- uint32_t x400, uint32_t x401 = mulx_u32(x385, 0xffffffff);
- uint32_t x403, uint32_t x404 = mulx_u32(x385, 0xffffffff);
- uint32_t x406, uint32_t x407 = mulx_u32(x385, 0xffffffff);
- uint32_t x409, uint8_t x410 = mulx_u32_out_u8(x385, 0x3);
- uint32_t x412, uint8_t x413 = addcarryx_u32(0x0, x389, x391);
- uint32_t x415, uint8_t x416 = addcarryx_u32(x413, x392, x394);
- uint32_t x418, uint8_t x419 = addcarryx_u32(x416, x395, x397);
- uint32_t x421, uint8_t x422 = addcarryx_u32(x419, x398, x400);
- uint32_t x424, uint8_t x425 = addcarryx_u32(x422, x401, x403);
- uint32_t x427, uint8_t x428 = addcarryx_u32(x425, x404, x406);
- uint32_t x430, uint8_t x431 = addcarryx_u32(x428, x407, x409);
- uint8_t x432 = (x431 + x410);
- uint32_t _, uint8_t x435 = addcarryx_u32(0x0, x358, x388);
- uint32_t x437, uint8_t x438 = addcarryx_u32(x435, x361, x412);
- uint32_t x440, uint8_t x441 = addcarryx_u32(x438, x364, x415);
- uint32_t x443, uint8_t x444 = addcarryx_u32(x441, x367, x418);
- uint32_t x446, uint8_t x447 = addcarryx_u32(x444, x370, x421);
- uint32_t x449, uint8_t x450 = addcarryx_u32(x447, x373, x424);
- uint32_t x452, uint8_t x453 = addcarryx_u32(x450, x376, x427);
- uint32_t x455, uint8_t x456 = addcarryx_u32(x453, x379, x430);
- uint32_t x458, uint8_t x459 = addcarryx_u32(x456, x382, x432);
- uint8_t x460 = (x459 + x383);
- uint32_t x462, uint32_t x463 = mulx_u32(x11, x19);
- uint32_t x465, uint32_t x466 = mulx_u32(x11, x21);
- uint32_t x468, uint32_t x469 = mulx_u32(x11, x23);
- uint32_t x471, uint32_t x472 = mulx_u32(x11, x25);
- uint32_t x474, uint32_t x475 = mulx_u32(x11, x27);
- uint32_t x477, uint32_t x478 = mulx_u32(x11, x29);
- uint32_t x480, uint32_t x481 = mulx_u32(x11, x31);
- uint32_t x483, uint32_t x484 = mulx_u32(x11, x30);
- uint32_t x486, uint8_t x487 = addcarryx_u32(0x0, x463, x465);
- uint32_t x489, uint8_t x490 = addcarryx_u32(x487, x466, x468);
- uint32_t x492, uint8_t x493 = addcarryx_u32(x490, x469, x471);
- uint32_t x495, uint8_t x496 = addcarryx_u32(x493, x472, x474);
- uint32_t x498, uint8_t x499 = addcarryx_u32(x496, x475, x477);
- uint32_t x501, uint8_t x502 = addcarryx_u32(x499, x478, x480);
- uint32_t x504, uint8_t x505 = addcarryx_u32(x502, x481, x483);
- uint32_t x507, uint8_t _ = addcarryx_u32(0x0, x505, x484);
- uint32_t x510, uint8_t x511 = addcarryx_u32(0x0, x437, x462);
- uint32_t x513, uint8_t x514 = addcarryx_u32(x511, x440, x486);
- uint32_t x516, uint8_t x517 = addcarryx_u32(x514, x443, x489);
- uint32_t x519, uint8_t x520 = addcarryx_u32(x517, x446, x492);
- uint32_t x522, uint8_t x523 = addcarryx_u32(x520, x449, x495);
- uint32_t x525, uint8_t x526 = addcarryx_u32(x523, x452, x498);
- uint32_t x528, uint8_t x529 = addcarryx_u32(x526, x455, x501);
- uint32_t x531, uint8_t x532 = addcarryx_u32(x529, x458, x504);
- uint32_t x534, uint8_t x535 = addcarryx_u32(x532, x460, x507);
- uint32_t x537, uint32_t _ = mulx_u32(x510, 0xcccccccd);
- uint32_t x540, uint32_t x541 = mulx_u32(x537, 0xfffffffb);
- uint32_t x543, uint32_t x544 = mulx_u32(x537, 0xffffffff);
- uint32_t x546, uint32_t x547 = mulx_u32(x537, 0xffffffff);
- uint32_t x549, uint32_t x550 = mulx_u32(x537, 0xffffffff);
- uint32_t x552, uint32_t x553 = mulx_u32(x537, 0xffffffff);
- uint32_t x555, uint32_t x556 = mulx_u32(x537, 0xffffffff);
- uint32_t x558, uint32_t x559 = mulx_u32(x537, 0xffffffff);
- uint32_t x561, uint8_t x562 = mulx_u32_out_u8(x537, 0x3);
- uint32_t x564, uint8_t x565 = addcarryx_u32(0x0, x541, x543);
- uint32_t x567, uint8_t x568 = addcarryx_u32(x565, x544, x546);
- uint32_t x570, uint8_t x571 = addcarryx_u32(x568, x547, x549);
- uint32_t x573, uint8_t x574 = addcarryx_u32(x571, x550, x552);
- uint32_t x576, uint8_t x577 = addcarryx_u32(x574, x553, x555);
- uint32_t x579, uint8_t x580 = addcarryx_u32(x577, x556, x558);
- uint32_t x582, uint8_t x583 = addcarryx_u32(x580, x559, x561);
- uint8_t x584 = (x583 + x562);
- uint32_t _, uint8_t x587 = addcarryx_u32(0x0, x510, x540);
- uint32_t x589, uint8_t x590 = addcarryx_u32(x587, x513, x564);
- uint32_t x592, uint8_t x593 = addcarryx_u32(x590, x516, x567);
- uint32_t x595, uint8_t x596 = addcarryx_u32(x593, x519, x570);
- uint32_t x598, uint8_t x599 = addcarryx_u32(x596, x522, x573);
- uint32_t x601, uint8_t x602 = addcarryx_u32(x599, x525, x576);
- uint32_t x604, uint8_t x605 = addcarryx_u32(x602, x528, x579);
- uint32_t x607, uint8_t x608 = addcarryx_u32(x605, x531, x582);
- uint32_t x610, uint8_t x611 = addcarryx_u32(x608, x534, x584);
- uint8_t x612 = (x611 + x535);
- uint32_t x614, uint32_t x615 = mulx_u32(x13, x19);
- uint32_t x617, uint32_t x618 = mulx_u32(x13, x21);
- uint32_t x620, uint32_t x621 = mulx_u32(x13, x23);
- uint32_t x623, uint32_t x624 = mulx_u32(x13, x25);
- uint32_t x626, uint32_t x627 = mulx_u32(x13, x27);
- uint32_t x629, uint32_t x630 = mulx_u32(x13, x29);
- uint32_t x632, uint32_t x633 = mulx_u32(x13, x31);
- uint32_t x635, uint32_t x636 = mulx_u32(x13, x30);
- uint32_t x638, uint8_t x639 = addcarryx_u32(0x0, x615, x617);
- uint32_t x641, uint8_t x642 = addcarryx_u32(x639, x618, x620);
- uint32_t x644, uint8_t x645 = addcarryx_u32(x642, x621, x623);
- uint32_t x647, uint8_t x648 = addcarryx_u32(x645, x624, x626);
- uint32_t x650, uint8_t x651 = addcarryx_u32(x648, x627, x629);
- uint32_t x653, uint8_t x654 = addcarryx_u32(x651, x630, x632);
- uint32_t x656, uint8_t x657 = addcarryx_u32(x654, x633, x635);
- uint32_t x659, uint8_t _ = addcarryx_u32(0x0, x657, x636);
- uint32_t x662, uint8_t x663 = addcarryx_u32(0x0, x589, x614);
- uint32_t x665, uint8_t x666 = addcarryx_u32(x663, x592, x638);
- uint32_t x668, uint8_t x669 = addcarryx_u32(x666, x595, x641);
- uint32_t x671, uint8_t x672 = addcarryx_u32(x669, x598, x644);
- uint32_t x674, uint8_t x675 = addcarryx_u32(x672, x601, x647);
- uint32_t x677, uint8_t x678 = addcarryx_u32(x675, x604, x650);
- uint32_t x680, uint8_t x681 = addcarryx_u32(x678, x607, x653);
- uint32_t x683, uint8_t x684 = addcarryx_u32(x681, x610, x656);
- uint32_t x686, uint8_t x687 = addcarryx_u32(x684, x612, x659);
- uint32_t x689, uint32_t _ = mulx_u32(x662, 0xcccccccd);
- uint32_t x692, uint32_t x693 = mulx_u32(x689, 0xfffffffb);
- uint32_t x695, uint32_t x696 = mulx_u32(x689, 0xffffffff);
- uint32_t x698, uint32_t x699 = mulx_u32(x689, 0xffffffff);
- uint32_t x701, uint32_t x702 = mulx_u32(x689, 0xffffffff);
- uint32_t x704, uint32_t x705 = mulx_u32(x689, 0xffffffff);
- uint32_t x707, uint32_t x708 = mulx_u32(x689, 0xffffffff);
- uint32_t x710, uint32_t x711 = mulx_u32(x689, 0xffffffff);
- uint32_t x713, uint8_t x714 = mulx_u32_out_u8(x689, 0x3);
- uint32_t x716, uint8_t x717 = addcarryx_u32(0x0, x693, x695);
- uint32_t x719, uint8_t x720 = addcarryx_u32(x717, x696, x698);
- uint32_t x722, uint8_t x723 = addcarryx_u32(x720, x699, x701);
- uint32_t x725, uint8_t x726 = addcarryx_u32(x723, x702, x704);
- uint32_t x728, uint8_t x729 = addcarryx_u32(x726, x705, x707);
- uint32_t x731, uint8_t x732 = addcarryx_u32(x729, x708, x710);
- uint32_t x734, uint8_t x735 = addcarryx_u32(x732, x711, x713);
- uint8_t x736 = (x735 + x714);
- uint32_t _, uint8_t x739 = addcarryx_u32(0x0, x662, x692);
- uint32_t x741, uint8_t x742 = addcarryx_u32(x739, x665, x716);
- uint32_t x744, uint8_t x745 = addcarryx_u32(x742, x668, x719);
- uint32_t x747, uint8_t x748 = addcarryx_u32(x745, x671, x722);
- uint32_t x750, uint8_t x751 = addcarryx_u32(x748, x674, x725);
- uint32_t x753, uint8_t x754 = addcarryx_u32(x751, x677, x728);
- uint32_t x756, uint8_t x757 = addcarryx_u32(x754, x680, x731);
- uint32_t x759, uint8_t x760 = addcarryx_u32(x757, x683, x734);
- uint32_t x762, uint8_t x763 = addcarryx_u32(x760, x686, x736);
- uint8_t x764 = (x763 + x687);
- uint32_t x766, uint32_t x767 = mulx_u32(x15, x19);
- uint32_t x769, uint32_t x770 = mulx_u32(x15, x21);
- uint32_t x772, uint32_t x773 = mulx_u32(x15, x23);
- uint32_t x775, uint32_t x776 = mulx_u32(x15, x25);
- uint32_t x778, uint32_t x779 = mulx_u32(x15, x27);
- uint32_t x781, uint32_t x782 = mulx_u32(x15, x29);
- uint32_t x784, uint32_t x785 = mulx_u32(x15, x31);
- uint32_t x787, uint32_t x788 = mulx_u32(x15, x30);
- uint32_t x790, uint8_t x791 = addcarryx_u32(0x0, x767, x769);
- uint32_t x793, uint8_t x794 = addcarryx_u32(x791, x770, x772);
- uint32_t x796, uint8_t x797 = addcarryx_u32(x794, x773, x775);
- uint32_t x799, uint8_t x800 = addcarryx_u32(x797, x776, x778);
- uint32_t x802, uint8_t x803 = addcarryx_u32(x800, x779, x781);
- uint32_t x805, uint8_t x806 = addcarryx_u32(x803, x782, x784);
- uint32_t x808, uint8_t x809 = addcarryx_u32(x806, x785, x787);
- uint32_t x811, uint8_t _ = addcarryx_u32(0x0, x809, x788);
- uint32_t x814, uint8_t x815 = addcarryx_u32(0x0, x741, x766);
- uint32_t x817, uint8_t x818 = addcarryx_u32(x815, x744, x790);
- uint32_t x820, uint8_t x821 = addcarryx_u32(x818, x747, x793);
- uint32_t x823, uint8_t x824 = addcarryx_u32(x821, x750, x796);
- uint32_t x826, uint8_t x827 = addcarryx_u32(x824, x753, x799);
- uint32_t x829, uint8_t x830 = addcarryx_u32(x827, x756, x802);
- uint32_t x832, uint8_t x833 = addcarryx_u32(x830, x759, x805);
- uint32_t x835, uint8_t x836 = addcarryx_u32(x833, x762, x808);
- uint32_t x838, uint8_t x839 = addcarryx_u32(x836, x764, x811);
- uint32_t x841, uint32_t _ = mulx_u32(x814, 0xcccccccd);
- uint32_t x844, uint32_t x845 = mulx_u32(x841, 0xfffffffb);
- uint32_t x847, uint32_t x848 = mulx_u32(x841, 0xffffffff);
- uint32_t x850, uint32_t x851 = mulx_u32(x841, 0xffffffff);
- uint32_t x853, uint32_t x854 = mulx_u32(x841, 0xffffffff);
- uint32_t x856, uint32_t x857 = mulx_u32(x841, 0xffffffff);
- uint32_t x859, uint32_t x860 = mulx_u32(x841, 0xffffffff);
- uint32_t x862, uint32_t x863 = mulx_u32(x841, 0xffffffff);
- uint32_t x865, uint8_t x866 = mulx_u32_out_u8(x841, 0x3);
- uint32_t x868, uint8_t x869 = addcarryx_u32(0x0, x845, x847);
- uint32_t x871, uint8_t x872 = addcarryx_u32(x869, x848, x850);
- uint32_t x874, uint8_t x875 = addcarryx_u32(x872, x851, x853);
- uint32_t x877, uint8_t x878 = addcarryx_u32(x875, x854, x856);
- uint32_t x880, uint8_t x881 = addcarryx_u32(x878, x857, x859);
- uint32_t x883, uint8_t x884 = addcarryx_u32(x881, x860, x862);
- uint32_t x886, uint8_t x887 = addcarryx_u32(x884, x863, x865);
- uint8_t x888 = (x887 + x866);
- uint32_t _, uint8_t x891 = addcarryx_u32(0x0, x814, x844);
- uint32_t x893, uint8_t x894 = addcarryx_u32(x891, x817, x868);
- uint32_t x896, uint8_t x897 = addcarryx_u32(x894, x820, x871);
- uint32_t x899, uint8_t x900 = addcarryx_u32(x897, x823, x874);
- uint32_t x902, uint8_t x903 = addcarryx_u32(x900, x826, x877);
- uint32_t x905, uint8_t x906 = addcarryx_u32(x903, x829, x880);
- uint32_t x908, uint8_t x909 = addcarryx_u32(x906, x832, x883);
- uint32_t x911, uint8_t x912 = addcarryx_u32(x909, x835, x886);
- uint32_t x914, uint8_t x915 = addcarryx_u32(x912, x838, x888);
- uint8_t x916 = (x915 + x839);
- uint32_t x918, uint32_t x919 = mulx_u32(x17, x19);
- uint32_t x921, uint32_t x922 = mulx_u32(x17, x21);
- uint32_t x924, uint32_t x925 = mulx_u32(x17, x23);
- uint32_t x927, uint32_t x928 = mulx_u32(x17, x25);
- uint32_t x930, uint32_t x931 = mulx_u32(x17, x27);
- uint32_t x933, uint32_t x934 = mulx_u32(x17, x29);
- uint32_t x936, uint32_t x937 = mulx_u32(x17, x31);
- uint32_t x939, uint32_t x940 = mulx_u32(x17, x30);
- uint32_t x942, uint8_t x943 = addcarryx_u32(0x0, x919, x921);
- uint32_t x945, uint8_t x946 = addcarryx_u32(x943, x922, x924);
- uint32_t x948, uint8_t x949 = addcarryx_u32(x946, x925, x927);
- uint32_t x951, uint8_t x952 = addcarryx_u32(x949, x928, x930);
- uint32_t x954, uint8_t x955 = addcarryx_u32(x952, x931, x933);
- uint32_t x957, uint8_t x958 = addcarryx_u32(x955, x934, x936);
- uint32_t x960, uint8_t x961 = addcarryx_u32(x958, x937, x939);
- uint32_t x963, uint8_t _ = addcarryx_u32(0x0, x961, x940);
- uint32_t x966, uint8_t x967 = addcarryx_u32(0x0, x893, x918);
- uint32_t x969, uint8_t x970 = addcarryx_u32(x967, x896, x942);
- uint32_t x972, uint8_t x973 = addcarryx_u32(x970, x899, x945);
- uint32_t x975, uint8_t x976 = addcarryx_u32(x973, x902, x948);
- uint32_t x978, uint8_t x979 = addcarryx_u32(x976, x905, x951);
- uint32_t x981, uint8_t x982 = addcarryx_u32(x979, x908, x954);
- uint32_t x984, uint8_t x985 = addcarryx_u32(x982, x911, x957);
- uint32_t x987, uint8_t x988 = addcarryx_u32(x985, x914, x960);
- uint32_t x990, uint8_t x991 = addcarryx_u32(x988, x916, x963);
- uint32_t x993, uint32_t _ = mulx_u32(x966, 0xcccccccd);
- uint32_t x996, uint32_t x997 = mulx_u32(x993, 0xfffffffb);
- uint32_t x999, uint32_t x1000 = mulx_u32(x993, 0xffffffff);
- uint32_t x1002, uint32_t x1003 = mulx_u32(x993, 0xffffffff);
- uint32_t x1005, uint32_t x1006 = mulx_u32(x993, 0xffffffff);
- uint32_t x1008, uint32_t x1009 = mulx_u32(x993, 0xffffffff);
- uint32_t x1011, uint32_t x1012 = mulx_u32(x993, 0xffffffff);
- uint32_t x1014, uint32_t x1015 = mulx_u32(x993, 0xffffffff);
- uint32_t x1017, uint8_t x1018 = mulx_u32_out_u8(x993, 0x3);
- uint32_t x1020, uint8_t x1021 = addcarryx_u32(0x0, x997, x999);
- uint32_t x1023, uint8_t x1024 = addcarryx_u32(x1021, x1000, x1002);
- uint32_t x1026, uint8_t x1027 = addcarryx_u32(x1024, x1003, x1005);
- uint32_t x1029, uint8_t x1030 = addcarryx_u32(x1027, x1006, x1008);
- uint32_t x1032, uint8_t x1033 = addcarryx_u32(x1030, x1009, x1011);
- uint32_t x1035, uint8_t x1036 = addcarryx_u32(x1033, x1012, x1014);
- uint32_t x1038, uint8_t x1039 = addcarryx_u32(x1036, x1015, x1017);
- uint8_t x1040 = (x1039 + x1018);
- uint32_t _, uint8_t x1043 = addcarryx_u32(0x0, x966, x996);
- uint32_t x1045, uint8_t x1046 = addcarryx_u32(x1043, x969, x1020);
- uint32_t x1048, uint8_t x1049 = addcarryx_u32(x1046, x972, x1023);
- uint32_t x1051, uint8_t x1052 = addcarryx_u32(x1049, x975, x1026);
- uint32_t x1054, uint8_t x1055 = addcarryx_u32(x1052, x978, x1029);
- uint32_t x1057, uint8_t x1058 = addcarryx_u32(x1055, x981, x1032);
- uint32_t x1060, uint8_t x1061 = addcarryx_u32(x1058, x984, x1035);
- uint32_t x1063, uint8_t x1064 = addcarryx_u32(x1061, x987, x1038);
- uint32_t x1066, uint8_t x1067 = addcarryx_u32(x1064, x990, x1040);
- uint8_t x1068 = (x1067 + x991);
- uint32_t x1070, uint32_t x1071 = mulx_u32(x16, x19);
- uint32_t x1073, uint32_t x1074 = mulx_u32(x16, x21);
- uint32_t x1076, uint32_t x1077 = mulx_u32(x16, x23);
- uint32_t x1079, uint32_t x1080 = mulx_u32(x16, x25);
- uint32_t x1082, uint32_t x1083 = mulx_u32(x16, x27);
- uint32_t x1085, uint32_t x1086 = mulx_u32(x16, x29);
- uint32_t x1088, uint32_t x1089 = mulx_u32(x16, x31);
- uint32_t x1091, uint32_t x1092 = mulx_u32(x16, x30);
- uint32_t x1094, uint8_t x1095 = addcarryx_u32(0x0, x1071, x1073);
- uint32_t x1097, uint8_t x1098 = addcarryx_u32(x1095, x1074, x1076);
- uint32_t x1100, uint8_t x1101 = addcarryx_u32(x1098, x1077, x1079);
- uint32_t x1103, uint8_t x1104 = addcarryx_u32(x1101, x1080, x1082);
- uint32_t x1106, uint8_t x1107 = addcarryx_u32(x1104, x1083, x1085);
- uint32_t x1109, uint8_t x1110 = addcarryx_u32(x1107, x1086, x1088);
- uint32_t x1112, uint8_t x1113 = addcarryx_u32(x1110, x1089, x1091);
- uint32_t x1115, uint8_t _ = addcarryx_u32(0x0, x1113, x1092);
- uint32_t x1118, uint8_t x1119 = addcarryx_u32(0x0, x1045, x1070);
- uint32_t x1121, uint8_t x1122 = addcarryx_u32(x1119, x1048, x1094);
- uint32_t x1124, uint8_t x1125 = addcarryx_u32(x1122, x1051, x1097);
- uint32_t x1127, uint8_t x1128 = addcarryx_u32(x1125, x1054, x1100);
- uint32_t x1130, uint8_t x1131 = addcarryx_u32(x1128, x1057, x1103);
- uint32_t x1133, uint8_t x1134 = addcarryx_u32(x1131, x1060, x1106);
- uint32_t x1136, uint8_t x1137 = addcarryx_u32(x1134, x1063, x1109);
- uint32_t x1139, uint8_t x1140 = addcarryx_u32(x1137, x1066, x1112);
- uint32_t x1142, uint8_t x1143 = addcarryx_u32(x1140, x1068, x1115);
- uint32_t x1145, uint32_t _ = mulx_u32(x1118, 0xcccccccd);
- uint32_t x1148, uint32_t x1149 = mulx_u32(x1145, 0xfffffffb);
- uint32_t x1151, uint32_t x1152 = mulx_u32(x1145, 0xffffffff);
- uint32_t x1154, uint32_t x1155 = mulx_u32(x1145, 0xffffffff);
- uint32_t x1157, uint32_t x1158 = mulx_u32(x1145, 0xffffffff);
- uint32_t x1160, uint32_t x1161 = mulx_u32(x1145, 0xffffffff);
- uint32_t x1163, uint32_t x1164 = mulx_u32(x1145, 0xffffffff);
- uint32_t x1166, uint32_t x1167 = mulx_u32(x1145, 0xffffffff);
- uint32_t x1169, uint8_t x1170 = mulx_u32_out_u8(x1145, 0x3);
- uint32_t x1172, uint8_t x1173 = addcarryx_u32(0x0, x1149, x1151);
- uint32_t x1175, uint8_t x1176 = addcarryx_u32(x1173, x1152, x1154);
- uint32_t x1178, uint8_t x1179 = addcarryx_u32(x1176, x1155, x1157);
- uint32_t x1181, uint8_t x1182 = addcarryx_u32(x1179, x1158, x1160);
- uint32_t x1184, uint8_t x1185 = addcarryx_u32(x1182, x1161, x1163);
- uint32_t x1187, uint8_t x1188 = addcarryx_u32(x1185, x1164, x1166);
- uint32_t x1190, uint8_t x1191 = addcarryx_u32(x1188, x1167, x1169);
- uint8_t x1192 = (x1191 + x1170);
- uint32_t _, uint8_t x1195 = addcarryx_u32(0x0, x1118, x1148);
- uint32_t x1197, uint8_t x1198 = addcarryx_u32(x1195, x1121, x1172);
- uint32_t x1200, uint8_t x1201 = addcarryx_u32(x1198, x1124, x1175);
- uint32_t x1203, uint8_t x1204 = addcarryx_u32(x1201, x1127, x1178);
- uint32_t x1206, uint8_t x1207 = addcarryx_u32(x1204, x1130, x1181);
- uint32_t x1209, uint8_t x1210 = addcarryx_u32(x1207, x1133, x1184);
- uint32_t x1212, uint8_t x1213 = addcarryx_u32(x1210, x1136, x1187);
- uint32_t x1215, uint8_t x1216 = addcarryx_u32(x1213, x1139, x1190);
- uint32_t x1218, uint8_t x1219 = addcarryx_u32(x1216, x1142, x1192);
- uint8_t x1220 = (x1219 + x1143);
- uint32_t x1222, uint8_t x1223 = subborrow_u32(0x0, x1197, 0xfffffffb);
- uint32_t x1225, uint8_t x1226 = subborrow_u32(x1223, x1200, 0xffffffff);
- uint32_t x1228, uint8_t x1229 = subborrow_u32(x1226, x1203, 0xffffffff);
- uint32_t x1231, uint8_t x1232 = subborrow_u32(x1229, x1206, 0xffffffff);
- uint32_t x1234, uint8_t x1235 = subborrow_u32(x1232, x1209, 0xffffffff);
- uint32_t x1237, uint8_t x1238 = subborrow_u32(x1235, x1212, 0xffffffff);
- uint32_t x1240, uint8_t x1241 = subborrow_u32(x1238, x1215, 0xffffffff);
- uint32_t x1243, uint8_t x1244 = subborrow_u32(x1241, x1218, 0x3);
- uint32_t _, uint8_t x1247 = subborrow_u32(x1244, x1220, 0x0);
- uint32_t x1248 = cmovznz(x1247, x1243, x1218);
- uint32_t x1249 = cmovznz(x1247, x1240, x1215);
- uint32_t x1250 = cmovznz(x1247, x1237, x1212);
- uint32_t x1251 = cmovznz(x1247, x1234, x1209);
- uint32_t x1252 = cmovznz(x1247, x1231, x1206);
- uint32_t x1253 = cmovznz(x1247, x1228, x1203);
- uint32_t x1254 = cmovznz(x1247, x1225, x1200);
- uint32_t x1255 = cmovznz(x1247, x1222, x1197);
- return (x1248, x1249, x1250, x1251, x1252, x1253, x1254, x1255))
-(x, x0)%core
-     : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t)
diff --git a/src/Specific/montgomery32_2e226m5/feoppDisplay.log b/src/Specific/montgomery32_2e226m5/feoppDisplay.log
deleted file mode 100644
index 24136b79c..000000000
--- a/src/Specific/montgomery32_2e226m5/feoppDisplay.log
+++ /dev/null
@@ -1,32 +0,0 @@
-λ x : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32,
-Interp-η
-(λ var : Syntax.base_type → Type,
- λ '(x13, x14, x12, x10, x8, x6, x4, x2)%core,
- uint32_t x16, uint8_t x17 = subborrow_u32(0x0, 0x0, x2);
- uint32_t x19, uint8_t x20 = subborrow_u32(x17, 0x0, x4);
- uint32_t x22, uint8_t x23 = subborrow_u32(x20, 0x0, x6);
- uint32_t x25, uint8_t x26 = subborrow_u32(x23, 0x0, x8);
- uint32_t x28, uint8_t x29 = subborrow_u32(x26, 0x0, x10);
- uint32_t x31, uint8_t x32 = subborrow_u32(x29, 0x0, x12);
- uint32_t x34, uint8_t x35 = subborrow_u32(x32, 0x0, x14);
- uint32_t x37, uint8_t x38 = subborrow_u32(x35, 0x0, x13);
- uint32_t x39 = (uint32_t)cmovznz(x38, 0x0, 0xffffffff);
- uint32_t x40 = (x39 & 0xfffffffb);
- uint32_t x42, uint8_t x43 = addcarryx_u32(0x0, x16, x40);
- uint32_t x44 = (x39 & 0xffffffff);
- uint32_t x46, uint8_t x47 = addcarryx_u32(x43, x19, x44);
- uint32_t x48 = (x39 & 0xffffffff);
- uint32_t x50, uint8_t x51 = addcarryx_u32(x47, x22, x48);
- uint32_t x52 = (x39 & 0xffffffff);
- uint32_t x54, uint8_t x55 = addcarryx_u32(x51, x25, x52);
- uint32_t x56 = (x39 & 0xffffffff);
- uint32_t x58, uint8_t x59 = addcarryx_u32(x55, x28, x56);
- uint32_t x60 = (x39 & 0xffffffff);
- uint32_t x62, uint8_t x63 = addcarryx_u32(x59, x31, x60);
- uint32_t x64 = (x39 & 0xffffffff);
- uint32_t x66, uint8_t x67 = addcarryx_u32(x63, x34, x64);
- uint8_t x68 = ((uint8_t)x39 & 0x3);
- uint32_t x70, uint8_t _ = addcarryx_u32(x67, x37, x68);
- (Return x70, Return x66, Return x62, Return x58, Return x54, Return x50, Return x46, Return x42))
-x
-     : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t)
diff --git a/src/Specific/montgomery32_2e226m5/fesubDisplay.log b/src/Specific/montgomery32_2e226m5/fesubDisplay.log
deleted file mode 100644
index a6b154861..000000000
--- a/src/Specific/montgomery32_2e226m5/fesubDisplay.log
+++ /dev/null
@@ -1,32 +0,0 @@
-λ x x0 : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32,
-Interp-η
-(λ var : Syntax.base_type → Type,
- λ '(x16, x17, x15, x13, x11, x9, x7, x5, (x30, x31, x29, x27, x25, x23, x21, x19))%core,
- uint32_t x33, uint8_t x34 = subborrow_u32(0x0, x5, x19);
- uint32_t x36, uint8_t x37 = subborrow_u32(x34, x7, x21);
- uint32_t x39, uint8_t x40 = subborrow_u32(x37, x9, x23);
- uint32_t x42, uint8_t x43 = subborrow_u32(x40, x11, x25);
- uint32_t x45, uint8_t x46 = subborrow_u32(x43, x13, x27);
- uint32_t x48, uint8_t x49 = subborrow_u32(x46, x15, x29);
- uint32_t x51, uint8_t x52 = subborrow_u32(x49, x17, x31);
- uint32_t x54, uint8_t x55 = subborrow_u32(x52, x16, x30);
- uint32_t x56 = (uint32_t)cmovznz(x55, 0x0, 0xffffffff);
- uint32_t x57 = (x56 & 0xfffffffb);
- uint32_t x59, uint8_t x60 = addcarryx_u32(0x0, x33, x57);
- uint32_t x61 = (x56 & 0xffffffff);
- uint32_t x63, uint8_t x64 = addcarryx_u32(x60, x36, x61);
- uint32_t x65 = (x56 & 0xffffffff);
- uint32_t x67, uint8_t x68 = addcarryx_u32(x64, x39, x65);
- uint32_t x69 = (x56 & 0xffffffff);
- uint32_t x71, uint8_t x72 = addcarryx_u32(x68, x42, x69);
- uint32_t x73 = (x56 & 0xffffffff);
- uint32_t x75, uint8_t x76 = addcarryx_u32(x72, x45, x73);
- uint32_t x77 = (x56 & 0xffffffff);
- uint32_t x79, uint8_t x80 = addcarryx_u32(x76, x48, x77);
- uint32_t x81 = (x56 & 0xffffffff);
- uint32_t x83, uint8_t x84 = addcarryx_u32(x80, x51, x81);
- uint8_t x85 = ((uint8_t)x56 & 0x3);
- uint32_t x87, uint8_t _ = addcarryx_u32(x84, x54, x85);
- (Return x87, Return x83, Return x79, Return x75, Return x71, Return x67, Return x63, Return x59))
-(x, x0)%core
-     : word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → word32 * word32 * word32 * word32 * word32 * word32 * word32 * word32 → ReturnType (uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t * uint32_t)
diff --git a/src/Specific/montgomery32_2e226m5/gmpsec.log b/src/Specific/montgomery32_2e226m5/gmpsec.log
deleted file mode 100644
index eba9e8cc2..000000000
--- a/src/Specific/montgomery32_2e226m5/gmpsec.log
+++ /dev/null
@@ -1 +0,0 @@
-src/Specific/montgomery32_2e226m5 (real: 0.50, user: 0.50, sys: 0.00, mem: 1368 ko)
diff --git a/src/Specific/montgomery32_2e226m5/gmpvar.log b/src/Specific/montgomery32_2e226m5/gmpvar.log
deleted file mode 100644
index bf41217ce..000000000
--- a/src/Specific/montgomery32_2e226m5/gmpvar.log
+++ /dev/null
@@ -1 +0,0 @@
-src/Specific/montgomery32_2e226m5 (real: 0.35, user: 0.34, sys: 0.00, mem: 1508 ko)
diff --git a/src/Specific/montgomery32_2e226m5/gmpxx.log b/src/Specific/montgomery32_2e226m5/gmpxx.log
deleted file mode 100644
index 85edac592..000000000
--- a/src/Specific/montgomery32_2e226m5/gmpxx.log
+++ /dev/null
@@ -1 +0,0 @@
-src/Specific/montgomery32_2e226m5 (real: 0.96, user: 0.96, sys: 0.00, mem: 3524 ko)