m:-between(0,127,A),between(0,127,B),A/\B<1,\+format("~d ~d:~d
",[A,B,A+B]).