#BEGIN: [Mon Sep 4 12:57:24 2023] #HOST: s15 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance032_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat c /benchmark/random_instance/random_instance032_graph001.col c /benchmark/random_instance/random_instance032_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! s 295 219 82 306 346 304 88 312 98 75 137 40 171 180 73 369 133 232 200 34 364 256 231 253 46 173 261 278 94 92 47 361 18 50 168 122 221 44 86 271 9 37 17 240 266 61 338 201 263 230 127 68 280 91 323 291 118 59 43 197 215 23 35 416 250 81 80 42 352 248 404 69 347 367 386 302 190 169 262 129 406 378 182 128 39 177 192 376 114 293 216 83 259 146 348 214 111 6 1 371 340 246 147 377 238 396 235 285 368 321 318 4 57 198 344 307 319 145 411 188 211 70 124 251 151 305 11 360 284 252 119 t 209 5 72 163 346 63 14 284 65 99 316 349 282 350 76 183 61 49 125 154 25 296 234 175 33 211 412 190 170 216 366 138 331 109 135 261 21 403 354 192 3 8 159 291 178 264 88 240 223 4 385 193 259 256 388 398 248 252 227 293 305 370 379 134 364 317 214 150 406 400 221 149 393 249 13 332 92 239 276 382 378 96 108 171 85 52 91 38 245 165 43 323 372 341 119 401 307 254 94 184 384 231 16 250 225 342 123 168 224 219 328 191 387 28 241 206 205 57 257 279 95 327 361 344 312 151 6 140 263 111 54 a YES a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 232 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 43 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 230 231 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 39 40 42 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 179 180 182 188 190 192 197 198 200 201 214 215 216 219 221 230 231 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 38 39 40 42 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 179 180 182 188 190 192 197 198 200 201 214 215 216 219 221 231 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 34 35 37 38 39 40 42 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 179 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 240 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 68 69 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 179 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 168 169 171 173 177 179 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 168 169 171 173 177 179 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 107 111 118 119 122 124 127 128 133 137 145 146 147 151 168 169 171 173 177 179 180 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 107 111 118 119 122 124 127 128 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 258 259 261 262 263 266 271 278 280 284 285 291 293 295 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 258 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 258 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 334 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 411 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 59 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 258 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 334 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 258 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 334 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 258 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 326 334 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 326 334 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 326 334 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 326 334 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 235 238 246 248 250 251 252 253 256 259 261 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 111 114 118 119 121 122 124 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 107 111 118 119 121 122 124 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 230 231 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 82 83 86 88 91 92 94 98 107 111 118 119 121 122 124 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 201 205 211 214 215 216 219 221 231 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 205 211 214 215 216 219 221 231 234 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 205 211 214 215 216 219 221 231 234 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 1 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 205 211 214 215 216 219 221 231 234 235 238 246 248 250 251 252 253 256 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 205 211 214 215 216 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 179 182 188 190 192 197 198 200 205 211 214 215 216 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 6 9 11 17 18 23 29 34 35 37 38 39 40 42 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 411 416 a 6 9 11 17 18 23 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 107 111 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 92 94 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 301 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 376 377 378 386 396 404 406 411 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 253 256 258 259 262 263 266 271 278 280 284 285 293 295 301 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 376 377 378 386 396 404 406 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 278 280 284 285 293 295 301 302 304 305 306 307 310 312 313 318 319 321 323 326 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 386 396 404 406 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 278 280 284 285 291 293 295 301 302 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 386 396 404 406 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 386 396 404 406 416 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 386 396 404 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 182 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 396 404 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 42 43 44 46 47 50 57 61 65 68 70 73 75 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 387 396 404 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 177 188 190 192 197 198 200 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 387 396 404 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 197 198 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 352 360 361 364 367 368 369 371 372 376 377 378 387 396 404 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 387 396 404 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 369 371 372 376 377 378 379 387 396 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 246 248 250 251 252 256 258 259 262 263 266 271 276 278 280 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 371 372 376 377 378 379 387 388 396 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 80 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 262 263 266 271 276 278 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 371 372 376 377 378 379 387 388 396 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 262 263 266 271 276 278 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 338 340 342 344 346 347 348 360 361 364 367 368 371 372 376 377 378 379 387 388 396 398 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 121 122 124 127 128 129 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 262 263 266 271 276 278 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 340 342 344 346 347 348 360 361 364 367 368 371 372 376 377 378 379 387 388 396 398 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 121 122 124 127 128 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 262 263 266 271 276 278 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 340 341 342 344 346 347 348 360 361 364 367 368 371 372 376 377 378 379 387 388 396 398 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 127 128 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 261 262 263 266 271 276 278 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 340 341 342 344 346 347 348 360 361 364 367 368 371 372 376 377 378 379 387 388 396 398 406 a 4 6 9 11 17 18 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 261 262 263 266 271 276 278 284 285 291 293 295 301 304 305 306 307 310 312 313 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 367 368 371 372 376 377 378 379 387 388 396 398 406 a 4 6 9 11 17 18 21 29 34 35 37 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 261 262 263 266 271 276 278 284 285 291 293 301 304 305 306 307 310 312 313 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 367 368 371 372 376 377 378 379 387 388 396 398 406 a 4 6 9 11 17 18 21 29 34 35 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 133 137 143 145 146 147 151 155 168 169 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 261 262 263 266 271 276 278 284 285 291 293 301 304 305 306 307 310 312 313 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 367 368 371 372 376 377 378 379 387 388 393 396 398 406 a 4 6 9 11 17 18 21 29 34 35 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 133 137 143 145 146 147 151 155 168 169 170 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 313 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 367 368 371 372 376 377 378 379 387 388 393 396 398 406 a 4 6 9 11 17 18 21 29 34 35 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 133 137 143 145 146 147 151 155 168 169 170 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 377 378 379 387 388 393 396 398 406 a 4 6 9 11 17 18 21 29 33 34 35 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 143 145 146 147 151 155 168 169 170 171 173 175 177 188 190 192 193 197 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 377 378 379 387 388 393 396 398 406 a 4 6 9 11 17 18 21 29 33 34 35 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 143 145 146 147 151 155 168 169 170 171 173 175 177 188 190 192 193 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 377 378 379 387 388 393 396 398 406 a 4 6 9 11 17 18 21 29 33 34 35 38 39 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 143 145 146 147 151 155 163 168 169 170 171 173 175 177 188 190 192 193 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 396 398 406 a 4 6 9 11 17 18 21 29 33 34 35 38 40 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 143 145 146 147 151 155 163 168 169 170 171 173 175 177 188 190 192 193 198 205 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 396 398 400 406 a 4 6 9 11 17 18 21 29 33 34 35 38 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 143 145 146 147 151 155 163 168 169 170 171 173 175 177 188 190 192 193 198 205 209 211 214 215 216 218 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 396 398 400 406 a 4 6 9 11 17 18 21 29 33 34 35 38 43 44 46 47 50 57 61 65 68 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 396 398 400 406 a 4 6 9 11 17 18 21 29 33 34 35 38 43 44 46 47 50 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 396 398 400 406 a 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 50 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 396 398 400 406 a 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 50 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 183 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 285 291 293 301 304 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 50 54 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 183 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 235 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 301 304 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 50 54 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 183 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 301 304 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 50 54 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 183 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 301 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 137 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 246 248 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 301 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 246 248 249 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 301 305 306 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 138 143 145 146 147 151 155 163 168 169 170 171 173 175 177 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 246 248 249 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 301 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 94 96 98 108 111 114 118 119 122 124 128 138 143 145 146 147 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 246 248 249 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 301 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 92 94 96 98 108 111 114 118 119 122 124 128 138 143 145 146 147 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 246 248 249 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 371 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 92 94 96 98 108 111 114 118 119 122 124 128 138 143 145 146 147 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 245 246 248 249 250 251 252 256 257 258 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 92 94 96 98 108 111 114 118 119 122 124 128 138 143 145 146 147 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 245 246 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 387 388 393 398 400 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 86 88 91 92 94 96 98 108 111 114 118 119 122 124 128 138 143 145 146 147 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 387 388 393 398 400 401 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 44 46 47 54 57 61 65 70 73 75 76 81 83 85 86 88 91 92 94 96 98 108 111 114 118 119 122 124 128 138 143 146 147 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 387 388 393 398 400 401 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 46 47 54 57 61 65 70 73 75 76 81 83 85 86 88 91 92 94 96 98 108 111 114 118 119 122 124 128 138 143 146 147 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 215 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 387 388 393 398 400 401 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 46 47 54 57 61 65 70 73 75 76 81 83 85 86 88 91 92 94 96 98 108 111 114 118 119 122 124 128 138 143 146 147 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 382 387 388 393 398 400 401 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 46 47 54 57 61 65 70 73 76 81 83 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 124 128 138 143 146 147 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 382 387 388 393 398 400 401 406 a 3 4 6 9 11 14 17 18 21 29 33 34 38 43 46 47 54 57 61 65 70 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 124 128 138 143 146 147 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 382 387 388 393 398 400 401 406 a 3 4 6 9 11 14 18 21 29 33 34 38 43 46 47 54 57 61 65 70 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 124 128 138 143 146 147 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 360 361 364 366 367 368 372 376 378 379 382 384 387 388 393 398 400 401 406 a 3 4 6 9 11 14 18 21 29 33 34 38 43 46 47 54 57 61 65 70 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 124 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 284 291 293 305 307 310 312 318 319 321 323 327 340 341 342 344 346 347 348 350 354 361 364 366 367 368 372 376 378 379 382 384 387 388 393 398 400 401 406 a 3 4 6 9 11 14 18 21 29 33 34 38 43 46 47 54 57 61 65 70 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 124 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 284 291 293 305 307 310 312 316 318 319 323 327 340 341 342 344 346 347 348 350 354 361 364 366 367 368 372 376 378 379 382 384 387 388 393 398 400 401 406 a 3 4 6 9 11 14 18 21 29 33 34 38 43 46 47 54 57 61 65 70 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 124 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 284 291 293 305 307 310 312 316 318 319 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 406 a 3 4 6 9 11 14 18 21 29 33 34 38 43 46 47 54 57 61 65 70 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 284 291 293 305 307 310 312 316 318 319 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 406 a 3 4 6 9 11 14 18 21 29 33 34 38 43 46 47 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 319 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 406 a 3 4 6 9 11 14 18 21 29 33 34 38 43 46 47 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 29 33 34 38 43 46 47 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 114 118 119 122 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 25 29 33 34 38 43 46 47 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 118 119 122 128 138 143 146 147 149 150 151 154 155 163 168 169 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 25 29 33 34 38 43 46 47 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 118 119 122 125 128 138 143 146 147 149 150 151 154 155 163 168 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 25 29 33 34 38 43 46 47 52 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 118 119 122 125 128 138 143 147 149 150 151 154 155 163 168 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 340 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 25 29 33 34 38 43 46 47 52 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 118 119 122 125 128 138 140 143 147 149 150 151 154 155 163 168 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 25 29 33 34 38 43 46 47 52 54 57 61 65 72 73 76 81 85 86 88 91 92 94 95 96 98 108 111 118 119 122 123 125 128 138 140 143 149 150 151 154 155 163 168 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 25 29 33 34 38 43 46 47 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 108 111 118 119 122 123 125 128 138 140 143 149 150 151 154 155 163 168 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 14 16 21 25 29 33 34 38 43 46 47 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 108 111 118 119 123 125 128 138 140 143 149 150 151 154 155 163 168 170 171 173 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 331 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 47 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 108 111 118 119 123 125 128 138 140 143 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 331 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 47 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 111 118 119 123 125 138 140 143 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 238 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 331 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 47 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 111 118 119 123 125 138 140 143 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 331 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 47 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 111 118 119 123 125 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 331 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 111 118 119 123 125 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 271 276 279 282 284 291 293 305 307 310 312 316 318 323 327 331 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 111 118 119 123 125 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 276 279 282 284 291 293 305 307 310 312 316 318 323 327 331 341 342 344 346 347 348 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 111 118 119 123 125 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 276 279 282 284 291 293 305 307 310 312 316 318 323 327 328 331 341 342 344 346 348 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 11 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 111 118 119 123 125 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 276 279 282 284 291 293 305 307 310 312 316 318 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 109 111 118 119 123 125 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 266 276 279 282 284 291 293 305 307 310 312 316 318 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 109 111 118 119 123 125 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 276 279 282 284 291 293 296 305 307 310 312 316 318 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 109 111 118 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 276 279 282 284 291 293 296 305 307 310 312 316 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 231 234 239 241 245 248 249 250 251 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 310 312 316 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 9 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 310 312 316 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 188 190 191 192 193 198 205 209 211 214 216 219 221 223 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 310 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 73 76 81 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 209 211 214 216 219 221 223 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 310 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 76 81 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 209 211 214 216 219 221 223 224 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 310 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 368 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 6 8 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 76 81 85 88 91 92 94 95 96 98 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 310 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 5 6 8 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 76 81 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 262 263 264 276 279 282 284 291 293 296 305 307 310 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 a 3 4 5 6 8 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 76 81 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 310 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 76 81 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 370 372 376 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 29 33 34 38 43 46 49 52 54 57 61 65 72 76 81 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 29 33 34 38 43 46 49 52 54 57 61 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 155 163 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 29 33 34 38 43 46 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 163 168 170 171 175 178 183 184 190 191 192 193 198 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 29 33 34 38 43 46 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 34 38 43 46 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 34 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 a 3 4 5 6 8 13 14 16 21 25 28 33 38 43 49 52 54 57 61 63 65 72 76 85 88 91 92 94 95 96 99 108 109 111 119 123 125 134 135 138 140 149 150 151 154 159 163 165 168 170 171 175 178 183 184 190 191 192 193 205 206 209 211 214 216 219 221 223 224 225 227 231 234 239 240 241 245 248 249 250 252 254 256 257 259 261 263 264 276 279 282 284 291 293 296 305 307 312 316 317 323 327 328 331 332 341 342 344 346 349 350 354 361 364 366 370 372 378 379 382 384 385 387 388 393 398 400 401 403 406 412 c Step: 127 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance032_graph001.col /benchmark/random_instance/random_instance032_graph001_01.dat" User time (seconds): 65.29 System time (seconds): 0.11 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 1:05.42 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): 296420 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 110268 Voluntary context switches: 24 Involuntary context switches: 155 Swaps: 0 File system inputs: 0 File system outputs: 824 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 12:58:30 2023]