{ 3k==m , 2l==2m + n , 8k==2n }