set(arithmetic).
assign(domain_size,10).
assign(max_models,-1).

list(distinct).
  [0,1,n].
  [a,0].
  [f,0].
end_of_list.

formulas(assumptions).  
 (a*100000 + b*10000 + c*1000 + d*100 + e*10 +f) * n = 
  f*100000 + e*10000 + d*1000 + c*100 + b*10 + a.
end_of_list.
