/*
  Test of sum_i/2

  [program = sum_i(1,a),res = 55,count = 15]
  [program = sum_i(0,a),res = 55,count = 15]
  [program = sum_i(a - a,a),res = 55,count = 10]
  [program = 0 + sum_i(0,a),res = 55,count = 8]
  [program = sum_i((3 - 3) * a,a) - 0,res = 55,count = 7]
  [program = sum_i(0,a) * 1,res = 55,count = 7]
  [program = sum_i((3 - 3) * a,a) + 0,res = 55,count = 6]
  [program = sum_i(1,a) + 0,res = 55,count = 6]
  [program = sum_i(6,5) * sum_i(0,a),res = 55,count = 6]
  [program = 1 * sum_i(sum_i(a * 5 + a,5),a),res = 55,count = 6]
  [program = 1 * sum_i(1,a),res = 55,count = 6]
  [program = sum_i(0,sum_i(a,a)),res = 55,count = 5]
  [program = 5 + (sum_i(1,a) - 5),res = 55,count = 5]
  [program = sum_i(0 * 6,a),res = 55,count = 4]
  [program = sum_i(1,a) * 1,res = 55,count = 4]
  [program = sum_i(sum_i(0,a),sum_i(0,a)),res = 55,count = 3]
  [program = sum_i(a * 0,a),res = 55,count = 3]
  [program = 4 * 0 + sum_i(0,a),res = 55,count = 3]
  [program = sum_i(5 * sum_i(2,a) + (0 * a + a),2) * sum_i((3 - 3) * a,a),res = 55,count = 3]
  [program = sum_i(sum_i(a,sum_i(6,4)),a),res = 55,count = 2]
  [program = sum_i(sum_i(a,3 - sum_i(6,5) * 6),a),res = 55,count = 2]
  [program = sum_i(sum_i(a,1),a),res = 55,count = 2]
  [program = sum_i(a - a - 0,a),res = 55,count = 2]
  [program = sum_i(3 - 3,a),res = 55,count = 2]
  [program = sum_i(0 - (0 - 1),a),res = 55,count = 2]
  [program = sum_i(1,sum_i(a,a)),res = 55,count = 2]
  [program = sum_i(1,a * sum_i(6 + a,a)),res = 55,count = 2]
  [program = sum_i(1,a) - 0,res = 55,count = 2]
  [program = a - a + sum_i((3 - 3) * a,a),res = 55,count = 2]
  [program = sum_i(sum_i(0,1),a) * sum_i(0,1),res = 55,count = 2]
  [program = sum_i(sum_i(sum_i(sum_i(6,2),a),0 * 5),a),res = 55,count = 1]
  [program = sum_i(sum_i(5 - 3,0),a),res = 55,count = 1]
  [program = sum_i(sum_i(5 * sum_i(2,a) + (0 * a + a),2),a),res = 55,count = 1]
  [program = sum_i(sum_i(6 + (2 + sum_i(sum_i(a,a),a)),a),a * 1),res = 55,count = 1]
  [program = sum_i(sum_i(a * sum_i(sum_i(a,a),1) * a,a),1 * a),res = 55,count = 1]
  [program = sum_i(sum_i(a,sum_i(6,4)),0 + a),res = 55,count = 1]
  [program = sum_i(sum_i(a,sum_i(6,4)),a * sum_i(sum_i(0,3),3)),res = 55,count = 1]
  [program = sum_i(sum_i(a,sum_i(4,1)),1 * a),res = 55,count = 1]
  [program = sum_i(sum_i(6,5),a),res = 55,count = 1]
  [program = sum_i(sum_i(5,sum_i(a * a,a)),a),res = 55,count = 1]
  [program = sum_i(sum_i(3,sum_i(a - a + a + 3,a)),a),res = 55,count = 1]
  [program = sum_i(a - sum_i(6,5) * a,sum_i(a,a)),res = 55,count = 1]
  [program = sum_i(a - sum_i(6,5) * a,a),res = 55,count = 1]
  [program = sum_i(a - a,a * 1),res = 55,count = 1]
  [program = sum_i(a - a,1 * a),res = 55,count = 1]
  [program = sum_i(2 - 2,a),res = 55,count = 1]
  [program = sum_i((0 + 5 * 5) * (a * 0),a),res = 55,count = 1]
  [program = sum_i(4 * 0,sum_i(a,a)),res = 55,count = 1]
  [program = sum_i(0 * (sum_i(5,a) * sum_i(2,a)),a),res = 55,count = 1]
  [program = sum_i(0 * a,a),res = 55,count = 1]
  [program = sum_i(1,0 + a),res = 55,count = 1]
  [program = sum_i(1,(2 - 1 - a + a) * a),res = 55,count = 1]
  [program = sum_i(0,a + 6 * 0),res = 55,count = 1]
  [program = sum_i(0,0 + a),res = 55,count = 1]
  [program = sum_i(0,(2 - 1 - a + a) * a),res = 55,count = 1]
  [program = sum_i(0,1 * a),res = 55,count = 1]
  [program = a - a + sum_i(0,a),res = 55,count = 1]
  [program = sum_i(a,sum_i(5,3)) * sum_i(0,a),res = 55,count = 1]

  resultMap = [55 = 58]

*/
data(sum_i_test,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [[[I],s(I)] : I in 1..6],
  Ops = [+,-,*,sum_i], 
  Vars = ['a'],
  Constants = 0..6,
  Unknown = [10],
  MaxSize = 11,
  Params = new_map([debug=false,num_gens=10]).  


s(N) = sum([I : I in 1..N]).