library IEEE;

use IEEE.std_logic_1164.all;

entity rom is

   port( r0, r1, r2, r3, r4, r5, r6, r7 : in std_logic;  m0, m1, m2, m3, m4, m5
         , m6, m7 : out std_logic);

end rom;

architecture SYN_USE_DEFA_ARCH_NAME of rom is

begin
   
   m0 <= ((r0 and not(r1) and not(r2) and r3 and r4 and r5 and r6 and r7) or (
      r0 and not(r1) and r2 and not(r3) and r4 and r5 and not(r6) and r7) or (
      r0 and not(r1) and r2 and not(r3) and r4 and r5 and r6 and not(r7)) or (
      r0 and not(r1) and r2 and not(r3) and r4 and r5 and r6 and r7) or (r0 and
      not(r1) and r2 and r3 and r4 and r5 and not(r6) and not(r7)) or (r0 and 
      not(r1) and r2 and r3 and r4 and r5 and not(r6) and r7) or (r0 and not(r1
      ) and r2 and r3 and r4 and r5 and r6 and not(r7)) or (r0 and not(r1) and 
      r2 and r3 and r4 and r5 and r6 and r7) or (r0 and r1 and not(r2) and not(
      r3) and r4 and not(r5) and r6 and r7) or (r0 and r1 and not(r2) and not(
      r3) and r4 and r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and 
      not(r3) and r4 and r5 and not(r6) and r7) or (r0 and r1 and not(r2) and 
      not(r3) and r4 and r5 and r6 and not(r7)) or (r0 and r1 and not(r2) and 
      not(r3) and r4 and r5 and r6 and r7) or (r0 and r1 and not(r2) and r3 and
      r4 and not(r5) and r6 and not(r7)) or (r0 and r1 and not(r2) and r3 and 
      r4 and not(r5) and r6 and r7) or (r0 and r1 and not(r2) and r3 and r4 and
      r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and r3 and r4 and 
      r5 and not(r6) and r7) or (r0 and r1 and not(r2) and r3 and r4 and r5 and
      r6 and not(r7)) or (r0 and r1 and not(r2) and r3 and r4 and r5 and r6 and
      r7) or (r0 and r1 and r2 and not(r3) and r4 and not(r5) and r6 and not(r7
      )) or (r0 and r1 and r2 and not(r3) and r4 and not(r5) and r6 and r7) or 
      (r0 and r1 and r2 and not(r3) and r4 and r5 and not(r6) and not(r7)) or (
      r0 and r1 and r2 and not(r3) and r4 and r5 and not(r6) and r7) or (r0 and
      r1 and r2 and not(r3) and r4 and r5 and r6 and not(r7)) or (r0 and r1 and
      r2 and not(r3) and r4 and r5 and r6 and r7) or (r0 and r1 and r2 and r3 
      and r4 and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and r3 and r4
      and not(r5) and r6 and not(r7)) or (r0 and r1 and r2 and r3 and r4 and 
      not(r5) and r6 and r7) or (r0 and r1 and r2 and r3 and r4 and r5 and not(
      r6) and not(r7)) or (r0 and r1 and r2 and r3 and r4 and r5 and not(r6) 
      and r7) or (r0 and r1 and r2 and r3 and r4 and r5 and r6 and not(r7)) or 
      (r0 and r1 and r2 and r3 and r4 and r5 and r6 and r7));
   m1 <= ((not(r0) and r1 and not(r2) and r3 and r4 and r5 and not(r6) and r7) 
      or (not(r0) and r1 and not(r2) and r3 and r4 and r5 and r6 and not(r7)) 
      or (not(r0) and r1 and not(r2) and r3 and r4 and r5 and r6 and r7) or (
      not(r0) and r1 and r2 and not(r3) and r4 and not(r5) and r6 and r7) or (
      not(r0) and r1 and r2 and not(r3) and r4 and r5 and not(r6) and not(r7)) 
      or (not(r0) and r1 and r2 and not(r3) and r4 and r5 and not(r6) and r7) 
      or (not(r0) and r1 and r2 and not(r3) and r4 and r5 and r6 and not(r7)) 
      or (not(r0) and r1 and r2 and not(r3) and r4 and r5 and r6 and r7) or (
      not(r0) and r1 and r2 and r3 and r4 and not(r5) and r6 and not(r7)) or (
      not(r0) and r1 and r2 and r3 and r4 and not(r5) and r6 and r7) or (not(r0
      ) and r1 and r2 and r3 and r4 and r5 and not(r6) and not(r7)) or (not(r0)
      and r1 and r2 and r3 and r4 and r5 and not(r6) and r7) or (not(r0) and r1
      and r2 and r3 and r4 and r5 and r6 and not(r7)) or (not(r0) and r1 and r2
      and r3 and r4 and r5 and r6 and r7) or (r0 and not(r1) and not(r2) and 
      not(r3) and r4 and not(r5) and not(r6) and not(r7)) or (r0 and not(r1) 
      and not(r2) and not(r3) and r4 and not(r5) and not(r6) and r7) or (r0 and
      not(r1) and not(r2) and not(r3) and r4 and not(r5) and r6 and not(r7)) or
      (r0 and not(r1) and not(r2) and not(r3) and r4 and not(r5) and r6 and r7)
      or (r0 and not(r1) and not(r2) and not(r3) and r4 and r5 and not(r6) and 
      not(r7)) or (r0 and not(r1) and not(r2) and not(r3) and r4 and r5 and 
      not(r6) and r7) or (r0 and not(r1) and not(r2) and not(r3) and r4 and r5 
      and r6 and not(r7)) or (r0 and not(r1) and not(r2) and not(r3) and r4 and
      r5 and r6 and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and not(r5
      ) and not(r6) and not(r7)) or (r0 and not(r1) and not(r2) and r3 and r4 
      and not(r5) and not(r6) and r7) or (r0 and not(r1) and not(r2) and r3 and
      r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) and not(r2) and r3 
      and r4 and not(r5) and r6 and r7) or (r0 and not(r1) and not(r2) and r3 
      and r4 and r5 and not(r6) and not(r7)) or (r0 and not(r1) and not(r2) and
      r3 and r4 and r5 and not(r6) and r7) or (r0 and not(r1) and not(r2) and 
      r3 and r4 and r5 and r6 and not(r7)) or (r0 and not(r1) and r2 and not(r3
      ) and not(r4) and r5 and r6 and r7) or (r0 and not(r1) and r2 and not(r3)
      and r4 and not(r5) and not(r6) and not(r7)) or (r0 and not(r1) and r2 and
      not(r3) and r4 and not(r5) and not(r6) and r7) or (r0 and not(r1) and r2 
      and not(r3) and r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) and
      r2 and not(r3) and r4 and not(r5) and r6 and r7) or (r0 and not(r1) and 
      r2 and not(r3) and r4 and r5 and not(r6) and not(r7)) or (r0 and not(r1) 
      and r2 and r3 and not(r4) and r5 and r6 and not(r7)) or (r0 and not(r1) 
      and r2 and r3 and not(r4) and r5 and r6 and r7) or (r0 and not(r1) and r2
      and r3 and r4 and not(r5) and not(r6) and not(r7)) or (r0 and not(r1) and
      r2 and r3 and r4 and not(r5) and not(r6) and r7) or (r0 and not(r1) and 
      r2 and r3 and r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) and 
      r2 and r3 and r4 and not(r5) and r6 and r7) or (r0 and r1 and not(r2) and
      not(r3) and not(r4) and r5 and r6 and not(r7)) or (r0 and r1 and not(r2) 
      and not(r3) and not(r4) and r5 and r6 and r7) or (r0 and r1 and not(r2) 
      and not(r3) and r4 and not(r5) and not(r6) and not(r7)) or (r0 and r1 and
      not(r2) and not(r3) and r4 and not(r5) and not(r6) and r7) or (r0 and r1 
      and not(r2) and not(r3) and r4 and not(r5) and r6 and not(r7)) or (r0 and
      r1 and not(r2) and r3 and not(r4) and r5 and not(r6) and r7) or (r0 and 
      r1 and not(r2) and r3 and not(r4) and r5 and r6 and not(r7)) or (r0 and 
      r1 and not(r2) and r3 and not(r4) and r5 and r6 and r7) or (r0 and r1 and
      not(r2) and r3 and r4 and not(r5) and not(r6) and not(r7)) or (r0 and r1 
      and not(r2) and r3 and r4 and not(r5) and not(r6) and r7) or (r0 and r1 
      and not(r2) and r3 and r4 and r5 and r6 and r7) or (r0 and r1 and r2 and 
      not(r3) and not(r4) and r5 and not(r6) and r7) or (r0 and r1 and r2 and 
      not(r3) and not(r4) and r5 and r6 and not(r7)) or (r0 and r1 and r2 and 
      not(r3) and not(r4) and r5 and r6 and r7) or (r0 and r1 and r2 and not(r3
      ) and r4 and not(r5) and not(r6) and not(r7)) or (r0 and r1 and r2 and 
      not(r3) and r4 and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and 
      not(r3) and r4 and r5 and r6 and not(r7)) or (r0 and r1 and r2 and not(r3
      ) and r4 and r5 and r6 and r7) or (r0 and r1 and r2 and r3 and not(r4) 
      and r5 and not(r6) and r7) or (r0 and r1 and r2 and r3 and not(r4) and r5
      and r6 and not(r7)) or (r0 and r1 and r2 and r3 and not(r4) and r5 and r6
      and r7) or (r0 and r1 and r2 and r3 and r4 and not(r5) and not(r6) and 
      not(r7)) or (r0 and r1 and r2 and r3 and r4 and r5 and not(r6) and r7) or
      (r0 and r1 and r2 and r3 and r4 and r5 and r6 and not(r7)) or (r0 and r1 
      and r2 and r3 and r4 and r5 and r6 and r7));
   m2 <= ((not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and r6 and r7) 
      or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and not(r6) and not(
      r7)) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and not(r6) and 
      r7) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and r6 and not(r7
      )) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and r6 and r7) or 
      (not(r0) and r1 and not(r2) and not(r3) and r4 and not(r5) and not(r6) 
      and not(r7)) or (not(r0) and r1 and not(r2) and not(r3) and r4 and not(r5
      ) and not(r6) and r7) or (not(r0) and r1 and not(r2) and not(r3) and r4 
      and not(r5) and r6 and not(r7)) or (not(r0) and r1 and not(r2) and not(r3
      ) and r4 and not(r5) and r6 and r7) or (not(r0) and r1 and not(r2) and 
      not(r3) and r4 and r5 and not(r6) and not(r7)) or (not(r0) and r1 and 
      not(r2) and not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and r1 
      and not(r2) and not(r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and
      r1 and not(r2) and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and 
      r1 and not(r2) and r3 and not(r4) and r5 and r6 and r7) or (not(r0) and 
      r1 and not(r2) and r3 and r4 and not(r5) and not(r6) and not(r7)) or (
      not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and not(r6) and r7) 
      or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and r6 and not(
      r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and r6 and 
      r7) or (not(r0) and r1 and not(r2) and r3 and r4 and r5 and not(r6) and 
      not(r7)) or (not(r0) and r1 and r2 and not(r3) and not(r4) and r5 and r6 
      and not(r7)) or (not(r0) and r1 and r2 and not(r3) and not(r4) and r5 and
      r6 and r7) or (not(r0) and r1 and r2 and not(r3) and r4 and not(r5) and 
      not(r6) and not(r7)) or (not(r0) and r1 and r2 and not(r3) and r4 and 
      not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and not(r3) and r4 
      and not(r5) and r6 and not(r7)) or (not(r0) and r1 and r2 and r3 and not(
      r4) and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and r3 and not(
      r4) and r5 and r6 and not(r7)) or (not(r0) and r1 and r2 and r3 and not(
      r4) and r5 and r6 and r7) or (not(r0) and r1 and r2 and r3 and r4 and 
      not(r5) and not(r6) and not(r7)) or (not(r0) and r1 and r2 and r3 and r4 
      and not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and r3 and r4 
      and r5 and r6 and not(r7)) or (not(r0) and r1 and r2 and r3 and r4 and r5
      and r6 and r7) or (r0 and not(r1) and not(r2) and not(r3) and not(r4) and
      r5 and not(r6) and not(r7)) or (r0 and not(r1) and not(r2) and not(r3) 
      and not(r4) and r5 and not(r6) and r7) or (r0 and not(r1) and not(r2) and
      not(r3) and not(r4) and r5 and r6 and not(r7)) or (r0 and not(r1) and 
      not(r2) and not(r3) and not(r4) and r5 and r6 and r7) or (r0 and not(r1) 
      and not(r2) and not(r3) and r4 and r5 and not(r6) and not(r7)) or (r0 and
      not(r1) and not(r2) and not(r3) and r4 and r5 and not(r6) and r7) or (r0 
      and not(r1) and not(r2) and not(r3) and r4 and r5 and r6 and not(r7)) or 
      (r0 and not(r1) and not(r2) and not(r3) and r4 and r5 and r6 and r7) or (
      r0 and not(r1) and not(r2) and r3 and not(r4) and r5 and not(r6) and not(
      r7)) or (r0 and not(r1) and not(r2) and r3 and not(r4) and r5 and not(r6)
      and r7) or (r0 and not(r1) and not(r2) and r3 and not(r4) and r5 and r6 
      and not(r7)) or (r0 and not(r1) and not(r2) and r3 and not(r4) and r5 and
      r6 and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and not(r5) and 
      r6 and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and not(r6
      ) and not(r7)) or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and 
      not(r6) and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and 
      r6 and not(r7)) or (r0 and not(r1) and r2 and not(r3) and not(r4) and r5 
      and not(r6) and not(r7)) or (r0 and not(r1) and r2 and not(r3) and not(r4
      ) and r5 and not(r6) and r7) or (r0 and not(r1) and r2 and not(r3) and 
      not(r4) and r5 and r6 and not(r7)) or (r0 and not(r1) and r2 and not(r3) 
      and r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) and r2 and not(
      r3) and r4 and not(r5) and r6 and r7) or (r0 and not(r1) and r2 and not(
      r3) and r4 and r5 and not(r6) and not(r7)) or (r0 and not(r1) and r2 and 
      r3 and not(r4) and not(r5) and r6 and r7) or (r0 and not(r1) and r2 and 
      r3 and not(r4) and r5 and not(r6) and not(r7)) or (r0 and not(r1) and r2 
      and r3 and not(r4) and r5 and not(r6) and r7) or (r0 and not(r1) and r2 
      and r3 and r4 and not(r5) and not(r6) and r7) or (r0 and not(r1) and r2 
      and r3 and r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) and r2 
      and r3 and r4 and not(r5) and r6 and r7) or (r0 and not(r1) and r2 and r3
      and r4 and r5 and r6 and r7) or (r0 and r1 and not(r2) and not(r3) and 
      not(r4) and not(r5) and r6 and r7) or (r0 and r1 and not(r2) and not(r3) 
      and not(r4) and r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and
      not(r3) and not(r4) and r5 and not(r6) and r7) or (r0 and r1 and not(r2) 
      and not(r3) and r4 and not(r5) and not(r6) and not(r7)) or (r0 and r1 and
      not(r2) and not(r3) and r4 and not(r5) and not(r6) and r7) or (r0 and r1 
      and not(r2) and not(r3) and r4 and not(r5) and r6 and not(r7)) or (r0 and
      r1 and not(r2) and not(r3) and r4 and r5 and r6 and not(r7)) or (r0 and 
      r1 and not(r2) and not(r3) and r4 and r5 and r6 and r7) or (r0 and r1 and
      not(r2) and r3 and not(r4) and not(r5) and r6 and r7) or (r0 and r1 and 
      not(r2) and r3 and not(r4) and r5 and not(r6) and not(r7)) or (r0 and r1 
      and not(r2) and r3 and r4 and not(r5) and not(r6) and not(r7)) or (r0 and
      r1 and not(r2) and r3 and r4 and not(r5) and not(r6) and r7) or (r0 and 
      r1 and not(r2) and r3 and r4 and r5 and not(r6) and r7) or (r0 and r1 and
      not(r2) and r3 and r4 and r5 and r6 and not(r7)) or (r0 and r1 and r2 and
      not(r3) and not(r4) and not(r5) and r6 and r7) or (r0 and r1 and r2 and 
      not(r3) and not(r4) and r5 and not(r6) and not(r7)) or (r0 and r1 and r2 
      and not(r3) and not(r4) and r5 and r6 and r7) or (r0 and r1 and r2 and 
      not(r3) and r4 and not(r5) and not(r6) and not(r7)) or (r0 and r1 and r2 
      and not(r3) and r4 and not(r5) and not(r6) and r7) or (r0 and r1 and r2 
      and not(r3) and r4 and r5 and not(r6) and not(r7)) or (r0 and r1 and r2 
      and not(r3) and r4 and r5 and not(r6) and r7) or (r0 and r1 and r2 and r3
      and not(r4) and not(r5) and r6 and r7) or (r0 and r1 and r2 and r3 and 
      not(r4) and r5 and not(r6) and not(r7)) or (r0 and r1 and r2 and r3 and 
      not(r4) and r5 and r6 and r7) or (r0 and r1 and r2 and r3 and r4 and not(
      r5) and not(r6) and not(r7)) or (r0 and r1 and r2 and r3 and r4 and not(
      r5) and r6 and r7) or (r0 and r1 and r2 and r3 and r4 and r5 and not(r6) 
      and not(r7)) or (r0 and r1 and r2 and r3 and r4 and r5 and r6 and r7));
   m3 <= ((not(r0) and not(r1) and r2 and not(r3) and r4 and not(r5) and not(r6
      ) and not(r7)) or (not(r0) and not(r1) and r2 and not(r3) and r4 and not(
      r5) and not(r6) and r7) or (not(r0) and not(r1) and r2 and not(r3) and r4
      and not(r5) and r6 and not(r7)) or (not(r0) and not(r1) and r2 and not(r3
      ) and r4 and not(r5) and r6 and r7) or (not(r0) and not(r1) and r2 and 
      not(r3) and r4 and r5 and not(r6) and not(r7)) or (not(r0) and not(r1) 
      and r2 and not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and not(
      r1) and r2 and not(r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and 
      not(r1) and r2 and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and 
      not(r1) and r2 and r3 and not(r4) and r5 and r6 and not(r7)) or (not(r0) 
      and not(r1) and r2 and r3 and not(r4) and r5 and r6 and r7) or (not(r0) 
      and not(r1) and r2 and r3 and r4 and not(r5) and not(r6) and not(r7)) or 
      (not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and not(r6) and r7)
      or (not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and r6 and not(
      r7)) or (not(r0) and r1 and not(r2) and not(r3) and not(r4) and r5 and 
      not(r6) and not(r7)) or (not(r0) and r1 and not(r2) and not(r3) and not(
      r4) and r5 and not(r6) and r7) or (not(r0) and r1 and not(r2) and not(r3)
      and not(r4) and r5 and r6 and not(r7)) or (not(r0) and r1 and not(r2) and
      not(r3) and not(r4) and r5 and r6 and r7) or (not(r0) and r1 and not(r2) 
      and not(r3) and r4 and r5 and not(r6) and not(r7)) or (not(r0) and r1 and
      not(r2) and not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and r1 
      and not(r2) and not(r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and
      r1 and not(r2) and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and 
      r1 and not(r2) and r3 and not(r4) and r5 and not(r6) and not(r7)) or (
      not(r0) and r1 and not(r2) and r3 and not(r4) and r5 and not(r6) and r7) 
      or (not(r0) and r1 and not(r2) and r3 and not(r4) and r5 and r6 and not(
      r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and r6 and 
      not(r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and r6 
      and r7) or (not(r0) and r1 and not(r2) and r3 and r4 and r5 and not(r6) 
      and not(r7)) or (not(r0) and r1 and r2 and not(r3) and not(r4) and not(r5
      ) and r6 and r7) or (not(r0) and r1 and r2 and not(r3) and not(r4) and r5
      and not(r6) and not(r7)) or (not(r0) and r1 and r2 and not(r3) and not(r4
      ) and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and not(r3) and r4
      and not(r5) and not(r6) and not(r7)) or (not(r0) and r1 and r2 and not(r3
      ) and r4 and not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and 
      not(r3) and r4 and not(r5) and r6 and not(r7)) or (not(r0) and r1 and r2 
      and not(r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and r1 and r2 
      and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and r1 and r2 and r3
      and not(r4) and not(r5) and r6 and r7) or (not(r0) and r1 and r2 and r3 
      and not(r4) and r5 and not(r6) and not(r7)) or (not(r0) and r1 and r2 and
      r3 and not(r4) and r5 and r6 and r7) or (not(r0) and r1 and r2 and r3 and
      r4 and not(r5) and not(r6) and not(r7)) or (not(r0) and r1 and r2 and r3 
      and r4 and not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and r3 
      and r4 and r5 and not(r6) and not(r7)) or (not(r0) and r1 and r2 and r3 
      and r4 and r5 and not(r6) and r7) or (r0 and not(r1) and not(r2) and not(
      r3) and not(r4) and not(r5) and r6 and not(r7)) or (r0 and not(r1) and 
      not(r2) and not(r3) and not(r4) and not(r5) and r6 and r7) or (r0 and 
      not(r1) and not(r2) and not(r3) and not(r4) and r5 and r6 and not(r7)) or
      (r0 and not(r1) and not(r2) and not(r3) and not(r4) and r5 and r6 and r7)
      or (r0 and not(r1) and not(r2) and not(r3) and r4 and not(r5) and r6 and 
      not(r7)) or (r0 and not(r1) and not(r2) and not(r3) and r4 and not(r5) 
      and r6 and r7) or (r0 and not(r1) and not(r2) and not(r3) and r4 and r5 
      and r6 and not(r7)) or (r0 and not(r1) and not(r2) and not(r3) and r4 and
      r5 and r6 and r7) or (r0 and not(r1) and not(r2) and r3 and not(r4) and 
      not(r5) and r6 and not(r7)) or (r0 and not(r1) and not(r2) and r3 and 
      not(r4) and not(r5) and r6 and r7) or (r0 and not(r1) and not(r2) and r3 
      and not(r4) and r5 and r6 and not(r7)) or (r0 and not(r1) and not(r2) and
      r3 and not(r4) and r5 and r6 and r7) or (r0 and not(r1) and not(r2) and 
      r3 and r4 and not(r5) and not(r6) and r7) or (r0 and not(r1) and not(r2) 
      and r3 and r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) and not(
      r2) and r3 and r4 and r5 and not(r6) and r7) or (r0 and not(r1) and not(
      r2) and r3 and r4 and r5 and r6 and not(r7)) or (r0 and not(r1) and r2 
      and not(r3) and not(r4) and not(r5) and r6 and not(r7)) or (r0 and not(r1
      ) and r2 and not(r3) and not(r4) and not(r5) and r6 and r7) or (r0 and 
      not(r1) and r2 and not(r3) and not(r4) and r5 and not(r6) and r7) or (r0 
      and not(r1) and r2 and not(r3) and not(r4) and r5 and r6 and not(r7)) or 
      (r0 and not(r1) and r2 and not(r3) and r4 and not(r5) and not(r6) and 
      not(r7)) or (r0 and not(r1) and r2 and not(r3) and r4 and not(r5) and 
      not(r6) and r7) or (r0 and not(r1) and r2 and not(r3) and r4 and r5 and 
      not(r6) and not(r7)) or (r0 and not(r1) and r2 and not(r3) and r4 and r5 
      and r6 and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and not(r5) 
      and r6 and not(r7)) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 
      and not(r6) and r7) or (r0 and not(r1) and r2 and r3 and r4 and not(r5) 
      and not(r6) and not(r7)) or (r0 and not(r1) and r2 and r3 and r4 and not(
      r5) and r6 and r7) or (r0 and not(r1) and r2 and r3 and r4 and r5 and r6 
      and not(r7)) or (r0 and r1 and not(r2) and not(r3) and not(r4) and not(r5
      ) and r6 and not(r7)) or (r0 and r1 and not(r2) and not(r3) and not(r4) 
      and r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and not(r3) and
      not(r4) and r5 and not(r6) and r7) or (r0 and r1 and not(r2) and not(r3) 
      and not(r4) and r5 and r6 and r7) or (r0 and r1 and not(r2) and not(r3) 
      and r4 and not(r5) and r6 and not(r7)) or (r0 and r1 and not(r2) and not(
      r3) and r4 and r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and 
      not(r3) and r4 and r5 and not(r6) and r7) or (r0 and r1 and not(r2) and 
      not(r3) and r4 and r5 and r6 and r7) or (r0 and r1 and not(r2) and r3 and
      not(r4) and not(r5) and r6 and not(r7)) or (r0 and r1 and not(r2) and r3 
      and not(r4) and r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and
      r3 and not(r4) and r5 and r6 and r7) or (r0 and r1 and not(r2) and r3 and
      r4 and not(r5) and not(r6) and r7) or (r0 and r1 and not(r2) and r3 and 
      r4 and r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and r3 and 
      r4 and r5 and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) and not(r4
      ) and not(r5) and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) and 
      not(r4) and r5 and not(r6) and not(r7)) or (r0 and r1 and r2 and not(r3) 
      and not(r4) and r5 and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) 
      and r4 and not(r5) and not(r6) and not(r7)) or (r0 and r1 and r2 and not(
      r3) and r4 and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and not(
      r3) and r4 and not(r5) and r6 and r7) or (r0 and r1 and r2 and not(r3) 
      and r4 and r5 and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and r4
      and r5 and r6 and r7) or (r0 and r1 and r2 and r3 and not(r4) and not(r5)
      and r6 and not(r7)) or (r0 and r1 and r2 and r3 and not(r4) and r5 and 
      not(r6) and not(r7)) or (r0 and r1 and r2 and r3 and not(r4) and r5 and 
      r6 and not(r7)) or (r0 and r1 and r2 and r3 and r4 and not(r5) and not(r6
      ) and not(r7)) or (r0 and r1 and r2 and r3 and r4 and not(r5) and r6 and 
      not(r7)) or (r0 and r1 and r2 and r3 and r4 and r5 and not(r6) and not(r7
      )) or (r0 and r1 and r2 and r3 and r4 and r5 and r6 and not(r7)));
   m4 <= ((not(r0) and not(r1) and not(r2) and r3 and r4 and not(r5) and not(r6
      ) and not(r7)) or (not(r0) and not(r1) and not(r2) and r3 and r4 and not(
      r5) and not(r6) and r7) or (not(r0) and not(r1) and not(r2) and r3 and r4
      and not(r5) and r6 and not(r7)) or (not(r0) and not(r1) and not(r2) and 
      r3 and r4 and not(r5) and r6 and r7) or (not(r0) and not(r1) and not(r2) 
      and r3 and r4 and r5 and not(r6) and not(r7)) or (not(r0) and not(r1) and
      not(r2) and r3 and r4 and r5 and not(r6) and r7) or (not(r0) and not(r1) 
      and not(r2) and r3 and r4 and r5 and r6 and not(r7)) or (not(r0) and not(
      r1) and not(r2) and r3 and r4 and r5 and r6 and r7) or (not(r0) and not(
      r1) and r2 and not(r3) and not(r4) and r5 and not(r6) and not(r7)) or (
      not(r0) and not(r1) and r2 and not(r3) and not(r4) and r5 and not(r6) and
      r7) or (not(r0) and not(r1) and r2 and not(r3) and not(r4) and r5 and r6 
      and not(r7)) or (not(r0) and not(r1) and r2 and not(r3) and not(r4) and 
      r5 and r6 and r7) or (not(r0) and not(r1) and r2 and not(r3) and r4 and 
      r5 and not(r6) and not(r7)) or (not(r0) and not(r1) and r2 and not(r3) 
      and r4 and r5 and not(r6) and r7) or (not(r0) and not(r1) and r2 and not(
      r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and not(r1) and r2 and 
      not(r3) and r4 and r5 and r6 and r7) or (not(r0) and not(r1) and r2 and 
      r3 and not(r4) and not(r5) and r6 and r7) or (not(r0) and not(r1) and r2 
      and r3 and not(r4) and r5 and not(r6) and not(r7)) or (not(r0) and not(r1
      ) and r2 and r3 and not(r4) and r5 and not(r6) and r7) or (not(r0) and 
      not(r1) and r2 and r3 and r4 and not(r5) and not(r6) and not(r7)) or (
      not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and not(r6) and r7) 
      or (not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and r6 and not(
      r7)) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and r6 and not(
      r7)) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and r6 and r7) 
      or (not(r0) and r1 and not(r2) and not(r3) and not(r4) and not(r5) and r6
      and not(r7)) or (not(r0) and r1 and not(r2) and not(r3) and not(r4) and 
      not(r5) and r6 and r7) or (not(r0) and r1 and not(r2) and not(r3) and 
      not(r4) and r5 and r6 and not(r7)) or (not(r0) and r1 and not(r2) and 
      not(r3) and not(r4) and r5 and r6 and r7) or (not(r0) and r1 and not(r2) 
      and not(r3) and r4 and not(r5) and r6 and not(r7)) or (not(r0) and r1 and
      not(r2) and not(r3) and r4 and not(r5) and r6 and r7) or (not(r0) and r1 
      and not(r2) and not(r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and
      r1 and not(r2) and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and 
      r1 and not(r2) and r3 and not(r4) and not(r5) and r6 and not(r7)) or (
      not(r0) and r1 and not(r2) and r3 and not(r4) and not(r5) and r6 and r7) 
      or (not(r0) and r1 and not(r2) and r3 and not(r4) and r5 and not(r6) and 
      r7) or (not(r0) and r1 and not(r2) and r3 and not(r4) and r5 and r6 and 
      not(r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and 
      not(r6) and not(r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and 
      not(r5) and not(r6) and r7) or (not(r0) and r1 and not(r2) and r3 and r4 
      and r5 and not(r6) and not(r7)) or (not(r0) and r1 and not(r2) and r3 and
      r4 and r5 and r6 and r7) or (not(r0) and r1 and r2 and not(r3) and not(r4
      ) and not(r5) and r6 and not(r7)) or (not(r0) and r1 and r2 and not(r3) 
      and not(r4) and r5 and not(r6) and not(r7)) or (not(r0) and r1 and r2 and
      not(r3) and not(r4) and r5 and not(r6) and r7) or (not(r0) and r1 and r2 
      and not(r3) and not(r4) and r5 and r6 and r7) or (not(r0) and r1 and r2 
      and not(r3) and r4 and not(r5) and r6 and not(r7)) or (not(r0) and r1 and
      r2 and not(r3) and r4 and r5 and not(r6) and not(r7)) or (not(r0) and r1 
      and r2 and not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and r1 
      and r2 and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and r1 and r2
      and r3 and not(r4) and not(r5) and r6 and not(r7)) or (not(r0) and r1 and
      r2 and r3 and not(r4) and r5 and not(r6) and not(r7)) or (not(r0) and r1 
      and r2 and r3 and not(r4) and r5 and r6 and not(r7)) or (not(r0) and r1 
      and r2 and r3 and r4 and not(r5) and not(r6) and not(r7)) or (not(r0) and
      r1 and r2 and r3 and r4 and not(r5) and not(r6) and r7) or (not(r0) and 
      r1 and r2 and r3 and r4 and not(r5) and r6 and r7) or (not(r0) and r1 and
      r2 and r3 and r4 and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and
      r3 and r4 and r5 and r6 and r7) or (r0 and not(r1) and not(r2) and not(r3
      ) and not(r4) and not(r5) and not(r6) and r7) or (r0 and not(r1) and not(
      r2) and not(r3) and not(r4) and not(r5) and r6 and r7) or (r0 and not(r1)
      and not(r2) and not(r3) and not(r4) and r5 and not(r6) and r7) or (r0 and
      not(r1) and not(r2) and not(r3) and not(r4) and r5 and r6 and r7) or (r0 
      and not(r1) and not(r2) and not(r3) and r4 and not(r5) and not(r6) and r7
      ) or (r0 and not(r1) and not(r2) and not(r3) and r4 and not(r5) and r6 
      and r7) or (r0 and not(r1) and not(r2) and not(r3) and r4 and r5 and not(
      r6) and r7) or (r0 and not(r1) and not(r2) and not(r3) and r4 and r5 and 
      r6 and r7) or (r0 and not(r1) and not(r2) and r3 and not(r4) and not(r5) 
      and not(r6) and r7) or (r0 and not(r1) and not(r2) and r3 and not(r4) and
      not(r5) and r6 and r7) or (r0 and not(r1) and not(r2) and r3 and not(r4) 
      and r5 and not(r6) and r7) or (r0 and not(r1) and not(r2) and r3 and not(
      r4) and r5 and r6 and r7) or (r0 and not(r1) and not(r2) and r3 and r4 
      and not(r5) and not(r6) and not(r7)) or (r0 and not(r1) and not(r2) and 
      r3 and r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) and not(r2) 
      and r3 and r4 and r5 and not(r6) and not(r7)) or (r0 and not(r1) and not(
      r2) and r3 and r4 and r5 and r6 and not(r7)) or (r0 and not(r1) and r2 
      and not(r3) and not(r4) and not(r5) and not(r6) and r7) or (r0 and not(r1
      ) and r2 and not(r3) and not(r4) and not(r5) and r6 and r7) or (r0 and 
      not(r1) and r2 and not(r3) and not(r4) and r5 and not(r6) and not(r7)) or
      (r0 and not(r1) and r2 and not(r3) and not(r4) and r5 and r6 and not(r7))
      or (r0 and not(r1) and r2 and not(r3) and r4 and not(r5) and not(r6) and 
      r7) or (r0 and not(r1) and r2 and not(r3) and r4 and not(r5) and r6 and 
      r7) or (r0 and not(r1) and r2 and not(r3) and r4 and r5 and not(r6) and 
      not(r7)) or (r0 and not(r1) and r2 and not(r3) and r4 and r5 and r6 and 
      not(r7)) or (r0 and not(r1) and r2 and r3 and not(r4) and not(r5) and 
      not(r6) and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 and 
      not(r6) and not(r7)) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 
      and r6 and r7) or (r0 and not(r1) and r2 and r3 and r4 and not(r5) and 
      not(r6) and not(r7)) or (r0 and not(r1) and r2 and r3 and r4 and not(r5) 
      and r6 and not(r7)) or (r0 and not(r1) and r2 and r3 and r4 and not(r5) 
      and r6 and r7) or (r0 and not(r1) and r2 and r3 and r4 and r5 and not(r6)
      and r7) or (r0 and not(r1) and r2 and r3 and r4 and r5 and r6 and not(r7)
      ) or (r0 and r1 and not(r2) and not(r3) and not(r4) and not(r5) and not(
      r6) and r7) or (r0 and r1 and not(r2) and not(r3) and not(r4) and not(r5)
      and r6 and not(r7)) or (r0 and r1 and not(r2) and not(r3) and not(r4) and
      r5 and not(r6) and r7) or (r0 and r1 and not(r2) and not(r3) and not(r4) 
      and r5 and r6 and not(r7)) or (r0 and r1 and not(r2) and not(r3) and r4 
      and not(r5) and not(r6) and r7) or (r0 and r1 and not(r2) and not(r3) and
      r4 and not(r5) and r6 and not(r7)) or (r0 and r1 and not(r2) and not(r3) 
      and r4 and r5 and not(r6) and r7) or (r0 and r1 and not(r2) and not(r3) 
      and r4 and r5 and r6 and not(r7)) or (r0 and r1 and not(r2) and r3 and 
      not(r4) and not(r5) and not(r6) and r7) or (r0 and r1 and not(r2) and r3 
      and not(r4) and not(r5) and r6 and not(r7)) or (r0 and r1 and not(r2) and
      r3 and not(r4) and r5 and r6 and not(r7)) or (r0 and r1 and not(r2) and 
      r3 and not(r4) and r5 and r6 and r7) or (r0 and r1 and not(r2) and r3 and
      r4 and not(r5) and not(r6) and not(r7)) or (r0 and r1 and not(r2) and r3 
      and r4 and not(r5) and r6 and r7) or (r0 and r1 and not(r2) and r3 and r4
      and r5 and not(r6) and not(r7)) or (r0 and r1 and not(r2) and r3 and r4 
      and r5 and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and not(r4) 
      and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and not(
      r4) and not(r5) and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) and 
      not(r4) and not(r5) and r6 and r7) or (r0 and r1 and r2 and not(r3) and 
      not(r4) and r5 and not(r6) and not(r7)) or (r0 and r1 and r2 and not(r3) 
      and r4 and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and not(r3) 
      and r4 and not(r5) and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) 
      and r4 and not(r5) and r6 and r7) or (r0 and r1 and r2 and not(r3) and r4
      and r5 and not(r6) and not(r7)) or (r0 and r1 and r2 and r3 and not(r4) 
      and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and r3 and not(r4) 
      and not(r5) and r6 and not(r7)) or (r0 and r1 and r2 and r3 and not(r4) 
      and not(r5) and r6 and r7) or (r0 and r1 and r2 and r3 and not(r4) and r5
      and not(r6) and not(r7)) or (r0 and r1 and r2 and r3 and not(r4) and r5 
      and not(r6) and r7) or (r0 and r1 and r2 and r3 and not(r4) and r5 and r6
      and not(r7)) or (r0 and r1 and r2 and r3 and not(r4) and r5 and r6 and r7
      ) or (r0 and r1 and r2 and r3 and r4 and not(r5) and not(r6) and not(r7))
      );
   m5 <= ((not(r0) and not(r1) and not(r2) and r3 and not(r4) and r5 and not(r6
      ) and not(r7)) or (not(r0) and not(r1) and not(r2) and r3 and not(r4) and
      r5 and not(r6) and r7) or (not(r0) and not(r1) and not(r2) and r3 and 
      not(r4) and r5 and r6 and not(r7)) or (not(r0) and not(r1) and not(r2) 
      and r3 and not(r4) and r5 and r6 and r7) or (not(r0) and not(r1) and not(
      r2) and r3 and r4 and r5 and not(r6) and not(r7)) or (not(r0) and not(r1)
      and not(r2) and r3 and r4 and r5 and not(r6) and r7) or (not(r0) and not(
      r1) and not(r2) and r3 and r4 and r5 and r6 and not(r7)) or (not(r0) and 
      not(r1) and not(r2) and r3 and r4 and r5 and r6 and r7) or (not(r0) and 
      not(r1) and r2 and not(r3) and not(r4) and not(r5) and r6 and not(r7)) or
      (not(r0) and not(r1) and r2 and not(r3) and not(r4) and not(r5) and r6 
      and r7) or (not(r0) and not(r1) and r2 and not(r3) and not(r4) and r5 and
      r6 and not(r7)) or (not(r0) and not(r1) and r2 and not(r3) and not(r4) 
      and r5 and r6 and r7) or (not(r0) and not(r1) and r2 and not(r3) and r4 
      and not(r5) and r6 and not(r7)) or (not(r0) and not(r1) and r2 and not(r3
      ) and r4 and not(r5) and r6 and r7) or (not(r0) and not(r1) and r2 and 
      not(r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and not(r1) and r2 
      and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and not(r1) and r2 
      and r3 and not(r4) and not(r5) and r6 and not(r7)) or (not(r0) and not(r1
      ) and r2 and r3 and not(r4) and r5 and not(r6) and not(r7)) or (not(r0) 
      and not(r1) and r2 and r3 and not(r4) and r5 and not(r6) and r7) or (not(
      r0) and not(r1) and r2 and r3 and not(r4) and r5 and r6 and r7) or (not(
      r0) and not(r1) and r2 and r3 and r4 and not(r5) and r6 and not(r7)) or (
      not(r0) and not(r1) and r2 and r3 and r4 and r5 and not(r6) and not(r7)) 
      or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and not(r6) and r7) 
      or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and r6 and r7) or (
      not(r0) and r1 and not(r2) and not(r3) and not(r4) and not(r5) and not(r6
      ) and r7) or (not(r0) and r1 and not(r2) and not(r3) and not(r4) and not(
      r5) and r6 and r7) or (not(r0) and r1 and not(r2) and not(r3) and not(r4)
      and r5 and not(r6) and r7) or (not(r0) and r1 and not(r2) and not(r3) and
      not(r4) and r5 and r6 and r7) or (not(r0) and r1 and not(r2) and not(r3) 
      and r4 and not(r5) and not(r6) and r7) or (not(r0) and r1 and not(r2) and
      not(r3) and r4 and not(r5) and r6 and r7) or (not(r0) and r1 and not(r2) 
      and not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and r1 and not(
      r2) and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and r1 and not(
      r2) and r3 and not(r4) and not(r5) and not(r6) and r7) or (not(r0) and r1
      and not(r2) and r3 and not(r4) and not(r5) and r6 and r7) or (not(r0) and
      r1 and not(r2) and r3 and not(r4) and r5 and not(r6) and not(r7)) or (
      not(r0) and r1 and not(r2) and r3 and not(r4) and r5 and r6 and not(r7)) 
      or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and not(r6) and 
      r7) or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5) and r6 and 
      r7) or (not(r0) and r1 and not(r2) and r3 and r4 and r5 and not(r6) and 
      not(r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and r5 and r6 and 
      not(r7)) or (not(r0) and r1 and r2 and not(r3) and not(r4) and not(r5) 
      and not(r6) and r7) or (not(r0) and r1 and r2 and not(r3) and not(r4) and
      not(r5) and r6 and not(r7)) or (not(r0) and r1 and r2 and not(r3) and 
      not(r4) and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and not(r3) 
      and not(r4) and r5 and r6 and not(r7)) or (not(r0) and r1 and r2 and not(
      r3) and r4 and not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and 
      not(r3) and r4 and not(r5) and r6 and not(r7)) or (not(r0) and r1 and r2 
      and not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and r1 and r2 
      and not(r3) and r4 and r5 and r6 and not(r7)) or (not(r0) and r1 and r2 
      and r3 and not(r4) and not(r5) and not(r6) and r7) or (not(r0) and r1 and
      r2 and r3 and not(r4) and not(r5) and r6 and not(r7)) or (not(r0) and r1 
      and r2 and r3 and not(r4) and not(r5) and r6 and r7) or (not(r0) and r1 
      and r2 and r3 and not(r4) and r5 and not(r6) and not(r7)) or (not(r0) and
      r1 and r2 and r3 and r4 and not(r5) and not(r6) and r7) or (not(r0) and 
      r1 and r2 and r3 and r4 and not(r5) and r6 and not(r7)) or (not(r0) and 
      r1 and r2 and r3 and r4 and not(r5) and r6 and r7) or (not(r0) and r1 and
      r2 and r3 and r4 and r5 and not(r6) and not(r7)) or (r0 and not(r1) and 
      not(r2) and r3 and not(r4) and r5 and not(r6) and not(r7)) or (r0 and 
      not(r1) and not(r2) and r3 and not(r4) and r5 and not(r6) and r7) or (r0 
      and not(r1) and not(r2) and r3 and not(r4) and r5 and r6 and not(r7)) or 
      (r0 and not(r1) and not(r2) and r3 and not(r4) and r5 and r6 and r7) or (
      r0 and not(r1) and not(r2) and r3 and r4 and r5 and not(r6) and not(r7)) 
      or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and not(r6) and r7) 
      or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and r6 and not(r7)) 
      or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and r6 and r7) or (r0
      and not(r1) and r2 and not(r3) and not(r4) and not(r5) and r6 and not(r7)
      ) or (r0 and not(r1) and r2 and not(r3) and not(r4) and not(r5) and r6 
      and r7) or (r0 and not(r1) and r2 and not(r3) and not(r4) and r5 and r6 
      and not(r7)) or (r0 and not(r1) and r2 and not(r3) and not(r4) and r5 and
      r6 and r7) or (r0 and not(r1) and r2 and not(r3) and r4 and not(r5) and 
      r6 and not(r7)) or (r0 and not(r1) and r2 and not(r3) and r4 and not(r5) 
      and r6 and r7) or (r0 and not(r1) and r2 and not(r3) and r4 and r5 and r6
      and not(r7)) or (r0 and not(r1) and r2 and not(r3) and r4 and r5 and r6 
      and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and not(r5) and r6 
      and not(r7)) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 and not(
      r6) and not(r7)) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 and 
      not(r6) and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 and 
      r6 and r7) or (r0 and not(r1) and r2 and r3 and r4 and not(r5) and r6 and
      not(r7)) or (r0 and not(r1) and r2 and r3 and r4 and r5 and not(r6) and 
      not(r7)) or (r0 and not(r1) and r2 and r3 and r4 and r5 and not(r6) and 
      r7) or (r0 and not(r1) and r2 and r3 and r4 and r5 and r6 and r7) or (r0 
      and r1 and not(r2) and not(r3) and not(r4) and not(r5) and not(r6) and r7
      ) or (r0 and r1 and not(r2) and not(r3) and not(r4) and not(r5) and r6 
      and r7) or (r0 and r1 and not(r2) and not(r3) and not(r4) and r5 and not(
      r6) and r7) or (r0 and r1 and not(r2) and not(r3) and not(r4) and r5 and 
      r6 and r7) or (r0 and r1 and not(r2) and not(r3) and r4 and not(r5) and 
      not(r6) and r7) or (r0 and r1 and not(r2) and not(r3) and r4 and not(r5) 
      and r6 and r7) or (r0 and r1 and not(r2) and not(r3) and r4 and r5 and 
      not(r6) and r7) or (r0 and r1 and not(r2) and not(r3) and r4 and r5 and 
      r6 and r7) or (r0 and r1 and not(r2) and r3 and not(r4) and not(r5) and 
      not(r6) and r7) or (r0 and r1 and not(r2) and r3 and not(r4) and not(r5) 
      and r6 and r7) or (r0 and r1 and not(r2) and r3 and not(r4) and r5 and 
      not(r6) and not(r7)) or (r0 and r1 and not(r2) and r3 and not(r4) and r5 
      and r6 and not(r7)) or (r0 and r1 and not(r2) and r3 and r4 and not(r5) 
      and not(r6) and r7) or (r0 and r1 and not(r2) and r3 and r4 and not(r5) 
      and r6 and r7) or (r0 and r1 and not(r2) and r3 and r4 and r5 and not(r6)
      and not(r7)) or (r0 and r1 and not(r2) and r3 and r4 and r5 and r6 and 
      not(r7)) or (r0 and r1 and r2 and not(r3) and not(r4) and not(r5) and 
      not(r6) and r7) or (r0 and r1 and r2 and not(r3) and not(r4) and not(r5) 
      and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) and not(r4) and r5 
      and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and not(r4) and r5 
      and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) and r4 and not(r5) 
      and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and r4 and not(r5) 
      and r6 and not(r7)) or (r0 and r1 and r2 and not(r3) and r4 and r5 and 
      not(r6) and r7) or (r0 and r1 and r2 and not(r3) and r4 and r5 and r6 and
      not(r7)) or (r0 and r1 and r2 and r3 and not(r4) and not(r5) and not(r6) 
      and r7) or (r0 and r1 and r2 and r3 and not(r4) and not(r5) and r6 and 
      not(r7)) or (r0 and r1 and r2 and r3 and not(r4) and not(r5) and r6 and 
      r7) or (r0 and r1 and r2 and r3 and not(r4) and r5 and not(r6) and not(r7
      )) or (r0 and r1 and r2 and r3 and r4 and not(r5) and not(r6) and r7) or 
      (r0 and r1 and r2 and r3 and r4 and not(r5) and r6 and not(r7)) or (r0 
      and r1 and r2 and r3 and r4 and not(r5) and r6 and r7) or (r0 and r1 and 
      r2 and r3 and r4 and r5 and not(r6) and not(r7)));
   m6 <= ((not(r0) and not(r1) and not(r2) and r3 and not(r4) and not(r5) and 
      r6 and not(r7)) or (not(r0) and not(r1) and not(r2) and r3 and not(r4) 
      and not(r5) and r6 and r7) or (not(r0) and not(r1) and not(r2) and r3 and
      not(r4) and r5 and r6 and not(r7)) or (not(r0) and not(r1) and not(r2) 
      and r3 and not(r4) and r5 and r6 and r7) or (not(r0) and not(r1) and not(
      r2) and r3 and r4 and not(r5) and r6 and not(r7)) or (not(r0) and not(r1)
      and not(r2) and r3 and r4 and not(r5) and r6 and r7) or (not(r0) and not(
      r1) and not(r2) and r3 and r4 and r5 and r6 and not(r7)) or (not(r0) and 
      not(r1) and not(r2) and r3 and r4 and r5 and r6 and r7) or (not(r0) and 
      not(r1) and r2 and not(r3) and not(r4) and not(r5) and not(r6) and r7) or
      (not(r0) and not(r1) and r2 and not(r3) and not(r4) and not(r5) and r6 
      and r7) or (not(r0) and not(r1) and r2 and not(r3) and not(r4) and r5 and
      not(r6) and r7) or (not(r0) and not(r1) and r2 and not(r3) and not(r4) 
      and r5 and r6 and r7) or (not(r0) and not(r1) and r2 and not(r3) and r4 
      and not(r5) and not(r6) and r7) or (not(r0) and not(r1) and r2 and not(r3
      ) and r4 and not(r5) and r6 and r7) or (not(r0) and not(r1) and r2 and 
      not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and not(r1) and r2 
      and not(r3) and r4 and r5 and r6 and r7) or (not(r0) and not(r1) and r2 
      and r3 and not(r4) and not(r5) and not(r6) and r7) or (not(r0) and not(r1
      ) and r2 and r3 and not(r4) and not(r5) and r6 and not(r7)) or (not(r0) 
      and not(r1) and r2 and r3 and not(r4) and r5 and not(r6) and r7) or (not(
      r0) and not(r1) and r2 and r3 and not(r4) and r5 and r6 and not(r7)) or (
      not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and not(r6) and r7) 
      or (not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and r6 and not(
      r7)) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and not(r6) and 
      r7) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and r6 and not(r7
      )) or (not(r0) and r1 and not(r2) and r3 and not(r4) and not(r5) and r6 
      and not(r7)) or (not(r0) and r1 and not(r2) and r3 and not(r4) and not(r5
      ) and r6 and r7) or (not(r0) and r1 and not(r2) and r3 and not(r4) and r5
      and r6 and not(r7)) or (not(r0) and r1 and not(r2) and r3 and not(r4) and
      r5 and r6 and r7) or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5
      ) and r6 and not(r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and 
      not(r5) and r6 and r7) or (not(r0) and r1 and not(r2) and r3 and r4 and 
      r5 and r6 and not(r7)) or (not(r0) and r1 and not(r2) and r3 and r4 and 
      r5 and r6 and r7) or (not(r0) and r1 and r2 and not(r3) and not(r4) and 
      not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and not(r3) and 
      not(r4) and not(r5) and r6 and r7) or (not(r0) and r1 and r2 and not(r3) 
      and not(r4) and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and not(
      r3) and not(r4) and r5 and r6 and r7) or (not(r0) and r1 and r2 and not(
      r3) and r4 and not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and 
      not(r3) and r4 and not(r5) and r6 and r7) or (not(r0) and r1 and r2 and 
      not(r3) and r4 and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and 
      not(r3) and r4 and r5 and r6 and r7) or (not(r0) and r1 and r2 and r3 and
      not(r4) and not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and r3 
      and not(r4) and not(r5) and r6 and not(r7)) or (not(r0) and r1 and r2 and
      r3 and not(r4) and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and 
      r3 and not(r4) and r5 and r6 and not(r7)) or (not(r0) and r1 and r2 and 
      r3 and r4 and not(r5) and not(r6) and r7) or (not(r0) and r1 and r2 and 
      r3 and r4 and not(r5) and r6 and not(r7)) or (not(r0) and r1 and r2 and 
      r3 and r4 and r5 and not(r6) and r7) or (not(r0) and r1 and r2 and r3 and
      r4 and r5 and r6 and not(r7)) or (r0 and not(r1) and not(r2) and r3 and 
      not(r4) and not(r5) and r6 and not(r7)) or (r0 and not(r1) and not(r2) 
      and r3 and not(r4) and not(r5) and r6 and r7) or (r0 and not(r1) and not(
      r2) and r3 and not(r4) and r5 and r6 and not(r7)) or (r0 and not(r1) and 
      not(r2) and r3 and not(r4) and r5 and r6 and r7) or (r0 and not(r1) and 
      not(r2) and r3 and r4 and not(r5) and r6 and not(r7)) or (r0 and not(r1) 
      and not(r2) and r3 and r4 and not(r5) and r6 and r7) or (r0 and not(r1) 
      and not(r2) and r3 and r4 and r5 and r6 and not(r7)) or (r0 and not(r1) 
      and not(r2) and r3 and r4 and r5 and r6 and r7) or (r0 and not(r1) and r2
      and not(r3) and not(r4) and not(r5) and not(r6) and r7) or (r0 and not(r1
      ) and r2 and not(r3) and not(r4) and not(r5) and r6 and r7) or (r0 and 
      not(r1) and r2 and not(r3) and not(r4) and r5 and not(r6) and r7) or (r0 
      and not(r1) and r2 and not(r3) and not(r4) and r5 and r6 and r7) or (r0 
      and not(r1) and r2 and not(r3) and r4 and not(r5) and not(r6) and r7) or 
      (r0 and not(r1) and r2 and not(r3) and r4 and not(r5) and r6 and r7) or (
      r0 and not(r1) and r2 and not(r3) and r4 and r5 and not(r6) and r7) or (
      r0 and not(r1) and r2 and not(r3) and r4 and r5 and r6 and r7) or (r0 and
      not(r1) and r2 and r3 and not(r4) and not(r5) and not(r6) and r7) or (r0 
      and not(r1) and r2 and r3 and not(r4) and not(r5) and r6 and not(r7)) or 
      (r0 and not(r1) and r2 and r3 and not(r4) and r5 and not(r6) and r7) or (
      r0 and not(r1) and r2 and r3 and not(r4) and r5 and r6 and not(r7)) or (
      r0 and not(r1) and r2 and r3 and r4 and not(r5) and not(r6) and r7) or (
      r0 and not(r1) and r2 and r3 and r4 and not(r5) and r6 and not(r7)) or (
      r0 and not(r1) and r2 and r3 and r4 and r5 and not(r6) and r7) or (r0 and
      not(r1) and r2 and r3 and r4 and r5 and r6 and not(r7)) or (r0 and r1 and
      not(r2) and r3 and not(r4) and not(r5) and r6 and not(r7)) or (r0 and r1 
      and not(r2) and r3 and not(r4) and not(r5) and r6 and r7) or (r0 and r1 
      and not(r2) and r3 and not(r4) and r5 and r6 and not(r7)) or (r0 and r1 
      and not(r2) and r3 and not(r4) and r5 and r6 and r7) or (r0 and r1 and 
      not(r2) and r3 and r4 and not(r5) and r6 and not(r7)) or (r0 and r1 and 
      not(r2) and r3 and r4 and not(r5) and r6 and r7) or (r0 and r1 and not(r2
      ) and r3 and r4 and r5 and r6 and not(r7)) or (r0 and r1 and not(r2) and 
      r3 and r4 and r5 and r6 and r7) or (r0 and r1 and r2 and not(r3) and not(
      r4) and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and 
      not(r4) and not(r5) and r6 and r7) or (r0 and r1 and r2 and not(r3) and 
      not(r4) and r5 and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and 
      not(r4) and r5 and r6 and r7) or (r0 and r1 and r2 and not(r3) and r4 and
      not(r5) and not(r6) and r7) or (r0 and r1 and r2 and not(r3) and r4 and 
      not(r5) and r6 and r7) or (r0 and r1 and r2 and not(r3) and r4 and r5 and
      not(r6) and r7) or (r0 and r1 and r2 and not(r3) and r4 and r5 and r6 and
      r7) or (r0 and r1 and r2 and r3 and not(r4) and not(r5) and not(r6) and 
      r7) or (r0 and r1 and r2 and r3 and not(r4) and not(r5) and r6 and not(r7
      )) or (r0 and r1 and r2 and r3 and not(r4) and r5 and not(r6) and r7) or 
      (r0 and r1 and r2 and r3 and not(r4) and r5 and r6 and not(r7)) or (r0 
      and r1 and r2 and r3 and r4 and not(r5) and not(r6) and r7) or (r0 and r1
      and r2 and r3 and r4 and not(r5) and r6 and not(r7)) or (r0 and r1 and r2
      and r3 and r4 and r5 and not(r6) and r7) or (r0 and r1 and r2 and r3 and 
      r4 and r5 and r6 and not(r7)));
   m7 <= ((not(r0) and not(r1) and not(r2) and r3 and not(r4) and not(r5) and 
      not(r6) and r7) or (not(r0) and not(r1) and not(r2) and r3 and not(r4) 
      and not(r5) and r6 and r7) or (not(r0) and not(r1) and not(r2) and r3 and
      not(r4) and r5 and not(r6) and r7) or (not(r0) and not(r1) and not(r2) 
      and r3 and not(r4) and r5 and r6 and r7) or (not(r0) and not(r1) and not(
      r2) and r3 and r4 and not(r5) and not(r6) and r7) or (not(r0) and not(r1)
      and not(r2) and r3 and r4 and not(r5) and r6 and r7) or (not(r0) and not(
      r1) and not(r2) and r3 and r4 and r5 and not(r6) and r7) or (not(r0) and 
      not(r1) and not(r2) and r3 and r4 and r5 and r6 and r7) or (not(r0) and 
      not(r1) and r2 and r3 and not(r4) and not(r5) and not(r6) and r7) or (
      not(r0) and not(r1) and r2 and r3 and not(r4) and not(r5) and r6 and r7) 
      or (not(r0) and not(r1) and r2 and r3 and not(r4) and r5 and not(r6) and 
      r7) or (not(r0) and not(r1) and r2 and r3 and not(r4) and r5 and r6 and 
      r7) or (not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and not(r6) 
      and r7) or (not(r0) and not(r1) and r2 and r3 and r4 and not(r5) and r6 
      and r7) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and not(r6) 
      and r7) or (not(r0) and not(r1) and r2 and r3 and r4 and r5 and r6 and r7
      ) or (not(r0) and r1 and not(r2) and r3 and not(r4) and not(r5) and not(
      r6) and r7) or (not(r0) and r1 and not(r2) and r3 and not(r4) and not(r5)
      and r6 and r7) or (not(r0) and r1 and not(r2) and r3 and not(r4) and r5 
      and not(r6) and r7) or (not(r0) and r1 and not(r2) and r3 and not(r4) and
      r5 and r6 and r7) or (not(r0) and r1 and not(r2) and r3 and r4 and not(r5
      ) and not(r6) and r7) or (not(r0) and r1 and not(r2) and r3 and r4 and 
      not(r5) and r6 and r7) or (not(r0) and r1 and not(r2) and r3 and r4 and 
      r5 and not(r6) and r7) or (not(r0) and r1 and not(r2) and r3 and r4 and 
      r5 and r6 and r7) or (not(r0) and r1 and r2 and r3 and not(r4) and not(r5
      ) and not(r6) and r7) or (not(r0) and r1 and r2 and r3 and not(r4) and 
      not(r5) and r6 and r7) or (not(r0) and r1 and r2 and r3 and not(r4) and 
      r5 and not(r6) and r7) or (not(r0) and r1 and r2 and r3 and not(r4) and 
      r5 and r6 and r7) or (not(r0) and r1 and r2 and r3 and r4 and not(r5) and
      not(r6) and r7) or (not(r0) and r1 and r2 and r3 and r4 and not(r5) and 
      r6 and r7) or (not(r0) and r1 and r2 and r3 and r4 and r5 and not(r6) and
      r7) or (not(r0) and r1 and r2 and r3 and r4 and r5 and r6 and r7) or (r0 
      and not(r1) and not(r2) and r3 and not(r4) and not(r5) and not(r6) and r7
      ) or (r0 and not(r1) and not(r2) and r3 and not(r4) and not(r5) and r6 
      and r7) or (r0 and not(r1) and not(r2) and r3 and not(r4) and r5 and not(
      r6) and r7) or (r0 and not(r1) and not(r2) and r3 and not(r4) and r5 and 
      r6 and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and not(r5) and 
      not(r6) and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and not(r5) 
      and r6 and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and 
      not(r6) and r7) or (r0 and not(r1) and not(r2) and r3 and r4 and r5 and 
      r6 and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and not(r5) and 
      not(r6) and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and not(r5) 
      and r6 and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 and 
      not(r6) and r7) or (r0 and not(r1) and r2 and r3 and not(r4) and r5 and 
      r6 and r7) or (r0 and not(r1) and r2 and r3 and r4 and not(r5) and not(r6
      ) and r7) or (r0 and not(r1) and r2 and r3 and r4 and not(r5) and r6 and 
      r7) or (r0 and not(r1) and r2 and r3 and r4 and r5 and not(r6) and r7) or
      (r0 and not(r1) and r2 and r3 and r4 and r5 and r6 and r7) or (r0 and r1 
      and not(r2) and r3 and not(r4) and not(r5) and not(r6) and r7) or (r0 and
      r1 and not(r2) and r3 and not(r4) and not(r5) and r6 and r7) or (r0 and 
      r1 and not(r2) and r3 and not(r4) and r5 and not(r6) and r7) or (r0 and 
      r1 and not(r2) and r3 and not(r4) and r5 and r6 and r7) or (r0 and r1 and
      not(r2) and r3 and r4 and not(r5) and not(r6) and r7) or (r0 and r1 and 
      not(r2) and r3 and r4 and not(r5) and r6 and r7) or (r0 and r1 and not(r2
      ) and r3 and r4 and r5 and not(r6) and r7) or (r0 and r1 and not(r2) and 
      r3 and r4 and r5 and r6 and r7) or (r0 and r1 and r2 and r3 and not(r4) 
      and not(r5) and not(r6) and r7) or (r0 and r1 and r2 and r3 and not(r4) 
      and not(r5) and r6 and r7) or (r0 and r1 and r2 and r3 and not(r4) and r5
      and not(r6) and r7) or (r0 and r1 and r2 and r3 and not(r4) and r5 and r6
      and r7) or (r0 and r1 and r2 and r3 and r4 and not(r5) and not(r6) and r7
      ) or (r0 and r1 and r2 and r3 and r4 and not(r5) and r6 and r7) or (r0 
      and r1 and r2 and r3 and r4 and r5 and not(r6) and r7) or (r0 and r1 and 
      r2 and r3 and r4 and r5 and r6 and r7));

end SYN_USE_DEFA_ARCH_NAME;