g x x x g c d e g x y x g c d e s f x y f y f s s x a h h x a y h h a y h a x f x f y f x y f a f x f y b f h a y g x b a h f x s y s b h f x s y b f a g y a f s x a f x g x a f s x y f h x b g a b y s y b 2.2 f h a y g x b a h f x s y s b h f x s y b f a g y a f s x a s f x y f y f s s x a h f x s y b s x f x f y f x y f x f y b h h x a y h a x f x f y f x y f y b s f x y f s s x a f x g x a f s x y g a b y h f x s y b g y a f s x a f x f y f x y f a f x f y b f h a y g x b a s b h h x a y h a y g x x x g c d e f x g x a f s x y h x b h h x a y h h a y h a x s f x y s x f h a y g x b a f x s y g x y x g c d e h f x s y b f s x a s f x y s s x f h a y g x b a s y f x g x a f s x y f h x b g a b y true f x g x a f s x y f h x b g a b y f h a y g x b a f x s y f x g x a f s x y h x b h f x s y b f a g y a f s x a f h a y g x b a h f x s y s b true a 0 1 h 2 1 d 0 1 s 1 1 b 0 1 c 0 1 f 2 1 h 2 2 15922 s 1 0 f 2 2 0 g 3 0 e 0 1 g 3 15923 f h a y g x b a h f x s y s b h f x s y b f a g y a f s x a f x g x a f s x y h x b f x g x a f s x y f h x b g a b y h h x a y h h a y h a x f x g x a f s x y f h x b g a b y g x x x g c d e s f x y f y f s s x a f x f y f x y f a f x f y b h f x s y b f a g y a f s x a s y b f h a y g x b a h f x s y s b g x y x g c d e f x g x a f s x y h x b f x g x a f s x y f h x b g a b y h f x s y b f a g y a f s x a f h a y g x b a h f x s y s b true a 0 0 h 2 1 0 d 0 1 s 1 1 b 0 2 c 0 1 f 2 2 h 2 1 0 s 1 0 f 2 1 2 g 3 0 e 0 1 g 3 1 1 f h a y g x b a h f x s y s b h f x s y b f a g y a f s x a f x g x a f s x y f h x b g a b y h h x a y h h a y h a x f x g x a f s x y f h x b g a b y f x f y f x y f a f x f y b h f x s y b f a g y a f s x a f h a y g x b a h f x s y s b f x g x a f s x y f h x b g a b y h f x s y b f a g y a f s x a f h a y g x b a h f x s y s b true Failed! NaTT certifiable-1.6