Kraken is the data processing tool we use to produce our high level data analysis formats for analyses performed in the PPC.