p((0,27),(0));goodness : 42.9546 distance to original : 232 time need : 4 greatness : 4 idv : 1
p((25,27),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 3
for(x1,{(22,29)},fun(x2,{(-4,5,-1),(-2,-4,1)},p((x1,27),(1))));goodness : 44.0744 distance to original : 224 time need : 89 greatness : 14 idv : 30684
for(x1,{(22,29)},p((x1,27),(1)));goodness : 44.3591 distance to original : 224 time need : 33 greatness : 7 idv : 35713
for(x1,{(18,23)},fun(x2,{(x1,19,-1),(1,x1,1)},for(x3,{(x2,29)},p((x3,27),(1)))));goodness : 44.7105 distance to original : 220 time need : 261 greatness : 17 idv : 40669
for(x1,{(19,29)},p((x1,27),(1)));goodness : 44.9549 distance to original : 221 time need : 45 greatness : 7 idv : 44949
for(x1,{(16,29)},p((x1,27),(1)));goodness : 45.567 distance to original : 218 time need : 57 greatness : 7 idv : 50305
for(x1,{(15,29)},p((x1,27),(1)));goodness : 45.7748 distance to original : 217 time need : 61 greatness : 7 idv : 73254
for(x1,{(23,27)},fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(16,29)},p((x3,x2),(1)))));goodness : 48.1415 distance to original : 204 time need : 321 greatness : 17 idv : 76538
for(x1,{(23,24)},fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(16,29)},p((x3,x2),(1)))));goodness : 48.186 distance to original : 204 time need : 129 greatness : 17 idv : 99264
conc(for(x1,{(23,27)},conc(fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(16,29)},p((x3,x2),(1)))),fun(x4,{(2,1,0)},for(x5,{(3,4)},fun(x6,{(23,12,-1),(12,23,1)},fun(x7,{(x5,-13,-1),(-3,x5,1)},for(x8,{(0,0)},for(x9,{(16,29)},p((x9,27),(1)))))))))),p((2,13),(0)));goodness : 49.5354 distance to original : 190 time need : 1076 greatness : 54 idv : 101044
conc(for(x1,{(23,27)},conc(fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(16,29)},p((x3,x2),(1)))),for(x4,{(3,4)},fun(x5,{(23,12,-1),(12,23,1)},for(x6,{(16,29)},p((x6,27),(1))))))),p((2,13),(0)));goodness : 50.2573 distance to original : 190 time need : 976 greatness : 40 idv : 106412
for(x1,{(23,27)},conc(fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(16,29)},p((x3,x2),(1)))),for(x4,{(3,4)},fun(x5,{(14,12,-1),(12,23,1)},for(x6,{(16,29)},p((x6,27),(1)))))));goodness : 50.5124 distance to original : 190 time need : 971 greatness : 35 idv : 109404
for(x1,{(23,27)},conc(fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(16,29)},p((x3,x2),(1)))),for(x4,{(3,4)},for(x5,{(16,29)},p((x5,27),(1))))));goodness : 50.8903 distance to original : 190 time need : 901 greatness : 28 idv : 115712
for(x1,{(0,1)},for(x2,{(23,27)},conc(fun(x3,{(x2,12,-1),(0,x2,1)},for(x4,{(15,29)},p((x4,x3),(1)))),fun(x5,{(23,12,-1),(12,23,1)},for(x6,{(16,29)},p((x6,27),(1)))))));goodness : 50.9339 distance to original : 188 time need : 1333 greatness : 35 idv : 119051
for(x1,{(23,27)},conc(fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(15,29)},p((x3,x2),(1)))),fun(x4,{(23,12,-1),(12,23,1)},for(x5,{(16,29)},p((x5,27),(1))))));goodness : 51.2647 distance to original : 188 time need : 666 greatness : 32 idv : 122230
for(x1,{(23,27)},conc(fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(15,29)},p((x3,x2),(1)))),for(x4,{(16,29)},p((x4,27),(1)))));goodness : 51.6446 distance to original : 188 time need : 631 greatness : 25 idv : 126014
fun(x1,{(1,16,1)},for(x2,{(23,27)},conc(fun(x3,{(x2,12,-1),(0,x2,1)},for(x4,{(15,29)},p((x4,x3),(1)))),for(x5,{(x1,29)},p((x5,27),(1))))));goodness : 51.6916 distance to original : 187 time need : 655 greatness : 29 idv : 137487
for(x1,{(23,27)},conc(fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(15,29)},p((x3,x2),(1)))),for(x4,{(15,29)},p((x4,27),(1)))));goodness : 51.9073 distance to original : 187 time need : 651 greatness : 25 idv : 139812
conc(for(x1,{(23,27)},fun(x2,{(x1,12,-1),(0,x1,1)},for(x3,{(15,29)},p((x3,x2),(1))))),for(x4,{(15,29)},p((x4,27),(1))));goodness : 51.9742 distance to original : 187 time need : 403 greatness : 25 idv : 146668
conc(for(x1,{(23,27)},fun(x2,{(x1,12,-1),(0,x1,1)},conc(for(x3,{(15,29)},p((x3,x2),(1))),for(x4,{(-1,1)},fun(x5,{(x4,6,-1),(-9,x4,1)},for(x6,{(23,27)},conc(fun(x7,{(x6,12,-1),(0,45,x6)},p((15,11),(1))),for(x8,{(16,29)},p((x8,26),(1)))))))))),for(x9,{(15,29)},p((x9,27),(1))));goodness : 52.824 distance to original : 172 time need : 5708 greatness : 58 idv : 149881
conc(conc(for(x1,{(23,27)},fun(x2,{(x1,13,-1),(0,x1,6)},conc(for(x3,{(15,29)},p((x3,x2),(1))),for(x4,{(-1,1)},fun(x5,{(x4,6,-1),(-9,x4,1)},for(x6,{(23,27)},for(x7,{(16,29)},p((x7,26),(1))))))))),for(x8,{(15,29)},p((x8,27),(1)))),p((5,18),(1)));goodness : 53.4722 distance to original : 172 time need : 4813 greatness : 51 idv : 157928
conc(for(x1,{(23,27)},fun(x2,{(x1,13,-1),(0,x1,6)},conc(for(x3,{(15,29)},p((x3,x2),(1))),for(x4,{(-1,1)},fun(x5,{(x4,6,-1),(-9,x4,1)},for(x6,{(23,27)},for(x7,{(16,29)},p((x7,26),(1))))))))),for(x8,{(15,29)},p((x8,27),(1))));goodness : 53.4736 distance to original : 173 time need : 4808 greatness : 46 idv : 158263
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(23,27)},fun(x3,{(x2,13,-1),(0,x2,6)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(-1,1)},fun(x6,{(x5,6,-1),(-9,x5,1)},for(x7,{(16,29)},p((x7,26),(1)))))))));goodness : 54.6529 distance to original : 173 time need : 1373 greatness : 43 idv : 159962
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(23,27)},fun(x3,{(x2,13,-1),(0,x2,6)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(16,29)},p((x5,26),(1)))))));goodness : 55.4653 distance to original : 173 time need : 693 greatness : 33 idv : 163797
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(23,27)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(16,29)},p((x5,26),(1)))))));goodness : 55.6551 distance to original : 173 time need : 678 greatness : 30 idv : 177402
fun(x1,{(1,16,1)},conc(for(x2,{(15,29)},p((x2,27),(1))),for(x3,{(23,27)},fun(x4,{(x3,13,-1)},conc(for(x5,{(15,29)},p((x5,x4),(1))),for(x6,{(x1,29)},p((x6,26),(1))))))));goodness : 55.7097 distance to original : 172 time need : 702 greatness : 34 idv : 179437
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(23,27)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(15,29)},p((x5,26),(1)))))));goodness : 55.9603 distance to original : 172 time need : 698 greatness : 30 idv : 186783
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(23,27)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,29)},p((x5,26),(1)))))));goodness : 56.2689 distance to original : 171 time need : 718 greatness : 30 idv : 195063
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(24,27)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,29)},p((x5,26),(1)))))));goodness : 56.3104 distance to original : 171 time need : 587 greatness : 30 idv : 220387
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(24,27)},conc(conc(for(x3,{(15,29)},fun(x4,{(x2,13,-1)},p((x3,x4),(1)))),for(x5,{(24,27)},fun(x6,{(x5,-4,-1)},conc(for(x7,{(15,29)},p((x7,10),(1))),for(x8,{(14,29)},p((x5,26),(1))))))),for(x9,{(14,29)},p((x9,26),(1))))));goodness : 56.3333 distance to original : 164 time need : 2915 greatness : 53 idv : 270142
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(24,27),(69,76)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,29)},p((x5,26),(1)))))));goodness : 58.1277 distance to original : 164 time need : 1635 greatness : 32 idv : 270174
conc(for(x1,{(15,29)},p((x1,27),(1))),for(x2,{(24,27),(72,76)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,29)},p((x5,26),(1)))))));goodness : 58.2608 distance to original : 164 time need : 1242 greatness : 32 idv : 277520
conc(for(x1,{(15,29)},conc(for(x2,{(-7,-5)},fun(x3,{(x2,11,-1),(-2,x2,1)},fun(x4,{(7,1,-1)},for(x5,{(0,0)},fun(x6,{(17,7,-1),(0,17,1)},fun(x7,{(1,-5,1)},fun(x8,{(-20,5,x7),(0,-20,1)},for(x9,{(6,27)},p((16,x9),(1)))))))))),p((x1,27),(1)))),for(x10,{(24,27),(69,76)},fun(x11,{(x10,13,-1)},conc(for(x12,{(15,29)},p((x12,x11),(1))),for(x13,{(14,29)},p((x13,26),(1)))))));goodness : 60.2337 distance to original : 144 time need : 7020 greatness : 75 idv : 278838
conc(for(x1,{(15,29)},conc(for(x2,{(-7,-5)},fun(x3,{(x2,11,-1),(-2,x2,1)},fun(x4,{(22,1,-1)},fun(x5,{(17,7,-1),(0,17,1)},fun(x6,{(1,-5,1)},fun(x7,{(-20,5,x6),(0,-20,1)},for(x8,{(6,27)},p((16,x8),(1))))))))),p((x1,27),(1)))),for(x9,{(24,27),(69,76)},fun(x10,{(x9,13,-1)},conc(for(x11,{(15,29)},p((x11,x10),(1))),for(x12,{(14,29)},p((x12,26),(1)))))));goodness : 60.4686 distance to original : 144 time need : 6975 greatness : 72 idv : 281772
conc(for(x1,{(15,29)},conc(for(x2,{(-7,-5)},fun(x3,{(x2,11,-1),(-2,x2,1)},fun(x4,{(22,-18,-1)},for(x5,{(0,0)},fun(x6,{(1,-5,1)},fun(x7,{(-20,5,x6),(0,-20,1)},for(x8,{(6,27)},p((16,x8),(1))))))))),p((x1,27),(1)))),for(x9,{(24,27),(69,76)},fun(x10,{(x9,13,-1)},conc(for(x11,{(15,29)},p((x11,x10),(1))),for(x12,{(14,29)},p((x12,26),(1)))))));goodness : 60.8624 distance to original : 144 time need : 6705 greatness : 68 idv : 282386
conc(for(x1,{(15,29)},conc(fun(x2,{(-7,11,-1),(-2,-7,1)},fun(x3,{(22,-18,-1)},for(x4,{(0,0)},fun(x5,{(1,-5,1)},fun(x6,{(-20,5,x5),(0,-20,1)},for(x7,{(6,27)},p((16,x7),(1)))))))),p((x1,27),(1)))),for(x8,{(24,27),(69,76)},fun(x9,{(x8,13,-1)},conc(for(x10,{(15,29)},p((x10,x9),(1))),for(x11,{(14,29)},p((x11,26),(1)))))));goodness : 62.3714 distance to original : 144 time need : 3330 greatness : 65 idv : 282956
conc(for(x1,{(15,29)},conc(for(x2,{(-7,-5)},for(x3,{(0,0)},fun(x4,{(1,-5,1)},for(x5,{(6,27)},p((16,x5),(1)))))),p((x1,27),(1)))),for(x6,{(24,27),(69,76)},fun(x7,{(x6,13,-1)},conc(for(x8,{(15,29)},p((x8,x7),(1))),for(x9,{(14,29)},p((x9,26),(1)))))));goodness : 62.541 distance to original : 144 time need : 5895 greatness : 50 idv : 285375
conc(for(x1,{(15,29)},conc(for(x2,{(6,27)},p((16,x2),(1))),p((x1,27),(1)))),for(x3,{(24,27),(69,76)},fun(x4,{(x3,13,-1)},conc(for(x5,{(15,29)},p((x5,x4),(1))),for(x6,{(14,29)},p((x6,26),(1)))))));goodness : 64.5224 distance to original : 144 time need : 2985 greatness : 40 idv : 285469
conc(p((10,15),(0)),conc(for(x1,{(0,0)},fun(x2,{(0,1,-1)},for(x3,{(19,22)},fun(x4,{(x3,2,-1),(0,x3,1)},for(x5,{(27,27)},for(x6,{(0,0)},fun(x7,{(11,14,-1),(2,x6,1)},fun(x8,{(1,1,1)},fun(x9,{(0,19,-1),(-5,0,1)},for(x10,{(23,1)},fun(x11,{(x10,13,x1)},p((15,x11),(1))))))))))))),fun(x12,{(1,1,0)},conc(for(x13,{(15,29)},conc(p((x13,27),(1)),fun(x14,{(-7,11,-1),(-2,-7,1)},fun(x15,{(x12,-5,1)},fun(x16,{(-19,5,x15),(0,-20,1)},for(x17,{(6,27)},p((16,x17),(1)))))))),for(x18,{(24,27),(69,76)},fun(x19,{(x18,13,-1)},conc(for(x20,{(15,29)},p((x20,x19),(1))),for(x21,{(14,29)},p((x21,26),(1))))))))));goodness : 65.738 distance to original : 124 time need : 4119 greatness : 120 idv : 295183
conc(conc(for(x1,{(0,0)},for(x2,{(19,22)},fun(x3,{(x2,2,-1),(0,x2,1)},fun(x4,{(11,14,-1),(2,31,1)},fun(x5,{(1,1,1)},for(x6,{(23,1)},fun(x7,{(x6,13,x1)},p((15,x7),(1))))))))),fun(x8,{(1,1,0)},conc(for(x9,{(15,29)},conc(p((x9,27),(1)),fun(x10,{(-7,11,-1),(-2,-7,1)},fun(x11,{(x8,-5,1)},for(x12,{(6,27)},p((16,x12),(1))))))),for(x13,{(24,27),(69,76)},fun(x14,{(x13,13,-1)},conc(for(x15,{(15,29)},p((x15,x14),(1))),for(x16,{(14,29)},p((x16,26),(1))))))))),p((10,15),(0)));goodness : 67.9468 distance to original : 124 time need : 3974 greatness : 96 idv : 298408
conc(p((10,15),(0)),conc(for(x1,{(0,0)},for(x2,{(19,22)},fun(x3,{(x2,2,-1),(0,32,1)},fun(x4,{(11,14,-1),(2,31,1)},for(x5,{(23,1)},fun(x6,{(x5,13,x1)},p((15,x6),(1)))))))),fun(x7,{(1,1,0)},conc(for(x8,{(15,29)},conc(p((x8,27),(1)),fun(x9,{(-7,11,-1),(-2,-7,1)},fun(x10,{(x7,-5,1)},for(x11,{(6,27)},p((16,x11),(1))))))),for(x12,{(24,27),(69,76)},fun(x13,{(x12,13,-1)},conc(for(x14,{(15,29)},p((x14,x13),(1))),for(x15,{(14,29)},p((x15,26),(1))))))))));goodness : 68.3256 distance to original : 124 time need : 3958 greatness : 92 idv : 301353
conc(for(x1,{(0,0)},for(x2,{(19,22)},fun(x3,{(x2,2,-17),(0,32,1)},fun(x4,{(11,14,-1),(2,31,1)},for(x5,{(23,1)},fun(x6,{(x5,13,x1)},p((15,x6),(1)))))))),fun(x7,{(1,1,0)},conc(for(x8,{(15,29)},conc(p((x8,27),(1)),fun(x9,{(-7,11,-1),(-2,-7,1)},fun(x10,{(x7,-5,1)},for(x11,{(6,27)},p((16,x11),(1))))))),for(x12,{(24,27),(69,76)},fun(x13,{(x12,13,-1)},conc(for(x14,{(15,29)},p((x14,x13),(1))),for(x15,{(14,29)},p((x15,26),(1)))))))));goodness : 68.798 distance to original : 124 time need : 3953 greatness : 87 idv : 302974
conc(p((10,15),(0)),conc(for(x1,{(0,0)},conc(fun(x2,{(19,-12,-1),(0,32,1)},for(x3,{(23,1)},fun(x4,{(x3,13,x1)},p((15,x4),(1))))),p((18,6),(0)))),fun(x5,{(1,1,0)},conc(for(x6,{(15,29)},conc(p((x6,27),(1)),fun(x7,{(-7,11,-1),(-2,-7,1)},for(x8,{(6,27)},p((16,x8),(1)))))),for(x9,{(24,27),(69,76)},fun(x10,{(x9,13,-1)},conc(for(x11,{(15,29)},p((x11,x10),(1))),for(x12,{(14,29)},p((x12,26),(1))))))))));goodness : 69.4937 distance to original : 124 time need : 3298 greatness : 83 idv : 307557
conc(p((10,15),(0)),conc(for(x1,{(0,0)},for(x2,{(19,5)},fun(x3,{(x2,2,-17),(0,32,1)},for(x4,{(23,1)},fun(x5,{(x4,13,x1)},p((15,x5),(1))))))),conc(for(x6,{(15,29)},conc(p((x6,27),(1)),for(x7,{(6,27)},p((16,x7),(1))))),for(x8,{(24,27),(69,76)},fun(x9,{(x8,13,-1)},conc(for(x10,{(15,29)},p((x10,x9),(1))),for(x11,{(14,29)},p((x11,26),(1)))))))));goodness : 69.5057 distance to original : 124 time need : 5873 greatness : 70 idv : 310114
conc(p((10,15),(0)),conc(for(x1,{(0,0)},conc(for(x2,{(23,1)},fun(x3,{(x2,13,x1)},p((15,x3),(1)))),p((18,6),(0)))),fun(x4,{(1,1,0)},conc(for(x5,{(15,29)},conc(p((x5,27),(1)),for(x6,{(6,27)},p((16,x6),(1))))),for(x7,{(24,27),(69,76)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))))));goodness : 70.929 distance to original : 124 time need : 3186 greatness : 69 idv : 312870
conc(p((10,15),(0)),conc(for(x1,{(0,0)},fun(x2,{(19,2,-17),(0,32,1)},for(x3,{(23,1)},fun(x4,{(x3,13,x1)},p((15,x4),(1)))))),conc(for(x5,{(15,29)},conc(p((x5,27),(1)),for(x6,{(6,27)},p((16,x6),(1))))),for(x7,{(24,27),(69,76)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1)))))))));goodness : 71.1318 distance to original : 124 time need : 3184 greatness : 67 idv : 315388
conc(p((10,15),(0)),conc(fun(x1,{(19,2,-17),(0,32,1)},for(x2,{(23,1)},fun(x3,{(x2,13,0)},p((15,x3),(1))))),conc(for(x4,{(15,29)},conc(p((x4,27),(1)),for(x5,{(6,27)},p((16,x5),(1))))),for(x6,{(24,27),(69,76)},fun(x7,{(x6,13,-1)},conc(for(x8,{(15,29)},p((x8,x7),(1))),for(x9,{(14,29)},p((x9,26),(1)))))))));goodness : 71.4372 distance to original : 124 time need : 3183 greatness : 64 idv : 319641
conc(conc(for(x1,{(0,0)},for(x2,{(19,22)},for(x3,{(23,1)},fun(x4,{(x3,13,x1)},p((15,x4),(1)))))),fun(x5,{(1,1,0)},conc(for(x6,{(28,29)},for(x7,{(6,27)},p((16,x7),(1)))),for(x8,{(24,27),(69,66)},fun(x9,{(x8,13,-1)},conc(for(x10,{(15,29)},p((x10,x9),(1))),for(x11,{(14,29)},p((x11,26),(1))))))))),fun(x12,{(0,1,-1)},for(x13,{(15,29)},p((x13,27),(1)))));goodness : 71.5093 distance to original : 124 time need : 2042 greatness : 69 idv : 320523
conc(conc(for(x1,{(25,22)},for(x2,{(23,1)},fun(x3,{(x2,13,0)},p((15,x3),(1))))),fun(x4,{(1,1,0)},conc(for(x5,{(28,29)},for(x6,{(6,27)},p((16,x6),(1)))),for(x7,{(24,27),(69,66)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))))),fun(x11,{(0,1,-1)},for(x12,{(15,29)},p((x12,27),(1)))));goodness : 71.8179 distance to original : 124 time need : 2041 greatness : 66 idv : 329270
conc(conc(for(x1,{(0,0)},for(x2,{(23,1)},fun(x3,{(x2,13,x1)},for(x4,{(25,22)},p((15,x3),(1)))))),fun(x5,{(1,1,0)},conc(for(x6,{(6,27)},p((16,x6),(1))),for(x7,{(24,27),(69,66)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))))),fun(x11,{(0,1,-1)},for(x12,{(15,29)},p((x12,27),(1)))));goodness : 71.9968 distance to original : 124 time need : 1695 greatness : 66 idv : 334722
conc(conc(for(x1,{(0,0)},for(x2,{(23,1)},fun(x3,{(x2,13,x1)},for(x4,{(25,22)},p((15,x3),(1)))))),fun(x5,{(1,1,0)},conc(for(x6,{(28,29)},for(x7,{(x5,27)},p((16,x7),(1)))),for(x8,{(24,27),(69,66)},fun(x9,{(x8,13,-1)},conc(for(x10,{(15,29)},p((x10,x9),(1))),for(x11,{(14,29)},p((x11,26),(1))))))))),fun(x12,{(0,1,-1)},for(x13,{(15,29)},p((x13,27),(1)))));goodness : 72.6612 distance to original : 122 time need : 1825 greatness : 69 idv : 336209
conc(conc(for(x1,{(0,0)},for(x2,{(23,1)},fun(x3,{(x2,13,x1)},for(x4,{(25,22)},p((15,x3),(1)))))),fun(x5,{(1,1,0)},conc(for(x6,{(28,29)},for(x7,{(x5,27)},p((16,x7),(1)))),for(x8,{(24,27),(69,66)},fun(x9,{(x8,13,-1)},conc(for(x10,{(15,29)},p((x10,x9),(1))),for(x11,{(14,29)},p((x11,26),(1))))))))),fun(x12,_,for(x13,{(15,29)},p((x13,27),(1)))));goodness : 72.981 distance to original : 122 time need : 1822 greatness : 66 idv : 353633
conc(conc(for(x1,{(0,0)},for(x2,{(23,1)},fun(x3,{(x2,13,x1)},p((15,x3),(1))))),fun(x4,{(1,1,0)},conc(for(x5,{(28,29)},for(x6,{(x4,27)},p((16,x6),(1)))),for(x7,{(24,27),(69,66)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))))),fun(x11,{(0,1,-1)},for(x12,{(15,29)},p((x12,27),(1)))));goodness : 73.139 distance to original : 122 time need : 1526 greatness : 66 idv : 355151
conc(conc(for(x1,{(0,0)},for(x2,{(23,1)},fun(x3,{(x2,13,x1)},for(x4,{(25,22)},p((15,x3),(1)))))),fun(x5,{(1,1,0)},conc(for(x6,{(x5,27)},p((16,x6),(1))),for(x7,{(24,27),(69,66)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))))),fun(x11,_,for(x12,{(15,29)},p((x12,27),(1)))));goodness : 73.3611 distance to original : 122 time need : 1712 greatness : 63 idv : 356400
conc(conc(for(x1,{(0,0)},for(x2,{(23,1)},fun(x3,{(x2,13,x1)},p((15,x3),(1))))),fun(x4,{(1,1,0)},conc(for(x5,{(x4,27)},p((16,x5),(1))),for(x6,{(24,27),(69,66)},fun(x7,{(x6,13,-1)},conc(for(x8,{(15,29)},p((x8,x7),(1))),for(x9,{(14,29)},p((x9,26),(1))))))))),fun(x10,_,for(x11,{(15,29)},p((x11,27),(1)))));goodness : 73.8482 distance to original : 122 time need : 1413 greatness : 60 idv : 356977
conc(conc(for(x1,{(0,0)},for(x2,{(26,1)},fun(x3,{(x2,13,x1)},p((15,x3),(1))))),fun(x4,{(1,1,0)},conc(for(x5,{(x4,27)},p((16,x5),(1))),for(x6,{(24,27),(69,66)},fun(x7,{(x6,13,-1)},conc(for(x8,{(15,29)},p((x8,x7),(1))),for(x9,{(14,29)},p((x9,26),(1))))))))),for(x10,{(15,29)},fun(x11,_,p((x10,27),(1)))));goodness : 74.9339 distance to original : 120 time need : 1451 greatness : 60 idv : 366192
conc(conc(for(x1,{(0,0)},for(x2,{(26,1)},fun(x3,{(x2,13,x1)},p((15,x3),(1))))),fun(x4,{(1,1,0)},conc(for(x5,{(x4,27)},p((16,x5),(x4))),for(x6,{(24,27),(69,66)},fun(x7,{(x6,13,-1)},conc(for(x8,{(15,29)},p((x8,x7),(1))),for(x9,{(14,29)},p((x9,26),(1))))))))),for(x10,{(15,29)},p((x10,27),(1))));goodness : 75.0548 distance to original : 120 time need : 1436 greatness : 59 idv : 373752
conc(conc(for(x1,{(26,1)},fun(x2,{(x1,13,0)},p((15,x2),(1)))),fun(x3,{(1,1,0)},conc(for(x4,{(x3,27)},p((16,x4),(x3))),for(x5,{(24,27),(69,66)},fun(x6,{(x5,13,-1)},conc(for(x7,{(15,29)},p((x7,x6),(1))),for(x8,{(14,29)},p((x8,26),(1))))))))),for(x9,{(15,29)},p((x9,27),(1))));goodness : 75.3949 distance to original : 120 time need : 1435 greatness : 56 idv : 381482
conc(conc(for(x1,{(26,1)},fun(x2,{(x1,13,0)},p((15,x2),(1)))),fun(x3,{(1,1,0)},conc(for(x4,{(x3,27)},p((16,x4),(x3))),for(x5,{(24,27),(69,67)},fun(x6,{(x5,13,-1)},conc(for(x7,{(15,29)},p((x7,x6),(1))),for(x8,{(14,29)},p((x8,26),(1))))))))),for(x9,{(15,29)},p((x9,27),(1))));goodness : 75.4694 distance to original : 120 time need : 1304 greatness : 56 idv : 427573
conc(conc(conc(for(x1,{(1,27)},p((16,x1),(1))),for(x2,{(24,27),(69,67)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,29)},p((x5,26),(1))))))),for(x6,{(26,1)},fun(x7,{(x6,13,0)},p((15,x7),(1))))),for(x8,{(15,29)},p((x8,27),(1))));goodness : 75.9301 distance to original : 120 time need : 1300 greatness : 52 idv : 468634
for(x1,{(6,8)},fun(x2,{(x1,4,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))),for(x11,{(17,19)},conc(for(x12,{(29,17)},p((x12,27),(1))),conc(for(x13,{(26,1)},fun(x14,{(x13,x13,0)},p((15,x14),(1)))),fun(x15,{(1,1,0)},for(x16,{(x1,27)},p((29,x16),(x15)))))))))));goodness : 79.1822 distance to original : 101 time need : 6691 greatness : 93 idv : 491226
for(x1,{(6,8)},fun(x2,{(x1,4,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))),for(x11,{(17,19)},conc(for(x12,{(29,17)},p((x12,27),(1))),conc(for(x13,{(x1,1)},fun(x14,{(x13,x13,0)},p((15,x14),(1)))),fun(x15,{(1,1,0)},for(x16,{(x1,27)},p((29,x16),(x15)))))))))));goodness : 80.0493 distance to original : 101 time need : 5323 greatness : 93 idv : 491571
for(x1,{(6,8)},fun(x2,{(x1,4,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,29)},p((x10,26),(1))))))),conc(for(x11,{(29,17)},p((x11,27),(1))),conc(for(x12,{(x1,1)},fun(x13,{(x12,x12,0)},p((15,x13),(1)))),fun(x14,{(1,1,0)},for(x15,{(x1,27)},p((29,x15),(x14))))))))));goodness : 81.2255 distance to original : 101 time need : 4114 greatness : 90 idv : 499983
for(x1,{(6,8)},fun(x2,{(x1,4,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,28)},p((x10,26),(1))))))),conc(for(x11,{(29,17)},p((x11,27),(1))),conc(for(x12,{(x1,1)},fun(x13,{(x12,x12,0)},p((15,x13),(1)))),fun(x14,{(1,1,0)},for(x15,{(x1,27)},p((29,x15),(x14))))))))));goodness : 81.281 distance to original : 101 time need : 4030 greatness : 90 idv : 508593
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,28)},p((x10,26),(1))))))),conc(for(x11,{(29,17)},p((x11,27),(1))),conc(for(x12,{(x1,1)},fun(x13,{(x12,x12,0)},p((15,x13),(1)))),fun(x14,{(1,1,0)},for(x15,{(x1,27)},p((29,x15),(x14))))))))));goodness : 81.9148 distance to original : 100 time need : 4078 greatness : 90 idv : 514217
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,28)},p((x10,26),(1))))))),conc(for(x11,{(29,17)},p((x11,27),(1))),conc(for(x12,{(x1,1)},fun(x13,{(x12,x12,0)},p((15,x13),(1)))),fun(x14,{(1,1,0)},for(x15,{(4,27)},p((29,x15),(x14))))))))));goodness : 82.5668 distance to original : 99 time need : 4114 greatness : 90 idv : 530969
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,28)},p((x10,26),(1))))))),conc(for(x11,{(29,17)},p((x11,27),(1))),conc(for(x12,{(x1,1)},fun(x13,{(x12,x12,0)},p((15,x13),(1)))),fun(x14,{(1,1,0)},for(x15,{(3,27)},p((29,x15),(x14))))))))));goodness : 83.2459 distance to original : 98 time need : 4126 greatness : 90 idv : 531262
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(x2,x1)},fun(x4,{(x3,13,0)},p((15,x4),(1)))),conc(conc(fun(x5,{(1,1,-7)},for(x6,{(x5,27)},p((16,x6),(x5)))),for(x7,{(24,27),(69,67)},fun(x8,{(x7,13,-1)},conc(for(x9,{(15,29)},p((x9,x8),(1))),for(x10,{(14,28)},p((x10,26),(1))))))),conc(for(x11,{(29,17)},p((x11,27),(1))),fun(x12,{(1,1,0)},for(x13,{(3,27)},p((29,x13),(x12)))))))));goodness : 83.6456 distance to original : 100 time need : 3952 greatness : 78 idv : 539600
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(fun(x3,{(1,1,-7)},for(x4,{(x3,27)},p((16,x4),(x3)))),for(x5,{(24,27),(69,67)},fun(x6,{(x5,13,-1)},conc(for(x7,{(15,29)},p((x7,x6),(1))),for(x8,{(14,28)},p((x8,26),(1))))))),conc(for(x9,{(29,17)},p((x9,27),(1))),conc(for(x10,{(x2,1)},fun(x11,{(x10,x10,0)},p((15,x11),(1)))),fun(x12,{(1,1,0)},for(x13,{(3,27)},p((29,x13),(x12)))))))));goodness : 84.9647 distance to original : 98 time need : 4096 greatness : 78 idv : 541214
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(1,27)},p((16,x3),(1))),for(x4,{(24,27),(69,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(29,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},fun(x10,{(x9,x9,0)},p((15,x10),(1)))),fun(x11,{(1,-6,0)},for(x12,{(3,27)},p((29,x12),(x11)))))))));goodness : 85.5549 distance to original : 98 time need : 4084 greatness : 74 idv : 558251
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(1,x2)},p((16,x3),(1))),for(x4,{(24,27),(69,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(29,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},fun(x10,{(x9,x9,0)},p((15,x10),(1)))),fun(x11,{(1,-6,0)},for(x12,{(3,27)},p((29,x12),(x11)))))))));goodness : 85.5813 distance to original : 98 time need : 4048 greatness : 74 idv : 588167
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(1,x2)},p((16,x3),(1))),for(x4,{(24,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(29,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},fun(x10,{(x9,x9,0)},p((15,x10),(1)))),fun(x11,{(1,-6,0)},for(x12,{(3,27)},p((29,x12),(x11)))))))));goodness : 85.8612 distance to original : 98 time need : 3667 greatness : 74 idv : 650296
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(1,x2)},p((16,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(29,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},fun(x10,{(x9,x9,0)},p((15,x10),(1)))),fun(x11,{(1,-6,0)},for(x12,{(3,27)},p((29,x12),(x11)))))))));goodness : 86.143 distance to original : 98 time need : 3286 greatness : 74 idv : 725626
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(1,x2)},p((16,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(29,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},p((15,x9),(1))),fun(x10,{(1,-6,0)},for(x11,{(3,27)},p((29,x11),(x10)))))))));goodness : 86.958 distance to original : 98 time need : 2998 greatness : 70 idv : 736178
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(1,x2)},p((16,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(28,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},p((15,x9),(1))),fun(x10,{(1,-6,0)},for(x11,{(3,27)},p((29,x11),(x10)))))))));goodness : 86.9671 distance to original : 98 time need : 2986 greatness : 70 idv : 764990
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(2,x2)},p((16,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(28,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},p((15,x9),(1))),fun(x10,{(1,-6,0)},for(x11,{(3,27)},p((29,x11),(x10)))))))));goodness : 86.9762 distance to original : 98 time need : 2974 greatness : 70 idv : 842550
conc(p((25,16),(1)),for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(2,x2)},p((16,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(28,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},p((15,x9),(1))),fun(x10,{(1,-6,0)},for(x11,{(3,x2)},p((29,x11),(x10))))))))));goodness : 86.9996 distance to original : 97 time need : 2943 greatness : 75 idv : 946310
for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(2,x2)},p((16,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(28,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},p((15,x9),(1))),fun(x10,{(1,-6,0)},for(x11,{(3,x2)},p((29,x11),(x10)))))))));goodness : 87.0034 distance to original : 98 time need : 2938 greatness : 70 idv : 985153
conc(p((25,16),(1)),for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(conc(for(x3,{(2,x2)},p((16,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(16,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1))))))),conc(for(x8,{(28,17)},p((x8,27),(1))),conc(for(x9,{(x2,1)},p((15,x9),(1))),fun(x10,{(1,-6,0)},for(x11,{(3,x2)},p((29,x11),(x10))))))))));goodness : 87.0451 distance to original : 97 time need : 2883 greatness : 75 idv : 990630
fun(x1,{(1,13,1)},conc(p((25,16),(1)),for(x2,{(6,8)},fun(x3,{(37,10,-1),(3,x2,1)},conc(conc(for(x4,{(2,x3)},p((16,x4),(1))),for(x5,{(25,27),(68,67)},fun(x6,{(x5,x1,-1)},conc(for(x7,{(16,29)},p((x7,x6),(1))),for(x8,{(14,28)},p((x8,26),(1))))))),conc(for(x9,{(28,17)},p((x9,27),(1))),conc(for(x10,{(3,x3)},p((29,x10),(x1))),for(x11,{(x3,1)},p((15,x11),(1))))))))));goodness : 87.0511 distance to original : 97 time need : 2875 greatness : 75 idv : 1002379
fun(x1,{(1,13,1)},for(x2,{(6,8)},fun(x3,{(37,10,-1),(3,x2,1)},conc(conc(for(x4,{(2,x3)},p((16,x4),(1))),for(x5,{(25,27),(68,67)},fun(x6,{(x5,x1,-1)},conc(for(x7,{(16,29)},p((x7,x6),(1))),for(x8,{(14,28)},p((x8,26),(1))))))),conc(for(x9,{(28,17)},p((x9,27),(1))),conc(for(x10,{(3,x3)},p((29,x10),(x1))),for(x11,{(x3,1)},p((15,x11),(1)))))))));goodness : 87.0549 distance to original : 98 time need : 2870 greatness : 70 idv : 1016551
conc(conc(fun(x1,{(1,-6,0)},for(x2,{(3,18)},p((29,x2),(x1)))),conc(for(x3,{(10,18)},p((25,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1)))))))),for(x8,{(6,8)},fun(x9,{(37,10,-1),(3,x8,1)},conc(for(x10,{(2,x9)},p((16,x10),(1))),conc(for(x11,{(28,17)},p((x11,27),(1))),conc(for(x12,{(x9,1)},p((15,x12),(1))),fun(x13,{(1,-3,-7)},for(x14,{(3,x9)},p((29,x14),(1))))))))));goodness : 87.1293 distance to original : 95 time need : 1772 greatness : 90 idv : 1025038
conc(conc(fun(x1,{(1,-6,0)},for(x2,{(3,18)},p((29,x2),(x1)))),conc(for(x3,{(10,18)},p((25,x3),(1))),for(x4,{(25,27),(68,67)},fun(x5,{(x4,13,-1)},conc(for(x6,{(15,29)},p((x6,x5),(1))),for(x7,{(14,28)},p((x7,26),(1)))))))),for(x8,{(6,8)},fun(x9,{(37,10,-1),(3,x8,1)},conc(for(x10,{(2,x9)},p((16,x10),(1))),conc(for(x11,{(28,17)},p((x11,27),(1))),conc(for(x12,{(x9,1)},p((15,x12),(1))),for(x13,{(3,x9)},p((29,x13),(1)))))))));goodness : 87.7501 distance to original : 95 time need : 1760 greatness : 86 idv : 1029505
conc(conc(for(x1,{(10,18)},p((25,x1),(1))),for(x2,{(25,27),(68,67)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,28)},p((x5,26),(1))))))),for(x6,{(6,8)},fun(x7,{(37,10,-1),(3,x6,1)},conc(for(x8,{(2,x7)},p((16,x8),(1))),conc(for(x9,{(28,17)},p((x9,27),(1))),conc(for(x10,{(x7,1)},p((15,x10),(1))),for(x11,{(3,x7)},p((29,x11),(1)))))))));goodness : 89.6941 distance to original : 95 time need : 1690 greatness : 74 idv : 1039694
conc(conc(for(x1,{(22,18)},p((25,x1),(1))),for(x2,{(25,27),(68,67)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,28)},p((x5,26),(1))))))),for(x6,{(6,8)},fun(x7,{(37,10,-1),(3,x6,1)},conc(for(x8,{(2,x7)},p((16,x8),(1))),conc(for(x9,{(28,17)},p((x9,27),(1))),conc(for(x10,{(x7,1)},p((15,x10),(1))),for(x11,{(3,x7)},p((29,x11),(1)))))))));goodness : 91.3459 distance to original : 93 time need : 1674 greatness : 74 idv : 1072051
conc(conc(for(x1,{(22,18)},p((25,x1),(1))),for(x2,{(25,27),(68,68)},fun(x3,{(x2,13,-1)},conc(for(x4,{(15,29)},p((x4,x3),(1))),for(x5,{(14,28)},p((x5,26),(1))))))),for(x6,{(6,8)},fun(x7,{(37,10,-1),(3,x6,1)},conc(for(x8,{(2,x7)},p((16,x8),(1))),conc(for(x9,{(28,17)},p((x9,27),(1))),conc(for(x10,{(x7,1)},p((15,x10),(1))),for(x11,{(3,x7)},p((29,x11),(1)))))))));goodness : 91.452 distance to original : 93 time need : 1547 greatness : 74 idv : 1102686
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(for(x4,{(28,17)},p((x4,27),(1))),conc(for(x5,{(x2,1)},p((15,x5),(1))),for(x6,{(3,x2)},p((29,x6),(1)))))))),conc(for(x7,{(6,8)},fun(x8,{(37,10,-1),(3,x7,1)},conc(for(x9,{(2,x8)},p((16,x9),(1))),for(x10,{(3,x8)},p((21,x10),(1)))))),conc(for(x11,{(22,18)},p((25,x11),(1))),for(x12,{(25,27),(68,67)},fun(x13,{(x12,13,-1)},conc(for(x14,{(15,29)},p((x14,x13),(1))),for(x15,{(14,28)},p((x15,26),(1)))))))));goodness : 91.5365 distance to original : 87 time need : 2246 greatness : 100 idv : 1109459
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(for(x4,{(28,17)},p((x4,27),(1))),conc(for(x5,{(x2,1)},p((15,x5),(1))),for(x6,{(3,x2)},p((29,x6),(1)))))))),conc(for(x7,{(6,8)},fun(x8,{(37,10,-1),(3,x7,1)},conc(for(x9,{(2,x8)},p((16,x9),(1))),for(x10,{(x7,x8)},p((21,x10),(1)))))),conc(for(x11,{(22,18)},p((25,x11),(1))),for(x12,{(25,27),(68,67)},fun(x13,{(x12,13,-1)},conc(for(x14,{(15,29)},p((x14,x13),(1))),for(x15,{(14,28)},p((x15,26),(1)))))))));goodness : 93.2853 distance to original : 85 time need : 2198 greatness : 100 idv : 1115332
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(for(x4,{(28,17)},p((x4,27),(1))),conc(for(x5,{(x2,1)},p((15,x5),(1))),for(x6,{(3,x2)},p((29,x6),(1)))))))),conc(for(x7,{(6,8)},fun(x8,{(37,10,-21),(3,x7,1)},conc(for(x9,{(2,x8)},p((16,x9),(1))),for(x10,{(3,x8)},p((21,x10),(1)))))),conc(for(x11,{(25,27),(68,67)},fun(x12,{(x11,13,-1)},conc(for(x13,{(15,29)},p((x13,x12),(1))),for(x14,{(14,28)},p((x14,26),(1)))))),for(x15,{(22,18)},p((25,x15),(1))))));goodness : 93.3201 distance to original : 85 time need : 2158 greatness : 100 idv : 1117517
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(for(x4,{(28,17)},p((x4,27),(1))),conc(for(x5,{(x2,1)},p((15,x5),(1))),for(x6,{(3,x2)},p((29,x6),(1)))))))),conc(for(x7,{(6,8)},fun(x8,{(37,10,-21),(3,x7,1)},for(x9,{(3,x8)},p((21,x9),(1))))),conc(for(x10,{(25,27),(68,67)},fun(x11,{(x10,13,-1)},conc(for(x12,{(15,29)},p((x12,x11),(1))),for(x13,{(14,28)},p((x13,26),(1)))))),for(x14,{(22,18)},p((25,x14),(1))))));goodness : 94.9487 distance to original : 85 time need : 1920 greatness : 92 idv : 1130783
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(for(x4,{(28,17)},p((x4,27),(1))),conc(for(x5,{(x2,1)},p((15,x5),(1))),for(x6,{(3,x2)},p((29,x6),(1)))))))),conc(for(x7,{(6,8)},fun(x8,{(37,7,-21),(3,x7,1)},for(x9,{(x7,x8)},p((21,x9),(1))))),conc(for(x10,{(25,27),(68,67)},fun(x11,{(x10,13,-1)},conc(for(x12,{(15,29)},p((x12,x11),(1))),for(x13,{(14,28)},p((x13,26),(1)))))),for(x14,{(22,18)},p((25,x14),(1))))));goodness : 96.8317 distance to original : 83 time need : 1872 greatness : 92 idv : 1158245
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(for(x4,{(28,17)},p((x4,27),(1))),conc(for(x5,{(x2,1)},p((15,x5),(1))),for(x6,{(3,x2)},p((29,x6),(1)))))))),conc(for(x7,{(6,8)},fun(x8,{(3,x7,1)},for(x9,{(x7,x8)},p((21,x9),(1))))),conc(for(x10,{(25,27),(68,67)},fun(x11,{(x10,13,-1)},conc(for(x12,{(15,29)},p((x12,x11),(1))),for(x13,{(14,28)},p((x13,26),(1)))))),for(x14,{(22,18)},p((25,x14),(1))))));goodness : 97.4061 distance to original : 83 time need : 1863 greatness : 89 idv : 1182722
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(for(x4,{(28,17)},p((x4,27),(1))),conc(for(x5,{(x2,1)},p((15,x5),(1))),for(x6,{(3,x2)},p((29,x6),(1)))))))),conc(for(x7,{(6,8)},fun(x8,{(3,x7,1),(-1,5,0)},for(x9,{(x7,x8)},p((21,x9),(1))))),conc(for(x10,{(25,27),(68,67)},fun(x11,{(x10,13,-1)},conc(for(x12,{(15,29)},p((x12,x11),(1))),for(x13,{(14,28)},p((x13,26),(1)))))),for(x14,{(22,18)},p((25,x14),(1))))));goodness : 97.7899 distance to original : 82 time need : 1860 greatness : 92 idv : 1188656
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(conc(for(x4,{(22,18),(15,18)},p((25,x4),(1))),for(x5,{(28,17)},p((x5,27),(1)))),conc(for(x6,{(x2,1)},p((15,x6),(1))),for(x7,{(3,x2)},p((29,x7),(1)))))))),conc(for(x8,{(6,8)},fun(x9,{(3,x8,1),(-1,5,0)},for(x10,{(x8,x9)},p((21,x10),(1))))),conc(for(x11,{(25,27),(68,67)},fun(x12,{(x11,13,-1)},conc(for(x13,{(15,29)},p((x13,x12),(1))),for(x14,{(14,28)},p((x14,26),(1)))))),for(x15,{(22,18)},p((25,x15),(1))))));goodness : 98.6446 distance to original : 79 time need : 1974 greatness : 102 idv : 1200186
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(conc(for(x4,{(22,18),(15,18)},p((25,x4),(1))),for(x5,{(28,17)},p((x5,27),(1)))),conc(for(x6,{(x2,1)},p((15,x6),(1))),for(x7,{(3,x2)},p((29,x7),(1)))))))),conc(for(x8,{(6,8)},fun(x9,{(3,x8,1),(-1,5,0)},for(x10,{(x8,x9)},p((21,x10),(1))))),for(x11,{(25,27),(68,67)},fun(x12,{(x11,13,-1)},conc(for(x13,{(15,29)},p((x13,x12),(1))),for(x14,{(14,28)},p((x14,26),(1))))))));goodness : 100.249 distance to original : 79 time need : 1952 greatness : 94 idv : 1215899
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(conc(for(x4,{(22,18),(15,18)},p((25,x4),(1))),for(x5,{(28,17)},p((x5,27),(1)))),conc(for(x6,{(x2,1)},p((15,x6),(1))),for(x7,{(3,x2)},p((29,x7),(1)))))))),conc(for(x8,{(6,8)},fun(x9,{(3,x8,1),(-1,5,0)},for(x10,{(x8,x9)},p((21,x10),(1))))),for(x11,{(25,27),(67,67)},fun(x12,{(x11,13,-1)},conc(for(x13,{(15,29)},p((x13,x12),(1))),for(x14,{(14,28)},p((x14,26),(1))))))));goodness : 100.376 distance to original : 79 time need : 1825 greatness : 94 idv : 1318934
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(conc(for(x4,{(22,14),(17,18)},p((25,x4),(1))),for(x5,{(28,17)},p((x5,27),(1)))),conc(for(x6,{(3,x2)},p((29,x6),(1))),for(x7,{(x2,1)},p((15,x7),(1)))))))),conc(for(x8,{(6,8)},fun(x9,{(3,x8,1),(-1,5,0)},for(x10,{(x8,x9)},p((21,x10),(1))))),for(x11,{(25,27),(68,67)},fun(x12,{(x11,13,-1)},conc(for(x13,{(15,29)},p((x13,x12),(1))),for(x14,{(14,28)},p((x14,26),(1))))))));goodness : 101.239 distance to original : 78 time need : 1976 greatness : 94 idv : 1324070
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(conc(for(x4,{(22,14),(17,18)},p((25,x4),(1))),for(x5,{(28,17)},p((x5,27),(1)))),conc(for(x6,{(3,x2)},p((29,x6),(1))),for(x7,{(x2,1)},p((15,x7),(1)))))))),conc(for(x8,{(6,8)},fun(x9,{(3,x8,1),(-1,-3,0)},for(x10,{(x8,x9)},p((21,x10),(1))))),for(x11,{(25,27),(67,67)},fun(x12,{(x11,13,-1)},conc(for(x13,{(15,29)},p((x13,x12),(1))),for(x14,{(14,28)},p((x14,26),(1))))))));goodness : 101.37 distance to original : 78 time need : 1849 greatness : 94 idv : 1361663
conc(for(x1,{(6,8)},fun(x2,{(37,10,-1),(3,x1,1)},conc(for(x3,{(2,x2)},p((16,x3),(1))),conc(conc(for(x4,{(22,14),(18,18)},p((25,x4),(1))),for(x5,{(28,17)},p((x5,27),(1)))),conc(for(x6,{(3,x2)},p((29,x6),(1))),for(x7,{(x2,1)},p((15,x7),(1)))))))),conc(for(x8,{(6,8)},fun(x9,{(3,x8,1),(-1,-3,0)},for(x10,{(x8,x9)},p((21,x10),(1))))),for(x11,{(25,27),(67,67)},fun(x12,{(x11,13,-1)},conc(for(x13,{(15,29)},p((x13,x12),(1))),for(x14,{(14,28)},p((x14,26),(1))))))));goodness : 101.382 distance to original : 78 time need : 1837 greatness : 94 idv : 1384107 till: 1447000



p((12,21),(0));goodness : 42.9546 distance to original : 232 time need : 4 greatness : 4 idv : 1
p((10,6),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 3
for(x1,{(21,24)},fun(x2,{(x1,20,-1),(1,x1,1)},p((29,x2),(1))));goodness : 43.3191 distance to original : 228 time need : 45 greatness : 14 idv : 122
conc(p((3,14),(1)),for(x1,{(21,24),(19,26)},fun(x2,{(x1,20,-1),(1,x1,1)},p((29,x2),(1)))));goodness : 43.9874 distance to original : 223 time need : 138 greatness : 21 idv : 189
for(x1,{(0,2)},conc(fun(x2,{(x1,14,-1),(-2,x1,1)},p((5,-3),(x2))),for(x3,{(11,24)},fun(x4,{(x3,20,-1),(1,x3,1)},p((29,x4),(1))))));goodness : 44.5828 distance to original : 218 time need : 502 greatness : 29 idv : 430
conc(p((3,14),(1)),for(x1,{(21,24),(0,26)},fun(x2,{(x1,20,-1),(1,x1,1)},p((29,x2),(1)))));goodness : 47.4953 distance to original : 206 time need : 347 greatness : 21 idv : 1545
for(x1,{(21,24),(0,26)},fun(x2,{(x1,20,-1),(1,x1,1)},p((29,x2),(1))));goodness : 47.4965 distance to original : 207 time need : 342 greatness : 16 idv : 15521
for(x1,{(21,24),(0,26)},fun(x2,{(37,20,-1),(1,x1,1)},p((29,x2),(1))));goodness : 47.952 distance to original : 205 time need : 342 greatness : 16 idv : 18689
for(x1,{(24,24),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1))));goodness : 47.9596 distance to original : 205 time need : 309 greatness : 16 idv : 44961
conc(fun(x1,{(0,1,2)},for(x2,{(24,24),(0,26)},fun(x3,{(30,20,-1),(1,x2,1)},p((29,x3),(1))))),for(x4,{(-1,2)},fun(x5,{(x4,1,-1),(3,x4,1)},for(x6,{(0,0)},conc(for(x7,{(-2,3)},conc(fun(x8,{(x7,6,-1),(8,x7,1)},for(x9,{(21,24),(x8,26)},p((29,x9),(1)))),p((18,7),(0)))),fun(x10,{(x6,0,-1),(0,x6,1)},for(x11,{(0,0)},fun(x12,{(-1,1,x5),(-2,-1,x10)},for(x13,{(3,x10)},for(x14,{(x13,x12),(6,26)},p((16,x14),(1))))))))))));goodness : 48.6299 distance to original : 183 time need : 5035 greatness : 88 idv : 92668
conc(for(x1,{(24,24),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),for(x3,{(-1,2)},fun(x4,{(x3,1,-1),(3,x3,1)},for(x5,{(0,0)},conc(for(x6,{(-2,3)},conc(fun(x7,{(x6,6,-1),(8,x6,1)},for(x8,{(21,24),(x7,26)},p((29,x8),(1)))),p((18,7),(0)))),fun(x9,{(x5,0,-1),(0,x5,1)},for(x10,{(0,0)},fun(x11,{(-1,1,x4),(-2,-1,x9)},for(x12,{(3,x9)},for(x13,{(x12,x11),(6,26)},p((16,x13),(1))))))))))));goodness : 48.8207 distance to original : 183 time need : 5031 greatness : 84 idv : 94714
conc(fun(x1,{(0,1,2)},for(x2,{(24,24),(0,26)},fun(x3,{(30,20,-1),(1,x2,1)},p((29,x3),(1))))),for(x4,{(-1,2)},fun(x5,{(x4,1,-1),(3,x4,1)},for(x6,{(0,0)},fun(x7,{(x6,0,-1),(0,x6,1)},for(x8,{(0,0)},fun(x9,{(-1,1,x5),(-2,-1,x7)},for(x10,{(3,x7)},for(x11,{(x10,x9),(6,26)},p((16,x11),(1)))))))))));goodness : 50.8329 distance to original : 182 time need : 2123 greatness : 63 idv : 94849
conc(fun(x1,{(0,1,2)},for(x2,{(24,24),(0,26)},fun(x3,{(30,20,-1),(1,x2,1)},p((29,x3),(1))))),for(x4,{(-1,2)},fun(x5,{(x4,1,-1),(3,x4,1)},for(x6,{(0,0)},fun(x7,{(x6,0,-1),(0,x6,1)},for(x8,{(0,0)},fun(x9,{(-1,1,x5),(-2,-1,47)},for(x10,{(3,x7)},for(x11,{(x10,x9),(6,26)},p((16,x11),(1)))))))))));goodness : 50.8908 distance to original : 182 time need : 1899 greatness : 63 idv : 99489
for(x1,{(0,0)},conc(fun(x2,{(0,1,2)},for(x3,{(24,24),(0,26)},fun(x4,{(30,20,-1),(1,x3,1)},p((29,x4),(1))))),for(x5,{(-1,2)},fun(x6,{(x5,1,-1),(3,x5,1)},for(x7,{(x5,x5)},fun(x8,{(x7,0,-1),(0,x7,1)},fun(x9,{(-1,1,x6),(-2,-1,x8)},for(x10,{(3,x8)},for(x11,{(9,x9),(6,26)},p((16,x11),(1)))))))))));goodness : 51.2295 distance to original : 180 time need : 2600 greatness : 63 idv : 99561
conc(for(x1,{(24,24),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),for(x3,{(-1,2)},fun(x4,{(x3,1,-1),(3,x3,1)},for(x5,{(x3,0)},fun(x6,{(x5,0,-1),(0,x5,1)},fun(x7,{(-1,1,x4),(-2,-1,x6)},for(x8,{(9,x7),(6,26)},p((16,x8),(1)))))))));goodness : 52.0424 distance to original : 180 time need : 1551 greatness : 53 idv : 101603
conc(for(x1,{(24,24),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),for(x3,{(-1,2)},fun(x4,{(x3,1,-1),(3,x3,1)},for(x5,{(x3,0)},fun(x6,{(x5,0,-1),(0,x5,1)},fun(x7,{(x3,1,x4),(-2,10,x6)},for(x8,{(9,x7),(6,26)},p((16,x8),(1)))))))));goodness : 52.0576 distance to original : 180 time need : 1495 greatness : 53 idv : 108741
conc(for(x1,{(24,24),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),for(x3,{(-1,2)},fun(x4,{(x3,1,-1),(3,x3,1)},for(x5,{(x3,x3)},fun(x6,{(x5,1,-1),(0,x5,1)},fun(x7,{(-1,1,x4),(-2,-1,x6)},for(x8,{(9,x7),(6,26)},p((16,x8),(1)))))))));goodness : 52.2152 distance to original : 180 time need : 915 greatness : 53 idv : 109349
conc(for(x1,{(24,24),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),for(x3,{(-1,2)},fun(x4,{(x3,1,-1),(3,x3,1)},for(x5,{(x3,0)},fun(x6,{(x5,0,-1),(0,x5,1)},fun(x7,{(-1,1,x4)},for(x8,{(9,x7),(6,26)},p((16,x8),(1)))))))));goodness : 52.2294 distance to original : 180 time need : 1463 greatness : 50 idv : 113142
conc(for(x1,{(-1,2)},fun(x2,{(x1,1,-1),(3,x1,-1)},for(x3,{(x1,0)},fun(x4,{(-1,1,x2)},for(x5,{(9,x4),(6,26)},p((16,x5),(1))))))),for(x6,{(24,24),(0,26)},fun(x7,{(30,20,-1),(1,x6,1)},p((29,x7),(1)))));goodness : 52.6296 distance to original : 180 time need : 1407 greatness : 43 idv : 117128
conc(for(x1,{(-1,2)},fun(x2,{(x1,1,-1),(3,x1,-1)},fun(x3,{(-1,1,x2)},for(x4,{(9,x3),(6,26)},p((16,x4),(1)))))),for(x5,{(24,24),(0,26)},fun(x6,{(30,20,-1),(1,x5,1)},p((29,x6),(1)))));goodness : 52.9462 distance to original : 180 time need : 871 greatness : 40 idv : 118764
conc(fun(x1,{(-1,1,-1),(3,-1,-1)},for(x2,{(-1,0)},fun(x3,{(-1,1,x1)},for(x4,{(9,x3),(6,26)},p((16,x4),(1)))))),for(x5,{(24,24),(0,26)},fun(x6,{(30,20,-1),(1,x5,1)},p((29,x6),(1)))));goodness : 53.0268 distance to original : 180 time need : 584 greatness : 40 idv : 119105
conc(fun(x1,{(-1,1,-1),(3,-1,5)},for(x2,{(-1,0)},fun(x3,{(-1,1,x1)},for(x4,{(9,x2),(6,26)},p((16,x4),(1)))))),for(x5,{(24,24),(0,26)},fun(x6,{(30,20,-1),(1,x5,1)},p((29,x6),(1)))));goodness : 53.0279 distance to original : 180 time need : 580 greatness : 40 idv : 126913
conc(fun(x1,{(-10,1,-1),(3,-9,5)},fun(x2,{(-1,1,x1)},for(x3,{(9,-1),(6,26)},p((16,x3),(1))))),for(x4,{(24,24),(0,26)},fun(x5,{(30,20,-1),(1,x4,1)},p((29,x5),(1)))));goodness : 53.234 distance to original : 180 time need : 450 greatness : 37 idv : 128297
conc(for(x1,{(-1,0)},for(x2,{(9,x1),(6,26)},p((16,x2),(1)))),for(x3,{(24,24),(0,26)},fun(x4,{(30,20,-1),(1,x3,1)},p((29,x4),(1)))));goodness : 53.6581 distance to original : 180 time need : 565 greatness : 29 idv : 128525
conc(for(x1,{(9,-1),(6,26)},p((16,x1),(1))),for(x2,{(24,24),(0,26)},fun(x3,{(30,20,-1),(1,x2,1)},p((29,x3),(1)))));goodness : 53.868 distance to original : 180 time need : 439 greatness : 26 idv : 131788
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,-21),(-15,-12,5)},fun(x3,{(-1,1,x2)},for(x4,{(9,x3),(6,26)},p((16,x4),(1))))),fun(x5,{(-9,1,0)},for(x6,{(-2,1)},fun(x7,{(x6,17,-1),(0,x6,1)},fun(x8,{(12,1,-1),(-8,x5,x7)},for(x9,{(8,0)},fun(x10,{(-1,1,x8)},for(x11,{(x10,29),(6,26),(56,60)},p((x1,x11),(1)))))))))),for(x12,{(24,24),(0,26)},fun(x13,{(30,20,-1),(1,x12,1)},p((29,x13),(1))))));goodness : 55.2157 distance to original : 156 time need : 8908 greatness : 81 idv : 149741
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,-21),(-15,-12,5)},fun(x3,{(-1,1,x2)},for(x4,{(9,x3),(6,26)},p((16,x4),(1))))),fun(x5,{(-9,1,0)},for(x6,{(-2,1)},fun(x7,{(x6,17,-1),(0,x6,1)},fun(x8,{(12,1,-1),(-8,x5,x7)},for(x9,{(8,0)},fun(x10,{(-1,1,x8)},for(x11,{(x10,29),(x1,26),(56,60)},p((x1,x11),(1)))))))))),for(x12,{(24,24),(0,26)},fun(x13,{(30,20,-1),(1,x12,1)},p((29,x13),(1))))));goodness : 55.6136 distance to original : 156 time need : 7612 greatness : 81 idv : 152110
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,x1)},for(x3,{(9,x2),(6,26)},p((16,x3),(1)))),fun(x4,{(-9,1,0)},for(x5,{(-2,1)},fun(x6,{(x5,17,-1),(0,x5,1)},fun(x7,{(12,1,-1),(-8,x4,x6)},for(x8,{(8,0)},fun(x9,{(-1,1,x7)},for(x10,{(x9,29),(x1,26),(56,60)},p((x1,x10),(1)))))))))),for(x11,{(24,24),(0,26)},fun(x12,{(30,20,-1),(1,x11,1)},p((29,x12),(1))))));goodness : 56.0522 distance to original : 156 time need : 7605 greatness : 74 idv : 156532
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,-21),(-15,-12,5)},fun(x3,{(-1,1,x2)},for(x4,{(9,x3),(6,26)},p((16,x4),(1))))),fun(x5,{(-9,1,0)},for(x6,{(-2,1)},fun(x7,{(x6,17,-1),(0,x6,1)},fun(x8,{(12,1,-1),(-8,x5,x7)},fun(x9,{(-1,1,x8)},for(x10,{(x9,29),(6,26),(56,60)},p((x1,x10),(1))))))))),for(x11,{(24,24),(0,26)},fun(x12,{(30,20,-1),(1,x11,1)},p((29,x12),(1))))));goodness : 57.7874 distance to original : 156 time need : 1448 greatness : 78 idv : 156657
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,-21),(-15,-12,5)},fun(x3,{(-1,1,x2)},for(x4,{(9,x3),(6,26)},p((16,x4),(1))))),fun(x5,{(-9,1,0)},for(x6,{(-2,1)},fun(x7,{(x6,17,-1),(0,x6,1)},fun(x8,{(12,1,-1),(-8,x5,x7)},fun(x9,{(-1,1,x8)},for(x10,{(x9,29),(6,26),(56,58)},p((x1,x10),(1))))))))),for(x11,{(24,24),(0,26)},fun(x12,{(30,20,-1),(1,x11,1)},p((29,x12),(1))))));goodness : 57.7981 distance to original : 156 time need : 1416 greatness : 78 idv : 159588
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,-21),(-15,-12,5)},fun(x3,{(-1,1,x2)},for(x4,{(9,x3),(6,26)},p((16,x4),(1))))),fun(x5,{(-9,1,0)},for(x6,{(-2,1)},fun(x7,{(x6,17,-1),(0,x6,1)},fun(x8,{(12,1,-1),(-8,44,35)},fun(x9,{(-1,1,x8)},for(x10,{(x9,29),(x1,26),(56,60)},p((x1,x10),(1))))))))),for(x11,{(24,24),(0,26)},fun(x12,{(30,20,-1),(1,x11,1)},p((29,x12),(1))))));goodness : 57.8356 distance to original : 156 time need : 1304 greatness : 78 idv : 159972
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,-21),(-15,-12,5)},fun(x3,{(-1,1,x2)},for(x4,{(9,x3),(6,26)},p((16,x4),(1))))),for(x5,{(-2,1)},fun(x6,{(x5,17,-1),(0,x5,1)},fun(x7,{(12,1,-1),(-8,44,35)},fun(x8,{(-1,1,x7)},for(x9,{(x8,29),(x1,26),(56,60)},p((x1,x9),(1)))))))),for(x10,{(24,24),(0,26)},fun(x11,{(30,20,-1),(1,x10,1)},p((29,x11),(1))))));goodness : 58.1058 distance to original : 156 time need : 1300 greatness : 74 idv : 165692
fun(x1,{(1,16,1)},conc(conc(fun(x2,{(-1,1,-1)},for(x3,{(9,x2),(6,26)},p((16,x3),(1)))),for(x4,{(-2,1)},fun(x5,{(x4,17,-1),(0,x4,1)},fun(x6,{(12,1,-1),(-8,44,35)},fun(x7,{(-1,1,x6)},for(x8,{(x7,29),(x1,26),(56,60)},p((x1,x8),(1)))))))),for(x9,{(24,24),(0,26)},fun(x10,{(30,20,-1),(1,x9,1)},p((29,x10),(1))))));goodness : 58.5847 distance to original : 156 time need : 1293 greatness : 67 idv : 165763
fun(x1,{(1,16,1)},conc(conc(for(x2,{(9,-1),(6,26)},p((16,x2),(1))),for(x3,{(-2,1)},fun(x4,{(x3,17,-1),(0,x3,1)},fun(x5,{(12,1,-1),(-8,44,35)},fun(x6,{(-1,1,x5)},for(x7,{(x6,29),(x1,26),(56,60)},p((x1,x7),(1)))))))),for(x8,{(x1,24),(0,26)},fun(x9,{(30,20,-1),(1,x8,1)},p((29,x9),(1))))));goodness : 58.8277 distance to original : 156 time need : 1388 greatness : 63 idv : 168495
fun(x1,{(1,1,2)},fun(x2,{(1,16,1)},conc(conc(for(x3,{(9,-1),(6,26)},p((16,x3),(1))),for(x4,{(-2,1)},fun(x5,{(12,x1,-1),(-8,44,35)},fun(x6,{(-1,1,x5)},for(x7,{(x6,29),(x2,26),(56,60)},p((x2,x7),(1))))))),for(x8,{(x2,24),(0,26)},fun(x9,{(30,20,-1),(1,x8,1)},p((29,x9),(1)))))));goodness : 59.0444 distance to original : 156 time need : 1364 greatness : 60 idv : 170874
fun(x1,{(1,1,2)},fun(x2,{(1,16,1)},conc(conc(for(x3,{(9,-1),(6,26)},p((16,x3),(1))),for(x4,{(-2,1)},fun(x5,{(12,x1,-1),(-8,44,35)},fun(x6,{(-1,x2,x5)},for(x7,{(x6,29),(x2,26),(56,60)},p((x2,x7),(1))))))),for(x8,{(x2,24),(0,26)},fun(x9,{(30,20,-1),(1,x8,1)},p((29,x9),(1)))))));goodness : 59.05 distance to original : 156 time need : 1348 greatness : 60 idv : 177896
fun(x1,{(1,1,2)},conc(conc(for(x2,{(9,-1),(6,26)},p((16,x2),(1))),for(x3,{(-2,1)},fun(x4,{(12,x1,-1),(-8,44,35)},fun(x5,{(-1,1,x4)},for(x6,{(x5,29),(15,26),(56,60)},p((15,x6),(1))))))),for(x7,{(15,24),(0,26)},fun(x8,{(30,20,-1),(1,x7,1)},p((29,x8),(1))))));goodness : 59.3261 distance to original : 156 time need : 1360 greatness : 56 idv : 178293
conc(conc(for(x1,{(9,-1),(6,26)},p((16,x1),(1))),for(x2,{(-2,1)},fun(x3,{(12,1,-1),(15,58,35)},fun(x4,{(-1,1,x3)},for(x5,{(x4,29),(15,26),(56,60)},p((15,x5),(1))))))),for(x6,{(15,24),(0,26)},fun(x7,{(30,20,-1),(1,x6,1)},p((29,x7),(1)))));goodness : 59.6104 distance to original : 156 time need : 1356 greatness : 52 idv : 183197
fun(x1,{(1,16,1)},conc(conc(for(x2,{(9,-1),(6,26)},p((16,x2),(1))),for(x3,{(-2,1)},fun(x4,{(12,1,-1),(x1,58,35)},fun(x5,{(-1,1,x4)},for(x6,{(x5,17),(x1,26),(56,60)},p((x1,x6),(1))))))),for(x7,{(x1,24),(0,26)},fun(x8,{(30,20,-1),(1,x7,1)},p((29,x8),(1))))));goodness : 59.7486 distance to original : 155 time need : 1168 greatness : 56 idv : 184045
p((27,28),(0));goodness : 42.9546 distance to original : 232 time need : 4 greatness : 4 idv : 1
p((22,14),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 3
fun(x1,{(1,16,1)},conc(conc(for(x2,{(9,-1),(6,26)},p((16,x2),(1))),for(x3,{(-2,1)},fun(x4,{(12,1,-1),(x1,58,35)},fun(x5,{(-1,1,x4)},for(x6,{(x5,17),(x1,26),(56,60)},p((x1,x6),(1))))))),for(x7,{(x1,24),(0,26)},fun(x8,{(30,20,-1),(1,x7,1)},p((29,x8),(1))))));goodness : 59.7486 distance to original : 155 time need : 1168 greatness : 56 idv : 88
conc(conc(for(x1,{(9,-1),(6,26)},p((16,x1),(1))),for(x2,{(6,1)},fun(x3,{(12,1,-1),(15,58,35)},fun(x4,{(-1,1,x3)},for(x5,{(x4,17),(15,26),(56,60)},p((15,x5),(1))))))),for(x6,{(15,24),(0,26)},fun(x7,{(30,20,-1),(1,x6,1)},p((29,x7),(1)))));goodness : 59.9247 distance to original : 155 time need : 1476 greatness : 52 idv : 2514
fun(x1,{(0,4,-1),(0,0,1)},fun(x2,{(1,16,1)},conc(for(x3,{(x2,x1),(0,26)},fun(x4,{(30,20,-1),(1,x3,1)},p((29,x4),(1)))),conc(for(x5,{(9,-1),(6,26)},p((16,x5),(1))),fun(x6,{(-1,1,x2)},for(x7,{(x6,17),(x2,26),(56,60)},p((x2,x7),(1))))))));goodness : 60.1088 distance to original : 155 time need : 765 greatness : 53 idv : 6313
fun(x1,{(1,16,1)},conc(conc(for(x2,{(9,-1),(6,26)},p((16,x2),(1))),fun(x3,{(12,1,-1),(x1,58,35)},fun(x4,{(-1,1,x3)},for(x5,{(x4,17),(x1,26),(56,60)},p((x1,x5),(1)))))),for(x6,{(x1,24),(0,26)},fun(x7,{(30,20,-1),(1,x6,1)},p((29,x7),(1))))));goodness : 60.1327 distance to original : 155 time need : 699 greatness : 53 idv : 7036
fun(x1,{(30,1,1)},fun(x2,{(1,16,1)},conc(for(x3,{(x2,0),(0,26)},fun(x4,{(x1,20,-1),(1,x3,1)},p((29,x4),(1)))),conc(for(x5,{(9,-1),(6,26)},p((16,x5),(1))),fun(x6,{(-1,1,x2)},for(x7,{(x6,17),(x2,26),(56,60)},p((x2,x7),(1))))))));goodness : 60.3275 distance to original : 155 time need : 762 greatness : 50 idv : 12101
fun(x1,{(30,1,-10)},conc(for(x2,{(15,0),(0,26)},fun(x3,{(x1,20,-1),(1,x2,1)},p((29,x3),(1)))),conc(for(x4,{(9,-1),(6,26)},p((16,x4),(1))),fun(x5,{(-1,1,27)},for(x6,{(x5,17),(15,26),(56,60)},p((15,x6),(1)))))));goodness : 60.6215 distance to original : 155 time need : 758 greatness : 46 idv : 26712
conc(for(x1,{(15,0),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,26)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,17),(15,26),(56,60)},p((15,x5),(1))))));goodness : 60.9184 distance to original : 155 time need : 754 greatness : 42 idv : 30162
conc(for(x1,{(14,0),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,26)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,17),(15,26),(56,60)},p((15,x5),(1))))));goodness : 60.9225 distance to original : 155 time need : 743 greatness : 42 idv : 34990
conc(for(x1,{(15,0),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,17),(15,26),(56,60)},p((15,x5),(1))))));goodness : 61.2903 distance to original : 154 time need : 758 greatness : 42 idv : 36771
conc(for(x1,{(15,0),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,26),(56,60)},p((15,x5),(1))))));goodness : 61.653 distance to original : 153 time need : 798 greatness : 42 idv : 41178
conc(for(x1,{(15,0),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,26),(59,60)},p((15,x5),(1))))));goodness : 61.6576 distance to original : 153 time need : 786 greatness : 42 idv : 49215
conc(for(x1,{(15,0),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(8,27)},p((16,x3),(1))),fun(x4,{(-1,1,33)},for(x5,{(x4,27),(15,26),(59,60)},p((15,x5),(1))))));goodness : 61.6606 distance to original : 153 time need : 778 greatness : 42 idv : 66831
conc(for(x1,{(15,0),(0,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,14),(59,60)},p((15,x5),(1))))));goodness : 61.6728 distance to original : 153 time need : 746 greatness : 42 idv : 69917
conc(for(x1,{(15,0),(5,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,14),(59,60)},p((15,x5),(1))))));goodness : 61.6937 distance to original : 153 time need : 691 greatness : 42 idv : 100907
conc(for(x1,{(15,0),(5,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(6,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,14),(59,59)},p((15,x5),(1))))));goodness : 61.6953 distance to original : 153 time need : 687 greatness : 42 idv : 106624
conc(for(x1,{(15,0),(5,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,-1),(10,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,14),(59,59)},p((15,x5),(1))))));goodness : 61.7014 distance to original : 153 time need : 671 greatness : 42 idv : 135762
conc(for(x1,{(15,0),(5,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,0),(10,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,14),(59,59)},p((15,x5),(1))))));goodness : 61.7029 distance to original : 153 time need : 667 greatness : 42 idv : 145033





p((18,23),(0));goodness : 42.9546 distance to original : 232 time need : 4 greatness : 4 idv : 1
p((21,15),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 4
fun(x1,{(1,16,1)},conc(conc(for(x2,{(9,-1),(6,26)},p((16,x2),(1))),for(x3,{(-2,1)},fun(x4,{(12,1,-1),(x1,58,35)},fun(x5,{(-1,1,x4)},for(x6,{(x5,17),(x1,26),(56,60)},p((x1,x6),(1))))))),for(x7,{(x1,24),(0,26)},fun(x8,{(30,20,-1),(1,x7,1)},p((29,x8),(1))))));goodness : 59.7486 distance to original : 155 time need : 1168 greatness : 56 idv : 86
conc(for(x1,{(15,0),(5,26)},fun(x2,{(30,20,-1),(1,x1,1)},p((29,x2),(1)))),conc(for(x3,{(9,0),(10,27)},p((16,x3),(1))),fun(x4,{(-1,1,27)},for(x5,{(x4,27),(15,14),(59,59)},p((15,x5),(1))))));goodness : 61.7029 distance to original : 153 time need : 667 greatness : 42 idv : 87
conc(conc(for(x1,{(15,0),(5,26)},p((29,x1),(1))),conc(for(x2,{(9,0),(10,27)},p((16,x2),(1))),for(x3,{(8,27),(-5,8),(59,59)},p((15,x3),(1))))),p((27,2),(1)));goodness : 61.8758 distance to original : 154 time need : 414 greatness : 36 idv : 11098
conc(for(x1,{(15,0),(5,26)},p((29,x1),(1))),conc(for(x2,{(9,0),(10,27)},p((16,x2),(1))),for(x3,{(8,27),(-5,8),(59,59)},p((15,x3),(1)))));goodness : 61.8777 distance to original : 155 time need : 409 greatness : 31 idv : 45709
conc(for(x1,{(15,0),(5,26)},p((29,x1),(1))),conc(for(x2,{(9,0),(10,27)},p((16,x2),(1))),for(x3,{(8,27),(0,8),(59,59)},p((15,x3),(1)))));goodness : 61.8854 distance to original : 155 time need : 389 greatness : 31 idv : 54417
