div 0 y 0 div x y quot x y y quot 0 s y z 0 quot s x s y z quot x y z quot x 0 s z s div x s z 2.2 quot x 0 s z div x s z quot s x s y z quot x y z div x y quot x y y true div x y quot x y y quot s x s y z quot x y z quot x 0 s z div x s z true div 2 1 0 s 1 1 1 div 2 0 0 0 1 quot 3 0 quot 3 1 0 quot x 0 s z div x s z div x y quot x y y quot x 0 s z div x s z div x y quot x y y true div 2 2 1 s 1 1 div 2 0 0 0 3 quot 3 0 quot 3 2 0 NaTT certifiable-1.6