/*

  Mama's age problem in Picat.

  Mamma's Age from "Amusements in Mathematics, Dudeney", number 40.
  """
  Tommy: "How old are you, mamma?"
  Mamma: "Our three ages add up to exactly seventy years."
  Tommy: "And how old are you, papa?"
  Papa: "Just six times as old as you, my son."
  Tommy: "Shall I ever be half as old as you, papa?"
  Papa: "Yes, Tommy; and when that happens our three ages will add up to
  exactly twice as much as today."

  Can you find the age of Mamma?
  """

  Model created by Hakan Kjellerstrand, hakank@gmail.com
  See also my Picat page: http://www.hakank.org/picat/

*/

import cp.

main => go.

go =>
        
   mama([M,P,T]),

   MY = M // 12,
   PY = P // 12,
   TY = T // 12,
   writeln([mama=M=MY,papa=P=PY,tommy=T=TY]).


mama(LD) =>
   LD = [M,P,T],
   LD :: 0..500,
   M + P + T #= 70 * 12,
   6 * T #= P,
   (T + I) * 2 #= P + I,
   M + I + P + I + T + I #= 2 * (M + P + T),

   solve(LD).