sbv-3.0: SBVUnitTest/GoldFiles/aes128Lib.gold
== BEGIN: "aes128KeySchedule.c" ================
/* File: "aes128KeySchedule.c". Automatically generated by SBV. Do not edit! */
#include <inttypes.h>
#include <stdint.h>
#include <stdbool.h>
#include <math.h>
#include "aes128Lib.h"
void aes128KeySchedule(const SWord32 *key, SWord32 *encKS,
SWord32 *decKS)
{
const SWord32 s0 = key[0];
const SWord32 s1 = key[1];
const SWord32 s2 = key[2];
const SWord32 s3 = key[3];
static const SWord8 table0[] = {
99, 124, 119, 123, 242, 107, 111, 197, 48, 1, 103, 43, 254,
215, 171, 118, 202, 130, 201, 125, 250, 89, 71, 240, 173, 212,
162, 175, 156, 164, 114, 192, 183, 253, 147, 38, 54, 63, 247,
204, 52, 165, 229, 241, 113, 216, 49, 21, 4, 199, 35, 195,
24, 150, 5, 154, 7, 18, 128, 226, 235, 39, 178, 117, 9,
131, 44, 26, 27, 110, 90, 160, 82, 59, 214, 179, 41, 227,
47, 132, 83, 209, 0, 237, 32, 252, 177, 91, 106, 203, 190,
57, 74, 76, 88, 207, 208, 239, 170, 251, 67, 77, 51, 133,
69, 249, 2, 127, 80, 60, 159, 168, 81, 163, 64, 143, 146,
157, 56, 245, 188, 182, 218, 33, 16, 255, 243, 210, 205, 12,
19, 236, 95, 151, 68, 23, 196, 167, 126, 61, 100, 93, 25,
115, 96, 129, 79, 220, 34, 42, 144, 136, 70, 238, 184, 20,
222, 94, 11, 219, 224, 50, 58, 10, 73, 6, 36, 92, 194,
211, 172, 98, 145, 149, 228, 121, 231, 200, 55, 109, 141, 213,
78, 169, 108, 86, 244, 234, 101, 122, 174, 8, 186, 120, 37,
46, 28, 166, 180, 198, 232, 221, 116, 31, 75, 189, 139, 138,
112, 62, 181, 102, 72, 3, 246, 14, 97, 53, 87, 185, 134,
193, 29, 158, 225, 248, 152, 17, 105, 217, 142, 148, 155, 30,
135, 233, 206, 85, 40, 223, 140, 161, 137, 13, 191, 230, 66,
104, 65, 153, 45, 15, 176, 84, 187, 22
};
static const SWord8 table1[] = {
0, 14, 28, 18, 56, 54, 36, 42, 112, 126, 108, 98, 72,
70, 84, 90, 224, 238, 252, 242, 216, 214, 196, 202, 144, 158,
140, 130, 168, 166, 180, 186, 219, 213, 199, 201, 227, 237, 255,
241, 171, 165, 183, 185, 147, 157, 143, 129, 59, 53, 39, 41,
3, 13, 31, 17, 75, 69, 87, 89, 115, 125, 111, 97, 173,
163, 177, 191, 149, 155, 137, 135, 221, 211, 193, 207, 229, 235,
249, 247, 77, 67, 81, 95, 117, 123, 105, 103, 61, 51, 33,
47, 5, 11, 25, 23, 118, 120, 106, 100, 78, 64, 82, 92,
6, 8, 26, 20, 62, 48, 34, 44, 150, 152, 138, 132, 174,
160, 178, 188, 230, 232, 250, 244, 222, 208, 194, 204, 65, 79,
93, 83, 121, 119, 101, 107, 49, 63, 45, 35, 9, 7, 21,
27, 161, 175, 189, 179, 153, 151, 133, 139, 209, 223, 205, 195,
233, 231, 245, 251, 154, 148, 134, 136, 162, 172, 190, 176, 234,
228, 246, 248, 210, 220, 206, 192, 122, 116, 102, 104, 66, 76,
94, 80, 10, 4, 22, 24, 50, 60, 46, 32, 236, 226, 240,
254, 212, 218, 200, 198, 156, 146, 128, 142, 164, 170, 184, 182,
12, 2, 16, 30, 52, 58, 40, 38, 124, 114, 96, 110, 68,
74, 88, 86, 55, 57, 43, 37, 15, 1, 19, 29, 71, 73,
91, 85, 127, 113, 99, 109, 215, 217, 203, 197, 239, 225, 243,
253, 167, 169, 187, 181, 159, 145, 131, 141
};
static const SWord8 table2[] = {
0, 11, 22, 29, 44, 39, 58, 49, 88, 83, 78, 69, 116,
127, 98, 105, 176, 187, 166, 173, 156, 151, 138, 129, 232, 227,
254, 245, 196, 207, 210, 217, 123, 112, 109, 102, 87, 92, 65,
74, 35, 40, 53, 62, 15, 4, 25, 18, 203, 192, 221, 214,
231, 236, 241, 250, 147, 152, 133, 142, 191, 180, 169, 162, 246,
253, 224, 235, 218, 209, 204, 199, 174, 165, 184, 179, 130, 137,
148, 159, 70, 77, 80, 91, 106, 97, 124, 119, 30, 21, 8,
3, 50, 57, 36, 47, 141, 134, 155, 144, 161, 170, 183, 188,
213, 222, 195, 200, 249, 242, 239, 228, 61, 54, 43, 32, 17,
26, 7, 12, 101, 110, 115, 120, 73, 66, 95, 84, 247, 252,
225, 234, 219, 208, 205, 198, 175, 164, 185, 178, 131, 136, 149,
158, 71, 76, 81, 90, 107, 96, 125, 118, 31, 20, 9, 2,
51, 56, 37, 46, 140, 135, 154, 145, 160, 171, 182, 189, 212,
223, 194, 201, 248, 243, 238, 229, 60, 55, 42, 33, 16, 27,
6, 13, 100, 111, 114, 121, 72, 67, 94, 85, 1, 10, 23,
28, 45, 38, 59, 48, 89, 82, 79, 68, 117, 126, 99, 104,
177, 186, 167, 172, 157, 150, 139, 128, 233, 226, 255, 244, 197,
206, 211, 216, 122, 113, 108, 103, 86, 93, 64, 75, 34, 41,
52, 63, 14, 5, 24, 19, 202, 193, 220, 215, 230, 237, 240,
251, 146, 153, 132, 143, 190, 181, 168, 163
};
static const SWord8 table3[] = {
0, 13, 26, 23, 52, 57, 46, 35, 104, 101, 114, 127, 92,
81, 70, 75, 208, 221, 202, 199, 228, 233, 254, 243, 184, 181,
162, 175, 140, 129, 150, 155, 187, 182, 161, 172, 143, 130, 149,
152, 211, 222, 201, 196, 231, 234, 253, 240, 107, 102, 113, 124,
95, 82, 69, 72, 3, 14, 25, 20, 55, 58, 45, 32, 109,
96, 119, 122, 89, 84, 67, 78, 5, 8, 31, 18, 49, 60,
43, 38, 189, 176, 167, 170, 137, 132, 147, 158, 213, 216, 207,
194, 225, 236, 251, 246, 214, 219, 204, 193, 226, 239, 248, 245,
190, 179, 164, 169, 138, 135, 144, 157, 6, 11, 28, 17, 50,
63, 40, 37, 110, 99, 116, 121, 90, 87, 64, 77, 218, 215,
192, 205, 238, 227, 244, 249, 178, 191, 168, 165, 134, 139, 156,
145, 10, 7, 16, 29, 62, 51, 36, 41, 98, 111, 120, 117,
86, 91, 76, 65, 97, 108, 123, 118, 85, 88, 79, 66, 9,
4, 19, 30, 61, 48, 39, 42, 177, 188, 171, 166, 133, 136,
159, 146, 217, 212, 195, 206, 237, 224, 247, 250, 183, 186, 173,
160, 131, 142, 153, 148, 223, 210, 197, 200, 235, 230, 241, 252,
103, 106, 125, 112, 83, 94, 73, 68, 15, 2, 21, 24, 59,
54, 33, 44, 12, 1, 22, 27, 56, 53, 34, 47, 100, 105,
126, 115, 80, 93, 74, 71, 220, 209, 198, 203, 232, 229, 242,
255, 180, 185, 174, 163, 128, 141, 154, 151
};
static const SWord8 table4[] = {
0, 9, 18, 27, 36, 45, 54, 63, 72, 65, 90, 83, 108,
101, 126, 119, 144, 153, 130, 139, 180, 189, 166, 175, 216, 209,
202, 195, 252, 245, 238, 231, 59, 50, 41, 32, 31, 22, 13,
4, 115, 122, 97, 104, 87, 94, 69, 76, 171, 162, 185, 176,
143, 134, 157, 148, 227, 234, 241, 248, 199, 206, 213, 220, 118,
127, 100, 109, 82, 91, 64, 73, 62, 55, 44, 37, 26, 19,
8, 1, 230, 239, 244, 253, 194, 203, 208, 217, 174, 167, 188,
181, 138, 131, 152, 145, 77, 68, 95, 86, 105, 96, 123, 114,
5, 12, 23, 30, 33, 40, 51, 58, 221, 212, 207, 198, 249,
240, 235, 226, 149, 156, 135, 142, 177, 184, 163, 170, 236, 229,
254, 247, 200, 193, 218, 211, 164, 173, 182, 191, 128, 137, 146,
155, 124, 117, 110, 103, 88, 81, 74, 67, 52, 61, 38, 47,
16, 25, 2, 11, 215, 222, 197, 204, 243, 250, 225, 232, 159,
150, 141, 132, 187, 178, 169, 160, 71, 78, 85, 92, 99, 106,
113, 120, 15, 6, 29, 20, 43, 34, 57, 48, 154, 147, 136,
129, 190, 183, 172, 165, 210, 219, 192, 201, 246, 255, 228, 237,
10, 3, 24, 17, 46, 39, 60, 53, 66, 75, 80, 89, 102,
111, 116, 125, 161, 168, 179, 186, 133, 140, 151, 158, 233, 224,
251, 242, 205, 196, 223, 214, 49, 56, 35, 42, 21, 28, 7,
14, 121, 112, 107, 98, 93, 84, 79, 70
};
const SWord32 s260 = (s3 << 8) | (s3 >> 24);
const SWord16 s261 = (SWord16) (s260 >> 16);
const SWord8 s262 = (SWord8) (s261 >> 8);
const SWord8 s263 = table0[s262];
const SWord8 s264 = 1 ^ s263;
const SWord8 s265 = (SWord8) s261;
const SWord8 s266 = table0[s265];
const SWord16 s267 = (((SWord16) s264) << 8) | ((SWord16) s266);
const SWord16 s268 = (SWord16) s260;
const SWord8 s269 = (SWord8) (s268 >> 8);
const SWord8 s270 = table0[s269];
const SWord8 s271 = (SWord8) s268;
const SWord8 s272 = table0[s271];
const SWord16 s273 = (((SWord16) s270) << 8) | ((SWord16) s272);
const SWord32 s274 = (((SWord32) s267) << 16) | ((SWord32) s273);
const SWord32 s275 = s0 ^ s274;
const SWord32 s276 = s1 ^ s275;
const SWord32 s277 = s2 ^ s276;
const SWord32 s278 = s3 ^ s277;
const SWord32 s279 = (s278 << 8) | (s278 >> 24);
const SWord16 s280 = (SWord16) (s279 >> 16);
const SWord8 s281 = (SWord8) (s280 >> 8);
const SWord8 s282 = table0[s281];
const SWord8 s283 = 2 ^ s282;
const SWord8 s284 = (SWord8) s280;
const SWord8 s285 = table0[s284];
const SWord16 s286 = (((SWord16) s283) << 8) | ((SWord16) s285);
const SWord16 s287 = (SWord16) s279;
const SWord8 s288 = (SWord8) (s287 >> 8);
const SWord8 s289 = table0[s288];
const SWord8 s290 = (SWord8) s287;
const SWord8 s291 = table0[s290];
const SWord16 s292 = (((SWord16) s289) << 8) | ((SWord16) s291);
const SWord32 s293 = (((SWord32) s286) << 16) | ((SWord32) s292);
const SWord32 s294 = s275 ^ s293;
const SWord32 s295 = s276 ^ s294;
const SWord32 s296 = s277 ^ s295;
const SWord32 s297 = s278 ^ s296;
const SWord32 s298 = (s297 << 8) | (s297 >> 24);
const SWord16 s299 = (SWord16) (s298 >> 16);
const SWord8 s300 = (SWord8) (s299 >> 8);
const SWord8 s301 = table0[s300];
const SWord8 s302 = 4 ^ s301;
const SWord8 s303 = (SWord8) s299;
const SWord8 s304 = table0[s303];
const SWord16 s305 = (((SWord16) s302) << 8) | ((SWord16) s304);
const SWord16 s306 = (SWord16) s298;
const SWord8 s307 = (SWord8) (s306 >> 8);
const SWord8 s308 = table0[s307];
const SWord8 s309 = (SWord8) s306;
const SWord8 s310 = table0[s309];
const SWord16 s311 = (((SWord16) s308) << 8) | ((SWord16) s310);
const SWord32 s312 = (((SWord32) s305) << 16) | ((SWord32) s311);
const SWord32 s313 = s294 ^ s312;
const SWord32 s314 = s295 ^ s313;
const SWord32 s315 = s296 ^ s314;
const SWord32 s316 = s297 ^ s315;
const SWord32 s317 = (s316 << 8) | (s316 >> 24);
const SWord16 s318 = (SWord16) (s317 >> 16);
const SWord8 s319 = (SWord8) (s318 >> 8);
const SWord8 s320 = table0[s319];
const SWord8 s321 = 8 ^ s320;
const SWord8 s322 = (SWord8) s318;
const SWord8 s323 = table0[s322];
const SWord16 s324 = (((SWord16) s321) << 8) | ((SWord16) s323);
const SWord16 s325 = (SWord16) s317;
const SWord8 s326 = (SWord8) (s325 >> 8);
const SWord8 s327 = table0[s326];
const SWord8 s328 = (SWord8) s325;
const SWord8 s329 = table0[s328];
const SWord16 s330 = (((SWord16) s327) << 8) | ((SWord16) s329);
const SWord32 s331 = (((SWord32) s324) << 16) | ((SWord32) s330);
const SWord32 s332 = s313 ^ s331;
const SWord32 s333 = s314 ^ s332;
const SWord32 s334 = s315 ^ s333;
const SWord32 s335 = s316 ^ s334;
const SWord32 s336 = (s335 << 8) | (s335 >> 24);
const SWord16 s337 = (SWord16) (s336 >> 16);
const SWord8 s338 = (SWord8) (s337 >> 8);
const SWord8 s339 = table0[s338];
const SWord8 s340 = 16 ^ s339;
const SWord8 s341 = (SWord8) s337;
const SWord8 s342 = table0[s341];
const SWord16 s343 = (((SWord16) s340) << 8) | ((SWord16) s342);
const SWord16 s344 = (SWord16) s336;
const SWord8 s345 = (SWord8) (s344 >> 8);
const SWord8 s346 = table0[s345];
const SWord8 s347 = (SWord8) s344;
const SWord8 s348 = table0[s347];
const SWord16 s349 = (((SWord16) s346) << 8) | ((SWord16) s348);
const SWord32 s350 = (((SWord32) s343) << 16) | ((SWord32) s349);
const SWord32 s351 = s332 ^ s350;
const SWord32 s352 = s333 ^ s351;
const SWord32 s353 = s334 ^ s352;
const SWord32 s354 = s335 ^ s353;
const SWord32 s355 = (s354 << 8) | (s354 >> 24);
const SWord16 s356 = (SWord16) (s355 >> 16);
const SWord8 s357 = (SWord8) (s356 >> 8);
const SWord8 s358 = table0[s357];
const SWord8 s359 = 32 ^ s358;
const SWord8 s360 = (SWord8) s356;
const SWord8 s361 = table0[s360];
const SWord16 s362 = (((SWord16) s359) << 8) | ((SWord16) s361);
const SWord16 s363 = (SWord16) s355;
const SWord8 s364 = (SWord8) (s363 >> 8);
const SWord8 s365 = table0[s364];
const SWord8 s366 = (SWord8) s363;
const SWord8 s367 = table0[s366];
const SWord16 s368 = (((SWord16) s365) << 8) | ((SWord16) s367);
const SWord32 s369 = (((SWord32) s362) << 16) | ((SWord32) s368);
const SWord32 s370 = s351 ^ s369;
const SWord32 s371 = s352 ^ s370;
const SWord32 s372 = s353 ^ s371;
const SWord32 s373 = s354 ^ s372;
const SWord32 s374 = (s373 << 8) | (s373 >> 24);
const SWord16 s375 = (SWord16) (s374 >> 16);
const SWord8 s376 = (SWord8) (s375 >> 8);
const SWord8 s377 = table0[s376];
const SWord8 s378 = 64 ^ s377;
const SWord8 s379 = (SWord8) s375;
const SWord8 s380 = table0[s379];
const SWord16 s381 = (((SWord16) s378) << 8) | ((SWord16) s380);
const SWord16 s382 = (SWord16) s374;
const SWord8 s383 = (SWord8) (s382 >> 8);
const SWord8 s384 = table0[s383];
const SWord8 s385 = (SWord8) s382;
const SWord8 s386 = table0[s385];
const SWord16 s387 = (((SWord16) s384) << 8) | ((SWord16) s386);
const SWord32 s388 = (((SWord32) s381) << 16) | ((SWord32) s387);
const SWord32 s389 = s370 ^ s388;
const SWord32 s390 = s371 ^ s389;
const SWord32 s391 = s372 ^ s390;
const SWord32 s392 = s373 ^ s391;
const SWord32 s393 = (s392 << 8) | (s392 >> 24);
const SWord16 s394 = (SWord16) (s393 >> 16);
const SWord8 s395 = (SWord8) (s394 >> 8);
const SWord8 s396 = table0[s395];
const SWord8 s397 = 128 ^ s396;
const SWord8 s398 = (SWord8) s394;
const SWord8 s399 = table0[s398];
const SWord16 s400 = (((SWord16) s397) << 8) | ((SWord16) s399);
const SWord16 s401 = (SWord16) s393;
const SWord8 s402 = (SWord8) (s401 >> 8);
const SWord8 s403 = table0[s402];
const SWord8 s404 = (SWord8) s401;
const SWord8 s405 = table0[s404];
const SWord16 s406 = (((SWord16) s403) << 8) | ((SWord16) s405);
const SWord32 s407 = (((SWord32) s400) << 16) | ((SWord32) s406);
const SWord32 s408 = s389 ^ s407;
const SWord32 s409 = s390 ^ s408;
const SWord32 s410 = s391 ^ s409;
const SWord32 s411 = s392 ^ s410;
const SWord32 s412 = (s411 << 8) | (s411 >> 24);
const SWord16 s413 = (SWord16) (s412 >> 16);
const SWord8 s414 = (SWord8) (s413 >> 8);
const SWord8 s415 = table0[s414];
const SWord8 s416 = 27 ^ s415;
const SWord8 s417 = (SWord8) s413;
const SWord8 s418 = table0[s417];
const SWord16 s419 = (((SWord16) s416) << 8) | ((SWord16) s418);
const SWord16 s420 = (SWord16) s412;
const SWord8 s421 = (SWord8) (s420 >> 8);
const SWord8 s422 = table0[s421];
const SWord8 s423 = (SWord8) s420;
const SWord8 s424 = table0[s423];
const SWord16 s425 = (((SWord16) s422) << 8) | ((SWord16) s424);
const SWord32 s426 = (((SWord32) s419) << 16) | ((SWord32) s425);
const SWord32 s427 = s408 ^ s426;
const SWord32 s428 = s409 ^ s427;
const SWord32 s429 = s410 ^ s428;
const SWord32 s430 = s411 ^ s429;
const SWord32 s431 = (s430 << 8) | (s430 >> 24);
const SWord16 s432 = (SWord16) (s431 >> 16);
const SWord8 s433 = (SWord8) (s432 >> 8);
const SWord8 s434 = table0[s433];
const SWord8 s435 = 54 ^ s434;
const SWord8 s436 = (SWord8) s432;
const SWord8 s437 = table0[s436];
const SWord16 s438 = (((SWord16) s435) << 8) | ((SWord16) s437);
const SWord16 s439 = (SWord16) s431;
const SWord8 s440 = (SWord8) (s439 >> 8);
const SWord8 s441 = table0[s440];
const SWord8 s442 = (SWord8) s439;
const SWord8 s443 = table0[s442];
const SWord16 s444 = (((SWord16) s441) << 8) | ((SWord16) s443);
const SWord32 s445 = (((SWord32) s438) << 16) | ((SWord32) s444);
const SWord32 s446 = s427 ^ s445;
const SWord32 s447 = s428 ^ s446;
const SWord32 s448 = s429 ^ s447;
const SWord32 s449 = s430 ^ s448;
const SWord16 s450 = (SWord16) (s427 >> 16);
const SWord8 s451 = (SWord8) (s450 >> 8);
const SWord8 s452 = table1[s451];
const SWord8 s453 = (SWord8) s450;
const SWord8 s454 = table2[s453];
const SWord16 s455 = (SWord16) s427;
const SWord8 s456 = (SWord8) (s455 >> 8);
const SWord8 s457 = table3[s456];
const SWord8 s458 = (SWord8) s455;
const SWord8 s459 = table4[s458];
const SWord8 s460 = s457 ^ s459;
const SWord8 s461 = s454 ^ s460;
const SWord8 s462 = s452 ^ s461;
const SWord8 s463 = table4[s451];
const SWord8 s464 = table1[s453];
const SWord8 s465 = table2[s456];
const SWord8 s466 = table3[s458];
const SWord8 s467 = s465 ^ s466;
const SWord8 s468 = s464 ^ s467;
const SWord8 s469 = s463 ^ s468;
const SWord16 s470 = (((SWord16) s462) << 8) | ((SWord16) s469);
const SWord8 s471 = table3[s451];
const SWord8 s472 = table4[s453];
const SWord8 s473 = table1[s456];
const SWord8 s474 = table2[s458];
const SWord8 s475 = s473 ^ s474;
const SWord8 s476 = s472 ^ s475;
const SWord8 s477 = s471 ^ s476;
const SWord8 s478 = table2[s451];
const SWord8 s479 = table3[s453];
const SWord8 s480 = table4[s456];
const SWord8 s481 = table1[s458];
const SWord8 s482 = s480 ^ s481;
const SWord8 s483 = s479 ^ s482;
const SWord8 s484 = s478 ^ s483;
const SWord16 s485 = (((SWord16) s477) << 8) | ((SWord16) s484);
const SWord32 s486 = (((SWord32) s470) << 16) | ((SWord32) s485);
const SWord16 s487 = (SWord16) (s428 >> 16);
const SWord8 s488 = (SWord8) (s487 >> 8);
const SWord8 s489 = table1[s488];
const SWord8 s490 = (SWord8) s487;
const SWord8 s491 = table2[s490];
const SWord16 s492 = (SWord16) s428;
const SWord8 s493 = (SWord8) (s492 >> 8);
const SWord8 s494 = table3[s493];
const SWord8 s495 = (SWord8) s492;
const SWord8 s496 = table4[s495];
const SWord8 s497 = s494 ^ s496;
const SWord8 s498 = s491 ^ s497;
const SWord8 s499 = s489 ^ s498;
const SWord8 s500 = table4[s488];
const SWord8 s501 = table1[s490];
const SWord8 s502 = table2[s493];
const SWord8 s503 = table3[s495];
const SWord8 s504 = s502 ^ s503;
const SWord8 s505 = s501 ^ s504;
const SWord8 s506 = s500 ^ s505;
const SWord16 s507 = (((SWord16) s499) << 8) | ((SWord16) s506);
const SWord8 s508 = table3[s488];
const SWord8 s509 = table4[s490];
const SWord8 s510 = table1[s493];
const SWord8 s511 = table2[s495];
const SWord8 s512 = s510 ^ s511;
const SWord8 s513 = s509 ^ s512;
const SWord8 s514 = s508 ^ s513;
const SWord8 s515 = table2[s488];
const SWord8 s516 = table3[s490];
const SWord8 s517 = table4[s493];
const SWord8 s518 = table1[s495];
const SWord8 s519 = s517 ^ s518;
const SWord8 s520 = s516 ^ s519;
const SWord8 s521 = s515 ^ s520;
const SWord16 s522 = (((SWord16) s514) << 8) | ((SWord16) s521);
const SWord32 s523 = (((SWord32) s507) << 16) | ((SWord32) s522);
const SWord16 s524 = (SWord16) (s429 >> 16);
const SWord8 s525 = (SWord8) (s524 >> 8);
const SWord8 s526 = table1[s525];
const SWord8 s527 = (SWord8) s524;
const SWord8 s528 = table2[s527];
const SWord16 s529 = (SWord16) s429;
const SWord8 s530 = (SWord8) (s529 >> 8);
const SWord8 s531 = table3[s530];
const SWord8 s532 = (SWord8) s529;
const SWord8 s533 = table4[s532];
const SWord8 s534 = s531 ^ s533;
const SWord8 s535 = s528 ^ s534;
const SWord8 s536 = s526 ^ s535;
const SWord8 s537 = table4[s525];
const SWord8 s538 = table1[s527];
const SWord8 s539 = table2[s530];
const SWord8 s540 = table3[s532];
const SWord8 s541 = s539 ^ s540;
const SWord8 s542 = s538 ^ s541;
const SWord8 s543 = s537 ^ s542;
const SWord16 s544 = (((SWord16) s536) << 8) | ((SWord16) s543);
const SWord8 s545 = table3[s525];
const SWord8 s546 = table4[s527];
const SWord8 s547 = table1[s530];
const SWord8 s548 = table2[s532];
const SWord8 s549 = s547 ^ s548;
const SWord8 s550 = s546 ^ s549;
const SWord8 s551 = s545 ^ s550;
const SWord8 s552 = table2[s525];
const SWord8 s553 = table3[s527];
const SWord8 s554 = table4[s530];
const SWord8 s555 = table1[s532];
const SWord8 s556 = s554 ^ s555;
const SWord8 s557 = s553 ^ s556;
const SWord8 s558 = s552 ^ s557;
const SWord16 s559 = (((SWord16) s551) << 8) | ((SWord16) s558);
const SWord32 s560 = (((SWord32) s544) << 16) | ((SWord32) s559);
const SWord16 s561 = (SWord16) (s430 >> 16);
const SWord8 s562 = (SWord8) (s561 >> 8);
const SWord8 s563 = table1[s562];
const SWord8 s564 = (SWord8) s561;
const SWord8 s565 = table2[s564];
const SWord16 s566 = (SWord16) s430;
const SWord8 s567 = (SWord8) (s566 >> 8);
const SWord8 s568 = table3[s567];
const SWord8 s569 = (SWord8) s566;
const SWord8 s570 = table4[s569];
const SWord8 s571 = s568 ^ s570;
const SWord8 s572 = s565 ^ s571;
const SWord8 s573 = s563 ^ s572;
const SWord8 s574 = table4[s562];
const SWord8 s575 = table1[s564];
const SWord8 s576 = table2[s567];
const SWord8 s577 = table3[s569];
const SWord8 s578 = s576 ^ s577;
const SWord8 s579 = s575 ^ s578;
const SWord8 s580 = s574 ^ s579;
const SWord16 s581 = (((SWord16) s573) << 8) | ((SWord16) s580);
const SWord8 s582 = table3[s562];
const SWord8 s583 = table4[s564];
const SWord8 s584 = table1[s567];
const SWord8 s585 = table2[s569];
const SWord8 s586 = s584 ^ s585;
const SWord8 s587 = s583 ^ s586;
const SWord8 s588 = s582 ^ s587;
const SWord8 s589 = table2[s562];
const SWord8 s590 = table3[s564];
const SWord8 s591 = table4[s567];
const SWord8 s592 = table1[s569];
const SWord8 s593 = s591 ^ s592;
const SWord8 s594 = s590 ^ s593;
const SWord8 s595 = s589 ^ s594;
const SWord16 s596 = (((SWord16) s588) << 8) | ((SWord16) s595);
const SWord32 s597 = (((SWord32) s581) << 16) | ((SWord32) s596);
const SWord16 s598 = (SWord16) (s408 >> 16);
const SWord8 s599 = (SWord8) (s598 >> 8);
const SWord8 s600 = table1[s599];
const SWord8 s601 = (SWord8) s598;
const SWord8 s602 = table2[s601];
const SWord16 s603 = (SWord16) s408;
const SWord8 s604 = (SWord8) (s603 >> 8);
const SWord8 s605 = table3[s604];
const SWord8 s606 = (SWord8) s603;
const SWord8 s607 = table4[s606];
const SWord8 s608 = s605 ^ s607;
const SWord8 s609 = s602 ^ s608;
const SWord8 s610 = s600 ^ s609;
const SWord8 s611 = table4[s599];
const SWord8 s612 = table1[s601];
const SWord8 s613 = table2[s604];
const SWord8 s614 = table3[s606];
const SWord8 s615 = s613 ^ s614;
const SWord8 s616 = s612 ^ s615;
const SWord8 s617 = s611 ^ s616;
const SWord16 s618 = (((SWord16) s610) << 8) | ((SWord16) s617);
const SWord8 s619 = table3[s599];
const SWord8 s620 = table4[s601];
const SWord8 s621 = table1[s604];
const SWord8 s622 = table2[s606];
const SWord8 s623 = s621 ^ s622;
const SWord8 s624 = s620 ^ s623;
const SWord8 s625 = s619 ^ s624;
const SWord8 s626 = table2[s599];
const SWord8 s627 = table3[s601];
const SWord8 s628 = table4[s604];
const SWord8 s629 = table1[s606];
const SWord8 s630 = s628 ^ s629;
const SWord8 s631 = s627 ^ s630;
const SWord8 s632 = s626 ^ s631;
const SWord16 s633 = (((SWord16) s625) << 8) | ((SWord16) s632);
const SWord32 s634 = (((SWord32) s618) << 16) | ((SWord32) s633);
const SWord16 s635 = (SWord16) (s409 >> 16);
const SWord8 s636 = (SWord8) (s635 >> 8);
const SWord8 s637 = table1[s636];
const SWord8 s638 = (SWord8) s635;
const SWord8 s639 = table2[s638];
const SWord16 s640 = (SWord16) s409;
const SWord8 s641 = (SWord8) (s640 >> 8);
const SWord8 s642 = table3[s641];
const SWord8 s643 = (SWord8) s640;
const SWord8 s644 = table4[s643];
const SWord8 s645 = s642 ^ s644;
const SWord8 s646 = s639 ^ s645;
const SWord8 s647 = s637 ^ s646;
const SWord8 s648 = table4[s636];
const SWord8 s649 = table1[s638];
const SWord8 s650 = table2[s641];
const SWord8 s651 = table3[s643];
const SWord8 s652 = s650 ^ s651;
const SWord8 s653 = s649 ^ s652;
const SWord8 s654 = s648 ^ s653;
const SWord16 s655 = (((SWord16) s647) << 8) | ((SWord16) s654);
const SWord8 s656 = table3[s636];
const SWord8 s657 = table4[s638];
const SWord8 s658 = table1[s641];
const SWord8 s659 = table2[s643];
const SWord8 s660 = s658 ^ s659;
const SWord8 s661 = s657 ^ s660;
const SWord8 s662 = s656 ^ s661;
const SWord8 s663 = table2[s636];
const SWord8 s664 = table3[s638];
const SWord8 s665 = table4[s641];
const SWord8 s666 = table1[s643];
const SWord8 s667 = s665 ^ s666;
const SWord8 s668 = s664 ^ s667;
const SWord8 s669 = s663 ^ s668;
const SWord16 s670 = (((SWord16) s662) << 8) | ((SWord16) s669);
const SWord32 s671 = (((SWord32) s655) << 16) | ((SWord32) s670);
const SWord16 s672 = (SWord16) (s410 >> 16);
const SWord8 s673 = (SWord8) (s672 >> 8);
const SWord8 s674 = table1[s673];
const SWord8 s675 = (SWord8) s672;
const SWord8 s676 = table2[s675];
const SWord16 s677 = (SWord16) s410;
const SWord8 s678 = (SWord8) (s677 >> 8);
const SWord8 s679 = table3[s678];
const SWord8 s680 = (SWord8) s677;
const SWord8 s681 = table4[s680];
const SWord8 s682 = s679 ^ s681;
const SWord8 s683 = s676 ^ s682;
const SWord8 s684 = s674 ^ s683;
const SWord8 s685 = table4[s673];
const SWord8 s686 = table1[s675];
const SWord8 s687 = table2[s678];
const SWord8 s688 = table3[s680];
const SWord8 s689 = s687 ^ s688;
const SWord8 s690 = s686 ^ s689;
const SWord8 s691 = s685 ^ s690;
const SWord16 s692 = (((SWord16) s684) << 8) | ((SWord16) s691);
const SWord8 s693 = table3[s673];
const SWord8 s694 = table4[s675];
const SWord8 s695 = table1[s678];
const SWord8 s696 = table2[s680];
const SWord8 s697 = s695 ^ s696;
const SWord8 s698 = s694 ^ s697;
const SWord8 s699 = s693 ^ s698;
const SWord8 s700 = table2[s673];
const SWord8 s701 = table3[s675];
const SWord8 s702 = table4[s678];
const SWord8 s703 = table1[s680];
const SWord8 s704 = s702 ^ s703;
const SWord8 s705 = s701 ^ s704;
const SWord8 s706 = s700 ^ s705;
const SWord16 s707 = (((SWord16) s699) << 8) | ((SWord16) s706);
const SWord32 s708 = (((SWord32) s692) << 16) | ((SWord32) s707);
const SWord16 s709 = (SWord16) (s411 >> 16);
const SWord8 s710 = (SWord8) (s709 >> 8);
const SWord8 s711 = table1[s710];
const SWord8 s712 = (SWord8) s709;
const SWord8 s713 = table2[s712];
const SWord16 s714 = (SWord16) s411;
const SWord8 s715 = (SWord8) (s714 >> 8);
const SWord8 s716 = table3[s715];
const SWord8 s717 = (SWord8) s714;
const SWord8 s718 = table4[s717];
const SWord8 s719 = s716 ^ s718;
const SWord8 s720 = s713 ^ s719;
const SWord8 s721 = s711 ^ s720;
const SWord8 s722 = table4[s710];
const SWord8 s723 = table1[s712];
const SWord8 s724 = table2[s715];
const SWord8 s725 = table3[s717];
const SWord8 s726 = s724 ^ s725;
const SWord8 s727 = s723 ^ s726;
const SWord8 s728 = s722 ^ s727;
const SWord16 s729 = (((SWord16) s721) << 8) | ((SWord16) s728);
const SWord8 s730 = table3[s710];
const SWord8 s731 = table4[s712];
const SWord8 s732 = table1[s715];
const SWord8 s733 = table2[s717];
const SWord8 s734 = s732 ^ s733;
const SWord8 s735 = s731 ^ s734;
const SWord8 s736 = s730 ^ s735;
const SWord8 s737 = table2[s710];
const SWord8 s738 = table3[s712];
const SWord8 s739 = table4[s715];
const SWord8 s740 = table1[s717];
const SWord8 s741 = s739 ^ s740;
const SWord8 s742 = s738 ^ s741;
const SWord8 s743 = s737 ^ s742;
const SWord16 s744 = (((SWord16) s736) << 8) | ((SWord16) s743);
const SWord32 s745 = (((SWord32) s729) << 16) | ((SWord32) s744);
const SWord16 s746 = (SWord16) (s389 >> 16);
const SWord8 s747 = (SWord8) (s746 >> 8);
const SWord8 s748 = table1[s747];
const SWord8 s749 = (SWord8) s746;
const SWord8 s750 = table2[s749];
const SWord16 s751 = (SWord16) s389;
const SWord8 s752 = (SWord8) (s751 >> 8);
const SWord8 s753 = table3[s752];
const SWord8 s754 = (SWord8) s751;
const SWord8 s755 = table4[s754];
const SWord8 s756 = s753 ^ s755;
const SWord8 s757 = s750 ^ s756;
const SWord8 s758 = s748 ^ s757;
const SWord8 s759 = table4[s747];
const SWord8 s760 = table1[s749];
const SWord8 s761 = table2[s752];
const SWord8 s762 = table3[s754];
const SWord8 s763 = s761 ^ s762;
const SWord8 s764 = s760 ^ s763;
const SWord8 s765 = s759 ^ s764;
const SWord16 s766 = (((SWord16) s758) << 8) | ((SWord16) s765);
const SWord8 s767 = table3[s747];
const SWord8 s768 = table4[s749];
const SWord8 s769 = table1[s752];
const SWord8 s770 = table2[s754];
const SWord8 s771 = s769 ^ s770;
const SWord8 s772 = s768 ^ s771;
const SWord8 s773 = s767 ^ s772;
const SWord8 s774 = table2[s747];
const SWord8 s775 = table3[s749];
const SWord8 s776 = table4[s752];
const SWord8 s777 = table1[s754];
const SWord8 s778 = s776 ^ s777;
const SWord8 s779 = s775 ^ s778;
const SWord8 s780 = s774 ^ s779;
const SWord16 s781 = (((SWord16) s773) << 8) | ((SWord16) s780);
const SWord32 s782 = (((SWord32) s766) << 16) | ((SWord32) s781);
const SWord16 s783 = (SWord16) (s390 >> 16);
const SWord8 s784 = (SWord8) (s783 >> 8);
const SWord8 s785 = table1[s784];
const SWord8 s786 = (SWord8) s783;
const SWord8 s787 = table2[s786];
const SWord16 s788 = (SWord16) s390;
const SWord8 s789 = (SWord8) (s788 >> 8);
const SWord8 s790 = table3[s789];
const SWord8 s791 = (SWord8) s788;
const SWord8 s792 = table4[s791];
const SWord8 s793 = s790 ^ s792;
const SWord8 s794 = s787 ^ s793;
const SWord8 s795 = s785 ^ s794;
const SWord8 s796 = table4[s784];
const SWord8 s797 = table1[s786];
const SWord8 s798 = table2[s789];
const SWord8 s799 = table3[s791];
const SWord8 s800 = s798 ^ s799;
const SWord8 s801 = s797 ^ s800;
const SWord8 s802 = s796 ^ s801;
const SWord16 s803 = (((SWord16) s795) << 8) | ((SWord16) s802);
const SWord8 s804 = table3[s784];
const SWord8 s805 = table4[s786];
const SWord8 s806 = table1[s789];
const SWord8 s807 = table2[s791];
const SWord8 s808 = s806 ^ s807;
const SWord8 s809 = s805 ^ s808;
const SWord8 s810 = s804 ^ s809;
const SWord8 s811 = table2[s784];
const SWord8 s812 = table3[s786];
const SWord8 s813 = table4[s789];
const SWord8 s814 = table1[s791];
const SWord8 s815 = s813 ^ s814;
const SWord8 s816 = s812 ^ s815;
const SWord8 s817 = s811 ^ s816;
const SWord16 s818 = (((SWord16) s810) << 8) | ((SWord16) s817);
const SWord32 s819 = (((SWord32) s803) << 16) | ((SWord32) s818);
const SWord16 s820 = (SWord16) (s391 >> 16);
const SWord8 s821 = (SWord8) (s820 >> 8);
const SWord8 s822 = table1[s821];
const SWord8 s823 = (SWord8) s820;
const SWord8 s824 = table2[s823];
const SWord16 s825 = (SWord16) s391;
const SWord8 s826 = (SWord8) (s825 >> 8);
const SWord8 s827 = table3[s826];
const SWord8 s828 = (SWord8) s825;
const SWord8 s829 = table4[s828];
const SWord8 s830 = s827 ^ s829;
const SWord8 s831 = s824 ^ s830;
const SWord8 s832 = s822 ^ s831;
const SWord8 s833 = table4[s821];
const SWord8 s834 = table1[s823];
const SWord8 s835 = table2[s826];
const SWord8 s836 = table3[s828];
const SWord8 s837 = s835 ^ s836;
const SWord8 s838 = s834 ^ s837;
const SWord8 s839 = s833 ^ s838;
const SWord16 s840 = (((SWord16) s832) << 8) | ((SWord16) s839);
const SWord8 s841 = table3[s821];
const SWord8 s842 = table4[s823];
const SWord8 s843 = table1[s826];
const SWord8 s844 = table2[s828];
const SWord8 s845 = s843 ^ s844;
const SWord8 s846 = s842 ^ s845;
const SWord8 s847 = s841 ^ s846;
const SWord8 s848 = table2[s821];
const SWord8 s849 = table3[s823];
const SWord8 s850 = table4[s826];
const SWord8 s851 = table1[s828];
const SWord8 s852 = s850 ^ s851;
const SWord8 s853 = s849 ^ s852;
const SWord8 s854 = s848 ^ s853;
const SWord16 s855 = (((SWord16) s847) << 8) | ((SWord16) s854);
const SWord32 s856 = (((SWord32) s840) << 16) | ((SWord32) s855);
const SWord16 s857 = (SWord16) (s392 >> 16);
const SWord8 s858 = (SWord8) (s857 >> 8);
const SWord8 s859 = table1[s858];
const SWord8 s860 = (SWord8) s857;
const SWord8 s861 = table2[s860];
const SWord16 s862 = (SWord16) s392;
const SWord8 s863 = (SWord8) (s862 >> 8);
const SWord8 s864 = table3[s863];
const SWord8 s865 = (SWord8) s862;
const SWord8 s866 = table4[s865];
const SWord8 s867 = s864 ^ s866;
const SWord8 s868 = s861 ^ s867;
const SWord8 s869 = s859 ^ s868;
const SWord8 s870 = table4[s858];
const SWord8 s871 = table1[s860];
const SWord8 s872 = table2[s863];
const SWord8 s873 = table3[s865];
const SWord8 s874 = s872 ^ s873;
const SWord8 s875 = s871 ^ s874;
const SWord8 s876 = s870 ^ s875;
const SWord16 s877 = (((SWord16) s869) << 8) | ((SWord16) s876);
const SWord8 s878 = table3[s858];
const SWord8 s879 = table4[s860];
const SWord8 s880 = table1[s863];
const SWord8 s881 = table2[s865];
const SWord8 s882 = s880 ^ s881;
const SWord8 s883 = s879 ^ s882;
const SWord8 s884 = s878 ^ s883;
const SWord8 s885 = table2[s858];
const SWord8 s886 = table3[s860];
const SWord8 s887 = table4[s863];
const SWord8 s888 = table1[s865];
const SWord8 s889 = s887 ^ s888;
const SWord8 s890 = s886 ^ s889;
const SWord8 s891 = s885 ^ s890;
const SWord16 s892 = (((SWord16) s884) << 8) | ((SWord16) s891);
const SWord32 s893 = (((SWord32) s877) << 16) | ((SWord32) s892);
const SWord16 s894 = (SWord16) (s370 >> 16);
const SWord8 s895 = (SWord8) (s894 >> 8);
const SWord8 s896 = table1[s895];
const SWord8 s897 = (SWord8) s894;
const SWord8 s898 = table2[s897];
const SWord16 s899 = (SWord16) s370;
const SWord8 s900 = (SWord8) (s899 >> 8);
const SWord8 s901 = table3[s900];
const SWord8 s902 = (SWord8) s899;
const SWord8 s903 = table4[s902];
const SWord8 s904 = s901 ^ s903;
const SWord8 s905 = s898 ^ s904;
const SWord8 s906 = s896 ^ s905;
const SWord8 s907 = table4[s895];
const SWord8 s908 = table1[s897];
const SWord8 s909 = table2[s900];
const SWord8 s910 = table3[s902];
const SWord8 s911 = s909 ^ s910;
const SWord8 s912 = s908 ^ s911;
const SWord8 s913 = s907 ^ s912;
const SWord16 s914 = (((SWord16) s906) << 8) | ((SWord16) s913);
const SWord8 s915 = table3[s895];
const SWord8 s916 = table4[s897];
const SWord8 s917 = table1[s900];
const SWord8 s918 = table2[s902];
const SWord8 s919 = s917 ^ s918;
const SWord8 s920 = s916 ^ s919;
const SWord8 s921 = s915 ^ s920;
const SWord8 s922 = table2[s895];
const SWord8 s923 = table3[s897];
const SWord8 s924 = table4[s900];
const SWord8 s925 = table1[s902];
const SWord8 s926 = s924 ^ s925;
const SWord8 s927 = s923 ^ s926;
const SWord8 s928 = s922 ^ s927;
const SWord16 s929 = (((SWord16) s921) << 8) | ((SWord16) s928);
const SWord32 s930 = (((SWord32) s914) << 16) | ((SWord32) s929);
const SWord16 s931 = (SWord16) (s371 >> 16);
const SWord8 s932 = (SWord8) (s931 >> 8);
const SWord8 s933 = table1[s932];
const SWord8 s934 = (SWord8) s931;
const SWord8 s935 = table2[s934];
const SWord16 s936 = (SWord16) s371;
const SWord8 s937 = (SWord8) (s936 >> 8);
const SWord8 s938 = table3[s937];
const SWord8 s939 = (SWord8) s936;
const SWord8 s940 = table4[s939];
const SWord8 s941 = s938 ^ s940;
const SWord8 s942 = s935 ^ s941;
const SWord8 s943 = s933 ^ s942;
const SWord8 s944 = table4[s932];
const SWord8 s945 = table1[s934];
const SWord8 s946 = table2[s937];
const SWord8 s947 = table3[s939];
const SWord8 s948 = s946 ^ s947;
const SWord8 s949 = s945 ^ s948;
const SWord8 s950 = s944 ^ s949;
const SWord16 s951 = (((SWord16) s943) << 8) | ((SWord16) s950);
const SWord8 s952 = table3[s932];
const SWord8 s953 = table4[s934];
const SWord8 s954 = table1[s937];
const SWord8 s955 = table2[s939];
const SWord8 s956 = s954 ^ s955;
const SWord8 s957 = s953 ^ s956;
const SWord8 s958 = s952 ^ s957;
const SWord8 s959 = table2[s932];
const SWord8 s960 = table3[s934];
const SWord8 s961 = table4[s937];
const SWord8 s962 = table1[s939];
const SWord8 s963 = s961 ^ s962;
const SWord8 s964 = s960 ^ s963;
const SWord8 s965 = s959 ^ s964;
const SWord16 s966 = (((SWord16) s958) << 8) | ((SWord16) s965);
const SWord32 s967 = (((SWord32) s951) << 16) | ((SWord32) s966);
const SWord16 s968 = (SWord16) (s372 >> 16);
const SWord8 s969 = (SWord8) (s968 >> 8);
const SWord8 s970 = table1[s969];
const SWord8 s971 = (SWord8) s968;
const SWord8 s972 = table2[s971];
const SWord16 s973 = (SWord16) s372;
const SWord8 s974 = (SWord8) (s973 >> 8);
const SWord8 s975 = table3[s974];
const SWord8 s976 = (SWord8) s973;
const SWord8 s977 = table4[s976];
const SWord8 s978 = s975 ^ s977;
const SWord8 s979 = s972 ^ s978;
const SWord8 s980 = s970 ^ s979;
const SWord8 s981 = table4[s969];
const SWord8 s982 = table1[s971];
const SWord8 s983 = table2[s974];
const SWord8 s984 = table3[s976];
const SWord8 s985 = s983 ^ s984;
const SWord8 s986 = s982 ^ s985;
const SWord8 s987 = s981 ^ s986;
const SWord16 s988 = (((SWord16) s980) << 8) | ((SWord16) s987);
const SWord8 s989 = table3[s969];
const SWord8 s990 = table4[s971];
const SWord8 s991 = table1[s974];
const SWord8 s992 = table2[s976];
const SWord8 s993 = s991 ^ s992;
const SWord8 s994 = s990 ^ s993;
const SWord8 s995 = s989 ^ s994;
const SWord8 s996 = table2[s969];
const SWord8 s997 = table3[s971];
const SWord8 s998 = table4[s974];
const SWord8 s999 = table1[s976];
const SWord8 s1000 = s998 ^ s999;
const SWord8 s1001 = s997 ^ s1000;
const SWord8 s1002 = s996 ^ s1001;
const SWord16 s1003 = (((SWord16) s995) << 8) | ((SWord16) s1002);
const SWord32 s1004 = (((SWord32) s988) << 16) | ((SWord32) s1003);
const SWord16 s1005 = (SWord16) (s373 >> 16);
const SWord8 s1006 = (SWord8) (s1005 >> 8);
const SWord8 s1007 = table1[s1006];
const SWord8 s1008 = (SWord8) s1005;
const SWord8 s1009 = table2[s1008];
const SWord16 s1010 = (SWord16) s373;
const SWord8 s1011 = (SWord8) (s1010 >> 8);
const SWord8 s1012 = table3[s1011];
const SWord8 s1013 = (SWord8) s1010;
const SWord8 s1014 = table4[s1013];
const SWord8 s1015 = s1012 ^ s1014;
const SWord8 s1016 = s1009 ^ s1015;
const SWord8 s1017 = s1007 ^ s1016;
const SWord8 s1018 = table4[s1006];
const SWord8 s1019 = table1[s1008];
const SWord8 s1020 = table2[s1011];
const SWord8 s1021 = table3[s1013];
const SWord8 s1022 = s1020 ^ s1021;
const SWord8 s1023 = s1019 ^ s1022;
const SWord8 s1024 = s1018 ^ s1023;
const SWord16 s1025 = (((SWord16) s1017) << 8) | ((SWord16) s1024);
const SWord8 s1026 = table3[s1006];
const SWord8 s1027 = table4[s1008];
const SWord8 s1028 = table1[s1011];
const SWord8 s1029 = table2[s1013];
const SWord8 s1030 = s1028 ^ s1029;
const SWord8 s1031 = s1027 ^ s1030;
const SWord8 s1032 = s1026 ^ s1031;
const SWord8 s1033 = table2[s1006];
const SWord8 s1034 = table3[s1008];
const SWord8 s1035 = table4[s1011];
const SWord8 s1036 = table1[s1013];
const SWord8 s1037 = s1035 ^ s1036;
const SWord8 s1038 = s1034 ^ s1037;
const SWord8 s1039 = s1033 ^ s1038;
const SWord16 s1040 = (((SWord16) s1032) << 8) | ((SWord16) s1039);
const SWord32 s1041 = (((SWord32) s1025) << 16) | ((SWord32) s1040);
const SWord16 s1042 = (SWord16) (s351 >> 16);
const SWord8 s1043 = (SWord8) (s1042 >> 8);
const SWord8 s1044 = table1[s1043];
const SWord8 s1045 = (SWord8) s1042;
const SWord8 s1046 = table2[s1045];
const SWord16 s1047 = (SWord16) s351;
const SWord8 s1048 = (SWord8) (s1047 >> 8);
const SWord8 s1049 = table3[s1048];
const SWord8 s1050 = (SWord8) s1047;
const SWord8 s1051 = table4[s1050];
const SWord8 s1052 = s1049 ^ s1051;
const SWord8 s1053 = s1046 ^ s1052;
const SWord8 s1054 = s1044 ^ s1053;
const SWord8 s1055 = table4[s1043];
const SWord8 s1056 = table1[s1045];
const SWord8 s1057 = table2[s1048];
const SWord8 s1058 = table3[s1050];
const SWord8 s1059 = s1057 ^ s1058;
const SWord8 s1060 = s1056 ^ s1059;
const SWord8 s1061 = s1055 ^ s1060;
const SWord16 s1062 = (((SWord16) s1054) << 8) | ((SWord16) s1061);
const SWord8 s1063 = table3[s1043];
const SWord8 s1064 = table4[s1045];
const SWord8 s1065 = table1[s1048];
const SWord8 s1066 = table2[s1050];
const SWord8 s1067 = s1065 ^ s1066;
const SWord8 s1068 = s1064 ^ s1067;
const SWord8 s1069 = s1063 ^ s1068;
const SWord8 s1070 = table2[s1043];
const SWord8 s1071 = table3[s1045];
const SWord8 s1072 = table4[s1048];
const SWord8 s1073 = table1[s1050];
const SWord8 s1074 = s1072 ^ s1073;
const SWord8 s1075 = s1071 ^ s1074;
const SWord8 s1076 = s1070 ^ s1075;
const SWord16 s1077 = (((SWord16) s1069) << 8) | ((SWord16) s1076);
const SWord32 s1078 = (((SWord32) s1062) << 16) | ((SWord32) s1077);
const SWord16 s1079 = (SWord16) (s352 >> 16);
const SWord8 s1080 = (SWord8) (s1079 >> 8);
const SWord8 s1081 = table1[s1080];
const SWord8 s1082 = (SWord8) s1079;
const SWord8 s1083 = table2[s1082];
const SWord16 s1084 = (SWord16) s352;
const SWord8 s1085 = (SWord8) (s1084 >> 8);
const SWord8 s1086 = table3[s1085];
const SWord8 s1087 = (SWord8) s1084;
const SWord8 s1088 = table4[s1087];
const SWord8 s1089 = s1086 ^ s1088;
const SWord8 s1090 = s1083 ^ s1089;
const SWord8 s1091 = s1081 ^ s1090;
const SWord8 s1092 = table4[s1080];
const SWord8 s1093 = table1[s1082];
const SWord8 s1094 = table2[s1085];
const SWord8 s1095 = table3[s1087];
const SWord8 s1096 = s1094 ^ s1095;
const SWord8 s1097 = s1093 ^ s1096;
const SWord8 s1098 = s1092 ^ s1097;
const SWord16 s1099 = (((SWord16) s1091) << 8) | ((SWord16) s1098);
const SWord8 s1100 = table3[s1080];
const SWord8 s1101 = table4[s1082];
const SWord8 s1102 = table1[s1085];
const SWord8 s1103 = table2[s1087];
const SWord8 s1104 = s1102 ^ s1103;
const SWord8 s1105 = s1101 ^ s1104;
const SWord8 s1106 = s1100 ^ s1105;
const SWord8 s1107 = table2[s1080];
const SWord8 s1108 = table3[s1082];
const SWord8 s1109 = table4[s1085];
const SWord8 s1110 = table1[s1087];
const SWord8 s1111 = s1109 ^ s1110;
const SWord8 s1112 = s1108 ^ s1111;
const SWord8 s1113 = s1107 ^ s1112;
const SWord16 s1114 = (((SWord16) s1106) << 8) | ((SWord16) s1113);
const SWord32 s1115 = (((SWord32) s1099) << 16) | ((SWord32) s1114);
const SWord16 s1116 = (SWord16) (s353 >> 16);
const SWord8 s1117 = (SWord8) (s1116 >> 8);
const SWord8 s1118 = table1[s1117];
const SWord8 s1119 = (SWord8) s1116;
const SWord8 s1120 = table2[s1119];
const SWord16 s1121 = (SWord16) s353;
const SWord8 s1122 = (SWord8) (s1121 >> 8);
const SWord8 s1123 = table3[s1122];
const SWord8 s1124 = (SWord8) s1121;
const SWord8 s1125 = table4[s1124];
const SWord8 s1126 = s1123 ^ s1125;
const SWord8 s1127 = s1120 ^ s1126;
const SWord8 s1128 = s1118 ^ s1127;
const SWord8 s1129 = table4[s1117];
const SWord8 s1130 = table1[s1119];
const SWord8 s1131 = table2[s1122];
const SWord8 s1132 = table3[s1124];
const SWord8 s1133 = s1131 ^ s1132;
const SWord8 s1134 = s1130 ^ s1133;
const SWord8 s1135 = s1129 ^ s1134;
const SWord16 s1136 = (((SWord16) s1128) << 8) | ((SWord16) s1135);
const SWord8 s1137 = table3[s1117];
const SWord8 s1138 = table4[s1119];
const SWord8 s1139 = table1[s1122];
const SWord8 s1140 = table2[s1124];
const SWord8 s1141 = s1139 ^ s1140;
const SWord8 s1142 = s1138 ^ s1141;
const SWord8 s1143 = s1137 ^ s1142;
const SWord8 s1144 = table2[s1117];
const SWord8 s1145 = table3[s1119];
const SWord8 s1146 = table4[s1122];
const SWord8 s1147 = table1[s1124];
const SWord8 s1148 = s1146 ^ s1147;
const SWord8 s1149 = s1145 ^ s1148;
const SWord8 s1150 = s1144 ^ s1149;
const SWord16 s1151 = (((SWord16) s1143) << 8) | ((SWord16) s1150);
const SWord32 s1152 = (((SWord32) s1136) << 16) | ((SWord32) s1151);
const SWord16 s1153 = (SWord16) (s354 >> 16);
const SWord8 s1154 = (SWord8) (s1153 >> 8);
const SWord8 s1155 = table1[s1154];
const SWord8 s1156 = (SWord8) s1153;
const SWord8 s1157 = table2[s1156];
const SWord16 s1158 = (SWord16) s354;
const SWord8 s1159 = (SWord8) (s1158 >> 8);
const SWord8 s1160 = table3[s1159];
const SWord8 s1161 = (SWord8) s1158;
const SWord8 s1162 = table4[s1161];
const SWord8 s1163 = s1160 ^ s1162;
const SWord8 s1164 = s1157 ^ s1163;
const SWord8 s1165 = s1155 ^ s1164;
const SWord8 s1166 = table4[s1154];
const SWord8 s1167 = table1[s1156];
const SWord8 s1168 = table2[s1159];
const SWord8 s1169 = table3[s1161];
const SWord8 s1170 = s1168 ^ s1169;
const SWord8 s1171 = s1167 ^ s1170;
const SWord8 s1172 = s1166 ^ s1171;
const SWord16 s1173 = (((SWord16) s1165) << 8) | ((SWord16) s1172);
const SWord8 s1174 = table3[s1154];
const SWord8 s1175 = table4[s1156];
const SWord8 s1176 = table1[s1159];
const SWord8 s1177 = table2[s1161];
const SWord8 s1178 = s1176 ^ s1177;
const SWord8 s1179 = s1175 ^ s1178;
const SWord8 s1180 = s1174 ^ s1179;
const SWord8 s1181 = table2[s1154];
const SWord8 s1182 = table3[s1156];
const SWord8 s1183 = table4[s1159];
const SWord8 s1184 = table1[s1161];
const SWord8 s1185 = s1183 ^ s1184;
const SWord8 s1186 = s1182 ^ s1185;
const SWord8 s1187 = s1181 ^ s1186;
const SWord16 s1188 = (((SWord16) s1180) << 8) | ((SWord16) s1187);
const SWord32 s1189 = (((SWord32) s1173) << 16) | ((SWord32) s1188);
const SWord16 s1190 = (SWord16) (s332 >> 16);
const SWord8 s1191 = (SWord8) (s1190 >> 8);
const SWord8 s1192 = table1[s1191];
const SWord8 s1193 = (SWord8) s1190;
const SWord8 s1194 = table2[s1193];
const SWord16 s1195 = (SWord16) s332;
const SWord8 s1196 = (SWord8) (s1195 >> 8);
const SWord8 s1197 = table3[s1196];
const SWord8 s1198 = (SWord8) s1195;
const SWord8 s1199 = table4[s1198];
const SWord8 s1200 = s1197 ^ s1199;
const SWord8 s1201 = s1194 ^ s1200;
const SWord8 s1202 = s1192 ^ s1201;
const SWord8 s1203 = table4[s1191];
const SWord8 s1204 = table1[s1193];
const SWord8 s1205 = table2[s1196];
const SWord8 s1206 = table3[s1198];
const SWord8 s1207 = s1205 ^ s1206;
const SWord8 s1208 = s1204 ^ s1207;
const SWord8 s1209 = s1203 ^ s1208;
const SWord16 s1210 = (((SWord16) s1202) << 8) | ((SWord16) s1209);
const SWord8 s1211 = table3[s1191];
const SWord8 s1212 = table4[s1193];
const SWord8 s1213 = table1[s1196];
const SWord8 s1214 = table2[s1198];
const SWord8 s1215 = s1213 ^ s1214;
const SWord8 s1216 = s1212 ^ s1215;
const SWord8 s1217 = s1211 ^ s1216;
const SWord8 s1218 = table2[s1191];
const SWord8 s1219 = table3[s1193];
const SWord8 s1220 = table4[s1196];
const SWord8 s1221 = table1[s1198];
const SWord8 s1222 = s1220 ^ s1221;
const SWord8 s1223 = s1219 ^ s1222;
const SWord8 s1224 = s1218 ^ s1223;
const SWord16 s1225 = (((SWord16) s1217) << 8) | ((SWord16) s1224);
const SWord32 s1226 = (((SWord32) s1210) << 16) | ((SWord32) s1225);
const SWord16 s1227 = (SWord16) (s333 >> 16);
const SWord8 s1228 = (SWord8) (s1227 >> 8);
const SWord8 s1229 = table1[s1228];
const SWord8 s1230 = (SWord8) s1227;
const SWord8 s1231 = table2[s1230];
const SWord16 s1232 = (SWord16) s333;
const SWord8 s1233 = (SWord8) (s1232 >> 8);
const SWord8 s1234 = table3[s1233];
const SWord8 s1235 = (SWord8) s1232;
const SWord8 s1236 = table4[s1235];
const SWord8 s1237 = s1234 ^ s1236;
const SWord8 s1238 = s1231 ^ s1237;
const SWord8 s1239 = s1229 ^ s1238;
const SWord8 s1240 = table4[s1228];
const SWord8 s1241 = table1[s1230];
const SWord8 s1242 = table2[s1233];
const SWord8 s1243 = table3[s1235];
const SWord8 s1244 = s1242 ^ s1243;
const SWord8 s1245 = s1241 ^ s1244;
const SWord8 s1246 = s1240 ^ s1245;
const SWord16 s1247 = (((SWord16) s1239) << 8) | ((SWord16) s1246);
const SWord8 s1248 = table3[s1228];
const SWord8 s1249 = table4[s1230];
const SWord8 s1250 = table1[s1233];
const SWord8 s1251 = table2[s1235];
const SWord8 s1252 = s1250 ^ s1251;
const SWord8 s1253 = s1249 ^ s1252;
const SWord8 s1254 = s1248 ^ s1253;
const SWord8 s1255 = table2[s1228];
const SWord8 s1256 = table3[s1230];
const SWord8 s1257 = table4[s1233];
const SWord8 s1258 = table1[s1235];
const SWord8 s1259 = s1257 ^ s1258;
const SWord8 s1260 = s1256 ^ s1259;
const SWord8 s1261 = s1255 ^ s1260;
const SWord16 s1262 = (((SWord16) s1254) << 8) | ((SWord16) s1261);
const SWord32 s1263 = (((SWord32) s1247) << 16) | ((SWord32) s1262);
const SWord16 s1264 = (SWord16) (s334 >> 16);
const SWord8 s1265 = (SWord8) (s1264 >> 8);
const SWord8 s1266 = table1[s1265];
const SWord8 s1267 = (SWord8) s1264;
const SWord8 s1268 = table2[s1267];
const SWord16 s1269 = (SWord16) s334;
const SWord8 s1270 = (SWord8) (s1269 >> 8);
const SWord8 s1271 = table3[s1270];
const SWord8 s1272 = (SWord8) s1269;
const SWord8 s1273 = table4[s1272];
const SWord8 s1274 = s1271 ^ s1273;
const SWord8 s1275 = s1268 ^ s1274;
const SWord8 s1276 = s1266 ^ s1275;
const SWord8 s1277 = table4[s1265];
const SWord8 s1278 = table1[s1267];
const SWord8 s1279 = table2[s1270];
const SWord8 s1280 = table3[s1272];
const SWord8 s1281 = s1279 ^ s1280;
const SWord8 s1282 = s1278 ^ s1281;
const SWord8 s1283 = s1277 ^ s1282;
const SWord16 s1284 = (((SWord16) s1276) << 8) | ((SWord16) s1283);
const SWord8 s1285 = table3[s1265];
const SWord8 s1286 = table4[s1267];
const SWord8 s1287 = table1[s1270];
const SWord8 s1288 = table2[s1272];
const SWord8 s1289 = s1287 ^ s1288;
const SWord8 s1290 = s1286 ^ s1289;
const SWord8 s1291 = s1285 ^ s1290;
const SWord8 s1292 = table2[s1265];
const SWord8 s1293 = table3[s1267];
const SWord8 s1294 = table4[s1270];
const SWord8 s1295 = table1[s1272];
const SWord8 s1296 = s1294 ^ s1295;
const SWord8 s1297 = s1293 ^ s1296;
const SWord8 s1298 = s1292 ^ s1297;
const SWord16 s1299 = (((SWord16) s1291) << 8) | ((SWord16) s1298);
const SWord32 s1300 = (((SWord32) s1284) << 16) | ((SWord32) s1299);
const SWord16 s1301 = (SWord16) (s335 >> 16);
const SWord8 s1302 = (SWord8) (s1301 >> 8);
const SWord8 s1303 = table1[s1302];
const SWord8 s1304 = (SWord8) s1301;
const SWord8 s1305 = table2[s1304];
const SWord16 s1306 = (SWord16) s335;
const SWord8 s1307 = (SWord8) (s1306 >> 8);
const SWord8 s1308 = table3[s1307];
const SWord8 s1309 = (SWord8) s1306;
const SWord8 s1310 = table4[s1309];
const SWord8 s1311 = s1308 ^ s1310;
const SWord8 s1312 = s1305 ^ s1311;
const SWord8 s1313 = s1303 ^ s1312;
const SWord8 s1314 = table4[s1302];
const SWord8 s1315 = table1[s1304];
const SWord8 s1316 = table2[s1307];
const SWord8 s1317 = table3[s1309];
const SWord8 s1318 = s1316 ^ s1317;
const SWord8 s1319 = s1315 ^ s1318;
const SWord8 s1320 = s1314 ^ s1319;
const SWord16 s1321 = (((SWord16) s1313) << 8) | ((SWord16) s1320);
const SWord8 s1322 = table3[s1302];
const SWord8 s1323 = table4[s1304];
const SWord8 s1324 = table1[s1307];
const SWord8 s1325 = table2[s1309];
const SWord8 s1326 = s1324 ^ s1325;
const SWord8 s1327 = s1323 ^ s1326;
const SWord8 s1328 = s1322 ^ s1327;
const SWord8 s1329 = table2[s1302];
const SWord8 s1330 = table3[s1304];
const SWord8 s1331 = table4[s1307];
const SWord8 s1332 = table1[s1309];
const SWord8 s1333 = s1331 ^ s1332;
const SWord8 s1334 = s1330 ^ s1333;
const SWord8 s1335 = s1329 ^ s1334;
const SWord16 s1336 = (((SWord16) s1328) << 8) | ((SWord16) s1335);
const SWord32 s1337 = (((SWord32) s1321) << 16) | ((SWord32) s1336);
const SWord16 s1338 = (SWord16) (s313 >> 16);
const SWord8 s1339 = (SWord8) (s1338 >> 8);
const SWord8 s1340 = table1[s1339];
const SWord8 s1341 = (SWord8) s1338;
const SWord8 s1342 = table2[s1341];
const SWord16 s1343 = (SWord16) s313;
const SWord8 s1344 = (SWord8) (s1343 >> 8);
const SWord8 s1345 = table3[s1344];
const SWord8 s1346 = (SWord8) s1343;
const SWord8 s1347 = table4[s1346];
const SWord8 s1348 = s1345 ^ s1347;
const SWord8 s1349 = s1342 ^ s1348;
const SWord8 s1350 = s1340 ^ s1349;
const SWord8 s1351 = table4[s1339];
const SWord8 s1352 = table1[s1341];
const SWord8 s1353 = table2[s1344];
const SWord8 s1354 = table3[s1346];
const SWord8 s1355 = s1353 ^ s1354;
const SWord8 s1356 = s1352 ^ s1355;
const SWord8 s1357 = s1351 ^ s1356;
const SWord16 s1358 = (((SWord16) s1350) << 8) | ((SWord16) s1357);
const SWord8 s1359 = table3[s1339];
const SWord8 s1360 = table4[s1341];
const SWord8 s1361 = table1[s1344];
const SWord8 s1362 = table2[s1346];
const SWord8 s1363 = s1361 ^ s1362;
const SWord8 s1364 = s1360 ^ s1363;
const SWord8 s1365 = s1359 ^ s1364;
const SWord8 s1366 = table2[s1339];
const SWord8 s1367 = table3[s1341];
const SWord8 s1368 = table4[s1344];
const SWord8 s1369 = table1[s1346];
const SWord8 s1370 = s1368 ^ s1369;
const SWord8 s1371 = s1367 ^ s1370;
const SWord8 s1372 = s1366 ^ s1371;
const SWord16 s1373 = (((SWord16) s1365) << 8) | ((SWord16) s1372);
const SWord32 s1374 = (((SWord32) s1358) << 16) | ((SWord32) s1373);
const SWord16 s1375 = (SWord16) (s314 >> 16);
const SWord8 s1376 = (SWord8) (s1375 >> 8);
const SWord8 s1377 = table1[s1376];
const SWord8 s1378 = (SWord8) s1375;
const SWord8 s1379 = table2[s1378];
const SWord16 s1380 = (SWord16) s314;
const SWord8 s1381 = (SWord8) (s1380 >> 8);
const SWord8 s1382 = table3[s1381];
const SWord8 s1383 = (SWord8) s1380;
const SWord8 s1384 = table4[s1383];
const SWord8 s1385 = s1382 ^ s1384;
const SWord8 s1386 = s1379 ^ s1385;
const SWord8 s1387 = s1377 ^ s1386;
const SWord8 s1388 = table4[s1376];
const SWord8 s1389 = table1[s1378];
const SWord8 s1390 = table2[s1381];
const SWord8 s1391 = table3[s1383];
const SWord8 s1392 = s1390 ^ s1391;
const SWord8 s1393 = s1389 ^ s1392;
const SWord8 s1394 = s1388 ^ s1393;
const SWord16 s1395 = (((SWord16) s1387) << 8) | ((SWord16) s1394);
const SWord8 s1396 = table3[s1376];
const SWord8 s1397 = table4[s1378];
const SWord8 s1398 = table1[s1381];
const SWord8 s1399 = table2[s1383];
const SWord8 s1400 = s1398 ^ s1399;
const SWord8 s1401 = s1397 ^ s1400;
const SWord8 s1402 = s1396 ^ s1401;
const SWord8 s1403 = table2[s1376];
const SWord8 s1404 = table3[s1378];
const SWord8 s1405 = table4[s1381];
const SWord8 s1406 = table1[s1383];
const SWord8 s1407 = s1405 ^ s1406;
const SWord8 s1408 = s1404 ^ s1407;
const SWord8 s1409 = s1403 ^ s1408;
const SWord16 s1410 = (((SWord16) s1402) << 8) | ((SWord16) s1409);
const SWord32 s1411 = (((SWord32) s1395) << 16) | ((SWord32) s1410);
const SWord16 s1412 = (SWord16) (s315 >> 16);
const SWord8 s1413 = (SWord8) (s1412 >> 8);
const SWord8 s1414 = table1[s1413];
const SWord8 s1415 = (SWord8) s1412;
const SWord8 s1416 = table2[s1415];
const SWord16 s1417 = (SWord16) s315;
const SWord8 s1418 = (SWord8) (s1417 >> 8);
const SWord8 s1419 = table3[s1418];
const SWord8 s1420 = (SWord8) s1417;
const SWord8 s1421 = table4[s1420];
const SWord8 s1422 = s1419 ^ s1421;
const SWord8 s1423 = s1416 ^ s1422;
const SWord8 s1424 = s1414 ^ s1423;
const SWord8 s1425 = table4[s1413];
const SWord8 s1426 = table1[s1415];
const SWord8 s1427 = table2[s1418];
const SWord8 s1428 = table3[s1420];
const SWord8 s1429 = s1427 ^ s1428;
const SWord8 s1430 = s1426 ^ s1429;
const SWord8 s1431 = s1425 ^ s1430;
const SWord16 s1432 = (((SWord16) s1424) << 8) | ((SWord16) s1431);
const SWord8 s1433 = table3[s1413];
const SWord8 s1434 = table4[s1415];
const SWord8 s1435 = table1[s1418];
const SWord8 s1436 = table2[s1420];
const SWord8 s1437 = s1435 ^ s1436;
const SWord8 s1438 = s1434 ^ s1437;
const SWord8 s1439 = s1433 ^ s1438;
const SWord8 s1440 = table2[s1413];
const SWord8 s1441 = table3[s1415];
const SWord8 s1442 = table4[s1418];
const SWord8 s1443 = table1[s1420];
const SWord8 s1444 = s1442 ^ s1443;
const SWord8 s1445 = s1441 ^ s1444;
const SWord8 s1446 = s1440 ^ s1445;
const SWord16 s1447 = (((SWord16) s1439) << 8) | ((SWord16) s1446);
const SWord32 s1448 = (((SWord32) s1432) << 16) | ((SWord32) s1447);
const SWord16 s1449 = (SWord16) (s316 >> 16);
const SWord8 s1450 = (SWord8) (s1449 >> 8);
const SWord8 s1451 = table1[s1450];
const SWord8 s1452 = (SWord8) s1449;
const SWord8 s1453 = table2[s1452];
const SWord16 s1454 = (SWord16) s316;
const SWord8 s1455 = (SWord8) (s1454 >> 8);
const SWord8 s1456 = table3[s1455];
const SWord8 s1457 = (SWord8) s1454;
const SWord8 s1458 = table4[s1457];
const SWord8 s1459 = s1456 ^ s1458;
const SWord8 s1460 = s1453 ^ s1459;
const SWord8 s1461 = s1451 ^ s1460;
const SWord8 s1462 = table4[s1450];
const SWord8 s1463 = table1[s1452];
const SWord8 s1464 = table2[s1455];
const SWord8 s1465 = table3[s1457];
const SWord8 s1466 = s1464 ^ s1465;
const SWord8 s1467 = s1463 ^ s1466;
const SWord8 s1468 = s1462 ^ s1467;
const SWord16 s1469 = (((SWord16) s1461) << 8) | ((SWord16) s1468);
const SWord8 s1470 = table3[s1450];
const SWord8 s1471 = table4[s1452];
const SWord8 s1472 = table1[s1455];
const SWord8 s1473 = table2[s1457];
const SWord8 s1474 = s1472 ^ s1473;
const SWord8 s1475 = s1471 ^ s1474;
const SWord8 s1476 = s1470 ^ s1475;
const SWord8 s1477 = table2[s1450];
const SWord8 s1478 = table3[s1452];
const SWord8 s1479 = table4[s1455];
const SWord8 s1480 = table1[s1457];
const SWord8 s1481 = s1479 ^ s1480;
const SWord8 s1482 = s1478 ^ s1481;
const SWord8 s1483 = s1477 ^ s1482;
const SWord16 s1484 = (((SWord16) s1476) << 8) | ((SWord16) s1483);
const SWord32 s1485 = (((SWord32) s1469) << 16) | ((SWord32) s1484);
const SWord16 s1486 = (SWord16) (s294 >> 16);
const SWord8 s1487 = (SWord8) (s1486 >> 8);
const SWord8 s1488 = table1[s1487];
const SWord8 s1489 = (SWord8) s1486;
const SWord8 s1490 = table2[s1489];
const SWord16 s1491 = (SWord16) s294;
const SWord8 s1492 = (SWord8) (s1491 >> 8);
const SWord8 s1493 = table3[s1492];
const SWord8 s1494 = (SWord8) s1491;
const SWord8 s1495 = table4[s1494];
const SWord8 s1496 = s1493 ^ s1495;
const SWord8 s1497 = s1490 ^ s1496;
const SWord8 s1498 = s1488 ^ s1497;
const SWord8 s1499 = table4[s1487];
const SWord8 s1500 = table1[s1489];
const SWord8 s1501 = table2[s1492];
const SWord8 s1502 = table3[s1494];
const SWord8 s1503 = s1501 ^ s1502;
const SWord8 s1504 = s1500 ^ s1503;
const SWord8 s1505 = s1499 ^ s1504;
const SWord16 s1506 = (((SWord16) s1498) << 8) | ((SWord16) s1505);
const SWord8 s1507 = table3[s1487];
const SWord8 s1508 = table4[s1489];
const SWord8 s1509 = table1[s1492];
const SWord8 s1510 = table2[s1494];
const SWord8 s1511 = s1509 ^ s1510;
const SWord8 s1512 = s1508 ^ s1511;
const SWord8 s1513 = s1507 ^ s1512;
const SWord8 s1514 = table2[s1487];
const SWord8 s1515 = table3[s1489];
const SWord8 s1516 = table4[s1492];
const SWord8 s1517 = table1[s1494];
const SWord8 s1518 = s1516 ^ s1517;
const SWord8 s1519 = s1515 ^ s1518;
const SWord8 s1520 = s1514 ^ s1519;
const SWord16 s1521 = (((SWord16) s1513) << 8) | ((SWord16) s1520);
const SWord32 s1522 = (((SWord32) s1506) << 16) | ((SWord32) s1521);
const SWord16 s1523 = (SWord16) (s295 >> 16);
const SWord8 s1524 = (SWord8) (s1523 >> 8);
const SWord8 s1525 = table1[s1524];
const SWord8 s1526 = (SWord8) s1523;
const SWord8 s1527 = table2[s1526];
const SWord16 s1528 = (SWord16) s295;
const SWord8 s1529 = (SWord8) (s1528 >> 8);
const SWord8 s1530 = table3[s1529];
const SWord8 s1531 = (SWord8) s1528;
const SWord8 s1532 = table4[s1531];
const SWord8 s1533 = s1530 ^ s1532;
const SWord8 s1534 = s1527 ^ s1533;
const SWord8 s1535 = s1525 ^ s1534;
const SWord8 s1536 = table4[s1524];
const SWord8 s1537 = table1[s1526];
const SWord8 s1538 = table2[s1529];
const SWord8 s1539 = table3[s1531];
const SWord8 s1540 = s1538 ^ s1539;
const SWord8 s1541 = s1537 ^ s1540;
const SWord8 s1542 = s1536 ^ s1541;
const SWord16 s1543 = (((SWord16) s1535) << 8) | ((SWord16) s1542);
const SWord8 s1544 = table3[s1524];
const SWord8 s1545 = table4[s1526];
const SWord8 s1546 = table1[s1529];
const SWord8 s1547 = table2[s1531];
const SWord8 s1548 = s1546 ^ s1547;
const SWord8 s1549 = s1545 ^ s1548;
const SWord8 s1550 = s1544 ^ s1549;
const SWord8 s1551 = table2[s1524];
const SWord8 s1552 = table3[s1526];
const SWord8 s1553 = table4[s1529];
const SWord8 s1554 = table1[s1531];
const SWord8 s1555 = s1553 ^ s1554;
const SWord8 s1556 = s1552 ^ s1555;
const SWord8 s1557 = s1551 ^ s1556;
const SWord16 s1558 = (((SWord16) s1550) << 8) | ((SWord16) s1557);
const SWord32 s1559 = (((SWord32) s1543) << 16) | ((SWord32) s1558);
const SWord16 s1560 = (SWord16) (s296 >> 16);
const SWord8 s1561 = (SWord8) (s1560 >> 8);
const SWord8 s1562 = table1[s1561];
const SWord8 s1563 = (SWord8) s1560;
const SWord8 s1564 = table2[s1563];
const SWord16 s1565 = (SWord16) s296;
const SWord8 s1566 = (SWord8) (s1565 >> 8);
const SWord8 s1567 = table3[s1566];
const SWord8 s1568 = (SWord8) s1565;
const SWord8 s1569 = table4[s1568];
const SWord8 s1570 = s1567 ^ s1569;
const SWord8 s1571 = s1564 ^ s1570;
const SWord8 s1572 = s1562 ^ s1571;
const SWord8 s1573 = table4[s1561];
const SWord8 s1574 = table1[s1563];
const SWord8 s1575 = table2[s1566];
const SWord8 s1576 = table3[s1568];
const SWord8 s1577 = s1575 ^ s1576;
const SWord8 s1578 = s1574 ^ s1577;
const SWord8 s1579 = s1573 ^ s1578;
const SWord16 s1580 = (((SWord16) s1572) << 8) | ((SWord16) s1579);
const SWord8 s1581 = table3[s1561];
const SWord8 s1582 = table4[s1563];
const SWord8 s1583 = table1[s1566];
const SWord8 s1584 = table2[s1568];
const SWord8 s1585 = s1583 ^ s1584;
const SWord8 s1586 = s1582 ^ s1585;
const SWord8 s1587 = s1581 ^ s1586;
const SWord8 s1588 = table2[s1561];
const SWord8 s1589 = table3[s1563];
const SWord8 s1590 = table4[s1566];
const SWord8 s1591 = table1[s1568];
const SWord8 s1592 = s1590 ^ s1591;
const SWord8 s1593 = s1589 ^ s1592;
const SWord8 s1594 = s1588 ^ s1593;
const SWord16 s1595 = (((SWord16) s1587) << 8) | ((SWord16) s1594);
const SWord32 s1596 = (((SWord32) s1580) << 16) | ((SWord32) s1595);
const SWord16 s1597 = (SWord16) (s297 >> 16);
const SWord8 s1598 = (SWord8) (s1597 >> 8);
const SWord8 s1599 = table1[s1598];
const SWord8 s1600 = (SWord8) s1597;
const SWord8 s1601 = table2[s1600];
const SWord16 s1602 = (SWord16) s297;
const SWord8 s1603 = (SWord8) (s1602 >> 8);
const SWord8 s1604 = table3[s1603];
const SWord8 s1605 = (SWord8) s1602;
const SWord8 s1606 = table4[s1605];
const SWord8 s1607 = s1604 ^ s1606;
const SWord8 s1608 = s1601 ^ s1607;
const SWord8 s1609 = s1599 ^ s1608;
const SWord8 s1610 = table4[s1598];
const SWord8 s1611 = table1[s1600];
const SWord8 s1612 = table2[s1603];
const SWord8 s1613 = table3[s1605];
const SWord8 s1614 = s1612 ^ s1613;
const SWord8 s1615 = s1611 ^ s1614;
const SWord8 s1616 = s1610 ^ s1615;
const SWord16 s1617 = (((SWord16) s1609) << 8) | ((SWord16) s1616);
const SWord8 s1618 = table3[s1598];
const SWord8 s1619 = table4[s1600];
const SWord8 s1620 = table1[s1603];
const SWord8 s1621 = table2[s1605];
const SWord8 s1622 = s1620 ^ s1621;
const SWord8 s1623 = s1619 ^ s1622;
const SWord8 s1624 = s1618 ^ s1623;
const SWord8 s1625 = table2[s1598];
const SWord8 s1626 = table3[s1600];
const SWord8 s1627 = table4[s1603];
const SWord8 s1628 = table1[s1605];
const SWord8 s1629 = s1627 ^ s1628;
const SWord8 s1630 = s1626 ^ s1629;
const SWord8 s1631 = s1625 ^ s1630;
const SWord16 s1632 = (((SWord16) s1624) << 8) | ((SWord16) s1631);
const SWord32 s1633 = (((SWord32) s1617) << 16) | ((SWord32) s1632);
const SWord16 s1634 = (SWord16) (s275 >> 16);
const SWord8 s1635 = (SWord8) (s1634 >> 8);
const SWord8 s1636 = table1[s1635];
const SWord8 s1637 = (SWord8) s1634;
const SWord8 s1638 = table2[s1637];
const SWord16 s1639 = (SWord16) s275;
const SWord8 s1640 = (SWord8) (s1639 >> 8);
const SWord8 s1641 = table3[s1640];
const SWord8 s1642 = (SWord8) s1639;
const SWord8 s1643 = table4[s1642];
const SWord8 s1644 = s1641 ^ s1643;
const SWord8 s1645 = s1638 ^ s1644;
const SWord8 s1646 = s1636 ^ s1645;
const SWord8 s1647 = table4[s1635];
const SWord8 s1648 = table1[s1637];
const SWord8 s1649 = table2[s1640];
const SWord8 s1650 = table3[s1642];
const SWord8 s1651 = s1649 ^ s1650;
const SWord8 s1652 = s1648 ^ s1651;
const SWord8 s1653 = s1647 ^ s1652;
const SWord16 s1654 = (((SWord16) s1646) << 8) | ((SWord16) s1653);
const SWord8 s1655 = table3[s1635];
const SWord8 s1656 = table4[s1637];
const SWord8 s1657 = table1[s1640];
const SWord8 s1658 = table2[s1642];
const SWord8 s1659 = s1657 ^ s1658;
const SWord8 s1660 = s1656 ^ s1659;
const SWord8 s1661 = s1655 ^ s1660;
const SWord8 s1662 = table2[s1635];
const SWord8 s1663 = table3[s1637];
const SWord8 s1664 = table4[s1640];
const SWord8 s1665 = table1[s1642];
const SWord8 s1666 = s1664 ^ s1665;
const SWord8 s1667 = s1663 ^ s1666;
const SWord8 s1668 = s1662 ^ s1667;
const SWord16 s1669 = (((SWord16) s1661) << 8) | ((SWord16) s1668);
const SWord32 s1670 = (((SWord32) s1654) << 16) | ((SWord32) s1669);
const SWord16 s1671 = (SWord16) (s276 >> 16);
const SWord8 s1672 = (SWord8) (s1671 >> 8);
const SWord8 s1673 = table1[s1672];
const SWord8 s1674 = (SWord8) s1671;
const SWord8 s1675 = table2[s1674];
const SWord16 s1676 = (SWord16) s276;
const SWord8 s1677 = (SWord8) (s1676 >> 8);
const SWord8 s1678 = table3[s1677];
const SWord8 s1679 = (SWord8) s1676;
const SWord8 s1680 = table4[s1679];
const SWord8 s1681 = s1678 ^ s1680;
const SWord8 s1682 = s1675 ^ s1681;
const SWord8 s1683 = s1673 ^ s1682;
const SWord8 s1684 = table4[s1672];
const SWord8 s1685 = table1[s1674];
const SWord8 s1686 = table2[s1677];
const SWord8 s1687 = table3[s1679];
const SWord8 s1688 = s1686 ^ s1687;
const SWord8 s1689 = s1685 ^ s1688;
const SWord8 s1690 = s1684 ^ s1689;
const SWord16 s1691 = (((SWord16) s1683) << 8) | ((SWord16) s1690);
const SWord8 s1692 = table3[s1672];
const SWord8 s1693 = table4[s1674];
const SWord8 s1694 = table1[s1677];
const SWord8 s1695 = table2[s1679];
const SWord8 s1696 = s1694 ^ s1695;
const SWord8 s1697 = s1693 ^ s1696;
const SWord8 s1698 = s1692 ^ s1697;
const SWord8 s1699 = table2[s1672];
const SWord8 s1700 = table3[s1674];
const SWord8 s1701 = table4[s1677];
const SWord8 s1702 = table1[s1679];
const SWord8 s1703 = s1701 ^ s1702;
const SWord8 s1704 = s1700 ^ s1703;
const SWord8 s1705 = s1699 ^ s1704;
const SWord16 s1706 = (((SWord16) s1698) << 8) | ((SWord16) s1705);
const SWord32 s1707 = (((SWord32) s1691) << 16) | ((SWord32) s1706);
const SWord16 s1708 = (SWord16) (s277 >> 16);
const SWord8 s1709 = (SWord8) (s1708 >> 8);
const SWord8 s1710 = table1[s1709];
const SWord8 s1711 = (SWord8) s1708;
const SWord8 s1712 = table2[s1711];
const SWord16 s1713 = (SWord16) s277;
const SWord8 s1714 = (SWord8) (s1713 >> 8);
const SWord8 s1715 = table3[s1714];
const SWord8 s1716 = (SWord8) s1713;
const SWord8 s1717 = table4[s1716];
const SWord8 s1718 = s1715 ^ s1717;
const SWord8 s1719 = s1712 ^ s1718;
const SWord8 s1720 = s1710 ^ s1719;
const SWord8 s1721 = table4[s1709];
const SWord8 s1722 = table1[s1711];
const SWord8 s1723 = table2[s1714];
const SWord8 s1724 = table3[s1716];
const SWord8 s1725 = s1723 ^ s1724;
const SWord8 s1726 = s1722 ^ s1725;
const SWord8 s1727 = s1721 ^ s1726;
const SWord16 s1728 = (((SWord16) s1720) << 8) | ((SWord16) s1727);
const SWord8 s1729 = table3[s1709];
const SWord8 s1730 = table4[s1711];
const SWord8 s1731 = table1[s1714];
const SWord8 s1732 = table2[s1716];
const SWord8 s1733 = s1731 ^ s1732;
const SWord8 s1734 = s1730 ^ s1733;
const SWord8 s1735 = s1729 ^ s1734;
const SWord8 s1736 = table2[s1709];
const SWord8 s1737 = table3[s1711];
const SWord8 s1738 = table4[s1714];
const SWord8 s1739 = table1[s1716];
const SWord8 s1740 = s1738 ^ s1739;
const SWord8 s1741 = s1737 ^ s1740;
const SWord8 s1742 = s1736 ^ s1741;
const SWord16 s1743 = (((SWord16) s1735) << 8) | ((SWord16) s1742);
const SWord32 s1744 = (((SWord32) s1728) << 16) | ((SWord32) s1743);
const SWord16 s1745 = (SWord16) (s278 >> 16);
const SWord8 s1746 = (SWord8) (s1745 >> 8);
const SWord8 s1747 = table1[s1746];
const SWord8 s1748 = (SWord8) s1745;
const SWord8 s1749 = table2[s1748];
const SWord16 s1750 = (SWord16) s278;
const SWord8 s1751 = (SWord8) (s1750 >> 8);
const SWord8 s1752 = table3[s1751];
const SWord8 s1753 = (SWord8) s1750;
const SWord8 s1754 = table4[s1753];
const SWord8 s1755 = s1752 ^ s1754;
const SWord8 s1756 = s1749 ^ s1755;
const SWord8 s1757 = s1747 ^ s1756;
const SWord8 s1758 = table4[s1746];
const SWord8 s1759 = table1[s1748];
const SWord8 s1760 = table2[s1751];
const SWord8 s1761 = table3[s1753];
const SWord8 s1762 = s1760 ^ s1761;
const SWord8 s1763 = s1759 ^ s1762;
const SWord8 s1764 = s1758 ^ s1763;
const SWord16 s1765 = (((SWord16) s1757) << 8) | ((SWord16) s1764);
const SWord8 s1766 = table3[s1746];
const SWord8 s1767 = table4[s1748];
const SWord8 s1768 = table1[s1751];
const SWord8 s1769 = table2[s1753];
const SWord8 s1770 = s1768 ^ s1769;
const SWord8 s1771 = s1767 ^ s1770;
const SWord8 s1772 = s1766 ^ s1771;
const SWord8 s1773 = table2[s1746];
const SWord8 s1774 = table3[s1748];
const SWord8 s1775 = table4[s1751];
const SWord8 s1776 = table1[s1753];
const SWord8 s1777 = s1775 ^ s1776;
const SWord8 s1778 = s1774 ^ s1777;
const SWord8 s1779 = s1773 ^ s1778;
const SWord16 s1780 = (((SWord16) s1772) << 8) | ((SWord16) s1779);
const SWord32 s1781 = (((SWord32) s1765) << 16) | ((SWord32) s1780);
encKS[0] = s0;
encKS[1] = s1;
encKS[2] = s2;
encKS[3] = s3;
encKS[4] = s275;
encKS[5] = s276;
encKS[6] = s277;
encKS[7] = s278;
encKS[8] = s294;
encKS[9] = s295;
encKS[10] = s296;
encKS[11] = s297;
encKS[12] = s313;
encKS[13] = s314;
encKS[14] = s315;
encKS[15] = s316;
encKS[16] = s332;
encKS[17] = s333;
encKS[18] = s334;
encKS[19] = s335;
encKS[20] = s351;
encKS[21] = s352;
encKS[22] = s353;
encKS[23] = s354;
encKS[24] = s370;
encKS[25] = s371;
encKS[26] = s372;
encKS[27] = s373;
encKS[28] = s389;
encKS[29] = s390;
encKS[30] = s391;
encKS[31] = s392;
encKS[32] = s408;
encKS[33] = s409;
encKS[34] = s410;
encKS[35] = s411;
encKS[36] = s427;
encKS[37] = s428;
encKS[38] = s429;
encKS[39] = s430;
encKS[40] = s446;
encKS[41] = s447;
encKS[42] = s448;
encKS[43] = s449;
decKS[0] = s446;
decKS[1] = s447;
decKS[2] = s448;
decKS[3] = s449;
decKS[4] = s486;
decKS[5] = s523;
decKS[6] = s560;
decKS[7] = s597;
decKS[8] = s634;
decKS[9] = s671;
decKS[10] = s708;
decKS[11] = s745;
decKS[12] = s782;
decKS[13] = s819;
decKS[14] = s856;
decKS[15] = s893;
decKS[16] = s930;
decKS[17] = s967;
decKS[18] = s1004;
decKS[19] = s1041;
decKS[20] = s1078;
decKS[21] = s1115;
decKS[22] = s1152;
decKS[23] = s1189;
decKS[24] = s1226;
decKS[25] = s1263;
decKS[26] = s1300;
decKS[27] = s1337;
decKS[28] = s1374;
decKS[29] = s1411;
decKS[30] = s1448;
decKS[31] = s1485;
decKS[32] = s1522;
decKS[33] = s1559;
decKS[34] = s1596;
decKS[35] = s1633;
decKS[36] = s1670;
decKS[37] = s1707;
decKS[38] = s1744;
decKS[39] = s1781;
decKS[40] = s0;
decKS[41] = s1;
decKS[42] = s2;
decKS[43] = s3;
}
== END: "aes128KeySchedule.c" ==================
== BEGIN: "aes128BlockEncrypt.c" ================
/* File: "aes128BlockEncrypt.c". Automatically generated by SBV. Do not edit! */
#include <inttypes.h>
#include <stdint.h>
#include <stdbool.h>
#include <math.h>
#include "aes128Lib.h"
void aes128BlockEncrypt(const SWord32 *pt, const SWord32 *xkey,
SWord32 *ct)
{
const SWord32 s0 = pt[0];
const SWord32 s1 = pt[1];
const SWord32 s2 = pt[2];
const SWord32 s3 = pt[3];
const SWord32 s4 = xkey[0];
const SWord32 s5 = xkey[1];
const SWord32 s6 = xkey[2];
const SWord32 s7 = xkey[3];
const SWord32 s8 = xkey[4];
const SWord32 s9 = xkey[5];
const SWord32 s10 = xkey[6];
const SWord32 s11 = xkey[7];
const SWord32 s12 = xkey[8];
const SWord32 s13 = xkey[9];
const SWord32 s14 = xkey[10];
const SWord32 s15 = xkey[11];
const SWord32 s16 = xkey[12];
const SWord32 s17 = xkey[13];
const SWord32 s18 = xkey[14];
const SWord32 s19 = xkey[15];
const SWord32 s20 = xkey[16];
const SWord32 s21 = xkey[17];
const SWord32 s22 = xkey[18];
const SWord32 s23 = xkey[19];
const SWord32 s24 = xkey[20];
const SWord32 s25 = xkey[21];
const SWord32 s26 = xkey[22];
const SWord32 s27 = xkey[23];
const SWord32 s28 = xkey[24];
const SWord32 s29 = xkey[25];
const SWord32 s30 = xkey[26];
const SWord32 s31 = xkey[27];
const SWord32 s32 = xkey[28];
const SWord32 s33 = xkey[29];
const SWord32 s34 = xkey[30];
const SWord32 s35 = xkey[31];
const SWord32 s36 = xkey[32];
const SWord32 s37 = xkey[33];
const SWord32 s38 = xkey[34];
const SWord32 s39 = xkey[35];
const SWord32 s40 = xkey[36];
const SWord32 s41 = xkey[37];
const SWord32 s42 = xkey[38];
const SWord32 s43 = xkey[39];
const SWord32 s44 = xkey[40];
const SWord32 s45 = xkey[41];
const SWord32 s46 = xkey[42];
const SWord32 s47 = xkey[43];
static const SWord8 table0[] = {
99, 124, 119, 123, 242, 107, 111, 197, 48, 1, 103, 43, 254,
215, 171, 118, 202, 130, 201, 125, 250, 89, 71, 240, 173, 212,
162, 175, 156, 164, 114, 192, 183, 253, 147, 38, 54, 63, 247,
204, 52, 165, 229, 241, 113, 216, 49, 21, 4, 199, 35, 195,
24, 150, 5, 154, 7, 18, 128, 226, 235, 39, 178, 117, 9,
131, 44, 26, 27, 110, 90, 160, 82, 59, 214, 179, 41, 227,
47, 132, 83, 209, 0, 237, 32, 252, 177, 91, 106, 203, 190,
57, 74, 76, 88, 207, 208, 239, 170, 251, 67, 77, 51, 133,
69, 249, 2, 127, 80, 60, 159, 168, 81, 163, 64, 143, 146,
157, 56, 245, 188, 182, 218, 33, 16, 255, 243, 210, 205, 12,
19, 236, 95, 151, 68, 23, 196, 167, 126, 61, 100, 93, 25,
115, 96, 129, 79, 220, 34, 42, 144, 136, 70, 238, 184, 20,
222, 94, 11, 219, 224, 50, 58, 10, 73, 6, 36, 92, 194,
211, 172, 98, 145, 149, 228, 121, 231, 200, 55, 109, 141, 213,
78, 169, 108, 86, 244, 234, 101, 122, 174, 8, 186, 120, 37,
46, 28, 166, 180, 198, 232, 221, 116, 31, 75, 189, 139, 138,
112, 62, 181, 102, 72, 3, 246, 14, 97, 53, 87, 185, 134,
193, 29, 158, 225, 248, 152, 17, 105, 217, 142, 148, 155, 30,
135, 233, 206, 85, 40, 223, 140, 161, 137, 13, 191, 230, 66,
104, 65, 153, 45, 15, 176, 84, 187, 22
};
static const SWord32 table1[] = {
0xc66363a5UL, 0xf87c7c84UL, 0xee777799UL, 0xf67b7b8dUL,
0xfff2f20dUL, 0xd66b6bbdUL, 0xde6f6fb1UL, 0x91c5c554UL,
0x60303050UL, 0x02010103UL, 0xce6767a9UL, 0x562b2b7dUL,
0xe7fefe19UL, 0xb5d7d762UL, 0x4dababe6UL, 0xec76769aUL,
0x8fcaca45UL, 0x1f82829dUL, 0x89c9c940UL, 0xfa7d7d87UL,
0xeffafa15UL, 0xb25959ebUL, 0x8e4747c9UL, 0xfbf0f00bUL,
0x41adadecUL, 0xb3d4d467UL, 0x5fa2a2fdUL, 0x45afafeaUL,
0x239c9cbfUL, 0x53a4a4f7UL, 0xe4727296UL, 0x9bc0c05bUL,
0x75b7b7c2UL, 0xe1fdfd1cUL, 0x3d9393aeUL, 0x4c26266aUL,
0x6c36365aUL, 0x7e3f3f41UL, 0xf5f7f702UL, 0x83cccc4fUL,
0x6834345cUL, 0x51a5a5f4UL, 0xd1e5e534UL, 0xf9f1f108UL,
0xe2717193UL, 0xabd8d873UL, 0x62313153UL, 0x2a15153fUL,
0x0804040cUL, 0x95c7c752UL, 0x46232365UL, 0x9dc3c35eUL,
0x30181828UL, 0x379696a1UL, 0x0a05050fUL, 0x2f9a9ab5UL,
0x0e070709UL, 0x24121236UL, 0x1b80809bUL, 0xdfe2e23dUL,
0xcdebeb26UL, 0x4e272769UL, 0x7fb2b2cdUL, 0xea75759fUL,
0x1209091bUL, 0x1d83839eUL, 0x582c2c74UL, 0x341a1a2eUL,
0x361b1b2dUL, 0xdc6e6eb2UL, 0xb45a5aeeUL, 0x5ba0a0fbUL,
0xa45252f6UL, 0x763b3b4dUL, 0xb7d6d661UL, 0x7db3b3ceUL,
0x5229297bUL, 0xdde3e33eUL, 0x5e2f2f71UL, 0x13848497UL,
0xa65353f5UL, 0xb9d1d168UL, 0x00000000UL, 0xc1eded2cUL,
0x40202060UL, 0xe3fcfc1fUL, 0x79b1b1c8UL, 0xb65b5bedUL,
0xd46a6abeUL, 0x8dcbcb46UL, 0x67bebed9UL, 0x7239394bUL,
0x944a4adeUL, 0x984c4cd4UL, 0xb05858e8UL, 0x85cfcf4aUL,
0xbbd0d06bUL, 0xc5efef2aUL, 0x4faaaae5UL, 0xedfbfb16UL,
0x864343c5UL, 0x9a4d4dd7UL, 0x66333355UL, 0x11858594UL,
0x8a4545cfUL, 0xe9f9f910UL, 0x04020206UL, 0xfe7f7f81UL,
0xa05050f0UL, 0x783c3c44UL, 0x259f9fbaUL, 0x4ba8a8e3UL,
0xa25151f3UL, 0x5da3a3feUL, 0x804040c0UL, 0x058f8f8aUL,
0x3f9292adUL, 0x219d9dbcUL, 0x70383848UL, 0xf1f5f504UL,
0x63bcbcdfUL, 0x77b6b6c1UL, 0xafdada75UL, 0x42212163UL,
0x20101030UL, 0xe5ffff1aUL, 0xfdf3f30eUL, 0xbfd2d26dUL,
0x81cdcd4cUL, 0x180c0c14UL, 0x26131335UL, 0xc3ecec2fUL,
0xbe5f5fe1UL, 0x359797a2UL, 0x884444ccUL, 0x2e171739UL,
0x93c4c457UL, 0x55a7a7f2UL, 0xfc7e7e82UL, 0x7a3d3d47UL,
0xc86464acUL, 0xba5d5de7UL, 0x3219192bUL, 0xe6737395UL,
0xc06060a0UL, 0x19818198UL, 0x9e4f4fd1UL, 0xa3dcdc7fUL,
0x44222266UL, 0x542a2a7eUL, 0x3b9090abUL, 0x0b888883UL,
0x8c4646caUL, 0xc7eeee29UL, 0x6bb8b8d3UL, 0x2814143cUL,
0xa7dede79UL, 0xbc5e5ee2UL, 0x160b0b1dUL, 0xaddbdb76UL,
0xdbe0e03bUL, 0x64323256UL, 0x743a3a4eUL, 0x140a0a1eUL,
0x924949dbUL, 0x0c06060aUL, 0x4824246cUL, 0xb85c5ce4UL,
0x9fc2c25dUL, 0xbdd3d36eUL, 0x43acacefUL, 0xc46262a6UL,
0x399191a8UL, 0x319595a4UL, 0xd3e4e437UL, 0xf279798bUL,
0xd5e7e732UL, 0x8bc8c843UL, 0x6e373759UL, 0xda6d6db7UL,
0x018d8d8cUL, 0xb1d5d564UL, 0x9c4e4ed2UL, 0x49a9a9e0UL,
0xd86c6cb4UL, 0xac5656faUL, 0xf3f4f407UL, 0xcfeaea25UL,
0xca6565afUL, 0xf47a7a8eUL, 0x47aeaee9UL, 0x10080818UL,
0x6fbabad5UL, 0xf0787888UL, 0x4a25256fUL, 0x5c2e2e72UL,
0x381c1c24UL, 0x57a6a6f1UL, 0x73b4b4c7UL, 0x97c6c651UL,
0xcbe8e823UL, 0xa1dddd7cUL, 0xe874749cUL, 0x3e1f1f21UL,
0x964b4bddUL, 0x61bdbddcUL, 0x0d8b8b86UL, 0x0f8a8a85UL,
0xe0707090UL, 0x7c3e3e42UL, 0x71b5b5c4UL, 0xcc6666aaUL,
0x904848d8UL, 0x06030305UL, 0xf7f6f601UL, 0x1c0e0e12UL,
0xc26161a3UL, 0x6a35355fUL, 0xae5757f9UL, 0x69b9b9d0UL,
0x17868691UL, 0x99c1c158UL, 0x3a1d1d27UL, 0x279e9eb9UL,
0xd9e1e138UL, 0xebf8f813UL, 0x2b9898b3UL, 0x22111133UL,
0xd26969bbUL, 0xa9d9d970UL, 0x078e8e89UL, 0x339494a7UL,
0x2d9b9bb6UL, 0x3c1e1e22UL, 0x15878792UL, 0xc9e9e920UL,
0x87cece49UL, 0xaa5555ffUL, 0x50282878UL, 0xa5dfdf7aUL,
0x038c8c8fUL, 0x59a1a1f8UL, 0x09898980UL, 0x1a0d0d17UL,
0x65bfbfdaUL, 0xd7e6e631UL, 0x844242c6UL, 0xd06868b8UL,
0x824141c3UL, 0x299999b0UL, 0x5a2d2d77UL, 0x1e0f0f11UL,
0x7bb0b0cbUL, 0xa85454fcUL, 0x6dbbbbd6UL, 0x2c16163aUL
};
static const SWord32 table2[] = {
0xa5c66363UL, 0x84f87c7cUL, 0x99ee7777UL, 0x8df67b7bUL,
0x0dfff2f2UL, 0xbdd66b6bUL, 0xb1de6f6fUL, 0x5491c5c5UL,
0x50603030UL, 0x03020101UL, 0xa9ce6767UL, 0x7d562b2bUL,
0x19e7fefeUL, 0x62b5d7d7UL, 0xe64dababUL, 0x9aec7676UL,
0x458fcacaUL, 0x9d1f8282UL, 0x4089c9c9UL, 0x87fa7d7dUL,
0x15effafaUL, 0xebb25959UL, 0xc98e4747UL, 0x0bfbf0f0UL,
0xec41adadUL, 0x67b3d4d4UL, 0xfd5fa2a2UL, 0xea45afafUL,
0xbf239c9cUL, 0xf753a4a4UL, 0x96e47272UL, 0x5b9bc0c0UL,
0xc275b7b7UL, 0x1ce1fdfdUL, 0xae3d9393UL, 0x6a4c2626UL,
0x5a6c3636UL, 0x417e3f3fUL, 0x02f5f7f7UL, 0x4f83ccccUL,
0x5c683434UL, 0xf451a5a5UL, 0x34d1e5e5UL, 0x08f9f1f1UL,
0x93e27171UL, 0x73abd8d8UL, 0x53623131UL, 0x3f2a1515UL,
0x0c080404UL, 0x5295c7c7UL, 0x65462323UL, 0x5e9dc3c3UL,
0x28301818UL, 0xa1379696UL, 0x0f0a0505UL, 0xb52f9a9aUL,
0x090e0707UL, 0x36241212UL, 0x9b1b8080UL, 0x3ddfe2e2UL,
0x26cdebebUL, 0x694e2727UL, 0xcd7fb2b2UL, 0x9fea7575UL,
0x1b120909UL, 0x9e1d8383UL, 0x74582c2cUL, 0x2e341a1aUL,
0x2d361b1bUL, 0xb2dc6e6eUL, 0xeeb45a5aUL, 0xfb5ba0a0UL,
0xf6a45252UL, 0x4d763b3bUL, 0x61b7d6d6UL, 0xce7db3b3UL,
0x7b522929UL, 0x3edde3e3UL, 0x715e2f2fUL, 0x97138484UL,
0xf5a65353UL, 0x68b9d1d1UL, 0x00000000UL, 0x2cc1ededUL,
0x60402020UL, 0x1fe3fcfcUL, 0xc879b1b1UL, 0xedb65b5bUL,
0xbed46a6aUL, 0x468dcbcbUL, 0xd967bebeUL, 0x4b723939UL,
0xde944a4aUL, 0xd4984c4cUL, 0xe8b05858UL, 0x4a85cfcfUL,
0x6bbbd0d0UL, 0x2ac5efefUL, 0xe54faaaaUL, 0x16edfbfbUL,
0xc5864343UL, 0xd79a4d4dUL, 0x55663333UL, 0x94118585UL,
0xcf8a4545UL, 0x10e9f9f9UL, 0x06040202UL, 0x81fe7f7fUL,
0xf0a05050UL, 0x44783c3cUL, 0xba259f9fUL, 0xe34ba8a8UL,
0xf3a25151UL, 0xfe5da3a3UL, 0xc0804040UL, 0x8a058f8fUL,
0xad3f9292UL, 0xbc219d9dUL, 0x48703838UL, 0x04f1f5f5UL,
0xdf63bcbcUL, 0xc177b6b6UL, 0x75afdadaUL, 0x63422121UL,
0x30201010UL, 0x1ae5ffffUL, 0x0efdf3f3UL, 0x6dbfd2d2UL,
0x4c81cdcdUL, 0x14180c0cUL, 0x35261313UL, 0x2fc3ececUL,
0xe1be5f5fUL, 0xa2359797UL, 0xcc884444UL, 0x392e1717UL,
0x5793c4c4UL, 0xf255a7a7UL, 0x82fc7e7eUL, 0x477a3d3dUL,
0xacc86464UL, 0xe7ba5d5dUL, 0x2b321919UL, 0x95e67373UL,
0xa0c06060UL, 0x98198181UL, 0xd19e4f4fUL, 0x7fa3dcdcUL,
0x66442222UL, 0x7e542a2aUL, 0xab3b9090UL, 0x830b8888UL,
0xca8c4646UL, 0x29c7eeeeUL, 0xd36bb8b8UL, 0x3c281414UL,
0x79a7dedeUL, 0xe2bc5e5eUL, 0x1d160b0bUL, 0x76addbdbUL,
0x3bdbe0e0UL, 0x56643232UL, 0x4e743a3aUL, 0x1e140a0aUL,
0xdb924949UL, 0x0a0c0606UL, 0x6c482424UL, 0xe4b85c5cUL,
0x5d9fc2c2UL, 0x6ebdd3d3UL, 0xef43acacUL, 0xa6c46262UL,
0xa8399191UL, 0xa4319595UL, 0x37d3e4e4UL, 0x8bf27979UL,
0x32d5e7e7UL, 0x438bc8c8UL, 0x596e3737UL, 0xb7da6d6dUL,
0x8c018d8dUL, 0x64b1d5d5UL, 0xd29c4e4eUL, 0xe049a9a9UL,
0xb4d86c6cUL, 0xfaac5656UL, 0x07f3f4f4UL, 0x25cfeaeaUL,
0xafca6565UL, 0x8ef47a7aUL, 0xe947aeaeUL, 0x18100808UL,
0xd56fbabaUL, 0x88f07878UL, 0x6f4a2525UL, 0x725c2e2eUL,
0x24381c1cUL, 0xf157a6a6UL, 0xc773b4b4UL, 0x5197c6c6UL,
0x23cbe8e8UL, 0x7ca1ddddUL, 0x9ce87474UL, 0x213e1f1fUL,
0xdd964b4bUL, 0xdc61bdbdUL, 0x860d8b8bUL, 0x850f8a8aUL,
0x90e07070UL, 0x427c3e3eUL, 0xc471b5b5UL, 0xaacc6666UL,
0xd8904848UL, 0x05060303UL, 0x01f7f6f6UL, 0x121c0e0eUL,
0xa3c26161UL, 0x5f6a3535UL, 0xf9ae5757UL, 0xd069b9b9UL,
0x91178686UL, 0x5899c1c1UL, 0x273a1d1dUL, 0xb9279e9eUL,
0x38d9e1e1UL, 0x13ebf8f8UL, 0xb32b9898UL, 0x33221111UL,
0xbbd26969UL, 0x70a9d9d9UL, 0x89078e8eUL, 0xa7339494UL,
0xb62d9b9bUL, 0x223c1e1eUL, 0x92158787UL, 0x20c9e9e9UL,
0x4987ceceUL, 0xffaa5555UL, 0x78502828UL, 0x7aa5dfdfUL,
0x8f038c8cUL, 0xf859a1a1UL, 0x80098989UL, 0x171a0d0dUL,
0xda65bfbfUL, 0x31d7e6e6UL, 0xc6844242UL, 0xb8d06868UL,
0xc3824141UL, 0xb0299999UL, 0x775a2d2dUL, 0x111e0f0fUL,
0xcb7bb0b0UL, 0xfca85454UL, 0xd66dbbbbUL, 0x3a2c1616UL
};
static const SWord32 table3[] = {
0x63a5c663UL, 0x7c84f87cUL, 0x7799ee77UL, 0x7b8df67bUL,
0xf20dfff2UL, 0x6bbdd66bUL, 0x6fb1de6fUL, 0xc55491c5UL,
0x30506030UL, 0x01030201UL, 0x67a9ce67UL, 0x2b7d562bUL,
0xfe19e7feUL, 0xd762b5d7UL, 0xabe64dabUL, 0x769aec76UL,
0xca458fcaUL, 0x829d1f82UL, 0xc94089c9UL, 0x7d87fa7dUL,
0xfa15effaUL, 0x59ebb259UL, 0x47c98e47UL, 0xf00bfbf0UL,
0xadec41adUL, 0xd467b3d4UL, 0xa2fd5fa2UL, 0xafea45afUL,
0x9cbf239cUL, 0xa4f753a4UL, 0x7296e472UL, 0xc05b9bc0UL,
0xb7c275b7UL, 0xfd1ce1fdUL, 0x93ae3d93UL, 0x266a4c26UL,
0x365a6c36UL, 0x3f417e3fUL, 0xf702f5f7UL, 0xcc4f83ccUL,
0x345c6834UL, 0xa5f451a5UL, 0xe534d1e5UL, 0xf108f9f1UL,
0x7193e271UL, 0xd873abd8UL, 0x31536231UL, 0x153f2a15UL,
0x040c0804UL, 0xc75295c7UL, 0x23654623UL, 0xc35e9dc3UL,
0x18283018UL, 0x96a13796UL, 0x050f0a05UL, 0x9ab52f9aUL,
0x07090e07UL, 0x12362412UL, 0x809b1b80UL, 0xe23ddfe2UL,
0xeb26cdebUL, 0x27694e27UL, 0xb2cd7fb2UL, 0x759fea75UL,
0x091b1209UL, 0x839e1d83UL, 0x2c74582cUL, 0x1a2e341aUL,
0x1b2d361bUL, 0x6eb2dc6eUL, 0x5aeeb45aUL, 0xa0fb5ba0UL,
0x52f6a452UL, 0x3b4d763bUL, 0xd661b7d6UL, 0xb3ce7db3UL,
0x297b5229UL, 0xe33edde3UL, 0x2f715e2fUL, 0x84971384UL,
0x53f5a653UL, 0xd168b9d1UL, 0x00000000UL, 0xed2cc1edUL,
0x20604020UL, 0xfc1fe3fcUL, 0xb1c879b1UL, 0x5bedb65bUL,
0x6abed46aUL, 0xcb468dcbUL, 0xbed967beUL, 0x394b7239UL,
0x4ade944aUL, 0x4cd4984cUL, 0x58e8b058UL, 0xcf4a85cfUL,
0xd06bbbd0UL, 0xef2ac5efUL, 0xaae54faaUL, 0xfb16edfbUL,
0x43c58643UL, 0x4dd79a4dUL, 0x33556633UL, 0x85941185UL,
0x45cf8a45UL, 0xf910e9f9UL, 0x02060402UL, 0x7f81fe7fUL,
0x50f0a050UL, 0x3c44783cUL, 0x9fba259fUL, 0xa8e34ba8UL,
0x51f3a251UL, 0xa3fe5da3UL, 0x40c08040UL, 0x8f8a058fUL,
0x92ad3f92UL, 0x9dbc219dUL, 0x38487038UL, 0xf504f1f5UL,
0xbcdf63bcUL, 0xb6c177b6UL, 0xda75afdaUL, 0x21634221UL,
0x10302010UL, 0xff1ae5ffUL, 0xf30efdf3UL, 0xd26dbfd2UL,
0xcd4c81cdUL, 0x0c14180cUL, 0x13352613UL, 0xec2fc3ecUL,
0x5fe1be5fUL, 0x97a23597UL, 0x44cc8844UL, 0x17392e17UL,
0xc45793c4UL, 0xa7f255a7UL, 0x7e82fc7eUL, 0x3d477a3dUL,
0x64acc864UL, 0x5de7ba5dUL, 0x192b3219UL, 0x7395e673UL,
0x60a0c060UL, 0x81981981UL, 0x4fd19e4fUL, 0xdc7fa3dcUL,
0x22664422UL, 0x2a7e542aUL, 0x90ab3b90UL, 0x88830b88UL,
0x46ca8c46UL, 0xee29c7eeUL, 0xb8d36bb8UL, 0x143c2814UL,
0xde79a7deUL, 0x5ee2bc5eUL, 0x0b1d160bUL, 0xdb76addbUL,
0xe03bdbe0UL, 0x32566432UL, 0x3a4e743aUL, 0x0a1e140aUL,
0x49db9249UL, 0x060a0c06UL, 0x246c4824UL, 0x5ce4b85cUL,
0xc25d9fc2UL, 0xd36ebdd3UL, 0xacef43acUL, 0x62a6c462UL,
0x91a83991UL, 0x95a43195UL, 0xe437d3e4UL, 0x798bf279UL,
0xe732d5e7UL, 0xc8438bc8UL, 0x37596e37UL, 0x6db7da6dUL,
0x8d8c018dUL, 0xd564b1d5UL, 0x4ed29c4eUL, 0xa9e049a9UL,
0x6cb4d86cUL, 0x56faac56UL, 0xf407f3f4UL, 0xea25cfeaUL,
0x65afca65UL, 0x7a8ef47aUL, 0xaee947aeUL, 0x08181008UL,
0xbad56fbaUL, 0x7888f078UL, 0x256f4a25UL, 0x2e725c2eUL,
0x1c24381cUL, 0xa6f157a6UL, 0xb4c773b4UL, 0xc65197c6UL,
0xe823cbe8UL, 0xdd7ca1ddUL, 0x749ce874UL, 0x1f213e1fUL,
0x4bdd964bUL, 0xbddc61bdUL, 0x8b860d8bUL, 0x8a850f8aUL,
0x7090e070UL, 0x3e427c3eUL, 0xb5c471b5UL, 0x66aacc66UL,
0x48d89048UL, 0x03050603UL, 0xf601f7f6UL, 0x0e121c0eUL,
0x61a3c261UL, 0x355f6a35UL, 0x57f9ae57UL, 0xb9d069b9UL,
0x86911786UL, 0xc15899c1UL, 0x1d273a1dUL, 0x9eb9279eUL,
0xe138d9e1UL, 0xf813ebf8UL, 0x98b32b98UL, 0x11332211UL,
0x69bbd269UL, 0xd970a9d9UL, 0x8e89078eUL, 0x94a73394UL,
0x9bb62d9bUL, 0x1e223c1eUL, 0x87921587UL, 0xe920c9e9UL,
0xce4987ceUL, 0x55ffaa55UL, 0x28785028UL, 0xdf7aa5dfUL,
0x8c8f038cUL, 0xa1f859a1UL, 0x89800989UL, 0x0d171a0dUL,
0xbfda65bfUL, 0xe631d7e6UL, 0x42c68442UL, 0x68b8d068UL,
0x41c38241UL, 0x99b02999UL, 0x2d775a2dUL, 0x0f111e0fUL,
0xb0cb7bb0UL, 0x54fca854UL, 0xbbd66dbbUL, 0x163a2c16UL
};
static const SWord32 table4[] = {
0x6363a5c6UL, 0x7c7c84f8UL, 0x777799eeUL, 0x7b7b8df6UL,
0xf2f20dffUL, 0x6b6bbdd6UL, 0x6f6fb1deUL, 0xc5c55491UL,
0x30305060UL, 0x01010302UL, 0x6767a9ceUL, 0x2b2b7d56UL,
0xfefe19e7UL, 0xd7d762b5UL, 0xababe64dUL, 0x76769aecUL,
0xcaca458fUL, 0x82829d1fUL, 0xc9c94089UL, 0x7d7d87faUL,
0xfafa15efUL, 0x5959ebb2UL, 0x4747c98eUL, 0xf0f00bfbUL,
0xadadec41UL, 0xd4d467b3UL, 0xa2a2fd5fUL, 0xafafea45UL,
0x9c9cbf23UL, 0xa4a4f753UL, 0x727296e4UL, 0xc0c05b9bUL,
0xb7b7c275UL, 0xfdfd1ce1UL, 0x9393ae3dUL, 0x26266a4cUL,
0x36365a6cUL, 0x3f3f417eUL, 0xf7f702f5UL, 0xcccc4f83UL,
0x34345c68UL, 0xa5a5f451UL, 0xe5e534d1UL, 0xf1f108f9UL,
0x717193e2UL, 0xd8d873abUL, 0x31315362UL, 0x15153f2aUL,
0x04040c08UL, 0xc7c75295UL, 0x23236546UL, 0xc3c35e9dUL,
0x18182830UL, 0x9696a137UL, 0x05050f0aUL, 0x9a9ab52fUL,
0x0707090eUL, 0x12123624UL, 0x80809b1bUL, 0xe2e23ddfUL,
0xebeb26cdUL, 0x2727694eUL, 0xb2b2cd7fUL, 0x75759feaUL,
0x09091b12UL, 0x83839e1dUL, 0x2c2c7458UL, 0x1a1a2e34UL,
0x1b1b2d36UL, 0x6e6eb2dcUL, 0x5a5aeeb4UL, 0xa0a0fb5bUL,
0x5252f6a4UL, 0x3b3b4d76UL, 0xd6d661b7UL, 0xb3b3ce7dUL,
0x29297b52UL, 0xe3e33eddUL, 0x2f2f715eUL, 0x84849713UL,
0x5353f5a6UL, 0xd1d168b9UL, 0x00000000UL, 0xeded2cc1UL,
0x20206040UL, 0xfcfc1fe3UL, 0xb1b1c879UL, 0x5b5bedb6UL,
0x6a6abed4UL, 0xcbcb468dUL, 0xbebed967UL, 0x39394b72UL,
0x4a4ade94UL, 0x4c4cd498UL, 0x5858e8b0UL, 0xcfcf4a85UL,
0xd0d06bbbUL, 0xefef2ac5UL, 0xaaaae54fUL, 0xfbfb16edUL,
0x4343c586UL, 0x4d4dd79aUL, 0x33335566UL, 0x85859411UL,
0x4545cf8aUL, 0xf9f910e9UL, 0x02020604UL, 0x7f7f81feUL,
0x5050f0a0UL, 0x3c3c4478UL, 0x9f9fba25UL, 0xa8a8e34bUL,
0x5151f3a2UL, 0xa3a3fe5dUL, 0x4040c080UL, 0x8f8f8a05UL,
0x9292ad3fUL, 0x9d9dbc21UL, 0x38384870UL, 0xf5f504f1UL,
0xbcbcdf63UL, 0xb6b6c177UL, 0xdada75afUL, 0x21216342UL,
0x10103020UL, 0xffff1ae5UL, 0xf3f30efdUL, 0xd2d26dbfUL,
0xcdcd4c81UL, 0x0c0c1418UL, 0x13133526UL, 0xecec2fc3UL,
0x5f5fe1beUL, 0x9797a235UL, 0x4444cc88UL, 0x1717392eUL,
0xc4c45793UL, 0xa7a7f255UL, 0x7e7e82fcUL, 0x3d3d477aUL,
0x6464acc8UL, 0x5d5de7baUL, 0x19192b32UL, 0x737395e6UL,
0x6060a0c0UL, 0x81819819UL, 0x4f4fd19eUL, 0xdcdc7fa3UL,
0x22226644UL, 0x2a2a7e54UL, 0x9090ab3bUL, 0x8888830bUL,
0x4646ca8cUL, 0xeeee29c7UL, 0xb8b8d36bUL, 0x14143c28UL,
0xdede79a7UL, 0x5e5ee2bcUL, 0x0b0b1d16UL, 0xdbdb76adUL,
0xe0e03bdbUL, 0x32325664UL, 0x3a3a4e74UL, 0x0a0a1e14UL,
0x4949db92UL, 0x06060a0cUL, 0x24246c48UL, 0x5c5ce4b8UL,
0xc2c25d9fUL, 0xd3d36ebdUL, 0xacacef43UL, 0x6262a6c4UL,
0x9191a839UL, 0x9595a431UL, 0xe4e437d3UL, 0x79798bf2UL,
0xe7e732d5UL, 0xc8c8438bUL, 0x3737596eUL, 0x6d6db7daUL,
0x8d8d8c01UL, 0xd5d564b1UL, 0x4e4ed29cUL, 0xa9a9e049UL,
0x6c6cb4d8UL, 0x5656faacUL, 0xf4f407f3UL, 0xeaea25cfUL,
0x6565afcaUL, 0x7a7a8ef4UL, 0xaeaee947UL, 0x08081810UL,
0xbabad56fUL, 0x787888f0UL, 0x25256f4aUL, 0x2e2e725cUL,
0x1c1c2438UL, 0xa6a6f157UL, 0xb4b4c773UL, 0xc6c65197UL,
0xe8e823cbUL, 0xdddd7ca1UL, 0x74749ce8UL, 0x1f1f213eUL,
0x4b4bdd96UL, 0xbdbddc61UL, 0x8b8b860dUL, 0x8a8a850fUL,
0x707090e0UL, 0x3e3e427cUL, 0xb5b5c471UL, 0x6666aaccUL,
0x4848d890UL, 0x03030506UL, 0xf6f601f7UL, 0x0e0e121cUL,
0x6161a3c2UL, 0x35355f6aUL, 0x5757f9aeUL, 0xb9b9d069UL,
0x86869117UL, 0xc1c15899UL, 0x1d1d273aUL, 0x9e9eb927UL,
0xe1e138d9UL, 0xf8f813ebUL, 0x9898b32bUL, 0x11113322UL,
0x6969bbd2UL, 0xd9d970a9UL, 0x8e8e8907UL, 0x9494a733UL,
0x9b9bb62dUL, 0x1e1e223cUL, 0x87879215UL, 0xe9e920c9UL,
0xcece4987UL, 0x5555ffaaUL, 0x28287850UL, 0xdfdf7aa5UL,
0x8c8c8f03UL, 0xa1a1f859UL, 0x89898009UL, 0x0d0d171aUL,
0xbfbfda65UL, 0xe6e631d7UL, 0x4242c684UL, 0x6868b8d0UL,
0x4141c382UL, 0x9999b029UL, 0x2d2d775aUL, 0x0f0f111eUL,
0xb0b0cb7bUL, 0x5454fca8UL, 0xbbbbd66dUL, 0x16163a2cUL
};
const SWord32 s560 = s0 ^ s4;
const SWord16 s561 = (SWord16) (s560 >> 16);
const SWord8 s562 = (SWord8) (s561 >> 8);
const SWord32 s563 = table1[s562];
const SWord32 s819 = s1 ^ s5;
const SWord16 s820 = (SWord16) (s819 >> 16);
const SWord8 s821 = (SWord8) s820;
const SWord32 s822 = table2[s821];
const SWord32 s823 = s563 ^ s822;
const SWord32 s1079 = s2 ^ s6;
const SWord16 s1080 = (SWord16) s1079;
const SWord8 s1081 = (SWord8) (s1080 >> 8);
const SWord32 s1082 = table3[s1081];
const SWord32 s1083 = s823 ^ s1082;
const SWord32 s1339 = s3 ^ s7;
const SWord16 s1340 = (SWord16) s1339;
const SWord8 s1341 = (SWord8) s1340;
const SWord32 s1342 = table4[s1341];
const SWord32 s1343 = s1083 ^ s1342;
const SWord32 s1344 = s8 ^ s1343;
const SWord16 s1345 = (SWord16) (s1344 >> 16);
const SWord8 s1346 = (SWord8) (s1345 >> 8);
const SWord32 s1347 = table1[s1346];
const SWord8 s1348 = (SWord8) (s820 >> 8);
const SWord32 s1349 = table1[s1348];
const SWord16 s1350 = (SWord16) (s1079 >> 16);
const SWord8 s1351 = (SWord8) s1350;
const SWord32 s1352 = table2[s1351];
const SWord32 s1353 = s1349 ^ s1352;
const SWord8 s1354 = (SWord8) (s1340 >> 8);
const SWord32 s1355 = table3[s1354];
const SWord32 s1356 = s1353 ^ s1355;
const SWord16 s1357 = (SWord16) s560;
const SWord8 s1358 = (SWord8) s1357;
const SWord32 s1359 = table4[s1358];
const SWord32 s1360 = s1356 ^ s1359;
const SWord32 s1361 = s9 ^ s1360;
const SWord16 s1362 = (SWord16) (s1361 >> 16);
const SWord8 s1363 = (SWord8) s1362;
const SWord32 s1364 = table2[s1363];
const SWord32 s1365 = s1347 ^ s1364;
const SWord8 s1366 = (SWord8) (s1350 >> 8);
const SWord32 s1367 = table1[s1366];
const SWord16 s1368 = (SWord16) (s1339 >> 16);
const SWord8 s1369 = (SWord8) s1368;
const SWord32 s1370 = table2[s1369];
const SWord32 s1371 = s1367 ^ s1370;
const SWord8 s1372 = (SWord8) (s1357 >> 8);
const SWord32 s1373 = table3[s1372];
const SWord32 s1374 = s1371 ^ s1373;
const SWord16 s1375 = (SWord16) s819;
const SWord8 s1376 = (SWord8) s1375;
const SWord32 s1377 = table4[s1376];
const SWord32 s1378 = s1374 ^ s1377;
const SWord32 s1379 = s10 ^ s1378;
const SWord16 s1380 = (SWord16) s1379;
const SWord8 s1381 = (SWord8) (s1380 >> 8);
const SWord32 s1382 = table3[s1381];
const SWord32 s1383 = s1365 ^ s1382;
const SWord8 s1384 = (SWord8) (s1368 >> 8);
const SWord32 s1385 = table1[s1384];
const SWord8 s1386 = (SWord8) s561;
const SWord32 s1387 = table2[s1386];
const SWord32 s1388 = s1385 ^ s1387;
const SWord8 s1389 = (SWord8) (s1375 >> 8);
const SWord32 s1390 = table3[s1389];
const SWord32 s1391 = s1388 ^ s1390;
const SWord8 s1392 = (SWord8) s1080;
const SWord32 s1393 = table4[s1392];
const SWord32 s1394 = s1391 ^ s1393;
const SWord32 s1395 = s11 ^ s1394;
const SWord16 s1396 = (SWord16) s1395;
const SWord8 s1397 = (SWord8) s1396;
const SWord32 s1398 = table4[s1397];
const SWord32 s1399 = s1383 ^ s1398;
const SWord32 s1400 = s12 ^ s1399;
const SWord16 s1401 = (SWord16) (s1400 >> 16);
const SWord8 s1402 = (SWord8) (s1401 >> 8);
const SWord32 s1403 = table1[s1402];
const SWord8 s1404 = (SWord8) (s1362 >> 8);
const SWord32 s1405 = table1[s1404];
const SWord16 s1406 = (SWord16) (s1379 >> 16);
const SWord8 s1407 = (SWord8) s1406;
const SWord32 s1408 = table2[s1407];
const SWord32 s1409 = s1405 ^ s1408;
const SWord8 s1410 = (SWord8) (s1396 >> 8);
const SWord32 s1411 = table3[s1410];
const SWord32 s1412 = s1409 ^ s1411;
const SWord16 s1413 = (SWord16) s1344;
const SWord8 s1414 = (SWord8) s1413;
const SWord32 s1415 = table4[s1414];
const SWord32 s1416 = s1412 ^ s1415;
const SWord32 s1417 = s13 ^ s1416;
const SWord16 s1418 = (SWord16) (s1417 >> 16);
const SWord8 s1419 = (SWord8) s1418;
const SWord32 s1420 = table2[s1419];
const SWord32 s1421 = s1403 ^ s1420;
const SWord8 s1422 = (SWord8) (s1406 >> 8);
const SWord32 s1423 = table1[s1422];
const SWord16 s1424 = (SWord16) (s1395 >> 16);
const SWord8 s1425 = (SWord8) s1424;
const SWord32 s1426 = table2[s1425];
const SWord32 s1427 = s1423 ^ s1426;
const SWord8 s1428 = (SWord8) (s1413 >> 8);
const SWord32 s1429 = table3[s1428];
const SWord32 s1430 = s1427 ^ s1429;
const SWord16 s1431 = (SWord16) s1361;
const SWord8 s1432 = (SWord8) s1431;
const SWord32 s1433 = table4[s1432];
const SWord32 s1434 = s1430 ^ s1433;
const SWord32 s1435 = s14 ^ s1434;
const SWord16 s1436 = (SWord16) s1435;
const SWord8 s1437 = (SWord8) (s1436 >> 8);
const SWord32 s1438 = table3[s1437];
const SWord32 s1439 = s1421 ^ s1438;
const SWord8 s1440 = (SWord8) (s1424 >> 8);
const SWord32 s1441 = table1[s1440];
const SWord8 s1442 = (SWord8) s1345;
const SWord32 s1443 = table2[s1442];
const SWord32 s1444 = s1441 ^ s1443;
const SWord8 s1445 = (SWord8) (s1431 >> 8);
const SWord32 s1446 = table3[s1445];
const SWord32 s1447 = s1444 ^ s1446;
const SWord8 s1448 = (SWord8) s1380;
const SWord32 s1449 = table4[s1448];
const SWord32 s1450 = s1447 ^ s1449;
const SWord32 s1451 = s15 ^ s1450;
const SWord16 s1452 = (SWord16) s1451;
const SWord8 s1453 = (SWord8) s1452;
const SWord32 s1454 = table4[s1453];
const SWord32 s1455 = s1439 ^ s1454;
const SWord32 s1456 = s16 ^ s1455;
const SWord16 s1457 = (SWord16) (s1456 >> 16);
const SWord8 s1458 = (SWord8) (s1457 >> 8);
const SWord32 s1459 = table1[s1458];
const SWord8 s1460 = (SWord8) (s1418 >> 8);
const SWord32 s1461 = table1[s1460];
const SWord16 s1462 = (SWord16) (s1435 >> 16);
const SWord8 s1463 = (SWord8) s1462;
const SWord32 s1464 = table2[s1463];
const SWord32 s1465 = s1461 ^ s1464;
const SWord8 s1466 = (SWord8) (s1452 >> 8);
const SWord32 s1467 = table3[s1466];
const SWord32 s1468 = s1465 ^ s1467;
const SWord16 s1469 = (SWord16) s1400;
const SWord8 s1470 = (SWord8) s1469;
const SWord32 s1471 = table4[s1470];
const SWord32 s1472 = s1468 ^ s1471;
const SWord32 s1473 = s17 ^ s1472;
const SWord16 s1474 = (SWord16) (s1473 >> 16);
const SWord8 s1475 = (SWord8) s1474;
const SWord32 s1476 = table2[s1475];
const SWord32 s1477 = s1459 ^ s1476;
const SWord8 s1478 = (SWord8) (s1462 >> 8);
const SWord32 s1479 = table1[s1478];
const SWord16 s1480 = (SWord16) (s1451 >> 16);
const SWord8 s1481 = (SWord8) s1480;
const SWord32 s1482 = table2[s1481];
const SWord32 s1483 = s1479 ^ s1482;
const SWord8 s1484 = (SWord8) (s1469 >> 8);
const SWord32 s1485 = table3[s1484];
const SWord32 s1486 = s1483 ^ s1485;
const SWord16 s1487 = (SWord16) s1417;
const SWord8 s1488 = (SWord8) s1487;
const SWord32 s1489 = table4[s1488];
const SWord32 s1490 = s1486 ^ s1489;
const SWord32 s1491 = s18 ^ s1490;
const SWord16 s1492 = (SWord16) s1491;
const SWord8 s1493 = (SWord8) (s1492 >> 8);
const SWord32 s1494 = table3[s1493];
const SWord32 s1495 = s1477 ^ s1494;
const SWord8 s1496 = (SWord8) (s1480 >> 8);
const SWord32 s1497 = table1[s1496];
const SWord8 s1498 = (SWord8) s1401;
const SWord32 s1499 = table2[s1498];
const SWord32 s1500 = s1497 ^ s1499;
const SWord8 s1501 = (SWord8) (s1487 >> 8);
const SWord32 s1502 = table3[s1501];
const SWord32 s1503 = s1500 ^ s1502;
const SWord8 s1504 = (SWord8) s1436;
const SWord32 s1505 = table4[s1504];
const SWord32 s1506 = s1503 ^ s1505;
const SWord32 s1507 = s19 ^ s1506;
const SWord16 s1508 = (SWord16) s1507;
const SWord8 s1509 = (SWord8) s1508;
const SWord32 s1510 = table4[s1509];
const SWord32 s1511 = s1495 ^ s1510;
const SWord32 s1512 = s20 ^ s1511;
const SWord16 s1513 = (SWord16) (s1512 >> 16);
const SWord8 s1514 = (SWord8) (s1513 >> 8);
const SWord32 s1515 = table1[s1514];
const SWord8 s1516 = (SWord8) (s1474 >> 8);
const SWord32 s1517 = table1[s1516];
const SWord16 s1518 = (SWord16) (s1491 >> 16);
const SWord8 s1519 = (SWord8) s1518;
const SWord32 s1520 = table2[s1519];
const SWord32 s1521 = s1517 ^ s1520;
const SWord8 s1522 = (SWord8) (s1508 >> 8);
const SWord32 s1523 = table3[s1522];
const SWord32 s1524 = s1521 ^ s1523;
const SWord16 s1525 = (SWord16) s1456;
const SWord8 s1526 = (SWord8) s1525;
const SWord32 s1527 = table4[s1526];
const SWord32 s1528 = s1524 ^ s1527;
const SWord32 s1529 = s21 ^ s1528;
const SWord16 s1530 = (SWord16) (s1529 >> 16);
const SWord8 s1531 = (SWord8) s1530;
const SWord32 s1532 = table2[s1531];
const SWord32 s1533 = s1515 ^ s1532;
const SWord8 s1534 = (SWord8) (s1518 >> 8);
const SWord32 s1535 = table1[s1534];
const SWord16 s1536 = (SWord16) (s1507 >> 16);
const SWord8 s1537 = (SWord8) s1536;
const SWord32 s1538 = table2[s1537];
const SWord32 s1539 = s1535 ^ s1538;
const SWord8 s1540 = (SWord8) (s1525 >> 8);
const SWord32 s1541 = table3[s1540];
const SWord32 s1542 = s1539 ^ s1541;
const SWord16 s1543 = (SWord16) s1473;
const SWord8 s1544 = (SWord8) s1543;
const SWord32 s1545 = table4[s1544];
const SWord32 s1546 = s1542 ^ s1545;
const SWord32 s1547 = s22 ^ s1546;
const SWord16 s1548 = (SWord16) s1547;
const SWord8 s1549 = (SWord8) (s1548 >> 8);
const SWord32 s1550 = table3[s1549];
const SWord32 s1551 = s1533 ^ s1550;
const SWord8 s1552 = (SWord8) (s1536 >> 8);
const SWord32 s1553 = table1[s1552];
const SWord8 s1554 = (SWord8) s1457;
const SWord32 s1555 = table2[s1554];
const SWord32 s1556 = s1553 ^ s1555;
const SWord8 s1557 = (SWord8) (s1543 >> 8);
const SWord32 s1558 = table3[s1557];
const SWord32 s1559 = s1556 ^ s1558;
const SWord8 s1560 = (SWord8) s1492;
const SWord32 s1561 = table4[s1560];
const SWord32 s1562 = s1559 ^ s1561;
const SWord32 s1563 = s23 ^ s1562;
const SWord16 s1564 = (SWord16) s1563;
const SWord8 s1565 = (SWord8) s1564;
const SWord32 s1566 = table4[s1565];
const SWord32 s1567 = s1551 ^ s1566;
const SWord32 s1568 = s24 ^ s1567;
const SWord16 s1569 = (SWord16) (s1568 >> 16);
const SWord8 s1570 = (SWord8) (s1569 >> 8);
const SWord32 s1571 = table1[s1570];
const SWord8 s1572 = (SWord8) (s1530 >> 8);
const SWord32 s1573 = table1[s1572];
const SWord16 s1574 = (SWord16) (s1547 >> 16);
const SWord8 s1575 = (SWord8) s1574;
const SWord32 s1576 = table2[s1575];
const SWord32 s1577 = s1573 ^ s1576;
const SWord8 s1578 = (SWord8) (s1564 >> 8);
const SWord32 s1579 = table3[s1578];
const SWord32 s1580 = s1577 ^ s1579;
const SWord16 s1581 = (SWord16) s1512;
const SWord8 s1582 = (SWord8) s1581;
const SWord32 s1583 = table4[s1582];
const SWord32 s1584 = s1580 ^ s1583;
const SWord32 s1585 = s25 ^ s1584;
const SWord16 s1586 = (SWord16) (s1585 >> 16);
const SWord8 s1587 = (SWord8) s1586;
const SWord32 s1588 = table2[s1587];
const SWord32 s1589 = s1571 ^ s1588;
const SWord8 s1590 = (SWord8) (s1574 >> 8);
const SWord32 s1591 = table1[s1590];
const SWord16 s1592 = (SWord16) (s1563 >> 16);
const SWord8 s1593 = (SWord8) s1592;
const SWord32 s1594 = table2[s1593];
const SWord32 s1595 = s1591 ^ s1594;
const SWord8 s1596 = (SWord8) (s1581 >> 8);
const SWord32 s1597 = table3[s1596];
const SWord32 s1598 = s1595 ^ s1597;
const SWord16 s1599 = (SWord16) s1529;
const SWord8 s1600 = (SWord8) s1599;
const SWord32 s1601 = table4[s1600];
const SWord32 s1602 = s1598 ^ s1601;
const SWord32 s1603 = s26 ^ s1602;
const SWord16 s1604 = (SWord16) s1603;
const SWord8 s1605 = (SWord8) (s1604 >> 8);
const SWord32 s1606 = table3[s1605];
const SWord32 s1607 = s1589 ^ s1606;
const SWord8 s1608 = (SWord8) (s1592 >> 8);
const SWord32 s1609 = table1[s1608];
const SWord8 s1610 = (SWord8) s1513;
const SWord32 s1611 = table2[s1610];
const SWord32 s1612 = s1609 ^ s1611;
const SWord8 s1613 = (SWord8) (s1599 >> 8);
const SWord32 s1614 = table3[s1613];
const SWord32 s1615 = s1612 ^ s1614;
const SWord8 s1616 = (SWord8) s1548;
const SWord32 s1617 = table4[s1616];
const SWord32 s1618 = s1615 ^ s1617;
const SWord32 s1619 = s27 ^ s1618;
const SWord16 s1620 = (SWord16) s1619;
const SWord8 s1621 = (SWord8) s1620;
const SWord32 s1622 = table4[s1621];
const SWord32 s1623 = s1607 ^ s1622;
const SWord32 s1624 = s28 ^ s1623;
const SWord16 s1625 = (SWord16) (s1624 >> 16);
const SWord8 s1626 = (SWord8) (s1625 >> 8);
const SWord32 s1627 = table1[s1626];
const SWord8 s1628 = (SWord8) (s1586 >> 8);
const SWord32 s1629 = table1[s1628];
const SWord16 s1630 = (SWord16) (s1603 >> 16);
const SWord8 s1631 = (SWord8) s1630;
const SWord32 s1632 = table2[s1631];
const SWord32 s1633 = s1629 ^ s1632;
const SWord8 s1634 = (SWord8) (s1620 >> 8);
const SWord32 s1635 = table3[s1634];
const SWord32 s1636 = s1633 ^ s1635;
const SWord16 s1637 = (SWord16) s1568;
const SWord8 s1638 = (SWord8) s1637;
const SWord32 s1639 = table4[s1638];
const SWord32 s1640 = s1636 ^ s1639;
const SWord32 s1641 = s29 ^ s1640;
const SWord16 s1642 = (SWord16) (s1641 >> 16);
const SWord8 s1643 = (SWord8) s1642;
const SWord32 s1644 = table2[s1643];
const SWord32 s1645 = s1627 ^ s1644;
const SWord8 s1646 = (SWord8) (s1630 >> 8);
const SWord32 s1647 = table1[s1646];
const SWord16 s1648 = (SWord16) (s1619 >> 16);
const SWord8 s1649 = (SWord8) s1648;
const SWord32 s1650 = table2[s1649];
const SWord32 s1651 = s1647 ^ s1650;
const SWord8 s1652 = (SWord8) (s1637 >> 8);
const SWord32 s1653 = table3[s1652];
const SWord32 s1654 = s1651 ^ s1653;
const SWord16 s1655 = (SWord16) s1585;
const SWord8 s1656 = (SWord8) s1655;
const SWord32 s1657 = table4[s1656];
const SWord32 s1658 = s1654 ^ s1657;
const SWord32 s1659 = s30 ^ s1658;
const SWord16 s1660 = (SWord16) s1659;
const SWord8 s1661 = (SWord8) (s1660 >> 8);
const SWord32 s1662 = table3[s1661];
const SWord32 s1663 = s1645 ^ s1662;
const SWord8 s1664 = (SWord8) (s1648 >> 8);
const SWord32 s1665 = table1[s1664];
const SWord8 s1666 = (SWord8) s1569;
const SWord32 s1667 = table2[s1666];
const SWord32 s1668 = s1665 ^ s1667;
const SWord8 s1669 = (SWord8) (s1655 >> 8);
const SWord32 s1670 = table3[s1669];
const SWord32 s1671 = s1668 ^ s1670;
const SWord8 s1672 = (SWord8) s1604;
const SWord32 s1673 = table4[s1672];
const SWord32 s1674 = s1671 ^ s1673;
const SWord32 s1675 = s31 ^ s1674;
const SWord16 s1676 = (SWord16) s1675;
const SWord8 s1677 = (SWord8) s1676;
const SWord32 s1678 = table4[s1677];
const SWord32 s1679 = s1663 ^ s1678;
const SWord32 s1680 = s32 ^ s1679;
const SWord16 s1681 = (SWord16) (s1680 >> 16);
const SWord8 s1682 = (SWord8) (s1681 >> 8);
const SWord32 s1683 = table1[s1682];
const SWord8 s1684 = (SWord8) (s1642 >> 8);
const SWord32 s1685 = table1[s1684];
const SWord16 s1686 = (SWord16) (s1659 >> 16);
const SWord8 s1687 = (SWord8) s1686;
const SWord32 s1688 = table2[s1687];
const SWord32 s1689 = s1685 ^ s1688;
const SWord8 s1690 = (SWord8) (s1676 >> 8);
const SWord32 s1691 = table3[s1690];
const SWord32 s1692 = s1689 ^ s1691;
const SWord16 s1693 = (SWord16) s1624;
const SWord8 s1694 = (SWord8) s1693;
const SWord32 s1695 = table4[s1694];
const SWord32 s1696 = s1692 ^ s1695;
const SWord32 s1697 = s33 ^ s1696;
const SWord16 s1698 = (SWord16) (s1697 >> 16);
const SWord8 s1699 = (SWord8) s1698;
const SWord32 s1700 = table2[s1699];
const SWord32 s1701 = s1683 ^ s1700;
const SWord8 s1702 = (SWord8) (s1686 >> 8);
const SWord32 s1703 = table1[s1702];
const SWord16 s1704 = (SWord16) (s1675 >> 16);
const SWord8 s1705 = (SWord8) s1704;
const SWord32 s1706 = table2[s1705];
const SWord32 s1707 = s1703 ^ s1706;
const SWord8 s1708 = (SWord8) (s1693 >> 8);
const SWord32 s1709 = table3[s1708];
const SWord32 s1710 = s1707 ^ s1709;
const SWord16 s1711 = (SWord16) s1641;
const SWord8 s1712 = (SWord8) s1711;
const SWord32 s1713 = table4[s1712];
const SWord32 s1714 = s1710 ^ s1713;
const SWord32 s1715 = s34 ^ s1714;
const SWord16 s1716 = (SWord16) s1715;
const SWord8 s1717 = (SWord8) (s1716 >> 8);
const SWord32 s1718 = table3[s1717];
const SWord32 s1719 = s1701 ^ s1718;
const SWord8 s1720 = (SWord8) (s1704 >> 8);
const SWord32 s1721 = table1[s1720];
const SWord8 s1722 = (SWord8) s1625;
const SWord32 s1723 = table2[s1722];
const SWord32 s1724 = s1721 ^ s1723;
const SWord8 s1725 = (SWord8) (s1711 >> 8);
const SWord32 s1726 = table3[s1725];
const SWord32 s1727 = s1724 ^ s1726;
const SWord8 s1728 = (SWord8) s1660;
const SWord32 s1729 = table4[s1728];
const SWord32 s1730 = s1727 ^ s1729;
const SWord32 s1731 = s35 ^ s1730;
const SWord16 s1732 = (SWord16) s1731;
const SWord8 s1733 = (SWord8) s1732;
const SWord32 s1734 = table4[s1733];
const SWord32 s1735 = s1719 ^ s1734;
const SWord32 s1736 = s36 ^ s1735;
const SWord16 s1737 = (SWord16) (s1736 >> 16);
const SWord8 s1738 = (SWord8) (s1737 >> 8);
const SWord32 s1739 = table1[s1738];
const SWord8 s1740 = (SWord8) (s1698 >> 8);
const SWord32 s1741 = table1[s1740];
const SWord16 s1742 = (SWord16) (s1715 >> 16);
const SWord8 s1743 = (SWord8) s1742;
const SWord32 s1744 = table2[s1743];
const SWord32 s1745 = s1741 ^ s1744;
const SWord8 s1746 = (SWord8) (s1732 >> 8);
const SWord32 s1747 = table3[s1746];
const SWord32 s1748 = s1745 ^ s1747;
const SWord16 s1749 = (SWord16) s1680;
const SWord8 s1750 = (SWord8) s1749;
const SWord32 s1751 = table4[s1750];
const SWord32 s1752 = s1748 ^ s1751;
const SWord32 s1753 = s37 ^ s1752;
const SWord16 s1754 = (SWord16) (s1753 >> 16);
const SWord8 s1755 = (SWord8) s1754;
const SWord32 s1756 = table2[s1755];
const SWord32 s1757 = s1739 ^ s1756;
const SWord8 s1758 = (SWord8) (s1742 >> 8);
const SWord32 s1759 = table1[s1758];
const SWord16 s1760 = (SWord16) (s1731 >> 16);
const SWord8 s1761 = (SWord8) s1760;
const SWord32 s1762 = table2[s1761];
const SWord32 s1763 = s1759 ^ s1762;
const SWord8 s1764 = (SWord8) (s1749 >> 8);
const SWord32 s1765 = table3[s1764];
const SWord32 s1766 = s1763 ^ s1765;
const SWord16 s1767 = (SWord16) s1697;
const SWord8 s1768 = (SWord8) s1767;
const SWord32 s1769 = table4[s1768];
const SWord32 s1770 = s1766 ^ s1769;
const SWord32 s1771 = s38 ^ s1770;
const SWord16 s1772 = (SWord16) s1771;
const SWord8 s1773 = (SWord8) (s1772 >> 8);
const SWord32 s1774 = table3[s1773];
const SWord32 s1775 = s1757 ^ s1774;
const SWord8 s1776 = (SWord8) (s1760 >> 8);
const SWord32 s1777 = table1[s1776];
const SWord8 s1778 = (SWord8) s1681;
const SWord32 s1779 = table2[s1778];
const SWord32 s1780 = s1777 ^ s1779;
const SWord8 s1781 = (SWord8) (s1767 >> 8);
const SWord32 s1782 = table3[s1781];
const SWord32 s1783 = s1780 ^ s1782;
const SWord8 s1784 = (SWord8) s1716;
const SWord32 s1785 = table4[s1784];
const SWord32 s1786 = s1783 ^ s1785;
const SWord32 s1787 = s39 ^ s1786;
const SWord16 s1788 = (SWord16) s1787;
const SWord8 s1789 = (SWord8) s1788;
const SWord32 s1790 = table4[s1789];
const SWord32 s1791 = s1775 ^ s1790;
const SWord32 s1792 = s40 ^ s1791;
const SWord16 s1793 = (SWord16) (s1792 >> 16);
const SWord8 s1794 = (SWord8) (s1793 >> 8);
const SWord8 s1795 = table0[s1794];
const SWord8 s1796 = (SWord8) (s1754 >> 8);
const SWord32 s1797 = table1[s1796];
const SWord16 s1798 = (SWord16) (s1771 >> 16);
const SWord8 s1799 = (SWord8) s1798;
const SWord32 s1800 = table2[s1799];
const SWord32 s1801 = s1797 ^ s1800;
const SWord8 s1802 = (SWord8) (s1788 >> 8);
const SWord32 s1803 = table3[s1802];
const SWord32 s1804 = s1801 ^ s1803;
const SWord16 s1805 = (SWord16) s1736;
const SWord8 s1806 = (SWord8) s1805;
const SWord32 s1807 = table4[s1806];
const SWord32 s1808 = s1804 ^ s1807;
const SWord32 s1809 = s41 ^ s1808;
const SWord16 s1810 = (SWord16) (s1809 >> 16);
const SWord8 s1811 = (SWord8) s1810;
const SWord8 s1812 = table0[s1811];
const SWord16 s1813 = (((SWord16) s1795) << 8) | ((SWord16) s1812);
const SWord8 s1814 = (SWord8) (s1798 >> 8);
const SWord32 s1815 = table1[s1814];
const SWord16 s1816 = (SWord16) (s1787 >> 16);
const SWord8 s1817 = (SWord8) s1816;
const SWord32 s1818 = table2[s1817];
const SWord32 s1819 = s1815 ^ s1818;
const SWord8 s1820 = (SWord8) (s1805 >> 8);
const SWord32 s1821 = table3[s1820];
const SWord32 s1822 = s1819 ^ s1821;
const SWord16 s1823 = (SWord16) s1753;
const SWord8 s1824 = (SWord8) s1823;
const SWord32 s1825 = table4[s1824];
const SWord32 s1826 = s1822 ^ s1825;
const SWord32 s1827 = s42 ^ s1826;
const SWord16 s1828 = (SWord16) s1827;
const SWord8 s1829 = (SWord8) (s1828 >> 8);
const SWord8 s1830 = table0[s1829];
const SWord8 s1831 = (SWord8) (s1816 >> 8);
const SWord32 s1832 = table1[s1831];
const SWord8 s1833 = (SWord8) s1737;
const SWord32 s1834 = table2[s1833];
const SWord32 s1835 = s1832 ^ s1834;
const SWord8 s1836 = (SWord8) (s1823 >> 8);
const SWord32 s1837 = table3[s1836];
const SWord32 s1838 = s1835 ^ s1837;
const SWord8 s1839 = (SWord8) s1772;
const SWord32 s1840 = table4[s1839];
const SWord32 s1841 = s1838 ^ s1840;
const SWord32 s1842 = s43 ^ s1841;
const SWord16 s1843 = (SWord16) s1842;
const SWord8 s1844 = (SWord8) s1843;
const SWord8 s1845 = table0[s1844];
const SWord16 s1846 = (((SWord16) s1830) << 8) | ((SWord16) s1845);
const SWord32 s1847 = (((SWord32) s1813) << 16) | ((SWord32) s1846);
const SWord32 s1848 = s44 ^ s1847;
const SWord8 s1849 = (SWord8) (s1810 >> 8);
const SWord8 s1850 = table0[s1849];
const SWord16 s1851 = (SWord16) (s1827 >> 16);
const SWord8 s1852 = (SWord8) s1851;
const SWord8 s1853 = table0[s1852];
const SWord16 s1854 = (((SWord16) s1850) << 8) | ((SWord16) s1853);
const SWord8 s1855 = (SWord8) (s1843 >> 8);
const SWord8 s1856 = table0[s1855];
const SWord16 s1857 = (SWord16) s1792;
const SWord8 s1858 = (SWord8) s1857;
const SWord8 s1859 = table0[s1858];
const SWord16 s1860 = (((SWord16) s1856) << 8) | ((SWord16) s1859);
const SWord32 s1861 = (((SWord32) s1854) << 16) | ((SWord32) s1860);
const SWord32 s1862 = s45 ^ s1861;
const SWord8 s1863 = (SWord8) (s1851 >> 8);
const SWord8 s1864 = table0[s1863];
const SWord16 s1865 = (SWord16) (s1842 >> 16);
const SWord8 s1866 = (SWord8) s1865;
const SWord8 s1867 = table0[s1866];
const SWord16 s1868 = (((SWord16) s1864) << 8) | ((SWord16) s1867);
const SWord8 s1869 = (SWord8) (s1857 >> 8);
const SWord8 s1870 = table0[s1869];
const SWord16 s1871 = (SWord16) s1809;
const SWord8 s1872 = (SWord8) s1871;
const SWord8 s1873 = table0[s1872];
const SWord16 s1874 = (((SWord16) s1870) << 8) | ((SWord16) s1873);
const SWord32 s1875 = (((SWord32) s1868) << 16) | ((SWord32) s1874);
const SWord32 s1876 = s46 ^ s1875;
const SWord8 s1877 = (SWord8) (s1865 >> 8);
const SWord8 s1878 = table0[s1877];
const SWord8 s1879 = (SWord8) s1793;
const SWord8 s1880 = table0[s1879];
const SWord16 s1881 = (((SWord16) s1878) << 8) | ((SWord16) s1880);
const SWord8 s1882 = (SWord8) (s1871 >> 8);
const SWord8 s1883 = table0[s1882];
const SWord8 s1884 = (SWord8) s1828;
const SWord8 s1885 = table0[s1884];
const SWord16 s1886 = (((SWord16) s1883) << 8) | ((SWord16) s1885);
const SWord32 s1887 = (((SWord32) s1881) << 16) | ((SWord32) s1886);
const SWord32 s1888 = s47 ^ s1887;
ct[0] = s1848;
ct[1] = s1862;
ct[2] = s1876;
ct[3] = s1888;
}
== END: "aes128BlockEncrypt.c" ==================
== BEGIN: "aes128BlockDecrypt.c" ================
/* File: "aes128BlockDecrypt.c". Automatically generated by SBV. Do not edit! */
#include <inttypes.h>
#include <stdint.h>
#include <stdbool.h>
#include <math.h>
#include "aes128Lib.h"
void aes128BlockDecrypt(const SWord32 *ct, const SWord32 *xkey,
SWord32 *pt)
{
const SWord32 s0 = ct[0];
const SWord32 s1 = ct[1];
const SWord32 s2 = ct[2];
const SWord32 s3 = ct[3];
const SWord32 s4 = xkey[0];
const SWord32 s5 = xkey[1];
const SWord32 s6 = xkey[2];
const SWord32 s7 = xkey[3];
const SWord32 s8 = xkey[4];
const SWord32 s9 = xkey[5];
const SWord32 s10 = xkey[6];
const SWord32 s11 = xkey[7];
const SWord32 s12 = xkey[8];
const SWord32 s13 = xkey[9];
const SWord32 s14 = xkey[10];
const SWord32 s15 = xkey[11];
const SWord32 s16 = xkey[12];
const SWord32 s17 = xkey[13];
const SWord32 s18 = xkey[14];
const SWord32 s19 = xkey[15];
const SWord32 s20 = xkey[16];
const SWord32 s21 = xkey[17];
const SWord32 s22 = xkey[18];
const SWord32 s23 = xkey[19];
const SWord32 s24 = xkey[20];
const SWord32 s25 = xkey[21];
const SWord32 s26 = xkey[22];
const SWord32 s27 = xkey[23];
const SWord32 s28 = xkey[24];
const SWord32 s29 = xkey[25];
const SWord32 s30 = xkey[26];
const SWord32 s31 = xkey[27];
const SWord32 s32 = xkey[28];
const SWord32 s33 = xkey[29];
const SWord32 s34 = xkey[30];
const SWord32 s35 = xkey[31];
const SWord32 s36 = xkey[32];
const SWord32 s37 = xkey[33];
const SWord32 s38 = xkey[34];
const SWord32 s39 = xkey[35];
const SWord32 s40 = xkey[36];
const SWord32 s41 = xkey[37];
const SWord32 s42 = xkey[38];
const SWord32 s43 = xkey[39];
const SWord32 s44 = xkey[40];
const SWord32 s45 = xkey[41];
const SWord32 s46 = xkey[42];
const SWord32 s47 = xkey[43];
static const SWord8 table0[] = {
82, 9, 106, 213, 48, 54, 165, 56, 191, 64, 163, 158, 129,
243, 215, 251, 124, 227, 57, 130, 155, 47, 255, 135, 52, 142,
67, 68, 196, 222, 233, 203, 84, 123, 148, 50, 166, 194, 35,
61, 238, 76, 149, 11, 66, 250, 195, 78, 8, 46, 161, 102,
40, 217, 36, 178, 118, 91, 162, 73, 109, 139, 209, 37, 114,
248, 246, 100, 134, 104, 152, 22, 212, 164, 92, 204, 93, 101,
182, 146, 108, 112, 72, 80, 253, 237, 185, 218, 94, 21, 70,
87, 167, 141, 157, 132, 144, 216, 171, 0, 140, 188, 211, 10,
247, 228, 88, 5, 184, 179, 69, 6, 208, 44, 30, 143, 202,
63, 15, 2, 193, 175, 189, 3, 1, 19, 138, 107, 58, 145,
17, 65, 79, 103, 220, 234, 151, 242, 207, 206, 240, 180, 230,
115, 150, 172, 116, 34, 231, 173, 53, 133, 226, 249, 55, 232,
28, 117, 223, 110, 71, 241, 26, 113, 29, 41, 197, 137, 111,
183, 98, 14, 170, 24, 190, 27, 252, 86, 62, 75, 198, 210,
121, 32, 154, 219, 192, 254, 120, 205, 90, 244, 31, 221, 168,
51, 136, 7, 199, 49, 177, 18, 16, 89, 39, 128, 236, 95,
96, 81, 127, 169, 25, 181, 74, 13, 45, 229, 122, 159, 147,
201, 156, 239, 160, 224, 59, 77, 174, 42, 245, 176, 200, 235,
187, 60, 131, 83, 153, 97, 23, 43, 4, 126, 186, 119, 214,
38, 225, 105, 20, 99, 85, 33, 12, 125
};
static const SWord32 table1[] = {
0x51f4a750UL, 0x7e416553UL, 0x1a17a4c3UL, 0x3a275e96UL,
0x3bab6bcbUL, 0x1f9d45f1UL, 0xacfa58abUL, 0x4be30393UL,
0x2030fa55UL, 0xad766df6UL, 0x88cc7691UL, 0xf5024c25UL,
0x4fe5d7fcUL, 0xc52acbd7UL, 0x26354480UL, 0xb562a38fUL,
0xdeb15a49UL, 0x25ba1b67UL, 0x45ea0e98UL, 0x5dfec0e1UL,
0xc32f7502UL, 0x814cf012UL, 0x8d4697a3UL, 0x6bd3f9c6UL,
0x038f5fe7UL, 0x15929c95UL, 0xbf6d7aebUL, 0x955259daUL,
0xd4be832dUL, 0x587421d3UL, 0x49e06929UL, 0x8ec9c844UL,
0x75c2896aUL, 0xf48e7978UL, 0x99583e6bUL, 0x27b971ddUL,
0xbee14fb6UL, 0xf088ad17UL, 0xc920ac66UL, 0x7dce3ab4UL,
0x63df4a18UL, 0xe51a3182UL, 0x97513360UL, 0x62537f45UL,
0xb16477e0UL, 0xbb6bae84UL, 0xfe81a01cUL, 0xf9082b94UL,
0x70486858UL, 0x8f45fd19UL, 0x94de6c87UL, 0x527bf8b7UL,
0xab73d323UL, 0x724b02e2UL, 0xe31f8f57UL, 0x6655ab2aUL,
0xb2eb2807UL, 0x2fb5c203UL, 0x86c57b9aUL, 0xd33708a5UL,
0x302887f2UL, 0x23bfa5b2UL, 0x02036abaUL, 0xed16825cUL,
0x8acf1c2bUL, 0xa779b492UL, 0xf307f2f0UL, 0x4e69e2a1UL,
0x65daf4cdUL, 0x0605bed5UL, 0xd134621fUL, 0xc4a6fe8aUL,
0x342e539dUL, 0xa2f355a0UL, 0x058ae132UL, 0xa4f6eb75UL,
0x0b83ec39UL, 0x4060efaaUL, 0x5e719f06UL, 0xbd6e1051UL,
0x3e218af9UL, 0x96dd063dUL, 0xdd3e05aeUL, 0x4de6bd46UL,
0x91548db5UL, 0x71c45d05UL, 0x0406d46fUL, 0x605015ffUL,
0x1998fb24UL, 0xd6bde997UL, 0x894043ccUL, 0x67d99e77UL,
0xb0e842bdUL, 0x07898b88UL, 0xe7195b38UL, 0x79c8eedbUL,
0xa17c0a47UL, 0x7c420fe9UL, 0xf8841ec9UL, 0x00000000UL,
0x09808683UL, 0x322bed48UL, 0x1e1170acUL, 0x6c5a724eUL,
0xfd0efffbUL, 0x0f853856UL, 0x3daed51eUL, 0x362d3927UL,
0x0a0fd964UL, 0x685ca621UL, 0x9b5b54d1UL, 0x24362e3aUL,
0x0c0a67b1UL, 0x9357e70fUL, 0xb4ee96d2UL, 0x1b9b919eUL,
0x80c0c54fUL, 0x61dc20a2UL, 0x5a774b69UL, 0x1c121a16UL,
0xe293ba0aUL, 0xc0a02ae5UL, 0x3c22e043UL, 0x121b171dUL,
0x0e090d0bUL, 0xf28bc7adUL, 0x2db6a8b9UL, 0x141ea9c8UL,
0x57f11985UL, 0xaf75074cUL, 0xee99ddbbUL, 0xa37f60fdUL,
0xf701269fUL, 0x5c72f5bcUL, 0x44663bc5UL, 0x5bfb7e34UL,
0x8b432976UL, 0xcb23c6dcUL, 0xb6edfc68UL, 0xb8e4f163UL,
0xd731dccaUL, 0x42638510UL, 0x13972240UL, 0x84c61120UL,
0x854a247dUL, 0xd2bb3df8UL, 0xaef93211UL, 0xc729a16dUL,
0x1d9e2f4bUL, 0xdcb230f3UL, 0x0d8652ecUL, 0x77c1e3d0UL,
0x2bb3166cUL, 0xa970b999UL, 0x119448faUL, 0x47e96422UL,
0xa8fc8cc4UL, 0xa0f03f1aUL, 0x567d2cd8UL, 0x223390efUL,
0x87494ec7UL, 0xd938d1c1UL, 0x8ccaa2feUL, 0x98d40b36UL,
0xa6f581cfUL, 0xa57ade28UL, 0xdab78e26UL, 0x3fadbfa4UL,
0x2c3a9de4UL, 0x5078920dUL, 0x6a5fcc9bUL, 0x547e4662UL,
0xf68d13c2UL, 0x90d8b8e8UL, 0x2e39f75eUL, 0x82c3aff5UL,
0x9f5d80beUL, 0x69d0937cUL, 0x6fd52da9UL, 0xcf2512b3UL,
0xc8ac993bUL, 0x10187da7UL, 0xe89c636eUL, 0xdb3bbb7bUL,
0xcd267809UL, 0x6e5918f4UL, 0xec9ab701UL, 0x834f9aa8UL,
0xe6956e65UL, 0xaaffe67eUL, 0x21bccf08UL, 0xef15e8e6UL,
0xbae79bd9UL, 0x4a6f36ceUL, 0xea9f09d4UL, 0x29b07cd6UL,
0x31a4b2afUL, 0x2a3f2331UL, 0xc6a59430UL, 0x35a266c0UL,
0x744ebc37UL, 0xfc82caa6UL, 0xe090d0b0UL, 0x33a7d815UL,
0xf104984aUL, 0x41ecdaf7UL, 0x7fcd500eUL, 0x1791f62fUL,
0x764dd68dUL, 0x43efb04dUL, 0xccaa4d54UL, 0xe49604dfUL,
0x9ed1b5e3UL, 0x4c6a881bUL, 0xc12c1fb8UL, 0x4665517fUL,
0x9d5eea04UL, 0x018c355dUL, 0xfa877473UL, 0xfb0b412eUL,
0xb3671d5aUL, 0x92dbd252UL, 0xe9105633UL, 0x6dd64713UL,
0x9ad7618cUL, 0x37a10c7aUL, 0x59f8148eUL, 0xeb133c89UL,
0xcea927eeUL, 0xb761c935UL, 0xe11ce5edUL, 0x7a47b13cUL,
0x9cd2df59UL, 0x55f2733fUL, 0x1814ce79UL, 0x73c737bfUL,
0x53f7cdeaUL, 0x5ffdaa5bUL, 0xdf3d6f14UL, 0x7844db86UL,
0xcaaff381UL, 0xb968c43eUL, 0x3824342cUL, 0xc2a3405fUL,
0x161dc372UL, 0xbce2250cUL, 0x283c498bUL, 0xff0d9541UL,
0x39a80171UL, 0x080cb3deUL, 0xd8b4e49cUL, 0x6456c190UL,
0x7bcb8461UL, 0xd532b670UL, 0x486c5c74UL, 0xd0b85742UL
};
static const SWord32 table2[] = {
0x5051f4a7UL, 0x537e4165UL, 0xc31a17a4UL, 0x963a275eUL,
0xcb3bab6bUL, 0xf11f9d45UL, 0xabacfa58UL, 0x934be303UL,
0x552030faUL, 0xf6ad766dUL, 0x9188cc76UL, 0x25f5024cUL,
0xfc4fe5d7UL, 0xd7c52acbUL, 0x80263544UL, 0x8fb562a3UL,
0x49deb15aUL, 0x6725ba1bUL, 0x9845ea0eUL, 0xe15dfec0UL,
0x02c32f75UL, 0x12814cf0UL, 0xa38d4697UL, 0xc66bd3f9UL,
0xe7038f5fUL, 0x9515929cUL, 0xebbf6d7aUL, 0xda955259UL,
0x2dd4be83UL, 0xd3587421UL, 0x2949e069UL, 0x448ec9c8UL,
0x6a75c289UL, 0x78f48e79UL, 0x6b99583eUL, 0xdd27b971UL,
0xb6bee14fUL, 0x17f088adUL, 0x66c920acUL, 0xb47dce3aUL,
0x1863df4aUL, 0x82e51a31UL, 0x60975133UL, 0x4562537fUL,
0xe0b16477UL, 0x84bb6baeUL, 0x1cfe81a0UL, 0x94f9082bUL,
0x58704868UL, 0x198f45fdUL, 0x8794de6cUL, 0xb7527bf8UL,
0x23ab73d3UL, 0xe2724b02UL, 0x57e31f8fUL, 0x2a6655abUL,
0x07b2eb28UL, 0x032fb5c2UL, 0x9a86c57bUL, 0xa5d33708UL,
0xf2302887UL, 0xb223bfa5UL, 0xba02036aUL, 0x5ced1682UL,
0x2b8acf1cUL, 0x92a779b4UL, 0xf0f307f2UL, 0xa14e69e2UL,
0xcd65daf4UL, 0xd50605beUL, 0x1fd13462UL, 0x8ac4a6feUL,
0x9d342e53UL, 0xa0a2f355UL, 0x32058ae1UL, 0x75a4f6ebUL,
0x390b83ecUL, 0xaa4060efUL, 0x065e719fUL, 0x51bd6e10UL,
0xf93e218aUL, 0x3d96dd06UL, 0xaedd3e05UL, 0x464de6bdUL,
0xb591548dUL, 0x0571c45dUL, 0x6f0406d4UL, 0xff605015UL,
0x241998fbUL, 0x97d6bde9UL, 0xcc894043UL, 0x7767d99eUL,
0xbdb0e842UL, 0x8807898bUL, 0x38e7195bUL, 0xdb79c8eeUL,
0x47a17c0aUL, 0xe97c420fUL, 0xc9f8841eUL, 0x00000000UL,
0x83098086UL, 0x48322bedUL, 0xac1e1170UL, 0x4e6c5a72UL,
0xfbfd0effUL, 0x560f8538UL, 0x1e3daed5UL, 0x27362d39UL,
0x640a0fd9UL, 0x21685ca6UL, 0xd19b5b54UL, 0x3a24362eUL,
0xb10c0a67UL, 0x0f9357e7UL, 0xd2b4ee96UL, 0x9e1b9b91UL,
0x4f80c0c5UL, 0xa261dc20UL, 0x695a774bUL, 0x161c121aUL,
0x0ae293baUL, 0xe5c0a02aUL, 0x433c22e0UL, 0x1d121b17UL,
0x0b0e090dUL, 0xadf28bc7UL, 0xb92db6a8UL, 0xc8141ea9UL,
0x8557f119UL, 0x4caf7507UL, 0xbbee99ddUL, 0xfda37f60UL,
0x9ff70126UL, 0xbc5c72f5UL, 0xc544663bUL, 0x345bfb7eUL,
0x768b4329UL, 0xdccb23c6UL, 0x68b6edfcUL, 0x63b8e4f1UL,
0xcad731dcUL, 0x10426385UL, 0x40139722UL, 0x2084c611UL,
0x7d854a24UL, 0xf8d2bb3dUL, 0x11aef932UL, 0x6dc729a1UL,
0x4b1d9e2fUL, 0xf3dcb230UL, 0xec0d8652UL, 0xd077c1e3UL,
0x6c2bb316UL, 0x99a970b9UL, 0xfa119448UL, 0x2247e964UL,
0xc4a8fc8cUL, 0x1aa0f03fUL, 0xd8567d2cUL, 0xef223390UL,
0xc787494eUL, 0xc1d938d1UL, 0xfe8ccaa2UL, 0x3698d40bUL,
0xcfa6f581UL, 0x28a57adeUL, 0x26dab78eUL, 0xa43fadbfUL,
0xe42c3a9dUL, 0x0d507892UL, 0x9b6a5fccUL, 0x62547e46UL,
0xc2f68d13UL, 0xe890d8b8UL, 0x5e2e39f7UL, 0xf582c3afUL,
0xbe9f5d80UL, 0x7c69d093UL, 0xa96fd52dUL, 0xb3cf2512UL,
0x3bc8ac99UL, 0xa710187dUL, 0x6ee89c63UL, 0x7bdb3bbbUL,
0x09cd2678UL, 0xf46e5918UL, 0x01ec9ab7UL, 0xa8834f9aUL,
0x65e6956eUL, 0x7eaaffe6UL, 0x0821bccfUL, 0xe6ef15e8UL,
0xd9bae79bUL, 0xce4a6f36UL, 0xd4ea9f09UL, 0xd629b07cUL,
0xaf31a4b2UL, 0x312a3f23UL, 0x30c6a594UL, 0xc035a266UL,
0x37744ebcUL, 0xa6fc82caUL, 0xb0e090d0UL, 0x1533a7d8UL,
0x4af10498UL, 0xf741ecdaUL, 0x0e7fcd50UL, 0x2f1791f6UL,
0x8d764dd6UL, 0x4d43efb0UL, 0x54ccaa4dUL, 0xdfe49604UL,
0xe39ed1b5UL, 0x1b4c6a88UL, 0xb8c12c1fUL, 0x7f466551UL,
0x049d5eeaUL, 0x5d018c35UL, 0x73fa8774UL, 0x2efb0b41UL,
0x5ab3671dUL, 0x5292dbd2UL, 0x33e91056UL, 0x136dd647UL,
0x8c9ad761UL, 0x7a37a10cUL, 0x8e59f814UL, 0x89eb133cUL,
0xeecea927UL, 0x35b761c9UL, 0xede11ce5UL, 0x3c7a47b1UL,
0x599cd2dfUL, 0x3f55f273UL, 0x791814ceUL, 0xbf73c737UL,
0xea53f7cdUL, 0x5b5ffdaaUL, 0x14df3d6fUL, 0x867844dbUL,
0x81caaff3UL, 0x3eb968c4UL, 0x2c382434UL, 0x5fc2a340UL,
0x72161dc3UL, 0x0cbce225UL, 0x8b283c49UL, 0x41ff0d95UL,
0x7139a801UL, 0xde080cb3UL, 0x9cd8b4e4UL, 0x906456c1UL,
0x617bcb84UL, 0x70d532b6UL, 0x74486c5cUL, 0x42d0b857UL
};
static const SWord32 table3[] = {
0xa75051f4UL, 0x65537e41UL, 0xa4c31a17UL, 0x5e963a27UL,
0x6bcb3babUL, 0x45f11f9dUL, 0x58abacfaUL, 0x03934be3UL,
0xfa552030UL, 0x6df6ad76UL, 0x769188ccUL, 0x4c25f502UL,
0xd7fc4fe5UL, 0xcbd7c52aUL, 0x44802635UL, 0xa38fb562UL,
0x5a49deb1UL, 0x1b6725baUL, 0x0e9845eaUL, 0xc0e15dfeUL,
0x7502c32fUL, 0xf012814cUL, 0x97a38d46UL, 0xf9c66bd3UL,
0x5fe7038fUL, 0x9c951592UL, 0x7aebbf6dUL, 0x59da9552UL,
0x832dd4beUL, 0x21d35874UL, 0x692949e0UL, 0xc8448ec9UL,
0x896a75c2UL, 0x7978f48eUL, 0x3e6b9958UL, 0x71dd27b9UL,
0x4fb6bee1UL, 0xad17f088UL, 0xac66c920UL, 0x3ab47dceUL,
0x4a1863dfUL, 0x3182e51aUL, 0x33609751UL, 0x7f456253UL,
0x77e0b164UL, 0xae84bb6bUL, 0xa01cfe81UL, 0x2b94f908UL,
0x68587048UL, 0xfd198f45UL, 0x6c8794deUL, 0xf8b7527bUL,
0xd323ab73UL, 0x02e2724bUL, 0x8f57e31fUL, 0xab2a6655UL,
0x2807b2ebUL, 0xc2032fb5UL, 0x7b9a86c5UL, 0x08a5d337UL,
0x87f23028UL, 0xa5b223bfUL, 0x6aba0203UL, 0x825ced16UL,
0x1c2b8acfUL, 0xb492a779UL, 0xf2f0f307UL, 0xe2a14e69UL,
0xf4cd65daUL, 0xbed50605UL, 0x621fd134UL, 0xfe8ac4a6UL,
0x539d342eUL, 0x55a0a2f3UL, 0xe132058aUL, 0xeb75a4f6UL,
0xec390b83UL, 0xefaa4060UL, 0x9f065e71UL, 0x1051bd6eUL,
0x8af93e21UL, 0x063d96ddUL, 0x05aedd3eUL, 0xbd464de6UL,
0x8db59154UL, 0x5d0571c4UL, 0xd46f0406UL, 0x15ff6050UL,
0xfb241998UL, 0xe997d6bdUL, 0x43cc8940UL, 0x9e7767d9UL,
0x42bdb0e8UL, 0x8b880789UL, 0x5b38e719UL, 0xeedb79c8UL,
0x0a47a17cUL, 0x0fe97c42UL, 0x1ec9f884UL, 0x00000000UL,
0x86830980UL, 0xed48322bUL, 0x70ac1e11UL, 0x724e6c5aUL,
0xfffbfd0eUL, 0x38560f85UL, 0xd51e3daeUL, 0x3927362dUL,
0xd9640a0fUL, 0xa621685cUL, 0x54d19b5bUL, 0x2e3a2436UL,
0x67b10c0aUL, 0xe70f9357UL, 0x96d2b4eeUL, 0x919e1b9bUL,
0xc54f80c0UL, 0x20a261dcUL, 0x4b695a77UL, 0x1a161c12UL,
0xba0ae293UL, 0x2ae5c0a0UL, 0xe0433c22UL, 0x171d121bUL,
0x0d0b0e09UL, 0xc7adf28bUL, 0xa8b92db6UL, 0xa9c8141eUL,
0x198557f1UL, 0x074caf75UL, 0xddbbee99UL, 0x60fda37fUL,
0x269ff701UL, 0xf5bc5c72UL, 0x3bc54466UL, 0x7e345bfbUL,
0x29768b43UL, 0xc6dccb23UL, 0xfc68b6edUL, 0xf163b8e4UL,
0xdccad731UL, 0x85104263UL, 0x22401397UL, 0x112084c6UL,
0x247d854aUL, 0x3df8d2bbUL, 0x3211aef9UL, 0xa16dc729UL,
0x2f4b1d9eUL, 0x30f3dcb2UL, 0x52ec0d86UL, 0xe3d077c1UL,
0x166c2bb3UL, 0xb999a970UL, 0x48fa1194UL, 0x642247e9UL,
0x8cc4a8fcUL, 0x3f1aa0f0UL, 0x2cd8567dUL, 0x90ef2233UL,
0x4ec78749UL, 0xd1c1d938UL, 0xa2fe8ccaUL, 0x0b3698d4UL,
0x81cfa6f5UL, 0xde28a57aUL, 0x8e26dab7UL, 0xbfa43fadUL,
0x9de42c3aUL, 0x920d5078UL, 0xcc9b6a5fUL, 0x4662547eUL,
0x13c2f68dUL, 0xb8e890d8UL, 0xf75e2e39UL, 0xaff582c3UL,
0x80be9f5dUL, 0x937c69d0UL, 0x2da96fd5UL, 0x12b3cf25UL,
0x993bc8acUL, 0x7da71018UL, 0x636ee89cUL, 0xbb7bdb3bUL,
0x7809cd26UL, 0x18f46e59UL, 0xb701ec9aUL, 0x9aa8834fUL,
0x6e65e695UL, 0xe67eaaffUL, 0xcf0821bcUL, 0xe8e6ef15UL,
0x9bd9bae7UL, 0x36ce4a6fUL, 0x09d4ea9fUL, 0x7cd629b0UL,
0xb2af31a4UL, 0x23312a3fUL, 0x9430c6a5UL, 0x66c035a2UL,
0xbc37744eUL, 0xcaa6fc82UL, 0xd0b0e090UL, 0xd81533a7UL,
0x984af104UL, 0xdaf741ecUL, 0x500e7fcdUL, 0xf62f1791UL,
0xd68d764dUL, 0xb04d43efUL, 0x4d54ccaaUL, 0x04dfe496UL,
0xb5e39ed1UL, 0x881b4c6aUL, 0x1fb8c12cUL, 0x517f4665UL,
0xea049d5eUL, 0x355d018cUL, 0x7473fa87UL, 0x412efb0bUL,
0x1d5ab367UL, 0xd25292dbUL, 0x5633e910UL, 0x47136dd6UL,
0x618c9ad7UL, 0x0c7a37a1UL, 0x148e59f8UL, 0x3c89eb13UL,
0x27eecea9UL, 0xc935b761UL, 0xe5ede11cUL, 0xb13c7a47UL,
0xdf599cd2UL, 0x733f55f2UL, 0xce791814UL, 0x37bf73c7UL,
0xcdea53f7UL, 0xaa5b5ffdUL, 0x6f14df3dUL, 0xdb867844UL,
0xf381caafUL, 0xc43eb968UL, 0x342c3824UL, 0x405fc2a3UL,
0xc372161dUL, 0x250cbce2UL, 0x498b283cUL, 0x9541ff0dUL,
0x017139a8UL, 0xb3de080cUL, 0xe49cd8b4UL, 0xc1906456UL,
0x84617bcbUL, 0xb670d532UL, 0x5c74486cUL, 0x5742d0b8UL
};
static const SWord32 table4[] = {
0xf4a75051UL, 0x4165537eUL, 0x17a4c31aUL, 0x275e963aUL,
0xab6bcb3bUL, 0x9d45f11fUL, 0xfa58abacUL, 0xe303934bUL,
0x30fa5520UL, 0x766df6adUL, 0xcc769188UL, 0x024c25f5UL,
0xe5d7fc4fUL, 0x2acbd7c5UL, 0x35448026UL, 0x62a38fb5UL,
0xb15a49deUL, 0xba1b6725UL, 0xea0e9845UL, 0xfec0e15dUL,
0x2f7502c3UL, 0x4cf01281UL, 0x4697a38dUL, 0xd3f9c66bUL,
0x8f5fe703UL, 0x929c9515UL, 0x6d7aebbfUL, 0x5259da95UL,
0xbe832dd4UL, 0x7421d358UL, 0xe0692949UL, 0xc9c8448eUL,
0xc2896a75UL, 0x8e7978f4UL, 0x583e6b99UL, 0xb971dd27UL,
0xe14fb6beUL, 0x88ad17f0UL, 0x20ac66c9UL, 0xce3ab47dUL,
0xdf4a1863UL, 0x1a3182e5UL, 0x51336097UL, 0x537f4562UL,
0x6477e0b1UL, 0x6bae84bbUL, 0x81a01cfeUL, 0x082b94f9UL,
0x48685870UL, 0x45fd198fUL, 0xde6c8794UL, 0x7bf8b752UL,
0x73d323abUL, 0x4b02e272UL, 0x1f8f57e3UL, 0x55ab2a66UL,
0xeb2807b2UL, 0xb5c2032fUL, 0xc57b9a86UL, 0x3708a5d3UL,
0x2887f230UL, 0xbfa5b223UL, 0x036aba02UL, 0x16825cedUL,
0xcf1c2b8aUL, 0x79b492a7UL, 0x07f2f0f3UL, 0x69e2a14eUL,
0xdaf4cd65UL, 0x05bed506UL, 0x34621fd1UL, 0xa6fe8ac4UL,
0x2e539d34UL, 0xf355a0a2UL, 0x8ae13205UL, 0xf6eb75a4UL,
0x83ec390bUL, 0x60efaa40UL, 0x719f065eUL, 0x6e1051bdUL,
0x218af93eUL, 0xdd063d96UL, 0x3e05aeddUL, 0xe6bd464dUL,
0x548db591UL, 0xc45d0571UL, 0x06d46f04UL, 0x5015ff60UL,
0x98fb2419UL, 0xbde997d6UL, 0x4043cc89UL, 0xd99e7767UL,
0xe842bdb0UL, 0x898b8807UL, 0x195b38e7UL, 0xc8eedb79UL,
0x7c0a47a1UL, 0x420fe97cUL, 0x841ec9f8UL, 0x00000000UL,
0x80868309UL, 0x2bed4832UL, 0x1170ac1eUL, 0x5a724e6cUL,
0x0efffbfdUL, 0x8538560fUL, 0xaed51e3dUL, 0x2d392736UL,
0x0fd9640aUL, 0x5ca62168UL, 0x5b54d19bUL, 0x362e3a24UL,
0x0a67b10cUL, 0x57e70f93UL, 0xee96d2b4UL, 0x9b919e1bUL,
0xc0c54f80UL, 0xdc20a261UL, 0x774b695aUL, 0x121a161cUL,
0x93ba0ae2UL, 0xa02ae5c0UL, 0x22e0433cUL, 0x1b171d12UL,
0x090d0b0eUL, 0x8bc7adf2UL, 0xb6a8b92dUL, 0x1ea9c814UL,
0xf1198557UL, 0x75074cafUL, 0x99ddbbeeUL, 0x7f60fda3UL,
0x01269ff7UL, 0x72f5bc5cUL, 0x663bc544UL, 0xfb7e345bUL,
0x4329768bUL, 0x23c6dccbUL, 0xedfc68b6UL, 0xe4f163b8UL,
0x31dccad7UL, 0x63851042UL, 0x97224013UL, 0xc6112084UL,
0x4a247d85UL, 0xbb3df8d2UL, 0xf93211aeUL, 0x29a16dc7UL,
0x9e2f4b1dUL, 0xb230f3dcUL, 0x8652ec0dUL, 0xc1e3d077UL,
0xb3166c2bUL, 0x70b999a9UL, 0x9448fa11UL, 0xe9642247UL,
0xfc8cc4a8UL, 0xf03f1aa0UL, 0x7d2cd856UL, 0x3390ef22UL,
0x494ec787UL, 0x38d1c1d9UL, 0xcaa2fe8cUL, 0xd40b3698UL,
0xf581cfa6UL, 0x7ade28a5UL, 0xb78e26daUL, 0xadbfa43fUL,
0x3a9de42cUL, 0x78920d50UL, 0x5fcc9b6aUL, 0x7e466254UL,
0x8d13c2f6UL, 0xd8b8e890UL, 0x39f75e2eUL, 0xc3aff582UL,
0x5d80be9fUL, 0xd0937c69UL, 0xd52da96fUL, 0x2512b3cfUL,
0xac993bc8UL, 0x187da710UL, 0x9c636ee8UL, 0x3bbb7bdbUL,
0x267809cdUL, 0x5918f46eUL, 0x9ab701ecUL, 0x4f9aa883UL,
0x956e65e6UL, 0xffe67eaaUL, 0xbccf0821UL, 0x15e8e6efUL,
0xe79bd9baUL, 0x6f36ce4aUL, 0x9f09d4eaUL, 0xb07cd629UL,
0xa4b2af31UL, 0x3f23312aUL, 0xa59430c6UL, 0xa266c035UL,
0x4ebc3774UL, 0x82caa6fcUL, 0x90d0b0e0UL, 0xa7d81533UL,
0x04984af1UL, 0xecdaf741UL, 0xcd500e7fUL, 0x91f62f17UL,
0x4dd68d76UL, 0xefb04d43UL, 0xaa4d54ccUL, 0x9604dfe4UL,
0xd1b5e39eUL, 0x6a881b4cUL, 0x2c1fb8c1UL, 0x65517f46UL,
0x5eea049dUL, 0x8c355d01UL, 0x877473faUL, 0x0b412efbUL,
0x671d5ab3UL, 0xdbd25292UL, 0x105633e9UL, 0xd647136dUL,
0xd7618c9aUL, 0xa10c7a37UL, 0xf8148e59UL, 0x133c89ebUL,
0xa927eeceUL, 0x61c935b7UL, 0x1ce5ede1UL, 0x47b13c7aUL,
0xd2df599cUL, 0xf2733f55UL, 0x14ce7918UL, 0xc737bf73UL,
0xf7cdea53UL, 0xfdaa5b5fUL, 0x3d6f14dfUL, 0x44db8678UL,
0xaff381caUL, 0x68c43eb9UL, 0x24342c38UL, 0xa3405fc2UL,
0x1dc37216UL, 0xe2250cbcUL, 0x3c498b28UL, 0x0d9541ffUL,
0xa8017139UL, 0x0cb3de08UL, 0xb4e49cd8UL, 0x56c19064UL,
0xcb84617bUL, 0x32b670d5UL, 0x6c5c7448UL, 0xb85742d0UL
};
const SWord32 s560 = s0 ^ s4;
const SWord16 s561 = (SWord16) (s560 >> 16);
const SWord8 s562 = (SWord8) (s561 >> 8);
const SWord32 s563 = table1[s562];
const SWord32 s819 = s3 ^ s7;
const SWord16 s820 = (SWord16) (s819 >> 16);
const SWord8 s821 = (SWord8) s820;
const SWord32 s822 = table2[s821];
const SWord32 s823 = s563 ^ s822;
const SWord32 s1079 = s2 ^ s6;
const SWord16 s1080 = (SWord16) s1079;
const SWord8 s1081 = (SWord8) (s1080 >> 8);
const SWord32 s1082 = table3[s1081];
const SWord32 s1083 = s823 ^ s1082;
const SWord32 s1339 = s1 ^ s5;
const SWord16 s1340 = (SWord16) s1339;
const SWord8 s1341 = (SWord8) s1340;
const SWord32 s1342 = table4[s1341];
const SWord32 s1343 = s1083 ^ s1342;
const SWord32 s1344 = s8 ^ s1343;
const SWord16 s1345 = (SWord16) (s1344 >> 16);
const SWord8 s1346 = (SWord8) (s1345 >> 8);
const SWord32 s1347 = table1[s1346];
const SWord8 s1348 = (SWord8) (s820 >> 8);
const SWord32 s1349 = table1[s1348];
const SWord16 s1350 = (SWord16) (s1079 >> 16);
const SWord8 s1351 = (SWord8) s1350;
const SWord32 s1352 = table2[s1351];
const SWord32 s1353 = s1349 ^ s1352;
const SWord8 s1354 = (SWord8) (s1340 >> 8);
const SWord32 s1355 = table3[s1354];
const SWord32 s1356 = s1353 ^ s1355;
const SWord16 s1357 = (SWord16) s560;
const SWord8 s1358 = (SWord8) s1357;
const SWord32 s1359 = table4[s1358];
const SWord32 s1360 = s1356 ^ s1359;
const SWord32 s1361 = s11 ^ s1360;
const SWord16 s1362 = (SWord16) (s1361 >> 16);
const SWord8 s1363 = (SWord8) s1362;
const SWord32 s1364 = table2[s1363];
const SWord32 s1365 = s1347 ^ s1364;
const SWord8 s1366 = (SWord8) (s1350 >> 8);
const SWord32 s1367 = table1[s1366];
const SWord16 s1368 = (SWord16) (s1339 >> 16);
const SWord8 s1369 = (SWord8) s1368;
const SWord32 s1370 = table2[s1369];
const SWord32 s1371 = s1367 ^ s1370;
const SWord8 s1372 = (SWord8) (s1357 >> 8);
const SWord32 s1373 = table3[s1372];
const SWord32 s1374 = s1371 ^ s1373;
const SWord16 s1375 = (SWord16) s819;
const SWord8 s1376 = (SWord8) s1375;
const SWord32 s1377 = table4[s1376];
const SWord32 s1378 = s1374 ^ s1377;
const SWord32 s1379 = s10 ^ s1378;
const SWord16 s1380 = (SWord16) s1379;
const SWord8 s1381 = (SWord8) (s1380 >> 8);
const SWord32 s1382 = table3[s1381];
const SWord32 s1383 = s1365 ^ s1382;
const SWord8 s1384 = (SWord8) (s1368 >> 8);
const SWord32 s1385 = table1[s1384];
const SWord8 s1386 = (SWord8) s561;
const SWord32 s1387 = table2[s1386];
const SWord32 s1388 = s1385 ^ s1387;
const SWord8 s1389 = (SWord8) (s1375 >> 8);
const SWord32 s1390 = table3[s1389];
const SWord32 s1391 = s1388 ^ s1390;
const SWord8 s1392 = (SWord8) s1080;
const SWord32 s1393 = table4[s1392];
const SWord32 s1394 = s1391 ^ s1393;
const SWord32 s1395 = s9 ^ s1394;
const SWord16 s1396 = (SWord16) s1395;
const SWord8 s1397 = (SWord8) s1396;
const SWord32 s1398 = table4[s1397];
const SWord32 s1399 = s1383 ^ s1398;
const SWord32 s1400 = s12 ^ s1399;
const SWord16 s1401 = (SWord16) (s1400 >> 16);
const SWord8 s1402 = (SWord8) (s1401 >> 8);
const SWord32 s1403 = table1[s1402];
const SWord8 s1404 = (SWord8) (s1362 >> 8);
const SWord32 s1405 = table1[s1404];
const SWord16 s1406 = (SWord16) (s1379 >> 16);
const SWord8 s1407 = (SWord8) s1406;
const SWord32 s1408 = table2[s1407];
const SWord32 s1409 = s1405 ^ s1408;
const SWord8 s1410 = (SWord8) (s1396 >> 8);
const SWord32 s1411 = table3[s1410];
const SWord32 s1412 = s1409 ^ s1411;
const SWord16 s1413 = (SWord16) s1344;
const SWord8 s1414 = (SWord8) s1413;
const SWord32 s1415 = table4[s1414];
const SWord32 s1416 = s1412 ^ s1415;
const SWord32 s1417 = s15 ^ s1416;
const SWord16 s1418 = (SWord16) (s1417 >> 16);
const SWord8 s1419 = (SWord8) s1418;
const SWord32 s1420 = table2[s1419];
const SWord32 s1421 = s1403 ^ s1420;
const SWord8 s1422 = (SWord8) (s1406 >> 8);
const SWord32 s1423 = table1[s1422];
const SWord16 s1424 = (SWord16) (s1395 >> 16);
const SWord8 s1425 = (SWord8) s1424;
const SWord32 s1426 = table2[s1425];
const SWord32 s1427 = s1423 ^ s1426;
const SWord8 s1428 = (SWord8) (s1413 >> 8);
const SWord32 s1429 = table3[s1428];
const SWord32 s1430 = s1427 ^ s1429;
const SWord16 s1431 = (SWord16) s1361;
const SWord8 s1432 = (SWord8) s1431;
const SWord32 s1433 = table4[s1432];
const SWord32 s1434 = s1430 ^ s1433;
const SWord32 s1435 = s14 ^ s1434;
const SWord16 s1436 = (SWord16) s1435;
const SWord8 s1437 = (SWord8) (s1436 >> 8);
const SWord32 s1438 = table3[s1437];
const SWord32 s1439 = s1421 ^ s1438;
const SWord8 s1440 = (SWord8) (s1424 >> 8);
const SWord32 s1441 = table1[s1440];
const SWord8 s1442 = (SWord8) s1345;
const SWord32 s1443 = table2[s1442];
const SWord32 s1444 = s1441 ^ s1443;
const SWord8 s1445 = (SWord8) (s1431 >> 8);
const SWord32 s1446 = table3[s1445];
const SWord32 s1447 = s1444 ^ s1446;
const SWord8 s1448 = (SWord8) s1380;
const SWord32 s1449 = table4[s1448];
const SWord32 s1450 = s1447 ^ s1449;
const SWord32 s1451 = s13 ^ s1450;
const SWord16 s1452 = (SWord16) s1451;
const SWord8 s1453 = (SWord8) s1452;
const SWord32 s1454 = table4[s1453];
const SWord32 s1455 = s1439 ^ s1454;
const SWord32 s1456 = s16 ^ s1455;
const SWord16 s1457 = (SWord16) (s1456 >> 16);
const SWord8 s1458 = (SWord8) (s1457 >> 8);
const SWord32 s1459 = table1[s1458];
const SWord8 s1460 = (SWord8) (s1418 >> 8);
const SWord32 s1461 = table1[s1460];
const SWord16 s1462 = (SWord16) (s1435 >> 16);
const SWord8 s1463 = (SWord8) s1462;
const SWord32 s1464 = table2[s1463];
const SWord32 s1465 = s1461 ^ s1464;
const SWord8 s1466 = (SWord8) (s1452 >> 8);
const SWord32 s1467 = table3[s1466];
const SWord32 s1468 = s1465 ^ s1467;
const SWord16 s1469 = (SWord16) s1400;
const SWord8 s1470 = (SWord8) s1469;
const SWord32 s1471 = table4[s1470];
const SWord32 s1472 = s1468 ^ s1471;
const SWord32 s1473 = s19 ^ s1472;
const SWord16 s1474 = (SWord16) (s1473 >> 16);
const SWord8 s1475 = (SWord8) s1474;
const SWord32 s1476 = table2[s1475];
const SWord32 s1477 = s1459 ^ s1476;
const SWord8 s1478 = (SWord8) (s1462 >> 8);
const SWord32 s1479 = table1[s1478];
const SWord16 s1480 = (SWord16) (s1451 >> 16);
const SWord8 s1481 = (SWord8) s1480;
const SWord32 s1482 = table2[s1481];
const SWord32 s1483 = s1479 ^ s1482;
const SWord8 s1484 = (SWord8) (s1469 >> 8);
const SWord32 s1485 = table3[s1484];
const SWord32 s1486 = s1483 ^ s1485;
const SWord16 s1487 = (SWord16) s1417;
const SWord8 s1488 = (SWord8) s1487;
const SWord32 s1489 = table4[s1488];
const SWord32 s1490 = s1486 ^ s1489;
const SWord32 s1491 = s18 ^ s1490;
const SWord16 s1492 = (SWord16) s1491;
const SWord8 s1493 = (SWord8) (s1492 >> 8);
const SWord32 s1494 = table3[s1493];
const SWord32 s1495 = s1477 ^ s1494;
const SWord8 s1496 = (SWord8) (s1480 >> 8);
const SWord32 s1497 = table1[s1496];
const SWord8 s1498 = (SWord8) s1401;
const SWord32 s1499 = table2[s1498];
const SWord32 s1500 = s1497 ^ s1499;
const SWord8 s1501 = (SWord8) (s1487 >> 8);
const SWord32 s1502 = table3[s1501];
const SWord32 s1503 = s1500 ^ s1502;
const SWord8 s1504 = (SWord8) s1436;
const SWord32 s1505 = table4[s1504];
const SWord32 s1506 = s1503 ^ s1505;
const SWord32 s1507 = s17 ^ s1506;
const SWord16 s1508 = (SWord16) s1507;
const SWord8 s1509 = (SWord8) s1508;
const SWord32 s1510 = table4[s1509];
const SWord32 s1511 = s1495 ^ s1510;
const SWord32 s1512 = s20 ^ s1511;
const SWord16 s1513 = (SWord16) (s1512 >> 16);
const SWord8 s1514 = (SWord8) (s1513 >> 8);
const SWord32 s1515 = table1[s1514];
const SWord8 s1516 = (SWord8) (s1474 >> 8);
const SWord32 s1517 = table1[s1516];
const SWord16 s1518 = (SWord16) (s1491 >> 16);
const SWord8 s1519 = (SWord8) s1518;
const SWord32 s1520 = table2[s1519];
const SWord32 s1521 = s1517 ^ s1520;
const SWord8 s1522 = (SWord8) (s1508 >> 8);
const SWord32 s1523 = table3[s1522];
const SWord32 s1524 = s1521 ^ s1523;
const SWord16 s1525 = (SWord16) s1456;
const SWord8 s1526 = (SWord8) s1525;
const SWord32 s1527 = table4[s1526];
const SWord32 s1528 = s1524 ^ s1527;
const SWord32 s1529 = s23 ^ s1528;
const SWord16 s1530 = (SWord16) (s1529 >> 16);
const SWord8 s1531 = (SWord8) s1530;
const SWord32 s1532 = table2[s1531];
const SWord32 s1533 = s1515 ^ s1532;
const SWord8 s1534 = (SWord8) (s1518 >> 8);
const SWord32 s1535 = table1[s1534];
const SWord16 s1536 = (SWord16) (s1507 >> 16);
const SWord8 s1537 = (SWord8) s1536;
const SWord32 s1538 = table2[s1537];
const SWord32 s1539 = s1535 ^ s1538;
const SWord8 s1540 = (SWord8) (s1525 >> 8);
const SWord32 s1541 = table3[s1540];
const SWord32 s1542 = s1539 ^ s1541;
const SWord16 s1543 = (SWord16) s1473;
const SWord8 s1544 = (SWord8) s1543;
const SWord32 s1545 = table4[s1544];
const SWord32 s1546 = s1542 ^ s1545;
const SWord32 s1547 = s22 ^ s1546;
const SWord16 s1548 = (SWord16) s1547;
const SWord8 s1549 = (SWord8) (s1548 >> 8);
const SWord32 s1550 = table3[s1549];
const SWord32 s1551 = s1533 ^ s1550;
const SWord8 s1552 = (SWord8) (s1536 >> 8);
const SWord32 s1553 = table1[s1552];
const SWord8 s1554 = (SWord8) s1457;
const SWord32 s1555 = table2[s1554];
const SWord32 s1556 = s1553 ^ s1555;
const SWord8 s1557 = (SWord8) (s1543 >> 8);
const SWord32 s1558 = table3[s1557];
const SWord32 s1559 = s1556 ^ s1558;
const SWord8 s1560 = (SWord8) s1492;
const SWord32 s1561 = table4[s1560];
const SWord32 s1562 = s1559 ^ s1561;
const SWord32 s1563 = s21 ^ s1562;
const SWord16 s1564 = (SWord16) s1563;
const SWord8 s1565 = (SWord8) s1564;
const SWord32 s1566 = table4[s1565];
const SWord32 s1567 = s1551 ^ s1566;
const SWord32 s1568 = s24 ^ s1567;
const SWord16 s1569 = (SWord16) (s1568 >> 16);
const SWord8 s1570 = (SWord8) (s1569 >> 8);
const SWord32 s1571 = table1[s1570];
const SWord8 s1572 = (SWord8) (s1530 >> 8);
const SWord32 s1573 = table1[s1572];
const SWord16 s1574 = (SWord16) (s1547 >> 16);
const SWord8 s1575 = (SWord8) s1574;
const SWord32 s1576 = table2[s1575];
const SWord32 s1577 = s1573 ^ s1576;
const SWord8 s1578 = (SWord8) (s1564 >> 8);
const SWord32 s1579 = table3[s1578];
const SWord32 s1580 = s1577 ^ s1579;
const SWord16 s1581 = (SWord16) s1512;
const SWord8 s1582 = (SWord8) s1581;
const SWord32 s1583 = table4[s1582];
const SWord32 s1584 = s1580 ^ s1583;
const SWord32 s1585 = s27 ^ s1584;
const SWord16 s1586 = (SWord16) (s1585 >> 16);
const SWord8 s1587 = (SWord8) s1586;
const SWord32 s1588 = table2[s1587];
const SWord32 s1589 = s1571 ^ s1588;
const SWord8 s1590 = (SWord8) (s1574 >> 8);
const SWord32 s1591 = table1[s1590];
const SWord16 s1592 = (SWord16) (s1563 >> 16);
const SWord8 s1593 = (SWord8) s1592;
const SWord32 s1594 = table2[s1593];
const SWord32 s1595 = s1591 ^ s1594;
const SWord8 s1596 = (SWord8) (s1581 >> 8);
const SWord32 s1597 = table3[s1596];
const SWord32 s1598 = s1595 ^ s1597;
const SWord16 s1599 = (SWord16) s1529;
const SWord8 s1600 = (SWord8) s1599;
const SWord32 s1601 = table4[s1600];
const SWord32 s1602 = s1598 ^ s1601;
const SWord32 s1603 = s26 ^ s1602;
const SWord16 s1604 = (SWord16) s1603;
const SWord8 s1605 = (SWord8) (s1604 >> 8);
const SWord32 s1606 = table3[s1605];
const SWord32 s1607 = s1589 ^ s1606;
const SWord8 s1608 = (SWord8) (s1592 >> 8);
const SWord32 s1609 = table1[s1608];
const SWord8 s1610 = (SWord8) s1513;
const SWord32 s1611 = table2[s1610];
const SWord32 s1612 = s1609 ^ s1611;
const SWord8 s1613 = (SWord8) (s1599 >> 8);
const SWord32 s1614 = table3[s1613];
const SWord32 s1615 = s1612 ^ s1614;
const SWord8 s1616 = (SWord8) s1548;
const SWord32 s1617 = table4[s1616];
const SWord32 s1618 = s1615 ^ s1617;
const SWord32 s1619 = s25 ^ s1618;
const SWord16 s1620 = (SWord16) s1619;
const SWord8 s1621 = (SWord8) s1620;
const SWord32 s1622 = table4[s1621];
const SWord32 s1623 = s1607 ^ s1622;
const SWord32 s1624 = s28 ^ s1623;
const SWord16 s1625 = (SWord16) (s1624 >> 16);
const SWord8 s1626 = (SWord8) (s1625 >> 8);
const SWord32 s1627 = table1[s1626];
const SWord8 s1628 = (SWord8) (s1586 >> 8);
const SWord32 s1629 = table1[s1628];
const SWord16 s1630 = (SWord16) (s1603 >> 16);
const SWord8 s1631 = (SWord8) s1630;
const SWord32 s1632 = table2[s1631];
const SWord32 s1633 = s1629 ^ s1632;
const SWord8 s1634 = (SWord8) (s1620 >> 8);
const SWord32 s1635 = table3[s1634];
const SWord32 s1636 = s1633 ^ s1635;
const SWord16 s1637 = (SWord16) s1568;
const SWord8 s1638 = (SWord8) s1637;
const SWord32 s1639 = table4[s1638];
const SWord32 s1640 = s1636 ^ s1639;
const SWord32 s1641 = s31 ^ s1640;
const SWord16 s1642 = (SWord16) (s1641 >> 16);
const SWord8 s1643 = (SWord8) s1642;
const SWord32 s1644 = table2[s1643];
const SWord32 s1645 = s1627 ^ s1644;
const SWord8 s1646 = (SWord8) (s1630 >> 8);
const SWord32 s1647 = table1[s1646];
const SWord16 s1648 = (SWord16) (s1619 >> 16);
const SWord8 s1649 = (SWord8) s1648;
const SWord32 s1650 = table2[s1649];
const SWord32 s1651 = s1647 ^ s1650;
const SWord8 s1652 = (SWord8) (s1637 >> 8);
const SWord32 s1653 = table3[s1652];
const SWord32 s1654 = s1651 ^ s1653;
const SWord16 s1655 = (SWord16) s1585;
const SWord8 s1656 = (SWord8) s1655;
const SWord32 s1657 = table4[s1656];
const SWord32 s1658 = s1654 ^ s1657;
const SWord32 s1659 = s30 ^ s1658;
const SWord16 s1660 = (SWord16) s1659;
const SWord8 s1661 = (SWord8) (s1660 >> 8);
const SWord32 s1662 = table3[s1661];
const SWord32 s1663 = s1645 ^ s1662;
const SWord8 s1664 = (SWord8) (s1648 >> 8);
const SWord32 s1665 = table1[s1664];
const SWord8 s1666 = (SWord8) s1569;
const SWord32 s1667 = table2[s1666];
const SWord32 s1668 = s1665 ^ s1667;
const SWord8 s1669 = (SWord8) (s1655 >> 8);
const SWord32 s1670 = table3[s1669];
const SWord32 s1671 = s1668 ^ s1670;
const SWord8 s1672 = (SWord8) s1604;
const SWord32 s1673 = table4[s1672];
const SWord32 s1674 = s1671 ^ s1673;
const SWord32 s1675 = s29 ^ s1674;
const SWord16 s1676 = (SWord16) s1675;
const SWord8 s1677 = (SWord8) s1676;
const SWord32 s1678 = table4[s1677];
const SWord32 s1679 = s1663 ^ s1678;
const SWord32 s1680 = s32 ^ s1679;
const SWord16 s1681 = (SWord16) (s1680 >> 16);
const SWord8 s1682 = (SWord8) (s1681 >> 8);
const SWord32 s1683 = table1[s1682];
const SWord8 s1684 = (SWord8) (s1642 >> 8);
const SWord32 s1685 = table1[s1684];
const SWord16 s1686 = (SWord16) (s1659 >> 16);
const SWord8 s1687 = (SWord8) s1686;
const SWord32 s1688 = table2[s1687];
const SWord32 s1689 = s1685 ^ s1688;
const SWord8 s1690 = (SWord8) (s1676 >> 8);
const SWord32 s1691 = table3[s1690];
const SWord32 s1692 = s1689 ^ s1691;
const SWord16 s1693 = (SWord16) s1624;
const SWord8 s1694 = (SWord8) s1693;
const SWord32 s1695 = table4[s1694];
const SWord32 s1696 = s1692 ^ s1695;
const SWord32 s1697 = s35 ^ s1696;
const SWord16 s1698 = (SWord16) (s1697 >> 16);
const SWord8 s1699 = (SWord8) s1698;
const SWord32 s1700 = table2[s1699];
const SWord32 s1701 = s1683 ^ s1700;
const SWord8 s1702 = (SWord8) (s1686 >> 8);
const SWord32 s1703 = table1[s1702];
const SWord16 s1704 = (SWord16) (s1675 >> 16);
const SWord8 s1705 = (SWord8) s1704;
const SWord32 s1706 = table2[s1705];
const SWord32 s1707 = s1703 ^ s1706;
const SWord8 s1708 = (SWord8) (s1693 >> 8);
const SWord32 s1709 = table3[s1708];
const SWord32 s1710 = s1707 ^ s1709;
const SWord16 s1711 = (SWord16) s1641;
const SWord8 s1712 = (SWord8) s1711;
const SWord32 s1713 = table4[s1712];
const SWord32 s1714 = s1710 ^ s1713;
const SWord32 s1715 = s34 ^ s1714;
const SWord16 s1716 = (SWord16) s1715;
const SWord8 s1717 = (SWord8) (s1716 >> 8);
const SWord32 s1718 = table3[s1717];
const SWord32 s1719 = s1701 ^ s1718;
const SWord8 s1720 = (SWord8) (s1704 >> 8);
const SWord32 s1721 = table1[s1720];
const SWord8 s1722 = (SWord8) s1625;
const SWord32 s1723 = table2[s1722];
const SWord32 s1724 = s1721 ^ s1723;
const SWord8 s1725 = (SWord8) (s1711 >> 8);
const SWord32 s1726 = table3[s1725];
const SWord32 s1727 = s1724 ^ s1726;
const SWord8 s1728 = (SWord8) s1660;
const SWord32 s1729 = table4[s1728];
const SWord32 s1730 = s1727 ^ s1729;
const SWord32 s1731 = s33 ^ s1730;
const SWord16 s1732 = (SWord16) s1731;
const SWord8 s1733 = (SWord8) s1732;
const SWord32 s1734 = table4[s1733];
const SWord32 s1735 = s1719 ^ s1734;
const SWord32 s1736 = s36 ^ s1735;
const SWord16 s1737 = (SWord16) (s1736 >> 16);
const SWord8 s1738 = (SWord8) (s1737 >> 8);
const SWord32 s1739 = table1[s1738];
const SWord8 s1740 = (SWord8) (s1698 >> 8);
const SWord32 s1741 = table1[s1740];
const SWord16 s1742 = (SWord16) (s1715 >> 16);
const SWord8 s1743 = (SWord8) s1742;
const SWord32 s1744 = table2[s1743];
const SWord32 s1745 = s1741 ^ s1744;
const SWord8 s1746 = (SWord8) (s1732 >> 8);
const SWord32 s1747 = table3[s1746];
const SWord32 s1748 = s1745 ^ s1747;
const SWord16 s1749 = (SWord16) s1680;
const SWord8 s1750 = (SWord8) s1749;
const SWord32 s1751 = table4[s1750];
const SWord32 s1752 = s1748 ^ s1751;
const SWord32 s1753 = s39 ^ s1752;
const SWord16 s1754 = (SWord16) (s1753 >> 16);
const SWord8 s1755 = (SWord8) s1754;
const SWord32 s1756 = table2[s1755];
const SWord32 s1757 = s1739 ^ s1756;
const SWord8 s1758 = (SWord8) (s1742 >> 8);
const SWord32 s1759 = table1[s1758];
const SWord16 s1760 = (SWord16) (s1731 >> 16);
const SWord8 s1761 = (SWord8) s1760;
const SWord32 s1762 = table2[s1761];
const SWord32 s1763 = s1759 ^ s1762;
const SWord8 s1764 = (SWord8) (s1749 >> 8);
const SWord32 s1765 = table3[s1764];
const SWord32 s1766 = s1763 ^ s1765;
const SWord16 s1767 = (SWord16) s1697;
const SWord8 s1768 = (SWord8) s1767;
const SWord32 s1769 = table4[s1768];
const SWord32 s1770 = s1766 ^ s1769;
const SWord32 s1771 = s38 ^ s1770;
const SWord16 s1772 = (SWord16) s1771;
const SWord8 s1773 = (SWord8) (s1772 >> 8);
const SWord32 s1774 = table3[s1773];
const SWord32 s1775 = s1757 ^ s1774;
const SWord8 s1776 = (SWord8) (s1760 >> 8);
const SWord32 s1777 = table1[s1776];
const SWord8 s1778 = (SWord8) s1681;
const SWord32 s1779 = table2[s1778];
const SWord32 s1780 = s1777 ^ s1779;
const SWord8 s1781 = (SWord8) (s1767 >> 8);
const SWord32 s1782 = table3[s1781];
const SWord32 s1783 = s1780 ^ s1782;
const SWord8 s1784 = (SWord8) s1716;
const SWord32 s1785 = table4[s1784];
const SWord32 s1786 = s1783 ^ s1785;
const SWord32 s1787 = s37 ^ s1786;
const SWord16 s1788 = (SWord16) s1787;
const SWord8 s1789 = (SWord8) s1788;
const SWord32 s1790 = table4[s1789];
const SWord32 s1791 = s1775 ^ s1790;
const SWord32 s1792 = s40 ^ s1791;
const SWord16 s1793 = (SWord16) (s1792 >> 16);
const SWord8 s1794 = (SWord8) (s1793 >> 8);
const SWord8 s1795 = table0[s1794];
const SWord8 s1796 = (SWord8) (s1754 >> 8);
const SWord32 s1797 = table1[s1796];
const SWord16 s1798 = (SWord16) (s1771 >> 16);
const SWord8 s1799 = (SWord8) s1798;
const SWord32 s1800 = table2[s1799];
const SWord32 s1801 = s1797 ^ s1800;
const SWord8 s1802 = (SWord8) (s1788 >> 8);
const SWord32 s1803 = table3[s1802];
const SWord32 s1804 = s1801 ^ s1803;
const SWord16 s1805 = (SWord16) s1736;
const SWord8 s1806 = (SWord8) s1805;
const SWord32 s1807 = table4[s1806];
const SWord32 s1808 = s1804 ^ s1807;
const SWord32 s1809 = s43 ^ s1808;
const SWord16 s1810 = (SWord16) (s1809 >> 16);
const SWord8 s1811 = (SWord8) s1810;
const SWord8 s1812 = table0[s1811];
const SWord16 s1813 = (((SWord16) s1795) << 8) | ((SWord16) s1812);
const SWord8 s1814 = (SWord8) (s1798 >> 8);
const SWord32 s1815 = table1[s1814];
const SWord16 s1816 = (SWord16) (s1787 >> 16);
const SWord8 s1817 = (SWord8) s1816;
const SWord32 s1818 = table2[s1817];
const SWord32 s1819 = s1815 ^ s1818;
const SWord8 s1820 = (SWord8) (s1805 >> 8);
const SWord32 s1821 = table3[s1820];
const SWord32 s1822 = s1819 ^ s1821;
const SWord16 s1823 = (SWord16) s1753;
const SWord8 s1824 = (SWord8) s1823;
const SWord32 s1825 = table4[s1824];
const SWord32 s1826 = s1822 ^ s1825;
const SWord32 s1827 = s42 ^ s1826;
const SWord16 s1828 = (SWord16) s1827;
const SWord8 s1829 = (SWord8) (s1828 >> 8);
const SWord8 s1830 = table0[s1829];
const SWord8 s1831 = (SWord8) (s1816 >> 8);
const SWord32 s1832 = table1[s1831];
const SWord8 s1833 = (SWord8) s1737;
const SWord32 s1834 = table2[s1833];
const SWord32 s1835 = s1832 ^ s1834;
const SWord8 s1836 = (SWord8) (s1823 >> 8);
const SWord32 s1837 = table3[s1836];
const SWord32 s1838 = s1835 ^ s1837;
const SWord8 s1839 = (SWord8) s1772;
const SWord32 s1840 = table4[s1839];
const SWord32 s1841 = s1838 ^ s1840;
const SWord32 s1842 = s41 ^ s1841;
const SWord16 s1843 = (SWord16) s1842;
const SWord8 s1844 = (SWord8) s1843;
const SWord8 s1845 = table0[s1844];
const SWord16 s1846 = (((SWord16) s1830) << 8) | ((SWord16) s1845);
const SWord32 s1847 = (((SWord32) s1813) << 16) | ((SWord32) s1846);
const SWord32 s1848 = s44 ^ s1847;
const SWord16 s1849 = (SWord16) (s1842 >> 16);
const SWord8 s1850 = (SWord8) (s1849 >> 8);
const SWord8 s1851 = table0[s1850];
const SWord8 s1852 = (SWord8) s1793;
const SWord8 s1853 = table0[s1852];
const SWord16 s1854 = (((SWord16) s1851) << 8) | ((SWord16) s1853);
const SWord16 s1855 = (SWord16) s1809;
const SWord8 s1856 = (SWord8) (s1855 >> 8);
const SWord8 s1857 = table0[s1856];
const SWord8 s1858 = (SWord8) s1828;
const SWord8 s1859 = table0[s1858];
const SWord16 s1860 = (((SWord16) s1857) << 8) | ((SWord16) s1859);
const SWord32 s1861 = (((SWord32) s1854) << 16) | ((SWord32) s1860);
const SWord32 s1862 = s45 ^ s1861;
const SWord16 s1863 = (SWord16) (s1827 >> 16);
const SWord8 s1864 = (SWord8) (s1863 >> 8);
const SWord8 s1865 = table0[s1864];
const SWord8 s1866 = (SWord8) s1849;
const SWord8 s1867 = table0[s1866];
const SWord16 s1868 = (((SWord16) s1865) << 8) | ((SWord16) s1867);
const SWord16 s1869 = (SWord16) s1792;
const SWord8 s1870 = (SWord8) (s1869 >> 8);
const SWord8 s1871 = table0[s1870];
const SWord8 s1872 = (SWord8) s1855;
const SWord8 s1873 = table0[s1872];
const SWord16 s1874 = (((SWord16) s1871) << 8) | ((SWord16) s1873);
const SWord32 s1875 = (((SWord32) s1868) << 16) | ((SWord32) s1874);
const SWord32 s1876 = s46 ^ s1875;
const SWord8 s1877 = (SWord8) (s1810 >> 8);
const SWord8 s1878 = table0[s1877];
const SWord8 s1879 = (SWord8) s1863;
const SWord8 s1880 = table0[s1879];
const SWord16 s1881 = (((SWord16) s1878) << 8) | ((SWord16) s1880);
const SWord8 s1882 = (SWord8) (s1843 >> 8);
const SWord8 s1883 = table0[s1882];
const SWord8 s1884 = (SWord8) s1869;
const SWord8 s1885 = table0[s1884];
const SWord16 s1886 = (((SWord16) s1883) << 8) | ((SWord16) s1885);
const SWord32 s1887 = (((SWord32) s1881) << 16) | ((SWord32) s1886);
const SWord32 s1888 = s47 ^ s1887;
pt[0] = s1848;
pt[1] = s1862;
pt[2] = s1876;
pt[3] = s1888;
}
== END: "aes128BlockDecrypt.c" ==================
== BEGIN: "aes128Lib.h" ================
/* Header file for aes128Lib. Automatically generated by SBV. Do not edit! */
#ifndef __aes128Lib__HEADER_INCLUDED__
#define __aes128Lib__HEADER_INCLUDED__
#include <inttypes.h>
#include <stdint.h>
#include <stdbool.h>
#include <math.h>
/* The boolean type */
typedef bool SBool;
/* The float type */
typedef float SFloat;
/* The double type */
typedef double SDouble;
/* Unsigned bit-vectors */
typedef uint8_t SWord8 ;
typedef uint16_t SWord16;
typedef uint32_t SWord32;
typedef uint64_t SWord64;
/* Signed bit-vectors */
typedef int8_t SInt8 ;
typedef int16_t SInt16;
typedef int32_t SInt32;
typedef int64_t SInt64;
/* Entry point prototypes: */
void aes128KeySchedule(const SWord32 *key, SWord32 *encKS,
SWord32 *decKS);
void aes128BlockEncrypt(const SWord32 *pt, const SWord32 *xkey,
SWord32 *ct);
void aes128BlockDecrypt(const SWord32 *ct, const SWord32 *xkey,
SWord32 *pt);
#endif /* __aes128Lib__HEADER_INCLUDED__ */
== END: "aes128Lib.h" ==================
== BEGIN: "aes128Lib_driver.c" ================
/* Example driver program for aes128Lib. */
/* Automatically generated by SBV. Edit as you see fit! */
#include <inttypes.h>
#include <stdint.h>
#include <stdbool.h>
#include <math.h>
#include <stdio.h>
#include "aes128Lib.h"
void aes128KeySchedule_driver(void)
{
const SWord32 key[4] = {
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL
};
printf("Contents of input array key:\n");
int key_ctr;
for(key_ctr = 0; key_ctr < 4 ; ++key_ctr)
printf(" key[%d] = 0x%08"PRIx32"UL\n", key_ctr ,key[key_ctr]);
SWord32 encKS[44];
SWord32 decKS[44];
aes128KeySchedule(key, encKS, decKS);
printf("aes128KeySchedule(key, encKS, decKS) ->\n");
int encKS_ctr;
for(encKS_ctr = 0; encKS_ctr < 44 ; ++encKS_ctr)
printf(" encKS[%d] = 0x%08"PRIx32"UL\n", encKS_ctr ,encKS[encKS_ctr]);
int decKS_ctr;
for(decKS_ctr = 0; decKS_ctr < 44 ; ++decKS_ctr)
printf(" decKS[%d] = 0x%08"PRIx32"UL\n", decKS_ctr ,decKS[decKS_ctr]);
}
void aes128BlockEncrypt_driver(void)
{
const SWord32 pt[4] = {
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL
};
printf("Contents of input array pt:\n");
int pt_ctr;
for(pt_ctr = 0; pt_ctr < 4 ; ++pt_ctr)
printf(" pt[%d] = 0x%08"PRIx32"UL\n", pt_ctr ,pt[pt_ctr]);
const SWord32 xkey[44] = {
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL
};
printf("Contents of input array xkey:\n");
int xkey_ctr;
for(xkey_ctr = 0; xkey_ctr < 44 ; ++xkey_ctr)
printf(" xkey[%d] = 0x%08"PRIx32"UL\n", xkey_ctr ,xkey[xkey_ctr]);
SWord32 ct[4];
aes128BlockEncrypt(pt, xkey, ct);
printf("aes128BlockEncrypt(pt, xkey, ct) ->\n");
int ct_ctr;
for(ct_ctr = 0; ct_ctr < 4 ; ++ct_ctr)
printf(" ct[%d] = 0x%08"PRIx32"UL\n", ct_ctr ,ct[ct_ctr]);
}
void aes128BlockDecrypt_driver(void)
{
const SWord32 ct[4] = {
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL
};
printf("Contents of input array ct:\n");
int ct_ctr;
for(ct_ctr = 0; ct_ctr < 4 ; ++ct_ctr)
printf(" ct[%d] = 0x%08"PRIx32"UL\n", ct_ctr ,ct[ct_ctr]);
const SWord32 xkey[44] = {
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL
};
printf("Contents of input array xkey:\n");
int xkey_ctr;
for(xkey_ctr = 0; xkey_ctr < 44 ; ++xkey_ctr)
printf(" xkey[%d] = 0x%08"PRIx32"UL\n", xkey_ctr ,xkey[xkey_ctr]);
SWord32 pt[4];
aes128BlockDecrypt(ct, xkey, pt);
printf("aes128BlockDecrypt(ct, xkey, pt) ->\n");
int pt_ctr;
for(pt_ctr = 0; pt_ctr < 4 ; ++pt_ctr)
printf(" pt[%d] = 0x%08"PRIx32"UL\n", pt_ctr ,pt[pt_ctr]);
}
int main(void)
{
printf("====================================\n");
printf("** Driver run for aes128KeySchedule:\n");
printf("====================================\n");
aes128KeySchedule_driver();
printf("=====================================\n");
printf("** Driver run for aes128BlockEncrypt:\n");
printf("=====================================\n");
aes128BlockEncrypt_driver();
printf("=====================================\n");
printf("** Driver run for aes128BlockDecrypt:\n");
printf("=====================================\n");
aes128BlockDecrypt_driver();
return 0;
}
== END: "aes128Lib_driver.c" ==================
== BEGIN: "Makefile" ================
# Makefile for aes128Lib. Automatically generated by SBV. Do not edit!
# include any user-defined .mk file in the current directory.
-include *.mk
CC=gcc
CCFLAGS?=-Wall -O3 -DNDEBUG -fomit-frame-pointer
AR=ar
ARFLAGS=cr
all: aes128Lib.a aes128Lib_driver
aes128Lib.a: aes128KeySchedule.o aes128BlockEncrypt.o aes128BlockDecrypt.o
${AR} ${ARFLAGS} $@ $^
aes128Lib_driver: aes128Lib_driver.c aes128Lib.h
${CC} ${CCFLAGS} $< -o $@ aes128Lib.a
aes128KeySchedule.o: aes128KeySchedule.c aes128Lib.h
${CC} ${CCFLAGS} -c $< -o $@
aes128BlockEncrypt.o: aes128BlockEncrypt.c aes128Lib.h
${CC} ${CCFLAGS} -c $< -o $@
aes128BlockDecrypt.o: aes128BlockDecrypt.c aes128Lib.h
${CC} ${CCFLAGS} -c $< -o $@
clean:
rm -f *.o
veryclean: clean
rm -f aes128Lib.a aes128Lib_driver
== END: "Makefile" ==================