// ************************************************************************** // // // // 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 // // // // ************************************************************************** // bool m_0_0,m_0_1,m_0_2,m_0_3,m_0_4,m_0_5,m_0_6,m_0_7,m_1_0,m_1_1,m_1_2,m_1_3,m_1_4,m_1_5,m_1_6,m_1_7,m_2_0,m_2_1,m_2_2,m_2_3,m_2_4,m_2_5,m_2_6,m_2_7,m_3_0,m_3_1,m_3_2,m_3_3,m_3_4,m_3_5,m_3_6,m_3_7,m_4_0,m_4_1,m_4_2,m_4_3,m_4_4,m_4_5,m_4_6,m_4_7,m_5_0,m_5_1,m_5_2,m_5_3,m_5_4,m_5_5,m_5_6,m_5_7,m_6_0,m_6_1,m_6_2,m_6_3,m_6_4,m_6_5,m_6_6,m_6_7,m_7_0,m_7_1,m_7_2,m_7_3,m_7_4,m_7_5,m_7_6,m_7_7; bool t_0_0,t_0_1,t_0_2,t_0_3,t_0_4,t_0_5,t_0_6,t_0_7,t_1_0,t_1_1,t_1_2,t_1_3,t_1_4,t_1_5,t_1_6,t_1_7,t_2_0,t_2_1,t_2_2,t_2_3,t_2_4,t_2_5,t_2_6,t_2_7,t_3_0,t_3_1,t_3_2,t_3_3,t_3_4,t_3_5,t_3_6,t_3_7,t_4_0,t_4_1,t_4_2,t_4_3,t_4_4,t_4_5,t_4_6,t_4_7,t_5_0,t_5_1,t_5_2,t_5_3,t_5_4,t_5_5,t_5_6,t_5_7,t_6_0,t_6_1,t_6_2,t_6_3,t_6_4,t_6_5,t_6_6,t_6_7,t_7_0,t_7_1,t_7_2,t_7_3,t_7_4,t_7_5,t_7_6,t_7_7; 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; }