h x x h a b g g x a y g g a y g a x f g x y g g f f y h a a x h h f f x y h z v h h f z f f f y h v x 2.2 g g x a y g a y f g x y f f y h h f f x y h z v f f f y h x x h a b h h f f x y h z v h f z f f f y h h f f x y h z v f z h h f f x y h z v f f y f g x y f y h h f f x y h z v h h f z f f f y h v x f g x y g f f y h a a h h f f x y h z v h v x g g x a y g a x g g x a y g g a y g a x f g x y h a a h h f f x y h z v f y f g x y g g f f y h a a x true h h f f x y h z v h v x h h f f x y h z v h f z f f f y h h f f x y h z v h h f z f f f y h v x true h 2 1 2 1 a 0 0 b 0 0 f 1 1 0 h 2 1 2 0 f 1 0 g 2 0 g 2 32286 h h f f x y h z v h h f z f f f y h v x h h f f x y h z v h h f z f f f y h v x h x x h a b f g x y g g f f y h a a x g g x a y g g a y g a x h h f f x y h z v h h f z f f f y h v x true Failed! NaTT certifiable-1.6