packages feed

sbv-0.9.16: SBVUnitTest/GoldFiles/aes128Enc.gold

== BEGIN: "Makefile" ================
# Makefile for aes128Enc. Automatically generated by SBV. Do not edit!

CC=gcc
CCFLAGS=-Wall -O3 -DNDEBUG -fomit-frame-pointer

all: aes128Enc_driver

aes128Enc.o: aes128Enc.c aes128Enc.h
	${CC} ${CCFLAGS} -c aes128Enc.c -o aes128Enc.o

aes128Enc_driver.o: aes128Enc_driver.c
	${CC} ${CCFLAGS} -c aes128Enc_driver.c -o aes128Enc_driver.o

aes128Enc_driver: aes128Enc.o aes128Enc_driver.o
	${CC} ${CCFLAGS} aes128Enc.o aes128Enc_driver.o -o aes128Enc_driver

clean:
	rm -f aes128Enc_driver.o aes128Enc.o

veryclean: clean
	rm -f aes128Enc_driver
== END: "Makefile" ==================
== BEGIN: "aes128Enc.h" ================
/* Header file for aes128Enc. Automatically generated by SBV. Do not edit! */

#ifndef __aes128Enc__HEADER_INCLUDED__
#define __aes128Enc__HEADER_INCLUDED__

#include <inttypes.h>
#include <stdint.h>

/* Unsigned bit-vectors */
typedef uint8_t  SBool  ;
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 prototype: */
void aes128Enc(const SWord32 s0, const SWord32 s1,
               const SWord32 s2, const SWord32 s3, const SWord32 s4,
               const SWord32 s5, const SWord32 s6, const SWord32 s7,
               SWord32 *out0, SWord32 *out1, SWord32 *out2, SWord32 *out3);

#endif /* __aes128Enc__HEADER_INCLUDED__ */
== END: "aes128Enc.h" ==================
== BEGIN: "aes128Enc_driver.c" ================
/* Example driver program for aes128Enc. */
/* Automatically generated by SBV. Edit as you see fit! */

#include <inttypes.h>
#include <stdint.h>
#include <stdio.h>
#include "aes128Enc.h"

int main(void)
{
  SWord32 out0;
  SWord32 out1;
  SWord32 out2;
  SWord32 out3;
  
  aes128Enc(0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL,
            0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL, &out0,
            &out1, &out2, &out3);
  
  printf("aes128Enc(0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL, &out0, &out1, &out2, &out3) ->\n");
  printf("  out0 = 0x%08"PRIx32"UL\n", out0);
  printf("  out1 = 0x%08"PRIx32"UL\n", out1);
  printf("  out2 = 0x%08"PRIx32"UL\n", out2);
  printf("  out3 = 0x%08"PRIx32"UL\n", out3);
  
  return 0;
}
== END: "aes128Enc_driver.c" ==================
== BEGIN: "aes128Enc.c" ================
/* File: "aes128Enc.c". Automatically generated by SBV. Do not edit! */

#include <inttypes.h>
#include <stdint.h>
#include "aes128Enc.h"

void aes128Enc(const SWord32 s0, const SWord32 s1,
               const SWord32 s2, const SWord32 s3, const SWord32 s4,
               const SWord32 s5, const SWord32 s6, const SWord32 s7,
               SWord32 *out0, SWord32 *out1, SWord32 *out2, SWord32 *out3)
{
  static const SWord8 table0[] = {
      0x63, 0x7c, 0x77, 0x7b, 0xf2, 0x6b, 0x6f, 0xc5, 0x30, 0x01, 0x67,
      0x2b, 0xfe, 0xd7, 0xab, 0x76, 0xca, 0x82, 0xc9, 0x7d, 0xfa, 0x59,
      0x47, 0xf0, 0xad, 0xd4, 0xa2, 0xaf, 0x9c, 0xa4, 0x72, 0xc0, 0xb7,
      0xfd, 0x93, 0x26, 0x36, 0x3f, 0xf7, 0xcc, 0x34, 0xa5, 0xe5, 0xf1,
      0x71, 0xd8, 0x31, 0x15, 0x04, 0xc7, 0x23, 0xc3, 0x18, 0x96, 0x05,
      0x9a, 0x07, 0x12, 0x80, 0xe2, 0xeb, 0x27, 0xb2, 0x75, 0x09, 0x83,
      0x2c, 0x1a, 0x1b, 0x6e, 0x5a, 0xa0, 0x52, 0x3b, 0xd6, 0xb3, 0x29,
      0xe3, 0x2f, 0x84, 0x53, 0xd1, 0x00, 0xed, 0x20, 0xfc, 0xb1, 0x5b,
      0x6a, 0xcb, 0xbe, 0x39, 0x4a, 0x4c, 0x58, 0xcf, 0xd0, 0xef, 0xaa,
      0xfb, 0x43, 0x4d, 0x33, 0x85, 0x45, 0xf9, 0x02, 0x7f, 0x50, 0x3c,
      0x9f, 0xa8, 0x51, 0xa3, 0x40, 0x8f, 0x92, 0x9d, 0x38, 0xf5, 0xbc,
      0xb6, 0xda, 0x21, 0x10, 0xff, 0xf3, 0xd2, 0xcd, 0x0c, 0x13, 0xec,
      0x5f, 0x97, 0x44, 0x17, 0xc4, 0xa7, 0x7e, 0x3d, 0x64, 0x5d, 0x19,
      0x73, 0x60, 0x81, 0x4f, 0xdc, 0x22, 0x2a, 0x90, 0x88, 0x46, 0xee,
      0xb8, 0x14, 0xde, 0x5e, 0x0b, 0xdb, 0xe0, 0x32, 0x3a, 0x0a, 0x49,
      0x06, 0x24, 0x5c, 0xc2, 0xd3, 0xac, 0x62, 0x91, 0x95, 0xe4, 0x79,
      0xe7, 0xc8, 0x37, 0x6d, 0x8d, 0xd5, 0x4e, 0xa9, 0x6c, 0x56, 0xf4,
      0xea, 0x65, 0x7a, 0xae, 0x08, 0xba, 0x78, 0x25, 0x2e, 0x1c, 0xa6,
      0xb4, 0xc6, 0xe8, 0xdd, 0x74, 0x1f, 0x4b, 0xbd, 0x8b, 0x8a, 0x70,
      0x3e, 0xb5, 0x66, 0x48, 0x03, 0xf6, 0x0e, 0x61, 0x35, 0x57, 0xb9,
      0x86, 0xc1, 0x1d, 0x9e, 0xe1, 0xf8, 0x98, 0x11, 0x69, 0xd9, 0x8e,
      0x94, 0x9b, 0x1e, 0x87, 0xe9, 0xce, 0x55, 0x28, 0xdf, 0x8c, 0xa1,
      0x89, 0x0d, 0xbf, 0xe6, 0x42, 0x68, 0x41, 0x99, 0x2d, 0x0f, 0xb0,
      0x54, 0xbb, 0x16
  };
  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 SWord16 s520 = (SWord16) (s4 >> 16);
  const SWord8  s521 = (SWord8) (s520 >> 8);
  const SWord8  s522 = (SWord8) s520;
  const SWord16 s523 = (((SWord16) s521) << 8) | ((SWord16) s522);
  const SWord16 s524 = (SWord16) s4;
  const SWord8  s525 = (SWord8) (s524 >> 8);
  const SWord8  s526 = (SWord8) s524;
  const SWord16 s527 = (((SWord16) s525) << 8) | ((SWord16) s526);
  const SWord32 s528 = (((SWord32) s523) << 16) | ((SWord32) s527);
  const SWord32 s529 = s0 ^ s528;
  const SWord16 s530 = (SWord16) (s529 >> 16);
  const SWord8  s531 = (SWord8) (s530 >> 8);
  const SWord32 s532 = table1[s531];
  const SWord16 s788 = (SWord16) (s5 >> 16);
  const SWord8  s789 = (SWord8) (s788 >> 8);
  const SWord8  s790 = (SWord8) s788;
  const SWord16 s791 = (((SWord16) s789) << 8) | ((SWord16) s790);
  const SWord16 s792 = (SWord16) s5;
  const SWord8  s793 = (SWord8) (s792 >> 8);
  const SWord8  s794 = (SWord8) s792;
  const SWord16 s795 = (((SWord16) s793) << 8) | ((SWord16) s794);
  const SWord32 s796 = (((SWord32) s791) << 16) | ((SWord32) s795);
  const SWord32 s797 = s1 ^ s796;
  const SWord16 s798 = (SWord16) (s797 >> 16);
  const SWord8  s799 = (SWord8) s798;
  const SWord32 s800 = table2[s799];
  const SWord32 s801 = s532 ^ s800;
  const SWord16 s1057 = (SWord16) (s6 >> 16);
  const SWord8  s1058 = (SWord8) (s1057 >> 8);
  const SWord8  s1059 = (SWord8) s1057;
  const SWord16 s1060 = (((SWord16) s1058) << 8) | ((SWord16) s1059);
  const SWord16 s1061 = (SWord16) s6;
  const SWord8  s1062 = (SWord8) (s1061 >> 8);
  const SWord8  s1063 = (SWord8) s1061;
  const SWord16 s1064 = (((SWord16) s1062) << 8) | ((SWord16) s1063);
  const SWord32 s1065 = (((SWord32) s1060) << 16) | ((SWord32) s1064);
  const SWord32 s1066 = s2 ^ s1065;
  const SWord16 s1067 = (SWord16) s1066;
  const SWord8  s1068 = (SWord8) (s1067 >> 8);
  const SWord32 s1069 = table3[s1068];
  const SWord32 s1070 = s801 ^ s1069;
  const SWord16 s1326 = (SWord16) (s7 >> 16);
  const SWord8  s1327 = (SWord8) (s1326 >> 8);
  const SWord8  s1328 = (SWord8) s1326;
  const SWord16 s1329 = (((SWord16) s1327) << 8) | ((SWord16) s1328);
  const SWord16 s1330 = (SWord16) s7;
  const SWord8  s1331 = (SWord8) (s1330 >> 8);
  const SWord8  s1332 = (SWord8) s1330;
  const SWord16 s1333 = (((SWord16) s1331) << 8) | ((SWord16) s1332);
  const SWord32 s1334 = (((SWord32) s1329) << 16) | ((SWord32) s1333);
  const SWord32 s1335 = s3 ^ s1334;
  const SWord16 s1336 = (SWord16) s1335;
  const SWord8  s1337 = (SWord8) s1336;
  const SWord32 s1338 = table4[s1337];
  const SWord32 s1339 = s1070 ^ s1338;
  const SWord8  s1340 = table0[s1328];
  const SWord8  s1341 = 0x01 ^ s1340;
  const SWord8  s1342 = s521 ^ s1341;
  const SWord8  s1343 = table0[s1331];
  const SWord8  s1344 = s522 ^ s1343;
  const SWord16 s1345 = (((SWord16) s1342) << 8) | ((SWord16) s1344);
  const SWord8  s1346 = table0[s1332];
  const SWord8  s1347 = s525 ^ s1346;
  const SWord8  s1348 = table0[s1327];
  const SWord8  s1349 = s526 ^ s1348;
  const SWord16 s1350 = (((SWord16) s1347) << 8) | ((SWord16) s1349);
  const SWord32 s1351 = (((SWord32) s1345) << 16) | ((SWord32) s1350);
  const SWord32 s1352 = s1339 ^ s1351;
  const SWord16 s1353 = (SWord16) (s1352 >> 16);
  const SWord8  s1354 = (SWord8) (s1353 >> 8);
  const SWord32 s1355 = table1[s1354];
  const SWord8  s1356 = (SWord8) (s798 >> 8);
  const SWord32 s1357 = table1[s1356];
  const SWord16 s1358 = (SWord16) (s1066 >> 16);
  const SWord8  s1359 = (SWord8) s1358;
  const SWord32 s1360 = table2[s1359];
  const SWord32 s1361 = s1357 ^ s1360;
  const SWord8  s1362 = (SWord8) (s1336 >> 8);
  const SWord32 s1363 = table3[s1362];
  const SWord32 s1364 = s1361 ^ s1363;
  const SWord16 s1365 = (SWord16) s529;
  const SWord8  s1366 = (SWord8) s1365;
  const SWord32 s1367 = table4[s1366];
  const SWord32 s1368 = s1364 ^ s1367;
  const SWord8  s1369 = s789 ^ s1342;
  const SWord8  s1370 = s790 ^ s1344;
  const SWord16 s1371 = (((SWord16) s1369) << 8) | ((SWord16) s1370);
  const SWord8  s1372 = s793 ^ s1347;
  const SWord8  s1373 = s794 ^ s1349;
  const SWord16 s1374 = (((SWord16) s1372) << 8) | ((SWord16) s1373);
  const SWord32 s1375 = (((SWord32) s1371) << 16) | ((SWord32) s1374);
  const SWord32 s1376 = s1368 ^ s1375;
  const SWord16 s1377 = (SWord16) (s1376 >> 16);
  const SWord8  s1378 = (SWord8) s1377;
  const SWord32 s1379 = table2[s1378];
  const SWord32 s1380 = s1355 ^ s1379;
  const SWord8  s1381 = (SWord8) (s1358 >> 8);
  const SWord32 s1382 = table1[s1381];
  const SWord16 s1383 = (SWord16) (s1335 >> 16);
  const SWord8  s1384 = (SWord8) s1383;
  const SWord32 s1385 = table2[s1384];
  const SWord32 s1386 = s1382 ^ s1385;
  const SWord8  s1387 = (SWord8) (s1365 >> 8);
  const SWord32 s1388 = table3[s1387];
  const SWord32 s1389 = s1386 ^ s1388;
  const SWord16 s1390 = (SWord16) s797;
  const SWord8  s1391 = (SWord8) s1390;
  const SWord32 s1392 = table4[s1391];
  const SWord32 s1393 = s1389 ^ s1392;
  const SWord8  s1394 = s1058 ^ s1369;
  const SWord8  s1395 = s1059 ^ s1370;
  const SWord16 s1396 = (((SWord16) s1394) << 8) | ((SWord16) s1395);
  const SWord8  s1397 = s1062 ^ s1372;
  const SWord8  s1398 = s1063 ^ s1373;
  const SWord16 s1399 = (((SWord16) s1397) << 8) | ((SWord16) s1398);
  const SWord32 s1400 = (((SWord32) s1396) << 16) | ((SWord32) s1399);
  const SWord32 s1401 = s1393 ^ s1400;
  const SWord16 s1402 = (SWord16) s1401;
  const SWord8  s1403 = (SWord8) (s1402 >> 8);
  const SWord32 s1404 = table3[s1403];
  const SWord32 s1405 = s1380 ^ s1404;
  const SWord8  s1406 = (SWord8) (s1383 >> 8);
  const SWord32 s1407 = table1[s1406];
  const SWord8  s1408 = (SWord8) s530;
  const SWord32 s1409 = table2[s1408];
  const SWord32 s1410 = s1407 ^ s1409;
  const SWord8  s1411 = (SWord8) (s1390 >> 8);
  const SWord32 s1412 = table3[s1411];
  const SWord32 s1413 = s1410 ^ s1412;
  const SWord8  s1414 = (SWord8) s1067;
  const SWord32 s1415 = table4[s1414];
  const SWord32 s1416 = s1413 ^ s1415;
  const SWord8  s1417 = s1327 ^ s1394;
  const SWord8  s1418 = s1328 ^ s1395;
  const SWord16 s1419 = (((SWord16) s1417) << 8) | ((SWord16) s1418);
  const SWord8  s1420 = s1331 ^ s1397;
  const SWord8  s1421 = s1332 ^ s1398;
  const SWord16 s1422 = (((SWord16) s1420) << 8) | ((SWord16) s1421);
  const SWord32 s1423 = (((SWord32) s1419) << 16) | ((SWord32) s1422);
  const SWord32 s1424 = s1416 ^ s1423;
  const SWord16 s1425 = (SWord16) s1424;
  const SWord8  s1426 = (SWord8) s1425;
  const SWord32 s1427 = table4[s1426];
  const SWord32 s1428 = s1405 ^ s1427;
  const SWord8  s1429 = table0[s1418];
  const SWord8  s1430 = 0x02 ^ s1429;
  const SWord8  s1431 = s1342 ^ s1430;
  const SWord8  s1432 = table0[s1420];
  const SWord8  s1433 = s1344 ^ s1432;
  const SWord16 s1434 = (((SWord16) s1431) << 8) | ((SWord16) s1433);
  const SWord8  s1435 = table0[s1421];
  const SWord8  s1436 = s1347 ^ s1435;
  const SWord8  s1437 = table0[s1417];
  const SWord8  s1438 = s1349 ^ s1437;
  const SWord16 s1439 = (((SWord16) s1436) << 8) | ((SWord16) s1438);
  const SWord32 s1440 = (((SWord32) s1434) << 16) | ((SWord32) s1439);
  const SWord32 s1441 = s1428 ^ s1440;
  const SWord16 s1442 = (SWord16) (s1441 >> 16);
  const SWord8  s1443 = (SWord8) (s1442 >> 8);
  const SWord32 s1444 = table1[s1443];
  const SWord8  s1445 = (SWord8) (s1377 >> 8);
  const SWord32 s1446 = table1[s1445];
  const SWord16 s1447 = (SWord16) (s1401 >> 16);
  const SWord8  s1448 = (SWord8) s1447;
  const SWord32 s1449 = table2[s1448];
  const SWord32 s1450 = s1446 ^ s1449;
  const SWord8  s1451 = (SWord8) (s1425 >> 8);
  const SWord32 s1452 = table3[s1451];
  const SWord32 s1453 = s1450 ^ s1452;
  const SWord16 s1454 = (SWord16) s1352;
  const SWord8  s1455 = (SWord8) s1454;
  const SWord32 s1456 = table4[s1455];
  const SWord32 s1457 = s1453 ^ s1456;
  const SWord8  s1458 = s1369 ^ s1431;
  const SWord8  s1459 = s1370 ^ s1433;
  const SWord16 s1460 = (((SWord16) s1458) << 8) | ((SWord16) s1459);
  const SWord8  s1461 = s1372 ^ s1436;
  const SWord8  s1462 = s1373 ^ s1438;
  const SWord16 s1463 = (((SWord16) s1461) << 8) | ((SWord16) s1462);
  const SWord32 s1464 = (((SWord32) s1460) << 16) | ((SWord32) s1463);
  const SWord32 s1465 = s1457 ^ s1464;
  const SWord16 s1466 = (SWord16) (s1465 >> 16);
  const SWord8  s1467 = (SWord8) s1466;
  const SWord32 s1468 = table2[s1467];
  const SWord32 s1469 = s1444 ^ s1468;
  const SWord8  s1470 = (SWord8) (s1447 >> 8);
  const SWord32 s1471 = table1[s1470];
  const SWord16 s1472 = (SWord16) (s1424 >> 16);
  const SWord8  s1473 = (SWord8) s1472;
  const SWord32 s1474 = table2[s1473];
  const SWord32 s1475 = s1471 ^ s1474;
  const SWord8  s1476 = (SWord8) (s1454 >> 8);
  const SWord32 s1477 = table3[s1476];
  const SWord32 s1478 = s1475 ^ s1477;
  const SWord16 s1479 = (SWord16) s1376;
  const SWord8  s1480 = (SWord8) s1479;
  const SWord32 s1481 = table4[s1480];
  const SWord32 s1482 = s1478 ^ s1481;
  const SWord8  s1483 = s1394 ^ s1458;
  const SWord8  s1484 = s1395 ^ s1459;
  const SWord16 s1485 = (((SWord16) s1483) << 8) | ((SWord16) s1484);
  const SWord8  s1486 = s1397 ^ s1461;
  const SWord8  s1487 = s1398 ^ s1462;
  const SWord16 s1488 = (((SWord16) s1486) << 8) | ((SWord16) s1487);
  const SWord32 s1489 = (((SWord32) s1485) << 16) | ((SWord32) s1488);
  const SWord32 s1490 = s1482 ^ s1489;
  const SWord16 s1491 = (SWord16) s1490;
  const SWord8  s1492 = (SWord8) (s1491 >> 8);
  const SWord32 s1493 = table3[s1492];
  const SWord32 s1494 = s1469 ^ s1493;
  const SWord8  s1495 = (SWord8) (s1472 >> 8);
  const SWord32 s1496 = table1[s1495];
  const SWord8  s1497 = (SWord8) s1353;
  const SWord32 s1498 = table2[s1497];
  const SWord32 s1499 = s1496 ^ s1498;
  const SWord8  s1500 = (SWord8) (s1479 >> 8);
  const SWord32 s1501 = table3[s1500];
  const SWord32 s1502 = s1499 ^ s1501;
  const SWord8  s1503 = (SWord8) s1402;
  const SWord32 s1504 = table4[s1503];
  const SWord32 s1505 = s1502 ^ s1504;
  const SWord8  s1506 = s1417 ^ s1483;
  const SWord8  s1507 = s1418 ^ s1484;
  const SWord16 s1508 = (((SWord16) s1506) << 8) | ((SWord16) s1507);
  const SWord8  s1509 = s1420 ^ s1486;
  const SWord8  s1510 = s1421 ^ s1487;
  const SWord16 s1511 = (((SWord16) s1509) << 8) | ((SWord16) s1510);
  const SWord32 s1512 = (((SWord32) s1508) << 16) | ((SWord32) s1511);
  const SWord32 s1513 = s1505 ^ s1512;
  const SWord16 s1514 = (SWord16) s1513;
  const SWord8  s1515 = (SWord8) s1514;
  const SWord32 s1516 = table4[s1515];
  const SWord32 s1517 = s1494 ^ s1516;
  const SWord8  s1518 = table0[s1507];
  const SWord8  s1519 = 0x04 ^ s1518;
  const SWord8  s1520 = s1431 ^ s1519;
  const SWord8  s1521 = table0[s1509];
  const SWord8  s1522 = s1433 ^ s1521;
  const SWord16 s1523 = (((SWord16) s1520) << 8) | ((SWord16) s1522);
  const SWord8  s1524 = table0[s1510];
  const SWord8  s1525 = s1436 ^ s1524;
  const SWord8  s1526 = table0[s1506];
  const SWord8  s1527 = s1438 ^ s1526;
  const SWord16 s1528 = (((SWord16) s1525) << 8) | ((SWord16) s1527);
  const SWord32 s1529 = (((SWord32) s1523) << 16) | ((SWord32) s1528);
  const SWord32 s1530 = s1517 ^ s1529;
  const SWord16 s1531 = (SWord16) (s1530 >> 16);
  const SWord8  s1532 = (SWord8) (s1531 >> 8);
  const SWord32 s1533 = table1[s1532];
  const SWord8  s1534 = (SWord8) (s1466 >> 8);
  const SWord32 s1535 = table1[s1534];
  const SWord16 s1536 = (SWord16) (s1490 >> 16);
  const SWord8  s1537 = (SWord8) s1536;
  const SWord32 s1538 = table2[s1537];
  const SWord32 s1539 = s1535 ^ s1538;
  const SWord8  s1540 = (SWord8) (s1514 >> 8);
  const SWord32 s1541 = table3[s1540];
  const SWord32 s1542 = s1539 ^ s1541;
  const SWord16 s1543 = (SWord16) s1441;
  const SWord8  s1544 = (SWord8) s1543;
  const SWord32 s1545 = table4[s1544];
  const SWord32 s1546 = s1542 ^ s1545;
  const SWord8  s1547 = s1458 ^ s1520;
  const SWord8  s1548 = s1459 ^ s1522;
  const SWord16 s1549 = (((SWord16) s1547) << 8) | ((SWord16) s1548);
  const SWord8  s1550 = s1461 ^ s1525;
  const SWord8  s1551 = s1462 ^ s1527;
  const SWord16 s1552 = (((SWord16) s1550) << 8) | ((SWord16) s1551);
  const SWord32 s1553 = (((SWord32) s1549) << 16) | ((SWord32) s1552);
  const SWord32 s1554 = s1546 ^ s1553;
  const SWord16 s1555 = (SWord16) (s1554 >> 16);
  const SWord8  s1556 = (SWord8) s1555;
  const SWord32 s1557 = table2[s1556];
  const SWord32 s1558 = s1533 ^ s1557;
  const SWord8  s1559 = (SWord8) (s1536 >> 8);
  const SWord32 s1560 = table1[s1559];
  const SWord16 s1561 = (SWord16) (s1513 >> 16);
  const SWord8  s1562 = (SWord8) s1561;
  const SWord32 s1563 = table2[s1562];
  const SWord32 s1564 = s1560 ^ s1563;
  const SWord8  s1565 = (SWord8) (s1543 >> 8);
  const SWord32 s1566 = table3[s1565];
  const SWord32 s1567 = s1564 ^ s1566;
  const SWord16 s1568 = (SWord16) s1465;
  const SWord8  s1569 = (SWord8) s1568;
  const SWord32 s1570 = table4[s1569];
  const SWord32 s1571 = s1567 ^ s1570;
  const SWord8  s1572 = s1483 ^ s1547;
  const SWord8  s1573 = s1484 ^ s1548;
  const SWord16 s1574 = (((SWord16) s1572) << 8) | ((SWord16) s1573);
  const SWord8  s1575 = s1486 ^ s1550;
  const SWord8  s1576 = s1487 ^ s1551;
  const SWord16 s1577 = (((SWord16) s1575) << 8) | ((SWord16) s1576);
  const SWord32 s1578 = (((SWord32) s1574) << 16) | ((SWord32) s1577);
  const SWord32 s1579 = s1571 ^ s1578;
  const SWord16 s1580 = (SWord16) s1579;
  const SWord8  s1581 = (SWord8) (s1580 >> 8);
  const SWord32 s1582 = table3[s1581];
  const SWord32 s1583 = s1558 ^ s1582;
  const SWord8  s1584 = (SWord8) (s1561 >> 8);
  const SWord32 s1585 = table1[s1584];
  const SWord8  s1586 = (SWord8) s1442;
  const SWord32 s1587 = table2[s1586];
  const SWord32 s1588 = s1585 ^ s1587;
  const SWord8  s1589 = (SWord8) (s1568 >> 8);
  const SWord32 s1590 = table3[s1589];
  const SWord32 s1591 = s1588 ^ s1590;
  const SWord8  s1592 = (SWord8) s1491;
  const SWord32 s1593 = table4[s1592];
  const SWord32 s1594 = s1591 ^ s1593;
  const SWord8  s1595 = s1506 ^ s1572;
  const SWord8  s1596 = s1507 ^ s1573;
  const SWord16 s1597 = (((SWord16) s1595) << 8) | ((SWord16) s1596);
  const SWord8  s1598 = s1509 ^ s1575;
  const SWord8  s1599 = s1510 ^ s1576;
  const SWord16 s1600 = (((SWord16) s1598) << 8) | ((SWord16) s1599);
  const SWord32 s1601 = (((SWord32) s1597) << 16) | ((SWord32) s1600);
  const SWord32 s1602 = s1594 ^ s1601;
  const SWord16 s1603 = (SWord16) s1602;
  const SWord8  s1604 = (SWord8) s1603;
  const SWord32 s1605 = table4[s1604];
  const SWord32 s1606 = s1583 ^ s1605;
  const SWord8  s1607 = table0[s1596];
  const SWord8  s1608 = 0x08 ^ s1607;
  const SWord8  s1609 = s1520 ^ s1608;
  const SWord8  s1610 = table0[s1598];
  const SWord8  s1611 = s1522 ^ s1610;
  const SWord16 s1612 = (((SWord16) s1609) << 8) | ((SWord16) s1611);
  const SWord8  s1613 = table0[s1599];
  const SWord8  s1614 = s1525 ^ s1613;
  const SWord8  s1615 = table0[s1595];
  const SWord8  s1616 = s1527 ^ s1615;
  const SWord16 s1617 = (((SWord16) s1614) << 8) | ((SWord16) s1616);
  const SWord32 s1618 = (((SWord32) s1612) << 16) | ((SWord32) s1617);
  const SWord32 s1619 = s1606 ^ s1618;
  const SWord16 s1620 = (SWord16) (s1619 >> 16);
  const SWord8  s1621 = (SWord8) (s1620 >> 8);
  const SWord32 s1622 = table1[s1621];
  const SWord8  s1623 = (SWord8) (s1555 >> 8);
  const SWord32 s1624 = table1[s1623];
  const SWord16 s1625 = (SWord16) (s1579 >> 16);
  const SWord8  s1626 = (SWord8) s1625;
  const SWord32 s1627 = table2[s1626];
  const SWord32 s1628 = s1624 ^ s1627;
  const SWord8  s1629 = (SWord8) (s1603 >> 8);
  const SWord32 s1630 = table3[s1629];
  const SWord32 s1631 = s1628 ^ s1630;
  const SWord16 s1632 = (SWord16) s1530;
  const SWord8  s1633 = (SWord8) s1632;
  const SWord32 s1634 = table4[s1633];
  const SWord32 s1635 = s1631 ^ s1634;
  const SWord8  s1636 = s1547 ^ s1609;
  const SWord8  s1637 = s1548 ^ s1611;
  const SWord16 s1638 = (((SWord16) s1636) << 8) | ((SWord16) s1637);
  const SWord8  s1639 = s1550 ^ s1614;
  const SWord8  s1640 = s1551 ^ s1616;
  const SWord16 s1641 = (((SWord16) s1639) << 8) | ((SWord16) s1640);
  const SWord32 s1642 = (((SWord32) s1638) << 16) | ((SWord32) s1641);
  const SWord32 s1643 = s1635 ^ s1642;
  const SWord16 s1644 = (SWord16) (s1643 >> 16);
  const SWord8  s1645 = (SWord8) s1644;
  const SWord32 s1646 = table2[s1645];
  const SWord32 s1647 = s1622 ^ s1646;
  const SWord8  s1648 = (SWord8) (s1625 >> 8);
  const SWord32 s1649 = table1[s1648];
  const SWord16 s1650 = (SWord16) (s1602 >> 16);
  const SWord8  s1651 = (SWord8) s1650;
  const SWord32 s1652 = table2[s1651];
  const SWord32 s1653 = s1649 ^ s1652;
  const SWord8  s1654 = (SWord8) (s1632 >> 8);
  const SWord32 s1655 = table3[s1654];
  const SWord32 s1656 = s1653 ^ s1655;
  const SWord16 s1657 = (SWord16) s1554;
  const SWord8  s1658 = (SWord8) s1657;
  const SWord32 s1659 = table4[s1658];
  const SWord32 s1660 = s1656 ^ s1659;
  const SWord8  s1661 = s1572 ^ s1636;
  const SWord8  s1662 = s1573 ^ s1637;
  const SWord16 s1663 = (((SWord16) s1661) << 8) | ((SWord16) s1662);
  const SWord8  s1664 = s1575 ^ s1639;
  const SWord8  s1665 = s1576 ^ s1640;
  const SWord16 s1666 = (((SWord16) s1664) << 8) | ((SWord16) s1665);
  const SWord32 s1667 = (((SWord32) s1663) << 16) | ((SWord32) s1666);
  const SWord32 s1668 = s1660 ^ s1667;
  const SWord16 s1669 = (SWord16) s1668;
  const SWord8  s1670 = (SWord8) (s1669 >> 8);
  const SWord32 s1671 = table3[s1670];
  const SWord32 s1672 = s1647 ^ s1671;
  const SWord8  s1673 = (SWord8) (s1650 >> 8);
  const SWord32 s1674 = table1[s1673];
  const SWord8  s1675 = (SWord8) s1531;
  const SWord32 s1676 = table2[s1675];
  const SWord32 s1677 = s1674 ^ s1676;
  const SWord8  s1678 = (SWord8) (s1657 >> 8);
  const SWord32 s1679 = table3[s1678];
  const SWord32 s1680 = s1677 ^ s1679;
  const SWord8  s1681 = (SWord8) s1580;
  const SWord32 s1682 = table4[s1681];
  const SWord32 s1683 = s1680 ^ s1682;
  const SWord8  s1684 = s1595 ^ s1661;
  const SWord8  s1685 = s1596 ^ s1662;
  const SWord16 s1686 = (((SWord16) s1684) << 8) | ((SWord16) s1685);
  const SWord8  s1687 = s1598 ^ s1664;
  const SWord8  s1688 = s1599 ^ s1665;
  const SWord16 s1689 = (((SWord16) s1687) << 8) | ((SWord16) s1688);
  const SWord32 s1690 = (((SWord32) s1686) << 16) | ((SWord32) s1689);
  const SWord32 s1691 = s1683 ^ s1690;
  const SWord16 s1692 = (SWord16) s1691;
  const SWord8  s1693 = (SWord8) s1692;
  const SWord32 s1694 = table4[s1693];
  const SWord32 s1695 = s1672 ^ s1694;
  const SWord8  s1696 = table0[s1685];
  const SWord8  s1697 = 0x10 ^ s1696;
  const SWord8  s1698 = s1609 ^ s1697;
  const SWord8  s1699 = table0[s1687];
  const SWord8  s1700 = s1611 ^ s1699;
  const SWord16 s1701 = (((SWord16) s1698) << 8) | ((SWord16) s1700);
  const SWord8  s1702 = table0[s1688];
  const SWord8  s1703 = s1614 ^ s1702;
  const SWord8  s1704 = table0[s1684];
  const SWord8  s1705 = s1616 ^ s1704;
  const SWord16 s1706 = (((SWord16) s1703) << 8) | ((SWord16) s1705);
  const SWord32 s1707 = (((SWord32) s1701) << 16) | ((SWord32) s1706);
  const SWord32 s1708 = s1695 ^ s1707;
  const SWord16 s1709 = (SWord16) (s1708 >> 16);
  const SWord8  s1710 = (SWord8) (s1709 >> 8);
  const SWord32 s1711 = table1[s1710];
  const SWord8  s1712 = (SWord8) (s1644 >> 8);
  const SWord32 s1713 = table1[s1712];
  const SWord16 s1714 = (SWord16) (s1668 >> 16);
  const SWord8  s1715 = (SWord8) s1714;
  const SWord32 s1716 = table2[s1715];
  const SWord32 s1717 = s1713 ^ s1716;
  const SWord8  s1718 = (SWord8) (s1692 >> 8);
  const SWord32 s1719 = table3[s1718];
  const SWord32 s1720 = s1717 ^ s1719;
  const SWord16 s1721 = (SWord16) s1619;
  const SWord8  s1722 = (SWord8) s1721;
  const SWord32 s1723 = table4[s1722];
  const SWord32 s1724 = s1720 ^ s1723;
  const SWord8  s1725 = s1636 ^ s1698;
  const SWord8  s1726 = s1637 ^ s1700;
  const SWord16 s1727 = (((SWord16) s1725) << 8) | ((SWord16) s1726);
  const SWord8  s1728 = s1639 ^ s1703;
  const SWord8  s1729 = s1640 ^ s1705;
  const SWord16 s1730 = (((SWord16) s1728) << 8) | ((SWord16) s1729);
  const SWord32 s1731 = (((SWord32) s1727) << 16) | ((SWord32) s1730);
  const SWord32 s1732 = s1724 ^ s1731;
  const SWord16 s1733 = (SWord16) (s1732 >> 16);
  const SWord8  s1734 = (SWord8) s1733;
  const SWord32 s1735 = table2[s1734];
  const SWord32 s1736 = s1711 ^ s1735;
  const SWord8  s1737 = (SWord8) (s1714 >> 8);
  const SWord32 s1738 = table1[s1737];
  const SWord16 s1739 = (SWord16) (s1691 >> 16);
  const SWord8  s1740 = (SWord8) s1739;
  const SWord32 s1741 = table2[s1740];
  const SWord32 s1742 = s1738 ^ s1741;
  const SWord8  s1743 = (SWord8) (s1721 >> 8);
  const SWord32 s1744 = table3[s1743];
  const SWord32 s1745 = s1742 ^ s1744;
  const SWord16 s1746 = (SWord16) s1643;
  const SWord8  s1747 = (SWord8) s1746;
  const SWord32 s1748 = table4[s1747];
  const SWord32 s1749 = s1745 ^ s1748;
  const SWord8  s1750 = s1661 ^ s1725;
  const SWord8  s1751 = s1662 ^ s1726;
  const SWord16 s1752 = (((SWord16) s1750) << 8) | ((SWord16) s1751);
  const SWord8  s1753 = s1664 ^ s1728;
  const SWord8  s1754 = s1665 ^ s1729;
  const SWord16 s1755 = (((SWord16) s1753) << 8) | ((SWord16) s1754);
  const SWord32 s1756 = (((SWord32) s1752) << 16) | ((SWord32) s1755);
  const SWord32 s1757 = s1749 ^ s1756;
  const SWord16 s1758 = (SWord16) s1757;
  const SWord8  s1759 = (SWord8) (s1758 >> 8);
  const SWord32 s1760 = table3[s1759];
  const SWord32 s1761 = s1736 ^ s1760;
  const SWord8  s1762 = (SWord8) (s1739 >> 8);
  const SWord32 s1763 = table1[s1762];
  const SWord8  s1764 = (SWord8) s1620;
  const SWord32 s1765 = table2[s1764];
  const SWord32 s1766 = s1763 ^ s1765;
  const SWord8  s1767 = (SWord8) (s1746 >> 8);
  const SWord32 s1768 = table3[s1767];
  const SWord32 s1769 = s1766 ^ s1768;
  const SWord8  s1770 = (SWord8) s1669;
  const SWord32 s1771 = table4[s1770];
  const SWord32 s1772 = s1769 ^ s1771;
  const SWord8  s1773 = s1684 ^ s1750;
  const SWord8  s1774 = s1685 ^ s1751;
  const SWord16 s1775 = (((SWord16) s1773) << 8) | ((SWord16) s1774);
  const SWord8  s1776 = s1687 ^ s1753;
  const SWord8  s1777 = s1688 ^ s1754;
  const SWord16 s1778 = (((SWord16) s1776) << 8) | ((SWord16) s1777);
  const SWord32 s1779 = (((SWord32) s1775) << 16) | ((SWord32) s1778);
  const SWord32 s1780 = s1772 ^ s1779;
  const SWord16 s1781 = (SWord16) s1780;
  const SWord8  s1782 = (SWord8) s1781;
  const SWord32 s1783 = table4[s1782];
  const SWord32 s1784 = s1761 ^ s1783;
  const SWord8  s1785 = table0[s1774];
  const SWord8  s1786 = 0x20 ^ s1785;
  const SWord8  s1787 = s1698 ^ s1786;
  const SWord8  s1788 = table0[s1776];
  const SWord8  s1789 = s1700 ^ s1788;
  const SWord16 s1790 = (((SWord16) s1787) << 8) | ((SWord16) s1789);
  const SWord8  s1791 = table0[s1777];
  const SWord8  s1792 = s1703 ^ s1791;
  const SWord8  s1793 = table0[s1773];
  const SWord8  s1794 = s1705 ^ s1793;
  const SWord16 s1795 = (((SWord16) s1792) << 8) | ((SWord16) s1794);
  const SWord32 s1796 = (((SWord32) s1790) << 16) | ((SWord32) s1795);
  const SWord32 s1797 = s1784 ^ s1796;
  const SWord16 s1798 = (SWord16) (s1797 >> 16);
  const SWord8  s1799 = (SWord8) (s1798 >> 8);
  const SWord32 s1800 = table1[s1799];
  const SWord8  s1801 = (SWord8) (s1733 >> 8);
  const SWord32 s1802 = table1[s1801];
  const SWord16 s1803 = (SWord16) (s1757 >> 16);
  const SWord8  s1804 = (SWord8) s1803;
  const SWord32 s1805 = table2[s1804];
  const SWord32 s1806 = s1802 ^ s1805;
  const SWord8  s1807 = (SWord8) (s1781 >> 8);
  const SWord32 s1808 = table3[s1807];
  const SWord32 s1809 = s1806 ^ s1808;
  const SWord16 s1810 = (SWord16) s1708;
  const SWord8  s1811 = (SWord8) s1810;
  const SWord32 s1812 = table4[s1811];
  const SWord32 s1813 = s1809 ^ s1812;
  const SWord8  s1814 = s1725 ^ s1787;
  const SWord8  s1815 = s1726 ^ s1789;
  const SWord16 s1816 = (((SWord16) s1814) << 8) | ((SWord16) s1815);
  const SWord8  s1817 = s1728 ^ s1792;
  const SWord8  s1818 = s1729 ^ s1794;
  const SWord16 s1819 = (((SWord16) s1817) << 8) | ((SWord16) s1818);
  const SWord32 s1820 = (((SWord32) s1816) << 16) | ((SWord32) s1819);
  const SWord32 s1821 = s1813 ^ s1820;
  const SWord16 s1822 = (SWord16) (s1821 >> 16);
  const SWord8  s1823 = (SWord8) s1822;
  const SWord32 s1824 = table2[s1823];
  const SWord32 s1825 = s1800 ^ s1824;
  const SWord8  s1826 = (SWord8) (s1803 >> 8);
  const SWord32 s1827 = table1[s1826];
  const SWord16 s1828 = (SWord16) (s1780 >> 16);
  const SWord8  s1829 = (SWord8) s1828;
  const SWord32 s1830 = table2[s1829];
  const SWord32 s1831 = s1827 ^ s1830;
  const SWord8  s1832 = (SWord8) (s1810 >> 8);
  const SWord32 s1833 = table3[s1832];
  const SWord32 s1834 = s1831 ^ s1833;
  const SWord16 s1835 = (SWord16) s1732;
  const SWord8  s1836 = (SWord8) s1835;
  const SWord32 s1837 = table4[s1836];
  const SWord32 s1838 = s1834 ^ s1837;
  const SWord8  s1839 = s1750 ^ s1814;
  const SWord8  s1840 = s1751 ^ s1815;
  const SWord16 s1841 = (((SWord16) s1839) << 8) | ((SWord16) s1840);
  const SWord8  s1842 = s1753 ^ s1817;
  const SWord8  s1843 = s1754 ^ s1818;
  const SWord16 s1844 = (((SWord16) s1842) << 8) | ((SWord16) s1843);
  const SWord32 s1845 = (((SWord32) s1841) << 16) | ((SWord32) s1844);
  const SWord32 s1846 = s1838 ^ s1845;
  const SWord16 s1847 = (SWord16) s1846;
  const SWord8  s1848 = (SWord8) (s1847 >> 8);
  const SWord32 s1849 = table3[s1848];
  const SWord32 s1850 = s1825 ^ s1849;
  const SWord8  s1851 = (SWord8) (s1828 >> 8);
  const SWord32 s1852 = table1[s1851];
  const SWord8  s1853 = (SWord8) s1709;
  const SWord32 s1854 = table2[s1853];
  const SWord32 s1855 = s1852 ^ s1854;
  const SWord8  s1856 = (SWord8) (s1835 >> 8);
  const SWord32 s1857 = table3[s1856];
  const SWord32 s1858 = s1855 ^ s1857;
  const SWord8  s1859 = (SWord8) s1758;
  const SWord32 s1860 = table4[s1859];
  const SWord32 s1861 = s1858 ^ s1860;
  const SWord8  s1862 = s1773 ^ s1839;
  const SWord8  s1863 = s1774 ^ s1840;
  const SWord16 s1864 = (((SWord16) s1862) << 8) | ((SWord16) s1863);
  const SWord8  s1865 = s1776 ^ s1842;
  const SWord8  s1866 = s1777 ^ s1843;
  const SWord16 s1867 = (((SWord16) s1865) << 8) | ((SWord16) s1866);
  const SWord32 s1868 = (((SWord32) s1864) << 16) | ((SWord32) s1867);
  const SWord32 s1869 = s1861 ^ s1868;
  const SWord16 s1870 = (SWord16) s1869;
  const SWord8  s1871 = (SWord8) s1870;
  const SWord32 s1872 = table4[s1871];
  const SWord32 s1873 = s1850 ^ s1872;
  const SWord8  s1874 = table0[s1863];
  const SWord8  s1875 = 0x40 ^ s1874;
  const SWord8  s1876 = s1787 ^ s1875;
  const SWord8  s1877 = table0[s1865];
  const SWord8  s1878 = s1789 ^ s1877;
  const SWord16 s1879 = (((SWord16) s1876) << 8) | ((SWord16) s1878);
  const SWord8  s1880 = table0[s1866];
  const SWord8  s1881 = s1792 ^ s1880;
  const SWord8  s1882 = table0[s1862];
  const SWord8  s1883 = s1794 ^ s1882;
  const SWord16 s1884 = (((SWord16) s1881) << 8) | ((SWord16) s1883);
  const SWord32 s1885 = (((SWord32) s1879) << 16) | ((SWord32) s1884);
  const SWord32 s1886 = s1873 ^ s1885;
  const SWord16 s1887 = (SWord16) (s1886 >> 16);
  const SWord8  s1888 = (SWord8) (s1887 >> 8);
  const SWord32 s1889 = table1[s1888];
  const SWord8  s1890 = (SWord8) (s1822 >> 8);
  const SWord32 s1891 = table1[s1890];
  const SWord16 s1892 = (SWord16) (s1846 >> 16);
  const SWord8  s1893 = (SWord8) s1892;
  const SWord32 s1894 = table2[s1893];
  const SWord32 s1895 = s1891 ^ s1894;
  const SWord8  s1896 = (SWord8) (s1870 >> 8);
  const SWord32 s1897 = table3[s1896];
  const SWord32 s1898 = s1895 ^ s1897;
  const SWord16 s1899 = (SWord16) s1797;
  const SWord8  s1900 = (SWord8) s1899;
  const SWord32 s1901 = table4[s1900];
  const SWord32 s1902 = s1898 ^ s1901;
  const SWord8  s1903 = s1814 ^ s1876;
  const SWord8  s1904 = s1815 ^ s1878;
  const SWord16 s1905 = (((SWord16) s1903) << 8) | ((SWord16) s1904);
  const SWord8  s1906 = s1817 ^ s1881;
  const SWord8  s1907 = s1818 ^ s1883;
  const SWord16 s1908 = (((SWord16) s1906) << 8) | ((SWord16) s1907);
  const SWord32 s1909 = (((SWord32) s1905) << 16) | ((SWord32) s1908);
  const SWord32 s1910 = s1902 ^ s1909;
  const SWord16 s1911 = (SWord16) (s1910 >> 16);
  const SWord8  s1912 = (SWord8) s1911;
  const SWord32 s1913 = table2[s1912];
  const SWord32 s1914 = s1889 ^ s1913;
  const SWord8  s1915 = (SWord8) (s1892 >> 8);
  const SWord32 s1916 = table1[s1915];
  const SWord16 s1917 = (SWord16) (s1869 >> 16);
  const SWord8  s1918 = (SWord8) s1917;
  const SWord32 s1919 = table2[s1918];
  const SWord32 s1920 = s1916 ^ s1919;
  const SWord8  s1921 = (SWord8) (s1899 >> 8);
  const SWord32 s1922 = table3[s1921];
  const SWord32 s1923 = s1920 ^ s1922;
  const SWord16 s1924 = (SWord16) s1821;
  const SWord8  s1925 = (SWord8) s1924;
  const SWord32 s1926 = table4[s1925];
  const SWord32 s1927 = s1923 ^ s1926;
  const SWord8  s1928 = s1839 ^ s1903;
  const SWord8  s1929 = s1840 ^ s1904;
  const SWord16 s1930 = (((SWord16) s1928) << 8) | ((SWord16) s1929);
  const SWord8  s1931 = s1842 ^ s1906;
  const SWord8  s1932 = s1843 ^ s1907;
  const SWord16 s1933 = (((SWord16) s1931) << 8) | ((SWord16) s1932);
  const SWord32 s1934 = (((SWord32) s1930) << 16) | ((SWord32) s1933);
  const SWord32 s1935 = s1927 ^ s1934;
  const SWord16 s1936 = (SWord16) s1935;
  const SWord8  s1937 = (SWord8) (s1936 >> 8);
  const SWord32 s1938 = table3[s1937];
  const SWord32 s1939 = s1914 ^ s1938;
  const SWord8  s1940 = (SWord8) (s1917 >> 8);
  const SWord32 s1941 = table1[s1940];
  const SWord8  s1942 = (SWord8) s1798;
  const SWord32 s1943 = table2[s1942];
  const SWord32 s1944 = s1941 ^ s1943;
  const SWord8  s1945 = (SWord8) (s1924 >> 8);
  const SWord32 s1946 = table3[s1945];
  const SWord32 s1947 = s1944 ^ s1946;
  const SWord8  s1948 = (SWord8) s1847;
  const SWord32 s1949 = table4[s1948];
  const SWord32 s1950 = s1947 ^ s1949;
  const SWord8  s1951 = s1862 ^ s1928;
  const SWord8  s1952 = s1863 ^ s1929;
  const SWord16 s1953 = (((SWord16) s1951) << 8) | ((SWord16) s1952);
  const SWord8  s1954 = s1865 ^ s1931;
  const SWord8  s1955 = s1866 ^ s1932;
  const SWord16 s1956 = (((SWord16) s1954) << 8) | ((SWord16) s1955);
  const SWord32 s1957 = (((SWord32) s1953) << 16) | ((SWord32) s1956);
  const SWord32 s1958 = s1950 ^ s1957;
  const SWord16 s1959 = (SWord16) s1958;
  const SWord8  s1960 = (SWord8) s1959;
  const SWord32 s1961 = table4[s1960];
  const SWord32 s1962 = s1939 ^ s1961;
  const SWord8  s1963 = table0[s1952];
  const SWord8  s1964 = 0x80 ^ s1963;
  const SWord8  s1965 = s1876 ^ s1964;
  const SWord8  s1966 = table0[s1954];
  const SWord8  s1967 = s1878 ^ s1966;
  const SWord16 s1968 = (((SWord16) s1965) << 8) | ((SWord16) s1967);
  const SWord8  s1969 = table0[s1955];
  const SWord8  s1970 = s1881 ^ s1969;
  const SWord8  s1971 = table0[s1951];
  const SWord8  s1972 = s1883 ^ s1971;
  const SWord16 s1973 = (((SWord16) s1970) << 8) | ((SWord16) s1972);
  const SWord32 s1974 = (((SWord32) s1968) << 16) | ((SWord32) s1973);
  const SWord32 s1975 = s1962 ^ s1974;
  const SWord16 s1976 = (SWord16) (s1975 >> 16);
  const SWord8  s1977 = (SWord8) (s1976 >> 8);
  const SWord32 s1978 = table1[s1977];
  const SWord8  s1979 = (SWord8) (s1911 >> 8);
  const SWord32 s1980 = table1[s1979];
  const SWord16 s1981 = (SWord16) (s1935 >> 16);
  const SWord8  s1982 = (SWord8) s1981;
  const SWord32 s1983 = table2[s1982];
  const SWord32 s1984 = s1980 ^ s1983;
  const SWord8  s1985 = (SWord8) (s1959 >> 8);
  const SWord32 s1986 = table3[s1985];
  const SWord32 s1987 = s1984 ^ s1986;
  const SWord16 s1988 = (SWord16) s1886;
  const SWord8  s1989 = (SWord8) s1988;
  const SWord32 s1990 = table4[s1989];
  const SWord32 s1991 = s1987 ^ s1990;
  const SWord8  s1992 = s1903 ^ s1965;
  const SWord8  s1993 = s1904 ^ s1967;
  const SWord16 s1994 = (((SWord16) s1992) << 8) | ((SWord16) s1993);
  const SWord8  s1995 = s1906 ^ s1970;
  const SWord8  s1996 = s1907 ^ s1972;
  const SWord16 s1997 = (((SWord16) s1995) << 8) | ((SWord16) s1996);
  const SWord32 s1998 = (((SWord32) s1994) << 16) | ((SWord32) s1997);
  const SWord32 s1999 = s1991 ^ s1998;
  const SWord16 s2000 = (SWord16) (s1999 >> 16);
  const SWord8  s2001 = (SWord8) s2000;
  const SWord32 s2002 = table2[s2001];
  const SWord32 s2003 = s1978 ^ s2002;
  const SWord8  s2004 = (SWord8) (s1981 >> 8);
  const SWord32 s2005 = table1[s2004];
  const SWord16 s2006 = (SWord16) (s1958 >> 16);
  const SWord8  s2007 = (SWord8) s2006;
  const SWord32 s2008 = table2[s2007];
  const SWord32 s2009 = s2005 ^ s2008;
  const SWord8  s2010 = (SWord8) (s1988 >> 8);
  const SWord32 s2011 = table3[s2010];
  const SWord32 s2012 = s2009 ^ s2011;
  const SWord16 s2013 = (SWord16) s1910;
  const SWord8  s2014 = (SWord8) s2013;
  const SWord32 s2015 = table4[s2014];
  const SWord32 s2016 = s2012 ^ s2015;
  const SWord8  s2017 = s1928 ^ s1992;
  const SWord8  s2018 = s1929 ^ s1993;
  const SWord16 s2019 = (((SWord16) s2017) << 8) | ((SWord16) s2018);
  const SWord8  s2020 = s1931 ^ s1995;
  const SWord8  s2021 = s1932 ^ s1996;
  const SWord16 s2022 = (((SWord16) s2020) << 8) | ((SWord16) s2021);
  const SWord32 s2023 = (((SWord32) s2019) << 16) | ((SWord32) s2022);
  const SWord32 s2024 = s2016 ^ s2023;
  const SWord16 s2025 = (SWord16) s2024;
  const SWord8  s2026 = (SWord8) (s2025 >> 8);
  const SWord32 s2027 = table3[s2026];
  const SWord32 s2028 = s2003 ^ s2027;
  const SWord8  s2029 = (SWord8) (s2006 >> 8);
  const SWord32 s2030 = table1[s2029];
  const SWord8  s2031 = (SWord8) s1887;
  const SWord32 s2032 = table2[s2031];
  const SWord32 s2033 = s2030 ^ s2032;
  const SWord8  s2034 = (SWord8) (s2013 >> 8);
  const SWord32 s2035 = table3[s2034];
  const SWord32 s2036 = s2033 ^ s2035;
  const SWord8  s2037 = (SWord8) s1936;
  const SWord32 s2038 = table4[s2037];
  const SWord32 s2039 = s2036 ^ s2038;
  const SWord8  s2040 = s1951 ^ s2017;
  const SWord8  s2041 = s1952 ^ s2018;
  const SWord16 s2042 = (((SWord16) s2040) << 8) | ((SWord16) s2041);
  const SWord8  s2043 = s1954 ^ s2020;
  const SWord8  s2044 = s1955 ^ s2021;
  const SWord16 s2045 = (((SWord16) s2043) << 8) | ((SWord16) s2044);
  const SWord32 s2046 = (((SWord32) s2042) << 16) | ((SWord32) s2045);
  const SWord32 s2047 = s2039 ^ s2046;
  const SWord16 s2048 = (SWord16) s2047;
  const SWord8  s2049 = (SWord8) s2048;
  const SWord32 s2050 = table4[s2049];
  const SWord32 s2051 = s2028 ^ s2050;
  const SWord8  s2052 = table0[s2041];
  const SWord8  s2053 = 0x1b ^ s2052;
  const SWord8  s2054 = s1965 ^ s2053;
  const SWord8  s2055 = table0[s2043];
  const SWord8  s2056 = s1967 ^ s2055;
  const SWord16 s2057 = (((SWord16) s2054) << 8) | ((SWord16) s2056);
  const SWord8  s2058 = table0[s2044];
  const SWord8  s2059 = s1970 ^ s2058;
  const SWord8  s2060 = table0[s2040];
  const SWord8  s2061 = s1972 ^ s2060;
  const SWord16 s2062 = (((SWord16) s2059) << 8) | ((SWord16) s2061);
  const SWord32 s2063 = (((SWord32) s2057) << 16) | ((SWord32) s2062);
  const SWord32 s2064 = s2051 ^ s2063;
  const SWord16 s2065 = (SWord16) (s2064 >> 16);
  const SWord8  s2066 = (SWord8) (s2065 >> 8);
  const SWord8  s2067 = table0[s2066];
  const SWord16 s2068 = (((SWord16) s2067) << 8) | ((SWord16) 0x00);
  const SWord32 s2070 = (((SWord32) s2068) << 16) | ((SWord32) 0x0000U);
  const SWord8  s2071 = (SWord8) (s2000 >> 8);
  const SWord32 s2072 = table1[s2071];
  const SWord16 s2073 = (SWord16) (s2024 >> 16);
  const SWord8  s2074 = (SWord8) s2073;
  const SWord32 s2075 = table2[s2074];
  const SWord32 s2076 = s2072 ^ s2075;
  const SWord8  s2077 = (SWord8) (s2048 >> 8);
  const SWord32 s2078 = table3[s2077];
  const SWord32 s2079 = s2076 ^ s2078;
  const SWord16 s2080 = (SWord16) s1975;
  const SWord8  s2081 = (SWord8) s2080;
  const SWord32 s2082 = table4[s2081];
  const SWord32 s2083 = s2079 ^ s2082;
  const SWord8  s2084 = s1992 ^ s2054;
  const SWord8  s2085 = s1993 ^ s2056;
  const SWord16 s2086 = (((SWord16) s2084) << 8) | ((SWord16) s2085);
  const SWord8  s2087 = s1995 ^ s2059;
  const SWord8  s2088 = s1996 ^ s2061;
  const SWord16 s2089 = (((SWord16) s2087) << 8) | ((SWord16) s2088);
  const SWord32 s2090 = (((SWord32) s2086) << 16) | ((SWord32) s2089);
  const SWord32 s2091 = s2083 ^ s2090;
  const SWord16 s2092 = (SWord16) (s2091 >> 16);
  const SWord8  s2093 = (SWord8) s2092;
  const SWord8  s2094 = table0[s2093];
  const SWord16 s2095 = (((SWord16) 0x00) << 8) | ((SWord16) s2094);
  const SWord32 s2096 = (((SWord32) s2095) << 16) | ((SWord32) 0x0000U);
  const SWord32 s2097 = s2070 ^ s2096;
  const SWord8  s2098 = (SWord8) (s2073 >> 8);
  const SWord32 s2099 = table1[s2098];
  const SWord16 s2100 = (SWord16) (s2047 >> 16);
  const SWord8  s2101 = (SWord8) s2100;
  const SWord32 s2102 = table2[s2101];
  const SWord32 s2103 = s2099 ^ s2102;
  const SWord8  s2104 = (SWord8) (s2080 >> 8);
  const SWord32 s2105 = table3[s2104];
  const SWord32 s2106 = s2103 ^ s2105;
  const SWord16 s2107 = (SWord16) s1999;
  const SWord8  s2108 = (SWord8) s2107;
  const SWord32 s2109 = table4[s2108];
  const SWord32 s2110 = s2106 ^ s2109;
  const SWord8  s2111 = s2017 ^ s2084;
  const SWord8  s2112 = s2018 ^ s2085;
  const SWord16 s2113 = (((SWord16) s2111) << 8) | ((SWord16) s2112);
  const SWord8  s2114 = s2020 ^ s2087;
  const SWord8  s2115 = s2021 ^ s2088;
  const SWord16 s2116 = (((SWord16) s2114) << 8) | ((SWord16) s2115);
  const SWord32 s2117 = (((SWord32) s2113) << 16) | ((SWord32) s2116);
  const SWord32 s2118 = s2110 ^ s2117;
  const SWord16 s2119 = (SWord16) s2118;
  const SWord8  s2120 = (SWord8) (s2119 >> 8);
  const SWord8  s2121 = table0[s2120];
  const SWord16 s2122 = (((SWord16) s2121) << 8) | ((SWord16) 0x00);
  const SWord32 s2123 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2122);
  const SWord32 s2124 = s2097 ^ s2123;
  const SWord8  s2125 = (SWord8) (s2100 >> 8);
  const SWord32 s2126 = table1[s2125];
  const SWord8  s2127 = (SWord8) s1976;
  const SWord32 s2128 = table2[s2127];
  const SWord32 s2129 = s2126 ^ s2128;
  const SWord8  s2130 = (SWord8) (s2107 >> 8);
  const SWord32 s2131 = table3[s2130];
  const SWord32 s2132 = s2129 ^ s2131;
  const SWord8  s2133 = (SWord8) s2025;
  const SWord32 s2134 = table4[s2133];
  const SWord32 s2135 = s2132 ^ s2134;
  const SWord8  s2136 = s2040 ^ s2111;
  const SWord8  s2137 = s2041 ^ s2112;
  const SWord16 s2138 = (((SWord16) s2136) << 8) | ((SWord16) s2137);
  const SWord8  s2139 = s2043 ^ s2114;
  const SWord8  s2140 = s2044 ^ s2115;
  const SWord16 s2141 = (((SWord16) s2139) << 8) | ((SWord16) s2140);
  const SWord32 s2142 = (((SWord32) s2138) << 16) | ((SWord32) s2141);
  const SWord32 s2143 = s2135 ^ s2142;
  const SWord16 s2144 = (SWord16) s2143;
  const SWord8  s2145 = (SWord8) s2144;
  const SWord8  s2146 = table0[s2145];
  const SWord16 s2147 = (((SWord16) 0x00) << 8) | ((SWord16) s2146);
  const SWord32 s2148 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2147);
  const SWord32 s2149 = s2124 ^ s2148;
  const SWord8  s2150 = table0[s2137];
  const SWord8  s2151 = 0x36 ^ s2150;
  const SWord8  s2152 = s2054 ^ s2151;
  const SWord8  s2153 = table0[s2139];
  const SWord8  s2154 = s2056 ^ s2153;
  const SWord16 s2155 = (((SWord16) s2152) << 8) | ((SWord16) s2154);
  const SWord8  s2156 = table0[s2140];
  const SWord8  s2157 = s2059 ^ s2156;
  const SWord8  s2158 = table0[s2136];
  const SWord8  s2159 = s2061 ^ s2158;
  const SWord16 s2160 = (((SWord16) s2157) << 8) | ((SWord16) s2159);
  const SWord32 s2161 = (((SWord32) s2155) << 16) | ((SWord32) s2160);
  const SWord32 s2162 = s2149 ^ s2161;
  const SWord8  s2163 = (SWord8) (s2092 >> 8);
  const SWord8  s2164 = table0[s2163];
  const SWord16 s2165 = (((SWord16) s2164) << 8) | ((SWord16) 0x00);
  const SWord32 s2166 = (((SWord32) s2165) << 16) | ((SWord32) 0x0000U);
  const SWord16 s2167 = (SWord16) (s2118 >> 16);
  const SWord8  s2168 = (SWord8) s2167;
  const SWord8  s2169 = table0[s2168];
  const SWord16 s2170 = (((SWord16) 0x00) << 8) | ((SWord16) s2169);
  const SWord32 s2171 = (((SWord32) s2170) << 16) | ((SWord32) 0x0000U);
  const SWord32 s2172 = s2166 ^ s2171;
  const SWord8  s2173 = (SWord8) (s2144 >> 8);
  const SWord8  s2174 = table0[s2173];
  const SWord16 s2175 = (((SWord16) s2174) << 8) | ((SWord16) 0x00);
  const SWord32 s2176 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2175);
  const SWord32 s2177 = s2172 ^ s2176;
  const SWord16 s2178 = (SWord16) s2064;
  const SWord8  s2179 = (SWord8) s2178;
  const SWord8  s2180 = table0[s2179];
  const SWord16 s2181 = (((SWord16) 0x00) << 8) | ((SWord16) s2180);
  const SWord32 s2182 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2181);
  const SWord32 s2183 = s2177 ^ s2182;
  const SWord8  s2184 = s2084 ^ s2152;
  const SWord8  s2185 = s2085 ^ s2154;
  const SWord16 s2186 = (((SWord16) s2184) << 8) | ((SWord16) s2185);
  const SWord8  s2187 = s2087 ^ s2157;
  const SWord8  s2188 = s2088 ^ s2159;
  const SWord16 s2189 = (((SWord16) s2187) << 8) | ((SWord16) s2188);
  const SWord32 s2190 = (((SWord32) s2186) << 16) | ((SWord32) s2189);
  const SWord32 s2191 = s2183 ^ s2190;
  const SWord8  s2192 = (SWord8) (s2167 >> 8);
  const SWord8  s2193 = table0[s2192];
  const SWord16 s2194 = (((SWord16) s2193) << 8) | ((SWord16) 0x00);
  const SWord32 s2195 = (((SWord32) s2194) << 16) | ((SWord32) 0x0000U);
  const SWord16 s2196 = (SWord16) (s2143 >> 16);
  const SWord8  s2197 = (SWord8) s2196;
  const SWord8  s2198 = table0[s2197];
  const SWord16 s2199 = (((SWord16) 0x00) << 8) | ((SWord16) s2198);
  const SWord32 s2200 = (((SWord32) s2199) << 16) | ((SWord32) 0x0000U);
  const SWord32 s2201 = s2195 ^ s2200;
  const SWord8  s2202 = (SWord8) (s2178 >> 8);
  const SWord8  s2203 = table0[s2202];
  const SWord16 s2204 = (((SWord16) s2203) << 8) | ((SWord16) 0x00);
  const SWord32 s2205 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2204);
  const SWord32 s2206 = s2201 ^ s2205;
  const SWord16 s2207 = (SWord16) s2091;
  const SWord8  s2208 = (SWord8) s2207;
  const SWord8  s2209 = table0[s2208];
  const SWord16 s2210 = (((SWord16) 0x00) << 8) | ((SWord16) s2209);
  const SWord32 s2211 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2210);
  const SWord32 s2212 = s2206 ^ s2211;
  const SWord8  s2213 = s2111 ^ s2184;
  const SWord8  s2214 = s2112 ^ s2185;
  const SWord16 s2215 = (((SWord16) s2213) << 8) | ((SWord16) s2214);
  const SWord8  s2216 = s2114 ^ s2187;
  const SWord8  s2217 = s2115 ^ s2188;
  const SWord16 s2218 = (((SWord16) s2216) << 8) | ((SWord16) s2217);
  const SWord32 s2219 = (((SWord32) s2215) << 16) | ((SWord32) s2218);
  const SWord32 s2220 = s2212 ^ s2219;
  const SWord8  s2221 = (SWord8) (s2196 >> 8);
  const SWord8  s2222 = table0[s2221];
  const SWord16 s2223 = (((SWord16) s2222) << 8) | ((SWord16) 0x00);
  const SWord32 s2224 = (((SWord32) s2223) << 16) | ((SWord32) 0x0000U);
  const SWord8  s2225 = (SWord8) s2065;
  const SWord8  s2226 = table0[s2225];
  const SWord16 s2227 = (((SWord16) 0x00) << 8) | ((SWord16) s2226);
  const SWord32 s2228 = (((SWord32) s2227) << 16) | ((SWord32) 0x0000U);
  const SWord32 s2229 = s2224 ^ s2228;
  const SWord8  s2230 = (SWord8) (s2207 >> 8);
  const SWord8  s2231 = table0[s2230];
  const SWord16 s2232 = (((SWord16) s2231) << 8) | ((SWord16) 0x00);
  const SWord32 s2233 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2232);
  const SWord32 s2234 = s2229 ^ s2233;
  const SWord8  s2235 = (SWord8) s2119;
  const SWord8  s2236 = table0[s2235];
  const SWord16 s2237 = (((SWord16) 0x00) << 8) | ((SWord16) s2236);
  const SWord32 s2238 = (((SWord32) 0x0000U) << 16) | ((SWord32) s2237);
  const SWord32 s2239 = s2234 ^ s2238;
  const SWord8  s2240 = s2136 ^ s2213;
  const SWord8  s2241 = s2137 ^ s2214;
  const SWord16 s2242 = (((SWord16) s2240) << 8) | ((SWord16) s2241);
  const SWord8  s2243 = s2139 ^ s2216;
  const SWord8  s2244 = s2140 ^ s2217;
  const SWord16 s2245 = (((SWord16) s2243) << 8) | ((SWord16) s2244);
  const SWord32 s2246 = (((SWord32) s2242) << 16) | ((SWord32) s2245);
  const SWord32 s2247 = s2239 ^ s2246;
  
  *out0 = s2162;
  *out1 = s2191;
  *out2 = s2220;
  *out3 = s2247;
}
== END: "aes128Enc.c" ==================