// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // [8][8]bool m; [8][8]bool t; thread TransHull { m[0][0] = m[0][0] | m[0][0] & m[0][0]; m[0][1] = m[0][1] | m[0][0] & m[0][1]; m[0][2] = m[0][2] | m[0][0] & m[0][2]; m[0][3] = m[0][3] | m[0][0] & m[0][3]; m[0][4] = m[0][4] | m[0][0] & m[0][4]; m[0][5] = m[0][5] | m[0][0] & m[0][5]; m[0][6] = m[0][6] | m[0][0] & m[0][6]; m[0][7] = m[0][7] | m[0][0] & m[0][7]; m[1][0] = m[1][0] | m[1][0] & m[0][0]; m[1][1] = m[1][1] | m[1][0] & m[0][1]; m[1][2] = m[1][2] | m[1][0] & m[0][2]; m[1][3] = m[1][3] | m[1][0] & m[0][3]; m[1][4] = m[1][4] | m[1][0] & m[0][4]; m[1][5] = m[1][5] | m[1][0] & m[0][5]; m[1][6] = m[1][6] | m[1][0] & m[0][6]; m[1][7] = m[1][7] | m[1][0] & m[0][7]; m[2][0] = m[2][0] | m[2][0] & m[0][0]; m[2][1] = m[2][1] | m[2][0] & m[0][1]; m[2][2] = m[2][2] | m[2][0] & m[0][2]; m[2][3] = m[2][3] | m[2][0] & m[0][3]; m[2][4] = m[2][4] | m[2][0] & m[0][4]; m[2][5] = m[2][5] | m[2][0] & m[0][5]; m[2][6] = m[2][6] | m[2][0] & m[0][6]; m[2][7] = m[2][7] | m[2][0] & m[0][7]; m[3][0] = m[3][0] | m[3][0] & m[0][0]; m[3][1] = m[3][1] | m[3][0] & m[0][1]; m[3][2] = m[3][2] | m[3][0] & m[0][2]; m[3][3] = m[3][3] | m[3][0] & m[0][3]; m[3][4] = m[3][4] | m[3][0] & m[0][4]; m[3][5] = m[3][5] | m[3][0] & m[0][5]; m[3][6] = m[3][6] | m[3][0] & m[0][6]; m[3][7] = m[3][7] | m[3][0] & m[0][7]; m[4][0] = m[4][0] | m[4][0] & m[0][0]; m[4][1] = m[4][1] | m[4][0] & m[0][1]; m[4][2] = m[4][2] | m[4][0] & m[0][2]; m[4][3] = m[4][3] | m[4][0] & m[0][3]; m[4][4] = m[4][4] | m[4][0] & m[0][4]; m[4][5] = m[4][5] | m[4][0] & m[0][5]; m[4][6] = m[4][6] | m[4][0] & m[0][6]; m[4][7] = m[4][7] | m[4][0] & m[0][7]; m[5][0] = m[5][0] | m[5][0] & m[0][0]; m[5][1] = m[5][1] | m[5][0] & m[0][1]; m[5][2] = m[5][2] | m[5][0] & m[0][2]; m[5][3] = m[5][3] | m[5][0] & m[0][3]; m[5][4] = m[5][4] | m[5][0] & m[0][4]; m[5][5] = m[5][5] | m[5][0] & m[0][5]; m[5][6] = m[5][6] | m[5][0] & m[0][6]; m[5][7] = m[5][7] | m[5][0] & m[0][7]; m[6][0] = m[6][0] | m[6][0] & m[0][0]; m[6][1] = m[6][1] | m[6][0] & m[0][1]; m[6][2] = m[6][2] | m[6][0] & m[0][2]; m[6][3] = m[6][3] | m[6][0] & m[0][3]; m[6][4] = m[6][4] | m[6][0] & m[0][4]; m[6][5] = m[6][5] | m[6][0] & m[0][5]; m[6][6] = m[6][6] | m[6][0] & m[0][6]; m[6][7] = m[6][7] | m[6][0] & m[0][7]; m[7][0] = m[7][0] | m[7][0] & m[0][0]; m[7][1] = m[7][1] | m[7][0] & m[0][1]; m[7][2] = m[7][2] | m[7][0] & m[0][2]; m[7][3] = m[7][3] | m[7][0] & m[0][3]; m[7][4] = m[7][4] | m[7][0] & m[0][4]; m[7][5] = m[7][5] | m[7][0] & m[0][5]; m[7][6] = m[7][6] | m[7][0] & m[0][6]; m[7][7] = m[7][7] | m[7][0] & m[0][7]; m[0][0] = m[0][0] | m[0][1] & m[1][0]; m[0][1] = m[0][1] | m[0][1] & m[1][1]; m[0][2] = m[0][2] | m[0][1] & m[1][2]; m[0][3] = m[0][3] | m[0][1] & m[1][3]; m[0][4] = m[0][4] | m[0][1] & m[1][4]; m[0][5] = m[0][5] | m[0][1] & m[1][5]; m[0][6] = m[0][6] | m[0][1] & m[1][6]; m[0][7] = m[0][7] | m[0][1] & m[1][7]; m[1][0] = m[1][0] | m[1][1] & m[1][0]; m[1][1] = m[1][1] | m[1][1] & m[1][1]; m[1][2] = m[1][2] | m[1][1] & m[1][2]; m[1][3] = m[1][3] | m[1][1] & m[1][3]; m[1][4] = m[1][4] | m[1][1] & m[1][4]; m[1][5] = m[1][5] | m[1][1] & m[1][5]; m[1][6] = m[1][6] | m[1][1] & m[1][6]; m[1][7] = m[1][7] | m[1][1] & m[1][7]; m[2][0] = m[2][0] | m[2][1] & m[1][0]; m[2][1] = m[2][1] | m[2][1] & m[1][1]; m[2][2] = m[2][2] | m[2][1] & m[1][2]; m[2][3] = m[2][3] | m[2][1] & m[1][3]; m[2][4] = m[2][4] | m[2][1] & m[1][4]; m[2][5] = m[2][5] | m[2][1] & m[1][5]; m[2][6] = m[2][6] | m[2][1] & m[1][6]; m[2][7] = m[2][7] | m[2][1] & m[1][7]; m[3][0] = m[3][0] | m[3][1] & m[1][0]; m[3][1] = m[3][1] | m[3][1] & m[1][1]; m[3][2] = m[3][2] | m[3][1] & m[1][2]; m[3][3] = m[3][3] | m[3][1] & m[1][3]; m[3][4] = m[3][4] | m[3][1] & m[1][4]; m[3][5] = m[3][5] | m[3][1] & m[1][5]; m[3][6] = m[3][6] | m[3][1] & m[1][6]; m[3][7] = m[3][7] | m[3][1] & m[1][7]; m[4][0] = m[4][0] | m[4][1] & m[1][0]; m[4][1] = m[4][1] | m[4][1] & m[1][1]; m[4][2] = m[4][2] | m[4][1] & m[1][2]; m[4][3] = m[4][3] | m[4][1] & m[1][3]; m[4][4] = m[4][4] | m[4][1] & m[1][4]; m[4][5] = m[4][5] | m[4][1] & m[1][5]; m[4][6] = m[4][6] | m[4][1] & m[1][6]; m[4][7] = m[4][7] | m[4][1] & m[1][7]; m[5][0] = m[5][0] | m[5][1] & m[1][0]; m[5][1] = m[5][1] | m[5][1] & m[1][1]; m[5][2] = m[5][2] | m[5][1] & m[1][2]; m[5][3] = m[5][3] | m[5][1] & m[1][3]; m[5][4] = m[5][4] | m[5][1] & m[1][4]; m[5][5] = m[5][5] | m[5][1] & m[1][5]; m[5][6] = m[5][6] | m[5][1] & m[1][6]; m[5][7] = m[5][7] | m[5][1] & m[1][7]; m[6][0] = m[6][0] | m[6][1] & m[1][0]; m[6][1] = m[6][1] | m[6][1] & m[1][1]; m[6][2] = m[6][2] | m[6][1] & m[1][2]; m[6][3] = m[6][3] | m[6][1] & m[1][3]; m[6][4] = m[6][4] | m[6][1] & m[1][4]; m[6][5] = m[6][5] | m[6][1] & m[1][5]; m[6][6] = m[6][6] | m[6][1] & m[1][6]; m[6][7] = m[6][7] | m[6][1] & m[1][7]; m[7][0] = m[7][0] | m[7][1] & m[1][0]; m[7][1] = m[7][1] | m[7][1] & m[1][1]; m[7][2] = m[7][2] | m[7][1] & m[1][2]; m[7][3] = m[7][3] | m[7][1] & m[1][3]; m[7][4] = m[7][4] | m[7][1] & m[1][4]; m[7][5] = m[7][5] | m[7][1] & m[1][5]; m[7][6] = m[7][6] | m[7][1] & m[1][6]; m[7][7] = m[7][7] | m[7][1] & m[1][7]; m[0][0] = m[0][0] | m[0][2] & m[2][0]; m[0][1] = m[0][1] | m[0][2] & m[2][1]; m[0][2] = m[0][2] | m[0][2] & m[2][2]; m[0][3] = m[0][3] | m[0][2] & m[2][3]; m[0][4] = m[0][4] | m[0][2] & m[2][4]; m[0][5] = m[0][5] | m[0][2] & m[2][5]; m[0][6] = m[0][6] | m[0][2] & m[2][6]; m[0][7] = m[0][7] | m[0][2] & m[2][7]; m[1][0] = m[1][0] | m[1][2] & m[2][0]; m[1][1] = m[1][1] | m[1][2] & m[2][1]; m[1][2] = m[1][2] | m[1][2] & m[2][2]; m[1][3] = m[1][3] | m[1][2] & m[2][3]; m[1][4] = m[1][4] | m[1][2] & m[2][4]; m[1][5] = m[1][5] | m[1][2] & m[2][5]; m[1][6] = m[1][6] | m[1][2] & m[2][6]; m[1][7] = m[1][7] | m[1][2] & m[2][7]; m[2][0] = m[2][0] | m[2][2] & m[2][0]; m[2][1] = m[2][1] | m[2][2] & m[2][1]; m[2][2] = m[2][2] | m[2][2] & m[2][2]; m[2][3] = m[2][3] | m[2][2] & m[2][3]; m[2][4] = m[2][4] | m[2][2] & m[2][4]; m[2][5] = m[2][5] | m[2][2] & m[2][5]; m[2][6] = m[2][6] | m[2][2] & m[2][6]; m[2][7] = m[2][7] | m[2][2] & m[2][7]; m[3][0] = m[3][0] | m[3][2] & m[2][0]; m[3][1] = m[3][1] | m[3][2] & m[2][1]; m[3][2] = m[3][2] | m[3][2] & m[2][2]; m[3][3] = m[3][3] | m[3][2] & m[2][3]; m[3][4] = m[3][4] | m[3][2] & m[2][4]; m[3][5] = m[3][5] | m[3][2] & m[2][5]; m[3][6] = m[3][6] | m[3][2] & m[2][6]; m[3][7] = m[3][7] | m[3][2] & m[2][7]; m[4][0] = m[4][0] | m[4][2] & m[2][0]; m[4][1] = m[4][1] | m[4][2] & m[2][1]; m[4][2] = m[4][2] | m[4][2] & m[2][2]; m[4][3] = m[4][3] | m[4][2] & m[2][3]; m[4][4] = m[4][4] | m[4][2] & m[2][4]; m[4][5] = m[4][5] | m[4][2] & m[2][5]; m[4][6] = m[4][6] | m[4][2] & m[2][6]; m[4][7] = m[4][7] | m[4][2] & m[2][7]; m[5][0] = m[5][0] | m[5][2] & m[2][0]; m[5][1] = m[5][1] | m[5][2] & m[2][1]; m[5][2] = m[5][2] | m[5][2] & m[2][2]; m[5][3] = m[5][3] | m[5][2] & m[2][3]; m[5][4] = m[5][4] | m[5][2] & m[2][4]; m[5][5] = m[5][5] | m[5][2] & m[2][5]; m[5][6] = m[5][6] | m[5][2] & m[2][6]; m[5][7] = m[5][7] | m[5][2] & m[2][7]; m[6][0] = m[6][0] | m[6][2] & m[2][0]; m[6][1] = m[6][1] | m[6][2] & m[2][1]; m[6][2] = m[6][2] | m[6][2] & m[2][2]; m[6][3] = m[6][3] | m[6][2] & m[2][3]; m[6][4] = m[6][4] | m[6][2] & m[2][4]; m[6][5] = m[6][5] | m[6][2] & m[2][5]; m[6][6] = m[6][6] | m[6][2] & m[2][6]; m[6][7] = m[6][7] | m[6][2] & m[2][7]; m[7][0] = m[7][0] | m[7][2] & m[2][0]; m[7][1] = m[7][1] | m[7][2] & m[2][1]; m[7][2] = m[7][2] | m[7][2] & m[2][2]; m[7][3] = m[7][3] | m[7][2] & m[2][3]; m[7][4] = m[7][4] | m[7][2] & m[2][4]; m[7][5] = m[7][5] | m[7][2] & m[2][5]; m[7][6] = m[7][6] | m[7][2] & m[2][6]; m[7][7] = m[7][7] | m[7][2] & m[2][7]; m[0][0] = m[0][0] | m[0][3] & m[3][0]; m[0][1] = m[0][1] | m[0][3] & m[3][1]; m[0][2] = m[0][2] | m[0][3] & m[3][2]; m[0][3] = m[0][3] | m[0][3] & m[3][3]; m[0][4] = m[0][4] | m[0][3] & m[3][4]; m[0][5] = m[0][5] | m[0][3] & m[3][5]; m[0][6] = m[0][6] | m[0][3] & m[3][6]; m[0][7] = m[0][7] | m[0][3] & m[3][7]; m[1][0] = m[1][0] | m[1][3] & m[3][0]; m[1][1] = m[1][1] | m[1][3] & m[3][1]; m[1][2] = m[1][2] | m[1][3] & m[3][2]; m[1][3] = m[1][3] | m[1][3] & m[3][3]; m[1][4] = m[1][4] | m[1][3] & m[3][4]; m[1][5] = m[1][5] | m[1][3] & m[3][5]; m[1][6] = m[1][6] | m[1][3] & m[3][6]; m[1][7] = m[1][7] | m[1][3] & m[3][7]; m[2][0] = m[2][0] | m[2][3] & m[3][0]; m[2][1] = m[2][1] | m[2][3] & m[3][1]; m[2][2] = m[2][2] | m[2][3] & m[3][2]; m[2][3] = m[2][3] | m[2][3] & m[3][3]; m[2][4] = m[2][4] | m[2][3] & m[3][4]; m[2][5] = m[2][5] | m[2][3] & m[3][5]; m[2][6] = m[2][6] | m[2][3] & m[3][6]; m[2][7] = m[2][7] | m[2][3] & m[3][7]; m[3][0] = m[3][0] | m[3][3] & m[3][0]; m[3][1] = m[3][1] | m[3][3] & m[3][1]; m[3][2] = m[3][2] | m[3][3] & m[3][2]; m[3][3] = m[3][3] | m[3][3] & m[3][3]; m[3][4] = m[3][4] | m[3][3] & m[3][4]; m[3][5] = m[3][5] | m[3][3] & m[3][5]; m[3][6] = m[3][6] | m[3][3] & m[3][6]; m[3][7] = m[3][7] | m[3][3] & m[3][7]; m[4][0] = m[4][0] | m[4][3] & m[3][0]; m[4][1] = m[4][1] | m[4][3] & m[3][1]; m[4][2] = m[4][2] | m[4][3] & m[3][2]; m[4][3] = m[4][3] | m[4][3] & m[3][3]; m[4][4] = m[4][4] | m[4][3] & m[3][4]; m[4][5] = m[4][5] | m[4][3] & m[3][5]; m[4][6] = m[4][6] | m[4][3] & m[3][6]; m[4][7] = m[4][7] | m[4][3] & m[3][7]; m[5][0] = m[5][0] | m[5][3] & m[3][0]; m[5][1] = m[5][1] | m[5][3] & m[3][1]; m[5][2] = m[5][2] | m[5][3] & m[3][2]; m[5][3] = m[5][3] | m[5][3] & m[3][3]; m[5][4] = m[5][4] | m[5][3] & m[3][4]; m[5][5] = m[5][5] | m[5][3] & m[3][5]; m[5][6] = m[5][6] | m[5][3] & m[3][6]; m[5][7] = m[5][7] | m[5][3] & m[3][7]; m[6][0] = m[6][0] | m[6][3] & m[3][0]; m[6][1] = m[6][1] | m[6][3] & m[3][1]; m[6][2] = m[6][2] | m[6][3] & m[3][2]; m[6][3] = m[6][3] | m[6][3] & m[3][3]; m[6][4] = m[6][4] | m[6][3] & m[3][4]; m[6][5] = m[6][5] | m[6][3] & m[3][5]; m[6][6] = m[6][6] | m[6][3] & m[3][6]; m[6][7] = m[6][7] | m[6][3] & m[3][7]; m[7][0] = m[7][0] | m[7][3] & m[3][0]; m[7][1] = m[7][1] | m[7][3] & m[3][1]; m[7][2] = m[7][2] | m[7][3] & m[3][2]; m[7][3] = m[7][3] | m[7][3] & m[3][3]; m[7][4] = m[7][4] | m[7][3] & m[3][4]; m[7][5] = m[7][5] | m[7][3] & m[3][5]; m[7][6] = m[7][6] | m[7][3] & m[3][6]; m[7][7] = m[7][7] | m[7][3] & m[3][7]; m[0][0] = m[0][0] | m[0][4] & m[4][0]; m[0][1] = m[0][1] | m[0][4] & m[4][1]; m[0][2] = m[0][2] | m[0][4] & m[4][2]; m[0][3] = m[0][3] | m[0][4] & m[4][3]; m[0][4] = m[0][4] | m[0][4] & m[4][4]; m[0][5] = m[0][5] | m[0][4] & m[4][5]; m[0][6] = m[0][6] | m[0][4] & m[4][6]; m[0][7] = m[0][7] | m[0][4] & m[4][7]; m[1][0] = m[1][0] | m[1][4] & m[4][0]; m[1][1] = m[1][1] | m[1][4] & m[4][1]; m[1][2] = m[1][2] | m[1][4] & m[4][2]; m[1][3] = m[1][3] | m[1][4] & m[4][3]; m[1][4] = m[1][4] | m[1][4] & m[4][4]; m[1][5] = m[1][5] | m[1][4] & m[4][5]; m[1][6] = m[1][6] | m[1][4] & m[4][6]; m[1][7] = m[1][7] | m[1][4] & m[4][7]; m[2][0] = m[2][0] | m[2][4] & m[4][0]; m[2][1] = m[2][1] | m[2][4] & m[4][1]; m[2][2] = m[2][2] | m[2][4] & m[4][2]; m[2][3] = m[2][3] | m[2][4] & m[4][3]; m[2][4] = m[2][4] | m[2][4] & m[4][4]; m[2][5] = m[2][5] | m[2][4] & m[4][5]; m[2][6] = m[2][6] | m[2][4] & m[4][6]; m[2][7] = m[2][7] | m[2][4] & m[4][7]; m[3][0] = m[3][0] | m[3][4] & m[4][0]; m[3][1] = m[3][1] | m[3][4] & m[4][1]; m[3][2] = m[3][2] | m[3][4] & m[4][2]; m[3][3] = m[3][3] | m[3][4] & m[4][3]; m[3][4] = m[3][4] | m[3][4] & m[4][4]; m[3][5] = m[3][5] | m[3][4] & m[4][5]; m[3][6] = m[3][6] | m[3][4] & m[4][6]; m[3][7] = m[3][7] | m[3][4] & m[4][7]; m[4][0] = m[4][0] | m[4][4] & m[4][0]; m[4][1] = m[4][1] | m[4][4] & m[4][1]; m[4][2] = m[4][2] | m[4][4] & m[4][2]; m[4][3] = m[4][3] | m[4][4] & m[4][3]; m[4][4] = m[4][4] | m[4][4] & m[4][4]; m[4][5] = m[4][5] | m[4][4] & m[4][5]; m[4][6] = m[4][6] | m[4][4] & m[4][6]; m[4][7] = m[4][7] | m[4][4] & m[4][7]; m[5][0] = m[5][0] | m[5][4] & m[4][0]; m[5][1] = m[5][1] | m[5][4] & m[4][1]; m[5][2] = m[5][2] | m[5][4] & m[4][2]; m[5][3] = m[5][3] | m[5][4] & m[4][3]; m[5][4] = m[5][4] | m[5][4] & m[4][4]; m[5][5] = m[5][5] | m[5][4] & m[4][5]; m[5][6] = m[5][6] | m[5][4] & m[4][6]; m[5][7] = m[5][7] | m[5][4] & m[4][7]; m[6][0] = m[6][0] | m[6][4] & m[4][0]; m[6][1] = m[6][1] | m[6][4] & m[4][1]; m[6][2] = m[6][2] | m[6][4] & m[4][2]; m[6][3] = m[6][3] | m[6][4] & m[4][3]; m[6][4] = m[6][4] | m[6][4] & m[4][4]; m[6][5] = m[6][5] | m[6][4] & m[4][5]; m[6][6] = m[6][6] | m[6][4] & m[4][6]; m[6][7] = m[6][7] | m[6][4] & m[4][7]; m[7][0] = m[7][0] | m[7][4] & m[4][0]; m[7][1] = m[7][1] | m[7][4] & m[4][1]; m[7][2] = m[7][2] | m[7][4] & m[4][2]; m[7][3] = m[7][3] | m[7][4] & m[4][3]; m[7][4] = m[7][4] | m[7][4] & m[4][4]; m[7][5] = m[7][5] | m[7][4] & m[4][5]; m[7][6] = m[7][6] | m[7][4] & m[4][6]; m[7][7] = m[7][7] | m[7][4] & m[4][7]; m[0][0] = m[0][0] | m[0][5] & m[5][0]; m[0][1] = m[0][1] | m[0][5] & m[5][1]; m[0][2] = m[0][2] | m[0][5] & m[5][2]; m[0][3] = m[0][3] | m[0][5] & m[5][3]; m[0][4] = m[0][4] | m[0][5] & m[5][4]; m[0][5] = m[0][5] | m[0][5] & m[5][5]; m[0][6] = m[0][6] | m[0][5] & m[5][6]; m[0][7] = m[0][7] | m[0][5] & m[5][7]; m[1][0] = m[1][0] | m[1][5] & m[5][0]; m[1][1] = m[1][1] | m[1][5] & m[5][1]; m[1][2] = m[1][2] | m[1][5] & m[5][2]; m[1][3] = m[1][3] | m[1][5] & m[5][3]; m[1][4] = m[1][4] | m[1][5] & m[5][4]; m[1][5] = m[1][5] | m[1][5] & m[5][5]; m[1][6] = m[1][6] | m[1][5] & m[5][6]; m[1][7] = m[1][7] | m[1][5] & m[5][7]; m[2][0] = m[2][0] | m[2][5] & m[5][0]; m[2][1] = m[2][1] | m[2][5] & m[5][1]; m[2][2] = m[2][2] | m[2][5] & m[5][2]; m[2][3] = m[2][3] | m[2][5] & m[5][3]; m[2][4] = m[2][4] | m[2][5] & m[5][4]; m[2][5] = m[2][5] | m[2][5] & m[5][5]; m[2][6] = m[2][6] | m[2][5] & m[5][6]; m[2][7] = m[2][7] | m[2][5] & m[5][7]; m[3][0] = m[3][0] | m[3][5] & m[5][0]; m[3][1] = m[3][1] | m[3][5] & m[5][1]; m[3][2] = m[3][2] | m[3][5] & m[5][2]; m[3][3] = m[3][3] | m[3][5] & m[5][3]; m[3][4] = m[3][4] | m[3][5] & m[5][4]; m[3][5] = m[3][5] | m[3][5] & m[5][5]; m[3][6] = m[3][6] | m[3][5] & m[5][6]; m[3][7] = m[3][7] | m[3][5] & m[5][7]; m[4][0] = m[4][0] | m[4][5] & m[5][0]; m[4][1] = m[4][1] | m[4][5] & m[5][1]; m[4][2] = m[4][2] | m[4][5] & m[5][2]; m[4][3] = m[4][3] | m[4][5] & m[5][3]; m[4][4] = m[4][4] | m[4][5] & m[5][4]; m[4][5] = m[4][5] | m[4][5] & m[5][5]; m[4][6] = m[4][6] | m[4][5] & m[5][6]; m[4][7] = m[4][7] | m[4][5] & m[5][7]; m[5][0] = m[5][0] | m[5][5] & m[5][0]; m[5][1] = m[5][1] | m[5][5] & m[5][1]; m[5][2] = m[5][2] | m[5][5] & m[5][2]; m[5][3] = m[5][3] | m[5][5] & m[5][3]; m[5][4] = m[5][4] | m[5][5] & m[5][4]; m[5][5] = m[5][5] | m[5][5] & m[5][5]; m[5][6] = m[5][6] | m[5][5] & m[5][6]; m[5][7] = m[5][7] | m[5][5] & m[5][7]; m[6][0] = m[6][0] | m[6][5] & m[5][0]; m[6][1] = m[6][1] | m[6][5] & m[5][1]; m[6][2] = m[6][2] | m[6][5] & m[5][2]; m[6][3] = m[6][3] | m[6][5] & m[5][3]; m[6][4] = m[6][4] | m[6][5] & m[5][4]; m[6][5] = m[6][5] | m[6][5] & m[5][5]; m[6][6] = m[6][6] | m[6][5] & m[5][6]; m[6][7] = m[6][7] | m[6][5] & m[5][7]; m[7][0] = m[7][0] | m[7][5] & m[5][0]; m[7][1] = m[7][1] | m[7][5] & m[5][1]; m[7][2] = m[7][2] | m[7][5] & m[5][2]; m[7][3] = m[7][3] | m[7][5] & m[5][3]; m[7][4] = m[7][4] | m[7][5] & m[5][4]; m[7][5] = m[7][5] | m[7][5] & m[5][5]; m[7][6] = m[7][6] | m[7][5] & m[5][6]; m[7][7] = m[7][7] | m[7][5] & m[5][7]; m[0][0] = m[0][0] | m[0][6] & m[6][0]; m[0][1] = m[0][1] | m[0][6] & m[6][1]; m[0][2] = m[0][2] | m[0][6] & m[6][2]; m[0][3] = m[0][3] | m[0][6] & m[6][3]; m[0][4] = m[0][4] | m[0][6] & m[6][4]; m[0][5] = m[0][5] | m[0][6] & m[6][5]; m[0][6] = m[0][6] | m[0][6] & m[6][6]; m[0][7] = m[0][7] | m[0][6] & m[6][7]; m[1][0] = m[1][0] | m[1][6] & m[6][0]; m[1][1] = m[1][1] | m[1][6] & m[6][1]; m[1][2] = m[1][2] | m[1][6] & m[6][2]; m[1][3] = m[1][3] | m[1][6] & m[6][3]; m[1][4] = m[1][4] | m[1][6] & m[6][4]; m[1][5] = m[1][5] | m[1][6] & m[6][5]; m[1][6] = m[1][6] | m[1][6] & m[6][6]; m[1][7] = m[1][7] | m[1][6] & m[6][7]; m[2][0] = m[2][0] | m[2][6] & m[6][0]; m[2][1] = m[2][1] | m[2][6] & m[6][1]; m[2][2] = m[2][2] | m[2][6] & m[6][2]; m[2][3] = m[2][3] | m[2][6] & m[6][3]; m[2][4] = m[2][4] | m[2][6] & m[6][4]; m[2][5] = m[2][5] | m[2][6] & m[6][5]; m[2][6] = m[2][6] | m[2][6] & m[6][6]; m[2][7] = m[2][7] | m[2][6] & m[6][7]; m[3][0] = m[3][0] | m[3][6] & m[6][0]; m[3][1] = m[3][1] | m[3][6] & m[6][1]; m[3][2] = m[3][2] | m[3][6] & m[6][2]; m[3][3] = m[3][3] | m[3][6] & m[6][3]; m[3][4] = m[3][4] | m[3][6] & m[6][4]; m[3][5] = m[3][5] | m[3][6] & m[6][5]; m[3][6] = m[3][6] | m[3][6] & m[6][6]; m[3][7] = m[3][7] | m[3][6] & m[6][7]; m[4][0] = m[4][0] | m[4][6] & m[6][0]; m[4][1] = m[4][1] | m[4][6] & m[6][1]; m[4][2] = m[4][2] | m[4][6] & m[6][2]; m[4][3] = m[4][3] | m[4][6] & m[6][3]; m[4][4] = m[4][4] | m[4][6] & m[6][4]; m[4][5] = m[4][5] | m[4][6] & m[6][5]; m[4][6] = m[4][6] | m[4][6] & m[6][6]; m[4][7] = m[4][7] | m[4][6] & m[6][7]; m[5][0] = m[5][0] | m[5][6] & m[6][0]; m[5][1] = m[5][1] | m[5][6] & m[6][1]; m[5][2] = m[5][2] | m[5][6] & m[6][2]; m[5][3] = m[5][3] | m[5][6] & m[6][3]; m[5][4] = m[5][4] | m[5][6] & m[6][4]; m[5][5] = m[5][5] | m[5][6] & m[6][5]; m[5][6] = m[5][6] | m[5][6] & m[6][6]; m[5][7] = m[5][7] | m[5][6] & m[6][7]; m[6][0] = m[6][0] | m[6][6] & m[6][0]; m[6][1] = m[6][1] | m[6][6] & m[6][1]; m[6][2] = m[6][2] | m[6][6] & m[6][2]; m[6][3] = m[6][3] | m[6][6] & m[6][3]; m[6][4] = m[6][4] | m[6][6] & m[6][4]; m[6][5] = m[6][5] | m[6][6] & m[6][5]; m[6][6] = m[6][6] | m[6][6] & m[6][6]; m[6][7] = m[6][7] | m[6][6] & m[6][7]; m[7][0] = m[7][0] | m[7][6] & m[6][0]; m[7][1] = m[7][1] | m[7][6] & m[6][1]; m[7][2] = m[7][2] | m[7][6] & m[6][2]; m[7][3] = m[7][3] | m[7][6] & m[6][3]; m[7][4] = m[7][4] | m[7][6] & m[6][4]; m[7][5] = m[7][5] | m[7][6] & m[6][5]; m[7][6] = m[7][6] | m[7][6] & m[6][6]; m[7][7] = m[7][7] | m[7][6] & m[6][7]; m[0][0] = m[0][0] | m[0][7] & m[7][0]; m[0][1] = m[0][1] | m[0][7] & m[7][1]; m[0][2] = m[0][2] | m[0][7] & m[7][2]; m[0][3] = m[0][3] | m[0][7] & m[7][3]; m[0][4] = m[0][4] | m[0][7] & m[7][4]; m[0][5] = m[0][5] | m[0][7] & m[7][5]; m[0][6] = m[0][6] | m[0][7] & m[7][6]; m[0][7] = m[0][7] | m[0][7] & m[7][7]; m[1][0] = m[1][0] | m[1][7] & m[7][0]; m[1][1] = m[1][1] | m[1][7] & m[7][1]; m[1][2] = m[1][2] | m[1][7] & m[7][2]; m[1][3] = m[1][3] | m[1][7] & m[7][3]; m[1][4] = m[1][4] | m[1][7] & m[7][4]; m[1][5] = m[1][5] | m[1][7] & m[7][5]; m[1][6] = m[1][6] | m[1][7] & m[7][6]; m[1][7] = m[1][7] | m[1][7] & m[7][7]; m[2][0] = m[2][0] | m[2][7] & m[7][0]; m[2][1] = m[2][1] | m[2][7] & m[7][1]; m[2][2] = m[2][2] | m[2][7] & m[7][2]; m[2][3] = m[2][3] | m[2][7] & m[7][3]; m[2][4] = m[2][4] | m[2][7] & m[7][4]; m[2][5] = m[2][5] | m[2][7] & m[7][5]; m[2][6] = m[2][6] | m[2][7] & m[7][6]; m[2][7] = m[2][7] | m[2][7] & m[7][7]; m[3][0] = m[3][0] | m[3][7] & m[7][0]; m[3][1] = m[3][1] | m[3][7] & m[7][1]; m[3][2] = m[3][2] | m[3][7] & m[7][2]; m[3][3] = m[3][3] | m[3][7] & m[7][3]; m[3][4] = m[3][4] | m[3][7] & m[7][4]; m[3][5] = m[3][5] | m[3][7] & m[7][5]; m[3][6] = m[3][6] | m[3][7] & m[7][6]; m[3][7] = m[3][7] | m[3][7] & m[7][7]; m[4][0] = m[4][0] | m[4][7] & m[7][0]; m[4][1] = m[4][1] | m[4][7] & m[7][1]; m[4][2] = m[4][2] | m[4][7] & m[7][2]; m[4][3] = m[4][3] | m[4][7] & m[7][3]; m[4][4] = m[4][4] | m[4][7] & m[7][4]; m[4][5] = m[4][5] | m[4][7] & m[7][5]; m[4][6] = m[4][6] | m[4][7] & m[7][6]; m[4][7] = m[4][7] | m[4][7] & m[7][7]; m[5][0] = m[5][0] | m[5][7] & m[7][0]; m[5][1] = m[5][1] | m[5][7] & m[7][1]; m[5][2] = m[5][2] | m[5][7] & m[7][2]; m[5][3] = m[5][3] | m[5][7] & m[7][3]; m[5][4] = m[5][4] | m[5][7] & m[7][4]; m[5][5] = m[5][5] | m[5][7] & m[7][5]; m[5][6] = m[5][6] | m[5][7] & m[7][6]; m[5][7] = m[5][7] | m[5][7] & m[7][7]; m[6][0] = m[6][0] | m[6][7] & m[7][0]; m[6][1] = m[6][1] | m[6][7] & m[7][1]; m[6][2] = m[6][2] | m[6][7] & m[7][2]; m[6][3] = m[6][3] | m[6][7] & m[7][3]; m[6][4] = m[6][4] | m[6][7] & m[7][4]; m[6][5] = m[6][5] | m[6][7] & m[7][5]; m[6][6] = m[6][6] | m[6][7] & m[7][6]; m[6][7] = m[6][7] | m[6][7] & m[7][7]; m[7][0] = m[7][0] | m[7][7] & m[7][0]; m[7][1] = m[7][1] | m[7][7] & m[7][1]; m[7][2] = m[7][2] | m[7][7] & m[7][2]; m[7][3] = m[7][3] | m[7][7] & m[7][3]; m[7][4] = m[7][4] | m[7][7] & m[7][4]; m[7][5] = m[7][5] | m[7][7] & m[7][5]; m[7][6] = m[7][6] | m[7][7] & m[7][6]; m[7][7] = m[7][7] | m[7][7] & m[7][7]; t[0][0] = m[0][0]; t[0][1] = m[0][1]; t[0][2] = m[0][2]; t[0][3] = m[0][3]; t[0][4] = m[0][4]; t[0][5] = m[0][5]; t[0][6] = m[0][6]; t[0][7] = m[0][7]; t[1][0] = m[1][0]; t[1][1] = m[1][1]; t[1][2] = m[1][2]; t[1][3] = m[1][3]; t[1][4] = m[1][4]; t[1][5] = m[1][5]; t[1][6] = m[1][6]; t[1][7] = m[1][7]; t[2][0] = m[2][0]; t[2][1] = m[2][1]; t[2][2] = m[2][2]; t[2][3] = m[2][3]; t[2][4] = m[2][4]; t[2][5] = m[2][5]; t[2][6] = m[2][6]; t[2][7] = m[2][7]; t[3][0] = m[3][0]; t[3][1] = m[3][1]; t[3][2] = m[3][2]; t[3][3] = m[3][3]; t[3][4] = m[3][4]; t[3][5] = m[3][5]; t[3][6] = m[3][6]; t[3][7] = m[3][7]; t[4][0] = m[4][0]; t[4][1] = m[4][1]; t[4][2] = m[4][2]; t[4][3] = m[4][3]; t[4][4] = m[4][4]; t[4][5] = m[4][5]; t[4][6] = m[4][6]; t[4][7] = m[4][7]; t[5][0] = m[5][0]; t[5][1] = m[5][1]; t[5][2] = m[5][2]; t[5][3] = m[5][3]; t[5][4] = m[5][4]; t[5][5] = m[5][5]; t[5][6] = m[5][6]; t[5][7] = m[5][7]; t[6][0] = m[6][0]; t[6][1] = m[6][1]; t[6][2] = m[6][2]; t[6][3] = m[6][3]; t[6][4] = m[6][4]; t[6][5] = m[6][5]; t[6][6] = m[6][6]; t[6][7] = m[6][7]; t[7][0] = m[7][0]; t[7][1] = m[7][1]; t[7][2] = m[7][2]; t[7][3] = m[7][3]; t[7][4] = m[7][4]; t[7][5] = m[7][5]; t[7][6] = m[7][6]; t[7][7] = m[7][7]; }