s 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 85 91 99 107 117 145 152 153 160 174 179 182 187 192 193 209 211 213 214 217 220 225 232 237 243 256 257 260 263 264 267 268 272 274 275 289 293 306 312 318 320 350 352 357 370 386 387 388 392 406 410 412 414 417 436 437 438 442 t 7 13 14 16 17 19 24 25 28 39 44 47 49 55 58 64 68 79 82 83 85 107 117 145 151 153 157 160 162 174 179 182 189 192 193 209 211 213 214 215 217 220 221 232 237 243 256 257 260 264 267 268 272 275 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 392 406 410 417 418 436 437 442 c UNKNOWN a YES a 107 117 13 14 145 152 153 16 160 17 174 179 182 187 19 192 193 209 211 213 214 217 220 225 232 237 24 243 25 256 257 260 263 264 267 268 272 274 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 410 412 414 417 436 437 438 44 442 47 49 55 58 64 68 7 79 82 85 91 99 a 107 117 13 14 145 152 153 16 160 17 174 179 182 187 19 192 193 209 211 213 214 217 220 225 232 24 243 25 256 257 260 263 264 267 268 272 274 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 410 412 414 417 436 437 438 44 442 47 49 55 58 64 68 7 79 82 85 91 96 99 a 107 117 13 14 145 152 153 16 160 17 174 179 182 187 19 192 193 209 211 213 214 217 220 225 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 410 412 414 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 85 91 96 99 a 107 117 13 14 145 152 153 16 160 17 174 179 182 19 192 193 209 211 213 214 217 220 225 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 410 412 414 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 91 96 99 a 107 117 13 14 140 145 152 153 16 160 17 174 179 182 19 192 193 209 211 213 214 217 220 225 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 410 412 414 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 91 96 99 a 107 117 13 14 140 145 152 153 16 160 17 174 179 182 19 192 193 209 211 213 214 217 220 225 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 410 412 414 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 14 140 145 151 152 153 16 160 17 174 182 19 192 193 209 211 213 214 217 220 225 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 410 412 414 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 14 140 145 151 152 153 16 160 17 174 182 19 192 193 209 211 213 214 217 220 225 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 410 412 414 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 14 140 145 151 152 153 16 160 17 174 182 189 19 192 193 209 211 213 214 217 220 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 410 412 414 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 140 145 151 152 153 16 160 17 174 182 189 19 192 193 209 211 213 214 217 220 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 410 412 414 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 140 145 151 152 153 16 160 17 174 182 189 19 192 193 209 211 213 217 220 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 407 410 412 414 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 140 145 151 152 153 16 160 17 174 182 189 19 192 193 209 211 213 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 407 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 145 151 152 153 16 160 17 174 182 189 19 192 193 209 211 213 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 406 407 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 145 151 152 153 16 160 17 174 182 189 19 192 193 209 211 213 214 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 406 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 14 145 151 153 16 160 17 174 182 189 19 192 193 209 211 213 214 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 406 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 96 99 a 107 117 13 14 145 151 153 16 160 162 17 174 182 189 19 192 193 209 211 213 214 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 38 386 387 388 39 392 406 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 99 a 107 117 13 14 145 151 153 16 160 162 17 174 182 189 19 192 193 209 211 213 214 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 38 386 387 388 39 392 406 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 91 99 a 107 117 13 14 145 151 153 16 160 162 17 174 182 189 19 192 193 209 211 213 214 215 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 38 386 387 388 39 392 406 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 91 a 107 117 13 14 145 151 153 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 410 412 417 418 436 437 438 44 442 47 49 55 58 64 68 7 79 82 83 85 91 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 410 412 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 91 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 410 412 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 91 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 412 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 91 a 107 117 13 14 140 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 412 417 418 436 437 44 442 447 47 49 58 64 68 7 79 82 83 85 91 a 107 117 13 14 140 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 412 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 19 192 193 208 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 225 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 208 209 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 208 209 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 410 412 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 91 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 91 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 447 47 49 58 64 68 7 79 82 83 85 91 a 107 117 13 14 145 151 153 157 16 160 162 164 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 350 352 357 370 386 387 388 39 392 406 412 417 418 436 437 44 442 447 47 49 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 164 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 318 320 337 350 352 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 313 320 337 350 352 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 320 337 350 352 356 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 356 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 356 357 370 386 387 388 39 392 406 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 356 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 447 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 356 357 370 386 387 388 39 392 406 410 417 418 436 437 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 263 264 267 268 272 275 28 289 293 306 312 320 337 350 352 356 357 370 386 387 388 39 392 406 410 417 418 436 437 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 174 177 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 320 337 350 352 356 357 370 386 387 388 39 392 406 410 417 418 436 437 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 174 177 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 313 320 337 350 352 357 370 386 387 388 39 392 406 410 417 418 436 437 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 174 177 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 262 264 267 268 272 275 28 289 293 306 312 313 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 177 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 262 264 267 268 272 275 28 289 293 306 312 313 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 442 444 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 262 264 267 268 272 275 28 289 293 306 312 313 320 337 350 352 357 370 386 387 388 39 392 406 417 418 436 437 44 442 444 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 17 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 262 264 267 268 272 275 28 289 293 306 312 320 337 350 352 357 370 372 386 387 388 39 392 406 417 418 436 437 44 442 444 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 262 264 267 268 272 275 28 289 293 306 312 320 337 350 352 357 370 372 386 387 388 39 392 406 417 418 436 437 44 442 444 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 174 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 262 264 267 268 272 275 28 289 293 306 312 320 337 350 352 357 370 372 386 387 388 39 392 406 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 159 16 160 162 174 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 320 337 350 352 357 370 372 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 174 179 182 189 19 192 193 208 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 a 107 117 13 14 145 151 153 157 16 160 162 17 174 179 182 189 19 192 193 209 211 213 214 215 217 220 221 232 237 24 243 25 256 257 260 264 267 268 272 275 28 289 293 306 312 318 320 337 350 352 357 370 372 386 387 388 39 392 406 410 417 418 436 437 44 442 47 49 55 58 64 68 7 79 82 83 85 Command exited with non-zero status 65 Command being timed: "/Users/macpro/.pyenv/versions/anaconda3-2021.11/bin/clingo ../solver/core_compet2.lp -c core_stop="UNKNOWN" --stats --quiet=1,0 --time-limit=10800 ../encoding/isrpTJ_exact1_noloop_d1d2.lp ../../benchmark/3rd-benchmark/asp/le450_25b.lp ../../benchmark/3rd-benchmark/asp/le450_25b_02.lp" User time (seconds): 10791.93 System time (seconds): 14.27 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:06 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): 9703848 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 2605854 Voluntary context switches: 4 Involuntary context switches: 12200 Swaps: 0 File system inputs: 0 File system outputs: 0 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 1 Page size (bytes): 4096 Exit status: 65