WARNING: Excluded non-linear constraints:[C*T+U>=C*R+S+1]
WARNING: Excluded non-linear constraints:[C*T+U>=C*R+S+1]
WARNING: Excluded non-linear constraints:[C*R+S>=C*T+U]
WARNING: Excluded non-linear constraints:[C*T+U>=C*R+S+1]
warning: Ignored call to f146/23 in equation f137/23 
warning: Ignored call to f146/23 in equation f137/23 
warning: Ignored call to f146/23 in equation f137/23 
warning: Ignored call to f146/23 in equation f136/23 
warning: Ignored call to f146/23 in equation f135/23