<?xml version="1.0" encoding="UTF-8" ?>
<formatdesc xmlns="http://eprints.org/ep2/data/2.0">Instances and solutions for the n = 10k slice</formatdesc>
