duplicated block id: 1
size: 268 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/ItemCacheTool/Program.cs (1:623)
 - ironclad-apps/tools/NuBuild2/ItemCacheTool/Program.cs (1:623)

duplicated block id: 2
size: 265 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Scheduler.cs (1:839)
 - ironclad-apps/tools/NuBuild2/NuBuild/Scheduler.cs (1:839)

duplicated block id: 3
size: 214 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Program.cs (1:449)
 - ironclad-apps/tools/NuBuild2/NuBuild/Program.cs (1:449)

duplicated block id: 4
size: 203 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (1:540)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (1:540)

duplicated block id: 5
size: 192 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (1:530)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (1:530)

duplicated block id: 6
size: 156 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (1:564)
 - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (1:564)

duplicated block id: 7
size: 147 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheMultiplexer.cs (1:580)
 - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheMultiplexer.cs (1:580)

duplicated block id: 8
size: 143 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/Program.cs (1:313)
 - ironclad-apps/tools/NuBuild2/AzureManager/Program.cs (1:313)

duplicated block id: 9
size: 142 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransformBaseVerb.cs (1:280)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransformBaseVerb.cs (1:280)

duplicated block id: 10
size: 140 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (1:245)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (1:245)

duplicated block id: 11
size: 140 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResult.cs (1:264)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResult.cs (1:264)

duplicated block id: 12
size: 136 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmDepBase.cs (1:293)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmDepBase.cs (1:293)

duplicated block id: 13
size: 130 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (1:373)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (1:373)

duplicated block id: 14
size: 125 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerbRunner.cs (1:417)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerbRunner.cs (1:417)

duplicated block id: 15
size: 121 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Job.cs (1:273)
 - ironclad-apps/tools/NuBuild2/NuBuild/Job.cs (1:273)

duplicated block id: 16
size: 118 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (1:367)
 - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (1:367)

duplicated block id: 17
size: 117 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Presentater.cs (1:295)
 - ironclad-apps/tools/NuBuild2/NuBuild/Presentater.cs (1:295)

duplicated block id: 18
size: 109 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (34:209)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (34:209)

duplicated block id: 19
size: 108 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IroncladAppVerb.cs (1:195)
 - ironclad-apps/tools/NuBuild2/NuBuild/IroncladAppVerb.cs (1:195)

duplicated block id: 20
size: 106 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvokeAsyncWorker.cs (1:293)
 - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvokeAsyncWorker.cs (1:293)

duplicated block id: 21
size: 95 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/CloudExecutionWorker/CloudExecutionEngine.cs (1:223)
 - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/CloudExecutionEngine.cs (1:223)

duplicated block id: 22
size: 93 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BeatExtensions.cs (1:181)
 - ironclad-apps/tools/NuBuild2/NuBuild/BeatExtensions.cs (1:181)

duplicated block id: 23
size: 90 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Presentation.cs (1:152)
 - ironclad-apps/tools/NuBuild2/NuBuild/Presentation.cs (1:152)

duplicated block id: 24
size: 89 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerifyVerb.cs (1:189)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerifyVerb.cs (1:189)

duplicated block id: 25
size: 87 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BackgroundWorker.cs (1:326)
 - ironclad-apps/tools/NuBuild2/NuBuild/BackgroundWorker.cs (1:326)

duplicated block id: 26
size: 87 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/WaitIndex.cs (1:171)
 - ironclad-apps/tools/NuBuild2/NuBuild/WaitIndex.cs (1:171)

duplicated block id: 27
size: 85 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ProcessInvoker.cs (1:258)
 - ironclad-apps/tools/NuBuild2/NuBuild/ProcessInvoker.cs (1:258)

duplicated block id: 28
size: 85 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (1:174)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (1:174)

duplicated block id: 29
size: 83 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (1:270)
 - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (1:270)

duplicated block id: 30
size: 80 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BuildObject.cs (1:344)
 - ironclad-apps/tools/NuBuild2/NuBuild/BuildObject.cs (1:344)

duplicated block id: 31
size: 80 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Verb.cs (1:168)
 - ironclad-apps/tools/NuBuild2/NuBuild/Verb.cs (1:168)

duplicated block id: 32
size: 80 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (1:284)
 - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (1:284)

duplicated block id: 33
size: 79 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheLocal.cs (18:285)
 - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheLocal.cs (18:285)

duplicated block id: 34
size: 75 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/EntryStitcherVerb.cs (1:149)
 - ironclad-apps/tools/NuBuild2/NuBuild/EntryStitcherVerb.cs (1:149)

duplicated block id: 35
size: 74 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (1:168)
 - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (1:168)

duplicated block id: 36
size: 74 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BuildEngine.cs (1:165)
 - ironclad-apps/tools/NuBuild2/NuBuild/BuildEngine.cs (1:165)

duplicated block id: 37
size: 71 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/LinkerVerb.cs (1:146)
 - ironclad-apps/tools/NuBuild2/NuBuild/LinkerVerb.cs (1:146)

duplicated block id: 38
size: 69 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BeatVerb.cs (1:131)
 - ironclad-apps/tools/NuBuild2/NuBuild/BeatVerb.cs (1:131)

duplicated block id: 39
size: 67 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VSProjectParser.cs (1:160)
 - ironclad-apps/tools/NuBuild2/NuBuild/VSProjectParser.cs (1:160)

duplicated block id: 40
size: 66 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BatchVerifyVerb.cs (1:132)
 - ironclad-apps/tools/NuBuild2/NuBuild/BatchVerifyVerb.cs (1:132)

duplicated block id: 41
size: 66 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudSubmitter.cs (1:190)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudSubmitter.cs (1:190)

duplicated block id: 42
size: 65 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Disposition.cs (1:153)
 - ironclad-apps/tools/NuBuild2/NuBuild/Disposition.cs (1:153)

duplicated block id: 43
size: 64 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Util.cs (1:157)
 - ironclad-apps/tools/NuBuild2/NuBuild/Util.cs (1:157)

duplicated block id: 44
size: 63 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/PathNormalizer.cs (1:160)
 - ironclad-apps/tools/NuBuild2/NuBuild/PathNormalizer.cs (1:160)

duplicated block id: 45
size: 61 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (9:98)
 - ironfleet/src/TestIoFramework/Params.cs (9:98)

duplicated block id: 46
size: 61 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/CloudQueueTool/Program.cs (1:124)
 - ironclad-apps/tools/NuBuild2/CloudQueueTool/Program.cs (1:124)

duplicated block id: 47
size: 60 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BeatIncludes.cs (1:138)
 - ironclad-apps/tools/NuBuild2/NuBuild/BeatIncludes.cs (1:138)

duplicated block id: 48
size: 60 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/NMakeVerb.cs (1:110)
 - ironclad-apps/tools/NuBuild2/NuBuild/NMakeVerb.cs (1:110)

duplicated block id: 49
size: 60 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/WinLinkerVerb.cs (1:114)
 - ironclad-apps/tools/NuBuild2/NuBuild/WinLinkerVerb.cs (1:114)

duplicated block id: 50
size: 59 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs (1:121)
 - ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs (1:121)

duplicated block id: 51
size: 59 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyCCVerb.cs (1:118)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCCVerb.cs (1:118)

duplicated block id: 52
size: 57 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SourcePathIncludeContext.cs (1:116)
 - ironclad-apps/tools/NuBuild2/NuBuild/SourcePathIncludeContext.cs (1:116)

duplicated block id: 53
size: 57 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/AzureAccount.cs (1:186)
 - ironclad-apps/tools/NuBuild2/AzureManager/AzureAccount.cs (1:186)

duplicated block id: 54
size: 54 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyIncludes.cs (1:161)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyIncludes.cs (1:161)

duplicated block id: 55
size: 52 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/AnnotationScanner.cs (1:115)
 - ironclad-apps/tools/NuBuild2/NuBuild/AnnotationScanner.cs (1:115)

duplicated block id: 56
size: 52 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuildExecutionService/NuBuildExecutionService.ccproj (1:64)
 - ironclad-apps/tools/NuBuild2/NuBuildExecutionService/NuBuildExecutionService.ccproj (1:64)

duplicated block id: 57
size: 50 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyTreeVerb.cs (1:106)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyTreeVerb.cs (1:106)

duplicated block id: 58
size: 47 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/PresentationBuilder.cs (1:109)
 - ironclad-apps/tools/NuBuild2/NuBuild/PresentationBuilder.cs (1:109)

duplicated block id: 59
size: 47 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (1:97)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (1:97)

duplicated block id: 60
size: 46 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffExtractVerb.cs (1:94)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffExtractVerb.cs (1:94)

duplicated block id: 61
size: 46 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (45:115)
 - ironfleet/src/IronSHTServer/Params.cs (35:105)

duplicated block id: 62
size: 46 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/MasmVerb.cs (1:94)
 - ironclad-apps/tools/NuBuild2/NuBuild/MasmVerb.cs (1:94)

duplicated block id: 63
size: 45 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (538:652)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (703:817)

duplicated block id: 64
size: 43 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnySpecVerb.cs (1:97)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnySpecVerb.cs (1:97)

duplicated block id: 65
size: 42 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/OrderPreservingSet.cs (1:111)
 - ironclad-apps/tools/NuBuild2/NuBuild/OrderPreservingSet.cs (1:111)

duplicated block id: 66
size: 42 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/AsmRewriterVerb.cs (1:83)
 - ironclad-apps/tools/NuBuild2/NuBuild/AsmRewriterVerb.cs (1:83)

duplicated block id: 67
size: 41 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1054:1099)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1214:1259)

duplicated block id: 68
size: 41 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (163:208)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (372:417)

duplicated block id: 69
size: 41 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/ItemCacheTool/CacheState.cs (1:103)
 - ironclad-apps/tools/NuBuild2/ItemCacheTool/CacheState.cs (1:103)

duplicated block id: 70
size: 36 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffCombineVerb.cs (1:89)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffCombineVerb.cs (1:89)

duplicated block id: 71
size: 35 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs (1:81)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs (1:81)

duplicated block id: 72
size: 35 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/AbstractId.cs (1:82)
 - ironclad-apps/tools/NuBuild2/NuBuild/AbstractId.cs (1:82)

duplicated block id: 73
size: 35 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IItemCache.cs (1:170)
 - ironclad-apps/tools/NuBuild2/NuBuild/IItemCache.cs (1:170)

duplicated block id: 74
size: 35 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs (1:68)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs (1:68)

duplicated block id: 75
size: 34 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmVerificationObligationListVerb.cs (1:82)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmVerificationObligationListVerb.cs (1:82)

duplicated block id: 76
size: 34 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (124:159)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (324:359)

duplicated block id: 77
size: 34 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmWorkerBase.cs (1:70)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmWorkerBase.cs (1:70)

duplicated block id: 78
size: 34 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ContextGeneratingVerb.cs (1:82)
 - ironclad-apps/tools/NuBuild2/NuBuild/ContextGeneratingVerb.cs (1:82)

duplicated block id: 79
size: 32 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs (1:52)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs (1:52)

duplicated block id: 80
size: 32 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Params.cs (27:78)
 - ironfleet/src/IronRSLKVClient/Params.cs (33:84)

duplicated block id: 81
size: 31 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeConfigVerb.cs (1:62)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeConfigVerb.cs (1:62)

duplicated block id: 82
size: 31 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/PoundDefines.cs (1:74)
 - ironclad-apps/tools/NuBuild2/NuBuild/PoundDefines.cs (1:74)

duplicated block id: 83
size: 31 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffInferVerb.cs (1:74)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffInferVerb.cs (1:74)

duplicated block id: 84
size: 30 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (633:670)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (747:784)

duplicated block id: 85
size: 30 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs (78:126)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs (76:124)

duplicated block id: 86
size: 30 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerbToposorter.cs (1:98)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerbToposorter.cs (1:98)

duplicated block id: 87
size: 30 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CachedHash.cs (1:60)
 - ironclad-apps/tools/NuBuild2/NuBuild/CachedHash.cs (1:60)

duplicated block id: 88
size: 29 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationObligationList.cs (1:68)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationObligationList.cs (1:68)

duplicated block id: 89
size: 29 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SourcePath.cs (1:120)
 - ironclad-apps/tools/NuBuild2/NuBuild/SourcePath.cs (1:120)

duplicated block id: 90
size: 29 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeVerb.cs (1:60)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeVerb.cs (1:60)

duplicated block id: 91
size: 28 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (26:79)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (26:79)

duplicated block id: 92
size: 28 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (26:79)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (26:79)

duplicated block id: 93
size: 28 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (26:79)
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (26:79)

duplicated block id: 94
size: 27 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CustomManifestParser.cs (1:70)
 - ironclad-apps/tools/NuBuild2/NuBuild/CustomManifestParser.cs (1:70)

duplicated block id: 95
size: 27 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (34:73)
 - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (35:74)

duplicated block id: 96
size: 27 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContext.cs (1:69)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContext.cs (1:69)

duplicated block id: 97
size: 26 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs (74:123)
 - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs (69:118)

duplicated block id: 98
size: 26 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcdrom.cpp (78:103)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcdrom.cpp (119:144)

duplicated block id: 99
size: 26 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (20:63)
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (19:62)

duplicated block id: 100
size: 25 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionVerb.cs (1:64)
 - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionVerb.cs (1:64)

duplicated block id: 101
size: 25 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DependencyCache.cs (1:54)
 - ironclad-apps/tools/NuBuild2/NuBuild/DependencyCache.cs (1:54)

duplicated block id: 102
size: 24 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (1080:1137)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (1302:1359)

duplicated block id: 103
size: 24 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BuildObjectValuePointer.cs (1:107)
 - ironclad-apps/tools/NuBuild2/NuBuild/BuildObjectValuePointer.cs (1:107)

duplicated block id: 104
size: 24 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (29:63)
 - ironfleet/src/IronSHTServer/Params.cs (33:67)

duplicated block id: 105
size: 24 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VSSolutionParser.cs (1:59)
 - ironclad-apps/tools/NuBuild2/NuBuild/VSSolutionParser.cs (1:59)

duplicated block id: 106
size: 24 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTServer/Params.cs (33:67)
 - ironfleet/src/TestIoFramework/Params.cs (29:63)

duplicated block id: 107
size: 24 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationRequest.cs (1:56)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationRequest.cs (1:56)

duplicated block id: 108
size: 23 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (75:118)
 - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (76:119)

duplicated block id: 109
size: 23 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyVerifyOneVerb.cs (17:60)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyVerifyOneVerb.cs (17:60)

duplicated block id: 110
size: 23 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ConcatContextVerb.cs (1:52)
 - ironclad-apps/tools/NuBuild2/NuBuild/ConcatContextVerb.cs (1:52)

duplicated block id: 111
size: 23 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (45:77)
 - ironfleet/src/TestIoFramework/Params.cs (31:63)

duplicated block id: 112
size: 23 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationMessage.cs (1:49)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationMessage.cs (1:49)

duplicated block id: 113
size: 23 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:77)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:80)

duplicated block id: 114
size: 23 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (45:77)
 - ironfleet/src/IronLockServer/Params.cs (31:63)

duplicated block id: 115
size: 22 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (20:55)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (19:54)

duplicated block id: 116
size: 21 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerbOutputsContextVerb.cs (1:51)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerbOutputsContextVerb.cs (1:51)

duplicated block id: 117
size: 21 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (42:77)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (34:69)

duplicated block id: 118
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:72)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (31:68)

duplicated block id: 119
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (31:68)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:76)

duplicated block id: 120
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (31:68)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:72)

duplicated block id: 121
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (31:68)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:75)

duplicated block id: 122
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:76)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:75)

duplicated block id: 123
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:85)
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (31:68)

duplicated block id: 124
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:72)
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (31:68)

duplicated block id: 125
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:72)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (31:68)

duplicated block id: 126
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:85)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:75)

duplicated block id: 127
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (31:68)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:76)

duplicated block id: 128
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (31:68)
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:72)

duplicated block id: 129
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (31:68)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:72)

duplicated block id: 130
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:72)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:76)

duplicated block id: 131
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:85)
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (31:68)

duplicated block id: 132
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:85)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (31:68)

duplicated block id: 133
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:76)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (31:68)

duplicated block id: 134
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:76)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:72)

duplicated block id: 135
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (31:68)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:75)

duplicated block id: 136
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:85)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:72)

duplicated block id: 137
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:72)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:75)

duplicated block id: 138
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:85)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:76)

duplicated block id: 139
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:75)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (31:68)

duplicated block id: 140
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:85)
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:72)

duplicated block id: 141
size: 20 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:72)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:72)

duplicated block id: 142
size: 19 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieAsmLinkVerb.cs (1:52)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieAsmLinkVerb.cs (1:54)

duplicated block id: 143
size: 19 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/WorkingDirectory.cs (1:91)
 - ironclad-apps/tools/NuBuild2/NuBuild/WorkingDirectory.cs (1:91)

duplicated block id: 144
size: 19 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp (497:519)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp (565:587)

duplicated block id: 145
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (35:68)

duplicated block id: 146
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (209:230)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (763:784)

duplicated block id: 147
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (31:64)

duplicated block id: 148
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (39:72)

duplicated block id: 149
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)
 - ironclad-apps/src/Clients/Notary/Parameters.cs (35:68)

duplicated block id: 150
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (136:155)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (681:700)

duplicated block id: 151
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (209:230)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (649:670)

duplicated block id: 152
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (31:64)
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)

duplicated block id: 153
size: 18 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVClient/Params.cs (33:59)
 - ironfleet/src/IronSHTClient/Params.cs (36:62)

duplicated block id: 154
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (38:71)

duplicated block id: 155
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (89:106)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (286:303)

duplicated block id: 156
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (336:355)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (681:700)

duplicated block id: 157
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (48:81)
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)

duplicated block id: 158
size: 18 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Params.cs (27:53)
 - ironfleet/src/IronSHTClient/Params.cs (36:62)

duplicated block id: 159
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (1:34)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (1:34)

duplicated block id: 160
size: 18 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DotNetSHABench/Parameters.cs (36:69)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (31:64)

duplicated block id: 161
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1052:1070)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1387:1405)

duplicated block id: 162
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (1:33)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (1:33)

duplicated block id: 163
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (41:69)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (33:61)

duplicated block id: 164
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (611:627)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1325:1341)

duplicated block id: 165
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Hasher.cs (1:49)
 - ironclad-apps/tools/NuBuild2/NuBuild/Hasher.cs (1:49)

duplicated block id: 166
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (62:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (986:1002)

duplicated block id: 167
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpci.cpp (460:481)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpci.cpp (490:511)

duplicated block id: 168
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BasmObligationIncludes.cs (1:38)
 - ironclad-apps/tools/NuBuild2/NuBuild/BasmObligationIncludes.cs (1:38)

duplicated block id: 169
size: 17 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (259:275)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1139:1155)

duplicated block id: 170
size: 16 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Program.cs (44:70)
 - ironfleet/src/IronRSLKVClient/Program.cs (45:71)

duplicated block id: 171
size: 16 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (163:179)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (710:726)

duplicated block id: 172
size: 16 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ConcatContext.cs (1:40)
 - ironclad-apps/tools/NuBuild2/NuBuild/ConcatContext.cs (1:40)

duplicated block id: 173
size: 16 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (12:31)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (12:31)

duplicated block id: 174
size: 16 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1214:1230)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1389:1405)

duplicated block id: 175
size: 16 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/StaticContextVerb.cs (1:41)
 - ironclad-apps/tools/NuBuild2/NuBuild/StaticContextVerb.cs (1:41)

duplicated block id: 176
size: 16 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (372:388)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (710:726)

duplicated block id: 177
size: 16 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DbgVerbCounter.cs (1:39)
 - ironclad-apps/tools/NuBuild2/NuBuild/DbgVerbCounter.cs (1:39)

duplicated block id: 178
size: 15 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVClient/Params.cs (54:78)
 - ironfleet/src/IronSHTServer/Params.cs (62:86)

duplicated block id: 179
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (533:548)
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (623:638)

duplicated block id: 180
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1167:1184)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1740:1757)

duplicated block id: 181
size: 15 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Params.cs (48:72)
 - ironfleet/src/IronSHTServer/Params.cs (62:86)

duplicated block id: 182
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DbgFileCopySpeedTest.cs (1:29)
 - ironclad-apps/tools/NuBuild2/NuBuild/DbgFileCopySpeedTest.cs (1:29)

duplicated block id: 183
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerbSyncWorker.cs (1:80)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerbSyncWorker.cs (1:80)

duplicated block id: 184
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (903:917)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1490:1504)

duplicated block id: 185
size: 15 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (72:96)
 - ironfleet/src/IronRSLKVClient/Params.cs (54:78)

duplicated block id: 186
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionWaiter.cs (1:62)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionWaiter.cs (1:62)

duplicated block id: 187
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1035:1050)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1185:1200)

duplicated block id: 188
size: 15 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (72:96)
 - ironfleet/src/IronRSLCounterClient/Params.cs (48:72)

duplicated block id: 189
size: 15 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BasmTransitiveDepsVerb.cs (1:37)
 - ironclad-apps/tools/NuBuild2/NuBuild/BasmTransitiveDepsVerb.cs (1:37)

duplicated block id: 190
size: 14 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Client.cs (46:66)
 - ironfleet/src/IronRSLKVClient/Client.cs (15:35)

duplicated block id: 191
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1012:1025)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1350:1363)

duplicated block id: 192
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Benchmark/BenchmarkRequestCmd/GlobalSuppressions.cs (1:29)
 - ironclad-apps/src/Clients/Benchmark/Communication/GlobalSuppressions.cs (1:29)

duplicated block id: 193
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyExtensions.cs (1:33)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExtensions.cs (1:33)

duplicated block id: 194
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (12:28)

duplicated block id: 195
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (12:28)

duplicated block id: 196
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (89:102)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1012:1025)

duplicated block id: 197
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (12:28)

duplicated block id: 198
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Common/Profiler.cs (41:62)
 - ironfleet/src/IronfleetCommon/Profiler.cs (39:60)

duplicated block id: 199
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (637:650)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1350:1363)

duplicated block id: 200
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (637:650)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1012:1025)

duplicated block id: 201
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (637:650)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1164:1177)

duplicated block id: 202
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (286:299)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1012:1025)

duplicated block id: 203
size: 14 cleaned lines of code
in 2 files:
 - ironfleet/tools/scripts/dafny-line-count.py (24:39)
 - ironfleet/tools/scripts/purge.py (18:33)

duplicated block id: 204
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (823:836)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (904:917)

duplicated block id: 205
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (12:28)

duplicated block id: 206
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (268:281)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (309:322)

duplicated block id: 207
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (89:102)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (637:650)

duplicated block id: 208
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (12:28)

duplicated block id: 209
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpecoff.cpp (75:88)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpecoff.cpp (118:131)

duplicated block id: 210
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (883:898)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1470:1485)

duplicated block id: 211
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Benchmark/BenchmarkRequestCmd/GlobalSuppressions.cs (1:29)
 - ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/GlobalSuppressions.cs (1:29)

duplicated block id: 212
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (591:606)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1305:1320)

duplicated block id: 213
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (12:28)

duplicated block id: 214
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Benchmark/BenchmarkRequestGui/GlobalSuppressions.cs (1:29)
 - ironclad-apps/src/Clients/Benchmark/Communication/GlobalSuppressions.cs (1:29)

duplicated block id: 215
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (802:817)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (883:898)

duplicated block id: 216
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (802:817)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1470:1485)

duplicated block id: 217
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (823:836)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1491:1504)

duplicated block id: 218
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (243:261)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (267:285)

duplicated block id: 219
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (12:28)

duplicated block id: 220
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1164:1177)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1350:1363)

duplicated block id: 221
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (286:299)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (637:650)

duplicated block id: 222
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (286:299)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1164:1177)

duplicated block id: 223
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (12:28)

duplicated block id: 224
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (12:28)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (12:28)

duplicated block id: 225
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (286:299)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1350:1363)

duplicated block id: 226
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (89:102)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1350:1363)

duplicated block id: 227
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1012:1025)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1164:1177)

duplicated block id: 228
size: 14 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (89:102)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1164:1177)

duplicated block id: 229
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Program.cs (1:29)
 - ironclad-apps/src/Clients/TrIncSrv/Program.cs (1:29)

duplicated block id: 230
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Properties/AssemblyInfo.cs (1:36)
 - ironclad-apps/tools/NuBuild2/NuBuild/Properties/AssemblyInfo.cs (1:36)

duplicated block id: 231
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (41:62)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (34:55)

duplicated block id: 232
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHashSrv/Program.cs (1:29)
 - ironclad-apps/src/Clients/TrIncSrv/Program.cs (1:29)

duplicated block id: 233
size: 13 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Params.cs (82:99)
 - ironfleet/src/IronSHTClient/Params.cs (80:97)

duplicated block id: 234
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Program.cs (1:29)
 - ironclad-apps/src/Clients/TrIncSrv/Program.cs (1:29)

duplicated block id: 235
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (123:153)
 - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (124:154)

duplicated block id: 236
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (424:438)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (758:772)

duplicated block id: 237
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Program.cs (1:29)
 - ironclad-apps/src/Clients/PassHashSrv/Program.cs (1:29)

duplicated block id: 238
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (42:63)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (33:54)

duplicated block id: 239
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Logger.cs (1:52)
 - ironclad-apps/tools/NuBuild2/NuBuild/Logger.cs (1:52)

duplicated block id: 240
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Program.cs (1:29)
 - ironclad-apps/src/Clients/NotarySrv/Program.cs (1:29)

duplicated block id: 241
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (1:31)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (1:31)

duplicated block id: 242
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/Properties/AssemblyInfo.cs (1:42)
 - ironclad-apps/tools/NuBuild2/AzureManager/Properties/AssemblyInfo.cs (1:42)

duplicated block id: 243
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Program.cs (1:29)
 - ironclad-apps/src/Clients/PassHashSrv/Program.cs (1:29)

duplicated block id: 244
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/CloudExecutionWorker/Properties/AssemblyInfo.cs (1:42)
 - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/Properties/AssemblyInfo.cs (1:42)

duplicated block id: 245
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/CloudQueueTool/Properties/AssemblyInfo.cs (1:42)
 - ironclad-apps/tools/NuBuild2/CloudQueueTool/Properties/AssemblyInfo.cs (1:42)

duplicated block id: 246
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/CloudExecutionEngine/Properties/AssemblyInfo.cs (1:42)
 - ironclad-apps/tools/NuBuild2/CloudExecutionEngine/Properties/AssemblyInfo.cs (1:42)

duplicated block id: 247
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IVerb.cs (1:127)
 - ironclad-apps/tools/NuBuild2/NuBuild/IVerb.cs (1:127)

duplicated block id: 248
size: 13 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/ItemCacheTool/Properties/AssemblyInfo.cs (1:42)
 - ironclad-apps/tools/NuBuild2/ItemCacheTool/Properties/AssemblyInfo.cs (1:42)

duplicated block id: 249
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffEngine.cs (1:24)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffEngine.cs (1:24)

duplicated block id: 250
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (180:193)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1231:1244)

duplicated block id: 251
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (389:402)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1071:1084)

duplicated block id: 252
size: 12 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Program.cs (37:56)
 - ironfleet/src/IronSHTServer/Program.cs (35:54)

duplicated block id: 253
size: 12 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (175:194)
 - ironfleet/src/IronLockServer/Program.cs (37:56)

duplicated block id: 254
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (389:402)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1231:1244)

duplicated block id: 255
size: 12 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (175:194)
 - ironfleet/src/IronSHTServer/Program.cs (35:54)

duplicated block id: 256
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (180:193)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1071:1084)

duplicated block id: 257
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DependencyDisposition.cs (1:32)
 - ironclad-apps/tools/NuBuild2/NuBuild/DependencyDisposition.cs (1:32)

duplicated block id: 258
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IVerbWorker.cs (1:92)
 - ironclad-apps/tools/NuBuild2/NuBuild/IVerbWorker.cs (1:92)

duplicated block id: 259
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (59:80)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (51:72)

duplicated block id: 260
size: 12 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1231:1246)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1795:1809)

duplicated block id: 261
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1019:1030)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1740:1751)

duplicated block id: 262
size: 11 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (66:80)
 - ironfleet/src/IronSHTServer/Params.cs (86:100)

duplicated block id: 263
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd.cpp (142:176)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blvideo.cpp (257:291)

duplicated block id: 264
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:456)
 - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:252)

duplicated block id: 265
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:493)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:456)

duplicated block id: 266
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:252)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:456)

duplicated block id: 267
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:252)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:493)

duplicated block id: 268
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:456)
 - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:252)

duplicated block id: 269
size: 11 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (96:110)
 - ironfleet/src/TestIoFramework/Params.cs (66:80)

duplicated block id: 270
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1019:1030)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1167:1178)

duplicated block id: 271
size: 11 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTServer/Params.cs (86:100)
 - ironfleet/src/TestIoFramework/Params.cs (66:80)

duplicated block id: 272
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:493)
 - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:252)

duplicated block id: 273
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:456)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:493)

duplicated block id: 274
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:493)
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:456)

duplicated block id: 275
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:493)
 - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:252)

duplicated block id: 276
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:493)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:456)

duplicated block id: 277
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:493)
 - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:252)

duplicated block id: 278
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:456)
 - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:252)

duplicated block id: 279
size: 11 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (96:110)
 - ironfleet/src/IronLockServer/Params.cs (66:80)

duplicated block id: 280
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Benchmark/Communication/Request.cs (32:44)
 - ironclad-apps/src/Clients/Benchmark/Communication/Response.cs (44:55)

duplicated block id: 281
size: 11 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/CloudExecutionWorker/WorkerRole.cs (24:67)
 - ironclad-apps/tools/NuBuild2/CloudExecutionWorker/WorkerRole.cs (24:67)

duplicated block id: 282
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:490)

duplicated block id: 283
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:490)
 - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317)

duplicated block id: 284
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (360:369)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1201:1211)

duplicated block id: 285
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (41:50)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (71:80)

duplicated block id: 286
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (20:34)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (19:33)

duplicated block id: 287
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionReport.cs (473:490)

duplicated block id: 288
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:453)

duplicated block id: 289
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1036:1046)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1371:1381)

duplicated block id: 290
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:250)

duplicated block id: 291
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (591:600)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (965:974)

duplicated block id: 292
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpci.cpp (243:255)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpci.cpp (294:306)

duplicated block id: 293
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1186:1196)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1371:1381)

duplicated block id: 294
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (46:57)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (970:981)

duplicated block id: 295
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (324:333)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (670:679)

duplicated block id: 296
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (124:133)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (670:679)

duplicated block id: 297
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild2/NuBuild/ResultSummaryRecord.cs (233:250)

duplicated block id: 298
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:250)

duplicated block id: 299
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/standalone/StandAloneSupport.vcxproj (65:77)
 - ironclad-apps/tools/standalone/StandAloneSupport.vcxproj (82:94)

duplicated block id: 300
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:453)
 - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317)

duplicated block id: 301
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (19:33)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (20:34)

duplicated block id: 302
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsContents.cs (1:32)
 - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsContents.cs (1:32)

duplicated block id: 303
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (436:453)

duplicated block id: 304
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (965:974)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1305:1314)

duplicated block id: 305
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionReport.cs (473:490)

duplicated block id: 306
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ResultSummaryRecord.cs (233:250)
 - ironclad-apps/tools/NuBuild2/AzureManager/ServiceConfiguration.cs (299:317)

duplicated block id: 307
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/AzureManager/ServiceConfiguration.cs (299:317)
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (436:453)

duplicated block id: 308
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1070:1081)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1180:1191)

duplicated block id: 309
size: 10 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpnp.cpp (376:392)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpnp.cpp (414:428)

duplicated block id: 310
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (70:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (186:194)

duplicated block id: 311
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (70:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (133:141)

duplicated block id: 312
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (70:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (89:97)

duplicated block id: 313
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1198:1208)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1770:1780)

duplicated block id: 314
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (212:227)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs (36:51)

duplicated block id: 315
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (89:97)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (186:194)

duplicated block id: 316
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (258:266)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (986:994)

duplicated block id: 317
size: 9 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Params.cs (110:120)
 - ironfleet/src/TestIoFramework/Params.cs (84:94)

duplicated block id: 318
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyTransitiveDepsVerb.cs (1:26)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyTransitiveDepsVerb.cs (1:26)

duplicated block id: 319
size: 9 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTClient/Params.cs (67:77)
 - ironfleet/src/TestIoFramework/Params.cs (84:94)

duplicated block id: 320
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (374:382)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (400:408)

duplicated block id: 321
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (374:382)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (426:434)

duplicated block id: 322
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (69:77)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (96:104)

duplicated block id: 323
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (495:535)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (660:700)

duplicated block id: 324
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (433:442)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (487:496)

duplicated block id: 325
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs (36:51)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (212:227)

duplicated block id: 326
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (410:435)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (557:582)

duplicated block id: 327
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (410:435)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (722:747)

duplicated block id: 328
size: 9 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Params.cs (110:120)
 - ironfleet/src/IronSHTClient/Params.cs (67:77)

duplicated block id: 329
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (400:408)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (426:434)

duplicated block id: 330
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (62:70)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (258:266)

duplicated block id: 331
size: 9 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (84:94)
 - ironfleet/src/IronSHTClient/Params.cs (67:77)

duplicated block id: 332
size: 9 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Params.cs (110:120)
 - ironfleet/src/IronLockServer/Params.cs (84:94)

duplicated block id: 333
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (167:176)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (745:754)

duplicated block id: 334
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (450:460)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (519:529)

duplicated block id: 335
size: 9 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Program.cs (25:41)
 - ironfleet/src/IronRSLKVClient/Program.cs (28:44)

duplicated block id: 336
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.h (261:269)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.h (277:285)

duplicated block id: 337
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.h (261:269)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.h (294:302)

duplicated block id: 338
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.h (277:285)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.h (294:302)

duplicated block id: 339
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1088:1098)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1767:1777)

duplicated block id: 340
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (89:97)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (133:141)

duplicated block id: 341
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (349:357)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (400:408)

duplicated block id: 342
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (349:357)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (426:434)

duplicated block id: 343
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (349:357)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (374:382)

duplicated block id: 344
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (212:227)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultVerb.cs (36:51)

duplicated block id: 345
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (219:229)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (461:471)

duplicated block id: 346
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (212:227)
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultVerb.cs (36:51)

duplicated block id: 347
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DbgHashSpeedTest.cs (1:18)
 - ironclad-apps/tools/NuBuild2/NuBuild/DbgHashSpeedTest.cs (1:18)

duplicated block id: 348
size: 9 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (133:141)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blacpi.cpp (186:194)

duplicated block id: 349
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (102:109)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (132:139)

duplicated block id: 350
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ContextContents.cs (1:23)
 - ironclad-apps/tools/NuBuild2/NuBuild/ContextContents.cs (1:23)

duplicated block id: 351
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTClient/Params.cs (42:53)
 - ironfleet/src/IronSHTServer/Params.cs (43:54)

duplicated block id: 352
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (67:80)
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (59:72)

duplicated block id: 353
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (136:156)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (220:240)

duplicated block id: 354
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (142:150)
 - ironfleet/src/IronSHTServer/Program.cs (18:26)

duplicated block id: 355
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (53:64)
 - ironfleet/src/IronSHTClient/Params.cs (42:53)

duplicated block id: 356
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1148:1155)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1334:1341)

duplicated block id: 357
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpecoff.cpp (65:72)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpecoff.cpp (109:116)

duplicated block id: 358
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (258:265)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (611:618)

duplicated block id: 359
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/BoogieAsm/parse_util.fs (3:10)
 - ironclad-apps/tools/DafnySpec/Parser/parse_util.fs (6:13)

duplicated block id: 360
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (995:1002)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1334:1341)

duplicated block id: 361
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IncludePathContext.cs (1:23)
 - ironclad-apps/tools/NuBuild2/NuBuild/IncludePathContext.cs (1:23)

duplicated block id: 362
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Program.cs (25:37)
 - ironfleet/src/IronSHTClient/Program.cs (29:41)

duplicated block id: 363
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (995:1002)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1148:1155)

duplicated block id: 364
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVClient/Params.cs (39:50)
 - ironfleet/src/TestIoFramework/Params.cs (39:50)

duplicated block id: 365
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (620:627)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (995:1002)

duplicated block id: 366
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (62:69)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (611:618)

duplicated block id: 367
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Params.cs (33:44)
 - ironfleet/src/IronSHTServer/Params.cs (43:54)

duplicated block id: 368
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (447:454)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp (519:526)

duplicated block id: 369
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (39:50)
 - ironfleet/src/IronSHTClient/Params.cs (42:53)

duplicated block id: 370
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (268:275)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (620:627)

duplicated block id: 371
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (987:994)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1139:1146)

duplicated block id: 372
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (39:50)
 - ironfleet/src/IronRSLKVClient/Params.cs (39:50)

duplicated block id: 373
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/BoogieAsm/main.fs (926:933)
 - ironclad-apps/tools/DafnySpec/Parser/parser.fs (13:20)

duplicated block id: 374
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1186:1195)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1758:1767)

duplicated block id: 375
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (39:50)
 - ironfleet/src/IronRSLCounterClient/Params.cs (33:44)

duplicated block id: 376
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Program.cs (39:51)
 - ironfleet/src/IronRSLKVClient/Program.cs (34:46)

duplicated block id: 377
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (53:64)
 - ironfleet/src/IronRSLCounterClient/Params.cs (33:44)

duplicated block id: 378
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (71:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1334:1341)

duplicated block id: 379
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (268:275)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1334:1341)

duplicated block id: 380
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (71:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1148:1155)

duplicated block id: 381
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (189:207)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (326:344)

duplicated block id: 382
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (986:993)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1325:1332)

duplicated block id: 383
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (611:618)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (986:993)

duplicated block id: 384
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTClient/Params.cs (42:53)
 - ironfleet/src/TestIoFramework/Params.cs (39:50)

duplicated block id: 385
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (258:265)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1325:1332)

duplicated block id: 386
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (1213:1220)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blmm.cpp (912:919)

duplicated block id: 387
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (728:736)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1407:1415)

duplicated block id: 388
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (71:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (620:627)

duplicated block id: 389
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (268:275)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (995:1002)

duplicated block id: 390
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVClient/Program.cs (34:46)
 - ironfleet/src/IronSHTServer/Program.cs (37:49)

duplicated block id: 391
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (258:265)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (300:307)

duplicated block id: 392
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (863:871)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1532:1540)

duplicated block id: 393
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (71:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (268:275)

duplicated block id: 394
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (53:64)
 - ironfleet/src/IronRSLKVClient/Params.cs (39:50)

duplicated block id: 395
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Program.cs (25:37)
 - ironfleet/src/IronRSLCounterClient/Program.cs (26:38)

duplicated block id: 396
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (177:189)
 - ironfleet/src/IronRSLKVClient/Program.cs (34:46)

duplicated block id: 397
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (63:70)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1139:1146)

duplicated block id: 398
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Program.cs (26:38)
 - ironfleet/src/IronSHTClient/Program.cs (29:41)

duplicated block id: 399
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVClient/Params.cs (39:50)
 - ironfleet/src/IronSHTServer/Params.cs (43:54)

duplicated block id: 400
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BootableAppVerb.cs (1:28)
 - ironclad-apps/tools/NuBuild2/NuBuild/BootableAppVerb.cs (1:28)

duplicated block id: 401
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Params.cs (33:44)
 - ironfleet/src/TestIoFramework/Params.cs (39:50)

duplicated block id: 402
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (620:627)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1148:1155)

duplicated block id: 403
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVClient/Program.cs (28:40)
 - ironfleet/src/IronSHTClient/Program.cs (29:41)

duplicated block id: 404
size: 8 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (62:69)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1325:1332)

duplicated block id: 405
size: 8 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Program.cs (26:38)
 - ironfleet/src/IronRSLKVClient/Program.cs (28:40)

duplicated block id: 406
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (474:490)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (984:1000)

duplicated block id: 407
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (1190:1199)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (1224:1233)

duplicated block id: 408
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/BoogieAsm/parse_util.fs (3:9)
 - ironclad-apps/tools/LineCount/parse_util.fs (1:7)

duplicated block id: 409
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (142:149)
 - ironfleet/src/IronLockServer/Program.cs (21:28)

duplicated block id: 410
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (72:78)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (524:530)

duplicated block id: 411
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Program.cs (69:76)
 - ironfleet/src/IronSHTServer/Program.cs (69:76)

duplicated block id: 412
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (135:141)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (172:178)

duplicated block id: 413
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.cpp (37:43)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.cpp (671:677)

duplicated block id: 414
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (524:530)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1335:1341)

duplicated block id: 415
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (10:23)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (10:23)

duplicated block id: 416
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (172:178)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (135:141)

duplicated block id: 417
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (328:344)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (353:369)

duplicated block id: 418
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (10:23)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (10:23)

duplicated block id: 419
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (120:132)
 - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (47:59)

duplicated block id: 420
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultDafnyParser.cs (59:69)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultBoogieParser.cs (59:69)

duplicated block id: 421
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (191:207)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (353:369)

duplicated block id: 422
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/standalone/StandAloneSupport.vcxproj (8:17)
 - ironfleet/tools/scripts/integration-project/make-project.vcxproj (4:13)

duplicated block id: 423
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (216:232)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (270:286)

duplicated block id: 424
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (524:530)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (621:627)

duplicated block id: 425
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Benchmark/Communication/Request.cs (42:49)
 - ironclad-apps/src/Clients/Benchmark/Communication/Response.cs (39:46)

duplicated block id: 426
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Benchmark/Communication/Request.cs (27:34)
 - ironclad-apps/src/Clients/Benchmark/Communication/Response.cs (34:41)

duplicated block id: 427
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs (84:97)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (64:77)

duplicated block id: 428
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1139:1145)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1326:1332)

duplicated block id: 429
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (524:530)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1149:1155)

duplicated block id: 430
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Common/Profiler.cs (25:34)
 - ironfleet/src/IronfleetCommon/Profiler.cs (23:32)

duplicated block id: 431
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (1004:1032)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (1225:1253)

duplicated block id: 432
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (64:77)
 - ironclad-apps/tools/NuBuild/NuBuild/IronfleetAppVerb.cs (84:97)

duplicated block id: 433
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyCompileOneVerb.cs (64:77)
 - ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs (84:97)

duplicated block id: 434
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (1181:1196)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (1390:1405)

duplicated block id: 435
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/DiffPrivRequest.cs (14:25)
 - ironclad-apps/src/Clients/TrIncSrv/TrIncRequest.cs (14:25)

duplicated block id: 436
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (1173:1182)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (1207:1216)

duplicated block id: 437
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (191:207)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (216:232)

duplicated block id: 438
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (191:207)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (270:286)

duplicated block id: 439
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (270:286)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (353:369)

duplicated block id: 440
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTClient/Client.cs (79:94)
 - ironfleet/src/IronSHTClient/Client.cs (167:182)

duplicated block id: 441
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (270:286)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (328:344)

duplicated block id: 442
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnySpec/Parser/parse_util.fs (6:12)
 - ironclad-apps/tools/LineCount/parse_util.fs (1:7)

duplicated block id: 443
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyCompileOneVerb.cs (64:77)
 - ironclad-apps/tools/NuBuild2/NuBuild/IronfleetAppVerb.cs (84:97)

duplicated block id: 444
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionQueue.cs (120:132)
 - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (47:59)

duplicated block id: 445
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTServer/Program.cs (18:25)
 - ironfleet/src/TestIoFramework/Program.cs (83:90)

duplicated block id: 446
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (160:166)
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs (38:44)

duplicated block id: 447
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/BoogieVerb.cs (160:166)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs (38:44)

duplicated block id: 448
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVServer/KVMessages.cs (92:100)
 - ironfleet/src/IronRSLKVServer/KVMessages.cs (201:209)

duplicated block id: 449
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/def.ps1 (318:324)
 - ironclad-apps/def.ps1 (341:347)

duplicated block id: 450
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultBoogieParser.cs (67:77)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultDafnyParser.cs (51:61)

duplicated block id: 451
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnySpec/ParseMain.cs (374:382)
 - ironclad-apps/tools/DafnySpec/ParseMain.cs (411:419)

duplicated block id: 452
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1216:1224)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1780:1788)

duplicated block id: 453
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Program.cs (21:28)
 - ironfleet/src/IronSHTServer/Program.cs (18:25)

duplicated block id: 454
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (463:469)
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (480:486)

duplicated block id: 455
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (222:229)
 - ironclad-apps/tools/DafnySpec/DafnySpec.cs (391:398)

duplicated block id: 456
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (269:275)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (524:530)

duplicated block id: 457
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/DafnyExecutableDependencies.cs (38:44)
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (160:166)

duplicated block id: 458
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (409:416)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (746:753)

duplicated block id: 459
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ItemCacheCloud.cs (47:59)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (120:132)

duplicated block id: 460
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (1296:1302)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blpecoff.cpp (358:364)

duplicated block id: 461
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (612:618)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1139:1145)

duplicated block id: 462
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (524:530)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (996:1002)

duplicated block id: 463
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (142:149)
 - ironfleet/src/TestIoFramework/Program.cs (83:90)

duplicated block id: 464
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (10:23)
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (10:23)

duplicated block id: 465
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (169:176)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (633:640)

duplicated block id: 466
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IVerificationResultParser.cs (1:17)
 - ironclad-apps/tools/NuBuild2/NuBuild/IVerificationResultParser.cs (1:17)

duplicated block id: 467
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (135:141)
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (172:178)

duplicated block id: 468
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionQueue.cs (120:132)
 - ironclad-apps/tools/NuBuild2/NuBuild/ItemCacheCloud.cs (47:59)

duplicated block id: 469
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (786:792)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkdcom.cpp (306:312)

duplicated block id: 470
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (216:232)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (328:344)

duplicated block id: 471
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (510:517)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1454:1461)

duplicated block id: 472
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (216:232)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (353:369)

duplicated block id: 473
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (135:141)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (172:178)

duplicated block id: 474
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (236:245)
 - ironclad-apps/tools/DafnySpec/DafnySpec.cs (404:414)

duplicated block id: 475
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (424:439)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (951:966)

duplicated block id: 476
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (1204:1210)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blmm.cpp (773:779)

duplicated block id: 477
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1091:1098)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1198:1205)

duplicated block id: 478
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (200:207)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (746:753)

duplicated block id: 479
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/NotaryRequest.cs (14:25)
 - ironclad-apps/src/Clients/TrIncSrv/TrIncRequest.cs (14:25)

duplicated block id: 480
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/BoogieVerb.cs (160:166)
 - ironclad-apps/tools/NuBuild2/NuBuild/DafnyExecutableDependencies.cs (38:44)

duplicated block id: 481
size: 7 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Program.cs (21:28)
 - ironfleet/src/TestIoFramework/Program.cs (83:90)

duplicated block id: 482
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/CompileMethod.cs (1787:1793)
 - ironclad-apps/tools/DafnyCC/CompileMethod.cs (1869:1875)

duplicated block id: 483
size: 7 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/DiffPrivRequest.cs (14:25)
 - ironclad-apps/src/Clients/NotarySrv/NotaryRequest.cs (14:25)

duplicated block id: 484
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (77:88)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (86:97)

duplicated block id: 485
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (83:88)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blfat.cpp (117:122)

duplicated block id: 486
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Benchmark/Communication/BenchmarkList.cs (10:15)
 - ironclad-apps/src/Clients/Benchmark/Communication/Response.cs (190:195)

duplicated block id: 487
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (12:17)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (12:17)

duplicated block id: 488
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (935:941)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1522:1528)

duplicated block id: 489
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (928:933)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1515:1520)

duplicated block id: 490
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (1:6)

duplicated block id: 491
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (555:560)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp (776:781)

duplicated block id: 492
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (1:6)

duplicated block id: 493
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (144:149)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (421:426)

duplicated block id: 494
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (728:733)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1073:1078)

duplicated block id: 495
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLKVClient/Params.cs (88:93)
 - ironfleet/src/IronSHTClient/Params.cs (80:85)

duplicated block id: 496
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (77:88)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (95:106)

duplicated block id: 497
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (136:148)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (274:286)

duplicated block id: 498
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (136:148)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (195:207)

duplicated block id: 499
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (405:411)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1087:1093)

duplicated block id: 500
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (246:253)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1126:1133)

duplicated block id: 501
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (740:745)
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (857:862)

duplicated block id: 502
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (450:456)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1281:1286)

duplicated block id: 503
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (144:149)
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (421:426)

duplicated block id: 504
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (136:148)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (332:344)

duplicated block id: 505
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (136:148)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blcom.cpp (357:369)

duplicated block id: 506
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (86:97)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (77:88)

duplicated block id: 507
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1:6)

duplicated block id: 508
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1:6)

duplicated block id: 509
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Program.cs (31:41)
 - ironfleet/src/IronLockServer/Program.cs (39:49)

duplicated block id: 510
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1233:1238)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1407:1412)

duplicated block id: 511
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (99:109)
 - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (122:132)

duplicated block id: 512
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp (748:757)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp (829:838)

duplicated block id: 513
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (110:121)
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (68:79)

duplicated block id: 514
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Common/Profiler.cs (14:20)
 - ironfleet/src/IronfleetCommon/Profiler.cs (13:19)

duplicated block id: 515
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IronRootDirectory.cs (1:35)
 - ironclad-apps/tools/NuBuild2/NuBuild/IronRootDirectory.cs (1:35)

duplicated block id: 516
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (95:106)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (68:79)

duplicated block id: 517
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (12:17)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (12:17)

duplicated block id: 518
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1073:1078)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1407:1412)

duplicated block id: 519
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (405:411)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1247:1253)

duplicated block id: 520
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (122:132)
 - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (99:109)

duplicated block id: 521
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (391:396)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1407:1412)

duplicated block id: 522
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (50:58)
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs (53:61)

duplicated block id: 523
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IProcessInvoker.cs (1:35)
 - ironclad-apps/tools/NuBuild2/NuBuild/IProcessInvoker.cs (1:35)

duplicated block id: 524
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/IContextGeneratingVerb.cs (1:18)
 - ironclad-apps/tools/NuBuild2/NuBuild/IContextGeneratingVerb.cs (1:18)

duplicated block id: 525
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (1:6)

duplicated block id: 526
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (110:121)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (86:97)

duplicated block id: 527
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1141:1148)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1807:1814)

duplicated block id: 528
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (110:121)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (95:106)

duplicated block id: 529
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/ObjectMissingFromCacheException.cs (1:18)
 - ironclad-apps/tools/NuBuild2/NuBuild/ObjectMissingFromCacheException.cs (1:18)

duplicated block id: 530
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (148:159)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (51:62)

duplicated block id: 531
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (772:777)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.cpp (37:42)

duplicated block id: 532
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (24:30)
 - ironfleet/src/IronSHTServer/Params.cs (18:24)

duplicated block id: 533
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/TransitiveDepsVerb.cs (148:159)
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (51:62)

duplicated block id: 534
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (1237:1242)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blutil.cpp (847:852)

duplicated block id: 535
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (772:777)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd1394.cpp (671:676)

duplicated block id: 536
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (68:79)
 - ironclad-apps/src/Clients/Notary/Parameters.cs (77:88)

duplicated block id: 537
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffBaseVerb.cs (50:58)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs (53:61)

duplicated block id: 538
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (1:6)

duplicated block id: 539
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (12:17)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (12:17)

duplicated block id: 540
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (77:88)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (68:79)

duplicated block id: 541
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1:6)

duplicated block id: 542
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (728:733)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1233:1238)

duplicated block id: 543
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/IronLockServer/Params.cs (15:22)
 - ironfleet/src/IronSHTServer/Params.cs (16:23)

duplicated block id: 544
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/IronRSLCounterClient/Params.cs (82:87)
 - ironfleet/src/IronRSLKVClient/Params.cs (88:93)

duplicated block id: 545
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (1:18)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (1:18)

duplicated block id: 546
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (1:6)

duplicated block id: 547
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/CloudExecutionRequest.cs (421:426)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (144:149)

duplicated block id: 548
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (1:6)

duplicated block id: 549
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (196:202)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1087:1093)

duplicated block id: 550
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (68:79)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (95:106)

duplicated block id: 551
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (171:176)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (539:544)

duplicated block id: 552
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (110:121)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (68:79)

duplicated block id: 553
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (148:159)
 - ironclad-apps/tools/NuBuild2/NuBuild/VerificationResultSummaryVerb.cs (51:62)

duplicated block id: 554
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (539:544)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (749:754)

duplicated block id: 555
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (796:801)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (93:98)

duplicated block id: 556
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (611:616)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (1053:1058)

duplicated block id: 557
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (1:6)

duplicated block id: 558
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (13:19)
 - ironfleet/src/IronSHTServer/Params.cs (9:15)

duplicated block id: 559
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (144:149)
 - ironclad-apps/tools/NuBuild2/NuBuild/CloudExecutionRequest.cs (421:426)

duplicated block id: 560
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (1107:1112)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blmm.cpp (1053:1058)

duplicated block id: 561
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (68:79)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (77:88)

duplicated block id: 562
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (86:97)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (95:106)

duplicated block id: 563
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (1:6)

duplicated block id: 564
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blkd.cpp (142:169)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (1311:1338)

duplicated block id: 565
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (844:850)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1513:1519)

duplicated block id: 566
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (539:544)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (635:640)

duplicated block id: 567
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (1:6)

duplicated block id: 568
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (1:6)

duplicated block id: 569
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (823:851)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (857:885)

duplicated block id: 570
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (99:109)
 - ironclad-apps/tools/NuBuild/NuBuild/Repository.cs (122:132)

duplicated block id: 571
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (77:88)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (77:88)

duplicated block id: 572
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (12:17)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (12:17)

duplicated block id: 573
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (110:121)
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (68:79)

duplicated block id: 574
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/DafnyCC.cs (102:110)
 - ironclad-apps/tools/DafnySpec/DafnySpec.cs (91:99)

duplicated block id: 575
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (86:97)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (68:79)

duplicated block id: 576
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (182:187)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1407:1412)

duplicated block id: 577
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (1:6)

duplicated block id: 578
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/Dafny/DafnyRuntime.cs (180:187)
 - ironclad-apps/tools/Dafny/DafnyRuntime.cs (191:198)

duplicated block id: 579
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (128:133)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (159:164)

duplicated block id: 580
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (196:202)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1247:1253)

duplicated block id: 581
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (445:450)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (768:774)

duplicated block id: 582
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (77:88)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (95:106)

duplicated block id: 583
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (445:450)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (654:660)

duplicated block id: 584
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (1:6)

duplicated block id: 585
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (77:88)
 - ironclad-apps/src/Clients/TrIncSrv/Parameters.cs (68:79)

duplicated block id: 586
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (110:121)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (77:88)

duplicated block id: 587
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Params.cs (90:98)
 - ironfleet/src/TestIoFramework/Params.cs (57:66)

duplicated block id: 588
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (1:6)

duplicated block id: 589
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (182:187)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (728:733)

duplicated block id: 590
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VirtualBuildObject.cs (1:28)
 - ironclad-apps/tools/NuBuild2/NuBuild/VirtualBuildObject.cs (1:28)

duplicated block id: 591
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTClient/Client.cs (349:356)
 - ironfleet/src/IronSHTClient/Client.cs (403:410)

duplicated block id: 592
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (1:6)

duplicated block id: 593
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/SymDiffMergeBaseVerb.cs (53:61)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (50:58)

duplicated block id: 594
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (962:967)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (980:985)

duplicated block id: 595
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (391:396)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (728:733)

duplicated block id: 596
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (442:448)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1274:1280)

duplicated block id: 597
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (68:79)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (86:97)

duplicated block id: 598
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (99:109)
 - ironclad-apps/tools/NuBuild2/NuBuild/Repository.cs (122:132)

duplicated block id: 599
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTClient/Program.cs (46:52)
 - ironfleet/src/IronSHTServer/Program.cs (53:59)

duplicated block id: 600
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blidt.asm (1:6)

duplicated block id: 601
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Program.cs (31:41)
 - ironfleet/src/Dafny/Distributed/Services/RSL/Program.cs (177:187)

duplicated block id: 602
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blstring.cpp (1311:1338)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blvideo.cpp (257:284)

duplicated block id: 603
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (68:79)
 - ironclad-apps/src/Clients/PassHashSrv/Parameters.cs (77:88)

duplicated block id: 604
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/IronSHTServer/Params.cs (16:23)
 - ironfleet/src/TestIoFramework/Params.cs (15:22)

duplicated block id: 605
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/Notary/Parameters.cs (77:88)
 - ironclad-apps/src/Clients/NotarySrv/Parameters.cs (68:79)

duplicated block id: 606
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffBaseVerb.cs (50:58)
 - ironclad-apps/tools/NuBuild2/NuBuild/SymDiffMergeBaseVerb.cs (53:61)

duplicated block id: 607
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/DafnyCC/CompileMethod.cs (573:578)
 - ironclad-apps/tools/DafnySpec/Compile.cs (367:372)

duplicated block id: 608
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (68:79)
 - ironclad-apps/src/Clients/PassHash/Parameters.cs (86:97)

duplicated block id: 609
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blioport.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (1:6)

duplicated block id: 610
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Program.cs (80:87)
 - ironclad-apps/src/Clients/TrInc/Program.cs (55:62)

duplicated block id: 611
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.inc (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (1:6)

duplicated block id: 612
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (115:122)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blcrtasm.asm (661:668)

duplicated block id: 613
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/tools/NuBuild/NuBuild/VerificationResultSummaryVerb.cs (51:62)
 - ironclad-apps/tools/NuBuild2/NuBuild/TransitiveDepsVerb.cs (148:159)

duplicated block id: 614
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Program.cs (31:41)
 - ironfleet/src/IronSHTServer/Program.cs (37:47)

duplicated block id: 615
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (214:220)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (445:450)

duplicated block id: 616
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (1:6)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/blutilasm.asm (1:6)

duplicated block id: 617
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (774:779)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (788:793)

duplicated block id: 618
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/bl.h (1191:1196)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blmm.cpp (510:515)

duplicated block id: 619
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPrivSrv/Parameters.cs (68:79)
 - ironclad-apps/src/Clients/TrInc/Parameters.cs (95:106)

duplicated block id: 620
size: 6 cleaned lines of code
in 2 files:
 - ironfleet/src/CreateIronServiceCerts/Params.cs (90:98)
 - ironfleet/src/IronLockServer/Params.cs (57:66)

duplicated block id: 621
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Clients/DiffPriv/Parameters.cs (110:121)
 - ironclad-apps/src/Clients/Notary/Parameters.cs (77:88)

duplicated block id: 622
size: 6 cleaned lines of code
in 2 files:
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/blentry16.asm (12:17)
 - ironclad-apps/src/Checked/BootLoader/SingLdrPc/x86/bllegacy.asm (12:17)