# ssh config for room INF3 at EPFL

Host contestant01
  HostName 128.178.158.101

Host contestant02
  HostName 128.178.158.102

Host contestant03
  HostName 128.178.158.103

Host contestant04
  HostName 128.178.158.104

Host contestant05
  HostName 128.178.158.105

Host contestant06
  HostName 128.178.158.106

Host contestant07
  HostName 128.178.158.107

Host contestant08
  HostName 128.178.158.108

Host contestant09
  HostName 128.178.158.109

Host contestant10
  HostName 128.178.158.110

Host contestant11
  HostName 128.178.158.111

Host contestant12
  HostName 128.178.158.112

Host contestant13
  HostName 128.178.158.113

Host contestant14
  HostName 128.178.158.114

Host contestant15
  HostName 128.178.158.115

Host contestant16
  HostName 128.178.158.116

Host contestant17
  HostName 128.178.158.117

Host contestant18
  HostName 128.178.158.118

Host contestant19
  HostName 128.178.158.119

Host contestant20
  HostName 128.178.158.120

Host contestant21
  HostName 128.178.158.121

Host contestant22
  HostName 128.178.158.122

Host contestant23
  HostName 128.178.158.123

Host contestant24
  HostName 128.178.158.124

Host contestant25
  HostName 128.178.158.125

Host contestant26
  HostName 128.178.158.126

Host contestant27
  HostName 128.178.158.127

Host contestant28
  HostName 128.178.158.128

Host contestant29
  HostName 128.178.158.129

Host contestant30
  HostName 128.178.158.130

Host contestant31
  HostName 128.178.158.131

Host contestant32
  HostName 128.178.158.132

Host contestant33
  HostName 128.178.158.133

Host contestant34
  HostName 128.178.158.134

Host contestant35
  HostName 128.178.158.135

Host contestant36
  HostName 128.178.158.136

Host contestant37
  HostName 128.178.158.137

Host contestant38
  HostName 128.178.158.138

Host contestant39
  HostName 128.178.158.139

Host contestant40
  HostName 128.178.158.140

Host contestant41
  HostName 128.178.158.141

Host contestant42
  HostName 128.178.158.142

Host contestant43
  HostName 128.178.158.143

Host contestant44
  HostName 128.178.158.144

Host contestant45
  HostName 128.178.158.145

Host contestant46
  HostName 128.178.158.146

Host contestant47
  HostName 128.178.158.147

Host contestant48
  HostName 128.178.158.148

Host contestant49
  HostName 128.178.158.149

Host contestant50
  HostName 128.178.158.150

Host contestant51
  HostName 128.178.158.151

Host contestant52
  HostName 128.178.158.152

Host contestant53
  HostName 128.178.158.153

Host contestant54
  HostName 128.178.158.154

Host contestant55
  HostName 128.178.158.155

Host contestant56
  HostName 128.178.158.156

Host contestant57
  HostName 128.178.158.157

Host contestant58
  HostName 128.178.158.158

Host contestant59
  HostName 128.178.158.159

Host contestant60
  HostName 128.178.158.160

Host contestant61
  HostName 128.178.158.161

Host contestant62
  HostName 128.178.158.162

Host contestant63
  HostName 128.178.158.163

Host contestant64
  HostName 128.178.158.164

Host vm
  HostName localhost
  Port 2222

Host *
  User root
  UserKnownHostsFile ./local.known_hosts
  HashKnownHosts no