#BEGIN: [Mon Sep  4 22:15:34 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#INSTANCE1: /benchmark/random_instance/random_instance014_graph003.col
#INSTANCE2: /benchmark/random_instance/random_instance014_graph003_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance014_graph003.col /benchmark/random_instance/random_instance014_graph003_01.dat
c /benchmark/random_instance/random_instance014_graph003.col
c /benchmark/random_instance/random_instance014_graph003_01.dat
s 157 71 68 84 145 106 95 148 51 47 144 176 67 127 113 15 120 37 94 115 105 80 69 49 149 129 171 98 178 16 40 21 88 75 143 6 136 43 126 66 89 18 153 96 173 119 61 150 24 158 134 58 91 26 14 130 142 42 133 63 59
t 95 110 77 91 113 169 85 151 59 12 166 7 112 156 179 20 11 18 158 140 106 171 89 121 108 14 97 175 61 42 126 81 16 71 170 62 10 124 109 102 129 17 177 144 125 119 66 149 40 53 130 19 15 127 63 147 6 82 78 67 176
a YES
a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 84 88 89 91 94 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178
a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 68 69 71 75 80 84 85 88 89 91 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 153 157 158 171 173 176 178
a 6 14 15 16 18 21 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 69 71 75 80 84 85 88 89 91 95 96 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 69 71 75 80 84 85 88 89 91 95 96 97 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 6 14 15 16 18 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 69 71 75 80 84 88 89 91 94 95 96 97 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 6 14 15 16 18 20 24 26 37 40 42 43 47 49 51 58 59 61 63 66 67 69 71 75 80 84 88 89 91 95 96 97 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 6 14 15 16 18 20 24 26 37 40 42 43 47 49 51 58 59 61 63 67 69 71 75 80 84 85 88 89 91 95 96 97 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 6 8 14 15 16 18 20 24 26 37 40 42 43 47 49 51 58 59 61 63 67 71 75 80 84 85 88 89 91 95 96 97 98 105 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 6 8 14 15 16 18 20 24 26 37 40 42 43 47 49 50 51 58 59 61 63 67 71 75 80 84 85 88 89 91 95 96 97 98 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 6 8 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 71 75 80 84 85 88 89 91 95 96 97 98 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 149 150 151 153 157 158 171 173 176 178
a 8 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 71 75 80 84 85 88 89 91 95 96 97 98 106 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 157 158 171 173 176 178
a 8 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 71 75 80 84 85 88 89 91 95 96 97 98 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 151 153 158 171 173 176 178
a 8 11 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 71 75 80 84 85 88 89 91 95 96 97 98 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 151 153 158 171 173 176 178
a 6 8 11 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 71 75 80 84 85 88 89 91 95 96 97 98 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 151 158 171 173 176 178
a 6 8 11 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 68 71 75 80 84 85 88 89 91 95 96 97 98 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 158 171 173 176 178
a 6 8 11 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 68 71 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 158 171 173 176 178
a 6 8 11 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 68 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 117 119 120 126 127 129 130 133 134 136 142 143 144 148 149 150 158 171 173 176 178
a 6 8 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 68 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 117 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 158 171 173 176 178
a 6 8 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 68 71 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 149 150 158 171 173 176 178
a 6 8 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 68 71 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 150 153 158 171 173 176 178
a 6 14 15 16 18 20 24 26 37 40 42 43 45 47 49 50 51 58 59 61 63 67 68 69 71 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 150 153 158 171 173 176 178
a 6 14 16 18 20 24 26 37 40 42 43 45 46 47 49 50 51 58 59 61 63 67 68 69 71 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 145 148 150 153 158 171 173 176 178
a 6 14 15 16 18 20 24 26 37 40 42 43 45 46 47 49 50 51 58 59 61 63 67 68 69 71 75 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 150 153 158 171 173 176 178
a 6 14 15 16 18 20 24 26 37 40 42 43 45 46 47 49 50 51 58 59 61 63 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 150 153 158 171 173 176
a 6 14 15 16 18 20 24 26 37 40 42 43 45 46 47 50 51 58 59 61 63 67 68 69 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 150 153 158 171 173 176 178
a 6 14 15 16 18 20 24 26 37 40 42 43 45 46 47 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 150 153 158 171 173 176 178
a 6 11 14 15 16 18 20 24 26 37 40 42 43 45 46 47 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 95 96 97 106 108 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 150 153 158 171 173 176 178
a 6 11 14 16 18 20 24 26 37 40 42 43 45 46 47 49 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 95 96 97 106 108 109 113 115 119 120 126 127 129 130 133 134 136 142 143 144 148 150 153 158 171 173 176 178
a 6 11 14 16 18 20 24 26 37 40 42 43 45 46 47 49 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 95 96 97 106 108 109 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 158 173 176 178
a 6 11 14 16 18 20 24 26 37 40 42 43 45 46 47 49 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 173 176 178
a 6 11 14 16 18 20 24 26 37 40 42 43 45 46 47 49 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 158 173 176
a 6 11 14 16 18 20 24 26 37 40 42 43 46 47 49 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 158 173 176
a 6 11 14 16 18 20 24 37 40 42 43 46 47 49 50 51 58 59 61 63 67 68 69 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 158 173 176 178
a 6 11 14 15 16 18 20 24 37 40 42 43 46 47 49 50 51 58 59 61 63 68 69 71 75 78 80 82 85 88 89 91 95 96 97 106 108 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 158 173 176 178
a 6 11 14 15 16 18 20 24 37 40 42 43 46 47 49 50 51 58 59 61 63 68 69 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 153 158 173 176 178
a 6 11 14 15 16 18 20 24 37 40 42 43 46 47 49 50 51 58 59 61 63 69 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 151 153 158 173 176 178
a 6 11 14 15 16 18 20 24 37 40 42 43 46 47 49 50 51 58 59 61 63 67 69 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 151 153 158 173 178
a 6 11 14 15 16 18 20 22 24 37 40 42 43 46 47 49 50 51 58 59 61 63 67 69 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 150 151 153 158 173
a 6 11 14 15 16 18 20 22 24 37 40 42 43 46 47 49 50 51 58 59 61 63 67 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 153 158 173
a 6 11 14 15 16 18 20 22 24 37 40 42 43 46 47 49 50 51 58 59 61 63 64 67 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 153 173
a 6 11 14 15 16 18 20 22 24 37 40 42 46 47 49 50 51 58 59 61 63 64 67 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 153 158 173
a 6 11 14 15 16 18 20 22 24 37 40 42 46 47 49 50 51 58 59 61 63 64 67 71 75 78 80 82 84 85 88 89 91 95 96 97 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 158 173 178
a 6 11 14 15 16 18 20 22 24 37 40 42 46 47 49 50 51 58 59 61 63 64 67 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 158 173 178
a 6 11 14 15 16 18 20 22 24 37 40 42 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 158 173 178
a 6 11 14 15 16 18 20 21 22 24 37 40 42 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 148 149 150 151 158 173 178
a 6 11 14 15 16 18 20 21 22 24 37 40 42 47 49 50 51 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 158 173 178
a 11 14 15 16 18 20 21 22 24 26 37 40 42 47 49 50 51 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 158 173 178
a 11 14 15 16 18 20 21 22 24 26 37 40 42 47 49 50 51 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 127 129 130 133 134 136 139 142 143 144 148 149 150 151 158 172 173 178
a 11 14 15 16 18 20 21 22 24 26 37 40 42 47 49 50 51 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 142 143 144 148 149 150 151 158 172 173
a 6 11 14 15 16 18 20 21 22 24 26 37 40 42 47 49 50 51 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 139 143 144 148 149 150 151 158 172 173
a 6 11 14 15 16 18 20 21 22 24 26 37 40 42 43 47 49 50 51 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 143 144 148 149 150 151 158 172 173
a 6 11 14 15 16 18 20 21 22 24 26 37 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 119 120 126 127 129 130 133 134 136 143 144 148 149 150 151 158 172 173
a 6 11 14 15 16 18 20 21 22 24 26 28 37 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 119 120 126 127 129 130 133 134 136 143 144 148 150 151 158 172 173
a 6 11 14 15 16 18 20 21 22 24 26 28 37 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 120 126 127 129 130 133 134 136 143 144 148 150 151 158 173
a 6 11 14 15 16 18 19 20 21 22 24 26 28 37 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 143 144 148 150 151 158 173
a 6 11 14 15 18 19 20 21 22 24 26 28 37 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 143 144 148 150 151 158 173 178
a 6 11 14 15 18 19 20 21 22 24 26 28 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 143 144 148 150 151 158 172 173 178
a 6 14 15 18 19 20 21 22 24 26 28 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 143 144 145 148 150 151 158 172 173 178
a 6 14 15 18 19 20 21 22 24 26 28 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 143 144 145 148 150 151 158 173 176 178
a 6 14 15 18 19 20 21 22 24 26 28 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 145 148 150 151 158 173 176
a 6 14 15 18 19 20 21 22 24 26 28 40 42 43 47 49 50 51 58 59 61 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 145 148 150 151 158 173 178
a 6 14 15 18 19 20 21 22 24 26 28 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 145 148 150 151 158 173 178
a 6 14 15 18 19 20 21 22 24 26 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 145 148 150 151 158 173 176 178
a 6 14 15 18 19 20 21 22 24 26 28 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 150 151 158 173 176 178
a 6 14 15 16 18 19 20 21 22 24 26 28 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 150 151 158 173 176
a 6 14 15 16 18 19 21 22 24 26 28 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 150 151 158 173 176
a 6 14 15 16 18 19 21 22 24 26 28 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 150 151 158 172 173
a 6 14 15 16 18 19 21 22 24 26 28 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 151 158 172 173
a 6 14 15 16 18 19 20 21 22 24 26 28 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 95 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 151 158 173
a 6 14 15 16 18 19 20 21 22 24 26 28 30 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 151 158 173
a 6 11 14 15 18 19 20 21 22 24 26 28 30 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 151 158 173
a 6 11 14 15 18 19 20 21 22 24 26 28 30 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 143 144 148 151 172 173
a 6 11 14 15 18 19 20 21 22 24 26 28 30 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 151 172 173
a 6 11 14 15 18 19 20 21 22 24 26 28 30 37 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 96 100 106 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 151 172 173 178
a 6 11 14 15 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 81 82 84 85 88 89 91 96 100 106 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 151 172 173 177 178
a 6 11 14 15 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 172 173 177 178
a 6 11 14 15 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 58 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 172 173 177
a 6 11 12 14 15 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 172 173 177
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 172 173
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 172 177
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 172
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 65 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 172
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 65 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 65 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 151 158 176
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 65 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 151 158 178
a 6 11 12 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 65 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 158 177 178
a 6 11 12 14 15 16 18 19 20 21 22 24 28 30 40 42 43 47 49 51 59 61 62 63 64 65 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 119 126 127 129 130 133 134 136 139 142 143 144 148 158 173 177 178
a 6 11 12 14 15 16 18 19 20 21 22 24 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 158 173 177 178
a 6 11 12 14 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 158 173 177 178
a 6 11 12 14 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 150 158 173 178
a 6 11 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 59 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 150 158 173 178
a 6 11 14 15 16 18 19 20 21 22 24 26 28 30 40 42 43 47 49 51 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 150 158 167 173 178
a 6 11 14 15 16 18 19 20 21 22 24 26 30 40 42 43 47 49 51 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 167 173 178
a 6 11 12 14 15 16 18 19 20 21 22 24 26 30 40 42 43 47 49 51 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 167 178
a 6 11 12 14 15 16 18 19 20 21 22 24 26 30 40 42 43 47 49 51 61 62 63 64 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 136 139 142 143 144 148 150 151 158 167 176 178
a 4 6 11 12 14 15 16 18 19 20 21 22 24 26 30 40 42 43 47 49 51 61 62 63 64 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 151 158 167 176 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 30 40 42 43 46 47 49 51 61 62 63 64 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 151 158 167 176 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 30 40 42 43 46 47 49 51 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 151 158 167 176 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 30 40 42 43 46 47 49 51 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 142 143 144 148 150 151 158 167 176 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 30 40 42 46 47 49 51 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 151 158 167 176 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 30 40 42 43 46 47 49 51 61 62 63 64 67 69 71 75 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 151 158 167 176
a 4 6 11 12 14 15 16 18 19 20 22 24 26 30 40 42 43 46 47 49 51 61 62 63 64 67 69 71 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 151 158 167 173 176
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 40 42 43 46 47 49 51 61 62 63 64 67 69 71 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 158 167 173 176
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 78 80 82 84 85 88 89 91 96 100 106 109 110 113 115 119 126 127 129 130 133 134 139 142 143 144 148 150 158 167 173
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 134 139 141 142 143 144 148 150 158 167 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 64 67 68 69 71 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 64 67 68 69 71 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 133 134 139 141 142 143 144 148 150 167 173 178
a 4 6 11 12 14 15 16 18 19 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 64 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 133 134 139 141 142 143 144 148 150 167 173
a 4 6 12 14 15 16 18 19 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 126 127 129 130 133 134 139 141 142 143 144 148 150 167 173
a 4 6 12 14 15 16 18 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 167 173
a 4 6 14 15 16 18 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173
a 6 12 14 15 16 18 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 110 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173
a 4 6 12 14 15 16 18 20 22 24 26 28 30 37 40 42 43 46 47 49 51 61 62 63 64 67 68 69 71 75 80 82 84 85 88 89 91 96 100 106 110 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173
a 4 6 12 14 15 16 18 20 22 24 26 28 30 37 40 42 43 45 46 47 49 51 61 62 63 64 67 68 69 71 75 80 82 84 85 88 89 91 96 100 106 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173
a 4 6 12 14 15 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 63 64 67 68 69 71 75 80 82 84 85 88 89 91 96 100 106 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173 178
a 4 6 11 12 14 15 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 63 64 67 68 69 71 75 80 82 84 85 88 89 91 96 100 106 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173
a 4 6 11 14 15 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 63 64 67 68 69 71 75 80 82 84 85 88 89 91 96 100 106 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 167 173 178
a 4 6 11 14 15 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 63 64 67 68 69 71 75 80 82 84 85 88 89 91 96 100 106 113 115 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 167 173
a 4 6 11 14 15 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 63 64 65 67 68 69 71 75 80 82 84 85 88 89 91 96 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 167 173
a 4 6 11 14 15 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 63 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 173
a 4 6 11 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 173
a 4 6 11 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 113 119 120 126 127 129 130 133 134 139 142 143 144 148 150 158 164 167 173
a 4 6 11 12 14 15 16 18 20 22 24 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 113 119 120 126 127 129 130 133 134 139 142 143 144 148 150 158 164 167 173
a 4 6 11 12 14 15 16 18 20 22 24 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 82 84 85 88 89 91 96 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 167
a 4 6 11 12 14 15 16 18 20 22 24 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 167
a 4 6 11 12 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 150 158 164 167
a 4 6 11 12 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 150 158 164
a 4 6 11 12 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 150 164 173
a 4 6 11 12 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 150 164 176
a 4 6 11 12 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 150 164 173 176
a 4 6 11 12 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 150 164 167 173
a 4 11 12 14 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 150 164 167 173 176
a 4 6 11 12 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 150 164 167 173 176
a 4 6 11 12 15 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 150 164 167 173
a 4 6 11 12 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 150 164 167 173
a 4 6 11 12 16 18 20 22 24 26 27 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 164 167
a 4 6 11 12 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 167
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 96 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 98 100 106 113 119 120 126 127 129 130 133 134 139 141 142 143 144 148 150 158 164 176
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 98 100 106 113 119 120 121 126 127 129 130 133 134 139 141 142 143 144 150 158 164 176
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 61 62 63 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 98 100 106 113 119 120 121 126 127 129 130 133 134 139 141 142 143 144 150 158 176
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 61 62 63 64 65 67 68 69 71 75 78 80 83 84 85 88 89 91 95 98 100 106 113 119 120 121 126 127 129 130 134 139 141 142 143 144 150 158 176
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 98 100 106 113 119 120 121 126 127 129 130 134 139 141 142 143 144 150 158 176
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 98 100 106 113 119 120 121 126 127 129 130 134 139 140 141 142 143 144 158 176
a 4 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 68 69 71 75 78 80 84 85 88 89 91 95 98 100 106 109 113 119 120 121 126 127 129 130 134 139 140 142 143 144 158 176
a 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 68 69 71 75 78 80 81 84 85 88 89 91 95 98 100 106 109 113 119 120 121 126 127 129 130 134 139 140 142 143 144 158 176
a 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 68 69 71 75 78 80 81 84 85 88 89 91 95 98 100 102 106 109 113 119 120 121 126 127 129 130 139 140 142 143 144 158 176
a 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 68 69 71 75 78 80 81 82 84 85 88 89 91 95 100 102 106 109 113 119 120 121 126 127 129 130 139 140 142 143 144 158 176
a 6 11 12 14 16 18 20 22 24 26 28 37 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 84 85 88 89 91 95 100 102 106 109 113 119 120 121 126 127 129 130 139 140 142 143 144 151 158 176
a 6 11 12 14 16 18 20 22 24 26 28 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 84 85 88 89 91 95 100 102 106 109 113 119 120 121 126 127 129 130 139 140 142 143 144 151 158 176 177
a 6 11 12 14 15 16 18 20 22 24 26 28 40 42 43 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 84 85 89 91 95 100 102 106 109 113 119 120 121 126 127 129 130 139 140 142 143 144 151 158 176 177
a 6 11 12 14 15 16 18 20 22 24 26 28 40 42 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 84 85 89 91 95 100 102 106 109 113 119 120 121 126 127 129 130 139 140 142 143 144 151 158 176 177 179
a 6 11 12 14 15 16 18 20 22 24 26 28 40 42 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 84 85 89 91 95 100 102 106 109 113 119 120 121 126 127 129 130 139 140 142 144 151 158 170 176 177 179
a 6 11 12 14 15 16 18 20 22 24 26 28 40 42 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 113 119 120 121 126 127 129 130 139 140 142 144 151 158 170 176 177 179
a 6 11 12 14 15 16 18 20 22 24 26 40 42 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 112 113 119 120 121 126 127 129 130 139 140 142 144 151 158 170 176 177 179
a 6 10 11 12 14 15 16 18 20 22 26 40 42 45 46 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 112 113 119 120 121 126 127 129 130 139 140 142 144 151 158 170 176 177 179
a 6 10 11 12 14 15 16 18 20 22 26 40 42 45 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 112 113 119 120 121 126 127 129 130 139 140 142 144 151 158 170 175 176 177 179
a 6 10 11 12 14 15 16 18 20 26 40 42 45 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 112 113 119 120 121 125 126 127 129 130 139 140 142 144 151 158 170 175 176 177 179
a 6 10 11 12 14 15 16 18 20 26 40 42 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 110 112 113 119 120 121 125 126 127 129 130 139 140 142 144 151 158 170 175 176 177 179
a 6 10 11 12 14 15 16 18 19 20 26 40 42 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 110 112 113 119 121 125 126 127 129 130 139 140 142 144 151 158 170 175 176 177 179
a 6 10 11 12 14 15 16 18 19 20 40 42 47 49 51 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 110 112 113 119 121 125 126 127 129 130 139 140 142 144 151 158 166 170 175 176 177 179
a 6 10 11 12 14 15 16 18 19 20 40 42 47 49 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 110 112 113 119 121 125 126 127 129 130 139 140 142 144 151 158 166 169 170 175 176 177 179
a 6 10 11 12 14 15 16 18 19 20 40 42 47 49 53 59 61 62 63 64 65 67 69 71 75 78 80 81 82 85 89 91 95 100 102 106 108 109 110 112 113 119 121 125 126 127 129 130 139 140 144 149 151 158 166 169 170 175 176 177 179
a 6 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 64 65 67 69 71 75 77 78 80 81 82 85 89 91 95 100 102 106 108 109 110 112 113 119 121 125 126 127 129 130 139 140 144 149 151 158 166 169 170 175 176 177 179
a 6 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 64 65 66 67 69 71 75 77 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 125 126 127 129 130 139 140 144 149 151 158 166 169 170 175 176 177 179
a 6 10 11 12 14 15 16 18 19 20 40 42 49 53 59 61 62 63 64 66 67 69 71 75 77 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 139 140 144 149 151 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 18 19 20 40 42 53 59 61 62 63 64 66 67 69 71 75 77 78 80 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 139 140 144 149 151 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 18 19 20 40 42 53 59 61 62 63 64 66 67 69 71 75 77 78 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 139 140 144 149 151 156 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 64 66 67 69 71 77 78 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 139 140 144 149 151 156 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 64 66 67 71 77 78 81 82 85 89 91 95 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 139 140 144 147 149 151 156 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 139 140 144 147 149 151 156 158 166 169 170 175 176 177 179
a 6 7 10 11 12 14 15 16 17 18 19 20 40 42 53 59 61 62 63 66 67 71 77 78 81 82 85 89 91 95 97 102 106 108 109 110 112 113 119 121 124 125 126 127 129 130 140 144 147 149 151 156 158 166 169 170 171 175 176 177 179
c Step: 173
#END: [Mon Sep  4 22:24:21 2023]