p((3,27),(0));goodness : 42.9546 distance to original : 232 time need : 4 greatness : 4 idv : 1
p((16,27),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 6
for(x1,{(7,13)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,23),(0)))));goodness : 43.7639 distance to original : 225 time need : 99 greatness : 17 idv : 1389
for(x1,{(7,13)},conc(p((17,6),(0)),p((16,x1),(1))));goodness : 43.963 distance to original : 225 time need : 64 greatness : 12 idv : 2034
for(x1,{(-4,1)},fun(x2,{(x1,18,-1),(-5,x1,1)},conc(p((x2,30),(0)),for(x3,{(3,13)},conc(p((17,-12),(x3)),p((16,x3),(1)))))));goodness : 44.0387 distance to original : 221 time need : 673 greatness : 27 idv : 3288
for(x1,{(-5,13)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,23),(0)))));goodness : 44.7093 distance to original : 220 time need : 267 greatness : 17 idv : 4607
fun(x1,{(0,1,16)},for(x2,{(-5,13)},conc(p((16,x2),(1)),p((5,23),(0)))));goodness : 44.7676 distance to original : 220 time need : 176 greatness : 16 idv : 12829
fun(x1,{(-7,2,5),(-2,-4,1)},conc(conc(p((22,25),(0)),fun(x2,{(2,1,-18)},conc(conc(p((0,7),(x2)),p((0,19),(4))),for(x3,{(-3,27)},conc(p((29,x3),(1)),p((2,12),(0))))))),for(x4,{(18,22)},p((2,9),(-14)))));goodness : 45.141 distance to original : 212 time need : 328 greatness : 46 idv : 13183
conc(conc(p((22,25),(0)),fun(x1,{(2,1,-18)},conc(conc(p((0,7),(x1)),p((0,19),(4))),for(x2,{(-3,27)},conc(p((29,x2),(1)),p((2,12),(0))))))),for(x3,{(18,22)},p((2,9),(-14))));goodness : 45.4296 distance to original : 212 time need : 321 greatness : 39 idv : 14205
for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0)))));goodness : 46.5565 distance to original : 211 time need : 393 greatness : 17 idv : 15553
conc(p((17,6),(0)),conc(for(x1,{(-5,22)},p((16,x1),(1))),p((5,21),(0))));goodness : 46.615 distance to original : 211 time need : 123 greatness : 17 idv : 18171
conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),fun(x2,{(1,2,1)},fun(x3,{(-4,2,5),(-2,-4,1)},fun(x4,{(2,1,-18)},for(x5,{(-3,8)},conc(p((29,x5),(1)),p((2,12),(0))))))));goodness : 46.8345 distance to original : 204 time need : 518 greatness : 45 idv : 18695
conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),fun(x2,{(1,2,1)},fun(x3,{(2,1,-18)},for(x4,{(-3,8)},conc(p((29,x4),(1)),p((2,12),(0)))))));goodness : 47.1451 distance to original : 204 time need : 511 greatness : 38 idv : 22188
conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))));goodness : 47.5053 distance to original : 204 time need : 503 greatness : 30 idv : 23646
p((23,8),(0));goodness : 42.9546 distance to original : 232 time need : 4 greatness : 4 idv : 1
p((15,8),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 7
conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))));goodness : 47.5053 distance to original : 204 time need : 503 greatness : 30 idv : 89
conc(conc(p((17,6),(0)),conc(for(x1,{(-5,22)},p((16,x1),(1))),p((5,21),(0)))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))));goodness : 47.5663 distance to original : 204 time need : 233 greatness : 30 idv : 124
conc(for(x1,{(-5,40)},conc(p((17,4),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))));goodness : 47.6747 distance to original : 203 time need : 755 greatness : 30 idv : 567
conc(conc(p((17,6),(0)),conc(for(x1,{(-5,22)},p((16,x1),(1))),p((5,21),(0)))),for(x2,{(-3,8)},p((29,x2),(1))));goodness : 47.8073 distance to original : 204 time need : 173 greatness : 25 idv : 1561
conc(for(x1,{(-5,40)},conc(p((16,x1),(1)),p((5,21),(0)))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))));goodness : 47.9559 distance to original : 203 time need : 525 greatness : 25 idv : 2438
conc(conc(for(x1,{(-5,22)},p((16,x1),(1))),p((5,21),(0))),for(x2,{(-3,8)},p((29,x2),(1))));goodness : 48.0381 distance to original : 204 time need : 168 greatness : 20 idv : 4072
conc(conc(p((17,6),(0)),conc(for(x1,{(-5,22)},p((16,x1),(1))),p((5,21),(0)))),for(x2,{(-3,13)},p((29,x2),(1))));goodness : 48.9733 distance to original : 199 time need : 193 greatness : 25 idv : 5647
conc(conc(p((17,6),(0)),conc(for(x1,{(-5,22)},p((16,x1),(1))),p((5,21),(0)))),for(x2,{(-3,28)},p((29,x2),(1))));goodness : 52.2868 distance to original : 186 time need : 253 greatness : 25 idv : 6670
p((27,17),(0));goodness : 42.9546 distance to original : 232 time need : 4 greatness : 4 idv : 1
p((6,11),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 2
conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))));goodness : 47.5053 distance to original : 204 time need : 503 greatness : 30 idv : 87
conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),for(x2,{(-3,8)},p((29,x2),(1))));goodness : 47.7457 distance to original : 204 time need : 443 greatness : 25 idv : 818
conc(conc(p((17,6),(0)),conc(p((5,21),(0)),for(x1,{(-5,22)},p((16,x1),(1))))),for(x2,{(-3,8)},p((29,x2),(1))));goodness : 47.8073 distance to original : 204 time need : 173 greatness : 25 idv : 5742
conc(conc(p((5,21),(0)),for(x1,{(-5,22)},p((16,x1),(1)))),for(x2,{(-3,8)},p((29,x2),(1))));goodness : 48.0381 distance to original : 204 time need : 168 greatness : 20 idv : 6693
conc(for(x1,{(-5,22)},p((16,x1),(1))),for(x2,{(-3,8)},p((29,x2),(1))));goodness : 48.2712 distance to original : 204 time need : 163 greatness : 15 idv : 9762
conc(for(x1,{(-5,27)},p((16,x1),(1))),for(x2,{(-3,8),(48,50)},p((29,x2),(1))));goodness : 49.3596 distance to original : 199 time need : 195 greatness : 17 idv : 14284
for(x1,{(-4,1)},fun(x2,{(x1,8,-1),(3,x1,1)},for(x3,{(-6,-3)},fun(x4,{(x3,16,-1),(0,x3,1)},fun(x5,{(1,0,1)},conc(for(x6,{(x4,27)},p((16,x6),(1))),for(x7,{(-3,x5),(48,x2)},p((29,x7),(1)))))))));goodness : 49.8025 distance to original : 184 time need : 8593 greatness : 41 idv : 21359
for(x1,{(0,2)},fun(x2,{(x1,7,-1),(-3,x1,1)},conc(for(x3,{(-5,22)},p((16,x3),(1))),for(x4,{(-1,x2),(x1,67)},p((29,x4),(1))))));goodness : 51.1229 distance to original : 189 time need : 1207 greatness : 27 idv : 23435
fun(x1,{(0,7,-1),(-3,0,1)},conc(for(x2,{(-5,22)},p((16,x2),(1))),for(x3,{(-1,x1),(0,67)},p((29,x3),(1)))));goodness : 51.4928 distance to original : 189 time need : 402 greatness : 24 idv : 24719
fun(x1,{(0,7,-1),(-3,0,1)},conc(for(x2,{(-5,40)},p((16,x2),(1))),for(x3,{(-1,x1),(0,83)},p((29,x3),(1)))));goodness : 51.7229 distance to original : 188 time need : 538 greatness : 24 idv : 28079
conc(for(x1,{(-5,40)},p((16,x1),(1))),for(x2,{(-1,0),(0,83)},p((29,x2),(1))));goodness : 52.1021 distance to original : 188 time need : 531 greatness : 17 idv : 35569
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,40)},p((x2,x3),(1))),for(x4,{(-1,0),(0,83)},p((29,x4),(1))))));goodness : 57.9787 distance to original : 166 time need : 1077 greatness : 27 idv : 37684
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,40)},p((x2,x3),(1))),for(x4,{(-1,0),(0,73)},p((29,x4),(1))))));goodness : 58.0056 distance to original : 166 time need : 997 greatness : 27 idv : 50974
conc(for(x1,{(24,0)},conc(for(x2,{(9,-7)},p((57,x1),(1))),for(x3,{(-5,x1)},p((21,x3),(1))))),for(x4,{(0,0)},for(x5,{(14,15)},fun(x6,{(x5,10,-1),(1,x5,1)},conc(for(x7,{(-5,40),(16,23)},p((x6,x7),(1))),for(x8,{(-1,x5),(x4,83)},p((29,x8),(1))))))));goodness : 58.1277 distance to original : 157 time need : 4835 greatness : 51 idv : 54032
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,30)},p((x2,x3),(1))),for(x4,{(-4,0),(0,73)},p((29,x4),(1))))));goodness : 58.7058 distance to original : 164 time need : 941 greatness : 27 idv : 55305
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,26),(16,23)},p((x2,x3),(1))),for(x4,{(-1,0),(0,83)},p((29,x4),(1))))));goodness : 59.9416 distance to original : 160 time need : 1029 greatness : 29 idv : 57756
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,26),(24,23)},p((x2,x3),(1))),for(x4,{(-1,0),(0,83)},p((29,x4),(1))))));goodness : 59.9589 distance to original : 160 time need : 981 greatness : 29 idv : 61489
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,26),(24,23)},p((x2,x3),(1))),for(x4,{(-1,0),(0,81)},p((29,x4),(1))))));goodness : 59.9646 distance to original : 160 time need : 965 greatness : 29 idv : 61612
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,26),(16,23)},p((x2,x3),(1))),for(x4,{(-1,0),(0,74)},p((29,x4),(1))))));goodness : 59.9675 distance to original : 160 time need : 957 greatness : 29 idv : 62950
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-5,26),(16,x1)},p((x2,x3),(1))),for(x4,{(-1,0),(0,74)},p((29,x4),(1))))));goodness : 59.9833 distance to original : 160 time need : 913 greatness : 29 idv : 69106
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-1,26),(16,x1)},p((x2,x3),(1))),for(x4,{(-1,0),(0,74)},p((29,x4),(1))))));goodness : 59.9948 distance to original : 160 time need : 881 greatness : 29 idv : 72178
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-1,26),(16,x2)},p((x2,x3),(1))),for(x4,{(-1,0),(0,74)},p((29,x4),(1))))));goodness : 59.9977 distance to original : 160 time need : 873 greatness : 29 idv : 87492
for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-1,26),(16,x1)},p((x2,x3),(1))),for(x4,{(-1,0),(0,57)},p((29,x4),(1))))));goodness : 60.0438 distance to original : 160 time need : 745 greatness : 29 idv : 90826
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},for(x3,{(-1,26),(16,x2)},p((x2,x3),(1))))),for(x4,{(-1,0),(0,74)},p((29,x4),(1))));goodness : 60.1095 distance to original : 160 time need : 563 greatness : 29 idv : 91956
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},for(x3,{(-1,26),(16,x2)},p((x2,x3),(1))))),for(x4,{(-1,0),(0,55)},p((29,x4),(1))));goodness : 60.137 distance to original : 160 time need : 487 greatness : 29 idv : 98576
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},for(x3,{(-1,26),(x1,x1)},p((x2,x3),(1))))),for(x4,{(-1,0),(0,55)},p((29,x4),(1))));goodness : 60.1384 distance to original : 160 time need : 483 greatness : 29 idv : 114138
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},for(x3,{(-1,26),(x1,x1)},p((x2,x3),(1))))),for(x4,{(-1,0),(0,38)},p((29,x4),(1))));goodness : 60.163 distance to original : 160 time need : 415 greatness : 29 idv : 144158
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},for(x3,{(-1,26),(x1,x1)},p((x2,x3),(1))))),for(x4,{(-1,0),(0,37)},p((29,x4),(1))));goodness : 60.1645 distance to original : 160 time need : 411 greatness : 29 idv : 153436
fun(x1,{(37,1,0)},for(x2,{(0,0)},conc(for(x3,{(14,15)},fun(x4,{(x3,10,-1),(1,x3,1)},for(x5,{(-1,26),(27,x3)},p((x4,x5),(1))))),for(x6,{(-1,0),(0,55)},p((29,x6),(1))))));goodness : 60.318 distance to original : 158 time need : 588 greatness : 36 idv : 155077
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(x1,21)},p((x2,x3),(1))),conc(p((13,2),(0)),for(x4,{(-1,0),(-16,65)},p((29,x4),(1))))))),fun(x5,{(1,-1,1)},fun(x6,{(x5,1,2)},conc(p((25,24),(-14)),for(x7,{(-5,24),(34,40)},p((21,x7),(1)))))));goodness : 60.3697 distance to original : 153 time need : 1246 greatness : 57 idv : 156997
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(x1,21)},p((x2,x3),(1))),conc(p((13,2),(0)),for(x4,{(-1,0),(-16,65)},p((29,x4),(1))))))),fun(x5,{(1,-1,1)},fun(x6,{(x5,1,2)},conc(p((25,10),(-14)),for(x7,{(-5,24),(34,40)},p((21,x7),(1)))))));goodness : 60.7364 distance to original : 152 time need : 1246 greatness : 57 idv : 157183
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(x1,21)},p((x2,x3),(1))),conc(p((13,2),(0)),for(x4,{(-1,0),(-16,65)},p((29,x4),(1))))))),fun(x5,{(1,-1,1)},fun(x6,{(x5,1,2)},conc(p((25,-9),(-14)),for(x7,{(-5,24),(34,40)},p((21,x7),(1)))))));goodness : 61.1075 distance to original : 151 time need : 1246 greatness : 57 idv : 158320
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(x1,21)},p((x2,x3),(1))),conc(p((13,2),(0)),for(x4,{(-1,0),(-16,65)},p((29,x4),(1))))))),fun(x5,{(1,-1,1)},fun(x6,{(x5,1,2)},for(x7,{(-5,24),(34,40),(2,2)},p((21,x7),(1))))));goodness : 61.3328 distance to original : 151 time need : 1245 greatness : 54 idv : 162769
fun(x1,{(1,1,1)},conc(for(x2,{(14,15)},fun(x3,{(x2,10,-1),(x1,x2,1)},conc(for(x4,{(-13,26),(x2,21)},p((x3,x4),(1))),conc(p((13,2),(0)),for(x5,{(-1,0),(-16,65)},p((29,x5),(1))))))),fun(x6,{(1,-1,1)},for(x7,{(-5,24),(34,40)},p((21,x7),(1))))));goodness : 61.4851 distance to original : 151 time need : 1241 greatness : 52 idv : 164886
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(x2,21)},p((x2,x3),(1))),for(x4,{(-1,0),(-16,65)},p((29,x4),(1)))))),fun(x5,{(1,-1,1)},fun(x6,{(x5,1,2)},conc(p((25,24),(-14)),for(x7,{(-5,22),(34,40)},p((21,x7),(1)))))));goodness : 61.4931 distance to original : 151 time need : 1220 greatness : 52 idv : 165380
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(22,21)},p((x2,x3),(1))),for(x4,{(-1,0),(-16,65)},p((29,x4),(1)))))),fun(x5,{(1,-1,1)},fun(x6,{(x5,1,2)},conc(p((25,24),(-14)),for(x7,{(-5,22),(34,40)},p((21,x7),(1)))))));goodness : 61.5067 distance to original : 151 time need : 1184 greatness : 52 idv : 172662
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(22,21)},p((x2,x3),(1))),for(x4,{(-1,0),(-16,65)},p((29,x4),(1)))))),fun(x5,{(1,-1,1)},conc(p((25,24),(-14)),for(x6,{(-5,22),(34,40)},p((21,x6),(1))))));goodness : 61.8123 distance to original : 151 time need : 1180 greatness : 48 idv : 172687
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(22,21)},p((x2,x3),(1))),for(x4,{(-1,0),(-16,65)},p((29,x4),(1)))))),conc(p((25,24),(-14)),for(x5,{(-5,22),(34,40)},p((21,x5),(1)))));goodness : 62.1211 distance to original : 151 time need : 1176 greatness : 44 idv : 173968
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(22,21)},p((x2,x3),(1))),for(x4,{(-1,0),(-16,52)},p((29,x4),(1)))))),conc(p((25,24),(-14)),for(x5,{(-5,22),(34,40)},p((21,x5),(1)))));goodness : 62.1612 distance to original : 151 time need : 1072 greatness : 44 idv : 184470
conc(for(x1,{(14,15)},fun(x2,{(x1,10,-1),(1,x1,1)},conc(for(x3,{(-13,26),(22,21)},p((x2,x3),(1))),for(x4,{(-1,0),(-16,65)},p((29,x4),(1)))))),conc(p((29,24),(-14)),for(x5,{(-5,22),(34,40)},p((21,x5),(1)))));goodness : 62.9026 distance to original : 149 time need : 1176 greatness : 44 idv : 189184
conc(for(x1,{(14,15)},conc(for(x2,{(1,26),(22,21)},fun(x3,{(x1,10,-1),(1,x1,1)},p((x3,x2),(1)))),for(x4,{(-1,0),(-16,65)},p((29,x4),(1))))),conc(p((29,24),(-14)),for(x5,{(-5,22),(34,40)},p((21,x5),(1)))));goodness : 63.5962 distance to original : 147 time need : 1442 greatness : 44 idv : 202021
conc(for(x1,{(14,15)},conc(for(x2,{(1,26),(22,21)},fun(x3,{(x1,10,-1),(1,x1,1),(-2,0,0)},p((x3,x2),(1)))),for(x4,{(-1,0),(-16,65)},p((29,x4),(1))))),for(x5,{(-5,22),(34,40)},p((21,x5),(1))));goodness : 63.6922 distance to original : 147 time need : 1605 greatness : 42 idv : 207616
conc(for(x1,{(-5,22),(34,40)},p((21,x1),(1))),for(x2,{(14,15)},conc(for(x3,{(1,26),(22,21)},fun(x4,{(x2,10,-1),(1,x2,1),(-2,0,0)},p((x4,x3),(1)))),for(x5,{(-1,0),(-16,56)},p((29,x5),(1))))));goodness : 63.7215 distance to original : 147 time need : 1533 greatness : 42 idv : 209513
conc(for(x1,{(-5,22),(34,33)},p((21,x1),(1))),for(x2,{(14,15)},conc(for(x3,{(1,26),(22,21)},fun(x4,{(x2,10,-1),(1,x2,1),(-2,0,0)},p((x4,x3),(1)))),for(x5,{(-1,0),(-16,56)},p((29,x5),(1))))));goodness : 63.7296 distance to original : 147 time need : 1513 greatness : 42 idv : 216275
conc(for(x1,{(-5,22),(34,40)},p((21,x1),(1))),for(x2,{(14,15)},conc(fun(x3,{(x2,10,-1),(1,x2,1),(-2,0,0)},for(x4,{(1,26),(22,21)},p((x3,x4),(1)))),for(x5,{(-1,0),(-16,56)},p((29,x5),(1))))));goodness : 63.9415 distance to original : 147 time need : 993 greatness : 42 idv : 219665
conc(for(x1,{(5,22),(34,40)},p((21,x1),(1))),for(x2,{(14,15)},conc(fun(x3,{(x2,10,-1),(1,x2,1),(-7,0,0)},for(x4,{(1,26),(22,21)},p((x3,x4),(1)))),for(x5,{(-1,0),(-16,56)},p((29,x5),(1))))));goodness : 64.3695 distance to original : 146 time need : 953 greatness : 42 idv : 228174
conc(for(x1,{(5,22),(38,40)},p((21,x1),(1))),for(x2,{(14,15)},conc(fun(x3,{(x2,10,-1),(1,x2,1),(-7,0,0)},for(x4,{(1,26),(22,21)},p((x3,x4),(1)))),for(x5,{(-1,0),(-16,56)},p((29,x5),(1))))));goodness : 64.3762 distance to original : 146 time need : 937 greatness : 42 idv : 252330
conc(for(x1,{(5,22),(38,40)},p((21,x1),(1))),for(x2,{(14,15)},conc(fun(x3,{(x2,10,-1),(1,x2,1),(-7,0,0)},for(x4,{(1,26),(22,21)},p((x3,x4),(1)))),for(x5,{(-1,0),(-16,46)},p((29,x5),(1))))));goodness : 64.4093 distance to original : 146 time need : 857 greatness : 42 idv : 252367
conc(for(x1,{(5,22),(34,40)},p((21,x1),(1))),for(x2,{(14,15)},conc(for(x3,{(-1,0),(0,56)},p((29,x3),(1))),fun(x4,{(x2,10,-1),(1,x2,1),(-7,0,0)},for(x5,{(1,26),(22,21)},p((x4,x5),(1)))))));goodness : 64.4226 distance to original : 146 time need : 825 greatness : 42 idv : 253955
conc(for(x1,{(5,22),(34,40)},p((21,x1),(1))),conc(for(x2,{(-1,0),(0,56)},p((29,x2),(1))),for(x3,{(14,15)},fun(x4,{(x3,10,-1),(1,x3,1),(-7,0,0)},for(x5,{(1,26),(22,21)},p((x4,x5),(1)))))));goodness : 64.5215 distance to original : 146 time need : 587 greatness : 42 idv : 254416
conc(for(x1,{(14,15)},conc(for(x2,{(-1,0),(0,56)},p((29,x2),(1))),fun(x3,{(x1,10,-1),(1,x1,1),(-7,0,0)},for(x4,{(1,27),(22,21)},p((x3,x4),(1)))))),for(x5,{(5,22),(34,40)},p((21,x5),(1))));goodness : 65.2601 distance to original : 144 time need : 833 greatness : 42 idv : 258482
conc(for(x1,{(14,15)},conc(for(x2,{(-1,0),(0,53)},p((29,x2),(1))),fun(x3,{(x1,10,-1),(1,x1,1),(-7,0,0)},for(x4,{(1,27),(22,21)},p((x3,x4),(1)))))),for(x5,{(5,22),(34,40)},p((21,x5),(1))));goodness : 65.2703 distance to original : 144 time need : 809 greatness : 42 idv : 265188
conc(conc(for(x1,{(-1,0),(0,53)},p((29,x1),(1))),for(x2,{(14,15)},fun(x3,{(x2,10,-1),(1,x2,1),(-7,0,0)},for(x4,{(1,27),(22,21)},p((x3,x4),(1)))))),for(x5,{(5,22),(34,40)},p((21,x5),(1))));goodness : 65.3667 distance to original : 144 time need : 583 greatness : 42 idv : 292886
conc(for(x1,{(-1,0),(-14,56)},p((29,x1),(1))),conc(conc(fun(x2,{(14,1,0)},for(x3,{(5,22),(26,29)},p((25,x3),(1)))),for(x4,{(14,15)},fun(x5,{(0,1,-1)},fun(x6,{(x4,10,-1),(1,x4,1),(-7,0,x5)},for(x7,{(1,26),(22,x4)},p((x6,x7),(1))))))),for(x8,{(5,22),(26,29)},p((21,x8),(1)))));goodness : 65.4515 distance to original : 140 time need : 785 greatness : 60 idv : 311751
conc(for(x1,{(-1,0),(-14,56)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,29)},p((25,x2),(1))),for(x3,{(14,15)},fun(x4,{(0,1,-1)},fun(x5,{(x3,10,-1),(1,x3,1),(-7,0,x4)},for(x6,{(1,26),(22,x3)},p((x5,x6),(1))))))),for(x7,{(5,22),(26,29)},p((21,x7),(1)))));goodness : 65.7977 distance to original : 140 time need : 781 greatness : 56 idv : 314146
conc(for(x1,{(-1,0),(-9,56)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,29)},p((25,x2),(1))),for(x3,{(14,15)},fun(x4,{(0,1,-1)},fun(x5,{(x3,10,-1),(1,x3,1),(-7,0,x4)},for(x6,{(1,26),(22,x3)},p((x5,x6),(1))))))),for(x7,{(5,22),(26,29)},p((21,x7),(1)))));goodness : 65.8064 distance to original : 140 time need : 761 greatness : 56 idv : 315089
conc(for(x1,{(-1,0),(-1,56)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,29)},p((25,x2),(1))),for(x3,{(14,15)},fun(x4,{(0,1,-1)},fun(x5,{(x3,10,-1),(1,x3,1),(-7,0,x4)},for(x6,{(1,26),(22,x3)},p((x5,x6),(1))))))),for(x7,{(5,22),(26,29)},p((21,x7),(1)))));goodness : 65.8202 distance to original : 140 time need : 729 greatness : 56 idv : 320201
conc(for(x1,{(-1,0),(-1,56)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,29)},p((25,x2),(1))),for(x3,{(14,15)},fun(x4,{(0,1,-1)},fun(x5,{(x3,10,-1),(1,x3,1),(-7,0,x4)},for(x6,{(1,26),(27,x3)},p((x5,x6),(1))))))),for(x7,{(5,22),(26,29)},p((21,x7),(1)))));goodness : 66.6804 distance to original : 138 time need : 769 greatness : 56 idv : 334631
conc(for(x1,{(-1,0),(-1,56)},p((29,x1),(1))),conc(conc(for(x2,{(17,22),(26,29)},p((25,x2),(1))),for(x3,{(14,15)},fun(x4,{(0,3,-1)},fun(x5,{(x3,10,-1),(1,x3,1),(x4,0,x4)},for(x6,{(1,26),(27,x3)},p((x5,x6),(1))))))),for(x7,{(-3,22),(26,26)},p((21,x7),(1)))));goodness : 66.6929 distance to original : 138 time need : 741 greatness : 56 idv : 351445
conc(for(x1,{(-1,0),(-1,53)},p((29,x1),(1))),conc(conc(for(x2,{(17,22),(26,29)},p((25,x2),(1))),for(x3,{(14,15)},fun(x4,{(0,3,-1)},fun(x5,{(x3,10,-1),(1,x3,1),(7,0,x4)},for(x6,{(1,26),(27,x3)},p((x5,x6),(1))))))),for(x7,{(-3,22),(26,26)},p((21,x7),(1)))));goodness : 66.6982 distance to original : 138 time need : 729 greatness : 56 idv : 366988
conc(for(x1,{(-1,0),(-1,53)},p((29,x1),(1))),conc(for(x2,{(0,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(17,22),(26,29)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(0,3,-1)},fun(x6,{(x4,10,-1),(1,x4,1),(7,0,x5)},for(x7,{(1,26),(27,x4)},p((x6,x7),(1)))))))));goodness : 66.7036 distance to original : 138 time need : 717 greatness : 56 idv : 376555
conc(for(x1,{(-1,0),(-1,40)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(17,22),(26,29)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(0,3,-1)},fun(x6,{(x4,10,-1),(1,x4,1),(7,0,x5)},for(x7,{(1,26),(27,x4)},p((x6,x7),(1)))))))));goodness : 66.7214 distance to original : 138 time need : 677 greatness : 56 idv : 378482
conc(for(x1,{(-1,0),(-1,40)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(17,22),(26,29)},p((25,x3),(1))),fun(x4,{(0,3,-1)},for(x5,{(14,15)},fun(x6,{(x5,10,-1),(1,x5,1),(7,0,7)},for(x7,{(1,26),(27,x5)},p((x6,x7),(1)))))))));goodness : 66.7232 distance to original : 138 time need : 673 greatness : 56 idv : 381816
conc(for(x1,{(-1,0),(-1,53)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(17,22),(26,29)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(0,3,-1)},fun(x6,{(x4,10,-1),(1,x4,1),(7,0,x5)},for(x7,{(1,17),(27,x4)},p((x6,x7),(1)))))))));goodness : 66.7303 distance to original : 138 time need : 657 greatness : 56 idv : 381962
conc(for(x1,{(-1,0),(-1,40)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(17,22),(26,29)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,26),(27,x4)},fun(x7,{(0,3,-1)},p((x5,x6),(1)))))))));goodness : 66.8543 distance to original : 138 time need : 979 greatness : 53 idv : 386557
conc(conc(for(x1,{(16,22),(26,29)},p((25,x1),(1))),for(x2,{(14,15)},conc(fun(x3,{(x2,10,-1),(1,x2,1),(x2,0,7)},for(x4,{(1,26),(27,x2)},p((x3,x4),(1)))),conc(for(x5,{(-1,0),(-1,61)},p((29,x5),(1))),for(x6,{(-3,22),(26,26)},p((21,x6),(1))))))),p((21,17),(1)));goodness : 66.8744 distance to original : 137 time need : 1134 greatness : 57 idv : 401259
fun(x1,{(0,-12,-1)},conc(for(x2,{(-1,0),(-1,40)},p((29,x2),(1))),conc(for(x3,{(-3,22),(26,26)},p((21,x3),(1))),conc(for(x4,{(12,22),(26,29)},p((25,x4),(1))),for(x5,{(14,15)},fun(x6,{(x5,10,-1),(1,x5,1)},for(x7,{(1,26),(27,x5)},fun(x8,{(0,3,-1)},p((x6,x7),(1))))))))));goodness : 66.9331 distance to original : 137 time need : 1003 greatness : 57 idv : 406590
conc(for(x1,{(-1,0),(-1,40)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,29)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,26),(27,x4)},fun(x7,{(0,3,-1)},p((x5,x6),(1)))))))));goodness : 67.753 distance to original : 136 time need : 995 greatness : 53 idv : 407371
conc(for(x1,{(-1,0),(-1,40)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,29)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,26),(27,x4)},p((x5,x6),(1))))))));goodness : 68.2692 distance to original : 136 time need : 679 greatness : 49 idv : 411210
conc(for(x1,{(-1,0),(-1,40)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,28)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,26),(27,x4)},p((x5,x6),(1))))))));goodness : 68.7403 distance to original : 135 time need : 675 greatness : 49 idv : 419006
conc(for(x1,{(-1,0),(-1,26)},p((29,x1),(1))),conc(p((37,-1),(1)),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,28)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,26),(27,x4)},p((x5,x6),(1)))))))));goodness : 69.7233 distance to original : 132 time need : 624 greatness : 54 idv : 438055
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(p((37,-1),(1)),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,28)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,26),(27,x4)},p((x5,x6),(1)))))))));goodness : 69.7253 distance to original : 132 time need : 620 greatness : 54 idv : 452134
conc(for(x1,{(-1,0),(-1,26)},p((29,x1),(1))),conc(p((37,-1),(1)),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,28)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x5),(27,x4)},p((x5,x6),(1)))))))));goodness : 69.7642 distance to original : 132 time need : 540 greatness : 54 idv : 452670
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,28)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,26),(27,x4)},p((x5,x6),(1))))))));goodness : 70.2173 distance to original : 132 time need : 615 greatness : 49 idv : 454830
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,28)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x5),(27,x4)},p((x5,x6),(1))))))));goodness : 70.2588 distance to original : 132 time need : 531 greatness : 49 idv : 492019
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(13,22),(26,27)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x5),(27,x4)},p((x5,x6),(1))))))));goodness : 70.7579 distance to original : 131 time need : 527 greatness : 49 idv : 499951
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,26)},p((21,x2),(1))),conc(for(x3,{(14,22),(26,27)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x5),(27,x4)},p((x5,x6),(1))))))));goodness : 71.2642 distance to original : 130 time need : 523 greatness : 49 idv : 508705
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(for(x2,{(-3,22),(26,27)},p((21,x2),(1))),conc(for(x3,{(14,22),(26,27)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x5),(27,x4)},p((x5,x6),(1))))))));goodness : 71.7736 distance to original : 129 time need : 527 greatness : 49 idv : 523562
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(for(x2,{(5,22),(26,27)},p((21,x2),(1))),conc(for(x3,{(14,22),(26,27)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x5),(27,x4)},p((x5,x6),(1))))))));goodness : 72.3092 distance to original : 128 time need : 495 greatness : 49 idv : 541292
conc(for(x1,{(-1,0),(0,26)},p((29,x1),(1))),conc(for(x2,{(5,22),(26,27)},p((21,x2),(1))),conc(for(x3,{(14,22),(26,27)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x4),(27,x4)},p((x5,x6),(1))))))));goodness : 72.3134 distance to original : 128 time need : 487 greatness : 49 idv : 563266
conc(for(x1,{(-1,0),(0,27)},p((29,x1),(1))),conc(for(x2,{(5,22),(26,27)},p((21,x2),(1))),conc(for(x3,{(14,22),(26,27)},p((25,x3),(1))),for(x4,{(14,15)},fun(x5,{(x4,10,-1),(1,x4,1)},for(x6,{(1,x4),(27,x4)},p((x5,x6),(1))))))));goodness : 72.838 distance to original : 127 time need : 491 greatness : 49 idv : 595609
conc(for(x1,{(0,0)},for(x2,{(14,31)},fun(x3,{(x2,10,-1),(1,x2,1)},p((x3,26),(1))))),conc(for(x4,{(-1,0),(0,27)},p((29,x4),(1))),conc(for(x5,{(5,22),(26,27)},p((21,x5),(1))),conc(for(x6,{(14,22),(26,27),(95,99)},p((25,x6),(1))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1)))))))));goodness : 74.3428 distance to original : 120 time need : 712 greatness : 69 idv : 837133
conc(for(x1,{(0,0)},for(x2,{(14,29)},fun(x3,{(x2,10,-1),(1,x2,1)},p((x3,26),(1))))),conc(for(x4,{(-1,0),(0,27)},p((29,x4),(1))),conc(for(x5,{(5,22),(26,27)},p((21,x5),(1))),conc(for(x6,{(14,22),(26,27),(95,99)},p((25,x6),(1))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1)))))))));goodness : 74.355 distance to original : 120 time need : 690 greatness : 69 idv : 847295
conc(for(x1,{(14,29)},fun(x2,{(x1,10,-1),(1,x1,1)},p((x2,26),(1)))),conc(for(x3,{(-1,0),(0,27)},p((29,x3),(1))),conc(for(x4,{(5,22),(26,27)},p((21,x4),(1))),conc(for(x5,{(14,22),(26,27),(95,99)},p((25,x5),(1))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1)))))))));goodness : 74.6887 distance to original : 120 time need : 689 greatness : 66 idv : 849666
conc(for(x1,{(0,0)},for(x2,{(14,31)},fun(x3,{(x2,10,-11),(1,x2,1)},p((x3,26),(1))))),conc(for(x4,{(-1,0),(0,27)},p((29,x4),(1))),conc(for(x5,{(5,22),(26,27)},p((21,x5),(1))),conc(for(x6,{(14,22),(26,27),(95,99)},p((25,x6),(1))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1)))))))));goodness : 75.4649 distance to original : 118 time need : 712 greatness : 69 idv : 850698
conc(for(x1,{(0,0)},for(x2,{(14,30)},fun(x3,{(x2,10,-11),(1,x2,1)},p((x3,26),(1))))),conc(for(x4,{(-1,0),(0,27)},p((29,x4),(1))),conc(for(x5,{(5,22),(26,27)},p((21,x5),(1))),conc(for(x6,{(14,22),(26,27),(95,99)},p((25,x6),(1))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1)))))))));goodness : 76.045 distance to original : 117 time need : 701 greatness : 69 idv : 853446
conc(for(x1,{(14,30)},fun(x2,{(x1,10,-11),(1,x1,1)},p((x2,26),(1)))),conc(for(x3,{(-1,0),(0,27)},p((29,x3),(1))),conc(for(x4,{(5,22),(26,27)},p((21,x4),(1))),conc(for(x5,{(14,22),(26,27),(95,99)},p((25,x5),(1))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1)))))))));goodness : 76.3942 distance to original : 117 time need : 700 greatness : 66 idv : 868833
conc(for(x1,{(14,30)},fun(x2,{(x1,10,-11),(1,x1,1)},p((x2,26),(1)))),conc(for(x3,{(-1,0),(0,27)},p((29,x3),(1))),conc(for(x4,{(5,22),(26,27)},p((21,x4),(1))),conc(for(x5,{(14,22),(26,27),(95,97)},p((25,x5),(1))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1)))))))));goodness : 76.3989 distance to original : 117 time need : 692 greatness : 66 idv : 897367
conc(for(x1,{(14,30)},fun(x2,{(x1,10,-11),(1,x1,1)},p((x2,26),(1)))),conc(for(x3,{(-1,0),(0,27)},p((29,x3),(1))),conc(for(x4,{(5,22),(26,27)},p((21,x4),(1))),conc(for(x5,{(14,22),(26,27),(96,97)},p((25,x5),(1))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1)))))))));goodness : 76.4012 distance to original : 117 time need : 688 greatness : 66 idv : 902955
conc(conc(for(x1,{(11,16)},fun(x2,{(x1,7,-1),(0,x1,6)},conc(for(x3,{(14,30),(21,21)},fun(x4,{(x3,10,-12),(1,x3,1)},p((x4,x2),(1)))),conc(for(x5,{(-1,0),(-7,27)},p((29,x5),(1))),conc(conc(p((25,47),(1)),p((19,23),(0))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1)))))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1)))),fun(x10,{(1,26,1)},fun(x11,{(-4,19,-1),(3,-4,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x10),(1))),p((28,27),(1)))))));goodness : 76.4409 distance to original : 105 time need : 4020 greatness : 109 idv : 911421
conc(for(x1,{(-10,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,30),(21,21)},fun(x5,{(x4,10,-12),(1,x4,1)},p((x5,x3),(1)))),conc(conc(p((25,47),(1)),p((19,23),(0))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1))))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1)))),fun(x10,{(1,26,1)},fun(x11,{(-4,19,-1),(3,-4,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x10),(1))),p((28,27),(1))))))));goodness : 76.8982 distance to original : 105 time need : 3242 greatness : 109 idv : 914276
conc(for(x1,{(-10,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,30)},fun(x5,{(x4,10,-12),(1,x4,1)},p((x5,x3),(1)))),conc(conc(p((25,47),(1)),p((19,23),(0))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1))))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1)))),fun(x10,{(1,26,1)},fun(x11,{(-4,19,-1),(3,-4,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x10),(1))),p((28,27),(1))))))));goodness : 77.1748 distance to original : 105 time need : 3176 greatness : 107 idv : 918011
conc(for(x1,{(-10,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,30),(21,21)},fun(x5,{(x4,10,-12),(1,x4,1)},p((x5,x3),(1)))),conc(conc(p((25,47),(1)),p((19,23),(0))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1))))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1)))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((28,27),(1)))))));goodness : 77.7393 distance to original : 105 time need : 3235 greatness : 102 idv : 918549
conc(for(x1,{(-10,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,30)},fun(x5,{(x4,10,-12),(1,x4,1)},p((x5,x3),(1)))),conc(conc(p((25,47),(1)),p((19,23),(0))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1))))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1)))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((28,27),(1)))))));goodness : 78.022 distance to original : 105 time need : 3169 greatness : 100 idv : 923595
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,30),(21,21)},fun(x5,{(x4,10,-12),(1,x4,1)},p((x5,x3),(1)))),conc(p((19,23),(0)),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(27,x6)},p((x7,x8),(1))))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1)))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((28,27),(1)))))));goodness : 78.357 distance to original : 105 time need : 3221 greatness : 97 idv : 924251
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(fun(x4,{(1,0,1)},for(x5,{(14,22),(19,27),(95,99)},p((25,x5),(1)))),conc(for(x6,{(14,30),(21,21)},fun(x7,{(x6,10,-12),(1,x6,1)},p((x7,x3),(1)))),conc(p((25,23),(0)),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(1,x8),(27,x8)},p((x9,x10),(1)))))))))),for(x11,{(5,22),(26,27),(3,3)},p((21,x11),(1)))),fun(x12,{(1,26,1)},for(x13,{(14,30)},conc(fun(x14,{(x13,10,-11),(1,x13,1)},p((x14,x12),(1))),p((28,27),(1)))))));goodness : 80.38 distance to original : 98 time need : 3809 greatness : 113 idv : 945268
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(fun(x4,{(1,0,1)},for(x5,{(14,22),(19,27),(95,99)},p((25,x5),(1)))),conc(for(x6,{(14,30),(21,21)},fun(x7,{(x6,10,-12),(1,x6,1)},p((x7,x3),(1)))),conc(p((25,23),(0)),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(1,x8),(27,x8)},p((x9,x10),(1)))))))))),for(x11,{(5,22),(26,27),(3,3)},p((21,x11),(1)))),fun(x12,{(1,26,1)},for(x13,{(14,30)},conc(fun(x14,{(x13,10,-11),(1,x13,1)},p((x14,x12),(1))),p((x13,27),(1)))))));goodness : 85.1723 distance to original : 91 time need : 3809 greatness : 113 idv : 949006
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,22),(19,27),(95,99)},p((25,x4),(1))),conc(for(x5,{(14,30),(21,21)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),conc(p((25,23),(0)),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1)))))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1)))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 85.7743 distance to original : 91 time need : 3785 greatness : 109 idv : 952693
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(fun(x4,{(1,0,1)},for(x5,{(14,22),(19,27),(95,99)},p((25,x5),(1)))),conc(for(x6,{(14,30),(21,21)},fun(x7,{(x6,10,-12),(1,x6,1)},p((x7,x3),(1)))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(1,x8),(27,x8)},p((x9,x10),(1))))))))),for(x11,{(5,22),(26,27),(3,3)},p((21,x11),(1)))),fun(x12,{(1,26,1)},for(x13,{(14,30)},conc(fun(x14,{(x13,10,-11),(1,x13,1)},p((x14,x12),(1))),p((x13,27),(1)))))));goodness : 85.9262 distance to original : 91 time need : 3779 greatness : 108 idv : 953031
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,22),(19,27),(95,99)},p((25,x4),(1))),conc(for(x5,{(14,30),(21,21)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1))))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1)))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 86.5389 distance to original : 91 time need : 3755 greatness : 104 idv : 965180
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,22),(27,27),(95,99)},p((25,x4),(1))),conc(for(x5,{(14,30),(21,21)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1))))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1)))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 88.9973 distance to original : 88 time need : 3563 greatness : 104 idv : 988453



p((12,24),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 1
conc(for(x1,{(-5,22)},conc(p((17,6),(0)),conc(p((16,x1),(1)),p((5,21),(0))))),for(x2,{(-3,8)},conc(p((29,x2),(1)),p((2,12),(0)))));goodness : 47.5053 distance to original : 204 time need : 503 greatness : 30 idv : 90
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,22),(27,27),(95,99)},p((25,x4),(1))),conc(for(x5,{(14,30),(21,21)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1))))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1)))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 88.9973 distance to original : 88 time need : 3563 greatness : 104 idv : 91
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(11,16)},fun(x3,{(x2,7,-1),(0,x2,6)},conc(for(x4,{(14,22),(27,27),(95,99)},p((25,x4),(1))),conc(for(x5,{(17,30),(21,21)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1))))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1)))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 89.1544 distance to original : 88 time need : 3365 greatness : 104 idv : 7208
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),for(x3,{(11,16)},fun(x4,{(x3,7,-1),(0,x3,6)},conc(for(x5,{(14,22),(27,27),(95,84)},p((25,x5),(1))),conc(for(x6,{(14,30)},fun(x7,{(x6,10,-12),(1,x6,1)},p((x7,x4),(1)))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(1,x8),(27,x8)},p((x9,x10),(1)))))))))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 89.2339 distance to original : 88 time need : 3665 greatness : 102 idv : 23286
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),for(x3,{(11,16)},fun(x4,{(x3,7,-1),(0,x3,6)},conc(for(x5,{(14,22),(27,27),(95,84)},p((25,x5),(1))),conc(for(x6,{(14,28)},fun(x7,{(x6,10,-12),(1,x6,1)},p((x7,x4),(1)))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(1,x8),(27,x8)},p((x9,x10),(1)))))))))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 90.9645 distance to original : 86 time need : 3533 greatness : 102 idv : 29856
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),for(x3,{(11,16)},fun(x4,{(x3,7,-1),(0,x3,6)},conc(for(x5,{(14,22),(27,27),(76,84)},p((25,x5),(1))),conc(for(x6,{(14,28)},fun(x7,{(x6,10,-12),(1,x6,1)},p((x7,x4),(1)))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(1,x8),(27,x8)},p((x9,x10),(1)))))))))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 91.0241 distance to original : 86 time need : 3461 greatness : 102 idv : 47885
conc(for(x1,{(-16,-11),(0,27)},p((29,x1),(1))),conc(conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),for(x3,{(11,16)},fun(x4,{(x3,7,-1),(0,x3,6)},conc(for(x5,{(14,22),(27,27),(77,84)},p((25,x5),(1))),conc(for(x6,{(14,28)},fun(x7,{(x6,10,-12),(1,x6,1)},p((x7,x4),(1)))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(1,x8),(27,x8)},p((x9,x10),(1)))))))))),fun(x11,{(1,26,1)},for(x12,{(14,30)},conc(fun(x13,{(x12,10,-11),(1,x12,1)},p((x13,x11),(1))),p((x12,27),(1)))))));goodness : 91.044 distance to original : 86 time need : 3437 greatness : 102 idv : 52527
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),for(x2,{(11,16)},fun(x3,{(x2,6,-1),(0,x2,6)},conc(for(x4,{(14,22),(27,27),(95,92)},p((25,x4),(1))),conc(for(x5,{(14,28)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(27,x7)},p((x8,x9),(1)))))))))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((x11,27),(1)))))),for(x13,{(-16,-11),(0,27)},p((29,x13),(1))));goodness : 91.1236 distance to original : 86 time need : 3341 greatness : 102 idv : 54124
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),for(x2,{(11,16)},fun(x3,{(x2,6,-1),(0,x2,6)},conc(for(x4,{(14,22),(27,27),(95,92)},p((25,x4),(1))),conc(for(x5,{(14,28)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(26,x7)},p((x8,x9),(1)))))))))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((x11,27),(1)))))),for(x13,{(-16,-11),(0,27)},p((29,x13),(1))));goodness : 91.1635 distance to original : 86 time need : 3293 greatness : 102 idv : 65995
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),for(x2,{(11,16)},fun(x3,{(x2,6,-1),(0,x2,6)},conc(for(x4,{(14,22),(27,27),(95,92)},p((25,x4),(1))),conc(for(x5,{(14,28)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(26,x7)},p((x8,x9),(1)))))))))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((x11,27),(1)))))),for(x13,{(-16,-17),(0,27)},p((29,x13),(1))));goodness : 91.1768 distance to original : 86 time need : 3277 greatness : 102 idv : 78120
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),for(x2,{(11,16)},fun(x3,{(x2,6,-1),(0,x2,6)},conc(for(x4,{(14,22),(27,27),(95,92)},p((25,x4),(1))),conc(for(x5,{(14,28)},fun(x6,{(x5,10,-12),(1,x5,1)},p((x6,x3),(1)))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x2),(26,x7)},p((x8,x9),(1)))))))))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((x11,27),(1)))))),for(x13,{(-16,-17),(0,27)},p((29,x13),(1))));goodness : 91.2167 distance to original : 86 time need : 3229 greatness : 102 idv : 117336
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),conc(for(x2,{(14,22),(27,27),(95,92)},p((25,x2),(1))),conc(for(x3,{(14,28)},fun(x4,{(x3,10,-12),(1,x3,1)},for(x5,{(11,16)},fun(x6,{(x5,6,-1),(0,x5,6)},p((x4,x6),(1)))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(26,x7)},p((x8,x9),(1)))))))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(fun(x12,{(x11,10,-11),(1,x11,1)},p((x12,x10),(1))),p((x11,27),(1)))))),for(x13,{(-16,-17),(0,27)},p((29,x13),(1))));goodness : 92.3455 distance to original : 86 time need : 1889 greatness : 102 idv : 118516
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),conc(for(x2,{(14,22),(27,27),(95,92)},p((25,x2),(1))),conc(for(x3,{(14,28)},for(x4,{(11,16)},fun(x5,{(x4,6,-1),(0,x4,6)},p((x3,x5),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(26,x6)},p((x7,x8),(1)))))))),fun(x9,{(1,26,1)},for(x10,{(14,30)},conc(fun(x11,{(x10,10,-11),(1,x10,1)},p((x11,x9),(1))),p((x10,27),(1)))))),for(x12,{(-16,-17),(0,27)},p((29,x12),(1))));goodness : 93.647 distance to original : 86 time need : 1784 greatness : 95 idv : 144829
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),conc(for(x2,{(14,22),(27,27),(95,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1),(0,x3,8)},for(x5,{(14,28)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(26,x6)},p((x7,x8),(1)))))))),fun(x9,{(1,26,1)},for(x10,{(14,30)},conc(fun(x11,{(x10,10,-11),(1,x10,1)},p((x11,x9),(1))),p((x10,27),(1)))))),for(x12,{(-16,-17),(0,27)},p((29,x12),(1))));goodness : 94.1735 distance to original : 86 time need : 1187 greatness : 95 idv : 148499
fun(x1,{(0,1,2)},conc(conc(conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),conc(for(x3,{(14,22),(27,27),(95,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1),(0,x4,x1)},for(x6,{(14,28)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(26,x7)},p((x8,x9),(1)))))))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(p((x11,x10),(1)),p((x11,27),(1)))))),for(x12,{(-16,-17),(0,27)},p((29,x12),(1)))));goodness : 94.8119 distance to original : 86 time need : 1072 greatness : 92 idv : 177066
for(x1,{(48,48)},conc(conc(conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),conc(for(x3,{(14,22),(27,27),(95,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1),(0,x4,0)},for(x6,{(14,28)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(1,x7),(26,x7)},p((x8,x9),(1)))))))),fun(x10,{(1,26,1)},for(x11,{(14,30)},conc(p((x11,x10),(1)),p((x11,27),(1)))))),for(x12,{(-16,-17),(-16,27)},p((29,x12),(1)))));goodness : 94.937 distance to original : 86 time need : 1133 greatness : 91 idv : 209190
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),conc(for(x2,{(14,22),(27,27),(95,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1),(0,x3,0),(0,5,0)},for(x5,{(14,28)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(26,x6)},p((x7,x8),(1)))))))),fun(x9,{(1,26,1)},for(x10,{(14,30)},conc(p((x10,x9),(1)),p((x10,27),(1)))))),for(x11,{(-16,-17),(0,25)},p((29,x11),(1))));goodness : 94.9866 distance to original : 86 time need : 1078 greatness : 91 idv : 213692
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),conc(for(x2,{(14,22),(27,27),(93,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1),(0,x3,0),(0,5,-6)},for(x5,{(14,28)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(26,x6)},p((x7,x8),(1)))))))),fun(x9,{(1,26,1)},for(x10,{(14,30)},conc(p((x10,x9),(1)),p((x10,27),(1)))))),for(x11,{(-16,-17),(0,25)},p((29,x11),(1))));goodness : 94.9938 distance to original : 86 time need : 1070 greatness : 91 idv : 220561
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1),(0,x3,0),(0,5,-6)},for(x5,{(14,28)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(1,x6),(26,x6)},p((x7,x8),(1)))))))),fun(x9,{(1,26,1)},for(x10,{(14,30)},conc(p((x10,x9),(1)),p((x10,27),(1)))))),for(x11,{(-16,-17),(0,25)},p((29,x11),(1))));goodness : 94.9974 distance to original : 86 time need : 1066 greatness : 91 idv : 266916
conc(conc(conc(for(x1,{(5,22),(26,27),(3,3)},p((21,x1),(1))),conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1),(0,x3,0),(0,5,-6)},for(x5,{(14,28)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,x6),(26,x6)},p((x7,x8),(1)))))))),fun(x9,{(1,26,1)},for(x10,{(14,30)},conc(p((x10,x9),(1)),p((x10,27),(1)))))),for(x11,{(-16,-17),(0,25)},p((29,x11),(1))));goodness : 95.0047 distance to original : 86 time need : 1058 greatness : 91 idv : 412674
conc(conc(fun(x1,{(1,26,1)},for(x2,{(14,30)},conc(p((x2,x1),(1)),p((x2,27),(1))))),conc(for(x3,{(5,22),(26,27),(3,3)},p((21,x3),(1))),conc(for(x4,{(14,22),(27,27),(92,92)},p((25,x4),(1))),conc(for(x5,{(11,16)},fun(x6,{(x5,6,-1),(-2,5,-6)},for(x7,{(14,28),(95,101)},p((x7,x6),(1))))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(2,x8),(26,x8)},p((x9,x10),(1))))))))),for(x11,{(-16,-17),(0,25)},p((29,x11),(1))));goodness : 95.0498 distance to original : 86 time need : 1208 greatness : 90 idv : 439476
conc(conc(for(x1,{(14,30)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1),(-2,5,-6)},for(x6,{(14,28),(95,101)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(26,x7)},p((x8,x9),(1))))))))),for(x10,{(-16,-17),(0,25)},p((29,x10),(1))));goodness : 95.7818 distance to original : 86 time need : 1204 greatness : 86 idv : 448278
conc(conc(for(x1,{(14,29)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1),(-2,5,-6)},for(x6,{(14,28),(95,101)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(26,x7)},p((x8,x9),(1))))))))),for(x10,{(-16,-17),(0,25)},p((29,x10),(1))));goodness : 97.661 distance to original : 84 time need : 1195 greatness : 86 idv : 492560
conc(conc(for(x1,{(14,29)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(for(x2,{(5,22),(26,26),(3,3)},p((21,x2),(1))),conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1),(-2,5,-6)},for(x6,{(14,28),(95,101)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(26,x7)},p((x8,x9),(1))))))))),for(x10,{(-16,-17),(0,25)},p((29,x10),(1))));goodness : 97.6648 distance to original : 84 time need : 1191 greatness : 86 idv : 508064
conc(conc(for(x1,{(14,29)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,101)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(26,x7)},p((x8,x9),(1))))))))),for(x10,{(-16,-17),(0,25)},p((29,x10),(1))));goodness : 98.254 distance to original : 84 time need : 1177 greatness : 83 idv : 511224
conc(conc(for(x1,{(14,29)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(for(x2,{(5,22),(26,27),(3,3)},p((21,x2),(1))),conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,101)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(26,x7)},p((x8,x9),(1))))))))),for(x10,{(-17,-17),(0,25)},p((29,x10),(1))));goodness : 98.2579 distance to original : 84 time need : 1173 greatness : 83 idv : 532194
conc(conc(for(x1,{(14,29)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1)},for(x5,{(14,28),(95,101)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,x6),(26,x6)},p((x7,x8),(1))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1))))),for(x10,{(-17,-17),(1,25)},p((29,x10),(1))));goodness : 99.2369 distance to original : 83 time need : 1169 greatness : 83 idv : 575456
conc(conc(for(x1,{(14,29)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1)},for(x5,{(14,28),(95,101)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,x6),(25,x6)},p((x7,x8),(1))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1))))),for(x10,{(-17,-17),(1,25)},p((29,x10),(1))));goodness : 99.2447 distance to original : 83 time need : 1161 greatness : 83 idv : 594952
conc(conc(for(x1,{(14,29)},conc(p((x1,26),(1)),p((x1,27),(1)))),conc(conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,16)},fun(x4,{(x3,6,-1)},for(x5,{(14,28),(95,97)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,x6),(25,x6)},p((x7,x8),(1))))))),for(x9,{(5,22),(26,27),(3,3)},p((21,x9),(1))))),for(x10,{(-17,-17),(1,25)},p((29,x10),(1))));goodness : 99.3394 distance to original : 83 time need : 1065 greatness : 83 idv : 620960
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(for(x2,{(14,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 99.3868 distance to original : 83 time need : 1017 greatness : 83 idv : 658651
conc(for(x1,{(-17,-2),(1,25)},p((29,x1),(1))),conc(for(x2,{(14,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,64)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 100.581 distance to original : 81 time need : 1422 greatness : 85 idv : 860651
conc(for(x1,{(-17,-12),(1,25)},p((29,x1),(1))),conc(for(x2,{(14,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,64)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 100.622 distance to original : 81 time need : 1382 greatness : 85 idv : 873877
conc(for(x1,{(-17,-12),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,64)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 100.631 distance to original : 81 time need : 1373 greatness : 85 idv : 900539
conc(for(x1,{(-13,-12),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,64)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 100.647 distance to original : 81 time need : 1357 greatness : 85 idv : 916418
conc(for(x1,{(-17,-12),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 100.841 distance to original : 81 time need : 1166 greatness : 85 idv : 918201
conc(for(x1,{(-17,-16),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,x7),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 100.857 distance to original : 81 time need : 1150 greatness : 85 idv : 937881
conc(for(x1,{(-17,-16),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(3,3)},p((21,x10),(1))))));goodness : 100.861 distance to original : 81 time need : 1146 greatness : 85 idv : 981183
conc(for(x1,{(-17,-16),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-12)},p((21,x10),(1))))));goodness : 101.872 distance to original : 80 time need : 1162 greatness : 85 idv : 1014046
conc(for(x1,{(-17,-16),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61),(31,33)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-12)},p((21,x10),(1))))));goodness : 103.339 distance to original : 78 time need : 1369 greatness : 87 idv : 1035404
conc(for(x1,{(-17,-16),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61),(31,30)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-12)},p((21,x10),(1))))));goodness : 103.413 distance to original : 78 time need : 1300 greatness : 87 idv : 1081576
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61),(31,30)},fun(x5,{(x4,6,-1)},for(x6,{(14,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-12)},p((21,x10),(1))))));goodness : 103.417 distance to original : 78 time need : 1296 greatness : 87 idv : 1095767
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61),(31,30)},fun(x5,{(x4,6,-1)},for(x6,{(16,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-12)},p((21,x10),(1))))));goodness : 104.585 distance to original : 77 time need : 1216 greatness : 87 idv : 1101686
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(60,61),(31,30)},fun(x5,{(x4,6,-1)},for(x6,{(16,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-7)},p((21,x10),(1))))));goodness : 104.598 distance to original : 77 time need : 1204 greatness : 87 idv : 1108473
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(61,61),(31,30)},fun(x5,{(x4,6,-1)},for(x6,{(16,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-7)},p((21,x10),(1))))));goodness : 104.665 distance to original : 77 time need : 1143 greatness : 87 idv : 1126006




p((24,14),(1));goodness : 43.1399 distance to original : 231 time need : 4 greatness : 4 idv : 1
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(for(x2,{(15,29)},conc(p((x2,26),(1)),p((x2,27),(1)))),conc(conc(for(x3,{(14,22),(27,27),(92,92)},p((25,x3),(1))),conc(for(x4,{(11,16),(61,61),(31,30)},fun(x5,{(x4,6,-1)},for(x6,{(16,28),(95,95)},p((x6,x5),(1))))),for(x7,{(14,15)},fun(x8,{(x7,10,-1),(1,x7,1)},for(x9,{(2,14),(25,x7)},p((x8,x9),(1))))))),for(x10,{(5,22),(26,27),(-8,-7)},p((21,x10),(1))))));goodness : 104.665 distance to original : 77 time need : 1143 greatness : 87 idv : 87
fun(x1,{(1,16,1)},conc(for(x2,{(-17,-17),(1,25)},p((29,x2),(1))),conc(for(x3,{(15,29)},conc(p((x3,26),(1)),p((x3,27),(1)))),conc(conc(for(x4,{(14,22),(27,27),(92,92)},p((25,x4),(1))),conc(for(x5,{(11,16),(61,61),(31,30)},fun(x6,{(x5,6,-1)},for(x7,{(x1,28),(95,95)},p((x7,x6),(1))))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(2,14),(25,x8)},p((x9,x10),(1))))))),for(x11,{(5,22),(26,27),(-8,-7)},p((21,x11),(1)))))));goodness : 104.84 distance to original : 76 time need : 1183 greatness : 91 idv : 89138
fun(x1,{(1,16,1)},conc(for(x2,{(-17,-17),(1,25)},p((29,x2),(1))),conc(for(x3,{(15,29)},conc(p((x3,26),(1)),p((x3,27),(1)))),conc(conc(for(x4,{(14,22),(27,27),(92,92)},p((25,x4),(1))),conc(for(x5,{(11,16),(61,61),(31,30)},fun(x6,{(x5,6,-1)},for(x7,{(x1,28),(95,95)},p((x7,x6),(1))))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(2,14),(25,x1)},p((x9,x10),(1))))))),for(x11,{(5,22),(26,27),(-8,-7)},p((21,x11),(1)))))));goodness : 104.845 distance to original : 76 time need : 1179 greatness : 91 idv : 98849
fun(x1,{(1,16,1)},conc(for(x2,{(-17,-17),(1,25)},p((29,x2),(1))),conc(for(x3,{(15,29)},conc(p((x3,26),(1)),p((x3,27),(1)))),conc(conc(for(x4,{(14,22),(27,27),(92,92)},p((25,x4),(1))),conc(for(x5,{(11,x1),(61,61),(31,30)},fun(x6,{(x5,6,-1)},for(x7,{(x1,28),(95,95)},p((x7,x6),(1))))),for(x8,{(14,15)},fun(x9,{(x8,10,-1),(1,x8,1)},for(x10,{(2,14),(25,x8)},p((x9,x10),(1))))))),for(x11,{(5,22),(26,27),(-8,-7)},p((21,x11),(1)))))));goodness : 104.912 distance to original : 76 time need : 1118 greatness : 91 idv : 103393
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(conc(conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,16),(61,61),(31,30)},fun(x4,{(x3,6,-1)},for(x5,{(15,28),(95,95)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,14),(25,15)},p((x7,x8),(1))))))),for(x9,{(5,22),(26,27),(-8,-7)},p((21,x9),(1)))),for(x10,{(15,29)},conc(p((x10,26),(1)),p((x10,27),(1))))));goodness : 105.736 distance to original : 76 time need : 1175 greatness : 87 idv : 106464
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(conc(conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,13),(61,61),(31,30)},fun(x4,{(x3,6,-1)},for(x5,{(15,28),(92,95)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,14),(25,15)},p((x7,x8),(1))))))),for(x9,{(5,22),(26,27),(-8,-7)},p((21,x9),(1)))),for(x10,{(15,29)},conc(p((x10,26),(1)),p((x10,27),(1))))));goodness : 105.874 distance to original : 76 time need : 1052 greatness : 87 idv : 192087
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(conc(conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,13),(61,61),(31,31)},fun(x4,{(x3,6,-1)},for(x5,{(15,28),(92,95)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,14),(25,15)},p((x7,x8),(1))))))),for(x9,{(5,22),(26,27),(-8,-7)},p((21,x9),(1)))),for(x10,{(15,29)},conc(p((x10,26),(1)),p((x10,27),(1))))));goodness : 105.96 distance to original : 76 time need : 975 greatness : 87 idv : 195567
conc(for(x1,{(-17,-17),(1,25)},p((29,x1),(1))),conc(conc(conc(for(x2,{(14,22),(27,27),(92,92)},p((25,x2),(1))),conc(for(x3,{(11,13),(61,61),(31,31)},fun(x4,{(x3,6,-1)},for(x5,{(15,28),(92,90)},p((x5,x4),(1))))),for(x6,{(14,15)},fun(x7,{(x6,10,-1),(1,x6,1)},for(x8,{(2,14),(25,15)},p((x7,x8),(1))))))),for(x9,{(5,22),(26,27),(-8,-7)},p((21,x9),(1)))),for(x10,{(15,29)},conc(p((x10,26),(1)),p((x10,27),(1))))));goodness : 105.983 distance to original : 76 time need : 955 greatness : 87 idv : 208833




