m:-op(500,yfx,*),prompt1(''),readln(N,F),(F\=10;concat_atom(N,' ',A),term_to_atom(T,A),format('~w = ~d
',[A,T]),m).