p((20,46),(1));goodness : 0.888144 distance to original : 11259 time need : 4 greatness : 4 idv : 1
conc(p((28,47),(1)),p((74,22),(1)));goodness : 0.888179 distance to original : 11258 time need : 9 greatness : 9 idv : 103
for(x1,{(121,125)},fun(x2,{(x1,6,-1),(1,x1,1)},p((x2,96),(1))));goodness : 0.888339 distance to original : 11255 time need : 56 greatness : 14 idv : 138
for(x1,{(12,16)},p((1,x1),(1)));goodness : 0.888422 distance to original : 11255 time need : 21 greatness : 7 idv : 213
for(x1,{(120,126)},fun(x2,{(x1,14,-1),(0,x1,1)},p((x1,x2),(1))));goodness : 0.88848 distance to original : 11253 time need : 78 greatness : 14 idv : 316
for(x1,{(101,103)},for(x2,{(-127,-123)},fun(x3,{(x2,14,-1),(-1,x2,1)},p((x3,x1),(1)))));goodness : 0.888779 distance to original : 11248 time need : 169 greatness : 17 idv : 364
for(x1,{(47,52)},fun(x2,{(x1,19,-1),(0,x1,1)},for(x3,{(x2,x1)},p((x3,15),(1)))));goodness : 0.889456 distance to original : 11229 time need : 1213 greatness : 17 idv : 479
for(x1,{(47,52)},conc(p((88,87),(1)),fun(x2,{(x1,19,-1),(0,x1,1)},for(x3,{(x2,x1)},p((x3,15),(1))))));goodness : 0.889472 distance to original : 11228 time need : 1243 greatness : 22 idv : 933
for(x1,{(-3,1)},fun(x2,{(x1,x1,-1),(1,x1,1)},for(x3,{(96,x2)},p((101,x3),(1)))));goodness : 0.890305 distance to original : 11211 time need : 1941 greatness : 17 idv : 1311
fun(x1,{(-127,4,-1)},for(x2,{(101,103)},for(x3,{(x1,-123)},fun(x4,{(x3,14,-1),(-1,x3,1)},p((x4,x2),(1))))));goodness : 0.892071 distance to original : 11177 time need : 3077 greatness : 21 idv : 1567
for(x1,{(11,17)},fun(x2,{(x1,9,-1),(1,x1,1)},for(x3,{(47,52)},fun(x4,{(x3,19,-1),(0,x3,1),(3,1,0)},for(x5,{(x4,x3)},p((x5,x2),(1)))))));goodness : 0.900039 distance to original : 11026 time need : 8163 greatness : 30 idv : 3038
for(x1,{(-2,4)},fun(x2,{(x1,16,-1),(1,x1,1)},for(x3,{(x1,x2)},fun(x4,{(x3,9,-1),(1,x3,1)},for(x5,{(47,52)},fun(x6,{(x5,19,-1),(0,x5,1),(3,1,0)},for(x7,{(x6,x5)},p((x7,x4),(1)))))))));goodness : 0.900399 distance to original : 11020 time need : 8219 greatness : 40 idv : 3508
for(x1,{(-2,4)},fun(x2,{(x1,16,-1),(1,x1,1)},for(x3,{(x1,x2)},fun(x4,{(x3,9,-1),(1,x3,1)},for(x5,{(47,52)},fun(x6,{(x5,35,-1),(0,x5,1),(3,1,0)},for(x7,{(x6,x5)},p((x7,x4),(1)))))))));goodness : 0.900668 distance to original : 11015 time need : 8387 greatness : 40 idv : 3929
for(x1,{(11,17)},fun(x2,{(x1,9,-1),(1,x1,1)},fun(x3,{(47,x1,-1),(0,47,1),(3,1,0)},for(x4,{(x3,47)},p((x4,x2),(1))))));goodness : 0.903769 distance to original : 11049 time need : 1307 greatness : 27 idv : 4692
for(x1,{(46,49)},fun(x2,{(x1,16,-1),(1,x1,-4)},for(x3,{(x2,52)},fun(x4,{(0,x3,0)},for(x5,{(x4,x3)},p((x5,x3),(1)))))));goodness : 0.937113 distance to original : 10430 time need : 23867 greatness : 24 idv : 5731
for(x1,{(50,49)},fun(x2,{(x1,16,-1),(1,x1,-4)},for(x3,{(x2,52)},fun(x4,{(0,x3,0)},for(x5,{(x4,x3)},p((x5,x3),(1)))))));goodness : 0.947457 distance to original : 10433 time need : 11917 greatness : 24 idv : 8708
for(x1,{(50,49)},fun(x2,{(x1,28,-1),(1,x1,-4)},for(x3,{(x2,52)},fun(x4,{(0,x3,0)},for(x5,{(x4,x3)},p((x5,x3),(1)))))));goodness : 0.947852 distance to original : 10428 time need : 11977 greatness : 24 idv : 10394
fun(x1,{(50,16,-1),(1,50,-4)},for(x2,{(x1,52)},fun(x3,{(0,x2,0)},for(x4,{(x3,x2)},p((x4,x2),(1))))));goodness : 0.952864 distance to original : 10433 time need : 5958 greatness : 21 idv : 11844
fun(x1,{(50,34,-1),(1,50,-4)},for(x2,{(x1,52)},fun(x3,{(0,x2,0)},for(x4,{(x3,x2)},p((x4,x2),(1))))));goodness : 0.953291 distance to original : 10428 time need : 5988 greatness : 21 idv : 13581
for(x1,{(1,52)},fun(x2,{(0,x1,0)},for(x3,{(x2,x1)},p((x3,x1),(1)))));goodness : 0.953361 distance to original : 10428 time need : 5981 greatness : 14 idv : 14428
fun(x1,{(50,34,-1),(1,50,-4)},for(x2,{(x1,53)},fun(x3,{(0,x2,0)},for(x4,{(x3,x2)},p((x4,x2),(1))))));goodness : 0.954363 distance to original : 10414 time need : 6209 greatness : 21 idv : 16094
for(x1,{(1,53)},fun(x2,{(0,x1,0)},for(x3,{(x2,x1)},p((x3,x1),(1)))));goodness : 0.954433 distance to original : 10414 time need : 6202 greatness : 14 idv : 17504
fun(x1,{(50,34,-1),(1,50,-4)},for(x2,{(x1,53)},fun(x3,_,for(x4,{(x3,x2)},p((x4,x2),(1))))));goodness : 0.954535 distance to original : 10414 time need : 6050 greatness : 18 idv : 17647
fun(x1,{(50,34,-1),(1,50,-4)},for(x2,{(x1,53)},for(x3,{(0,x2)},p((x3,x2),(1)))));goodness : 0.954593 distance to original : 10414 time need : 5997 greatness : 17 idv : 17859
for(x1,{(50,49)},fun(x2,{(x1,28,-1),(1,x1,-4)},for(x3,{(x2,52)},fun(x4,{(0,x3,0)},for(x5,{(x4,x1)},p((x5,x3),(1)))))));goodness : 1.00585 distance to original : 9724 time need : 21545 greatness : 24 idv : 19026
for(x1,{(50,49)},fun(x2,{(x1,28,-3),(1,x1,-4)},for(x3,{(x2,52)},fun(x4,{(0,x3,0)},for(x5,{(x4,x1)},p((x5,x3),(1)))))));goodness : 1.01061 distance to original : 9673 time need : 21959 greatness : 24 idv : 19212
for(x1,{(50,49)},fun(x2,{(x1,28,-3),(1,x1,-4)},for(x3,{(x2,68)},fun(x4,{(0,x3,0)},for(x5,{(x4,x1)},p((x5,x3),(1)))))));goodness : 1.01141 distance to original : 9599 time need : 28583 greatness : 24 idv : 20007
fun(x1,{(50,28,-1),(1,50,-4)},for(x2,{(x1,52)},fun(x3,{(0,20,0)},for(x4,{(x3,50)},p((x4,x2),(1))))));goodness : 1.01679 distance to original : 9724 time need : 10876 greatness : 21 idv : 22900
fun(x1,{(50,28,-3),(1,50,-4)},for(x2,{(x1,68)},fun(x3,{(0,x2,0)},for(x4,{(x3,50)},p((x4,x2),(1))))));goodness : 1.02613 distance to original : 9599 time need : 14429 greatness : 21 idv : 23541
for(x1,{(0,68)},fun(x2,{(0,x1,0)},for(x3,{(x2,50)},p((x3,x1),(1)))));goodness : 1.02621 distance to original : 9599 time need : 14422 greatness : 14 idv : 25847
fun(x1,{(50,28,-3),(1,50,-4)},for(x2,{(x1,68)},for(x3,{(0,50)},p((x3,x2),(1)))));goodness : 1.02646 distance to original : 9599 time need : 14153 greatness : 17 idv : 28277
for(x1,{(0,71)},fun(x2,{(0,x1,0)},for(x3,{(x2,50)},p((x3,x1),(1)))));goodness : 1.03009 distance to original : 9556 time need : 15049 greatness : 14 idv : 33108
fun(x1,{(50,28,-3),(9,50,-4)},for(x2,{(x1,79)},fun(x3,{(0,x2,17)},for(x4,{(x3,50)},p((x4,x2),(1))))));goodness : 1.04152 distance to original : 9432 time need : 16728 greatness : 21 idv : 33454
for(x1,{(0,79)},fun(x2,{(0,x1,17)},for(x3,{(x2,50)},p((x3,x1),(1)))));goodness : 1.0416 distance to original : 9432 time need : 16721 greatness : 14 idv : 36580
fun(x1,{(1,9,-2)},fun(x2,{(50,28,-3),(x1,50,-4)},for(x3,{(x2,79)},fun(x4,_,for(x5,{(x4,50)},p((x5,x3),(1)))))));goodness : 1.04176 distance to original : 9432 time need : 16492 greatness : 22 idv : 40665
fun(x1,{(1,9,-2)},fun(x2,{(50,28,-3),(x1,50,-4)},for(x3,{(x2,79)},for(x4,{(x2,50)},p((x4,x3),(1))))));goodness : 1.04186 distance to original : 9432 time need : 16412 greatness : 21 idv : 42178
for(x1,{(0,79)},fun(x2,_,for(x3,{(x2,50)},p((x3,x1),(1)))));goodness : 1.04189 distance to original : 9432 time need : 16481 greatness : 11 idv : 43399
for(x1,{(0,79)},fun(x2,{(0,x1,17)},for(x3,{(x2,48)},p((x3,x1),(1)))));goodness : 1.04273 distance to original : 9428 time need : 16081 greatness : 14 idv : 44445
conc(p((73,120),(1)),fun(x1,{(50,28,-3),(16,50,-4)},for(x2,{(x1,79)},fun(x3,{(0,x2,13)},for(x4,{(x3,50),(96,82)},p((x4,x2),(1)))))));goodness : 1.05251 distance to original : 9283 time need : 21533 greatness : 28 idv : 46169
fun(x1,{(0,1,0)},for(x2,{(0,117)},for(x3,{(0,32),(30,33)},p((x3,x2),(1)))));goodness : 1.06299 distance to original : 9230 time need : 17587 greatness : 16 idv : 50551
conc(fun(x1,{(-18,1,0)},for(x2,{(0,117)},for(x3,{(0,32),(30,33)},p((x3,x2),(1))))),fun(x4,{(0,0,17),(4,6,0)},for(x5,{(x4,48)},p((x5,0),(1)))));goodness : 1.0643 distance to original : 9215 time need : 17776 greatness : 31 idv : 51076
fun(x1,{(0,1,0)},for(x2,{(0,117)},for(x3,{(0,32),(30,27)},p((x3,x2),(1)))));goodness : 1.06684 distance to original : 9196 time need : 17587 greatness : 16 idv : 51635
for(x1,{(0,121)},for(x2,{(-2,32),(30,33)},p((x2,x1),(1))));goodness : 1.07403 distance to original : 9118 time need : 19155 greatness : 12 idv : 53542
conc(p((120,12),(1)),for(x1,{(4,4)},conc(fun(x2,{(-18,15,0)},for(x3,{(0,117)},for(x4,{(0,32),(30,33),(83,87)},p((x4,x3),(1))))),fun(x5,{(0,0,17),(x1,6,0)},for(x6,{(x5,48)},p((x6,0),(1)))))));goodness : 1.08301 distance to original : 9028 time need : 20142 greatness : 41 idv : 55296
fun(x1,{(-18,1,0)},for(x2,{(0,130)},for(x3,{(0,32),(30,33)},p((x3,x2),(1)))));goodness : 1.09591 distance to original : 8928 time need : 19524 greatness : 16 idv : 58434
for(x1,{(0,135)},for(x2,{(0,32),(30,27)},p((x2,x1),(1))));goodness : 1.09844 distance to original : 8900 time need : 20265 greatness : 12 idv : 59694
for(x1,{(0,135)},for(x2,{(0,32),(25,27)},p((x2,x1),(1))));goodness : 1.09909 distance to original : 8900 time need : 19721 greatness : 12 idv : 63560
conc(for(x1,{(4,4)},conc(fun(x2,{(-18,15,0)},for(x3,{(0,117)},for(x4,{(0,32),(30,33),(83,103)},p((x4,x3),(1))))),fun(x5,{(0,0,17),(31,6,0)},for(x6,{(x5,48)},p((x6,0),(1)))))),p((120,12),(1)));goodness : 1.15607 distance to original : 8370 time need : 27586 greatness : 41 idv : 64330
conc(for(x1,{(4,4)},conc(fun(x2,{(-18,15,0)},for(x3,{(0,117)},for(x4,{(0,32),(30,33),(83,103)},p((x4,x3),(1))))),fun(x5,{(0,0,17),(31,6,0)},for(x6,{(x5,50)},p((x6,0),(1)))))),p((120,12),(1)));goodness : 1.15633 distance to original : 8368 time need : 27594 greatness : 41 idv : 69981
conc(p((120,12),(1)),for(x1,{(4,4)},conc(fun(x2,{(-18,15,0)},for(x3,{(0,117)},for(x4,{(0,32),(30,33),(83,112)},p((x4,x3),(1))))),fun(x5,{(31,6,0)},for(x6,{(x5,48)},p((x6,-12),(1)))))));goodness : 1.21284 distance to original : 7923 time need : 31831 greatness : 38 idv : 71571
conc(for(x1,{(4,4)},conc(fun(x2,{(-18,15,0)},for(x3,{(0,129)},for(x4,{(0,32),(30,33),(83,103)},p((x4,x3),(1))))),fun(x5,{(31,-6,0)},for(x6,{(x5,48)},p((x6,-12),(1)))))),p((120,12),(1)));goodness : 1.21439 distance to original : 7927 time need : 30379 greatness : 38 idv : 72460
conc(for(x1,{(4,4)},conc(fun(x2,{(-18,15,0)},for(x3,{(0,117)},for(x4,{(0,32),(30,33),(66,119)},p((x4,x3),(1))))),fun(x5,{(0,0,17),(31,6,0)},for(x6,{(x5,50)},p((x6,0),(1)))))),p((120,12),(1)));goodness : 1.21895 distance to original : 7768 time need : 43170 greatness : 41 idv : 73541
fun(x1,{(1,-18,1)},conc(for(x2,{(4,4)},conc(fun(x3,{(30,15,0)},conc(for(x4,{(0,129)},for(x5,{(0,32),(30,29),(83,103)},p((x5,x4),(1)))),p((53,6),(1)))),fun(x6,{(31,-6,0)},for(x7,{(x6,48)},p((x6,-20),(1)))))),p((120,12),(1))));goodness : 1.22008 distance to original : 7898 time need : 29348 greatness : 47 idv : 75088
conc(for(x1,{(4,4)},conc(fun(x2,{(-18,15,0)},for(x3,{(0,117)},for(x4,{(0,32),(30,33),(79,119)},p((x4,x3),(1))))),fun(x5,{(0,0,17),(31,6,0)},for(x6,{(x5,50)},p((x6,0),(1)))))),p((120,12),(1)));goodness : 1.26065 distance to original : 7558 time need : 37034 greatness : 41 idv : 75349
fun(x1,{(1,-18,1),(7,8,-1)},conc(for(x2,{(4,4)},conc(fun(x3,{(30,15,0)},conc(for(x4,{(0,129)},for(x5,{(0,32),(30,29),(83,117)},p((x5,x4),(1)))),p((53,6),(1)))),fun(x6,{(31,-6,0)},for(x7,{(x6,48)},p((x6,-20),(1)))))),p((120,12),(1))));goodness : 1.32991 distance to original : 7148 time need : 36631 greatness : 50 idv : 76274
fun(x1,{(1,-18,1),(7,8,-1)},conc(conc(fun(x2,{(30,15,0)},conc(for(x3,{(0,129)},for(x4,{(0,32),(30,29),(83,117)},p((x4,x3),(1)))),p((53,6),(1)))),fun(x5,{(31,-6,0)},for(x6,{(x5,48)},p((x5,-20),(1))))),p((120,12),(1))));goodness : 1.32996 distance to original : 7148 time need : 36630 greatness : 47 idv : 77678
fun(x1,{(1,-18,1),(7,8,-1)},conc(for(x2,{(4,4)},conc(fun(x3,{(30,15,0)},conc(for(x4,{(0,32),(30,29),(83,117)},for(x5,{(0,129)},p((x4,x5),(1)))),p((53,6),(1)))),fun(x6,{(31,-6,0)},for(x7,{(x6,48)},p((x6,-20),(1)))))),p((120,12),(1))));goodness : 1.33002 distance to original : 7148 time need : 36571 greatness : 50 idv : 77740
conc(conc(conc(for(x1,{(0,32),(30,29),(83,117)},for(x2,{(0,129)},p((x1,x2),(1)))),p((37,11),(-11))),fun(x3,{(31,-1,0)},p((x3,-20),(1)))),p((120,12),(1)));goodness : 1.33011 distance to original : 7150 time need : 36490 greatness : 33 idv : 78928
fun(x1,{(1,-18,1),(7,8,-1)},conc(for(x2,{(4,4)},conc(fun(x3,{(30,15,0)},conc(for(x4,{(0,32),(30,29),(83,117)},for(x5,{(0,129)},p((x4,x5),(1)))),p((53,6),(1)))),fun(x6,{(49,-6,0)},for(x7,{(x6,48)},p((x6,-20),(1)))))),p((120,12),(1))));goodness : 1.33013 distance to original : 7148 time need : 36507 greatness : 50 idv : 79013
conc(conc(conc(for(x1,{(0,129)},for(x2,{(0,32),(30,29),(83,117)},p((x2,x1),(1)))),p((53,6),(1))),fun(x3,{(31,-6,0)},p((x3,-20),(-4)))),p((120,12),(1)));goodness : 1.33035 distance to original : 7148 time need : 36550 greatness : 33 idv : 79643
fun(x1,{(1,-18,1),(7,8,-1)},conc(for(x2,{(4,4)},conc(fun(x3,{(30,15,0)},conc(for(x4,{(0,128)},for(x5,{(0,32),(30,29),(83,117)},p((x5,x4),(1)))),p((46,x3),(1)))),fun(x6,{(31,-6,0)},for(x7,{(x6,48)},p((x6,x7),(1)))))),p((120,12),(1))));goodness : 1.33041 distance to original : 7148 time need : 36350 greatness : 50 idv : 80346
conc(conc(fun(x1,{(30,15,0)},conc(for(x2,{(0,128)},for(x3,{(0,32),(30,29),(83,117)},p((x3,x2),(1)))),p((46,x1),(1)))),fun(x4,{(31,-6,0)},for(x5,{(x4,48)},p((x4,x5),(1))))),p((120,12),(1)));goodness : 1.3306 distance to original : 7148 time need : 36342 greatness : 40 idv : 80469
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,32),(30,29),(83,133)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(31,x5,0)},for(x10,{(x9,48)},p((x9,-20),(1)))))),p((120,12),(1)))),conc(for(x11,{(14,x3)},for(x12,{(-20,30)},p((x12,87),(1)))),conc(fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,5,0)},for(x15,{(38,50)},for(x16,{(x13,65)},p((x15,x16),(1)))))),for(x17,{(4,13)},fun(x18,{(x17,x1,-1),(-3,-15,1)},for(x19,{(6,8)},fun(x20,{(x19,x2,-18),(5,x19,-14)},conc(for(x21,{(-15,-1),(41,49)},fun(x22,{(x21,x2,-7)},fun(x23,{(-9,18,-1),(x20,-9,18)},p((x23,58),(0))))),for(x24,{(0,x20)},fun(x25,{(2,x20,-1),(0,x24,-12)},fun(x26,{(x25,8,8),(-13,x18,12)},fun(x27,{(0,-6,-13),(x26,120,4)},p((119,x27),(1)))))))))))))))));goodness : 1.34495 distance to original : 6787 time need : 63124 greatness : 170 idv : 81199
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,x6),(30,29),(83,133)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(31,x5,0)},for(x10,{(x9,48)},p((x9,-20),(1)))))),p((120,12),(1)))),conc(for(x11,{(14,x3)},for(x12,{(-20,30)},p((x12,87),(1)))),conc(fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,5,0)},for(x15,{(38,50)},for(x16,{(x13,65)},p((x15,x16),(1)))))),for(x17,{(4,13)},fun(x18,{(x17,x1,-1),(-3,-15,1)},for(x19,{(6,8)},fun(x20,{(x19,x2,-18),(5,x19,-14)},conc(for(x21,{(-15,-1),(41,49)},fun(x22,{(x21,x2,-7)},fun(x23,{(-26,18,-1),(x20,-9,18)},p((x23,58),(0))))),for(x24,{(0,x20)},fun(x25,{(2,x20,-1),(0,x24,-12)},fun(x26,{(x25,8,8),(-13,x18,12)},fun(x27,{(0,-6,-13),(x26,120,4)},p((119,x27),(1)))))))))))))))));goodness : 1.35376 distance to original : 6749 time need : 62084 greatness : 170 idv : 82576
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,x6),(30,29),(83,133)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(50,x5,0)},for(x10,{(x9,48)},p((x9,-20),(1)))))),p((120,12),(1)))),conc(for(x11,{(14,x3)},for(x12,{(-20,30)},p((x12,87),(1)))),conc(fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,-6,0)},for(x15,{(38,50)},for(x16,{(x13,65)},p((x15,x16),(1)))))),for(x17,{(4,13)},fun(x18,{(x17,x1,-1),(-3,-15,1)},for(x19,{(6,8)},fun(x20,{(x19,x2,-18),(5,x19,-14)},conc(for(x21,{(-15,-1),(41,49)},fun(x22,{(x21,x2,-7)},fun(x23,{(-26,18,-1),(x20,-9,18)},p((x23,58),(0))))),for(x24,{(0,x20)},fun(x25,{(2,x20,-1),(0,x24,-12)},fun(x26,{(x25,8,8),(-13,x18,12)},fun(x27,{(0,-6,-13),(x26,120,4)},p((119,x27),(1)))))))))))))))));goodness : 1.35387 distance to original : 6749 time need : 62024 greatness : 170 idv : 82891
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,x6),(30,29),(83,133)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(50,x5,0)},for(x10,{(x9,48)},p((x9,-20),(1)))))),p((120,12),(1)))),conc(for(x11,{(14,x3)},for(x12,{(-20,30)},p((x12,87),(1)))),conc(fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,-6,0)},for(x15,{(38,50)},for(x16,{(x13,65)},p((x15,x16),(1)))))),for(x17,{(4,13)},fun(x18,{(x17,x1,-1),(-3,-15,1)},for(x19,{(6,8)},fun(x20,{(x19,x2,-18),(5,x19,-14)},conc(for(x21,{(-15,-15),(41,49)},fun(x22,{(x21,x2,-7)},fun(x23,{(-26,18,-1),(x20,-9,18)},p((x23,58),(0))))),for(x24,{(0,x20)},fun(x25,{(2,x20,-1),(0,x24,-12)},fun(x26,{(x25,8,8),(-13,x18,12)},fun(x27,{(0,-6,x1),(x26,120,4)},p((119,x27),(1)))))))))))))))));goodness : 1.36552 distance to original : 6749 time need : 55724 greatness : 170 idv : 83654
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2),(-3,2,0)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,x6),(30,29),(83,133)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(50,x5,0)},for(x10,{(x9,48)},p((x9,-38),(1)))))),p((120,12),(1)))),conc(for(x11,{(14,x3)},for(x12,{(-20,30)},p((x12,87),(1)))),conc(fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,-6,0)},for(x15,{(38,50)},for(x16,{(x13,65)},p((x15,x16),(1)))))),for(x17,{(4,13)},fun(x18,{(x17,x1,-1),(-3,-15,1)},for(x19,{(6,8)},fun(x20,{(x19,x2,-18),(5,x19,-14)},conc(for(x21,{(-15,-15),(41,49)},fun(x22,{(x21,x2,-7)},fun(x23,{(-26,18,-1),(x20,-9,18)},p((x23,58),(0))))),for(x24,{(0,x20)},fun(x25,{(2,x20,-1),(0,x24,-12)},fun(x26,{(x25,8,8),(-13,x18,12)},fun(x27,{(0,-6,x1),(x26,120,4)},p((119,x27),(1)))))))))))))))));goodness : 1.3666 distance to original : 6749 time need : 55112 greatness : 173 idv : 87049
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,x6),(30,29),(83,133)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(50,x5,0)},for(x10,{(x5,48)},p((x9,-20),(1)))))),p((120,12),(1)))),conc(for(x11,{(14,x3)},for(x12,{(-20,30)},p((x12,87),(1)))),conc(fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,-6,10)},for(x15,{(38,50)},for(x16,{(x13,65)},p((x15,x16),(1)))))),for(x17,{(4,13)},fun(x18,{(x17,x1,-1),(-3,-15,1)},for(x19,{(6,8)},fun(x20,{(x19,x2,-18),(5,x19,-14)},for(x21,{(0,x20)},fun(x22,{(2,x20,-1),(0,x21,-12)},fun(x23,{(x22,8,8),(-13,x18,12)},fun(x24,{(0,-6,x1),(x23,120,4)},p((119,x24),(1))))))))))))))));goodness : 1.37415 distance to original : 6749 time need : 51332 greatness : 149 idv : 88140
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,x6),(30,29),(83,131)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(50,x5,0)},for(x10,{(x9,48)},p((x9,-20),(1)))))),p((120,12),(1)))),conc(for(x11,{(14,x3)},for(x12,{(-20,30)},p((x12,87),(1)))),fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,-6,0)},for(x15,{(38,50)},for(x16,{(x13,65)},p((x15,x16),(1)))))))))));goodness : 1.37712 distance to original : 6761 time need : 49052 greatness : 100 idv : 88470
for(x1,{(13,13)},fun(x2,{(x1,4,-1),(17,x1,1)},fun(x3,{(0,-9,0),(3,3,2)},conc(fun(x4,{(1,-18,1),(7,8,-1)},conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},for(x8,{(0,x6),(30,29),(83,131)},p((x8,x7),(1)))),p((53,6),(1)))),fun(x9,{(50,x5,0)},for(x10,{(x9,48)},p((x9,-20),(1)))))),p((120,12),(1)))),fun(x11,{(61,28,-1),(1,50,-4)},fun(x12,{(0,-6,0)},for(x13,{(38,50)},for(x14,{(x11,65)},p((x13,x14),(1))))))))));goodness : 1.3828 distance to original : 6761 time need : 46180 greatness : 89 idv : 89350
for(x1,{(38,38)},fun(x2,{(x1,4,-1),(0,x1,1)},for(x3,{(13,13)},fun(x4,{(x3,4,-1),(17,x3,1)},conc(fun(x5,{(1,-18,1),(7,8,-1)},conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},for(x9,{(0,x7),(30,29),(83,133)},p((x9,x8),(1)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-52),(1))))),p((120,12),(1)))),conc(fun(x11,{(61,28,-1),(1,50,-4)},fun(x12,{(0,-6,0)},for(x13,{(x2,50)},for(x14,{(x11,x1)},p((x13,x14),(1)))))),for(x15,{(4,13)},fun(x16,{(x15,x3,-1),(-3,-15,1)},for(x17,{(6,8)},fun(x18,{(12,x4,-18),(5,x17,-14)},conc(for(x19,{(-15,-15),(41,49)},fun(x20,{(x19,x4,-7)},fun(x21,{(-26,18,-1),(x18,-9,18)},p((x21,58),(0))))),for(x22,{(0,x18)},fun(x23,{(2,x18,-1),(0,x22,-12)},fun(x24,{(x23,8,8),(-13,x16,12)},fun(x25,{(0,-6,x3),(x24,120,4)},p((119,x25),(1)))))))))))))))));goodness : 1.38494 distance to original : 6647 time need : 55761 greatness : 159 idv : 91623
for(x1,{(38,38)},fun(x2,{(x1,4,-1),(0,x1,1)},for(x3,{(13,13)},fun(x4,{(x3,4,-1),(17,x3,1)},conc(fun(x5,{(1,-18,1),(7,8,-1)},conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},for(x9,{(0,x7),(30,29),(83,133)},p((x9,x8),(1)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-52),(1))))),p((120,12),(1)))),conc(fun(x11,{(61,28,-1),(1,50,-4)},fun(x12,{(0,-6,0)},for(x13,{(x2,50)},for(x14,{(x11,x1)},p((x13,x14),(1)))))),for(x15,{(4,13)},fun(x16,{(x15,x3,-1),(-3,-15,1)},for(x17,{(6,8)},fun(x18,{(12,x4,-18),(5,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x18,-1),(0,x19,-12)},fun(x21,{(x20,8,8),(-13,x16,12)},fun(x22,{(0,-6,x3),(x21,120,4)},p((119,x22),(1))))))))))))))));goodness : 1.39415 distance to original : 6647 time need : 51201 greatness : 138 idv : 95553
for(x1,{(38,38)},fun(x2,{(x1,4,-1),(0,x1,1)},for(x3,{(13,13)},fun(x4,{(x3,4,-1),(17,x3,1)},conc(fun(x5,{(1,-18,1),(7,8,-1)},conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},for(x9,{(0,x7),(30,29),(83,133)},p((x9,x8),(1)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-52),(1))))),p((120,12),(1)))),fun(x11,{(61,28,-1),(1,50,-4)},fun(x12,{(0,-6,0)},for(x13,{(x2,50)},for(x14,{(x11,x1)},p((x13,x14),(1)))))))))));goodness : 1.3972 distance to original : 6647 time need : 50129 greatness : 89 idv : 98240
for(x1,{(38,38)},fun(x2,{(x1,4,-1),(0,x1,1)},for(x3,{(13,13)},fun(x4,{(x3,4,-1),(17,x3,1)},conc(fun(x5,{(1,-18,1),(7,8,-1)},conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},for(x9,{(0,x7),(30,29),(83,133)},p((x9,x8),(1)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(1)))),conc(fun(x11,{(61,x4,-1),(1,67,-4)},fun(x12,{(0,-6,0)},for(x13,{(x2,50)},for(x14,{(x11,x1)},p((x13,x14),(1)))))),for(x15,{(4,13)},fun(x16,{(x15,x3,-1),(-3,-15,1)},for(x17,{(6,8)},fun(x18,{(12,x4,-18),(5,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x18,-1),(0,x19,-12)},fun(x21,{(x20,8,8),(-13,x16,12)},fun(x22,{(0,-6,x3),(x21,120,4)},p((119,x22),(1))))))))))))))));goodness : 1.40131 distance to original : 6607 time need : 51537 greatness : 138 idv : 100217
for(x1,{(38,38)},fun(x2,{(x1,4,-1),(0,x1,1)},for(x3,{(13,13)},fun(x4,{(x3,4,-1),(33,x3,1)},conc(fun(x5,{(1,-18,1),(7,8,-1)},conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},for(x9,{(0,x7),(30,29),(69,133)},p((x9,x8),(1)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-52),(1))))),p((120,12),(1)))),conc(fun(x11,{(61,28,-1),(1,50,-4)},fun(x12,{(0,-6,0)},for(x13,{(x2,50)},for(x14,{(x11,x1),(9,13)},p((x13,x14),(1)))))),for(x15,{(4,13)},fun(x16,{(x15,x3,-21),(13,-15,1)},for(x17,{(6,8)},fun(x18,{(12,x4,-18),(5,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x15,-1),(0,x19,-12),(-5,8,1)},fun(x21,{(x20,8,8),(-13,x16,12)},fun(x22,{(0,-6,x3),(x21,120,4)},p((119,x22),(1))))))))))))))));goodness : 1.40185 distance to original : 6525 time need : 59411 greatness : 143 idv : 103355
for(x1,{(38,38)},fun(x2,{(x1,4,-1),(0,x1,1)},for(x3,{(13,13)},fun(x4,{(x3,4,-1),(17,x3,1)},conc(fun(x5,{(1,-18,1),(7,8,-1)},conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},for(x9,{(0,x7),(30,29),(83,133)},p((x9,x8),(1)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(-12)))),fun(x11,{(61,x4,-1),(1,67,-4)},fun(x12,{(0,-6,0)},for(x13,{(x2,50)},for(x14,{(x11,x1)},p((x13,x14),(1)))))))))));goodness : 1.40439 distance to original : 6607 time need : 50465 greatness : 89 idv : 106853
for(x1,{(38,38)},for(x2,{(13,13)},conc(fun(x3,{(1,-18,1),(7,8,-1)},conc(for(x4,{(4,4)},conc(fun(x5,{(30,15,0)},conc(for(x6,{(0,129)},for(x7,{(0,x5),(30,29),(81,133)},p((x7,x6),(1)))),p((53,6),(-17)))),fun(x8,{(50,x4,0)},p((x8,-52),(1))))),p((120,12),(1)))),fun(x9,{(61,28,-1),(1,50,-4)},fun(x10,{(0,-6,0)},fun(x11,{(x1,4,-1)},for(x12,{(x11,50)},for(x13,{(x9,x1)},p((x12,x13),(1))))))))));goodness : 1.40637 distance to original : 6591 time need : 51159 greatness : 79 idv : 107146
for(x1,{(0,0)},fun(x2,{(x1,16,-1),(2,x1,1)},for(x3,{(38,38)},fun(x4,{(x3,4,x2),(x1,x3,1)},for(x5,{(13,13)},fun(x6,{(x5,4,-1),(33,x5,1)},conc(fun(x7,{(1,-18,1),(7,8,-1)},conc(for(x8,{(4,4)},conc(fun(x9,{(30,15,0)},conc(for(x10,{(0,129)},for(x11,{(0,x9),(30,29),(69,133)},p((x11,x10),(1)))),p((53,6),(1)))),fun(x12,{(50,x8,0)},p((x12,-52),(1))))),p((120,12),(1)))),conc(fun(x13,{(61,28,-1),(1,50,-4)},fun(x14,{(0,-6,-2)},for(x15,{(x4,50)},for(x16,{(x13,x3),(9,13)},p((x15,x16),(1)))))),for(x17,{(4,13)},fun(x18,{(x17,x5,-21),(13,-15,1)},for(x19,{(6,8)},fun(x20,{(12,x6,-18),(5,x19,-14)},for(x21,{(0,x20)},fun(x22,{(2,x3,-1),(0,x21,-12),(-5,8,1)},fun(x23,{(x22,8,8),(-13,x18,12)},fun(x24,{(0,-6,x5),(x19,120,4)},p((119,x24),(1))))))))))))))))));goodness : 1.40796 distance to original : 6542 time need : 54518 greatness : 153 idv : 111187
for(x1,{(38,38)},fun(x2,{(x1,4,-1),(0,x1,1)},for(x3,{(13,13)},fun(x4,{(x3,4,-1),(17,x3,1)},conc(fun(x5,{(4,-18,1),(7,8,-1)},conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((101,46),(0)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(1)))),conc(fun(x11,{(61,x4,-1),(1,67,-4)},for(x12,{(x2,50)},for(x13,{(x11,x1)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x3,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x4,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x18,-12)},fun(x20,{(x19,8,8),(-13,x15,12)},fun(x21,{(0,-6,x3),(x20,120,4)},p((119,x21),(1))))))))))))))));goodness : 1.42226 distance to original : 6434 time need : 58316 greatness : 139 idv : 111898
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(fun(x6,{(4,-18,1),(7,8,-1)},conc(for(x7,{(4,4)},conc(fun(x8,{(30,15,0)},conc(for(x9,{(0,129)},conc(for(x10,{(0,x8),(30,29),(71,133)},p((x10,x9),(1))),p((101,46),(0)))),p((53,6),(1)))),fun(x11,{(50,x7,0)},p((x11,-71),(1))))),p((120,12),(1)))),conc(fun(x12,{(61,x5,-1),(1,67,-4)},for(x13,{(x3,50)},for(x14,{(x12,x2)},p((x13,x14),(1))))),for(x15,{(4,-4)},fun(x16,{(x15,x4,-1),(-3,-19,1)},for(x17,{(6,8)},fun(x18,{(12,x5,-18),(5,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x18,-1),(0,x15,-12)},fun(x21,{(x20,8,8),(-13,x16,12)},fun(x22,{(0,-6,x4),(x21,120,4)},p((119,x22),(1)))))))))))))))));goodness : 1.42512 distance to original : 6465 time need : 53767 greatness : 143 idv : 114911
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((101,46),(0)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,8),(-13,x15,12)},fun(x21,{(0,-6,x4),(x20,120,4)},p((119,x21),(1)))))))))))))))));goodness : 1.42527 distance to original : 6465 time need : 53760 greatness : 136 idv : 116386
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((101,46),(0)))),p((53,6),(1)))),fun(x10,{(50,14,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,8),(-13,x15,12)},fun(x21,{(0,-6,x4),(x20,120,4)},p((135,x21),(1)))))))))))))))));goodness : 1.42548 distance to original : 6464 time need : 53760 greatness : 136 idv : 120833
fun(x1,{(0,1,0),(-3,1,2)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((101,46),(0)))),p((53,6),(1)))),fun(x10,{(50,x6,9)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(26,50)},for(x13,{(x11,x2)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,0),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},fun(x18,{(2,x17,-1),(0,x14,-12)},fun(x19,{(x18,8,8),(-13,x15,12)},fun(x20,{(0,-6,x4),(x19,120,4)},p((119,x20),(1))))))))))))))));goodness : 1.4278 distance to original : 6434 time need : 55620 greatness : 136 idv : 122374
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((101,46),(0)))),p((53,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2),(46,50)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,8),(-13,x15,12)},fun(x21,{(0,-6,x4),(x20,120,4)},p((119,x21),(1)))))))))))))))));goodness : 1.43308 distance to original : 6424 time need : 54020 greatness : 138 idv : 122746
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},fun(x4,{(13,4,-1),(17,13,1)},conc(conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},conc(for(x8,{(0,x6),(30,29),(71,133)},p((x8,x7),(1))),p((101,46),(0)))),p((33,6),(1)))),fun(x9,{(59,x5,0)},p((x9,-71),(1))))),p((120,12),(15))),conc(fun(x10,{(61,x4,-1),(1,67,-4)},for(x11,{(x3,50)},for(x12,{(x10,x2),(46,50)},p((x11,x12),(1))))),for(x13,{(4,-4)},fun(x14,{(x13,13,-1),(-3,-19,1)},for(x15,{(6,8)},fun(x16,{(12,x4,-18),(5,x15,-14)},for(x17,{(0,x16)},fun(x18,{(2,x16,-1),(0,x13,-12)},fun(x19,{(x18,8,8),(-13,x14,12)},fun(x20,{(0,-6,13),(x19,120,4)},p((119,x20),(1))))))))))))))));goodness : 1.43314 distance to original : 6424 time need : 54019 greatness : 135 idv : 125997
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((x8,46),(0)))),p((33,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2),(46,50)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,8),(-13,x15,12)},fun(x21,{(0,-6,x4),(x20,120,4)},p((119,x21),(1)))))))))))))))));goodness : 1.43823 distance to original : 6399 time need : 54020 greatness : 138 idv : 126384 till: 130000





fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,4,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((x8,46),(0)))),p((33,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2),(46,50)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,8),(-13,x15,12)},fun(x21,{(0,-6,x4),(x20,120,4)},p((119,x21),(1)))))))))))))))));goodness : 1.43823 distance to original : 6399 time need : 54020 greatness : 138 idv : 1
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},fun(x4,{(13,4,-1),(17,13,1)},conc(conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},conc(for(x8,{(0,x6),(30,29),(71,133)},p((x8,x7),(1))),p((x7,46),(0)))),p((33,6),(1)))),fun(x9,{(50,x5,0)},p((x9,-71),(1))))),p((120,12),(15))),conc(fun(x10,{(61,x4,-1),(1,67,-4)},for(x11,{(x3,50)},for(x12,{(x10,x2),(46,50)},p((x11,x12),(1))))),for(x13,{(4,-4)},fun(x14,{(x13,13,-1),(-3,-19,1)},for(x15,{(6,8)},fun(x16,{(12,x4,-18),(5,x15,-14)},for(x17,{(0,x16)},fun(x18,{(2,x16,-1),(0,x13,-12)},fun(x19,{(x18,8,8),(-13,x14,12)},fun(x20,{(0,-6,13),(x19,120,4)},p((119,x20),(1))))))))))))))));goodness : 1.43829 distance to original : 6399 time need : 54019 greatness : 135 idv : 182
fun(x1,{(0,1,0)},for(x2,{(38,38)},conc(fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,-10,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(71,133)},p((x9,x8),(1))),p((x8,46),(0)))),p((33,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2),(46,50)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,16),(-13,x15,12)},fun(x21,{(19,-10,x4),(x20,120,4)},p((134,x21),(1))))))))))))))),p((58,90),(0)))));goodness : 1.43832 distance to original : 6398 time need : 54025 greatness : 143 idv : 726
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,2)},fun(x4,{(13,16,-1),(17,13,1)},conc(conc(for(x5,{(4,4)},conc(conc(for(x6,{(0,129)},conc(for(x7,{(0,30),(30,29),(71,133)},p((x7,x6),(1))),p((x6,46),(0)))),p((33,6),(1))),fun(x8,{(50,x5,0)},p((x8,-71),(1))))),p((120,12),(15))),conc(fun(x9,{(61,x4,-1),(1,67,-4)},for(x10,{(x3,50)},for(x11,{(x9,x2),(46,50)},p((x10,x11),(1))))),for(x12,{(4,-4)},fun(x13,{(x12,13,-1),(-3,-19,1)},for(x14,{(6,8)},fun(x15,{(12,x4,-18),(5,x14,-14)},for(x16,{(0,x15)},fun(x17,{(2,x15,-1),(0,x12,-12)},fun(x18,{(x17,8,8),(-13,x13,12)},fun(x19,{(0,-6,13),(x18,120,4)},p((119,x19),(1))))))))))))))));goodness : 1.43838 distance to original : 6399 time need : 54015 greatness : 131 idv : 727
fun(x1,{(0,1,0)},for(x2,{(38,38)},fun(x3,{(x2,4,x1),(0,x2,1)},fun(x4,{(13,4,-1),(17,13,1)},conc(conc(for(x5,{(4,4)},conc(fun(x6,{(30,15,0)},conc(for(x7,{(0,129)},conc(for(x8,{(0,x6),(30,29),(71,133)},p((x8,x7),(1))),p((x7,46),(0)))),p((33,6),(1)))),fun(x9,{(50,x5,0)},p((x9,-71),(1))))),p((120,12),(15))),conc(fun(x10,{(61,x4,-19),(1,67,-4)},for(x11,{(x3,50)},for(x12,{(x10,x2),(46,50)},p((x11,x12),(1))))),for(x13,{(4,-4)},fun(x14,{(x13,13,-1),(-3,-19,1)},for(x15,{(6,8)},fun(x16,{(12,x4,-18),(5,x15,-14)},for(x17,{(0,x16)},fun(x18,{(2,x16,-1),(0,x13,-12)},fun(x19,{(x18,8,8)},fun(x20,{(0,-6,13),(x19,120,4)},p((119,x20),(1))))))))))))))));goodness : 1.43852 distance to original : 6399 time need : 53938 greatness : 132 idv : 1084
fun(x1,{(0,1,0)},for(x2,{(38,38)},conc(fun(x3,{(x2,4,x1),(0,x2,1)},for(x4,{(13,13)},fun(x5,{(x4,-10,-1),(17,x4,1)},conc(conc(for(x6,{(4,4)},conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(72,133)},p((x9,x8),(1))),p((x8,46),(0)))),p((33,6),(1)))),fun(x10,{(50,x6,0)},p((x10,-71),(1))))),p((120,12),(15))),conc(fun(x11,{(61,x5,-1),(1,67,-4)},for(x12,{(x3,50)},for(x13,{(x11,x2),(46,50)},p((x12,x13),(1))))),for(x14,{(4,-4)},fun(x15,{(x14,x4,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x5,-18),(5,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,16),(-13,x15,12)},fun(x21,{(19,-10,x4),(x20,120,4)},p((134,x21),(1))))))))))))))),p((58,90),(0)))));goodness : 1.4421 distance to original : 6385 time need : 53505 greatness : 143 idv : 1394
fun(x1,{(1,4,1)},fun(x2,{(0,1,0)},for(x3,{(38,38)},conc(fun(x4,{(x3,4,x2),(0,x3,1)},for(x5,{(13,13)},fun(x6,{(x5,-10,-1),(17,x5,1)},conc(conc(for(x7,{(4,4)},conc(fun(x8,{(30,15,0)},conc(for(x9,{(0,129)},conc(for(x10,{(0,x8),(30,29),(72,133)},p((x10,x9),(1))),p((x9,43),(0)))),p((33,6),(1)))),fun(x11,{(50,x7,0)},p((x11,-71),(1))))),p((120,12),(15))),conc(fun(x12,{(61,x6,-1),(1,67,-4)},for(x13,{(x4,50)},for(x14,{(x12,x3),(46,50)},p((x13,x14),(1))))),for(x15,{(x1,-4)},fun(x16,{(x15,x5,-1),(-3,-19,1)},for(x17,{(6,8)},fun(x18,{(12,x6,-18),(-12,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x18,-1),(0,x15,-12)},fun(x21,{(x20,8,16),(-13,x16,12)},fun(x22,{(19,-10,x5),(x21,120,4)},p((134,x22),(1))))))))))))))),p((58,90),(0))))));goodness : 1.44513 distance to original : 6370 time need : 53509 greatness : 147 idv : 4865
fun(x1,{(1,4,1)},fun(x2,{(0,1,0)},for(x3,{(38,38)},conc(fun(x4,{(x3,4,x2),(0,x3,1)},for(x5,{(13,13)},fun(x6,{(x5,-10,-1),(17,x5,1)},conc(conc(conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,x7),(30,29),(72,133)},p((x9,x8),(1))),p((x8,43),(0)))),p((33,6),(1)))),fun(x10,{(50,4,0)},p((x10,-71),(1)))),p((120,12),(15))),conc(fun(x11,{(61,x6,-1),(1,67,-4)},for(x12,{(x4,50)},for(x13,{(x11,x3),(46,50)},p((x12,x13),(1))))),for(x14,{(x1,-4)},fun(x15,{(x14,x5,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x6,-18),(-12,x16,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,16),(-13,x15,12)},fun(x21,{(19,-11,x5),(x20,120,4)},p((134,x21),(1))))))))))))))),p((58,90),(0))))));goodness : 1.4452 distance to original : 6370 time need : 53508 greatness : 144 idv : 11184
fun(x1,{(1,4,1)},fun(x2,{(0,1,0)},for(x3,{(38,38)},conc(fun(x4,{(x3,4,x2),(0,x3,1)},for(x5,{(13,13)},fun(x6,{(x5,-10,-1),(17,x5,1)},conc(conc(for(x7,{(4,4)},conc(fun(x8,{(30,15,0)},conc(for(x9,{(0,129)},conc(for(x10,{(0,x8),(30,29),(72,133)},p((x10,x9),(1))),p((x9,43),(0)))),p((33,6),(1)))),fun(x11,{(50,x7,0)},p((x11,-71),(1))))),p((120,12),(15))),conc(fun(x12,{(61,x6,-1),(1,67,-4)},for(x13,{(x4,50)},for(x14,{(x12,x3),(46,50)},p((x13,x14),(1))))),for(x15,{(x1,-4)},fun(x16,{(x15,x5,-1),(-3,-19,1)},for(x17,{(6,8)},fun(x18,{(12,x6,-18),(-12,x17,-14)},fun(x19,{(2,x18,-1),(0,x15,-12)},fun(x20,{(x19,8,16),(-13,x16,12)},fun(x21,{(19,-10,x5),(x20,120,4)},p((134,x21),(1)))))))))))))),p((58,90),(0))))));goodness : 1.44525 distance to original : 6370 time need : 53482 greatness : 144 idv : 13288
fun(x1,{(1,0,1)},fun(x2,{(1,4,-8)},fun(x3,{(0,1,0)},for(x4,{(38,38)},conc(fun(x5,{(x4,4,x3),(0,x4,1)},for(x6,{(13,13)},fun(x7,{(x6,-10,-1),(17,x6,1)},conc(conc(for(x8,{(4,4)},conc(fun(x9,{(30,15,0)},conc(for(x10,{(0,129)},conc(for(x11,{(0,x9),(30,29),(72,133)},p((x11,x10),(1))),p((x10,43),(0)))),p((33,6),(1)))),fun(x12,{(50,x8,0)},p((x12,-71),(1))))),p((120,12),(15))),conc(fun(x13,{(61,x7,-1),(1,67,-4)},for(x14,{(x5,50)},for(x15,{(x13,x4),(46,50)},p((x14,x15),(1))))),for(x16,{(x2,-4)},fun(x17,{(x16,x6,-1),(-3,-19,1)},for(x18,{(6,8)},fun(x19,{(12,x7,-18),(-12,x18,-14)},for(x20,{(0,x19)},fun(x21,{(2,x19,x1),(0,x16,-12)},fun(x22,{(x21,8,16),(-13,x17,12)},fun(x23,{(19,-10,x6),(41,120,4)},p((134,x23),(1))))))))))))))),p((58,90),(0)))))));goodness : 1.44572 distance to original : 6371 time need : 53085 greatness : 151 idv : 14176
fun(x1,{(1,0,1)},fun(x2,{(1,4,-8)},fun(x3,{(0,1,0)},for(x4,{(38,38)},conc(fun(x5,{(x4,4,x3),(0,x4,1)},for(x6,{(13,13)},fun(x7,{(x6,-10,-1),(17,x6,1)},conc(conc(for(x8,{(4,4)},conc(fun(x9,{(30,15,0)},conc(for(x10,{(0,129)},conc(for(x11,{(0,x9),(30,29),(72,133)},p((x11,x10),(1))),p((x10,43),(0)))),p((33,6),(1)))),fun(x12,{(50,x8,-4)},p((x12,-71),(1))))),p((120,12),(15))),conc(fun(x13,{(61,x7,-1),(1,67,-4)},for(x14,{(x5,50)},for(x15,{(x13,x4),(46,50)},p((x14,x15),(1))))),for(x16,{(x2,-2)},for(x17,{(6,8)},fun(x18,{(12,x7,-18),(-12,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x18,x1),(0,x16,-12)},fun(x21,{(x16,x6,-1),(-3,-19,1)},fun(x22,{(x20,8,16),(-13,x21,12)},fun(x23,{(19,-10,x6),(41,120,4)},p((134,x23),(1))))))))))))))),p((58,90),(0)))))));goodness : 1.44608 distance to original : 6371 time need : 52913 greatness : 151 idv : 17683
fun(x1,{(1,0,1)},conc(p((31,24),(1)),fun(x2,{(1,4,-8)},fun(x3,{(0,1,0)},for(x4,{(38,38)},conc(fun(x5,{(x4,4,x3),(0,x4,1)},for(x6,{(13,13)},fun(x7,{(x6,-10,-1),(17,x6,1)},conc(conc(for(x8,{(4,4)},conc(fun(x9,{(30,15,0)},conc(for(x10,{(0,129)},conc(for(x11,{(0,x9),(30,29),(72,133)},p((x11,x10),(1))),p((x10,43),(0)))),p((33,6),(1)))),fun(x12,{(50,x8,-4)},p((x12,-71),(1))))),p((120,12),(15))),conc(fun(x13,{(61,x7,-1),(1,67,-4)},for(x14,{(x5,50)},for(x15,{(x13,x4),(46,50)},p((x14,x15),(1))))),for(x16,{(x2,-2)},for(x17,{(6,8)},fun(x18,{(12,x7,-18),(-12,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x18,x1),(0,x16,-12)},fun(x21,{(x16,x6,-1),(-3,-19,1)},fun(x22,{(x20,8,16),(-13,x21,12)},fun(x23,{(19,-10,x6),(41,120,4)},p((134,x23),(1))))))))))))))),p((58,90),(0))))))));goodness : 1.44618 distance to original : 6370 time need : 52918 greatness : 156 idv : 18798
fun(x1,{(1,4,1)},fun(x2,{(0,1,0)},for(x3,{(38,38)},fun(x4,{(x3,4,x2),(0,x3,1)},for(x5,{(13,13)},conc(p((8,16),(1)),fun(x6,{(x5,-10,-1),(17,x5,1)},conc(conc(conc(fun(x7,{(30,15,0)},conc(for(x8,{(0,129)},conc(for(x9,{(0,30),(30,29),(72,132)},p((x9,x8),(1))),p((x8,43),(0)))),p((33,6),(1)))),fun(x10,{(50,4,0)},p((x10,-71),(1)))),p((120,12),(15))),conc(fun(x11,{(61,x6,-1),(1,67,-4)},for(x12,{(x4,50)},for(x13,{(x11,x3),(46,50)},p((x12,x13),(1))))),for(x14,{(x1,-4)},fun(x15,{(x14,x5,-1),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x6,-18),(-12,x3,-14)},for(x18,{(0,x17)},fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,16),(-13,x15,12)},fun(x21,{(19,-11,x5),(x20,120,4)},p((134,x21),(1)))))))))))))))))));goodness : 1.44628 distance to original : 6370 time need : 52988 greatness : 144 idv : 22248
fun(x1,{(1,0,1)},fun(x2,{(1,0,1)},fun(x3,{(1,4,x1)},fun(x4,{(0,1,0)},for(x5,{(38,38)},fun(x6,{(x5,4,x4),(0,x5,1)},for(x7,{(13,13)},conc(p((8,16),(1)),fun(x8,{(x7,-10,-1),(17,x7,1)},conc(conc(conc(fun(x9,{(30,15,x2)},conc(for(x10,{(0,129)},conc(for(x11,{(0,30),(30,29),(72,132)},p((x11,x10),(1))),p((x10,43),(0)))),p((33,6),(1)))),fun(x12,{(50,4,0)},p((x12,-71),(1)))),p((120,12),(15))),conc(fun(x13,{(61,x8,-1),(1,67,-4)},for(x14,{(x6,50)},for(x15,{(x13,x5),(46,50)},p((x14,x15),(1))))),for(x16,{(x3,-4)},fun(x17,{(x16,x7,-1),(-3,-19,1)},for(x18,{(6,8)},fun(x19,{(12,x8,-18),(-12,x5,-14)},for(x20,{(0,x19)},fun(x21,{(2,x19,-1),(0,x16,-12)},fun(x22,{(x21,8,16),(-13,x17,12)},fun(x23,{(19,-11,x7),(x22,120,4)},p((134,x23),(1)))))))))))))))))))));goodness : 1.44677 distance to original : 6370 time need : 52675 greatness : 152 idv : 24774
fun(x1,{(1,0,1)},conc(p((31,24),(1)),fun(x2,{(1,4,-8)},fun(x3,{(0,1,0)},for(x4,{(38,38)},conc(fun(x5,{(x4,4,x3),(0,x4,1)},for(x6,{(13,13)},fun(x7,{(x6,-10,-1),(17,x6,1)},conc(conc(for(x8,{(4,4)},conc(fun(x9,{(30,15,0)},conc(for(x10,{(0,129)},conc(for(x11,{(0,x9),(30,29),(72,133)},p((x11,x10),(1))),p((x10,43),(0)))),p((33,6),(1)))),fun(x12,{(50,x8,-4)},p((x12,-71),(1))))),p((120,12),(15))),conc(for(x13,{(x5,50)},for(x14,{(x0,x4),(46,50)},p((x13,x14),(1)))),fun(x15,{(61,x7,-1),(1,78,-4)},for(x16,{(x2,-2)},for(x17,{(6,8)},fun(x18,{(12,x7,-18),(-12,x17,-14)},for(x19,{(0,x18)},fun(x20,{(2,x18,x1),(0,x16,-12)},fun(x21,{(x16,x6,-1),(-3,-19,1)},fun(x22,{(x20,8,16),(-13,x21,12)},fun(x23,{(19,-10,33),(41,120,4)},p((134,x23),(1)))))))))))))))),p((58,90),(0))))))));goodness : 1.44726 distance to original : 6369 time need : 52138 greatness : 156 idv : 26573
fun(x1,{(1,4,1)},fun(x2,{(0,1,0)},for(x3,{(38,38)},fun(x4,{(x3,x1,x2),(0,x3,1)},for(x5,{(13,13)},conc(p((8,16),(1)),fun(x6,{(x5,-10,-1),(17,x5,1)},conc(conc(conc(conc(for(x7,{(0,129)},conc(p((x7,43),(0)),for(x8,{(0,30),(30,29),(72,133)},p((x8,x7),(1))))),p((33,6),(1))),fun(x9,{(52,4,0)},p((x9,-71),(1)))),p((120,18),(15))),fun(x10,{(61,x6,-1),(1,x2,-4)},for(x11,{(x4,50)},for(x12,{(x10,x3),(46,50)},p((x11,x12),(1)))))))))))));goodness : 1.44812 distance to original : 6371 time need : 52539 greatness : 91 idv : 29042
for(x1,{(4,4)},fun(x2,{(1,x1,1)},fun(x3,{(0,1,0)},for(x4,{(38,38)},fun(x5,{(x4,4,x3),(0,x4,-17)},for(x6,{(13,13)},conc(p((8,16),(1)),fun(x7,{(x6,-10,-1),(17,x6,1)},conc(conc(conc(conc(for(x8,{(0,129)},conc(for(x9,{(0,30),(30,29),(72,133)},p((x9,x8),(1))),p((x8,43),(0)))),p((33,6),(1))),fun(x10,{(50,4,0)},p((x10,-87),(1)))),p((120,12),(15))),conc(fun(x11,{(61,x7,-1),(1,67,-4)},for(x12,{(x5,53)},for(x13,{(x11,x4),(46,50)},p((x12,x13),(1))))),for(x14,{(x2,-4)},fun(x15,{(x14,x6,-4),(-3,-19,1)},for(x16,{(6,8)},fun(x17,{(12,x7,-18),(-12,x16,-14)},for(x18,{(0,x17)},conc(p((0,86),(0)),fun(x19,{(2,x17,-1),(0,x14,-12)},fun(x20,{(x19,8,16),(-13,x15,12)},fun(x21,{(19,-11,x6),(x20,120,4)},p((134,x21),(1)))))))))))))))))))));goodness : 1.45085 distance to original : 6336 time need : 54171 greatness : 148 idv : 29178
for(x1,{(4,4)},fun(x2,{(1,x1,1)},fun(x3,{(0,1,0)},for(x4,{(38,38)},fun(x5,{(x4,4,x3),(0,x4,-17)},for(x6,{(13,13)},conc(p((8,16),(1)),fun(x7,{(x6,-10,-1),(17,x6,1)},conc(conc(conc(conc(for(x8,{(0,129)},conc(for(x9,{(0,30),(30,29),(72,133)},p((x9,x8),(1))),p((x8,43),(0)))),p((33,6),(1))),fun(x10,{(50,4,0)},p((x10,-87),(1)))),p((120,12),(15))),fun(x11,{(61,x7,-1),(1,67,-4)},for(x12,{(x5,53)},for(x13,{(x11,x4),(46,50)},p((x12,x13),(1))))))))))))));goodness : 1.4541 distance to original : 6337 time need : 53071 greatness : 94 idv : 31434
for(x1,{(4,4)},fun(x2,{(1,x1,1)},fun(x3,{(0,1,0)},fun(x4,{(38,4,x3),(0,38,-17)},for(x5,{(13,13)},conc(p((8,16),(1)),fun(x6,{(x5,-10,-1),(17,x5,1)},conc(conc(conc(conc(for(x7,{(0,129)},conc(for(x8,{(0,30),(30,29),(72,133)},p((x8,x7),(1))),p((x7,43),(0)))),p((33,6),(1))),fun(x9,{(50,4,0)},p((x9,-87),(1)))),p((120,12),(15))),fun(x10,{(61,x6,-1),(1,67,-4)},for(x11,{(x4,53)},for(x12,{(x10,38),(46,50)},p((x11,x12),(1)))))))))))));goodness : 1.45416 distance to original : 6337 time need : 53070 greatness : 91 idv : 34339
conc(p((126,77),(0)),for(x1,{(4,4)},fun(x2,{(1,x1,1)},fun(x3,{(0,1,0)},for(x4,{(13,13)},conc(p((8,16),(1)),fun(x5,{(x4,-10,-1),(17,x4,1)},conc(conc(conc(conc(for(x6,{(0,129)},conc(for(x7,{(0,30),(30,29),(72,133)},p((x7,x6),(1))),p((x6,43),(0)))),p((33,6),(1))),fun(x8,{(50,4,-8)},p((34,-87),(1)))),p((120,12),(15))),fun(x9,{(x3,x5,-1),(1,67,-4)},fun(x10,{(38,4,x3),(0,38,-17)},for(x11,{(x10,53)},for(x12,{(x9,38),(46,50)},p((x11,x12),(1))))))))))))));goodness : 1.45426 distance to original : 6336 time need : 53075 greatness : 96 idv : 38546
for(x1,{(4,4)},fun(x2,{(1,x1,1)},fun(x3,{(0,1,-6)},fun(x4,{(38,4,x3),(0,38,-17)},for(x5,{(13,13)},fun(x6,{(x5,-10,-1),(17,x5,1)},conc(conc(conc(conc(for(x7,{(0,129)},conc(for(x8,{(0,30),(30,29),(72,133)},p((x8,x7),(1))),p((x7,43),(0)))),p((33,6),(1))),fun(x9,{(50,4,0)},p((x9,-87),(1)))),p((120,12),(15))),fun(x10,{(54,x6,-1),(20,67,-4)},for(x11,{(x4,53)},for(x12,{(x10,38),(46,50)},p((x11,x12),(1))))))))))));goodness : 1.45428 distance to original : 6337 time need : 53065 greatness : 86 idv : 44249
conc(p((126,77),(0)),for(x1,{(4,4)},fun(x2,{(1,x1,1)},fun(x3,{(0,1,0)},conc(p((8,16),(1)),fun(x4,{(13,-10,-1),(17,13,1)},conc(conc(conc(conc(for(x5,{(0,129)},conc(for(x6,{(0,30),(30,29),(72,133)},p((x6,x5),(1))),p((x5,43),(0)))),p((33,6),(1))),fun(x7,{(50,4,-8)},p((34,-87),(1)))),p((120,12),(15))),fun(x8,{(x3,x4,-1),(1,67,-4)},fun(x9,{(38,4,x3),(0,38,-17)},for(x10,{(x9,53)},for(x11,{(x8,38),(46,50)},p((x10,x11),(1)))))))))))));goodness : 1.45433 distance to original : 6336 time need : 53074 greatness : 93 idv : 44322
fun(x1,{(38,4,0),(0,38,-17)},for(x2,{(13,13)},conc(p((8,16),(1)),fun(x3,{(x2,-10,-1),(17,x2,1)},conc(conc(conc(conc(for(x4,{(0,129)},conc(for(x5,{(0,30),(30,29),(72,133)},p((x5,x4),(1))),p((x4,43),(0)))),p((33,6),(1))),fun(x6,{(50,4,0)},p((x6,-87),(1)))),p((120,12),(15))),fun(x7,{(61,x3,-1),(20,67,-4)},for(x8,{(x1,53)},for(x9,{(x7,38),(46,50)},p((x8,x9),(1))))))))));goodness : 1.45442 distance to original : 6337 time need : 53061 greatness : 80 idv : 45156
fun(x1,{(35,4,0),(0,55,-17)},for(x2,{(13,13)},conc(p((8,16),(1)),fun(x3,{(x2,-10,-1),(17,x2,1)},conc(conc(conc(conc(for(x4,{(0,129)},conc(for(x5,{(0,30),(30,29),(72,133)},p((x5,x4),(1))),p((x4,43),(0)))),p((33,6),(1))),fun(x6,{(50,4,0)},p((x6,-87),(1)))),p((120,12),(15))),fun(x7,{(61,x3,-1),(20,67,-4)},for(x8,{(x1,53)},for(x9,{(x7,x1),(46,50)},p((x8,x9),(1))))))))));goodness : 1.46207 distance to original : 6298 time need : 53364 greatness : 80 idv : 51760
fun(x1,{(35,4,0),(0,55,-17)},for(x2,{(13,13)},conc(p((8,16),(1)),fun(x3,{(x2,-10,-1),(17,x2,1)},conc(conc(conc(conc(for(x4,{(0,129)},conc(for(x5,{(0,30),(30,29),(72,124)},p((x5,x4),(1))),p((x4,43),(0)))),p((33,6),(1))),fun(x6,{(50,4,0)},p((x6,-87),(1)))),p((120,12),(15))),fun(x7,{(61,x3,-1),(20,67,-4)},for(x8,{(x1,53)},for(x9,{(x7,x1),(46,50)},p((x8,x9),(1))))))))));goodness : 1.46245 distance to original : 6343 time need : 48684 greatness : 80 idv : 56637
for(x1,{(13,13)},conc(p((8,16),(1)),fun(x2,{(x1,-10,-1),(17,14,1)},conc(conc(conc(conc(for(x3,{(0,129)},conc(for(x4,{(0,30),(30,29),(72,124)},p((x4,x3),(1))),p((x3,43),(0)))),p((33,6),(1))),fun(x5,{(50,4,0)},p((x5,-87),(1)))),p((120,12),(15))),fun(x6,{(61,x2,-1),(20,67,-4)},for(x7,{(35,53)},for(x8,{(x6,35),(46,50)},p((x7,x8),(1)))))))));goodness : 1.46261 distance to original : 6343 time need : 48677 greatness : 73 idv : 58616
fun(x1,{(35,4,0),(0,55,-17)},for(x2,{(13,13)},conc(p((8,16),(1)),fun(x3,{(x2,-10,-1),(17,x2,1)},conc(conc(conc(conc(for(x4,{(0,129)},conc(for(x5,{(0,30),(30,29),(72,129)},p((x5,x4),(1))),p((x4,43),(0)))),p((33,6),(1))),fun(x6,{(50,4,0)},p((x6,-87),(1)))),p((120,12),(15))),fun(x7,{(61,x3,-1),(20,67,-4)},for(x8,{(x1,53)},for(x9,{(x7,x1),(46,50)},p((x8,x9),(1))))))))));goodness : 1.46954 distance to original : 6284 time need : 51284 greatness : 80 idv : 59090
for(x1,{(13,13)},conc(p((8,16),(1)),fun(x2,{(x1,-10,-1),(17,x1,1)},conc(conc(conc(conc(for(x3,{(0,129)},conc(for(x4,{(0,30),(30,29),(72,129)},p((x4,x3),(1))),p((x3,43),(0)))),p((33,6),(1))),fun(x5,{(50,4,0)},p((x5,-87),(1)))),p((120,12),(15))),fun(x6,{(61,x2,-1),(20,67,-4)},for(x7,{(35,53)},for(x8,{(x6,35),(46,50)},p((x7,x8),(1)))))))));goodness : 1.46971 distance to original : 6284 time need : 51277 greatness : 73 idv : 68479
for(x1,{(13,13)},conc(p((-25,16),(1)),fun(x2,{(x1,-10,-1),(17,x1,1)},conc(conc(conc(conc(for(x3,{(0,129)},conc(for(x4,{(0,30),(30,29),(72,129)},p((x4,x3),(1))),p((x3,43),(0)))),p((33,6),(1))),fun(x5,{(50,4,0)},p((x5,-87),(1)))),p((120,12),(15))),fun(x6,{(67,x2,-1),(20,67,-4)},for(x7,{(35,53)},for(x8,{(x6,35),(46,53)},p((x7,x8),(1)))))))));goodness : 1.47203 distance to original : 6271 time need : 51505 greatness : 73 idv : 86694
conc(p((-25,16),(1)),fun(x1,{(13,-10,-1),(17,13,1)},conc(conc(conc(conc(for(x2,{(0,129)},conc(for(x3,{(0,30),(30,29),(72,129)},p((x3,x2),(1))),p((x2,43),(0)))),p((33,6),(1))),fun(x4,{(50,4,0)},p((x4,-87),(1)))),p((122,12),(15))),fun(x5,{(67,x1,-20),(20,67,-4)},for(x6,{(35,53)},for(x7,{(x5,35),(46,53)},p((x6,x7),(1))))))));goodness : 1.47209 distance to original : 6271 time need : 51504 greatness : 70 idv : 94943
conc(p((-25,16),(1)),fun(x1,{(13,-10,-1),(17,13,1)},conc(conc(conc(conc(for(x2,{(0,129)},conc(for(x3,{(0,30),(30,29),(72,129)},p((x3,x2),(1))),p((x2,43),(0)))),p((33,6),(1))),fun(x4,{(50,4,0)},p((x4,-87),(1)))),p((122,12),(15))),fun(x5,{(67,x1,-20),(20,67,-4)},for(x6,{(35,53)},for(x7,{(x5,34),(46,53)},p((x6,x7),(1))))))));goodness : 1.47248 distance to original : 6270 time need : 51428 greatness : 70 idv : 108928
conc(p((-25,16),(1)),fun(x1,{(10,-10,-21),(17,10,1)},conc(fun(x2,{(67,x1,-20),(20,67,-16)},for(x3,{(35,53)},for(x4,{(x2,35),(46,53)},p((x3,x4),(1))))),conc(conc(conc(for(x5,{(0,127)},conc(for(x6,{(0,30),(30,29),(72,129)},p((x6,x5),(1))),p((x5,43),(0)))),p((33,6),(1))),fun(x7,{(50,x1,6)},p((x7,-87),(1)))),p((120,12),(15))))));goodness : 1.4737 distance to original : 6271 time need : 50764 greatness : 70 idv : 113629
conc(p((-25,16),(1)),fun(x1,{(10,-10,-21),(17,10,1)},fun(x2,{(67,x1,-20),(20,67,-16)},conc(for(x3,{(35,53)},for(x4,{(x2,35),(x3,53)},p((x3,x4),(1)))),conc(conc(conc(for(x5,{(0,127)},conc(for(x6,{(0,30),(30,29),(72,129)},p((x6,x5),(1))),p((x5,43),(0)))),p((33,6),(1))),fun(x7,{(50,x1,6)},p((x7,-87),(1)))),p((120,12),(15)))))));goodness : 1.47489 distance to original : 6264 time need : 50916 greatness : 70 idv : 117619
conc(fun(x1,{(10,-10,-21),(17,16,1)},fun(x2,{(67,x1,-20),(20,67,-16)},conc(for(x3,{(35,54)},for(x4,{(x2,35),(x3,53)},p((x3,x4),(1)))),conc(conc(conc(for(x5,{(0,127)},conc(for(x6,{(0,30),(30,29),(72,129)},p((x6,x5),(1))),p((x5,43),(0)))),p((33,6),(1))),fun(x7,{(50,x1,6)},p((x7,-87),(1)))),p((102,12),(15)))))),p((-25,16),(1)));goodness : 1.47543 distance to original : 6260 time need : 51069 greatness : 70 idv : 136717
conc(fun(x1,{(10,-24,-21),(17,16,1)},fun(x2,{(67,x1,-20),(20,67,-16)},conc(for(x3,{(35,54)},for(x4,{(x2,34),(x3,53)},p((x3,x4),(1)))),conc(conc(conc(for(x5,{(0,127)},conc(for(x6,{(0,30),(30,29),(72,129)},p((x6,x5),(1))),p((x5,43),(0)))),p((33,6),(1))),fun(x7,{(50,x1,6)},p((x7,-87),(1)))),p((102,12),(15)))))),p((-25,16),(1)));goodness : 1.47582 distance to original : 6259 time need : 50989 greatness : 70 idv : 144083
conc(fun(x1,{(10,-24,-21),(17,16,1)},fun(x2,{(67,x1,-20),(20,67,-16)},conc(for(x3,{(35,54)},for(x4,{(x2,34),(x3,53)},p((x3,x4),(1)))),conc(conc(conc(for(x5,{(0,127)},conc(for(x6,{(0,30),(30,29),(73,129)},p((x6,x5),(1))),p((x5,43),(0)))),p((33,6),(1))),fun(x7,{(50,x1,6)},p((x7,-87),(2)))),p((102,12),(15)))))),p((-25,16),(1)));goodness : 1.47585 distance to original : 6264 time need : 50477 greatness : 70 idv : 156103
conc(fun(x1,{(67,271,-20),(2,67,-16)},conc(for(x2,{(35,54)},for(x3,{(x1,34),(x2,53)},p((x2,x3),(1)))),conc(conc(conc(for(x4,{(0,127)},conc(for(x5,{(0,30),(30,29),(73,129)},p((x5,x4),(1))),p((x4,43),(0)))),p((33,6),(1))),fun(x6,{(50,271,6)},p((x6,-87),(2)))),p((102,12),(15))))),p((-25,16),(1)));goodness : 1.47601 distance to original : 6264 time need : 50470 greatness : 63 idv : 160294  till:163963


