name:{!((!0&1)|(1&!0)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(!(!0|0)&0) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!(!(!0&!0)|(!1&!1)) = 1} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1|(!1|1)) = 1} 11
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0&1)&(!1&!0)) = 0} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0|!1)|!0) = 1} 13
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(0|(!1&1)) = 1} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(!1&(!1&!0)) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!1|(!1|!0)) = 1} 12
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(0|!1)&!(1&0)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!0|(!1|0)) = 1} 11
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((0|!1)|!(1&1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!0&!0) = 0} 8
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!(!0&!(!0|1)) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((1|0)|(!0|1)) = 1} 14
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0|1)|!(!1|!1)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!1&0)&!(!0|!1)) = 1} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0|!1)&!(!0&!1)) = 1} 18
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{(1&(!0&!0)) = 1} 11
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((0&!0)&(1|!0)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(1|!(1|1)) = 1} 10
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((1|0)|!(!0&!1)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!1|(1&1)) = 0} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0&!1)|!(!0|0)) = 1} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((1&!1)|!(!0|1)) = 0} 16
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(0&1)&(!1&!1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!1|!1)|!(0|!0)) = 1} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!((!0|!0)&1) = 0} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{(1&(0|1)) = 1} 9
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(1&0) = 1} 6
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(0&1)&(1&1)) = 0} 15
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(0|!1) = 0} 6
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{(!(!1&!1)&(0|!1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((!1|!1)&1) = 0} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{((1&1)&(!0&0)) = 0} 14
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(0|!(1&0)) = 0} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((0|!0)&!1) = 1} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!0|1)|(!0&!0)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(0|0)&!(1&1)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(0&1)&!(1|!1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!0&1)&(0&!1)) = 0} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1&1)&(0|0)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!0|!(!1|!1)) = 0} 14
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!0|!1)|1) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{(!(0|0)|(0&1)) = 1} 14
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(0|(1&!0)) = 1} 10
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{((!1&1)|!0) = 1} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!0&!0)&1) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!(1|!(0|0)) = 0} 11
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((0|!1)|0) = 0} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{((0|!1)&(!0|0)) = 0} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((0|!0)&!1) = 0} 11
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(!(1|!1)&!(0|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(0&!(!1&!1)) = 1} 13
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0|1)&!(1&0)) = 1} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(0|!0)|!(1|0)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!((!0&1)|!(!1&!1)) = 0} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!1&1)|(1&!0)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!1&!(!1|!1)) = 1} 14
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{((0|1)&!(!1|0)) = 1} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!0|1)|(!1&!0)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((1&0)|!(1&!0)) = 0} 15
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(!1|0)&(!0|1)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(1|!(!1&0)) = 1} 11
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!0|!1) = 1} 7
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!1&!(0|0)) = 0} 11
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((1&!1)&(1&!1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0|0)|!(!0|!1)) = 0} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(!(!0|1)|(!0&1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((!1|!1)|!(!0&0)) = 0} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(0|1)|!(1|1)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(0&(!0|!1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0&!1)&(1&!0)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((!0&!0)&(0|!0)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(1&!(1|1)) = 1} 11
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1&!0) = 0} 7
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{((!1&1)|(!1&!0)) = 0} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(0|0)&(0|1)) = 1} 14
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0&0)|(!1&0)) = 0} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!0|!1)|!(1|!1)) = 0} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0&!1)&!(0|1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!0|!(!1&0)) = 1} 12
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(1|!0)&(!0|0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((0|0)&(1&0)) = 0} 13
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{(!(!0&0)&(0|!0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!0&(!0&0)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(0&!(!1&0)) = 0} 11
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(1|(!1&0)) = 0} 11
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(1&0)&!0) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{((!0|!0)|!1) = 1} 12
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(1&(1|0)) = 0} 10
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!((!1&!0)|!(!1|0)) = 0} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{((!0|!0)|!(!0|1)) = 1} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((0|0)|(0|!1)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(1|!0)&!0) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{(!(0&!0)|!(!0&!0)) = 1} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(!1|1)|!(!0|1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!0&!1)|!(0&1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(0&(!1&0)) = 1} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(1|1) = 1} 5
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{(!0&1) = 1} 6
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!((0&1)|!0) = 0} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!(0|1) = 0} 6
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{(!(!0&1)|!0) = 1} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{((!1&0)&(!1&0)) = 0} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!1|1)&1) = 0} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{(0&!(!1&!1)) = 0} 12
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1&!1)|!(0|!1)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!0&!0)|!(!0&!0)) = 1} 18
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(1&1) = 0} 6
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{((!0&!0)|0) = 1} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{((0&0)&!(!1|0)) = 0} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0|!0)&(!1&!0)) = 0} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!1|0) = 1} 7
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{!(0&!(!1|1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((1|1)|1) = 1} 9
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((1|!0)&(!0&0)) = 0} 15
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!(1|0)|!(!1|1)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!((!1&1)&1) = 1} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(1|1)|(!1&0)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((0|!1)|0) = 1} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{((!0&!1)&(0|0)) = 0} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(0|(1&1)) = 1} 9
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1|!(!1&!0)) = 1} 13
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(0&!(1&!1)) = 0} 11
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!0&0) = 0} 6
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!(1|!(1&1)) = 0} 11
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(1|!1)&1) = 0} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{(!(1&0)&!(1&1)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((1&1)|!(!0|!0)) = 1} 16
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((!0&!1)&0) = 1} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!(!(0|0)&(1&1)) = 0} 15
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(!(!1&1)|(1&!0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((!0&1)&(1&1)) = 0} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0|!0)&(!0&1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1|0)&1) = 1} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!0|1)|!0) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((!1&0)&!1) = 0} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{((0&!1)&0) = 0} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((1&!1)|0) = 1} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{((!1|!1)|1) = 1} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(0&!0) = 0} 6
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!((0&1)|(!1|0)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!1|!(1|!1)) = 0} 12
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(0&(!0|!0)) = 0} 11
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((0&1)&!(!1|!1)) = 0} 16
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1|!0)&!(!1|!0)) = 1} 20
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(1&1)|!(1&!1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(!0|1)&!(!0&1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((!1&!0)&!(!1|1)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!1|1)&!0) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!((0&!0)|1) = 0} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!((!1|!0)|(!1|0)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(0|(!1&1)) = 0} 10
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{(!(!0|1)&(0&1)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(!(!0&0)&1) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{((!1|!1)&!1) = 0} 12
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!((!1&!0)|!0) = 0} 13
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!(!0&!(1|!0)) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(0|1) = 1} 5
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!(1|1)&0) = 0} 10
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{((0|0)|!(0&1)) = 1} 14
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(1&!0) = 0} 7
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{((1&!0)|!(1|1)) = 1} 15
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!1|!1)|(1|!0)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((!1&1)&!(!1&!0)) = 0} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!1|!(0&0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(0&(1&1)) = 0} 9
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((0|1)|0) = 0} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{!((0|!1)&(0&!1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0|!0)&!(1&!0)) = 0} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1|1)|!(1&!0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(0&0)|(!1|0)) = 1} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((!0|!1)|!(0|1)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0&!0)|1) = 1} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(!1|(1|!1)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((!0&!0)|!(1&!1)) = 0} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!((!0|0)&(0|!0)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((!1|!1)&!1) = 0} 12
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!((!1&!1)&!(!0|1)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!1|1)&(0|1)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0&!0)|1) = 1} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{((1&!1)|(!0&0)) = 0} 15
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0&1)|!(!0&1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1&!0)&!(0|!1)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((1&!1)&(!1|!1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(1&!(!0&0)) = 1} 11
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((!1&!0)&!0) = 0} 12
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{((0&!0)|1) = 1} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!0&1)|1) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{!((!0|1)|!1) = 0} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(!0|!(1&1)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((!0|!1)|0) = 0} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{((1&!1)|!(1|1)) = 0} 15
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((1|!1)&(!0&!1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!0&1)|(!0&!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(0&0) = 0} 5
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!((1&1)&0) = 1} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!(1|(!0|!0)) = 0} 12
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(1|!(!0&!0)) = 1} 12
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{((0|!0)|1) = 1} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(0|(1&!1)) = 1} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!(0&1)&0) = 1} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!(!(!1&!1)|(1&!1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!1&(!1&!1)) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!0|!0)|!0) = 0} 13
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(1|!(1|1)) = 1} 10
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!1|1)&!1) = 0} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{((!1|!0)&(!1&!1)) = 0} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(1&(!0|1)) = 1} 10
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((0|1)&1) = 0} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{!(1|!1) = 0} 7
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(1|(!0&!0)) = 1} 11
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((!0|1)|!0) = 1} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!(!(0|!0)|(!0|!1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{((1&!1)|!1) = 0} 11
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(!0|!(1&0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(1|!(0|1)) = 0} 11
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{((!0|0)|!(!1&!0)) = 1} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(!(1|!0)&!(!0&1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!1&!1)|1) = 0} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{!(!0&(!1&1)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(0&0)&(!0&0)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((!1&!1)|(!0&1)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(1|0)|!(0|!1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0|0)&!(!1&!1)) = 0} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(0&!0)&!(1|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(1&0) = 1} 6
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{(!1&1) = 0} 6
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{(!(!1|!0)|!(0&0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(0|!0)&!(1|0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(1|!0)&!1) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(1|1) = 0} 6
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(0&1) = 1} 6
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!0|1)&!(1|0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(0&!0)|!(1&!1)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((0&0)|1) = 1} 9
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(1&!(!0&!0)) = 1} 13
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(!(0|!1)&1) = 1} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{((!1|0)|(1|0)) = 1} 14
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((1|!1)|!(!0|0)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((1&!1)&!(!1&!1)) = 0} 17
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(1|!1)&(0&0)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(1|(!1|!1)) = 1} 11
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0|0)&!0) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{(!(!1|!1)|(0&1)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(1|!0)&(!1|0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(1|0)|!(!1&1)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1&!1) = 0} 7
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{(!(0|!1)&!(!0&!1)) = 1} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((0|1)|(1&!1)) = 0} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((0|!0)|0) = 1} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{!(!(0|1)&(1&0)) = 1} 15
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!0&(!1&!1)) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(1&!(!0&0)) = 0} 12
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!1|!(!1&!0)) = 0} 14
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((1&!1)&0) = 0} 10
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!(!(0&0)&!(1|0)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!((0|1)&(0|!0)) = 0} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!1|(!1|1)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!0|(0|!0)) = 1} 11
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(!1|!0)|!(1&!1)) = 1} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!1|!(0&0)) = 1} 11
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(1&1) = 1} 5
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!0&!0)|!(!0|0)) = 1} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!0&0)&!1) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!0|1)&0) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(!(0|!1)|!(1|1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{(1&1) = 1} 5
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!(0&!(!0|0)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!1&(!0&0)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!1&!1)|!(!0|!0)) = 0} 20
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{(0&!(!0|0)) = 0} 11
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1|1)|!(!1&0)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0|0)|!1) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{((!1&0)&1) = 0} 10
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((!0|!1)&(!0&1)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(1|!1)&(!0&0)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((0&!0)&!(1|!1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(1|0)|!(0&1)) = 0} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!0|!1)|!(!1&!1)) = 1} 18
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!0|1) = 1} 6
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!((!1&!1)|(1&1)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(1|0)|!(!0&1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!0&!1)|(!0|!0)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(0|!1)&!1) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(0&1) = 1} 6
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!(!1&0) = 1} 7
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!((!1&0)&!(1&!1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(0|!(!1&!1)) = 1} 12
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0|!0)&!0) = 1} 12
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(1|0) = 0} 6
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{!((0|!1)|!(1|1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!0&!1) = 0} 7
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((0|!0)|!(!0&!1)) = 1} 17
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!1|!1)|!(!0&1)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(1&!0)&0) = 0} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!1|!(!0&1)) = 0} 12
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{((!0|!1)|!(!0|1)) = 1} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(0&(!0&0)) = 1} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!1|!0) = 0} 8
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!((0|!1)|!(0|0)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!((0|!0)|(0|!0)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!1&!(1|!0)) = 0} 12
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!0|(!0|!1)) = 1} 12
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((1|0)&(0&!0)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0|!0)|!(!1|!1)) = 0} 20
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((0&0)|!(0&!1)) = 1} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0|!0)&0) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!(!(!0|!0)&(!0&!0)) = 1} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((1&0)|1) = 0} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{((0|0)|1) = 1} 9
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!0|!0)&(!0&0)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((!1|!0)|(1&!0)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(1|(1|!0)) = 1} 10
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((!0|1)|0) = 0} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{(!0&(1|0)) = 1} 10
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((1&!0)|!1) = 1} 11
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!(0|!1) = 1} 7
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{(!(0|!0)&1) = 0} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!0&(0&!1)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!1|1)|1) = 1} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!((1|!0)&(1|1)) = 0} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{((!0&1)&(!0|!0)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!0|0) = 1} 6
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{!((!0&!1)|(!0|1)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((0|!0)|(!0&0)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1&1)&!(!1&!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(0&(!0|!1)) = 0} 11
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{((0&0)&!(1|!0)) = 0} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!0&!1) = 1} 8
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!1|1)&(!1|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(0|!1) = 0} 6
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{((!1&1)|(0&!0)) = 0} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(1|!1)&(!0|!0)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(1&!0)&(0|!1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(1|!1) = 1} 6
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!((0&0)&(1|0)) = 1} 14
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!1&!(0|1)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!1|0)|(0&0)) = 0} 14
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(0|!0) = 0} 7
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{((1&!1)|!(!1&!1)) = 1} 17
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(1&0)|!(0&1)) = 0} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(1|(!1|!0)) = 1} 11
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((1|!0)&(0|1)) = 1} 14
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(!0|1)&!(0|1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!1|0)|(!0&1)) = 1} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!(0|!0)&(!1&1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(0&!0) = 1} 7
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{(1|!(1&!1)) = 1} 11
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((0|0)|!0) = 1} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(!0&(1&!0)) = 1} 11
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((1&!1)&0) = 0} 10
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!((0&1)&(0|!1)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!1|(1|!0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((1&!0)&!0) = 0} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{((1&1)|1) = 1} 9
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!1|!0)&!1) = 1} 14
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!((0&0)&0) = 1} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!((0&!1)|!(0&1)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(0|!(!0|1)) = 0} 11
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((!0&0)|(0&1)) = 0} 14
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(0|!(0&!1)) = 1} 11
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0&0)&!1) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!(!(!0&0)&!1) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!(!(1|1)&(!0|1)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((0&0)&(1&!0)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((!0|!0)&0) = 1} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{(!(1|!1)&1) = 0} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{!((!1|!0)&!(!0|1)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0|1)|(1&!0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!0|(0|!0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((0&!1)|(!1&0)) = 0} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((0&!1)|!(0&!1)) = 1} 16
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((!1|!0)|!(!1&1)) = 1} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0|1)|(!0&!1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!0&0)|(!1|!1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(1|(1&!1)) = 1} 10
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(1|(1&1)) = 1} 9
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(1|1)|!(!0&1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!0&!0)|(0&0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0|1)|(!0|!0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((!1|1)&(1|0)) = 1} 14
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!0|!1) = 0} 8
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(1&!1)&(1|0)) = 0} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!1|!1)&!(!0&0)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!((1&!0)|!0) = 0} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(0&0)&1) = 0} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(0|!(1&!0)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!0|(1&!1)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(1|!(0&!1)) = 0} 12
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((!1&1)&!(0|!0)) = 0} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!0&!1)&(!0&!1)) = 1} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!1|0)&(!0|1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!1|!1)|!(!0|1)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(1|1)|!(0|!1)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{((1|1)&!0) = 1} 10
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{(!(!0|!0)|!(1|!0)) = 0} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((1&!0)|!(0|0)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1|1)|(!1|0)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(1|!0)|!1) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!(!0|0)&(1|1)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!0&0)|1) = 1} 10
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{((!0|!0)|(0|1)) = 1} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!0&0)|(1&0)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((!1|!0)|!(0&0)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!0|1)|(!0|!0)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((!1&!0)&!(!0|1)) = 0} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(0|1) = 0} 6
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{!(!(!1|!0)&(!0&1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(1|!(1&1)) = 0} 11
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((0|!0)|(!0|1)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((!0&!1)|!(1&1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((0|!0)&!0) = 1} 11
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!(!(!1|1)|(!1|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(0&!(!1&1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1|(1|1)) = 1} 10
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1|0) = 0} 6
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{!(0|!(!1|!1)) = 0} 13
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!0&1)&(1|1)) = 1} 14
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!1|!0)&(0&!1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((0|!1)&!(!0|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!1&!1)&0) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!((!0&1)&1) = 0} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!1|(!0|1)) = 1} 11
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(1|1) = 1} 5
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((0&!1)&!(!1|!0)) = 0} 17
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1|1)|!(!0|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0|!0)|!(!1&1)) = 1} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!((!0&0)&!1) = 1} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{(!(!0|!0)|0) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{!(!(1|0)|(!0|0)) = 0} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!1|!1)|1) = 0} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{((1&0)|1) = 1} 9
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(1&!1) = 1} 7
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((1&!0)|!(0&0)) = 1} 15
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((0|!0)&!1) = 1} 12
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((!1|!0)|(!1&!1)) = 1} 17
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!(0&1)&(1&1)) = 1} 14
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!0&0) = 0} 6
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{(!0|0) = 1} 6
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(!0|!0)|(!0|0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!1|0) = 1} 7
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!((1|1)|!(!1&!1)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(1|!0)&!(0&0)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!0|(1&!0)) = 1} 11
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(1|(!1|!0)) = 1} 11
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(!1&1)|1) = 1} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(!1&(!1|1)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(1|!0) = 1} 6
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(1&(1&!1)) = 0} 10
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(0|!1)&(!1&1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((1&!1)|(0|0)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((1&!1)&(1|1)) = 0} 14
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(!0&(1|!1)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(!0&0)|(!0|!0)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(0|(!1|1)) = 0} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(1&0)|!0) = 1} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{((!1|0)&!1) = 0} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{((!1&0)&(!1&1)) = 0} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((1|!1)|1) = 1} 10
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{((1&1)|(0&!0)) = 1} 14
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(0|!1)|!(1&0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!((!0|!0)|!0) = 0} 13
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!(!1&!(0&1)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(0&!(0|!1)) = 0} 11
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((!0|1)|(0|!0)) = 0} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((0|0)|(0|!0)) = 0} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!0|0) = 0} 7
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{(0&!(1|1)) = 0} 10
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!1&!0)&!(1&!1)) = 1} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0|!1)&(1|!1)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(0&(!1|!1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((1|!1)&!(!0|!0)) = 0} 17
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!1|(!1|!0)) = 1} 12
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(!1&1)|0) = 1} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!1&(0|!0)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((0&!1)|!0) = 1} 11
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(!1|(1&!1)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((1|0)|1) = 1} 9
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{(!(!0|0)|!(1&!0)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(0|0)&!(0|!1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(0&(!0|!1)) = 0} 11
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(0|!(!0&1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(1&(1|!1)) = 1} 10
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(0|!(!0|0)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!(0|0)|1) = 0} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{!(!(!1|!1)&1) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((0&!0)|!(0|!0)) = 0} 16
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1&!0)|(!1|!0)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(1&1) = 1} 5
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!(!0&!0)|!(0&0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((0|0)&1) = 1} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{(1&(!0&1)) = 1} 10
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1&1) = 0} 6
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{((!0&!1)|!(!0|!0)) = 0} 18
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!0&!1)&(!0|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(0&0) = 0} 5
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(0&!(0&0)) = 1} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(0|!1)|1) = 1} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(!(1|!1)|!(!1&0)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(1&(!1&0)) = 0} 10
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!0|(!0&0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(0|1)|!0) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{(0&!(0|1)) = 0} 10
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(1&!(1|!1)) = 0} 11
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1&1)|!(!1|1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(1&(0|1)) = 1} 9
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!1|!(!0&1)) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!1&!1)&!(1|1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(1&!1)&!0) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{(!(!1|!0)|(1|0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(1&1)&(!0&!0)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((0|0)|(0&1)) = 1} 14
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0|0)&!(0|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!1&(0&0)) = 1} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((!0&!0)&1) = 1} 11
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{((!1|!0)|(!0|0)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{((1&!0)&(0&!0)) = 0} 15
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!0|(!0&0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((!1&0)&!(1&1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(1|!1) = 1} 6
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!((0&!1)&!(0|!0)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0&!1)&1) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{(!(!0&1)&(1&0)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((0|0)&!(!0|1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(0|!0) = 0} 7
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!((0&1)|(!0&1)) = 0} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!1|0)&!1) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(!0&!0) = 0} 8
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!(0|!(!1|1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(0&(!1|1)) = 0} 10
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1|!0)&(!0&!1)) = 1} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(1|!(!1|!1)) = 1} 12
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!1|!(!1&0)) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((1&0)|0) = 0} 9
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!(!1|!0)|!(!0&0)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(0|0)|(!1|0)) = 1} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(0&!0)&0) = 0} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!((!0|0)&(!1|!1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(!0|!(!0&1)) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{(!(0&1)|!(!1|!0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(1|0) = 0} 6
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(0&1)&1) = 1} 10
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{!(!1&(0&!1)) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0&1)|(0|!0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!1&!(!0&!0)) = 1} 14
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0&!0)|!(0|!0)) = 0} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(0&0) = 0} 5
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!((0|!1)&!(!1&0)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!0&!(!1&!0)) = 1} 13
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!0|!0)&(0|0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(1|(1|0)) = 0} 10
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!1&0)|!(!1|1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!(1|!1)&(0|1)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0&0)&!(0&!1)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(1|0)|(0&!0)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{(!0&(!0|1)) = 1} 11
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!1&!0) = 0} 7
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{(!(1&!0)&(0&!0)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!0|!0)&(!1|!1)) = 1} 18
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(1&!(!0|!0)) = 1} 13
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{((!0&0)|(1&0)) = 0} 14
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((0&0)&!(0&!1)) = 0} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((1&!1)|(1&0)) = 0} 14
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!((!0|!1)|!1) = 0} 13
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{((0|1)&(1&0)) = 0} 13
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1|1)|(!0|!1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!1|1)&(1|0)) = 1} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(1&(0&!1)) = 0} 10
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(0|(!1|1)) = 1} 10
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(!0|!0)|!(!0|!1)) = 0} 19
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((1&!1)&(!1|!1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(!(0&!0)&(!1|!0)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!0|1)&!(0|0)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(0&!(!0&0)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!1|!(!1|0)) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!((1|1)&!0) = 0} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{(!(0|!1)&!(!0&0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(1&!0)&1) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:3 T:-
i:6 T:1;
name:{((0&1)|(!0&!1)) = 0} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!1&0)&!(1&0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!((0&1)|!(0|1)) = 1} 15
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!1|!1)|!0) = 0} 13
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!(!1|(0&0)) = 1} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!0&0)|(!0&!1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(1&0)&!1) = 1} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{((!1&!0)&!(!0&!1)) = 0} 18
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(!1|0)&(0|0)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((!1&!1)|(0&0)) = 0} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(!0|0)&(0&1)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!1&1)|(1|!1)) = 1} 15
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((0|0)&!1) = 0} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(!(1&!1)|!(!0|!1)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(0&!1)&!(1&!1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(0|0) = 0} 5
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{!((!0&1)|!(0&!0)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(!1|1)|!1) = 0} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{(!(!1&!1)|(0|!0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((!1&1)|!(0|!1)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!((!1&1)|!(!0&1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((1&1)&!1) = 1} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{((0|!0)|1) = 1} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!(!(1|!1)|!(0|!1)) = 0} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(0|(!1&1)) = 1} 11
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!(0&!(!1|!0)) = 1} 13
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(1&!(1&0)) = 1} 10
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(1&!0)|!1) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(0|1)|0) = 0} 10
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{(!(0|!0)&(!1|!0)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(1|!(!1&!1)) = 1} 12
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(1|(0&!1)) = 1} 10
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{((!0&1)&(0|1)) = 1} 14
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!1&1)|!(1&1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!0|(!1|0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(0&!0)|!0) = 1} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(!1&!1)&(!1|0)) = 1} 18
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!((1|1)&!(!1|!1)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(!1&1)|!(1&0)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(!1|1)&!(!0|!0)) = 0} 18
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(0&(!0&!1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!((!1&1)|!(1|0)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(!(0&0)&!(!1&!0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(!1|!1)&!(!0&!0)) = 1} 20
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(1|1) = 1} 5
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!((!1|1)&!(1|1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!(1|!0)|(!1|1)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1|1)&(0&0)) = 1} 15
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(!1|(1&!0)) = 0} 12
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!((!0|!1)|!1) = 0} 13
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{(!(!0|!0)|!(1&0)) = 1} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!((0|1)|!1) = 0} 11
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(0|!(!1&1)) = 0} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!(!(1&1)|!(1|!1)) = 1} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!(!1&!1)&(1&!1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(0&0) = 1} 6
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{(!(1|1)&!1) = 0} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:0;
name:{!(!(0|!1)|!(!1&!1)) = 0} 19
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!(0|!0)|0) = 0} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:0;
name:{(0&(!1|1)) = 0} 10
i:0 T:-
i:2 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((0&0)|!0) = 1} 10
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!((!0|0)&(!0|!0)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((1|!1)|!(!0&1)) = 1} 16
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{1 = 1} 1
i:3 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{(!(1|!1)|(0&!1)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!1|!(!0&!1)) = 1} 13
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(0|0) = 1} 6
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{(!0|!(1|!1)) = 1} 12
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{1 = 1} 1
i:3 T:1;
name:{!((!0&!1)&(!0&0)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{0 = 0} 1
i:2 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(1&1)&!(1&0)) = 0} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(0|1) = 1} 5
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{(!1&!(!0|!0)) = 0} 13
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(1|1)|!(1&!0)) = 0} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!0&!1) = 1} 8
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!(!(1&!0)&!0) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{!(!(!1&!0)&0) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:2 T:-
i:6 T:1;
name:{!(0&!(0&!1)) = 1} 12
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0|!0)|(0&!0)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!1&(!1|!1)) = 0} 12
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((0&!1)|(1&!1)) = 1} 16
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(0&!1)&(!0|0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{(1&0) = 0} 5
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{(1&0) = 0} 5
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{(!(!0|!0)|(0|!1)) = 0} 17
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{((!0|0)|1) = 1} 10
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(0&!1)|!1) = 1} 12
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:1;
name:{!((!0&!0)|!0) = 0} 13
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:0;
name:{(!(1&0)&!(!1&0)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!0|!(0|!1)) = 0} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{(!0|1) = 1} 6
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{(0&0) = 0} 5
i:0 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:0;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!(1|(!1&!1)) = 0} 12
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!(1|(!0|!0)) = 0} 12
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!(!(1&0)|!(1|!0)) = 0} 17
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{(!(0&!1)|(!1|1)) = 1} 16
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((1|0)|1) = 0} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{(1&(0|0)) = 0} 9
i:0 T:-
i:3 T:-
i:5 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{((0&!1)|!(1|1)) = 0} 15
i:0 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{!((0|1)|1) = 0} 10
i:1 T:-
i:0 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:0;
name:{(!0&!(0|!1)) = 1} 12
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!((!1|!0)|(1|!0)) = 0} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:0;
name:{(!(1|1)|(1|!1)) = 1} 15
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{(!1&1) = 0} 6
i:0 T:-
i:1 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!(!(1&1)|0) = 1} 11
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:2 T:-
i:6 T:1;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;
name:{(!(!1|0)|1) = 1} 11
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:3 T:-
i:6 T:1;
name:{(0|!(!1|0)) = 1} 11
i:0 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!(!(0|0)&(1|!1)) = 0} 16
i:1 T:-
i:0 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:4 T:-
i:2 T:-
i:6 T:-
i:5 T:-
i:0 T:-
i:3 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:6 T:0;
name:{0 = 0} 1
i:2 T:0;
name:{!((1&!1)|!(!1|1)) = 1} 17
i:1 T:-
i:0 T:-
i:0 T:-
i:3 T:-
i:5 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{!(!0&!(!1|1)) = 1} 13
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:3 T:-
i:4 T:-
i:3 T:-
i:6 T:-
i:6 T:1;
name:{(!(!0|!1)|!0) = 1} 13
i:0 T:-
i:1 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:4 T:-
i:1 T:-
i:3 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:2 T:-
i:6 T:1;
name:{((!0&0)|!(0&!0)) = 1} 16
i:0 T:-
i:0 T:-
i:1 T:-
i:2 T:-
i:5 T:-
i:2 T:-
i:6 T:-
i:4 T:-
i:1 T:-
i:0 T:-
i:2 T:-
i:5 T:-
i:1 T:-
i:2 T:-
i:6 T:-
i:6 T:1;
name:{!1 = 0} 2
i:1 T:-
i:3 T:0;
name:{!0 = 1} 2
i:1 T:-
i:2 T:1;