#BEGIN: [Tue Sep  5 05:54:30 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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
TIMEOUT 1800
c send SIGTERM to CID dca419e9c42eb465bb41f7fa202b7278fa2ee6726d376d54bcab2c14c2ee3935
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 7 9 11 13 23 24 25 29 32 34 35 36
a 1 5 6 7 9 11 13 23 24 25 29 32 34 35
a 1 5 6 7 9 11 13 18 24 25 29 32 34 35
a 1 5 6 7 9 10 11 18 24 25 29 32 34 35
a 1 5 6 7 9 10 11 18 24 25 26 29 34 35
a 1 5 6 7 9 10 18 24 25 26 29 31 34 35
a 1 2 5 6 7 9 10 18 24 25 26 31 34 35
a 1 2 5 6 7 9 18 24 25 26 30 31 34 35
a 1 2 5 6 7 9 13 18 24 25 26 30 31 34
a 1 2 5 6 7 9 13 18 24 25 26 31 34 35
a 1 2 5 6 9 12 13 18 24 25 26 31 34 35
a 1 2 5 6 9 11 12 13 18 24 25 26 34 35
a 1 2 5 6 7 9 11 13 18 24 25 26 34 35
a 1 2 5 6 7 9 10 11 18 24 25 26 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 24 25 28 31 34 35
a 1 5 6 7 9 10 18 24 25 28 29 31 34 35
a 1 5 6 7 9 10 18 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 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 19 24 25 31 34 35 39
a 2 5 6 7 9 18 19 24 25 31 32 34 35 39
a 2 5 6 7 9 18 19 24 25 30 31 32 34 35
a 2 4 5 6 7 9 18 24 25 30 31 32 34 35
a 2 4 5 6 7 9 18 24 25 30 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 9 10 18 24 25 31 32 34 39
a 2 4 5 6 7 9 10 18 24 25 31 34 35 39
a 4 5 6 7 9 10 18 24 25 31 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 19 24 25 32 35 39
a 4 5 6 7 9 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 6 7 9 10 18 19 24 25 31 32 35 39
a 2 4 5 6 7 9 10 19 24 25 31 32 35 39
a 2 4 5 6 7 9 10 23 24 25 31 32 35 39
a 2 4 5 6 7 9 10 23 25 31 32 34 35 39
a 1 2 5 6 7 9 10 23 25 31 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 25 28 31 32 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 24 25 28 31 34 35 39
a 1 2 5 6 7 9 24 25 28 31 32 34 35 39
a 2 5 6 7 9 10 24 25 28 31 32 34 35 39
a 2 4 5 7 9 10 24 25 28 31 32 34 35 39
a 1 2 5 7 9 10 24 25 28 31 32 34 35 39
a 1 2 5 7 9 10 23 24 25 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 9 10 23 24 25 28 31 32 35 39
a 1 2 5 6 9 10 23 24 25 28 32 34 35 39
a 1 2 5 6 7 9 10 23 24 28 32 34 35 39
a 1 2 5 6 7 10 23 24 28 31 32 34 35 39
a 1 2 5 6 7 9 10 23 24 28 31 32 35 39
a 1 2 5 6 7 9 10 23 24 31 32 34 35 39
a 1 2 5 6 7 9 10 24 25 31 32 34 35 39
a 2 4 5 6 7 9 10 24 25 31 32 34 35 39
a 4 5 6 7 9 10 24 25 28 31 32 34 35 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 31 32 34 35 39
a 2 4 5 6 9 10 23 24 25 31 32 34 35 39
a 4 5 6 9 10 23 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 23 24 25 28 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 24 25 28 31 32 35 39
a 2 4 6 7 9 10 24 25 28 31 32 34 35 39
a 4 6 7 9 10 18 24 25 28 31 32 34 35 39
a 4 6 7 9 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 2 4 6 7 9 10 18 24 25 28 31 34 35 39
a 2 4 6 7 10 18 24 25 28 31 32 34 35 39
a 2 4 6 7 9 18 24 25 28 31 32 34 35 39
a 2 4 6 7 9 10 18 25 28 31 32 34 35 39
a 2 4 6 7 9 10 18 24 28 31 32 34 35 39
a 2 4 7 9 10 18 24 25 28 31 32 34 35 39
a 4 5 7 9 10 18 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 18 24 25 28 32 34 35 39
a 4 5 6 7 10 18 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 18 25 28 31 32 34 35 39
a 4 5 6 7 9 18 24 25 28 31 32 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 25 28 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 9 18 19 25 30 31 32 34 35 39
a 2 4 5 6 7 9 18 19 25 31 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 2 5 6 7 9 13 18 19 24 30 31 32 34 35
a 2 5 6 7 9 13 18 19 24 25 30 31 32 35
a 2 4 5 6 7 9 18 19 24 25 30 31 32 35
a 2 4 5 6 7 9 18 19 24 30 31 32 35 39
a 2 4 6 7 9 18 19 24 25 30 31 32 35 39
a 2 4 5 6 9 18 19 24 25 30 31 32 35 39
a 2 5 6 7 9 18 19 24 25 30 31 32 35 39
a 2 5 6 7 9 10 18 19 24 25 31 32 35 39
a 1 2 5 6 7 9 10 18 24 25 31 32 35 39
a 1 2 5 6 7 9 10 23 24 25 31 32 35 39
a 1 2 5 6 7 9 10 23 24 25 28 31 35 39
a 1 2 5 6 7 9 10 23 24 25 28 34 35 39
a 1 2 5 6 7 10 23 24 25 28 31 34 35 39
a 1 5 6 7 9 10 23 24 25 28 31 34 35 39
a 1 6 7 9 10 23 24 25 28 31 32 34 35 39
a 2 6 7 9 10 23 24 25 28 31 32 34 35 39
a 2 5 7 9 10 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 5 6 7 9 23 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 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 23 25 28 32 34 35 39
a 1 2 5 7 9 10 23 24 25 28 32 34 35 39
a 1 2 5 6 7 9 10 23 24 25 28 32 34 39
a 1 2 5 6 7 9 10 23 24 25 32 34 35 39
a 1 2 5 6 7 9 10 23 24 25 28 32 35 39
a 1 2 6 7 9 10 23 24 25 28 32 34 35 39
a 2 5 6 7 9 10 23 24 25 28 32 34 35 39
a 2 5 6 7 10 23 24 25 28 31 32 34 35 39
a 1 2 5 6 7 10 23 24 25 31 32 34 35 39
a 1 2 5 6 7 10 24 25 28 31 32 34 35 39
a 1 2 5 6 7 10 23 24 25 28 31 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 23 24 25 28 31 34 35
a 2 5 6 7 9 10 23 24 25 28 31 34 35 39
a 2 5 6 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 23 24 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 25 28 31 32 34 35 39
a 1 2 5 6 7 9 18 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 18 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 10 24 25 28 31 32 34 35
a 1 2 5 6 7 9 18 24 25 28 31 32 34 35
a 1 2 5 6 9 18 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 4 5 6 9 10 18 24 25 28 31 32 35 39
a 2 4 6 9 10 18 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 4 5 6 9 23 24 25 28 31 32 34 35 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 31 32 34 35 39
a 2 4 5 6 7 9 23 25 28 31 32 34 35 39
a 4 5 6 7 9 23 24 25 28 31 32 34 35 39
a 2 4 5 7 9 23 24 25 28 31 32 34 35 39
a 1 2 5 7 9 23 24 25 28 31 32 34 35 39
a 1 2 5 6 7 9 23 24 25 28 31 32 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 24 25 28 31 32 35 39
a 1 2 5 6 7 9 10 23 24 25 28 31 32 39
a 2 4 5 6 7 9 10 23 24 25 28 31 32 39
a 2 4 5 6 7 9 10 23 24 25 31 32 34 39
a 2 4 5 6 7 10 23 24 25 31 32 34 35 39
a 2 4 5 7 9 10 23 24 25 31 32 34 35 39
a 1 2 5 7 9 10 23 24 25 31 32 34 35 39
a 1 2 5 7 9 10 18 24 25 31 32 34 35 39
a 1 5 6 7 9 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 1 2 5 6 7 9 10 18 24 31 32 34 35 39
a 2 5 6 7 9 10 18 24 25 31 32 34 35 39
a 2 5 6 7 9 10 18 24 25 28 32 34 35 39
a 2 5 6 7 9 10 18 24 28 31 32 34 35 39
a 2 5 6 7 10 18 24 25 28 31 32 34 35 39
a 2 5 7 9 10 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 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 5 6 7 9 10 18 25 28 31 32 34 35
a 2 4 5 6 7 9 10 23 25 28 31 32 34 35
a 2 5 6 7 9 10 23 25 28 31 32 34 35 39
a 2 5 6 7 9 10 18 25 28 31 32 34 35 39
a 2 5 6 7 9 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 35 39
a 2 4 5 6 7 9 10 18 24 25 28 34 35 39
a 4 5 6 7 9 10 18 24 25 28 31 34 35 39
a 4 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 32 34 35
a 1 5 6 7 9 10 18 24 28 31 32 34 35 39
a 4 5 6 7 9 10 18 24 28 31 32 34 35 39
a 2 4 5 6 7 9 10 18 24 28 31 34 35 39
a 2 4 5 6 7 9 10 24 25 28 31 34 35 39
a 2 4 5 6 7 10 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 4 5 6 7 18 24 25 28 31 32 34 35 39
a 4 5 6 7 18 24 25 28 31 32 34 35 36 39
a 4 5 6 7 9 18 24 25 28 31 32 34 35 36
a 2 4 5 6 7 9 18 24 25 28 31 32 34 35
a 2 4 5 6 7 9 18 24 28 31 32 34 35 39
a 2 4 5 6 7 9 10 18 24 28 31 32 34 39
a 1 2 5 6 7 9 10 18 24 28 31 32 34 39
a 1 2 5 6 7 9 10 18 24 28 31 32 35 39
a 1 2 5 6 7 9 10 18 24 25 28 31 35 39
a 1 2 5 6 7 9 18 24 25 28 31 32 35 39
a 1 2 5 6 7 9 18 24 25 31 32 34 35 39
a 1 2 6 7 9 10 18 24 25 31 32 34 35 39
a 1 2 5 6 7 9 10 18 24 25 31 32 34 39
a 1 2 5 6 9 10 18 24 25 31 32 34 35 39
a 1 2 5 6 9 10 18 24 25 28 32 34 35 39
a 1 2 5 6 10 18 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 2 5 6 7 10 18 24 25 28 31 32 34 39
a 1 2 5 6 7 10 18 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 35 39
a 1 2 5 7 10 18 24 25 28 31 32 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 25 28 34 35 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 6 7 10 18 24 25 28 31 32 34 35 39
a 1 2 6 7 9 10 18 24 25 28 31 32 34 35
a 2 4 6 7 9 10 18 24 25 28 31 32 34 35
a 2 6 7 9 10 18 24 25 28 31 32 34 35 39
a 2 4 6 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 39
a 2 4 5 6 7 9 10 18 19 24 25 31 32 39
a 2 4 5 6 7 9 10 18 19 24 31 32 34 39
a 4 5 6 7 9 10 18 19 24 25 31 32 34 39
a 2 4 5 6 7 9 18 19 24 25 31 32 34 39
a 2 4 5 6 7 9 18 24 25 31 32 34 35 39
a 2 4 5 6 7 9 18 19 24 25 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 18 19 24 25 30 31 34 35 39
a 2 5 6 7 9 18 19 24 25 30 31 34 35 39
a 5 6 7 9 18 19 24 25 30 31 32 34 35 39
a 5 6 7 9 13 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 4 5 6 7 9 18 19 24 25 29 31 32 34 35
a 4 6 7 9 10 18 19 24 25 29 31 32 34 35
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 6 7 9 18 19 24 25 31 32 34 35 39
a 2 4 5 6 9 18 19 24 25 31 32 34 35 39
a 2 4 5 6 10 18 19 24 25 31 32 34 35 39
a 2 4 5 6 9 10 18 19 24 25 31 34 35 39
a 2 5 6 9 10 18 19 24 25 31 32 34 35 39
a 2 4 5 6 9 10 18 19 24 31 32 34 35 39
a 2 4 5 6 9 10 18 19 24 25 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 23 25 28 32 34 35 39
a 4 5 6 7 9 10 23 25 28 31 32 34 35 39
a 1 5 6 7 9 10 23 25 28 31 32 34 35 39
a 1 2 5 6 7 9 10 23 25 28 31 32 34 39
a 1 2 5 6 7 10 23 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 7 9 10 23 24 25 28 31 32 34 35 39
a 1 2 6 9 10 23 24 25 28 31 32 34 35 39
a 1 2 6 9 10 18 24 25 28 31 32 34 35 39
a 1 2 6 7 9 10 18 24 28 31 32 34 35 39
a 1 2 5 6 7 9 10 18 24 28 31 34 35 39
a 1 2 5 6 7 10 18 24 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 10 18 24 25 28 31 32 34 35
a 1 2 5 6 7 10 18 24 25 26 28 31 34 35
a 2 5 6 7 9 10 18 24 25 26 28 31 34 35
a 2 5 6 7 9 10 18 24 25 28 31 32 34 35
a 2 4 5 6 7 9 10 18 24 25 28 31 32 34
a 2 5 6 7 9 10 18 24 25 28 31 32 34 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 5 6 7 9 18 24 25 28 31 32 34 39
a 1 2 5 6 7 9 23 24 25 28 31 32 34 39
a 1 2 5 6 7 9 23 24 25 28 31 32 34 35
a 1 2 5 6 9 23 24 25 28 31 32 34 35 39
a 1 2 5 6 9 12 24 25 28 31 32 34 35 39
a 2 5 6 9 12 18 24 25 28 31 32 34 35 39
a 5 6 9 12 18 24 25 28 31 32 34 35 36 39
a 5 6 9 12 18 24 25 28 29 31 32 34 35 36
a 5 6 9 12 13 18 24 25 29 31 32 34 35 36
a 5 6 9 12 13 18 19 24 25 29 31 32 34 35
a 1 5 6 9 12 13 18 24 25 29 31 32 34 35
a 1 5 6 7 9 13 18 24 25 29 31 32 34 35
a 5 6 7 9 13 18 19 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 24 25 28 29 31 32 34 35
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 2 5 6 9 10 23 24 25 28 31 32 34 35 39
a 1 2 5 9 10 23 24 25 28 31 32 34 35 39
a 2 4 5 9 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 7 9 10 23 24 25 28 31 34 35 39
a 2 4 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 7 9 10 23 24 25 28 31 32 34 35 39
a 4 5 6 7 9 10 23 24 25 28 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 24 25 28 31 32 34 35
a 1 5 6 7 10 23 24 25 28 31 32 34 35 38
a 1 5 6 7 10 23 24 25 28 31 32 34 35 39
a 1 5 6 7 10 18 24 25 28 31 32 34 35 39
a 5 6 7 9 10 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 39
a 2 4 5 6 7 9 18 24 25 28 31 32 35 39
a 2 4 5 6 7 9 18 24 25 28 31 34 35 39
a 2 4 5 6 7 9 10 18 25 28 31 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 24 25 31 32 34 35 39
a 2 4 5 6 7 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 7 9 18 19 24 25 30 31 32 34 35
a 2 4 5 9 18 19 24 25 30 31 32 34 35 39
a 2 4 7 9 18 19 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 19 24 25 30 31 32 34 35 39
a 2 4 5 6 9 19 24 25 30 31 32 34 35 39
a 2 4 5 6 7 9 19 24 25 31 32 34 35 39
a 2 4 5 7 9 10 19 24 25 31 32 34 35 39
a 2 4 5 7 9 10 18 19 25 31 32 34 35 39
a 2 4 5 6 7 9 10 18 25 31 32 34 35 39
a 1 2 5 6 7 9 10 18 25 31 32 34 35 39
a 1 2 6 7 9 10 18 25 28 31 32 34 35 39
a 1 2 5 6 9 10 18 25 28 31 32 34 35 39
a 1 2 5 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 5 6 7 9 10 18 25 28 29 31 32 34 35
a 5 6 7 9 10 18 24 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 10 18 24 25 26 28 29 31 34 35
a 1 6 7 9 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 25 26 28 29 31 34 35
a 1 5 6 7 9 10 18 24 25 26 28 31 34 35
a 1 2 6 7 9 10 18 24 25 26 28 31 34 35
a 1 2 6 7 9 10 18 24 25 28 31 34 35 39
a 1 2 6 7 9 18 24 25 28 31 32 34 35 39
a 1 5 6 7 9 18 24 25 28 31 32 34 35 39
a 5 6 7 9 18 24 25 28 31 32 34 35 36 39
a 4 6 7 9 18 24 25 28 31 32 34 35 36 39
a 4 5 7 9 18 24 25 28 31 32 34 35 36 39
a 4 5 6 7 9 24 25 28 31 32 34 35 36 39
a 5 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 36
a 4 6 7 9 23 24 25 28 31 32 34 35 36 39
a 4 5 6 7 23 24 25 28 31 32 34 35 36 39
a 2 4 5 6 7 23 24 25 28 31 32 34 35 39
a 2 4 5 6 7 23 24 25 30 31 32 34 35 39
a 2 4 5 6 7 18 24 25 30 31 32 34 35 39
a 1 2 5 6 7 18 24 25 30 31 32 34 35 39
a 1 5 6 7 9 18 24 25 30 31 32 34 35 39
a 1 2 5 6 7 9 18 25 30 31 32 34 35 39
a 1 2 5 6 7 9 24 25 30 31 32 34 35 39
a 2 5 6 7 9 23 24 25 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 34 35 39
a 1 2 6 7 9 18 24 25 30 31 32 34 35 39
a 1 2 5 7 9 18 24 25 30 31 32 34 35 39
a 2 4 5 7 9 18 24 25 30 31 32 34 35 39
a 2 4 5 7 9 18 19 24 25 30 31 32 34 39
a 2 4 5 7 9 10 18 19 24 25 31 32 34 39
a 2 4 5 6 7 9 10 19 24 25 31 32 34 39
a 2 4 5 6 7 9 10 19 24 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 9 10 19 24 25 32 34 35 39
a 2 4 5 6 7 9 10 18 19 24 25 32 34 39
a 2 4 5 6 7 10 18 19 24 25 32 34 35 39
a 2 4 5 6 7 10 18 24 25 28 32 34 35 39
a 2 4 5 6 9 10 18 24 25 28 32 34 35 39
a 2 4 5 6 9 10 23 24 25 28 32 34 35 39
a 2 4 5 6 9 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 31 32 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 23 25 28 31 34 35 39
a 2 4 5 6 7 9 10 23 24 28 31 34 35 39
a 1 2 5 6 7 9 10 23 24 28 31 34 35 39
a 1 2 5 6 7 9 23 24 28 31 32 34 35 39
a 1 2 5 7 9 10 23 24 28 31 32 34 35 39
a 1 2 5 6 7 9 10 23 24 28 31 32 34 35
a 1 2 6 7 9 10 23 24 28 31 32 34 35 39
a 1 2 6 7 9 10 23 24 25 28 31 32 34 35
a 1 2 6 7 9 10 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 28 31 32 34 35 39
a 2 4 5 6 7 9 10 23 24 28 31 32 35 39
a 2 4 6 7 9 10 23 24 25 28 31 32 35 39
a 2 4 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 10 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 6 7 9 10 23 24 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 24 28 31 32 34 35 39
a 2 4 5 6 9 10 23 24 28 31 32 34 35 39
a 2 4 5 6 9 10 23 24 25 28 31 32 35 39
a 2 5 6 7 9 10 23 24 25 28 31 32 35 39
a 2 4 5 6 7 9 23 24 25 28 31 32 35 39
a 2 4 5 6 7 9 23 24 25 30 31 32 35 39
a 2 4 5 6 7 9 23 24 25 30 31 32 34 35
a 2 4 5 6 7 9 23 25 30 31 32 34 35 39
a 2 4 5 6 7 9 23 24 25 30 32 34 35 39
a 2 4 5 6 7 9 19 24 25 30 32 34 35 39
a 2 4 5 6 7 9 24 25 30 31 32 34 35 39
a 2 4 5 6 9 18 24 25 30 31 32 34 35 39
a 2 4 6 9 17 18 24 25 30 31 32 34 35 39
a 2 4 6 7 9 17 24 25 30 31 32 34 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 25 30 31 32 34 35 39
a 2 4 5 6 7 9 18 25 30 31 32 34 35 39
a 2 4 5 6 7 9 13 18 25 30 31 32 34 35
a 2 4 5 6 7 9 13 18 24 25 30 31 32 34
a 2 5 6 7 9 13 18 24 25 30 31 32 34 35
a 2 5 6 7 9 11 13 18 24 25 30 32 34 35
a 2 5 6 7 9 11 18 24 25 30 32 34 35 39
a 2 5 6 7 9 18 19 24 25 30 32 34 35 39
a 2 4 5 6 7 9 18 19 25 30 32 34 35 39
a 2 4 5 6 7 9 18 19 24 25 30 32 34 35
a 2 4 5 6 7 18 19 24 25 30 32 34 35 39
a 2 4 5 6 7 9 18 19 24 30 32 34 35 39
a 4 5 6 7 9 18 19 24 25 30 32 34 35 39
a 2 4 5 6 9 18 19 24 25 30 32 34 35 39
a 2 4 6 7 9 18 19 24 25 30 32 34 35 39
a 2 4 6 7 9 18 19 25 30 31 32 34 35 39
a 2 4 6 7 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 5 6 7 9 18 19 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 10 18 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 4 5 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 19 24 25 31 35 39
a 2 4 5 6 7 9 10 18 19 24 31 32 35 39
a 4 5 6 7 9 10 18 19 24 31 32 34 35 39
a 2 4 5 6 7 10 18 19 24 31 32 34 35 39
a 2 4 5 6 7 10 18 24 28 31 32 34 35 39
a 2 4 5 6 7 10 18 25 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 9 10 18 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 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 4 5 6 7 9 10 18 24 25 28 29 31 32 35
a 4 5 6 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 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 4 5 6 7 10 18 24 25 28 29 31 32 34 35
a 4 5 6 7 10 18 19 24 25 29 31 32 34 35
a 4 5 6 7 9 10 18 19 25 29 31 32 34 35
a 2 4 5 6 7 9 10 18 19 25 31 32 34 35
a 4 5 6 7 9 10 18 19 25 31 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 18 19 25 31 34 35 39
a 2 5 6 7 9 10 18 19 25 31 32 34 35 39
a 2 6 7 9 10 18 19 24 25 31 32 34 35 39
a 2 5 6 7 9 10 18 19 24 25 32 34 35 39
a 4 5 6 7 9 10 18 19 24 25 32 34 35 39
a 4 5 6 9 10 18 19 24 25 31 32 34 35 39
a 5 6 7 9 10 18 19 24 25 31 32 34 35 39
a 4 5 7 9 10 18 19 24 25 31 32 34 35 39
a 4 5 7 9 18 19 24 25 30 31 32 34 35 39
a 4 5 6 7 9 18 19 24 25 30 31 32 35 39
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 5 6 7 9 13 18 19 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 9 13 19 25 30 31 32 34 35
a 2 4 5 6 7 9 13 18 19 25 31 32 34 35
a 2 4 5 7 9 13 18 19 24 25 31 32 34 35
a 4 5 7 9 13 18 19 24 25 29 31 32 34 35
a 4 5 6 7 9 13 18 19 25 29 31 32 34 35
a 4 5 6 7 13 18 19 24 25 29 31 32 34 35
a 4 5 6 7 9 13 18 19 24 25 29 32 34 35
a 4 5 6 7 9 13 18 19 24 25 29 31 32 35
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 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 11 13 18 24 25 32 34 35
a 1 2 5 6 7 9 11 18 24 25 32 34 35 39
a 1 2 5 6 7 9 10 11 18 24 25 34 35 39
a 1 5 6 7 9 10 11 18 24 25 27 34 35 39
c Step: 483
#END: [Tue Sep  5 06:24:30 2023]