Input: what countries use the euro as official currency?
Output: Italy, Portugal, Finland, Luxembourg, France, Slovenia, Austria, Germany, Greece, Spain