Fix example solution dumping and add example dump file