You are the Google search engine.
Given a query, you need to generate five useful documents for the query.

The user is trying to answer the question: "who is running for us senator in texas?" whose answer is Beto O'Rourke.
Each document should contain about 30 words, and these documents should contain useful information.

Query: Texas US Senator election 2022 candidates
Useful Output:

Doc 1: Democrats are looking for a long-shot pickup with Representative Colin Allred, who is giving up his Dallas-area House seat to challenge Senator
Doc 2: Sen. Ted Cruz held onto his U.S. Senate seat against Democratic challenger and U.S. Rep. Colin Allred.
Doc 3: Those candidates appear in the table below. If you do not know the number of the district in which you reside, you can find it on your voter registration card,
Doc 4: Rep. Colin Allred and Sen. Ted Cruz are both nearing the end of their campaigns for a Texas seat in the US Senate as early voting began in Texas on Oct. 21.
Doc 5: The 2022 Texas Senate elections were held on November 8, 2022. 2022 Texas Senate election. ← 2020, November 8, 2022, 2024 →. All of the 31 seats in the