#BEGIN: [Tue Sep  5 05:55:11 2023]
#HOST: s11
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest2
#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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /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 e278cf6c43f22cc80fdcc541e3f3928dd8ff144fc5375184a4a3721fe331b9c0
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 7 8 10 16 17 19 20 21 24 25 29 30 40 42 47 49
a 7 8 10 16 17 20 21 24 25 29 30 40 42 46 47 49
a 7 8 10 12 16 17 20 21 24 25 29 30 42 46 47 49
a 7 8 10 12 16 17 19 20 21 24 25 29 30 42 47 49
a 7 8 10 12 16 19 20 21 24 25 29 30 36 42 47 49
a 5 7 8 10 12 16 19 20 21 24 25 29 30 36 47 49
a 5 7 8 10 12 16 18 19 20 21 24 25 29 30 36 47
a 5 7 8 10 11 16 18 19 20 21 24 25 29 30 36 47
a 5 8 10 11 16 18 19 20 21 22 24 25 29 30 36 47
a 5 7 8 10 11 16 18 19 21 22 24 25 29 30 36 47
a 5 7 8 10 11 12 16 18 19 21 24 25 29 30 36 47
a 5 7 8 10 11 12 16 18 19 21 24 25 29 30 39 47
a 5 6 7 8 10 11 12 16 18 19 21 24 29 30 39 47
a 5 6 7 8 10 11 12 16 18 19 20 24 29 30 39 47
a 5 6 8 10 11 12 16 18 19 20 24 29 30 34 39 47
a 5 6 8 10 11 12 16 18 19 20 24 29 30 34 44 47
a 5 6 7 8 10 11 12 16 18 19 20 24 29 30 34 44
a 5 7 8 10 11 12 16 18 19 20 24 29 30 34 36 44
a 5 7 8 10 11 16 18 19 20 24 29 30 34 36 40 44
a 5 6 8 10 11 16 18 19 20 24 29 30 34 36 40 44
a 5 6 8 10 11 16 18 20 24 29 30 34 36 40 44 47
a 5 6 8 10 11 18 19 20 24 29 30 34 36 40 44 47
a 5 6 7 8 10 11 18 19 24 29 30 34 36 40 44 47
a 3 5 6 7 8 10 11 18 19 29 30 34 36 40 44 47
a 3 5 6 7 8 11 16 18 19 29 30 34 36 40 44 47
a 3 5 6 7 8 16 18 19 20 29 30 34 36 40 44 47
a 3 5 6 7 8 10 16 18 19 20 29 30 34 36 44 47
a 5 6 7 8 10 12 16 18 19 20 29 30 34 36 44 47
a 5 7 8 10 11 12 16 18 19 20 29 30 34 36 44 47
a 5 7 8 10 11 12 16 18 19 20 25 29 30 36 44 47
a 5 7 8 10 12 16 18 19 20 22 25 29 30 36 44 47
a 5 7 10 12 16 18 19 20 22 25 29 30 36 41 44 47
a 5 7 10 12 16 18 19 20 22 24 25 29 30 41 44 47
a 5 7 10 12 16 18 19 20 22 23 24 25 29 30 41 44
a 5 7 10 12 16 18 19 20 22 23 24 25 26 29 30 41
a 5 7 10 16 18 19 20 22 23 24 25 26 29 30 41 44
a 5 10 12 16 18 19 20 22 23 24 25 26 29 30 41 44
a 2 5 10 12 18 19 20 22 23 24 25 26 29 30 41 44
a 5 7 10 12 18 19 20 22 23 24 25 26 29 30 41 44
a 5 7 10 12 18 19 20 22 23 24 25 26 29 30 41 45
a 2 5 7 10 12 18 19 20 23 24 25 26 29 30 41 45
a 5 7 10 12 18 19 20 23 24 25 26 29 30 41 44 45
a 2 5 7 10 12 18 19 20 23 24 25 26 29 30 41 44
a 2 5 7 10 12 18 19 20 23 24 25 26 29 30 44 45
a 2 5 7 10 12 18 19 20 23 24 26 29 30 41 44 45
a 2 5 7 10 12 18 19 20 23 24 29 30 41 44 45 47
a 2 5 7 10 12 16 18 19 20 23 24 29 30 41 44 45
a 2 5 7 10 12 16 18 19 20 23 24 29 30 37 41 44
a 2 5 7 10 12 16 18 19 20 23 29 30 37 41 44 47
a 2 5 7 10 12 16 18 19 20 29 30 37 41 44 45 47
a 2 5 7 10 12 16 18 19 20 26 29 30 37 41 44 45
a 2 5 7 10 12 16 18 19 20 23 26 29 30 37 41 44
a 2 5 7 10 12 16 18 20 22 23 26 29 30 37 41 44
a 2 5 7 10 12 16 18 20 22 23 26 29 30 41 44 45
a 2 5 7 10 12 16 18 19 20 22 23 26 29 41 44 45
a 5 7 10 12 16 18 19 20 22 23 26 29 31 41 44 45
a 2 5 7 10 16 18 19 20 22 23 26 29 31 41 44 45
a 2 5 7 10 18 19 20 22 23 26 29 31 37 41 44 45
a 2 5 7 10 18 19 20 22 23 26 29 30 31 37 44 45
a 2 5 7 8 10 18 19 20 22 26 29 30 31 37 44 45
a 2 5 7 8 10 12 19 20 22 26 29 30 31 37 44 45
a 2 5 7 8 10 12 16 19 20 22 26 29 30 31 37 44
a 2 5 7 8 10 11 12 16 19 20 22 26 29 30 31 37
a 2 5 7 8 10 11 12 16 19 20 22 26 29 30 31 39
a 2 5 7 8 10 11 12 16 19 20 22 25 26 29 30 39
a 2 5 7 8 10 11 12 16 19 20 22 26 29 30 39 44
a 2 5 7 8 10 11 12 16 19 20 22 25 26 29 30 44
a 2 5 7 8 11 12 16 18 19 20 22 25 26 29 30 44
a 2 5 7 8 10 11 12 16 18 19 20 22 25 26 29 30
a 2 5 7 8 10 12 16 18 19 20 22 24 25 26 29 30
a 2 5 7 8 10 11 12 16 19 20 22 24 25 26 29 30
a 2 5 7 8 10 11 12 16 19 20 22 24 26 29 30 39
a 2 5 7 8 10 12 16 18 19 20 22 24 26 29 30 39
a 2 5 7 8 10 12 13 16 18 19 20 22 24 26 30 39
a 2 5 7 8 10 12 13 16 18 19 20 22 26 30 34 39
a 2 7 8 10 12 13 16 18 19 20 22 24 26 30 34 39
a 2 5 7 8 10 12 13 16 18 19 20 22 24 26 30 34
a 2 5 7 8 10 12 13 16 18 19 20 22 24 26 30 44
a 2 5 7 8 10 12 13 16 18 19 20 22 24 26 44 45
a 1 2 5 7 8 10 13 16 18 19 20 22 24 26 44 45
a 1 2 5 7 10 13 16 18 19 20 22 24 26 41 44 45
a 1 5 7 9 10 13 16 18 19 20 22 24 26 41 44 45
a 1 5 7 9 10 13 16 18 20 22 24 26 41 44 45 52
a 1 5 7 9 10 13 16 18 19 20 22 24 26 44 45 52
a 1 5 7 9 10 13 16 19 20 22 24 26 32 44 45 52
a 1 5 9 10 13 16 18 19 20 22 24 26 32 44 45 52
a 1 5 7 10 13 16 18 19 20 22 24 26 32 44 45 52
a 1 2 5 7 10 13 16 18 19 20 22 24 26 32 44 45
a 1 2 5 7 10 16 18 19 20 22 23 24 26 32 44 45
a 1 2 5 7 10 16 18 19 20 23 24 26 29 32 44 45
a 1 2 5 7 10 16 18 19 20 23 24 26 29 32 37 44
a 1 2 5 7 10 16 18 19 20 23 26 29 32 37 44 45
a 1 2 5 7 10 16 18 19 20 23 26 31 32 37 44 45
a 1 2 5 7 10 16 18 19 20 22 23 26 31 37 44 45
a 1 2 5 7 10 16 18 19 20 22 23 26 31 32 44 45
a 1 2 5 7 10 16 18 19 20 22 23 26 31 32 41 44
a 1 2 7 10 16 18 19 20 22 23 26 31 32 41 44 45
a 1 5 7 10 16 18 19 20 22 23 26 31 32 41 44 45
a 5 7 10 16 18 19 20 22 23 26 31 32 37 41 44 45
a 5 7 10 16 18 19 20 22 23 29 31 32 37 41 44 45
a 5 7 10 16 18 19 20 22 23 29 31 32 37 41 44 47
a 1 5 7 10 18 19 20 22 23 29 31 32 37 41 44 47
a 1 5 7 18 19 20 22 23 29 31 32 37 41 44 45 47
a 1 5 7 16 18 19 20 22 23 29 31 32 37 41 45 47
a 1 5 7 16 18 19 20 22 23 29 31 32 37 41 44 47
a 1 5 7 10 16 18 19 20 22 23 29 31 32 37 41 44
a 1 5 7 10 13 16 18 19 20 22 23 31 32 37 41 44
a 1 5 10 13 16 18 19 20 22 23 31 32 37 41 44 47
a 1 5 7 10 13 16 18 19 20 22 23 31 32 41 44 47
a 1 2 5 7 10 13 16 18 19 20 22 31 32 41 44 47
a 1 2 5 7 10 13 16 18 19 20 22 31 32 37 41 44
a 1 2 5 7 10 13 16 18 19 20 22 23 31 32 37 41
a 1 2 5 7 10 13 16 19 20 22 23 31 32 37 41 44
a 1 2 5 7 10 16 18 19 20 22 23 31 32 37 41 44
a 2 5 7 10 13 16 18 19 20 22 23 31 32 37 41 44
a 1 2 5 7 10 13 16 18 19 20 22 23 31 32 37 44
a 1 2 5 7 10 13 16 18 19 20 22 31 32 37 44 45
a 1 5 7 10 13 16 18 19 20 22 31 32 37 44 45 52
a 1 5 7 9 10 13 16 18 19 20 22 31 32 44 45 52
a 1 7 9 10 13 16 18 19 20 22 31 32 41 44 45 52
a 1 7 9 10 13 16 18 19 20 22 23 31 32 41 44 52
a 1 5 7 9 10 13 16 18 19 20 22 23 31 32 41 52
a 1 5 7 9 10 13 16 18 20 22 23 31 32 41 45 52
a 1 7 9 10 13 16 18 20 22 23 26 31 32 41 45 52
a 1 5 7 9 10 13 16 20 22 23 26 31 32 41 45 52
a 1 5 7 9 10 13 18 20 22 23 26 31 32 41 45 52
a 1 5 7 9 10 13 18 20 22 26 31 32 41 45 46 52
a 1 5 7 10 13 18 20 22 26 31 32 41 44 45 46 52
a 1 7 9 10 13 18 20 22 26 31 32 41 44 45 46 52
a 1 5 7 9 10 13 18 20 22 26 31 32 41 44 45 46
a 1 5 7 9 10 13 18 20 22 26 31 41 44 45 46 52
a 1 5 7 9 13 18 20 22 23 26 31 41 44 45 46 52
a 1 5 7 13 16 18 20 22 23 26 31 41 44 45 46 52
a 1 5 7 10 16 18 20 22 23 26 31 41 44 45 46 52
a 1 5 7 10 13 16 18 22 23 26 31 41 44 45 46 52
a 1 5 7 10 13 16 18 22 23 26 31 37 41 45 46 52
a 1 5 7 10 13 16 18 22 23 26 31 37 41 44 45 46
a 1 5 7 10 13 16 18 23 26 31 32 37 41 44 45 46
a 1 5 10 13 16 18 23 26 31 32 37 40 41 44 45 46
a 1 5 10 13 16 20 23 26 31 32 37 40 41 44 45 46
a 1 5 10 13 16 23 26 31 32 37 40 41 44 45 46 52
a 1 5 6 10 13 16 26 31 32 37 40 41 44 45 46 52
a 5 6 10 13 16 18 26 31 32 37 40 41 44 45 46 52
a 5 6 10 13 16 18 20 26 31 32 37 40 41 44 45 52
a 5 6 10 13 16 18 20 26 32 37 40 41 44 45 46 52
a 1 5 6 10 13 16 18 20 26 32 37 40 41 44 45 46
a 1 5 6 10 13 16 18 20 26 31 32 40 41 44 45 46
a 5 6 10 13 16 18 20 26 31 32 37 40 41 44 45 46
a 5 6 10 13 16 18 20 26 31 32 37 40 41 44 46 52
a 6 10 13 16 18 20 26 31 32 37 40 41 44 45 46 52
a 6 8 10 13 16 18 20 26 31 32 37 40 44 45 46 52
a 6 7 8 10 13 16 18 20 31 32 37 40 44 45 46 52
a 5 6 7 8 10 13 16 18 20 31 32 37 40 44 45 46
a 5 6 7 8 10 13 16 18 20 31 32 37 40 45 46 52
a 5 6 7 8 10 13 16 18 20 31 32 37 40 45 46 47
a 5 6 7 8 10 13 16 18 20 31 32 37 40 46 47 52
a 5 6 7 8 10 13 16 18 20 24 32 37 40 46 47 52
a 5 6 7 8 10 13 16 18 20 24 32 37 40 44 46 47
a 5 6 7 8 10 13 16 18 20 24 37 40 44 46 47 52
a 5 6 7 8 10 13 14 16 20 24 37 40 44 46 47 52
a 5 6 7 8 10 13 14 20 24 37 38 40 44 46 47 52
a 6 7 8 10 13 14 20 24 37 38 40 42 44 46 47 52
a 1 6 7 8 10 13 14 20 37 38 40 42 44 46 47 52
a 1 6 7 8 10 13 14 20 37 38 40 42 44 47 49 52
a 1 6 7 8 10 13 14 20 34 37 38 40 42 44 49 52
a 1 6 7 8 10 13 14 20 34 37 38 40 42 47 49 52
a 1 6 7 8 10 13 14 20 36 37 38 40 42 47 49 52
a 1 3 6 7 8 10 13 14 20 36 37 38 40 42 47 49
a 1 3 6 7 8 10 13 14 20 34 36 37 38 42 47 49
a 1 3 6 7 8 10 13 14 20 34 36 37 38 42 46 47
a 1 3 7 8 10 13 14 20 34 36 37 38 42 44 46 47
a 1 3 7 8 10 13 14 20 34 36 37 38 42 44 47 52
a 3 7 8 10 13 14 20 34 36 37 38 40 42 44 47 52
a 1 3 7 8 10 13 20 34 36 37 38 40 42 44 47 52
a 3 6 7 8 10 13 20 34 36 37 38 40 42 44 47 52
a 3 6 7 8 10 13 20 34 36 37 38 40 42 44 49 52
a 3 6 7 8 10 13 20 34 36 37 38 40 44 46 49 52
a 3 6 7 8 10 13 20 34 36 37 38 40 44 46 47 52
a 3 6 7 8 10 13 20 34 36 37 38 40 44 46 47 49
a 3 6 7 8 10 13 20 34 36 37 38 40 42 44 46 47
a 3 6 7 8 10 13 14 20 36 37 38 40 42 44 46 47
a 3 6 7 8 10 14 20 36 37 38 40 42 44 46 47 52
a 1 3 6 7 8 10 14 20 36 37 38 40 42 44 47 52
a 1 3 6 7 8 10 14 20 36 37 38 40 42 44 49 52
a 1 3 6 7 8 10 14 20 36 37 38 40 42 44 46 52
a 1 3 6 8 10 14 20 36 37 38 40 42 44 46 47 52
a 1 3 6 8 10 14 20 34 36 37 38 40 42 44 47 52
a 1 3 6 7 8 10 14 20 34 36 37 38 40 42 44 47
a 1 3 6 7 8 10 14 20 34 36 37 38 40 42 44 52
a 1 3 6 7 8 10 14 20 34 36 37 38 40 44 49 52
a 1 3 6 7 8 10 13 14 20 34 37 38 40 44 49 52
a 1 3 5 6 7 8 10 13 14 20 34 38 40 44 49 52
a 1 3 5 6 7 8 10 13 14 20 34 37 38 40 44 49
a 1 3 5 6 7 8 10 13 14 20 34 37 38 40 44 52
a 1 3 5 6 7 8 10 13 14 20 37 38 40 44 49 52
a 1 3 5 6 7 8 10 13 14 20 37 38 40 44 45 49
a 1 5 6 7 8 10 13 14 20 24 37 38 40 44 45 49
a 1 5 6 7 8 10 13 14 20 24 38 40 44 45 49 52
a 1 5 6 7 8 9 10 13 14 20 24 38 40 44 45 49
a 1 5 6 7 8 9 10 13 14 19 20 24 38 40 44 45
a 1 5 6 7 8 9 10 13 14 19 20 24 40 44 45 52
a 1 5 6 7 8 9 10 13 14 18 19 20 24 40 44 52
a 1 5 6 7 8 9 10 13 14 18 19 20 24 40 44 47
a 1 5 6 7 8 9 10 13 14 16 18 19 24 40 44 47
a 1 5 6 7 8 9 10 13 14 16 18 19 24 32 40 47
a 1 5 6 8 9 10 13 14 16 18 19 20 24 32 40 47
a 1 5 6 7 8 9 10 14 16 18 19 20 24 32 40 47
a 1 5 6 7 8 9 10 13 14 16 18 19 20 24 40 47
a 1 6 7 8 9 10 13 14 16 18 19 20 24 40 44 47
a 1 6 7 8 9 10 13 14 16 18 19 20 24 40 44 52
a 1 5 6 7 8 9 10 13 14 16 18 19 20 40 44 52
a 1 5 6 7 8 9 10 13 16 18 19 20 31 40 44 52
a 1 5 6 7 8 9 10 13 16 18 19 20 31 32 44 52
a 1 5 6 7 8 9 10 16 18 19 20 31 32 40 44 52
a 1 5 6 7 8 9 10 14 16 18 19 20 31 32 44 52
a 1 5 6 7 8 9 10 14 16 18 19 20 31 32 44 47
a 1 5 6 7 8 9 10 14 16 18 19 20 32 40 44 47
a 1 5 6 7 9 10 14 16 18 19 20 31 32 40 44 47
a 1 5 6 7 8 9 10 14 16 18 20 31 32 40 44 47
a 1 5 6 7 8 9 10 14 16 18 19 20 31 32 40 44
a 1 5 6 7 9 10 13 14 16 18 19 20 31 32 40 44
a 1 5 6 7 9 10 13 14 16 18 19 20 31 40 41 44
a 1 5 7 9 10 13 14 16 18 19 20 23 31 40 41 44
a 1 5 7 9 10 13 14 16 18 19 20 23 31 41 44 52
a 1 5 7 9 13 14 16 18 19 20 23 31 40 41 44 52
a 1 5 7 9 13 14 16 18 19 20 31 36 40 41 44 52
a 1 5 7 9 10 13 14 16 18 20 31 36 40 41 44 52
a 1 5 7 9 10 13 14 16 18 20 31 32 36 40 41 44
a 1 5 7 9 10 13 14 16 18 20 31 32 40 41 44 52
a 1 5 7 9 10 13 14 16 18 20 24 32 40 41 44 52
a 1 5 7 9 10 13 14 16 18 20 24 32 36 41 44 52
a 1 5 7 9 10 13 14 16 18 20 24 32 41 44 46 52
a 1 5 7 9 10 13 14 16 18 24 32 36 41 44 46 52
a 1 5 7 10 13 14 16 18 24 32 36 37 41 44 46 52
a 1 5 7 10 13 14 16 18 22 24 32 37 41 44 46 52
a 1 5 7 10 13 14 16 18 20 22 24 32 37 41 44 52
a 1 5 7 10 13 14 16 18 20 22 23 24 32 37 41 44
a 1 2 5 10 13 14 16 18 20 22 23 24 32 37 41 44
a 1 5 10 13 14 16 18 20 22 23 24 32 37 41 44 46
a 1 5 7 10 13 14 16 18 20 22 23 24 32 41 44 46
a 1 5 7 10 13 14 16 18 20 22 23 24 32 41 46 52
a 1 5 7 10 13 14 16 18 20 21 22 23 24 41 46 52
a 5 7 9 10 13 14 16 18 20 21 22 23 24 41 46 52
a 5 7 9 10 13 16 18 20 21 22 23 24 41 46 47 52
a 5 7 9 10 13 16 18 20 21 22 23 24 32 41 46 47
a 1 5 7 9 10 13 16 18 20 21 22 23 32 41 46 47
a 1 5 7 9 10 13 16 18 20 21 22 23 32 41 46 52
a 1 5 7 9 10 13 14 16 18 20 21 22 23 32 41 52
a 1 5 7 9 10 13 14 16 18 20 21 22 32 36 41 52
a 1 5 7 9 10 13 16 18 20 21 22 24 32 36 41 52
a 1 5 7 9 10 13 16 18 20 21 24 32 36 40 41 52
a 1 5 7 9 10 13 16 18 20 21 24 32 40 41 46 52
a 1 5 7 9 10 13 16 18 20 21 24 32 36 40 41 46
a 1 5 7 9 10 13 16 18 21 24 32 36 40 41 46 47
a 1 5 7 9 10 13 16 18 24 32 36 40 41 44 46 47
a 1 5 7 10 13 16 18 20 24 32 36 40 41 44 46 47
a 1 5 7 10 13 16 18 20 24 32 36 37 40 41 46 47
a 1 5 7 10 13 18 20 24 32 35 36 37 40 41 46 47
a 1 5 7 10 13 20 24 32 33 35 36 37 40 41 46 47
a 1 5 10 13 14 20 24 32 33 35 36 37 40 41 46 47
a 1 5 7 13 14 20 24 32 33 35 36 37 40 41 46 47
a 1 5 7 13 14 20 24 33 35 36 37 40 41 44 46 47
a 1 7 13 14 20 24 33 35 36 37 40 41 42 44 46 47
a 1 7 13 14 20 24 32 33 35 36 37 40 41 42 44 47
a 1 7 13 14 19 20 24 32 33 35 36 37 40 41 42 44
a 1 7 13 14 19 20 24 32 33 36 37 40 41 42 44 52
a 7 10 13 14 19 20 24 32 33 36 37 40 41 42 44 52
a 1 7 10 13 14 20 24 32 33 36 37 40 41 42 44 52
a 7 10 13 14 20 24 32 33 36 37 40 41 42 44 47 52
a 1 7 13 14 20 24 32 33 36 37 40 41 42 44 47 52
a 1 7 10 13 14 20 24 32 33 36 37 40 41 42 44 47
a 1 7 10 13 14 19 20 24 32 33 37 40 41 42 44 47
a 1 7 10 13 14 19 20 24 32 33 36 37 40 41 42 47
a 1 7 10 13 14 19 20 32 33 35 36 37 40 41 42 47
a 1 7 10 13 14 19 20 32 33 35 36 37 40 41 44 47
a 1 7 10 13 14 19 20 32 33 35 36 37 40 41 42 44
a 1 7 10 13 14 19 20 32 33 35 36 37 41 42 44 47
a 1 7 13 14 19 20 32 33 35 36 37 40 41 42 44 47
a 1 7 13 14 19 20 32 33 35 36 37 40 42 44 47 49
a 1 7 13 14 20 32 33 35 36 37 38 40 42 44 47 49
a 1 7 8 13 14 20 32 35 36 37 38 40 42 44 47 49
a 7 8 13 14 19 20 32 35 36 37 38 40 42 44 47 49
a 1 7 8 13 14 19 20 32 35 36 37 38 40 42 44 47
a 1 6 7 8 13 14 19 20 32 36 37 38 40 42 44 47
a 1 6 7 8 13 14 19 24 32 36 37 38 40 42 44 47
a 1 6 7 8 13 14 19 24 32 36 37 38 40 42 47 52
a 1 6 7 8 13 14 19 20 24 32 36 37 38 40 42 47
a 6 7 8 13 14 19 20 24 32 36 37 38 40 42 44 47
a 6 7 8 13 14 19 20 24 32 37 38 40 42 44 47 49
a 6 7 8 13 14 19 20 24 32 37 38 40 42 44 47 52
a 6 7 8 13 14 19 20 24 32 37 38 40 42 44 45 52
a 1 6 7 8 13 19 20 24 32 37 38 40 42 44 45 52
a 1 6 8 13 14 19 20 24 32 37 38 40 42 44 45 52
a 1 6 8 13 14 19 20 24 32 36 37 38 40 42 44 52
a 1 6 8 10 13 14 19 20 24 32 37 38 40 42 44 52
a 6 8 10 13 14 19 20 24 32 36 37 38 40 42 44 52
a 1 6 8 10 13 14 19 20 24 32 36 37 40 42 44 52
a 1 6 7 8 10 13 14 19 20 24 32 36 37 40 42 44
a 1 6 7 8 13 14 19 20 24 32 36 37 38 40 42 44
a 1 6 7 8 10 13 14 19 20 24 36 37 38 40 42 44
a 1 6 8 10 13 14 19 20 24 36 37 38 40 42 44 52
a 1 6 8 10 13 14 19 20 24 34 36 37 38 40 42 44
a 1 3 6 8 10 13 14 19 20 34 36 37 38 40 42 44
a 1 3 8 10 13 14 19 20 34 36 37 38 40 42 44 47
a 1 3 8 10 13 14 19 20 34 36 37 38 40 42 47 52
a 1 6 8 10 13 14 19 20 34 36 37 38 40 42 47 52
a 1 5 6 8 10 13 14 19 20 34 36 37 38 40 47 52
a 1 5 6 8 10 13 14 20 34 36 37 38 40 46 47 52
a 1 6 8 10 13 14 20 24 34 36 37 38 40 46 47 52
a 1 6 7 10 13 14 20 24 34 36 37 38 40 46 47 52
a 1 6 7 10 13 14 20 24 34 36 37 38 40 44 46 47
a 1 6 7 10 13 14 20 24 34 36 38 40 41 44 46 47
a 1 5 6 7 10 13 14 20 24 36 38 40 41 44 46 47
a 1 5 6 7 10 13 14 20 24 32 36 38 40 41 44 46
a 1 5 6 7 9 10 14 20 24 32 36 38 40 41 44 46
a 1 5 7 9 10 14 20 24 32 33 36 38 40 41 44 46
a 1 5 9 10 13 14 20 24 32 33 36 38 40 41 44 46
a 1 5 9 10 13 14 20 24 32 33 35 36 40 41 44 46
a 1 5 10 13 14 20 24 32 33 35 36 38 40 41 44 46
a 1 10 13 14 20 24 32 33 35 36 38 40 41 42 44 46
a 1 7 10 13 14 20 24 32 33 35 36 38 41 42 44 46
a 1 7 10 14 20 24 32 33 35 36 38 40 41 42 44 46
a 1 7 10 14 20 24 32 33 35 36 37 38 41 42 44 46
a 1 10 13 14 20 24 32 33 35 36 37 38 41 42 44 46
a 1 10 13 14 19 20 24 32 33 35 36 37 38 41 42 44
a 1 10 13 14 19 20 24 32 33 35 36 37 38 41 42 47
a 1 10 13 14 20 24 32 33 35 36 37 38 41 42 46 47
a 1 10 13 14 20 24 32 33 35 37 38 41 42 45 46 47
a 1 10 13 14 19 20 24 32 33 35 37 38 41 42 45 47
a 1 6 10 13 14 19 20 24 32 35 37 38 41 42 45 47
a 1 10 13 14 19 20 24 32 35 37 38 40 41 42 45 47
a 1 10 14 19 20 24 32 35 37 38 40 41 42 44 45 47
a 10 14 17 19 20 24 32 35 37 38 40 41 42 44 45 47
a 10 14 17 19 20 24 34 35 37 38 40 41 42 44 45 47
a 10 13 14 17 19 20 24 34 35 37 38 40 41 42 44 45
a 7 13 14 17 19 20 24 34 35 37 38 40 41 42 44 45
a 7 13 17 19 20 24 26 34 35 37 38 40 41 42 44 45
a 6 7 13 17 19 20 24 26 34 35 37 38 40 41 42 44
a 6 7 17 19 20 24 26 34 35 37 38 40 41 42 44 45
a 6 7 17 19 20 24 26 30 34 35 37 38 40 41 42 44
a 6 7 10 17 19 20 24 26 30 34 35 37 38 40 41 42
a 6 7 17 19 20 24 26 30 34 35 37 38 40 41 42 45
a 6 7 8 17 19 20 24 26 30 34 35 37 38 40 42 45
a 6 7 8 17 19 20 24 29 30 34 35 37 38 40 42 45
a 6 7 8 17 19 20 24 26 29 30 34 35 37 38 42 45
a 6 8 12 17 19 20 24 26 29 30 34 35 37 38 42 45
a 6 8 11 12 17 19 20 24 26 30 34 35 37 38 42 45
a 6 8 11 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 38 42
a 6 8 10 11 12 19 20 24 26 29 30 34 35 38 42 45
a 6 8 10 11 12 17 19 20 24 26 29 30 34 35 38 45
a 6 8 10 11 12 17 19 20 24 26 29 30 34 35 42 45
a 6 8 10 11 17 19 20 24 26 29 30 34 35 40 42 45
a 6 8 10 11 17 19 20 24 26 30 34 35 37 40 42 45
a 6 8 11 17 19 20 24 26 29 30 34 35 37 40 42 45
a 6 8 10 11 17 19 20 24 26 29 30 34 35 37 42 45
a 6 8 10 11 17 19 20 24 26 29 30 35 37 40 42 45
a 6 8 10 11 17 19 20 24 29 30 34 35 37 40 42 45
a 6 7 8 10 11 17 19 20 24 29 30 34 35 37 42 45
a 6 7 8 10 11 17 19 20 24 26 29 30 34 35 37 45
a 7 8 10 11 17 19 20 24 26 29 30 34 35 37 42 45
a 7 8 10 11 17 19 20 24 26 29 30 34 35 37 38 45
a 7 8 10 11 17 19 20 24 26 29 30 34 35 37 44 45
a 8 10 11 17 19 20 24 26 29 30 34 35 37 42 44 45
a 7 8 10 11 17 19 20 24 26 29 30 34 35 37 42 44
a 8 10 11 17 19 20 24 26 29 30 34 35 37 38 42 44
a 6 8 10 11 17 19 20 24 26 29 30 34 35 37 38 44
a 6 8 10 11 17 19 20 24 26 29 30 35 37 38 40 44
a 6 8 10 11 17 18 19 20 24 26 29 30 35 37 40 44
a 8 10 11 17 18 19 20 24 26 29 30 35 37 40 44 45
a 8 10 11 17 18 19 20 26 29 30 34 35 37 40 44 45
a 6 8 10 11 17 18 20 26 29 30 34 35 37 40 44 45
a 6 8 10 11 17 19 20 26 29 30 34 35 37 40 44 45
a 6 8 10 17 19 20 26 29 30 34 35 37 38 40 44 45
a 6 8 17 19 20 24 26 29 30 34 35 37 38 40 44 45
a 6 7 8 17 19 20 24 26 29 30 34 35 37 38 44 45
a 6 7 8 17 19 20 24 26 29 30 34 37 38 42 44 45
a 6 8 17 19 20 24 26 29 30 34 37 38 40 42 44 45
a 6 8 11 17 19 20 24 26 29 30 34 37 38 40 42 45
a 6 8 17 19 20 24 26 29 30 34 35 37 38 40 42 45
a 6 8 11 17 19 24 26 29 30 34 35 37 38 40 42 45
a 6 7 8 11 19 24 26 29 30 34 35 37 38 40 42 45
a 6 7 8 10 11 19 24 29 30 34 35 37 38 40 42 45
a 6 7 8 10 11 17 19 24 30 34 35 37 38 40 42 45
a 6 7 8 10 11 17 19 24 26 34 35 37 38 40 42 45
a 6 7 8 10 17 19 24 26 29 34 35 37 38 40 42 45
a 6 7 8 10 17 19 24 26 29 30 34 35 37 38 40 42
a 6 7 8 11 17 19 24 26 29 30 34 35 37 38 40 42
a 6 7 8 11 17 19 20 24 26 29 30 34 37 38 40 42
a 6 7 8 10 11 17 19 20 24 26 29 34 37 38 40 42
a 6 7 8 10 11 17 19 20 24 26 29 30 34 38 40 42
a 6 7 8 10 11 17 19 20 24 26 29 30 34 37 38 40
a 6 7 8 11 17 19 20 24 26 29 30 34 37 38 40 44
a 7 8 11 17 19 20 24 26 29 30 34 37 38 40 42 44
a 7 8 11 17 19 20 24 29 30 34 35 37 38 40 42 44
a 7 8 11 17 19 24 26 29 30 34 35 37 38 40 42 44
a 6 8 11 17 19 24 26 29 30 34 35 37 38 40 42 44
a 6 8 10 11 17 19 24 26 30 34 35 37 38 40 42 44
a 6 7 8 10 11 17 19 24 26 30 34 35 37 38 40 42
a 6 7 8 10 11 19 20 24 26 30 34 35 37 38 40 42
a 6 7 8 10 11 17 19 20 24 26 30 34 35 37 38 42
a 6 7 8 10 11 17 19 20 24 26 30 34 35 37 42 44
a 7 8 10 11 17 19 20 24 26 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 6 7 8 10 11 17 19 20 24 26 29 30 34 37 38 44
a 6 7 8 10 11 17 19 20 24 26 29 34 37 38 44 45
a 6 7 8 11 17 19 20 24 26 29 34 37 38 40 44 45
a 6 7 8 10 11 19 20 24 26 29 34 37 38 40 44 45
a 6 7 8 10 11 19 20 24 26 29 34 35 37 38 40 44
a 6 7 8 10 11 19 20 24 26 29 35 37 38 40 44 45
a 6 7 8 10 11 20 24 26 29 34 35 37 38 40 44 45
a 6 7 8 10 11 17 20 24 26 29 34 35 37 38 44 45
a 6 7 8 10 11 17 20 24 26 29 30 34 37 38 44 45
a 6 7 8 10 11 17 20 24 26 29 30 34 37 40 44 45
a 6 8 10 11 17 19 20 24 26 29 30 34 37 40 44 45
a 6 7 8 10 11 17 19 20 24 26 29 30 34 37 40 45
a 6 7 8 10 11 17 19 20 24 26 29 30 34 35 37 40
a 6 7 8 11 17 19 20 24 26 29 30 34 35 37 40 42
a 6 7 8 17 19 20 24 26 29 30 34 35 37 40 42 44
a 6 7 8 11 19 20 24 26 29 30 34 35 37 40 42 44
a 6 7 8 11 16 19 20 24 26 29 30 34 37 40 42 44
a 6 7 8 11 16 18 19 20 24 26 29 30 34 37 40 44
a 6 7 8 11 16 17 18 19 24 26 29 30 34 37 40 44
a 6 7 8 10 11 16 17 18 19 24 26 29 30 34 37 40
a 5 6 7 8 10 11 16 18 19 24 26 29 30 34 37 40
a 5 6 7 8 10 11 16 18 19 24 29 30 34 37 40 47
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: 432
#END: [Tue Sep  5 06:25:11 2023]