/*
  Lorenz equation
  http://en.wikipedia.org/wiki/Lorenz_attractor
 
  Cf lorenz.conf

*/
import util.
data(puzzle2,Data,Vars,Unknown,Ops,Constants,MaxSize,Params) :-
  Data = [ [[A,B], C] : [A,B,C] in  chunks_of([
 8.331,13.291,18.063,
 8.810,13.944,18.706,
 9.305,14.577,19.451,
 9.810,15.174,20.298,
10.322,15.718,21.250,
10.834,16.192,22.303,
11.338,16.577,23.450,
11.826,16.851,24.681,
12.289,16.996,25.980,
12.717,16.994,27.326,
13.098,16.832,28.692,
13.423,16.500,30.050,
13.680,15.996,31.366,
13.860,15.324,32.607,
13.956,14.497,33.739,
13.961,13.535,34.733,
13.874,12.464,35.563,
13.694,11.316,36.212,
13.424,10.124,36.670,
13.069, 8.923,36.937,
12.639, 7.745,37.018,
12.143, 6.619,36.926,
11.593, 5.567,36.681,
11.002, 4.606,36.302,
10.382, 3.746,35.812,
 9.745, 2.994,35.233,
 9.103, 2.350,34.588,
 8.465, 1.809,33.893,
 7.841, 1.365,33.166,
 7.237, 1.010,32.420,
 6.660, 0.735,31.666,
 6.113, 0.529,30.911,
 5.599, 0.383,30.163,
 5.122, 0.289,29.425,
 4.681, 0.237,28.701,
 4.277, 0.219,27.992,
 3.910, 0.231,27.301,
 3.578, 0.265,26.626,
 3.280, 0.318,25.970,
 3.015, 0.385,25.330,
 2.780, 0.463,24.708,
 2.574, 0.549,24.103,
 2.394, 0.642,23.514,
 2.240, 0.741,22.940,
 2.109, 0.843,22.383,
 1.999, 0.949,21.840,
 1.909, 1.059,21.312,
 1.837, 1.172,20.798,
 1.782, 1.288,20.299,
 1.743, 1.408,19.814,
 1.718, 1.533,19.342,
 1.707, 1.662,18.884,
 1.709, 1.797,18.439,
 1.724, 1.939,18.008,
 1.750, 2.088,17.590,
 1.788, 2.246,17.186,
 1.837, 2.413,16.796,
 1.897, 2.591,16.419,
 1.969, 2.782,16.057,
 2.052, 2.986,15.710,
 2.146, 3.205,15.378,
 2.253, 3.440,15.062,
 2.372, 3.694,14.762,
 2.504, 3.967,14.481,
 2.650, 4.262,14.218,
 2.811, 4.581,13.975,
 2.987, 4.925,13.755,
 3.179, 5.296,13.559,
 3.390, 5.697,13.389,
 3.618, 6.130,13.248,
 3.867, 6.596,13.140,
 4.137, 7.097,13.068,
 4.430, 7.635,13.038,
 4.747, 8.212,13.052,
 5.089, 8.827,13.119,
 5.457, 9.483,13.243,
 5.854,10.177,13.434,
 6.279,10.909,13.698,
 6.734,11.675,14.044,
 7.218,12.470,14.483,
 7.731,13.289,15.024,
 8.273,14.121,15.677,
 8.842,14.953,16.452,
 9.433,15.770,17.358,
10.044,16.554,18.401,
10.668,17.279,19.586,
11.297,17.921,20.910,
11.923,18.451,22.370,
12.534,18.836,23.951,
13.116,19.047,25.634,
13.655,19.055,27.388,
14.136,18.837,29.176,
14.543,18.378,30.953,
14.860,17.672,32.668,
15.073,16.729,34.270,
15.171,15.568,35.707,
15.147,14.225,36.935,
14.996,12.743,37.920,
14.720,11.174,38.640,
14.325, 9.573,39.087,
13.821, 7.991,39.269
  
  ],3)],
  Ops = [+,/,*,-,exp,log,sqrt,pow_mod2,if_less],   
  Constants = [frand(-100,100) : _ in 1..10],
  Unknown = [10.044,16.554],
  Vars = ['X','Y'],
  MaxSize = 21,
  Params = new_map([
                    approx=1,
                    init_size=1000
                   ]).