div X e i X i div X Y div Y X div div X Y Z div Y div i X Z 2.2 div div X Y Z div Y div i X Z div X e i X div div X Y Z div i X Z i div X Y div Y X div div X Y Z i X true div div X Y Z i X i div X Y div Y X div div X Y Z div i X Z div X e i X div div X Y Z div Y div i X Z true div 2 1 21239 div 2 1 2 21240 i 1 1 0 e 0 1 i 1 1 0 div X e i X div div X Y Z div Y div i X Z i div X Y div Y X NaTT certifiable-1.6