Stream compaction for GKLEE