/*
  Catalan numbers
  http://hakank.org/jgap/catalan.conf
  Cf catalan.pi
  table
  catalan1(0) = 1.
  catalan1(1) = 1.
  catalan1(N) = sum([ catalan1(I)*catalan1(N-I) : I in 1..N-1]) :- N > 1.
  (Note the sum/1 in this function).


  * Ops: +,-,*,sum_i
    Interrupted after 6hours20minutes:
    gen = 28352  (time: 140.879s)
    results_best = [[3,sum_i(1 + (1 + (1 + (sum_i(0,1) - A))),sum_i(1,A) - A - A)]]



  
*/
data(catalan,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  % member(N,1..5),
  % println(n=N),
  % make_seq([1,1,2,5,14,42,132,429,1430,4862,16796,58786,208012],N,Data,Unknown,Vars),
  % make_seq([1,1,2,5,14,42,132],N,Data,Unknown,Vars),
  make_point_seq([1,1,2,5,14,42],Data,Unknown,Vars),    
  println(data=Data),
  % Ops = [+,-,*,/,mod,if_then_else,==,!=],
  Ops = [+,-,*,sum_i],  
  Constants = 0..1,
  MaxSize = 15,
  Params = new_map([
                    init_size=10,
                    remove_dups=true
                   ]).