a l x1 l a x1 a c x1 c a x1 c a r x1 r a x1 l r a a x1 a a l c c c r x1 2.2 a c x1 a x1 l r a a x1 a a l c c c r x1 l r a a x1 c c c r x1 l r a a x1 c r x1 l r a a x1 a l c c c r x1 l r a a x1 c c r x1 a l x1 a x1 c a r x1 a x1 a c x1 c a x1 l r a a x1 l c 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 a x1 a a l c c c r x1 a l x1 a x1 l r a a x1 a l c c c r x1 a c x1 a x1 true a 1 1 8946 r 1 1 15923 l 1 1 46823 c 1 1 0 c 1 1 0 l 1 1 46824 a 1 1 8947 a c x1 a x1 l r a a x1 a a l c c c r x1 a l x1 l a x1 l r a a x1 a a l c 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 a x1 a a l c c c r x1 a l x1 l a x1 a c x1 a x1 true a 1 1 0 r 1 841 l 1 3037 c 1 1 1 c 1 0 l 1 3037 a 1 1 0 a l x1 l a x1 l r a a x1 a a l c c c r x1 l r a a x1 a a l c 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 a x1 a a l c c c r x1 a l x1 l a x1 true Failed! NaTT certifiable-1.6