long[] data = new long[170];
long[] data = new long[36];
	private static final long[] mk_tokenSet_31() {		long[] data = new long[170];		data[0]=720584740915621888L;		data[1]=19043554009546752L;		data[2]=4666287662003390856L;		data[3]=4624354592476364800L;		data[4]=8360930528618106896L;		data[5]=1126449662820182L;		data[6]=1509213591575126578L;		data[7]=4835262656L;		data[8]=865183713961246720L;		data[9]=1612851632066789392L;		data[10]=5046283985982849560L;		data[11]=-2303590900162297340L;		data[12]=3458765892606829826L;		data[13]=140737505919000L;		data[15]=360290169212895232L;		data[16]=8116221329512430982L;		data[17]=32214226688L;		return data;	}