#BEGIN: [Mon Sep 4 13:31:01 2023] #HOST: s12 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance024_graph003.col #INSTANCE2: /benchmark/random_instance/random_instance024_graph003_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance024_graph003.col /benchmark/random_instance/random_instance024_graph003_01.dat c /benchmark/random_instance/random_instance024_graph003.col c /benchmark/random_instance/random_instance024_graph003_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 254 294 110 7 132 276 75 170 298 24 127 293 216 87 70 312 194 280 180 8 255 89 78 260 126 246 67 80 139 240 189 307 176 53 179 272 134 223 76 112 116 219 96 275 137 167 265 278 237 310 196 268 182 33 171 83 17 232 47 190 296 162 64 290 168 15 262 187 85 69 164 88 224 93 206 264 153 72 259 151 226 192 263 169 122 285 217 119 52 230 120 201 61 214 241 37 25 144 242 t 45 268 216 271 149 263 124 137 267 85 306 83 163 21 44 195 217 222 211 7 179 42 56 3 171 73 129 59 190 22 247 158 18 308 50 194 58 143 30 176 206 144 299 212 2 150 283 82 237 304 55 202 156 235 24 112 90 295 225 218 213 182 26 230 264 93 277 223 204 57 169 61 63 265 161 266 309 107 220 127 76 131 103 241 239 236 97 296 135 20 145 40 15 184 71 152 232 224 187 a YES a 7 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 144 151 153 162 164 167 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 214 216 217 219 223 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 280 285 290 293 294 296 298 307 310 312 a 7 8 15 17 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 144 151 153 162 164 167 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 214 216 217 219 223 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 280 285 290 293 294 296 298 307 310 312 a 7 8 15 17 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 144 151 153 162 164 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 214 216 217 219 223 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 312 a 7 8 15 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 144 151 153 162 164 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 210 214 216 217 219 223 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 312 a 7 8 15 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 144 151 153 162 164 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 210 214 216 217 218 219 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 312 a 7 8 15 17 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 119 120 122 126 127 132 134 137 139 144 151 153 162 164 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 210 214 216 217 218 219 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 312 a 7 8 15 17 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 119 120 122 126 127 132 134 137 139 144 151 153 162 164 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 210 214 216 217 218 219 223 224 226 230 232 237 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 a 7 8 15 17 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 119 120 122 126 127 132 134 137 139 141 144 151 153 162 164 168 169 170 171 176 179 180 182 187 189 190 192 194 196 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 a 7 8 15 17 18 24 25 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 119 120 122 126 127 132 134 137 139 141 144 151 153 162 164 168 169 170 171 176 179 180 182 186 187 189 192 194 196 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 a 7 8 15 17 18 24 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 119 120 122 126 127 132 134 137 139 141 144 151 153 162 164 168 169 170 171 176 179 182 186 187 189 192 194 196 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 a 7 8 15 17 18 24 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 107 110 112 119 120 122 126 127 132 134 137 139 141 144 151 153 162 164 168 169 170 171 176 179 182 186 187 189 194 196 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 a 7 8 15 17 18 24 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 107 110 112 119 120 122 126 127 132 134 137 139 141 144 151 153 162 164 168 169 170 171 176 179 182 186 187 189 194 196 197 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 298 307 310 a 8 15 17 18 24 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 107 110 112 119 120 122 126 127 132 134 137 139 141 142 144 151 153 162 164 168 169 170 171 176 179 182 186 187 189 194 196 197 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 298 307 310 a 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 107 110 112 119 120 122 126 127 132 134 137 139 141 142 144 151 153 162 164 168 169 170 171 176 179 181 182 186 187 189 194 196 197 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 298 307 310 a 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 107 110 112 119 120 122 126 127 132 134 137 139 141 142 144 151 153 162 164 168 169 170 171 176 179 181 182 186 187 189 194 196 201 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 307 310 a 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 107 110 112 119 120 122 126 127 132 134 137 139 141 142 144 151 153 162 164 168 169 170 171 176 179 181 182 186 187 189 194 196 201 203 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 310 a 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 151 153 162 164 168 169 170 171 176 179 181 182 186 187 189 194 196 201 203 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 310 a 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 151 153 162 164 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 264 265 268 272 275 276 278 279 280 285 290 293 294 296 298 310 a 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 151 153 162 164 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 254 255 259 260 262 263 265 268 272 275 276 278 279 280 285 290 293 294 296 298 310 a 2 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 151 153 162 164 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 210 214 216 217 218 219 223 224 226 230 232 240 241 242 246 255 259 260 262 263 265 268 272 275 276 278 279 280 285 290 293 294 296 298 310 a 2 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 151 153 162 164 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 223 224 226 230 232 240 241 242 246 255 259 260 262 263 265 268 272 275 276 278 279 280 285 290 293 294 296 298 310 a 2 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 223 224 226 230 232 240 241 242 246 255 259 260 262 263 265 268 272 275 276 278 280 285 290 293 294 296 298 310 a 2 8 15 17 18 25 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 223 224 226 230 232 240 241 242 246 255 259 260 262 263 265 268 272 275 276 278 280 285 290 293 294 296 297 298 310 a 2 8 15 17 25 33 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 223 224 226 230 232 240 241 242 246 255 259 260 262 263 265 268 272 275 276 278 280 285 290 293 294 296 297 298 310 a 2 8 15 17 25 33 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 165 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 223 224 226 230 232 240 241 242 246 255 259 260 262 263 265 268 272 275 276 278 280 285 290 294 296 297 298 310 a 2 8 15 17 25 33 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 165 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 224 226 230 232 240 241 242 246 255 258 259 260 262 263 265 268 272 275 276 278 280 285 290 294 296 297 298 310 a 2 8 15 17 25 33 37 45 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 165 168 169 170 171 176 179 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 224 226 230 232 240 241 242 246 255 258 259 260 262 263 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 89 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 165 168 169 170 171 176 179 180 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 224 226 230 232 240 241 242 246 255 258 259 260 262 263 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 165 168 169 170 171 176 179 180 181 182 187 189 190 194 196 201 203 206 214 216 217 218 219 221 224 226 230 232 240 241 242 246 255 258 259 260 262 263 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 165 168 169 170 171 176 179 180 182 187 189 190 194 196 201 203 206 214 216 217 218 219 221 224 226 230 232 240 241 242 246 255 258 259 260 262 263 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 147 149 151 153 162 164 165 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 214 216 217 218 219 221 224 226 230 232 240 241 242 246 255 256 258 259 260 262 263 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 214 216 217 218 219 221 224 226 230 232 240 241 242 246 255 256 258 259 260 262 263 264 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 214 216 217 219 221 224 226 230 232 240 241 242 246 255 256 258 259 260 262 263 264 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 97 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 224 226 230 232 240 241 242 246 255 256 258 259 260 262 263 264 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 97 110 112 116 119 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 240 241 242 246 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 86 87 88 93 96 97 110 112 116 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 240 241 242 246 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 290 294 296 298 310 a 2 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 93 96 97 110 112 116 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 240 241 242 246 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 286 290 294 296 298 310 a 2 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 240 241 242 246 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 286 290 294 296 298 310 a 2 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 72 75 76 78 80 83 85 87 88 89 93 96 110 112 116 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 286 290 294 296 298 310 a 2 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 72 75 76 78 80 83 85 87 88 89 93 96 110 116 120 122 126 127 132 134 137 139 141 142 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 286 290 294 296 298 310 a 2 7 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 72 75 76 78 80 83 85 87 88 89 93 96 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 286 290 294 296 298 310 a 2 7 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 96 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 203 206 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 286 290 294 296 298 310 a 2 7 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 96 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 275 276 278 280 285 286 290 294 296 298 307 310 a 2 7 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 75 76 78 80 83 85 87 88 89 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 75 76 78 80 83 85 87 88 89 93 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 240 241 242 246 254 255 256 259 260 262 263 264 265 268 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 8 15 17 24 25 28 33 37 47 52 53 61 64 67 69 70 75 78 80 83 85 87 88 89 93 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 240 241 242 246 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 53 61 64 67 69 70 75 78 80 83 85 87 88 89 93 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 240 241 242 246 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 53 64 67 69 70 72 75 78 80 83 85 87 88 89 93 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 240 241 242 246 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 53 64 67 69 70 72 78 80 83 85 87 88 89 93 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 64 67 69 70 72 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 232 238 240 241 242 246 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 136 137 139 141 144 149 151 153 162 164 165 167 168 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 238 240 241 242 246 249 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 171 176 179 180 182 187 189 190 194 196 201 206 214 216 217 219 221 223 224 226 230 238 240 241 242 246 249 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 296 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 171 176 179 180 182 187 189 190 194 196 197 201 206 214 216 217 219 221 223 224 226 230 238 240 241 242 246 249 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 238 240 241 242 246 249 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 238 240 241 242 246 249 254 255 256 259 260 263 264 265 268 270 272 276 278 280 285 286 290 294 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 137 139 141 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 214 216 217 219 221 223 224 226 230 238 240 241 242 246 249 254 255 256 259 260 263 264 265 268 270 272 276 278 280 285 286 290 294 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 110 116 120 122 126 127 132 134 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 214 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 255 256 259 260 263 264 265 268 270 272 276 278 280 285 286 290 294 298 307 310 a 2 7 15 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 255 256 259 260 263 264 265 268 270 272 276 278 280 285 286 290 294 298 307 310 a 2 7 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 286 290 294 298 307 310 a 2 7 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 255 256 259 260 262 263 264 265 268 270 272 276 278 280 285 290 294 298 307 310 a 2 7 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 255 256 259 260 262 263 264 265 268 270 272 276 280 285 290 294 298 306 307 310 a 2 7 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 256 259 260 262 263 264 265 268 270 272 276 280 285 290 294 298 299 306 307 310 a 2 7 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 256 259 260 262 263 264 265 268 270 272 276 280 285 290 294 298 299 306 307 a 2 7 17 20 24 25 28 33 37 47 52 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 96 97 110 116 120 122 126 127 132 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 256 259 260 262 263 264 265 268 272 276 280 285 290 294 298 299 306 307 a 2 7 17 20 24 25 28 33 37 40 47 52 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 132 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 256 259 260 262 263 264 265 268 272 276 280 285 290 294 298 299 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 132 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 197 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 256 259 262 263 264 265 268 272 276 280 285 290 294 298 299 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 132 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 237 238 240 241 242 246 249 254 256 259 262 263 264 265 268 272 276 280 285 290 294 296 298 299 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 132 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 249 254 256 259 262 263 264 265 268 272 276 280 285 290 294 296 298 299 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 132 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 249 254 256 259 262 263 264 265 268 272 276 280 285 290 296 298 299 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 134 135 136 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 249 254 256 259 262 263 264 265 267 268 272 276 280 285 290 296 298 299 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 134 135 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 249 254 256 259 262 263 264 265 267 268 272 276 280 285 290 296 298 299 304 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 126 127 134 135 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 249 254 256 259 262 263 264 265 267 268 271 272 276 280 285 296 298 299 304 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 124 126 127 134 135 137 139 144 149 151 153 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 259 262 263 264 265 267 268 271 272 276 280 285 296 298 299 304 306 307 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 124 126 127 134 135 137 139 144 149 151 153 156 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 196 201 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 259 262 263 264 265 267 268 271 272 276 280 285 296 298 299 304 306 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 124 126 127 134 135 137 139 144 149 151 153 156 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 201 204 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 259 262 263 264 265 267 268 271 272 276 280 285 296 298 299 304 306 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 189 190 194 201 204 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 259 262 263 264 265 267 268 271 272 276 285 296 298 299 304 306 a 2 7 15 17 20 24 25 28 33 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 201 204 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 259 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 7 15 17 18 20 24 25 28 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 201 204 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 259 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 7 15 17 18 20 24 25 28 37 40 47 52 58 61 64 67 69 70 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 120 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 7 15 17 18 20 24 25 28 37 40 47 52 58 61 64 67 69 70 71 72 75 76 78 80 83 85 87 88 89 93 94 97 110 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 219 221 223 224 226 230 235 237 238 240 241 242 254 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 7 15 17 18 20 24 25 28 37 40 47 52 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 219 221 223 224 226 230 235 236 237 238 240 241 242 254 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 7 15 17 18 20 24 25 28 37 40 47 52 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 219 221 223 224 226 230 235 236 237 240 241 242 254 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 7 15 17 18 20 24 25 30 37 40 47 52 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 219 221 223 224 226 230 235 236 237 240 241 242 254 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 3 7 15 17 18 20 24 25 30 37 40 47 52 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 221 223 224 226 230 235 236 237 240 241 242 254 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 3 7 15 17 18 20 24 25 30 37 40 47 52 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 221 223 224 226 230 235 236 237 240 241 242 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 3 7 15 17 18 20 24 25 30 37 40 44 47 52 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 221 223 224 226 230 235 236 237 240 241 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 52 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 139 144 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 221 223 224 226 230 235 236 237 240 241 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 52 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 144 145 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 216 217 221 223 224 226 230 235 236 237 240 241 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 144 145 149 151 153 156 161 162 164 165 167 168 169 171 176 179 180 182 187 190 194 195 201 204 206 211 216 217 221 223 224 226 230 235 236 237 240 241 256 262 263 264 265 267 268 271 272 276 277 285 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 180 182 187 190 194 195 201 204 206 211 216 217 221 223 224 226 230 235 236 237 240 241 256 262 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 126 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 180 182 187 190 194 195 201 204 206 211 212 216 217 221 223 224 226 230 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 110 112 116 122 124 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 180 182 184 187 190 194 195 201 204 206 211 212 216 217 221 223 224 226 230 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 107 110 112 122 124 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 180 182 184 187 190 194 195 201 204 206 211 212 216 217 221 223 224 226 230 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 94 97 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 180 182 184 187 190 194 195 201 204 206 211 212 213 216 217 221 223 224 226 230 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 97 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 180 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 221 223 224 226 230 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 180 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 223 224 226 230 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 162 164 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 223 224 226 230 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 64 67 69 70 71 75 76 78 80 83 85 87 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 162 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 223 224 226 230 232 235 236 237 240 241 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 64 67 69 70 71 75 76 78 83 85 87 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 162 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 223 224 226 230 232 235 236 237 240 241 247 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 64 67 69 70 71 75 76 78 83 85 87 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 240 241 247 256 263 264 265 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 64 67 69 71 75 76 78 83 85 87 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 151 153 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 240 241 247 256 263 264 265 266 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 63 64 67 69 71 75 76 78 83 85 87 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 151 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 240 241 247 256 263 264 265 266 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 63 64 67 69 71 75 76 78 83 85 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 150 151 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 240 241 247 256 263 264 265 266 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 63 64 67 69 71 75 76 78 83 85 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 150 151 152 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 276 277 285 295 296 298 299 304 306 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 63 64 67 69 71 75 76 78 83 85 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 150 151 152 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 276 277 285 295 296 299 304 306 309 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 63 64 67 69 71 75 76 78 83 85 88 89 93 97 103 107 112 122 124 127 134 135 137 144 145 149 150 151 152 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 276 277 295 296 299 304 306 308 309 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 57 58 61 63 64 67 69 71 75 76 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 151 152 156 161 165 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 276 277 295 296 299 304 306 308 309 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 50 57 58 61 63 64 67 69 71 75 76 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 151 152 156 161 168 169 171 176 179 182 184 187 190 194 195 201 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 276 277 295 296 299 304 306 308 309 a 2 3 7 15 17 18 20 22 24 25 30 40 44 45 47 50 57 58 61 63 64 67 69 71 75 76 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 151 152 156 161 168 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 295 296 299 304 306 308 309 a 2 3 7 15 17 18 20 21 22 24 25 30 40 44 45 47 50 57 58 61 63 64 67 69 71 76 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 151 152 156 161 168 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 295 296 299 304 306 308 309 a 2 3 7 15 17 18 20 21 22 24 25 30 40 44 45 50 57 58 61 63 64 67 69 71 76 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 151 152 156 161 168 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 17 18 20 21 22 24 25 30 40 44 45 50 57 58 61 63 67 69 71 76 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 151 152 156 161 168 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 25 30 40 44 45 50 57 58 61 63 67 69 71 76 82 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 151 152 156 161 168 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 25 30 40 44 45 50 57 58 61 63 67 69 71 76 82 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 152 156 158 161 168 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 25 30 40 44 45 50 55 57 58 61 63 69 71 76 82 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 152 156 158 161 168 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 25 26 30 40 44 45 50 55 57 58 61 63 69 71 76 82 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 152 156 158 161 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 44 45 50 55 57 58 61 63 69 71 76 82 83 85 88 89 93 97 103 107 112 122 124 127 131 134 135 137 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 44 45 50 55 57 58 61 63 69 71 76 82 83 85 88 89 93 97 103 107 112 122 124 127 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 44 45 50 55 57 58 59 61 63 71 76 82 83 85 88 89 93 97 103 107 112 122 124 127 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 44 45 50 55 57 58 59 61 63 71 76 82 83 85 89 93 97 103 107 112 122 124 127 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 226 230 232 235 236 237 239 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 44 45 50 55 57 58 59 61 63 71 76 82 83 85 89 90 93 97 103 107 112 122 124 127 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 201 202 204 206 211 212 213 216 217 218 220 222 223 224 230 232 235 236 237 239 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 42 44 45 50 55 57 58 59 61 63 71 76 82 83 85 89 90 93 97 103 107 112 122 124 127 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 202 204 206 211 212 213 216 217 218 220 222 223 224 230 232 235 236 237 239 241 247 256 263 264 265 266 267 268 271 272 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 42 44 45 50 55 57 58 59 61 63 71 73 76 82 83 85 89 90 93 97 103 107 112 122 124 127 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 202 204 206 211 212 213 216 217 218 220 222 223 224 230 232 235 236 237 239 241 247 256 263 264 265 266 267 268 271 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 42 44 45 50 55 57 58 59 61 63 71 73 76 82 83 85 90 93 97 103 107 112 122 124 127 129 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 202 204 206 211 212 213 216 217 218 220 222 223 224 230 232 235 236 237 239 241 247 256 263 264 265 266 267 268 271 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 42 44 45 50 55 57 58 59 61 63 71 73 76 82 83 85 90 93 97 103 107 112 124 127 129 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 202 204 206 211 212 213 216 217 218 220 222 223 224 225 230 232 235 236 237 239 241 247 256 263 264 265 266 267 268 271 277 283 295 296 299 304 306 308 309 a 2 3 7 15 18 20 21 22 24 26 30 40 42 44 45 50 55 56 57 58 59 61 63 71 73 76 82 83 85 90 93 97 103 107 112 124 127 129 131 135 137 143 144 145 149 150 152 156 158 161 163 169 171 176 179 182 184 187 190 194 195 202 204 206 211 212 213 216 217 218 220 222 223 224 225 230 232 235 236 237 239 241 247 263 264 265 266 267 268 271 277 283 295 296 299 304 306 308 309 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance024_graph003.col /benchmark/random_instance/random_instance024_graph003_01.dat" User time (seconds): 354.06 System time (seconds): 9.05 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:03.14 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 30824968 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 10492848 Voluntary context switches: 26 Involuntary context switches: 2122 Swaps: 0 File system inputs: 0 File system outputs: 656 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 13:37:05 2023]