m:-readln([A]),B is 41+A mod 3*2,format("~d = 6 * ~0f ~c 1 ",[A,A/6,B]),m.