#BEGIN: [Mon Sep 4 14:47:06 2023] #HOST: s02 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-wallclock-banbaralab2-existent3 #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 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na -t4 /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! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.001 seconds 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 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 207 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 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 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 191 194 195 196 197 201 202 205 207 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 307 308 312 318 322 323 324 330 331 334 335 336 337 339 343 346 350 352 358 359 361 363 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 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 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 307 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 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 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 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 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 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 83 85 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 195 196 197 201 202 205 209 210 213 218 220 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 338 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 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 81 83 85 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 195 196 197 201 202 205 209 210 213 218 220 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 338 339 343 346 350 352 358 359 361 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 81 83 85 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 195 196 197 201 202 205 209 210 213 218 220 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 338 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 81 83 85 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 195 196 197 201 202 205 209 210 213 218 220 227 230 235 236 237 243 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 338 339 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 17 31 34 41 53 54 55 59 61 62 63 65 72 73 76 78 81 83 85 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 195 196 197 201 202 205 209 210 213 218 220 227 230 235 236 237 243 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 338 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 17 31 34 53 54 55 59 61 62 63 65 72 73 76 78 81 83 85 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 195 196 197 201 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 17 31 34 53 54 55 59 61 62 63 65 72 73 76 78 81 83 85 86 87 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 17 31 34 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 179 180 181 186 188 189 191 195 196 197 201 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 17 31 34 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 180 181 186 188 189 191 195 196 197 198 201 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 330 331 334 335 336 337 338 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 31 34 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 180 181 186 188 189 191 195 196 197 198 201 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 322 323 324 326 330 331 334 335 336 337 338 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 31 34 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 180 181 186 188 189 191 195 196 197 198 201 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 322 323 324 326 330 331 334 335 336 337 338 343 346 350 352 358 359 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 31 34 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 180 181 186 188 189 191 195 196 197 198 201 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 323 324 326 330 331 334 335 336 337 338 343 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 16 31 34 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 180 181 186 188 189 191 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 323 324 326 330 331 334 335 336 337 338 343 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 16 31 34 39 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 107 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 180 181 186 188 189 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 301 308 311 312 318 323 324 326 330 331 334 335 336 337 338 343 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 16 31 34 39 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 176 180 181 186 188 189 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 311 312 318 323 324 326 330 331 334 335 336 337 338 343 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 12 16 31 34 39 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 181 186 188 189 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 311 312 318 323 324 326 330 331 334 335 336 337 338 343 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 72 73 76 78 81 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 181 186 188 189 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 311 312 318 323 324 326 330 331 334 335 336 337 338 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 81 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 181 186 188 189 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 311 312 318 323 324 326 330 331 334 335 337 338 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 81 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 181 186 188 189 194 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 311 312 318 323 324 326 330 331 334 335 337 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 404 407 409 410 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 181 186 188 189 194 195 196 197 198 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 311 312 318 323 324 326 330 331 334 335 337 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 181 186 188 189 194 195 196 197 198 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 350 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 181 186 188 189 194 195 196 197 198 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 255 256 257 258 260 262 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 371 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 366 371 372 374 378 379 383 389 397 398 399 402 403 404 407 410 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 78 83 85 86 90 94 98 99 102 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 366 372 374 378 379 383 389 397 398 399 402 403 404 407 410 412 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 76 83 85 86 90 94 98 99 102 108 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 366 372 374 378 379 383 389 397 398 399 402 403 404 407 410 412 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 108 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 410 412 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 108 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 108 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 296 301 308 312 318 323 324 326 330 331 334 335 337 346 350 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 125 126 138 139 149 154 156 161 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 324 326 330 331 334 335 337 346 350 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 415 a 2 5 6 9 12 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 125 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 324 326 330 331 335 337 346 350 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 125 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 288 290 293 301 308 312 318 323 324 326 330 331 335 337 346 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 415 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 125 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 194 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 308 312 318 323 324 326 330 331 335 337 346 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 a 2 5 6 9 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 125 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 a 2 5 6 9 10 12 15 16 31 34 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 362 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 a 2 5 6 9 10 12 15 16 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 195 196 197 202 205 209 210 213 218 220 227 230 235 236 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 409 410 412 a 2 5 6 9 10 12 15 16 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 195 196 197 202 205 209 210 213 218 220 227 230 235 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 372 374 378 379 383 389 397 398 399 402 403 404 407 408 409 410 412 a 2 5 6 9 10 12 15 16 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 172 174 176 179 181 186 188 189 195 196 197 202 205 209 210 213 218 220 227 230 235 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 408 410 412 a 2 5 6 9 10 12 16 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 209 210 213 218 220 227 230 235 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 408 410 412 a 2 5 6 9 10 12 16 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 209 210 213 218 220 227 230 235 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 302 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 408 410 a 2 5 6 9 10 12 16 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 230 235 237 243 248 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 302 308 312 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 408 410 a 2 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 230 235 237 243 248 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 408 410 a 2 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 230 235 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 408 a 2 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 230 235 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 407 a 2 3 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 230 235 237 243 248 249 250 251 254 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 a 2 3 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 230 235 237 243 248 249 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 397 398 399 402 403 404 a 2 3 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 235 237 243 248 249 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 358 359 360 361 363 365 366 372 374 378 379 383 389 390 397 398 399 402 403 404 a 2 3 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 235 237 243 248 249 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 379 383 389 390 397 398 399 402 403 404 a 2 3 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 235 237 243 248 249 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 301 302 308 318 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 399 402 403 404 a 2 3 5 6 9 10 12 16 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 235 237 243 248 249 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 301 302 308 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 399 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 218 220 227 235 237 243 248 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 301 302 308 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 399 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 218 220 227 235 237 243 248 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 301 302 308 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 218 227 235 237 243 248 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 301 302 308 321 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 56 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 218 227 235 237 243 248 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 301 302 321 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 56 59 61 62 63 64 65 67 70 72 73 83 85 86 90 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 218 227 235 237 243 248 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 302 321 323 324 326 330 331 335 337 338 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 56 59 61 62 63 64 65 67 70 72 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 218 227 235 237 243 248 250 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 302 321 323 324 326 330 331 335 337 338 340 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 56 59 61 62 63 64 65 67 70 72 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 218 227 235 237 243 248 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 302 321 323 324 326 330 331 332 335 337 338 340 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 56 59 61 62 63 64 65 67 70 72 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 299 302 321 323 324 326 330 331 332 335 337 338 340 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 321 323 324 326 330 331 332 335 337 338 340 346 352 359 360 361 363 364 365 366 372 374 378 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 266 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 321 323 324 326 330 331 332 335 337 338 340 346 352 359 360 361 363 364 365 366 372 374 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 321 323 324 326 330 331 332 335 337 338 340 344 346 352 359 360 361 363 364 365 366 372 374 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 181 186 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 305 321 323 324 326 330 331 332 335 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 186 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 305 321 323 324 326 330 331 332 333 335 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 110 112 118 120 124 126 138 139 149 150 154 156 161 166 167 170 172 174 176 179 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 305 321 323 324 326 330 331 332 333 335 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 110 112 118 120 124 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 195 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 305 321 323 324 326 330 331 332 333 335 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 94 98 99 102 107 108 109 110 112 118 120 124 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 196 197 202 205 207 209 210 213 215 216 218 227 235 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 335 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 88 94 98 99 102 107 108 109 110 112 118 120 124 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 196 197 202 205 207 209 210 213 215 216 218 227 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 335 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 18 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 88 94 98 99 102 107 108 109 110 112 118 120 124 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 196 197 202 205 207 209 210 213 215 216 218 227 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 18 22 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 88 94 98 99 102 107 108 109 110 112 118 120 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 196 197 202 205 207 209 210 213 215 216 218 224 227 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 18 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 88 94 98 99 102 107 108 109 110 112 118 120 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 196 197 202 205 207 209 210 213 215 216 218 224 227 243 248 251 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 18 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 85 86 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 196 197 202 205 207 209 210 213 215 216 218 224 227 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 18 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 86 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 188 189 196 197 202 205 207 209 210 213 215 216 218 224 226 227 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 404 a 2 3 5 6 9 10 12 16 17 18 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 86 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 156 157 161 166 167 170 174 176 179 185 188 189 196 197 202 205 207 209 210 213 215 216 218 224 226 227 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 286 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 86 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 197 202 205 207 209 210 213 215 216 218 224 226 227 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 31 34 36 39 44 53 54 55 56 59 61 62 63 64 65 67 70 73 83 86 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 197 202 205 207 210 213 215 216 218 224 226 227 242 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 23 31 34 36 39 44 53 54 55 56 59 61 63 64 65 67 70 73 83 86 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 197 202 205 207 210 213 215 216 218 224 226 227 242 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 23 31 34 39 44 53 54 55 56 59 61 63 64 65 67 70 73 83 86 87 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 197 202 205 207 210 213 215 216 218 224 226 227 242 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 61 63 64 65 67 70 73 83 86 87 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 215 216 218 224 226 227 242 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 288 290 292 293 298 299 302 303 305 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 61 63 64 65 67 70 73 83 87 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 215 216 218 224 226 227 242 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 61 63 64 65 67 70 73 83 87 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 215 216 224 226 227 242 243 248 251 252 256 257 258 260 262 263 267 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 10 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 63 64 65 67 70 73 83 87 88 94 98 102 107 108 109 110 112 118 120 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 215 216 224 226 227 242 243 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 63 64 65 67 70 73 83 87 88 94 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 215 216 224 226 227 242 243 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 383 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 63 64 65 67 70 73 83 87 88 94 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 154 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 214 215 216 224 226 227 242 243 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 381 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 63 64 65 67 70 73 83 87 88 94 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 214 215 216 224 226 227 242 243 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 331 332 333 337 338 340 344 346 352 359 360 361 363 364 365 366 372 377 381 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 63 64 65 67 70 73 83 87 88 94 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 214 215 216 224 226 227 242 243 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 332 333 337 338 340 342 344 346 352 359 360 361 363 364 365 366 372 377 381 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 63 64 65 67 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 207 210 213 214 215 216 224 226 227 242 243 245 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 332 333 337 338 340 342 344 346 352 359 360 361 363 364 365 366 372 377 381 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 64 65 67 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 206 207 210 213 214 215 216 224 226 227 242 243 245 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 293 298 299 302 303 305 316 321 323 324 326 330 332 333 337 338 340 342 344 346 352 359 360 361 363 364 365 366 372 377 381 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 64 65 67 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 206 207 210 213 214 215 216 224 226 227 242 243 245 248 251 252 256 257 258 260 262 263 268 271 273 274 277 281 285 288 290 292 298 299 302 303 305 316 321 323 324 326 330 332 333 337 338 340 342 344 346 352 359 360 361 363 364 365 366 369 372 377 381 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 59 60 61 64 65 67 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 206 207 210 213 214 215 216 224 226 227 242 243 245 248 251 252 256 257 258 260 262 263 268 273 274 277 281 285 288 290 292 298 299 302 303 305 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 359 360 361 363 364 365 366 369 372 377 381 389 390 397 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 58 59 60 61 64 65 67 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 206 207 210 213 214 215 216 224 226 227 242 243 245 248 251 252 256 257 258 260 262 263 268 273 274 277 281 285 288 290 292 298 299 302 303 305 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 359 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 58 59 60 61 64 65 67 68 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 206 207 210 213 214 215 216 224 226 242 243 245 248 251 252 256 257 258 260 262 263 268 273 274 277 281 285 288 290 292 298 299 302 303 305 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 359 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 58 59 60 61 64 65 67 68 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 206 207 210 211 213 214 215 216 224 226 242 243 245 248 251 252 256 257 258 260 262 263 268 273 274 277 281 285 288 290 292 298 299 302 303 305 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 202 205 206 207 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 274 277 281 285 288 290 292 298 299 302 303 305 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 108 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 207 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 274 277 281 285 288 290 292 298 299 302 303 305 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 207 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 274 277 281 285 288 290 292 298 299 302 303 305 311 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 109 110 112 118 120 125 126 138 139 149 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 207 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 109 110 112 118 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 207 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 406 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 207 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 402 403 406 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 328 330 332 333 337 338 340 342 344 346 352 360 361 363 364 365 366 369 372 377 381 389 390 398 401 402 403 406 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 70 73 83 87 88 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 328 330 332 333 337 338 340 342 344 346 360 361 363 364 365 366 369 372 377 381 389 390 398 401 402 403 406 414 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 213 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 328 330 332 333 337 338 340 342 344 346 356 360 361 363 364 365 366 369 372 377 381 389 390 398 401 402 403 406 414 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 328 330 332 333 337 338 340 342 344 346 356 360 361 363 364 365 366 369 372 377 381 389 390 398 401 402 403 406 414 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 326 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 365 366 369 372 377 381 389 390 398 401 402 403 406 414 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 365 366 369 372 377 381 389 390 398 401 402 403 406 413 414 a 2 3 5 6 9 12 16 17 18 23 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 365 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 16 17 18 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 139 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 302 303 304 305 311 316 317 321 323 324 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 316 317 321 323 324 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 144 150 155 156 157 161 166 167 170 174 176 179 185 188 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 316 317 321 323 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 102 107 109 110 112 120 125 126 138 144 150 152 155 156 157 161 166 167 170 174 176 179 185 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 316 317 321 323 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 83 87 88 89 98 107 109 110 112 120 125 126 138 144 150 152 155 156 157 161 164 166 167 170 174 176 179 185 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 257 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 316 317 321 323 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 80 83 87 88 89 98 107 109 110 112 120 125 126 138 144 150 152 155 156 157 161 164 166 167 170 174 176 179 185 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 251 252 256 258 260 262 263 268 273 277 281 285 288 290 292 298 299 303 304 305 311 316 317 321 323 328 330 332 333 338 340 342 344 346 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 80 83 87 88 89 98 107 109 110 112 120 125 126 138 144 150 152 155 156 157 164 166 167 170 174 176 179 185 189 196 205 206 210 211 214 215 216 224 226 242 243 245 247 248 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 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 80 83 87 88 89 97 98 107 109 110 112 120 125 126 138 144 150 152 155 156 157 164 166 167 170 174 176 179 185 189 196 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 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 55 56 58 59 60 61 64 65 68 73 80 83 87 88 89 97 98 107 109 110 112 120 125 126 138 144 150 152 155 156 157 164 166 167 170 174 179 183 185 189 196 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 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 53 54 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 150 152 155 156 157 164 166 167 170 174 179 183 185 189 196 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 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 54 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 150 152 155 156 157 164 166 167 170 174 179 183 185 189 196 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 356 357 360 361 363 364 366 369 372 377 380 381 389 390 401 402 403 406 413 414 a 2 3 5 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 54 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 150 152 155 156 157 164 166 167 170 174 179 183 185 189 196 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 406 413 414 a 2 3 6 9 12 13 16 17 18 21 23 30 31 34 39 44 46 52 54 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 150 152 155 156 157 164 166 167 170 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 406 413 414 a 2 3 6 9 12 13 17 18 21 23 30 31 33 34 39 44 46 52 54 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 150 152 155 156 157 164 166 167 170 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 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 150 152 155 156 157 164 166 167 170 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 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 --na -t4 /benchmark/random_instance/random_instance032_graph004.col /benchmark/random_instance/random_instance032_graph004_01.dat" User time (seconds): 546.02 System time (seconds): 5.82 Percent of CPU this job got: 151% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:05.15 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): 11685500 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 4037802 Voluntary context switches: 580784 Involuntary context switches: 2229 Swaps: 0 File system inputs: 0 File system outputs: 840 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Mon Sep 4 14:53:11 2023]