#BEGIN: [Tue Sep 26 05:27:58 2023]
#HOST: s09
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance009_graph004.col
#INSTANCE2: /benchmark/random_instance/random_instance009_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_instance009_graph004.col /benchmark/random_instance/random_instance009_graph004_01.dat
c /benchmark/random_instance/random_instance009_graph004.col
c /benchmark/random_instance/random_instance009_graph004_01.dat
s 86 58 18 2 85 47 40 68 93 115 5 21 112 39 20 92 23 13 76 94 38 117 96 7 69 81 79 8 82 29 26 53 102 91
t 83 93 59 113 34 29 116 23 2 66 16 32 86 69 31 18 58 77 12 60 56 4 6 75 40 87 97 115 27 105 108 38 46 102
a YES
a 2 5 7 8 13 18 20 21 23 26 29 38 39 40 47 53 58 68 69 76 79 81 82 85 86 91 92 93 94 96 102 112 115 117
a 2 5 7 8 13 18 20 21 23 26 29 38 39 40 47 53 58 68 69 76 79 81 82 83 86 91 92 93 94 96 102 112 115 117
a 2 5 7 8 13 18 21 23 26 29 38 39 40 47 53 58 68 69 71 76 79 81 82 83 86 91 92 93 94 96 102 112 115 117
a 2 5 8 13 18 21 23 26 29 38 39 40 47 53 58 59 68 69 71 76 79 81 82 83 86 91 92 93 94 96 102 112 115 117
a 2 5 8 13 18 21 23 26 29 38 39 40 42 47 53 58 59 68 69 71 76 79 82 83 86 91 92 93 94 96 102 112 115 117
a 2 5 8 13 18 20 21 23 26 29 38 39 40 42 47 53 58 59 68 69 76 79 82 83 86 91 92 93 94 96 102 112 115 117
a 2 5 8 13 18 20 21 23 26 29 38 39 40 42 43 47 53 58 59 68 69 76 79 82 83 86 91 93 94 96 102 112 115 117
a 2 5 8 13 18 20 21 23 26 29 38 39 40 42 43 47 53 58 59 68 69 76 79 82 83 86 91 93 94 97 102 112 115 117
a 2 5 8 13 18 20 21 23 26 29 38 39 40 43 47 53 58 59 68 69 76 79 81 82 83 86 91 93 94 97 102 112 115 117
a 2 5 8 13 18 21 23 26 29 38 39 40 43 47 53 58 59 68 69 76 79 81 82 83 86 88 91 93 94 97 102 112 115 117
a 5 8 13 18 20 21 23 26 29 38 39 40 43 47 53 58 59 68 69 76 79 81 82 83 86 88 91 93 94 97 102 112 115 117
a 5 8 13 18 20 21 23 26 29 38 39 40 43 47 53 56 58 59 68 69 76 79 81 82 83 86 88 91 93 97 102 112 115 117
a 5 8 13 20 21 23 26 29 38 39 40 43 47 53 56 58 59 68 69 76 79 81 82 83 86 88 91 93 96 97 102 112 115 117
a 5 8 13 14 20 21 23 26 29 38 39 40 47 53 56 58 59 68 69 76 79 81 82 83 86 88 91 93 96 97 102 112 115 117
a 2 8 13 14 20 21 23 26 29 38 39 40 47 53 56 58 59 68 69 76 79 81 82 83 86 88 91 93 96 97 102 112 115 117
a 2 8 13 18 20 21 23 26 29 38 39 40 47 53 56 58 59 68 69 76 79 81 82 83 86 88 91 93 96 97 102 112 115 117
a 2 5 13 18 20 21 23 26 29 38 39 40 47 53 56 58 59 68 69 76 79 81 82 83 86 88 91 93 96 97 102 112 115 117
a 2 5 8 13 18 20 21 23 26 29 38 39 40 47 53 56 58 59 68 69 76 79 81 82 83 86 88 91 93 96 97 102 112 117
a 2 5 13 18 20 21 23 26 29 38 39 40 47 53 56 58 59 68 69 73 76 79 81 82 83 86 88 91 93 96 97 102 112 117
a 2 5 13 18 20 21 23 26 29 38 39 40 47 53 56 58 59 68 69 73 76 79 81 82 83 86 88 91 92 93 96 97 102 112
a 2 5 13 18 21 23 26 29 38 39 40 47 53 56 58 59 68 69 71 73 76 79 81 82 83 86 88 91 92 93 96 97 102 112
a 2 5 13 18 21 23 26 29 38 39 40 47 53 56 58 59 68 69 71 76 79 81 82 83 86 88 91 92 93 96 97 102 112 115
a 2 5 13 18 21 23 26 29 38 39 40 47 53 58 59 68 69 71 76 79 81 82 83 86 88 91 92 93 94 96 97 102 112 115
a 2 5 13 18 21 23 26 29 38 39 40 47 53 58 59 68 69 71 78 79 81 82 83 86 88 91 92 93 94 96 97 102 112 115
a 2 5 13 18 21 26 29 38 39 40 47 53 54 58 59 68 69 71 78 79 81 82 83 86 88 91 92 93 94 96 97 102 112 115
a 2 5 8 13 18 21 26 29 38 39 40 47 53 54 58 59 68 69 71 78 79 81 82 83 86 88 91 92 93 94 96 102 112 115
a 5 8 13 18 21 26 29 38 39 40 47 53 54 58 59 68 69 71 78 79 81 82 83 86 88 91 92 93 94 96 97 102 112 115
a 5 8 13 18 21 26 29 38 39 40 53 54 58 59 60 68 69 71 78 79 81 82 83 86 88 91 92 93 94 96 97 102 112 115
a 5 8 13 18 21 23 26 29 38 39 40 53 58 59 60 68 69 71 78 79 81 82 83 86 88 91 92 93 94 96 97 102 112 115
a 5 8 13 18 21 23 26 29 38 39 40 53 58 59 60 68 69 71 78 81 82 83 86 88 91 92 93 94 96 97 102 108 112 115
a 5 8 13 21 23 26 29 38 39 40 53 58 59 60 68 69 71 78 81 82 83 86 88 91 92 93 94 96 97 102 108 112 115 117
a 5 8 13 18 23 26 29 38 39 40 53 58 59 60 68 69 71 78 81 82 83 86 88 91 92 93 94 96 97 102 108 112 115 117
a 5 8 13 18 23 26 29 38 40 46 53 58 59 60 68 69 71 78 81 82 83 86 88 91 92 93 94 96 97 102 108 112 115 117
a 5 8 13 18 23 26 29 38 40 46 47 53 58 59 68 69 71 78 81 82 83 86 88 91 92 93 94 96 97 102 108 112 115 117
a 5 8 13 18 23 26 27 29 38 40 46 47 53 58 59 68 69 71 78 81 82 83 86 88 91 92 93 94 97 102 108 112 115 117
a 2 8 13 18 23 26 27 29 38 40 46 47 53 58 59 68 69 71 78 81 82 83 86 88 91 92 93 94 97 102 108 112 115 117
a 2 8 13 18 23 26 27 29 38 40 45 46 47 53 58 59 68 69 71 78 81 82 83 86 88 91 92 94 97 102 108 112 115 117
a 2 4 8 13 18 23 26 27 29 38 40 45 46 47 53 58 59 68 69 71 78 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 8 13 18 23 26 27 38 40 45 46 47 53 58 59 68 69 71 78 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 8 13 18 23 26 27 29 38 40 45 46 53 58 59 68 69 71 78 81 82 83 86 91 92 94 97 102 108 112 115 117
a 4 5 8 13 18 23 26 27 29 38 40 45 46 47 53 58 59 68 69 71 78 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 8 13 18 23 26 27 29 38 40 45 46 47 53 58 68 69 71 78 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 13 18 21 23 26 27 29 38 40 45 46 47 53 58 68 69 71 78 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 13 18 21 23 26 27 29 38 40 45 46 47 53 58 64 68 69 71 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 13 18 21 23 26 27 29 38 40 45 46 47 53 58 59 64 68 69 71 81 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 13 18 21 23 26 27 29 38 40 45 47 53 58 59 63 64 68 69 71 81 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 13 21 23 26 27 29 38 40 45 47 53 58 59 63 64 68 69 71 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 8 21 23 26 27 29 38 40 45 47 53 58 59 63 64 68 69 71 81 82 83 86 91 92 94 97 102 108 112 115 117
a 2 4 5 8 21 23 26 27 29 38 40 45 47 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 21 23 26 27 29 38 40 47 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 21 23 26 27 29 38 40 45 47 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 97 102 112 115 117
a 2 4 5 8 13 21 23 26 27 29 38 40 45 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 21 23 26 27 29 38 40 45 47 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115
a 2 4 5 8 13 21 23 26 27 29 38 40 45 47 53 58 59 63 64 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 21 23 26 27 29 38 40 45 47 53 58 59 63 64 68 69 71 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 21 23 26 29 38 40 45 47 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 18 21 23 26 29 38 40 45 47 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 13 18 21 23 26 29 38 40 45 47 53 58 59 63 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 13 18 21 23 26 29 38 40 45 46 47 53 58 59 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 13 14 21 23 26 29 38 40 45 46 47 53 58 59 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 14 23 26 29 38 40 45 46 47 53 58 59 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 14 23 26 27 29 38 40 45 46 47 53 58 59 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 5 8 13 14 23 26 27 29 38 40 45 46 47 53 58 59 64 68 69 71 76 81 82 83 86 91 92 97 102 112 115 117
a 2 4 5 8 13 14 23 26 27 29 38 40 45 46 47 53 58 59 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115
a 2 4 5 8 13 14 21 23 26 27 38 40 45 46 47 53 58 59 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115
a 2 4 5 8 13 14 23 26 27 38 40 45 46 47 53 58 59 64 68 69 71 76 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 8 13 14 23 26 27 38 40 45 46 47 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112 115 117
a 2 4 8 13 14 21 23 26 27 38 40 45 46 47 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112 115
a 2 4 5 8 13 14 21 23 26 27 38 40 45 46 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112 115
a 2 4 5 8 14 21 23 26 27 29 38 40 45 46 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112 115
a 2 4 5 8 13 14 21 26 27 29 38 40 45 46 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112 115
a 2 4 5 8 13 14 21 23 26 27 29 38 40 45 46 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112
a 2 4 5 8 13 14 21 23 26 27 29 40 45 46 51 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112
a 2 4 5 13 14 21 23 26 27 29 40 45 46 47 51 53 58 59 64 68 69 71 76 79 81 82 83 86 91 92 94 97 102 112
a 2 4 5 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 68 69 76 79 81 82 83 86 91 92 94 97 102 112
a 2 4 5 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 76 79 81 82 83 91 92 94 97 102 112
a 2 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 76 79 81 82 83 91 92 94 97 102 112
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 76 79 81 82 83 91 92 97 102 112
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 76 79 81 82 83 91 92 94 97 112
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 76 79 81 82 83 91 92 97 112 115
a 2 4 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 76 79 81 82 83 91 92 97 104 112 115
a 4 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 76 79 81 82 83 91 92 94 97 104 112 115
a 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 59 64 65 68 69 76 79 81 82 83 91 92 94 97 104 112 115
a 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 59 64 65 68 69 76 79 81 82 83 91 92 97 102 104 112 115
a 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 59 64 65 68 69 74 76 79 81 82 83 91 97 102 104 112 115
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 59 64 65 68 69 74 76 79 81 82 83 91 97 102 104 115
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 74 76 79 81 82 83 91 97 102 115
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 68 69 74 76 79 81 82 83 91 97 102 112 115
a 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 48 51 53 58 59 64 68 69 74 76 79 81 82 83 91 97 102 112 115
a 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 48 51 53 58 59 64 68 74 76 79 81 82 83 91 94 97 102 112 115
a 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 48 51 53 58 59 64 68 74 76 81 82 83 91 94 97 102 112 115 117
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 68 74 76 81 82 83 91 94 97 102 112 115 117
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 74 76 81 82 83 91 94 97 112 115 117
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 74 76 81 82 83 91 94 97 112 117
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 74 76 79 81 82 83 91 94 97 112
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 74 76 79 81 82 83 91 97 112 117
a 2 4 5 8 13 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 74 76 79 81 82 83 91 92 97 112 117
a 2 4 5 8 13 20 21 23 26 27 29 40 46 47 51 53 58 59 64 65 68 69 74 76 79 81 82 83 91 92 97 102 112 117
a 2 4 5 8 13 20 21 23 26 27 29 40 45 47 51 53 58 59 64 65 68 69 74 76 79 81 82 83 91 92 97 102 112 117
a 2 5 8 13 20 21 23 26 27 29 40 45 47 51 53 58 59 64 65 68 69 74 76 79 81 82 83 91 92 94 97 102 112 117
a 2 4 5 8 13 20 21 23 26 27 29 40 45 47 51 53 58 59 64 65 68 69 74 79 81 82 83 91 92 94 97 102 112 117
a 2 4 5 8 13 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 74 79 81 82 83 92 94 97 102 112 117
a 2 4 5 8 13 20 21 23 26 27 29 40 45 46 47 51 53 58 59 64 65 68 69 74 79 81 82 83 92 94 97 102 112 115
a 2 4 5 8 13 20 21 23 26 27 29 40 45 46 51 53 58 59 64 65 68 69 74 79 81 82 83 91 92 94 97 102 112 115
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 51 53 58 59 64 65 68 69 74 79 81 82 83 91 92 94 97 102 112
a 2 4 5 8 13 14 20 21 23 26 27 29 40 45 46 51 53 55 58 59 64 65 68 74 79 81 82 83 91 92 94 97 102 112
a 2 4 5 8 13 14 20 21 23 26 27 29 40 42 45 46 51 53 55 58 59 64 65 68 74 79 82 83 91 92 94 97 102 112
a 2 4 5 8 13 14 20 21 23 26 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 79 82 83 91 92 94 97 102 112
a 2 4 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 79 82 83 91 92 94 97 102
a 2 4 5 8 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102
a 2 4 5 8 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 115
a 2 4 5 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102 115
a 4 5 8 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102 115
a 2 5 8 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102 115
a 2 5 8 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 94 97 99 102 115
a 2 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 68 74 76 79 82 83 91 94 97 99 102 115
a 2 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 68 74 76 79 82 83 91 94 99 102 104 115
a 2 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 68 74 76 79 82 83 91 92 94 99 102 104
a 2 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 99 102 104
a 2 5 8 13 14 20 21 23 26 27 29 40 42 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 99 102 104 115
a 2 5 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 99 102 104 115
a 2 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 76 79 82 83 91 92 99 102 104 115
a 2 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 76 79 82 83 91 92 97 99 102 104
a 2 5 8 13 14 20 21 23 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 76 79 82 83 91 92 97 99 102 104 115
a 2 8 13 14 20 21 23 27 29 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 97 99 102 104 115
a 2 8 13 14 20 21 23 27 29 31 40 42 45 46 47 51 53 55 58 59 64 65 68 74 76 79 82 83 91 92 97 102 104 115
a 2 8 10 13 14 20 21 23 27 29 31 40 42 45 46 47 51 55 58 59 64 65 68 74 76 79 82 83 91 92 97 102 104 115
a 2 8 10 13 14 20 21 23 26 27 29 31 40 42 45 46 47 51 55 58 59 64 65 68 74 76 79 82 83 91 92 97 102 115
a 2 8 10 13 14 20 21 26 27 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 76 79 82 83 91 92 97 102 115
a 2 5 8 10 13 14 20 21 26 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 76 79 82 83 91 92 97 102 115
a 2 5 8 10 13 14 20 21 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 76 79 82 83 91 92 97 102 104 115
a 2 5 8 10 13 14 20 21 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102 104
a 2 5 8 10 13 20 21 26 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102 104
a 2 5 8 10 13 14 20 21 26 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102
a 2 8 10 13 14 20 21 26 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 76 79 82 83 91 92 94 97 102 104
a 2 5 8 10 13 14 20 21 26 29 31 40 42 45 46 47 51 54 55 58 59 64 65 68 74 79 82 83 91 92 94 97 102 104
a 2 5 8 10 13 14 20 21 23 26 29 31 40 42 45 46 47 51 55 58 59 64 65 68 74 79 82 83 91 92 94 97 102 104
a 2 5 8 10 13 14 20 21 23 26 29 40 42 45 46 47 51 55 58 59 64 65 68 74 79 82 83 91 92 94 97 102 104 112
a 2 5 8 10 13 14 20 21 23 26 40 42 45 46 47 51 55 58 59 64 65 68 74 79 82 83 84 91 92 94 97 102 104 112
a 2 5 8 10 13 14 20 21 23 26 40 42 45 46 47 51 55 58 59 64 65 68 74 79 82 83 84 91 92 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 29 40 42 45 46 47 51 55 58 59 64 65 68 74 79 82 83 91 92 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 29 40 42 45 46 47 51 55 58 64 65 68 73 74 79 82 83 91 92 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 58 64 65 68 73 79 82 83 91 92 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 58 64 65 68 73 76 79 82 83 91 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 58 59 64 65 68 73 76 79 82 83 91 94 97 99 102 112
a 2 5 8 10 13 20 21 23 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 76 79 82 83 91 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 76 79 82 83 91 94 97 99 102
a 2 5 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 76 79 82 83 91 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 59 64 65 68 73 76 79 82 83 91 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 59 64 65 68 73 74 79 82 83 91 94 97 99 102 112
a 2 5 8 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 59 64 65 68 73 74 76 79 82 83 91 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 59 64 65 68 73 74 76 79 82 83 94 97 99 102 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 59 64 65 68 73 74 76 79 82 83 94 97 102 104 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 94 102 104 112
a 2 8 10 13 14 20 21 23 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 91 94 102 104 112
a 2 5 8 10 13 14 20 21 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 91 94 102 104 112
a 2 5 8 10 13 14 20 21 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 91 94 97 102 104
a 2 5 8 10 13 14 20 21 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 91 94 97 104 112
a 2 5 8 10 13 14 20 21 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 88 91 94 97 112
a 2 5 8 10 13 14 20 21 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 88 91 94 97 104
a 2 5 8 10 13 14 20 21 26 27 29 40 42 45 46 47 51 55 58 59 64 65 68 73 74 76 79 82 83 88 91 97 104 112
a 2 5 8 10 13 14 20 21 26 27 29 40 45 46 47 51 55 58 59 64 65 68 73 74 76 79 81 82 83 88 91 97 104 112
a 2 5 8 10 13 14 20 21 23 26 27 29 40 45 46 47 51 55 58 59 64 65 68 73 74 76 79 81 82 83 88 91 97 104
a 2 5 10 13 14 20 21 23 26 27 29 40 45 46 47 51 55 58 59 64 65 68 73 74 76 79 81 82 83 88 91 97 102 104
a 2 5 10 13 14 20 21 23 26 27 29 40 45 46 47 51 55 58 59 64 65 68 73 74 76 79 81 82 83 88 91 97 102 112
a 2 5 10 13 14 20 21 23 26 27 29 40 45 46 47 51 55 58 59 64 65 68 73 74 76 79 81 82 83 88 91 92 97 102
a 5 8 10 13 14 20 21 23 26 27 29 40 45 46 47 51 55 58 59 64 65 68 73 74 76 79 81 82 83 88 91 92 97 102
a 2 8 10 13 14 20 21 23 26 27 29 40 45 46 47 51 55 58 59 64 65 68 73 74 76 79 81 82 83 88 91 92 97 102
a 2 5 8 10 13 14 20 21 23 26 27 29 40 45 46 47 51 55 59 64 65 68 73 74 76 79 81 82 83 88 91 92 97 102
a 2 5 8 10 13 14 20 21 23 26 27 29 40 45 46 47 51 59 64 65 68 73 74 76 79 81 82 83 88 91 92 94 97 102
a 2 5 8 10 13 14 20 21 23 26 27 29 40 45 46 51 59 64 65 68 73 74 76 79 81 82 83 88 90 91 92 94 97 102
a 2 5 8 10 13 14 20 21 23 26 27 29 40 45 46 51 58 59 64 65 68 73 74 76 79 81 82 83 88 90 91 92 94 102
a 2 5 8 10 13 14 20 23 26 27 29 40 45 46 51 58 59 64 65 68 73 74 76 79 81 82 83 88 90 91 92 94 97 102
a 2 5 8 10 13 14 20 23 26 27 29 40 46 51 58 59 64 65 68 73 74 76 79 81 82 83 88 90 91 92 93 94 97 102
a 2 5 10 13 14 20 23 26 27 29 40 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 93 94 97 102
a 2 5 10 13 14 20 23 26 27 29 38 40 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 90 91 92 93 94 97 102
a 2 5 8 10 13 14 20 23 26 27 29 38 40 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 90 91 92 93 94 97
a 2 5 8 10 13 20 21 23 26 27 29 38 40 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 90 91 92 93 94 97
a 2 5 8 10 13 14 20 21 23 26 27 29 38 40 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 90 91 92 93 94
a 2 4 5 8 10 13 14 20 21 23 27 29 38 40 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 90 91 92 93 94
a 2 4 5 8 10 13 14 20 21 23 26 27 29 38 40 46 51 58 59 64 65 68 69 73 74 76 79 82 83 90 91 92 93 94
a 2 4 5 8 10 13 14 20 21 23 26 27 29 38 40 46 51 58 59 64 65 68 69 73 74 76 79 82 83 90 91 92 93 112
a 2 4 5 8 10 13 14 20 21 23 26 27 29 38 40 45 46 51 58 59 64 65 68 69 73 74 76 79 82 83 90 91 92 112
a 2 4 5 8 10 14 20 21 23 26 27 29 38 40 45 46 51 58 59 64 65 68 69 73 74 76 79 82 83 90 91 92 97 112
a 2 4 5 8 14 20 21 23 26 27 29 38 40 45 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 90 91 92 97 112
a 2 5 8 14 20 21 23 26 27 29 38 40 45 46 51 58 59 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97 112
a 2 5 8 14 20 21 26 27 29 38 40 45 46 51 54 58 59 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97 112
a 2 8 10 14 20 21 26 27 29 38 40 45 46 51 54 58 59 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97 112
a 2 5 10 14 20 21 26 27 29 38 40 45 46 51 54 58 59 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97 112
a 2 5 13 14 20 21 26 27 29 38 40 45 46 51 54 58 59 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97 112
a 2 5 13 14 20 21 26 27 29 38 40 45 46 51 54 58 59 60 64 65 68 69 73 74 76 79 82 83 88 90 91 92 97 112
a 2 5 13 14 20 21 26 27 29 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 82 83 88 90 91 97 112
a 2 5 13 14 20 21 26 27 29 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 76 79 81 82 83 88 90 91 97 112
a 2 5 13 14 20 21 26 27 29 38 40 45 46 51 53 54 58 59 60 64 68 69 73 76 79 81 82 83 88 90 91 92 97 112
a 2 5 13 14 20 21 26 27 29 38 40 45 46 51 53 54 58 59 60 64 68 69 73 74 76 79 81 82 83 88 90 91 92 97
a 5 13 14 20 21 26 27 29 30 38 40 45 46 51 53 54 58 59 60 64 68 69 73 74 76 79 81 82 83 88 90 91 92 97
a 5 13 14 20 21 26 29 30 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97
a 5 13 14 20 21 26 27 29 30 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 88 90 91 97
a 5 13 14 20 21 26 27 29 30 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 83 88 90 91 92 97
a 5 13 14 20 21 26 27 29 30 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 83 88 90 91 92 94
a 5 13 14 20 21 26 27 29 30 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 83 88 90 91 92 94 97
a 5 8 13 14 20 21 26 27 29 30 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 83 88 90 91 92 97
a 5 8 13 20 21 26 27 29 30 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97
a 5 8 13 20 21 27 29 30 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92 97
a 5 8 13 14 20 21 27 29 30 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 88 90 91 92
a 5 8 13 14 20 21 27 29 30 38 40 45 46 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 88 90 91 94
a 5 8 13 14 20 21 27 30 38 40 45 46 48 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 88 90 91 94
a 4 5 8 13 14 20 21 27 30 38 40 45 46 48 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 90 91 94
a 4 5 8 13 14 20 21 27 30 38 40 45 46 48 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 91 92 94
a 4 5 8 13 14 20 26 27 30 38 40 45 46 48 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 91 92 94
a 4 5 8 13 14 20 21 26 27 30 38 40 45 46 48 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 91 92 94
a 4 5 8 13 14 20 21 26 27 30 38 40 45 46 48 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 90 91 92
a 4 5 8 13 14 20 21 27 30 38 40 45 46 48 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 90 91 92
a 4 5 8 13 14 20 21 27 29 30 38 40 45 46 48 51 53 54 58 59 60 64 65 68 69 73 74 76 79 81 82 83 90 91
a 4 5 8 13 14 20 21 27 29 30 38 40 45 46 48 51 53 54 58 59 60 64 65 68 69 74 76 79 81 82 83 90 91 115
a 4 5 6 8 13 14 20 21 27 29 30 38 40 45 46 48 51 54 58 59 60 64 65 68 69 74 76 79 81 82 83 90 91 115
a 4 5 6 8 13 14 20 21 27 29 30 38 40 45 46 51 54 58 59 60 64 65 68 69 74 76 79 81 82 83 90 91 105 115
a 4 5 6 8 13 14 20 21 27 29 30 38 40 45 46 51 54 58 59 60 64 65 68 69 74 76 79 81 82 83 90 97 105 115
a 4 5 6 8 13 14 20 21 27 29 30 38 40 45 46 51 54 56 58 59 60 64 65 68 69 76 79 81 82 83 90 97 105 115
a 4 5 6 8 13 14 20 21 27 29 30 38 40 46 51 54 56 58 59 60 64 65 68 69 76 79 81 82 83 90 93 97 105 115
a 4 5 6 8 13 14 20 21 27 29 30 32 38 40 46 51 54 56 58 59 60 64 65 69 76 79 81 82 83 90 93 97 105 115
a 4 5 6 8 13 14 20 27 29 30 32 38 40 46 51 54 56 58 59 60 64 65 69 76 79 81 82 83 87 90 93 97 105 115
a 2 4 5 6 8 13 14 20 27 29 32 38 40 46 51 54 56 58 59 60 64 65 69 76 79 81 82 83 87 90 93 97 105 115
a 2 4 5 6 8 13 14 16 20 27 29 32 38 40 46 51 54 56 58 59 60 64 65 69 76 79 81 83 87 90 93 97 105 115
a 2 4 6 8 13 14 16 20 27 29 32 38 40 46 51 54 56 58 59 60 64 65 69 76 79 81 83 87 90 93 97 105 115 116
a 2 4 6 8 13 14 16 20 27 29 32 38 40 46 51 54 56 58 59 60 64 65 69 79 81 83 87 90 93 97 102 105 115 116
a 2 4 6 8 13 14 16 20 27 29 31 32 38 40 46 51 54 56 58 59 60 64 65 69 79 83 87 90 93 97 102 105 115 116
a 2 4 6 8 13 14 16 20 27 29 31 32 34 38 40 46 51 54 56 58 59 60 65 69 79 83 87 90 93 97 102 105 115 116
a 2 4 6 8 14 16 20 27 29 31 32 34 38 40 46 51 54 56 58 59 60 65 69 75 79 83 87 90 93 97 102 105 115 116
a 2 4 6 8 14 16 20 27 29 31 32 34 38 40 46 51 54 56 58 59 60 69 75 79 83 86 87 90 93 97 102 105 115 116
a 2 4 6 8 14 16 20 23 27 29 31 32 34 38 40 46 51 56 58 59 60 69 75 79 83 86 87 90 93 97 102 105 115 116
a 2 4 6 8 12 14 16 23 27 29 31 32 34 38 40 46 51 56 58 59 60 69 75 79 83 86 87 90 93 97 102 105 115 116
a 2 4 6 8 12 14 16 23 27 29 31 32 34 38 40 46 51 56 58 59 60 69 75 79 83 86 87 93 97 102 105 113 115 116
a 2 4 6 8 12 14 16 23 27 29 31 32 34 38 40 46 51 56 58 59 60 69 75 83 86 87 93 97 102 105 108 113 115 116
a 2 4 6 12 14 16 23 27 29 31 32 34 38 40 46 51 56 58 59 60 66 69 75 83 86 87 93 97 102 105 108 113 115 116
a 2 4 6 12 16 23 27 29 31 32 34 38 40 46 51 56 58 59 60 66 69 75 77 83 86 87 93 97 102 105 108 113 115 116
a 2 4 6 12 16 18 23 27 29 31 32 34 38 40 46 56 58 59 60 66 69 75 77 83 86 87 93 97 102 105 108 113 115 116
c Step: 236
#END: [Tue Sep 26 05:37:09 2023]