Masks that select the sBox input
List<int> sBoxMask = <int>[ 0xf8000001, 0x1f800000, 0x01f80000, 0x001f8000, 0x0001f800, 0x00001f80, 0x000001f8, 0x8000001f ];