p((15,15),(0));goodness : 11.6168 distance to original : 172 time need : 4 greatness : 4 idv : 1
p((26,22),(1));goodness : 11.6847 distance to original : 171 time need : 4 greatness : 4 idv : 13
conc(p((22,20),(1)),p((16,7),(1)));goodness : 11.7392 distance to original : 170 time need : 9 greatness : 9 idv : 183
conc(for(x1,{(10,5)},conc(for(x2,{(20,27)},for(x3,{(0,0)},fun(x4,{(x3,11,-1),(6,x3,1)},p((x4,14),(x3))))),p((19,x1),(1)))),for(x5,{(0,4)},fun(x6,{(x5,9,-1),(1,x5,1)},p((x5,x6),(0)))));goodness : 11.7461 distance to original : 168 time need : 670 greatness : 40 idv : 2569
for(x1,{(21,25)},conc(for(x2,{(8,3)},conc(fun(x3,{(34,17,-1),(0,x2,1)},p((x3,-15),(x2))),p((x1,5),(1)))),p((1,31),(0))));goodness : 11.863 distance to original : 167 time need : 511 greatness : 27 idv : 3419
conc(for(x1,{(11,20)},fun(x2,{(x1,9,-1),(1,x1,1)},p((19,x2),(1)))),for(x3,{(-1,3)},fun(x4,{(x3,17,-1),(-2,x3,1)},conc(p((4,31),(0)),p((13,21),(0))))));goodness : 11.9365 distance to original : 166 time need : 193 greatness : 34 idv : 5814
conc(for(x1,{(11,20)},fun(x2,{(x1,9,-1),(1,x1,1)},p((19,x2),(1)))),for(x3,{(-1,3)},fun(x4,{(x3,17,-1),(-2,x3,1)},p((13,32),(0)))));goodness : 11.9526 distance to original : 166 time need : 168 greatness : 29 idv : 13831
conc(for(x1,{(11,20)},fun(x2,{(x1,9,-1),(1,x1,1)},p((19,x1),(1)))),for(x3,{(-1,3)},fun(x4,{(x3,17,-1),(-2,x3,1)},p((13,32),(0)))));goodness : 12.2453 distance to original : 162 time need : 168 greatness : 29 idv : 15242
conc(conc(for(x1,{(26,26)},fun(x2,{(x1,9,-1),(0,x1,1)},p((x1,x2),(0)))),p((7,12),(1))),conc(for(x3,{(11,20)},fun(x4,{(x3,9,-1),(1,x3,1)},p((19,x3),(1)))),for(x5,{(-1,3)},fun(x6,{(x5,17,-1),(-2,x5,1)},p((13,32),(0))))));goodness : 12.259 distance to original : 161 time need : 186 greatness : 49 idv : 15873
conc(for(x1,{(26,26)},fun(x2,{(x1,9,-1),(0,x1,1)},p((x1,x2),(0)))),conc(for(x3,{(7,20)},p((19,x3),(1))),for(x4,{(-1,3)},p((13,32),(0)))));goodness : 12.5556 distance to original : 158 time need : 92 greatness : 30 idv : 17076
conc(for(x1,{(26,26)},fun(x2,{(x1,9,-1),(0,x1,1)},p((x2,x2),(0)))),conc(for(x3,{(7,20)},p((19,x3),(1))),p((13,32),(0))));goodness : 12.5664 distance to original : 158 time need : 75 greatness : 27 idv : 20111
conc(for(x1,{(7,20)},p((19,x1),(1))),for(x2,{(-1,3)},p((13,32),(0))));goodness : 12.6041 distance to original : 158 time need : 79 greatness : 15 idv : 24068
for(x1,{(7,20)},p((19,x1),(1)));goodness : 12.6313 distance to original : 158 time need : 57 greatness : 7 idv : 24554
conc(fun(x1,{(0,1,1)},for(x2,{(-3,0)},for(x3,{(22,20)},conc(p((22,x3),(1)),p((22,12),(0)))))),for(x4,{(7,20)},p((19,x4),(1))));goodness : 12.7996 distance to original : 155 time need : 175 greatness : 27 idv : 26628
conc(for(x1,{(22,20)},conc(p((22,x1),(1)),p((22,12),(0)))),for(x2,{(7,20)},p((19,x2),(1))));goodness : 12.8299 distance to original : 155 time need : 86 greatness : 20 idv : 29047
conc(conc(fun(x1,{(0,1,1)},for(x2,{(-3,0)},for(x3,{(22,20)},conc(p((22,x3),(1)),p((22,12),(0)))))),p((15,17),(1))),for(x4,{(7,20)},p((19,x4),(1))));goodness : 12.865 distance to original : 154 time need : 180 greatness : 32 idv : 29797
for(x1,{(18,20)},fun(x2,{(-10,1,-1)},conc(for(x3,{(26,26)},fun(x4,{(x3,9,-1),(10,x2,1),(34,2,-10)},p((x3,x4),(-16)))),conc(for(x5,{(7,20)},p((x1,x5),(1))),for(x6,{(-5,3)},p((13,32),(0)))))));goodness : 15.1577 distance to original : 130 time need : 346 greatness : 40 idv : 36811
fun(x1,{(-10,1,-1)},conc(for(x2,{(26,26)},fun(x3,{(x2,9,-1),(10,x1,1),(34,2,-10)},p((x2,x3),(-16)))),for(x4,{(18,20)},conc(for(x5,{(7,20)},p((x4,x5),(1))),for(x6,{(-5,3)},p((13,32),(0)))))));goodness : 15.1623 distance to original : 130 time need : 306 greatness : 40 idv : 38328
fun(x1,{(-10,1,-1)},conc(for(x2,{(26,26)},fun(x3,{(x2,9,-1),(10,x1,1),(34,2,-10)},p((x2,x3),(-16)))),conc(for(x4,{(7,20)},for(x5,{(18,20)},p((x5,x4),(1)))),for(x6,{(-5,3)},p((13,32),(0))))));goodness : 15.1698 distance to original : 130 time need : 241 greatness : 40 idv : 39853
fun(x1,{(-10,1,-1)},conc(for(x2,{(26,26)},fun(x3,{(x2,9,-1),(10,x1,1),(34,2,-10)},p((x2,x3),(-16)))),for(x4,{(18,20)},conc(for(x5,{(7,20)},p((x4,x5),(1))),p((13,32),(0))))));goodness : 15.1875 distance to original : 130 time need : 207 greatness : 37 idv : 40545
fun(x1,{(-10,1,-1)},conc(for(x2,{(26,26)},fun(x3,{(x2,9,-1),(10,x1,1),(34,2,-10)},p((x2,x3),(-16)))),for(x4,{(18,20)},for(x5,{(7,20)},p((x4,x5),(1))))));goodness : 15.2124 distance to original : 130 time need : 192 greatness : 32 idv : 40710
fun(x1,{(-10,1,-1)},conc(conc(p((8,15),(1)),for(x2,{(26,26)},fun(x3,{(x2,9,-1),(10,x1,1),(34,2,-10)},p((x2,x3),(-16))))),for(x4,{(18,20)},conc(for(x5,{(7,20)},p((x4,x5),(1))),for(x6,{(-5,3)},p((13,32),(0)))))));goodness : 15.2543 distance to original : 129 time need : 311 greatness : 45 idv : 41009
conc(fun(x1,{(-10,1,-1)},conc(for(x2,{(26,26)},fun(x3,{(x2,9,-3),(10,x1,1),(34,2,-10)},p((x2,x3),(-16)))),conc(for(x4,{(7,20)},for(x5,{(18,20)},p((x5,x4),(1)))),for(x6,{(-5,3)},p((13,32),(0)))))),p((21,8),(1)));goodness : 15.2618 distance to original : 129 time need : 246 greatness : 45 idv : 41646
conc(fun(x1,{(-10,1,-1)},conc(for(x2,{(26,26)},fun(x3,{(x2,9,-3),(10,x1,1),(34,2,-10)},p((x2,x3),(-16)))),conc(for(x4,{(7,20)},for(x5,{(18,20)},p((x5,x4),(1)))),p((13,32),(0))))),p((21,8),(1)));goodness : 15.2797 distance to original : 129 time need : 213 greatness : 42 idv : 42472
fun(x1,{(-10,1,-5)},conc(for(x2,{(26,26)},fun(x3,{(x2,9,-1),(10,x1,1),(34,2,-10)},p((x2,x3),(-16)))),for(x4,{(18,20)},conc(p((12,15),(1)),for(x5,{(7,20)},p((x4,x5),(1)))))));goodness : 15.3037 distance to original : 129 time need : 207 greatness : 37 idv : 43143
conc(for(x1,{(26,26)},fun(x2,{(x1,9,-1),(10,-10,1),(34,2,-10)},p((x1,x2),(-16)))),for(x3,{(18,20)},conc(p((12,15),(1)),for(x4,{(7,20)},p((x3,x4),(1))))));goodness : 15.323 distance to original : 129 time need : 203 greatness : 33 idv : 48481
for(x1,{(18,20)},conc(p((12,15),(1)),for(x2,{(7,20)},p((x1,x2),(1)))));goodness : 15.4099 distance to original : 129 time need : 187 greatness : 15 idv : 52390
for(x1,{(18,20)},conc(p((12,15),(1)),for(x2,{(6,20)},p((x1,x2),(1)))));goodness : 15.5281 distance to original : 128 time need : 199 greatness : 15 idv : 70540
conc(for(x1,{(18,20)},conc(p((12,15),(1)),for(x2,{(6,20)},p((x1,x2),(1))))),for(x3,{(18,20)},conc(p((8,15),(1)),for(x4,{(6,20)},p((x3,x4),(1))))));goodness : 15.5474 distance to original : 127 time need : 399 greatness : 31 idv : 164787
for(x1,{(18,20)},conc(p((24,22),(1)),conc(p((12,15),(1)),for(x2,{(6,20)},p((x1,x2),(1))))));goodness : 15.6233 distance to original : 127 time need : 214 greatness : 20 idv : 167815
for(x1,{(18,20)},conc(p((24,22),(1)),conc(p((12,15),(1)),for(x2,{(6,20)},conc(p((x1,x2),(1)),p((18,6),(0)))))));goodness : 15.6938 distance to original : 126 time need : 439 greatness : 25 idv : 185963
for(x1,{(18,20)},conc(p((24,22),(1)),conc(p((12,15),(1)),conc(for(x2,{(6,20)},p((x1,x2),(1))),p((18,6),(0))))));goodness : 15.7197 distance to original : 126 time need : 229 greatness : 25 idv : 187209
conc(for(x1,{(18,20)},conc(p((24,22),(1)),conc(p((12,15),(1)),conc(for(x2,{(6,20)},p((x1,x2),(1))),p((18,6),(0)))))),p((10,17),(1)));goodness : 15.8185 distance to original : 125 time need : 234 greatness : 30 idv : 193764
conc(for(x1,{(18,20)},conc(conc(p((24,22),(1)),for(x2,{(12,17)},fun(x3,{(x2,5,-1),(1,x2,1)},p((x2,x3),(1))))),conc(p((12,15),(1)),conc(for(x4,{(6,20)},p((x1,x4),(1))),p((18,6),(0)))))),conc(p((10,17),(1)),for(x5,{(19,24)},fun(x6,{(x5,7,-1),(-1,x5,1)},p((x6,7),(x5))))));goodness : 16.1413 distance to original : 121 time need : 506 greatness : 60 idv : 197486
conc(for(x1,{(18,20)},conc(conc(p((24,22),(1)),for(x2,{(12,17)},conc(fun(x3,{(x2,5,-1),(1,x2,1)},p((x2,x3),(1))),p((13,9),(1))))),conc(p((12,15),(1)),conc(for(x4,{(6,20)},p((x1,x4),(1))),p((18,6),(0)))))),conc(p((10,17),(1)),for(x5,{(19,24)},fun(x6,{(x5,7,-1),(-1,x5,1)},p((x6,7),(x5))))));goodness : 16.2343 distance to original : 120 time need : 596 greatness : 65 idv : 205079
conc(for(x1,{(18,20)},conc(conc(p((24,22),(1)),for(x2,{(12,17)},conc(p((15,10),(1)),conc(fun(x3,{(x2,5,-1),(1,x2,1)},p((x2,x3),(1))),p((13,9),(1)))))),conc(p((12,15),(1)),conc(for(x4,{(6,20)},p((x1,x4),(1))),p((18,6),(0)))))),conc(p((10,17),(1)),for(x5,{(19,24)},fun(x6,{(x5,7,-1),(-1,x5,1)},p((x6,7),(x5))))));goodness : 16.3284 distance to original : 119 time need : 686 greatness : 70 idv : 218593
conc(for(x1,{(18,20)},conc(conc(p((24,22),(1)),for(x2,{(12,17)},conc(p((15,10),(1)),conc(fun(x3,{(x2,5,-1),(1,x2,1)},p((x2,x3),(1))),p((13,9),(1)))))),conc(p((12,15),(1)),conc(for(x4,{(6,20)},p((x1,x4),(1))),p((18,6),(0)))))),p((10,17),(1)));goodness : 16.4179 distance to original : 119 time need : 618 greatness : 55 idv : 222641
conc(conc(for(x1,{(18,20)},conc(conc(p((24,22),(1)),for(x2,{(12,17)},conc(p((15,10),(1)),conc(fun(x3,{(x2,5,-1),(1,x2,1)},p((x2,x3),(1))),p((13,9),(1)))))),conc(p((12,15),(1)),conc(for(x4,{(6,20)},p((x1,x4),(1))),p((18,6),(0)))))),p((10,17),(1))),p((23,20),(1)));goodness : 16.5258 distance to original : 118 time need : 623 greatness : 60 idv : 223368
conc(conc(for(x1,{(18,20)},conc(conc(p((24,22),(1)),for(x2,{(12,17)},conc(p((15,10),(1)),conc(fun(x3,{(x2,5,-1),(1,14,1)},p((x2,x3),(1))),p((13,9),(1)))))),conc(p((12,15),(1)),conc(for(x4,{(6,20)},p((x1,x4),(1))),p((18,6),(0)))))),p((10,17),(1))),p((23,20),(1)));goodness : 16.8035 distance to original : 116 time need : 623 greatness : 60 idv : 232667
fun(x1,{(0,1,0)},conc(conc(for(x2,{(-1,3)},fun(x3,{(x2,19,-1),(0,x2,1)},for(x4,_,for(x5,{(7,3)},fun(x6,{(x5,22,x1),(0,x5,1)},conc(for(x7,{(0,2)},fun(x8,{(x7,8,-1),(3,x7,1)},p((x7,x8),(0)))),for(x9,{(0,0)},conc(for(x10,{(6,7)},fun(x11,{(0,6,1)},fun(x12,{(x10,17,x10),(2,x10,1),(-8,x11,x3)},p((x12,14),(x10))))),for(x13,{(18,20)},conc(p((12,15),(x6)),for(x14,{(6,20)},conc(for(x15,{(19,28)},fun(x16,{(13,1,-1)},for(x17,{(18,20)},conc(conc(for(x18,{(-2,3)},fun(x19,{(x18,8,-1),(7,x18,1)},p((x19,25),(x18)))),p((12,x14),(x16))),for(x20,{(6,20)},p((x17,x20),(1))))))),p((x13,x14),(1)))))))))))))),for(x21,{(10,10)},for(x22,{(18,18)},for(x23,{(5,10)},conc(p((16,4),(0)),fun(x24,{(x23,20,-1),(2,x23,1)},conc(conc(for(x25,{(x22,20)},conc(conc(p((24,22),(1)),for(x26,{(12,17)},conc(fun(x27,{(x26,5,-1),(1,x26,1)},p((x23,x26),(1))),p((13,9),(1))))),conc(p((12,x24),(1)),conc(for(x28,{(6,20)},p((x25,x24),(1))),p((18,6),(1)))))),conc(p((10,-3),(1)),for(x29,{(19,24)},fun(x30,{(42,7,-1),(-1,x29,1)},p((x30,7),(x29)))))),p((20,5),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x31,{(12,17)},conc(p((15,10),(1)),conc(fun(x32,{(x31,5,-1),(1,x31,1)},p((x31,x32),(1))),p((13,9),(1)))))),conc(p((12,15),(1)),conc(for(x33,{(6,20)},for(x34,{(18,20)},p((x34,x33),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))));goodness : 16.9611 distance to original : 103 time need : 4077 greatness : 271 idv : 236349
fun(x1,{(0,1,0)},conc(conc(for(x2,{(-1,3)},fun(x3,{(x2,19,-1),(0,x2,1)},for(x4,_,for(x5,{(7,3)},fun(x6,{(x5,22,x1),(0,x5,1)},conc(for(x7,{(0,2)},fun(x8,{(x7,8,-1),(3,x7,1)},p((x7,x8),(0)))),for(x9,{(0,0)},conc(for(x10,{(6,7)},fun(x11,{(0,6,1)},fun(x12,{(x10,17,x10),(2,x10,1),(-8,x11,x3)},p((x12,14),(x10))))),for(x13,{(18,20)},conc(p((12,15),(x6)),for(x14,{(6,20)},conc(for(x15,{(19,28)},fun(x16,{(13,1,-1)},for(x17,{(18,20)},conc(conc(for(x18,{(-2,3)},fun(x19,{(x18,8,-1),(7,x18,1)},p((x19,25),(x18)))),p((12,x14),(x16))),for(x20,{(6,20)},p((x17,x20),(1))))))),p((x13,x14),(1)))))))))))))),for(x21,{(10,10)},for(x22,{(18,18)},for(x23,{(5,10)},conc(p((16,4),(0)),fun(x24,{(x23,20,-1),(2,x23,1)},conc(conc(for(x25,{(x22,20)},conc(conc(p((24,22),(1)),for(x26,{(12,17)},conc(fun(x27,{(x26,5,-1),(1,x26,1)},p((x23,x26),(1))),p((13,9),(1))))),conc(p((12,x24),(1)),conc(for(x28,{(6,20)},p((x25,x24),(1))),p((18,6),(1)))))),conc(p((10,-3),(1)),for(x29,{(19,24)},fun(x30,{(42,7,-1),(-1,x29,1)},p((x30,7),(x29)))))),p((20,5),(0))))))))),conc(conc(conc(p((24,22),(1)),for(x31,{(12,17)},conc(p((15,10),(1)),conc(fun(x32,{(x31,5,-1),(1,x31,1)},p((x31,x32),(1))),p((13,9),(1)))))),conc(p((12,15),(1)),conc(for(x33,{(6,20)},for(x34,{(18,20)},p((x34,x33),(1)))),p((18,6),(0))))),p((10,17),(1)))));goodness : 17.1362 distance to original : 102 time need : 4072 greatness : 266 idv : 239627
fun(x1,{(0,1,0)},conc(for(x2,{(10,10)},for(x3,{(18,18)},for(x4,{(5,10)},conc(p((16,4),(0)),fun(x5,{(x4,20,-1),(2,x4,1)},conc(conc(for(x6,{(x3,20)},conc(conc(p((24,22),(1)),for(x7,{(12,17)},conc(fun(x8,{(x7,5,-1),(1,x7,1)},p((x4,x7),(1))),p((13,9),(1))))),conc(p((12,x5),(1)),conc(for(x9,{(6,20)},p((x6,x5),(1))),p((18,6),(1)))))),conc(p((10,-3),(1)),for(x10,{(19,24)},fun(x11,{(42,7,-1),(-1,x10,1)},p((x11,7),(x10)))))),p((20,5),(0)))))))),conc(conc(conc(conc(p((24,22),(-1)),for(x12,{(12,17)},conc(p((15,10),(1)),conc(fun(x13,{(x12,5,-1),(1,x12,1)},p((x12,x13),(1))),p((13,9),(1)))))),conc(p((12,15),(1)),conc(for(x14,{(6,20)},for(x15,{(18,20)},conc(for(x16,{(-2,1)},fun(x17,{(x16,14,-1),(-2,x16,1)},p((x16,x17),(0)))),p((x15,x14),(1))))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))));goodness : 17.2496 distance to original : 103 time need : 6105 greatness : 171 idv : 242733
fun(x1,{(0,1,0)},conc(conc(for(x2,{(-1,3)},fun(x3,{(x2,19,-1),(0,x1,1)},for(x4,_,for(x5,{(7,3)},fun(x6,{(x5,22,x1),(0,x5,1)},conc(for(x7,{(0,2)},fun(x8,{(x7,8,-1),(3,x7,1)},p((x7,x8),(0)))),for(x9,{(0,0)},conc(for(x10,{(6,7)},fun(x11,{(0,6,1)},fun(x12,{(x10,17,x10),(2,x10,1),(-8,x11,x3)},p((x12,14),(x10))))),for(x13,{(18,20)},conc(p((12,15),(x6)),for(x14,{(6,20)},conc(for(x15,{(19,28)},fun(x16,{(-7,1,-1)},for(x17,{(18,20)},conc(conc(for(x18,{(-8,3)},fun(x19,{(49,8,-1),(7,x18,1)},p((x19,25),(x18)))),p((12,x14),(x16))),for(x20,{(6,20)},p((x17,x20),(1))))))),p((x13,x14),(1)))))))))))))),for(x21,{(10,10)},for(x22,{(18,18)},for(x23,{(5,10)},conc(p((16,4),(0)),fun(x24,{(x23,20,-1),(2,x23,1)},conc(conc(for(x25,{(x22,20)},conc(conc(p((24,22),(1)),for(x26,{(12,17)},conc(fun(x27,{(x26,5,-1),(1,x26,1)},p((x23,x26),(1))),p((13,9),(1))))),conc(p((-6,x24),(1)),conc(for(x28,{(6,20)},p((x25,x24),(1))),p((18,6),(1)))))),conc(p((10,-3),(1)),for(x29,{(19,24)},fun(x30,{(42,7,-1),(-1,x29,1)},p((x30,7),(x29)))))),p((20,-1),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x31,{(12,17)},conc(p((15,10),(1)),conc(fun(x32,{(x31,5,-1),(1,x31,1)},p((x31,x32),(1))),p((x31,9),(1)))))),conc(p((12,15),(1)),conc(for(x33,{(6,20)},for(x34,{(18,20)},p((x34,x33),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))));goodness : 17.5566 distance to original : 99 time need : 4077 greatness : 271 idv : 243445
fun(x1,{(1,13,1)},fun(x2,{(0,1,0)},conc(conc(for(x3,{(-1,3)},fun(x4,{(x3,19,-1),(0,x2,1)},for(x5,_,for(x6,{(7,3)},fun(x7,{(x6,22,x2),(0,x6,1)},conc(for(x8,{(0,2)},fun(x9,{(x8,8,-1),(3,x8,1)},p((x8,x9),(0)))),for(x10,{(0,0)},conc(for(x11,{(6,7)},fun(x12,{(0,6,1)},fun(x13,{(x11,17,x11),(2,x11,1),(-8,x12,x4)},p((x13,14),(x11))))),for(x14,{(18,20)},conc(p((12,15),(x7)),for(x15,{(6,20)},conc(for(x16,{(19,28)},fun(x17,{(-7,1,-1)},for(x18,{(18,20)},conc(conc(for(x19,{(-8,3)},fun(x20,{(49,8,-1),(7,x19,1)},p((x20,25),(x19)))),p((12,x15),(x17))),for(x21,{(6,20)},p((x18,x21),(1))))))),p((x14,x15),(1)))))))))))))),for(x22,{(10,10)},for(x23,{(18,18)},for(x24,{(5,10)},conc(p((16,4),(0)),fun(x25,{(x24,20,-1),(2,x24,1)},conc(conc(for(x26,{(x23,20)},conc(conc(p((24,5),(1)),for(x27,{(12,17)},conc(fun(x28,{(x27,5,-1),(1,x27,1)},p((x24,x27),(1))),p((x1,9),(1))))),conc(p((-6,x25),(1)),conc(for(x29,{(6,20)},p((x26,x25),(1))),p((18,6),(1)))))),conc(p((10,-3),(1)),for(x30,{(19,24)},fun(x31,{(42,7,-1),(-1,x30,1)},p((x31,7),(x30)))))),p((20,-1),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x32,{(12,17)},conc(p((15,10),(1)),conc(fun(x33,{(x32,5,-1),(1,x32,1)},p((x32,x33),(1))),p((x32,9),(1)))))),conc(p((12,15),(1)),conc(for(x34,{(6,20)},for(x35,{(18,20)},p((x35,x34),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))));goodness : 17.6864 distance to original : 98 time need : 4081 greatness : 275 idv : 243869
fun(x1,{(1,13,1)},fun(x2,{(0,1,0)},conc(conc(for(x3,{(-1,3)},fun(x4,{(x3,19,-1),(0,x2,1)},for(x5,_,for(x6,{(7,3)},fun(x7,{(x6,22,x2),(0,x6,1)},conc(for(x8,{(0,2)},fun(x9,{(x8,8,-1),(3,x8,1)},p((x8,x9),(0)))),for(x10,{(0,0)},conc(for(x11,{(6,7)},fun(x12,{(0,6,1)},fun(x13,{(x11,17,x11),(2,x11,1),(-8,x12,x4)},p((x13,14),(x11))))),for(x14,{(18,20)},conc(p((12,15),(x7)),for(x15,{(6,20)},conc(for(x16,{(19,28)},fun(x17,{(-7,1,-1)},for(x18,{(18,20)},conc(conc(for(x19,{(-8,3)},fun(x20,{(49,8,-1),(-6,x19,1)},p((x20,25),(x19)))),p((12,x15),(x17))),for(x21,{(6,20)},p((x18,x21),(1))))))),p((x14,x15),(1)))))))))))))),for(x22,{(10,10)},for(x23,{(18,18)},for(x24,{(5,10)},conc(p((16,4),(0)),fun(x25,{(x24,20,-1),(2,x24,1)},conc(conc(for(x26,{(x23,20)},conc(conc(p((24,5),(1)),for(x27,{(12,17)},conc(fun(x28,{(x27,5,-1),(1,x27,1)},p((x24,x27),(1))),p((x1,9),(1))))),p((-6,x25),(1)))),conc(p((10,-3),(1)),for(x29,{(19,24)},fun(x30,{(42,7,-1),(-1,x29,1)},p((x30,7),(x29)))))),p((20,-1),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x31,{(12,17)},conc(p((15,10),(1)),conc(fun(x32,{(x31,5,-1),(1,x31,1)},p((x31,x32),(1))),p((x31,9),(1)))))),conc(p((12,15),(1)),conc(for(x33,{(6,20)},for(x34,{(18,20)},p((x34,x33),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))));goodness : 17.9606 distance to original : 98 time need : 2875 greatness : 262 idv : 250879
fun(x1,{(1,13,1)},fun(x2,{(0,1,0)},conc(conc(for(x3,{(-1,3)},fun(x4,{(x3,19,-1),(0,x2,1)},for(x5,_,for(x6,{(7,3)},fun(x7,{(x6,22,x2),(0,x6,1)},conc(for(x8,{(0,2)},fun(x9,{(x8,8,-1),(3,x8,1)},p((x8,x9),(0)))),for(x10,{(0,0)},conc(for(x11,{(6,7)},fun(x12,{(0,6,1)},fun(x13,{(x11,17,x6),(2,x11,1),(-8,x12,x4)},p((x13,14),(x11))))),for(x14,{(18,20)},p((12,15),(x7))))))))))),for(x15,{(10,10)},for(x16,{(18,18)},for(x17,{(5,10)},conc(p((16,4),(0)),fun(x18,{(x17,20,-1),(2,x17,1)},conc(conc(for(x19,{(x16,20)},conc(conc(p((24,5),(1)),for(x20,{(12,17)},conc(fun(x21,{(x20,5,-1),(1,x20,1)},p((x17,x20),(1))),p((x1,9),(1))))),conc(p((-6,x18),(1)),conc(for(x22,{(6,20)},p((x19,x18),(1))),p((18,6),(1)))))),conc(p((10,-3),(1)),for(x23,{(19,24)},fun(x24,{(42,7,-1),(-1,x23,1)},p((x24,7),(x23)))))),p((20,-1),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x25,{(12,17)},conc(p((15,10),(1)),conc(fun(x26,{(x25,5,-1),(1,x25,1)},p((x25,x26),(1))),p((x25,9),(1)))))),conc(p((12,15),(1)),conc(for(x27,{(6,20)},for(x28,{(18,20)},p((x28,x27),(1)))),p((7,6),(0))))),p((10,17),(1))),p((23,0),(1))))));goodness : 17.979 distance to original : 98 time need : 4081 greatness : 229 idv : 252034
fun(x1,{(1,13,1)},fun(x2,{(0,1,0)},conc(conc(for(x3,{(-1,3)},fun(x4,{(x3,19,-1),(0,x2,1)},for(x5,_,for(x6,{(7,3)},fun(x7,{(x6,22,x2),(0,x6,1)},for(x8,{(0,0)},conc(for(x9,{(6,7)},fun(x10,{(0,6,1)},fun(x11,{(x9,17,x9),(2,x9,1),(-8,x10,x4)},p((x11,14),(x9))))),for(x12,{(18,20)},conc(p((12,15),(x7)),for(x13,{(6,20)},conc(for(x14,{(19,28)},fun(x15,{(-7,1,-1)},for(x16,{(18,20)},conc(conc(for(x17,{(-8,3)},fun(x18,{(49,8,-1),(-6,x17,1)},p((x18,25),(x17)))),p((12,x13),(x15))),for(x19,{(6,20)},p((x16,x19),(1))))))),p((x12,x13),(1))))))))))))),for(x20,{(10,10)},for(x21,{(18,18)},for(x22,{(5,10)},conc(p((16,4),(0)),fun(x23,{(x22,20,-1),(2,x22,1)},conc(conc(for(x24,{(x21,20)},conc(conc(p((24,5),(1)),for(x25,{(12,17)},conc(fun(x26,{(x25,5,-1),(1,x25,1)},p((x22,x25),(1))),p((x1,9),(1))))),p((-6,x23),(1)))),conc(p((10,-3),(1)),for(x27,{(19,24)},fun(x28,{(42,7,-1),(-1,x27,1)},p((x28,7),(x27)))))),p((20,-1),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x29,{(12,17)},conc(p((15,10),(1)),conc(fun(x30,{(x29,5,-1),(1,x29,1)},p((x29,x30),(1))),p((x29,9),(1)))))),conc(p((12,15),(1)),conc(for(x31,{(6,20)},for(x32,{(18,20)},p((x32,x31),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))));goodness : 18.0579 distance to original : 98 time need : 2875 greatness : 247 idv : 252820
fun(x1,{(0,1,0)},conc(conc(for(x2,{(-1,3)},fun(x3,{(x2,19,-1),(0,x1,1)},for(x4,_,for(x5,{(7,3)},fun(x6,{(x5,22,x1),(0,x5,1)},for(x7,{(0,2)},fun(x8,{(x7,8,-1),(3,x7,1)},p((x7,x8),(0))))))))),for(x9,{(10,10)},for(x10,{(18,18)},for(x11,{(5,10)},conc(p((16,4),(0)),fun(x12,{(x11,20,-1),(2,x11,1)},conc(conc(for(x13,{(x10,20)},conc(conc(p((24,22),(1)),for(x14,{(12,17)},conc(fun(x15,{(x14,5,-1),(1,x14,-15)},p((x11,x14),(1))),p((13,9),(1))))),p((-6,x12),(1)))),conc(p((10,-3),(1)),for(x16,{(19,24)},fun(x17,{(42,7,-1),(-1,x16,1)},p((x17,7),(32)))))),p((20,-1),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x18,{(12,17)},conc(p((15,10),(1)),conc(fun(x19,{(x18,5,-1),(1,x18,1)},p((x18,x19),(1))),p((x18,9),(1)))))),conc(p((12,15),(1)),conc(for(x20,{(6,20)},for(x21,{(18,20)},p((x21,x20),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))));goodness : 18.3434 distance to original : 99 time need : 2871 greatness : 179 idv : 257876
fun(x1,{(0,1,0)},conc(conc(for(x2,{(-1,3)},fun(x3,{(x2,19,-1),(0,x1,1)},for(x4,_,for(x5,{(7,3)},fun(x6,{(x5,22,x1),(0,x5,1)},for(x7,{(0,2)},fun(x8,{(x7,8,-1),(3,x7,1)},p((x7,x8),(0))))))))),for(x9,{(10,10)},for(x10,{(18,18)},for(x11,{(5,10)},conc(p((16,4),(0)),fun(x12,{(x11,20,-1),(2,x11,1)},conc(conc(for(x13,{(x10,20)},conc(conc(p((24,22),(1)),for(x14,{(12,17)},conc(fun(x15,{(x14,5,-1),(1,x14,-15)},p((x11,x14),(1))),p((13,9),(1))))),p((-6,x12),(1)))),conc(p((10,-3),(1)),for(x16,{(19,24)},fun(x17,{(42,7,-1),(-1,x16,1)},p((x17,7),(32)))))),p((20,-1),(0))))))))),conc(conc(conc(for(x18,{(12,17)},conc(p((15,10),(1)),conc(fun(x19,{(x18,5,-1),(1,x18,1)},p((x18,x19),(1))),p((x18,9),(1))))),conc(p((12,15),(1)),conc(for(x20,{(6,20)},for(x21,{(18,20)},p((x21,x20),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))));goodness : 18.378 distance to original : 99 time need : 2866 greatness : 174 idv : 260120
fun(x1,{(1,0,1)},fun(x2,{(0,1,0)},conc(conc(for(x3,{(-1,3)},fun(x4,{(x3,19,-1),(0,x2,1)},for(x5,_,for(x6,{(7,3)},fun(x7,{(x6,22,x2),(0,x6,1)},for(x8,{(0,2)},fun(x9,{(x8,8,-1),(3,x8,1)},p((x8,x9),(0))))))))),for(x10,{(10,10)},for(x11,{(18,18)},for(x12,{(5,10)},conc(p((16,4),(0)),fun(x13,{(x12,20,-1),(2,x12,1)},conc(for(x14,{(x11,20)},conc(conc(p((24,22),(1)),for(x15,{(12,17)},conc(fun(x16,{(x15,5,-1),(1,x15,-15)},p((x12,x15),(1))),p((13,9),(1))))),p((-6,x13),(1)))),p((20,-1),(0))))))))),conc(conc(conc(conc(p((24,22),(1)),for(x17,{(12,17)},conc(p((15,10),(1)),conc(fun(x18,{(x17,5,-1),(1,x17,1)},p((x17,x18),(1))),p((x17,9),(1)))))),conc(p((12,15),(1)),conc(for(x19,{(6,20)},for(x20,{(18,20)},p((x20,x19),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))));goodness : 18.5259 distance to original : 99 time need : 2437 greatness : 163 idv : 260283
for(x1,{(20,20)},fun(x2,{(1,1,2)},conc(fun(x3,{(0,1,0)},for(x4,{(10,10)},for(x5,{(5,10)},fun(x6,{(x5,20,-1),(2,x5,1),(0,9,1)},conc(conc(for(x7,{(18,18)},for(x8,{(x7,20)},conc(conc(p((24,22),(1)),for(x9,{(12,17)},fun(x10,{(x9,5,-1),(-8,x9,1)},conc(p((x5,x9),(1)),p((13,9),(1)))))),p((12,x6),(1))))),conc(p((10,-3),(1)),for(x11,{(19,24)},fun(x12,{(42,7,-1),(-1,x11,1)},p((x12,7),(x11)))))),p((20,5),(0))))))),conc(for(x13,{(-1,4)},fun(x14,{(x13,17,-1),(0,x13,1)},p((x13,x14),(0)))),fun(x15,{(2,x2,2)},fun(x16,{(1,13,1)},fun(x17,{(0,1,0)},conc(conc(conc(conc(p((24,22),(1)),for(x18,{(12,17)},conc(p((15,10),(1)),conc(fun(x19,{(x18,5,-1),(1,x18,1)},p((x18,x19),(1))),p((x18,9),(1)))))),conc(p((12,15),(1)),conc(for(x20,{(6,20)},for(x21,{(18,20)},p((x21,x20),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))))))));goodness : 18.5345 distance to original : 98 time need : 2907 greatness : 175 idv : 263582
for(x1,{(20,20)},fun(x2,{(1,1,2)},conc(fun(x3,{(0,1,12)},for(x4,{(10,10)},for(x5,{(5,10)},fun(x6,{(x5,20,-1),(2,x5,1),(0,9,1)},conc(conc(for(x7,{(18,18)},for(x8,{(x7,20)},conc(conc(p((25,22),(1)),for(x9,{(12,17)},fun(x10,{(x9,5,-1),(-8,x9,1)},conc(p((x5,x9),(1)),p((13,9),(1)))))),p((12,x6),(1))))),conc(p((10,-3),(1)),for(x11,{(19,24)},fun(x12,{(42,7,-1),(-1,x11,1)},p((x12,7),(x11)))))),p((20,5),(0))))))),conc(for(x13,{(-1,4)},fun(x14,{(x13,17,-1),(0,x13,1)},p((x13,x14),(0)))),fun(x15,{(2,x2,2)},fun(x16,{(1,13,1)},fun(x17,{(0,1,0)},conc(conc(conc(conc(p((24,22),(1)),for(x18,{(12,17)},conc(p((15,10),(1)),conc(fun(x19,{(x18,5,-1),(1,x18,1)},p((x18,x19),(1))),p((x18,9),(1)))))),conc(p((12,15),(1)),conc(for(x20,{(6,20)},for(x21,{(18,20)},p((x21,x20),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))))))));goodness : 18.7078 distance to original : 97 time need : 2907 greatness : 175 idv : 267077
fun(x1,{(1,0,1)},fun(x2,{(1,1,2)},conc(fun(x3,{(0,1,12)},for(x4,{(5,10)},fun(x5,{(45,20,-1),(2,x4,4),(x1,9,1)},conc(conc(for(x6,{(18,18)},conc(conc(p((25,22),(1)),for(x7,{(12,17)},fun(x8,{(x7,5,-1),(-8,x7,1)},conc(p((x4,x7),(1)),p((13,9),(1)))))),p((12,x5),(1)))),conc(p((10,-3),(1)),for(x9,{(19,24)},fun(x10,{(42,7,-1),(-1,x9,1)},p((x10,7),(x9)))))),p((20,5),(0)))))),conc(for(x11,{(-1,4)},fun(x12,{(x11,17,-1),(0,x11,1)},p((x11,x12),(0)))),fun(x13,{(2,x2,2)},fun(x14,{(0,1,0)},conc(conc(conc(conc(p((24,22),(1)),for(x15,{(12,17)},conc(p((15,10),(1)),conc(fun(x16,{(x15,5,-1),(1,x15,1)},p((x15,x16),(1))),p((x15,9),(1)))))),conc(p((12,15),(1)),conc(for(x17,{(6,20)},for(x18,{(18,20)},p((x18,x17),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))))))));goodness : 18.8226 distance to original : 98 time need : 1615 greatness : 166 idv : 271745
fun(x1,{(1,0,1)},fun(x2,{(x1,1,2)},conc(for(x3,{(5,10)},fun(x4,{(45,20,-1),(2,x3,4),(x1,9,1)},conc(conc(for(x5,{(18,18)},conc(conc(p((25,22),(1)),for(x6,{(12,17)},fun(x7,{(x6,5,-1),(-8,x6,1)},conc(p((x3,x6),(1)),p((13,9),(1)))))),p((12,x4),(1)))),conc(p((10,-3),(1)),for(x8,{(19,24)},fun(x9,{(42,7,-1),(-1,x8,1)},p((x9,7),(x8)))))),p((20,5),(0))))),conc(for(x10,{(-1,4)},fun(x11,{(x10,17,-1),(0,x10,1)},p((x10,x11),(0)))),fun(x12,{(2,x2,2)},fun(x13,{(0,1,0)},conc(conc(conc(conc(p((24,22),(1)),for(x14,{(12,17)},conc(p((15,10),(1)),conc(fun(x15,{(x14,5,-1),(1,x14,1)},p((x14,x15),(1))),p((x14,9),(1)))))),conc(p((12,15),(1)),conc(for(x16,{(6,20)},for(x17,{(18,20)},p((x17,x16),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))))))));goodness : 18.8517 distance to original : 98 time need : 1611 greatness : 162 idv : 274729
for(x1,{(18,18)},fun(x2,{(1,0,1)},fun(x3,{(x2,1,2)},conc(for(x4,{(5,10)},fun(x5,{(45,20,-1),(2,x4,4),(x2,9,1)},conc(conc(conc(conc(p((25,22),(1)),for(x6,{(12,17)},fun(x7,{(x6,5,-1),(-8,x6,1)},conc(p((x4,x6),(1)),p((13,9),(1)))))),p((12,x5),(1))),conc(p((10,-3),(1)),for(x8,{(19,24)},fun(x9,{(42,7,-1),(-1,x8,1)},p((x9,7),(x8)))))),p((20,5),(0))))),conc(for(x10,{(-1,4)},fun(x11,{(x10,17,-1),(0,x10,1)},p((x10,x11),(0)))),fun(x12,{(2,x3,2)},fun(x13,{(0,1,0)},conc(conc(conc(conc(p((24,22),(1)),for(x14,{(12,17)},conc(p((15,10),(1)),conc(fun(x15,{(x14,5,-1),(1,x14,1)},p((x14,x15),(1))),p((x14,9),(1)))))),conc(p((12,15),(1)),conc(for(x16,{(6,20)},for(x17,{(18,20)},p((x17,x16),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))))))));goodness : 18.8526 distance to original : 98 time need : 1606 greatness : 162 idv : 277449
fun(x1,{(1,0,1)},fun(x2,{(1,1,2)},conc(fun(x3,{(0,1,12)},for(x4,{(5,10)},fun(x5,{(45,20,-1),(2,x4,4),(x1,9,1)},conc(conc(for(x6,{(18,18)},conc(conc(p((25,22),(1)),for(x7,{(12,17)},fun(x8,{(x7,5,-1),(-8,x7,1)},conc(p((x4,x7),(1)),p((13,9),(1)))))),p((12,x5),(1)))),conc(p((10,-3),(1)),for(x9,{(19,24)},fun(x10,{(42,7,-1),(-1,x9,1)},p((x10,7),(x9)))))),p((20,5),(0)))))),conc(for(x11,{(-1,4)},fun(x12,{(x11,17,-1),(0,x11,1)},p((x11,x12),(0)))),fun(x13,{(2,x2,2)},fun(x14,{(0,1,0)},conc(conc(conc(conc(p((24,22),(1)),for(x15,{(12,17)},conc(p((15,10),(1)),conc(fun(x16,{(x15,5,-1),(1,x15,1)},p((x15,x16),(1))),p((x15,9),(1)))))),conc(p((12,15),(1)),conc(for(x17,{(6,20)},for(x18,{(18,20)},p((x18,x17),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,-10),(1)))))))));goodness : 19.0015 distance to original : 97 time need : 1615 greatness : 166 idv : 280542
for(x1,{(18,18)},fun(x2,{(1,0,1)},fun(x3,{(x2,1,2)},conc(for(x4,{(5,10)},fun(x5,{(45,20,-7),(2,x4,4),(x2,9,1)},conc(conc(conc(p((25,22),(1)),for(x6,{(12,17)},fun(x7,{(x6,5,-1),(-8,x6,1)},conc(p((x4,x6),(1)),p((13,9),(1)))))),p((12,x5),(1))),p((20,5),(0))))),conc(for(x8,{(-1,4)},fun(x9,{(x8,17,-1),(0,x8,1)},p((x8,x9),(0)))),fun(x10,{(2,x3,2)},fun(x11,{(0,1,0)},conc(conc(conc(conc(p((24,22),(1)),for(x12,{(12,17)},conc(p((15,10),(1)),conc(fun(x13,{(x12,5,-1),(1,x12,1)},p((x12,x13),(1))),p((x12,9),(1)))))),conc(p((12,15),(1)),conc(for(x14,{(6,20)},for(x15,{(18,20)},p((x15,x14),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1))))))))));goodness : 19.0752 distance to original : 98 time need : 1168 greatness : 142 idv : 286420
fun(x1,{(1,0,1)},fun(x2,{(x1,1,2)},conc(for(x3,{(5,10)},fun(x4,{(45,20,-7),(2,x3,4),(x1,9,1)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},fun(x6,{(x5,5,-1),(-8,x5,1)},conc(p((x3,x5),(1)),p((13,9),(1)))))),p((12,x4),(1))),p((20,5),(0))))),conc(for(x7,{(-1,4)},fun(x8,{(x7,17,-1),(0,x7,1)},p((x7,x8),(0)))),conc(conc(conc(conc(p((24,22),(1)),for(x9,{(12,17)},conc(p((15,10),(1)),conc(fun(x10,{(x9,5,-1),(1,x9,1)},p((x9,x10),(1))),p((x9,9),(1)))))),conc(p((12,15),(1)),conc(for(x11,{(6,20)},for(x12,{(18,20)},p((x12,x11),(1)))),p((18,6),(0))))),p((10,17),(1))),p((23,0),(1)))))));goodness : 19.1573 distance to original : 98 time need : 1159 greatness : 131 idv : 289953
fun(x1,{(1,0,1)},fun(x2,{(x1,1,2)},conc(for(x3,{(5,10)},fun(x4,{(45,20,-7),(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},fun(x6,{(x5,5,-1),(-8,x5,1)},conc(p((x3,x5),(1)),p((13,9),(1)))))),p((12,x4),(1))),p((20,5),(0))))),conc(for(x7,{(-1,4)},fun(x8,{(x7,17,-1),(0,x7,1)},p((x7,x8),(0)))),conc(conc(conc(conc(p((24,22),(1)),for(x9,{(12,17)},conc(p((15,10),(1)),conc(fun(x10,{(x9,5,-1),(1,x9,1)},p((x9,x10),(1))),p((x9,9),(1)))))),conc(conc(for(x11,{(6,20)},for(x12,{(18,20)},p((x12,x11),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,0),(1)))))));goodness : 19.1826 distance to original : 98 time need : 1141 greatness : 128 idv : 291911
fun(x1,{(1,0,1)},fun(x2,{(x1,1,2)},conc(for(x3,{(5,10)},fun(x4,{(45,20,-7),(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(for(x6,{(-1,4)},fun(x7,{(x6,17,-1),(0,x6,1)},p((x6,x7),(0)))),conc(conc(conc(conc(p((24,22),(1)),for(x8,{(12,17)},conc(p((15,10),(1)),conc(fun(x9,{(x8,5,-1),(1,x8,1)},p((x8,x9),(1))),p((x8,9),(1)))))),conc(conc(for(x10,{(6,20)},for(x11,{(18,20)},p((x11,x10),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,0),(1)))))));goodness : 19.281 distance to original : 98 time need : 889 greatness : 121 idv : 294414
fun(x1,{(1,0,1)},fun(x2,{(x1,-5,2)},conc(for(x3,{(5,10)},fun(x4,{(45,20,-7),(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},fun(x6,{(x5,5,-1),(-8,x5,1)},conc(p((x3,x5),(1)),p((13,9),(1)))))),p((12,x4),(1))),p((20,5),(0))))),conc(for(x7,{(-1,4)},fun(x8,{(x7,17,-1),(0,x7,1)},p((x7,x8),(0)))),conc(conc(conc(conc(p((24,22),(1)),for(x9,{(12,17)},conc(p((15,10),(1)),conc(fun(x10,{(x9,5,-1),(1,x9,1)},p((x9,x10),(1))),p((x9,9),(1)))))),conc(conc(for(x11,{(6,20)},for(x12,{(18,20)},p((x12,x11),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,-4),(1)))))));goodness : 19.3684 distance to original : 97 time need : 1141 greatness : 128 idv : 294624
conc(for(x1,{(5,10)},fun(x2,{(45,20,-7),(2,x1,4)},conc(conc(conc(p((25,22),(1)),for(x3,{(12,17)},fun(x4,{(x3,5,-1),(-8,x3,1)},conc(p((x1,x3),(1)),p((13,9),(1)))))),p((12,x2),(1))),p((20,5),(0))))),conc(for(x5,{(-1,4)},fun(x6,{(x5,17,-1),(0,x5,1)},p((x5,x6),(0)))),conc(conc(conc(conc(p((24,22),(1)),for(x7,{(12,17)},conc(p((15,10),(1)),conc(fun(x8,{(x7,5,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1)))))),conc(conc(for(x9,{(6,20)},for(x10,{(18,20)},p((x10,x9),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,-4),(1)))));goodness : 19.4301 distance to original : 97 time need : 1133 greatness : 120 idv : 306094
conc(for(x1,{(5,10)},fun(x2,{(45,20,-7),(2,x1,4)},conc(conc(conc(p((25,22),(1)),for(x3,{(12,17)},conc(p((x1,x3),(1)),p((13,9),(1))))),p((12,x2),(1))),p((20,5),(0))))),conc(for(x4,{(-1,4)},fun(x5,{(x4,17,-1),(0,x4,1)},p((x4,x5),(0)))),conc(conc(conc(conc(p((24,22),(1)),for(x6,{(12,17)},conc(p((15,10),(1)),conc(fun(x7,{(x6,5,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1)))))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,-4),(1)))));goodness : 19.5311 distance to original : 97 time need : 881 greatness : 113 idv : 306807
conc(for(x1,{(5,10)},fun(x2,{(45,20,-7),(2,x1,4)},conc(conc(conc(p((25,22),(1)),for(x3,{(12,17)},conc(p((x1,x3),(1)),p((13,9),(1))))),p((12,x2),(1))),p((20,5),(0))))),conc(conc(conc(conc(p((24,22),(1)),for(x4,{(12,17)},conc(p((15,10),(1)),conc(fun(x5,{(x4,5,-1),(1,x4,1)},p((x4,x5),(1))),p((x4,9),(1)))))),conc(conc(for(x6,{(6,20)},for(x7,{(18,20)},p((x7,x6),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,-4),(1))));goodness : 19.6593 distance to original : 97 time need : 813 greatness : 98 idv : 317572
for(x1,{(2,6)},fun(x2,{(x1,14,-1),(2,x1,1)},conc(for(x3,{(5,10)},fun(x4,{(45,20,-7),(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(conc(p((24,22),(1)),for(x6,{(12,17)},conc(p((15,10),(1)),conc(fun(x7,{(x6,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1)))))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,-4),(1))))));goodness : 19.7198 distance to original : 93 time need : 4101 greatness : 108 idv : 321280
for(x1,{(2,6)},fun(x2,{(x1,14,-1),(2,x1,1)},conc(for(x3,{(5,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(conc(p((24,22),(1)),for(x6,{(12,17)},conc(p((15,10),(1)),conc(fun(x7,{(x6,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1)))))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,-4),(1))))));goodness : 19.7607 distance to original : 93 time need : 4011 greatness : 105 idv : 323567
conc(for(x1,{(27,31)},fun(x2,{(x1,4,-1),(-1,x1,1)},p((x2,3),(x1)))),for(x3,{(22,22)},for(x4,{(2,6)},fun(x5,{(x4,14,-1),(2,x4,1)},conc(for(x6,{(5,10)},fun(x7,{(2,x6,4)},conc(conc(conc(p((25,22),(1)),for(x8,{(12,17)},conc(p((x6,x8),(1)),p((13,18),(1))))),p((12,x7),(1))),p((20,5),(0))))),conc(conc(conc(conc(p((24,x3),(1)),for(x9,{(12,17)},conc(p((15,10),(1)),conc(fun(x10,{(x9,x5,-1),(1,x9,1)},p((x9,x10),(1))),p((x9,9),(1)))))),conc(conc(for(x11,{(6,20)},for(x12,{(18,20)},p((x12,x11),(1)))),p((18,6),(0))),p((12,15),(1)))),p((10,17),(1))),p((23,-4),(1))))))));goodness : 19.8041 distance to original : 92 time need : 4069 greatness : 123 idv : 329710
for(x1,{(2,6)},fun(x2,{(x1,14,-1),(2,x1,1)},conc(for(x3,{(5,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(conc(p((24,22),(1)),for(x6,{(12,17)},conc(p((15,10),(1)),conc(fun(x7,{(x6,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1)))))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1))),p((23,-4),(1))))));goodness : 19.9579 distance to original : 92 time need : 4011 greatness : 105 idv : 331975
conc(p((15,13),(0)),for(x1,{(2,6)},fun(x2,{(x1,14,-1),(2,x1,1)},conc(for(x3,{(5,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(conc(p((24,22),(1)),for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(x6,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1)))))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1))),p((23,-4),(1)))))));goodness : 20.5305 distance to original : 89 time need : 4016 greatness : 110 idv : 337808
for(x1,{(2,6)},fun(x2,{(x1,14,-1),(2,x1,1)},conc(for(x3,{(5,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(conc(p((24,22),(1)),for(x6,{(12,17)},conc(p((15,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1)))))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1))),p((23,-4),(1))))));goodness : 20.5738 distance to original : 89 time need : 4011 greatness : 105 idv : 343960
for(x1,{(2,6)},fun(x2,{(x1,14,-1),(2,x1,1)},conc(for(x3,{(5,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(p((24,22),(1)),for(x6,{(12,17)},conc(p((15,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1)))))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1))))));goodness : 20.6215 distance to original : 89 time need : 3986 greatness : 100 idv : 350390
fun(x1,{(1,14,1)},for(x2,{(2,6)},fun(x3,{(x2,x1,-1),(2,x2,1)},conc(for(x4,{(5,10)},fun(x5,{(2,x4,4)},conc(conc(conc(p((25,22),(1)),for(x6,{(12,17)},conc(p((x4,x6),(1)),p((26,5),(1))))),p((12,x5),(1))),p((20,5),(0))))),conc(conc(conc(p((24,22),(1)),for(x7,{(12,17)},conc(p((15,10),(1)),conc(fun(x8,{(20,x3,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1)))))),conc(conc(for(x9,{(6,20)},for(x10,{(18,20)},p((x10,x9),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1)))))));goodness : 20.8008 distance to original : 88 time need : 3990 greatness : 104 idv : 354686
for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(for(x3,{(x2,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(for(x6,{(12,17)},conc(p((15,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1))))));goodness : 21.2544 distance to original : 87 time need : 3098 greatness : 100 idv : 364752
conc(for(x1,{(2,5)},fun(x2,{(x1,15,-1),(3,x1,1)},p((x1,x2),(0)))),for(x3,{(2,6)},fun(x4,{(17,11,-1),(2,x3,1)},conc(for(x5,{(x4,10)},fun(x6,{(2,x5,4)},conc(conc(conc(p((25,22),(1)),for(x7,{(12,17)},conc(p((x5,x7),(1)),p((13,9),(1))))),p((12,33),(1))),p((20,5),(0))))),conc(conc(conc(for(x8,{(12,17)},conc(p((15,10),(1)),conc(fun(x9,{(20,x4,-1),(1,x8,1)},p((x8,x9),(1))),p((x8,9),(1))))),p((24,22),(1))),conc(conc(for(x10,{(6,20)},for(x11,{(18,20)},p((x11,x10),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1)))))));goodness : 21.3347 distance to original : 86 time need : 3144 greatness : 115 idv : 373857
for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(for(x3,{(x2,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),for(x5,{(12,17)},conc(p((x3,x5),(1)),p((13,9),(1))))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1))))));goodness : 21.9544 distance to original : 84 time need : 3098 greatness : 100 idv : 374035
for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(for(x3,{(x2,10)},fun(x4,{(2,x3,4)},conc(conc(conc(p((25,22),(1)),conc(for(x5,{(12,17)},p((x3,x5),(1))),p((13,9),(1)))),p((12,x4),(1))),p((20,5),(0))))),conc(conc(conc(for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1)))),p((18,6),(0))),p((12,15),(1)))),p((17,17),(1))))));goodness : 22.0634 distance to original : 84 time need : 2648 greatness : 100 idv : 398184
for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(for(x3,{(x2,10)},conc(p((21,18),(0)),fun(x4,_,conc(conc(conc(for(x5,{(12,17)},p((x3,x5),(1))),p((13,9),(1))),p((-5,x4),(1))),p((20,5),(0)))))),conc(conc(conc(for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1))))),p((12,15),(1)))),p((17,17),(1))))));goodness : 22.1058 distance to original : 84 time need : 2594 greatness : 97 idv : 413692
for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(p((21,18),(0)),fun(x3,_,conc(conc(conc(for(x4,{(12,17)},for(x5,{(x2,10)},p((x5,x4),(1)))),p((13,9),(1))),p((-5,x3),(1))),p((20,5),(0))))),conc(conc(conc(for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1))))),p((12,15),(1)))),p((17,17),(1))))));goodness : 22.1698 distance to original : 84 time need : 2333 greatness : 97 idv : 421207
conc(for(x1,{(20,20)},for(x2,{(2,6)},fun(x3,{(17,11,-1),(2,x2,1)},conc(for(x4,{(x3,10)},conc(p((21,18),(0)),fun(x5,_,conc(conc(conc(for(x6,{(12,17)},p((x4,x6),(1))),p((13,9),(1))),p((-5,x5),(1))),p((x1,5),(0)))))),conc(conc(conc(for(x7,{(12,17)},conc(p((x7,10),(1)),conc(fun(x8,{(20,x3,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x9,{(6,20)},for(x10,{(18,20)},p((x10,x9),(1))))),p((12,15),(1)))),p((17,17),(1))))))),p((21,7),(1)));goodness : 22.2717 distance to original : 83 time need : 2600 greatness : 105 idv : 429298
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(for(x3,{(x2,10)},conc(p((21,18),(0)),fun(x4,_,conc(conc(conc(for(x5,{(12,17)},p((x3,x5),(1))),p((13,9),(1))),p((-5,x4),(1))),p((34,5),(0)))))),conc(conc(conc(for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1))))),p((12,15),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.3018 distance to original : 83 time need : 2599 greatness : 102 idv : 439018
conc(for(x1,{(16,22)},fun(x2,{(x1,1,-1),(0,x1,1)},p((x1,x2),(1)))),conc(for(x3,{(20,20)},for(x4,{(2,6)},fun(x5,{(17,11,-1),(2,x4,1)},conc(for(x6,{(x5,10)},conc(p((21,18),(0)),fun(x7,_,conc(conc(conc(for(x8,{(12,17)},p((x6,x8),(1))),p((13,9),(1))),p((-5,x7),(1))),p((x3,5),(0)))))),conc(conc(conc(for(x9,{(12,17)},conc(p((x9,10),(1)),conc(fun(x10,{(20,x5,-1),(1,x9,1)},p((x9,x10),(1))),p((x9,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x11,{(6,20)},for(x12,{(18,20)},p((x12,x11),(1))))),p((12,15),(1)))),p((17,17),(1))))))),p((21,7),(1))));goodness : 22.3516 distance to original : 82 time need : 2679 greatness : 120 idv : 439148
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(p((21,18),(0)),fun(x3,_,conc(conc(conc(for(x4,{(12,17)},for(x5,{(x2,10)},p((x5,x4),(1)))),p((13,9),(1))),p((-5,x3),(1))),p((34,5),(0))))),conc(conc(conc(for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1))))),p((12,15),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.3669 distance to original : 83 time need : 2338 greatness : 102 idv : 441595
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(fun(x3,_,conc(conc(conc(for(x4,{(12,17)},for(x5,{(x2,10)},p((x5,x4),(1)))),p((13,9),(1))),p((-5,x3),(1))),p((27,5),(0)))),conc(conc(conc(for(x6,{(12,17)},conc(p((x6,10),(1)),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x8,{(6,20)},for(x9,{(18,20)},p((x9,x8),(1))))),p((12,15),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.4233 distance to original : 83 time need : 2313 greatness : 97 idv : 453151
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(conc(conc(for(x3,{(12,17)},for(x4,{(x2,10)},p((x4,x3),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(for(x5,{(12,17)},conc(p((x5,10),(1)),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x7,{(6,20)},for(x8,{(18,20)},p((x8,x7),(1))))),p((12,15),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.4346 distance to original : 83 time need : 2308 greatness : 96 idv : 456469
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(conc(conc(for(x3,{(12,17)},for(x4,{(x2,10)},p((x4,x3),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(for(x5,{(12,17)},conc(p((x5,10),(1)),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x7,{(6,20)},for(x8,{(18,20)},p((x8,x7),(1))))),p((12,11),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.6891 distance to original : 82 time need : 2308 greatness : 96 idv : 483055
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(conc(conc(for(x3,{(x2,10)},for(x4,{(12,17)},p((x3,x4),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(for(x5,{(12,17)},conc(p((x5,10),(1)),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x7,{(6,20)},for(x8,{(18,20)},p((x8,x7),(1))))),p((12,11),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.6922 distance to original : 82 time need : 2296 greatness : 96 idv : 491273
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(conc(conc(for(x3,{(x2,10)},for(x4,{(12,17)},p((x3,x4),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(for(x5,{(12,17)},conc(conc(p((22,21),(1)),p((x5,10),(1))),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x7,{(6,20)},for(x8,{(18,20)},p((x8,x7),(1))))),p((12,11),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.8608 distance to original : 81 time need : 2446 greatness : 101 idv : 524022
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(conc(conc(for(x3,{(x2,10)},for(x4,{(12,17)},p((x3,x4),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(for(x5,{(12,17)},conc(conc(p((22,21),(1)),p((x5,10),(1))),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),conc(conc(p((18,6),(0)),for(x7,{(18,20)},for(x8,{(6,20)},p((x7,x8),(1))))),p((12,11),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.8765 distance to original : 81 time need : 2386 greatness : 101 idv : 593189
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(conc(conc(conc(for(x3,{(x2,10)},for(x4,{(12,17)},p((x3,x4),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(conc(for(x5,{(12,17)},conc(conc(p((22,21),(1)),p((x5,10),(1))),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),for(x7,{(3,5)},fun(x8,{(x7,10,-1),(3,x7,1)},p((x7,x8),(0))))),conc(conc(p((18,6),(0)),for(x9,{(18,20)},for(x10,{(6,20)},p((x9,x10),(1))))),p((12,11),(1)))),p((17,17),(1)))))),p((21,7),(1)));goodness : 22.9355 distance to original : 80 time need : 2561 greatness : 116 idv : 605898
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,10)},for(x4,{(12,17)},p((x3,x4),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(conc(for(x5,{(12,17)},conc(conc(p((22,21),(1)),p((x5,10),(1))),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),for(x7,{(3,5)},fun(x8,{(x7,10,-1),(3,x7,1)},p((x7,x8),(0))))),conc(conc(p((18,6),(0)),for(x9,{(18,20)},for(x10,{(6,20)},p((x9,x10),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1)));goodness : 23.1412 distance to original : 79 time need : 2586 greatness : 121 idv : 612358
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,9)},for(x4,{(12,17)},p((x3,x4),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(conc(for(x5,{(12,17)},conc(conc(p((22,21),(1)),p((x5,10),(1))),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),for(x7,{(3,5)},fun(x8,{(x7,10,-1),(3,x7,1)},p((x7,x8),(0))))),conc(conc(p((18,6),(0)),for(x9,{(18,20)},for(x10,{(6,20)},p((x9,x10),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1)));goodness : 23.1479 distance to original : 79 time need : 2561 greatness : 121 idv : 679139
conc(for(x1,{(2,6)},fun(x2,{(17,11,-1),(2,x1,1)},conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,9)},for(x4,{(12,16)},p((x3,x4),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(conc(for(x5,{(12,17)},conc(conc(p((22,21),(1)),p((x5,10),(1))),conc(fun(x6,{(20,x2,-1),(1,x5,1)},p((x5,x6),(1))),p((x5,9),(1))))),p((24,22),(1))),for(x7,{(3,5)},fun(x8,{(x7,10,-1),(3,x7,1)},p((x7,x8),(0))))),conc(conc(p((18,6),(0)),for(x9,{(18,20)},for(x10,{(6,20)},p((x9,x10),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1)));goodness : 23.4376 distance to original : 78 time need : 2493 greatness : 121 idv : 689130
fun(x1,{(1,1,2)},conc(for(x2,{(2,6)},fun(x3,{(x2,11,-1),(2,x2,1)},conc(p((16,8),(1)),conc(conc(conc(conc(for(x4,{(x3,9)},for(x5,{(12,16)},p((x4,x5),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x3,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(x1))),for(x8,{(3,5)},fun(x9,{(x8,10,-1),(3,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1))));goodness : 23.6636 distance to original : 77 time need : 2518 greatness : 125 idv : 743791
fun(x1,{(1,1,2)},conc(for(x2,{(2,6)},fun(x3,{(x2,11,-1),(2,x2,1)},conc(p((16,8),(1)),conc(conc(conc(conc(for(x4,{(x3,9)},for(x5,{(12,16)},p((x4,x5),(1)))),p((13,9),(1))),p((-5,0),(1))),p((27,5),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x3,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(x1))),for(x8,{(3,5)},fun(x9,{(x8,10,-1),(x2,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1))));goodness : 23.9469 distance to original : 76 time need : 2518 greatness : 125 idv : 753815
conc(conc(fun(x1,{(1,1,2)},conc(for(x2,{(2,6)},fun(x3,{(x2,11,-1),(2,x2,1)},conc(p((16,8),(1)),conc(conc(conc(conc(conc(p((18,2),(0)),for(x4,{(x3,9)},for(x5,{(12,16)},p((x4,x5),(1))))),p((13,9),(1))),fun(x6,{(-14,1,0)},p((x6,0),(1)))),p((27,5),(0))),conc(conc(conc(conc(for(x7,{(12,17)},conc(conc(p((22,21),(1)),p((x7,10),(1))),conc(fun(x8,{(20,x3,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1))))),p((24,22),(x1))),for(x9,{(3,5)},fun(x10,{(x9,10,-1),(x2,x9,1)},p((x9,x10),(0))))),conc(conc(p((18,6),(0)),for(x11,{(18,20)},for(x12,{(6,20)},p((x11,x12),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1)))),p((26,4),(1))),p((9,7),(0)));goodness : 24.0001 distance to original : 75 time need : 2573 greatness : 144 idv : 766681
conc(conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((16,8),(1)),conc(conc(conc(conc(conc(p((18,2),(0)),for(x3,{(x2,9)},for(x4,{(12,16)},p((x3,x4),(1))))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,5),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,5)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1))),p((26,4),(1))),p((9,7),(0)));goodness : 24.0474 distance to original : 75 time need : 2569 greatness : 140 idv : 798715
conc(fun(x1,{(1,1,2)},conc(for(x2,{(2,6)},fun(x3,{(x2,11,-1),(2,x2,1)},conc(p((16,8),(1)),conc(conc(conc(conc(conc(p((18,2),(0)),for(x4,{(x3,9)},for(x5,{(12,16)},p((x4,x5),(1))))),p((13,9),(1))),fun(x6,{(-14,1,0)},p((x6,0),(1)))),p((27,5),(0))),conc(conc(conc(conc(for(x7,{(12,17)},conc(conc(p((22,21),(1)),p((x7,10),(1))),conc(fun(x8,{(20,x3,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1))))),p((24,22),(x1))),for(x9,{(3,5)},fun(x10,{(x9,10,-1),(x2,x9,1)},p((x9,x10),(0))))),conc(conc(p((18,6),(0)),for(x11,{(18,20)},for(x12,{(6,20)},p((x11,x12),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1)))),p((26,4),(1)));goodness : 24.0593 distance to original : 75 time need : 2568 greatness : 139 idv : 804109
conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((16,8),(1)),conc(conc(conc(conc(conc(p((18,2),(0)),for(x3,{(x2,9)},for(x4,{(12,16)},p((x3,x4),(1))))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,5),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,5)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1))),p((26,4),(1)));goodness : 24.1068 distance to original : 75 time need : 2564 greatness : 135 idv : 805551
conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,9)},for(x4,{(12,16)},p((x3,x4),(1)))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,5),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,5)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1))))))),p((21,7),(1))),p((26,4),(1)));goodness : 24.1724 distance to original : 75 time need : 2539 greatness : 130 idv : 847731
conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,9)},for(x4,{(12,16)},p((x3,x4),(1)))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,5),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,5)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,4),(1)));goodness : 24.401 distance to original : 74 time need : 2564 greatness : 135 idv : 886391
conc(conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,9)},for(x4,{(12,16)},p((x3,x4),(1)))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,17),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,19)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,4),(1))),p((11,17),(1)));goodness : 24.4084 distance to original : 73 time need : 3339 greatness : 140 idv : 909159
conc(conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,9)},for(x4,{(12,16)},p((x3,x4),(1)))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,17),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,10)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,4),(1))),p((11,17),(1)));goodness : 24.5568 distance to original : 73 time need : 2844 greatness : 140 idv : 930614
conc(conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,8)},for(x4,{(12,16)},p((x3,x4),(1)))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,34),(0))),conc(conc(conc(conc(for(x6,{(12,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,10)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(18,20)},for(x11,{(6,20)},p((x10,x11),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,4),(1))),p((11,17),(1)));goodness : 24.5631 distance to original : 73 time need : 2823 greatness : 140 idv : 993708
for(x1,{(5,5)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(conc(conc(for(x3,{(2,6)},fun(x4,{(x3,11,-1),(2,x3,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x5,{(x4,8)},for(x6,{(12,16)},p((x5,x6),(1)))),p((13,9),(1))),fun(x7,{(-14,1,0)},p((x7,0),(1)))),p((27,34),(0))),conc(conc(conc(conc(for(x8,{(x2,17)},conc(conc(p((22,21),(1)),p((x8,10),(1))),conc(fun(x9,{(20,x4,-1),(1,x8,1)},p((x8,x9),(1))),p((x8,9),(1))))),p((24,22),(1))),for(x10,{(3,10)},fun(x11,{(x10,10,-1),(x3,x10,1)},p((x10,x11),(0))))),conc(conc(p((18,6),(0)),for(x12,{(18,20)},for(x13,{(6,20)},p((x12,x13),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,4),(1))),p((11,17),(1)))));goodness : 24.6636 distance to original : 72 time need : 3091 greatness : 150 idv : 1012898
fun(x1,{(5,11,-1),(2,5,1)},conc(conc(conc(for(x2,{(2,6)},fun(x3,{(x2,11,-1),(2,x2,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x4,{(x3,8)},for(x5,{(12,16)},p((x4,x5),(1)))),p((13,9),(1))),fun(x6,{(-14,1,0)},p((x6,0),(1)))),p((27,34),(0))),conc(conc(conc(conc(for(x7,{(x1,17)},conc(conc(p((22,21),(1)),p((x7,10),(1))),conc(fun(x8,{(20,x3,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1))))),p((24,22),(1))),for(x9,{(3,10)},fun(x10,{(x9,10,-1),(x2,x9,1)},p((x9,x10),(0))))),conc(conc(p((18,6),(0)),for(x11,{(18,20)},for(x12,{(6,20)},p((x11,x12),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,4),(1))),p((11,17),(1))));goodness : 24.7005 distance to original : 72 time need : 3090 greatness : 147 idv : 1021153
conc(conc(conc(for(x1,{(2,6)},fun(x2,{(x1,11,-1),(2,x1,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x3,{(x2,8)},for(x4,{(12,16)},p((x3,x4),(1)))),p((13,9),(1))),fun(x5,{(-14,1,0)},p((x5,0),(1)))),p((27,34),(0))),conc(conc(conc(conc(for(x6,{(10,17)},conc(conc(p((22,21),(1)),p((x6,10),(1))),conc(fun(x7,{(20,x2,-1),(1,x6,1)},p((x6,x7),(1))),p((x6,9),(1))))),p((24,22),(1))),for(x8,{(3,10)},fun(x9,{(x8,10,-1),(x1,x8,1)},p((x8,x9),(0))))),conc(conc(p((18,6),(0)),for(x10,{(6,20)},for(x11,{(18,20)},p((x11,x10),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,4),(1))),p((11,17),(1)));goodness : 24.7699 distance to original : 72 time need : 3143 greatness : 140 idv : 1041851
conc(p((26,22),(1)),fun(x1,{(1,1,1)},conc(conc(conc(for(x2,{(2,6)},fun(x3,{(x2,11,-1),(2,x2,1)},conc(p((7,16),(0)),conc(p((16,8),(1)),conc(conc(conc(conc(for(x4,{(x3,8)},for(x5,{(12,16)},p((x4,x5),(1)))),p((13,9),(1))),fun(x6,{(-14,1,0)},p((x6,0),(1)))),p((27,34),(0))),conc(conc(conc(conc(for(x7,{(10,17)},conc(p((x7,10),(x1)),conc(fun(x8,{(20,x3,-1),(1,x7,1)},p((x7,x8),(1))),p((x7,9),(1))))),p((24,22),(1))),for(x9,{(3,10)},fun(x10,{(x9,10,-1),(x2,x9,1)},p((x9,x10),(0))))),conc(conc(p((18,6),(0)),for(x11,{(6,20)},for(x12,{(18,20)},p((x12,x11),(1))))),p((12,11),(1)))),p((17,17),(1)))))))),p((21,7),(1))),p((26,21),(1))),p((11,17),(1)))));goodness : 24.7795 distance to original : 72 time need : 2952 greatness : 144 idv : 1092074




