-------------------------------------------------------------------------------
-- CSE 471 Project #5 ; 8-bit Microcontroller Design
-- Section : 2
-- Designer : Meghan Hoke
-- Date : 11/15/2001
-- File : rom.vhd
-- Description : ROM
-------------------------------------------------------------------------------

library IEEE;
use IEEE.std_logic_1164.all;

entity rom is

   port( a0, a1, a2, a3, a4, a5, a6, a7 : in std_logic;
	 i0, i1, i2, i3, i4, i5, i6, i7 : out std_logic);

end rom;

architecture struc of rom is

   begin
   
   i0 <= ((not(a0) and not(a1) and not(a2) and not(a3) and not(a4) and not(a5) 
      and a6 and not(a7)) or (not(a0) and not(a1) and not(a2) and not(a3) and 
      not(a4) and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and not(
      a2) and not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (not(a0) 
      and not(a1) and not(a2) and not(a3) and a4 and a5 and not(a6) and not(a7)
      ) or (not(a0) and not(a1) and not(a2) and not(a3) and a4 and a5 and a6 
      and not(a7)) or (not(a0) and not(a1) and not(a2) and a3 and not(a4) and 
      not(a5) and a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) 
      and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and 
      not(a2) and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0 
      and not(a1) and not(a2) and not(a3) and not(a4) and a5 and not(a6) and 
      not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and not(a4) and a5 
      and a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and a4 and
      not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and not(
      a3) and a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and not(a2)
      and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) and
      not(a2) and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and not(a1) 
      and not(a2) and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (
      a0 and not(a1) and not(a2) and a3 and not(a4) and not(a5) and a6 and not(
      a7)) or (a0 and not(a1) and not(a2) and a3 and not(a4) and a5 and not(a6)
      and not(a7)) or (a0 and not(a1) and not(a2) and a3 and not(a4) and a5 and
      a6 and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and not(a5) 
      and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and
      not(a5) and a6 and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and a3 and
      a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and not(a3) and 
      not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and a2 
      and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0 and not(a1
      ) and a2 and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 
      and not(a1) and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) or 
      (a0 and not(a1) and a2 and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and a5 and not(
      a6) and not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) and
      not(a5) and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and not(
      a4) and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and a4 
      and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and
      a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) and not(a3) and 
      not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and not(a2) 
      and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and
      not(a2) and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 
      and a1 and not(a2) and not(a3) and not(a4) and a5 and a6 and not(a7)) or 
      (a0 and a1 and not(a2) and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and a5 and not(
      a6) and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) and
      not(a5) and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) 
      and a5 and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and not(
      a4) and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 
      and not(a5) and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and
      a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and not(a3) and not(a4
      ) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and not(a3) 
      and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and not(
      a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and 
      not(a3) and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 and 
      not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3
      and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and
      a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and 
      a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and 
      a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3 and
      a4 and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and 
      a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and a3 and a4 and
      a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and a4 and a5 and
      a6 and not(a7)));
   i1 <= ((not(a0) and not(a1) and not(a2) and not(a3) and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (not(a0) and not(a1) and not(a2) and not(a3) 
      and a4 and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) and not(a2
      ) and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (not(a0) and
      not(a1) and not(a2) and a3 and not(a4) and a5 and not(a6) and not(a7)) or
      (not(a0) and not(a1) and not(a2) and a3 and not(a4) and a5 and a6 and 
      not(a7)) or (not(a0) and not(a1) and not(a2) and a3 and a4 and not(a5) 
      and not(a6) and not(a7)) or (not(a0) and not(a1) and not(a2) and a3 and 
      a4 and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) and not(a2) 
      and a3 and a4 and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and
      not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and 
      not(a2) and not(a3) and not(a4) and not(a5) and not(a6) and not(a7)) or (
      not(a0) and a1 and not(a2) and not(a3) and not(a4) and not(a5) and a6 and
      not(a7)) or (not(a0) and a1 and not(a2) and not(a3) and not(a4) and a5 
      and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) and 
      not(a4) and a5 and a6 and not(a7)) or (not(a0) and a1 and not(a2) and 
      not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 
      and not(a2) and not(a3) and a4 and not(a5) and a6 and not(a7)) or (not(a0
      ) and a1 and not(a2) and not(a3) and a4 and a5 and not(a6) and not(a7)) 
      or (not(a0) and a1 and not(a2) and not(a3) and a4 and a5 and a6 and not(
      a7)) or (not(a0) and a1 and not(a2) and a3 and not(a4) and not(a5) and 
      not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and a3 and not(a4) 
      and not(a5) and a6 and not(a7)) or (not(a0) and a1 and not(a2) and a3 and
      not(a4) and a5 and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) 
      and a3 and not(a4) and a5 and a6 and not(a7)) or (not(a0) and a1 and not(
      a2) and a3 and a4 and not(a5) and not(a6) and not(a7)) or (not(a0) and a1
      and not(a2) and a3 and a4 and not(a5) and a6 and not(a7)) or (not(a0) and
      a1 and not(a2) and a3 and a4 and a5 and not(a6) and not(a7)) or (not(a0) 
      and a1 and not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (not(a0) 
      and a1 and a2 and not(a3) and not(a4) and not(a5) and not(a6) and not(a7)
      ) or (not(a0) and a1 and a2 and not(a3) and not(a4) and not(a5) and a6 
      and not(a7)) or (not(a0) and a1 and a2 and not(a3) and not(a4) and a5 and
      not(a6) and not(a7)) or (not(a0) and a1 and a2 and not(a3) and not(a4) 
      and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 
      and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and a2 and not(a3
      ) and a4 and not(a5) and a6 and not(a7)) or (not(a0) and a1 and a2 and 
      not(a3) and a4 and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 
      and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (not(a0) and 
      a1 and a2 and a3 and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) 
      and a1 and a2 and a3 and not(a4) and a5 and not(a6) and not(a7)) or (not(
      a0) and a1 and a2 and a3 and not(a4) and a5 and a6 and not(a7)) or (not(
      a0) and a1 and a2 and a3 and a4 and not(a5) and not(a6) and not(a7)) or (
      not(a0) and a1 and a2 and a3 and a4 and not(a5) and a6 and not(a7)) or (
      not(a0) and a1 and a2 and a3 and a4 and a5 and not(a6) and not(a7)) or (
      not(a0) and a1 and a2 and a3 and a4 and a5 and a6 and not(a7)) or (a0 and
      a1 and not(a2) and not(a3) and not(a4) and not(a5) and not(a6) and not(a7
      )) or (a0 and a1 and not(a2) and not(a3) and not(a4) and not(a5) and a6 
      and not(a7)) or (a0 and a1 and not(a2) and not(a3) and not(a4) and a5 and
      not(a6) and not(a7)) or (a0 and a1 and not(a2) and not(a3) and not(a4) 
      and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 
      and not(a5) and not(a6) and not(a7)) or (a0 and a1 and not(a2) and not(a3
      ) and a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and not(a2) and 
      not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and not(a2) 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) 
      and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and
      not(a2) and a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 
      and not(a2) and a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and
      a1 and not(a2) and a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and 
      a1 and not(a2) and a3 and a4 and not(a5) and not(a6) and not(a7)) or (a0 
      and a1 and not(a2) and a3 and a4 and not(a5) and a6 and not(a7)) or (a0 
      and a1 and not(a2) and a3 and a4 and a5 and not(a6) and not(a7)) or (a0 
      and a1 and not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (a0 and a1
      and a2 and not(a3) and not(a4) and not(a5) and not(a6) and not(a7)) or (
      a0 and a1 and a2 and not(a3) and not(a4) and not(a5) and a6 and not(a7)) 
      or (a0 and a1 and a2 and not(a3) and not(a4) and a5 and not(a6) and not(
      a7)) or (a0 and a1 and a2 and not(a3) and not(a4) and a5 and a6 and not(
      a7)) or (a0 and a1 and a2 and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and not(a5) and a6 and 
      not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and a5 and not(a6) and 
      not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and a5 and a6 and not(a7
      )) or (a0 and a1 and a2 and a3 and not(a4) and not(a5) and not(a6) and 
      not(a7)) or (a0 and a1 and a2 and a3 and not(a4) and not(a5) and a6 and 
      not(a7)) or (a0 and a1 and a2 and a3 and not(a4) and a5 and not(a6) and 
      not(a7)) or (a0 and a1 and a2 and a3 and not(a4) and a5 and a6 and not(a7
      )) or (a0 and a1 and a2 and a3 and a4 and not(a5) and not(a6) and not(a7)
      ) or (a0 and a1 and a2 and a3 and a4 and not(a5) and a6 and not(a7)) or (
      a0 and a1 and a2 and a3 and a4 and a5 and not(a6) and not(a7)) or (a0 and
      a1 and a2 and a3 and a4 and a5 and a6 and not(a7)));
   i2 <= ((not(a0) and not(a1) and not(a2) and not(a3) and not(a4) and not(a5) 
      and a6 and not(a7)) or (not(a0) and not(a1) and not(a2) and not(a3) and 
      not(a4) and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and not(
      a2) and not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (not(a0) 
      and not(a1) and not(a2) and not(a3) and a4 and a5 and not(a6) and not(a7)
      ) or (not(a0) and not(a1) and not(a2) and not(a3) and a4 and a5 and a6 
      and not(a7)) or (not(a0) and not(a1) and not(a2) and a3 and not(a4) and 
      not(a5) and not(a6) and not(a7)) or (not(a0) and not(a1) and not(a2) and 
      a3 and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) 
      and not(a2) and a3 and not(a4) and a5 and not(a6) and not(a7)) or (not(a0
      ) and not(a1) and not(a2) and a3 and not(a4) and a5 and a6 and not(a7)) 
      or (not(a0) and not(a1) and not(a2) and a3 and a4 and not(a5) and not(a6)
      and not(a7)) or (not(a0) and not(a1) and not(a2) and a3 and a4 and not(a5
      ) and a6 and not(a7)) or (not(a0) and not(a1) and not(a2) and a3 and a4 
      and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and not(a2) and 
      a3 and a4 and a5 and a6 and not(a7)) or (not(a0) and not(a1) and a2 and 
      not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and not(
      a1) and a2 and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (
      not(a0) and not(a1) and a2 and not(a3) and not(a4) and a5 and a6 and not(
      a7)) or (not(a0) and not(a1) and a2 and not(a3) and a4 and not(a5) and 
      not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and not(a3) and a4 
      and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) and a2 and not(a3
      ) and a4 and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and a2 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (not(a0) and not(a1) and
      a2 and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (not(a0) 
      and not(a1) and a2 and a3 and not(a4) and not(a5) and a6 and not(a7)) or 
      (not(a0) and not(a1) and a2 and a3 and not(a4) and a5 and not(a6) and 
      not(a7)) or (not(a0) and not(a1) and a2 and a3 and not(a4) and a5 and a6 
      and not(a7)) or (not(a0) and not(a1) and a2 and a3 and a4 and not(a5) and
      not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and a3 and a4 and 
      not(a5) and a6 and not(a7)) or (not(a0) and not(a1) and a2 and a3 and a4 
      and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and a3 and
      a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and not(a3) and 
      not(a4) and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and a2 
      and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and 
      a1 and a2 and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (
      not(a0) and a1 and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) 
      or (not(a0) and a1 and a2 and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 and a5 and not(
      a6) and not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4) and
      not(a5) and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4) 
      and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and not(
      a4) and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and a4 
      and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and
      a4 and not(a5) and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and not(a3) and 
      not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and a2 
      and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0 and not(a1
      ) and a2 and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 
      and not(a1) and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) or 
      (a0 and not(a1) and a2 and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and a5 and not(
      a6) and not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) and
      not(a5) and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and not(
      a4) and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and a4 
      and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and
      a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and not(a3) and not(a4
      ) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and not(a3) 
      and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and not(
      a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and 
      not(a3) and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 and 
      not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3
      and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and
      a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and 
      a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and 
      a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3 and
      a4 and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and 
      a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and a3 and a4 and
      a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and a4 and a5 and
      a6 and not(a7)));
   i3 <= ((not(a0) and not(a1) and a2 and a3 and not(a4) and not(a5) and not(a6
      ) and not(a7)) or (not(a0) and not(a1) and a2 and a3 and not(a4) and not(
      a5) and a6 and not(a7)) or (not(a0) and not(a1) and a2 and a3 and not(a4)
      and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and a3 and
      not(a4) and a5 and a6 and not(a7)) or (not(a0) and not(a1) and a2 and a3 
      and a4 and not(a5) and not(a6) and not(a7)) or (not(a0) and not(a1) and 
      a2 and a3 and a4 and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) 
      and a2 and a3 and a4 and a5 and not(a6) and not(a7)) or (not(a0) and not(
      a1) and a2 and a3 and a4 and a5 and a6 and not(a7)) or (not(a0) and a1 
      and not(a2) and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (
      not(a0) and a1 and not(a2) and a3 and not(a4) and not(a5) and a6 and not(
      a7)) or (not(a0) and a1 and not(a2) and a3 and not(a4) and a5 and not(a6)
      and not(a7)) or (not(a0) and a1 and not(a2) and a3 and not(a4) and a5 and
      a6 and not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 and not(a5) 
      and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 and
      not(a5) and a6 and not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 
      and a5 and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and a3 and
      a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4
      ) and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 
      and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and a1 and a2 and
      a3 and not(a4) and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 
      and a3 and not(a4) and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 
      and a3 and a4 and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and
      a2 and a3 and a4 and not(a5) and a6 and not(a7)) or (not(a0) and a1 and 
      a2 and a3 and a4 and a5 and not(a6) and not(a7)) or (not(a0) and a1 and 
      a2 and a3 and a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and not(a2
      ) and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and not(
      a1) and not(a2) and a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0
      and not(a1) and not(a2) and a3 and not(a4) and a5 and not(a6) and not(a7)
      ) or (a0 and not(a1) and not(a2) and a3 and not(a4) and a5 and a6 and 
      not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and not(a5) and 
      not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and 
      not(a5) and a6 and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and a3 and
      a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4
      ) and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 
      and not(a4) and not(a5) and a6 and not(a7)) or (a0 and not(a1) and a2 and
      a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 
      and a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 
      and a3 and a4 and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and
      a2 and a3 and a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and 
      a2 and a3 and a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) and 
      a2 and a3 and a4 and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) and
      a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and 
      not(a2) and a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 
      and not(a2) and a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and
      a1 and not(a2) and a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and 
      a1 and not(a2) and a3 and a4 and not(a5) and not(a6) and not(a7)) or (a0 
      and a1 and not(a2) and a3 and a4 and not(a5) and a6 and not(a7)) or (a0 
      and a1 and not(a2) and a3 and a4 and a5 and not(a6) and not(a7)) or (a0 
      and a1 and not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (a0 and a1
      and a2 and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and
      a1 and a2 and a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0 and 
      a1 and a2 and a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and 
      a1 and a2 and a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and
      a2 and a3 and a4 and not(a5) and not(a6) and not(a7)) or (a0 and a1 and 
      a2 and a3 and a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and
      a3 and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and
      a4 and a5 and a6 and not(a7)));
   i4 <= ((not(a0) and not(a1) and not(a2) and not(a3) and a4 and not(a5) and 
      a6 and a7) or (not(a0) and not(a1) and not(a2) and not(a3) and a4 and a5 
      and a6 and a7) or (not(a0) and not(a1) and not(a2) and a3 and a4 and a5 
      and a6 and a7) or (not(a0) and not(a1) and a2 and not(a3) and a4 and not(
      a5) and not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and not(a3) 
      and a4 and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) and a2 and
      not(a3) and a4 and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) 
      and a2 and not(a3) and a4 and a5 and a6 and not(a7)) or (not(a0) and not(
      a1) and a2 and a3 and a4 and not(a5) and not(a6) and not(a7)) or (not(a0)
      and not(a1) and a2 and a3 and a4 and not(a5) and a6 and not(a7)) or (not(
      a0) and not(a1) and a2 and a3 and a4 and a5 and not(a6) and not(a7)) or (
      not(a0) and not(a1) and a2 and a3 and a4 and a5 and a6 and not(a7)) or (
      not(a0) and a1 and not(a2) and not(a3) and a4 and not(a5) and not(a6) and
      not(a7)) or (not(a0) and a1 and not(a2) and not(a3) and a4 and not(a5) 
      and a6 and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) and a4 and
      a5 and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) 
      and a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and not(a2) and a3 
      and a4 and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and not(a2
      ) and a3 and a4 and not(a5) and a6 and not(a7)) or (not(a0) and a1 and 
      not(a2) and a3 and a4 and a5 and not(a6) and not(a7)) or (not(a0) and a1 
      and not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (not(a0) and a1 
      and a2 and not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (not(a0
      ) and a1 and a2 and not(a3) and a4 and not(a5) and a6 and not(a7)) or (
      not(a0) and a1 and a2 and not(a3) and a4 and a5 and not(a6) and not(a7)) 
      or (not(a0) and a1 and a2 and not(a3) and a4 and a5 and a6 and not(a7)) 
      or (not(a0) and a1 and a2 and a3 and a4 and not(a5) and not(a6) and not(
      a7)) or (not(a0) and a1 and a2 and a3 and a4 and not(a5) and a6 and not(
      a7)) or (not(a0) and a1 and a2 and a3 and a4 and a5 and not(a6) and not(
      a7)) or (not(a0) and a1 and a2 and a3 and a4 and a5 and a6 and not(a7)) 
      or (a0 and not(a1) and not(a2) and not(a3) and a4 and not(a5) and not(a6)
      and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and a4 and not(a5
      ) and a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and a4 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and not(a3
      ) and a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and not(a2) and a3
      and a4 and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and not(a2
      ) and a3 and a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and 
      not(a2) and a3 and a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) 
      and not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (a0 and not(a1) 
      and a2 and not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (a0 and
      not(a1) and a2 and not(a3) and a4 and not(a5) and a6 and not(a7)) or (a0 
      and not(a1) and a2 and not(a3) and a4 and a5 and not(a6) and not(a7)) or 
      (a0 and not(a1) and a2 and not(a3) and a4 and a5 and a6 and not(a7)) or (
      a0 and not(a1) and a2 and a3 and a4 and not(a5) and not(a6) and not(a7)) 
      or (a0 and not(a1) and a2 and a3 and a4 and not(a5) and a6 and not(a7)) 
      or (a0 and not(a1) and a2 and a3 and a4 and a5 and not(a6) and not(a7)) 
      or (a0 and not(a1) and a2 and a3 and a4 and a5 and a6 and not(a7)) or (a0
      and a1 and not(a2) and not(a3) and a4 and not(a5) and not(a6) and not(a7)
      ) or (a0 and a1 and not(a2) and not(a3) and a4 and not(a5) and a6 and 
      not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and a5 and not(a6) 
      and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and a5 and a6 
      and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 and not(a5) and not(
      a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 and not(a5) and 
      a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 and a5 and not(a6
      ) and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 and a5 and a6 and 
      not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and not(a5) and not(a6) 
      and not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and a5 and not(a6) 
      and not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and a5 and a6 and 
      not(a7)) or (a0 and a1 and a2 and a3 and a4 and not(a5) and not(a6) and 
      not(a7)) or (a0 and a1 and a2 and a3 and a4 and not(a5) and a6 and not(a7
      )) or (a0 and a1 and a2 and a3 and a4 and a5 and not(a6) and not(a7)) or 
      (a0 and a1 and a2 and a3 and a4 and a5 and a6 and not(a7)));
   i5 <= ((not(a0) and not(a1) and not(a2) and not(a3) and not(a4) and not(a5) 
      and not(a6) and a7) or (not(a0) and not(a1) and not(a2) and not(a3) and 
      a4 and a5 and not(a6) and a7) or (not(a0) and not(a1) and not(a2) and a3 
      and not(a4) and not(a5) and a6 and a7) or (not(a0) and not(a1) and not(a2
      ) and a3 and not(a4) and a5 and a6 and a7) or (not(a0) and not(a1) and 
      not(a2) and a3 and a4 and not(a5) and a6 and a7) or (not(a0) and not(a1) 
      and a2 and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (not(a0
      ) and not(a1) and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) 
      or (not(a0) and not(a1) and a2 and not(a3) and a4 and a5 and not(a6) and 
      not(a7)) or (not(a0) and not(a1) and a2 and not(a3) and a4 and a5 and a6 
      and not(a7)) or (not(a0) and not(a1) and a2 and a3 and not(a4) and a5 and
      not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and a3 and not(a4) 
      and a5 and a6 and not(a7)) or (not(a0) and not(a1) and a2 and a3 and a4 
      and a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and a3 and
      a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) 
      and not(a4) and a5 and not(a6) and not(a7)) or (not(a0) and a1 and not(a2
      ) and not(a3) and not(a4) and a5 and a6 and not(a7)) or (not(a0) and a1 
      and not(a2) and not(a3) and a4 and a5 and not(a6) and not(a7)) or (not(a0
      ) and a1 and not(a2) and not(a3) and a4 and a5 and a6 and not(a7)) or (
      not(a0) and a1 and not(a2) and a3 and not(a4) and a5 and not(a6) and not(
      a7)) or (not(a0) and a1 and not(a2) and a3 and not(a4) and a5 and a6 and 
      not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 and a5 and not(a6) 
      and not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 and a5 and a6 
      and not(a7)) or (not(a0) and a1 and a2 and not(a3) and not(a4) and a5 and
      not(a6) and not(a7)) or (not(a0) and a1 and a2 and not(a3) and not(a4) 
      and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 
      and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 and not(a3) and
      a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4
      ) and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and 
      not(a4) and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) 
      and not(a4) and a5 and not(a6) and not(a7)) or (a0 and not(a1) and not(a2
      ) and not(a3) and not(a4) and a5 and a6 and not(a7)) or (a0 and not(a1) 
      and not(a2) and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and
      not(a1) and not(a2) and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 
      and not(a1) and not(a2) and a3 and not(a4) and a5 and not(a6) and not(a7)
      ) or (a0 and not(a1) and not(a2) and a3 and not(a4) and a5 and a6 and 
      not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and a5 and not(a6) 
      and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and a5 and a6 
      and not(a7)) or (a0 and not(a1) and a2 and not(a3) and not(a4) and a5 and
      not(a6) and not(a7)) or (a0 and not(a1) and a2 and not(a3) and not(a4) 
      and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and not(a3) and
      a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4
      ) and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      not(a4) and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) and not(a3) and 
      not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and not(a2) and 
      not(a3) and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) 
      and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and not(
      a2) and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and a1 and not(
      a2) and a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and 
      not(a2) and a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and 
      not(a2) and a3 and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and 
      not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and
      not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3
      and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 
      and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3 and a4
      and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and a4 and a5
      and a6 and not(a7)));
   i6 <= ((not(a0) and not(a1) and not(a2) and not(a3) and not(a4) and a5 and 
      not(a6) and a7) or (not(a0) and not(a1) and not(a2) and not(a3) and a4 
      and not(a5) and not(a6) and a7) or (not(a0) and not(a1) and not(a2) and 
      not(a3) and a4 and a5 and not(a6) and a7) or (not(a0) and not(a1) and 
      not(a2) and a3 and not(a4) and not(a5) and not(a6) and a7) or (not(a0) 
      and not(a1) and not(a2) and a3 and not(a4) and not(a5) and a6 and a7) or 
      (not(a0) and not(a1) and not(a2) and a3 and not(a4) and a5 and a6 and a7)
      or (not(a0) and not(a1) and not(a2) and a3 and a4 and not(a5) and not(a6)
      and a7) or (not(a0) and not(a1) and not(a2) and a3 and a4 and not(a5) and
      a6 and a7) or (not(a0) and not(a1) and not(a2) and a3 and a4 and a5 and 
      not(a6) and a7) or (not(a0) and not(a1) and a2 and not(a3) and not(a4) 
      and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) and a2 and not(a3
      ) and not(a4) and a5 and a6 and not(a7)) or (not(a0) and not(a1) and a2 
      and not(a3) and a4 and not(a5) and a6 and not(a7)) or (not(a0) and not(a1
      ) and a2 and not(a3) and a4 and a5 and a6 and not(a7)) or (not(a0) and 
      not(a1) and a2 and a3 and not(a4) and not(a5) and a6 and not(a7)) or (
      not(a0) and not(a1) and a2 and a3 and not(a4) and a5 and a6 and not(a7)) 
      or (not(a0) and not(a1) and a2 and a3 and a4 and not(a5) and a6 and not(
      a7)) or (not(a0) and not(a1) and a2 and a3 and a4 and a5 and a6 and not(
      a7)) or (not(a0) and a1 and not(a2) and not(a3) and not(a4) and not(a5) 
      and a6 and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) and not(a4
      ) and a5 and a6 and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) 
      and a4 and not(a5) and a6 and not(a7)) or (not(a0) and a1 and not(a2) and
      not(a3) and a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and not(a2) 
      and a3 and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and a1 and
      not(a2) and a3 and not(a4) and a5 and a6 and not(a7)) or (not(a0) and a1 
      and not(a2) and a3 and a4 and not(a5) and a6 and not(a7)) or (not(a0) and
      a1 and not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (not(a0) and 
      a1 and a2 and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (
      not(a0) and a1 and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) 
      or (not(a0) and a1 and a2 and not(a3) and a4 and not(a5) and a6 and not(
      a7)) or (not(a0) and a1 and a2 and not(a3) and a4 and a5 and a6 and not(
      a7)) or (not(a0) and a1 and a2 and a3 and not(a4) and not(a5) and a6 and 
      not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4) and a5 and a6 and 
      not(a7)) or (not(a0) and a1 and a2 and a3 and a4 and not(a5) and a6 and 
      not(a7)) or (not(a0) and a1 and a2 and a3 and a4 and a5 and a6 and not(a7
      )) or (a0 and not(a1) and not(a2) and not(a3) and not(a4) and not(a5) and
      a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and not(a4) 
      and a5 and a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and
      a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and not(a2) and 
      not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and not(a2) 
      and a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0 and not(a1) and
      not(a2) and a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and not(a1) 
      and not(a2) and a3 and a4 and not(a5) and a6 and not(a7)) or (a0 and not(
      a1) and not(a2) and a3 and a4 and a5 and a6 and not(a7)) or (a0 and not(
      a1) and a2 and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0
      and not(a1) and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) or 
      (a0 and not(a1) and a2 and not(a3) and a4 and not(a5) and a6 and not(a7))
      or (a0 and not(a1) and a2 and not(a3) and a4 and a5 and a6 and not(a7)) 
      or (a0 and not(a1) and a2 and a3 and not(a4) and not(a5) and a6 and not(
      a7)) or (a0 and not(a1) and a2 and a3 and not(a4) and a5 and a6 and not(
      a7)) or (a0 and not(a1) and a2 and a3 and a4 and not(a5) and a6 and not(
      a7)) or (a0 and not(a1) and a2 and a3 and a4 and a5 and a6 and not(a7)) 
      or (a0 and a1 and not(a2) and not(a3) and not(a4) and not(a5) and a6 and 
      not(a7)) or (a0 and a1 and not(a2) and not(a3) and not(a4) and a5 and a6 
      and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and not(a5) and
      a6 and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) and not(a5) 
      and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) and a5 
      and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 and not(a5) 
      and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 and a5 and a6
      and not(a7)) or (a0 and a1 and a2 and not(a3) and not(a4) and not(a5) and
      a6 and not(a7)) or (a0 and a1 and a2 and not(a3) and not(a4) and a5 and 
      a6 and not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and not(a5) and 
      a6 and not(a7)) or (a0 and a1 and a2 and not(a3) and a4 and a5 and a6 and
      not(a7)) or (a0 and a1 and a2 and a3 and not(a4) and not(a5) and a6 and 
      not(a7)) or (a0 and a1 and a2 and a3 and not(a4) and a5 and a6 and not(a7
      )) or (a0 and a1 and a2 and a3 and a4 and not(a5) and a6 and not(a7)) or 
      (a0 and a1 and a2 and a3 and a4 and a5 and a6 and not(a7)));
   i7 <= ((not(a0) and not(a1) and not(a2) and not(a3) and not(a4) and not(a5) 
      and not(a6) and a7) or (not(a0) and not(a1) and not(a2) and not(a3) and 
      not(a4) and not(a5) and a6 and a7) or (not(a0) and not(a1) and not(a2) 
      and not(a3) and not(a4) and a5 and not(a6) and a7) or (not(a0) and not(a1
      ) and not(a2) and not(a3) and a4 and not(a5) and a6 and a7) or (not(a0) 
      and not(a1) and not(a2) and a3 and not(a4) and not(a5) and not(a6) and a7
      ) or (not(a0) and not(a1) and not(a2) and a3 and not(a4) and not(a5) and 
      a6 and a7) or (not(a0) and not(a1) and not(a2) and a3 and not(a4) and a5 
      and not(a6) and a7) or (not(a0) and not(a1) and not(a2) and a3 and a4 and
      not(a5) and a6 and a7) or (not(a0) and not(a1) and not(a2) and a3 and a4 
      and a5 and not(a6) and a7) or (not(a0) and not(a1) and a2 and not(a3) and
      not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and not(a1) and a2 
      and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (not(a0) and 
      not(a1) and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) or (
      not(a0) and not(a1) and a2 and not(a3) and a4 and not(a5) and not(a6) and
      not(a7)) or (not(a0) and not(a1) and a2 and not(a3) and a4 and not(a5) 
      and a6 and not(a7)) or (not(a0) and not(a1) and a2 and not(a3) and a4 and
      a5 and not(a6) and not(a7)) or (not(a0) and not(a1) and a2 and not(a3) 
      and a4 and a5 and a6 and not(a7)) or (not(a0) and not(a1) and a2 and a3 
      and not(a4) and not(a5) and not(a6) and not(a7)) or (not(a0) and not(a1) 
      and a2 and a3 and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and
      not(a1) and a2 and a3 and not(a4) and a5 and not(a6) and not(a7)) or (
      not(a0) and not(a1) and a2 and a3 and not(a4) and a5 and a6 and not(a7)) 
      or (not(a0) and not(a1) and a2 and a3 and a4 and not(a5) and not(a6) and 
      not(a7)) or (not(a0) and not(a1) and a2 and a3 and a4 and not(a5) and a6 
      and not(a7)) or (not(a0) and not(a1) and a2 and a3 and a4 and a5 and not(
      a6) and not(a7)) or (not(a0) and not(a1) and a2 and a3 and a4 and a5 and 
      a6 and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) and not(a4) 
      and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and 
      not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and a1 
      and not(a2) and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (
      not(a0) and a1 and not(a2) and not(a3) and not(a4) and a5 and a6 and not(
      a7)) or (not(a0) and a1 and not(a2) and not(a3) and a4 and not(a5) and 
      not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and not(a3) and a4 
      and not(a5) and a6 and not(a7)) or (not(a0) and a1 and not(a2) and not(a3
      ) and a4 and a5 and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and not(
      a2) and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (not(a0) 
      and a1 and not(a2) and a3 and not(a4) and not(a5) and a6 and not(a7)) or 
      (not(a0) and a1 and not(a2) and a3 and not(a4) and a5 and not(a6) and 
      not(a7)) or (not(a0) and a1 and not(a2) and a3 and not(a4) and a5 and a6 
      and not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 and not(a5) and
      not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 and 
      not(a5) and a6 and not(a7)) or (not(a0) and a1 and not(a2) and a3 and a4 
      and a5 and not(a6) and not(a7)) or (not(a0) and a1 and not(a2) and a3 and
      a4 and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and not(a3) and 
      not(a4) and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and a2 
      and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (not(a0) and 
      a1 and a2 and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (
      not(a0) and a1 and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) 
      or (not(a0) and a1 and a2 and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 and a5 and not(
      a6) and not(a7)) or (not(a0) and a1 and a2 and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4) and
      not(a5) and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and not(a4) 
      and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and not(
      a4) and a5 and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and a4 
      and not(a5) and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and
      a4 and not(a5) and a6 and not(a7)) or (not(a0) and a1 and a2 and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (not(a0) and a1 and a2 and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) 
      and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and 
      not(a2) and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0 
      and not(a1) and not(a2) and not(a3) and not(a4) and a5 and not(a6) and 
      not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and not(a4) and a5 
      and a6 and not(a7)) or (a0 and not(a1) and not(a2) and not(a3) and a4 and
      not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and not(
      a3) and a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and not(a2)
      and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) and
      not(a2) and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and not(a1) 
      and not(a2) and a3 and not(a4) and not(a5) and not(a6) and not(a7)) or (
      a0 and not(a1) and not(a2) and a3 and not(a4) and not(a5) and a6 and not(
      a7)) or (a0 and not(a1) and not(a2) and a3 and not(a4) and a5 and not(a6)
      and not(a7)) or (a0 and not(a1) and not(a2) and a3 and not(a4) and a5 and
      a6 and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and not(a5) 
      and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 and
      not(a5) and a6 and not(a7)) or (a0 and not(a1) and not(a2) and a3 and a4 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and not(a2) and a3 and
      a4 and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and not(a3) and 
      not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and a2 
      and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0 and not(a1
      ) and a2 and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 
      and not(a1) and a2 and not(a3) and not(a4) and a5 and a6 and not(a7)) or 
      (a0 and not(a1) and a2 and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and a5 and not(
      a6) and not(a7)) or (a0 and not(a1) and a2 and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) and
      not(a5) and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and not(a4) 
      and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and not(
      a4) and a5 and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and a4 
      and not(a5) and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and
      a4 and not(a5) and a6 and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (a0 and not(a1) and a2 and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) and not(a3) and 
      not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and not(a2) 
      and not(a3) and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and
      not(a2) and not(a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 
      and a1 and not(a2) and not(a3) and not(a4) and a5 and a6 and not(a7)) or 
      (a0 and a1 and not(a2) and not(a3) and a4 and not(a5) and not(a6) and 
      not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and not(a5) and a6 
      and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and a5 and not(
      a6) and not(a7)) or (a0 and a1 and not(a2) and not(a3) and a4 and a5 and 
      a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) and not(a5) 
      and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) and
      not(a5) and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and not(a4) 
      and a5 and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and not(
      a4) and a5 and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and a4 
      and not(a5) and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and
      a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and not(a2) and a3 and 
      a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and not(a2) and a3 and 
      a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and not(a3) and not(a4
      ) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and not(a3) 
      and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and not(
      a3) and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and 
      not(a3) and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 and 
      not(a3) and a4 and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 
      and not(a3) and a4 and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3
      and not(a4) and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and
      a3 and not(a4) and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and 
      a3 and not(a4) and a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and 
      a3 and not(a4) and a5 and a6 and not(a7)) or (a0 and a1 and a2 and a3 and
      a4 and not(a5) and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and 
      a4 and not(a5) and a6 and not(a7)) or (a0 and a1 and a2 and a3 and a4 and
      a5 and not(a6) and not(a7)) or (a0 and a1 and a2 and a3 and a4 and a5 and
      a6 and not(a7)));

end struc;