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