mux(0)=4hidden discrete cardinality = 11
mux(1)=4hidden discrete cardinality = 11
mux(2)=2hidden discrete cardinality = 11
mux(3)=2hidden discrete cardinality = 11
mux(4)=4hidden discrete cardinality = 11
mux(5)=4hidden discrete cardinality = 11
mux(6)=1hidden discrete cardinality = 11
mux(7)=1hidden discrete cardinality = 11
mux(8)=1hidden discrete cardinality = 11
mux(9)=1hidden discrete cardinality = 11
mux(10)=1hidden discrete cardinality = 11
mux(11)=1hidden discrete cardinality = 11
mux(12)=4hidden discrete cardinality = 11
mux(13)=1hidden discrete cardinality = 11
mux(14)=1hidden discrete cardinality = 11
mux(15)=1hidden discrete cardinality = 11
mux(16)=1hidden discrete cardinality = 11
mux(17)=1hidden discrete cardinality = 11
mux(18)=1hidden discrete cardinality = 11
mux(19)=4hidden discrete cardinality = 11
mux(20)=4hidden discrete cardinality = 11
mux(21)=4hidden discrete cardinality = 11
mux(22)=4hidden discrete cardinality = 11
mux(23)=1hidden discrete cardinality = 11
mux(24)=1hidden discrete cardinality = 11
mux(25)=1hidden discrete cardinality = 11
mux(26)=1hidden discrete cardinality = 11
mux(27)=1hidden discrete cardinality = 11
mux(28)=1hidden discrete cardinality = 11
mux(29)=4hidden discrete cardinality = 11
mux(30)=4hidden discrete cardinality = 11
mux(31)=4hidden discrete cardinality = 11
mux(32)=4hidden discrete cardinality = 11
mux(33)=4hidden discrete cardinality = 11
mux(34)=4hidden discrete cardinality = 11
mux(35)=4hidden discrete cardinality = 11
mux(36)=4hidden discrete cardinality = 11
mux(37)=1hidden discrete cardinality = 11
mux(38)=1hidden discrete cardinality = 11
mux(39)=1hidden discrete cardinality = 11
mux(40)=1hidden discrete cardinality = 11
mux(41)=1hidden discrete cardinality = 11
mux(42)=1hidden discrete cardinality = 11
mux(43)=1hidden discrete cardinality = 11
mux(44)=4hidden discrete cardinality = 11
mux(45)=4hidden discrete cardinality = 11
mux(46)=4hidden discrete cardinality = 11
mux(47)=4hidden discrete cardinality = 11
mux(48)=4hidden discrete cardinality = 11
mux(49)=2hidden discrete cardinality = 11
mux(50)=2hidden discrete cardinality = 11
mux(51)=4hidden discrete cardinality = 11
mux(52)=4hidden discrete cardinality = 11
mux(53)=4hidden discrete cardinality = 11
mux(54)=4hidden discrete cardinality = 11
mux(55)=4hidden discrete cardinality = 11
mux(56)=0hidden discrete cardinality = 11
mux(57)=0hidden discrete cardinality = 11
mux(58)=0hidden discrete cardinality = 11
mux(59)=0hidden discrete cardinality = 11
mux(60)=0hidden discrete cardinality = 11
mux(61)=0hidden discrete cardinality = 11
mux(62)=4hidden discrete cardinality = 11
mux(63)=4hidden discrete cardinality = 11
mux(64)=1hidden discrete cardinality = 11
mux(65)=1hidden discrete cardinality = 11
mux(66)=1hidden discrete cardinality = 11
mux(67)=1hidden discrete cardinality = 11
mux(68)=1hidden discrete cardinality = 11
mux(69)=1hidden discrete cardinality = 11
mux(70)=1hidden discrete cardinality = 11
mux(71)=4hidden discrete cardinality = 11
mux(72)=4hidden discrete cardinality = 11
mux(73)=4hidden discrete cardinality = 11
mux(74)=1hidden discrete cardinality = 11
mux(75)=1hidden discrete cardinality = 11
mux(76)=1hidden discrete cardinality = 11
mux(77)=1hidden discrete cardinality = 11
mux(78)=1hidden discrete cardinality = 11
mux(79)=1hidden discrete cardinality = 11
mux(80)=1hidden discrete cardinality = 11
mux(81)=4hidden discrete cardinality = 11
mux(82)=4hidden discrete cardinality = 11
mux(83)=4hidden discrete cardinality = 11
mux(84)=2hidden discrete cardinality = 11
mux(85)=2hidden discrete cardinality = 11
mux(86)=4hidden discrete cardinality = 11
mux(87)=4hidden discrete cardinality = 11
mux(88)=2hidden discrete cardinality = 11
mux(89)=2hidden discrete cardinality = 11
mux(90)=4hidden discrete cardinality = 11
