46 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (45:115, 33%)
  - ironfleet/src/IronSHTServer/Params.cs (35:105, 65%)

12 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (175:194, 8%)
  - ironfleet/src/IronSHTServer/Program.cs (35:54, 25%)

8 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (142:150, 5%)
  - ironfleet/src/IronSHTServer/Program.cs (18:26, 16%)

6 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (24:30, 4%)
  - ironfleet/src/IronSHTServer/Params.cs (18:24, 8%)

6 duplicated lines in:
  - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (13:19, 4%)
  - ironfleet/src/IronSHTServer/Params.cs (9:15, 8%)