#BEGIN: [Mon Sep 4 11:19:14 2023] #HOST: s13 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent2 #INSTANCE1: /benchmark/random_instance/random_instance031_graph001.col #INSTANCE2: /benchmark/random_instance/random_instance031_graph001_01.dat #COMMAND: docker run --cidfile /tmp/cid.txt --init --rm -t --ulimit cpu=1800 -v /home/share/benchmark/ISR-benchmark:/benchmark banbaralab2 --existent --na /benchmark/random_instance/random_instance031_graph001.col /benchmark/random_instance/random_instance031_graph001_01.dat c /benchmark/random_instance/random_instance031_graph001.col c /benchmark/random_instance/random_instance031_graph001_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): INTERRUPTED by signal! s 224 393 231 252 198 263 28 221 189 58 20 260 223 182 398 140 59 350 84 196 55 281 270 341 276 157 373 49 85 399 7 340 288 303 265 304 230 16 26 22 3 123 364 342 23 228 360 105 15 229 14 24 347 98 206 298 33 320 184 355 402 86 34 192 200 296 348 12 278 216 17 111 344 233 279 164 234 146 35 29 88 384 311 4 124 134 116 257 337 25 249 145 237 349 242 323 297 217 170 392 169 176 187 129 394 183 69 6 2 251 300 274 155 156 329 327 391 52 264 106 295 362 162 395 104 204 325 290 114 t 366 228 253 64 381 120 212 327 122 63 188 7 372 388 386 303 192 288 111 79 44 169 259 223 272 160 291 85 168 318 287 294 103 346 379 323 167 361 101 300 69 11 34 26 355 150 220 204 373 17 156 351 330 382 62 153 80 262 203 194 385 334 200 246 221 130 25 16 3 115 23 283 197 284 196 187 24 183 250 321 276 83 180 104 110 76 243 116 99 299 224 278 93 86 325 403 10 343 309 5 347 57 67 390 201 129 59 127 232 118 329 310 364 311 249 348 292 82 331 337 230 20 6 315 290 38 198 35 233 a YES a 2 3 4 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 4 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 129 134 140 145 146 155 156 157 162 164 169 170 176 181 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 127 129 134 140 145 146 155 156 157 162 164 169 170 176 181 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 6 7 12 14 15 16 17 20 22 23 24 25 26 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 125 127 129 134 140 145 146 155 156 157 162 164 169 170 176 181 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 6 7 12 14 15 16 17 20 22 23 24 25 26 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 125 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 230 231 233 234 237 242 249 251 252 257 260 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 6 7 12 14 15 16 17 20 22 23 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 6 7 12 14 15 16 17 20 22 23 24 25 26 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 125 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 360 362 364 373 384 391 392 393 394 395 398 399 402 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 125 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 341 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 125 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 125 127 129 134 140 145 146 155 156 157 162 164 169 170 176 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 127 129 134 140 145 146 155 156 157 162 164 169 170 176 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 124 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 62 69 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 49 52 55 58 59 62 69 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 49 52 55 58 59 62 64 69 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 62 64 69 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 64 69 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 64 69 75 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 69 75 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 182 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 69 75 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 45 49 52 55 58 59 69 75 84 85 86 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 45 49 52 55 58 59 69 75 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 281 288 290 295 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 16 17 20 22 24 25 26 28 29 33 34 35 45 49 52 55 58 59 69 75 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 16 17 20 22 24 25 26 28 29 33 34 35 49 52 55 58 59 69 75 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 16 17 20 22 25 26 28 29 33 34 35 49 52 55 58 59 69 75 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 16 17 20 22 25 26 28 29 33 34 35 49 52 55 58 59 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 399 402 a 1 2 3 6 7 12 14 16 17 20 22 25 26 28 29 33 34 35 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 16 17 20 22 25 26 29 33 34 35 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 25 26 29 33 34 35 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 340 342 344 347 348 349 350 355 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 25 26 29 33 34 35 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 29 33 34 35 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 164 169 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 29 33 34 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 29 33 34 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 34 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 263 264 265 270 274 276 278 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 398 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 35 45 49 52 55 58 59 62 69 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 393 394 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 29 33 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 393 394 395 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 29 33 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 29 33 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 349 350 360 362 364 373 378 384 390 391 392 393 394 395 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 29 33 34 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 328 329 337 339 340 342 344 347 349 350 360 362 364 373 378 384 390 391 392 393 394 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 28 29 33 34 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 260 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 349 350 360 362 364 373 378 384 390 391 392 393 394 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 28 29 33 34 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 349 350 360 362 364 373 378 384 390 391 392 393 394 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 28 29 33 34 35 45 49 52 55 58 59 62 69 82 84 85 86 87 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 28 29 33 34 35 45 49 52 55 58 59 62 69 82 84 85 86 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 28 29 33 34 35 45 49 52 55 58 59 62 69 82 84 85 86 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 28 29 33 34 35 45 49 52 55 58 59 62 82 84 85 86 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 394 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 28 29 33 34 35 45 49 52 55 58 59 62 82 84 85 86 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 395 402 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 45 49 52 55 58 59 62 82 84 85 86 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 395 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 82 84 85 86 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 392 393 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 82 84 85 86 88 98 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 206 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 393 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 82 84 85 86 88 98 101 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 216 217 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 393 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 82 84 85 86 88 98 101 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 342 344 347 348 349 350 360 362 364 373 378 384 390 391 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 82 84 85 86 88 98 101 104 105 106 111 114 116 123 126 127 129 134 140 145 146 155 156 157 162 169 170 176 181 183 184 187 189 192 196 198 200 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 344 347 348 349 350 360 362 364 373 378 384 390 391 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 82 84 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 134 140 145 146 155 156 157 169 170 176 181 183 184 187 189 192 196 198 200 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 339 340 344 347 348 349 350 360 362 364 373 378 384 390 391 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 69 82 84 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 134 140 145 146 155 156 157 169 170 176 181 183 184 187 189 192 196 198 200 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 344 347 348 349 350 360 362 364 373 378 384 390 391 a 1 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 69 82 84 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 155 156 157 169 170 176 181 183 184 187 189 192 196 198 200 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 390 391 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 69 82 84 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 155 156 157 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 390 391 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 55 58 59 62 69 79 82 84 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 155 156 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 390 391 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 58 59 62 69 79 82 84 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 155 156 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 390 391 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 58 59 62 69 79 82 84 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 155 156 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 390 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 33 34 35 44 45 49 52 58 59 62 69 79 82 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 155 156 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 386 390 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 34 35 44 45 49 52 58 59 62 69 79 82 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 155 156 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 230 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 386 390 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 34 35 44 45 49 58 59 62 69 79 82 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 155 156 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 230 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 386 388 390 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 34 35 44 45 49 58 59 62 69 76 79 82 85 86 88 98 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 230 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 386 388 390 a 2 3 6 7 12 14 15 16 17 20 22 24 25 26 28 29 34 35 44 45 49 58 59 62 69 76 79 82 85 86 88 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 230 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 347 348 349 350 355 360 362 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 29 34 35 44 45 49 58 59 62 69 76 79 82 85 86 88 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 230 231 233 234 237 242 243 249 251 252 253 257 262 263 264 265 270 272 274 276 278 279 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 346 347 348 349 350 355 360 362 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 29 34 35 44 45 49 58 59 62 69 76 79 82 85 86 88 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 216 217 220 221 222 223 224 228 229 230 231 233 234 237 242 243 249 250 251 252 253 257 262 263 264 265 270 272 274 276 278 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 346 347 348 349 350 355 360 362 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 29 34 35 44 45 49 58 59 62 69 76 79 82 85 86 88 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 262 263 264 265 270 272 274 276 278 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 346 347 348 349 350 355 360 362 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 29 34 35 44 45 58 59 62 69 76 79 82 85 86 88 93 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 262 263 264 265 270 272 274 276 278 280 281 288 290 295 296 297 298 300 303 304 311 315 320 323 325 327 329 337 340 344 346 347 348 349 350 355 360 362 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 29 34 35 44 45 58 59 62 69 76 79 82 85 86 88 93 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 262 263 264 265 270 272 274 276 278 280 281 288 290 295 296 297 298 300 303 304 311 315 318 320 323 325 327 329 337 340 344 346 347 348 349 350 355 360 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 85 86 88 93 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 262 263 264 265 270 272 274 276 278 280 281 288 290 295 296 297 298 300 303 304 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 85 86 88 93 101 104 105 106 110 111 114 116 123 126 127 129 140 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 288 290 295 296 297 300 303 304 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 85 86 88 93 101 104 105 106 110 111 114 116 123 126 127 129 145 146 150 156 160 169 170 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 384 386 388 390 a 2 3 6 7 12 15 16 17 20 22 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 88 93 101 104 105 106 110 111 114 116 123 126 127 129 145 146 150 156 160 169 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 384 386 388 390 a 2 3 6 7 10 12 15 16 17 20 22 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 88 93 101 104 105 106 110 111 114 116 123 126 127 129 145 146 150 156 160 169 176 181 183 184 187 189 192 196 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 386 388 390 a 2 3 6 7 10 12 15 16 17 20 22 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 88 93 101 104 105 106 110 111 114 116 126 127 129 145 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 386 388 390 a 2 3 6 7 10 12 15 16 17 20 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 88 93 101 104 105 106 110 111 114 116 126 127 129 145 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 386 388 390 a 2 3 6 7 10 12 15 16 17 20 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 88 93 101 104 105 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 386 388 390 a 2 3 6 7 10 12 15 16 17 20 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 88 93 101 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 386 388 390 a 2 3 6 7 10 12 15 16 17 20 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 270 272 274 276 278 280 281 284 288 290 295 296 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 386 388 390 a 2 3 6 7 10 12 15 16 17 20 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 280 281 284 288 290 292 295 296 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 350 355 360 364 373 378 386 388 390 a 2 3 6 7 10 12 15 16 17 20 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 280 281 284 288 290 292 295 296 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 355 360 364 373 378 385 386 388 390 a 2 3 6 7 10 12 15 16 17 20 23 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 280 281 284 288 290 292 295 296 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 12 15 16 17 20 23 24 25 26 28 34 35 44 45 58 59 62 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 280 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 12 15 16 17 20 23 24 25 26 28 34 35 44 45 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 320 323 325 327 329 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 12 15 16 17 20 23 24 25 26 34 35 44 45 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 281 284 287 288 290 292 295 297 300 303 304 309 311 315 318 320 323 325 327 329 334 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 12 15 16 17 20 23 24 25 26 34 35 44 45 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 334 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 15 16 17 20 23 24 25 26 34 35 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 222 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 334 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 15 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 265 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 334 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 15 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 167 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 237 242 243 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 334 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 167 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 263 264 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 334 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 167 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 257 259 262 264 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 330 334 337 340 343 344 346 347 348 349 355 360 364 373 385 386 388 390 a 2 3 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 167 169 176 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 259 262 264 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 330 334 337 340 343 344 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 116 118 126 127 129 146 150 156 160 167 169 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 259 262 264 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 330 334 337 340 343 344 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 237 242 243 246 249 250 251 252 253 259 262 264 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 330 334 337 340 343 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 242 243 246 249 250 251 252 253 259 262 264 272 274 276 278 281 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 330 334 337 340 343 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 184 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 242 243 246 249 250 251 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 323 325 327 329 330 334 337 340 343 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 45 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 187 189 192 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 242 243 246 249 250 251 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 321 323 325 327 329 330 334 337 340 343 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 242 243 246 249 250 251 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 311 315 318 320 321 323 325 327 329 330 334 337 340 343 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 242 243 246 249 250 251 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 334 337 343 346 347 348 349 351 355 360 364 373 385 386 388 390 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 334 337 343 346 347 348 349 351 355 360 364 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 146 150 156 160 167 169 181 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 229 230 231 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 360 364 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 126 127 129 130 146 150 156 160 167 169 181 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 231 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 360 364 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 122 126 127 129 130 146 150 156 160 167 169 181 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 360 364 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 122 126 127 129 130 146 150 156 160 167 169 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 297 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 360 364 366 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 122 126 127 129 130 146 150 156 160 167 169 180 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 360 364 366 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 122 126 127 129 130 146 150 156 160 167 169 180 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 300 303 304 309 310 311 315 318 320 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 364 366 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 120 122 126 127 129 130 146 150 156 160 167 169 180 183 187 189 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 364 366 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 114 115 116 118 120 122 126 127 129 130 146 150 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 364 366 373 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 115 116 118 120 122 126 127 129 130 146 150 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 242 243 246 249 250 253 259 262 264 272 274 276 278 281 283 284 287 288 290 292 294 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 364 366 373 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 115 116 118 120 122 126 127 129 130 146 150 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 242 243 246 249 250 253 259 262 264 272 274 276 278 283 284 287 288 290 292 294 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 364 366 373 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 115 116 118 120 122 126 127 129 130 150 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 242 243 246 249 250 253 259 262 264 272 274 276 278 283 284 287 288 290 292 294 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 115 116 118 120 122 126 127 129 130 150 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 274 276 278 283 284 287 288 290 292 294 299 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 101 103 104 106 110 111 115 116 118 120 122 126 127 129 130 150 153 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 276 278 283 284 287 288 290 292 294 299 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 106 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 276 278 283 284 287 288 290 292 294 299 300 303 304 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 106 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 169 180 183 187 192 194 196 197 198 200 201 203 204 212 216 217 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 276 278 283 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 379 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 106 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 168 169 180 183 187 192 194 196 197 198 200 201 203 204 212 217 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 276 278 283 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 379 382 385 386 388 390 403 a 2 3 5 6 7 10 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 106 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 168 169 180 183 187 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 276 278 283 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 379 381 382 385 386 388 390 403 a 2 3 5 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 168 169 180 183 187 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 276 278 283 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 373 379 381 382 385 386 388 390 403 a 3 5 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 168 169 180 183 187 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 264 272 276 278 283 284 287 288 290 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 382 385 386 388 390 403 a 3 5 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 58 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 168 169 180 183 187 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 272 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 382 385 386 388 390 403 a 3 5 6 7 10 11 16 17 20 23 24 25 26 34 35 38 44 57 59 62 63 64 67 69 76 79 80 82 83 85 86 93 99 101 103 104 110 111 115 116 118 120 122 127 129 130 150 153 156 160 167 168 169 180 183 187 188 192 194 196 197 198 200 201 203 204 212 220 221 223 224 228 230 232 233 243 246 249 250 253 259 262 272 276 278 283 284 287 288 290 291 292 294 299 300 303 309 310 311 315 318 321 323 325 327 329 330 331 334 337 343 346 347 348 351 355 361 364 366 372 373 379 381 382 385 386 388 390 403 c Step: 128 Command being timed: "python3 run_3.py --existent --na /benchmark/random_instance/random_instance031_graph001.col /benchmark/random_instance/random_instance031_graph001_01.dat" User time (seconds): 361.49 System time (seconds): 3.09 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:04.63 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): 11659264 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 3826468 Voluntary context switches: 27 Involuntary context switches: 1865 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 11:25:19 2023]