% init_area = 10111;
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 35, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 1011;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 35, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 73];
objective = 1008;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 36, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 1007;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 37, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 1003;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 38, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 999;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 38, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
objective = 994;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 40, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 991;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 987;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 42, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 983;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 42, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 73];
objective = 980;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 42, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
objective = 978;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 42, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 57, 69, 41, 72];
objective = 973;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 43, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 970;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 43, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 73];
objective = 967;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 44, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 966;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 44, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
objective = 961;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 957;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 73];
objective = 954;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 951;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 73];
objective = 948;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 74];
objective = 945;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 942;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 36, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 939;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 36, 57, 43, 53, 1, 63, 56, 69, 41, 72];
objective = 934;
% time elapsed: 0.04 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
objective = 933;
% time elapsed: 0.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 44, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 932;
% time elapsed: 0.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 44, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
objective = 927;
% time elapsed: 0.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 44, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 57, 69, 41, 72];
objective = 922;
% time elapsed: 0.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 921;
% time elapsed: 0.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 920;
% time elapsed: 0.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 917;
% time elapsed: 0.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
objective = 912;
% time elapsed: 0.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 911;
% time elapsed: 0.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 38, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 908;
% time elapsed: 0.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
objective = 907;
% time elapsed: 0.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
objective = 902;
% time elapsed: 0.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 901;
% time elapsed: 0.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 57, 69, 41, 72];
objective = 900;
% time elapsed: 0.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 57, 69, 41, 73];
objective = 897;
% time elapsed: 0.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 896;
% time elapsed: 0.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 893;
% time elapsed: 0.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 49, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 892;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 45, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 891;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 45, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 888;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 887;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 884;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
objective = 881;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 880;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 879;
% time elapsed: 0.08 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 76];
objective = 876;
% time elapsed: 0.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 70, 41, 76];
objective = 875;
% time elapsed: 0.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 874;
% time elapsed: 0.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 873;
% time elapsed: 0.10 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
objective = 872;
% time elapsed: 0.10 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 70, 41, 74];
objective = 871;
% time elapsed: 0.12 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 71, 41, 74];
objective = 870;
% time elapsed: 0.12 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 869;
% time elapsed: 0.13 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 868;
% time elapsed: 0.13 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 865;
% time elapsed: 0.13 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 864;
% time elapsed: 0.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 863;
% time elapsed: 0.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 860;
% time elapsed: 0.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 31, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 859;
% time elapsed: 0.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 31, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 856;
% time elapsed: 0.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 855;
% time elapsed: 0.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 854;
% time elapsed: 0.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 853;
% time elapsed: 0.15 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 49, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 851;
% time elapsed: 0.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 49, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 848;
% time elapsed: 0.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 847;
% time elapsed: 0.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 844;
% time elapsed: 0.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
objective = 843;
% time elapsed: 0.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
objective = 842;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
objective = 840;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 32, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 839;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 32, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
objective = 838;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 32, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 837;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 33, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 836;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 33, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 835;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 33, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 832;
% time elapsed: 0.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 33, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
objective = 829;
% time elapsed: 0.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 828;
% time elapsed: 0.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 827;
% time elapsed: 0.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
objective = 824;
% time elapsed: 0.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 75];
objective = 821;
% time elapsed: 0.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 76];
objective = 820;
% time elapsed: 0.21 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 71, 41, 77];
objective = 819;
% time elapsed: 0.21 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 72, 41, 77];
objective = 818;
% time elapsed: 0.21 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 33, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 817;
% time elapsed: 0.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 816;
% time elapsed: 0.23 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 813;
% time elapsed: 0.23 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 49, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 812;
% time elapsed: 0.23 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 49, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 811;
% time elapsed: 0.23 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 810;
% time elapsed: 0.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 808;
% time elapsed: 0.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 807;
% time elapsed: 0.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
objective = 806;
% time elapsed: 0.25 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 805;
% time elapsed: 0.27 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
objective = 802;
% time elapsed: 0.27 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 75];
objective = 801;
% time elapsed: 0.28 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 32, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 800;
% time elapsed: 0.30 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 32, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 799;
% time elapsed: 0.30 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 32, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 798;
% time elapsed: 0.30 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 19, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 33, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 797;
% time elapsed: 0.31 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 39, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 796;
% time elapsed: 0.31 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 69, 41, 72];
objective = 795;
% time elapsed: 0.31 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 790;
% time elapsed: 0.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 787;
% time elapsed: 0.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
objective = 784;
% time elapsed: 0.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
objective = 783;
% time elapsed: 0.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
objective = 782;
% time elapsed: 0.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
objective = 779;
% time elapsed: 0.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
objective = 776;
% time elapsed: 0.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 70, 41, 74];
objective = 775;
% time elapsed: 0.36 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 70, 41, 75];
objective = 772;
% time elapsed: 0.36 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 76];
objective = 771;
% time elapsed: 0.38 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 76];
objective = 770;
% time elapsed: 0.38 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 70, 41, 76];
objective = 769;
% time elapsed: 0.38 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 77];
objective = 768;
% time elapsed: 0.38 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 64, 58, 74, 41, 77];
objective = 767;
% time elapsed: 0.38 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 77];
objective = 766;
% time elapsed: 0.40 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 76];
objective = 765;
% time elapsed: 0.42 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 77];
objective = 762;
% time elapsed: 0.43 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 77];
objective = 761;
% time elapsed: 0.43 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 72, 41, 78];
objective = 760;
% time elapsed: 0.43 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 78];
objective = 759;
% time elapsed: 0.43 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 78];
objective = 758;
% time elapsed: 0.45 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 78];
objective = 757;
% time elapsed: 0.45 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 68, 59, 74, 41, 77];
objective = 756;
% time elapsed: 0.46 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 79];
objective = 755;
% time elapsed: 0.46 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 80];
objective = 754;
% time elapsed: 0.46 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 81];
objective = 751;
% time elapsed: 0.46 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 82];
objective = 748;
% time elapsed: 0.47 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 74, 41, 82];
objective = 747;
% time elapsed: 0.49 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 82];
objective = 746;
% time elapsed: 0.49 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 83];
objective = 743;
% time elapsed: 0.49 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 84];
objective = 742;
% time elapsed: 0.51 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 85];
objective = 739;
% time elapsed: 0.52 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 74, 41, 85];
objective = 738;
% time elapsed: 0.52 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 737;
% time elapsed: 0.52 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 736;
% time elapsed: 0.53 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 735;
% time elapsed: 0.54 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 83];
objective = 734;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 733;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
objective = 732;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 731;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 85];
objective = 730;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 729;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 728;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 727;
% time elapsed: 0.55 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
objective = 726;
% time elapsed: 0.60 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 71, 59, 77, 41, 83];
objective = 725;
% time elapsed: 0.62 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
objective = 724;
% time elapsed: 0.63 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 723;
% time elapsed: 0.63 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
objective = 722;
% time elapsed: 0.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 721;
% time elapsed: 0.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 720;
% time elapsed: 0.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 25, 32, 29, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 719;
% time elapsed: 0.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 25, 32, 29, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 718;
% time elapsed: 0.67 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 25, 32, 29, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 58, 75, 41, 85];
objective = 717;
% time elapsed: 0.67 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 25, 32, 29, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 716;
% time elapsed: 0.70 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 25, 32, 29, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
objective = 715;
% time elapsed: 0.70 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 25, 32, 29, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 714;
% time elapsed: 0.73 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 30, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 713;
% time elapsed: 0.73 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 30, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
objective = 712;
% time elapsed: 0.73 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 30, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 71, 59, 77, 41, 83];
objective = 711;
% time elapsed: 0.73 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 30, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 72, 59, 78, 41, 83];
objective = 710;
% time elapsed: 0.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 30, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 83];
objective = 709;
% time elapsed: 0.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 708;
% time elapsed: 0.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 707;
% time elapsed: 0.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 706;
% time elapsed: 0.77 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 705;
% time elapsed: 0.77 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 17, 10, 31, 45, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
objective = 704;
% time elapsed: 0.77 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 17, 10, 31, 45, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 703;
% time elapsed: 0.77 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 702;
% time elapsed: 0.78 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
objective = 701;
% time elapsed: 0.78 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 700;
% time elapsed: 0.78 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
objective = 699;
% time elapsed: 0.78 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 71, 59, 77, 41, 83];
objective = 698;
% time elapsed: 0.79 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
objective = 697;
% time elapsed: 0.79 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 696;
% time elapsed: 0.82 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 695;
% time elapsed: 0.82 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 694;
% time elapsed: 0.82 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 693;
% time elapsed: 0.84 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 692;
% time elapsed: 0.84 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 85];
objective = 691;
% time elapsed: 0.84 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 690;
% time elapsed: 0.84 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 72, 58, 78, 41, 84];
objective = 689;
% time elapsed: 0.86 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 58, 79, 41, 84];
objective = 688;
% time elapsed: 0.88 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 687;
% time elapsed: 0.88 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 686;
% time elapsed: 0.88 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 685;
% time elapsed: 0.90 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 684;
% time elapsed: 0.90 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
objective = 683;
% time elapsed: 0.93 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 682;
% time elapsed: 0.93 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
objective = 681;
% time elapsed: 0.93 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 680;
% time elapsed: 0.95 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 679;
% time elapsed: 0.95 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
objective = 678;
% time elapsed: 0.95 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
objective = 677;
% time elapsed: 0.97 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 36, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 676;
% time elapsed: 0.98 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 675;
% time elapsed: 0.99 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 85];
objective = 674;
% time elapsed: 1.00 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 673;
% time elapsed: 1.02 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 672;
% time elapsed: 1.02 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 671;
% time elapsed: 1.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
objective = 670;
% time elapsed: 1.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 37, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 667;
% time elapsed: 1.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 38, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 666;
% time elapsed: 1.12 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 38, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 42, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 665;
% time elapsed: 1.12 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 38, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 42, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 664;
% time elapsed: 1.20 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 38, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 43, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 663;
% time elapsed: 1.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 39, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 662;
% time elapsed: 1.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 39, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 661;
% time elapsed: 1.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 39, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
objective = 660;
% time elapsed: 1.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 39, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
objective = 659;
% time elapsed: 1.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 39, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
objective = 658;
% time elapsed: 1.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 39, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 72, 59, 78, 41, 82];
objective = 657;
% time elapsed: 1.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 39, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 73, 59, 79, 41, 82];
objective = 656;
% time elapsed: 1.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 42, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 655;
% time elapsed: 1.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 654;
% time elapsed: 1.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 653;
% time elapsed: 1.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 41, 32, 43, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 652;
% time elapsed: 1.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 651;
% time elapsed: 1.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 650;
% time elapsed: 1.28 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 649;
% time elapsed: 1.29 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
objective = 648;
% time elapsed: 1.29 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 84];
objective = 647;
% time elapsed: 1.29 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 70, 59, 76, 41, 82];
objective = 646;
% time elapsed: 1.29 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 71, 59, 77, 41, 82];
objective = 645;
% time elapsed: 1.31 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
objective = 644;
% time elapsed: 1.31 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
objective = 643;
% time elapsed: 1.33 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 83];
objective = 640;
% time elapsed: 1.33 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 64, 59, 75, 41, 85];
objective = 639;
% time elapsed: 1.33 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
objective = 638;
% time elapsed: 1.34 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
objective = 637;
% time elapsed: 1.36 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
objective = 636;
% time elapsed: 1.37 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 65, 59, 75, 41, 85];
objective = 635;
% time elapsed: 1.37 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 60, 50, 53, 1, 65, 59, 75, 41, 84];
objective = 634;
% time elapsed: 1.39 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
objective = 633;
% time elapsed: 1.39 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 71, 59, 77, 41, 83];
objective = 632;
% time elapsed: 1.39 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 71, 59, 77, 41, 84];
objective = 629;
% time elapsed: 1.39 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 71, 59, 77, 41, 85];
objective = 626;
% time elapsed: 1.39 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 61, 50, 53, 1, 66, 59, 75, 41, 85];
objective = 625;
% time elapsed: 1.39 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 59, 50, 53, 1, 75, 59, 81, 41, 85];
objective = 624;
% time elapsed: 1.39 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 59, 50, 53, 1, 76, 59, 82, 41, 85];
objective = 623;
% time elapsed: 1.41 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 58, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 622;
% time elapsed: 1.44 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 58, 50, 59, 1, 76, 59, 82, 41, 85];
objective = 621;
% time elapsed: 1.47 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 67, 59, 75, 41, 85];
objective = 620;
% time elapsed: 1.47 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 68, 59, 75, 41, 85];
objective = 619;
% time elapsed: 1.48 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
objective = 618;
% time elapsed: 1.48 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
objective = 617;
% time elapsed: 1.48 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 59, 50, 60, 1, 76, 59, 82, 41, 85];
objective = 616;
% time elapsed: 1.50 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
objective = 615;
% time elapsed: 1.50 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
objective = 614;
% time elapsed: 1.50 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
objective = 613;
% time elapsed: 1.50 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 69, 59, 75, 41, 85];
objective = 612;
% time elapsed: 1.53 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 53, 1, 69, 59, 75, 41, 85];
objective = 611;
% time elapsed: 1.54 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 41, 32, 44, 50, 44, 48, 52, 53, 45, 61, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 610;
% time elapsed: 1.57 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 76, 59, 82, 41, 85];
objective = 609;
% time elapsed: 1.57 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 76, 59, 82, 41, 85];
objective = 608;
% time elapsed: 1.59 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 63, 50, 53, 1, 76, 59, 82, 41, 85];
objective = 607;
% time elapsed: 1.62 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 63, 49, 53, 1, 76, 59, 82, 41, 85];
objective = 606;
% time elapsed: 1.64 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 76, 59, 82, 41, 85];
objective = 605;
% time elapsed: 1.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 604;
% time elapsed: 1.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 59, 1, 76, 59, 82, 41, 85];
objective = 603;
% time elapsed: 1.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 64, 49, 61, 1, 76, 59, 82, 41, 85];
objective = 602;
% time elapsed: 1.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 601;
% time elapsed: 1.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 600;
% time elapsed: 1.67 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 59, 1, 76, 59, 82, 41, 85];
objective = 599;
% time elapsed: 1.68 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 43, 51, 45, 48, 53, 54, 45, 64, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 598;
% time elapsed: 1.68 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 43, 50, 45, 48, 53, 54, 45, 65, 50, 60, 1, 76, 59, 82, 41, 85];
objective = 597;
% time elapsed: 1.70 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 596;
% time elapsed: 1.72 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 74, 59, 80, 41, 85];
objective = 595;
% time elapsed: 1.72 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 60, 1, 76, 59, 82, 41, 85];
objective = 594;
% time elapsed: 1.74 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 593;
% time elapsed: 1.74 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 592;
% time elapsed: 1.76 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 74, 59, 80, 41, 85];
objective = 591;
% time elapsed: 1.79 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 75, 59, 81, 41, 85];
objective = 590;
% time elapsed: 1.83 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 589;
% time elapsed: 1.83 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 588;
% time elapsed: 1.83 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 587;
% time elapsed: 1.86 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 61, 1, 74, 59, 80, 41, 85];
objective = 586;
% time elapsed: 1.88 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 60, 1, 76, 59, 82, 41, 85];
objective = 585;
% time elapsed: 1.88 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 584;
% time elapsed: 1.93 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 583;
% time elapsed: 1.96 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 73, 59, 79, 41, 85];
objective = 582;
% time elapsed: 1.98 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 74, 59, 80, 41, 85];
objective = 581;
% time elapsed: 2.00 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 75, 59, 81, 41, 85];
objective = 580;
% time elapsed: 2.03 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 579;
% time elapsed: 2.03 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 75, 59, 81, 41, 85];
objective = 578;
% time elapsed: 2.05 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 41, 85];
objective = 577;
% time elapsed: 2.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 58, 1, 76, 59, 82, 41, 85];
objective = 576;
% time elapsed: 2.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 59, 1, 76, 59, 82, 41, 85];
objective = 575;
% time elapsed: 2.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 41, 85];
objective = 574;
% time elapsed: 2.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 74, 59, 80, 50, 85];
objective = 573;
% time elapsed: 2.07 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 572;
% time elapsed: 2.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 571;
% time elapsed: 2.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 68, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 570;
% time elapsed: 2.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 69, 50, 60, 1, 74, 59, 80, 50, 85];
objective = 568;
% time elapsed: 2.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 69, 50, 59, 1, 76, 59, 82, 50, 85];
objective = 567;
% time elapsed: 2.10 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 566;
% time elapsed: 2.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 565;
% time elapsed: 2.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 564;
% time elapsed: 2.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 563;
% time elapsed: 2.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 562;
% time elapsed: 2.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 561;
% time elapsed: 2.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 560;
% time elapsed: 2.16 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 74, 59, 80, 50, 85];
objective = 559;
% time elapsed: 2.18 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 558;
% time elapsed: 2.18 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 557;
% time elapsed: 2.18 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
objective = 556;
% time elapsed: 2.18 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 555;
% time elapsed: 2.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
objective = 554;
% time elapsed: 2.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 553;
% time elapsed: 2.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 552;
% time elapsed: 2.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 551;
% time elapsed: 2.21 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
objective = 550;
% time elapsed: 2.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 549;
% time elapsed: 2.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 548;
% time elapsed: 2.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 544;
% time elapsed: 2.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 543;
% time elapsed: 2.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 542;
% time elapsed: 2.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 41, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 541;
% time elapsed: 2.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 41, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
objective = 540;
% time elapsed: 2.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 539;
% time elapsed: 2.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 538;
% time elapsed: 2.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
objective = 537;
% time elapsed: 2.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 74, 59, 80, 50, 85];
objective = 536;
% time elapsed: 2.27 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 535;
% time elapsed: 2.33 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 534;
% time elapsed: 2.33 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 73, 59, 79, 50, 85];
objective = 533;
% time elapsed: 2.38 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 74, 59, 80, 50, 85];
objective = 532;
% time elapsed: 2.40 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 531;
% time elapsed: 2.43 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 65, 49, 61, 1, 76, 59, 82, 50, 85];
objective = 530;
% time elapsed: 2.44 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 73, 59, 79, 50, 85];
objective = 529;
% time elapsed: 2.44 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 74, 59, 80, 50, 85];
objective = 528;
% time elapsed: 2.46 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 60, 1, 76, 59, 82, 50, 85];
objective = 527;
% time elapsed: 2.46 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 61, 1, 74, 59, 80, 50, 85];
objective = 526;
% time elapsed: 2.49 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 525;
% time elapsed: 2.49 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 524;
% time elapsed: 2.50 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 523;
% time elapsed: 2.50 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 522;
% time elapsed: 2.50 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 521;
% time elapsed: 2.56 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 67, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 520;
% time elapsed: 2.56 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 73, 59, 79, 50, 85];
objective = 519;
% time elapsed: 2.58 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 64, 49, 61, 1, 76, 59, 82, 50, 85];
objective = 518;
% time elapsed: 2.60 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 71, 59, 77, 50, 85];
objective = 515;
% time elapsed: 2.60 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 75, 59, 81, 50, 84];
objective = 514;
% time elapsed: 2.60 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 75, 59, 81, 50, 85];
objective = 511;
% time elapsed: 2.62 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 76, 59, 82, 50, 85];
objective = 510;
% time elapsed: 2.62 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 67, 49, 61, 1, 73, 59, 79, 50, 85];
objective = 509;
% time elapsed: 2.63 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 508;
% time elapsed: 2.64 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 507;
% time elapsed: 2.66 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 506;
% time elapsed: 2.71 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 505;
% time elapsed: 2.71 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 504;
% time elapsed: 2.71 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
objective = 503;
% time elapsed: 2.73 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 60, 1, 75, 59, 81, 50, 85];
objective = 502;
% time elapsed: 2.73 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 501;
% time elapsed: 2.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 500;
% time elapsed: 2.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 499;
% time elapsed: 2.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 498;
% time elapsed: 2.76 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 497;
% time elapsed: 2.77 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 496;
% time elapsed: 2.79 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 495;
% time elapsed: 2.79 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 50, 45, 48, 53, 54, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 494;
% time elapsed: 2.81 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 26, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 493;
% time elapsed: 2.81 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 26, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 492;
% time elapsed: 2.92 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 26, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 491;
% time elapsed: 2.96 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 26, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 490;
% time elapsed: 2.98 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 489;
% time elapsed: 3.00 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 488;
% time elapsed: 3.03 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 33, 43, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 487;
% time elapsed: 3.11 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 33, 43, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 486;
% time elapsed: 3.13 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 33, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 485;
% time elapsed: 3.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 48, 42, 33, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 484;
% time elapsed: 3.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 33, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 483;
% time elapsed: 3.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 33, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 482;
% time elapsed: 3.22 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 33, 44, 50, 45, 48, 53, 54, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 481;
% time elapsed: 3.24 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 33, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 480;
% time elapsed: 3.26 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 25, 32, 40, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 41, 48, 42, 33, 44, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
objective = 479;
% time elapsed: 3.27 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 28, 27, 32, 40, 41, 3, 19, 39, 17, 10, 32, 46, 28, 35, 40, 48, 42, 34, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 478;
% time elapsed: 3.35 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 28, 27, 32, 40, 41, 3, 19, 39, 17, 10, 32, 46, 28, 35, 41, 48, 42, 34, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 477;
% time elapsed: 3.37 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 34, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 476;
% time elapsed: 3.38 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 34, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 475;
% time elapsed: 3.41 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 34, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 471;
% time elapsed: 3.44 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 29, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 40, 48, 42, 33, 44, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 470;
% time elapsed: 3.56 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 29, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 40, 48, 42, 33, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 469;
% time elapsed: 3.56 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 28, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 70, 50, 60, 1, 75, 59, 81, 50, 85];
objective = 468;
% time elapsed: 3.58 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 24, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 34, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 467;
% time elapsed: 3.59 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 29, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 40, 48, 42, 34, 44, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 466;
% time elapsed: 3.60 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 29, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 40, 48, 42, 34, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 465;
% time elapsed: 3.60 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 29, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 41, 48, 42, 34, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 464;
% time elapsed: 3.62 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 29, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 41, 48, 42, 34, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 463;
% time elapsed: 3.62 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 29, 28, 32, 40, 41, 3, 19, 39, 17, 10, 33, 46, 28, 35, 40, 48, 42, 34, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 462;
% time elapsed: 3.62 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 26, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 34, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 461;
% time elapsed: 3.67 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 35, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 460;
% time elapsed: 3.68 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 41, 48, 42, 35, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 459;
% time elapsed: 3.71 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 25, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 41, 48, 42, 35, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 458;
% time elapsed: 3.72 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 26, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 35, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 457;
% time elapsed: 3.75 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 26, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 35, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 456;
% time elapsed: 3.76 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 26, 9, 9, 7, 16, 17, 17, 17, 21, 25, 5, 32, 17, 28, 39, 27, 30, 29, 32, 40, 41, 3, 19, 39, 17, 10, 34, 46, 28, 35, 40, 48, 42, 35, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 452;
% time elapsed: 3.76 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 33, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 451;
% time elapsed: 3.79 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 33, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 450;
% time elapsed: 3.81 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 33, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 449;
% time elapsed: 3.83 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 33, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 448;
% time elapsed: 3.87 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 33, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 447;
% time elapsed: 3.88 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 33, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 446;
% time elapsed: 3.88 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 33, 43, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
objective = 445;
% time elapsed: 3.89 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 33, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 444;
% time elapsed: 3.90 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 33, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 443;
% time elapsed: 3.90 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 33, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 442;
% time elapsed: 3.92 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 33, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 441;
% time elapsed: 3.94 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 74, 59, 80, 50, 85];
objective = 440;
% time elapsed: 4.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 439;
% time elapsed: 4.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 438;
% time elapsed: 4.06 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
objective = 437;
% time elapsed: 4.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
objective = 436;
% time elapsed: 4.09 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 435;
% time elapsed: 4.13 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
objective = 434;
% time elapsed: 4.13 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 59, 1, 76, 59, 82, 50, 85];
objective = 433;
% time elapsed: 4.14 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
objective = 432;
% time elapsed: 4.17 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 431;
% time elapsed: 4.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
objective = 430;
% time elapsed: 4.19 s
----------
s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 16, 17, 24, 17, 21, 25, 5, 32, 17, 28, 39, 27, 27, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
objective = 429;
% time elapsed: 4.19 s
----------
%%%mzn-stat: initTime=0.005506
%%%mzn-stat: solveTime=120
%%%mzn-stat: solutions=426
%%%mzn-stat: variables=591
%%%mzn-stat: propagators=703
%%%mzn-stat: propagations=584287787
%%%mzn-stat: nodes=4056457
%%%mzn-stat: failures=1946301
%%%mzn-stat: restarts=30999
%%%mzn-stat: peakDepth=62
%%%mzn-stat-end
%% copies: 2141584