p((30,21),(0));goodness : 19.5145 distance to original : 512 time need : 4 greatness : 4 idv : 1
p((21,20),(1));goodness : 19.5526 distance to original : 511 time need : 4 greatness : 4 idv : 2
conc(p((15,3),(1)),p((7,15),(1)));goodness : 19.5699 distance to original : 510 time need : 9 greatness : 9 idv : 112
for(x1,{(-11,-7)},fun(x2,{(x1,2,-1),(-2,x1,1)},conc(p((1,x2),(1)),p((26,23),(1)))));goodness : 19.5806 distance to original : 508 time need : 81 greatness : 19 idv : 520
for(x1,{(30,14)},p((9,x1),(1)));goodness : 20.1455 distance to original : 495 time need : 69 greatness : 7 idv : 618
for(x1,{(-3,0)},fun(x2,{(x1,20,-1),(0,x1,1)},for(x3,{(30,x2)},p((9,x3),(1)))));goodness : 20.4922 distance to original : 481 time need : 529 greatness : 17 idv : 1098
fun(x1,{(1,0,1)},for(x2,{(30,x1)},p((9,x2),(1))));goodness : 20.6872 distance to original : 481 time need : 129 greatness : 11 idv : 1126
for(x1,{(30,0)},p((9,x1),(1)));goodness : 20.7061 distance to original : 481 time need : 125 greatness : 7 idv : 2383
fun(x1,{(-15,0,1)},for(x2,{(39,x1)},p((9,x2),(1))));goodness : 20.7147 distance to original : 480 time need : 165 greatness : 11 idv : 2580
fun(x1,_,for(x2,{(39,x1)},p((9,x2),(1))));goodness : 20.7288 distance to original : 480 time need : 162 greatness : 8 idv : 3194
for(x1,{(39,0)},p((9,x1),(1)));goodness : 20.7336 distance to original : 480 time need : 161 greatness : 7 idv : 3280
for(x1,{(33,0)},p((9,x1),(1)));goodness : 20.7439 distance to original : 480 time need : 137 greatness : 7 idv : 5620
for(x1,{(5,6)},fun(x2,{(x1,2,-1),(1,x1,1)},for(x3,{(0,0)},fun(x4,{(x3,11,-1),(-6,x3,1)},fun(x5,{(-4,2,x4),(-1,-4,1)},fun(x6,{(-3,-4,-1),(-5,0,1)},for(x7,{(36,x6)},p((x2,x7),(1)))))))));goodness : 20.8895 distance to original : 472 time need : 261 greatness : 41 idv : 6429
for(x1,{(5,6)},fun(x2,{(x1,2,-1),(1,x1,1)},for(x3,{(0,0)},fun(x4,{(x3,11,-1),(-6,x3,1)},fun(x5,{(-4,-1,x4),(-1,-4,1)},fun(x6,{(-3,-4,-1),(-5,0,1)},for(x7,{(36,x2)},p((x2,x7),(1)))))))));goodness : 21.2301 distance to original : 464 time need : 293 greatness : 41 idv : 6741
for(x1,{(-5,-1)},fun(x2,{(x1,9,-1),(-2,x1,1)},for(x3,{(-1,1)},conc(conc(fun(x4,{(x3,-4,-1),(0,x3,-16)},p((3,1),(1))),fun(x5,{(9,0,0)},for(x6,{(53,x3)},p((x2,x6),(1))))),p((-10,14),(x3))))));goodness : 25.4965 distance to original : 352 time need : 3611 greatness : 41 idv : 7101
conc(for(x1,{(-5,-1)},fun(x2,{(x1,9,-1),(-2,x1,1)},for(x3,{(-1,1)},conc(conc(fun(x4,{(x3,-4,-1),(0,x3,-16)},p((3,1),(1))),fun(x5,{(9,0,0)},for(x6,{(53,x3)},p((x2,x6),(1))))),p((-10,14),(x3)))))),p((17,21),(1)));goodness : 25.5258 distance to original : 351 time need : 3616 greatness : 46 idv : 7762
for(x1,{(-5,-1)},fun(x2,{(x1,9,-1),(-2,x1,1)},for(x3,{(-1,1)},conc(conc(fun(x4,{(x3,-7,-1),(-17,x3,-16)},p((3,1),(1))),for(x5,{(53,x3)},p((x2,x5),(1)))),p((-10,14),(x3))))));goodness : 25.5617 distance to original : 352 time need : 3551 greatness : 37 idv : 8011
conc(for(x1,{(-5,-1)},fun(x2,{(x1,9,-1),(-2,x1,1)},conc(conc(fun(x3,{(-1,-7,-1),(-17,-1,-16)},p((3,1),(1))),for(x4,{(53,-1)},fun(x5,{(9,0,0)},p((x2,x4),(1))))),p((-10,14),(-1))))),p((9,42),(6)));goodness : 26.3428 distance to original : 352 time need : 2331 greatness : 43 idv : 8333
conc(for(x1,{(-5,-1)},fun(x2,{(x1,9,-1),(-2,x1,1)},conc(conc(fun(x3,{(-1,-7,-1),(-31,-1,-16)},p((3,1),(1))),for(x4,{(53,-1)},p((x2,x4),(1)))),p((-10,14),(-1))))),p((9,42),(6)));goodness : 27.1584 distance to original : 352 time need : 1231 greatness : 39 idv : 8442
conc(for(x1,{(-5,-1)},fun(x2,{(x1,9,-1),(-2,x1,1)},conc(fun(x3,{(9,0,0)},for(x4,{(53,-1)},p((x2,x4),(1)))),p((-10,14),(-1))))),p((9,77),(-8)));goodness : 27.2472 distance to original : 352 time need : 1191 greatness : 31 idv : 8807
conc(for(x1,{(-5,-1)},fun(x2,{(x1,9,-1),(-2,x1,1)},conc(for(x3,{(53,-1)},p((x2,x3),(1))),p((-10,14),(-1))))),p((9,77),(-8)));goodness : 27.2918 distance to original : 352 time need : 1171 greatness : 27 idv : 8871
conc(for(x1,{(-5,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(fun(x3,{(9,0,0)},for(x4,{(53,-1)},p((x2,x4),(1)))),p((-10,14),(-1))))),p((9,77),(-8)));goodness : 59.1436 distance to original : 128 time need : 3798 greatness : 31 idv : 9484
conc(for(x1,{(-5,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(53,-1)},p((x2,x3),(1))),p((-10,14),(-1))))),p((9,77),(-8)));goodness : 59.5096 distance to original : 128 time need : 3734 greatness : 27 idv : 9779
conc(for(x1,{(8,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(conc(for(x3,{(53,-1)},p((x2,x3),(1))),fun(x4,{(-8,15,-1),(-13,-5,1)},fun(x5,{(19,x4,0)},fun(x6,{(x4,40,-2),(-14,-3,11)},p((14,8),(x5)))))),p((-10,14),(-1))))),p((9,77),(-8)));goodness : 88.2613 distance to original : 34 time need : 7430 greatness : 50 idv : 9932
fun(x1,{(0,1,1)},conc(for(x2,{(8,-20)},fun(x3,{(x2,17,-1),(-2,x2,1)},conc(conc(for(x4,{(53,x1)},p((x3,x4),(1))),fun(x5,{(-8,15,-1),(-13,-5,1)},fun(x6,{(19,x5,0)},fun(x7,{(x5,40,-2),(-14,-3,11)},p((14,8),(x6)))))),p((-10,14),(-1))))),p((9,77),(-8))));goodness : 88.8257 distance to original : 34 time need : 7318 greatness : 54 idv : 10065
fun(x1,{(0,1,1)},conc(for(x2,{(8,-20)},fun(x3,{(x2,17,-1),(-2,x2,1)},conc(conc(for(x4,{(53,x1)},p((x3,x4),(1))),fun(x5,{(-8,15,-1),(-13,-5,1)},fun(x6,{(19,x5,x1)},p((14,8),(x6))))),p((-10,14),(-1))))),p((9,77),(-8))));goodness : 91.0332 distance to original : 34 time need : 7115 greatness : 47 idv : 10134
fun(x1,{(0,1,1)},conc(for(x2,{(8,-20)},fun(x3,{(x2,17,-1),(-2,x2,1)},conc(conc(for(x4,{(48,x1)},p((x3,x4),(1))),fun(x5,{(-8,15,-1),(-13,-5,1)},fun(x6,{(19,x5,0)},fun(x7,{(x5,40,-2),(-14,-3,11),(-3,5,-1)},p((14,8),(x6)))))),p((-10,14),(-1))))),p((9,77),(-8))));goodness : 92.6355 distance to original : 34 time need : 6825 greatness : 57 idv : 10190
fun(x1,{(0,1,1)},conc(for(x2,{(8,-20)},fun(x3,{(x2,17,-1),(-2,x2,1)},conc(conc(for(x4,{(36,x1)},p((x3,x4),(1))),fun(x5,{(-8,15,-1),(-13,-5,1)},fun(x6,{(19,28,0)},fun(x7,{(x5,40,-2),(-14,0,11),(-3,1,-1)},p((14,8),(x6)))))),p((-10,14),(-9))))),p((9,77),(-8))));goodness : 106.349 distance to original : 34 time need : 5433 greatness : 57 idv : 10415
conc(conc(for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(fun(x3,{(9,0,0)},for(x4,{(43,-1)},p((x2,x4),(1)))),p((-10,14),(-1))))),p((9,77),(-8))),for(x5,{(-23,-26)},fun(x6,{(x5,17,-1),(-2,x5,1)},fun(x7,{(9,0,-3)},for(x8,{(53,-1)},p((x6,28),(1)))))));goodness : 184.98 distance to original : 0 time need : 4876 greatness : 53 idv : 10544
conc(conc(for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(43,-1)},p((x2,x3),(1))),p((-10,14),(-1))))),p((9,77),(-8))),for(x4,{(-23,-26)},fun(x5,{(x4,17,-1),(-2,x4,1)},fun(x6,{(9,0,-3)},for(x7,{(60,-1)},p((x5,28),(1)))))));goodness : 185.254 distance to original : 0 time need : 4908 greatness : 49 idv : 10699
conc(conc(for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(fun(x3,{(9,0,0)},for(x4,{(43,-1)},p((x2,x4),(1)))),p((-10,14),(-1))))),p((9,77),(-8))),for(x5,{(-23,-26)},fun(x6,{(27,17,18),(-2,x5,1)},fun(x7,{(9,0,-3)},p((x6,28),(1))))));goodness : 217.014 distance to original : 1 time need : 4008 greatness : 50 idv : 10868
conc(for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(fun(x3,{(9,0,0)},for(x4,{(43,-1)},p((x2,x4),(1)))),p((-10,14),(-1))))),p((9,77),(-8)));goodness : 234.962 distance to original : 0 time need : 3946 greatness : 31 idv : 11021
for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(fun(x3,{(9,0,0)},for(x4,{(43,-1)},p((x2,x4),(1)))),p((-10,14),(-1)))));goodness : 238.039 distance to original : 0 time need : 3941 greatness : 26 idv : 11289
conc(p((26,0),(0)),for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(43,-1)},p((x2,x3),(1))),p((-10,14),(-1))))));goodness : 241.779 distance to original : 0 time need : 3866 greatness : 27 idv : 11650
conc(conc(for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(fun(x3,{(9,0,0)},for(x4,{(33,-1)},p((x2,x4),(1)))),p((-10,14),(-1))))),p((9,78),(-8))),for(x5,{(-23,-26)},fun(x6,{(-2,8,1)},fun(x7,{(9,0,-3)},p((x6,28),(1))))));goodness : 272.777 distance to original : 0 time need : 3196 greatness : 47 idv : 11712
fun(x1,{(1,0,1)},conc(conc(p((7,77),(-8)),for(x2,{(-1,-20)},fun(x3,{(x2,17,-1),(-2,x2,1)},conc(for(x4,{(31,-1)},p((x3,x4),(1))),p((-10,x2),(-1)))))),for(x5,{(-23,-26)},fun(x6,{(x5,17,18),(-2,x5,x1)},p((x6,28),(1))))));goodness : 284.414 distance to original : 1 time need : 2956 greatness : 46 idv : 11714
conc(conc(conc(p((7,77),(-8)),for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-10,x1),(-1)))))),p((24,27),(0))),for(x4,{(-23,-26)},fun(x5,{(x4,17,18),(-2,x4,0)},p((x4,28),(1)))));goodness : 291.8 distance to original : 0 time need : 2957 greatness : 47 idv : 12465
fun(x1,{(1,-8,1)},fun(x2,{(1,0,1)},conc(p((7,77),(x1)),for(x3,{(-1,-20)},fun(x4,{(x3,17,-1),(-2,x3,1)},conc(for(x5,{(31,-1)},p((x4,x5),(1))),p((5,x3),(-1))))))));goodness : 306.373 distance to original : 0 time need : 2914 greatness : 35 idv : 12834
conc(for(x1,{(-1,-20)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-10,14),(x1))))),p((9,77),(-8)));goodness : 314.861 distance to original : 0 time need : 2906 greatness : 27 idv : 12880
conc(conc(conc(p((7,77),(-8)),for(x1,{(-1,-16)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-10,x1),(-1)))))),p((24,27),(0))),for(x4,{(-23,-26)},fun(x5,{(x4,17,18),(-10,x4,0)},p((x4,28),(1)))));goodness : 351.247 distance to original : 0 time need : 2377 greatness : 47 idv : 13508
for(x1,{(19,19)},fun(x2,{(x1,2,-1),(0,x1,1)},conc(conc(p((7,77),(-27)),for(x3,{(-1,-16)},fun(x4,{(x3,17,-1),(-2,x3,1)},conc(for(x5,{(31,-1)},p((x4,x5),(1))),p((-10,x3),(-1)))))),p((24,27),(0)))));goodness : 362.45 distance to original : 0 time need : 2339 greatness : 42 idv : 14782
conc(conc(conc(p((7,77),(-8)),for(x1,{(-1,-16)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-10,x1),(-1)))))),p((24,27),(0))),for(x4,{(-23,-19)},p((x4,28),(15))));goodness : 363.24 distance to original : 0 time need : 2353 greatness : 40 idv : 14950
conc(conc(p((24,27),(0)),for(x1,{(-1,-16)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-10,x1),(-1)))))),for(x4,{(-23,-36)},p((x4,28),(1))));goodness : 365.764 distance to original : 0 time need : 2384 greatness : 35 idv : 15127
conc(conc(p((7,89),(-8)),for(x1,{(-1,-16)},fun(x2,{(x1,17,-7),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-10,x1),(-1)))))),p((24,27),(0)));goodness : 377.216 distance to original : 0 time need : 2331 greatness : 32 idv : 15793
conc(for(x1,{(-1,-16)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-33,x1),(-15))))),p((7,90),(-23)));goodness : 385.208 distance to original : 0 time need : 2326 greatness : 27 idv : 18301
for(x1,{(0,0)},conc(p((0,77),(-2)),for(x2,{(-1,-16)},fun(x3,{(x2,17,-1),(-2,x2,1)},conc(for(x4,{(31,x1)},p((x3,x4),(1))),p((-10,x2),(-14)))))));goodness : 390.168 distance to original : 0 time need : 2263 greatness : 30 idv : 19875
for(x1,{(-1,-16)},fun(x2,{(x1,17,-1),(-2,x1,1)},conc(for(x3,{(31,-1)},p((x2,x3),(1))),p((-10,x1),(-1)))));goodness : 393.546 distance to original : 0 time need : 2321 greatness : 22 idv : 20234
conc(conc(p((15,90),(-8)),for(x1,{(-1,-16)},fun(x2,{(x1,18,-10),(-2,x1,1)},for(x3,{(31,-1)},p((x2,x3),(1)))))),p((24,14),(0)));goodness : 396.668 distance to original : 0 time need : 2251 greatness : 27 idv : 21512
for(x1,{(0,0)},conc(conc(p((18,90),(-8)),for(x2,{(-1,-16)},fun(x3,{(x2,18,-12),(-2,x2,1)},for(x4,{(31,x1)},p((x3,x4),(1)))))),p((24,14),(x1))));goodness : 401.929 distance to original : 0 time need : 2188 greatness : 30 idv : 21809
for(x1,{(0,0)},conc(p((18,90),(-8)),for(x2,{(-1,-16)},fun(x3,{(x2,18,-12),(-2,x2,1)},for(x4,{(31,x1)},p((x3,x4),(1)))))));goodness : 411.015 distance to original : 0 time need : 2183 greatness : 25 idv : 22065
conc(p((18,90),(-8)),for(x1,{(-1,-16)},fun(x2,{(x1,18,-12),(-2,x1,1)},for(x3,{(31,0)},p((x2,x3),(1))))));goodness : 416.32 distance to original : 0 time need : 2182 greatness : 22 idv : 23261
for(x1,{(-1,-16)},fun(x2,{(x1,18,-12),(-2,x1,1)},for(x3,{(31,0)},p((x2,x3),(1)))));goodness : 426.076 distance to original : 0 time need : 2177 greatness : 17 idv : 25183
