long[] data = new long[170];
long[] data = new long[36];
	private static final long[] mk_tokenSet_31() {		long[] data = new long[170];		data[0]=8421376L;		data[1]=18190320369936384L;		data[2]=4629700425526804864L;		data[3]=2251799813685248L;		data[4]=1118838985216L;		data[6]=536870912L;		data[7]=2098688L;		data[9]=1153062242162311168L;		data[11]=72057630545150468L;		data[12]=74498L;		data[13]=3298535145472L;		data[15]=99079191802150912L;		data[16]=1152921504606846976L;		data[17]=4294968576L;		return data;	}