<?xml version="1.0" encoding="iso-8859-1"?>
<mascot-report version="1.0">
  <entry kind="error" category="code" check="textual_duplicate" file="a2.ml" line="4" message="code duplicate (3 lines from file &apos;a.ml&apos; starting at line 2)"/>
  <entry kind="error" category="code" check="textual_duplicate" file="a2.ml" line="5" message="code duplicate (3 lines from file &apos;a.ml&apos; starting at line 3)"/>
  <entry kind="error" category="code" check="textual_duplicate" file="a3.ml" line="2" message="code duplicate (3 lines from file &apos;a2.ml&apos; starting at line 4, and 1 other place)"/>
  <entry kind="error" category="code" check="textual_duplicate" file="a3.ml" line="3" message="code duplicate (3 lines from file &apos;a2.ml&apos; starting at line 5, and 1 other place)"/>
</mascot-report>