#BEGIN: [Mon Sep  4 22:27:49 2023]
#HOST: s14
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-cpu-banbaralab-longest2
#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 -t4 /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
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 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 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 6 7 8 15 16 17 18 19 22 24 29 30 36 40 43 49 53 56 57 62 64 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 200 207 210 212 213 216 218 221 224 225 235 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 64 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 200 207 210 212 213 216 218 221 224 225 235 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 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 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 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 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 48 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 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 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 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 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 106 107 108 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 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 87 91 94 96 99 103 106 107 108 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 224 225 235 237 238 241 243 245 247
a 3 6 7 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 87 91 94 96 99 103 106 107 108 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 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 3 6 7 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 84 87 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 84 87 91 94 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 3 6 7 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 84 87 89 91 94 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 84 87 89 91 94 99 103 106 107 108 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 84 87 89 94 96 99 103 106 107 108 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 106 107 108 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 158 161 170 171 175 183 186 187 192 193 195 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 40 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 161 170 171 175 183 186 187 192 193 195 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 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 161 170 171 175 180 183 186 187 192 193 195 198 199 200 207 210 212 213 216 220 221 224 225 235 241 243 245
a 3 6 7 8 15 17 18 19 22 24 29 30 40 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 161 170 171 175 180 183 186 187 192 193 195 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 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 104 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 161 170 171 175 180 183 186 187 192 193 195 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 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 161 170 171 175 180 183 186 187 192 193 195 198 199 200 207 210 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 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 161 170 171 175 180 183 186 187 192 193 195 198 199 200 207 210 212 213 216 220 221 224 225 235 238 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 170 171 175 180 183 186 187 192 193 195 198 199 200 207 210 212 213 216 220 221 224 225 235 238 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 48 49 53 56 57 62 66 71 73 75 80 81 84 87 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 170 171 175 180 183 186 187 192 193 195 198 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 36 40 48 49 53 56 57 62 66 71 73 75 81 84 87 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 153 154 156 158 170 171 175 180 183 186 187 192 193 195 198 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 36 40 48 49 53 56 57 62 66 71 73 75 81 84 87 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 156 158 170 171 175 180 183 184 186 187 192 193 195 198 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 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 156 158 170 171 175 180 183 184 186 192 193 195 198 200 207 210 212 213 216 220 221 224 225 235 238 241 243 245
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 87 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 156 158 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 220 221 224 225 235 238 241 243 245
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 156 158 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 220 221 224 225 235 238 241 243 245
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 158 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 158 161 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 158 161 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 158 161 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 149 153 154 158 161 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243 245
a 3 6 7 8 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 170 171 175 180 183 184 186 192 193 195 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 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 241 243 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 241 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 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 36 40 46 48 49 53 56 57 62 66 71 73 75 81 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 224 225 235 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 6 7 8 15 16 17 18 19 22 24 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 241
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 195 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 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 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 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 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 241
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238
a 3 6 7 8 15 16 17 18 19 22 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238 241
a 3 6 7 8 15 16 17 18 19 22 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 238 243
a 3 6 7 8 15 16 17 18 19 22 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 225 238 241 243
a 3 6 7 8 15 16 17 18 19 22 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 225 235 238 241
a 3 6 7 8 15 16 17 18 19 22 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 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 29 30 36 40 46 48 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 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 36 40 46 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 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 36 40 46 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 200 207 210 212 213 216 218 220 221 224 225 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 46 49 53 56 57 62 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 200 207 210 212 213 216 218 220 221 224 225 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 46 49 53 56 57 62 66 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 186 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 40 46 49 53 56 57 62 63 66 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 238 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 49 53 56 57 62 63 66 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 243
a 3 6 7 8 15 16 17 18 22 24 29 30 36 40 46 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 243
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235
a 3 6 7 8 15 16 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 243
a 3 6 7 8 15 16 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235
a 3 6 7 8 15 16 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 184 192 193 198 199 200 207 210 212 213 216 218 220 221 224 225 235 241
a 3 6 7 8 15 16 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 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 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 193 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 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 225 235 241
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 225 235 238 241
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 192 193 198 199 200 207 210 212 213 216 218 220 221 225 235 238 241
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 210 212 213 216 218 220 221 225 235 238 241
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 210 212 213 216 218 220 221 225 235 238 241 245
a 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 210 212 213 216 218 220 221 225 235 238 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 210 212 213 216 218 220 221 225 235 238
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 235
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 212 213 216 218 220 221 224 225 235 238
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 212 213 216 218 220 221 224 225 235 238 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 212 213 216 218 220 221 224 225 235 241 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 149 153 154 158 161 162 170 171 175 180 183 184 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 235 245
a 3 6 7 8 15 16 17 18 19 22 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 149 153 154 158 161 162 170 171 175 178 180 183 184 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 245
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 245
a 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 207 210 212 213 216 218 220 221 224 225 245
a 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 244 245
a 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 243 244
a 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 241 244
a 3 6 7 8 15 16 17 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 241 244
a 3 6 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 241 244
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 224 225 241 244
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 224 241 243 244
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 224 235 241 243 244
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 158 161 162 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 235 241 243 244
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 235 241 243
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 235 241 243
a 3 6 7 8 15 16 17 18 19 24 29 30 36 40 46 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243
a 6 7 8 15 16 17 18 19 24 29 30 36 40 46 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244
a 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244
a 6 7 8 15 16 17 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244
a 6 7 8 15 16 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244
a 3 6 7 8 15 16 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 99 103 104 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244
a 3 6 7 8 15 16 18 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244 247
a 3 6 7 8 15 16 18 19 24 29 30 36 40 46 48 49 53 56 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244 247
a 3 6 7 8 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 108 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244 247
a 3 6 7 8 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 224 225 235 241 243 244 247
a 3 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 110 113 114 117 118 120 125 130 133 135 136 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 223 224 225 235 241 243 244 247
a 3 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 110 113 114 117 118 120 125 130 133 135 138 142 144 146 149 153 154 158 161 162 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 223 224 225 227 235 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 110 113 114 117 118 120 125 130 133 135 138 142 144 146 149 153 154 158 161 162 166 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 223 224 225 227 235 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 110 113 114 117 118 120 125 130 133 135 138 142 144 146 149 153 154 158 161 162 164 166 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 223 224 227 235 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 113 114 117 118 120 125 130 133 135 138 142 144 146 149 153 154 158 161 162 164 166 170 171 175 178 180 183 184 188 193 198 199 200 205 210 212 213 216 218 220 221 223 224 227 235 237 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 83 84 89 91 94 96 99 103 106 107 113 114 117 118 120 125 130 135 138 142 144 146 149 153 154 158 161 162 164 166 170 171 175 178 180 183 184 188 193 195 198 199 200 205 210 212 213 216 218 220 221 223 224 227 235 237 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 73 75 81 82 83 84 89 91 94 96 99 106 107 113 114 117 118 120 125 130 135 138 142 144 146 149 153 154 158 161 162 164 166 170 171 175 178 180 183 184 188 193 195 198 199 200 205 210 212 213 216 218 220 221 223 224 227 235 237 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 75 81 82 83 84 89 91 94 96 99 106 107 113 114 117 118 120 125 130 135 138 142 144 146 149 153 154 158 161 162 164 166 170 171 175 178 180 183 184 188 193 195 198 199 200 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 75 81 82 83 84 89 91 94 96 99 107 113 114 117 118 120 125 130 135 138 142 144 146 149 153 154 158 160 161 162 164 166 170 171 175 178 180 183 184 188 193 195 198 199 200 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 75 82 83 84 89 91 94 96 99 107 113 114 117 118 120 125 130 135 138 142 144 146 149 153 154 157 158 160 161 162 164 166 170 171 175 178 180 183 184 188 193 195 198 199 200 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 75 82 83 84 89 91 94 96 99 113 114 117 118 120 125 130 135 138 142 144 146 149 153 154 157 158 160 161 162 164 166 170 171 175 178 180 183 184 188 193 195 198 199 200 202 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 75 82 83 84 89 91 94 96 99 113 114 117 118 120 125 130 135 138 142 144 146 149 150 153 154 157 158 160 161 162 164 166 170 171 175 178 180 183 184 188 195 198 199 200 202 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 247
a 6 7 15 16 19 24 29 30 36 40 46 48 49 53 56 57 62 63 66 71 75 82 83 84 89 91 94 96 99 113 114 117 118 120 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 170 171 175 178 180 183 184 188 195 198 199 200 202 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 246 247
a 6 7 15 16 19 24 29 30 40 46 48 49 53 56 57 62 63 66 71 75 80 82 83 84 89 91 94 96 99 113 114 117 118 120 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 170 171 175 178 180 183 184 188 195 198 199 200 202 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 246 247
a 6 7 15 16 19 24 29 30 40 46 48 49 53 56 57 62 63 66 71 75 80 82 83 84 89 91 94 96 99 113 114 117 118 120 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 180 183 184 188 195 198 199 200 201 202 205 210 212 213 216 218 220 221 223 224 227 235 237 239 241 243 244 246 247
a 6 7 15 16 19 24 29 30 40 46 48 49 53 56 57 62 63 66 71 75 80 82 83 84 89 90 91 94 96 99 113 114 117 118 120 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 180 183 184 188 195 198 199 200 201 202 205 210 212 213 216 218 220 223 224 227 235 237 239 241 243 244 246 247
a 6 7 15 16 19 24 29 30 40 46 48 49 53 56 57 62 63 66 71 75 80 82 83 84 89 90 91 94 96 99 114 117 118 120 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 179 180 183 184 188 195 198 199 200 201 202 205 210 212 213 216 218 220 223 224 227 235 237 239 241 243 244 246 247
a 6 7 15 16 19 24 29 30 40 46 48 49 53 56 57 62 63 66 71 75 80 82 83 84 89 90 91 94 96 99 114 117 118 120 122 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 179 180 183 184 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 235 237 239 241 243 244 246 247
a 6 7 15 16 19 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 99 114 117 118 120 122 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 235 237 239 241 243 244 246 247
a 6 7 15 16 19 20 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 99 114 117 118 120 122 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 227 235 237 239 243 244 246 247
a 6 7 15 16 19 20 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 99 105 114 117 118 120 122 125 130 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 179 180 183 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 6 7 15 16 19 20 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 105 114 117 118 120 122 125 130 132 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 179 180 183 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 7 15 16 19 20 23 24 29 30 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 105 114 117 118 120 122 125 130 132 135 138 142 146 149 150 153 154 157 158 160 161 162 164 166 171 175 178 179 180 183 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 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 105 114 117 118 120 122 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 166 171 175 178 179 180 183 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 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 101 105 117 118 120 122 125 130 132 135 138 142 146 149 150 153 154 157 160 161 162 164 166 171 175 178 179 180 183 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 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 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 183 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 40 46 48 49 53 56 57 62 66 71 75 80 82 83 84 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
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: 142
#END: [Mon Sep  4 22:36:16 2023]