duplicated block id: 1 size: 44 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2857:2901) - cluster/isabelle/Zen.thy (2949:2993) duplicated block id: 2 size: 42 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (568:609) - cluster/isabelle/Zen.thy (670:711) duplicated block id: 3 size: 26 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1940:1966) - cluster/isabelle/Zen.thy (2949:2975) duplicated block id: 4 size: 26 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1940:1966) - cluster/isabelle/Zen.thy (2857:2883) duplicated block id: 5 size: 23 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (668:691) - cluster/isabelle/Zen.thy (1948:1971) duplicated block id: 6 size: 22 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (568:589) - cluster/isabelle/Zen.thy (1950:1971) duplicated block id: 7 size: 19 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (787:805) - cluster/isabelle/Zen.thy (1950:1968) duplicated block id: 8 size: 19 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1954:1972) - cluster/isabelle/Zen.thy (2625:2643) duplicated block id: 9 size: 19 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (670:688) - cluster/isabelle/Zen.thy (787:805) duplicated block id: 10 size: 19 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2827:2846) - cluster/isabelle/Zen.thy (2919:2938) duplicated block id: 11 size: 19 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (568:586) - cluster/isabelle/Zen.thy (787:805) duplicated block id: 12 size: 18 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (668:686) - cluster/isabelle/Zen.thy (2865:2883) duplicated block id: 13 size: 18 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (572:589) - cluster/isabelle/Zen.thy (2625:2642) duplicated block id: 14 size: 18 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (674:691) - cluster/isabelle/Zen.thy (2625:2642) duplicated block id: 15 size: 18 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (668:686) - cluster/isabelle/Zen.thy (2957:2975) duplicated block id: 16 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (787:803) - cluster/isabelle/Zen.thy (2959:2975) duplicated block id: 17 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (568:584) - cluster/isabelle/Zen.thy (2867:2883) duplicated block id: 18 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1911:1928) - cluster/isabelle/Zen.thy (2828:2845) duplicated block id: 19 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (572:588) - cluster/isabelle/Zen.thy (1131:1147) duplicated block id: 20 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1131:1147) - cluster/isabelle/Zen.thy (2625:2641) duplicated block id: 21 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (674:690) - cluster/isabelle/Zen.thy (1131:1147) duplicated block id: 22 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (787:803) - cluster/isabelle/Zen.thy (2867:2883) duplicated block id: 23 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1131:1147) - cluster/isabelle/Zen.thy (1954:1970) duplicated block id: 24 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1911:1928) - cluster/isabelle/Zen.thy (2920:2937) duplicated block id: 25 size: 17 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (568:584) - cluster/isabelle/Zen.thy (2959:2975) duplicated block id: 26 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2354:2369) - cluster/isabelle/Zen.thy (2480:2495) duplicated block id: 27 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (694:709) - cluster/isabelle/Zen.thy (1973:1988) duplicated block id: 28 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (540:556) - cluster/isabelle/Zen.thy (642:658) duplicated block id: 29 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1426:1441) - cluster/isabelle/Zen.thy (2627:2642) duplicated block id: 30 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1426:1441) - cluster/isabelle/Zen.thy (1956:1971) duplicated block id: 31 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (574:589) - cluster/isabelle/Zen.thy (1426:1441) duplicated block id: 32 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (676:691) - cluster/isabelle/Zen.thy (1426:1441) duplicated block id: 33 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (592:607) - cluster/isabelle/Zen.thy (1973:1988) duplicated block id: 34 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2279:2295) - cluster/isabelle/Zen.thy (2701:2717) duplicated block id: 35 size: 16 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1091:1107) - cluster/isabelle/Zen.thy (1913:1929) duplicated block id: 36 size: 15 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (791:805) - cluster/isabelle/Zen.thy (1131:1145) duplicated block id: 37 size: 15 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1133:1147) - cluster/isabelle/Zen.thy (1426:1440) duplicated block id: 38 size: 15 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1091:1106) - cluster/isabelle/Zen.thy (2830:2845) duplicated block id: 39 size: 15 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (660:675) - cluster/isabelle/Zen.thy (1814:1829) duplicated block id: 40 size: 15 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1091:1106) - cluster/isabelle/Zen.thy (2922:2937) duplicated block id: 41 size: 15 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (791:805) - cluster/isabelle/Zen.thy (2625:2639) duplicated block id: 42 size: 13 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1131:1143) - cluster/isabelle/Zen.thy (2963:2975) duplicated block id: 43 size: 13 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (793:805) - cluster/isabelle/Zen.thy (1426:1438) duplicated block id: 44 size: 13 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2625:2637) - cluster/isabelle/Zen.thy (2963:2975) duplicated block id: 45 size: 13 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (693:705) - cluster/isabelle/Zen.thy (2644:2656) duplicated block id: 46 size: 13 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (591:603) - cluster/isabelle/Zen.thy (2644:2656) duplicated block id: 47 size: 13 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2625:2637) - cluster/isabelle/Zen.thy (2871:2883) duplicated block id: 48 size: 13 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1131:1143) - cluster/isabelle/Zen.thy (2871:2883) duplicated block id: 49 size: 12 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (698:709) - cluster/isabelle/Zen.thy (947:958) duplicated block id: 50 size: 12 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2611:2623) - cluster/isabelle/Zen.thy (2857:2869) duplicated block id: 51 size: 12 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (596:607) - cluster/isabelle/Zen.thy (947:958) duplicated block id: 52 size: 12 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2611:2623) - cluster/isabelle/Zen.thy (2949:2961) duplicated block id: 53 size: 12 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (947:958) - cluster/isabelle/Zen.thy (1977:1988) duplicated block id: 54 size: 12 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1940:1952) - cluster/isabelle/Zen.thy (2611:2623) duplicated block id: 55 size: 12 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1973:1984) - cluster/isabelle/Zen.thy (2645:2656) duplicated block id: 56 size: 11 cleaned lines of code in 2 files: - ReplicaEngine/tla/ReplicaEngine.tla (557:567) - ReplicaEngine/tla/ReplicaEngine.tla (915:925) duplicated block id: 57 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2158:2168) - cluster/isabelle/Zen.thy (2636:2646) duplicated block id: 58 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (917:927) - cluster/isabelle/Zen.thy (1099:1109) duplicated block id: 59 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1353:1364) - cluster/isabelle/Zen.thy (2112:2123) duplicated block id: 60 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (944:954) - cluster/isabelle/Zen.thy (1148:1158) duplicated block id: 61 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1426:1436) - cluster/isabelle/Zen.thy (2873:2883) duplicated block id: 62 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1426:1436) - cluster/isabelle/Zen.thy (2965:2975) duplicated block id: 63 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (543:553) - cluster/isabelle/Zen.thy (1780:1790) duplicated block id: 64 size: 11 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (645:655) - cluster/isabelle/Zen.thy (1780:1790) duplicated block id: 65 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2148:2157) - cluster/isabelle/Zen.thy (2871:2880) duplicated block id: 66 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2148:2157) - cluster/isabelle/Zen.thy (2625:2634) duplicated block id: 67 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (791:800) - cluster/isabelle/Zen.thy (2148:2157) duplicated block id: 68 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (749:759) - cluster/isabelle/Zen.thy (2830:2840) duplicated block id: 69 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2148:2157) - cluster/isabelle/Zen.thy (2963:2972) duplicated block id: 70 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1131:1140) - cluster/isabelle/Zen.thy (2148:2157) duplicated block id: 71 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1954:1963) - cluster/isabelle/Zen.thy (2148:2157) duplicated block id: 72 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (749:759) - cluster/isabelle/Zen.thy (1913:1923) duplicated block id: 73 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1366:1375) - cluster/isabelle/Zen.thy (2127:2136) duplicated block id: 74 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (749:759) - cluster/isabelle/Zen.thy (2922:2932) duplicated block id: 75 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (749:759) - cluster/isabelle/Zen.thy (1091:1101) duplicated block id: 76 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (674:683) - cluster/isabelle/Zen.thy (2148:2157) duplicated block id: 77 size: 10 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (572:581) - cluster/isabelle/Zen.thy (2148:2157) duplicated block id: 78 size: 9 cleaned lines of code in 2 files: - ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch (4:12) - cluster/tla/consensus.toolbox/consensus___model.launch (5:13) duplicated block id: 79 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2287:2295) - cluster/isabelle/Zen.thy (2611:2619) duplicated block id: 80 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2287:2295) - cluster/isabelle/Zen.thy (2857:2865) duplicated block id: 81 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2709:2717) - cluster/isabelle/Zen.thy (2857:2865) duplicated block id: 82 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1940:1948) - cluster/isabelle/Zen.thy (2709:2717) duplicated block id: 83 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2709:2717) - cluster/isabelle/Zen.thy (2949:2957) duplicated block id: 84 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2287:2295) - cluster/isabelle/Zen.thy (2949:2957) duplicated block id: 85 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2611:2619) - cluster/isabelle/Zen.thy (2709:2717) duplicated block id: 86 size: 9 cleaned lines of code in 2 files: - cluster/tla/consensus.toolbox/consensus___model.launch (7:15) - data/tla/replication.toolbox/replication___model.launch (6:14) duplicated block id: 87 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2371:2380) - cluster/isabelle/Zen.thy (2496:2505) duplicated block id: 88 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (917:925) - cluster/isabelle/Zen.thy (1921:1929) duplicated block id: 89 size: 9 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1940:1948) - cluster/isabelle/Zen.thy (2287:2295) duplicated block id: 90 size: 9 cleaned lines of code in 2 files: - ReplicaEngine/tla/ReplicaEngine.tla (621:629) - ReplicaEngine/tla/ReplicaEngine.tla (938:946) duplicated block id: 91 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1133:1140) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 92 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (793:800) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 93 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1151:1158) - cluster/isabelle/Zen.thy (1977:1984) duplicated block id: 94 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2627:2634) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 95 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (698:705) - cluster/isabelle/Zen.thy (1151:1158) duplicated block id: 96 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (917:924) - cluster/isabelle/Zen.thy (2838:2845) duplicated block id: 97 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (596:603) - cluster/isabelle/Zen.thy (1151:1158) duplicated block id: 98 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (947:954) - cluster/isabelle/Zen.thy (2649:2656) duplicated block id: 99 size: 8 cleaned lines of code in 2 files: - ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch (14:21) - cluster/tla/consensus.toolbox/consensus___model.launch (15:22) duplicated block id: 100 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1151:1158) - cluster/isabelle/Zen.thy (2649:2656) duplicated block id: 101 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2383:2394) - cluster/isabelle/Zen.thy (2508:2519) duplicated block id: 102 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (676:683) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 103 size: 8 cleaned lines of code in 2 files: - Storage/tla/Storage.toolbox/Storage___model.launch (1:8) - ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch (1:8) duplicated block id: 104 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1426:1433) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 105 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (917:924) - cluster/isabelle/Zen.thy (2930:2937) duplicated block id: 106 size: 8 cleaned lines of code in 2 files: - ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine___model.launch (9:16) - ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch (10:17) duplicated block id: 107 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2150:2157) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 108 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2748:2755) - cluster/isabelle/Zen.thy (2873:2880) duplicated block id: 109 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (574:581) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 110 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (807:814) - cluster/isabelle/Zen.thy (1149:1156) duplicated block id: 111 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2748:2755) - cluster/isabelle/Zen.thy (2965:2972) duplicated block id: 112 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1965:1972) - cluster/isabelle/Zen.thy (2158:2165) duplicated block id: 113 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1771:1778) - cluster/isabelle/Zen.thy (2038:2045) duplicated block id: 114 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1956:1963) - cluster/isabelle/Zen.thy (2748:2755) duplicated block id: 115 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (807:814) - cluster/isabelle/Zen.thy (945:952) duplicated block id: 116 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1426:1433) - cluster/isabelle/Zen.thy (2150:2157) duplicated block id: 117 size: 8 cleaned lines of code in 2 files: - cluster/tla/consensus.tla (131:138) - cluster/tla/consensus.tla (150:157) duplicated block id: 118 size: 8 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2404:2413) - cluster/isabelle/Zen.thy (2529:2538) duplicated block id: 119 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1777:1784) - cluster/isabelle/Zen.thy (1918:1925) duplicated block id: 120 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2647:2653) - cluster/isabelle/Zen.thy (2982:2988) duplicated block id: 121 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1975:1981) - cluster/isabelle/Zen.thy (2982:2988) duplicated block id: 122 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (685:691) - cluster/isabelle/Zen.thy (2158:2164) duplicated block id: 123 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (777:783) - cluster/isabelle/Zen.thy (1814:1820) duplicated block id: 124 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (660:666) - cluster/isabelle/Zen.thy (903:909) duplicated block id: 125 size: 7 cleaned lines of code in 2 files: - ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch (6:12) - data/tla/replication.toolbox/replication___model.launch (6:12) duplicated block id: 126 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (583:589) - cluster/isabelle/Zen.thy (2158:2164) duplicated block id: 127 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1096:1103) - cluster/isabelle/Zen.thy (1777:1784) duplicated block id: 128 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1435:1441) - cluster/isabelle/Zen.thy (2158:2164) duplicated block id: 129 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (777:783) - cluster/isabelle/Zen.thy (903:909) duplicated block id: 130 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (696:702) - cluster/isabelle/Zen.thy (2890:2896) duplicated block id: 131 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1822:1829) - cluster/isabelle/Zen.thy (2957:2964) duplicated block id: 132 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1777:1784) - cluster/isabelle/Zen.thy (2927:2934) duplicated block id: 133 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (594:600) - cluster/isabelle/Zen.thy (2890:2896) duplicated block id: 134 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1822:1829) - cluster/isabelle/Zen.thy (1948:1955) duplicated block id: 135 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1975:1981) - cluster/isabelle/Zen.thy (2890:2896) duplicated block id: 136 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (660:666) - cluster/isabelle/Zen.thy (777:783) duplicated block id: 137 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1822:1829) - cluster/isabelle/Zen.thy (2865:2872) duplicated block id: 138 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2006:2015) - cluster/isabelle/Zen.thy (2217:2226) duplicated block id: 139 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (594:600) - cluster/isabelle/Zen.thy (2982:2988) duplicated block id: 140 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (696:702) - cluster/isabelle/Zen.thy (2982:2988) duplicated block id: 141 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1741:1750) - cluster/isabelle/Zen.thy (2006:2015) duplicated block id: 142 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2647:2653) - cluster/isabelle/Zen.thy (2890:2896) duplicated block id: 143 size: 7 cleaned lines of code in 2 files: - Storage/tla/Storage.toolbox/Storage___model.launch (16:22) - ZenWithTerms/tla/ZenWithTerms.toolbox/ZenWithTerms___model.launch (15:21) duplicated block id: 144 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (903:909) - cluster/isabelle/Zen.thy (1814:1820) duplicated block id: 145 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1741:1750) - cluster/isabelle/Zen.thy (2217:2226) duplicated block id: 146 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1777:1784) - cluster/isabelle/Zen.thy (2835:2842) duplicated block id: 147 size: 7 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (637:643) - cluster/isabelle/Zen.thy (1252:1258) duplicated block id: 148 size: 7 cleaned lines of code in 2 files: - Storage/tla/Storage.toolbox/Storage___model.launch (16:22) - cluster/tla/consensus.toolbox/consensus___model.launch (16:22) duplicated block id: 149 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (596:601) - cluster/isabelle/Zen.thy (809:814) duplicated block id: 150 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (787:792) - cluster/isabelle/Zen.thy (1824:1829) duplicated block id: 151 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (749:754) - cluster/isabelle/Zen.thy (2279:2284) duplicated block id: 152 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1118:1123) - cluster/isabelle/Zen.thy (2709:2714) duplicated block id: 153 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (683:688) - cluster/isabelle/Zen.thy (937:942) duplicated block id: 154 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (809:814) - cluster/isabelle/Zen.thy (1977:1982) duplicated block id: 155 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (568:573) - cluster/isabelle/Zen.thy (1824:1829) duplicated block id: 156 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (937:942) - cluster/isabelle/Zen.thy (1140:1145) duplicated block id: 157 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (937:942) - cluster/isabelle/Zen.thy (1433:1438) duplicated block id: 158 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1913:1918) - cluster/isabelle/Zen.thy (2279:2284) duplicated block id: 159 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1118:1123) - cluster/isabelle/Zen.thy (1940:1945) duplicated block id: 160 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1091:1096) - cluster/isabelle/Zen.thy (2279:2284) duplicated block id: 161 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1118:1123) - cluster/isabelle/Zen.thy (2949:2954) duplicated block id: 162 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2701:2706) - cluster/isabelle/Zen.thy (2830:2835) duplicated block id: 163 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2279:2284) - cluster/isabelle/Zen.thy (2830:2835) duplicated block id: 164 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (698:703) - cluster/isabelle/Zen.thy (809:814) duplicated block id: 165 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (937:942) - cluster/isabelle/Zen.thy (1963:1968) duplicated block id: 166 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1118:1123) - cluster/isabelle/Zen.thy (2611:2616) duplicated block id: 167 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1091:1096) - cluster/isabelle/Zen.thy (2701:2706) duplicated block id: 168 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (809:814) - cluster/isabelle/Zen.thy (2649:2654) duplicated block id: 169 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1118:1123) - cluster/isabelle/Zen.thy (2287:2292) duplicated block id: 170 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1118:1123) - cluster/isabelle/Zen.thy (2857:2862) duplicated block id: 171 size: 6 cleaned lines of code in 2 files: - ReplicaEngine/tla/ReplicaEngine.toolbox/ReplicaEngine___model.launch (52:57) - data/tla/replication.toolbox/replication___model.launch (54:59) duplicated block id: 172 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2418:2425) - cluster/isabelle/Zen.thy (2540:2547) duplicated block id: 173 size: 6 cleaned lines of code in 2 files: - cluster/tla/consensus.tla (6:14) - data/tla/replication.tla (75:83) duplicated block id: 174 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1142:1147) - cluster/isabelle/Zen.thy (2158:2163) duplicated block id: 175 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (880:885) - cluster/isabelle/Zen.thy (2040:2045) duplicated block id: 176 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (880:885) - cluster/isabelle/Zen.thy (1773:1778) duplicated block id: 177 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (749:754) - cluster/isabelle/Zen.thy (2701:2706) duplicated block id: 178 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1033:1038) - cluster/isabelle/Zen.thy (1226:1231) duplicated block id: 179 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2279:2284) - cluster/isabelle/Zen.thy (2922:2927) duplicated block id: 180 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2171:2176) - cluster/isabelle/Zen.thy (2652:2657) duplicated block id: 181 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (2701:2706) - cluster/isabelle/Zen.thy (2922:2927) duplicated block id: 182 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (800:805) - cluster/isabelle/Zen.thy (937:942) duplicated block id: 183 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (1913:1918) - cluster/isabelle/Zen.thy (2701:2706) duplicated block id: 184 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (937:942) - cluster/isabelle/Zen.thy (2634:2639) duplicated block id: 185 size: 6 cleaned lines of code in 2 files: - cluster/isabelle/Zen.thy (581:586) - cluster/isabelle/Zen.thy (937:942)