#BEGIN: [Tue Sep  5 01:23:33 2023]
#HOST: s10
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance013_graph005.col
#INSTANCE2: /benchmark/random_instance/random_instance013_graph005_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_instance013_graph005.col /benchmark/random_instance/random_instance013_graph005_01.dat
c /benchmark/random_instance/random_instance013_graph005.col
c /benchmark/random_instance/random_instance013_graph005_01.dat
TIMEOUT 1800
c send SIGTERM to CID ae53d47040658a79b34cdf018ff3be686347070fa6360175a4449bebefcb9552
s 46 134 92 73 7 59 43 84 137 34 32 149 130 79 5 54 75 15 145 150 157 78 99 101 13 26 12 44 31 52 141 3 93 71 107 109 120 135 161 115 103 128 126 163 138 105 146 89 147 65 33 142 90
t 69 32 21 151 144 100 39 51 134 12 50 37 10 5 155 83 129 35 121 79 105 133 108 47 54 34 114 57 60 143 15 150 99 132 26 136 107 38 85 13 3 23 161 81 89 63 41 148 91 18 119 137 160
a YES
a 3 5 7 12 13 15 26 31 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 101 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 71 73 75 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 130 134 135 137 138 141 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 59 65 71 73 75 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 59 65 71 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 137 138 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 65 71 73 75 78 79 84 89 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 136 137 138 142 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 26 32 33 34 43 44 46 52 54 65 71 73 75 78 79 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 136 137 138 142 143 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 65 71 73 75 79 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 136 137 138 142 143 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 65 71 73 75 79 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 134 135 136 137 138 142 143 145 146 147 149 150 161 163
a 5 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 65 71 73 75 79 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 137 138 142 143 145 146 147 149 150 161 163
a 5 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 65 71 73 75 79 84 90 92 93 99 102 103 107 109 115 120 126 128 129 130 133 134 135 136 137 138 142 143 145 146 147 149 150 161 163 169
a 5 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 103 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 161 163 169
a 5 7 12 13 15 21 23 26 32 33 34 38 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 161 163
a 5 7 12 13 15 20 21 23 26 32 33 34 38 43 44 46 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 161 163
a 3 5 7 12 13 15 20 21 23 26 32 33 34 38 43 44 46 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 163
a 3 5 7 12 13 15 20 21 23 26 32 33 38 43 44 46 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 161 163
a 3 5 7 12 13 15 20 21 23 26 32 33 38 43 44 46 54 65 71 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 161 163
a 3 7 12 13 15 20 21 23 26 32 33 34 38 43 44 46 54 65 71 73 75 79 82 84 90 92 93 94 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 161 163
a 3 7 12 13 15 20 21 23 26 32 33 34 38 43 44 46 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 161 163
a 3 7 12 13 15 20 21 23 26 32 33 34 43 44 46 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 157 161 163
a 3 5 7 12 13 15 20 21 23 26 32 33 34 43 44 46 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 157 161 163
a 3 5 7 12 13 15 21 23 26 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 157 161 163
a 3 5 12 13 15 21 23 26 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 115 120 126 128 129 130 133 134 135 136 138 142 143 145 146 147 149 150 157 161 163
a 3 5 12 13 15 21 23 26 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 103 105 107 109 110 115 120 126 128 129 130 133 135 136 138 142 143 145 146 147 149 150 157 161 163
a 3 5 12 13 15 21 23 26 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 107 109 110 115 120 121 126 128 129 130 133 135 136 138 142 143 145 146 147 149 150 157 161 163
a 3 12 13 15 21 23 26 27 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 107 109 110 115 120 121 126 128 129 130 133 135 136 138 142 143 145 146 147 149 150 157 161 163
a 3 7 12 13 15 21 23 26 27 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 107 109 110 115 120 121 126 128 129 130 133 135 136 138 142 143 145 146 147 150 157 161 163
a 3 7 12 13 15 21 22 23 26 27 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 107 109 110 115 120 121 126 128 129 130 133 135 136 138 142 143 145 146 147 150 157 161
a 3 7 12 15 21 22 23 26 27 32 33 34 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 106 107 109 110 115 120 121 126 128 129 130 133 135 136 138 142 143 145 146 147 150 157 161
a 3 7 12 15 21 22 23 26 27 32 33 34 38 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 106 107 109 110 115 120 121 126 128 129 130 133 135 136 138 142 143 145 146 147 150 161
a 3 7 12 15 21 22 23 26 27 32 33 34 38 43 44 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 106 107 109 115 120 121 126 128 129 130 133 134 135 136 138 142 143 145 146 147 150 161
a 3 7 12 15 21 22 23 26 27 32 33 34 38 43 44 45 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 106 107 109 115 120 121 126 128 129 130 133 134 135 138 142 143 145 146 147 150 161
a 3 7 12 13 15 21 22 23 26 27 32 33 34 38 43 44 45 46 52 54 65 73 75 79 82 84 90 92 93 99 102 105 106 107 109 115 120 121 126 128 129 130 133 134 135 138 142 143 145 146 147 150 161
a 3 12 13 15 21 22 23 26 27 32 33 34 38 43 44 45 46 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 106 107 109 115 120 121 126 128 129 130 133 134 135 138 142 143 145 146 147 150 161
a 3 12 13 15 21 22 23 26 27 32 33 34 38 43 45 46 51 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 106 107 109 115 120 121 126 128 129 130 133 134 135 138 142 143 145 146 147 150 161
a 3 12 13 15 21 22 23 26 27 32 33 34 38 43 45 46 51 52 54 65 71 73 75 79 82 84 90 92 93 99 102 105 106 107 109 110 115 120 121 126 128 129 130 133 135 138 142 143 145 146 147 150 161
a 3 12 13 15 21 22 23 26 27 32 33 34 38 43 45 46 51 52 54 65 71 73 75 79 82 84 90 92 93 99 102 106 107 109 110 115 120 121 126 128 129 130 133 135 138 142 143 145 146 147 150 161 169
a 3 12 13 15 21 22 23 26 27 32 33 34 38 43 45 46 51 52 54 65 71 73 75 79 82 84 90 92 93 99 102 106 107 109 110 113 115 121 126 128 129 130 133 135 138 142 143 145 146 147 150 161 169
a 3 7 12 13 15 21 22 23 26 27 32 33 34 38 43 45 46 51 52 54 65 71 73 75 79 82 84 92 93 99 102 106 107 109 110 113 115 121 126 128 129 130 133 135 138 142 143 145 146 147 150 161 169
a 3 7 12 13 15 21 22 23 26 27 32 33 34 38 43 45 46 51 52 54 59 65 71 73 75 79 82 84 92 93 99 102 106 107 109 110 113 115 121 126 128 129 130 135 138 142 143 145 146 147 150 161 169
a 3 7 12 13 15 21 22 23 26 27 32 33 34 38 43 45 46 51 52 54 59 65 71 73 75 79 82 84 92 93 99 102 106 107 109 110 113 115 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 3 7 12 13 15 21 22 23 26 27 33 34 38 43 45 46 51 52 54 59 65 71 73 75 79 82 84 92 93 99 102 106 107 109 110 113 115 118 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 3 7 12 13 15 21 22 23 26 27 33 34 38 43 45 46 51 52 54 59 65 71 73 75 79 82 84 92 93 99 102 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 3 7 12 13 15 21 22 23 26 27 33 34 38 43 45 46 51 52 54 59 65 71 73 75 79 82 84 92 93 99 101 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 3 7 13 15 21 22 23 26 27 33 34 38 43 45 46 51 52 54 59 65 71 73 75 79 82 84 90 92 93 99 101 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 3 7 13 15 21 22 23 26 27 33 34 38 43 45 46 51 52 54 59 65 71 73 75 79 80 82 90 92 93 99 101 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 3 13 15 21 22 23 26 27 33 34 38 43 44 45 46 51 52 54 59 65 71 73 75 79 80 82 90 92 93 99 101 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 3 12 13 15 21 22 23 26 27 33 34 38 43 44 45 46 51 52 54 59 65 71 73 75 79 80 82 90 92 93 99 101 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 3 12 13 15 21 22 23 26 27 33 34 38 43 44 45 46 51 52 54 59 65 71 73 75 79 80 82 90 92 93 101 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 3 12 13 15 21 22 23 26 27 33 34 38 43 44 45 46 51 52 54 59 65 71 73 75 79 80 82 90 92 93 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 12 13 15 21 22 23 26 27 33 34 38 43 44 45 46 51 52 54 56 59 65 71 73 75 79 80 82 90 92 93 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 12 13 15 20 21 22 23 26 27 33 34 38 43 44 45 46 51 54 56 59 65 71 73 75 79 80 82 90 92 93 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 12 13 15 20 21 22 26 27 33 34 38 43 44 45 46 51 54 56 59 65 71 73 75 79 80 82 88 90 92 93 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 12 13 15 20 21 26 27 33 34 38 43 44 45 46 51 54 56 59 65 71 73 75 79 80 82 88 90 92 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 12 13 15 20 21 26 27 33 34 43 44 45 46 51 54 56 59 65 71 73 75 78 79 80 82 88 90 92 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 12 13 15 20 21 22 26 27 33 34 43 44 45 46 51 54 56 59 65 71 73 75 78 79 80 82 88 90 92 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150
a 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 73 75 78 79 80 82 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150
a 7 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 73 75 78 79 80 82 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 147 150
a 7 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 73 75 78 79 80 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 137 138 142 143 145 147 150
a 7 12 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 73 75 78 79 80 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 137 138 142 143 145 147 150 158
a 7 12 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 73 75 78 79 80 82 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 147 150 158
a 7 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 73 75 78 79 80 82 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 147 150 158
a 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 73 75 78 79 80 82 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158
a 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 73 75 78 79 80 88 90 93 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 137 138 142 143 145 146 147 150 158
a 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 73 75 78 80 88 90 93 95 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 137 138 142 143 145 146 147 150 158
a 12 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 75 78 80 81 88 90 93 95 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 137 138 142 143 145 146 147 150 158
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 75 78 80 81 88 90 93 95 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 137 138 142 143 145 146 147 150 158
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 75 78 80 81 88 90 93 95 99 102 105 106 107 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 147 150 158 161
a 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 75 78 80 81 88 90 93 95 97 99 102 105 106 107 108 109 110 115 118 120 121 126 128 129 130 138 142 143 145 146 147 150 158 161
a 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 71 75 78 80 81 88 90 93 95 97 99 102 105 106 107 108 109 110 115 118 120 121 126 128 129 130 135 138 142 143 145 146 150 158 161
a 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 67 71 75 78 80 81 88 90 93 95 97 99 102 105 106 107 108 109 110 115 118 121 126 128 129 130 135 138 142 143 145 146 150 158 161
a 15 20 21 22 25 26 27 33 34 43 44 45 46 51 54 56 59 65 67 71 75 78 80 81 88 90 93 95 97 99 102 105 106 107 108 109 110 115 118 121 126 128 129 130 135 137 138 142 143 145 146 150 161
a 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 115 118 121 126 128 129 130 135 137 138 142 143 145 146 150 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 115 118 121 128 129 130 135 137 138 142 143 145 146 150 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 129 130 135 137 138 142 143 145 146 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 129 135 137 138 142 143 145 146 147 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 129 135 137 138 143 145 146 147 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 115 118 121 128 129 130 135 137 138 143 145 146 147 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 115 118 121 128 130 135 137 138 143 145 146 147 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 118 121 126 128 130 135 137 138 143 145 146 147 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 118 121 128 130 135 137 138 143 145 146 147 150 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 115 118 121 128 130 135 137 138 143 145 147 150 161
a 13 15 20 21 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 130 135 137 138 143 145 147 150 161
a 13 15 20 21 25 26 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 130 135 137 138 141 145 147 150 161
a 13 15 20 21 25 26 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 130 135 137 138 141 145 146 147 150 161
a 13 15 20 21 22 25 26 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 107 108 109 110 113 115 118 121 128 130 135 137 138 141 145 146 147 150 161
a 13 15 20 21 22 25 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 130 135 137 138 141 145 146 147 150 161
a 13 15 20 21 22 25 27 33 34 43 44 45 46 50 51 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 130 135 137 138 141 145 147 150 161
a 13 15 20 21 22 25 27 33 34 43 44 45 46 50 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 130 135 137 138 141 145 146 147 150 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 128 130 135 137 138 141 146 147 150 161
a 13 15 20 21 22 25 26 27 33 34 43 44 45 46 50 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 118 121 126 128 130 135 137 138 141 146 147 150
a 13 15 20 21 22 25 26 27 32 33 34 43 44 45 46 50 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 146 147 150
a 12 13 15 20 21 22 25 26 27 32 34 43 44 45 46 50 54 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 146 147 150
a 12 13 20 21 22 25 26 27 32 34 43 44 45 46 50 54 55 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 146 147 150
a 12 13 20 21 22 25 26 27 32 34 43 44 45 46 50 54 55 56 59 65 67 69 70 71 75 78 80 81 88 90 93 95 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 145 146 147
a 12 13 20 21 22 25 26 27 32 34 43 44 45 46 50 54 55 56 59 65 67 69 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 145 146 147
a 12 13 20 21 22 25 26 27 32 33 34 43 44 45 46 50 54 55 56 65 67 69 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 145 146 147
a 12 13 20 21 22 25 27 32 33 34 43 44 45 46 50 51 54 55 56 65 67 69 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 145 146 147
a 12 13 20 21 22 25 26 32 33 34 43 44 45 46 50 51 54 55 56 65 67 69 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 145 146 147
a 12 13 20 21 22 26 32 33 34 43 44 45 46 50 51 54 55 56 59 65 67 69 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 145 146 147
a 12 13 20 21 22 26 32 33 34 43 44 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 142 145 146 147
a 12 13 20 21 22 26 27 32 33 34 43 44 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 121 126 128 130 135 137 138 141 142 145 147
a 12 13 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 116 121 126 128 130 135 137 138 141 142 145 147
a 12 13 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 116 126 128 130 135 137 138 141 142 145 146 147
a 13 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 99 102 105 106 107 108 109 110 113 115 116 126 128 130 135 137 138 141 142 145 146 147 150
a 13 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 90 93 99 102 105 106 107 108 109 110 113 115 116 126 128 130 135 137 138 141 142 145 146 147 150 157
a 13 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 90 93 96 99 102 105 106 108 109 110 113 115 116 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 90 92 93 96 99 102 105 106 108 109 110 113 115 116 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 92 93 95 96 99 102 105 106 108 109 110 113 115 116 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 90 92 93 95 96 99 102 105 106 108 109 110 113 115 116 121 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 92 93 95 96 99 102 105 106 108 109 110 113 115 116 121 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 32 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 92 93 95 96 99 102 105 106 108 109 110 113 115 116 121 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 90 92 93 95 96 99 102 105 106 108 109 110 113 115 116 121 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 90 92 93 94 95 96 102 105 106 108 109 110 113 115 116 121 126 128 130 135 137 138 141 142 145 146 147 150 157
a 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 92 93 94 95 96 102 105 106 108 109 110 113 115 116 121 126 128 130 135 137 138 142 145 146 147 150 157
a 20 21 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 90 92 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 157
a 20 21 22 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 90 92 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 157 158
a 13 20 21 22 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 90 92 93 94 95 96 102 105 106 108 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 157 158
a 13 20 21 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 90 93 94 95 96 102 105 106 108 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 157 158
a 13 20 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 157 158
a 13 20 21 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 158
a 13 20 21 22 25 26 27 32 33 43 45 46 50 51 54 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 158
a 13 20 21 22 25 26 27 32 33 34 43 45 46 50 51 54 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 146 147 150 158
a 13 20 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 138 142 146 147 150 158
a 13 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 138 142 145 146 147 150 158
a 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 145 146 147 150 158
a 21 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 144 145 146 147 150 158
a 21 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 158
a 21 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 143 144 145 146 147 158
a 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 143 144 145 146 147 157 158
a 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 157
a 22 25 26 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 157
a 7 22 25 26 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 157
a 7 22 25 26 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 157
a 7 22 25 26 32 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 157
a 7 22 25 26 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147
a 7 20 22 25 26 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 142 143 144 145 146 147
a 7 20 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 142 143 144 146 147
a 7 20 22 25 26 27 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 142 143 144 145 146 147
a 7 20 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 128 130 135 137 142 143 144 145 146 147
a 7 20 22 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 128 130 135 137 143 144 145 146 147 158
a 7 20 22 25 26 27 32 33 34 43 45 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 128 130 135 137 138 143 144 145 146 147 158
a 7 20 22 25 26 27 32 34 43 45 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 143 144 145 146 147 158
a 20 22 25 26 27 32 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 143 144 145 146 147 158
a 20 22 25 26 27 32 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 142 143 144 145 146 147 158
a 20 22 25 26 27 32 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 143 144 145 146 147 157 158
a 20 22 25 26 27 32 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 85 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 143 144 145 146 147 157 158
a 20 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 85 90 93 94 95 96 102 106 108 109 110 111 113 115 116 119 121 126 128 130 135 137 138 143 144 145 146 147 157 158
a 20 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 85 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 138 143 144 145 146 147 157 158
a 20 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 85 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 157 158
a 20 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 157 158
a 20 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 20 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 22 25 26 27 32 33 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 90 93 94 95 96 102 105 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 22 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 90 93 94 95 96 102 105 106 108 109 110 111 113 115 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 70 71 75 78 80 81 88 90 93 94 95 96 102 105 106 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 78 80 81 88 90 93 94 95 96 102 105 106 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150 158
a 7 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 88 90 93 94 95 96 102 105 106 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 145 146 147 150
a 7 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 80 81 88 90 93 94 95 96 102 105 106 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 145 147 150 158
a 7 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 94 96 102 105 106 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 145 147 150 158
a 7 21 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 94 96 102 105 106 108 109 110 111 113 116 119 121 128 130 135 138 142 143 144 145 147 150 158
a 7 21 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 94 96 102 105 106 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 147 150 158
a 12 21 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 94 96 102 105 106 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 147 150 158
a 12 21 25 26 27 32 33 34 43 45 46 50 51 54 55 56 59 65 67 70 71 75 78 79 80 81 88 90 93 94 102 105 106 107 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 147 150 158
a 12 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 65 67 70 71 75 79 80 81 88 90 93 94 102 105 106 107 108 109 110 111 113 116 119 121 126 128 130 135 138 142 143 144 147 150 158
a 12 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 65 67 70 71 75 79 80 81 88 90 93 94 102 105 106 107 108 109 110 111 113 116 119 121 126 128 130 135 137 138 142 143 144 150 158
a 12 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 65 67 70 71 75 79 80 81 88 90 91 93 94 102 105 106 107 108 109 110 111 113 116 119 121 126 128 130 137 138 142 143 144 150 158
a 12 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 65 67 70 71 75 79 80 81 88 90 91 93 94 105 106 107 108 109 110 111 113 116 119 121 126 128 130 137 138 142 143 144 150 158
a 12 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 59 65 67 70 71 75 79 80 81 88 90 91 93 99 105 106 107 108 109 110 111 113 116 119 121 126 128 130 137 138 142 143 144 150 158
a 12 13 21 25 26 27 32 33 34 38 43 45 46 50 51 54 55 56 57 59 65 67 70 75 79 80 81 88 90 91 93 99 105 106 107 108 109 110 111 113 116 119 121 126 128 130 137 138 142 143 144 150 158
a 12 13 21 25 26 27 32 33 34 38 43 45 50 51 54 55 56 57 59 65 67 70 75 79 80 81 88 90 91 93 99 105 106 107 108 109 110 111 113 116 119 121 126 128 130 137 138 142 143 144 150 158 161
a 12 13 21 25 26 27 32 33 34 38 43 45 50 51 54 55 56 57 59 65 67 70 75 79 80 81 88 89 90 91 93 99 105 106 107 108 109 110 111 113 116 119 121 126 128 130 137 138 142 143 144 150 161
a 12 13 21 25 26 27 32 33 34 38 43 45 50 51 54 55 56 57 59 65 67 69 70 75 79 80 81 88 89 90 91 93 99 105 106 107 108 109 110 111 113 116 119 121 126 128 130 137 138 143 144 150 161
a 12 13 21 26 27 32 33 34 38 43 45 50 51 54 55 56 57 59 65 67 69 70 75 79 80 81 88 89 90 91 93 99 105 106 107 108 109 110 111 113 116 119 121 126 128 130 132 137 138 143 144 150 161
a 12 13 21 26 27 32 33 34 38 43 45 50 51 54 55 56 57 59 65 67 69 70 75 79 80 81 88 89 90 91 93 99 105 106 107 108 109 110 111 113 114 116 119 121 126 130 132 137 138 143 144 150 161
a 12 13 21 23 26 27 32 33 34 38 43 45 50 51 54 55 56 57 59 65 67 69 70 75 79 80 81 89 90 91 93 99 105 106 107 108 109 110 111 113 114 116 119 121 126 130 132 137 138 143 144 150 161
a 3 12 13 21 23 26 27 32 33 34 38 43 45 50 51 54 55 57 59 65 67 69 70 75 79 80 81 89 90 91 93 99 105 106 107 108 109 110 111 113 114 116 119 121 126 130 132 137 138 143 144 150 161
a 3 12 13 21 23 26 27 32 33 34 38 43 45 50 51 54 55 57 59 65 67 69 70 79 80 81 85 89 90 91 93 99 105 106 107 108 109 110 111 113 114 116 119 121 126 130 132 137 138 143 144 150 161
a 3 12 13 21 23 26 27 32 33 34 38 43 45 50 51 54 55 57 59 63 65 69 70 79 80 81 85 89 90 91 93 99 105 106 107 108 109 110 111 113 114 116 119 121 126 130 132 137 138 143 144 150 161
a 3 12 13 21 23 26 27 32 33 34 38 43 45 50 51 54 55 57 59 63 65 69 70 79 80 81 85 89 90 91 99 105 106 107 108 109 110 111 113 114 116 119 121 126 130 132 137 138 143 144 150 160 161
a 3 12 13 21 23 26 27 32 33 34 38 43 45 50 51 54 55 57 59 60 63 65 69 70 79 80 81 85 89 90 91 99 105 106 107 108 109 111 113 114 116 119 121 126 130 132 137 138 143 144 150 160 161
a 3 12 13 21 23 26 32 33 34 38 43 45 50 51 54 55 57 59 60 63 65 69 70 79 80 81 85 89 90 91 99 105 106 107 108 109 111 113 114 116 119 121 126 130 132 137 138 143 144 148 150 160 161
a 3 12 13 21 23 26 32 33 34 38 43 45 50 51 54 55 57 59 60 63 65 69 70 79 80 81 85 89 90 91 99 105 106 107 108 109 111 114 116 119 121 126 130 132 134 137 138 143 144 148 150 160 161
a 3 12 13 21 23 26 32 33 34 38 39 43 50 51 54 55 57 59 60 63 65 69 70 79 80 81 85 89 90 91 99 105 106 107 108 109 111 114 116 119 121 126 130 132 134 137 138 143 144 148 150 160 161
a 3 5 12 13 21 23 26 32 33 34 38 39 43 50 51 54 55 57 59 60 63 65 69 70 79 80 81 85 89 90 91 99 105 107 108 109 111 114 116 119 121 126 130 132 134 137 138 143 144 148 150 160 161
a 3 5 12 13 21 23 26 32 33 34 38 39 43 50 51 54 55 57 60 63 65 69 70 79 80 81 85 89 90 91 99 105 107 108 109 111 114 116 119 121 126 130 132 134 136 137 138 143 144 148 150 160 161
a 3 5 12 13 21 23 26 32 33 34 38 39 43 50 51 54 55 57 60 63 65 69 70 79 81 85 89 90 91 99 105 107 108 109 111 114 116 119 121 126 130 132 133 134 136 137 138 143 144 148 150 160 161
a 3 5 12 13 21 23 26 32 34 38 39 43 50 51 54 55 57 60 63 65 69 70 79 81 85 89 90 91 99 105 107 108 109 111 114 116 119 121 126 130 132 133 134 136 137 138 143 144 148 150 155 160 161
a 3 5 12 13 21 23 26 32 34 38 39 41 50 51 54 55 57 60 63 65 69 70 79 81 85 89 90 91 99 105 107 108 109 111 114 116 119 121 126 130 132 133 134 136 137 138 143 144 148 150 155 160 161
a 3 5 12 13 18 21 23 26 32 34 38 39 41 50 51 54 55 57 60 63 65 69 70 79 81 85 89 90 91 99 105 107 108 111 114 116 119 121 126 130 132 133 134 136 137 138 143 144 148 150 155 160 161
a 3 5 12 13 18 21 23 26 32 34 37 38 39 41 50 51 54 55 57 60 63 65 69 70 79 81 85 89 90 91 99 105 107 108 111 114 116 119 121 130 132 133 134 136 137 138 143 144 148 150 155 160 161
a 3 5 10 12 13 18 21 23 26 32 34 37 38 39 41 50 51 54 55 57 60 63 65 69 70 79 81 85 89 90 91 99 105 107 108 111 114 116 119 121 132 133 134 136 137 138 143 144 148 150 155 160 161
a 3 5 10 12 13 18 21 23 26 32 34 37 38 39 41 50 51 54 55 57 60 63 69 70 79 81 85 89 90 91 99 105 107 108 111 114 116 119 121 132 133 134 136 137 138 143 144 148 150 151 155 160 161
a 3 5 10 12 13 18 21 23 26 32 34 37 38 39 41 47 50 51 54 57 60 63 69 70 79 81 85 89 90 91 99 105 107 108 111 114 116 119 121 132 133 134 136 137 138 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 37 38 39 41 47 50 51 54 57 60 63 69 70 79 81 85 89 90 91 99 105 107 108 114 116 119 121 132 133 134 136 137 138 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 37 38 39 41 47 50 51 54 57 60 63 69 70 79 81 83 85 89 90 91 99 105 107 108 114 116 119 121 132 133 134 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 70 79 81 83 85 89 91 99 105 107 108 114 116 119 121 132 133 134 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 116 119 121 132 133 134 136 137 143 144 148 150 151 155 160 161
a 3 5 10 12 13 15 18 21 23 26 32 34 35 37 38 39 41 47 50 51 54 57 60 63 69 79 81 83 85 89 91 99 100 105 107 108 114 119 121 129 132 133 134 136 137 143 144 148 150 151 155 160 161
c Step: 202
#END: [Tue Sep  5 01:53:33 2023]