#BEGIN: [Mon Sep 4 10:35:40 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent1 #INSTANCE1: /benchmark/random_instance/random_instance032_graph004.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph004_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent /benchmark/random_instance/random_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_01.dat c /benchmark/random_instance/random_instance032_graph004.col c /benchmark/random_instance/random_instance032_graph004_01.dat *** Info : (clingo): INTERRUPTED by signal! s 363 358 72 2 218 335 250 90 156 186 189 404 343 125 403 273 227 237 179 331 191 371 205 59 78 409 352 112 230 154 172 402 34 180 201 324 236 76 107 102 161 359 226 54 62 379 308 122 124 274 19 254 139 267 322 195 220 98 53 260 202 87 339 31 361 350 301 118 17 188 399 235 248 197 336 334 266 55 99 415 213 65 12 83 41 120 397 288 372 258 378 271 398 256 176 94 318 410 293 138 257 149 63 281 196 86 346 312 337 268 109 5 194 73 251 290 407 277 126 249 181 383 209 210 323 242 374 389 330 61 t 144 3 6 61 196 381 357 226 55 372 167 405 110 58 214 13 155 288 56 316 73 380 401 298 9 97 52 21 281 285 251 185 256 361 59 247 342 137 314 333 166 156 328 89 31 414 87 65 360 330 205 338 366 203 252 23 152 402 174 329 413 98 340 88 211 146 356 189 395 80 164 34 346 215 30 258 305 242 262 216 304 46 344 2 377 109 126 403 64 311 179 268 183 390 317 39 245 332 138 243 120 107 206 277 299 44 150 112 263 323 369 68 321 157 17 60 406 224 125 364 33 292 303 273 260 389 18 290 363 12 a YES a 2 5 12 17 19 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 19 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 308 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 19 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 321 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 19 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 321 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 19 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 148 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 321 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 407 409 410 415 a 2 5 12 17 19 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 148 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 407 409 410 415 a 2 5 12 17 19 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 266 267 268 271 273 274 277 281 288 290 293 301 302 308 311 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 293 301 302 308 311 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 293 301 308 311 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 122 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 293 301 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 112 118 120 121 122 124 125 126 138 139 149 154 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 293 301 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 242 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 293 301 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 87 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 293 301 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 218 220 226 227 230 235 236 237 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 288 290 293 301 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 226 227 230 235 236 237 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 288 290 293 301 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 226 227 230 235 236 237 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 288 290 293 301 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 402 403 404 407 409 415 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 201 202 205 209 210 213 220 226 227 230 235 236 237 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 402 403 404 407 409 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 402 403 404 407 409 a 2 5 12 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 402 403 404 407 a 2 5 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 402 403 404 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 403 404 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 399 403 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 402 403 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 398 402 407 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 360 361 362 363 371 372 374 377 379 383 389 397 402 407 410 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 334 335 336 337 339 343 346 350 351 352 358 359 361 362 363 371 372 374 377 379 383 389 397 402 407 410 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 166 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 362 363 371 372 374 377 379 383 389 397 402 407 410 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 166 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 362 363 371 372 374 377 379 383 389 397 402 407 415 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 160 161 166 170 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 402 407 415 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 160 161 166 170 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 402 407 410 415 a 2 5 9 12 16 17 22 31 34 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 148 149 160 166 170 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 402 407 410 415 a 2 5 9 12 16 17 22 31 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 148 149 160 166 170 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 410 415 a 2 5 9 12 16 17 22 31 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 148 149 160 166 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 415 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 72 73 76 78 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 148 149 160 166 172 176 179 181 186 188 189 191 194 195 196 197 202 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 312 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 415 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 148 149 160 166 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 312 318 323 324 330 331 335 336 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 415 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 148 149 160 166 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 312 318 323 324 330 331 335 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 415 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 148 149 160 166 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 312 318 323 324 330 331 335 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 415 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 148 149 166 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 415 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 148 149 161 166 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 268 271 273 274 277 281 285 286 288 290 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 148 149 156 161 166 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 402 407 409 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 148 149 156 161 166 167 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 407 409 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 149 156 161 166 167 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 351 352 358 359 361 363 371 372 374 377 379 383 389 397 399 407 409 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 149 156 161 166 167 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 351 352 359 361 363 364 371 372 374 377 379 383 389 397 399 407 409 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 149 156 161 166 167 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 352 359 360 361 363 364 371 372 374 377 379 383 389 397 399 407 409 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 149 156 161 166 167 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 352 359 360 361 363 364 371 372 374 377 379 383 389 397 407 409 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 126 138 139 140 149 156 161 166 167 172 175 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 352 359 360 361 363 364 366 371 372 374 377 379 383 389 397 407 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 352 359 360 361 363 364 366 371 372 374 377 379 383 389 397 407 410 a 2 5 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 339 343 346 350 352 359 360 361 363 364 366 371 372 374 377 379 383 389 390 397 407 410 a 2 5 6 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 254 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 343 346 350 352 359 360 361 363 364 366 371 372 374 377 379 383 389 390 397 407 410 a 2 5 6 9 12 16 17 31 41 44 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 343 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 407 410 a 2 5 6 9 12 16 17 31 41 44 52 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 343 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 407 a 2 3 5 6 9 12 16 17 31 41 44 52 53 54 55 59 61 62 63 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 407 a 2 3 5 6 9 12 16 17 31 41 44 52 53 54 55 59 61 62 63 64 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 256 257 258 260 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 59 61 62 63 64 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 308 311 312 318 323 324 330 331 335 337 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 56 59 61 62 63 64 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 311 312 318 323 324 330 331 335 337 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 56 59 61 62 63 64 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 124 125 126 138 139 140 144 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 226 227 235 236 237 243 248 249 250 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 311 312 318 323 330 331 335 337 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 56 59 61 62 63 64 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 161 166 167 172 176 179 181 186 188 189 191 194 195 196 197 205 209 210 213 215 220 224 226 227 235 236 237 243 248 249 250 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 311 312 318 323 330 331 335 337 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 56 59 61 62 63 64 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 220 224 226 227 235 236 237 243 248 249 250 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 311 312 318 323 330 331 335 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 56 59 61 62 63 64 65 70 72 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 250 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 301 302 311 312 318 323 330 331 335 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 56 59 61 62 63 64 65 70 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 250 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 298 301 302 311 312 318 323 330 331 335 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 31 44 52 53 54 55 56 59 61 62 63 64 65 70 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 298 301 302 311 312 318 323 330 331 335 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 18 31 44 52 53 54 55 56 59 61 62 63 64 65 70 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 298 301 302 311 312 318 323 330 331 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 18 31 34 44 52 53 54 55 56 59 61 62 63 64 65 70 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 251 256 257 258 260 262 263 266 267 271 273 274 277 281 285 286 288 290 292 293 298 301 311 312 318 323 330 331 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 18 31 34 44 52 53 54 55 56 59 61 62 64 65 70 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 286 288 290 292 293 298 301 311 312 318 323 330 331 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 18 31 34 44 52 53 54 55 56 59 61 62 64 65 70 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 285 288 290 292 293 298 301 311 312 318 323 330 331 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 61 62 64 65 70 73 76 78 81 83 86 90 94 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 251 256 257 258 260 262 263 266 267 268 273 274 277 281 285 288 290 292 293 298 301 311 312 318 323 330 331 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 235 236 243 248 249 251 256 257 258 260 262 263 266 267 268 273 274 277 281 285 288 290 292 293 298 301 311 312 318 323 330 331 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 402 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 209 210 213 215 216 220 224 226 227 236 243 248 249 251 256 257 258 260 262 263 266 267 268 273 274 277 281 285 288 290 292 293 298 301 311 312 318 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 402 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 257 258 260 262 263 266 267 268 273 274 277 281 285 288 290 292 293 298 301 311 312 318 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 402 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 186 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 311 312 318 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 402 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 110 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 257 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 311 312 318 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 402 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 110 111 112 118 120 121 122 125 126 138 139 140 144 149 155 156 157 161 166 167 172 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 311 312 314 318 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 402 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 110 111 112 118 120 121 125 126 138 139 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 311 312 314 318 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 379 380 383 389 390 397 402 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 110 111 112 118 120 121 125 126 138 139 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 301 311 312 314 318 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 380 383 389 390 397 402 406 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 110 111 112 118 120 121 125 126 138 139 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 374 377 380 383 389 390 397 402 406 a 2 3 5 6 9 12 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 110 111 112 118 120 121 125 126 138 139 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 406 a 2 3 5 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 99 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 406 a 2 3 5 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 70 73 76 78 81 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 406 a 2 3 5 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 331 332 337 338 346 350 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 403 406 a 2 3 5 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 331 332 337 338 346 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 403 406 a 2 3 5 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 332 337 338 342 346 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 266 268 273 274 277 281 285 288 290 292 293 298 299 301 311 312 314 323 330 332 337 338 342 346 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 191 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 268 273 274 277 281 285 288 290 292 293 298 299 301 305 311 312 314 323 330 332 337 338 342 346 352 359 360 361 363 364 366 371 372 377 380 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 268 273 274 277 281 285 288 290 292 293 298 299 301 305 311 312 314 323 330 332 337 338 342 346 352 359 360 361 363 364 366 371 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 249 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 293 298 299 301 304 305 311 312 314 323 330 332 337 338 342 346 352 359 360 361 363 364 366 371 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 188 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 293 298 299 301 304 305 311 312 314 323 330 332 337 338 342 346 352 359 360 361 363 364 366 371 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 183 188 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 293 298 299 301 304 305 311 312 314 323 330 332 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 181 183 188 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 312 314 317 323 330 332 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 88 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 183 188 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 236 243 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 312 314 317 323 330 332 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 88 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 155 156 157 161 166 167 172 174 176 179 183 188 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 312 314 317 323 330 332 333 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 88 90 98 102 107 109 110 111 112 118 120 121 125 126 138 140 144 149 152 155 156 157 161 166 167 172 174 176 179 183 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 312 314 317 323 330 332 333 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 39 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 88 90 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 172 174 176 179 183 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 312 314 317 323 330 332 333 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 16 17 18 21 30 31 34 39 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 88 90 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 172 174 176 179 183 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 314 317 323 330 332 333 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 30 31 34 39 44 52 53 54 55 56 58 59 60 61 62 64 65 68 70 73 76 78 83 86 87 88 90 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 172 174 176 179 183 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 314 317 323 330 332 333 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 76 78 83 86 87 88 90 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 172 174 176 179 183 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 314 317 323 330 332 333 337 338 342 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 76 78 83 86 87 88 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 172 174 176 179 183 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 304 305 311 314 317 323 330 332 333 337 338 342 344 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 76 78 83 86 87 88 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 213 215 216 220 224 226 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 330 332 333 337 338 342 344 346 352 359 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 76 78 83 86 87 88 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 330 332 333 337 338 342 344 346 352 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 111 112 118 120 121 125 126 138 144 149 152 155 156 157 161 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 330 332 333 337 338 342 344 346 352 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 111 112 118 120 125 126 138 144 149 152 155 156 157 161 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 111 112 120 125 126 138 144 149 152 155 156 157 161 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 372 377 380 381 383 389 390 397 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 111 112 120 125 126 138 144 149 152 155 156 157 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 372 377 380 381 383 389 390 397 401 402 403 406 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 111 112 120 125 126 138 144 149 152 155 156 157 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 372 377 380 381 389 390 397 401 402 403 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 54 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 112 120 125 126 138 144 149 152 155 156 157 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 112 120 125 126 138 144 149 152 155 156 157 166 167 174 176 179 183 189 195 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 78 83 86 87 88 98 102 107 109 110 112 120 125 126 138 144 146 149 152 155 156 157 166 167 174 176 179 183 189 196 197 203 205 206 209 210 211 213 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 78 83 87 88 98 102 107 109 110 112 120 125 126 138 144 146 149 152 155 156 157 166 167 174 176 179 183 189 196 197 203 205 206 209 210 211 213 214 215 216 220 224 226 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 78 83 87 88 97 98 102 107 109 110 112 120 125 126 138 144 146 149 152 155 156 157 166 167 174 176 179 183 189 196 197 203 205 206 209 210 211 213 214 215 216 220 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 83 87 88 97 98 102 107 109 110 112 120 125 126 138 144 146 149 152 155 156 157 166 167 174 176 179 183 189 196 197 203 205 206 209 210 211 213 214 215 216 220 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 301 303 304 305 311 314 316 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 83 87 88 97 98 102 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 166 167 174 176 179 183 189 196 197 203 205 206 209 210 211 213 214 215 216 220 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 83 87 88 97 98 102 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 166 167 174 176 179 183 185 189 196 197 203 205 206 209 210 211 213 214 215 216 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 83 87 88 97 98 102 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 166 167 174 179 183 185 189 196 197 203 205 206 209 210 211 213 214 215 216 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 80 83 87 88 97 98 102 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 166 167 174 179 183 185 189 196 197 203 205 206 209 210 211 214 215 216 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 80 83 87 88 97 98 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 164 166 167 174 179 183 185 189 196 197 203 205 206 209 210 211 214 215 216 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 52 53 55 56 58 59 60 61 64 65 68 70 73 80 83 87 88 97 98 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 164 166 167 174 179 183 185 189 196 197 203 205 206 210 211 214 215 216 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 352 356 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 58 59 60 61 64 65 68 70 73 80 83 87 88 97 98 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 210 211 214 215 216 224 226 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 352 356 360 361 363 364 366 369 372 377 380 381 389 390 397 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 58 59 60 61 64 65 68 70 73 80 83 87 88 97 98 107 109 110 112 120 125 126 138 144 146 149 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 210 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 352 356 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 58 59 60 61 64 65 68 70 73 80 83 87 88 97 98 107 109 110 112 120 125 126 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 210 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 337 338 340 342 344 346 352 356 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 58 59 60 61 64 65 68 70 73 80 83 87 88 97 98 107 109 110 112 120 125 126 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 210 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 338 340 342 344 346 352 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 53 55 56 58 59 60 61 64 65 68 70 73 80 87 88 97 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 210 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 330 332 333 338 340 342 344 346 352 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 34 39 44 46 52 55 56 58 59 60 61 64 65 68 70 73 80 87 88 97 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 210 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 352 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 70 73 80 87 88 97 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 352 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 73 80 87 88 97 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 352 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 55 56 58 59 60 61 64 65 68 73 80 87 88 89 97 98 107 109 110 112 120 125 126 137 138 144 146 150 152 155 156 157 164 166 167 174 179 183 185 189 196 203 205 206 211 214 215 216 224 226 242 243 245 247 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 314 316 317 321 323 328 329 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 395 401 402 403 405 406 413 414 c Step: 128 Command being timed: "python3 run_3.py --existent /benchmark/random_instance/random_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_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.41 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): 295940 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 109489 Voluntary context switches: 24 Involuntary context switches: 320 Swaps: 0 File system inputs: 0 File system outputs: 832 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 10:36:46 2023]