g tt x y g swap x y s x s y swap 0 y tt swap s x y swap x s y 2.2 g tt x y g swap x y s x s y g tt x y swap x y swap s x y swap x s y true g tt x y g swap x y s x s y true Failed! NaTT certifiable-1.6