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