Files
mathquest/cases/dresden-gruenes-gewoelbe.json