Question: Which video game required Hana Hayes to work with Naughty Dog?

Context paragraphs:
The Last of Us: The Last of Us is an action-adventure survival horror video game developed by Naughty Dog and published by Sony Computer Entertainment.  It was released for the PlayStation 3 worldwide on June 14, 2013.  Players control Joel, a smuggler tasked with escorting a teenage girl named Ellie across a post-apocalyptic United States.  "The Last of Us" is played from a third-person perspective; players use firearms and improvised weapons, and can use stealth to defend against hostile humans and cannibalistic creatures infected by a mutated strain of the "Cordyceps" fungus.  In the game's online multiplayer mode, up to eight players engage in cooperative and competitive gameplay.

Jak X: Combat Racing: Jak X: Combat Racing (Jak X in Europe, Australia and Africa) is a vehicular combat game video game developed by Naughty Dog and published by Sony Computer Entertainment for the PlayStation 2.  The game was developed for 11 months with a budget of $10 million, and was first released in North America on October 18, 2005, then in Australia on October 26, 2005 and then in Europe on November 4, 2005.  This is the fourth installment into the "Jak and Daxter" series, and the last "Jak and Daxter" game developed by Naughty Dog.

Neil Druckmann: Neil Druckmann (born December 5, 1978) is an Israeli-American writer, creative director and programmer for the video game developer Naughty Dog, known for his work in the video games "The Last of Us" and "".  He was born and raised until the age of 10 in Israel, where his experiences with entertainment would later influence his storytelling techniques.  He studied computer science at Carnegie Mellon University, before searching for work in the video game industry.

High Impact Games: High Impact Games is an American video game developer based in Burbank, California, formed in 2003 by former members of Insomniac Games and Naughty Dog.  In 2007, the company released "" for the PlayStation Portable, with a PlayStation 2 port released the next year, and "Secret Agent Clank" in 2008, also for the PlayStation Portable.  On November 3, 2009, the company released its third game, "", for the PlayStation Portable and PlayStation 2.  The game was based on the "Jak & Daxter" series made by Naughty Dog.  In 2010, High Impact Games was developing a remake of Crash Team Racing for PlayStation 3, Xbox 360 and Wii, but the game was canceled by Activision before the prototype initial.  An environmental artist, who has worked on some games, revealed that High Impact Games is working on a new project for the Wii.  This game has been revealed to be "".

List of Naughty Dog video games: Naughty Dog is an American video game developer that was founded in 1984 by Andy Gavin and Jason Rubin.  Based in Santa Monica, California, Naughty Dog was originally known as Jam Software until 1989, and began producing games for the Apple II system.  Their first release, "Math Jam", was an educational game for the system which Gavin and Rubin self-published in 1985.  The following year, Jam developed the skiing game "Ski Crazed", which was published by Michigan-based company Baudville for the Apple II.  The partnership with Baudville continued for "Dream Zone", an adventure game released for the Apple IIGS as well as the Amiga and DOS in 1987, before they left to work with Electronic Arts on "Keef the Thief" and "Rings of Power".  After a brief hiatus, "Way of the Warrior" was released for the 3DO in 1994, before Naughty Dog partnered with Sony Computer Entertainment, by whom they were later acquired in 2001.

Hana Hayes: Hana Hayes (born March 29, 1999) is an American actress known for her role as Lizzie Sanderson in "The Grinder" and Sarah in the video game "The Last of Us".

Bruce Straley: Bruce Straley is an American game director, artist and designer.  He previously worked for the video game developer Naughty Dog, known for his work in the video games "The Last of Us" and "".  Straley's first video game work was as an artist at Western Technologies Inc, where he worked on two titles.  Following this, he worked as a designer on titles for different companies, prior to his employment at Crystal Dynamics, where he worked as a designer on "" and "".

Evan Wells: Evan Wells is an American video game designer and programmer, and the current President of Naughty Dog.  Wells first video game was at Sega, where he worked on "ToeJam & Earl in Panic on Funkotron", before moving to Crystal Dynamics in 1995 to work on "Gex" and "".  He was employed at Naughty Dog in 1998, working on several "Crash Bandicoot" and "Jak and Daxter" titles before becoming co-president of the company alongside Stephen White in 2005; White was replaced the following year by Christophe Balestra, who retired in 2017.  The two oversaw the release of the "Uncharted" series, and "The Last of Us".  Wells remains the sole president.

Andy Gavin: Andrew Scott "Andy" Gavin (born June 11, 1970) is an American video game programmer, designer, entrepreneur, and novelist.  In the video game industry, he is known for co-founding the video game company Naughty Dog with childhood friend Jason Rubin in 1986, where games such as "Crash Bandicoot" and "Jak & Daxter" were released to critical acclaim.  The sophistication of Naughty Dog technology is often credited to Gavin's background in LISP at the MIT Artificial Intelligence Laboratory.

Amy Hennig: Amy Hennig (born August 19, 1964) is an American video game director and script writer, formerly for the video game company Naughty Dog.  She began her work in the industry on the Nintendo Entertainment System, with her design debut on the Super Nintendo Entertainment System game "".  She later went to work for Crystal Dynamics, working primarily on the "Legacy of Kain" series (her self-proclaimed greatest achievement).  With Naughty Dog, her work has been on two primary series: "Jak and Daxter" and "Uncharted".

Supporting paragraphs: Hana Hayes The Last of Us
Answer: The Last of Us