Adding extraction script for picosat.
Correction.
Correction of meta-data.