#BEGIN: [Mon Sep  4 21:41:19 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#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 --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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
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 5 6 7 9 11 13 18 24 25 29 32 34 35 36
a 5 6 9 11 12 13 18 24 25 29 32 34 35 36
a 5 6 9 11 12 13 23 24 25 29 32 34 35 36
a 1 5 6 9 11 12 13 23 24 25 29 32 34 35
a 1 5 6 9 11 12 13 23 24 25 26 29 34 35
a 1 5 6 9 11 12 13 23 24 25 26 27 34 35
a 1 5 6 9 11 12 13 18 24 25 26 27 34 35
a 1 5 6 9 11 12 13 18 24 25 26 29 34 35
a 1 2 5 6 9 11 12 13 18 24 25 26 34 35
a 1 2 5 6 9 12 13 18 24 25 26 31 34 35
a 1 2 5 6 9 12 18 24 25 26 28 31 34 35
a 1 2 5 6 9 10 18 24 25 26 28 31 34 35
a 1 2 5 6 10 18 24 25 26 28 31 34 35 38
a 1 2 5 6 7 10 18 24 25 28 31 34 35 38
a 1 2 5 6 7 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 2 5 6 7 9 18 24 25 28 31 32 34 35 39
a 2 5 6 7 9 10 18 24 25 28 31 32 34 35
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 26 28 31 34 35
a 5 6 7 9 10 18 24 25 26 28 29 31 34 35
a 1 5 6 7 10 18 24 25 26 28 29 31 34 35
a 1 5 7 9 10 18 24 25 26 28 29 31 34 35
a 1 5 6 7 9 10 18 24 25 26 28 29 34 35
a 1 5 6 7 9 10 11 18 24 25 26 29 34 35
a 1 5 6 7 9 11 13 18 24 25 26 29 34 35
a 1 2 5 6 7 9 11 13 18 24 25 26 34 35
a 1 5 6 7 9 11 13 18 24 25 26 27 34 35
a 5 6 7 9 11 13 18 24 25 26 27 30 34 35
a 2 5 6 7 9 11 13 18 24 25 26 30 34 35
a 2 5 6 7 9 13 18 24 25 26 30 31 34 35
a 2 5 6 7 9 13 23 24 25 26 30 31 34 35
a 2 5 6 7 9 11 13 23 24 25 26 30 34 35
a 5 6 7 9 11 13 23 24 25 26 27 30 34 35
a 1 5 6 7 9 13 23 24 25 26 27 30 34 35
a 1 5 6 7 9 13 23 24 25 26 30 31 34 35
a 1 5 6 7 9 13 23 24 25 30 31 32 34 35
a 1 5 6 7 9 13 23 24 25 29 31 32 34 35
a 1 2 5 6 7 9 13 23 24 25 31 32 34 35
a 1 2 5 6 7 9 23 24 25 28 31 32 34 35
a 1 2 5 6 7 23 24 25 28 31 32 34 35 38
a 1 2 5 6 7 10 23 25 28 31 32 34 35 38
a 1 2 5 6 7 10 23 25 28 31 32 34 35 39
a 1 2 5 6 7 10 24 25 28 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 10 18 24 25 28 31 32 34 35 39
a 1 2 6 7 10 18 24 25 28 31 32 34 35 38
a 1 2 6 7 10 18 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 6 7 10 18 24 25 26 28 34 35 38
a 1 2 5 6 7 9 10 18 24 25 26 28 34 35
a 1 2 5 6 7 9 10 23 24 25 26 28 34 35
a 1 5 6 7 9 10 23 24 25 26 28 29 34 35
a 1 5 6 7 9 10 23 24 25 26 28 29 31 35
a 1 2 5 6 7 9 10 23 24 25 26 28 31 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 24 25 28 31 34 35
a 2 4 5 6 7 9 10 23 24 25 28 31 34 35
a 2 4 5 6 7 9 10 18 24 25 28 31 34 35
a 2 4 5 6 7 9 10 18 24 25 28 31 32 35
a 2 4 5 6 7 9 10 24 25 28 31 32 35 39
a 2 4 5 6 9 10 24 25 28 31 32 34 35 39
a 2 5 6 9 10 18 24 25 28 31 32 34 35 39
a 2 5 6 7 9 10 18 24 25 28 31 32 35 39
a 2 5 6 7 9 10 18 24 25 31 32 34 35 39
a 2 5 6 7 9 18 19 24 25 31 32 34 35 39
a 2 6 7 9 17 18 19 24 25 31 32 34 35 39
a 2 6 7 9 17 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 35 39
a 2 4 6 7 17 18 19 24 25 30 31 32 35 39
a 2 4 6 7 9 18 19 24 25 30 31 32 35 39
a 2 4 6 7 9 18 19 24 30 31 32 34 35 39
a 2 5 6 7 9 18 19 24 30 31 32 34 35 39
a 2 5 6 7 9 18 24 25 30 31 32 34 35 39
a 1 2 5 6 7 9 18 24 25 30 31 32 34 39
a 1 2 5 6 7 9 23 24 25 30 31 32 34 39
a 1 2 5 6 9 23 24 25 30 31 32 34 35 39
a 2 4 5 6 9 23 24 25 30 31 32 34 35 39
a 2 4 5 6 9 23 24 25 28 31 32 34 35 39
a 2 4 5 6 9 18 24 25 28 31 32 34 35 39
a 2 5 6 9 12 18 24 25 28 31 32 34 35 39
a 2 5 6 9 12 23 24 25 28 31 32 34 35 39
a 5 6 9 12 23 24 25 28 31 32 34 35 36 39
a 5 6 9 12 18 24 25 28 31 32 34 35 36 39
a 5 6 7 9 18 24 25 28 31 32 34 35 36 39
a 5 6 7 9 18 24 25 28 29 31 32 34 35 36
a 4 5 6 7 9 18 24 25 28 29 31 32 34 35
a 4 5 6 7 9 10 18 24 25 28 31 32 34 35
a 2 4 5 7 9 10 18 24 25 28 31 32 34 35
a 2 4 5 6 7 9 10 18 24 25 31 32 34 35
a 2 4 5 7 9 10 18 19 24 25 31 32 34 35
a 2 4 5 6 7 9 18 19 24 25 31 32 34 35
a 2 4 5 7 9 18 19 24 25 30 31 32 34 35
a 2 4 6 7 9 18 19 24 25 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 9 17 18 19 24 30 31 32 34 35
a 2 4 5 6 7 9 18 19 24 30 31 32 34 35
a 2 4 5 6 7 9 10 18 19 24 31 32 34 35
a 2 4 5 6 7 10 18 19 24 31 32 34 35 39
a 2 4 5 6 7 18 19 24 30 31 32 34 35 39
a 2 4 6 7 18 19 24 25 30 31 32 34 35 39
a 2 4 6 7 13 18 19 24 25 30 31 32 34 35
a 2 4 6 7 9 13 18 24 25 30 31 32 34 35
a 2 4 6 9 13 18 19 24 25 30 31 32 34 35
a 2 5 6 9 13 18 19 24 25 30 31 32 34 35
a 2 5 6 7 9 13 18 19 24 25 30 31 34 35
a 5 6 7 9 13 18 19 24 25 30 31 32 34 35
a 2 6 7 9 13 18 19 24 25 30 31 32 34 35
a 2 4 6 7 9 13 18 19 24 25 30 31 34 35
a 2 4 6 7 9 17 18 19 24 25 30 31 34 35
a 2 4 6 7 9 17 18 19 24 25 30 32 34 35
a 2 4 6 7 9 13 18 19 24 25 30 32 34 35
a 2 4 5 6 7 9 13 18 24 25 30 32 34 35
a 2 4 5 6 7 9 13 23 24 25 30 32 34 35
a 2 4 5 6 7 9 23 24 25 30 32 34 35 39
a 2 5 6 7 9 11 23 24 25 30 32 34 35 39
a 1 2 5 6 7 9 11 23 24 25 32 34 35 39
a 1 2 5 6 7 9 23 24 25 31 32 34 35 39
a 1 2 5 6 7 9 23 24 25 30 31 34 35 39
a 1 2 5 6 7 9 13 23 24 25 30 31 34 35
a 1 2 5 6 7 9 11 13 23 24 25 30 34 35
a 1 2 5 6 7 9 11 23 24 25 30 34 35 39
a 1 2 5 6 7 9 23 24 25 30 32 34 35 39
a 2 5 6 7 9 23 24 25 30 31 32 34 35 39
a 2 4 5 6 7 9 23 24 25 31 32 34 35 39
a 2 4 5 7 9 23 24 25 28 31 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 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 2 5 6 7 9 10 23 24 25 31 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 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 5 6 7 9 10 18 24 25 28 29 31 32 34 35
a 4 6 7 9 10 18 24 25 28 29 31 32 34 35
a 4 5 6 7 9 10 18 24 25 29 31 32 34 35
a 5 6 7 9 10 18 19 24 25 29 31 32 34 35
a 1 5 6 7 9 10 18 24 25 29 31 32 34 35
a 1 5 6 7 9 10 18 24 25 28 31 32 34 35
a 1 5 6 7 9 10 18 24 25 28 31 34 35 39
a 1 6 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 34 39
a 1 5 6 7 9 10 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 31 34 35 39
a 1 2 5 7 9 10 23 24 25 28 31 34 35 39
a 1 2 5 6 7 10 23 24 25 28 31 34 35 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 28 31 34 35 39
a 1 2 5 6 7 9 10 18 24 31 32 34 35 39
a 1 2 5 7 9 10 18 24 25 31 32 34 35 39
a 1 2 7 9 10 18 24 25 28 31 32 34 35 39
a 1 2 6 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 25 28 31 34 35
a 1 2 5 6 7 9 10 18 24 25 28 31 35 39
a 1 2 5 6 7 9 10 24 25 28 31 32 35 39
a 1 2 6 7 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 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 38
a 1 2 5 6 7 10 23 24 25 31 32 34 35 38
a 1 2 5 6 7 10 23 24 25 31 32 34 35 39
a 1 2 5 7 10 23 24 25 28 31 32 34 35 39
a 1 2 5 6 10 23 24 25 28 31 32 34 35 39
a 1 2 5 6 7 10 23 24 25 28 32 34 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 28 32 34 35
a 1 2 5 6 7 10 23 24 25 28 31 32 34 35
a 1 2 5 6 7 23 24 25 28 31 32 34 35 39
a 1 2 5 6 7 18 24 25 28 31 32 34 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 31 32 34 35 39
a 1 2 5 6 7 9 10 18 24 25 32 34 35 39
a 2 4 5 6 7 9 10 18 24 25 32 34 35 39
a 2 4 5 6 7 9 10 18 24 31 32 34 35 39
a 2 4 5 6 7 9 10 23 24 31 32 34 35 39
a 2 4 5 6 7 9 10 23 24 25 31 32 35 39
a 2 5 6 7 9 10 23 24 25 28 31 32 35 39
a 4 5 6 7 9 10 23 24 25 28 31 32 35 39
a 4 5 6 7 9 23 24 25 28 31 32 35 36 39
a 4 5 7 9 15 23 24 25 28 31 32 35 36 39
a 4 5 7 9 15 23 24 25 28 29 31 32 35 36
a 5 7 9 15 23 24 25 28 29 31 32 34 35 36
a 4 5 7 9 15 23 25 28 29 31 32 34 35 36
a 4 5 9 15 23 24 25 28 29 31 32 34 35 36
a 4 5 7 9 15 23 24 28 29 31 32 34 35 36
a 4 5 7 15 23 24 25 28 29 31 32 34 35 36
a 4 5 7 9 23 24 25 28 29 31 32 34 35 36
a 4 5 7 9 13 23 24 25 29 31 32 34 35 36
a 4 5 9 13 23 24 25 29 31 32 33 34 35 36
a 4 5 9 23 24 25 28 29 31 32 33 34 35 36
a 4 5 9 23 24 25 28 31 32 33 34 35 36 39
a 4 5 9 10 23 24 25 28 31 32 33 34 35 39
a 4 5 9 10 23 24 25 28 29 31 32 33 34 35
a 4 5 9 10 20 23 24 25 28 29 31 32 33 34
a 4 5 6 9 10 20 23 24 25 28 29 31 32 34
a 4 5 7 9 10 20 23 24 25 28 29 31 32 34
a 4 5 7 9 10 23 24 25 28 29 31 32 34 35
a 4 5 6 7 9 10 23 24 25 28 31 32 34 35
a 4 5 6 7 9 23 24 25 28 31 32 34 35 36
a 4 5 7 9 15 23 24 25 28 31 32 34 35 36
a 4 5 9 15 23 24 25 28 31 32 34 35 36 39
a 4 5 6 9 23 24 25 28 31 32 34 35 36 39
a 4 6 7 9 23 24 25 28 31 32 34 35 36 39
a 4 5 6 7 9 23 24 25 28 31 32 34 35 39
a 2 5 6 7 9 23 24 25 28 31 32 34 35 39
a 1 2 5 6 7 9 24 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 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 25 28 32 34 35 39
a 1 2 5 6 7 10 18 24 25 28 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 18 24 25 28 32 34 35 39
a 1 2 5 6 7 9 18 24 25 30 32 34 35 39
a 1 2 6 7 9 18 24 25 30 31 32 34 35 39
a 2 4 6 7 9 18 24 25 30 31 32 34 35 39
a 2 4 6 7 9 17 18 25 30 31 32 34 35 39
a 4 6 7 9 17 18 24 25 30 31 32 34 35 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 4 5 6 7 9 18 19 24 25 32 34 35 39
a 2 4 5 6 7 9 18 19 24 31 32 34 35 39
a 2 4 5 6 7 9 13 18 19 24 31 32 34 35
a 4 5 6 7 9 13 18 19 24 29 31 32 34 35
a 4 5 6 7 9 13 18 19 24 30 31 32 34 35
a 4 5 6 7 9 18 19 24 30 31 32 34 35 39
a 4 5 6 7 9 18 19 24 25 31 32 34 35 39
a 2 4 5 6 7 9 18 24 25 31 32 34 35 39
a 2 4 5 6 7 9 18 24 25 30 31 32 34 39
a 2 4 5 6 7 9 13 18 24 25 30 31 32 34
a 2 4 5 6 7 9 13 18 19 24 25 30 31 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 4 5 6 7 9 18 19 24 25 30 31 34 35 39
a 4 5 6 7 9 10 18 19 24 25 31 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 18 24 25 28 31 32 34 39
a 4 5 6 7 9 10 18 24 25 28 32 34 35 39
a 4 5 6 7 9 18 24 25 28 32 34 35 36 39
a 4 5 6 7 18 24 25 28 31 32 34 35 36 39
a 4 5 6 7 9 18 24 28 31 32 34 35 36 39
a 4 5 6 7 9 18 24 25 28 31 32 34 35 39
a 2 4 5 7 9 18 24 25 28 31 32 34 35 39
a 2 4 5 6 7 9 18 24 25 28 31 34 35 39
a 2 4 5 6 9 10 18 24 25 28 31 34 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 39
a 2 4 5 6 9 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 9 10 18 24 28 31 32 34 35 39
a 2 5 6 7 9 10 18 24 28 31 32 34 35 39
a 1 2 6 7 9 10 18 24 28 31 32 34 35 39
a 1 2 6 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 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 39
a 1 5 6 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 5 6 7 9 10 18 24 25 28 29 31 32 35
a 1 5 6 7 9 10 18 24 25 26 28 29 31 35
a 1 5 6 7 9 10 18 24 25 26 28 31 34 35
a 1 5 6 7 9 10 23 24 25 26 28 31 34 35
a 2 5 6 7 9 10 23 24 25 26 28 31 34 35
a 1 2 6 7 9 10 23 24 25 26 28 31 34 35
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 23 25 28 31 32 34 39
a 1 2 5 6 7 9 10 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 18 25 31 32 34 35 39
a 1 2 5 7 9 10 18 25 28 31 32 34 35 39
a 1 2 5 7 9 10 18 24 25 28 31 32 34 35
a 1 2 5 7 10 18 24 25 28 31 32 34 35 38
a 1 2 5 6 7 10 24 25 28 31 32 34 35 38
a 1 5 6 7 10 23 24 25 28 31 32 34 35 38
a 1 2 5 6 10 23 24 25 28 31 32 34 35 38
a 1 2 6 7 10 23 24 25 28 31 32 34 35 38
a 1 2 5 7 10 23 24 25 28 31 32 34 35 38
a 1 2 5 7 10 23 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 6 7 10 24 25 26 28 31 34 35 38
a 1 2 5 6 7 10 18 24 25 26 28 31 34 35
a 1 2 5 7 9 10 18 24 25 26 28 31 34 35
a 1 2 5 6 7 9 10 18 24 25 26 28 31 35
a 1 2 6 7 9 10 18 24 25 26 28 31 34 35
a 1 2 5 6 7 9 18 24 25 26 28 31 34 35
a 1 2 5 6 7 9 13 18 24 25 26 31 34 35
a 1 2 5 6 7 9 10 18 24 25 26 31 34 35
a 1 2 5 6 7 10 18 24 25 26 31 34 35 38
a 1 2 5 6 7 10 18 24 25 26 28 31 35 38
a 1 2 5 6 7 10 23 24 25 26 28 31 35 38
a 1 2 5 6 7 10 23 24 25 26 28 34 35 38
a 1 2 6 7 10 23 24 25 26 28 31 34 35 38
a 2 5 6 7 10 23 24 25 26 28 31 34 35 38
a 1 2 5 6 7 10 23 25 26 28 31 34 35 38
a 1 2 5 6 10 23 24 25 26 28 31 34 35 38
a 1 2 5 6 7 10 23 24 25 28 31 34 35 38
a 2 5 6 7 10 23 24 25 28 31 32 34 35 38
a 1 2 5 6 7 10 23 24 28 31 32 34 35 38
a 1 2 5 6 7 10 23 24 25 28 31 32 34 38
a 1 2 5 6 7 10 18 24 25 28 31 32 34 38
a 1 2 5 6 7 10 18 24 25 26 28 31 34 38
a 1 2 5 6 7 18 24 25 26 28 31 34 35 38
a 1 5 6 7 10 18 24 25 26 28 31 34 35 38
a 1 5 6 7 10 18 24 25 28 31 32 34 35 38
a 1 5 6 7 10 18 24 25 28 29 31 32 34 35
a 1 2 5 6 7 10 18 24 25 28 31 32 34 35
a 1 2 5 6 7 9 10 24 25 28 31 32 34 35
a 1 2 5 6 7 9 10 24 28 31 32 34 35 39
a 2 5 6 7 9 10 24 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 24 25 31 32 34 35 39
a 1 2 5 6 9 10 24 25 28 31 32 34 35 39
a 1 2 5 6 9 18 24 25 28 31 32 34 35 39
a 1 2 5 6 10 18 24 25 28 31 32 34 35 39
a 2 4 5 6 10 18 24 25 28 31 32 34 35 39
a 2 4 5 6 7 10 18 24 25 28 31 32 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 25 28 31 32 39
a 2 4 5 6 7 9 10 18 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 6 7 9 18 19 24 25 31 32 34 39
a 4 5 6 7 9 18 19 24 25 30 31 32 34 39
a 4 5 6 7 9 18 19 24 25 30 31 32 34 35
a 4 5 6 7 13 18 19 24 25 30 31 32 34 35
a 2 4 5 6 7 13 18 19 25 30 31 32 34 35
a 2 4 5 6 7 13 18 19 24 25 30 31 32 35
a 2 4 5 6 7 18 19 24 25 30 31 32 34 35
a 2 5 6 7 13 18 19 24 25 30 31 32 34 35
a 2 5 6 7 9 13 18 24 25 30 31 32 34 35
a 1 2 5 6 7 9 18 24 25 30 31 32 34 35
a 1 2 6 7 9 13 18 24 25 30 31 32 34 35
a 1 5 6 7 9 13 18 24 25 30 31 32 34 35
a 4 5 6 7 9 13 18 24 25 30 31 32 34 35
a 4 5 6 7 9 13 18 19 24 25 30 31 32 35
a 2 4 5 6 7 9 13 18 19 25 30 31 32 35
a 2 4 5 6 7 9 18 19 25 30 31 32 34 35
a 2 4 6 7 9 17 18 19 25 30 31 32 34 35
a 2 4 6 7 9 17 19 25 30 31 32 34 35 39
a 2 4 5 6 7 9 19 25 30 31 32 34 35 39
a 2 4 5 6 7 19 24 25 30 31 32 34 35 39
a 2 4 5 6 7 10 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 18 19 24 25 30 32 34 35 39
a 2 4 5 6 7 18 19 24 25 30 31 32 35 39
a 2 4 5 6 7 10 18 19 24 25 31 32 35 39
a 2 4 5 6 7 9 18 19 24 25 31 32 35 39
a 2 4 5 6 7 9 13 18 19 24 25 31 32 35
a 2 5 6 7 9 13 18 19 24 25 30 31 32 35
a 1 2 5 6 7 9 13 18 24 25 30 31 32 35
a 1 2 5 6 7 9 13 24 25 30 31 32 34 35
a 1 2 5 6 7 9 13 24 25 26 30 31 34 35
a 1 2 5 6 7 9 13 18 24 25 26 30 34 35
a 1 2 5 6 7 9 11 13 18 24 25 30 34 35
a 2 5 6 7 9 11 13 18 24 25 30 32 34 35
a 1 2 5 6 7 9 11 13 18 25 30 32 34 35
a 1 2 5 6 9 11 13 18 24 25 30 32 34 35
a 1 2 5 6 9 11 13 23 24 25 30 32 34 35
a 1 2 6 7 9 11 13 23 24 25 30 32 34 35
a 1 2 6 7 9 11 13 23 24 25 26 30 34 35
a 1 2 6 7 9 13 23 24 25 26 30 31 34 35
a 1 2 6 7 9 13 23 24 25 30 31 32 34 35
a 1 2 5 6 7 9 13 23 25 30 31 32 34 35
a 1 2 5 6 7 9 13 23 24 25 30 32 34 35
a 1 2 5 6 7 9 11 13 23 24 30 32 34 35
a 1 2 5 6 7 9 11 13 24 25 30 32 34 35
a 1 2 5 6 7 9 11 13 24 25 26 30 34 35
a 1 5 6 7 9 11 13 24 25 26 27 30 34 35
a 1 5 6 7 11 13 18 24 25 26 27 30 34 35
a 1 5 6 7 9 11 13 18 25 26 27 30 34 35
a 1 5 6 7 9 13 18 24 25 26 27 30 34 35
a 1 5 6 7 9 11 13 18 24 26 27 30 34 35
a 1 5 6 7 9 11 13 18 24 25 26 27 30 34
a 1 5 6 7 9 11 13 23 24 25 26 27 30 34
a 1 5 6 7 9 11 13 23 24 25 26 27 34 35
a 1 5 6 7 9 10 11 23 24 25 26 27 34 35
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: 385
#END: [Mon Sep  4 21:51:43 2023]