Hack language version of code to get LASIK data from exported maude database .zip files