8 duplicated lines in:
  - zookeeper-contrib/zookeeper-contrib-zkperl/ZooKeeper.xs (3:10, <1%)
  - zookeeper-specifications/system-spec/zk-3.7/ZkV3_7_0.tla (2:9, <1%)

8 duplicated lines in:
  - zookeeper-contrib/zookeeper-contrib-zkperl/ZooKeeper.xs (3:10, <1%)
  - zookeeper-specifications/protocol-spec/Zab.tla (2:9, <1%)

8 duplicated lines in:
  - zookeeper-contrib/zookeeper-contrib-zkperl/ZooKeeper.xs (3:10, <1%)
  - zookeeper-specifications/system-spec/zk-3.7/FastLeaderElection.tla (2:9, 1%)

6 duplicated lines in:
  - zookeeper-contrib/zookeeper-contrib-zkperl/ZooKeeper.xs (12:17, <1%)
  - zookeeper-specifications/system-spec/zk-3.7/FastLeaderElection.tla (11:16, 1%)

6 duplicated lines in:
  - zookeeper-contrib/zookeeper-contrib-zkperl/ZooKeeper.xs (12:17, <1%)
  - zookeeper-specifications/system-spec/zk-3.7/ZkV3_7_0.tla (11:16, <1%)

6 duplicated lines in:
  - zookeeper-contrib/zookeeper-contrib-zkperl/ZooKeeper.xs (12:17, <1%)
  - zookeeper-specifications/protocol-spec/Zab.tla (11:16, <1%)