Host opt00
	Hostname	opt.csc.ncsu.edu
	Port		2200
	HostKeyAlias	opt00
Host opt01
	Hostname	opt.csc.ncsu.edu
	Port		2201
	HostKeyAlias	opt01
Host opt02
	Hostname	opt.csc.ncsu.edu
	Port		2202
	HostKeyAlias	opt02
Host opt03
	Hostname	opt.csc.ncsu.edu
	Port		2203
	HostKeyAlias	opt03
Host opt04
	Hostname	opt.csc.ncsu.edu
	Port		2204
	HostKeyAlias	opt04
Host opt05
	Hostname	opt.csc.ncsu.edu
	Port		2205
	HostKeyAlias	opt05
Host opt06
	Hostname	opt.csc.ncsu.edu
	Port		2206
	HostKeyAlias	opt06
Host opt07
	Hostname	opt.csc.ncsu.edu
	Port		2207
	HostKeyAlias	opt07
Host opt08
	Hostname	opt.csc.ncsu.edu
	Port		2208
	HostKeyAlias	opt08
Host opt09
	Hostname	opt.csc.ncsu.edu
	Port		2209
	HostKeyAlias	opt09
Host opt10
	Hostname	opt.csc.ncsu.edu
	Port		2210
	HostKeyAlias	opt10
Host opt11
	Hostname	opt.csc.ncsu.edu
	Port		2211
	HostKeyAlias	opt11
Host opt12
	Hostname	opt.csc.ncsu.edu
	Port		2212
	HostKeyAlias	opt12
Host opt13
	Hostname	opt.csc.ncsu.edu
	Port		2213
	HostKeyAlias	opt13
Host opt14
	Hostname	opt.csc.ncsu.edu
	Port		2214
	HostKeyAlias	opt14
Host opt15
	Hostname	opt.csc.ncsu.edu
	Port		2215
	HostKeyAlias	opt15
Host opt16
	Hostname	opt.csc.ncsu.edu
	Port		2216
	HostKeyAlias	opt16
Host opt17
	Hostname	opt.csc.ncsu.edu
	Port		2217
	HostKeyAlias	opt17