f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f 0 0 0 s x4 x5 f x4 x4 x4 x4 x5 f 0 0 0 0 s x5 f x5 x5 x5 x5 x5 f 0 0 0 0 0 0 2.2 f 0 0 0 0 s x5 f x5 x5 x5 x5 x5 f 0 0 0 s x4 x5 f x4 x4 x4 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 true f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f 0 0 0 s x4 x5 f x4 x4 x4 x4 x5 f 0 0 0 0 s x5 f x5 x5 x5 x5 x5 true s 1 1 1 f 5 0 0 0 1 f 5 5 0 f 0 0 0 s x4 x5 f x4 x4 x4 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f 0 0 0 s x4 x5 f x4 x4 x4 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 true s 1 1 1 f 5 0 0 0 1 f 5 4 0 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f 0 0 s x3 x4 x5 f x3 x3 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 true s 1 1 1 f 5 0 0 0 1 f 5 3 0 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f 0 s x2 x3 x4 x5 f x2 x2 x3 x4 x5 true s 1 1 1 f 5 0 0 0 1 f 5 2 0 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 f s x1 x2 x3 x4 x5 f x1 x2 x3 x4 x5 true s 1 1 1 f 5 0 0 0 1 f 5 1 0 NaTT certifiable-1.6