prolog12        138714  prolog1.2
prolog12         44616  prolog1.2/Interval