ICY2
s::=;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.;domain=.