127.0.0.1 0 ${HOME}/eo/tutorial/ParadisEO/Lesson1/IslandBitEA1
127.0.0.1 1 ${HOME}/eo/tutorial/ParadisEO/Lesson1/IslandBitEA1
127.0.0.1 1 ${HOME}/eo/tutorial/ParadisEO/Lesson1/IslandBitEA2
127.0.0.1 1 ${HOME}/eo/tutorial/ParadisEO/Lesson1/IslandBitEA2