p 0 x1 0 s s p x1 p s x1 x1 p p s x1 p x1 f s x1 g s x1 g x1 i s half x1 i x1 f p x1 half 0 x1 0 s s half x1 half s s x1 s half p p s s x1 0 x1 x1 rd 0 x1 0 0 0 0 0 0 rd x1 2.2 i x1 p x1 rd 0 x1 0 0 0 0 0 rd x1 g x1 half x1 rd 0 x1 0 0 rd x1 rd 0 x1 rd x1 g x1 i s half x1 p p s x1 p x1 f s x1 g s x1 rd 0 x1 0 0 0 0 rd x1 rd 0 x1 0 rd x1 rd 0 x1 0 0 0 0 0 0 rd x1 half s s x1 half p p s s x1 half s s x1 p s s x1 p 0 x1 p x1 half 0 x1 0 s s half x1 i x1 f p x1 rd 0 x1 0 0 0 rd x1 p 0 x1 0 s s p x1 half 0 x1 half x1 half s s x1 p p s s x1 true rd 0 x1 rd x1 true 0 1 0 s 1 0 rd 1 0 half 1 0 p 1 0 rd 1 1 0 f 1 0 half 1 0 p 1 0 0 1 1 1 f 1 0 g 1 0 i 1 0 g 1 0 i 1 0 rd 0 x1 0 0 0 rd x1 false rd 0 x1 0 0 rd x1 false rd 0 x1 0 0 0 0 0 rd x1 false rd 0 x1 0 0 0 0 0 0 rd x1 false rd 0 x1 0 rd x1 false rd 0 x1 0 0 0 0 rd x1 false g x1 i s half x1 i x1 f p x1 f s x1 g s x1 true Failed! NaTT certifiable-1.6