#BEGIN: [Mon Sep  4 21:41:15 2023]
#HOST: s03
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance003_graph001.col
#INSTANCE2: /benchmark/random_instance/random_instance003_graph001_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance003_graph001.col /benchmark/random_instance/random_instance003_graph001_01.dat
c /benchmark/random_instance/random_instance003_graph001.col
c /benchmark/random_instance/random_instance003_graph001_01.dat
s 14 30 16 29 9 6 17 21 34 25 4 28
t 2 31 30 28 25 29 6 14 10 12 21 34
a YES
a 4 6 9 14 16 17 21 25 28 29 30 34
a 4 6 9 14 17 21 25 28 29 30 31 34
a 4 6 9 14 17 21 25 28 29 31 34 39
a 4 6 9 14 17 21 22 28 29 31 34 39
a 6 9 13 14 17 21 22 28 29 31 34 39
a 6 9 13 14 17 21 22 23 28 29 31 34
a 6 13 14 17 21 22 23 28 29 30 31 34
a 6 9 13 14 17 21 22 23 28 30 31 34
a 6 9 13 17 21 22 23 28 29 30 31 34
a 5 9 13 17 21 22 23 28 29 30 31 34
a 4 5 9 13 17 21 22 28 29 30 31 34
a 5 9 13 14 17 21 22 28 29 30 31 34
a 5 9 13 14 17 21 25 28 29 30 31 34
a 5 9 13 14 17 21 23 25 28 29 31 34
a 9 13 14 17 21 23 25 28 29 30 31 34
a 6 9 13 14 17 23 25 28 29 30 31 34
a 6 9 10 13 14 23 25 28 29 30 31 34
a 6 9 10 13 14 21 23 25 28 30 31 34
a 6 9 10 12 13 14 21 25 28 30 31 34
a 6 9 10 12 13 14 21 25 28 31 34 39
a 6 9 10 12 13 14 21 23 25 28 31 34
a 9 10 12 13 14 21 23 25 28 29 31 34
a 6 9 10 12 13 21 23 25 28 29 31 34
a 6 9 10 12 13 14 21 23 25 28 29 31
a 6 9 10 12 13 14 21 23 25 28 31 37
a 6 9 10 12 13 14 21 23 25 28 34 37
a 6 10 12 13 14 21 23 25 28 31 34 37
a 6 10 12 13 14 21 23 25 28 31 33 37
a 6 10 12 13 14 21 23 25 30 31 33 37
a 6 10 12 13 14 18 21 23 25 30 31 33
a 6 10 12 13 14 18 23 25 30 31 33 37
a 6 10 12 13 18 21 23 25 30 31 33 37
a 6 10 12 18 21 23 25 30 31 33 34 37
a 6 10 12 18 21 23 28 30 31 33 34 37
a 6 10 12 21 23 25 28 30 31 33 34 37
a 6 10 12 14 21 23 25 28 30 31 34 37
a 6 10 12 13 14 21 23 28 30 31 34 37
a 6 9 10 13 14 21 23 28 30 31 34 37
a 6 9 10 12 13 14 21 23 28 30 31 37
a 6 9 10 12 13 14 21 23 25 28 30 31
a 6 9 10 12 14 21 23 25 28 30 31 34
a 6 9 10 12 13 14 21 23 25 30 31 34
a 6 9 10 12 13 21 23 25 28 30 31 34
a 6 9 12 13 14 21 23 25 28 30 31 34
a 9 10 12 13 14 21 23 25 28 30 31 34
a 6 10 12 13 14 21 23 25 28 30 31 34
a 6 10 12 14 21 23 25 28 29 30 31 34
a 10 12 13 14 21 23 25 28 29 30 31 34
a 6 10 12 13 14 23 25 28 29 30 31 34
a 6 10 12 13 14 21 23 25 29 30 31 34
a 6 10 12 13 14 18 21 23 25 30 31 34
a 6 10 12 13 14 18 19 21 23 25 30 31
a 6 10 13 14 18 19 21 23 25 30 31 34
a 6 9 10 13 14 19 21 23 25 30 31 34
a 6 9 10 13 14 19 23 25 28 30 31 34
a 6 9 10 13 14 19 23 25 28 30 34 37
a 9 10 13 14 19 21 23 25 28 30 34 37
a 9 10 12 13 19 21 23 25 28 30 34 37
a 6 9 10 12 13 19 21 23 25 28 34 37
a 6 9 10 12 13 19 21 23 28 31 34 37
a 6 9 12 13 19 21 23 28 30 31 34 37
a 9 10 12 13 19 21 23 28 30 31 34 37
a 6 9 10 12 13 19 21 23 28 30 31 37
a 6 9 10 13 19 21 23 28 30 31 34 37
a 6 9 10 13 14 19 21 23 28 31 34 37
a 6 10 12 13 14 19 21 23 28 31 34 37
a 6 10 12 13 19 21 23 28 30 31 34 37
a 6 10 12 18 19 21 23 28 30 31 34 37
a 10 12 13 18 19 21 23 28 30 31 34 37
a 10 12 13 18 21 23 28 30 31 33 34 37
a 10 12 13 18 21 23 25 28 30 31 33 37
a 6 10 12 13 21 23 25 28 30 31 33 37
a 6 10 12 13 18 21 23 25 28 30 31 33
a 6 10 12 18 21 23 25 28 30 31 33 34
a 6 10 12 13 18 21 25 28 30 31 33 34
a 6 10 12 13 18 21 23 25 28 31 33 34
a 6 10 12 13 18 21 23 28 30 31 33 34
a 6 10 12 13 21 23 28 30 31 33 34 37
a 6 10 12 13 23 25 28 30 31 33 34 37
a 6 10 12 13 21 23 25 28 31 33 34 37
a 6 10 13 14 21 23 25 28 31 33 34 37
a 6 10 12 13 14 21 23 28 31 33 34 37
a 6 12 13 14 18 21 23 28 31 33 34 37
a 6 12 13 14 18 19 21 23 28 31 34 37
a 6 12 13 14 18 19 21 23 30 31 34 37
a 6 12 13 14 18 19 21 23 25 30 34 37
a 6 10 12 13 14 18 19 21 23 25 30 34
a 6 10 12 13 14 18 19 21 23 25 31 34
a 6 10 12 13 14 19 21 23 25 28 31 34
a 6 10 12 13 19 21 23 25 28 30 31 34
a 6 10 12 13 14 19 21 23 25 28 30 34
a 6 10 12 13 14 19 21 25 28 30 34 37
a 6 10 12 13 14 19 21 23 25 28 34 37
a 6 9 10 12 13 14 19 21 23 25 28 34
a 6 9 10 12 13 19 21 23 25 28 34 39
a 6 9 10 12 13 21 23 25 28 31 34 39
a 6 9 10 12 13 19 21 23 25 28 31 34
a 6 9 10 12 13 19 23 25 28 31 34 39
a 6 9 10 12 13 19 23 25 28 34 37 39
a 6 9 10 12 13 19 23 25 28 30 34 37
a 6 9 10 12 13 19 21 23 25 28 30 37
a 6 10 12 13 14 19 21 23 25 28 30 37
a 6 9 10 12 13 14 19 21 23 28 30 37
a 6 9 10 12 13 14 15 19 21 28 30 37
a 6 9 10 12 13 14 19 21 25 28 30 37
a 6 9 10 12 13 19 21 25 28 30 31 37
a 9 10 12 13 14 19 21 25 28 30 31 37
a 9 10 13 14 19 21 25 28 30 31 34 37
a 10 12 13 14 19 21 25 28 30 31 34 37
a 10 12 13 14 18 19 21 25 28 30 34 37
a 10 12 13 14 18 21 23 25 28 30 34 37
a 10 13 14 18 19 21 23 25 28 30 34 37
a 10 13 14 18 19 21 23 25 28 34 37 39
a 6 10 13 14 18 19 21 23 25 28 34 37
a 6 10 13 14 18 19 21 25 28 34 37 39
a 6 10 14 18 19 21 23 25 28 34 37 39
a 6 10 12 18 19 21 23 25 28 34 37 39
a 6 10 12 14 18 19 21 23 25 28 34 37
a 6 12 13 14 18 19 21 23 25 28 34 37
a 6 10 12 13 18 19 21 23 25 28 34 37
a 6 10 12 13 18 21 23 25 28 31 34 37
a 6 10 12 13 18 21 23 25 28 31 33 37
a 6 10 12 13 14 18 21 23 25 28 33 37
a 6 10 12 13 14 18 23 25 28 33 37 39
a 6 10 12 13 14 18 23 25 28 31 37 39
a 6 10 12 13 14 21 23 25 28 31 37 39
a 6 9 10 12 13 14 21 23 25 28 31 39
a 6 9 10 12 13 14 21 23 28 29 31 39
a 6 9 10 12 14 21 23 28 29 31 34 39
a 6 10 12 14 21 23 25 28 29 31 34 39
a 6 10 12 13 14 21 23 25 28 31 34 39
a 6 9 10 12 13 14 21 23 25 31 34 39
a 6 9 10 12 13 19 21 23 25 31 34 39
a 6 9 10 12 19 21 23 25 28 31 34 39
a 6 9 10 13 19 21 23 25 28 31 34 39
a 6 9 10 13 14 19 21 25 28 31 34 39
a 6 10 13 14 18 19 21 25 28 31 34 39
a 6 10 13 14 19 21 25 28 31 34 37 39
a 6 10 12 13 14 19 21 25 28 31 37 39
a 6 10 11 12 13 14 19 21 28 31 37 39
a 6 10 12 13 14 18 19 21 28 31 37 39
a 6 10 12 13 14 18 19 21 23 31 37 39
a 6 10 13 14 18 19 21 23 31 34 37 39
a 6 12 13 14 18 19 21 23 31 34 37 39
a 6 10 12 13 14 18 19 21 23 31 34 39
a 6 10 12 13 14 18 19 21 23 28 31 39
a 6 10 12 13 14 19 21 23 28 31 34 39
a 6 10 12 14 19 21 23 25 28 31 34 39
a 6 10 12 13 19 21 23 25 28 31 34 39
a 6 10 13 14 19 21 23 25 28 31 34 39
a 6 10 12 13 14 19 21 25 28 31 34 39
a 6 10 12 13 14 19 21 23 25 28 31 39
a 6 10 12 13 14 19 21 23 25 28 30 31
a 9 10 12 13 14 19 21 23 25 28 30 31
a 10 12 13 14 19 21 23 25 28 30 31 34
a 6 10 12 13 14 19 21 23 28 30 31 34
a 6 12 13 14 19 21 23 25 28 30 31 34
a 6 12 13 14 19 21 23 25 28 30 34 37
a 6 10 12 13 14 19 21 23 28 30 34 37
a 6 10 12 13 14 19 21 23 25 30 34 37
a 6 10 12 13 14 19 21 23 25 30 31 37
a 6 10 12 13 14 19 21 23 25 31 34 37
a 6 10 12 14 19 21 23 25 28 31 34 37
a 6 10 12 13 14 19 21 25 28 31 34 37
a 6 10 13 14 19 21 23 25 28 31 34 37
a 6 10 12 13 19 21 23 25 28 31 34 37
a 6 10 12 13 14 19 23 25 28 31 34 37
a 6 9 10 12 13 14 19 23 25 28 31 34
a 6 9 10 12 13 14 19 23 25 28 31 39
a 9 10 12 13 14 19 21 23 25 28 31 39
a 9 10 12 13 14 19 21 25 28 31 37 39
a 6 9 10 12 13 14 19 21 25 31 37 39
a 6 9 10 12 13 14 19 21 25 28 31 37
a 6 9 10 12 13 19 21 25 28 31 37 39
a 6 9 12 13 19 21 25 28 31 34 37 39
a 6 9 12 13 14 19 21 25 28 31 34 37
a 6 9 10 12 13 14 19 25 28 31 34 37
a 6 9 10 12 13 14 19 25 31 34 37 39
a 6 9 10 12 13 14 19 25 30 31 34 37
a 6 9 10 12 13 14 19 21 25 31 34 37
a 6 9 10 13 14 19 21 25 31 34 37 39
a 6 9 10 12 13 14 19 21 25 34 37 39
a 6 9 10 12 13 14 19 21 25 31 34 39
a 6 10 12 13 14 18 19 21 25 31 34 39
a 6 10 12 13 14 18 21 25 31 33 34 39
a 6 10 12 13 18 21 25 28 31 33 34 39
a 6 10 12 13 18 21 23 25 28 31 34 39
a 6 10 12 13 18 21 23 25 28 30 31 34
a 6 10 12 13 18 21 23 25 30 31 33 34
a 10 12 13 18 21 23 25 28 30 31 33 34
a 10 12 13 18 21 23 25 28 31 33 34 37
a 10 12 13 18 19 21 23 25 28 31 34 37
a 10 12 13 18 19 21 23 25 28 30 34 37
a 10 12 13 14 18 19 21 23 25 28 34 37
a 10 12 13 14 18 19 21 23 25 28 30 37
a 10 12 13 14 18 19 21 23 25 28 30 34
a 10 12 13 14 15 18 19 21 25 28 30 34
a 10 12 13 14 18 19 21 25 28 30 31 34
a 10 12 13 14 18 19 21 25 28 30 31 37
a 6 10 12 13 14 19 21 25 28 30 31 37
a 6 12 13 14 19 21 25 28 30 31 34 37
a 6 12 13 14 18 19 21 25 28 31 34 37
a 6 11 12 13 14 18 19 21 28 31 34 37
a 6 11 12 13 14 18 19 21 31 34 37 38
a 6 11 12 13 14 18 19 21 22 34 37 38
a 6 11 12 13 14 18 19 21 22 34 37 39
a 6 11 12 13 14 18 19 21 22 28 34 37
a 6 11 12 13 14 18 21 22 28 33 34 37
a 6 11 12 13 14 15 18 21 22 28 33 37
a 6 11 12 13 14 15 18 21 22 28 37 39
a 6 7 11 12 13 14 15 18 22 28 37 39
a 6 7 9 11 12 13 14 15 22 28 37 39
a 1 6 7 9 11 12 13 14 15 22 28 39
a 1 6 7 9 11 13 14 15 19 22 28 39
a 1 6 9 11 13 14 15 19 21 22 28 39
a 1 6 9 11 12 13 15 19 21 22 28 39
a 6 9 11 12 13 15 19 21 22 28 37 39
a 6 9 11 12 13 15 19 21 22 28 34 37
a 6 9 11 13 15 19 21 22 28 34 37 39
a 6 9 10 11 13 15 19 21 28 34 37 39
a 6 10 11 12 13 15 19 21 28 34 37 39
a 6 11 12 13 14 15 19 21 28 34 37 39
a 6 11 12 13 14 15 18 19 21 34 37 39
a 6 11 12 13 14 15 18 21 22 34 37 39
a 6 12 13 14 15 18 21 22 34 35 37 39
a 6 12 13 14 15 18 21 22 34 35 38 39
a 6 11 12 13 14 18 21 22 34 35 38 39
a 6 11 12 13 14 18 21 22 34 35 37 38
a 6 11 13 14 18 21 22 31 34 35 37 38
a 6 11 12 13 14 18 21 22 31 34 37 38
a 6 9 11 12 13 14 21 22 31 34 37 38
a 6 9 10 11 12 13 14 21 31 34 37 38
a 6 9 10 11 12 13 14 15 21 34 37 38
a 6 10 11 12 13 14 15 21 34 37 38 39
a 6 10 11 12 13 14 15 18 21 34 37 38
a 6 11 12 13 14 15 18 21 22 34 37 38
a 6 11 12 13 15 18 21 22 33 34 37 38
a 1 6 11 12 15 18 21 22 33 34 37 38
a 1 6 11 12 15 18 21 22 34 37 38 39
a 1 6 11 12 15 18 22 34 35 37 38 39
a 1 11 12 15 18 21 22 34 35 37 38 39
a 1 11 12 15 18 21 22 33 34 35 38 39
a 1 11 12 13 15 18 21 22 33 34 35 38
a 1 11 12 13 15 18 21 22 33 34 38 39
a 1 11 12 13 15 18 21 22 33 34 37 38
a 1 6 11 12 13 15 18 21 22 33 34 37
a 1 6 11 12 13 15 18 21 22 33 34 38
a 1 6 11 12 13 15 18 21 33 34 37 38
a 1 11 12 13 15 18 21 33 34 35 37 38
a 1 11 12 13 14 15 18 21 33 34 37 38
a 1 6 11 12 13 14 15 18 21 34 37 38
a 6 11 12 13 14 15 18 21 34 35 37 38
a 6 10 11 12 13 14 18 21 34 35 37 38
a 6 10 11 13 14 15 18 21 34 35 37 38
a 6 10 11 13 14 15 21 33 34 35 37 38
a 6 10 11 13 14 15 21 33 34 37 38 39
a 6 10 11 13 14 18 21 33 34 37 38 39
a 10 11 13 14 18 21 33 34 35 37 38 39
a 6 11 13 14 18 21 33 34 35 37 38 39
a 1 6 11 13 14 18 21 33 34 35 37 39
a 1 6 11 12 13 14 18 33 34 35 37 39
a 1 6 11 12 13 14 15 18 33 34 37 39
a 1 6 11 12 13 14 15 18 33 34 35 39
a 6 10 11 12 13 14 15 18 33 34 35 39
a 6 10 11 12 13 14 15 18 33 34 37 39
a 6 10 11 12 13 14 15 18 28 33 34 39
a 6 10 11 12 13 14 18 21 28 33 34 39
a 6 10 12 13 14 18 21 28 31 33 34 39
a 6 10 12 13 14 18 21 28 31 34 37 39
a 6 10 12 13 14 18 21 28 30 31 34 37
a 6 12 13 14 18 21 22 28 30 31 34 37
a 6 12 13 14 18 21 22 23 30 31 34 37
a 6 12 13 14 18 21 23 25 30 31 34 37
a 6 10 12 13 14 18 21 23 25 30 31 37
a 6 10 13 14 18 21 23 25 28 30 31 37
a 6 10 14 18 21 23 25 28 30 31 34 37
a 6 10 14 18 19 21 23 25 30 31 34 37
a 10 14 18 19 21 23 25 28 30 31 34 37
a 10 12 14 18 19 23 25 28 30 31 34 37
a 10 12 13 18 19 23 25 28 30 31 34 37
a 6 10 12 13 18 23 25 28 30 31 34 37
a 6 10 12 13 18 23 25 28 30 31 33 37
a 10 12 13 18 23 25 28 30 31 33 34 37
a 10 12 13 14 18 23 28 30 31 33 34 37
a 10 12 13 14 18 21 23 30 31 33 34 37
a 12 13 14 18 21 23 28 30 31 33 34 37
a 13 14 18 21 22 23 28 30 31 33 34 37
a 13 14 18 21 23 25 28 30 31 33 34 37
a 12 13 14 18 21 23 25 30 31 33 34 37
a 12 13 14 18 21 23 25 28 30 31 33 37
a 10 12 13 14 18 21 23 25 28 31 33 37
a 10 12 13 14 18 19 21 23 25 28 31 37
a 10 12 13 18 19 21 23 25 28 30 31 37
a 10 12 14 18 19 21 23 25 28 30 31 37
a 10 12 14 19 21 23 25 28 30 31 34 37
a 10 12 14 18 21 23 25 28 30 31 34 37
a 10 12 18 21 23 25 28 30 31 33 34 37
a 10 12 13 18 21 23 25 28 30 31 34 37
a 6 10 12 13 18 21 23 28 30 31 34 37
a 6 10 12 13 18 21 23 28 31 33 34 37
a 6 10 12 13 14 18 21 23 28 31 34 37
a 6 10 12 13 14 18 21 23 28 30 31 37
a 6 10 12 13 14 18 21 23 25 28 30 37
a 6 10 12 13 14 18 21 25 28 30 33 37
a 6 10 13 14 18 21 23 25 28 30 33 37
a 6 10 13 14 18 21 23 25 28 33 37 39
a 6 10 13 18 21 23 25 28 33 34 37 39
a 6 13 14 18 21 23 25 28 33 34 37 39
a 6 14 18 21 23 25 28 31 33 34 37 39
a 6 10 14 18 21 25 28 31 33 34 37 39
a 10 13 14 18 21 25 28 31 33 34 37 39
a 10 13 14 18 19 21 25 28 31 34 37 39
a 10 13 18 19 21 23 25 28 31 34 37 39
a 13 17 18 19 21 23 25 28 31 34 37 39
a 12 13 18 19 21 23 25 28 31 34 37 39
a 10 12 13 19 21 23 25 28 31 34 37 39
a 6 10 12 13 19 21 25 28 31 34 37 39
a 6 10 12 13 19 21 23 25 28 31 37 39
a 6 10 12 13 18 19 21 23 25 28 37 39
a 6 10 12 13 18 19 21 23 25 34 37 39
a 6 12 13 14 18 19 21 23 25 34 37 39
a 6 10 12 13 14 18 19 21 23 25 34 39
a 6 10 13 14 18 19 21 23 25 28 34 39
a 10 13 14 18 19 21 23 25 28 31 34 39
a 6 10 13 14 18 19 21 23 25 28 31 34
a 6 12 13 14 18 19 21 23 25 28 31 34
a 6 9 12 13 14 19 21 23 25 28 31 34
a 9 10 12 13 14 19 21 23 25 28 31 34
a 10 12 13 14 19 21 23 25 28 31 34 37
a 9 10 12 13 19 21 23 25 28 31 34 37
a 9 10 12 13 19 23 25 28 31 34 37 39
a 6 9 10 12 13 19 25 28 31 34 37 39
a 6 9 10 12 13 19 21 25 31 34 37 39
a 6 9 10 12 13 19 21 23 25 31 34 37
a 6 9 12 13 19 21 23 25 28 31 34 37
a 6 9 13 17 19 21 23 25 28 31 34 37
a 6 9 13 17 19 21 23 25 31 34 37 39
a 6 9 10 13 19 21 23 25 31 34 37 39
a 6 9 10 12 13 19 21 23 25 34 37 39
a 9 10 12 13 14 19 21 23 25 34 37 39
a 9 10 12 13 14 19 21 23 25 31 34 39
a 9 10 12 13 14 19 23 25 28 31 34 39
a 10 12 13 14 18 19 23 25 28 31 34 39
a 10 12 13 14 18 19 23 25 28 34 37 39
a 12 13 14 18 19 23 25 28 31 34 37 39
a 12 13 14 18 19 21 23 25 28 34 37 39
a 12 13 14 18 21 23 25 28 31 34 37 39
a 12 13 14 19 21 23 25 28 31 34 37 39
a 13 14 18 19 21 23 25 28 31 34 37 39
a 13 14 18 19 21 23 25 28 30 31 34 37
a 12 13 14 18 19 21 23 25 28 31 34 37
a 12 13 14 18 19 21 23 25 31 34 37 39
a 6 12 13 14 18 19 23 25 31 34 37 39
a 6 10 12 13 14 18 19 25 31 34 37 39
a 6 10 12 13 14 18 19 23 25 31 37 39
a 6 9 10 12 13 14 19 23 25 31 37 39
a 6 9 10 12 13 14 19 23 25 30 31 37
a 6 9 10 12 13 19 21 23 25 30 31 37
a 9 10 12 13 19 21 23 25 28 30 31 37
a 6 9 10 13 19 21 23 25 28 30 31 37
a 6 9 10 13 19 21 23 25 28 30 31 34
a 6 9 12 13 19 21 23 25 28 30 31 34
a 6 9 12 13 19 21 23 25 28 31 34 39
a 6 9 10 12 13 19 21 23 25 28 31 39
a 6 9 10 12 13 21 23 25 28 31 37 39
a 6 9 10 12 13 21 23 25 28 34 37 39
a 6 9 10 12 13 15 21 25 28 34 37 39
a 6 9 10 11 12 13 15 21 28 34 37 39
a 6 9 10 11 12 13 15 19 28 34 37 39
a 6 9 10 11 12 13 15 19 21 28 37 39
a 6 9 11 12 13 15 19 21 28 34 37 39
a 6 9 11 12 13 15 19 21 22 28 34 39
a 6 9 11 12 13 15 19 21 22 34 37 39
a 9 11 12 13 15 19 21 22 34 37 38 39
a 1 9 11 12 13 15 19 21 22 34 37 38
a 1 9 11 13 15 19 21 22 34 37 38 39
a 1 6 9 11 13 19 21 22 34 37 38 39
a 1 6 9 11 15 19 21 22 34 37 38 39
a 1 6 11 15 18 19 21 22 34 37 38 39
a 1 6 11 15 18 21 22 33 34 37 38 39
a 6 11 12 15 18 21 22 33 34 37 38 39
a 1 11 12 15 18 21 22 33 34 37 38 39
a 1 11 12 14 15 21 22 33 34 37 38 39
a 1 6 11 12 14 15 21 22 34 37 38 39
a 1 6 11 12 14 15 21 22 33 34 38 39
a 1 6 11 12 13 14 15 21 22 33 34 39
a 1 6 11 12 13 14 21 22 33 34 38 39
a 1 6 11 12 13 14 18 21 22 33 34 39
a 1 6 11 12 13 14 18 19 21 22 34 39
a 1 6 11 12 13 14 15 18 19 22 34 39
a 1 6 11 12 13 14 15 18 19 34 38 39
a 6 10 11 12 13 14 15 18 19 34 38 39
a 6 10 11 12 13 15 18 19 34 37 38 39
a 10 11 12 13 14 15 18 19 34 37 38 39
a 10 11 12 13 14 15 19 21 34 37 38 39
a 9 10 11 12 13 14 15 19 21 34 37 38
a 1 9 11 12 13 14 15 19 21 34 37 38
a 1 9 11 12 13 14 15 19 21 28 34 37
a 1 6 9 11 12 13 14 15 19 28 34 37
a 1 6 9 11 12 13 15 19 22 28 34 37
a 1 6 9 11 12 13 14 15 19 22 34 37
a 6 9 11 12 13 14 15 19 22 34 37 39
a 1 6 9 11 12 13 14 15 19 34 37 39
a 1 6 9 11 12 13 14 19 22 34 37 39
a 1 6 9 11 13 14 15 19 22 34 37 39
a 1 9 11 12 13 14 15 19 22 34 37 39
a 1 9 11 12 13 15 19 22 28 34 37 39
a 1 6 9 11 12 13 15 19 22 28 37 39
a 1 6 9 11 12 13 15 19 22 37 38 39
a 1 6 11 12 13 15 18 19 22 37 38 39
a 1 6 11 12 13 15 18 22 34 37 38 39
a 1 6 11 12 13 14 15 18 22 34 37 39
a 1 6 11 12 13 14 15 18 21 22 34 37
a 6 11 12 13 14 15 18 21 22 28 34 37
a 6 12 13 14 15 18 21 22 28 30 34 37
a 6 10 12 13 14 15 18 21 28 30 34 37
a 6 10 12 13 14 18 21 25 28 30 34 37
a 6 10 12 13 14 21 25 28 30 31 34 37
a 6 10 12 13 14 21 25 28 29 30 31 34
a 2 6 10 12 14 21 25 28 29 30 31 34
c Step: 419
#END: [Mon Sep  4 21:51:53 2023]