h c x y c s z z t w h z c y x t t c x c y t w h x c y z t w h c s y x z t c t w w h c s x c s 0 y z t x h y c s 0 c x z t t c x s x t t x t c t x x t x x t x c 0 c 0 c 0 c 0 c 0 x 2.2 h x c y z t w t c t w w h c x y c s z z t w h z c y x t t c x c y t w t t x t c t x x h c x y c s z z t w t t c x c y t w h c s x c s 0 y z t x t c x s x h c s x c s 0 y z t x h y c s 0 c x z t t c x s x h x c y z t w h c s y x z t c t w w h c x y c s z z t w t c x c y t w h c s x c s 0 y z t x t t c x s x true h x c y z t w h c s y x z t c t w w h c s x c s 0 y z t x h y c s 0 c x z t t c x s x h c x y c s z z t w h z c y x t t c x c y t w true h 3 0 s 1 1 0 t 1 1 c 2 1 2 5854 0 0 29243 h 3 1 2 0 t 1 0 h c s x c s 0 y z t x h y c s 0 c x z t t c x s x h x c y z t w h c s y x z t c t w w h c s x c s 0 y z t x h y c s 0 c x z t t c x s x h x c y z t w h c s y x z t c t w w true 2 1 h 3 0 0 s 1 0 0 1 0 1 1 26229 t 1 1 326625 0 c 2 1 2 24634 24636 0 0 40691 26232 h 3 1 0 0 0 1 0 0 1 0 2 0 0 t 1 0 0 t x x h c s x c s 0 y z t x t t c x s x false h c x y c s z z t w t c x c y t w false h c s x c s 0 y z t x t c x s x false h c x y c s z z t w t t c x c y t w false t t x t c t x x false h x c y z t w t c t w w false NaTT certifiable-1.6