s 2 7 12 17 22 27 32 37 42 47 52 57 62 67 72 77 82 87 92 97 102 107 112 117 122 127 132 137 142 147 152 157 162 167 172 177 182 187 192 197 202 207 212 217 222 227 232 237 242 247 252 257 262 267 272 277 282 287 292 297 302 307 312 317 322 327 332 342 347 352 357 362 367 372 377 382 387 392 397 402 407 412 417 422 427 432 437 442 447 
t 2 7 12 17 22 27 32 37 42 47 52 57 62 67 72 77 82 87 92 97 102 107 112 117 122 127 132 137 142 147 152 157 162 167 172 177 182 187 192 197 202 207 212 217 222 227 232 237 242 247 252 257 262 267 272 282 287 292 297 302 307 312 317 322 327 332 337 342 347 352 357 362 367 372 377 382 387 392 397 402 407 412 417 422 427 432 437 442 447
a YES
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 277 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
a 102 107 112 117 12 122 127 132 137 142 147 152 157 162 167 17 172 177 182 187 192 197 2 202 207 212 217 22 222 227 232 237 242 247 252 257 262 267 27 272 282 287 292 297 302 307 312 317 32 322 327 332 337 342 347 352 357 362 367 37 372 377 382 387 392 397 402 407 412 417 42 422 427 432 437 442 447 47 52 57 62 67 7 72 77 82 87 92 97
	Command being timed: "python3 /SOLVER/longest/run.py submission sas split /BENCHMARKS/benchmark/color04/le450_5c.col /BENCHMARKS/benchmark/color04/le450_5c_01.dat"
	User time (seconds): 0.23
	System time (seconds): 0.03
	Percent of CPU this job got: 0%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 1:10:00
	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): 20536
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 9761
	Voluntary context switches: 134
	Involuntary context switches: 31
	Swaps: 0
	File system inputs: 0
	File system outputs: 512
	Socket messages sent: 0
	Socket messages received: 0
	Signals delivered: 0
	Page size (bytes): 4096
	Exit status: 0