#BEGIN: [Mon Sep  4 18:07:07 2023]
#HOST: s02
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest1
#INSTANCE1: /benchmark/random_instance/random_instance019_graph002.col
#INSTANCE2: /benchmark/random_instance/random_instance019_graph002_01.dat
#COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab --longest /benchmark/random_instance/random_instance019_graph002.col /benchmark/random_instance/random_instance019_graph002_01.dat
c /benchmark/random_instance/random_instance019_graph002.col
c /benchmark/random_instance/random_instance019_graph002_01.dat
TIMEOUT 1800
c send SIGTERM to CID 838fb770794cdf519cc77388af5018642d92c8a27ee02ea98bf4dce769be805d
s 154 193 18 83 57 36 49 89 238 221 161 200 114 106 225 247 110 103 87 171 213 24 17 21 142 210 245 192 158 183 3 148 113 207 23 170 107 94 218 43 22 7 186 138 199 66 99 8 130 235 136 29 81 118 56 91 19 153 73 62 212 40 198 71 117 175 146 96 30 108 224 16 84 241 243 15 53 75 120 135 144 125 216
t 149 212 83 173 56 202 48 188 154 90 89 220 118 122 146 171 53 4 237 57 199 201 7 140 184 218 20 157 243 15 120 88 24 138 46 84 186 82 105 49 101 239 244 216 66 62 223 153 16 246 164 224 117 125 71 195 178 179 200 29 180 162 23 75 161 135 80 132 150 130 96 205 94 166 142 160 227 210 19 30 247 91 213
a YES
a 3 7 8 15 16 17 18 19 21 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 221 224 225 235 238 241 243 245 247
a 3 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 221 224 225 235 238 241 243 245 247
a 7 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 221 223 224 225 235 238 241 243 245 247
a 7 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247
a 7 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 243 245 247
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 243 245
a 3 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 220 221 224 225 235 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 6 7 8 15 16 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 183 186 191 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 154 158 161 170 171 175 178 180 183 186 191 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238 241 243 245
a 3 6 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238 241 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238 241 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 99 103 104 106 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 202 207 210 212 213 216 218 220 221 224 225 238 241 243
a 3 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 99 103 104 106 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 202 207 210 212 213 216 218 220 221 224 225 238 241 243
a 3 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 110 113 114 117 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 110 113 114 117 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 110 113 114 117 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 210 212 213 216 220 221 224 225 235 238 241 243
a 3 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 212 213 216 220 221 224 225 235 238 241 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 212 213 216 220 221 224 225 235 238 241
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 202 207 212 213 216 218 220 221 224 225 235 241
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 212 213 216 218 220 221 224 225 235 241
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 241
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 235 238 241 243
a 3 6 7 8 15 16 17 18 19 24 29 30 40 43 49 53 55 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 235 238 241 243
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 235 238 243
a 6 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 235 238 241 243
a 6 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 166 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 216 218 220 221 235 238 241 243 247
a 6 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 195 198 199 200 207 210 212 216 218 220 221 235 238 241 243 245 247
a 6 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 216 218 220 221 235 238 241 243 245 247
a 6 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 199 200 207 210 212 216 218 220 221 224 235 238 241 243 245 247
a 6 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 199 200 207 210 212 213 216 218 220 221 224 235 238 241 243 245
a 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 192 193 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 193 198 199 200 207 210 212 213 216 218 220 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 23 24 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 178 180 183 186 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 7 8 15 16 17 18 19 23 24 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 8 15 16 17 18 19 23 24 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 8 15 16 17 18 19 23 24 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 247
a 8 15 16 17 18 19 23 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 247
a 8 15 16 17 18 19 23 24 29 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 36 40 43 49 53 55 56 57 62 66 71 73 74 75 81 83 84 87 89 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 36 40 43 49 53 55 56 57 62 66 71 73 74 75 83 84 87 89 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 19 23 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 83 84 87 89 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 83 84 87 89 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 49 53 55 56 57 62 66 71 73 74 75 83 84 87 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 49 53 55 57 62 66 71 73 74 75 83 84 87 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 46 49 53 55 57 62 66 71 73 74 75 83 84 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 46 49 53 55 57 62 66 71 73 74 75 83 84 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 46 49 53 55 57 62 66 71 73 74 75 81 83 84 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 238 241 243 245
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 46 49 53 55 57 62 66 71 73 74 75 81 83 84 91 94 96 99 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 238 241 243 245 247
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 46 49 53 55 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 238 241 243 245
a 7 8 15 16 17 18 19 23 24 29 30 36 40 43 46 49 53 55 57 62 66 71 73 74 75 81 83 84 89 91 94 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 238 241 243 245
a 7 8 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 238 241 243 245
a 7 8 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 66 71 73 74 75 80 81 83 84 89 91 94 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 235 238 241 243 245
a 7 8 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 66 71 73 74 75 80 81 83 84 89 91 94 99 103 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 235 237 238 241 243 245
a 7 8 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 99 103 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 216 218 220 221 224 225 234 235 237 238 241 243 245
a 7 8 15 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 99 103 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 235 237 238 241 243 245
a 7 8 15 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 235 237 238 241 243
a 7 8 15 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 235 238 241 243
a 7 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 234 235 238 241 243
a 7 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 234 235 238 241 243
a 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 234 235 238 241 243 245
a 15 16 17 18 19 23 24 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 234 235 238 241 243 245 247
a 15 16 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 234 235 238 243 245 247
a 15 16 17 18 19 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 243 245 247
a 15 17 18 19 23 24 29 30 40 43 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 243 245 247
a 15 17 18 19 23 24 29 30 40 46 49 53 55 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 245 247
a 15 17 18 19 23 24 29 30 37 40 46 49 53 55 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 245 247
a 10 15 17 18 19 23 24 29 30 37 40 46 49 53 55 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 247
a 10 15 17 18 19 23 24 29 30 36 37 40 46 49 53 55 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 247
a 15 17 18 19 23 24 29 30 36 37 40 46 49 53 55 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 245 247
a 15 17 18 19 23 24 29 30 33 36 37 40 46 53 55 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 245 247
a 15 17 18 19 23 24 29 30 33 36 37 40 46 53 55 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 245 247
a 10 15 17 18 19 23 24 29 30 33 36 37 40 46 53 55 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 247
a 10 15 17 18 19 22 23 24 29 30 33 36 37 40 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243 247
a 10 15 16 17 18 19 22 23 24 29 30 33 36 37 40 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 243 247
a 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 107 108 110 113 114 117 118 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 243 247
a 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 243
a 10 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 113 114 117 118 125 130 135 136 138 142 144 146 148 149 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 243
a 10 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 113 114 117 118 125 130 135 136 138 142 144 146 148 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 212 213 216 218 220 221 223 224 225 234 235 238 241 243
a 10 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 44 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 113 114 117 118 125 130 135 136 138 142 144 146 148 153 154 158 160 161 170 171 175 176 178 180 183 186 193 198 199 200 205 207 210 213 216 218 220 221 223 224 225 234 235 238 241 243
a 10 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 44 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 113 114 117 118 125 130 135 136 138 142 144 146 148 153 154 158 160 161 170 171 175 176 178 180 183 193 198 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 44 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 125 130 135 136 138 142 144 146 148 153 154 158 160 161 170 171 175 176 178 180 183 193 198 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 241 243
a 10 15 16 17 18 19 22 23 24 29 30 33 36 37 40 43 44 46 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 122 125 130 135 136 138 142 144 146 148 153 154 158 160 161 170 171 175 176 178 180 183 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 241 243
a 10 15 16 17 18 19 22 23 24 29 30 36 37 40 43 44 46 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 122 125 130 135 136 138 142 144 146 148 153 154 158 160 161 170 171 175 176 178 180 183 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 241 243
a 10 15 16 17 18 19 22 23 24 29 30 36 37 40 43 44 46 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 122 125 130 135 136 138 142 144 146 148 154 158 160 161 170 171 175 176 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 241 243
a 10 16 17 18 19 22 23 24 29 30 36 37 40 43 44 46 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 122 125 130 135 136 138 142 144 146 148 154 158 160 161 170 171 175 176 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 17 18 19 22 24 29 30 36 37 40 43 44 46 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 122 125 130 133 135 136 138 142 144 146 148 154 158 160 161 170 171 175 176 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 17 18 19 22 24 29 30 36 37 40 43 44 46 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 154 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 17 18 19 22 24 29 30 36 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 154 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 17 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 154 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 17 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 154 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 17 18 19 22 24 29 30 37 40 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 154 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 212 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 18 19 22 24 29 30 37 40 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 154 157 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 212 213 216 217 218 220 221 223 224 225 234 235 238 241 243
a 10 16 18 19 22 24 29 30 37 40 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 105 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 154 157 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 212 213 216 217 218 220 221 223 224 225 234 238 241 243
a 10 16 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 105 107 108 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 154 157 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 238 241 243
a 10 15 16 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 105 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 154 157 158 160 161 170 171 175 178 180 183 191 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 238 241 243
a 10 15 16 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 105 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 234 238 241 243
a 6 10 15 16 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 105 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 238 241 243
a 6 10 15 16 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 193 199 200 205 207 210 213 216 217 218 220 221 223 224 225 235 238 241 243
a 6 10 15 16 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 104 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 235 238 241 243
a 6 7 10 15 16 18 19 22 24 29 30 37 40 44 46 48 49 53 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 235 238 241 243
a 6 7 10 15 16 18 19 22 24 29 30 40 44 46 48 49 53 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 235 238 241 243
a 3 7 10 15 16 18 19 22 24 29 30 40 44 46 48 49 53 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 235 238 241 243
a 3 7 10 15 16 18 19 22 24 29 30 40 44 46 48 49 53 57 62 66 71 73 75 80 81 83 84 89 91 94 96 99 103 104 107 110 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 235 238 243
a 3 7 10 15 16 18 19 22 24 29 30 40 44 46 48 49 53 57 62 66 71 73 75 80 81 83 84 89 91 94 96 99 103 104 107 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 166 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 235 238 243
a 3 7 10 15 16 18 19 22 24 29 30 40 44 46 48 49 53 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 99 103 104 107 113 114 117 118 120 122 125 130 133 135 136 138 142 144 146 148 149 153 154 157 158 160 161 166 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 235 243
a 3 7 10 15 16 18 19 22 24 29 30 40 44 46 48 49 53 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 99 103 104 107 113 114 117 118 120 122 125 130 133 135 138 142 144 146 148 149 153 154 157 158 160 161 166 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 3 7 10 15 16 18 19 22 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 99 103 104 107 113 114 117 118 120 122 125 130 133 135 138 142 144 146 148 149 153 154 157 158 160 161 166 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 3 7 10 15 16 18 19 22 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 133 135 138 142 144 146 148 149 153 154 157 158 160 161 166 170 171 175 178 180 183 186 193 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 3 7 10 15 16 18 19 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 133 135 138 142 144 146 148 149 153 154 157 158 160 161 166 170 171 175 178 180 183 186 188 193 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 3 7 10 15 16 18 19 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 133 135 138 142 144 146 149 153 154 157 158 160 161 166 170 171 175 178 180 183 184 186 188 193 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 7 10 15 16 18 19 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 133 135 138 142 144 146 149 153 154 157 158 160 161 162 166 170 171 175 178 180 183 184 186 188 193 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 7 10 15 16 18 19 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 133 135 138 142 144 146 149 150 153 154 157 158 160 161 162 166 170 171 175 178 180 183 184 186 188 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 7 10 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 158 160 161 162 166 170 171 175 178 180 183 184 186 188 199 200 205 207 210 213 216 218 220 221 223 224 225 227 235 243
a 7 10 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 158 160 161 162 166 170 171 175 178 180 183 184 186 188 199 200 205 210 213 216 218 220 221 223 224 225 227 235 243 244
a 7 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 73 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 158 160 161 162 166 170 171 175 178 180 183 184 186 188 195 199 200 205 210 213 216 218 220 221 223 224 225 227 235 243 244
a 7 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 81 82 83 84 89 91 94 96 103 104 107 113 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 158 160 161 162 166 170 171 175 178 180 183 184 186 188 195 199 200 205 210 213 216 218 220 221 223 224 225 227 235 239 243 244
a 7 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 81 82 83 84 89 91 94 96 103 104 107 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 158 160 161 162 166 170 171 175 178 180 183 184 186 188 195 199 200 205 210 212 213 216 218 220 221 223 224 225 227 235 239 243 244
a 4 7 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 81 82 83 84 89 91 94 96 103 104 107 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 166 170 171 175 178 180 183 184 186 188 195 199 200 205 210 212 213 216 218 220 221 223 224 225 227 235 239 243 244
a 4 7 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 103 104 107 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 166 170 171 175 178 180 183 184 186 188 195 199 200 201 205 210 212 213 216 218 220 221 223 224 225 227 235 239 243 244
a 4 7 15 16 18 19 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 103 104 105 107 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 166 170 171 175 178 180 183 184 186 188 195 199 200 201 205 210 212 213 216 218 220 221 223 224 225 227 239 243 244
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 103 104 105 107 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 205 210 212 213 216 218 220 221 223 224 225 227 239 243 244
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 103 104 105 114 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 225 227 239 243 244
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 101 103 104 105 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 225 227 239 243 244
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 101 103 105 117 118 120 122 125 130 132 135 138 142 144 146 149 150 153 154 157 160 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 225 227 237 239 243 244
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 101 103 105 117 118 120 122 125 130 132 135 138 140 142 144 146 149 150 153 154 157 160 161 162 166 171 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 225 227 237 239 243 244
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 101 103 105 117 118 120 122 125 130 132 135 138 140 142 144 146 149 150 153 154 157 160 161 162 164 166 171 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 227 237 239 243 244
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 101 103 105 117 118 120 122 125 130 132 135 138 140 142 144 146 149 150 153 154 157 160 161 162 164 166 171 178 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 227 237 239 243 244 247
a 4 7 15 16 18 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 144 146 149 150 153 154 157 160 161 162 164 166 171 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 227 237 239 243 244 247
a 4 7 15 16 18 19 20 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 144 146 149 150 153 154 157 160 161 162 164 166 171 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 227 237 239 243 244 247
a 4 7 15 16 18 19 20 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 146 149 150 153 154 157 160 161 162 164 166 171 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 221 223 224 227 237 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 146 149 150 153 154 157 160 161 162 164 166 171 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 243 244 246 247
a 4 7 15 16 19 20 23 24 29 30 46 48 49 53 56 57 62 66 71 75 80 82 83 84 88 89 90 91 94 96 101 105 117 118 120 122 125 130 132 135 138 140 142 146 149 150 153 154 157 160 161 162 164 166 171 173 178 179 180 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 237 239 243 244 246 247
c Step: 154
#END: [Mon Sep  4 18:37:07 2023]