#BEGIN: [Mon Sep  4 15:41:04 2023]
#HOST: s04
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance004_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance004_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance004_graph003.col /benchmark/random_instance/random_instance004_graph003_01.dat
c /benchmark/random_instance/random_instance004_graph003.col
c /benchmark/random_instance/random_instance004_graph003_01.dat
TIMEOUT 1800
c send SIGTERM to CID 52d29f8279f2b5806884559e659b7c033de76021d4e29969848393d1c1785136
s 35 21 47 25 30 40 17 8 24 29 10 19 7 20 11 42
t 25 16 40 23 18 21 5 30 7 47 19 41 29 10 20 24
a YES
a 7 8 10 11 17 19 20 21 24 25 29 30 35 40 42 47
a 7 8 10 11 16 17 19 20 21 24 25 29 30 40 42 47
a 3 7 8 10 11 16 17 19 20 21 25 29 30 40 42 47
a 3 7 10 11 16 17 19 20 21 23 25 29 30 40 42 47
a 3 7 10 16 17 19 20 21 23 25 29 30 40 42 47 49
a 7 10 16 17 19 20 21 23 24 25 29 30 40 42 47 49
a 7 10 16 17 19 20 21 23 24 25 29 30 40 41 42 47
a 7 10 11 16 17 19 20 21 23 24 25 29 30 40 42 47
a 7 10 11 16 19 20 21 23 24 25 29 30 39 40 42 47
a 2 7 10 11 16 19 20 21 23 24 25 29 30 39 42 47
a 2 7 10 11 16 19 20 23 24 25 29 30 39 42 44 47
a 2 5 7 10 11 16 19 20 23 24 25 29 30 39 44 47
a 5 7 10 11 16 19 20 23 24 25 29 30 39 40 44 47
a 5 7 10 16 19 20 23 24 25 29 30 39 40 44 47 49
a 5 7 10 16 19 20 24 25 29 30 39 40 44 45 47 49
a 5 7 10 12 16 19 20 24 25 29 30 39 44 45 47 49
a 5 7 10 12 19 20 24 25 29 30 38 39 44 45 47 49
a 5 7 10 12 19 20 23 24 25 29 30 39 44 45 47 49
a 5 7 10 12 19 20 23 24 25 29 30 35 39 44 45 49
a 5 7 10 12 19 20 23 24 25 26 29 30 35 39 44 45
a 5 7 10 12 19 20 23 24 25 26 29 30 35 41 44 45
a 5 10 12 18 19 20 23 24 25 26 29 30 35 41 44 45
a 5 7 10 12 18 19 20 23 24 25 26 29 30 35 41 44
a 5 7 10 12 16 18 19 20 23 24 25 26 29 30 41 44
a 7 10 12 16 17 18 19 20 23 24 25 26 29 30 41 44
a 10 12 16 17 18 19 20 22 23 24 25 26 29 30 41 44
a 10 11 12 16 17 18 19 20 22 23 24 25 26 29 30 44
a 7 10 11 12 17 18 19 20 22 23 24 25 26 29 30 44
a 7 10 11 12 17 18 19 20 23 24 25 26 29 30 35 44
a 7 10 11 17 18 19 20 23 24 25 26 29 30 35 40 44
a 7 8 10 11 17 18 19 20 24 25 26 29 30 35 40 44
a 7 8 10 11 17 19 20 24 25 26 29 30 35 40 42 44
a 7 8 10 11 19 20 24 25 26 29 30 35 38 40 42 44
a 6 7 8 10 11 19 20 24 26 29 30 35 38 40 42 44
a 6 8 10 11 19 20 24 26 29 30 35 37 38 40 42 44
a 6 8 10 11 17 19 20 24 26 29 30 35 37 38 40 44
a 8 10 11 17 19 20 24 26 29 30 34 35 37 38 40 44
a 6 10 11 17 19 20 24 26 29 30 34 35 37 38 40 44
a 6 10 11 17 19 20 24 26 29 30 34 35 37 38 42 44
a 6 11 17 19 20 24 26 29 30 34 35 37 38 40 42 44
a 6 10 11 17 19 20 24 26 29 30 34 35 37 38 40 42
a 6 8 10 11 17 19 20 24 26 29 30 34 35 37 38 42
a 6 8 10 11 17 19 20 24 26 30 34 35 37 38 42 44
a 6 7 8 10 11 17 19 20 24 26 30 34 35 37 38 42
a 6 8 10 11 17 19 20 24 26 30 34 35 37 38 40 42
a 6 7 8 10 11 17 19 20 26 30 34 35 37 38 40 42
a 6 7 10 11 17 19 20 26 29 30 34 35 37 38 40 42
a 6 7 10 11 17 19 20 24 26 29 30 34 35 37 38 40
a 7 8 10 11 17 19 20 24 26 29 30 34 35 37 38 40
a 7 8 10 17 19 20 24 26 29 30 34 35 37 38 40 42
a 7 8 10 11 17 19 20 24 26 29 30 34 35 37 40 42
a 7 10 11 17 19 20 24 26 29 30 34 35 37 38 40 42
a 7 8 10 11 17 19 20 24 26 29 30 35 37 38 40 42
a 8 10 11 17 19 20 24 26 29 30 34 35 37 38 40 42
a 8 10 11 17 19 20 24 26 29 30 34 35 37 38 42 45
a 8 11 17 19 20 24 26 29 30 34 35 37 38 40 42 45
a 8 10 11 17 19 20 26 29 30 34 35 37 38 40 42 45
a 8 10 11 17 19 20 24 26 29 30 34 35 37 38 40 45
a 8 10 17 19 20 24 26 29 30 34 35 37 38 40 42 45
a 10 11 17 19 20 24 26 29 30 34 35 37 38 40 42 45
a 7 10 11 17 19 20 24 29 30 34 35 37 38 40 42 45
a 7 10 11 17 19 20 24 26 29 30 34 35 37 38 42 45
a 7 10 11 17 19 20 24 26 29 30 35 37 38 40 42 45
a 6 10 11 17 19 20 24 26 29 30 35 37 38 40 42 45
a 6 10 11 17 19 20 24 29 30 34 35 37 38 40 42 45
a 6 10 11 17 19 20 24 29 30 34 35 37 38 40 44 45
a 6 10 11 17 19 20 24 29 30 34 35 37 38 40 42 44
a 10 11 17 19 20 24 26 29 30 34 35 37 38 40 42 44
a 10 11 12 17 19 20 24 26 29 30 34 35 37 38 42 44
a 6 10 11 12 17 19 20 24 26 29 30 34 35 37 38 42
a 6 7 10 12 17 19 20 24 26 29 30 34 35 37 38 42
a 6 7 8 10 12 19 20 24 26 29 30 34 35 37 38 42
a 6 7 8 10 12 17 19 20 24 26 29 30 34 35 37 38
a 6 8 10 12 17 19 20 24 26 29 30 34 35 37 38 42
a 6 8 10 11 12 17 19 20 24 26 29 30 34 35 37 42
a 8 10 11 12 17 19 20 24 26 29 30 34 35 37 38 42
a 8 10 11 12 17 19 20 24 26 29 30 34 35 37 38 44
a 8 10 11 17 19 20 24 26 29 30 34 35 37 38 44 45
a 8 10 11 12 17 19 20 24 26 29 30 34 35 37 38 45
a 8 10 11 12 17 19 20 24 26 29 30 34 35 38 42 45
a 8 10 11 12 17 19 20 26 29 30 34 35 38 42 44 45
a 8 10 11 12 17 19 20 24 26 29 30 34 35 38 42 44
a 10 11 12 17 19 20 24 26 29 30 34 35 38 42 44 45
a 8 10 11 12 17 19 20 24 26 29 34 35 38 42 44 45
a 8 11 12 17 19 20 24 26 29 30 34 35 38 42 44 45
a 8 10 11 12 17 19 20 24 26 29 30 34 35 42 44 45
a 8 10 11 12 17 19 24 26 29 30 34 35 37 42 44 45
a 10 11 12 17 19 24 26 29 30 34 35 37 42 44 45 51
a 10 11 12 17 24 26 29 30 34 35 37 38 42 44 45 51
a 10 12 17 19 24 26 29 30 34 35 37 38 42 44 45 51
a 8 12 17 19 24 26 29 30 34 35 37 38 42 44 45 51
a 8 11 12 17 24 26 29 30 34 35 37 38 42 44 45 51
a 8 11 12 17 19 24 26 29 30 34 35 37 38 42 45 51
a 8 11 12 17 19 24 26 29 30 34 35 37 38 42 44 45
a 8 11 12 17 19 20 24 26 29 30 34 35 37 38 42 45
a 6 8 11 12 17 19 20 24 26 29 30 34 35 38 42 45
a 6 10 11 12 17 19 20 24 26 29 30 34 35 38 42 45
a 6 10 12 17 19 20 24 26 29 30 34 35 37 38 42 45
a 6 10 12 17 19 20 24 29 30 34 35 37 38 42 44 45
a 10 12 17 19 20 24 29 30 34 35 37 38 41 42 44 45
a 6 10 12 17 19 20 24 29 30 34 35 37 38 41 42 45
a 6 10 12 17 19 24 29 30 34 35 37 38 41 42 45 51
a 10 12 17 19 24 26 29 30 34 35 37 38 41 42 45 51
a 10 12 17 19 24 26 29 30 35 37 38 41 42 44 45 51
a 10 12 17 24 26 29 30 34 35 37 38 41 42 44 45 51
a 6 10 12 17 24 26 29 30 34 35 37 38 41 42 44 51
a 6 12 17 19 24 26 29 30 34 35 37 38 41 42 44 51
a 6 11 12 17 19 24 26 29 30 34 35 37 38 42 44 51
a 6 8 11 12 17 19 24 26 29 30 34 35 37 38 42 44
a 8 11 12 17 19 20 24 26 29 30 34 35 37 38 42 44
a 6 8 11 12 17 19 20 24 26 29 30 34 35 38 42 44
a 6 8 10 11 12 17 19 20 24 26 29 30 34 35 42 44
a 6 8 10 11 12 17 19 20 24 26 29 34 35 42 44 45
a 6 8 10 11 12 17 19 20 24 26 29 34 35 37 44 45
a 6 8 10 11 12 17 19 20 24 26 29 30 34 35 44 45
a 8 10 11 12 17 19 20 24 26 29 30 34 35 38 44 45
a 8 10 11 12 19 20 24 26 29 30 34 35 37 38 44 45
a 8 10 12 19 20 24 26 29 30 34 35 37 38 42 44 45
a 7 8 10 12 19 20 24 26 29 30 34 35 37 38 42 44
a 7 8 10 12 17 19 20 24 26 29 30 34 35 37 42 44
a 7 8 10 11 12 17 19 20 24 26 29 30 34 35 37 44
a 7 8 10 12 17 19 20 24 26 29 30 34 35 37 38 44
a 7 8 10 17 19 20 24 26 29 30 34 35 37 38 40 44
a 7 10 11 17 19 20 24 26 29 30 34 35 37 38 40 44
a 6 7 10 11 17 19 20 24 26 29 30 34 35 37 38 44
a 6 7 10 11 17 19 20 24 29 30 34 35 37 38 40 44
a 6 7 10 11 17 19 20 24 26 29 30 34 37 38 40 44
a 6 7 10 17 19 20 24 26 29 30 34 35 37 38 40 44
a 6 7 10 17 19 20 24 26 29 30 34 35 37 38 40 45
a 6 7 8 10 17 19 20 24 26 29 30 35 37 38 40 45
a 6 7 8 10 11 17 19 24 26 29 30 35 37 38 40 45
a 6 7 8 10 11 19 24 26 29 30 35 37 38 40 42 45
a 7 8 10 11 17 19 24 26 29 30 35 37 38 40 42 45
a 6 7 8 10 11 17 19 24 26 29 30 37 38 40 42 45
a 6 7 8 10 11 12 17 19 24 26 29 30 37 38 42 45
a 6 7 8 10 11 12 17 19 24 26 29 30 34 37 38 45
a 6 7 8 10 11 12 17 19 20 24 26 29 30 34 37 38
a 6 7 8 10 11 12 17 19 20 24 26 29 30 34 37 42
a 7 8 10 11 12 17 19 20 24 26 29 30 34 37 38 42
a 7 8 10 12 17 19 20 24 26 29 30 34 35 37 38 42
a 8 10 12 17 19 20 24 26 29 30 34 35 37 38 42 45
a 8 10 11 12 17 19 20 24 26 29 34 35 37 38 42 45
a 10 11 12 17 19 20 24 26 29 30 34 35 37 38 42 45
a 7 10 11 12 17 19 20 24 26 29 30 34 35 37 38 45
a 6 10 11 12 17 19 20 24 26 29 30 34 35 37 38 45
a 6 10 11 12 17 19 20 26 29 30 34 35 37 38 44 45
a 6 10 11 12 17 19 20 24 26 29 30 34 35 37 38 44
a 6 8 10 11 12 19 20 24 26 29 30 34 35 37 38 44
a 6 7 8 10 11 12 19 20 24 26 29 30 34 35 37 44
a 6 7 8 10 11 12 17 19 20 26 29 30 34 35 37 44
a 6 7 8 10 11 12 17 19 20 24 26 29 30 34 35 44
a 6 7 10 11 12 17 19 20 24 26 29 30 34 35 37 44
a 6 7 10 11 12 17 19 20 24 26 29 34 35 37 38 44
a 6 7 8 10 11 12 17 19 20 24 26 29 34 35 37 44
a 7 8 10 11 12 17 19 20 24 26 29 34 35 37 42 44
a 8 10 11 12 17 19 20 24 26 29 34 35 37 38 42 44
a 8 10 11 12 17 19 20 24 26 29 30 34 35 37 42 44
a 8 10 12 17 19 20 24 26 29 30 34 35 37 38 42 44
a 8 10 11 12 17 19 20 24 29 30 34 35 37 38 42 44
a 6 8 10 11 12 17 19 20 24 30 34 35 37 38 42 44
a 6 8 10 11 12 17 19 24 26 30 34 35 37 38 42 44
a 6 7 8 10 11 12 17 19 26 30 34 35 37 38 42 44
a 6 8 10 11 12 17 19 26 29 30 34 35 37 38 42 44
a 8 10 11 12 17 19 20 26 29 30 34 35 37 38 42 44
a 8 10 11 12 17 19 20 26 29 30 34 35 37 42 44 45
a 6 10 11 12 17 19 20 26 29 30 34 35 37 42 44 45
a 6 10 11 12 17 19 20 24 26 29 30 34 35 37 42 44
a 6 7 10 12 17 19 20 24 26 29 30 34 35 37 42 44
a 7 10 11 12 17 19 20 24 26 29 30 34 35 37 42 44
a 7 11 12 17 19 20 24 26 29 30 34 35 37 38 42 44
a 7 8 11 12 17 19 20 24 26 29 30 34 35 37 38 42
a 6 7 8 11 12 17 19 20 24 26 29 30 34 35 38 42
a 6 8 11 12 17 19 20 24 26 29 30 34 35 37 38 42
a 6 7 8 11 12 17 19 20 24 26 29 30 34 35 37 38
a 6 7 8 11 12 17 19 20 24 26 29 30 35 37 38 42
a 6 7 8 12 17 19 20 24 26 29 30 34 35 37 38 42
a 6 7 12 17 19 20 24 26 29 30 34 35 37 38 42 44
a 6 7 8 12 17 19 20 24 26 29 30 34 35 37 42 44
a 6 7 8 10 12 17 19 20 24 26 29 30 34 35 37 44
a 6 7 8 10 12 17 19 20 24 26 29 30 35 37 38 44
a 6 7 8 10 12 17 19 20 24 26 29 30 35 38 44 45
a 6 7 8 10 12 17 19 20 24 26 29 30 35 37 38 45
a 6 8 10 11 12 17 19 20 24 26 29 30 35 37 38 45
a 6 8 10 11 12 17 19 20 24 26 29 30 35 37 44 45
a 6 8 10 11 12 17 19 20 24 26 29 30 35 37 38 44
a 6 8 10 11 12 17 19 20 26 29 30 34 35 37 38 44
a 6 8 11 12 17 19 20 26 29 30 34 35 37 38 42 44
a 8 11 12 17 19 20 26 29 30 34 35 37 38 42 44 45
a 8 11 12 17 19 26 29 30 34 35 37 38 42 44 45 51
a 11 12 17 19 24 26 29 30 34 35 37 38 42 44 45 51
a 8 11 12 17 19 24 26 29 30 34 35 37 38 42 44 51
a 8 11 12 17 19 24 29 30 34 35 37 38 42 44 47 51
a 8 11 12 19 24 29 30 34 35 37 38 42 44 45 47 51
a 8 11 12 17 19 29 30 34 35 37 38 42 44 45 47 51
a 8 11 12 17 19 20 29 30 34 35 37 38 42 44 45 47
a 8 10 11 12 17 19 20 29 30 34 35 37 38 42 44 47
a 8 10 11 12 17 19 20 29 30 35 37 38 42 44 45 47
a 8 10 11 12 17 19 20 29 30 34 35 37 38 42 45 47
a 8 11 12 17 19 20 24 29 30 34 35 37 38 42 45 47
a 8 11 12 17 19 20 24 29 30 34 35 38 42 44 45 47
a 8 12 17 19 20 24 29 30 34 35 37 38 42 44 45 47
a 8 10 12 17 19 20 24 30 34 35 37 38 42 44 45 47
a 8 10 12 17 19 20 24 26 30 34 35 37 38 42 44 45
a 8 10 17 19 20 24 26 30 34 35 37 38 40 42 44 45
a 8 10 17 20 24 26 29 30 34 35 37 38 40 42 44 45
a 8 10 17 19 24 26 29 30 34 35 37 38 40 42 44 45
a 8 10 19 20 24 26 29 30 34 35 37 38 40 42 44 45
a 10 17 19 20 24 26 29 30 34 35 37 38 40 42 44 45
a 6 17 19 20 24 26 29 30 34 35 37 38 40 42 44 45
a 6 8 17 19 20 24 26 29 30 34 35 37 38 40 42 44
a 6 8 12 17 19 20 24 26 29 30 34 35 37 38 42 44
a 6 8 11 12 17 19 20 24 26 30 34 35 37 38 42 44
a 6 7 11 12 17 19 20 24 26 30 34 35 37 38 42 44
a 7 10 11 12 17 19 20 24 26 30 34 35 37 38 42 44
a 7 10 12 17 19 20 24 26 29 30 34 35 37 38 42 44
a 7 10 11 17 19 20 24 26 29 30 34 35 37 38 42 44
a 8 10 11 17 19 20 24 26 29 30 34 35 37 38 42 44
a 8 10 11 12 17 19 20 24 26 29 30 35 37 38 42 44
a 7 8 10 11 17 19 20 24 26 29 30 35 37 38 42 44
a 7 8 10 11 17 19 24 26 29 30 35 37 38 42 44 45
a 8 10 11 17 19 24 26 29 30 35 37 38 40 42 44 45
a 8 10 11 17 19 24 29 30 34 35 37 38 40 42 44 45
a 8 10 11 17 19 24 26 29 30 34 35 37 38 40 42 45
a 7 8 10 11 17 24 26 29 30 34 35 37 38 40 42 45
a 7 8 10 11 17 24 26 29 30 34 35 37 38 42 44 45
a 7 8 11 17 20 24 26 29 30 34 35 37 38 42 44 45
a 7 8 10 11 17 20 24 26 29 30 34 35 37 38 42 44
a 7 8 10 11 17 19 20 24 26 29 30 34 35 37 38 44
a 7 8 10 11 17 19 20 24 26 29 34 35 37 38 40 44
a 7 8 10 11 17 19 20 24 26 30 34 35 37 38 40 44
a 7 8 10 11 17 19 20 24 29 30 34 35 37 38 40 44
a 7 8 10 11 17 19 24 26 29 30 34 35 37 38 40 44
a 7 10 11 17 19 24 26 29 30 34 35 37 38 40 44 45
a 10 11 17 19 24 26 29 30 34 35 37 38 40 44 45 51
a 6 10 11 17 19 24 26 29 30 34 35 37 38 40 44 45
a 6 10 11 17 19 24 26 29 30 34 35 37 38 40 42 44
a 6 10 17 19 20 24 26 29 30 34 35 37 38 40 42 44
a 6 10 11 17 19 20 24 26 29 30 34 35 37 40 42 44
a 6 10 11 17 19 20 24 26 29 34 35 37 38 40 42 44
a 6 10 11 17 19 20 26 29 30 34 35 37 38 40 42 44
a 6 10 11 17 19 20 26 29 30 34 35 37 38 42 44 45
a 6 10 11 17 19 20 26 29 30 34 35 37 38 40 42 45
a 6 10 11 17 20 24 26 29 30 34 35 37 38 40 42 45
a 6 10 17 19 20 24 26 29 30 34 35 37 38 40 42 45
a 6 8 10 17 19 20 24 29 30 34 35 37 38 40 42 45
a 6 8 10 11 17 19 20 24 29 30 34 37 38 40 42 45
a 6 8 10 11 17 19 20 24 29 30 34 37 38 40 42 44
a 6 8 10 11 17 19 20 24 29 30 34 35 37 38 40 44
a 6 8 10 11 12 17 19 20 24 29 30 34 35 37 38 44
a 8 10 11 12 17 19 20 24 29 30 34 35 37 38 44 45
a 8 11 12 17 19 20 24 29 30 34 35 37 38 42 44 45
a 8 10 11 12 17 20 24 29 30 34 35 37 38 42 44 45
a 8 10 11 12 17 24 29 30 34 35 37 38 42 44 45 47
a 8 10 11 12 17 19 24 29 30 34 35 37 38 42 44 45
a 8 10 11 12 17 19 24 29 30 34 35 37 38 42 44 47
a 7 10 11 12 17 19 24 29 30 34 35 37 38 42 44 47
a 7 8 10 11 12 17 24 29 30 34 35 37 38 42 44 47
a 7 8 10 11 12 17 24 29 30 34 35 37 42 44 45 47
a 7 8 10 11 12 17 19 24 29 30 34 35 37 42 44 45
a 6 7 8 10 11 12 17 24 29 30 34 35 37 42 44 45
a 6 7 8 10 12 17 24 29 30 34 35 37 38 42 44 45
a 6 7 8 10 12 17 19 24 29 30 34 35 37 38 42 44
a 7 8 10 12 17 19 20 24 29 30 34 35 37 38 42 44
a 8 10 12 17 19 20 24 29 30 34 35 37 38 42 44 47
a 8 10 12 17 19 20 24 29 30 34 35 37 38 42 44 45
a 8 10 17 19 20 24 29 30 34 35 37 38 42 44 45 47
a 8 10 12 17 19 20 29 30 34 35 37 38 42 44 45 47
a 10 12 17 19 20 24 29 30 34 35 37 38 42 44 45 47
a 10 11 17 19 20 24 29 30 34 35 37 38 42 44 45 47
a 10 11 12 17 19 20 29 30 34 35 37 38 42 44 45 47
a 11 12 17 19 20 24 29 30 34 35 37 38 42 44 45 47
a 8 11 12 17 19 24 29 30 34 35 37 38 42 44 45 47
a 8 11 12 17 19 20 24 30 34 35 37 38 42 44 45 47
a 8 11 12 17 19 20 24 29 30 34 35 37 38 42 44 47
a 8 11 12 17 19 20 24 29 34 35 37 38 42 44 45 47
a 8 11 12 17 19 20 24 29 30 34 37 38 42 44 45 47
a 8 10 11 12 17 19 20 24 29 30 34 37 38 42 44 45
a 8 10 11 12 17 19 20 22 24 29 30 34 37 38 44 45
a 8 10 11 12 17 18 19 20 22 24 29 30 34 37 44 45
a 8 10 11 12 16 17 18 19 20 22 24 29 30 34 37 44
a 7 8 10 11 12 16 18 19 20 22 24 29 30 34 37 44
a 2 7 8 10 11 12 18 19 20 22 24 29 30 34 37 44
a 2 7 8 10 11 12 16 18 19 20 24 29 30 34 37 44
a 2 8 10 11 12 16 18 19 20 22 24 29 30 34 37 44
a 2 10 11 12 16 18 19 20 22 24 29 30 34 37 44 47
a 2 10 11 12 16 18 19 20 22 24 29 30 34 39 44 47
a 2 10 11 12 16 18 19 20 22 23 24 29 30 39 44 47
a 2 10 11 12 16 18 19 20 22 23 24 25 29 30 39 44
a 10 11 12 16 18 19 20 22 23 24 25 29 30 39 44 47
a 10 11 12 16 18 19 20 21 22 23 24 25 29 30 39 47
a 2 10 11 12 16 18 19 20 21 22 23 24 25 29 39 47
a 2 5 10 11 12 16 18 19 20 21 22 23 24 25 29 39
a 5 7 10 11 12 16 18 19 20 21 22 23 24 25 29 39
a 5 7 10 11 16 18 19 20 21 22 23 24 25 29 39 47
a 2 5 7 11 16 18 19 20 21 22 23 24 25 29 39 47
a 2 7 11 12 16 18 19 20 21 22 23 24 25 29 39 47
a 2 5 7 11 12 16 18 19 20 21 22 24 25 29 39 47
a 2 5 7 8 11 12 16 18 19 20 21 22 24 25 39 47
a 2 5 7 8 11 12 16 18 19 20 22 24 25 30 39 47
a 2 5 7 8 11 12 16 18 19 20 22 25 30 39 44 47
a 2 5 7 8 11 12 16 18 19 20 24 25 30 39 44 47
a 2 5 7 8 11 12 16 18 20 22 24 25 30 39 44 47
a 2 5 7 8 11 12 16 18 19 20 22 24 25 39 44 47
a 2 5 7 8 11 12 16 18 19 20 22 24 25 36 44 47
a 2 5 7 8 11 12 16 18 19 20 22 24 25 30 36 44
a 2 5 7 8 10 11 12 16 18 19 20 22 25 30 36 44
a 2 5 7 8 10 11 12 16 18 19 20 22 24 30 36 44
a 2 5 7 8 10 11 12 16 18 19 20 24 29 30 36 44
a 2 6 7 8 10 11 12 16 18 19 20 24 29 30 36 44
a 2 7 8 10 11 12 16 18 19 20 24 29 30 34 36 44
a 2 5 7 8 10 11 12 16 18 19 20 24 29 30 34 44
a 2 5 7 8 10 11 12 16 18 19 20 22 24 29 30 34
a 2 5 7 8 10 11 12 16 18 19 20 21 22 24 29 30
a 2 5 8 10 11 12 16 18 19 20 21 22 24 25 29 30
a 2 5 10 11 12 16 18 19 20 21 22 24 25 29 30 39
a 2 5 8 11 12 16 18 19 20 21 22 24 25 29 30 39
a 2 5 8 11 12 16 18 20 21 22 24 25 29 30 39 47
a 2 8 11 12 16 18 19 20 21 22 24 25 29 30 39 47
a 2 10 11 12 16 18 19 20 21 22 24 25 29 30 39 47
a 2 8 10 11 12 16 18 19 20 21 22 24 25 29 30 39
a 2 7 10 11 12 16 18 19 20 21 22 24 25 29 30 39
a 2 5 7 10 11 12 16 18 19 20 21 22 24 25 30 39
a 2 5 7 10 11 12 16 18 19 20 21 22 23 24 25 39
a 2 5 7 10 11 12 16 18 19 20 21 22 23 24 25 29
a 2 5 7 10 11 12 16 18 19 20 21 22 23 24 25 30
a 2 7 10 11 12 16 18 19 20 21 22 23 24 25 30 47
a 2 7 10 11 12 16 18 19 20 21 22 23 24 25 30 39
a 7 10 11 12 16 18 19 20 21 22 23 24 25 29 30 39
a 2 7 11 12 16 18 19 20 21 22 23 24 25 29 30 39
a 2 10 11 12 16 18 19 20 21 22 23 24 25 29 30 39
a 2 10 11 12 16 18 19 20 22 23 24 25 29 30 39 47
a 2 10 11 12 16 18 19 20 23 24 25 29 30 39 44 47
a 2 11 12 16 18 19 20 22 23 24 25 29 30 39 44 47
a 5 11 12 16 18 19 20 22 23 24 25 29 30 39 44 47
a 2 5 11 12 16 18 19 20 22 24 25 29 30 39 44 47
a 2 5 7 12 16 18 19 20 22 24 25 29 30 39 44 47
a 2 5 7 10 16 18 19 20 22 24 25 29 30 39 44 47
a 2 5 7 10 11 16 18 19 20 22 24 25 29 30 39 44
a 2 5 7 10 12 16 18 19 20 22 24 25 29 30 39 44
a 2 5 7 10 12 16 18 19 20 22 24 25 29 30 36 44
a 2 5 7 8 10 12 16 18 20 22 24 25 29 30 36 44
a 2 5 7 8 10 12 16 18 20 22 24 29 30 34 36 44
a 5 7 8 10 12 16 18 19 20 22 24 29 30 34 36 44
a 5 7 8 10 12 16 18 20 22 24 29 30 34 36 37 44
a 5 7 8 10 12 16 18 20 22 24 29 30 34 36 44 47
a 5 7 8 10 12 18 19 20 22 24 29 30 34 36 44 47
a 5 7 10 12 16 18 19 20 22 24 29 30 34 36 44 47
a 5 7 8 10 12 16 18 19 20 22 24 30 34 36 44 47
a 5 8 10 12 16 18 19 20 22 24 29 30 34 36 44 47
a 5 8 10 11 12 16 18 19 20 22 24 29 30 36 44 47
a 2 8 10 11 12 16 18 19 20 22 24 29 30 36 44 47
a 2 5 8 10 11 12 18 19 20 22 24 29 30 36 44 47
a 2 5 8 10 11 12 16 18 19 20 22 24 29 30 36 47
a 2 5 8 10 11 12 16 18 19 20 22 24 29 30 36 37
a 2 5 8 10 11 12 16 18 19 20 22 24 26 29 30 37
a 2 5 8 11 12 16 18 19 20 22 24 26 29 30 37 44
a 2 7 8 11 12 16 18 19 20 22 24 26 29 30 37 44
a 2 7 8 10 11 12 16 18 19 20 22 24 26 29 30 44
a 7 8 10 11 12 16 18 19 20 22 24 26 29 30 34 44
a 6 7 8 10 11 12 16 18 19 20 24 26 29 30 34 44
a 7 8 10 11 12 16 18 19 20 24 26 29 30 34 44 45
a 6 7 8 10 11 12 16 18 19 20 24 26 29 30 34 45
a 6 7 8 10 11 12 16 18 19 20 24 26 30 34 44 45
a 6 8 10 11 12 16 18 19 20 24 26 29 30 34 44 45
a 6 10 11 12 16 18 19 20 24 26 29 30 34 37 44 45
a 6 8 11 12 16 18 19 20 24 26 29 30 34 37 44 45
a 2 8 11 12 16 18 19 20 24 26 29 30 34 37 44 45
a 8 11 12 16 17 18 19 20 24 26 29 30 34 37 44 45
a 6 8 12 16 17 18 19 20 24 26 29 30 34 37 44 45
a 8 12 16 17 18 19 20 22 24 26 29 30 34 37 44 45
a 2 8 12 16 18 19 20 22 24 26 29 30 34 37 44 45
a 8 10 12 16 18 19 20 22 24 26 29 30 34 37 44 45
a 8 11 12 16 18 19 20 22 24 26 29 30 34 37 44 45
a 5 8 11 12 16 18 19 20 22 24 26 29 30 34 37 45
a 5 7 8 11 12 16 18 19 22 24 26 29 30 34 37 45
a 5 7 8 11 12 16 18 19 20 22 24 26 29 30 37 45
a 2 5 8 11 12 16 18 19 20 22 24 26 29 30 37 45
a 2 5 8 10 11 16 18 19 20 22 24 26 29 30 37 45
a 2 5 8 10 11 16 18 19 20 22 24 26 29 30 39 45
a 2 5 6 8 10 11 16 18 19 20 24 26 29 30 39 45
a 2 5 8 10 11 16 18 19 20 24 26 29 30 34 39 45
a 2 5 8 10 11 12 16 18 19 24 26 29 30 34 39 45
a 2 5 7 8 10 11 16 18 19 24 26 29 30 34 39 45
a 2 5 7 8 10 11 16 18 19 20 24 26 30 34 39 45
a 2 5 7 8 10 11 12 16 18 19 24 26 30 34 39 45
a 2 5 7 8 10 11 12 16 19 22 24 26 30 34 39 45
a 2 5 7 8 10 11 12 19 22 24 26 29 30 34 39 45
a 2 7 8 10 11 12 16 19 22 24 26 29 30 34 39 45
a 2 7 8 10 11 12 16 18 22 24 26 29 30 34 39 45
a 2 7 8 10 11 12 18 19 22 24 26 29 30 34 39 45
a 2 7 8 10 11 12 18 19 22 24 25 26 29 30 39 45
a 7 8 10 11 12 16 18 19 22 24 25 26 29 30 39 45
a 7 8 10 11 12 16 18 19 22 25 26 29 30 39 44 45
a 7 8 10 11 16 18 19 20 22 25 26 29 30 39 44 45
a 7 10 11 16 18 19 20 22 23 25 26 29 30 39 44 45
a 10 11 16 18 19 20 22 23 24 25 26 29 30 39 44 45
a 7 11 16 18 19 20 22 23 24 25 26 29 30 39 44 45
a 7 10 11 18 19 20 22 23 24 25 26 29 30 39 44 45
a 2 7 10 11 18 19 20 23 24 25 26 29 30 39 44 45
a 2 7 10 11 12 18 19 20 23 24 25 26 29 30 39 45
a 2 5 7 10 11 12 18 19 23 24 25 26 29 30 39 45
a 5 7 10 11 12 18 19 23 24 25 26 29 30 39 44 45
a 5 10 11 12 18 19 20 23 24 25 26 29 30 39 44 45
a 2 5 10 11 12 18 19 20 23 24 25 26 29 30 39 44
a 2 5 10 11 16 18 19 20 23 24 25 26 29 30 39 44
a 5 10 11 16 18 19 20 22 23 24 25 26 29 30 39 44
a 7 10 11 16 18 19 20 22 23 24 25 26 29 30 39 44
a 7 10 11 12 18 19 20 22 23 24 25 26 29 30 39 44
a 2 7 10 11 12 18 19 20 22 23 24 25 26 29 30 39
a 2 5 7 10 11 12 19 20 22 23 24 25 26 29 30 39
a 5 7 10 11 12 16 19 20 22 23 24 25 26 29 30 39
a 5 7 10 11 12 16 18 19 20 22 23 24 25 26 29 30
a 2 5 7 10 11 12 16 18 19 20 22 23 25 26 29 30
a 2 5 7 11 12 16 18 19 20 22 23 24 25 26 29 30
a 2 5 7 11 12 16 18 19 20 22 24 25 26 29 30 44
a 5 7 11 12 16 18 19 20 22 23 24 25 26 29 30 44
a 7 11 12 16 18 19 20 22 23 24 25 26 29 30 39 44
a 10 11 12 16 18 19 20 22 23 24 25 26 29 30 39 44
a 2 10 11 12 16 18 19 20 22 23 24 25 26 29 39 44
a 2 7 10 11 12 16 18 19 20 22 23 25 26 29 39 44
a 2 7 10 11 12 16 18 19 20 22 23 25 26 29 44 45
a 7 10 11 12 16 18 19 20 22 23 24 25 26 29 44 45
a 5 7 10 11 12 16 18 20 22 23 24 25 26 29 44 45
a 5 7 10 11 12 16 18 20 22 23 24 25 29 44 45 47
a 5 10 11 12 16 18 19 20 22 23 24 25 29 44 45 47
a 5 10 11 12 16 18 19 20 22 23 24 25 29 39 44 45
a 5 7 10 11 12 16 18 19 20 22 23 24 25 29 39 45
a 5 7 11 12 16 18 19 20 22 23 24 25 29 30 39 45
a 5 7 11 12 16 18 19 20 23 24 25 29 30 39 44 45
a 7 11 12 16 18 19 20 22 23 24 25 29 30 39 44 45
a 11 12 16 18 19 20 22 23 24 25 26 29 30 39 44 45
a 2 11 12 16 18 19 20 22 23 24 25 26 29 30 39 44
a 5 11 12 16 18 19 20 22 23 24 25 26 29 30 39 44
a 5 10 11 12 16 18 19 20 23 24 25 26 29 30 39 44
a 5 10 11 12 16 18 19 20 22 23 24 25 26 29 30 39
a 10 11 12 16 18 19 20 22 23 24 25 26 29 30 39 45
a 2 11 12 16 18 19 20 22 23 24 25 26 29 30 39 45
a 2 7 11 12 16 18 19 20 22 24 25 26 29 30 39 45
a 2 5 7 11 12 16 18 20 22 24 25 26 29 30 39 45
a 2 5 10 11 12 16 18 20 22 24 25 26 29 30 39 45
a 5 10 11 12 16 18 20 22 23 24 25 26 29 30 39 45
a 5 10 11 12 16 18 19 20 22 23 24 25 26 29 30 45
a 2 5 10 11 12 16 18 19 20 22 23 24 25 26 29 30
a 2 5 7 10 11 12 16 18 19 20 22 23 24 26 29 30
a 2 5 7 10 11 12 16 18 19 20 22 23 24 25 26 30
a 2 5 7 10 12 16 18 19 20 22 23 24 25 26 30 39
a 2 5 7 10 12 16 18 19 20 22 23 24 25 26 29 30
a 2 5 7 10 11 16 18 19 20 22 23 24 25 26 29 30
a 2 7 10 11 12 16 18 19 20 22 23 24 25 26 29 30
a 7 10 11 12 16 18 19 20 22 23 24 25 26 29 30 44
a 7 10 11 12 16 18 19 20 22 23 25 26 29 30 39 44
a 7 10 12 16 18 19 20 22 23 24 25 26 29 30 39 44
a 2 10 12 16 18 19 20 22 23 24 25 26 29 30 39 44
a 2 7 10 12 16 18 19 20 22 23 24 25 26 29 30 39
a 2 5 7 10 16 18 19 20 22 23 24 25 26 29 30 39
a 5 7 10 12 16 18 19 20 22 23 24 25 26 29 30 39
a 5 7 10 11 12 16 18 19 20 22 24 25 26 29 30 39
a 5 7 10 11 12 18 19 20 22 23 24 25 26 29 30 39
a 5 7 10 11 12 16 18 19 20 22 23 24 25 26 29 39
a 5 7 10 11 12 16 18 19 20 22 23 24 26 29 30 39
a 5 7 10 11 12 16 18 19 20 22 23 24 26 29 39 44
a 5 7 10 11 12 16 18 19 20 22 23 24 29 30 39 44
a 5 7 10 11 12 16 18 19 20 22 23 24 25 29 30 39
a 2 5 7 10 11 12 16 18 19 20 22 23 25 29 30 39
a 2 5 7 10 11 12 16 18 19 20 22 23 24 25 30 39
a 2 5 7 10 11 12 16 18 19 20 22 23 24 30 39 45
a 2 5 7 10 11 16 18 19 20 22 23 24 25 30 39 45
a 2 7 10 11 16 18 19 20 22 23 24 25 29 30 39 45
a 2 5 7 11 16 18 19 20 22 23 24 25 29 30 39 45
a 2 7 11 16 18 19 20 22 23 24 25 29 30 39 44 45
a 2 7 11 12 16 18 19 20 22 23 25 29 30 39 44 45
a 2 7 11 12 16 18 19 20 22 23 25 26 29 30 39 44
a 2 7 11 12 18 19 20 22 23 24 25 26 29 30 39 44
a 2 7 10 11 12 18 19 20 22 23 24 25 26 29 30 44
a 2 10 11 12 16 18 19 20 22 23 24 25 26 29 30 44
a 2 5 10 11 12 16 18 19 20 23 24 25 26 29 30 44
a 2 5 11 12 16 18 19 20 22 23 24 25 26 29 30 44
a 2 5 8 11 12 16 18 19 20 22 24 25 26 29 30 44
a 5 7 8 11 12 16 18 19 20 22 24 25 26 29 30 44
a 5 7 8 11 12 16 18 19 20 22 24 26 29 30 34 44
a 5 7 8 10 11 12 16 18 19 20 24 26 29 30 34 44
a 5 7 8 10 11 16 18 19 20 24 26 29 30 34 39 44
a 5 8 10 11 12 16 18 19 20 24 26 29 30 34 39 44
a 5 7 8 10 11 12 16 18 19 20 24 29 30 34 39 44
a 7 8 10 11 12 16 18 19 20 24 26 29 30 34 39 44
a 6 7 8 10 11 12 16 18 19 20 24 26 29 30 34 39
a 2 6 7 8 10 11 16 18 19 20 24 26 29 30 34 39
a 2 6 7 8 10 11 16 18 19 20 24 26 29 30 34 37
a 2 6 7 8 10 11 12 16 18 19 20 24 26 29 34 37
a 2 5 6 7 8 10 11 12 16 18 19 20 24 26 29 34
a 2 5 6 7 8 10 11 12 16 18 19 20 24 26 29 44
a 2 5 7 8 10 11 12 16 18 19 20 24 26 29 34 44
a 2 7 8 10 11 12 16 18 19 20 24 26 29 34 39 44
a 2 8 10 11 12 16 18 19 20 24 26 29 30 34 39 44
a 2 6 8 10 11 12 16 18 19 20 24 26 29 30 39 44
a 6 8 10 11 12 16 18 19 20 24 26 29 30 34 39 44
a 2 6 8 10 11 12 16 19 20 24 26 29 30 34 39 44
a 2 6 8 11 12 16 18 19 20 24 26 29 30 34 39 44
a 2 5 6 8 12 16 18 19 20 24 26 29 30 34 39 44
a 2 5 6 8 10 12 16 18 19 20 24 26 29 34 39 44
a 2 5 6 8 10 11 12 16 18 19 20 24 26 34 39 44
a 5 6 8 10 11 12 16 18 19 20 24 26 29 34 39 44
a 5 6 7 8 10 11 12 16 18 19 20 24 26 29 34 39
a 5 6 7 8 10 11 12 16 18 19 20 24 26 29 30 34
a 5 6 7 8 10 11 16 18 19 20 24 26 29 30 34 40
a 5 6 7 8 10 11 16 18 19 20 24 29 30 34 40 47
a 5 6 7 8 10 11 16 18 19 20 21 24 29 30 40 47
a 5 7 8 10 11 16 18 19 20 21 24 25 29 30 40 47
a 5 7 10 11 16 18 19 20 21 23 24 25 29 30 40 47
a 5 7 10 16 18 19 20 21 23 24 25 29 30 40 41 47
c Step: 509
#END: [Mon Sep  4 16:11:04 2023]