test export alephseq