long[] data = { 0L, 35184372090368L, 4947802357760L, 0L, 0L, 0L};
long[] data = { 0L, 140737488358400L, 19791209431040L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_12() {		long[] data = { 0L, 35184372090368L, 4947802357760L, 0L, 0L, 0L};		return data;	}