#BEGIN: [Tue Sep  5 08:24:39 2023]
#HOST: s16
#TIMELIMIT: 1800
#MEMLIMIT: 0
#SOLVER: longest-wallclock-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 -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
TIMEOUT 1800
c send SIGTERM to CID 14c7d921263e8203722a081ff4a9566b4cc07ee39220ab462edcab565bda04f9
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 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 220 221 224 225 235 238 241 243 245 247
a 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 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 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 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 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 83 84 87 89 91 94 96 97 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 224 225 235 238 241 243 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 40 43 49 53 56 57 62 66 68 71 73 75 80 83 84 87 89 91 94 96 97 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 220 221 224 225 235 238 241 243 245 247
a 3 7 8 15 16 17 18 19 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 83 84 87 89 91 94 96 97 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 220 221 224 225 235 238 241 243 245 247
a 3 7 8 15 16 17 18 19 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 83 84 87 89 91 94 96 97 99 103 106 107 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 224 225 235 238 241 243 245 247
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 80 83 84 87 89 91 94 96 97 99 103 106 107 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 224 225 235 238 241 243 245 247
a 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 83 84 87 89 91 94 96 97 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 224 225 235 238 241 243 245 247
a 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 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 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 6 7 8 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 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 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 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 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 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 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 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 150 153 154 158 161 170 171 175 180 183 186 192 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 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 7 15 16 17 18 19 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 144 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 247
a 7 15 16 17 18 19 22 23 24 29 30 40 43 49 53 56 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 118 120 125 130 135 136 138 142 144 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 247
a 6 7 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 118 120 125 130 135 136 138 142 144 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 247
a 6 7 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 19 22 24 29 30 43 49 53 56 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 19 22 24 29 30 43 46 49 53 56 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 19 22 24 29 30 43 46 49 53 56 57 62 66 71 73 74 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 19 22 24 29 30 43 49 53 56 57 62 66 71 73 74 75 80 81 83 84 87 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 19 22 24 29 30 43 49 53 56 57 62 66 71 74 75 80 81 83 84 87 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 19 22 24 29 30 40 43 49 53 56 57 62 66 71 74 75 80 81 83 84 87 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 247
a 6 7 15 16 17 18 22 24 29 30 40 43 49 53 56 57 62 66 71 74 75 80 81 83 84 87 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 22 24 29 30 40 43 46 49 53 56 57 62 66 71 74 75 80 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 22 24 29 30 36 40 43 46 49 53 56 57 62 66 71 74 75 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 246 247
a 6 7 15 16 17 18 22 24 29 30 36 40 43 46 49 53 56 57 62 66 71 74 75 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 247
a 6 7 15 16 17 18 22 24 29 30 36 40 46 48 49 53 56 57 62 66 71 74 75 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 247
a 7 15 16 17 18 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 74 75 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 243 245 247
a 7 15 16 17 18 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 107 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 245 247
a 7 15 16 17 18 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 223 224 225 235 237 238 241 245 247
a 7 15 16 17 18 19 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 108 113 114 117 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 238 241 245 246 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 108 113 114 117 118 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 238 241 245 246 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 46 48 49 53 56 57 62 66 71 73 74 75 81 83 84 89 91 94 96 99 103 106 108 113 114 117 118 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 106 108 113 114 117 118 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 220 221 224 235 237 238 241 243 245 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 212 213 216 220 221 224 235 237 238 241 243 245 246 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 221 224 235 237 238 241 243 245 246 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 221 224 235 237 238 241 243 245 246 247
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 66 71 73 74 75 81 83 84 87 89 91 94 96 99 103 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 48 49 53 56 57 60 66 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 66 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 66 71 73 74 75 81 83 84 87 89 91 94 96 108 109 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 49 53 56 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 108 109 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 108 109 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 117 118 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 66 71 73 74 75 81 83 84 89 91 94 96 99 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 71 73 74 75 81 83 84 89 91 94 96 99 108 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 161 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 71 73 74 75 81 83 84 89 91 94 96 99 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246
a 7 8 15 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 71 73 74 75 81 83 84 89 91 94 96 99 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246 247
a 7 8 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246 247
a 7 16 17 18 19 22 23 24 29 30 36 40 43 49 53 56 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246 247
a 7 16 17 18 19 22 23 24 29 30 36 40 43 49 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 178 180 183 186 192 198 199 200 202 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246 247
a 7 16 17 18 19 22 23 24 29 30 36 40 43 49 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 107 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 29 30 36 40 43 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 107 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 29 30 36 40 48 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 107 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 224 225 235 237 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 29 30 36 40 48 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 107 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 160 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 219 220 221 224 225 237 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 29 30 36 40 48 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 106 107 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 219 220 221 224 225 237 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 28 29 30 36 40 48 53 57 60 62 66 71 73 74 75 81 83 84 87 89 91 94 96 99 106 107 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 170 171 175 178 180 183 186 192 198 199 200 207 210 212 213 216 218 220 221 224 225 237 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 28 29 30 36 40 48 53 57 60 62 64 66 71 73 74 75 81 83 84 87 89 91 94 96 99 106 107 108 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 170 171 175 178 180 183 186 192 198 200 207 210 212 213 216 218 220 221 224 225 237 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 28 29 30 36 40 48 53 57 60 62 64 66 71 73 74 75 81 83 84 87 89 91 94 96 99 106 107 108 110 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 170 171 175 178 180 183 186 192 198 200 207 210 212 213 216 218 220 221 224 225 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 28 29 30 36 40 48 53 57 60 62 64 66 71 73 75 81 83 84 87 89 91 94 96 99 106 107 108 110 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 170 171 175 178 180 183 186 192 195 198 200 207 210 212 213 216 218 220 221 224 225 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 28 29 30 36 40 48 53 57 60 62 64 66 71 73 75 81 83 84 87 89 91 94 96 99 106 108 110 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 170 171 175 178 180 183 186 192 195 198 200 202 207 210 212 213 216 218 220 221 224 225 238 241 243 245 246 247
a 7 15 16 17 18 19 22 23 24 28 29 30 31 36 40 48 53 57 60 62 64 66 71 73 75 81 83 84 87 89 91 94 96 99 106 108 110 113 114 116 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 170 171 175 178 180 183 186 192 195 198 200 202 207 210 212 213 216 218 220 221 224 225 238 241 243 245 246
a 7 15 16 17 18 19 22 23 24 28 29 30 31 36 40 48 53 57 60 62 64 66 71 73 75 81 83 84 87 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 195 198 200 202 207 210 212 213 216 218 220 221 224 225 238 241 243 245 246
a 7 15 16 17 18 19 22 23 24 28 29 30 31 36 40 48 51 53 57 60 62 64 66 71 73 75 81 83 84 87 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 195 198 200 202 207 210 212 213 216 218 220 221 224 225 238 241 243 246
a 7 15 16 17 18 19 22 23 24 28 29 30 31 36 40 46 48 51 53 57 60 62 64 66 71 73 75 81 83 84 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 195 198 200 202 207 210 212 213 216 218 220 221 224 225 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 30 31 36 40 46 48 51 53 57 60 62 64 66 71 73 75 81 83 84 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 195 198 200 202 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 30 31 36 40 46 48 51 53 57 60 62 64 66 71 73 75 81 83 84 89 91 94 96 99 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 186 192 195 198 200 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 30 31 36 40 46 48 51 53 57 60 62 64 66 71 73 75 81 83 84 89 91 94 96 99 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 192 195 198 200 207 210 212 213 216 217 218 220 221 224 225 228 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 30 31 40 46 48 51 53 57 60 62 64 66 71 73 75 80 81 83 84 89 91 94 96 99 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 158 161 170 171 175 178 180 183 192 195 198 200 207 210 212 213 216 217 218 220 221 224 225 228 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 30 31 40 46 48 51 53 57 60 62 64 66 71 73 75 80 81 83 84 89 91 94 96 99 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 158 161 170 171 175 178 180 183 192 195 198 207 210 212 213 216 217 218 220 221 224 225 228 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 30 31 40 46 48 51 53 56 57 60 62 64 66 71 73 75 80 81 83 84 89 91 94 96 99 106 107 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 158 161 170 171 175 178 180 183 192 195 198 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 30 31 40 46 48 51 53 56 57 60 62 64 66 71 73 75 80 81 83 84 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 178 180 183 192 195 198 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246
a 7 15 16 17 18 19 22 23 28 29 31 40 46 48 51 53 56 57 60 62 64 66 71 73 75 80 81 83 84 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 178 180 183 192 195 198 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 31 40 46 48 51 53 56 57 60 62 64 66 71 73 75 80 81 83 84 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 178 180 183 192 195 198 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 31 40 46 48 51 53 56 57 60 62 64 66 71 73 75 80 81 83 84 89 91 94 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 178 180 183 192 198 202 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 31 40 46 48 51 53 56 57 60 62 64 66 71 73 75 80 81 83 84 89 91 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 224 225 228 238 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 31 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 224 225 228 238 239 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 31 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 155 158 161 170 171 175 178 180 183 186 192 198 200 202 207 210 212 213 216 218 220 221 224 225 228 238 239 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 155 158 161 170 171 175 178 180 183 186 192 198 200 202 207 210 212 213 216 218 220 221 224 225 228 235 238 239 241 243 246 247
a 6 7 8 15 16 17 18 19 22 28 29 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 153 154 155 158 161 170 171 175 178 180 183 186 192 198 200 202 207 210 212 213 216 218 220 221 224 225 235 238 239 241 243 246 247
a 6 7 8 15 16 17 18 19 22 28 29 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 108 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 224 225 235 238 239 241 243 246 247
a 6 7 8 15 16 17 18 19 22 28 29 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 110 113 114 117 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 224 225 235 238 239 241 243 246 247
a 6 7 8 15 16 17 18 19 22 28 29 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 139 142 146 148 149 150 151 153 154 155 158 161 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 224 225 235 238 239 241 243 246 247
a 6 7 8 15 16 17 18 19 22 28 29 30 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 224 225 235 238 239 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 30 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 223 224 225 235 238 239 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 30 31 40 46 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 223 224 225 238 239 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 87 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 223 224 225 238 239 241 243 246 247
a 6 7 15 16 17 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 87 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 155 158 161 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 223 224 225 238 239 241 242 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 87 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 155 158 161 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 223 224 225 238 239 241 242 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 87 89 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 221 223 224 225 238 239 241 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 75 80 81 83 84 87 89 90 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 238 239 241 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 80 81 83 84 87 89 90 91 96 99 106 110 113 114 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 161 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 80 81 83 84 87 89 90 91 96 99 106 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 40 48 51 53 56 57 60 62 64 66 71 80 83 84 87 89 90 91 96 97 99 106 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 40 48 51 56 57 60 62 64 66 71 79 80 83 84 87 89 90 91 96 97 99 106 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 6 7 15 16 18 19 22 28 29 30 31 36 40 48 51 56 57 60 62 64 66 71 79 83 84 87 89 90 91 96 97 99 106 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 51 56 57 60 62 64 66 71 79 83 84 87 89 90 91 96 97 99 106 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 178 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246 247
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 50 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 246 247
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 108 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 246 247
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 108 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 108 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 228 238 239 241 243 246
a 7 15 16 18 19 22 23 24 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 108 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 198 202 207 210 212 213 216 218 220 223 224 225 238 239 241 243 246
a 7 15 16 18 19 22 23 24 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 108 110 113 114 116 118 120 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 198 202 207 210 212 213 216 218 220 223 224 225 238 239 241 243
a 7 15 16 18 19 22 23 24 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 108 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 223 224 225 238 239 241 243
a 7 15 16 18 19 22 23 24 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 90 91 96 97 99 106 108 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 223 224 225 238 239 241 247
a 7 15 16 18 19 22 23 24 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 91 96 97 99 106 108 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 221 223 224 225 238 239 241 247
a 7 15 16 18 19 22 23 28 29 30 31 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 91 96 97 99 106 108 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 221 223 224 225 228 238 239 241 247
a 7 15 16 18 19 22 23 28 29 30 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 91 96 97 99 106 108 110 113 114 116 118 120 122 125 130 135 136 138 142 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 239 241 247
a 7 15 16 18 19 22 23 28 29 30 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 91 96 97 99 106 108 110 113 114 118 120 122 125 130 135 136 138 142 144 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 239 241 247
a 7 15 16 18 19 22 23 28 29 30 36 40 48 51 56 57 60 62 64 66 68 71 79 83 84 87 89 91 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 241 247
a 7 15 16 18 19 22 23 28 29 30 36 40 48 51 56 60 62 64 66 68 71 79 83 84 87 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 241 247
a 7 15 16 18 19 22 23 28 29 30 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 151 153 154 155 158 166 170 171 175 177 180 183 186 192 195 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 241 247
a 7 15 16 18 19 22 23 28 29 30 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 158 166 170 171 175 177 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 241 247
a 15 16 18 19 22 23 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 158 166 170 171 175 177 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 241 247
a 15 16 18 19 22 23 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 126 130 135 136 138 142 144 146 148 149 150 153 154 155 166 170 171 175 177 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 241 247
a 15 16 18 19 22 23 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 126 130 135 136 138 142 144 146 148 149 150 153 154 155 166 170 171 175 177 178 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 247
a 15 16 18 19 22 23 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 228 235 238 247
a 15 16 18 19 22 23 24 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 235 238 247
a 15 16 18 19 22 23 24 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 108 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 238 243 247
a 4 15 16 18 19 22 23 24 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 238 243 247
a 4 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 192 195 200 202 207 210 212 213 216 218 220 221 223 224 225 238 243 247
a 4 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 60 62 64 66 68 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 195 200 202 207 210 212 213 216 218 220 221 223 224 225 238 239 243 247
a 4 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 60 62 64 66 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 188 195 200 202 207 210 212 213 216 218 220 221 223 224 225 238 239 243 247
a 4 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 60 62 64 66 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 188 195 200 201 202 207 210 212 213 216 218 220 221 223 224 225 239 243 247
a 4 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 57 62 64 66 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 155 161 166 170 171 175 177 178 180 183 186 188 195 200 201 202 207 210 212 213 216 218 220 221 223 224 225 239 243 247
a 4 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 57 62 64 66 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 161 166 170 171 175 177 178 180 183 186 188 195 200 201 202 205 207 210 212 213 216 218 220 221 223 224 225 239 243 247
a 4 7 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 161 166 170 171 175 177 178 180 183 186 188 195 200 201 202 205 207 210 212 213 216 218 220 221 223 224 225 239 243 247
a 4 7 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 83 84 89 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 161 166 171 175 177 178 180 183 186 188 195 199 200 201 202 205 207 210 212 213 216 218 220 221 223 224 225 239 243 247
a 4 7 15 16 18 19 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 83 84 89 90 91 94 96 97 99 105 106 110 113 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 161 166 171 175 177 178 180 183 186 188 195 199 200 201 202 205 207 210 212 213 216 218 220 223 224 225 239 243 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 83 84 89 90 91 94 96 97 99 105 106 110 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 161 166 171 175 177 178 180 183 186 188 195 199 200 201 202 205 207 210 212 213 216 218 220 223 224 225 239 243 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 82 83 84 89 90 91 94 96 97 99 105 106 110 114 117 118 120 122 125 130 135 136 138 142 144 146 148 149 150 153 154 161 166 171 175 178 180 183 186 188 195 199 200 201 202 205 207 210 212 213 216 218 220 223 224 225 239 243 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 82 83 84 89 90 91 94 96 97 99 105 106 110 114 117 118 120 122 125 130 135 136 138 142 146 148 149 150 153 154 161 166 171 175 178 180 183 186 188 195 199 200 201 202 205 207 210 212 213 216 218 220 223 224 225 239 243 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 82 83 84 89 90 91 94 96 97 99 105 106 110 114 117 118 120 122 125 130 135 136 138 142 146 148 149 150 153 154 161 166 171 175 178 180 183 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 79 82 83 84 89 90 91 94 96 97 99 105 106 110 114 117 118 120 122 125 130 135 136 138 142 146 149 150 153 154 161 162 166 171 175 178 180 183 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 82 83 84 89 90 91 94 96 97 99 105 106 110 114 117 118 120 122 125 130 135 136 138 142 146 149 150 153 154 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 36 40 46 48 51 56 57 62 66 71 82 83 84 89 90 91 94 96 97 99 101 105 106 110 117 118 120 122 125 130 135 136 138 142 146 149 150 153 154 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 40 46 48 51 56 57 62 66 71 80 82 83 84 89 90 91 94 96 97 99 101 105 106 110 117 118 120 122 125 130 135 136 138 142 146 149 150 153 154 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 33 40 46 48 51 56 57 62 66 71 80 82 83 84 89 90 91 94 96 97 99 101 105 110 117 118 120 122 125 130 135 136 138 142 146 149 150 153 154 157 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 40 46 48 51 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 97 99 101 105 110 117 118 120 122 125 130 135 136 138 142 146 149 150 153 154 157 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 40 46 48 51 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 97 101 105 110 117 118 120 122 125 130 132 135 136 138 142 146 149 150 153 154 157 161 162 166 171 175 178 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 40 46 48 51 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 101 105 110 117 118 120 122 125 130 132 135 136 138 142 146 149 150 153 154 157 161 162 166 171 175 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 40 46 48 51 53 56 57 62 66 71 75 80 82 83 84 89 90 91 94 96 101 105 110 117 118 120 122 125 130 132 135 136 138 142 146 149 150 153 154 157 161 162 166 171 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 18 19 20 23 24 28 29 30 40 46 48 51 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 136 138 142 146 149 150 153 154 157 160 161 162 166 171 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 19 20 23 24 28 29 30 40 46 48 51 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 136 138 142 146 149 150 153 154 157 160 161 162 166 171 173 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 19 20 23 24 28 29 30 40 46 48 51 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 166 171 173 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 239 243 244 246 247
a 4 7 15 16 19 20 23 24 28 29 30 40 46 48 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 166 171 173 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 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 166 171 173 178 179 180 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 225 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 183 184 186 188 195 199 200 201 202 205 210 212 213 216 218 220 223 224 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 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 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 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: 165
#END: [Tue Sep  5 08:54:39 2023]