mult(0,0,0).
mult(0,1,0).
mult(0,2,0).
mult(0,3,0).
mult(0,4,0).
mult(0,5,0).
mult(0,6,0).
mult(0,7,0).
mult(0,8,0).
mult(0,9,0).
mult(0,10,0).
mult(1,1,1).
mult(1,2,2).
mult(1,3,3).
mult(1,4,4).
mult(1,5,5).
mult(1,6,6).
mult(1,7,7).
mult(1,8,8).
mult(1,9,9).
mult(1,10,10).
mult(2,2,4).
mult(2,3,6).
mult(2,4,8).
mult(2,5,10).
mult(2,6,12).
mult(2,7,14).
mult(2,8,16).
mult(2,9,18).
mult(2,10,20).
mult(3,3,9).
mult(3,4,12).
mult(3,5,15).
mult(3,6,18).

% mult(0,0,0).
% mult(1,0,0).
% mult(2,0,0).
% mult(3,0,0).
% mult(4,0,0).
% mult(5,0,0).
% mult(6,0,0).
% mult(7,0,0).
% mult(8,0,0).
% mult(9,0,0).
% mult(10,0,0).
% mult(1,1,1).
% mult(2,1,2).
% mult(3,1,3).
% mult(4,1,4).
% mult(5,1,5).
% mult(6,1,6).
% mult(7,1,7).
% mult(8,1,8).
% mult(9,1,9).
% mult(10,1,10).
% mult(2,2,4).
% mult(3,2,6).
% mult(4,2,8).
% mult(5,2,10).
% mult(6,2,12).
% mult(7,2,14).
% mult(8,2,16).
% mult(9,2,18).
% mult(10,2,20).
% mult(3,3,9).
% mult(4,3,12).
% mult(5,3,15).
% mult(6,3,18).
