long[] data = new long[170];
long[] data = new long[36];
	private static final long[] mk_tokenSet_17() {		long[] data = new long[170];		data[0]=71477924201984L;		data[1]=9099575545663490L;		data[2]=145241088016254016L;		data[3]=1649281804293L;		data[4]=162129895823114372L;		data[5]=-4611544730914520960L;		data[6]=2251834173423617L;		data[7]=3229618176L;		data[8]=117691452443590656L;		data[9]=580968854180593736L;		data[10]=-4607160426940063358L;		data[11]=1153071038188749824L;		data[12]=89240839066222604L;		data[13]=86048L;		data[15]=2251834173423680L;		data[17]=4947827531904L;		return data;	}