long[] data = new long[2048]; data[0]=-1152921526081673728L; data[1]=-2882303761517117441L; for (int i = 2; i<=1022; i++) { data[i]=-1L; } data[1023]=4611686018427387903L;
long[] data = new long[1025]; data[0]=288063250384289792L; data[1]=137438953504L; data[25]=4393751543808L; data[27]=287948901175001088L; data[37]=281200098803712L; data[39]=281200098803712L; data[41]=281200098803712L; data[43]=281200098803712L; data[45]=281200098803712L; data[47]=280925220896768L; data[49]=281200098803712L; data[51]=281200098803712L; data[53]=281200098803712L; data[57]=67043328L; data[59]=67043328L; data[60]=4393751543808L;
								private static final long[] mk_tokenSet_20() {									long[] data = new long[2048];									data[0]=-1152921526081673728L;									data[1]=-2882303761517117441L;									for (int i = 2; i<=1022; i++) { data[i]=-1L; }									data[1023]=4611686018427387903L;									return data;								}