long[] data = { 2312906186013966224L, -144115207402451839L, 17246976471L, 0L, 0L, 0L};
long[] data = { -9169021063967113328L, -144115207402451832L, 17246976471L, 0L, 0L, 0L};
	private static final long[] mk_tokenSet_0() {		long[] data = { 2312906186013966224L, -144115207402451839L, 17246976471L, 0L, 0L, 0L};		return data;	}