p((77,1),(1));goodness : 0.888144 distance to original : 11259 time need : 4 greatness : 4 idv : 1
conc(p((106,62),(1)),p((81,38),(1)));goodness : 0.888179 distance to original : 11258 time need : 9 greatness : 9 idv : 233
for(x1,{(102,109)},conc(p((135,x1),(1)),p((69,65),(0))));goodness : 0.888421 distance to original : 11254 time need : 73 greatness : 12 idv : 239
for(x1,{(90,106)},p((x1,127),(1)));goodness : 0.889174 distance to original : 11245 time need : 69 greatness : 7 idv : 446
for(x1,{(20,4)},p((x1,22),(1)));goodness : 0.889332 distance to original : 11243 time need : 69 greatness : 7 idv : 1286
fun(x1,{(0,135,1)},for(x2,{(x1,135)},p((x2,103),(1))));goodness : 0.892014 distance to original : 11204 time need : 549 greatness : 11 idv : 1710
for(x1,{(99,106)},for(x2,{(90,106)},p((x2,x1),(1))));goodness : 0.896658 distance to original : 11146 time need : 553 greatness : 10 idv : 2250
for(x1,{(99,103)},for(x2,{(76,106)},p((x2,x1),(1))));goodness : 0.898613 distance to original : 11121 time need : 626 greatness : 10 idv : 4546
for(x1,{(92,103)},for(x2,{(56,106)},p((x2,x1),(1))));goodness : 0.901908 distance to original : 11062 time need : 2461 greatness : 10 idv : 6116
for(x1,{(87,103)},for(x2,{(74,106)},p((x2,x1),(1))));goodness : 0.919403 distance to original : 10853 time need : 2262 greatness : 10 idv : 7997
for(x1,{(87,119)},for(x2,{(74,106)},p((x2,x1),(1))));goodness : 0.948596 distance to original : 10497 time need : 4390 greatness : 10 idv : 8225
for(x1,{(87,103)},for(x2,{(74,141)},p((x2,x1),(1))));goodness : 0.952797 distance to original : 10448 time need : 4642 greatness : 10 idv : 10575
for(x1,{(87,119)},for(x2,{(74,119)},p((x2,x1),(1))));goodness : 0.972379 distance to original : 10222 time need : 6106 greatness : 10 idv : 11847
for(x1,{(76,114)},for(x2,{(85,141)},p((x2,x1),(1))));goodness : 0.993905 distance to original : 9971 time need : 8932 greatness : 10 idv : 12392
for(x1,{(76,119)},for(x2,{(74,119)},p((x2,x1),(1))));goodness : 1.00277 distance to original : 9890 time need : 8141 greatness : 10 idv : 13132
conc(for(x1,{(87,119)},for(x2,{(74,119)},p((x2,x1),(-10)))),for(x3,{(63,119)},for(x4,{(74,119)},p((x4,x3),(1)))));goodness : 1.02452 distance to original : 9592 time need : 16653 greatness : 21 idv : 14992
conc(for(x1,{(87,101)},for(x2,{(74,119)},p((x2,x1),(-10)))),for(x3,{(63,119)},for(x4,{(74,119)},p((x4,x3),(1)))));goodness : 1.02803 distance to original : 9592 time need : 13323 greatness : 21 idv : 15122
conc(for(x1,{(87,119)},p((74,x1),(-10))),for(x2,{(63,119)},for(x3,{(74,119)},p((x3,x2),(1)))));goodness : 1.03086 distance to original : 9592 time need : 10680 greatness : 18 idv : 15400
conc(for(x1,{(87,119)},p((74,x1),(-10))),for(x2,{(63,134)},for(x3,{(74,119)},p((x3,x2),(1)))));goodness : 1.05951 distance to original : 9302 time need : 13455 greatness : 18 idv : 16239
conc(for(x1,{(87,119)},p((74,x1),(-10))),for(x2,{(63,134)},for(x3,{(74,121)},p((x3,x2),(1)))));goodness : 1.0654 distance to original : 9244 time need : 14031 greatness : 18 idv : 19762
conc(for(x1,{(87,119)},p((74,x1),(-10))),for(x2,{(63,134)},for(x3,{(67,121)},p((x3,x2),(1)))));goodness : 1.0696 distance to original : 9187 time need : 16047 greatness : 18 idv : 20354
conc(for(x1,{(103,119)},p((74,x1),(-10))),for(x2,{(63,134)},for(x3,{(67,121)},p((x3,x2),(1)))));goodness : 1.06968 distance to original : 9187 time need : 15983 greatness : 18 idv : 20678
for(x1,{(76,125)},for(x2,{(77,153)},p((x2,x1),(1))));goodness : 1.07486 distance to original : 9148 time need : 15451 greatness : 10 idv : 22278
for(x1,{(76,125)},for(x2,{(66,153)},p((x2,x1),(1))));goodness : 1.08231 distance to original : 9062 time need : 17651 greatness : 10 idv : 23024
fun(x1,{(1,1,1),(9,3,-13)},conc(for(x2,{(87,119)},p((74,x2),(-10))),for(x3,{(58,134)},for(x4,{(74,131)},p((x4,x3),(x1))))));goodness : 1.08633 distance to original : 9022 time need : 18083 greatness : 25 idv : 24984
for(x1,{(76,129)},for(x2,{(77,153)},p((x2,x1),(1))));goodness : 1.08697 distance to original : 9032 time need : 16687 greatness : 10 idv : 25240
for(x1,{(76,129)},for(x2,{(69,153)},p((x2,x1),(1))));goodness : 1.10021 distance to original : 8904 time need : 18415 greatness : 10 idv : 27587
for(x1,{(76,129)},for(x2,{(77,153),(11,23)},p((x2,x1),(1))));goodness : 1.11431 distance to original : 8778 time need : 19495 greatness : 12 idv : 28381
for(x1,{(76,129)},for(x2,{(86,153),(-1,23)},p((x2,x1),(1))));goodness : 1.11574 distance to original : 8760 time need : 20143 greatness : 12 idv : 28863
for(x1,{(76,129)},for(x2,{(69,153),(-1,13)},p((x2,x1),(1))));goodness : 1.14893 distance to original : 8486 time need : 21655 greatness : 12 idv : 31860
conc(for(x1,{(76,129)},for(x2,{(77,153),(-5,23)},p((x2,x1),(1)))),fun(x3,_,fun(x4,{(1,75,x3)},p((116,x4),(-21)))));goodness : 1.15409 distance to original : 8433 time need : 22961 greatness : 22 idv : 32603
conc(for(x1,{(76,129)},for(x2,{(69,153),(-1,13)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(for(x4,{(1,2)},fun(x5,{(0,x4,14)},fun(x6,{(128,1,-7)},for(x7,{(82,x5)},p((125,-5),(1)))))),for(x8,{(0,0)},fun(x9,{(1,1,1),(32,3,-24)},for(x10,{(58,x3)},for(x11,{(27,x8)},conc(p((x11,x10),(x9)),p((122,85),(1))))))))));goodness : 1.3293 distance to original : 7144 time need : 37277 greatness : 60 idv : 34244
conc(for(x1,{(76,129)},for(x2,{(73,153),(-1,13)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(for(x4,{(1,2)},fun(x5,{(0,x4,14)},fun(x6,{(128,16,-7)},for(x7,{(82,x5)},p((125,-5),(1)))))),for(x8,{(0,0)},fun(x9,{(1,1,1),(32,3,-24)},for(x10,{(74,x3)},for(x11,{(27,x8)},conc(p((x11,x10),(x9)),p((128,85),(1))))))))));goodness : 1.37427 distance to original : 6866 time need : 40461 greatness : 60 idv : 39140
conc(for(x1,{(76,129)},for(x2,{(69,154),(-1,13)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(for(x4,{(1,2)},fun(x5,{(0,x4,14)},fun(x6,{(128,1,-7)},for(x7,{(82,x5)},p((125,11),(1)))))),for(x8,{(0,0)},conc(fun(x9,{(1,1,1),(32,3,-18)},for(x10,{(58,x3)},for(x11,{(27,x8)},conc(p((x11,x10),(x9)),p((122,85),(1)))))),fun(x12,{(58,1,9)},fun(x13,{(-12,1,1),(20,14,-13)},for(x14,{(87,129),(0,10)},for(x15,{(77,133)},p((x15,x14),(1)))))))))));goodness : 1.39254 distance to original : 6674 time need : 49872 greatness : 84 idv : 42119
conc(for(x1,{(76,129)},for(x2,{(73,153),(-1,13)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,2)},fun(x7,{(0,x6,14),(1,3,1)},fun(x8,{(128,16,-7)},for(x9,{(82,x7)},p((125,-5),(1))))))),for(x10,{(0,0)},fun(x11,{(1,1,1),(32,3,-24)},for(x12,{(74,x3)},for(x13,{(27,x10)},conc(p((x13,x12),(x11)),p((128,85),(1))))))))));goodness : 1.39798 distance to original : 6412 time need : 73358 greatness : 76 idv : 44826
conc(for(x1,{(76,129)},for(x2,{(73,145),(-1,13)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,2)},fun(x7,{(0,x6,14),(1,3,1)},fun(x8,{(128,16,-7)},for(x9,{(82,x7)},p((125,-5),(1))))))),for(x10,{(0,0)},fun(x11,{(1,1,1),(32,3,-24)},for(x12,{(74,x3)},for(x13,{(27,x10)},conc(p((x13,x12),(x11)),p((128,85),(1))))))))));goodness : 1.40136 distance to original : 6412 time need : 71630 greatness : 76 idv : 45022
conc(for(x1,{(76,129)},for(x2,{(69,153),(-1,29)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(for(x4,{(1,2)},fun(x5,{(0,x4,14)},fun(x6,{(128,1,-7)},for(x7,{(82,x5)},p((125,-5),(4)))))),for(x8,{(0,0)},fun(x9,{(1,1,-19),(32,3,-24)},for(x10,{(71,x3)},for(x11,{(27,x8)},conc(p((x11,x10),(x9)),p((122,67),(1))))))))));goodness : 1.41619 distance to original : 6615 time need : 44022 greatness : 60 idv : 45470
conc(for(x1,{(76,129)},for(x2,{(69,154),(-1,13)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(for(x4,{(-8,2)},fun(x5,{(0,x4,14)},fun(x6,{(128,1,-7)},for(x7,{(82,x5)},p((125,11),(1)))))),for(x8,{(0,0)},conc(fun(x9,{(1,1,1),(32,3,-18)},for(x10,{(72,x3)},for(x11,{(27,x8)},conc(p((x11,x10),(x9)),p((122,85),(1)))))),fun(x12,{(58,1,9)},fun(x13,{(-12,1,1),(20,14,-13)},for(x14,{(87,129),(0,10)},for(x15,{(77,133)},p((x15,x14),(1)))))))))));goodness : 1.43118 distance to original : 6414 time need : 56483 greatness : 84 idv : 45829
conc(for(x1,{(0,0)},conc(conc(for(x2,{(60,128)},for(x3,{(69,153),(-1,32)},p((x3,x2),(1)))),for(x4,{(1,2)},fun(x5,{(0,x4,14),(1,3,1)},fun(x6,{(128,16,-7)},for(x7,{(82,x5)},p((125,-5),(1))))))),for(x8,{(0,0)},fun(x9,{(1,1,1),(32,3,-24)},for(x10,{(74,x1)},for(x11,{(27,x8)},conc(p((x11,x10),(x9)),p((128,85),(1))))))))),fun(x12,{(1,0,1)},fun(x13,_,fun(x14,{(1,x12,x13)},p((119,x14),(-21))))));goodness : 1.43957 distance to original : 6413 time need : 52580 greatness : 77 idv : 46112
conc(conc(for(x1,{(0,0)},for(x2,{(0,0)},conc(fun(x3,{(1,1,1),(32,3,-18)},for(x4,{(58,x1)},for(x5,{(27,x2)},conc(p((x5,x4),(x3)),p((122,85),(1)))))),fun(x6,{(58,1,9)},fun(x7,{(-12,1,1),(20,14,-13)},for(x8,{(87,129),(0,10)},for(x9,{(77,133)},p((x9,x8),(1))))))))),conc(for(x10,{(76,129)},for(x11,{(86,166),(-5,23)},p((x11,x10),(1)))),p((97,130),(1)))),for(x12,{(0,0)},conc(for(x13,{(60,128)},for(x14,{(69,153),(-1,32)},p((x14,x13),(1)))),for(x15,{(-5,2)},fun(x16,{(0,x15,14),(1,3,1)},fun(x17,{(128,16,-7)},for(x18,{(82,x16)},p((125,-5),(1)))))))));goodness : 1.46393 distance to original : 5953 time need : 86711 greatness : 108 idv : 46139
conc(for(x1,{(76,129)},for(x2,{(69,154),(-1,13)},p((x2,x1),(1)))),for(x3,{(0,0)},conc(for(x4,{(1,2)},fun(x5,{(0,x4,14)},fun(x6,{(128,1,-7)},for(x7,{(82,x5)},p((107,11),(1)))))),for(x8,{(0,0)},conc(fun(x9,{(1,1,1),(32,3,-18)},for(x10,{(58,x3)},for(x11,{(27,x8)},conc(p((x11,x10),(x9)),p((122,85),(1)))))),fun(x12,{(58,1,9)},fun(x13,{(-12,1,1),(20,14,-13)},for(x14,{(87,129),(0,10)},for(x15,{(x14,133)},p((x15,x14),(1)))))))))));goodness : 1.50139 distance to original : 6175 time need : 47708 greatness : 84 idv : 46812
conc(conc(for(x1,{(0,0)},for(x2,{(0,0)},conc(fun(x3,{(1,1,1),(32,3,-18)},for(x4,{(58,x1)},for(x5,{(27,x2)},conc(p((x5,x4),(x3)),p((122,85),(1)))))),fun(x6,{(58,1,9)},fun(x7,{(-12,1,1),(20,14,2)},for(x8,{(87,129),(0,10)},for(x9,{(77,133)},p((x9,x8),(1))))))))),p((85,130),(1))),for(x10,{(0,0)},conc(for(x11,{(60,128)},for(x12,{(69,153),(-1,32)},p((x12,x11),(1)))),for(x13,{(-5,2)},fun(x14,{(0,x13,14),(1,3,1)},fun(x15,{(128,16,-24)},for(x16,{(82,x14)},p((125,-5),(1)))))))));goodness : 1.51712 distance to original : 5953 time need : 62895 greatness : 95 idv : 50474
fun(x1,{(0,1,0)},conc(conc(for(x2,{(0,0)},for(x3,{(0,0)},conc(fun(x4,{(1,1,1),(32,3,-18)},for(x5,{(58,x2)},for(x6,{(27,x3)},conc(p((x6,x5),(x4)),p((122,85),(1)))))),fun(x7,{(58,1,9)},for(x8,{(87,129),(0,10)},for(x9,{(77,133)},p((x9,x8),(1)))))))),p((85,130),(1))),for(x10,{(x1,0)},conc(for(x11,{(60,128)},for(x12,{(69,153),(-1,32)},p((x12,x11),(1)))),for(x13,{(-5,2)},fun(x14,{(0,x13,14),(1,3,1)},for(x15,{(82,x14)},p((125,-5),(1)))))))));goodness : 1.51736 distance to original : 5953 time need : 62860 greatness : 88 idv : 51928
for(x1,{(1,1)},for(x2,{(0,0)},conc(conc(for(x3,{(60,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),for(x5,{(1,2)},fun(x6,{(0,x5,14),(1,x1,1)},fun(x7,{(128,16,1)},conc(for(x8,{(0,0)},for(x9,{(0,0)},conc(fun(x10,{(1,1,1),(32,3,-18)},for(x11,{(58,x8)},for(x12,{(27,x9)},conc(p((x12,x11),(x10)),p((122,85),(1)))))),fun(x13,{(58,1,9)},fun(x14,{(-12,1,1),(20,5,-13)},for(x15,{(87,129),(0,10)},for(x16,{(x15,133)},p((x16,x15),(1))))))))),for(x17,{(82,x6)},p((125,-5),(x1)))))))),for(x18,{(0,0)},fun(x19,{(1,1,1),(32,3,-24)},for(x20,{(74,x2)},for(x21,{(27,x18)},p((x21,x20),(x19)))))))));goodness : 1.56757 distance to original : 5444 time need : 92389 greatness : 114 idv : 51983
for(x1,{(1,1)},for(x2,{(0,0)},conc(conc(for(x3,{(60,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),for(x5,{(1,2)},fun(x6,{(0,x5,14),(1,20,1)},fun(x7,{(128,16,1)},conc(for(x8,{(0,0)},for(x9,{(0,0)},conc(fun(x10,{(1,1,1),(32,3,-18)},for(x11,{(58,x8)},for(x12,{(27,x9)},conc(p((x12,x11),(x10)),p((122,85),(1)))))),fun(x13,{(58,1,9)},fun(x14,{(-12,1,1),(20,5,-13)},for(x15,{(87,129),(0,10)},for(x16,{(x15,133)},p((x16,x15),(1))))))))),for(x17,{(82,x6)},p((125,-5),(x1)))))))),for(x18,{(0,0)},fun(x19,{(1,1,1),(32,3,-24)},for(x20,{(74,x2)},for(x21,{(27,x18)},p((x21,x20),(x19)))))))));goodness : 1.56793 distance to original : 5444 time need : 92245 greatness : 114 idv : 52491
for(x1,{(1,1)},for(x2,{(0,0)},conc(conc(for(x3,{(60,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),for(x5,{(1,2)},fun(x6,{(0,x5,14),(1,20,1)},fun(x7,{(128,16,1)},conc(for(x8,{(0,0)},for(x9,{(0,0)},conc(fun(x10,{(1,1,1),(32,3,-18)},for(x11,{(58,x8)},for(x12,{(27,x9)},conc(p((x12,x11),(x10)),p((122,85),(1)))))),fun(x13,{(58,1,9)},fun(x14,{(-12,1,1),(20,5,-13)},for(x15,{(87,129),(0,10)},for(x16,{(x15,133)},p((x16,x15),(1))))))))),for(x17,{(82,x6)},p((125,-5),(x1)))))))),for(x18,{(0,0)},fun(x19,{(1,1,1),(32,3,-24)},for(x20,{(71,x2)},for(x21,{(27,x18)},p((x21,x20),(x19)))))))));goodness : 1.56876 distance to original : 5444 time need : 91906 greatness : 114 idv : 52564
for(x1,{(1,1)},for(x2,{(0,0)},conc(conc(for(x3,{(60,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),for(x5,{(1,2)},fun(x6,{(0,x5,14),(1,20,1)},fun(x7,{(128,16,1)},conc(for(x8,{(0,0)},for(x9,{(0,0)},conc(fun(x10,{(2,1,1),(32,3,-18)},for(x11,{(58,x8)},for(x12,{(27,x9)},conc(p((x12,x11),(x10)),p((122,85),(1)))))),fun(x13,{(58,1,9)},fun(x14,{(-12,1,1),(20,5,-13)},for(x15,{(87,129),(0,15)},for(x16,{(x15,133)},p((x16,x15),(1))))))))),for(x17,{(82,x6)},p((125,-5),(x1)))))))),for(x18,{(0,0)},fun(x19,{(1,1,1),(32,3,-24)},for(x20,{(71,x2)},for(x21,{(27,x18)},p((x21,x20),(x19)))))))));goodness : 1.59822 distance to original : 5278 time need : 96756 greatness : 114 idv : 53463
fun(x1,{(1,128,1)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,2)},fun(x7,{(0,x6,14),(1,20,1)},fun(x8,{(x1,16,1)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,3,-18)},for(x12,{(58,x9)},for(x13,{(27,x10)},conc(p((x13,x12),(x11)),p((122,85),(1)))))),fun(x14,{(58,1,9)},fun(x15,{(-12,1,1),(34,5,-13),(6,1,2)},for(x16,{(103,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(82,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x20))))))))));goodness : 1.61112 distance to original : 5278 time need : 91678 greatness : 121 idv : 54768
fun(x1,{(1,128,1)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,2)},fun(x7,{(0,x6,14),(1,20,1),(9,2,1)},fun(x8,{(x1,16,1)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,{(58,x9)},for(x13,{(27,x10)},conc(p((x13,x12),(x11)),p((122,85),(1)))))),fun(x14,{(58,1,9)},fun(x15,{(-12,1,1),(34,5,-13),(6,1,2)},for(x16,{(103,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(82,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x20))))))))));goodness : 1.61142 distance to original : 5278 time need : 91532 greatness : 124 idv : 56291
fun(x1,{(1,128,1)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,2)},fun(x7,{(0,x6,14),(1,20,1)},fun(x8,{(x1,16,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,{(58,x9)},for(x13,{(27,x10)},p((122,85),(1))))),fun(x14,{(58,1,9)},fun(x15,{(-12,1,1),(34,5,-13),(6,1,2)},for(x16,{(103,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(82,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x20))))))))));goodness : 1.65531 distance to original : 5278 time need : 75158 greatness : 116 idv : 56930
fun(x1,{(1,128,1)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,2)},fun(x7,{(0,x6,14),(1,20,1)},fun(x8,{(x1,16,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,{(58,x9)},for(x13,{(27,x10)},p((122,85),(1))))),fun(x14,{(58,1,9)},fun(x15,{(-12,1,1),(34,5,-13),(6,1,2)},for(x16,{(103,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(75,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x20))))))))));goodness : 1.65546 distance to original : 5278 time need : 75102 greatness : 116 idv : 57380
fun(x1,{(1,128,1)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,2)},fun(x7,{(0,x6,14),(1,20,1)},fun(x8,{(x1,16,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,{(58,48)},for(x13,{(33,x10)},p((122,85),(1))))),fun(x14,{(58,1,9)},fun(x15,{(-12,1,1),(34,5,-13),(6,1,1)},for(x16,{(103,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(82,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x20))))))))));goodness : 1.68407 distance to original : 5278 time need : 64838 greatness : 116 idv : 60500
for(x1,{(16,16)},fun(x2,{(1,128,1)},for(x3,{(1,1)},for(x4,{(0,0)},conc(conc(for(x5,{(60,128)},for(x6,{(69,153),(-1,32)},p((x6,x5),(1)))),for(x7,{(1,2)},fun(x8,{(0,x7,14),(1,20,1)},fun(x9,{(x2,x1,14)},conc(for(x10,{(0,0)},for(x11,{(0,0)},fun(x12,{(58,1,9)},fun(x13,{(-12,1,1),(34,5,-13),(6,1,2)},for(x14,{(103,129),(0,15)},for(x15,{(x14,133)},p((x15,x14),(1)))))))),p((125,-5),(x3))))))),for(x16,{(0,0)},fun(x17,{(1,1,1),(32,3,-24)},for(x18,{(71,x4)},for(x19,{(27,x16)},p((x19,x18),(x17)))))))))));goodness : 1.69468 distance to original : 5278 time need : 61301 greatness : 98 idv : 60552
fun(x1,{(1,128,-5)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,1)},fun(x7,{(0,x6,14),(1,20,1)},fun(x8,{(x1,16,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,_,for(x13,{(33,x10)},p((122,85),(1))))),fun(x14,{(58,1,9),(5,2,0)},fun(x15,{(-12,1,1),(34,21,-13),(3,1,1)},for(x16,{(103,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(80,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x20))))))))));goodness : 1.72292 distance to original : 5278 time need : 51441 greatness : 117 idv : 68685
fun(x1,{(2,1,5)},fun(x2,{(1,128,-5)},for(x3,{(1,1)},for(x4,{(0,0)},conc(conc(for(x5,{(60,128)},for(x6,{(69,153),(-1,32)},p((x6,x5),(1)))),for(x7,{(1,1)},fun(x8,{(0,x7,14),(1,20,1)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(for(x11,_,for(x12,{(33,x10)},p((122,85),(1)))),fun(x13,{(58,1,9),(5,2,0)},fun(x14,{(-12,1,1),(34,21,-13),(3,1,1)},for(x15,{(103,129),(0,15)},for(x16,{(x15,133)},p((x16,x15),(1))))))))),p((125,-5),(x3)))))),for(x17,{(0,0)},fun(x18,{(1,1,1),(32,3,-24)},for(x19,{(71,x4)},for(x20,{(27,x17)},p((x20,x19),(x18)))))))))));goodness : 1.72396 distance to original : 5278 time need : 51189 greatness : 107 idv : 70617
fun(x1,{(2,1,5)},fun(x2,{(1,128,-5)},for(x3,{(1,1)},for(x4,{(0,0)},conc(conc(for(x5,{(60,128)},for(x6,{(69,153),(-1,32)},p((x6,x5),(1)))),for(x7,{(1,1)},fun(x8,{(0,x7,14),(1,20,1)},conc(for(x9,{(0,0)},conc(for(x10,_,for(x11,{(33,x9)},p((122,85),(1)))),for(x12,{(103,129),(0,15)},for(x13,{(x12,133)},p((x13,x12),(1)))))),p((125,-5),(x3)))))),for(x14,{(0,0)},fun(x15,{(1,1,1),(32,3,-24)},for(x16,{(71,x4)},for(x17,{(27,x14)},p((x17,x16),(x15)))))))))));goodness : 1.72461 distance to original : 5278 time need : 51171 greatness : 87 idv : 75711
fun(x1,{(2,1,5)},fun(x2,{(1,128,-5)},for(x3,{(1,1)},for(x4,{(0,0)},conc(conc(for(x5,{(60,128)},for(x6,{(69,153),(-1,32)},p((x6,x5),(1)))),for(x7,{(1,1)},fun(x8,{(0,x7,14),(1,20,1)},conc(for(x9,{(0,0)},for(x10,{(103,129),(0,15)},for(x11,{(x10,133)},p((x11,x10),(1))))),p((125,-5),(x3)))))),for(x12,{(0,0)},fun(x13,{(1,1,1),(32,3,-24)},for(x14,{(71,x4)},for(x15,{(27,x12)},p((x15,x14),(x13)))))))))));goodness : 1.72488 distance to original : 5278 time need : 51169 greatness : 78 idv : 77829
fun(x1,{(1,128,-5)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,1)},fun(x7,{(0,x6,14),(1,35,1)},fun(x8,{(x1,16,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,_,for(x13,{(33,x10)},p((122,85),(1))))),fun(x14,{(58,1,9),(5,2,0)},fun(x15,{(-12,1,1),(34,21,-13),(3,1,1)},for(x16,{(115,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(80,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x2))))))))));goodness : 1.72677 distance to original : 5278 time need : 50145 greatness : 117 idv : 77862
fun(x1,{(1,128,-5)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,1)},fun(x7,{(0,x6,14),(1,35,1)},fun(x8,{(x1,0,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,_,for(x13,{(33,x10)},p((122,85),(1))))),fun(x14,{(58,1,9),(5,2,0)},fun(x15,{(-12,1,1),(34,21,-13),(3,1,1)},for(x16,{(115,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(80,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},conc(fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x2))))),p((41,126),(1))))))));goodness : 1.72691 distance to original : 5277 time need : 50150 greatness : 122 idv : 83667
for(x1,{(3,3)},fun(x2,{(1,128,-5)},for(x3,{(1,1)},for(x4,{(0,0)},conc(conc(for(x5,{(60,128)},for(x6,{(69,153),(-1,32)},p((x6,x5),(1)))),for(x7,{(1,1)},fun(x8,{(0,x7,14),(1,35,1)},fun(x9,{(x2,16,14)},conc(for(x10,{(0,0)},for(x11,{(0,0)},conc(fun(x12,{(2,1,1),(32,-4,-18)},p((122,85),(1))),fun(x13,{(58,1,9),(5,2,0)},fun(x14,{(-12,1,1),(34,21,-13),(3,1,1)},for(x15,{(115,129),(0,15)},for(x16,{(x15,133)},p((x16,x15),(1))))))))),for(x17,{(80,x8)},p((125,-5),(x3)))))))),for(x18,{(0,0)},for(x19,{(71,x4)},for(x20,{(27,x18)},p((x20,x19),(x3))))))))));goodness : 1.72702 distance to original : 5278 time need : 50142 greatness : 109 idv : 84430
for(x1,{(3,3)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,1)},fun(x7,{(0,x6,14),(1,35,1)},fun(x8,{(0,16,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},p((122,85),(1))),fun(x12,{(58,1,9),(5,2,0)},fun(x13,{(-12,1,1),(34,21,-13),(3,1,1)},for(x14,{(115,129),(0,15)},for(x15,{(x14,133)},p((x15,x14),(1))))))))),for(x16,{(80,x7)},p((125,-5),(x2)))))))),for(x17,{(0,0)},for(x18,{(71,x3)},for(x19,{(27,x17)},p((x19,x18),(x2)))))))));goodness : 1.72715 distance to original : 5278 time need : 50138 greatness : 105 idv : 84521
for(x1,{(3,3)},fun(x2,{(1,128,-5)},for(x3,{(1,1)},for(x4,{(0,0)},conc(conc(for(x5,{(60,128)},for(x6,{(69,153),(-1,32)},p((x6,x5),(1)))),for(x7,{(1,1)},fun(x8,{(0,x7,14),(1,35,1)},fun(x9,{(x2,16,14)},conc(for(x10,{(0,0)},for(x11,{(0,0)},conc(p((122,85),(1)),fun(x12,{(58,1,9),(5,2,0)},fun(x13,{(-12,1,1),(34,21,-13),(3,1,1)},for(x14,{(115,129),(0,15)},for(x15,{(x14,133)},p((x15,x14),(1))))))))),for(x16,{(80,x8)},p((125,-5),(x3)))))))),for(x17,{(0,0)},for(x18,{(71,x4)},for(x19,{(27,x17)},p((x19,x18),(x3))))))))));goodness : 1.72725 distance to original : 5278 time need : 50135 greatness : 102 idv : 85628
fun(x1,{(1,128,-5)},for(x2,{(1,1)},for(x3,{(0,0)},conc(conc(for(x4,{(60,127)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),for(x6,{(1,1)},fun(x7,{(0,x6,14),(1,35,1)},fun(x8,{(x1,0,14)},conc(for(x9,{(0,0)},for(x10,{(0,0)},conc(fun(x11,{(2,1,1),(32,-4,-18)},for(x12,_,for(x13,{(33,x10)},p((122,85),(1))))),fun(x14,{(60,1,9),(5,2,0)},fun(x15,{(-12,1,1),(34,21,-13),(3,1,1)},for(x16,{(115,129),(0,15)},for(x17,{(x16,133)},p((x17,x16),(1))))))))),for(x18,{(80,x7)},p((125,-5),(x2)))))))),for(x19,{(0,0)},fun(x20,{(1,1,1),(32,3,-24)},for(x21,{(71,x3)},for(x22,{(27,x19)},p((x22,x21),(x2))))))))));goodness : 1.7282 distance to original : 5278 time need : 49668 greatness : 117 idv : 85847
fun(x1,{(1,0,1)},fun(x2,{(-7,1,5)},fun(x3,{(1,128,x1)},for(x4,{(1,1)},for(x5,{(0,0)},conc(conc(for(x6,{(69,128)},for(x7,{(69,153),(-1,32)},p((x7,x6),(1)))),for(x8,{(1,1)},fun(x9,{(0,x8,14),(1,20,1)},conc(for(x10,{(0,0)},for(x11,{(103,129),(0,15)},for(x12,{(x11,133)},p((x12,x11),(1))))),p((125,-5),(x4)))))),for(x13,{(0,0)},fun(x14,{(1,1,1),(32,3,-34)},for(x15,{(71,x5)},for(x16,{(27,x13)},p((x16,x15),(x14))))))))))));goodness : 1.73732 distance to original : 5279 time need : 46880 greatness : 82 idv : 86142
conc(fun(x1,{(1,1,-12),(32,-8,-24)},for(x2,{(83,0)},for(x3,{(27,0)},p((x3,x2),(x1))))),conc(for(x4,{(68,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),conc(for(x6,{(19,0)},p((122,85),(1))),fun(x7,{(-12,1,1),(15,13,-13),(6,14,19)},for(x8,{(103,129),(0,15)},for(x9,{(x8,133)},p((x9,x8),(1))))))));goodness : 1.73736 distance to original : 5262 time need : 48776 greatness : 61 idv : 98032
conc(fun(x1,{(1,1,-12),(32,-8,-24)},for(x2,{(83,0)},for(x3,{(27,0)},p((x3,x2),(x1))))),conc(for(x4,{(68,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),fun(x6,{(-12,1,1),(15,13,-13),(6,14,19)},for(x7,{(103,129),(0,15)},for(x8,{(x7,133)},p((x8,x7),(1)))))));goodness : 1.73785 distance to original : 5262 time need : 48694 greatness : 53 idv : 99116
conc(fun(x1,{(1,1,-12),(32,-8,-24)},for(x2,{(83,0)},for(x3,{(27,0)},p((x3,x2),(x1))))),conc(for(x4,{(68,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),conc(for(x6,{(19,0)},p((122,87),(1))),fun(x7,{(-12,1,1),(15,13,-13),(6,14,19)},for(x8,{(103,122),(0,15)},for(x9,{(x8,133)},p((x9,x8),(1))))))));goodness : 1.73806 distance to original : 5262 time need : 48545 greatness : 61 idv : 99475
conc(fun(x1,{(1,1,-12),(32,-8,-24)},for(x2,{(83,0)},for(x3,{(27,0)},p((x3,x2),(x1))))),conc(for(x4,{(68,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),fun(x6,{(-12,1,1),(15,13,-13),(6,14,19)},for(x7,{(103,109),(0,15)},for(x8,{(x7,133)},p((x8,x7),(1)))))));goodness : 1.74142 distance to original : 5262 time need : 47514 greatness : 53 idv : 99706
conc(fun(x1,{(1,1,-12),(32,-8,-24)},for(x2,{(72,0)},for(x3,{(27,0)},p((x3,x2),(x1))))),conc(for(x4,{(68,128)},for(x5,{(69,153),(-1,32)},p((x5,x4),(1)))),fun(x6,{(-12,1,1),(15,13,-13),(6,14,19)},for(x7,{(103,129),(0,15)},for(x8,{(x7,133)},p((x8,x7),(1)))))));goodness : 1.74161 distance to original : 5262 time need : 47451 greatness : 53 idv : 103890
conc(conc(for(x1,{(72,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),fun(x5,{(-12,1,1),(15,13,-13),(6,14,19)},for(x6,{(103,129),(0,15)},for(x7,{(x6,133)},p((x7,x6),(1))))))),p((11,32),(1)));goodness : 1.74168 distance to original : 5262 time need : 47449 greatness : 51 idv : 110777
conc(conc(for(x1,{(72,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),fun(x5,{(-12,1,1),(28,13,-13),(6,14,19)},for(x6,{(103,113),(0,15)},for(x7,{(x6,133)},p((x7,x6),(1))))))),p((11,32),(1)));goodness : 1.74416 distance to original : 5262 time need : 46633 greatness : 51 idv : 112119
conc(conc(for(x1,{(72,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),fun(x5,{(-12,1,1),(28,13,-13),(6,14,19),(8,3,1)},for(x6,{(103,105),(0,15)},for(x7,{(x6,133)},p((x7,x6),(1))))))),p((11,32),(1)));goodness : 1.74647 distance to original : 5262 time need : 45844 greatness : 54 idv : 115791
conc(conc(for(x1,{(72,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),for(x5,{(103,105),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)));goodness : 1.7469 distance to original : 5262 time need : 45831 greatness : 41 idv : 117841
conc(conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),for(x5,{(103,105),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)));goodness : 1.74725 distance to original : 5262 time need : 45718 greatness : 41 idv : 127113
conc(conc(for(x1,{(69,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,153),(-1,32)},p((x4,x3),(1)))),for(x5,{(103,105),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)));goodness : 1.74794 distance to original : 5262 time need : 45492 greatness : 41 idv : 136151
conc(conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,151),(-1,32)},p((x4,x3),(1)))),for(x5,{(103,105),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)));goodness : 1.74935 distance to original : 5260 time need : 45230 greatness : 41 idv : 137942
conc(conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,151),(-1,32)},p((x4,x3),(1)))),for(x5,{(104,105),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)));goodness : 1.74974 distance to original : 5260 time need : 45105 greatness : 41 idv : 142485
conc(conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,151),(-1,32)},p((x4,x3),(1)))),for(x5,{(104,104),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)));goodness : 1.75009 distance to original : 5260 time need : 44988 greatness : 41 idv : 143361


conc(conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,151),(-1,32)},p((x4,x3),(1)))),for(x5,{(104,104),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,32),(1)));goodness : 1.75009 distance to original : 5260 time need : 44988 greatness : 41 idv : 1
conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,151),(-1,32)},p((x4,x3),(1)))),for(x5,{(104,104),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1))))));goodness : 1.75026 distance to original : 5260 time need : 44983 greatness : 36 idv : 598
conc(conc(for(x1,{(71,0)},for(x2,{(27,0)},p((x2,x1),(1)))),conc(for(x3,{(68,128)},for(x4,{(69,151),(-1,32)},p((x4,x3),(1)))),for(x5,{(104,104),(0,15)},for(x6,{(x5,133)},p((x6,x5),(1)))))),p((11,38),(0)));goodness : 1.7504 distance to original : 5259 time need : 44988 greatness : 41 idv : 957
for(x1,{(104,104)},conc(for(x2,{(71,0)},for(x3,{(27,0),(86,93)},p((x3,x2),(1)))),conc(for(x4,{(68,128)},for(x5,{(69,151),(-1,32)},p((x5,x4),(1)))),for(x6,{(x1,104),(0,15)},for(x7,{(x6,133)},p((x7,x6),(1)))))));goodness : 1.7547 distance to original : 5222 time need : 47288 greatness : 41 idv : 2286
fun(x1,{(1,1,1)},for(x2,{(104,104)},conc(for(x3,{(71,0)},for(x4,{(27,0),(86,93)},p((x4,x3),(x1)))),conc(for(x5,{(68,128)},for(x6,{(69,151),(-1,30)},p((x6,x5),(1)))),for(x7,{(x2,104),(0,15)},for(x8,{(x7,133)},p((x8,x7),(1))))))));goodness : 1.76288 distance to original : 5200 time need : 46804 greatness : 45 idv : 10710



