Question: Are Lucie Šafářová and Pavel Složil both Czech tennis players?

full_context: Document 1: Pavel Vojtisek: Paul Vojtischek (born Pavel Vojtíšek, 13 June 1963) is a Czechoslovak-born West German retired professional tennis player. Vojtisek, who got West German citizenship in his early 20s, is married to two-time Grand Slam finalist Renáta Tomanová.
Document 2: Tomáš Šmíd: Tomáš Šmíd (born May 20, 1956 in Plzeň) is a former tennis player from Czechoslovakia, who won nine singles titles during his career. In doubles, he won fifty-four titles and was World No. 1 in doubles from December 17, 1984 to August 11, 1985. The right-hander reached his highest ATP singles ranking of World No. 11 in July 1984. Šmíd participated in 31 Davis Cup ties for Czechoslovakia from 1977–1989, posting a 20-10 record in doubles and a 22-15 record in singles.
Document 3: Petr Pála: Petr Pála (born 2 October 1975) is a former professional tennis player from the Czech Republic. Together with Pavel Vízner he reached the men's doubles final of the 2001 French Open but lost to Indians Mahesh Bhupathi and Leander Paes (6–7, 3–6). Pála was coached by his father František, who was a professional tennis player on the ATP tour.
Document 4: Helena Suková: Helena Suková (] ) (born 23 February 1965) is a former professional tennis player from the Czech Republic. During her career, she won 14 Grand Slam doubles titles, 9 of them in women's doubles and 5 of them in mixed doubles. She also was a four-time Grand Slam singles runner-up and won 10 singles titles and 69 doubles titles.
Document 5: Květa Peschke: Květoslava Peschkeová, (née Hrdličková; born 9 July 1975) better known as Květa Peschke, is a professional tennis player from the Czech Republic.
Document 6: 2016 Australian Open – Women's Doubles: Bethanie Mattek-Sands and Lucie Šafářová were the defending champions, but Šafářová withdrew before the tournament due to a bacterial infection. Mattek-Sands played alongside Sabine Lisicki, but lost in the second round to Anastasia and Arina Rodionova.
Document 7: Lucie Šafářová: Lucie Šafářová (] ; born 4 February 1987) is a Czech professional tennis player from Brno. She is currently the WTA world No. 1 doubles player. Šafářová has won seven WTA tour singles titles, fifteen doubles titles and reached the quarterfinals of the 2007 Australian Open by upsetting defending champion Amélie Mauresmo in the fourth round. She reached her first Grand Slam semifinal at the 2014 Wimbledon Championships and her first Grand Slam final at the 2015 French Open. She also won the 2015 Australian Open, 2015 French Open, 2016 US Open, 2017 Australian Open and 2017 French Open women's doubles titles partnering with Bethanie Mattek-Sands.
Document 8: Petra Kvitová career statistics: This is a list of the main career statistics of Czech professional tennis player Petra Kvitová. To date, Kvitová has won 20 singles titles including two Grand Slam singles titles at the Wimbledon Championships, one WTA Tour Championships singles title, two WTA Premier Mandatory singles titles and four WTA Premier 5 singles titles. She was also the bronze medallist at the 2016 Rio Olympics, a semifinalist at the 2010 Wimbledon Championships, 2012 Australian Open and 2012 French Open and a quarterfinalist at the 2011 Australian Open, 2012 Wimbledon Championships, 2013 Wimbledon Championships, 2015 US Open and 2017 US Open. Kvitová reached her career-high ranking of world no. 2 on 31 October 2011.
Document 9: Adam Pavlásek: Adam Pavlásek (born 8 October 1994) is a tennis player playing on the ATP Challenger Tour from the Czech Republic. He reached his career-high ATP singles ranking of World No. 72 in January 2017. At the start of 2015, Pavlásek replaced injured countryman Radek Štěpánek in the Hopman Cup, playing alongside Lucie Šafářová. He made a name for himself by defeating world number 20 Fabio Fognini of Italy, Pavlásek's first ever win over a top 20 player.
Document 10: Renáta Tomanová: Renáta Tomanová (born 9 December 1954) is a former professional tennis player from Czechoslovakia.
Document 11: Lucie Hradecká: Lucie Hradecká (] ; born 21 May 1985 in Prague) is a professional tennis player from the Czech Republic. In her career, Hradecká has won 19 WTA doubles titles, and two Grand Slam titles, the 2011 French Open and the 2013 US Open, partnered both times by fellow Czech Andrea Hlaváčková. The pair are also the 2012 Olympic silver medallists in doubles. She has also won a mixed doubles Grand Slam title, the 2013 French Open with František Čermák. Her biggest singles career highlight to date was defeating former world number one Ana Ivanovic in the first round of the 2015 Australian Open.
Document 12: 2017 US Open – Women's Doubles: Bethanie Mattek-Sands and Lucie Šafářová were the defending champions, but Mattek-Sands was unable to compete due to injury. Šafářová played alongside Barbora Strýcová, but lost in the semifinals to Lucie Hradecká and Kateřina Siniaková.
Document 13: Pavel Složil: Pavel Složil (born 29 December 1955) is a former professional tennis player from Czechoslovakia.
Document 14: Lucie Šafářová career statistics: This list summarizes the main career statistics of Czech professional tennis player Lucie Šafářová. To date, Šafářová has won seven WTA singles titles and fifteen WTA doubles titles including five Grand Slam doubles titles with Bethanie Mattek-Sands at the 2015 Australian Open and French Open,; the 2016 US Open and 2017 Australian Open and French Open. Other highlights of Šafářová's career thus far include winning the 2015 Qatar Total Open, reaching the final of the 2015 French Open and making quarterfinal and semifinal appearances at the 2007 Australian Open and 2014 Wimbledon Championships, respectively. Šafářová achieved career high singles and doubles rankings of World No. 5 and World No. 2 on 14 September 2015 and 30 January 2017.
Document 15: Andrea Hlaváčková: Andrea Hlaváčková (] ; born 10 August 1986) is a professional tennis player from the Czech Republic. Her highest singles ranking is world No. 58, which she reached in September 2012, and her highest doubles ranking is No. 3, reached on 22 October 2012. In her career, Hlaváčková has won 22 WTA doubles titles, as well as 19 ITF doubles and eight ITF singles titles. She has won two Grand Slam doubles titles, the 2011 French Open and the 2013 US Open, both times partnered with Lucie Hradecká. The pair are also the 2012 Olympic silver medallists. Hlaváčková was part of the winning Czech team in Fed Cup 2012 and also won the mixed doubles title at the 2013 US Open paired with Max Mirnyi.
ground_truth: yes