long[] data = new long[170];
long[] data = new long[28];
	private static final long[] mk_tokenSet_10() {		long[] data = new long[170];		data[0]=8L;		data[3]=288230376151711744L;		data[6]=68719476736L;		data[7]=578712552117108736L;		data[8]=4503599644151810L;		data[11]=131072L;		data[12]=576460752303423488L;		data[13]=2097154L;		return data;	}