Add a few more constants to ladderstep 130 display

1 files changed, 45 insertions, 45 deletions

diff --git a/src/Specific/IntegrationTestLadderstep130Display.log b/src/Specific/IntegrationTestLadderstep130Display.log
index ee1b0e5ec..52d2e581f 100644
--- a/src/Specific/IntegrationTestLadderstep130Display.log
+++ b/src/Specific/IntegrationTestLadderstep130Display.log
@@ -5,11 +5,11 @@ let (a, b) := Interp-η
  uint128_t x40 = x24 + x28;
  uint128_t x41 = x25 + x29;
  uint128_t x42 = x23 + x27;
- uint128_t x43 = Const 77371252455336267181195262 + x24;
+ uint128_t x43 = 0x3ffffffffffffffffffffeL + x24;
  uint128_t x44 = x43 - x28;
- uint128_t x45 = Const 77371252455336267181195262 + x25;
+ uint128_t x45 = 0x3ffffffffffffffffffffeL + x25;
  uint128_t x46 = x45 - x29;
- uint128_t x47 = Const 77371252455336267181195254 + x23;
+ uint128_t x47 = 0x3ffffffffffffffffffff6L + x23;
  uint128_t x48 = x47 - x27;
  uint256_t x49 = (uint256_t) x42 * (uint256_t) x40;
  uint256_t x50 = (uint256_t) x41 * (uint256_t) x41;
@@ -20,13 +20,13 @@ let (a, b) := Interp-η
  uint256_t x55 = (uint256_t) x41 * (uint256_t) x42;
  uint256_t x56 = x54 + x55;
  uint256_t x57 = (uint256_t) x40 * (uint256_t) x40;
- uint256_t x58 = (uint256_t) Const 5 * x57;
+ uint256_t x58 = (uint256_t) 0x5 * x57;
  uint256_t x59 = x56 + x58;
  uint256_t x60 = (uint256_t) x42 * (uint256_t) x42;
  uint256_t x61 = (uint256_t) x41 * (uint256_t) x40;
  uint256_t x62 = (uint256_t) x40 * (uint256_t) x41;
  uint256_t x63 = x61 + x62;
- uint256_t x64 = (uint256_t) Const 5 * x63;
+ uint256_t x64 = (uint256_t) 0x5 * x63;
  uint256_t x65 = x60 + x64;
  uint128_t x66 = (uint128_t) (x65 >> 0x55);
  uint256_t x67 = (uint256_t) x66 + x59;
@@ -34,7 +34,7 @@ let (a, b) := Interp-η
  uint256_t x69 = (uint256_t) x68 + x53;
  uint128_t x70 = (uint128_t) x65 & 0x1fffffffffffffffffffffL;
  uint128_t x71 = (uint128_t) (x69 >> 0x55);
- uint128_t x72 = Const 5 * x71;
+ uint128_t x72 = 0x5 * x71;
  uint128_t x73 = x70 + x72;
  uint128_t x74 = (uint128_t) (x73 >> 0x55);
  uint128_t x75 = (uint128_t) x67 & 0x1fffffffffffffffffffffL;
@@ -53,13 +53,13 @@ let (a, b) := Interp-η
  uint256_t x88 = (uint256_t) x46 * (uint256_t) x48;
  uint256_t x89 = x87 + x88;
  uint256_t x90 = (uint256_t) x44 * (uint256_t) x44;
- uint256_t x91 = (uint256_t) Const 5 * x90;
+ uint256_t x91 = (uint256_t) 0x5 * x90;
  uint256_t x92 = x89 + x91;
  uint256_t x93 = (uint256_t) x48 * (uint256_t) x48;
  uint256_t x94 = (uint256_t) x46 * (uint256_t) x44;
  uint256_t x95 = (uint256_t) x44 * (uint256_t) x46;
  uint256_t x96 = x94 + x95;
- uint256_t x97 = (uint256_t) Const 5 * x96;
+ uint256_t x97 = (uint256_t) 0x5 * x96;
  uint256_t x98 = x93 + x97;
  uint128_t x99 = (uint128_t) (x98 >> 0x55);
  uint256_t x100 = (uint256_t) x99 + x92;
@@ -67,7 +67,7 @@ let (a, b) := Interp-η
  uint256_t x102 = (uint256_t) x101 + x86;
  uint128_t x103 = (uint128_t) x98 & 0x1fffffffffffffffffffffL;
  uint128_t x104 = (uint128_t) (x102 >> 0x55);
- uint128_t x105 = Const 5 * x104;
+ uint128_t x105 = 0x5 * x104;
  uint128_t x106 = x103 + x105;
  uint128_t x107 = (uint128_t) (x106 >> 0x55);
  uint128_t x108 = (uint128_t) x100 & 0x1fffffffffffffffffffffL;
@@ -86,13 +86,13 @@ let (a, b) := Interp-η
  uint256_t x121 = (uint256_t) x80 * (uint256_t) x114;
  uint256_t x122 = x120 + x121;
  uint256_t x123 = (uint256_t) x79 * (uint256_t) x112;
- uint256_t x124 = (uint256_t) Const 5 * x123;
+ uint256_t x124 = (uint256_t) 0x5 * x123;
  uint256_t x125 = x122 + x124;
  uint256_t x126 = (uint256_t) x81 * (uint256_t) x114;
  uint256_t x127 = (uint256_t) x80 * (uint256_t) x112;
  uint256_t x128 = (uint256_t) x79 * (uint256_t) x113;
  uint256_t x129 = x127 + x128;
- uint256_t x130 = (uint256_t) Const 5 * x129;
+ uint256_t x130 = (uint256_t) 0x5 * x129;
  uint256_t x131 = x126 + x130;
  uint128_t x132 = (uint128_t) (x131 >> 0x55);
  uint256_t x133 = (uint256_t) x132 + x125;
@@ -100,7 +100,7 @@ let (a, b) := Interp-η
  uint256_t x135 = (uint256_t) x134 + x119;
  uint128_t x136 = (uint128_t) x131 & 0x1fffffffffffffffffffffL;
  uint128_t x137 = (uint128_t) (x135 >> 0x55);
- uint128_t x138 = Const 5 * x137;
+ uint128_t x138 = 0x5 * x137;
  uint128_t x139 = x136 + x138;
  uint128_t x140 = (uint128_t) (x139 >> 0x55);
  uint128_t x141 = (uint128_t) x133 & 0x1fffffffffffffffffffffL;
@@ -110,11 +110,11 @@ let (a, b) := Interp-η
  uint128_t x145 = x143 + x144;
  uint128_t x146 = x142 & 0x1fffffffffffffffffffffL;
  uint128_t x147 = x139 & 0x1fffffffffffffffffffffL;
- uint128_t x148 = Const 77371252455336267181195262 + x79;
+ uint128_t x148 = 0x3ffffffffffffffffffffeL + x79;
  uint128_t x149 = x148 - x112;
- uint128_t x150 = Const 77371252455336267181195262 + x80;
+ uint128_t x150 = 0x3ffffffffffffffffffffeL + x80;
  uint128_t x151 = x150 - x113;
- uint128_t x152 = Const 77371252455336267181195254 + x81;
+ uint128_t x152 = 0x3ffffffffffffffffffff6L + x81;
  uint128_t x153 = x152 - x114;
  uint256_t x154 = (uint256_t) x13 * (uint256_t) x149;
  uint256_t x155 = (uint256_t) x15 * (uint256_t) x151;
@@ -125,13 +125,13 @@ let (a, b) := Interp-η
  uint256_t x160 = (uint256_t) x15 * (uint256_t) x153;
  uint256_t x161 = x159 + x160;
  uint256_t x162 = (uint256_t) x14 * (uint256_t) x149;
- uint256_t x163 = (uint256_t) Const 5 * x162;
+ uint256_t x163 = (uint256_t) 0x5 * x162;
  uint256_t x164 = x161 + x163;
  uint256_t x165 = (uint256_t) x13 * (uint256_t) x153;
  uint256_t x166 = (uint256_t) x15 * (uint256_t) x149;
  uint256_t x167 = (uint256_t) x14 * (uint256_t) x151;
  uint256_t x168 = x166 + x167;
- uint256_t x169 = (uint256_t) Const 5 * x168;
+ uint256_t x169 = (uint256_t) 0x5 * x168;
  uint256_t x170 = x165 + x169;
  uint128_t x171 = (uint128_t) (x170 >> 0x55);
  uint256_t x172 = (uint256_t) x171 + x164;
@@ -139,7 +139,7 @@ let (a, b) := Interp-η
  uint256_t x174 = (uint256_t) x173 + x158;
  uint128_t x175 = (uint128_t) x170 & 0x1fffffffffffffffffffffL;
  uint128_t x176 = (uint128_t) (x174 >> 0x55);
- uint128_t x177 = Const 5 * x176;
+ uint128_t x177 = 0x5 * x176;
  uint128_t x178 = x175 + x177;
  uint128_t x179 = (uint128_t) (x178 >> 0x55);
  uint128_t x180 = (uint128_t) x172 & 0x1fffffffffffffffffffffL;
@@ -161,13 +161,13 @@ let (a, b) := Interp-η
  uint256_t x196 = (uint256_t) x151 * (uint256_t) x189;
  uint256_t x197 = x195 + x196;
  uint256_t x198 = (uint256_t) x149 * (uint256_t) x187;
- uint256_t x199 = (uint256_t) Const 5 * x198;
+ uint256_t x199 = (uint256_t) 0x5 * x198;
  uint256_t x200 = x197 + x199;
  uint256_t x201 = (uint256_t) x153 * (uint256_t) x189;
  uint256_t x202 = (uint256_t) x151 * (uint256_t) x187;
  uint256_t x203 = (uint256_t) x149 * (uint256_t) x188;
  uint256_t x204 = x202 + x203;
- uint256_t x205 = (uint256_t) Const 5 * x204;
+ uint256_t x205 = (uint256_t) 0x5 * x204;
  uint256_t x206 = x201 + x205;
  uint128_t x207 = (uint128_t) (x206 >> 0x55);
  uint256_t x208 = (uint256_t) x207 + x200;
@@ -175,7 +175,7 @@ let (a, b) := Interp-η
  uint256_t x210 = (uint256_t) x209 + x194;
  uint128_t x211 = (uint128_t) x206 & 0x1fffffffffffffffffffffL;
  uint128_t x212 = (uint128_t) (x210 >> 0x55);
- uint128_t x213 = Const 5 * x212;
+ uint128_t x213 = 0x5 * x212;
  uint128_t x214 = x211 + x213;
  uint128_t x215 = (uint128_t) (x214 >> 0x55);
  uint128_t x216 = (uint128_t) x208 & 0x1fffffffffffffffffffffL;
@@ -188,11 +188,11 @@ let (a, b) := Interp-η
  uint128_t x223 = x34 + x38;
  uint128_t x224 = x35 + x39;
  uint128_t x225 = x33 + x37;
- uint128_t x226 = Const 77371252455336267181195262 + x34;
+ uint128_t x226 = 0x3ffffffffffffffffffffeL + x34;
  uint128_t x227 = x226 - x38;
- uint128_t x228 = Const 77371252455336267181195262 + x35;
+ uint128_t x228 = 0x3ffffffffffffffffffffeL + x35;
  uint128_t x229 = x228 - x39;
- uint128_t x230 = Const 77371252455336267181195254 + x33;
+ uint128_t x230 = 0x3ffffffffffffffffffff6L + x33;
  uint128_t x231 = x230 - x37;
  uint256_t x232 = (uint256_t) x225 * (uint256_t) x44;
  uint256_t x233 = (uint256_t) x224 * (uint256_t) x46;
@@ -203,13 +203,13 @@ let (a, b) := Interp-η
  uint256_t x238 = (uint256_t) x224 * (uint256_t) x48;
  uint256_t x239 = x237 + x238;
  uint256_t x240 = (uint256_t) x223 * (uint256_t) x44;
- uint256_t x241 = (uint256_t) Const 5 * x240;
+ uint256_t x241 = (uint256_t) 0x5 * x240;
  uint256_t x242 = x239 + x241;
  uint256_t x243 = (uint256_t) x225 * (uint256_t) x48;
  uint256_t x244 = (uint256_t) x224 * (uint256_t) x44;
  uint256_t x245 = (uint256_t) x223 * (uint256_t) x46;
  uint256_t x246 = x244 + x245;
- uint256_t x247 = (uint256_t) Const 5 * x246;
+ uint256_t x247 = (uint256_t) 0x5 * x246;
  uint256_t x248 = x243 + x247;
  uint128_t x249 = (uint128_t) (x248 >> 0x55);
  uint256_t x250 = (uint256_t) x249 + x242;
@@ -217,7 +217,7 @@ let (a, b) := Interp-η
  uint256_t x252 = (uint256_t) x251 + x236;
  uint128_t x253 = (uint128_t) x248 & 0x1fffffffffffffffffffffL;
  uint128_t x254 = (uint128_t) (x252 >> 0x55);
- uint128_t x255 = Const 5 * x254;
+ uint128_t x255 = 0x5 * x254;
  uint128_t x256 = x253 + x255;
  uint128_t x257 = (uint128_t) (x256 >> 0x55);
  uint128_t x258 = (uint128_t) x250 & 0x1fffffffffffffffffffffL;
@@ -236,13 +236,13 @@ let (a, b) := Interp-η
  uint256_t x271 = (uint256_t) x229 * (uint256_t) x42;
  uint256_t x272 = x270 + x271;
  uint256_t x273 = (uint256_t) x227 * (uint256_t) x40;
- uint256_t x274 = (uint256_t) Const 5 * x273;
+ uint256_t x274 = (uint256_t) 0x5 * x273;
  uint256_t x275 = x272 + x274;
  uint256_t x276 = (uint256_t) x231 * (uint256_t) x42;
  uint256_t x277 = (uint256_t) x229 * (uint256_t) x40;
  uint256_t x278 = (uint256_t) x227 * (uint256_t) x41;
  uint256_t x279 = x277 + x278;
- uint256_t x280 = (uint256_t) Const 5 * x279;
+ uint256_t x280 = (uint256_t) 0x5 * x279;
  uint256_t x281 = x276 + x280;
  uint128_t x282 = (uint128_t) (x281 >> 0x55);
  uint256_t x283 = (uint256_t) x282 + x275;
@@ -250,7 +250,7 @@ let (a, b) := Interp-η
  uint256_t x285 = (uint256_t) x284 + x269;
  uint128_t x286 = (uint128_t) x281 & 0x1fffffffffffffffffffffL;
  uint128_t x287 = (uint128_t) (x285 >> 0x55);
- uint128_t x288 = Const 5 * x287;
+ uint128_t x288 = 0x5 * x287;
  uint128_t x289 = x286 + x288;
  uint128_t x290 = (uint128_t) (x289 >> 0x55);
  uint128_t x291 = (uint128_t) x283 & 0x1fffffffffffffffffffffL;
@@ -275,13 +275,13 @@ let (a, b) := Interp-η
  uint256_t x310 = (uint256_t) x299 * (uint256_t) x303;
  uint256_t x311 = x309 + x310;
  uint256_t x312 = (uint256_t) x298 * (uint256_t) x301;
- uint256_t x313 = (uint256_t) Const 5 * x312;
+ uint256_t x313 = (uint256_t) 0x5 * x312;
  uint256_t x314 = x311 + x313;
  uint256_t x315 = (uint256_t) x300 * (uint256_t) x303;
  uint256_t x316 = (uint256_t) x299 * (uint256_t) x301;
  uint256_t x317 = (uint256_t) x298 * (uint256_t) x302;
  uint256_t x318 = x316 + x317;
- uint256_t x319 = (uint256_t) Const 5 * x318;
+ uint256_t x319 = (uint256_t) 0x5 * x318;
  uint256_t x320 = x315 + x319;
  uint128_t x321 = (uint128_t) (x320 >> 0x55);
  uint256_t x322 = (uint256_t) x321 + x314;
@@ -289,7 +289,7 @@ let (a, b) := Interp-η
  uint256_t x324 = (uint256_t) x323 + x308;
  uint128_t x325 = (uint128_t) x320 & 0x1fffffffffffffffffffffL;
  uint128_t x326 = (uint128_t) (x324 >> 0x55);
- uint128_t x327 = Const 5 * x326;
+ uint128_t x327 = 0x5 * x326;
  uint128_t x328 = x325 + x327;
  uint128_t x329 = (uint128_t) (x328 >> 0x55);
  uint128_t x330 = (uint128_t) x322 & 0x1fffffffffffffffffffffL;
@@ -299,17 +299,17 @@ let (a, b) := Interp-η
  uint128_t x334 = x332 + x333;
  uint128_t x335 = x331 & 0x1fffffffffffffffffffffL;
  uint128_t x336 = x328 & 0x1fffffffffffffffffffffL;
- uint128_t x337 = Const 77371252455336267181195262 + x295;
+ uint128_t x337 = 0x3ffffffffffffffffffffeL + x295;
  uint128_t x338 = x337 - x262;
- uint128_t x339 = Const 77371252455336267181195262 + x296;
+ uint128_t x339 = 0x3ffffffffffffffffffffeL + x296;
  uint128_t x340 = x339 - x263;
- uint128_t x341 = Const 77371252455336267181195254 + x297;
+ uint128_t x341 = 0x3ffffffffffffffffffff6L + x297;
  uint128_t x342 = x341 - x264;
- uint128_t x343 = Const 77371252455336267181195262 + x295;
+ uint128_t x343 = 0x3ffffffffffffffffffffeL + x295;
  uint128_t x344 = x343 - x262;
- uint128_t x345 = Const 77371252455336267181195262 + x296;
+ uint128_t x345 = 0x3ffffffffffffffffffffeL + x296;
  uint128_t x346 = x345 - x263;
- uint128_t x347 = Const 77371252455336267181195254 + x297;
+ uint128_t x347 = 0x3ffffffffffffffffffff6L + x297;
  uint128_t x348 = x347 - x264;
  uint256_t x349 = (uint256_t) x342 * (uint256_t) x344;
  uint256_t x350 = (uint256_t) x340 * (uint256_t) x346;
@@ -320,13 +320,13 @@ let (a, b) := Interp-η
  uint256_t x355 = (uint256_t) x340 * (uint256_t) x348;
  uint256_t x356 = x354 + x355;
  uint256_t x357 = (uint256_t) x338 * (uint256_t) x344;
- uint256_t x358 = (uint256_t) Const 5 * x357;
+ uint256_t x358 = (uint256_t) 0x5 * x357;
  uint256_t x359 = x356 + x358;
  uint256_t x360 = (uint256_t) x342 * (uint256_t) x348;
  uint256_t x361 = (uint256_t) x340 * (uint256_t) x344;
  uint256_t x362 = (uint256_t) x338 * (uint256_t) x346;
  uint256_t x363 = x361 + x362;
- uint256_t x364 = (uint256_t) Const 5 * x363;
+ uint256_t x364 = (uint256_t) 0x5 * x363;
  uint256_t x365 = x360 + x364;
  uint128_t x366 = (uint128_t) (x365 >> 0x55);
  uint256_t x367 = (uint256_t) x366 + x359;
@@ -334,7 +334,7 @@ let (a, b) := Interp-η
  uint256_t x369 = (uint256_t) x368 + x353;
  uint128_t x370 = (uint128_t) x365 & 0x1fffffffffffffffffffffL;
  uint128_t x371 = (uint128_t) (x369 >> 0x55);
- uint128_t x372 = Const 5 * x371;
+ uint128_t x372 = 0x5 * x371;
  uint128_t x373 = x370 + x372;
  uint128_t x374 = (uint128_t) (x373 >> 0x55);
  uint128_t x375 = (uint128_t) x367 & 0x1fffffffffffffffffffffL;
@@ -353,13 +353,13 @@ let (a, b) := Interp-η
  uint256_t x388 = (uint256_t) x19 * (uint256_t) x381;
  uint256_t x389 = x387 + x388;
  uint256_t x390 = (uint256_t) x18 * (uint256_t) x379;
- uint256_t x391 = (uint256_t) Const 5 * x390;
+ uint256_t x391 = (uint256_t) 0x5 * x390;
  uint256_t x392 = x389 + x391;
  uint256_t x393 = (uint256_t) x17 * (uint256_t) x381;
  uint256_t x394 = (uint256_t) x19 * (uint256_t) x379;
  uint256_t x395 = (uint256_t) x18 * (uint256_t) x380;
  uint256_t x396 = x394 + x395;
- uint256_t x397 = (uint256_t) Const 5 * x396;
+ uint256_t x397 = (uint256_t) 0x5 * x396;
  uint256_t x398 = x393 + x397;
  uint128_t x399 = (uint128_t) (x398 >> 0x55);
  uint256_t x400 = (uint256_t) x399 + x392;
@@ -367,7 +367,7 @@ let (a, b) := Interp-η
  uint256_t x402 = (uint256_t) x401 + x386;
  uint128_t x403 = (uint128_t) x398 & 0x1fffffffffffffffffffffL;
  uint128_t x404 = (uint128_t) (x402 >> 0x55);
- uint128_t x405 = Const 5 * x404;
+ uint128_t x405 = 0x5 * x404;
  uint128_t x406 = x403 + x405;
  uint128_t x407 = (uint128_t) (x406 >> 0x55);
  uint128_t x408 = (uint128_t) x400 & 0x1fffffffffffffffffffffL;