element("dff",'T',[[["D","Q"],["CLK",==^]]]).
element("dffr",'T',[[["D","Q"],["CLK",==^],["R",==0]]]).
element("dffs",'T',[[["D","Q"],["CLK",==^],["S",==1]]]).
element("dffsr",'T',[[["D","Q"],["CLK",==^],["S",==1],["R",==0]]]).
element("sff",'T',[[["D","Q"],["CLK",==^],["SE",==0]],[["SI","Q"],["SE",==1]]]).
element("sffr",'T',[[["D","Q"],["CLK",==^],["SE",==0],["R",==0]],[["SI","Q"],["SE",==1],["R",==0]]]).
element("sffs",'T',[[["D","Q"],["CLK",==^],["SE",==0],["S",==1]],[["SI","Q"],["SE",==1],["S",==1]]]).
element("sffsr",'T',[[["D","Q"],["CLK",==^],["SE",==0],["S",==1],["R",==0]],[["SI","Q"],["SE",==1],["S",==1],["R",==0]]]).
element("latch",'T',[[["D","Q"],["CLK",==1]]]).
element("and02",'K',[[["A0","Y"],["A1",==1]],[["A1","Y"],["A0",==1]]]).
element("and03",'K',[[["A0","Y"],["A1",==1],["A2",==1]],[["A1","Y"],["A0",==1],["A2",==1]],[["A2","Y"],["A0",==1],["A1",==1]]]).
element("and04",'K',[[["A0","Y"],["A1",==1],["A2",==1],["A3",==1]],[["A1","Y"],["A0",==1],["A2",==1],["A3",==1]],[["A2","Y"],["A0",==1],["A1",==1],["A3",==1]],[["A3","Y"],["A0",==1],["A1",==1],["A2",==1]]]).
element("nand02",'I',[[["A0","Y"],["A1",==1]],[["A1","Y"],["A0",==1]]]).
element("nand03",'I',[[["A0","Y"],["A1",==1],["A2",==1]],[["A1","Y"],["A0",==1],["A2",==1]],[["A2","Y"],["A0",==1],["A1",==1]]]).
element("nand04",'I',[[["A0","Y"],["A1",==1],["A2",==1],["A3",==1]],[["A1","Y"],["A0",==1],["A2",==1],["A3",==1]],[["A2","Y"],["A0",==1],["A1",==1],["A3",==1]],[["A3","Y"],["A0",==1],["A1",==1],["A2",==1]]]).
element("nor02",'I',[[["A0","Y"],["A1",==0]],[["A1","Y"],["A0",==0]]]).
element("nor03",'I',[[["A0","Y"],["A1",==0],["A2",==0]],[["A1","Y"],["A0",==0],["A2",==0]],[["A2","Y"],["A0",==0],["A1",==0]]]).
element("nor04",'I',[[["A0","Y"],["A1",==0],["A2",==0],["A3",==0]],[["A1","Y"],["A0",==0],["A2",==0],["A3",==0]],[["A2","Y"],["A0",==0],["A1",==0],["A3",==0]],[["A3","Y"],["A0",==0],["A1",==0],["A2",==0]]]).
element("or02",'K',[[["A0","Y"],["A1",==0]],[["A1","Y"],["A0",==0]]]).
element("or03",'K',[[["A0","Y"],["A1",==0],["A2",==0]],[["A1","Y"],["A0",==0],["A2",==0]],[["A2","Y"],["A0",==0],["A1",==0]]]).
element("or04",'K',[[["A0","Y"],["A1",==0],["A2",==0],["A3",==0]],[["A1","Y"],["A0",==0],["A2",==0],["A3",==0]],[["A2","Y"],["A0",==0],["A1",==0],["A3",==0]],[["A3","Y"],["A0",==0],["A1",==0],["A2",==0]]]).
element("hadd1",'K',[[["A","S"],["B",==0]],[["B","S"],["A",==0]],[["A","CO"],["B",==A]],[["B","CO"],["A",==B]]]).
element("fadd1",'K',[[["A","S"],["B",==0],["CI",==0]],[["B","S"],["A",==0],["CI",==0]],[["A","CO"],["B",==A]],[["B","CO"],["A",==B]],[["CI","S"],["A",==0],["B",==0]],[["CI","CO"],["A",==1],["B",==0]],[["CI","CO"],["A",==0],["B",==1]]]).
element("mux21",'I',[[["A0","Y"],["S0",==0]],[["A1","Y"],["S0",==1]]]).
element("buf02",'K',[[["A","Y"],["A",==^]]]).
element("buf04",'K',[[["A","Y"],["A",==^]]]).
element("buf08",'K',[[["A","Y"],["A",==^]]]).
element("buf12",'K',[[["A","Y"],["A",==^]]]).
element("buf16",'K',[[["A","Y"],["A",==^]]]).
element("inv01",'I',[[["A","Y"],["A",==^]]]).
element("inv02",'I',[[["A","Y"],["A",==^]]]).
element("inv04",'I',[[["A","Y"],["A",==^]]]).
element("inv08",'I',[[["A","Y"],["A",==^]]]).
element("inv12",'I',[[["A","Y"],["A",==^]]]).
element("inv16",'I',[[["A","Y"],["A",==^]]]).
element("tri01",'I',[[["A","Y"],["E",==1]]]).
element("trib04",'K',[[["A","Y"],["E",==1]]]).
element("trib08",'K',[[["A","Y"],["E",==1]]]).
element("ao21",'K',[[["A0","Y"],["A1",==1],["B0",==0]],[["A1","Y"],["A0",==1],["B0",==0]],[["B0","Y"],["A0",==0],["A1",==0]],[["B0","Y"],["A0",==1],["A1",==0]],[["B0","Y"],["A0",==0],["A1",==1]]]).
element("ao22",'K',[[["A0","Y"],["A1",==1],["B0",==0],["B1",==0]],[["A1","Y"],["A0",==1],["B0",==0],["B1",==0]],[["B0","Y"],["A0",==0],["A1",==0],["B1",==1]],[["B1","Y"],["A0",==0],["A1",==0],["B0",==1]]]).
element("ao221",'K',[[["A0","Y"],["A1",==1],["B0",==0],["B1",==0],["C0",==0]],[["A1","Y"],["A0",==1],["B0",==0],["B1",==0],["C0",==0]],[["B0","Y"],["A0",==0],["A1",==0],["B1",==1],["C0",==0]],[["B1","Y"],["A0",==0],["A1",==0],["B0",==1],["C0",==0]],[["C0","Y"],["A0",==0],["A1",==0],["B0",==0],["B1",==0]]]).
element("ao32",'K',[[["A0","Y"],["A1",==1],["A2",==1],["B0",==0],["B1",==0]],[["A1","Y"],["A0",==1],["A2",==1],["B0",==0],["B1",==0]],[["A2","Y"],["A0",==1],["A1",==1],["B0",==0],["B1",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["B1",==1]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1]]]).
element("aoi21",'I',[[["A0","Y"],["A1",==1],["B0",==0]],[["A1","Y"],["A0",==1],["B0",==0]],[["B0","Y"],["A0",==0],["A1",==0]],[["B0","Y"],["A0",==1],["A1",==0]],[["B0","Y"],["A0",==0],["A1",==1]]]).
element("aoi22",'I',[[["A0","Y"],["A1",==1],["B0",==0],["B1",==0]],[["A1","Y"],["A0",==1],["B0",==0],["B1",==0]],[["B0","Y"],["A0",==0],["A1",==0],["B1",==1]],[["B1","Y"],["A0",==0],["A1",==0],["B0",==1]]]).
element("aoi221",'I',[[["A0","Y"],["A1",==1],["B0",==0],["B1",==0],["C0",==0]],[["A1","Y"],["A0",==1],["B0",==0],["B1",==0],["C0",==0]],[["B0","Y"],["A0",==0],["A1",==0],["B1",==1],["C0",==0]],[["B1","Y"],["A0",==0],["A1",==0],["B0",==1],["C0",==0]],[["C0","Y"],["A0",==0],["A1",==0],["B0",==0],["B1",==0]]]).
element("aoi222",'I',[[["A0","Y"],["A1",==1],["B0",==0],["B1",==0],["C0",==0],["C1",==0]],[["A1","Y"],["A0",==1],["B0",==0],["B1",==0],["C0",==0],["C1",==0]],[["B0","Y"],["A0",==0],["A1",==0],["B1",==1],["C0",==0],["C1",==0]],[["B1","Y"],["A0",==0],["A1",==0],["B0",==1],["C0",==0],["C1",==0]],[["C0","Y"],["A0",==0],["A1",==0],["B0",==0],["B1",==0],["C1",==1]],[["C1","Y"],["A0",==0],["A1",==0],["B0",==0],["B1",==0],["C0",==1]]]).
element("aoi32",'I',[[["A0","Y"],["A1",==1],["A2",==1],["B0",==0],["B1",==0]],[["A1","Y"],["A0",==1],["A2",==1],["B0",==0],["B1",==0]],[["A2","Y"],["A0",==1],["A1",==1],["B0",==0],["B1",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["B1",==1]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1]]]).
element("aoi321",'I',[[["A0","Y"],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["C0",==0]],[["A1","Y"],["A0",==1],["A2",==1],["B0",==0],["B1",==0],["C0",==0]],[["A2","Y"],["A0",==1],["A1",==1],["B0",==0],["B1",==0],["C0",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["B1",==1],["C0",==0]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["C0",==0]],[["C0","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0]]]).
element("aoi322",'I',[[["A0","Y"],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["C0",==0],["C1",==0]],[["A1","Y"],["A0",==1],["A2",==1],["B0",==0],["B1",==0],["C0",==0],["C1",==0]],[["A2","Y"],["A0",==1],["A1",==1],["B0",==0],["B1",==0],["C0",==0],["C1",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["B1",==1],["C0",==0],["C1",==0]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["C0",==0],["C1",==0]],[["C0","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0],["C1",==1]],[["C1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0],["C0",==1]]]).
element("aoi33",'I',[[["A0","Y"],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0]],[["A1","Y"],["A0",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0]],[["A2","Y"],["A0",==1],["A1",==1],["B0",==0],["B1",==0],["B2",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["B1",==1],["B2",==1]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B2",==1]],[["B2","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B1",==1]]]).
element("aoi332",'I',[[["A0","Y"],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0],["C0",==0],["C1",==0]],[["A1","Y"],["A0",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0],["C0",==0],["C1",==0]],[["A2","Y"],["A0",==1],["A1",==1],["B0",==0],["B1",==0],["B2",==0],["C0",==0],["C1",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["B1",==1],["B2",==1],["C0",==0],["C1",==0]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B2",==1],["C0",==0],["C1",==0]],[["B2","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["C0",==0],["C1",==0]],[["C0","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0],["B2",==0],["C1",==1]],[["C1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0],["B2",==0],["C0",==1]]]).
element("aoi333",'I',[[["A0","Y"],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0],["C0",==0],["C1",==0],["C2",==0]],[["A1","Y"],["A0",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0],["C0",==0],["C1",==0],["C2",==0]],[["A2","Y"],["A0",==1],["A1",==1],["B0",==0],["B1",==0],["B2",==0],["C0",==0],["C1",==0],["C2",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["B1",==1],["B2",==1],["C0",==0],["C1",==0],["C2",==0]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B2",==1],["C0",==0],["C1",==0],["C2",==0]],[["B2","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["C0",==0],["C1",==0],["C2",==0]],[["C0","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0],["B2",==0],["C1",==1],["C2",==1]],[["C1","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0],["B2",==0],["C0",==1],["C2",==1]],[["C2","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==0],["B1",==0],["B2",==0],["C0",==1],["C1",==1]]]).
element("aoi43",'I',[[["A0","Y"],["A1",==1],["A2",==1],["A3",==1],["B0",==0],["B1",==0],["B2",==0]],[["A1","Y"],["A0",==1],["A2",==1],["A3",==1],["B0",==0],["B1",==0],["B2",==0]],[["A2","Y"],["A0",==1],["A1",==1],["A3",==1],["B0",==0],["B1",==0],["B2",==0]],[["A3","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["A3",==0],["B1",==1],["B2",==1]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["A3",==0],["B0",==1],["B2",==1]],[["B2","Y"],["A0",==0],["A1",==0],["A2",==0],["A3",==0],["B0",==1],["B1",==1]]]).
element("aoi43",'I',[[["A0","Y"],["A1",==1],["A2",==1],["A3",==1],["B0",==0],["B1",==0],["B2",==0],["B3",==0]],[["A1","Y"],["A0",==1],["A2",==1],["A3",==1],["B0",==0],["B1",==0],["B2",==0],["B3",==0]],[["A2","Y"],["A0",==1],["A1",==1],["A3",==1],["B0",==0],["B1",==0],["B2",==0],["B3",==0]],[["A3","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["B2",==0],["B3",==0]],[["B0","Y"],["A0",==0],["A1",==0],["A2",==0],["A3",==0],["B1",==1],["B2",==1],["B3",==1]],[["B1","Y"],["A0",==0],["A1",==0],["A2",==0],["A3",==0],["B0",==1],["B2",==1],["B3",==1]],[["B2","Y"],["A0",==0],["A1",==0],["A2",==0],["A3",==0],["B0",==1],["B1",==1],["B3",==1]],[["B3","Y"],["A0",==0],["A1",==0],["A2",==0],["A3",==0],["B0",==1],["B1",==1],["B2",==1]]]).
element("oai21",'I',[[["A0","Y"],["A1",==0],["B0",==1]],[["A1","Y"],["A0",==0],["B0",==1]],[["B0","Y"],["A0",==1],["A1",==1]],[["B0","Y"],["A0",==0],["A1",==1]],[["B0","Y"],["A0",==1],["A1",==0]]]).
element("oai22",'I',[[["A0","Y"],["A1",==0],["B0",==1],["B1",==1]],[["A1","Y"],["A0",==0],["B0",==1],["B1",==1]],[["B0","Y"],["A0",==1],["A1",==1],["B1",==0]],[["B1","Y"],["A0",==1],["A1",==1],["B0",==0]]]).
element("oai221",'I',[[["A0","Y"],["A1",==0],["B0",==1],["B1",==1],["C0",==1]],[["A1","Y"],["A0",==0],["B0",==1],["B1",==1],["C0",==1]],[["B0","Y"],["A0",==1],["A1",==1],["B1",==0],["C0",==1]],[["B1","Y"],["A0",==1],["A1",==1],["B0",==0],["C0",==1]],[["C0","Y"],["A0",==1],["A1",==1],["B0",==1],["B1",==1]]]).
element("oai222",'I',[[["A0","Y"],["A1",==0],["B0",==1],["B1",==1],["C0",==1],["C1",==1]],[["A1","Y"],["A0",==0],["B0",==1],["B1",==1],["C0",==1],["C1",==1]],[["B0","Y"],["A0",==1],["A1",==1],["B1",==0],["C0",==1],["C1",==1]],[["B1","Y"],["A0",==1],["A1",==1],["B0",==0],["C0",==1],["C1",==1]],[["C0","Y"],["A0",==1],["A1",==1],["B0",==1],["B1",==1],["C1",==0]],[["C1","Y"],["A0",==1],["A1",==1],["B0",==1],["B1",==1],["C0",==0]]]).
element("oai32",'I',[[["A0","Y"],["A1",==0],["A2",==0],["B0",==1],["B1",==1]],[["A1","Y"],["A0",==0],["A2",==0],["B0",==1],["B1",==1]],[["A2","Y"],["A0",==0],["A1",==0],["B0",==1],["B1",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["B1",==0]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0]]]).
element("oai321",'I',[[["A0","Y"],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["C0",==1]],[["A1","Y"],["A0",==0],["A2",==0],["B0",==1],["B1",==1],["C0",==1]],[["A2","Y"],["A0",==0],["A1",==0],["B0",==1],["B1",==1],["C0",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["B1",==0],["C0",==1]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["C0",==1]],[["C0","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1]]]).
element("oai322",'I',[[["A0","Y"],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["C0",==1],["C1",==1]],[["A1","Y"],["A0",==0],["A2",==0],["B0",==1],["B1",==1],["C0",==1],["C1",==1]],[["A2","Y"],["A0",==0],["A1",==0],["B0",==1],["B1",==1],["C0",==1],["C1",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["B1",==0],["C0",==1],["C1",==1]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["C0",==1],["C1",==1]],[["C0","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1],["C1",==0]],[["C1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1],["C0",==0]]]).
element("oai33",'I',[[["A0","Y"],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1]],[["A1","Y"],["A0",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1]],[["A2","Y"],["A0",==0],["A1",==0],["B0",==1],["B1",==1],["B2",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["B1",==0],["B2",==0]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B2",==0]],[["B2","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B1",==0]]]).
element("oai332",'I',[[["A0","Y"],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1],["C0",==1],["C1",==1]],[["A1","Y"],["A0",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1],["C0",==1],["C1",==1]],[["A2","Y"],["A0",==0],["A1",==0],["B0",==1],["B1",==1],["B2",==1],["C0",==1],["C1",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["B1",==0],["B2",==0],["C0",==1],["C1",==1]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B2",==0],["C0",==1],["C1",==1]],[["B2","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["C0",==1],["C1",==1]],[["C0","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1],["B2",==1],["C1",==0]],[["C1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1],["B2",==1],["C0",==0]]]).
element("oai333",'I',[[["A0","Y"],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1],["C0",==1],["C1",==1],["C2",==1]],[["A1","Y"],["A0",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1],["C0",==1],["C1",==1],["C2",==1]],[["A2","Y"],["A0",==0],["A1",==0],["B0",==1],["B1",==1],["B2",==1],["C0",==1],["C1",==1],["C2",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["B1",==0],["B2",==0],["C0",==1],["C1",==1],["C2",==1]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B2",==0],["C0",==1],["C1",==1],["C2",==1]],[["B2","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==0],["B1",==0],["C0",==1],["C1",==1],["C2",==1]],[["C0","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1],["B2",==1],["C1",==0],["C2",==0]],[["C1","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1],["B2",==1],["C0",==0],["C2",==0]],[["C2","Y"],["A0",==1],["A1",==1],["A2",==1],["B0",==1],["B1",==1],["B2",==1],["C0",==0],["C1",==0]]]).
element("oai43",'I',[[["A0","Y"],["A1",==0],["A2",==0],["A3",==0],["B0",==1],["B1",==1],["B2",==1]],[["A1","Y"],["A0",==0],["A2",==0],["A3",==0],["B0",==1],["B1",==1],["B2",==1]],[["A2","Y"],["A0",==0],["A1",==0],["A3",==0],["B0",==1],["B1",==1],["B2",==1]],[["A3","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["A3",==1],["B1",==0],["B2",==0]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["A3",==1],["B0",==0],["B2",==0]],[["B2","Y"],["A0",==1],["A1",==1],["A2",==1],["A3",==1],["B0",==0],["B1",==0]]]).
element("oai43",'I',[[["A0","Y"],["A1",==0],["A2",==0],["A3",==0],["B0",==1],["B1",==1],["B2",==1],["B3",==1]],[["A1","Y"],["A0",==0],["A2",==0],["A3",==0],["B0",==1],["B1",==1],["B2",==1],["B3",==1]],[["A2","Y"],["A0",==0],["A1",==0],["A3",==0],["B0",==1],["B1",==1],["B2",==1],["B3",==1]],[["A3","Y"],["A0",==0],["A1",==0],["A2",==0],["B0",==1],["B1",==1],["B2",==1],["B3",==1]],[["B0","Y"],["A0",==1],["A1",==1],["A2",==1],["A3",==1],["B1",==0],["B2",==0],["B3",==0]],[["B1","Y"],["A0",==1],["A1",==1],["A2",==1],["A3",==1],["B0",==0],["B2",==0],["B3",==0]],[["B2","Y"],["A0",==1],["A1",==1],["A2",==1],["A3",==1],["B0",==0],["B1",==0],["B3",==0]],[["B3","Y"],["A0",==1],["A1",==1],["A2",==1],["A3",==1],["B0",==0],["B1",==0],["B2",==0]]]).
element("xor2",'K',[[["A0","Y"],["A1",==0]],[["A1","Y"],["A0",==0]]]).
element("xnor2",'K',[[["A0","Y"],["A1",==1]],[["A1","Y"],["A0",==1]]]).