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