p((9,4),(1));goodness : 12.9796 distance to original : 77 time need : 4 greatness : 4 idv : 1
for(x1,{(-3,14)},p((x1,4),(1)));goodness : 13.7482 distance to original : 72 time need : 73 greatness : 7 idv : 161
for(x1,{(-1,9)},fun(x2,{(1,4,1)},p((x1,x2),(1))));goodness : 14.1042 distance to original : 70 time need : 89 greatness : 11 idv : 716
for(x1,{(0,5)},for(x2,{(x1,4)},fun(x3,{(1,x2,1)},for(x4,{(2,10)},p((x3,x4),(1))))));goodness : 14.2741 distance to original : 63 time need : 704 greatness : 17 idv : 2585
conc(fun(x1,{(12,1,2)},conc(for(x2,{(-2,3)},fun(x3,{(1,x2,1)},conc(p((3,6),(1)),fun(x4,{(1,1,0)},for(x5,{(3,3)},p((-12,x5),(x4))))))),p((x1,-2),(0)))),for(x6,{(11,2)},p((5,x6),(1))));goodness : 14.5688 distance to original : 67 time need : 160 greatness : 40 idv : 4479
for(x1,{(11,2)},p((5,x1),(1)));goodness : 14.6163 distance to original : 68 time need : 41 greatness : 7 idv : 5743
fun(x1,{(0,1,4)},for(x2,{(0,5)},for(x3,{(x2,4)},fun(x4,{(4,x3,1)},for(x5,{(2,10)},p((x4,x5),(1)))))));goodness : 14.6841 distance to original : 61 time need : 708 greatness : 21 idv : 7980
conc(for(x1,{(-3,14)},p((x1,4),(1))),for(x2,{(0,0)},conc(fun(x3,{(12,1,2)},conc(for(x4,{(-2,x2)},fun(x5,{(1,x4,1)},conc(p((3,6),(1)),fun(x6,{(1,1,0)},for(x7,{(3,3)},p((-12,x7),(x6))))))),p((x3,-2),(0)))),for(x8,{(11,2)},p((5,x8),(1))))));goodness : 15.659 distance to original : 62 time need : 181 greatness : 51 idv : 9105
for(x1,{(3,14)},for(x2,{(13,2)},p((x1,x2),(1))));goodness : 16.1551 distance to original : 56 time need : 589 greatness : 10 idv : 11833
for(x1,{(-1,14)},for(x2,{(13,2)},p((x1,x2),(1))));goodness : 16.1655 distance to original : 54 time need : 785 greatness : 10 idv : 12457
conc(for(x1,{(-3,9)},p((x1,4),(1))),for(x2,{(0,0)},conc(fun(x3,{(12,1,2)},conc(for(x4,{(-2,x2)},fun(x5,{(1,x4,1)},conc(p((3,27),(1)),fun(x6,{(1,1,18)},for(x7,{(3,3)},p((1,x7),(x6))))))),p((x3,-2),(0)))),for(x8,{(11,2)},p((5,x8),(1))))));goodness : 16.2177 distance to original : 60 time need : 161 greatness : 51 idv : 15943
fun(x1,{(12,1,0)},for(x2,{(3,14)},for(x3,{(x1,2)},p((x2,x3),(1)))));goodness : 16.2697 distance to original : 56 time need : 545 greatness : 14 idv : 17659
fun(x1,{(1,-1,1)},for(x2,{(x1,14)},for(x3,{(13,2)},p((x2,x3),(1)))));goodness : 16.2829 distance to original : 54 time need : 740 greatness : 14 idv : 17713
fun(x1,{(0,1,6)},conc(for(x2,{(-3,9)},p((x2,4),(1))),for(x3,{(0,0)},conc(fun(x4,{(12,1,2)},conc(for(x5,{(x1,x3)},fun(x6,{(1,x5,1)},conc(p((12,27),(1)),fun(x7,{(1,1,18)},for(x8,{(3,3)},p((1,x8),(x7))))))),p((x4,-2),(0)))),for(x9,{(11,2)},p((5,x9),(1)))))));goodness : 16.3012 distance to original : 60 time need : 129 greatness : 55 idv : 21115
fun(x1,{(1,-1,1)},for(x2,{(x1,14)},for(x3,{(11,2)},p((x2,x3),(1)))));goodness : 16.6074 distance to original : 54 time need : 620 greatness : 14 idv : 22092
fun(x1,{(-1,1,2)},fun(x2,{(1,x1,20)},for(x3,{(x2,10)},for(x4,{(13,2)},p((x3,x4),(1))))));goodness : 20.2028 distance to original : 44 time need : 548 greatness : 18 idv : 25660
fun(x1,{(0,1,5)},fun(x2,{(14,1,10)},fun(x3,{(-1,1,-7)},fun(x4,{(16,x3,x1)},for(x5,{(x4,10)},for(x6,{(10,2)},p((x5,x6),(1))))))));goodness : 20.298 distance to original : 45 time need : 424 greatness : 26 idv : 36506
fun(x1,{(1,0,1)},fun(x2,{(0,1,8)},fun(x3,{(1,0,1)},fun(x4,{(-1,1,2)},fun(x5,{(1,x4,-5)},for(x6,{(x5,10)},for(x7,{(13,1)},p((x6,x7),(1)))))))));goodness : 20.3791 distance to original : 43 time need : 604 greatness : 30 idv : 40074
fun(x1,{(0,1,5)},fun(x2,{(14,1,1)},fun(x3,{(-13,1,1)},fun(x4,{(1,x3,x1)},for(x5,{(x4,10)},for(x6,{(11,2)},p((x5,x6),(1))))))));goodness : 20.5314 distance to original : 44 time need : 468 greatness : 26 idv : 42162
fun(x1,{(1,3,1)},fun(x2,{(0,1,8)},fun(x3,{(1,0,1)},fun(x4,{(-1,1,-10)},fun(x5,{(1,x4,-5)},for(x6,{(3,10)},for(x7,{(13,1)},p((x6,x7),(1)))))))));goodness : 21.5146 distance to original : 42 time need : 445 greatness : 30 idv : 50616
for(x1,{(13,13)},fun(x2,{(-1,1,-10)},for(x3,{(3,10)},for(x4,{(x1,1)},p((x3,x4),(1))))));goodness : 21.5903 distance to original : 42 time need : 430 greatness : 17 idv : 55075
fun(x1,{(1,0,1)},for(x2,{(3,10)},for(x3,{(13,1)},p((x2,x3),(1)))));goodness : 21.5964 distance to original : 42 time need : 429 greatness : 14 idv : 57113
fun(x1,{(1,0,1)},for(x2,{(23,23)},conc(fun(x3,{(1,0,1)},for(x4,{(17,17)},fun(x5,{(1,x2,-18)},fun(x6,{(-11,1,7)},for(x7,{(7,7)},fun(x8,{(8,0,3)},fun(x9,{(-1,-3,2)},fun(x10,{(11,x9,6)},for(x11,{(x10,x1)},for(x12,{(13,2)},p((x11,x12),(1)))))))))))),fun(x13,{(1,0,1)},for(x14,{(3,10)},for(x15,{(13,1)},p((x14,x15),(1))))))));goodness : 23.1632 distance to original : 38 time need : 511 greatness : 62 idv : 62428
fun(x1,{(3,1,4)},for(x2,{(1,1)},for(x3,{(1,1)},conc(for(x4,{(0,0)},fun(x5,{(1,1,3)},for(x6,{(19,19)},fun(x7,{(1,-16,1)},for(x8,{(1,1)},fun(x9,{(-1,-16,2)},fun(x10,{(15,x9,6)},for(x11,{(x10,10)},for(x12,{(7,2)},p((x11,x12),(x8))))))))))),fun(x13,{(1,3,1)},fun(x14,{(-16,1,8)},fun(x15,{(4,0,1)},fun(x16,{(-1,1,-10)},fun(x17,{(1,x16,-5)},for(x18,{(3,10)},for(x19,{(17,1)},p((x18,x19),(x3)))))))))))));goodness : 23.3503 distance to original : 34 time need : 875 greatness : 76 idv : 68277
for(x1,{(0,0)},fun(x2,{(-5,3,1)},for(x3,{(1,1)},fun(x4,{(1,16,x1)},fun(x5,{(1,-1,1)},fun(x6,{(1,x2,1)},fun(x7,{(-8,1,8)},fun(x8,{(-13,x5,1)},conc(for(x9,{(0,0)},fun(x10,{(3,1,4)},for(x11,{(1,1)},for(x12,{(1,1)},conc(for(x13,{(0,x9)},fun(x14,{(1,1,3)},for(x15,{(19,19)},fun(x16,{(1,-16,1)},for(x17,{(1,1)},fun(x18,{(-1,-16,2)},fun(x19,{(15,x18,6)},for(x20,{(x19,10)},for(x21,{(7,2)},p((x20,x21),(x17))))))))))),fun(x22,{(1,3,1)},fun(x23,{(-16,1,8)},fun(x24,{(4,0,1)},fun(x25,{(-1,1,-10)},fun(x26,{(1,x25,-5)},for(x27,_,for(x28,{(17,1)},p((x27,x28),(x12)))))))))))))),fun(x29,{(-1,-9,-48)},fun(x30,{(x3,x29,-25)},for(x31,{(3,10)},for(x32,{(13,x4)},p((x31,x32),(1)))))))))))))));goodness : 23.8288 distance to original : 34 time need : 784 greatness : 126 idv : 74280
for(x1,{(0,0)},fun(x2,{(1,0,1)},fun(x3,{(3,1,2)},fun(x4,{(1,-4,1)},for(x5,{(19,19)},conc(for(x6,{(13,13)},fun(x7,{(-4,x5,8)},fun(x8,{(0,1,7)},fun(x9,{(1,0,10)},fun(x10,{(x4,10,-6)},fun(x11,{(x7,1,8)},fun(x12,{(-13,x9,1)},fun(x13,{(-1,1,-32)},fun(x14,{(-8,x13,x8)},for(x15,{(x3,10)},for(x16,{(x6,1)},p((x15,x16),(1))))))))))))),fun(x17,{(3,1,4)},for(x18,{(1,1)},for(x19,{(1,1)},conc(for(x20,{(0,0)},fun(x21,{(1,0,3)},for(x22,{(19,19)},fun(x23,{(1,-16,1)},for(x24,{(1,1)},fun(x25,{(-14,-31,2)},fun(x26,{(15,x25,6)},for(x27,{(x26,x1)},for(x28,{(7,2)},p((x27,x28),(x24))))))))))),fun(x29,{(1,3,x2)},fun(x30,{(-16,1,8)},fun(x31,{(4,0,1)},fun(x32,{(-1,1,-10)},fun(x33,{(1,x32,-5)},for(x34,{(4,10)},for(x35,{(17,17)},p((x34,x35),(x19)))))))))))))))))));goodness : 23.8379 distance to original : 36 time need : 581 greatness : 140 idv : 80615
for(x1,{(0,0)},fun(x2,{(-16,1,6)},for(x3,{(0,0)},fun(x4,{(1,0,1)},for(x5,{(0,0)},fun(x6,{(-5,3,1)},for(x7,{(1,1)},fun(x8,{(1,16,x5)},fun(x9,{(1,13,1)},fun(x10,{(1,x6,1)},fun(x11,{(-8,-6,8)},fun(x12,{(-13,x9,1)},conc(for(x13,{(0,0)},fun(x14,{(3,1,x4)},for(x15,{(1,1)},for(x16,{(1,1)},conc(for(x17,{(0,x13)},fun(x18,{(1,1,3)},for(x19,{(19,19)},fun(x20,{(1,-16,x3)},for(x21,{(1,1)},fun(x22,{(-1,x2,2)},fun(x23,{(15,x22,6)},for(x24,{(x23,x1)},for(x25,{(7,2)},p((x24,x25),(x21))))))))))),fun(x26,{(1,3,1)},fun(x27,{(-16,-13,8)},fun(x28,{(4,0,1)},fun(x29,{(-1,1,-10)},fun(x30,{(1,x29,-5)},for(x31,_,for(x32,{(17,1)},p((x31,x32),(x16)))))))))))))),fun(x33,{(-1,-9,-48)},fun(x34,{(x7,x33,-25)},for(x35,{(3,10)},for(x36,{(13,x8)},p((x35,x36),(1)))))))))))))))))));goodness : 24.05 distance to original : 36 time need : 544 greatness : 140 idv : 83644
for(x1,{(0,0)},fun(x2,{(-16,1,6)},for(x3,{(0,0)},fun(x4,{(1,0,1)},for(x5,{(0,0)},for(x6,{(1,1)},fun(x7,{(1,16,x5)},fun(x8,{(1,13,1)},fun(x9,{(-8,-6,8)},conc(for(x10,{(0,0)},fun(x11,{(3,1,x4)},for(x12,{(1,1)},for(x13,{(1,1)},conc(for(x14,{(0,x10)},fun(x15,{(1,1,3)},for(x16,{(19,19)},for(x17,{(1,1)},fun(x18,{(-1,x2,2)},fun(x19,{(15,x18,6)},for(x20,{(x19,x1)},for(x21,{(7,2)},p((x20,x21),(x17)))))))))),fun(x22,{(-16,-13,8)},fun(x23,{(4,0,1)},fun(x24,{(-1,1,-10)},fun(x25,{(1,x24,-5)},for(x26,_,for(x27,{(17,1)},p((x26,x27),(x13))))))))))))),fun(x28,{(-1,-9,-48)},fun(x29,{(x6,x28,-25)},for(x30,{(3,10)},for(x31,{(13,x7)},p((x30,x31),(1))))))))))))))));goodness : 24.1779 distance to original : 36 time need : 524 greatness : 120 idv : 84249
for(x1,{(0,0)},fun(x2,{(-5,3,1)},for(x3,{(1,1)},fun(x4,{(1,16,x1)},fun(x5,{(1,-1,1)},fun(x6,{(1,x2,-18)},fun(x7,{(-8,1,8)},fun(x8,{(-13,x5,1)},conc(for(x9,{(0,0)},fun(x10,{(3,1,4)},for(x11,{(1,1)},for(x12,{(1,1)},conc(for(x13,{(0,x9)},fun(x14,{(1,1,3)},for(x15,{(19,19)},fun(x16,{(1,-16,1),(2,0,1)},for(x17,{(1,1)},fun(x18,{(-1,-16,2)},fun(x19,{(15,x18,6)},for(x20,{(x19,5)},for(x21,{(7,2)},p((x20,x21),(x17))))))))))),fun(x22,{(1,3,1)},fun(x23,{(-16,1,8)},fun(x24,{(4,0,1)},fun(x25,{(-1,1,-10)},fun(x26,{(1,x25,-5)},for(x27,_,for(x28,{(17,1)},p((x27,x28),(x12)))))))))))))),fun(x29,{(-1,-9,-48)},fun(x30,{(x3,x29,-25)},for(x31,{(3,10)},for(x32,{(13,x4)},p((x31,x32),(1)))))))))))))));goodness : 24.5405 distance to original : 34 time need : 662 greatness : 129 idv : 87526
for(x1,{(0,0)},fun(x2,{(-5,3,1)},for(x3,{(1,1)},fun(x4,{(1,16,x1)},fun(x5,{(1,-1,1)},fun(x6,{(1,x2,-18)},fun(x7,{(-8,1,8)},fun(x8,{(-13,x5,1)},conc(for(x9,{(0,0)},fun(x10,{(3,1,4)},for(x11,{(1,1)},for(x12,{(1,1)},conc(for(x13,{(0,x9)},fun(x14,{(1,1,3)},for(x15,{(19,19)},fun(x16,{(19,-16,1),(2,0,1)},for(x17,{(1,1)},fun(x18,{(-1,-16,2)},fun(x19,{(32,x18,6)},for(x20,{(x19,4)},for(x21,{(7,2)},p((x20,x21),(x17))))))))))),fun(x22,{(1,18,1)},fun(x23,{(-16,1,8)},fun(x24,{(4,0,1)},fun(x25,{(-1,1,8)},fun(x26,{(1,x25,-5)},for(x27,_,for(x28,{(17,1)},p((x27,x28),(x12)))))))))))))),fun(x29,{(-1,-9,-48)},fun(x30,{(x3,x29,-25)},for(x31,{(3,10)},for(x32,{(13,x4)},p((x31,x32),(1)))))))))))))));goodness : 24.692 distance to original : 34 time need : 637 greatness : 129 idv : 93477
for(x1,{(0,0)},for(x2,{(0,0)},fun(x3,{(-5,3,-4)},for(x4,{(1,1)},fun(x5,{(1,16,x2)},fun(x6,{(1,-1,1)},fun(x7,{(1,x3,-18)},fun(x8,{(-8,1,8)},fun(x9,{(-13,x6,1)},conc(for(x10,{(0,0)},for(x11,{(1,1)},for(x12,{(1,1)},conc(for(x13,{(0,x10)},for(x14,{(1,1)},fun(x15,{(-1,-16,2)},fun(x16,{(15,x15,x1)},for(x17,{(x16,5)},for(x18,{(7,2)},p((x17,x18),(x14)))))))),fun(x19,{(1,3,1)},fun(x20,{(4,0,1)},fun(x21,{(7,1,-10)},fun(x22,{(1,x21,-5)},for(x23,_,for(x24,{(17,1)},p((x23,x24),(x12)))))))))))),fun(x25,{(-1,-9,-48)},for(x26,{(3,10)},for(x27,{(13,x5)},p((x26,x27),(1)))))))))))))));goodness : 24.6938 distance to original : 34 time need : 639 greatness : 106 idv : 99015
for(x1,{(1,1)},fun(x2,{(1,1,1)},fun(x3,{(-14,12,6)},for(x4,{(0,0)},fun(x5,{(10,3,-4)},for(x6,{(x2,1)},fun(x7,{(1,16,x4)},fun(x8,{(1,-1,1)},fun(x9,{(1,x5,-18)},fun(x10,{(-8,x1,-11)},conc(for(x11,{(0,0)},for(x12,{(1,1)},for(x13,{(1,1)},for(x14,{(0,x11)},for(x15,{(1,1)},fun(x16,{(-1,-16,2)},fun(x17,{(15,x16,6)},for(x18,{(x17,5)},for(x19,{(7,2)},p((x18,x19),(x15))))))))))),fun(x20,{(-1,-9,-48)},fun(x21,{(x6,x20,-45)},for(x22,{(3,10)},for(x23,{(13,x7)},p((x22,x23),(1)))))))))))))))));goodness : 24.7653 distance to original : 34 time need : 629 greatness : 89 idv : 113498
for(x1,{(-1,-1)},for(x2,{(1,1)},fun(x3,{(1,18,1)},fun(x4,{(1,2,1)},for(x5,{(1,1)},for(x6,{(0,0)},fun(x7,{(-5,13,1)},for(x8,{(x2,1)},fun(x9,{(1,16,x6)},fun(x10,{(1,-1,1)},fun(x11,{(1,x7,-18)},fun(x12,{(1,-4,8)},fun(x13,{(-13,x10,1)},conc(for(x14,{(0,0)},fun(x15,{(3,1,4)},for(x16,{(1,1)},for(x17,{(1,1)},for(x18,{(0,x14)},fun(x19,{(x5,1,11)},for(x20,{(19,19)},fun(x21,{(19,-16,1),(x4,0,1)},for(x22,{(1,1)},fun(x23,{(-1,-16,2)},fun(x24,{(32,x23,6)},for(x25,{(x24,4)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))))),fun(x27,{(x1,-9,-61)},fun(x28,{(x8,x27,-25)},for(x29,{(3,10)},for(x30,{(13,x9)},p((x29,x30),(1))))))))))))))))))));goodness : 24.7666 distance to original : 34 time need : 626 greatness : 117 idv : 119938
fun(x1,{(0,1,9)},fun(x2,{(1,0,1)},fun(x3,{(1,1,1)},fun(x4,{(-14,1,6)},for(x5,{(0,0)},fun(x6,{(10,3,-4)},for(x7,{(x3,1)},fun(x8,{(1,16,x5)},fun(x9,{(1,-1,1)},fun(x10,{(1,x6,-18)},fun(x11,{(-1,1,8)},fun(x12,{(-13,x9,1)},conc(for(x13,{(0,0)},fun(x14,{(3,12,9)},for(x15,{(1,1)},for(x16,{(1,1)},conc(fun(x17,{(1,-6,1)},fun(x18,{(-16,-18,18)},fun(x19,{(4,x2,x1)},fun(x20,{(7,1,8)},fun(x21,{(1,x20,-5)},for(x22,_,for(x23,{(17,1)},p((x22,x23),(x16))))))))),for(x24,{(0,x13)},fun(x25,{(1,1,3)},for(x26,{(19,19)},fun(x27,{(6,-16,1),(2,x4,1)},for(x28,{(1,1)},fun(x29,{(-1,-16,2)},fun(x30,{(15,x29,6)},for(x31,{(x30,1)},for(x32,{(7,2)},p((x31,x32),(x28)))))))))))))))),fun(x33,{(-1,-9,-48)},fun(x34,{(x7,x33,-45)},for(x35,{(3,10)},for(x36,{(13,x8)},p((x35,x36),(1)))))))))))))))))));goodness : 26.3678 distance to original : 32 time need : 578 greatness : 145 idv : 120957
fun(x1,{(1,-13,1)},fun(x2,{(0,1,0)},fun(x3,{(0,1,9)},fun(x4,{(1,0,1)},fun(x5,{(1,1,1)},fun(x6,{(-14,1,x2)},for(x7,{(0,0)},fun(x8,{(10,3,-4)},for(x9,{(x5,1)},fun(x10,{(1,16,x7)},fun(x11,{(1,-1,1)},fun(x12,{(1,x8,-18)},fun(x13,{(-1,1,8)},fun(x14,{(x1,x11,1)},conc(for(x15,{(0,0)},fun(x16,{(3,12,9)},for(x17,{(1,1)},for(x18,{(1,1)},for(x19,{(0,x15)},fun(x20,{(1,1,3)},for(x21,{(19,19)},fun(x22,{(6,-16,1),(2,x6,1)},for(x23,{(1,1)},fun(x24,{(-1,-16,2)},fun(x25,{(15,x24,6)},for(x26,{(x25,1)},for(x27,{(7,2)},p((x26,x27),(x23))))))))))))))),fun(x28,{(-1,-9,-48)},fun(x29,{(x9,x28,-45)},for(x30,{(3,10)},for(x31,{(13,x10)},p((x30,x31),(1)))))))))))))))))))));goodness : 26.4802 distance to original : 32 time need : 564 greatness : 124 idv : 129845
fun(x1,{(0,1,0)},fun(x2,{(0,1,9)},fun(x3,{(1,12,1)},fun(x4,{(1,1,1)},fun(x5,{(-14,1,6)},for(x6,{(0,0)},fun(x7,{(10,3,-4)},for(x8,{(x4,1)},fun(x9,{(1,16,x6)},fun(x10,{(1,-1,x1)},fun(x11,{(1,x7,-18)},fun(x12,{(-1,1,8)},fun(x13,{(-13,x10,1)},conc(for(x14,{(0,0)},fun(x15,{(3,12,9)},for(x16,{(1,1)},for(x17,{(1,1)},for(x18,{(0,x14)},fun(x19,{(1,1,21)},for(x20,{(19,19)},fun(x21,{(6,-16,1),(2,x5,1)},for(x22,{(1,1)},fun(x23,{(-8,-16,2)},fun(x24,{(15,x23,6)},for(x25,{(x24,1)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))))),fun(x27,{(-1,-9,-48)},fun(x28,{(x8,x27,-45)},for(x29,{(3,10)},for(x30,{(13,x9)},p((x29,x30),(1))))))))))))))))))));goodness : 26.5111 distance to original : 32 time need : 560 greatness : 120 idv : 132149
fun(x1,{(0,1,0)},fun(x2,{(0,1,9)},fun(x3,{(1,12,1)},fun(x4,{(-42,1,6)},for(x5,{(0,0)},fun(x6,{(10,15,-4)},fun(x7,{(1,16,x5)},fun(x8,{(1,-1,x1)},fun(x9,{(-13,x8,1)},conc(for(x10,{(0,0)},fun(x11,{(3,12,9)},for(x12,{(1,1)},for(x13,{(1,1)},for(x14,{(0,x10)},fun(x15,{(1,1,21)},for(x16,{(19,19)},for(x17,{(1,1)},fun(x18,{(-8,-16,2)},fun(x19,{(15,x18,6)},for(x20,{(x19,1)},for(x21,{(7,2)},p((x20,x21),(x17)))))))))))))),fun(x22,{(-1,-9,-48)},for(x23,{(3,10)},for(x24,{(13,x7)},p((x23,x24),(1)))))))))))))));goodness : 26.6994 distance to original : 32 time need : 536 greatness : 94 idv : 136041
for(x1,{(0,0)},fun(x2,{(1,1,8)},fun(x3,{(1,1,1)},fun(x4,{(0,1,-9)},fun(x5,{(0,1,9)},fun(x6,{(1,12,1)},fun(x7,{(1,x3,1)},fun(x8,{(-14,1,6)},for(x9,{(0,0)},fun(x10,{(10,3,-4)},for(x11,{(x7,1)},fun(x12,{(1,16,x9)},fun(x13,{(1,-1,x4)},fun(x14,{(1,x10,-18)},fun(x15,{(-1,1,8)},fun(x16,{(-13,x13,1)},conc(for(x17,{(0,0)},fun(x18,{(3,12,9)},for(x19,{(1,1)},for(x20,{(1,1)},for(x21,{(0,x17)},fun(x22,{(1,1,21)},for(x23,{(19,19)},fun(x24,{(6,-16,1),(2,x8,12)},for(x25,{(1,x1)},fun(x26,{(-8,-16,2)},fun(x27,{(15,x26,6)},for(x28,{(x27,1)},for(x29,{(7,2)},p((x28,x29),(x25))))))))))))))),fun(x30,{(-1,-9,-57)},fun(x31,{(x11,x30,-45)},for(x32,{(3,10)},for(x33,{(10,x12)},p((x32,x33),(x2)))))))))))))))))))))));goodness : 26.7016 distance to original : 32 time need : 532 greatness : 131 idv : 145647
fun(x1,{(1,-14,1)},for(x2,{(0,0)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(7,1,-9)},fun(x6,{(-3,1,9)},fun(x7,{(1,12,14)},fun(x8,{(1,x4,1)},fun(x9,{(x1,1,6)},for(x10,{(0,0)},fun(x11,{(10,3,-4)},for(x12,{(x8,1)},fun(x13,{(1,16,x10)},fun(x14,{(1,-1,x5)},fun(x15,{(-13,x14,1)},conc(for(x16,{(0,0)},fun(x17,{(3,12,9)},for(x18,{(1,1)},for(x19,{(0,x16)},fun(x20,{(1,1,21)},for(x21,{(19,19)},for(x22,{(1,x2)},fun(x23,{(-8,-16,2)},fun(x24,{(15,x23,6)},for(x25,{(x24,1)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))),fun(x27,{(-1,-9,-57)},fun(x28,{(x12,x27,-45)},for(x29,{(3,10)},for(x30,{(10,x13)},p((x29,x30),(x3))))))))))))))))))))));goodness : 26.7974 distance to original : 32 time need : 520 greatness : 117 idv : 160357
fun(x1,{(1,-14,1)},for(x2,{(0,0)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(7,1,-9)},fun(x6,{(-3,1,9)},fun(x7,{(1,12,14)},fun(x8,{(1,x4,1)},fun(x9,{(x1,1,6)},for(x10,{(0,0)},fun(x11,{(10,3,-4)},for(x12,{(x8,1)},fun(x13,{(1,16,x10)},fun(x14,{(1,-1,x5)},fun(x15,{(-13,x14,1)},conc(for(x16,{(0,0)},fun(x17,{(3,12,9)},for(x18,{(1,1)},for(x19,{(0,x16)},fun(x20,{(1,1,21)},for(x21,{(19,19)},for(x22,{(1,x2)},fun(x23,{(-8,-16,2)},fun(x24,{(15,x23,6)},for(x25,{(x24,1)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))),fun(x27,{(-1,-9,-57)},fun(x28,{(x12,x27,-45)},for(x29,{(3,10)},for(x30,{(10,x13)},p((x29,x30),(x3))))))))))))))))))))));goodness : 26.062 distance to original : 32 time need : 520 greatness : 117 idv : 1
fun(x1,{(1,-14,1)},conc(fun(x2,{(4,1,1)},p((2,x2),(1))),for(x3,{(0,0)},fun(x4,{(1,1,8)},fun(x5,{(1,1,1)},fun(x6,{(7,1,-9)},fun(x7,{(-3,1,9)},fun(x8,{(1,12,14)},fun(x9,{(1,x5,1)},fun(x10,{(x1,1,6)},for(x11,{(0,0)},fun(x12,{(10,3,-4)},for(x13,{(x9,1)},fun(x14,{(1,16,x11)},fun(x15,{(1,-1,x6)},fun(x16,{(-13,x15,1)},conc(for(x17,{(0,0)},fun(x18,{(3,x11,9)},for(x19,{(1,1)},for(x20,{(0,x17)},fun(x21,{(1,1,21)},for(x22,{(19,19)},for(x23,{(1,x3)},fun(x24,{(-8,-16,2)},fun(x25,{(15,x24,6)},for(x26,{(x25,1)},for(x27,{(7,2)},p((x26,x27),(x23))))))))))))),fun(x28,{(-1,-9,-57)},fun(x29,{(x13,x28,-45)},for(x30,{(3,10)},for(x31,{(10,x14)},p((x30,x31),(x4)))))))))))))))))))))));goodness : 26.4347 distance to original : 31 time need : 529 greatness : 126 idv : 497
fun(x1,{(0,1,6)},fun(x2,{(1,-14,1)},for(x3,{(0,0)},fun(x4,{(1,1,8)},fun(x5,{(1,1,1)},fun(x6,{(7,3,-9)},fun(x7,{(-3,1,9)},fun(x8,{(1,x5,1)},fun(x9,{(x2,1,6)},for(x10,{(0,0)},for(x11,{(x8,1)},fun(x12,{(1,16,x10)},fun(x13,{(1,-1,x6)},fun(x14,{(-13,x13,1)},conc(for(x15,{(0,0)},fun(x16,{(3,x10,3)},for(x17,{(1,1)},for(x18,{(0,x15)},for(x19,{(19,19)},for(x20,{(1,x3)},fun(x21,{(-8,-16,2)},fun(x22,{(15,x21,6)},for(x23,{(x22,1)},for(x24,{(7,2)},p((x23,x24),(x20)))))))))))),fun(x25,{(-1,-9,x1)},for(x26,{(3,10)},for(x27,{(10,x12)},p((x26,x27),(x4))))))))))))))))))));goodness : 26.4845 distance to original : 32 time need : 508 greatness : 105 idv : 2692
fun(x1,{(0,1,4)},fun(x2,{(12,1,6)},fun(x3,{(1,1,1)},fun(x4,{(0,-10,6)},fun(x5,{(1,-14,1)},for(x6,{(0,0)},fun(x7,{(1,1,8)},fun(x8,{(1,1,1)},fun(x9,{(7,1,-9)},fun(x10,{(-3,1,9)},fun(x11,{(x3,x2,14)},fun(x12,{(1,x8,7)},fun(x13,{(x5,1,6)},for(x14,{(0,0)},fun(x15,{(10,-13,-4)},for(x16,{(x12,1)},fun(x17,{(1,16,x14)},fun(x18,{(1,-1,x9)},fun(x19,{(-13,x18,1)},conc(for(x20,{(0,0)},fun(x21,{(3,x14,9)},for(x22,{(1,x1)},for(x23,{(0,x20)},fun(x24,{(1,1,21)},for(x25,{(19,19)},for(x26,{(1,x6)},fun(x27,{(-8,-16,2)},fun(x28,{(15,x27,2)},for(x29,{(x28,1)},for(x30,{(7,2),(11,15)},p((x29,x30),(x26))))))))))))),fun(x31,{(-1,-9,x4)},fun(x32,{(x16,x31,-45)},for(x33,{(3,10)},for(x34,{(10,x17)},p((x33,x34),(x7))))))))))))))))))))))))));goodness : 26.6163 distance to original : 30 time need : 821 greatness : 135 idv : 4674
fun(x1,{(-9,1,9)},fun(x2,{(1,-14,1)},conc(fun(x3,{(4,1,1)},p((2,x3),(1))),for(x4,{(0,0)},fun(x5,{(1,1,8)},fun(x6,{(1,1,1)},fun(x7,{(7,11,-9)},fun(x8,{(-3,1,9)},fun(x9,{(1,x6,1)},fun(x10,{(x2,-6,6)},for(x11,{(0,0)},for(x12,{(x9,1)},fun(x13,{(1,16,x11)},fun(x14,{(1,-1,x7)},fun(x15,{(-13,x14,1)},conc(for(x16,{(0,0)},fun(x17,{(3,x11,9)},for(x18,{(1,1)},for(x19,{(0,x16)},fun(x20,{(1,1,21)},for(x21,{(1,x4)},fun(x22,{(-8,-16,2)},fun(x23,{(15,x22,6)},for(x24,{(x23,1)},for(x25,{(7,2)},p((x24,x25),(x21)))))))))))),fun(x26,{(-1,x1,-57)},fun(x27,{(x12,x26,-45)},for(x28,{(3,10)},for(x29,{(10,x13)},p((x28,x29),(x5))))))))))))))))))))));goodness : 26.6852 distance to original : 31 time need : 524 greatness : 119 idv : 5847
fun(x1,{(1,1,8)},fun(x2,{(0,1,-1)},fun(x3,{(1,-14,1)},for(x4,{(0,0)},fun(x5,{(1,1,8)},fun(x6,{(x1,1,1)},fun(x7,{(7,1,2)},fun(x8,{(1,x6,1)},for(x9,{(0,0)},fun(x10,{(10,3,14)},for(x11,{(x8,1)},fun(x12,{(1,16,x9)},fun(x13,{(1,-1,x7)},fun(x14,{(-13,x13,1)},conc(for(x15,{(1,x4)},fun(x16,{(-8,-16,14)},fun(x17,{(15,x16,6)},for(x18,{(x17,1)},for(x19,{(7,2)},p((x18,x19),(x15))))))),fun(x20,{(-1,-9,x2)},fun(x21,{(x11,x20,-45)},for(x22,{(3,10)},for(x23,{(10,x12)},p((x22,x23),(x5)))))))))))))))))))));goodness : 26.915 distance to original : 32 time need : 504 greatness : 93 idv : 17461
for(x1,{(0,0)},fun(x2,{(1,1,1)},fun(x3,{(1,-7,1)},for(x4,{(-14,-14)},fun(x5,{(0,1,-9)},fun(x6,{(1,x4,1)},for(x7,{(0,0)},fun(x8,{(1,1,-2)},fun(x9,{(1,x2,1)},fun(x10,{(1,x9,-22)},for(x11,{(0,0)},fun(x12,{(x3,3,14)},fun(x13,{(1,16,x11)},conc(fun(x14,{(1,1,x1)},for(x15,{(1,x7)},fun(x16,{(-8,-36,14)},fun(x17,{(16,x16,6)},for(x18,{(x17,1)},for(x19,{(7,2)},p((x18,x19),(x15)))))))),for(x20,{(3,10)},for(x21,{(10,x13)},p((x20,x21),(x8))))))))))))))))));goodness : 27.2532 distance to original : 32 time need : 493 greatness : 84 idv : 39132
fun(x1,{(0,1,8)},fun(x2,{(1,0,1)},fun(x3,{(1,1,7)},for(x4,{(0,0)},fun(x5,{(2,1,1)},fun(x6,{(1,-7,1)},for(x7,{(-14,-14)},fun(x8,{(0,1,x2)},fun(x9,{(1,x7,1)},for(x10,{(x1,0)},fun(x11,{(1,x3,-2)},fun(x12,{(1,x5,1)},fun(x13,{(-7,x12,-22)},for(x14,{(0,0)},fun(x15,{(x6,-6,5)},fun(x16,{(1,29,x14)},conc(fun(x17,{(1,-13,x4)},for(x18,{(1,x10)},fun(x19,{(-21,-36,14)},fun(x20,{(16,x19,6)},for(x21,{(x20,1)},for(x22,{(7,2),(11,14)},p((x21,x22),(x18)))))))),for(x23,{(3,10)},for(x24,{(10,x16)},p((x23,x24),(x11)))))))))))))))))))));goodness : 28.1936 distance to original : 30 time need : 569 greatness : 98 idv : 54798
fun(x1,{(1,0,1)},fun(x2,{(0,1,3)},fun(x3,{(0,1,8)},fun(x4,{(1,1,x1)},for(x5,{(0,0)},fun(x6,{(2,-19,1)},fun(x7,{(1,-7,1)},for(x8,{(-14,-14)},for(x9,{(x3,x2)},fun(x10,{(1,x4,-11)},fun(x11,{(1,x6,1)},fun(x12,{(-7,x11,-28)},for(x13,{(0,0)},fun(x14,{(x7,-6,5)},fun(x15,{(1,36,x13)},conc(for(x16,{(1,x9)},fun(x17,{(-56,-36,14)},fun(x18,{(16,x17,8)},for(x19,{(x18,1)},for(x20,{(7,2),(11,14)},p((x19,x20),(x16))))))),for(x21,{(3,10)},for(x22,{(10,x15)},p((x21,x22),(x10))))))))))))))))))));goodness : 28.5217 distance to original : 30 time need : 561 greatness : 90 idv : 82286
fun(x1,{(1,0,1)},fun(x2,{(0,1,3)},fun(x3,{(0,1,8)},fun(x4,{(1,1,x1)},for(x5,{(0,0)},fun(x6,{(2,-31,1)},fun(x7,{(1,-7,1)},for(x8,{(-14,-14)},for(x9,{(x3,x2)},fun(x10,{(1,x4,-11)},fun(x11,{(1,x6,1)},fun(x12,{(-7,x11,-28)},for(x13,{(0,0)},fun(x14,{(1,36,x13)},conc(for(x15,{(1,x9)},fun(x16,{(-56,-36,14)},fun(x17,{(16,x16,8)},for(x18,{(x17,1)},for(x19,{(7,2),(11,14)},p((x18,x19),(x15))))))),for(x20,{(3,10)},for(x21,{(10,x14)},p((x20,x21),(x10)))))))))))))))))));goodness : 28.6886 distance to original : 30 time need : 557 greatness : 86 idv : 87794  till 1830000


fun(x1,{(1,-14,1)},for(x2,{(0,0)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(7,1,-9)},fun(x6,{(-3,1,9)},fun(x7,{(1,12,14)},fun(x8,{(1,x4,1)},fun(x9,{(x1,1,6)},for(x10,{(0,0)},fun(x11,{(10,3,-4)},for(x12,{(x8,1)},fun(x13,{(1,16,x10)},fun(x14,{(1,-1,x5)},fun(x15,{(-13,x14,1)},conc(for(x16,{(0,0)},fun(x17,{(3,12,9)},for(x18,{(1,1)},for(x19,{(0,x16)},fun(x20,{(1,1,21)},for(x21,{(19,19)},for(x22,{(1,x2)},fun(x23,{(-8,-16,2)},fun(x24,{(15,x23,6)},for(x25,{(x24,1)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))),fun(x27,{(-1,-9,-57)},fun(x28,{(x12,x27,-45)},for(x29,{(3,10)},for(x30,{(10,x13)},p((x29,x30),(x3))))))))))))))))))))));goodness : 26.062 distance to original : 32 time need : 520 greatness : 117 idv : 1
fun(x1,{(1,0,1)},fun(x2,{(0,1,3)},fun(x3,{(0,1,8)},fun(x4,{(1,1,x1)},for(x5,{(0,0)},fun(x6,{(2,-31,1)},fun(x7,{(1,-7,1)},for(x8,{(-14,-14)},for(x9,{(x3,x2)},fun(x10,{(1,x4,-11)},fun(x11,{(1,x6,1)},fun(x12,{(-7,x11,-28)},for(x13,{(0,0)},fun(x14,{(1,36,x13)},conc(for(x15,{(1,x9)},fun(x16,{(-56,-36,14)},fun(x17,{(16,x16,8)},for(x18,{(x17,1)},for(x19,{(7,2),(11,14)},p((x18,x19),(x15))))))),for(x20,{(3,10)},for(x21,{(10,x14)},p((x20,x21),(x10)))))))))))))))))));goodness : 28.6886 distance to original : 30 time need : 557 greatness : 86 idv : 2
fun(x1,{(10,1,1)},conc(fun(x2,{(-36,1,2)},fun(x3,{(1,0,1)},fun(x4,{(0,1,3)},fun(x5,{(0,1,8)},fun(x6,{(1,1,x3)},for(x7,{(0,0)},fun(x8,{(2,-31,1)},fun(x9,{(1,-7,1)},for(x10,{(-14,-14)},for(x11,{(x5,x4)},fun(x12,{(1,x6,-11)},fun(x13,{(1,x8,1)},fun(x14,{(-7,x13,-28)},for(x15,{(0,0)},fun(x16,{(1,36,x15)},conc(for(x17,{(1,x11)},fun(x18,{(-56,x2,14)},fun(x19,{(16,x18,8)},for(x20,{(x19,1)},for(x21,{(7,2),(11,14)},p((x20,x21),(x17))))))),for(x22,{(3,10)},for(x23,{(10,x16)},p((x22,x23),(x12)))))))))))))))))))),p((x1,5),(0))));goodness : 28.9687 distance to original : 29 time need : 570 greatness : 99 idv : 204
for(x1,{(7,7)},fun(x2,{(1,0,1)},fun(x3,{(0,1,3)},fun(x4,{(0,15,8)},fun(x5,{(1,1,x2)},fun(x6,{(2,-50,-16)},for(x7,{(-14,-14)},for(x8,{(x4,x3)},fun(x9,{(1,x5,-11)},fun(x10,{(1,x6,1)},for(x11,{(0,0)},fun(x12,{(1,36,x11)},conc(for(x13,{(1,x8)},fun(x14,{(-56,-24,14)},fun(x15,{(6,x14,8)},for(x16,{(x15,1)},for(x17,{(x1,2),(11,14)},p((x16,x17),(x13))))))),for(x18,{(3,10)},for(x19,{(10,x12)},p((x18,x19),(x9)))))))))))))))));goodness : 29.0284 distance to original : 30 time need : 549 greatness : 78 idv : 1662
for(x1,{(1,1)},fun(x2,{(x1,1,1)},fun(x3,{(10,1,20)},conc(fun(x4,{(-36,13,-12)},fun(x5,{(1,0,1)},fun(x6,{(0,x2,-4)},fun(x7,{(0,1,8)},fun(x8,{(1,1,x5)},fun(x9,{(2,-31,1)},for(x10,{(x7,x6)},fun(x11,{(1,x8,-11)},fun(x12,{(1,x9,1)},fun(x13,{(-7,x12,-35)},for(x14,{(0,0)},fun(x15,{(1,37,x14)},conc(for(x16,{(1,x10)},fun(x17,{(-57,x4,18)},fun(x18,{(16,x17,8)},for(x19,{(x18,1)},for(x20,{(6,2),(11,14)},p((x19,x20),(x16))))))),for(x21,{(3,10)},for(x22,{(10,x15)},p((x21,x22),(x11))))))))))))))))),p((x3,6),(0))))));goodness : 29.1095 distance to original : 29 time need : 553 greatness : 96 idv : 26063
fun(x1,{(1,7,1)},fun(x2,{(12,0,1)},fun(x3,{(0,1,12)},fun(x4,{(0,1,8)},fun(x5,{(1,1,x2)},fun(x6,{(2,-14,17)},fun(x7,{(1,28,1)},for(x8,{(x4,x3)},fun(x9,{(1,x5,-29)},for(x10,{(0,0)},fun(x11,{(1,36,x10)},conc(for(x12,{(1,x8)},fun(x13,{(-22,38,-15)},for(x14,{(x13,1)},for(x15,{(x1,2),(11,14)},p((x14,x15),(x12)))))),for(x16,{(3,10)},for(x17,{(10,x11)},p((x16,x17),(x9))))))))))))))));goodness : 29.3023 distance to original : 30 time need : 527 greatness : 72 idv : 47196


fun(x1,{(1,-14,1)},for(x2,{(0,0)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(7,1,-9)},fun(x6,{(-3,1,9)},fun(x7,{(1,12,14)},fun(x8,{(1,x4,1)},fun(x9,{(x1,1,6)},for(x10,{(0,0)},fun(x11,{(10,3,-4)},for(x12,{(x8,1)},fun(x13,{(1,16,x10)},fun(x14,{(1,-1,x5)},fun(x15,{(-13,x14,1)},conc(for(x16,{(0,0)},fun(x17,{(3,12,9)},for(x18,{(1,1)},for(x19,{(0,x16)},fun(x20,{(1,1,21)},for(x21,{(19,19)},for(x22,{(1,x2)},fun(x23,{(-8,-16,2)},fun(x24,{(15,x23,6)},for(x25,{(x24,1)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))),fun(x27,{(-1,-9,-57)},fun(x28,{(x12,x27,-45)},for(x29,{(3,10)},for(x30,{(10,x13)},p((x29,x30),(x3))))))))))))))))))))));goodness : 3.06401 distance to original : 32 time need : 520 greatness : 117 idv : 1
fun(x1,{(1,0,1)},fun(x2,{(0,1,3)},fun(x3,{(0,1,8)},fun(x4,{(1,1,x1)},for(x5,{(0,0)},fun(x6,{(2,-31,1)},fun(x7,{(1,-7,1)},for(x8,{(-14,-14)},for(x9,{(x3,x2)},fun(x10,{(1,x4,-11)},fun(x11,{(1,x6,1)},fun(x12,{(-7,x11,-28)},for(x13,{(0,0)},fun(x14,{(1,36,x13)},conc(for(x15,{(1,x9)},fun(x16,{(-56,-36,14)},fun(x17,{(16,x16,8)},for(x18,{(x17,1)},for(x19,{(7,2),(11,14)},p((x18,x19),(x15))))))),for(x20,{(3,10)},for(x21,{(10,x14)},p((x20,x21),(x10)))))))))))))))))));goodness : 3.28023 distance to original : 30 time need : 557 greatness : 86 idv : 2
fun(x1,{(1,7,1)},fun(x2,{(12,0,1)},fun(x3,{(0,1,12)},fun(x4,{(0,1,8)},fun(x5,{(1,1,x2)},fun(x6,{(2,-14,17)},fun(x7,{(1,28,1)},for(x8,{(x4,x3)},fun(x9,{(1,x5,-29)},for(x10,{(0,0)},fun(x11,{(1,36,x10)},conc(for(x12,{(1,x8)},fun(x13,{(-22,38,-15)},for(x14,{(x13,1)},for(x15,{(x1,2),(11,14)},p((x14,x15),(x12)))))),for(x16,{(3,10)},for(x17,{(10,x11)},p((x16,x17),(x9))))))))))))))));goodness : 3.2881 distance to original : 30 time need : 527 greatness : 72 idv : 3
for(x1,{(2,5)},for(x2,{(1,1)},fun(x3,{(1,7,1)},fun(x4,{(12,0,1)},conc(fun(x5,{(0,x2,12)},fun(x6,{(0,1,-3)},fun(x7,{(1,1,x4)},fun(x8,{(2,-14,17)},fun(x9,{(1,28,1)},for(x10,{(x6,x5)},fun(x11,{(1,x7,-19)},for(x12,{(0,0)},fun(x13,{(1,36,x12)},conc(for(x14,{(1,x10)},fun(x15,{(-22,38,-15)},for(x16,{(x15,1)},for(x17,{(x3,2),(11,14)},p((x16,x17),(x14)))))),for(x18,{(3,10)},for(x19,{(17,x13)},p((x18,x19),(x11)))))))))))))),p((x1,3),(1)))))));goodness : 3.36498 distance to original : 29 time need : 3029 greatness : 83 idv : 3191
fun(x1,{(1,1,1)},fun(x2,{(1,0,1)},fun(x3,{(8,1,7)},fun(x4,{(3,1,1)},for(x5,{(24,24)},fun(x6,{(-20,-9,x2)},fun(x7,{(1,7,1)},fun(x8,{(-1,x6,1)},fun(x9,{(0,1,12)},fun(x10,{(0,1,8)},fun(x11,{(1,1,x8)},fun(x12,{(13,-14,17)},fun(x13,{(x3,28,4)},for(x14,{(x10,x9)},fun(x15,{(1,x11,-29),(0,2,12)},for(x16,{(0,0)},fun(x17,{(x1,36,x16)},conc(for(x18,{(1,x14)},fun(x19,{(-22,38,-15)},for(x20,{(x19,5)},for(x21,{(x7,2),(11,14),(x5,35)},p((x20,x21),(x18)))))),for(x22,{(x4,10)},for(x23,{(10,x17)},p((x22,x23),(x15))))))))))))))))))))));goodness : 3.37356 distance to original : 29 time need : 1423 greatness : 100 idv : 18382
fun(x1,{(1,1,1)},fun(x2,{(1,0,1)},fun(x3,{(8,1,7)},fun(x4,{(3,1,1)},for(x5,{(24,24)},fun(x6,{(-20,-9,x2)},fun(x7,{(1,7,1)},fun(x8,{(-1,x6,1)},fun(x9,{(0,1,12)},fun(x10,{(0,1,8)},fun(x11,{(1,1,x8)},fun(x12,{(x3,28,4)},for(x13,{(x10,x9)},fun(x14,{(1,x11,-29),(0,2,10)},for(x15,{(0,0)},fun(x16,{(x1,36,x15)},conc(for(x17,{(1,x13)},fun(x18,{(-22,38,-15)},for(x19,{(x18,5)},for(x20,{(x7,2),(11,14),(x5,35)},p((x19,x20),(x17)))))),for(x21,{(x4,10)},for(x22,{(10,x16)},p((x21,x22),(x14)))))))))))))))))))));goodness : 3.37588 distance to original : 29 time need : 1419 greatness : 96 idv : 22882
fun(x1,{(0,1,3)},fun(x2,{(1,1,6)},fun(x3,{(1,3,1)},fun(x4,{(-7,x2,9)},for(x5,{(1,1)},fun(x6,{(1,0,1)},fun(x7,{(38,-16,4)},fun(x8,{(11,1,2)},fun(x9,{(20,0,1)},fun(x10,{(1,0,1),(3,2,0)},fun(x11,{(1,7,1)},fun(x12,{(12,x10,8)},fun(x13,{(0,8,18)},fun(x14,{(0,17,x9)},fun(x15,{(1,1,x12)},fun(x16,{(2,-14,17)},fun(x17,{(1,28,1)},for(x18,{(x14,x13)},fun(x19,{(1,x15,-29)},for(x20,{(0,0)},fun(x21,{(1,36,x20)},conc(conc(fun(x22,{(1,0,1)},fun(x23,{(x5,0,x1)},fun(x24,{(0,1,3)},fun(x25,{(0,1,8)},fun(x26,{(1,1,x23)},for(x27,{(0,0)},fun(x28,{(2,-31,1)},fun(x29,{(1,-7,x6)},for(x30,{(-14,-14)},for(x31,{(x25,x24)},fun(x32,{(1,x26,-11)},fun(x33,{(1,x28,-15)},fun(x34,{(x4,x33,-28)},for(x35,{(0,0)},fun(x36,{(1,36,x35)},for(x37,{(1,x31)},fun(x38,{(-56,-20,14)},fun(x39,{(35,x38,-1)},for(x40,{(x39,x22)},for(x41,{(7,2),(11,14)},p((x40,x41),(x37)))))))))))))))))))))),for(x42,{(1,x18)},fun(x43,{(-22,x7,-15)},for(x44,{(5,1)},for(x45,{(x11,2),(x8,14)},p((x44,x45),(x42))))))),for(x46,{(x3,10),(81,91),(73,81)},for(x47,{(10,x21)},p((x46,x47),(x19))))))))))))))))))))))))));goodness : 3.42866 distance to original : 28 time need : 1759 greatness : 198 idv : 26738
fun(x1,{(0,1,7)},fun(x2,{(0,1,3)},fun(x3,{(1,1,6)},fun(x4,{(1,3,1)},fun(x5,{(-6,x3,9)},for(x6,{(1,1)},fun(x7,{(1,17,1)},fun(x8,{(38,-16,4)},fun(x9,{(11,1,2)},fun(x10,{(20,0,11)},fun(x11,{(1,0,1),(3,2,0)},fun(x12,{(1,7,1)},fun(x13,{(12,x11,8)},fun(x14,{(0,8,18)},fun(x15,{(0,17,x10)},fun(x16,{(1,1,x13)},fun(x17,{(2,-14,17)},for(x18,{(x15,x14)},fun(x19,{(1,x16,-29)},for(x20,{(0,0)},fun(x21,{(1,36,x20)},conc(conc(fun(x22,{(1,0,1)},fun(x23,{(x6,6,x2)},fun(x24,{(0,1,11)},fun(x25,{(0,1,8)},fun(x26,{(1,1,x23)},for(x27,{(0,0)},fun(x28,{(2,-31,1)},fun(x29,{(1,x1,x7)},for(x30,{(x25,x24)},fun(x31,{(12,x26,-11)},fun(x32,{(1,x28,-15)},fun(x33,{(x5,x32,-28)},for(x34,{(0,0)},fun(x35,{(1,36,x34)},for(x36,{(1,x30)},fun(x37,{(-56,-20,14)},fun(x38,{(35,x37,-1)},for(x39,{(x38,x22)},for(x40,{(7,2),(11,14),(73,81)},p((x39,x40),(x36))))))))))))))))))))),for(x41,{(1,x18)},fun(x42,{(-22,x8,-15)},for(x43,{(5,1)},for(x44,{(x12,2),(x9,14)},p((x43,x44),(x41))))))),for(x45,{(x4,10),(81,91),(76,81)},for(x46,{(10,x21)},p((x45,x46),(x19))))))))))))))))))))))))));goodness : 3.42986 distance to original : 28 time need : 1707 greatness : 197 idv : 37152
fun(x1,{(1,1,0)},fun(x2,{(1,11,1)},fun(x3,{(28,1,9)},fun(x4,{(1,1,9)},fun(x5,{(x4,0,1)},fun(x6,{(38,1,4)},fun(x7,{(11,1,2)},fun(x8,{(1,0,1)},fun(x9,{(1,0,1),(3,2,0)},fun(x10,{(1,7,1)},fun(x11,{(13,x9,8)},fun(x12,{(0,8,18)},fun(x13,{(0,1,x8)},fun(x14,{(1,1,x11)},fun(x15,{(-6,-14,17)},fun(x16,{(1,x3,1)},for(x17,{(x13,x12)},fun(x18,{(1,x14,-29)},for(x19,{(0,0)},fun(x20,{(1,36,x19)},conc(conc(fun(x21,{(3,0,1)},fun(x22,{(-3,0,18)},fun(x23,{(0,1,3)},fun(x24,{(0,1,8)},fun(x25,{(1,1,x22)},for(x26,{(0,0)},fun(x27,{(2,-31,14)},fun(x28,{(1,-7,x5)},for(x29,{(-14,-14)},for(x30,{(x24,x23)},fun(x31,{(x1,x25,-11)},fun(x32,{(1,x27,-15)},fun(x33,{(-7,x32,-28)},for(x34,{(0,0)},fun(x35,{(1,36,x34)},for(x36,{(3,4)},for(x37,{(20,x35)},p((x36,x37),(x31))))))))))))))))))),for(x38,{(1,x17)},fun(x39,{(-22,x6,-15)},for(x40,{(x39,1)},for(x41,{(x10,2),(x7,14)},p((x40,x41),(x38))))))),for(x42,{(3,10)},for(x43,{(10,x20)},p((x42,x43),(x18)))))))))))))))))))))))));goodness : 3.45211 distance to original : 28 time need : 778 greatness : 178 idv : 38407
fun(x1,{(1,1,0)},fun(x2,{(1,11,1)},fun(x3,{(28,1,9)},fun(x4,{(1,1,9)},fun(x5,{(x4,0,1)},fun(x6,{(38,1,4)},fun(x7,{(11,1,2)},fun(x8,{(1,0,1)},fun(x9,{(x4,0,1),(3,2,0)},fun(x10,{(1,7,1)},fun(x11,{(13,x9,8)},fun(x12,{(0,8,18)},fun(x13,{(0,1,x8)},fun(x14,{(1,1,x11)},fun(x15,{(-6,-14,17)},fun(x16,{(1,x3,1)},for(x17,{(x13,x12)},fun(x18,{(1,x14,-29)},for(x19,{(0,0)},fun(x20,{(1,36,x19)},conc(conc(fun(x21,{(-16,0,1)},fun(x22,{(-3,0,18)},fun(x23,{(0,1,3)},fun(x24,{(0,1,8)},fun(x25,{(1,1,x22)},for(x26,{(0,0)},fun(x27,{(2,-31,14)},fun(x28,{(1,-7,x5)},for(x29,{(x24,x23)},fun(x30,{(x1,x25,-11)},fun(x31,{(1,x27,-15)},fun(x32,{(-7,x31,-28)},for(x33,{(0,0)},fun(x34,{(1,36,x33)},for(x35,{(3,4)},for(x36,{(20,x34)},p((x35,x36),(x30)))))))))))))))))),for(x37,{(1,x17)},fun(x38,{(-22,x6,-15)},for(x39,{(x38,1)},for(x40,{(x10,2),(x7,14)},p((x39,x40),(x37))))))),for(x41,{(3,10)},for(x42,{(10,x20)},p((x41,x42),(x18)))))))))))))))))))))))));goodness : 3.45391 distance to original : 28 time need : 777 greatness : 175 idv : 44951
fun(x1,{(1,1,0)},fun(x2,{(1,11,1)},fun(x3,{(28,1,9)},fun(x4,{(1,1,9)},fun(x5,{(x4,0,-14)},fun(x6,{(38,1,4)},fun(x7,{(11,1,2)},fun(x8,{(1,0,1)},fun(x9,{(x4,0,1),(3,2,0)},fun(x10,{(1,7,1)},fun(x11,{(13,x9,8)},fun(x12,{(0,8,18)},fun(x13,{(0,1,x8)},fun(x14,{(1,1,x11)},fun(x15,{(1,x3,1)},for(x16,{(x13,x12)},fun(x17,{(1,x14,-29)},for(x18,{(0,0)},fun(x19,{(1,36,x18)},conc(conc(fun(x20,{(-3,0,18)},fun(x21,{(0,1,3)},fun(x22,{(0,1,8)},fun(x23,{(1,1,x20)},for(x24,{(0,0)},fun(x25,{(2,-31,14)},fun(x26,{(1,-7,x5)},for(x27,{(x22,x21)},fun(x28,{(x1,x23,-11)},fun(x29,{(1,x25,-15)},fun(x30,{(-7,x29,-28)},for(x31,{(0,0)},fun(x32,{(1,36,x31)},for(x33,{(3,4)},for(x34,{(20,x32)},p((x33,x34),(x28))))))))))))))))),for(x35,{(1,x16)},fun(x36,{(-22,x6,-15)},for(x37,{(x36,1)},for(x38,{(x10,2),(x7,14)},p((x37,x38),(x35))))))),for(x39,{(3,10)},for(x40,{(10,x19)},p((x39,x40),(x17))))))))))))))))))))))));goodness : 3.45878 distance to original : 28 time need : 769 greatness : 167 idv : 53656
for(x1,{(-14,-14)},fun(x2,{(0,1,3)},fun(x3,{(0,1,1)},for(x4,{(1,1)},fun(x5,{(1,-6,1)},fun(x6,{(17,13,1)},fun(x7,{(x6,0,1)},fun(x8,{(1,-2,-16)},for(x9,{(0,0)},for(x10,{(1,1)},fun(x11,{(9,0,1)},fun(x12,{(1,13,1)},fun(x13,{(1,0,1)},for(x14,{(1,1)},fun(x15,{(1,1,0)},fun(x16,{(1,11,1)},fun(x17,{(28,x14,9)},fun(x18,{(-15,7,9)},fun(x19,{(x18,0,-14)},fun(x20,{(38,1,4)},fun(x21,{(11,1,2)},fun(x22,{(1,-9,-17)},fun(x23,{(x18,x8,1),(3,-3,-2)},fun(x24,{(1,7,1)},fun(x25,{(x12,x23,8)},fun(x26,{(0,22,0)},fun(x27,{(0,x2,x22)},fun(x28,{(1,1,x25)},fun(x29,{(x5,x1,17)},fun(x30,{(1,x17,18)},for(x31,{(x27,x26)},fun(x32,{(1,x28,x13)},for(x33,{(0,0)},fun(x34,{(1,36,x33)},conc(for(x35,{(3,10)},for(x36,{(10,x34)},p((x35,x36),(x32)))),conc(fun(x37,{(-16,0,1)},fun(x38,{(-3,0,18)},fun(x39,{(0,1,0)},fun(x40,{(0,1,8)},fun(x41,{(1,1,x38)},for(x42,{(0,0)},fun(x43,{(-17,-27,14)},fun(x44,{(1,-7,x19)},for(x45,{(x40,x39)},fun(x46,{(x15,x41,-11)},fun(x47,{(1,x43,-15)},fun(x48,{(-27,x47,-28)},for(x49,{(0,0)},fun(x50,{(1,36,x49)},for(x51,{(3,5)},for(x52,{(20,x50)},p((x51,x52),(x46)))))))))))))))))),for(x53,{(1,x31)},fun(x54,{(-22,x20,-15)},for(x55,{(x54,1)},for(x56,{(x24,2),(x21,14),(45,56),(53,60)},p((x55,x56),(x53))))))))))))))))))))))))))))))))))))))))));goodness : 3.53708 distance to original : 27 time need : 1219 greatness : 230 idv : 186508
fun(x1,{(1,-18,1)},fun(x2,{(1,0,1)},fun(x3,{(1,0,-1)},fun(x4,{(0,1,2)},fun(x5,{(1,0,1)},fun(x6,{(-14,x4,1)},fun(x7,{(1,1,5)},fun(x8,{(1,1,-10)},fun(x9,{(0,1,6)},for(x10,{(1,1)},for(x11,{(0,0)},fun(x12,{(-18,x10,-10)},for(x13,{(-14,-14)},fun(x14,{(0,1,4)},fun(x15,{(-18,1,1)},fun(x16,{(1,-14,1)},fun(x17,{(17,13,11)},fun(x18,{(x17,0,-15)},fun(x19,{(1,-2,-16)},for(x20,{(0,x9)},for(x21,{(1,x11)},fun(x22,{(9,0,1)},fun(x23,{(1,13,1)},fun(x24,{(x1,0,1)},for(x25,{(1,1)},fun(x26,{(1,1,0)},fun(x27,{(1,11,15)},fun(x28,{(28,x25,9)},fun(x29,{(-26,7,9)},fun(x30,{(x29,0,-14)},fun(x31,{(38,16,x3)},fun(x32,{(11,1,2)},fun(x33,{(12,-9,-11)},fun(x34,{(x29,x19,-15),(10,-3,16)},fun(x35,{(x8,7,1)},fun(x36,{(x23,x34,x6)},fun(x37,{(x2,2,0)},fun(x38,{(-19,x14,x33)},fun(x39,{(1,1,x36)},fun(x40,{(x16,x13,20)},fun(x41,{(x12,x28,18)},for(x42,{(x38,x37)},fun(x43,{(1,x39,x24)},for(x44,{(0,0)},fun(x45,{(1,36,x44)},conc(conc(fun(x46,{(-16,-15,1)},fun(x47,{(-3,0,18)},fun(x48,{(0,19,0)},fun(x49,{(0,1,8)},conc(fun(x50,{(1,0,1)},fun(x51,{(-9,1,0)},fun(x52,{(0,1,4)},for(x53,{(1,1)},for(x54,{(0,x52)},fun(x55,{(1,-8,-19)},for(x56,{(0,0)},for(x57,{(0,0)},for(x58,{(0,0)},fun(x59,{(1,1,10)},fun(x60,{(0,1,3)},fun(x61,{(1,1,1)},fun(x62,{(0,-16,3)},fun(x63,{(17,1,4)},fun(x64,{(31,1,1)},fun(x65,{(0,1,x50)},for(x66,{(0,0)},fun(x67,{(1,11,20)},fun(x68,{(1,1,x57)},fun(x69,{(0,3,8)},for(x70,{(1,1)},fun(x71,{(x53,0,-13)},fun(x72,{(1,0,1)},fun(x73,{(1,0,1)},fun(x74,{(-12,0,1)},for(x75,{(0,0)},for(x76,{(1,1)},fun(x77,{(8,0,1)},fun(x78,{(1,13,1)},fun(x79,{(1,15,x72)},for(x80,{(1,1)},fun(x81,{(1,1,0)},fun(x82,{(1,-1,x65)},fun(x83,{(40,x80,32)},fun(x84,{(-9,x67,-4)},fun(x85,{(x84,0,-50)},fun(x86,{(38,1,-12)},fun(x87,{(11,1,2)},fun(x88,{(x59,x51,-17)},fun(x89,{(x84,x74,x56),(3,8,-11)},fun(x90,{(1,7,1)},fun(x91,{(x78,x89,8),(5,2,12)},fun(x92,{(0,8,18)},fun(x93,{(x63,-1,x88)},fun(x94,{(1,1,x91)},fun(x95,{(-15,-20,17)},fun(x96,{(6,x83,-13)},for(x97,{(x93,x92)},fun(x98,{(1,x94,x79)},for(x99,{(0,0)},fun(x100,{(1,2,x99)},conc(fun(x101,{(-16,0,x60)},fun(x102,{(-3,-13,18)},fun(x103,{(0,1,3)},fun(x104,{(0,1,8)},fun(x105,{(1,1,x102)},for(x106,{(x71,0)},fun(x107,{(2,-31,14)},fun(x108,{(1,-7,x85)},for(x109,{(x104,x103)},fun(x110,{(x81,x105,-11)},fun(x111,{(11,48,-15)},fun(x112,{(-7,x111,-20)},for(x113,{(0,0)},fun(x114,{(x64,36,x113)},for(x115,{(3,4)},for(x116,{(20,x114)},p((x115,x116),(x110)))))))))))))))))),for(x117,{(1,x97)},fun(x118,{(-22,x86,-15)},for(x119,{(x118,1)},for(x120,{(x90,2),(x87,23),(45,56),(53,60)},p((x119,x120),(x117)))))))))))))))))))))))))))))))))))))))))))))))))))))))))),fun(x121,{(1,1,x47)},for(x122,{(x5,0)},fun(x123,{(-17,-19,14)},for(x124,{(x49,x48)},fun(x125,{(x26,x121,-11)},fun(x126,{(1,x123,-15)},fun(x127,{(-27,x126,-28)},for(x128,{(0,0)},fun(x129,{(1,36,x128)},for(x130,{(3,5)},for(x131,{(20,x129)},p((x130,x131),(x125)))))))))))))))))),for(x132,{(1,x42)},fun(x133,{(-22,x31,-15)},for(x134,{(x133,1)},for(x135,{(x35,2),(x32,14),(45,46),(53,60)},p((x134,x135),(x132))))))),for(x136,{(8,10)},for(x137,{(10,x45)},p((x136,x137),(x43))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 4.14331 distance to original : 21 time need : 3603 greatness : 555 idv : 250138
fun(x1,{(1,0,1)},fun(x2,{(1,-18,1)},fun(x3,{(1,0,1)},fun(x4,{(1,0,-1)},fun(x5,{(0,1,2)},fun(x6,{(1,0,1)},fun(x7,{(-14,x5,1)},fun(x8,{(1,1,5)},fun(x9,{(1,1,-10)},fun(x10,{(0,1,6)},for(x11,{(1,1)},for(x12,{(0,0)},fun(x13,{(-18,x11,-10)},for(x14,{(-14,-14)},fun(x15,{(0,1,4)},fun(x16,{(-18,1,1)},fun(x17,{(1,-14,1)},fun(x18,{(17,13,11)},fun(x19,{(x18,0,-15)},fun(x20,{(1,-2,-16)},for(x21,{(0,x10)},for(x22,{(1,x12)},fun(x23,{(9,0,1)},fun(x24,{(1,13,1)},fun(x25,{(x2,0,1)},for(x26,{(1,1)},fun(x27,{(1,1,0)},fun(x28,{(1,11,15)},fun(x29,{(28,x26,9)},fun(x30,{(-26,7,9)},fun(x31,{(x30,0,-14)},fun(x32,{(38,16,x4)},fun(x33,{(11,1,2)},fun(x34,{(12,-9,-11)},fun(x35,{(x30,x20,-15),(10,-3,16)},fun(x36,{(x9,7,1)},fun(x37,{(x24,x35,x7)},fun(x38,{(x3,2,0)},fun(x39,{(-19,x15,x34)},fun(x40,{(1,1,x37)},fun(x41,{(x17,x14,20)},fun(x42,{(x13,x29,18)},for(x43,{(x39,x38)},fun(x44,{(1,x40,x25)},for(x45,{(0,0)},fun(x46,{(1,36,x45)},conc(conc(fun(x47,{(-16,-15,1)},fun(x48,{(-3,0,18)},fun(x49,{(0,19,0)},fun(x50,{(0,1,8)},conc(fun(x51,{(1,0,1)},fun(x52,{(-9,1,0)},fun(x53,{(0,1,4)},for(x54,{(1,1)},for(x55,{(0,x53)},fun(x56,{(1,-8,-19)},for(x57,{(0,0)},for(x58,{(0,0)},for(x59,{(0,0)},fun(x60,{(1,1,10)},fun(x61,{(0,1,3)},fun(x62,{(1,1,1)},fun(x63,{(17,1,4)},fun(x64,{(31,1,1)},fun(x65,{(0,1,x51)},for(x66,{(0,0)},fun(x67,{(1,11,20)},fun(x68,{(1,1,x58)},fun(x69,{(0,3,8)},for(x70,{(1,1)},fun(x71,{(x54,0,-13)},fun(x72,{(1,0,1)},fun(x73,{(1,0,1)},fun(x74,{(-12,0,1)},for(x75,{(0,0)},for(x76,{(1,1)},fun(x77,{(8,0,1)},fun(x78,{(1,13,1)},fun(x79,{(1,15,x72)},for(x80,{(1,1)},fun(x81,{(1,1,0)},fun(x82,{(1,-1,x65)},fun(x83,{(40,x80,32)},fun(x84,{(-9,x67,-4)},fun(x85,{(x84,0,-50)},fun(x86,{(38,1,-12)},fun(x87,{(11,1,2)},fun(x88,{(x60,x52,-17)},fun(x89,{(x84,x74,x57),(3,8,-11)},fun(x90,{(1,7,1)},fun(x91,{(x78,x89,8),(5,2,12)},fun(x92,{(0,8,18)},fun(x93,{(x63,-1,x88)},fun(x94,{(1,1,x91)},fun(x95,{(-15,-20,17)},fun(x96,{(6,x83,-13)},for(x97,{(x93,x92)},fun(x98,{(1,x94,x79)},for(x99,{(x1,0)},fun(x100,{(1,2,x99)},conc(fun(x101,{(-16,0,x61)},fun(x102,{(-3,-13,18)},fun(x103,{(0,1,3)},fun(x104,{(0,1,8)},fun(x105,{(1,1,x102)},for(x106,{(x71,0)},fun(x107,{(2,-31,14)},fun(x108,{(1,-7,x85)},for(x109,{(x104,x103)},fun(x110,{(x81,x105,-11)},fun(x111,{(11,48,-15)},fun(x112,{(-7,x111,-20)},for(x113,{(0,0)},fun(x114,{(x64,36,x113)},for(x115,{(3,4)},for(x116,{(20,x114)},p((x115,x116),(x110)))))))))))))))))),for(x117,{(1,x97)},fun(x118,{(-22,x86,-15)},for(x119,{(x118,1)},for(x120,{(x90,2),(x87,23),(45,56),(53,60)},p((x119,x120),(x117))))))))))))))))))))))))))))))))))))))))))))))))))))))))),fun(x121,{(1,1,x48)},for(x122,{(x6,0)},fun(x123,{(-17,-19,14)},for(x124,{(x50,x49)},fun(x125,{(x27,x121,-11)},fun(x126,{(1,x123,-15)},fun(x127,{(-27,x126,-28)},for(x128,{(0,0)},fun(x129,{(1,36,x128)},for(x130,{(3,5)},for(x131,{(20,x129)},p((x130,x131),(x125)))))))))))))))))),for(x132,{(1,x43)},fun(x133,{(-22,x32,-15)},for(x134,{(x133,1)},for(x135,{(x36,2),(x33,14),(45,46),(53,60)},p((x134,x135),(x132))))))),for(x136,{(8,10)},for(x137,{(10,x46)},p((x136,x137),(x44)))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 4.14338 distance to original : 21 time need : 3599 greatness : 555 idv : 252436
fun(x1,{(1,1,1)},fun(x2,{(1,-18,1)},fun(x3,{(1,0,1)},fun(x4,{(1,0,-1)},fun(x5,{(0,1,2)},fun(x6,{(1,0,1)},fun(x7,{(-14,x5,1)},fun(x8,{(1,1,5)},fun(x9,{(1,1,-10)},fun(x10,{(0,1,6)},for(x11,{(1,1)},for(x12,{(0,0)},fun(x13,{(-18,x11,-10)},for(x14,{(-14,-14)},fun(x15,{(0,1,4)},fun(x16,{(-18,1,1)},fun(x17,{(1,-14,1)},fun(x18,{(17,13,11)},fun(x19,{(x18,0,-15)},fun(x20,{(1,-2,-16)},for(x21,{(0,x10)},for(x22,{(1,x12)},fun(x23,{(9,0,1)},fun(x24,{(1,13,1)},fun(x25,{(x2,0,1)},for(x26,{(1,1)},fun(x27,{(1,x1,0)},fun(x28,{(1,11,15)},fun(x29,{(28,x26,9)},fun(x30,{(-26,7,9)},fun(x31,{(x30,0,-14)},fun(x32,{(38,16,x4)},fun(x33,{(11,1,2)},fun(x34,{(12,-9,-11)},fun(x35,{(x30,x20,-15),(10,-3,16)},fun(x36,{(x9,7,1)},fun(x37,{(x24,x35,x7)},fun(x38,{(x3,2,0)},fun(x39,{(-19,x15,x34)},fun(x40,{(1,1,x37)},fun(x41,{(x17,x14,20)},fun(x42,{(x13,x29,18)},for(x43,{(x39,x38)},fun(x44,{(1,x40,x25)},for(x45,{(0,0)},fun(x46,{(1,36,x45)},conc(conc(fun(x47,{(-16,-15,1)},fun(x48,{(-3,0,18)},fun(x49,{(0,19,0)},fun(x50,{(0,1,8)},conc(fun(x51,{(1,0,1)},fun(x52,{(-9,1,0)},fun(x53,{(0,1,4)},for(x54,{(1,1)},for(x55,{(0,x53)},fun(x56,{(1,-8,-19)},for(x57,{(0,0)},for(x58,{(0,0)},for(x59,{(0,0)},fun(x60,{(1,1,10)},fun(x61,{(0,1,3)},fun(x62,{(1,1,1)},fun(x63,{(0,-16,3)},fun(x64,{(17,1,4)},fun(x65,{(31,1,1)},fun(x66,{(0,1,x51)},for(x67,{(0,0)},fun(x68,{(1,11,20)},fun(x69,{(1,1,x58)},fun(x70,{(0,3,8)},for(x71,{(1,1)},fun(x72,{(x54,0,-13)},fun(x73,{(1,0,1)},fun(x74,{(1,0,1)},fun(x75,{(-12,0,1)},for(x76,{(0,0)},for(x77,{(1,1)},fun(x78,{(8,0,1)},fun(x79,{(1,13,1)},fun(x80,{(1,15,x73)},for(x81,{(1,1)},fun(x82,{(1,1,0)},fun(x83,{(1,-1,x66)},fun(x84,{(40,x81,32)},fun(x85,{(-9,x68,-4)},fun(x86,{(x85,0,-50)},fun(x87,{(38,1,-12)},fun(x88,{(11,1,2)},fun(x89,{(x60,x52,-17)},fun(x90,{(x85,x75,x57),(3,8,-11)},fun(x91,{(1,7,1)},fun(x92,{(x79,x90,8),(5,2,12)},fun(x93,{(0,8,18)},fun(x94,{(x64,-1,x89)},fun(x95,{(1,1,x92)},fun(x96,{(-15,-20,17)},fun(x97,{(6,x84,-13)},for(x98,{(x94,x93)},fun(x99,{(1,x95,x80)},for(x100,{(0,0)},fun(x101,{(1,2,x100)},for(x102,{(1,x98)},fun(x103,{(-22,x87,-15)},for(x104,{(x103,1)},for(x105,{(x91,2),(x88,23),(45,56),(53,60)},p((x104,x105),(x102))))))))))))))))))))))))))))))))))))))))))))))))))))))))),fun(x106,{(1,1,x48)},for(x107,{(x6,0)},fun(x108,{(-17,-19,14)},for(x109,{(x50,x49)},fun(x110,{(x27,x106,-11)},fun(x111,{(1,x108,-15)},fun(x112,{(-27,x111,-28)},for(x113,{(0,0)},fun(x114,{(1,36,x113)},for(x115,{(3,5)},for(x116,{(20,x114)},p((x115,x116),(x110)))))))))))))))))),for(x117,{(1,x43)},fun(x118,{(-22,x32,-15)},for(x119,{(x118,1)},for(x120,{(x36,2),(x33,14),(45,46),(53,60)},p((x119,x120),(x117))))))),for(x121,{(8,10)},for(x122,{(10,x46)},p((x121,x122),(x44)))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 4.20057 distance to original : 21 time need : 3313 greatness : 495 idv : 253071
fun(x1,{(1,-18,1)},fun(x2,{(1,0,1)},fun(x3,{(16,0,-1)},fun(x4,{(0,1,2)},fun(x5,{(1,0,1)},fun(x6,{(-14,x4,1)},fun(x7,{(1,1,5)},fun(x8,{(1,1,-10)},fun(x9,{(0,1,6)},for(x10,{(1,1)},for(x11,{(0,0)},fun(x12,{(-18,x10,-10)},for(x13,{(-14,-14)},fun(x14,{(0,1,4)},fun(x15,{(-18,1,1)},fun(x16,{(1,-14,1)},fun(x17,{(17,13,11)},fun(x18,{(x17,0,-15)},fun(x19,{(1,-2,-16)},for(x20,{(0,x9)},for(x21,{(1,x11)},fun(x22,{(9,0,1)},fun(x23,{(1,13,1)},fun(x24,{(x1,0,1)},for(x25,{(1,1)},fun(x26,{(1,1,6)},fun(x27,{(1,11,15)},fun(x28,{(28,x25,9)},fun(x29,{(-26,7,9)},fun(x30,{(x29,0,-14)},fun(x31,{(38,16,x3)},fun(x32,{(11,1,2)},fun(x33,{(12,-9,-11)},fun(x34,{(x29,x19,-15),(10,-3,16)},fun(x35,{(x8,7,1)},fun(x36,{(x23,x34,x6)},fun(x37,{(x2,2,0)},fun(x38,{(-19,x14,x33)},fun(x39,{(1,1,x36)},fun(x40,{(x16,x13,20)},fun(x41,{(x12,x28,18)},for(x42,{(x38,x37)},fun(x43,{(1,x39,x24)},for(x44,{(0,0)},fun(x45,{(1,36,x44)},conc(conc(fun(x46,{(-16,-15,1)},fun(x47,{(-3,0,18)},fun(x48,{(0,19,0)},fun(x49,{(0,1,8)},conc(fun(x50,{(1,0,1)},fun(x51,{(-9,1,0)},fun(x52,{(0,1,4)},for(x53,{(1,1)},for(x54,{(0,x52)},fun(x55,{(1,-8,-19)},for(x56,{(0,0)},for(x57,{(0,0)},for(x58,{(0,0)},fun(x59,{(1,1,10)},fun(x60,{(0,1,3)},fun(x61,{(1,1,1)},fun(x62,{(0,-16,3)},fun(x63,{(17,1,4)},fun(x64,{(31,1,1)},fun(x65,{(0,1,x50)},for(x66,{(0,0)},fun(x67,{(1,11,20)},fun(x68,{(1,1,x57)},fun(x69,{(0,3,8)},for(x70,{(1,1)},fun(x71,{(x53,0,-13)},fun(x72,{(1,0,1)},fun(x73,{(1,0,1)},fun(x74,{(-12,0,1)},for(x75,{(0,0)},for(x76,{(1,1)},fun(x77,{(8,0,1)},fun(x78,{(1,13,1)},fun(x79,{(1,15,x72)},for(x80,{(1,1)},fun(x81,{(1,1,0),(9,3,0)},fun(x82,{(1,-1,x65)},fun(x83,{(40,x80,32)},fun(x84,{(-9,x67,-4)},fun(x85,{(x84,0,-50)},fun(x86,{(38,1,-12)},fun(x87,{(11,1,2)},fun(x88,{(x59,x51,-17)},fun(x89,{(x84,x74,x56),(3,8,-11)},fun(x90,{(1,7,1)},fun(x91,{(x78,x89,8),(5,2,12)},fun(x92,{(0,8,18)},fun(x93,{(x63,-1,x88)},fun(x94,{(1,1,x91)},fun(x95,{(-15,-20,17)},fun(x96,{(6,x83,-13)},for(x97,{(x93,x92)},fun(x98,{(1,x94,x79)},for(x99,{(0,0)},fun(x100,{(1,2,x99)},for(x101,{(1,x97)},fun(x102,{(-22,x86,-15)},for(x103,{(x102,1)},for(x104,{(x90,2),(x87,23),(45,56),(53,60)},p((x103,x104),(x101))))))))))))))))))))))))))))))))))))))))))))))))))))))))),fun(x105,{(1,1,x47)},for(x106,{(x5,0)},fun(x107,{(-17,-19,14)},for(x108,{(x49,x48)},fun(x109,{(x26,x105,-11)},fun(x110,{(1,x107,-15)},fun(x111,{(-27,x110,-28)},for(x112,{(0,0)},fun(x113,{(1,36,x112)},for(x114,{(3,5)},for(x115,{(20,x113)},p((x114,x115),(x109)))))))))))))))))),for(x116,{(1,x42)},fun(x117,{(-22,x31,-15)},for(x118,{(x117,1)},for(x119,{(x35,2),(x32,14),(45,46),(53,60)},p((x118,x119),(x116))))))),for(x120,{(8,10)},for(x121,{(10,x45)},p((x120,x121),(x43))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 4.20142 distance to original : 21 time need : 3315 greatness : 494 idv : 256507
fun(x1,{(1,1,1)},fun(x2,{(1,-18,1)},fun(x3,{(1,0,1)},fun(x4,{(1,0,-1)},fun(x5,{(0,1,2)},fun(x6,{(1,0,1)},fun(x7,{(-14,x5,1)},fun(x8,{(1,1,5)},fun(x9,{(1,1,-10)},fun(x10,{(0,1,6)},for(x11,{(1,1)},for(x12,{(0,0)},fun(x13,{(-18,x11,-10)},for(x14,{(-14,-14)},fun(x15,{(0,1,4)},fun(x16,{(-18,1,1)},fun(x17,{(1,-14,1)},fun(x18,{(17,13,11)},fun(x19,{(x18,0,-15)},fun(x20,{(1,-2,-16)},for(x21,{(0,x10)},for(x22,{(1,x12)},fun(x23,{(9,0,1)},fun(x24,{(1,13,1)},fun(x25,{(x2,0,1)},for(x26,{(1,1)},fun(x27,{(1,x1,0)},fun(x28,{(1,11,15)},fun(x29,{(28,x26,9)},fun(x30,{(-26,7,9)},fun(x31,{(x30,0,-14)},fun(x32,{(38,16,x4)},fun(x33,{(11,1,2)},fun(x34,{(12,-9,-11)},fun(x35,{(x30,x20,-15),(10,-3,16)},fun(x36,{(x9,7,1)},fun(x37,{(x24,x35,x7)},fun(x38,{(x3,2,0)},fun(x39,{(-19,x15,x34)},fun(x40,{(1,1,x37)},fun(x41,{(x17,x14,20)},fun(x42,{(x13,x29,18)},for(x43,{(x39,x38)},fun(x44,{(1,x40,x25)},for(x45,{(0,0)},fun(x46,{(1,36,x45)},conc(conc(fun(x47,{(-16,-15,1)},fun(x48,{(-3,0,18)},fun(x49,{(0,19,0)},fun(x50,{(0,1,8)},fun(x51,{(1,1,x48)},for(x52,{(x6,0)},fun(x53,{(-17,-19,14)},for(x54,{(x50,x49)},fun(x55,{(x27,x51,-11)},fun(x56,{(1,x53,-15)},fun(x57,{(-27,x56,-28)},for(x58,{(0,0)},fun(x59,{(1,36,x58)},for(x60,{(3,5)},for(x61,{(20,x59)},p((x60,x61),(x55))))))))))))))))),for(x62,{(1,x43)},fun(x63,{(-22,x32,-15)},for(x64,{(x63,1)},for(x65,{(x36,2),(x33,14),(45,46),(53,60)},p((x64,x65),(x62))))))),for(x66,{(8,10)},for(x67,{(10,x46)},p((x66,x67),(x44)))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 4.43721 distance to original : 21 time need : 1717 greatness : 273 idv : 258035
fun(x1,{(1,-18,1)},fun(x2,{(1,0,1)},fun(x3,{(16,0,-1)},fun(x4,{(0,1,2)},fun(x5,{(1,0,1)},fun(x6,{(-14,x4,1)},fun(x7,{(1,1,5)},fun(x8,{(1,1,-10)},fun(x9,{(0,1,6)},for(x10,{(1,1)},for(x11,{(0,0)},fun(x12,{(-18,x10,-10)},for(x13,{(-14,-14)},fun(x14,{(0,1,4)},fun(x15,{(-18,1,1)},fun(x16,{(1,-14,1)},fun(x17,{(17,13,11)},fun(x18,{(x17,0,-15)},fun(x19,{(1,-2,-16)},for(x20,{(0,x9)},for(x21,{(1,x11)},fun(x22,{(9,0,1)},fun(x23,{(1,13,1)},fun(x24,{(x1,0,1)},for(x25,{(1,1)},fun(x26,{(1,1,6)},fun(x27,{(1,11,15)},fun(x28,{(28,x25,9)},fun(x29,{(-26,16,9)},fun(x30,{(x29,0,-14)},fun(x31,{(38,16,x3)},fun(x32,{(11,1,2)},fun(x33,{(12,-9,-11)},fun(x34,{(x29,x19,-15),(10,-3,16)},fun(x35,{(x8,7,1)},fun(x36,{(x23,x34,x6)},fun(x37,{(x2,2,0)},fun(x38,{(-19,x14,x33)},fun(x39,{(1,1,x36)},fun(x40,{(x16,x13,20)},fun(x41,{(x12,x28,18)},for(x42,{(x38,x37)},fun(x43,{(1,x39,x24)},for(x44,{(0,0)},fun(x45,{(1,36,x44)},conc(conc(fun(x46,{(-16,-15,1)},fun(x47,{(-3,0,18)},fun(x48,{(0,19,0)},fun(x49,{(0,1,8)},fun(x50,{(1,1,x47)},for(x51,{(x5,0)},fun(x52,{(-17,-19,14)},for(x53,{(x49,x48)},fun(x54,{(x26,x50,-15)},fun(x55,{(1,x52,-15)},fun(x56,{(-27,x55,-28)},for(x57,{(0,0)},fun(x58,{(1,36,x57)},for(x59,{(3,5)},for(x60,{(20,x58)},p((x59,x60),(x54))))))))))))))))),for(x61,{(1,x42)},fun(x62,{(-22,x31,-15)},for(x63,{(x62,1)},for(x64,{(x35,2),(x32,14),(45,46),(53,60)},p((x63,x64),(x61))))))),for(x65,{(8,10)},for(x66,{(10,x45)},p((x65,x66),(x43))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 4.44123 distance to original : 21 time need : 1713 greatness : 269 idv : 261835
fun(x1,{(1,1,8)},fun(x2,{(1,1,1)},fun(x3,{(1,-18,1)},fun(x4,{(1,0,1)},fun(x5,{(1,0,-1)},fun(x6,{(0,1,2)},fun(x7,{(1,0,1)},fun(x8,{(-14,x6,1)},fun(x9,{(1,1,-10)},fun(x10,{(0,1,6)},for(x11,{(1,1)},for(x12,{(0,0)},for(x13,{(-14,-14)},fun(x14,{(0,1,4)},fun(x15,{(-18,1,1)},fun(x16,{(1,-14,1)},fun(x17,{(17,13,11)},fun(x18,{(x17,0,-15)},fun(x19,{(-10,-2,-16)},for(x20,{(0,x10)},for(x21,{(1,x12)},fun(x22,{(1,13,1)},fun(x23,{(x3,0,1)},for(x24,{(1,1)},fun(x25,{(1,x2,0)},fun(x26,{(1,11,15)},fun(x27,{(28,x24,9)},fun(x28,{(-26,14,9)},fun(x29,{(x28,0,-14)},fun(x30,{(38,16,x5)},fun(x31,{(11,x1,2)},fun(x32,{(12,-9,-11)},fun(x33,{(x28,x19,-15),(10,-3,16)},fun(x34,{(x9,7,1)},fun(x35,{(x22,x33,x8)},fun(x36,{(x4,2,0)},fun(x37,{(-19,x14,x32)},fun(x38,{(1,1,x35)},for(x39,{(x37,x36)},fun(x40,{(1,x38,x23)},for(x41,{(0,0)},fun(x42,{(1,36,x41)},conc(conc(fun(x43,{(-16,-15,1)},fun(x44,{(-3,0,18)},fun(x45,{(0,19,0)},fun(x46,{(0,1,8)},fun(x47,{(1,1,x44)},for(x48,{(x7,0)},fun(x49,{(-17,-19,14)},for(x50,{(x46,x45)},fun(x51,{(x25,x47,-11)},fun(x52,{(1,x49,-15)},fun(x53,{(-27,x52,-28)},for(x54,{(0,0)},fun(x55,{(1,36,x54)},for(x56,{(3,5)},for(x57,{(20,x55)},p((x56,x57),(x51))))))))))))))))),for(x58,{(1,x39)},fun(x59,{(-22,x30,-15)},for(x60,{(x59,1)},for(x61,{(x34,2),(x31,14),(45,46),(53,60)},p((x60,x61),(x58))))))),for(x62,{(8,10)},for(x63,{(10,x42)},p((x62,x63),(x40)))))))))))))))))))))))))))))))))))))))))))))));goodness : 4.45357 distance to original : 21 time need : 1689 greatness : 257 idv : 265010
fun(x1,{(1,8,1)},for(x2,{(0,0)},for(x3,{(0,0)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,1)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-4)},fun(x8,{(0,1,2)},fun(x9,{(1,0,1)},fun(x10,{(-14,x8,1)},fun(x11,{(1,1,5)},fun(x12,{(1,1,-10)},fun(x13,{(0,1,6)},for(x14,{(1,1)},for(x15,{(0,0)},fun(x16,{(-27,x14,-10)},for(x17,{(-14,-14)},fun(x18,{(0,1,4)},fun(x19,{(-18,1,1)},fun(x20,{(1,-14,1)},fun(x21,{(17,13,11)},fun(x22,{(x21,0,-15)},fun(x23,{(1,-2,-16)},for(x24,{(0,x13)},for(x25,{(1,x15)},fun(x26,{(9,0,x2)},fun(x27,{(1,13,1)},fun(x28,{(x5,0,1)},for(x29,{(1,1)},fun(x30,{(1,x4,0)},fun(x31,{(1,11,15)},fun(x32,{(28,x29,4)},fun(x33,{(-37,7,9)},fun(x34,{(x33,0,-14)},fun(x35,{(38,16,x7)},fun(x36,{(11,1,2)},fun(x37,{(12,-9,-11)},fun(x38,{(x33,x23,-15),(10,-3,16)},fun(x39,{(x12,7,1)},fun(x40,{(x27,x38,x10)},fun(x41,{(x6,2,0)},fun(x42,{(-19,x18,x37)},fun(x43,{(1,1,x40)},fun(x44,{(x20,x17,20)},fun(x45,{(x16,x32,18)},for(x46,{(x42,x41)},fun(x47,{(1,x43,x28)},for(x48,{(0,0)},fun(x49,{(1,36,x48)},conc(conc(for(x50,{(1,x46)},fun(x51,{(-22,x35,-15)},for(x52,{(x51,1)},for(x53,{(x39,2),(x36,14),(45,46),(53,60)},p((x52,x53),(x50)))))),fun(x54,{(-16,-15,1)},fun(x55,{(-3,0,18)},fun(x56,{(0,19,0)},fun(x57,{(0,1,8)},fun(x58,{(1,1,x55)},for(x59,{(x9,0)},fun(x60,{(-17,-19,14)},for(x61,{(x57,x56)},fun(x62,{(x30,x58,-11)},fun(x63,{(1,x60,-15)},fun(x64,{(-27,x63,-28)},for(x65,{(0,x3)},fun(x66,{(1,36,x65)},for(x67,{(3,5)},for(x68,{(20,x66)},p((x67,x68),(x62)))))))))))))))))),for(x69,{(x1,10)},for(x70,{(10,x49)},p((x69,x70),(x47))))))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 5.37765 distance to original : 17 time need : 1805 greatness : 283 idv : 268219
fun(x1,{(1,8,1)},fun(x2,{(1,1,8)},fun(x3,{(1,1,1)},fun(x4,{(1,-18,1)},fun(x5,{(1,0,1)},fun(x6,{(1,0,-1)},fun(x7,{(0,1,2)},fun(x8,{(1,0,1)},fun(x9,{(-14,x7,1)},fun(x10,{(1,1,-10)},fun(x11,{(0,1,6)},for(x12,{(1,1)},for(x13,{(0,0)},for(x14,{(-14,-14)},fun(x15,{(0,1,4)},fun(x16,{(-18,1,1)},fun(x17,{(1,-14,1)},fun(x18,{(17,13,11)},fun(x19,{(x18,0,-15)},fun(x20,{(-10,-2,-16)},for(x21,{(0,x11)},for(x22,{(1,x13)},fun(x23,{(1,13,1)},fun(x24,{(x4,0,1)},for(x25,{(1,1)},fun(x26,{(1,x3,0)},fun(x27,{(1,11,15)},fun(x28,{(28,x25,9)},fun(x29,{(-26,14,9)},fun(x30,{(x29,0,-14)},fun(x31,{(38,16,x6)},fun(x32,{(11,x2,2)},fun(x33,{(12,-9,-11)},fun(x34,{(x29,x20,-15),(10,-3,16)},fun(x35,{(x10,7,1)},fun(x36,{(x23,x34,x9)},fun(x37,{(x5,2,0)},fun(x38,{(-19,x15,x33)},fun(x39,{(1,1,x36)},for(x40,{(x38,x37)},fun(x41,{(1,x39,x24)},for(x42,{(0,0)},fun(x43,{(1,36,x42)},conc(conc(fun(x44,{(-16,-15,1)},fun(x45,{(-3,0,18)},fun(x46,{(0,19,0)},fun(x47,{(0,1,8)},fun(x48,{(1,1,x45)},for(x49,{(x8,0)},fun(x50,{(-17,-19,14)},for(x51,{(x47,x46)},fun(x52,{(x26,x48,-11)},fun(x53,{(1,x50,-15)},fun(x54,{(-27,x53,-28)},for(x55,{(0,0)},fun(x56,{(1,36,x55)},for(x57,{(3,5)},for(x58,{(20,x56)},p((x57,x58),(x52))))))))))))))))),for(x59,{(1,x40)},fun(x60,{(-22,x31,-15)},for(x61,{(x60,1)},for(x62,{(x35,2),(x32,14),(45,46),(53,60)},p((x61,x62),(x59))))))),for(x63,{(x1,10)},for(x64,{(10,x43)},p((x63,x64),(x41))))))))))))))))))))))))))))))))))))))))))))))));goodness : 5.41052 distance to original : 17 time need : 1775 greatness : 261 idv : 269277
fun(x1,{(1,8,1)},fun(x2,{(1,1,8)},fun(x3,{(1,1,1)},fun(x4,{(1,-18,-2)},fun(x5,{(1,0,1)},fun(x6,{(1,0,-1)},fun(x7,{(0,1,2)},fun(x8,{(1,0,1)},fun(x9,{(-14,x7,1)},fun(x10,{(1,1,-10)},fun(x11,{(0,1,6)},for(x12,{(1,1)},for(x13,{(0,0)},for(x14,{(-14,-14)},fun(x15,{(0,1,4)},fun(x16,{(-18,1,1)},fun(x17,{(1,-14,1)},fun(x18,{(17,13,11)},fun(x19,{(x18,0,-15)},fun(x20,{(-10,-2,-16)},for(x21,{(0,x11)},for(x22,{(1,x13)},fun(x23,{(1,13,1)},fun(x24,{(x4,0,1)},for(x25,{(1,1)},fun(x26,{(1,x3,0)},fun(x27,{(1,11,15)},fun(x28,{(18,x25,9)},fun(x29,{(-26,14,9)},fun(x30,{(x29,0,-14)},fun(x31,{(38,16,x6)},fun(x32,{(11,x2,2)},fun(x33,{(12,-9,-11)},fun(x34,{(x29,x20,-15),(10,-3,16)},fun(x35,{(x10,7,1)},fun(x36,{(x23,x34,x9)},fun(x37,{(x5,2,0)},fun(x38,{(-19,x15,x33)},fun(x39,{(1,1,x36)},for(x40,{(x38,x37)},fun(x41,{(1,x39,x24)},for(x42,{(0,0)},fun(x43,{(1,36,x42)},conc(conc(fun(x44,{(-16,-15,1)},fun(x45,{(-3,0,18)},fun(x46,{(0,19,0)},fun(x47,{(0,1,8)},fun(x48,{(1,1,x45)},for(x49,{(x8,0)},fun(x50,{(-17,-19,14)},for(x51,{(x47,x46)},fun(x52,{(x26,x48,-11)},fun(x53,{(1,x50,-15)},fun(x54,{(-27,x53,-28)},for(x55,{(0,0)},fun(x56,{(1,36,x55)},for(x57,{(3,5)},for(x58,{(20,x56)},p((x57,x58),(x52))))))))))))))))),for(x59,{(1,x40)},fun(x60,{(-22,x31,-15)},for(x61,{(x60,1)},for(x62,{(x35,2),(x32,14),(45,46),(58,60)},p((x61,x62),(x59))))))),for(x63,{(x1,10)},for(x64,{(10,x43)},p((x63,x64),(x41))))))))))))))))))))))))))))))))))))))))))))))));goodness : 5.41521 distance to original : 17 time need : 1615 greatness : 261 idv : 274460
fun(x1,{(1,8,1)},fun(x2,{(1,1,8)},fun(x3,{(1,1,1)},fun(x4,{(1,-18,-2)},fun(x5,{(1,0,1)},fun(x6,{(1,0,-1)},fun(x7,{(0,1,2)},fun(x8,{(1,0,1)},fun(x9,{(-14,x7,1)},fun(x10,{(1,1,-10)},fun(x11,{(0,1,6)},for(x12,{(1,1)},for(x13,{(0,0)},for(x14,{(-14,-14)},fun(x15,{(0,1,4)},fun(x16,{(-18,1,1)},fun(x17,{(1,-14,1)},fun(x18,{(17,13,11)},fun(x19,{(x18,0,-15)},fun(x20,{(-10,-2,-16)},for(x21,{(0,x11)},for(x22,{(1,x13)},fun(x23,{(1,13,1)},fun(x24,{(x4,0,1)},for(x25,{(1,1)},fun(x26,{(1,x3,0)},fun(x27,{(1,11,15)},fun(x28,{(18,x25,9)},fun(x29,{(-26,14,28)},fun(x30,{(x29,0,-14)},fun(x31,{(38,16,x6)},fun(x32,{(11,x2,2)},fun(x33,{(12,-9,-11)},fun(x34,{(x29,x20,-15),(10,-3,16)},fun(x35,{(x10,7,1)},fun(x36,{(x23,x34,x9)},fun(x37,{(x5,2,0)},fun(x38,{(-19,x15,x33)},fun(x39,{(1,1,x36)},for(x40,{(x38,x37)},fun(x41,{(1,x39,x24)},for(x42,{(0,0)},fun(x43,{(1,36,x42)},conc(conc(fun(x44,{(-16,-15,1)},fun(x45,{(-3,0,18)},fun(x46,{(0,19,0)},fun(x47,{(0,1,8)},fun(x48,{(1,1,x45)},for(x49,{(x8,0)},fun(x50,{(-17,-19,14)},for(x51,{(x47,x46)},fun(x52,{(x26,x48,-11)},fun(x53,{(1,x50,-15)},fun(x54,{(-27,x53,-28)},for(x55,{(0,0)},fun(x56,{(1,36,x55)},for(x57,{(3,5)},for(x58,{(20,x56)},p((x57,x58),(x52))))))))))))))))),for(x59,{(1,x40)},fun(x60,{(-22,x31,-15)},for(x61,{(x60,1)},for(x62,{(x35,2),(x32,11),(45,46),(58,60)},p((x61,x62),(x59))))))),for(x63,{(x1,10)},for(x64,{(10,x43)},p((x63,x64),(x41))))))))))))))))))))))))))))))))))))))))))))))));goodness : 5.41803 distance to original : 17 time need : 1519 greatness : 261 idv : 282014
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(1,0,1)},fun(x10,{(-14,x8,1)},fun(x11,{(1,1,-10)},fun(x12,{(0,1,6)},for(x13,{(1,1)},for(x14,{(0,0)},fun(x15,{(0,-1,4)},fun(x16,{(-18,1,1)},fun(x17,{(17,13,11)},fun(x18,{(-6,-2,-16)},for(x19,{(0,x12)},fun(x20,{(1,13,1)},fun(x21,{(x5,0,1)},for(x22,{(1,1)},fun(x23,{(1,x4,0)},fun(x24,{(1,11,15)},fun(x25,{(18,x22,9)},fun(x26,{(-26,14,9)},fun(x27,{(55,16,x7)},fun(x28,{(11,x3,2)},fun(x29,{(12,-9,-11)},fun(x30,{(x26,x18,-15),(10,-3,16)},fun(x31,{(x11,7,1)},fun(x32,{(x20,x30,x10)},fun(x33,{(x6,2,0)},fun(x34,{(-19,x15,x29)},fun(x35,{(1,1,x32)},for(x36,{(x34,x33)},fun(x37,{(1,x35,x21)},for(x38,{(0,0)},fun(x39,{(1,36,x38)},conc(conc(fun(x40,{(-16,-15,1)},fun(x41,{(-3,0,18)},fun(x42,{(0,19,0)},fun(x43,{(0,1,8)},fun(x44,{(1,1,x41)},for(x45,{(x9,0)},fun(x46,{(-17,-19,14)},fun(x47,{(x23,x44,-11)},fun(x48,{(1,x46,-15)},fun(x49,{(-37,x48,-28)},for(x50,{(0,0)},fun(x51,{(1,36,x50)},for(x52,{(3,5)},for(x53,{(20,x51)},p((x52,x53),(x47)))))))))))))))),for(x54,{(1,x36)},fun(x55,{(-22,x27,-15)},for(x56,{(x55,1)},for(x57,{(x31,2),(x28,14),(45,46),(58,60)},p((x56,x57),(x54))))))),for(x58,{(x2,10)},for(x59,{(10,x39)},p((x58,x59),(x37))))))))))))))))))))))))))))))))))))))))))));goodness : 5.4635 distance to original : 17 time need : 833 greatness : 244 idv : 289211
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(1,0,1)},fun(x10,{(-14,x8,1)},fun(x11,{(1,1,-10)},fun(x12,{(0,1,6)},for(x13,{(1,1)},for(x14,{(0,0)},fun(x15,{(0,-1,4)},fun(x16,{(-18,1,1)},fun(x17,{(17,13,11)},fun(x18,{(-6,-2,-16)},for(x19,{(0,x12)},fun(x20,{(1,13,1)},fun(x21,{(x5,0,1)},for(x22,{(1,1)},fun(x23,{(1,x4,0)},fun(x24,{(1,11,15)},fun(x25,{(18,x22,9)},fun(x26,{(-26,14,9)},fun(x27,{(55,16,x7)},fun(x28,{(11,x3,2)},fun(x29,{(12,-9,-11)},fun(x30,{(x26,x18,-15),(10,-3,16)},fun(x31,{(x11,7,1)},fun(x32,{(x20,x30,x10)},fun(x33,{(x6,2,0)},fun(x34,{(-19,x15,x29)},fun(x35,{(1,1,x32)},for(x36,{(x34,x33)},fun(x37,{(1,x35,x21)},for(x38,{(0,0)},fun(x39,{(1,36,x38)},conc(conc(fun(x40,{(-16,-15,1)},fun(x41,{(-3,0,18)},fun(x42,{(0,19,0)},fun(x43,{(0,1,8)},fun(x44,{(1,1,x41)},fun(x45,{(-17,-19,14)},fun(x46,{(x23,x44,-11)},fun(x47,{(1,x45,-15)},fun(x48,{(-37,x47,-28)},for(x49,{(0,0)},fun(x50,{(1,36,x49)},for(x51,{(3,5)},for(x52,{(20,x50)},p((x51,x52),(x46))))))))))))))),for(x53,{(1,x36)},fun(x54,{(-22,x27,-15)},for(x55,{(x54,1)},for(x56,{(x31,2),(x28,14),(45,46),(58,60)},p((x55,x56),(x53))))))),for(x57,{(x2,10)},for(x58,{(10,x39)},p((x57,x58),(x37))))))))))))))))))))))))))))))))))))))))))));goodness : 5.46801 distance to original : 17 time need : 832 greatness : 241 idv : 298786
fun(x1,{(1,-14,1)},for(x2,{(0,0)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(7,1,-9)},fun(x6,{(-3,1,9)},fun(x7,{(1,12,14)},fun(x8,{(1,x4,1)},fun(x9,{(x1,1,6)},for(x10,{(0,0)},fun(x11,{(10,3,-4)},for(x12,{(x8,1)},fun(x13,{(1,16,x10)},fun(x14,{(1,-1,x5)},fun(x15,{(-13,x14,1)},conc(for(x16,{(0,0)},fun(x17,{(3,12,9)},for(x18,{(1,1)},for(x19,{(0,x16)},fun(x20,{(1,1,21)},for(x21,{(19,19)},for(x22,{(1,x2)},fun(x23,{(-8,-16,2)},fun(x24,{(15,x23,6)},for(x25,{(x24,1)},for(x26,{(7,2)},p((x25,x26),(x22))))))))))))),fun(x27,{(-1,-9,-57)},fun(x28,{(x12,x27,-45)},for(x29,{(3,10)},for(x30,{(10,x13)},p((x29,x30),(x3))))))))))))))))))))));goodness : 3.06401 distance to original : 32 time need : 520 greatness : 117 idv : 1
fun(x1,{(1,0,1)},fun(x2,{(0,1,3)},fun(x3,{(0,1,8)},fun(x4,{(1,1,x1)},for(x5,{(0,0)},fun(x6,{(2,-31,1)},fun(x7,{(1,-7,1)},for(x8,{(-14,-14)},for(x9,{(x3,x2)},fun(x10,{(1,x4,-11)},fun(x11,{(1,x6,1)},fun(x12,{(-7,x11,-28)},for(x13,{(0,0)},fun(x14,{(1,36,x13)},conc(for(x15,{(1,x9)},fun(x16,{(-56,-36,14)},fun(x17,{(16,x16,8)},for(x18,{(x17,1)},for(x19,{(7,2),(11,14)},p((x18,x19),(x15))))))),for(x20,{(3,10)},for(x21,{(10,x14)},p((x20,x21),(x10)))))))))))))))))));goodness : 3.28023 distance to original : 30 time need : 557 greatness : 86 idv : 2
fun(x1,{(1,7,1)},fun(x2,{(12,0,1)},fun(x3,{(0,1,12)},fun(x4,{(0,1,8)},fun(x5,{(1,1,x2)},fun(x6,{(2,-14,17)},fun(x7,{(1,28,1)},for(x8,{(x4,x3)},fun(x9,{(1,x5,-29)},for(x10,{(0,0)},fun(x11,{(1,36,x10)},conc(for(x12,{(1,x8)},fun(x13,{(-22,38,-15)},for(x14,{(x13,1)},for(x15,{(x1,2),(11,14)},p((x14,x15),(x12)))))),for(x16,{(3,10)},for(x17,{(10,x11)},p((x16,x17),(x9))))))))))))))));goodness : 3.2881 distance to original : 30 time need : 527 greatness : 72 idv : 3
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(1,0,1)},fun(x10,{(-14,x8,1)},fun(x11,{(1,1,-10)},fun(x12,{(0,1,6)},for(x13,{(1,1)},for(x14,{(0,0)},fun(x15,{(0,-1,4)},fun(x16,{(-18,1,1)},fun(x17,{(17,13,11)},fun(x18,{(-6,-2,-16)},for(x19,{(0,x12)},fun(x20,{(1,13,1)},fun(x21,{(x5,0,1)},for(x22,{(1,1)},fun(x23,{(1,x4,0)},fun(x24,{(1,11,15)},fun(x25,{(18,x22,9)},fun(x26,{(-26,14,9)},fun(x27,{(55,16,x7)},fun(x28,{(11,x3,2)},fun(x29,{(12,-9,-11)},fun(x30,{(x26,x18,-15),(10,-3,16)},fun(x31,{(x11,7,1)},fun(x32,{(x20,x30,x10)},fun(x33,{(x6,2,0)},fun(x34,{(-19,x15,x29)},fun(x35,{(1,1,x32)},for(x36,{(x34,x33)},fun(x37,{(1,x35,x21)},for(x38,{(0,0)},fun(x39,{(1,36,x38)},conc(conc(fun(x40,{(-16,-15,1)},fun(x41,{(-3,0,18)},fun(x42,{(0,19,0)},fun(x43,{(0,1,8)},fun(x44,{(1,1,x41)},fun(x45,{(-17,-19,14)},fun(x46,{(x23,x44,-11)},fun(x47,{(1,x45,-15)},fun(x48,{(-37,x47,-28)},for(x49,{(0,0)},fun(x50,{(1,36,x49)},for(x51,{(3,5)},for(x52,{(20,x50)},p((x51,x52),(x46))))))))))))))),for(x53,{(1,x36)},fun(x54,{(-22,x27,-15)},for(x55,{(x54,1)},for(x56,{(x31,2),(x28,14),(45,46),(58,60)},p((x55,x56),(x53))))))),for(x57,{(x2,10)},for(x58,{(10,x39)},p((x57,x58),(x37))))))))))))))))))))))))))))))))))))))))))));goodness : 5.46801 distance to original : 17 time need : 832 greatness : 241 idv : 4
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,0)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(1,0,16)},fun(x10,{(-14,x8,1)},fun(x11,{(1,1,-10)},fun(x12,{(0,1,6)},for(x13,{(1,1)},for(x14,{(0,0)},fun(x15,{(0,-1,4)},fun(x16,{(-18,1,1)},fun(x17,{(17,13,11)},fun(x18,{(-6,-21,-16)},fun(x19,{(1,13,1)},fun(x20,{(x5,0,1)},for(x21,{(1,1)},fun(x22,{(1,x4,0)},fun(x23,{(-26,14,9)},fun(x24,{(55,16,x7)},fun(x25,{(11,x3,2)},fun(x26,{(12,-9,-11)},fun(x27,{(x23,x18,-15),(10,-3,16)},fun(x28,{(x11,7,1)},fun(x29,{(x19,x27,x10)},fun(x30,{(x6,2,0)},fun(x31,{(-19,x15,x26)},fun(x32,{(1,1,x29)},for(x33,{(x31,x30)},fun(x34,{(1,x32,x20)},for(x35,{(0,0)},fun(x36,{(1,36,x35)},conc(conc(fun(x37,{(-19,-15,1)},fun(x38,{(-3,0,18)},fun(x39,{(0,19,0)},fun(x40,{(0,1,8)},fun(x41,{(1,1,x38)},fun(x42,{(-17,-19,14)},fun(x43,{(x22,x41,-11)},fun(x44,{(1,x42,-15)},fun(x45,{(-37,x44,-28)},for(x46,{(0,0)},fun(x47,{(1,36,x46)},for(x48,{(3,5)},for(x49,{(20,x47)},p((x48,x49),(x43))))))))))))))),for(x50,{(1,x33)},fun(x51,{(-22,x24,-15)},for(x52,{(x51,1)},for(x53,{(x28,2),(x25,14),(45,46),(44,60)},p((x52,x53),(x50))))))),for(x54,{(x2,10)},for(x55,{(10,x36)},p((x54,x55),(x34)))))))))))))))))))))))))))))))))))))))));goodness : 5.47804 distance to original : 17 time need : 1047 greatness : 230 idv : 437
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,0)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(1,0,16)},fun(x10,{(-14,x8,1)},fun(x11,{(1,1,-10)},fun(x12,{(0,1,6)},for(x13,{(0,0)},fun(x14,{(0,-1,4)},fun(x15,{(-18,1,1)},fun(x16,{(17,13,11)},fun(x17,{(-6,-21,-16)},fun(x18,{(1,13,1)},fun(x19,{(x5,0,1)},fun(x20,{(1,x4,0)},fun(x21,{(-26,14,9)},fun(x22,{(55,16,x7)},fun(x23,{(11,x3,2)},fun(x24,{(12,-9,-11)},fun(x25,{(x21,x17,-15),(10,-3,16)},fun(x26,{(x11,7,1)},fun(x27,{(x18,x25,x10)},fun(x28,{(x6,2,0)},fun(x29,{(-19,x14,x24)},fun(x30,{(1,1,x27)},for(x31,{(x29,x28)},fun(x32,{(1,x30,x19)},for(x33,{(0,0)},fun(x34,{(1,36,x33)},conc(conc(fun(x35,{(-19,-15,1)},fun(x36,{(-3,0,18)},fun(x37,{(0,19,0)},fun(x38,{(0,1,8)},fun(x39,{(1,1,x36)},fun(x40,{(-17,-19,14)},fun(x41,{(x20,x39,-11)},fun(x42,{(1,x40,-15)},fun(x43,{(-37,x42,-28)},for(x44,{(0,0)},fun(x45,{(1,36,x44)},for(x46,{(3,5)},for(x47,{(20,x45)},p((x46,x47),(x41))))))))))))))),for(x48,{(1,x31)},fun(x49,{(-22,x22,-15)},for(x50,{(x49,1)},for(x51,{(x26,2),(x23,14),(45,46),(44,60)},p((x50,x51),(x48))))))),for(x52,{(x2,10)},for(x53,{(10,x34)},p((x52,x53),(x32)))))))))))))))))))))))))))))))))))))));goodness : 5.48712 distance to original : 17 time need : 1045 greatness : 224 idv : 461
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(-14,x8,1)},fun(x10,{(1,1,-10)},fun(x11,{(0,8,6)},for(x12,{(1,1)},fun(x13,{(0,-1,4)},fun(x14,{(-18,1,1)},fun(x15,{(17,13,11)},fun(x16,{(-6,-2,-16)},for(x17,{(0,x11)},fun(x18,{(1,13,1)},fun(x19,{(x5,0,1)},for(x20,{(1,1)},fun(x21,{(1,x4,0)},fun(x22,{(-26,14,9)},fun(x23,{(55,16,x7)},fun(x24,{(11,x3,2)},fun(x25,{(12,-9,-15)},fun(x26,{(x22,x16,-15),(10,-3,16)},fun(x27,{(x10,7,1)},fun(x28,{(x18,x26,x9)},fun(x29,{(x6,2,0)},fun(x30,{(-19,x13,x25)},fun(x31,{(1,1,x28)},for(x32,{(x30,x29)},fun(x33,{(1,x31,x19)},for(x34,{(0,0)},fun(x35,{(1,36,x34)},conc(conc(fun(x36,{(-16,-15,1)},fun(x37,{(-3,0,18)},fun(x38,{(0,19,0)},fun(x39,{(0,1,8)},fun(x40,{(1,1,x37)},fun(x41,{(-17,-19,14)},fun(x42,{(x21,x40,-11)},fun(x43,{(1,x41,-15)},fun(x44,{(-37,x43,-28)},for(x45,{(0,0)},fun(x46,{(1,36,x45)},for(x47,{(3,5)},for(x48,{(20,x46)},p((x47,x48),(x42))))))))))))))),for(x49,{(1,x32)},fun(x50,{(-22,x23,-15)},for(x51,{(x50,1)},for(x52,{(x27,2),(x24,14),(45,46),(58,60)},p((x51,x52),(x49))))))),for(x53,{(x2,10)},for(x54,{(10,x35)},p((x53,x54),(x33))))))))))))))))))))))))))))))))))))))));goodness : 5.49092 distance to original : 17 time need : 819 greatness : 226 idv : 583
fun(x1,{(-14,1,6)},fun(x2,{(1,8,1)},fun(x3,{(1,1,8)},fun(x4,{(1,1,1)},fun(x5,{(1,-18,-2)},fun(x6,{(1,0,1)},fun(x7,{(1,0,-5)},fun(x8,{(0,1,2)},fun(x9,{(-14,x8,1)},fun(x10,{(1,1,-10)},fun(x11,{(0,8,6)},for(x12,{(1,1)},fun(x13,{(0,-1,4)},fun(x14,{(-18,1,1)},fun(x15,{(17,13,11)},fun(x16,{(-6,-2,-16)},fun(x17,{(1,13,1)},fun(x18,{(x5,0,1)},for(x19,{(1,1)},fun(x20,{(1,x4,0)},fun(x21,{(-26,14,9)},fun(x22,{(55,4,x7)},fun(x23,{(11,x3,2)},fun(x24,{(12,-9,-15)},fun(x25,{(x21,x16,-15),(10,-3,16)},fun(x26,{(x10,7,1)},fun(x27,{(x17,x25,x9)},fun(x28,{(x6,2,0)},fun(x29,{(-19,x13,x24)},fun(x30,{(1,1,x27)},for(x31,{(x29,x28)},fun(x32,{(1,x30,x18)},for(x33,{(0,0)},fun(x34,{(1,36,x33)},conc(conc(fun(x35,{(-16,4,1)},fun(x36,{(-3,0,18)},fun(x37,{(0,19,0)},fun(x38,{(0,1,8)},fun(x39,{(1,1,x36)},fun(x40,{(-17,-19,14)},fun(x41,{(x20,x39,-11)},fun(x42,{(-17,x40,-15)},fun(x43,{(-37,x42,-28)},for(x44,{(0,0)},fun(x45,{(1,36,x44)},for(x46,{(3,5)},for(x47,{(20,x45)},p((x46,x47),(x41))))))))))))))),for(x48,{(1,x31)},fun(x49,{(-21,x22,-15)},for(x50,{(x49,1)},for(x51,{(x26,2),(x23,14),(45,46),(58,60)},p((x50,x51),(x48))))))),for(x52,{(x2,10)},for(x53,{(10,x34)},p((x52,x53),(x32)))))))))))))))))))))))))))))))))))))));goodness : 5.49547 distance to original : 17 time need : 818 greatness : 223 idv : 7874 till 866000


