sup(0,A) :- A = "0".
sup(1,A) :- A = "1".
sup(2,A) :- A = "2".
sup(3,A) :- A = "3".
sup(4,A) :- A = "4".
sup(5,A) :- A = "5".
sup(6,A) :- A = "6".
sup(7,A) :- A = "7".
sup(8,A) :- A = "8".
sup(9,A) :- A = "9".
sup(10,A) :- A = "10".
sup(11,A) :- A = "11".
sup(12,A) :- A = "12".
sup(13,A) :- A = "13".
sup(14,A) :- A = "14".


sub(0,A) :- A = "0".
sub(1,A) :- A = "1".
sub(2,A) :- A = "2".
sub(3,A) :- A = "3".
sub(4,A) :- A = "4".
sub(5,A) :- A = "5".
sub(6,A) :- A = "6".
sub(7,A) :- A = "7".
sub(8,A) :- A = "8".
sub(9,A) :- A = "9".
sub(10,A) :- A = "10".
sub(11,A) :- A = "11".
sub(12,A) :- A = "12".
sub(13,A) :- A = "13".
sub(14,A) :- A = "14".

sup(A) :- A = "123456789".

sub(A) :- A = "0123456789".