Alla flaggor £ fast » * agda dimensioner.