/*
  From https://twitter.com/preshtalwalkar/status/1636233518106779652
  """
  1 + 4 = 5
  2 + 5 = 12
  3 + 6 = 21
  8 + 11 = ??
  """

AllGood:
[program = A * (B + 1),res = 96,count = 96]
[program = A * (1 + B),res = 96,count = 90]
[program = (1 + B) * A,res = 96,count = 67]
[program = (B + 1) * A,res = 96,count = 61]
[program = A * (A + 4),res = 96,count = 53]
[program = (1 + B) * (A / 1),res = 96.0,count = 52]
[program = (4 + A) * A,res = 96,count = 49]
[program = 1 * A * (1 + B),res = 96,count = 47]
[program = A / 1 * (1 + B),res = 96.0,count = 38]
[program = (B + 1) * (A * A / A),res = 96.0,count = 35]
[program = (B + 1) * (A / 1),res = 96.0,count = 31]
[program = A * 1 * (B + 1),res = 96,count = 31]
[program = (1 + B) * (1 * A),res = 96,count = 29]
[program = A * 1 * (1 + B),res = 96,count = 28]
[program = A + A * (3 + A),res = 96,count = 26]
[program = A + B * A,res = 96,count = 25]
[program = A * B + A,res = 96,count = 23]
[program = A * (3 + A) + A,res = 96,count = 22]
[program = A * 1 * (A + 4),res = 96,count = 20]
[program = A * (4 + A),res = 96,count = 19]
[program = (1 + B) * (A * (A / A)),res = 96.0,count = 17]
[program = A * (A / A) * (1 + B),res = 96.0,count = 17]
[program = B * A + A,res = 96,count = 16]
[program = A / 1 + B * A,res = 96.0,count = 13]
[program = A * B + A / 1,res = 96.0,count = 10]
[program = A * 1 * (4 + A),res = 96,count = 10]
[program = (4 + A) * (A / 1),res = 96.0,count = 9]
[program = A * A / A * (B + 1),res = 96.0,count = 7]
[program = A / 1 + A * (3 + A),res = 96.0,count = 6]
[program = (1 + B) * (A * 1),res = 96,count = 4]
[program = (B * A + A) / 1 * 1,res = 96.0,count = 3]
[program = A * A / A * (1 + B),res = 96.0,count = 3]
[program = A * A / A + B * A,res = 96.0,count = 2]
[program = (A - 8 / A * (B - B) / 8) * (1 + B),res = 96.0,count = 2]
[program = (B + 1) * (1 * A),res = 96,count = 2]
[program = (4 + A) * (A * (A / A)),res = 96.0,count = 2]
[program = (4 + A) * (1 * A),res = 96,count = 2]
[program = (1 + B) / (1 / A),res = 96.0,count = 1]
[program = B * A - (5 + (3 - (8 + A))),res = 96,count = 1]
[program = A * (3 + A) - (5 + (3 - (8 + A))),res = 96,count = 1]
[program = B + (A - B) + A * (3 + A),res = 96,count = 1]
[program = (A / 1 + 3) * A * 1 + A * 1,res = 96.0,count = 1]
[program = (A / 1 + 3) * A * 1 + A,res = 96.0,count = 1]
[program = A * A + 4 * A,res = 96,count = 1]
[program = 1 * A + A * (3 + A),res = 96,count = 1]
[program = A + (A / 1 + 3) * A * 1,res = 96.0,count = 1]
[program = (B * A + A) / 1 * ((B - (6 - B) - A) / A),res = 96.0,count = 1]
[program = A / 1 * (B + 1),res = 96.0,count = 1]
[program = (B * (B - 3) + A) * 1,res = 96,count = 1]
[program = (B + 1) * (A * (A / A)),res = 96.0,count = 1]
[program = (A + 4) * (A * 1),res = 96,count = 1]
[program = (A + 4) * (1 * A),res = 96,count = 1]
[program = (A + 4) * A,res = 96,count = 1]
[program = (4 + A) * (A * 1),res = 96,count = 1]
[program = A * (A / A) * (B + 1),res = 96.0,count = 1]

resultMap = [96 = 31,96.0 = 24]



*/
data(mind_your_decision,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [ [[1,4],5],
           [[2,5],12],
           [[3,6],21]
          ],
  Ops = [+,-,*,/],  
  Constants = 1..10,
  Vars = ['A','B'],
  Unknown = [8,11],  
  MaxSize = 51,
  Params = new_map([num_gens=100]).