a l x1 l a x1 a c x1 c a x1 c a r x1 r a x1 l r a x1 a l c c r x1 2.2 a c x1 a x1 l r a x1 a l c c r x1 l r a x1 c r x1 l r a x1 l c c r x1 a l x1 a x1 c a r x1 a x1 a c x1 c a x1 l r a x1 c c r x1 a l x1 l a x1 true a l x1 l a x1 a c x1 c a x1 c a r x1 a x1 l r a x1 a l c c r x1 a l x1 a x1 a c x1 a x1 true a 1 1 0 r 1 1 2 l 1 1 1 c 1 1 0 c 1 1 0 l 1 1 2 a 1 1 1 a c x1 a x1 l r a x1 a l c c r x1 a l x1 l a x1 l r a x1 a l c c r x1 a l x1 l a x1 c a r x1 r a x1 a c x1 c a x1 a c x1 a x1 true a 1 1 0 r 1 1 l 1 1424 c 1 1 1 c 1 1 0 l 1 1 2 a 1 1 1 l r a x1 a l c c r x1 a l x1 l a x1 c a r x1 r a x1 a c x1 c a x1 l r a x1 a l c c r x1 a l x1 l a x1 true Failed! NaTT certifiable-1.6