g tt x y g swap x y s x 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 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 y true Failed! NaTT certifiable-1.6