// Equations for 64 bit CRC taking in 64 databits per clock.
// See
Polynomial_representations_of_cyclic_redundancy_checks for standard CRC polynomials.
// Generator Polynomial 0x42f0e1eba9ea3693: X^64 + X^62 + X^57 + X^55 + X^54 + X^53 + X^52 + X^47 + X^46 + X^45 + X^40 + X^39 + X^38 + X^37 + X^35 + X^33 + X^32 + X^31 + X^29 + X^27 + X^24 + X^23 + X^22 + X^21 + X^19 + X^17 + X^13 + X^12 + X^10 + X^9 + X^7 + X^4 + X + 1
// x[63:0] are the state bits. d[63:0] are the input data bits
x[0] <= x[0] ^ x[2] ^ x[4] ^ x[6] ^ x[7] ^ x[8] ^ x[9] ^ x[13] ^ x[14] ^ x[16] ^ x[19] ^ x[21] ^ x[24] ^ x[25] ^ x[26] ^ x[28] ^ x[34] ^ x[35] ^ x[37] ^ x[38] ^ x[41] ^ x[42] ^ x[46] ^ x[49] ^ x[50] ^ x[51] ^ x[52] ^ x[53] ^ x[58] ^ x[59] ^ x[60] ^ x[63] ^ d[0] ^ d[3] ^ d[6] ^ d[8] ^ d[9] ^ d[11] ^ d[12] ^ d[16] ^ d[18] ^ d[20] ^ d[21] ^ d[22] ^ d[23] ^ d[26] ^ d[28] ^ d[30] ^ d[31] ^ d[32] ^ d[34] ^ d[36] ^ d[37] ^ d[38] ^ d[39] ^ d[44] ^ d[45] ^ d[46] ^ d[51] ^ d[52] ^ d[53] ^ d[54] ^ d[56] ^ d[61];
x[1] <= x[0] ^ x[1] ^ x[2] ^ x[3] ^ x[4] ^ x[5] ^ x[6] ^ x[10] ^ x[13] ^ x[15] ^ x[16] ^ x[17] ^ x[19] ^ x[20] ^ x[21] ^ x[22] ^ x[24] ^ x[27] ^ x[28] ^ x[29] ^ x[34] ^ x[36] ^ x[37] ^ x[39] ^ x[41] ^ x[43] ^ x[46] ^ x[47] ^ x[49] ^ x[54] ^ x[58] ^ x[61] ^ x[63] ^ d[2] ^ d[5] ^ d[7] ^ d[8] ^ d[10] ^ d[11] ^ d[15] ^ d[17] ^ d[19] ^ d[20] ^ d[21] ^ d[22] ^ d[25] ^ d[27] ^ d[29] ^ d[30] ^ d[31] ^ d[33] ^ d[35] ^ d[36] ^ d[37] ^ d[38] ^ d[43] ^ d[44] ^ d[45] ^ d[50] ^ d[51] ^ d[52] ^ d[53] ^ d[55] ^ d[60] ^ d[63];
x[2] <= x[1] ^ x[2] ^ x[3] ^ x[4] ^ x[5] ^ x[6] ^ x[7] ^ x[11] ^ x[14] ^ x[16] ^ x[17] ^ x[18] ^ x[20] ^ x[21] ^ x[22] ^ x[23] ^ x[25] ^ x[28] ^ x[29] ^ x[30] ^ x[35] ^ x[37] ^ x[38] ^ x[40] ^ x[42] ^ x[44] ^ x[47] ^ x[48] ^ x[50] ^ x[55] ^ x[59] ^ x[62] ^ d[1] ^ d[4] ^ d[6] ^ d[7] ^ d[9] ^ d[10] ^ d[14] ^ d[16] ^ d[18] ^ d[19] ^ d[20] ^ d[21] ^ d[24] ^ d[26] ^ d[28] ^ d[29] ^ d[30] ^ d[32] ^ d[34] ^ d[35] ^ d[36] ^ d[37] ^ d[42] ^ d[43] ^ d[44] ^ d[49] ^ d[50] ^ d[51] ^ d[52] ^ d[54] ^ d[59] ^ d[62];
x[3] <= x[2] ^ x[3] ^ x[4] ^ x[5] ^ x[6] ^ x[7] ^ x[8] ^ x[12] ^ x[15] ^ x[17] ^ x[18] ^ x[19] ^ x[21] ^ x[22] ^ x[23] ^ x[24] ^ x[26] ^ x[29] ^ x[30] ^ x[31] ^ x[36] ^ x[38] ^ x[39] ^ x[41] ^ x[43] ^ x[45] ^ x[48] ^ x[49] ^ x[51] ^ x[56] ^ x[60] ^ x[63] ^ d[0] ^ d[3] ^ d[5] ^ d[6] ^ d[8] ^ d[9] ^ d[13] ^ d[15] ^ d[17] ^ d[18] ^ d[19] ^ d[20] ^ d[23] ^ d[25] ^ d[27] ^ d[28] ^ d[29] ^ d[31] ^ d[33] ^ d[34] ^ d[35] ^ d[36] ^ d[41] ^ d[42] ^ d[43] ^ d[48] ^ d[49] ^ d[50] ^ d[51] ^ d[53] ^ d[58] ^ d[61];
x[4] <= x[0] ^ x[2] ^ x[3] ^ x[5] ^ x[14] ^ x[18] ^ x[20] ^ x[21] ^ x[22] ^ x[23] ^ x[26] ^ x[27] ^ x[28] ^ x[30] ^ x[31] ^ x[32] ^ x[34] ^ x[35] ^ x[38] ^ x[39] ^ x[40] ^ x[41] ^ x[44] ^ x[51] ^ x[53] ^ x[57] ^ x[58] ^ x[59] ^ x[60] ^ x[61] ^ x[63] ^ d[2] ^ d[4] ^ d[5] ^ d[7] ^ d[8] ^ d[12] ^ d[14] ^ d[16] ^ d[17] ^ d[18] ^ d[19] ^ d[22] ^ d[24] ^ d[26] ^ d[27] ^ d[28] ^ d[30] ^ d[32] ^ d[33] ^ d[34] ^ d[35] ^ d[40] ^ d[41] ^ d[42] ^ d[47] ^ d[48] ^ d[49] ^ d[50] ^ d[52] ^ d[57] ^ d[60] ^ d[63];
x[5] <= x[1] ^ x[3] ^ x[4] ^ x[6] ^ x[15] ^ x[19] ^ x[21] ^ x[22] ^ x[23] ^ x[24] ^ x[27] ^ x[28] ^ x[29] ^ x[31] ^ x[32] ^ x[33] ^ x[35] ^ x[36] ^ x[39] ^ x[40] ^ x[41] ^ x[42] ^ x[45] ^ x[52] ^ x[54] ^ x[58] ^ x[59] ^ x[60] ^ x[61] ^ x[62] ^ d[1] ^ d[3] ^ d[4] ^ d[6] ^ d[7] ^ d[11] ^ d[13] ^ d[15] ^ d[16] ^ d[17] ^ d[18] ^ d[21] ^ d[23] ^ d[25] ^ d[26] ^ d[27] ^ d[29] ^ d[31] ^ d[32] ^ d[33] ^ d[34] ^ d[39] ^ d[40] ^ d[41] ^ d[46] ^ d[47] ^ d[48] ^ d[49] ^ d[51] ^ d[56] ^ d[59] ^ d[62];
x[6] <= x[2] ^ x[4] ^ x[5] ^ x[7] ^ x[16] ^ x[20] ^ x[22] ^ x[23] ^ x[24] ^ x[25] ^ x[28] ^ x[29] ^ x[30] ^ x[32] ^ x[33] ^ x[34] ^ x[36] ^ x[37] ^ x[40] ^ x[41] ^ x[42] ^ x[43] ^ x[46] ^ x[53] ^ x[55] ^ x[59] ^ x[60] ^ x[61] ^ x[62] ^ x[63] ^ d[0] ^ d[2] ^ d[3] ^ d[5] ^ d[6] ^ d[10] ^ d[12] ^ d[14] ^ d[15] ^ d[16] ^ d[17] ^ d[20] ^ d[22] ^ d[24] ^ d[25] ^ d[26] ^ d[28] ^ d[30] ^ d[31] ^ d[32] ^ d[33] ^ d[38] ^ d[39] ^ d[40] ^ d[45] ^ d[46] ^ d[47] ^ d[48] ^ d[50] ^ d[55] ^ d[58] ^ d[61];
x[7] <= x[0] ^ x[2] ^ x[3] ^ x[4] ^ x[5] ^ x[7] ^ x[9] ^ x[13] ^ x[14] ^ x[16] ^ x[17] ^ x[19] ^ x[23] ^ x[28] ^ x[29] ^ x[30] ^ x[31] ^ x[33] ^ x[43] ^ x[44] ^ x[46] ^ x[47] ^ x[49] ^ x[50] ^ x[51] ^ x[52] ^ x[53] ^ x[54] ^ x[56] ^ x[58] ^ x[59] ^ x[61] ^ x[62] ^ d[1] ^ d[2] ^ d[4] ^ d[5] ^ d[9] ^ d[11] ^ d[13] ^ d[14] ^ d[15] ^ d[16] ^ d[19] ^ d[21] ^ d[23] ^ d[24] ^ d[25] ^ d[27] ^ d[29] ^ d[30] ^ d[31] ^ d[32] ^ d[37] ^ d[38] ^ d[39] ^ d[44] ^ d[45] ^ d[46] ^ d[47] ^ d[49] ^ d[54] ^ d[57] ^ d[60] ^ d[63];
x[8] <= x[1] ^ x[3] ^ x[4] ^ x[5] ^ x[6] ^ x[8] ^ x[10] ^ x[14] ^ x[15] ^ x[17] ^ x[18] ^ x[20] ^ x[24] ^ x[29] ^ x[30] ^ x[31] ^ x[32] ^ x[34] ^ x[44] ^ x[45] ^ x[47] ^ x[48] ^ x[50] ^ x[51] ^ x[52] ^ x[53] ^ x[54] ^ x[55] ^ x[57] ^ x[59] ^ x[60] ^ x[62] ^ x[63] ^ d[0] ^ d[1] ^ d[3] ^ d[4] ^ d[8] ^ d[10] ^ d[12] ^ d[13] ^ d[14] ^ d[15] ^ d[18] ^ d[20] ^ d[22] ^ d[23] ^ d[24] ^ d[26] ^ d[28] ^ d[29] ^ d[30] ^ d[31] ^ d[36] ^ d[37] ^ d[38] ^ d[43] ^ d[44] ^ d[45] ^ d[46] ^ d[48] ^ d[53] ^ d[56] ^ d[59] ^ d[62];
x[9] <= x[0] ^ x[5] ^ x[8] ^ x[11] ^ x[13] ^ x[14] ^ x[15] ^ x[18] ^ x[24] ^ x[26] ^ x[28] ^ x[30] ^ x[31] ^ x[32] ^ x[33] ^ x[34] ^ x[37] ^ x[38] ^ x[41] ^ x[42] ^ x[45] ^ x[48] ^ x[50] ^ x[54] ^ x[55] ^ x[56] ^ x[59] ^ x[61] ^ d[0] ^ d[2] ^ d[3] ^ d[7] ^ d[9] ^ d[11] ^ d[12] ^ d[13] ^ d[14] ^ d[17] ^ d[19] ^ d[21] ^ d[22] ^ d[23] ^ d[25] ^ d[27] ^ d[28] ^ d[29] ^ d[30] ^ d[35] ^ d[36] ^ d[37] ^ d[42] ^ d[43] ^ d[44] ^ d[45] ^ d[47] ^ d[52] ^ d[55] ^ d[58] ^ d[61] ^ d[63];
x[10] <= x[0] ^ x[1] ^ x[2] ^ x[4] ^ x[7] ^ x[8] ^ x[12] ^ x[13] ^ x[15] ^ x[21] ^ x[24] ^ x[26] ^ x[27] ^ x[28] ^ x[29] ^ x[31] ^ x[32] ^ x[33] ^ x[37] ^ x[39] ^ x[41] ^ x[43] ^ x[50] ^ x[52] ^ x[53] ^ x[55] ^ x[56] ^ x[57] ^ x[58] ^ x[59] ^ x[62] ^ x[63] ^ d[1] ^ d[2] ^ d[6] ^ d[8] ^ d[10] ^ d[11] ^ d[12] ^ d[13] ^ d[16] ^ d[18] ^ d[20] ^ d[21] ^ d[22] ^ d[24] ^ d[26] ^ d[27] ^ d[28] ^ d[29] ^ d[34] ^ d[35] ^ d[36] ^ d[41] ^ d[42] ^ d[43] ^ d[44] ^ d[46] ^ d[51] ^ d[54] ^ d[57] ^ d[60] ^ d[62] ^ d[63];
x[11] <= x[1] ^ x[2] ^ x[3] ^ x[5] ^ x[8] ^ x[9] ^ x[13] ^ x[14] ^ x[16] ^ x[22] ^ x[25] ^ x[27] ^ x[28] ^ x[29] ^ x[30] ^ x[32] ^ x[33] ^ x[34] ^ x[38] ^ x[40] ^ x[42] ^ x[44] ^ x[51] ^ x[53] ^ x[54] ^ x[56] ^ x[57] ^ x[58] ^ x[59] ^ x[60] ^ x[63] ^ d[0] ^ d[1] ^ d[5] ^ d[7] ^ d[9] ^ d[10] ^ d[11] ^ d[12] ^ d[15] ^ d[17] ^ d[19] ^ d[20] ^ d[21] ^ d[23] ^ d[25] ^ d[26] ^ d[27] ^ d[28] ^ d[33] ^ d[34] ^ d[35] ^ d[40] ^ d[41] ^ d[42] ^ d[43] ^ d[45] ^ d[50] ^ d[53] ^ d[56] ^ d[59] ^ d[61] ^ d[62];
x[12] <= x[0] ^ x[3] ^ x[7] ^ x[8] ^ x[10] ^ x[13] ^ x[15] ^ x[16] ^ x[17] ^ x[19] ^ x[21] ^ x[23] ^ x[24] ^ x[25] ^ x[29] ^ x[30] ^ x[31] ^ x[33] ^ x[37] ^ x[38] ^ x[39] ^ x[42] ^ x[43] ^ x[45] ^ x[46] ^ x[49] ^ x[50] ^ x[51] ^ x[53] ^ x[54] ^ x[55] ^ x[57] ^ x[61] ^ x[63] ^ d[0] ^ d[4] ^ d[6] ^ d[8] ^ d[9] ^ d[10] ^ d[11] ^ d[14] ^ d[16] ^ d[18] ^ d[19] ^ d[20] ^ d[22] ^ d[24] ^ d[25] ^ d[26] ^ d[27] ^ d[32] ^ d[33] ^ d[34] ^ d[39] ^ d[40] ^ d[41] ^ d[42] ^ d[44] ^ d[49] ^ d[52] ^ d[55] ^ d[58] ^ d[60] ^ d[61] ^ d[63];
x[13] <= x[0] ^ x[1] ^ x[2] ^ x[6] ^ x[7] ^ x[11] ^ x[13] ^ x[17] ^ x[18] ^ x[19] ^ x[20] ^ x[21] ^ x[22] ^ x[28] ^ x[30] ^ x[31] ^ x[32] ^ x[35] ^ x[37] ^ x[39] ^ x[40] ^ x[41] ^ x[42] ^ x[43] ^ x[44] ^ x[47] ^ x[49] ^ x[53] ^ x[54] ^ x[55] ^ x[56] ^ x[59] ^ x[60] ^ x[62] ^ x[63] ^ d[3] ^ d[5] ^ d[7] ^ d[8] ^ d[9] ^ d[10] ^ d[13] ^ d[15] ^ d[17] ^ d[18] ^ d[19] ^ d[21] ^ d[23] ^ d[24] ^ d[25] ^ d[26] ^ d[31] ^ d[32] ^ d[33] ^ d[38] ^ d[39] ^ d[40] ^ d[41] ^ d[43] ^ d[48] ^ d[51] ^ d[54] ^ d[57] ^ d[59] ^ d[60] ^ d[62] ^ d[63];
x[14] <= x[1] ^ x[2] ^ x[3] ^ x[7] ^ x[8] ^ x[12] ^ x[14] ^ x[18] ^ x[19] ^ x[20] ^ x[21] ^ x[22] ^ x[23] ^ x[29] ^ x[31] ^ x[32] ^ x[33] ^ x[36] ^ x[38] ^ x[40] ^ x[41] ^ x[42] ^ x[43] ^ x[44] ^ x[45] ^ x[48] ^ x[50] ^ x[54] ^ x[55] ^ x[56] ^ x[57] ^ x[60] ^ x[61] ^ x[63] ^ d[2] ^ d[4] ^ d[6] ^ d[7] ^ d[8] ^ d[9] ^ d[12] ^ d[14] ^ d[16] ^ d[17] ^ d[18] ^ d[20] ^ d[22] ^ d[23] ^ d[24] ^ d[25] ^ d[30] ^ d[31] ^ d[32] ^ d[37] ^ d[38] ^ d[39] ^ d[40] ^ d[42] ^ d[47] ^ d[50] ^ d[53] ^ d[56] ^ d[58] ^ d[59] ^ d[61] ^ d[62];
x[15] <= x[2] ^ x[3] ^ x[4] ^ x[8] ^ x[9] ^ x[13] ^ x[15] ^ x[19] ^ x[20] ^ x[21] ^ x[22] ^ x[23] ^ x[24] ^ x[30] ^ x[32] ^ x[33] ^ x[34] ^ x[37] ^ x[39] ^ x[41] ^ x[42] ^ x[43] ^ x[44] ^ x[45] ^ x[46] ^ x[49] ^ x[51] ^ x[55] ^ x[56] ^ x[57] ^ x[58] ^ x[61] ^ x[62] ^ d[1] ^ d[3] ^ d[5] ^ d[6] ^ d[7] ^ d[8] ^ d[11] ^ d[13] ^ d[15] ^ d[16] ^ d[17] ^ d[19] ^ d[21] ^ d[22] ^ d[23] ^ d[24] ^ d[29] ^ d[30] ^ d[31] ^ d[36] ^ d[37] ^ d[38] ^ d[39] ^ d[41] ^ d[46] ^ d[49] ^ d[52] ^ d[55] ^ d[57] ^ d[58] ^ d[60] ^ d[61];
x[16] <= x[3] ^ x[4] ^ x[5] ^ x[9] ^ x[10] ^ x[14] ^ x[16] ^ x[20] ^ x[21] ^ x[22] ^ x[23] ^ x[24] ^ x[25] ^ x[31] ^ x[33] ^ x[34] ^ x[35] ^ x[38] ^ x[40] ^ x[42] ^ x[43] ^ x[44] ^ x[45] ^ x[46] ^ x[47] ^ x[50] ^ x[52] ^ x[56] ^ x[57] ^ x[58] ^ x[59] ^ x[62] ^ x[63] ^ d[0] ^ d[2] ^ d[4] ^ d[5] ^ d[6] ^ d[7] ^ d[10] ^ d[12] ^ d[14] ^ d[15] ^ d[16] ^ d[18] ^ d[20] ^ d[21] ^ d[22] ^ d[23] ^ d[28] ^ d[29] ^ d[30] ^ d[35] ^ d[36] ^ d[37] ^ d[38] ^ d[40] ^ d[45] ^ d[48] ^ d[51] ^ d[54] ^ d[56] ^ d[57] ^ d[59] ^ d[60];
x[17] <= x[0] ^ x[2] ^ x[5] ^ x[7] ^ x[8] ^ x[9] ^ x[10] ^ x[11] ^ x[13] ^ x[14] ^ x[15] ^ x[16] ^ x[17] ^ x[19] ^ x[22] ^ x[23] ^ x[28] ^ x[32] ^ x[36] ^ x[37] ^ x[38] ^ x[39] ^ x[42] ^ x[43] ^ x[44] ^ x[45] ^ x[47] ^ x[48] ^ x[49] ^ x[50] ^ x[52] ^ x[57] ^ d[1] ^ d[3] ^ d[4] ^ d[5] ^ d[6] ^ d[9] ^ d[11] ^ d[13] ^ d[14] ^ d[15] ^ d[17] ^ d[19] ^ d[20] ^ d[21] ^ d[22] ^ d[27] ^ d[28] ^ d[29] ^ d[34] ^ d[35] ^ d[36] ^ d[37] ^ d[39] ^ d[44] ^ d[47] ^ d[50] ^ d[53] ^ d[55] ^ d[56] ^ d[58] ^ d[59] ^ d[63];
x[18] <= x[1] ^ x[3] ^ x[6] ^ x[8] ^ x[9] ^ x[10] ^ x[11] ^ x[12] ^ x[14] ^ x[15] ^ x[16] ^ x[17] ^ x[18] ^ x[20] ^ x[23] ^ x[24] ^ x[29] ^ x[33] ^ x[37] ^ x[38] ^ x[39] ^ x[40] ^ x[43] ^ x[44] ^ x[45] ^ x[46] ^ x[48] ^ x[49] ^ x[50] ^ x[51] ^ x[53] ^ x[58] ^ d[0] ^ d[2] ^ d[3] ^ d[4] ^ d[5] ^ d[8] ^ d[10] ^ d[12] ^ d[13] ^ d[14] ^ d[16] ^ d[18] ^ d[19] ^ d[20] ^ d[21] ^ d[26] ^ d[27] ^ d[28] ^ d[33] ^ d[34] ^ d[35] ^ d[36] ^ d[38] ^ d[43] ^ d[46] ^ d[49] ^ d[52] ^ d[54] ^ d[55] ^ d[57] ^ d[58] ^ d[62];
x[19] <= x[0] ^ x[6] ^ x[8] ^ x[10] ^ x[11] ^ x[12] ^ x[14] ^ x[15] ^ x[17] ^ x[18] ^ x[26] ^ x[28] ^ x[30] ^ x[35] ^ x[37] ^ x[39] ^ x[40] ^ x[42] ^ x[44] ^ x[45] ^ x[47] ^ x[53] ^ x[54] ^ x[58] ^ x[60] ^ x[63] ^ d[1] ^ d[2] ^ d[3] ^ d[4] ^ d[7] ^ d[9] ^ d[11] ^ d[12] ^ d[13] ^ d[15] ^ d[17] ^ d[18] ^ d[19] ^ d[20] ^ d[25] ^ d[26] ^ d[27] ^ d[32] ^ d[33] ^ d[34] ^ d[35] ^ d[37] ^ d[42] ^ d[45] ^ d[48] ^ d[51] ^ d[53] ^ d[54] ^ d[56] ^ d[57] ^ d[61] ^ d[63];
x[20] <= x[1] ^ x[7] ^ x[9] ^ x[11] ^ x[12] ^ x[13] ^ x[15] ^ x[16] ^ x[18] ^ x[19] ^ x[27] ^ x[29] ^ x[31] ^ x[36] ^ x[38] ^ x[40] ^ x[41] ^ x[43] ^ x[45] ^ x[46] ^ x[48] ^ x[54] ^ x[55] ^ x[59] ^ x[61] ^ d[0] ^ d[1] ^ d[2] ^ d[3] ^ d[6] ^ d[8] ^ d[10] ^ d[11] ^ d[12] ^ d[14] ^ d[16] ^ d[17] ^ d[18] ^ d[19] ^ d[24] ^ d[25] ^ d[26] ^ d[31] ^ d[32] ^ d[33] ^ d[34] ^ d[36] ^ d[41] ^ d[44] ^ d[47] ^ d[50] ^ d[52] ^ d[53] ^ d[55] ^ d[56] ^ d[60] ^ d[62];
x[21] <= x[0] ^ x[4] ^ x[6] ^ x[7] ^ x[9] ^ x[10] ^ x[12] ^ x[17] ^ x[20] ^ x[21] ^ x[24] ^ x[25] ^ x[26] ^ x[30] ^ x[32] ^ x[34] ^ x[35] ^ x[38] ^ x[39] ^ x[44] ^ x[47] ^ x[50] ^ x[51] ^ x[52] ^ x[53] ^ x[55] ^ x[56] ^ x[58] ^ x[59] ^ x[62] ^ x[63] ^ d[0] ^ d[1] ^ d[2] ^ d[5] ^ d[7] ^ d[9] ^ d[10] ^ d[11] ^ d[13] ^ d[15] ^ d[16] ^ d[17] ^ d[18] ^ d[23] ^ d[24] ^ d[25] ^ d[30] ^ d[31] ^ d[32] ^ d[33] ^ d[35] ^ d[40] ^ d[43] ^ d[46] ^ d[49] ^ d[51] ^ d[52] ^ d[54] ^ d[55] ^ d[59] ^ d[61] ^ d[63];
x[22] <= x[0] ^ x[1] ^ x[2] ^ x[4] ^ x[5] ^ x[6] ^ x[9] ^ x[10] ^ x[11] ^ x[14] ^ x[16] ^ x[18] ^ x[19] ^ x[22] ^ x[24] ^ x[27] ^ x[28] ^ x[31] ^ x[33] ^ x[34] ^ x[36] ^ x[37] ^ x[38] ^ x[39] ^ x[40] ^ x[41] ^ x[42] ^ x[45] ^ x[46] ^ x[48] ^ x[49] ^ x[50] ^ x[54] ^ x[56] ^ x[57] ^ x[58] ^ d[0] ^ d[1] ^ d[4] ^ d[6] ^ d[8] ^ d[9] ^ d[10] ^ d[12] ^ d[14] ^ d[15] ^ d[16] ^ d[17] ^ d[22] ^ d[23] ^ d[24] ^ d[29] ^ d[30] ^ d[31] ^ d[32] ^ d[34] ^ d[39] ^ d[42] ^ d[45] ^ d[48] ^ d[50] ^ d[51] ^ d[53] ^ d[54] ^ d[58] ^ d[60] ^ d[62] ^ d[63];
x[23] <= x[0] ^ x[1] ^ x[3] ^ x[4] ^ x[5] ^ x[8] ^ x[9] ^ x[10] ^ x[11] ^ x[12] ^ x[13] ^ x[14] ^ x[15] ^ x[16] ^ x[17] ^ x[20] ^ x[21] ^ x[23] ^ x[24] ^ x[26] ^ x[29] ^ x[32] ^ x[39] ^ x[40] ^ x[43] ^ x[47] ^ x[52] ^ x[53] ^ x[55] ^ x[57] ^ x[60] ^ x[63] ^ d[0] ^ d[3] ^ d[5] ^ d[7] ^ d[8] ^ d[9] ^ d[11] ^ d[13] ^ d[14] ^ d[15] ^ d[16] ^ d[21] ^ d[22] ^ d[23] ^ d[28] ^ d[29] ^ d[30] ^ d[31] ^ d[33] ^ d[38] ^ d[41] ^ d[44] ^ d[47] ^ d[49] ^ d[50] ^ d[52] ^ d[53] ^ d[57] ^ d[59] ^ d[61] ^ d[62] ^ d[63];
x[24] <= x[0] ^ x[1] ^ x[5] ^ x[7] ^ x[8] ^ x[10] ^ x[11] ^ x[12] ^ x[15] ^ x[17] ^ x[18] ^ x[19] ^ x[22] ^ x[26] ^ x[27] ^ x[28] ^ x[30] ^ x[33] ^ x[34] ^ x[35] ^ x[37] ^ x[38] ^ x[40] ^ x[42] ^ x[44] ^ x[46] ^ x[48] ^ x[49] ^ x[50] ^ x[51] ^ x[52] ^ x[54] ^ x[56] ^ x[59] ^ x[60] ^ x[61] ^ x[63] ^ d[2] ^ d[4] ^ d[6] ^ d[7] ^ d[8] ^ d[10] ^ d[12] ^ d[13] ^ d[14] ^ d[15] ^ d[20] ^ d[21] ^ d[22] ^ d[27] ^ d[28] ^ d[29] ^ d[30] ^ d[32] ^ d[37] ^ d[40] ^ d[43] ^ d[46] ^ d[48] ^ d[49] ^ d[51] ^ d[52] ^ d[56] ^ d[58] ^ d[60] ^ d[61] ^ d[62] ^ d[63];
x[25] <= x[1] ^ x[2] ^ x[6] ^ x[8] ^ x[9] ^ x[11] ^ x[12] ^ x[13] ^ x[16] ^ x[18] ^ x[19] ^ x[20] ^ x[23] ^ x[27] ^ x[28] ^ x[29] ^ x[31] ^ x[34] ^ x[35] ^ x[36] ^ x[38] ^ x[39] ^ x[41] ^ x[43] ^ x[45] ^ x[47] ^ x[49] ^ x[50] ^ x[51] ^ x[52] ^ x[53] ^ x[55] ^ x[57] ^ x[60] ^ x[61] ^ x[62] ^ d[1] ^ d[3] ^ d[5] ^ d[6] ^ d[7] ^ d[9] ^ d[11] ^ d[12] ^ d[13] ^ d[14] ^ d[19] ^ d[20] ^ d[21] ^ d[26] ^ d[27] ^ d[28] ^ d[29] ^ d[31] ^ d[36] ^ d[39] ^ d[42] ^ d[45] ^ d[47] ^ d[48] ^ d[50] ^ d[51] ^ d[55] ^ d[57] ^ d[59] ^ d[60] ^ d[61] ^ d[62];
x[26] <= x[2] ^ x[3] ^ x[7] ^ x[9] ^ x[10] ^ x[12] ^ x[13] ^ x[14] ^ x[17] ^ x[19] ^ x[20] ^ x[21] ^ x[24] ^ x[28] ^ x[29] ^ x[30] ^ x[32] ^ x[35] ^ x[36] ^ x[37] ^ x[39] ^ x[40] ^ x[42] ^ x[44] ^ x[46] ^ x[48] ^ x[50] ^ x[51] ^ x[52] ^ x[53] ^ x[54] ^ x[56] ^ x[58] ^ x[61] ^ x[62] ^ x[63] ^ d[0] ^ d[2] ^ d[4] ^ d[5] ^ d[6] ^ d[8] ^ d[10] ^ d[11] ^ d[12] ^ d[13] ^ d[18] ^ d[19] ^ d[20] ^ d[25] ^ d[26] ^ d[27] ^ d[28] ^ d[30] ^ d[35] ^ d[38] ^ d[41] ^ d[44] ^ d[46] ^ d[47] ^ d[49] ^ d[50] ^ d[54] ^ d[56] ^ d[58] ^ d[59] ^ d[60] ^ d[61];
x[27] <= x[0] ^ x[2] ^ x[3] ^ x[6] ^ x[7] ^ x[9] ^ x[10] ^ x[11] ^ x[15] ^ x[16] ^ x[18] ^ x[19] ^ x[20] ^ x[22] ^ x[24] ^ x[26] ^ x[28] ^ x[29] ^ x[30] ^ x[31] ^ x[33] ^ x[34] ^ x[35] ^ x[36] ^ x[40] ^ x[42] ^ x[43] ^ x[45] ^ x[46] ^ x[47] ^ x[50] ^ x[54] ^ x[55] ^ x[57] ^ x[58] ^ x[60] ^ x[62] ^ d[1] ^ d[3] ^ d[4] ^ d[5] ^ d[7] ^ d[9] ^ d[10] ^ d[11] ^ d[12] ^ d[17] ^ d[18] ^ d[19] ^ d[24] ^ d[25] ^ d[26] ^ d[27] ^ d[29] ^ d[34] ^ d[37] ^ d[40] ^ d[43] ^ d[45] ^ d[46] ^ d[48] ^ d[49] ^ d[53] ^ d[55] ^ d[57] ^ d[58] ^ d[59] ^ d[60] ^ d[63];
x[28] <= x[1] ^ x[3] ^ x[4] ^ x[7] ^ x[8] ^ x[10] ^ x[11] ^ x[12] ^ x[16] ^ x[17] ^ x[19] ^ x[20] ^ x[21] ^ x[23] ^ x[25] ^ x[27] ^ x[29] ^ x[30] ^ x[31] ^ x[32] ^ x[34] ^ x[35] ^ x[36] ^ x[37] ^ x[41] ^ x[43] ^ x[44] ^ x[46] ^ x[47] ^ x[48] ^ x[51] ^ x[55] ^ x[56] ^ x[58] ^ x[59] ^ x[61] ^ x[63] ^ d[0] ^ d[2] ^ d[3] ^ d[4] ^ d[6] ^ d[8] ^ d[9] ^ d[10] ^ d[11] ^ d[16] ^ d[17] ^ d[18] ^ d[23] ^ d[24] ^ d[25] ^ d[26] ^ d[28] ^ d[33] ^ d[36] ^ d[39] ^ d[42] ^ d[44] ^ d[45] ^ d[47] ^ d[48] ^ d[52] ^ d[54] ^ d[56] ^ d[57] ^ d[58] ^ d[59] ^ d[62];
x[29] <= x[0] ^ x[5] ^ x[6] ^ x[7] ^ x[11] ^ x[12] ^ x[14] ^ x[16] ^ x[17] ^ x[18] ^ x[19] ^ x[20] ^ x[22] ^ x[25] ^ x[30] ^ x[31] ^ x[32] ^ x[33] ^ x[34] ^ x[36] ^ x[41] ^ x[44] ^ x[45] ^ x[46] ^ x[47] ^ x[48] ^ x[50] ^ x[51] ^ x[53] ^ x[56] ^ x[57] ^ x[58] ^ x[62] ^ x[63] ^ d[1] ^ d[2] ^ d[3] ^ d[5] ^ d[7] ^ d[8] ^ d[9] ^ d[10] ^ d[15] ^ d[16] ^ d[17] ^ d[22] ^ d[23] ^ d[24] ^ d[25] ^ d[27] ^ d[32] ^ d[35] ^ d[38] ^ d[41] ^ d[43] ^ d[44] ^ d[46] ^ d[47] ^ d[51] ^ d[53] ^ d[55] ^ d[56] ^ d[57] ^ d[58] ^ d[61] ^ d[63];
x[30] <= x[1] ^ x[6] ^ x[7] ^ x[8] ^ x[12] ^ x[13] ^ x[15] ^ x[17] ^ x[18] ^ x[19] ^ x[20] ^ x[21] ^ x[23] ^ x[26] ^ x[31] ^ x[32] ^ x[33] ^ x[34] ^ x[35] ^ x[37] ^ x[42] ^ x[45] ^ x[46] ^ x[47] ^ x[48] ^ x[49] ^ x[51] ^ x[52] ^ x[54] ^ x[57] ^ x[58] ^ x[59] ^ x[63] ^ d[0] ^ d[1] ^ d[2] ^ d[4] ^ d[6] ^ d[7] ^ d[8] ^ d[9] ^ d[14] ^ d[15] ^ d[16] ^ d[21] ^ d[22] ^ d[23] ^ d[24] ^ d[26] ^ d[31] ^ d[34] ^ d[37] ^ d[40] ^ d[42] ^ d[43] ^ d[45] ^ d[46] ^ d[50] ^ d[52] ^ d[54] ^ d[55] ^ d[56] ^ d[57] ^ d[60] ^ d[62];
x[31] <= x[0] ^ x[4] ^ x[6] ^ x[18] ^ x[20] ^ x[22] ^ x[25] ^ x[26] ^ x[27] ^ x[28] ^ x[32] ^ x[33] ^ x[36] ^ x[37] ^ x[41] ^ x[42] ^ x[43] ^ x[47] ^ x[48] ^ x[51] ^ x[55] ^ x[63] ^ d[0] ^ d[1] ^ d[3] ^ d[5] ^ d[6] ^ d[7] ^ d[8] ^ d[13] ^ d[14] ^ d[15] ^ d[20] ^ d[21] ^ d[22] ^ d[23] ^ d[25] ^ d[30] ^ d[33] ^ d[36] ^ d[39] ^ d[41] ^ d[42] ^ d[44] ^ d[45] ^ d[49] ^ d[51] ^ d[53] ^ d[54] ^ d[55] ^ d[56] ^ d[59] ^ d[61] ^ d[63];
x[32] <= x[0] ^ x[1] ^ x[2] ^ x[4] ^ x[5] ^ x[6] ^ x[8] ^ x[9] ^ x[13] ^ x[14] ^ x[16] ^ x[23] ^ x[24] ^ x[25] ^ x[27] ^ x[29] ^ x[33] ^ x[35] ^ x[41] ^ x[43] ^ x[44] ^ x[46] ^ x[48] ^ x[50] ^ x[51] ^ x[53] ^ x[56] ^ x[58] ^ x[59] ^ x[60] ^ x[63] ^ d[0] ^ d[2] ^ d[4] ^ d[5] ^ d[6] ^ d[7] ^ d[12] ^ d[13] ^ d[14] ^ d[19] ^ d[20] ^ d[21] ^ d[22] ^ d[24] ^ d[29] ^ d[32] ^ d[35] ^ d[38] ^ d[40] ^ d[41] ^ d[43] ^ d[44] ^ d[48] ^ d[50] ^ d[52] ^ d[53] ^ d[54] ^ d[55] ^ d[58] ^ d[60] ^ d[62] ^ d[63];
x[33] <= x[0] ^ x[1] ^ x[3] ^ x[4] ^ x[5] ^ x[8] ^ x[10] ^ x[13] ^ x[15] ^ x[16] ^ x[17] ^ x[19] ^ x[21] ^ x[30] ^ x[35] ^ x[36] ^ x[37] ^ x[38] ^ x[41] ^ x[44] ^ x[45] ^ x[46] ^ x[47] ^ x[50] ^ x[53] ^ x[54] ^ x[57] ^ x[58] ^ x[61] ^ x[63] ^ d[1] ^ d[3] ^ d[4] ^ d[5] ^ d[6] ^ d[11] ^ d[12] ^ d[13] ^ d[18] ^ d[19] ^ d[20] ^ d[21] ^ d[23] ^ d[28] ^ d[31] ^ d[34] ^ d[37] ^ d[39] ^ d[40] ^ d[42] ^ d[43] ^ d[47] ^ d[49] ^ d[51] ^ d[52] ^ d[53] ^ d[54] ^ d[57] ^ d[59] ^ d[61] ^ d[62] ^ d[63];
x[34] <= x[1] ^ x[2] ^ x[4] ^ x[5] ^ x[6] ^ x[9] ^ x[11] ^ x[14] ^ x[16] ^ x[17] ^ x[18] ^ x[20] ^ x[22] ^ x[31] ^ x[36] ^ x[37] ^ x[38] ^ x[39] ^ x[42] ^ x[45] ^ x[46] ^ x[47] ^ x[48] ^ x[51] ^ x[54] ^ x[55] ^ x[58] ^ x[59] ^ x[62] ^ d[0] ^ d[2] ^ d[3] ^ d[4] ^ d[5] ^ d[10] ^ d[11] ^ d[12] ^ d[17] ^ d[18] ^ d[19] ^ d[20] ^ d[22] ^ d[27] ^ d[30] ^ d[33] ^ d[36] ^ d[38] ^ d[39] ^ d[41] ^ d[42] ^ d[46] ^ d[48] ^ d[50] ^ d[51] ^ d[52] ^ d[53] ^ d[56] ^ d[58] ^ d[60] ^ d[61] ^ d[62];
x[35] <= x[0] ^ x[3] ^ x[4] ^ x[5] ^ x[8] ^ x[9] ^ x[10] ^ x[12] ^ x[13] ^ x[14] ^ x[15] ^ x[16] ^ x[17] ^ x[18] ^ x[23] ^ x[24] ^ x[25] ^ x[26] ^ x[28] ^ x[32] ^ x[34] ^ x[35] ^ x[39] ^ x[40] ^ x[41] ^ x[42] ^ x[43] ^ x[47] ^ x[48] ^ x[50] ^ x[51] ^ x[53] ^ x[55] ^ x[56] ^ x[58] ^ d[1] ^ d[2] ^ d[3] ^ d[4] ^ d[9] ^ d[10] ^ d[11] ^ d[16] ^ d[17] ^ d[18] ^ d[19] ^ d[21] ^ d[26] ^ d[29] ^ d[32] ^ d[35] ^ d[37] ^ d[38] ^ d[40] ^ d[41] ^ d[45] ^ d[47] ^ d[49] ^ d[50] ^ d[51] ^ d[52] ^ d[55] ^ d[57] ^ d[59] ^ d[60] ^ d[61] ^ d[63];
x[36] <= x[1] ^ x[4] ^ x[5] ^ x[6] ^ x[9] ^ x[10] ^ x[11] ^ x[13] ^ x[14] ^ x[15] ^ x[16] ^ x[17] ^ x[18] ^ x[19] ^ x[24] ^ x[25] ^ x[26] ^ x[27] ^ x[29] ^ x[33] ^ x[35] ^ x[36] ^ x[40] ^ x[41] ^ x[42] ^ x[43] ^ x[44] ^ x[48] ^ x[49] ^ x[51] ^ x[52] ^ x[54] ^ x[56] ^ x[57] ^ x[59] ^ d[0] ^ d[1] ^ d[2] ^ d[3] ^ d[8] ^ d[9] ^ d[10] ^ d[15] ^ d[16] ^ d[17] ^ d[18] ^ d[20] ^ d[25] ^ d[28] ^ d[31] ^ d[34] ^ d[36] ^ d[37] ^ d[39] ^ d[40] ^ d[44] ^ d[46] ^ d[48] ^ d[49] ^ d[50] ^ d[51] ^ d[54] ^ d[56] ^ d[58] ^ d[59] ^ d[60] ^ d[62];
x[37] <= x[0] ^ x[4] ^ x[5] ^ x[8] ^ x[9] ^ x[10] ^ x[11] ^ x[12] ^ x[13] ^ x[15] ^ x[17] ^ x[18] ^ x[20] ^ x[21] ^ x[24] ^ x[27] ^ x[30] ^ x[35] ^ x[36] ^ x[38] ^ x[43] ^ x[44] ^ x[45] ^ x[46] ^ x[51] ^ x[55] ^ x[57] ^ x[59] ^ x[63] ^ d[0] ^ d[1] ^ d[2] ^ d[7] ^ d[8] ^ d[9] ^ d[14] ^ d[15] ^ d[16] ^ d[17] ^ d[19] ^ d[24] ^ d[27] ^ d[30] ^ d[33] ^ d[35] ^ d[36] ^ d[38] ^ d[39] ^ d[43] ^ d[45] ^ d[47] ^ d[48] ^ d[49] ^ d[50] ^ d[53] ^ d[55] ^ d[57] ^ d[58] ^ d[59] ^ d[61] ^ d[63];
x[38] <= x[0] ^ x[1] ^ x[2] ^ x[4] ^ x[5] ^ x[7] ^ x[8] ^ x[10] ^ x[11] ^ x[12] ^ x[18] ^ x[22] ^ x[24] ^ x[26] ^ x[31] ^ x[34] ^ x[35] ^ x[36] ^ x[38] ^ x[39] ^ x[41] ^ x[42] ^ x[44] ^ x[45] ^ x[47] ^ x[49] ^ x[50] ^ x[51] ^ x[53] ^ x[56] ^ x[59] ^ x[63] ^ d[0] ^ d[1] ^ d[6] ^ d[7] ^ d[8] ^ d[13] ^ d[14] ^ d[15] ^ d[16] ^ d[18] ^ d[23] ^ d[26] ^ d[29] ^ d[32] ^ d[34] ^ d[35] ^ d[37] ^ d[38] ^ d[42] ^ d[44] ^ d[46] ^ d[47] ^ d[48] ^ d[49] ^ d[52] ^ d[54] ^ d[56] ^ d[57] ^ d[58] ^ d[60] ^ d[62] ^ d[63];
x[39] <= x[0] ^ x[1] ^ x[3] ^ x[4] ^ x[5] ^ x[7] ^ x[11] ^ x[12] ^ x[14] ^ x[16] ^ x[21] ^ x[23] ^ x[24] ^ x[26] ^ x[27] ^ x[28] ^ x[32] ^ x[34] ^ x[36] ^ x[38] ^ x[39] ^ x[40] ^ x[41] ^ x[43] ^ x[45] ^ x[48] ^ x[49] ^ x[53] ^ x[54] ^ x[57] ^ x[58] ^ x[59] ^ x[63] ^ d[0] ^ d[5] ^ d[6] ^ d[7] ^ d[12] ^ d[13] ^ d[14] ^ d[15] ^ d[17] ^ d[22] ^ d[25] ^ d[28] ^ d[31] ^ d[33] ^ d[34] ^ d[36] ^ d[37] ^ d[41] ^ d[43] ^ d[45] ^ d[46] ^ d[47] ^ d[48] ^ d[51] ^ d[53] ^ d[55] ^ d[56] ^ d[57] ^ d[59] ^ d[61] ^ d[62] ^ d[63];
x[40] <= x[0] ^ x[1] ^ x[5] ^ x[7] ^ x[9] ^ x[12] ^ x[14] ^ x[15] ^ x[16] ^ x[17] ^ x[19] ^ x[21] ^ x[22] ^ x[26] ^ x[27] ^ x[29] ^ x[33] ^ x[34] ^ x[38] ^ x[39] ^ x[40] ^ x[44] ^ x[51] ^ x[52] ^ x[53] ^ x[54] ^ x[55] ^ x[63] ^ d[4] ^ d[5] ^ d[6] ^ d[11] ^ d[12] ^ d[13] ^ d[14] ^ d[16] ^ d[21] ^ d[24] ^ d[27] ^ d[30] ^ d[32] ^ d[33] ^ d[35] ^ d[36] ^ d[40] ^ d[42] ^ d[44] ^ d[45] ^ d[46] ^ d[47] ^ d[50] ^ d[52] ^ d[54] ^ d[55] ^ d[56] ^ d[58] ^ d[60] ^ d[61] ^ d[62] ^ d[63];
x[41] <= x[1] ^ x[2] ^ x[6] ^ x[8] ^ x[10] ^ x[13] ^ x[15] ^ x[16] ^ x[17] ^ x[18] ^ x[20] ^ x[22] ^ x[23] ^ x[27] ^ x[28] ^ x[30] ^ x[34] ^ x[35] ^ x[39] ^ x[40] ^ x[41] ^ x[45] ^ x[52] ^ x[53] ^ x[54] ^ x[55] ^ x[56] ^ d[3] ^ d[4] ^ d[5] ^ d[10] ^ d[11] ^ d[12] ^ d[13] ^ d[15] ^ d[20] ^ d[23] ^ d[26] ^ d[29] ^ d[31] ^ d[32] ^ d[34] ^ d[35] ^ d[39] ^ d[41] ^ d[43] ^ d[44] ^ d[45] ^ d[46] ^ d[49] ^ d[51] ^ d[53] ^ d[54] ^ d[55] ^ d[57] ^ d[59] ^ d[60] ^ d[61] ^ d[62];
x[42] <= x[2] ^ x[3] ^ x[7] ^ x[9] ^ x[11] ^ x[14] ^ x[16] ^ x[17] ^ x[18] ^ x[19] ^ x[21] ^ x[23] ^ x[24] ^ x[28] ^ x[29] ^ x[31] ^ x[35] ^ x[36] ^ x[40] ^ x[41] ^ x[42] ^ x[46] ^ x[53] ^ x[54] ^ x[55] ^ x[56] ^ x[57] ^ d[2] ^ d[3] ^ d[4] ^ d[9] ^ d[10] ^ d[11] ^ d[12] ^ d[14] ^ d[19] ^ d[22] ^ d[25] ^ d[28] ^ d[30] ^ d[31] ^ d[33] ^ d[34] ^ d[38] ^ d[40] ^ d[42] ^ d[43] ^ d[44] ^ d[45] ^ d[48] ^ d[50] ^ d[52] ^ d[53] ^ d[54] ^ d[56] ^ d[58] ^ d[59] ^ d[60] ^ d[61];
x[43] <= x[3] ^ x[4] ^ x[8] ^ x[10] ^ x[12] ^ x[15] ^ x[17] ^ x[18] ^ x[19] ^ x[20] ^ x[22] ^ x[24] ^ x[25] ^ x[29] ^ x[30] ^ x[32] ^ x[36] ^ x[37] ^ x[41] ^ x[42] ^ x[43] ^ x[47] ^ x[54] ^ x[55] ^ x[56] ^ x[57] ^ x[58] ^ d[1] ^ d[2] ^ d[3] ^ d[8] ^ d[9] ^ d[10] ^ d[11] ^ d[13] ^ d[18] ^ d[21] ^ d[24] ^ d[27] ^ d[29] ^ d[30] ^ d[32] ^ d[33] ^ d[37] ^ d[39] ^ d[41] ^ d[42] ^ d[43] ^ d[44] ^ d[47] ^ d[49] ^ d[51] ^ d[52] ^ d[53] ^ d[55] ^ d[57] ^ d[58] ^ d[59] ^ d[60];
x[44] <= x[4] ^ x[5] ^ x[9] ^ x[11] ^ x[13] ^ x[16] ^ x[18] ^ x[19] ^ x[20] ^ x[21] ^ x[23] ^ x[25] ^ x[26] ^ x[30] ^ x[31] ^ x[33] ^ x[37] ^ x[38] ^ x[42] ^ x[43] ^ x[44] ^ x[48] ^ x[55] ^ x[56] ^ x[57] ^ x[58] ^ x[59] ^ d[0] ^ d[1] ^ d[2] ^ d[7] ^ d[8] ^ d[9] ^ d[10] ^ d[12] ^ d[17] ^ d[20] ^ d[23] ^ d[26] ^ d[28] ^ d[29] ^ d[31] ^ d[32] ^ d[36] ^ d[38] ^ d[40] ^ d[41] ^ d[42] ^ d[43] ^ d[46] ^ d[48] ^ d[50] ^ d[51] ^ d[52] ^ d[54] ^ d[56] ^ d[57] ^ d[58] ^ d[59];
x[45] <= x[0] ^ x[2] ^ x[4] ^ x[5] ^ x[7] ^ x[8] ^ x[9] ^ x[10] ^ x[12] ^ x[13] ^ x[16] ^ x[17] ^ x[20] ^ x[22] ^ x[25] ^ x[27] ^ x[28] ^ x[31] ^ x[32] ^ x[35] ^ x[37] ^ x[39] ^ x[41] ^ x[42] ^ x[43] ^ x[44] ^ x[45] ^ x[46] ^ x[50] ^ x[51] ^ x[52] ^ x[53] ^ x[56] ^ x[57] ^ x[63] ^ d[0] ^ d[1] ^ d[6] ^ d[7] ^ d[8] ^ d[9] ^ d[11] ^ d[16] ^ d[19] ^ d[22] ^ d[25] ^ d[27] ^ d[28] ^ d[30] ^ d[31] ^ d[35] ^ d[37] ^ d[39] ^ d[40] ^ d[41] ^ d[42] ^ d[45] ^ d[47] ^ d[49] ^ d[50] ^ d[51] ^ d[53] ^ d[55] ^ d[56] ^ d[57] ^ d[58] ^ d[63];
x[46] <= x[0] ^ x[1] ^ x[2] ^ x[3] ^ x[4] ^ x[5] ^ x[7] ^ x[10] ^ x[11] ^ x[16] ^ x[17] ^ x[18] ^ x[19] ^ x[23] ^ x[24] ^ x[25] ^ x[29] ^ x[32] ^ x[33] ^ x[34] ^ x[35] ^ x[36] ^ x[37] ^ x[40] ^ x[41] ^ x[43] ^ x[44] ^ x[45] ^ x[47] ^ x[49] ^ x[50] ^ x[54] ^ x[57] ^ x[59] ^ x[60] ^ x[63] ^ d[0] ^ d[5] ^ d[6] ^ d[7] ^ d[8] ^ d[10] ^ d[15] ^ d[18] ^ d[21] ^ d[24] ^ d[26] ^ d[27] ^ d[29] ^ d[30] ^ d[34] ^ d[36] ^ d[38] ^ d[39] ^ d[40] ^ d[41] ^ d[44] ^ d[46] ^ d[48] ^ d[49] ^ d[50] ^ d[52] ^ d[54] ^ d[55] ^ d[56] ^ d[57] ^ d[62] ^ d[63];
x[47] <= x[0] ^ x[1] ^ x[3] ^ x[5] ^ x[7] ^ x[9] ^ x[11] ^ x[12] ^ x[13] ^ x[14] ^ x[16] ^ x[17] ^ x[18] ^ x[20] ^ x[21] ^ x[28] ^ x[30] ^ x[33] ^ x[36] ^ x[44] ^ x[45] ^ x[48] ^ x[49] ^ x[52] ^ x[53] ^ x[55] ^ x[59] ^ x[61] ^ x[63] ^ d[4] ^ d[5] ^ d[6] ^ d[7] ^ d[9] ^ d[14] ^ d[17] ^ d[20] ^ d[23] ^ d[25] ^ d[26] ^ d[28] ^ d[29] ^ d[33] ^ d[35] ^ d[37] ^ d[38] ^ d[39] ^ d[40] ^ d[43] ^ d[45] ^ d[47] ^ d[48] ^ d[49] ^ d[51] ^ d[53] ^ d[54] ^ d[55] ^ d[56] ^ d[61] ^ d[62] ^ d[63];
x[48] <= x[1] ^ x[2] ^ x[4] ^ x[6] ^ x[8] ^ x[10] ^ x[12] ^ x[13] ^ x[14] ^ x[15] ^ x[17] ^ x[18] ^ x[19] ^ x[21] ^ x[22] ^ x[29] ^ x[31] ^ x[34] ^ x[37] ^ x[45] ^ x[46] ^ x[49] ^ x[50] ^ x[53] ^ x[54] ^ x[56] ^ x[60] ^ x[62] ^ d[3] ^ d[4] ^ d[5] ^ d[6] ^ d[8] ^ d[13] ^ d[16] ^ d[19] ^ d[22] ^ d[24] ^ d[25] ^ d[27] ^ d[28] ^ d[32] ^ d[34] ^ d[36] ^ d[37] ^ d[38] ^ d[39] ^ d[42] ^ d[44] ^ d[46] ^ d[47] ^ d[48] ^ d[50] ^ d[52] ^ d[53] ^ d[54] ^ d[55] ^ d[60] ^ d[61] ^ d[62];
x[49] <= x[2] ^ x[3] ^ x[5] ^ x[7] ^ x[9] ^ x[11] ^ x[13] ^ x[14] ^ x[15] ^ x[16] ^ x[18] ^ x[19] ^ x[20] ^ x[22] ^ x[23] ^ x[30] ^ x[32] ^ x[35] ^ x[38] ^ x[46] ^ x[47] ^ x[50] ^ x[51] ^ x[54] ^ x[55] ^ x[57] ^ x[61] ^ x[63] ^ d[2] ^ d[3] ^ d[4] ^ d[5] ^ d[7] ^ d[12] ^ d[15] ^ d[18] ^ d[21] ^ d[23] ^ d[24] ^ d[26] ^ d[27] ^ d[31] ^ d[33] ^ d[35] ^ d[36] ^ d[37] ^ d[38] ^ d[41] ^ d[43] ^ d[45] ^ d[46] ^ d[47] ^ d[49] ^ d[51] ^ d[52] ^ d[53] ^ d[54] ^ d[59] ^ d[60] ^ d[61];
x[50] <= x[3] ^ x[4] ^ x[6] ^ x[8] ^ x[10] ^ x[12] ^ x[14] ^ x[15] ^ x[16] ^ x[17] ^ x[19] ^ x[20] ^ x[21] ^ x[23] ^ x[24] ^ x[31] ^ x[33] ^ x[36] ^ x[39] ^ x[47] ^ x[48] ^ x[51] ^ x[52] ^ x[55] ^ x[56] ^ x[58] ^ x[62] ^ d[1] ^ d[2] ^ d[3] ^ d[4] ^ d[6] ^ d[11] ^ d[14] ^ d[17] ^ d[20] ^ d[22] ^ d[23] ^ d[25] ^ d[26] ^ d[30] ^ d[32] ^ d[34] ^ d[35] ^ d[36] ^ d[37] ^ d[40] ^ d[42] ^ d[44] ^ d[45] ^ d[46] ^ d[48] ^ d[50] ^ d[51] ^ d[52] ^ d[53] ^ d[58] ^ d[59] ^ d[60];
x[51] <= x[4] ^ x[5] ^ x[7] ^ x[9] ^ x[11] ^ x[13] ^ x[15] ^ x[16] ^ x[17] ^ x[18] ^ x[20] ^ x[21] ^ x[22] ^ x[24] ^ x[25] ^ x[32] ^ x[34] ^ x[37] ^ x[40] ^ x[48] ^ x[49] ^ x[52] ^ x[53] ^ x[56] ^ x[57] ^ x[59] ^ x[63] ^ d[0] ^ d[1] ^ d[2] ^ d[3] ^ d[5] ^ d[10] ^ d[13] ^ d[16] ^ d[19] ^ d[21] ^ d[22] ^ d[24] ^ d[25] ^ d[29] ^ d[31] ^ d[33] ^ d[34] ^ d[35] ^ d[36] ^ d[39] ^ d[41] ^ d[43] ^ d[44] ^ d[45] ^ d[47] ^ d[49] ^ d[50] ^ d[51] ^ d[52] ^ d[57] ^ d[58] ^ d[59];
x[52] <= x[0] ^ x[2] ^ x[4] ^ x[5] ^ x[7] ^ x[9] ^ x[10] ^ x[12] ^ x[13] ^ x[17] ^ x[18] ^ x[22] ^ x[23] ^ x[24] ^ x[28] ^ x[33] ^ x[34] ^ x[37] ^ x[42] ^ x[46] ^ x[51] ^ x[52] ^ x[54] ^ x[57] ^ x[59] ^ x[63] ^ d[0] ^ d[1] ^ d[2] ^ d[4] ^ d[9] ^ d[12] ^ d[15] ^ d[18] ^ d[20] ^ d[21] ^ d[23] ^ d[24] ^ d[28] ^ d[30] ^ d[32] ^ d[33] ^ d[34] ^ d[35] ^ d[38] ^ d[40] ^ d[42] ^ d[43] ^ d[44] ^ d[46] ^ d[48] ^ d[49] ^ d[50] ^ d[51] ^ d[56] ^ d[57] ^ d[58] ^ d[63];
x[53] <= x[0] ^ x[1] ^ x[2] ^ x[3] ^ x[4] ^ x[5] ^ x[7] ^ x[9] ^ x[10] ^ x[11] ^ x[16] ^ x[18] ^ x[21] ^ x[23] ^ x[26] ^ x[28] ^ x[29] ^ x[37] ^ x[41] ^ x[42] ^ x[43] ^ x[46] ^ x[47] ^ x[49] ^ x[50] ^ x[51] ^ x[55] ^ x[59] ^ x[63] ^ d[0] ^ d[1] ^ d[3] ^ d[8] ^ d[11] ^ d[14] ^ d[17] ^ d[19] ^ d[20] ^ d[22] ^ d[23] ^ d[27] ^ d[29] ^ d[31] ^ d[32] ^ d[33] ^ d[34] ^ d[37] ^ d[39] ^ d[41] ^ d[42] ^ d[43] ^ d[45] ^ d[47] ^ d[48] ^ d[49] ^ d[50] ^ d[55] ^ d[56] ^ d[57] ^ d[62] ^ d[63];
x[54] <= x[0] ^ x[1] ^ x[3] ^ x[5] ^ x[7] ^ x[9] ^ x[10] ^ x[11] ^ x[12] ^ x[13] ^ x[14] ^ x[16] ^ x[17] ^ x[21] ^ x[22] ^ x[25] ^ x[26] ^ x[27] ^ x[28] ^ x[29] ^ x[30] ^ x[34] ^ x[35] ^ x[37] ^ x[41] ^ x[43] ^ x[44] ^ x[46] ^ x[47] ^ x[48] ^ x[49] ^ x[53] ^ x[56] ^ x[58] ^ x[59] ^ x[63] ^ d[0] ^ d[2] ^ d[7] ^ d[10] ^ d[13] ^ d[16] ^ d[18] ^ d[19] ^ d[21] ^ d[22] ^ d[26] ^ d[28] ^ d[30] ^ d[31] ^ d[32] ^ d[33] ^ d[36] ^ d[38] ^ d[40] ^ d[41] ^ d[42] ^ d[44] ^ d[46] ^ d[47] ^ d[48] ^ d[49] ^ d[54] ^ d[55] ^ d[56] ^ d[61] ^ d[62] ^ d[63];
x[55] <= x[0] ^ x[1] ^ x[7] ^ x[9] ^ x[10] ^ x[11] ^ x[12] ^ x[15] ^ x[16] ^ x[17] ^ x[18] ^ x[19] ^ x[21] ^ x[22] ^ x[23] ^ x[24] ^ x[25] ^ x[27] ^ x[29] ^ x[30] ^ x[31] ^ x[34] ^ x[36] ^ x[37] ^ x[41] ^ x[44] ^ x[45] ^ x[46] ^ x[47] ^ x[48] ^ x[51] ^ x[52] ^ x[53] ^ x[54] ^ x[57] ^ x[58] ^ x[63] ^ d[1] ^ d[6] ^ d[9] ^ d[12] ^ d[15] ^ d[17] ^ d[18] ^ d[20] ^ d[21] ^ d[25] ^ d[27] ^ d[29] ^ d[30] ^ d[31] ^ d[32] ^ d[35] ^ d[37] ^ d[39] ^ d[40] ^ d[41] ^ d[43] ^ d[45] ^ d[46] ^ d[47] ^ d[48] ^ d[53] ^ d[54] ^ d[55] ^ d[60] ^ d[61] ^ d[62] ^ d[63];
x[56] <= x[1] ^ x[2] ^ x[8] ^ x[10] ^ x[11] ^ x[12] ^ x[13] ^ x[16] ^ x[17] ^ x[18] ^ x[19] ^ x[20] ^ x[22] ^ x[23] ^ x[24] ^ x[25] ^ x[26] ^ x[28] ^ x[30] ^ x[31] ^ x[32] ^ x[35] ^ x[37] ^ x[38] ^ x[42] ^ x[45] ^ x[46] ^ x[47] ^ x[48] ^ x[49] ^ x[52] ^ x[53] ^ x[54] ^ x[55] ^ x[58] ^ x[59] ^ d[0] ^ d[5] ^ d[8] ^ d[11] ^ d[14] ^ d[16] ^ d[17] ^ d[19] ^ d[20] ^ d[24] ^ d[26] ^ d[28] ^ d[29] ^ d[30] ^ d[31] ^ d[34] ^ d[36] ^ d[38] ^ d[39] ^ d[40] ^ d[42] ^ d[44] ^ d[45] ^ d[46] ^ d[47] ^ d[52] ^ d[53] ^ d[54] ^ d[59] ^ d[60] ^ d[61] ^ d[62];
x[57] <= x[0] ^ x[3] ^ x[4] ^ x[6] ^ x[7] ^ x[8] ^ x[11] ^ x[12] ^ x[16] ^ x[17] ^ x[18] ^ x[20] ^ x[23] ^ x[27] ^ x[28] ^ x[29] ^ x[31] ^ x[32] ^ x[33] ^ x[34] ^ x[35] ^ x[36] ^ x[37] ^ x[39] ^ x[41] ^ x[42] ^ x[43] ^ x[47] ^ x[48] ^ x[51] ^ x[52] ^ x[54] ^ x[55] ^ x[56] ^ x[58] ^ x[63] ^ d[4] ^ d[7] ^ d[10] ^ d[13] ^ d[15] ^ d[16] ^ d[18] ^ d[19] ^ d[23] ^ d[25] ^ d[27] ^ d[28] ^ d[29] ^ d[30] ^ d[33] ^ d[35] ^ d[37] ^ d[38] ^ d[39] ^ d[41] ^ d[43] ^ d[44] ^ d[45] ^ d[46] ^ d[51] ^ d[52] ^ d[53] ^ d[58] ^ d[59] ^ d[60] ^ d[61] ^ d[63];
x[58] <= x[1] ^ x[4] ^ x[5] ^ x[7] ^ x[8] ^ x[9] ^ x[12] ^ x[13] ^ x[17] ^ x[18] ^ x[19] ^ x[21] ^ x[24] ^ x[28] ^ x[29] ^ x[30] ^ x[32] ^ x[33] ^ x[34] ^ x[35] ^ x[36] ^ x[37] ^ x[38] ^ x[40] ^ x[42] ^ x[43] ^ x[44] ^ x[48] ^ x[49] ^ x[52] ^ x[53] ^ x[55] ^ x[56] ^ x[57] ^ x[59] ^ d[3] ^ d[6] ^ d[9] ^ d[12] ^ d[14] ^ d[15] ^ d[17] ^ d[18] ^ d[22] ^ d[24] ^ d[26] ^ d[27] ^ d[28] ^ d[29] ^ d[32] ^ d[34] ^ d[36] ^ d[37] ^ d[38] ^ d[40] ^ d[42] ^ d[43] ^ d[44] ^ d[45] ^ d[50] ^ d[51] ^ d[52] ^ d[57] ^ d[58] ^ d[59] ^ d[60] ^ d[62];
x[59] <= x[2] ^ x[5] ^ x[6] ^ x[8] ^ x[9] ^ x[10] ^ x[13] ^ x[14] ^ x[18] ^ x[19] ^ x[20] ^ x[22] ^ x[25] ^ x[29] ^ x[30] ^ x[31] ^ x[33] ^ x[34] ^ x[35] ^ x[36] ^ x[37] ^ x[38] ^ x[39] ^ x[41] ^ x[43] ^ x[44] ^ x[45] ^ x[49] ^ x[50] ^ x[53] ^ x[54] ^ x[56] ^ x[57] ^ x[58] ^ x[60] ^ d[2] ^ d[5] ^ d[8] ^ d[11] ^ d[13] ^ d[14] ^ d[16] ^ d[17] ^ d[21] ^ d[23] ^ d[25] ^ d[26] ^ d[27] ^ d[28] ^ d[31] ^ d[33] ^ d[35] ^ d[36] ^ d[37] ^ d[39] ^ d[41] ^ d[42] ^ d[43] ^ d[44] ^ d[49] ^ d[50] ^ d[51] ^ d[56] ^ d[57] ^ d[58] ^ d[59] ^ d[61];
x[60] <= x[3] ^ x[6] ^ x[7] ^ x[9] ^ x[10] ^ x[11] ^ x[14] ^ x[15] ^ x[19] ^ x[20] ^ x[21] ^ x[23] ^ x[26] ^ x[30] ^ x[31] ^ x[32] ^ x[34] ^ x[35] ^ x[36] ^ x[37] ^ x[38] ^ x[39] ^ x[40] ^ x[42] ^ x[44] ^ x[45] ^ x[46] ^ x[50] ^ x[51] ^ x[54] ^ x[55] ^ x[57] ^ x[58] ^ x[59] ^ x[61] ^ d[1] ^ d[4] ^ d[7] ^ d[10] ^ d[12] ^ d[13] ^ d[15] ^ d[16] ^ d[20] ^ d[22] ^ d[24] ^ d[25] ^ d[26] ^ d[27] ^ d[30] ^ d[32] ^ d[34] ^ d[35] ^ d[36] ^ d[38] ^ d[40] ^ d[41] ^ d[42] ^ d[43] ^ d[48] ^ d[49] ^ d[50] ^ d[55] ^ d[56] ^ d[57] ^ d[58] ^ d[60];
x[61] <= x[4] ^ x[7] ^ x[8] ^ x[10] ^ x[11] ^ x[12] ^ x[15] ^ x[16] ^ x[20] ^ x[21] ^ x[22] ^ x[24] ^ x[27] ^ x[31] ^ x[32] ^ x[33] ^ x[35] ^ x[36] ^ x[37] ^ x[38] ^ x[39] ^ x[40] ^ x[41] ^ x[43] ^ x[45] ^ x[46] ^ x[47] ^ x[51] ^ x[52] ^ x[55] ^ x[56] ^ x[58] ^ x[59] ^ x[60] ^ x[62] ^ d[0] ^ d[3] ^ d[6] ^ d[9] ^ d[11] ^ d[12] ^ d[14] ^ d[15] ^ d[19] ^ d[21] ^ d[23] ^ d[24] ^ d[25] ^ d[26] ^ d[29] ^ d[31] ^ d[33] ^ d[34] ^ d[35] ^ d[37] ^ d[39] ^ d[40] ^ d[41] ^ d[42] ^ d[47] ^ d[48] ^ d[49] ^ d[54] ^ d[55] ^ d[56] ^ d[57] ^ d[59];
x[62] <= x[0] ^ x[2] ^ x[4] ^ x[5] ^ x[6] ^ x[7] ^ x[11] ^ x[12] ^ x[14] ^ x[17] ^ x[19] ^ x[22] ^ x[23] ^ x[24] ^ x[26] ^ x[32] ^ x[33] ^ x[35] ^ x[36] ^ x[39] ^ x[40] ^ x[44] ^ x[47] ^ x[48] ^ x[49] ^ x[50] ^ x[51] ^ x[56] ^ x[57] ^ x[58] ^ x[61] ^ d[2] ^ d[5] ^ d[8] ^ d[10] ^ d[11] ^ d[13] ^ d[14] ^ d[18] ^ d[20] ^ d[22] ^ d[23] ^ d[24] ^ d[25] ^ d[28] ^ d[30] ^ d[32] ^ d[33] ^ d[34] ^ d[36] ^ d[38] ^ d[39] ^ d[40] ^ d[41] ^ d[46] ^ d[47] ^ d[48] ^ d[53] ^ d[54] ^ d[55] ^ d[56] ^ d[58] ^ d[63];
x[63] <= x[1] ^ x[3] ^ x[5] ^ x[6] ^ x[7] ^ x[8] ^ x[12] ^ x[13] ^ x[15] ^ x[18] ^ x[20] ^ x[23] ^ x[24] ^ x[25] ^ x[27] ^ x[33] ^ x[34] ^ x[36] ^ x[37] ^ x[40] ^ x[41] ^ x[45] ^ x[48] ^ x[49] ^ x[50] ^ x[51] ^ x[52] ^ x[57] ^ x[58] ^ x[59] ^ x[62] ^ d[1] ^ d[4] ^ d[7] ^ d[9] ^ d[10] ^ d[12] ^ d[13] ^ d[17] ^ d[19] ^ d[21] ^ d[22] ^ d[23] ^ d[24] ^ d[27] ^ d[29] ^ d[31] ^ d[32] ^ d[33] ^ d[35] ^ d[37] ^ d[38] ^ d[39] ^ d[40] ^ d[45] ^ d[46] ^ d[47] ^ d[52] ^ d[53] ^ d[54] ^ d[55] ^ d[57] ^ d[62];