Question: Which studio produced the movie which had a 21-minute Halloween television special based on it that premiered on Wednesday, October 16, 2013?

full_context: Document 1: Cars (franchise): Cars is a CGI-animated film series and Disney media franchise set in a world populated by anthropomorphic vehicles created by John Lasseter. The franchise began with the 2006 film, ""Cars", produced by Pixar and released by Walt Disney Pictures. The film was followed by a sequel in 2011. A third film was released in 2017. DisneyToon Studios produced the spin-off films "Planes" (2013) and "" (2014).
Document 2: Toy Story Hotel: Toy Story Hotel is one of two hotels located within Shanghai Disney Resort. The hotel is themed after the Disney•Pixar franchise of "Toy Story" animated films. The hotel has two sections, the Sheriff Woody wing and the Buzz Lightyear wing. The hotel, when viewed from above, looks similar to an infinity symbol. Toy Story Hotel was opened in 2016 together with the rest of the resort.
Document 3: Hawaiian Vacation: Toy Story Toons: Hawaiian Vacation is a 2011 Pixar computer animated short film directed by Gary Rydstrom. It is the first short in the "Toy Story Toons" series. The short features characters from the "Toy Story" films and takes place after the events of "Toy Story 3". It was first screened in theaters with Pixar's "Cars 2", and was included on the film's media release.
Document 4: Toy Story (franchise): Toy Story is a computer animated film series and Disney media franchise that began with the original 1995 film, "Toy Story", produced by Pixar Animation Studios and released by Walt Disney Pictures. The franchise is based on the anthropomorphic concept that all toys, unknown to humans, are secretly alive, and the films focus on a diverse group of toys that feature a classic cowboy, Sheriff Woody, and modern spaceman, Buzz Lightyear. The group unexpectedly embark on adventures that challenge and change them.
Document 5: Toy Story: Toy Story is a 1995 American computer-animated buddy comedy adventure film produced by Pixar Animation Studios for Walt Disney Pictures. The directorial debut of John Lasseter, "Toy Story" was the first feature-length computer-animated film and the first feature film produced by Pixar. Taking place in a world where anthropomorphic toys pretend to be lifeless whenever humans are present, the film's plot focuses on the relationship between Woody, an old-fashioned pullstring cowboy doll (voiced by Tom Hanks), and Buzz Lightyear, an astronaut action figure (voiced by Tim Allen), as they evolve from rivals competing for the affections of Andy, their owner, to friends who work together to be reunited with Andy as his family prepares to move to a new home. The screenplay was written by Joss Whedon, Andrew Stanton, Joel Cohen and Alec Sokolow, based on a story by Lasseter, Pete Docter, Stanton and Joe Ranft. The film features music by Randy Newman, and was executive-produced by Steve Jobs and Edwin Catmull.
Document 6: Toy Story Toons: Toy Story Toons is a series of short animated films based on the "Toy Story" franchise. The plotline of the series begins after "Toy Story 3". The films are set at Bonnie's house, the new home of Andy's toys. As of 2015, three shorts have been released as part of the series – "Hawaiian Vacation" and "Small Fry" in 2011 and "Partysaurus Rex" in 2012. A fourth short, titled "Mythic Rock", was rumored in 2013, but was scrapped.
Document 7: Buzz Lightyear: Buzz Lightyear is a fictional character in the "Toy Story" franchise. He is a toy space ranger hero according to the movies and action figure in the "Toy Story" franchise. Along with Woody, he is one of the two lead characters in all three "Toy Story" movies. He also appeared in the movie "" and the television series spin-off "Buzz Lightyear of Star Command", as well as the two film sequels.
Document 8: Buzz Lightyear of Star Command: Buzz Lightyear of Star Command is an American children's animated television series produced by Walt Disney Television Animation in collaboration with Pixar. The series, which is a spin-off of the "Toy Story" film franchise, originally aired on UPN and ABC from August 2000 to January 2001 as part of Disney's One Saturday Morning programming block.
Document 9: Toy Story That Time Forgot: Toy Story That Time Forgot is a Christmas-themed 22-minute television special that aired on ABC on Tuesday, December 2, 2014. It was written and directed by Steve Purcell and produced by Galyn Susman. Michael Giacchino composed the music for the special. Most of the regular cast from the "Toy Story" series reprised their roles, including Tom Hanks as Woody, Tim Allen as Buzz Lightyear, Kristen Schaal as Trixie, Wallace Shawn as Rex, Timothy Dalton as Mr. Pricklepants, Don Rickles as Mr. Potato Head, and Joan Cusack as Jessie, with Kevin McKidd and Emma Hudak joining as new characters Reptillus Maximus and Angel Kitty, respectively. It was Don Rickles' final role before his death in April 2017. The film was generally well received and even got a rare 100% rating on Rotten Tomatoes.
Document 10: Toy Story of Terror!: Toy Story of Terror! is a 21-minute Halloween television special, based on the Disney Pixar "Toy Story" movies. It is set shortly after the events of "Toy Story 3" and "Toy Story Toons", and premiered on the American television network ABC on Wednesday, October 16, 2013. It was written and directed by Angus MacLane, produced by Galyn Susman, with Tom Hanks, Tim Allen, Joan Cusack, Don Rickles, Wallace Shawn, Timothy Dalton, and Kristen Schaal reprising their roles of Woody, Buzz Lightyear, Jessie, Mr. Potato Head, Rex, Mr. Pricklepants, and Trixie with Carl Weathers as Combat Carl and Stephen Tobolowsky as the motel manager. Michael Giacchino composed the music for the special. The film's soundtrack was released on October 15, 2013, on Amazon.com and iTunes in digital format.
Document 11: Toy Story 3: Toy Story 3 is a 2010 American 3D computer-animated comedy-drama film produced by Pixar Animation Studios for Walt Disney Pictures. It is the third installment in Pixar's "Toy Story" series, and the sequel to 1999's "Toy Story 2". It was directed by Lee Unkrich, the editor of the first two films and the co-director of "Toy Story 2", written by Michael Arndt, while Unkrich wrote the story along with John Lasseter and Andrew Stanton, respectively director and co-writer of the first two films. The plot focuses on the toys Woody, Buzz Lightyear, and their friends dealing with an uncertain future as their owner, Andy, prepares to leave for college. The film features an ensemble voice cast with Tom Hanks, Tim Allen, Joan Cusack, Don Rickles, Wallace Shawn, John Ratzenberger, Estelle Harris, Jodi Benson, and John Morris reprising their roles from the previous films, along with Blake Clark as the voice of Slinky Dog (because Jim Varney died ten years before the release of the film) and Ned Beatty, Michael Keaton, Whoopi Goldberg, Timothy Dalton, Kristen Schaal, Bonnie Hunt, and Jeff Garlin voicing the new characters introduced in this film.
Document 12: Monsters University: Monsters University is a 2013 American 3D computer-animated comedy film produced by Pixar Animation Studios for Walt Disney Pictures. It was directed by Dan Scanlon and produced by Kori Rae, with John Lasseter, Pete Docter, Andrew Stanton and Lee Unkrich as executive producers. The music for the film was composed by Randy Newman, marking his seventh collaboration with Pixar. It was the fourteenth feature film produced by Pixar, and is a prequel to 2001's "Monsters, Inc.", marking the first time Pixar has made a prequel film. "Monsters University" tells the story of two monsters, Mike and Sulley, and their time studying at college, where they start off as rivals, but slowly become best friends. John Goodman, Billy Crystal, Steve Buscemi, Bob Peterson, and John Ratzenberger reprise their roles as James P. Sullivan, Mike Wazowski, Randall Boggs, Roz, and the Abominable Snowman, respectively. Bonnie Hunt, who played Ms. Flint in the first film, voices Mike's grade school teacher Ms. Karen Graves.
Document 13: Toy Story 2: Toy Story 2 is a 1999 American computer-animated comedy film produced by Pixar Animation Studios for Walt Disney Pictures. Directed by John Lasseter and co-directed by Lee Unkrich and Ash Brannon, it is the sequel to 1995's "Toy Story". In the film, Woody is stolen by a toy collector, prompting Buzz Lightyear and his friends to vow to rescue him, but Woody is then tempted by the idea of immortality in a museum. Many of the original characters and voices from "Toy Story" return for this sequel, and several new characters—including Jessie (voiced by Joan Cusack), Barbie (voiced by Jodi Benson), Stinky Pete (voiced by Kelsey Grammer) and Mrs. Potato Head (voiced by Estelle Harris)—are introduced.
Document 14: Partysaurus Rex: Toy Story Toons: Partysaurus Rex is a 2012 Pixar computer animated short film directed by Mark Walsh. It was first screened in theaters ahead of the 3-D theatrical re-release of "Finding Nemo". "Partysaurus Rex" is the third short in the "Toy Story Toons" series, based on the characters from the "Toy Story" feature films. The short involves Rex getting left in the bathroom and making friends with bath toys. It is one of the final roles of Don Rickles as Mr. Potato Head, before his passing in 2017, followed by "Toy Story of Terror!", "Toy Story That Time Forgot" and "Toy Story 4".
Document 15: List of Toy Story characters: This is a list of characters from Disney/Pixar's "Toy Story" franchise which consists of the animated films "Toy Story" (1995), "Toy Story 2" (1999), and "Toy Story 3" (2010) and the animated short films.
ground_truth: Pixar Animation Studios