/*
  A + B + A * B

  From my Eureqa model a_b_g4g.fxp ("2013-10-24 Celebration of Mind").

  AllGood:
  [program = A * B + (A + B),res = 7,count = 1]

  resultMap = [7 = 1]

  Cf symbolic_regression_nartoo_meon_planning.pi which has the same solution,
  though with different data.



*/
import util.

data(a_b_g4g,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  data(Data),
  Ops = [+,-,*,/,pow2,pow3,pow4,step],  
  Constants = 1..10,
  Vars = ["A","B"],
  MaxSize = 31,
  Unknown = [1,3], 
  Params = new_map([init_size=10,
                    num_gens=100,
                    no_restart=true
                    ]).

data(Data) =>
Data = [ [[A,B],C] : [A,B,C] in chunks_of([
                                           2,2,8,
                                           2,3,11,
                                           2,4,14,
                                           2,5,17,
                                           2,6,20,
                                           2,7,23,
                                           2,8,26,
                                           2,9,29,
                                           2,10,32,
                                           2,11,35,
                                           2,12,38,
                                           2,13,41,
                                           2,14,44,
                                           2,15,47,
                                           2,16,50,
                                           2,17,53,
                                           2,18,56,
                                           2,19,59,
                                           2,20,62,
                                           3,3,15,
                                           3,4,19,
                                           3,5,23,
                                           3,6,27,
                                           3,7,31,
                                           3,8,35,
                                           3,9,39,
                                           3,10,43,
                                           3,11,47,
                                           3,12,51,
                                           3,13,55,
                                           3,14,59,
                                           3,15,63,
                                           3,16,67,
                                           3,17,71,
                                           3,18,75,
                                           3,19,79,
                                           3,20,83,
                                           4,4,24,
                                           4,5,29,
                                           4,6,34,
                                           4,7,39,
                                           4,8,44,
                                           4,9,49,
                                           4,10,54,
                                           4,11,59,
                                           4,12,64,
                                           4,13,69,
                                           4,14,74,
                                           4,15,79,
                                           4,16,84,
                                           4,17,89,
                                           4,18,94,
                                           4,19,99,
                                           4,20,104,
                                           5,5,35,
                                           5,6,41,
                                           5,7,47,
                                           5,8,53,
                                           5,9,59,
                                           5,10,65,
                                           5,11,71,
                                           5,12,77,
                                           5,13,83,
                                           5,14,89,
                                           5,15,95,
                                           5,16,101,
                                           5,17,107,
                                           5,18,113,
                                           5,19,119,
                                           5,20,125,
                                           6,6,48,
                                           6,7,55,
                                           6,8,62,
                                           6,9,69,
                                           6,10,76,
                                           6,11,83,
                                           6,12,90,
                                           6,13,97,
                                           6,14,104,
                                           6,15,111,
                                           6,16,118,
                                           6,17,125,
                                           6,18,132,
                                           6,19,139,
                                           6,20,146,
                                           7,7,63,
                                           7,8,71,
                                           7,9,79,
                                           7,10,87,
                                           7,11,95,
                                           7,12,103,
                                           7,13,111,
                                           7,14,119,
                                           7,15,127,
                                           7,16,135,
                                           7,17,143,
                                           7,18,151,
                                           7,19,159,
                                           7,20,167,
                                           8,8,80,
                                           8,9,89,
                                           8,10,98,
                                           8,11,107,
                                           8,12,116,
                                           8,13,125,
                                           8,14,134,
                                           8,15,143,
                                           8,16,152,
                                           8,17,161,
                                           8,18,170,
                                           8,19,179,
                                           8,20,188,
                                           9,9,99,
                                           9,10,109,
                                           9,11,119,
                                           9,12,129,
                                           9,13,139,
                                           9,14,149,
                                           9,15,159,
                                           9,16,169,
                                           9,17,179,
                                           9,18,189,
                                           9,19,199,
                                           9,20,209,
                                           10,10,120,
                                           10,11,131,
                                           10,12,142,
                                           10,13,153,
                                           10,14,164,
                                           10,15,175,
                                           10,16,186,
                                           10,17,197,
                                           10,18,208,
                                           10,19,219,
                                           10,20,230,
                                           11,11,143,
                                           11,12,155,
                                           11,13,167,
                                           11,14,179,
                                           11,15,191,
                                           11,16,203,
                                           11,17,215,
                                           11,18,227,
                                           11,19,239,
                                           11,20,251,
                                           12,12,168,
                                           12,13,181,
                                           12,14,194,
                                           12,15,207,
                                           12,16,220,
                                           12,17,233,
                                           12,18,246,
                                           12,19,259,
                                           12,20,272,
                                           13,13,195,
                                           13,14,209,
                                           13,15,223,
                                           13,16,237,
                                           13,17,251,
                                           13,18,265,
                                           13,19,279,
                                           13,20,293,
                                           14,14,224,
                                           14,15,239,
                                           14,16,254,
                                           14,17,269,
                                           14,18,284,
                                           14,19,299,
                                           14,20,314,
                                           15,15,255,
                                           15,16,271,
                                           15,17,287,
                                           15,18,303,
                                           15,19,319,
                                           15,20,335,
                                           16,16,288,
                                           16,17,305,
                                           16,18,322,
                                           16,19,339,
                                           16,20,356,
                                           17,17,323,
                                           17,18,341,
                                           17,19,359,
                                           17,20,377,
                                           18,18,360,
                                           18,19,379,
                                           18,20,398,
                                           19,19,399,
                                           19,20,419,
                                           20,20,440
                                          ],
                                          3)].