lizard vs mantis life computation