procedure mnodd(a, b, c)
   local i, n, m

   if a % gcd(b, c) ~= 0 then fail

   every i := seq() do {	          # scary � be a cowboy
      n := a + b * i
      if (n % c) ~= 0 then next
      m := n / c
      write("n:=", c, "*i�", c � i)
      write("m:=", b, "*i�", b � m)
      exit()
      }

end

procedure mneven(a, b, c, j)
   local i, n, m

   if a % gcd(b, c) ~= 0 then fail

   every i := seq() do {	          # scary � be a cowboy
      n := a + b * i
      if (n % c) ~= 0 then next
      m := n / c
      write("n:=", c, "*i+", j / 2)
      write("m:=", b, "*i+1")
      exit()
      }

end