f 0 x1 s 0 x1 d 0 x1 0 x1 d s x1 s s d p s x1 f s x1 d f p s x1 p s x1 x1 2.2 d s x1 p s x1 f s x1 p s x1 f s x1 d f p s x1 d s x1 d p s x1 f s x1 f p s x1 true f s x1 f p s x1 true d 1 0 s 1 1 1 p 1 0 f 1 0 p 1 0 0 1 0 d 1 0 f 1 0 1 d 1 1 s 1 1 7720 p 1 1 f 1 1 p 1 1 0 0 1 1 d 1 1 f 1 1 1 p s x1 x1 f s x1 d f p s x1 false d s x1 d p s x1 true d 1 0 s 1 1 1 p 1 0 f 1 0 p 1 0 0 1 0 d 1 0 1 f 1 0 1 d 1 1 s 1 1 2438 p 1 1 f 1 1 p 1 1 0 0 1 1 d 1 1 1 f 1 1 1 p s x1 x1 f s x1 p s x1 false d s x1 p s x1 false NaTT certifiable-1.6