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: "when did the war of spanish succession end?" whose answer is 1714.
Each document should contain about 30 words, and these documents should contain useful information.

Query: when was the treaty of utrecht signed
Useful Output:

Doc 1: The treaty of peace was finally concluded in Utrecht on July 13, 1713. In it Spain ceded Gibraltar and Minorca to England and promised to cede
Doc 2: With Great Britain and France having agreed upon a truce, the pace of negotiation quickened and the main treaties were finally signed in April 1713. Treaty of
Doc 3: Many delegates signed the pacification on 11–12 April 1713, but the representatives of the Holy Roman Empire and of Emperor Charles VI decided
Doc 4: With Great Britain and France having agreed a truce, the pace of negotiation now quickened, and the main treaties were finally signed on April 11, 1713.
Doc 5: 11 April marks the 304th anniversary of the signing of the Peace of Utrecht by most of the representatives at the congress that convened to