challenge.pr-to-xmi.out 3.17 KB