main(a){while(~scanf("%d",&a))printf("%d = 6 * %d%2c 1\n",a,~a/-6,45+~a%6);}