p((10,6),(0));goodness : 608.273 distance to original : 16 time need : 4 greatness : 4 idv : 1
p((12,6),(1));goodness : 647.668 distance to original : 15 time need : 4 greatness : 4 idv : 7
conc(p((12,6),(1)),p((15,7),(1)));goodness : 667.111 distance to original : 14 time need : 9 greatness : 9 idv : 65
for(x1,{(1,7)},fun(x2,{(x1,12,-1),(2,x1,1)},conc(p((x2,x1),(1)),p((15,7),(1)))));goodness : 906.618 distance to original : 8 time need : 113 greatness : 19 idv : 21658
for(x1,{(-4,7)},fun(x2,{(x1,12,-1),(2,x1,1)},p((x2,x1),(1))));goodness : 931.966 distance to original : 8 time need : 133 greatness : 14 idv : 27335
conc(for(x1,{(-4,7)},fun(x2,{(x1,23,-1),(2,x1,1)},p((x2,x1),(1)))),p((11,5),(1)));goodness : 972.763 distance to original : 7 time need : 138 greatness : 19 idv : 32300
conc(for(x1,{(20,-17)},fun(x2,{(x1,12,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(-4,7)},fun(x4,{(19,12,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1186.24 distance to original : 0 time need : 553 greatness : 29 idv : 34272
conc(conc(for(x1,{(-4,7)},fun(x2,{(x1,x1,-1),(2,x1,1)},p((x2,x1),(1)))),p((11,5),(1))),for(x3,{(0,7)},fun(x4,{(9,12,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1302.08 distance to original : 2 time need : 228 greatness : 34 idv : 35619
conc(for(x1,{(-4,7)},fun(x2,{(19,12,-1),(2,x1,1)},p((x2,x1),(1)))),conc(for(x3,{(1,7)},fun(x4,{(x3,10,-1),(2,x3,1)},p((x4,x3),(1)))),for(x5,_,for(x6,{(x5,-25)},p((x5,3),(x6))))));goodness : 1440.92 distance to original : 1 time need : 214 greatness : 38 idv : 37218
conc(for(x1,{(1,7)},fun(x2,{(x1,10,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(-4,7)},fun(x4,{(19,12,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1661.13 distance to original : 1 time need : 212 greatness : 29 idv : 38825
conc(for(x1,{(-4,7)},fun(x2,{(19,12,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(-4,7)},fun(x4,{(x3,10,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1795.33 distance to original : 0 time need : 267 greatness : 29 idv : 43526
conc(for(x1,{(-4,7)},fun(x2,{(19,12,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(-2,7)},fun(x4,{(x3,10,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1869.16 distance to original : 0 time need : 245 greatness : 29 idv : 46417
conc(for(x1,{(0,7)},fun(x2,{(9,12,-1),(2,x1,1)},p((x2,x1),(1)))),for(x3,{(-3,7)},fun(x4,{(19,12,-1),(2,x3,1)},p((x4,x3),(1)))));goodness : 1992.03 distance to original : 0 time need : 212 greatness : 29 idv : 52925
conc(for(x1,{(-4,7)},fun(x2,{(19,12,-1),(2,x1,1)},p((x2,x1),(1)))),fun(x3,{(-14,-1,1)},for(x4,{(x3,13)},fun(x5,{(x4,12,-6),(2,x4,1)},p((x5,x4),(1))))));goodness : 2036.66 distance to original : 0 time need : 161 greatness : 33 idv : 59884
conc(for(x1,{(-4,7)},fun(x2,{(19,12,-1),(2,x1,1)},p((x2,x1),(1)))),fun(x3,{(-11,-1,1)},for(x4,{(x3,11)},fun(x5,{(x4,10,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 2083.33 distance to original : 0 time need : 150 greatness : 33 idv : 72125
conc(for(x1,{(-1,7)},fun(x2,{(19,12,-1),(2,x1,1)},p((x2,x1),(1)))),fun(x3,{(-9,-1,1)},for(x4,{(x3,7)},fun(x5,{(x4,15,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 2132.2 distance to original : 0 time need : 139 greatness : 33 idv : 81686
conc(for(x1,{(-1,7)},fun(x2,{(19,12,-1),(2,x1,1)},p((x2,x1),(1)))),fun(x3,{(-7,-1,1)},for(x4,{(x3,7)},fun(x5,{(x4,15,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 2237.14 distance to original : 0 time need : 117 greatness : 33 idv : 105881
fun(x1,{(-2,-4,1)},conc(for(x2,{(x1,7)},fun(x3,{(17,12,-1),(2,x2,1)},p((x3,x2),(1)))),fun(x4,{(10,-1,8)},for(x5,{(x4,12)},fun(x6,{(x5,13,-1),(2,x5,1)},p((x6,x5),(1)))))));goodness : 2293.58 distance to original : 0 time need : 66 greatness : 37 idv : 109538
fun(x1,{(-2,-4,1)},conc(fun(x2,{(10,-1,8)},for(x3,{(x2,12)},fun(x4,{(x3,13,-1),(2,x3,1)},p((x4,x3),(1))))),for(x5,{(x1,8)},fun(x6,{(17,12,-1),(2,x5,1)},p((x6,x5),(1))))));goodness : 2352.94 distance to original : 0 time need : 55 greatness : 37 idv : 118806
fun(x1,{(-2,-4,1)},conc(for(x2,{(x1,7)},fun(x3,{(17,12,-1),(2,x2,1)},p((x3,x2),(1)))),fun(x4,{(10,-1,8)},for(x5,{(x4,10)},fun(x6,{(x5,13,-1),(2,x5,1)},p((x6,x5),(1)))))));goodness : 2415.46 distance to original : 0 time need : 44 greatness : 37 idv : 123107
fun(x1,{(-2,-4,1)},conc(for(x2,{(x1,12)},fun(x3,{(x2,13,-1),(2,x2,1)},p((x3,x2),(1)))),for(x4,{(x1,8)},fun(x5,{(17,12,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 2481.39 distance to original : 0 time need : 73 greatness : 33 idv : 132105
fun(x1,{(-2,-4,1)},conc(for(x2,{(x1,11)},fun(x3,{(x2,13,-1),(2,x2,1)},p((x3,x2),(1)))),for(x4,{(x1,8)},fun(x5,{(17,12,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 2551.02 distance to original : 0 time need : 62 greatness : 33 idv : 140653
fun(x1,{(-2,-4,1)},conc(for(x2,{(x1,9)},fun(x3,{(x2,13,-1),(2,x2,1)},p((x3,x2),(1)))),for(x4,{(x1,8)},fun(x5,{(17,12,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 2702.7 distance to original : 0 time need : 40 greatness : 33 idv : 143974
fun(x1,{(-2,-4,1)},conc(for(x2,{(x1,8)},fun(x3,{(x2,13,-1),(2,x2,1)},p((x3,x2),(1)))),for(x4,{(x1,8)},fun(x5,{(17,12,-1),(2,x4,1)},p((x5,x4),(1))))));goodness : 2785.52 distance to original : 0 time need : 29 greatness : 33 idv : 145887
for(x1,{(-4,0)},fun(x2,{(-2,-4,1)},for(x3,{(x2,8)},fun(x4,{(23,12,x1),(2,x3,1)},p((x4,x3),(1))))));goodness : 3436.43 distance to original : 0 time need : 81 greatness : 21 idv : 225401
for(x1,{(-3,0)},fun(x2,{(-2,-4,1)},for(x3,{(x2,8)},fun(x4,{(23,12,x1),(2,x3,1)},p((x4,x3),(1))))));goodness : 3636.36 distance to original : 0 time need : 65 greatness : 21 idv : 233562
fun(x1,{(-2,-4,1)},for(x2,{(x1,8)},for(x3,{(-4,0)},fun(x4,{(23,12,x3),(2,x2,1)},p((x4,x2),(1))))));goodness : 3690.04 distance to original : 0 time need : 61 greatness : 21 idv : 234358
fun(x1,{(-2,-4,1)},for(x2,{(x1,8)},for(x3,{(-4,-1)},fun(x4,{(23,12,x3),(2,x2,1)},p((x4,x2),(1))))));goodness : 3846.15 distance to original : 0 time need : 50 greatness : 21 idv : 245630
fun(x1,{(-2,-4,1)},for(x2,{(x1,8)},for(x3,{(-2,0)},fun(x4,{(23,12,x3),(2,x2,1)},p((x4,x2),(1))))));goodness : 4016.06 distance to original : 0 time need : 39 greatness : 21 idv : 251741
fun(x1,{(-2,-4,1)},for(x2,{(x1,8)},for(x3,{(-2,-1)},fun(x4,{(23,12,x3),(2,x2,1)},p((x4,x2),(1))))));goodness : 4201.68 distance to original : 0 time need : 28 greatness : 21 idv : 252392  till: 1390000
