#BEGIN: [Tue Sep 5 01:24:33 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest1 #INSTANCE1: /benchmark/random_instance/random_instance015_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance015_graph003_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_instance015_graph003.col /benchmark/random_instance/random_instance015_graph003_01.dat c /benchmark/random_instance/random_instance015_graph003.col c /benchmark/random_instance/random_instance015_graph003_01.dat TIMEOUT 1800 c send SIGTERM to CID 950bd2fac9a082a1a18a5d28be0537c8a3956727304b7f4adbbcf5fc809fd0e4 s 69 84 147 154 123 126 48 195 72 3 170 40 59 60 11 152 79 64 194 52 102 5 71 162 87 68 108 171 106 115 32 144 155 29 7 86 50 94 175 153 150 22 184 157 139 185 166 187 103 136 167 47 186 91 165 55 149 83 27 93 188 t 60 21 132 26 6 5 117 64 88 138 174 183 95 185 193 92 168 23 159 61 158 102 34 72 194 7 97 85 99 145 154 10 191 17 136 130 113 137 86 124 106 2 114 108 140 58 147 75 93 171 57 56 123 180 31 68 32 43 14 186 167 a YES a 3 5 7 11 22 27 29 32 40 47 48 50 52 55 59 60 64 68 69 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 123 126 136 139 144 147 149 150 152 153 154 155 157 162 165 166 167 170 171 175 184 185 186 187 188 194 195 a 3 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 69 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 123 126 136 139 144 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 194 195 a 3 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 194 195 a 3 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 84 86 87 91 93 94 102 103 106 108 115 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 194 195 a 3 5 7 11 21 22 27 29 32 40 47 50 52 55 59 60 64 68 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 194 195 a 3 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 194 195 a 3 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 175 184 185 186 187 188 194 195 a 3 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 194 a 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 194 a 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 188 194 a 3 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 194 a 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 194 195 a 5 7 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 194 195 a 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 184 185 186 187 194 195 a 5 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 184 185 186 187 188 194 195 a 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 184 185 186 187 188 195 a 5 7 11 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 155 162 165 166 167 170 171 175 184 185 186 187 188 195 a 5 7 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 155 162 165 166 167 170 171 175 184 185 186 188 195 a 5 7 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 155 162 165 166 167 170 171 175 184 185 186 187 188 a 5 7 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 a 5 7 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 185 186 187 188 a 5 7 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 185 186 187 a 5 7 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 a 5 7 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 186 188 a 5 7 11 21 22 27 29 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 188 a 5 11 21 22 27 29 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 194 a 5 11 21 22 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 194 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 186 187 194 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 186 187 188 194 a 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 186 187 188 192 194 a 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 192 194 a 14 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 192 a 14 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 192 a 11 14 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 a 11 14 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 188 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 188 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 188 194 a 11 21 22 27 29 32 34 40 47 48 50 52 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 188 194 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 113 115 116 118 123 126 136 139 144 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 188 194 a 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 188 194 a 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 188 a 11 22 27 29 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 188 a 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 188 a 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 188 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 188 a 5 11 21 22 27 29 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 188 a 5 11 21 22 27 29 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 a 5 11 21 22 27 29 34 40 47 48 50 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 188 a 5 11 21 22 27 29 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 188 a 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 188 a 5 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 188 a 5 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 188 a 5 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 188 a 5 11 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 a 5 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 187 a 5 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 a 5 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 a 5 11 22 27 29 32 34 40 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 a 5 11 22 27 29 32 34 40 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 187 a 5 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 154 162 165 166 167 168 170 171 175 184 185 186 187 a 5 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 171 175 184 185 186 187 a 5 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 187 a 5 11 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 a 5 11 22 27 29 32 34 40 47 48 50 52 55 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 a 5 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 185 186 a 5 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 a 5 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 170 171 175 184 186 a 5 22 27 29 32 34 40 47 48 50 52 55 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 a 5 22 27 29 34 40 47 48 50 52 55 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 168 170 171 175 184 186 188 a 5 22 27 29 34 40 47 48 50 52 55 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 170 171 175 184 186 188 192 a 5 22 27 29 32 34 40 47 48 50 52 55 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 113 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 162 165 166 167 170 171 175 184 186 188 a 5 22 27 29 32 34 40 47 48 50 52 55 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 186 188 a 5 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 186 188 a 5 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 186 a 5 22 27 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 a 5 22 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 a 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 a 22 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 192 a 22 27 29 32 34 40 47 48 50 52 55 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 127 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 192 a 5 22 27 29 32 34 40 47 48 50 52 55 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 192 a 5 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 192 a 5 21 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 185 186 192 a 5 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 185 186 a 5 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 a 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 a 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 186 a 21 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 a 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 a 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 185 186 192 a 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 139 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 192 a 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 192 a 1 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 192 a 1 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 a 1 21 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 a 1 21 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 a 1 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 a 1 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 a 1 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 187 a 1 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 184 185 187 188 a 1 21 22 27 29 32 34 40 47 48 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 184 185 186 187 188 a 1 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 184 185 186 187 a 1 21 22 27 29 32 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 a 21 22 27 29 32 34 40 47 48 50 52 55 59 60 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 a 21 22 27 29 32 34 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 a 1 21 22 27 29 32 34 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 a 1 21 22 27 29 32 34 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 a 1 21 22 27 29 32 34 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 171 173 175 184 185 186 188 a 1 21 27 29 32 34 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 188 a 1 21 22 27 29 32 34 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 102 103 106 108 111 115 116 118 123 126 136 144 145 147 148 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 188 a 1 21 22 27 29 32 34 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 103 106 108 111 115 116 118 123 126 136 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 188 a 1 21 22 27 29 32 34 40 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 103 106 108 111 115 116 118 123 126 136 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 a 1 14 21 22 27 29 32 34 40 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 123 126 136 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 175 184 185 186 187 188 a 1 14 21 22 27 29 32 34 40 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 106 108 111 115 118 123 126 136 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 188 a 1 14 21 22 27 29 32 34 40 48 50 52 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 123 126 136 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 188 a 1 14 21 22 27 29 32 34 40 47 48 50 52 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 123 126 136 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 188 a 1 14 21 22 27 29 32 34 40 47 48 50 52 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 123 126 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 188 a 14 21 22 27 29 32 34 40 47 48 50 52 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 123 126 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 188 a 14 21 22 27 29 32 34 39 40 47 48 50 52 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 126 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 188 a 14 22 27 29 32 34 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 126 139 144 145 147 149 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 188 a 14 21 22 27 29 32 34 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 126 139 144 145 147 149 150 152 153 154 155 162 166 167 170 171 173 175 184 185 186 188 a 14 21 22 27 29 32 34 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 103 106 108 111 115 116 118 126 139 144 145 147 149 150 152 153 154 155 162 166 167 170 173 175 184 185 186 188 a 14 21 22 27 29 32 34 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 103 106 108 111 115 116 118 126 139 144 145 147 150 152 153 154 155 162 165 166 167 170 173 175 184 185 186 188 a 14 21 22 27 29 32 34 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 103 106 108 111 115 116 118 126 136 139 145 147 150 152 153 154 155 162 165 166 167 170 173 175 184 185 186 188 a 14 21 22 27 29 32 34 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 103 106 108 111 115 116 118 126 136 139 145 147 150 152 153 154 155 162 165 166 167 170 173 175 184 185 186 187 188 a 14 21 22 27 29 32 34 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 126 132 136 139 145 147 150 152 153 154 155 162 165 166 167 170 173 175 184 185 186 187 188 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 106 108 115 116 118 126 132 136 139 145 147 150 152 153 154 155 162 165 166 167 170 173 175 184 185 186 187 188 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 83 84 86 87 89 91 93 94 101 102 106 108 115 116 118 126 132 136 139 145 147 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 187 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 115 116 118 126 132 136 139 145 147 150 152 153 154 155 162 165 166 167 170 171 173 175 184 185 186 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 115 116 118 126 132 136 139 145 147 150 152 153 154 155 162 165 166 167 170 171 173 175 185 186 188 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 126 132 136 139 145 147 150 152 153 154 162 165 166 167 170 171 173 175 185 186 188 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 126 132 136 139 145 147 150 152 153 154 155 162 165 166 167 170 171 173 175 185 186 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 106 108 111 115 116 118 126 132 136 139 144 145 147 150 152 153 154 155 162 165 167 170 171 173 175 185 186 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 79 80 83 84 86 87 89 91 93 94 101 102 103 106 108 111 115 118 126 132 136 139 144 145 147 150 152 153 154 155 162 165 167 170 171 173 175 185 186 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 80 83 84 86 87 89 91 93 94 95 101 102 103 106 108 111 115 118 126 132 136 139 144 145 147 150 152 153 154 155 162 165 167 170 171 173 175 185 186 a 14 21 22 27 29 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 80 83 84 86 87 89 91 93 94 95 101 102 103 106 108 111 115 118 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 173 175 185 186 a 14 21 22 27 29 31 32 34 37 39 40 47 48 50 52 55 60 61 64 68 71 72 73 80 83 84 86 87 89 91 93 94 95 101 102 106 108 111 115 118 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 173 175 185 186 a 14 21 22 27 29 31 32 34 37 40 47 48 50 52 55 60 61 64 68 71 72 73 80 83 84 86 87 89 91 93 94 95 101 102 106 108 111 115 118 123 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 173 175 185 186 a 7 14 21 22 27 29 31 32 34 37 40 47 48 50 52 55 60 61 64 68 71 72 73 80 83 84 86 87 89 91 93 94 95 101 102 106 108 111 115 118 123 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 173 185 186 a 7 14 21 22 27 29 31 32 34 37 40 47 48 50 52 55 60 61 64 68 71 72 73 80 83 86 87 89 91 93 94 95 101 102 106 108 111 115 118 123 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 173 185 186 191 a 7 14 21 22 27 29 31 32 34 37 40 47 48 50 52 55 60 61 64 68 71 72 73 80 83 86 87 89 91 93 94 95 101 102 106 108 111 113 115 118 123 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 185 186 191 a 7 14 21 22 27 29 31 32 34 37 40 47 48 50 55 60 61 64 68 71 72 73 80 83 86 87 89 91 93 94 95 101 102 106 108 111 113 115 118 123 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 185 186 191 193 a 7 14 21 22 27 29 31 32 34 37 40 48 50 55 57 60 61 64 68 71 72 73 80 83 86 87 89 91 93 94 95 101 102 106 108 111 113 115 118 123 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 185 186 191 193 a 5 7 14 21 22 27 29 31 32 34 37 40 48 50 55 57 60 61 64 68 71 72 73 80 83 86 87 89 91 93 94 95 102 106 108 111 113 115 118 123 126 132 136 139 144 145 147 150 152 153 154 162 165 167 168 170 171 185 186 191 193 a 5 7 14 21 22 27 29 31 32 34 40 48 50 55 57 60 61 64 68 71 72 73 80 83 86 87 89 91 93 94 95 102 106 108 111 113 115 118 123 126 132 136 139 144 145 147 150 152 153 154 159 162 165 167 168 170 171 185 186 191 193 a 5 7 14 21 22 27 29 31 32 34 40 48 50 57 60 61 64 68 71 72 73 80 83 85 86 87 89 91 93 94 95 102 106 108 111 113 115 118 123 126 132 136 139 144 145 147 150 152 153 154 159 162 165 167 168 170 171 185 186 191 193 a 5 7 14 21 22 27 29 31 32 34 40 48 50 57 60 61 64 68 71 72 73 80 83 85 86 87 89 91 93 94 95 102 106 108 111 113 115 118 123 126 132 136 140 144 145 147 150 152 153 154 159 162 165 167 168 170 171 185 186 191 193 a 5 7 14 21 22 27 29 31 32 34 40 48 50 57 60 61 64 68 71 72 73 80 83 85 86 87 89 91 93 94 95 102 106 108 113 115 118 123 126 132 136 140 144 145 147 150 152 153 154 159 162 165 167 168 170 171 185 186 191 193 194 a 5 7 14 21 22 27 29 31 32 34 40 48 50 57 60 61 64 68 71 72 73 80 83 85 86 87 89 91 93 94 95 102 106 108 113 115 118 123 124 126 132 136 140 144 145 147 150 152 153 154 159 162 165 167 168 171 185 186 191 193 194 a 5 7 14 21 22 27 29 31 32 34 40 48 50 57 58 60 61 64 68 71 72 73 80 83 85 86 87 89 91 93 95 102 106 108 113 115 118 123 124 126 132 136 140 144 145 147 150 152 153 154 159 162 165 167 168 171 185 186 191 193 194 a 5 7 14 21 22 27 29 31 32 34 48 50 57 58 60 61 64 68 71 72 73 80 83 85 86 87 89 91 93 95 102 106 108 113 115 117 118 123 124 126 132 136 140 144 145 147 150 152 153 154 159 162 165 167 168 171 185 186 191 193 194 a 5 7 14 21 22 27 29 31 32 34 48 50 57 58 60 61 64 68 71 72 73 80 83 85 86 87 89 91 93 95 102 106 108 113 115 117 118 123 124 126 132 136 138 140 144 145 147 150 152 153 154 159 165 167 168 171 185 186 191 193 194 a 5 7 14 21 22 27 29 31 32 34 48 50 57 58 60 61 64 68 71 72 73 80 83 85 86 87 89 93 95 102 106 108 113 115 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 159 165 167 168 171 185 186 191 193 194 a 5 7 14 21 22 27 29 31 32 34 43 48 50 57 58 60 61 64 68 71 72 73 80 83 85 86 87 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 159 165 167 168 171 185 186 191 193 194 a 5 7 14 21 22 29 31 32 34 43 48 50 57 58 60 61 64 68 71 72 73 80 83 85 86 87 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 159 165 167 168 171 174 185 186 191 193 194 a 5 7 14 21 22 29 31 32 34 43 48 57 58 60 61 64 68 71 72 73 80 83 85 86 87 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 158 159 165 167 168 171 174 185 186 191 193 194 a 5 7 14 21 22 23 29 31 32 34 43 48 57 58 60 61 64 68 71 72 73 80 83 85 86 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 158 159 165 167 168 171 174 185 186 191 193 194 a 5 7 14 17 21 22 23 31 32 34 43 48 57 58 60 61 64 68 71 72 73 80 83 85 86 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 158 159 165 167 168 171 174 185 186 191 193 194 a 5 7 14 17 21 23 26 31 32 34 43 48 57 58 60 61 64 68 71 72 73 80 83 85 86 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 158 159 165 167 168 171 174 185 186 191 193 194 a 5 7 14 17 21 23 26 31 32 34 43 48 57 58 60 61 64 68 71 72 73 80 83 85 86 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 153 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 7 14 17 21 23 26 31 32 34 43 48 57 58 60 61 64 68 71 72 73 80 83 85 86 88 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 138 140 144 145 147 150 152 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 7 14 17 21 23 26 31 32 34 43 48 57 58 60 61 64 68 71 72 80 83 85 86 88 89 93 95 102 106 108 113 117 118 123 124 126 130 132 136 137 138 140 144 145 147 150 152 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 7 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 71 72 80 83 85 86 88 93 95 102 106 108 113 117 118 123 124 126 130 132 136 137 138 140 144 145 147 150 152 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 7 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 71 72 80 83 85 86 88 93 95 97 102 106 108 113 117 123 124 126 130 132 136 137 138 140 144 145 147 150 152 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 7 10 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 71 72 80 83 85 86 88 93 95 97 102 106 108 113 117 123 124 126 130 132 136 137 138 140 144 145 147 152 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 7 10 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 71 72 80 83 85 86 88 92 93 95 97 102 106 108 113 117 123 124 126 130 132 136 137 138 140 145 147 152 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 6 7 10 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 71 72 80 83 85 86 88 92 93 95 97 102 106 108 113 117 123 124 126 130 132 136 137 138 140 145 147 154 158 159 167 168 171 174 180 185 186 191 193 194 a 5 6 7 10 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 71 72 75 80 85 86 88 92 93 95 97 102 106 108 113 117 123 124 126 130 132 136 137 138 140 145 147 154 158 159 167 168 171 174 180 185 186 191 193 194 a 2 5 6 7 10 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 72 75 80 85 86 88 92 93 95 97 102 106 108 113 117 123 124 126 130 132 136 137 138 140 145 147 154 158 159 167 168 171 174 180 185 186 191 193 194 a 2 5 6 7 10 14 17 21 23 26 31 32 34 43 48 56 57 58 60 61 64 68 72 75 85 86 88 92 93 95 97 99 102 106 108 113 117 123 124 126 130 132 136 137 138 140 145 147 154 158 159 167 168 171 174 180 185 186 191 193 194 a 2 5 6 7 10 14 17 21 23 26 31 32 34 43 56 57 58 60 61 64 68 72 75 85 86 88 92 93 95 97 99 102 106 108 113 117 123 124 126 130 132 136 137 138 140 145 147 154 158 159 167 168 171 174 180 183 185 186 191 193 194 a 2 5 6 7 10 14 17 21 23 26 31 32 34 43 56 57 58 60 61 64 68 72 75 85 86 88 92 93 95 97 99 102 106 108 113 114 117 123 124 130 132 136 137 138 140 145 147 154 158 159 167 168 171 174 180 183 185 186 191 193 194 c Step: 180 #END: [Tue Sep 5 01:54:33 2023]