#BEGIN: [Tue Sep 26 01:54:17 2023] #HOST: s11 #TIMELIMIT: 1800 #MEMLIMIT: 0 #SOLVER: existent-cpu-banbaralab2-existent3 #INSTANCE1: /benchmark/random_instance/random_instance032_graph002.col #INSTANCE2: /benchmark/random_instance/random_instance032_graph002_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 -t4 /benchmark/random_instance/random_instance032_graph002.col /benchmark/random_instance/random_instance032_graph002_01.dat c /benchmark/random_instance/random_instance032_graph002.col c /benchmark/random_instance/random_instance032_graph002_01.dat *** Info : (clingo): INTERRUPTED by signal! *** Info : (clingo): Sending shutdown signal... *** ERROR: (clingo): solving stopped by signal *** Info : (clingo): Shutdown completed in 0.006 seconds s 241 393 297 360 72 73 348 294 21 128 166 98 351 339 51 25 18 366 308 342 150 113 254 208 248 60 31 224 144 155 160 11 129 17 193 329 186 408 212 237 145 361 56 189 251 284 299 76 227 228 52 415 132 55 131 209 70 324 377 256 240 2 109 389 85 201 401 4 22 179 84 68 134 121 7 332 79 250 170 77 217 138 117 279 387 146 162 335 28 376 173 391 385 381 315 27 354 352 172 157 289 326 3 54 118 89 50 331 338 205 156 5 87 26 260 105 295 327 92 392 283 104 197 371 262 119 399 396 120 380 t 90 298 99 273 129 247 101 399 166 217 31 202 394 46 278 327 171 206 364 397 109 353 121 9 25 214 2 252 192 337 401 13 331 339 156 162 239 142 117 4 20 10 209 150 237 280 123 304 241 182 367 369 406 188 170 41 381 149 189 125 292 207 402 176 338 334 362 412 223 393 215 64 159 91 173 58 34 335 255 374 227 6 376 139 250 140 277 104 164 36 175 198 269 314 28 38 60 62 357 208 312 315 332 134 52 356 11 384 61 243 56 351 295 160 7 69 377 27 114 354 321 266 387 118 352 124 283 382 120 293 a YES a 2 3 4 5 7 11 17 18 21 22 25 26 27 28 31 50 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 189 193 197 201 205 208 209 212 217 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 25 26 27 28 31 50 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 189 193 197 201 205 208 209 212 217 224 227 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 382 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 25 26 27 28 31 50 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 189 197 201 205 208 209 212 217 221 224 227 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 382 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 189 197 201 205 208 209 212 217 221 224 227 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 382 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 188 189 197 201 205 208 209 212 217 221 224 227 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 382 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 188 189 197 201 205 208 212 217 221 224 227 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 382 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 188 189 197 201 205 208 212 217 221 224 227 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 382 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 188 189 197 201 205 208 212 217 221 224 227 228 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 205 208 212 217 224 227 228 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 153 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 208 212 217 224 227 228 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 376 377 380 381 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 153 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 208 217 224 227 228 237 240 241 245 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 50 51 52 54 55 56 60 68 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 153 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 208 217 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 50 51 52 54 55 56 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 153 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 208 217 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 153 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 208 217 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 7 11 17 18 21 22 23 25 26 27 28 31 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 205 208 217 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 166 170 172 173 179 186 188 189 193 197 201 205 208 217 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 188 189 197 201 205 208 217 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 188 189 197 201 205 208 217 221 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 188 189 197 201 205 208 217 221 224 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 308 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 188 189 197 201 205 208 217 221 224 226 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 188 189 197 201 205 208 217 221 224 226 227 228 237 240 241 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 137 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 188 189 197 201 205 208 217 221 224 226 227 228 237 240 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 25 26 27 28 31 49 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 188 189 197 201 204 205 208 217 221 224 226 227 228 237 240 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 25 26 27 28 42 49 50 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 188 189 197 201 204 205 208 217 221 224 226 227 228 237 240 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 25 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 188 189 197 201 204 205 208 217 221 224 226 227 228 237 240 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 25 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 189 197 201 204 205 208 217 221 224 226 227 228 237 240 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 189 197 201 204 205 208 217 221 224 226 227 228 237 240 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 89 92 98 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 189 197 201 204 205 208 217 221 224 226 227 228 237 240 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 189 197 201 204 205 208 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 186 189 197 204 205 208 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 51 52 54 55 60 70 72 73 76 77 79 84 85 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 51 52 54 55 60 70 72 73 76 77 79 81 84 85 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 415 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 51 52 54 55 60 70 72 73 76 77 79 81 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 408 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 81 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 213 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 213 217 221 224 226 227 228 237 240 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 408 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 213 217 221 224 226 227 228 237 240 244 248 250 251 252 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 408 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 204 205 208 213 217 221 224 226 227 228 237 240 244 248 250 251 254 256 260 262 267 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 408 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 408 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 408 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 250 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 408 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 365 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 408 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 113 117 118 119 120 121 128 129 131 132 134 138 144 145 146 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 365 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 51 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 365 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 132 134 138 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 365 366 367 371 374 376 377 380 385 386 387 389 391 392 393 396 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 365 366 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 338 339 342 348 351 352 354 360 361 365 367 371 374 376 377 380 381 385 386 387 389 391 392 393 396 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 92 98 104 105 109 117 118 119 120 121 128 129 131 134 138 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 361 365 367 371 374 376 377 380 381 385 386 387 389 391 392 393 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 98 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 361 365 367 371 374 376 377 380 381 385 386 387 389 391 392 393 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 98 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 244 248 251 254 256 260 262 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 362 365 367 371 374 376 377 380 381 385 386 387 389 391 392 393 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 98 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 254 256 260 262 277 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 362 365 367 371 374 376 377 380 381 385 386 387 389 391 392 393 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 98 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 254 256 260 262 277 278 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 389 391 392 393 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 254 256 260 262 277 278 279 283 284 289 294 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 389 391 392 393 399 401 a 2 3 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 254 256 260 262 277 278 279 283 284 289 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 389 391 392 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 197 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 254 256 260 262 277 278 279 283 284 289 295 297 299 311 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 391 392 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 117 118 119 120 121 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 254 256 260 262 277 278 279 283 284 289 295 297 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 342 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 391 392 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 117 118 119 120 121 123 128 129 131 134 138 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 254 256 260 262 277 278 279 283 284 289 295 297 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 391 392 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 117 118 119 120 121 123 128 129 131 134 138 139 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 254 256 260 262 277 278 279 283 284 289 295 297 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 42 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 256 260 262 277 278 279 283 284 289 295 297 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 256 260 262 277 278 279 283 284 289 295 297 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 145 146 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 256 260 262 277 278 279 283 284 289 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 369 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 54 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 145 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 224 226 227 228 237 240 248 251 252 256 260 262 277 278 279 280 283 284 289 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 369 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 145 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 223 224 226 227 228 237 240 248 251 252 256 260 262 277 278 279 280 283 284 289 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 369 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 55 60 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 145 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 223 224 226 227 228 237 240 248 250 252 256 260 262 277 278 279 280 283 284 289 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 369 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 223 224 226 227 228 237 240 248 250 252 256 260 262 277 278 279 280 283 284 289 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 369 371 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 223 224 226 227 228 237 240 248 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 201 204 205 208 213 217 221 223 226 227 228 237 240 248 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 356 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 14 17 18 21 22 23 26 27 28 31 49 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 208 213 217 221 223 226 227 228 237 248 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 356 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 11 13 14 17 18 21 23 26 27 28 31 49 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 208 213 217 221 223 226 227 228 237 248 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 356 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 49 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 208 213 217 221 223 227 228 237 248 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 356 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 49 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 213 217 221 223 227 228 237 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 354 356 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 52 55 60 64 70 72 73 76 77 79 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 213 217 221 223 227 228 237 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 52 55 60 61 64 70 72 73 76 77 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 213 217 221 223 227 228 237 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 385 386 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 52 55 60 61 64 70 72 73 76 77 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 213 217 221 223 227 228 237 250 252 256 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 386 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 52 55 60 61 64 70 72 73 76 77 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 213 217 221 223 227 228 237 243 250 252 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 386 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 52 55 56 60 61 64 70 72 73 76 77 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 213 217 221 223 227 228 237 243 250 252 260 262 277 278 279 280 283 284 289 292 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 23 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 213 217 221 223 227 228 237 243 250 252 260 262 277 278 279 280 283 284 289 292 293 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 260 262 277 278 279 280 283 284 289 292 293 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 159 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 260 262 277 278 279 280 283 289 292 293 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 90 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 159 160 162 163 164 166 170 172 173 175 179 180 186 188 189 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 260 277 278 279 280 283 289 292 293 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 90 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 155 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 260 266 277 278 279 280 283 289 292 293 295 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 21 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 90 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 260 266 277 278 279 280 283 289 292 293 295 298 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 17 18 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 90 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 192 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 260 266 277 278 279 280 283 289 292 293 295 298 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 18 26 27 28 31 52 55 56 60 61 64 70 72 73 77 84 85 87 89 90 104 105 109 114 117 118 119 120 121 123 128 129 131 134 138 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 192 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 18 26 27 28 31 36 52 55 56 60 61 64 70 72 73 77 84 85 87 89 90 104 105 109 114 117 118 120 121 123 128 129 131 134 138 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 192 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 18 26 27 28 31 36 52 55 56 60 61 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 128 129 131 134 138 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 192 198 201 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 5 7 11 13 14 18 26 27 28 31 36 38 52 55 56 60 61 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 128 129 131 134 138 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 192 198 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 55 56 58 60 61 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 128 129 131 134 138 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 179 180 188 189 192 198 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 55 56 58 60 61 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 128 129 131 134 139 140 144 150 156 157 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 55 56 58 60 61 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 150 156 157 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 150 156 157 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 326 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 150 156 157 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 391 393 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 150 156 157 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 393 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 70 72 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 69 70 73 77 84 87 89 90 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 69 70 73 77 84 87 90 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 329 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 69 70 73 77 84 87 90 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 69 70 77 84 87 90 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 69 70 77 87 90 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 243 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 69 70 77 90 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 239 243 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 18 26 27 28 31 36 38 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 217 221 223 227 228 237 239 243 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 26 27 28 31 36 38 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 204 205 207 208 209 213 214 215 217 221 223 227 228 237 239 243 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 14 26 27 28 31 36 38 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 205 207 208 209 213 214 215 217 221 223 227 228 237 239 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 26 27 28 31 36 38 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 205 207 208 209 213 214 215 217 221 223 227 228 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 205 207 208 209 213 214 215 217 221 223 227 228 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 205 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 328 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 205 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 380 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 205 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 299 304 311 314 315 324 327 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 180 188 189 192 198 205 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 304 311 312 314 315 324 327 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 188 189 192 198 205 206 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 304 311 312 314 315 324 327 331 332 334 335 337 338 339 348 351 352 353 354 356 357 360 362 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 205 206 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 260 266 273 277 278 279 280 283 289 292 293 295 298 304 311 312 314 315 324 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 289 292 293 295 298 304 311 312 314 315 324 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 289 292 293 295 298 304 312 314 315 324 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 11 13 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 213 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 289 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 289 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 131 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 387 393 394 399 401 a 2 3 4 7 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 77 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 387 393 394 399 401 412 a 2 3 4 7 9 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 172 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 387 393 394 399 401 412 a 2 3 4 7 9 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 279 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 387 393 394 399 401 412 a 2 3 4 7 9 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 101 104 105 109 114 117 118 120 121 123 124 125 128 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 273 277 278 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 384 387 393 394 399 401 412 a 2 3 4 7 9 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 101 104 109 114 117 118 120 121 123 124 125 128 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 384 387 393 394 399 401 412 a 2 3 4 6 7 9 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 101 104 109 114 117 118 120 121 123 124 125 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 384 387 393 394 399 401 412 a 2 4 6 7 9 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 101 104 109 114 117 118 120 121 123 124 125 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 179 182 188 189 192 198 202 205 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 384 387 393 394 399 401 406 412 a 2 4 6 7 9 10 11 13 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 99 101 104 109 114 117 118 120 121 123 124 125 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 179 182 188 189 192 198 202 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 360 362 364 367 369 374 376 377 381 382 384 387 393 394 399 401 406 412 a 2 4 6 7 9 10 11 13 20 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 99 101 104 109 114 117 118 120 121 123 124 125 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 179 182 188 189 192 198 202 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 327 331 332 334 335 337 338 339 351 352 353 354 356 357 362 364 367 369 374 376 377 381 382 384 387 393 394 399 401 406 412 a 2 4 6 7 9 10 11 13 20 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 99 101 104 109 114 117 118 120 121 123 124 125 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 182 188 189 192 198 202 206 207 208 209 214 215 217 221 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 321 327 331 332 334 335 337 338 339 351 352 353 354 356 357 362 364 367 369 374 376 377 381 382 384 387 393 394 399 401 406 412 a 2 4 6 7 9 10 11 13 20 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 99 101 104 109 114 117 118 120 121 123 124 125 129 134 139 140 142 149 150 156 159 160 162 163 164 166 170 171 173 175 176 182 188 189 192 198 202 206 207 208 209 214 215 217 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 321 327 331 332 334 335 337 338 339 351 352 353 354 356 357 362 364 367 369 374 376 377 381 382 384 387 393 394 397 399 401 406 412 a 2 4 6 7 9 10 11 13 20 25 27 28 31 34 36 38 41 46 52 56 58 60 61 62 64 69 90 91 99 101 104 109 114 117 118 120 121 123 124 125 129 134 139 140 142 149 150 156 159 160 162 164 166 170 171 173 175 176 182 188 189 192 198 202 206 207 208 209 214 215 217 223 227 237 239 241 243 247 250 252 255 266 269 273 277 278 280 283 292 293 295 298 304 312 314 315 321 327 331 332 334 335 337 338 339 351 352 353 354 356 357 362 364 367 369 374 376 377 381 382 384 387 393 394 397 399 401 402 406 412 c Step: 128 Command being timed: "python3 run_3.py --existent --na -t4 /benchmark/random_instance/random_instance032_graph002.col /benchmark/random_instance/random_instance032_graph002_01.dat" User time (seconds): 558.12 System time (seconds): 6.38 Percent of CPU this job got: 152% Elapsed (wall clock) time (h:mm:ss or m:ss): 6:08.99 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): 11642120 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 1 Minor (reclaiming a frame) page faults: 4051474 Voluntary context switches: 241566 Involuntary context switches: 1002 Swaps: 0 File system inputs: 0 File system outputs: 848 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 0 #END: [Tue Sep 26 02:00:26 2023]