23 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (45:77, 16%)
  - ironfleet/src/IronLockServer/Params.cs (31:63, 37%)

12 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (175:194, 8%)
  - ironfleet/src/IronLockServer/Program.cs (37:56, 26%)

11 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (96:110, 7%)
  - ironfleet/src/IronLockServer/Params.cs (66:80, 18%)

7 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (142:149, 5%)
  - ironfleet/src/IronLockServer/Program.cs (21:28, 15%)