f h x f i x g i x g h x h a b i a b 2.2 g i x h x f h x f i x g i x g h x f h x i x true g i x g h x true h 1 1 1 a 0 28958 b 0 0 f 1 0 h 1 0 f 1 0 g 1 1 0 i 1 1 2 g 1 0 i 1 0 h a b f h x f i x true h 1 1 40652 a 0 1 b 0 0 f 1 0 h 1 0 f 1 1 0 g 1 1 0 i 1 1 40651 g 1 0 i 1 0 i a b h a b f h x i x false g i x h x false NaTT certifiable-1.6