Question: What are the names of the 2 AI probes? If there is no answer, please output "Insufficient information to provide an answer.". Movie title: Alien Planet Context: Main article: Darwin IV Alien Planet starts out with an interstellar spacecraft named Von Braun, leaving Earth's orbit. Traveling at 20% the speed of light (37,000 miles/s), it reaches Darwin IV in 42 years. Upon reaching orbit, it deploys the Darwin Reconnaissance Orbiter, which looks for potential landing sites for the probes. The first probe, Balboa, explodes along with its lifting body transport during entry, because one of its wings failed to unfold. Two backup probes, Leonardo da Vinci (nicknamed Leo) and Isaac Newton (nicknamed Ike), successfully land on the planet, and learn much about its bizarre indigenous lifeforms, including an apparently sapient species. The robotic probes sent out to research on Darwin IV are called Horus Probes. Each Horus probe consists of an 8-foot (2.4m) high, 40-foot (12m) long inflatable, hydrogen-filled balloon, which is covered with solar receptors, a computer 'brain', a 'head' covered with sensors, and several smaller robots that can be sent to places too dangerous for the probes themselves. The probes have a limited degree of artificial intelligence, very similar to the 'processing power' of a 4-year-old. All the real thinking is done by a supercomputer in the orbiting Von Braun. The probes are programmed with different personalities; Ike is more cautious, while Leo is the risk-taker. The two probes are also equipped with a holographic message that will be projected to any sentient life found on Darwin. After the two probes inflate their gas-bags, they encounter a voracious Arrowtongue and watch it pursue a Gyrosprinter. Later that night, the twins find the wreckage of Balboa and are forced to split up, Ike studying the unique plant life and Leo going after big game. Ike's voyage takes him to one of Darwin IV's pocket forests, where he encounters a flock of Trunk Suckers and their predator, the Daggerwrist. Before his research is finished, a massive hurricane-like storm hits and Ike must take to the sky, launching weather balloons. Leo goes to the mountain ranges...
A:
Leonardo da Vinci and Issac Newton