f1 g1 f1 g2 f2 g1 f2 g2 g1 h1 g1 h2 g2 h1 g2 h2 e1 h1 h2 x y z e2 x x y z z e2 f1 x y z f2 e3 x y x y y z y z x y z e3 x1 x1 x2 x2 x3 x3 x4 x4 x y z e4 x1 x1 x2 x2 x3 x3 x4 x4 x y z e4 g1 x1 g2 x1 g1 x1 g2 x1 x y z e1 x1 x1 x y z 2.2 e1 h1 h2 x y z e2 x x y z z f2 g1 f1 g1 e2 f1 x y z f2 e3 x y x y y z y z x y z e3 x1 x1 x2 x2 x3 x3 x4 x4 x y z e4 x1 x1 x2 x2 x3 x3 x4 x4 x y z f1 g2 f2 g2 e4 g1 x1 g2 x1 g1 x1 g2 x1 x y z e1 x1 x1 x y z true f2 g2 false f1 g2 false f2 g1 false f1 g1 false e4 g1 x1 g2 x1 g1 x1 g2 x1 x y z e1 x1 x1 x y z e3 x1 x1 x2 x2 x3 x3 x4 x4 x y z e4 x1 x1 x2 x2 x3 x3 x4 x4 x y z e2 f1 x y z f2 e3 x y x y y z y z x y z e1 h1 h2 x y z e2 x x y z z true Failed! NaTT certifiable-1.6