p((10,7),(0));goodness : 608.273 distance to original : 16 time need : 4 greatness : 4 idv : 1
p((15,7),(1));goodness : 647.668 distance to original : 15 time need : 4 greatness : 4 idv : 2
for(x1,{(0,3)},fun(x2,{(x1,12,-1),(2,x1,1)},p((x2,x1),(1))));goodness : 722.022 distance to original : 12 time need : 45 greatness : 14 idv : 54493
for(x1,{(0,8)},fun(x2,{(x1,12,-1),(2,x1,1)},p((x2,x1),(1))));goodness : 961.538 distance to original : 8 time need : 100 greatness : 14 idv : 57619
conc(fun(x1,{(-12,0,14)},for(x2,{(0,9)},fun(x3,{(10,7,-1),(2,x2,1)},p((x3,x2),(1))))),fun(x4,{(1,0,1)},fun(x5,{(13,x4,1)},conc(for(x6,{(0,9)},fun(x7,{(x6,12,-1),(2,x6,1)},p((x7,x6),(1)))),fun(x8,{(-30,3,-1),(-19,-30,1)},fun(x9,{(13,7,-18)},p((x9,17),(x9))))))));goodness : 1218.03 distance to original : 0 time need : 251 greatness : 57 idv : 66795
fun(x1,{(-12,0,-7)},conc(fun(x2,{(7,0,-6)},for(x3,{(0,9)},fun(x4,{(9,7,-1),(2,x3,1)},p((x4,x3),(1))))),for(x5,{(0,9)},fun(x6,{(x5,7,-1),(2,x5,1)},p((x6,x5),(1))))));goodness : 1663.89 distance to original : 0 time need : 231 greatness : 37 idv : 70135
fun(x1,{(-12,0,-7)},conc(for(x2,{(0,9)},fun(x3,{(9,7,-1),(2,x2,1)},p((x3,x2),(1)))),for(x4,{(0,9)},fun(x5,{(x4,7,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 1795.33 distance to original : 0 time need : 227 greatness : 33 idv : 71929
conc(for(x1,{(0,9)},fun(x2,{(9,7,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(0,9)},fun(x4,{(x3,7,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1949.32 distance to original : 0 time need : 223 greatness : 29 idv : 73125
conc(for(x1,{(0,9)},fun(x2,{(9,7,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(0,8)},fun(x4,{(x3,7,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1992.03 distance to original : 0 time need : 212 greatness : 29 idv : 79744
conc(for(x1,{(0,8)},fun(x2,{(9,7,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(0,8)},fun(x4,{(x3,7,-5),(2,x3,1)},p((x4,x3),(1)))));goodness : 2036.66 distance to original : 0 time need : 201 greatness : 29 idv : 86068
conc(for(x1,{(0,8)},fun(x2,{(x1,7,-16),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(0,7)},fun(x4,{(9,7,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 2083.33 distance to original : 0 time need : 190 greatness : 29 idv : 106527
conc(for(x1,{(0,7)},fun(x2,{(x1,6,-16),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(0,7)},fun(x4,{(9,7,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 2132.2 distance to original : 0 time need : 179 greatness : 29 idv : 135561
