#BEGIN: [Mon Sep  4 23:28:13 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /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
TIMEOUT 1800
c send SIGTERM to CID 78cd0430706f385c5c9074826fe6a45d8cf36a6bc6c02f2dc88945a051e4f077
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 14 17 21 22 23 28 29 31 34 39
a 6 9 13 14 17 21 22 23 29 31 34 39
a 6 9 13 14 17 21 22 28 29 31 34 39
a 6 13 14 17 21 22 23 28 29 31 34 39
a 5 13 14 17 21 22 23 28 29 31 34 39
a 5 13 14 17 21 23 25 28 29 31 34 39
a 5 13 14 17 21 23 25 29 31 34 35 39
a 5 12 13 14 21 23 25 29 31 34 35 39
a 5 10 12 13 14 21 23 25 29 31 34 39
a 5 9 10 12 13 14 21 23 25 29 31 34
a 5 9 10 12 13 14 21 23 25 28 29 31
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 31 34 37
a 6 9 10 12 13 14 21 23 25 30 31 37
a 9 10 12 13 14 21 23 25 28 30 31 37
a 9 10 12 13 14 21 23 25 28 29 30 31
a 5 9 10 12 13 14 23 25 28 29 30 31
a 5 9 10 12 13 21 23 25 28 29 30 31
a 5 9 10 12 13 14 21 23 25 28 29 30
a 5 9 10 12 13 14 21 23 25 28 29 34
a 9 10 12 13 14 21 23 25 28 29 30 34
a 5 9 12 13 14 21 23 25 28 29 30 34
a 5 9 12 14 16 21 23 25 28 29 30 34
a 5 9 14 16 17 21 23 25 28 29 30 34
a 5 9 13 14 17 21 23 25 28 29 30 34
a 5 9 13 14 21 23 25 28 29 30 31 34
a 4 5 9 13 14 21 25 28 29 30 31 34
a 4 5 9 10 13 14 21 25 28 29 30 34
a 5 9 10 13 14 21 23 25 28 29 30 34
a 5 9 10 13 14 21 23 25 28 29 30 31
a 5 9 10 13 14 21 23 25 28 30 31 37
a 9 10 13 14 19 21 23 25 28 30 31 37
a 9 10 13 14 19 21 23 28 30 31 34 37
a 9 10 13 14 19 21 23 25 28 30 34 37
a 9 10 13 14 19 21 23 25 28 31 34 37
a 9 10 12 13 14 19 21 23 28 31 34 37
a 9 10 12 13 14 19 21 23 31 34 37 39
a 10 12 13 14 18 19 21 23 31 34 37 39
a 6 10 13 14 18 19 21 23 31 34 37 39
a 6 10 13 14 18 19 21 23 25 31 34 39
a 6 13 14 17 18 19 21 23 25 31 34 39
a 6 13 14 17 18 19 21 23 25 30 31 34
a 6 13 14 18 19 21 23 25 28 30 31 34
a 13 14 18 19 21 23 25 28 30 31 34 37
a 13 14 18 19 21 22 23 28 30 31 34 37
a 6 13 14 18 19 21 22 23 28 31 34 37
a 6 13 14 18 19 21 22 23 28 30 31 37
a 6 13 14 18 19 21 23 25 28 30 31 37
a 6 12 13 14 18 19 21 23 25 28 30 31
a 6 12 13 14 18 19 21 23 25 28 31 34
a 12 13 14 18 19 21 23 25 28 30 31 34
a 6 12 13 14 18 19 23 25 28 30 31 34
a 6 12 13 14 18 19 21 23 25 30 31 34
a 6 12 13 14 18 19 21 23 25 28 30 34
a 6 12 13 14 18 21 23 25 28 30 31 34
a 6 12 14 18 21 23 25 28 30 31 34 37
a 6 12 14 18 19 21 23 25 28 30 31 34
a 6 10 12 14 18 19 21 23 25 28 30 31
a 10 12 13 14 18 19 21 23 25 28 30 31
a 10 12 13 14 18 19 21 23 25 30 31 37
a 10 12 13 14 18 19 23 25 30 31 34 37
a 10 12 13 14 18 19 23 25 28 30 31 37
a 9 10 12 13 14 19 23 25 28 30 31 37
a 9 12 13 14 19 21 23 25 28 30 31 37
a 9 10 12 13 14 19 21 23 25 28 30 37
a 9 10 12 14 19 21 23 25 28 30 31 37
a 10 12 13 14 19 21 23 25 28 30 31 37
a 10 12 13 14 19 21 23 25 30 31 34 37
a 6 10 12 13 14 19 21 23 25 30 34 37
a 6 12 13 14 19 21 23 25 30 31 34 37
a 6 12 13 14 19 21 23 25 28 30 31 34
a 6 12 13 14 21 23 25 28 29 30 31 34
a 6 9 12 13 14 21 23 25 28 29 30 34
a 6 9 12 13 14 19 21 23 25 28 30 34
a 9 12 13 14 19 21 23 25 28 30 31 34
a 12 13 14 19 21 23 25 28 30 31 34 37
a 12 13 14 18 19 21 23 25 28 30 34 37
a 6 12 13 14 18 19 21 23 25 28 30 37
a 6 12 13 14 18 19 21 23 25 28 31 37
a 6 12 13 14 18 19 21 23 25 28 37 39
a 6 12 14 16 18 19 21 23 25 28 37 39
a 6 12 14 16 18 21 23 25 28 33 37 39
a 12 14 16 18 21 23 25 28 33 34 37 39
a 12 14 16 18 21 23 25 28 30 33 34 37
a 12 14 16 18 19 21 23 25 28 30 34 37
a 12 14 18 19 21 23 25 28 30 31 34 37
a 12 14 18 19 21 22 23 28 30 31 34 37
a 8 12 14 18 19 21 22 23 28 30 31 34
a 6 12 14 18 19 21 22 23 28 30 31 34
a 6 12 13 14 18 19 21 22 23 28 30 34
a 6 10 12 13 14 18 19 21 23 28 30 34
a 10 12 13 14 18 19 21 23 28 30 31 34
a 10 12 13 14 18 21 23 28 30 31 33 34
a 10 12 13 18 21 23 28 30 31 33 34 37
a 10 12 13 14 18 21 23 28 30 31 33 37
a 10 12 13 14 18 21 23 28 30 31 34 37
a 10 12 13 14 18 19 21 23 28 30 34 37
a 12 13 14 18 19 21 22 23 28 30 34 37
a 6 13 14 18 19 21 22 23 28 30 34 37
a 6 13 14 18 19 21 23 25 28 30 34 37
a 6 12 13 14 18 19 21 23 25 28 34 37
a 6 10 12 13 14 18 19 21 23 25 28 37
a 10 12 13 14 18 19 21 23 25 28 31 37
a 10 12 13 14 18 21 23 25 28 30 31 37
a 10 12 13 14 18 19 21 23 25 28 30 37
a 10 12 13 14 18 21 23 25 28 30 34 37
a 10 12 13 18 21 23 25 28 30 33 34 37
a 10 12 13 18 21 23 25 28 30 31 33 37
a 6 10 12 13 18 21 23 28 30 31 33 37
a 6 10 13 18 21 23 28 30 31 33 34 37
a 6 10 12 13 18 21 23 28 30 31 33 34
a 6 10 12 13 18 23 28 30 31 33 34 37
a 6 10 12 13 18 23 25 28 30 31 33 34
a 6 12 13 18 21 23 25 28 30 31 33 34
a 8 12 13 18 21 23 25 28 30 31 33 34
a 8 12 13 14 18 23 25 28 30 31 33 34
a 8 12 13 14 18 21 23 28 30 31 33 34
a 6 12 13 14 18 21 23 28 30 31 33 34
a 12 13 14 18 21 23 28 30 31 33 34 37
a 6 12 13 14 18 21 23 28 30 31 33 37
a 6 12 13 18 21 23 25 28 30 31 33 37
a 6 12 13 18 21 23 28 30 31 33 34 37
a 6 12 13 14 18 21 23 28 30 33 34 37
a 6 12 13 18 21 23 25 28 30 33 34 37
a 6 12 13 14 18 21 23 25 28 30 33 34
a 6 12 13 14 18 21 23 25 28 30 31 33
a 6 12 13 14 18 21 23 25 30 31 33 37
a 6 10 12 13 14 18 21 23 25 31 33 37
a 6 10 12 13 14 18 21 23 31 33 34 37
a 6 12 13 14 18 21 23 30 31 33 34 37
a 6 12 13 14 18 19 21 23 30 31 34 37
a 6 12 13 14 18 19 21 23 28 30 31 34
a 6 10 12 13 18 19 21 23 28 30 31 34
a 6 10 12 13 18 19 21 23 25 28 30 34
a 10 12 13 14 18 19 21 23 25 28 30 34
a 10 12 14 18 19 21 23 25 28 30 31 34
a 10 12 14 18 19 21 23 25 28 31 34 39
a 10 12 13 14 18 19 21 23 25 28 34 39
a 9 10 12 13 14 19 21 23 25 28 34 39
a 9 12 13 14 19 21 23 25 28 34 37 39
a 12 13 14 18 19 21 23 25 28 34 37 39
a 12 13 14 18 19 21 23 25 28 31 34 37
a 6 12 13 14 18 19 21 23 25 31 34 37
a 6 13 14 18 19 21 23 25 30 31 34 37
a 6 13 14 18 21 23 25 30 31 33 34 37
a 6 14 18 21 23 25 28 30 31 33 34 37
a 10 14 18 21 23 25 28 30 31 33 34 37
a 6 10 14 18 21 23 25 28 30 31 33 34
a 10 13 14 18 21 23 25 28 30 31 33 34
a 10 12 13 14 18 21 23 25 28 30 33 34
a 10 12 14 18 21 23 25 28 30 33 34 37
a 10 12 13 14 18 21 23 25 28 33 34 37
a 10 12 14 18 21 23 25 28 31 33 34 37
a 10 12 13 14 18 21 23 25 28 31 33 37
a 10 12 13 14 18 21 23 25 28 31 34 37
a 10 12 13 14 18 21 23 25 28 30 31 34
a 12 13 14 18 21 23 25 28 30 31 34 37
a 10 12 13 14 18 21 23 25 30 31 34 37
a 6 10 12 14 18 21 23 25 30 31 34 37
a 6 10 12 13 14 18 21 23 25 30 31 34
a 6 12 13 14 18 21 23 25 30 31 34 37
a 6 12 13 18 21 23 25 30 31 33 34 37
a 6 12 13 18 21 23 25 31 33 34 37 39
a 6 12 13 18 21 23 25 28 31 33 34 37
a 6 10 12 18 21 23 25 28 31 33 34 37
a 6 10 12 14 18 21 23 25 28 31 33 34
a 10 12 13 14 18 21 23 25 28 31 33 34
a 10 12 13 14 18 21 23 25 28 33 34 39
a 10 13 14 18 21 23 25 28 31 33 34 39
a 6 13 14 18 21 23 25 28 31 33 34 39
a 12 13 14 18 21 23 25 28 31 33 34 39
a 12 14 18 21 23 25 28 31 33 34 37 39
a 12 14 18 21 23 25 28 30 31 33 34 37
a 10 12 14 18 23 25 28 30 31 33 34 37
a 10 12 13 14 18 23 25 28 30 31 33 34
a 12 13 14 18 21 23 25 28 30 31 33 34
a 6 12 13 14 21 23 25 28 30 31 33 34
a 12 13 14 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 33 34 37
a 12 13 14 15 18 21 25 28 30 33 34 37
a 12 13 14 15 18 19 21 25 28 30 34 37
a 10 12 14 15 18 19 21 25 28 30 34 37
a 6 10 12 14 15 18 19 21 25 28 30 34
a 6 10 12 13 14 15 18 19 21 25 28 30
a 6 10 12 13 14 15 18 21 25 28 30 33
a 6 12 13 14 15 18 21 25 28 30 33 37
a 6 12 13 14 18 21 23 25 28 30 33 37
a 6 13 14 18 21 23 25 28 30 33 34 37
a 6 13 14 18 21 23 25 28 30 31 33 37
a 10 13 14 18 21 23 25 28 30 31 33 37
a 6 10 13 14 18 21 23 25 28 30 31 37
a 10 13 14 18 21 23 25 28 30 31 34 37
a 13 14 18 21 23 25 28 30 31 33 34 37
a 10 13 14 18 21 23 25 28 31 33 34 37
a 10 13 14 18 21 23 25 28 30 33 34 37
a 6 10 13 14 18 21 23 25 28 30 33 37
a 6 10 13 14 18 21 23 25 28 30 31 33
a 6 10 13 14 18 19 21 23 25 28 30 31
a 6 10 13 18 19 21 23 25 28 30 31 37
a 6 10 13 14 18 19 21 23 25 30 31 37
a 10 13 14 18 19 21 23 25 28 30 31 37
a 6 10 13 14 18 19 21 23 25 28 30 37
a 6 10 13 14 19 21 23 25 28 30 31 37
a 6 10 13 14 18 19 21 25 28 30 31 37
a 6 13 14 18 19 21 25 28 30 31 34 37
a 6 13 14 18 21 23 25 28 30 31 34 37
a 6 13 14 18 21 23 25 28 30 31 33 34
a 6 13 14 18 21 25 28 30 31 33 34 37
a 6 10 13 14 18 21 25 28 30 31 33 34
a 6 10 13 14 18 21 23 25 30 31 33 34
a 6 12 13 14 18 21 23 25 30 31 33 34
a 6 12 14 18 21 23 25 28 30 31 33 34
a 6 12 13 14 18 23 25 28 30 31 33 34
a 6 10 12 13 14 18 23 25 28 30 33 34
a 6 10 12 14 18 23 25 28 30 31 33 34
a 6 10 12 14 18 23 25 28 30 31 34 37
a 6 12 14 18 23 25 28 30 31 33 34 37
a 6 12 18 21 23 25 28 30 31 33 34 37
a 6 10 12 21 23 25 28 30 31 33 34 37
a 10 12 13 21 23 25 28 30 31 33 34 37
a 10 12 13 14 21 23 25 28 30 31 33 37
a 12 13 14 18 21 23 25 28 30 31 33 37
a 12 13 14 18 23 25 28 30 31 33 34 37
a 12 13 14 18 19 23 25 28 30 31 34 37
a 6 12 13 14 18 19 23 28 30 31 34 37
a 6 12 13 14 18 19 23 25 28 30 31 37
a 12 13 14 18 19 21 23 25 28 30 31 37
a 6 12 14 18 19 21 23 25 28 30 31 37
a 6 12 14 18 19 21 23 25 28 30 34 37
a 6 14 17 18 19 21 23 25 28 30 34 37
a 6 10 14 18 19 21 23 25 28 30 34 37
a 6 10 12 14 18 19 21 23 25 28 30 34
a 6 10 12 13 14 18 19 21 23 25 28 30
a 6 10 12 13 14 18 21 23 25 28 30 31
a 6 10 12 13 18 21 23 25 28 30 31 37
a 6 10 12 13 14 18 21 23 25 28 30 37
a 6 12 13 14 18 21 23 25 28 30 31 37
a 6 13 14 17 18 21 23 25 28 30 31 37
a 6 13 14 17 18 19 21 23 25 28 30 31
a 6 13 14 17 18 19 21 23 28 30 31 34
a 6 13 14 17 18 21 23 28 30 31 33 34
a 6 10 13 14 18 21 23 28 30 31 33 34
a 6 10 12 13 14 18 21 23 28 31 33 34
a 6 12 13 14 18 21 23 25 28 31 33 34
a 6 12 13 14 18 21 23 25 28 31 33 39
a 6 12 13 14 18 19 21 23 25 28 31 39
a 12 13 14 18 19 21 23 25 28 31 37 39
a 6 12 13 18 19 21 23 25 28 31 37 39
a 6 13 14 18 19 21 23 25 28 31 37 39
a 6 12 13 14 18 19 23 25 28 31 37 39
a 6 12 14 18 19 21 23 25 28 31 37 39
a 12 14 18 19 21 23 25 28 31 34 37 39
a 12 13 14 18 19 21 23 25 28 31 34 39
a 6 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 13 14 18 19 21 23 25 28 31 34 37
a 6 14 18 19 21 23 25 28 31 34 37 39
a 13 14 18 19 21 23 25 28 31 34 37 39
a 13 17 18 19 21 23 25 28 31 34 37 39
a 14 17 18 19 21 23 25 28 31 34 37 39
a 6 14 17 18 19 21 23 25 28 31 34 39
a 6 14 17 18 19 23 25 28 31 34 37 39
a 6 14 17 18 19 21 23 28 31 34 37 39
a 6 14 17 18 19 21 23 25 31 34 37 39
a 6 14 17 18 19 21 22 23 31 34 37 39
a 6 14 17 18 19 21 22 23 28 31 34 37
a 14 17 18 19 21 22 23 28 30 31 34 37
a 14 17 18 19 21 23 25 28 30 31 34 37
a 6 14 17 18 19 21 23 25 28 31 34 37
a 6 14 17 18 19 21 23 25 28 30 31 34
a 13 14 17 18 19 21 23 25 28 30 31 34
a 6 13 14 17 19 21 23 25 28 30 31 34
a 6 13 14 17 19 21 23 25 28 31 34 39
a 6 9 13 14 17 19 21 23 25 28 31 34
a 6 9 13 14 17 19 21 23 25 28 30 31
a 9 13 14 17 19 21 23 25 28 30 31 37
a 9 13 17 19 21 23 25 28 30 31 34 37
a 6 9 17 19 21 23 25 28 30 31 34 37
a 6 9 13 17 19 23 25 28 30 31 34 37
a 6 9 13 17 19 21 23 25 28 30 31 34
a 6 9 13 14 17 19 21 25 28 30 31 34
a 6 9 13 14 17 19 21 22 28 30 31 34
a 6 9 13 14 17 19 21 22 23 28 31 34
a 6 9 13 14 17 21 22 23 28 29 31 34
a 9 13 14 17 21 22 23 28 29 31 34 39
a 9 13 14 17 19 21 22 23 28 31 34 39
a 9 13 14 17 19 21 23 28 31 34 37 39
a 9 10 13 14 19 21 23 28 31 34 37 39
a 9 10 12 13 14 19 21 23 28 31 34 39
a 6 10 12 13 14 19 21 23 28 31 34 39
a 6 12 13 14 19 21 23 28 31 34 37 39
a 6 13 14 19 21 23 25 28 31 34 37 39
a 6 13 14 17 19 21 23 25 28 31 34 37
a 6 13 14 17 19 21 23 25 28 30 31 37
a 6 13 14 17 19 21 23 25 28 30 34 37
a 6 13 14 17 21 23 25 28 30 33 34 37
a 6 13 14 17 21 23 25 28 30 31 33 34
a 6 13 14 17 18 21 23 25 30 31 33 34
a 6 13 14 17 18 21 23 25 28 31 33 34
a 13 14 17 18 21 23 25 28 31 33 34 39
a 13 14 17 18 21 23 25 28 31 34 37 39
a 13 14 17 18 21 25 28 31 33 34 37 39
a 13 14 18 21 23 25 28 31 33 34 37 39
a 6 13 14 18 21 23 25 28 31 33 37 39
a 6 13 18 21 23 25 28 31 33 34 37 39
a 12 13 18 21 23 25 28 31 33 34 37 39
a 10 13 18 21 23 25 28 31 33 34 37 39
a 10 12 13 21 23 25 28 31 33 34 37 39
a 10 12 13 14 21 23 25 28 31 33 37 39
a 12 13 14 21 23 25 28 31 33 34 37 39
a 13 14 17 21 23 25 28 31 33 34 37 39
a 13 14 17 18 21 23 25 28 31 33 37 39
a 13 14 17 18 21 23 25 28 31 33 34 37
a 14 17 18 21 23 25 28 31 33 34 37 39
a 10 14 18 21 23 25 28 31 33 34 37 39
a 6 10 14 18 21 23 25 28 31 33 34 39
a 10 12 14 18 21 23 25 28 31 33 34 39
a 10 12 13 14 18 21 23 25 28 31 34 39
a 6 10 12 13 14 18 21 23 28 31 34 39
a 6 12 13 14 18 21 23 28 31 33 34 39
a 12 13 14 18 21 23 28 31 33 34 37 39
a 12 13 14 18 21 23 25 28 31 33 34 37
a 12 13 14 18 21 23 25 28 31 33 37 39
a 12 13 14 18 21 25 28 31 33 34 37 39
a 6 12 13 14 18 21 25 28 31 33 34 39
a 6 13 14 17 18 21 25 28 31 33 34 39
a 8 13 14 17 18 21 25 28 31 33 34 39
a 8 13 14 17 18 21 23 25 28 31 33 39
a 6 13 14 17 18 21 23 25 28 31 33 39
a 6 13 14 17 18 21 23 25 28 31 33 37
a 13 14 17 18 21 23 25 28 30 31 33 37
a 13 17 18 21 23 25 28 30 31 33 34 37
a 13 14 17 18 21 23 25 28 30 31 33 34
a 6 13 14 17 18 21 23 25 28 30 31 33
a 6 14 17 18 21 23 25 28 30 31 33 34
a 6 14 17 18 21 23 28 30 31 33 34 37
a 6 14 17 18 19 21 23 28 30 31 34 37
a 6 13 14 17 18 19 21 28 30 31 34 37
a 6 13 14 17 18 19 21 22 28 30 31 34
a 6 13 14 17 18 19 22 28 30 31 34 37
a 6 13 14 17 18 19 25 28 30 31 34 37
a 6 13 14 17 18 19 21 25 30 31 34 37
a 6 13 14 17 18 19 21 23 25 30 31 37
a 6 13 14 17 18 19 21 23 25 30 34 37
a 13 14 17 18 19 21 23 25 30 31 34 37
a 13 14 17 18 19 21 23 25 28 30 31 37
a 6 13 14 17 18 19 21 23 25 28 31 37
a 6 13 14 17 19 21 23 25 28 31 37 39
a 6 10 13 14 19 21 23 25 28 31 37 39
a 6 10 13 14 18 19 21 23 25 31 37 39
a 6 10 13 14 18 19 21 23 25 28 31 37
a 6 9 10 13 14 19 21 23 25 28 31 37
a 6 9 10 13 14 19 21 23 25 28 30 31
a 6 9 10 13 14 19 21 23 25 30 31 34
a 9 10 12 13 14 19 21 23 25 30 31 34
a 9 10 12 13 14 19 21 23 25 28 30 34
a 6 9 10 12 13 14 19 21 23 25 28 30
a 6 9 10 12 13 14 19 21 23 28 30 34
a 9 10 12 13 14 19 21 23 28 30 31 34
a 6 9 10 12 13 14 19 21 23 28 30 31
a 6 10 12 13 14 19 21 23 25 28 30 31
a 6 10 12 13 14 18 19 21 23 25 28 31
a 6 10 12 14 18 19 21 23 25 28 31 39
a 6 10 12 14 18 19 21 23 25 28 31 34
a 6 10 14 18 19 21 23 25 28 31 34 37
a 10 13 14 18 19 21 23 25 28 31 34 37
a 10 12 13 14 18 19 21 23 25 28 31 34
a 10 12 14 18 19 21 23 25 28 31 34 37
a 10 14 18 19 21 23 25 28 31 34 37 39
a 6 10 18 19 21 23 25 28 31 34 37 39
a 6 17 18 19 21 23 25 28 31 34 37 39
a 6 13 17 18 21 23 25 28 31 34 37 39
a 6 10 13 18 21 23 25 28 31 34 37 39
a 10 13 18 19 21 23 25 28 31 34 37 39
a 6 10 13 18 19 23 25 28 31 34 37 39
a 6 10 13 14 18 19 23 25 28 31 34 39
a 10 13 14 18 19 21 23 25 28 31 34 39
a 13 14 17 18 19 21 23 25 28 31 34 39
a 13 14 17 18 19 21 23 25 28 34 37 39
a 13 14 17 18 19 21 23 25 28 30 34 37
a 13 14 17 18 21 23 25 28 30 31 34 37
a 6 13 14 17 18 21 23 25 28 30 31 34
a 6 13 14 17 18 21 25 28 30 31 33 34
a 6 13 14 17 18 21 23 25 28 30 33 34
a 6 13 14 17 18 23 25 28 30 31 33 34
a 6 13 14 17 18 22 23 28 30 31 33 34
a 6 13 14 17 18 22 23 28 30 31 34 37
a 6 13 14 17 18 19 22 23 28 30 31 34
a 6 13 14 18 19 21 22 23 28 30 31 34
a 6 13 14 17 18 19 21 22 23 28 30 34
a 6 13 14 17 18 21 22 23 28 30 33 34
a 6 13 14 17 18 21 22 23 28 33 34 39
a 6 13 14 17 18 21 22 23 28 34 37 39
a 6 13 14 17 18 21 22 23 28 33 34 37
a 6 13 14 17 18 21 23 25 28 33 34 37
a 6 13 14 17 18 21 23 25 33 34 35 37
a 6 13 14 17 18 21 23 25 33 34 37 39
a 6 13 14 17 18 21 23 25 31 33 37 39
a 6 13 14 17 18 21 23 25 28 31 37 39
a 13 14 17 18 19 21 23 25 28 31 37 39
a 10 13 14 18 19 21 23 25 28 31 37 39
a 6 10 13 14 18 19 21 23 25 28 31 39
a 6 10 13 14 18 19 23 25 28 31 37 39
a 6 10 13 14 18 19 23 25 28 30 31 37
a 6 10 14 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 13 14 18 19 21 23 28 30 31 37
a 10 12 13 18 19 21 23 25 28 30 31 37
a 10 12 13 14 18 19 21 25 28 30 31 37
a 6 10 12 13 14 18 19 21 25 28 30 31
a 6 10 12 13 18 19 21 23 25 28 30 31
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 37
a 6 10 12 13 18 21 23 25 30 31 33 37
a 6 10 12 13 18 21 23 25 31 33 35 37
a 10 12 13 18 21 23 25 31 33 34 35 37
a 10 12 13 14 18 21 23 31 33 34 35 37
a 10 12 13 14 18 21 23 25 31 33 34 37
a 6 10 13 14 18 21 23 25 31 33 34 37
a 6 12 13 14 18 21 23 25 31 33 34 37
a 6 10 12 13 14 18 21 23 25 31 33 34
a 6 10 12 13 14 18 21 23 25 31 33 39
a 6 10 12 13 14 18 21 23 25 28 31 33
a 6 10 12 13 18 21 23 25 28 31 33 39
a 6 10 12 13 14 18 21 23 25 28 33 39
a 6 12 13 14 18 21 23 25 28 33 34 39
a 6 10 12 13 14 18 21 23 25 28 33 34
a 6 10 12 13 14 18 21 23 25 28 34 39
a 6 10 12 13 14 18 21 23 28 34 37 39
a 6 10 12 13 14 18 21 23 28 31 34 37
a 6 12 13 14 18 21 23 28 31 33 34 37
a 6 10 13 14 18 21 23 28 31 33 34 37
a 6 10 13 14 18 21 23 31 33 34 37 39
a 10 13 14 18 21 23 31 33 34 35 37 39
a 13 14 18 21 23 25 31 33 34 35 37 39
a 10 13 14 18 21 23 25 31 33 34 37 39
a 10 14 18 21 23 25 31 33 34 35 37 39
a 10 13 14 18 23 25 31 33 34 35 37 39
a 10 13 14 18 21 23 25 31 33 34 35 37
a 10 12 13 14 18 21 23 25 31 33 34 35
a 6 10 12 13 14 21 23 25 31 33 34 35
a 6 10 12 13 14 18 21 23 31 33 34 35
a 6 10 12 13 18 21 23 31 33 34 35 39
a 6 10 13 14 18 21 23 31 33 34 35 39
a 10 12 13 14 18 21 23 31 33 34 35 39
a 6 10 12 13 14 18 23 31 33 34 35 39
a 10 12 13 14 18 23 31 33 34 35 37 39
a 10 12 13 14 18 23 25 31 34 35 37 39
a 10 12 13 18 23 25 31 33 34 35 37 39
a 10 12 13 14 18 23 25 31 33 34 35 37
a 12 13 14 18 21 23 25 31 33 34 35 37
a 6 13 14 18 21 23 25 31 33 34 35 37
a 6 13 18 21 23 25 31 33 34 35 37 39
a 6 13 14 18 23 25 31 33 34 35 37 39
a 6 10 13 14 18 23 25 31 33 34 35 39
a 6 13 14 17 18 23 25 31 33 34 35 39
a 6 13 14 17 18 23 25 28 31 33 34 39
a 6 13 14 17 23 25 28 31 33 34 37 39
a 6 13 14 17 18 23 25 28 31 34 37 39
a 6 13 14 17 18 21 23 25 28 31 34 37
a 6 13 14 17 18 19 21 23 28 31 34 37
a 6 13 14 17 18 21 23 28 30 31 34 37
a 6 13 14 17 18 19 21 23 28 30 31 37
a 6 13 14 17 18 21 23 28 30 31 33 37
a 6 14 17 18 21 23 25 28 30 31 33 37
a 6 14 17 18 21 22 23 28 30 31 33 37
a 6 17 18 21 22 23 28 30 31 33 34 37
a 6 17 18 19 21 22 23 28 30 31 34 37
a 6 14 18 19 21 22 23 28 30 31 34 37
a 6 13 18 19 21 22 23 28 30 31 34 37
a 13 17 18 19 21 22 23 28 30 31 34 37
a 13 14 17 18 19 21 23 28 30 31 34 37
a 13 14 17 18 19 21 22 23 28 30 31 37
a 13 14 17 18 19 21 22 23 28 30 31 34
a 13 14 17 18 19 21 22 23 28 31 34 37
a 13 14 17 18 19 21 22 23 28 31 37 39
a 11 13 14 17 18 19 21 22 28 31 37 39
a 6 11 13 14 17 18 19 21 22 31 37 39
a 6 13 14 17 18 19 21 22 31 37 38 39
a 6 14 17 18 19 21 22 31 34 37 38 39
a 6 13 14 17 18 19 21 22 31 34 37 39
a 6 13 14 17 18 19 21 22 23 34 37 39
a 6 11 13 14 17 18 19 21 22 34 37 39
a 6 11 14 17 18 19 21 22 31 34 37 39
a 11 14 17 18 19 21 22 28 31 34 37 39
a 6 11 14 17 18 19 21 22 28 31 34 39
a 6 11 14 17 18 19 21 22 28 31 34 37
a 6 11 13 14 17 18 19 21 22 31 34 37
a 1 6 11 13 14 17 18 19 21 22 34 37
a 1 11 13 14 17 18 19 21 22 34 37 39
a 1 13 14 17 18 19 21 22 23 34 37 39
a 1 12 13 14 18 19 21 22 23 34 37 39
a 1 12 13 14 18 19 21 22 23 28 37 39
a 12 13 14 18 19 21 22 23 28 31 37 39
a 6 12 13 14 18 19 21 23 28 31 37 39
a 6 12 13 14 19 21 23 25 28 31 37 39
a 6 12 13 14 19 21 22 23 28 31 37 39
a 6 12 13 14 21 22 23 28 31 34 37 39
a 6 12 13 14 21 22 23 28 30 31 34 37
a 6 12 13 14 18 21 22 23 28 30 31 34
a 6 12 13 14 18 22 23 28 30 31 34 37
a 6 12 13 14 18 21 22 23 28 30 34 37
a 6 9 12 13 14 21 22 23 28 30 34 37
a 6 9 13 14 19 21 22 23 28 30 34 37
a 9 13 14 19 21 22 23 28 30 31 34 37
a 9 13 14 17 19 21 22 23 28 30 31 37
a 13 14 17 19 21 22 23 28 30 31 34 37
a 9 13 17 19 21 22 23 28 30 31 34 37
a 6 9 13 19 21 22 23 28 30 31 34 37
a 6 9 12 13 19 21 22 23 28 30 31 37
a 6 9 13 14 19 21 22 23 28 30 31 37
a 6 9 14 19 21 22 23 28 30 31 34 37
a 6 9 12 14 19 21 22 23 28 30 31 37
a 6 9 12 13 14 19 21 22 23 28 30 31
a 9 12 13 14 19 21 22 23 28 30 31 34
a 6 9 12 13 14 19 21 22 23 30 31 34
a 6 9 12 13 14 19 21 22 23 30 31 37
a 6 9 12 13 14 19 21 23 25 30 31 37
a 6 12 13 14 19 21 23 25 28 30 31 37
a 6 13 14 19 21 23 25 28 30 31 34 37
a 9 13 14 19 21 23 25 28 30 31 34 37
a 9 12 13 14 19 23 25 28 30 31 34 37
a 9 12 13 14 19 21 23 25 30 31 34 37
a 9 10 12 13 14 19 21 23 25 31 34 37
a 9 10 12 13 14 21 23 25 30 31 34 37
a 6 10 12 13 14 21 23 25 30 31 34 37
a 6 10 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 12 13 14 18 21 23 25 30 34 37
a 10 12 13 14 18 19 21 23 25 30 34 37
a 6 12 13 14 18 19 21 23 25 30 34 37
a 6 10 12 13 18 19 21 23 25 30 34 37
a 6 10 12 13 18 21 23 25 30 33 34 37
a 6 10 13 18 21 23 25 28 30 33 34 37
a 6 10 13 18 19 21 23 25 28 30 34 37
a 6 10 12 13 18 19 21 23 25 28 34 37
a 6 10 12 13 14 18 19 21 23 25 28 34
a 6 10 12 13 14 18 19 21 23 25 34 37
a 6 9 10 12 13 14 19 21 23 25 34 37
a 6 9 10 12 13 14 19 21 25 28 34 37
a 6 9 10 12 13 14 19 21 23 25 28 34
a 6 9 10 12 13 14 19 21 23 28 31 34
a 6 9 12 13 14 19 21 23 28 31 34 37
a 6 9 13 14 17 19 21 23 28 31 34 37
a 9 13 14 17 19 21 23 28 30 31 34 37
a 9 13 14 17 21 23 25 28 30 31 34 37
a 9 12 13 14 21 23 25 28 30 31 34 37
a 9 12 13 14 21 23 25 28 31 34 37 39
a 9 10 12 13 14 21 23 25 28 31 34 39
a 9 10 12 13 14 19 21 23 25 31 34 39
a 9 10 13 14 19 21 23 25 28 31 34 39
a 6 10 13 14 19 21 23 25 28 31 34 39
a 6 10 13 14 18 19 21 23 25 28 34 39
a 6 10 13 14 18 21 23 25 28 31 34 39
a 6 13 14 18 21 23 25 28 31 34 37 39
a 6 13 14 18 21 23 25 31 33 34 37 39
a 6 12 14 18 21 23 25 31 33 34 37 39
a 6 12 13 14 18 21 23 25 31 33 34 39
a 6 12 13 14 18 21 23 25 31 34 35 39
a 6 12 13 14 21 23 25 31 33 34 35 39
a 6 10 12 13 14 21 25 31 33 34 35 39
a 6 12 13 14 21 25 31 33 34 35 37 39
a 6 12 13 14 18 25 31 33 34 35 37 39
a 6 12 13 14 18 23 31 33 34 35 37 39
a 6 12 13 14 18 21 23 31 33 34 37 39
a 6 10 12 13 14 18 23 31 33 34 37 39
a 6 10 12 13 14 18 23 30 31 33 34 37
a 6 10 12 13 14 18 21 23 30 31 33 37
a 6 10 12 13 18 21 23 30 31 33 34 37
a 10 12 13 18 21 23 25 30 31 33 34 37
a 10 12 13 18 19 21 23 25 30 31 34 37
a 10 12 13 14 18 19 21 23 30 31 34 37
a 10 12 13 14 19 21 23 28 30 31 34 37
a 6 10 12 13 14 21 23 28 30 31 34 37
a 6 10 12 13 14 19 23 28 30 31 34 37
a 6 10 12 13 14 19 21 28 30 31 34 37
a 6 9 10 12 13 14 19 21 30 31 34 37
a 9 10 12 13 14 19 21 23 30 31 34 37
a 9 10 12 13 19 21 23 28 30 31 34 37
a 9 10 12 13 19 21 23 28 31 34 37 39
a 9 10 12 13 19 23 25 28 31 34 37 39
a 9 10 12 19 21 23 25 28 31 34 37 39
a 10 12 13 19 21 23 25 28 31 34 37 39
a 10 12 13 18 19 21 23 25 28 31 34 39
a 6 10 12 13 18 19 21 23 25 28 31 34
a 6 10 12 13 14 18 19 21 25 28 31 34
a 6 10 12 13 14 18 19 23 25 28 31 34
a 6 10 12 13 18 19 23 25 28 30 31 34
a 6 10 12 13 14 18 23 25 28 30 31 34
a 6 10 12 13 14 18 19 23 25 28 30 34
a 6 10 12 13 14 18 19 21 25 28 30 34
a 6 10 12 13 14 18 19 21 25 28 30 37
a 6 10 12 13 14 18 19 21 23 28 30 37
a 6 10 12 13 14 18 19 21 23 28 34 37
a 6 10 12 13 14 15 18 19 21 28 34 37
a 6 10 11 12 13 14 15 19 21 28 34 37
a 6 10 11 12 13 14 15 19 21 34 37 38
a 10 11 12 13 14 15 19 21 34 37 38 39
a 10 11 13 14 15 18 19 21 34 37 38 39
a 10 11 12 14 15 18 19 21 34 37 38 39
a 10 11 12 13 14 18 19 21 34 37 38 39
a 10 11 12 13 14 15 18 21 34 37 38 39
a 6 10 11 12 13 14 15 18 21 34 37 38
a 6 10 12 13 14 15 18 21 30 34 37 38
a 6 10 12 13 14 18 21 30 31 34 37 38
a 6 10 12 13 14 18 21 25 30 31 34 37
a 6 10 12 13 14 18 21 25 28 30 31 34
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: 614
#END: [Mon Sep  4 23:58:14 2023]