e
euclides.sol