s 5 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100 105 110 115 120 125 130 135 140 145 150 155 160 165 170 175 180 185 190 195 200 205 210 215 220 225 230 235 240 245 250 255 260 265 270 275 280 285 290 295 300 305 310 315 320 325 330 335 340 345 350 355 360 365 370 375 385 390 395 400 405 410 415 420 425 430 435 440 445 450 t 5 10 15 20 25 30 35 40 45 50 55 60 65 70 75 80 85 90 95 100 105 110 115 120 125 130 135 145 150 155 160 165 170 175 180 185 190 195 200 205 210 215 220 225 230 235 240 245 250 255 260 265 270 275 280 285 290 295 300 305 310 315 320 325 330 335 340 345 350 355 360 365 370 375 380 385 390 395 400 405 410 415 420 425 430 435 440 445 450 c UNKNOWN a YES a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 90 95 a 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 a 10 100 105 110 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 45 450 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 140 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 5 50 55 60 65 70 75 80 85 90 95 a 10 100 105 110 115 120 125 130 135 145 15 150 155 160 165 170 175 180 185 190 195 20 200 205 210 215 220 225 230 235 240 245 25 250 255 260 265 270 275 280 285 290 295 30 300 305 310 315 320 325 330 335 340 345 35 350 355 360 365 370 375 380 385 390 395 40 400 405 410 415 420 425 430 435 440 445 45 450 5 50 55 60 65 70 75 80 85 90 95 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_5b.lp ../../benchmark/3rd-benchmark/asp/le450_5b_01.lp" User time (seconds): 10796.04 System time (seconds): 7.90 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 3:00:04 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): 6382412 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 1667098 Voluntary context switches: 5 Involuntary context switches: 10594 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