duplicated block id: 1 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 2 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) duplicated block id: 3 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 4 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 5 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 6 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 7 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 8 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 9 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 10 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 11 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) duplicated block id: 12 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 13 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 14 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 15 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 16 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 17 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 18 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) duplicated block id: 19 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 20 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 21 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 22 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 23 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) duplicated block id: 24 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 25 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 26 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 27 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 28 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 29 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 30 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 31 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) duplicated block id: 32 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) duplicated block id: 33 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 34 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 35 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) duplicated block id: 36 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) duplicated block id: 37 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 38 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 39 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 40 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 41 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 42 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 43 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 44 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) duplicated block id: 45 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) duplicated block id: 46 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) duplicated block id: 47 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 48 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) duplicated block id: 49 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 50 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 51 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 52 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 53 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 54 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 55 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 56 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 57 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 58 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 59 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) duplicated block id: 60 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) duplicated block id: 61 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 62 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) duplicated block id: 63 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 64 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:162) duplicated block id: 65 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 66 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 67 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) duplicated block id: 68 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 69 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 70 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 71 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 72 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 73 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) duplicated block id: 74 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 75 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:162) duplicated block id: 76 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 77 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 78 size: 96 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:162) - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:162) duplicated block id: 79 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 80 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 81 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 82 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 83 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 84 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 85 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 86 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 87 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 88 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 89 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 90 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (1:114) duplicated block id: 91 size: 64 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (1:114) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (1:114) duplicated block id: 92 size: 37 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:68) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (1:68) duplicated block id: 93 size: 37 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:68) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:68) duplicated block id: 94 size: 37 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:68) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (1:68) duplicated block id: 95 size: 35 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (12:68) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:80) duplicated block id: 96 size: 35 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (12:68) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:80) duplicated block id: 97 size: 35 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (12:68) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:80) duplicated block id: 98 size: 33 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1:71) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:62) duplicated block id: 99 size: 33 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1:71) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (1:62) duplicated block id: 100 size: 33 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:62) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1:71) duplicated block id: 101 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 102 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 103 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 104 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 105 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) - dsl-samples/tutorial/part2b/ProseTutorial/Program.cs (117:162) duplicated block id: 106 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 107 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:59) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:59) duplicated block id: 108 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 109 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 110 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:59) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (1:59) duplicated block id: 111 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 112 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:59) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:59) duplicated block id: 113 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 114 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 115 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (12:71) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:74) duplicated block id: 116 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:59) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1:69) duplicated block id: 117 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 118 size: 31 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/Program.cs (117:162) - dsl-samples/tutorial/part2b-complete/ProseTutorial/Program.cs (118:163) duplicated block id: 119 size: 29 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (12:59) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:71) duplicated block id: 120 size: 19 cleaned lines of code in 2 files: - api-samples/Extraction.Web/SampleDocuments/sample-document-1.html (1:26) - api-samples/Extraction.Web/SampleDocuments/sample-document-2.html (1:26) duplicated block id: 121 size: 18 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (1:41) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (1:43) duplicated block id: 122 size: 17 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (1:39) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (1:39) duplicated block id: 123 size: 17 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (1:39) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (1:41) duplicated block id: 124 size: 16 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/Semantics.cs (1:28) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/Semantics.cs (1:28) duplicated block id: 125 size: 16 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/Semantics.cs (1:28) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/Semantics.cs (1:28) duplicated block id: 126 size: 16 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/Semantics.cs (1:28) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/Semantics.cs (1:28) duplicated block id: 127 size: 16 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/Semantics.cs (1:28) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/Semantics.cs (1:28) duplicated block id: 128 size: 16 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/Semantics.cs (1:28) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/Semantics.cs (1:28) duplicated block id: 129 size: 16 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/Semantics.cs (1:28) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/Semantics.cs (1:28) duplicated block id: 130 size: 16 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:34) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1:34) duplicated block id: 131 size: 15 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (14:41) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:47) duplicated block id: 132 size: 15 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:47) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (14:43) duplicated block id: 133 size: 14 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (1:33) - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (1:33) duplicated block id: 134 size: 14 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (430:443) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (447:460) duplicated block id: 135 size: 14 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (49:69) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (70:90) duplicated block id: 136 size: 14 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:45) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (14:39) duplicated block id: 137 size: 14 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (1:34) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (1:35) duplicated block id: 138 size: 13 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (447:459) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (483:495) duplicated block id: 139 size: 13 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (1:31) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (1:33) duplicated block id: 140 size: 13 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (430:442) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (483:495) duplicated block id: 141 size: 13 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (1:31) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (1:33) duplicated block id: 142 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 143 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (47:64) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (62:79) duplicated block id: 144 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 145 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 146 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 147 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 148 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (7:31) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (8:32) duplicated block id: 149 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 150 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 151 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 152 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 153 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 154 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:28) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (1:43) duplicated block id: 155 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 156 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (7:31) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (9:33) duplicated block id: 157 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 158 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (7:31) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (8:32) duplicated block id: 159 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 160 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 161 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (1:27) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (1:27) duplicated block id: 162 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (7:31) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (9:33) duplicated block id: 163 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (7:33) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (9:33) duplicated block id: 164 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (1:43) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1:28) duplicated block id: 165 size: 12 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (8:32) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (7:33) duplicated block id: 166 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 167 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (76:90) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (65:79) duplicated block id: 168 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (55:69) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (65:79) duplicated block id: 169 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (29:58) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (28:44) duplicated block id: 170 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 171 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (76:90) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (50:64) duplicated block id: 172 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (1:37) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 173 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 174 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 175 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 176 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (1:37) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 177 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 178 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 179 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (29:58) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (28:44) duplicated block id: 180 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (1:37) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 181 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (31:46) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (48:63) duplicated block id: 182 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (1:37) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 183 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (28:44) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (29:58) duplicated block id: 184 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (29:58) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (28:44) duplicated block id: 185 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 186 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (29:58) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (40:56) duplicated block id: 187 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (55:69) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (50:64) duplicated block id: 188 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 189 size: 11 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (427:437) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (33:43) duplicated block id: 190 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 191 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (29:58) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (28:44) duplicated block id: 192 size: 11 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (1:37) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1:26) duplicated block id: 193 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 194 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 195 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 196 size: 10 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (59:68) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (90:99) duplicated block id: 197 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 198 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 199 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:24) - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (1:39) duplicated block id: 200 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 201 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 202 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 203 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 204 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 205 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 206 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 207 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 208 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 209 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 210 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 211 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 212 size: 10 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (6:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (8:27) duplicated block id: 213 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:34) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (14:29) duplicated block id: 214 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (12:26) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:38) duplicated block id: 215 size: 9 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (452:460) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (55:63) duplicated block id: 216 size: 9 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (74:82) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (93:101) duplicated block id: 217 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (12:26) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:38) duplicated block id: 218 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:34) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (14:29) duplicated block id: 219 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (12:27) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:35) duplicated block id: 220 size: 9 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (123:145) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (323:345) duplicated block id: 221 size: 9 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (435:443) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (55:63) duplicated block id: 222 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:25) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/WitnessFunctions.cs (1:25) duplicated block id: 223 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (12:27) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:35) duplicated block id: 224 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (12:27) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:35) duplicated block id: 225 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (12:27) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:35) duplicated block id: 226 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (12:37) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (24:38) duplicated block id: 227 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (12:27) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:35) duplicated block id: 228 size: 9 cleaned lines of code in 2 files: - api-samples/Transformation.Json/JsonToJsonSample.cs (18:28) - api-samples/Transformation.Json/JsonToJsonSample.cs (42:52) duplicated block id: 229 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (12:27) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:35) duplicated block id: 230 size: 9 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:34) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (14:29) duplicated block id: 231 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 232 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:33) duplicated block id: 233 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:33) duplicated block id: 234 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (62:74) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (47:59) duplicated block id: 235 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 236 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:33) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 237 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (62:74) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (47:69) duplicated block id: 238 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 239 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 240 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 241 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 242 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 243 size: 8 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (483:490) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (36:43) duplicated block id: 244 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:32) duplicated block id: 245 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 246 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:32) duplicated block id: 247 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/WitnessFunctions.cs (28:39) - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (47:58) duplicated block id: 248 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (62:74) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (47:59) duplicated block id: 249 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:32) duplicated block id: 250 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 251 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 252 size: 8 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (27:34) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (93:100) duplicated block id: 253 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:33) duplicated block id: 254 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 255 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:33) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 256 size: 8 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (447:454) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (36:43) duplicated block id: 257 size: 8 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (488:495) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (55:62) duplicated block id: 258 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:32) duplicated block id: 259 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 260 size: 8 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (255:262) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (296:303) duplicated block id: 261 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (62:74) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (59:71) duplicated block id: 262 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 263 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (62:74) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (47:59) duplicated block id: 264 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 265 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:33) duplicated block id: 266 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:32) duplicated block id: 267 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 268 size: 8 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (33:40) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (90:97) duplicated block id: 269 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (18:33) - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 270 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/RankingScore.cs (19:32) duplicated block id: 271 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 272 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (14:27) duplicated block id: 273 size: 8 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (427:434) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (90:97) duplicated block id: 274 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/WitnessFunctions.cs (43:54) - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (64:75) duplicated block id: 275 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:33) duplicated block id: 276 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/RankingScore.cs (20:33) duplicated block id: 277 size: 8 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/RankingScore.cs (18:31) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/RankingScore.cs (12:25) duplicated block id: 278 size: 7 cleaned lines of code in 2 files: - api-samples/Split.Text/Program.cs (49:62) - api-samples/Split.Text/Program.cs (119:131) duplicated block id: 279 size: 7 cleaned lines of code in 2 files: - api-samples/Transformation.Text/SampleProgram.cs (43:54) - api-samples/Transformation.Text/SampleProgram.cs (229:239) duplicated block id: 280 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (76:85) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (50:59) duplicated block id: 281 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (55:64) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (60:69) duplicated block id: 282 size: 7 cleaned lines of code in 2 files: - api-samples/Extraction.Web/SampleProgram.cs (33:39) - api-samples/Extraction.Web/SampleProgram.cs (151:157) duplicated block id: 283 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (1:20) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/WitnessFunctions.cs (1:20) duplicated block id: 284 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (76:85) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (60:69) duplicated block id: 285 size: 7 cleaned lines of code in 2 files: - misc/BenchmarkDriver/ExtractionTextRunner.cs (74:85) - misc/BenchmarkDriver/ExtractionTextRunner.cs (125:136) duplicated block id: 286 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (55:64) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (62:71) duplicated block id: 287 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (76:85) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (50:59) duplicated block id: 288 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (55:64) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (50:59) duplicated block id: 289 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (76:85) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (50:59) duplicated block id: 290 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (55:64) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (50:59) duplicated block id: 291 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (55:64) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (50:59) duplicated block id: 292 size: 7 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (76:85) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (62:71) duplicated block id: 293 size: 7 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (47:53) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (104:110) duplicated block id: 294 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 295 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 296 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) duplicated block id: 297 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (30:37) duplicated block id: 298 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 299 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) duplicated block id: 300 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs (1:15) duplicated block id: 301 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 302 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs (1:15) duplicated block id: 303 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (31:38) duplicated block id: 304 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 305 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 306 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 307 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 308 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (30:37) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) duplicated block id: 309 size: 6 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_decision_tree_assertions.py (429:434) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (47:52) duplicated block id: 310 size: 6 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (92:97) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (47:52) duplicated block id: 311 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2a-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/WitnessFunctions.cs (15:21) duplicated block id: 312 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 313 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 314 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 315 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs (1:15) duplicated block id: 316 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 317 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1d-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 318 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 319 size: 6 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (35:40) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_learn_assertions.py (47:52) duplicated block id: 320 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 321 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part1c-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 322 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (27:47) - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (53:64) duplicated block id: 323 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs (1:15) duplicated block id: 324 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part1d/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 325 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 326 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) - dsl-samples/tutorial/part2a/ProseTutorial/synthesis/WitnessFunctions.cs (31:38) duplicated block id: 327 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 328 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 329 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 330 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 331 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/WitnessFunctions.cs (40:46) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 332 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 333 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 334 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part2b-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:25) - dsl-samples/tutorial/part2b/ProseTutorial/synthesis/WitnessFunctions.cs (15:21) duplicated block id: 335 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs (1:15) duplicated block id: 336 size: 6 cleaned lines of code in 2 files: - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_disjunctive_assertions.py (106:111) - misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (246:251) duplicated block id: 337 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 338 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 339 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/Semantics.cs (1:12) duplicated block id: 340 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (57:63) - dsl-samples/tutorial/part1b-attempt2-complete/ProseTutorial/synthesis/WitnessFunctions.cs (19:26) duplicated block id: 341 size: 6 cleaned lines of code in 2 files: - api-samples/Split.Text/Program.cs (101:107) - api-samples/Split.Text/Program.cs (131:136) duplicated block id: 342 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1a/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs (1:15) duplicated block id: 343 size: 6 cleaned lines of code in 2 files: - dsl-samples/tutorial/part1b-attempt1-complete/ProseTutorial/synthesis/Semantics.cs (1:12) - dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/Semantics.cs (1:12)