p((2,15),(1));goodness : 1.66933 distance to original : 599 time need : 4 greatness : 4 idv : 1
conc(fun(x1,{(10,1,7)},p((9,22),(1))),p((19,23),(1)));goodness : 1.67184 distance to original : 598 time need : 13 greatness : 13 idv : 93
conc(p((15,16),(1)),p((20,8),(1)));goodness : 1.67196 distance to original : 598 time need : 9 greatness : 9 idv : 112
for(x1,{(10,20)},p((x1,18),(1)));goodness : 1.69746 distance to original : 589 time need : 45 greatness : 7 idv : 164
for(x1,{(8,20)},p((x1,18),(1)));goodness : 1.70322 distance to original : 587 time need : 53 greatness : 7 idv : 445
for(x1,{(17,2)},p((x1,25),(1)));goodness : 1.71193 distance to original : 584 time need : 65 greatness : 7 idv : 585
for(x1,{(1,18)},for(x2,{(x1,20)},p((x2,18),(1))));goodness : 1.71542 distance to original : 582 time need : 847 greatness : 10 idv : 1417
for(x1,{(14,31)},for(x2,{(7,17)},fun(x3,{(0,1,-1)},conc(p((38,2),(-21)),p((x2,x1),(1))))));goodness : 1.94257 distance to original : 512 time need : 2593 greatness : 19 idv : 2405
for(x1,{(14,28)},for(x2,{(7,17),(83,96)},fun(x3,{(0,1,-1)},conc(conc(p((38,2),(-21)),p((x2,x1),(1))),conc(p((28,6),(-2)),p((28,24),(0)))))));goodness : 2.04102 distance to original : 481 time need : 8641 greatness : 31 idv : 3767
for(x1,{(0,0)},fun(x2,{(1,8,1)},for(x3,{(25,x1)},for(x4,{(x2,2)},p((x4,x3),(1))))));goodness : 2.07975 distance to original : 480 time need : 656 greatness : 17 idv : 4978
for(x1,{(9,26)},for(x2,{(17,25)},fun(x3,{(1,1,6)},p((x2,x1),(x3)))));goodness : 2.27555 distance to original : 438 time need : 1315 greatness : 14 idv : 5541
for(x1,{(0,0)},fun(x2,{(6,8,1)},for(x3,{(25,x1)},for(x4,{(x2,2)},p((x4,x3),(1))))));goodness : 4.25557 distance to original : 230 time need : 4816 greatness : 17 idv : 6149
for(x1,{(0,0)},fun(x2,{(9,5,1)},for(x3,{(25,x1)},for(x4,{(x2,2)},p((x4,x3),(1))))));goodness : 4.26123 distance to original : 230 time need : 4504 greatness : 17 idv : 9598
for(x1,{(0,0)},fun(x2,{(6,4,1)},for(x3,{(25,x1)},for(x4,{(x2,2)},p((x4,x3),(1))))));goodness : 7.01292 distance to original : 140 time need : 2424 greatness : 17 idv : 9675
fun(x1,{(1,-14,1)},for(x2,{(0,0)},conc(fun(x3,{(3,8,1),(1,4,1)},for(x4,{(25,x2)},for(x5,{(x3,2)},p((x5,x4),(1))))),for(x6,{(0,0)},fun(x7,{(1,0,1),(4,0,0)},fun(x8,{(1,1,2)},p((15,30),(x7))))))));goodness : 7.74054 distance to original : 126 time need : 2760 greatness : 43 idv : 12178
fun(x1,{(0,1,6)},fun(x2,{(1,7,1)},conc(for(x3,{(0,0)},fun(x4,{(6,4,1)},for(x5,{(25,x3)},for(x6,{(x4,2)},p((x6,x5),(1)))))),for(x7,{(x2,32)},for(x8,{(0,0)},fun(x9,{(1,0,1)},for(x10,{(1,x1)},fun(x11,{(35,x10,1),(5,2,-7)},p((x7,x11),(x8))))))))));goodness : 8.01989 distance to original : 121 time need : 3190 greatness : 50 idv : 14780
fun(x1,{(0,1,4)},fun(x2,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x3,{(1,0,-8)},for(x4,{(0,x3)},fun(x5,{(1,8,1),(6,3,1)},for(x6,{(25,x4)},for(x7,{(x5,2)},p((x7,x6),(1))))))),fun(x8,{(15,1,1)},for(x9,{(-6,17)},fun(x10,{(31,1,x9)},conc(p((25,x10),(-15)),p((19,14),(35)))))))),p((24,3),(0))),fun(x11,{(1,1,8)},for(x12,{(0,9)},for(x13,{(0,10)},fun(x14,{(1,1,1)},fun(x15,{(-3,x11,5)},fun(x16,{(x14,x1,1)},fun(x17,{(1,29,-9),(22,x13,2)},p((x15,x17),(x2))))))))))));goodness : 8.96933 distance to original : 105 time need : 5521 greatness : 97 idv : 16038
for(x1,{(0,0)},fun(x2,{(0,1,4)},fun(x3,{(1,0,1)},conc(conc(conc(fun(x4,{(1,0,-8)},for(x5,{(0,x4)},fun(x6,{(1,8,1),(6,3,1)},for(x7,{(25,x5)},for(x8,{(x6,2)},p((x8,x7),(1))))))),fun(x9,{(15,1,1)},for(x10,{(-6,17)},fun(x11,{(18,1,x10)},conc(p((25,x11),(-15)),p((19,14),(35))))))),p((24,3),(0))),fun(x12,{(1,1,8)},for(x13,{(x1,9)},for(x14,{(0,10)},fun(x15,{(1,1,1)},fun(x16,{(-3,x12,5)},fun(x17,{(x15,x2,1)},fun(x18,{(1,29,-9),(22,x14,2)},p((x16,x18),(x3)))))))))))));goodness : 8.97127 distance to original : 105 time need : 5517 greatness : 95 idv : 17096
for(x1,{(0,0)},fun(x2,{(0,1,4)},fun(x3,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x4,{(1,0,-8)},for(x5,{(0,x4)},fun(x6,{(1,8,1),(6,3,1)},for(x7,{(25,x5)},for(x8,{(x6,2)},p((x8,x7),(1))))))),fun(x9,{(15,-16,1)},for(x10,{(-6,17)},fun(x11,{(31,-18,x10)},conc(p((25,x11),(-15)),p((19,14),(35)))))))),p((24,3),(0))),fun(x12,{(1,1,8)},for(x13,{(x1,9)},for(x14,{(0,10)},fun(x15,{(1,1,1)},fun(x16,{(-3,x12,5)},fun(x17,{(x15,x2,1)},fun(x18,{(1,29,-9),(22,x14,2)},p((x16,x18),(x3)))))))))))));goodness : 9.04797 distance to original : 104 time need : 5522 greatness : 100 idv : 17131
for(x1,{(0,0)},fun(x2,{(0,1,4)},fun(x3,{(1,0,1)},conc(conc(conc(fun(x4,{(1,0,-8)},for(x5,{(0,x4)},fun(x6,{(1,8,1),(6,3,1)},for(x7,{(25,x5)},for(x8,{(x6,2)},p((x8,x7),(1))))))),fun(x9,{(15,1,1)},for(x10,{(-6,17)},fun(x11,{(18,1,x10)},conc(p((25,x11),(-15)),p((19,14),(35))))))),p((35,3),(0))),fun(x12,{(1,1,8)},for(x13,{(x1,9)},for(x14,{(0,10)},fun(x15,{(1,1,1)},fun(x16,{(-3,x12,5)},fun(x17,{(x15,x2,1)},fun(x18,{(1,29,-9),(22,x14,2)},p((x16,x18),(x3)))))))))))));goodness : 9.05248 distance to original : 104 time need : 5517 greatness : 95 idv : 17198
fun(x1,{(0,1,4)},fun(x2,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x3,{(15,1,1)},for(x4,{(-6,17)},fun(x5,{(31,1,x4)},conc(p((25,x5),(-15)),p((19,14),(35)))))),fun(x6,{(1,0,-8)},for(x7,{(0,x6)},fun(x8,{(1,8,1),(6,3,1)},for(x9,{(25,x7)},for(x10,{(x8,2)},p((x10,x9),(1))))))))),p((24,3),(0))),fun(x11,{(1,1,8)},for(x12,{(0,9)},for(x13,{(0,10)},fun(x14,{(1,1,1)},fun(x15,{(-3,x11,5)},fun(x16,{(x14,x1,1)},fun(x17,{(1,29,-9),(22,x13,2)},p((x15,x17),(x2))))))))))));goodness : 9.13317 distance to original : 103 time need : 5521 greatness : 97 idv : 17213
for(x1,{(0,0)},fun(x2,{(0,1,4)},fun(x3,{(1,0,1)},conc(conc(conc(fun(x4,{(1,0,-8)},for(x5,{(0,x4)},fun(x6,{(1,8,1),(6,3,1)},for(x7,{(25,x5)},for(x8,{(x6,2)},p((x8,x7),(1))))))),fun(x9,{(15,1,1)},for(x10,{(-6,17)},fun(x11,{(18,1,x10)},p((19,14),(35)))))),p((24,3),(0))),fun(x12,{(1,1,8)},for(x13,{(x1,9)},for(x14,{(0,10)},fun(x15,{(1,1,1)},fun(x16,{(-3,x12,5)},fun(x17,{(x15,x2,1)},fun(x18,{(1,29,-9),(22,x14,2)},p((x16,x18),(x3)))))))))))));goodness : 9.14938 distance to original : 103 time need : 5397 greatness : 90 idv : 17482
conc(for(x1,{(0,0)},fun(x2,{(6,4,1)},for(x3,{(25,x1)},for(x4,{(x2,2)},p((x4,x3),(1)))))),conc(for(x5,{(0,0)},fun(x6,{(0,1,-11)},fun(x7,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x8,{(1,0,-8)},for(x9,{(0,x8)},fun(x10,{(1,8,1),(6,3,1)},for(x11,{(25,x9)},for(x12,{(x10,2)},p((x12,x11),(1))))))),fun(x13,{(15,1,1)},for(x14,{(-6,17)},fun(x15,{(31,1,x14)},conc(p((25,x15),(-15)),p((19,14),(35)))))))),p((24,3),(0))),fun(x16,{(1,1,8)},for(x17,{(x5,9)},for(x18,{(0,10)},fun(x19,{(1,1,1)},fun(x20,{(-3,x16,5)},fun(x21,{(x19,x6,1)},fun(x22,{(1,29,-9),(22,x18,2)},p((x20,x22),(x7))))))))))))),for(x23,{(3,32)},for(x24,{(0,0)},fun(x25,{(1,0,1)},for(x26,{(1,17)},fun(x27,{(53,x26,20)},p((x23,x27),(x24)))))))));goodness : 10.5698 distance to original : 81 time need : 12209 greatness : 140 idv : 18109
fun(x1,{(1,0,1)},for(x2,{(0,0)},conc(for(x3,{(0,0)},fun(x4,{(6,4,1)},for(x5,{(25,x3)},for(x6,{(x4,2)},p((x6,x5),(1)))))),conc(for(x7,{(0,0)},fun(x8,{(0,1,-11)},fun(x9,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x10,{(1,0,x2)},for(x11,{(0,x10)},fun(x12,{(1,8,1),(6,3,1)},for(x13,{(25,x11)},for(x14,{(x12,2)},p((x14,x13),(1))))))),fun(x15,{(15,1,1)},for(x16,{(-6,17)},fun(x17,{(31,x1,x16)},conc(p((25,x17),(-15)),p((19,14),(35)))))))),p((24,3),(0))),fun(x18,{(1,1,8)},for(x19,{(x7,9)},for(x20,{(0,10)},fun(x21,{(1,1,1)},fun(x22,{(-3,x18,5)},fun(x23,{(x21,x8,1)},fun(x24,{(1,29,-9),(22,x20,2)},p((x22,x24),(x9))))))))))))),for(x25,{(3,32)},for(x26,{(0,0)},fun(x27,{(1,0,1)},for(x28,{(1,17)},fun(x29,{(53,x28,20)},p((x25,x29),(x26)))))))))));goodness : 10.7893 distance to original : 79 time need : 12214 greatness : 147 idv : 19388
fun(x1,{(0,1,8)},fun(x2,{(1,0,1)},for(x3,{(0,0)},conc(for(x4,{(0,0)},fun(x5,{(6,4,1)},for(x6,{(25,x4)},for(x7,{(x5,2)},p((x7,x6),(1)))))),conc(for(x8,{(0,0)},fun(x9,{(0,1,-11)},fun(x10,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x11,{(1,0,x3)},for(x12,{(0,x11)},fun(x13,{(1,8,1),(6,3,1)},for(x14,{(25,x12)},for(x15,{(x13,2)},p((x15,x14),(1))))))),fun(x16,{(15,1,1)},for(x17,{(-6,17)},fun(x18,{(31,x2,x17)},conc(p((25,x18),(-15)),p((19,14),(35)))))))),p((24,3),(0))),fun(x19,{(1,1,8)},for(x20,{(x8,x1)},for(x21,{(0,10)},fun(x22,{(1,1,1)},fun(x23,{(-3,x19,5)},fun(x24,{(x22,x9,1)},fun(x25,{(1,29,-9),(22,x21,2)},p((x23,x25),(x10))))))))))))),for(x26,{(3,32)},for(x27,{(0,0)},fun(x28,{(1,0,1)},for(x29,{(1,17)},fun(x30,{(53,x29,20)},p((x26,x30),(x27))))))))))));goodness : 11.0568 distance to original : 79 time need : 9932 greatness : 151 idv : 19439
conc(fun(x1,{(1,0,1)},for(x2,{(0,0)},for(x3,{(0,0)},fun(x4,{(0,1,-11)},fun(x5,{(1,0,1)},conc(conc(p((28,6),(0)),conc(fun(x6,{(1,0,x2)},for(x7,{(0,x6)},fun(x8,{(1,8,1),(6,3,1)},for(x9,{(25,x7)},for(x10,{(x8,2)},p((x10,x9),(1))))))),fun(x11,{(15,1,1)},for(x12,{(-6,17)},fun(x13,{(31,x1,x12)},conc(p((25,x13),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),for(x14,{(0,0)},conc(for(x15,{(0,0)},fun(x16,{(6,4,1)},for(x17,{(25,x15)},for(x18,{(x16,2)},p((x18,x17),(1)))))),for(x19,{(3,32)},for(x20,{(0,0)},fun(x21,{(1,x14,1)},for(x22,{(1,17)},fun(x23,{(53,x22,20)},p((x19,x23),(x20))))))))));goodness : 11.5169 distance to original : 76 time need : 9669 greatness : 116 idv : 21078
fun(x1,{(1,7,1)},fun(x2,{(1,2,1)},fun(x3,{(-10,-11,9)},fun(x4,{(0,1,6)},fun(x5,{(1,x1,1)},conc(for(x6,{(0,0)},conc(fun(x7,{(8,1,4)},fun(x8,{(1,6,1)},for(x9,{(0,0)},fun(x10,{(0,1,4)},fun(x11,{(1,0,1)},conc(conc(p((28,x8),(0)),conc(fun(x12,{(1,0,-8)},for(x13,{(0,x12)},fun(x14,{(1,x7,1),(6,3,1)},for(x15,{(26,x13)},for(x16,{(x14,2)},p((x16,x15),(1))))))),fun(x17,{(15,1,1)},for(x18,{(-6,17)},fun(x19,{(18,1,x18)},conc(p((25,x19),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x20,{(6,4,1)},for(x21,{(25,x6)},for(x22,{(x20,2)},p((x22,x21),(1))))))),for(x23,{(x5,17)},for(x24,{(0,0)},fun(x25,{(11,0,1)},for(x26,{(x3,x4)},fun(x27,{(35,x26,1),(5,x2,-7)},p((x23,x27),(x26)))))))))))));goodness : 13.8685 distance to original : 65 time need : 5736 greatness : 137 idv : 22621
fun(x1,{(1,1,1)},fun(x2,{(1,14,4)},fun(x3,{(1,22,1)},conc(for(x4,{(0,0)},fun(x5,{(0,1,4)},fun(x6,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x7,{(1,0,-8)},for(x8,{(0,x7)},fun(x9,{(1,8,1),(6,3,1)},for(x10,{(25,x8)},for(x11,{(x9,2)},p((x11,x10),(1))))))),fun(x12,{(15,-16,1)},for(x13,{(-6,17)},fun(x14,{(31,1,x13)},conc(p((25,x14),(-15)),p((19,x2),(35)))))))),p((24,3),(0))),fun(x15,{(1,1,8)},for(x16,{(x4,9)},for(x17,{(0,10)},fun(x18,{(1,1,1)},fun(x19,{(-3,x15,5)},fun(x20,{(x18,x5,1)},fun(x21,{(x1,29,-9),(x3,x17,2)},p((x19,x21),(x6))))))))))))),fun(x22,{(17,1,8)},conc(fun(x23,{(0,14,6)},fun(x24,{(1,x22,1)},conc(for(x25,{(0,0)},fun(x26,{(6,4,1)},for(x27,{(x26,2)},for(x28,{(26,x25)},p((x27,x28),(1)))))),for(x29,{(x24,32)},for(x30,{(0,0)},conc(p((44,27),(0)),fun(x31,{(1,0,1)},for(x32,{(1,x23)},fun(x33,{(35,x32,1),(5,2,-9)},p((x29,x33),(x30))))))))))),for(x34,{(1,1)},fun(x35,{(0,1,6)},fun(x36,{(1,22,-8),(0,0,0)},conc(for(x37,{(0,0)},fun(x38,{(6,4,1)},for(x39,{(25,x37)},for(x40,{(x38,2)},p((x40,x39),(1)))))),for(x41,{(x36,32)},for(x42,{(0,0)},fun(x43,{(x34,0,1)},for(x44,{(1,x35)},fun(x45,{(35,x44,1)},p((x41,x45),(x42)))))))))))))))));goodness : 14.7026 distance to original : 54 time need : 11755 greatness : 226 idv : 27761
fun(x1,{(1,1,1)},fun(x2,{(1,0,-16)},fun(x3,{(0,1,8)},fun(x4,{(x1,0,1)},for(x5,{(0,0)},conc(for(x6,{(0,0)},fun(x7,{(6,4,1)},for(x8,{(23,x6)},for(x9,{(x7,2)},p((x9,x8),(1)))))),conc(for(x10,{(x2,0)},fun(x11,{(0,1,-11)},fun(x12,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x13,{(1,0,x5)},for(x14,{(0,x13)},fun(x15,{(1,8,1),(6,3,1)},for(x16,{(25,x14)},for(x17,{(x15,2)},p((x17,x16),(1))))))),fun(x18,{(15,1,1)},for(x19,{(-6,17)},fun(x20,{(31,x4,x19)},conc(p((25,x20),(-15)),p((19,14),(17)))))))),p((24,3),(0))),fun(x21,{(1,1,8)},for(x22,{(x10,x3)},for(x23,{(0,10)},fun(x24,{(1,1,1)},fun(x25,{(-3,x21,20)},fun(x26,{(x24,x11,1)},fun(x27,{(1,29,-9),(35,x23,2)},p((x25,x27),(x12))))))))))))),for(x28,{(3,32)},for(x29,{(0,0)},fun(x30,{(1,0,1)},for(x31,{(1,17)},fun(x32,{(53,x31,23)},p((x28,x32),(x29))))))))))))));goodness : 15.073 distance to original : 55 time need : 9754 greatness : 159 idv : 30836
for(x1,{(1,1)},fun(x2,{(1,3,1)},conc(for(x3,{(0,0)},conc(fun(x4,{(6,4,1)},conc(for(x5,{(26,x3)},for(x6,{(x4,2)},p((x6,x5),(1)))),fun(x7,{(0,1,5)},fun(x8,{(1,1,-12)},for(x9,{(0,0)},for(x10,{(0,0)},fun(x11,{(0,1,13)},fun(x12,{(1,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x13,{(1,0,-8),(5,0,1)},for(x14,{(0,x13)},fun(x15,{(1,8,1),(6,x2,1)},for(x16,{(25,x14)},for(x17,{(x15,2)},p((x17,x16),(1))))))),fun(x18,{(15,-9,16)},for(x19,{(-6,x7)},fun(x20,{(12,-18,x19)},conc(p((25,x20),(-15)),p((19,-1),(35)))))))),p((24,3),(0))),fun(x21,{(1,1,8)},for(x22,{(x10,9)},for(x23,{(0,10)},fun(x24,{(1,2,1)},fun(x25,{(-17,x21,x9)},fun(x26,{(x24,x11,1)},fun(x27,{(-18,29,-9),(22,x23,2)},p((x25,x27),(x12)))))))))))))))))),for(x28,{(0,0)},for(x29,{(25,25)},for(x30,{(-6,-6)},fun(x31,{(0,1,8)},fun(x32,{(1,0,14)},for(x33,{(0,0)},for(x34,{(3,32)},for(x35,{(0,0)},fun(x36,{(1,0,1)},for(x37,{(1,x28)},fun(x38,{(53,x37,20)},p((x34,x38),(x35))))))))))))))),for(x39,{(22,32)},for(x40,{(0,0)},fun(x41,{(1,-8,1)},for(x42,{(x1,17)},fun(x43,{(35,x42,20)},p((x39,x43),(x40))))))))));goodness : 15.1277 distance to original : 54 time need : 10074 greatness : 203 idv : 31308
fun(x1,{(1,7,1)},fun(x2,{(1,2,1)},fun(x3,{(-10,-11,9)},fun(x4,{(0,1,6)},fun(x5,{(1,x1,1)},conc(for(x6,{(0,0)},conc(fun(x7,{(8,1,4)},fun(x8,{(1,6,1)},for(x9,{(0,0)},fun(x10,{(0,1,4)},fun(x11,{(7,0,1),(8,3,1)},conc(conc(p((28,x8),(0)),conc(fun(x12,{(1,0,-8)},for(x13,{(0,x12)},fun(x14,{(1,x7,1),(6,3,1)},for(x15,{(26,x13)},for(x16,{(x14,2)},p((x16,x15),(1))))))),fun(x17,{(15,0,1)},for(x18,{(-6,17)},fun(x19,{(18,1,x18)},conc(p((25,x19),(-15)),p((19,14),(35)))))))),p((24,3),(11)))))))),fun(x20,{(6,4,1)},for(x21,{(25,x6)},for(x22,{(x20,2)},p((x22,x21),(1))))))),for(x23,{(x5,25)},for(x24,{(0,-2)},fun(x25,{(11,0,1)},for(x26,{(x3,x4)},fun(x27,{(35,x26,1),(5,x2,-7)},p((x23,x27),(x26)))))))))))));goodness : 15.4048 distance to original : 57 time need : 6515 greatness : 140 idv : 31498
fun(x1,{(1,7,1)},fun(x2,{(1,2,1)},fun(x3,{(-10,-11,9)},fun(x4,{(0,1,6)},fun(x5,{(1,x1,1)},conc(for(x6,{(0,0)},conc(fun(x7,{(8,1,4)},fun(x8,{(1,6,1)},for(x9,{(0,0)},fun(x10,{(0,1,4)},fun(x11,{(7,0,1),(8,3,1)},conc(conc(p((28,x8),(0)),conc(fun(x12,{(1,0,-8)},for(x13,{(0,x12)},fun(x14,{(1,x7,1),(6,3,1)},for(x15,{(26,x13)},for(x16,{(x14,2)},p((x16,x15),(1))))))),fun(x17,{(15,0,1)},for(x18,{(-6,8)},fun(x19,{(18,1,x18)},conc(p((25,x19),(-15)),p((19,14),(35)))))))),p((24,3),(11)))))))),fun(x20,{(6,4,1)},for(x21,{(25,x6)},for(x22,{(x20,2)},p((x22,x21),(1))))))),for(x23,{(x5,25)},for(x24,{(0,-2)},fun(x25,{(11,0,1)},for(x26,{(x3,x4)},fun(x27,{(35,x26,1),(5,x2,-7)},p((x23,x27),(x26)))))))))))));goodness : 15.4326 distance to original : 57 time need : 6398 greatness : 140 idv : 32520
fun(x1,{(1,1,1)},fun(x2,{(1,1,1)},fun(x3,{(1,0,-16)},fun(x4,{(0,1,8)},fun(x5,{(x2,0,1)},for(x6,{(0,0)},conc(for(x7,{(0,0)},fun(x8,{(6,4,1)},for(x9,{(23,x7)},for(x10,{(x8,2)},p((x10,x9),(1)))))),conc(for(x11,{(x3,0)},fun(x12,{(0,1,-11)},fun(x13,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x14,{(1,0,x11)},for(x15,{(0,x14)},fun(x16,{(1,8,1),(6,3,1)},for(x17,{(25,x15)},for(x18,{(x16,2)},p((x18,x17),(1))))))),fun(x19,{(15,1,1)},for(x20,{(-6,17)},fun(x21,{(31,x5,x20)},conc(p((25,x21),(-15)),p((19,14),(17)))))))),p((24,3),(0))),fun(x22,{(x1,1,8)},conc(for(x23,{(x11,x4)},for(x24,{(0,10)},fun(x25,{(1,1,1)},fun(x26,{(-3,x22,20)},fun(x27,{(x25,x12,1)},fun(x28,{(1,29,-9),(35,x24,2)},p((x26,x28),(x13)))))))),fun(x29,{(1,0,1)},for(x30,{(0,0)},fun(x31,{(1,7,x29)},fun(x32,{(1,2,1)},fun(x33,{(-10,-11,9)},fun(x34,{(0,2,24)},fun(x35,{(1,x31,x30)},conc(for(x36,{(0,0)},conc(fun(x37,{(8,1,4)},fun(x38,{(1,6,1)},for(x39,{(0,0)},fun(x40,{(0,1,4)},fun(x41,{(1,0,1)},conc(conc(p((28,x38),(0)),conc(fun(x42,{(1,0,-8)},for(x43,{(0,x42)},fun(x44,{(1,x37,1),(6,3,1)},for(x45,{(26,x43)},for(x46,{(x44,2)},p((x46,x45),(1))))))),fun(x47,{(15,1,1)},for(x48,{(-6,17)},fun(x49,{(18,1,x48)},conc(p((25,x49),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x50,{(6,4,1)},for(x51,{(25,x36)},for(x52,{(x50,2)},p((x52,x51),(1))))))),for(x53,{(x35,17)},for(x54,{(0,0)},fun(x55,{(11,0,1)},for(x56,{(x33,x34)},fun(x57,{(35,x56,1),(5,x32,-7)},p((x53,x57),(x56))))))))))))))))))))),for(x58,{(3,32)},for(x59,{(0,0)},fun(x60,{(1,0,1)},for(x61,{(1,17)},fun(x62,{(53,x61,23)},p((x58,x62),(x59)))))))))))))));goodness : 21.4293 distance to original : 28 time need : 15585 greatness : 308 idv : 33126
fun(x1,{(3,1,1)},fun(x2,{(1,1,1)},fun(x3,{(1,1,1)},fun(x4,{(1,0,-16)},fun(x5,{(0,1,8)},fun(x6,{(x3,0,1)},for(x7,{(0,0)},conc(for(x8,{(0,0)},fun(x9,{(6,4,1)},for(x10,{(23,x8)},for(x11,{(x9,2)},p((x11,x10),(1)))))),conc(for(x12,{(x4,0)},fun(x13,{(0,1,-11)},fun(x14,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x15,{(1,0,x12)},for(x16,{(0,x15)},fun(x17,{(1,-12,1),(6,3,1)},for(x18,{(25,x16)},for(x19,{(x17,2)},p((x19,x18),(1))))))),fun(x20,{(15,1,1)},for(x21,{(-6,17)},fun(x22,{(31,x6,x21)},conc(p((25,x22),(-15)),p((19,14),(17)))))))),p((24,3),(0))),fun(x23,{(x2,-17,8)},conc(for(x24,{(x12,x5)},for(x25,{(0,10)},fun(x26,{(1,1,1)},fun(x27,{(-3,x23,20)},fun(x28,{(x26,x13,1)},fun(x29,{(1,29,-9),(35,x25,2)},p((x27,x29),(x14)))))))),fun(x30,{(1,0,1)},for(x31,{(0,0)},fun(x32,{(1,7,x30)},fun(x33,{(1,2,1)},fun(x34,{(-10,-11,9)},fun(x35,{(0,2,24)},fun(x36,{(1,x32,x31)},conc(for(x37,{(0,0)},conc(fun(x38,{(8,1,4)},fun(x39,{(1,6,1)},for(x40,{(0,0)},fun(x41,{(0,1,20)},fun(x42,{(1,0,1)},conc(conc(p((28,x39),(0)),conc(fun(x43,{(1,0,-8)},for(x44,{(0,x43)},fun(x45,{(1,x38,1),(6,3,1)},for(x46,{(26,x44)},for(x47,{(x45,2)},p((x47,x46),(1))))))),fun(x48,{(15,1,1)},for(x49,{(-6,17)},fun(x50,{(18,1,x49)},conc(p((25,x50),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x51,{(6,4,1)},for(x52,{(25,x37)},for(x53,{(x51,2)},p((x53,x52),(1))))))),for(x54,{(x36,17)},for(x55,{(0,0)},fun(x56,{(11,0,1)},for(x57,{(x34,x35)},fun(x58,{(35,x57,1),(5,x33,-7)},p((x54,x58),(x57))))))))))))))))))))),for(x59,{(x1,32)},for(x60,{(0,0)},fun(x61,{(1,0,1)},for(x62,{(1,17)},fun(x63,{(53,x62,23)},p((x59,x63),(x60))))))))))))))));goodness : 21.7974 distance to original : 28 time need : 14757 greatness : 312 idv : 34285
fun(x1,{(3,1,1)},fun(x2,{(1,1,1)},fun(x3,{(1,1,1)},fun(x4,{(1,0,-16)},fun(x5,{(0,1,8)},fun(x6,{(x3,0,1)},for(x7,{(0,0)},conc(for(x8,{(0,0)},fun(x9,{(6,4,1)},for(x10,{(23,x8)},for(x11,{(x9,2)},p((x11,x10),(1)))))),conc(for(x12,{(x4,0)},fun(x13,{(0,1,-11)},fun(x14,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x15,{(15,1,1)},for(x16,{(-6,17)},fun(x17,{(31,x6,x16)},conc(p((19,14),(17)),p((25,x17),(-15))))))),p((24,3),(0))),fun(x18,{(x2,-17,8)},conc(for(x19,{(x12,x5)},for(x20,{(0,10)},fun(x21,{(1,1,1)},fun(x22,{(-3,x18,20)},fun(x23,{(x21,x13,1)},fun(x24,{(1,29,-9),(35,x20,2)},p((x22,x24),(x14)))))))),fun(x25,{(1,0,1)},for(x26,{(0,0)},fun(x27,{(1,7,x25)},fun(x28,{(1,2,1)},fun(x29,{(-10,-11,9)},fun(x30,{(0,2,24)},fun(x31,{(1,x27,x26)},conc(for(x32,{(0,0)},conc(fun(x33,{(8,1,-14)},fun(x34,{(1,6,1)},for(x35,{(0,0)},fun(x36,{(0,1,20)},fun(x37,{(1,0,1)},conc(conc(p((28,x34),(0)),conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x33,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(1))))))),fun(x43,{(15,1,1)},for(x44,{(-6,17)},fun(x45,{(18,1,x44)},conc(p((25,x45),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x46,{(6,4,1)},for(x47,{(25,x32)},for(x48,{(x46,2)},p((x48,x47),(1))))))),for(x49,{(x31,17)},for(x50,{(0,0)},fun(x51,{(11,0,1)},for(x52,{(x29,x30)},fun(x53,{(35,x52,1),(5,x28,-7)},p((x49,x53),(x52))))))))))))))))))))),for(x54,{(x1,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,17)},fun(x58,{(53,x57,23)},p((x54,x58),(x55))))))))))))))));goodness : 22.8212 distance to original : 28 time need : 12949 greatness : 287 idv : 35048
for(x1,{(1,1)},fun(x2,{(3,1,1)},fun(x3,{(1,1,1)},fun(x4,{(1,1,1)},fun(x5,{(1,0,-16)},fun(x6,{(0,1,8)},fun(x7,{(x4,0,1)},for(x8,{(0,0)},conc(for(x9,{(0,0)},fun(x10,{(6,4,1)},for(x11,{(23,x9)},for(x12,{(x10,2)},p((x12,x11),(1)))))),conc(for(x13,{(x5,0)},fun(x14,{(0,1,-11)},fun(x15,{(-17,0,1)},conc(conc(conc(p((41,6),(0)),fun(x16,{(15,1,1)},for(x17,{(-6,17)},fun(x18,{(31,x7,x17)},conc(p((19,14),(17)),p((25,x18),(-15))))))),p((24,3),(0))),fun(x19,{(x3,-17,8)},conc(for(x20,{(x13,x6)},for(x21,{(10,10)},conc(fun(x22,{(1,1,1)},fun(x23,{(-3,x19,20)},fun(x24,{(x22,x14,1)},fun(x25,{(1,29,-9),(35,x21,2)},p((x23,x25),(x15)))))),p((22,17),(1))))),fun(x26,{(-9,0,1)},for(x27,{(0,0)},fun(x28,{(1,7,x26)},fun(x29,{(1,2,1)},fun(x30,{(-10,-11,9)},fun(x31,{(0,2,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(8,1,-14)},fun(x35,{(1,6,1)},for(x36,{(0,0)},fun(x37,{(0,1,20)},fun(x38,{(1,0,1)},conc(conc(p((28,x35),(0)),conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x34,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1))))))),fun(x44,{(15,x1,1)},for(x45,{(-6,17)},fun(x46,{(18,1,x45)},conc(p((25,x46),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x47,{(6,4,1)},for(x48,{(25,x33)},for(x49,{(x47,2)},p((x49,x48),(1))))))),for(x50,{(x32,17)},for(x51,{(0,0)},fun(x52,{(11,0,1)},for(x53,{(x30,x31)},fun(x54,{(35,x53,1),(5,x29,-7)},p((x50,x54),(x53))))))))))))))))))))),for(x55,{(x2,32)},for(x56,{(0,0)},fun(x57,{(1,0,1)},for(x58,{(1,17)},fun(x59,{(53,x58,23)},p((x55,x59),(x56)))))))))))))))));goodness : 22.8964 distance to original : 28 time need : 12725 greatness : 295 idv : 37287
fun(x1,{(3,1,1)},fun(x2,{(1,1,1)},fun(x3,{(1,1,1)},fun(x4,{(1,0,-16)},fun(x5,{(0,1,8)},fun(x6,{(x3,0,1)},for(x7,{(0,0)},conc(for(x8,{(0,0)},fun(x9,{(6,4,1)},for(x10,{(23,x8)},for(x11,{(x9,2)},p((x11,x10),(1)))))),conc(for(x12,{(x4,0)},fun(x13,{(0,1,-11),(0,1,1)},fun(x14,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),conc(fun(x15,{(1,0,x12)},for(x16,{(0,x15)},fun(x17,{(1,8,1),(6,3,1)},for(x18,{(25,x16)},for(x19,{(x17,2)},p((x19,x18),(1))))))),fun(x20,{(15,1,1)},for(x21,{(-6,17)},fun(x22,{(31,x6,x21)},conc(p((25,x22),(-15)),p((19,14),(17)))))))),p((24,3),(0))),fun(x23,{(x2,-17,8)},fun(x24,{(-11,0,1)},for(x25,{(0,0)},fun(x26,{(1,7,x24)},fun(x27,{(1,2,1)},fun(x28,{(-10,-11,9)},fun(x29,{(0,2,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(8,1,4)},fun(x33,{(1,6,1)},for(x34,{(0,0)},fun(x35,{(0,1,20)},fun(x36,{(1,0,1)},conc(conc(p((28,x33),(0)),fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x32,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(1)))))))),p((24,3),(0)))))))),fun(x42,{(6,4,1)},for(x43,{(25,x31)},for(x44,{(x42,2)},p((x44,x43),(1))))))),for(x45,{(x30,17)},for(x46,{(0,0)},fun(x47,{(11,0,1)},for(x48,{(x28,x29)},fun(x49,{(35,x48,1),(5,x27,-7)},p((x45,x49),(x48)))))))))))))))))))),for(x50,{(x1,32)},for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,17)},fun(x54,{(53,x53,23)},p((x50,x54),(x51))))))))))))))));goodness : 22.9053 distance to original : 26 time need : 15018 greatness : 264 idv : 37502
for(x1,{(1,1)},fun(x2,{(3,1,1)},fun(x3,{(1,1,1)},fun(x4,{(1,1,1)},fun(x5,{(1,0,-16)},fun(x6,{(0,1,8)},fun(x7,{(x4,0,1)},for(x8,{(0,0)},conc(for(x9,{(0,0)},fun(x10,{(6,4,1)},for(x11,{(23,x9)},for(x12,{(x10,2)},p((x12,x11),(1)))))),conc(for(x13,{(x5,0)},fun(x14,{(0,1,-11)},fun(x15,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x16,{(15,1,1)},for(x17,{(-6,17)},fun(x18,{(31,x7,x17)},conc(p((19,14),(17)),p((25,x18),(-15))))))),p((24,3),(0))),fun(x19,{(x3,-17,8)},conc(for(x20,{(x13,x6)},for(x21,{(0,10)},fun(x22,{(1,1,1)},fun(x23,{(-3,x19,20)},fun(x24,{(x22,x14,1)},fun(x25,{(1,29,-9),(35,x21,2)},p((x23,x25),(x15)))))))),fun(x26,{(1,0,1)},for(x27,{(0,0)},fun(x28,{(1,7,x26)},fun(x29,{(1,2,1)},fun(x30,{(-10,-11,9)},fun(x31,{(0,2,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(8,1,-14)},fun(x35,{(1,6,1)},for(x36,{(0,0)},fun(x37,{(0,1,20)},fun(x38,{(1,0,1)},conc(conc(p((28,x35),(0)),conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x34,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1))))))),fun(x44,{(15,x1,1)},for(x45,{(-6,17)},fun(x46,{(18,0,x45)},conc(p((25,x46),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x47,{(6,4,1)},for(x48,{(25,x33)},for(x49,{(x47,2)},p((x49,x48),(1))))))),for(x50,{(x32,17)},for(x51,{(0,0)},fun(x52,{(11,0,1)},for(x53,{(x30,x31)},fun(x54,{(35,x53,1),(5,x29,-7)},p((x50,x54),(x53))))))))))))))))))))),for(x55,{(x2,32)},for(x56,{(0,0)},fun(x57,{(1,0,1)},for(x58,{(1,17)},fun(x59,{(53,x58,23)},p((x55,x59),(x56)))))))))))))))));goodness : 23.8949 distance to original : 26 time need : 12950 greatness : 290 idv : 38134
fun(x1,{(3,1,1)},fun(x2,{(1,1,1)},fun(x3,{(1,1,1)},fun(x4,{(1,0,-16)},fun(x5,{(0,1,8)},fun(x6,{(x3,0,1)},for(x7,{(0,0)},conc(for(x8,{(0,0)},fun(x9,{(6,4,1)},for(x10,{(23,x8)},for(x11,{(x9,2)},p((x11,x10),(1)))))),conc(for(x12,{(x4,0)},fun(x13,{(0,1,-11)},fun(x14,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x15,{(15,1,1)},for(x16,{(-6,17)},fun(x17,{(31,x6,x16)},conc(p((19,14),(17)),p((25,x17),(-15))))))),p((24,3),(0))),fun(x18,{(x2,-17,8)},conc(for(x19,{(x12,x5)},for(x20,{(0,10)},fun(x21,{(1,1,1)},fun(x22,{(-3,x18,20)},fun(x23,{(x21,x13,1)},fun(x24,{(1,29,-9),(35,x20,2)},p((x22,x24),(x14)))))))),fun(x25,{(1,0,1)},for(x26,{(0,0)},fun(x27,{(1,7,x25)},fun(x28,{(1,2,1)},fun(x29,{(-10,-11,9)},fun(x30,{(0,2,24)},fun(x31,{(1,x27,x26)},conc(for(x32,{(0,0)},conc(fun(x33,{(8,1,-14)},fun(x34,{(1,6,1)},for(x35,{(0,0)},fun(x36,{(0,1,20)},fun(x37,{(1,0,1)},conc(conc(p((28,x34),(0)),fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x33,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(1)))))))),p((24,3),(0)))))))),fun(x43,{(6,4,1)},for(x44,{(25,x32)},for(x45,{(x43,2)},p((x45,x44),(1))))))),for(x46,{(x31,17)},for(x47,{(0,0)},fun(x48,{(11,0,1)},for(x49,{(x29,x30)},fun(x50,{(35,x49,1),(5,x28,-7)},p((x46,x50),(x49))))))))))))))))))))),for(x51,{(x1,32)},for(x52,{(0,0)},fun(x53,{(1,0,1)},for(x54,{(1,17)},fun(x55,{(53,x54,23)},p((x51,x55),(x52))))))))))))))));goodness : 24.2184 distance to original : 26 time need : 12631 greatness : 266 idv : 38444
for(x1,{(0,0)},fun(x2,{(3,1,1)},fun(x3,{(1,1,1)},fun(x4,{(1,1,1)},fun(x5,{(1,0,-16)},fun(x6,{(0,1,8)},fun(x7,{(x4,0,1)},for(x8,{(0,0)},conc(for(x9,{(0,0)},fun(x10,{(6,4,1)},for(x11,{(23,x9)},for(x12,{(x10,2)},p((x12,x11),(1)))))),conc(for(x13,{(x5,0)},fun(x14,{(0,1,-11)},fun(x15,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x16,{(15,1,1)},for(x17,{(-6,17)},fun(x18,{(31,x7,x17)},conc(p((19,14),(17)),p((25,x18),(-15))))))),p((24,3),(0))),fun(x19,{(x3,-17,8)},conc(for(x20,{(x13,x6)},for(x21,{(0,x1)},fun(x22,{(1,1,1)},fun(x23,{(-3,x19,20)},fun(x24,{(x22,x14,1)},fun(x25,{(1,29,-9),(35,x21,2)},p((x23,x25),(x15)))))))),fun(x26,{(1,0,1)},for(x27,{(0,0)},fun(x28,{(1,7,x26)},fun(x29,{(1,2,1)},fun(x30,{(-10,-11,9)},fun(x31,{(0,2,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(8,1,-14)},fun(x35,{(1,6,1)},for(x36,{(0,0)},fun(x37,{(0,1,20)},fun(x38,{(12,0,1)},conc(conc(p((28,x35),(0)),fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x34,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1)))))))),p((24,3),(0)))))))),fun(x44,{(6,4,1)},for(x45,{(25,x33)},for(x46,{(x44,2)},p((x46,x45),(1))))))),for(x47,{(x32,17)},for(x48,{(0,0)},fun(x49,{(11,0,1)},for(x50,{(x30,x31)},fun(x51,{(35,x50,1),(5,x29,-7)},p((x47,x51),(x50))))))))))))))))))))),for(x52,{(x2,32)},for(x53,{(0,0)},fun(x54,{(1,0,1)},for(x55,{(1,17)},fun(x56,{(53,x55,23)},p((x52,x56),(x53)))))))))))))))));goodness : 24.3356 distance to original : 26 time need : 12402 greatness : 269 idv : 40738
fun(x1,{(1,1,8)},fun(x2,{(1,1,0)},for(x3,{(x1,1)},fun(x4,{(-1,1,1)},fun(x5,{(1,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,0,-16)},fun(x8,{(0,1,8)},fun(x9,{(x6,0,1)},for(x10,{(0,0)},conc(for(x11,{(0,0)},fun(x12,{(6,4,1)},for(x13,{(23,x11)},for(x14,{(x12,2)},p((x14,x13),(1)))))),conc(for(x15,{(x7,0)},fun(x16,{(0,1,-11)},fun(x17,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x18,{(15,1,1)},for(x19,{(-6,17)},fun(x20,{(31,x9,x19)},conc(p((19,14),(17)),p((25,x20),(-15))))))),p((24,3),(0))),fun(x21,{(x5,-17,8)},conc(for(x22,{(x15,x8)},for(x23,{(0,10)},fun(x24,{(1,1,1)},fun(x25,{(-3,x21,20)},fun(x26,{(x24,x16,1)},fun(x27,{(1,29,-9),(35,x23,2)},p((x25,x27),(x17)))))))),fun(x28,{(1,17,1)},for(x29,{(0,0)},fun(x30,{(1,7,x28)},fun(x31,{(1,2,1)},fun(x32,{(-10,-11,9)},fun(x33,{(0,2,37)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},conc(fun(x36,{(8,1,-14)},fun(x37,{(1,6,1)},for(x38,{(0,0)},fun(x39,{(0,1,20)},fun(x40,{(x2,0,1)},conc(conc(p((28,x37),(0)),fun(x41,{(1,0,-8)},for(x42,{(0,x41)},fun(x43,{(1,x36,1),(6,3,1)},for(x44,{(26,x42)},for(x45,{(x43,2)},p((x45,x44),(1)))))))),p((24,3),(0)))))))),fun(x46,{(6,4,1)},for(x47,{(25,x35)},for(x48,{(x46,2)},p((x48,x47),(1))))))),for(x49,{(x34,17)},for(x50,{(0,0)},fun(x51,{(11,0,1)},for(x52,{(x32,x33)},fun(x53,{(35,x52,1),(5,x31,-7)},p((x49,x53),(x52))))))))))))))))))))),for(x54,{(x4,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,17)},fun(x58,{(53,x57,23)},p((x54,x58),(x55)))))))))))))))))));goodness : 24.4033 distance to original : 25 time need : 13208 greatness : 277 idv : 41123
for(x1,{(0,0)},for(x2,{(1,1)},fun(x3,{(3,1,1)},fun(x4,{(1,1,x1)},fun(x5,{(1,1,1)},fun(x6,{(1,0,-16)},fun(x7,{(0,1,8)},fun(x8,{(x5,0,1)},for(x9,{(0,0)},conc(for(x10,{(x6,0)},fun(x11,{(0,1,-11)},fun(x12,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x13,{(15,1,1)},for(x14,{(-6,17)},fun(x15,{(31,x8,x14)},conc(p((19,14),(17)),p((25,x15),(-15))))))),p((24,3),(0))),fun(x16,{(x4,-17,8)},conc(for(x17,{(x10,x7)},for(x18,{(0,10)},fun(x19,{(1,1,1)},fun(x20,{(-3,x16,20)},fun(x21,{(x19,x11,1)},fun(x22,{(1,29,-9),(35,x18,16)},p((x20,x22),(x12)))))))),fun(x23,{(1,0,1)},for(x24,{(0,0)},fun(x25,{(1,7,x23)},fun(x26,{(1,9,1)},fun(x27,{(-10,-11,9)},fun(x28,{(0,2,24)},fun(x29,{(1,x25,x24)},conc(for(x30,{(0,0)},conc(fun(x31,{(8,1,-14)},fun(x32,{(1,6,1)},for(x33,{(0,0)},fun(x34,{(0,1,20)},fun(x35,{(1,0,1)},conc(conc(p((28,x32),(0)),conc(fun(x36,{(1,0,-8)},for(x37,{(0,x36)},fun(x38,{(1,x31,1),(6,3,1)},for(x39,{(26,x37)},for(x40,{(x38,2)},p((x40,x39),(1))))))),fun(x41,{(15,x2,1)},for(x42,{(-6,17)},fun(x43,{(18,0,x42)},conc(p((25,x43),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x44,{(6,4,1)},for(x45,{(25,x30)},for(x46,{(x44,2)},p((x46,x45),(1))))))),for(x47,{(x29,17)},for(x48,{(0,0)},fun(x49,{(11,0,1)},for(x50,{(x27,x28)},fun(x51,{(35,x50,1),(5,x26,-7)},p((x47,x51),(x50))))))))))))))))))))),for(x52,{(x3,32)},for(x53,{(0,0)},fun(x54,{(1,0,1)},for(x55,{(1,17)},fun(x56,{(53,x55,23)},p((x52,x56),(x53)))))))))))))))));goodness : 25.3408 distance to original : 26 time need : 10712 greatness : 275 idv : 42138
for(x1,{(0,0)},for(x2,{(0,0)},for(x3,{(1,1)},fun(x4,{(3,1,1)},fun(x5,{(1,1,x2)},fun(x6,{(1,1,1)},fun(x7,{(1,0,-16)},fun(x8,{(0,1,8)},fun(x9,{(x6,0,1)},for(x10,{(0,0)},conc(for(x11,{(x7,0)},fun(x12,{(0,1,-16)},fun(x13,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x14,{(15,1,1)},for(x15,{(-6,x1)},fun(x16,{(31,x9,x15)},conc(p((19,14),(17)),p((25,x16),(-15))))))),p((24,3),(0))),fun(x17,{(x5,-17,8)},conc(for(x18,{(x11,x8)},for(x19,{(0,10)},fun(x20,{(1,1,1)},fun(x21,{(-3,x17,20)},fun(x22,{(x20,x12,1)},fun(x23,{(1,29,-9),(35,x19,16)},p((x21,x23),(x13)))))))),fun(x24,{(1,0,1)},for(x25,{(0,0)},fun(x26,{(1,7,x24)},fun(x27,{(1,9,1)},fun(x28,{(-10,-11,9)},fun(x29,{(0,2,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(8,1,-14)},fun(x33,{(1,6,1)},for(x34,{(0,0)},fun(x35,{(0,1,20)},fun(x36,{(1,0,1)},conc(conc(p((28,x33),(0)),conc(fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x32,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(1))))))),fun(x42,{(15,x3,1)},for(x43,{(-6,17)},fun(x44,{(18,0,x43)},conc(p((25,x44),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x45,{(6,4,1)},for(x46,{(25,x31)},for(x47,{(x45,2)},p((x47,x46),(1))))))),for(x48,{(x30,17)},for(x49,{(0,0)},fun(x50,{(-6,0,1)},for(x51,{(x28,x29)},fun(x52,{(35,x51,1),(5,x27,-7)},p((x48,x52),(x51))))))))))))))))))))),for(x53,{(x4,32)},for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(1,17)},fun(x57,{(53,x56,23)},p((x53,x57),(x54))))))))))))))))));goodness : 25.4634 distance to original : 26 time need : 10492 greatness : 278 idv : 44754
for(x1,{(0,0)},for(x2,{(1,1)},fun(x3,{(3,1,1)},fun(x4,{(1,1,x1)},fun(x5,{(1,1,1)},fun(x6,{(1,0,-16)},fun(x7,{(0,1,8)},fun(x8,{(x5,0,1)},for(x9,{(0,0)},conc(for(x10,{(x6,0)},fun(x11,{(0,-19,-11)},fun(x12,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),fun(x13,{(15,1,1)},for(x14,{(-6,17)},fun(x15,{(31,x8,x14)},conc(p((19,14),(17)),p((25,x15),(-15))))))),p((24,3),(0))),fun(x16,{(x4,-17,8)},conc(for(x17,{(x10,x7)},for(x18,{(0,10)},fun(x19,{(1,1,1)},fun(x20,{(-3,x16,20)},fun(x21,{(x19,x11,1)},fun(x22,{(1,29,-9),(35,x18,16)},p((x20,x22),(x12)))))))),fun(x23,{(1,0,1)},for(x24,{(0,0)},fun(x25,{(1,7,x23)},fun(x26,{(1,9,1)},fun(x27,{(-10,-11,9)},fun(x28,{(0,2,24)},fun(x29,{(1,x25,x24)},conc(for(x30,{(0,0)},conc(fun(x31,{(8,1,-14)},fun(x32,{(1,6,1)},for(x33,{(0,0)},fun(x34,{(0,1,20)},fun(x35,{(1,0,1)},conc(conc(p((47,x32),(0)),conc(fun(x36,{(1,0,-8)},for(x37,{(0,x36)},fun(x38,{(1,x31,1),(6,3,1)},for(x39,{(26,x37)},for(x40,{(x38,2)},p((x40,x39),(1))))))),fun(x41,{(15,x2,1)},for(x42,{(-6,17)},fun(x43,{(18,0,x42)},conc(p((25,x43),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))))),fun(x44,{(6,4,1)},for(x45,{(17,x30)},for(x46,{(x44,2)},p((x46,x45),(1))))))),for(x47,{(x29,17)},for(x48,{(0,0)},fun(x49,{(11,0,1)},for(x50,{(x27,x28)},fun(x51,{(35,x50,1),(5,x26,-7)},p((x47,x51),(x50))))))))))))))))))))),for(x52,{(x3,32)},for(x53,{(0,0)},fun(x54,{(1,0,1)},for(x55,{(1,17)},fun(x56,{(53,x55,23)},p((x52,x56),(x53)))))))))))))))));goodness : 25.8278 distance to original : 26 time need : 9968 greatness : 275 idv : 46551
for(x1,{(15,15)},for(x2,{(0,0)},fun(x3,{(3,1,1)},fun(x4,{(1,1,1)},fun(x5,{(1,1,1)},fun(x6,{(1,0,-16)},fun(x7,{(0,1,8)},fun(x8,{(x5,0,1)},for(x9,{(0,0)},conc(for(x10,{(0,0)},fun(x11,{(6,4,1)},for(x12,{(23,x10)},for(x13,{(x11,2)},p((x13,x12),(1)))))),conc(for(x14,{(x6,0)},fun(x15,{(0,1,-11)},fun(x16,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),for(x17,{(-6,17)},fun(x18,{(31,x8,x17)},conc(p((19,14),(17)),p((25,x18),(-15)))))),p((24,3),(0))),fun(x19,{(x4,-17,8)},conc(for(x20,{(x14,x7)},for(x21,{(0,10),(6,14)},fun(x22,{(1,1,1)},fun(x23,{(-3,x19,19)},fun(x24,{(x22,x15,1)},fun(x25,{(1,29,-9),(35,x21,2)},p((x23,x25),(x16)))))))),fun(x26,{(1,0,1)},for(x27,{(0,x2)},fun(x28,{(1,7,x26)},fun(x29,{(1,2,1)},fun(x30,{(-10,-11,9)},fun(x31,{(0,2,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(8,1,-14)},fun(x35,{(1,6,1)},for(x36,{(0,0)},conc(conc(p((28,x35),(0)),conc(fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x34,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(1))))))),fun(x42,{(x1,1,1)},for(x43,{(-6,17)},fun(x44,{(18,1,x43)},conc(p((25,x44),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))),fun(x45,{(6,4,1)},for(x46,{(25,x33)},for(x47,{(x45,2)},p((x47,x46),(1))))))),for(x48,{(x32,17)},for(x49,{(0,0)},fun(x50,{(15,0,1)},for(x51,{(x30,x31)},fun(x52,{(35,x51,1),(5,x29,-7),(2,3,0)},p((x48,x52),(x51))))))))))))))))))))),for(x53,{(x3,32)},for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(1,17)},fun(x57,{(53,x56,23)},p((x53,x57),(x54))))))))))))))))));goodness : 34.4151 distance to original : 13 time need : 13197 greatness : 286 idv : 48397
fun(x1,{(1,0,1)},for(x2,{(15,15)},for(x3,{(0,0)},fun(x4,{(3,1,1)},fun(x5,{(1,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,0,-16)},fun(x8,{(0,1,8)},fun(x9,{(x6,0,x1)},for(x10,{(0,0)},conc(for(x11,{(0,0)},fun(x12,{(6,4,1)},for(x13,{(23,x11)},for(x14,{(x12,2)},p((x14,x13),(1)))))),conc(for(x15,{(x7,0)},fun(x16,{(0,1,-11)},fun(x17,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),for(x18,{(-6,17)},fun(x19,{(31,x9,x18)},conc(p((19,14),(17)),p((25,x19),(-15)))))),p((24,3),(0))),fun(x20,{(x5,-17,8)},conc(for(x21,{(x15,x8)},for(x22,{(0,10),(6,14)},fun(x23,{(1,1,1)},fun(x24,{(-3,x20,19)},fun(x25,{(x23,x16,1)},fun(x26,{(1,29,-9),(35,x22,2)},p((x24,x26),(x17)))))))),fun(x27,{(1,0,1)},for(x28,{(0,x3)},fun(x29,{(1,7,x27)},fun(x30,{(1,2,1)},fun(x31,{(-10,-11,9)},fun(x32,{(0,2,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},conc(fun(x35,{(8,1,-14)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(1))))))),fun(x43,{(x2,1,1)},for(x44,{(-6,17)},fun(x45,{(18,1,x44)},conc(p((25,x45),(-15)),p((19,14),(35))))))),p((24,3),(0)))))),fun(x46,{(6,4,1)},for(x47,{(25,x34)},for(x48,{(x46,2)},p((x48,x47),(1))))))),for(x49,{(x33,17)},for(x50,{(0,0)},fun(x51,{(15,0,1)},for(x52,{(x31,x32)},fun(x53,{(35,x52,1),(5,x30,-7),(2,3,0)},p((x49,x53),(x52))))))))))))))))))))),for(x54,{(x4,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,17)},fun(x58,{(53,x57,23)},p((x54,x58),(x55)))))))))))))))))));goodness : 34.4281 distance to original : 13 time need : 13196 greatness : 285 idv : 54282
for(x1,{(15,15)},for(x2,{(0,0)},fun(x3,{(3,1,1)},fun(x4,{(1,1,1)},fun(x5,{(1,1,1)},fun(x6,{(1,0,-16)},fun(x7,{(0,1,8)},fun(x8,{(x5,0,1)},for(x9,{(0,0)},conc(for(x10,{(0,0)},fun(x11,{(6,4,1)},for(x12,{(23,x10)},for(x13,{(x11,2)},p((x13,x12),(1)))))),conc(for(x14,{(x6,0)},fun(x15,{(0,1,-11)},fun(x16,{(-17,0,1)},conc(conc(p((28,6),(0)),p((24,3),(0))),fun(x17,{(x4,-17,8)},conc(for(x18,{(x14,x7)},for(x19,{(0,10),(6,14)},fun(x20,{(1,1,1)},fun(x21,{(-3,x17,19)},fun(x22,{(x20,x15,1)},fun(x23,{(1,29,-9),(35,x19,2)},p((x21,x23),(x16)))))))),fun(x24,{(1,0,1)},for(x25,{(0,x2)},fun(x26,{(1,7,x24)},fun(x27,{(1,2,1)},fun(x28,{(-10,-11,9)},fun(x29,{(0,2,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(8,1,-14)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(p((28,x33),(0)),conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(1))))))),fun(x40,{(x1,1,1)},for(x41,{(-6,17)},fun(x42,{(18,1,x41)},conc(p((25,x42),(-15)),p((19,14),(35)))))))),p((24,3),(18)))))),fun(x43,{(6,4,1)},for(x44,{(25,x31)},for(x45,{(x43,2)},p((x45,x44),(1))))))),for(x46,{(x30,17)},for(x47,{(0,0)},fun(x48,{(15,0,1)},for(x49,{(x28,x29)},fun(x50,{(35,x49,1),(5,x27,-7),(2,3,0)},p((x46,x50),(x49))))))))))))))))))))),for(x51,{(x3,32)},for(x52,{(0,0)},fun(x53,{(1,0,1)},for(x54,{(1,17)},fun(x55,{(53,x54,23)},p((x51,x55),(x52))))))))))))))))));goodness : 34.9981 distance to original : 13 time need : 12883 greatness : 269 idv : 55080
fun(x1,{(1,0,1)},for(x2,{(15,15)},for(x3,{(0,0)},fun(x4,{(3,1,1)},fun(x5,{(1,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,0,-16)},fun(x8,{(0,1,8)},fun(x9,{(x6,0,x1)},for(x10,{(0,0)},conc(for(x11,{(0,0)},fun(x12,{(6,4,1)},for(x13,{(23,x11)},for(x14,{(x12,2)},p((x14,x13),(1)))))),conc(for(x15,{(x7,0)},fun(x16,{(0,1,-11)},fun(x17,{(-17,-11,1)},fun(x18,{(x5,-17,8)},conc(for(x19,{(x15,x8)},for(x20,{(0,10),(6,14)},fun(x21,{(1,1,1)},fun(x22,{(-3,x18,19)},fun(x23,{(x21,x16,1)},fun(x24,{(1,29,-9),(35,x20,2)},p((x22,x24),(x17)))))))),fun(x25,{(1,0,1)},for(x26,{(0,x3)},fun(x27,{(1,7,x25)},fun(x28,{(1,2,1)},fun(x29,{(-10,-11,9)},fun(x30,{(0,2,24)},fun(x31,{(1,x27,x26)},conc(for(x32,{(0,0)},conc(fun(x33,{(8,1,-14)},fun(x34,{(1,6,1)},for(x35,{(0,0)},conc(conc(p((28,x34),(0)),conc(fun(x36,{(1,0,-8)},for(x37,{(0,x36)},fun(x38,{(1,x33,1),(6,3,1)},for(x39,{(26,x37)},for(x40,{(x38,2)},p((x40,x39),(1))))))),fun(x41,{(x2,1,1)},for(x42,{(-6,17)},fun(x43,{(18,1,x42)},conc(p((25,x43),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))),fun(x44,{(6,4,1)},for(x45,{(25,x32)},for(x46,{(x44,2)},p((x46,x45),(1))))))),for(x47,{(x31,17)},for(x48,{(0,0)},fun(x49,{(15,0,1)},for(x50,{(x29,x30)},fun(x51,{(35,x50,1),(5,x28,-7),(2,3,0)},p((x47,x51),(x50)))))))))))))))))))),for(x52,{(x4,32)},for(x53,{(0,0)},fun(x54,{(1,0,1)},for(x55,{(1,17)},fun(x56,{(53,x55,23)},p((x52,x56),(x53)))))))))))))))))));goodness : 35.0791 distance to original : 13 time need : 12877 greatness : 263 idv : 55484
for(x1,{(4,4)},fun(x2,{(0,1,2)},fun(x3,{(1,0,1)},fun(x4,{(1,0,1)},for(x5,{(15,15)},for(x6,{(0,0)},fun(x7,{(3,1,1)},fun(x8,{(1,1,1)},fun(x9,{(1,1,1)},fun(x10,{(1,0,-16)},fun(x11,{(0,1,8)},fun(x12,{(x9,0,x4)},for(x13,{(0,0)},conc(for(x14,{(0,0)},fun(x15,{(6,x1,1)},for(x16,{(23,x14)},for(x17,{(x15,2)},p((x17,x16),(1)))))),conc(for(x18,{(x10,0)},fun(x19,{(0,1,-11)},fun(x20,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),for(x21,{(-6,17)},fun(x22,{(31,x12,x21)},conc(p((19,29),(17)),p((25,x22),(-15)))))),p((24,3),(0))),fun(x23,{(x8,-17,8)},conc(for(x24,{(x18,x11)},for(x25,{(0,10),(6,14)},fun(x26,{(-6,1,1)},fun(x27,{(-3,x23,19)},fun(x28,{(x26,x19,1)},fun(x29,{(1,29,-9),(35,x25,x3)},p((x27,x29),(x20)))))))),fun(x30,{(1,0,1)},for(x31,{(0,x6)},fun(x32,{(1,7,x30)},fun(x33,{(1,2,1)},fun(x34,{(-10,-11,9)},fun(x35,{(0,2,24)},fun(x36,{(1,x32,x31)},conc(for(x37,{(0,0)},conc(fun(x38,{(6,13,x2)},for(x39,{(25,x37)},for(x40,{(x38,2)},p((x40,x39),(1))))),fun(x41,{(8,1,-14)},fun(x42,{(1,6,1)},for(x43,{(0,0)},conc(conc(p((28,x42),(0)),conc(fun(x44,{(x5,1,1)},for(x45,{(-6,17)},fun(x46,{(18,1,x45)},conc(p((36,x46),(-15)),p((19,14),(35)))))),fun(x47,{(1,0,-8)},for(x48,{(0,x47)},fun(x49,{(1,x41,1),(6,3,1)},for(x50,{(26,x48)},for(x51,{(x49,2)},p((x51,x50),(1))))))))),p((24,3),(0)))))))),for(x52,{(x36,17)},for(x53,{(0,0)},fun(x54,{(15,0,1)},for(x55,{(x34,x35)},fun(x56,{(35,x55,1),(5,x33,-7),(2,3,0)},p((x52,x56),(x55))))))))))))))))))))),for(x57,{(x7,32)},for(x58,{(0,0)},fun(x59,{(1,0,1)},for(x60,{(1,17)},fun(x61,{(53,x60,23)},p((x57,x61),(x58))))))))))))))))))))));goodness : 35.2759 distance to original : 14 time need : 11338 greatness : 301 idv : 57266
for(x1,{(15,15)},for(x2,{(0,0)},fun(x3,{(3,1,1)},fun(x4,{(1,1,1)},fun(x5,{(1,1,1)},fun(x6,{(1,0,-16)},fun(x7,{(0,1,8)},fun(x8,{(x5,0,1)},for(x9,{(0,0)},conc(for(x10,{(x6,0)},fun(x11,{(0,1,-11)},fun(x12,{(-17,0,1)},conc(conc(conc(p((38,6),(0)),for(x13,{(-6,17)},fun(x14,{(31,x8,x13)},conc(p((19,14),(17)),p((25,x14),(-15)))))),p((24,3),(0))),fun(x15,{(x4,-17,8)},conc(for(x16,{(x10,x7)},for(x17,{(0,10),(6,14)},fun(x18,{(1,1,1)},fun(x19,{(-3,x15,19)},fun(x20,{(x18,x11,1)},fun(x21,{(1,29,-9),(35,x17,2)},p((x19,x21),(x12)))))))),fun(x22,{(1,0,1)},for(x23,{(0,x2)},fun(x24,{(1,7,x22)},fun(x25,{(1,2,1)},fun(x26,{(-10,-11,9)},fun(x27,{(0,2,24)},fun(x28,{(1,x24,x23)},conc(for(x29,{(0,0)},conc(fun(x30,{(8,1,-14)},fun(x31,{(1,6,1)},for(x32,{(0,0)},conc(conc(p((28,x31),(0)),conc(fun(x33,{(1,0,-8)},for(x34,{(0,x33)},fun(x35,{(1,x30,1),(6,3,1)},for(x36,{(26,x34)},for(x37,{(x35,2)},p((x37,x36),(1))))))),fun(x38,{(x1,1,1)},for(x39,{(-6,17)},fun(x40,{(18,1,x39)},conc(p((25,x40),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))),fun(x41,{(6,4,1)},for(x42,{(25,x29)},for(x43,{(x41,2)},p((x43,x42),(1))))))),for(x44,{(x28,17)},for(x45,{(0,0)},fun(x46,{(15,0,1)},for(x47,{(x26,x27)},fun(x48,{(35,x47,1),(5,x25,-7),(2,3,0)},p((x44,x48),(x47))))))))))))))))))))),for(x49,{(x3,32)},for(x50,{(0,0)},fun(x51,{(1,0,1)},for(x52,{(1,17)},fun(x53,{(53,x52,23)},p((x49,x53),(x50)))))))))))))))));goodness : 37.5404 distance to original : 13 time need : 10958 greatness : 268 idv : 57494
fun(x1,{(1,25,1)},fun(x2,{(1,0,1)},for(x3,{(15,15)},for(x4,{(0,0)},fun(x5,{(3,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,1,1)},fun(x8,{(1,0,-16)},fun(x9,{(0,1,8)},fun(x10,{(x7,0,x2)},for(x11,{(0,0)},conc(for(x12,{(0,0)},fun(x13,{(6,4,1)},for(x14,{(23,x12)},for(x15,{(x13,2)},p((x15,x14),(1)))))),conc(for(x16,{(x8,0)},fun(x17,{(0,1,-11)},fun(x18,{(-17,-11,1)},fun(x19,{(x6,-17,8)},conc(for(x20,{(x16,x9)},for(x21,{(0,10),(6,14)},fun(x22,{(1,1,1)},fun(x23,{(-3,x19,19)},fun(x24,{(x22,x17,1)},fun(x25,{(1,47,-9),(35,x21,2)},p((x23,x25),(x18)))))))),fun(x26,{(1,0,1)},for(x27,{(0,x4)},fun(x28,{(1,7,x26)},fun(x29,{(1,2,1)},fun(x30,{(-10,-11,9)},fun(x31,{(0,2,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(8,1,-14)},fun(x35,{(1,6,1)},for(x36,{(0,0)},conc(conc(p((28,x35),(0)),conc(fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x34,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(1))))))),fun(x42,{(x3,1,1)},for(x43,{(-6,17)},fun(x44,{(18,1,x43)},conc(p((x1,x44),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))),fun(x45,{(6,4,1)},for(x46,{(25,x33)},for(x47,{(x45,2)},p((x47,x46),(1))))))),for(x48,{(x32,17)},for(x49,{(0,0)},fun(x50,{(15,0,1)},for(x51,{(x30,x31)},fun(x52,{(35,x51,1),(5,x29,-7),(2,3,0)},p((x48,x52),(x51)))))))))))))))))))),for(x53,{(x5,32)},for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(1,17)},fun(x57,{(53,x56,23)},p((x53,x57),(x54))))))))))))))))))));goodness : 37.6634 distance to original : 11 time need : 12881 greatness : 267 idv : 57615
fun(x1,{(1,0,1)},for(x2,{(15,15)},for(x3,{(0,0)},fun(x4,{(3,1,1)},fun(x5,{(1,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,0,-16)},fun(x8,{(0,1,8)},fun(x9,{(x6,0,x1)},for(x10,{(0,0)},conc(for(x11,{(x7,0)},fun(x12,{(0,1,-11)},fun(x13,{(-17,0,1)},conc(conc(conc(p((28,6),(0)),for(x14,{(-6,17)},fun(x15,{(31,x9,x14)},p((25,x15),(-15))))),p((24,3),(0))),fun(x16,{(x5,-17,8)},conc(conc(for(x17,{(x11,x8)},for(x18,{(0,10),(6,14)},fun(x19,{(1,1,1)},fun(x20,{(-3,x16,19)},fun(x21,{(x19,x12,1)},fun(x22,{(1,29,-9),(35,x18,2)},p((x20,x22),(x13)))))))),p((9,14),(1))),fun(x23,{(1,0,1)},for(x24,{(0,x3)},fun(x25,{(1,7,x23)},fun(x26,{(1,2,1)},fun(x27,{(-10,-11,9)},fun(x28,{(0,2,24)},fun(x29,{(1,x25,x24)},conc(for(x30,{(0,0)},conc(fun(x31,{(8,1,-14)},fun(x32,{(1,6,1)},for(x33,{(0,0)},conc(conc(fun(x34,{(1,0,-8)},for(x35,{(0,x34)},fun(x36,{(1,x31,1),(6,3,1)},for(x37,{(26,x35)},for(x38,{(x36,2)},p((x38,x37),(1))))))),fun(x39,{(x2,1,1)},for(x40,{(-6,17)},fun(x41,{(18,1,x40)},conc(p((25,x41),(-15)),p((19,14),(35))))))),p((24,3),(0)))))),fun(x42,{(6,4,1)},for(x43,{(25,x30)},for(x44,{(x42,2)},p((x44,x43),(1))))))),for(x45,{(x29,17)},for(x46,{(0,0)},fun(x47,{(15,0,1)},for(x48,{(x27,x28)},fun(x49,{(35,x48,1),(5,x26,-7),(2,3,0)},p((x45,x49),(x48))))))))))))))))))))),for(x50,{(x4,32)},for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,17)},fun(x54,{(53,x53,23)},p((x50,x54),(x51))))))))))))))))));goodness : 37.7188 distance to original : 13 time need : 10842 greatness : 267 idv : 58179
fun(x1,{(1,25,1)},fun(x2,{(1,0,1)},for(x3,{(15,15)},for(x4,{(0,0)},fun(x5,{(3,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,1,1)},fun(x8,{(1,0,-16)},fun(x9,{(0,1,8)},fun(x10,{(x7,0,x2)},for(x11,{(0,0)},conc(for(x12,{(0,0)},fun(x13,{(6,4,1)},for(x14,{(23,x12)},for(x15,{(x13,2)},p((x15,x14),(1)))))),conc(for(x16,{(x8,0)},fun(x17,{(0,1,-11)},fun(x18,{(-17,-11,1)},fun(x19,{(x6,-17,8)},conc(for(x20,{(x16,x9)},for(x21,{(0,10),(6,14)},fun(x22,{(1,1,1)},fun(x23,{(-3,x19,19)},fun(x24,{(x22,x17,1)},fun(x25,{(1,35,-9),(35,x21,2)},p((x23,x25),(x18)))))))),fun(x26,{(1,0,1)},for(x27,{(0,x4)},fun(x28,{(1,7,x26)},fun(x29,{(1,2,1)},fun(x30,{(-10,-11,9)},fun(x31,{(0,2,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(8,1,-14)},fun(x35,{(1,6,1)},for(x36,{(0,0)},conc(conc(fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x34,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(1))))))),fun(x42,{(x3,1,1)},for(x43,{(-6,17)},fun(x44,{(18,1,x43)},conc(p((19,14),(35)),p((x1,x44),(-15))))))),p((24,3),(0)))))),fun(x45,{(6,4,1)},for(x46,{(25,x33)},for(x47,{(x45,2)},p((x47,x46),(1))))))),for(x48,{(x32,17)},for(x49,{(0,0)},fun(x50,{(15,0,1)},for(x51,{(x30,x31)},fun(x52,{(35,x51,1),(5,x29,-7),(2,3,0)},p((x48,x52),(x51)))))))))))))))))))),for(x53,{(x5,32)},for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(1,17)},fun(x57,{(53,x56,23)},p((x53,x57),(x54))))))))))))))))))));goodness : 37.7415 distance to original : 11 time need : 12876 greatness : 262 idv : 59222
fun(x1,{(1,25,1)},fun(x2,{(1,0,1)},for(x3,{(15,15)},for(x4,{(0,0)},fun(x5,{(3,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,1,1)},fun(x8,{(1,0,-16)},fun(x9,{(0,1,8)},fun(x10,{(x7,0,x2)},for(x11,{(0,0)},conc(for(x12,{(0,0)},fun(x13,{(6,4,1)},for(x14,{(23,x12)},for(x15,{(x13,2)},p((x15,x14),(1)))))),conc(for(x16,{(x8,0)},fun(x17,{(0,1,-11)},fun(x18,{(-17,-11,1)},fun(x19,{(x6,-17,8)},conc(for(x20,{(x16,x9)},for(x21,{(0,10),(6,14)},fun(x22,{(1,1,1)},fun(x23,{(-3,x19,19)},fun(x24,{(x22,x17,1)},fun(x25,{(1,35,-9),(35,x21,2)},p((x23,x25),(x18)))))))),fun(x26,{(1,0,1)},for(x27,{(0,x4)},fun(x28,{(1,7,x26)},fun(x29,{(1,2,1)},fun(x30,{(-10,-11,9)},fun(x31,{(0,2,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(8,1,-14)},fun(x35,{(1,6,1)},for(x36,{(0,0)},conc(conc(fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x34,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(1))))))),fun(x42,{(x3,1,1)},for(x43,{(-6,17)},fun(x44,{(36,1,x43)},p((x1,x44),(-15)))))),p((24,3),(0)))))),fun(x45,{(6,4,1)},for(x46,{(25,x33)},for(x47,{(x45,2)},p((x47,x46),(1))))))),for(x48,{(x32,17)},for(x49,{(0,0)},fun(x50,{(15,0,1)},for(x51,{(x30,x31)},fun(x52,{(35,x51,1),(5,x29,-7),(2,3,0)},p((x48,x52),(x51)))))))))))))))))))),for(x53,{(x5,32)},for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(1,17)},fun(x57,{(53,x56,23)},p((x53,x57),(x54))))))))))))))))))));goodness : 37.9853 distance to original : 11 time need : 12756 greatness : 257 idv : 59896
fun(x1,{(1,0,1)},fun(x2,{(1,25,1)},fun(x3,{(1,0,1)},for(x4,{(15,15)},for(x5,{(0,0)},fun(x6,{(3,1,1)},fun(x7,{(1,1,1)},fun(x8,{(1,1,1)},fun(x9,{(1,0,-16)},fun(x10,{(x1,1,8)},fun(x11,{(x8,0,x3)},for(x12,{(0,0)},conc(for(x13,{(0,0)},fun(x14,{(6,4,1)},for(x15,{(23,x13)},for(x16,{(x14,2)},p((x16,x15),(1)))))),conc(for(x17,{(x9,0)},fun(x18,{(0,1,-11)},fun(x19,{(-17,-11,1)},fun(x20,{(x7,-17,8)},conc(for(x21,{(x17,x10)},for(x22,{(0,10),(6,14)},fun(x23,{(1,1,1)},fun(x24,{(-3,x20,19)},fun(x25,{(x23,x18,1)},fun(x26,{(1,35,-9),(35,x22,2)},p((x24,x26),(x19)))))))),fun(x27,{(1,0,1)},for(x28,{(0,x5)},fun(x29,{(1,7,x27)},fun(x30,{(1,2,1)},fun(x31,{(-10,-11,9)},fun(x32,{(0,2,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},conc(fun(x35,{(8,1,-14)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(1))))))),fun(x43,{(x4,1,1)},for(x44,{(-6,17)},fun(x45,{(18,1,x44)},conc(p((19,14),(35)),p((x2,x45),(-15))))))),p((24,3),(0)))))),fun(x46,{(6,4,1)},for(x47,{(25,x34)},for(x48,{(x46,2)},p((x48,x47),(1))))))),for(x49,{(x33,20)},for(x50,{(0,0)},fun(x51,{(15,0,1)},for(x52,{(x31,x32)},fun(x53,{(35,x52,1),(5,x30,-7),(2,3,0)},p((x49,x53),(x52)))))))))))))))))))),for(x54,{(x6,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,17)},fun(x58,{(53,x57,23)},p((x54,x58),(x55)))))))))))))))))))));goodness : 42.3729 distance to original : 8 time need : 12940 greatness : 266 idv : 59900
fun(x1,{(0,1,6)},for(x2,{(18,18)},fun(x3,{(1,5,1)},fun(x4,{(1,0,1)},fun(x5,{(1,25,1)},fun(x6,{(1,0,1)},for(x7,{(15,15)},for(x8,{(0,0)},fun(x9,{(3,1,1)},fun(x10,{(1,1,1)},fun(x11,{(1,1,1)},fun(x12,{(1,0,-16)},fun(x13,{(x4,1,8)},fun(x14,{(x11,0,x6)},for(x15,{(0,0)},conc(for(x16,{(0,0)},fun(x17,{(6,4,1)},for(x18,{(23,x16)},for(x19,{(x17,2)},p((x19,x18),(1)))))),conc(for(x20,{(x12,0)},fun(x21,{(0,1,-11)},fun(x22,{(-17,-11,1)},fun(x23,{(x10,-17,8)},conc(for(x24,{(x20,x13)},for(x25,{(0,10),(6,14)},fun(x26,{(1,1,1)},fun(x27,{(-3,x23,19)},fun(x28,{(x26,x21,1)},fun(x29,{(1,35,-9),(35,x25,2)},p((x27,x29),(x22)))))))),fun(x30,{(1,0,1)},for(x31,{(0,x8)},fun(x32,{(1,7,x30)},fun(x33,{(1,2,1)},fun(x34,{(-10,-11,9)},fun(x35,{(0,2,24)},fun(x36,{(1,x32,x31)},conc(for(x37,{(0,0)},conc(fun(x38,{(8,1,-14)},fun(x39,{(1,6,x1)},for(x40,{(0,0)},conc(conc(fun(x41,{(1,0,-8)},for(x42,{(0,x41)},fun(x43,{(1,x38,1),(6,3,1)},for(x44,{(26,x42)},for(x45,{(x43,2)},p((x45,x44),(1))))))),fun(x46,{(x7,1,1)},for(x47,{(-6,17)},fun(x48,{(x2,1,x47)},conc(p((19,14),(35)),p((x5,x48),(-15))))))),p((24,3),(0)))))),fun(x49,{(6,4,1)},for(x50,{(25,x37)},for(x51,{(x49,2)},p((x51,x50),(1))))))),for(x52,{(x36,20)},for(x53,{(0,0)},fun(x54,{(15,0,1)},for(x55,{(x34,x35)},fun(x56,{(35,x55,1),(x3,x33,-7),(2,3,0)},p((x52,x56),(x55)))))))))))))))))))),for(x57,{(x9,30)},for(x58,{(0,0)},fun(x59,{(1,0,1)},for(x60,{(1,17)},fun(x61,{(53,x60,23)},p((x57,x61),(x58))))))))))))))))))))))));goodness : 42.6712 distance to original : 8 time need : 12665 greatness : 277 idv : 61651
fun(x1,{(0,1,6)},fun(x2,{(1,0,x1)},for(x3,{(15,15)},for(x4,{(0,0)},fun(x5,{(3,1,1)},fun(x6,{(1,1,1)},fun(x7,{(1,1,18)},fun(x8,{(1,0,-16)},fun(x9,{(0,1,8)},fun(x10,{(x7,0,x2)},for(x11,{(0,0)},conc(for(x12,{(0,0)},fun(x13,{(6,4,1)},for(x14,{(23,x12)},for(x15,{(x13,2)},p((x15,x14),(1)))))),conc(for(x16,{(x8,0)},fun(x17,{(14,1,-11)},fun(x18,{(-17,0,1)},conc(conc(conc(for(x19,{(-6,17)},fun(x20,{(46,x10,x19)},conc(p((19,14),(17)),p((25,x20),(-15))))),p((28,6),(-9))),p((24,3),(0))),fun(x21,{(x6,-17,8)},conc(for(x22,{(x16,x9)},for(x23,{(0,10),(6,14)},fun(x24,{(1,1,1)},fun(x25,{(-3,x21,19)},fun(x26,{(x24,x17,1)},fun(x27,{(1,29,-9),(35,x23,2)},p((x25,x27),(x18)))))))),fun(x28,{(1,0,1)},for(x29,{(0,x4)},fun(x30,{(1,7,x28)},fun(x31,{(1,2,1)},fun(x32,{(-10,-11,9)},fun(x33,{(0,2,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},conc(fun(x36,{(8,1,-14)},fun(x37,{(1,6,1)},for(x38,{(0,0)},conc(conc(p((28,x37),(-10)),conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x36,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1))))))),fun(x44,{(x3,1,1)},for(x45,{(-6,17)},fun(x46,{(18,1,x45)},conc(p((25,x46),(-15)),p((19,14),(35)))))))),p((24,-10),(0)))))),fun(x47,{(6,4,1)},for(x48,{(25,x35)},for(x49,{(x47,2)},p((x49,x48),(1))))))),for(x50,{(x34,32)},for(x51,{(0,0)},fun(x52,{(15,0,1)},for(x53,{(x32,x33)},fun(x54,{(22,x53,1),(5,x31,-7),(2,3,0)},p((x50,x54),(x53))))))))))))))))))))),for(x55,{(x5,32)},for(x56,{(0,0)},fun(x57,{(1,0,1)},for(x58,{(1,17)},fun(x59,{(53,x58,23)},p((x55,x59),(x56))))))))))))))))))));goodness : 44.5534 distance to original : 6 time need : 13505 greatness : 294 idv : 61667
for(x1,{(0,0)},fun(x2,{(1,25,1)},fun(x3,{(1,0,1)},for(x4,{(15,15)},for(x5,{(0,0)},fun(x6,{(3,1,1)},fun(x7,{(1,1,1)},fun(x8,{(1,1,-7)},fun(x9,{(1,0,-16)},fun(x10,{(0,1,8)},fun(x11,{(x8,0,x3)},for(x12,{(0,0)},conc(for(x13,{(0,0)},fun(x14,{(6,4,1)},for(x15,{(23,x13)},for(x16,{(x14,2)},p((x16,x15),(1)))))),conc(for(x17,{(x9,0)},fun(x18,{(0,1,-11)},fun(x19,{(-17,-11,1)},fun(x20,{(x7,-17,8)},conc(for(x21,{(x17,x10)},for(x22,{(0,10),(6,14)},fun(x23,{(1,1,1)},fun(x24,{(-3,x20,19)},fun(x25,{(x23,x18,1)},fun(x26,{(1,35,-9),(35,x22,2)},p((x24,x26),(x19)))))))),fun(x27,{(1,0,1)},for(x28,{(0,x5)},fun(x29,{(1,7,x27)},fun(x30,{(1,2,1)},fun(x31,{(-10,-11,9)},fun(x32,{(0,2,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,x1)},conc(fun(x35,{(8,1,-14)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(p((28,x36),(-20)),conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(1))))))),fun(x43,{(x4,1,1)},for(x44,{(-6,17)},fun(x45,{(18,1,x44)},conc(p((19,14),(35)),p((x2,x45),(-15)))))))),p((24,3),(0)))))),fun(x46,{(6,4,1)},for(x47,{(25,x34)},for(x48,{(x46,2)},p((x48,x47),(1))))))),for(x49,{(x33,36)},for(x50,{(0,0)},fun(x51,{(15,0,1)},for(x52,{(x31,x32)},fun(x53,{(35,x52,1),(5,x30,-7),(2,3,0)},p((x49,x53),(x52)))))))))))))))))))),for(x54,{(x6,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,17)},fun(x58,{(53,x57,23)},p((x54,x58),(x55)))))))))))))))))))));goodness : 50.0952 distance to original : 4 time need : 13262 greatness : 270 idv : 61681
fun(x1,{(1,8,1)},fun(x2,{(1,24,1)},fun(x3,{(1,25,1)},fun(x4,{(1,0,1)},for(x5,{(15,15)},for(x6,{(0,0)},fun(x7,{(3,1,1)},fun(x8,{(1,1,1)},fun(x9,{(1,1,1)},fun(x10,{(1,0,-16)},fun(x11,{(0,1,8)},fun(x12,{(x9,0,x4)},for(x13,{(0,0)},conc(for(x14,{(0,0)},fun(x15,{(6,4,1)},for(x16,{(23,x14)},for(x17,{(x15,2)},p((x17,x16),(1)))))),conc(for(x18,{(x10,0)},fun(x19,{(0,1,1)},fun(x20,{(-17,-11,1)},fun(x21,{(x8,-17,8)},conc(for(x22,{(x18,x11)},for(x23,{(0,10),(6,17)},fun(x24,{(1,1,1)},fun(x25,{(-3,x21,19)},fun(x26,{(x24,x19,6)},fun(x27,{(1,35,-9),(35,x23,2)},p((x25,x27),(x20)))))))),fun(x28,{(1,0,1)},for(x29,{(0,x6)},fun(x30,{(1,7,x28)},fun(x31,{(1,2,1)},fun(x32,{(-10,-11,9)},fun(x33,{(0,2,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},conc(fun(x36,{(x1,1,-14)},fun(x37,{(1,6,1)},for(x38,{(0,0)},conc(conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x36,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1))))))),fun(x44,{(x5,1,1)},for(x45,{(-6,17)},fun(x46,{(36,1,x45)},p((x3,x46),(-15)))))),p((x2,3),(0)))))),fun(x47,{(6,4,1)},for(x48,{(25,x35)},for(x49,{(x47,2)},p((x49,x48),(1))))))),for(x50,{(x34,33)},for(x51,{(0,0)},fun(x52,{(15,0,1)},for(x53,{(x32,x33)},fun(x54,{(35,x53,1),(5,x31,-7),(2,3,0)},conc(p((9,6),(0)),p((x50,x54),(x53))))))))))))))))))))),for(x55,{(x7,32)},for(x56,{(0,0)},fun(x57,{(1,0,1)},for(x58,{(1,17)},fun(x59,{(53,x58,23)},p((x55,x59),(x56))))))))))))))))))))));goodness : 52.5818 distance to original : 3 time need : 13318 greatness : 270 idv : 64999
fun(x1,{(1,0,1)},fun(x2,{(1,25,1)},fun(x3,{(1,0,1)},for(x4,{(15,15)},for(x5,{(0,0)},fun(x6,{(3,1,1)},fun(x7,{(1,1,1)},fun(x8,{(1,1,1)},fun(x9,{(1,0,-16)},fun(x10,{(0,1,8)},fun(x11,{(x8,0,x3)},for(x12,{(0,0)},conc(for(x13,{(0,0)},fun(x14,{(6,4,1)},for(x15,{(23,x13)},for(x16,{(x14,2)},p((x16,x15),(-11)))))),conc(for(x17,{(x9,0)},fun(x18,{(0,1,-11)},fun(x19,{(-17,-11,1)},fun(x20,{(x7,-17,8)},conc(for(x21,{(x17,x10)},for(x22,{(0,10),(6,14)},fun(x23,{(1,1,1)},fun(x24,{(-3,x20,19)},fun(x25,{(x23,x18,1)},fun(x26,{(-15,47,-9),(35,x22,2)},p((x24,x26),(x19)))))))),fun(x27,{(1,0,1)},for(x28,{(0,x5)},fun(x29,{(1,7,x27)},fun(x30,{(1,2,1)},fun(x31,{(-10,-11,9)},fun(x32,{(0,2,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},conc(fun(x35,{(8,1,-14)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(p((28,x36),(0)),conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(1))))))),fun(x43,{(x4,1,1)},for(x44,{(-6,17)},fun(x45,{(18,-18,x44)},conc(p((x2,x45),(-15)),p((19,14),(35)))))))),p((24,3),(0)))))),fun(x46,{(6,4,1)},for(x47,{(25,x34)},for(x48,{(x46,2)},p((x48,x47),(1))))))),for(x49,{(x33,36)},for(x50,{(0,0)},fun(x51,{(15,0,1)},for(x52,{(x31,x32)},fun(x53,{(35,x52,1),(5,x30,-7),(2,3,x1)},p((x49,x53),(x52)))))))))))))))))))),for(x54,{(x6,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,17)},fun(x58,{(53,x57,23)},p((x54,x58),(x55)))))))))))))))))))));goodness : 55.6328 distance to original : 2 time need : 13265 greatness : 271 idv : 65468
fun(x1,{(1,8,1)},fun(x2,{(1,24,1)},fun(x3,{(1,25,1)},fun(x4,{(1,0,1)},for(x5,{(15,15)},for(x6,{(0,0)},fun(x7,{(3,1,1)},fun(x8,{(1,1,1)},fun(x9,{(1,1,1)},fun(x10,{(1,0,-16)},fun(x11,{(0,1,8)},fun(x12,{(x9,0,x4)},for(x13,{(0,0)},conc(for(x14,{(0,0)},fun(x15,{(6,4,1)},for(x16,{(23,x14)},for(x17,{(x15,2)},p((x17,x16),(1)))))),conc(for(x18,{(x10,0)},fun(x19,{(0,1,1)},fun(x20,{(-17,-11,1)},fun(x21,{(x8,-17,8)},conc(for(x22,{(x18,x11)},for(x23,{(0,10),(6,17)},fun(x24,{(1,1,1)},fun(x25,{(-3,x21,19)},fun(x26,{(x24,x19,6)},fun(x27,{(1,35,-9),(35,x23,2)},p((x25,x27),(x20)))))))),fun(x28,{(1,0,1)},for(x29,{(0,x6)},fun(x30,{(1,7,x28)},fun(x31,{(1,2,1)},fun(x32,{(-10,-11,9)},fun(x33,{(0,2,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},conc(fun(x36,{(x1,1,-14)},fun(x37,{(1,6,1)},for(x38,{(0,0)},conc(conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x36,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1))))))),fun(x44,{(x5,1,1)},for(x45,{(-6,17)},fun(x46,{(36,1,x45)},p((x3,x46),(-15)))))),p((x2,3),(0)))))),fun(x47,{(6,4,1)},for(x48,{(25,x35)},for(x49,{(x47,19)},p((x49,x48),(1))))))),for(x50,{(x34,33)},for(x51,{(0,0)},fun(x52,{(15,0,1)},for(x53,{(x32,x33)},fun(x54,{(35,x53,1),(5,x31,-7),(2,3,0)},conc(p((9,6),(0)),p((x50,x54),(x53))))))))))))))))))))),for(x55,{(x7,32)},for(x56,{(0,0)},fun(x57,{(1,0,1)},for(x58,{(1,17)},fun(x59,{(53,x58,23)},p((x55,x59),(x56))))))))))))))))))))));goodness : 57.971 distance to original : 3 time need : 11550 greatness : 270 idv : 66183
fun(x1,{(0,1,5)},for(x2,{(0,0)},fun(x3,{(1,25,1)},fun(x4,{(1,0,1)},for(x5,{(15,15)},for(x6,{(0,0)},fun(x7,{(3,1,1)},fun(x8,{(1,1,1)},fun(x9,{(1,1,-7)},fun(x10,{(1,0,-16)},fun(x11,{(0,1,8)},fun(x12,{(x9,0,x4)},for(x13,{(0,0)},conc(for(x14,{(0,0)},fun(x15,{(6,4,1)},for(x16,{(23,x14)},for(x17,{(x15,2)},p((x17,x16),(1)))))),conc(for(x18,{(x10,0)},fun(x19,{(0,1,-11)},fun(x20,{(-17,-11,1)},fun(x21,{(x8,-17,8)},fun(x22,{(1,0,1)},for(x23,{(x1,x6)},fun(x24,{(1,7,x22)},fun(x25,{(1,2,1)},fun(x26,{(-10,-11,9)},fun(x27,{(0,2,24)},fun(x28,{(1,x24,x23)},conc(for(x29,{(0,x2)},conc(fun(x30,{(8,1,-14)},fun(x31,{(1,6,1)},for(x32,{(0,0)},conc(conc(fun(x33,{(1,0,-8)},for(x34,{(0,x33)},fun(x35,{(1,x30,1),(6,3,1)},for(x36,{(26,x34)},for(x37,{(x35,2)},p((x37,x36),(1))))))),fun(x38,{(x5,1,1)},for(x39,{(-6,17)},fun(x40,{(18,1,x39)},conc(p((19,14),(35)),p((x3,x40),(-15))))))),p((24,3),(0)))))),fun(x41,{(6,4,1)},for(x42,{(25,x29)},for(x43,{(x41,2)},p((x43,x42),(1))))))),for(x44,{(x28,36)},for(x45,{(0,0)},fun(x46,{(15,0,1)},for(x47,{(x26,x27)},fun(x48,{(35,x47,1),(5,x25,-7),(2,3,0)},p((x44,x48),(x47))))))))))))))))))),for(x49,{(x7,32)},for(x50,{(0,0)},fun(x51,{(1,0,1)},for(x52,{(1,17)},fun(x53,{(53,x52,23)},p((x49,x53),(x50))))))))))))))))))))));goodness : 58.2479 distance to original : 2 time need : 12798 greatness : 237 idv : 68471
fun(x1,{(1,1,1)},fun(x2,{(0,1,6)},fun(x3,{(1,5,1)},fun(x4,{(1,0,1)},fun(x5,{(1,25,1)},fun(x6,{(1,0,1)},for(x7,{(15,15)},for(x8,{(0,0)},fun(x9,{(3,1,1)},fun(x10,{(1,1,1)},fun(x11,{(1,1,1)},fun(x12,{(1,0,-16)},fun(x13,{(x4,1,8)},fun(x14,{(x11,0,x6)},for(x15,{(0,0)},conc(for(x16,{(0,0)},fun(x17,{(6,4,1)},for(x18,{(23,x16)},for(x19,{(x17,13)},p((x19,x18),(1)))))),conc(for(x20,{(x12,0)},fun(x21,{(0,1,-11)},fun(x22,{(-17,-11,1)},fun(x23,{(x10,-10,8)},conc(for(x24,{(x20,x13)},for(x25,{(17,10),(6,14)},fun(x26,{(1,1,1)},fun(x27,{(-3,x23,19)},fun(x28,{(x26,x21,1)},fun(x29,{(1,35,-9),(35,x25,2)},p((x27,x29),(x22)))))))),fun(x30,{(x1,0,1)},for(x31,{(0,x8)},fun(x32,{(1,7,x30)},fun(x33,{(1,2,1)},fun(x34,{(-10,-11,-9)},fun(x35,{(0,2,x2)},fun(x36,{(1,x32,x31)},conc(for(x37,{(0,0)},conc(fun(x38,{(8,1,-14)},fun(x39,{(1,6,1)},for(x40,{(0,0)},conc(conc(fun(x41,{(1,0,-8)},for(x42,{(0,x41)},fun(x43,{(1,x38,1),(6,3,1)},for(x44,{(26,x42)},for(x45,{(x43,2)},p((x45,x44),(1))))))),fun(x46,{(x7,1,1)},for(x47,{(-6,17)},fun(x48,{(18,1,x47)},conc(p((19,14),(35)),p((x5,x48),(-15))))))),p((24,3),(0)))))),fun(x49,{(6,4,1)},for(x50,{(25,x37)},for(x51,{(x49,2)},p((x51,x50),(1))))))),for(x52,{(x36,28)},for(x53,{(0,0)},fun(x54,{(15,0,1)},for(x55,{(x34,x35)},fun(x56,{(35,x55,1),(x3,x33,-7),(2,3,0)},p((x52,x56),(x55)))))))))))))))))))),for(x57,{(x9,32)},for(x58,{(0,0)},fun(x59,{(1,0,1)},for(x60,{(1,17)},fun(x61,{(53,x60,23)},p((x57,x61),(x58))))))))))))))))))))))));goodness : 59.641 distance to original : 2 time need : 11987 greatness : 278 idv : 68962
fun(x1,{(1,8,1)},fun(x2,{(1,24,1)},fun(x3,{(1,25,1)},fun(x4,{(1,0,1)},for(x5,{(15,15)},for(x6,{(0,0)},fun(x7,{(-2,1,1)},fun(x8,{(1,1,1)},fun(x9,{(1,1,1)},fun(x10,{(1,0,-16)},fun(x11,{(0,1,8)},fun(x12,{(x9,0,x4)},for(x13,{(0,0)},conc(for(x14,{(0,0)},fun(x15,{(6,4,1)},for(x16,{(23,x14)},for(x17,{(x15,2)},p((x17,x16),(1)))))),conc(for(x18,{(x10,0)},fun(x19,{(0,1,1)},fun(x20,{(-17,-11,1)},fun(x21,{(x8,-17,8)},conc(for(x22,{(x18,x11)},for(x23,{(0,10),(6,17)},fun(x24,{(1,1,1)},fun(x25,{(-3,x21,19)},fun(x26,{(x24,x19,6)},fun(x27,{(1,35,-9),(35,x23,2)},p((x25,x27),(x20)))))))),fun(x28,{(1,0,1)},for(x29,{(0,x6)},fun(x30,{(1,7,x28)},fun(x31,{(1,2,1)},fun(x32,{(-10,-11,9)},fun(x33,{(0,2,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},conc(fun(x36,{(x1,1,-14)},fun(x37,{(1,6,1)},for(x38,{(0,0)},conc(conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x36,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1))))))),fun(x44,{(x5,1,1)},for(x45,{(-6,17)},fun(x46,{(36,1,x45)},p((x3,x46),(-15)))))),p((x2,3),(0)))))),fun(x47,{(6,4,1)},for(x48,{(25,x35)},for(x49,{(x47,19)},p((x49,x48),(1))))))),for(x50,{(x34,33)},for(x51,{(0,0)},fun(x52,{(15,0,1)},for(x53,{(x32,x33)},fun(x54,{(35,x53,1),(5,x31,-7),(2,3,0)},conc(p((9,6),(0)),p((x50,x54),(x53))))))))))))))))))))),for(x55,{(x7,32)},for(x56,{(0,0)},fun(x57,{(1,0,1)},for(x58,{(1,17)},fun(x59,{(53,x58,23)},p((x55,x59),(x56))))))))))))))))))))));goodness : 62.6566 distance to original : 1 time need : 12260 greatness : 270 idv : 69913
for(x1,{(0,0)},conc(fun(x2,{(0,1,5)},for(x3,{(0,0)},fun(x4,{(1,25,1)},fun(x5,{(1,0,1)},for(x6,{(15,15)},for(x7,{(0,0)},fun(x8,{(3,1,1)},fun(x9,{(1,1,1)},fun(x10,{(1,1,-7)},fun(x11,{(1,0,-16)},fun(x12,{(0,1,21)},fun(x13,{(x10,0,x5)},for(x14,{(0,0)},conc(for(x15,{(x11,0)},fun(x16,{(0,1,-11)},fun(x17,{(-17,-11,1)},fun(x18,{(x9,-17,-8)},conc(for(x19,{(x15,x12)},for(x20,{(0,10),(6,14)},fun(x21,{(1,1,1)},fun(x22,{(-3,x18,19)},fun(x23,{(x21,x16,1)},fun(x24,{(1,35,-11),(35,x20,2)},p((x22,x24),(x17)))))))),fun(x25,{(1,0,1)},for(x26,{(x2,x7)},fun(x27,{(1,7,x25)},fun(x28,{(1,2,1)},fun(x29,{(-10,-11,9)},fun(x30,{(0,2,24)},fun(x31,{(1,x27,x26)},conc(for(x32,{(0,x3)},conc(fun(x33,{(8,1,-14)},fun(x34,{(1,6,x1)},for(x35,{(0,0)},conc(conc(p((28,x34),(-20)),conc(fun(x36,{(1,0,-8)},for(x37,{(0,x36)},fun(x38,{(1,x33,1),(6,3,1)},for(x39,{(26,x37)},for(x40,{(x38,2)},p((x40,x39),(1))))))),fun(x41,{(x6,1,1)},for(x42,{(-6,17)},fun(x43,{(18,1,x42)},conc(conc(p((19,14),(35)),p((3,11),(1))),p((x4,x43),(-15)))))))),p((24,3),(0)))))),fun(x44,{(6,4,1)},for(x45,{(25,x32)},for(x46,{(x44,2)},p((x46,x45),(1))))))),for(x47,{(x31,36)},for(x48,{(0,0)},fun(x49,{(15,0,1)},for(x50,{(x29,x30)},fun(x51,{(35,x50,1),(5,x28,-7),(2,3,0)},p((x47,x51),(x50)))))))))))))))))))),for(x52,{(x8,32)},for(x53,{(0,0)},fun(x54,{(1,0,1)},for(x55,{(1,17)},fun(x56,{(53,x55,23)},p((x52,x56),(x53))))))))))))))))))))),p((27,23),(0))));goodness : 63.1194 distance to original : 2 time need : 11153 greatness : 269 idv : 71125
fun(x1,{(0,1,6)},fun(x2,{(1,1,1)},fun(x3,{(0,1,5)},for(x4,{(0,0)},fun(x5,{(1,25,1)},fun(x6,{(1,0,1)},for(x7,{(15,15)},for(x8,{(0,0)},fun(x9,{(3,1,1)},fun(x10,{(1,1,1)},fun(x11,{(x2,1,-7)},fun(x12,{(1,0,-16)},fun(x13,{(0,1,8)},fun(x14,{(x11,0,x6)},for(x15,{(0,0)},conc(for(x16,{(x12,0)},fun(x17,{(0,1,-11)},fun(x18,{(-17,-11,1)},fun(x19,{(x10,-17,8)},fun(x20,{(1,0,1)},for(x21,{(x3,x8)},fun(x22,{(1,7,x20)},fun(x23,{(1,2,1)},fun(x24,{(-10,-11,16)},fun(x25,{(0,2,24)},fun(x26,{(x1,x22,x21)},conc(for(x27,{(0,x4)},conc(fun(x28,{(8,1,-14)},fun(x29,{(1,6,1)},for(x30,{(0,0)},conc(conc(fun(x31,{(1,0,-8)},for(x32,{(0,x31)},fun(x33,{(1,x28,1),(6,3,1)},for(x34,{(26,x32)},for(x35,{(x33,2)},p((x35,x34),(1))))))),fun(x36,{(x7,1,1)},for(x37,{(-6,17)},fun(x38,{(18,1,x37)},conc(p((19,14),(35)),p((x5,x38),(-15))))))),p((24,3),(0)))))),fun(x39,{(6,4,1)},for(x40,{(25,x27)},for(x41,{(x39,2)},p((x41,x40),(1))))))),for(x42,{(x26,36)},for(x43,{(0,0)},fun(x44,{(15,0,1)},for(x45,{(x24,x25)},fun(x46,{(35,x45,1),(5,x23,-7),(2,3,0)},p((x42,x46),(x45))))))))))))))))))),for(x47,{(x9,32)},for(x48,{(0,0)},fun(x49,{(1,0,1)},for(x50,{(1,17)},fun(x51,{(53,x50,23)},p((x47,x51),(x48)))))))))))))))))))))));goodness : 67.3083 distance to original : 2 time need : 10587 greatness : 227 idv : 71698
fun(x1,{(0,1,6)},fun(x2,{(1,1,1)},fun(x3,{(0,1,5)},for(x4,{(0,0)},fun(x5,{(1,25,1)},fun(x6,{(1,0,1)},for(x7,{(15,15)},for(x8,{(0,0)},fun(x9,{(3,1,1)},fun(x10,{(1,1,1)},fun(x11,{(x2,1,-7)},fun(x12,{(1,0,-16)},fun(x13,{(0,1,8)},fun(x14,{(x11,0,x6)},for(x15,{(0,0)},conc(for(x16,{(x12,0)},fun(x17,{(0,1,-11)},fun(x18,{(-17,-11,1)},fun(x19,{(x10,-17,8)},fun(x20,{(1,0,1)},for(x21,{(x3,x8)},fun(x22,{(1,7,x20)},fun(x23,{(1,2,1)},fun(x24,{(-10,-11,16)},fun(x25,{(0,2,24)},fun(x26,{(x1,x22,x21)},conc(for(x27,{(0,x4)},conc(fun(x28,{(8,1,-14)},fun(x29,{(1,6,1)},for(x30,{(0,0)},conc(fun(x31,{(1,0,-8)},for(x32,{(0,x31)},fun(x33,{(1,x28,1),(6,3,1)},for(x34,{(26,x32)},for(x35,{(x33,2)},p((x35,x34),(1))))))),p((24,3),(0)))))),fun(x36,{(6,4,1)},for(x37,{(25,x27)},for(x38,{(x36,2)},p((x38,x37),(1))))))),for(x39,{(x26,36)},for(x40,{(0,0)},fun(x41,{(15,0,1)},for(x42,{(x24,x25)},fun(x43,{(35,x42,1),(5,x23,-7),(2,3,0)},p((x39,x43),(x42))))))))))))))))))),for(x44,{(x9,32)},for(x45,{(0,0)},fun(x46,{(1,0,1)},for(x47,{(1,17)},fun(x48,{(53,x47,23)},p((x44,x48),(x45)))))))))))))))))))))));goodness : 69.7885 distance to original : 2 time need : 10269 greatness : 206 idv : 72059
for(x1,{(9,9)},fun(x2,{(1,8,1)},fun(x3,{(1,24,1)},fun(x4,{(1,25,1)},fun(x5,{(1,0,1)},for(x6,{(15,15)},for(x7,{(0,0)},fun(x8,{(0,1,1)},fun(x9,{(1,1,1)},fun(x10,{(1,9,1)},fun(x11,{(1,0,-16)},fun(x12,{(0,1,8)},fun(x13,{(x10,0,x5)},for(x14,{(0,0)},conc(for(x15,{(x11,0)},fun(x16,{(0,1,1)},fun(x17,{(-17,-11,1)},fun(x18,{(x9,-27,8)},conc(for(x19,{(x15,x12)},for(x20,{(12,10),(6,17)},fun(x21,{(1,1,1)},fun(x22,{(-3,x18,19)},fun(x23,{(x21,x16,6)},fun(x24,{(1,35,-9),(35,x20,2)},p((x22,x24),(x17)))))))),fun(x25,{(1,0,1)},for(x26,{(0,x7)},fun(x27,{(1,7,x25)},fun(x28,{(1,2,1)},fun(x29,{(-10,-11,9)},fun(x30,{(0,2,35)},fun(x31,{(1,x27,x26)},conc(for(x32,{(0,0)},conc(fun(x33,{(x2,1,-14)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x33,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(1))))))),fun(x40,{(x6,1,1)},for(x41,{(-6,17)},fun(x42,{(36,1,x41)},p((x4,x42),(-15)))))),p((x3,3),(0))))),fun(x43,{(6,4,1)},for(x44,{(25,x32)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x31,33)},fun(x47,{(29,0,1)},for(x48,{(x29,x30)},fun(x49,{(35,x48,1),(5,x28,-7),(2,3,0)},conc(p((x1,6),(0)),p((x46,x49),(x48)))))))))))))))))))),for(x50,{(x8,32)},for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,17)},fun(x54,{(53,x53,23)},p((x50,x54),(x51))))))))))))))))))))));goodness : 76.9408 distance to original : 1 time need : 9517 greatness : 248 idv : 73176
fun(x1,{(1,0,1)},for(x2,{(5,5)},fun(x3,{(0,1,0)},fun(x4,{(0,1,5)},fun(x5,{(0,1,6)},fun(x6,{(1,1,1)},fun(x7,{(x4,1,5)},for(x8,{(0,0)},fun(x9,{(1,25,x3)},fun(x10,{(1,0,1)},for(x11,{(15,15)},for(x12,{(0,0)},fun(x13,{(3,-16,1)},fun(x14,{(1,1,1)},fun(x15,{(x6,1,-3)},fun(x16,{(1,0,-16)},fun(x17,{(0,1,8)},fun(x18,{(x15,0,x10)},for(x19,{(0,0)},conc(for(x20,{(x16,0)},fun(x21,{(0,1,-11)},fun(x22,{(-17,-11,1)},fun(x23,{(x14,-17,8)},fun(x24,{(1,0,1)},for(x25,{(x7,x12)},fun(x26,{(1,7,x24)},fun(x27,{(1,2,1)},fun(x28,{(-10,-11,16)},fun(x29,{(0,2,24)},fun(x30,{(x5,x26,x25)},conc(for(x31,{(0,x8)},conc(fun(x32,{(8,1,-14)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(1))))))),p((24,3),(0)))))),fun(x40,{(6,4,1)},for(x41,{(25,x31)},for(x42,{(x40,2)},p((x42,x41),(1))))))),for(x43,{(x30,36)},for(x44,{(0,0)},fun(x45,{(15,0,1)},for(x46,{(x28,x29)},fun(x47,{(35,x46,1),(x2,x27,-7),(2,3,0)},p((x43,x47),(x46))))))))))))))))))),for(x48,{(x13,32)},for(x49,{(0,0)},fun(x50,{(1,0,1)},for(x51,{(1,17)},fun(x52,{(53,x51,23)},p((x48,x52),(x49)))))))))))))))))))))))))));goodness : 77.4114 distance to original : 0 time need : 10708 greatness : 221 idv : 76451
fun(x1,{(0,1,2)},fun(x2,{(1,-17,1)},fun(x3,{(0,1,6)},fun(x4,{(1,1,1)},fun(x5,{(0,1,5)},for(x6,{(0,0)},fun(x7,{(1,25,1)},fun(x8,{(1,0,1)},for(x9,{(15,15)},for(x10,{(0,0)},fun(x11,{(3,-6,-2)},fun(x12,{(1,1,1)},fun(x13,{(x4,1,-7)},fun(x14,{(1,0,-16)},fun(x15,{(0,1,8)},fun(x16,{(x13,0,x8)},for(x17,{(0,0)},conc(for(x18,{(x14,0)},fun(x19,{(0,1,-11)},fun(x20,{(x2,-11,1)},fun(x21,{(x12,-17,8)},fun(x22,{(1,0,1)},for(x23,{(x5,x10)},fun(x24,{(1,7,x22)},fun(x25,{(1,2,1)},fun(x26,{(-10,-11,16)},fun(x27,{(0,2,24)},fun(x28,{(x3,x24,x23)},conc(for(x29,{(0,x6)},conc(fun(x30,{(8,1,-14)},fun(x31,{(1,6,1)},for(x32,{(0,0)},conc(fun(x33,{(8,0,-8)},for(x34,{(0,x33)},fun(x35,{(1,x30,1),(6,3,1)},for(x36,{(26,x34)},for(x37,{(x35,2)},p((x37,x36),(1))))))),p((24,3),(0)))))),fun(x38,{(6,4,1)},for(x39,{(25,x29)},for(x40,{(x38,2)},p((x40,x39),(1))))))),for(x41,{(x28,36)},for(x42,{(x1,0)},fun(x43,{(15,0,1)},for(x44,{(x26,x27)},fun(x45,{(35,x44,1),(5,x25,-7),(2,3,0)},p((x41,x45),(x44))))))))))))))))))),for(x46,{(x11,32)},for(x47,{(0,0)},fun(x48,{(18,0,1)},for(x49,{(1,17)},fun(x50,{(53,x49,23)},p((x46,x50),(x47)))))))))))))))))))))))));goodness : 77.8634 distance to original : 0 time need : 10703 greatness : 214 idv : 78805
fun(x1,{(1,0,1)},fun(x2,{(1,1,4)},fun(x3,{(1,1,3)},fun(x4,{(1,8,1)},fun(x5,{(1,24,1)},fun(x6,{(1,25,1)},fun(x7,{(1,0,1)},for(x8,{(15,15)},for(x9,{(0,0)},fun(x10,{(3,-3,1)},fun(x11,{(1,1,1)},fun(x12,{(1,1,1)},fun(x13,{(1,0,-16)},fun(x14,{(0,1,8)},fun(x15,{(x12,0,x7)},for(x16,{(0,0)},conc(for(x17,{(x13,0)},fun(x18,{(0,1,1)},fun(x19,{(-17,-11,1)},fun(x20,{(x11,-17,8)},conc(for(x21,{(x17,x14)},for(x22,{(0,10),(6,17)},fun(x23,{(1,1,-13)},fun(x24,{(-3,x20,19)},fun(x25,{(x23,x18,6)},fun(x26,{(x3,35,-9),(35,x22,2)},p((x24,x26),(x19)))))))),fun(x27,{(1,0,1)},for(x28,{(0,x9)},fun(x29,{(1,20,x27)},fun(x30,{(1,2,1)},fun(x31,{(-10,-11,x1)},fun(x32,{(0,2,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},conc(fun(x35,{(x4,1,-14)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x2))))))),fun(x43,{(x8,1,1)},for(x44,{(-6,17)},fun(x45,{(36,1,x44)},p((x6,x45),(-15)))))),p((x5,17),(0)))))),fun(x46,{(6,4,1)},for(x47,{(25,x34)},for(x48,{(x46,19)},p((x48,x47),(1))))))),for(x49,{(x33,33)},for(x50,{(0,0)},fun(x51,{(15,0,1)},for(x52,{(x31,x32)},fun(x53,{(35,x52,1),(5,x30,-7),(2,3,0)},p((x49,x53),(x52)))))))))))))))))))),for(x54,{(x10,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,17)},fun(x58,{(53,x57,23)},p((x54,x58),(x55))))))))))))))))))))))));goodness : 82.1423 distance to original : 0 time need : 9584 greatness : 259 idv : 79444
fun(x1,{(1,0,1)},fun(x2,{(1,1,4)},fun(x3,{(1,1,3)},fun(x4,{(1,8,1)},fun(x5,{(1,24,1)},fun(x6,{(1,25,1)},fun(x7,{(1,0,1)},for(x8,{(15,15)},for(x9,{(0,0)},fun(x10,{(3,-3,1)},fun(x11,{(1,1,1)},fun(x12,{(1,1,1)},fun(x13,{(1,0,-16)},fun(x14,{(0,1,8)},fun(x15,{(x12,0,x7)},for(x16,{(0,0)},conc(for(x17,{(x13,0)},fun(x18,{(0,1,1)},fun(x19,{(-17,-11,1)},fun(x20,{(x11,-17,8)},fun(x21,{(1,0,1)},for(x22,{(0,x9)},fun(x23,{(1,20,x21)},fun(x24,{(1,2,1)},fun(x25,{(-10,-11,x1)},fun(x26,{(0,2,24)},fun(x27,{(1,x23,x22)},conc(for(x28,{(0,0)},conc(fun(x29,{(x4,1,-14)},fun(x30,{(1,6,1)},for(x31,{(0,0)},conc(conc(fun(x32,{(1,0,-8)},for(x33,{(0,x32)},fun(x34,{(1,x29,1),(6,3,1)},for(x35,{(26,x33)},for(x36,{(x34,2)},p((x36,x35),(x2))))))),fun(x37,{(x8,1,1)},for(x38,{(-6,17)},fun(x39,{(36,1,x38)},p((x6,x39),(-15)))))),p((x5,17),(0)))))),fun(x40,{(6,4,1)},for(x41,{(25,x28)},for(x42,{(x40,19)},p((x42,x41),(1))))))),for(x43,{(x27,33)},for(x44,{(0,0)},fun(x45,{(15,0,1)},for(x46,{(x25,x26)},fun(x47,{(35,x46,1),(5,x24,-7),(2,3,0)},p((x43,x47),(x46))))))))))))))))))),for(x48,{(x10,32)},for(x49,{(0,0)},fun(x50,{(1,0,1)},for(x51,{(1,17)},fun(x52,{(53,x51,23)},p((x48,x52),(x49))))))))))))))))))))))));goodness : 88.3236 distance to original : 0 time need : 9052 greatness : 227 idv : 80200
for(x1,{(1,1)},fun(x2,{(1,0,1)},for(x3,{(5,5)},fun(x4,{(0,1,0)},fun(x5,{(0,1,5)},fun(x6,{(0,1,6)},fun(x7,{(8,1,1)},fun(x8,{(x5,1,5)},for(x9,{(0,0)},fun(x10,{(1,25,x4)},fun(x11,{(1,0,1)},for(x12,{(0,0)},fun(x13,{(3,-16,1)},fun(x14,{(1,1,1)},fun(x15,{(x7,1,-3)},fun(x16,{(1,0,-16)},fun(x17,{(x15,0,x11)},for(x18,{(0,0)},conc(for(x19,{(x16,0)},fun(x20,{(0,x1,-11)},fun(x21,{(-17,-11,1)},fun(x22,{(x14,-17,8)},fun(x23,{(1,0,1)},for(x24,{(x8,x12)},fun(x25,{(1,7,x23)},fun(x26,{(1,2,1)},fun(x27,{(-10,-11,16)},fun(x28,{(0,2,24)},fun(x29,{(x6,x25,x24)},conc(for(x30,{(0,x9)},conc(fun(x31,{(8,1,0)},fun(x32,{(1,6,1)},for(x33,{(0,0)},conc(fun(x34,{(1,0,-8)},for(x35,{(0,x34)},fun(x36,{(1,x31,1),(6,3,1)},for(x37,{(26,x35)},for(x38,{(x36,2)},p((x38,x37),(1))))))),p((24,3),(0)))))),fun(x39,{(6,4,1)},for(x40,{(6,x30)},for(x41,{(x39,2)},p((x41,x40),(1))))))),for(x42,{(x29,36)},for(x43,{(0,0)},fun(x44,{(15,0,1)},for(x45,{(x27,x28)},fun(x46,{(35,x45,1),(x3,x26,-7),(2,3,0)},p((x42,x46),(x45))))))))))))))))))),for(x47,{(x13,32)},for(x48,{(0,0)},fun(x49,{(1,0,1)},for(x50,{(1,17)},fun(x51,{(53,x50,23)},p((x47,x51),(x48))))))))))))))))))))))))));goodness : 90.0333 distance to original : 0 time need : 8937 greatness : 217 idv : 82950
fun(x1,{(1,0,1)},fun(x2,{(1,1,4)},fun(x3,{(1,1,3)},fun(x4,{(1,8,1)},fun(x5,{(1,24,1)},fun(x6,{(1,25,1)},fun(x7,{(1,0,1)},for(x8,{(15,15)},for(x9,{(0,0)},fun(x10,{(3,-3,1)},fun(x11,{(1,1,1)},fun(x12,{(1,1,1)},fun(x13,{(1,0,-16)},fun(x14,{(0,1,8)},fun(x15,{(x12,0,x7)},for(x16,{(0,0)},conc(for(x17,{(x13,0)},fun(x18,{(0,1,1)},fun(x19,{(-17,-11,1)},fun(x20,{(x11,-17,8)},conc(for(x21,{(x17,x14)},for(x22,{(0,10),(6,17)},fun(x23,{(1,1,-13)},fun(x24,{(-3,x20,19)},fun(x25,{(x23,x18,6)},fun(x26,{(x3,35,-9),(35,x22,2)},p((x24,x26),(x19)))))))),fun(x27,{(1,0,1)},for(x28,{(0,x9)},fun(x29,{(-17,20,x27)},fun(x30,{(1,2,1)},fun(x31,{(-7,-11,x1)},fun(x32,{(0,2,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},conc(fun(x35,{(x4,1,-14)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x2))))))),fun(x43,{(x8,1,1)},for(x44,{(-6,17)},fun(x45,{(36,1,x44)},p((x6,x45),(-15)))))),p((x5,17),(0)))))),fun(x46,{(6,4,1)},for(x47,{(25,x34)},for(x48,{(x46,19)},p((x48,x47),(1))))))),for(x49,{(x33,33)},for(x50,{(0,0)},fun(x51,{(15,-4,1)},for(x52,{(x31,x32)},fun(x53,{(35,x52,1),(0,x30,-7),(2,3,0)},p((x49,x53),(x52)))))))))))))))))))),for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(1,17)},fun(x57,{(53,x56,23)},for(x58,{(x10,32)},p((x58,x57),(x54))))))))))))))))))))))));goodness : 101.605 distance to original : 0 time need : 7252 greatness : 259 idv : 85518
fun(x1,{(1,0,1)},for(x2,{(0,0)},fun(x3,{(1,1,8)},fun(x4,{(1,0,1)},for(x5,{(9,9)},fun(x6,{(1,8,1)},fun(x7,{(1,24,-17)},fun(x8,{(1,25,1)},fun(x9,{(1,x2,1)},for(x10,{(15,15)},for(x11,{(0,0)},fun(x12,{(0,11,-8)},fun(x13,{(1,1,1)},fun(x14,{(1,9,1)},fun(x15,{(1,x1,-16)},fun(x16,{(0,1,8)},fun(x17,{(x14,0,x9)},for(x18,{(0,0)},conc(for(x19,{(x15,0)},fun(x20,{(0,1,1)},fun(x21,{(-17,-24,1)},fun(x22,{(x13,-27,8)},conc(for(x23,{(x19,x16)},for(x24,{(12,10),(6,17)},fun(x25,{(1,1,1)},fun(x26,{(-3,x22,19)},fun(x27,{(x25,x20,6)},fun(x28,{(1,35,-9),(35,x24,2)},p((x26,x28),(x21)))))))),fun(x29,{(1,0,1)},for(x30,{(0,x11)},fun(x31,{(1,7,x29)},fun(x32,{(1,2,1)},fun(x33,{(-10,-11,9)},fun(x34,{(0,2,27)},fun(x35,{(1,x31,x30)},conc(for(x36,{(0,0)},conc(fun(x37,{(x6,1,-14)},for(x38,{(0,0)},conc(conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x37,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(1))))))),fun(x44,{(x10,x3,1)},for(x45,{(-6,17)},fun(x46,{(36,1,x45)},p((x8,x46),(-15)))))),p((x7,3),(0))))),fun(x47,{(6,4,1)},for(x48,{(x4,x36)},for(x49,{(x47,19)},p((x49,x48),(1))))))),for(x50,{(x35,33)},fun(x51,{(29,0,1)},for(x52,{(x33,x34)},fun(x53,{(35,x52,1),(5,x32,-7),(2,3,0)},p((x50,x53),(x52))))))))))))))))))),for(x54,{(x12,32)},for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,11)},fun(x58,{(53,x57,23)},p((x54,x58),(x55))))))))))))))))))))))))));goodness : 102.712 distance to original : 0 time need : 7156 greatness : 258 idv : 88047
for(x1,{(0,0)},fun(x2,{(1,2,1)},fun(x3,{(1,0,1)},fun(x4,{(1,1,4)},fun(x5,{(1,1,3)},fun(x6,{(1,8,1)},fun(x7,{(1,24,1)},fun(x8,{(1,25,1)},fun(x9,{(1,0,1)},for(x10,{(15,15)},for(x11,{(0,0)},fun(x12,{(3,-3,1)},fun(x13,{(1,1,1)},fun(x14,{(1,1,1)},fun(x15,{(1,0,-16)},fun(x16,{(0,1,8)},fun(x17,{(x14,0,x9)},for(x18,{(0,0)},conc(for(x19,{(x15,0)},fun(x20,{(0,1,1)},fun(x21,{(-17,-11,1)},fun(x22,{(x13,-17,8)},fun(x23,{(1,0,1)},for(x24,{(0,x11)},fun(x25,{(-17,20,x23)},fun(x26,{(1,x2,1)},fun(x27,{(-7,-11,x3)},fun(x28,{(0,2,24)},fun(x29,{(1,x25,x24)},conc(for(x30,{(0,0)},conc(fun(x31,{(x6,1,-14)},fun(x32,{(1,6,1)},for(x33,{(0,0)},conc(conc(fun(x34,{(1,0,-8)},for(x35,{(0,x34)},fun(x36,{(1,x31,1),(6,3,1)},for(x37,{(26,x35)},for(x38,{(x36,2)},p((x38,x37),(x4))))))),fun(x39,{(x10,1,1)},for(x40,{(-6,17)},fun(x41,{(36,1,x40)},p((x8,x41),(-15)))))),p((x7,17),(0)))))),fun(x42,{(6,4,1)},for(x43,{(25,x30)},for(x44,{(x42,19)},p((x44,x43),(1))))))),for(x45,{(x29,33)},for(x46,{(0,0)},fun(x47,{(15,-4,-1)},for(x48,{(x27,x28)},fun(x49,{(35,x48,1),(15,x26,-7),(2,3,0)},p((x45,x49),(x48))))))))))))))))))),for(x50,{(0,0)},fun(x51,{(1,0,1)},for(x52,{(1,17)},fun(x53,{(53,x52,23)},for(x54,{(x12,32)},p((x54,x53),(x50))))))))))))))))))))))))));goodness : 110.314 distance to original : 0 time need : 6725 greatness : 234 idv : 89216
for(x1,{(0,0)},for(x2,{(0,0)},fun(x3,{(1,2,1)},fun(x4,{(1,0,1)},fun(x5,{(1,1,4)},fun(x6,{(1,1,3)},fun(x7,{(1,8,1)},fun(x8,{(1,24,-18)},fun(x9,{(1,25,1)},fun(x10,{(1,0,1)},for(x11,{(15,15)},for(x12,{(0,0)},fun(x13,{(3,-3,1)},fun(x14,{(1,1,1)},fun(x15,{(1,1,1)},fun(x16,{(1,0,-16)},fun(x17,{(0,1,25)},fun(x18,{(x15,0,x10)},for(x19,{(0,0)},conc(for(x20,{(x16,0)},fun(x21,{(0,1,1)},fun(x22,{(-17,-11,1)},fun(x23,{(x14,-17,8)},fun(x24,{(1,0,1)},for(x25,{(0,x12)},fun(x26,{(-17,20,x24)},fun(x27,{(1,x3,1)},fun(x28,{(-7,-11,x4)},fun(x29,{(0,2,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(x7,1,-14)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(x5))))))),fun(x40,{(x11,1,1)},for(x41,{(-6,x1)},fun(x42,{(36,1,x41)},p((x9,x42),(-15)))))),p((x8,17),(0)))))),fun(x43,{(6,4,1)},for(x44,{(25,x31)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x30,33)},for(x47,{(0,0)},fun(x48,{(15,-4,-1)},for(x49,{(x28,x29)},fun(x50,{(35,x49,1),(15,x27,-7),(2,3,0)},p((x46,x50),(x49))))))))))))))))))),for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,17)},fun(x54,{(53,x53,23)},for(x55,{(x13,32)},p((x55,x54),(x51)))))))))))))))))))))))))));goodness : 111.607 distance to original : 0 time need : 6590 greatness : 237 idv : 94726
for(x1,{(0,0)},for(x2,{(0,0)},fun(x3,{(1,2,1)},fun(x4,{(1,0,1)},fun(x5,{(1,1,4)},fun(x6,{(1,1,3)},fun(x7,{(1,8,1)},fun(x8,{(1,24,-18)},fun(x9,{(1,25,1)},fun(x10,{(1,0,1)},for(x11,{(15,15)},for(x12,{(0,0)},fun(x13,{(3,-3,1)},fun(x14,{(1,1,1)},fun(x15,{(1,1,1)},fun(x16,{(1,0,-16)},fun(x17,{(0,1,25)},fun(x18,{(x15,0,x10)},for(x19,{(0,0)},conc(for(x20,{(x16,0)},fun(x21,{(0,1,1)},fun(x22,{(-17,-11,1)},fun(x23,{(x14,-17,8)},fun(x24,{(1,0,1)},for(x25,{(0,x12)},fun(x26,{(-17,20,x24)},fun(x27,{(1,x3,1)},fun(x28,{(-7,-11,x4)},fun(x29,{(0,2,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(x7,1,-14)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(x5))))))),fun(x40,{(x11,1,1)},for(x41,{(-6,x1)},fun(x42,{(36,1,x41)},p((x9,x42),(-15)))))),p((x8,17),(0)))))),fun(x43,{(6,4,1)},for(x44,{(25,x31)},for(x45,{(x43,22)},p((x45,x44),(1))))))),for(x46,{(x30,33)},for(x47,{(0,0)},fun(x48,{(15,-4,-1)},for(x49,{(x28,x29)},fun(x50,{(35,x49,1),(15,x27,-7),(2,3,0)},p((x46,x50),(x49))))))))))))))))))),for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,17)},fun(x54,{(53,x53,23)},for(x55,{(x13,32)},p((x55,x54),(x51)))))))))))))))))))))))))));goodness : 115.634 distance to original : 0 time need : 6278 greatness : 237 idv : 95754
fun(x1,{(1,1,1)},fun(x2,{(25,1,6)},fun(x3,{(1,0,1)},fun(x4,{(1,0,1)},for(x5,{(9,9)},fun(x6,{(1,8,1)},fun(x7,{(1,24,1)},fun(x8,{(1,x2,1)},fun(x9,{(1,0,1)},for(x10,{(15,15)},for(x11,{(0,0)},fun(x12,{(0,1,-21)},fun(x13,{(1,1,1)},fun(x14,{(1,9,1)},fun(x15,{(1,0,-16)},fun(x16,{(0,x1,8)},fun(x17,{(x14,0,x9)},for(x18,{(0,0)},conc(for(x19,{(x15,x4)},fun(x20,{(0,-12,1)},fun(x21,{(-17,-20,1)},fun(x22,{(x13,-27,8)},fun(x23,{(18,0,-8)},for(x24,{(0,x11)},fun(x25,{(1,7,x23)},fun(x26,{(1,2,17)},fun(x27,{(-9,-11,9)},fun(x28,{(0,14,35)},fun(x29,{(1,x25,x24)},conc(for(x30,{(0,0)},conc(fun(x31,{(x6,1,-14)},for(x32,{(0,x3)},conc(conc(fun(x33,{(1,0,-8)},for(x34,{(0,x33)},fun(x35,{(1,x31,1),(6,3,1)},for(x36,{(26,x34)},for(x37,{(x35,2)},p((x37,x36),(1))))))),fun(x38,{(x10,1,1)},for(x39,{(-7,17)},fun(x40,{(36,1,x39)},p((x8,x40),(-15)))))),p((x7,3),(0))))),fun(x41,{(6,4,1)},for(x42,{(11,x30)},for(x43,{(x41,17)},p((x43,x42),(1))))))),for(x44,{(x29,33)},fun(x45,{(29,0,1)},for(x46,{(x27,x28)},fun(x47,{(35,x46,1),(5,x26,-7),(2,3,0)},p((x44,x47),(x46)))))))))))))))))),for(x48,{(x12,32)},for(x49,{(0,0)},fun(x50,{(1,0,1)},for(x51,{(1,6)},fun(x52,{(53,x51,23)},p((x48,x52),(x49))))))))))))))))))))))))));goodness : 122.85 distance to original : 0 time need : 5870 greatness : 227 idv : 96258
fun(x1,{(1,1,1)},fun(x2,{(25,1,6)},fun(x3,{(1,0,1)},fun(x4,{(1,0,1)},for(x5,{(9,9)},fun(x6,{(1,8,1)},fun(x7,{(1,24,1)},fun(x8,{(1,x2,1)},fun(x9,{(1,0,1)},for(x10,{(15,15)},for(x11,{(0,0)},fun(x12,{(0,1,-21)},fun(x13,{(1,1,1)},fun(x14,{(1,9,1)},fun(x15,{(1,0,-16)},fun(x16,{(0,x1,8)},fun(x17,{(x14,0,x9)},for(x18,{(0,0)},conc(for(x19,{(x15,x4)},fun(x20,{(0,-12,1)},fun(x21,{(-17,-20,1)},fun(x22,{(x13,-27,8)},fun(x23,{(18,0,-8)},for(x24,{(0,x11)},fun(x25,{(1,7,x23)},fun(x26,{(1,2,17)},fun(x27,{(-9,-11,9)},fun(x28,{(0,14,35)},fun(x29,{(1,x25,x24)},conc(for(x30,{(0,0)},conc(fun(x31,{(x6,1,-14)},for(x32,{(0,x3)},conc(fun(x33,{(1,0,-8)},for(x34,{(0,x33)},fun(x35,{(1,x31,1),(6,3,1)},for(x36,{(26,x34)},for(x37,{(x35,2)},p((x37,x36),(1))))))),fun(x38,{(x10,1,1)},for(x39,{(-7,17)},fun(x40,{(36,1,x39)},p((x8,x40),(-15)))))))),fun(x41,{(6,4,1)},for(x42,{(11,x30)},for(x43,{(x41,17)},p((x43,x42),(1))))))),for(x44,{(x29,33)},fun(x45,{(29,0,1)},for(x46,{(x27,x28)},fun(x47,{(35,x46,1),(5,x26,-7),(2,3,0)},p((x44,x47),(x46)))))))))))))))))),for(x48,{(x12,32)},for(x49,{(0,0)},fun(x50,{(1,0,1)},for(x51,{(1,6)},fun(x52,{(53,x51,23)},p((x48,x52),(x49))))))))))))))))))))))))));goodness : 123.686 distance to original : 0 time need : 5865 greatness : 222 idv : 100992
fun(x1,{(1,1,1)},fun(x2,{(1,15,1)},fun(x3,{(-17,1,4)},for(x4,{(0,0)},fun(x5,{(1,2,1)},fun(x6,{(1,0,1)},fun(x7,{(1,1,4)},fun(x8,{(1,1,3)},fun(x9,{(1,8,1)},fun(x10,{(1,29,1)},fun(x11,{(1,25,1)},fun(x12,{(1,0,1)},for(x13,{(15,15)},for(x14,{(0,0)},fun(x15,{(3,-3,1)},fun(x16,{(1,1,10)},fun(x17,{(1,1,1)},fun(x18,{(-10,0,-16)},fun(x19,{(0,1,8)},fun(x20,{(x17,0,x12)},for(x21,{(0,0)},conc(for(x22,{(x18,0)},fun(x23,{(x3,-11,1)},fun(x24,{(1,0,1)},for(x25,{(0,x14)},fun(x26,{(-17,20,x24)},fun(x27,{(1,x5,1)},fun(x28,{(-7,-11,x6)},fun(x29,{(0,2,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(x9,1,-14)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(x7))))))),fun(x40,{(x13,1,1)},for(x41,{(-6,17)},fun(x42,{(51,1,x41)},p((x11,x42),(-15)))))),p((x10,17),(0)))))),fun(x43,{(6,4,1)},for(x44,{(25,x31)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x30,33)},for(x47,{(0,0)},for(x48,{(x28,x29)},fun(x49,{(35,x48,1),(5,x27,-7),(2,3,0)},p((x46,x49),(x48)))))))))))))))),for(x50,{(0,0)},fun(x51,{(x1,-9,11)},for(x52,{(1,8)},fun(x53,{(53,x52,23)},for(x54,{(x15,32)},p((x54,x53),(x50)))))))))))))))))))))))))))));goodness : 129.87 distance to original : 0 time need : 5360 greatness : 234 idv : 109127
fun(x1,{(1,1,1)},fun(x2,{(1,15,1)},fun(x3,{(-17,1,4)},for(x4,{(0,0)},fun(x5,{(1,2,1)},fun(x6,{(1,0,1)},fun(x7,{(1,1,4)},fun(x8,{(1,1,3)},fun(x9,{(1,8,1)},fun(x10,{(1,29,1)},fun(x11,{(1,25,1)},fun(x12,{(1,0,1)},for(x13,{(15,15)},for(x14,{(0,0)},fun(x15,{(3,-3,1)},fun(x16,{(1,1,10)},fun(x17,{(1,1,1)},fun(x18,{(-10,0,-16)},fun(x19,{(0,1,8)},fun(x20,{(x17,0,x12)},for(x21,{(0,0)},conc(for(x22,{(x18,0)},fun(x23,{(x3,-11,1)},fun(x24,{(1,0,1)},for(x25,{(0,x14)},fun(x26,{(-17,20,x24)},fun(x27,{(1,x5,1)},fun(x28,{(-7,-11,x6)},fun(x29,{(0,2,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(x9,1,-14)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(x7))))))),fun(x40,{(x13,1,1)},for(x41,{(3,17)},fun(x42,{(51,1,x41)},p((x11,x42),(-15)))))),p((x10,17),(0)))))),fun(x43,{(6,4,1)},for(x44,{(25,x31)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x30,33)},for(x47,{(0,0)},for(x48,{(x28,x29)},fun(x49,{(35,x48,1),(5,x27,-7),(2,3,0)},p((x46,x49),(x48)))))))))))))))),for(x50,{(0,0)},fun(x51,{(x1,-9,11)},for(x52,{(1,8)},fun(x53,{(53,x52,23)},for(x54,{(x15,32)},p((x54,x53),(x50)))))))))))))))))))))))))))));goodness : 131.096 distance to original : 0 time need : 5288 greatness : 234 idv : 112543
fun(x1,{(-4,0,1)},fun(x2,{(1,0,1)},fun(x3,{(1,2,1)},for(x4,{(0,0)},for(x5,{(0,0)},fun(x6,{(1,2,1)},fun(x7,{(1,-2,1)},fun(x8,{(1,1,4)},fun(x9,{(1,1,3)},fun(x10,{(1,8,1)},fun(x11,{(1,24,-18)},fun(x12,{(1,25,1)},fun(x13,{(1,0,1)},for(x14,{(15,15)},for(x15,{(0,0)},fun(x16,{(3,-3,1)},fun(x17,{(1,-13,1)},fun(x18,{(1,1,1)},fun(x19,{(1,0,-16)},fun(x20,{(0,1,x1)},fun(x21,{(x18,0,x13)},for(x22,{(0,0)},conc(for(x23,{(x19,x2)},fun(x24,{(0,1,-2)},fun(x25,{(x17,-17,8)},fun(x26,{(-3,0,1)},for(x27,{(0,x15)},fun(x28,{(-17,20,x26)},fun(x29,{(1,x6,1)},fun(x30,{(-3,-11,x7)},fun(x31,{(0,x3,24)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(x10,1,-17)},fun(x35,{(1,6,1)},for(x36,{(0,0)},conc(conc(fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x34,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(x8))))))),fun(x42,{(x14,1,1)},for(x43,{(-6,x4)},fun(x44,{(36,1,x43)},p((x12,x44),(-15)))))),p((x11,17),(0)))))),fun(x45,{(6,4,1)},for(x46,{(25,x33)},for(x47,{(x45,19)},p((x47,x46),(1))))))),for(x48,{(x32,33)},for(x49,{(0,0)},fun(x50,{(15,-4,5)},for(x51,{(x30,x31)},fun(x52,{(35,x51,1),(15,x29,-7),(2,3,0)},p((x48,x52),(x51)))))))))))))))))),for(x53,{(0,0)},fun(x54,{(1,0,1)},for(x55,{(1,6)},fun(x56,{(53,x55,23)},for(x57,{(x16,32)},p((x57,x56),(x53))))))))))))))))))))))))))))));goodness : 132.608 distance to original : 0 time need : 5091 greatness : 245 idv : 113334
fun(x1,{(0,1,2)},fun(x2,{(-4,0,1)},fun(x3,{(1,0,1)},fun(x4,{(1,2,1)},for(x5,{(0,0)},fun(x6,{(1,2,1)},fun(x7,{(1,-2,1)},fun(x8,{(1,1,4)},fun(x9,{(1,8,1)},fun(x10,{(1,24,-18)},fun(x11,{(1,25,1)},fun(x12,{(1,0,1)},for(x13,{(15,15)},for(x14,{(0,0)},fun(x15,{(3,-3,1)},fun(x16,{(1,-13,1)},fun(x17,{(1,1,8)},fun(x18,{(1,0,-16)},fun(x19,{(0,1,x2)},fun(x20,{(x17,7,x12)},for(x21,{(0,0)},conc(for(x22,{(x18,x3)},fun(x23,{(x16,-17,8)},fun(x24,{(-3,0,1)},for(x25,{(0,x14)},fun(x26,{(-17,20,x24)},fun(x27,{(1,x6,1)},fun(x28,{(-3,-11,x7)},fun(x29,{(0,x4,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(x9,1,-17)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(x8))))))),fun(x40,{(x13,1,1)},for(x41,{(-6,x5)},fun(x42,{(36,1,x41)},p((x11,x42),(-15)))))),p((x10,17),(0)))))),fun(x43,{(6,4,1)},for(x44,{(25,x31)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x30,33)},for(x47,{(0,0)},fun(x48,{(15,-4,5)},for(x49,{(x28,x29)},fun(x50,{(35,x49,-14),(15,x27,-7),(2,3,0)},p((x46,x50),(x49))))))))))))))))),for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,6)},fun(x54,{(53,x53,23)},for(x55,{(x15,32)},p((x55,x54),(x51)))))))))))))))))))))))))))));goodness : 133.941 distance to original : 0 time need : 5086 greatness : 238 idv : 116656
fun(x1,{(1,0,1)},fun(x2,{(0,1,2)},fun(x3,{(-4,0,1)},fun(x4,{(1,0,1)},fun(x5,{(1,2,1)},for(x6,{(0,0)},fun(x7,{(1,2,1)},fun(x8,{(1,-2,1)},fun(x9,{(1,1,4)},fun(x10,{(1,8,1)},fun(x11,{(1,24,-18)},fun(x12,{(1,25,1)},fun(x13,{(1,0,1)},for(x14,{(15,15)},for(x15,{(0,0)},fun(x16,{(3,-3,1)},fun(x17,{(1,-13,1)},fun(x18,{(1,1,8)},fun(x19,{(1,0,-34)},fun(x20,{(0,1,x3)},fun(x21,{(x18,7,x13)},for(x22,{(0,0)},conc(for(x23,{(x19,x4)},fun(x24,{(x17,-17,8)},fun(x25,{(-3,0,1)},for(x26,{(0,x15)},fun(x27,{(-17,20,x25)},fun(x28,{(1,x7,1)},fun(x29,{(-3,-11,x8)},fun(x30,{(0,x5,24)},fun(x31,{(1,x27,x26)},conc(for(x32,{(0,0)},conc(fun(x33,{(x10,1,-17)},fun(x34,{(1,6,1)},for(x35,{(0,0)},conc(conc(fun(x36,{(1,0,-8)},for(x37,{(0,x36)},fun(x38,{(1,x33,1),(6,3,1)},for(x39,{(26,x37)},for(x40,{(x38,2)},p((x40,x39),(x9))))))),fun(x41,{(x14,1,1)},for(x42,{(x1,x6)},fun(x43,{(36,1,x42)},p((x12,x43),(-15)))))),p((x11,17),(0)))))),fun(x44,{(6,4,1)},for(x45,{(25,x32)},for(x46,{(x44,19)},p((x46,x45),(1))))))),for(x47,{(x31,33)},for(x48,{(0,0)},fun(x49,{(15,-4,5)},for(x50,{(x29,x30)},fun(x51,{(35,x50,-14),(15,x28,-7),(2,3,0)},p((x47,x51),(x50))))))))))))))))),for(x52,{(0,0)},fun(x53,{(1,0,1)},for(x54,{(1,6)},fun(x55,{(53,x54,23)},for(x56,{(x16,32)},p((x56,x55),(x52))))))))))))))))))))))))))))));goodness : 134.012 distance to original : 0 time need : 5042 greatness : 242 idv : 119187
fun(x1,{(0,1,2)},fun(x2,{(-4,0,1)},fun(x3,{(1,0,1)},fun(x4,{(1,2,1)},for(x5,{(0,0)},fun(x6,{(1,2,1)},fun(x7,{(1,-2,1)},fun(x8,{(1,1,4)},fun(x9,{(1,8,1)},fun(x10,{(1,24,-18)},fun(x11,{(1,25,1)},fun(x12,{(1,0,1)},for(x13,{(15,15)},for(x14,{(0,0)},fun(x15,{(3,-3,1)},fun(x16,{(1,-13,0)},fun(x17,{(1,1,8)},fun(x18,{(1,0,-12)},fun(x19,{(-12,1,x2)},fun(x20,{(x17,7,x12)},for(x21,{(0,0)},conc(for(x22,{(x18,x3)},fun(x23,{(x16,-17,8)},fun(x24,{(-4,0,1)},for(x25,{(0,x14)},fun(x26,{(-17,20,x24)},fun(x27,{(1,x6,1)},fun(x28,{(-3,-11,x7)},fun(x29,{(0,x4,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,0)},conc(fun(x32,{(x9,1,-17)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(x8))))))),fun(x40,{(x13,1,1)},for(x41,{(4,x5)},fun(x42,{(36,1,x41)},p((x11,x42),(-15)))))),p((x10,34),(0)))))),fun(x43,{(6,4,1)},for(x44,{(25,x31)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x30,33)},for(x47,{(0,0)},fun(x48,{(15,-4,5)},for(x49,{(x28,x29)},fun(x50,{(35,x49,-14),(15,x27,-7),(2,3,0)},p((x46,x50),(x49))))))))))))))))),for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,6)},fun(x54,{(53,x53,23)},for(x55,{(x15,32)},p((x55,x54),(x51)))))))))))))))))))))))))))));goodness : 134.228 distance to original : 0 time need : 5070 greatness : 238 idv : 125088
fun(x1,{(1,1,-11)},fun(x2,{(-4,0,-4)},conc(p((13,3),(0)),fun(x3,{(1,0,1)},fun(x4,{(1,2,1)},for(x5,{(0,0)},fun(x6,{(1,2,1)},fun(x7,{(1,-2,1)},fun(x8,{(1,1,4)},fun(x9,{(1,8,1)},fun(x10,{(1,24,-18)},fun(x11,{(1,25,1)},fun(x12,{(1,0,1)},for(x13,{(15,15)},for(x14,{(0,0)},fun(x15,{(3,-3,1)},fun(x16,{(1,-13,1)},fun(x17,{(1,0,-16)},fun(x18,{(0,1,x2)},for(x19,{(0,0)},conc(for(x20,{(x17,x3)},fun(x21,{(-4,0,1)},for(x22,{(0,x14)},fun(x23,{(-17,20,x21)},fun(x24,{(1,x6,1)},fun(x25,{(-3,-11,x7)},fun(x26,{(0,x4,24)},fun(x27,{(1,x23,x22)},conc(for(x28,{(0,0)},conc(fun(x29,{(x9,x1,-17)},fun(x30,{(1,6,1)},for(x31,{(0,0)},conc(conc(fun(x32,{(1,0,-8)},for(x33,{(0,x32)},fun(x34,{(1,x29,1),(6,3,1)},for(x35,{(26,x33)},for(x36,{(x34,2)},p((x36,x35),(x8))))))),fun(x37,{(x13,1,1)},for(x38,{(-6,x5)},fun(x39,{(36,1,x38)},p((x11,x39),(-15)))))),p((x10,17),(0)))))),fun(x40,{(6,4,1)},for(x41,{(25,x28)},for(x42,{(x40,19)},p((x42,x41),(1))))))),for(x43,{(x27,33)},for(x44,{(0,0)},fun(x45,{(15,-4,5)},for(x46,{(x25,x26)},fun(x47,{(35,x46,-14),(15,x24,-7),(2,3,0)},p((x43,x47),(x46)))))))))))))))),for(x48,{(0,0)},fun(x49,{(1,0,1)},for(x50,{(1,6)},fun(x51,{(46,x50,23)},for(x52,{(x15,32)},p((x52,x51),(x48))))))))))))))))))))))))))));goodness : 135.336 distance to original : 0 time need : 5079 greatness : 231 idv : 125720
fun(x1,{(-4,1,1)},fun(x2,{(1,0,1)},fun(x3,{(0,1,-16)},fun(x4,{(x1,0,1)},fun(x5,{(1,0,1)},fun(x6,{(1,17,1)},for(x7,{(0,0)},fun(x8,{(1,2,1)},fun(x9,{(16,9,1)},fun(x10,{(1,1,4)},fun(x11,{(1,8,1)},fun(x12,{(1,24,-18)},fun(x13,{(1,25,1)},fun(x14,{(1,0,1)},for(x15,{(15,15)},for(x16,{(0,0)},fun(x17,{(-6,-3,1)},fun(x18,{(1,-13,1)},fun(x19,{(1,-9,8)},fun(x20,{(1,0,-34)},fun(x21,{(0,1,x4)},fun(x22,{(x19,7,x14)},for(x23,{(0,0)},conc(for(x24,{(x20,x5)},fun(x25,{(x18,-17,8)},fun(x26,{(-3,0,1)},for(x27,{(0,x16)},fun(x28,{(-17,20,x26)},fun(x29,{(1,x8,1)},fun(x30,{(-3,-11,x9)},fun(x31,{(0,x6,17)},fun(x32,{(1,x28,x27)},conc(for(x33,{(0,0)},conc(fun(x34,{(x11,1,-17)},fun(x35,{(1,6,1)},for(x36,{(0,0)},conc(conc(fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x34,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(x10))))))),fun(x42,{(x15,1,1)},for(x43,_,fun(x44,{(36,1,40)},p((x13,x44),(-15)))))),p((x12,17),(0)))))),fun(x45,{(6,4,1)},for(x46,{(20,x33)},for(x47,{(x45,19)},p((x47,x46),(1))))))),for(x48,{(x32,33)},for(x49,{(0,0)},fun(x50,{(15,-4,5)},for(x51,{(x30,x31)},fun(x52,{(35,x51,-14),(15,x29,-7),(2,3,0)},p((x48,x52),(x51))))))))))))))))),for(x53,{(0,0)},fun(x54,{(1,0,1)},for(x55,{(1,6)},fun(x56,{(53,x55,23)},for(x57,{(x17,32)},p((x57,x56),(x53)))))))))))))))))))))))))))))));goodness : 135.999 distance to original : 0 time need : 4913 greatness : 244 idv : 127230
fun(x1,{(0,1,2)},fun(x2,{(-4,0,14)},fun(x3,{(1,0,1)},fun(x4,{(-17,2,1)},for(x5,{(0,0)},fun(x6,{(1,2,1)},fun(x7,{(1,-2,1)},fun(x8,{(1,1,4)},fun(x9,{(1,8,1)},fun(x10,{(1,24,-18)},fun(x11,{(1,25,1)},fun(x12,{(1,0,1)},for(x13,{(15,15)},for(x14,{(0,0)},fun(x15,{(3,-3,1)},fun(x16,{(1,-13,1)},fun(x17,{(1,1,8)},fun(x18,{(1,0,3)},fun(x19,{(0,1,x2)},fun(x20,{(x17,7,x12)},for(x21,{(0,0)},conc(for(x22,{(x18,x3)},fun(x23,{(x16,-17,8)},fun(x24,{(-3,8,1)},for(x25,{(0,x14)},fun(x26,{(-17,20,x24)},fun(x27,{(1,x6,1)},fun(x28,{(-3,-17,x7)},fun(x29,{(0,x4,24)},fun(x30,{(1,x26,x25)},conc(for(x31,{(0,x5)},conc(fun(x32,{(x9,1,-17)},fun(x33,{(1,6,1)},for(x34,{(0,0)},conc(conc(fun(x35,{(1,0,-8)},for(x36,{(0,x35)},fun(x37,{(1,x32,1),(6,3,1)},for(x38,{(26,x36)},for(x39,{(x37,2)},p((x39,x38),(x8))))))),fun(x40,{(x13,1,1)},for(x41,{(-6,x5)},fun(x42,{(36,1,x41)},p((x11,x42),(-15)))))),p((x10,0),(0)))))),fun(x43,{(6,4,1)},for(x44,{(11,x31)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x30,42)},for(x47,{(0,0)},fun(x48,{(15,-4,5)},for(x49,{(x28,x29)},fun(x50,{(35,x49,-14),(15,x27,-7),(2,3,0)},p((x46,x50),(x49))))))))))))))))),for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,6)},fun(x54,{(53,x53,23)},for(x55,{(x15,32)},p((x55,x54),(x51)))))))))))))))))))))))))))));goodness : 137.061 distance to original : 0 time need : 4916 greatness : 238 idv : 129986
fun(x1,{(1,0,1)},fun(x2,{(0,1,0)},for(x3,{(17,17)},fun(x4,{(1,1,1)},fun(x5,{(0,1,2)},fun(x6,{(-4,0,1)},fun(x7,{(1,0,x2)},fun(x8,{(1,2,1)},for(x9,{(0,0)},fun(x10,{(1,2,1)},fun(x11,{(1,-2,1)},fun(x12,{(1,1,4)},fun(x13,{(1,8,1)},fun(x14,{(1,24,-18)},fun(x15,{(1,25,1)},fun(x16,{(1,0,1)},for(x17,{(15,15)},for(x18,{(0,0)},fun(x19,{(3,-3,1)},fun(x20,{(1,-13,0)},fun(x21,{(1,1,8)},fun(x22,{(1,0,-12)},fun(x23,{(-12,1,x6)},fun(x24,{(x21,7,x16)},for(x25,{(0,0)},conc(for(x26,{(x22,x7)},fun(x27,{(x20,-17,8)},fun(x28,{(-4,0,1)},for(x29,{(0,x18)},fun(x30,{(-17,20,x28)},fun(x31,{(1,x10,1)},fun(x32,{(-3,-11,x11)},fun(x33,{(0,x8,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},conc(fun(x36,{(x13,1,-17)},fun(x37,{(1,6,1)},for(x38,{(0,0)},conc(p((x14,x3),(0)),conc(fun(x39,{(1,0,-8)},for(x40,{(0,x39)},fun(x41,{(1,x36,1),(6,3,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(x12))))))),fun(x44,{(x17,1,1)},for(x45,{(-6,x9)},fun(x46,{(36,1,x45)},p((x15,x46),(-15)))))))))),fun(x47,{(6,4,1)},for(x48,{(x1,x35)},for(x49,{(x47,19)},p((x49,x48),(1))))))),for(x50,{(x34,33)},for(x51,{(0,0)},fun(x52,{(15,-4,5)},for(x53,{(x32,x33)},fun(x54,{(35,x53,-14),(15,x31,-7),(2,3,0)},p((x50,x54),(x53))))))))))))))))),for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(x4,6)},fun(x58,{(53,x57,23)},for(x59,{(x19,32)},p((x59,x58),(x55)))))))))))))))))))))))))))))))));goodness : 142.776 distance to original : 0 time need : 4474 greatness : 253 idv : 130504
for(x1,{(0,0)},fun(x2,{(0,1,6)},fun(x3,{(0,1,1)},fun(x4,{(0,1,2)},fun(x5,{(-4,0,1)},fun(x6,{(1,0,1)},fun(x7,{(1,2,1)},for(x8,{(0,0)},fun(x9,{(-8,2,1)},fun(x10,{(1,-2,1)},fun(x11,{(1,1,4)},fun(x12,{(1,8,1)},fun(x13,{(1,24,-18)},fun(x14,{(1,25,1)},fun(x15,{(1,0,1)},for(x16,{(15,15)},for(x17,{(0,0)},fun(x18,{(3,-3,1)},fun(x19,{(1,-13,x3)},fun(x20,{(1,1,8)},fun(x21,{(1,0,-16)},fun(x22,{(-12,1,x5)},fun(x23,{(x20,7,x15)},for(x24,{(0,0)},conc(for(x25,{(x21,x6)},fun(x26,{(x19,-17,8)},fun(x27,{(-4,0,1)},for(x28,{(0,x17)},fun(x29,{(-17,20,x27)},fun(x30,{(1,x9,1)},fun(x31,{(-3,-11,x10)},fun(x32,{(0,x7,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},conc(fun(x35,{(x12,1,-17)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(fun(x38,{(x16,1,1)},for(x39,{(-6,x8)},fun(x40,{(36,1,x39)},p((x14,x40),(-15))))),fun(x41,{(1,0,-8)},for(x42,{(0,x41)},fun(x43,{(1,x35,1),(6,3,1)},for(x44,{(26,x42)},for(x45,{(x43,2)},p((x45,x44),(x11)))))))),p((x13,17),(0)))))),fun(x46,{(6,4,1)},for(x47,{(x1,x34)},for(x48,{(x46,19)},p((x48,x47),(1))))))),for(x49,{(x33,33)},for(x50,{(0,0)},fun(x51,{(15,-4,5)},for(x52,{(x31,x32)},fun(x53,{(28,x52,x2),(15,x30,-7),(2,3,0)},p((x49,x53),(x52))))))))))))))))),for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(1,6)},fun(x57,{(33,x56,23)},for(x58,{(x18,32)},p((x58,x57),(x54))))))))))))))))))))))))))))))));goodness : 143.678 distance to original : 0 time need : 4470 greatness : 249 idv : 131751
for(x1,{(0,0)},fun(x2,{(0,1,6)},fun(x3,{(0,1,1)},fun(x4,{(0,1,2)},fun(x5,{(-4,0,1)},fun(x6,{(1,0,1)},fun(x7,{(1,2,1)},for(x8,{(0,0)},fun(x9,{(-8,2,1)},fun(x10,{(1,-2,1)},fun(x11,{(1,1,4)},fun(x12,{(1,8,1)},fun(x13,{(1,24,-18)},fun(x14,{(1,25,1)},fun(x15,{(1,0,1)},for(x16,{(15,15)},for(x17,{(0,0)},fun(x18,{(3,-3,1)},fun(x19,{(1,-13,x3)},fun(x20,{(1,1,8)},fun(x21,{(1,0,-16)},fun(x22,{(-12,1,x5)},fun(x23,{(x20,7,x15)},for(x24,{(0,0)},conc(for(x25,{(x21,x6)},fun(x26,{(x19,-17,8)},fun(x27,{(-4,0,1)},for(x28,{(0,x17)},fun(x29,{(-17,20,x27)},fun(x30,{(1,x9,1)},fun(x31,{(-3,-11,x10)},fun(x32,{(0,x7,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},conc(fun(x35,{(x12,1,-17)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x11))))))),p((x13,17),(0)))))),fun(x43,{(6,4,1)},for(x44,{(x1,x34)},for(x45,{(x43,19)},p((x45,x44),(1))))))),for(x46,{(x33,33)},for(x47,{(0,0)},fun(x48,{(15,-4,5)},for(x49,{(x31,x32)},fun(x50,{(28,x49,x2),(15,x30,-7),(2,3,0)},p((x46,x50),(x49))))))))))))))))),for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,6)},fun(x54,{(33,x53,23)},for(x55,{(x18,32)},p((x55,x54),(x51))))))))))))))))))))))))))))))));goodness : 148.412 distance to original : 0 time need : 4408 greatness : 233 idv : 132342
for(x1,{(0,0)},fun(x2,{(0,1,8)},fun(x3,{(1,1,1)},fun(x4,{(x1,1,2)},fun(x5,{(-4,0,1)},fun(x6,{(1,0,1)},fun(x7,{(1,2,1)},for(x8,{(0,0)},fun(x9,{(1,2,1)},fun(x10,{(1,-2,1)},fun(x11,{(1,1,4)},fun(x12,{(1,8,1)},fun(x13,{(1,24,-21)},fun(x14,{(1,25,1)},fun(x15,{(1,0,1)},for(x16,{(15,15)},for(x17,{(0,0)},fun(x18,{(3,-3,1)},fun(x19,{(1,-13,1)},fun(x20,{(1,1,8)},fun(x21,{(1,0,-16)},fun(x22,{(-19,1,x5)},fun(x23,{(x20,7,x15)},for(x24,{(0,0)},conc(for(x25,{(x21,x6)},fun(x26,{(x19,-17,8)},fun(x27,{(-4,0,1)},for(x28,{(0,x17)},fun(x29,{(-17,20,x27)},fun(x30,{(1,x9,1)},fun(x31,{(-3,-11,x10)},fun(x32,{(0,x7,24)},fun(x33,{(1,x29,x28)},conc(for(x34,{(0,0)},fun(x35,{(x12,x3,-17)},fun(x36,{(1,6,1)},for(x37,{(0,0)},conc(conc(fun(x38,{(1,0,-8)},for(x39,{(0,x38)},fun(x40,{(1,x35,1),(6,3,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x11))))))),fun(x43,{(x16,1,1)},for(x44,{(-6,x8)},fun(x45,{(36,1,x44)},p((x14,x45),(-4)))))),p((x13,17),(0))))))),for(x46,{(x33,26)},for(x47,{(0,0)},fun(x48,{(15,-4,5)},for(x49,{(x31,x32)},fun(x50,{(35,x49,-14),(15,x30,-7),(2,3,x2)},p((x46,x50),(x49))))))))))))))))),for(x51,{(0,0)},fun(x52,{(1,0,1)},for(x53,{(1,6)},fun(x54,{(53,x53,23)},for(x55,{(x18,32)},p((x55,x54),(x51))))))))))))))))))))))))))))))));goodness : 150.625 distance to original : 0 time need : 4299 greatness : 234 idv : 134065
for(x1,{(0,0)},fun(x2,{(0,1,8)},fun(x3,{(1,1,1)},fun(x4,{(-4,0,1)},fun(x5,{(1,0,1)},fun(x6,{(1,2,1)},for(x7,{(0,0)},fun(x8,{(1,2,1)},fun(x9,{(1,-2,1)},fun(x10,{(1,1,4)},fun(x11,{(1,8,1)},fun(x12,{(1,24,-21)},fun(x13,{(1,25,1)},fun(x14,{(1,0,1)},for(x15,{(15,15)},for(x16,{(0,0)},fun(x17,{(3,-3,1)},fun(x18,{(1,-13,1)},fun(x19,{(1,1,8)},fun(x20,{(1,0,-16)},fun(x21,{(-19,1,x4)},fun(x22,{(x19,7,x14)},for(x23,{(0,0)},conc(for(x24,{(x20,x5)},fun(x25,{(-4,0,1)},for(x26,{(0,x16)},fun(x27,{(-9,20,x25)},fun(x28,{(1,x8,1)},fun(x29,{(-3,-11,x9)},fun(x30,{(0,x6,24)},fun(x31,{(1,x27,x26)},conc(for(x32,{(0,0)},fun(x33,{(x11,x3,-17)},fun(x34,{(1,6,1)},for(x35,{(0,0)},conc(conc(fun(x36,{(1,0,-8)},for(x37,{(0,x36)},fun(x38,{(1,x33,1),(6,3,1)},for(x39,{(26,x37)},for(x40,{(x38,2)},p((x40,x39),(x10))))))),fun(x41,{(x15,1,1)},for(x42,{(-6,x7)},fun(x43,{(36,1,x42)},p((x13,x43),(-4)))))),p((x12,17),(0))))))),for(x44,{(x31,26)},for(x45,{(0,0)},fun(x46,{(15,-4,5)},for(x47,{(x29,x30)},fun(x48,{(35,x47,-14),(15,x28,-7),(2,3,x2)},p((x44,x48),(x47)))))))))))))))),for(x49,{(0,0)},fun(x50,{(1,0,1)},for(x51,{(1,6)},fun(x52,{(53,x51,23)},for(x53,{(x17,32)},p((x53,x52),(x49)))))))))))))))))))))))))))))));goodness : 152.648 distance to original : 0 time need : 4291 greatness : 226 idv : 139743
fun(x1,{(0,1,8)},for(x2,{(0,0)},fun(x3,{(3,1,3)},fun(x4,{(1,15,1)},conc(p((4,25),(1)),fun(x5,{(0,-11,2)},fun(x6,{(-4,0,-2)},fun(x7,{(1,0,x2)},fun(x8,{(1,2,1)},for(x9,{(0,0)},fun(x10,{(-8,2,1)},fun(x11,{(1,-2,1)},fun(x12,{(1,1,4)},fun(x13,{(1,8,1)},fun(x14,{(1,24,-18)},fun(x15,{(1,25,1)},fun(x16,{(-16,0,8)},for(x17,{(15,15)},for(x18,{(0,0)},fun(x19,{(3,-3,1)},fun(x20,{(10,-13,0)},fun(x21,{(1,1,8)},fun(x22,{(1,7,-16)},fun(x23,{(-12,1,x6)},fun(x24,{(x21,7,x16)},for(x25,{(0,0)},conc(for(x26,{(x22,x7)},fun(x27,{(x20,-17,8)},fun(x28,{(-4,-17,1)},for(x29,{(0,x18)},fun(x30,{(-17,20,x28)},fun(x31,{(1,x10,1)},fun(x32,{(x17,1,1)},fun(x33,{(-3,-11,x11)},fun(x34,{(0,x8,24)},fun(x35,{(1,x30,x29)},conc(for(x36,{(0,0)},conc(fun(x37,{(x13,1,-13)},fun(x38,{(1,6,1)},for(x39,{(0,0)},conc(p((x14,17),(0)),conc(for(x40,{(-6,x9)},fun(x41,{(36,1,x40)},p((x15,x41),(-15)))),fun(x42,{(-11,-11,-8)},for(x43,{(0,x42)},fun(x44,{(1,x37,1),(6,x3,1)},for(x45,{(26,x43)},for(x46,{(x44,2)},p((x46,x45),(x12)))))))))))),fun(x47,{(6,4,1)},for(x48,{(x1,x36)},for(x49,{(x47,19)},p((x49,x48),(1))))))),for(x50,{(0,0)},fun(x51,{(15,-4,5)},for(x52,{(x33,x34)},fun(x53,{(28,x52,-14),(x4,x31,-7),(2,3,0)},for(x54,{(x35,33)},p((x54,x53),(x52)))))))))))))))))),for(x55,{(0,0)},fun(x56,{(1,0,1)},for(x57,{(1,6)},fun(x58,{(33,x57,23)},for(x59,{(x19,32)},p((x59,x58),(x55))))))))))))))))))))))))))))))))));goodness : 153.116 distance to original : 0 time need : 3951 greatness : 258 idv : 142657
for(x1,{(1,1)},fun(x2,{(1,0,1)},fun(x3,{(x1,1,5)},for(x4,{(0,0)},fun(x5,{(0,1,8)},fun(x6,{(1,1,1)},fun(x7,{(x4,1,2)},fun(x8,{(-4,0,1)},fun(x9,{(x3,0,1)},fun(x10,{(1,2,1)},for(x11,{(0,0)},fun(x12,{(1,2,1)},fun(x13,{(1,-2,-6)},fun(x14,{(1,1,4)},fun(x15,{(1,8,1)},fun(x16,{(1,24,-21)},fun(x17,{(1,25,1)},fun(x18,{(1,15,1)},for(x19,{(15,15)},for(x20,{(0,0)},fun(x21,{(3,-3,1)},fun(x22,{(1,-13,1)},fun(x23,{(1,1,8)},fun(x24,{(1,0,-16)},fun(x25,{(-19,1,x8)},fun(x26,{(x23,7,x18)},for(x27,{(0,0)},conc(for(x28,{(x24,x9)},fun(x29,{(x22,-17,8)},fun(x30,{(-4,0,1)},for(x31,{(0,x20)},fun(x32,{(-9,20,x30)},fun(x33,{(1,x12,1)},fun(x34,{(-3,-11,x13)},fun(x35,{(0,x10,24)},fun(x36,{(1,x32,x31)},conc(for(x37,{(0,0)},fun(x38,{(x15,x6,-17)},fun(x39,{(1,6,1)},for(x40,{(0,0)},conc(conc(fun(x41,{(1,0,-8)},for(x42,{(0,x41)},fun(x43,{(1,x38,1),(6,3,1)},for(x44,{(26,x42)},for(x45,{(x43,2)},p((x45,x44),(x14))))))),fun(x46,{(x19,1,1)},for(x47,{(-6,x11)},fun(x48,{(36,1,x47)},p((x17,x48),(-4)))))),p((x16,17),(0))))))),for(x49,{(x36,26)},for(x50,{(0,x2)},fun(x51,{(15,-4,5)},for(x52,{(x34,x35)},fun(x53,{(35,x52,-14),(15,x33,-7),(2,3,x5)},p((x49,x53),(x52))))))))))))))))),for(x54,{(0,0)},fun(x55,{(1,0,1)},for(x56,{(4,6)},fun(x57,{(53,x56,23)},for(x58,{(x21,32)},p((x58,x57),(x54)))))))))))))))))))))))))))))))))));goodness : 157.555 distance to original : 0 time need : 3897 greatness : 245 idv : 144027
for(x1,{(-4,-4)},fun(x2,{(1,1,-4)},fun(x3,{(x2,0,1)},fun(x4,{(1,12,1)},for(x5,{(1,1)},fun(x6,{(1,0,1)},for(x7,{(0,0)},fun(x8,{(3,1,20)},fun(x9,{(1,15,1)},fun(x10,{(-4,x7,1)},fun(x11,{(1,-1,1)},fun(x12,{(1,-7,1)},for(x13,{(x3,0)},fun(x14,{(-8,2,1)},fun(x15,{(1,-14,11)},fun(x16,{(x5,1,4)},fun(x17,{(1,8,1)},fun(x18,{(1,23,-18)},fun(x19,{(7,11,1)},for(x20,{(15,15)},for(x21,{(0,0)},fun(x22,{(3,-3,1)},fun(x23,{(1,-24,0)},fun(x24,{(1,1,8)},fun(x25,{(-19,0,-16)},for(x26,{(0,0)},conc(fun(x27,{(x23,-17,8)},fun(x28,{(-4,-20,x4)},for(x29,{(0,x21)},fun(x30,{(-17,20,x28)},fun(x31,{(-11,x14,1)},fun(x32,{(-16,-11,x15)},fun(x33,{(0,x12,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},fun(x36,{(x17,1,-15)},fun(x37,{(1,6,1)},conc(fun(x38,{(-11,0,-28)},for(x39,{(0,x38)},fun(x40,{(1,x36,1),(6,x8,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x16))))))),p((x18,17),(0)))))),for(x43,{(x34,33)},for(x44,{(x32,x33)},fun(x45,{(28,x44,-14),(x9,x31,-7),(2,3,0)},p((x43,x45),(x44)))))))))))))),for(x46,{(x6,0)},fun(x47,{(1,0,1)},for(x48,{(1,6)},fun(x49,{(33,x48,23)},for(x50,{(x22,32)},p((x50,x49),(x46))))))))))))))))))))))))))))))))));goodness : 158.303 distance to original : 0 time need : 4207 greatness : 211 idv : 214197
for(x1,{(1,1)},fun(x2,{(16,1,1)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(17,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(0,1,2)},fun(x14,{(-4,x10,x3)},fun(x15,{(1,-1,-8)},fun(x16,{(1,-7,1)},for(x17,{(0,0)},fun(x18,{(-8,2,1)},fun(x19,{(17,-14,1)},fun(x20,{(x8,1,4)},fun(x21,{(1,8,1)},fun(x22,{(x5,23,-18)},fun(x23,{(0,11,1)},for(x24,{(15,15)},for(x25,{(0,0)},fun(x26,{(3,-3,1)},fun(x27,{(1,-13,x6)},fun(x28,{(1,1,8)},conc(fun(x29,{(1,0,-16)},for(x30,{(0,0)},conc(fun(x31,{(x27,-17,8)},fun(x32,{(-4,-20,x7)},for(x33,{(0,x25)},fun(x34,{(-17,33,x32),(9,3,2)},fun(x35,{(-11,x18,1)},fun(x36,{(-16,-11,x19)},fun(x37,{(-6,x16,24)},fun(x38,{(1,x34,x33)},conc(for(x39,{(0,0)},fun(x40,{(x21,1,-15)},fun(x41,{(1,6,1)},conc(fun(x42,{(-11,0,-28)},for(x43,{(0,x42)},fun(x44,{(1,x40,1),(6,x11,1)},for(x45,{(26,x43)},for(x46,{(x44,2)},p((x46,x45),(x20))))))),p((x22,17),(0)))))),fun(x47,{(15,-4,-18)},for(x48,{(x36,x37)},fun(x49,{(23,x48,-14),(x12,x35,-22),(2,3,0)},for(x50,{(x38,33)},p((x50,x49),(x48))))))))))))))),for(x51,{(x9,0)},fun(x52,{(x1,0,1)},for(x53,{(1,6)},fun(x54,{(33,x53,23)},for(x55,{(x26,32)},p((x55,x54),(x51)))))))))),p((26,19),(1)))))))))))))))))))))))))))))));goodness : 160.462 distance to original : 0 time need : 3862 greatness : 237 idv : 214573
fun(x1,{(1,0,1)},for(x2,{(-20,-20)},fun(x3,{(1,1,2)},fun(x4,{(1,0,1)},for(x5,{(0,0)},for(x6,{(0,0)},fun(x7,{(0,1,6)},fun(x8,{(1,-7,2)},for(x9,{(0,0)},fun(x10,{(34,1,3)},fun(x11,{(1,-11,4)},for(x12,{(0,0)},fun(x13,{(0,x8,-10)},fun(x14,{(1,1,1)},fun(x15,{(-4,x6,1)},fun(x16,{(-17,0,-2),(6,-8,x9)},fun(x17,{(1,2,1)},for(x18,{(0,0)},fun(x19,{(-3,2,1)},fun(x20,{(x3,x2,1)},fun(x21,{(1,1,4)},fun(x22,{(1,8,1)},fun(x23,{(1,30,8)},for(x24,{(0,x1)},fun(x25,{(3,-3,3)},fun(x26,{(1,1,12)},fun(x27,{(1,0,-16)},fun(x28,{(-12,1,x15)},conc(fun(x29,{(-4,0,1)},for(x30,{(0,x24)},fun(x31,{(-17,24,x29),(0,0,2)},fun(x32,{(1,x19,1)},fun(x33,{(-3,-11,x20)},fun(x34,{(0,x17,24)},fun(x35,{(1,x31,x30)},conc(fun(x36,{(x22,x14,-23)},conc(p((x23,17),(0)),fun(x37,{(1,0,-8)},for(x38,{(0,x37)},fun(x39,{(1,x36,1),(6,3,1)},for(x40,{(26,x38)},for(x41,{(x39,2)},p((x41,x40),(x21))))))))),for(x42,{(x35,26)},for(x43,{(x33,x34)},fun(x44,{(x10,x43,-14),(17,x32,-7),(2,13,x13)},p((x42,x44),(x43))))))))))))),for(x45,{(x7,0)},for(x46,{(1,6)},fun(x47,{(53,x46,23)},for(x48,{(x25,32)},p((x48,x47),(x45)))))))))))))))))))))))))))))))))));goodness : 161.212 distance to original : 0 time need : 4103 greatness : 210 idv : 224775
for(x1,{(1,1)},fun(x2,{(16,1,1)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(17,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(0,1,2)},fun(x14,{(-4,x10,x3)},fun(x15,{(1,-1,-8)},fun(x16,{(1,-7,1)},for(x17,{(0,0)},fun(x18,{(-8,2,1)},fun(x19,{(17,-14,1)},fun(x20,{(x8,1,4)},fun(x21,{(1,8,1)},fun(x22,{(x5,23,-18)},fun(x23,{(0,11,1)},for(x24,{(15,15)},for(x25,{(0,0)},fun(x26,{(3,-3,1)},fun(x27,{(1,-13,x6)},fun(x28,{(1,1,8)},conc(fun(x29,{(1,0,-16)},for(x30,{(0,0)},conc(fun(x31,{(x27,-17,8)},fun(x32,{(-4,-20,x7)},for(x33,{(0,x25)},fun(x34,{(-17,33,x32),(9,3,2)},fun(x35,{(-11,x18,1)},fun(x36,{(-16,-11,x19)},fun(x37,{(-6,x16,24)},fun(x38,{(1,x34,x33)},conc(for(x39,{(0,0)},fun(x40,{(x21,1,-15)},fun(x41,{(1,6,1)},conc(fun(x42,{(-11,0,-28)},for(x43,{(0,x42)},fun(x44,{(1,x40,1),(6,x11,1)},for(x45,{(26,x43)},for(x46,{(x44,2)},p((x46,x45),(x20))))))),p((x22,17),(0)))))),fun(x47,{(15,-4,-18)},for(x48,{(x36,x37)},fun(x49,{(23,x48,-14),(x12,x35,-22),(2,3,0)},for(x50,{(x38,33)},p((x50,x49),(x48))))))))))))))),for(x51,{(x9,0)},fun(x52,{(x1,0,1)},for(x53,{(1,6)},fun(x54,{(33,x53,23)},for(x55,{(x26,30)},p((x55,x54),(x51)))))))))),p((26,19),(1)))))))))))))))))))))))))))))));goodness : 161.708 distance to original : 0 time need : 3814 greatness : 237 idv : 224933
for(x1,{(1,1)},fun(x2,{(16,1,1)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(17,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(0,1,2)},fun(x14,{(-4,x10,x3)},fun(x15,{(1,-1,-8)},fun(x16,{(1,-7,1)},for(x17,{(0,0)},fun(x18,{(-8,2,1)},fun(x19,{(17,-14,1)},fun(x20,{(x8,1,4)},fun(x21,{(1,8,1)},fun(x22,{(x5,23,-36)},fun(x23,{(0,11,1)},for(x24,{(0,0)},fun(x25,{(3,-3,1)},fun(x26,{(1,-13,x6)},fun(x27,{(1,1,8)},conc(fun(x28,{(1,0,-16)},for(x29,{(0,0)},conc(fun(x30,{(x26,-17,8)},fun(x31,{(-4,-20,x7)},for(x32,{(0,x24)},fun(x33,{(-17,33,x31),(9,3,2)},fun(x34,{(-11,x18,1)},fun(x35,{(-16,-11,x19)},fun(x36,{(-6,x16,24)},fun(x37,{(1,x33,x32)},conc(for(x38,{(0,0)},fun(x39,{(x21,1,-15)},fun(x40,{(1,6,1)},conc(fun(x41,{(-11,0,-28)},for(x42,{(0,x41)},fun(x43,{(1,x39,1),(6,x11,1)},for(x44,{(26,x42)},for(x45,{(x43,2)},p((x45,x44),(x20))))))),p((x22,17),(0)))))),fun(x46,{(15,-4,-18)},for(x47,{(x35,x36)},fun(x48,{(23,x47,-14),(x12,x34,-22),(2,3,0)},for(x49,{(x37,33)},p((x49,x48),(x47))))))))))))))),for(x50,{(x9,0)},for(x51,{(1,6)},fun(x52,{(33,x51,23)},for(x53,{(x25,32)},p((x53,x52),(x50))))))))),p((26,19),(1))))))))))))))))))))))))))))));goodness : 162.417 distance to original : 0 time need : 3857 greatness : 230 idv : 226042
for(x1,{(1,1)},fun(x2,{(16,1,1)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(17,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(0,1,2)},fun(x14,{(-4,x10,x3)},fun(x15,{(1,-1,-8)},fun(x16,{(1,-7,1)},for(x17,{(0,0)},fun(x18,{(-8,2,1)},fun(x19,{(17,-14,1)},fun(x20,{(x8,1,4)},fun(x21,{(1,8,1)},fun(x22,{(x5,23,-18)},fun(x23,{(0,11,1)},for(x24,{(15,15)},for(x25,{(0,0)},fun(x26,{(3,-3,1)},fun(x27,{(1,-13,x6)},fun(x28,{(1,1,8)},fun(x29,{(1,0,-16)},for(x30,{(0,0)},conc(fun(x31,{(x27,-17,8)},fun(x32,{(-4,-20,x7)},for(x33,{(0,x25)},fun(x34,{(-17,33,x32),(9,3,2)},fun(x35,{(-11,x18,1)},fun(x36,{(-16,-11,x19)},fun(x37,{(-6,x16,24)},fun(x38,{(1,x34,x33)},conc(for(x39,{(0,0)},fun(x40,{(x21,1,-15)},fun(x41,{(1,6,1)},conc(fun(x42,{(-11,0,-28)},for(x43,{(0,x42)},fun(x44,{(1,x40,1),(6,x11,1)},for(x45,{(26,x43)},for(x46,{(x44,2)},p((x46,x45),(x20))))))),p((x22,17),(0)))))),fun(x47,{(15,-4,-18)},for(x48,{(x36,x37)},fun(x49,{(23,x48,-14),(x12,x35,-22),(2,22,0)},for(x50,{(x38,33)},p((x50,x49),(x48))))))))))))))),for(x51,{(x9,0)},fun(x52,{(x1,0,1)},for(x53,{(1,6)},fun(x54,{(33,x53,23)},for(x55,{(x26,30)},p((x55,x54),(x51))))))))))))))))))))))))))))))))))))));goodness : 163.159 distance to original : 0 time need : 3809 greatness : 232 idv : 230800
fun(x1,{(1,-17,1)},fun(x2,{(8,1,9)},for(x3,{(1,1)},fun(x4,{(16,1,1)},for(x5,{(0,0)},fun(x6,{(0,1,4)},fun(x7,{(1,1,6)},for(x8,{(0,0)},fun(x9,{(1,x6,1)},for(x10,{(1,1)},fun(x11,{(17,0,1)},for(x12,{(0,0)},fun(x13,{(3,1,3)},fun(x14,{(13,15,1)},fun(x15,{(0,1,2)},fun(x16,{(-4,x12,x5)},fun(x17,{(1,-1,-8)},fun(x18,{(1,-7,1)},for(x19,{(0,0)},fun(x20,{(-8,2,1)},fun(x21,{(17,-14,1)},fun(x22,{(x10,1,4)},fun(x23,{(1,x2,1)},fun(x24,{(x7,23,-36)},fun(x25,{(0,11,1)},for(x26,{(0,0)},fun(x27,{(3,-3,1)},fun(x28,{(1,-13,x8)},fun(x29,{(1,1,8)},conc(fun(x30,{(1,0,-16)},for(x31,{(0,0)},conc(fun(x32,{(x28,-17,8)},fun(x33,{(-4,-20,x9)},for(x34,{(0,x26)},fun(x35,{(x1,17,x33),(9,3,2)},fun(x36,{(-11,x20,1)},fun(x37,{(-16,-11,x21)},fun(x38,{(-6,x18,24)},fun(x39,{(1,x35,x34)},conc(for(x40,{(0,0)},fun(x41,{(x23,1,-15)},fun(x42,{(1,6,1)},conc(fun(x43,{(-11,0,-28)},for(x44,{(0,x43)},fun(x45,{(1,x41,1),(6,x13,1)},for(x46,{(26,x44)},for(x47,{(x45,2)},p((x47,x46),(x22))))))),p((x24,17),(0)))))),fun(x48,{(15,-4,-18)},for(x49,{(x37,x38)},fun(x50,{(23,x49,-14),(x14,x36,-22),(2,3,0)},for(x51,{(x39,33)},p((x51,x50),(x49))))))))))))))),for(x52,{(x11,0)},for(x53,{(1,6)},fun(x54,{(33,x53,23)},for(x55,{(x27,27)},p((x55,x54),(x52))))))))),p((26,19),(1))))))))))))))))))))))))))))))));goodness : 163.265 distance to original : 0 time need : 3745 greatness : 238 idv : 231631
for(x1,{(1,1)},fun(x2,{(16,1,1)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(4,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(0,1,2)},fun(x14,{(-4,x10,x3)},fun(x15,{(1,-1,-8)},fun(x16,{(1,-7,1)},for(x17,{(0,0)},fun(x18,{(-8,2,1)},fun(x19,{(17,-14,1)},fun(x20,{(x8,1,4)},fun(x21,{(1,8,1)},fun(x22,{(x5,23,-36)},fun(x23,{(0,11,1)},for(x24,{(0,0)},fun(x25,{(3,-3,1)},fun(x26,{(1,-13,x6)},fun(x27,{(1,1,8)},fun(x28,{(1,0,-16)},for(x29,{(0,0)},conc(fun(x30,{(x26,-17,8)},fun(x31,{(-4,-20,x7)},for(x32,{(0,x24)},fun(x33,{(-17,33,x31),(9,3,2)},fun(x34,{(-11,x18,1)},fun(x35,{(-16,-11,x19)},fun(x36,{(-6,x16,24)},fun(x37,{(1,x33,x32)},conc(for(x38,{(0,0)},fun(x39,{(x21,1,-15)},fun(x40,{(1,6,1)},conc(fun(x41,{(-11,0,-28)},for(x42,{(0,x41)},fun(x43,{(1,x39,1),(6,x11,1)},for(x44,{(26,x42)},for(x45,{(x43,2)},p((x45,x44),(x20))))))),p((x22,17),(0)))))),fun(x46,{(15,-4,-18)},for(x47,{(x35,x36)},fun(x48,{(23,x47,-14),(x12,x34,-22),(2,3,0)},for(x49,{(x37,33)},p((x49,x48),(x47))))))))))))))),for(x50,{(x9,0)},for(x51,{(1,6)},fun(x52,{(33,x51,23)},for(x53,{(x25,32)},p((x53,x52),(x50))))))))))))))))))))))))))))))))))));goodness : 163.881 distance to original : 0 time need : 3852 greatness : 225 idv : 236651
for(x1,{(1,1)},fun(x2,{(16,1,1)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(17,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(-4,x10,x3)},fun(x14,{(1,-7,1)},for(x15,{(0,0)},fun(x16,{(-8,2,1)},fun(x17,{(17,-14,1)},fun(x18,{(x8,1,4)},fun(x19,{(1,8,1)},fun(x20,{(x5,23,-18)},fun(x21,{(0,11,1)},for(x22,{(0,0)},fun(x23,{(3,-3,1)},fun(x24,{(1,-13,x6)},conc(fun(x25,{(1,0,-16)},for(x26,{(0,0)},conc(fun(x27,{(x24,-17,8)},fun(x28,{(-4,-20,x7)},for(x29,{(0,x22)},fun(x30,{(-17,33,x28),(9,3,2)},fun(x31,{(-11,x16,1)},fun(x32,{(-16,-11,x17)},fun(x33,{(-6,x14,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},fun(x36,{(x19,1,-15)},fun(x37,{(1,6,1)},conc(p((x20,17),(0)),fun(x38,{(-11,0,-28)},for(x39,{(0,x38)},fun(x40,{(1,x36,1),(6,x11,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x18))))))))))),fun(x43,{(15,-4,-18)},for(x44,{(x32,x33)},fun(x45,{(23,x44,-14),(x12,x31,-22),(2,3,0)},for(x46,{(x34,33)},p((x46,x45),(x44))))))))))))))),for(x47,{(x9,0)},fun(x48,{(x1,0,1)},for(x49,{(1,6)},fun(x50,{(33,x49,23)},for(x51,{(x23,30)},p((x51,x50),(x47)))))))))),p((26,19),(1)))))))))))))))))))))))))));goodness : 166.085 distance to original : 0 time need : 3801 greatness : 222 idv : 236701
for(x1,{(-3,-3)},for(x2,{(1,1)},fun(x3,{(16,1,1)},for(x4,{(0,0)},fun(x5,{(0,1,4)},fun(x6,{(1,1,6)},for(x7,{(0,0)},fun(x8,{(1,x5,1)},for(x9,{(1,1)},fun(x10,{(3,0,1)},for(x11,{(0,0)},fun(x12,{(3,1,3)},fun(x13,{(20,15,-13)},fun(x14,{(-4,x11,x4)},fun(x15,{(1,-7,1)},for(x16,{(0,0)},fun(x17,{(-8,2,1)},fun(x18,{(17,-14,1)},fun(x19,{(x9,1,4)},fun(x20,{(1,8,1)},fun(x21,{(x6,23,-18)},fun(x22,{(0,11,1)},for(x23,{(0,0)},fun(x24,{(3,x1,1)},fun(x25,{(1,-13,x7)},fun(x26,{(1,0,-16)},for(x27,{(0,0)},conc(fun(x28,{(x25,-17,8)},fun(x29,{(-4,-20,x8)},for(x30,{(0,x23)},fun(x31,{(-17,33,x29),(9,3,2)},fun(x32,{(-11,x17,1)},fun(x33,{(-16,-11,x18)},fun(x34,{(-6,x15,24)},fun(x35,{(1,x31,x30)},conc(for(x36,{(0,0)},fun(x37,{(x20,1,-15)},fun(x38,{(1,6,1)},conc(p((x21,17),(0)),fun(x39,{(-11,0,-28)},for(x40,{(0,x39)},fun(x41,{(1,x37,1),(6,x12,1)},for(x42,{(26,x40)},for(x43,{(x41,2)},p((x43,x42),(x19))))))))))),fun(x44,{(15,-4,-18)},for(x45,{(x33,x34)},fun(x46,{(23,x45,-19),(x13,x32,-22),(2,3,0)},for(x47,{(x35,33)},p((x47,x46),(x45))))))))))))))),for(x48,{(x10,0)},fun(x49,{(x2,0,1)},for(x50,{(1,6)},fun(x51,{(33,x50,23)},for(x52,{(x24,30)},p((x52,x51),(x48)))))))))))))))))))))))))))))))))));goodness : 166.75 distance to original : 0 time need : 3797 greatness : 220 idv : 245074
for(x1,{(1,1)},fun(x2,{(16,1,-19)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(17,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(-4,x10,x3)},fun(x14,{(1,-7,1)},for(x15,{(0,0)},fun(x16,{(-8,2,1)},fun(x17,{(17,-14,-14)},fun(x18,{(x8,1,4)},fun(x19,{(1,8,1)},fun(x20,{(x5,23,-18)},fun(x21,{(0,11,1)},for(x22,{(0,0)},fun(x23,{(3,-3,1)},fun(x24,{(1,-13,x6)},conc(fun(x25,{(1,0,-24)},for(x26,{(0,0)},conc(fun(x27,{(x24,-17,8)},fun(x28,{(-4,-20,x7)},for(x29,{(0,x22)},fun(x30,{(-17,33,x28),(9,3,2)},fun(x31,{(-11,x16,1)},fun(x32,{(-16,-11,x17)},fun(x33,{(-6,x14,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},fun(x36,{(x19,1,-15)},fun(x37,{(1,6,12)},fun(x38,{(-11,0,-28)},for(x39,{(0,x38)},fun(x40,{(1,x36,1),(6,x11,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x18)))))))))),fun(x43,{(15,-4,-18)},for(x44,{(x32,x33)},fun(x45,{(23,x44,-14),(x12,x31,-22),(2,3,0)},for(x46,{(x34,33)},p((x46,x45),(x44))))))))))))))),for(x47,{(x9,0)},fun(x48,{(x1,0,1)},for(x49,{(1,6)},fun(x50,{(33,x49,23)},for(x51,{(x23,30)},p((x51,x50),(x47)))))))))),p((26,19),(1)))))))))))))))))))))))))));goodness : 167.616 distance to original : 0 time need : 3796 greatness : 217 idv : 246701
for(x1,{(1,1)},fun(x2,{(16,1,-19)},for(x3,{(0,0)},fun(x4,{(0,1,4)},fun(x5,{(1,1,6)},for(x6,{(0,0)},fun(x7,{(1,x4,1)},for(x8,{(1,1)},fun(x9,{(17,0,1)},for(x10,{(0,0)},fun(x11,{(3,1,3)},fun(x12,{(1,15,1)},fun(x13,{(-4,x10,x3)},fun(x14,{(1,-7,1)},for(x15,{(0,0)},fun(x16,{(-8,2,1)},fun(x17,{(17,-14,-14)},fun(x18,{(x8,1,4)},fun(x19,{(1,8,1)},fun(x20,{(x5,23,-18)},fun(x21,{(0,11,1)},for(x22,{(0,0)},fun(x23,{(3,-3,1)},fun(x24,{(1,-13,x6)},fun(x25,{(1,0,-24)},for(x26,{(0,0)},conc(fun(x27,{(x24,-17,8)},fun(x28,{(-4,-20,x7)},for(x29,{(0,x22)},fun(x30,{(-17,33,x28),(9,3,2)},fun(x31,{(-11,x16,1)},fun(x32,{(-16,-11,x17)},fun(x33,{(-6,x14,24)},fun(x34,{(1,x30,x29)},conc(for(x35,{(0,0)},fun(x36,{(x19,1,-15)},fun(x37,{(1,6,12)},fun(x38,{(-11,0,-28)},for(x39,{(0,x38)},fun(x40,{(1,x36,1),(6,x11,1)},for(x41,{(26,x39)},for(x42,{(x40,2)},p((x42,x41),(x18)))))))))),fun(x43,{(15,-4,-18)},for(x44,{(x32,x33)},fun(x45,{(23,x44,-14),(x12,x31,-22),(2,3,0)},for(x46,{(x34,33)},p((x46,x45),(x44))))))))))))))),for(x47,{(x9,0)},fun(x48,{(x1,0,1)},for(x49,{(1,6)},fun(x50,{(33,x49,23)},for(x51,{(x23,30)},p((x51,x50),(x47))))))))))))))))))))))))))))))))));goodness : 169.176 distance to original : 0 time need : 3791 greatness : 212 idv : 249930
fun(x1,{(1,0,1)},fun(x2,{(1,1,3)},fun(x3,{(1,23,1),(0,1,0)},for(x4,{(0,0)},for(x5,{(-11,-11)},for(x6,{(3,3)},fun(x7,{(1,x6,-1)},for(x8,{(0,0)},fun(x9,{(1,1,9)},fun(x10,{(x9,0,x8)},fun(x11,{(1,12,1)},for(x12,{(1,1)},fun(x13,{(-17,-3,34)},for(x14,{(0,0)},fun(x15,{(3,1,54)},fun(x16,{(1,18,1)},fun(x17,{(0,9,2)},fun(x18,{(7,x14,1)},fun(x19,{(1,-1,1)},fun(x20,{(1,-2,9)},for(x21,{(x10,0)},fun(x22,{(x7,2,3)},fun(x23,{(x2,-14,11)},fun(x24,{(x12,1,4)},fun(x25,{(1,8,1)},fun(x26,{(1,x3,5)},fun(x27,{(17,11,1)},for(x28,{(15,15)},for(x29,{(0,0)},fun(x30,{(3,-3,1)},fun(x31,{(1,-13,0)},fun(x32,{(1,1,8),(1,1,2)},fun(x33,{(-19,0,-16)},for(x34,{(0,0)},conc(fun(x35,{(x31,-17,-9)},fun(x36,{(-4,x4,x11)},for(x37,{(0,x29)},fun(x38,{(-17,20,x36)},fun(x39,{(x5,x22,1)},fun(x40,{(-16,-11,x23)},fun(x41,{(0,x20,24)},fun(x42,{(1,x38,x37)},for(x43,{(x1,0)},fun(x44,{(x25,1,-18)},fun(x45,{(1,6,1)},conc(p((x26,17),(0)),fun(x46,{(-11,-6,-28)},for(x47,{(0,x46)},fun(x48,{(1,x44,1),(6,x15,1)},for(x49,{(26,x6)},for(x50,{(x48,2)},p((x50,x49),(x24))))))))))))))))))),for(x51,{(x13,0)},fun(x52,{(1,0,1),(9,0,0)},for(x53,{(1,6)},fun(x54,{(33,x53,23)},for(x55,{(x30,32)},p((x55,x54),(x51))))))))))))))))))))))))))))))))))))))))));goodness : 175.316 distance to original : 0 time need : 3424 greatness : 228 idv : 255212
fun(x1,{(1,0,1)},fun(x2,{(1,0,1)},fun(x3,{(1,1,5)},fun(x4,{(1,23,1),(0,1,0)},for(x5,{(0,0)},for(x6,{(-11,-11)},for(x7,{(3,3)},fun(x8,{(1,x7,-1)},for(x9,{(0,0)},fun(x10,{(1,1,9)},fun(x11,{(x10,0,x9)},fun(x12,{(1,12,1)},for(x13,{(1,1)},fun(x14,{(-17,-3,34)},for(x15,{(0,0)},fun(x16,{(3,1,54)},fun(x17,{(1,18,1)},fun(x18,{(0,9,2)},fun(x19,{(7,x15,1)},fun(x20,{(1,-1,1)},fun(x21,{(1,-2,9)},for(x22,{(x11,0)},fun(x23,{(x8,2,3)},fun(x24,{(x3,-14,11)},fun(x25,{(x13,1,4)},fun(x26,{(1,8,1)},fun(x27,{(1,x4,5)},fun(x28,{(17,11,1)},for(x29,{(15,15)},for(x30,{(0,0)},fun(x31,{(3,-3,12)},fun(x32,{(1,-13,0)},fun(x33,{(1,1,8),(1,1,2)},fun(x34,{(-19,0,-16)},for(x35,{(0,x1)},conc(fun(x36,{(x32,-17,-9)},fun(x37,{(-4,x5,x12)},for(x38,{(0,x30)},fun(x39,{(-17,20,x37)},fun(x40,{(x6,x23,1)},fun(x41,{(-16,-21,x24)},fun(x42,{(0,x21,24)},fun(x43,{(1,x39,x38)},for(x44,{(x2,0)},fun(x45,{(x26,1,-18)},fun(x46,{(1,6,1)},fun(x47,{(-11,-6,-28)},for(x48,{(0,x47)},fun(x49,{(1,x45,1),(6,x16,1)},for(x50,{(26,x7)},for(x51,{(x49,2)},p((x51,x50),(x25)))))))))))))))))),for(x52,{(x14,0)},fun(x53,{(1,0,1),(9,0,1)},for(x54,{(1,6)},fun(x55,{(33,x54,23)},for(x56,{(x31,32)},p((x56,x55),(x52)))))))))))))))))))))))))))))))))))))))))));goodness : 175.654 distance to original : 0 time need : 3423 greatness : 227 idv : 264506
fun(x1,{(1,0,1)},fun(x2,{(1,0,1)},fun(x3,{(1,1,5)},fun(x4,{(1,23,1),(0,1,0)},for(x5,{(0,0)},for(x6,{(-11,-11)},for(x7,{(3,3)},fun(x8,{(1,x7,-1)},for(x9,{(0,0)},fun(x10,{(1,1,9)},fun(x11,{(x10,0,x9)},fun(x12,{(1,12,1)},for(x13,{(1,1)},fun(x14,{(-17,-3,34)},for(x15,{(0,0)},fun(x16,{(3,1,54)},fun(x17,{(1,18,1)},fun(x18,{(0,9,2)},fun(x19,{(7,x15,1)},fun(x20,{(1,-1,1)},fun(x21,{(1,-2,9)},for(x22,{(x11,0)},fun(x23,{(x8,2,3)},fun(x24,{(x3,-14,11)},fun(x25,{(x13,1,4)},fun(x26,{(1,8,1)},fun(x27,{(1,x4,5)},fun(x28,{(17,11,1)},for(x29,{(15,15)},for(x30,{(0,0)},fun(x31,{(3,-3,12)},fun(x32,{(1,-13,0)},fun(x33,{(1,1,8),(1,1,2)},fun(x34,{(-19,0,-16)},for(x35,{(0,x1)},conc(fun(x36,{(x32,-17,-9)},fun(x37,{(-4,x5,x12)},for(x38,{(0,x30)},fun(x39,{(-17,20,x37)},fun(x40,{(x6,x23,1)},fun(x41,{(-16,-21,x24)},fun(x42,{(0,x21,24)},fun(x43,{(1,x39,x38)},for(x44,{(x2,0)},fun(x45,{(x26,1,-18)},fun(x46,{(1,6,1)},fun(x47,{(-11,-6,-28)},conc(p((15,17),(1)),for(x48,{(0,x47)},fun(x49,{(1,x45,1),(6,x16,1)},for(x50,{(26,x7)},for(x51,{(x49,2)},p((x51,x50),(x25))))))))))))))))))),for(x52,{(x14,0)},fun(x53,{(1,0,1),(9,0,1)},for(x54,{(1,6)},fun(x55,{(33,x54,23)},for(x56,{(x31,29)},p((x56,x55),(x52)))))))))))))))))))))))))))))))))))))))))));goodness : 176.18 distance to original : 0 time need : 3356 greatness : 232 idv : 267812
fun(x1,{(0,1,5)},fun(x2,{(1,0,1)},fun(x3,{(1,0,1)},fun(x4,{(1,1,5)},fun(x5,{(1,23,1),(0,1,0)},for(x6,{(0,0)},for(x7,{(-11,-11)},for(x8,{(3,3)},fun(x9,{(1,x8,-1)},for(x10,{(0,0)},fun(x11,{(1,1,9)},fun(x12,{(x11,0,x10)},fun(x13,{(1,12,1)},for(x14,{(1,1)},fun(x15,{(-17,-3,34)},for(x16,{(0,0)},fun(x17,{(3,1,54)},fun(x18,{(1,18,1)},fun(x19,{(0,9,2)},fun(x20,{(7,x16,1)},fun(x21,{(1,-1,1)},fun(x22,{(1,-2,9)},for(x23,{(x12,0)},fun(x24,{(x9,2,3)},fun(x25,{(x4,-14,x1)},fun(x26,{(x14,1,4)},fun(x27,{(1,8,1)},fun(x28,{(1,x5,5)},fun(x29,{(17,11,1)},for(x30,{(15,15)},for(x31,{(0,0)},fun(x32,{(3,-3,12)},fun(x33,{(1,-13,0)},fun(x34,{(1,1,8),(1,1,2)},fun(x35,{(-19,0,-16)},for(x36,{(0,x2)},fun(x37,{(x33,-17,-9)},fun(x38,{(-4,x6,x13)},for(x39,{(0,x31)},fun(x40,{(-17,20,x38)},fun(x41,{(x7,x24,1)},fun(x42,{(-16,-21,x25)},fun(x43,{(0,x22,24)},fun(x44,{(1,x40,x39)},for(x45,{(x3,0)},fun(x46,{(x27,1,-18)},fun(x47,{(1,6,1)},fun(x48,{(-11,-6,-28)},for(x49,{(0,x48)},fun(x50,{(1,x46,1),(6,x17,1)},for(x51,{(26,x8)},for(x52,{(x50,2)},p((x52,x51),(x26))))))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 214.823 distance to original : 0 time need : 2595 greatness : 206 idv : 267933
fun(x1,{(1,0,1)},fun(x2,{(1,0,1)},fun(x3,{(1,1,5)},fun(x4,{(1,23,1),(0,1,0)},for(x5,{(0,0)},for(x6,{(-11,-11)},for(x7,{(3,3)},fun(x8,{(1,x7,-1)},for(x9,{(0,0)},fun(x10,{(1,1,9)},fun(x11,{(x10,0,x9)},fun(x12,{(1,12,1)},for(x13,{(1,1)},fun(x14,{(-17,-3,34)},for(x15,{(0,0)},fun(x16,{(3,1,54)},fun(x17,{(1,18,1)},fun(x18,{(0,9,2)},fun(x19,{(7,x15,1)},fun(x20,{(1,-1,-19)},fun(x21,{(1,-2,9)},for(x22,{(x11,0)},fun(x23,{(x8,2,3)},fun(x24,{(x3,-14,11)},fun(x25,{(x13,1,4)},fun(x26,{(1,8,1)},fun(x27,{(1,x4,5)},fun(x28,{(17,11,1)},for(x29,{(15,15)},for(x30,{(0,0)},fun(x31,{(3,-3,12)},fun(x32,{(1,-13,0)},fun(x33,{(1,1,8),(1,1,2)},fun(x34,{(-19,0,-16)},for(x35,{(0,x1)},fun(x36,{(x32,-17,-9)},fun(x37,{(-4,x5,x12)},for(x38,{(0,x30)},fun(x39,{(-17,20,x37)},fun(x40,{(x6,x23,1)},fun(x41,{(-16,-21,x24)},fun(x42,{(0,x21,24)},fun(x43,{(1,x39,x38)},for(x44,{(x2,0)},fun(x45,{(x26,1,-18)},fun(x46,{(1,6,1)},fun(x47,{(-11,-6,-28)},for(x48,{(0,x47)},fun(x49,{(1,x45,1),(6,x16,1)},for(x50,{(26,x7)},for(x51,{(x49,2)},p((x51,x50),(x25)))))))))))))))))))))))))))))))))))))))))))))))))))));goodness : 216.873 distance to original : 0 time need : 2591 greatness : 202 idv : 268146
fun(x1,{(1,0,-8)},fun(x2,{(1,0,1)},fun(x3,{(1,1,5)},fun(x4,{(1,23,1),(0,1,0)},for(x5,{(0,0)},for(x6,{(-11,-11)},for(x7,{(3,3)},fun(x8,{(1,x7,-1)},for(x9,{(0,0)},fun(x10,{(1,1,9)},fun(x11,{(x10,0,x9)},fun(x12,{(-8,12,1)},for(x13,{(1,1)},fun(x14,{(-17,-3,34)},for(x15,{(0,0)},fun(x16,{(3,1,54)},fun(x17,{(0,9,2)},fun(x18,{(7,x15,1)},fun(x19,{(1,-1,-19)},fun(x20,{(1,-2,9)},for(x21,{(x11,0)},fun(x22,{(x8,2,3)},fun(x23,{(x3,-14,11)},fun(x24,{(x13,1,4)},fun(x25,{(1,8,1)},fun(x26,{(11,11,1)},for(x27,{(0,0)},fun(x28,{(3,-3,12)},fun(x29,{(1,-13,0),(7,1,0)},fun(x30,{(-19,0,-16)},for(x31,{(0,x1)},fun(x32,{(x29,-17,-9)},fun(x33,{(-4,x5,x12)},for(x34,{(0,x27)},fun(x35,{(-17,20,x33)},fun(x36,{(-16,-21,x23)},fun(x37,{(0,x20,24)},fun(x38,{(1,x35,x34)},fun(x39,{(x25,1,-18)},fun(x40,{(1,6,1)},fun(x41,{(-11,-6,-28)},for(x42,{(0,x41)},fun(x43,{(1,x39,1),(6,x16,1)},for(x44,{(26,x7)},for(x45,{(x43,2)},p((x45,x44),(x24)))))))))))))))))))))))))))))))))))))))))))))));goodness : 228.676 distance to original : 0 time need : 2573 greatness : 180 idv : 272894
fun(x1,{(1,0,1)},fun(x2,{(1,0,1)},fun(x3,{(1,1,-1)},fun(x4,{(1,23,1),(0,1,0)},for(x5,{(0,0)},for(x6,{(-11,-11)},for(x7,{(3,3)},fun(x8,{(1,x7,-1)},for(x9,{(0,0)},fun(x10,{(1,1,9)},fun(x11,{(x10,0,x9)},fun(x12,{(1,12,1)},for(x13,{(1,1)},fun(x14,{(-17,-3,34)},for(x15,{(0,0)},fun(x16,{(3,1,54)},fun(x17,{(1,18,1)},fun(x18,{(7,x15,1)},fun(x19,{(1,-1,-19)},fun(x20,{(1,-2,9)},for(x21,{(x11,0)},fun(x22,{(x8,2,3)},fun(x23,{(x3,-14,11)},fun(x24,{(x13,1,4)},fun(x25,{(1,8,1)},fun(x26,{(1,x4,5)},for(x27,{(0,0)},fun(x28,{(3,-12,12)},fun(x29,{(1,1,8),(1,1,2)},fun(x30,{(-4,x5,x12)},for(x31,{(0,x27)},fun(x32,{(-17,20,x30)},fun(x33,{(x6,x22,1)},fun(x34,{(-16,-21,x23)},fun(x35,{(0,x20,24)},fun(x36,{(1,x32,x31)},for(x37,{(x2,0)},fun(x38,{(x25,1,-18)},fun(x39,{(1,6,1)},fun(x40,{(-11,-6,-28)},for(x41,{(0,x40)},fun(x42,{(1,x38,1),(6,x16,1)},for(x43,{(26,x7)},for(x44,{(x42,2)},p((x44,x43),(x24))))))))))))))))))))))))))))))))))))))))))))));goodness : 231 distance to original : 0 time need : 2569 greatness : 176 idv : 275917
fun(x1,{(1,0,1)},fun(x2,{(1,0,1)},fun(x3,{(1,0,1)},fun(x4,{(1,1,-1)},fun(x5,{(1,23,1),(0,1,0)},for(x6,{(0,0)},for(x7,{(-11,-11)},for(x8,{(3,3)},fun(x9,{(1,x8,-1)},for(x10,{(0,0)},fun(x11,{(1,1,9)},fun(x12,{(x11,0,x10)},fun(x13,{(1,12,1)},for(x14,{(1,1)},fun(x15,{(-17,-3,34)},for(x16,{(0,0)},fun(x17,{(3,1,54)},fun(x18,{(1,18,1)},fun(x19,{(-4,x16,1)},fun(x20,{(1,-1,-19)},fun(x21,{(1,-2,9)},for(x22,{(x12,0)},fun(x23,{(x9,2,3)},fun(x24,{(x4,-14,11)},fun(x25,{(x14,1,4)},fun(x26,{(1,8,1)},for(x27,{(0,0)},fun(x28,{(3,-12,x1)},fun(x29,{(1,1,8),(1,1,2)},fun(x30,{(-4,x6,x13)},for(x31,{(0,x27)},fun(x32,{(-17,20,x30)},fun(x33,{(x7,x23,1)},fun(x34,{(-16,-21,x24)},fun(x35,{(0,x21,24)},for(x36,{(x3,0)},fun(x37,{(x26,1,-18)},fun(x38,{(-11,-6,-28)},for(x39,{(0,x38)},fun(x40,{(1,x37,1),(6,x17,1)},for(x41,{(26,x8)},for(x42,{(x40,2)},p((x42,x41),(x25))))))))))))))))))))))))))))))))))))))))))));goodness : 235.793 distance to original : 0 time need : 2561 greatness : 168 idv : 281215
fun(x1,{(1,1,1)},fun(x2,{(1,0,-16)},fun(x3,{(1,0,1)},fun(x4,{(1,1,-1)},fun(x5,{(1,23,1),(10,1,0)},for(x6,{(0,0)},for(x7,{(-11,-11)},for(x8,{(3,3)},fun(x9,{(x1,x8,-1)},for(x10,{(0,0)},fun(x11,{(1,1,9)},fun(x12,{(x11,0,x10)},fun(x13,{(1,12,1)},for(x14,{(1,1)},fun(x15,{(-17,-3,34)},for(x16,{(0,0)},fun(x17,{(3,1,54)},fun(x18,{(7,x16,1)},fun(x19,{(1,-2,9)},for(x20,{(x12,0)},fun(x21,{(x9,2,3)},fun(x22,{(x4,-14,11)},fun(x23,{(x14,1,4)},fun(x24,{(1,8,1)},for(x25,{(0,0)},fun(x26,{(3,-12,12)},fun(x27,{(1,1,8),(1,-10,2)},fun(x28,{(-4,x6,x13)},for(x29,{(0,x25)},fun(x30,{(-17,20,x28)},fun(x31,{(x7,x21,1)},fun(x32,{(-16,-21,x22)},fun(x33,{(1,x30,x29)},for(x34,{(x3,0)},fun(x35,{(x24,1,-18)},fun(x36,{(1,-9,1)},fun(x37,{(-11,-6,-28)},fun(x38,{(1,x35,1),(6,x17,1)},for(x39,{(26,x8)},for(x40,{(x38,2)},p((x40,x39),(x23))))))))))))))))))))))))))))))))))))))))));goodness : 240.038 distance to original : 0 time need : 2556 greatness : 161 idv : 284290
for(x1,{(1,1)},for(x2,{(0,0)},fun(x3,{(1,1,1)},fun(x4,{(1,0,-20)},fun(x5,{(1,-8,x2)},fun(x6,{(1,1,-1),(3,0,0)},fun(x7,{(1,23,1),(10,1,0)},for(x8,{(0,0)},for(x9,{(3,3)},fun(x10,{(x3,x9,-8)},for(x11,{(0,0)},fun(x12,{(1,1,12)},fun(x13,{(x12,0,x11)},fun(x14,{(1,6,1)},for(x15,{(1,1)},for(x16,{(0,0)},fun(x17,{(3,1,54)},fun(x18,{(7,x16,6)},fun(x19,{(1,-2,9)},for(x20,{(x13,0)},fun(x21,{(x10,2,22)},fun(x22,{(x6,-1,11)},fun(x23,{(x15,x1,4)},fun(x24,{(1,8,1)},for(x25,{(0,0)},fun(x26,{(3,-12,12)},fun(x27,{(1,-16,8),(1,-10,2)},fun(x28,{(-4,x8,x14)},for(x29,{(0,x25)},fun(x30,{(-17,20,x28)},fun(x31,{(-26,-21,x22)},fun(x32,{(1,x30,x29)},for(x33,{(x5,0)},fun(x34,{(x24,1,-18)},fun(x35,{(1,-9,1)},fun(x36,{(-11,-6,-28)},fun(x37,{(1,x34,1),(6,x17,1)},for(x38,{(26,x9)},for(x39,{(x37,2)},p((x39,x38),(x23)))))))))))))))))))))))))))))))))))))))));goodness : 241.429 distance to original : 0 time need : 2552 greatness : 159 idv : 300868
for(x1,{(0,0)},fun(x2,{(1,-5,1)},for(x3,{(0,0)},fun(x4,{(x2,1,3)},fun(x5,{(1,1,1)},fun(x6,{(1,-18,-16)},fun(x7,{(1,0,1)},for(x8,{(0,0)},for(x9,{(-11,-11)},for(x10,{(3,3)},fun(x11,{(x5,x10,-1)},for(x12,{(0,0)},fun(x13,{(1,1,12)},fun(x14,{(x13,0,x12)},fun(x15,{(1,6,x1)},for(x16,{(1,1)},fun(x17,{(-17,-3,34)},for(x18,{(0,0)},fun(x19,{(3,1,54)},fun(x20,{(7,x18,1),(7,0,1)},fun(x21,{(0,-24,9)},for(x22,{(x14,0)},fun(x23,{(x11,2,3)},fun(x24,{(x16,1,x3)},fun(x25,{(1,8,1)},for(x26,{(0,0)},fun(x27,{(3,-12,11)},fun(x28,{(1,-15,8),(1,-10,2)},fun(x29,{(-4,x8,x15)},for(x30,{(0,x26)},fun(x31,{(-17,20,x29)},fun(x32,{(x9,x23,1)},for(x33,{(x7,0)},fun(x34,{(x25,1,-18)},fun(x35,{(1,x34,1),(6,x19,1)},for(x36,{(26,x10)},for(x37,{(x35,2)},p((x37,x36),(x24)))))))))))))))))))))))))))))))))))))));goodness : 249.501 distance to original : 0 time need : 2538 greatness : 147 idv : 318229
for(x1,{(0,0)},fun(x2,{(1,-5,1)},for(x3,{(0,0)},fun(x4,{(x2,1,3)},fun(x5,{(1,1,1)},fun(x6,{(1,-18,-16)},fun(x7,{(1,0,1)},for(x8,{(0,0)},for(x9,{(-11,-11)},for(x10,{(3,3)},fun(x11,{(x5,x10,-1)},for(x12,{(0,0)},fun(x13,{(1,1,12)},fun(x14,{(x13,0,x12)},fun(x15,{(1,6,x1)},for(x16,{(1,1)},fun(x17,{(-17,-3,34)},fun(x18,{(3,1,54)},fun(x19,{(0,-24,9)},for(x20,{(x14,0)},fun(x21,{(x11,2,3)},fun(x22,{(x16,1,x3)},fun(x23,{(1,8,1)},for(x24,{(0,0)},fun(x25,{(3,-12,11)},fun(x26,{(1,-15,8),(16,-10,2)},fun(x27,{(-4,x8,x15)},for(x28,{(0,x24)},fun(x29,{(-17,20,x27)},fun(x30,{(x9,x21,1)},for(x31,{(x7,0)},fun(x32,{(x23,1,-18)},fun(x33,{(1,x32,1),(6,x18,1)},for(x34,{(26,x10)},for(x35,{(x33,2)},p((x35,x34),(x22)))))))))))))))))))))))))))))))))))));goodness : 256.41 distance to original : 0 time need : 2530 greatness : 137 idv : 320269
fun(x1,{(0,1,7)},for(x2,{(0,0)},fun(x3,{(1,-5,1)},for(x4,{(0,0)},fun(x5,{(x3,1,3)},fun(x6,{(1,1,1)},fun(x7,{(-2,-18,-16)},fun(x8,{(1,0,1)},for(x9,{(0,0)},for(x10,{(-11,-11)},for(x11,{(3,3)},fun(x12,{(x6,x11,-1)},for(x13,{(0,x1)},fun(x14,{(1,1,12)},fun(x15,{(x14,0,x13)},fun(x16,{(1,6,x2)},for(x17,{(1,1)},fun(x18,{(-17,-3,34)},fun(x19,{(3,1,54)},fun(x20,{(0,-24,9)},fun(x21,{(x12,2,3)},fun(x22,{(x17,1,x4)},fun(x23,{(1,8,1)},for(x24,{(0,0)},fun(x25,{(3,-12,11)},fun(x26,{(1,-15,8),(16,-10,2)},fun(x27,{(-4,x9,x16)},fun(x28,{(-17,20,x27)},fun(x29,{(x10,x21,1)},fun(x30,{(x23,1,-18)},fun(x31,{(1,x30,1),(6,x19,1)},for(x32,{(26,x11)},for(x33,{(x31,2)},p((x33,x32),(x22)))))))))))))))))))))))))))))))))));goodness : 259.673 distance to original : 0 time need : 2531 greatness : 132 idv : 328348
for(x1,{(0,0)},fun(x2,{(1,0,1)},for(x3,{(0,0)},fun(x4,{(x3,1,8)},for(x5,{(0,x2)},fun(x6,{(1,-5,1)},for(x7,{(0,0)},fun(x8,{(x6,1,3)},fun(x9,{(1,1,1)},fun(x10,{(-2,-18,-16)},fun(x11,{(-8,0,1)},for(x12,{(0,0)},for(x13,{(-11,-11)},for(x14,{(3,3)},fun(x15,{(x9,x14,-1)},for(x16,{(0,x4)},fun(x17,{(1,1,12)},fun(x18,{(x17,0,x16)},fun(x19,{(1,-2,x5)},for(x20,{(1,1)},fun(x21,{(-17,-3,34)},fun(x22,{(3,1,54)},fun(x23,{(x15,2,3)},fun(x24,{(x20,1,x7)},fun(x25,{(1,8,1)},fun(x26,{(3,-12,11)},fun(x27,{(-4,-15,8),(16,-25,2)},fun(x28,{(-4,x12,x19)},fun(x29,{(x13,x23,1)},fun(x30,{(x25,1,-18)},fun(x31,{(1,x30,1),(6,x22,1)},for(x32,{(26,x14)},for(x33,{(x31,2)},p((x33,x32),(x24)))))))))))))))))))))))))))))))))));goodness : 260.552 distance to original : 0 time need : 2528 greatness : 131 idv : 337023
fun(x1,{(1,1,0)},for(x2,{(0,0)},fun(x3,{(1,0,1)},for(x4,{(0,0)},fun(x5,{(x4,1,8)},for(x6,{(0,x3)},fun(x7,{(1,-5,1)},for(x8,{(0,0)},fun(x9,{(x7,1,3)},fun(x10,{(1,1,1)},fun(x11,{(-2,-18,-16)},fun(x12,{(-8,0,1)},for(x13,{(0,0)},for(x14,{(-11,-11)},for(x15,{(3,3)},fun(x16,{(x10,x15,-1)},for(x17,{(0,x5)},fun(x18,{(1,6,x6)},for(x19,{(1,1)},fun(x20,{(-17,-3,34)},fun(x21,{(3,1,54)},fun(x22,{(x16,2,3)},fun(x23,{(x19,1,x8)},fun(x24,{(1,8,1)},for(x25,{(0,0)},fun(x26,{(-4,-15,8),(16,-25,2)},fun(x27,{(x14,x22,1)},fun(x28,{(x24,x1,-18)},fun(x29,{(1,x28,1),(6,x21,1)},for(x30,{(26,x15)},for(x31,{(x29,2)},p((x31,x30),(x23)))))))))))))))))))))))))))))))));goodness : 267.594 distance to original : 0 time need : 2517 greatness : 122 idv : 338570
for(x1,{(-15,-15)},fun(x2,{(1,0,1)},for(x3,{(0,0)},fun(x4,{(x3,1,8)},for(x5,{(0,x2)},fun(x6,{(1,-5,1)},for(x7,{(0,0)},fun(x8,{(x6,1,3)},fun(x9,{(1,1,1)},fun(x10,{(-8,0,1)},for(x11,{(0,0)},for(x12,{(-11,-11)},for(x13,{(3,3)},fun(x14,{(x9,x13,-1)},for(x15,{(0,x4)},fun(x16,{(1,1,12)},fun(x17,{(x16,0,x15)},fun(x18,{(1,-2,x5)},for(x19,{(1,1)},fun(x20,{(3,1,54)},fun(x21,{(x14,12,3)},fun(x22,{(x19,1,x7)},fun(x23,{(1,8,1)},fun(x24,{(3,-12,11)},fun(x25,{(-4,x1,8),(16,-25,2)},fun(x26,{(-4,x11,x18)},fun(x27,{(x23,1,-18)},fun(x28,{(1,x27,1),(6,x20,1)},for(x29,{(26,x13)},for(x30,{(x28,2)},p((x30,x29),(x22))))))))))))))))))))))))))))))));goodness : 269.833 distance to original : 0 time need : 2516 greatness : 119 idv : 345316
fun(x1,{(1,0,1)},for(x2,{(0,0)},fun(x3,{(x2,1,8)},for(x4,{(0,x1)},fun(x5,{(1,-5,1)},for(x6,{(0,0)},fun(x7,{(x5,1,3)},fun(x8,{(1,1,1)},for(x9,{(0,0)},for(x10,{(-11,-11)},for(x11,{(3,3)},fun(x12,{(x8,x11,-1)},for(x13,{(0,x3)},fun(x14,{(1,1,12)},fun(x15,{(x14,0,x13)},fun(x16,{(1,-2,x4)},for(x17,{(1,1)},fun(x18,{(3,1,51)},fun(x19,{(x12,2,3)},fun(x20,{(x17,1,x6)},fun(x21,{(1,8,1)},fun(x22,{(-4,-15,8),(16,-24,0)},fun(x23,{(-4,x9,x16)},fun(x24,{(x21,1,-18)},fun(x25,{(1,x24,1),(6,x18,1)},for(x26,{(26,x11)},for(x27,{(x25,2)},p((x27,x26),(x20)))))))))))))))))))))))))))));goodness : 278.784 distance to original : 0 time need : 2507 greatness : 108 idv : 347167
fun(x1,{(1,0,1)},for(x2,{(0,0)},fun(x3,{(x2,1,8)},for(x4,{(0,x1)},fun(x5,{(1,-5,1)},for(x6,{(0,0)},fun(x7,{(1,1,1)},for(x8,{(0,0)},for(x9,{(3,3)},fun(x10,{(x7,x9,-1)},for(x11,{(0,x3)},fun(x12,{(1,1,12)},fun(x13,{(x12,0,x11)},fun(x14,{(1,-2,x4)},for(x15,{(1,1)},fun(x16,{(3,1,51)},fun(x17,{(x15,1,x6)},fun(x18,{(1,8,1)},fun(x19,{(x18,1,-18)},fun(x20,{(1,x19,1),(6,x16,1)},for(x21,{(26,x9)},for(x22,{(x20,2)},p((x22,x21),(x17))))))))))))))))))))))));goodness : 298.775 distance to original : 0 time need : 2487 greatness : 86 idv : 348531
fun(x1,{(1,6,1)},fun(x2,{(-5,1,7)},fun(x3,{(1,1,-5)},fun(x4,{(1,0,1)},for(x5,{(0,0)},fun(x6,{(x5,3,10)},for(x7,{(0,x4)},fun(x8,{(1,1,1)},for(x9,{(3,3)},for(x10,{(0,x6)},fun(x11,{(1,1,12)},fun(x12,{(x11,0,x10)},for(x13,{(1,1)},for(x14,{(0,0)},fun(x15,{(3,1,51)},fun(x16,{(x13,14,x14)},fun(x17,{(1,8,1)},fun(x18,{(x17,1,-31)},fun(x19,{(1,x18,1),(x1,x15,1)},for(x20,{(26,x9)},for(x21,{(x19,2)},p((x21,x20),(x16)))))))))))))))))))))));goodness : 301.568 distance to original : 0 time need : 2486 greatness : 83 idv : 364494
fun(x1,{(1,0,7)},fun(x2,{(1,13,1)},fun(x3,{(14,0,1)},for(x4,{(0,0)},fun(x5,{(x4,3,10)},for(x6,{(0,x3)},fun(x7,{(x2,-5,1)},for(x8,{(0,0)},for(x9,{(3,3)},for(x10,{(0,x5)},fun(x11,{(1,2,12)},fun(x12,{(1,x1,x6)},for(x13,{(1,1)},fun(x14,{(3,1,51)},fun(x15,{(x13,1,x8)},fun(x16,{(1,8,1)},fun(x17,{(x16,1,-18)},fun(x18,{(1,x17,1),(6,x14,1)},for(x19,{(26,x9)},for(x20,{(x18,2)},p((x20,x19),(x15))))))))))))))))))))));goodness : 305.623 distance to original : 0 time need : 2482 greatness : 79 idv : 366372
fun(x1,{(1,1,1)},fun(x2,{(1,3,1)},fun(x3,{(-5,1,7)},fun(x4,{(1,16,-5)},fun(x5,{(1,0,1)},for(x6,{(0,0)},fun(x7,{(x6,3,10)},for(x8,{(0,x5)},fun(x9,{(x4,x3,1)},for(x10,{(0,0)},for(x11,{(3,3)},for(x12,{(1,1)},fun(x13,{(x2,1,51)},fun(x14,{(x12,14,x10)},fun(x15,{(1,8,1)},fun(x16,{(x15,1,-31)},fun(x17,{(1,x16,1),(6,x13,1)},for(x18,{(26,x11)},for(x19,{(x17,2)},p((x19,x18),(x14)))))))))))))))))))));goodness : 308.547 distance to original : 0 time need : 2481 greatness : 76 idv : 368726
fun(x1,{(1,0,7)},fun(x2,{(1,13,1)},fun(x3,{(14,0,1)},for(x4,{(0,0)},fun(x5,{(x4,3,10)},for(x6,{(0,x3)},for(x7,{(0,0)},for(x8,{(3,3)},for(x9,{(0,x5)},fun(x10,{(1,2,12)},fun(x11,{(1,x1,x6)},for(x12,{(1,1)},fun(x13,{(3,1,51)},fun(x14,{(x12,1,x7)},fun(x15,{(1,8,1)},fun(x16,{(x15,1,-18)},fun(x17,{(1,x16,1),(6,x13,1)},for(x18,{(26,x8)},for(x19,{(x17,2)},p((x19,x18),(x14)))))))))))))))))))));goodness : 309.789 distance to original : 0 time need : 2478 greatness : 75 idv : 378233
fun(x1,{(1,0,7)},fun(x2,{(1,13,1)},fun(x3,{(14,0,1)},for(x4,{(0,0)},fun(x5,{(x4,3,10)},for(x6,{(0,x3)},for(x7,{(0,0)},for(x8,{(3,3)},for(x9,{(0,x5)},fun(x10,{(1,2,12)},for(x11,{(1,1)},fun(x12,{(3,1,51)},fun(x13,{(x11,1,x7)},fun(x14,{(1,8,1)},fun(x15,{(x14,1,-18)},fun(x16,{(1,x15,1),(6,x12,1)},for(x17,{(26,x8)},for(x18,{(x16,2)},p((x18,x17),(x13))))))))))))))))))));goodness : 314.07 distance to original : 0 time need : 2474 greatness : 71 idv : 387607
fun(x1,{(20,0,7)},fun(x2,{(14,0,1)},for(x3,{(0,0)},fun(x4,{(x3,3,10)},for(x5,{(0,x2)},for(x6,{(0,0)},conc(p((4,12),(0)),for(x7,{(3,3)},fun(x8,{(1,19,12)},for(x9,{(1,1)},fun(x10,{(3,1,51)},fun(x11,{(x9,1,x6)},fun(x12,{(1,8,1)},fun(x13,{(x12,1,-18)},fun(x14,{(1,x13,1),(6,x10,1)},for(x15,{(26,x7)},for(x16,{(x14,2)},p((x16,x15),(x11)))))))))))))))))));goodness : 316.056 distance to original : 0 time need : 2474 greatness : 69 idv : 394421
fun(x1,{(20,0,7)},fun(x2,{(14,0,1)},for(x3,{(0,0)},fun(x4,{(x3,3,10)},for(x5,{(0,x2)},for(x6,{(0,0)},for(x7,{(3,3)},fun(x8,{(1,19,12)},for(x9,{(1,1)},fun(x10,{(3,1,51)},fun(x11,{(x9,1,x6)},fun(x12,{(1,8,1)},fun(x13,{(x12,1,-18)},fun(x14,{(1,x13,1),(6,x10,1)},for(x15,{(26,x7)},for(x16,{(x14,2)},p((x16,x15),(x11))))))))))))))))));goodness : 321.647 distance to original : 0 time need : 2469 greatness : 64 idv : 394460
fun(x1,{(20,0,7)},fun(x2,{(14,0,1)},for(x3,{(0,x2)},for(x4,{(0,0)},for(x5,{(3,3)},fun(x6,{(1,19,12)},for(x7,{(1,1)},fun(x8,{(3,1,51)},fun(x9,{(x7,1,x4)},fun(x10,{(1,8,1)},fun(x11,{(x10,1,1)},fun(x12,{(1,x11,1),(6,x8,1)},for(x13,{(26,x5)},for(x14,{(x12,2)},p((x14,x13),(x9))))))))))))))));goodness : 329.598 distance to original : 0 time need : 2464 greatness : 57 idv : 406489
for(x1,{(0,0)},fun(x2,{(1,0,1)},for(x3,{(1,1)},for(x4,{(x2,0)},for(x5,{(3,3)},fun(x6,{(x3,19,12)},for(x7,{(1,1)},fun(x8,{(3,1,51)},fun(x9,{(x7,19,x4)},fun(x10,{(1,8,1)},fun(x11,{(x10,1,-32)},fun(x12,{(1,x11,1),(6,x8,1)},for(x13,{(26,x5)},for(x14,{(x12,2)},p((x14,x13),(x9))))))))))))))));goodness : 331.016 distance to original : 0 time need : 2461 greatness : 56 idv : 414092
fun(x1,{(1,0,12)},for(x2,{(x1,0)},for(x3,{(3,3)},for(x4,{(1,1)},fun(x5,{(3,1,51)},fun(x6,{(x4,19,x2)},fun(x7,{(1,8,1)},fun(x8,{(x7,1,-32)},fun(x9,{(1,x8,1),(6,x5,1)},for(x10,{(26,x3)},for(x11,{(x9,2)},p((x11,x10),(x6)))))))))))));goodness : 343.053 distance to original : 0 time need : 2455 greatness : 46 idv : 421042
