f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f 0 0 0 0 0 0 0 0 s x9 x10 f x9 x9 x9 x9 x9 x9 x9 x9 x9 x10 f 0 0 0 0 0 0 0 0 0 s x10 f x10 x10 x10 x10 x10 x10 x10 x10 x10 x10 f 0 0 0 0 0 0 0 0 0 0 0 2.2 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 0 0 s x10 f x10 x10 x10 x10 x10 x10 x10 x10 x10 x10 f 0 0 0 0 0 0 0 0 s x9 x10 f x9 x9 x9 x9 x9 x9 x9 x9 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 true f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 0 s x9 x10 f x9 x9 x9 x9 x9 x9 x9 x9 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 0 0 s x10 f x10 x10 x10 x10 x10 x10 x10 x10 x10 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 10 0 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f 0 0 0 0 0 0 0 0 s x9 x10 f x9 x9 x9 x9 x9 x9 x9 x9 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 0 0 0 0 0 s x9 x10 f x9 x9 x9 x9 x9 x9 x9 x9 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 9 0 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 0 s x8 x9 x10 f x8 x8 x8 x8 x8 x8 x8 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 8 0 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 0 s x7 x8 x9 x10 f x7 x7 x7 x7 x7 x7 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 0 f 10 7 0 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 0 0 0 s x6 x7 x8 x9 x10 f x6 x6 x6 x6 x6 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 6 0 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 0 s x5 x6 x7 x8 x9 x10 f x5 x5 x5 x5 x5 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 5 0 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f 0 0 0 s x4 x5 x6 x7 x8 x9 x10 f x4 x4 x4 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 2 f 10 0 0 0 1 f 10 4 0 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 0 s x3 x4 x5 x6 x7 x8 x9 x10 f x3 x3 x3 x4 x5 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 3 0 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f 0 s x2 x3 x4 x5 x6 x7 x8 x9 x10 f x2 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 2 0 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f s x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 f x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 true s 1 1 1 f 10 0 0 0 1 f 10 1 0 NaTT certifiable-1.6