#BEGIN: [Mon Sep  4 23:29:03 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance003_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance003_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance003_graph002.col /benchmark/random_instance/random_instance003_graph002_01.dat
c /benchmark/random_instance/random_instance003_graph002.col
c /benchmark/random_instance/random_instance003_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 566363328d6ba06d031b63e0688923ef54a8cbf391f8410170b4c0520081816a
s 36 34 17 22 24 4 7 32 25 9 6 35 29 18
t 27 10 7 24 1 9 35 39 5 18 25 34 6 11
a YES
a 4 6 7 9 17 18 22 24 25 29 32 34 35 36
a 6 7 9 11 17 18 22 24 25 29 32 34 35 36
a 6 9 11 12 17 18 22 24 25 29 32 34 35 36
a 6 9 11 12 13 18 22 24 25 29 32 34 35 36
a 6 7 9 11 13 18 22 24 25 29 32 34 35 36
a 4 6 7 9 13 18 22 24 25 29 32 34 35 36
a 4 6 7 9 18 22 24 25 28 29 32 34 35 36
a 4 6 7 9 22 23 24 25 28 29 32 34 35 36
a 4 5 6 7 9 23 24 25 28 29 32 34 35 36
a 4 5 6 7 9 10 23 24 25 28 29 32 34 35
a 2 4 5 6 7 9 10 23 24 25 28 32 34 35
a 1 2 5 6 7 9 10 23 24 25 28 32 34 35
a 1 2 5 6 7 9 10 11 23 24 25 32 34 35
a 1 2 5 6 7 9 10 23 24 25 31 32 34 35
a 1 2 5 6 7 9 10 23 24 25 28 31 32 35
a 2 4 5 6 7 9 10 23 24 25 28 31 32 35
a 4 5 6 7 9 10 23 24 25 28 31 32 34 35
a 1 5 6 7 9 10 23 24 25 28 31 32 34 35
a 1 2 5 6 7 9 10 23 24 25 28 31 32 34
a 1 2 5 6 7 9 10 18 24 25 28 31 32 34
a 1 2 5 6 7 9 10 18 24 25 28 31 34 39
a 1 2 5 6 7 9 10 18 24 25 31 32 34 39
a 1 2 5 6 7 9 10 18 24 25 28 31 32 39
a 1 2 5 6 7 9 10 18 24 25 28 31 35 39
a 1 2 5 6 7 9 10 18 24 25 28 34 35 39
a 1 2 6 7 9 10 18 24 25 28 31 34 35 39
a 2 5 6 7 9 10 18 24 25 28 31 34 35 39
a 2 5 6 7 9 10 18 24 25 28 31 32 34 35
a 1 2 5 6 7 9 10 18 24 25 31 32 34 35
a 1 2 5 6 7 9 13 18 24 25 31 32 34 35
a 1 2 5 6 7 9 18 24 25 30 31 32 34 35
a 1 2 5 6 7 9 18 24 25 26 30 31 34 35
a 2 5 6 7 9 13 18 24 25 26 30 31 34 35
a 2 5 6 7 9 13 18 19 24 25 30 31 34 35
a 2 5 6 7 9 13 18 19 24 25 30 31 32 35
a 4 5 6 7 9 13 18 19 24 25 30 31 32 35
a 4 5 7 9 13 18 19 24 25 30 31 32 34 35
a 4 5 6 7 9 13 18 19 24 25 30 32 34 35
a 4 5 6 7 9 13 18 19 24 30 31 32 34 35
a 5 6 7 9 13 18 19 24 25 30 31 32 34 35
a 2 5 7 9 13 18 19 24 25 30 31 32 34 35
a 2 5 6 7 9 13 18 19 24 30 31 32 34 35
a 2 5 6 9 13 18 19 24 25 30 31 32 34 35
a 2 4 5 6 13 18 19 24 25 30 31 32 34 35
a 2 4 5 6 18 19 24 25 30 31 32 34 35 39
a 2 5 6 7 18 19 24 25 30 31 32 34 35 39
a 2 5 6 7 9 18 19 24 25 30 31 32 34 39
a 2 5 6 7 9 18 19 24 25 30 31 34 35 39
a 2 5 6 7 9 10 18 19 24 25 31 34 35 39
a 2 4 5 6 7 9 10 18 19 24 25 31 34 39
a 2 5 6 7 9 10 18 19 24 25 31 32 34 39
a 2 5 6 7 9 10 18 24 25 28 31 32 34 39
a 2 5 6 7 9 10 18 24 25 28 32 34 35 39
a 2 4 5 6 7 10 18 24 25 28 32 34 35 39
a 2 4 5 6 7 10 18 24 25 28 31 34 35 39
a 2 4 5 6 7 10 18 19 24 25 31 34 35 39
a 2 5 6 7 10 18 19 24 25 31 32 34 35 39
a 2 4 5 7 10 18 19 24 25 31 32 34 35 39
a 2 4 5 7 18 19 24 25 30 31 32 34 35 39
a 2 4 7 17 18 19 24 25 30 31 32 34 35 39
a 2 4 6 7 17 18 19 24 25 30 31 32 35 39
a 2 4 7 9 17 18 19 24 25 30 31 32 35 39
a 2 4 5 7 9 18 19 24 25 30 31 32 35 39
a 2 4 5 7 9 10 18 19 24 25 31 32 35 39
a 2 4 5 7 9 10 18 24 25 28 31 32 35 39
a 2 4 5 6 7 9 10 18 24 25 28 31 32 35
a 2 4 6 7 9 10 18 24 25 28 31 32 34 35
a 4 5 6 7 9 10 18 24 25 28 31 32 34 35
a 4 5 6 7 9 10 18 24 25 28 31 32 35 39
a 2 4 6 7 9 10 18 24 25 28 31 32 35 39
a 2 5 6 7 9 10 18 24 25 28 31 32 35 39
a 2 5 6 9 10 18 24 25 28 31 32 34 35 39
a 2 4 5 6 9 10 18 24 25 28 31 32 35 39
a 4 5 6 9 10 18 24 25 28 31 32 34 35 39
a 2 4 5 6 9 10 18 24 25 28 31 32 34 35
a 1 2 5 6 9 10 18 24 25 28 31 32 34 35
a 1 2 5 6 9 10 18 24 25 26 28 31 34 35
a 1 2 5 6 9 10 18 24 25 28 31 34 35 39
a 1 2 5 6 7 9 10 18 24 25 28 31 34 35
a 1 2 5 6 7 9 10 23 24 25 28 31 34 35
a 1 2 5 6 7 9 10 24 25 28 31 32 34 35
a 1 2 6 7 9 10 23 24 25 28 31 32 34 35
a 1 2 6 7 9 10 23 24 25 31 32 34 35 39
a 1 2 6 7 9 10 23 24 25 28 31 32 35 39
a 1 2 6 7 9 10 18 24 25 28 31 32 35 39
a 1 2 5 6 7 10 18 24 25 28 31 32 35 39
a 1 5 6 7 10 18 24 25 28 31 32 34 35 39
a 1 2 5 6 7 10 18 24 25 28 31 34 35 39
a 1 2 5 6 7 10 18 24 25 28 31 32 34 35
a 1 5 6 7 9 10 18 24 25 28 31 32 34 35
a 1 5 7 9 10 18 24 25 28 31 32 34 35 39
a 1 5 6 7 9 10 18 24 25 28 31 32 35 39
a 1 2 5 7 9 10 18 24 25 28 31 32 35 39
a 1 2 5 6 7 9 18 24 25 28 31 32 35 39
a 2 4 5 6 7 9 18 24 25 28 31 32 35 39
a 2 4 5 6 7 9 10 18 24 25 28 31 32 39
a 2 4 6 7 9 10 18 24 25 28 31 32 34 39
a 1 2 6 7 9 10 18 24 25 28 31 32 34 39
a 1 2 6 7 9 10 23 24 25 28 31 32 34 39
a 1 2 7 9 10 23 24 25 28 31 32 34 35 39
a 1 2 7 9 10 18 24 25 28 31 32 34 35 39
a 1 2 5 7 9 10 18 24 25 28 31 32 34 39
a 2 4 5 7 9 10 18 24 25 28 31 32 34 39
a 2 4 5 6 7 9 18 24 25 28 31 32 34 39
a 2 4 5 6 7 9 18 19 24 25 31 32 34 39
a 4 5 6 7 9 18 19 24 25 31 32 34 35 39
a 4 5 6 7 9 10 18 19 24 25 31 32 34 39
a 4 5 6 7 9 10 18 19 24 25 31 32 35 39
a 4 5 6 7 9 10 19 24 25 31 32 34 35 39
a 4 5 6 7 9 10 18 19 24 25 31 32 34 35
a 2 4 5 6 7 9 10 18 19 24 25 31 32 34
a 2 4 5 6 7 9 10 18 24 25 28 31 32 34
a 2 4 5 6 7 9 10 23 24 25 28 31 32 34
a 2 5 6 7 9 10 23 24 25 28 31 32 34 35
a 1 2 5 6 7 9 23 24 25 28 31 32 34 35
a 2 5 6 7 9 23 24 25 28 31 32 34 35 39
a 2 5 6 7 9 10 23 24 25 31 32 34 35 39
a 2 5 6 7 9 10 19 24 25 31 32 34 35 39
a 2 5 7 9 10 18 19 24 25 31 32 34 35 39
a 2 5 7 9 18 19 24 25 30 31 32 34 35 39
a 2 7 9 17 18 19 24 25 30 31 32 34 35 39
a 2 4 7 9 17 18 19 24 25 30 31 32 34 35
a 2 4 7 9 13 18 19 24 25 30 31 32 34 35
a 2 4 5 7 9 13 18 19 25 30 31 32 34 35
a 2 4 5 6 7 9 13 18 19 25 30 31 32 35
a 2 4 5 6 9 13 18 19 24 25 30 31 32 35
a 2 4 6 7 9 13 18 19 24 25 30 31 32 35
a 2 4 6 7 9 18 19 24 25 30 31 32 35 39
a 2 4 6 7 9 10 18 19 24 25 31 32 35 39
a 2 4 5 6 7 9 10 18 19 25 31 32 35 39
a 2 4 5 6 7 9 10 18 24 25 31 32 35 39
a 2 4 5 6 7 10 18 24 25 28 31 32 35 39
a 2 4 6 7 10 18 24 25 28 31 32 34 35 39
a 2 4 5 7 10 18 24 25 28 31 32 34 35 39
a 2 4 5 7 9 10 18 24 25 28 31 32 34 35
a 2 4 7 9 10 18 24 25 28 31 32 34 35 39
a 2 4 5 7 9 10 18 24 25 28 31 34 35 39
a 2 4 5 7 9 10 18 19 24 25 31 34 35 39
a 2 4 5 6 7 9 10 18 19 24 25 31 34 35
a 2 4 5 6 7 9 10 18 24 25 28 31 34 35
a 2 4 5 6 9 10 18 24 25 28 31 34 35 39
a 2 4 5 6 7 9 10 18 24 25 28 31 35 39
a 4 5 6 7 9 10 18 24 25 28 31 34 35 39
a 1 5 6 7 9 10 18 24 25 28 31 34 35 39
a 1 2 5 6 7 9 18 24 25 28 31 34 35 39
a 1 2 5 7 9 10 18 24 25 28 31 34 35 39
a 1 2 5 6 7 9 10 18 25 28 31 34 35 39
a 1 2 5 6 7 9 10 18 24 28 31 34 35 39
a 1 2 5 6 7 9 10 18 24 28 31 32 34 39
a 2 4 5 6 7 9 10 18 24 28 31 32 34 39
a 2 4 5 6 7 9 10 18 24 28 32 34 35 39
a 2 4 5 6 7 9 10 18 19 24 32 34 35 39
a 2 4 5 6 7 9 18 19 24 30 32 34 35 39
a 2 4 5 6 9 18 19 24 30 31 32 34 35 39
a 2 4 5 6 9 13 18 19 24 30 31 32 34 35
a 2 4 5 6 7 9 13 18 19 24 30 31 32 35
a 2 4 5 6 7 9 13 18 19 24 25 30 31 32
a 2 4 5 7 9 13 18 19 24 25 30 31 32 34
a 2 4 5 6 7 9 13 18 19 24 25 30 31 34
a 2 4 5 6 7 13 18 19 24 25 30 31 32 34
a 2 4 5 6 7 9 18 19 24 25 30 31 32 34
a 4 5 6 7 9 18 19 24 25 30 31 32 34 39
a 4 6 7 9 18 19 24 25 30 31 32 34 35 39
a 2 4 6 7 9 18 19 24 25 31 32 34 35 39
a 2 6 7 9 18 19 24 25 30 31 32 34 35 39
a 2 6 7 9 10 18 19 24 25 31 32 34 35 39
a 4 6 7 9 10 18 19 24 25 31 32 34 35 39
a 4 5 6 7 9 10 18 19 24 25 32 34 35 39
a 5 6 7 9 10 18 19 24 25 31 32 34 35 39
a 5 6 7 9 10 18 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 18 24 25 31 32 34 35 39
a 4 5 6 7 9 10 24 25 28 31 32 34 35 39
a 4 5 7 9 10 23 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 23 24 25 28 32 34 35 39
a 2 4 5 6 7 9 10 23 24 25 28 32 34 39
a 4 5 6 7 9 10 23 24 25 28 31 32 34 39
a 2 4 5 6 7 10 23 24 25 28 31 32 34 39
a 2 4 5 6 7 9 10 23 24 25 28 31 34 39
a 2 5 6 7 9 10 23 24 25 28 31 32 34 39
a 5 6 7 9 10 23 24 25 28 31 32 34 35 39
a 2 5 6 7 9 10 23 24 25 28 31 34 35 39
a 2 6 7 9 10 23 24 25 28 31 32 34 35 39
a 2 4 7 9 10 23 24 25 28 31 32 34 35 39
a 2 4 5 7 10 23 24 25 28 31 32 34 35 39
a 2 4 5 7 9 10 23 24 25 28 31 32 34 35
a 2 4 5 6 7 9 10 23 25 28 31 32 34 35
a 1 2 5 6 7 9 10 23 25 28 31 32 34 35
a 1 2 5 6 7 9 10 23 25 28 31 32 34 39
a 2 4 5 6 7 9 10 23 25 28 31 32 34 39
a 2 4 5 6 7 9 10 18 25 28 31 32 34 39
a 2 4 5 6 7 9 10 18 25 28 31 32 35 39
a 4 5 6 7 9 10 18 25 28 31 32 34 35 39
a 1 5 6 7 9 10 18 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 18 25 28 31 32 35 39
a 1 2 5 6 7 9 10 18 24 25 28 32 35 39
a 1 2 5 6 9 10 18 24 25 28 31 32 35 39
a 1 2 5 6 7 9 10 18 24 25 28 31 32 35
a 1 2 5 6 7 9 10 18 24 25 31 32 35 39
a 1 5 6 7 9 10 18 24 25 31 32 34 35 39
a 1 5 6 7 9 10 18 24 25 28 32 34 35 39
a 1 5 6 7 9 10 18 24 25 28 29 32 34 35
a 1 5 6 7 9 10 18 24 25 26 28 29 34 35
a 1 5 6 7 9 10 18 25 26 28 29 31 34 35
a 1 5 6 7 9 10 18 25 28 29 31 32 34 35
a 1 5 6 7 10 18 24 25 28 29 31 32 34 35
a 1 5 6 7 9 10 18 24 25 28 29 31 32 34
a 1 5 6 7 9 10 18 24 25 28 31 32 34 39
a 1 2 5 6 7 9 10 24 25 28 31 32 34 39
a 1 2 5 6 7 9 10 18 25 28 31 32 34 39
a 1 2 5 6 7 9 10 18 25 28 32 34 35 39
a 1 2 6 7 9 10 18 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 18 25 31 32 34 35 39
a 2 5 6 7 9 10 18 24 25 31 32 34 35 39
a 2 6 7 9 10 18 24 25 28 31 32 34 35 39
a 2 5 6 7 9 10 18 24 28 31 32 34 35 39
a 1 2 5 7 9 10 18 24 28 31 32 34 35 39
a 1 2 5 7 9 10 18 24 25 28 32 34 35 39
a 1 2 5 6 7 9 10 18 24 25 28 32 34 39
a 1 2 5 6 7 9 10 18 24 25 32 34 35 39
a 1 2 5 6 7 9 10 18 24 31 32 34 35 39
a 1 2 5 6 7 9 10 18 24 28 31 32 34 35
a 1 2 5 6 7 9 18 24 28 31 32 34 35 39
a 1 5 6 7 9 10 18 24 28 31 32 34 35 39
a 1 6 7 9 10 18 24 25 28 31 32 34 35 39
a 1 6 7 9 10 23 24 25 28 31 32 34 35 39
a 4 6 7 9 10 23 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 23 24 25 28 31 34 35 39
a 4 5 6 7 9 10 23 24 25 28 31 32 35 39
a 4 5 6 7 10 23 24 25 28 31 32 34 35 39
a 2 4 6 7 10 23 24 25 28 31 32 34 35 39
a 2 5 6 7 10 23 24 25 28 31 32 34 35 39
a 2 4 5 6 7 10 23 24 25 28 31 34 35 39
a 2 4 5 6 7 9 10 23 25 28 31 34 35 39
a 2 4 5 6 7 9 10 23 24 25 28 31 34 35
a 2 5 6 7 9 10 23 24 25 26 28 31 34 35
a 1 5 6 7 9 10 23 24 25 26 28 31 34 35
a 1 5 6 7 9 10 23 24 25 28 31 34 35 39
a 1 2 5 6 7 9 23 24 25 28 31 34 35 39
a 1 5 6 7 9 23 24 25 28 31 32 34 35 39
a 4 5 6 7 9 23 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 23 24 28 31 32 34 35 39
a 2 4 5 6 7 9 10 23 28 31 32 34 35 39
a 2 4 5 6 7 9 10 18 28 31 32 34 35 39
a 2 4 5 7 9 10 18 25 28 31 32 34 35 39
a 2 4 5 6 7 9 10 18 25 28 31 32 34 35
a 2 4 5 6 7 9 10 18 25 31 32 34 35 39
a 2 4 5 6 7 9 10 23 25 31 32 34 35 39
a 2 4 5 6 7 9 10 23 25 28 32 34 35 39
a 2 4 5 6 7 9 10 23 24 25 28 34 35 39
a 2 5 6 7 9 10 23 24 25 28 32 34 35 39
a 2 5 6 7 9 10 23 24 25 28 31 32 35 39
a 2 5 6 7 9 10 23 25 28 31 32 34 35 39
a 1 2 5 6 9 10 23 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 23 25 28 31 34 35 39
a 1 2 5 6 7 9 10 23 25 28 32 34 35 39
a 1 2 5 6 7 9 10 23 25 28 31 32 35 39
a 1 2 6 7 9 10 23 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 25 28 31 32 34 35 39
a 2 4 5 6 7 9 10 25 28 31 32 34 35 39
a 2 4 5 6 7 9 10 24 25 28 31 34 35 39
a 2 4 5 6 9 10 24 25 28 31 32 34 35 39
a 2 4 6 7 9 10 24 25 28 31 32 34 35 39
a 2 4 6 7 9 10 19 24 25 31 32 34 35 39
a 2 4 6 7 9 10 18 24 25 31 32 34 35 39
a 2 4 6 7 9 18 24 25 30 31 32 34 35 39
a 4 6 7 9 17 18 24 25 30 31 32 34 35 39
a 2 4 6 7 9 17 18 24 25 30 31 32 34 35
a 2 6 7 9 17 18 19 24 25 30 31 32 34 35
a 2 4 6 7 9 17 18 19 24 25 30 31 32 35
a 4 6 7 9 17 18 19 24 25 30 31 32 35 39
a 2 4 6 7 9 17 18 19 25 30 31 32 35 39
a 2 4 6 7 9 17 18 19 24 25 30 31 32 39
a 2 6 7 9 17 18 19 24 25 30 31 32 35 39
a 2 4 6 7 9 17 18 24 25 30 31 32 35 39
a 2 4 6 7 9 17 18 19 24 30 31 32 35 39
a 2 4 6 7 9 17 18 19 24 25 30 32 35 39
a 2 4 6 7 9 17 18 19 24 25 31 32 35 39
a 2 4 6 7 9 17 18 19 24 25 30 31 35 39
a 2 4 5 6 7 9 18 19 24 25 30 31 35 39
a 2 5 6 7 9 18 19 24 25 30 31 32 35 39
a 2 4 5 6 7 9 18 19 24 25 30 31 32 35
a 2 4 5 6 7 9 13 18 19 24 25 30 31 35
a 2 4 5 6 7 9 18 19 24 25 30 31 34 35
a 4 5 6 7 9 18 19 24 25 30 31 34 35 39
a 4 6 7 9 17 18 19 24 25 30 31 34 35 39
a 6 7 9 17 18 19 24 25 30 31 32 34 35 39
a 4 6 7 9 17 18 19 24 25 30 31 32 34 35
a 2 4 6 7 9 17 18 19 24 25 30 31 34 35
a 2 4 6 9 17 18 19 24 25 30 31 32 34 35
a 2 4 6 7 9 17 18 19 24 25 30 31 32 34
a 2 4 6 7 9 17 18 19 24 25 30 32 34 35
a 2 4 6 7 9 17 18 19 24 30 31 32 34 35
a 2 4 6 7 17 18 19 24 25 30 31 32 34 35
a 2 4 6 7 17 18 19 24 25 30 32 34 35 39
a 2 6 7 17 18 19 24 25 30 31 32 34 35 39
a 2 6 7 9 17 18 24 25 30 31 32 34 35 39
a 2 6 7 9 17 18 19 24 25 30 31 32 34 39
a 2 4 6 7 9 17 18 19 24 25 30 31 34 39
a 2 4 6 7 9 17 18 19 24 25 31 34 35 39
a 2 4 5 6 7 9 18 19 24 25 31 34 35 39
a 2 4 5 6 7 9 18 19 24 25 31 32 34 35
a 2 4 5 6 9 10 18 19 24 25 31 32 34 35
a 2 4 5 7 9 10 18 19 24 25 31 32 34 35
a 2 5 6 7 9 10 18 19 24 25 31 32 34 35
a 2 4 5 6 7 9 10 18 19 25 31 32 34 35
a 2 4 5 6 7 9 10 18 19 24 25 31 32 35
a 2 4 5 6 7 9 10 18 24 25 31 32 34 35
a 2 4 5 6 7 9 10 24 25 31 32 34 35 39
a 2 4 5 6 7 9 10 24 25 28 32 34 35 39
a 4 5 6 7 9 10 18 24 25 28 32 34 35 39
a 4 6 7 9 10 18 24 25 28 31 32 34 35 39
a 2 4 6 9 10 18 24 25 28 31 32 34 35 39
a 2 4 6 7 9 10 18 24 25 28 32 34 35 39
a 2 4 6 7 9 10 18 24 28 31 32 34 35 39
a 2 4 6 7 9 10 18 19 24 31 32 34 35 39
a 2 4 6 7 9 10 18 19 24 25 31 32 34 39
a 2 4 6 7 9 10 18 19 24 25 32 34 35 39
a 2 4 6 7 9 18 19 24 25 30 32 34 35 39
a 2 4 6 9 18 19 24 25 30 31 32 34 35 39
a 2 4 9 17 18 19 24 25 30 31 32 34 35 39
a 4 7 9 17 18 19 24 25 30 31 32 34 35 39
a 2 4 7 9 17 18 19 24 25 30 31 32 34 39
a 2 4 7 9 17 18 24 25 30 31 32 34 35 39
a 2 4 7 9 17 18 19 24 25 30 32 34 35 39
a 2 4 7 9 18 19 24 25 30 31 32 34 35 39
a 2 4 7 9 17 18 19 25 30 31 32 34 35 39
a 2 6 7 9 17 18 19 25 30 31 32 34 35 39
a 2 6 7 9 17 18 19 24 25 30 32 34 35 39
a 2 4 6 7 9 17 18 19 24 25 32 34 35 39
a 4 6 7 9 17 18 19 24 25 30 32 34 35 39
a 2 4 6 9 17 18 19 24 25 30 32 34 35 39
a 4 6 9 17 18 19 24 25 30 31 32 34 35 39
a 4 6 7 9 17 18 19 24 30 31 32 34 35 39
a 2 4 6 7 9 17 18 19 30 31 32 34 35 39
a 2 4 6 7 9 17 18 19 25 30 31 32 34 35
a 2 4 6 7 9 17 18 19 25 30 31 32 34 39
a 4 6 7 9 17 18 19 25 30 31 32 34 35 39
a 2 4 6 7 9 17 18 19 25 30 31 34 35 39
a 2 4 5 6 7 9 18 19 25 30 31 34 35 39
a 2 4 5 6 7 9 10 18 19 25 31 34 35 39
a 2 4 5 6 7 9 10 18 25 28 31 34 35 39
a 2 4 6 7 9 10 18 25 28 31 32 34 35 39
a 2 4 6 7 9 18 24 25 28 31 32 34 35 39
a 2 5 6 7 9 18 24 25 28 31 32 34 35 39
a 2 4 5 6 7 9 18 24 25 28 31 32 34 35
a 2 4 5 6 7 9 13 18 24 25 31 32 34 35
a 2 4 5 6 7 9 13 18 25 30 31 32 34 35
a 2 4 5 6 7 9 13 18 19 25 30 32 34 35
a 2 4 5 6 7 9 13 18 19 24 25 30 32 34
a 4 5 6 7 9 13 18 19 24 25 30 31 32 34
a 4 5 6 7 9 13 18 19 24 25 30 31 34 35
a 2 4 5 6 7 13 18 19 24 25 30 31 34 35
a 2 4 5 6 7 18 19 24 25 30 31 34 35 39
a 2 4 5 6 7 18 19 24 25 30 31 32 34 35
a 2 4 6 7 18 19 24 25 30 31 32 34 35 39
a 2 4 6 7 9 18 19 24 25 30 31 32 34 35
a 4 5 6 7 9 18 19 24 25 30 31 32 34 35
a 2 5 6 7 9 18 19 24 25 30 31 32 34 35
a 2 5 6 9 18 19 24 25 30 31 32 34 35 39
a 5 6 7 9 18 19 24 25 30 31 32 34 35 39
a 4 5 6 7 9 18 19 24 25 30 32 34 35 39
a 4 5 6 7 9 18 19 24 25 30 31 32 35 39
a 2 4 5 6 7 9 18 19 24 25 30 31 32 39
a 2 4 5 6 7 9 18 19 24 25 31 32 35 39
a 2 4 5 6 7 9 18 19 24 25 32 34 35 39
a 2 5 6 7 9 18 19 24 25 31 32 34 35 39
a 2 4 5 7 9 18 19 24 25 31 32 34 35 39
a 2 4 7 9 17 18 19 24 25 31 32 34 35 39
a 2 4 7 9 17 18 19 24 25 30 31 34 35 39
a 2 4 7 9 17 18 19 24 30 31 32 34 35 39
a 2 4 7 9 17 19 24 25 30 31 32 34 35 39
a 2 4 7 8 9 17 19 24 25 30 31 32 35 39
a 2 4 7 8 9 17 18 19 24 25 31 32 35 39
a 4 7 8 9 17 18 19 24 25 30 31 32 35 39
a 2 4 7 8 9 18 19 24 25 30 31 32 35 39
a 2 7 8 9 17 18 19 24 25 30 31 32 35 39
a 2 4 7 8 17 18 19 24 25 30 31 32 35 39
a 2 4 7 8 9 17 18 19 24 25 30 31 32 35
a 2 4 7 8 9 13 18 19 24 25 30 31 32 35
a 2 4 5 7 9 13 18 19 24 25 30 31 32 35
a 2 4 5 6 7 9 13 18 19 24 25 31 32 35
a 2 4 5 6 7 9 13 18 19 24 25 30 32 35
a 2 4 5 6 7 9 13 19 24 25 30 32 34 35
a 2 4 5 6 7 9 13 24 25 30 31 32 34 35
a 2 4 5 6 7 9 13 23 24 25 30 31 34 35
a 2 4 5 6 7 9 23 24 25 30 31 34 35 39
a 2 4 5 6 7 9 23 24 25 30 31 32 34 35
a 2 4 5 6 7 9 24 25 30 31 32 34 35 39
a 2 4 5 6 7 9 19 24 25 30 31 32 35 39
a 2 4 5 6 7 9 19 24 25 30 32 34 35 39
a 2 4 5 7 9 18 19 24 25 30 32 34 35 39
a 2 5 6 7 9 18 19 24 25 30 32 34 35 39
a 2 5 6 7 9 10 18 19 24 25 32 34 35 39
a 2 5 6 9 10 18 19 24 25 31 32 34 35 39
a 2 5 6 7 9 10 18 19 25 31 32 34 35 39
a 2 5 6 7 9 10 18 25 28 31 32 34 35 39
a 2 4 5 6 9 10 18 25 28 31 32 34 35 39
a 2 4 5 6 7 9 18 25 28 31 32 34 35 39
a 2 4 5 6 9 18 24 25 28 31 32 34 35 39
a 2 4 5 6 9 18 19 24 25 31 32 34 35 39
a 4 5 6 9 18 19 24 25 30 31 32 34 35 39
a 4 5 6 9 13 18 19 24 25 30 31 32 34 35
a 2 4 5 6 9 13 18 19 24 25 30 31 32 34
a 2 4 5 9 13 18 19 24 25 30 31 32 34 35
a 2 4 5 7 9 18 19 24 25 30 31 32 34 35
a 4 5 7 9 18 19 24 25 30 31 32 34 35 39
a 4 5 6 7 9 18 19 24 30 31 32 34 35 39
a 4 5 6 7 9 19 24 25 30 31 32 34 35 39
a 4 5 6 7 9 18 19 25 30 31 32 34 35 39
a 4 5 6 7 18 19 24 25 30 31 32 34 35 39
a 2 4 5 6 7 18 19 24 25 30 31 32 34 39
a 2 4 5 6 7 18 19 24 25 31 32 34 35 39
a 2 4 5 6 7 10 18 19 24 25 32 34 35 39
a 2 4 5 6 7 10 18 19 24 25 31 32 34 35
a 2 4 6 7 10 18 19 24 25 31 32 34 35 39
a 2 4 6 7 9 10 18 19 24 25 31 34 35 39
a 4 5 6 7 9 10 18 19 24 25 31 34 35 39
a 2 4 5 6 9 10 18 19 24 25 31 34 35 39
a 4 5 6 9 10 18 19 24 25 31 32 34 35 39
a 2 4 5 6 9 10 18 19 24 25 31 32 35 39
a 2 5 6 7 9 10 18 19 24 25 31 32 35 39
a 2 4 5 6 7 9 10 18 19 24 31 32 35 39
a 2 4 5 6 7 9 10 18 19 24 31 32 34 39
a 2 4 5 7 9 10 18 19 24 25 31 32 34 39
a 2 4 5 7 9 10 18 19 24 31 32 34 35 39
a 4 5 7 9 10 18 19 24 25 31 32 34 35 39
a 4 5 6 7 9 10 18 19 25 31 32 34 35 39
a 4 5 6 7 9 10 18 19 24 31 32 34 35 39
a 4 5 6 7 10 18 19 24 25 31 32 34 35 39
a 2 4 5 6 7 10 18 19 24 25 31 32 34 39
a 2 4 5 6 7 9 10 18 19 25 31 32 34 39
a 2 4 5 7 9 10 18 19 25 31 32 34 35 39
a 2 4 6 7 9 10 18 19 25 31 32 34 35 39
a 2 4 6 7 9 10 18 19 24 25 31 32 34 35
a 2 4 6 7 9 13 18 19 24 25 31 32 34 35
a 2 4 5 6 7 13 18 19 24 25 31 32 34 35
a 2 5 6 7 9 13 18 19 24 25 31 32 34 35
a 2 4 5 6 7 9 13 18 19 24 25 31 34 35
a 2 4 5 6 9 13 18 19 24 25 31 32 34 35
a 2 4 5 6 7 9 13 19 24 25 31 32 34 35
a 2 4 5 7 9 13 18 19 24 25 31 32 34 35
a 4 5 6 7 9 13 18 19 24 25 31 32 34 35
a 2 4 5 6 7 9 13 18 19 25 31 32 34 35
a 2 4 5 6 7 9 18 19 25 31 32 34 35 39
a 2 4 5 6 7 9 10 18 19 31 32 34 35 39
a 2 4 5 6 9 10 18 19 25 31 32 34 35 39
a 2 4 5 6 7 9 10 18 19 25 32 34 35 39
a 2 4 5 6 7 9 10 18 25 28 32 34 35 39
a 2 4 5 6 7 9 10 18 24 25 28 34 35 39
a 2 4 5 6 7 9 10 18 24 25 28 32 35 39
a 2 4 5 6 7 9 10 18 24 28 31 32 35 39
a 2 4 5 6 7 10 18 24 28 31 32 34 35 39
a 2 4 5 6 7 9 10 18 24 28 31 32 34 35
a 2 4 5 6 7 9 10 18 24 28 31 34 35 39
a 2 4 5 6 7 9 10 18 24 25 31 34 35 39
a 2 4 5 6 7 9 10 18 24 25 28 31 34 39
a 2 4 5 6 7 9 18 24 25 28 31 34 35 39
a 2 4 5 6 7 18 24 25 28 31 32 34 35 39
a 2 4 5 6 7 10 18 24 25 28 31 32 34 39
a 2 5 6 7 10 18 24 25 28 31 32 34 35 39
a 1 2 5 6 7 10 18 25 28 31 32 34 35 39
a 1 2 5 6 7 10 23 25 28 31 32 34 35 39
a 2 4 5 6 7 10 23 25 28 31 32 34 35 39
a 2 4 5 6 7 10 23 24 25 28 32 34 35 39
a 2 4 5 6 7 9 10 23 24 25 28 32 35 39
a 2 4 5 7 9 10 23 24 25 28 32 34 35 39
a 2 4 5 7 9 10 23 24 25 28 31 32 35 39
a 2 4 5 7 9 10 23 24 25 28 31 34 35 39
a 2 4 6 7 9 10 23 24 25 28 31 34 35 39
a 2 4 6 7 9 10 23 24 25 28 31 32 35 39
a 2 4 5 6 7 10 23 24 25 28 31 32 35 39
a 1 2 5 6 7 10 23 24 25 28 31 32 35 39
a 1 2 5 6 7 9 10 23 24 25 28 32 35 39
a 1 2 5 6 7 9 10 23 24 25 31 32 35 39
a 1 5 6 7 9 10 23 24 25 28 31 32 35 39
a 1 5 6 7 9 10 23 25 28 31 32 34 35 39
a 1 2 5 6 7 9 23 25 28 31 32 34 35 39
a 1 2 5 7 9 10 23 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 23 28 31 32 34 35 39
a 1 2 5 6 7 9 10 18 28 31 32 34 35 39
a 1 2 5 6 7 9 10 18 24 28 31 32 35 39
a 1 2 5 6 7 9 10 24 25 28 31 32 35 39
a 1 2 5 6 7 9 10 24 25 31 32 34 35 39
a 1 2 5 6 7 9 10 24 25 28 32 34 35 39
a 2 5 6 7 9 10 24 25 28 31 32 34 35 39
a 2 4 5 6 7 10 24 25 28 31 32 34 35 39
a 2 4 5 6 7 9 10 24 25 28 31 32 35 39
a 2 4 5 7 9 10 24 25 28 31 32 34 35 39
a 2 4 5 7 9 10 18 24 25 28 32 34 35 39
a 2 4 5 6 7 9 10 18 24 25 28 32 34 35
a 2 4 5 6 7 9 18 24 25 28 32 34 35 39
a 2 4 5 6 7 9 24 25 28 31 32 34 35 39
a 2 4 5 6 7 9 10 24 28 31 32 34 35 39
a 2 4 5 6 9 10 23 24 28 31 32 34 35 39
a 2 5 6 7 9 10 23 24 28 31 32 34 35 39
a 2 5 6 9 10 23 24 25 28 31 32 34 35 39
a 1 2 5 6 9 10 23 24 25 28 31 32 34 35
a 2 4 5 6 9 10 23 24 25 28 31 32 34 35
a 2 4 5 6 7 9 10 23 24 25 31 32 34 35
a 2 4 5 6 7 10 23 24 25 28 31 32 34 35
a 1 2 5 6 7 10 23 24 25 28 31 32 34 35
a 1 2 5 6 7 10 23 24 25 28 31 32 34 39
a 1 2 5 6 7 23 24 25 28 31 32 34 35 39
a 2 4 5 6 7 23 24 25 28 31 32 34 35 39
a 2 4 5 6 7 9 23 24 25 28 31 32 34 35
a 2 4 5 6 7 9 23 25 28 31 32 34 35 39
a 2 4 6 7 9 10 23 25 28 31 32 34 35 39
a 2 4 5 6 7 9 10 23 25 28 31 32 35 39
a 2 4 5 6 7 9 10 23 24 25 28 31 32 39
a 2 4 5 6 7 9 23 24 25 28 31 32 34 39
a 2 4 5 6 7 9 23 24 25 28 32 34 35 39
a 2 4 5 6 7 9 10 23 24 25 32 34 35 39
a 2 4 5 6 7 9 10 19 24 25 32 34 35 39
a 2 4 5 6 7 9 10 19 25 31 32 34 35 39
a 2 4 5 6 7 9 10 19 24 25 31 32 34 39
a 2 4 5 6 7 9 10 24 25 28 31 32 34 39
a 2 4 5 6 7 9 10 18 24 25 28 32 34 39
a 2 4 5 6 9 10 18 24 25 28 32 34 35 39
a 2 4 5 9 10 18 24 25 28 31 32 34 35 39
a 1 2 5 9 10 18 24 25 28 31 32 34 35 39
a 1 2 5 7 9 10 18 24 25 28 31 32 34 35
a 1 5 7 9 10 18 24 25 28 29 31 32 34 35
a 1 5 7 9 10 23 24 25 28 29 31 32 34 35
a 1 5 6 7 9 10 23 24 25 29 31 32 34 35
a 1 5 6 7 9 10 23 24 25 31 32 34 35 39
a 1 5 6 7 9 10 23 24 25 28 31 32 34 39
a 1 2 5 6 9 10 23 24 25 28 31 32 34 39
a 1 2 6 9 10 23 24 25 28 31 32 34 35 39
a 1 2 5 6 9 23 24 25 28 31 32 34 35 39
a 1 2 5 6 9 10 23 24 25 28 31 32 35 39
a 1 2 5 6 7 9 10 23 24 28 31 32 35 39
a 1 2 5 7 9 10 23 24 28 31 32 34 35 39
a 1 5 6 7 9 10 23 24 28 31 32 34 35 39
a 1 2 5 6 7 9 10 24 28 31 32 34 35 39
a 1 2 5 6 7 9 10 23 24 28 31 32 34 39
a 1 2 5 6 7 9 10 23 24 28 31 34 35 39
a 1 2 6 7 9 10 23 24 25 28 31 34 35 39
a 1 2 5 6 7 9 10 23 24 25 28 31 34 39
a 1 2 5 6 7 9 10 24 25 28 31 34 35 39
a 1 2 5 6 7 9 10 18 24 25 31 34 35 39
a 1 2 5 6 7 9 10 18 24 25 26 31 34 35
a 1 2 5 6 7 9 10 24 25 26 28 31 34 35
a 1 2 5 6 7 9 10 23 25 26 28 31 34 35
a 1 2 5 6 7 9 10 23 24 26 28 31 34 35
a 1 2 5 6 7 9 10 18 24 26 28 31 34 35
a 1 2 5 6 7 9 10 18 24 25 26 28 34 35
a 1 2 5 6 7 9 10 18 25 26 28 31 34 35
a 1 2 5 6 7 9 10 18 24 25 26 28 31 35
a 1 2 5 6 7 10 18 24 25 26 28 31 34 35
a 1 2 5 6 7 10 24 25 26 28 31 34 35 38
a 2 5 6 7 10 18 24 25 26 28 31 34 35 38
a 1 2 5 7 10 18 24 25 26 28 31 34 35 38
a 1 2 5 7 10 18 24 25 28 31 32 34 35 38
a 1 2 5 7 10 18 24 25 28 31 32 34 35 39
a 1 2 5 6 7 10 18 24 25 28 32 34 35 39
a 1 2 5 6 9 10 18 24 25 28 32 34 35 39
a 1 2 5 6 7 9 10 18 24 28 32 34 35 39
a 1 2 5 6 7 9 10 23 24 28 32 34 35 39
a 2 4 5 6 7 9 10 23 24 28 32 34 35 39
a 2 4 5 6 7 9 23 24 28 31 32 34 35 39
a 2 4 5 6 7 9 10 23 24 28 31 32 34 39
a 2 4 5 6 7 9 10 23 24 25 31 32 34 39
a 1 2 5 6 7 9 10 23 24 25 31 32 34 39
a 1 2 5 6 7 10 23 24 25 31 32 34 35 39
a 1 2 6 7 10 23 24 25 28 31 32 34 35 39
a 1 2 6 7 9 10 24 25 28 31 32 34 35 39
a 1 2 6 7 9 23 24 25 28 31 32 34 35 39
a 1 2 6 7 9 10 23 24 28 31 32 34 35 39
a 2 4 6 7 9 10 23 24 28 31 32 34 35 39
a 2 4 5 6 7 9 10 23 24 28 31 32 34 35
a 2 4 6 7 9 10 23 24 25 28 31 32 34 35
a 4 6 7 9 10 23 24 25 28 29 31 32 34 35
a 4 5 7 9 10 23 24 25 28 29 31 32 34 35
a 4 5 9 10 23 24 25 28 29 31 32 33 34 35
a 4 5 9 10 23 24 25 28 31 32 33 34 35 39
a 4 5 6 9 10 23 24 25 28 31 32 34 35 39
a 1 5 6 9 10 23 24 25 28 31 32 34 35 39
a 1 5 6 7 9 10 23 24 25 28 32 34 35 39
a 1 5 6 7 9 10 11 23 24 25 32 34 35 39
a 1 5 6 7 9 10 11 23 24 25 27 34 35 39
a 1 5 6 7 9 10 11 18 24 25 27 34 35 39
c Step: 580
#END: [Mon Sep  4 23:59:03 2023]