f_0 x a f_1 x g_1 x x g_1 s x y b f_0 y g_1 x y f_2 x g_2 x x g_2 s x y b f_1 y g_2 x y f_3 x g_3 x x g_3 s x y b f_2 y g_3 x y f_4 x g_4 x x g_4 s x y b f_3 y g_4 x y f_5 x g_5 x x g_5 s x y b f_4 y g_5 x y 2.2 f_3 x g_3 x x g_5 s x y g_5 x y g_1 s x y g_1 x y f_5 x g_5 x x g_2 s x y g_2 x y g_1 s x y f_0 y f_4 x g_4 x x g_3 s x y f_2 y g_2 s x y f_1 y g_5 s x y f_4 y g_4 s x y f_3 y f_1 x g_1 x x g_3 s x y g_3 x y f_2 x g_2 x x g_4 s x y g_4 x y true f_5 x g_5 x x false g_5 s x y g_5 x y true a 0 0 g_5 2 0 g_1 2 0 s 1 1 1 g_4 2 0 f_4 1 0 b 2 0 g_3 2 0 f_5 1 0 f_2 1 0 g_3 2 0 f_2 1 0 g_1 2 0 g_2 2 0 g_2 2 0 f_1 1 0 g_5 2 1 0 g_4 2 0 f_0 1 0 f_0 1 0 f_3 1 0 f_4 1 0 f_1 1 0 f_5 1 0 f_3 1 0 g_5 s x y f_4 y false f_4 x g_4 x x false g_4 s x y g_4 x y true a 0 0 g_5 2 0 g_1 2 0 s 1 1 1 g_4 2 1 0 f_4 1 0 b 2 0 g_3 2 0 f_5 1 0 f_2 1 0 g_3 2 0 f_2 1 0 g_1 2 0 g_2 2 0 g_2 2 0 f_1 1 0 g_5 2 0 g_4 2 0 f_0 1 0 f_0 1 0 f_3 1 0 f_4 1 0 f_1 1 0 f_5 1 0 f_3 1 0 g_4 s x y f_3 y false f_3 x g_3 x x false g_3 s x y g_3 x y true a 0 0 g_5 2 0 g_1 2 0 s 1 1 1 g_4 2 0 f_4 1 0 b 2 0 g_3 2 0 f_5 1 0 f_2 1 0 g_3 2 1 0 f_2 1 0 g_1 2 0 g_2 2 0 g_2 2 0 f_1 1 0 g_5 2 0 g_4 2 0 f_0 1 0 f_0 1 0 f_3 1 0 f_4 1 0 f_1 1 0 f_5 1 0 f_3 1 0 g_3 s x y f_2 y false f_2 x g_2 x x false g_2 s x y g_2 x y true a 0 0 g_5 2 0 g_1 2 0 s 1 1 1 g_4 2 0 f_4 1 0 b 2 0 g_3 2 0 f_5 1 0 f_2 1 0 g_3 2 0 f_2 1 0 g_1 2 0 g_2 2 0 g_2 2 1 0 f_1 1 0 g_5 2 0 g_4 2 0 f_0 1 0 f_0 1 0 f_3 1 0 f_4 1 0 f_1 1 0 f_5 1 0 f_3 1 0 g_2 s x y f_1 y false f_1 x g_1 x x false g_1 s x y g_1 x y true a 0 0 g_5 2 0 g_1 2 1 0 s 1 1 1 g_4 2 0 f_4 1 0 b 2 0 g_3 2 0 f_5 1 0 f_2 1 0 g_3 2 0 f_2 1 0 g_1 2 0 g_2 2 0 g_2 2 0 f_1 1 0 g_5 2 0 g_4 2 0 f_0 1 0 f_0 1 0 f_3 1 0 f_4 1 0 f_1 1 0 f_5 1 0 f_3 1 0 g_1 s x y f_0 y false NaTT certifiable-1.6