p((22,2),(0));goodness : 7.32161 distance to original : 273 time need : 4 greatness : 4 idv : 1
p((20,12),(1));goodness : 7.34851 distance to original : 272 time need : 4 greatness : 4 idv : 4
conc(conc(p((25,0),(0)),p((22,13),(1))),p((31,19),(1)));goodness : 7.36448 distance to original : 271 time need : 14 greatness : 14 idv : 231
for(x1,{(6,8)},p((x1,15),(1)));goodness : 7.39938 distance to original : 270 time need : 13 greatness : 7 idv : 663
for(x1,{(20,24)},fun(x2,{(0,1,2)},for(x3,{(10,10)},p((x1,x3),(1)))));goodness : 7.44585 distance to original : 268 time need : 46 greatness : 14 idv : 2546
for(x1,{(20,28)},fun(x2,{(0,1,-8)},for(x3,{(10,10)},p((x1,x3),(1)))));goodness : 7.55738 distance to original : 264 time need : 82 greatness : 14 idv : 6086
conc(conc(for(x1,{(0,2)},fun(x2,{(x1,13,-1),(0,x1,1)},p((40,x2),(1)))),for(x3,{(-3,0)},fun(x4,{(x3,16,-1),(0,x3,1)},for(x5,{(-3,x4)},conc(fun(x6,{(15,13,-1),(-2,x5,1)},p((18,10),(x6))),p((15,30),(0))))))),conc(for(x7,{(20,24)},for(x8,{(10,14)},p((x7,x8),(1)))),p((26,27),(0))));goodness : 8.00525 distance to original : 247 time need : 436 greatness : 60 idv : 7619
for(x1,{(20,28)},fun(x2,{(0,1,-8)},for(x3,{(10,x1)},p((x1,x3),(1)))));goodness : 10.2487 distance to original : 194 time need : 586 greatness : 14 idv : 11672
fun(x1,{(0,1,-8)},for(x2,{(20,28)},for(x3,{(10,x2)},p((x2,x3),(1)))));goodness : 10.2504 distance to original : 194 time need : 554 greatness : 14 idv : 12978
for(x1,{(20,42)},fun(x2,{(0,1,-8)},for(x3,{(10,x1)},p((x1,x3),(1)))));goodness : 10.6553 distance to original : 185 time need : 2140 greatness : 14 idv : 13916
fun(x1,{(0,1,-23)},for(x2,{(20,37)},for(x3,{(10,x2)},p((x2,x3),(1)))));goodness : 10.6959 distance to original : 185 time need : 1427 greatness : 14 idv : 16451
conc(for(x1,{(20,28)},fun(x2,{(0,1,-8)},conc(for(x3,{(10,x1)},conc(fun(x4,{(26,-12,0)},for(x5,{(0,2)},fun(x6,{(x5,13,-1),(0,x5,1)},p((40,x6),(1))))),p((x1,x3),(1)))),p((17,20),(0))))),conc(for(x7,{(20,28),(15,19)},fun(x8,{(0,1,-8)},conc(for(x9,{(10,x7)},p((x7,x9),(1))),p((17,20),(0))))),for(x10,{(-1,1)},conc(fun(x11,{(x10,12,3),(-3,x10,8)},p((3,6),(0))),p((26,-1),(1))))));goodness : 11.3644 distance to original : 166 time need : 6788 greatness : 80 idv : 17330
conc(for(x1,{(20,28)},fun(x2,{(0,1,-8)},conc(for(x3,{(10,x1)},conc(fun(x4,{(26,-12,0)},for(x5,{(0,2)},fun(x6,{(x5,13,-1),(0,x5,1)},p((40,x6),(1))))),p((x1,x3),(1)))),p((17,20),(0))))),conc(for(x7,{(20,28),(15,19)},fun(x8,{(0,1,-8)},conc(for(x9,{(10,x7)},p((x7,x9),(1))),p((17,20),(0))))),for(x10,{(-1,1)},fun(x11,{(x10,2,3),(-3,x10,8)},p((3,x10),(0))))));goodness : 11.3783 distance to original : 166 time need : 6773 greatness : 75 idv : 18240
conc(for(x1,{(20,28)},fun(x2,{(0,1,-8)},conc(for(x3,{(10,x1)},conc(fun(x4,{(26,-12,0)},for(x5,{(0,2)},fun(x6,{(x5,13,-1),(0,x5,1)},p((40,x6),(1))))),p((x1,x3),(1)))),p((17,20),(0))))),for(x7,{(20,28),(15,19)},fun(x8,{(0,1,-8)},conc(for(x9,{(10,x7)},p((x7,x9),(1))),p((17,20),(0))))));goodness : 11.4196 distance to original : 166 time need : 6738 greatness : 60 idv : 18243
conc(fun(x1,{(1,0,3)},for(x2,{(x1,4)},fun(x3,{(x2,18,-1),(-8,x2,1)},for(x4,{(-10,-6)},fun(x5,{(x4,7,-1),(-2,x4,1)},conc(p((9,x5),(0)),p((x3,11),(0)))))))),for(x6,{(-4,1)},fun(x7,{(x6,12,-1),(0,x6,1),(-4,8,0)},fun(x8,{(x7,x6,-18)},for(x9,{(13,28)},for(x10,{(10,x9)},p((x9,x10),(1))))))));goodness : 11.5949 distance to original : 165 time need : 5049 greatness : 61 idv : 18672
conc(fun(x1,{(0,1,-8)},conc(for(x2,{(10,20)},conc(fun(x3,{(26,-12,0)},for(x4,{(0,2)},fun(x5,{(x4,13,-1),(0,x4,1)},p((40,x5),(1))))),p((20,x2),(1)))),p((17,20),(0)))),conc(for(x6,{(20,28),(15,19)},fun(x7,{(0,1,-8)},conc(for(x8,{(10,x6)},p((x6,x8),(1))),p((17,20),(0))))),for(x9,{(-1,1)},conc(fun(x10,{(x9,12,3),(-3,x9,8)},p((3,6),(0))),p((26,-1),(1))))));goodness : 11.7333 distance to original : 166 time need : 1375 greatness : 77 idv : 18844
fun(x1,{(6,1,-23)},conc(conc(fun(x2,{(0,1,-8)},conc(for(x3,{(10,20)},conc(fun(x4,{(26,-12,0)},for(x5,{(0,2)},fun(x6,{(x5,13,-1),(0,x5,1)},p((40,x6),(1))))),p((20,x3),(1)))),p((17,20),(0)))),conc(for(x7,{(20,28),(15,19)},fun(x8,{(0,1,-8)},conc(for(x9,{(10,x7)},p((x7,x9),(1))),p((17,20),(0))))),for(x10,{(-1,1)},conc(fun(x11,{(x10,12,3),(-3,x10,8)},p((3,2),(0))),p((26,-1),(1)))))),for(x12,{(20,37)},for(x13,{(10,x12)},p((x12,x13),(1))))));goodness : 12.2337 distance to original : 157 time need : 2803 greatness : 92 idv : 19260
fun(x1,{(6,1,-23)},conc(conc(fun(x2,{(0,1,-8)},conc(for(x3,{(10,20)},p((20,x3),(1))),p((17,20),(0)))),conc(for(x4,{(20,28),(15,19)},fun(x5,{(0,1,-8)},conc(for(x6,{(10,x4)},p((x4,x6),(1))),p((17,20),(0))))),for(x7,{(-1,1)},conc(fun(x8,{(x7,12,3),(-3,x7,8)},p((3,2),(0))),p((26,-1),(1)))))),for(x9,{(20,37)},for(x10,{(10,x9)},p((x9,x10),(1))))));goodness : 12.3233 distance to original : 157 time need : 2374 greatness : 73 idv : 20528
conc(conc(fun(x1,{(0,1,-8)},conc(for(x2,{(10,20)},p((20,x2),(1))),p((17,20),(0)))),conc(for(x3,{(20,28),(15,19)},fun(x4,{(0,1,-8)},conc(for(x5,{(10,x3)},p((x3,x5),(1))),p((17,20),(0))))),conc(p((3,2),(0)),p((26,-1),(1))))),for(x6,{(20,37)},for(x7,{(10,x6)},p((x6,x7),(1)))));goodness : 12.3693 distance to original : 157 time need : 2330 greatness : 59 idv : 21639
fun(x1,{(6,1,-23)},conc(conc(for(x2,{(20,28),(15,19)},fun(x3,{(-4,1,-8)},conc(for(x4,{(10,x2)},p((x2,x4),(1))),p((7,20),(0))))),for(x5,{(-1,1)},conc(fun(x6,{(x5,12,3),(-3,x5,8)},p((3,2),(0))),p((26,-7),(1))))),for(x7,{(20,37)},for(x8,{(10,x7)},p((x7,x8),(1))))));goodness : 12.3794 distance to original : 157 time need : 2319 greatness : 56 idv : 21849
conc(conc(for(x1,{(20,28),(15,19)},conc(for(x2,{(10,x1)},p((x1,x2),(1))),p((7,20),(0)))),conc(p((3,2),(0)),p((26,-7),(1)))),for(x3,{(20,37)},for(x4,{(10,x3)},p((x3,x4),(1)))));goodness : 12.4425 distance to original : 157 time need : 2219 greatness : 38 idv : 24685
fun(x1,{(0,9,-23)},for(x2,{(14,37)},for(x3,{(10,x2)},p((x2,x3),(1)))));goodness : 12.6444 distance to original : 156 time need : 1613 greatness : 14 idv : 27522
fun(x1,{(0,1,2)},conc(fun(x2,{(0,1,0)},fun(x3,{(0,1,2)},for(x4,{(-1,x2)},fun(x5,{(x4,12,-1),(1,18,1)},fun(x6,{(x5,1,x3)},for(x7,{(x6,28)},for(x8,{(10,x7)},p((x7,x8),(1))))))))),for(x9,{(-1,1)},fun(x10,{(x9,12,-1),(1,x9,1)},fun(x11,{(x10,1,x1)},for(x12,{(x11,28)},for(x13,{(10,17)},p((x12,x13),(1)))))))));goodness : 12.8447 distance to original : 149 time need : 4266 greatness : 61 idv : 27749
fun(x1,{(24,1,0)},fun(x2,{(20,1,0)},conc(fun(x3,{(1,0,1)},conc(fun(x4,{(-2,-4,1)},p((15,42),(32))),p((2,x1),(0)))),for(x5,{(x2,42)},conc(p((29,29),(0)),for(x6,{(10,x2)},p((x5,x6),(1))))))));goodness : 13.9066 distance to original : 141 time need : 1177 greatness : 41 idv : 28701
fun(x1,{(24,1,0)},fun(x2,{(20,-5,0)},conc(fun(x3,{(1,0,1)},conc(p((15,42),(32)),p((2,x1),(0)))),for(x4,{(x2,42)},conc(p((29,29),(0)),for(x5,{(10,x2)},p((x4,x5),(1))))))));goodness : 13.9224 distance to original : 141 time need : 1173 greatness : 37 idv : 31490
fun(x1,{(24,1,0)},fun(x2,{(20,1,0)},conc(fun(x3,{(1,0,13)},conc(fun(x4,{(-2,-4,1)},p((15,42),(32))),p((2,x1),(0)))),for(x5,{(x2,42),(11,18)},conc(p((29,29),(0)),for(x6,{(10,x2)},p((x5,x6),(1))))))));goodness : 20.3465 distance to original : 95 time need : 1577 greatness : 43 idv : 31740
fun(x1,{(24,1,0)},conc(fun(x2,{(1,0,13)},conc(fun(x3,{(-2,-4,1)},p((15,42),(32))),p((2,x1),(0)))),for(x4,{(20,42),(11,18)},conc(p((29,29),(0)),for(x5,{(10,20)},p((x4,x5),(1)))))));goodness : 20.3805 distance to original : 95 time need : 1573 greatness : 39 idv : 32620
fun(x1,{(24,1,0)},fun(x2,{(20,1,0)},for(x3,{(x2,42),(11,18)},conc(p((29,29),(0)),for(x4,{(10,x2)},p((x3,x4),(1)))))));goodness : 20.5004 distance to original : 95 time need : 1559 greatness : 25 idv : 34355
fun(x1,{(20,1,0)},for(x2,{(x1,42),(11,18)},conc(p((29,29),(0)),for(x3,{(10,x1)},p((x2,x3),(1))))));goodness : 20.5349 distance to original : 95 time need : 1555 greatness : 21 idv : 34967
fun(x1,{(24,1,0)},fun(x2,{(20,1,0)},conc(fun(x3,{(1,0,13)},conc(fun(x4,{(-2,-4,1)},p((15,42),(32))),p((2,x1),(0)))),for(x5,{(x2,42),(11,25)},conc(p((29,29),(0)),for(x6,{(10,x2)},p((x5,x6),(1))))))));goodness : 22.8188 distance to original : 84 time need : 1927 greatness : 43 idv : 35750
fun(x1,{(20,1,0)},conc(fun(x2,{(1,0,13)},conc(fun(x3,{(-2,-4,1)},p((15,42),(32))),p((2,24),(0)))),for(x4,{(x1,42),(11,25)},conc(p((29,29),(0)),for(x5,{(10,x1)},p((x4,x5),(1)))))));goodness : 22.8616 distance to original : 84 time need : 1923 greatness : 39 idv : 37918
fun(x1,{(1,0,1)},fun(x2,{(1,0,1)},fun(x3,{(42,1,x2)},fun(x4,{(20,1,0)},conc(conc(conc(p((15,42),(32)),p((2,x3),(x1))),fun(x5,{(24,1,0)},fun(x6,{(20,1,0),(0,4,0)},conc(conc(fun(x7,{(-2,-4,1)},p((15,42),(32))),p((2,x5),(0))),for(x8,{(x6,42),(11,18)},conc(p((29,29),(0)),for(x9,{(10,x6)},p((x8,x9),(1))))))))),for(x10,{(5,42),(11,18)},conc(p((29,29),(0)),for(x11,{(10,x4)},p((x10,x11),(1))))))))));goodness : 23.4346 distance to original : 78 time need : 3904 greatness : 86 idv : 38526
for(x1,{(10,42),(11,18),(39,43)},conc(p((29,29),(0)),for(x2,{(10,20)},p((x1,x2),(1)))));goodness : 24.3721 distance to original : 79 time need : 2301 greatness : 19 idv : 39146
for(x1,{(2,3)},fun(x2,{(x1,11,-1),(5,x1,1)},conc(for(x3,{(0,0)},p((x2,16),(1))),fun(x4,{(24,1,0)},fun(x5,{(20,1,0),(0,4,0)},conc(conc(fun(x6,{(-2,-4,1)},p((15,42),(32))),p((2,x4),(0))),for(x7,{(8,42),(11,18)},conc(p((29,29),(0)),for(x8,{(10,x5),(39,46)},p((x7,x8),(1)))))))))));goodness : 25.4417 distance to original : 69 time need : 7131 greatness : 62 idv : 40697
conc(p((-8,2),(0)),fun(x1,{(2,11,-1),(5,2,-13)},conc(p((x1,16),(1)),fun(x2,{(24,1,0)},fun(x3,{(20,1,0),(0,4,0)},conc(conc(fun(x4,{(-2,-4,1)},p((15,42),(32))),p((2,x2),(0))),for(x5,{(8,42),(11,18)},conc(p((29,29),(0)),for(x6,{(10,x3),(39,46)},p((x5,x6),(1)))))))))));goodness : 26.3127 distance to original : 70 time need : 3569 greatness : 61 idv : 43956
fun(x1,{(1,1,0)},conc(p((-8,2),(0)),fun(x2,{(2,11,-1),(5,2,-13)},conc(p((x2,16),(x1)),fun(x3,{(24,1,0)},fun(x4,{(20,1,0),(0,4,0)},conc(conc(fun(x5,{(-2,-4,1)},p((15,42),(32))),p((2,x3),(0))),for(x6,{(8,42)},conc(p((29,29),(0)),for(x7,{(10,x4),(39,46)},p((x6,x7),(1))))))))))));goodness : 26.5122 distance to original : 70 time need : 2917 greatness : 63 idv : 44498
fun(x1,{(1,1,0)},conc(p((-8,2),(0)),fun(x2,{(2,11,-1),(5,2,-13)},conc(p((x2,16),(x1)),fun(x3,{(24,1,0)},fun(x4,{(20,1,0),(0,4,0)},for(x5,{(8,42)},conc(p((29,29),(0)),for(x6,{(10,x4),(39,46)},p((x5,x6),(1)))))))))));goodness : 26.7155 distance to original : 70 time need : 2903 greatness : 49 idv : 45475
fun(x1,{(1,1,0)},conc(p((-8,2),(0)),fun(x2,{(2,11,-1),(5,2,-13)},conc(p((43,16),(x1)),fun(x3,{(24,1,0)},fun(x4,{(20,1,0),(0,4,0)},conc(conc(fun(x5,{(-2,-4,1)},p((15,42),(32))),p((2,x3),(0))),for(x6,{(8,42)},conc(p((29,29),(0)),for(x7,{(10,x4),(39,46)},p((x6,x7),(1))))))))))));goodness : 26.8684 distance to original : 69 time need : 2917 greatness : 63 idv : 46556
fun(x1,{(1,1,0)},conc(p((-8,2),(0)),fun(x2,{(2,11,-1),(5,x1,-13)},conc(p((x2,16),(x1)),fun(x3,{(24,1,0)},fun(x4,{(20,1,0),(0,4,0)},conc(conc(fun(x5,{(-2,x4,1)},p((15,42),(32))),p((2,x3),(0))),for(x6,{(8,42),(11,18)},conc(p((29,29),(0)),for(x7,{(10,x4),(39,46)},p((x6,x7),(1))))))))))));goodness : 26.964 distance to original : 68 time need : 3573 greatness : 65 idv : 48611
fun(x1,{(1,1,0)},conc(p((-8,2),(0)),conc(p((43,16),(x1)),fun(x2,{(24,1,0)},fun(x3,{(20,1,0),(0,4,0)},conc(conc(p((15,42),(32)),p((2,x2),(0))),for(x4,{(8,42)},conc(p((29,29),(0)),for(x5,{(10,x3),(39,46)},p((x4,x5),(1)))))))))));goodness : 27.0321 distance to original : 69 time need : 2906 greatness : 52 idv : 48885
conc(conc(p((9,4),(0)),for(x1,{(10,20)},for(x2,{(8,42),(11,18)},p((x2,x1),(1))))),p((29,47),(0)));goodness : 27.8575 distance to original : 69 time need : 1914 greatness : 22 idv : 49865
conc(conc(p((9,4),(0)),for(x1,{(10,20)},for(x2,{(8,42),(22,18)},p((x2,x1),(1))))),p((29,47),(0)));goodness : 27.9088 distance to original : 69 time need : 1782 greatness : 22 idv : 52861
conc(conc(p((9,4),(0)),for(x1,{(10,20)},for(x2,{(8,42),(19,18)},p((x2,x1),(1))))),p((29,47),(0)));goodness : 27.9603 distance to original : 69 time need : 1650 greatness : 22 idv : 53495
conc(for(x1,{(10,20)},for(x2,{(8,42),(22,18)},p((x2,x1),(1)))),p((29,47),(0)));goodness : 27.9889 distance to original : 69 time need : 1777 greatness : 17 idv : 56748
conc(for(x1,{(10,20)},for(x2,{(8,42),(x1,18)},p((x2,x1),(1)))),p((29,47),(0)));goodness : 27.9967 distance to original : 69 time need : 1757 greatness : 17 idv : 57531
fun(x1,{(1,1,0)},conc(p((-8,-5),(0)),fun(x2,{(17,11,-1),(5,2,-31)},conc(p((x2,16),(x1)),fun(x3,{(24,1,0)},fun(x4,{(20,1,8),(x2,4,0)},conc(conc(p((15,42),(32)),p((2,x3),(0))),for(x5,{(8,42)},conc(p((33,11),(0)),for(x6,{(10,x4),(39,46)},p((x5,x6),(1))))))))))));goodness : 28.0061 distance to original : 66 time need : 3053 greatness : 59 idv : 59405
conc(p((9,4),(0)),for(x1,{(10,20)},for(x2,{(8,42),(16,18)},p((x2,x1),(1)))));goodness : 28.0234 distance to original : 69 time need : 1689 greatness : 17 idv : 60331
for(x1,{(10,20)},for(x2,{(8,42),(22,18)},p((x2,x1),(1))));goodness : 28.0694 distance to original : 69 time need : 1772 greatness : 12 idv : 60929
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((x1,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(p((-2,1),(0)),conc(conc(p((30,53),(32)),p((x1,x2),(0))),for(x3,{(8,42),(11,18)},fun(x4,{(20,1,0),(1,4,0)},for(x5,{(10,x4),(39,46)},p((x3,x5),(1)))))))))),p((17,13),(1)));goodness : 28.0804 distance to original : 65 time need : 3824 greatness : 60 idv : 65463
for(x1,{(-6,-6)},for(x2,{(10,20)},for(x3,{(8,35),(22,18)},p((x3,x2),(1)))));goodness : 28.1432 distance to original : 69 time need : 1465 greatness : 15 idv : 73010
conc(conc(p((10,16),(1)),fun(x1,{(29,1,-10),(10,0,-1)},conc(p((-2,1),(0)),conc(conc(p((30,53),(49)),p((10,x1),(0))),for(x2,{(8,42),(11,18)},fun(x3,{(20,1,0),(1,4,0)},for(x4,{(10,x3),(39,46)},p((x2,x4),(1))))))))),p((17,13),(1)));goodness : 28.194 distance to original : 65 time need : 3817 greatness : 53 idv : 74142
conc(p((10,16),(1)),fun(x1,{(29,1,-10),(10,0,-1)},conc(p((-2,1),(0)),conc(conc(p((30,53),(49)),p((10,x1),(0))),for(x2,{(8,42),(11,18)},fun(x3,{(20,1,0),(1,4,0)},for(x4,{(10,x3),(39,46)},p((x2,x4),(1)))))))));goodness : 28.2757 distance to original : 65 time need : 3812 greatness : 48 idv : 74890
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(p((-2,1),(0)),conc(conc(p((30,53),(49)),p((x1,x2),(0))),for(x3,{(8,42),(11,18)},fun(x4,{(20,1,0),(1,4,0)},for(x5,{(10,x4),(39,46)},p((x3,x5),(1)))))))))),p((17,13),(1)));goodness : 28.4803 distance to original : 64 time need : 3824 greatness : 60 idv : 78222
conc(conc(p((4,16),(1)),fun(x1,{(29,1,-10),(10,0,-1)},conc(p((-2,1),(0)),conc(conc(p((30,53),(49)),p((10,x1),(0))),for(x2,{(8,42),(11,18)},fun(x3,{(20,1,0),(1,4,0)},for(x4,{(10,x3),(39,46)},p((x2,x4),(1))))))))),p((17,13),(1)));goodness : 28.5972 distance to original : 64 time need : 3817 greatness : 53 idv : 80468
for(x1,{(4,4)},conc(fun(x2,{(2,11,-16),(5,2,1)},conc(p((x1,16),(1)),fun(x3,{(29,1,-10),(13,0,-1)},conc(p((-2,1),(0)),conc(for(x4,{(8,33),(11,18)},fun(x5,{(20,1,0),(1,4,0)},for(x6,{(10,x5),(39,46)},p((x4,x6),(1))))),conc(p((30,53),(49)),p((x2,x3),(0)))))))),p((17,13),(1))));goodness : 28.7551 distance to original : 64 time need : 3033 greatness : 63 idv : 80923
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(p((-2,1),(0)),conc(for(x3,{(8,42),(11,18)},for(x4,{(10,21),(39,46)},p((x3,x4),(1)))),p((x1,x2),(0))))))),p((17,13),(1)));goodness : 28.8027 distance to original : 64 time need : 3518 greatness : 48 idv : 81789
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(p((-2,1),(0)),conc(for(x3,{(8,42)},for(x4,{(10,21),(39,46)},p((x3,x4),(1)))),p((x1,x2),(0))))))),p((17,13),(1)));goodness : 29.1078 distance to original : 64 time need : 2870 greatness : 46 idv : 84359
conc(conc(conc(p((4,16),(1)),fun(x1,{(29,1,-10),(10,0,-1)},conc(for(x2,{(8,42)},for(x3,{(10,21),(39,46)},p((x2,x3),(1)))),p((x1,31),(0))))),p((17,13),(1))),p((3,13),(0)));goodness : 29.2299 distance to original : 64 time need : 2863 greatness : 39 idv : 88305
conc(conc(p((4,16),(1)),conc(for(x1,{(8,42),(11,18)},fun(x2,{(20,1,0),(1,4,0)},for(x3,{(10,x2),(46,46)},p((x1,x3),(1))))),fun(x4,{(29,1,-10),(10,0,-1)},p((x4,x4),(0))))),p((17,13),(1)));goodness : 29.2727 distance to original : 64 time need : 2603 greatness : 43 idv : 90491
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(for(x3,{(8,42),(11,18)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0)))))),p((17,13),(1)));goodness : 29.3251 distance to original : 64 time need : 2481 greatness : 43 idv : 91433
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((9,x1),(0)),conc(conc(p((4,16),(1)),p((12,31),(0))),fun(x2,{(29,1,-10),(10,0,-1)},conc(for(x3,{(8,42),(11,18)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0))))))),p((17,13),(1)));goodness : 29.581 distance to original : 63 time need : 2491 greatness : 53 idv : 98678
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(for(x3,{(8,31),(11,18)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0)))))),p((13,13),(1)));goodness : 29.5972 distance to original : 64 time need : 1854 greatness : 43 idv : 102194
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0)))))),p((13,13),(1)));goodness : 29.8338 distance to original : 64 time need : 1398 greatness : 41 idv : 106721


p((14,23),(0));goodness : 7.32161 distance to original : 273 time need : 4 greatness : 4 idv : 1
p((21,19),(1));goodness : 7.34851 distance to original : 272 time need : 4 greatness : 4 idv : 2
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0)))))),p((13,13),(1)));goodness : 29.8338 distance to original : 64 time need : 1398 greatness : 41 idv : 86
conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,16)},conc(for(x3,{(10,21),(39,40)},for(x4,{(8,31)},p((x4,x3),(1)))),p((x1,x2),(0)))))),p((13,13),(1)));goodness : 29.8383 distance to original : 64 time need : 1388 greatness : 41 idv : 248
conc(p((20,-2),(1)),conc(conc(p((4,16),(1)),fun(x1,{(29,1,-10),(10,0,-1)},conc(for(x2,{(8,31)},for(x3,{(10,21),(39,40)},p((x2,x3),(1)))),p((10,x1),(0))))),p((13,13),(1))));goodness : 29.8704 distance to original : 64 time need : 1396 greatness : 39 idv : 523
conc(conc(p((4,16),(1)),fun(x1,{(29,1,-10),(10,0,-1)},conc(for(x2,{(8,31)},for(x3,{(10,21),(39,40)},p((x2,x3),(1)))),p((7,x1),(0))))),p((13,13),(1)));goodness : 29.9621 distance to original : 64 time need : 1391 greatness : 34 idv : 771
conc(conc(p((2,14),(1)),conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,0,-1)},conc(for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0)))))),p((13,13),(1)))),p((11,-1),(1)));goodness : 30.0987 distance to original : 63 time need : 1408 greatness : 51 idv : 2022
conc(p((2,14),(1)),conc(fun(x1,{(4,11,-16),(5,2,1)},conc(p((4,16),(1)),fun(x2,{(29,1,-10),(10,1,-1)},conc(for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),p((x1,x2),(0)))))),p((13,13),(1))));goodness : 30.1919 distance to original : 63 time need : 1403 greatness : 46 idv : 13691
conc(p((2,14),(1)),conc(conc(p((4,16),(1)),fun(x1,{(29,1,-10),(10,1,-1)},conc(for(x2,{(8,31)},for(x3,{(10,21),(39,40)},p((x2,x3),(1)))),p((10,x1),(0))))),p((13,13),(1))));goodness : 30.3232 distance to original : 63 time need : 1396 greatness : 39 idv : 15551
conc(fun(x1,{(2,11,-6),(5,2,1)},conc(conc(fun(x2,{(2,11,-16),(5,2,1)},fun(x3,{(29,1,-10),(10,0,-1)},conc(for(x4,{(8,31),(15,23)},conc(p((23,3),(0)),for(x5,{(11,21),(46,40)},p((x4,x5),(1))))),p((x2,x3),(0))))),p((4,16),(1))),fun(x6,{(29,1,-10),(10,0,16)},conc(for(x7,{(22,38)},for(x8,{(10,21),(39,40)},p((x7,x8),(1)))),p((x1,x6),(0)))))),fun(x9,{(2,11,-16)},fun(x10,{(29,1,-10),(10,0,14)},p((3,2),(0)))));goodness : 30.6537 distance to original : 58 time need : 3605 greatness : 91 idv : 15585
fun(x1,{(10,1,-16)},conc(conc(fun(x2,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),conc(for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),fun(x5,{(29,1,-10),(10,0,-1)},p((x2,x5),(0)))))),p((16,13),(1))),conc(conc(fun(x6,{(14,1,-17),(x1,0,-1)},conc(for(x7,{(8,31),(4,8)},p((x7,x6),(1))),p((29,x6),(0)))),p((31,16),(1))),p((8,-2),(-19)))));goodness : 30.9492 distance to original : 60 time need : 1542 greatness : 77 idv : 19389
fun(x1,{(27,1,-16)},conc(conc(fun(x2,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),conc(for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))),fun(x5,{(29,1,-10),(10,0,-1)},p((x2,x5),(0)))))),p((16,13),(1))),conc(conc(fun(x6,{(14,1,-17)},conc(for(x7,{(8,31),(4,8)},p((x7,x6),(1))),p((29,x6),(0)))),p((31,16),(1))),p((8,-2),(-19)))));goodness : 31.0082 distance to original : 60 time need : 1539 greatness : 74 idv : 24140
conc(conc(fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),conc(p((x1,37),(0)),for(x2,{(8,31)},for(x3,{(10,21),(39,40)},p((x2,x3),(1))))))),p((16,13),(1))),conc(conc(fun(x4,{(14,1,-17)},conc(for(x5,{(8,31),(-16,8)},p((x5,x4),(1))),p((29,x4),(0)))),p((31,16),(1))),p((8,-2),(-19))));goodness : 31.1876 distance to original : 60 time need : 1608 greatness : 63 idv : 32586
conc(conc(conc(p((4,16),(1)),conc(p((10,37),(0)),for(x1,{(8,31)},for(x2,{(10,21),(39,40)},p((x1,x2),(1)))))),p((16,13),(1))),conc(conc(fun(x3,{(14,1,-17)},conc(for(x4,{(8,31),(-16,8)},p((x4,x3),(1))),p((29,x3),(0)))),p((31,16),(1))),p((8,-2),(-19))));goodness : 31.3278 distance to original : 60 time need : 1601 greatness : 56 idv : 36806
conc(conc(conc(p((4,16),(1)),conc(p((10,37),(0)),for(x1,{(10,21),(39,40)},for(x2,{(8,31)},p((x2,x1),(1)))))),p((16,13),(1))),conc(conc(fun(x3,{(14,1,-17)},conc(for(x4,{(8,31),(-16,8)},p((x4,x3),(1))),p((29,x3),(0)))),p((31,16),(1))),p((8,-2),(-19))));goodness : 31.3327 distance to original : 60 time need : 1591 greatness : 56 idv : 37191
conc(conc(conc(p((4,16),(1)),conc(p((10,37),(0)),for(x1,{(10,21),(39,40)},for(x2,{(8,31)},p((x2,x1),(1)))))),p((16,13),(1))),conc(fun(x3,{(14,1,-17)},conc(for(x4,{(8,31),(-16,8)},p((x4,x3),(1))),p((29,x3),(0)))),p((31,16),(1))));goodness : 31.4337 distance to original : 60 time need : 1586 greatness : 51 idv : 39139
conc(conc(conc(p((4,16),(1)),conc(p((10,37),(0)),for(x1,{(10,21),(39,40)},for(x2,{(8,31)},p((x2,x1),(1)))))),p((16,13),(1))),conc(fun(x3,{(14,1,-17)},conc(for(x4,{(15,31),(-16,8)},p((x4,x3),(1))),p((29,5),(0)))),p((31,16),(1))));goodness : 31.4475 distance to original : 60 time need : 1558 greatness : 51 idv : 50138
conc(conc(conc(p((4,16),(1)),for(x1,{(10,21),(39,40)},for(x2,{(8,31)},p((x2,x1),(1))))),p((16,13),(1))),conc(fun(x3,{(14,1,-17)},conc(for(x4,{(8,31),(-16,8)},p((x4,x3),(1))),p((29,x3),(0)))),p((31,16),(1))));goodness : 31.5353 distance to original : 60 time need : 1581 greatness : 46 idv : 51945
fun(x1,{(1,1,1),(1,2,1)},conc(conc(p((16,13),(1)),fun(x2,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),conc(p((x2,37),(25)),for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1)))))))),conc(conc(fun(x5,{(14,1,-17)},conc(for(x6,{(8,31),(x1,8)},p((x6,x5),(1))),p((29,x5),(0)))),p((31,19),(x1))),p((8,-2),(-19)))));goodness : 31.5761 distance to original : 59 time need : 1539 greatness : 70 idv : 56007
fun(x1,{(1,1,1),(1,2,1)},conc(conc(p((13,20),(0)),conc(p((16,13),(1)),fun(x2,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),conc(p((x2,37),(25)),for(x3,{(8,31)},for(x4,{(10,21),(39,40)},p((x3,x4),(1))))))))),conc(conc(fun(x5,{(14,1,-17)},conc(for(x6,{(8,31),(x1,8)},p((x6,x5),(1))),p((29,x5),(0)))),p((31,19),(x1))),p((8,-2),(-19)))));goodness : 31.9775 distance to original : 58 time need : 1544 greatness : 75 idv : 57353
conc(conc(p((13,20),(0)),conc(p((16,13),(1)),fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),conc(p((x1,37),(25)),for(x2,{(8,31)},for(x3,{(10,21),(39,40)},p((x2,x3),(1))))))))),conc(conc(fun(x4,{(14,1,-17)},conc(for(x5,{(8,31),(3,8)},p((x5,x4),(1))),p((3,x4),(0)))),p((31,19),(3))),p((8,-2),(-19))));goodness : 32.1249 distance to original : 58 time need : 1537 greatness : 68 idv : 60556
conc(p((14,11),(0)),conc(conc(p((13,20),(0)),conc(p((16,13),(1)),fun(x1,{(2,11,-16),(5,2,1)},conc(p((4,16),(1)),conc(p((x1,56),(25)),for(x2,{(10,21),(37,40)},for(x3,{(8,31)},p((x3,x2),(1))))))))),conc(conc(fun(x4,{(14,1,-17)},conc(for(x5,{(8,31),(3,8)},p((x5,x4),(1))),p((x4,x4),(0)))),p((31,19),(3))),p((8,-2),(-19)))));goodness : 32.4433 distance to original : 57 time need : 1726 greatness : 73 idv : 67078
for(x1,{(8,8)},conc(p((14,11),(0)),conc(conc(p((13,20),(0)),conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((29,56),(25)),for(x2,{(10,21),(37,40)},for(x3,{(x1,31)},p((x3,x2),(1)))))))),conc(conc(fun(x4,{(14,1,-17)},conc(for(x5,{(8,31),(3,8)},p((x5,x4),(1))),p((x4,x4),(0)))),p((31,19),(3))),p((8,-2),(-19))))));goodness : 32.5309 distance to original : 57 time need : 1720 greatness : 69 idv : 71920
for(x1,{(8,8)},conc(p((14,11),(0)),conc(conc(p((13,20),(0)),conc(p((16,13),(1)),conc(p((4,16),(1)),for(x2,{(x1,31)},for(x3,{(10,21),(37,40)},p((x2,x3),(1))))))),conc(conc(fun(x4,{(14,1,-17)},conc(for(x5,{(8,31),(3,8)},p((x5,x4),(1))),p((1,x4),(0)))),p((31,19),(3))),p((8,-2),(-19))))));goodness : 32.6355 distance to original : 57 time need : 1723 greatness : 64 idv : 82920
conc(for(x1,{(8,8)},conc(p((12,20),(0)),conc(p((14,11),(0)),conc(conc(fun(x2,{(2,11,-16),(17,2,1)},p((x2,37),(0))),conc(p((13,20),(0)),conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((29,56),(25)),for(x3,{(10,21),(37,40)},for(x4,{(x1,31)},p((x4,x3),(1))))))))),conc(conc(fun(x5,{(14,1,-17),(10,0,0)},conc(for(x6,{(8,31),(3,8)},p((x6,x5),(1))),p((31,x5),(17)))),p((31,19),(3))),p((8,-2),(-19))))))),fun(x7,{(1,1,-1)},for(x8,{(1,1)},fun(x9,{(1,0,1)},p((4,15),(1))))));goodness : 32.8116 distance to original : 55 time need : 1754 greatness : 105 idv : 83540
conc(conc(p((12,20),(0)),conc(p((14,11),(0)),conc(conc(fun(x1,{(2,11,-16),(17,2,1)},p((x1,37),(0))),conc(p((13,20),(0)),conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((29,56),(25)),for(x2,{(10,21),(37,40)},for(x3,{(8,31)},p((x3,x2),(1))))))))),conc(conc(fun(x4,{(14,1,-17),(10,0,0)},conc(for(x5,{(8,31),(3,8)},p((x5,x4),(1))),p((31,x4),(17)))),p((31,19),(3))),p((8,-2),(-19)))))),fun(x6,{(1,1,-1)},for(x7,{(1,1)},fun(x8,{(1,0,1)},p((4,15),(1))))));goodness : 32.8769 distance to original : 55 time need : 1753 greatness : 102 idv : 84175
conc(conc(p((12,20),(0)),conc(p((14,11),(0)),conc(conc(fun(x1,{(2,11,-16),(17,2,1)},p((x1,37),(0))),conc(p((13,20),(0)),conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((29,56),(25)),for(x2,{(10,21),(37,40)},for(x3,{(8,31)},p((x3,x2),(1))))))))),conc(conc(fun(x4,{(14,1,-17),(10,0,0)},conc(for(x5,{(8,31),(3,8),(86,90)},p((x5,x4),(1))),p((31,x4),(17)))),p((31,19),(3))),p((8,-2),(-19)))))),p((4,15),(1)));goodness : 33.0666 distance to original : 55 time need : 1764 greatness : 93 idv : 88381
conc(conc(p((12,20),(0)),conc(p((14,11),(0)),conc(conc(p((34,37),(0)),conc(p((13,20),(0)),conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((29,56),(25)),for(x1,{(10,21),(37,40)},for(x2,{(8,31)},p((x2,x1),(1))))))))),conc(conc(fun(x3,{(14,1,-17),(10,0,0)},conc(for(x4,{(8,31),(3,8),(86,90)},p((x4,x3),(1))),p((31,x3),(17)))),p((31,19),(3))),p((8,-2),(-19)))))),p((4,15),(1)));goodness : 33.2242 distance to original : 55 time need : 1757 greatness : 86 idv : 89086
conc(for(x1,{(8,8)},for(x2,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(25)),for(x3,{(10,19),(37,40)},for(x4,{(x1,31)},p((x4,x3),(1))))))))),conc(fun(x5,{(29,7,-1),(-1,29,1),(6,-8,1)},fun(x6,{(1,1,29),(-17,2,5)},conc(conc(p((13,20),(0)),conc(p((16,13),(1)),fun(x7,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x7,37),(25)),for(x8,{(15,31)},for(x9,{(10,21),(37,40)},p((x8,x9),(1))))))))),conc(conc(fun(x10,{(14,1,-17)},conc(conc(for(x11,{(8,43),(x10,8)},p((x11,x10),(1))),fun(x12,{(1,1,1),(1,2,1)},conc(conc(fun(x13,{(14,1,-17)},conc(p((23,x13),(-16)),p((x13,x13),(29)))),p((31,16),(x12))),p((8,-2),(-34))))),p((x6,x10),(0)))),p((31,19),(x6))),p((8,-2),(-19)))))),p((4,1),(0))));goodness : 33.3578 distance to original : 51 time need : 2756 greatness : 155 idv : 96108
conc(for(x1,{(8,8)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(25)),for(x2,{(10,19),(37,40)},for(x3,{(x1,31)},p((x3,x2),(1)))))))),conc(fun(x4,{(1,1,29),(-17,2,5)},conc(conc(p((13,20),(0)),conc(p((16,13),(1)),fun(x5,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x5,37),(25)),for(x6,{(15,31)},for(x7,{(10,21),(37,40)},p((x6,x7),(1))))))))),conc(conc(fun(x8,{(14,1,-17)},conc(conc(for(x9,{(8,43),(x8,8)},p((x9,x8),(1))),fun(x10,{(1,1,1),(1,2,1)},conc(conc(fun(x11,{(14,1,-17)},conc(p((23,x11),(-16)),p((x11,x11),(29)))),p((31,16),(x10))),p((8,-2),(-34))))),p((x4,x8),(0)))),p((31,19),(x4))),p((8,-2),(-19))))),p((4,1),(0))));goodness : 33.6559 distance to original : 51 time need : 2745 greatness : 142 idv : 97496
conc(for(x1,{(8,8)},for(x2,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(25)),for(x3,{(10,19),(37,40)},for(x4,{(x1,31)},p((x4,x3),(1))))))))),conc(fun(x5,{(29,7,-1),(-1,29,1),(6,-8,1)},fun(x6,{(1,1,29),(-17,2,5)},conc(conc(p((13,20),(0)),conc(p((16,13),(1)),fun(x7,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x7,37),(25)),for(x8,{(15,31)},for(x9,{(10,21),(37,40)},p((x8,x9),(1))))))))),conc(p((31,19),(x6)),p((8,-2),(-19)))))),p((4,1),(0))));goodness : 34.6368 distance to original : 51 time need : 2542 greatness : 105 idv : 98617
conc(for(x1,{(8,8)},for(x2,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(25)),for(x3,{(x1,31)},for(x4,{(10,19),(37,40)},p((x3,x4),(1))))))))),conc(fun(x5,{(29,7,-1),(-1,29,1),(6,-8,1)},fun(x6,{(1,1,29),(-17,2,5)},conc(conc(p((17,20),(0)),conc(p((16,13),(1)),fun(x7,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x7,37),(25)),for(x8,{(15,31)},for(x9,{(10,21),(37,40)},p((x8,x9),(1))))))))),conc(p((31,19),(x6)),p((8,-2),(-19)))))),p((4,1),(0))));goodness : 35.241 distance to original : 50 time need : 2552 greatness : 105 idv : 108905
conc(for(x1,{(8,8)},for(x2,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(25)),for(x3,{(x1,31)},for(x4,{(10,19),(37,40)},p((x3,x4),(1))))))))),fun(x5,{(29,2,-1),(-1,29,1),(6,-8,1)},fun(x6,{(1,1,29),(-17,2,5)},conc(conc(p((17,20),(0)),conc(p((16,13),(1)),fun(x7,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x7,37),(25)),for(x8,{(15,31)},for(x9,{(10,21),(37,40)},p((x8,x9),(1))))))))),conc(p((31,19),(x6)),p((8,-2),(-19)))))));goodness : 35.3688 distance to original : 50 time need : 2547 greatness : 100 idv : 111449
fun(x1,{(2,1,1)},conc(for(x2,{(8,8)},for(x3,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(25)),for(x4,{(x2,31)},for(x5,{(10,19),(37,40)},p((x4,x5),(1))))))))),fun(x6,{(29,2,-1),(-1,29,1),(6,-8,1)},fun(x7,{(1,1,11),(-17,2,5)},conc(conc(p((17,20),(0)),conc(p((16,13),(1)),fun(x8,{(x1,11,-16),(5,-1,1)},conc(p((x8,37),(25)),for(x9,{(15,31)},for(x10,{(10,21),(37,40)},p((x9,x10),(1)))))))),conc(p((31,19),(x7)),p((8,-2),(-19))))))));goodness : 36.0321 distance to original : 49 time need : 2546 greatness : 99 idv : 112369
fun(x1,{(6,1,2)},conc(for(x2,{(8,8)},for(x3,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(29)),for(x4,{(10,19),(37,40)},for(x5,{(x2,31)},p((x5,x4),(1))))))))),conc(fun(x6,{(29,7,-1),(-1,29,1),(x1,-8,1)},fun(x7,{(1,1,29),(-17,2,5)},conc(conc(p((13,20),(0)),conc(p((16,13),(1)),fun(x8,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x8,37),(25)),for(x9,{(19,31)},for(x10,{(10,21),(37,40)},p((x9,x10),(1))))))))),conc(p((31,19),(x7)),p((8,-2),(-19)))))),p((4,1),(0)))));goodness : 37.2814 distance to original : 47 time need : 2286 greatness : 109 idv : 113475
fun(x1,{(6,1,2)},conc(for(x2,{(8,8)},for(x3,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(29)),for(x4,{(10,19),(37,40)},for(x5,{(x2,31)},p((x5,x4),(1))))))))),conc(fun(x6,{(29,7,-1),(-1,29,1),(x1,-8,1)},fun(x7,{(1,1,29),(-17,2,5)},conc(conc(p((16,13),(1)),fun(x8,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x8,37),(25)),for(x9,{(19,31)},for(x10,{(10,21),(37,40)},p((x9,x10),(1)))))))),conc(p((31,19),(x7)),p((8,-2),(-19)))))),p((4,1),(0)))));goodness : 37.4244 distance to original : 47 time need : 2281 greatness : 104 idv : 114612
fun(x1,{(6,1,2)},conc(for(x2,{(8,8)},for(x3,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(29)),for(x4,{(10,19),(37,40)},for(x5,{(x2,31)},p((x5,x4),(1))))))))),conc(fun(x6,{(29,7,-1),(-1,29,1),(x1,-8,1)},fun(x7,{(1,1,29),(-17,2,5)},conc(conc(p((16,13),(1)),fun(x8,{(2,11,-16),(5,2,1)},conc(p((4,-5),(1)),conc(p((x8,37),(25)),for(x9,{(19,31)},for(x10,{(10,21),(37,40)},p((x9,x10),(1)))))))),conc(p((31,19),(x7)),p((8,-2),(-19)))))),p((4,1),(0)))));goodness : 38.1381 distance to original : 46 time need : 2281 greatness : 104 idv : 118309
fun(x1,{(6,1,2)},conc(for(x2,{(8,8)},for(x3,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),for(x4,{(10,19),(37,40)},for(x5,{(x2,31)},p((x5,x4),(1)))))))),conc(fun(x6,{(29,7,-1),(-1,29,1),(x1,-8,1)},fun(x7,{(1,1,29),(-17,2,5)},conc(conc(p((16,13),(1)),fun(x8,{(2,11,-16),(5,2,1)},conc(p((4,-5),(1)),conc(p((x8,37),(25)),for(x9,{(19,31)},for(x10,{(10,21),(37,40)},p((x9,x10),(1)))))))),conc(p((31,19),(x7)),p((8,-2),(-19)))))),p((4,1),(0)))));goodness : 38.2878 distance to original : 46 time need : 2276 greatness : 99 idv : 118491
conc(for(x1,{(8,8)},for(x2,{(1,1)},conc(p((16,13),(1)),conc(p((4,16),(1)),conc(p((43,56),(29)),for(x3,{(10,19),(37,40)},for(x4,{(x1,31)},p((x4,x3),(1))))))))),conc(fun(x5,{(29,7,-1),(-1,29,1),(6,-8,1)},fun(x6,{(1,1,29),(-17,2,5)},conc(conc(p((16,13),(1)),fun(x7,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x7,37),(25)),for(x8,{(19,31),(18,19)},for(x9,{(10,21),(37,40)},p((x8,x9),(1)))))))),conc(p((31,19),(x6)),p((8,-2),(-19)))))),p((4,1),(0))));goodness : 38.8448 distance to original : 45 time need : 2407 greatness : 102 idv : 119970
conc(for(x1,{(4,4)},for(x2,{(1,1)},conc(for(x3,{(8,8)},conc(fun(x4,{(13,1,-1)},p((16,x4),(1))),conc(fun(x5,{(1,x1,1)},p((x5,16),(1))),for(x6,{(x3,31)},for(x7,{(12,19),(37,40)},p((x6,x7),(1))))))),conc(fun(x8,{(29,7,-1),(-1,29,-14),(6,-8,1)},fun(x9,{(1,1,29),(-17,2,5)},conc(conc(conc(p((29,20),(0)),p((20,24),(0))),conc(p((16,13),(1)),fun(x10,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x10,37),(25)),for(x11,{(15,31)},for(x12,{(10,21),(37,40)},p((x11,x12),(1))))))))),conc(p((31,19),(x9)),p((8,13),(-19)))))),p((4,9),(0)))))),p((13,25),(0)));goodness : 44.2341 distance to original : 38 time need : 2374 greatness : 121 idv : 122498
conc(for(x1,{(4,4)},for(x2,{(1,1)},conc(for(x3,{(8,8)},conc(fun(x4,{(13,1,-1)},p((16,x4),(1))),conc(fun(x5,{(1,x1,1)},p((x5,16),(1))),for(x6,{(x3,31)},for(x7,{(12,19),(37,40)},p((x6,x7),(1))))))),conc(fun(x8,{(1,1,29),(-17,2,5)},conc(conc(conc(p((29,20),(0)),p((20,24),(0))),conc(p((16,13),(1)),fun(x9,{(2,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x9,37),(25)),for(x10,{(15,31)},for(x11,{(10,21),(37,40)},p((x10,x11),(1))))))))),conc(p((31,19),(x8)),p((8,13),(-19))))),p((4,9),(0)))))),p((13,25),(0)));goodness : 44.6389 distance to original : 38 time need : 2364 greatness : 111 idv : 129714
conc(for(x1,{(4,4)},for(x2,{(1,1)},conc(conc(fun(x3,{(13,1,-1)},p((16,x3),(1))),conc(fun(x4,{(1,x1,1)},p((x4,16),(1))),for(x5,{(8,31)},for(x6,{(12,19),(37,40)},p((x5,x6),(1)))))),conc(fun(x7,{(1,1,29),(-17,2,5)},conc(conc(conc(p((29,20),(0)),p((20,24),(0))),conc(p((16,13),(1)),fun(x8,{(2,11,-16),(5,x7,1)},conc(p((4,10),(1)),conc(p((x8,37),(25)),for(x9,{(15,31)},for(x10,{(10,21),(37,40)},p((x9,x10),(1))))))))),conc(p((31,19),(x7)),p((8,13),(-19))))),p((4,9),(0)))))),p((13,25),(0)));goodness : 44.7598 distance to original : 38 time need : 2363 greatness : 108 idv : 131125
conc(for(x1,{(4,4)},for(x2,{(1,1)},conc(for(x3,{(8,8)},conc(fun(x4,{(13,1,-1)},p((16,x4),(1))),conc(fun(x5,{(1,x1,1)},p((x5,16),(1))),for(x6,{(x3,31)},for(x7,{(12,19),(37,40)},p((x6,x7),(1))))))),conc(fun(x8,{(1,1,29),(-17,2,5)},conc(conc(conc(p((29,20),(0)),p((20,24),(0))),conc(p((16,13),(1)),fun(x9,{(2,11,-16),(5,2,1)},conc(p((x9,37),(25)),for(x10,{(15,31)},for(x11,{(10,21),(37,40)},p((x10,x11),(1)))))))),conc(p((31,19),(x8)),p((8,13),(-19))))),p((4,9),(0)))))),p((13,25),(0)));goodness : 45.8726 distance to original : 37 time need : 2359 greatness : 106 idv : 132015
conc(for(x1,{(4,4)},for(x2,{(1,1)},conc(for(x3,{(8,8)},conc(fun(x4,{(13,1,-1)},p((16,x4),(1))),conc(fun(x5,{(1,x1,1)},p((x5,16),(1))),for(x6,{(x3,31)},for(x7,{(12,19),(37,40)},p((x6,x7),(1))))))),conc(fun(x8,{(1,1,29),(-17,2,5)},conc(conc(p((20,24),(0)),conc(p((16,13),(1)),fun(x9,{(2,11,-16),(5,2,1)},conc(p((x9,37),(25)),for(x10,{(15,31)},for(x11,{(10,21),(37,40)},p((x10,x11),(1)))))))),conc(p((31,19),(x8)),p((8,13),(-19))))),p((4,9),(0)))))),p((13,25),(0)));goodness : 47.1765 distance to original : 36 time need : 2354 greatness : 101 idv : 134952
conc(for(x1,{(4,4)},conc(for(x2,{(8,8)},conc(fun(x3,{(13,1,-1)},p((16,x3),(1))),conc(fun(x4,{(1,x1,1)},p((x4,16),(1))),for(x5,{(x2,31)},for(x6,{(12,19),(37,40)},p((x5,x6),(1))))))),conc(fun(x7,{(1,1,32),(-17,2,5)},conc(conc(p((16,13),(1)),fun(x8,{(2,11,-16),(5,2,1)},conc(p((x8,37),(25)),for(x9,{(15,31)},for(x10,{(10,21),(37,40)},p((x9,x10),(1))))))),conc(p((31,19),(x7)),p((8,13),(-19))))),p((4,9),(0))))),p((13,25),(0)));goodness : 47.5421 distance to original : 36 time need : 2348 greatness : 93 idv : 137386
conc(fun(x1,{(6,1,2)},fun(x2,{(1,1,29),(-17,2,5)},conc(conc(p((16,13),(1)),conc(p((4,-5),(1)),conc(p((23,37),(25)),for(x3,{(19,31)},for(x4,{(10,21),(37,40)},p((x3,x4),(1))))))),conc(p((31,19),(9)),p((8,-2),(-19)))))),conc(for(x5,{(4,4)},for(x6,{(1,1)},conc(for(x7,{(8,8)},conc(fun(x8,{(13,1,-1)},p((35,x8),(1))),conc(fun(x9,{(1,25,1)},p((x9,16),(1))),for(x10,{(x5,31)},for(x11,{(12,19),(37,40)},p((x10,x11),(1))))))),conc(fun(x12,{(29,7,-1),(-1,29,-4),(6,-8,1)},fun(x13,{(1,1,29),(-17,2,5)},conc(conc(conc(p((20,20),(0)),p((20,24),(0))),conc(p((-1,13),(1)),fun(x14,{(13,11,-16),(5,2,1)},conc(p((4,10),(1)),conc(p((x14,37),(25)),for(x15,{(50,40)},for(x16,{(15,31)},p((x16,x15),(1))))))))),conc(p((31,19),(x13)),p((8,13),(-19)))))),p((5,9),(0)))))),p((13,25),(0))));goodness : 50.2172 distance to original : 30 time need : 3107 greatness : 168 idv : 137855
conc(fun(x1,{(6,1,2)},fun(x2,{(1,1,29),(-17,2,5)},conc(conc(p((16,13),(1)),conc(p((4,-5),(1)),conc(p((23,37),(25)),for(x3,{(19,31),(19,24)},for(x4,{(10,21),(37,40)},p((x3,x4),(1))))))),conc(p((31,19),(9)),p((8,-2),(-19)))))),conc(for(x5,{(4,4)},for(x6,{(1,1)},conc(for(x7,{(8,8)},conc(fun(x8,{(13,1,-1)},p((35,x8),(1))),conc(fun(x9,{(1,25,1)},p((x9,16),(1))),for(x10,{(x5,31)},for(x11,{(12,19),(37,40)},p((x10,x11),(1))))))),conc(fun(x12,{(29,7,-1),(-1,29,-4),(6,-8,1)},fun(x13,{(1,1,29),(-17,2,5)},conc(conc(p((20,20),(0)),p((20,24),(0))),conc(p((31,19),(x13)),p((8,13),(-19)))))),p((5,9),(0)))))),p((13,25),(0))));goodness : 53.7721 distance to original : 29 time need : 2714 greatness : 137 idv : 138052
conc(for(x1,{(4,4)},fun(x2,{(1,x1,1)},for(x3,{(8,31)},for(x4,{(12,19),(37,40)},p((x3,x4),(1)))))),conc(p((15,25),(0)),fun(x5,{(6,1,2)},fun(x6,{(1,1,29),(-17,x5,5)},for(x7,{(19,31)},for(x8,{(10,21),(37,40)},p((x7,x8),(1))))))));goodness : 60.6704 distance to original : 29 time need : 2045 greatness : 48 idv : 143687
conc(conc(p((6,30),(0)),for(x1,{(4,4)},fun(x2,{(1,x1,1)},for(x3,{(8,23)},for(x4,{(12,19),(37,40)},p((x3,x4),(1))))))),conc(p((15,25),(0)),fun(x5,{(6,1,2)},fun(x6,{(1,1,29),(-17,x5,5)},for(x7,{(19,31)},for(x8,{(10,21),(37,40)},p((x7,x8),(1))))))));goodness : 61.0165 distance to original : 29 time need : 1658 greatness : 53 idv : 148221
conc(conc(p((6,30),(0)),for(x1,{(4,4)},for(x2,{(8,31)},for(x3,{(12,19),(37,40)},p((x2,x3),(1)))))),conc(p((15,25),(0)),for(x4,{(19,31)},for(x5,{(10,21),(37,40)},p((x4,x5),(1))))));goodness : 61.4345 distance to original : 29 time need : 2035 greatness : 38 idv : 152557
conc(for(x1,{(8,8)},conc(p((17,7),(0)),conc(p((x13,16),(1)),for(x2,{(12,19),(37,40)},for(x3,{(x1,31)},p((x3,x2),(1))))))),for(x4,{(19,31)},for(x5,{(10,21),(37,40)},p((x4,x5),(1)))));goodness : 61.4571 distance to original : 29 time need : 2023 greatness : 38 idv : 155237
conc(conc(p((14,30),(0)),conc(for(x1,{(19,31)},for(x2,{(10,21),(37,40)},p((x1,x2),(1)))),for(x3,{(8,31)},for(x4,{(12,19),(37,40)},p((x3,x4),(1)))))),p((15,25),(0)));goodness : 61.6637 distance to original : 29 time need : 2034 greatness : 35 idv : 158869
conc(p((14,30),(0)),conc(for(x1,{(19,31)},for(x2,{(10,21),(37,40)},p((x1,x2),(1)))),for(x3,{(8,31)},for(x4,{(12,19),(37,40)},p((x3,x4),(1))))));goodness : 62.0559 distance to original : 29 time need : 2029 greatness : 30 idv : 162925
conc(conc(conc(p((6,30),(0)),for(x1,{(4,4)},fun(x2,{(1,x1,1)},for(x3,{(x1,23)},for(x4,{(12,19),(37,40)},p((x3,x4),(1))))))),conc(p((15,25),(0)),fun(x5,{(6,1,2)},fun(x6,{(1,1,29),(-17,x5,5)},for(x7,{(19,31),(18,23)},for(x8,{(10,21),(37,40)},p((x7,x8),(1)))))))),for(x9,{(8,8)},conc(p((17,7),(0)),for(x10,{(12,19),(37,40)},for(x11,{(x9,31)},p((x11,x10),(1)))))));goodness : 63.5809 distance to original : 25 time need : 3416 greatness : 76 idv : 165785
conc(conc(for(x1,{(8,31)},for(x2,{(12,19),(37,40)},p((x1,x2),(1)))),conc(p((15,25),(0)),fun(x3,{(6,1,17)},conc(for(x4,{(19,31)},for(x5,{(10,21),(37,40)},p((x4,x5),(1)))),conc(p((15,25),(0)),fun(x6,{(6,1,2)},fun(x7,{(1,1,29),(-17,x6,5)},for(x8,{(19,31),(18,23)},for(x9,{(10,21),(37,40)},p((x8,x9),(1))))))))))),p((7,38),(0)));goodness : 64.3273 distance to original : 25 time need : 3291 greatness : 70 idv : 167131
conc(for(x1,{(4,4)},fun(x2,{(1,x1,1)},for(x3,{(x1,23)},for(x4,{(12,19),(37,40)},p((x3,x4),(1)))))),conc(p((15,25),(0)),fun(x5,{(6,1,2)},fun(x6,{(1,1,29),(-17,x5,5)},for(x7,{(19,31),(18,23)},for(x8,{(10,21),(37,40)},p((x7,x8),(1))))))));goodness : 68.4018 distance to original : 25 time need : 2239 greatness : 50 idv : 170674
conc(conc(for(x1,{(4,4)},for(x2,{(x1,23)},for(x3,{(12,19),(37,39)},p((x2,x3),(1))))),conc(p((5,25),(0)),for(x4,{(19,31),(18,23)},for(x5,{(10,21),(37,40)},p((x4,x5),(1)))))),for(x6,{(8,8)},for(x7,{(x6,31)},p((x7,36),(1)))));goodness : 68.7687 distance to original : 25 time need : 2243 greatness : 46 idv : 179794
conc(for(x1,{(4,4)},for(x2,{(x1,23)},for(x3,{(12,19),(37,40)},p((x2,x3),(1))))),conc(p((15,25),(0)),fun(x4,{(6,1,2)},fun(x5,{(1,1,29),(-4,x4,5)},for(x6,{(19,31),(18,23)},for(x7,{(10,21),(37,40)},p((x6,x7),(1))))))));goodness : 68.7876 distance to original : 25 time need : 2235 greatness : 46 idv : 180538
conc(conc(for(x1,{(4,4)},for(x2,{(x1,23)},for(x3,{(12,19),(37,39)},p((x2,x3),(1))))),for(x4,{(19,31),(18,23)},for(x5,{(10,21),(37,40)},p((x4,x5),(1))))),for(x6,{(8,8)},for(x7,{(x6,31)},p((x7,36),(1)))));goodness : 69.2569 distance to original : 25 time need : 2238 greatness : 41 idv : 181739
conc(for(x1,{(4,4)},for(x2,{(x1,23)},for(x3,{(12,19),(37,39)},p((x2,x3),(1))))),conc(p((15,25),(0)),for(x4,{(19,31),(18,23)},for(x5,{(10,21),(37,40)},p((x4,x5),(1))))));goodness : 70.0673 distance to original : 25 time need : 2144 greatness : 35 idv : 182791
conc(for(x1,{(4,4)},for(x2,{(x1,23)},for(x3,{(12,19),(37,39)},p((x2,x3),(1))))),conc(p((15,25),(0)),for(x4,{(23,31),(18,23)},for(x5,{(10,21),(37,40)},p((x4,x5),(1))))));goodness : 70.7114 distance to original : 25 time need : 1884 greatness : 35 idv : 185258
conc(for(x1,{(4,4)},for(x2,{(x1,23)},for(x3,{(12,19),(37,39)},p((x2,x3),(1))))),for(x4,{(23,31),(18,23)},for(x5,{(10,21),(37,40)},p((x4,x5),(1)))));goodness : 71.2276 distance to original : 25 time need : 1879 greatness : 30 idv : 186883
conc(for(x1,{(4,23)},for(x2,{(12,19),(37,39)},p((x1,x2),(1)))),for(x3,{(23,31),(18,23)},for(x4,{(10,21),(37,40)},p((x3,x4),(1)))));goodness : 71.5359 distance to original : 25 time need : 1878 greatness : 27 idv : 191375
conc(for(x1,{(12,19),(37,39)},for(x2,{(4,23)},p((x2,x1),(1)))),for(x3,{(23,31),(18,23)},for(x4,{(10,21),(37,40)},p((x3,x4),(1)))));goodness : 71.5589 distance to original : 25 time need : 1869 greatness : 27 idv : 198686
conc(for(x1,{(12,19),(39,39)},for(x2,{(4,23)},p((x2,x1),(1)))),for(x3,{(23,31),(18,23)},for(x4,{(10,21),(37,40)},p((x3,x4),(1)))));goodness : 71.9761 distance to original : 25 time need : 1707 greatness : 27 idv : 199028
conc(for(x1,{(10,21)},for(x2,{(23,31),(18,23)},p((x2,x1),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(4,23)},p((x4,x3),(1)))));goodness : 72.8226 distance to original : 25 time need : 1464 greatness : 25 idv : 218449
conc(for(x1,{(10,21)},for(x2,{(23,31),(18,23)},p((x2,x1),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(4,17)},p((x4,x3),(1)))));goodness : 73.3999 distance to original : 25 time need : 1248 greatness : 25 idv : 251255
conc(for(x1,{(10,21)},for(x2,{(24,31),(18,23)},p((x2,x1),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(4,17)},p((x4,x3),(1)))));goodness : 73.5294 distance to original : 25 time need : 1200 greatness : 25 idv : 259137
conc(conc(conc(for(x1,{(23,23)},conc(p((6,1),(0)),for(x2,{(10,21),(46,46)},p((23,x2),(1))))),conc(for(x3,{(10,31),(18,29)},p((x3,39),(1))),for(x4,{(10,21)},for(x5,{(24,31),(18,23)},p((x5,x4),(1)))))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),conc(p((24,20),(-1)),fun(x8,{(1,37,1)},conc(for(x9,{(0,14),(x8,39)},p((9,39),(1))),for(x10,{(3,23)},for(x11,{(12,19),(33,39),(89,89)},p((x10,17),(1))))))));goodness : 76.3709 distance to original : 20 time need : 2708 greatness : 87 idv : 315324
conc(conc(conc(for(x1,{(23,23)},conc(p((6,1),(0)),for(x2,{(10,21),(46,46)},p((23,x2),(1))))),conc(for(x3,{(10,31),(18,29)},p((x3,39),(1))),for(x4,{(10,21)},for(x5,{(24,31),(18,23)},p((x5,x4),(1)))))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),conc(p((24,20),(-1)),fun(x8,{(1,37,1)},conc(for(x9,{(7,14),(x8,39)},p((9,39),(1))),for(x10,{(3,23)},for(x11,{(12,19),(33,39),(89,89)},p((x10,17),(1))))))));goodness : 76.4526 distance to original : 20 time need : 2680 greatness : 87 idv : 318412
conc(conc(conc(for(x1,{(10,31),(18,29)},p((x1,39),(1))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),for(x4,{(12,19),(39,39)},for(x5,{(8,17)},p((x5,x4),(1))))),conc(p((24,20),(-1)),fun(x6,{(1,37,1)},conc(for(x7,{(0,14),(x6,39)},p((9,39),(1))),for(x8,{(3,23)},for(x9,{(12,19),(33,39),(89,89)},p((x8,17),(1))))))));goodness : 78.7154 distance to original : 20 time need : 2648 greatness : 69 idv : 319255
conc(conc(conc(for(x1,{(23,23)},conc(p((6,1),(0)),for(x2,{(10,21),(46,46)},p((20,x2),(1))))),conc(for(x3,{(10,15),(18,29)},p((x3,39),(1))),for(x4,{(10,21)},for(x5,{(24,31),(18,23)},p((x5,x4),(1)))))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),conc(p((35,16),(-1)),fun(x8,{(1,37,1)},conc(p((9,39),(1)),for(x9,{(3,23)},p((x9,17),(1)))))));goodness : 82.3384 distance to original : 20 time need : 1290 greatness : 75 idv : 322733
conc(conc(conc(conc(for(x1,{(23,23)},conc(p((6,1),(0)),for(x2,{(10,21),(46,46)},p((20,x2),(1))))),p((2,15),(1))),conc(for(x3,{(10,15),(18,29)},p((x3,39),(1))),for(x4,{(10,21)},for(x5,{(24,31),(18,23)},p((x5,x4),(1)))))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),conc(p((35,16),(-1)),fun(x8,{(1,37,1)},conc(p((9,39),(1)),for(x9,{(3,23)},p((x9,17),(1)))))));goodness : 85.1245 distance to original : 19 time need : 1295 greatness : 80 idv : 325667
conc(conc(conc(conc(conc(p((6,1),(0)),for(x1,{(10,21),(46,46)},p((20,x1),(1)))),p((2,15),(1))),conc(for(x2,{(10,15),(18,29)},p((x2,39),(1))),for(x3,{(10,21)},for(x4,{(24,31),(18,23)},p((x4,x3),(1)))))),for(x5,{(12,19),(39,39)},for(x6,{(8,17)},p((x6,x5),(1))))),conc(p((35,16),(-1)),fun(x7,{(1,37,1)},conc(p((9,39),(1)),for(x8,{(3,23)},p((x8,17),(1)))))));goodness : 85.5652 distance to original : 19 time need : 1294 greatness : 77 idv : 329011
conc(for(x1,{(12,19),(39,39)},for(x2,{(8,17)},p((x2,x1),(1)))),conc(p((35,16),(-1)),conc(conc(fun(x3,{(18,1,2)},fun(x4,{(6,-1,1)},for(x5,{(10,21)},for(x6,{(23,31),(x3,23)},p((x6,x5),(1)))))),p((9,39),(1))),for(x7,{(3,23)},p((x7,17),(1))))));goodness : 86.0289 distance to original : 20 time need : 1208 greatness : 51 idv : 332572
conc(conc(conc(conc(for(x1,{(23,23)},for(x2,{(10,21),(46,46)},p((20,x2),(1)))),p((2,15),(1))),conc(for(x3,{(10,15),(18,29)},p((x3,39),(1))),for(x4,{(10,21)},for(x5,{(24,31),(18,23)},p((x5,x4),(1)))))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),conc(p((35,16),(-1)),fun(x8,_,conc(p((9,39),(1)),for(x9,{(3,23)},p((x9,17),(1)))))));goodness : 86.3297 distance to original : 19 time need : 1287 greatness : 72 idv : 337076
conc(p((4,14),(1)),for(x1,{(10,10)},fun(x2,{(1,1,1)},conc(conc(conc(for(x3,{(x1,21)},for(x4,{(24,31),(18,23)},p((x4,x3),(x2)))),for(x5,{(10,42),(18,29)},p((12,39),(-8)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),conc(p((35,16),(-1)),fun(x8,{(14,37,1)},conc(for(x9,{(3,23)},p((x9,17),(1))),p((9,39),(1)))))))));goodness : 86.5501 distance to original : 19 time need : 1348 greatness : 69 idv : 342381
conc(p((4,14),(1)),for(x1,{(10,10)},fun(x2,{(1,1,1)},conc(conc(conc(for(x3,{(x1,21)},for(x4,{(24,31),(18,23)},p((x4,x3),(x2)))),for(x5,{(10,42),(18,29)},p((12,39),(-8)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),conc(p((35,16),(-1)),fun(x8,_,conc(for(x9,{(3,23)},p((x9,17),(1))),p((9,39),(1)))))))));goodness : 87.0133 distance to original : 19 time need : 1345 greatness : 66 idv : 342590
conc(conc(conc(for(x1,{(10,21)},for(x2,{(24,31),(18,23)},p((x2,x1),(1)))),for(x3,{(10,31),(11,29)},p((x3,53),(1)))),for(x4,{(12,19),(39,54)},for(x5,{(8,17)},p((x5,x4),(1))))),conc(for(x6,{(3,23)},p((x6,14),(1))),conc(for(x7,{(12,19),(39,39)},for(x8,{(8,17)},p((x8,x7),(1)))),conc(p((35,16),(-1)),fun(x9,{(-14,37,1)},conc(conc(for(x10,{(7,7)},fun(x11,{(x10,6,-1),(0,x10,-18)},fun(x12,{(18,1,2)},fun(x13,{(6,-1,1)},for(x14,{(10,21)},for(x15,{(23,31),(x12,23)},p((x15,x14),(1)))))))),p((9,39),(1))),for(x16,{(3,33)},p((x16,17),(1)))))))));goodness : 88.7154 distance to original : 15 time need : 3184 greatness : 109 idv : 342951
conc(for(x1,{(12,19),(39,54)},for(x2,{(8,17)},p((x2,x1),(1)))),conc(for(x3,{(3,23)},p((x3,14),(1))),conc(for(x4,{(12,19),(39,39)},conc(p((8,4),(0)),for(x5,{(8,17)},p((x5,x4),(1))))),conc(p((35,16),(8)),fun(x6,{(-14,37,1)},conc(conc(for(x7,{(7,7)},fun(x8,{(x7,6,-1),(0,x7,-18)},fun(x9,{(18,1,2)},fun(x10,{(6,-1,1)},for(x11,{(10,21)},for(x12,{(23,31),(x9,23)},p((x12,x11),(1)))))))),p((9,39),(1))),for(x13,{(3,33)},p((x13,17),(1)))))))));goodness : 95.1611 distance to original : 15 time need : 2377 greatness : 91 idv : 344741
conc(for(x1,{(39,54)},for(x2,{(8,17)},p((x2,x1),(1)))),conc(for(x3,{(3,23)},p((x3,14),(1))),conc(for(x4,{(12,19),(39,39)},conc(p((8,4),(0)),for(x5,{(8,17)},p((x5,x4),(1))))),conc(p((35,16),(8)),fun(x6,{(-14,37,1)},conc(conc(for(x7,{(7,7)},fun(x8,{(x7,6,-1),(0,x7,-18)},fun(x9,{(18,1,2)},fun(x10,{(6,-1,1)},for(x11,{(10,21)},for(x12,{(23,31),(x9,23)},p((x12,x11),(1)))))))),p((9,39),(1))),for(x13,{(3,33)},p((x13,17),(1)))))))));goodness : 97.045 distance to original : 15 time need : 2049 greatness : 89 idv : 350274
conc(for(x1,{(39,54)},for(x2,{(8,17)},p((x2,x1),(1)))),conc(for(x3,{(3,23)},p((x3,14),(1))),conc(for(x4,{(12,19),(39,39)},conc(p((8,4),(0)),for(x5,{(8,17)},p((x5,x4),(1))))),conc(p((35,3),(8)),fun(x6,{(-14,37,1)},conc(conc(for(x7,{(7,7)},fun(x8,{(x7,6,-1),(0,x7,-18)},fun(x9,{(18,1,2)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))))),p((9,39),(1))),for(x12,{(3,33)},p((x12,17),(1)))))))));goodness : 97.8234 distance to original : 15 time need : 2045 greatness : 85 idv : 354448
conc(for(x1,{(39,54)},for(x2,{(8,17)},p((x2,x1),(1)))),conc(for(x3,{(3,23)},p((x3,14),(1))),conc(for(x4,{(12,19),(39,39)},conc(p((8,4),(0)),for(x5,{(8,17)},p((x5,x4),(1))))),conc(p((35,16),(8)),fun(x6,{(-14,37,1)},conc(conc(fun(x7,{(18,1,2)},for(x8,{(10,21)},for(x9,{(23,31),(x7,23)},p((x9,x8),(1))))),p((9,39),(1))),for(x10,{(3,33)},p((x10,17),(1)))))))));goodness : 99.8153 distance to original : 15 time need : 2037 greatness : 75 idv : 358128
conc(for(x1,{(39,54)},p((8,x1),(1))),conc(for(x2,{(3,23)},p((x2,14),(1))),conc(for(x3,{(12,19),(39,39)},conc(p((8,4),(0)),for(x4,{(8,17)},p((x4,x3),(1))))),conc(p((35,3),(10)),fun(x5,{(-14,37,1)},conc(conc(for(x6,{(7,7)},fun(x7,{(x6,6,-1),(0,x6,-18)},fun(x8,{(18,1,2)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))))),p((9,39),(1))),for(x11,{(3,33)},p((x11,17),(1)))))))));goodness : 101.353 distance to original : 15 time need : 1453 greatness : 82 idv : 359487
conc(for(x1,{(3,23)},p((x1,14),(1))),conc(for(x2,{(12,19),(39,39)},conc(p((8,4),(0)),for(x3,{(8,17)},p((x3,x2),(1))))),conc(p((35,16),(8)),fun(x4,{(-14,37,1)},conc(conc(for(x5,{(7,7)},fun(x6,{(x5,6,-1),(0,x5,-18)},fun(x7,{(18,1,2)},fun(x8,{(6,-1,1)},for(x9,{(10,21)},for(x10,{(23,31),(x7,23)},p((x10,x9),(1)))))))),p((9,39),(1))),for(x11,{(3,33)},p((x11,17),(1))))))));goodness : 102.506 distance to original : 15 time need : 1391 greatness : 78 idv : 359950
conc(for(x1,{(3,23)},p((x1,14),(1))),conc(for(x2,{(12,19),(39,39)},conc(p((8,4),(0)),for(x3,{(8,17)},p((x3,x2),(1))))),conc(p((35,16),(8)),fun(x4,{(-14,37,1)},conc(conc(fun(x5,{(18,1,2)},for(x6,{(10,21)},for(x7,{(23,31),(x5,23)},p((x7,x6),(1))))),p((9,39),(1))),for(x8,{(3,33)},p((x8,17),(1))))))));goodness : 105.602 distance to original : 15 time need : 1379 greatness : 64 idv : 360711
conc(for(x1,{(3,18)},p((x1,14),(1))),conc(for(x2,{(12,19),(39,39)},conc(p((8,4),(0)),for(x3,{(8,17)},p((x3,x2),(1))))),conc(p((35,16),(8)),fun(x4,{(-14,37,1)},conc(conc(fun(x5,{(18,1,2)},for(x6,{(10,21)},for(x7,{(23,31),(x5,23)},p((x7,x6),(1))))),p((9,39),(1))),for(x8,{(3,33)},p((x8,17),(1))))))));goodness : 105.714 distance to original : 15 time need : 1359 greatness : 64 idv : 366172
conc(for(x1,{(3,23)},p((x1,14),(1))),conc(for(x2,{(12,19),(39,39)},conc(p((8,4),(0)),for(x3,{(8,17)},p((x3,x2),(1))))),conc(p((35,16),(8)),conc(conc(fun(x4,{(18,1,2)},for(x5,{(10,21)},for(x6,{(23,31),(x4,23)},p((x6,x5),(1))))),p((9,39),(1))),for(x7,{(3,33)},p((x7,17),(1)))))));goodness : 106.525 distance to original : 15 time need : 1375 greatness : 60 idv : 367887
for(x1,{(6,6)},fun(x2,{(7,1,2)},conc(for(x3,{(39,54)},for(x4,{(x1,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(fun(x6,{(14,2,2)},fun(x7,_,for(x8,{(3,23)},p((x8,15),(1))))),for(x9,{(12,19),(39,39)},conc(p((8,4),(0)),for(x10,{(8,17)},p((x10,x9),(1)))))),conc(for(x11,{(3,23)},p((x11,17),(1))),conc(for(x12,{(12,19),(39,45)},conc(p((3,4),(0)),for(x13,{(8,17)},p((x13,x12),(1))))),conc(p((35,16),(8)),fun(x14,{(-14,37,1)},conc(conc(fun(x15,{(18,1,2)},for(x16,{(10,21)},for(x17,{(23,31),(x15,23)},p((x17,x16),(1))))),p((9,39),(1))),for(x18,{(3,33)},p((x18,17),(1)))))))))))));goodness : 111.863 distance to original : 10 time need : 3039 greatness : 121 idv : 377775
for(x1,{(6,6)},fun(x2,{(7,1,2)},conc(for(x3,{(39,54)},for(x4,{(x1,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(fun(x6,_,for(x7,{(3,32)},p((x7,15),(1)))),for(x8,{(12,19),(39,39)},conc(p((8,4),(0)),for(x9,{(8,17)},p((x9,x8),(1)))))),conc(for(x10,{(3,23)},p((x10,17),(1))),conc(for(x11,{(12,19),(39,45)},conc(p((3,4),(0)),for(x12,{(8,17)},p((x12,x11),(1))))),conc(p((35,16),(8)),fun(x13,{(-14,37,1)},conc(conc(fun(x14,{(18,1,2)},for(x15,{(10,21)},for(x16,{(23,31),(x14,23)},p((x16,x15),(1))))),p((9,39),(1))),for(x17,{(3,33)},p((x17,17),(1)))))))))))));goodness : 112.67 distance to original : 10 time need : 3071 greatness : 117 idv : 381333
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,{(39,54)},for(x4,{(x1,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(fun(x6,{(14,-8,2)},fun(x7,_,for(x8,{(3,23)},p((x8,15),(1))))),for(x9,{(12,19),(39,39)},conc(p((8,4),(0)),for(x10,{(8,17)},p((x10,x9),(1)))))),conc(for(x11,{(3,23)},p((x11,17),(1))),conc(for(x12,{(12,19),(39,45)},conc(p((3,4),(0)),for(x13,{(8,17)},p((x13,x12),(1))))),fun(x14,{(-14,37,1)},conc(conc(fun(x15,{(18,1,2)},for(x16,{(10,21)},for(x17,{(23,31),(x15,23)},p((x17,x16),(1))))),p((9,39),(1))),for(x18,{(3,33)},p((x18,17),(1))))))))))));goodness : 113.161 distance to original : 10 time need : 3034 greatness : 116 idv : 381959
fun(x1,{(14,-8,2)},for(x2,{(6,6)},fun(x3,{(7,1,-13)},conc(for(x4,_,for(x5,{(x2,17)},p((x5,x4),(1)))),conc(for(x6,{(3,23)},p((x6,14),(1))),conc(conc(for(x7,{(3,23)},p((x7,15),(1))),for(x8,{(12,19),(39,39)},conc(p((8,4),(0)),for(x9,{(8,17)},p((x9,x8),(1)))))),fun(x10,_,conc(for(x11,{(3,23)},p((x11,17),(1))),conc(for(x12,{(12,19),(39,45)},conc(p((3,4),(0)),for(x13,{(8,17)},p((x13,x12),(1))))),fun(x14,{(-14,37,1)},conc(conc(fun(x15,{(18,1,2)},for(x16,{(10,21)},for(x17,{(23,31),(x15,23)},p((x17,x16),(1))))),p((9,39),(1))),for(x18,{(3,33)},p((x18,17),(1))))))))))))));goodness : 118.977 distance to original : 10 time need : 2250 greatness : 114 idv : 382230
fun(x1,{(14,1,2)},conc(p((12,16),(1)),fun(x2,{(x1,-8,2)},for(x3,{(6,6)},fun(x4,{(7,1,-13)},conc(for(x5,_,for(x6,{(x3,17)},p((x6,x5),(1)))),conc(for(x7,{(3,23)},p((x7,14),(1))),conc(conc(for(x8,{(-5,23)},p((x8,15),(1))),for(x9,{(12,19),(39,39)},conc(p((8,4),(0)),for(x10,{(8,17)},p((x10,x9),(1)))))),fun(x11,_,conc(for(x12,{(3,23)},p((x12,17),(1))),conc(for(x13,{(12,19),(39,45)},conc(p((3,4),(0)),for(x14,{(8,17)},p((x14,x13),(-6))))),fun(x15,{(-14,37,1)},conc(conc(fun(x16,{(18,1,2)},for(x17,{(10,21)},for(x18,{(23,31),(x16,23)},p((x18,x17),(1))))),p((9,39),(1))),for(x19,{(10,33)},p((x19,17),(1))))))))))))))));goodness : 123.586 distance to original : 9 time need : 2263 greatness : 123 idv : 387204
fun(x1,{(14,1,2)},conc(p((12,16),(1)),fun(x2,{(x1,-8,2)},for(x3,{(6,6)},fun(x4,{(7,1,-13)},conc(for(x5,_,for(x6,{(x3,17)},p((x6,x5),(1)))),conc(for(x7,{(3,23)},p((x7,14),(1))),conc(conc(for(x8,{(-5,23)},p((x8,15),(1))),for(x9,{(12,19),(39,39)},conc(p((8,4),(0)),for(x10,{(8,17)},p((x10,x9),(1)))))),fun(x11,_,conc(for(x12,{(3,23)},p((x12,17),(1))),conc(for(x13,{(12,19),(39,41)},conc(p((3,4),(0)),for(x14,{(8,17)},p((x14,x13),(-6))))),fun(x15,{(-14,37,1)},conc(conc(fun(x16,{(18,1,2)},for(x17,{(10,21)},for(x18,{(23,31),(x16,23)},p((x18,x17),(1))))),p((9,39),(1))),for(x19,{(10,33)},p((x19,17),(1))))))))))))))));goodness : 125.008 distance to original : 9 time need : 2079 greatness : 123 idv : 387820
fun(x1,{(14,1,2)},conc(p((12,16),(1)),for(x2,{(6,6)},fun(x3,{(7,1,-13)},conc(for(x4,_,for(x5,{(x2,17)},p((x5,x4),(1)))),conc(for(x6,{(3,23)},p((x6,14),(1))),conc(conc(for(x7,{(-5,23)},p((x7,15),(1))),for(x8,{(12,19),(39,39)},conc(p((8,4),(0)),for(x9,{(8,17)},p((x9,x8),(1)))))),fun(x10,_,conc(for(x11,{(3,23)},p((x11,17),(1))),conc(for(x12,{(12,19),(39,45)},conc(p((3,4),(0)),for(x13,{(8,17)},p((x13,x12),(-6))))),conc(conc(fun(x14,{(18,1,0)},for(x15,{(10,21)},for(x16,{(23,31),(x14,23)},p((x16,x15),(1))))),p((9,39),(1))),for(x17,{(10,33)},p((x17,17),(1))))))))))))));goodness : 126.143 distance to original : 9 time need : 2255 greatness : 115 idv : 388217
conc(p((12,16),(1)),fun(x1,{(14,-8,2)},for(x2,{(6,6)},fun(x3,{(7,1,-13)},conc(for(x4,_,for(x5,{(x3,17)},p((x5,x4),(1)))),conc(for(x6,{(3,23)},p((x6,14),(1))),conc(conc(for(x7,{(-5,23)},p((x7,15),(1))),for(x8,{(12,19),(39,39)},conc(p((8,4),(0)),for(x9,{(8,17)},p((x9,x8),(1)))))),fun(x10,_,conc(for(x11,{(3,23)},p((x11,17),(1))),conc(for(x12,{(12,19),(39,41)},conc(p((3,4),(0)),for(x13,{(8,17)},p((x13,x12),(-6))))),fun(x14,{(-14,37,1)},conc(conc(fun(x15,{(18,1,2)},for(x16,{(10,21)},for(x17,{(23,31),(x15,23)},p((x17,x16),(1))))),p((9,39),(1))),for(x18,{(10,33)},p((x18,17),(1)))))))))))))));goodness : 126.302 distance to original : 9 time need : 2075 greatness : 119 idv : 389956
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,_,for(x4,{(x1,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(for(x6,{(3,23)},p((x6,15),(1))),for(x7,{(12,19),(39,39)},conc(p((8,4),(0)),for(x8,{(8,17)},p((x8,x7),(1)))))),fun(x9,_,conc(for(x10,{(2,23)},p((x10,17),(1))),conc(fun(x11,{(-14,37,1)},conc(conc(fun(x12,{(18,1,2)},for(x13,{(10,21)},for(x14,{(23,31),(x12,23)},p((x14,x13),(1))))),p((9,39),(1))),for(x15,{(3,33)},p((x15,17),(1))))),for(x16,{(12,19),(39,45)},conc(p((3,4),(0)),for(x17,{(8,17)},p((x17,x16),(-6)))))))))))));goodness : 127.796 distance to original : 9 time need : 2250 greatness : 110 idv : 392210
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,_,for(x4,{(x1,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(for(x6,{(3,23)},p((x6,15),(1))),for(x7,{(12,19),(39,39)},conc(p((8,4),(0)),for(x8,{(8,17)},p((x8,x7),(1)))))),fun(x9,_,conc(for(x10,{(2,23)},p((x10,17),(1))),conc(fun(x11,{(-14,37,1)},conc(conc(fun(x12,{(18,1,2)},for(x13,{(10,21)},for(x14,{(23,31),(x12,23)},p((x14,x13),(1))))),p((9,39),(1))),for(x15,{(16,33)},p((x15,17),(1))))),for(x16,{(12,19),(39,45)},conc(p((3,4),(0)),for(x17,{(8,17)},p((x17,x16),(-6)))))))))))));goodness : 128.222 distance to original : 9 time need : 2198 greatness : 110 idv : 393624
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,_,for(x4,{(x1,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(for(x6,{(3,23)},p((x6,15),(1))),for(x7,{(12,19),(39,39)},conc(p((8,4),(0)),for(x8,{(8,17)},p((x8,x7),(1)))))),fun(x9,_,conc(for(x10,{(2,23)},p((x10,17),(1))),conc(conc(conc(fun(x11,{(18,1,2)},for(x12,{(10,21)},for(x13,{(23,31),(x11,23)},p((x13,x12),(1))))),p((9,39),(1))),for(x14,{(3,33)},p((x14,17),(1)))),for(x15,{(12,19),(39,45)},conc(p((3,4),(0)),for(x16,{(8,17)},p((x16,x15),(-6)))))))))))));goodness : 129.149 distance to original : 9 time need : 2246 greatness : 106 idv : 394485
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,_,for(x4,{(x2,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(for(x6,{(3,23)},p((x6,15),(1))),for(x7,{(12,19),(39,39)},conc(p((8,4),(0)),for(x8,{(8,17)},p((x8,x7),(1)))))),fun(x9,_,conc(for(x10,{(2,23)},p((x10,17),(1))),conc(conc(fun(x11,{(18,1,2)},for(x12,{(10,21)},for(x13,{(23,31),(x11,23)},p((x13,x12),(1))))),p((9,39),(1))),for(x14,{(3,33)},p((x14,17),(1)))))))))));goodness : 142.106 distance to original : 9 time need : 1554 greatness : 88 idv : 395034
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,_,for(x4,{(x2,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(for(x6,{(3,23)},p((x6,15),(1))),conc(p((8,4),(0)),for(x7,{(8,17)},for(x8,{(12,19),(39,39)},p((x7,x8),(1)))))),fun(x9,_,conc(for(x10,{(2,23)},p((x10,17),(1))),conc(conc(fun(x11,{(18,1,x2)},for(x12,{(10,21)},for(x13,{(23,31),(x11,23)},p((x13,x12),(1))))),p((9,39),(1))),for(x14,{(3,33)},p((x14,17),(1)))))))))));goodness : 142.501 distance to original : 9 time need : 1515 greatness : 88 idv : 400212
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,_,for(x4,{(x1,17)},p((x4,x3),(1)))),conc(for(x5,{(3,23)},p((x5,14),(1))),conc(conc(for(x6,{(1,23)},p((x6,15),(1))),for(x7,{(12,19),(39,39)},conc(p((8,-9),(0)),for(x8,{(8,17)},p((x8,x7),(1)))))),fun(x9,_,conc(for(x10,{(2,23)},p((x10,17),(1))),conc(conc(conc(fun(x11,{(18,1,2)},for(x12,{(10,21)},for(x13,{(23,31),(x11,23)},p((x13,x12),(1))))),p((9,39),(1))),for(x14,{(3,33)},p((x14,17),(1)))),for(x15,{(12,19),(39,45)},conc(p((3,4),(0)),for(x16,{(8,17)},p((x16,x15),(-6)))))))))))));goodness : 148.214 distance to original : 7 time need : 2254 greatness : 106 idv : 400461
for(x1,{(6,6)},fun(x2,{(7,1,-13)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(0,23)},p((x4,15),(1))),conc(p((8,4),(0)),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1)))))),fun(x7,_,conc(for(x8,{(2,23)},p((x8,17),(1))),conc(conc(fun(x9,{(18,1,x2)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),p((9,39),(1))),for(x12,{(3,33)},p((x12,17),(1))))))))));goodness : 157.667 distance to original : 8 time need : 1525 greatness : 79 idv : 403745
for(x1,{(15,16)},for(x2,{(6,6)},fun(x3,{(7,1,-13)},conc(for(x4,{(3,23)},p((x4,14),(1))),conc(conc(for(x5,{(3,23)},p((x5,x1),(1))),for(x6,{(12,19),(39,39)},conc(p((8,4),(0)),for(x7,{(8,17)},p((x7,x6),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},p((x9,17),(1))),conc(conc(conc(fun(x10,{(18,1,x3)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(6,6)},for(x14,{(3,33)},p((x14,17),(1))))),p((9,39),(1))),for(x15,{(3,33)},p((x15,17),(1)))))))))));goodness : 180.522 distance to original : 4 time need : 3359 greatness : 93 idv : 405958
for(x1,{(15,16)},for(x2,{(6,6)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(3,23)},p((x4,x1),(1))),for(x5,{(12,19),(39,39)},conc(p((8,4),(0)),for(x6,{(8,17)},p((x6,x5),(1)))))),fun(x7,_,conc(for(x8,{(2,23)},p((x8,17),(1))),conc(conc(conc(fun(x9,{(18,1,7)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),for(x12,{(6,6)},for(x13,{(3,33)},p((x13,17),(1))))),p((9,39),(1))),for(x14,{(3,33)},p((x14,17),(1))))))))));goodness : 183.301 distance to original : 4 time need : 3351 greatness : 89 idv : 406463
for(x1,{(15,16)},for(x2,{(6,6)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(3,23)},p((x4,x1),(1))),for(x5,{(12,19),(39,39)},conc(p((8,4),(0)),for(x6,{(8,17)},p((x6,x5),(1)))))),fun(x7,_,conc(for(x8,{(2,23)},p((x8,17),(1))),conc(conc(fun(x9,{(18,1,7)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),for(x12,{(6,6)},for(x13,{(3,33)},p((x13,17),(1))))),p((9,39),(1)))))))));goodness : 193.442 distance to original : 4 time need : 3099 greatness : 81 idv : 412186
for(x1,{(15,16)},conc(for(x2,{(3,23)},p((x2,14),(1))),conc(conc(for(x3,{(3,23)},p((x3,x1),(1))),for(x4,{(12,19),(39,39)},conc(p((8,4),(0)),for(x5,{(8,17)},p((x5,x4),(1)))))),conc(for(x6,{(2,23)},p((x6,17),(1))),conc(conc(fun(x7,{(18,1,7)},for(x8,{(10,21)},for(x9,{(23,31),(x7,23)},p((x9,x8),(1))))),for(x10,{(3,33)},p((x10,17),(1)))),p((9,39),(1)))))));goodness : 198.946 distance to original : 4 time need : 3093 greatness : 74 idv : 413563
fun(x1,{(1,1,1)},for(x2,{(15,16)},for(x3,{(6,6)},conc(for(x4,{(3,23)},p((x4,14),(1))),conc(conc(for(x5,{(x1,23)},p((x5,x2),(1))),for(x6,{(12,19),(39,39)},conc(p((8,4),(0)),for(x7,{(8,17)},p((x7,x6),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},p((x9,17),(1))),conc(conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(6,6)},for(x14,{(3,33)},p((x14,17),(1))))),p((9,39),(x1))),for(x15,{(3,33),(25,28)},p((x15,17),(1)))))))))));goodness : 217.32 distance to original : 2 time need : 3403 greatness : 95 idv : 414140
fun(x1,{(1,1,1)},for(x2,{(15,16)},for(x3,{(6,6)},conc(for(x4,{(3,23)},p((x4,14),(1))),conc(conc(for(x5,{(x1,23)},p((x5,x2),(1))),for(x6,{(12,19),(39,39)},conc(p((8,4),(0)),for(x7,{(8,17)},p((x7,x6),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},p((x9,17),(1))),conc(conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(1)))),p((9,39),(x1))),for(x14,{(3,33),(25,28)},p((x14,17),(1)))))))))));goodness : 220.24 distance to original : 2 time need : 3401 greatness : 92 idv : 414575
fun(x1,{(1,1,1)},for(x2,{(15,16)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(x1,23)},p((x4,x2),(1))),for(x5,{(12,19),(39,39)},conc(p((8,4),(0)),for(x6,{(8,17)},p((x6,x5),(1)))))),conc(for(x7,{(2,23)},p((x7,17),(1))),conc(conc(conc(fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))),for(x11,{(3,33)},p((x11,17),(1)))),p((9,39),(x1))),for(x12,{(3,33),(25,28)},p((x12,17),(1)))))))));goodness : 224.291 distance to original : 2 time need : 3397 greatness : 88 idv : 417389
fun(x1,{(1,1,1)},for(x2,{(6,6)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(15,16)},for(x5,{(x1,23)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},conc(p((8,4),(0)),for(x7,{(8,17)},p((x7,x6),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},p((x9,17),(1))),conc(conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(1)))),p((9,39),(x1))),for(x14,{(3,33),(25,28)},p((x14,17),(1))))))))));goodness : 267.523 distance to original : 2 time need : 1796 greatness : 92 idv : 422078
fun(x1,{(1,1,1)},for(x2,{(6,6)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(15,16)},for(x5,{(x1,23)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1))))),fun(x8,_,conc(for(x9,{(2,23)},p((x9,17),(1))),conc(conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(1)))),p((9,39),(x1))),for(x14,{(3,33),(25,28)},p((x14,17),(1))))))))));goodness : 276.587 distance to original : 2 time need : 1751 greatness : 87 idv : 426194
fun(x1,{(1,1,1)},for(x2,{(6,6)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(15,16)},for(x5,{(x1,23)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},conc(p((8,14),(0)),for(x7,{(8,17)},p((x7,x6),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},p((x9,17),(1))),conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(1)))),p((9,39),(x1)))))))));goodness : 288.434 distance to original : 2 time need : 1654 greatness : 82 idv : 427009
for(x1,{(6,6)},conc(for(x2,{(3,23)},p((x2,14),(1))),conc(conc(for(x3,{(15,16)},for(x4,{(1,42)},p((x4,x3),(1)))),for(x5,{(12,19),(39,39)},conc(p((8,4),(0)),for(x6,{(8,17)},p((x6,x5),(1)))))),fun(x7,_,conc(for(x8,{(2,23)},p((x8,17),(1))),conc(conc(fun(x9,{(18,1,7)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),for(x12,{(3,33)},p((x12,17),(1)))),p((9,39),(1))))))));goodness : 288.934 distance to original : 2 time need : 1802 greatness : 78 idv : 428286
fun(x1,{(1,1,1)},for(x2,{(6,6)},conc(for(x3,{(3,23)},p((x3,14),(1))),conc(conc(for(x4,{(15,16)},for(x5,{(x1,23)},p((x5,x4),(1)))),conc(p((8,14),(0)),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},p((x9,17),(1))),conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(1)))),p((9,39),(x1)))))))));goodness : 290.065 distance to original : 2 time need : 1615 greatness : 82 idv : 432896
conc(for(x1,{(3,23)},p((x1,14),(1))),conc(conc(for(x2,{(15,16)},for(x3,{(1,23)},p((x3,x2),(1)))),for(x4,{(12,19),(39,39)},conc(p((8,4),(0)),for(x5,{(8,17)},p((x5,x4),(1)))))),fun(x6,_,conc(for(x7,{(2,23)},p((x7,17),(1))),conc(conc(conc(fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))),for(x11,{(3,33)},p((x11,17),(1)))),p((9,56),(1))),p((6,17),(1)))))));goodness : 291.8 distance to original : 2 time need : 1654 greatness : 80 idv : 433201
fun(x1,{(1,1,1)},for(x2,{(6,6)},conc(for(x3,{(2,23)},p((x3,14),(1))),conc(conc(for(x4,{(15,16)},for(x5,{(x1,23)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},conc(p((8,14),(0)),for(x7,{(8,17)},p((x7,x6),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},conc(p((0,4),(0)),p((x9,17),(1)))),conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(1)))),p((9,39),(x1)))))))));goodness : 320.102 distance to original : 1 time need : 1768 greatness : 87 idv : 433436
fun(x1,{(1,1,1)},for(x2,{(6,6)},conc(for(x3,{(2,23)},p((x3,14),(1))),conc(conc(for(x4,{(15,16)},for(x5,{(x1,23)},p((x5,x4),(1)))),conc(p((8,14),(0)),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),fun(x8,_,conc(for(x9,{(2,23)},conc(p((0,4),(0)),p((x9,17),(1)))),conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(-7)))),p((9,39),(x1)))))))));goodness : 322.113 distance to original : 1 time need : 1729 greatness : 87 idv : 439144
fun(x1,{(1,1,1)},conc(for(x2,{(2,23)},p((x2,14),(1))),conc(conc(for(x3,{(15,16)},for(x4,{(x1,23)},p((x4,x3),(1)))),conc(p((8,14),(0)),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1)))))),fun(x7,_,conc(for(x8,{(2,23)},conc(p((0,4),(0)),p((x8,17),(1)))),conc(conc(fun(x9,{(18,1,7)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),for(x12,{(3,33)},p((x12,17),(-7)))),p((9,39),(x1))))))));goodness : 328.515 distance to original : 1 time need : 1728 greatness : 84 idv : 439431
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(for(x2,{(15,16)},fun(x3,{(1,1,1)},for(x4,{(x3,23)},p((x4,x2),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),fun(x7,{(1,1,1)},fun(x8,_,conc(for(x9,{(2,23)},conc(p((0,4),(0)),p((x9,17),(1)))),conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(-7)))),p((9,39),(x7))))))));goodness : 330.524 distance to original : 1 time need : 1731 greatness : 83 idv : 441560
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,23)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),fun(x7,{(1,1,1)},conc(for(x8,{(2,23)},conc(p((0,4),(0)),p((x8,17),(1)))),conc(conc(fun(x9,{(18,1,7)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),for(x12,{(3,33)},p((x12,17),(-7)))),p((9,39),(x7)))))));goodness : 331.84 distance to original : 1 time need : 1747 greatness : 82 idv : 446950
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(for(x2,{(15,16)},fun(x3,{(1,1,1)},for(x4,{(x3,7)},p((x4,x2),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),fun(x7,_,conc(for(x8,{(2,23)},conc(p((0,4),(0)),p((x8,17),(1)))),fun(x9,{(1,-19,1)},conc(conc(fun(x10,{(18,1,7)},for(x11,{(10,21)},for(x12,{(23,31),(x10,23)},p((x12,x11),(1))))),for(x13,{(3,33)},p((x13,17),(-7)))),p((9,39),(x9))))))));goodness : 337.667 distance to original : 1 time need : 1603 greatness : 83 idv : 451182
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,23)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),fun(x7,{(19,4,1)},conc(for(x8,{(2,23)},conc(p((0,4),(0)),p((x8,17),(1)))),conc(fun(x9,{(18,1,7)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),for(x12,{(3,33)},p((x12,17),(-7))))))));goodness : 343.525 distance to original : 1 time need : 1742 greatness : 77 idv : 452520
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,22)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),fun(x7,{(19,4,1)},conc(for(x8,{(2,23)},conc(p((0,4),(0)),p((x8,17),(1)))),conc(fun(x9,{(18,1,7)},for(x10,{(10,21)},for(x11,{(23,31),(x9,23)},p((x11,x10),(1))))),for(x12,{(3,33)},p((x12,17),(-7))))))));goodness : 344.056 distance to original : 1 time need : 1733 greatness : 77 idv : 456617
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,23)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),conc(for(x7,{(2,23)},conc(p((0,4),(0)),p((x7,17),(1)))),conc(fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))),for(x11,{(3,33)},p((x11,17),(-7)))))));goodness : 353.482 distance to original : 1 time need : 1738 greatness : 73 idv : 456702
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,22)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),conc(for(x7,{(2,23)},conc(p((0,4),(0)),p((x7,17),(1)))),conc(fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))),for(x11,{(3,33)},p((x11,17),(-7)))))));goodness : 354.045 distance to original : 1 time need : 1729 greatness : 73 idv : 456773
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,22)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),conc(for(x7,{(2,23)},p((x7,17),(1))),conc(fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))),for(x11,{(3,33)},p((x11,17),(-7)))))));goodness : 374.602 distance to original : 1 time need : 1619 greatness : 68 idv : 457351
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,22)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),conc(for(x7,{(2,23)},conc(p((0,4),(0)),p((x7,17),(1)))),fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))))));goodness : 384.394 distance to original : 1 time need : 1603 greatness : 65 idv : 460812
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,22)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),conc(for(x7,{(2,23)},p((x7,17),(1))),fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))))));goodness : 408.747 distance to original : 1 time need : 1493 greatness : 60 idv : 466135
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,22)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),conc(for(x7,{(2,8)},p((x7,17),(1))),fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))))));goodness : 413.822 distance to original : 1 time need : 1433 greatness : 60 idv : 476975
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(for(x2,{(x1,22)},for(x3,{(15,16)},p((x2,x3),(1)))),for(x4,{(8,17)},for(x5,{(12,19),(39,39)},p((x4,x5),(1))))),fun(x6,{(1,1,1)},conc(for(x7,{(2,23)},p((x7,17),(1))),fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1)))))))));goodness : 421.141 distance to original : 1 time need : 1448 greatness : 60 idv : 482593
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,11)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(8,17)},for(x6,{(12,19),(39,39)},p((x5,x6),(1))))),conc(for(x7,{(2,8)},p((x7,17),(1))),fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))))));goodness : 422.476 distance to original : 1 time need : 1334 greatness : 60 idv : 493488
conc(for(x1,{(2,23)},p((x1,14),(1))),conc(conc(fun(x2,{(1,1,1)},for(x3,{(x2,11)},for(x4,{(15,16)},p((x3,x4),(1))))),for(x5,{(12,19),(39,39)},for(x6,{(8,17)},p((x6,x5),(1))))),conc(for(x7,{(2,8)},p((x7,17),(1))),fun(x8,{(18,1,7)},for(x9,{(10,21)},for(x10,{(23,31),(x8,23)},p((x10,x9),(1))))))));goodness : 422.565 distance to original : 1 time need : 1333 greatness : 60 idv : 494430
conc(conc(conc(for(x1,{(1,11)},for(x2,{(15,16)},p((x1,x2),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(8,17)},p((x4,x3),(1))))),conc(for(x5,{(2,8)},p((x5,17),(1))),fun(x6,{(18,1,7)},for(x7,{(10,21)},for(x8,{(23,31),(x6,23)},p((x8,x7),(1))))))),for(x9,{(2,23)},p((x9,14),(1))));goodness : 437.733 distance to original : 1 time need : 1329 greatness : 56 idv : 497472
conc(conc(conc(for(x1,{(15,16)},for(x2,{(1,11)},p((x2,x1),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(8,17)},p((x4,x3),(1))))),conc(for(x5,{(2,8)},p((x5,17),(1))),fun(x6,{(18,1,7)},for(x7,{(10,21)},for(x8,{(23,31),(x6,23)},p((x8,x7),(1))))))),for(x9,{(2,23)},p((x9,14),(1))));goodness : 438.596 distance to original : 1 time need : 1320 greatness : 56 idv : 508089
conc(conc(conc(for(x1,{(15,16)},for(x2,{(1,11)},p((x2,x1),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(8,17)},p((x4,x3),(1))))),conc(for(x5,{(2,8)},p((x5,17),(1))),fun(x6,{(18,1,7)},for(x7,{(10,21)},for(x8,{(24,31),(x6,23)},p((x8,x7),(1))))))),for(x9,{(2,23)},p((x9,14),(1))));goodness : 443.262 distance to original : 1 time need : 1272 greatness : 56 idv : 516344
conc(conc(conc(for(x1,{(15,16)},for(x2,{(1,11)},p((x2,x1),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(8,17)},p((x4,x3),(1))))),conc(for(x5,{(2,8)},p((x5,17),(1))),fun(x6,{(18,1,7)},for(x7,{(10,21)},for(x8,{(24,31),(x6,23)},p((x8,x7),(1))))))),for(x9,{(2,17)},p((x9,14),(1))));goodness : 445.633 distance to original : 1 time need : 1248 greatness : 56 idv : 523765
conc(conc(conc(for(x1,{(15,16)},for(x2,{(1,11)},p((x2,x1),(1)))),for(x3,{(12,19),(39,39)},for(x4,{(8,17)},p((x4,x3),(1))))),conc(for(x5,{(2,8)},p((x5,17),(1))),fun(x6,{(18,1,7)},for(x7,{(10,21)},for(x8,{(24,31),(x6,23)},p((x8,x7),(1))))))),for(x9,{(2,9)},p((x9,14),(1))));goodness : 448.833 distance to original : 1 time need : 1216 greatness : 56 idv : 527112
conc(conc(conc(for(x1,{(10,21)},for(x2,{(24,31),(18,23)},p((x2,x1),(1)))),for(x3,{(2,8)},p((x3,17),(1)))),conc(for(x4,{(15,16)},for(x5,{(1,11)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,9)},p((x8,14),(1))));goodness : 465.983 distance to original : 1 time need : 1212 greatness : 52 idv : 556034
conc(conc(conc(for(x1,{(10,21)},for(x2,{(24,31),(18,23)},p((x2,x1),(1)))),for(x3,{(2,7)},p((x3,17),(1)))),conc(for(x4,{(15,16)},for(x5,{(1,11)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,9)},p((x8,14),(1))));goodness : 466.418 distance to original : 1 time need : 1208 greatness : 52 idv : 592407
conc(conc(conc(for(x1,{(2,8)},p((x1,17),(1))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,9)},p((x5,x4),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,9)},p((x8,14),(1))));goodness : 467.617 distance to original : 1 time need : 1197 greatness : 52 idv : 604445
conc(conc(conc(for(x1,{(10,21)},for(x2,{(24,31),(18,23)},p((x2,x1),(1)))),for(x3,{(2,7)},p((x3,17),(1)))),conc(for(x4,{(15,16)},for(x5,{(1,10)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,7)},p((x8,14),(1))));goodness : 468.165 distance to original : 1 time need : 1192 greatness : 52 idv : 606879
conc(conc(conc(for(x1,{(2,8)},p((x1,17),(1))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,8)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,9)},p((x8,14),(1))));goodness : 468.604 distance to original : 1 time need : 1188 greatness : 52 idv : 607051
conc(conc(conc(for(x1,{(2,8)},p((x1,17),(1))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,8)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,7)},p((x8,14),(1))));goodness : 469.484 distance to original : 1 time need : 1180 greatness : 52 idv : 685128
conc(for(x1,{(2,7)},p((x1,14),(1))),conc(conc(for(x2,{(2,7)},p((x2,17),(1))),for(x3,{(10,21)},for(x4,{(24,31),(18,23)},p((x4,x3),(1))))),conc(for(x5,{(15,16)},for(x6,{(1,8)},p((x6,x5),(1)))),for(x7,{(12,19),(39,39)},for(x8,{(8,17)},p((x8,x7),(1)))))));goodness : 469.925 distance to original : 1 time need : 1176 greatness : 52 idv : 779494
conc(for(x1,{(2,7)},p((x1,14),(1))),conc(conc(for(x2,{(2,7)},p((x2,17),(1))),for(x3,{(10,21)},for(x4,{(24,31),(18,23)},p((x4,x3),(1))))),conc(for(x5,{(15,16)},for(x6,{(1,7)},p((x6,x5),(1)))),for(x7,{(12,19),(39,39)},for(x8,{(8,17)},p((x8,x7),(1)))))));goodness : 470.81 distance to original : 1 time need : 1168 greatness : 52 idv : 847501
fun(x1,{(1,1,-16)},conc(conc(conc(for(x2,{(2,10),(83,87)},conc(p((x2,17),(x1)),p((1,16),(0)))),for(x3,{(10,21)},for(x4,{(24,31),(18,23)},p((x4,x3),(1))))),conc(for(x5,{(15,16)},conc(for(x6,{(1,21)},p((x6,x5),(1))),p((28,17),(1)))),for(x7,{(8,17)},for(x8,{(12,19),(39,39)},p((x7,x8),(1)))))),for(x9,{(2,25)},p((x9,14),(x1)))));goodness : 477.441 distance to original : 0 time need : 1469 greatness : 68 idv : 886229
conc(conc(conc(for(x1,{(2,10),(83,87)},conc(p((x1,17),(1)),p((1,16),(0)))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,21)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,25)},p((x8,14),(1))));goodness : 496.894 distance to original : 0 time need : 1465 greatness : 64 idv : 889701
conc(conc(conc(for(x1,{(2,10),(83,87)},conc(p((x1,17),(1)),p((1,16),(0)))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,x4)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,25)},p((x8,14),(1))));goodness : 502.386 distance to original : 0 time need : 1421 greatness : 64 idv : 898552
conc(conc(conc(for(x1,{(2,10),(83,87)},conc(p((x1,17),(1)),p((1,16),(0)))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,26)},p((x8,14),(1))));goodness : 504.414 distance to original : 0 time need : 1405 greatness : 64 idv : 906983
conc(conc(conc(conc(for(x1,{(2,10),(83,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,21)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,25)},p((x8,14),(1))));goodness : 505.051 distance to original : 0 time need : 1400 greatness : 64 idv : 907682
conc(conc(conc(conc(for(x1,{(2,10),(83,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,26)},p((x8,14),(1))));goodness : 512.821 distance to original : 0 time need : 1340 greatness : 64 idv : 909634
conc(conc(conc(conc(for(x1,{(2,10),(83,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,26)},p((x8,14),(1))));goodness : 512.952 distance to original : 0 time need : 1339 greatness : 64 idv : 911391
conc(conc(conc(conc(for(x1,{(2,10),(83,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(-12)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,15)},p((x8,14),(1))));goodness : 518.672 distance to original : 0 time need : 1296 greatness : 64 idv : 915142
conc(conc(conc(conc(for(x1,{(2,10),(83,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(-12)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,15)},p((x8,14),(1))));goodness : 518.807 distance to original : 0 time need : 1295 greatness : 64 idv : 925661
conc(conc(conc(conc(for(x1,{(2,10),(83,81)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(24,31),(18,23)},for(x3,{(10,21)},p((x2,x3),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(-12)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,15)},p((x8,14),(1))));goodness : 519.481 distance to original : 0 time need : 1290 greatness : 64 idv : 927276
conc(conc(conc(conc(for(x1,{(2,10),(83,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 520.291 distance to original : 0 time need : 1284 greatness : 64 idv : 928615
conc(conc(conc(conc(for(x1,{(2,10),(83,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,13)},p((x5,x4),(1))),p((28,17),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,11)},p((x8,14),(1))));goodness : 520.833 distance to original : 0 time need : 1280 greatness : 64 idv : 939003
conc(conc(conc(conc(for(x1,{(2,10),(83,83)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,7)},p((x5,x4),(1))),p((28,17),(-2)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,26)},p((x8,14),(1))));goodness : 521.376 distance to original : 0 time need : 1276 greatness : 64 idv : 951148
conc(conc(conc(conc(for(x1,{(2,10),(83,83)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,7)},p((x5,x4),(1))),p((28,17),(-2)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,26)},p((x8,14),(1))));goodness : 521.512 distance to original : 0 time need : 1275 greatness : 64 idv : 966898
conc(conc(conc(conc(for(x1,{(2,10),(83,83)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},conc(for(x5,{(1,7)},p((x5,x4),(1))),p((28,17),(-2)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,18)},p((x8,14),(1))));goodness : 525.762 distance to original : 0 time need : 1244 greatness : 64 idv : 970980
conc(conc(conc(conc(for(x1,{(2,10),(93,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,13)},p((x5,x4),(1)))),for(x6,{(8,17)},for(x7,{(12,19),(39,39)},p((x6,x7),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 549.149 distance to original : 0 time need : 1282 greatness : 59 idv : 983735
conc(conc(conc(conc(for(x1,{(2,10),(93,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,13)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 549.3 distance to original : 0 time need : 1281 greatness : 59 idv : 995389
conc(conc(conc(conc(for(x1,{(2,10),(93,94)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,13)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 552.334 distance to original : 0 time need : 1261 greatness : 59 idv : 996361
conc(conc(conc(conc(for(x1,{(2,10),(93,94)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,11)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 554.785 distance to original : 0 time need : 1245 greatness : 59 idv : 1016355
conc(conc(conc(conc(for(x1,{(2,10),(93,87)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,7)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 556.638 distance to original : 0 time need : 1233 greatness : 59 idv : 1017981
conc(conc(conc(conc(for(x1,{(2,10),(93,94)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,8)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 558.503 distance to original : 0 time need : 1221 greatness : 59 idv : 1020367
conc(conc(conc(conc(for(x1,{(2,7),(93,94)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,8)},p((x5,x4),(1)))),for(x6,{(12,19),(39,39)},for(x7,{(8,17)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 560.381 distance to original : 0 time need : 1209 greatness : 59 idv : 1030977
conc(conc(conc(conc(for(x1,{(2,7),(93,94)},p((x1,17),(1))),p((1,16),(0))),for(x2,{(10,21)},for(x3,{(24,31),(18,23)},p((x3,x2),(1))))),conc(for(x4,{(15,16)},for(x5,{(1,8)},p((x5,x4),(1)))),for(x6,{(12,19)},for(x7,{(8,17),(92,92)},p((x7,x6),(1)))))),for(x8,{(2,12)},p((x8,14),(1))));goodness : 561.798 distance to original : 0 time need : 1200 greatness : 59 idv : 1076385 till: 1116497


