Dumped a bunch of files from symodesys