/*
  http://hakank.org/jgap/mysterious.conf

  [program = A * B + C,res = 1031,count = 8]
  [program = B * A + C,res = 1031,count = 6]
  [program = C + B * A,res = 1031,count = 5]
  [program = A * B - (0 - C),res = 1031,count = 4]
  [program = C + A * B,res = 1031,count = 4]

  resultMap = [1031 = 5]


*/
data(mysterious,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data =  [
[[1, 23,42],65],
[[2, 24,43],91],
[[3, 25,44],119],
[[4, 26,45],149],
[[5, 27,46],181],
[[6, 28,47],215],
[[7, 29,48],251],
[[8, 30,49],289],
[[9, 31,50],329],
[[10,32,51],371],
[[11,33,52],415],
[[12,34,53],461],
[[13,35,54],509],
[[14,36,55],559],
[[15,37,56],611],
[[16,38,57],665],
[[17,39,58],721],
[[18,40,59],779],
[[19,41,60],839],
[[20,42,61],901],
[[21,43,62],965]
  ],

  Unknown = [22,44,63], 
  Vars = ['A','B','C'],
  Ops = [+,-,*,/],
  Constants = 0..10,
  MaxSize = 3,
  Params = new_map().