#BEGIN: [Mon Sep  4 21:49:35 2023]
#HOST: s13
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance005_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance005_graph004_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_instance005_graph004.col /benchmark/random_instance/random_instance005_graph004_01.dat
c /benchmark/random_instance/random_instance005_graph004.col
c /benchmark/random_instance/random_instance005_graph004_01.dat
s 30 51 12 40 23 18 6 54 13 36 28 63 33 58 37 49 46 38
t 49 57 19 12 7 30 65 38 13 63 4 9 50 18 21 40 25 34
a YES
a 6 12 13 18 23 28 30 33 36 37 38 40 46 49 51 54 58 63
a 6 7 12 13 18 23 30 33 36 37 38 40 46 49 51 54 58 63
a 6 7 9 12 13 18 23 30 33 37 38 40 46 49 51 54 58 63
a 6 7 9 12 13 18 23 30 33 35 37 38 40 49 51 54 58 63
a 4 6 7 9 12 13 18 30 33 35 37 38 40 49 51 54 58 63
a 4 6 7 9 12 13 18 30 33 37 38 40 46 49 51 54 58 63
a 2 4 6 7 9 12 13 18 30 33 37 38 40 46 51 54 58 63
a 2 4 6 7 9 12 13 18 32 33 37 38 40 46 51 54 58 63
a 2 4 6 7 9 12 13 17 18 32 37 38 40 46 51 54 58 63
a 2 4 6 7 9 12 13 17 18 27 32 37 38 40 46 51 54 58
a 2 4 7 9 12 13 17 18 27 32 37 38 40 46 51 54 58 63
a 2 4 7 9 12 13 17 18 27 32 33 38 40 46 51 54 58 63
a 2 4 7 9 12 13 17 18 27 32 33 38 40 46 51 54 61 63
a 4 6 7 9 12 13 17 18 27 32 33 38 40 46 51 54 61 63
a 4 6 7 9 12 13 17 18 27 32 33 38 40 46 49 51 54 63
a 2 4 6 7 9 12 13 17 18 27 32 33 38 40 46 51 54 63
a 2 4 6 7 9 12 13 17 18 27 32 33 34 38 40 46 51 63
a 2 4 6 7 9 12 13 17 18 27 32 33 34 38 46 48 51 63
a 2 4 6 7 9 12 13 17 18 27 32 33 34 38 46 51 61 63
a 2 6 7 9 12 13 17 18 27 32 33 34 38 46 51 58 61 63
a 2 6 7 9 12 13 17 18 27 32 33 34 38 40 46 51 58 61
a 2 6 7 9 12 13 17 18 27 32 33 34 38 40 46 58 61 65
a 2 6 7 9 12 17 18 27 32 33 34 38 40 46 54 58 61 65
a 2 5 6 7 9 12 17 18 27 32 33 34 38 40 46 54 58 65
a 5 6 7 9 12 17 18 27 32 33 34 38 40 46 49 54 58 65
a 5 6 7 9 12 17 18 27 32 33 34 38 40 46 49 51 54 58
a 5 6 7 9 12 17 18 27 32 33 34 38 40 46 51 54 58 61
a 6 7 9 12 17 18 27 32 33 34 38 40 44 46 51 54 58 61
a 7 9 12 17 18 21 27 32 33 34 38 40 44 46 51 54 58 61
a 9 12 17 18 21 27 32 33 34 38 40 44 46 51 54 58 61 63
a 9 12 17 18 21 27 32 33 34 38 40 43 44 46 51 54 58 61
a 7 12 17 18 21 27 32 33 34 38 40 43 44 46 51 54 58 61
a 7 12 17 18 21 27 32 33 34 38 40 43 44 46 51 54 61 64
a 7 12 17 18 21 27 32 33 34 38 40 43 44 46 49 51 54 64
a 7 12 15 17 21 27 32 33 34 38 40 43 44 46 49 51 54 64
a 7 12 15 17 21 27 32 33 34 38 40 44 46 49 51 54 63 64
a 7 12 15 17 21 32 33 34 38 40 44 46 49 51 54 62 63 64
a 7 12 15 17 20 21 32 34 38 40 44 46 49 51 54 62 63 64
a 7 12 17 20 21 32 34 38 40 44 46 49 51 54 56 62 63 64
a 7 12 17 20 21 32 34 38 40 44 46 49 51 54 56 58 62 63
a 2 7 12 17 20 21 32 34 38 40 44 46 51 54 56 58 62 63
a 2 7 9 12 17 20 21 32 34 38 40 44 46 51 54 56 58 63
a 2 7 9 12 17 20 21 32 34 38 40 44 46 51 54 56 62 63
a 2 7 9 12 17 20 21 32 34 38 44 46 51 54 56 57 62 63
a 2 3 7 9 12 17 20 21 32 34 38 44 46 51 54 56 57 63
a 2 3 4 7 9 12 17 20 21 32 34 38 44 46 54 56 57 63
a 2 3 4 7 9 12 17 21 32 33 34 38 44 46 54 56 57 63
a 3 4 7 9 12 17 21 32 33 34 38 44 46 49 54 56 57 63
a 4 7 9 12 17 21 32 33 34 38 44 46 49 54 56 57 62 63
a 7 9 12 17 21 32 33 34 38 44 46 49 54 56 57 62 63 65
a 4 7 9 12 17 21 32 34 38 44 46 49 54 56 57 62 63 65
a 3 4 7 9 12 17 21 32 34 38 44 46 49 54 56 57 62 63
a 3 4 7 9 12 17 21 32 34 38 44 46 49 54 56 57 62 64
a 3 4 7 9 12 17 21 32 34 38 44 46 48 49 54 56 57 62
a 3 4 9 12 17 21 28 32 34 38 44 46 48 49 54 56 57 62
a 3 4 9 12 17 21 28 32 34 38 44 46 49 54 56 57 62 64
a 3 4 9 12 17 21 28 32 34 38 44 46 49 54 56 57 63 64
a 3 4 9 12 17 21 28 32 34 38 44 46 48 49 54 56 57 63
a 3 4 9 12 15 17 21 28 32 34 38 44 46 48 49 54 57 63
a 3 4 9 12 15 17 21 28 32 34 38 44 46 49 54 57 63 64
a 3 4 12 15 17 21 28 32 33 34 38 44 46 49 54 57 63 64
a 3 4 12 15 17 21 28 32 33 34 38 44 46 54 57 61 63 64
a 3 4 12 15 17 21 28 32 33 34 38 44 46 54 55 57 61 63
a 3 4 12 13 15 17 21 28 32 33 34 38 46 54 55 57 61 63
a 3 4 12 15 17 21 28 32 33 34 38 46 54 55 57 61 62 63
a 3 4 12 15 17 21 28 32 33 34 46 47 54 55 57 61 62 63
a 4 12 15 17 21 28 32 33 34 46 47 54 55 57 61 62 63 64
a 4 12 15 17 21 28 32 33 34 40 46 47 54 57 61 62 63 64
a 4 12 13 15 17 21 28 32 33 34 40 46 47 54 57 61 63 64
a 4 12 13 15 17 21 25 28 32 33 34 40 47 54 57 61 63 64
a 4 12 13 15 17 21 25 28 32 33 34 38 40 54 57 61 63 64
a 2 4 12 13 17 21 25 28 32 33 34 38 40 54 57 61 63 64
a 2 4 12 13 17 21 25 28 32 33 34 38 51 54 57 61 63 64
a 4 12 13 17 21 25 28 32 33 34 38 51 54 55 57 61 63 64
a 4 12 13 17 18 21 25 28 32 33 34 38 51 54 55 57 61 63
a 4 13 17 18 21 25 28 32 33 34 38 51 54 55 57 61 63 64
a 2 4 13 17 18 21 25 28 32 33 34 38 51 54 57 61 63 64
a 2 4 7 13 17 18 21 25 32 33 34 38 51 54 57 61 63 64
a 2 4 7 12 13 17 18 21 25 32 33 34 38 51 54 61 63 64
a 2 4 7 12 13 17 18 21 25 32 33 34 38 54 61 63 64 65
a 2 4 7 12 13 17 18 21 25 32 33 34 38 54 57 61 63 64
a 2 4 7 12 13 17 18 21 25 27 32 33 34 38 54 61 63 64
a 2 3 4 7 12 13 17 18 21 25 27 32 33 34 38 54 61 63
a 2 4 7 12 13 17 18 21 25 27 32 33 34 38 54 61 63 65
a 4 7 12 13 17 18 21 25 27 32 33 34 38 54 61 63 64 65
a 4 7 12 13 17 18 21 22 25 27 32 33 34 38 54 61 64 65
a 4 7 12 13 17 18 21 22 25 27 32 33 34 38 40 54 61 65
a 4 5 7 12 13 17 18 21 22 25 27 32 33 34 38 40 54 61
a 4 5 7 9 12 13 17 21 22 25 27 32 33 34 38 40 54 61
a 4 5 7 9 12 13 17 21 22 25 27 32 34 38 40 54 58 61
a 4 5 7 9 12 13 17 21 22 25 26 27 32 38 40 54 58 61
a 4 5 7 9 12 13 17 21 22 25 26 27 32 33 38 54 58 61
a 4 5 7 9 12 13 15 17 21 22 25 26 27 32 38 54 58 61
a 4 5 7 9 12 13 15 17 21 22 25 26 27 32 38 54 61 64
a 4 5 7 9 12 13 15 17 21 22 25 26 27 32 38 45 54 61
a 4 5 7 9 12 13 15 17 21 22 25 26 27 32 38 45 54 58
a 5 7 9 12 13 15 17 21 22 25 26 27 32 38 45 54 58 61
a 5 7 12 13 15 17 21 22 25 26 27 32 38 40 45 54 58 61
a 5 7 12 13 15 17 21 22 25 27 32 38 40 45 51 54 58 61
a 5 7 12 13 15 17 21 22 25 27 32 33 38 40 45 51 54 61
a 5 7 12 13 17 18 21 22 25 27 32 33 38 40 45 51 54 61
a 5 7 9 12 13 17 18 21 22 25 27 32 33 38 40 45 51 54
a 5 7 9 12 13 15 17 21 22 25 27 32 33 38 40 45 51 54
a 5 7 9 12 13 15 17 21 25 27 32 33 38 40 45 51 54 58
a 5 7 9 13 14 15 17 21 25 27 32 33 38 40 45 51 54 58
a 5 7 9 10 13 15 17 21 25 27 32 33 38 40 45 51 54 58
a 5 7 9 13 15 17 21 22 25 27 32 33 38 40 45 51 54 58
a 4 5 7 9 13 15 17 21 22 25 27 32 33 38 40 45 51 54
a 4 5 7 9 13 15 17 21 22 25 26 27 32 33 38 40 45 54
a 5 7 9 10 13 15 17 21 22 25 26 27 32 33 38 40 45 54
a 5 7 9 10 13 15 17 21 25 26 27 32 33 38 40 45 54 64
a 2 5 7 9 10 13 17 21 25 26 27 32 33 38 40 45 54 64
a 5 7 9 10 13 17 21 25 26 27 32 33 38 40 45 49 54 64
a 5 7 9 10 13 17 21 25 26 27 32 33 38 40 45 54 61 64
a 5 7 9 10 13 17 21 25 27 32 33 38 40 45 54 61 64 65
a 5 7 9 10 13 17 21 25 27 32 33 38 45 54 59 61 64 65
a 5 7 9 10 13 17 18 21 25 27 32 33 38 45 54 61 64 65
a 5 7 9 10 17 18 21 25 27 32 33 38 40 45 54 61 64 65
a 5 7 9 10 13 17 18 21 25 27 32 33 38 40 45 54 61 65
a 5 7 9 10 13 17 18 21 25 27 32 33 38 40 45 54 61 64
a 5 7 9 10 13 17 18 21 25 32 33 38 40 45 54 57 61 64
a 2 5 7 9 10 13 17 18 21 25 32 33 38 40 45 54 57 61
a 2 4 5 7 9 13 17 18 21 25 32 33 38 40 45 54 57 61
a 2 4 5 7 9 13 17 18 21 25 32 33 34 38 45 54 57 61
a 2 4 5 7 9 13 17 18 21 25 32 33 34 38 45 54 58 61
a 4 5 7 9 13 17 18 21 22 25 32 33 34 38 45 54 58 61
a 4 5 7 9 17 18 21 22 25 32 33 34 38 40 45 54 58 61
a 4 5 7 9 17 18 21 22 25 32 33 34 38 40 45 54 61 64
a 4 5 7 9 13 17 18 21 22 25 32 33 34 38 40 45 54 61
a 4 5 7 9 12 13 17 18 21 22 25 32 33 38 40 45 54 61
a 4 5 7 9 12 13 17 18 21 25 32 33 38 40 45 54 61 64
a 4 5 7 9 12 13 17 18 21 25 32 33 40 45 54 61 64 65
a 4 5 7 9 12 13 17 18 21 22 25 32 33 40 45 54 61 65
a 5 7 9 12 13 17 18 21 22 25 32 33 40 45 54 58 61 65
a 5 7 12 13 17 18 21 22 25 32 33 38 40 45 54 58 61 65
a 5 7 10 12 17 18 21 22 25 32 33 38 40 45 54 58 61 65
a 5 7 10 12 17 18 21 22 32 33 38 40 44 45 54 58 61 65
a 5 7 10 12 17 18 21 22 32 33 38 40 43 44 45 54 58 61
a 5 7 10 12 17 18 21 22 32 33 34 38 40 44 45 54 58 61
a 2 5 7 10 12 17 18 21 32 33 34 38 40 44 45 54 58 61
a 2 5 7 9 10 12 17 18 21 32 33 34 38 40 45 54 58 61
a 2 7 9 10 12 17 18 21 23 32 33 34 38 40 45 54 58 61
a 2 7 9 10 12 17 18 21 23 26 32 33 38 40 45 54 58 61
a 2 7 9 10 12 17 18 21 23 26 32 33 38 44 45 54 58 61
a 2 3 7 9 10 12 17 18 21 23 26 32 33 38 44 45 54 61
a 2 3 7 9 10 12 17 18 21 23 26 32 33 38 44 45 54 59
a 2 3 7 9 10 12 17 18 21 26 32 33 38 43 44 45 54 59
a 2 3 7 9 10 12 17 18 21 26 32 33 38 43 44 45 59 61
a 2 3 7 9 12 17 18 21 26 32 33 38 43 44 45 59 61 64
a 2 3 7 9 12 17 18 21 26 32 33 38 43 44 45 54 59 61
a 2 3 5 7 9 12 17 18 21 26 32 33 38 43 44 45 54 61
a 2 3 5 7 9 12 18 21 26 32 33 35 38 43 44 45 54 61
a 2 3 5 7 9 12 18 21 32 33 35 38 43 44 45 51 54 61
a 3 5 7 9 12 18 21 27 32 33 35 38 43 44 45 51 54 61
a 2 3 5 7 9 12 18 21 27 32 33 35 38 43 44 45 51 54
a 2 3 5 7 9 12 18 21 27 32 33 35 38 43 44 45 51 64
a 2 3 5 7 9 12 18 21 27 32 33 35 38 43 44 45 54 64
a 2 3 4 5 7 9 12 18 21 27 32 33 35 38 43 44 45 54
a 2 3 4 5 7 9 12 18 21 27 32 33 35 38 43 45 54 64
a 2 3 4 5 7 9 12 18 21 25 27 32 33 35 38 43 54 64
a 2 3 5 7 9 12 18 21 25 27 32 33 35 38 43 51 54 64
a 2 3 5 7 9 12 18 21 25 27 32 33 38 43 51 54 59 64
a 2 3 5 7 9 12 16 18 21 25 27 32 33 38 51 54 59 64
a 2 3 5 9 12 13 16 18 21 25 27 32 33 38 51 54 59 64
a 3 5 7 9 12 13 16 18 21 25 27 32 33 38 51 54 59 64
a 2 3 5 7 9 12 13 16 18 21 25 27 32 33 51 54 59 64
a 2 3 5 7 9 12 13 16 18 21 25 27 32 33 51 54 59 61
a 2 3 5 7 9 12 13 16 18 21 27 32 33 51 54 59 61 64
a 2 3 5 7 12 13 16 18 21 25 27 32 33 51 54 59 61 64
a 3 5 7 12 13 16 18 21 25 27 32 33 38 51 54 59 61 64
a 2 3 5 7 13 16 18 21 25 27 32 33 38 51 54 59 61 64
a 2 3 5 7 9 13 16 18 21 25 27 32 33 38 51 54 59 61
a 3 5 7 9 13 16 18 21 25 27 32 33 38 48 51 54 59 61
a 2 3 5 7 9 13 16 18 21 25 27 32 33 38 48 51 54 59
a 2 3 5 7 9 12 13 16 18 21 25 27 32 33 48 51 54 59
a 2 3 5 9 12 13 16 18 21 25 27 32 33 38 48 51 54 59
a 2 3 9 12 13 16 18 21 25 27 32 33 38 45 48 51 54 59
a 2 3 5 9 12 13 18 21 25 27 32 33 38 45 48 51 54 59
a 2 3 5 9 12 13 16 18 21 25 27 32 33 38 45 48 54 59
a 2 3 5 7 9 12 13 16 18 21 25 32 33 38 45 48 54 59
a 2 3 5 7 9 12 13 18 21 25 32 33 38 45 48 54 57 59
a 2 3 4 5 7 9 12 13 18 21 25 32 33 38 45 54 57 59
a 2 3 4 5 7 9 12 13 17 18 21 25 32 33 38 45 54 57
a 3 4 5 7 9 12 13 17 18 21 25 32 33 38 45 54 57 59
a 3 4 5 7 9 12 13 17 18 21 25 33 38 45 54 57 59 60
a 3 4 5 7 9 12 13 17 18 21 25 33 38 45 54 57 60 61
a 3 4 5 7 9 12 13 17 18 21 25 27 33 38 45 54 60 61
a 2 3 4 5 7 9 12 13 17 18 21 25 27 33 38 45 54 60
a 2 3 4 5 7 9 12 13 17 18 21 25 26 27 33 38 45 54
a 2 3 4 5 7 9 12 13 17 18 21 25 26 27 33 38 45 60
a 2 3 5 7 9 12 13 17 18 21 25 26 27 33 38 45 60 61
a 2 3 4 5 7 9 12 13 17 18 21 25 27 33 38 45 60 61
a 2 3 4 5 7 9 12 13 17 18 21 25 27 33 38 45 51 61
a 2 3 4 5 7 9 12 13 17 18 21 25 33 38 45 48 51 61
a 2 3 4 5 7 9 12 13 17 18 21 25 33 38 45 48 51 59
a 2 3 4 5 7 9 13 17 18 21 25 33 38 45 48 51 57 59
a 2 3 4 5 7 9 13 17 18 21 25 33 38 45 48 51 57 61
a 2 3 4 5 9 13 17 18 21 25 28 33 38 45 48 51 57 61
a 2 3 4 5 9 13 17 18 21 25 28 33 38 48 51 57 59 61
a 2 3 4 5 9 12 13 17 21 25 28 33 38 48 51 57 59 61
a 2 3 4 5 9 12 13 17 21 25 28 33 38 45 48 51 57 59
a 2 3 4 5 9 12 13 17 21 25 28 33 45 48 51 54 57 59
a 2 3 4 5 9 12 13 17 18 21 25 33 45 48 51 54 57 59
a 2 3 4 5 9 12 13 17 18 21 25 28 33 45 51 54 57 59
a 2 3 4 5 9 12 13 17 18 21 25 28 32 33 45 54 57 59
a 2 3 5 9 12 13 17 18 21 25 28 32 33 45 51 54 57 59
a 2 3 5 9 12 13 17 18 21 25 28 32 33 38 45 51 57 59
a 2 3 5 7 9 12 13 17 18 21 25 32 33 38 45 51 57 59
a 2 3 5 7 9 12 13 17 18 21 25 32 33 38 45 48 57 59
a 2 3 5 7 9 12 13 17 18 21 25 32 33 38 48 51 57 59
a 2 3 5 7 9 12 17 18 21 25 32 33 38 48 51 54 57 59
a 2 3 5 7 9 12 17 18 21 25 32 33 38 45 48 54 57 59
a 2 3 5 7 9 12 17 18 21 25 32 33 38 45 51 54 57 59
a 2 3 7 9 12 17 18 21 25 32 33 38 45 48 51 54 57 59
a 3 7 9 12 17 18 21 25 32 33 38 45 48 51 54 55 57 59
a 3 5 7 9 12 17 18 21 25 32 33 38 45 48 51 54 57 59
a 3 5 7 9 10 12 17 18 21 25 32 33 38 45 48 51 54 57
a 3 5 7 9 10 12 17 18 21 25 26 32 33 38 45 48 54 57
a 3 5 7 9 10 12 17 18 21 25 26 32 33 38 43 45 48 54
a 3 5 7 9 10 12 17 18 21 25 32 33 38 43 45 48 51 54
a 3 5 7 9 10 12 17 18 21 25 27 32 33 38 43 45 48 51
a 3 5 7 9 10 12 17 18 21 22 25 27 32 33 43 45 48 51
a 3 5 7 9 10 12 17 18 21 22 25 27 32 33 43 45 48 61
a 3 5 7 9 10 12 17 18 21 22 25 27 32 33 38 43 45 48
a 3 5 7 9 10 12 17 18 21 22 25 27 32 33 38 43 48 51
a 3 5 7 9 10 12 17 18 21 22 25 27 32 33 38 45 48 51
a 3 7 9 10 12 17 18 21 22 25 27 32 33 38 45 48 51 59
a 3 7 9 10 12 17 18 21 22 25 27 32 33 38 45 48 51 61
a 3 7 9 10 12 17 18 21 22 25 26 27 32 33 38 45 48 61
a 3 5 7 9 12 17 18 21 22 25 26 27 32 33 38 45 48 61
a 3 5 7 9 12 17 18 21 22 25 26 27 32 38 43 45 48 61
a 3 4 5 7 9 12 17 18 21 22 25 26 27 32 38 43 45 48
a 3 4 5 7 9 12 17 18 21 22 25 26 27 32 33 38 43 45
a 3 4 5 7 9 12 17 18 22 25 26 27 32 33 38 43 45 61
a 3 4 5 7 9 12 17 18 22 25 26 27 32 33 38 43 45 59
a 3 4 5 7 9 12 18 22 25 26 27 32 33 38 43 45 59 61
a 3 4 5 7 9 12 17 18 25 26 27 32 33 38 43 45 59 61
a 3 4 5 9 12 17 18 25 26 27 32 33 38 43 45 59 61 64
a 3 4 5 9 12 17 18 22 25 27 32 33 38 43 45 59 61 64
a 3 4 9 12 17 18 21 22 25 27 32 33 38 43 45 59 61 64
a 3 4 7 9 12 17 18 21 22 25 27 32 33 38 43 45 61 64
a 3 4 7 9 12 17 18 21 22 25 26 27 32 33 38 43 45 61
a 3 4 7 9 12 17 18 21 22 25 26 27 32 33 38 43 59 61
a 3 4 5 7 9 12 17 18 21 22 25 26 27 32 38 43 59 61
a 3 4 5 7 9 12 17 18 21 22 25 27 32 38 43 54 59 61
a 3 4 7 9 12 17 18 21 22 25 27 32 38 43 45 54 59 61
a 3 4 7 9 12 17 18 21 22 25 27 32 33 38 45 54 59 61
a 3 4 5 7 9 12 17 18 21 22 25 27 32 33 38 45 54 61
a 3 4 5 7 9 12 18 21 22 25 27 32 33 38 43 45 54 61
a 3 4 5 7 9 12 18 21 22 25 27 32 33 38 43 45 51 54
a 3 4 5 7 9 12 18 21 22 25 27 32 33 38 43 45 51 64
a 3 4 5 7 9 12 18 21 22 25 27 32 33 38 43 45 51 59
a 3 4 5 7 9 12 18 21 22 25 27 32 33 38 45 51 59 64
a 3 4 5 7 9 12 18 21 22 25 27 32 38 43 45 51 59 64
a 3 4 5 7 9 12 18 21 22 25 27 32 38 43 45 51 59 61
a 3 4 5 7 9 12 18 21 22 25 27 38 43 45 51 54 59 61
a 3 4 5 7 9 12 17 18 21 22 25 27 38 43 45 51 54 59
a 3 4 5 7 9 12 17 18 21 22 25 27 38 43 45 51 54 60
a 3 5 7 9 12 17 18 21 22 25 27 33 38 43 45 51 54 60
a 3 5 7 9 12 17 18 21 22 25 27 33 38 43 51 54 59 60
a 3 5 7 9 12 17 18 21 22 25 27 33 38 45 51 54 59 60
a 3 5 7 9 10 12 17 18 21 22 25 27 33 38 45 51 54 59
a 3 5 7 9 10 12 17 18 21 25 27 33 38 45 51 54 59 61
a 3 5 7 9 10 12 13 18 21 25 27 33 38 45 51 54 59 61
a 3 5 7 9 10 12 13 18 21 25 27 33 38 45 48 51 54 61
a 3 5 7 9 10 12 18 21 22 25 27 33 38 45 48 51 54 61
a 3 5 7 9 12 17 18 21 22 25 27 33 38 45 48 51 54 61
a 3 4 5 7 9 12 17 18 21 22 25 27 33 38 45 51 54 61
a 3 4 5 7 9 12 17 18 21 22 25 33 38 45 48 51 54 61
a 3 4 5 7 9 12 17 18 21 22 27 33 38 45 48 51 54 61
a 3 4 5 7 9 12 17 18 21 22 27 33 34 38 45 48 51 54
a 3 4 5 7 9 12 17 18 21 22 25 27 33 34 38 45 48 54
a 3 4 5 7 9 12 17 18 21 22 25 27 33 34 38 43 45 54
a 4 5 7 9 12 17 18 21 22 25 27 33 34 38 43 45 54 60
a 4 5 7 9 12 18 21 22 25 27 33 34 38 43 45 54 60 61
a 4 5 9 12 17 18 21 22 25 27 33 34 38 43 45 54 60 61
a 4 5 9 12 17 18 21 22 25 27 33 34 38 43 45 54 61 64
a 3 4 5 9 12 17 18 21 22 25 27 33 34 38 43 45 54 64
a 3 4 5 9 12 17 18 21 22 25 27 33 34 43 45 52 54 64
a 3 4 5 9 12 17 18 21 22 25 27 33 34 43 45 52 54 61
a 3 5 9 12 17 18 21 22 25 27 33 34 43 45 52 54 60 61
a 3 5 7 9 12 17 18 21 22 25 27 33 43 45 52 54 60 61
a 3 5 7 9 12 17 18 21 25 27 33 43 45 52 54 59 60 61
a 3 4 5 7 9 12 17 18 21 25 27 33 43 45 52 54 59 60
a 3 5 7 9 10 12 17 18 21 25 27 33 43 45 52 54 59 60
a 2 3 5 7 9 10 12 17 18 21 25 27 33 43 45 52 54 59
a 2 3 5 7 9 10 12 17 18 21 25 27 32 33 43 45 54 59
a 2 3 5 7 9 10 12 17 18 21 25 27 32 33 43 45 54 64
a 2 3 5 7 9 10 12 17 18 21 25 27 32 33 43 45 51 54
a 2 3 5 9 10 12 17 18 21 25 27 32 33 43 45 51 54 61
a 2 3 5 9 10 12 18 21 25 27 32 33 38 43 45 51 54 61
a 2 3 9 10 12 18 21 25 27 32 33 38 43 45 51 54 61 64
a 2 3 5 9 10 12 18 21 25 27 33 38 43 45 51 54 61 64
a 2 5 9 10 12 18 21 25 27 33 38 43 45 51 54 60 61 64
a 2 3 5 9 10 12 18 21 25 27 33 38 43 45 51 60 61 64
a 3 5 9 10 12 18 21 22 25 27 33 38 43 45 51 60 61 64
a 3 5 9 10 12 17 18 21 22 27 33 38 43 45 51 60 61 64
a 3 5 9 10 12 17 18 21 22 25 27 33 38 43 45 51 60 64
a 3 5 9 10 12 17 18 22 25 27 33 38 43 45 51 54 60 64
a 3 5 9 10 12 17 18 22 25 27 33 38 43 45 48 51 54 60
a 3 5 9 10 12 15 17 22 25 27 33 38 43 45 48 51 54 60
a 3 5 9 10 12 15 17 22 25 27 32 33 38 43 45 48 51 54
a 3 5 7 9 10 12 15 17 25 27 32 33 38 43 45 48 51 54
a 3 5 7 9 10 12 13 15 17 25 27 32 33 38 45 48 51 54
a 3 5 7 9 10 12 13 15 17 25 27 32 33 45 48 51 54 61
a 3 5 7 9 10 12 15 17 22 25 27 32 33 45 48 51 54 61
a 3 7 9 10 12 13 15 17 22 25 27 32 33 45 48 51 54 61
a 3 7 10 12 13 15 17 21 22 25 27 32 33 45 48 51 54 61
a 3 9 10 12 13 15 17 21 22 25 27 32 33 45 48 51 54 61
a 3 7 9 10 12 13 15 17 21 22 25 27 32 33 45 48 54 61
a 3 7 9 10 12 15 17 21 22 25 27 32 33 43 45 48 54 61
a 3 7 9 10 15 17 21 22 25 27 32 33 43 45 48 51 54 61
a 3 7 9 10 12 15 21 22 25 27 32 33 43 45 48 51 54 61
a 3 5 7 9 10 12 15 21 22 25 32 33 43 45 48 51 54 61
a 3 5 7 9 10 12 15 21 22 25 33 43 45 48 51 54 60 61
a 3 5 7 9 10 12 15 22 25 27 33 43 45 48 51 54 60 61
a 3 5 7 9 12 15 21 22 25 27 33 43 45 48 51 54 60 61
a 3 5 7 9 12 15 22 25 27 33 35 43 45 48 51 54 60 61
a 3 5 7 9 12 15 21 22 25 33 35 43 45 48 51 54 60 61
a 3 5 7 9 10 12 15 21 25 33 35 43 45 48 51 54 60 61
a 3 5 7 9 10 12 15 25 27 33 35 43 45 48 51 54 60 61
a 3 5 7 9 10 12 15 25 27 33 35 38 43 45 48 51 54 61
a 3 5 7 9 10 12 15 22 25 27 33 35 38 43 45 48 51 54
a 3 5 7 9 10 12 15 22 25 27 33 35 38 43 45 51 54 64
a 5 7 9 10 12 15 21 22 25 27 33 35 38 43 45 51 54 64
a 5 7 9 10 12 15 21 22 25 27 33 35 43 45 51 52 54 64
a 3 5 7 9 12 15 21 22 25 27 33 35 43 45 51 52 54 64
a 3 5 7 9 10 12 15 21 22 25 27 33 35 43 45 51 54 64
a 3 5 7 9 10 12 15 21 22 25 27 33 35 43 45 51 54 61
a 3 5 7 9 10 12 15 21 22 27 33 35 43 44 45 51 54 61
a 3 5 7 9 10 12 15 17 21 22 27 33 43 44 45 51 54 61
a 3 5 7 9 10 12 15 17 21 22 27 33 43 44 45 51 52 54
a 3 5 7 8 9 10 12 15 17 21 22 33 43 44 45 51 52 54
a 3 5 7 8 9 10 12 15 17 21 33 43 44 45 51 52 54 61
a 3 5 7 8 9 10 12 15 17 21 22 33 44 45 51 52 54 61
a 3 5 7 8 9 10 12 15 17 21 22 33 43 44 45 52 54 61
a 3 5 7 8 9 10 12 15 17 21 33 34 43 44 45 52 54 61
a 3 5 7 8 9 10 12 15 17 21 25 33 34 43 45 52 54 61
a 3 5 7 8 9 10 12 13 15 17 21 25 33 34 45 52 54 61
a 5 7 8 9 10 12 13 15 17 21 25 33 34 40 45 52 54 61
a 4 5 7 8 9 12 13 15 17 21 25 33 34 40 45 52 54 61
a 4 5 7 8 9 12 13 17 21 25 33 34 40 45 52 54 61 65
a 4 5 7 9 12 13 17 18 21 25 33 34 40 45 52 54 61 65
a 4 5 7 9 12 13 17 18 21 25 33 34 38 40 45 54 61 65
a 4 5 7 9 12 13 17 18 21 25 33 34 38 40 45 57 61 65
a 4 5 7 9 12 13 17 18 21 25 33 34 38 40 45 49 57 65
a 4 5 7 9 12 13 17 18 19 21 25 33 34 38 40 49 57 65
a 4 7 9 12 13 17 18 19 21 25 33 34 38 40 49 57 63 65
a 4 7 9 12 13 18 19 21 25 30 33 34 38 40 49 57 63 65
a 4 7 9 12 13 18 19 21 25 30 34 38 40 49 50 57 63 65
c Step: 349
#END: [Mon Sep  4 22:00:11 2023]