module MapDemo

import StdEnv, Map

Start = fromList [(i,i) \\ i <- [1..25]]