0daef2d00ac2332af75b1a3265b0a21a  util
389ca348e0e7923a04c8ffe639d521b6  util.mag
dd956450859b4b0ea85297a6f262e03c  util_hb.mag
4c3834671ea682b6da1b4e350ce9c54e  ruth2.mag
f9380830853bfa40bf872470ff5f5093  p_group.mag
55b1e274c0ebcd9ddbedf8ce202a1fbf  ChangeLog
