15 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (72:96, 10%)
  - ironfleet/src/IronRSLKVClient/Params.cs (54:78, 17%)

8 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (53:64, 5%)
  - ironfleet/src/IronRSLKVClient/Params.cs (39:50, 9%)

8 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (177:189, 5%)
  - ironfleet/src/IronRSLKVClient/Program.cs (34:46, 21%)