#BEGIN: [Tue Sep 26 07:40:32 2023] #HOST: s09 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: longest-wallclock-banbaralab-longest2 #INSTANCE1: /benchmark/random_instance/random_instance015_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance015_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest -t4 /benchmark/random_instance/random_instance015_graph001.col /benchmark/random_instance/random_instance015_graph001_01.dat c /benchmark/random_instance/random_instance015_graph001.col c /benchmark/random_instance/random_instance015_graph001_01.dat TIMEOUT 1800 c send SIGTERM to CID 6df4e1187e785fc2c6378b1312e8b2c3d8a47939e0e0a977939aa2052500780f s 118 88 55 106 140 150 171 50 168 98 73 131 156 134 11 127 82 70 176 21 108 56 80 65 139 59 30 123 84 36 166 61 79 147 13 14 158 41 126 191 78 26 195 99 114 100 45 102 54 3 42 10 121 162 53 40 24 27 105 179 18 170 t 68 78 93 71 10 8 92 148 50 127 46 167 152 112 13 188 80 30 192 87 187 77 191 76 1 63 118 58 154 165 164 6 70 193 45 88 7 190 42 113 98 32 40 84 35 27 178 60 153 124 61 25 185 11 140 179 115 173 96 20 91 69 a YES a 3 10 11 13 14 18 21 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 108 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 166 168 170 171 176 179 191 195 a 3 6 10 11 13 14 18 21 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 166 168 170 171 176 179 191 195 a 3 6 10 11 13 14 18 21 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 164 166 168 170 171 176 179 195 a 3 6 10 11 13 14 17 18 21 24 26 27 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 131 134 139 140 147 150 156 158 162 164 166 168 170 171 176 179 195 a 3 6 10 11 14 17 18 21 24 26 27 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 131 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 179 195 a 3 6 10 11 14 17 18 21 24 26 27 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 131 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 a 3 6 10 11 14 18 21 24 26 27 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 131 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 a 3 6 10 11 14 18 21 24 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 a 6 10 11 14 18 21 24 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 195 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 195 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 105 106 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 195 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 61 65 70 73 77 78 79 80 82 84 87 88 98 99 100 102 105 106 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 177 179 195 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 61 65 70 73 77 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 170 171 177 179 195 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 77 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 121 123 126 127 134 140 143 147 150 156 158 162 164 166 170 171 177 179 195 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 77 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 121 123 125 126 127 134 140 143 147 150 156 158 162 164 166 170 171 177 179 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 121 123 125 126 127 134 140 143 147 150 156 158 162 164 166 170 171 176 177 179 a 3 6 10 11 14 18 21 24 26 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 121 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 170 171 176 177 179 a 3 6 10 11 14 18 21 24 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 121 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 170 171 176 179 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 170 171 176 179 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 170 171 176 177 a 3 6 10 11 14 18 21 24 25 26 27 28 30 31 36 40 41 42 45 50 53 54 55 56 59 61 65 70 78 79 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 170 171 176 177 a 3 6 10 11 14 18 21 24 25 26 27 28 30 31 36 40 41 42 45 50 53 54 55 56 59 61 65 70 78 79 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 170 171 176 177 179 a 3 6 10 11 14 18 21 24 25 26 27 28 30 31 36 40 41 42 45 50 53 54 55 56 59 61 70 78 79 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 167 170 171 176 177 179 a 3 6 10 11 14 18 21 24 25 26 27 28 30 31 36 40 41 42 45 50 53 54 55 56 59 61 70 78 79 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 170 171 176 177 179 195 a 3 6 10 11 14 18 21 24 25 26 27 28 30 31 36 40 41 42 45 50 53 54 55 56 59 66 70 78 79 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 170 171 176 177 179 195 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 66 70 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 170 171 176 177 179 195 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 66 70 73 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 170 171 176 177 195 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 65 66 70 73 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 170 171 177 195 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 170 171 177 195 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 177 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 177 195 a 3 6 10 11 14 18 21 24 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 177 195 a 3 6 10 11 14 18 21 25 26 27 28 30 36 40 41 42 45 50 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 177 195 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 177 195 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 164 166 168 170 171 177 179 195 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 80 82 84 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 164 166 168 170 171 176 177 179 195 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 40 41 42 45 53 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 164 166 168 170 171 176 177 179 195 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 41 42 45 53 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 195 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 195 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 179 a 3 6 10 11 14 17 18 21 25 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 103 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 a 3 6 10 11 14 17 18 21 24 25 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 88 98 99 100 102 103 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 176 177 a 3 6 10 11 14 17 18 21 24 25 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 103 106 110 114 118 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 176 177 a 3 6 10 11 14 17 18 21 24 26 27 28 30 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 176 177 a 3 6 10 11 14 17 18 21 24 26 27 28 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 177 a 3 6 10 11 14 17 18 21 24 26 27 28 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 80 82 84 87 88 98 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 184 a 3 6 10 11 14 17 18 21 24 26 27 28 31 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 82 84 87 88 98 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 184 a 3 6 10 11 14 17 18 21 22 24 26 27 28 31 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 82 84 87 88 98 99 100 102 103 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 184 a 3 6 10 11 14 17 18 21 22 24 26 27 28 31 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 82 84 87 88 98 99 100 102 103 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 195 a 3 6 10 11 14 17 18 21 24 26 27 28 31 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 82 84 87 88 98 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 195 a 3 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 55 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 195 a 3 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 190 195 a 3 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 177 179 190 195 a 3 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 181 190 195 a 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 124 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 181 190 195 a 6 10 11 14 17 18 21 22 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 110 114 118 121 123 124 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 181 190 195 a 6 10 11 14 17 18 21 22 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 110 114 118 121 123 124 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 181 184 195 a 6 10 11 14 17 18 21 22 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 110 114 118 121 123 124 125 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 181 184 a 6 10 11 14 17 18 21 22 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 110 114 118 121 123 124 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 181 184 195 a 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 124 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 181 184 195 a 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 124 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 184 190 195 a 3 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 184 190 195 a 3 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 56 59 61 65 70 73 79 82 84 87 88 99 100 102 103 106 110 114 118 119 121 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 184 190 195 a 3 6 10 11 14 17 18 21 24 26 27 28 30 31 36 40 41 42 45 53 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 103 106 110 114 118 121 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 184 190 195 a 3 6 10 11 14 17 18 21 24 25 26 27 28 30 31 36 40 41 42 45 53 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 103 106 110 114 118 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 184 190 195 a 3 6 10 11 14 17 18 21 24 25 26 27 28 30 31 36 40 41 42 45 53 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 176 177 179 184 190 195 a 3 6 10 11 14 17 18 21 24 25 26 27 28 30 31 36 40 41 42 45 53 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 184 195 a 3 6 10 11 14 17 18 21 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 156 158 162 164 168 170 171 176 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 142 143 147 150 156 158 162 164 166 168 171 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 42 45 53 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 142 143 147 150 156 158 162 164 166 168 171 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 177 179 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 177 179 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 176 179 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 179 190 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 190 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 78 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 171 176 195 a 3 6 10 14 17 18 21 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 195 a 3 6 10 14 17 18 21 22 23 24 25 26 27 28 30 31 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 166 168 170 171 176 195 a 3 6 10 14 17 18 21 22 23 24 25 26 27 28 30 31 33 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 195 a 3 6 10 14 17 18 21 22 23 24 25 26 27 28 30 31 33 36 40 41 42 45 53 54 55 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 195 a 3 6 10 14 17 18 21 22 23 24 25 26 27 28 30 31 33 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 190 195 a 3 6 10 14 17 18 21 22 23 24 25 26 27 28 30 31 33 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 184 190 a 3 6 10 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 42 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 152 156 158 162 164 168 170 171 184 190 a 3 6 10 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 45 53 54 56 59 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 152 156 158 162 164 168 170 171 184 190 195 a 3 5 6 10 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 45 53 54 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 123 125 126 127 134 139 140 143 147 150 152 156 158 162 164 168 170 171 184 190 195 a 3 4 5 6 10 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 45 53 54 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 123 125 126 127 134 139 140 143 147 150 152 156 158 162 164 168 170 171 184 190 195 a 3 4 5 6 10 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 45 53 54 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 170 171 176 184 190 195 a 3 4 5 6 10 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 45 53 54 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 184 188 190 195 a 3 4 5 6 10 14 17 18 21 22 23 26 27 28 30 31 33 36 40 41 45 53 54 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 121 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 184 188 190 195 a 3 5 6 10 14 17 18 21 22 23 26 27 28 30 31 33 36 40 41 45 53 54 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 121 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 14 17 18 21 22 23 26 27 28 30 31 33 36 40 41 45 53 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 119 121 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 45 53 56 61 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 119 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 22 23 25 26 27 28 30 31 33 36 40 41 45 53 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 119 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 22 23 26 27 28 30 31 33 36 40 41 45 53 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 119 121 123 125 126 127 134 139 140 143 147 150 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 22 23 26 27 28 30 31 33 36 40 41 45 53 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 119 121 123 125 126 127 134 139 140 143 150 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 22 23 26 28 30 31 33 36 40 41 45 53 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 119 121 123 125 126 127 134 139 140 143 150 155 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 22 23 26 28 30 31 33 36 40 41 45 52 53 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 119 121 123 125 127 134 139 140 143 150 155 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 22 23 26 28 30 31 33 36 40 41 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 121 123 125 127 134 139 140 143 150 155 156 158 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 22 23 26 28 30 31 33 36 40 41 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 33 36 40 41 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 168 171 176 179 184 188 190 195 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 33 36 40 41 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 168 171 176 177 179 184 188 190 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 33 36 40 41 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 168 170 171 176 177 179 184 188 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 33 36 40 41 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 106 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 166 168 170 171 176 177 179 188 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 33 36 40 41 44 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 166 168 170 171 176 177 179 188 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 33 36 40 41 44 45 52 53 54 56 65 70 73 79 82 84 87 88 94 99 100 102 105 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 166 168 170 171 176 177 179 195 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 36 40 41 44 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 99 100 102 105 110 114 118 121 125 127 134 139 140 143 150 155 156 158 160 162 164 166 168 170 171 176 177 179 195 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 36 40 41 44 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 99 100 102 105 110 114 118 121 123 125 127 134 139 140 143 150 155 156 158 162 164 166 168 170 171 176 177 179 195 a 3 5 6 10 12 14 17 18 21 23 26 28 30 31 36 40 41 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 98 99 100 102 105 110 114 118 121 123 125 127 134 139 140 143 150 155 156 158 162 164 166 168 170 171 176 177 179 195 a 3 5 6 10 12 14 17 21 23 26 28 30 31 36 40 41 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 98 99 100 102 105 106 110 114 118 121 123 125 127 134 139 140 143 150 155 156 158 162 164 166 168 170 171 176 177 179 195 a 3 5 6 10 14 17 21 23 26 28 30 31 36 40 41 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 98 99 100 102 105 106 110 114 118 121 123 125 127 134 139 140 143 150 155 156 158 162 164 166 168 170 171 176 177 179 188 195 a 3 5 6 10 14 17 18 21 23 26 28 30 31 36 40 41 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 98 99 100 102 105 106 110 114 118 121 123 125 127 134 139 140 143 150 155 156 158 162 164 166 168 170 171 176 177 179 188 a 3 5 6 10 14 17 18 21 23 26 28 30 31 36 40 41 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 98 99 100 102 105 106 110 114 118 121 123 125 127 130 134 139 140 143 150 155 156 158 162 164 166 168 170 176 177 179 188 a 3 5 6 10 14 17 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 65 70 73 78 79 82 84 87 88 94 98 99 100 102 105 106 110 114 118 121 123 125 127 130 134 139 140 143 150 155 156 158 162 164 166 168 170 176 177 179 a 3 5 6 10 14 17 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 61 65 70 73 78 79 82 84 87 88 94 98 99 100 102 105 106 110 114 118 121 123 125 127 130 134 139 140 143 150 155 156 158 162 164 166 168 170 176 177 a 3 5 6 10 12 14 17 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 61 65 70 73 78 79 82 84 87 88 94 98 99 100 102 106 110 114 118 121 123 125 127 130 134 139 140 143 150 155 156 158 162 164 166 168 170 176 177 a 3 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 61 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 118 121 123 125 127 130 134 139 140 143 150 155 156 158 162 164 166 168 170 176 177 a 3 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 130 134 139 140 143 150 155 156 158 162 164 166 168 170 176 177 a 3 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 130 134 139 140 143 150 155 156 158 159 162 164 166 168 170 176 a 3 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 176 a 3 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 194 a 3 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 50 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 a 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 50 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 a 5 6 10 12 14 18 21 23 24 26 28 30 31 36 40 41 45 50 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 194 a 5 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 106 110 114 121 123 125 127 134 139 140 143 150 152 154 155 156 158 159 162 164 166 168 170 194 a 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 154 155 156 158 159 162 164 166 168 170 194 a 3 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 61 64 65 70 73 78 79 82 84 87 88 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 194 a 3 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 61 64 65 70 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 194 a 3 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 70 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 194 a 3 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 186 194 a 3 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 138 139 143 150 152 155 156 158 159 162 164 166 168 170 186 194 a 3 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 138 139 143 150 152 155 156 158 159 162 164 166 168 170 188 194 a 3 5 6 10 12 14 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 138 139 143 150 152 155 156 158 159 162 164 166 168 170 188 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 138 139 143 150 152 155 156 158 159 162 164 166 168 170 188 193 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 188 193 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 186 193 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 130 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 186 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 45 50 52 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 171 186 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 45 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 126 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 171 186 a 2 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 106 110 114 121 123 125 126 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 171 186 a 2 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 110 114 121 123 125 126 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 171 186 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 110 114 121 123 125 126 127 134 139 140 143 150 152 155 156 158 159 162 164 166 168 170 171 177 186 a 3 5 6 10 12 18 21 23 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 110 114 121 125 126 127 134 139 140 143 150 152 155 156 158 159 160 162 164 166 168 170 171 177 186 a 3 5 6 10 12 18 21 23 24 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 110 114 121 125 126 127 134 139 140 143 150 155 156 158 159 160 162 164 166 168 170 171 177 186 a 3 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 98 99 100 102 105 110 114 125 126 127 134 139 140 143 150 155 156 158 159 160 162 164 166 168 170 171 177 186 a 3 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 134 139 140 143 150 155 156 158 159 160 162 164 166 168 170 171 177 186 193 a 3 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 134 139 140 143 150 155 156 158 159 160 162 164 166 168 170 171 177 188 193 a 3 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 64 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 123 125 126 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 177 188 193 a 3 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 123 125 126 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 177 179 188 193 a 3 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 123 125 126 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 177 188 193 a 3 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 123 125 126 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 177 188 195 a 2 3 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 123 125 126 127 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 188 195 a 2 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 123 125 126 127 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 188 195 a 2 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 188 193 195 a 2 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 186 193 195 a 2 4 5 6 12 18 21 22 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 186 193 195 a 2 4 5 6 12 18 21 22 23 24 25 26 28 30 31 36 40 41 44 50 53 54 56 65 66 70 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 193 195 a 2 4 5 6 12 18 21 22 23 24 25 26 28 30 31 36 40 44 50 53 54 56 65 66 70 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 193 195 a 2 4 5 6 10 12 18 21 22 23 24 25 26 28 30 31 36 40 44 50 53 54 56 65 66 70 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 195 a 2 4 5 6 10 12 18 21 22 23 24 25 26 28 30 31 36 40 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 186 195 a 4 5 6 10 12 18 21 22 23 24 25 26 28 30 31 36 40 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 154 155 156 158 159 162 164 166 168 170 171 186 193 195 a 4 5 6 10 12 18 21 22 23 24 25 26 28 30 31 36 40 44 50 53 54 56 65 66 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 176 186 193 195 a 4 5 6 10 12 18 21 22 23 24 25 26 28 30 31 36 40 44 50 53 54 56 61 65 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 176 186 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 44 50 53 54 55 56 61 65 73 78 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 176 186 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 44 50 53 54 55 56 61 65 73 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 176 177 186 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 61 65 73 79 82 84 86 87 94 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 155 156 158 159 162 164 166 168 170 171 176 177 186 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 61 65 73 79 82 84 86 87 97 99 100 102 105 110 114 125 126 127 129 134 139 140 143 150 155 156 158 159 160 162 164 166 168 170 171 176 177 186 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 61 65 73 79 82 84 86 87 97 99 100 102 105 110 114 115 125 126 127 129 134 139 140 143 150 155 156 158 159 160 164 166 168 170 171 176 177 186 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 61 65 73 79 82 84 86 87 97 99 100 102 105 110 114 115 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 164 166 168 170 171 177 186 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 61 65 70 73 79 82 84 86 87 97 99 100 102 105 110 114 115 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 164 166 168 170 171 177 193 195 a 4 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 61 65 70 73 79 82 84 86 87 97 99 100 102 105 110 114 115 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 163 164 166 168 170 171 177 195 a 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 61 65 70 73 79 82 84 86 87 97 99 100 102 105 110 114 115 118 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 163 164 166 168 170 171 177 195 a 5 6 10 12 18 21 23 24 25 26 28 30 31 36 40 42 50 53 54 55 56 60 61 65 70 73 79 82 84 87 97 99 100 102 105 110 114 115 118 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 163 164 166 168 170 171 177 195 a 5 6 10 12 18 21 22 23 24 25 26 28 30 31 36 40 42 50 54 55 56 60 61 65 70 73 79 82 84 87 97 99 100 102 105 110 114 115 118 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 163 164 166 168 170 171 177 195 a 5 6 10 12 18 21 22 23 24 25 26 28 30 31 36 40 42 50 54 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 115 118 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 163 164 166 170 171 177 195 a 5 6 10 12 18 21 22 23 24 26 28 30 31 36 40 42 50 54 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 115 118 121 125 126 127 129 134 139 140 143 150 154 155 156 158 159 160 163 164 166 170 171 177 195 a 5 6 10 12 18 21 22 23 24 26 28 30 31 36 40 42 50 54 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 115 118 121 125 126 127 129 130 134 139 140 143 150 154 155 156 158 159 160 163 164 166 170 177 195 a 5 6 10 12 18 21 22 23 24 26 28 30 31 32 36 40 42 50 54 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 118 121 125 126 127 129 130 134 139 140 143 150 154 155 156 158 159 160 163 164 166 170 177 195 a 5 6 10 12 18 21 22 23 24 26 28 30 31 32 36 40 42 50 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 118 119 121 125 126 127 129 130 134 139 140 143 150 154 155 156 158 159 160 163 164 166 170 177 195 a 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 118 119 121 125 126 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 195 a 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 54 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 118 121 125 126 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 195 a 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 54 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 118 121 125 126 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 193 a 5 6 12 18 21 22 23 26 28 30 31 32 36 40 42 50 54 55 56 60 61 65 68 70 72 73 79 82 84 87 97 99 100 102 105 110 114 118 121 125 126 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 193 a 5 6 12 18 21 22 23 26 28 30 31 32 36 40 42 50 55 56 60 61 65 68 70 72 73 79 82 84 87 97 99 100 102 105 110 114 118 119 121 125 126 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 193 a 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 118 119 121 125 126 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 193 a 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 118 119 121 125 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 193 a 4 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 193 a 1 4 5 6 10 12 18 21 22 23 28 30 31 32 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 143 150 152 154 155 156 158 159 160 163 164 166 170 177 193 a 1 4 5 6 10 12 18 21 22 23 28 30 31 32 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 156 158 159 160 163 164 166 177 193 a 4 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 156 158 159 160 163 164 166 177 193 a 4 5 6 10 12 18 21 22 23 26 28 30 31 32 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 156 158 160 162 163 164 166 177 193 a 4 5 6 10 12 18 21 22 26 28 30 31 32 33 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 156 158 160 162 163 164 166 177 193 a 4 5 6 10 12 18 21 22 26 28 30 31 32 33 36 40 42 50 52 55 56 60 61 65 68 70 73 79 82 84 87 88 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 156 158 160 162 163 164 166 177 a 4 5 6 10 12 18 21 22 26 28 30 31 32 33 36 40 42 50 52 55 56 60 61 68 70 73 77 79 82 84 87 88 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 156 158 160 162 163 164 166 177 a 4 5 6 10 12 18 21 22 26 28 30 31 32 33 36 40 42 50 52 55 56 60 61 68 70 73 77 79 82 84 87 88 92 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 158 160 162 163 164 166 177 a 4 5 6 10 12 18 21 22 26 28 30 31 32 33 36 40 42 50 52 55 60 61 68 70 73 77 79 82 84 87 88 89 92 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 158 160 162 163 164 166 177 a 1 4 5 6 10 12 18 21 22 28 30 31 32 33 36 40 42 50 52 55 60 61 68 70 73 77 79 82 84 87 88 89 92 97 99 100 102 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 158 160 162 163 164 166 177 a 1 4 5 6 10 12 18 21 22 28 30 31 32 33 36 40 42 50 52 55 60 61 64 68 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 158 160 162 163 164 166 177 a 1 4 5 6 10 12 18 21 22 28 30 31 32 33 34 36 40 42 50 52 55 60 61 64 68 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 121 125 127 129 130 134 139 140 142 143 150 152 154 155 160 162 163 164 166 177 a 1 4 5 6 10 12 18 21 22 28 30 31 32 33 34 36 40 42 50 52 55 60 61 63 64 68 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 121 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 166 177 a 1 4 5 6 10 12 18 20 21 22 28 30 31 32 33 34 36 40 42 50 52 55 60 61 63 64 68 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 121 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 166 a 1 4 5 6 10 12 18 20 21 22 25 28 30 31 32 33 34 36 40 42 50 52 55 60 61 63 64 68 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 166 a 1 5 6 10 12 18 20 21 22 25 28 30 31 32 33 34 36 40 42 45 50 52 55 60 61 63 64 68 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 166 a 1 5 6 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 52 55 60 61 63 64 68 69 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 166 a 1 5 6 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 52 55 60 61 63 64 68 69 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 119 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 193 a 1 5 6 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 52 55 60 61 63 68 69 70 73 77 79 82 84 87 88 89 92 97 99 100 105 110 114 118 119 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 193 a 1 5 6 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 52 55 60 61 63 68 69 70 73 77 82 84 87 88 89 92 97 99 100 105 110 113 114 118 119 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 193 a 1 5 6 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 52 55 60 61 63 68 69 70 73 77 82 84 87 88 89 92 99 100 105 110 113 114 118 119 125 127 129 130 134 139 140 142 150 152 154 155 160 162 163 164 185 193 a 1 5 6 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 52 55 60 61 63 68 69 70 73 77 82 84 87 88 89 92 99 100 105 110 113 114 118 119 125 127 130 134 139 140 142 150 152 154 155 160 162 163 164 178 185 193 a 1 5 6 8 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 55 60 61 63 68 69 70 73 77 82 84 87 88 89 92 99 100 105 110 113 114 118 119 125 127 130 134 139 140 142 150 152 154 155 160 162 163 164 178 185 193 a 1 5 6 8 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 55 60 61 63 68 69 70 73 77 82 84 87 88 89 92 99 100 105 110 113 114 118 119 125 127 130 134 139 140 142 150 152 153 154 155 162 163 164 178 185 193 a 1 5 6 8 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 55 60 61 63 68 69 70 73 77 82 84 87 88 89 92 99 100 105 110 113 114 118 125 127 130 134 139 140 142 150 152 153 154 155 162 163 164 165 178 185 193 a 1 5 6 8 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 55 60 61 63 68 69 70 73 77 82 84 87 88 89 92 99 100 105 110 113 114 118 125 127 130 134 139 140 142 150 152 153 154 155 162 164 165 178 179 185 193 a 1 5 6 7 8 10 12 18 20 22 25 28 30 31 32 33 34 36 40 42 45 50 55 60 61 63 68 69 70 77 82 84 87 88 89 92 99 100 105 110 113 114 118 125 127 130 134 139 140 142 150 152 153 154 155 162 164 165 178 179 185 193 a 1 5 6 7 8 10 12 13 18 20 22 25 28 30 32 33 34 36 40 42 45 50 55 60 61 63 68 69 70 77 82 84 87 88 89 92 99 100 105 110 113 114 118 125 127 130 134 139 140 142 150 152 153 154 155 162 164 165 178 179 185 193 a 1 5 6 7 8 10 12 13 18 20 22 25 28 30 32 33 34 36 40 42 45 46 50 55 60 61 63 68 69 70 77 82 84 87 88 89 92 99 100 105 110 113 114 118 125 127 130 134 140 142 150 152 153 154 155 162 164 165 178 179 185 193 a 1 6 7 8 10 12 13 18 20 22 25 28 30 32 33 34 36 40 42 45 46 50 55 60 61 63 68 69 70 77 80 82 84 87 88 89 92 99 100 105 110 113 114 118 125 127 130 134 140 142 150 152 153 154 155 162 164 165 178 179 185 193 a 1 6 7 8 10 12 13 18 20 22 25 28 30 32 33 34 36 40 42 45 46 50 55 60 61 63 68 69 70 77 80 82 84 87 88 89 92 99 100 105 110 113 114 118 124 125 127 130 134 140 142 152 153 154 155 162 164 165 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 33 34 36 40 42 45 46 50 55 60 61 63 68 69 70 77 80 82 84 87 88 89 92 99 100 105 110 113 114 118 124 125 127 130 134 140 142 152 153 154 155 162 164 165 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 36 40 42 45 46 50 55 60 61 63 68 69 70 77 78 80 82 84 87 88 89 92 99 100 105 110 113 114 118 124 125 127 130 134 140 142 152 153 154 155 162 164 165 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 36 40 42 45 46 50 55 60 61 63 68 69 70 77 78 80 82 84 87 88 92 99 100 105 110 113 114 118 124 125 127 130 134 140 142 152 153 154 155 162 164 165 167 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 36 40 42 45 46 50 55 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 99 105 110 113 114 118 124 125 127 130 134 140 142 152 153 154 155 162 164 165 167 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 36 40 42 45 46 50 55 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 99 105 110 113 114 118 124 125 127 130 134 140 152 153 154 155 162 164 165 167 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 36 40 42 45 46 50 55 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 99 105 110 113 114 115 118 124 125 127 130 134 140 152 153 154 155 164 165 167 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 36 40 42 45 46 50 55 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 99 105 113 114 115 118 124 125 127 130 134 140 148 152 153 154 155 164 165 167 178 179 185 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 36 40 42 45 46 50 55 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 105 113 114 115 118 124 125 127 130 134 140 148 152 153 154 155 164 165 167 178 179 185 192 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 40 42 45 46 50 55 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 98 105 113 114 115 118 124 125 127 130 134 140 148 152 153 154 155 164 165 167 178 179 185 192 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 98 105 113 114 115 118 124 125 127 130 134 140 148 152 153 154 155 164 165 167 178 179 185 188 192 193 a 1 6 7 8 10 11 13 18 20 22 25 28 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 98 105 113 114 115 118 124 125 127 134 140 148 152 153 154 155 164 165 167 178 179 185 188 190 192 193 a 1 6 7 8 10 11 13 18 20 22 25 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 98 105 113 114 115 118 124 125 127 134 140 148 152 153 154 155 164 165 167 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 18 20 22 25 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 77 78 80 82 84 87 88 92 93 98 105 113 115 118 124 125 127 134 140 148 152 153 154 155 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 22 25 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 71 77 78 80 82 84 87 88 92 93 98 105 113 115 118 124 125 127 134 140 148 152 153 154 155 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 22 25 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 71 77 78 80 82 84 87 88 92 93 96 98 105 113 115 118 124 125 127 140 148 152 153 154 155 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 22 25 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 71 77 78 80 82 84 87 88 91 92 93 96 98 105 113 115 118 124 127 140 148 152 153 154 155 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 22 25 27 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 71 77 78 80 82 84 87 88 91 92 93 96 98 105 113 115 118 124 127 140 148 152 153 154 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 22 25 27 30 32 34 40 42 45 46 50 58 60 61 63 68 69 70 71 77 78 80 84 87 88 91 92 93 96 98 105 112 113 115 118 124 127 140 148 152 153 154 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 25 27 30 32 34 35 40 42 45 46 50 58 60 61 63 68 69 70 71 77 78 80 84 87 88 91 92 93 96 98 105 112 113 115 118 124 127 140 148 152 153 154 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 25 27 30 32 34 35 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 112 113 115 118 124 127 140 148 152 153 154 164 165 167 173 178 179 185 188 190 191 192 193 a 1 6 7 8 10 11 13 20 25 27 30 32 35 40 42 45 46 50 58 60 61 63 68 69 70 71 76 77 78 80 84 87 88 91 92 93 96 98 112 113 115 118 124 127 140 148 152 153 154 164 165 167 173 178 179 185 187 188 190 191 192 193 c Step: 242 #END: [Tue Sep 26 08:10:32 2023]